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