Clock-stage round processing and assignment-stage pricing
Rounds must start at 1 and run consecutively, since each round's start state is built from the one before it.
One row per bidder and option, with the contiguity bids carrying the option label Contiguity.
The 3800 MHz auction bid files, provided for convenience. Either stage accepts any files that represent bids for the 3800 MHz auction, so these are a starting point rather than a requirement.