#abs#0#0#abs#neg@x#pos@x#abs#pos@x#pos@x#abs#s@x#pos#s@x#equal@x@y#eq@x@y#greater@x@y#ckgt#compare@x@y#less@x@y#cklt#compare@x@y*@x@y#mult@x@y+@x@y#add@x@y-@x@y#sub@x@yadd@b1@b2add'@b1@b2#abs#0add'@b1@b2@radd'#1@b1@b2@radd'#1::@x@xs@b2@radd'#2@b2@r@x@xsadd'#1nil@b2@rniladd'#2::@y@ys@r@x@xsadd'#3sum@x@y@r@xs@ysadd'#2nil@r@x@xsniladd'#3tuple#2@z@r'@xs@ys::@zadd'@xs@ys@r'bitToInt@bbitToInt'@b#abs#pos#s#0bitToInt'@b@nbitToInt'#1@b@nbitToInt'#1::@x@xs@n+*@x@nbitToInt'@xs*@n#pos#s#s#0bitToInt'#1nil@n#abs#0compare@b1@b2compare#1@b1@b2compare#1::@x@xs@b2compare#2@b2@x@xscompare#1nil@b2#abs#0compare#2::@y@ys@x@xscompare#3compare@xs@ys@x@ycompare#2nil@x@xs#abs#0compare#3@r@x@ycompare#4#equal@r#0@r@x@ycompare#4#false@r@x@y@rcompare#4#true@r@x@ycompare#5#less@x@y@x@ycompare#5#false@x@ycompare#6#greater@x@ycompare#5#true@x@y-#0#pos#s#0compare#6#false#abs#0compare#6#true#abs#pos#s#0diff@x@y@rtuple#2mod++@x@y@r#pos#s#s#0diff#1#less--@x@y@r#0diff#1#false#abs#0diff#1#true#abs#pos#s#0div@x@y#div@x@yleq@b1@b2#lesscompare@b1@b2#pos#s#0mod@x@y-@x*@xdiv@x@ymult@b1@b2mult#1@b1@b2mult#1::@x@xs@b2mult#2::#abs#0mult@xs@b2@b2@xmult#1nil@b2nilmult#2@zs@b2@xmult#3#equal@x#pos#s#0@b2@zsmult#3#false@b2@zs@zsmult#3#true@b2@zsadd@b2@zsmult3@b1@b2@b3multmult@b1@b2@b2sub@b1@b2sub#1sub'@b1@b2#abs#0sub#1tuple#2@b@_@1@bsub'@b1@b2@rsub'#1@b1@b2@rsub'#1::@x@xs@b2@rsub'#2@b2@r@x@xssub'#1nil@b2@rtuple#2nil@rsub'#2::@y@ys@r@x@xssub'#3diff@x@y@r@xs@yssub'#2nil@r@x@xstuple#2nil@rsub'#3tuple#2@z@r'@xs@yssub'#4sub'@xs@ys@r'@zsub'#4tuple#2@zs@s@ztuple#2sub'#5#equal@s#pos#s#0@z@zs@ssub'#5#false@z@zs::@z@zssub'#5#true@z@zs::#abs#0@zssum@x@y@rsum#1++@x@y@rsum#1@ssum#2#equal@s#0@ssum#2#false@ssum#3#equal@s#pos#s#0@ssum#2#true@stuple#2#abs#0#abs#0sum#3#false@ssum#4#equal@s#pos#s#s#0sum#3#true@stuple#2#abs#pos#s#0#abs#0sum#4#falsetuple#2#abs#pos#s#0#abs#pos#s#0sum#4#truetuple#2#abs#0#abs#pos#s#0#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#ckgt#EQ#false#ckgt#GT#true#ckgt#LT#false#cklt#EQ#false#cklt#GT#false#cklt#LT#true#compare#0#0#EQ#compare#0#neg@y#GT#compare#0#pos@y#LT#compare#0#s@y#LT#compare#neg@x#0#LT#compare#neg@x#neg@y#compare@y@x#compare#neg@x#pos@y#LT#compare#pos@x#0#GT#compare#pos@x#neg@y#GT#compare#pos@x#pos@y#compare@x@y#compare#s@x#0#GT#compare#s@x#s@y#compare@x@y#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#eq::@x_1@x_2tuple#2@y_1@y_2#false#eqnil::@y_1@y_2#false#eqnilnil#true#eqniltuple#2@y_1@y_2#false#eqtuple#2@x_1@x_2::@y_1@y_2#false#eqtuple#2@x_1@x_2nil#false#eqtuple#2@x_1@x_2tuple#2@y_1@y_2#and#eq@x_1@y_1#eq@x_2@y_2#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#natsub2-2sub2diff#11#natdiv2#ckgt1#add2mult#23div2bitToInt'#12sum3#EQ0mod2#and2mult33sub#11#compare2nil0leq2#greater2bitToInt'2mult2bitToInt1sum#22sum#11+2sum#41*2#neg1sub'#53#less2sub'#33#equal2#eq2#natmult2#divByZero0sub'#24compare#23#true0sub'#42compare#53compare#33#cklt1add2#sub2#pos1add'#33sub'#13mult#33add'#13add'#24tuple#22diff3#false0mult#12::2#LT0#mult2#succ1sub'3compare2compare#61compare#44#00sum#32#div2add'3compare#12#abs1#pred1#s1#GT0INNERMOSTtct_complexity/raML/bitvectors.raml.trs