Marked_sum0weightconsMarked_weightsnilsumyxnmsum(cons(s(n),x),cons(m,y))sum(cons(n,x),cons(s(m),y))sum(cons(0,x),y)sum(x,y)sum(nil,y)yweight(cons(n,cons(m,x)))weight(sum(cons(n,cons(m,x)),cons(0,x)))weight(cons(n,nil))nsum(cons(s(n),x),cons(m,y))sum(cons(n,x),cons(s(m),y))sum(cons(0,x),y)sum(x,y)sum(nil,y)yweight(cons(n,cons(m,x)))weight(sum(cons(n,cons(m,x)),cons(0,x)))weight(cons(n,nil))nMarked_sum(cons(s(n),x),cons(m,y))Marked_sum(cons(n,x),cons(s(m),y))Marked_sum(cons(0,x),y)Marked_sum(x,y)Marked_weight(cons(n,cons(m,x)))Marked_weight(sum(cons(n,cons(m,x)),cons(0,x)))Marked_weight(cons(n,cons(m,x)))Marked_sum(cons(n,cons(m,x)),cons(0,x))sum(cons(s(n),x),cons(m,y))sum(cons(n,x),cons(s(m),y))sum(cons(0,x),y)sum(x,y)sum(nil,y)yweight(cons(n,cons(m,x)))weight(sum(cons(n,cons(m,x)),cons(0,x)))weight(cons(n,nil))nMarked_weight(cons(n,cons(m,x)))Marked_weight(sum(cons(n,cons(m,x)),cons(0,x)))sum120nil20s0Marked_weight30cons2120weight31000sum(cons(s(n),x),cons(m,y))sum(cons(n,x),cons(s(m),y))sum(cons(0,x),y)sum(x,y)sum(nil,y)yweight(cons(n,cons(m,x)))weight(sum(cons(n,cons(m,x)),cons(0,x)))weight(cons(n,nil))nMarked_sum(cons(s(n),x),cons(m,y))Marked_sum(cons(n,x),cons(s(m),y))Marked_sum(cons(0,x),y)Marked_sum(x,y)sum10nil30s10cons2220weight21000Marked_sum10Marked_sum(cons(0,x),y)Marked_sum(x,y)sum(cons(s(n),x),cons(m,y))sum(cons(n,x),cons(s(m),y))sum(cons(0,x),y)sum(x,y)sum(nil,y)yweight(cons(n,cons(m,x)))weight(sum(cons(n,cons(m,x)),cons(0,x)))weight(cons(n,nil))nMarked_sum(cons(s(n),x),cons(m,y))Marked_sum(cons(n,x),cons(s(m),y))sum(cons(s(n),x),cons(m,y))sum(cons(n,x),cons(s(m),y))sum(cons(0,x),y)sum(x,y)sum(nil,y)yweight(cons(n,cons(m,x)))weight(sum(cons(n,cons(m,x)),cons(0,x)))weight(cons(n,nil))nMarked_sum(cons(s(n),x),cons(m,y))Marked_sum(cons(n,x),cons(s(m),y))sum000000000010100000100010001000000000nil000000000000000000s100000000100010001000000000cons000000000110100100101110101000000000weight0000000001110001000000000000000000000000000000Marked_sum000000000000100000000000000000000000