MAYBE
42.99/11.19	MAYBE
42.99/11.19	
42.99/11.19	Problem:
42.99/11.19	 a(0(),b(0(),x)) -> b(0(),a(0(),x))
42.99/11.19	 a(0(),x) -> b(0(),b(0(),x))
42.99/11.19	 a(0(),a(1(),a(x,y))) -> a(1(),a(0(),a(x,y)))
42.99/11.19	 b(0(),a(1(),a(x,y))) -> b(1(),a(0(),a(x,y)))
42.99/11.19	 a(0(),a(x,y)) -> a(1(),a(1(),a(x,y)))
42.99/11.19	
42.99/11.19	Proof:
42.99/11.19	 Open
42.99/11.19	EOF