## 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

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

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!

calcyman

Posts: 2058
Joined: June 1st, 2009, 4:32 pm

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

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

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

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

BlinkerSpawn wrote:EDIT: Naive synthesis methods give me... 17G!
`x = 63, y = 32, rule = Lifeo\$b2o\$2o3\$48bo\$16bo30bobo\$15bo31bo2bo10bo\$3bo11b3o28b2o3bo8bo\$4b2o44b2o8b3o\$3b2o\$40b2o\$39bo2bo\$13bo25bo2bo10bo\$3b3o6b2o26b2o11bo\$5bo6bobo38bo\$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/S23o\$b2o\$2o3\$48bo39bo\$16bo30bobo29bo7bobo\$15bo31bo2bo29bo6bo2bo10bo\$3bo11b3o28b2o3bo26b3o5b2o3bo8bo\$4b2o44b2o38b2o8b3o\$3b2o2\$79b2o\$13bo64bobo12bo\$3b3o6b2o66bo12bo\$5bo6bobo78bo\$4bo41bo40b2o\$47b2o37bo2bo\$46b2o3bo35b2o2b3o\$51b2o38bo\$50bobo23b3o13bo\$78bo19bo\$77bo19b2o\$97bobo\$39b2o\$40b2o\$39bo3\$94b3o\$94bo\$95bo!`

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

xs17_2l2s0qmz121 in twelve gliders, if it hasn't been done already:
`x = 73, y = 33, rule = B3/S2349bo\$47b2o\$28bo19b2o\$26bobo\$27b2o5b2o\$35b2o\$34bo3bobo\$38b2o\$39bo9b2o\$49bobo\$41bo7bo\$41b2o\$6bo33bobo\$4bobo\$5b2o2\$7bo\$7bobo\$7b2o58bo3bo\$39b2ob2o22bobobobo\$39bo3bo23bo3bo\$40b3o25b3o2\$40b2obo24b2obo\$40bob2o24bob2o\$b2o\$2b2o4b2o\$bo6bobo2b2o\$8bo3b2o\$14bo\$3o\$2bo\$bo!`
I Like My Heisenburps! (and others)

Extrementhusiast

