20-bit still life syntheses

[hkoenig]

I could be missing something, but the Blinker from part 1 is shifted diagonally in part 2. So this doesn't seem to work.

Ah-- gotta flip it diagonally to make it work.

[Ian07]

But can someone remind me how to retrieve the glider collision from the Mateon1_Glider6_5_6_Test soup?

Mateon1 posted the scripts on Discord in April 2020:

Mateon1_Glider_Test.py:

Code: Select all

from __future__ import print_function
import hashlib
import sys

def usage():
  print("Invalid arguments.")
  print()
  print("Usage:")
  print("  %s <size> <soup_seed>" % sys.argv[0])
  print()
  print("For example:")
  print("  %s Glider8_4_5 k_3uZZQTjDa4DY515041" % sys.argv[0])
  exit(2)

if len(sys.argv) != 3:
  usage()

SIZES = {
  "Glider8_4_5": (8, 4, 5), # 16x12bit
}

if sys.argv[1] not in SIZES: usage()
(glis, width, length) = SIZES[sys.argv[1]]

seed = bytes(sys.argv[2], "ascii")

def digest(bs):
  print("Digesting: " + bs.decode("ascii"))
  return hashlib.sha256(bs).digest()

hashval = bytes("\0"*32,"ascii")
randcnt = 0
randbyte = 0
randbit = 0

def main(seed):
  global randbit, randbyte, randcnt, hashval

  cells = set()

  hashval = digest(seed)
  randcnt = 0
  randbyte = 0
  randbit = 0

  def bit():
    global randbit, randbyte, randcnt, hashval
    if randbyte >= 32:
      assert randbit == 0
      randbyte = 0
      randcnt += 1
      hashval = digest(seed + bytes(":%d" % randcnt, "ascii"))

    val = (hashval[randbyte] >> randbit) & 1
    randbit += 1
    if randbit >= 8:
      randbit = 0
      randbyte += 1
    return val

  def rand(bits):
    assert bits <= 64
    val = 0
    for b in range(bits):
      val |= (1 << b) if bit() else 0
    print("rand: " + str(val))
    return val

  PHASES = [
  [[1, 1, 1],
   [1, 0, 0],
   [0, 1, 0]],
  [[0, 1, 1],
   [1, 1, 0],
   [0, 0, 1]]]

  for quadrant in [(-1, -1), (1, -1), (-1, 1), (1, 1)]:
    counter = 0
    while counter < glis:
      ori = bit()
      flip = bit()
      phase = bit()
      offs = rand(width)
      shift = rand(length) + 4
      (x, y) = (quadrant[0] * shift, quadrant[1] * shift)
      if ori:
        x += quadrant[0] * (offs + 1)
      else:
        y += quadrant[1] * offs
      #print(ori, flip, phase, offs, shift)
      #print((x, y))
      r=2
      bad = False
      for dx in range(-r, 3+r):
        for dy in range(-r, 3+r):
          if (x+dx, y+dy) in cells:
            bad = True
      if bad: continue
      print("placing glider %r; ori/flip/phase: %d/%d/%d" % ((x, y), int(ori), int(flip), int(phase)))
      for dy in range(3):
        for dx in range(3):
          (gx, gy) = (2-dx if quadrant[0] == -1 else dx, 2-dy if quadrant[1] == -1 else dy)
          (gx, gy) = (gy, gx) if flip else (gx, gy)
          if PHASES[phase][gy][gx]:
            cells.add((x+dx, y+dy))
      counter += 1

  def getcell(x, y):
    #u = x >> 3
    #v = y >> 3
    #return (tiles[v][u] >> ((x&7) | ((y&7) << 3))) & 1
    return (x, y) in cells

  xmin = min(x for (x,y) in cells)
  xmax = max(x for (x,y) in cells)
  ymin = min(y for (x,y) in cells)
  ymax = max(y for (x,y) in cells)

  print("x = 0, y = 0, rule = B3/S23")
  for y in range(ymin, ymax+1):
    for x in range(xmin, xmax+1):
      print("o" if getcell(x, y) else "b", end="")
    print('$' if y < ymax else '!')

#for i in range(10000):
#  main(seed + bytes("%d" % i, "ascii"))
main(seed)

Mateon1_BIG_Test.py:

Code: Select all

from __future__ import print_function
import hashlib
import sys

def usage():
  print("Invalid arguments.")
  print()
  print("Usage:")
  print("  %s <size> <soup_seed>" % sys.argv[0])
  print()
  print("For example:")
  print("  %s 64x64 k_3uZZQTjDa4DY515041" % sys.argv[0])
  exit(2)

if len(sys.argv) != 3:
  usage()

SIZES = {
  "32x32": 4,
  "64x64": 8,
  "128x128": 16,
  "256x256": 32,
  "512x512": 64,
  "1k": 128,
  "2k": 256,
  "4k": 512,
  "8k": 1024,
}

if sys.argv[1] not in SIZES: usage()
size = SIZES[sys.argv[1]]

seed = bytes(sys.argv[2], "ascii")

def digest(bs):
  print("Digesting: " + bs.decode("ascii"))
  return hashlib.sha256(bs).digest()

tiles = [[0] * size for i in range(size)]

hashval = digest(seed)

counter = 0
for ty in range(size):
  for tx in range(size):
    if tx == 0 and ty != 0 or tx == 4:
      counter += 1
      hashval = digest(seed + bytes(":%03d" % counter, "ascii"))
    for b in range(8):
      bits = hashval[(tx%4*8 + b)]
      tiles[ty][tx] |= hashval[tx%4*8 + b] << (8*b)

def getcell(x, y):
  u = x >> 3
  v = y >> 3
  return (tiles[v][u] >> ((x&7) | ((y&7) << 3))) & 1

for y in range(64):
  print(".", end="")
  for x in range(64):
    print("@" if getcell(x, y) else ".", end="")
  print()

[dvgrn]

Mateon1 posted the scripts on Discord in April 2020...

Great, thank you! Here's the version I ended up with. On Discord there was a note that "unfortunately this requires Python 3", and there was an import-from-future statement to deal with printing. But now the future is here! Probably would make sense to get this to run directly in Golly now -- I had to execute it like this:

Code: Select all

python Mateon.py Glider6_5_6 k_Dmqf8QunCTEE26936319

Code: Select all

import hashlib
import sys

def usage():
  print("Invalid arguments.")
  print()
  print("Usage:")
  print("  %s <size> <soup_seed>" % sys.argv[0])
  print()
  print("For example:")
  print("  %s Glider8_4_5 k_3uZZQTjDa4DY515041" % sys.argv[0])
  exit(2)

if len(sys.argv) != 3:
  usage()

SIZES = {
  "Glider6_5_6": (6, 5, 6),
}

if sys.argv[1] not in SIZES: usage()
(glis, width, length) = SIZES[sys.argv[1]]

seed = bytes(sys.argv[2], "ascii")

def digest(bs):
  print("Digesting: " + bs.decode("ascii"))
  return hashlib.sha256(bs).digest()

hashval = bytes("\0"*32,"ascii")
randcnt = 0
randbyte = 0
randbit = 0

def main(seed):
  global randbit, randbyte, randcnt, hashval

  cells = set()

  hashval = digest(seed)
  randcnt = 0
  randbyte = 0
  randbit = 0

  def bit():
    global randbit, randbyte, randcnt, hashval
    if randbyte >= 32:
      assert randbit == 0
      randbyte = 0
      randcnt += 1
      hashval = digest(seed + bytes(":%d" % randcnt, "ascii"))

    val = (hashval[randbyte] >> randbit) & 1
    randbit += 1
    if randbit >= 8:
      randbit = 0
      randbyte += 1
    return val

  def rand(bits):
    assert bits <= 64
    val = 0
    for b in range(bits):
      val |= (1 << b) if bit() else 0
    print("rand: " + str(val))
    return val

  PHASES = [
  [[1, 1, 1],
   [1, 0, 0],
   [0, 1, 0]],
  [[0, 1, 1],
   [1, 1, 0],
   [0, 0, 1]]]

  for quadrant in [(-1, -1), (1, -1), (-1, 1), (1, 1)]:
    counter = 0
    while counter < glis:
      ori = bit()
      flip = bit()
      phase = bit()
      offs = rand(width)
      shift = rand(length) + 4
      (x, y) = (quadrant[0] * shift, quadrant[1] * shift)
      if ori:
        x += quadrant[0] * (offs + 1)
      else:
        y += quadrant[1] * offs
      #print(ori, flip, phase, offs, shift)
      #print((x, y))
      r=2
      bad = False
      for dx in range(-r, 3+r):
        for dy in range(-r, 3+r):
          if (x+dx, y+dy) in cells:
            bad = True
      if bad: continue
      print("placing glider %r; ori/flip/phase: %d/%d/%d" % ((x, y), int(ori), int(flip), int(phase)))
      for dy in range(3):
        for dx in range(3):
          (gx, gy) = (2-dx if quadrant[0] == -1 else dx, 2-dy if quadrant[1] == -1 else dy)
          (gx, gy) = (gy, gx) if flip else (gx, gy)
          if PHASES[phase][gy][gx]:
            cells.add((x+dx, y+dy))
      counter += 1

  def getcell(x, y):
    #u = x >> 3
    #v = y >> 3
    #return (tiles[v][u] >> ((x&7) | ((y&7) << 3))) & 1
    return (x, y) in cells

  xmin = min(x for (x,y) in cells)
  xmax = max(x for (x,y) in cells)
  ymin = min(y for (x,y) in cells)
  ymax = max(y for (x,y) in cells)

  print("x = 0, y = 0, rule = B3/S23")
  for y in range(ymin, ymax+1):
    for x in range(xmin, xmax+1):
      print("o" if getcell(x, y) else "b", end="")
    print('$' if y < ymax else '!')

