20-bit still life syntheses

[AGreason]

I'm creating this thread solely so that there's a defined specific place on the forum for these, and this should not be interpreted as laying down any sort of mandate or deadline.

The current status can be seen at https://catagolue.appspot.com/census/b3 ... costs/xs20
At time of writing, including local diffs yet to be submitted to catagolue, 1025 strict 20-bit still lives remain unsynthesized.

EDIT: completed on March 12th, 2021

[calcyman]

It's worth remarking that xs20 is the last size such that Catagolue can store the full tabulation of synthesis costs within the per-entity limit of 1 MB (and this is with compression; without compression, the limit would have been xs19).

Consequently, if we were to attempt xs21 in the future, this will necessitate modifying the Catagolue source code to store object syntheses in a linked list of multiple tabulations when the per-entity limit is exceeded.

[dvgrn]

The current status can be seen at https://catagolue.appspot.com/census/b3 ... costs/xs20
At time of writing, including local diffs yet to be submitted to catagolue, 1025 strict 20-bit still lives remain unsynthesized.

Can you give a brief summary of what's known, if anything, about these remaining 2^10+1 still lifes? For example, it looks like most of them don't have any soups on record, but a few of them do.

The third one on the current Catagolue infinity list, xs20_0255q4oz697011, is clearly within reach of a soup-based synthesis if nothing nicer shows up:

Code: Select all

#C from the C1 soup, https://catagolue.appspot.com/hashsoup/C1/n_rppUPtecSn6Z20928865/b3s23
x = 28, y = 20, rule = B3/S23
10b2o$9bobo$9b2o2$12b2o$11b3o$11bo2bo$11b3o$12b2o2$7b2o$6bob2o$6bo3bo$
7b3o$3o5bo17b2o$26b2o$4bo13bo$4bo14b2o$4bo14bo$14b3obo!

