22-bit still life syntheses

[May13]

Solved xs22_0kq23qicz12453:

Code: Select all

x = 330, y = 79, rule = B3/S23
133bo$133bobo$133b2o3$87bo$85bobo45bobo$86b2o45b2o$134bo3$125bo$124bo$
124b3o3$2bo46bo187bo$obo21bobo22bobo53bo14bo115bo8bobo$b2o22b2o22b2o
55bo11b2o116b3o6b2o$25bo78b3o12b2o125bo$11bo28bo135bobo63bo$9bobo15bob
o10bobo133b2o12bo40bo9bo$10b2o15b2o11b2o81bobo51bo10b2o39bobo9b3o$3bo
18bo5bo19bo74b2o64b2o34bo4b2o$4b2o17bo22b2o76bo48bo52bo$3b2o16b3o23b2o
122bobo13bo36b3o$26bo145b2o6bobo2b2o$26bobo152b2o3b2o125bo$26b2o153bo
132b2o$167b2o66bo9b2o66b2o$168b2o65b3o6b2o40b2o38b2o$167bo10b2o58bo7bo
38bo2bo36bo2bo$12b2o24b2o61b2o2b2o2b2o60b2o2b2o2bo51b2o2b2o2bo45b2o2bo
35b2o2bo$13b2o8bo4bo8b2o62bo2bo2bo2bo60bo2bo2b2o52bo2bo2b2o44b2o2b2o
22b3o9b2o2b2o$12bo9bobo2bobo9bo62bobo2bobo62bobo2bo54bobo2bo40bo5bo2bo
25bo8bobo2bo$23bo4bo74bo4bo64bo4bo54bo4bo37bobo4bo4bo23bo10bo4bo$24b4o
76b4o66b4o56b4o39b2o5b4o36b4o$25bo79bo69bo59bo49bo28b2o9bo$23bo79bo69b
o49b3o7bo43b2o4bo31b2o6bo$23b2o78b2o68b2o50bo7b2o42bobo3b2o29bo8b2o$
224bo52bo4$126b2o$125b2o$127bo192b3o$322bo$321bo10$117bo$116b2o$116bob
o$110b3o$112bo$111bo3$107b3o$109bo$108bo$90b2o$89bobo$91bo5$127b2o$
127bobo$127bo!

15 still lifes left:

Code: Select all

x = 56, y = 34, rule = B3/S23
5b2o10b2o6b2o13bo10bo$b2o3bo10bo8bo12bobo8bobo$bo2bo9b2obo8bob2o7bo2bo
bo6bobobo$2bob2o7bo2bo8b2o2bo7b2obobo6bo2bo2bo$3bo2bo7bo13bo10bobo8bob
ob2o$3o2bo7b2obo8b3ob3o7bo9b2o2bo$o2b2o10bobo6bo2bo3bo5b2obo7bo2bobo$
2bo10b2o2bo7bobo8bobo2bo6b2o2bo$b2o9bo2b2o9bo10bo2b2o$12b2o3$3bo15b2o
4b2o9b2o12b2o$2bobo15bo3bo2bo8bobo5bo3bo2b3o$bo2b3o7b2ob3o5b2o2b2o7bo
3b3o3b2o4bo$bobo3bo5bobobo9b2obo7b2obo8b2obobo$2bobobo6bo13bo14bo7bo3b
o$4b2o6b2obobo11b4o5b2ob2o8b3o$3bo10bob2o9bobo2bo6bobo7bobo$b3o10bo11b
obo10bobo7b2o$o12b2o12bo12bo$2o3$2b2o12b2o9b2ob2o4b2o2b2o10bo$bobo12bo
9bobobo6bo2bo10bobo$bo2b2o7b2obo7bo2bo3bo4bo4bo9bo2bo$2o4bo5bo2bob2o5b
2obob3o4b2o2b2o7b2ob2o$4b3o6bo3bo8bobo19bo2bo$3bo8b2obobo8bo2bo6b5obo
5bo2bo$obobo7bo2b2o10b2o7bo2bob2o6b2ob2o$2o2bo9bo35bo2bo$4b2o7b2o35bob
o$51bo!

[confocaloid]

Partials for conversion from xs18_0j9m4h3z23w11 to xs22_06agc9jz39d221, likely solvable:

Code: Select all

x = 433, y = 76, rule = B3/S23
8b2o19b2o18b2o17b2o19b2o18b2o18b2o18b2o18b2o18b2o18b2o18b2o18b2o18b2o
18b2o18b2o18b2o18b2o18b2o18b2o18b2o18b2o$4b2o3bo15b2o3bo14b2o3bo13b2o
3bo15b2o3bo14b2o3bo14b2o3bo14b2o3bo14b2o3bo14b2o3bo14b2o3bo14b2o3bo14b
2o3bo14b2o3bo14b2o3bo14b2o3bo14b2o3bo14b2o3bo14b2o3bo14b2o3bo14b2o3bo
14b2o3bo$4bo2bo17bo2bo16bo2bo15bo2bo17bo2bo16bo2bo16bo2bo16bo2bo16bo2b
o16bo2bo16bo2bo16bo2bo16bo2bo16bo2bo16bo2bo16bo2bo16bo2bo16bo2bo16bo2b
o16bo2bo16bo2bo16bo2bo$5bob2o17bob2o16bob2o15bob2o17bob2o16bob2o16bob
2o16bob2o16bob2o16bob2o16bob2o16bob2o16bob2o16bob2o16bob2o16bob2o16bob
2o16bob2o16bob2o16bob2o16bob2o16bob2o$6bo2bo17bo2bo16bo2bo5bo9bo2bo17b
o2bo5bo10bo2bo16bo2bo16bo2bo16bo2bo16bo2bo16bo2bo16bo2bo16bo2bo16bo2bo
16bo2bo16bo2bo16bo2bo16bo2bo16bo2bo16bo2bo16bo2bo16bo2bo$3b3o2b2o14b3o
2b2o13b3o2b2o4bo7b3o2b2o14b3o2b2o4bo8b3o2b2o13b3o2b2o13b3o2b2o13b3o2b
2o13b3o2b2o13b3o2b2o13b3o2b2o13b3o2b2o13b3o2b2o13b3o2b2o13b3o2b2o13b3o
2b2o13b3o2b2o13b3o2b2o13b3o2b2o13b3o2b2o13b3o2b2o$3bo20bo19bo10b3o5bo
20bo10b3o6bo19bo19bo19bo19bo19bo19bo19bo19bo19bo19bo19bo19bo19bo19bo
19bo19bo$12bo19b2o37bo40bo20bo18bo20b2o18b2o18b2o17bo19bo20bo19bo18bo
19bo19bo19bo19bo19bo19bo$5b2o4b2o13bo2bo2bo13b2o3b3o12bo6bo14bo2b3o8bo
4b2o3bo4bo9bobo3b2o7bo4b2o3bo14bobo3bo8bo4bobo3bo13bobo3bo13b2o3bo14b
2o3bo9bo4bobo3b2o12bobo3b2o7bo4b2o3bo14b2o3bo14b2o3bo14b2o3bo14b2o3bo
14b2o3bo9bo4b2o3bo$b2obo2bo2b2o11b5obo2bo10b4ob2o2bo10bo2b2o2b2o10b3ob
3o15bo2bo4bo3b2o4b2o3b2o2bo12bo2bo4bo9b2o3b2o2bo12bo2b2o2bo11bo3b2o2bo
12bo2bo4bo10b2o2bo4bo11bo2b2o2bo11bo3b2o2bo11bo3bo4bo9bo4bo4bo10b2o2bo
4bo9b2o3bo4bo9bobo2bo4bo10bo3bo4bo14bo4bo$5bo2bo14bob2obo2b2o11b3obo
12b2ob2o3bo16bo5bo11b2obo2b2o12b3o4bo11bob2o3bo13b3o4bo11bob2o4bo10bob
3o4bo10b2ob2o3bo11bo2b2o3bo12bob2o4bo10bob3o4bo12b3o3bo12b4o3bo11bo2b
2o3bo13b3o3bo12bob2o3bo11bob3o3bo12b4o3bo$2bo5b2o21bo14bo18bo16bo3bobo
20bo17bo22bo16bo19bo19bo22bo19bo16bo19bo22bo14bo4bo19bo19bo19bo19bo19b
o$3b4o61b2o37bo39bobo76bo2bo15bo3bo56bo2bo19bo16bo2bo17bobo16bo2bo17bo
bo15bo3bo2$3bo6$9b2o18b2o18b2o18b2o$5b2o3bo14b2o3bo14b2o3bo14b2o3bo$5b
o2bo16bo2bo16bo2bo16bo2bo$6bob2o16bob2o16bob2o16bob2o$7bo2bo16bo2bo16b
o2bo16bo2bo$4b3o2b2o13b3o2b2o13b3o2b2o13b3o2b2o$4bo19bo8bo10bo19bo$13b
o39bo$6b2o3b2o13b2o3b2o14b2o2bobo13bo3bo$3b4ob2o2bo10b4ob2o2bo10b2o2bo
6bo8b2o2bobo2b2o$3bobo2bo14bob2obo13bo2b2o4bo11bo3bo4bo$6bo20bo21b2o$
7bo38bo3bo16b2o$65b2o$65bo6$9b2o18b2o18b2o18b2o18b2o$5b2o3bo14b2o3bo
14b2o3bo14b2o3bo14b2o3bo$5bo2bo16bo2bo16bo2bo16bo2bo16bo2bo$6bob2o16bo
b2o16bob2o16bob2o16bob2o$7bo2bo6bo9bo2bo16bo2bo16bo2bo16bo2bo$4b3o2b2o
3bo9b3o2b2o13b3o2b2o4bo8b3o2b2o13b3o2b2o$4bo10bo8bo19bo10bo8bo19bo$13b
o39bo20bo$10b2obo13bobo5bo14b2obo13bo4bo14bo3bo$3b2o2b4o6bo5b2o2bo5bo
9b2o2b4o12b2o2bobo2b2o9b2o2bobo2b2o$3b2o2bo15b2o2bo2b3obo8b2o2bo15b2o
2bo4bo10b2o2bo4bo$7b2o20bo17b2o$27b2o38b2o18b2o$5bobo17b2o18bobo17b2o
18b2o$25bo39bo19bo6$9b2o18b2o18b2o18b2o18b2o18b2o18b2o18b2o$5b2o3bo14b
2o3bo14b2o3bo14b2o3bo14b2o3bo14b2o3bo14b2o3bo14b2o3bo$5bo2bo16bo2bo16b
o2bo16bo2bo16bo2bo16bo2bo16bo2bo16bo2bo$6bob2o16bob2o16bob2o16bob2o16b
ob2o16bob2o16bob2o16bob2o$7bo2bo16bo2bo16bo2bo16bo2bo16bo2bo16bo2bo16b
o2bo16bo2bo$4b3o2b2o13b3o2b2o13b3o2b2o13b3o2b2o13b3o2b2o13b3o2b2o13b3o
2b2o13b3o2b2o$4bo8b2o9bo19bo8b2o9bo8b2o9bo19bo8b2o9bo8b2o9bo8bo2bo$13b
o20bo18bo18bo19b2o19bo19bo19b3o$6b2ob2o18bob2o13bo20b2o3b2o13b2o3bo13b
2ob2o15b2ob2o15b2o$bobobobobo2bo11b2ob4ob2o7b2o3b3o3bo7b2o5bo15b2o2bo
5b2o11bob2o2bo12bobobo2bo12bobo2b2o$ob2obo5b2o12b2o14bo7bobobo7bo2b2ob
o2bo13b3o2bo13bo7b2o9bo2bobo3b2o11bo5bo$2bo20b2o3b3o2bobo9bo2bo2bo11b
2o5bobo8bobo6b2obo6bob2obo17b2o2bo16bo5bo$bobo2b2o35bobo3bo3bo10bo5bo
14b2o5bo8bo4b2o36bo5bo$b2o2b2o17bobobo14bo6bo10b2o3bo20bo12bo25b2o$2b
2o23bo23bo90b2o$bo25bo21bo92bo!

[Goldtiger997]

Partials for conversion from xs18_0j9m4h3z23w11 to xs22_06agc9jz39d221, likely solvable:

Completed, following your partial in the bottom right:

Code: Select all

x = 122, y = 28, rule = B3/S23
109bobo$94bo14b2o$95bo14bo$obo90b3o$b2o$bo100bo$64bo36bo$62bobo36b3o9b
o$2o4bo56b2o48bobo$b2o3bobo81bobo20b2o$o5b2o57bo25b2o$65bobo23bo$65b2o
54bo$119b2o$50bo49bo19b2o$5b3o41bobo47bobo$5bo44bobo47bobo5bo$6bo45bo
13b2o34bo4bobo$52bobo11bobo33bobo2b2o$53b2o11bo36b2o2$bo49bo49bo$b3o2b
2o43b3o2b2o43b3o2b2o$4bo2bo46bo2bo46bo2bo$3bob2o46bob2o46bob2o$2bo2bo
46bo2bo46bo2bo10b2o$2b2o3bo44b2o3bo44b2o3bo8bobo$6b2o48b2o48b2o8bo!