#for i in range(10000):
#  main(seed + bytes("%d" % i, "ascii"))
main(seed)

I'm not clear why the first argument has to be defined in SIZES, as opposed to just passing in the three parameters -- (6, 5, 6) for the soup in question. But I just made the minimal changes to get the script working -- the old version said (8,4,5), so it didn't allow a Glider6_5_6 input.

The script successfully produces the 24-glider recipe on the left, which reduces to the 19-glider recipe on the right:

Code: Select all

x = 334, y = 148, rule = B3/S23
152bo$152bobo$152b2o10$331bo$329b2o$330b2o6$o$b2o$2o10$3bo199bo$4bo
199bo$2b3o197b3o8$68bo29bobo$69bo28b2o$67b3o29bo$113bobo88bobo$113b2o
90b2o$50bo63bo90bo$34bo16b2o$32bobo15b2o85bo$33b2o102bobo$137b2o6$291b
o$291bobo$253bo37b2o$235bo18bo$236b2o14b3o61bo$235b2o77b2o$315b2o4$
115bo$114bo$114b3o10$69bo$70b2o37bobo180bobo$69b2o38b2o181b2o$110bo
182bo10$287bo$287bobo$67bo219b2o$67b2o$66bobo174b3o51b3o$245bo51bo$
244bo53bo3$91b3o$91bo$92bo5$41b2o77b2o$42b2o75b2o$41bo79bo6$222b2o$
221bobo$223bo$240bo$240b2o$239bobo69bo19b3o$310b2o19bo$292b2o16bobo19b
o$292bobo$292bo3$20bo$20b2o$19bobo$242b3o$37b3o204bo$39bo114b2o52b2o
33bo63b2o$38bo93b3o18b2o52bobo97bobo$115bo16bo22bo53bo97bo$114b2o17bo$
114bobo6$40b2o$41b2o$6bo33bo89bo$6b2o121b2o$5bobo121bobo!

The size of the cleanup would seem to indicate this isn't an improvement on the current recipe, though it does have the distinction of being triggered by a temporary queen bee shuttle... It's certainly possible that the final stage could be built in less than 13 gliders, though:

Code: Select all

x = 27, y = 14, rule = B3/S23
15bo$15bo$15bo2$11b3o3b3o2$3b2o10bo$bobobobo7bo$2o5bo7bo$5bo2bo$6b2o
17b2o$bo22b2o$2o24bo$o!

[Kazyan]

The size of the cleanup would seem to indicate this isn't an improvement on the current recipe, though it does have the distinction of being triggered by a temporary queen bee shuttle... It's certainly possible that the final stage could be built in less than 13 gliders, though:

Here it is in 11G; with 10G probably possible via cleverer cleanup:

Code: Select all

x = 139, y = 49, rule = B3/S23
15bobo$16b2o$16bo$40bo$40bobo$40b2o$16bo$17b2o$16b2o5$26bo$25bo$25b3o$
104bo9bo$105bo9bo12bo$obo100b3o7b3o10b3o8bo$b2o5bobo106b2o6bo3b2o5bo$b
o7b2o95b2o8bo2bo4bob3o2bo4b3o$9bo96b2o9b2o5bo5bo$125b5o5bo$15bo111bo7b
o$13b2o120bo$14b2o21$60b2o$60bobo$60bo!

[MathAndCode]

10G probably possible via cleverer cleanup:

Yes indeed.

Code: Select all

x = 33, y = 9, rule = B3/S23
7bo$5b2o15bo$6b2o12b3o8bo$11b2o6bo3b2o5bo$2o8bo2bo4bob3o2bo4b3o$2o9b2o
5bo5bo$19b5o5bo$21bo7bo$29bo!

[Kazyan]

Idea for this xs20, with some confusion about how to insert the spark:

Code: Select all

x = 11, y = 14, rule = LifeHistory
C.C$.C4.A$5.A.A$3C2.2A.A$3C5.A$5.3A.2A$.A2.A2.A2.A$A.A2.A2.A$.A4.2A3$
4.2A$5.2A$4.A!

[AGreason]

Transfer search (with a modification which makes it not require as large of a region to match the example of a component before trying a component elsewhere, allowing it to find more applications) solved 80, 194 remaining, of which 38 have at least one soup. With the sudden loss of both a great many of the ones with soups and the bulk of the implication families, I expect that the going will get rather tougher soon.

Code: Select all

xs20_ci9riiczw66 477
xs20_oi6o8brzx321 282
xs20_gs2araiczw32 266
xs20_64kjqicz0346 217
xs20_gs29raiczw32 211
xs20_64k6picz2543 145
xs20_6ikm9icz1243 113
xs20_0g8jr8brz23 27
xs20_gjlkaicz1243 17
xs20_ca1u0mp3zw23 15
xs20_0cq1dqz321w123 14
xs20_cik6picz643 6
xs20_3iabaik8zw113 5
xs20_6ik6picz1243 4
xs20_mkidik8z1243 4
xs20_0cahmk13z253w1 4
xs20_5b8fhik8zx32 3
xs20_4ap3s4gozw1243 2
xs20_0caajkczca23 1
xs20_0g0si2bkk8z343 1
xs20_2l2c84oz129d11 1
xs20_358eharz0321 1
xs20_4a9mkkoz03146 1
xs20_64pbahe8zx121 1
xs20_696o6ioz02543 1
xs20_696o8zw122bkk8 1
xs20_69ar2pmzw23 1
xs20_6ao2t2kozw123 1
xs20_6ik6picz343 1
xs20_8eharia4z023 1
xs20_8kk6p2sgzw343 1
xs20_8u1tik8z1226 1
xs20_9v0sik8z1226 1
xs20_c93s3pmzw23 1
xs20_cp3qik8z1226 1
xs20_mmge9icz1w32 1
xs20_o86p3zw5b871 1
xs20_gs29ra96zw32 1

Code: Select all

