As much as I like the idea of forcing pops to do calculus to determine setup, you should probably limit number submissions to integers (or at least reasonable numbers that don't require comparison of limit sizes).
Additionally, how do you resolve ties in priority?
Unfortunately, I think Jester/Unjester/Survivor are all precluded by the no 3p rule.
Do the switch kills end the day? If so, this setup is crazy broken for scum.
This autowins for town.
Setup one, Bjerg massclaim:
Maf claims: No cc, you lynch Bjerg and they flip maf. Quicklynch into 2v1 LYLO and Bar the doors.
No maf claims: Known setup 1, Quicklynch into LYLO and Bar the Doors.
Setup two, Bjerg massclaim:
Maf claims, Bjerg ccs. Known Setup 2 quicklynch into LYLO and Bar the Doors.
Maf doesn't claim. Lynch Bjerg and Bar the doors.