[confocaloid]

Partials for conversion from xs18_0j9m4h3z23w11 to xs22_06agc9jz39d221, likely solvable:

Completed, following your partial in the bottom right:

Code: Select all

x = 122, y = 28, rule = B3/S23
109bobo$94bo14b2o$95bo14bo$obo90b3o$b2o$bo100bo$64bo36bo$62bobo36b3o9b
o$2o4bo56b2o48bobo$b2o3bobo81bobo20b2o$o5b2o57bo25b2o$65bobo23bo$65b2o
54bo$119b2o$50bo49bo19b2o$5b3o41bobo47bobo$5bo44bobo47bobo5bo$6bo45bo
13b2o34bo4bobo$52bobo11bobo33bobo2b2o$53b2o11bo36b2o2$bo49bo49bo$b3o2b
2o43b3o2b2o43b3o2b2o$4bo2bo46bo2bo46bo2bo$3bob2o46bob2o46bob2o$2bo2bo
46bo2bo46bo2bo10b2o$2b2o3bo44b2o3bo44b2o3bo8bobo$6b2o48b2o48b2o8bo!

I managed to arrive at the following (from another partial, at the bottom-left), which may or may not lead to a worse solution:

Code: Select all

x = 53, y = 38, rule = B3/S23
obo$b2o$bo16b2o$14b2o3bo$14bo2bo$15bob2o$16bo2bo$13b3o2b2o$13bo8b2o$
22bobo$9b2o4b2ob2o5bo$9bobo2bobobo2bo4bo$11bo3bo4b2o5bo$11b2o15bo$29bo
$30bo$31bo$32bo$33bo$34bo$35bo$36bo$10bo26bo$9bobo26bo$9b2o20bo7bo$30b
2o8bo$17bo12bobo8bo$16b3o23bo$16bo26bo$44bo$45bo$46bo$47bo$48bo$49bo$
50bo$51bo$52bo!

[May13]

Synthesis of xs22_c8idj8bdzw1221 from readsynth page:

Code: Select all

x = 0, y = 0, rule = B3/S23
bo$2bo$3o6$96bo$97b2o$96b2o2$22bo$23bo$21b3o15bo$39bobo$33bo5b2o$18bo
12b2o68bo16bo$17bo14b2o68bo13b2o$17b3o23bo56b3o14b2o$42bo61bobo$14bobo
25b3o59b2o$15b2o88bo$10b2o3bo20bobo$11b2o12bo10b2o$10bo15bo10bo$24b3o
2$21b2o10b2o74b2o$21bo11bobo72bobo$22bo10bo74bo$21b2o83b2o2bo$20bo2b2o
bo78bo2b2obo$20bobo2b2o78bobo2b2o8b2o$21bobo82bobo10b2o$23bob2o81bob2o
9bo$23b2obo81b2obo!

Edit: solved xs22_0c8idicz4a61ac:

Code: Select all

x = 96, y = 27, rule = B3/S23
41bobo$42b2o$42bo2$bobo33bo$2b2o34b2o3bo$2bo34b2o4b2o$13bo28bobo8bo39b
o$12bobo37bobo37bobo$11bobobo35bobobo34bo2bobo$11bobobo35bobobo34b2obo
bo$12bobo37bobo37bobo$10bobo37bobo39bo$9bobobo35bobobo36b2obo$2o7bobo
2bo33bo2bo2bo34bobo2bo$b2o7bo2b2o34b2o2b2o34b2o2b2o$o79b3o3bo$82bo2b2o
$39b2o40bo3bobo$4b2o32bobo$3bobo34bo$5bo2$7bo3bo$6b2o3bobo28b3o$6bobo
2b2o31bo$43bo!

12 still lifes left:

Code: Select all

x = 44, y = 34, rule = B3/S23
5b2o6b2o12bo11bo$5bo8bo11bobo9bobo$2b2obo8bob2o7bobobo7bo2b3o$bo2bo8b
2o2bo7bo2bo2bo5bobo3bo$2bo13bo9bobob2o6bobobo$b2obo8b3ob3o5b2o2bo10b2o
$3bobo6bo2bo3bo4bo2bobo9bo$b2o2bo7bobo8b2o2bo8b3o$o2b2o9bo21bo$2o34b2o
3$7b2o4b2o9b2o12b2o$8bo3bo2bo8bobo5bo3bo2b3o$2b2ob3o5b2o2b2o7bo3b3o3b
2o4bo$bobobo9b2obo7b2obo8b2obobo$bo13bo14bo7bo3bo$2obobo11b4o5b2ob2o8b
3o$2bob2o9bobo2bo6bobo7bobo$2bo11bobo10bobo7b2o$b2o12bo12bo4$2b2o12b2o
6b2o2b2o10bo$bobo12bo8bo2bo10bobo$bo2b2o7b2obo7bo4bo9bo2bo$2o4bo5bo2bo
b2o5b2o2b2o7b2ob2o$4b3o6bo3bo18bo2bo$3bo8b2obobo6b5obo5bo2bo$obobo7bo
2b2o7bo2bob2o6b2ob2o$2o2bo9bo23bo2bo$4b2o7b2o23bobo$39bo!

Edit 2: my program solved xs22_0ci9m4k8zok4611:

Code: Select all

x = 364, y = 55, rule = B3/S23
362bo$361bo$361b3o$335bo$179bo156bo$179bobo152b3o$179b2o2$361bobo$329b
o31b2o$327bobo32bo$171bobo3bo150b2o$171b2o3bo$156bo15bo3b3o$157bo$155b
3o12bo$19bobo146bobo$19b2o148b2o$12bo7bo$10bobo$11b2o66bo35bo$6bobo68b
2o34b2o156bo$7b2o8bo60b2o34b2o153bobo$7bo8bo253b2o$16b3o48bo$68bo$66b
3o5b2o191b3o4b2o69bo$14b2o59bo90b2o57b2ob2o39bo4bobob2o64bobob2o$13bob
o7b2o50bob2o4b2o25b2o3bob2o4b2o41bobo4b2o36b2o3bo9bobo4b2o33bo7bobo4b
2o59bobobo4b2o$10bo4bo6bo2bo37b3o10bobo3bo2bo23bobo3b2obo3bo2bo38bobob
o3bo2bo34bobo4b2o5bobobo3bo2bo39b2obo3bo2bo59b2obo3bo2bo$8bobo8b2o2bo
2bo38bo3b3o7b2o2bo2bo24bo7b2o2bo2bo37b2o3b2o2bo2bo35bo3b2o6b2o3b2o2bo
2bo42b2o2bo2bo43bo18b2o2bo2bo$9b2o8bob2ob2o38bo6bo9b2ob2o35b2ob2o45b2o
b2o55b2ob2o45b2ob2o45b2o18b2ob2o$17bobobo2bo45bo10bo2bo36bo2bo46bo2bo
56bo2bo46bo2bo45b2o19bo2bo$17b2o3bobo57bobo27b3o7bobo47bobo40b2o15bobo
47bobo67bobo$bo21bo59bo28bo10bo49bo42b2o15bo49bo69bo$b2o110bo101bo115b
2o$obo329b2o$331bo4$18b3o$18bo306bo$19bo305b2o$324bobo$15b2o9b2o$16b2o
8bobo$15bo10bo5$323b2o$322bobo$324bo!

[vilc]

Solved xs22_8e13kkoz6421e8:

Code: Select all

x = 153, y = 48, rule = B3/S23
94bo$80bobo9b2o$81b2o10b2o$81bo2$87bobo$87b2o$88bo44bobo$134b2o$134bo
3$140b2o$139bo2bo$3b2o55bo79bobo$2bobo3bo52bo79bo$2bobob3o50b3o$2o3bo
12bo56b2o$o5b3o9bobo35bo17bobo3bo$b3o4bo9b2o37bo16bobob3o60b2o$3bo51b
3o14b2o3bo11b2o5b3o41bobo3bo$72bo5b3o7bo2bo4bo43bobob3o$73b3o4bo7bo2bo
5bo40b2o3bo$19b2o54bo13b2o47bo5bo$6b3o4bo4b2o119b3o3bo$8bo3b2o6bo58b2o
60bo2b2o$7bo4bobo63bo2bo$78bo2bo$79b2o$91b2o$90b2o$61b3o28bo$63bo$62bo
$66bo$66b2o83bo$65bobo23b2o57bobo$90b2o58bobo$92bo58bo$148bo$72b3o73b
2o$74bo15b3o54bobo$73bo16bo$91bo2$81b2o$82b2o$81bo!

Edit :

Edit 2: my program solved xs22_0ci9m4k8zok4611:

Code: Select all

x = 364, y = 55, rule = B3/S23
362bo$361bo$361b3o$335bo$179bo156bo$179bobo152b3o$179b2o2$361bobo$329b
o31b2o$327bobo32bo$171bobo3bo150b2o$171b2o3bo$156bo15bo3b3o$157bo$155b
3o12bo$19bobo146bobo$19b2o148b2o$12bo7bo$10bobo$11b2o66bo35bo$6bobo68b
2o34b2o156bo$7b2o8bo60b2o34b2o153bobo$7bo8bo253b2o$16b3o48bo$68bo$66b
3o5b2o191b3o4b2o69bo$14b2o59bo90b2o57b2ob2o39bo4bobob2o64bobob2o$13bob
o7b2o50bob2o4b2o25b2o3bob2o4b2o41bobo4b2o36b2o3bo9bobo4b2o33bo7bobo4b
2o59bobobo4b2o$10bo4bo6bo2bo37b3o10bobo3bo2bo23bobo3b2obo3bo2bo38bobob
o3bo2bo34bobo4b2o5bobobo3bo2bo39b2obo3bo2bo59b2obo3bo2bo$8bobo8b2o2bo
2bo38bo3b3o7b2o2bo2bo24bo7b2o2bo2bo37b2o3b2o2bo2bo35bo3b2o6b2o3b2o2bo
2bo42b2o2bo2bo43bo18b2o2bo2bo$9b2o8bob2ob2o38bo6bo9b2ob2o35b2ob2o45b2o
b2o55b2ob2o45b2ob2o45b2o18b2ob2o$17bobobo2bo45bo10bo2bo36bo2bo46bo2bo
56bo2bo46bo2bo45b2o19bo2bo$17b2o3bobo57bobo27b3o7bobo47bobo40b2o15bobo
47bobo67bobo$bo21bo59bo28bo10bo49bo42b2o15bo49bo69bo$b2o110bo101bo115b
2o$obo329b2o$331bo4$18b3o$18bo306bo$19bo305b2o$324bobo$15b2o9b2o$16b2o
8bobo$15bo10bo5$323b2o$322bobo$324bo!

For some reason, this synthesis didn't show up on Catagolue after the update. The log says that each component is valid, but none of the involved still-lifes appears on the list of updated objects.

[May13]

Solved xs22_dbwbdz3113123:

Code: Select all

x = 72, y = 41, rule = B3/S23
8bo$9bo17bo6bo$7b3o16bo5b2o$26b3o4b2o$13bo$14b2o48bo$13b2o50b2o$7bo56b
2o$obo2bobo$b2o3b2o60bo$bo61bo3bo$61bobo3b3o$62b2o2$26bo39bo$24b3o32b
2o3b3o$23bo36bo2bo6bo$24bo34bo4bo4b2o$19b2o2b2o34b2o2b2o4bobo$19bo$8bo
11b4obo33b5obo$9bo12bob2o33bo2bob2o$7b3o$3b2o$4b2o$3bo3$4b2o$3bobo$5bo
8$2b3o$4bo$3bo!

Edit: solved xs22_0o4c0c453z19e123:

Code: Select all

x = 155, y = 35, rule = B3/S23
89bo$90b2o60bobo$89b2o61b2o$84bo68bo$5bobo77b2o14bo$6b2o38bo37b2o14bo$
6bo40b2o51b3o$12bo33b2o$12bobo$12b2o35bo$49bobo$49b2o47bo$b2o38b2o10bo
27b2o14bo33b2o5b2o$2bo10bobo26bo10bobo26bo4b2o8b3o32bo6bo$2bob2o7b2o
27bob2o2bo4b2o27bob2o2bo43bob2obo$2obob3o6bo25b2obob4o31b2obob3o42b2ob
obob2o$bo6bo32bo39bo49bo5bo$bobob3o33bobob4o32bobob3o43bobobobo11b2o$
2b2obo8b2o26b2obo2bo4b2o27b2obo2bo43b2ob2o12bobo$15b2o36bobo31b2o60bo$
14bo38bo$49b2o$49bobo$5b2o42bo55bo$4bobo97b2o$6bo39b2o56bobo44bo$47b2o
88b3o10b2o$46bo92bo10bobo$94b3o41bo$94bo$95bo2$150b2o$149b2o$151bo!

