276.55/50.46	MAYBE
276.55/50.46	
276.55/50.46	Problem:
276.55/50.46	 a(b(a(b(a(b(a(a(b(x1))))))))) -> a(a(b(a(b(a(a(b(a(b(a(b(a(b(x1))))))))))))))
276.55/50.46	
276.55/50.46	Proof:
276.55/50.46	 Open
276.55/50.47	EOF