Pima County, which includes Tucson, Ariz., has formally appealed a state court ruling that halted…