[vilc]

Solved xs22_g88m9a4z12eha6:

Code: Select all

x = 242, y = 31, rule = B3/S23
237bo$237bobo$237b2o$109bo$18bo88b2o$16b2o90b2o62bo$4b2o11b2o38b2o35b
2o22bo41b2o9bo49b2o$3bo2bo49bo2bo33bo2bo20bo41bo2bo8b3o46bo2bo$3bo2b3o
47bo2b3o31bo2b3o18b3o39bo2b3o55bo2b3o4bo$b2ob2o3bo44b2ob2o3bo28b2ob2o
3bo57b2ob2o3bo52b2ob2o3bo2bobo$o2bo2b3o44bo2bo2b4o27bo2bo2b4o56bo2bo2b
4o51bo2bo2b4o2bobo$bobo2bo8b2o37bobo2bo31bobo2bo60bobo2bo55bobo2bo6bo$
2bo11b2o5bo33bo4bo31bo4bo8bo51bo4bo55bo4bo$16bo3b2o39bo34b2o7bo56b2o2b
2o6b3o46b2o2b2o$20bobo37b2o43b3o59bo6bo53bo$166bo8bo37bo13bo$10b2o44bo
58b2o49b2o46b2o11b2o$5bo4bobo43b2o6b2o37b2o9b2o97b2o$5b2o3bo44bobo6bob
o36bobo10bo119b2o$4bobo57bo38bo132bobo$58b3o175bo$9b2o47bo160b2o$9bobo
47bo160b2o17b3o$9bo99bo109bo19bo$108b2o115b2o13bo$108bobo114bobo$2b3o
220bo$4bo$3bo219b2o$222bobo$224bo!

[Goldtiger997]

Solved xs22_08k4871zol5a96:

Code: Select all

x = 161, y = 46, rule = B3/S23
95bo$93b2o$94b2o41bo$138b2o$137b2o$2bo$obo$b2o75bo11bo$76bobo3bobo5bob
o$77b2o4b2o5b2o$83bo2$5bo$6bo$4b3o12b2o68b2o68b2o$9bobo7bo69bo69bo$9b
2o6bobo67bobo66b2obo$2bo7bo5bobo67bobo52bo13bo2bo$2b2o12bo66bo2bo52bob
o11bo2bo$bobo11b2obo64b4obo51b2o11b4obo$17bobo67bobo67bobo$15b2o2bo65b
2o2bo65b2o2bo$14bo2b2o65bo2b2o65bo2b2o$13bobo67bobo55bobo9bobo$5b2o7bo
69bo57b2o10bo$4bobo135bo$6bo3$142b2o$141bobo$143bo12$125b2o$126b2o$
125bo!

[May13]

Solved xs22_31e808k46zw17871:

Code: Select all

x = 178, y = 18, rule = B3/S23
o150bobo14bo6bobo$b2o2bo146b2o13bo7b2o$2o4b2o144bo14b3o6bo$5b2o142bo$
100b2o48bo$13bobo80bo3bobo45b3o$13b2o79bobo3bo71bo$5bobo6bo46bo33b2o
69bo4bo$6b2o42b2o9bobo26b2o63b2o7b2o5b3o$6bo43bobo8b2o27bobo62bobob2o
4b2o$16b2o34bo3b2o34bo2bo61bobo$14bo2bo34bobo2bo34bobobo60bobo$12b4o
35b2ob2o7b3o25b2ob2o60b2ob2o6b2o$11bo39bo11bo27bo64bo10bobo$12bob2o36b
ob2o8bo27bob2o61bob2o6bo$9b3o3bo33b3o3bo33b3o3bo58b3o3bo$9bo5bobo31bo
5bobo31bo5bobo56bo5bobo$16b2o38b2o38b2o63b2o!

5 still lifes left:

Code: Select all

x = 31, y = 20, rule = B3/S23
b2o11bo8b2o$2bo10bobo6bo2bo$2bob2o6bobobo6b2o2b2o$b2o2bo6bo2bo2bo6b2ob
o$4bo8bobob2o6bo$b3ob3o4b2o2bo10b4o$o2bo3bo3bo2bobo8bobo2bo$bobo7b2o2b
o8bobo$2bo22bo3$2b2o11b2o$o2b3o9bo$2o4bo5b2obo$2b2obobo3bo2bob2o$2bo3b
o5bo3bo$3b3o5b2obobo$bobo7bo2b2o$b2o10bo$12b2o!

[confocaloid]

Conversion from xs22_8k4871z39c32ac to xs22_8k487p8z39c321 is probably solvable with more search, here are first partials:

Code: Select all

x = 288, y = 45, rule = B3/S23
7b2obo26b2obo26b2obo26b2obo26b2obo26b2obo26b2obo26b2obo26b2obo26b2obo$
5bo2b2obo23bo2b2obo23bo2b2obo23bo2b2obo23bo2b2obo23bo2b2obo23bo2b2obo
23bo2b2obo23bo2b2obo23bo2b2obo$5b2o4bo23b2o4bo23b2o4bo23b2o4bo23b2o4bo
23b2o4bo23b2o4bo23b2o4bo23b2o4bo23b2o4bo$7b2obo26b2obo26b2obo26b2obo
26b2obo26b2obo26b2obo26b2obo26b2obo26b2obo$7bo3b3o23bo3b3o23bo3b3o23bo
3b3o23bo3b3o23bo3b3o23bo3b3o23bo3b3o23bo3b3o23bo3b3o$5bobo5bo21bobo5bo
21bobo5bo21bobo5bo21bobo5bo21bobo5bo21bobo5bo21bobo5bo21bobo5bo21bobo
5bo$5b2o28b2o28b2o28b2o28b2o28b2o28b2o28b2o28b2o28b2o$9b2o28b2o59bo5bo
22bobo3bo53bobo3bo23bobo27bobo27bobo$2bo6bobobo2bo15b2o5bo22bo5b3obobo
16b3o5b2ob3o16b3o5bo3bobo16b2o4b3o2b2o16b3o6bo2b2o16b3o7bob2o16b3o7bob
o2bo14b3o7bobo$2bob4ob2obo4bo13bo2b3o2bo2b3o16b5obo2b2o2bo19bo2bo2bo5b
o15bo2b2obobobo18bo2b3o2bobo2bo19bob2obobo20bo4b2obo3bo19bo2b2obo5bo
15bo4b2obo5b2o$2bobobo2bobobob3o14bobo7bo2bo16bo3bo2bobo4b2o16bob3o3bo
20bo2bo2bo5bo16bo6b2o23bo2bo7bo20bo4b2o2b3o18bo4b3obo20bo4b2ob2o$6bo3b
obo3b2o20bobobo30bobo17bo4bobobo19bo2bobo27b2o3bo23bo2bo4bo2bo26bo31bo
2bo25bo$bo4bo2bo6bo18b2obo3bobo20b2o34bo32b2o20bob2o34bo27bo$11b2o3bo
17bo5bo23bo36bo17$7b2obo26b2obo26b2obo26b2obo26b2obo26b2obo$5bo2b2obo
23bo2b2obo23bo2b2obo23bo2b2obo23bo2b2obo23bo2b2obo$5b2o4bo23b2o4bo23b
2o4bo23b2o4bo23b2o4bo23b2o4bo$7b2obo26b2obo26b2obo26b2obo26b2obo26b2ob
o$7bo3b3o23bo3b3o23bo3b3o23bo3b3o23bo3b3o23bo3b3o$5bobo5bo21bobo5bo21b
obo5bo21bobo5bo21bobo5bo21bobo5bo$2o3b2o23b2o3b2o23b2o3b2o28b2o28b2o
28b2o$obo7b2o4b2o12bobo12b2o13bobo6b2o59bo28b2o$2b2o5bobo2bo2bo14b2o9b
2o2bo12bob2o4bobo3bo26b2ob2o16b2o6b3o19b2o6bo2b2o$bo6bo5b3o14bo4b2o4bo
bobo14bo5bobo3bobo14b2o5b2o3bobo17bobo2bo5bo2b2o14bobob2o2bobobo$2bobo
2bo23bo4bo2bo2bo3b2o14bobo2bo5bo2bo13bo3b2o2bo3bo3bo16bo2bobo3bo3bo16b
o3bo3bobo4bo$3b2ob2obo3bo2b2o14bo3bo2b2o20bo2b2o4b3obo16b2o2bo2bo3bo4b
2o12bo4bobo2b2o2bo24b2o3bobo$4bo5bo3b3o18bob3o2b2o24b2o26b4obo2bo3bo
18bobobo5b2o22b2obobo$10bo2bo82b2o4b4o19bo3bo6bo28b2o$104bo20bo12bo20b
2o!

[vilc]

Solved xs22_64pb2ak8z064311:

Code: Select all

x = 58, y = 45, rule = B3/S23
50bo$48b2o$49b2o$3bo$bobo$2b2o7$29b2o$28bobo$26b3o$25bo3bo$4bobo17bobo
b2o$5b2o18bo$5bo20b4o$28bo2bo$30b2o20b3o$52bo$48bo4bo$47b2o$47bobo4$
55b3o$55bo$56bo2$27b3o$27bo$13b2o13bo23b2o$14b2o35b2o$13bo39bo$21b2o$
22b2o$6b2o13bo$7b2o$6bo38b2o$bo43bobo$b2o42bo$obo!

[May13]

Syntheses of two still lifes from readsynth page:

Code: Select all

x = 69, y = 66, rule = B3/S23
2bo7bo$obo6bobo$b2o5bobobo$8bo2bo2bo$9bobob2o$3b2o3b2o2bo10bo$3bobo4bo
bo8b2o$3bo6b2o10b2o2$b2o$obo$2bo$20bo$19b2o$19bobo2$17bo$16b2o$16bobo
2$2bo$2b2o$bobo12b3o$16bo$17bo16$5bo$3bobo44b2o$4b2o44b2o$b2o$obo46bo$
2bo46b2o$11bo36bobo5bo$10bobo42bobo$11bo2b2o40bo2b2o$12b2obo41b2obo2$
12b6o39b6o$12bo4bo39bo4bo$15bo44bo$15b2o43b2o$66bo$66bobo$66b2o$54bo$
55b2o6b3o$54b2o7bo$64bo2$48bo7bo$48b2o6b2o$47bobo5bobo!

My solution of xs22_09f0kcz25970113:

Code: Select all

x = 110, y = 50, rule = B3/S23
53bo$51bobo$52b2o4$107bo$62bo42b2o$60bobo43b2o$61b2o5$106bobo$106b2o$
107bo3$10bo61bo11bo22bobo$2bo8b2o60bo2bobo5bobo20b2o$obo7b2o59b3o3b2o
5b2o22bo$b2o74bo3$10bobo3bo$11b2o3bobo$11bo4b2o4$90bo$2bo2b2o2b2o71bo
2b2o2bobo$2b4obo2bo10bo60b4obo2bo$7b3o10b2o65b3o$4bobo13bobo61bobo$4b
2obo76b2obo$7bo79bo$7b2o78b2o9$107b2o$106b2o$108bo!

So xs22_8k487p8z39c321 is the last unsynthesised still life.
Edit: solved the last still life:

Code: Select all

x = 170, y = 33, rule = B3/S23
141bo$139bobo$140b2o8$98bobo$56bo42b2o$4bobo35bo14b2o40bo$5b2o36b2o11b
2o$5bo36b2o56bo60bobo3bo$101bo2bobo54b2o4bobo$7bo48bo42b3o2b2o42bobo5b
obo3bo4b2o$7bobo45b2o48bo43b2o5b2o$2o5b2o46bobo91bo7bo$b2o$o2$9b2o87b
2o58b2o$3bo5bo37bo49bo2bo57bo4b2o$3b2o6bo35b3obo45b3obo57b3o2bo$2bobo
5b2o38b2o48b2o60b2o$7b2o38b2o48b2o60b2o$6bobob2o34bobob2o44bobob2o56bo
bob2o$6bo3bo35bo3bo45bo3bo57bo3bo$5b2obo2bo33b2obo2bo43b2obo2bo55b2obo
2bo$7bob2o36bob2o46bob2o58bob2o$7bo39bo49bo61bo$6b2o38b2o48b2o60b2o!

[/project]

[WhiteHawk]

Edit: solved the last still life:

Code: Select all