xs20_c93ggz39m943 implies xs20_db0ggz39m943, xs20_3pajc4ozw2521
xs20_6ik6picz643 implies xs20_6ik6picz343, xs20_cik6picz643
xs20_6ik6picz343 implies xs20_6ik6picz643, xs20_cik6picz643
xs20_db0ggz39m943 implies xs20_3pajc4ozw2521, xs20_c93ggz39m943
xs20_c9j08oz358b5 implies xs20_cahdagzbdw11
xs20_0cahmk46z253w1 implies xs20_0cahmk13z253w1
xs20_9fg4q4gozw1243 implies xs20_8eh5q4gozw1243
xs20_0o8b9k8zcic32 implies xs20_c4gfh4djozx1
xs20_0o8gkai3zc82641 implies xs20_0c48al96z64132
xs20_8o696z122bkk8 implies xs20_0g0si4mp3z343
xs20_8ko0e9iczxbd implies xs20_8ko0e9iczx39c
xs20_ck3q9b4kozw1 implies xs20_0kc3pa4zc9521
xs20_ggmi8q552z56 implies xs20_o8b94djoz23
xs20_o86p3zw5b853 implies xs20_3pa4ozx5b853
xs20_0dbgz624jq23 implies xs20_0c9jz624jq23
xs20_0g9f0kczpi611 implies xs20_0g9f0kcz1qm11
xs20_4aab4k8zc9311 implies xs20_39s0s2sgzw1243
xs20_0c9jz4aila23 implies xs20_0dbgz4aila23
xs20_gjlkaicz1w146 implies xs20_gjlkaicz1w56
xs20_o86p3zw5b871 implies xs20_3pa4ozx5b871
xs20_4a9b4k8zc9311 implies xs20_39s0s2kozw1243
xs20_6ikm9icz1243 implies xs20_0gs2tik8z12452
xs20_ci9d2kozxdb implies xs20_ci9d2kozwc93
xs20_31ekhjzw641023 implies xs20_c48c9jzw641346
xs20_og8e13zwc93146 implies xs20_og8e13zwc93123
xs20_31ke0e9a4zx113 implies xs20_31kmk2sgz01243
xs20_0c9jz624jq23 implies xs20_0dbgz624jq23
xs20_3lkaik8zw3452 implies xs20_8kiajkcz02543
xs20_0c48al96z64132 implies xs20_0o8gkai3zc82641
xs20_39s0s2kozw1243 implies xs20_4a9b4k8zc9311
xs20_c4o0ep3z65032 implies xs20_0cp3cj96z321
xs20_0g9f0kcz1qm11 implies xs20_0g9f0kczpi611
xs20_9v0sik8z1226 implies xs20_8u1tik8z1226
xs20_cahdagzbdw11 implies xs20_c9j08oz358b5
xs20_0kq2km96z1243 implies xs20_0kq2km93z1243
xs20_0dbgz4aila23 implies xs20_0c9jz4aila23
xs20_6ik6picz1243 implies xs20_0gs2dik8z12453
xs20_695mgdbzx65 implies xs20_695mgdbzw641
xs20_ci9d2kozwc93 implies xs20_ci9d2kozxdb
xs20_0kq2km93z1243 implies xs20_0kq2km96z1243
xs20_695mgdbzw641 implies xs20_695mgdbzx65
xs20_31kmk2sgz01243 implies xs20_31ke0e9a4zx113
xs20_og8e13zwc93123 implies xs20_og8e13zwc93146
xs20_39s0s2sgzw1243 implies xs20_4aab4k8zc9311
xs20_8eh5q4gozw1243 implies xs20_9fg4q4gozw1243
xs20_8ko0e9iczx39c implies xs20_8ko0e9iczxbd

[AGreason]

Despite there having been no posts since the last update, there's been significant progress. 131 remaining, of which 20 have at least one soup.

Code: Select all

xs20_64k6picz2543 147
xs20_6ikm9icz1243 113
xs20_0g8jr8brz23 27
xs20_ca1u0mp3zw23 15
xs20_0cq1dqz321w123 14
xs20_6ik6picz1243 4
xs20_mkidik8z1243 4
xs20_5b8fhik8zx32 3
xs20_4ap3s4gozw1243 2
xs20_0caajkczca23 1
xs20_0g0si2bkk8z343 1
xs20_358eharz0321 1
xs20_64pbahe8zx121 1
xs20_696o6ioz02543 1
xs20_696o8zw122bkk8 1
xs20_6ao2t2kozw123 1
xs20_c93s3pmzw23 1
xs20_cp3qik8z1226 1
xs20_mmge9icz1w32 1
xs20_o86p3zw5b871 1

Code: Select all

xs20_ggmi8q552z56 implies xs20_o8b94djoz23
xs20_cahdagzbdw11 implies xs20_c9j08oz358b5
xs20_0kq2km93z1243 implies xs20_0kq2km96z1243
xs20_9fg4q4gozw1243 implies xs20_8eh5q4gozw1243
xs20_695mgdbzx65 implies xs20_695mgdbzw641
xs20_c9j08oz358b5 implies xs20_cahdagzbdw11
xs20_0c48al96z64132 implies xs20_0o8gkai3zc82641
xs20_6ikm9icz1243 implies xs20_0gs2tik8z12452
xs20_0dbgz4aila23 implies xs20_0c9jz4aila23
xs20_ci9d2kozwc93 implies xs20_ci9d2kozxdb
xs20_ck3q9b4kozw1 implies xs20_0kc3pa4zc9521
xs20_31ekhjzw641023 implies xs20_c48c9jzw641346
xs20_0kq2km96z1243 implies xs20_0kq2km93z1243
xs20_8o696z122bkk8 implies xs20_0g0si4mp3z343
xs20_o86p3zw5b871 implies xs20_3pa4ozx5b871
xs20_0g9f0kczpi611 implies xs20_0g9f0kcz1qm11
xs20_8eh5q4gozw1243 implies xs20_9fg4q4gozw1243
xs20_0g9f0kcz1qm11 implies xs20_0g9f0kczpi611
xs20_og8e13zwc93123 implies xs20_og8e13zwc93146
xs20_31kmk2sgz01243 implies xs20_31ke0e9a4zx113
xs20_0c9jz624jq23 implies xs20_0dbgz624jq23
xs20_og8e13zwc93146 implies xs20_og8e13zwc93123
xs20_0o8gkai3zc82641 implies xs20_0c48al96z64132
xs20_0c9jz4aila23 implies xs20_0dbgz4aila23
xs20_0dbgz624jq23 implies xs20_0c9jz624jq23
xs20_31ke0e9a4zx113 implies xs20_31kmk2sgz01243
xs20_o86p3zw5b853 implies xs20_3pa4ozx5b853
xs20_ci9d2kozxdb implies xs20_ci9d2kozwc93
xs20_6ik6picz1243 implies xs20_0gs2dik8z12453
xs20_695mgdbzw641 implies xs20_695mgdbzx65

[dvgrn]

Despite there having been no posts since the last update, there's been significant progress. 131 remaining, of which 20 have at least one soup.

xs20_64k6picz2543 is easily done in 17G, based on the 2x128 soup. I didn't check any of the other 146 soups, so the odds are very high that there's a cheaper solution.

Code: Select all

x = 258, y = 61, rule = B3/S23
121bobo$122b2o$122bo22$146bo$25bobo117bobo$25b2o117bo2bo$26bo118b2o$
121bo$20bo101bo$21b2o97b3o$20b2o106bo$24b3o102bo18bo$26bo100b3o17bobo$
25bo121bobo$148bo4$116b3o$118bo$117bo10bo$129bo$127b3o98bo$112bo9b3o
19b2o80bobo$113bo10bo19bobo80b2o9b2o$111b3o9bo20bo86bo5bo2bo12bo$230bo
bo4b2o2bo9bobo$230b2o3b2o2b2o11b2o$234bo2bobo$234bobo2bo16bo$128b3o
104bo3b2o14bobo$2o128bo7b2o115bobo$2o127bo7b2o88bo28bo$139bo85bobo$
226b2o2$114b3o113bo$116bo112bobo$115bo113bobo$230bo!

EDIT 2/12/2021: xs20_6ikm9icz1243 in 11G from the first G1 soup -- didn't check all the C1 soups or anything else except the 4x64, so this can no doubt be improved.

Code: Select all

x = 315, y = 114, rule = B3/S23
19$152bo$151bo$128bo22b3o$126bobo$127b2o6$250bo$249bo$249b3o2$245b3o4$
125bo113bo$126bo108b2obobo$124b3o108bob2o2bo$150b2o87bobo$24bobo123b2o
84b3obo$25b2o10bo102b2o93bo2bo$25bo11bobo92b3o4bobo94bobo$37b2o95bo5bo
96bo$133bo$32b3o$34bo$33bo5$245b2o$245b2o2$249b3o$249bo$250bo7$128b3o$
130bo$129bo2$155b2o$154b2o$156bo!

EDIT 2/13/2021: xs20_0g8jr8brz23 in 12G via the second soup, no further survey. Tried glider-destruction.py (a Python3 version) and didn't find a one-glider cleanup. There are much quicker cleanups with two synchronized gliders.

Code: Select all

x = 249, y = 72, rule = B3/S23
104bobo$105b2o$105bo12$91bo$92bo$90b3o5$13bo207bo$12bo209bo$12b3o98b2o
105b3o$113b2o2$o224bo$b2o8b2o211bobo$2o10b2o210bobo$11bo213bo$27b3o97b
3o$106bo141bo$104bobo139b3o$105b2o138bo$110bobo129b2o2bo$110b2o130b2ob
2o$106b3o2bo133bo$108bo7bo125b2obo$107bo8bo125b2ob2o$116bo30$137bo$
136b2o$136bobo!

[Kazyan]

Idea for a component that should be generally-useful, but some LLS investigation may be necessary to complete it:

Code: Select all

x = 87, y = 13, rule = B3/S23
58bo$20b2o37bo17bo$20bobo17b3o15b2o5b2o10bo7bo$22bo16bo3bo13b3ob2o2bo
11bo3b5o$22b2o19bo15bo2b2o13bob7o$43bo11b2o18b2o$2b2o18b2o17b2o11bo7b
2o18b2o$o2b3o14bo2b3o15bo18bo2b3o14bo2b3o$2o4bo13b2o4bo14bo18b2o4bo13b
2o4bo$2b4o16b4o36b4o16b4o$2o18b2o19bo18b2o18b2o$o2bo16bo2bo36bo2bo16bo
2bo$2b2o18b2o38b2o18b2o!

