cs/sieve - (1) plus(2,plus(3,plus(5,plus(7,plus(cons(1,cons(1,NIL)),plus(cons(1,cons(3,NIL)),plus(cons(1,cons(7,NIL)),plus(cons(1,cons(9,NIL)),plus(cons(2,cons(3,NIL)),plus(cons(2,cons(9,NIL)),plus(cons(3,cons(1,NIL)),plus(cons(3,cons(7,NIL)),plus(cons(4,cons(1,NIL)),plus(cons(4,cons(3,NIL)),plus(cons(4,cons(7,NIL)),plus(cons(5,cons(3,NIL)),plus(cons(5,cons(9,NIL)),plus(cons(6,cons(1,NIL)),plus(cons(6,cons(7,NIL)),plus(cons(7,cons(1,NIL)),NIL)))))))))))))))))))) T("cs/sieve - (1)",1206700490193,1206700490767,574)