ConwayLife.com - A community for Conway's Game of Life and related cellular automata
Home  •  LifeWiki  •  Forums  •  Download Golly

17 in 17: Efficient 17-bit synthesis project

For discussion of specific patterns or specific families of patterns, both newly-discovered and well-known.

Re: 17 in 17: Efficient 17-bit synthesis project

Postby googoIpIex » April 30th, 2019, 12:56 pm

Currently, there are:
21 unsynthesised 17-bitters,
417 17-bitters which require over 17 gliders,
And 129 17-bitters which need 17 gliders.
All other 17 bit still-lives can be synthesized in less then one Glider per bit.
woomy on a vroomy
googoIpIex
 
Posts: 253
Joined: February 28th, 2019, 4:49 pm
Location: Sqrt(-1)

Re: 17 in 17: Efficient 17-bit synthesis project

Postby calcyman » April 30th, 2019, 1:30 pm

googoIpIex wrote:Currently, there are:
21 unsynthesised 17-bitters,
417 17-bitters which require over 17 gliders,
And 129 17-bitters which need 17 gliders.
All other 17 bit still-lives can be synthesized in less then one Glider per bit.


As of the last Catagolue update, those numbers are 15, 415, and 126, respectively.

EDIT: There's now only one unsynthesised 17-bit still-life, xs17_8e12kozca23.
What do you do with ill crystallographers? Take them to the mono-clinic!
User avatar
calcyman
 
Posts: 2058
Joined: June 1st, 2009, 4:32 pm

Re: 17 in 17: Efficient 17-bit synthesis project

Postby BlinkerSpawn » April 30th, 2019, 9:50 pm

Old component I'm surprised I still remember discovering might help with that:
x = 18, y = 25, rule = Life
12bo$11bobo$11bo2bo$10b2o3bo$14b2o4$17bo$17bo$17bo$11b2o$10bo2bo$11b2o
2b3o$15bo$16bo7$b2o$obo$2bo!

EDIT: Naive synthesis methods give me... 17G!
x = 63, y = 32, rule = Life
o$b2o$2o3$48bo$16bo30bobo$15bo31bo2bo10bo$3bo11b3o28b2o3bo8bo$4b2o44b
2o8b3o$3b2o$40b2o$39bo2bo$13bo25bo2bo10bo$3b3o6b2o26b2o11bo$5bo6bobo
38bo$4bo42b2o$46bo2bo$47b2o2b3o$37bo13bo$37b2o13bo$36bobo19bo$57b2o$
57bobo$44b3o$44bo$45bo3$54b3o$54bo$55bo!
LifeWiki: Like Wikipedia but with more spaceships. [citation needed]

Image
User avatar
BlinkerSpawn
 
Posts: 1876
Joined: November 8th, 2014, 8:48 pm
Location: Getting a snacker from R-Bee's

Re: 17 in 17: Efficient 17-bit synthesis project

Postby Goldtiger997 » April 30th, 2019, 10:14 pm

BlinkerSpawn wrote:EDIT: Naive synthesis methods give me... 17G!
x = 63, y = 32, rule = Life
o$b2o$2o3$48bo$16bo30bobo$15bo31bo2bo10bo$3bo11b3o28b2o3bo8bo$4b2o44b
2o8b3o$3b2o$40b2o$39bo2bo$13bo25bo2bo10bo$3b3o6b2o26b2o11bo$5bo6bobo
38bo$4bo42b2o$46bo2bo$47b2o2b3o$37bo13bo$37b2o13bo$36bobo19bo$57b2o$
57bobo$44b3o$44bo$45bo3$54b3o$54bo$55bo!


Nice! Here's a reduction to 15G:

x = 103, y = 32, rule = B3/S23
o$b2o$2o3$48bo39bo$16bo30bobo29bo7bobo$15bo31bo2bo29bo6bo2bo10bo$3bo
11b3o28b2o3bo26b3o5b2o3bo8bo$4b2o44b2o38b2o8b3o$3b2o2$79b2o$13bo64bobo
12bo$3b3o6b2o66bo12bo$5bo6bobo78bo$4bo41bo40b2o$47b2o37bo2bo$46b2o3bo
35b2o2b3o$51b2o38bo$50bobo23b3o13bo$78bo19bo$77bo19b2o$97bobo$39b2o$
40b2o$39bo3$94b3o$94bo$95bo!
User avatar
Goldtiger997
 
Posts: 524
Joined: June 21st, 2016, 8:00 am
Location: 11.329903°N 142.199305°E

Re: 17 in 17: Efficient 17-bit synthesis project

Postby Extrementhusiast » April 30th, 2019, 10:29 pm

xs17_2l2s0qmz121 in twelve gliders, if it hasn't been done already:
x = 73, y = 33, rule = B3/S23
49bo$47b2o$28bo19b2o$26bobo$27b2o5b2o$35b2o$34bo3bobo$38b2o$39bo9b2o$
49bobo$41bo7bo$41b2o$6bo33bobo$4bobo$5b2o2$7bo$7bobo$7b2o58bo3bo$39b2o
b2o22bobobobo$39bo3bo23bo3bo$40b3o25b3o2$40b2obo24b2obo$40bob2o24bob2o
$b2o$2b2o4b2o$bo6bobo2b2o$8bo3b2o$14bo$3o$2bo$bo!
I Like My Heisenburps! (and others)
User avatar
Extrementhusiast
 
Posts: 1768
Joined: June 16th, 2009, 11:24 pm
Location: USA

Re: 17 in 17: Efficient 17-bit synthesis project

Postby Freywa » April 30th, 2019, 10:58 pm

As of this post, all strict 17-bit still lifes have been explicitly synthesised, and their syntheses verified.

