reduce in Sieve : force(sieve(ints-from(2)), 10 * 10 * 10) . rewrites: 2626411444 in 3328436ms cpu (3332355ms real) (789082 rewrites/second) result List: ll(dl(2, nil), ll(dl(3, nil), ll(dl(5, nil), ll(dl(7, nil), ll(dl(1, dl(1, nil)), ll(dl(1, dl(3, nil)), ll(dl(1, dl(7, nil)), ll(dl(1, dl(9, nil)), ll(dl(2, dl(3, nil)), ll(dl(2, dl(9, nil)), ll(dl(3, dl(1, nil)), ll(dl(3, dl(7, nil)), ll(dl(4, dl(1, nil)), ll(dl(4, dl(3, nil)), ll(dl(4, dl(7, nil)), ll(dl(5, dl(3, nil)), ll(dl(5, dl(9, nil)), ll(dl(6, dl(1, nil)), ll(dl(6, dl(7, nil)), ll(dl( 7, dl(1, nil)), ll(dl(7, dl(3, nil)), ll(dl(7, dl(9, nil)), ll(dl(8, dl(3, nil)), ll(dl(8, dl(9, nil)), ll(dl(9, dl(7, nil)), ll(dl(1, dl(0, dl(1, nil))), ll(dl(1, dl(0, dl(3, nil))), ll(dl(1, dl(0, dl(7, nil))), ll(dl(1, dl(0, dl(9, nil))), ll(dl(1, dl(1, dl(3, nil))), ll(dl(1, dl(2, dl(7, nil))), ll(dl(1, dl(3, dl(1, nil))), ll(dl(1, dl(3, dl(7, nil))), ll(dl(1, dl(3, dl(9, nil))), ll(dl(1, dl(4, dl(9, nil))), ll(dl(1, dl(5, dl(1, nil))), ll(dl(1, dl(5, dl(7, nil))), ll(dl(1, dl(6, dl(3, nil))), ll(dl(1, dl(6, dl(7, nil))), ll(dl(1, dl(7, dl(3, nil))), ll(dl(1, dl(7, dl(9, nil))), ll(dl(1, dl(8, dl(1, nil))), ll(dl(1, dl(9, dl(1, nil))), ll(dl(1, dl(9, dl(3, nil))), ll(dl(1, dl(9, dl(7, nil))), ll(dl(1, dl(9, dl(9, nil))), ll(dl(2, dl(1, dl(1, nil))), ll(dl(2, dl(2, dl(3, nil))), ll(dl(2, dl(2, dl(7, nil))), ll(dl(2, dl(2, dl(9, nil))), ll(dl(2, dl(3, dl(3, nil))), ll(dl(2, dl(3, dl(9, nil))), ll(dl(2, dl(4, dl(1, nil))), ll(dl(2, dl(5, dl(1, nil))), ll(dl(2, dl(5, dl(7, nil))), ll(dl(2, dl(6, dl(3, nil))), ll(dl(2, dl(6, dl(9, nil))), ll(dl(2, dl(7, dl(1, nil))), ll(dl(2, dl(7, dl(7, nil))), ll(dl(2, dl(8, dl(1, nil))), ll(dl(2, dl(8, dl(3, nil))), ll(dl(2, dl(9, dl(3, nil))), ll(dl(3, dl(0, dl(7, nil))), ll(dl(3, dl(1, dl(1, nil))), ll(dl(3, dl(1, dl(3, nil))), ll(dl(3, dl(1, dl(7, nil))), ll(dl(3, dl(3, dl(1, nil))), ll(dl(3, dl(3, dl(7, nil))), ll(dl(3, dl(4, dl(7, nil))), ll(dl(3, dl(4, dl(9, nil))), ll(dl(3, dl(5, dl(3, nil))), ll(dl(3, dl(5, dl(9, nil))), ll(dl(3, dl(6, dl(7, nil))), ll(dl(3, dl(7, dl(3, nil))), ll(dl(3, dl(7, dl(9, nil))), ll(dl(3, dl(8, dl(3, nil))), ll(dl(3, dl(8, dl(9, nil))), ll(dl(3, dl(9, dl(7, nil))), ll(dl(4, dl(0, dl(1, nil))), ll(dl(4, dl(0, dl(9, nil))), ll(dl(4, dl(1, dl(9, nil))), ll(dl(4, dl(2, dl(1, nil))), ll(dl(4, dl(3, dl(1, nil))), ll(dl(4, dl(3, dl(3, nil))), ll(dl(4, dl(3, dl(9, nil))), ll(dl(4, dl(4, dl(3, nil))), ll(dl(4, dl(4, dl(9, nil))), ll(dl(4, dl(5, dl(7, nil))), ll(dl(4, dl(6, dl(1, nil))), ll(dl(4, dl(6, dl(3, nil))), ll(dl(4, dl(6, dl(7, nil))), ll(dl(4, dl(7, dl(9, nil))), ll(dl(4, dl(8, dl(7, nil))), ll(dl(4, dl(9, dl(1, nil))), ll(dl(4, dl(9, dl(9, nil))), ll(dl(5, dl(0, dl(3, nil))), ll(dl(5, dl(0, dl(9, nil))), ll(dl(5, dl(2, dl(1, nil))), ll(dl(5, dl(2, dl(3, nil))), ll(dl(5, dl(4, dl(1, nil))), ll(dl(5, dl(4, dl(7, nil))), ll(dl(5, dl(5, dl(7, nil))), ll(dl(5, dl(6, dl(3, nil))), ll(dl(5, dl(6, dl(9, nil))), ll(dl(5, dl(7, dl(1, nil))), ll(dl(5, dl(7, dl(7, nil))), ll(dl(5, dl(8, dl(7, nil))), ll(dl(5, dl(9, dl(3, nil))), ll(dl(5, dl(9, dl(9, nil))), ll(dl(6, dl(0, dl(1, nil))), ll(dl(6, dl(0, dl(7, nil))), ll(dl(6, dl(1, dl(3, nil))), ll(dl(6, dl(1, dl(7, nil))), ll(dl(6, dl(1, dl(9, nil))), ll(dl(6, dl(3, dl(1, nil))), ll(dl(6, dl(4, dl(1, nil))), ll(dl(6, dl(4, dl(3, nil))), ll(dl(6, dl(4, dl(7, nil))), ll(dl(6, dl(5, dl(3, nil))), ll(dl(6, dl(5, dl(9, nil))), ll(dl(6, dl(6, dl(1, nil))), ll(dl(6, dl(7, dl(3, nil))), ll(dl(6, dl(7, dl(7, nil))), ll(dl(6, dl(8, dl(3, nil))), ll(dl(6, dl(9, dl(1, nil))), ll(dl(7, dl(0, dl(1, nil))), ll(dl(7, dl(0, dl(9, nil))), ll(dl(7, dl(1, dl(9, nil))), ll(dl(7, dl(2, dl(7, nil))), ll(dl(7, dl(3, dl(3, nil))), ll(dl(7, dl(3, dl(9, nil))), ll(dl(7, dl(4, dl(3, nil))), ll(dl(7, dl(5, dl(1, nil))), ll(dl(7, dl(5, dl(7, nil))), ll(dl(7, dl(6, dl(1, nil))), ll(dl(7, dl(6, dl(9, nil))), ll(dl(7, dl(7, dl(3, nil))), ll(dl(7, dl(8, dl(7, nil))), ll(dl(7, dl(9, dl(7, nil))), ll(dl(8, dl(0, dl(9, nil))), ll(dl(8, dl(1, dl(1, nil))), ll(dl(8, dl(2, dl(1, nil))), ll(dl(8, dl(2, dl(3, nil))), ll(dl(8, dl(2, dl(7, nil))), ll(dl(8, dl(2, dl(9, nil))), ll(dl(8, dl(3, dl(9, nil))), ll(dl(8, dl(5, dl(3, nil))), ll(dl(8, dl(5, dl(7, nil))), ll(dl(8, dl(5, dl(9, nil))), ll(dl(8, dl(6, dl(3, nil))), ll(dl(8, dl(7, dl(7, nil))), ll(dl(8, dl(8, dl(1, nil))), ll(dl(8, dl(8, dl(3, nil))), ll(dl(8, dl(8, dl(7, nil))), ll(dl(9, dl(0, dl(7, nil))), ll(dl(9, dl(1, dl(1, nil))), ll(dl(9, dl(1, dl(9, nil))), ll(dl(9, dl(2, dl(9, nil))), ll(dl(9, dl(3, dl(7, nil))), ll(dl(9, dl(4, dl(1, nil))), ll(dl(9, dl(4, dl(7, nil))), ll(dl(9, dl(5, dl(3, nil))), ll(dl(9, dl(6, dl(7, nil))), ll(dl(9, dl(7, dl(1, nil))), ll(dl(9, dl(7, dl(7, nil))), ll(dl(9, dl(8, dl(3, nil))), ll(dl(9, dl(9, dl(1, nil))), ll(dl(9, dl(9, dl(7, nil))), ll(dl(1, dl(0, dl(0, dl(9, nil)))), ll(dl(1, dl(0, dl(1, dl(3, nil)))), ll(dl(1, dl(0, dl(1, dl(9, nil)))), ll(dl(1, dl(0, dl(2, dl(1, nil)))), ll(dl(1, dl(0, dl(3, dl(1, nil)))), ll(dl(1, dl(0, dl(3, dl(3, nil)))), ll(dl(1, dl(0, dl(3, dl(9, nil)))), ll(dl(1, dl(0, dl(4, dl(9, nil)))), ll( dl(1, dl(0, dl(5, dl(1, nil)))), ll(dl(1, dl(0, dl(6, dl(1, nil)))), ll(dl(1, dl(0, dl(6, dl(3, nil)))), ll(dl(1, dl(0, dl(6, dl(9, nil)))), ll(dl(1, dl(0, dl(8, dl(7, nil)))), ll(dl(1, dl(0, dl(9, dl(1, nil)))), ll(dl(1, dl(0, dl(9, dl(3, nil)))), ll(dl(1, dl(0, dl(9, dl(7, nil)))), ll(dl(1, dl(1, dl(0, dl(3, nil)))), ll(dl(1, dl(1, dl(0, dl(9, nil)))), ll(dl(1, dl(1, dl(1, dl(7, nil)))), ll(dl(1, dl(1, dl(2, dl(3, nil)))), ll(dl(1, dl(1, dl(2, dl(9, nil)))), ll(dl(1, dl(1, dl(5, dl(1, nil)))), ll( dl(1, dl(1, dl(5, dl(3, nil)))), ll(dl(1, dl(1, dl(6, dl(3, nil)))), ll(dl(1, dl(1, dl(7, dl(1, nil)))), ll(dl(1, dl(1, dl(8, dl(1, nil)))), ll(dl(1, dl(1, dl(8, dl(7, nil)))), ll(dl(1, dl(1, dl(9, dl(3, nil)))), ll(dl(1, dl(2, dl(0, dl(1, nil)))), ll(dl(1, dl(2, dl(1, dl(3, nil)))), ll(dl(1, dl(2, dl(1, dl(7, nil)))), ll(dl(1, dl(2, dl(2, dl(3, nil)))), ll(dl(1, dl(2, dl(2, dl(9, nil)))), ll(dl(1, dl(2, dl(3, dl(1, nil)))), ll(dl(1, dl(2, dl(3, dl(7, nil)))), ll(dl(1, dl(2, dl(4, dl(9, nil)))), ll( dl(1, dl(2, dl(5, dl(9, nil)))), ll(dl(1, dl(2, dl(7, dl(7, nil)))), ll(dl(1, dl(2, dl(7, dl(9, nil)))), ll(dl(1, dl(2, dl(8, dl(3, nil)))), ll(dl(1, dl(2, dl(8, dl(9, nil)))), ll(dl(1, dl(2, dl(9, dl(1, nil)))), ll(dl(1, dl(2, dl(9, dl(7, nil)))), ll(dl(1, dl(3, dl(0, dl(1, nil)))), ll(dl(1, dl(3, dl(0, dl(3, nil)))), ll(dl(1, dl(3, dl(0, dl(7, nil)))), ll(dl(1, dl(3, dl(1, dl(9, nil)))), ll(dl(1, dl(3, dl(2, dl(1, nil)))), ll(dl(1, dl(3, dl(2, dl(7, nil)))), ll(dl(1, dl(3, dl(6, dl(1, nil)))), ll( dl(1, dl(3, dl(6, dl(7, nil)))), ll(dl(1, dl(3, dl(7, dl(3, nil)))), ll(dl(1, dl(3, dl(8, dl(1, nil)))), ll(dl(1, dl(3, dl(9, dl(9, nil)))), ll(dl(1, dl(4, dl(0, dl(9, nil)))), ll(dl(1, dl(4, dl(2, dl(3, nil)))), ll(dl(1, dl(4, dl(2, dl(7, nil)))), ll(dl(1, dl(4, dl(2, dl(9, nil)))), ll(dl(1, dl(4, dl(3, dl(3, nil)))), ll(dl(1, dl(4, dl(3, dl(9, nil)))), ll(dl(1, dl(4, dl(4, dl(7, nil)))), ll(dl(1, dl(4, dl(5, dl(1, nil)))), ll(dl(1, dl(4, dl(5, dl(3, nil)))), ll(dl(1, dl(4, dl(5, dl(9, nil)))), ll( dl(1, dl(4, dl(7, dl(1, nil)))), ll(dl(1, dl(4, dl(8, dl(1, nil)))), ll(dl(1, dl(4, dl(8, dl(3, nil)))), ll(dl(1, dl(4, dl(8, dl(7, nil)))), ll(dl(1, dl(4, dl(8, dl(9, nil)))), ll(dl(1, dl(4, dl(9, dl(3, nil)))), ll(dl(1, dl(4, dl(9, dl(9, nil)))), ll(dl(1, dl(5, dl(1, dl(1, nil)))), ll(dl(1, dl(5, dl(2, dl(3, nil)))), ll(dl(1, dl(5, dl(3, dl(1, nil)))), ll(dl(1, dl(5, dl(4, dl(3, nil)))), ll(dl(1, dl(5, dl(4, dl(9, nil)))), ll(dl(1, dl(5, dl(5, dl(3, nil)))), ll(dl(1, dl(5, dl(5, dl(9, nil)))), ll( dl(1, dl(5, dl(6, dl(7, nil)))), ll(dl(1, dl(5, dl(7, dl(1, nil)))), ll(dl(1, dl(5, dl(7, dl(9, nil)))), ll(dl(1, dl(5, dl(8, dl(3, nil)))), ll(dl(1, dl(5, dl(9, dl(7, nil)))), ll(dl(1, dl(6, dl(0, dl(1, nil)))), ll(dl(1, dl(6, dl(0, dl(7, nil)))), ll(dl(1, dl(6, dl(0, dl(9, nil)))), ll(dl(1, dl(6, dl(1, dl(3, nil)))), ll(dl(1, dl(6, dl(1, dl(9, nil)))), ll(dl(1, dl(6, dl(2, dl(1, nil)))), ll(dl(1, dl(6, dl(2, dl(7, nil)))), ll(dl(1, dl(6, dl(3, dl(7, nil)))), ll(dl(1, dl(6, dl(5, dl(7, nil)))), ll( dl(1, dl(6, dl(6, dl(3, nil)))), ll(dl(1, dl(6, dl(6, dl(7, nil)))), ll(dl(1, dl(6, dl(6, dl(9, nil)))), ll(dl(1, dl(6, dl(9, dl(3, nil)))), ll(dl(1, dl(6, dl(9, dl(7, nil)))), ll(dl(1, dl(6, dl(9, dl(9, nil)))), ll(dl(1, dl(7, dl(0, dl(9, nil)))), ll(dl(1, dl(7, dl(2, dl(1, nil)))), ll(dl(1, dl(7, dl(2, dl(3, nil)))), ll(dl(1, dl(7, dl(3, dl(3, nil)))), ll(dl(1, dl(7, dl(4, dl(1, nil)))), ll(dl(1, dl(7, dl(4, dl(7, nil)))), ll(dl(1, dl(7, dl(5, dl(3, nil)))), ll(dl(1, dl(7, dl(5, dl(9, nil)))), ll( dl(1, dl(7, dl(7, dl(7, nil)))), ll(dl(1, dl(7, dl(8, dl(3, nil)))), ll(dl(1, dl(7, dl(8, dl(7, nil)))), ll(dl(1, dl(7, dl(8, dl(9, nil)))), ll(dl(1, dl(8, dl(0, dl(1, nil)))), ll(dl(1, dl(8, dl(1, dl(1, nil)))), ll(dl(1, dl(8, dl(2, dl(3, nil)))), ll(dl(1, dl(8, dl(3, dl(1, nil)))), ll(dl(1, dl(8, dl(4, dl(7, nil)))), ll(dl(1, dl(8, dl(6, dl(1, nil)))), ll(dl(1, dl(8, dl(6, dl(7, nil)))), ll(dl(1, dl(8, dl(7, dl(1, nil)))), ll(dl(1, dl(8, dl(7, dl(3, nil)))), ll(dl(1, dl(8, dl(7, dl(7, nil)))), ll( dl(1, dl(8, dl(7, dl(9, nil)))), ll(dl(1, dl(8, dl(8, dl(9, nil)))), ll(dl(1, dl(9, dl(0, dl(1, nil)))), ll(dl(1, dl(9, dl(0, dl(7, nil)))), ll(dl(1, dl(9, dl(1, dl(3, nil)))), ll(dl(1, dl(9, dl(3, dl(1, nil)))), ll(dl(1, dl(9, dl(3, dl(3, nil)))), ll(dl(1, dl(9, dl(4, dl(9, nil)))), ll(dl(1, dl(9, dl(5, dl(1, nil)))), ll(dl(1, dl(9, dl(7, dl(3, nil)))), ll(dl(1, dl(9, dl(7, dl(9, nil)))), ll(dl(1, dl(9, dl(8, dl(7, nil)))), ll(dl(1, dl(9, dl(9, dl(3, nil)))), ll(dl(1, dl(9, dl(9, dl(7, nil)))), ll( dl(1, dl(9, dl(9, dl(9, nil)))), ll(dl(2, dl(0, dl(0, dl(3, nil)))), ll(dl(2, dl(0, dl(1, dl(1, nil)))), ll(dl(2, dl(0, dl(1, dl(7, nil)))), ll(dl(2, dl(0, dl(2, dl(7, nil)))), ll(dl(2, dl(0, dl(2, dl(9, nil)))), ll(dl(2, dl(0, dl(3, dl(9, nil)))), ll(dl(2, dl(0, dl(5, dl(3, nil)))), ll(dl(2, dl(0, dl(6, dl(3, nil)))), ll(dl(2, dl(0, dl(6, dl(9, nil)))), ll(dl(2, dl(0, dl(8, dl(1, nil)))), ll(dl(2, dl(0, dl(8, dl(3, nil)))), ll(dl(2, dl(0, dl(8, dl(7, nil)))), ll(dl(2, dl(0, dl(8, dl(9, nil)))), ll( dl(2, dl(0, dl(9, dl(9, nil)))), ll(dl(2, dl(1, dl(1, dl(1, nil)))), ll(dl(2, dl(1, dl(1, dl(3, nil)))), ll(dl(2, dl(1, dl(2, dl(9, nil)))), ll(dl(2, dl(1, dl(3, dl(1, nil)))), ll(dl(2, dl(1, dl(3, dl(7, nil)))), ll(dl(2, dl(1, dl(4, dl(1, nil)))), ll(dl(2, dl(1, dl(4, dl(3, nil)))), ll(dl(2, dl(1, dl(5, dl(3, nil)))), ll(dl(2, dl(1, dl(6, dl(1, nil)))), ll(dl(2, dl(1, dl(7, dl(9, nil)))), ll(dl(2, dl(2, dl(0, dl(3, nil)))), ll(dl(2, dl(2, dl(0, dl(7, nil)))), ll(dl(2, dl(2, dl(1, dl(3, nil)))), ll( dl(2, dl(2, dl(2, dl(1, nil)))), ll(dl(2, dl(2, dl(3, dl(7, nil)))), ll(dl(2, dl(2, dl(3, dl(9, nil)))), ll(dl(2, dl(2, dl(4, dl(3, nil)))), ll(dl(2, dl(2, dl(5, dl(1, nil)))), ll(dl(2, dl(2, dl(6, dl(7, nil)))), ll(dl(2, dl(2, dl(6, dl(9, nil)))), ll(dl(2, dl(2, dl(7, dl(3, nil)))), ll(dl(2, dl(2, dl(8, dl(1, nil)))), ll(dl(2, dl(2, dl(8, dl(7, nil)))), ll(dl(2, dl(2, dl(9, dl(3, nil)))), ll(dl(2, dl(2, dl(9, dl(7, nil)))), ll(dl(2, dl(3, dl(0, dl(9, nil)))), ll(dl(2, dl(3, dl(1, dl(1, nil)))), ll( dl(2, dl(3, dl(3, dl(3, nil)))), ll(dl(2, dl(3, dl(3, dl(9, nil)))), ll(dl(2, dl(3, dl(4, dl(1, nil)))), ll(dl(2, dl(3, dl(4, dl(7, nil)))), ll(dl(2, dl(3, dl(5, dl(1, nil)))), ll(dl(2, dl(3, dl(5, dl(7, nil)))), ll(dl(2, dl(3, dl(7, dl(1, nil)))), ll(dl(2, dl(3, dl(7, dl(7, nil)))), ll(dl(2, dl(3, dl(8, dl(1, nil)))), ll(dl(2, dl(3, dl(8, dl(3, nil)))), ll(dl(2, dl(3, dl(8, dl(9, nil)))), ll(dl(2, dl(3, dl(9, dl(3, nil)))), ll(dl(2, dl(3, dl(9, dl(9, nil)))), ll(dl(2, dl(4, dl(1, dl(1, nil)))), ll( dl(2, dl(4, dl(1, dl(7, nil)))), ll(dl(2, dl(4, dl(2, dl(3, nil)))), ll(dl(2, dl(4, dl(3, dl(7, nil)))), ll(dl(2, dl(4, dl(4, dl(1, nil)))), ll(dl(2, dl(4, dl(4, dl(7, nil)))), ll(dl(2, dl(4, dl(5, dl(9, nil)))), ll(dl(2, dl(4, dl(6, dl(7, nil)))), ll(dl(2, dl(4, dl(7, dl(3, nil)))), ll(dl(2, dl(4, dl(7, dl(7, nil)))), ll(dl(2, dl(5, dl(0, dl(3, nil)))), ll(dl(2, dl(5, dl(2, dl(1, nil)))), ll(dl(2, dl(5, dl(3, dl(1, nil)))), ll(dl(2, dl(5, dl(3, dl(9, nil)))), ll(dl(2, dl(5, dl(4, dl(3, nil)))), ll( dl(2, dl(5, dl(4, dl(9, nil)))), ll(dl(2, dl(5, dl(5, dl(1, nil)))), ll(dl(2, dl(5, dl(5, dl(7, nil)))), ll(dl(2, dl(5, dl(7, dl(9, nil)))), ll(dl(2, dl(5, dl(9, dl(1, nil)))), ll(dl(2, dl(5, dl(9, dl(3, nil)))), ll(dl(2, dl(6, dl(0, dl(9, nil)))), ll(dl(2, dl(6, dl(1, dl(7, nil)))), ll(dl(2, dl(6, dl(2, dl(1, nil)))), ll(dl(2, dl(6, dl(3, dl(3, nil)))), ll(dl(2, dl(6, dl(4, dl(7, nil)))), ll(dl(2, dl(6, dl(5, dl(7, nil)))), ll(dl(2, dl(6, dl(5, dl(9, nil)))), ll(dl(2, dl(6, dl(6, dl(3, nil)))), ll( dl(2, dl(6, dl(7, dl(1, nil)))), ll(dl(2, dl(6, dl(7, dl(7, nil)))), ll(dl(2, dl(6, dl(8, dl(3, nil)))), ll(dl(2, dl(6, dl(8, dl(7, nil)))), ll(dl(2, dl(6, dl(8, dl(9, nil)))), ll(dl(2, dl(6, dl(9, dl(3, nil)))), ll(dl(2, dl(6, dl(9, dl(9, nil)))), ll(dl(2, dl(7, dl(0, dl(7, nil)))), ll(dl(2, dl(7, dl(1, dl(1, nil)))), ll(dl(2, dl(7, dl(1, dl(3, nil)))), ll(dl(2, dl(7, dl(1, dl(9, nil)))), ll(dl(2, dl(7, dl(2, dl(9, nil)))), ll(dl(2, dl(7, dl(3, dl(1, nil)))), ll(dl(2, dl(7, dl(4, dl(1, nil)))), ll( dl(2, dl(7, dl(4, dl(9, nil)))), ll(dl(2, dl(7, dl(5, dl(3, nil)))), ll(dl(2, dl(7, dl(6, dl(7, nil)))), ll(dl(2, dl(7, dl(7, dl(7, nil)))), ll(dl(2, dl(7, dl(8, dl(9, nil)))), ll(dl(2, dl(7, dl(9, dl(1, nil)))), ll(dl(2, dl(7, dl(9, dl(7, nil)))), ll(dl(2, dl(8, dl(0, dl(1, nil)))), ll(dl(2, dl(8, dl(0, dl(3, nil)))), ll(dl(2, dl(8, dl(1, dl(9, nil)))), ll(dl(2, dl(8, dl(3, dl(3, nil)))), ll(dl(2, dl(8, dl(3, dl(7, nil)))), ll(dl(2, dl(8, dl(4, dl(3, nil)))), ll(dl(2, dl(8, dl(5, dl(1, nil)))), ll( dl(2, dl(8, dl(5, dl(7, nil)))), ll(dl(2, dl(8, dl(6, dl(1, nil)))), ll(dl(2, dl(8, dl(7, dl(9, nil)))), ll(dl(2, dl(8, dl(8, dl(7, nil)))), ll(dl(2, dl(8, dl(9, dl(7, nil)))), ll(dl(2, dl(9, dl(0, dl(3, nil)))), ll(dl(2, dl(9, dl(0, dl(9, nil)))), ll(dl(2, dl(9, dl(1, dl(7, nil)))), ll(dl(2, dl(9, dl(2, dl(7, nil)))), ll(dl(2, dl(9, dl(3, dl(9, nil)))), ll(dl(2, dl(9, dl(5, dl(3, nil)))), ll(dl(2, dl(9, dl(5, dl(7, nil)))), ll(dl(2, dl(9, dl(6, dl(3, nil)))), ll(dl(2, dl(9, dl(6, dl(9, nil)))), ll( dl(2, dl(9, dl(7, dl(1, nil)))), ll(dl(2, dl(9, dl(9, dl(9, nil)))), ll(dl(3, dl(0, dl(0, dl(1, nil)))), ll(dl(3, dl(0, dl(1, dl(1, nil)))), ll(dl(3, dl(0, dl(1, dl(9, nil)))), ll(dl(3, dl(0, dl(2, dl(3, nil)))), ll(dl(3, dl(0, dl(3, dl(7, nil)))), ll(dl(3, dl(0, dl(4, dl(1, nil)))), ll(dl(3, dl(0, dl(4, dl(9, nil)))), ll(dl(3, dl(0, dl(6, dl(1, nil)))), ll(dl(3, dl(0, dl(6, dl(7, nil)))), ll(dl(3, dl(0, dl(7, dl(9, nil)))), ll(dl(3, dl(0, dl(8, dl(3, nil)))), ll(dl(3, dl(0, dl(8, dl(9, nil)))), ll( dl(3, dl(1, dl(0, dl(9, nil)))), ll(dl(3, dl(1, dl(1, dl(9, nil)))), ll(dl(3, dl(1, dl(2, dl(1, nil)))), ll(dl(3, dl(1, dl(3, dl(7, nil)))), ll(dl(3, dl(1, dl(6, dl(3, nil)))), ll(dl(3, dl(1, dl(6, dl(7, nil)))), ll(dl(3, dl(1, dl(6, dl(9, nil)))), ll(dl(3, dl(1, dl(8, dl(1, nil)))), ll(dl(3, dl(1, dl(8, dl(7, nil)))), ll(dl(3, dl(1, dl(9, dl(1, nil)))), ll(dl(3, dl(2, dl(0, dl(3, nil)))), ll(dl(3, dl(2, dl(0, dl(9, nil)))), ll(dl(3, dl(2, dl(1, dl(7, nil)))), ll(dl(3, dl(2, dl(2, dl(1, nil)))), ll( dl(3, dl(2, dl(2, dl(9, nil)))), ll(dl(3, dl(2, dl(5, dl(1, nil)))), ll(dl(3, dl(2, dl(5, dl(3, nil)))), ll(dl(3, dl(2, dl(5, dl(7, nil)))), ll(dl(3, dl(2, dl(5, dl(9, nil)))), ll(dl(3, dl(2, dl(7, dl(1, nil)))), ll(dl(3, dl(2, dl(9, dl(9, nil)))), ll(dl(3, dl(3, dl(0, dl(1, nil)))), ll(dl(3, dl(3, dl(0, dl(7, nil)))), ll(dl(3, dl(3, dl(1, dl(3, nil)))), ll(dl(3, dl(3, dl(1, dl(9, nil)))), ll(dl(3, dl(3, dl(2, dl(3, nil)))), ll(dl(3, dl(3, dl(2, dl(9, nil)))), ll(dl(3, dl(3, dl(3, dl(1, nil)))), ll( dl(3, dl(3, dl(4, dl(3, nil)))), ll(dl(3, dl(3, dl(4, dl(7, nil)))), ll(dl(3, dl(3, dl(5, dl(9, nil)))), ll(dl(3, dl(3, dl(6, dl(1, nil)))), ll(dl(3, dl(3, dl(7, dl(1, nil)))), ll(dl(3, dl(3, dl(7, dl(3, nil)))), ll(dl(3, dl(3, dl(8, dl(9, nil)))), ll(dl(3, dl(3, dl(9, dl(1, nil)))), ll(dl(3, dl(4, dl(0, dl(7, nil)))), ll(dl(3, dl(4, dl(1, dl(3, nil)))), ll(dl(3, dl(4, dl(3, dl(3, nil)))), ll(dl(3, dl(4, dl(4, dl(9, nil)))), ll(dl(3, dl(4, dl(5, dl(7, nil)))), ll(dl(3, dl(4, dl(6, dl(1, nil)))), ll( dl(3, dl(4, dl(6, dl(3, nil)))), ll(dl(3, dl(4, dl(6, dl(7, nil)))), ll(dl(3, dl(4, dl(6, dl(9, nil)))), ll(dl(3, dl(4, dl(9, dl(1, nil)))), ll(dl(3, dl(4, dl(9, dl(9, nil)))), ll(dl(3, dl(5, dl(1, dl(1, nil)))), ll(dl(3, dl(5, dl(1, dl(7, nil)))), ll(dl(3, dl(5, dl(2, dl(7, nil)))), ll(dl(3, dl(5, dl(2, dl(9, nil)))), ll(dl(3, dl(5, dl(3, dl(3, nil)))), ll(dl(3, dl(5, dl(3, dl(9, nil)))), ll(dl(3, dl(5, dl(4, dl(1, nil)))), ll(dl(3, dl(5, dl(4, dl(7, nil)))), ll(dl(3, dl(5, dl(5, dl(7, nil)))), ll( dl(3, dl(5, dl(5, dl(9, nil)))), ll(dl(3, dl(5, dl(7, dl(1, nil)))), ll(dl(3, dl(5, dl(8, dl(1, nil)))), ll(dl(3, dl(5, dl(8, dl(3, nil)))), ll(dl(3, dl(5, dl(9, dl(3, nil)))), ll(dl(3, dl(6, dl(0, dl(7, nil)))), ll(dl(3, dl(6, dl(1, dl(3, nil)))), ll(dl(3, dl(6, dl(1, dl(7, nil)))), ll(dl(3, dl(6, dl(2, dl(3, nil)))), ll(dl(3, dl(6, dl(3, dl(1, nil)))), ll(dl(3, dl(6, dl(3, dl(7, nil)))), ll(dl(3, dl(6, dl(4, dl(3, nil)))), ll(dl(3, dl(6, dl(5, dl(9, nil)))), ll(dl(3, dl(6, dl(7, dl(1, nil)))), ll( dl(3, dl(6, dl(7, dl(3, nil)))), ll(dl(3, dl(6, dl(7, dl(7, nil)))), ll(dl(3, dl(6, dl(9, dl(1, nil)))), ll(dl(3, dl(6, dl(9, dl(7, nil)))), ll(dl(3, dl(7, dl(0, dl(1, nil)))), ll(dl(3, dl(7, dl(0, dl(9, nil)))), ll(dl(3, dl(7, dl(1, dl(9, nil)))), ll(dl(3, dl(7, dl(2, dl(7, nil)))), ll(dl(3, dl(7, dl(3, dl(3, nil)))), ll(dl(3, dl(7, dl(3, dl(9, nil)))), ll(dl(3, dl(7, dl(6, dl(1, nil)))), ll(dl(3, dl(7, dl(6, dl(7, nil)))), ll(dl(3, dl(7, dl(6, dl(9, nil)))), ll(dl(3, dl(7, dl(7, dl(9, nil)))), ll( dl(3, dl(7, dl(9, dl(3, nil)))), ll(dl(3, dl(7, dl(9, dl(7, nil)))), ll(dl(3, dl(8, dl(0, dl(3, nil)))), ll(dl(3, dl(8, dl(2, dl(1, nil)))), ll(dl(3, dl(8, dl(2, dl(3, nil)))), ll(dl(3, dl(8, dl(3, dl(3, nil)))), ll(dl(3, dl(8, dl(4, dl(7, nil)))), ll(dl(3, dl(8, dl(5, dl(1, nil)))), ll(dl(3, dl(8, dl(5, dl(3, nil)))), ll(dl(3, dl(8, dl(6, dl(3, nil)))), ll(dl(3, dl(8, dl(7, dl(7, nil)))), ll(dl(3, dl(8, dl(8, dl(1, nil)))), ll(dl(3, dl(8, dl(8, dl(9, nil)))), ll(dl(3, dl(9, dl(0, dl(7, nil)))), ll( dl(3, dl(9, dl(1, dl(1, nil)))), ll(dl(3, dl(9, dl(1, dl(7, nil)))), ll(dl(3, dl(9, dl(1, dl(9, nil)))), ll(dl(3, dl(9, dl(2, dl(3, nil)))), ll(dl(3, dl(9, dl(2, dl(9, nil)))), ll(dl(3, dl(9, dl(3, dl(1, nil)))), ll(dl(3, dl(9, dl(4, dl(3, nil)))), ll(dl(3, dl(9, dl(4, dl(7, nil)))), ll(dl(3, dl(9, dl(6, dl(7, nil)))), ll(dl(3, dl(9, dl(8, dl(9, nil)))), ll(dl(4, dl(0, dl(0, dl(1, nil)))), ll(dl(4, dl(0, dl(0, dl(3, nil)))), ll(dl(4, dl(0, dl(0, dl(7, nil)))), ll(dl(4, dl(0, dl(1, dl(3, nil)))), ll( dl(4, dl(0, dl(1, dl(9, nil)))), ll(dl(4, dl(0, dl(2, dl(1, nil)))), ll(dl(4, dl(0, dl(2, dl(7, nil)))), ll(dl(4, dl(0, dl(4, dl(9, nil)))), ll(dl(4, dl(0, dl(5, dl(1, nil)))), ll(dl(4, dl(0, dl(5, dl(7, nil)))), ll(dl(4, dl(0, dl(7, dl(3, nil)))), ll(dl(4, dl(0, dl(7, dl(9, nil)))), ll(dl(4, dl(0, dl(9, dl(1, nil)))), ll(dl(4, dl(0, dl(9, dl(3, nil)))), ll(dl(4, dl(0, dl(9, dl(9, nil)))), ll(dl(4, dl(1, dl(1, dl(1, nil)))), ll(dl(4, dl(1, dl(2, dl(7, nil)))), ll(dl(4, dl(1, dl(2, dl(9, nil)))), ll( dl(4, dl(1, dl(3, dl(3, nil)))), ll(dl(4, dl(1, dl(3, dl(9, nil)))), ll(dl(4, dl(1, dl(5, dl(3, nil)))), ll(dl(4, dl(1, dl(5, dl(7, nil)))), ll(dl(4, dl(1, dl(5, dl(9, nil)))), ll(dl(4, dl(1, dl(7, dl(7, nil)))), ll(dl(4, dl(2, dl(0, dl(1, nil)))), ll(dl(4, dl(2, dl(1, dl(1, nil)))), ll(dl(4, dl(2, dl(1, dl(7, nil)))), ll(dl(4, dl(2, dl(1, dl(9, nil)))), ll(dl(4, dl(2, dl(2, dl(9, nil)))), ll(dl(4, dl(2, dl(3, dl(1, nil)))), ll(dl(4, dl(2, dl(4, dl(1, nil)))), ll(dl(4, dl(2, dl(4, dl(3, nil)))), ll( dl(4, dl(2, dl(5, dl(3, nil)))), ll(dl(4, dl(2, dl(5, dl(9, nil)))), ll(dl(4, dl(2, dl(6, dl(1, nil)))), ll(dl(4, dl(2, dl(7, dl(1, nil)))), ll(dl(4, dl(2, dl(7, dl(3, nil)))), ll(dl(4, dl(2, dl(8, dl(3, nil)))), ll(dl(4, dl(2, dl(8, dl(9, nil)))), ll(dl(4, dl(2, dl(9, dl(7, nil)))), ll(dl(4, dl(3, dl(2, dl(7, nil)))), ll(dl(4, dl(3, dl(3, dl(7, nil)))), ll(dl(4, dl(3, dl(3, dl(9, nil)))), ll(dl(4, dl(3, dl(4, dl(9, nil)))), ll(dl(4, dl(3, dl(5, dl(7, nil)))), ll(dl(4, dl(3, dl(6, dl(3, nil)))), ll( dl(4, dl(3, dl(7, dl(3, nil)))), ll(dl(4, dl(3, dl(9, dl(1, nil)))), ll(dl(4, dl(3, dl(9, dl(7, nil)))), ll(dl(4, dl(4, dl(0, dl(9, nil)))), ll(dl(4, dl(4, dl(2, dl(1, nil)))), ll(dl(4, dl(4, dl(2, dl(3, nil)))), ll(dl(4, dl(4, dl(4, dl(1, nil)))), ll(dl(4, dl(4, dl(4, dl(7, nil)))), ll(dl(4, dl(4, dl(5, dl(1, nil)))), ll(dl(4, dl(4, dl(5, dl(7, nil)))), ll(dl(4, dl(4, dl(6, dl(3, nil)))), ll(dl(4, dl(4, dl(8, dl(1, nil)))), ll(dl(4, dl(4, dl(8, dl(3, nil)))), ll(dl(4, dl(4, dl(9, dl(3, nil)))), ll( dl(4, dl(5, dl(0, dl(7, nil)))), ll(dl(4, dl(5, dl(1, dl(3, nil)))), ll(dl(4, dl(5, dl(1, dl(7, nil)))), ll(dl(4, dl(5, dl(1, dl(9, nil)))), ll(dl(4, dl(5, dl(2, dl(3, nil)))), ll(dl(4, dl(5, dl(4, dl(7, nil)))), ll(dl(4, dl(5, dl(4, dl(9, nil)))), ll(dl(4, dl(5, dl(6, dl(1, nil)))), ll(dl(4, dl(5, dl(6, dl(7, nil)))), ll(dl(4, dl(5, dl(8, dl(3, nil)))), ll(dl(4, dl(5, dl(9, dl(1, nil)))), ll(dl(4, dl(5, dl(9, dl(7, nil)))), ll(dl(4, dl(6, dl(0, dl(3, nil)))), ll(dl(4, dl(6, dl(2, dl(1, nil)))), ll( dl(4, dl(6, dl(3, dl(7, nil)))), ll(dl(4, dl(6, dl(3, dl(9, nil)))), ll(dl(4, dl(6, dl(4, dl(3, nil)))), ll(dl(4, dl(6, dl(4, dl(9, nil)))), ll(dl(4, dl(6, dl(5, dl(1, nil)))), ll(dl(4, dl(6, dl(5, dl(7, nil)))), ll(dl(4, dl(6, dl(6, dl(3, nil)))), ll(dl(4, dl(6, dl(7, dl(3, nil)))), ll(dl(4, dl(6, dl(7, dl(9, nil)))), ll(dl(4, dl(6, dl(9, dl(1, nil)))), ll(dl(4, dl(7, dl(0, dl(3, nil)))), ll(dl(4, dl(7, dl(2, dl(1, nil)))), ll(dl(4, dl(7, dl(2, dl(3, nil)))), ll(dl(4, dl(7, dl(2, dl(9, nil)))), ll( dl(4, dl(7, dl(3, dl(3, nil)))), ll(dl(4, dl(7, dl(5, dl(1, nil)))), ll(dl(4, dl(7, dl(5, dl(9, nil)))), ll(dl(4, dl(7, dl(8, dl(3, nil)))), ll(dl(4, dl(7, dl(8, dl(7, nil)))), ll(dl(4, dl(7, dl(8, dl(9, nil)))), ll(dl(4, dl(7, dl(9, dl(3, nil)))), ll(dl(4, dl(7, dl(9, dl(9, nil)))), ll(dl(4, dl(8, dl(0, dl(1, nil)))), ll(dl(4, dl(8, dl(1, dl(3, nil)))), ll(dl(4, dl(8, dl(1, dl(7, nil)))), ll(dl(4, dl(8, dl(3, dl(1, nil)))), ll(dl(4, dl(8, dl(6, dl(1, nil)))), ll(dl(4, dl(8, dl(7, dl(1, nil)))), ll( dl(4, dl(8, dl(7, dl(7, nil)))), ll(dl(4, dl(8, dl(8, dl(9, nil)))), ll(dl(4, dl(9, dl(0, dl(3, nil)))), ll(dl(4, dl(9, dl(0, dl(9, nil)))), ll(dl(4, dl(9, dl(1, dl(9, nil)))), ll(dl(4, dl(9, dl(3, dl(1, nil)))), ll(dl(4, dl(9, dl(3, dl(3, nil)))), ll(dl(4, dl(9, dl(3, dl(7, nil)))), ll(dl(4, dl(9, dl(4, dl(3, nil)))), ll(dl(4, dl(9, dl(5, dl(1, nil)))), ll(dl(4, dl(9, dl(5, dl(7, nil)))), ll(dl(4, dl(9, dl(6, dl(7, nil)))), ll(dl(4, dl(9, dl(6, dl(9, nil)))), ll(dl(4, dl(9, dl(7, dl(3, nil)))), ll( dl(4, dl(9, dl(8, dl(7, nil)))), ll(dl(4, dl(9, dl(9, dl(3, nil)))), ll(dl(4, dl(9, dl(9, dl(9, nil)))), ll(dl(5, dl(0, dl(0, dl(3, nil)))), ll(dl(5, dl(0, dl(0, dl(9, nil)))), ll(dl(5, dl(0, dl(1, dl(1, nil)))), ll(dl(5, dl(0, dl(2, dl(1, nil)))), ll(dl(5, dl(0, dl(2, dl(3, nil)))), ll(dl(5, dl(0, dl(3, dl(9, nil)))), ll(dl(5, dl(0, dl(5, dl(1, nil)))), ll(dl(5, dl(0, dl(5, dl(9, nil)))), ll(dl(5, dl(0, dl(7, dl(7, nil)))), ll(dl(5, dl(0, dl(8, dl(1, nil)))), ll(dl(5, dl(0, dl(8, dl(7, nil)))), ll( dl(5, dl(0, dl(9, dl(9, nil)))), ll(dl(5, dl(1, dl(0, dl(1, nil)))), ll(dl(5, dl(1, dl(0, dl(7, nil)))), ll(dl(5, dl(1, dl(1, dl(3, nil)))), ll(dl(5, dl(1, dl(1, dl(9, nil)))), ll(dl(5, dl(1, dl(4, dl(7, nil)))), ll(dl(5, dl(1, dl(5, dl(3, nil)))), ll(dl(5, dl(1, dl(6, dl(7, nil)))), ll(dl(5, dl(1, dl(7, dl(1, nil)))), ll(dl(5, dl(1, dl(7, dl(9, nil)))), ll(dl(5, dl(1, dl(8, dl(9, nil)))), ll(dl(5, dl(1, dl(9, dl(7, nil)))), ll(dl(5, dl(2, dl(0, dl(9, nil)))), ll(dl(5, dl(2, dl(2, dl(7, nil)))), ll( dl(5, dl(2, dl(3, dl(1, nil)))), ll(dl(5, dl(2, dl(3, dl(3, nil)))), ll(dl(5, dl(2, dl(3, dl(7, nil)))), ll(dl(5, dl(2, dl(6, dl(1, nil)))), ll(dl(5, dl(2, dl(7, dl(3, nil)))), ll(dl(5, dl(2, dl(7, dl(9, nil)))), ll(dl(5, dl(2, dl(8, dl(1, nil)))), ll(dl(5, dl(2, dl(9, dl(7, nil)))), ll(dl(5, dl(3, dl(0, dl(3, nil)))), ll(dl(5, dl(3, dl(0, dl(9, nil)))), ll(dl(5, dl(3, dl(2, dl(3, nil)))), ll(dl(5, dl(3, dl(3, dl(3, nil)))), ll(dl(5, dl(3, dl(4, dl(7, nil)))), ll(dl(5, dl(3, dl(5, dl(1, nil)))), ll( dl(5, dl(3, dl(8, dl(1, nil)))), ll(dl(5, dl(3, dl(8, dl(7, nil)))), ll(dl(5, dl(3, dl(9, dl(3, nil)))), ll(dl(5, dl(3, dl(9, dl(9, nil)))), ll(dl(5, dl(4, dl(0, dl(7, nil)))), ll(dl(5, dl(4, dl(1, dl(3, nil)))), ll(dl(5, dl(4, dl(1, dl(7, nil)))), ll(dl(5, dl(4, dl(1, dl(9, nil)))), ll(dl(5, dl(4, dl(3, dl(1, nil)))), ll(dl(5, dl(4, dl(3, dl(7, nil)))), ll(dl(5, dl(4, dl(4, dl(1, nil)))), ll(dl(5, dl(4, dl(4, dl(3, nil)))), ll(dl(5, dl(4, dl(4, dl(9, nil)))), ll(dl(5, dl(4, dl(7, dl(1, nil)))), ll( dl(5, dl(4, dl(7, dl(7, nil)))), ll(dl(5, dl(4, dl(7, dl(9, nil)))), ll(dl(5, dl(4, dl(8, dl(3, nil)))), ll(dl(5, dl(5, dl(0, dl(1, nil)))), ll(dl(5, dl(5, dl(0, dl(3, nil)))), ll(dl(5, dl(5, dl(0, dl(7, nil)))), ll(dl(5, dl(5, dl(1, dl(9, nil)))), ll(dl(5, dl(5, dl(2, dl(1, nil)))), ll(dl(5, dl(5, dl(2, dl(7, nil)))), ll(dl(5, dl(5, dl(3, dl(1, nil)))), ll(dl(5, dl(5, dl(5, dl(7, nil)))), ll(dl(5, dl(5, dl(6, dl(3, nil)))), ll(dl(5, dl(5, dl(6, dl(9, nil)))), ll(dl(5, dl(5, dl(7, dl(3, nil)))), ll( dl(5, dl(5, dl(8, dl(1, nil)))), ll(dl(5, dl(5, dl(9, dl(1, nil)))), ll(dl(5, dl(6, dl(2, dl(3, nil)))), ll(dl(5, dl(6, dl(3, dl(9, nil)))), ll(dl(5, dl(6, dl(4, dl(1, nil)))), ll(dl(5, dl(6, dl(4, dl(7, nil)))), ll(dl(5, dl(6, dl(5, dl(1, nil)))), ll(dl(5, dl(6, dl(5, dl(3, nil)))), ll(dl(5, dl(6, dl(5, dl(7, nil)))), ll(dl(5, dl(6, dl(5, dl(9, nil)))), ll(dl(5, dl(6, dl(6, dl(9, nil)))), ll(dl(5, dl(6, dl(8, dl(3, nil)))), ll(dl(5, dl(6, dl(8, dl(9, nil)))), ll(dl(5, dl(6, dl(9, dl(3, nil)))), ll( dl(5, dl(7, dl(0, dl(1, nil)))), ll(dl(5, dl(7, dl(1, dl(1, nil)))), ll(dl(5, dl(7, dl(1, dl(7, nil)))), ll(dl(5, dl(7, dl(3, dl(7, nil)))), ll(dl(5, dl(7, dl(4, dl(1, nil)))), ll(dl(5, dl(7, dl(4, dl(3, nil)))), ll(dl(5, dl(7, dl(4, dl(9, nil)))), ll(dl(5, dl(7, dl(7, dl(9, nil)))), ll(dl(5, dl(7, dl(8, dl(3, nil)))), ll(dl(5, dl(7, dl(9, dl(1, nil)))), ll(dl(5, dl(8, dl(0, dl(1, nil)))), ll(dl(5, dl(8, dl(0, dl(7, nil)))), ll(dl(5, dl(8, dl(1, dl(3, nil)))), ll(dl(5, dl(8, dl(2, dl(1, nil)))), ll( dl(5, dl(8, dl(2, dl(7, nil)))), ll(dl(5, dl(8, dl(3, dl(9, nil)))), ll(dl(5, dl(8, dl(4, dl(3, nil)))), ll(dl(5, dl(8, dl(4, dl(9, nil)))), ll(dl(5, dl(8, dl(5, dl(1, nil)))), ll(dl(5, dl(8, dl(5, dl(7, nil)))), ll(dl(5, dl(8, dl(6, dl(1, nil)))), ll(dl(5, dl(8, dl(6, dl(7, nil)))), ll(dl(5, dl(8, dl(6, dl(9, nil)))), ll(dl(5, dl(8, dl(7, dl(9, nil)))), ll(dl(5, dl(8, dl(8, dl(1, nil)))), ll(dl(5, dl(8, dl(9, dl(7, nil)))), ll(dl(5, dl(9, dl(0, dl(3, nil)))), ll(dl(5, dl(9, dl(2, dl(3, nil)))), ll( dl(5, dl(9, dl(2, dl(7, nil)))), ll(dl(5, dl(9, dl(3, dl(9, nil)))), ll(dl(5, dl(9, dl(5, dl(3, nil)))), ll(dl(5, dl(9, dl(8, dl(1, nil)))), ll(dl(5, dl(9, dl(8, dl(7, nil)))), ll(dl(6, dl(0, dl(0, dl(7, nil)))), ll(dl(6, dl(0, dl(1, dl(1, nil)))), ll(dl(6, dl(0, dl(2, dl(9, nil)))), ll(dl(6, dl(0, dl(3, dl(7, nil)))), ll(dl(6, dl(0, dl(4, dl(3, nil)))), ll(dl(6, dl(0, dl(4, dl(7, nil)))), ll(dl(6, dl(0, dl(5, dl(3, nil)))), ll(dl(6, dl(0, dl(6, dl(7, nil)))), ll(dl(6, dl(0, dl(7, dl(3, nil)))), ll( dl(6, dl(0, dl(7, dl(9, nil)))), ll(dl(6, dl(0, dl(8, dl(9, nil)))), ll(dl(6, dl(0, dl(9, dl(1, nil)))), ll(dl(6, dl(1, dl(0, dl(1, nil)))), ll(dl(6, dl(1, dl(1, dl(3, nil)))), ll(dl(6, dl(1, dl(2, dl(1, nil)))), ll(dl(6, dl(1, dl(3, dl(1, nil)))), ll(dl(6, dl(1, dl(3, dl(3, nil)))), ll(dl(6, dl(1, dl(4, dl(3, nil)))), ll(dl(6, dl(1, dl(5, dl(1, nil)))), ll(dl(6, dl(1, dl(6, dl(3, nil)))), ll(dl(6, dl(1, dl(7, dl(3, nil)))), ll(dl(6, dl(1, dl(9, dl(7, nil)))), ll(dl(6, dl(1, dl(9, dl(9, nil)))), ll( dl(6, dl(2, dl(0, dl(3, nil)))), ll(dl(6, dl(2, dl(1, dl(1, nil)))), ll(dl(6, dl(2, dl(1, dl(7, nil)))), ll(dl(6, dl(2, dl(2, dl(1, nil)))), ll(dl(6, dl(2, dl(2, dl(9, nil)))), ll(dl(6, dl(2, dl(4, dl(7, nil)))), ll(dl(6, dl(2, dl(5, dl(7, nil)))), ll(dl(6, dl(2, dl(6, dl(3, nil)))), ll(dl(6, dl(2, dl(6, dl(9, nil)))), ll(dl(6, dl(2, dl(7, dl(1, nil)))), ll(dl(6, dl(2, dl(7, dl(7, nil)))), ll(dl(6, dl(2, dl(8, dl(7, nil)))), ll(dl(6, dl(2, dl(9, dl(9, nil)))), ll(dl(6, dl(3, dl(0, dl(1, nil)))), ll( dl(6, dl(3, dl(1, dl(1, nil)))), ll(dl(6, dl(3, dl(1, dl(7, nil)))), ll(dl(6, dl(3, dl(2, dl(3, nil)))), ll(dl(6, dl(3, dl(2, dl(9, nil)))), ll(dl(6, dl(3, dl(3, dl(7, nil)))), ll(dl(6, dl(3, dl(4, dl(3, nil)))), ll(dl(6, dl(3, dl(5, dl(3, nil)))), ll(dl(6, dl(3, dl(5, dl(9, nil)))), ll(dl(6, dl(3, dl(6, dl(1, nil)))), ll(dl(6, dl(3, dl(6, dl(7, nil)))), ll(dl(6, dl(3, dl(7, dl(3, nil)))), ll(dl(6, dl(3, dl(7, dl(9, nil)))), ll(dl(6, dl(3, dl(8, dl(9, nil)))), ll(dl(6, dl(3, dl(9, dl(7, nil)))), ll( dl(6, dl(4, dl(2, dl(1, nil)))), ll(dl(6, dl(4, dl(2, dl(7, nil)))), ll(dl(6, dl(4, dl(4, dl(9, nil)))), ll(dl(6, dl(4, dl(5, dl(1, nil)))), ll(dl(6, dl(4, dl(6, dl(9, nil)))), ll(dl(6, dl(4, dl(7, dl(3, nil)))), ll(dl(6, dl(4, dl(8, dl(1, nil)))), ll(dl(6, dl(4, dl(9, dl(1, nil)))), ll(dl(6, dl(5, dl(2, dl(1, nil)))), ll(dl(6, dl(5, dl(2, dl(9, nil)))), ll(dl(6, dl(5, dl(4, dl(7, nil)))), ll(dl(6, dl(5, dl(5, dl(1, nil)))), ll(dl(6, dl(5, dl(5, dl(3, nil)))), ll(dl(6, dl(5, dl(6, dl(3, nil)))), ll( dl(6, dl(5, dl(6, dl(9, nil)))), ll(dl(6, dl(5, dl(7, dl(1, nil)))), ll(dl(6, dl(5, dl(7, dl(7, nil)))), ll(dl(6, dl(5, dl(8, dl(1, nil)))), ll(dl(6, dl(5, dl(9, dl(9, nil)))), ll(dl(6, dl(6, dl(0, dl(7, nil)))), ll(dl(6, dl(6, dl(1, dl(9, nil)))), ll(dl(6, dl(6, dl(3, dl(7, nil)))), ll(dl(6, dl(6, dl(5, dl(3, nil)))), ll(dl(6, dl(6, dl(5, dl(9, nil)))), ll(dl(6, dl(6, dl(6, dl(1, nil)))), ll(dl(6, dl(6, dl(7, dl(3, nil)))), ll(dl(6, dl(6, dl(7, dl(9, nil)))), ll(dl(6, dl(6, dl(8, dl(9, nil)))), ll( dl(6, dl(6, dl(9, dl(1, nil)))), ll(dl(6, dl(7, dl(0, dl(1, nil)))), ll(dl(6, dl(7, dl(0, dl(3, nil)))), ll(dl(6, dl(7, dl(0, dl(9, nil)))), ll(dl(6, dl(7, dl(1, dl(9, nil)))), ll(dl(6, dl(7, dl(3, dl(3, nil)))), ll(dl(6, dl(7, dl(3, dl(7, nil)))), ll(dl(6, dl(7, dl(6, dl(1, nil)))), ll(dl(6, dl(7, dl(6, dl(3, nil)))), ll(dl(6, dl(7, dl(7, dl(9, nil)))), ll(dl(6, dl(7, dl(8, dl(1, nil)))), ll(dl(6, dl(7, dl(9, dl(1, nil)))), ll(dl(6, dl(7, dl(9, dl(3, nil)))), ll(dl(6, dl(8, dl(0, dl(3, nil)))), ll( dl(6, dl(8, dl(2, dl(3, nil)))), ll(dl(6, dl(8, dl(2, dl(7, nil)))), ll(dl(6, dl(8, dl(2, dl(9, nil)))), ll(dl(6, dl(8, dl(3, dl(3, nil)))), ll(dl(6, dl(8, dl(4, dl(1, nil)))), ll(dl(6, dl(8, dl(5, dl(7, nil)))), ll(dl(6, dl(8, dl(6, dl(3, nil)))), ll(dl(6, dl(8, dl(6, dl(9, nil)))), ll(dl(6, dl(8, dl(7, dl(1, nil)))), ll(dl(6, dl(8, dl(8, dl(3, nil)))), ll(dl(6, dl(8, dl(9, dl(9, nil)))), ll(dl(6, dl(9, dl(0, dl(7, nil)))), ll(dl(6, dl(9, dl(1, dl(1, nil)))), ll(dl(6, dl(9, dl(1, dl(7, nil)))), ll( dl(6, dl(9, dl(4, dl(7, nil)))), ll(dl(6, dl(9, dl(4, dl(9, nil)))), ll(dl(6, dl(9, dl(5, dl(9, nil)))), ll(dl(6, dl(9, dl(6, dl(1, nil)))), ll(dl(6, dl(9, dl(6, dl(7, nil)))), ll(dl(6, dl(9, dl(7, dl(1, nil)))), ll(dl(6, dl(9, dl(7, dl(7, nil)))), ll(dl(6, dl(9, dl(8, dl(3, nil)))), ll(dl(6, dl(9, dl(9, dl(1, nil)))), ll(dl(6, dl(9, dl(9, dl(7, nil)))), ll(dl(7, dl(0, dl(0, dl(1, nil)))), ll(dl(7, dl(0, dl(1, dl(3, nil)))), ll(dl(7, dl(0, dl(1, dl(9, nil)))), ll(dl(7, dl(0, dl(2, dl(7, nil)))), ll( dl(7, dl(0, dl(3, dl(9, nil)))), ll(dl(7, dl(0, dl(4, dl(3, nil)))), ll(dl(7, dl(0, dl(5, dl(7, nil)))), ll(dl(7, dl(0, dl(6, dl(9, nil)))), ll(dl(7, dl(0, dl(7, dl(9, nil)))), ll(dl(7, dl(1, dl(0, dl(3, nil)))), ll(dl(7, dl(1, dl(0, dl(9, nil)))), ll(dl(7, dl(1, dl(2, dl(1, nil)))), ll(dl(7, dl(1, dl(2, dl(7, nil)))), ll(dl(7, dl(1, dl(2, dl(9, nil)))), ll(dl(7, dl(1, dl(5, dl(1, nil)))), ll(dl(7, dl(1, dl(5, dl(9, nil)))), ll(dl(7, dl(1, dl(7, dl(7, nil)))), ll(dl(7, dl(1, dl(8, dl(7, nil)))), ll( dl(7, dl(1, dl(9, dl(3, nil)))), ll(dl(7, dl(2, dl(0, dl(7, nil)))), ll(dl(7, dl(2, dl(1, dl(1, nil)))), ll(dl(7, dl(2, dl(1, dl(3, nil)))), ll(dl(7, dl(2, dl(1, dl(9, nil)))), ll(dl(7, dl(2, dl(2, dl(9, nil)))), ll(dl(7, dl(2, dl(3, dl(7, nil)))), ll(dl(7, dl(2, dl(4, dl(3, nil)))), ll(dl(7, dl(2, dl(4, dl(7, nil)))), ll(dl(7, dl(2, dl(5, dl(3, nil)))), ll(dl(7, dl(2, dl(8, dl(3, nil)))), ll(dl(7, dl(2, dl(9, dl(7, nil)))), ll(dl(7, dl(3, dl(0, dl(7, nil)))), ll(dl(7, dl(3, dl(0, dl(9, nil)))), ll( dl(7, dl(3, dl(2, dl(1, nil)))), ll(dl(7, dl(3, dl(3, dl(1, nil)))), ll(dl(7, dl(3, dl(3, dl(3, nil)))), ll(dl(7, dl(3, dl(4, dl(9, nil)))), ll(dl(7, dl(3, dl(5, dl(1, nil)))), ll(dl(7, dl(3, dl(6, dl(9, nil)))), ll(dl(7, dl(3, dl(9, dl(3, nil)))), ll(dl(7, dl(4, dl(1, dl(1, nil)))), ll(dl(7, dl(4, dl(1, dl(7, nil)))), ll(dl(7, dl(4, dl(3, dl(3, nil)))), ll(dl(7, dl(4, dl(5, dl(1, nil)))), ll(dl(7, dl(4, dl(5, dl(7, nil)))), ll(dl(7, dl(4, dl(5, dl(9, nil)))), ll(dl(7, dl(4, dl(7, dl(7, nil)))), ll( dl(7, dl(4, dl(8, dl(1, nil)))), ll(dl(7, dl(4, dl(8, dl(7, nil)))), ll(dl(7, dl(4, dl(8, dl(9, nil)))), ll(dl(7, dl(4, dl(9, dl(9, nil)))), ll(dl(7, dl(5, dl(0, dl(7, nil)))), ll(dl(7, dl(5, dl(1, dl(7, nil)))), ll(dl(7, dl(5, dl(2, dl(3, nil)))), ll(dl(7, dl(5, dl(2, dl(9, nil)))), ll(dl(7, dl(5, dl(3, dl(7, nil)))), ll(dl(7, dl(5, dl(4, dl(1, nil)))), ll(dl(7, dl(5, dl(4, dl(7, nil)))), ll(dl(7, dl(5, dl(4, dl(9, nil)))), ll(dl(7, dl(5, dl(5, dl(9, nil)))), ll(dl(7, dl(5, dl(6, dl(1, nil)))), ll( dl(7, dl(5, dl(7, dl(3, nil)))), ll(dl(7, dl(5, dl(7, dl(7, nil)))), ll(dl(7, dl(5, dl(8, dl(3, nil)))), ll(dl(7, dl(5, dl(8, dl(9, nil)))), ll(dl(7, dl(5, dl(9, dl(1, nil)))), ll(dl(7, dl(6, dl(0, dl(3, nil)))), ll(dl(7, dl(6, dl(0, dl(7, nil)))), ll(dl(7, dl(6, dl(2, dl(1, nil)))), ll(dl(7, dl(6, dl(3, dl(9, nil)))), ll(dl(7, dl(6, dl(4, dl(3, nil)))), ll(dl(7, dl(6, dl(4, dl(9, nil)))), ll(dl(7, dl(6, dl(6, dl(9, nil)))), ll(dl(7, dl(6, dl(7, dl(3, nil)))), ll(dl(7, dl(6, dl(8, dl(1, nil)))), ll( dl(7, dl(6, dl(8, dl(7, nil)))), ll(dl(7, dl(6, dl(9, dl(1, nil)))), ll(dl(7, dl(6, dl(9, dl(9, nil)))), ll(dl(7, dl(7, dl(0, dl(3, nil)))), ll(dl(7, dl(7, dl(1, dl(7, nil)))), ll(dl(7, dl(7, dl(2, dl(3, nil)))), ll(dl(7, dl(7, dl(2, dl(7, nil)))), ll(dl(7, dl(7, dl(4, dl(1, nil)))), ll(dl(7, dl(7, dl(5, dl(3, nil)))), ll(dl(7, dl(7, dl(5, dl(7, nil)))), ll(dl(7, dl(7, dl(5, dl(9, nil)))), ll(dl(7, dl(7, dl(8, dl(9, nil)))), ll(dl(7, dl(7, dl(9, dl(3, nil)))), ll(dl(7, dl(8, dl(1, dl(7, nil)))), ll( dl(7, dl(8, dl(2, dl(3, nil)))), ll(dl(7, dl(8, dl(2, dl(9, nil)))), ll(dl(7, dl(8, dl(4, dl(1, nil)))), ll(dl(7, dl(8, dl(5, dl(3, nil)))), ll(dl(7, dl(8, dl(6, dl(7, nil)))), ll(dl(7, dl(8, dl(7, dl(3, nil)))), ll(dl(7, dl(8, dl(7, dl(7, nil)))), ll(dl(7, dl(8, dl(7, dl(9, nil)))), ll(dl(7, dl(8, dl(8, dl(3, nil)))), ll(dl(7, dl(9, dl(0, dl(1, nil)))), ll(dl(7, dl(9, dl(0, dl(7, nil)))), ll(dl(7, dl(9, dl(1, dl(9, nil)))), nil))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))