sport proof-mode parity passed
clinical proof-mode parity passed
airforce proof-mode parity passed
{"runs": 9, "pathwise_checks": 192, "proved": 84, "stress_contexts": 4, "elapsed_seconds": 19.137792163004633}