Posts: 1768
Joined: June 16th, 2009, 11:24 pm
Location: USA

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

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/S23b2o18b2o18b2o2b2o19b2o18b2o15b2ob2o13bo22bo17b2o18b2ob2o18bo15b2o18b2o23b2o18bo13b2ob2o16bo3b2o14bo19bo23b2o13b2o18bo19b2o3bo14b2o18b2o18b2o3b2o13b2o2bo15b2o3b2o13b2o20bo2b2o16bo18b2o19bo20b2o15b2o18bo22b2o16bo21bo18b2ob2o13b2o2b2o17bo17b2ob2o15bo17b2o22bo18bo17bo21bo16b2o2bo15b2o21bo17bo21bobo18b2o18b2o\$2bo18bo3b2o14bobo2bo15b2o2bo14b2o3bo15bobobo14b3o2b2o14b3o18bo19bobo18bobo15bo18bo20b2o2bo18bobo13bobo2bo13bobo2bo14bobo17bobo17b2o4bo13bo2bob2o13b3o2b2o13bo3bobo13bo2bobo14bo4b2o13bobobobo13bo2bobo14bobobobo13bobo2b2o14bobo2bo14b3o17bo2bo16b3o16b2obo2bo13bo2bob2o13bobo3b2o12b2o2bo16bobo18b3o19bobo13bo2bo2bo16bobo15bobobo15bobo17bo21bobo16bobo16b3o18bobo15bo2bobo14bo19bobobo15bobo19bob2o17bo2bo17bobo\$2bob2o17bo2bo16b2o16bo2bobo14bo2bobo15bobobo17bo2bo13bo19bo2b2o16bo3bo16bobo16bob2o17bo17bo2bobo17bobo14bobob2o14b2o3bo14bo2bo16bobo2b2o13bo2bo17b2obo17bo2bo14bo2bo2bo13b2ob2o16bo3bo15bobo16b3obo16bobo17bo3bo13bo2b3o14bo3b2o14bobo2bo14bo5b2o12bo3bobo13bobo3bo13bo2bo2bo13bobobo16bo2bo16bo19b3o2bo14bobobo14bo2bobo14bobo3bo13bobobo15bo22bo2bo16bobo18bo16bobobo15b2obo17bo17b2obobo14bo2bob2o15bo19bob2o21bo\$3bo2bo15b3o17bo19b2obo16b2obo15b2o2bo15b2ob2o15b2o18b2obo2bo15b2obo16bobobo15bobo16b2o18bob2o15bo2bo17bobo18b4o15b2obo17bo3bo13bobob4o14bo2bo15b2obo16bob3o15bo18b5o15bobobo18bo16bobobo15b2obo16b2o18b3o2bo14bo4bo14b2obo2bo14b2obo15bob3o15b2obobo14bo2b2o14b2ob2o15bo2b2o15bo3b2o14b2o2bo15b3obo15bo2b3o14bobo2bo14b2o19b2o2b2o14bobo2bo14b2o2bo15bobo2bo15bobobo14b2o20bobo15bob2obo13bobob2o16bo2bobo17b2o\$5bo36bo20bo19bo18bo19bo21bo17bo3b2o13bobobo15b2o3b2o13bobo17bo19b2o18b3obo18bo18bo20bo17bob3o15b2obo2bo13bo2b2o16bob2o16bo18bo39bo2bo15b2o18bo2bo16bo2b2o17bo19bob2o15b4o16bob2o17bo19bo19bobo16b2o18bo18b2o2bo15b3o17bo21bo17bobo17bob3o16bo17bo19bobob2o14bobob2o14b2o2b2o14bo4b2o13bo19b2o2bo15b2o18b2obobo17bo2b2o16bo\$b4o15b3o17b2o19bobo17bobo16bo19bobo17bob2obo14bobo17bobo17bo19bobobo16bo20bo21bo18bo20bo15b4o19bo37bo19bo22bo15b2o21bo19b2o16bo18b2o21bo16bobo20bo19bo16bo20bobo17bo21bo19bo18bo20b2o18bo16bo19b2o20bo19bo17b2o18bo19bo2bo16bo2bo17bo18b2o19bobo16bo20bo21bo16b3o21bo\$2bo17bo2bo16bo19bobo17bobo17b2o18b2o18b2obobo14b2o19bo19bobo16bo2bo16b2obo16bo22bo19b2o18b2o15bo23bo36b2o18b2o20b2o15bo21bobo38bo38b2o16b2o20b2o17bo18b2o19b2o18b2o19b2o17bo18b2o21bo36b2o18bo42bo16bo3b2o15b2o18bobo17bobo16bo39b2ob3o15bo18bo22b2o15bo21b2o\$o20b2o19bo18bo19bo62bo57b2o17b2o19bobo15b2o18bobo58bo21b2o96bo20b2o38b2o97b2o98b2o17bo23bo56bo40b2o17bo2bo17bo19bo19bo17b2o44bo13b2o18b2o60bo\$2o39b2o199bo2bo34b2o58b2o118b2o279bo21b2o55b2o60bobo15bo104b2o96bo\$243b2o495b2o141bo16b2o198b3o\$1100bo10\$2bo18b2o18b2o2b2o18b2o18bo17b2o18b2o19b2o17bo19b2o20b2o14b2o18b2o19bo21bo15b2ob2o2b2o12b2o18bo19bo22bo15b2o2b2o14bo3b2o14b2o3b2o13b2o18b2o3b2o13b2o2b2o14b2o2bo15b2o18b2o20bo20b2o17b2o19b2o18b2o16bo19b2o2b2o17b2o16b2o19bo20b2o14b2o21b2o17b2o21b2o13b2o23b2o18bo18bo18b2o15b2o18b2ob2o18bo17b2o17b2o23b2o\$bobo17bo19bobo2bo14b2o3bo14b2obobo15bobo19bo17b3obo15bobo17bo2bo20bo15bo18bo19bobo19bobo15bobobo2bo11bo2bob2o13bobo17bobo17b2obobo14bo2bo2bo13b3o2bo14bo2bo2bo13bo2bobo14bo4bo14bobo2bo14bo2bobo14bobob2o14bobo18bobo17b3obo15bo2bo16b3obo14b2o2bo15bobob2o14bobo2b2o13b2o2bo16bo2bo17bobo18bobo14bo2b2o18bo17bobo17bo2bobo14bo23bo17b3o17bobo16bobo15bo2bobo14bob2obo14bobobo15bobo17b2o22bo2bo\$2bo2bo17bob2o16b2o16bo2bo16bob2obo15bobobo14b3o17bo4bo14bo2bo17bob2o17b3o16bobo18bo17b2o19bo2bo15bo3b2o14bob2obo14bo2b2o15bobo17bobob3o14b2obo17b2o16bob3o15b2ob2o16bo3bo15b2o17b3obo16bobobo15b3o15bo2b3o14bo5bo13bobo2bo14bo4bo14bob2o16bobobo15bo19bobobo16bobobo15bobobo15b3o17bobo16bo3b3o13bo19bobo2bo14bo22bobo16bo19bobobo14bo19bob2obo18bo14b2obo16bo2b2o37bo2bobo\$3b2obo15b3obo15bo20b3o19bo15b2o2bobo13bo2b3o14b2o3b2o13b2ob2o17bo19bo19bobo16b2o21bo15bo3bob2o13b3o17bo19b2o2bo16bo2bo14bobo4bo14bob2o15bo19bo19bo18b5o15bo22bo16bobo2bo14bo3bo15b2o3bo14bo5bo13bo4bo14b2obo17bo18bobo2bo14b6o14bo2b2o14b2obo2bo13bo2bobo14bo3bo15b2obo16b4o2bo13bob4o14bo2b2o15b2o19b4o16bo2b2o16bobobo14bob4o15bo3bo14b2obo18bobo15bobobo14b4o18b2ob2o\$5bo36bo39b2o18bo3bo16bo2bo16bo18bo18bobo17b2o18bobobo15bo19b5o15b2o3bobo15bo19b2o18b2o16bob3o15b2o3b2o13bo19bo20bo18bo39b2o17b2o18bo2b2o15b3obo17bob2o15bo3b2o14b4o16bob2o16bo20bob2o16bo2bo15b2o18bob2o15b2obo16b3obo16bo20bo17bo3bo15b2o19bo17bo19bob2obo14b2o3bo14b2obo2bo13bobo3b2o12bobob2o14b2o2b2o14b2o2bo15bo2bo19bo\$b3o16b3o17b2o19b3o18bo18bo19bobo16bobo19bo17bobo17bo19bobobo16bob3o14bo21bo42bo16b2o19bo37bo18b2o18b3o20b2o18bo19bo17bo18b2o22bo15bobo20bobo36bo17b2o21bo39bo18bo20bo20bo15b2o20bo19bo19bo19bo17b3o17bo2bo16bo22bo16b2o19bo18bo20bo22b2o15bobo\$o2b2o15bo2bo16bo19bo2bo16bobo17bo19bobo17b2o18b2o18bo19bo19bobo19bo2bo14bob2o16bo42bo19bo20bo36b2o17bo19bo23bo17bobo15b3o19bo40bo16b2o22b2o16b2o17b2o17bo21b2o38bo18b2o17bobo20bo16bo20bo21bo16bo22b2o18bo17bobo17b3o19b2o57bo17bo24bo14bobo\$2o20b2o17bo19b2o17b2o18b2o19bo38bo20bo19b2o18b2o17bobo18bobo16b2o41b2o16bo20bobo57bo40bo19bo16bo20b2o40b2o57b2o37bo60b2o36b2o21b2o16bo19b2o21bo15b2o23bo16bo19bo20bo77b2o17b2o20b3o16bo\$40b2o120bo19bo19bo37b2o99b2o19b2o57b2o40b2o197bo137b2o41b2o38b2o17b2o158bo\$161b2o18b2o17bo460b2o220bo\$200b2o682bo\$883b2o9\$2bo18b2o18b2o22b2o16b2o18bo21b2o16b2o18bo19bobo19b2o19b2o13b2o19bo21b2o14b2ob2o16b2ob2o15bo19b2o21bo2b2o11b2o2bo15bo3b2o14b2o18b2o2bo15b2o18b2o18b2o18b2o18b2o20bo2b2o16bob2o15b2o19b2o18b2o16bo19bo22b2o16bo20bo20b2o14b2o19b2o19b2o18bo17b2o23b2o18b2o17bo15b2ob2o15b2o18b2o3b2o16bo17b2ob2o14b2o23bo\$bobo17bo19bobob2o14b2o3bo15bobo17bobo21bo15bobo17bobo17bob2o20bo14b2o2bobo13bo19bobo2b2o15bo2bo14bobobob2o11bo2b2obo13bobo17bo2bobo14b2obobo2bo11bo2bobo14b3o2bo14bo2bo16bo2bobo14bo19bobo17bo2bo16bobo17bobo18bobo2bo14b3obo15bo2bo16b3obo14b2o2bo15bobo3b2o12bobo17b2obo2bo14bobo18bobo17bo2bo14bo2b2o17bo18bo2bo16bobo17bo23bo18bobo16bobo15bob2o15bobo17bo2bo2bo13bobobo17bob2o14b2o22bobo\$2bo2bo17bob2o16b2obo14bo2bo17bo19bo2bo15bo2bo16bo19bo2bo17bo20b3o16bo2bo17bo17bo2bo2bo14bob2o15bo3b2obo12bo5bo13bo2b2o15b2ob2o15bobobobo14b2obo17b2o16bob3o15b2obo17bo20bo2b2o13b2obo17b3o17b3o15bo2bobo14bo5bo13bob2obo14bo4bo14bob2o16bobo3bo13bobo17bob2obo15bobo17bobobo16b2o17bobobo14bo2b2o15bo2bobo14bobo2b2o13bo22bobo16b3o17bobobo14bo21bo18b2obo14b2obo17bo40bo2bo\$3b2obo15b3obo15bo20b3o15b2o2bo15b2ob2o15b5o15bob4o14b2ob2o17b2obo16bo18bob2o16b2o18bob2o15bo2bo17b3o17b4obo14b2o2bo15bo18bobo2bo18b2o15bo19bo3bo15bo18b4o16b2obo2bo15bo17bo3bo15bo3bo15b2obo16bo5bo13bo3bo15b2obo17bo18bob2obo14b2ob2o18bo15b2ob2o15bo2bobo14b2o18b2obobo14b3o2bo14bob2o2bo13bo2b2obo13b2o19b4o16bo3bo16bobobo15b2obo15b2o20bob2o16bobo14bob4o14b4o18b2obobo\$5bo36bo40b3o16bobo37bo3bo15bo18bobob2o14b2o18b2o18bo19b2o18b2obo19bo19bobo17b2o16bo19b2o18b2o18bo20bob2o15bo22bo16bob2o15b2o18bob2o16b4o18bo18bob3o15b3o17bob2o16bo20bobo18b2o15b2o19bo18b2obo16bo20bobo19b2o15bo2bobo14b2o18bo18bo19bob3o15b2o3bo14bobob2o14bo19b3o17b2o2b2o14bobo2bo14bo2bo19bo2b2o\$b4o15b3o17b2o19b3o17b2o17bo5bo16bo19bo18bo17bobo17bo21bo18bo20bo20bo58b2o16b2o40bo17b2o18b3o17b2o19b4o15bo19bo21bo37bobo20b2o15bobo17bo22b2o16bo19b2o18bo20bo19bo17bo21bo19b2o19bobo16bo17bo5b2o13b2o18bo18bo19b2o18bob3o15bo19bo20bo22b2o15bobo\$2bo17bo2bo16bo19bo2bo16bo2bo16b2o3b2o14b3o16b3o17b2o18b2o19b2o17bo21b2obo14bo19bobo57bo2bo16bo42bo16bo19bo19bo21bo17b2o19b2o17bobo18b2o17b2o38b2o18b2o22bo16b2o18bo20bo17b2o18bobo17bobo18b2o18bobo20bo15bo20b3obobo15bo18bo18bo39bobo37bo44bo13bobo\$o20b2o19bo17b2o19b2o37bo19bo19bo42bo16b2o18bobob2o14b2o18b2o58b2o19bo40b2o17bo39bo18bo41bo17b2o19b2o101bobo36bo17b2o17bo19b2o19bobo38bo37b2o21b2o15bobo18b2o19bo42bo34b2o41bobo15bo\$2o39b2o77b2o39bo38bobo37b2o118b2o58b2o38b2o18b2o38bo144b2o35b2o38bo40bo116b2o39b2o41b2o77b2o\$160b2o38b2o318b2o219b2o40b2o11\$2bo18b2o18b2o21b2o17b2o16b2o21b2o17bo17b2o20b2o20b2o14b2o18b2o19bo19b2o16b2o19b2obobo14bo19b2o18b2o17b2o3b2o13bo3b2o14b2o2b2o14b2o18b2o2b2o14b2o2b2o14b2o2b2o14b2o22b2obo15bo19bo18b2o19b2o17b2o17bo19bo22bo17bo20bo17b2o17b2o19b2o20bo18bo19b2obo18b2o19bo18bo16bo18b2o18b2o21b2o18bo18b2o22b2o\$bobo2b2o13bobo17bobob2o14b2o2bo16bo2bo16bo20bo2bo15bobo17bo21bo2b2o13b2o2bo14bo19bo19bobo19bo17bo2bo15bo2b3obo12bobo17bo2bobo14bo2bo16bo2bo2bo13b3o2bo14bo2bo2bo13bo2b2o15bo3bo15bo3bobo13bo2bo2bo13bobo18bo2bob2o13b3o17b3o2b2o13bobo19bobo14bo2bo16bobo3b2o12bobo17b2obobo15bobo18bobo17bo2b2o13bo2b2o17bo18b3o17bobo18bob2o19bo18bobo16bobo14bobob2o14bobo17bo2bob2o13bo2bobo16bobo17bo3b2o15b2o2bo\$2bobo2bo16bo18b2obo14bob2o17bobobo15bob2o15bo2bobo14bo2bo16bo22bobobo14bobo16bo20bo17bo2bob2o14bo18bobobob2o12bo5bo13bo2b2o15b2ob2o15b2obo17b2obo17b2o16bob3o15b2obo17bobo17bobobo14b2o2bo16b3o15bobobo15bo19bo5bo13bo3b2o14b2obobo14b2o2b2o14bobo3bo13bobo17bob2o2bo14bobo17bobo18bobobo14bobo16bo19bo19bobo2b2o19b2o15bo18b3obo15bobo16b2obobo16bo18b2obo14b3o2bo16bob3o17bo2bo16bobo\$4b2o16b2o2bo15bo20bo17b2o2bo15b2o2bo15b2obob2o13bob2obo14b4o17bobo2bo15bob2o16bo18b2o18bob2obo13bo20b2obobo2bo11b5o15b2o2bo15bo20bo20bo17bo19bo19bo18b2o2b2o14b2o2bo17b2o16bo3bo15bo2bob2o13b5o15bo5bo13b2obobo14bobob2o19bo14bob2obo14b2ob2o18b2o14b2ob2o15bo2bobo14b2o2bo15b2obobo14b2o18bob4o14bo2b2obo16b2o2bo13b4o16bo3bo16bobobo16bo2bo14b2o20bo2bo16b2o15b2o5bo15b3o18bob2o\$3bo19bob2o15bo20bo19b2o18bo19bo18bo2b2o18bo15bob2o16b2o18bobo17bo19b2o18b2o23bo2b2o13bo19b2o16bo18b2o19b2o18bo20bo18bo20bobo16bo18b2o18bob3o18b2obo17bo16bo3b2o14bo2bo15bo2bo19b2o17bobo17bobo15b2o19bo18b2ob2o15bob2o17bob2o16bo18bo3bo15b2o2bo14bobob2o14bo19bob3o15b2o3b2o13bobo3b2o12bo19b3o2b2o13b2o18bo5b2o34b2o\$b3o19bo16b2o19b2o18b2o18b2o17bobo20bo17b4o16bo18bo19bobob2o15bo20bo21bo57b2o19b2o15bo21bo20b2o15b3o20b2o18bobo15bo18bobo19bo40b2o18bobo14bobo19bobo15b2obo19bo17b2o18bo20bo19bo18bo20bo19bo19bo20bo16b2o18b3o18bo18bo19b2o18bo19bo19bo20bo19b3o18bo\$o19b2obo16bo19bo19bobo17bo19b2o18b3o19bo17b2o19bobo16bobo2bo16b2o16bo19bob2obo57bo20bo16b2o20bo20bo15bo23bo19bo16b2o18bo21bo39bo20b2o14b2o21bo16bob2o18b2o17bo20bo17b2o18bobo17b2o19b2o17b2ob2o18bo19b2o38bo18bo18b3o37b2o2b2o35bo19bo17bo2bo16bobo\$2o18bobo18bo19bobo17bo19bobo36bo19bo41b2o17bobo16bobo2bo14b2o18b2obobo56bo20bo18bo19b2o19bo40bobo75b2o40bo118bo17b2o17bo19b2o58bo2bo20bo55b3o18b2o20bo39bo2bo34b2o18b2o18b2o17b2o\$40b2o20b2o38b2o56b2o60bo17b2o2b2o38bo57b2o19b2o15bo42b2o40b2o116b2o117b2o37bo79bobo19b2o55bo82b2o\$380b2o358b2o80bo11\$2bo18b2o18b2ob2o18bo20bo15b2o21bo20b2o14b2o19b2o19bo17b2o18b2o19b2o17bo18b2ob2o16b2o2b2o14bo19b2o18b2o17b2o18bo19b2o2bo15b2o2b2o14b2o18b2o2b2o14b2o2bo15b2obo18b2o3bo15b2o21bo15bo19b2obo17b2o16bobo17bo23b2o15b2o19b2ob2o14bo17bo2b2o16b2o20bo18bo18b2ob2o17b2o16bo22bo16b2o17b2o18b2o2b2o17b2o18bo2b2o14b2o21b2o\$bobo17bo3b2o14bob2o16bo2b3o16b3o16bo2bo17bobo16bobobo15bo19bo2b2o15bobo16bobo17bobo17bobo17b3o17bobo16bo2bo2bo13bobo2b2o13bo2bo16bo2bo16bo2b2o15b3o17bo2bobo14bo2bo2bo13bo3b2o14bo3bobo13bo2bobo14bob4o15bo2bobobo12b3o17b2o2bobo13bobo18bob2o14bo2bo16bob2o16bobo17b2o2bobo14bo2bo17bobobo14bobobo14b4obobo14bo18b3o17bobo17bob2obo15bo2bo15b3o19bobo14bo2bobo14bobo17bo2bo2bo13bo2bobo16bobo2bo14bo3b2o16bo2bob2o\$2bobo18bo2bo19bo14b3o3bo14bo19bobobo14bo2bobo14bob2o16bo21bobobo15bobo18bo18b3o15bo2b2o18bo16bo2b3o14bob3o15bobo2bo14b2obo16b2o2b2o15b2obo17bo17bobo2bo14b2obobo15bo2bo16bobobo14b2o2bo20bo13bobo2b2o2bo10bo4bo14bo2bo2bo13bo2b3o14b2o18b3o2bo14bo19bobo17bobo2bo15bobobo15bo2bobo14bob2obo19b2o12bo19bo3b2o14bobo23bo15bobobo17bo17bobo16bob2obo16bo18b2obo14b3o2bo16bobobo17bo2bo16bo2b2obo\$4bo17b2obo16b2ob2o17bob2o13bo2b2o15b2o2bo15b2obo2bo13bo3bo15b2o19b2o2bo18bo16b2obo16bo3bo15bobobo14b2o2bo16b2o2bo15bo20b2o17bo2bo17b2obo19bo15bo19bob2o16bob2o15b2obo16b2o2bo17b2o16b2o2b2o14bo5bobo11b4obo14bo2b2o15b2o3bo14bob2obo16b3o15b5o15b2ob2o17b2o15b2o2bo15bo3b2o14b2o4bo13b2o18b2o18bob2o2bo13bo2b3o16b2obo15b2obo2bo13b2o2bo16bobobo15bo3bo14b2o20bob2o16b2o15b2o3bo17b3o16b2o\$3bo19bob2o15bo20bo18b2obo16bo20bo2b2o14b3o18bo17bo2b2o15b4o16bo3bo15bob3o15b2o2bo15bob2o18bo19bo18bo19bob2o15b2o19b4o16b2o19bo18bo20bo18bo18b2o18bo25b2o17bo15b2o18bo2b2o14bobob2o15bo22bo17bobo15b2o19b2o17b3o17bo4b2o13bo20bo18bo2bobo14b2o2bo14bo2b2o15bo2bo2b2o12bo2b2o15b2o3b2o13bobo3b2o12bo19b3o17b2o18bo41bo\$3b2o15b3o17bobo17bobo20bo17bo18bobo17bobo20bo16bobo17bo19bob3o15bo2bo18bo20bo17bo18b3o20b2o18bo18bo20bo20bo16bobo17b2o18b2o17bo21bo20bo39b3o17bo18bobo17bo20bo17b2o18b2o19bo19bo20bo16bo19bo21bo20bobo16bo17b2o18b2o19b2o17bo19b2o18bo19bo19bo20bo19b3o16bobo\$b2o2bo14bo19b2o18b2o19bobo16bo19b2o18b2o18b2ob2o16bo19b2o17bobo18b2o17bo20bobo17b2o17bo23bo16bobo17bo19bo22bo16b2o38bo18b2o19bo20b2o39bo18bo20b2o35b3o17bobo18bo19bo18bobo37b2o18b2o21b2o19bo17bobo57bo18bo39b2o38bo20bo17bo2bo16b2o\$o2b2o75bobo17bobo58bobo38bo18bo38b2o18bobo59bo18b2o18b2o18b2o22b2o55bo38b2o79b2o56bo20bo20bo18b2o17b2o83bo37b2o55bo21bo40bob2o33b2o19b2o17b2o\$2o79bo19b2o58bobo36bo80bo60b2o82bo54b2o218b2o120b2o95b2o19b2o40b2obo\$162bo37b2o221b3o397bo\$423bo400bo\$823b2o9\$2bo18b2o20b2o17bo23b2o14b2obo16b2o21bo15b2o19b2o18b2o17b2o18b2o19b2o16b2o4b2obo10b2obo17b2o18bo22b2o15bo18b2o18b2o18b2o2bo15b2o2bo15b2o18b2o2b2o14b2o2bo15b2obo18bo20b2o21b2o14b2ob2o13b2o3bo17bobo15bob2o16b2ob2o19b2o16b2o18b2o17b2ob2o13b2o2b2o16b2o19bo18b2o17b2ob2o17b2o16b2o21b2o14bo2b2o15b2obo18bob2o16b2o19b2o19b2o19bo\$bobob2o14bobo18bobo16bobo19b2o2bo13bo2b2o17bo18bobobo15bo19bo19bobo16bo19bobo17bobo17bo4bob2o11bob3o14bo2bo16bobo2b2o13b2obobo14bobob2o14bo2bo16bo5bo2b2o9bo2bobo14bo2bobo14bo4bo14bo3bo15bo2bobo14bob4o15bobob2o14b3o2bo14bo3bobo13bobobo15bo2bobo13bo2b2obo13bob2o16bobobo15b2o2bobo16bo18bo2bo15bobobo14bo3bo16bo2bobo14b5o15bobo18bob2o16bo2bo15bo2b2o17bobo14b4obo14bob2o18b2obo14bo2bo18bo2bo17bo2bo17bobo\$2b2obo17bo2bo14bo19bob3o16bobobo15bo18bo2b2o15bob2obo14bo21bo20b3o16bo19b3o15bo2b2o15bob2obo14bo4bo14bob3o15bobo2bo14bobo17b2obo17b4o15b3obobo2bo10bobo2bo14b2obobo15bobobo15bobobo14b2o2bo20bo13bo2b2obo13bo4b2o13bobo2bo14bo4bo14bo3bobo13b3o3bo13bo4bo14bo5bo13bo3bo16b2o2bo15bo2bobo14bobobo15bo3bo14bo2bob2o13bo5bo13bobo18bo20bobobo15bobo17bo2bobo18bo17b2o14b2o18b3o20b2obo16bobo18bo2bo\$6bo15b2obobo14b2o18bo3bo14bo3bo15b2ob2o15b2obo2bo13bo3bo15b2o19b2o19bo3bo14b2o18bo3bo15bobo17bobobo15b4o16bo3bo16b2o16bo2b4o17bo20bo16bobob2o13bob3o15bobobo14b2obo2bo13b2o2b2o16b2o16b2o2b2o14b2o18b4o16bo2b2o15b4o16b3obo18b2o15b5o15bo3b2o15bob2o14bo2b3o14bo4bo14b2o2bo15b2o2b2o14b2obo16bobo2bobo12bo2b3o16b4o15b2o2bo15b2o2bo16b2o2b2o14b4o15b3o2bo14bo21b3o14b3o2bo16b2o2b3o13b2obobo\$2b4o17bob2o17bo19b2o16b3o18bobo17bo2b2o14b3o18bo17bo19b3o2b2o13bo19bob3o15b2obo20bo17bo19bob2o15bo19bobo2bo13b4o17b4o18bo18bo18bo2bo17bob2o15bo18b2o18bo2bo19b2o18bo17b2o18bo21bo17b2o38bo2bo15b2o18bo19b4o16bo19bobo19bo17bobo2b2o13b2o2bo14bobo2bo14bo2b2o15bo2b2o15b2o18bo2bo16bo4b2o13bo19b2o3bo14bo2b2o18bo4bo13bo2b2o\$o2bo16b3o17b4o16b4o16bobo17bobo17bobo17bobo20bo17bo18bo19bo2b3o14bo2bo19bo37bo18b3o20b2o18bo18bo20bo40bo16b2o20bo17bo20bo20b2o20bo17bo19bo16bo22bo17bobo19bo19bobo16bo19b2o36bo20bobo16b3o19bo19bo17b2o18bobo17bobo18bo18b2o18b2o18bobo17bo21bo17b3o20bo\$2o18bo19bo19bo2bo16b2o18b2o18b2o18b2o18b2ob2o15b2ob2o15b2o19b2obo15b2o18bobo38b2o17bo23bo35bo20bo41b2o37b2o17b2o17bo42bo19b2o17bo17b2o21b2o17bo19bobo19bo16bo21bo17b2o17b2o20bo17bo39bo40b2o18b2o17bo60bobo18bo18b2o17bo19b3o\$41bo118bo2bo19bobo40bo33b2o81bo36b2o19b2o117b2o41b2o37b2o79bo37b2o19bo18b2o97b2o78b2o61bo17b2o57bo\$42bo118bobo19bobo39b2o116b2o397b2o259b2o\$41b2o119bo21bo11\$bo19b2o21b2o16bo23b2o14b2o18b2o19b2o16b2o19b2o20bo16b2o18b2obo20b2o13b2o19bo2b2o15b2o2b2o14bo24bo13b2obo16bob2o16b2o18b2o18b2o2bo15b2o18b2o2b2o14b2o18b2obob2o15bo20bo2bo17b2o17bobo14b2ob2o17b2o17bob2o16b2o2b2o18b2o16bo2bo16b2o17b2o22b2o15bo20b2o16bo19bobo21bo14b2o21b2o14bo2bo16b2o20bo19b2o18b2obo18b2o19bo\$b3o17bobo18b3obo14bobo20bo2bo13bo2bo18bo18bo2bo16bo19bo20bobo15bo19bob2o16b2o3bo14bo18bobo2bo14bo2bo2bo13bobo17b2o3bobo12bob4o14b2obo16bo5bo13bo2b2o15bo2bobo14bobo17bo3bo15bo2b2o15bob2obo2bo12bobo17b6o14bo2bo16b4obo14bobo2bo13bo2bo16bob2o16bo2bo2bo13b2o2bobo16b4o15bo2bo15bo2bo20bobo13b5o15b2o2bo15bobo17bob2o20bobo13bo19b2o2bo14b6o14bo3b2o16b3o15bo2bo18bob2o17bobo18bobo\$4bo19bo16bo4bo14bo2bo17b3obo15bob3o14bo19bobo2bo14bo21bo18bobo18bo37bo2bo16bob2o16bob2o16bob2o16bobo2bo14bo3bo2bo17bo17b2o15b3obobob2o10bobo2bo14b2obo17bo19bobobo14b2o2bo18bo2b2o11bo2bo16bo19bobobo15bo5bo13bo4b2o13b2obob2o13bo4bo14bo2b2o15bo3bo16b2o18bo2bobo14bobobo14b2o3bo14bo5bo13bo2b2o15bo2bo17bo3b2o17bobo15bo19bobo21bo15bo2bo14b2o3bo14b3o40bobobo17bobo\$3bo21bo16bo3b2o14b2obo15bo3bo15b2o4bo13b2o18bo2b2o15b2o19b2o18bobobo15b2o18b5o15bob2o16bobo18bo18bo20b4o14bob2obobo15bo2bo18bo16bobob2obo11bo2b2o15bobobo14b2ob2o15b2o2b2o16bobo15b3o17b3obo15b2o2b2o14bo2b2o15b2o3b2o13b2o19bobobo14b4obo14b2o19bob2o14bo2bob2o13bo4bo14b2obobo14bo2bob2o13b2o2b3o13bobo2b3o12bobob2o16b2o2bo14bo2bo16b2o19bob2o16b4o15b2obo16bo2bobo16b3o14b6o16b2o2bobo13b3o2bo\$3b2o17b4o17bo20bo17b3o17bo3b2o15bo18b2o19bo17bo19b2o2bobo13bo19bobo2bo14b2o2bo19b2o16bo19b2o17bo19bobob2o15bob2o17b2o18bo18b2o17bo2b2o17b2o16bo18b2obo16bo22b2o17bo2bo15b2o18bo20bo18bo22bo16bo18b2o18bobob2o14b4o16bob2o17b2o19bo17bobo3bo13b2o2bo14bobob2o14bobob2o14bo19b2obo16bo2bo16bo3b2o14bo4bo14b2o3bo14bo4bo17bo3bo14bo2b2o\$5bo16bo18bobo16b4o16bobo17bo22bo19bo19bo17bo20bo3bo13bo2b3o15bo18bo2bo23bo13b2o21bo18b2o38bo16b2obo40bo16b2o18b2o17bo19bo2bo37b2o20b2o18bo17bo18bobo20bo19bo17bo20bo19bo19bo18bo21bo20bo17bo20bo16b2o19bobo16bob3o15bo2bo16b2o19b3o16bobo17bo21bo17b3o20bo\$b4o18bo16bobo17bo19b2o18b2o18b2ob2o15b3o19b2obo14b2ob2o15bo20b2o2bo14b2o19b2o24b3o11bo21bo20bo37b2o16bob2o39bo37bo18b2o19b2o38bo38b3o18b2o17b2o22bo18b2o15bo19bo39bo19b2o20bo20b2o35bobo40bo17bobobo15b2o40bo17bobo17bo19b2o17bo19b3o\$2bo18bobo17bo19bo59bobo16bo20bo2b2o16bo2bo14b2o21bo66bo11bo20b2o17bo100b2o38bo79bo36bo62b2o35b2o18b2o38b2o40b2o56b2o40bo22bo76bo17b2o58bo\$o19bobo37b2o59bobo36bobo19bobo38b2o64b2o10b2o39b2o138b2o78b2o338b2o21b2o\$2o19bo100bo38bo21bo11\$b2o18b2o2bo20b2o14bo20bo18b2o2b2o14b2o19b2o16b2o19b2o20bo16b2o18b2obo20b2o13b2o19b2o18bo4b2o13bo21b2o15b2o2bo3bo11bo7b2o10b2o18b2o18b2o18b2o18b2o18b2o18b2ob2o17bo20bo18b2o19bobo17b2ob2o14b2ob2o14bobo17bobo21bo19b2o17b2o16bo23bo15b2o19bo18b2ob2o17bo21bo14b2o19bo17bo2bo16b2o21bo17b2o19b2o21b2o15bob2o\$bo19bo2bobo15b2o2bo14bobo18bobobo14bo2bo2bo15bo18bo2bo16bo19bo3b2o15bobo15bo19bob2o19bobo14bo18bo2bob2o13bobo4bo12bobo17b2o2bo15bo2bobobobo10b3o4bo2bo9bo2b2o15bo2b2o15bo2bo16bobo3b2o12bo19bo19bob2obo15bobo17b3o2bo14bo2bo16b4obo13b2o2bobo13bo2bobo14bob2o16bob4o14b2o2bobo17bo2bo15bobo15bobo21bobo13bo2bo16b3o19bobo17bobo18b3o14bo19bobo16b6o14bo20b3o16bo2bo18bo20bo2bo15b2obo\$2bo2b2o15b2o2bo14bo2bobo14bo2bo17bob2obo14bobobo14bo19bob2obo14bo22bo2bo14bobobo16bo21b2o15b3o16bob2o16b3obo15bo3bo15bobo2bo14bobo18b2obobo2bo12bo2bo2bobo9b3o2bo14bobobo15b2obo17bo3bo15bo4bo13bo23bo14bo2bo16bo3b3o13bobo2bo14bo5bo13bob2o3bo12b2obo2bo13bo3b2o14bo5bo13bo3bobo14bo2bobo14b3o17bobo16b2o3bobo12bo2bobo14bo19b3o3bo15bo2bo17bo18bo19bo23bo15bo17bo19b3o20bo18bob2o19bobo\$3bo2bo17b2o16bob2o16b2obo15b2o4bo13b2o2bo15b2o18bo3bo15b2o19bob2o16bobobo15b2o18b2o2bo14bo3bo16bo2bo19bo16b5o16b4o14bob4o19bo2b2o11bo2bo4bo14b2o15bo3bo15bo2bo15b2obobo14b2o2b3o14bo18b4o16b3obo15b2o18bob3o15b2o3b2o16b2obo14bob2o15b3o2bo14b2o2b2o15bob2o14bobob2o14bo3bo15b2obob2o13bo2bob2o13b2obo2bo13bob2o16bo2b3o15bo3b2o14bo2bo16b2o39b2obo15b2o18bo21b3o14b3obo17bo2bobo14b2o2b2o\$4b2o16b2o19bo20bo17bo4b2o13bo20bo18b3o17bo18bobo17b2o2bo15bo19bob2o16bob2o19bo18b2o37bo19bo3bo36b2o18b2o18b3o16bob2o17bobo16bobo16b2o18bo22b2o17b2o17bo19bo21bobo15bo21bobo15bo18b2o18bobo17b2obo16bob2obo15b2o18bob2o15bobo17bobo16bo19bob3o15bo19b5o15bo2b2o15bo19b2o18b2o3bo14bo2bo19bo2b2o14bo\$b3o16bo2bo17bobo18b2o16bo19bo20b2o17bobo18bo3b2o13bo2bo18bo18bob3o15bo20bo17b4o19bo20bo18b2o18bo60bo16bobo19bo19bo18bo2bo14bo2b2o17bo18b2o20bo19bo16bo40b2o20bobo14bo21bo20bo19bo17bo21bo18bo20bob2o15bo17b4o17bo18bo4b2o13bo4bo14b2o18b5o15bo4bo14bo22bobo14b3o17bobo\$o2bo16b2o18bobo19bo17b2o18b2o18bo19b2o19bobo2bo13bobo18bo18b2obo2bo13b2o18bobo17bo23bo18bobo18bo17b2o59bo17b2o18bobo18b2o19bobo14bobo2bo15b2o18bo23bo14b3o17b2o62bo15b2o19bo20bo17bobo17b2o20bo18b2o19bobobo36bo18bo18b2o2bo17b2o40bo15bo2bobo15bo21bobo13bo19b2o\$2o39bo21bo56bo39b2ob2o16bo18bo23b2o34b2o19bo21b2o19bo18bo79b2o36b2o41bo16bo2bobo35bo21b2o14bo120b2o19b2o16b2o40b2o39bo38bo17bobo20bobo17bo38b3o17bo2bo15b2o23bo\$60b3o58b2o77b2o78b2o61b2o180bo35b2o319b2o16b2o21b2o19bo37bo20b2o41b2o\$60bo61bo820b2o\$121bo\$121b2o9\$b2o18b2o21b2o16bo20bo2b2o13b2o19b2o19bo17b2o19b2o20bo16b2o18b2o22bo14b2o19b2o18bo19bo23b2o13b2o2b2o14bo2b2o15b2o2b2o14b2o4bo13b2o18b2o18b2obob2o13b2o18b2obo18b2o19bo18b2o2b2o15bo20b2o15b2o18bobo17bo23bo17bo19b2o15b2o22bo17bo19bo19bobo19bo18bo17b2o19bo17b2o2b2o14b2o23b2o14b2o19b2o22b2o21bo\$bo2b2o15bo20bo2bo15bobo18bobo2bo13bo2b2o17bo19b3o16bo19bobob2o15bobo15bo19bobob2o17bobo14bo18bo2bo16bobo2b2o13bobo2b2o13b2obo2bo13bo2bobo14b4obo14bo2bo2bo13bobo2bobo12bo19bobo17bob3obo13bo19bob2o17bobo17b3o2bo14bo2bo2bo13b3o16b2o3bo14bo2bo16bob2o16bobo17b2o2bobo15bobo18bo17bo2bo18bobo15bobo17bobo18b2obo17bobo16bobo16bo19bobo16bo2bo2bo13bo20b2o2bo14bo2bo18bo20bobobo20bobo\$2b2obo16bo18bob2o16bo2bobo15bobobo15bobo2bo13bo19b2o3bo14bo22bob2o14bobobo16bo19bobo16b3obo14bobo17b2obobo14bo2bo2bo13bobo2bo14bob3o16b2o22bo14bobob2o14bo2bobobo13bob2o16bo38bo22b2o14bo2bob2o13bo3b3o13bobobobo13bo3b2o14bo2bo16b3o2bo14bo3b2o14bo2bo2b2o12bo3bobo14bo2bo16b2o2bo15bobobo14b2o2bo15bo2bo16bobobo15b2o3bo17bo2bo16bobo16bo19bo18b2obobo15bo17bo2bobo14b2o2bo18bo18bob2o19b2o2bo\$3bo19bo18bo2b3o14b2ob2o14b2o2bo15b2o3b2o13b2o18bo2b2o15b2o19bobo17bobo2bo14b2o19bobo15bo3bo16bobo18bob2o15b3obo16b3o15bo22bo17b4o16bobo17b2o2bobo12b3o2bo14b2ob2o18b2o16bo18b2obo2bo13b3obo15b2o18bo2bob2o13b2obobo15b3o18b3o15b2obobo14b2obo2bo14bob2o14bob2o16bo2b3o14b2o2bo15bob2o16b2ob2o15bobobo15bo2b2o16b2o2b2o14bobo2bo14b2o39bob2o15b2o18bob2o20bo14b3o2bo16bo3bo18bob2o\$3bo18b2o19bo3bo15bo18bo20bo19bo18b2o18bo18bob2o16b2o2b2o14bo19b2obo16bob2o19bo18bo21bo16bo19b2o20bo18bo20bo21b2o17bo17bobo15bobobo15b2o18bobo2b2o18bo16b2o17b2o18bo2bo36bo20bo2bo15bob2o15b2o18bo19b2o19b2o18bo19bo18bo2b2o15b2o17bo19bobo2b2o13bo19b5o15bo19bo19b2o18b5o15bo2b3o17bob2o16b2o\$b2o18bo2b2o14b3o18bobo17bo18bobo18b2o20bo17bo19bo20bo18bo18bo2bo18bo21b2o15bobo20bo18bo19bo18b2o17bo21bo39b2o16b2o18b2o17bo2b2o17bo20b3o17bo36bobo17b3o20bo19bobo14bo21bo19b4o17bo18bo19bo19bo21bo17bo17bo19bo20bobo16bo2bobo14b2o18bo20bo18bo21bo17b3o20bo\$o19bobobo15bo19bobo17bo19b2o18bo19b3o18bobob2o13b2o18bo19b2ob2o16b2o17bobo19b2o2bo13bobo20bo16b3o19bo19bo18b2o20b2o38bo17bo38bobo2bo37bo20bo35b2o18bo2bo16b3o21bo15b2o18bo23bo15bobo17bobo17b2o18b2o20bobo15bo20b2o18bo18b2ob3o19bo35b2o3b2o12bo21bo20bo16bo19b2obo\$bobo17bo2bo35b2o18b2o38bo19bo19b2ob2obo33b2o21bobo34b2o20bo2bo15bo21b2o15bo21b2o19bo80bo18bo37bo2bo58b2o57b2o16bo59b2o24bo13b2o18b2o18bo19bo21b2o16b2o20bo19bo23bo17bo38bobobo12b2o19b2o21bo35bobo\$2b2o20b2o95b2o100bobo57b2o97b2o79b2o17b2o38b2o221b2o54bo19bo59bo19b2o22b2o16bo39b2o58b2o\$122bo101bo575b2o18b2o59b2o60b2o\$120bo\$120b2o9\$b2o18b2o20b2o20b2o16b2o16b2o19b2o20bo20bo19bo18b2o15b2o18b2o21bo15b2o19bo2b2o15bo19bo25b2o11b2o3b2o13bo2bo16b2o3b2o13b2o4b2o12b2o18b2o18bo3b2o14b2o18b2o20b2o19bo2bo15b2o19bo20b2o15b2o18bobo17b2obo17bo21bo18b2o16b2o19b2o18bo19bo19b2o20bo18b2o16b2o2b2o14b2o17b2o2bo15b2o21bo17bo20b2o20b2o20bo\$bo3b2o14bo20bo2bo15b2o3bo15bobo16bo21bo19bobo17b3o18bobo16bo2bo14bo19bobob2o16bobo15bo2b2o14bobo2bo14bobo4b2o11bobo2b2o13b2o4bobo11bo2bo2bo13b6o14bo3bobo13bobo3bobo11bo19bobo17b3o2bo14bobob2o14bo20bobo17b6o14bo2bo16b3o16b2o3bo14bo2bob2o13bob2o16bob2obo15bobo18b3o18bobo14bo2bo18bobo16bobo17bobo19bo19bobo16bo2bo15bo2bobo14bo18bo2bobo14bo19bobobo15bobo2b2o15bo2bo17bo2bo17b3o\$3bo2bo15bo18bo2bobo14bo2bo17bobob2o14bo18bo19bo2bobo15bo3b2o15bobobo14bob2o17bo19bobo17bo2bo14bobo2bo14b2obo16bo2bo2bo13bobo2bo14bo2b3o15b2obo20bo14bo2bo16bo2b2o2bo13bob2o16bo20b2o17b2obo16bo4bo12bo19bo19bobobo15bo5b2o12bo2bo16bob2obo14bo3b2o14bo4bo15bo2bo16bo3b2o14b2o3bo14bob3o14bobo2bo14bobo17bobobo15b3o20bo2bo16bo2bo16b2o17bo18b2obobo15bo17b2obobo14bo2bo2bo16b2obo15bob2obo15bo\$2b3o18bo18b2obo16bob2o15b2o2bobo13b2o2bo15b2o18b2obo2bo15b2o2bo15bobobo14bobo17b2o19bobo15b2o2b2o15bob2o17bob3o14b2obobo15bobo15bobo3bo15bob2o15b4o16bob2o16b2obobo13b3o2bo14b2ob2o16bo2b3o13bo19b2o3bobo12b2o18b3ob2o14bo2b2o15b2obo2bo14b3o16bo4bo14b2o2bo15b4o15b2ob2o15bob2o2bo13bo2b2obo13b2o4bo13b2obobo14bo19bobo2bo14bo2b3o15b2o2b2o14bob2obo14bobo2bo16bo18bobobo14b2o20bobo15bob2o15b3o2bo16bo2bobo16bo\$22b2o19bo19bo18bo20b3o17bo18bo2b2o14bobob2o14b2o3bo14b2obo16bo19b2obo16bo22bo18bo3bo16bobo15bobo17b2o2b2o14bo20bo19bo22bo18b2o16bobo15bobo3bo13bo19bo3bobo15bo19bob2o15b2o18bob2o37b3o17b2o17bo19bo18bo2b2o15b2o2bo15bo3b2o16bob2o14bo19bob2o16b2o2bo14bo19bobo2bo14bobo2b2o13b4o16bo4bo14bo19b2o2bo15b2o18bo2b2o18bo2bo16b2o\$3o18bo2b2o15bobo17bobo17bo19b2o18b2obo15bobo17bobo17bo22bo17bo18bo2bo18bo19bobo17b2o20bo17bo38bo19bo19bobo39b2o16b2o19bo19b2o18bo2bo17bo39bo18bo17b3o19b2o19bo16bo21bo20bo19bo16bo22bo18bo19bo19bo18b2o17bo2bo17bo18bo3b2o14b2o18bo4b2o13bo20bo20bo17b3o19bo\$o2bo16bobobo15bobo17bobo17bo19bo2bo18bo2bo14b2o19bo19bobo16bobo17b2ob2o15b2o21bo17bobo39b2o18bo37b2o18b2o18b2o39bobo16bo41bo19bobo16b2obo34b3o18b2o17bo2bo40bo15b2o18b2o20b2o19b2o15b2o20b2o19bo4bo11bobo17bo22bo17b2o40bo2bo34b2o2bo16bo17bo20b2o17bo21bo\$2b2o17bo2bo15b2o18b2o18b2o19bobo16bo3b2o56b2o16b2o21bo37bobo18bo61bo118bo18bo39bo21bo19bobo33bo40b2o40b2o35bo103bo2bobo10b2o18b2o18bobo61bobo36bobo15b2o17b2o58b2o\$22b2o78bo17b2o101bobo34bobo80b2o136b2o39b2o40bobo155bo102bo2bo51b2o63bo37b2o95bo\$224b2o35bo303bo155b2o103b2o253bo\$1082bo\$1081b2o!`
Princess of Science, Parcly Taxel

Freywa

Posts: 556
Joined: June 23rd, 2011, 3:20 am
Location: Singapore

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

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/S2355bo\$54bo\$54b3o\$40bobo\$41b2o21bo\$41bo21bo87bobo\$63b3o85b2o\$152bo2\$89bob2ob2o40bob2ob2o41bob2ob2o\$49b2o38b2obobobobo37b2obobobobo2b3o33b2obobobo\$48bobo42bo3b2o41bo3b2o2bo39bo3bo\$38bo11bo98bo43bo\$38b2o4bo23bo33bo87b3o\$37bobo4b2o8b3o10b2o31b2o43bo44bo\$43bobo21bobo31b2o37b3o2b3o\$7bo50b2o82bo5bo46b2o\$5b2o51bobo80bo5b2o42bo3b2o\$bo4b2o50bo44b2o85bobo\$b2o100bobo37b3o45bo\$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/S2380bo\$79bo\$38bobo38b3o\$39b2o\$39bo\$51bo\$49bobo\$50b2o122bobo\$2bo171b2o\$obo172bo\$b2o3bo\$5bo108b2ob2o42b2ob2o43b2ob2o\$5b3o104bo2bobobobo37bo2bobobobo2b3o33bo2bobobo\$72bo39b2o2bo3b2o37b2o2bo3b2o2bo35b2o2bo3bo\$73b2o97bo43bo\$72b2o51bo87b3o\$57b3o63b2o43bo44bo\$124b2o37b3o2b3o\$71b2o92bo5bo46b2o\$72b2o90bo5b2o42bo3b2o\$71bo54b2o85bobo\$126bobo37b3o45bo\$126bo39bo50b2o\$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.

dvgrn
Moderator

Posts: 5711
Joined: May 17th, 2009, 11:00 pm

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

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!

calcyman

Posts: 2058
Joined: June 1st, 2009, 4:32 pm

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

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

xs17_064kb2acz321 in 29 -> 15:
`x = 187, y = 55, rule = B3/S23117bo\$115bobo\$116b2o\$119b2o\$63bobo53b2o\$64b2o3bo\$64bo2b2o\$68b2o\$62b2o\$61bobo\$63bo\$53bo\$51bobo\$52b2o7\$51bo\$49bobo\$50b2o2\$64b3o\$64bo\$65bo\$55b2o66bo59bo\$56b2o62bo2b3o54bo2b3o\$55bo64b3o3bo53b3o3bo\$123bob2o56bob2o\$62bo59bo59bo\$61bobo55bobo57bobo\$3b2o56bobo55b2o58b2o\$2b2o58bo21b2o\$4bo79bobo\$50bo33bo\$2o48b2o12b2o\$b2ob2o43bobo12b2o\$o3bobo114b2o\$4bo109b3o3bo2bo\$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

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

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

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.

