MAYBE
220.53/55.71	MAYBE
220.53/55.71	
220.53/55.71	Problem:
220.53/55.71	 a(b(a(b(a(a(a(x1))))))) -> a(a(a(a(b(a(b(a(b(x1)))))))))
220.53/55.71	
220.53/55.71	Proof:
220.53/55.71	 Open
220.53/55.72	EOF