There are 551 of them that currently require at least 17 gliders. My ultimate goal is 17 in 16, not 17 in 17 as the title of this thread says.
x = 1108, y = 192, rule = B3/S23
b2o18b2o18b2o2b2o19b2o18b2o15b2ob2o13bo22bo17b2o18b2ob2o18bo15b2o18b2o
23b2o18bo13b2ob2o16bo3b2o14bo19bo23b2o13b2o18bo19b2o3bo14b2o18b2o18b2o
3b2o13b2o2bo15b2o3b2o13b2o20bo2b2o16bo18b2o19bo20b2o15b2o18bo22b2o16bo
21bo18b2ob2o13b2o2b2o17bo17b2ob2o15bo17b2o22bo18bo17bo21bo16b2o2bo15b
2o21bo17bo21bobo18b2o18b2o$2bo18bo3b2o14bobo2bo15b2o2bo14b2o3bo15bobob
o14b3o2b2o14b3o18bo19bobo18bobo15bo18bo20b2o2bo18bobo13bobo2bo13bobo2b
o14bobo17bobo17b2o4bo13bo2bob2o13b3o2b2o13bo3bobo13bo2bobo14bo4b2o13bo
bobobo13bo2bobo14bobobobo13bobo2b2o14bobo2bo14b3o17bo2bo16b3o16b2obo2b
o13bo2bob2o13bobo3b2o12b2o2bo16bobo18b3o19bobo13bo2bo2bo16bobo15bobobo
15bobo17bo21bobo16bobo16b3o18bobo15bo2bobo14bo19bobobo15bobo19bob2o17b
o2bo17bobo$2bob2o17bo2bo16b2o16bo2bobo14bo2bobo15bobobo17bo2bo13bo19bo
2b2o16bo3bo16bobo16bob2o17bo17bo2bobo17bobo14bobob2o14b2o3bo14bo2bo16b
obo2b2o13bo2bo17b2obo17bo2bo14bo2bo2bo13b2ob2o16bo3bo15bobo16b3obo16bo
bo17bo3bo13bo2b3o14bo3b2o14bobo2bo14bo5b2o12bo3bobo13bobo3bo13bo2bo2bo
13bobobo16bo2bo16bo19b3o2bo14bobobo14bo2bobo14bobo3bo13bobobo15bo22bo
2bo16bobo18bo16bobobo15b2obo17bo17b2obobo14bo2bob2o15bo19bob2o21bo$3bo
2bo15b3o17bo19b2obo16b2obo15b2o2bo15b2ob2o15b2o18b2obo2bo15b2obo16bobo
bo15bobo16b2o18bob2o15bo2bo17bobo18b4o15b2obo17bo3bo13bobob4o14bo2bo
15b2obo16bob3o15bo18b5o15bobobo18bo16bobobo15b2obo16b2o18b3o2bo14bo4bo
14b2obo2bo14b2obo15bob3o15b2obobo14bo2b2o14b2ob2o15bo2b2o15bo3b2o14b2o
2bo15b3obo15bo2b3o14bobo2bo14b2o19b2o2b2o14bobo2bo14b2o2bo15bobo2bo15b
obobo14b2o20bobo15bob2obo13bobob2o16bo2bobo17b2o$5bo36bo20bo19bo18bo
19bo21bo17bo3b2o13bobobo15b2o3b2o13bobo17bo19b2o18b3obo18bo18bo20bo17b
ob3o15b2obo2bo13bo2b2o16bob2o16bo18bo39bo2bo15b2o18bo2bo16bo2b2o17bo
19bob2o15b4o16bob2o17bo19bo19bobo16b2o18bo18b2o2bo15b3o17bo21bo17bobo
17bob3o16bo17bo19bobob2o14bobob2o14b2o2b2o14bo4b2o13bo19b2o2bo15b2o18b
2obobo17bo2b2o16bo$b4o15b3o17b2o19bobo17bobo16bo19bobo17bob2obo14bobo
17bobo17bo19bobobo16bo20bo21bo18bo20bo15b4o19bo37bo19bo22bo15b2o21bo
19b2o16bo18b2o21bo16bobo20bo19bo16bo20bobo17bo21bo19bo18bo20b2o18bo16b
o19b2o20bo19bo17b2o18bo19bo2bo16bo2bo17bo18b2o19bobo16bo20bo21bo16b3o
21bo$2bo17bo2bo16bo19bobo17bobo17b2o18b2o18b2obobo14b2o19bo19bobo16bo
2bo16b2obo16bo22bo19b2o18b2o15bo23bo36b2o18b2o20b2o15bo21bobo38bo38b2o
16b2o20b2o17bo18b2o19b2o18b2o19b2o17bo18b2o21bo36b2o18bo42bo16bo3b2o
15b2o18bobo17bobo16bo39b2ob3o15bo18bo22b2o15bo21b2o$o20b2o19bo18bo19bo
62bo57b2o17b2o19bobo15b2o18bobo58bo21b2o96bo20b2o38b2o97b2o98b2o17bo
23bo56bo40b2o17bo2bo17bo19bo19bo17b2o44bo13b2o18b2o60bo$2o39b2o199bo2b
o34b2o58b2o118b2o279bo21b2o55b2o60bobo15bo104b2o96bo$243b2o495b2o141bo
16b2o198b3o$1100bo10$2bo18b2o18b2o2b2o18b2o18bo17b2o18b2o19b2o17bo19b
2o20b2o14b2o18b2o19bo21bo15b2ob2o2b2o12b2o18bo19bo22bo15b2o2b2o14bo3b
2o14b2o3b2o13b2o18b2o3b2o13b2o2b2o14b2o2bo15b2o18b2o20bo20b2o17b2o19b
2o18b2o16bo19b2o2b2o17b2o16b2o19bo20b2o14b2o21b2o17b2o21b2o13b2o23b2o
18bo18bo18b2o15b2o18b2ob2o18bo17b2o17b2o23b2o$bobo17bo19bobo2bo14b2o3b
o14b2obobo15bobo19bo17b3obo15bobo17bo2bo20bo15bo18bo19bobo19bobo15bobo
bo2bo11bo2bob2o13bobo17bobo17b2obobo14bo2bo2bo13b3o2bo14bo2bo2bo13bo2b
obo14bo4bo14bobo2bo14bo2bobo14bobob2o14bobo18bobo17b3obo15bo2bo16b3obo
14b2o2bo15bobob2o14bobo2b2o13b2o2bo16bo2bo17bobo18bobo14bo2b2o18bo17bo
bo17bo2bobo14bo23bo17b3o17bobo16bobo15bo2bobo14bob2obo14bobobo15bobo
17b2o22bo2bo$2bo2bo17bob2o16b2o16bo2bo16bob2obo15bobobo14b3o17bo4bo14b
o2bo17bob2o17b3o16bobo18bo17b2o19bo2bo15bo3b2o14bob2obo14bo2b2o15bobo
17bobob3o14b2obo17b2o16bob3o15b2ob2o16bo3bo15b2o17b3obo16bobobo15b3o
15bo2b3o14bo5bo13bobo2bo14bo4bo14bob2o16bobobo15bo19bobobo16bobobo15bo
bobo15b3o17bobo16bo3b3o13bo19bobo2bo14bo22bobo16bo19bobobo14bo19bob2ob
o18bo14b2obo16bo2b2o37bo2bobo$3b2obo15b3obo15bo20b3o19bo15b2o2bobo13bo
2b3o14b2o3b2o13b2ob2o17bo19bo19bobo16b2o21bo15bo3bob2o13b3o17bo19b2o2b
o16bo2bo14bobo4bo14bob2o15bo19bo19bo18b5o15bo22bo16bobo2bo14bo3bo15b2o
3bo14bo5bo13bo4bo14b2obo17bo18bobo2bo14b6o14bo2b2o14b2obo2bo13bo2bobo
14bo3bo15b2obo16b4o2bo13bob4o14bo2b2o15b2o19b4o16bo2b2o16bobobo14bob4o
15bo3bo14b2obo18bobo15bobobo14b4o18b2ob2o$5bo36bo39b2o18bo3bo16bo2bo
16bo18bo18bobo17b2o18bobobo15bo19b5o15b2o3bobo15bo19b2o18b2o16bob3o15b
2o3b2o13bo19bo20bo18bo39b2o17b2o18bo2b2o15b3obo17bob2o15bo3b2o14b4o16b
ob2o16bo20bob2o16bo2bo15b2o18bob2o15b2obo16b3obo16bo20bo17bo3bo15b2o
19bo17bo19bob2obo14b2o3bo14b2obo2bo13bobo3b2o12bobob2o14b2o2b2o14b2o2b
o15bo2bo19bo$b3o16b3o17b2o19b3o18bo18bo19bobo16bobo19bo17bobo17bo19bob
obo16bob3o14bo21bo42bo16b2o19bo37bo18b2o18b3o20b2o18bo19bo17bo18b2o22b
o15bobo20bobo36bo17b2o21bo39bo18bo20bo20bo15b2o20bo19bo19bo19bo17b3o
17bo2bo16bo22bo16b2o19bo18bo20bo22b2o15bobo$o2b2o15bo2bo16bo19bo2bo16b
obo17bo19bobo17b2o18b2o18bo19bo19bobo19bo2bo14bob2o16bo42bo19bo20bo36b
2o17bo19bo23bo17bobo15b3o19bo40bo16b2o22b2o16b2o17b2o17bo21b2o38bo18b
2o17bobo20bo16bo20bo21bo16bo22b2o18bo17bobo17b3o19b2o57bo17bo24bo14bob
o$2o20b2o17bo19b2o17b2o18b2o19bo38bo20bo19b2o18b2o17bobo18bobo16b2o41b
2o16bo20bobo57bo40bo19bo16bo20b2o40b2o57b2o37bo60b2o36b2o21b2o16bo19b
2o21bo15b2o23bo16bo19bo20bo77b2o17b2o20b3o16bo$40b2o120bo19bo19bo37b2o
99b2o19b2o57b2o40b2o197bo137b2o41b2o38b2o17b2o158bo$161b2o18b2o17bo
460b2o220bo$200b2o682bo$883b2o9$2bo18b2o18b2o22b2o16b2o18bo21b2o16b2o
18bo19bobo19b2o19b2o13b2o19bo21b2o14b2ob2o16b2ob2o15bo19b2o21bo2b2o11b
2o2bo15bo3b2o14b2o18b2o2bo15b2o18b2o18b2o18b2o18b2o20bo2b2o16bob2o15b
2o19b2o18b2o16bo19bo22b2o16bo20bo20b2o14b2o19b2o19b2o18bo17b2o23b2o18b
2o17bo15b2ob2o15b2o18b2o3b2o16bo17b2ob2o14b2o23bo$bobo17bo19bobob2o14b
2o3bo15bobo17bobo21bo15bobo17bobo17bob2o20bo14b2o2bobo13bo19bobo2b2o
15bo2bo14bobobob2o11bo2b2obo13bobo17bo2bobo14b2obobo2bo11bo2bobo14b3o
2bo14bo2bo16bo2bobo14bo19bobo17bo2bo16bobo17bobo18bobo2bo14b3obo15bo2b
o16b3obo14b2o2bo15bobo3b2o12bobo17b2obo2bo14bobo18bobo17bo2bo14bo2b2o
17bo18bo2bo16bobo17bo23bo18bobo16bobo15bob2o15bobo17bo2bo2bo13bobobo
17bob2o14b2o22bobo$2bo2bo17bob2o16b2obo14bo2bo17bo19bo2bo15bo2bo16bo
19bo2bo17bo20b3o16bo2bo17bo17bo2bo2bo14bob2o15bo3b2obo12bo5bo13bo2b2o
15b2ob2o15bobobobo14b2obo17b2o16bob3o15b2obo17bo20bo2b2o13b2obo17b3o
17b3o15bo2bobo14bo5bo13bob2obo14bo4bo14bob2o16bobo3bo13bobo17bob2obo
15bobo17bobobo16b2o17bobobo14bo2b2o15bo2bobo14bobo2b2o13bo22bobo16b3o
17bobobo14bo21bo18b2obo14b2obo17bo40bo2bo$3b2obo15b3obo15bo20b3o15b2o
2bo15b2ob2o15b5o15bob4o14b2ob2o17b2obo16bo18bob2o16b2o18bob2o15bo2bo
17b3o17b4obo14b2o2bo15bo18bobo2bo18b2o15bo19bo3bo15bo18b4o16b2obo2bo
15bo17bo3bo15bo3bo15b2obo16bo5bo13bo3bo15b2obo17bo18bob2obo14b2ob2o18b
o15b2ob2o15bo2bobo14b2o18b2obobo14b3o2bo14bob2o2bo13bo2b2obo13b2o19b4o
16bo3bo16bobobo15b2obo15b2o20bob2o16bobo14bob4o14b4o18b2obobo$5bo36bo
40b3o16bobo37bo3bo15bo18bobob2o14b2o18b2o18bo19b2o18b2obo19bo19bobo17b
2o16bo19b2o18b2o18bo20bob2o15bo22bo16bob2o15b2o18bob2o16b4o18bo18bob3o
15b3o17bob2o16bo20bobo18b2o15b2o19bo18b2obo16bo20bobo19b2o15bo2bobo14b
2o18bo18bo19bob3o15b2o3bo14bobob2o14bo19b3o17b2o2b2o14bobo2bo14bo2bo
19bo2b2o$b4o15b3o17b2o19b3o17b2o17bo5bo16bo19bo18bo17bobo17bo21bo18bo
20bo20bo58b2o16b2o40bo17b2o18b3o17b2o19b4o15bo19bo21bo37bobo20b2o15bob
o17bo22b2o16bo19b2o18bo20bo19bo17bo21bo19b2o19bobo16bo17bo5b2o13b2o18b
o18bo19b2o18bob3o15bo19bo20bo22b2o15bobo$2bo17bo2bo16bo19bo2bo16bo2bo
16b2o3b2o14b3o16b3o17b2o18b2o19b2o17bo21b2obo14bo19bobo57bo2bo16bo42bo
16bo19bo19bo21bo17b2o19b2o17bobo18b2o17b2o38b2o18b2o22bo16b2o18bo20bo
17b2o18bobo17bobo18b2o18bobo20bo15bo20b3obobo15bo18bo18bo39bobo37bo44b
o13bobo$o20b2o19bo17b2o19b2o37bo19bo19bo42bo16b2o18bobob2o14b2o18b2o
58b2o19bo40b2o17bo39bo18bo41bo17b2o19b2o101bobo36bo17b2o17bo19b2o19bob
o38bo37b2o21b2o15bobo18b2o19bo42bo34b2o41bobo15bo$2o39b2o77b2o39bo38bo
bo37b2o118b2o58b2o38b2o18b2o38bo144b2o35b2o38bo40bo116b2o39b2o41b2o77b
2o$160b2o38b2o318b2o219b2o40b2o11$2bo18b2o18b2o21b2o17b2o16b2o21b2o17b
o17b2o20b2o20b2o14b2o18b2o19bo19b2o16b2o19b2obobo14bo19b2o18b2o17b2o3b
2o13bo3b2o14b2o2b2o14b2o18b2o2b2o14b2o2b2o14b2o2b2o14b2o22b2obo15bo19b
o18b2o19b2o17b2o17bo19bo22bo17bo20bo17b2o17b2o19b2o20bo18bo19b2obo18b
2o19bo18bo16bo18b2o18b2o21b2o18bo18b2o22b2o$bobo2b2o13bobo17bobob2o14b
2o2bo16bo2bo16bo20bo2bo15bobo17bo21bo2b2o13b2o2bo14bo19bo19bobo19bo17b
o2bo15bo2b3obo12bobo17bo2bobo14bo2bo16bo2bo2bo13b3o2bo14bo2bo2bo13bo2b
2o15bo3bo15bo3bobo13bo2bo2bo13bobo18bo2bob2o13b3o17b3o2b2o13bobo19bobo
14bo2bo16bobo3b2o12bobo17b2obobo15bobo18bobo17bo2b2o13bo2b2o17bo18b3o
17bobo18bob2o19bo18bobo16bobo14bobob2o14bobo17bo2bob2o13bo2bobo16bobo
17bo3b2o15b2o2bo$2bobo2bo16bo18b2obo14bob2o17bobobo15bob2o15bo2bobo14b
o2bo16bo22bobobo14bobo16bo20bo17bo2bob2o14bo18bobobob2o12bo5bo13bo2b2o
15b2ob2o15b2obo17b2obo17b2o16bob3o15b2obo17bobo17bobobo14b2o2bo16b3o
15bobobo15bo19bo5bo13bo3b2o14b2obobo14b2o2b2o14bobo3bo13bobo17bob2o2bo
14bobo17bobo18bobobo14bobo16bo19bo19bobo2b2o19b2o15bo18b3obo15bobo16b
2obobo16bo18b2obo14b3o2bo16bob3o17bo2bo16bobo$4b2o16b2o2bo15bo20bo17b
2o2bo15b2o2bo15b2obob2o13bob2obo14b4o17bobo2bo15bob2o16bo18b2o18bob2ob
o13bo20b2obobo2bo11b5o15b2o2bo15bo20bo20bo17bo19bo19bo18b2o2b2o14b2o2b
o17b2o16bo3bo15bo2bob2o13b5o15bo5bo13b2obobo14bobob2o19bo14bob2obo14b
2ob2o18b2o14b2ob2o15bo2bobo14b2o2bo15b2obobo14b2o18bob4o14bo2b2obo16b
2o2bo13b4o16bo3bo16bobobo16bo2bo14b2o20bo2bo16b2o15b2o5bo15b3o18bob2o$
3bo19bob2o15bo20bo19b2o18bo19bo18bo2b2o18bo15bob2o16b2o18bobo17bo19b2o
18b2o23bo2b2o13bo19b2o16bo18b2o19b2o18bo20bo18bo20bobo16bo18b2o18bob3o
18b2obo17bo16bo3b2o14bo2bo15bo2bo19b2o17bobo17bobo15b2o19bo18b2ob2o15b
ob2o17bob2o16bo18bo3bo15b2o2bo14bobob2o14bo19bob3o15b2o3b2o13bobo3b2o
12bo19b3o2b2o13b2o18bo5b2o34b2o$b3o19bo16b2o19b2o18b2o18b2o17bobo20bo
17b4o16bo18bo19bobob2o15bo20bo21bo57b2o19b2o15bo21bo20b2o15b3o20b2o18b
obo15bo18bobo19bo40b2o18bobo14bobo19bobo15b2obo19bo17b2o18bo20bo19bo
18bo20bo19bo19bo20bo16b2o18b3o18bo18bo19b2o18bo19bo19bo20bo19b3o18bo$o
19b2obo16bo19bo19bobo17bo19b2o18b3o19bo17b2o19bobo16bobo2bo16b2o16bo
19bob2obo57bo20bo16b2o20bo20bo15bo23bo19bo16b2o18bo21bo39bo20b2o14b2o
21bo16bob2o18b2o17bo20bo17b2o18bobo17b2o19b2o17b2ob2o18bo19b2o38bo18bo
18b3o37b2o2b2o35bo19bo17bo2bo16bobo$2o18bobo18bo19bobo17bo19bobo36bo
19bo41b2o17bobo16bobo2bo14b2o18b2obobo56bo20bo18bo19b2o19bo40bobo75b2o
40bo118bo17b2o17bo19b2o58bo2bo20bo55b3o18b2o20bo39bo2bo34b2o18b2o18b2o
17b2o$40b2o20b2o38b2o56b2o60bo17b2o2b2o38bo57b2o19b2o15bo42b2o40b2o
116b2o117b2o37bo79bobo19b2o55bo82b2o$380b2o358b2o80bo11$2bo18b2o18b2ob
2o18bo20bo15b2o21bo20b2o14b2o19b2o19bo17b2o18b2o19b2o17bo18b2ob2o16b2o
2b2o14bo19b2o18b2o17b2o18bo19b2o2bo15b2o2b2o14b2o18b2o2b2o14b2o2bo15b
2obo18b2o3bo15b2o21bo15bo19b2obo17b2o16bobo17bo23b2o15b2o19b2ob2o14bo
17bo2b2o16b2o20bo18bo18b2ob2o17b2o16bo22bo16b2o17b2o18b2o2b2o17b2o18bo
2b2o14b2o21b2o$bobo17bo3b2o14bob2o16bo2b3o16b3o16bo2bo17bobo16bobobo
15bo19bo2b2o15bobo16bobo17bobo17bobo17b3o17bobo16bo2bo2bo13bobo2b2o13b
o2bo16bo2bo16bo2b2o15b3o17bo2bobo14bo2bo2bo13bo3b2o14bo3bobo13bo2bobo
14bob4o15bo2bobobo12b3o17b2o2bobo13bobo18bob2o14bo2bo16bob2o16bobo17b
2o2bobo14bo2bo17bobobo14bobobo14b4obobo14bo18b3o17bobo17bob2obo15bo2bo
15b3o19bobo14bo2bobo14bobo17bo2bo2bo13bo2bobo16bobo2bo14bo3b2o16bo2bob
2o$2bobo18bo2bo19bo14b3o3bo14bo19bobobo14bo2bobo14bob2o16bo21bobobo15b
obo18bo18b3o15bo2b2o18bo16bo2b3o14bob3o15bobo2bo14b2obo16b2o2b2o15b2ob
o17bo17bobo2bo14b2obobo15bo2bo16bobobo14b2o2bo20bo13bobo2b2o2bo10bo4bo
14bo2bo2bo13bo2b3o14b2o18b3o2bo14bo19bobo17bobo2bo15bobobo15bo2bobo14b
ob2obo19b2o12bo19bo3b2o14bobo23bo15bobobo17bo17bobo16bob2obo16bo18b2ob
o14b3o2bo16bobobo17bo2bo16bo2b2obo$4bo17b2obo16b2ob2o17bob2o13bo2b2o
15b2o2bo15b2obo2bo13bo3bo15b2o19b2o2bo18bo16b2obo16bo3bo15bobobo14b2o
2bo16b2o2bo15bo20b2o17bo2bo17b2obo19bo15bo19bob2o16bob2o15b2obo16b2o2b
o17b2o16b2o2b2o14bo5bobo11b4obo14bo2b2o15b2o3bo14bob2obo16b3o15b5o15b
2ob2o17b2o15b2o2bo15bo3b2o14b2o4bo13b2o18b2o18bob2o2bo13bo2b3o16b2obo
15b2obo2bo13b2o2bo16bobobo15bo3bo14b2o20bob2o16b2o15b2o3bo17b3o16b2o$
3bo19bob2o15bo20bo18b2obo16bo20bo2b2o14b3o18bo17bo2b2o15b4o16bo3bo15bo
b3o15b2o2bo15bob2o18bo19bo18bo19bob2o15b2o19b4o16b2o19bo18bo20bo18bo
18b2o18bo25b2o17bo15b2o18bo2b2o14bobob2o15bo22bo17bobo15b2o19b2o17b3o
17bo4b2o13bo20bo18bo2bobo14b2o2bo14bo2b2o15bo2bo2b2o12bo2b2o15b2o3b2o
13bobo3b2o12bo19b3o17b2o18bo41bo$3b2o15b3o17bobo17bobo20bo17bo18bobo
17bobo20bo16bobo17bo19bob3o15bo2bo18bo20bo17bo18b3o20b2o18bo18bo20bo
20bo16bobo17b2o18b2o17bo21bo20bo39b3o17bo18bobo17bo20bo17b2o18b2o19bo
19bo20bo16bo19bo21bo20bobo16bo17b2o18b2o19b2o17bo19b2o18bo19bo19bo20bo
19b3o16bobo$b2o2bo14bo19b2o18b2o19bobo16bo19b2o18b2o18b2ob2o16bo19b2o
17bobo18b2o17bo20bobo17b2o17bo23bo16bobo17bo19bo22bo16b2o38bo18b2o19bo
20b2o39bo18bo20b2o35b3o17bobo18bo19bo18bobo37b2o18b2o21b2o19bo17bobo
57bo18bo39b2o38bo20bo17bo2bo16b2o$o2b2o75bobo17bobo58bobo38bo18bo38b2o
18bobo59bo18b2o18b2o18b2o22b2o55bo38b2o79b2o56bo20bo20bo18b2o17b2o83bo
37b2o55bo21bo40bob2o33b2o19b2o17b2o$2o79bo19b2o58bobo36bo80bo60b2o82bo
54b2o218b2o120b2o95b2o19b2o40b2obo$162bo37b2o221b3o397bo$423bo400bo$
823b2o9$2bo18b2o20b2o17bo23b2o14b2obo16b2o21bo15b2o19b2o18b2o17b2o18b
2o19b2o16b2o4b2obo10b2obo17b2o18bo22b2o15bo18b2o18b2o18b2o2bo15b2o2bo
15b2o18b2o2b2o14b2o2bo15b2obo18bo20b2o21b2o14b2ob2o13b2o3bo17bobo15bob
2o16b2ob2o19b2o16b2o18b2o17b2ob2o13b2o2b2o16b2o19bo18b2o17b2ob2o17b2o
16b2o21b2o14bo2b2o15b2obo18bob2o16b2o19b2o19b2o19bo$bobob2o14bobo18bob
o16bobo19b2o2bo13bo2b2o17bo18bobobo15bo19bo19bobo16bo19bobo17bobo17bo
4bob2o11bob3o14bo2bo16bobo2b2o13b2obobo14bobob2o14bo2bo16bo5bo2b2o9bo
2bobo14bo2bobo14bo4bo14bo3bo15bo2bobo14bob4o15bobob2o14b3o2bo14bo3bobo
13bobobo15bo2bobo13bo2b2obo13bob2o16bobobo15b2o2bobo16bo18bo2bo15bobob
o14bo3bo16bo2bobo14b5o15bobo18bob2o16bo2bo15bo2b2o17bobo14b4obo14bob2o
18b2obo14bo2bo18bo2bo17bo2bo17bobo$2b2obo17bo2bo14bo19bob3o16bobobo15b
o18bo2b2o15bob2obo14bo21bo20b3o16bo19b3o15bo2b2o15bob2obo14bo4bo14bob
3o15bobo2bo14bobo17b2obo17b4o15b3obobo2bo10bobo2bo14b2obobo15bobobo15b
obobo14b2o2bo20bo13bo2b2obo13bo4b2o13bobo2bo14bo4bo14bo3bobo13b3o3bo
13bo4bo14bo5bo13bo3bo16b2o2bo15bo2bobo14bobobo15bo3bo14bo2bob2o13bo5bo
13bobo18bo20bobobo15bobo17bo2bobo18bo17b2o14b2o18b3o20b2obo16bobo18bo
2bo$6bo15b2obobo14b2o18bo3bo14bo3bo15b2ob2o15b2obo2bo13bo3bo15b2o19b2o
19bo3bo14b2o18bo3bo15bobo17bobobo15b4o16bo3bo16b2o16bo2b4o17bo20bo16bo
bob2o13bob3o15bobobo14b2obo2bo13b2o2b2o16b2o16b2o2b2o14b2o18b4o16bo2b
2o15b4o16b3obo18b2o15b5o15bo3b2o15bob2o14bo2b3o14bo4bo14b2o2bo15b2o2b
2o14b2obo16bobo2bobo12bo2b3o16b4o15b2o2bo15b2o2bo16b2o2b2o14b4o15b3o2b
o14bo21b3o14b3o2bo16b2o2b3o13b2obobo$2b4o17bob2o17bo19b2o16b3o18bobo
17bo2b2o14b3o18bo17bo19b3o2b2o13bo19bob3o15b2obo20bo17bo19bob2o15bo19b
obo2bo13b4o17b4o18bo18bo18bo2bo17bob2o15bo18b2o18bo2bo19b2o18bo17b2o
18bo21bo17b2o38bo2bo15b2o18bo19b4o16bo19bobo19bo17bobo2b2o13b2o2bo14bo
bo2bo14bo2b2o15bo2b2o15b2o18bo2bo16bo4b2o13bo19b2o3bo14bo2b2o18bo4bo
13bo2b2o$o2bo16b3o17b4o16b4o16bobo17bobo17bobo17bobo20bo17bo18bo19bo2b
3o14bo2bo19bo37bo18b3o20b2o18bo18bo20bo40bo16b2o20bo17bo20bo20b2o20bo
17bo19bo16bo22bo17bobo19bo19bobo16bo19b2o36bo20bobo16b3o19bo19bo17b2o
18bobo17bobo18bo18b2o18b2o18bobo17bo21bo17b3o20bo$2o18bo19bo19bo2bo16b
2o18b2o18b2o18b2o18b2ob2o15b2ob2o15b2o19b2obo15b2o18bobo38b2o17bo23bo
35bo20bo41b2o37b2o17b2o17bo42bo19b2o17bo17b2o21b2o17bo19bobo19bo16bo
21bo17b2o17b2o20bo17bo39bo40b2o18b2o17bo60bobo18bo18b2o17bo19b3o$41bo
118bo2bo19bobo40bo33b2o81bo36b2o19b2o117b2o41b2o37b2o79bo37b2o19bo18b
2o97b2o78b2o61bo17b2o57bo$42bo118bobo19bobo39b2o116b2o397b2o259b2o$41b
2o119bo21bo11$bo19b2o21b2o16bo23b2o14b2o18b2o19b2o16b2o19b2o20bo16b2o
18b2obo20b2o13b2o19bo2b2o15b2o2b2o14bo24bo13b2obo16bob2o16b2o18b2o18b
2o2bo15b2o18b2o2b2o14b2o18b2obob2o15bo20bo2bo17b2o17bobo14b2ob2o17b2o
17bob2o16b2o2b2o18b2o16bo2bo16b2o17b2o22b2o15bo20b2o16bo19bobo21bo14b
2o21b2o14bo2bo16b2o20bo19b2o18b2obo18b2o19bo$b3o17bobo18b3obo14bobo20b
o2bo13bo2bo18bo18bo2bo16bo19bo20bobo15bo19bob2o16b2o3bo14bo18bobo2bo
14bo2bo2bo13bobo17b2o3bobo12bob4o14b2obo16bo5bo13bo2b2o15bo2bobo14bobo
17bo3bo15bo2b2o15bob2obo2bo12bobo17b6o14bo2bo16b4obo14bobo2bo13bo2bo
16bob2o16bo2bo2bo13b2o2bobo16b4o15bo2bo15bo2bo20bobo13b5o15b2o2bo15bob
o17bob2o20bobo13bo19b2o2bo14b6o14bo3b2o16b3o15bo2bo18bob2o17bobo18bobo
$4bo19bo16bo4bo14bo2bo17b3obo15bob3o14bo19bobo2bo14bo21bo18bobo18bo37b
o2bo16bob2o16bob2o16bob2o16bobo2bo14bo3bo2bo17bo17b2o15b3obobob2o10bob
o2bo14b2obo17bo19bobobo14b2o2bo18bo2b2o11bo2bo16bo19bobobo15bo5bo13bo
4b2o13b2obob2o13bo4bo14bo2b2o15bo3bo16b2o18bo2bobo14bobobo14b2o3bo14bo
5bo13bo2b2o15bo2bo17bo3b2o17bobo15bo19bobo21bo15bo2bo14b2o3bo14b3o40bo
bobo17bobo$3bo21bo16bo3b2o14b2obo15bo3bo15b2o4bo13b2o18bo2b2o15b2o19b
2o18bobobo15b2o18b5o15bob2o16bobo18bo18bo20b4o14bob2obobo15bo2bo18bo
16bobob2obo11bo2b2o15bobobo14b2ob2o15b2o2b2o16bobo15b3o17b3obo15b2o2b
2o14bo2b2o15b2o3b2o13b2o19bobobo14b4obo14b2o19bob2o14bo2bob2o13bo4bo
14b2obobo14bo2bob2o13b2o2b3o13bobo2b3o12bobob2o16b2o2bo14bo2bo16b2o19b
ob2o16b4o15b2obo16bo2bobo16b3o14b6o16b2o2bobo13b3o2bo$3b2o17b4o17bo20b
o17b3o17bo3b2o15bo18b2o19bo17bo19b2o2bobo13bo19bobo2bo14b2o2bo19b2o16b
o19b2o17bo19bobob2o15bob2o17b2o18bo18b2o17bo2b2o17b2o16bo18b2obo16bo
22b2o17bo2bo15b2o18bo20bo18bo22bo16bo18b2o18bobob2o14b4o16bob2o17b2o
19bo17bobo3bo13b2o2bo14bobob2o14bobob2o14bo19b2obo16bo2bo16bo3b2o14bo
4bo14b2o3bo14bo4bo17bo3bo14bo2b2o$5bo16bo18bobo16b4o16bobo17bo22bo19bo
19bo17bo20bo3bo13bo2b3o15bo18bo2bo23bo13b2o21bo18b2o38bo16b2obo40bo16b
2o18b2o17bo19bo2bo37b2o20b2o18bo17bo18bobo20bo19bo17bo20bo19bo19bo18bo
21bo20bo17bo20bo16b2o19bobo16bob3o15bo2bo16b2o19b3o16bobo17bo21bo17b3o
20bo$b4o18bo16bobo17bo19b2o18b2o18b2ob2o15b3o19b2obo14b2ob2o15bo20b2o
2bo14b2o19b2o24b3o11bo21bo20bo37b2o16bob2o39bo37bo18b2o19b2o38bo38b3o
18b2o17b2o22bo18b2o15bo19bo39bo19b2o20bo20b2o35bobo40bo17bobobo15b2o
40bo17bobo17bo19b2o17bo19b3o$2bo18bobo17bo19bo59bobo16bo20bo2b2o16bo2b
o14b2o21bo66bo11bo20b2o17bo100b2o38bo79bo36bo62b2o35b2o18b2o38b2o40b2o
56b2o40bo22bo76bo17b2o58bo$o19bobo37b2o59bobo36bobo19bobo38b2o64b2o10b
2o39b2o138b2o78b2o338b2o21b2o$2o19bo100bo38bo21bo11$b2o18b2o2bo20b2o
14bo20bo18b2o2b2o14b2o19b2o16b2o19b2o20bo16b2o18b2obo20b2o13b2o19b2o
18bo4b2o13bo21b2o15b2o2bo3bo11bo7b2o10b2o18b2o18b2o18b2o18b2o18b2o18b
2ob2o17bo20bo18b2o19bobo17b2ob2o14b2ob2o14bobo17bobo21bo19b2o17b2o16bo
23bo15b2o19bo18b2ob2o17bo21bo14b2o19bo17bo2bo16b2o21bo17b2o19b2o21b2o
15bob2o$bo19bo2bobo15b2o2bo14bobo18bobobo14bo2bo2bo15bo18bo2bo16bo19bo
3b2o15bobo15bo19bob2o19bobo14bo18bo2bob2o13bobo4bo12bobo17b2o2bo15bo2b
obobobo10b3o4bo2bo9bo2b2o15bo2b2o15bo2bo16bobo3b2o12bo19bo19bob2obo15b
obo17b3o2bo14bo2bo16b4obo13b2o2bobo13bo2bobo14bob2o16bob4o14b2o2bobo
17bo2bo15bobo15bobo21bobo13bo2bo16b3o19bobo17bobo18b3o14bo19bobo16b6o
14bo20b3o16bo2bo18bo20bo2bo15b2obo$2bo2b2o15b2o2bo14bo2bobo14bo2bo17bo
b2obo14bobobo14bo19bob2obo14bo22bo2bo14bobobo16bo21b2o15b3o16bob2o16b
3obo15bo3bo15bobo2bo14bobo18b2obobo2bo12bo2bo2bobo9b3o2bo14bobobo15b2o
bo17bo3bo15bo4bo13bo23bo14bo2bo16bo3b3o13bobo2bo14bo5bo13bob2o3bo12b2o
bo2bo13bo3b2o14bo5bo13bo3bobo14bo2bobo14b3o17bobo16b2o3bobo12bo2bobo
14bo19b3o3bo15bo2bo17bo18bo19bo23bo15bo17bo19b3o20bo18bob2o19bobo$3bo
2bo17b2o16bob2o16b2obo15b2o4bo13b2o2bo15b2o18bo3bo15b2o19bob2o16bobobo
15b2o18b2o2bo14bo3bo16bo2bo19bo16b5o16b4o14bob4o19bo2b2o11bo2bo4bo14b
2o15bo3bo15bo2bo15b2obobo14b2o2b3o14bo18b4o16b3obo15b2o18bob3o15b2o3b
2o16b2obo14bob2o15b3o2bo14b2o2b2o15bob2o14bobob2o14bo3bo15b2obob2o13bo
2bob2o13b2obo2bo13bob2o16bo2b3o15bo3b2o14bo2bo16b2o39b2obo15b2o18bo21b
3o14b3obo17bo2bobo14b2o2b2o$4b2o16b2o19bo20bo17bo4b2o13bo20bo18b3o17bo
18bobo17b2o2bo15bo19bob2o16bob2o19bo18b2o37bo19bo3bo36b2o18b2o18b3o16b
ob2o17bobo16bobo16b2o18bo22b2o17b2o17bo19bo21bobo15bo21bobo15bo18b2o
18bobo17b2obo16bob2obo15b2o18bob2o15bobo17bobo16bo19bob3o15bo19b5o15bo
2b2o15bo19b2o18b2o3bo14bo2bo19bo2b2o14bo$b3o16bo2bo17bobo18b2o16bo19bo
20b2o17bobo18bo3b2o13bo2bo18bo18bob3o15bo20bo17b4o19bo20bo18b2o18bo60b
o16bobo19bo19bo18bo2bo14bo2b2o17bo18b2o20bo19bo16bo40b2o20bobo14bo21bo
20bo19bo17bo21bo18bo20bob2o15bo17b4o17bo18bo4b2o13bo4bo14b2o18b5o15bo
4bo14bo22bobo14b3o17bobo$o2bo16b2o18bobo19bo17b2o18b2o18bo19b2o19bobo
2bo13bobo18bo18b2obo2bo13b2o18bobo17bo23bo18bobo18bo17b2o59bo17b2o18bo
bo18b2o19bobo14bobo2bo15b2o18bo23bo14b3o17b2o62bo15b2o19bo20bo17bobo
17b2o20bo18b2o19bobobo36bo18bo18b2o2bo17b2o40bo15bo2bobo15bo21bobo13bo
19b2o$2o39bo21bo56bo39b2ob2o16bo18bo23b2o34b2o19bo21b2o19bo18bo79b2o
36b2o41bo16bo2bobo35bo21b2o14bo120b2o19b2o16b2o40b2o39bo38bo17bobo20bo
bo17bo38b3o17bo2bo15b2o23bo$60b3o58b2o77b2o78b2o61b2o180bo35b2o319b2o
16b2o21b2o19bo37bo20b2o41b2o$60bo61bo820b2o$121bo$121b2o9$b2o18b2o21b
2o16bo20bo2b2o13b2o19b2o19bo17b2o19b2o20bo16b2o18b2o22bo14b2o19b2o18bo
19bo23b2o13b2o2b2o14bo2b2o15b2o2b2o14b2o4bo13b2o18b2o18b2obob2o13b2o
18b2obo18b2o19bo18b2o2b2o15bo20b2o15b2o18bobo17bo23bo17bo19b2o15b2o22b
o17bo19bo19bobo19bo18bo17b2o19bo17b2o2b2o14b2o23b2o14b2o19b2o22b2o21bo
$bo2b2o15bo20bo2bo15bobo18bobo2bo13bo2b2o17bo19b3o16bo19bobob2o15bobo
15bo19bobob2o17bobo14bo18bo2bo16bobo2b2o13bobo2b2o13b2obo2bo13bo2bobo
14b4obo14bo2bo2bo13bobo2bobo12bo19bobo17bob3obo13bo19bob2o17bobo17b3o
2bo14bo2bo2bo13b3o16b2o3bo14bo2bo16bob2o16bobo17b2o2bobo15bobo18bo17bo
2bo18bobo15bobo17bobo18b2obo17bobo16bobo16bo19bobo16bo2bo2bo13bo20b2o
2bo14bo2bo18bo20bobobo20bobo$2b2obo16bo18bob2o16bo2bobo15bobobo15bobo
2bo13bo19b2o3bo14bo22bob2o14bobobo16bo19bobo16b3obo14bobo17b2obobo14bo
2bo2bo13bobo2bo14bob3o16b2o22bo14bobob2o14bo2bobobo13bob2o16bo38bo22b
2o14bo2bob2o13bo3b3o13bobobobo13bo3b2o14bo2bo16b3o2bo14bo3b2o14bo2bo2b
2o12bo3bobo14bo2bo16b2o2bo15bobobo14b2o2bo15bo2bo16bobobo15b2o3bo17bo
2bo16bobo16bo19bo18b2obobo15bo17bo2bobo14b2o2bo18bo18bob2o19b2o2bo$3bo
19bo18bo2b3o14b2ob2o14b2o2bo15b2o3b2o13b2o18bo2b2o15b2o19bobo17bobo2bo
14b2o19bobo15bo3bo16bobo18bob2o15b3obo16b3o15bo22bo17b4o16bobo17b2o2bo
bo12b3o2bo14b2ob2o18b2o16bo18b2obo2bo13b3obo15b2o18bo2bob2o13b2obobo
15b3o18b3o15b2obobo14b2obo2bo14bob2o14bob2o16bo2b3o14b2o2bo15bob2o16b
2ob2o15bobobo15bo2b2o16b2o2b2o14bobo2bo14b2o39bob2o15b2o18bob2o20bo14b
3o2bo16bo3bo18bob2o$3bo18b2o19bo3bo15bo18bo20bo19bo18b2o18bo18bob2o16b
2o2b2o14bo19b2obo16bob2o19bo18bo21bo16bo19b2o20bo18bo20bo21b2o17bo17bo
bo15bobobo15b2o18bobo2b2o18bo16b2o17b2o18bo2bo36bo20bo2bo15bob2o15b2o
18bo19b2o19b2o18bo19bo18bo2b2o15b2o17bo19bobo2b2o13bo19b5o15bo19bo19b
2o18b5o15bo2b3o17bob2o16b2o$b2o18bo2b2o14b3o18bobo17bo18bobo18b2o20bo
17bo19bo20bo18bo18bo2bo18bo21b2o15bobo20bo18bo19bo18b2o17bo21bo39b2o
16b2o18b2o17bo2b2o17bo20b3o17bo36bobo17b3o20bo19bobo14bo21bo19b4o17bo
18bo19bo19bo21bo17bo17bo19bo20bobo16bo2bobo14b2o18bo20bo18bo21bo17b3o
20bo$o19bobobo15bo19bobo17bo19b2o18bo19b3o18bobob2o13b2o18bo19b2ob2o
16b2o17bobo19b2o2bo13bobo20bo16b3o19bo19bo18b2o20b2o38bo17bo38bobo2bo
37bo20bo35b2o18bo2bo16b3o21bo15b2o18bo23bo15bobo17bobo17b2o18b2o20bobo
15bo20b2o18bo18b2ob3o19bo35b2o3b2o12bo21bo20bo16bo19b2obo$bobo17bo2bo
35b2o18b2o38bo19bo19b2ob2obo33b2o21bobo34b2o20bo2bo15bo21b2o15bo21b2o
19bo80bo18bo37bo2bo58b2o57b2o16bo59b2o24bo13b2o18b2o18bo19bo21b2o16b2o
20bo19bo23bo17bo38bobobo12b2o19b2o21bo35bobo$2b2o20b2o95b2o100bobo57b
2o97b2o79b2o17b2o38b2o221b2o54bo19bo59bo19b2o22b2o16bo39b2o58b2o$122bo
101bo575b2o18b2o59b2o60b2o$120bo$120b2o9$b2o18b2o20b2o20b2o16b2o16b2o
19b2o20bo20bo19bo18b2o15b2o18b2o21bo15b2o19bo2b2o15bo19bo25b2o11b2o3b
2o13bo2bo16b2o3b2o13b2o4b2o12b2o18b2o18bo3b2o14b2o18b2o20b2o19bo2bo15b
2o19bo20b2o15b2o18bobo17b2obo17bo21bo18b2o16b2o19b2o18bo19bo19b2o20bo
18b2o16b2o2b2o14b2o17b2o2bo15b2o21bo17bo20b2o20b2o20bo$bo3b2o14bo20bo
2bo15b2o3bo15bobo16bo21bo19bobo17b3o18bobo16bo2bo14bo19bobob2o16bobo
15bo2b2o14bobo2bo14bobo4b2o11bobo2b2o13b2o4bobo11bo2bo2bo13b6o14bo3bob
o13bobo3bobo11bo19bobo17b3o2bo14bobob2o14bo20bobo17b6o14bo2bo16b3o16b
2o3bo14bo2bob2o13bob2o16bob2obo15bobo18b3o18bobo14bo2bo18bobo16bobo17b
obo19bo19bobo16bo2bo15bo2bobo14bo18bo2bobo14bo19bobobo15bobo2b2o15bo2b
o17bo2bo17b3o$3bo2bo15bo18bo2bobo14bo2bo17bobob2o14bo18bo19bo2bobo15bo
3b2o15bobobo14bob2o17bo19bobo17bo2bo14bobo2bo14b2obo16bo2bo2bo13bobo2b
o14bo2b3o15b2obo20bo14bo2bo16bo2b2o2bo13bob2o16bo20b2o17b2obo16bo4bo
12bo19bo19bobobo15bo5b2o12bo2bo16bob2obo14bo3b2o14bo4bo15bo2bo16bo3b2o
14b2o3bo14bob3o14bobo2bo14bobo17bobobo15b3o20bo2bo16bo2bo16b2o17bo18b
2obobo15bo17b2obobo14bo2bo2bo16b2obo15bob2obo15bo$2b3o18bo18b2obo16bob
2o15b2o2bobo13b2o2bo15b2o18b2obo2bo15b2o2bo15bobobo14bobo17b2o19bobo
15b2o2b2o15bob2o17bob3o14b2obobo15bobo15bobo3bo15bob2o15b4o16bob2o16b
2obobo13b3o2bo14b2ob2o16bo2b3o13bo19b2o3bobo12b2o18b3ob2o14bo2b2o15b2o
bo2bo14b3o16bo4bo14b2o2bo15b4o15b2ob2o15bob2o2bo13bo2b2obo13b2o4bo13b
2obobo14bo19bobo2bo14bo2b3o15b2o2b2o14bob2obo14bobo2bo16bo18bobobo14b
2o20bobo15bob2o15b3o2bo16bo2bobo16bo$22b2o19bo19bo18bo20b3o17bo18bo2b
2o14bobob2o14b2o3bo14b2obo16bo19b2obo16bo22bo18bo3bo16bobo15bobo17b2o
2b2o14bo20bo19bo22bo18b2o16bobo15bobo3bo13bo19bo3bobo15bo19bob2o15b2o
18bob2o37b3o17b2o17bo19bo18bo2b2o15b2o2bo15bo3b2o16bob2o14bo19bob2o16b
2o2bo14bo19bobo2bo14bobo2b2o13b4o16bo4bo14bo19b2o2bo15b2o18bo2b2o18bo
2bo16b2o$3o18bo2b2o15bobo17bobo17bo19b2o18b2obo15bobo17bobo17bo22bo17b
o18bo2bo18bo19bobo17b2o20bo17bo38bo19bo19bobo39b2o16b2o19bo19b2o18bo2b
o17bo39bo18bo17b3o19b2o19bo16bo21bo20bo19bo16bo22bo18bo19bo19bo18b2o
17bo2bo17bo18bo3b2o14b2o18bo4b2o13bo20bo20bo17b3o19bo$o2bo16bobobo15bo
bo17bobo17bo19bo2bo18bo2bo14b2o19bo19bobo16bobo17b2ob2o15b2o21bo17bobo
39b2o18bo37b2o18b2o18b2o39bobo16bo41bo19bobo16b2obo34b3o18b2o17bo2bo
40bo15b2o18b2o20b2o19b2o15b2o20b2o19bo4bo11bobo17bo22bo17b2o40bo2bo34b
2o2bo16bo17bo20b2o17bo21bo$2b2o17bo2bo15b2o18b2o18b2o19bobo16bo3b2o56b
2o16b2o21bo37bobo18bo61bo118bo18bo39bo21bo19bobo33bo40b2o40b2o35bo103b
o2bobo10b2o18b2o18bobo61bobo36bobo15b2o17b2o58b2o$22b2o78bo17b2o101bob
o34bobo80b2o136b2o39b2o40bobo155bo102bo2bo51b2o63bo37b2o95bo$224b2o35b
o303bo155b2o103b2o253bo$1082bo$1081b2o!
Princess of Science, Parcly Taxel
User avatar
Freywa
 
