>>4202284you MIGHT be able to salvage a TINY bit from the film, just my guess. my only experience is shooting in a church with no external light. the light meter app on my phone was giving me an EV of 3-4 (i think it underestimates low light by 1 stop too, so maybe 4-5?). i was shooting at either 1/15 or 1/30th at f4.5. pic is what i got. this is 200 iso film pushed to 1600. i would probably do yours at 3200 and hope.
i would also look up on youtube, some people do crazy experiments like 12800 iso and see if they have any tips.
another option if you dev at home is to cut off a small part of the film, getting 1-2 frames and develop that and see. obviously you will ruin those frames by doing this and risk cutting through the middle of a good shot.