197.98/50.68	MAYBE
197.98/50.68	
197.98/50.68	Problem:
197.98/50.68	 a(a(b(b(a(a(b(a(b(a(b(a(x1)))))))))))) -> a(a(b(a(b(a(b(a(a(b(b(a(a(b(x1))))))))))))))
197.98/50.68	
197.98/50.68	Proof:
197.98/50.68	 Open
197.98/50.69	EOF