The same matters are involved on this petition as in the case on appeal between the same parties (just decided) 133 Fed. 708. The proceedings sought to be here revised involve questions of mixed law and fact, and it is doubtful whether any relief could be granted under the petition, even if its consideration were not rendered unnecessary by our disposition of the merits adversely to petitioner in the appeal case. The petition is denied.