Posts: 556
Joined: June 23rd, 2011, 3:20 am
Location: Singapore

Re: 17 in 17: Efficient 17-bit synthesis project

Postby dvgrn » May 1st, 2019, 10:35 am

Freywa wrote:As of this post, all strict 17-bit still lifes have been explicitly synthesised, and their syntheses verified.

There are 551 of them that currently require at least 17 gliders.

Looks like it's down to 543 already. As I understand it, the list on Catagolue will always be within 24 hours of being up-to-date, relative to Shinjuku.

Looks like the improvement to xs17_dbgz358ge2 didn't make it over to Shinjuku from Discord. Unfortunately it's +7G from xs14_3loz1qm, which is currently 10 gliders, so it doesn't quite get taken off the list for 16-in-17.

x = 197, y = 23, rule = B3/S23
55bo$54bo$54b3o$40bobo$41b2o21bo$41bo21bo87bobo$63b3o85b2o$152bo2$89bo
b2ob2o40bob2ob2o41bob2ob2o$49b2o38b2obobobobo37b2obobobobo2b3o33b2obob
obo$48bobo42bo3b2o41bo3b2o2bo39bo3bo$38bo11bo98bo43bo$38b2o4bo23bo33bo
87b3o$37bobo4b2o8b3o10b2o31b2o43bo44bo$43bobo21bobo31b2o37b3o2b3o$7bo
50b2o82bo5bo46b2o$5b2o51bobo80bo5b2o42bo3b2o$bo4b2o50bo44b2o85bobo$b2o
100bobo37b3o45bo$obo100bo39bo50b2o$144bo49bobo$194bo!