dvgrn
Moderator

Posts: 5711
Joined: May 17th, 2009, 11:00 pm

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

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/S23119b2o\$118bobo\$113b2o3bo\$113bo2bob2o\$115b2o\$74bobo39bo\$56bo17b2o34b2o2bo\$54b2o19bo34b2o2b2o\$14bo34bo5b2o\$14bobo32b2o\$14b2o32bobo56b3o\$68bo5bo34bo\$68bobob2o34bo\$60bo7b2o3b2o\$60bo\$60bo\$obo2bobo63b2o\$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

Freywa

Posts: 556
Joined: June 23rd, 2011, 3:20 am
Location: Singapore

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

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/S2317b2o\$16bo2bo\$16bobo\$17bo2\$19b3o\$18bo2bo\$18bo4bo\$18b2o5\$3o\$2bo\$bo3\$17b2o\$17bobo\$16bo2bo\$17b2o\$17bo3\$30b2o\$30bobo\$30bo!`
LifeWiki: Like Wikipedia but with more spaceships. [citation needed]

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

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/S2332bo\$31bo\$31b3o\$11bo\$12bo\$10b3o4\$116bo\$117bo\$115b3o2\$118b2o\$29bobo86b2o\$29b2o\$30bo74bo\$12bo93bo\$10bobo91b3o\$11b2o\$8b2o97b2o\$7bobo97b2o5bo\$9bo4bo9bo87b3o\$15bo7bo87bo3b2o\$13b3o7b3o85b4o2bo\$116bo\$18bo94b3o\$16bobo94bo\$17b2o12\$bo\$b2o26b2o\$obo25b2o\$30bo!`

