200.73/50.80	MAYBE
200.73/50.80	
200.73/50.80	Problem:
200.73/50.80	 a(b(a(a(a(a(a(b(a(a(x1)))))))))) -> a(a(a(a(a(b(a(b(a(a(a(a(a(b(x1))))))))))))))
200.73/50.80	
200.73/50.80	Proof:
200.73/50.80	 Open
200.90/50.81	EOF