MAYBE
40.86/10.94	MAYBE
40.86/10.94	
40.86/10.94	Problem:
40.86/10.94	 a(a(x1)) -> x1
40.86/10.94	 a(a(b(x1))) -> b(a(b(a(a(x1)))))
40.86/10.94	 b(b(x1)) -> x1
40.86/10.94	
40.86/10.94	Proof:
40.86/10.94	 Open
40.86/10.94	EOF