EDIT: Figured it out. An expensive ship insertion is being used for the sake of clearance only.

Code: Select all

x = 57, y = 34, rule = B3/S23
obo$b2o$bo3$11bobo$12b2o$12bo3bobo$17b2o$10bo6bo28bo$11bo34bobo$9b3o7b
o21bo4b2o$20bo20bobo$18b3o20b2o2$26bo$20bo3bobo8bo$21b2o2b2o6b2o$20b2o
6bo5b2o$28bobo$28b2o5$27b2o$25bo2b3o$25b2o4bo22b2o$6bo20b4o12b2o9bobo$
6b2o17b2o16bobo8bo$5bobo17bo2bo14bo$12b3o12b2o$14bo$13bo!

[iNoMed]

Through some collaboration on the Discord server, xs20_0cahdagz651221 has been knocked off the list:

Code: Select all

x = 542, y = 46, rule = B3/S23
158bobo20bobo$159b2o20b2o$159bo9bo12bo$170bo$168b3o109bo$278bobo116bo$
180bo98b2o117b2o$156bo22bo217b2o$118bo38bo21b3o14bo$118bobo34b3o3bo26b
o5b2o284bo$115bo2b2o42bo24bo7b2o282bo$116bo43b3o24b3o97bobo189b3o$114b
3o164bo5b2o49bo133bo$282bo5bo50b2o62bo11bo54bobo$70bobo45bo161b3o55b2o
61bobo5bobo3bobo53b2o66bo$70b2o45bo234bobo47b2o5b2o4b2o122bobo$61bo9bo
40bobo2b3o110bo121b2o56bo68bo59b2o$62bo2bo47b2o116bo121bo115bo9bobo$
60b3o3b2o2bo42bo115b3o128bo109b2o7b2o$65b2o2bo106b2o9bo45bo126bobo106b
2o$69b3o36b2obo61b2o2bo8bo46bobo120b2o2b2o$108bob2o5bo55bob2o9b3o33bo
10b2o47bo73bobo$14bo100b2o105b3o57b3o71bo49bo59b2o57b2o$2b2o4bobo2bo
48b2o41b2o9b2o52b2o20b2o31bo2b2o55bo51bo7b2o58bobo57bo2bo55bo2bob2o$bo
2bo4b2o2b3o45bo2bob2o36bo2bob2o41b2o15bo2bob2o15b2o31bo2bo2bo53bo2bo2b
o46b2o5bo2bo2bo53bo2bo2bo53bo2bo2bo52bo2bo3bo$b2obo4bo51b2obob2o36b2ob
ob2o4bo37b2o14b2obob2o17bo30b2ob4o53b2ob4o45bobo5b2ob4o53b2ob4o53b2ob
4o52b2ob4o$3bo59bo42bo7b2o36bo18bo54bo59bo59bo59bo59bo58bo$b2o58b2o41b
2o8bobo52b2o53b2o2bo55b2o2bo55b2o2bo55b2o2bo55b2o2bo54b2o2bo$o2b3o54bo
2b3o37bo2b3o48bo10bo2b3o49bo2b2obo53bo2b2obo53bo2b2obo53bo2b2obo53bo2b
2obo15bobo34bo2b2obo$2o3bo54b2o3bo37b2o3bo48b2o9b2o3bo49b2o4bo53b2o4bo
53b2o4bo53b2o4bo53b2o4bo7bo3b2o2b2o35b2o4bo$156bobo70b2o58b2o58b2o58b
2o58b2o5b2o3bobo2bo41b2o$476bobo2bo$538b2o$538bobo$538bo4$169b2o349bo$
30b2o138b2o348b2o$30bobo136bo349bobo13b2o$30bo504bobo$165b2o368bo$164b
obo353bo$166bo353b2o$519bobo!

Edit: I was able to cut off 7 gliders by assembling the mango with a table instead of a pre-block:

Code: Select all

x = 22, y = 31, rule = B3/S23
19bo$19bobo$19b2o5$6b2o$5bo2bo$4bo2bo2bo$4b2ob4o$6bo$4b2o2bo$3bo2b2obo
$3b2o4bo$9b2o2$19b2o$19bobo$19bo4$bo$b2o$obo13b2o$16bobo$16bo$bo$b2o$o
bo!

[goldenratio]

Another one (xs20_696o6ioz02543) down with the help of spark_search:

Code: Select all

x = 205, y = 49, rule = B3/S23
195bo$195bobo$195b2o$188b2o$187bo2bo$187bobo$119bo68bo$119bobo$107bo
11b2o$108b2o14bo$107b2o13b2o64bo$123b2o62bobob2o$187bobobo$188bobo2bo$
190bob2o$180bo8bobo$181bo6bo2bo$179b3o7b2o3$94bo$42bo52bo89bo$43bo49b
3o88bobo$41b3o140bobo$45bo139bo$45bobo55bobo$45b2o57b2o$104bo2$5bo$3b
2o$4b2o110bo$116bo59b2o$bo105bo8bo58bo2bo$2bo2b2o100b2o67b2o$3o3b2o44b
2o52bobo$5bo40b3o3b2o126b2o$102bo76bo2bo$102b2o22b2o52b2o$101bobo16b3o
3b2o$48b3o118b3o$171bo$170bo27b2o$109b2o11b3o72bo2bo$108bobo87b2o$110b
o$202b3o$202bo$203bo!

[iNoMed]

Another one (xs20_696o6ioz02543) down with the help of spark_search:

Code: Select all

snip

Reduced to 16G through better cleanup:

Code: Select all

x = 219, y = 59, rule = B3/S23
138bobo$138b2o$139bo17$103bo$104b2o$103b2o6$116bo$115bo$108bo6b3o$109b
o$107b3o$112bo$92bo18bo$90bobo18b3o$91b2o28bobo$121b2o$122bo$39bo$40bo
71bo$38b3o48bo22bo$89b2o21bo62b2o5b2o$5bo82bobo83bo2bo3bo2bo2bo$3b2o
36b2o131bobo5b2o2bobo$4b2o34bobo10bo38b2o81bo8b2o2bo$42bo10bo37bobo24b
3o61b2o2b2o$bo51bo3bo35bo88bo2bo$2bo2b2o50bo64b3o59b2o$3o3b2o49bo114b
2o$5bo165bobo$52b2o64b2o53bo$52b2o64b2o94bo$213bobo$213bobo$214bo2$
216b3o$216bo$217bo!

[Extrementhusiast]

Many assorted solutions:

Code: Select all