(But really this one is just some kind of improbably messed-up teardrop, so probably it's much simpler to build than that.)

EDIT: One possible answer to my question above is this script from Discord, which finds N-bit still lifes that have soups on Catagolue:

Code: Select all

# https://discord.com/channels/357922255553953794/404518331605975040/721323981835206666

import operator
import subprocess

def run(command):
    process = subprocess.Popen(command.split(), stdout=subprocess.PIPE)
    output, error = process.communicate()
    return output, error

bitcount = 20

run(f"curl -o xs{bitcount}.txt https://catagolue.appspot.com/textcensus/b3s23/C1/xs{bitcount}")
run(f"curl -o xs{bitcount}-synth.txt https://catagolue.appspot.com/textcensus/b3s23/synthesis-costs/xs{bitcount}")

unsynthed = []
with open(f"xs{bitcount}-synth.txt") as Fin:
  for line in Fin.readlines():
    if not line[1:5] == f"xs{bitcount}":
      continue
    parts = line.split(',')
    code = parts[0].strip('"')
    cost = parts[1].strip().strip('"')
    if cost == '999999999999999999':
      unsynthed.append(code)

occurrences = []
with open(f"xs{bitcount}.txt") as Fin:
  for line in Fin.readlines():
    if not line[1:5] == f"xs{bitcount}":
      continue
    parts = line.split(',')
    code = parts[0].strip('"')
    if code in unsynthed:
      cost = int(parts[1].strip().strip('"'))
      occurrences.append((code, cost))

occurrences.sort(key=operator.itemgetter(1), reverse=True)
for object in occurrences:
  print("{} - {}".format(object[0], object[1]))

[Kazyan]

Can you give a brief summary of what's known, if anything, about these remaining 2^10+1 still lifes? For example, it looks like most of them don't have any soups on record, but a few of them do.

The current crop is what's left after some repeated hammering with transfer.py. Therefore, new components will be needed to make any of the remaining few, or at least a particularly clever sequence of known components. This is another way of saying "synthesizing these is hard", though.

From my observations, many still lifes belong to families, for which solving one still life solves all of the rest of them via known components. Usually, this takes the form of abomination-with-snake and abomination-with-carrier. I think it may be possible to use transfer.py to create an undirected graph of all unsolved xs20s, and then pick out the families that way, such that there are fewer cases to solve. A directed-graph version (i.e. counting still lifes as part of a family even if the connection is a one-way-only conversion) would be more general.

[bubblegum]

Two good LOM inserters and that's xs20_0628c93zc93146 done:

Code: Select all

x = 185, y = 43, rule = B3/S23
182bo$181bo$181b3o6$50bobo$51b2o82bo$51bo43bo40bo$56b2o36bobo37b3o34bo
$55b2o37bobo73bobo$50b2o5bo26bo10bo74bobo$49b2o33bo75bo10bo$51bo32bo
75bo$160bo2$124b3o42bo$123bo3bo40b2o$127bo39b2o$126bo24bo15bo$125bo24b
2o$149b2o$125bo23bo$6bo75bo$7b2o38b3o32bo75bo$o5b2o29bo33bo10bo75bo$b
2o33bobo31bobo74bo10bo$2o34bobo31bobo73bobo$6bo30bo33bo74bobo$5b2o140b
o34b3o$5bobo174bo$183bo7$135b3o$137bo$136bo!

[dvgrn]

Two good LOM inserters and that's xs20_0628c93zc93146 done...

Good LOM inserters will cost 3G each, and at that cost you might as well just use the 2G ones, for 16G total:

Code: Select all

x = 151, y = 45, rule = B3/S23
148bo$147bo$147b3o7$99bo$100bo37bobo$98b3o37b2o$139bo3$5bo49bo69bo$5bo
49bo69bo16bo$5bo49bo69bo7bobo5b2o$133b2o6bobo$134bo2$117bo13b2o$115bob
o13bobo$116b2o13bo2$114bo$105bobo6b2o$53bo52b2o5bobo7bo$53bo52bo16bo$
53bo69bo$bo8b2o$b2o6b2o$obo8bo97bo$109b2o37b3o$108bobo37bo$149bo7$99b
3o$101bo$100bo!

[AGreason]

Can you give a brief summary of what's known, if anything, about these remaining 2^10+1 still lifes? For example, it looks like most of them don't have any soups on record, but a few of them do.

215 of them have soups in C1, the full list sorted by soupcount is attached.

I think it may be possible to use transfer.py to create an undirected graph of all unsolved xs20s, and then pick out the families that way, such that there are fewer cases to solve. A directed-graph version (i.e. counting still lifes as part of a family even if the connection is a one-way-only conversion) would be more general.

Sure, I can do that (though I might not get around to it until the weekend)
That'd be best represented as, what, for each unsynthed xs20 a list of the other unsynthed xs20 for which a synthesis would be implied if the first one were solved? (Basically the adjacency-list representation of that directed graph)

Given that you could do clustering to pick out families, though I'm not sure if that would actually be more useful than just the above list, sorted by the number of implied synths.

[Kazyan]

Sure, I can do that (though I might not get around to it until the weekend)
That'd be best represented as, what, for each unsynthed xs20 a list of the other unsynthed xs20 for which a synthesis would be implied if the first one were solved? (Basically the adjacency-list representation of that directed graph)

Given that you could do clustering to pick out families, though I'm not sure if that would actually be more useful than just the above list, sorted by the number of implied synths.

The adjacency-list format will be sufficient.

[bubblegum]

Two good LOM inserters and that's xs20_0628c93zc93146 done...

Good LOM inserters will cost 3G each, and at that cost you might as well just use the 2G ones, for 16G total:

Code: Select all

x = 151, y = 45, rule = B3/S23
148bo$147bo$147b3o7$99bo$100bo37bobo$98b3o37b2o$139bo3$5bo49bo69bo$5bo
49bo69bo16bo$5bo49bo69bo7bobo5b2o$133b2o6bobo$134bo2$117bo13b2o$115bob
o13bobo$116b2o13bo2$114bo$105bobo6b2o$53bo52b2o5bobo7bo$53bo52bo16bo$
53bo69bo$bo8b2o$b2o6b2o$obo8bo97bo$109b2o37b3o$108bobo37bo$149bo7$99b
3o$101bo$100bo!

Oh thanks! I tried flash-synthesising the beehive and blinker together but I forgot about the one-at-a-time approach! (assuming this is already on Catagolue)

While we're on the topic of C2_1 SLs, here's xs20_0bt0g4cz32wbd in 17G via I believe the ninth C2_1 soup, probably reducible:

Code: Select all

x = 182, y = 85, rule = B3/S23
158bo$157bo$157b3o10$128bo$129b2o$128b2o3$135bo$135bobo$135b2o2$135bo$
135b2o$134bobo12$180bo$2bo176bo$obo38bo137b3o$b2o31bo4b2o28bo4b2o55bo
4b2o30b2o$34bo5b2o27bo4b2o55bo4b2o30bo7b2o$4b2o28bo34bo61bo37bo2b2o2b
2o$4bobo33b2o20bo11b2o60b2o30b2o3bo$4bo34b2o22b2o9b2o49b2o9b2o31bobo$
41bo20b2o61b2o40bo3b2o$34bo34bo61bo31b2o2b2o2bo$8b3o23bo27b2o5bo55b2o
4bo31b2o7bo$8bo25bo28b2o4bo55b2o4bo39b2o$9bo52bo96b3o$161bo$160bo12$
126bobo$126b2o$127bo2$126b2o$125bobo$127bo3$133b2o$132b2o$134bo10$103b
3o$105bo$104bo!

EDIT: xs20_31ek13z641346 in 28G, feel free to reduce it, especially the cleanup if possible:

Code: Select all

x = 509, y = 112, rule = B3/S23
238bo$236bobo$237b2o5$303bobo$304b2o$304bo33$39bo421bo$bo35bobo415b2o
3bo44bo$2bo35b2o2bo411bo2bo2b3o40bobo$3o38bo258b2o153b2o9bo37b2o$41b3o
30b2o68b2o154b2o163bo$4bobo67b2o68b2o159b2o158b3o$4b2o40b2o31b2o68b2o
153bo2bo198b2o$5bo39bo2bo29bo2bo66bo2bo146bo6b2o199bobo$39bo6b2o24bo6b
2o61bo6b2o146bobo162b2o19bo18b2o3bo$38bobo30bobo67bobo153bobo162b2o13b
2o3bo19b2o$38bobo30bobo67bobo154bo42bo108bo25bo2bo2b3o$39bo32bo69bo
193bo2b2o109bo15b2o4b2o3b2o13bo$337bo2b2o108bo15bo6bo17bo$12b2o90bo
230b3o129b3obo19b3o$11b2o92b2o195b3o141b3o19bob3o$13bo90b2o192b2o2bo
145bo17bo6bo15bo$299b2o2bo143bo13b2o3b2o4b2o15bo$298bo42bo113b3o2bo2bo
25bo$185bo154bobo93b2o19bo3b2o13b2o$184bobo153bobo89bo3b2o18bo19b2o$
184bobo146b2o6bo89bobo$112bo64b2o6bo146bo2bo96b2o$112b2o62bo2bo153b2o
137b3o$111bobo63b2o159b2o134bo$338b2o94b2o37bo9b2o$115b3o63b3o250bobo
40b3o2bo2bo$115bo67bo250bo44bo3b2o$116bo65bo2b2o291bo$185bobo$185bo31$
335bo$334b2o$334bobo5$401b2o$401bobo$401bo!

EDIT2: xs20_03h4e13z643146 (28G) but with an abysmal failure of a cleanup:

Code: Select all

x = 315, y = 112, rule = B3/S23
286bo$284b2o$285b2o2$229bo41bo$230bo41bo$228b3o39b3o$300bo$233b2o17bo
21bo23b2o$229bo3b2o18bo19bobo23b2o$230bo20b3o19bo2bo$228b3o32bo10b2o$
154bo109bo$155bo99b3o4b3o15bo$153b3o123bo$232b2o45b3o$227bo4b2o30b2o$
225bobo36b2o$151b3o72b2o$153bo$152bo4b2o$156b2o107bo$158bo105bobo$263b
o2bo4b3o$264b2o$2bo32b3o9bo117b3o86b2o2b2o9bo5bo$3bo32b3o8bobo116b3o
85bo2bobo9bo5bo$b3o3b2o38b2o207b2o11bo5bo$6b2o33bo215bo$8bo33b2o211bo
15b3o$b2o38b2o3b3o206b2o19b3o$obo43bo123b3o60bo19bobo2bo$2bo44bo123b3o
58bobo18b2o2b2o$232b2o2$180bo89b2o41bo$181b2o86bo2bo39bo$180b2o4bo45b
3o35b2o40b3o$185bo48bo$185b3o45bo13bo$247bo$237b2o8bo$236bo2bo3b2o24b
2o$183b3o51b2o3bo2bo3b3o16bo2bo$183bo59b2o23bo2bo$184bo62bo21b2o$247bo
$247bo2$253b3o$253bo$254bo3$286b2o$285bobo$286bo2$282bo8bo$281bobo6bob
o$280bo2bo6bobo$281b2o8bo$256b3o$258bo$257bo26b3o$286bo$285bo14$89b3o$
91bo$90bo27$134b3o$136bo$135bo!

EDIT3: Here's an impossible kickback mission: (xs20_c48c93zxc93123)

Code: Select all

x = 29, y = 33, rule = B3/S23
4bo$4b2o3bo$3bobo2b2o$8bobo4$24bo$23bo$23b3o2$bo$2bo$3o$18b2o$17b2o$9b
o9bo$10b2o$9b2o$26b3o$26bo$27bo2$3b3o$5bo$4bo4$18bobo$19b2o2bobo$19bo
3b2o$24bo!

[AGreason]

Some more transfer runs brings it down to 982 unsynthed - now under 1000. Only 52 left to get to as many unsynthed xs20 as there were unsynthed xs19 at the very start of the 19-in-anything project.

updated soupcount list attached

Working on Kazyan's xs20-implication-graph request, should have some version of that before monday


EDIT:

The adjacency-list format will be sufficient.

Such an adjacency list, derived from an exhaustive transfer search with intermediates of at most 23 bits, is attached

EDIT EDIT:
Kazyan got the top two clusters off the implication graph, down to 948 unsolved

[HartmutHolzwart]

These varaints of "SOS" are accessible?


595 xs20_bd0e970bd infinity
596 xs20_bd0ehe0db infinity
597 xs20_bd0ehe0mq infinity
598 xs20_bd0eis0qm infinity

[dvgrn]

I'd better try a few of the easy xs20s quick before they all disappear. Did I miss any obvious tricks for xs20_4aar4kmzx643, besides maybe a slightly more efficient cleanup? Fifth soup out of 35.

Code: Select all

x = 372, y = 65, rule = B3/S23
4bo209bo$3bo90bo118bo$3b3o89bo117b3o$93b3o$73b2o27bo$b2o69bo2bo25bo
109b2o140b2obo$obo69bobo26b3o106bobo141bob3o$2bo70bo138bo141bo4bo$238b
2o112b2ob2ob2o$237bo2bo112bobo$238b2o113bobo$17b2o68b2o138b2o125bo$17b
2o68b2o138b2o$240b3o$240bo$241bo3$10b2o68b2o138b2o$10b2o68b2o138b2o4$
370b2o$370b2o3$367b3o$369bo$368bo18$299b3o$299bo$300bo8$161b2o$160bobo
59b2o$162bo60b2o$222bo2$284b2o$283b2o$285bo!

[AGreason]

858 unsynthed, updated files attached (does not include things submitted to catagolue since the last thrice-daily refresh)

[Freywa]

These varaints of "SOS" are accessible?

595 xs20_bd0e970bd infinity
596 xs20_bd0ehe0db infinity
597 xs20_bd0ehe0mq infinity
598 xs20_bd0eis0qm infinity

Well 595 is easy enough:

Code: Select all

x = 158, y = 25, rule = B3/S23
149bo$149bobo$149b2o$145b2o$39bo104bo2bo$39bobo102bobo$39b2o3bo
100bo$43b2o35bo9b2o$43bobo32bobo8bo2bo56bob2o$38b2o39b2o9bobo10bob
o43b2obo$39b2o50bo12b2o6bo$38bo65bo6bo37b3o$76b3o32b3o35bo2bo$78bo
6bo64b3o$2bo39bo34bo6b2o12bo$obo38bobo40bobo10bobo9b2o38bob2o$b2o
38bo2bo52bo2bo8bobo37b2obo$5b3o34b2o54b2o9bo$5bo150bo$6bo148bobo$
154bo2bo$155b2o$151b2o$150bobo$152bo!

As is 597:

Code: Select all

x = 125, y = 25, rule = B3/S23
57bobo$57b2o$58bo4$111bo$111bo$53bo57bo10bo$53bobo61bo4bobo$48b3o
2b2o61bo5b2o$12bo35bo57bo9b3o$10b2o37bo56bo$11b2o93bo14b2o$120b2o$
3bo88bo29bo$2bo90b2o$2b3o87b2o14bo$48b3o57bo$96b3o9bo$2bo88b2o5bo$
obo87bobo4bo$b2o89bo10bo$43b3o57bo$103bo!

[Goldtiger997]

Fairly long and convoluted solution to xs20_g4s3ia4z11wbd:

Code: Select all

x = 1021, y = 46, rule = B3/S23
949bobo$950b2o$950bo2$967bo$105bo860bo$57bo45b2o861b3o$55b2o47b2o$56b
2o624bo$41bo53bo16bo567b2o275bobo$39bobo18bo35bo14bo569b2o34bo240b2o
19bo$40b2o7bo9bo34b3o14b3o604bo106bobo120bo9bo18b2o$50bo8b3o46bo582bo
24b3o106b2o119bobo29b2o$48b3o52bo3bo573b2o7bo75bo59bo120b2o$44b2o58b2o
b3o571bobo6b3o33bo39bobo$4bo38bobo57b2o576bo44bobo37b2o2b2o179bobo$5bo
39bo529bo145bo4b2o41b2o181b2o$3b3o3bo565bobo49bo92bobo48bo45bo49bo49bo
34bo14bo$7b2o54bo92b2o48b2o48b2o48b2o48b2o48b2o48b2o48b2o58b2o7b2o39b
2o8bo39b2o48b2o2b2o44bo49bobo5bobo39bobo47bobo47bobo$8b2o44b2o6bo39b2o
b2o8bo36b2obobo44b2obobo44b2obobo44b2obobo44b2obobo44b2obobo44b2obobo
44b2obobo54b2obobo44b2obobo8b3o33b2obobo44b2obobo6bobo35b2obobo44b2obo
bo6b2o36b2obobobo42b2obobobo42b2obobobo$53bobo6b3o38bob2o7b2o37bob2o
46bob2o46bob2o46bob2o33bo12bob2o46bob2o46bob2o46bob2o9bo46bob2o46bob2o
46bob2o46bob2o7b2o37bob2o46bob2o8bo37bob2o2bo43bob2o2bo43bob2o2bo$3bo
49bo49bo10bobo36bo49bo9bobo2bo34bo49bo37b2o10bo49bo49bo49bo12bobo44bo
49bo49bo49bo11bo37bo49bo49bo5b2o42bo5b2o26b3o13bo5b2o42bo$b3o47b3o47b
3ob2o44b3ob2o44b3ob2o6b2o3bobo30b3ob2o44b3ob2o33b2o9b3ob2o44b3ob2o44b
3ob2o44b3ob2o9b2o43b3ob2o44b3ob2o5b2o37b3ob2o44b3ob2o44b3ob2o44b3ob2o
9b3o32b3ob2o44b3ob2o32bo11b3ob2o44b3o$o3b2o44bo3b2o44bo3bobo43bo3bobo
43bo3bobo7bo3b2o30bo3bobo43bo3bobo43bo3bobo43bo3bobo43bo3bobo43bo3bobo
13bo39bo3bobo43bo3bobo4bobo5bo30bo3bobo4b2o37bo3bobo4b2o37bo3bobo43bo
3bobo9bo33bo3bobo43bo3bobo2b2o27bo11bo3bobo2b2o39bo3b2o$bo2bobo44bo2bo
bo44bo2bo46bo2bo6bo39bo2bo18bo27bo2bo46bo2bo46bo2bo46bo2bo46bo2bo46bo
2bo15bobo38bo2bo10bo35bo2bo5bo8bobo29bo2bo5bobo38bo2bo5bobo3bobo32bo2b
o46bo2bo12bo33bo2bo7bo38bo2bo4bobo39bo2bo4b2o40bo2bo$2bobobo45bobobo
45bobo47bobo6bobo38bobo17b2o28bobo47bobo47bobo47bobo5bo41bob2o46bob2o
14b2o40bob2o8b2o36bob2o3bo9b2o31bob2o3bo42bob2o3bo6b2o34bobobo45bobobo
45bobobo4b2o39bobobo3bo41bobobo45bobobo$b2ob2o45b2ob2o45b2ob2o45b2ob2o
5b2o38b2ob2o16bobo26b2ob2o45b2ob2o45b2ob2o45b2ob2o4bobo38b2obo46b2o58b
2o3bob2o4bobo34b2o3bobo7b2o33b2o3bobo42b2o3bobo8bo33b2o2b2o44b2o2b2o
44b2o2b2o4bobo37b2o2b2o44b2o2b2o44b2o2b2o$204bo49bo49bo49bo47bobo5b2o
40bobo47bo10bo48bo3b2obo11bo30bo3b2o7b2o35bo3b2o44bo3b2o44bo49bo49bo
49bo49bo13b2o34bo$204bobo47bobo44b2obo46b2obo46bo2bo46bo2bob2o43bo9b2o
48bo18b2o29bo15bo33bo49bo49bo49bo49bo49bo13bo35bo10b2o2bobo32bo$163b3o
39b2o48bobo42bobob2o45b2ob2o42bobo3b2o42bobo3bo2bo4bo35bobo11b2o44bobo
19bobo25bobo47bobo47bobo11b2o34bobo47bobo47bobo47bobo13b2o32bobo12b2ob
o31bobo$63b2o98bo92bo7bo36bo96b2o48b2o5b2o5bobo33b2o8bo49b2o48b2o48b2o
48b2o12bobo33b2o48b2o17b2o29b2o48b2o7bo6bobo31b2o12bo28b3o4b2o$63bobo
98bo97b2o143b3o2b3o47b2o43b2o213bo104bobo87b2o62b3o19bo$63bo199b2o83bo
bo56bo4bo94bobo203b3o111bo88bobo62bo20bo$151b2o143bo52b2o57bo4bo45b3o
54b3o49b2o145bo230b2o34bo$150bobo6b3o82b2o50b2o51bo109bo43b2o11bo52b2o
6b2o135bo12b2o216bobo62b2o$152bo6bo53b2o28bobo15b2o32bobo6bo155bo43b2o
11bo50bo7b2o131b3o15bobo217bo63b2o6b2o$144b2o14bo51b2o31bo14b2o41b2o
44b3o151bo68b3o3bo132bo15bo282bo7b2o$145b2o67bo47bo40bobo45bo222bo135b
o303b3o3bo$144bo205bo222bo442bo$207b3o54b2o749bo$152bo56bo53b2o$152b2o
54bo56bo$151bobo$209b3o$209bo$210bo!

[Entity Valkyrie 2]

Cross-posting an xs20 synthesis:

xs20_0255q4oz259611 synthesis (previously no synthesis):

Code: Select all

x = 1688, y = 401, rule = B3/S23
1167bo$1168b2o$1167b2o6$1608bo$1608bobo$1608b2o7$1182bobo$1183b2o$
1183bo$1194bo$1192bobo$1193b2o387bo$1580b2o$1581b2o9bo$1592bobo$1592b
2o11$1552bo$1550b2o$1551b2o2$1202bobo$1203b2o316bo$1203bo315b2o$1520b
2o2$1161bo$1162b2o$1161b2o2$1178bobo$1179b2o$1179bo34$1186bo$1187b2o$
1186b2o87bo$1273bobo$1274b2o7$1510bo$1509bo$1509b3o81$952bobo$952b2o$
953bo$948bobo$949b2o80b2o$949bo80bo2bo$1031b2o2$4bo1347b2o$5b2o78b2o
79b2o79b2o67bo11b2o79b2o79b2o79b2o79b2o79b2o79b2o79b2o79b2o79b2o292bo
2bo$4b2o78bo2bo77bo2bo77bo2bo64b2o11bo2bo77bo2bo77bo2bo77bo2bo77bo2bo
77bo2bo77bo2bo77bo2bo77bo2bo77bo2bo292b2o$84bo2bo2b2o73bo2bo2b2o73bo2b
o2b2o61b2o10bo2bo2b2o73bo2bo2b2o73bo2bo2b2o73bo2bo2b2o73bo2bo2b2o73bo
2bo2b2o73bo2bo2b2o73bo2bo2b2o73bo2bo2b2o73bo2bo2b2o$7b2o76b2o3b2o74b2o
3b2o74b2o3b2o56bobo15b2o3b2o74b2o3b2o74b2o3b2o74b2o3b2o74b2o3b2o74b2o
3b2o74b2o3b2o74b2o3b2o74b2o3b2o74b2o3b2o$b2o5b2o301b2o1065b2o$obo4bo
138bo164bo1065bo2bo$2bo144b2o1228bo2bo2b2o$146b2o79bo80bo80bo80bo80bo
80bo80bo80bo80bo80bo80bo340b2o3b2o$150bobo73bobo78bobo78bobo4b3o71bobo
4b3o71bobo4b3o71bobo4b3o71bobo4b3o71bobo4b3o71bobo4b3o71bobo4b3o71bobo
4b3o$150b2o74bobo78bobo78bobo78bobo78bobo78bobo78bobo78bobo78bobo78bob
o78bobo$151bo75bo58bobo19bo66bo13bo66bo13bo66bo13bo66bo13bo66bo13bo66b
o13bo66bo13bo66bo13bo66bo13bo$287b2o86bo80bo80bo80bo80bo80bo80bo80bo
80bo334bo$287bo87bo80bo80bo80bo80bo80bo80bo80bo80bo333bobo4b3o$230b2o
79b2o79b2o79b2o79b2o79b2o79b2o79b2o79b2o79b2o79b2o315bobo$154bo75b2o
57b2o20b2o79b2o79b2o79b2o79b2o79b2o79b2o79b2o79b2o79b2o302bo13bo$153b
2o135b2o1052bo$153bobo133bo1054bo$492bo868b2o$487b2o3bobo866b2o$488b2o
2b2o75b2o12b3o64b2o12b3o64b2o12b3o64b2o12b3o64b2o12b3o64b2o12b3o64b2o
12b3o$487bo81b2o79b2o79b2o79b2o79b2o79b2o79b2o$581bo5bo74bo5bo74bo5bo
74bo5bo74bo5bo74bo5bo74bo5bo$394b2o79b2o79b2o23bo5bo49b2o23bo5bo49b2o
23bo5bo49b2o23bo5bo49b2o23bo5bo49b2o23bo5bo49b2o23bo5bo$394b2o79b2o79b
2o23bo5bo49b2o23bo5bo49b2o23bo5bo49b2o23bo5bo49b2o23bo5bo49b2o23bo5bo
49b2o23bo5bo302b2o12b3o288bo$1376b2o302bobo3bo$385b2o79b2o79b2o34b3o
42b2o34b3o42b2o34b3o42b2o34b3o42b2o34b3o42b2o34b3o42b2o34b3o316bo5bo
284bo2bo2bobo$385b2o79b2o79b2o79b2o79b2o79b2o79b2o79b2o79b2o328b2o23bo
5bo285b2o3bobo$734bo80bo80bo80bo80bo304b2o23bo5bo287b3obo$302b2o10b3o
416bobo78bobo78bobo78bobo78bobo622bo2bo$301bobo6bo3bo418bobo78bobo78bo
bo78bobo78bobo294b2o34b3o290b2o$303bo6b2o3bo418bo80bo80bo80bo80bo295b
2o$309bobo193b3o232b3o78b3o69bo8b3o69bo8b3o69bo8b3o312bo$505bo387bo80b
o80bo322bobo$506bo386bo80bo80bo322bobo$1379bo$808b2o566bo8b3o$807bobo
566bo$809bo520bo45bo$811b3o231b2o284b2o$811bo233b2o283b2o$812bo2$960b
2o404b2o$649b2o308bobo404b2o$650b2o309bo$649bo$652b2o309bo$652bobo301b
2o4b2o82b2o$652bo304b2o3bobo81b2o$956bo2$1367b2o$1367b2o3$1340b2o$
1341b2o$1340bo$636b2o$637b2o$636bo723b3o$690b2o668bo$689b2o670bo$633bo
57bo642b3o$633b2o701bo$632bobo700bo16$1333b2o$1334b2o$1333bo35$1451bo$
1450b2o$1450bobo89$1218b2o$1219b2o$1218bo!

[GUYTU6J]

Random soup-based synth:

Code: Select all

x = 198, y = 265, rule = B3/S23
20b2o36bo36b2o51b2o$16bo3bobo35bobo33bo2bo49bo2bo10bo$14bobo3bo37b2o
31bo3b2o50bobo10bo$15b2o35bo38b2o55bo11b3o$50bobo37bobo14b2o$51b2o54b
2o$17bo125b3o11b2o$16b2o127bo11b2o$16bobo85bo39bo$104bo46b2o$66b2o36bo
45bo2bo$66b2o80bo2bo2bo$4bobo140bob2ob2obo$5b2o141bo2bo2bo$5bo57bo32bo
52bo2bo$63bo32bo53b2o$63bo32bo61bo$6b2o136b2o11bo$2bo3bobo135b2o11b3o$
obo3bo85b2o$b2o52bo36b2o14bobo$55bo52b2o30b3o11bo$55bo48b2o3bo32bo10bo
bo$103bo2bo34bo10bo2bo$104b2o47b2o$51b2o$51b2o5$66b2o$66bobo$66bo$59b
2o$58bobo$60bo24$10bo37b2ob2o$11b2o36bobo$10b2o36bo2bo2bo$49b2ob3o$2bo
11bo36bo$3bo8b2o37bob2o$b3o9b2o37bobo$8bo$8bobo$8b2o2$41bo$40bobo$10b
2o28bo2bo$10bobo28b2o$bo8bo$b2o43b2o$obo43bobo$46bo$7bo$6b2o$6bobo29$
16bo$17b2o$16b2o3$27bo$25b2o$26b2o2$19bo$20b2o$19b2o36bo$55b2o$56b2o5$
40bobo$40b2o$41bo5$13bo11b2o4b2o$14b2o9bobo2bobo$13b2o12b4o12b2o$25bob
o2bobo9b2o$25b2o4b2o11bo5$16bo$16b2o$15bobo5$2o$b2o$o36b2o$36b2o$38bo
2$30b2o$31b2o$30bo3$40b2o$39b2o$41bo26$bo6bobo53bo41bo$2bo5b2o53bo43bo
$3o6bo53b3o39b3o2$109b2o$4b2o91bo11b2o$3b2o93bo$5bo90b3o$60b3o$60bo$
49bobo9bo38b3o$50b2o$50bo2$110b2obo$36bo72bob2obo$37bo53bo16bo5bo$35b
3o54bo15b2ob3o$57bo32b3o16bobo$47b3o7bo50bo2bo$49bo7bo5b2o29b2o13b2o$
48bo13bo2bo28b2o$63b2o$38b3o$40bo$39bo25$15bo27bo51bo47bo39bo$15bobo
26b2o49bo48b2o38b2o$15b2o26b2o50bo47b2o38b2o$91b2o57bo39bo$o46bo42bobo
55b2o38b2o$b2o44b2o43bo56b2o3bo34b2o3bo$2o44bobo5bo41bo56bo39bo$41bo
11bobo39bobo4b2o40bo8b3o28bo8b3o$41b2o10b2o39bobo6bo41b2o38b2o$2bobo2b
obo30bobo17bobo32bo6bo41b2o38b2o$3b2o2b2o39b2o10b2o40b2o37b2o12b2o24b
2o12b2o$3bo4bo38bobo11bo38b2o2bo35bobo12bobo22bobo12bobo$48bo5bobo42bo
3bo38bo6b2o4bo26bo6b2o4bo$54b2o42bo2b2o47bo39bo$55bo43b2o48bo39bo$100b
o6bo41b2o38b2o$58b2o39bo6bobo38b2o2bo35b2o2bo$57b2o40b2o4bobo38bo3bo
35bo3bo$59bo46bo38bo2b2o35bo2b2o$110bo35b2o38b2o$110bobo34bo39bo$110b
2o34bo38bo$107bo38b2o37b2o$107bo$107bo!

EDIT:some more

Code: Select all

x = 385, y = 134, rule = B3/S23
obo67bo52bo2b2ob2o29bo2b2ob2o23bo2b2ob2o24bo2b2ob2o37bo35bo32bo31bo$b
2o68b2o25bo23bobo2bob2o28bobo2bob2o22bobo2bob2o23bobo2bob2o36bobo33bob
o30bobo29bobo$bo68b2o25bo25bo3bo32bo3bo26bo3bo27bo3bo35b2obobo30b2obob
o27b2obobo26b2obobo$97b3o24b4o33b4o27b4o28b4o35b2obo32b2obo29b2obo28b
2obo$74b2o190bo2bo32bo2bo29bo2bo28bo2bo$74b2o17b2o31b2o26bo8b2o27b4o
28b4o38b4o32b4o29b4o28b4o$92bo2bo30b2o27bo6bobo27bo2bo27bo4bo$17bo75b
2o58b3o7bo29b2o28b2o2b2o39b2o25bo8b2o29b4o28b4o$15bobo62bo2b2ob2o180b
2o26bo6bobo29bo2bo27bo4bo$16b2o61bobo2bob2o34b2o4bo28bo76b2o58b3o7bo
31b2o28b2o2b2o$73b3o4bo3bo38b2o2b2o28b2o36b2o37bobo$81b4o37bo4bobo26bo
bo35b2o38bo29b2o4bo27bo78b2o$71bo124bo26b2o5b2o33b2o2b2o27b2o38b2o37bo
bo$71bo11b2o106bo31bobo4bobo31bo4bobo25bobo37b2o38bo$38bo32bo11b2o40b
3o63b2o30bo6bo108bo26b2o5b2o$37bo89bo62bobo141bo31bobo4bobo$15b2o20b3o
33b3o50bo94bo45b3o64b2o30bo6bo$16b2o203b2o46bo63bobo$15bo6bo197bobo2b
3o40bo95bo$20bobo48b3o151bo138b2o$21b2o50bo152bo136bobo2b3o$29bo42bo
295bo$28bo340bo$8b3o17b3o$10bo$9bo7$33bo$32b2o$32bobo$14bo$14b2o$13bob
o11b3o$27bo$28bo31$14bo37b2o92bo31b2o30bobo37bo109bo$14bobo35bobo90bo
31bo2bo30b2o38b2o108b2o$14b2o37b2o3bo86b3o30b2obo29bo7bobo28b2o108b2o$
57bobo120bobo36b2o150bo$9bo46bo2bo25bobo92bobo31bobo3bo143bo5bobo2bo$
10b2o45b2o27b2o89b2ob2o33b2o146bobo4bob4o$9b2o75bo89bo2bo35bo147bobo5b
o8bo$177bobo184bo8bo5bobo$178bo190b4obo4bobo$10b2o357bo2bobo5bo$11b2o
200b2o158bo$2o8bo201bo2bo167b2o$b2o210b2obo165b2o$o214bobo166bo$172b2o
41bobo$50b2o72bo47b2o38b2ob2o$51b2o2b2o66bo87bo2bo$50bo4bobo65b3o86bob
o$55bo115b2o40bo$122bo47bobo112bo$40b3o68bo11bo48bo3bo106b2o$42bo69bo
8b3o51bobo106b2o$41bo68b3o62bobo$128bo47bo$126b2o$127b2o2$303bo$301b2o
$111bo190b2o$112bo193b2o$110b3o6b2o159bo25bobo$119bobo156bobo25bo$120b
2o3bo153b2o$124bobo156b2o$123bo2bo157b2o$124b2o157bo3$112b2o$111bobo7b
o$113bo6bobo$120bobo178b2o$121bo180b2o$301bo$125b2o$124bo2bo$125b2o2$
121bo$120bobo$120bobo$121bo9$335b2o$334b2o$336bo!

Code: Select all

x = 279, y = 279, rule = B3/S23
34bo37bo$32b2o39b2o$33b2o37b2o$60bo$61b2o$60b2o15b2o$77b2o$65bo$65bo$
65bo$68b2o3b2o$67bo2bo3bo$37bo30b2o4bob2o$36bo36b2o2bo$36b3o33bo3bo$
13bo57bo2b2o$14bo56b2obo4b2o$12b3o59bo3bo2bo$28bobo43b2o3b2o$28b2o53bo
$29bo4bo48bo$32b2o49bo$13bo19b2o35b2o$13bo56b2o15b2o$13bo22bo49b2o$35b
2o51bo$9b3o3b3o17bobo37b2o$74b2o$13bo62bo$13bo$13bo8$bobo22b2o$2b2o21b
2o$2bo24bo2$4b2o17b2o$5b2o17b2o$4bo4bo13bo$9b2o$8bobo$24b3o$24bo$25bo$
3o$2bo$bo10$4b2o$5b2o$4bo56$6bo34bobo46bo50b3o$4bobo34b2o48bo$5b2o29bo
5bo46b3o54bo$35bobo7bo100bobo$35bobo6b2o100b2o$4b2o30bo7bobo45bobo44b
2o$4bobo81b3o2b2o44b2o$4bo26b2o7b2o48bo2bo$30bo2bo5bo2bo46bo$3o28b2o7b
2o$2bo129b2o$bo34bo96bo7b3o$35bobo95bob2o$35bobo94b2obo$31b2o3bo95bo3b
o$31b2o100bob2o$132b2obo$125b3o7bo$86b2o47b2o$82bo3b2o$81bobo$81bobo$
82bo45b2o$128b2o$77b2o7b2o33b2o$76bo2bo5bo2bo31bobo$77b2o7b2o34bo2$82b
o42b3o$81bobo$81bobo$77b2o3bo$77b2o10$75bo$71bo2bo$70b2o2b3o$70bobo3$
73b3o$73bo$74bo60$41bo48b2o59b2o66bo53bo$41bobo45bo2bo57bo2bo64bo54bo$
41b2o38b2o7b2o50b2o7b2o65b3o52bo$80bo2bo57bo2bo$81b2o59b2o124b2o$71bo
196b2o$72bo$70b3o$271b2o$77bo192bo2bo$77b2o132b2o57bo2bo$76bobo3bo127b
o2bo46bo2bob2o4b2o$81b2o54b2o63b2o7b2o39bo7b5obo9b2o$81bobo52bo2bo61bo
2bo45bobo23bobo$137b2o3b2o58b2o10bo36b2o9bob5o7bo$141bo2bo68b2o41b2o4b
2obo2bo$142b2o69bobo39bo2bo$255bo2bo$256b2o$87b2o$87bobo$87bo171b2o$
197b2o60b2o$196bo2bo$197b2o3b2o51bo$201bo2bo50bo$202b2o51bo$12bo127b2o
$10bobo127bobo$11b2o127bo$133b2o$15b3o114bobo$15bo118bo50bobo$16bo104b
2o63b2o$120bobo63bo10b2o$122bo73bo2bo$136b2o50b2o7b2o$136bobo48bo2bo$
136bo51b2o8$180b3o$182bo$181bo!

This one is incomplete; I can't find an R recipe that fits.

Code: Select all

x = 90, y = 32, rule = B3/S23
22bobo$22b2o$23bo12bo$35bo$35b3o2$o$b2o29bo$2o29bo$31b3o$6b2o$5bo2bo$
6b2o$80bo$36b2o42bobo$35bo2bo41b3o$36b2o$10b3o59b2o$12bo29b2o21b2o4b5o
$11bo29b2o22bobo2bo4bo4b2o$43bo20bo2bo2bo3b2o4bobo$65b2o4bobo6b3o$6b3o
56bo7bo6bo7bo$8bo62b3o6bobo4b2o$7bo12bo50bobo4b2o3bo2bo2bo$20b2o50b2o
4bo4bo2bobo$19bobo56b5o4b2o$80b2o2$71b3o$71bobo$73bo!
#C [[ STOP 22 ]]

EDIT on 23rd:

Code: Select all

x = 539, y = 61, rule = B3/S23
240bo56bo57bo49bo62bobo37bo$241bo48bo7bo50bo5bobo41bo5bobo60b2o36bobo
28bo$239b3o49bo4b3o51b2o3b2o43b2o3b2o62bo3bo33b2o27bo$6bo93bo44bobo
141b3o57b2o48b2o71b2o62b3o$7b2o61b2o29b2o43b2o152bo64bo49bo56bobo$6b2o
62bobo27b2o44bo152bobo49bo12bo36bo12bo110bo8bo$71b2o227b2o48bo13b3o33b
o13b3o32bobo73bo6b2o$66bo37b2o37bo152bo9b2o42b3o47b3o47b2o73bo7b2o$65b
obo7bo28b2o5b2ob2o28b2o149bobo9bo142bo3bo$59b3o2bo2bo7bo36bob2o27b2o
151b2o7bo148b2o65b3o3b3o5b2o$61bo3b2o8bo36bo187b2o3b2o146bobo79bobo$
60bo10bo38bob4o134bo49bo2b2o2bo63b2o48b2o89bo12bo9bo$71bo37bobo3bo134b
obo48b2o3b2o62b2o48b2o90bo12bo$20bo50bo37bo2bo131bobo3b2o50bo7b2o60bo
49bo79bo9bo12bo$19b2o89b2o133b2o53bo9bobo187bobo$15bo3bobo145bo39bo37b
o54b2o9bo43b2o48b2o94b2o5b3o3b3o$o14b2o149bobo37bobo42bobo52b2o48bo49b
o$b2o11bobo35b3o110bo2bo36bo2bo42b2o53bobo45bo49bo98b2o7bo$2o52bo111b
2ob2o35b2ob2o41bo54bo41b2o3b2o43b2o3b2o98b2o6bo$53bo115bo39bo106b3o30b
o2b2o2bo42bo2b2o2bo96bo8bo$169bo39bo99b3o4bo33b2o3b2o43b2o3b2o$167bob
2o35b2ob2o48bo49bo7bo33bo49bo97b3o$157bo8bobo36bo2bo50bobo48bo38bo50bo
100bo27b2o$158b2o6bobo37bobo40b2o2bobo3b2o88b2o49b2o98bo28bobo$157b2o
8bo39bo40bobo2b2o274bo$5bo244bo3bo$5b2o19b2o$4bobo18b2o$27bo3$162bo$
162b2o$161bobo2bobo$166b2o36b3o$167bo81bo3bo$141b2o59bo5bo40b2o2bobo$
142b2o58bo5bo34b2o3bobo2b2o$141bo60bo5bo33bobo$244bo$204b3o2$251bo$
201b3o47b2o$203bo46bobo$202bo55bo$257b2o$252b2o3bobo$251bobo$253bo9$
262b3o$262bo$263bo!

[GUYTU6J]

Bump — there are 802 to go now. Is there a suitable block recipe for this partial synthesis? (The substrate is easy enough to be done.)

Code: Select all

x = 56, y = 22, rule = B3/S23
8bo43bo$9b2o40bo$8b2o41b3o3$49b2o$49bobo$15bo27b2obo4bo$15bobo25bob6o$
15b2o$44b3o2b2o$43bo2bo2b2o$8b2o7b3o23b3o$3b2obo2bo7bo23b2o10b3o$3bob
4o9bo21bo2bo9bo$41b2o11bo$4b3o$3bo2bo$3b3o$b2o$o2bo$b2o!
#C [[ PASTET 26 PASTE 2o$2o! 9 16 ]]

[Extrementhusiast]

Bump — there are 802 to go now. Is there a suitable block recipe for this partial synthesis? (The substrate is easy enough to be done.)

Code: Select all

RLE

An entry in the component catalog sidesteps this:

Code: Select all

x = 20, y = 19, rule = B3/S23
16bo$14b2o$15b2o5$8b2o$3b2obo2bo4bobo$3bob4o5b2o$15bo$4b3o$3bo2bo10bo$
3b3o11bobo$b2o14b2o$o2bo$b2o13bo$15b2o$15bobo!

(However, I'm not surprised you didn't find it, as it is a real mess! I really need to clean it up sometime.)

[GUYTU6J]

An entry in the component catalog sidesteps this:
...
(However, I'm not surprised you didn't find it, as it is a real mess! I really need to clean it up sometime.)

I've attempted to arrange these components in my User:GUYTU6J/Project_Wöhler. It's pretty crude and tiny but that is the first step. What do you think of it?

[bubblegum]

boink
Reaction by goldenratio:

Code: Select all

x = 242, y = 75, rule = B3/S23
39bo$37b2o82bo104bo12bo$38b2o40bo40bo103bo13bobo$80bo40bo103b3o11b2o$
37bo42bo141b2o12b2o$38bo78b3o3b3o95bo2bo11b2o$36b3o37b3o3b3o136bobo$
121bo100bo$80bo40bo$80bo40bo$80bo$221b2ob2o$114b2o106bobobo$46bo26b2o
12bo26b2o12bo93bo4bo$45bobo25b2o11bobo38bobo93b3obo$31b2o12bobo38bobo
38bobo95bob2o8bo$32b2o12bo40bo40bo93bobo12bobo$31bo190b2o13b2o$2bobo
229b2o$2b2o112bo117b2o$3bo113bo$115b3o$3o108b3o$o45bo40bo25bo14bo$bo
43bobo38bobo23bo14bobo$45bobo38bobo38bobo$46bo40bo40bo$5b2o222b3o$4b2o
67bo$6bo64bobo160bo$72b2o40b2o118bobo$69b2o43b2o115bo2b2o$68bobo159bob
o$70bo159b2o39$172b3o$172bo$173bo!

[goldenratio]

Some unpalatable reactions which I didn't bother completing and should only be used in last resort situations (cleanup not included, Catagolue's new reaction time limit (1000 instead of 200) makes these possible):

