File size: 82 Bytes
e1acc15
1
2
"""CPU-only PP1 correctness oracle. Deliberately not imported by serving code."""