197.76/50.61	MAYBE
197.76/50.61	
197.76/50.61	Problem:
197.76/50.61	 b(a(b(a(b(a(a(a(b(x1))))))))) -> a(a(b(a(a(a(b(a(b(a(b(a(b(x1)))))))))))))
197.76/50.61	
197.76/50.61	Proof:
197.76/50.61	 Open
197.76/50.61	EOF