x = 170, y = 33, rule = B3/S23
141bo$139bobo$140b2o8$98bobo$56bo42b2o$4bobo35bo14b2o40bo$5b2o36b2o11b
2o$5bo36b2o56bo60bobo3bo$101bo2bobo54b2o4bobo$7bo48bo42b3o2b2o42bobo5b
obo3bo4b2o$7bobo45b2o48bo43b2o5b2o$2o5b2o46bobo91bo7bo$b2o$o2$9b2o87b
2o58b2o$3bo5bo37bo49bo2bo57bo4b2o$3b2o6bo35b3obo45b3obo57b3o2bo$2bobo
5b2o38b2o48b2o60b2o$7b2o38b2o48b2o60b2o$6bobob2o34bobob2o44bobob2o56bo
bob2o$6bo3bo35bo3bo45bo3bo57bo3bo$5b2obo2bo33b2obo2bo43b2obo2bo55b2obo
2bo$7bob2o36bob2o46bob2o58bob2o$7bo39bo49bo61bo$6b2o38b2o48b2o60b2o!

[/project]

Awesome! Does this mean it's time for a 23-bit still-life synthesis thread?

[confocaloid]

[...] Edit: solved the last still life:

Code: Select all

x = 170, y = 33, rule = B3/S23
141bo$139bobo$140b2o8$98bobo$56bo42b2o$4bobo35bo14b2o40bo$5b2o36b2o11b
2o$5bo36b2o56bo60bobo3bo$101bo2bobo54b2o4bobo$7bo48bo42b3o2b2o42bobo5b
obo3bo4b2o$7bobo45b2o48bo43b2o5b2o$2o5b2o46bobo91bo7bo$b2o$o2$9b2o87b
2o58b2o$3bo5bo37bo49bo2bo57bo4b2o$3b2o6bo35b3obo45b3obo57b3o2bo$2bobo
5b2o38b2o48b2o60b2o$7b2o38b2o48b2o60b2o$6bobob2o34bobob2o44bobob2o56bo
bob2o$6bo3bo35bo3bo45bo3bo57bo3bo$5b2obo2bo33b2obo2bo43b2obo2bo55b2obo
2bo$7bob2o36bob2o46bob2o58bob2o$7bo39bo49bo61bo$6b2o38b2o48b2o60b2o!

[/project]

Congratulations to all contributors!
I believe now it is known that every strict still life with 22 or fewer alive cells can be constructed with at most 15 gliders, or more practically with at most 180 gliders (and can be cleanly destroyed with at most two gliders).

Conversion from xs22_8k4871z39c32ac to xs22_8k487p8z39c321 is probably solvable with more search, here are first partials: [...]

Here's how far I was able to get with that unsolved conversion:

Code: Select all

x = 48, y = 16, rule = B3/S23
5b2obo26b2obo$3bo2b2obo23bo2b2obo$3b2o4bo23b2o4bo$5b2obo26b2obo$5bo3b
3o23bo3b3o$3bobo5bo21bobo5bo$3b2o28b2o$7b2o28b2o$2o5b2o2bo3bo14b2o5b2o
2bo4bo$obo8b2o2b3o12bobo10b2ob2o$bo3bo5b2obo16bo3bo5b3o$4b3obo6b2o17b
2ob4obo3bo$8b2o2b2o21bob2obo2bo$6bo3bo$11bo21bobo$5bobo!

[...] Awesome! Does this mean it's time for a 23-bit still-life synthesis thread?

I'm not sure whether that will be possible with the current Catagolue infrastructure. The page census/b3s23/synthesis-costs/xs22 says that the tabulation "occupies an estimated 666 kilobytes of memory, out of a maximum of 1000". It is possible that a tabulation of all 23-bit strict still lives would exceed that limit.

edit: corrected an error

[May13]

[...] Awesome! Does this mean it's time for a 23-bit still-life synthesis thread?

I'm not sure whether that will be possible with the current Catagolue infrastructure. The page census/b3s23/synthesis-costs/xs22 says that the tabulation "occupies an estimated 666 kilobytes of memory, out of a maximum of 1000". It is possible that a tabulation of all 23-bit strict still lives would exceed that limit.

How about synthesising 21-bit pseudo still lifes? There are a total of 273188 strict and 179011 pseudo 21-bit still lifes, which is less than 672172, so it's definitely doable.

[confocaloid]

[...] How about synthesising 21-bit pseudo still lifes? There are a total of 273188 strict and 179011 pseudo 21-bit still lifes, which is less than 672172, so it's definitely doable.

As far as I know, Catagolue doesn't "understand" the difference between a pseudo still life, a quasi still life, and an arbitrary constellation.

For example, from the total number of 8-bit strict still lives and 8-bit pseudo still lives, it would be reasonable to expect to see the biblock (xs8_rr) on the first page of the tabulation census/b3s23/synthesis-costs/xs8. However, the biblock is not present on the first page; instead, that page lists all nine 8-bit strict still lives, followed by many stable 8-bit constellations.

This might become a problem with higher bit-counts (e.g. xs21), if/when the synthesis-costs tabulation includes so many (relatively uninteresting) constellations that some (relatively more interesting) pseudo still lives and/or quasi still lives are lost.

[WhiteHawk]

Hi! A little late to the party, but posting within the 1 year timeframe to not officially be necroposting, and I would at least like to put this idea out there before this thread is "forgotten".

As an eventual "next step", perhaps synthesizing (or at least repairing failed syntheses) of all 22-and-lower-bit still-lifes in the Outer-totalistic rulespace B3/S23 - B378/S2378 could be attempted since the set of finite still-lifes are preserved from life 1:1. Obviously it will be easier to start with the rulespace B3/S23 - B38/S238, since those rules are a lot more similar to life than rules in the B3(7(8))/S23(7(8)) space and more syntheses would be conserved. While lower-cost alien syntheses would still be good to tabulate, focusing more on correcting failed syntheses would likely be more important for this project.

For the moment it may be more important to focus on establishing the lower bound of synthesis for Life, but it may also be important if serious effort to elevate at least the Life-Like rules of B3(8)/S23(8) to B3/S23 standards ever arise within the community.

[vilc]

As a continuation of my work on 21-bits pseudo still-lifes, I proved in a similar way that all pseudo xs22 can be synthesised. The searches took about twice more time in total, but the entire project took less than three days to complete.

I had to build (or modify from known components) 6 new components :

Code: Select all

x = 551, y = 495, rule = B3/S23
464bo$465bo$463b3o4$468bo$469b2o30bobo$468b2o31b2o$502bo$475bo19bo$
473bobo18bo$474b2o18b3o4$299bo$298bo198bobo$294bo3b3o196b2o$279b2o12bo
65b2o109b2o26bo$279bo2b2o9b3o63bo2b2o106bo2b2o$280b2obo76b2obo3b2o102b
2obo3b2o23bo$366bobo108bobo23bobo$280b2obo8b3o65b2obo3bo6bo96b2obo3bo
24b2o$280bob2o8bo67bob2o8b2o97bob2o$293bo79b2o103bo$280bob2o76bob2o
107bob2o2bobo$280b2obo76b2obo5bo101b2obo3bo$368b2o$368bobo$497bo$365b
3o128b2o$367bo128bobo$366bo$491b2o$464bobo24bobo$465b2o24bo$465bo2$
469b3o$464bo6bo$464b2o4bo$463bobo48$451b2ob2o$452bobo$450bo3bo$450b2o
2bob2o$455bobo$342b2ob2o103b2o$341bobobo95bo8bo$340bobo3bo95b2o8bo$
340b2o5bo93b2o8b2o$346b2o$340b2o120bo4b2o$331bo8bo121b2o3bobo$332b2o8b
o118bobo3bo$331b2o8b2o2$352bo4b2o$352b2o3bobo85b2o24b3o$351bobo3bo88b
2o23bo$445bo8b2o16bo$455b2o$454bo$335b2o24b3o$336b2o23bo$335bo8b2o16bo
99bo$345b2o114b2o$344bo116bobo3$352bo$351b2o$351bobo35$409bo$410bo$
408b3o5$428bo$426bobo$427b2o6$450bo$433bo14b2o$432bo16b2o$432b3o9bo$
426bobo14bo$427b2o14b3o$427bo11$422bo$420b3o$419bo5bo$419b2o3bobo$421b
obobo$421bobo$422b2o8$445bo$444b2o$444bobo31$413bo$414bo$412b3o15$387b
o$388bo33bo$386b3o34bo$421b3o10$445bo$444bo$444b3o3$413bobo18bo$414b2o
19bo$414bo18b3o2$438bo$436b2o$437b2o4$200bobo$200b2o$201bo206bo$195bo
213bo$196bo210b3o$194b3o$190b2o205bobo$129bo59bobo102b2o102b2o$130bo
60bo102bo103bo28b2o53bo$128b3o158bo5bo131bo55b2o$241b2o47b2o4bo131bo
53b2o$195bo45bo47b2o6bo131bo58bo$194bobo45bo55bo131bo55b2o$53bo74bobo
64b2o2b2o42bo53b2o2b2o128bo55b2o$54bo74b2o57b2o9bobo42bo46b2o8bobo126b
2o2b2o43b2ob2o$52b3o6b2o66bo59b2o10bo43bo39b2o5b2o9bo125bo4bobo43bobob
o$4bo5b2o49bobo61b2o10b2o49bo6b2o4bob2o39b2o2b2o36b2o3bo5b2o4bob2o122b
o6bo41bo5bo$5bo4bobo50bo60bobo10bobo56bo3b2ob2o43bobo34bo12bo3b2ob2o
123b2o4bob2o38b2o4bob2o3bo$3b3o6bo44b2o4bob2o59bo12bo54bo5bo49bo45bo5b
o128bo3b2ob2o39bo3b2ob2o2bo$12bob2o35b2o4b2o3b2ob2o66b2o4bob2o51b2o2bo
bo43b2o4bob2o42b2o2bobo126bo5bo41bo5bo6b3o$11b2ob2o36b2o8bo51bo19bo3b
2ob2o55b2o45bo3b2ob2o46b2o127b2o2bobo41b2o2bobo11bo$11bo39bo8bobo51b2o
16bo5bo104bo5bo183b2o46b2o11b2o$9bobo34b2o12b2o51bobo16b2o2bobo104b2o
2bobo244bobo$3o6b2o36b2o87b2o109b2o$2bo43bo4bo$bo49b2o355b3o$50bobo
357bo$409bo$404bo$404b2o$403bobo39$453bo$453bobo$410bo42b2o$411b2o$
410b2o2$413bobo$414b2o25bo$414bo24b2o$440b2o5$403bo6bo$401bobo7bo$402b
2o5b3o2$427bo$428b2o8bo13bobo$427b2o7b2o14b2o$437b2o14bo$353bo$354bo$
352b3o2$356bobo$356b2o$357bo$362bo$349bobo9bo88bo$350b2o9b3o86bobo$
350bo73b2o24b2o$425bo$424bo$424b2o$425bo$423bo2b2o2b2o$423b2obo2bobo$
424bo2bobo$357b2o63bo3b2ob2o$357bo50b3o11b2o$351b2o2b2o2bo50bo$351bobo
2bob2o49bo$353bobo2bo$352b2ob2o3bo$359b2o$452b3o$452bo$453bo2$448b3o$
448bo$449bo57$421bo$389bo31bobo$390bo30b2o$388b3o151bo$540bobo$395bo
97bobo45b2o5bo$396b2o18bo76b2o53bobo$395b2o19bobo75bo53b2o$409bobo4b2o
125bobo$336bo72b2o122bo10b2o$337bo72bo123b2o8bo$335b3o195b2o$396b2o15b
o$395bo2bo13bo74bo$395bo2bo13b3o70b2o$396b2o88b2o$419bo$418bo$335bo82b
3o64b2o$335b2o137b2o9bobo55b2o$334bobo4b2o132bo2b2o5bo58bo3b2o$341bo
57b2o73bo4bo53b2o8bo5bo$342bo56bo74b2o2bo53bobo8b2o2bo$341b2o57bo77b2o
54bo12b2o$340bo4b2o52b2o73b2o4bo7b2o53b2o4bo$341bobo2bo51bo4b2o69bo2bo
bo7b2o54bo2bobo$340b2ob2o54bobo2bo71b2ob2o8bo42bo12b2ob2o$398b2ob2o
129b2o$531bobo6$415b2o$414b2o$416bo!

All other still-lifes can be solved with at most a depth-3 search, except for the following ones which I had to synthesise semi-manually, using known components and recipes (some from the previous project).

Code: Select all