Edit: xs17_0o4km96z643 in 13 using a very unusual component:
`x = 16, y = 12, rule = B3/S239bobo\$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/S23177bo\$177bo\$177bo\$111bo131bobo\$110bo62b3o3b3o62b2o\$110b3o80b2o49bo\$177bo15b2o51bo\$109bo67bo68bo5bo\$110bo66bo68bo4bobo4bo\$14bo93b3o138b3obo4bobo\$14bobo109b2o114b3o3bo3bo5b2o\$14b2o110b2o120bob2o\$17b2o230bo7bo\$17bobo161bo65bobo7bo\$17bo162bobo13b2o49b2o8bo\$180bo2bo12bobo\$181b2o9b2o2bo\$191bobo\$bo112bo78bo66bo\$obo110bobo143bo\$o2bo109bo2bo142b3o\$b2o111b2o139b3o2\$194bo\$193b2o\$193bobo!`
Princess of Science, Parcly Taxel

Freywa

Posts: 556
Joined: June 23rd, 2011, 3:20 am
Location: Singapore

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

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

Or 11:

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

EDIT: Posted 11G synth of xs17_0o4km96z643 to Catagolue.

dvgrn
Moderator

Posts: 5711
Joined: May 17th, 2009, 11:00 pm

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

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

500 still lifes remain:
`x = 991, y = 192, rule = B3/S23b2o18b2o18b2ob2o16bo20bo2b2o13b2o19b2o19bo17b2o22bo15b2o18b2o19b2o16b2o19bo2b2o15bo4b2o13bo23b2o13b2o18bo3b2o14b2o18b2o2bo15b2o18b2o2b2o14b2o2bo15b2obob2o15b2o19b2o17b2o18b2obo17bobo15bob2o16bo20bo21bo18b2ob2o13b2o2b2o14b2o19b2o18bo17b2o21b2o16b2o21b2o14bo2bo16b2o21bo17b2o19b2o21b2o\$2bo18bobo17bob2o16bobo18bobo2bo13bo2b2o17bo19b3o16bo21bobo15bo18bo19bobo17bo18bobo2bo14bobo4bo12bobo17b2obo2bo13bo2bob2o13b3o2bo14bo2bo16bo2bobo14bo3b2o14bo3bo15bo2bobo14bob2obo2bo12bobo17b3obo15bo2bo17bob2o14bo2b2obo13bob2o16bobo18bobo18b3o19bobo13bo2bo2bo15bo18bo2bo16bobo17bo20bo2bo15bo19b2o2bo14b6o14bo3b2o15b3o16bo2bo18bo2bo18bo2bo\$2bob2o18bo21bo14bo2bo17bobobo15bobo2bo13bo19b2o3bo14bo21bobobo14bob2o17bo17bo2b2o15bob2o16bob2o16bo3bo15bobo2bo14bob3o16b2obo17b2o16bob3o15b2obo17bo2bo16bobobo14b2o2bo18bo2b2o11bo2bob2o13bo5bo13bobo2bo14b2o18b3o3bo13bo4bo14bo2bo2b2o13bo2bo16bo19b3o2bo14bobobo14bo2b2o15bo2bobo14bobo2b2o13bo21bobobo15bo19bobo21bo15bo2bo14bo19b3o20b2obo15bo2bobo\$3bo2bo15b2o2bo15b2ob2o15b2obo15b2o2bo15b2o3b2o13b2o18bo2b2o15b2o20bobobo15bobo16b2o18bobo17bobo18bo18b5o16b4o14bo21bo2bo15bo19bo3bo15bo18b2obo16b2o2b2o16b2o16b3o17b3obo15bo5bo13bo4bo14bob2obo17b2o15b4obo14b2obo2bo12b2ob2o15bo2b2o15bo3b2o14b2o2bo15b3o2bo14bob2o2bo13bo2b2obo13b2o19b2obo2bo13b2o19bob2o16b4o15b2obo16bo21b3o14b3o2bo16b2ob2o\$5bo17bob2o15bo21bo17bo20bo19bo18b2o18bo18b2o3bo14bobo17bo19b2obo20b2o16bo38bo19b2o18bo2b2o15bo20bob2o15bo20bo18bo18b2o18bo24bo15bo3b2o14b4o15bobob2o15b2o21bo16bob2o16bo18b2o2bo15b3o17bo22b2o15bo2bobo14b2o18bo18bo2bo2b2o12bo19b2obo16bo2bo16bo3b2o14b2o18b2o3bo14bo2b2o18bo\$b4o18bo16bobo17b4o17bo18bobo18b2o20bo17bo18bo19bobobo16bo21bo23bo13b2o21bo18b2o18bo17bo18b2o18b3o17b2o19b2o18bo20bo40b3o17bobo36bo18bobo19bo16bo21bo20b2o18bo16bo21b2o19bobo16bo17bo5b2o12b2o18bob3o15bo2bo16b2o19b3o16bo4bo14bo21bo18bobo\$2bo17b2obo16b2o18bo19bo19b2o18bo19b3o18bobob2o14bobo16bo2bo16b2obo16bobo24b3o11bo21bobo18bo17bo18b2o17bo19bo19bo20bo19b2o17bo42bo20b2o16b2o38bo20b2o15b2o18b2o21bo36b2o19bobo20bo15bo20b3obobo33bobobo15b2o40bo17bo2bobo15bo18b2o17bobo\$o19bobo38bo18b2o38bo19bo19b2ob2obo15b2o17b2o19bobo15b2o28bo11bo21bo18bo18b2o37bo39bo20bo37b2o80b2o96bo23bo57bo37b2o21b2o40bo76bo2bo15b2o38bo\$2o58b2o59b2o99bo2bo43b2o10b2o40b2o55b2o38b2o19b2o219bo20b2o160b2o76b2o\$122bo100b2o436b2o\$120bo\$120b2o9\$2bo18b2o20b2o17bo20b2o16b2o19b2o20bo20bo19bo15b2o18b2o22b2o13b2o19b2o18bo19bo25b2o11b2o2b2o14bo3b2o14b2o2b2o14b2o18b2o18b2o2b2o14b2o18b2obo18b2o19bob2o15b2o16b2o3bo16b2o17bobo17b2obo17bo20bo20b2o14b2o19b2o20bo18bo19b2obo17b2o16b2o19bo17bo2bo16b2o23b2o14bo21bobo19bo\$bobo17bo3b2o15bobo16bobo18bobo16bo21bo19bobo17b3o18bobo15bo18bo19b2o3bo14bo18bo2bob2o13bobo2b2o13bobo2b2o13b2o4bobo11bo2bo2bo13b3o2bo14bo2bo2bo13bo2b2o15bo4bo14bo3bo15bo2b2o15bob2o17bobo17b3obo15bobo17bo2bobo13bo2bo16bob2o16bob2obo15bobo18bobo18bobo14bo2b2o17bo18b3o17bobo18bob2o16bo2bo15bo19bobo16b6o14bo20b2o2bo14bobo2b2o15bob2o18bobo\$2bo2bo17bo2bo14bo19bo2bo17bobob2o14bo18bo19bo2bobo15bo3b2o15bobo16bobo18bo17bo2bo16bob2o16b3obo15bo2bo2bo13bobo2bo14bo2b3o15b2obo17b2o16bob3o15b2obo17bobobo15bobobo14b2o2bo18b2o14bo19bo5bo13bo3b2o14bo3bobo13b2obob2o13bo3b2o14bo4bo15bo2bo16bobobo15b3o17bobobo14bo19bo19bobo2b2o19b2o14bobobo15bo19bo23bo15bo17bo2bobo14bo2bo2bo15bo19bo2bo\$3b2obo15b2obo16b2o18b2obo15b2o2bobo13b2o2bo15b2o18b2obo2bo15b2o2bo15bobobo15bobo16b2o18bob2o16bo2bo19bo16b3obo16b3o15bobo3bo15bob2o15bo19bo19bo18b2obo2bo13b2o2b2o16bobo15b2obo2bo13b2o18bo5bo13b2obobo14b3obo16bobobo14b3o2bo14b4o15b2ob2o15bo2bobo14bo3bo15b2obobo14b2o18bob4o14bo2b2obo16b2o2bo13b2o2bo15b2o39b2obo15b2o18bob2o16bob2o15bobob2o16b2obobo\$5bo17bob2o17bo19bo17bo20b3o17bo18bo2b2o14bobob2o14b2o3b2o13bobobo15bo19b2o2bo18bo18b2o20bo16bo19b2o2b2o14bo19bo20bo18bo20bob2o15bo18b2obo16bobo2b2o15bo18bob3o15bo2bo18bo17bo21bobo15bo19bo18b2obo16b3obo16bobo17bo18bo3bo15b2o2bo14bobob2o14bo2b2o15bo19b5o15bo2b2o15bo19b2o18b2o18b2obobo17bo2b2o\$b3o16b3o17b4o18b2o17bo19b2o18b2obo15bobo17bobo17bo19bobobo16bo18bo2bo16b4o19bo20bo18bo37bo21b2o15b3o20b2o18bo16bo19bo2bo18bo20bo19b2o15bobo20bo19bo19bobo14bo21bo20bo20bo17bo19bo19bo20bo16b2o18bobo17bo4b2o13bo4bo14b2o18b5o16bo19bo21bo17bobo\$o2b2o15bo19bo21bo17bo19bo2bo18bo2bo14b2o19bo19bobo16bobo19b2obo15b2o17bo23bo18bo16b3o38b2o21bo15bo23bo17b2o16b2o19b2o39b2obo34b2o21b2o19bo19bo15b2o18b2o18bobo20bo17b2o17b2ob2o18bo19b2o36b2o18b2o2bo17b2o40bo14bo19bo22b2o15bobo\$2o39bo21bo16b2o19bobo16bo3b2o56b2o17b2o17bobob2o35bo21b2o18b2o15bo62bo40bobo97bobo76b2o55bo19b2o21b2o35bo2bo20bo78bobo17bo38b3o15b2o18b2o39bo\$42bo17b3o39bo17b2o98b2o38b2o121b2o40b2o97bobo134bo79bobo19b2o78b2o19bo37bo\$41b2o17bo464bo134b2o80bo120b2o11\$2bo18b2o23b2o14bo20b2ob2o13bo22bo17b2o18b2ob2o18b2o19b2o13b2o22b2o13b2o19b2o18bo19bo23b2o13b2o2bo15bo19b2o2bo15b2o2b2o14b2o18b2o18b2o18b2o20bo2b2o16bo18bo17b2ob2o17b2ob2o14bobo20b2o16b2o19bo20b2o14b2o19b2o20bo18bo18b2ob2o20bo14b2o19bo17b2o2b2o14b2o21bo17bo18b2o24b2o\$bobo17bobo18b2o2bo14bobo18bobobo14b3o2b2o14b3o18bo19bobo20bo14b2o2bobo13bo22bobo14bo18bo2bo16bobo4b2o11bobo17b2o4bo13bo2bobo14b3o17bo2bobo14bo2bo2bo13bobo3b2o12bo19bo19bo20bobo2bo14b3o2b2o13bobo17bobo2bo13bo2bobo14bob2o16b2o2bo16bo2bo17bobo17bo2bo14bo2b2o17bo18b3o17bobo17bob2obo18bobo13bo19bobo16bo2bo2bo13bo19bobobo15bobo17b2o21b2o2bo\$2bo2bo18bo16bo2bobo14bo2bobo15bobobo17bo2bo13bo19bo2b2o16bo3bo16b3o16bo2bo17bo18b3o16bobo17b2obobo14bo2bo2bo13bobo2b2o13bo2bo17b2obo17bo17bobo2bo14b2obobo15bo3bo15bo4bo13bo20bo4bo12bo2b3o14bo5bo13bo2b3o14bo4b2o13b2obo2bo13bo3b2o14bobobo16bobobo15bobobo16b2o17bobo16bo19bo3b2o14bobo23bo17bobo15bo19bo18b2obobo15bo17b2obobo14bo2bob2o37bobo\$3b2obo18bo16bob2o16b2ob2o14b2o2bo15b2ob2o15b2o18b2obo2bo15b2obo16bo18bob2o16b2o17bo3bo16bobo18bob2o15b2obobo15bo3bo13bobob4o16b2o15bo19bob2o16bob2o15b2obobo14b2o2b3o14bo18b2o3bobo12b2o18bo5bo13b2o3bo14b2o19bob2o15b2obobo14bo2b2o14b2obo2bo13bo2bobo14b2o18b2obobo14b2o18bob2o2bo13bo2b3o16b2obo15bo2bo16b2o39bob2o15b2o20bobo15bob2obo13b4o20bob2o\$5bo16b4o17bo19bo18bo19bo21bo17bo3b2o13bobobo15b2o18b2o18bo19bob2o19bo18bo20bobo15bob3o15b2obo2bo13b2o18b2o19bo18bo20bobo16bobo16b2o18bo3bobo15bo18bo3b2o14bo2b2o16bo18bo20bo2bo15b2o18bob2o15b2obo16bo20bob2o16bo18bo2bobo14b2o2bo14bo2b2o15bobob2o14bo19b5o15bo19bo19b2o2bo15b2o18bo2bo18b2o\$b4o17bo18bobo17bobo16bo19bobo17bob2obo14bobo17bobo17bo21bo18bo20bo21b2o15bobo20bo18bo38bo21bo16bobo17b2o20bo18bo2bo14bo2b2o17bo2bo14bobo20bobo16bobo15bobo18b2o20bobo17bo18bo19bo17bo21bo19bo20bobo16bo17b2o19bobo17bobo16bo2bobo14b2o18bo19bo20bo22b2o16bo\$2bo20bo16bobo17bobo17b2o18b2o18b2obobo14b2o19bo18bo19bo21b2o16bobo19b2o2bo13bobo20b2o19bo38bo20bo16b2o39b2o19bobo14bobo2bo17bobo14b2o22b2o17b2o15b2o42bo17bo18b2o17bobo17bobo18b2o20b2o19bo17bobo38bo16b2ob3o19bo35b2o3b2o14bo17bo24bo14bobo\$o20bobo17bo18b2o62bo56b2o17b2o18bobo2bo14b2o20bo2bo15bo41b2o37b2o21b2o77bo16bo2bobo17bo137b2o36b2o19bobo41bo37b2o37bo23bo17bo38bobobo13b2o17b2o20b3o15b2o\$2o18bobo159bo37b2o2b2o37b2o121bo98bo217bo39b2o77b2o21b2o16bo39b2o57bo\$21bo158bo202b3o317b2o38bo119b2o\$180b2o201bo360bo\$743b2o9\$2bo18b2o2bo18b2o19b2o16b2o18b2o19b2o17bo19bobo19b2o14b2o18b2obo19bo15b2o19bo2b2o15bo19bo19b2o17b2o3b2o13b2o18b2o2bo15b2o2bo15b2o18b2obob2o13b2o18b2o20bo23bo15b2ob2o16b2ob2o13b2o18bobo20b2o16bo20bo17b2o17bo2b2o17b2o19bo18b2o18bobo21bo14b2o2b2o14b2o17b2o2bo15b2o21bo17b2o17b2o23b2o\$bobo2b2o13bo2bobo15bo2bo15b2o3bo15bobo19bo17b3obo15bobo17bob2o20bo14bo19bob2o18bobo15bo2b2o14bobo2bo14bobo17bobo17bo2bo16bo2bo2bo13bo5bo2b2o9bo2bobo14bo2bobo14bobo17bob3obo13bo19bobo2b2o14bobo17b2o2bobo13bobobo14b2o2bobo13bo2bo16bob2o16b2obo2bo14bobo18bobo17bo2b2o13b4obobo13bo2bobo14b5o15bobo17bob2o19b3o14bo2bobo14bo18bo2bobo14bo19bobobo15bobo17b2o22bo2bob2o\$2bobo2bo14b2o2bo14bob2o16bo2bo17bobobo14b3o17bo4bo14bo2bo17bo20b3o16bo40bo2bo14bobo2bo14b2obo16bo2bo16bobo17b2obo17b2obo15b3obobo2bo10bobo2bo14b2obo17bo38bo20bo3bo13bo2b3o14bo2bo2bo13bo4bo14bob2o3bo12b3o2bo14bo3b2o14bob2obo15bobo17bobo18bobobo19b2o12bo2bob2o13bo5bo13bobo18bo3b2o16bo19b2o17bo18b2obobo15bo17b2obobo14bo2b2o39bo2b2obo\$4b2o18b2o16bo2b3o14bob2o15b2o2bobo13bo2b3o14b2o3b2o13b2ob2o17b2obo16bo19bo18b5o14b2o2b2o15bob2o17bob3o14b2obo17bo2bo16bo20bo18bobob2o13bob3o15bobobo14b2ob2o18b2o16bo18b2obo16b2o3bo14bo2b2o15b4o19b2obo15b3o15b2o2bo18bo15b2ob2o15bo2bobo14b2o2bo15b2o18b2obo16bobo2bobo12bo2b3o16b2o2bo14bo2bo16bobo2bo16bo18bobobo14b2o20bobo15bobobo14b4o18b2o\$3bo18b2o19bo3bo15bo18bo3bo16bo2bo16bo18bo18bobob2o14b2o18bobo17bobo2bo14bo22bo18bo3bo16bo17bob3o14b2o19b2o20bo18bo18bo2b2o16bobo15bobobo15b2o18bo2b2o17bob2o15b2o18bo21bobo15bo20b2o16b2o19bo18b2ob2o15bob2o16bo21bo17bobo2b2o13b2o2bo14bobob2o14bob3o15bobo2b2o13b4o16bo4bo14bo19b2o2bo15b2o2bo15bo2bo18bo\$b3o16bo2bo16b3o18bobo17bo19bobo16bobo19bo17bobo17bo19bobob2o15bo20bo19bobo17b2o16b4o19bo16bo21bo41bo16b2o18b2o18b2o17bo2b2o18bo16bobo20bo16bo42bo19bo17bo20bo19bo18bo18bo19b3o19bo19bo17b2o19bo19bo18bo3b2o14b2o18bo4b2o13bo20bo22b2o14bobo\$o19b2o18bo19bobo17bo19bobo17b2o18b2o18b2o19b2o17bobo2bo14b2o21bo17bobo36bo23bo16b2o20bo39b2o36bo38bobo2bo16b2o16b2o20bo17b2o38b3o21bo17bo17b2o18bobo17b2o18b2o18bo39bo41bo40bo2bo34b2o2bo15bo18bo25bo13b2o\$2o58b2o18b2o19bo38bo42bo17bobo37bobo18bo38bo20bobo17bo19b2o79bo37bo2bo57b2o56bo22b2o16b2o17bo19b2o98b2o38bobo41bobo36bobo14b2o18b2o21bobo\$142bo37bobo19bo37bobo57b2o20b2o16bo101b2o38b2o178bo157b2o43bo37b2o58b2o\$141b2o37b2o59bo98b2o319b2o11\$2bo18b2o20b2o21b2o15bo21b2o16b2o18bo19b2o20b2o14b2o18b2obo21bo13b2ob2o16bo3b2o14bo19b2o18b2o17b2o18b2o18b2o18b2o18b2o18bo3b2o14b2o18b2o20bo2b2o19b2o15bobo18b2o15b2o18bo22bo17bo20b2ob2o14bo17b2o2b2o17bo20b2o16bo21bo18b2o16bo21bo16b2o2bo15b2o21bo19bo20b2o19bo\$bobo17bo20bo2bo15b2o3bo15bobo21bo15bobo17bobo19bo2b2o13b2o2bo14bobo17bob2o20bobo13bobo2bo13bobo2bo14bobo17bo2bobo14bo2bo16bo2b2o15bo5bo13bo2b2o15bo2bo16bobo17b3o2bo14bobob2o14bobo18bobo2bo14bo3bobo13b4obo13b2o3bo14bo2bob2o13bobo3b2o12b2obobo15bobo18bobobo14bobobo14bo3bo16b5o15b2o2bo15bobo19bobo16bo2bo15b3o18bobo15bo2bobo14bo19bobobo17bobo18bo2bo17bobo\$2bobo17bo18bo2bobo14bo2bobo15bo2bo15bo2bo16bo19bo2bo19bobobo14bobo18bo20b2o17bobo14bobob2o14b2o3bo14bo2b2o15b2ob2o15b2o2b2o15b2obo15b3obobob2o10bobo2bo14b2obo17bo20b2o17b2obo16b3o15bo2bobo14bobo2bo14bo5bo13bo2bo16bob2obo14bo2bo2bo13bob2o2bo14bobo17bo2bobo14bob2obo14bo3bo14bo5bo13bo2b2o15bo2bo18bo2bo17bo2bo17bo16bobobo15b2obo17bo17b2obo18bob3o16bobo18bo2bo\$4bo18bo18b2obo16b2obo15b2ob2o15b5o15bob4o14b2ob2o16bobo2bo15bob2o15b2obo16b2o2bo14bo2bo17bobo18b4o15b2o2bo15bo20b2obo19bo16bobob2obo11bo2b2o15bo2bo15b2ob2o16bo2b3o13bo19bo3bo15b2obo16bo2b2o15b2o3b2o14b3o16bo4bo14b2obobo17b2o14b2ob2o15bo3b2o14b2o4bo13b2o2b2o14b2o2b3o13bobo2b3o12bobob2o15bo3b2o14bob2obo14b2o2bo15bobo2bo15bobobo14b2o20bobo14b2o5bo14b2o2b3o13b2obobo\$3bo18b2o19bo19bo18bobo37bo3bo15bo18bob2o16b2o18bo3bo15bob2o16b3obo18bo18bo20b2o16bo18b2o19b4o18bo18b2o17bob2o17bobo15bobo3bo13bo19b3obo17bo18b2o18bo40b3o17bobo15b2o19bo18b3o17bo4b2o13bobo19bo17bobo3bo13b2o2bo14bo19bobo2bo14bobob2o14b2o2b2o14bo4b2o13bo19b2o2b2o14bo5b2o15bo4bo13bo2b2o\$3b2o16bo2b2o15bobo17bobo16bo5bo16bo19bo18bo18bo18bo19bob3o16bo22bo18bo20bo17b2o16b2o20bo20bo40bo18bo17b2o19bo19b2o20bo15bobo20bo17bo18b3o19b2o19bo17bo20bo20bo16bo20bobo20bo17bo20bo16b4o16bo2bo16bo2bo17bo18b2o19bobo16bo20bo18b3o20bo\$b2o2bo14bobobo15bobo17bobo17b2o3b2o14b3o16b3o17b2o18b2o19bobo16bobo17b2o21bo19b2o18b2o18bo16bo20bo19bo41bo17bobo17bo41bo19bo16b2o20bo18b2o17bo2bo38b2o18bo17b2o38b2o20bo20b2o35bobo20bo17b2o18bobo16bo39b2ob3o16bo19bo17bo19b3o\$o2b2o16bo2bo15b2o19bo38bo19bo19bo41b2o17bo38bobo58bo19bo19b2o18b2o40b2o16b2o19bo39bo20b2o37b2o38b2o57b2o17bo119b2o20bo39bo17b2o44bo14b2o18b2o37bo\$2o22b2o74b2o39bo98b2o59b2o17b2o119b2o39b2o177bo140b2o101b2o\$140b2o518b2o11\$2bo18b2o23b2o15b2o16b2o21b2o17bo17b2o19b2o19bo17b2o23b2o16bo15b2ob2o2b2o12b2o18bo19b2o18bo18bob2o16b2o18b2o18b2o18b2o3b2o13b2o2bo15b2o3b2o17b2obo15bo20b2o17bo20b2o15b2o18bo23b2o15b2o19b2o17b2ob2o19bo15b2o19bo18b2ob2o17bo18bo20bo18b2o15b2o18b2o3b2o16bo19bo2b2o16b2o19bo\$bobob2o14bo20b2o2bo15bobo17bo20bo2bo15bobo17bo19bo2b2o15bobo16bo20b2o2bo16bobo15bobobo2bo11bo2bob2o13bobo17bo2bobo14bobob2o14b2obo16bo2b2o15bo2b2o15bo19bobobobo13bo2bobo14bobobobo14bo2bob2o13b3o17bo2bo16b3o16b2o3bo14bo2bob2o13bobo17b2o2bobo14bo2bo17bo2bo15bobobo19bobo13bo2bo16b3o19bobo17bobo16bobo18bobo16bobo15bo2bobo14bo2bo2bo13bobobo17bobo2bo15bobo18bobo\$2b2obo16bo18bo2bobo15bo19bob2o15bo2bobo14bo2bo16bo21bobobo15bobo17bo17bo2bobo15bo2bo15bo3b2o14bob2obo14bo2b2o15b2ob2o15b2obo19b2o15b3o2bo14bobobo16bob2o16bobo16b3obo16bobo15bobobo15bo19bobobo15bo3b2o14bo2bo16bobo3bo13bobo17bobo2bo15bobobo15bo2bobo14bobobo14b2o3bobo12bo2bobo14bo19b3o3bo16bo2bo16bobo16bobobo14bo19bob2obo15b2obo14b2obo18bobobo16bobobo17bobo\$6bo16bo18b2obo15b2o2bo15b2o2bo15b2obob2o13bob2obo14b4o17b2o2bo18bo16b2o18bob2o15bo3bob2o13b3o17bo19b2o2bo15bo22bo20bo18b2o15bo3bo14b3o2bo14bobobo18bo16bobobo15bo2bob2o13b5o15bo2b2o15b2obobo15b3o16bob3o15b2ob2o17b2o15b2o2bo15bo4bo14b2o2bo15bo2bob2o13b2obo2bo13bob2o16bo2b3o15b2o2b2o14bobo2bo15bobobo14bob4o15bo3bo16bob2o16bobo14b2o3bo16b2o2bobo13b3o2bo\$2b4o16b2o19bo19b3o17bo19bo18bo2b2o18bo15bo2b2o15b4o16bo19b2o18b2o3bobo15bo19b2o18b2o16bo18b4o19b2o17b2o18b3o19bo16bo2bo15b2o18bo2bo19b2obo17bo16b2o18bo2bo37bo19bobo15b2o19b2o17b4o16bo20b2o18bob2o15bobo17bobo16bo19bobob2o14b2o3bo14b2obo2bo13bobo3b2o12b3o17b2o2b2o14bo22bo3bo14bo2b2o\$o2bo17bo2b2o15bobo17b2o18b2o17bobo20bo17b4o15bobo17bo19bo2b3o16bo19bo42bo16b2o19b2o17bo17b2obo20bo16bobo19b2o18b2o16bo18b2o41b2o18bo16bobo17b3o18bo19b2o19bo19bo37bo22bo18bo20bob2o15bo17bo19bo2bo16bo22bo16b2o18bo19bo20bo18b3o20bo\$2o18bobobo15bobo17bo2bo16bo19b2o18b3o19bo18bo19b2o18b2obo15bo19bo42bo16bo2bo20bo15bo19bob2o19bo17b2o20bo39bo59bo16b3o17b2o18bo2bo17b2o18bo19bo18bobo18b2o17b2o20bo18b2o19bobobo34b2o18bobo17b3o19b2o56bo20bo17bo19b3o\$21bo2bo16bo19b2o18bobo36bo19bo41bo23bo13b2o18b2o41b2o15b2o21bo16b2o41b2o39bo37b2o60bo15bo40b2o40bo17b2o17b2o19b2o39b2o39bo38bo19bo20bo76b2o19b2o37bo\$22b2o58b2o56b2o38bo24b2o116b2o98b2o98b2o97b2o177bo\$180b2o619b2o11\$bo19b2o2b2o18b2o16b2o16b2o21bo20b2o14b2o19b2o18b2o17b2o19bo21b2o14b2ob2o16b2ob2o15bo19b2o17b2obo16bo7b2o10b2o2b2o14b2o4bo13b2o18b2o2b2o14b2o2bo15b2o20b2o3bo15b2o17b2o19bo20b2o15bo19bo23b2o16b2o18b2o17b2o20bo17bo19bo19bobo19bo20bo18bo15b2ob2o15b2o18b2o21b2o18b2o20b2o15bob2o\$b3o17bobo2bo14b2o3bo15bo2bo16bo2bo17bobo16bobobo15bo19bo19bobo16bo19bobo19bo2bo14bobobob2o11bo2b2obo13bobo17bo2bo16bob4o14b3o4bo2bo9bo2bo2bo13bobo2bobo12bo19bobo2bo14bo2bobo14bobob2o15bo2bobobo12b3o2bo14bo2bo16b3o16b2obo2bo13bobo3b2o12bobo17b2o2bobo16bo18bo2bo15bo2bo18bobo15bobo17bobo18b2obo17bobo17b3o17bobo15bob2o15bobo17bo2bob2o13bo2bobo16bo2bo17bo2bo15b2obo\$4bo18b2o16bo2bo17bobobo15bobobo14bo2bobo14bob2o16bo21bo20b3o16bo17b2o19bob2o15bo3b2obo12bo5bo13bo2b2o15b2obo21bo16bo2bo2bobo9bobob2o14bo2bobobo13bob2o16b2o17b3obo16bobobo13bobo2b2o2bo10bo4b2o13bobo2bo14bo5b2o12bo3bobo13bobo3bo13bobo17bo3bo16b2o2bo15bo2bobo14bobobo14b2o2bo15bo2bo16bobobo15b2o3bo17bo2bo15bo19bobobo14bo21bo18b2obo14b3o2bo17b2obo15bob2o19bobo\$3bo18bo20b3o15b2o2bo15b2o2bo15b2obo2bo13bo3bo15b2o19b2o19bo3bo14b2o21bo15bo2bo17b3o17b4obo14b2o2bo15bo2bo18bo2bo14bo2bo4bo11bobo17b2o2bobo12b3o2bo14bo22bo16bobo2bo14bo5bobo11b4o16bob3o15b2obo2bo14b2obo15bob2obo14b2ob2o16bob2o14bo2b3o14bo4bo14b2obobo14bob2o16b2ob2o15bobobo15bo2b2o16b2o2b2o14bo2b2o16bobobo15b2obo15b2o20bo2bo16b2o15b3o2bo16bo2bobo14b2o2b2o\$3b2o17bo40b2o17bo20bo2b2o14b3o18bo17bo19b3o2b2o13bo19b5o15b2obo19bo19bobo17b2o16bob2o17bob2o16b2o19bo21b2o17b2o15b2o17b2o18bo2b2o21b2o15bo17bo19bob2o17bo19bobo17bobo15b2o18bo19b4o16bob2o17bo19bo18bo2b2o15b2o17bo19bob2obo14b2o3bo14bobob2o14bo19b3o2b2o13b2o18bo2b2o18bo2b2o14bo\$5bo14b2o19b3o17b2o18bo18bobo17bobo20bo17bo18bo19bo2b3o14bo22bo58b2o19bo19bo39bo39b2o18bo17bo18b2o41bo19bo18bo18bobo17bo19b2o19bo19b2o18bo18bo20bo19bo21bo17bo17bo19bo2bo16bo19b2o18bob3o15bo19bo21bo17b3o17bobo\$b4o15bo19bo2bo16bobo17bo19b2o18b2o18b2ob2o15b2ob2o15b2o19b2o2bo14bob2o16bobo60bo17bobo18b2o39b2o37bobo15b3o19bo60b2o15b3o18b2o18b2o18b2o18bo19bo21bo16bo19b2o18b2o18b2o20bobo15bo20b2o18bobo17bo39bobo38bo18b2o17bo19b2o\$2bo19bo18b2o18bo18bobo58bobo19bobo37bo17bobo16b2o60bo18b2o100bo16bo20b2o77bo81bo18b2o19bo17b2o38bo19bo21b2o16b2o20bo19bo19bo42bo35b2o\$o20b2o58b2o58bobo19bobo37b2o97b2o317b2o39b2o57bo19bo58bo40b2o41b2o\$2o140bo21bo555b2o18b2o58b2o11\$b2o18b2o2b2o18b2o18bo16b2obo16b2o21bo15b2o19b2o20bo16b2o19bo19b2o16b2o19b2o2b2o14bo22b2o14b2o2bo3bo11bo2bo16b2o3b2o13b2o4b2o12b2o18b2o18b2o18b2o20bo20bo2bo15b2o2b2o15bo19b2o16bo19b2ob2o19b2o18b2o17b2o16bo19b2o18bo19bo19b2o21b2o18b2o17bo16bo18b2o18b2o2b2o17b2o17b2obo20b2o21bo\$bo19bobo2bo14b2o3bo16b3o15bo2b2o17bo18bobobo15bo19bo20bobo15bo19bobo2b2o15bo17bo2bo15bo2bo2bo13bobo2b2o13b2obobo14bo2bobobobo10b6o14bo3bobo13bobo3bobo11bo4b2o13bobo17bo2bo16bobo18bobob2o14b6o14bo2bo2bo13b3o16b2o2bo15bobo3b2o12bobobo15b2o2bobo17bo2bo15bobo15bobo18bobo16bobo17bobo19bo21bo18bobo16bobo14bobob2o14bobo17bo2bo2bo13bo2bobo16bob2o17bobobo20bobo\$2bo2b2o16b2o16bo2bo17bo19bo18bo2b2o15bob2obo14bo21bo18bobo18bo17bo2bo2bo14bo18bobobob2o12bob3o15bobo2bo14bobo18b2obobo2bo15bo14bo2bo16bo2b2o2bo13bo3bo16bo2b2o13b2obo17b3o15bo2b2obo13bo19bobobobo13bo5b2o12bob2o16bobo3bo13bo5bo13bo3bo16bo2bobo14b3o17bobo16bobo2bo14bobo17bobobo15b3o20bobo16b3o17bobo16b2obobo16bo18b2obo14b3o2bo36bob2o19b2o2bo\$3bo2bo15bo20b3o15bo2b2o15b2ob2o15b2obo2bo13bo3bo15b2o19b2o18bobobo15b2o18bob2o15bo20b2obobo2bo11bo20b2o16bo2b4o18bo2b2o11b4o16bob2o16b2obobo13b5o15b2obo2bo15bo17bo3bo15b2o18b2o2b2o14bo2bob2o13b2obo2bo14bo18bob2obo14bo3b2o15bob2o14bobob2o14bo3bo15b2obob2o13b2obobo14bo19bobo2bo14bo2b3o15b4o16bo3bo16bobobo16bo2bo14b2o20bob2o16b2o15b6o16bo3bo18bob2o\$4b2o16bo39b2obo17bobo17bo2b2o14b3o18bo17bo19b2o2bobo13bo19b2o18b2o23bo2b2o12bo18bo19bobo2bo35bo19bo22bo35bob2o15b2o18bob3o18b2o17bo2bo15b2o18bob2o16bo20bobo16bo2bo15b2o18bobo17b2obo16bob2obo16bob2o14bo19bob2o16b2o2bo14bo19bob3o15b2o3b2o13bobo3b2o12bo19b3o17b2o18bo4bo17bob2o16b2o\$b3o16b2o19b3o19bo16bobo17bobo17bobo20bo17bo20bo3bo14bob3o16bo21bo35b3o20b2o18bo37bo19bobo39bo16bo19bo21bo22bo17b2o35bo19b2o21bo19bobo16bo20bo19bo17bo21bo18bo19bo19bo17b3o18bo18bo19b2o18bo19bo19bo21bo17b3o20bo\$o2bo16bo19bo2bo17bobo16b2o18b2o18b2o18b2ob2o15b2ob2o15bo19b2obo2bo13bo19bob2obo34bo23bo56b2o18b2o39bobo15b2o19b2o20bo19bo56b2o18bo21b2o20bo15bo21bo17bobo17b2o20b2o19bo4bo11bobo17bo22bo18bo18b3o37b2o2b2o34bo19b2o17bo19b2obo\$2o19bo18b2o18bobo77bo2bo18bo2bo14b2o22b2o14b2o18b2obobo56bo119b2o38bo19b2o19b2o76bo58b2o20b2o16b2o62bo2bobo10b2o18b2o20bo18b2o20bo39bo2bo33b2o58bobo\$20b2o39bo79bobo18bobo79bo57b2o156bo121bo162bo2bo53b2o79b2o\$142bo20bo296b2o119b2o163b2o11\$b2o18b2o21b2o20b2o14b2o18b2o19b2o16b2o19b2o20bo16b2o19bo18bo18b2ob2o16b2o18bo24bo13b2o2b2o14bo19b2o3bo14b2o18b2o3b2o13b2o2b2o14b2o2b2o14b2obo18bo20bo18b2o19b2o17b2o17bobo17b2o2b2o18bo17bo19b2o15b2o22bo17b2ob2o15bo17b2o23b2o18bo18bo16b2o17b2o20bob2o16b2o18b2o20b2o20bo\$bo19bobob2o14b2o2bo18bo2bo13bo2bo18bo18bo2bo16bo19bo3b2o15bobo15bo19bobo17b3o17bobo16bo2bo16bobo2b2o13b2o3bobo12bo2bobo14b3o2b2o13bo3bobo13bo2bobo14bo4bo14bo3bobo13bo2bo2bo13bob4o15bobo17b3o2bo14bo2bo16b3obo14bo2bo16bob2o16bo2bo2bo13b2o2bobo15bobo18bo17bo2bo18bobo15bobobo15bobo17bo23bo18bobo16bobo14bo2bobo14bobo19b2obo14bo2bo18bo20bo2bo17b3o\$3bob2o16b2obo14bob2o17b3obo15bob3o14bo19bobo2bo14bo22bo2bo14bobobo16bo17bo2bob2o16bo16bo2b3o14bob3o15bobo2bo14bo3bo2bo13b2o19bo2bo14bo2bo2bo13b2ob2o16bo3bo15bobobo14b2o2bo20bo13bo2bo16bo3b3o13bobobo15bo4bo14b2o2b2o14bo19bo2b2o15bo3bobo14bo2bo16b2o2bo15bobobo14bo2bobo14bobo3bo13bobobo15bo22bobo16b3obo15bobo16bob2obo16bo16b2o18b3o20bo18bob2obo15bo\$2b3obo15bo20bo17bo3bo15b2o4bo13b2o18bo2b2o15b2o19bob2o16bobobo15b2o18bob2obo13b2o2bo16b2o2bo15bo3bo16b2o16bob2obobo15bo17b2obo16bob3o15bo18b5o15b2o2bo17b2o16b2o2b2o14b3obo15b2o18bo2b2o15b2obo21bo14b5o15b2o19bob2o14bob2o16bo2b3o14b2o2bo15b3obo15bo2b3o14bobo2bo14b2o19b4o16bo3bo16bobobo15bo3bo14b2o18bo21b3o14b3obo17bo2bobo16bo\$22bo20bo18b3o17bo3b2o15bo18b2o19bo17bobo17b2o2bo15bo19b2o18bob2o18bo19bob2o15bo19bobob2o16bo18bob2o16bo18bo39bo18b2o18bo22b2o17b2o17b2o18bob2o18b2o19bo16bo18b2o18bo19b2o19b2o19bo17bobo17bob3o16bo17bo19bob3o15b2o3b2o13bobo3b2o12bo19bo19b2o3bo14bo2bo19bo2bo16b2o\$3o17b2o19b2o17bobo17bo22bo19bo19bo16bo2bo18bo18bo20bo20bo17bo18b3o20b2o37b2o17bo22bo15b2o21bo17bo18bobo20bo17b2o20bo19bo18bo17b2obo17b2o18bo20bo19b4o17bo18bo17b2o20bo19bo17b2o19b2o18bo18bo19b2o18bo19bobo17bo22bobo14b3o19bo\$o2bo16bo19bo19b2o18b2o18b2ob2o15b3o19b2obo14bobo18bo18b2ob2o15bo20bobo17b2o17bo23bo37bo18b2o20b2o15bo21bobo16b2o18bo20b2o17bo23bo14b3o18b2o17bob2o16bobo17bo20bo22bo15bobo17bobo17bo42bo16bo3b2o17bo18bo18bo39b2o18bobo18bo21bobo13bo21bo\$2b2o18bo18bobo57bobo16bo20bo2b2o15bo18bo22bobo14b2o18bobo60bo39bo57bo21bo79bo20b2o14bo60bo18b2o19b2o23bo13b2o18b2o19bo40b2o17bo2bo15bobo18b2o19bo40bob2o16bo17b2o23bo33b2o\$21b2o19b2o57bobo36bobo37b2o21bobo35bo61b2o37b2o56b2o100b2o161b2o53b2o60bobo15b2o39b2o40b2obo16b2o41b2o32bo\$102bo38bo62bo578bo197bo\$982bo\$981b2o9\$b2o18b2o19bo20bo18b2o2b2o14b2o19b2o16b2o19b2o20b2o15b2o19b2o16b2o4b2obo10b2obo17b2o2b2o14bo21b2o15b2o3b2o13bo3b2o14b2o3b2o13b2o18b2o2b2o14b2o2b2o14b2o2bo15b2obo18bo20bo18b2o19b2o18b2o16bob2o16bobo21bo18bo18b2o16b2o20b2o17b2o21b2o13b2o22b2o15bo22b2o14bo2b2o15b2obo18bo19b2o18b2o20b2o18b2o\$bo19bobob2o14bobo18bobobo14bo2bo2bo15bo18bo2bo16bo19bobob2o15bo2bo14bo19bobo17bo4bob2o11bob3o14bo2bo2bo13bobo17b2o2bo15bo2bo2bo13b3o2bo14bo2bo2bo13bo2bobo14bo3bo15bo3bobo13bo2bobo14bob4o15bobo17b3o2bo14bo2bo16b3obo14bo2bo16bob2o16bob4o14b2o2bobo15b3o18bobo14bo2bo19bo17bobo17bo2bobo14bo23bo15b3o19bobo14b4obo14bob2o18b3o15bo2bo18bo20bo2bo17bobo\$3bob2o16b2obo14bob3o16bob2obo14bobobo14bo19bob2obo14bo22bob2o14bob2o17bo17bo2b2o15bob2obo14bo4bo14bob2o16bobo2bo14bobo18b2obo17b2o16bob3o15b2ob2o16bobo17bobobo14b2o2bo20bo13bo2bo16bo3b3o13bobo2bo14bo4bo14b3o2bo14bo4bo14bo5bo13bo3bobo14bo3b2o14b2o3bo14bob3o14bo3b3o13bo19bobo2bo14bo22bo20bo17bo2bobo18bo17b2o14b2o3bo14b3o20bo18bob2o21bo\$2b3obo15bo19bo3bo14b2o4bo13b2o2bo15b2o18bo3bo15b2o19bobo17bobo17b2o18bobobo15bobobo15b4o16bo20b4o14bob4o16bob2o15bo19bo19bo18b2o2b2o14b2o2bo17b2o16b2o2b2o14b3obo15b2o18bo4bo14b2obo18b3o15b5o15b2o2b2o15bob2o14bob2o2bo13bo2b2obo13b2o4bo13b4o2bo13bob4o14bo2b2o15b2o19b4o16b2o2bo16b2o2b2o14b4o15b3o2bo14bo2bobo16b3o14b3o2bo16bo2bobo17b2o\$22bo21b2o16bo4b2o13bo20bo18b3o17bo18bob2o16b2obo16bo19b2o2bo19bo17bo19b2o17bo19bo3bo15bo19bo20bo18bo20bobo16bo18b2o18bo2bo19b2o17b2o17b4o16bob2o16bo39bo18b2o18bo2b2o15b2o2bo15bo3b2o16bo17bo3bo15b2o19bo17bo19bo2b2o15b2o18bo2bo16bo4b2o13bo4bo14b2o3bo14bo2b3o17bo2b2o16bo\$3o17b2o18b4o16bo19bo20b2o17bobo18bo3b2o14bo21bo17bo20bo38bo22bo18b2o18bo17bo18b2o18b3o20b2o18bobo14bo21bo20b2o16b2o20bo19bo16bo22bo19bo16bo21bo20bo19bo16bo21bo19bo19bo19bo17b3o18b2o18bo18b2o18b2o18bobo17bo21bo17b3o21bo\$o2bo16bo19bo2bo16b2o18b2o18bo19b2o19bobo2bo13b2o18bobo17b2ob2o15bo40b2o20bo20bo17b2o17b2o17bo19bo23bo19bo15b2o19bo39bo22bo16bo18b2o18b3o19bobo15b2o18bo21b2o19b2o15b2o19bo21bo16bo22b2o18bo18bo17bo60bobo17bo21bo16bo21b2o\$b2o18bo78bo39b2ob2o35b2o21bo16b2o61b2o17bo59bo40bo57b2o39bo20b2o16b2o37bo22bo36b2o79b2o21bo15b2o23bo14b3o17bo19b2o60bo17b2o22bo37bo\$20b2o79b2o100bobo96b2o57b2o40b2o96b2o240b2o38b2o15bo19b2o121b2o38bo\$102bo101b2o577bo196b3o\$101bo682bo195bo\$101b2o680b2o!`
Princess of Science, Parcly Taxel

