197.15/50.41	MAYBE
197.15/50.41	
197.15/50.41	Problem:
197.15/50.41	 a(a(a(b(b(a(a(a(a(x1))))))))) -> a(a(a(a(a(a(a(b(b(a(a(a(b(b(x1))))))))))))))
197.15/50.41	
197.15/50.41	Proof:
197.15/50.41	 Open
197.15/50.41	EOF