Similarly, xs17_c9jz358ge2 actually only needs 15 gliders. How did that two-stage two-glider cleanup get into the system as just a single step?

x = 220, y = 29, rule = B3/S23
80bo$79bo$38bobo38b3o$39b2o$39bo$51bo$49bobo$50b2o122bobo$2bo171b2o$ob
o172bo$b2o3bo$5bo108b2ob2o42b2ob2o43b2ob2o$5b3o104bo2bobobobo37bo2bobo
bobo2b3o33bo2bobobo$72bo39b2o2bo3b2o37b2o2bo3b2o2bo35b2o2bo3bo$73b2o
97bo43bo$72b2o51bo87b3o$57b3o63b2o43bo44bo$124b2o37b3o2b3o$71b2o92bo5b
o46b2o$72b2o90bo5b2o42bo3b2o$71bo54b2o85bobo$126bobo37b3o45bo$126bo39b
o50b2o$167bo49bobo$217bo2$40b3o$42bo$41bo!

I'm definitely looking forward to being able to paste these kinds of corrections into a textbox in Catagolue, and have it eventually find its way into Shinjuku -- at least semi-automatically, if not completely without human intervention.
User avatar
dvgrn
Moderator
 
Posts: 5711
Joined: May 17th, 2009, 11:00 pm
Location: Madison, WI

Re: 17 in 17: Efficient 17-bit synthesis project

Postby calcyman » May 1st, 2019, 12:12 pm

dvgrn wrote:I'm definitely looking forward to being able to paste these kinds of corrections into a textbox in Catagolue, and have it eventually find its way into Shinjuku -- at least semi-automatically, if not completely without human intervention.


Here's such a text box:

https://catagolue.appspot.com/syntheses

I've increased the update frequency from daily to thrice-daily, so Catagolue will always be within 8 hours of being up-to-date with the union of the Shinjuku git repository and the user-contributed RLEs.

Catagolue also tracks which Shinjuku lines from user-contributed RLEs are not yet in the repository, so they can be periodically transferred over as necessary.
What do you do with ill crystallographers? Take them to the mono-clinic!
User avatar
calcyman
 
Posts: 2058
Joined: June 1st, 2009, 4:32 pm

Re: 17 in 17: Efficient 17-bit synthesis project

Postby googoIpIex » May 1st, 2019, 1:56 pm

Nice! That makes it much simpler and to add syntheses!
woomy on a vroomy
googoIpIex
 
Posts: 253
Joined: February 28th, 2019, 4:49 pm
Location: Sqrt(-1)

Re: 17 in 17: Efficient 17-bit synthesis project

Postby AbhpzTa » May 1st, 2019, 4:14 pm

xs17_064kb2acz321 in 29 -> 15:
x = 187, y = 55, rule = B3/S23
117bo$115bobo$116b2o$119b2o$63bobo53b2o$64b2o3bo$64bo2b2o$68b2o$62b2o$
61bobo$63bo$53bo$51bobo$52b2o7$51bo$49bobo$50b2o2$64b3o$64bo$65bo$55b
2o66bo59bo$56b2o62bo2b3o54bo2b3o$55bo64b3o3bo53b3o3bo$123bob2o56bob2o$
62bo59bo59bo$61bobo55bobo57bobo$3b2o56bobo55b2o58b2o$2b2o58bo21b2o$4bo
79bobo$50bo33bo$2o48b2o12b2o$b2ob2o43bobo12b2o$o3bobo114b2o$4bo109b3o
3bo2bo$121b2o2$118b2o$119b2o$118bo7$27b2o$26bobo$28bo!
Iteration of sigma(n)+tau(n)-n [sigma(n)+tau(n)-n : OEIS A163163] (e.g. 16,20,28,34,24,44,46,30,50,49,11,3,3, ...) :
965808 is period 336 (max = 207085118608).
AbhpzTa
 
Posts: 468
Joined: April 13th, 2016, 9:40 am
Location: Ishikawa Prefecture, Japan

Re: 17 in 17: Efficient 17-bit synthesis project

Postby dvgrn » May 1st, 2019, 4:31 pm

xs17_w39c826z6513 in 29 -> 12 gliders, from this soup:

x = 165, y = 43, rule = B3/S23
78bo$obo76bo$b2o74b3o5bo$bo81bobo$84b2o2bobo$88b2o$89bo$83bobo$84b2o$
9bo74bo$10bo$8b3o3$8b3o$10bo75bo5bo$9bo76bo5bo59b2o$86bo5bo59bo2bo$
153b3o$88b3o$80bo74b3o$78bobo75bo2bo$79b2o73bo3b2o$154b2o2$158b2o$80b
3o75b2o$80bo81b2o$81bo26b2o52bobo$107b2o53bo$109bo10$104b3o$104bo$105b
o!

Possibly someone can find a cleanup with just two gliders instead of three, but I was pretty happy when this one turned up.

Theoretically this should also automatically upgrade xs17_w39c826z2553 from 31 gliders to 14. So I'll try using the new RLE upload page just for the xs17_w39c826z6513 synthesis above, and see if the magic actually happens. (!)

EDIT: So far so good:

Catagolue wrote:RLE is well-formed and has a population of 90 and a size of 310 bytes.
RLE is sufficiently small to post to Catagolue:

x = 0, y = 0, rule = B3/S23
78bo$obo76bo$b2o74b3o5bo$bo81bobo$84b2o2bobo$88b2o$89bo$83bobo$84b2o$
9bo74bo$10bo$8b3o3$8b3o$10bo75bo5bo$9bo76bo5bo59b2o$86bo5bo59bo2bo$
153b3o$88b3o$80bo74b3o$78bobo75bo2bo$79b2o73bo3b2o$154b2o2$158b2o$80b
3o75b2o$80bo81b2o$81bo26b2o52bobo$107b2o53bo$109bo10$104b3o$104bo$105b
o!

RLE has been successfully saved in the Datastore.


EDIT2: #CSYNTH xs17_w39c826z6513 costs 12 gliders (true). -- yes!

But no luck on the xs17_w39c826z2553 synthesis getting auto-reduced yet -- it still says "31 gliders". Might that update happen automatically later on, after the 12-glider synthesis gets checked in to Shinjuku?

I assume I could shortcut the process by supplying the third-to-last step of the current xs17_w39c826z2553 synthesis, but applied to xs17_w39c826z6513 instead of the intermediate pattern.
User avatar
dvgrn
Moderator
 
Posts: 5711
Joined: May 17th, 2009, 11:00 pm
Location: Madison, WI

Re: 17 in 17: Efficient 17-bit synthesis project

Postby Freywa » May 1st, 2019, 8:57 pm

dvgrn wrote:Possibly someone can find a cleanup with just two gliders instead of three, but I was pretty happy when this one turned up.

Reduced to 11 with the desired two-glider cleanup:
x = 121, y = 38, rule = B3/S23
119b2o$118bobo$113b2o3bo$113bo2bob2o$115b2o$74bobo39bo$56bo17b2o
34b2o2bo$54b2o19bo34b2o2b2o$14bo34bo5b2o$14bobo32b2o$14b2o32bobo
56b3o$68bo5bo34bo$68bobob2o34bo$60bo7b2o3b2o$60bo$60bo$obo2bobo63b
2o$b2o2b2o49b3o12bobo$bo4bo64bo$60bo$60bo$60bo14$48b2o$47bobo$49bo!

dvgrn wrote:But no luck on the xs17_w39c826z2553 synthesis getting auto-reduced yet -- it still says "31 gliders". Might that update happen automatically later on, after the 12-glider synthesis gets checked in to Shinjuku?

I assume I could shortcut the process by supplying the third-to-last step of the current xs17_w39c826z2553 synthesis, but applied to xs17_w39c826z6513 instead of the intermediate pattern.

That the related SL was not reduced is because I cleaned up the components folder some days ago. That has now been reversed; all the components I deleted are now in the file comp-pool.py, ready to be invoked when the cost drops. The related SL now costs 13 gliders.
Princess of Science, Parcly Taxel
User avatar
Freywa
 
Posts: 556
Joined: June 23rd, 2011, 3:20 am
Location: Singapore

Re: 17 in 17: Efficient 17-bit synthesis project

Postby BlinkerSpawn » May 2nd, 2019, 1:04 am

Excited that I got synthesize_patt.py to work and submitted a few components! really hope Shinjuku can clean up waste blinkers, oops

Reaction for a 17-bitter:
x = 33, y = 28, rule = B3/S23
17b2o$16bo2bo$16bobo$17bo2$19b3o$18bo2bo$18bo4bo$18b2o5$3o$2bo$bo3$17b
2o$17bobo$16bo2bo$17b2o$17bo3$30b2o$30bobo$30bo!
LifeWiki: Like Wikipedia but with more spaceships. [citation needed]

Image
User avatar
BlinkerSpawn
 
Posts: 1876
Joined: November 8th, 2014, 8:48 pm
Location: Getting a snacker from R-Bee's

Re: 17 in 17: Efficient 17-bit synthesis project

Postby Freywa » May 2nd, 2019, 6:11 am

xs17_4s0fhe8zw121 in 12. This is unusual, because the central object can only be made in 4 gliders and the sparks thrown off while it forms requires it to be nearly perfectly synchronised with the blinker formation:
x = 120, y = 44, rule = B3/S23
32bo$31bo$31b3o$11bo$12bo$10b3o4$116bo$117bo$115b3o2$118b2o$29bobo86b
2o$29b2o$30bo74bo$12bo93bo$10bobo91b3o$11b2o$8b2o97b2o$7bobo97b2o5bo$
9bo4bo9bo87b3o$15bo7bo87bo3b2o$13b3o7b3o85b4o2bo$116bo$18bo94b3o$16bob
o94bo$17b2o12$bo$b2o26b2o$obo25b2o$30bo!

Edit: xs17_0o4km96z643 in 13 using a very unusual component:
x = 16, y = 12, rule = B3/S23
9bobo$10b2o$10bo$14bo$13bo$5bo7b3o$4bobo$b2o2bo$bob2o$2bo8bo$obo8b2o$
2o8bobo!

Of course, this is a mere curiosity, since it can be done in 12:
x = 262, y = 26, rule = B3/S23
177bo$177bo$177bo$111bo131bobo$110bo62b3o3b3o62b2o$110b3o80b2o49bo$
177bo15b2o51bo$109bo67bo68bo5bo$110bo66bo68bo4bobo4bo$14bo93b3o138b3ob
o4bobo$14bobo109b2o114b3o3bo3bo5b2o$14b2o110b2o120bob2o$17b2o230bo7bo$
17bobo161bo65bobo7bo$17bo162bobo13b2o49b2o8bo$180bo2bo12bobo$181b2o9b
2o2bo$191bobo$bo112bo78bo66bo$obo110bobo143bo$o2bo109bo2bo142b3o$b2o
111b2o139b3o2$194bo$193b2o$193bobo!
Princess of Science, Parcly Taxel
User avatar
Freywa
 
Posts: 556
Joined: June 23rd, 2011, 3:20 am
Location: Singapore

Re: 17 in 17: Efficient 17-bit synthesis project

Postby dvgrn » May 2nd, 2019, 8:16 am

Freywa wrote:Of course, this is a mere curiosity, since it can be done in 12...

Or 11:

x = 91, y = 19, rule = B3/S23
bobo$2b2o$2bo$4bo$4bo5bo69bo$4bo4bobo67bobo$7b3obo65b3obo$3o3bo3bo65bo
3bo$6bob2o66bob2o$7bo7bo61bo7bo$5bobo7bo59bobo7bo$5b2o8bo59b2o8bo2$88b
obo$88b2o$89bo3$13b3o67b3o!

EDIT: Posted 11G synth of xs17_0o4km96z643 to Catagolue.
User avatar
dvgrn
Moderator
 
Posts: 5711
Joined: May 17th, 2009, 11:00 pm
Location: Madison, WI

Re: 17 in 17: Efficient 17-bit synthesis project

Postby googoIpIex » May 2nd, 2019, 8:57 am

I might scan through the forums for syntheses.
woomy on a vroomy
googoIpIex
 
Posts: 253
Joined: February 28th, 2019, 4:49 pm
Location: Sqrt(-1)

Re: 17 in 17: Efficient 17-bit synthesis project

Postby Freywa » May 7th, 2019, 7:02 am