Freywa

Posts: 556
Joined: June 23rd, 2011, 3:20 am
Location: Singapore

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

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

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

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/S23271bobo\$271b2o\$268bo3bo\$45bo216bobob2o\$8bo37bo216b2o2b2o\$8bobo33b3o216bo\$8b2o132bo77b2o48b2o\$143bo76bobo47bobo\$6bo40bobo91b3o78bo49bo\$2o2bobo40b2o51b2o48b2o70b2o48b2o\$b2o2b2o41bo5bob2o42b2o2bob2o42b2o2bob2o66bob2o46bob2o\$o53b2o2bo45b2o2bo45b2o2bo65b2o2bo45b2o2bo\$57bobo47bobo47bobo67bobo47bobo\$4b2o52bo36b2o11bo36b2o11bo69bo49bo\$3b2o89bo2bo46bo2bo57bo\$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 fragmentx = 291, y = 28, rule = B3/S23281bobo\$281b2o\$9bo268bo3bo\$10b2o12bo30bo216bobob2o\$9b2o14b2o29bo216b2o2b2o\$24b2o28b3o216bo\$152bo77b2o48b2o\$11b2o140bo76bobo47bobo\$12b2o9b2o32bobo91b3o78bo49bo\$11bo12b2o31b2o51b2o48b2o70b2o48b2o\$7bo15bo34bo5bob2o42b2o2bob2o42b2o2bob2o66bob2o46bob2o\$7b2o55b2obo46b2obo46b2obo66b2obo46b2obo\$6bobo58bob2o46bob2o46bob2o66bob2o46bob2o\$67b2obo34b2o10b2obo34b2o10b2obo66b2obo46b2obo\$104bo2bo46bo2bo57bo\$105b2o48b2o59bo4b3o\$62b2o150b3o\$62bobo154bo5bo\$62bo156bo5bo\$153b2o64bo5bo\$95bo56bo2bo\$96bo55bobo66b3o\$94b3o8b2o42bo3bo\$105bobo41bo\$98b3o4bo43bo\$2o98bo116bo\$b2o96bo117bo\$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.

