196.51/50.32	MAYBE
196.51/50.32	
196.51/50.32	Problem:
196.51/50.32	 a(b(a(a(a(a(a(x1))))))) -> a(a(a(a(a(a(b(a(b(a(b(a(b(x1)))))))))))))
196.51/50.32	
196.51/50.32	Proof:
196.51/50.32	 Open
196.51/50.32	EOF