196.93/50.38	MAYBE
196.93/50.38	
196.93/50.38	Problem:
196.93/50.38	 a(b(a(a(a(a(x1)))))) -> a(a(a(a(a(b(a(a(b(a(a(b(x1))))))))))))
196.93/50.38	
196.93/50.38	Proof:
196.93/50.38	 Open
196.93/50.39	EOF