275.57/50.52	MAYBE
275.57/50.52	
275.57/50.52	Problem:
275.57/50.52	 a(b(a(a(a(a(a(x1))))))) -> a(a(a(a(a(a(a(b(a(b(a(b(a(b(x1))))))))))))))
275.57/50.52	
275.57/50.52	Proof:
275.57/50.52	 Open
275.57/50.52	EOF