rewrites: 2240053 in 90ms cpu (175ms real) (24889477 rewrites/second) 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))), nil))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))