Code: Select all

x = 45, y = 55, rule = B3/S23
9$20b3o5$33bo$33bo$33bo2$27b2o$26b3o4$26b2o$25bob2o$24bo2bo$23bo$24bo$
25b2o6$36bo$36bo$36bo2$29bo2b3o3b3o$29bo$29bo6bo$36bo$36bo2$25bo$25bo$
25bo6b2o$18bo13b2o$17bobob3o3b3o$18bo$25bo$25bo$25bo!

Code: Select all

x = 136, y = 57, rule = B3/S23
14$101b3o$101bobo$99b2o2bo$99bo4b3o$99b3o$102bo5b3o$102bobo6bo$102b3o$
31bo75b2o3bo$32bo76b2obo$30b3o80bo$60bo2bobobo2bobobo35b2ob2o$55bo53bo
bo$25b2o33bo2bo3bo2bo3bo12b3o19b3o$25b2o9bo16bobobo34b2o16bo3bo$36bo
23bo2bo3bo2bo3bo19bo16bobo$36bo18bo35bo9bo$60bo2bo3bo2bo3bo17b2o5b2ob
2o16bo$32b3o3b3o58b2ob2o15b2o$60bo2bobobo2bobobo25bobo16bobo$36bo62bo
4bo$36bo62bob2obo$36bo62bo4bo$101bobo$99bobob2o$98b3ob3o3bo$42b2o54bo
2bo3bo4bo$42b2o51b2o5bo2bo5bo$95b2obo4bo17bo$37b2o52b3ob4o4b2o4b2o10bo
$30b3o4b2o60bo3b2o16bo$99b2obo2bo2bo$105bob2o$105bo2bo$106b2o$114b2o$
114b2o!

