New York State. No. 9, United States, intervenor, in equity; petition of intervention on behalf of United States.