201.21/50.79	MAYBE
201.21/50.79	
201.21/50.79	Problem:
201.21/50.79	 a(a(a(b(x1)))) -> a(b(a(a(x1))))
201.21/50.79	 a(a(b(a(x1)))) -> b(b(b(b(x1))))
201.21/50.79	 b(b(a(b(x1)))) -> a(a(a(a(x1))))
201.21/50.79	
201.21/50.79	Proof:
201.21/50.79	 Open
201.21/50.80	EOF