500 still lifes remain:
x = 991, y = 192, rule = B3/S23
b2o18b2o18b2ob2o16bo20bo2b2o13b2o19b2o19bo17b2o22bo15b2o18b2o19b2o16b
2o19bo2b2o15bo4b2o13bo23b2o13b2o18bo3b2o14b2o18b2o2bo15b2o18b2o2b2o14b
2o2bo15b2obob2o15b2o19b2o17b2o18b2obo17bobo15bob2o16bo20bo21bo18b2ob2o
13b2o2b2o14b2o19b2o18bo17b2o21b2o16b2o21b2o14bo2bo16b2o21bo17b2o19b2o
21b2o$2bo18bobo17bob2o16bobo18bobo2bo13bo2b2o17bo19b3o16bo21bobo15bo
18bo19bobo17bo18bobo2bo14bobo4bo12bobo17b2obo2bo13bo2bob2o13b3o2bo14bo
2bo16bo2bobo14bo3b2o14bo3bo15bo2bobo14bob2obo2bo12bobo17b3obo15bo2bo
17bob2o14bo2b2obo13bob2o16bobo18bobo18b3o19bobo13bo2bo2bo15bo18bo2bo
16bobo17bo20bo2bo15bo19b2o2bo14b6o14bo3b2o15b3o16bo2bo18bo2bo18bo2bo$
2bob2o18bo21bo14bo2bo17bobobo15bobo2bo13bo19b2o3bo14bo21bobobo14bob2o
17bo17bo2b2o15bob2o16bob2o16bo3bo15bobo2bo14bob3o16b2obo17b2o16bob3o
15b2obo17bo2bo16bobobo14b2o2bo18bo2b2o11bo2bob2o13bo5bo13bobo2bo14b2o
18b3o3bo13bo4bo14bo2bo2b2o13bo2bo16bo19b3o2bo14bobobo14bo2b2o15bo2bobo
14bobo2b2o13bo21bobobo15bo19bobo21bo15bo2bo14bo19b3o20b2obo15bo2bobo$
3bo2bo15b2o2bo15b2ob2o15b2obo15b2o2bo15b2o3b2o13b2o18bo2b2o15b2o20bobo
bo15bobo16b2o18bobo17bobo18bo18b5o16b4o14bo21bo2bo15bo19bo3bo15bo18b2o
bo16b2o2b2o16b2o16b3o17b3obo15bo5bo13bo4bo14bob2obo17b2o15b4obo14b2obo
2bo12b2ob2o15bo2b2o15bo3b2o14b2o2bo15b3o2bo14bob2o2bo13bo2b2obo13b2o
19b2obo2bo13b2o19bob2o16b4o15b2obo16bo21b3o14b3o2bo16b2ob2o$5bo17bob2o
15bo21bo17bo20bo19bo18b2o18bo18b2o3bo14bobo17bo19b2obo20b2o16bo38bo19b
2o18bo2b2o15bo20bob2o15bo20bo18bo18b2o18bo24bo15bo3b2o14b4o15bobob2o
15b2o21bo16bob2o16bo18b2o2bo15b3o17bo22b2o15bo2bobo14b2o18bo18bo2bo2b
2o12bo19b2obo16bo2bo16bo3b2o14b2o18b2o3bo14bo2b2o18bo$b4o18bo16bobo17b
4o17bo18bobo18b2o20bo17bo18bo19bobobo16bo21bo23bo13b2o21bo18b2o18bo17b
o18b2o18b3o17b2o19b2o18bo20bo40b3o17bobo36bo18bobo19bo16bo21bo20b2o18b
o16bo21b2o19bobo16bo17bo5b2o12b2o18bob3o15bo2bo16b2o19b3o16bo4bo14bo
21bo18bobo$2bo17b2obo16b2o18bo19bo19b2o18bo19b3o18bobob2o14bobo16bo2bo
16b2obo16bobo24b3o11bo21bobo18bo17bo18b2o17bo19bo19bo20bo19b2o17bo42bo
20b2o16b2o38bo20b2o15b2o18b2o21bo36b2o19bobo20bo15bo20b3obobo33bobobo
15b2o40bo17bo2bobo15bo18b2o17bobo$o19bobo38bo18b2o38bo19bo19b2ob2obo
15b2o17b2o19bobo15b2o28bo11bo21bo18bo18b2o37bo39bo20bo37b2o80b2o96bo
23bo57bo37b2o21b2o40bo76bo2bo15b2o38bo$2o58b2o59b2o99bo2bo43b2o10b2o
40b2o55b2o38b2o19b2o219bo20b2o160b2o76b2o$122bo100b2o436b2o$120bo$120b
2o9$2bo18b2o20b2o17bo20b2o16b2o19b2o20bo20bo19bo15b2o18b2o22b2o13b2o
19b2o18bo19bo25b2o11b2o2b2o14bo3b2o14b2o2b2o14b2o18b2o18b2o2b2o14b2o
18b2obo18b2o19bob2o15b2o16b2o3bo16b2o17bobo17b2obo17bo20bo20b2o14b2o
19b2o20bo18bo19b2obo17b2o16b2o19bo17bo2bo16b2o23b2o14bo21bobo19bo$bobo
17bo3b2o15bobo16bobo18bobo16bo21bo19bobo17b3o18bobo15bo18bo19b2o3bo14b
o18bo2bob2o13bobo2b2o13bobo2b2o13b2o4bobo11bo2bo2bo13b3o2bo14bo2bo2bo
13bo2b2o15bo4bo14bo3bo15bo2b2o15bob2o17bobo17b3obo15bobo17bo2bobo13bo
2bo16bob2o16bob2obo15bobo18bobo18bobo14bo2b2o17bo18b3o17bobo18bob2o16b
o2bo15bo19bobo16b6o14bo20b2o2bo14bobo2b2o15bob2o18bobo$2bo2bo17bo2bo
14bo19bo2bo17bobob2o14bo18bo19bo2bobo15bo3b2o15bobo16bobo18bo17bo2bo
16bob2o16b3obo15bo2bo2bo13bobo2bo14bo2b3o15b2obo17b2o16bob3o15b2obo17b
obobo15bobobo14b2o2bo18b2o14bo19bo5bo13bo3b2o14bo3bobo13b2obob2o13bo3b
2o14bo4bo15bo2bo16bobobo15b3o17bobobo14bo19bo19bobo2b2o19b2o14bobobo
15bo19bo23bo15bo17bo2bobo14bo2bo2bo15bo19bo2bo$3b2obo15b2obo16b2o18b2o
bo15b2o2bobo13b2o2bo15b2o18b2obo2bo15b2o2bo15bobobo15bobo16b2o18bob2o
16bo2bo19bo16b3obo16b3o15bobo3bo15bob2o15bo19bo19bo18b2obo2bo13b2o2b2o
16bobo15b2obo2bo13b2o18bo5bo13b2obobo14b3obo16bobobo14b3o2bo14b4o15b2o
b2o15bo2bobo14bo3bo15b2obobo14b2o18bob4o14bo2b2obo16b2o2bo13b2o2bo15b
2o39b2obo15b2o18bob2o16bob2o15bobob2o16b2obobo$5bo17bob2o17bo19bo17bo
20b3o17bo18bo2b2o14bobob2o14b2o3b2o13bobobo15bo19b2o2bo18bo18b2o20bo
16bo19b2o2b2o14bo19bo20bo18bo20bob2o15bo18b2obo16bobo2b2o15bo18bob3o
15bo2bo18bo17bo21bobo15bo19bo18b2obo16b3obo16bobo17bo18bo3bo15b2o2bo
14bobob2o14bo2b2o15bo19b5o15bo2b2o15bo19b2o18b2o18b2obobo17bo2b2o$b3o
16b3o17b4o18b2o17bo19b2o18b2obo15bobo17bobo17bo19bobobo16bo18bo2bo16b
4o19bo20bo18bo37bo21b2o15b3o20b2o18bo16bo19bo2bo18bo20bo19b2o15bobo20b
o19bo19bobo14bo21bo20bo20bo17bo19bo19bo20bo16b2o18bobo17bo4b2o13bo4bo
14b2o18b5o16bo19bo21bo17bobo$o2b2o15bo19bo21bo17bo19bo2bo18bo2bo14b2o
19bo19bobo16bobo19b2obo15b2o17bo23bo18bo16b3o38b2o21bo15bo23bo17b2o16b
2o19b2o39b2obo34b2o21b2o19bo19bo15b2o18b2o18bobo20bo17b2o17b2ob2o18bo
19b2o36b2o18b2o2bo17b2o40bo14bo19bo22b2o15bobo$2o39bo21bo16b2o19bobo
16bo3b2o56b2o17b2o17bobob2o35bo21b2o18b2o15bo62bo40bobo97bobo76b2o55bo
19b2o21b2o35bo2bo20bo78bobo17bo38b3o15b2o18b2o39bo$42bo17b3o39bo17b2o
98b2o38b2o121b2o40b2o97bobo134bo79bobo19b2o78b2o19bo37bo$41b2o17bo464b
o134b2o80bo120b2o11$2bo18b2o23b2o14bo20b2ob2o13bo22bo17b2o18b2ob2o18b
2o19b2o13b2o22b2o13b2o19b2o18bo19bo23b2o13b2o2bo15bo19b2o2bo15b2o2b2o
14b2o18b2o18b2o18b2o20bo2b2o16bo18bo17b2ob2o17b2ob2o14bobo20b2o16b2o
19bo20b2o14b2o19b2o20bo18bo18b2ob2o20bo14b2o19bo17b2o2b2o14b2o21bo17bo
18b2o24b2o$bobo17bobo18b2o2bo14bobo18bobobo14b3o2b2o14b3o18bo19bobo20b
o14b2o2bobo13bo22bobo14bo18bo2bo16bobo4b2o11bobo17b2o4bo13bo2bobo14b3o
17bo2bobo14bo2bo2bo13bobo3b2o12bo19bo19bo20bobo2bo14b3o2b2o13bobo17bob
o2bo13bo2bobo14bob2o16b2o2bo16bo2bo17bobo17bo2bo14bo2b2o17bo18b3o17bob
o17bob2obo18bobo13bo19bobo16bo2bo2bo13bo19bobobo15bobo17b2o21b2o2bo$2b
o2bo18bo16bo2bobo14bo2bobo15bobobo17bo2bo13bo19bo2b2o16bo3bo16b3o16bo
2bo17bo18b3o16bobo17b2obobo14bo2bo2bo13bobo2b2o13bo2bo17b2obo17bo17bob
o2bo14b2obobo15bo3bo15bo4bo13bo20bo4bo12bo2b3o14bo5bo13bo2b3o14bo4b2o
13b2obo2bo13bo3b2o14bobobo16bobobo15bobobo16b2o17bobo16bo19bo3b2o14bob
o23bo17bobo15bo19bo18b2obobo15bo17b2obobo14bo2bob2o37bobo$3b2obo18bo
16bob2o16b2ob2o14b2o2bo15b2ob2o15b2o18b2obo2bo15b2obo16bo18bob2o16b2o
17bo3bo16bobo18bob2o15b2obobo15bo3bo13bobob4o16b2o15bo19bob2o16bob2o
15b2obobo14b2o2b3o14bo18b2o3bobo12b2o18bo5bo13b2o3bo14b2o19bob2o15b2ob
obo14bo2b2o14b2obo2bo13bo2bobo14b2o18b2obobo14b2o18bob2o2bo13bo2b3o16b
2obo15bo2bo16b2o39bob2o15b2o20bobo15bob2obo13b4o20bob2o$5bo16b4o17bo
19bo18bo19bo21bo17bo3b2o13bobobo15b2o18b2o18bo19bob2o19bo18bo20bobo15b
ob3o15b2obo2bo13b2o18b2o19bo18bo20bobo16bobo16b2o18bo3bobo15bo18bo3b2o
14bo2b2o16bo18bo20bo2bo15b2o18bob2o15b2obo16bo20bob2o16bo18bo2bobo14b
2o2bo14bo2b2o15bobob2o14bo19b5o15bo19bo19b2o2bo15b2o18bo2bo18b2o$b4o
17bo18bobo17bobo16bo19bobo17bob2obo14bobo17bobo17bo21bo18bo20bo21b2o
15bobo20bo18bo38bo21bo16bobo17b2o20bo18bo2bo14bo2b2o17bo2bo14bobo20bob
o16bobo15bobo18b2o20bobo17bo18bo19bo17bo21bo19bo20bobo16bo17b2o19bobo
17bobo16bo2bobo14b2o18bo19bo20bo22b2o16bo$2bo20bo16bobo17bobo17b2o18b
2o18b2obobo14b2o19bo18bo19bo21b2o16bobo19b2o2bo13bobo20b2o19bo38bo20bo
16b2o39b2o19bobo14bobo2bo17bobo14b2o22b2o17b2o15b2o42bo17bo18b2o17bobo
17bobo18b2o20b2o19bo17bobo38bo16b2ob3o19bo35b2o3b2o14bo17bo24bo14bobo$
o20bobo17bo18b2o62bo56b2o17b2o18bobo2bo14b2o20bo2bo15bo41b2o37b2o21b2o
77bo16bo2bobo17bo137b2o36b2o19bobo41bo37b2o37bo23bo17bo38bobobo13b2o
17b2o20b3o15b2o$2o18bobo159bo37b2o2b2o37b2o121bo98bo217bo39b2o77b2o21b
2o16bo39b2o57bo$21bo158bo202b3o317b2o38bo119b2o$180b2o201bo360bo$743b
2o9$2bo18b2o2bo18b2o19b2o16b2o18b2o19b2o17bo19bobo19b2o14b2o18b2obo19b
o15b2o19bo2b2o15bo19bo19b2o17b2o3b2o13b2o18b2o2bo15b2o2bo15b2o18b2obob
2o13b2o18b2o20bo23bo15b2ob2o16b2ob2o13b2o18bobo20b2o16bo20bo17b2o17bo
2b2o17b2o19bo18b2o18bobo21bo14b2o2b2o14b2o17b2o2bo15b2o21bo17b2o17b2o
23b2o$bobo2b2o13bo2bobo15bo2bo15b2o3bo15bobo19bo17b3obo15bobo17bob2o
20bo14bo19bob2o18bobo15bo2b2o14bobo2bo14bobo17bobo17bo2bo16bo2bo2bo13b
o5bo2b2o9bo2bobo14bo2bobo14bobo17bob3obo13bo19bobo2b2o14bobo17b2o2bobo
13bobobo14b2o2bobo13bo2bo16bob2o16b2obo2bo14bobo18bobo17bo2b2o13b4obob
o13bo2bobo14b5o15bobo17bob2o19b3o14bo2bobo14bo18bo2bobo14bo19bobobo15b
obo17b2o22bo2bob2o$2bobo2bo14b2o2bo14bob2o16bo2bo17bobobo14b3o17bo4bo
14bo2bo17bo20b3o16bo40bo2bo14bobo2bo14b2obo16bo2bo16bobo17b2obo17b2obo
15b3obobo2bo10bobo2bo14b2obo17bo38bo20bo3bo13bo2b3o14bo2bo2bo13bo4bo
14bob2o3bo12b3o2bo14bo3b2o14bob2obo15bobo17bobo18bobobo19b2o12bo2bob2o
13bo5bo13bobo18bo3b2o16bo19b2o17bo18b2obobo15bo17b2obobo14bo2b2o39bo2b
2obo$4b2o18b2o16bo2b3o14bob2o15b2o2bobo13bo2b3o14b2o3b2o13b2ob2o17b2ob
o16bo19bo18b5o14b2o2b2o15bob2o17bob3o14b2obo17bo2bo16bo20bo18bobob2o
13bob3o15bobobo14b2ob2o18b2o16bo18b2obo16b2o3bo14bo2b2o15b4o19b2obo15b
3o15b2o2bo18bo15b2ob2o15bo2bobo14b2o2bo15b2o18b2obo16bobo2bobo12bo2b3o
16b2o2bo14bo2bo16bobo2bo16bo18bobobo14b2o20bobo15bobobo14b4o18b2o$3bo
18b2o19bo3bo15bo18bo3bo16bo2bo16bo18bo18bobob2o14b2o18bobo17bobo2bo14b
o22bo18bo3bo16bo17bob3o14b2o19b2o20bo18bo18bo2b2o16bobo15bobobo15b2o
18bo2b2o17bob2o15b2o18bo21bobo15bo20b2o16b2o19bo18b2ob2o15bob2o16bo21b
o17bobo2b2o13b2o2bo14bobob2o14bob3o15bobo2b2o13b4o16bo4bo14bo19b2o2bo
15b2o2bo15bo2bo18bo$b3o16bo2bo16b3o18bobo17bo19bobo16bobo19bo17bobo17b
o19bobob2o15bo20bo19bobo17b2o16b4o19bo16bo21bo41bo16b2o18b2o18b2o17bo
2b2o18bo16bobo20bo16bo42bo19bo17bo20bo19bo18bo18bo19b3o19bo19bo17b2o
19bo19bo18bo3b2o14b2o18bo4b2o13bo20bo22b2o14bobo$o19b2o18bo19bobo17bo
19bobo17b2o18b2o18b2o19b2o17bobo2bo14b2o21bo17bobo36bo23bo16b2o20bo39b
2o36bo38bobo2bo16b2o16b2o20bo17b2o38b3o21bo17bo17b2o18bobo17b2o18b2o
18bo39bo41bo40bo2bo34b2o2bo15bo18bo25bo13b2o$2o58b2o18b2o19bo38bo42bo
17bobo37bobo18bo38bo20bobo17bo19b2o79bo37bo2bo57b2o56bo22b2o16b2o17bo
19b2o98b2o38bobo41bobo36bobo14b2o18b2o21bobo$142bo37bobo19bo37bobo57b
2o20b2o16bo101b2o38b2o178bo157b2o43bo37b2o58b2o$141b2o37b2o59bo98b2o
319b2o11$2bo18b2o20b2o21b2o15bo21b2o16b2o18bo19b2o20b2o14b2o18b2obo21b
o13b2ob2o16bo3b2o14bo19b2o18b2o17b2o18b2o18b2o18b2o18b2o18bo3b2o14b2o
18b2o20bo2b2o19b2o15bobo18b2o15b2o18bo22bo17bo20b2ob2o14bo17b2o2b2o17b
o20b2o16bo21bo18b2o16bo21bo16b2o2bo15b2o21bo19bo20b2o19bo$bobo17bo20bo
2bo15b2o3bo15bobo21bo15bobo17bobo19bo2b2o13b2o2bo14bobo17bob2o20bobo
13bobo2bo13bobo2bo14bobo17bo2bobo14bo2bo16bo2b2o15bo5bo13bo2b2o15bo2bo
16bobo17b3o2bo14bobob2o14bobo18bobo2bo14bo3bobo13b4obo13b2o3bo14bo2bob
2o13bobo3b2o12b2obobo15bobo18bobobo14bobobo14bo3bo16b5o15b2o2bo15bobo
19bobo16bo2bo15b3o18bobo15bo2bobo14bo19bobobo17bobo18bo2bo17bobo$2bobo
17bo18bo2bobo14bo2bobo15bo2bo15bo2bo16bo19bo2bo19bobobo14bobo18bo20b2o
17bobo14bobob2o14b2o3bo14bo2b2o15b2ob2o15b2o2b2o15b2obo15b3obobob2o10b
obo2bo14b2obo17bo20b2o17b2obo16b3o15bo2bobo14bobo2bo14bo5bo13bo2bo16bo
b2obo14bo2bo2bo13bob2o2bo14bobo17bo2bobo14bob2obo14bo3bo14bo5bo13bo2b
2o15bo2bo18bo2bo17bo2bo17bo16bobobo15b2obo17bo17b2obo18bob3o16bobo18bo
2bo$4bo18bo18b2obo16b2obo15b2ob2o15b5o15bob4o14b2ob2o16bobo2bo15bob2o
15b2obo16b2o2bo14bo2bo17bobo18b4o15b2o2bo15bo20b2obo19bo16bobob2obo11b
o2b2o15bo2bo15b2ob2o16bo2b3o13bo19bo3bo15b2obo16bo2b2o15b2o3b2o14b3o
16bo4bo14b2obobo17b2o14b2ob2o15bo3b2o14b2o4bo13b2o2b2o14b2o2b3o13bobo
2b3o12bobob2o15bo3b2o14bob2obo14b2o2bo15bobo2bo15bobobo14b2o20bobo14b
2o5bo14b2o2b3o13b2obobo$3bo18b2o19bo19bo18bobo37bo3bo15bo18bob2o16b2o
18bo3bo15bob2o16b3obo18bo18bo20b2o16bo18b2o19b4o18bo18b2o17bob2o17bobo
15bobo3bo13bo19b3obo17bo18b2o18bo40b3o17bobo15b2o19bo18b3o17bo4b2o13bo
bo19bo17bobo3bo13b2o2bo14bo19bobo2bo14bobob2o14b2o2b2o14bo4b2o13bo19b
2o2b2o14bo5b2o15bo4bo13bo2b2o$3b2o16bo2b2o15bobo17bobo16bo5bo16bo19bo
18bo18bo18bo19bob3o16bo22bo18bo20bo17b2o16b2o20bo20bo40bo18bo17b2o19bo
19b2o20bo15bobo20bo17bo18b3o19b2o19bo17bo20bo20bo16bo20bobo20bo17bo20b
o16b4o16bo2bo16bo2bo17bo18b2o19bobo16bo20bo18b3o20bo$b2o2bo14bobobo15b
obo17bobo17b2o3b2o14b3o16b3o17b2o18b2o19bobo16bobo17b2o21bo19b2o18b2o
18bo16bo20bo19bo41bo17bobo17bo41bo19bo16b2o20bo18b2o17bo2bo38b2o18bo
17b2o38b2o20bo20b2o35bobo20bo17b2o18bobo16bo39b2ob3o16bo19bo17bo19b3o$
o2b2o16bo2bo15b2o19bo38bo19bo19bo41b2o17bo38bobo58bo19bo19b2o18b2o40b
2o16b2o19bo39bo20b2o37b2o38b2o57b2o17bo119b2o20bo39bo17b2o44bo14b2o18b
2o37bo$2o22b2o74b2o39bo98b2o59b2o17b2o119b2o39b2o177bo140b2o101b2o$
140b2o518b2o11$2bo18b2o23b2o15b2o16b2o21b2o17bo17b2o19b2o19bo17b2o23b
2o16bo15b2ob2o2b2o12b2o18bo19b2o18bo18bob2o16b2o18b2o18b2o18b2o3b2o13b
2o2bo15b2o3b2o17b2obo15bo20b2o17bo20b2o15b2o18bo23b2o15b2o19b2o17b2ob
2o19bo15b2o19bo18b2ob2o17bo18bo20bo18b2o15b2o18b2o3b2o16bo19bo2b2o16b
2o19bo$bobob2o14bo20b2o2bo15bobo17bo20bo2bo15bobo17bo19bo2b2o15bobo16b
o20b2o2bo16bobo15bobobo2bo11bo2bob2o13bobo17bo2bobo14bobob2o14b2obo16b
o2b2o15bo2b2o15bo19bobobobo13bo2bobo14bobobobo14bo2bob2o13b3o17bo2bo
16b3o16b2o3bo14bo2bob2o13bobo17b2o2bobo14bo2bo17bo2bo15bobobo19bobo13b
o2bo16b3o19bobo17bobo16bobo18bobo16bobo15bo2bobo14bo2bo2bo13bobobo17bo
bo2bo15bobo18bobo$2b2obo16bo18bo2bobo15bo19bob2o15bo2bobo14bo2bo16bo
21bobobo15bobo17bo17bo2bobo15bo2bo15bo3b2o14bob2obo14bo2b2o15b2ob2o15b
2obo19b2o15b3o2bo14bobobo16bob2o16bobo16b3obo16bobo15bobobo15bo19bobob
o15bo3b2o14bo2bo16bobo3bo13bobo17bobo2bo15bobobo15bo2bobo14bobobo14b2o
3bobo12bo2bobo14bo19b3o3bo16bo2bo16bobo16bobobo14bo19bob2obo15b2obo14b
2obo18bobobo16bobobo17bobo$6bo16bo18b2obo15b2o2bo15b2o2bo15b2obob2o13b
ob2obo14b4o17b2o2bo18bo16b2o18bob2o15bo3bob2o13b3o17bo19b2o2bo15bo22bo
20bo18b2o15bo3bo14b3o2bo14bobobo18bo16bobobo15bo2bob2o13b5o15bo2b2o15b
2obobo15b3o16bob3o15b2ob2o17b2o15b2o2bo15bo4bo14b2o2bo15bo2bob2o13b2ob
o2bo13bob2o16bo2b3o15b2o2b2o14bobo2bo15bobobo14bob4o15bo3bo16bob2o16bo
bo14b2o3bo16b2o2bobo13b3o2bo$2b4o16b2o19bo19b3o17bo19bo18bo2b2o18bo15b
o2b2o15b4o16bo19b2o18b2o3bobo15bo19b2o18b2o16bo18b4o19b2o17b2o18b3o19b
o16bo2bo15b2o18bo2bo19b2obo17bo16b2o18bo2bo37bo19bobo15b2o19b2o17b4o
16bo20b2o18bob2o15bobo17bobo16bo19bobob2o14b2o3bo14b2obo2bo13bobo3b2o
12b3o17b2o2b2o14bo22bo3bo14bo2b2o$o2bo17bo2b2o15bobo17b2o18b2o17bobo
20bo17b4o15bobo17bo19bo2b3o16bo19bo42bo16b2o19b2o17bo17b2obo20bo16bobo
19b2o18b2o16bo18b2o41b2o18bo16bobo17b3o18bo19b2o19bo19bo37bo22bo18bo
20bob2o15bo17bo19bo2bo16bo22bo16b2o18bo19bo20bo18b3o20bo$2o18bobobo15b
obo17bo2bo16bo19b2o18b3o19bo18bo19b2o18b2obo15bo19bo42bo16bo2bo20bo15b
o19bob2o19bo17b2o20bo39bo59bo16b3o17b2o18bo2bo17b2o18bo19bo18bobo18b2o
17b2o20bo18b2o19bobobo34b2o18bobo17b3o19b2o56bo20bo17bo19b3o$21bo2bo
16bo19b2o18bobo36bo19bo41bo23bo13b2o18b2o41b2o15b2o21bo16b2o41b2o39bo
37b2o60bo15bo40b2o40bo17b2o17b2o19b2o39b2o39bo38bo19bo20bo76b2o19b2o
37bo$22b2o58b2o56b2o38bo24b2o116b2o98b2o98b2o97b2o177bo$180b2o619b2o
11$bo19b2o2b2o18b2o16b2o16b2o21bo20b2o14b2o19b2o18b2o17b2o19bo21b2o14b
2ob2o16b2ob2o15bo19b2o17b2obo16bo7b2o10b2o2b2o14b2o4bo13b2o18b2o2b2o
14b2o2bo15b2o20b2o3bo15b2o17b2o19bo20b2o15bo19bo23b2o16b2o18b2o17b2o
20bo17bo19bo19bobo19bo20bo18bo15b2ob2o15b2o18b2o21b2o18b2o20b2o15bob2o
$b3o17bobo2bo14b2o3bo15bo2bo16bo2bo17bobo16bobobo15bo19bo19bobo16bo19b
obo19bo2bo14bobobob2o11bo2b2obo13bobo17bo2bo16bob4o14b3o4bo2bo9bo2bo2b
o13bobo2bobo12bo19bobo2bo14bo2bobo14bobob2o15bo2bobobo12b3o2bo14bo2bo
16b3o16b2obo2bo13bobo3b2o12bobo17b2o2bobo16bo18bo2bo15bo2bo18bobo15bob
o17bobo18b2obo17bobo17b3o17bobo15bob2o15bobo17bo2bob2o13bo2bobo16bo2bo
17bo2bo15b2obo$4bo18b2o16bo2bo17bobobo15bobobo14bo2bobo14bob2o16bo21bo
20b3o16bo17b2o19bob2o15bo3b2obo12bo5bo13bo2b2o15b2obo21bo16bo2bo2bobo
9bobob2o14bo2bobobo13bob2o16b2o17b3obo16bobobo13bobo2b2o2bo10bo4b2o13b
obo2bo14bo5b2o12bo3bobo13bobo3bo13bobo17bo3bo16b2o2bo15bo2bobo14bobobo
14b2o2bo15bo2bo16bobobo15b2o3bo17bo2bo15bo19bobobo14bo21bo18b2obo14b3o
2bo17b2obo15bob2o19bobo$3bo18bo20b3o15b2o2bo15b2o2bo15b2obo2bo13bo3bo
15b2o19b2o19bo3bo14b2o21bo15bo2bo17b3o17b4obo14b2o2bo15bo2bo18bo2bo14b
o2bo4bo11bobo17b2o2bobo12b3o2bo14bo22bo16bobo2bo14bo5bobo11b4o16bob3o
15b2obo2bo14b2obo15bob2obo14b2ob2o16bob2o14bo2b3o14bo4bo14b2obobo14bob
2o16b2ob2o15bobobo15bo2b2o16b2o2b2o14bo2b2o16bobobo15b2obo15b2o20bo2bo
16b2o15b3o2bo16bo2bobo14b2o2b2o$3b2o17bo40b2o17bo20bo2b2o14b3o18bo17bo
19b3o2b2o13bo19b5o15b2obo19bo19bobo17b2o16bob2o17bob2o16b2o19bo21b2o
17b2o15b2o17b2o18bo2b2o21b2o15bo17bo19bob2o17bo19bobo17bobo15b2o18bo
19b4o16bob2o17bo19bo18bo2b2o15b2o17bo19bob2obo14b2o3bo14bobob2o14bo19b
3o2b2o13b2o18bo2b2o18bo2b2o14bo$5bo14b2o19b3o17b2o18bo18bobo17bobo20bo
17bo18bo19bo2b3o14bo22bo58b2o19bo19bo39bo39b2o18bo17bo18b2o41bo19bo18b
o18bobo17bo19b2o19bo19b2o18bo18bo20bo19bo21bo17bo17bo19bo2bo16bo19b2o
18bob3o15bo19bo21bo17b3o17bobo$b4o15bo19bo2bo16bobo17bo19b2o18b2o18b2o
b2o15b2ob2o15b2o19b2o2bo14bob2o16bobo60bo17bobo18b2o39b2o37bobo15b3o
19bo60b2o15b3o18b2o18b2o18b2o18bo19bo21bo16bo19b2o18b2o18b2o20bobo15bo
20b2o18bobo17bo39bobo38bo18b2o17bo19b2o$2bo19bo18b2o18bo18bobo58bobo
19bobo37bo17bobo16b2o60bo18b2o100bo16bo20b2o77bo81bo18b2o19bo17b2o38bo
19bo21b2o16b2o20bo19bo19bo42bo35b2o$o20b2o58b2o58bobo19bobo37b2o97b2o
317b2o39b2o57bo19bo58bo40b2o41b2o$2o140bo21bo555b2o18b2o58b2o11$b2o18b
2o2b2o18b2o18bo16b2obo16b2o21bo15b2o19b2o20bo16b2o19bo19b2o16b2o19b2o
2b2o14bo22b2o14b2o2bo3bo11bo2bo16b2o3b2o13b2o4b2o12b2o18b2o18b2o18b2o
20bo20bo2bo15b2o2b2o15bo19b2o16bo19b2ob2o19b2o18b2o17b2o16bo19b2o18bo
19bo19b2o21b2o18b2o17bo16bo18b2o18b2o2b2o17b2o17b2obo20b2o21bo$bo19bob
o2bo14b2o3bo16b3o15bo2b2o17bo18bobobo15bo19bo20bobo15bo19bobo2b2o15bo
17bo2bo15bo2bo2bo13bobo2b2o13b2obobo14bo2bobobobo10b6o14bo3bobo13bobo
3bobo11bo4b2o13bobo17bo2bo16bobo18bobob2o14b6o14bo2bo2bo13b3o16b2o2bo
15bobo3b2o12bobobo15b2o2bobo17bo2bo15bobo15bobo18bobo16bobo17bobo19bo
21bo18bobo16bobo14bobob2o14bobo17bo2bo2bo13bo2bobo16bob2o17bobobo20bob
o$2bo2b2o16b2o16bo2bo17bo19bo18bo2b2o15bob2obo14bo21bo18bobo18bo17bo2b
o2bo14bo18bobobob2o12bob3o15bobo2bo14bobo18b2obobo2bo15bo14bo2bo16bo2b
2o2bo13bo3bo16bo2b2o13b2obo17b3o15bo2b2obo13bo19bobobobo13bo5b2o12bob
2o16bobo3bo13bo5bo13bo3bo16bo2bobo14b3o17bobo16bobo2bo14bobo17bobobo
15b3o20bobo16b3o17bobo16b2obobo16bo18b2obo14b3o2bo36bob2o19b2o2bo$3bo
2bo15bo20b3o15bo2b2o15b2ob2o15b2obo2bo13bo3bo15b2o19b2o18bobobo15b2o
18bob2o15bo20b2obobo2bo11bo20b2o16bo2b4o18bo2b2o11b4o16bob2o16b2obobo
13b5o15b2obo2bo15bo17bo3bo15b2o18b2o2b2o14bo2bob2o13b2obo2bo14bo18bob
2obo14bo3b2o15bob2o14bobob2o14bo3bo15b2obob2o13b2obobo14bo19bobo2bo14b
o2b3o15b4o16bo3bo16bobobo16bo2bo14b2o20bob2o16b2o15b6o16bo3bo18bob2o$
4b2o16bo39b2obo17bobo17bo2b2o14b3o18bo17bo19b2o2bobo13bo19b2o18b2o23bo
2b2o12bo18bo19bobo2bo35bo19bo22bo35bob2o15b2o18bob3o18b2o17bo2bo15b2o
18bob2o16bo20bobo16bo2bo15b2o18bobo17b2obo16bob2obo16bob2o14bo19bob2o
16b2o2bo14bo19bob3o15b2o3b2o13bobo3b2o12bo19b3o17b2o18bo4bo17bob2o16b
2o$b3o16b2o19b3o19bo16bobo17bobo17bobo20bo17bo20bo3bo14bob3o16bo21bo
35b3o20b2o18bo37bo19bobo39bo16bo19bo21bo22bo17b2o35bo19b2o21bo19bobo
16bo20bo19bo17bo21bo18bo19bo19bo17b3o18bo18bo19b2o18bo19bo19bo21bo17b
3o20bo$o2bo16bo19bo2bo17bobo16b2o18b2o18b2o18b2ob2o15b2ob2o15bo19b2obo
2bo13bo19bob2obo34bo23bo56b2o18b2o39bobo15b2o19b2o20bo19bo56b2o18bo21b
2o20bo15bo21bo17bobo17b2o20b2o19bo4bo11bobo17bo22bo18bo18b3o37b2o2b2o
34bo19b2o17bo19b2obo$2o19bo18b2o18bobo77bo2bo18bo2bo14b2o22b2o14b2o18b
2obobo56bo119b2o38bo19b2o19b2o76bo58b2o20b2o16b2o62bo2bobo10b2o18b2o
20bo18b2o20bo39bo2bo33b2o58bobo$20b2o39bo79bobo18bobo79bo57b2o156bo
121bo162bo2bo53b2o79b2o$142bo20bo296b2o119b2o163b2o11$b2o18b2o21b2o20b
2o14b2o18b2o19b2o16b2o19b2o20bo16b2o19bo18bo18b2ob2o16b2o18bo24bo13b2o
2b2o14bo19b2o3bo14b2o18b2o3b2o13b2o2b2o14b2o2b2o14b2obo18bo20bo18b2o
19b2o17b2o17bobo17b2o2b2o18bo17bo19b2o15b2o22bo17b2ob2o15bo17b2o23b2o
18bo18bo16b2o17b2o20bob2o16b2o18b2o20b2o20bo$bo19bobob2o14b2o2bo18bo2b
o13bo2bo18bo18bo2bo16bo19bo3b2o15bobo15bo19bobo17b3o17bobo16bo2bo16bob
o2b2o13b2o3bobo12bo2bobo14b3o2b2o13bo3bobo13bo2bobo14bo4bo14bo3bobo13b
o2bo2bo13bob4o15bobo17b3o2bo14bo2bo16b3obo14bo2bo16bob2o16bo2bo2bo13b
2o2bobo15bobo18bo17bo2bo18bobo15bobobo15bobo17bo23bo18bobo16bobo14bo2b
obo14bobo19b2obo14bo2bo18bo20bo2bo17b3o$3bob2o16b2obo14bob2o17b3obo15b
ob3o14bo19bobo2bo14bo22bo2bo14bobobo16bo17bo2bob2o16bo16bo2b3o14bob3o
15bobo2bo14bo3bo2bo13b2o19bo2bo14bo2bo2bo13b2ob2o16bo3bo15bobobo14b2o
2bo20bo13bo2bo16bo3b3o13bobobo15bo4bo14b2o2b2o14bo19bo2b2o15bo3bobo14b
o2bo16b2o2bo15bobobo14bo2bobo14bobo3bo13bobobo15bo22bobo16b3obo15bobo
16bob2obo16bo16b2o18b3o20bo18bob2obo15bo$2b3obo15bo20bo17bo3bo15b2o4bo
13b2o18bo2b2o15b2o19bob2o16bobobo15b2o18bob2obo13b2o2bo16b2o2bo15bo3bo
16b2o16bob2obobo15bo17b2obo16bob3o15bo18b5o15b2o2bo17b2o16b2o2b2o14b3o
bo15b2o18bo2b2o15b2obo21bo14b5o15b2o19bob2o14bob2o16bo2b3o14b2o2bo15b
3obo15bo2b3o14bobo2bo14b2o19b4o16bo3bo16bobobo15bo3bo14b2o18bo21b3o14b
3obo17bo2bobo16bo$22bo20bo18b3o17bo3b2o15bo18b2o19bo17bobo17b2o2bo15bo
19b2o18bob2o18bo19bob2o15bo19bobob2o16bo18bob2o16bo18bo39bo18b2o18bo
22b2o17b2o17b2o18bob2o18b2o19bo16bo18b2o18bo19b2o19b2o19bo17bobo17bob
3o16bo17bo19bob3o15b2o3b2o13bobo3b2o12bo19bo19b2o3bo14bo2bo19bo2bo16b
2o$3o17b2o19b2o17bobo17bo22bo19bo19bo16bo2bo18bo18bo20bo20bo17bo18b3o
20b2o37b2o17bo22bo15b2o21bo17bo18bobo20bo17b2o20bo19bo18bo17b2obo17b2o
18bo20bo19b4o17bo18bo17b2o20bo19bo17b2o19b2o18bo18bo19b2o18bo19bobo17b
o22bobo14b3o19bo$o2bo16bo19bo19b2o18b2o18b2ob2o15b3o19b2obo14bobo18bo
18b2ob2o15bo20bobo17b2o17bo23bo37bo18b2o20b2o15bo21bobo16b2o18bo20b2o
17bo23bo14b3o18b2o17bob2o16bobo17bo20bo22bo15bobo17bobo17bo42bo16bo3b
2o17bo18bo18bo39b2o18bobo18bo21bobo13bo21bo$2b2o18bo18bobo57bobo16bo
20bo2b2o15bo18bo22bobo14b2o18bobo60bo39bo57bo21bo79bo20b2o14bo60bo18b
2o19b2o23bo13b2o18b2o19bo40b2o17bo2bo15bobo18b2o19bo40bob2o16bo17b2o
23bo33b2o$21b2o19b2o57bobo36bobo37b2o21bobo35bo61b2o37b2o56b2o100b2o
161b2o53b2o60bobo15b2o39b2o40b2obo16b2o41b2o32bo$102bo38bo62bo578bo
197bo$982bo$981b2o9$b2o18b2o19bo20bo18b2o2b2o14b2o19b2o16b2o19b2o20b2o
15b2o19b2o16b2o4b2obo10b2obo17b2o2b2o14bo21b2o15b2o3b2o13bo3b2o14b2o3b
2o13b2o18b2o2b2o14b2o2b2o14b2o2bo15b2obo18bo20bo18b2o19b2o18b2o16bob2o
16bobo21bo18bo18b2o16b2o20b2o17b2o21b2o13b2o22b2o15bo22b2o14bo2b2o15b
2obo18bo19b2o18b2o20b2o18b2o$bo19bobob2o14bobo18bobobo14bo2bo2bo15bo
18bo2bo16bo19bobob2o15bo2bo14bo19bobo17bo4bob2o11bob3o14bo2bo2bo13bobo
17b2o2bo15bo2bo2bo13b3o2bo14bo2bo2bo13bo2bobo14bo3bo15bo3bobo13bo2bobo
14bob4o15bobo17b3o2bo14bo2bo16b3obo14bo2bo16bob2o16bob4o14b2o2bobo15b
3o18bobo14bo2bo19bo17bobo17bo2bobo14bo23bo15b3o19bobo14b4obo14bob2o18b
3o15bo2bo18bo20bo2bo17bobo$3bob2o16b2obo14bob3o16bob2obo14bobobo14bo
19bob2obo14bo22bob2o14bob2o17bo17bo2b2o15bob2obo14bo4bo14bob2o16bobo2b
o14bobo18b2obo17b2o16bob3o15b2ob2o16bobo17bobobo14b2o2bo20bo13bo2bo16b
o3b3o13bobo2bo14bo4bo14b3o2bo14bo4bo14bo5bo13bo3bobo14bo3b2o14b2o3bo
14bob3o14bo3b3o13bo19bobo2bo14bo22bo20bo17bo2bobo18bo17b2o14b2o3bo14b
3o20bo18bob2o21bo$2b3obo15bo19bo3bo14b2o4bo13b2o2bo15b2o18bo3bo15b2o
19bobo17bobo17b2o18bobobo15bobobo15b4o16bo20b4o14bob4o16bob2o15bo19bo
19bo18b2o2b2o14b2o2bo17b2o16b2o2b2o14b3obo15b2o18bo4bo14b2obo18b3o15b
5o15b2o2b2o15bob2o14bob2o2bo13bo2b2obo13b2o4bo13b4o2bo13bob4o14bo2b2o
15b2o19b4o16b2o2bo16b2o2b2o14b4o15b3o2bo14bo2bobo16b3o14b3o2bo16bo2bob
o17b2o$22bo21b2o16bo4b2o13bo20bo18b3o17bo18bob2o16b2obo16bo19b2o2bo19b
o17bo19b2o17bo19bo3bo15bo19bo20bo18bo20bobo16bo18b2o18bo2bo19b2o17b2o
17b4o16bob2o16bo39bo18b2o18bo2b2o15b2o2bo15bo3b2o16bo17bo3bo15b2o19bo
17bo19bo2b2o15b2o18bo2bo16bo4b2o13bo4bo14b2o3bo14bo2b3o17bo2b2o16bo$3o
17b2o18b4o16bo19bo20b2o17bobo18bo3b2o14bo21bo17bo20bo38bo22bo18b2o18bo
17bo18b2o18b3o20b2o18bobo14bo21bo20b2o16b2o20bo19bo16bo22bo19bo16bo21b
o20bo19bo16bo21bo19bo19bo19bo17b3o18b2o18bo18b2o18b2o18bobo17bo21bo17b
3o21bo$o2bo16bo19bo2bo16b2o18b2o18bo19b2o19bobo2bo13b2o18bobo17b2ob2o
15bo40b2o20bo20bo17b2o17b2o17bo19bo23bo19bo15b2o19bo39bo22bo16bo18b2o
18b3o19bobo15b2o18bo21b2o19b2o15b2o19bo21bo16bo22b2o18bo18bo17bo60bobo
17bo21bo16bo21b2o$b2o18bo78bo39b2ob2o35b2o21bo16b2o61b2o17bo59bo40bo
57b2o39bo20b2o16b2o37bo22bo36b2o79b2o21bo15b2o23bo14b3o17bo19b2o60bo
17b2o22bo37bo$20b2o79b2o100bobo96b2o57b2o40b2o96b2o240b2o38b2o15bo19b
2o121b2o38bo$102bo101b2o577bo196b3o$101bo682bo195bo$101b2o680b2o!
Princess of Science, Parcly Taxel
User avatar
Freywa
 
