0.00/0.63	MAYBE
0.00/0.63	
0.00/0.63	Problem:
0.00/0.63	ssp'(xs, v) -> ys <= subseteq_m(ys, xs) = tt(), sum(ys) = v
0.00/0.63	subseteq_m(nil(), ys) -> tt()
0.00/0.63	subseteq_m(cons(x, xs), ys) -> z <= del(x, ys) = some(ws), subseteq_m(xs, ws) = z
0.00/0.63	del(x, nil()) -> none()
0.00/0.63	del(x, cons(x, ys)) -> some(ys)
0.00/0.64	del(x, cons(y, ys)) -> some(cons(y, zs)) <= del(x, ys) = some(zs)
0.00/0.64	sum(nil()) -> 0()
0.00/0.64	add(x, 0()) -> x
0.00/0.64	add(x, s(y)) -> s(z) <= add(x, y) = z
0.00/0.64	
0.00/0.64	Proof:
0.00/0.64	ConCon could not decide confluence of the system.
0.00/0.64	
0.00/0.64	EOF