197.80/50.58	MAYBE
197.80/50.58	
197.80/50.58	Problem:
197.80/50.58	 b(a(b(a(b(b(a(b(a(b(a(x1))))))))))) -> a(b(a(b(a(b(b(a(b(a(b(b(a(x1)))))))))))))
197.80/50.58	
197.80/50.58	Proof:
197.80/50.58	 Open
197.80/50.58	EOF