202.57/50.65	MAYBE
202.57/50.65	
202.57/50.65	Problem:
202.57/50.65	 a(a(b(b(a(a(b(b(a(a(b(a(x1)))))))))))) -> a(a(b(a(a(b(b(a(a(b(b(a(a(b(x1))))))))))))))
202.57/50.65	
202.57/50.65	Proof:
202.57/50.65	 Open
202.57/50.66	EOF