x = 790, y = 2723, rule = B3/S23
256bo$255bo$255b3o36bo$252bo42bo$253bo39b3o$251b3o311bo$563b2o$564b2o$
297bo$253b2o43b2o$214bo39b2o41b2o$171bo43b2o36bo4bo44bob2o39b2o54b2o
43b2o44b2o8bo37b2o$172bo41b2o41bobo34b2o7b2o2bo37bo2bo52bo2bo41bo2bo
42bo2bo7bobo34bo2bo$170b3o85b2o33bobo10b2o36bo2b2o51bo2b2o40bo2b2o41bo
2b2o7b2o34bo2b2o$175bobo117bo47bo55bo44bo45bo47bo$175b2o39b2o40b2o46b
2o35b2o2b2o50b2o2b2o39b2o2b2o40b2o2b2o42b2o2b2o$176bo40bo41bo47bo40bo
55bo44bo45bo9b3o35bo$181b3o33bobo39bobo45bobo38bobo48b2o3bobo37b2o3bob
o38b2o3bobo7bo32b2o3bobo$181bo36bobo39bobo45bobo38bobo41bo5b2o4bobo35b
obo4bobo37b2o4bobo7bo31bo2b2obobo$182bo36b2o40b2o38b3o5b2o31bo7b2o39bo
bo12b2o35b2o6b2o39b2o3b2o40b2obobo2bo$296b3o2bo41b2o47b2o98b2o51b2o5bo
$178b2o118bo3bo39b2o53bo4b2o146b2o$177b2o118bo99b2o3bobo33b3o8b2o100b
2o$179bo216bobo3bo37bo7b2o$303b2o37b2o95bo10bo$302b2o37bobo195b2o12b2o
$304bo38bo102b2o92b2o11bobo$445bobo91bo7b2o4bo$447bo35b3o61bobo$450b2o
33bo61bo$450bobo31bo15b3o$450bo49bo$501bo9$358b3o$358bo$359bo99$419bo$
418bo$354bo63b3o$355bo68bo$353b3o66b2o$423b2o51bo$476bobo4bo$351bo3bob
o118b2o5bobo$349bobo3b2o64b2o60b2o$350b2o4bo63b2o49bo$422bo46b3o8b2o$
414b2o52bo11bobo$353b2o58bobo52b2o3b2o5bo$353b2o3b2o53b2o3b2o53bo$358b
o59bo49b2o4bo$353b2o4bo53b2o4bo48bo4b2o$353bo4b2o53bo4b2o49bo$354bo59b
o55bo2b2o$355bo2b2o55bo2b2o51bo2bo$356bo2bo56bo2bo52b2o$357b2o58b2o31$
460b2o$459bobo$360b2o49b2o46bo$359bobo4bobo41bobo45b2o2bo$359bo6b2o42b
o51b3o$358b2o7bo41b2o2bo44b2o5bo$413b3o42bobo3b2o$358b2o49b2o5bo43bo7b
obo$358bobo48bobo3b2o43bobo5b2o$360bo50bo49b2o6bo$360b2o49b2o$368b3o$
368bo100b2o$369bo100b2o$469bo2$407bo3b3o$407b2o2bo48b3o$406bobo3bo49bo
9b2o$461bo10bobo$416b2o54bo$416bobo$416bo63b2o$421b2o57bobo$420b2o58bo
$422bo42$441bobo37bob2ob2o$441b2o38b2obobo$309bob2ob2o37bob2ob2o63bob
2ob2o6bo5bo45bo$309b2obobo38b2obobo64b2obobo7bobo48b2o$316bo43bo69bo5b
2o45b2o$315b2o42b2o68b2o52bo3b2o$355b2o68b2o57bo2bobo$355b2o68bo12b3o
42b2o3bo7bo$309b2o115bo11bo55b2o$308bobo114b2o12bo55b2o$310bo46b2o$
315b2o41b2o74b2o$315bobo39bo76bobo56b2o$315bo36b3o79bo57b2o$354bo5b3o
63bo67bo$353bo6bo65b2o49b2o$361bo63bobo50b2o16b2o$477bo17b2o$365b2o
120b2o8bo$364b2o121bobo$366bo120bo117$565bobo$565b2o$566bo2$432b2ob2o$
433bobo107b2ob2o55b2ob2o$432bo3bo45b2ob2o57bobo14bo42bobo$431bo5bobo
43bobo57bo3bo12bo42bo3bo6bobo$431b2o5b2o42bo3bo55bo5bobo9b3o39bo5bobo
3b2o$481bo5bobo52b2o5b2o51b2o5b2o4bo$481b2o5b2o$545b2o58b2o$432b2o50b
2o59bo2bo9bo46bo2b2obo6bobo$431bobo50b2o61b2o7b2o7b2o40b2ob2o6b2o$433b
o123b2o6bobo51bo$438b2o125bo48b3o$438bobo39b2o132bo$438bo40bobo4bo71b
2o55bo$481bo3b2o4b2o64b2o51b2o$485bobo2b2o67bo49bobo$492bo57b2o59bo$
550bobo$489bo52b2o6bo$488b2o51bobo14b2o$488bobo52bo14bobo$558bo5$555bo
$554b2o$554bobo23$569bobo$569b2o$570bo2$480b2ob2o$435b2ob2o41bobobo$
436bobobo39bo5bobo57b2ob2o14bo$435bo5bobo35bo7b2o58bobobo12bo40b2ob2o$
434bo7b2o35b2o65bo5bobo9b3o39bobobo6bobo$434b2o47b2o60bo7b2o50bo5bobo
3b2o$483b2o60b2o57bo7b2o4bo$549b2o53b2o$436b2o111bo2bo9bo45b2o$435bobo
41b2o70b2o7b2o7b2o37bo2b2obo6bobo$437bo40bobo4bo75b2o6bobo38b2ob2o6b2o
$442b2o36bo3b2o4b2o77bo52bo$442bobo39bobo2b2o126b3o$442bo48bo70b2o53bo
$561b2o55bo$488bo74bo49b2o$487b2o65b2o56bobo$487bobo64bobo57bo$546b2o
6bo$545bobo14b2o$547bo14bobo$562bo5$559bo$558b2o$558bobo39$547bo$548bo
$494bo9bo41b3o$489bo3b2o9bobo2bobo$430bobo46bo9b2o2bobo8b2o3b2o45bo$
431b2o44bobo8bobo19bo43b2o$431bo46b2o75b2o2$122bobo62bo124bo123bobo
122bo$123b2o62bobo60bobo57bobo56bobo64b2o123bobo$123bo59bo3b2o48bo12b
2o59b2o3bo53b2o12bo46bobo3bo123b2o$131bo52bo53b2o11bo63bo54bo11b2o48b
2o$131bobo48b3o52b2o76b3o65b2o47bo120b2o$131b2o420b2o$246bo128bo$122bo
63bo4bo47b2o4bobo4bo52b2o6bo52b2o6bobo4b2o44b2o8b2o49b2o3b2o3b2o53b4o$
121bobo9bo51bobo2bobo40b2o5b2o4bobo2bobo51bobobo2bobo51bobobo2bobo4b2o
5b2o38bobobo2bobobo49bobobo2bobobo52bo4bo$122b2o7bobo52b2o2b2o42b2o3bo
7b2o2b2o55b2o2b2o55b2o2b2o7bo3b2o42b2o2b2o55b2o2b2o55b2o2b2o$132b2o3bo
95bo154bo175b2o$122b2o2b2o8bo49b2o2b2o55b2o2b2o55b2o2b2o55b2o2b2o55b2o
2b2o55b2o2b2o55b2o2b2o6bobo$121bo2bo2bo8b3o46bo2bo2bo54bo2bo2bo54bo2bo
2bo54bo2bo2bo54bo2bo2bo54bo2bo2bo54bo2bo2bo6bo$122bobobo59bobobo56bobo
bo56bobobo56bobobo56bobobo56bobobo13b2o41bobobo$123bobo61bobo58bobo58b
obo58bobo58bobo58bobo13b2o43bobo$124bo63bo60bo60bo60bo60bo60bo16bo43bo
3$136b2o$135b2o$137bo45$254bo$252b2o$253b2o2$547bo$548bo$494bo9bo41b3o
$489bo3b2o9bobo2bobo$430bobo46bo9b2o2bobo8b2o3b2o45bo$431b2o44bobo8bob
o19bo43b2o$431bo46b2o75b2o$249bo$248bo60bo126bobo122bo$248b3o58bobo60b
obo61b2o123bobo$305bo3b2o48bo12b2o57bobo3bo123b2o$241bo3bo60bo53b2o11b
o58b2o$239bobo4b2o56b3o52b2o71bo120b2o$240b2o3b2o306b2o$368bo$254b2o
52bo6b2o44b2o4bobo6b2o49b2o8b2o49b2o3b2o3b2o53b4o$251bobobo51bobo2bobo
bo38b2o5b2o4bobo2bobobo49bobobo2bobobo49bobobo2bobobo52bo4bo$251b2o55b
2o2b2o42b2o3bo7b2o2b2o55b2o2b2o55b2o2b2o55b2o2b2o$355bo208b2o$251b2o
59b2o59b2o59b2o59b2o59b2o6bobo$246b2o2bobo54b2o2bobo54b2o2bobo54b2o2bo
bo54b2o2bobo54b2o2bobo6bo$246bo2bobo55bo2bobo55bo2bobo55bo2bobo55bo2bo
bo13b2o40bo2bobo$247bobo58bobo58bobo58bobo58bobo14b2o42bobo$248b2o59b
2o59b2o59b2o59b2o16bo42b2o40$548bo$549bo$495bo9bo41b3o$490bo3b2o9bobo
2bobo$431bobo46bo9b2o2bobo8b2o3b2o45bo$432b2o44bobo8bobo19bo43b2o$432b
o46b2o75b2o2$126bobo59bo124bo123bobo122bo$126b2o60bobo60bobo57bobo56bo
bo64b2o123bobo$127bo56bo3b2o48bo12b2o59b2o3bo53b2o12bo46bobo3bo123b2o$
119bo65bo53b2o11bo63bo54bo11b2o48b2o$117bobo63b3o52b2o76b3o65b2o47bo
120b2o$118b2o434b2o$247bo128bo$128bo58bo4bo47b2o4bobo4bo52b2o6bo52b2o
6bobo4b2o44b2o8b2o49b2o3b2o3b2o53b4o$117bo9bobo56bobo2bobo40b2o5b2o4bo
bo2bobo51bobobo2bobo51bobobo2bobo4b2o5b2o38bobobo2bobobo49bobobo2bobob
o52bo4bo$117bobo7b2o58b2o2b2o42b2o3bo7b2o2b2o55b2o2b2o55b2o2b2o7bo3b2o
42b2o2b2o55b2o2b2o55b2o2b2o$113bo3b2o115bo154bo175b2o$114bo8b2o2b2o58b
2o2b2o55b2o2b2o55b2o2b2o55b2o2b2o55b2o2b2o55b2o2b2o55b2o2b2o6bobo$112b
3o8bo2bo2bo57bo2bo2bo54bo2bo2bo54bo2bo2bo54bo2bo2bo54bo2bo2bo54bo2bo2b
o54bo2bo2bo5bo$124bobobo59bobobo56bobobo56bobobo56bobobo56bobobo56bobo
bo12b2o42bobobo$125bobo61bobo58bobo58bobo58bobo58bobo58bobo12b2o44bobo
$126bo63bo60bo60bo60bo60bo60bo15bo44bo3$113b2o$114b2o$113bo34$547bo$
548bo$494bo9bo41b3o$489bo3b2o9bobo2bobo$430bobo46bo9b2o2bobo8b2o3b2o
45bo$431b2o44bobo8bobo19bo43b2o$431bo46b2o75b2o2$122bobo62bo124bo123bo
bo122bo$123b2o62bobo60bobo57bobo56bobo64b2o123bobo$123bo59bo3b2o48bo
12b2o59b2o3bo53b2o12bo46bobo3bo123b2o$131bo52bo53b2o11bo63bo54bo11b2o
48b2o$131bobo48b3o52b2o76b3o65b2o47bo120b2o$131b2o420b2o$246bo128bo$
122bo63bo4bo47b2o4bobo4bo52b2o6bo52b2o6bobo4b2o44b2o8b2o49b2o3b2o3b2o
53b4o$121bobo9bo51bobo2bobo40b2o5b2o4bobo2bobo51bobobo2bobo51bobobo2bo
bo4b2o5b2o38bobobo2bobobo49bobobo2bobobo52bo4bo$122b2o7bobo52b2o2b2o
42b2o3bo7b2o2b2o55b2o2b2o55b2o2b2o7bo3b2o42b2o2b2o55b2o2b2o55b2o2b2o$
132b2o3bo95bo154bo175b2o$122b2o2b2o8bo49b2o2b2o55b2o2b2o55b2o2b2o55b2o
2b2o55b2o2b2o55b2o2b2o55b2o2b2o6bobo$122bobo2bo8b3o47bobo2bo55bobo2bo
55bobo2bo55bobo2bo55bobo2bo55bobo2bo55bobo2bo6bo$124b3o61b3o58b3o58b3o
58b3o58b3o58b3o13b2o43b3o$123bo63bo60bo60bo60bo60bo60bo15b2o43bo$123b
2o62b2o59b2o59b2o59b2o59b2o59b2o16bo42b2o3$136b2o$135b2o$137bo34$547bo
$548bo$494bo9bo41b3o$489bo3b2o9bobo2bobo$430bobo46bo9b2o2bobo8b2o3b2o
45bo$431b2o44bobo8bobo19bo43b2o74b2o$431bo46b2o75b2o72bo2bobo$629b2o2b
2o$122bobo62bo124bo123bobo122bo$123b2o62bobo60bobo57bobo56bobo64b2o
123bobo65b2o2b2o$123bo59bo3b2o48bo12b2o59b2o3bo53b2o12bo46bobo3bo123b
2o66bobo2bo$131bo52bo53b2o11bo63bo54bo11b2o48b2o197b2o$131bobo48b3o52b
2o76b3o65b2o47bo120b2o76bo$131b2o420b2o77bo$246bo128bo255b2o$122bo63bo
4bo47b2o4bobo4bo52b2o6bo52b2o6bobo4b2o44b2o8b2o49b2o3b2o3b2o53b4o$121b
obo9bo51bobo2bobo40b2o5b2o4bobo2bobo51bobobo2bobo51bobobo2bobo4b2o5b2o
38bobobo2bobobo49bobobo2bobobo52bo4bo$122b2o7bobo52b2o2b2o42b2o3bo7b2o
2b2o55b2o2b2o55b2o2b2o7bo3b2o42b2o2b2o55b2o2b2o55b2o2b2o$132b2o3bo95bo
154bo175b2o74b2o$122b2o2b2o8bo49b2o2b2o55b2o2b2o55b2o2b2o55b2o2b2o55b
2o2b2o55b2o2b2o55b2o2b2o6bobo68bo3b2o$122bobo2bo8b3o47bobo2bo55bobo2bo
55bobo2bo55bobo2bo55bobo2bo55bobo2bo55bobo2bo6bo70b2o4bo$124b2o62b2o
59b2o59b2o59b2o59b2o59b2o14b2o43b2o78bobo$124bo63bo60bo60bo60bo60bo60b
o14b2o44bo70b2o$125bo63bo60bo60bo60bo60bo60bo15bo44bo70b2o12b2o$124b2o
62b2o59b2o59b2o59b2o59b2o59b2o59b2o69bo14bobo$640bo$136b2o$135b2o$137b
o35$553bo$554bo$500bo9bo41b3o83b2o$495bo3b2o9bobo2bobo119bo2bobo$436bo
bo46bo9b2o2bobo8b2o3b2o45bo74b2o2b2o$437b2o44bobo8bobo19bo43b2o$437bo
46b2o75b2o74b2o2b2o$637bo2bobo$131bobo59bo124bo123bobo122bo71b2o$131b
2o60bobo60bobo57bobo56bobo64b2o123bobo70bo$132bo56bo3b2o48bo12b2o59b2o
3bo53b2o12bo46bobo3bo123b2o70bo$124bo65bo53b2o11bo63bo54bo11b2o48b2o
199b2o$122bobo63b3o52b2o76b3o65b2o47bo120b2o$123b2o434b2o$252bo128bo$
133bo58bo4bo47b2o4bobo4bo52b2o6bo52b2o6bobo4b2o44b2o8b2o49b2o3b2o3b2o
53b4o67b2o$122bo9bobo56bobo2bobo40b2o5b2o4bobo2bobo51bobobo2bobo51bobo
bo2bobo4b2o5b2o38bobobo2bobobo49bobobo2bobobo52bo4bo67b2o3bo$122bobo7b
2o58b2o2b2o42b2o3bo7b2o2b2o55b2o2b2o55b2o2b2o7bo3b2o42b2o2b2o55b2o2b2o
55b2o2b2o66bo4b2o$118bo3b2o115bo154bo175b2o63bobo$119bo8b2o2b2o58b2o2b
2o55b2o2b2o55b2o2b2o55b2o2b2o55b2o2b2o55b2o2b2o55b2o2b2o6bobo72b2o$
117b3o8bo2bobo58bo2bobo55bo2bobo55bo2bobo55bo2bobo55bo2bobo55bo2bobo
55bo2bobo6bo59b2o12b2o$130b2o62b2o59b2o59b2o59b2o59b2o59b2o14b2o43b2o
67bobo14bo$131bo63bo60bo60bo60bo60bo60bo13b2o45bo69bo$130bo63bo60bo60b
o60bo60bo60bo16bo43bo$130b2o62b2o59b2o59b2o59b2o59b2o59b2o59b2o2$118b
2o$119b2o$118bo22$555bo$556bo$502bo9bo41b3o$497bo3b2o9bobo2bobo$438bob
o46bo9b2o2bobo8b2o3b2o45bo$439b2o44bobo8bobo19bo43b2o$439bo46b2o75b2o
2$133bobo59bo124bo123bobo122bo$133b2o60bobo60bobo57bobo56bobo64b2o123b
obo$134bo56bo3b2o48bo12b2o59b2o3bo53b2o12bo46bobo3bo123b2o$126bo65bo
53b2o11bo63bo54bo11b2o48b2o$124bobo63b3o52b2o76b3o65b2o47bo120b2o$125b
2o434b2o$254bo128bo$135bo58bo4bo47b2o4bobo4bo52b2o6bo52b2o6bobo4b2o44b
2o8b2o49b2o3b2o3b2o53b4o$124bo9bobo56bobo2bobo40b2o5b2o4bobo2bobo51bob
obo2bobo51bobobo2bobo4b2o5b2o38bobobo2bobobo49bobobo2bobobo52bo4bo$
124bobo7b2o58b2o2b2o42b2o3bo7b2o2b2o55b2o2b2o55b2o2b2o7bo3b2o42b2o2b2o
55b2o2b2o55b2o2b2o$120bo3b2o115bo154bo175b2o$121bo8b2o2b2o58b2o2b2o55b
2o2b2o55b2o2b2o55b2o2b2o55b2o2b2o55b2o2b2o55b2o2b2o6bobo$119b3o8bo2bob
o58bo2bobo55bo2bobo55bo2bobo55bo2bobo55bo2bobo55bo2bobo55bo2bobo6bo$
131b3o61b3o58b3o58b3o58b3o58b3o58b3o14b2o42b3o$134bo63bo60bo60bo60bo
60bo60bo12b2o46bo$133b2o62b2o59b2o59b2o59b2o59b2o59b2o14bo44b2o3$120b
2o$121b2o$120bo21$262bo$260b2o$261b2o2$555bo$556bo$502bo9bo41b3o$497bo
3b2o9bobo2bobo208bo$438bobo46bo9b2o2bobo8b2o3b2o45bo164b2o$439b2o44bob
o8bobo19bo43b2o164b2o$439bo46b2o75b2o106bo$257bo406bo4b2o60bo$76bo179b
o60bo126bobo122bo93bo6b2o53bo5bobo$74b2o51bo128b3o58bobo60bobo61b2o
123bobo46bo44b3o60b2o3b2o$75b2o48bobo185bo3b2o48bo12b2o57bobo3bo123b2o
45bobo3bobo100b2o$10bo115b2o3bo117bo3bo60bo53b2o11bo58b2o175b2o3b2o35b
3o13b2o$9bo120bo53bobo60bobo4b2o56b3o52b2o71bo120b2o60bo37bo12bo2bobo$
9b3o118b3o52b2o12bo48b2o3b2o306b2o65b2o30bo13b2o2b2o$185bo11b2o177bo
238bo11bo2bobo100b2o$198b2o62b2o52bo6b2o44b2o4bobo6b2o49b2o8b2o49b2o3b
2o3b2o53b4o50b2o10b2o2b2o38b2o5b2o47bo4bo2bobo$10bo117bo130bobobo51bob
o2bobobo38b2o5b2o4bobo2bobobo49bobobo2bobobo49bobobo2bobobo52bo4bo48bo
bo54bobobo3bo46bobo3b2o2b2o$8b2o117bobo60bo68b2o55b2o2b2o42b2o3bo7b2o
2b2o55b2o2b2o55b2o2b2o55b2o2b2o65b2o41b2o2bo48b2o$2obo5b2o116b2o60bobo
4b2o165bo208b2o51b2obo3bo45b2o49b2o5b2o$ob2o56b2o126bobo4b2o5b2o55b2o
59b2o59b2o59b2o59b2o59b2o6bobo50bob2o2bo97bobobo3bo$61b2o64b2o59b2o7bo
3b2o50b2obo3bo53b2obo3bo53b2obo3bo53b2obo3bo53b2obo3bo53b2obo3bo6bo58b
2o99b2o2bo$60bo9b2o49b2obo3bo74bo49bob2o2bo54bob2o2bo54bob2o2bo54bob2o
2bo54bob2o2bo13b2o39bob2o2bo97bo73b2o$7b3o3bo50b2obo3bo49bob2o2bo60b2o
69b2o59b2o59b2o59b2o59b2o11b2o46b2o96b2o$7bo4b2o50bob2o2bo8b3o45b2o53b
2obo3bo328bo142bobo58bo$8bo3bobo55b2o7bo102bob2o2bo533b2o$80bo107b2o
427b3o101bobo$619bo113b2o$618bo113b2o$734bo110$628b2o$627bo2bo$626bo2b
2o$625bo$625b2o2b2o$630bo$625b2o2bo$625bo2bo$626b2o19$789bo$787b2o$
788b2o$393bobo3bo$394b2o4bo$394bo3b3o3b2o64b2o162b2o64b2o64b2o$404bo
65bo163bo65bo8bo56bo$405bo60b2o3bo158b2o3bo60b2o3bo7bobo50b2o3bo$404b
2o61bo2b2o159bo2b2o61bo2b2o7b2o52bo2b2o$397b2o67bo91b2o70bo65bo65bo$
398b2o4b2o56bo3b2o2b2o86bo71b2o2b2o60b2o2b2o60b2o2b2o$397bo7bo54bobo8b
o82b2o3bo75bo65bo9b3o53bo$405bobo53b2o8bobo81bo2b2o70b2o3bobo58b2o3bob
o7bo50b2o3bobo$406bobo63bobo79bo74bobo4bobo57b2o4bobo7bo49bo2b2obobo$
396b3o8b2o64b2o79b2o2b2o69b2o6b2o59b2o3b2o58b2obobo2bo$398bo160bo138b
2o69b2o5bo$397bo156b2o3bobo212b2o$548bo5b2o4bobo61b3o8b2o138b2o$546bob
o12b2o63bo7b2o$547b2o76bo10bo$552bo4b2o204b2o12b2o$552b2o3bobo72b2o
130b2o11bobo$551bobo3bo73bobo129bo7b2o4bo$461bo171bo55b3o79bobo$461b2o
173b2o53bo79bo$460bobo173bobo51bo15b3o$636bo69bo$707bo13$486b2o$485b2o
$487bo12$788bo$786b2o$787b2o3$337b2o62b2o64b2o162b2o64b2o64b2o$337bo2b
o60bo2bo62bo2bo160bo2bo62bo2bo7bo54bo2bo$335b2o2b2o58b2o2b2o60b2o2b2o
158b2o2b2o60b2o2b2o7bobo50b2o2b2o$335bo63bo65bo163bo65bo12b2o51bo$336b
o63bo65bo163bo65bo65bo$335b2o62b2o2b2o10bo45bo3b2o2b2o158b2o2b2o60b2o
2b2o60b2o2b2o$404bo10bobo41bobo8bo86b2o75bo65bo9b3o53bo$404bobo8b2o43b
2o8bobo84bo2bo68b2o3bobo58b2o3bobo7bo50b2o3bobo$405b2o64bobo81b2o2b2o
67bobo4bobo57b2o4bobo7bo49bo2b2obobo$337b2o133b2o81bo72b2o6b2o59b2o3b
2o58b2obobo2bo$338b2o216bo140b2o69b2o5bo$337bo7b2o64b2o142b2o2b2o212b
2o$345bobo63bobo146bo62b3o8b2o138b2o$345bo65bo143b2o3bobo62bo7b2o$403b
2o144bo5b2o4bobo60bo10bo$404b2o141bobo12b2o198b2o12b2o$403bo144b2o81b
2o130b2o11bobo$553bo4b2o70bobo129bo7b2o4bo$460bo92b2o3bobo71bo55b3o79b
obo$460b2o90bobo3bo76b2o53bo79bo$459bobo173bobo51bo15b3o$635bo69bo$
706bo13$485b2o$484b2o$486bo24$788bo$786b2o$787b2o4$338b2obo60b2obo62b
2obo160b2obo62b2obo6bo55b2obo$336b3ob2o58b3ob2o60b3ob2o158b3ob2o60b3ob
2o6bobo51b3ob2o$335bo63bo65bo163bo65bo12b2o51bo$336bo63bo65bo87b2obo
72bo65bo65bo$335b2o62b2o2b2o10bo45bo3b2o2b2o81b3ob2o71b2o2b2o60b2o2b2o
60b2o2b2o$404bo10bobo41bobo8bo80bo82bo65bo9b3o53bo$404bobo8b2o43b2o8bo
bo79bo76b2o3bobo58b2o3bobo7bo50b2o3bobo$405b2o64bobo77b2o2b2o71bobo4bo
bo57b2o4bobo7bo49bo2b2obobo$337b2o133b2o82bo71b2o6b2o59b2o3b2o58b2obob
o2bo$338b2o211b2o3bobo138b2o69b2o5bo$337bo7b2o64b2o132bo5b2o4bobo213b
2o$345bobo63bobo129bobo12b2o63b3o8b2o138b2o$345bo65bo132b2o79bo7b2o$
403b2o144bo4b2o68bo10bo$404b2o143b2o3bobo205b2o12b2o$403bo144bobo3bo
76b2o130b2o11bobo$630bobo129bo7b2o4bo$460bo171bo55b3o79bobo$460b2o173b
2o53bo79bo$459bobo173bobo51bo15b3o$635bo69bo$706bo13$485b2o$484b2o$
486bo149$656bo$654b2o$655b2o$642bo23bo$640bobo6bo9bo6bobo$641b2o7bo7bo
7b2o$593bo7bo46b3o7b3o$541bo7bo44bo4b2o43b2o17b2o$340bo64bo31bo59bo44b
2o4bo43b3o5b2o43b2o15b2o$341bo62bo32bobo55bobo43b2o5b3o93bo19bo$339b3o
62b3o30b2o57b2o$602b2o$439b2o53b2o43b2o48bo12bobo$394bo43bobo3bo5bo39b
o3bobo41bobo48b3o10bo5bo40bo9bo$393bobo44bo2bobo3bobo30bo2bo3bobo2bo
39bo5bo51bo3bo2bo7b2o40b3o5b3o$394b2o48b2o3b2o31b4o3b2o43b2o7bo2bo3bo
2bo35b4o3b4o7bobo42bo3bo$533bobo7b4o3b4o35bo59b4o3b4o$345b2o3b2o42b2o
3b2o43b2o3b2o33b2o3b2o100b2o3b2o51bo9bo$346bo3bo44bo3bo45bo3bo35bo3bo
55b2o3b2o40bo3bo54b2o3b2o$345bo5bo42bo5bo43bo5bo33bo5bo55bo3bo40bo5bo
54bo3bo$345b2o3b2o42b2o3b2o43b2o3b2o33b2o3b2o54bo5bo39b2o3b2o53bo5bo$
350bo48bo49bo39bo55b2o3b2o44bo54b2o3b2o$345b2o4bo42b2o4bo43b2o4bo33b2o
4bo59bo40b2o4bo58bo$345bo2b3o43bo2b3o44bo2b3o34bo2b3o55b2o4bo39bo2b3o
54b2o4bo$347b2o47b2o48b2o38b2o57bo2b3o42b2o56bo2b3o$547b2o104b2o36$
305bo350bo$304bo349b2o$304b3o348b2o$642bo23bo$640bobo6bo9bo6bobo$641b
2o7bo7bo7b2o$593bo7bo46b3o7b3o$247bo293bo7bo44bo4b2o43b2o17b2o$245bobo
92bo64bo31bo59bo44b2o4bo43b3o5b2o43b2o15b2o$246b2o3bo89bo62bo32bobo55b
obo43b2o5b3o93bo19bo$250bo88b3o62b3o30b2o57b2o$250b3o42bo5bo300b2o$
243bo49bobo3b2o138b2o53b2o43b2o48bo12bobo$241bobo50b2o4b2o92bo43bobo3b
o5bo39bo3bobo41bobo48b3o10bo5bo40bo9bo$183bo58b2o149bobo44bo2bobo3bobo
30bo2bo3bobo2bo39bo5bo51bo3bo2bo7b2o40b3o5b3o$173b2o7bo69bo141b2o48b2o
3b2o31b4o3b2o43b2o7bo2bo3bo2bo35b4o3b4o7bobo42bo3bo$174bo7b3o66bo50bo
230bobo7b4o3b4o35bo59b4o3b4o$173bo77b3o47b2o42b2o3b2o42b2o3b2o43b2o3b
2o33b2o3b2o100b2o3b2o51bo9bo$173b2o60b2o64bobo42bo3bo44bo3bo45bo3bo35b
o3bo55b2o3b2o40bo3bo54b2o3b2o$174bo61bo11b2o95bo5bo42bo5bo43bo5bo33bo
5bo55bo3bo40bo5bo54bo3bo$172bo62bo12bobo46b2o46b2o3b2o42b2o3b2o43b2o3b
2o33b2o3b2o54bo5bo39b2o3b2o53bo5bo$172b2o61b2o11bo44b2o2bo48bo3bo44bo
3bo45bo3bo35bo3bo55b2o3b2o40bo3bo54b2o3b2o$181bo54bo3b2o52bo3bo45bo6bo
41bo6bo42bo6bo32bo6bo55bo3bo39bo6bo54bo3bo$180b2o52bo6bo51bo5bo44b2o2b
3o42b2o2b3o43b2o2b3o33b2o2b3o54bo6bo38b2o2b3o53bo6bo$180bobo51b2o2b3o
52b2o3b2o48bo48bo49bo39bo56b2o2b3o43bo55b2o2b3o$238bo55bo3bo249bo105bo
$292bo6bo$292b2o2b3o$296bo3$257b2o$257bobo$257bo91$369bobo$369b2o$370b
o3$366bo$364b2o98bo$365b2o48bo49b2o$416bo47b2o56bo$414b3o106b2o$358bob
o59bo101b2o$286bo72b2o60bo$287bo71bo9bo42bo6b3o95bo7bo$285b3o75bobo3bo
bo41b2o103b2o5bobo$364b2o3b2o41b2o103b2o6b2o$364bo56bobo43bobo6bo$293b
o127b2o45b2o4b2o$291b2o129bo45bo6b2o45b2o4b3o$286bobo3b2o224b2o3bo4bo$
287b2o68b2o65b2o93bo2bo6bo$287bo70bo3b2o49b2o10bo45bo5b2o39bo3b2o$283b
2o7bo64bo5bo50b2o3b2o3bo41bo4b3o4bo38bo5bo$284bo7bobo62b2o4bobo47bo6bo
3b2o41b2o5bo2bo39b2o4bobo$283bo8b2o70b2o53bo5bo40b2o5bo3b2o45b2o$283b
2o72b2o60b2o4bobo44bo5bo38b2o$357bobobo64b2o44b2o4bobo36bobobo$283b2o
75b2o57b2o44b2o12b2o39b2o$283bobobo131bobobo42b2o4b2o$286b2o134b2o41bo
6bobobo$475b2o190$446bobo$447b2o$447bo78bo$527bo$456bo68b3o$379bo77bo$
186bo190bobo69bobo3b3o75bobo$184bobo191b2o70b2o8bobo70b2o$185b2o3bo
259bo9b2o72bo$180bo8bo65bo127bobo75bo$181bo7b3o3bobo55bobo63bo63b2o
147bo58bo131bo$179b3o13b2o57b2o3bo60bo57bobo3bo145bobo57bo68bo64bo$
196bo61bo59b3o58b2o150b2o57b3o59bobo3bo63b3o$258b3o118bo273b2o3b3o$
328bo324bo$327bo217b2o41b2o6b2o67b2o58b2o$254b2o66b2o3b3o54b2o63b2o4b
2o81b2o4bobo40bobo5bobo58b2o6bobo57bobo$252bo2bo65bo2bo54bo2bo2bo63bo
3bo2bo81bo2bo3bo41bo4bo3bo59bo2bobo3bo52b2obo3bo$252b3o66b3o55b6o65b6o
83b6o43b8o61b3ob4o53bob5o$330b2o319b2o$186b2obo62b2obo65b2obo5bobo46b
2obo67b2obo85b2obo47b2obo56bobo6b2obo56b2obo$185bob2obo60bob2obo63bob
2obo4bo47bob2obo65bob2obo83bob2obo45bob2obo57bo5bob2obo54bob2obo$184bo
5bo8b2o49bo5bo62bo5bo51bo5bo64bo5bo82bo5bo44bo5bo62bo5bo53bo5bo$184bob
2obo9bobo48bob2obo63bob2obo52bob2obo65bob2obo83bob2obo45bob2obo63bob2o
bo54bob2obo$185bob2o10bo51bob2o65bob2o54bob2o67bob2o85bob2o47bob2o65bo
b2o56bob2o70$448bobo$449b2o$449bo78bo$529bo$458bo68b3o$381bo77bo$188bo
190bobo69bobo3b3o75bobo$186bobo191b2o70b2o8bobo70b2o$187b2o3bo259bo9b
2o72bo$182bo8bo65bo127bobo75bo$183bo7b3o3bobo55bobo63bo63b2o147bo58bo
131bo$181b3o13b2o57b2o3bo60bo57bobo3bo145bobo57bo68bo64bo$198bo61bo59b
3o58b2o150b2o57b3o59bobo3bo63b3o$260b3o118bo273b2o3b3o$330bo324bo$329b
o217b2o41b2o6b2o67b2o58b2o$256b2o66b2o3b3o54b2o63b2o4b2o81b2o4bobo40bo
bo5bobo58b2o6bobo57bobo$254bo2bo65bo2bo54bo2bo2bo63bo3bo2bo81bo2bo3bo
41bo4bo3bo59bo2bobo3bo52b2obo3bo$254b3o66b3o55b6o65b6o83b6o43b8o61b3ob
4o53bob5o$332b2o319b2o$188b2obo62b2obo65b2obo5bobo46b2obo67b2obo85b2ob
o47b2obo56bobo6b2obo56b2obo$188bob2o62bob2o65bob2o5bo48bob2o67bob2o85b
ob2o47bob2o58bo6bob2o56bob2o$185b2obo12b2o48b2obo65b2obo54b2obo67b2obo
85b2obo47b2obo65b2obo56b2obo$185bobo2b2o9bobo47bobo2b2o62bobo2b2o51bob
o2b2o64bobo2b2o82bobo2b2o44bobo2b2o62bobo2b2o53bobo2b2o$188b2obo9bo52b
2obo65b2obo54b2obo67b2obo85b2obo47b2obo65b2obo56b2obo57$448bobo$449b2o
$449bo78bo$529bo$458bo68b3o$381bo77bo$188bo190bobo69bobo3b3o75bobo$
186bobo191b2o70b2o8bobo70b2o$187b2o3bo259bo9b2o72bo$182bo8bo65bo127bob
o75bo$183bo7b3o3bobo55bobo63bo63b2o147bo58bo131bo$181b3o13b2o57b2o3bo
60bo57bobo3bo145bobo57bo68bo64bo$198bo61bo59b3o58b2o150b2o57b3o59bobo
3bo63b3o$260b3o118bo273b2o3b3o$330bo324bo$329bo217b2o41b2o6b2o67b2o58b
2o$256b2o66b2o3b3o54b2o63b2o4b2o81b2o4bobo40bobo5bobo58b2o6bobo57bobo$
254bo2bo65bo2bo54bo2bo2bo63bo3bo2bo81bo2bo3bo41bo4bo3bo59bo2bobo3bo52b
2obo3bo$254b3o66b3o55b6o65b6o83b6o43b8o61b3ob4o53bob5o$332b2o319b2o$
188b2obo62b2obo65b2obo5bobo46b2obo67b2obo85b2obo47b2obo56bobo6b2obo56b
2obo$188bob2o62bob2o65bob2o5bo48bob2o67bob2o85bob2o47bob2o58bo6bob2o
56bob2o$186bobo12b2o49bobo66bobo55bobo68bobo86bobo48bobo66bobo57bobo$
186b2o2b2o9bobo48b2o2b2o63b2o2b2o52b2o2b2o65b2o2b2o83b2o2b2o45b2o2b2o
63b2o2b2o54b2o2b2o$191bo9bo55bo68bo57bo70bo88bo50bo68bo59bo$190bo65bo
68bo57bo70bo88bo50bo68bo59bo$190b2o64b2o67b2o56b2o69b2o87b2o49b2o67b2o
58b2o39$448bobo$449b2o$449bo78bo$529bo$458bo68b3o$381bo77bo$188bo190bo
bo69bobo3b3o75bobo$186bobo191b2o70b2o8bobo70b2o$187b2o3bo259bo9b2o72bo
$182bo8bo65bo127bobo75bo$183bo7b3o3bobo55bobo63bo63b2o147bo58bo131bo$
181b3o13b2o57b2o3bo60bo57bobo3bo145bobo57bo68bo64bo$198bo61bo59b3o58b
2o150b2o57b3o59bobo3bo63b3o$260b3o118bo273b2o3b3o$330bo324bo$329bo217b
2o41b2o6b2o67b2o58b2o$256b2o66b2o3b3o54b2o63b2o4b2o81b2o4bobo40bobo5bo
bo58b2o6bobo57bobo$254bo2bo65bo2bo54bo2bo2bo63bo3bo2bo81bo2bo3bo41bo4b
o3bo59bo2bobo3bo52b2obo3bo$254b3o66b3o55b6o65b6o83b6o43b8o61b3ob4o53bo
b5o$332b2o319b2o$188b2obo62b2obo65b2obo5bobo46b2obo67b2obo85b2obo47b2o
bo56bobo6b2obo56b2obo$188bob2o62bob2o65bob2o5bo48bob2o67bob2o85bob2o
47bob2o58bo6bob2o56bob2o$186bobo12b2o49bobo66bobo55bobo68bobo86bobo48b
obo66bobo57bobo$186b2o2b2o9bobo48b2o2b2o63b2o2b2o52b2o2b2o65b2o2b2o83b
2o2b2o45b2o2b2o63b2o2b2o54b2o2b2o$191bo9bo55bo68bo57bo70bo88bo50bo68bo
59bo$189bo65bo68bo57bo70bo88bo50bo68bo59bo$189b2o64b2o67b2o56b2o69b2o
87b2o49b2o67b2o58b2o107$580bobo$580b2o$581bo3$578bobo$578b2o$579bo3$
567bo$568b2o$567b2o10bo$579bobo$579b2o9$480bo9bo$481b2o7bobo$410bob2o
10bo48bob2o3b2o8b2o67bob2o$409bob2obo9bobo45bob2obo80bob2obo$409bo5bo
8b2o46bo5bo79bo5bob2o$410bob2obo57bob2obo80bob2obob2o$411b2obo59b2obo
82b2obo$594bobo$474b3o83b3o15bo15b2o$474bo2bo82bo2bo14bobo14bo$476b2o
84b2o14b2o3$577b2o$421bo155bobo$404b3o13b2o155bo$406bo7b3o3bobo166b2o$
405bo8bo174bobo$410b2o3bo173bo$409bobo$411bo2$506b3o$506bo$507bo$550b
2o$551b2o14bo$550bo15b2o25bo$566bobo23b2o$554b2o21b3o12bobo$555b2o20bo
$554bo23bo114$580bo$581bo$579b3o10$598bo15bo$342bo254bo15bo$340bobo
216bo37b3o13b3o$341b2o214bobo$558b2o$566bobo18bo$567b2o19bo$567bo18b3o
2$224bo366bo$222b2o365b2o$223b2o64bo300b2o$213bo73bobo$211bobo2bobo62b
o6b2o172bo7bo$212b2o3b2o3bo56bobo11bobo105bo61b2o6b2o$217bo4bobo55b2o
12b2o105bobo58b2o6b2o$222b2o60b2o8bo106b2o3bobo47b3o$283bobo120b2o50bo
106bo$285bo4bo74b2o40bo49bo6b2o100bo$290b2o63bo9bo35b2o62b2o3b2o92b3o$
214b2ob2ob2o57b3o7bobo64b2o8bo35b2o60bo5bo$213bob2ob2obo59bo22b2obo47b
2o8b2o2b2obo28bo4b2o63bo$210bobo67bo23bob2o61bob2o33bo65bo$210b2o140b
2o53bo65bo106b2o$351bobo52b2o2b2obo58b2o2b2obo100bo$301b2ob2ob2o44bo
12b2ob2ob2o31bo4bob2o57bo4bob2o101bo$300bob2ob2obo56bob2ob2obo31bo65bo
110bo$297bobo62bobo41b2o64b2o109bo$297b2o49bo13b2o44bob2ob2o59bob2ob2o
103bo$348b2o58b2ob2obo59b2ob2obo102b2o2b2obo$347bobo232bo4bob2o$582bo$
583b2o$585bob2ob2o$585b2ob2obo2$352b3o$354bo$353bo2$564b3o$566bo$565bo
3$559b2o$558bobo$560bo22$590bo$591bo$589b3o9$341bo$339bobo266bo15bo$
340b2o265bo15bo$569bo37b3o13b3o$567bobo$568b2o$576bobo18bo$577b2o19bo$
577bo18b3o$458bo7bo$459b2o6b2o132bo$285bo111bo60b2o6b2o131b2o$283bobo
111bobo52b3o145b2o$277bo6b2o111b2o3bobo49bo$275bobo11bobo110b2o49bo6b
2o$276b2o12b2o111bo57b2o3b2o$280b2o8bo106b2o61bo5bo$279bobo82b2o32b2o
67bo$225bo55bo4bo67bo9bo32bo4b2o64bo106bo$223b2o61b2o67b2o8bo36bo66bo
106bo$224b2o49b3o7bobo66b2o8b2o2b2obo31bo64b2o2b2obo98b3o$214bo62bo22b
2obo64bob2o30b2o2b2obo57bo4bob2o$212bobo2bobo56bo23bob2o47b2o48bo4bob
2o57bo$213b2o3b2o3bo126bobo48bo66b2o$218bo4bobo126bo12b2o2bo32b2o66bo
2bo116b2o$223b2o72b2o2bo62bob4o34bo2bo62b4o116bo101b2ob2obo$296bob4o
59bobo40b4o183bo101bobob2o$293bobo51bo13b2o5b2o102b2o118bo98bo$293b2o
5b2o45b2o19b2o36b2o64b2o119bo97b2o$215b2o2bo80b2o44bobo57b2o186bo98bo
2bo$214bob4o373b2o2b2obo92b4o$211bobo378bo4bob2o$211b2o5b2o372bo102b2o
$218b2o373b2o100b2o$595bo2bo$351b3o241b4o$353bo$352bo244b2o93bo$597b2o
88bo3b2o5b2o$687b2o2bobo4bobo$686bobo9bo$574b3o$576bo$575bo$687b2o$
686bobo$569b2o117bo$568bobo$570bo136$389bobo$379bo9b2o$378bo11bo$378b
3o2$385bo$351bobo30bo$352b2o30b3o$352bo$395bo$393b2o$385bobo6b2o$385b
2o$386bo2$531bobo$169b2o361b2o$164bo2bo2bo170bo190bo$164b5o2b2o169b2o$
169b2o2bo167b2o$166b2o4b2o$166bo49bobo$167bo49b2o238bo58bo$166b2o49bo
237bobo59b2o12bo$456b2o58b2o14bo$230bobo128b2o167b3o46bo$165b2o63b2o
129bo2bo176bo36bo$160bo4bobo2b2o45bobo11bo127b2o2b4o168bobo2bo37b3o$
160b2o3bo4bobo45b2o138bo2b2o4bo168b2o2b3o120bo$159bobo8bo47bo139b2o3b
3obo168bo39bo87bo$232bo130bo2bo210bo6bo77b3o$231bo132bo210b3o5bo$231b
3o127b3o219b3o80b3o$276b2o83bo227bo76bo63bo$276bo2bo308b2o71b2o4bo52bo
bo6bo$274b2o2b4o297bo8bobo69bobo58b2o6b3o$216b2o9bo45bo2b2o4bo184bo
110bobo79bo60bo4bo$216bo2bo2bo3bo46b2o3b3obo185b2o109b2o78b2o64bobo$
214b2o2b5o3b3o41bo7bo2bo185b2o63b2o47b2o78b2o61bob2o$213bo2b2o50bobo8b
2o167b2o82bo2bob2o42bo2bob2o73bo2bob2o56bo$213b2o3b3o48b2o13bo163bo2bo
78b2o2b2obo41b2o2b2obo72b2o2b2obo51bo4b2o$218bo2bo60b2o162b2o2b4o11b2o
62bo2b2o4bo39bo2b2o4bo70bo2b2o4bo51bo5b2o$219b2o5b2o55b2o160bo2b2o4bo
11b2o61b2o3b2ob2o39b2o3b2ob2o70b2o3b2ob2o49b3o5bo2bob2o8b3o$225b2o47b
2o169b2o3b2ob2o10bo68bo48bo79bo59b2o2b2obo9bo$227bo45bobo174bo68bo12bo
bo46bobo77bobo58bo2b2o4bo9bo$275bo6bo165bobo68b2o11b2o47b2o78b2o59b2o
3b2ob2o$281b2o165b2o68bobo206bo$277bo3bobo98bo342bobo$276b2o103b2o342b
2o$276bobo102bobo$373b2o$372b2o$374bo$217b3o$219bo$218bo68bo$286b2o$
286bobo4$367bobo$367b2o$368bo4$367b2o$367bobo$367bo$363b2o$362bobo$
364bo!

