196.53/50.28	MAYBE
196.53/50.28	
196.53/50.28	Problem:
196.53/50.28	 b(b(b(x1))) -> a(a(a(x1)))
196.53/50.28	 a(a(a(x1))) -> b(a(b(x1)))
196.53/50.28	
196.53/50.28	Proof:
196.53/50.28	 Open
196.71/50.28	EOF