196.57/50.30	MAYBE
196.57/50.30	
196.57/50.30	Problem:
196.57/50.30	 a(b(a(a(a(a(x1)))))) -> a(a(a(a(a(b(a(a(b(a(b(x1)))))))))))
196.57/50.30	
196.57/50.30	Proof:
196.57/50.30	 Open
196.57/50.31	EOF