(there are a few depth-3 results here, since my automatic depth-3 search was not exhaustive).

Most of my remarks from the linked post are still true, but I would like to add some clarifications :
- the simple 3G block addition component can solve 25% of all pseudo-xs22 in 202s on my machine, probably one of the first component to try.
- the boat-bit does only 3% in 77s (so probably not the first thing to try)
- doing the searches roughly in the order prescribed can removed 30% to 70% of the remaining ones each time
- after an exhaustive depth-1 search and nothing more, only 293 still-lifes remained (about 0.05%)

[b-engine]

My apgsearch instance found this natural occurrence of {maybe called) elevener tie snake siamese eater:

Code: Select all

x = 16, y = 16, rule = B3/S23
bobobbbbbobbbbob$
bobboooooobbobob$
obbboobboobbbbbo$
obboobbboboobbbb$
oboobbobobbbobob$
ooooobooobobbobb$
oooobbbbbbbbobbb$
obobbboooboooobo$
bboooobbobbbobob$
obobbobboobbbobo$
obbobboooboboobo$
oobooobbbooooooo$
obbbobbbobboobob$
booobobooooobbbo$
obbobbbboobboobo$
oobbbooboobbbbbo!

The specific reaction that creates it:

Code: Select all

x = 33, y = 24, rule = B3/S23
21b2o$21b2o4$21b2o$11b2o8bob2o$11b2o9b3o$23bo4$b2o$obo28b2o$2o29b2o2$
23bo$22bobo$23bo4$11b2o$11b2o!