x = 386, y = 1004, rule = B3/S23
145bo$145bobo$145b2o$285bo$129bo156bo$130b2o152b3o$129b2o$289bo$288bo$
144bo93bo49b3o$143bo85bobo7b2o42bo$131bo11b3o84b2o6b2o44b2o$132bo97bo
52b2o$130b3o107bo$126b3o56bo53b2o$128bo57bo45bo6bobo47b2o$79bo47bo56b
3o44bobo56bo$78bo152bobo54bo$78b3o3bo96b3o7b2o39bo4b2o49b2o2b2o$83b2o
49b2o47bo5bo2bo42bo2bo51bo2bo$79bo3bobo48b2o46bo6b2o44b2o53b2o$78b2o$
78bobo49bob3obo48bob3obo39bob3obo48bob3obo$130b2obob2o48b2obob2o39b2ob
ob2o43bo4b2obob2o$279bobo$280b2o2$282b3o$69bo214bo$69b2o212bo$68bobo
220b3o$291bo$292bo$73b2o$72b2o211b2o$74bo211b2o$285bo$293b2o$292b2o$
294bo21$55b2o$54bobo$56bo51$265bo$171bo91b2o$171bobo90b2o$171b2o$169bo
90bo$167bobo89bo$168b2o89b3o2$170bo$170b2o$106bobo60bobo$107b2o65bo39b
ob2o43bob2o$107bo65bobo38b2o2bo42b2o2bo$174bobo40bobo44bobo$106b3o66bo
42bo32bo13bo$106bo5b2o58b3o40b3o33b2o6b2ob3o$107bo3b2o59bo38b2o2bo34bo
bo6b2obo$113bo96bobo$212bo2$213b2o$213bobo$213bo50b2o2b2o$263bobob2o$
265bo3bo2$133b3o$133bo$134bo74$295bo$295bobo$295b2o3$156bobo$157b2o$
157bo$295bo$290bo4bobo$281bo8bobo2b2o$159bo122bo7b2o$160bo119b3o$158b
3o11bo$172bobo$102bo69b2o$103bo133bo54bo$101b3o62bo6bo61b3o52b3o$65bo
99bobo4b2o60bo54bo$63bobo38b3o58bobo4bobo59b4o51b4o$64b2o40bo59bo65b2o
3bo49b2o3bo$67b2o36bo19b2o58b2o46bo2bo51bo2bo$66bobo56b2o58b2o46bobo
52bobo$68bo105b2o58bo48bo5bo$174bobo107bo$174bo107b3o$171b2o$170bobo
106b2o3b2o$172bo56bo48bobo3bobo$228bobo49bo3bo$228bobo$229bo$226b2o$
225bobo$227bo82$41bo277bo$39bobo278bo$27bo12b2o262bo13b3o3bo$28b2o130b
obo142b2o7bo7b2o$27b2o23bo107b2o40bobo99b2o9b2o6b2o$46bo5bobo44bo61bo
41b2o109b2o$44b2o6b2o43b2o104bo7b2o$42bo2b2o51b2o60b3o45bo2bobo33bobo$
29bo10bobo50bobo64bo45bobo2bo36b2o$30b2o9b2o42bo8b2o48bo16bo36bo8b2o
39bo4bo52b3o$29b2o54b3o6bo49b3o51b3o52b3o44b2o6bo4b2o$88bo58bo2b2o49bo
2b2o39b3o8bo3b2o37bobo5bo4bo2bo3b2o$87bo2bo3b3o49bo2bobo48bo2bo2bo40bo
7bo2bo2bo39bo10b3o2bo2bo$38b2o46bob2obo2bo50bob2obo48bob2ob2o40bo7bob
2ob2o54b2ob2o$38bobo46bo2bo4bo50bo2bo9b2o39bo2bo51bo2bo55bo2bo$38bo49b
2o57b2o10bobo39bobo44b2o6bobo56bobo$32b2o125bo42bo46b2o6bo58bo$33b2o
94bobo116bo$32bo97b2o$130bo3$134b2o3bo$133bobo3b2o4b2o$135bo2bobo5b2o
10b2o$145bo11b2o$149b3o7bo$151bo$150bo76$99bo$97bobo$98b2o2$283bo$284b
2o$167bobo113b2o$107bo59b2o$105bobo60bo$2bo103b2o74bo$obo12bo100bo47bo
bo14bo96bo$b2o10b2o102bo8bo38b2o14b3o95bo$14b2o99b3o8bobo36bo6bobo102b
3o$119bo6b2o44b2o111b2o45bo$119bobo51bo112b2o42bobo$119b2o66bo33bo63bo
45b2o8bo4bo$62bobo122bobo29bobo120b2obo$20bobo39b2o100bo22b2o31b2o119b
2o2b3o$20b2o41bo41b2o58bo11bo45bo5bo66bo39bo$10bobobobo4bo84b2o55b3o
10bobo43bobo3bobo64bobo37bobo$11b2ob2o42bo5b2o39bo9bo2b2o56bo2bo42bobo
2bo2bo59b2o2bo2bo36bo2bo$11bo3bo40b3o5bobo46b3o3bo54b3o3bo42bo3b3ob2o
57bo3b3ob2o31bo2b3ob2o$b2o52bo3b2o3bo47bo3b3o54bo3b3o44b3o3bo2bo57b3o
3bo2bo30b3o3bo2bo$obo5b3o43bobo2bo51bobo2bo55bobo2bo49bo2bobo61bo2bobo
34bo2bobo$2bo7bo44bobobo52bobobo56bobobo48bobob2o61bobob2o34bobob2o$9b
o46bobo54bobo58bobo49bo2bo56bo6bo2bo36bo2bo$57bo56bo60bo51bobo56b2o6bo
bo37bobo6b3o$185bo42bo56bobo7bo39bo7bo$185bobo156bo$185b2o2b2o89b2o6b
2o$8b3o10b3o165bobo87bobo6bobo$10bo10bo142bo24bo91bo6bo$9bo12bo141b2o
10b2o4bo$163bobo9b2o4b2o$177bo3bobo2$167b2o$166bobo$168bo9$263b2o$262b
obo$264bo72$288bobo$289b2o$289bo6bo3bobo$297b2ob2o$296b2o3bo3$285bo$
286bo12b2o$284b3o7b2obo2bo$294bob2obo5bo$299b2o3bo$295b4o5b3o$295bo2bo
$296b2o$288b2o$289b2o$25bobo260bo17bobo$26b2o274b2o2b2o$26bo269b2o4bob
o2bo$295b2o5bo$297bo6$238bo$94bo142bo$95bo134bo6b3o$93b3o97bobo35bo$
193b2o34b3o$38bo57b2o96bo$32bo4b2o57b2o134bo$33bo3bobo192b2o$31b3o159b
o37bobo$99b2o4bo38b2o4bo31b2o4bo2b2o44b2o3b2o$34b3o62bo2bobobo37bo2bob
obo30bo2bobobo2b2o43bo2bo2bo$36bo63b3obobo38b3obobo31b3obobo48b3obo$
35bo68b2o43b2o36b2o6b2o45b2o$102b2o43b2o34b4o7b2o42b4o$101bobo35bo6bob
o34bo2bo9bo34b3o4bo2bo$102bo34bobo7bo36b2o47bo5b2o$138b2o92bo$141b2o$
142b2o92b2o$141bo88bo5bobo$230b2o4bo$229bobo$59b2o$59bobo$59bo4$286bo$
287b2o$286b2o14bo$293bobo4b2o$294b2o5b2o$294bo3$283bo$281bobo$282b2o
14b2o$293b2obo2bo$293bob2obo$298b2o$294b4o$294bo2bo$295b2o$306bo$286bo
19bobo$286b2o18b2o2b2o$285bobo22bobo$310bo$297bo5bo$296b2o4b2o$296bobo
3bobo70$116bo$107bo8bobo140bo$95bobo9bobo6b2o140bo$96b2o5bo3b2o149b3o$
96bo7b2o148bo$103b2o150bo128bo$56bo196b3o127bo$56bobo106bo45bobo169b3o
$40bo10bo4b2o107bobo43b2o$38bobo11b2o100bo10b2o36bo8bo38bo$39b2o10b2o
99b3o46b3o45b3o3bo57b2o43b2o$5bo97bo47bo13bo34bo12b2o33bo5bobo55bo2bo
41bo2bo$5bobo94bobo45bobo11b2o33bobo10bo2bo31bobo5bo55bobo2bo39bobo2bo
$bo3b2o34b2o58bo2b3o42bo2b3o9bobo31bo2b3o8bo2bo30bo2b3o58bo2b3obo37bo
2b3obo$2b2o38b2o10b2o46b2o3bo42b2o3bo43b2o3bo8b2o32b2o3bo9bobo46b2o3bo
39b2o3bo11bo$b2o38bo11bobo48bobo45bobo46bobo45bobo6b2o2b2o49bobo42bobo
7b2o2bo$53bo50b2o46b2o47b2o46b2o7bobo2bo49b2o43b2o8bobob3o$44b2o6b2o8b
2o194bo109bo$43bobo16bobo297b2o$45bo3b3o10bo300bo$51bo265b2o44bobo$50b
o267b2o44b2o$317bo3b2o$266b2o53bobo$265b2o54bo$267bo104$77bo39bo$75bob
o37b2o$76b2o38b2o3$111bobo$111b2o$112bo5$71bobo$72b2o$72bo147bo$220bob
o$216bo3b2o$217b2o44b2o$86b2o79bo48b2o44bobo$82b2o2bobo78bobo92bo$81bo
bo2bo80b2o92b2o$83bo71bo8b2o46bo44bo9bo$154bobo7b2o45bobo42bobo8bobob
3o$153bobobo52bobobo40bobobo7b2o2bo$152bo2bo2bo50bo2bo2bo38bo2bo2bo11b
o$153b2ob2obo50b2ob2obo38b2ob2obo$155bo2bo53bo2bo41bo2bo$155bobo54bobo
42bobo$156bo56bo44bo3$282b3o$282bo$283bo6$119b2o$118b2o$120bo$110b3o$
110bo$111bo$115b2o$114b2o$116bo$110b2o$110bobo$110bo54$207bo$208b2o$
207b2o17$186bo$184bobo$185b2o18$151bo$151bobo$151b2o$238b2o$149b3o85bo
2bo$151bo85bobo$15bo134bo87bo$16bo$14b3o$201bobo$202b2o71bo64bo$202bo
5bo62b2obobo59b2obobo$206bobo62b2obo2bo58b2obo2bo$42bo164b2o65b2obo61b
2obo$40b2o54b2o173b3o2bo48bo10b3o2bo$41b2o52b2o112bobo59bo2bo10b2o36bo
bo5bo4bo2bo$76b2o14b2o3bo32b2o69b2o6b2o6b2o53b2o7bo2b2o38b2o6bo4b2o$
43bo31bo2bo13b2o35bo2bo15b2o52b2o6bo5bo2bo15b2o43bobo3bo43b3o$43b2o31b
2o52b2o16b2o51bo15b2o16b2o44b2o$42bobo2$213b2o123b2o$212b2o114b2o9b2o
6b2o$214bo114b2o7bo7b2o$203b2o123bo13b3o3bo$204b2o138bo$203bo139bo!

