Normal form of: cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(Zero))),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(Zero))),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(Zero))),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(Zero))),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(Zero))),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(Zero))),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(Zero))),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(Zero))),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(Zero))),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(Zero))),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(Zero))),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(Zero))),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(Zero))),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(Zero))),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(Zero))),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(Zero))),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(Zero))),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(Zero))),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(Zero))),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(Zero))),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(Zero))),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(Zero))),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(Zero))),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(Zero))),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(Zero))),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(Zero))),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(Zero))),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(Zero))),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(Zero))),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(Zero))),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(Zero))),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(Zero))),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(Zero))),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(Zero))),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(Zero))),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(Zero),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(Zero))),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),nil)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) is: cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(Zero),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(Zero)),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(Zero))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),cons(s(s(s(s(s(s(Zero)))))),nil)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) Evaluated: [user/system] = [0.15s/0.02s]