Source:
Neumann KM143 mics on ~6" stands, split ~12' on downstage lip + Neumann KM140 crossed pair approx 90 degrees upstairs house right side + Avid SBD > Sound Devices MixPre6 > WAV @24/44.1 kHz
Lineage:
WAV > Audacity 2.4.2 (mix) > Sony Sound Forge 2.5.1 (gain and limit) > Audacity (track and add end fades) > xACT 2.50 (encode as FLAC) > FLACs @24 bit / 44.1 kHz