rewrites: 20878 in 0ms cpu (4ms real) (~ 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)),nil))))))))))))))))))))