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