`#C 14-glider synthesis of xs17_8e12kozca23x = 262, y = 26, rule = B3/S2314bobo30bo\$14b2o32bo\$15bo30b3o\$2bo3bobo\$obo3b2o50bo49bo49bo36bo12bo44b2o3bo\$b2o4bo50b3o47b3o47b3o35bo11b3o42bobo2b3o\$61bo49bo49bo32b3o14bo43bo5bo\$60bo42b2o5bo42b2o5bo42b2o5bo44b2o3bo\$57bobo43b2o2bobo43b2o2bobo43b2o2bobo47bobo\$57b2o48b2o48b2o48b2o48b2o\$49b2o\$48bobo97b2o48b2o\$b2o47bo96bo2bo46bo2bo37bo\$2b2o144b2o48b2o39bo4b3o\$bo99b2o134b3o\$8b2o91bobo138bo5bo\$8bobo90bo140bo5bo\$8bo85b2o100b2o44bo5bo\$93bobo42bo56bo2bo\$95bo43bo55bobo46b3o\$137b3o8b2o42bo3bo\$148bobo41bo\$141b3o4bo43bo\$143bo96bo\$142bo97bo\$240bo!`

dvgrn
Moderator

Posts: 5711
Joined: May 17th, 2009, 11:00 pm

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

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