Could this lower the cost of synthesis?

[dvgrn]

Could this lower the cost of synthesis?

Probably not in this case, since the cost of synthesizing xs22_oe13zi3s453z11 incrementally is already so low (12G).

At least ... I'm thinking that the latest stage where all the pieces of the soup reaction are recognizable and easy to synthesize separately would be

Code: Select all

x = 25, y = 18, rule = B3/S23
17b2o3b2o$17b2o3b2o3$15b4o$14bo2b2o$b2o11bobo$obo12bo$2o2$23bo$22bobo
$23bo4$11b2o$11b2o!

The expected cost of synthesizing those pieces is already 12G or a little more, and then cleanup afterwards will cost a few gliders also.

[b-engine]

The expected cost of synthesizing those pieces is already 12G or a little more, and then cleanup afterwards will cost a few gliders also.

I expect the final pattern to have cost of 22G if synthesized this way:

Code: Select all

x = 152, y = 147, rule = B3/S23
140bo$139bo$139b3o$129bo$128bo$128b3o2$150bo$149bo$149b3o17$14bo$15bo
$13b3o33$82b2o$82b2o4$82b2o$72b2o8bob2o$72b2o9b3o$84bo4$62b2o$61bobo38b
2o$61b2o39bobo$102bo$84bo$83bobo$84bo4$72b2o$72b2o48$3o$2bo$bo10$12b3o
$14bo$13bo!

[ElijahKen]

These two steps in the synthesis of xs22_g89ngn96z1252 are a little redundant:

Code: Select all

x = 79, y = 24, rule = B3/S23
76bobo$76b2o$77bo3$2bo9bobo44bo$bobo8b2o44bobo$obo10bo43bobo$o2b3o42bo
8bo2b3o$b2o3bo8b3o31b2o7b2o3bobo$3bobobobo5bo32b2o10bobob2o$3bobo2b2o
6bo43bobo$4b2o55b2o$74bo$13b2o58b2o$13bobo57bobo$13bo$53b2o$52bobo$54b
o$68b2o$56bo10b2o$55b2o12bo$55bobo!

It is 4g cheaper to do the second step with the longer hook:

Code: Select all

x = 28, y = 19, rule = B3/S23
11bo$10bobo$9bobo$o8bo2b3o$b2o7b2o3bo$2o10bobobobo$12bobo2b2o$13b2o$
26b2o$25b2o$27bo2$5b2o$4bobo$6bo$20b2o$8bo10b2o$7b2o12bo$7bobo!