EDIT: And here's some more:

Code: Select all

x = 552, y = 736, rule = B3/S23
175bo242bo$176bo242bo$174b3o240b3o$178bobo$178b2o52bo42bo42bo57bo44bo$
130bo48bo4bo46bobo40bobo40bobo55bobo36bobo3bobo$131bo51bobo44bobobo38b
obobo38bobobo53bobobo36b2o2bobobo$129b3ob2o48bo2bo43bobo2bo37bobo2bo
37bobo2bo46bo5bobo2bo35bo3bobo2bo$133bobo48b2o45bob2obo37bob2obo2b3o
32bob2obo6bo39bo5bob2obo30b3o6bob2obo$133bo43b2o45bo7bo2bo39bo2bo3bo
35bo2bobo3b2o38b3o6bo2bobo31bo3bo3bo2bobo$178b2o45bo7b2o41bo6bo35bo2bo
5b2o47bo2bo31bo3bobo3bo2bo$167bo9bo10bo34b3o47b3o5bo34b3o51b3o5b2o36bo
bo4b2o$167b2o12bo4b2o48bobo34bo7b2o33bo19bo35bo44bo$166bobo12b2o4b2o
47b2o42bobo52bo35bo$180bobo45b3o6bo97b3o78b2o$189b2o39bo100b3o81bobo$
189bobo37bo5b2o94bo85bo$189bo44b2o87b3o6bo$230b2o4bo86bo$229b2o93bo$
231bo$334b2o$334bobo$178b2o154bo$179b2o$178bo$240b2o$239b2o$241bo36$
544bobo$544b2o$533bo11bo$313bo220b2o$314bo212bo5b2o$312b3o135bobo41bo
33bo16bo$332bo118b2o41bobo29b3o15bo$149bo59bo8bobo109b2o119bo42b2o48b
3o$147bobo5bo54bo7b2o5bo100bo4b2o124bo$148b2o5bobo3bo46b3o8bo3b2o101bo
bo126b2o36bo$155b2o4bobo60b2o100b2o124bo3b2o36b2obobo$161b2o36bobo251b
2o38b2o2b2o$149bobo48b2o8bo241b2o44bo$32bo117b2o5bobo2b2o36bo8bo326bo
6bo$33b2o115bo6b2o3bobo44b3o282b2o39bobo4bo$32b2o111b2o11bo3bo51b2o
243bo34b2o39b2o5b3o$93bo52b2o51bobo11bo2bo4bobo40bo51bo55bo42bo36bo6bo
bo$94bo50bo54b2o11b3o5b2o39b3o49b3o53b3o40b3o34b3o6b2o31b4o37b4o8b2o$
33bo2bo55b3o16b2o39b2o46bo10b2o9bo35b2obo48b2obo52b2obo3b2o34b2obo3b2o
28b2obo3b2o33b2obo3bo33b2obo3bo8bobo$31bobo2bobo71bo2bo37bo2bo55bo2bo
44bo3bo47bo3bo51bo3bo2bobo2b3o28bo3bo2bobo27bo3bobo2bo32bo3bobo34bo3bo
bo9bo$32b2o2b2o72bob2o37bob2o55bob2o8b2o35bob2o48bob2o52bob2o3bo3bo31b
ob2o3bobo27bob2obo2bo33bob2ob2o34bob2ob2o$108bobobo36bobobo54bobobo8b
2o35b2obo48b2obo52b2obo9bo29b2obo5bo27b2obo3b2o33b2obo37b2obo$95bo4bo
7b2o2bo35bobo2bo53bobo2bo10bo37bo51bo6bo48bo7bo34bo36bo41bo40bo$96bob
2o12b2o35bo3b2o46bobo4bo3b2o47b2o50b2o5bo48b2o6b2o33b2o4b2o29b2o7b2o
31b2o39b2o$94b3o2b2o101b2o116bo9b2o44bobo39bobo37bobo$202bo126b2o87bo
39bo$196b2o70b2o46b3o3b3o6bo$197b2o68b2o44b2o$196bo72bo44b2o4bo$203b3o
58b3o46bo6bo$205bo60bo53bo$204bo60bo3$58b2o$57b2o$59bo48$168bobo$168b
2o$169bo3$55bo$55bobo204bo$39bo10bo4b2o114bo88bobo63bobo$37bobo11b2o
117bo90b2o63b2o$38b2o10b2o110bo7b3o93bo3bo56bo$4bo94bo49bo10b2o48bo44b
o8bobo2bo35bo6bo49bo49bo47bo39bo41bo$4bobo91bobo47bobo10b2o46bobo42bob
o8b2o2b3o32bobo6b2o46bobo47bobo45bobo37bobo39bobo6bo$o3b2o34b2o55bo2b
3o10bo33bo2b3o55bo2b3o39bo2b3o44bo2b3o3b2o2bobo41bo2b3o44bo2b3o42bo2b
3o34bo2b3o36bo2b3o3bo$b2o38b2o10b2o43b2o3bo10bo33b2o3bo55b2o3bo2b2o35b
2o3bo2b2o40b2o3bo6b2o43b2o3bo44b2o3bo42b2o3bo34b2o3bo36b2o3bo2b3o$2o
38bo11bobo45bobo9b3o35bobobo11bo44bobobo2bo37bobobo2bo42bobobo6bo45bob
o47bobo45bobo37bobo4bo34bobobo$52bo47b2o48b2o2bo11bobo42b2o2bobo38bobo
b2o44bobobo52bobobo45bob2o44bob2o36bob2o3bobo32bob2o2b3o$43b2o6b2o8b2o
91b2o10b2o47b2o40bo49bobo54bobobo45bo2bo44bo2bo36bo2bo2b2o34bo4bo$42bo
bo16bobo49b3o46b3o143bo9bobo44bo2bo8bo38b2o45b2o38b2o37bobo5bo$44bo3b
3o10bo53bo46bo56b3o92b2o2b2o48b2o6bo122b2o41b2o$50bo63bo48bo51b3obo42b
obo49bobo2bo56b3o41b2o36b2o34b3obo2bo$49bo167bo2bo41b2o50bo55bo49bobo
34bobo36bo2b2o3b2o$216bo40b3o3bo105b2o49bo38bo35bo7b2o$259bo109bobo44b
3o42b2o42bo$258bo4b2o45b2o106bo42bobo37b2o$174b3o86bobo43bobo105bo43bo
38bobo$174bo88bo47bo48b3o139bo$175bo186bo$166b3o192bo148b2o$166bo343bo
bo$95b2o70bo342bo$94bobo$96bo50b2o$146bobo$148bo58$256bo$254bobo$255b
2o$303bo13bobo$190bo65bo47bo12b2o$188bobo10bo43b2o8bobo44b3o4b2o7bo42b
2o$189b2o10bobo40bobo8b2o51bobo49bobo$201b2o41bo55b2o6bo51bo$243b2o54b
obo5b2o50b2o3b2ob2o$242bo2b2o6bo47bo4bo2b2o5bo41bo2b2o2bob2o$242b2o3bo
4bobo51b2o3bo4bobo2bo37bo3b2o5b2o$204b3o37b3o6b2o53b3o5b2o3bobo36b3o7b
obo$204bo39bo63bo12b2o39bo7bo$205bo$210bo$209b2o$209bobo105b2o$190b3o
123b2o$192bo54b2o52b2o9b2o4bo$191bo15b2o38b2o53b2o7b2o$206b2o93bo11bo$
202b2o4bo40b3o$189b3o6bo2b2o46bo$191bo6b2o3bo46bo$190bo6bobo69$134bo$
135bo$133b3o12$368bo$367bo$367b3o3$355bo5bo3bo$356b2o4b2obobo$355b2o4b
2o2b2o4$386bobo$386b2o$372b2o13bo$371bo2bo$371bobobo$366b2o4b2o2bo$
365bo2bo6b2o11bo$365bo2bo3b3o13bobo$366b2o3bo2bo13b2o$354bo15bo2bo$
354b2o15b2o$353bobo8$384b2o$359b3o21b2o$361bo23bo$360bo4$168b2o$100bo
67b2o$99b2o$99bobo2$95b2o215bo$96b2o71b2o45b2o49b2o41bobo5b2o$95bo3b3o
60bo6b2o44bo2bo47bo2bo41b2o4bo2bo$99bo63b2o50bobobo46bobobo46bobobo$
100bo61b2o52b2o2bo46b2o2bo40bo5b2o2bo$219b2o49b2o40b2o7b2o$216b3o48b3o
41bobo4b3o$215bo2bo42b2o3bo2bo47bo2bo$216b2o3b2o37bobo4b2o47bo2bo$221b
2o39bo10bo43b2o$271b2o$228bo35b2o6b2o$227bobo33b2o$227bobo35bo5bo$223b
3o2bo41b2o$225bo44bobo$224bo$176bo$175bo192bo$175b3o189bo$367b3o2$175b
3o$175bo179bo5bo3bo$176bo5b2o172b2o4b2obobo$181b2o172b2o4b2o2b2o$183bo
5$372b2o$371bo2bo$371bobobo$366b2o4b2o2bo$365bo2bo6b2o10bobo$365bo2bo
3b3o12b2o$366b2o3bo2bo13bo$354bo15bo2bo$354b2o15b2o$353bobo5$392bo$
391b2o$391bobo2$359b3o21b3o$361bo21bo$360bo23bo7$145b2o$146b2o$145bo
76$413bo$413bobo$115bo297b2o$113b2o$88bo25b2o283bobo$89bo310b2o$87b3o
310bo67bo$468bobo$261bo42bobo153bo7b2o$262bo42b2o55bo95bobo$260b3o42bo
6bo3b3o41bobo96b2o$313b2obo44b2o$222bo42bobo44b2o3bo$220b2o43b2o96bo
102b2o$221b2o43bo40b2o54bobo100bo$148b2ob2o51b2ob2o49b2ob2o5b3o32b2o3b
o5b2o38b2o4bo2b2o32b2o4bob2o50b2o4b2obo$147bobob2o50bobob2o48bobob2o5b
o33bobo2bo6bobo36bobo2b3o35bobo2b3ob2o5b2o42bobo2b3obo$147bobo53bobo
51bobo9bo32bobobo7bo38bobobo38bobobo10bobo2b2o38bobobo$104bo43bo2b2o
51bo2b2o49bo2b2o40bo2b2o46bo2b2o38bo2b2o11bo2bobo38bo2b2o$104bobob3o
38b2o2bo51b2o2bo49b2o2bo40b2o2bo46b2o2bo38b2o2bo13bo41b2o2bo$104b2o2bo
43b2o54b2o51bobo42bobo48bobo40bobo57bobo$109bo46bo104b2o43b2o49b2o41b
2o58b2o6b2o$155bo39bo12b2o257b2o$155b3o35bobo12b2o259bo$194b2o3bo$200b
o215bo48b2o$111b2o35b2o2b2o44b3o214b2o6b3o38bobo2b2o$111bobo35b2obobo
260bobo5bo42bo2bobo$111bo36bo3bo46bo224bo44bo$199b2o$198bobo2$464b2o$
465b2o$217b3o244bo$217bo$218bo$199b3o$201bo$200bo$222b3o$222bo$223bo
50$268bobo$269b2o$269bo$217bo53bo$218bo52bo138bo$216b3o52bo136bobo$
220b2o187b2o$220bobo44b3o3b3o37bo11b2o45bo42bo$220bo57bo33bobo10b2o36b
obo5bobo36bo3bobo$271bo5bobo33bobo48b2o6bobo33b3o4bobo$271bo5bobo35bo
11b2o35bo9bo32bo9bo$271bo6bo34bo2b2o9bobo42bo2b2o30b2o6bo2b2o$313b2obo
10bo33b3o8b2obo39b2obo$230bo85bo46bo11bo42bo$162bo66b2o82b3o46bo9b3o
40b3o$163bo5b2o58bobo81bo58bo42bo$161b3o5bobo30b2o3b2o53b2o3b2o$165b2o
2bo32b2o2bo2bo52b2o2bo2bo137b2o15bobo$164bobo39bobo57bobo42bo96b2o14b
2o$166bo40bo59bo42bobo94bo17bo$310bo2bo97b3o6b2o$311b2o100bo6bobo$314b
3o95bo7bo$314bo$315bo101b2o$416b2o$418bo66$320bo$321bo75bo$319b3o8bo
64b2o$331b2o63b2o$330b2o53bo$386b2o$324bo7bo52b2o$281bo43b2o4bo$271bob
o6bo43b2o5b3o73bo$272b2o6b3o118bo3b2o$272bo3bobo121bo5b2o$235bo41b2o
121b3o$234bo42bo62bo$234b3o33bo64bo4bobo47bo$229bo41bo57bo3bobo4b2o47b
obo9b3o$227b2o40b3o4b2o50bobo3b2o53bobo9bo$221bo6b2o46bobo50bobo58bob
2o8bo$221bobo54bo52bo60bo$221b2o53bo2b2o48bo2b2o46bo9bo2bo$276b2obobo
47b2obobo45b2o8b2obo11b3o$220bo58bobo50bobo44bobo11bob2o8bo$221bo57b2o
51b2o59b2obo9bo$219b3o48bo71bo$270b2o63bo6bobo$232b3o34bobo63b2o5b2o$
232bo43bo57bobo$233bo41b2o$275bobo!