Code: Select all

x = 48, y = 41, rule = B3/S23
8$30bo$29b5o$28b2obo3bo$27b2o2bo4bo$28b2o2bo3bo$34b3o$19bo$18bobo$18bo
2bo7b2o$19b2o8b2o$29bo4$29b2o$17b2o9b2o$17b2o10bo$22b2o$22b2o2$12b2o$
12b2o!

Code: Select all

x = 55, y = 48, rule = B3/S23
11$36bo$35bob2o$35bobo$36bo3$42bo$42bo$42bo4$18b2o$17bo2bo$18b2o3b2o6b
3o$22bo2bo$13b2o8b2o$13b2o3$14bo$14bo$14bo2$24b3o2$14bo$13bobo$13b2o!

Code: Select all

x = 55, y = 46, rule = B3/S23
9$16bo$15bobo$15bobo$16bo6$42b2o$42b2o7$19b2o$18bo2bo20bo$18bobo13b2o
6bo$19bo13bo2bo5bo$33bobo$34bo2$40b2o$39bobo$39bo2bo$8b2o30b2o$8bobo
30bo$9bo!

Code: Select all

x = 31, y = 29, rule = B3/S23
9$15b2o$14b2obo$15bobo$15b2o3$18b2o$18bobo$20b2o$18bobo$18b2o$15bo$14b
obo$13bo2bo$14b2o5b2o$21b2o!