Posts: 556
Joined: June 23rd, 2011, 3:20 am
Location: Singapore

Re: 17 in 17: Efficient 17-bit synthesis project

Postby BlinkerSpawn » May 7th, 2019, 9:15 am

Not sure how to assemble this:
x = 10, y = 13, rule = B3/S23
bo$2b6o$8b2o$7bo$7b3o$3bobo$b4obo$o5bo$ob4o$bobo$7b2o$7bobo$7bo!
LifeWiki: Like Wikipedia but with more spaceships. [citation needed]

Image
User avatar
BlinkerSpawn
 
Posts: 1876
Joined: November 8th, 2014, 8:48 pm
Location: Getting a snacker from R-Bee's

Re: 17 in 17: Efficient 17-bit synthesis project

Postby dvgrn » May 7th, 2019, 11:40 am

Freywa wrote:500 still lifes remain...

There are still some long stringy SLs in there that can clearly be improved. 17 gliders for xs17_xggc48a52z6243 seems like it must be too many, for example.

-- Ha, the first soup for a related still life, xs16_25iczw1164ko, happened to make a nice 8-glider eater-adding converter, cutting that synthesis from 14 gliders to 12, and bringing the cost of xs17_xggc48a52z6243 down to 15.

Copied into the magic Catagolue RLE upload page:

x = 280, y = 28, rule = B3/S23
271bobo$271b2o$268bo3bo$45bo216bobob2o$8bo37bo216b2o2b2o$8bobo33b3o
216bo$8b2o132bo77b2o48b2o$143bo76bobo47bobo$6bo40bobo91b3o78bo49bo$2o
2bobo40b2o51b2o48b2o70b2o48b2o$b2o2b2o41bo5bob2o42b2o2bob2o42b2o2bob2o
66bob2o46bob2o$o53b2o2bo45b2o2bo45b2o2bo65b2o2bo45b2o2bo$57bobo47bobo
47bobo67bobo47bobo$4b2o52bo36b2o11bo36b2o11bo69bo49bo$3b2o89bo2bo46bo
2bo57bo$5bo89b2o48b2o59bo4b3o$52b2o150b3o$52bobo154bo5bo$52bo156bo5bo$
143b2o64bo5bo$85bo56bo2bo$86bo55bobo66b3o$84b3o8b2o42bo3bo$95bobo41bo$
88b3o4bo43bo$90bo116bo$89bo117bo$207bo!

What's the current state of the "fragments" idea, for making this eater-adder apply automatically to other still lifes like, I don't know, the 19-bit eater tie Egyptian walk / xs19_wggc48f123z643, now doable in 14 gliders? Am I right that I'd currently have to magic-upload something like this (minus the optional first part) to get Catagolue/Shinjuku to know how to construct eater tie Egyptian walk?

#C not uploaded to Catagolue
#C   because I hope the synthesis will eventually show up magically
#C   without anyone doing anything manually
#C   except maybe defining the eater-adding converter fragment
x = 291, y = 28, rule = B3/S23
281bobo$281b2o$9bo268bo3bo$10b2o12bo30bo216bobob2o$9b2o14b2o29bo216b2o
2b2o$24b2o28b3o216bo$152bo77b2o48b2o$11b2o140bo76bobo47bobo$12b2o9b2o
32bobo91b3o78bo49bo$11bo12b2o31b2o51b2o48b2o70b2o48b2o$7bo15bo34bo5bob
2o42b2o2bob2o42b2o2bob2o66bob2o46bob2o$7b2o55b2obo46b2obo46b2obo66b2ob
o46b2obo$6bobo58bob2o46bob2o46bob2o66bob2o46bob2o$67b2obo34b2o10b2obo
34b2o10b2obo66b2obo46b2obo$104bo2bo46bo2bo57bo$105b2o48b2o59bo4b3o$62b
2o150b3o$62bobo154bo5bo$62bo156bo5bo$153b2o64bo5bo$95bo56bo2bo$96bo55b
obo66b3o$94b3o8b2o42bo3bo$105bobo41bo$98b3o4bo43bo$2o98bo116bo$b2o96bo
117bo$o216bo!

Oddly enough, the component also works for xs17_8e12kozca23, which I think is the last time that eater-adding came up. Unfortunately the constellation takes seven gliders to build instead of six because the first 3G synth doesn't quite fit. So the total is 9G instead of 8G, but that still saves 1G. That would seem to indicate I'm not imagining things and this converter is actually an improvement -- especially since it's three-sided, and also ridiculously slow-salvo-friendly (unlike the one it replaces).

I bet there's something better out there, but I'm not sure it will be a variant of this. The loaf and blinker baits seem resistant to being replaced... but I guess there are a lot of options to try, including two synchronized incoming gliders.

Anyway, this has been magicloaded already via Catagolue textbox:
#C 14-glider synthesis of xs17_8e12kozca23
x = 262, y = 26, rule = B3/S23
14bobo30bo$14b2o32bo$15bo30b3o$2bo3bobo$obo3b2o50bo49bo49bo36bo12bo44b
2o3bo$b2o4bo50b3o47b3o47b3o35bo11b3o42bobo2b3o$61bo49bo49bo32b3o14bo
43bo5bo$60bo42b2o5bo42b2o5bo42b2o5bo44b2o3bo$57bobo43b2o2bobo43b2o2bob
o43b2o2bobo47bobo$57b2o48b2o48b2o48b2o48b2o$49b2o$48bobo97b2o48b2o$b2o
47bo96bo2bo46bo2bo37bo$2b2o144b2o48b2o39bo4b3o$bo99b2o134b3o$8b2o91bob
o138bo5bo$8bobo90bo140bo5bo$8bo85b2o100b2o44bo5bo$93bobo42bo56bo2bo$
95bo43bo55bobo46b3o$137b3o8b2o42bo3bo$148bobo41bo$141b3o4bo43bo$143bo
96bo$142bo97bo$240bo!
User avatar
dvgrn
Moderator
 
Posts: 5711
Joined: May 17th, 2009, 11:00 pm
Location: Madison, WI

Re: 17 in 17: Efficient 17-bit synthesis project

Postby Freywa » May 7th, 2019, 11:55 pm

dvgrn wrote:Anyway, this has been magicloaded already via Catagolue textbox

Do not call this magic. At the time of this post I had just finished my final exams for the semester, and I'm very exhausted.
Princess of Science, Parcly Taxel
User avatar
Freywa
 
Posts: 556
Joined: June 23rd, 2011, 3:20 am
Location: Singapore

Re: 17 in 17: Efficient 17-bit synthesis project

Postby dvgrn » May 8th, 2019, 8:05 am

Freywa wrote:
dvgrn wrote:Anyway, this has been magicloaded already via Catagolue textbox

Do not call this magic. At the time of this post I had just finished my final exams for the semester, and I'm very exhausted.

It's generally better not to give arbitrary commands to people who have no particular reason to obey you. It's not clear why your level of exhaustion has anything to do with your peremptory order, except maybe as a partial excuse for your post, which to me comes across as rather rude.

You tried something similar earlier in this thread, telling -- not asking -- BobShemyakin to complete a task without seeming to consider that he might not be interested in following your orders.

I suspect that a politely worded request to the general community, looking for help reprocessing 17in17.rar and 17to17.rar into a form that can be imported into Shinjuku more easily, would be much more likely to get results. Speaking only for myself here, I generally really enjoy this kind of data-parsing puzzle. But I definitely wouldn't touch this particular request with a ten-foot pole unless you made more of an effort to be polite about it:

Freywa wrote:I have a task for you. The attachment below contains 7773 RLEs... Your task is to process these files and reply back to me with only a smaller archive of RLEs, where each RLE there contains a strictly cheaper (better) synthesis of the still life within according to your archive. I will be expecting.

Similarly, if you find the word "magic" objectionable for some reason, please explain why. Other people can't read your mind, so right now you're the only one who knows why in Conway's name you dislike it. If you really want to try to control other people's language on the forums, then you might try politely requesting that the term not be used in the future.

Right now the danger might be that "magic" will become a more popular term precisely because of your rather rude command. Not that this seems like a very big danger! You could simply decide that "magic" is a complimentary term, as it was meant to be, and everything would suddenly be fine. The intended reference is to a quote from science-fiction author Arthur C. Clarke:

Arthur C. Clarke wrote:Any sufficiently advanced technology is indistinguishable from magic.
User avatar
dvgrn
Moderator
 
Posts: 5711
Joined: May 17th, 2009, 11:00 pm
Location: Madison, WI

Re: 17 in 17: Efficient 17-bit synthesis project

Postby Freywa » May 8th, 2019, 10:06 am

dvgrn wrote:It's generally better not to give arbitrary commands to people who have no particular reason to obey you… But I definitely wouldn't touch this particular request with a ten-foot pole unless you made more of an effort to be polite about it:

Right now the danger might be that "magic" will become a more popular term precisely because of your rather rude command. Not that this seems like a very big danger! You could simply decide that "magic" is a complimentary term, as it was meant to be, and everything would suddenly be fine. The intended reference is to a science-fiction author Arthur C. Clarke:

Clarke's quote is wishful thinking and utter nonsense. Technology is inherently distinguishable from magic, and magic doesn't exist unless it's fiction. Of course, Shinjuku isn't magic; it's just some lines of code. The format is clearly explained in the Jupyter notebooks, and the source code is public. At the time of this post I was going through a massive refactoring of it.

Those who believe in magic in the real world are those who don't have (what I believe is) a necessary curiosity to plough through internals, technical specifications, backgrounds and the like to truly understand that "magic". Unfortunately, I find that many people here fit this description, not trying to educate themselves.

I made the request to Shemyakin in that manner because I know that his English is not very good, and so I had to be precise.
Princess of Science, Parcly Taxel
User avatar
Freywa
 
Posts: 556
Joined: June 23rd, 2011, 3:20 am
Location: Singapore

Re: 17 in 17: Efficient 17-bit synthesis project

Postby calcyman » May 8th, 2019, 3:06 pm

Freywa wrote:Clarke's quote is wishful thinking and utter nonsense. Technology is inherently distinguishable from magic,


Clarke isn't saying that they're the same, but rather that we can't, when given an example of sufficiently advanced technology or magic, determine which one it is. An analogous assertion would be:

A hypothetical writer wrote:Any sufficiently many-sided regular polygon is indistinguishable from a circle.


which holds inasmuch as our microscopes can't resolve to that level. Now obviously we know that polygons cannot be circles, but if I gave you an example, you'd have difficulty determining whether it's a circle or a teragon.

Freywa wrote:and magic doesn't exist unless it's fiction.


That's a semantic issue: I think you're internally defining 'magic' to be something that's non-existent. If you instead define it to be something that can't be explained using understood natural phenomena, then a nuclear power plant would be 'magic' to a 19th-century scientist.

Freywa wrote:Those who believe in magic in the real world are those who don't have (what I believe is) a necessary curiosity to plough through internals, technical specifications, backgrounds and the like to truly understand that "magic".


You're correct that, empirically, the human race has succeeded in replacing supernatural explanations with natural ones. But our understanding of the natural world is far from complete; otherwise, scientific papers would cease to be written.

I'm not sure it's necessarily due to lack of curiosity: we need to allocate our finite lifespans to things we deem interesting. Even if it were, I'm not sure that culminating your post with:

Unfortunately, I find that many people here fit this description, not trying to educate themselves.

I made the request to Shemyakin in that manner because I know that his English is not very good, and so I had to be precise.


is exactly the level of politeness that would make it into the end-of-chapter examples in Dave Greene's next installment of the conwaylife.com edition of Debrette's Guide to Modern Etiquette.
What do you do with ill crystallographers? Take them to the mono-clinic!
User avatar
calcyman
 
Posts: 2058
Joined: June 1st, 2009, 4:32 pm

Re: 17 in 17: Efficient 17-bit synthesis project

Postby dvgrn » May 14th, 2019, 9:25 am

I think transfer.py should be able to take a few more 17-bitters off the expensive list now, using this xs17_0ggc453zj4cz11 synthesis:

x = 57, y = 33, rule = B3/S23
obo$b2o$bo11$26bobo$27b2o$27bo$24bo$23bobo3b3o3b3o$23bobo$15b2o7bo8bo$
15b2o16bo$33bo2$54b3o$54bo$55bo5$39bo$39bo$39bo!

The recipe is slow salvo compatible, if some extra bait is added at the right to absorb the glider and Herschel.

Catagolue has been notified, so the full 11-glider synthesis should show up here in a few hours.

EDIT 5:30pm UTC, 15 May 2019: The 11-glider is showing up correctly, but xs17_wo86116426z321 is listed as needing 41 gliders. It can be taken off the expensive list by adding the standard 4-glider carrier-to-snake converter to the 11-glider xs17_0ggc453zj4cz11 synthesis:

x = 253, y = 57, rule = B3/S23
172bo$170bobo$171b2o6$11bobo$11b2o231bobo$12bo232b2o$245bo3$247bo$49b
2o39b2o33b2o63b2o56bo$49b2o39b2o33b2o63b2o45bobo6b3o$238b2o10bobo$5bob
o230bo11b2o$bo3b2o244bo$2bo3bo$3o2$47b2o39b2o33b2o63b2o$46bo2bo37bo2bo
31bo2bo61bo2bo54b2o$47b2o39b2o33b2o63b2o55bo$185bo61bo$183bobo60b2o$
184b2o59bo$123bo121bo$87b3o33bo63b3o56b2o$123bo124bo$85bo5bo99bo56b3o$
45b2o38bo5bo33b3o63bo59bo$44bobo38bo5bo99bo58b2o$46bo76bo$82b2o3b3o33b
o63b3o$48b2o31bobo39bo$48bobo32bo55bo62bo$48bo88b2o63bo$138b2o62bo3$
138bo$137b2o$137bobo9$195bo$194b2o$194bobo!