EDIT by dvgrn: Working down from the top, the 20-bitters are

xs20_2l2c826z343123 in 24G,
xs20_3ia40v9z012521 in 14G,
xs20_5b8fhik8zx32 in 18G,
xs20_64kb9k8a6zx121 in 32G,
xs20_695mgdbzw641 and xs20_695mgdbzx65 in 26G,
xs20_ca9dik8z3123 in 26G,
xs20_mkidik8z1243 in 16G, and
xs20_mmge9icz1w32 in 21G.

All appear to have been successfully submitted to Catagolue's magic-free box.

[iNoMed]

Not the first synthesis of this xs20, but here's a 13G synthesis of xs20_9f0ra9jzx121 from the first C1 soup:

Code: Select all

x = 234, y = 71, rule = B3/S23
171bo$172bo$170b3o25$133bo$134b2o$133b2o$137bobo$137b2o$138bo3$231b3o
7$12bo88bo$13bo41bo46bo15bo97bo$11b3o40bobo43b3o14bobo85b3o7bobo$54bob
o60bobo95bobo$15bobo37bo62bo97bo$15b2o86b2o$16bo85bobo$104bo3$66b3o60b
3o95b3o$2o$b2o216b3o$o49bo168bo$48bobo158bo10bo$49b2o66bo91b2o4bo$116b
obo89bobo3bobo$52b2o62bobo95bobo$51bobo63bo97bo$53bo7$171b2o$172b2o$
171bo!

Probably improvable to 12G though, I didn't put too much effort into synthesising the base constellation.

Edit: All that's needed now to solve xs20_0cq1dqz321w123 is a synthesis for the initial constellation and a somewhat-nasty cleanup process:

Code: Select all

x = 76, y = 86, rule = B3/S23
45bobo$45b2o$46bo11$35bo$34bo$18bo15b3o$17bobo$16bobo$16b2o$38bo$37bo$
37b3o3$14b2o$13bo2bo$14bobo$15bo$11b2o$10bo2bo$11b2o2$b2o$o2bo$b2o$31b
2o$30bo2bo$31b2o2$27bo$26bobo15b2o$26bobo15bobo$5b3o3bo15bo16bo$7bo3b
2o$6bo3bobo39$74b2o$73b2o$75bo!

[dvgrn]

Not the first synthesis of this xs20, but here's a 13G synthesis of xs20_9f0ra9jzx121 from the first C1 soup...
Probably improvable to 12G though, I didn't put too much effort into synthesising the base constellation.

Yup, 12G is easy enough:

Code: Select all

x = 209, y = 73, rule = B3/S23
146bo$147bo$145b3o33$111bo94b3o$109b2o$110b2o3$108b2o$2bo104b2o$bo107b
o$b3o87bo99bo$80b3o7bobo87b3o7bobo$90bobo97bobo$3o88bo99bo$o$bo3$20bo$
19b2o181b3o$19bobo$194b3o$194bo$184bo10bo$10bo79bo93b2o4bo$9bobo77bobo
91bobo3bobo$9bobo77bobo97bobo$10bo79bo99bo8$146b2o$147b2o$93b3o50bo$
95bo$94bo!

Edit: All that's needed now to solve xs20_0cq1dqz321w123 is a synthesis for the initial constellation and a somewhat-nasty cleanup process...

The initial constellation seems to be 11G, or at least I don't see any good shortcuts below that:

Code: Select all