All of these only have one or two soups, so I don't think any other soup based method will be possible with these particular stills.

[dvgrn]

I will never use Seeds of Destruction and will always find junk cleanups by hand

Just a small side note, in case you haven't tried out the program yet: Seeds of Destruction is a way of finding junk cleanups by hand, in contrast to an automatic-search approach like using gencols.

It just lets you try options visually, hundreds of times faster than drawing gliders or moving them around and re-running. You see the results of your experiments instantly, so with a little practice you can see where to focus a cleanup search and you're less likely to miss good options.

So if you toss one of your "unpalatable reactions" into Seeds of Destruction, for example, you can find out pretty quick whether a messy explosion has a weak point and can be discouraged with just a glider or two at the right place:

Code: Select all

x = 78, y = 56, rule = LifeHistory
75.A.A$75.2A$76.A21$59.A.A$59.2A$60.A2$41.A$40.A.2A$40.A.A$
41.A3$47.A$47.A$47.A4$23.2A$22.A2.A$23.2A3.2A6.3A$27.A2.A$
18.2A8.2A$18.2A3$19.A$19.A$19.A$2A$.2A26.3A$A$19.A$18.A.A$
18.2A!

[Extrementhusiast]

An entry in the component catalog sidesteps this:
...
(However, I'm not surprised you didn't find it, as it is a real mess! I really need to clean it up sometime.)

