Large primes that were hard for the proof pipeline. The near-floppy cases below have one vertex almost but not quite flat; the truly floppy cases further down have a vertex that's exactly flat (min_turn = 0 algebraically) and need the bigface fallback.