194.84/49.76	MAYBE
194.84/49.76	
194.84/49.76	Problem:
194.84/49.76	 a(b(b(b(x1)))) -> b(b(b(b(x1))))
194.84/49.76	 b(b(b(a(x1)))) -> b(a(b(a(x1))))
194.84/49.76	 b(b(a(a(x1)))) -> b(a(b(a(x1))))
194.84/49.76	 a(a(a(b(x1)))) -> a(b(a(a(x1))))
194.84/49.76	
194.84/49.76	Proof:
194.84/49.76	 Open
194.84/49.76	EOF