#equal@x@y#eq@x@y*@x@y#mult@x@y-@x@y#sub@x@ydiv@x@y#div@x@yeratos@leratos#1@leratos#1::@x@xs::@xeratosfilter@x@xseratos#1nilnilfilter@p@lfilter#1@l@pfilter#1::@x@xs@pfilter#2filter@p@xs@p@xfilter#1nil@pnilfilter#2@xs'@p@xfilter#3#equalmod@x@p#0@x@xs'filter#3#false@x@xs'::@x@xs'filter#3#true@x@xs'@xs'mod@x@y-@x*@xdiv@x@y#add#0@y@y#add#neg#s#0@y#pred@y#add#neg#s#s@x@y#pred#add#pos#s@x@y#add#pos#s#0@y#succ@y#add#pos#s#s@x@y#succ#add#pos#s@x@y#and#false#false#false#and#false#true#false#and#true#false#false#and#true#true#true#div#0#0#divByZero#div#0#neg@y#0#div#0#pos@y#0#div#neg@x#0#divByZero#div#neg@x#neg@y#pos#natdiv@x@y#div#neg@x#pos@y#neg#natdiv@x@y#div#pos@x#0#divByZero#div#pos@x#neg@y#neg#natdiv@x@y#div#pos@x#pos@y#pos#natdiv@x@y#eq#0#0#true#eq#0#neg@y#false#eq#0#pos@y#false#eq#0#s@y#false#eq#neg@x#0#false#eq#neg@x#neg@y#eq@x@y#eq#neg@x#pos@y#false#eq#pos@x#0#false#eq#pos@x#neg@y#false#eq#pos@x#pos@y#eq@x@y#eq#s@x#0#false#eq#s@x#s@y#eq@x@y#eq::@x_1@x_2::@y_1@y_2#and#eq@x_1@y_1#eq@x_2@y_2#eq::@x_1@x_2nil#false#eqnil::@y_1@y_2#false#eqnilnil#true#mult#0#0#0#mult#0#neg@y#0#mult#0#pos@y#0#mult#neg@x#0#0#mult#neg@x#neg@y#pos#natmult@x@y#mult#neg@x#pos@y#neg#natmult@x@y#mult#pos@x#0#0#mult#pos@x#neg@y#neg#natmult@x@y#mult#pos@x#pos@y#pos#natmult@x@y#natdiv#0#0#divByZero#natdiv#s@x#s@y#s#natdiv#natsub@x@y#s@y#natmult#0@y#0#natmult#s@x@y#add#pos@y#natmult@x@y#natsub@x#0@x#natsub#s@x#s@y#natsub@x@y#pred#0#neg#s#0#pred#neg#s@x#neg#s#s@x#pred#pos#s#0#0#pred#pos#s#s@x#pos#s@x#sub@x#0@x#sub@x#neg@y#add@x#pos@y#sub@x#pos@y#add@x#neg@y#succ#0#pos#s#0#succ#neg#s#0#0#succ#neg#s#s@x#neg#s@x#succ#pos#s@x#pos#s#s@x#equal2#natsub2#eq2#natmult2-2#divByZero0eratos1#true0#natdiv2#sub2#add2#pos1div2mod2filter2eratos#11#and2nil0filter#33filter#12#false0::2#mult2#succ1#00#div2*2#neg1filter#23#pred1#s1INNERMOSTtct_complexity/raML/eratosthenes.raml.trs