Of course the cheap xs17_0ggc453zj4cz11 synthesis also knocks xs19_xo8a53z69pz32 and xs19_xo8a53z69pz032, and so forth, off the expensive 19-bitters list, by applying various converters.

Rather than uploading all these syntheses manually, I'm leaving these as test cases for Shinjuku's fragments / templates / transfer.py system. How far is that system right now from being able to deduce a cheap synthesis for these?
User avatar
dvgrn
Moderator
 
Posts: 5711
Joined: May 17th, 2009, 11:00 pm
Location: Madison, WI

Re: 17 in 17: Efficient 17-bit synthesis project

Postby Freywa » May 15th, 2019, 11:03 am

A new script in the main Shinjuku folder tabulates the remaining expensive xs17s by number of C1 soups. Those xs17s with more soups should generally be easier to synthesise.

The output of this script as of this post is shown below. Now go get them!
xs17_0358gkcz6513 234
xs17_35s2dioz011 216
xs17_69abk4ozx121 202
xs17_178bp6426 201
xs17_39mk13z6221 200
xs17_0gbhu066z23 191
xs17_mp3ck8z65 145
xs17_ci9b8ozw1ac 133
xs17_ciab8ozw1ac 119
xs17_8ehe8zmq1 116
xs17_gs2pb8ozx32 116
xs17_178bp6413 104
xs17_0o4km93z643 99
xs17_ci5r8b5zw1 98
xs17_0c9jz69pz32 92
xs17_255mge2zx56 91
xs17_cid2sgzw643 91
xs17_0c9jz2egf2 88
xs17_4apb871z32 85
xs17_ca2jaaczx23 80
xs17_65la8cz6221 73
xs17_4aq3pmz023 71
xs17_j2aria4z11 71
xs17_259m4koz311 68
xs17_3p6kkozw56 66
xs17_08u1qcz32x23 65
xs17_02lmgmaz3201 61
xs17_69ab9k8zx32 61
xs17_0mp3ck8z641 60
xs17_g8kiarz1243 59
xs17_c9b4koz0253 57
xs17_4a9egoz039c 56
xs17_rb8ozxc952 55
xs17_4aq3pmz32 51
xs17_64kja96z0121 51
xs17_696o8ge2zw23 48
xs17_j2ar9a4z11 48
xs17_8u1ug8oz23 45
xs17_0cikm96z321 44
xs17_3lka96z065 44
xs17_j5c2dicz11 44
xs17_08u17871z32 42
xs17_69j03pczx121 41
xs17_0696kk8z3113 39
xs17_69ajc4ozx121 39
xs17_2eg6pb8ozx1 37
xs17_j9ab4koz11 37
xs17_0gjp64koz32 35
xs17_25t2koz0643 35
xs17_025iczca2552 34
xs17_35s2d96z011 34
xs17_3lk696z0146 34
xs17_c87p2sgzw23 34
xs17_8kkb9iczx32 32
xs17_j2araa4z11 31
xs17_wco2d96z2521 31
xs17_35a842tic 30
xs17_69ra96z32 30
xs17_0j9cz230eio 28
xs17_1787p46zx32 28
xs17_178raa4z032 27
xs17_8kklb871zx1 27
xs17_08ehla4z253 26
xs17_69p6413z65 24
xs17_8k8ge952zw65 24
xs17_g8ehd2koz11 24
xs17_0at164koz32 23
xs17_0mp3s4z6421 23
xs17_39m86p3zx11 23
xs17_9fgka4z643 23
xs17_ck5r8b5zw1 23
xs17_0ol3z642696 22
xs17_8u17871z32 22
xs17_bdgeioz023 22
xs17_039c84cz3156 21
xs17_0cikm93z321 21
xs17_3lka4zpi6 21
xs17_ca1t246z311 21
xs17_69ab9czw252 20
xs17_ml5a8oz146 20
xs17_ogeharzx32 20
xs17_358m4koz311 19
xs17_c9jz6ahe2 19
xs17_giegdbz1221 19
xs17_0ca2jz321343 18
xs17_0raik8z4a43 18
xs17_ciabk4ozx121 18
xs17_4a9m453z321 17
xs17_695mgmazw11 17
xs17_8kk6p3z6421 17
xs17_039c84cz3552 16
xs17_4a9egoz0bd 16
xs17_4aabp46zx32 16
xs17_ggc2dioz1226 16
xs17_gjloz1w2596 16
xs17_gs2dik8z65 16
xs17_069ak8zbd11 15
xs17_0cp3c4goz321 15
xs17_35s26zx178c 15
xs17_4a9f0ckzx311 15
xs17_8kidicz643 15
xs17_8p7gs26z23 15
xs17_c4go0e96zw65 15
xs17_g6pajkcz11 15
xs17_03lka96z3201 14
xs17_0c8id1e8z321 14
xs17_354mi8czx65 14
xs17_4aab8ozxbd 14
xs17_bdgeicz023 14
xs17_178c2cgc4go 13
xs17_695q8a6z032 13
xs17_6ik6952z056 13
xs17_8kiabgzxbd 13
xs17_g8kkm96z056 13
xs17_gbaik8zc93 13
xs17_3pa3iaczx11 12
xs17_g8ehla4z123 12
xs17_0ckjaa4z6221 11
xs17_0g4qajkcz121 11
xs17_0j9cz230eic 11
xs17_2ego44mp3 11
xs17_358mik8z0321 11
xs17_3pe0oi6zw23 11
xs17_8kkm9jzx65 11
xs17_g39qj96z11 11
xs17_j9cz11d552 11
xs17_358m552z311 10
xs17_35a84cj96 10
xs17_39eg8ge2zw23 10
xs17_3lkaicz1221 10
xs17_3pmk4ozx65 10
xs17_6io0e93z065 10
xs17_8ehacz6ip 10
xs17_ckja96z641 9
xs17_0cilla4z321 8
xs17_2ego4pb8o 8
xs17_3586p56zx32 8
xs17_39c88a6zw652 8
xs17_39s079cz032 8
xs17_62s53z3lo 8
xs17_o86164koz056 8
xs17_08u178k8z65 7
xs17_0adharz321 7
xs17_314616861ac 7
xs17_39c84kozw253 7
xs17_4alhe0db 7
xs17_4alhik8zw66 7
xs17_8ehaczmq1 7
xs17_g8g0si52z01cb 7
xs17_i5m862sgz11 7
xs17_mk4b96z56 7
xs17_0cq1e8zmq1 6
xs17_0o861acz8k96 6
xs17_358ge93z0321 6
xs17_39s0g88czw1243 6
xs17_4aajk46zx146 6
xs17_8kidioz643 6
xs17_g88c93zd552 6
xs17_g8idik8z1243 6
xs17_062s53z259c 5
xs17_0cq1e8z6ip 5
xs17_2596ki6zx641 5
xs17_31kmik8z0641 5
xs17_32araa4z032 5
xs17_35s2koz0643 5
xs17_3lka96z641 5
xs17_3pab43146 5
xs17_4aaj2arzx11 5
xs17_j9cz122c8426 5
xs17_mk5b8oz56 5
xs17_wco2dioz2521 5
xs17_025a8k8z65132 4
xs17_09fg4cz259c 4
xs17_0dbgz8ka346 4
xs17_0gbdz23cia4 4
xs17_0h7o4oz34701 4
xs17_39s079cz32 4
xs17_3loz34215a4 4
xs17_4aajk46zx56 4
xs17_628c93z3156 4
xs17_8ehla4z643 4
xs17_8kihla4z066 4
xs17_gbq2koz1243 4
xs17_mk4b96z146 4
xs17_wci5dicz311 4
xs17_03hikoz8k96 3
xs17_06ao4871z2521 3
xs17_0dbgz2egf2 3
xs17_0g8hv04a6z23 3
xs17_0gbhc826z3421 3
xs17_0ggc453zpia4 3
xs17_0j9cz23cik8 3
xs17_259mk13zx65 3
xs17_2lla84cz065 3
xs17_39cgcik8zw23 3
xs17_4aq3og4cz023 3
xs17_69ajkczx56 3
xs17_8ehe8z6ip 3
xs17_at164koz32 3
xs17_g8kkm93z056 3
xs17_mk2dicz146 3
xs17_wgie0dbz643 3
xs17_wo8alicz6221 3
xs17_04ap5a4z6521 2
xs17_0628c93z6513 2
xs17_069q48cz6521 2
xs17_08kiarz4a43 2
xs17_0bdggoz2596 2
xs17_0ci9b8oz6221 2
xs17_0cil9a4z6221 2
xs17_0db88gzc9311 2
xs17_0gbdz230eic 2
xs17_0ok2t52z6421 2
xs17_178r54cz032 2
xs17_25a8cia4zx65 2
xs17_25a8kk8z6413 2
xs17_25a8kk8zwdb 2
xs17_25ic8a6z6221 2
xs17_25t246zxdb 2
xs17_2eg8o6pic 2
xs17_2lla4zpi6 2
xs17_2lmgmaz641 2
xs17_31km853zw56 2
xs17_35s246zbd 2
xs17_39cg7p8zx121 2
xs17_39eg8oz039c 2
xs17_39q4og4cz32 2
xs17_4a9jzw23cic 2
xs17_6413kk8z3123 2
xs17_69q4og4cz32 2
xs17_6ik69a4z056 2
xs17_cahdik8z023 2
xs17_cila8kczx32 2
xs17_j9cz122c871 2
xs17_kq2c871z65 2
xs17_o8alla4z023 2
xs17_01784k8zc9311 1
xs17_039s0qmz311 1
xs17_04a9jz3lp1 1
xs17_0628c93z2553 1
xs17_069ak8zo8b5 1
xs17_08u16853z65 1
xs17_0c4lb8oz2521 1
xs17_0c9jz69pz032 1
xs17_0c9jzc93056 1
xs17_0cai31e8z321 1
xs17_0ci9egoz6221 1
xs17_0dbgz6agf2 1
xs17_0g5r8jdz121 1
xs17_0g6pajoz321 1
xs17_0ggc2dicz1246 1
xs17_0gie0dbz1246 1
xs17_0gs2di8gz641x1 1
xs17_0h7o4cz34521 1
xs17_0iu08e13z641 1
xs17_0j9cz122d93 1
xs17_0j9qj4cz23 1
xs17_0mq0cp3z1221 1
xs17_1784cgf123 1
xs17_252s53z0bd 1
xs17_25ic826zwc93 1
xs17_25ic826zxdb 1
xs17_25icggozwc96 1
xs17_312jaik8zw23 1
xs17_3146p3zwbd 1
xs17_358ge9a4zx23 1
xs17_358m9aczx23 1
xs17_35s252zbd 1
xs17_39s0796z32 1
xs17_3pa32aczw23 1
xs17_4a40vhar 1
xs17_4a96ki6zx641 1
xs17_4akg8e13zw65 1
xs17_4akgf9z6221 1
xs17_4ap64kozw123 1
xs17_4s3pajozw1 1
xs17_64kb9cz6221 1
xs17_64p78b5z011 1
xs17_696o8ge2z032 1
xs17_69ak8ge2zw23 1
xs17_6io0e93z641 1
xs17_6io0e96z065 1
xs17_8ka96zw1139c 1
xs17_8kidicz6421 1
xs17_at16853z32 1
xs17_c88m96zbd 1
xs17_cahe8zmq1 1
xs17_ciarzw25213 1
xs17_cila84cz641 1
xs17_cklb8oz641 1
xs17_drz12264213 1
xs17_g8861acz1qm 1
xs17_g8gkq23zc96 1
xs17_g8id9icz1221 1
xs17_ggc2dicz1226 1
xs17_ggca178cz65 1
xs17_j5o642sgz11 1
xs17_j9c0qmz0113 1
xs17_j9cz23032ac 1
xs17_jhke0dbz1 1
xs17_kq23z1248a52 1
xs17_mk2dioz56 1
xs17_mk5b8oz146 1
xs17_o8blka4z023 1
xs17_w8u15a8oz311 1
xs17_w8u178k8z311 1
xs17_wci4mp3z311 1
xs17_wci5dioz311 1
xs17_025a8k8zc9311 0
xs17_025ic826z6511 0
xs17_032qkzoi6221 0
xs17_039q4goz6243 0
xs17_03loz2520f9 0
xs17_03loz25a871 0
xs17_03p6413z39c 0
xs17_03p6413zbd 0
xs17_03p6426z39c 0
xs17_03p6426zbd 0
xs17_03pa39cz321 0
xs17_04aic871z2521 0
xs17_04ak5b8oz311 0
xs17_04aq4871z2521 0
xs17_06agc93z6521 0
xs17_08u1642sgz32 0
xs17_08u1784cz65 0
xs17_09v04a4z69c 0
xs17_0at16853z32 0
xs17_0bdg628cz321 0
xs17_0c88c93zca23 0
xs17_0c8id2koz321 0
xs17_0c9jc4goz321 0
xs17_0drz4706413 0
xs17_0drz4706426 0
xs17_0gbdgma4z121 0
xs17_0ggc2dioz1246 0
xs17_0gs2diczca1 0
xs17_0j5oz34b413 0
xs17_0j9cz122139c 0
xs17_0j9czc96246 0
xs17_0j9czc9628c 0
xs17_0j9qb8oz23 0
xs17_0kq2c871z641 0
xs17_0mp2c826z641 0
xs17_0mp2c84cz641 0
xs17_0oggci52zc8421 0
xs17_0ok21eg8oz641 0
xs17_1784cggzy332ac 0
xs17_1784k8zbd11 0
xs17_1784ozw6a952 0
xs17_1784qa4z02521 0
xs17_255q48cz2521 0
xs17_256o5b8ozw11 0
xs17_256o8bdzx23 0
xs17_259m453z311 0
xs17_25a88c93zx252 0
xs17_25a8k8ge2zx23 0
xs17_25a8k8zbd11 0
xs17_25a8kk8z0c93 0
xs17_25ic88czwc93 0
xs17_25ic88czxdb 0
xs17_25icggkczx56 0
xs17_25t246zbd 0
xs17_2egdb8ozw23 0
xs17_31ke0dbz032 0
xs17_31ke0mqz032 0
xs17_31ke1daz032 0
xs17_31km1e8zw56 0
xs17_3213kk8z3123 0
xs17_32akg84215a4 0
xs17_32as0qmz032 0
xs17_32q453z39c 0
xs17_32q453zbd 0
xs17_32q453zxdb 0
xs17_32qkzxgjkczx1 0
xs17_358m453z311 0
xs17_358m9a4z0321 0
xs17_358mi8czx65 0
xs17_35s246zxdb 0
xs17_39c84k8zxbd 0
xs17_39c88b5zw252 0
xs17_39cga6z0bd 0
xs17_39eg8oz0bd 0
xs17_39s0796z032 0
xs17_3h2jap3z011 0
xs17_3iak5b8ozw1 0
xs17_3loz34a952 0
xs17_3p6426zwdb 0
xs17_3pajc4gozw1 0
xs17_3pcwg8k8zw1243 0
xs17_4a51246pic 0
xs17_4a9m4koz321 0
xs17_4a9m853z321 0
xs17_4ai312kozx123 0
xs17_4ai3gjl8zx11 0
xs17_4ai3wmqzx123 0
xs17_4aik8a52zw65 0
xs17_4al9acz6221 0
xs17_4alhe8z6221 0
xs17_4alhik8z0641 0
xs17_4aq321e8z032 0
xs17_4aq3og4cz32 0
xs17_5b88m96zx32 0
xs17_5b8j146z321 0
xs17_6245r8jd 0
xs17_628c93z3552 0
xs17_64p784czx56 0
xs17_69eg8oz039c 0
xs17_69eg8oz0bd 0
xs17_6ik8a53z065 0
xs17_6io0e96z641 0
xs17_8k4b9czwdb 0
xs17_8kaajkczw23 0
xs17_8kihla4z641 0
xs17_8kkb9cz6421 0
xs17_8o6413z342sg 0
xs17_8u1642sgz32 0
xs17_bq231246z32 0
xs17_bt0gbdz0121 0
xs17_c4oa52zmq1 0
xs17_c88r54cz065 0
xs17_c9jzw1qa4zx23 0
xs17_ci52zw1248gka4 0
xs17_ci9di4ozx121 0
xs17_ciak5b8ozw1 0
xs17_cidik8z643 0
xs17_cidikozw56 0
xs17_cik8a53z641 0
xs17_cilb8oz641 0
xs17_cip68oz6421 0
xs17_dbgz358ge2 0
xs17_dbgzw1qa4zx23 0
xs17_g0j9qj4cz11 0
xs17_g8421e8z11db 0
xs17_g8861aczpi6 0
xs17_g88c871z11da 0
xs17_g88c871zc952 0
xs17_gbdz12131e8 0
xs17_gbdz122c871 0
xs17_gbdz23032ac 0
xs17_gbhc6hrz01 0
xs17_ggc2dicz1ac 0
xs17_ggc2dioz1ac 0
xs17_giligz1wpk3 0
xs17_i5p642sgz11 0
xs17_j9a4z12139c 0
xs17_j9a4z122c826 0
xs17_j9a4z122c84c 0
xs17_jhke0mqz1 0
xs17_jhke1daz1 0
xs17_kc3213z121e8 0
xs17_kc32ak8z1252 0
xs17_mk2dicz56 0
xs17_mk2dioz146 0
xs17_mp2c826z65 0
xs17_mp2c84cz65 0
xs17_o8616853z056 0
xs17_o8bl8zx121e8 0
xs17_o8blgozw1ac 0
xs17_wci4djoz311 0
xs17_wo86116426z321 0
xs17_wo86picz6221 0
xs17_xkq23zck3z023 0
xs17_y0j9a4zggma1z1 0
Princess of Science, Parcly Taxel
User avatar
Freywa
 
Posts: 556
Joined: June 23rd, 2011, 3:20 am
Location: Singapore

PreviousNext

Return to Patterns

Who is online

Users browsing this forum: No registered users and 19 guests