196.26/50.27	MAYBE
196.26/50.27	
196.26/50.27	Problem:
196.26/50.27	 a(b(b(b(a(a(a(a(a(x1))))))))) -> a(a(a(a(a(a(b(b(b(a(a(b(b(b(x1))))))))))))))
196.26/50.27	
196.26/50.27	Proof:
196.26/50.27	 Open
196.26/50.27	EOF