Freywa

Posts: 556
Joined: June 23rd, 2011, 3:20 am
Location: Singapore

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

Freywa wrote:

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.

dvgrn
Moderator

Posts: 5711
Joined: May 17th, 2009, 11:00 pm

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

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

Freywa

Posts: 556
Joined: June 23rd, 2011, 3:20 am
Location: Singapore

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

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!

calcyman

Posts: 2058
Joined: June 1st, 2009, 4:32 pm

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

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/S23obo\$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/S23172bo\$170bobo\$171b2o6\$11bobo\$11b2o231bobo\$12bo232b2o\$245bo3\$247bo\$49b2o39b2o33b2o63b2o56bo\$49b2o39b2o33b2o63b2o45bobo6b3o\$238b2o10bobo\$5bobo230bo11b2o\$bo3b2o244bo\$2bo3bo\$3o2\$47b2o39b2o33b2o63b2o\$46bo2bo37bo2bo31bo2bo61bo2bo54b2o\$47b2o39b2o33b2o63b2o55bo\$185bo61bo\$183bobo60b2o\$184b2o59bo\$123bo121bo\$87b3o33bo63b3o56b2o\$123bo124bo\$85bo5bo99bo56b3o\$45b2o38bo5bo33b3o63bo59bo\$44bobo38bo5bo99bo58b2o\$46bo76bo\$82b2o3b3o33bo63b3o\$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?

dvgrn
Moderator

Posts: 5711
Joined: May 17th, 2009, 11:00 pm

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

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

Freywa

Posts: 556
Joined: June 23rd, 2011, 3:20 am
Location: Singapore

PreviousNext