MAYBE
129.78/55.36	MAYBE
129.78/55.36	
129.78/55.36	Problem:
129.78/55.36	 a(a(x1)) -> x1
129.78/55.36	 a(b(b(b(x1)))) -> b(b(b(a(b(a(x1))))))
129.78/55.36	
129.78/55.36	Proof:
129.78/55.36	 Open
129.78/55.36	EOF