198.57/50.80	MAYBE
198.57/50.80	
198.57/50.80	Problem:
198.57/50.80	 a(b(a(b(a(a(b(a(b(a(x1)))))))))) -> a(a(b(a(b(a(b(a(b(a(a(b(a(b(x1))))))))))))))
198.57/50.80	
198.57/50.80	Proof:
198.57/50.80	 Open
198.57/50.80	EOF