I've attempted to arrange these components in my User:GUYTU6J/Project_Wöhler. It's pretty crude and tiny but that is the first step. What do you think of it?

Not a bad start, although I don't think the distinction of crossing the surface of induction is one that needs to be made explicitly; listing the surface-crossing instances after the surface-avoiding instances of the same cost would likely be good enough, as certain surface-crossing instances can be cheaper, faster, and/or smaller than their surface-avoiding counterparts (if they even exist).

I had gotten the idea of sorting by initial shape from pentadecathlon.com (which should be up on archive.org if it isn't currently active), although I fear that many new components won't name easily or fit neatly into one of these categories. This has caused me to examine other methods of organization, and, as a result, I have been realizing that this is far more complicated than I had previously imagined. Here is a list of various items, equivalencies, and similarities (some of which may be overkill) that could be associated with even an individual instance of a component:

• The individual or preferred instance of the component, perhaps with any other aliases (dubious, but e.g. house to house w/tub could perhaps be sorted under hook instead of induction coil, so list them both)
• Perhaps one or more "base reactions" that satisfy the component/correspond to this instance ("oh, this is just a bookend; there's no need for this reaction to take seven gliders")
• Different instances of the same component (e.g. standalone block-to-boat vs. a different standalone block-to-boat)
• Same conversion requiring a specialized component (e.g. standalone block-to-boat vs. block-on-block-to-boat-on-block from long side)
• Same collision, same rotor, different bushing (3G bun-to-bookend vs. 3G reverse)
• Same collision, same initial rotor, different bushing causes or suppresses additional rotor (bun-to-bookend vs. xs13_178n96-to-eleven-loop)
• Same collision, completely different component (reaction uses different part of collision, or initial interaction is completely different)
  • Likely not both this and base reactions separately

I make some of these distinctions so that situations like these wouldn't have to happen (original post):

Back around 2000 or so, I devised a complicated 34-glider shillelagh to very-long-hat converter, specifically for the purpose of eliminating two of the last remaining difficult 17-bit pseudo-still-lifes (bottom three rows). This has subsequently been used in the syntheses of many of the difficult 15- through 17-bit still-lifes. I was just going through some of my converter files, and found one from 2011 that does the same thing in only 10 gliders (top row). I'm mystified as to why I never noticed that this would improve the above-mentioned pseudo-still-lifes (from which all the other variations were cut and pasted) but this should vastly improve several of the objects synthesized in the past year. This also improves two related 15-bit still-lifes (see subsequent section), two 16s, nine 17s, and one 19:

Code: Select all

RLE

Upon closer examination, this also appears to be equivalant than the unzip-to-tail converter, of which I found 3 similar variations all costing 11 gliders (bottom row), so this is slightly cheaper. This likely affects quite a few objects, but I haven't had the time to find them all yet:

Code: Select all

RLE

Unfortunately, this can't be used with #189, #190, nor #191, because the required predecessors wouldn't be stable.

This converter gives us 15.410 from 19 gliders, 15.390 (which is derived from it) from 28, and, ironically, if we use this method a second time (as unzip-to-tail) during the final stage of 15.390, and wiggle the cleanup glider, we get #390 from 36 gliders:

Code: Select all

x = 212, y = 139, rule = B3/S23
152bo$153bo$151b3o$$107bo46bobo$107bobo17boo18boo5boo11boo18boo18boo$
103b3oboo17bobbo16bobbo5bo10bobbo16bobbo16bobbo$105bo20bobo17bobo9b3o
5boboo16boboo16boboo$104bo22bo19bo10bo8bo19bo19bo$159bo5bobo17bobo17bo
bo$154bo10boo18boo18boo$153bo$153b3o9boo18boo$141bo4b3o16boo18boo$141b
oo5bo$140bobo4bo35boo$182bobo$184bo13$184bo$182boo$179bo3boo$180boo$
179boo$67boo18boo18boo18boo18boo18boo18boo18boo$66bobbo16bobbo16bobbo
16bobbo16bobbo16bobbo16bobbo13boobobbo$66boboo16boboo9bobo4boboo11bo4b
oboo11bo4boboo11bo4boboo11bo4boboo14boboboo$67bo19bo12boo5bo12bobo4bo
12bobo4bo12bobo4bo12bobo4bo16bobbo$54bo5bo4bobo17bobo12bo4bobo13boobbo
bo13boobbobo13boobbobo13boobbobo17bobo$55boobobo4boo18boo18boo18boo18b
oo18boo18boo19bo$54boo3boo20boo18boo18boo18boo18boo18boo$82bo19bo19bo
19bo17bobo11boo4bobo$56bo22b3o17b3o17b3o17b3o19bo13boo4bo$56boo21bo19b
o19bo15bo3bo34bo$49b3o3bobo78boo41boo$51bo83boo41bobo$50bo129bo13$128b
oo$124boobbobo$123bobobbo$125bo$110bo$111bo$109b3o8$167boo18boo18boo$
127boo38bo19bo19bo$123boobobbo35boobbo15boobbo15boobbo$124boboboo34bob
oboo14boboboo14boboboo$124bobbo36bobbo16bobbo16bobbo$125bobo37bobo17bo
bo17bobo$126bo39bo19bo19bo$143boo$142boo$105boo37bo$104bobo51b3o17b3o$
106bo67b3o$176bo$175bo$109boo$108bobo$110bo$130bo$129boo$129bobo$108b
oo$107bobo$109bo13$bbo$obo$boo130bo$131bobo$132boo$6bobo$bbo3boo73bobo
50bobo$3boobbo73boo51boo$bboo78bo52bo$7bo121bobo12bo$6bo16boo18boo5bo
12boo18boo45boo12bobo$6b3o15bo19bo3boo14bo4bo14bo4bo15bo3bo20bo4bo3bo
4boo$24bobo17bobobboo13bobobobo13bobobobo13bobobobo23bobobobo$25boo18b
oo18booboo15booboo15booboo25booboo$129bo16boo23bo19bo19bo$127bobo16bob
o20b3o17b3o17b3o$7boo18boo18boo18boo18boo18boo14b3obboo7boo7bo21bo19bo
19bo$3boobobbo13boobobbo13boobobbo13boobobbo13boobobbo13boobobbo15bo7b
oobobbo25boobbo15boobbo15boobbo$4boboboo14boboboo14boboboo14boboboo14b
oboboo14boboboo14bo9boboboo24boboboo14boboboo14boboboo$4bobbo16bobbo
16bobbo16bobbo16bobbo16bobbo26bobbo26bobbo16bobbo16bobbo$5bobo17bobo
17bobo17bobo17bobo17bobo27bobo27bobo17bobo17bobo$6bo19bo19bo19bo19bo
19bo20b3o6bo29bo19bo19bo$129bo$128bo$131boo$130boo26b3o17b3o$132bo41b
3o$126b3o47bo$128bo46bo$127bo!

[Kazyan]

Tail to at-claw, or something. Applies to some related still lifes. I forgot to drink a mug of Brain Juice this morning; there's probably a version at 1/3 the cost.

Code: Select all

x = 63, y = 61, rule = B3/S23
bo$2bo$3o5$44bobo$44b2o5bobo$45bo5b2o$52bo4$60bobo$60b2o$61bo2$51bobo$
51b2o$52bo2$18bobo$19b2o$19bo22bobo$42b2o$3bo39bo$4b2o12bo32bo$3b2o14b
2o28b2o$18b2o30b2o$27bo$16bo11b2o$10bo5b2o9b2o3bo$8bobo4bobo14bobo$9b
2o21b2o$27bo$25bobo$26b2o5$25b2o$26bo$4bo21bob2o$4b2o21bo2bo$3bobo19bo
bobo$24bobobo$10b3o11bo2bo15b2o$3b2o7bo12b2o16bobo$2bobo6bo31bo$4bo6$
6b2o$5bobo48b2o$7bo47b2o$57bo!