Marked_*falsepow *Marked_ififhalfMarked_pow0Marked_oddtruefMarked_-sMarked_f+oddMarked_half-uzyx-(x,0)x-(s(x),s(y))-(x,y) *(x,0)0 *(x,s(y))+( *(x,y),x)if(true,x,y)xif(false,x,y)yodd(0)falseodd(s(0))trueodd(s(s(x)))odd(x)half(0)0half(s(0))0half(s(s(x)))s(half(x))if(true,x,y)trueif(false,x,y)falsepow(x,y)f(x,y,s(0))f(x,0,z)zf(x,s(y),z)if(odd(s(y)),f(x,y, *(x,z)),f( *(x,x),half(s(y)),z))-(x,0)x-(s(x),s(y))-(x,y) *(x,0)0 *(x,s(y))+( *(x,y),x)if(true,x,y)xif(false,x,y)yodd(0)falseodd(s(0))trueodd(s(s(x)))odd(x)half(0)0half(s(0))0half(s(s(x)))s(half(x))if(true,x,y)trueif(false,x,y)falsepow(x,y)f(x,y,s(0))f(x,0,z)zf(x,s(y),z)if(odd(s(y)),f(x,y, *(x,z)),f( *(x,x),half(s(y)),z))Marked_-(s(x),s(y))Marked_-(x,y)Marked_*(x,s(y))Marked_*(x,y)Marked_odd(s(s(x)))Marked_odd(x)Marked_half(s(s(x)))Marked_half(x)Marked_pow(x,y)Marked_f(x,y,s(0))Marked_f(x,s(y),z)Marked_if(odd(s(y)),f(x,y, *(x,z)),f( *(x,x),half(s(y)),z))Marked_f(x,s(y),z)Marked_odd(s(y))Marked_f(x,s(y),z)Marked_f(x,y, *(x,z))Marked_f(x,s(y),z)Marked_*(x,z)Marked_f(x,s(y),z)Marked_f( *(x,x),half(s(y)),z)Marked_f(x,s(y),z)Marked_*(x,x)Marked_f(x,s(y),z)Marked_half(s(y))-(x,0)x-(s(x),s(y))-(x,y) *(x,0)0 *(x,s(y))+( *(x,y),x)if(true,x,y)xif(false,x,y)yodd(0)falseodd(s(0))trueodd(s(s(x)))odd(x)half(0)0half(s(0))0half(s(s(x)))s(half(x))if(true,x,y)trueif(false,x,y)falsepow(x,y)f(x,y,s(0))f(x,0,z)zf(x,s(y),z)if(odd(s(y)),f(x,y, *(x,z)),f( *(x,x),half(s(y)),z))Marked_-(s(x),s(y))Marked_-(x,y)-3330odd0+0s110Marked_-10f20true000half20if210 *0pow310false0-(x,0)x-(s(x),s(y))-(x,y) *(x,0)0 *(x,s(y))+( *(x,y),x)if(true,x,y)xif(false,x,y)yodd(0)falseodd(s(0))trueodd(s(s(x)))odd(x)half(0)0half(s(0))0half(s(s(x)))s(half(x))if(true,x,y)trueif(false,x,y)falsepow(x,y)f(x,y,s(0))f(x,0,z)zf(x,s(y),z)if(odd(s(y)),f(x,y, *(x,z)),f( *(x,x),half(s(y)),z))Marked_f(x,s(y),z)Marked_f(x,y, *(x,z))Marked_f(x,s(y),z)Marked_f( *(x,x),half(s(y)),z)-3330odd0+0Marked_f30s210f10true000half10if110 *0pow30false0Marked_f(x,s(y),z)Marked_f(x,y, *(x,z))-(x,0)x-(s(x),s(y))-(x,y) *(x,0)0 *(x,s(y))+( *(x,y),x)if(true,x,y)xif(false,x,y)yodd(0)falseodd(s(0))trueodd(s(s(x)))odd(x)half(0)0half(s(0))0half(s(s(x)))s(half(x))if(true,x,y)trueif(false,x,y)falsepow(x,y)f(x,y,s(0))f(x,0,z)zf(x,s(y),z)if(odd(s(y)),f(x,y, *(x,z)),f( *(x,x),half(s(y)),z))Marked_f(x,s(y),z)Marked_f( *(x,x),half(s(y)),z)-(x,0)x-(s(x),s(y))-(x,y) *(x,0)0 *(x,s(y))+( *(x,y),x)if(true,x,y)xif(false,x,y)yodd(0)falseodd(s(0))trueodd(s(s(x)))odd(x)half(0)0half(s(0))0half(s(s(x)))s(half(x))if(true,x,y)trueif(false,x,y)falsepow(x,y)f(x,y,s(0))f(x,0,z)zf(x,s(y),z)if(odd(s(y)),f(x,y, *(x,z)),f( *(x,x),half(s(y)),z))Marked_f(x,s(y),z)Marked_f( *(x,x),half(s(y)),z)-111111111111111111000000000000000000odd000000000000000000000000000+000000000000000000000000000000000000Marked_f000000000000000000000000100000000000000000000s001000000001001011000000000f000000000000000000000000000100010001000000000true0000000000000000000000000000000000000half000000000000001010000000000if000000000000000000100010001100010001000000000 *000000000000000000000000000000000000pow011011111000000000000000000000000000false000000000000000000-(x,0)x-(s(x),s(y))-(x,y) *(x,0)0 *(x,s(y))+( *(x,y),x)if(true,x,y)xif(false,x,y)yodd(0)falseodd(s(0))trueodd(s(s(x)))odd(x)half(0)0half(s(0))0half(s(s(x)))s(half(x))if(true,x,y)trueif(false,x,y)falsepow(x,y)f(x,y,s(0))f(x,0,z)zf(x,s(y),z)if(odd(s(y)),f(x,y, *(x,z)),f( *(x,x),half(s(y)),z))Marked_odd(s(s(x)))Marked_odd(x)-2330odd0+0s210f10true0Marked_odd2000half20if210 *0pow30false0-(x,0)x-(s(x),s(y))-(x,y) *(x,0)0 *(x,s(y))+( *(x,y),x)if(true,x,y)xif(false,x,y)yodd(0)falseodd(s(0))trueodd(s(s(x)))odd(x)half(0)0half(s(0))0half(s(s(x)))s(half(x))if(true,x,y)trueif(false,x,y)falsepow(x,y)f(x,y,s(0))f(x,0,z)zf(x,s(y),z)if(odd(s(y)),f(x,y, *(x,z)),f( *(x,x),half(s(y)),z))Marked_*(x,s(y))Marked_*(x,y)-3330odd0+0s120f20true000half10if210 *0pow310false0Marked_*30-(x,0)x-(s(x),s(y))-(x,y) *(x,0)0 *(x,s(y))+( *(x,y),x)if(true,x,y)xif(false,x,y)yodd(0)falseodd(s(0))trueodd(s(s(x)))odd(x)half(0)0half(s(0))0half(s(s(x)))s(half(x))if(true,x,y)trueif(false,x,y)falsepow(x,y)f(x,y,s(0))f(x,0,z)zf(x,s(y),z)if(odd(s(y)),f(x,y, *(x,z)),f( *(x,x),half(s(y)),z))Marked_half(s(s(x)))Marked_half(x)-3330Marked_half10odd0+0s120f20true000half30if210 *0pow3110false0