x = 247, y = 86, rule = LifeHistory
216.A.A$216.2A$217.A5$100.4B$96.A.9B$95.2BA9B$95.3A9BAB$96.5BABA3BABA
$95.7B2A3B2A$96.6BA7B96.A$97.13B95.A$97.12BDB78.A15.3A$97.3B.B2.4BDBD
77.A.A$105.2BDBD77.A.A$106.B2D78.2A$209.A$5.A202.A$6.A201.3A$4.3A2$2.
A5.A96.2A78.2A$A.A5.A.A93.A2.A76.A2.A$.2A5.2A95.A.A77.A.A$106.A79.A$
102.2A78.2A$101.A2.A76.A2.A$102.2A8.A69.2A$110.2A$92.2D17.2A59.2A$91.
D2BD76.A2.A$92.2D2B76.2A$92.3B2A16.2A7.2D78.2A$90.3B.BABA14.2A7.D2.D
76.A2.A$89.4B2.AB17.A7.AD78.2A$88.2A2B29.2A$87.ABAB27.D2.A.A74.A$88.B
A27.D.D77.A.A15.2A$117.D.D77.A.A15.A.A$118.D57.3A3.A15.A16.A$178.A3.
2A$177.A3.A.A39$245.2A$244.2A$246.A!

A few more Seeds of Destruction gliders should be able to manage the cleanup.

[iNoMed]

Not the first synthesis of this xs20, but here's a 13G synthesis of xs20_9f0ra9jzx121 from the first C1 soup...
Probably improvable to 12G though, I didn't put too much effort into synthesising the base constellation.

Yup, 12G is easy enough:

Code: Select all

snip

Edit: All that's needed now to solve xs20_0cq1dqz321w123 is a synthesis for the initial constellation and a somewhat-nasty cleanup process...

The initial constellation seems to be 11G, or at least I don't see any good shortcuts below that:

Code: Select all

snip

A few more Seeds of Destruction gliders should be able to manage the cleanup.

Here's a prototype cleanup for what seems to be at maximum 25G:

Code: Select all

x = 162, y = 92, rule = B3/S23
84bo$83bo$83b3o4$45bobo$45b2o$46bo5$120bo$121bo$119b3o$128b2o$128b2o2$
35bo88b2o$34bo88bo2bo$18bo15b3o87bobo$17bobo105bo$16bobo$16b2o113bo$
38bo90b3o$37bo90bo3b2o14bo$37b3o89bobo2bo12bo$128b2obobo13b3o$128bo2b
2o$14b2o114bo$13bo2bo112b2o$14bobo$15bo122bo$11b2o125bo$10bo2bo102bo
21bo$11b2o103bo$116bo$b2o139b3o$o2bo$b2o108b3o$31b2o80bo$30bo2bo78bo$
31b2o92bo$124bobob2o6b2o$27bo97b2ob2o5bo2bo$26bobo15b2o90b2o$26bobo15b
obo$5b3o3bo15bo16bo87b2o$7bo3b2o118bo2bo$6bo3bobo119b2o$155bo$155bo$
118b3o34bo$120bo20bo$119bo20b2o18b2o$140bobo16b2o$161bo32$74b2o$73b2o$
75bo!

Edit: Slightly less-garbage cleanup for a 1G reduction of xs20_64pbahe8zx121 (The initial mention of "xs20_0cq1dqz321w123" was a mistake on my part):

Code: Select all

x = 161, y = 172, rule = B3/S23
6bo$7bo$5b3o16$2bo$obo$b2o31$158bobo$158b2o$159bo9$118bobo$118b2o$119b
o11$108bo$107bo$91bo15b3o$90bobo$89bobo$89b2o$111bo$110bo$110b3o3$87b
2o$86bo2bo$87bobo$88bo$84b2o$83bo2bo$84b2o2$74b2o$73bo2bo$74b2o$104b2o
$103bo2bo$104b2o2$100bo$99bobo15b2o$99bobo15bobo$78b3o3bo15bo16bo$80bo
3b2o$79bo3bobo39$147b2o$146b2o$148bo15$26b3o$28bo$27bo2$153b3o$153bo$
154bo$20bo$20b2o$19bobo!

Also, your 12G xs20_9f0ra9jzx121 had rewindability issues so I rearranged things a little to fix it up:

Code: Select all

x = 285, y = 73, rule = B3/S23
222bo$223bo$221b3o33$187bo94b3o$185b2o$186b2o3$184b2o$2bo180b2o$bo183b
o$b3o83bo79bo99bo$76b3o7bobo67b3o7bobo87b3o7bobo$86bobo77bobo97bobo$3o
84bo79bo99bo$o$bo3$20bo$19b2o257b3o$19bobo$270b3o$90bo179bo$90bobo167b
o10bo$90b2o74bo93b2o4bo$165bobo91bobo3bobo$87b2o76bobo97bobo$87bobo76b
o99bo$87bo7$222b2o$223b2o$169b3o50bo$171bo$170bo!

[AGreason]

On the home stretch now. 37 unsolved, of which... 2 have soups.

Soupcounts

Code: Select all

xs20_0caajkczca23 - 1
xs20_6ao2t2kozw123 - 1

Implications (including things on the left side that are not xs20s iff they have soups)

Code: Select all

xs22_0ciabgz6aie121 (1 soup) implies xs20_1784k8gz359701
xs24_0oka9b8ozca24311 (1 soup) implies xs20_6ao2t2kozw123
xs24_69bo3t2kozx123 (1 soup) implies xs20_6ao2t2kozw123
xs20_8eh5q4gozw1243 (0 soups) implies xs20_9fg4q4gozw1243
xs20_0o8gkai3zc82641 (0 soups) implies xs20_0c48al96z64132
xs20_0c48al96z64132 (0 soups) implies xs20_0o8gkai3zc82641
xs20_31ekhjzw641023 (0 soups) implies xs20_c48c9jzw641346
xs20_9fg4q4gozw1243 (0 soups) implies xs20_8eh5q4gozw1243

[AGreason]

16 unsolved.

soupcounts:

Code: Select all

xs20_0caajkczca23 - 1

implications:

Code: Select all

xs22_0ciabgz6aie121 (1 soup) implies xs20_1784k8gz359701

mosaic:

Code: Select all

#CLL state-numbering golly
x = 69, y = 69, rule = B3/S23
b2o21bo16b2o21bo$bo2b2o16b3o16bobobo17bobo$2b2o2bo14bo3b2o16b2obo
15bobobo$4bobo14b3o2bo15bo3bo14bo2bo2bo$2b2obo18b2o15bobobo15bobob
2o$o2bo19bo16bo2b2o15b2o2bo$2o3bo15b3o16bobo19bobo$4b2o14bo20b2o
19b2o$20b2o12$2o22bo15b2o2bo15b2o2bobo$bo18b2obobo14bo2bobo14bo2bo
b2o$bob2o16bobo2bo15b2o2bo14bobo$2bo2bo15bo2b2obo16bobo15bob2obo$
4bobo15b2o2bo15b2obo18bob2o$4obo19bo15bobo20bo$o2bo18b3o16bo2bo18b
2o$bobo18bo19b2o$2bo12$2o18b2o2b2o16bo22b2o$o2b2o15bobo2bo16b3o15b
2o2bobo$b2o2bo16bobo15b2o3bo14bo2bo$3bo2bo14bobob3o13bo2bo16bob2ob
o$b2ob2o15bo2bo2bo13bobo18bo2b2o$2bobo17bobo17bob3o16bo$bo2bo18bo
20bo2bo12b3o$2b2o40bobo13bo$45bo12$4bo18bo18bo19bob2o$3bobo16bobo
16bobo18b2obo$b3o2bo15bo2bo14bo2bo16b2o4b2o$o3bobo13b2ob2obo13b2ob
2o15bo2b3o2bo$bobobo15bo3bo17bo17bobo3b2o$2b2o17bob2o15b2o2bo17bo$
4bo17bo17bo4bo$bobo16bobo18bo2b2o$b2o17b2o18b2o!

[Extrementhusiast]

And we're done.

[AGreason]

Elapsed time (from thread creation): 255 days
Elapsed time (from apg's first attempt to bulk-synthesize xs20): 660 days

[GUYTU6J]

Congratulations! Is there any hope to strike the hypothetical 20-in-19 target, i.e. find <1 glider per bit syntheses for some 13024 still lives? Or we had better do 19-in-18 and 18-in-17 first?

[wwei47]

Congratulations! Is there any hope to strike the hypothetical 20-in-19 target, i.e. find <1 glider per bit syntheses for some 13024 still lives? Or we had better do 19-in-18 and 18-in-17 first?

MathAndCode and calcyman already solved all of those.

[dvgrn]

MathAndCode and calcyman already solved all of those.

I'll agree with that statement as soon as RLE for all of the relevant RCT syntheses starts showing up in Catagolue.

[HartmutHolzwart]

only 3803 still lives to go for 19 in 18, a mere 639 for 18 in 17... Just a matter of time