Small Spaceship Syntheses

For discussion of specific patterns or specific families of patterns, both newly-discovered and well-known.
googoIpIex
Posts: 253
Joined: February 28th, 2019, 4:49 pm
Location: Sqrt(-1)

Re: Small Spaceship Syntheses

Post by googoIpIex » March 8th, 2019, 10:16 am

Congrats on the synthesis!
woomy on a vroomy

User avatar
Goldtiger997
Posts: 545
Joined: June 21st, 2016, 8:00 am
Location: 11.329903°N 142.199305°E

Re: Small Spaceship Syntheses

Post by Goldtiger997 » March 8th, 2019, 10:17 am

Extrementhusiast wrote:Rambling aside, let's just casually drop this off:...
Wow! This is extremely impressive. Congratulations to Extrementhusiast!

Two new velocities of spaceships have been synthesized in 2 months!
dvgrn wrote:
Moosey wrote:Can anyone reduce it? Can any crazy person make a gun?
Someone is bound to reduce the recipe sooner or later, probably sooner. For example, over a third of the steps are taken up with just moving two cells by one space each, with no increase in population. I guess this must be an extra-tricky sacrificial still life to build:
With a synthesis this big there are so many avenues to try reducing the synthesis in. For example, here's a reduction to the final step I made:

Code: Select all

x = 69, y = 115, rule = B3/S23
27bo$25bobo$26b2o12bo$41b2o$40b2o$28bo25bo$29b2o21b2o$28b2o23b2o2$18bo
bo41bobo$19b2o16b2o23b2o$19bo17b2o24bo4$34bo13bo$33bobo11bobo$33b2o13b
2o$29b2o21b2o$28bo2bo19bo2bo$27bo2b2o19b2o2bo$28b2o2b2o3b2o5b2o3b2o2b
2o$31bo2bobo2bo3bo2bobo2bo$28b3obobob2obo3bob2obobob3o$28bo3bobobo2b2o
b2o2bobobo3bo$15b2o15b2o2bobo5bobo2b2o15b2o$16b2o18bob7obo18b2o$15bo7b
2ob2o2b4o3bo7bo3b4o2b2ob2o7bo$22bobob2o2bo3bo3bobobobo3bo3bo2b2obobo$
23bo9bo5b2ob2o5bo9bo$32bo3bo9bo3bo$31bo3bobo7bobo3bo$30bo4bobo7bobo4bo
$29bo6bo5bo3bo6bo$28bo12bobo10bo$27bo5b2o5bobo5b2o5bo$17b2o7bo6bobo5bo
5bobo6bo7b2o$16bobo6bo4b2obobo11bobob2o4bo6bobo$18bo3bobo5b2ob2o13b2ob
2o5bobo3bo$22b2o35b2o$40b3o$40bo$41bo$23b3o21bo9b3o$25bo20b2o9bo$15bo
8bo21bobo4b2o3bo8bo$15b2o35b2o12b2o$14bobo37bo11bobo4$17bo$17b2o$16bob
o13$62bo$61b2o$61bobo44$bo$b2o$obo!

User avatar
calcyman
Posts: 2096
Joined: June 1st, 2009, 4:32 pm

Re: Small Spaceship Syntheses

Post by calcyman » March 8th, 2019, 11:12 am

dvgrn wrote:
simsim314 wrote:But I'm sure this thing is programmable. It's just a spaceship unrolled to still life backwards, this can't be that impossible to write a search utility that does that. If we will find a methodology to do this - we will could find syntheses of every known spaceship...
A radically modified WLS might be able to handle this someday, by hunting for successively larger ancestors that consist of just a narrow ring of active cells around a growing still life in the center -- with as much of the activity as possible being gliders. But the size of the search space gets out of hand way too quickly, and it's not clear to me how to cut the search down so that it doesn't take billions of years. Seems like a "grey goo" type search is likely to have a similar problem. But it does seem like a workable answer might be out there somewhere, so here's hoping you can find it!
Mainly-to Extrementhusiast: would I be correct in thinking that the hardest part is the final step (i.e. reducing the moving spaceship to a large number of gliders simultaneously activating a complicated custom still-life)?

I could envisage the *other* steps being automated -- synthesising the large complicated still-life -- by an slmake-like approach of working backwards by consulting a library of components. But at least to me, it seems that the final step involves a huge amount of inspiration and creativity (and expertise!).
What do you do with ill crystallographers? Take them to the mono-clinic!

User avatar
dvgrn
Moderator
Posts: 5888
Joined: May 17th, 2009, 11:00 pm
Location: Madison, WI
Contact:

Re: Small Spaceship Syntheses

Post by dvgrn » March 8th, 2019, 1:54 pm

Let's see. Theoretically this means that self-constructing circuitry could now create long orthogonal distances using *WSSes or 46P4H1V0's or the various synthesizable c/3 spaceships chasing spiders, or spiders chasing loafers:

Code: Select all

x = 31, y = 60, rule = B3/S23
29bo$28bobo$27bo2bo$28b2o2$24bo5bo$23bobo3bo$22bo2bo3b2o$22bo2b2o3bo
45$6bo3b3o5b3o3bo$3b2ob5ob2o3b2ob5ob2o$bob2obo5bobobobo5bob2obo$o3bobo
3b5ob5o3bobo3bo$4b3o5b2o3b2o5b3o$bo2bob3o13b3obo2bo$3bo23bo!
I guess c/4 chasing c/5 will give the longest distance for a given length of gap in the construction recipe:

Code: Select all

x = 31, y = 61, rule = B3/S23
6bo3b3o5b3o3bo$3b2ob5ob2o3b2ob5ob2o$bob2obo5bobobobo5bob2obo$o3bobo3b
5ob5o3bobo3bo$4b3o5b2o3b2o5b3o$bo2bob3o13b3obo2bo$3bo23bo45$7bo11bo$7b
o11bo$6bobo9bobo2$5bo3bo7bo3bo$5bob6ob6obo$4bo7bobo7bo$4bo7bobo7bo$4bo
17bo$5bob2ob2o3b2ob2obo!
Of course a 1G seed for either a 46P4H1V0 or (especially) a spider will be just about as unreasonable as a gun or glider-to-spider converter would be. I guess in practice our cheapest orthogonal pairing would be some *WSS or other chasing a dart?

Code: Select all

x = 15, y = 60, rule = B3/S23
7bo$6b3o$5bo3bo$6b3o$5b5o$5bo3bo$b3o2bobo2b3o$b2o2b2ob2o2b2o$o2bo2bobo
2bo2bo$5bo3bo45$11b3o$10bo2bo$13bo$9bo3bo$13bo$10bobo!

User avatar
Kazyan
Posts: 865
Joined: February 6th, 2014, 11:02 pm

Re: Small Spaceship Syntheses

Post by Kazyan » March 8th, 2019, 2:56 pm

Congratulations on the groundbreaking spider synthesis--it pushes the boundaries of "Small Spaceship Synthesis" because it's not even small anymore.
simsim314 wrote:First of all I'm amazed partially because I can't find any way it makes sense to anyone else in this universe except of Extrementhusiast. Kazyan and Chris were trying to figure it out with some partial success, but this is truly amazing art that only one person in the world knows today.

But I'm sure this thing is programmable. It's just a spaceship unrolled to still life backwards, this can't be that impossible to write a search utility that does that. If we will find a methodology to do this - we will could find synthes of every known spaceship...
calcyman wrote:Mainly-to Extrementhusiast: would I be correct in thinking that the hardest part is the final step (i.e. reducing the moving spaceship to a large number of gliders simultaneously activating a complicated custom still-life)?

I could envisage the *other* steps being automated -- synthesising the large complicated still-life -- by an slmake-like approach of working backwards by consulting a library of components. But at least to me, it seems that the final step involves a huge amount of inspiration and creativity (and expertise!).
You have the idea of the algorithm correct--maximizing the available 'surface area' to activate a core still life, with the activation requiring finesse. The approach to the wings of the spider is more-or-less comprehensible, but it's the back which inserts activity into the core that is uniquely Extrementhusiast--there are multiple "activating" steps over time stemming from a single large object (the Beethoven + beehives). The reaction separates after first contact, but then interacts again after a few generations.
Sokwe wrote:
HartmutHolzwart wrote:So what is the next target? Diagonal c/5? I.e. 59P5H1V1.
I assume you mean 58P5H1V1. Another possibility is 56P6H1V0.
Probably 56P6H1V0. It's similar to the weekender, in that it's large, but composed of a lot of parts that look very synthesizeable. Our standards of 'impossible' have simply risen since the days when a dart synthesis was considered a moonshot.
Tanner Jacobi

User avatar
simsim314
Posts: 1702
Joined: February 10th, 2014, 1:27 pm

Re: Small Spaceship Syntheses

Post by simsim314 » March 8th, 2019, 3:06 pm

dvgrn wrote: guess c/4 chasing c/5 will give the longest distance for a given length of gap in the construction recipe:
Not that I'm opposing the synthesis of the spider, but for this particular purpose isn't it easier to synthesize the universal helix?
calcyman wrote:But at least to me, it seems that the final step involves a huge amount of inspiration and creativity (and expertise!).
I'm trying to break this part using a grey goo theory approach and predecessor search. My video response here to this finding.

User avatar
Moosey
Posts: 2493
Joined: January 27th, 2019, 5:54 pm
Location: A house, or perhaps the OCA board.
Contact:

Re: Small Spaceship Syntheses

Post by Moosey » March 8th, 2019, 3:11 pm

Kazyan wrote:Congratulations on the groundbreaking spider synthesis--it pushes the boundaries of "Small Spaceship Synthesis" because it's not even small anymore.
...
We need a new thread:
“Large spaceship syntheses”. :mrgreen:
Kazyan wrote:
Sokwe wrote:
HartmutHolzwart wrote:So what is the next target? Diagonal c/5? I.e. 59P5H1V1.
I assume you mean 58P5H1V1. Another possibility is 56P6H1V0.
Probably 56P6H1V0. It's similar to the weekender, in that it's large, but composed of a lot of parts that look very synthesizeable. Our standards of 'impossible' have simply risen since the days when a dart synthesis was considered a moonshot.
There’s also all those relatively small c/4ds like Orion 2. That seems like it should already have a synthesis, though it has a bit of space dust. By the way, in Orion 2 there’s a part with a BH in the back (it seems), which might be a start.

Still, relative to the spider, that seems relatively easy. Of course, something like enterprise would be far more challenging.

Lobster might be attainable because it’s not very dense and has a lot less space dust in it than other ships around its size.
simsim314 wrote:
dvgrn wrote: guess c/4 chasing c/5 will give the longest distance for a given length of gap in the construction recipe:
Not that I'm opposing the synthesis of the spider, but for this particular purpose isn't it easier to synthesize the universal helix?
That’s a good point (If I were in a position to nominate anything here to that title); the total cost of that c/4 (which, now that it has a synthesis, really needs a name) plus that of the spider is what, 689? It would be far cheaper to chase a 2c/5 with a LWSS or something.
Last edited by Moosey on March 11th, 2019, 6:42 pm, edited 1 time in total.
I am a prolific creator of many rather pathetic googological functions

My CA rules can be found here

Also, the tree game
Bill Watterson once wrote: "How do soldiers killing each other solve the world's problems?"

User avatar
Extrementhusiast
Posts: 1797
Joined: June 16th, 2009, 11:24 pm
Location: USA

Re: Small Spaceship Syntheses

Post by Extrementhusiast » March 8th, 2019, 6:17 pm

(BTW, the "small" in the title refers to the spaceships, not necessarily the syntheses.)

I had originally been looking for predecessors with a simpler center, e.g. this (found with JLS by repeatedly tweaking partials):

Code: Select all

x = 43, y = 23, rule = B3/S23
3o7bo21bo7b3o$2obo5b2o21b2o5bob2o$4bo4b2ob2o15b2ob2o4bo$obo7bo21bo7bob
o$2bob2o5b3o15b3o5b2obo$o5bo29bo5bo$bo5bo27bo5bo$o2bo4bo3bo17bo3bo4bo
2bo$3b4obo2bobo3b2o5b2o3bobo2bob4o$2bo2b4obobobobo2bo3bo2bobobobob4o2b
o$3o2bo3bo2bobob2obo3bob2obobo2bo3bo2b3o$obo3bobo3b2o5b2ob2o5b2o3bobo
3bobo$4bo3b2o9bo3bo9b2o3bo$obo3bo5b2o6bobo6b2o5bo3bobo$bo5bo4bo5bobobo
bo5bo4bo5bo$9obobobo3b2o3b2o3bobobob9o$3bobo5bobobo11bobobo5bobo$2bo5b
ob2obo6b3o6bob2obo5bo$ob2ob2o2bob2ob2o3bo2bo4b2ob2obo2b2ob2obo$2b2o3bo
b2o3bo7bo5bo3b2obo3b2o$bo3b3o2bo3bo7bo5bo3bo2b3o3bo$3bo3b2obo2bo5bobo
7bo2bob2o3bo$ob2o5b3o2b2o11b2o2b3o5b2obo!
However, because of the requirement of the changing length of induction coil, I kept running into situations in which I could only synthesize the sides or the center, but not both at once. Some better-looking short predecessors, such as this one, came from limiting the live cells per layer (as columns) to five over three generations, with the fourth allowed to change in the lower corners:

Code: Select all

x = 37, y = 12, rule = B3/S23
2bo31bo$o2bobobo2bo3b2o5b2o3bo2bobobo2bo$5ob2o3bobo2bo3bo2bobo3b2ob5o$
2o2bo3b4ob2obo3bob2ob4o3bo2b2o$5bobo8b2ob2o8bobo$4b3obo7bo3bo7bob3o$5b
o2bo19bo2bo$3bo4b2o17b2o4bo$9bo17bo$8bo19bo$7bo21bo$6bo23bo!
However, while they looked promising, I had no idea how to get to them, with too many moving parts needing to be in exactly the right place.

In the end, JLS helped with finding general ideas, but when it came to specifics, the predecessors were just too artificial and dense.
I Like My Heisenburps! (and others)

AforAmpere
Posts: 1049
Joined: July 1st, 2016, 3:58 pm

Re: Small Spaceship Syntheses

Post by AforAmpere » March 8th, 2019, 6:24 pm

The first 19 gliders done in 10:

Code: Select all

x = 58, y = 22, rule = B3/S23
27bo$28b2o$27b2o$52bo$50b2o$51b2o$35bo11bo7b2o$33bobo12bo5bo2bo$5bo28b
2o10b3o6b2o$obo2bobo$b2o2b2o$bo2$43b3o$45bo9b2o$44bo9bo2bo$55b2o2$11b
2o18b3o$10b2o11b2o8bo$12bo11b2o6bo$23bo!
587 gliders total now.
I and wildmyron manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules.

Things to work on:
- Find a (7,1)c/8 ship in a Non-totalistic rule
- Finish a rule with ships with period >= f_e_0(n) (in progress)

AforAmpere
Posts: 1049
Joined: July 1st, 2016, 3:58 pm

Re: Small Spaceship Syntheses

Post by AforAmpere » March 8th, 2019, 8:03 pm

Down 3 more gliders to 584, by constructing this still life instead:

Code: Select all

x = 211, y = 36, rule = B3/S23
82bobo$83b2o$83bo$163bo$132b3o29bo$83bo78b3o$84b2o44bo$83b2o3bo41bo$
88bobo39bo$88b2o79b2o$2bobo163bo2bo$2b2o165b2o$3bo50b2o44b2o39b2o$54b
2o44b2o39b2o$o$b2o167b2o2b2o29b2o2b2o$2o52b2o26b2o16b2o21b2o16b2o27bob
o2bo29bobo2bo$53bo2bo25b2o15bo2bo20b2o15bo2bo28b3o32b3o$53bo2bo42bo2bo
37bo2bo27bo34bo$54b2o44b2o39b2o29b3o32b3o$170bobo2bo29bobo2bo$b3o166b
2o2b2o29b2o2b2o$3bo88b2o39b2o43b3o$2bo89b2o39b2o$33bo$31b2o$32b2o$184b
3o$184bo$31b3o91b2o7b2o49bo$31bo94b2o6bobo$32bo92bo8bo2$48b2o$48bobo$
48bo!
I and wildmyron manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules.

Things to work on:
- Find a (7,1)c/8 ship in a Non-totalistic rule
- Finish a rule with ships with period >= f_e_0(n) (in progress)

User avatar
dvgrn
Moderator
Posts: 5888
Joined: May 17th, 2009, 11:00 pm
Location: Madison, WI
Contact:

Re: Small Spaceship Syntheses

Post by dvgrn » March 14th, 2019, 2:49 pm

AforAmpere wrote:Down 3 more gliders to 584, by constructing this still life instead...
I'm getting 586 gliders instead of 584, with a 4951-tick repeat time:

Code: Select all

x = 4953, y = 4999, rule = B3/S23
26bo$27b2o$26b2o13bo$42bo$40b3o$29bo4907bo$30bo4905bo$28b3o4905b3o2$
20bo4925bo$18bobo4925bobo$19b2o4925b2o12$22bo4921bo$23bo4919bo$21b3o
4919b3o3$20bo4925bo$21b2o4921b2o$20b2o4923b2o2$30bobo4901bobo$31b2o
4901b2o$31bo4903bo13$42bobo4877bobo$43b2o4877b2o$43bo4879bo20$4860bo$
4860bobo$4860b2o$101bo$64bo34bobo4800bo$65b2o33b2o4798b2o$64b2o4835b2o
3$70bo4825bo$68bobo4825bobo$69b2o4825b2o$4892bo$4892bobo$4892b2o10$86b
o$87bo$85b3o6$136bo$134bobo$135b2o4701bo$4836b2o$4837b2o$4841bo$4841bo
bo$4841b2o2$4821bo$4821bobo$137bo4683b2o$138b2o$137b2o$134bo$132bobo$
133b2o16$4833bo$4833bobo$4833b2o4$123bo4719bo$124bo4717bo$122b3o4717b
3o2$4826bo$4825bo$4825b3o14$4812bobo$4812b2o$4813bo4$4808bo$4807bo$
4807b3o8$4795bo$4795bobo$4795b2o2$4791bo$4791bobo$4791b2o7$262bo4511bo
$263bo4510bobo$190bo70b3o4510b2o$188bobo$189b2o$4732bobo$4732b2o$4733b
o2$4737bobo$4737b2o$4738bo$197bo$198bo69bo$196b3o67bobo$267b2o$4752bo$
4751bo$250bobo4498b3o$251b2o$251bo7$4749bo$209bobo4516bo18b2o$210b2o
4514b2o20b2o$210bo4516b2o2$270bo$271b2o$215bo54b2o$216bo$214b3o4513bo$
4730bobo$4730b2o2$272bobo$273b2o4457bo$273bo4457bo$4727bo3b3o$4726bo$
4726b3o7$4693bobo$285bobo4405b2o$286b2o4406bo$286bo$290bobo$291b2o$
291bo4$4678bo$4678bobo$4678b2o$249bo$247bobo25bo$248b2o26b2o17bobo$
275b2o19b2o4403bo$253bo42bo4402b2o$251bobo4446b2o3bo$252b2o4451bobo$
4705b2o4$4685bo$4674bobo8bobo$4674b2o9b2o$4675bo$4699bo$301bo5bo4385bo
5bobo$299bobo6bo4382b2o6b2o$300b2o4b3o4383b2o$4688bo7bo$4687bo8bobo$
314bobo4370b3o6b2o$315b2o4363bo$315bo4363bo$4679b3o8$323bo$324bo$322b
3o2$4673bo$4671b2o$4672b2o2$4682bo$4680b2o$4681b2o10$4655bo$4654bo$
4654b3o2$4634bobo$4634b2o$4635bo2$352bo$350bobo$351b2o4$358bo$359b2o$
358b2o$367bo4268bo$368b2o4265bo$367b2o4266b3o$361bobo$362b2o$362bo11$
385bo$386bo$384b3o4$4611bobo$382bobo4226b2o$383b2o4227bo$383bo5$4614bo
$4614bobo$4614b2o2$4607bo$4602bo3bo$4600b2o4b3o$391bobo4207b2o$392b2o$
392bo4184bobo$4577b2o11bo$4578bo10bo$4589b3o$395bobo$396b2o$396bo$
4595bobo$4589bo5b2o$4577bo10bo7bo$4575b2o11b3o$4576b2o2$415bo4168bo$
416b2o4165bo7bo$415b2o4166b3o3b2o$4590b2o$382bo4131bo$380bobo4130bo57b
o$381b2o31bo4098b3o54bo$415bo4154b3o$413b3o$422bobo$423b2o$423bo2$417b
obo$418b2o$418bo2$4508bo$4508bobo$4508b2o$404bo$405bo$403b3o4118bobo$
4524b2o$4525bo7$407bo$408b2o18bo$407b2o20b2o$428b2o2$4506bo$4504b2o$
4505b2o2$426bo$424bobo$425b2o2$4502bobo$424bo4077b2o$425bo4077bo$423b
3o3bo$430bo$428b3o7$461bobo$462b2o4025bobo$462bo4026b2o$4490bo$4484bob
o$4484b2o$4485bo6$4482bo$453bo4028bobo$454bo4027b2o$447bo4b3o$448b2o$
447b2o4$467bo$468b2o9bo$467b2o8bobo$478b2o$453bo$454b2o5bo4017bo$453b
2o7bo4008bobo3b2o$460b3o4008b2o5b2o$456bo4015bo$457b2o5bobo$456b2o7b2o
3996bo$465bo3997bobo$472bobo3988b2o$473b2o$473bo8$4455bobo$4455b2o$
4456bo$481bo$482bo$480b3o2$472bo$473bo$471b3o11$497bobo$498b2o$498bo$
519bo$517bobo$518b2o2$4428bo$4426b2o$4427b2o4$4420bo$4419bo$4419b3o$
4411bo$516bobo3891bo$517b2o3891b3o$517bo3898bo$4416bobo$4416b2o12$
4393bobo$4393b2o$4394bo3$542bo$540bobo3852bo$541b2o3852bobo$4395b2o5$
538bo$539b2o$538b2o3$545bobo4bo$546b2o5bo$546bo4b3o3832bo$4386bobo$
576bo3809b2o$574bobo$562bobo10b2o$563b2o$563bo3818bo$4382bobo$4382b2o$
558bo$556bobo$557b2o4bobo$564b2o$564bo3$563bo4bobo$564bo4b2o$562b3o4bo
17$579bo3807bo$580bo3805bo$578b3o3805b3o4$584bo3797bo$585bo3795bo$583b
3o3795b3o3$4376bobo$4376b2o$4377bo17$629bobo$630b2o$630bo$4349bo$4309b
obo37bobo$4309b2o38b2o$4310bo3$636bo$634bobo3674bo$635b2o3674bobo$
4311b2o$4351bo$4351bobo$4351b2o8$4333bo$4331b2o$4332b2o24$4303bo$4302b
o$4302b3o4$4308bo$4306b2o$4307b2o9$4285bo$4285bobo$4285b2o$4292bo$
4290b2o$4291b2o26$711bo$712bo$710b3o8$709bo$710bo$708b3o9$727bobo$728b
2o$728bo24$756bobo$757b2o$757bo3$753bo$754bo$752b3o9$774bo$775b2o$774b
2o$769bo$770bo$768b3o12$791bo3383bo$789bobo3383bobo$790b2o3383b2o55$
4126bobo$4126b2o$4127bo4$4124bo$4123bo$4123b3o33$879bo$880bo$878b3o
3202bo$4083bobo$4083b2o6$4062bo$4061bo$4061b3o13$4053bobo$4053b2o$
4054bo3$4057bo$4055b2o$4056b2o6$4041bo$4040bo$4040b3o17$4027bo$4027bob
o$4027b2o$4020bo$4019bo$4019b3o3$4022bobo$4022b2o$4023bo3$4004bo$4003b
o$4003b3o3$4008bobo$4008b2o$4009bo9$3993bo$3993bobo$3993b2o16$984bo$
985b2o$984b2o7$1005bobo$1006b2o$1006bo12$1015bo$1013bobo$1014b2o3$
1012bo$1013bo$1011b3o7$1026bobo$1027b2o$1027bo17$3919bo$3917b2o$3918b
2o4$1058bo$1049bo6bobo$1050b2o5b2o$1049b2o3$1063bo2839bo$1061bobo2839b
obo$1062b2o2839b2o6$1068bo2829bo$1069bo2827bo$1067b3o2827b3o2$1073bo
2819bo$1071bobo2819bobo$1072b2o2819b2o4$1111bo$1112bo$1110b3o4$1075bo$
1076b2o$1075b2o37bobo2766bo$1115b2o2766bobo$1115bo2767b2o2$3875bo$
3842bo31bo$3841bo32b3o$3841b3o6$1096bo2740bobo$1094bobo19bo2720b2o11bo
$1095b2o20bo2720bo10bo$1115b3o2731b3o$1104bo18bo2719bo$1105bo18bo2717b
o$1103b3o10bo5b3o2717b3o5bo$1117b2o37bobo2689b2o$1116b2o39b2o2690b2o$
1137bo19bo$1138bo$1136b3o2662bo$3801bobo9bobo$3801b2o10b2o25bobo$3814b
o10bo14b2o$3823b2o16bo$1160bo2663b2o$1130bo27bobo$1131bo27b2o$1129b3o
8$1141bo2683bo$1142bo2681bo$1140b3o2681b3o7$3813bo$3812bo$3812b3o28$
3798bo$3796b2o$3797b2o5$1189bo$1190bo$1188b3o7$3784bo$3784bobo$3784b2o
3$1188bo$1189b2o$1188b2o9$1206bo2573bo$1207b2o2570bo$1206b2o2571b3o41$
1265bo$1263bobo$1264b2o12bo$1279b2o$1278b2o$1266bo2433bo$1267b2o2429b
2o$1266b2o2431b2o2$1256bobo2449bobo$1257b2o2449b2o$1257bo2451bo12$
1259bo2447bo$1260b2o2443b2o$1259b2o2445b2o3$1259bo2447bo$1257bobo2447b
obo$1258b2o2447b2o$1269bo2427bo$1270bo2425bo$1268b3o2425b3o13$1281bo
2403bo$1282bo2401bo$1280b3o2401b3o21$3622bobo$3622b2o$3623bo$1337bobo$
1303bo34b2o2323bo$1301bobo34bo2324bobo$1302b2o2359b2o3$1306bobo2349bob
o$1307b2o2349b2o$1307bo2351bo$3654bobo$3654b2o$3655bo10$1323bo$1324b2o
$1323b2o6$1372bobo$1373b2o$1373bo2225bo$3599bobo$3599b2o$3603bobo$
3603b2o$3604bo2$3583bobo$3583b2o$1376bo2207bo$1374bobo$1375b2o$1370bob
o$1371b2o$1371bo16$3595bobo$3595b2o$3596bo4$1360bo2245bo$1361b2o2241b
2o$1360b2o2243b2o2$3589bo$3587b2o$3588b2o13$3575bo$3574bo$3574b3o5$
3571bo$3569b2o$3570b2o8$3557bobo$3557b2o$3558bo2$3553bobo$3553b2o$
3554bo7$1499bo2036bobo$1500b2o2034b2o$1426bobo70b2o2036bo$1427b2o$
1427bo2067bo$3494bo$3494b3o2$3500bo$3499bo$3499b3o2$1434bo$1435b2o67bo
bo$1434b2o69b2o$1505bo$3515bo$1489bo2023b2o$1490bo2023b2o$1488b3o8$
1448bo2061bo$1449bo2039bo20bobo$1447b3o2039bobo18b2o$3489b2o2$1509bo$
1507bobo$1452bo55b2o$1453b2o$1452b2o2038bobo$3492b2o$3493bo$1511bo$
1512bo$1510b3o1982bo$3493b2o$3490bo3b2o$3488b2o$3489b2o6$3456bo$1524bo
1930bo$1525bo1929b3o$1523b3o$1529bo$1530bo$1528b3o5$3440bobo$3440b2o$
3441bo$1485bobo$1486b2o26bo19bo$1486bo25bobo20bo$1513b2o18b3o1926bo$
1489bobo1970bobo$1490b2o1970b2o3bobo$1490bo1976b2o$3468bo4$3437bo9bobo
$3436bo10b2o$3436b3o9bo2$3461bobo$1537bobo4bo1909bo6b2o$1538b2o5b2o
1907bobo5bo$1538bo5b2o1908b2o$3451bo6bobo$1553bo1895b2o7b2o$1554bo
1895b2o7bo$1552b3o1888bo$3441b2o$3442b2o8$1560bo$1561b2o$1560b2o2$
3434bo$3434bobo$3434b2o2$3443bo$3443bobo$3443b2o10$3418bo$3416b2o$
3417b2o$3397bo$3396bo$3396b3o3$1588bobo$1589b2o$1589bo4$1597bo$1595bob
o$1596b2o$1606bo1792bo$1604bobo1790b2o$1600bo4b2o1791b2o$1601bo$1599b
3o12$1622bo$1623b2o$1622b2o3$3374bo$1621bo1751bo$1622bo1750b3o$1620b3o
6$3376bobo$3376b2o$3377bo2$3370bo$3363bo4b2o$1630bo1732bobo3b2o$1631bo
1731b2o$1629b3o1708bo$3339bo$3339b3o11bo$3351b2o$1634bo1717b2o$1635bo$
1633b3o$3358bo$3357bo$3352bo4b3o$3338bo11b2o$3338bobo10b2o$3338b2o2$
1654bo1692bo$1652bobo1690b2o5bo$1653b2o1691b2o4bobo$3352b2o$1618bobo
1656bo$1619b2o1654b2o57bo$1619bo31bo1624b2o54b2o$1652b2o1679b2o$1651b
2o8bo$1662bo$1660b3o2$1656bo$1657bo$1655b3o3$3270bobo$3270b2o$3271bo$
1641bo$1642b2o1643bo$1641b2o1643bo$3286b3o8$1646bo$1644bobo20bo$1645b
2o18bobo$1666b2o2$3267bo$3267bobo$3267b2o2$1662bobo$1663b2o$1663bo$
3265bo$3264bo$1661bo1602b3o$1662b2o$1661b2o3bo$1667b2o$1666b2o6$1700bo
$1701bo1550bo$1699b3o1549bo$3251b3o$3247bo$3246bo$3246b3o7$3244bobo$
1690bo1553b2o$1691b2o1552bo$1686bo3b2o$1684bobo$1685b2o4$1706bo$1704bo
bo8bobo$1705b2o9b2o$1716bo$1692bo$1690bobo5bo1535bo5bo$1691b2o6b2o
1532bo6bobo$1698b2o1533b3o4b2o$1695bo7bo$1693bobo8bo$1694b2o6b3o1520bo
bo$1711bo1513b2o$1712bo1513bo$1710b3o8$3218bo$3217bo$3217b3o2$1718bo$
1719b2o$1718b2o2$1709bo$1710b2o$1709b2o10$1736bo$1737bo$1735b3o2$1755b
obo$1756b2o$1756bo2$3189bo$3189bobo$3189b2o4$3183bo$3181b2o$3182b2o$
1755bo1418bo$1756bo1415b2o$1754b3o1416b2o$3178bobo$3178b2o$3179bo11$
3156bo$3155bo$3155b3o4$1778bobo$1779b2o1376bobo$1779bo1377b2o$3158bo5$
1777bo$1775bobo$1776b2o2$1784bo$1785bo3bo$1783b3o4b2o$1789b2o1357bobo$
3148b2o$1812bobo1334bo$1801bo11b2o$1802bo10bo$1800b3o$3144bobo$3144b2o
$3145bo$1794bobo$1795b2o5bo$1795bo7bo$1801b3o3$1807bo$1800bo7bo$1801b
2o3b3o$1800b2o17$1816bo1333bo$1817b2o1329b2o$1816b2o1331b2o4$1821bo
1323bo$1822b2o1319b2o$1821b2o1321b2o2$3139bo$3138bo$3138b3o17$1868bo$
1869bo$1867b3o2$3072bo38bobo$3071bo39b2o$3071b3o38bo4$1872bobo$1873b2o
1198bobo$1873bo1199b2o$3074bo$3113bobo$3113b2o$3114bo8$3094bo$3094bobo
$3094b2o24$3066bo$3064b2o$3065b2o4$3069bo$3069bobo$3069b2o9$3047bobo$
3047b2o$3048bo$3053bo$3053bobo$3053b2o26$1948bo$1949b2o$1948b2o8$1946b
o$1947b2o$1946b2o8$1966bo$1967bo$1965b3o24$1995bo$1996bo$1994b3o4$
1990bo$1991b2o$1990b2o9$2013bo$2011bobo$2012b2o$2006bo$2007b2o$2006b2o
12$2027bobo907bobo$2028b2o907b2o$2028bo909bo54$2889bo$2888bo$2888b3o5$
2887bo$2885b2o$2886b2o33$2116bo$2117b2o$2116b2o727bobo$2845b2o$2846bo
6$2825bo$2823b2o$2824b2o12$2816bo$2815bo$2815b3o4$2818bo$2818bobo$
2818b2o6$2804bo$2802b2o$2803b2o17$2789bobo$2789b2o$2790bo$2783bo$2781b
2o$2782b2o2$2785bo$2784bo$2784b3o4$2767bo$2765b2o$2766b2o2$2771bo$
2770bo$2770b3o10$2755bobo$2755b2o$2756bo16$2223bo$2221bobo$2222b2o6$
2244bo$2245bo$2243b3o13$2251bobo$2252b2o$2252bo3$2249bo$2250b2o$2249b
2o6$2265bo$2266bo$2264b3o18$2680bo$2680bobo$2680b2o4$2294bobo$2288bo6b
2o$2286bobo6bo$2287b2o3$2299bobo363bobo$2300b2o363b2o$2300bo365bo6$
2305bo355bo$2306b2o351b2o$2305b2o353b2o2$2309bobo343bobo$2310b2o343b2o
$2310bo345bo4$2348bo$2349b2o$2348b2o4$2314bo$2312bobo38bo$2313b2o39bo
290bobo$2352b3o290b2o$2646bo2$2638bo$2605bo30b2o$2603b2o32b2o$2604b2o
5$2600bo$2332bobo264bo$2333b2o18bo245b3o11bo$2333bo20b2o255b2o$2353b2o
257b2o$2341bo18bo245bo$2342b2o17b2o241b2o$2341b2o12bo4b2o33bo209b2o4bo
$2353bobo40bo214bobo$2354b2o38b3o214b2o$2374bo$2375b2o$2374b2o187bobo
10bo$2563b2o10bo27bo$2564bo10b3o24bo$2586bo15b3o$2586bobo$2396bobo187b
2o$2367bo29b2o$2368b2o27bo$2367b2o8$2378bo209bo$2379b2o205b2o$2378b2o
207b2o7$2576bo$2574b2o$2575b2o28$2559bo$2559bobo$2559b2o5$2426bo$2427b
2o$2426b2o7$2546bobo$2546b2o$2547bo3$2427bo$2425bobo$2426b2o9$2445bo
97bo$2443bobo95b2o$2444b2o96b2o74$2537b2o$2431bo105bobo$2390b3o38b2o
104bo$2392bo37bobo$2391bo9$2419bo4b2o$2419b2o4b2o$2418bobo3bo2$2579b3o
$2579bo$2580bo9$2559b2o$2558b2o$2560bo19$2387b2o$2386bobo$2388bo9$
2364b2o$2363bobo$2365bo3$2606b2o$2605b2o$2607bo2$2356b2o251b2o$2357b2o
249b2o$2356bo253bo4$2358b2o247b2o$2357bobo247bobo$2359bo247bo4$2358b3o
245b3o$2360bo245bo$2359bo247bo20$2345b3o277b3o$2347bo277bo$2346bo279bo
11$2326b3o303b3o$2328bo303bo$2327bo305bo9$2642bo$2641b2o$2641bobo3$
2295b3o11bo6b2o6b3o330bo11b3o$2297bo11b2o6b2o7bo323bo5b2o11bo$2296bo
11bobo5bo8bo323b2o5bobo11bo$2649bobo2$2302b2o359b2o$2301bobo9b2o337b2o
9bobo$2303bo8bobo337bobo8bo$2288b3o23bo337bo23b3o$2290bo16b2o367bo$
2289bo18b2o367bo$2307bo9$2289b3o$2291bo3b2o$2290bo5b2o$2295bo3$2672bo$
2287b2o382b2o$2288b2o381bobo$2287bo$2669bo$2668b2o$2281bo386bobo$2281b
2o398b2o$2280bobo397b2o$2291b2o389bo$2290bobo$2292bo12$2260bo427b2o$
2260b2o426bobo$2259bobo426bo$2242bo$2242b2o$2241bobo$2694b2o$2694bobo$
2244b3o447bo$2246bo$2245bo5$2248b2o$2247bobo$2249bo457bo$2706b2o$2706b
obo2$2248b2o$2249b2o$2248bo$2238bo$2238b2o$2237bobo2$2720b2o$2238b2o
480bobo$2237bobo480bo$2239bo2$2242b2o$2241bobo$2243bo$2224b3o$2226bo$
2225bo4$2724b2o$2724bobo$2724bo3$2222b2o$2223b2o515b2o$2222bo516b2o$
2741bo4$2753b2o$2752b2o$2754bo4$2217bo$2217b2o$2216bobo$2768b2o$2768bo
bo$2768bo$2760b3o$2760bo5bo$2761bo3b2o$2765bobo$2201b2o568bo$2202b2o
566b2o$2201bo568bobo2$2204b2o$2205b2o$2204bo2$2773bo$2772b2o$2772bobo$
2187b3o$2189bo593b2o$2188bo593b2o10bo$2771b3o10bo8b2o$2771bo5bo15bobo$
2772bo3b2o$2776bobo6b3o$2785bo$2786bo$2178b3o$2180bo$2179bo10$2175bo$
2175b2o630b3o$2174bobo630bo$2808bo$2825b3o$2825bo$2169bo656bo$2169b2o$
2168bobo652b2o$2822b2o$2824bo5$2820bo$2819b2o$2819bobo$2156b3o$2158bo$
2157bo$2819b2o$2819bobo$2819bo2$2829b3o$2829bo$2830bo$2143bo$2143b2o
685bo$2142bobo684b2o$2829bobo2$2826bo$2825b2o$2825bobo$2843b2o$2842b2o
$2844bo4$2139bo$2139b2o$2138bobo3$2842b2o$2842bobo$2842bo$2121b2o723b
3o$2120bobo723bo$2122bo724bo6$2111b2o$2112b2o$2111bo739b3o$2851bo$
2852bo$2104b2o$2103bobo4bo9b2o$2105bo4b2o9b2o$2109bobo8bo2$2104b2o$
2105b2o$2104bo2$2095b3o754b2o$2097bo754bobo$2096bo755bo14b2o$2867bobo$
2867bo2$2096bo$2096b2o783b2o$2095bobo783bobo$2881bo7bo$2888b2o$2888bob
o4$2082bo$2082b2o799b2o$2081bobo798b2o$2076bo807bo$2076b2o$2075bobo16b
2o$2093bobo$2095bo$2884b2o$2884bobo$2884bo3$2886b2o$2062b2o821b2o$
2063b2o822bo$2062bo2$2067b2o$2066bobo$2068bo$2904b3o$2904bo$2058b2o
845bo$2057bobo$2059bo$2066b3o$2068bo846b3o$2067bo847bo$2916bo2$2911b2o
$2910b2o$2048bo863bo$2048b2o$2047bobo$2920b2o$2919b2o$2921bo4$2040b3o$
2042bo$2041bo2$2923b3o$2923bo$2924bo6$2029bo$2029b2o$2028bobo2$2942b3o
$2942bo$2011b2o930bo$2010bobo$2012bo5b2o$2019b2o$1993bo24bo$1993b2o$
1992bobo3$2010b2o$2011b2o$2010bo3$2000bo960b3o$2000b2o959bo$1999bobo
960bo4b2o$2966b2o$2968bo$2959b3o$2959bo$2960bo2$2010b2o$2011b2o954b2o$
2010bo955b2o$1983b2o9bo973bo$1984b2o8b2o$1983bo9bobo978bo$2973b2o$
2973bobo9$1989bo$1989b2o$1988bobo11$2995b3o$2995bo$2996bo$2991b3o$
2991bo$2992bo3$2998bo$2997b2o$2997bobo8bo$1950b3o1054b2o$1952bo1054bob
o$1951bo$2999b2o$2999bobo$2999bo7$1937b3o$1939bo$1938bo7$3029b2o$3029b
obo$3029bo6$1928b2o$1929b2o$1928bo1120bo$3048b2o$3041b2o5bobo$3041bobo
$3041bo$3066b3o$3066bo$3067bo2$3049b2o$3049bobo$3049bo3$1909b2o$1910b
2o1147b3o$1909bo1149bo$1903b2o1155bo$1902bobo$1904bo6b2o1148bo$1912b2o
1146b2o$1911bo1148bobo2$3049b2o$1904bo1144bobo$1904b2o1143bo$1903bobo
1171bo$3066b2o8b2o$3065b2o9bobo$1897b2o1168bo$1898b2o$1864b3o30bo$
1866bo$1865bo7$3071b2o$3070b2o$3072bo10$1875b2o$1874bobo$1876bo$1879b
2o$1878bobo$1880bo4$1873b2o$1874b2o$1863b2o8bo1235b2o$1864b2o1243bobo$
1863bo1245bo2$1871b3o$1873bo$1872bo6$3122b2o$3122bobo$3122bo9$1843b2o$
1844b2o$1843bo4$1817bo1317b2o12bo$1817b2o1315b2o12b2o$1816bobo4b2o
1311bo5b2o4bobo$1824b2o7bo1307b2o$1823bo9b2o1308bo$1796b2o34bobo$1795b
obo$1797bo26bo1309b3o5bo$1824b2o1308bo6b2o$1804b3o16bobo1309bo5bobo$
1806bo23b3o$1805bo13b3o10bo1312b3o$1821bo9bo1313bo$1789b2o29bo1325bo$
1788bobo$1790bo3$1797b2o$1798b2o$1797bo2$1785b2o$1786b2o$1785bo4$3150b
3o$1773b3o1374bo$1775bo1375bo$1774bo3$1766b2o$1765bobo1387b3o$1767bo
1387bo$3156bo5$1750bo$1750b2o$1749bobo13$1752bo$1752b2o$1751bobo18$
1737b3o$1739bo$1738bo1461b2o$3200bobo$3200bo5$1713b3o$1715bo$1714bo2$
1719b2o$1718bobo$1720bo$3218b2o$3218bobo$1708b2o1508bo$1707bobo$1709bo
5$3264bo$3263b2o$3263bobo3$3280b2o$3279b2o$3281bo$1697b2o$1696bobo$
1698bo$1688b2o$1687bobo$1651b3o27bo7bo$1653bo27b2o$1652bo27bobo4$1685b
2o$1684bobo$1686bo19$1663bo$1663b2o4b3o$1637b3o22bobo6bo$1639bo30bo
1595b3o$1638bo1627bo$3267bo2$1668b3o$1670bo$1669bo5$1640b2o$1639bobo$
1641bo2$1632b2o$1633b2o$1632bo1654b2o$3287bobo$3287bo$1648bo$1648b2o$
1647bobo2$3288b3o$3288bo$3289bo8$3341b2o$3341bobo$3341bo11$3357bo$
3356b2o$3356bobo2$3348b2o$3347b2o$3349bo2$3364bo$3363b2o$3363bobo3$
3355b2o$3355bobo$3355bo2$3367b2o$3367bobo$3367bo4$1627b2o$1628b2o1749b
2o$1627bo1750b2o$3380bo3$3387bo$1622b2o1762b2o$1623b2o1761bobo$1622bo
6$3402b3o$3402bo$3403bo13$3400b3o$3400bo$3401bo17$3415b2o$3414b2o$
1578bo1837bo$1578b2o$1577bobo5$3439b2o$3438b2o$3440bo2$3434bo$3433b2o$
3433bobo$1560bo$1560b2o$1559bobo1883bo$3444b2o$3444bobo13$1495b2o1959b
o$1496b2o1957b2o$1495bo1959bobo$3465bo$3464b2o$3464bobo$3471b3o$3471bo
$3472bo30b3o$3503bo$3504bo$3468bo$3467b2o$3467bobo13$3449bo$3448b2o4b
2o$3448bobo3bobo$3454bo6$3493bo$3485b3o4b2o$1488b2o1995bo6bobo22b3o$
1489b2o17b3o1975bo30bo$1488bo21bo2007bo$1509bo2$3486b3o$3486bo$3487bo
5$3515b2o$3515bobo$3515bo2$3523b2o$3522b2o$1488b2o2034bo$1487bobo$
1489bo$3508bo$3507b2o$3507bobo2$1486b3o$1456b3o29bo$1458bo28bo$1457bo
6bo$1464b2o2028bo$1463bobo2027b2o$1454b3o11b2o2023bobo$1456bo10bobo$
1455bo13bo2$1451b3o$1453bo$1452bo2$1447bo2054b2o$1447b2o2052b2o$1446bo
bo2054bo$3491b3o$3491bo$3492bo3$1425b2o$1424bobo$1426bo2$1428bo$1428b
2o2080bo$1427bobo2079b2o$3504b2o3bobo$3504bobo$3504bo3$1432b2o$1433b2o
$1432bo2$3514b3o$3514bo$3515bo2$1439bo$1433b2o4b2o$1432bobo3bobo$1434b
o8$3555b2o$3554b2o$3556bo3$3565b3o$3565bo$3559bo6bo$1415bo2142b2o$
1415b2o2141bobo$1414bobo2137b2o11b3o$3554bobo10bo$3554bo13bo2$3570b3o$
3570bo$3571bo2$1406b2o2168bo$1407b2o2166b2o$1406bo2168bobo$1416b3o$
1418bo$1417bo3$3597b2o$3597bobo$3597bo2$3595bo$1399bo2194b2o$1399b2o
2193bobo$1398bobo3b2o$1403bobo$1405bo3$1356b2o2232b2o17b2o$1355bobo
2231b2o18bobo$1357bo2233bo17bo2$1393b3o$1350b3o42bo2218b3o$1352bo20bo
20bo2219bo$1351bo21b2o2240bo$1372bobo2210bo$3584b2o$3584bobo2$1378bo$
1378b2o$1377bobo$3602bo$3601b2o$1372bo2228bobo$1372b2o$1371bobo2$3597b
o$3596b2o$3596bobo3$3602bo5b2o$1358b2o2241b2o5bobo$1357bobo2241bobo4bo
$1359bo4$1352b2o$1351bobo$1353bo$3613b3o$3613bo$3614bo3$1336b3o$1338bo
$1337bo3bo$1341b2o$1340bobo$3617b3o$3617bo$3618bo$1326b2o$1327b2o2293b
2o$1326bo2295bobo$3622bo$1334bo2306b2o$1334b2o2305bobo$1333bobo2305bo$
3637b2o$3636b2o$1335b2o2301bo$1334bobo$1336bo$3652bo$3651b2o$1330b3o
2318bobo$1332bo$1306b2o23bo2327b2o$1305bobo2336b2o13bobo$1307bo2335b2o
14bo$3645bo2$1296b2o2329b2o$1295bobo2328b2o$1297bo2330bo$1287b2o$1286b
obo$1288bo44b3o2338b2o$1335bo2337b2o$1334bo2340bo$1277b3o2403b2o2b3o$
1279bo2402b2o3bo$1278bo2405bo3bo2$1277bo2411bo$1277b2o2409b2o$1276bobo
2409bobo11$1265b3o2431b3o$1253b2o12bo2431bo12b2o$1254b2o5b2o3bo2433bo
3b2o5b2o$1253bo6bobo2441bobo6bo$1262bo2441bo3$1257b2o2449b2o$1258b2o
2447b2o$1257bo2451bo3$1255b2o2453b2o$1254bobo2453bobo$1256bo2453bo2$
3686b3o$3686bo$3687bo$1261b3o2429bo9b3o$1263bo2428b2o9bo$1253bo8bo
2429bobo4b2o3bo8bo$1253b2o2443b2o12b2o$1252bobo2445bo11bobo4$1255bo$
1255b2o$1254bobo13$3708bo$3707b2o$3707bobo33$3775b2o$1153bo39b2o2579b
2o$1153b2o37bobo2581bo$1152bobo39bo8$1239bo$1239b2o$1181b2o3b3o49bobo$
1180bobo5bo$1182bo4bo$3818bo$3817b2o$3817bobo10$3796b3o$3796bo$3797bo
19$1149b2o$1150b2o$1149bo9$1126b2o$1127b2o$1126bo3$3843b3o$3843bo$
3844bo2$1118b3o2725b3o$1120bo2725bo$1119bo2727bo4$1120b2o2723b2o$1121b
2o2721b2o$1120bo2725bo3$1121bo2723bo$1121b2o2721b2o$1120bobo2721bobo
20$1108bo2755bo$1108b2o2753b2o$1107bobo2753bobo11$1089bo2781bo$1089b2o
2779b2o$1088bobo2779bobo10$3879b2o$3879bobo$3879bo2$1058bo28bo2820bo$
1058b2o11b2o5b3o6b2o2805b2o11b2o$1057bobo10bobo7bo5bobo2798b2o5bobo10b
obo$1072bo6bo2807bobo4bo$3887bo2$1064b2o2835b2o$1065b2o8b2o2813b2o8b2o
$1051bo12bo11b2o2811b2o11bo12bo$1051b2o22bo2815bo22b2o$1050bobo16b3o
2842bobo$1071bo$1070bo8$1052bo$1052b2o$1051bobo3b3o$1059bo$1058bo3$
3909b2o$1049b3o2857bobo$1051bo2857bo$1050bo$3906b2o$3906bobo$1043b2o
2861bo$1042bobo2873b3o$1044bo2873bo$1053b2o2864bo$1054b2o$1053bo12$
1022b2o2902b2o$1021bobo2901b2o$1023bo2903bo$1004b2o$1003bobo$1005bo$
3932b2o$1007bo2923b2o$1007b2o2924bo$1006bobo6$1010b2o$1011b2o$1010bo
2933b2o$3944bobo$3944bo2$1010b3o$1012bo$1011bo$1000b2o$999bobo$1001bo
2$3958b2o$1000b2o2955b2o$1001b2o2956bo$1000bo2$1004b2o$1005b2o$987bo
16bo$987b2o$986bobo5$3962b2o$3961b2o$3963bo3$984b3o$986bo2990b3o$985bo
2991bo$3978bo4$3990b3o$3990bo$3991bo4$979b2o$978bobo$980bo$4006b2o$
4005b2o$3999bo7bo$3998b2o$3998bobo2b2o$4003bobo$4003bo$963b3o3042b2o$
965bo3042bobo$964bo3043bo2$966b3o$968bo$967bo2$4010b2o$4010bobo$950bo
3059bo$950b2o$949bobo3068b3o$4010bo9bo10b2o$4009b2o10bo9bobo$4009bobo
2b2o15bo$4014bobo7bo$4014bo8b2o$4023bobo$941bo$941b2o$940bobo11$937b2o
3107bo$936bobo3106b2o$938bo3106bobo$4064bo$4063b2o$4063bobo$931b2o$
930bobo$932bo3127b3o$4060bo$4061bo5$4057b2o$4057bobo$919bo3137bo$919b
2o$918bobo2$4057b2o$4056b2o$4058bo$4068bo$4067b2o$4067bobo2$905b2o$
904bobo3160b2o$906bo3160bobo$4067bo2$4063b2o$4063bobo$4063bo$4080b3o$
4080bo$4081bo4$901b2o$900bobo$902bo3$4080b2o$4079b2o$4081bo3bo$883b2o
3199b2o$884b2o3198bobo$883bo6$873b3o$875bo3214bo$874bo3214b2o$4089bobo
2$866b2o$867b2o3b2o8b3o$866bo4bobo10bo$873bo9bo2$866b3o$868bo$867bo$
858bo$858b2o3230b2o$857bobo3229b2o$4091bo13b2o$4104b2o$4106bo2$858b2o$
857bobo3259b2o$859bo3258b2o$4120bo5b2o$4126bobo$4126bo4$844b2o$843bobo
3274b3o$845bo3274bo$838b2o3281bo$837bobo$839bo16b2o$857b2o$856bo$4122b
2o$4121b2o$4123bo3$4123b3o$824b3o3296bo$826bo3297bo$825bo2$829b2o$830b
2o$829bo3313bo$4142b2o$4142bobo$820b2o$821b2o$820bo8bo$829b2o3323bo$
828bobo3322b2o$4153bobo3$4148b3o$4148bo$810b2o3337bo$809bobo$811bo$
4157b3o$4157bo$4158bo3$803bo$803b2o$802bobo2$4162bo$4161b2o$4161bobo7$
791b2o$790bobo$792bo$4181bo$4180b2o$4180bobo$773b2o$774b2o$773bo6b3o$
782bo$755b2o24bo$754bobo$756bo3$772b3o$774bo$773bo2$4200bo$762b2o3435b
2o$761bobo3435bobo$763bo3440b3o$4204bo$4198bo6bo$4197b2o$4197bobo3$
772b3o$774bo3429b3o$773bo3430bo$745b3o8b2o3447bo$747bo7bobo$746bo10bo
3453b2o$4211bobo$4211bo9$751b2o$750bobo$752bo10$4234bo$4233b2o$4233bob
o$4230bo$4229b2o$4229bobo4$4235b2o$4235bobo$713bo3521bo9b2o$713b2o
3530bobo$712bobo3530bo2$4237b2o$4236b2o$4238bo6$700bo$700b2o$699bobo8$
4267b2o$4266b2o$4268bo6$690b3o$692bo$691bo3594b2o$4286bobo$4279b2o5bo$
4278b2o$4280bo24bo$4304b2o$4304bobo3$4287b2o$4286b2o$4288bo3$671b3o
3624bo$673bo3623b2o$672bo3624bobo$665b2o$666b2o$665bo7b3o3622b2o$675bo
3622bobo$674bo3623bo2$4287b2o$666b2o3618b2o$665bobo3620bo$667bo3646b2o
$4303b3o8bobo$4303bo10bo$659b3o3642bo$627bo33bo$627b2o31bo$626bobo8$
4308b3o$4308bo$4309bo10$637b2o$638b2o$637bo$641b2o$642b2o$641bo4$635b
3o$637bo$625b3o8bo3710b2o$627bo3718b2o$626bo3721bo$634bo$634b2o$633bob
o7$4360b2o$4359b2o$4361bo9$605b3o$607bo$606bo4$579b2o3791b3o11b2o$578b
obo3791bo13bobo$580bo4b3o3785bo5b3o4bo$587bo7b2o3782bo$586bo7bobo3783b
o$558b2o36bo$559b2o3812bo$558bo27b2o3784b2o5b2o$567bo17bobo3784bobo4bo
bo$567b2o18bo5bo3785bo$566bobo13bo10b2o3789bo$582b2o8bobo3788b2o$581bo
bo3799bobo$551b2o$552b2o$551bo3$559b3o$561bo$560bo2$547b3o$549bo$548bo
3$4389bo$536bo3851b2o$536b2o3850bobo$535bobo4$528b2o3864bo$529b2o3862b
2o$528bo3864bobo6$512b2o$511bobo$513bo13$514b2o$513bobo$515bo17$500bo$
500b2o$499bobo$4438b2o$4437b2o$4439bo4$476bo$476b2o$475bobo3$481b2o$
482b2o$481bo$4456b2o$4455b2o$470b2o3985bo$471b2o$470bo5$4501b2o$4501bo
bo$4501bo3$4517b3o$4517bo$4518bo$459b2o$460b2o$459bo$450b2o$414bo36b2o
$414b2o27b2o5bo$413bobo26bobo$444bo4$447b2o$448b2o$447bo19$425b2o5bo$
400bo23bobo5b2o$400b2o24bo4bobo4071bo$399bobo4102b2o$4504bobo2$431bo$
431b2o$430bobo6$402b2o$403b2o$402bo2$394b3o$396bo$395bo4129b2o$4524b2o
$4526bo$410b2o$409bobo$411bo$4527bo$4526b2o$4526bobo9$4579b2o$4578b2o$
4580bo11$4594b2o$4594bobo$4594bo2$4585b3o$4585bo$4586bo2$4601b2o$4601b
obo$4601bo3$4593b2o$4592b2o$4594bo2$4605b2o$4604b2o$4606bo4$389b3o$
391bo4224b3o$390bo4225bo$4617bo3$4624b2o$384b3o4237bobo$386bo4237bo$
385bo5$4641bo$4640b2o$4640bobo13$4639bo$4638b2o$4638bobo18$4652b3o$
4652bo$340b2o4311bo$339bobo$341bo5$4676b3o$4676bo$4677bo2$4671b2o$
4671bobo$4671bo$322b2o$321bobo$323bo4358b2o$4682bobo$4682bo13$257b3o
4433b2o$259bo4433bobo$258bo4434bo$4702b2o$4702bobo$4702bo7bo$4709b2o$
4709bobo30bo$4741b2o$4741bobo2$4705b2o$4705bobo$4705bo13$4686b2o$4686b
obo3b2o$4686bo4b2o$4693bo6$4724bo5b2o$4723b2o5bobo23bo$250b3o18bo4451b
obo4bo24b2o$252bo18b2o4482bobo$251bo18bobo2$4725bo$4724b2o$4724bobo6$
4753b2o$4752b2o$4754bo2$4760b3o$4760bo$250b2o4509bo$251b2o$250bo$4745b
2o$4745bobo$4745bo$249bo$219bo29b2o$219b2o27bobo$218bobo$226b2o$225bob
o4503b2o$217bo9bo4503bobo$217b2o11b2o4499bo$216bobo12b2o$230bo$214bo$
214b2o$213bobo3$209b2o4528b3o$208bobo4528bo$210bo4519bo9bo$4729b2o$
4729bobo4$187b2o$188b2o$187bo2$190b2o$189bobo4555b2o$191bo4555bobo$
4742b2o3bo$4741b2o$4743bo3$194b3o$196bo$195bo$4753bo$4752b2o$4752bobo
3$201b2o$195b2o3bobo$196b2o4bo$195bo8$4792b3o$4792bo$4793bo2$4804bo$
4803b2o$4803bobo$4796b2o$177b2o4617bobo$176bobo4617bo9bo$178bo4613b2o
11b2o$4791b2o12bobo$4793bo$4809bo$4808b2o$4808bobo3$168b3o4642b2o$170b
o4642bobo$169bo9bo4633bo$179b2o$178bobo4$4835b2o$4834b2o$4836bo2$4832b
2o$161b2o4669bobo$160bobo4669bo$162bo3b2o$167b2o$166bo3$118b2o4707b3o
17b2o$119b2o4706bo18b2o$118bo4709bo19bo$156bo$113bo42b2o4695bo$113b2o
40bobo4694b2o$112bobo20b2o4715bobo$134bobo$136bo4685b2o$4822bobo$4822b
o2$140b2o$139bobo$141bo$4839b2o$4839bobo$134b2o4703bo$133bobo$135bo2$
4834b2o$4834bobo$4834bo3$4839b2o5b2o$120b2o4717bobo3b2o$121b2o4716bo7b
o$120bo4$114b2o$115b2o$114bo4737bo$4851b2o$4851bobo3$99bo$99b2o$98bobo
$103b2o$102bobo$104bo4751bo$4855b2o$4855bobo2$88b3o$90bo4769b2o$89bo
4769b2o$4861bo$96b2o4781b2o$95bobo4780b2o$97bo4782bo$4874b3o$4874bo$
97b2o4776bo$98b2o$97bo$4889b2o$93bo4795bobo$93b2o4794bo$92bobo$68b2o
4827b2o$69b2o4810b3o12b2o$68bo4812bo16bo$4882bo2$58b2o4804b3o$59b2o
4803bo$58bo4806bo$49b2o$50b2o44bo$49bo46b2o4813b3o$95bobo4813bo$40bo
4871bo13bo$40b2o4878b3o2b2o$39bobo4878bo4bobo$4921bo2$39b2o4885b2o$38b
obo4885bobo$40bo4885bo10$28bo4909bo$28b2o4907b2o$15b3o9bobo4907bobo9b
3o$17bo5b2o4917b2o5bo$16bo7b2o4915b2o7bo$23bo4919bo3$19b3o4923b3o$21bo
4923bo$20bo4925bo3$17b2o4929b2o$18b2o4927b2o$17bo4931bo$4925bo$4924b2o
$4924bobo$24bo4917bo$24b2o4904b2o9b2o$23bobo4904bobo8bobo$15b2o4913bo
5b3o11b2o$14bobo4919bo13bobo$16bo4920bo12bo4$17b2o$16bobo$18bo13$4945b
2o$4945bobo$4945bo44$b2o$obo$2bo!
Revised incremental synthesis:

Code: Select all

x = 20735, y = 135, rule = B3/S23
12250bo43bo3325bo43bo$12248bobo42bo3327bo42bobo$12249b2o42b3o3323b3o
42b2o$751bobo$752b2o11543b3o3315b3o$748bo3bo11537bobo4bo3319bo4bobo$
748b2o11541b2o5bo3317bo5b2o$747bobo4bo11536bo3331bo$754bobo9bobo$754b
2o10b2o11517bobo3339bobo$767bo11518b2o3339b2o$12282bo3bo3341bo3bo$755b
o11526b2o3347b2o$485bobo265bobo11525bobo4bo3337bo4bobo$485b2o267b2o
11532bobo3333bobo$486bo11801b2o3335b2o$12272bo3369bo$12273bo3367bo$
11397bo873b3o30bobo2410bo890bobo30b3o$11395bobo5bo900b2o2405bo5bobo
889b2o$771bo10624b2o5bobo899bo2403bobo5b2o890bo5083bo$770b2o10631b2o
735bo2569b2o762bo5216bobo$770bobo10625bo742bo2574bo756bo5218b2o12bo$
736bo41bo10619bobo738b3o2572bobo756b3o5231b2o$737bo39bo10620b2o3315b2o
5989b2o$735b3o39b3o9845bobo1514bo1844bobo1482bo5083bo137bo25bo$10626b
2o1513bo1845b2o1484bo5081bo139b2o21b2o$10626bo1514b3o131bo1712bo1482b
3o165bo4915b3o136b2o23b2o$9451bo1195bo304bo138bo1184b2o485bo1203bo294b
o160bo279bo933b2o1916bo153bo2843bo$9147bobo302b2o738bobo148bo296b2o3bo
bo304bobo137bo8bo1034bo138b2o188bobo293b2o757bobo148bo295bobo3b2o285bo
bo150bo8bo278b2o775bo159b2o1915bobo149bobo2844bo129bobo41bobo$9147b2o
302b2o739b2o149bobo293bobo4b2o304b2o136b3o9b2o889bo143b2o327b2o294b2o
757b2o146bobo295b2o4bobo285b2o148b2o9b3o277b2o617bo154b2o2073bo3b2o
151b2o3bo1786b2o11b2o135b2o11b2o887b3o130b2o16b2o23b2o$1193bobo23bobo
7926bo1044bo149b2o4bo291bo459b2o888b2o143b2o328bo1054bo143bo4b2o301bo
438b2o908b2o153b2o2073b2o157b2o1786bo2bo9bo2bo133bo2bo9bo2bo1019bo17b
2o24bo$1194b2o23b2o8077bo156bo892bo299bo296bo1046b2o622bo142bo906bo
299bo302bo430bo620b2o2228b2o159b2o1785bobo11bobo133bobo11bobo$1194bo
25bo8078bo149bo3b2o889bo3b3o295b2o295b2o158bo139bobo169b2o1198bo144b2o
3bo898b3o3bo296b2o301b2o139bo157bobo129bo2846bo167bo1783bo13bo135bo13b
o$903bo157bo138bobo9bobo7931bo150b3o148bobo3b2o735bo152b2o148bo152b2o
147bo144bo2b2o150b2o4bo136bo3b2o169b2o572bo479bo146b3o141b2o3bobo756bo
145b2o149bo145b2o150bo150b2o2bo138bo4b2o151b2o3bo123b3o624bo2219bobo
167bobo$157b2o148b2o148b2o444bobo153bobo133bo5b2o9b2o5bo7924bobo2bo
298bobo148bobo587bobo2bo148bobo147bo302bobo140bobo154bo5b3o135b2o2bo
171bo569bobo145bobo328bo2bobo293bobo146bobo604bo2bobo143bobo149bo294bo
bo154bobo134b3o5bo151bo2b2o751bobo149bobo2066b2o151bo15b2o132bo13bo
135bo13bo135bo13bo135bo13bo135bo13bo135bo13bo135bo13bo135bo13bo135bo
13bo135bo13bo135bo13bo135bo13bo135bo13bo135bo13bo135bo13bo135bo13bo
135bo13bo135bo13bo135bo13bo135bo13bo$o151b2o2bo2bo142b2o2bo2bo142b2o2b
o2bo443b2o155b2o134bo4bo11bo4bo7926b2o2bobo142b3o152bo149b2o589b2o2bob
o296b3o300b2o142b2o156bo140b2o746b2o146b2o156b2o168bobo2b2o148b3o144bo
148b2o602bobo2b2o294b3o295b2o154b2o141bo157b2o750b2o150b2o140b2o2077bo
bo147bobo11bobo133bobo11bobo133bobo11bobo133bobo11bobo133bobo11bobo
133bobo11bobo133bobo11bobo133bobo11bobo133bobo11bobo133bobo11bobo133bo
bo11bobo133bobo11bobo133bobo11bobo133bobo11bobo133bobo11bobo133bobo11b
obo133bobo11bobo133bobo11bobo133bobo11bobo133bobo11bobo$b2o8b2o139b2o
2bo2bo142b2o2bo2bo142b2o2bo2bo438bo167bo127b3o21b3o125bobo167bobo7630b
2o145bo144bo158bo593b2o893bo3b2o2b2o445bo149bo149bo149bo140bo8bo148bo
170b2o152bo154bo140bo604b2o895b2o2b2o3bo444bo149bo149bo149bo149bo8bo
141bo2077b2o148b2o13b2o133b2o13b2o133b2o13b2o133b2o13b2o133b2o13b2o
133b2o13b2o133b2o13b2o133b2o13b2o133b2o13b2o133b2o13b2o133b2o13b2o133b
2o13b2o133b2o13b2o133b2o13b2o133b2o13b2o133b2o13b2o133b2o13b2o133b2o
13b2o133b2o13b2o133b2o13b2o$2o3bo5bobo143b2o148b2o148b2o440b2o163b2o
280b2o169b2o7776bo143bobo156bo891bobo294bobo297bobo3bo2bo149bo148b2o
147b3o147b3o147b3o147b3o147b3o147b3o148b2o148b2o22bo125b2o26bobo119b2o
19bo128b2o148b2o148b2o148b2o148b2o148b2o25bobo120b2o148b2o28bobo117b2o
148b2o21bo2bo3bobo117b2o21bo126b2o21b2o125b2o21b3o124b2o21b3o124b2o21b
3o124b2o21b3o124b2o21b3o124b2o21b3o124b2o21b2o125b2o21b2o125b2o21b2o
125b2o21b2o125b2o21b2o125b2o21b2o125b2o21b2o125b2o21b2o125b2o21b2o125b
2o21b2o125b2o21b2o125b2o21b2o125b2o21b2o125b2o21b2o125b2o21b2o125b2o
21b2o125b2o21b2o125b2o21b2o125b2o21b2o125b2o21b2o125b2o21b2o125b2o21b
2o125b2o21b2o125b2o21b2o125b2o21b2o125b2o21b2o125b2o21b2o125b2o21b2o
125b2o21b2o125b2o21b2o125b2o21b2o125b2o21b2o125b2o21b2o125b2o21b2o$5b
2o4bo886b2o165b2o130bo19bo129bo169bo7782b2o138b2o8b2o147bo745b2o144b2o
295b2o298b2o5b2o148bobo147bobo149bo149bo138bobo8bo149bo149bo149bo146bo
2bo146bo2bo15b2o129bo2bo15b2o8b2o119bo2bo17bo128bo2bo146bo2bo146bo2bo
146bo2bo146bo2bo20b2o124bo2bo24b2o120bo2bo146bo2bo27b2o117bo2bo146bo2b
o20b2o5b2o117bo2bo19bobo124bo2bo19bobo124bo2bo19bo126bo2bo19bo126bo2bo
19bo8bobo115bo2bo19bo126bo2bo19bo126bo2bo19bo126bo2bo19bo2bo123bo2bo
19bo2bo123bo2bo19bo2bo123bo2bo19bo2bo123bo2bo19bo2bo123bo2bo19bo2bo
123bo2bo19bo2bo123bo2bo19bo2bo123bo2bo19bo2bo123bo2bo19bo2bo123bo2bo
19bo2bo123bo2bo19bo2bo123bo2bo19bo2bo123bo2bo19bo2bo123bo2bo19bo2bo
123bo2bo19bo2bo123bo2bo19bo2bo123bo2bo19bo2bo123bo2bo19bo2bo123bo2bo
19bo2bo123bo2bo19bo2bo123bo2bo19bo2bo123bo2bo19bo2bo123bo2bo19bo2bo
123bo2bo19bo2bo123bo2bo19bo2bo123bo2bo19bo2bo123bo2bo19bo2bo123bo2bo
19bo2bo123bo2bo19bo2bo123bo2bo19bo2bo123bo2bo19bo2bo123bo2bo19bo2bo
123bo2bo19bo2bo$4bobo888b2o156bo14b2o127b2o4bo7bo4b2o8081bobo147bobo
145b3o289bo454bobo144bo296bo457b2o148b2o141bobo4b2o148b2o139b2o7b2o
143bo4b2o148b2o120bo27b2o145bo2b2o145bo2b2o15bobo127bo2b2o15bobo127bo
2b2o17b3o125bo2b2o145bo2b2o27bo117bo2b2o145bo2b2o145bo2b2o20bobo122bo
2b2o25bo119bo2b2o145bo2b2o28bo116bo2b2o145bo2b2o145bo2b2o19b2o124bo2b
2o19b2o124bo2b2o19b2o4bobo117bo2b2o19b2o124bo2b2o19b2o7b2o115bo2b2o19b
2o4bo119bo2b2o19b2o124bo2b2o19b2o27bo96bo2b2o19b2o2bo121bo2b2o19b2o2bo
121bo2b2o19b2o2bo121bo2b2o19b2o2bo121bo2b2o19b2o2bo121bo2b2o19b2o2bo
121bo2b2o19b2o2bo121bo2b2o19b2o2bo121bo2b2o19b2o2bo121bo2b2o19b2o2bo
121bo2b2o19b2o2bo121bo2b2o19b2o2bo121bo2b2o19b2o2bo121bo2b2o19b2o2bo
121bo2b2o19b2o2bo121bo2b2o19b2o2bo121bo2b2o19b2o2bo121bo2b2o19b2o2bo
121bo2b2o19b2o2bo121bo2b2o19b2o2bo121bo2b2o19b2o2bo121bo2b2o19b2o2bo
121bo2b2o19b2o2bo121bo2b2o19b2o2bo121bo2b2o19b2o2bo121bo2b2o19b2o2bo
121bo2b2o19b2o2bo121bo2b2o19b2o2bo121bo2b2o19b2o2bo121bo2b2o19b2o2bo
121bo2b2o19b2o2bo121bo2b2o19b2o2bo121bo2b2o19b2o2bo121bo2b2o19b2o2bo$
174bo719bobo6b2o5b2o140bobo5b2o6bobo125bobo3bobo5bobo3bobo135bo5bo143b
o5bo143bo5bo143bo5bo143bo5bo143bo5bo143bo5bo143bo5bo143bo5bo143bo5bo
143bo5bo132bobo8bo5bo143bo5bo143bo5bo143bo5bo143bo5bo143bo5bo143bo5bo
143bo5bo143bo5bo143bo5bo143bo5bo143bo5bo143bo5bo143bo5bo8bobo132bo5bo
143bo5bo143bo5bo143bo5bo143bo5bo143bo5bo143bo5bo143bo5bo143bo5bo143bo
5bo143bo5bo143bo5bo143bo5bo143bo5bo143bo5bo129bo13bo5bo143bo5bo143bo5b
o143bo5bo143bo5bo143bo5bo14bo128bo5bo143bo5bo143bo5bo143bo5bo143bo5bo
143bo5bo143bo5bo139bo3bo5bo139bo3bo5bo142b2o5bo142b2o5bo126bobo3bobo7b
2o5bo126bo11bo3b2o5bo138bo3b2o5bo134bo3bo3b2o5bo137b2o3b2o5bo137b2o3b
2o5bo137b2o3b2o5bo137b2o3b2o5bo137b2o3b2o5bo137b2o3b2o5bo137b2o3b2o5bo
129b2o6b2o3b2o5bo130b2o5b2o3b2o5bo121b3o2bo3b2o5b2o3b2o5bo129bobo5b2o
3b2o5bo134bo2b2o3b2o5bo107b2o25bo2b2o3b2o5bo133b2o2b2o3b2o5bo133b2o2b
2o3b2o5bo3bo129b2o2b2o3b2o5bo3bo129b2o2b2o3b2o5b2o132b2o2b2o3b2o5b2o
132b2o2b2o3b2o5b2o7bobo3bobo116b2o2b2o3b2o5b2o3bo11bo116b2o2b2o3b2o5b
2o3bo128b2o2b2o3b2o5b2o3bo3bo124b2o2b2o3b2o5b2o3b2o127b2o2b2o3b2o5b2o
3b2o127b2o2b2o3b2o5b2o3b2o127b2o2b2o3b2o5b2o3b2o127b2o2b2o3b2o5b2o3b2o
127b2o2b2o3b2o5b2o3b2o127b2o2b2o3b2o5b2o3b2o127b2o2b2o3b2o5b2o3b2o6b2o
119b2o2b2o3b2o5b2o3b2o5b2o120b2o2b2o3b2o5b2o3b2o5b2o3bo2b3o111b2o2b2o
3b2o5b2o3b2o5bobo119b2o2b2o3b2o5b2o3b2o2bo124b2o2b2o3b2o5b2o3b2o2bo25b
2o97b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b
2o3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b
2o3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o
123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o
3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o
3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o
123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o
3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o
3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o
123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o
3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o
3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o
123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o$173bo296bo425bo6b
obo3bobo141bobo3bobo6bo134bobo3bobo141bobo3bobo141bobo3bobo141bobo3bob
o141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3b
obo141bobo3bobo141bobo3bobo132b2o7bobo3bobo141bobo3bobo141bobo3bobo
141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bo
bo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo7b2o132b
obo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo
141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bo
bo141bobo3bobo141bobo3bobo141bobo3bobo126bobo12bobo3bobo141bobo3bobo
141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo11b2o128bobo3bobo141bo
bo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo
141bobo3bobo134bo6bobo3bobo140bo2bo3bobo137b2obo2bo3bobo126b2o4b2o3b2o
bo2bo3bobo123bobo10bobobo2bo3bobo136bobobo2bo3bobo136bobobo2bo3bobo
135bo2bobo2bo3bobo135bo2bobo2bo3bobo116bobo14bobo2bobo2bo3bobo133bobo
2bobo2bo3bobo133bobo2bobo2bo3bobo133bobo2bobo2bo3bobo133bobo2bobo2bo3b
obo124bo3bo4bobo2bobo2bo3bobo125bo3b2o2bobo2bobo2bo3bobo122bo6b2o2bobo
2bobo2bo3bobo129b2o2bobo2bobo2bo3bobo133bobo2bobo2bo3bobo105bobo25bobo
2bobo2bo3bobo135bo2bobo2bo3bobo135bo2bobo2bo3bobo135bo2bobo2bo3bobo6bo
128bo2bobo2bo3bo2bo134bo2bobo2bo3bo2bob2o131bo2bobo2bo3bo2bob2o3b2o4b
2o120bo2bobo2bo3bo2bobobo10bobo117bo2bobo2bo3bo2bobobo130bo2bobo2bo3bo
2bobobo130bo2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo2bobo2bo129bo2bobo2bo3b
o2bobo2bobo14bobo110bo2bobo2bo3bo2bobo2bobo127bo2bobo2bo3bo2bobo2bobo
127bo2bobo2bo3bo2bobo2bobo127bo2bobo2bo3bo2bobo2bobo127bo2bobo2bo3bo2b
obo2bobo4bo3bo118bo2bobo2bo3bo2bobo2bobo2b2o3bo119bo2bobo2bo3bo2bobo2b
obo2b2o6bo116bo2bobo2bo3bo2bobo2bobo2b2o123bo2bobo2bo3bo2bobo2bobo127b
o2bobo2bo3bo2bobo2bobo25bobo99bo2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo2bo
bo2bo129bo2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo
2bobo2bo129bo2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo2bobo2bo129bo2bobo2bo
3bo2bobo2bo129bo2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo2bobo2bo129bo2bobo
2bo3bo2bobo2bo129bo2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo2bobo2bo129bo2bo
bo2bo3bo2bobo2bo129bo2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo2bobo2bo129bo
2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo2bobo2bo
129bo2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo2bobo
2bo129bo2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo2bo
bo2bo129bo2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo
2bobo2bo129bo2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo2bobo2bo129bo2bobo2bo
3bo2bobo2bo129bo2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo2bobo2bo129bo2bobo
2bo3bo2bobo2bo$173b3o293bo134b2o3b2o143b2o3b2o144bo3bo145bo3bo145bo3bo
143bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bo
bo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo132bo8bo
bo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo
141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bo
bo141bobo3bobo141bobo3bobo8bo132bobo3bobo141bobo3bobo141bobo3bobo141bo
bo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo
141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bo
bo127b2o12bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo
141bobo3bobo12b2o127bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bo
bo3bobo141bobo3bobo141bobo3bobo141bobo3bobo126bobo3bobo6bobo3bobo137bo
2b2obo3bobo138bob2obo3bobo132bo3bobob2obo3bobo124b2o10bobob2obo3bobo
136bobob2obo3bobo136bobob2obo3bobo136bobob2obo3bobo134bobobob2obo3bobo
117b2o2b2o10b2obobob2obo3bobo125b3o5b2obobob2obo3bobo133b2obobob2obo3b
obo133b2obobob2obo3bobo133b2obobob2obo3bobo125bo7b2obobob2obo3bobo123b
obo7b2obobob2obo3bobo121bo3b2o6b2obobob2obo3bobo133b2obobob2obo3bobo
134bobobob2obo3bobo134bobobob2obo3bobo132b3obobob2obo3bobo132b3obobob
2obo3bobo132b3obobob2obo3bobo6bobo3bobo117b3obobob2obo3bob2o2bo128b3ob
obob2obo3bob2obo129b3obobob2obo3bob2obobo3bo123b3obobob2obo3bob2obobo
10b2o115b3obobob2obo3bob2obobo127b3obobob2obo3bob2obobo127b3obobob2obo
3bob2obobo127b3obobob2obo3bob2obobobo125b3obobob2obo3bob2obobob2o10b2o
2b2o108b3obobob2obo3bob2obobob2o5b3o116b3obobob2obo3bob2obobob2o124b3o
bobob2obo3bob2obobob2o124b3obobob2obo3bob2obobob2o124b3obobob2obo3bob
2obobob2o7bo116b3obobob2obo3bob2obobob2o7bobo114b3obobob2obo3bob2obobo
b2o6b2o3bo112b3obobob2obo3bob2obobob2o124b3obobob2obo3bob2obobobo125b
3obobob2obo3bob2obobobo125b3obobob2obo3bob2obobob3o123b3obobob2obo3bob
2obobob3o123b3obobob2obo3bob2obobob3o123b3obobob2obo3bob2obobob3o123b
3obobob2obo3bob2obobob3o116bobo4b3obobob2obo3bob2obobob3o123b3obobob2o
bo3bob2obobob3o123b3obobob2obo3bob2obobob3o123b3obobob2obo3bob2obobob
3o123b3obobob2obo3bob2obobob3o123b3obobob2obo3bob2obobob3o123b3obobob
2obo3bob2obobob3o4bobo116b3obobob2obo3bob2obobob3o123b3obobob2obo3bob
2obobob3o123b3obobob2obo3bob2obobob3o123b3obobob2obo3bob2obobob3o123b
3obobob2obo3bob2obobob3o123b3obobob2obo3bob2obobob3o123b3obobob2obo3bo
b2obobob3o123b3obobob2obo3bob2obobob3o123b3obobob2obo3bob2obobob3o123b
3obobob2obo3bob2obobob3o123b3obobob2obo3bob2obobob3o123b3obobob2obo3bo
b2obobob3o123b3obobob2obo3bob2obobob3o123b3obobob2obo3bob2obobob3o123b
3obobob2obo3bob2obobob3o123b3obobob2obo3bob2obobob3o123b3obobob2obo3bo
b2obobob3o123b3obobob2obo3bob2obobob3o117bo5b3obobob2obo3bob2obobob3o
5bo117b3obobob2obo3bob2obobob3o123b3obobob2obo3bob2obobob3o123b3obobob
2obo3bob2obobob3o$312b2o130bo17b2o5b3o132bobobobo143bobobobo144b2ob2o
145b2ob2o145b2ob2o128bo3bo9b2ob2ob2ob2o138b2o2b2ob2ob2o9bo3bo124b2o2b
2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2o
b2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob
2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o
2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b
2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o
137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o
137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o
137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o
137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o128bo8b2o2b2ob2o2b
2o8bo128b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o
2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b
2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o
137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o120b3o2b2o4b2o4b2o
2b2ob2o2b2o134bobobo2b2ob2o2b2o129bo4bobobo2b2ob2o2b2o126bo7bobobo2b2o
b2o2b2o131b2obobobo2b2ob2o2b2o129b2obobobobo2b2ob2o2b2o129b2obobobobo
2b2ob2o2b2o129b2obobobobo2b2ob2o2b2o132bobobobo2b2ob2o2b2o115bo2bobo
13bobobo2b2ob2o2b2o125bo3b2o3bobobo2b2ob2o2b2o129b2o3bobobo2b2ob2o2b2o
129b2o3bobobo2b2ob2o2b2o129b2o3bobobo2b2ob2o2b2o121b3o5b2o3bobobo2b2ob
2o2b2o122b2o3b4o3bobobo2b2ob2o2b2o123b2o2b4o3bobobo2b2ob2o2b2o127b4o3b
obobo2b2ob2o2b2o134bobobo2b2ob2o2b2o134bobobo2b2ob2o2b2o130bo3bobobo2b
2ob2o2b2o130bo3bobobo2b2ob2o2b2o130bo3bobobo2b2ob2o2b2o4b2o4b2o2b3o
113bo3bobobo2b2ob2o2bobobo127bo3bobobo2b2ob2o2bobobo4bo122bo3bobobo2b
2ob2o2bobobo7bo119bo3bobobo2b2ob2o2bobobob2o124bo3bobobo2b2ob2o2bobobo
bob2o122bo3bobobo2b2ob2o2bobobobob2o122bo3bobobo2b2ob2o2bobobobob2o
122bo3bobobo2b2ob2o2bobobobo125bo3bobobo2b2ob2o2bobobo13bobo2bo108bo3b
obobo2b2ob2o2bobobo3b2o3bo118bo3bobobo2b2ob2o2bobobo3b2o122bo3bobobo2b
2ob2o2bobobo3b2o122bo3bobobo2b2ob2o2bobobo3b2o122bo3bobobo2b2ob2o2bobo
bo3b2o5b3o114bo3bobobo2b2ob2o2bobobo3b4o3b2o115bo3bobobo2b2ob2o2bobobo
3b4o2b2o116bo3bobobo2b2ob2o2bobobo3b4o120bo3bobobo2b2ob2o2bobobo127bo
3bobobo2b2ob2o2bobobo127bo3bobobo2b2ob2o2bobobo3bo123bo3bobobo2b2ob2o
2bobobo3bo123bo3bobobo2b2ob2o2bobobo3bo123bo3bobobo2b2ob2o2bobobo3bo
123bo3bobobo2b2ob2o2bobobo3bo117b2o4bo3bobobo2b2ob2o2bobobo3bo123bo3bo
bobo2b2ob2o2bobobo3bo123bo3bobobo2b2ob2o2bobobo3bo123bo3bobobo2b2ob2o
2bobobo3bo123bo3bobobo2b2ob2o2bobobo3bo123bo3bobobo2b2ob2o2bobobo3bo
123bo3bobobo2b2ob2o2bobobo3bo4b2o117bo3bobobo2b2ob2o2bobobo3bo123bo3bo
bobo2b2ob2o2bobobo3bo123bo3bobobo2b2ob2o2bobobo3bo123bo3bobobo2b2ob2o
2bobobo3bo123bo3bobobo2b2ob2o2bobobo3bo123bo3bobobo2b2ob2o2bobobo3bo
123bo3bobobo2b2ob2o2bobobo3bo123bo3bobobo2b2ob2o2bobobo3bo123bo3bobobo
2b2ob2o2bobobo3bo123bo3bobobo2b2ob2o2bobobo3bo123bo3bobobo2b2ob2o2bobo
bo3bo123bo3bobobo2b2ob2o2bobobo3bo123bo3bobobo2b2ob2o2bobobo3bo123bo3b
obobo2b2ob2o2bobobo3bo123bo3bobobo2b2ob2o2bobobo3bo123bo3bobobo2b2ob2o
2bobobo3bo123bo3bobobo2b2ob2o2bobobo3bo123bo3bobobo2b2ob2o2bobobo3bo
115bobo5bo3bobobo2b2ob2o2bobobo3bo5bobo115bo3bobobo2b2ob2o2bobobo3bo
123bo3bobobo2b2ob2o2bobobo3bo123bo3bobobo2b2ob2o2bobobo3bo$312b2o130bo
17b2o142bobo147bobo580b2obobo9bo5bo141bobo5bo9bobob2o126bobo5bobo139bo
bo5bobo139bobo5bobo139bobo5bobo139bobo5bobo139bobo5bobo139bobo5bobo
139bobo5bobo139bobo5bobo129b2o8bobo5bobo139bobo5bobo139bobo5bobo139bob
o5bobo139bobo5bobo139bobo5bobo139bobo5bobo139bobo5bobo139bobo5bobo139b
obo5bobo139bobo5bobo139bobo5bobo139bobo5bobo139bobo5bobo8b2o129bobo5bo
bo139bobo5bobo139bobo5bobo139bobo5bobo139bobo5bobo139bobo5bobo139bobo
5bobo139bobo5bobo139bobo5bobo139bobo5bobo139bobo5bobo139bobo5bobo139bo
bo5bobo130b2o7bobo5bobo7b2o130bobo5bobo139bobo5bobo139bobo5bobo139bobo
5bobo131bo7bobo5bobo139bobo5bobo139bobo5bobo139bobo5bobo139bobo5bobo
139bobo5bobo139bobo5bobo7bo131bobo5bobo139bobo5bobo139bobo5bobo139bobo
5bobo123bo2bo12bobo5bobo135b2o2bobo5bobo128bobo4b2o2bobo5bobo127b2o7bo
2bobo5bobo125b3o4b2ob2o2bobo5bobo130bob2ob2o2bobo5bobo130bob2ob2o2bobo
5bobo130bob2ob2o2bobo5bobo132b2ob2o2bobo5bobo121bo13b2o2bobo5bobo125bo
3bobo3b2o2bobo5bobo129bobo3b2o2bobo5bobo129bobo3b2o2bobo5bobo129bobo3b
2o2bobo5bobo129bobo3b2o2bobo5bobo120b2o6bo2bo3b2o2bobo5bobo128bo2bo3b
2o2bobo5bobo128bo2bo3b2o2bobo5bobo135b2o2bobo5bobo135b2o2bobo5bobo135b
2o2bobo5bobo135b2o2bobo5bobo135b2o2bobo5bobo12bo2bo119b2o2bobo5bobo2b
2o131b2o2bobo5bobo2b2o4bobo124b2o2bobo5bobo2bo7b2o123b2o2bobo5bobo2b2o
b2o4b3o121b2o2bobo5bobo2b2ob2obo126b2o2bobo5bobo2b2ob2obo126b2o2bobo5b
obo2b2ob2obo126b2o2bobo5bobo2b2ob2o128b2o2bobo5bobo2b2o13bo117b2o2bobo
5bobo2b2o3bobo3bo121b2o2bobo5bobo2b2o3bobo125b2o2bobo5bobo2b2o3bobo
125b2o2bobo5bobo2b2o3bobo125b2o2bobo5bobo2b2o3bobo125b2o2bobo5bobo2b2o
3bo2bo6b2o116b2o2bobo5bobo2b2o3bo2bo124b2o2bobo5bobo2b2o3bo2bo124b2o2b
obo5bobo2b2o131b2o2bobo5bobo2b2o131b2o2bobo5bobo2b2o131b2o2bobo5bobo2b
2o131b2o2bobo5bobo2b2o131b2o2bobo5bobo2b2o131b2o2bobo5bobo2b2o121bo9b
2o2bobo5bobo2b2o131b2o2bobo5bobo2b2o131b2o2bobo5bobo2b2o131b2o2bobo5bo
bo2b2o131b2o2bobo5bobo2b2o131b2o2bobo5bobo2b2o131b2o2bobo5bobo2b2o9bo
121b2o2bobo5bobo2b2o131b2o2bobo5bobo2b2o131b2o2bobo5bobo2b2o131b2o2bob
o5bobo2b2o131b2o2bobo5bobo2b2o131b2o2bobo5bobo2b2o131b2o2bobo5bobo2b2o
131b2o2bobo5bobo2b2o131b2o2bobo5bobo2b2o131b2o2bobo5bobo2b2o131b2o2bob
o5bobo2b2o131b2o2bobo5bobo2b2o131b2o2bobo5bobo2b2o131b2o2bobo5bobo2b2o
121bo9b2o2bobo5bobo2b2o9bo121b2o2bobo5bobo2b2o131b2o2bobo5bobo2b2o117b
o13b2o2bobo5bobo2b2o13bo106b2o9b2o2bobo5bobo2b2o9b2o120b2o2bobo5bobo2b
2o131b2o2bobo5bobo2b2o114b2o15b2o2bobo5bobo2b2o15b2o$444bo160b2ob2o
145b2ob2o145b5o145b5o138b3o4b5o4b3o121b2o2b2o10bob3obo141bobob3obo10b
2o2b2o125bobob3obobo139bobob3obobo139bobob3obobo132bobo4bobob3obobo4bo
bo132bob7obo139bob7obo139bob7obo139bob7obo139bob7obo128bobo8bob7obo
139bob7obo139bob7obo139bob7obo139bob7obo139bob7obo139bob7obo139bob7obo
139bob7obo139bob7obo139bob7obo139bob7obo139bob7obo139bob7obo8bobo128bo
b7obo139bob7obo139bob7obo139bob7obo139bob7obo139bob7obo139bob7obo139bo
b7obo139bob7obo139bob7obo139bob7obo139bob7obo139bob7obo129b2o8bob7obo
8b2o129bob7obo139bob7obo139bob7obo139bob7obo132bo6bob7obo139bob7obo
139bob7obo139bob7obo139bob7obo139bob7obo139bob7obo6bo132bob7obo127bo
11bob7obo11bo127bob7obo139bob7obo122bo16bob7obo139bob7obo129b2o8bob7ob
o126bobo10bob7obo120b3o2bo13bob7obo139bob7obo139bob7obo139bob7obo139bo
b7obo139bob7obo130bo8bob7obo130bo8bob7obo130bo8bob7obo130bo8bob7obo
125b3o2bo8bob7obo119bobo17bob7obo124bo14bob7obo139bob7obo123b2o14bob7o
bo139bob7obo139bob7obo139bob7obo139bob7obo16bo122bob7obo139bob7obo8b2o
129bob7obo10bobo126bob7obo13bo2b3o120bob7obo139bob7obo139bob7obo139bob
7obo139bob7obo139bob7obo8bo130bob7obo8bo130bob7obo8bo130bob7obo8bo130b
ob7obo8bo2b3o125bob7obo17bobo119bob7obo14bo124bob7obo139bob7obo14b2o
123bob7obo139bob7obo139bob7obo139bob7obo139bob7obo139bob7obo139bob7obo
139bob7obo139bob7obo139bob7obo139bob7obo139bob7obo139bob7obo139bob7obo
139bob7obo139bob7obo139bob7obo139bob7obo139bob7obo139bob7obo139bob7obo
139bob7obo139bob7obo139bob7obo139bob7obo139bob7obo139bob7obo123bobo13b
ob7obo13bobo109b2o12bob7obo12b2o115bo9bob7obo9bo112bo16bob7obo16bo122b
ob7obo139bob7obo139bob7obo119b2o18bob7obo18b2o$298bo300bo4bo2bo2bo143b
o2bo2bo143bo2bo2bo143bo2bo2bo139bo3bo2bo2bo3bo140bobobo143bobobobo143b
obobobobo133bo7bobobobobo7bo133bobobobobo129b3o2b2o5bobobobobo5b2o2b3o
129bo7bo141bo7bo141bo7bo141bo7bo141bo7bo131bo9bo7bo141bo7bo141bo7bo
141bo7bo141bo7bo141bo7bo141bo7bo141bo7bo141bo7bo141bo7bo141bo7bo141bo
7bo141bo7bo141bo7bo9bo131bo7bo141bo7bo141bo7bo141bo7bo141bo7bo141bo7bo
141bo7bo141bo7bo141bo7bo141bo7bo141bo7bo141bo7bo141bo7bo141bo7bo141bo
3bo3bo122bobo16bo3bo3bo141bo3bo3bo141bo3bo3bo131b3o7bo3bo3bo141bo3bo3b
o141bo3bo3bo16bo124bo3bo3bo141bo3bo3bo141bo3bo3bo141bo3bo3bo7b3o131bo
3bo3bo126bobo12bo3bo3bo12bobo126bo7bo141bo7bo131b2o8bo7bo141bo7bo141bo
7bo141bo7bo123bo3bo13bo7bo141bo7bo141bo7bo141bo7bo141bo7bo141bo7bo141b
o7bo141bo7bo141bo7bo141bo7bo128bo12bo7bo122bo18bo7bo125b2o14bo7bo141bo
7bo125b2o14bo7bo141bo7bo141bo7bo141bo7bo141bo7bo8b2o131bo7bo141bo7bo
141bo7bo141bo7bo13bo3bo123bo7bo141bo7bo141bo7bo141bo7bo141bo7bo141bo7b
o141bo7bo141bo7bo141bo7bo141bo7bo12bo128bo7bo18bo122bo7bo14b2o125bo7bo
141bo7bo14b2o125bo7bo141bo7bo136b2o3bo7bo136b2o3bo7bo134b4o3bo7bo134b
4o3bo7bo124b2o8b4o3bo7bo134b4o3bo7bo134b4o3bo7bo3b2o129b4o3bo7bo3b2o
129b4o3bo7bo3b4o127b4o3bo7bo3b4o127b4o3bo7bo3b4o8b2o117b4o3bo7bo3b4o
127b4o3bo7bo3b4o127b4o3bo7bo3b4o127b4o3bo7bo3b4o127b4o3bo7bo3b4o127b4o
3bo7bo3b4o127b4o3bo7bo3b4o127b4o3bo7bo3b4o127b4o3bo7bo3b4o127b4o3bo7bo
3b4o127b4o3bo7bo3b4o127b4o3bo7bo3b4o127b4o3bo7bo3b4o127b4o3bo7bo3b4o
118b2o7b4o3bo7bo3b4o7b2o110b2o6b4o3bo7bo3b4o6b2o113bobo3b4o3bo7bo3b4o
3bobo108b3o6b2o2b4o3bo7bo3b4o2b2o6b3o106bo3b2o2b4o3bo7bo3b4o2b2o3bo
112b2ob2o2b4o3bo7bo3b4o2b2ob2o113b2ob2o2b4o3bo7bo3b4o2b2ob2o105bo7b2ob
2o2b4o3bo7bo3b4o2b2ob2o7bo$299bo146b3o149bobo3b2o3b2o143b2o3b2o143b2o
3b2o143b2o3b2o138bo4b2o3b2o4bo288bo149bo5bo132bobo8bo5bo8bobo132bo5bo
132bo2bo7bo5bo7bo2bo132b3ob3o143b3ob3o143b3ob3o143b3ob3o143b3ob3o143b
3ob3o143b3ob3o143b3ob3o143b3ob3o143b3ob3o143b3ob3o143b3ob3o143b3ob3o
143b3ob3o143b3ob3o143b3ob3o143b3ob3o143b3ob3o143b3ob3o143b3ob3o143b3ob
3o143b3ob3o143b3ob3o143b3ob3o143b3ob3o143b3ob3o143b3ob3o143b3ob3o143b
3ob3o143b3ob3o143b3ob3o143b3ob3o143b3ob3o143bo5bo124b2o17bo5bo143bo5bo
143bo5bo143bo5bo143bo5bo143bo5bo17bobo123bo5bo143bo5bo143bo5bo143bo5bo
143bo5bo128b2o13bo5bo13b2o128bobobobo143bobobobo131bobo9bobobobo143bob
obobo133b3o7bobobobo143bobobobo123bo19bobobobo143bobobobo143bobobobo
127b2o14bobobobo143bobobobo127b3o13bobobobo143bobobobo143bobobobo143bo
bobobo143bobobobo128bo14bobobobo143bobobobo125bobo15bobobobo143bobobob
o125bo17bobobobo143bobobobo143bobobobo143bobobobo143bobobobo9bobo131bo
bobobo143bobobobo7b3o133bobobobo143bobobobo19bo123bobobobo143bobobobo
143bobobobo14b2o127bobobobo143bobobobo13b3o127bobobobo143bobobobo143bo
bobobo143bobobobo143bobobobo14bo128bobobobo143bobobobo15bobo125bobobob
o143bobobobo17bo125bobobobo143bobobobo137b2o4bobobobo136bo2bo3bobobobo
135bo3bo3bobobobo135bo3bo3bobobobo124bobo8bo3bo3bobobobo135bo3bo3bobob
obo135bo3bo3bobobobo4b2o129bo3bo3bobobobo3bo2bo128bo3bo3bobobobo3bo3bo
127bo3bo3bobobobo3bo3bo127bo3bo3bobobobo3bo3bo8bobo116bo3bo3bobobobo3b
o3bo127bo3bo3bobobobo3bo3bo127bo3bo3bobobobo3bo3bo127bo3bo3bobobobo3bo
3bo127bo3bo3bobobobo3bo3bo127bo3bo3bobobobo3bo3bo127bo3bo3bobobobo3bo
3bo127bo3bo3bobobobo3bo3bo127bo3bo3bobobobo3bo3bo127bo3bo3bobobobo3bo
3bo127bo3bo3bobobobo3bo3bo127bo3bo3bobobobo3bo3bo127bo3bo3bobobobo3bo
3bo127bo3bo3bobobobo3bo3bo115b2o10bo3bo3bobobobo3bo3bo10b2o115bo3bo3bo
bobobo3bo3bo122b2o3bo3bo3bobobobo3bo3bo3b2o118b2o2bo3bo3bobobobo3bo3bo
2b2o114bobo2b2o2bo3bo3bobobobo3bo3bo2b2o2bobo110bobob2o2bo3bo3bobobobo
3bo3bo2b2obobo111bobob2o2bo3bo3bobobobo3bo3bo2b2obobo111bobob2o2bo3bo
3bobobobo3bo3bo2b2obobo$297b3o298bobo745bobo167bobo275b2o23b2o271bo29b
o133bobo147bobo147bobo147bobo138bo8bobo136bo10bobo142bo4bobo142bo4bobo
142bo4bobo142bo4bobo142bo4bobo142bo4bobo142bo4bobo142bo4bobo142bo4bobo
142bo4bobo142bo4bobo142bo4bobo8bo133bo4bobo10bo131bo4bobo4bo137bo4bobo
4bo137bo4bobo4bo137bo4bobo4bo137bo4bobo4bo137bo4bobo4bo137bo4bobo4bo
137bo4bobo4bo137bo4bobo4bo137bo4bobo4bo137bo4bobo4bo137bo4bobo4bo137bo
4bobo4bo137bo4bobo4bo133bobo3b2o5b2o123bo19bo4b2o139b3obo4b2o139b3obo
4b2o139b3obo4b2o139b3o6b2o3bobo133b3o5bo18b2o121b3o5bob3o137b3o5bob3o
137b3o5bob3o137b3o5bob3o137b3o7b3o137b3o7b3o141b2ob2o145b2ob2o134bo10b
2ob2o145b2ob2o136bo8b2ob2o145b2ob2o145b2ob2o145b2ob2o145b2ob2o127bobo
15b2ob2o145b2ob2o130bo14b2ob2o145b2ob2o145b2ob2o145b2ob2o145b2ob2o145b
2ob2o145b2ob2o145b2ob2o130b2o13b2ob2o145b2ob2o145b2ob2o145b2ob2o145b2o
b2o145b2ob2o10bo134b2ob2o145b2ob2o8bo136b2ob2o145b2ob2o145b2ob2o145b2o
b2o145b2ob2o15bobo127b2ob2o145b2ob2o14bo130b2ob2o145b2ob2o145b2ob2o
145b2ob2o145b2ob2o145b2ob2o145b2ob2o145b2ob2o13b2o130b2ob2o145b2ob2o
135b2o8b2ob2o145b2ob2o126bobo9b2o5b2ob2o139bo5b2ob2o139bo5b2ob2o127bo
11bo5b2ob2o139bo5b2ob2o8b2o129bo5b2ob2o139bo5b2ob2o5b2o9bobo120bo5b2ob
2o5bo133bo5b2ob2o5bo133bo5b2ob2o5bo11bo121bo5b2ob2o5bo133bo5b2ob2o5bo
133bo5b2ob2o5bo133bo5b2ob2o5bo133bo5b2ob2o5bo133bo5b2ob2o5bo133bo5b2ob
2o5bo133bo5b2ob2o5bo133bo5b2ob2o5bo133bo5b2ob2o5bo133bo5b2ob2o5bo133bo
5b2ob2o5bo133bo5b2ob2o5bo133bo5b2ob2o5bo117bobo13bo5b2ob2o5bo13bobo
105bo11bo5b2ob2o5bo11bo110b2o9bo5b2ob2o5bo9b2o109b3o10bo5b2ob2o5bo10b
3o108bobo9bo5b2ob2o5bo9bobo111bo9bo5b2ob2o5bo9bo113bo9bo5b2ob2o5bo9bo
113bo9bo5b2ob2o5bo9bo$599bo747b2o167b2o281bo15bo138bo5bo143bo5bo443b2o
148b2o139bobo6b2o139b2o5b4o145b5o145b5o145b5o145b5o145b5o145b5o145b5o
145b5o3b2o140b5o3b2o140b5o3b2o140b5o3b2o140b5o3b2o6bobo131b5o3b4o5b2o
131b5o3b5o137b5o3b5o137b5o3b5o137b5o3b5o137b5o3b5o137b5o3b5o137b5o3b5o
137b5o3b5o137b5o3b5o137b5o3b5o137b5o3b5o137b5o3b5o137b5o3b5o137b5o3b5o
134b2o152b3o145bo2bobo144bo2bobo144bo2bobo144bo14b2o133bo9b3o137bo8bob
o2bo135bo8bobo2bo135bo8bobo2bo135bo8bobo2bo135bo6bo6bo135bo6bo6bo730bo
743bo299bo1201b2o1076bo755bo299bo1196b2o418bo2bobo3b2o145b2o137b2o160b
2o147bo149bo149bo13b2o3bobo2bo125bo16b2o131bo27b2o120bo15b2o132bo17bo
131bo17bo131bo17bo131bo3bo13bo131bo3bo9bo3bo131bo3bo9bo3bo131bo3bo9bo
3bo131bo3bo9bo3bo131bo3bo9bo3bo131bo3bo9bo3bo131bo3bo9bo3bo131bo3bo9bo
3bo121bo9bo3bo9bo3bo9bo121bo3bo9bo3bo131bo3bo9bo3bo131bo3bo9bo3bo118bo
12bo3bo9bo3bo12bo107b2o9bo3bo9bo3bo9b2o109bobo8bo3bo9bo3bo8bobo110bo9b
o3bo9bo3bo9bo111bo9bo3bo9bo3bo9bo121bo3bo9bo3bo131bo3bo9bo3bo131bo3bo
9bo3bo$470bo728b2o13b2o131bo169bo282bo13bo138bobo3bobo141bobo3bobo442b
o149bo141b2o5bo140bobo5bo1207bo149bo149bo149bo150bo5b2o143bo5bobo1351b
obo873bo138b2o13bo147b2o2bo146bo2bo146bo2bo144bobo14bo132bobo10bo12b3o
121bobo8bo2b2o134bobo8bo2b2o134bobo8bo2bo135bobo8bo2bo135bobo5bo5bobo
133bobo5bo5bobo1780b3o1191bo3b2o2120b3o1200b2o3bo415bobo2bo4b2o141bo4b
2o137bo310b2o139bo7bo147bobo15b2o4bo2bobo120bobo17b2o4bo123bobo29bo
117bobo147bobo17b2o128bobo19bo7bo119bobo19bobo125bobo3bobo13bobo125bob
o3bobo7bobo3bobo125bobo3bobo7bobo3bobo125bobo3bobo7bobo3bobo125bobo3bo
bo7bobo3bobo125bobo3bobo7bobo3bobo125bobo3bobo7bobo3bobo125bobo3bobo7b
obo3bobo125bobo3bobo7bobo3bobo119bo5bobo3bobo7bobo3bobo5bo119bobo3bobo
7bobo3bobo125bobo3bobo7bobo3bobo125bobo3bobo7bobo3bobo125bobo3bobo7bob
o3bobo116bobo6bobo3bobo7bobo3bobo6bobo110bo7bo3bobo7bobo3bo7bo111bo9bo
3bobo7bobo3bo9bo107b2o10bo3bobo7bobo3bo10b2o117bo3bobo7bobo3bo129bo3bo
bo7bobo3bo129bo3bobo7bobo3bo$296bo172b2o727bobo13bobo581b3o4b2ob2o4b3o
137bobobobo137b2o4bobobobo4b2o135bobo140bo7b3o149bo149bo147b3o147b3o
147b3o147b3o145b5o145b5o145b7o143b3o6bobo138b3o5b3o7bo131b3o5bo141b3o
5bo6bobo132b3o5bo141b3o5bo141b3o5b3o139b3o5b3o139b3o5b3o139b3o5b3o139b
3o5b5o137b3o5b5o137b3o5b5o137b3o5b5o137b3o5b5o137b3o5b5o137b3o5b5o8b2o
127b3o7b3o137b3o7b3o137b3o7b3o137b3o7b3o137b3o7b3o274b2o312b2o148b2o
146bobo147bobo22bo123bo2bo2b2o142bo2bo146bo2bo8b2o136bo2bo8b2o136bo2bo
4bo4bobo130bo3bo2bo4bo4bo2bo3bo407b3o613b3o750bo1196b2o790b3o581b3o
746bo1201b2o419b2o9bo138bobo147b2o148bobo149bobo143b2o5bo148b2o15bo9b
2o121b2o24bobo121b2o25b2o121b2o24bobo121b2o22bobo123b2o21bo5b2o119b2o
21b2o125b2o4bobo14b2o125b2o4bobo7bobo4b2o125b2o4bobo7bobo4b2o125b2o4bo
bo7bobo4b2o125b2o4bobo7bobo4b2o121bo3b2o4bobo7bobo4b2o125b2o4bobo7bobo
4b2o125b2o4bobo7bobo4b2o3bo121b2o4bobo7bobo4b2o117b3o5b2o4bobo7bobo4b
2o5b3o117b2o4bobo7bobo4b2o125b2o4bobo7bobo4b2o125b2o4bobo7bobo4b2o125b
2o4bobo7bobo4b2o125b2o4bobo7bobo4b2o126bo4bobo7bobo4bo127bo4bobo7bobo
4bo115bobo9bo4bobo7bobo4bo9bobo115bo4bobo7bobo4bo127bo4bobo7bobo4bo
127bo4bobo7bobo4bo$290b2o4b2o171bobo728bo13bo591bobo147bobo138bobo5bo
3bo5bobo135b2o138bobo158b2o144bo5bo149bo149bo146bo2bo137bo7bo3bo143bo
5bo143bo2bo2bo7bo135bo2bo4bo141bo2bo6b2o138bo2bo15bobo128bo2bo5b2o139b
o2bo5b2o5b2o132bo2bo4bo141bo2bo4bo5bo135bo2bo4bo141bo2bo4bo141bo2bo4bo
2bo138bo2bo4bo3bo7bo129bo2bo4bo5bo135bo2bo4bo5bo135bo2bo4bo5bo135bo2bo
4bo2bo2bo135bo2bo4bo2bo2bo135bo2bo4bo2bo2bo135bo2bo4bo2bo2bo8bo126bo2b
o7bo2bo136bo2bo6bo2bo136bo2bo6bo2bo136bo2bo5bo2bo137bo2bo5bo2bo141b2o
130bo469b2o142bo6b2o141bo24bo123bobo2bobo142bobo147bobo147bobo3b2o142b
obo10bo129bobo4bobo9bobo4bobo407bo613bo753bo1197bo274b2o513bo585bo745b
o1201bo323b2o247b2o146bobo149b2o150b2o142bobo5b2o323b2o149bobo146b2o
146b2o146b2o5bobo275bo149bo9bo139bo9bo139bo5bo3bo139bo5bo3bo126bobo10b
o5bo3bo139bo5bo3bo139bo5bo3bo10bobo126bo5bo3bo128b2o9bo5bo3bo9b2o128bo
5bo3bo139bo5bo3bo139bo5bo3bo139bo5bo3bo139bo5bo3bo132bo6bo5bo3bo6bo
125bo6bo5bo3bo6bo116bo8bo6bo5bo3bo6bo8bo116bo6bo5bo3bo6bo125bo6bo5bo3b
o6bo125bo6bo5bo3bo6bo$291b2o2bobo8b2o148b2o135b2o1211bobo147bobo140bo
15bo137bo140b2o305bo3b2o137bo3b2o5b2o148b2o148b2o135bobo7b2ob2o143bobo
2b2o143b2o3b2o7bobo133b2o4bobo141b2o9bo138b2o17b2o129b2o148b2o15bo132b
2o5bo10bo131b2o6b2o3bo136b2o6b2o5b2o3bo129b2o6b2o140b2o6b2o140b2o6b2ob
2o7bobo127b2o6b2o2bobo135b2o6b2o2bobo135b2o5bobo2bobo135b2o5bobo3b2o
135b2o5bobo3b2o135b2o5bobo3b2o135b2o5bobo3b2o135b2o11b2o138b2o8b2o137b
2o9b2o137b2o6b2o140b2o7b2o141b2o601b2o150b2o290bo4bo144bo149bo149bo4b
2o143bo15bo126b2o5bo11bo5b2o407bo615bo2226b2o513bo583bo2271b2o398bo
149bo151bo3b2o622bo149bo142b2o3bo886bobo147bobo130b2o15bobo147bobo147b
obo13b2o115bobo14bobo12bobo115bo2bo13bobo11bo2bo107bobo7b2o13bobo11b2o
7bobo109b2o13bobo11b2o119b2o13bobo11b2o119b2o13bobo11b2o119b2o13bobo
11b2o121bo12bobo10bo123bo12bobo10bo123bo12bobo10bo123bo12bobo10bo123bo
12bobo10bo123bo12bobo10bo$290bo15b2o148b2o134bobo1202b3o5b2ob2o5b3o
137b2ob2o124b3o41b3o430bobo135b3o143bob2o444b2o156b2o161b2o140b2o598b
2o148bo11bobo142b3o150b2obo450b2o140b2o148b2o144bo3b2o144bo148b2o148b
2o148b2o888bo8bo585bo165bo8bo291b2o461bo142b2o122b3o31b3o2963b2o279bo
3053b2o318bo249b3o151b2o297b2o469b3o144b2o299b2o890bo147bobo140b2o5bob
o140b2o5bobo140b2o5bobo5b2o125b2o6b2o5bobo5b2o6b2o116bo2bo5b2o5bobo5b
2o5bo2bo103b3o2b2o6bobo5b2o5bobo5b2o5bobo6b2o2b3o104bobo5b2o5bobo5b2o
5bobo119bo5b2o5bobo5b2o5bobo119bo5b2o5bobo5b2o5bo121bo5b2o5bobo5b2o5bo
121bo5b2o5bobo5b2o5bo121bo5b2o5bobo5b2o5bo121bo5b2o5bobo5b2o5bo121bo5b
2o5bobo5b2o5bo121bo5b2o5bobo5b2o5bo121bo5b2o5bobo5b2o5bo$594bo1049bobo
152bo15bo270bo16b2o23bo124b2o141b3o162b2o280b3o3bo1060b2o154b3o137b2o
147bo2bo10bo135bo12b2o2b2o291bo3b3o1785b2o297b2o289b2o307b2o144bo140bo
6b2o5b2o157b2o290b2o147b2o153bo143b2o5b2o6bo140b2o2b2o123bo4b2o19b2o4b
o2966b2o3331b2o571bo152b2o6b2o132b2o12b3o134b3o4bo468bo137b2o6b2o141b
3o12b2o141bo4b3o1034bo141bobo5bo141bobo5bo141bobo5bo5bobo125bo7bobo5bo
5bobo7bo117b2o6bobo5bo5bobo6b2o106bo2bo7b2o6bobo5bo5bobo6b2o7bo2bo94b
2o10b2o6bobo5bo5bobo6b2o10b2o106bo6bobo5bo5bobo6b2o10b2o106bo6bobo5bo
5bobo6bo119bo6bobo5bo5bobo6bo119bo6bobo5bo5bobo6bo119bo6bobo5bo5bobo6b
o119bo6bobo5bo5bobo6bo119bo6bobo5bo5bobo6bo119bo6bobo5bo5bobo6bo110b2o
7bo6bobo5bo5bobo6bo7b2o$1645b2o10b3o138bo17bo138bo3bo125bo18b2o23bo
124b2o142bo163bo132bo5b2o295b2o155b2o138b3o313b3o144b2o149b2o155bo138b
2o148bo2bo10bobo133b2o15bobo137b2o5bo295b2o141b2o157b3o286b2o596b2o
148b2o4b2o8bo286bobo295bobo288bobo5b2o300bobo144bo3b3o131b3o6bobo4b2o
150b2o5bobo291bo145bobo146b3o3bo144b2o4bobo6b3o138bobo125bo4bobo19bobo
4bo2964bo272b3o3060bo324b3o242bo143b2o7bo7b2o132bobo12bo136bo476bo137b
2o7bo7b2o133bo12bobo147bo276b2o163b2o439b2o140b2o151bo145b2obobo14b2o
128b2obobo12bo131b2obobo11bobob2o127b2obobo11bobob2o110bo16b2obobo11bo
bob2o16bo92bo2bo14b2obobo11bobob2o14bo2bo104bo4b2obobo11bobob2o14bo2bo
104bo4b2obobo11bobob2o4bo117bo4b2obobo11bobob2o4bo117bo4b2obobo11bobob
2o4bo117bo4b2obobo11bobob2o4bo117bo4b2obobo11bobob2o4bo117bo4b2obobo
11bobob2o4bo117bo4b2obobo11bobob2o4bo108bobo6bo4b2obobo11bobob2o4bo6bo
bo$164bobo2bo1181b2o15b2o125b2o15b2o131bo11bo297b2ob2o143bo149bo143bo
297b2o4bobo295b2o150b2o2bobo139bo155b2o156bo146bobo150bo155bo134b2o3bo
148b2o11b2o151bo138bobo4b2o294b2o141bobo2b2o153bo139b2o146bo2bo444b3o
148b2o4b2o142b2o3bo2bo6bo287bo299bo147b2o146bobo286b2o12bo144b3o3bo
138bo3bo9b2o147bobo446bo12b2o134bo3b3o139b2o9bo3bo143bo134bo7b3o9bo
3246bo3385bo387bobo11b3o3bo133bo3bo9bo136bo612bo3b3o11bobo131bo9bo3bo
148bo276bobo163bobo294b2o141bobo139bobo297b2ob2o15bobo127b2ob2o139b2o
4b2ob2o13b2ob2o4b2o121b2ob2o13b2ob2o127b2ob2o13b2ob2o109bobo15b2ob2o
13b2ob2o15bobo101bobo5b2ob2o13b2ob2o15bobo101bobo5b2ob2o13b2ob2o5bobo
111bobo5b2ob2o13b2ob2o5bobo111bobo5b2ob2o13b2ob2o5bobo111bobo5b2ob2o
13b2ob2o5bobo111bobo5b2ob2o13b2ob2o5bobo111bobo5b2ob2o13b2ob2o5bobo
111bobo5b2ob2o13b2ob2o5bobo107bo3bobo5b2ob2o13b2ob2o5bobo3bo$165b2o2bo
bo1178bobo15bobo123bobo15bobo143bo295bobobobo586b3o12b2o130bobo4bo296b
o5b2o144bobo2bo140bo155bobo2b2o153bo145bo442bobo311bo147bo4bobo288b2o
5bo142bo2bobo153bo138bobo146b2o2b2o443bo155b2ob3o142bo2bo6b3o281b3o
303b3o142bobo148bo285bobo8b3o153bo137b2o12bobo146bo450b3o8bobo132bo
145bobo12b2o288bo3255bo41b2o3301b2o41bo388bo13bo140b2o296b2o465bo13bo
143b2o300b2o128bo5b2o149b2o5bo291b2o2b2o144bo141bo144b2o171bo153b2o
117bobo31bobo247b2o65b2o87bo55bo102b2o45bo102b2o35b2o111b2o35b2o111b2o
35b2o111b2o35b2o111b2o35b2o111b2o35b2o111b2o35b2o111b2o35b2o$165bo3b2o
1181bo15bo127bo15bo1036bo12bobo439bobo145bo301bo2bobo743bo164bo145b2o
442bobo151bo294bo152bobo288b2o151bo2b2o151bo3bo145b2o138b2o153bo157b2o
144bo146bo308b2o126bo10bo148b3o139bobo12bo287b2o310bo10bo137b3o142bo
12bobo286bo3297b2o3303b2o442bo141bobo296b2o465bo155bobo299b2o135bobo
147bobo147b2o147bo2bo3bo145b3o140b2o139bobo9bo157b2o146bo9bobo118bo31b
o248bobo65bobo90b2o2b3o185b3o2b2o1174b3o$1648b2o6b2o890bo9bo3bo441bo
452bo747b2o160b2o145bobo443bo443b2o154bo291b2o153bobo155bo156b2o122b2o
2bobo151bo157bobo2b2o141bo433b2o4bobo12bobo135bo8b3o138bo445b2o11bo5b
3o279b3o8bo149bo448b2o3294bo3301bo427b2o455bo483b2o442bo134bo151bo142b
3ob2o148bo2bo149bo143b2o140bo8b2o156b2o147b2o8bo403bo65bo93b2obo189bob
2o1175bo$1647bobo7b2o754bo144b2o595b2o894bo153bobo159bobo128bo609b2o
293bobo295bo149bo155bo314bobo120bobo2bo313bo2bobo287b2o286b2o4b2o12bo
5bo140bo141bo147b2o294bo13bobo3bo283bo157bo150b2o283b3o10b2o5b3o3259b
2o3355b2o398bobo939bobo873bo3bo148b2o151bo141bo3b2o146bobo152b2o3bo
145bobo571bo4bo187bo4bo1175bo$1649bo6bo8b3o726b2o16b2o143bobo438b3o
153bobo144b2o303b2o443b2o16b2o134bo292b2o464b3o141bobo151b2o141bo293bo
bo620bo124bo319bo289bobo284bo6bo18b2o141bo287b2o289b2o18b2o5bo281bo
310b2o284bo12bo4bo1611bo1648bobo1706bo1648bobo399bo463b3o473bo433b3o
140b2o153b2o141bo452bobo299bobo714b2o213b2o1148b3o21bo9b3o$1665bo729b
2o15bobo585bo155bo144bobo301bobo442bobo15b2o291b2o134bobo464bo143bo
152bobo436b2o1355bo138b2o172bobo430bo163b2o122bobo617bo285bo5b2o12bo
1610b2o1649bo1705b2o1648bo865bo911bo139bobo153bobo593bo144b3o156bo152b
3o560b2o211b2o1151bo20b2o9bo$1666bo727bo604bo301bo305bo462bo289b2o603b
o297bo587b3o597bo311bo431bobo165b2o602bobo123bo6b2o890b2o10b2o15b2o
1604bobo1677bo1677bobo1619bo894bo909bo142bo153bo742bo309bo561bo215bo
1140bo8bo21bobo4b2o3bo8bo$2410bo577b2o1064bo307bo612b2o876bo597b2o309b
2o433bo165bobo601bo133b2o890b2o8bo16b2o1636b2o1646b2o1647b2o1650b2o
2842bo311bo1917b2o35b2o12b2o$2409b2o576bobo1064b2o919bobo874bo443b2o
152bobo309bobo598bo736bo891bo29bo1634b2o1647bobo1647b2o1648bobo5071bob
o37bo11bobo$2409bobo577bo1063bobo919bo719b2o598bobo18b3o4340bo3295bo$
5694bobo156b2o442bo18bo1038bo752b2o$5696bo19b2o134b2o436b2o25bo1037b2o
426bo324bobo620bo$5715b2o137bo434bobo751b2o309bobo426b2o323bo621b2o
11951bo$5717bo573bo16b2o734b2o451b3o282bobo630b3o312bobo11950b2o$6309b
2o732bo455bo915bo12266bobo$5704b2o602bo1189bo917bo$5693b3o7bobo612b2o$
5695bo9bo611b2o$5694bo624bo3$7832b2o$7831b2o850b2o$7833bo848bobo$8684b
o3$20728bo$20727b2o$20727bobo44$20667bo$20667b2o$20666bobo!
Did I miss a 2G optimization somewhere, or is 586 the current best?

AforAmpere
Posts: 1049
Joined: July 1st, 2016, 3:58 pm

Re: Small Spaceship Syntheses

Post by AforAmpere » March 14th, 2019, 4:38 pm

Sorry, I must have miscounted. Goldtiger found some optimizations on Discord, but hasn't posted it here for some reason.
I and wildmyron manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules.

Things to work on:
- Find a (7,1)c/8 ship in a Non-totalistic rule
- Finish a rule with ships with period >= f_e_0(n) (in progress)

User avatar
dvgrn
Moderator
Posts: 5888
Joined: May 17th, 2009, 11:00 pm
Location: Madison, WI
Contact:

Re: Small Spaceship Syntheses

Post by dvgrn » March 14th, 2019, 5:21 pm

AforAmpere wrote:Sorry, I must have miscounted. Goldtiger found some optimizations on Discord, but hasn't posted it here for some reason.
Aha, that explains it. I only see one improvement posted on Discord, but it brings the cost down to 581 gliders.
Incremental synthesis:

Code: Select all

x = 20138, y = 135, rule = B3/S23
11653bo43bo3325bo43bo$11651bobo42bo3327bo42bobo$11652b2o42b3o3323b3o
42b2o$154bobo$155b2o11543b3o3315b3o$151bo3bo11537bobo4bo3319bo4bobo$
151b2o11541b2o5bo3317bo5b2o$150bobo4bo11536bo3331bo$157bobo9bobo$157b
2o10b2o11517bobo3339bobo$170bo11518b2o3339b2o$11685bo3bo3341bo3bo$158b
o11526b2o3347b2o$156bobo11525bobo4bo3337bo4bobo$157b2o11532bobo3333bob
o$11691b2o3335b2o$11675bo3369bo$11676bo3367bo$10800bo873b3o30bobo2410b
o890bobo30b3o$10798bobo5bo900b2o2405bo5bobo889b2o$174bo10624b2o5bobo
899bo2403bobo5b2o890bo5083bo$o172b2o10631b2o735bo2569b2o762bo5216bobo$
b2o170bobo10625bo742bo2574bo756bo5218b2o12bo$2o137bo41bo10619bobo738b
3o2572bobo756b3o5231b2o$140bo39bo10620b2o3315b2o5989b2o$138b3o39b3o
9845bobo1514bo1844bobo1482bo5083bo137bo25bo$10029b2o1513bo1845b2o1484b
o5081bo139b2o21b2o$10029bo1514b3o131bo1712bo1482b3o165bo4915b3o136b2o
23b2o$8854bo1195bo304bo138bo1184b2o485bo1203bo294bo160bo279bo933b2o
1916bo153bo2843bo$8550bobo302b2o738bobo148bo296b2o3bobo304bobo137bo8bo
1034bo138b2o188bobo293b2o757bobo148bo295bobo3b2o285bobo150bo8bo278b2o
775bo159b2o1915bobo149bobo2844bo129bobo41bobo$8550b2o302b2o739b2o149bo
bo293bobo4b2o304b2o136b3o9b2o889bo143b2o327b2o294b2o757b2o146bobo295b
2o4bobo285b2o148b2o9b3o277b2o617bo154b2o2073bo3b2o151b2o3bo1786b2o11b
2o135b2o11b2o887b3o130b2o16b2o23b2o$596bobo23bobo7926bo1044bo149b2o4bo
291bo459b2o888b2o143b2o328bo1054bo143bo4b2o301bo438b2o908b2o153b2o
2073b2o157b2o1786bo2bo9bo2bo133bo2bo9bo2bo1019bo17b2o24bo$19bobo575b2o
23b2o8077bo156bo892bo299bo296bo1046b2o622bo142bo906bo299bo302bo430bo
620b2o2228b2o159b2o1785bobo11bobo133bobo11bobo$19b2o576bo25bo8078bo
149bo3b2o889bo3b3o295b2o295b2o158bo139bobo169b2o1198bo144b2o3bo898b3o
3bo296b2o301b2o139bo157bobo129bo2846bo167bo1783bo13bo135bo13bo$20bo
285bo157bo138bobo9bobo7931bo150b3o148bobo3b2o735bo152b2o148bo152b2o
147bo144bo2b2o150b2o4bo136bo3b2o169b2o572bo479bo146b3o141b2o3bobo756bo
145b2o149bo145b2o150bo150b2o2bo138bo4b2o151b2o3bo123b3o624bo2219bobo
167bobo$306bobo153bobo133bo5b2o9b2o5bo7924bobo2bo298bobo148bobo587bobo
2bo148bobo147bo302bobo140bobo154bo5b3o135b2o2bo171bo569bobo145bobo328b
o2bobo293bobo146bobo604bo2bobo143bobo149bo294bobo154bobo134b3o5bo151bo
2b2o751bobo149bobo2066b2o151bo15b2o132bo13bo135bo13bo135bo13bo135bo13b
o135bo13bo135bo13bo135bo13bo135bo13bo135bo13bo135bo13bo135bo13bo135bo
13bo135bo13bo135bo13bo135bo13bo135bo13bo135bo13bo135bo13bo135bo13bo
135bo13bo$3bo4bo297b2o155b2o134bo4bo11bo4bo7926b2o2bobo142b3o152bo149b
2o589b2o2bobo296b3o300b2o142b2o156bo140b2o746b2o146b2o156b2o168bobo2b
2o148b3o144bo148b2o602bobo2b2o294b3o295b2o154b2o141bo157b2o750b2o150b
2o140b2o2077bobo147bobo11bobo133bobo11bobo133bobo11bobo133bobo11bobo
133bobo11bobo133bobo11bobo133bobo11bobo133bobo11bobo133bobo11bobo133bo
bo11bobo133bobo11bobo133bobo11bobo133bobo11bobo133bobo11bobo133bobo11b
obo133bobo11bobo133bobo11bobo133bobo11bobo133bobo11bobo133bobo11bobo$
4bo4bo291bo167bo127b3o21b3o125bobo167bobo7630b2o145bo144bo158bo593b2o
893bo3b2o2b2o445bo149bo149bo149bo140bo8bo148bo170b2o152bo154bo140bo
604b2o895b2o2b2o3bo444bo149bo149bo149bo149bo8bo141bo2077b2o148b2o13b2o
133b2o13b2o133b2o13b2o133b2o13b2o133b2o13b2o133b2o13b2o133b2o13b2o133b
2o13b2o133b2o13b2o133b2o13b2o133b2o13b2o133b2o13b2o133b2o13b2o133b2o
13b2o133b2o13b2o133b2o13b2o133b2o13b2o133b2o13b2o133b2o13b2o133b2o13b
2o$2b3o2b3o5bo286b2o163b2o280b2o169b2o7776bo143bobo156bo891bobo294bobo
297bobo3bo2bo149bo148b2o147b3o147b3o147b3o147b3o147b3o147b3o148b2o148b
2o22bo125b2o26bobo119b2o19bo128b2o148b2o148b2o148b2o148b2o148b2o25bobo
120b2o148b2o28bobo117b2o148b2o21bo2bo3bobo117b2o21bo126b2o21b2o125b2o
21b3o124b2o21b3o124b2o21b3o124b2o21b3o124b2o21b3o124b2o21b3o124b2o21b
2o125b2o21b2o125b2o21b2o125b2o21b2o125b2o21b2o125b2o21b2o125b2o21b2o
125b2o21b2o125b2o21b2o125b2o21b2o125b2o21b2o125b2o21b2o125b2o21b2o125b
2o21b2o125b2o21b2o125b2o21b2o125b2o21b2o125b2o21b2o125b2o21b2o125b2o
21b2o125b2o21b2o125b2o21b2o125b2o21b2o125b2o21b2o125b2o21b2o125b2o21b
2o125b2o21b2o125b2o21b2o125b2o21b2o125b2o21b2o125b2o21b2o125b2o21b2o
125b2o21b2o125b2o21b2o$14bo286b2o165b2o130bo19bo129bo169bo7782b2o138b
2o8b2o147bo745b2o144b2o295b2o298b2o5b2o148bobo147bobo149bo149bo138bobo
8bo149bo149bo149bo146bo2bo146bo2bo15b2o129bo2bo15b2o8b2o119bo2bo17bo
128bo2bo146bo2bo146bo2bo146bo2bo146bo2bo20b2o124bo2bo24b2o120bo2bo146b
o2bo27b2o117bo2bo146bo2bo20b2o5b2o117bo2bo19bobo124bo2bo19bobo124bo2bo
19bo126bo2bo19bo126bo2bo19bo8bobo115bo2bo19bo126bo2bo19bo126bo2bo19bo
126bo2bo19bo2bo123bo2bo19bo2bo123bo2bo19bo2bo123bo2bo19bo2bo123bo2bo
19bo2bo123bo2bo19bo2bo123bo2bo19bo2bo123bo2bo19bo2bo123bo2bo19bo2bo
123bo2bo19bo2bo123bo2bo19bo2bo123bo2bo19bo2bo123bo2bo19bo2bo123bo2bo
19bo2bo123bo2bo19bo2bo123bo2bo19bo2bo123bo2bo19bo2bo123bo2bo19bo2bo
123bo2bo19bo2bo123bo2bo19bo2bo123bo2bo19bo2bo123bo2bo19bo2bo123bo2bo
19bo2bo123bo2bo19bo2bo123bo2bo19bo2bo123bo2bo19bo2bo123bo2bo19bo2bo
123bo2bo19bo2bo123bo2bo19bo2bo123bo2bo19bo2bo123bo2bo19bo2bo123bo2bo
19bo2bo123bo2bo19bo2bo123bo2bo19bo2bo$14b3o281b2o156bo14b2o127b2o4bo7b
o4b2o8081bobo147bobo145b3o289bo454bobo144bo296bo457b2o148b2o141bobo4b
2o148b2o139b2o7b2o143bo4b2o148b2o120bo27b2o145bo2b2o145bo2b2o15bobo
127bo2b2o15bobo127bo2b2o17b3o125bo2b2o145bo2b2o27bo117bo2b2o145bo2b2o
145bo2b2o20bobo122bo2b2o25bo119bo2b2o145bo2b2o28bo116bo2b2o145bo2b2o
145bo2b2o19b2o124bo2b2o19b2o124bo2b2o19b2o4bobo117bo2b2o19b2o124bo2b2o
19b2o7b2o115bo2b2o19b2o4bo119bo2b2o19b2o124bo2b2o19b2o27bo96bo2b2o19b
2o2bo121bo2b2o19b2o2bo121bo2b2o19b2o2bo121bo2b2o19b2o2bo121bo2b2o19b2o
2bo121bo2b2o19b2o2bo121bo2b2o19b2o2bo121bo2b2o19b2o2bo121bo2b2o19b2o2b
o121bo2b2o19b2o2bo121bo2b2o19b2o2bo121bo2b2o19b2o2bo121bo2b2o19b2o2bo
121bo2b2o19b2o2bo121bo2b2o19b2o2bo121bo2b2o19b2o2bo121bo2b2o19b2o2bo
121bo2b2o19b2o2bo121bo2b2o19b2o2bo121bo2b2o19b2o2bo121bo2b2o19b2o2bo
121bo2b2o19b2o2bo121bo2b2o19b2o2bo121bo2b2o19b2o2bo121bo2b2o19b2o2bo
121bo2b2o19b2o2bo121bo2b2o19b2o2bo121bo2b2o19b2o2bo121bo2b2o19b2o2bo
121bo2b2o19b2o2bo121bo2b2o19b2o2bo121bo2b2o19b2o2bo121bo2b2o19b2o2bo
121bo2b2o19b2o2bo$297bobo6b2o5b2o140bobo5b2o6bobo125bobo3bobo5bobo3bob
o135bo5bo143bo5bo143bo5bo143bo5bo143bo5bo143bo5bo143bo5bo143bo5bo143bo
5bo143bo5bo143bo5bo132bobo8bo5bo143bo5bo143bo5bo143bo5bo143bo5bo143bo
5bo143bo5bo143bo5bo143bo5bo143bo5bo143bo5bo143bo5bo143bo5bo143bo5bo8bo
bo132bo5bo143bo5bo143bo5bo143bo5bo143bo5bo143bo5bo143bo5bo143bo5bo143b
o5bo143bo5bo143bo5bo143bo5bo143bo5bo143bo5bo143bo5bo129bo13bo5bo143bo
5bo143bo5bo143bo5bo143bo5bo143bo5bo14bo128bo5bo143bo5bo143bo5bo143bo5b
o143bo5bo143bo5bo143bo5bo139bo3bo5bo139bo3bo5bo142b2o5bo142b2o5bo126bo
bo3bobo7b2o5bo126bo11bo3b2o5bo138bo3b2o5bo134bo3bo3b2o5bo137b2o3b2o5bo
137b2o3b2o5bo137b2o3b2o5bo137b2o3b2o5bo137b2o3b2o5bo137b2o3b2o5bo137b
2o3b2o5bo129b2o6b2o3b2o5bo130b2o5b2o3b2o5bo121b3o2bo3b2o5b2o3b2o5bo
129bobo5b2o3b2o5bo134bo2b2o3b2o5bo107b2o25bo2b2o3b2o5bo133b2o2b2o3b2o
5bo133b2o2b2o3b2o5bo3bo129b2o2b2o3b2o5bo3bo129b2o2b2o3b2o5b2o132b2o2b
2o3b2o5b2o132b2o2b2o3b2o5b2o7bobo3bobo116b2o2b2o3b2o5b2o3bo11bo116b2o
2b2o3b2o5b2o3bo128b2o2b2o3b2o5b2o3bo3bo124b2o2b2o3b2o5b2o3b2o127b2o2b
2o3b2o5b2o3b2o127b2o2b2o3b2o5b2o3b2o127b2o2b2o3b2o5b2o3b2o127b2o2b2o3b
2o5b2o3b2o127b2o2b2o3b2o5b2o3b2o127b2o2b2o3b2o5b2o3b2o127b2o2b2o3b2o5b
2o3b2o6b2o119b2o2b2o3b2o5b2o3b2o5b2o120b2o2b2o3b2o5b2o3b2o5b2o3bo2b3o
111b2o2b2o3b2o5b2o3b2o5bobo119b2o2b2o3b2o5b2o3b2o2bo124b2o2b2o3b2o5b2o
3b2o2bo25b2o97b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o123b2o
2b2o3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b
2o123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b
2o3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b
2o3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o
123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o
3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o
3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o
123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o
3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o
3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o
123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o
3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o123b2o2b2o3b2o5b2o3b2o2b2o$299bo6bob
o3bobo141bobo3bobo6bo134bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo
141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bo
bo141bobo3bobo141bobo3bobo132b2o7bobo3bobo141bobo3bobo141bobo3bobo141b
obo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo
141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo7b2o132bob
o3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141b
obo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo
141bobo3bobo141bobo3bobo141bobo3bobo126bobo12bobo3bobo141bobo3bobo141b
obo3bobo141bobo3bobo141bobo3bobo141bobo3bobo11b2o128bobo3bobo141bobo3b
obo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo
3bobo134bo6bobo3bobo140bo2bo3bobo137b2obo2bo3bobo126b2o4b2o3b2obo2bo3b
obo123bobo10bobobo2bo3bobo136bobobo2bo3bobo136bobobo2bo3bobo135bo2bobo
2bo3bobo135bo2bobo2bo3bobo116bobo14bobo2bobo2bo3bobo133bobo2bobo2bo3bo
bo133bobo2bobo2bo3bobo133bobo2bobo2bo3bobo133bobo2bobo2bo3bobo124bo3bo
4bobo2bobo2bo3bobo125bo3b2o2bobo2bobo2bo3bobo122bo6b2o2bobo2bobo2bo3bo
bo129b2o2bobo2bobo2bo3bobo133bobo2bobo2bo3bobo105bobo25bobo2bobo2bo3bo
bo135bo2bobo2bo3bobo135bo2bobo2bo3bobo135bo2bobo2bo3bobo6bo128bo2bobo
2bo3bo2bo134bo2bobo2bo3bo2bob2o131bo2bobo2bo3bo2bob2o3b2o4b2o120bo2bob
o2bo3bo2bobobo10bobo117bo2bobo2bo3bo2bobobo130bo2bobo2bo3bo2bobobo130b
o2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo2bobo2bobo
14bobo110bo2bobo2bo3bo2bobo2bobo127bo2bobo2bo3bo2bobo2bobo127bo2bobo2b
o3bo2bobo2bobo127bo2bobo2bo3bo2bobo2bobo127bo2bobo2bo3bo2bobo2bobo4bo
3bo118bo2bobo2bo3bo2bobo2bobo2b2o3bo119bo2bobo2bo3bo2bobo2bobo2b2o6bo
116bo2bobo2bo3bo2bobo2bobo2b2o123bo2bobo2bo3bo2bobo2bobo127bo2bobo2bo
3bo2bobo2bobo25bobo99bo2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo2bobo2bo129b
o2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo2bobo2bo
129bo2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo2bobo
2bo129bo2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo2bo
bo2bo129bo2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo
2bobo2bo129bo2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo2bobo2bo129bo2bobo2bo
3bo2bobo2bo129bo2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo2bobo2bo129bo2bobo
2bo3bo2bobo2bo129bo2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo2bobo2bo129bo2bo
bo2bo3bo2bobo2bo129bo2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo2bobo2bo129bo
2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo2bobo2bo
129bo2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo2bobo
2bo129bo2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo2bobo2bo129bo2bobo2bo3bo2bo
bo2bo$157b2o3b2o144bo3bo145bo3bo145bo3bo143bobo3bobo141bobo3bobo141bob
o3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141b
obo3bobo141bobo3bobo141bobo3bobo132bo8bobo3bobo141bobo3bobo141bobo3bob
o141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3b
obo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo8bo132b
obo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo
141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bo
bo141bobo3bobo141bobo3bobo141bobo3bobo127b2o12bobo3bobo141bobo3bobo
141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo12b2o127bobo3bobo141bo
bo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo141bobo3bobo
141bobo3bobo126bobo3bobo6bobo3bobo137bo2b2obo3bobo138bob2obo3bobo132bo
3bobob2obo3bobo124b2o10bobob2obo3bobo136bobob2obo3bobo136bobob2obo3bob
o136bobob2obo3bobo134bobobob2obo3bobo117b2o2b2o10b2obobob2obo3bobo125b
3o5b2obobob2obo3bobo133b2obobob2obo3bobo133b2obobob2obo3bobo133b2obobo
b2obo3bobo125bo7b2obobob2obo3bobo123bobo7b2obobob2obo3bobo121bo3b2o6b
2obobob2obo3bobo133b2obobob2obo3bobo134bobobob2obo3bobo134bobobob2obo
3bobo132b3obobob2obo3bobo132b3obobob2obo3bobo132b3obobob2obo3bobo6bobo
3bobo117b3obobob2obo3bob2o2bo128b3obobob2obo3bob2obo129b3obobob2obo3bo
b2obobo3bo123b3obobob2obo3bob2obobo10b2o115b3obobob2obo3bob2obobo127b
3obobob2obo3bob2obobo127b3obobob2obo3bob2obobo127b3obobob2obo3bob2obob
obo125b3obobob2obo3bob2obobob2o10b2o2b2o108b3obobob2obo3bob2obobob2o5b
3o116b3obobob2obo3bob2obobob2o124b3obobob2obo3bob2obobob2o124b3obobob
2obo3bob2obobob2o124b3obobob2obo3bob2obobob2o7bo116b3obobob2obo3bob2ob
obob2o7bobo114b3obobob2obo3bob2obobob2o6b2o3bo112b3obobob2obo3bob2obob
ob2o124b3obobob2obo3bob2obobobo125b3obobob2obo3bob2obobobo125b3obobob
2obo3bob2obobob3o123b3obobob2obo3bob2obobob3o123b3obobob2obo3bob2obobo
b3o123b3obobob2obo3bob2obobob3o123b3obobob2obo3bob2obobob3o116bobo4b3o
bobob2obo3bob2obobob3o123b3obobob2obo3bob2obobob3o123b3obobob2obo3bob
2obobob3o123b3obobob2obo3bob2obobob3o123b3obobob2obo3bob2obobob3o123b
3obobob2obo3bob2obobob3o123b3obobob2obo3bob2obobob3o4bobo116b3obobob2o
bo3bob2obobob3o123b3obobob2obo3bob2obobob3o123b3obobob2obo3bob2obobob
3o123b3obobob2obo3bob2obobob3o123b3obobob2obo3bob2obobob3o123b3obobob
2obo3bob2obobob3o123b3obobob2obo3bob2obobob3o123b3obobob2obo3bob2obobo
b3o123b3obobob2obo3bob2obobob3o123b3obobob2obo3bob2obobob3o123b3obobob
2obo3bob2obobob3o123b3obobob2obo3bob2obobob3o123b3obobob2obo3bob2obobo
b3o123b3obobob2obo3bob2obobob3o123b3obobob2obo3bob2obobob3o123b3obobob
2obo3bob2obobob3o123b3obobob2obo3bob2obobob3o123b3obobob2obo3bob2obobo
b3o117bo5b3obobob2obo3bob2obobob3o5bo117b3obobob2obo3bob2obobob3o123b
3obobob2obo3bob2obobob3o123b3obobob2obo3bob2obobob3o$21bo135bobobobo
144b2ob2o145b2ob2o145b2ob2o128bo3bo9b2ob2ob2ob2o138b2o2b2ob2ob2o9bo3bo
124b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o
137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o
137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o
137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o
137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o
137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o
137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o
137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o
137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o
128bo8b2o2b2ob2o2b2o8bo128b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o
2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b
2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o
137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o137b2o2b2ob2o2b2o
120b3o2b2o4b2o4b2o2b2ob2o2b2o134bobobo2b2ob2o2b2o129bo4bobobo2b2ob2o2b
2o126bo7bobobo2b2ob2o2b2o131b2obobobo2b2ob2o2b2o129b2obobobobo2b2ob2o
2b2o129b2obobobobo2b2ob2o2b2o129b2obobobobo2b2ob2o2b2o132bobobobo2b2ob
2o2b2o115bo2bobo13bobobo2b2ob2o2b2o125bo3b2o3bobobo2b2ob2o2b2o129b2o3b
obobo2b2ob2o2b2o129b2o3bobobo2b2ob2o2b2o129b2o3bobobo2b2ob2o2b2o121b3o
5b2o3bobobo2b2ob2o2b2o122b2o3b4o3bobobo2b2ob2o2b2o123b2o2b4o3bobobo2b
2ob2o2b2o127b4o3bobobo2b2ob2o2b2o134bobobo2b2ob2o2b2o134bobobo2b2ob2o
2b2o130bo3bobobo2b2ob2o2b2o130bo3bobobo2b2ob2o2b2o130bo3bobobo2b2ob2o
2b2o4b2o4b2o2b3o113bo3bobobo2b2ob2o2bobobo127bo3bobobo2b2ob2o2bobobo4b
o122bo3bobobo2b2ob2o2bobobo7bo119bo3bobobo2b2ob2o2bobobob2o124bo3bobob
o2b2ob2o2bobobobob2o122bo3bobobo2b2ob2o2bobobobob2o122bo3bobobo2b2ob2o
2bobobobob2o122bo3bobobo2b2ob2o2bobobobo125bo3bobobo2b2ob2o2bobobo13bo
bo2bo108bo3bobobo2b2ob2o2bobobo3b2o3bo118bo3bobobo2b2ob2o2bobobo3b2o
122bo3bobobo2b2ob2o2bobobo3b2o122bo3bobobo2b2ob2o2bobobo3b2o122bo3bobo
bo2b2ob2o2bobobo3b2o5b3o114bo3bobobo2b2ob2o2bobobo3b4o3b2o115bo3bobobo
2b2ob2o2bobobo3b4o2b2o116bo3bobobo2b2ob2o2bobobo3b4o120bo3bobobo2b2ob
2o2bobobo127bo3bobobo2b2ob2o2bobobo127bo3bobobo2b2ob2o2bobobo3bo123bo
3bobobo2b2ob2o2bobobo3bo123bo3bobobo2b2ob2o2bobobo3bo123bo3bobobo2b2ob
2o2bobobo3bo123bo3bobobo2b2ob2o2bobobo3bo117b2o4bo3bobobo2b2ob2o2bobob
o3bo123bo3bobobo2b2ob2o2bobobo3bo123bo3bobobo2b2ob2o2bobobo3bo123bo3bo
bobo2b2ob2o2bobobo3bo123bo3bobobo2b2ob2o2bobobo3bo123bo3bobobo2b2ob2o
2bobobo3bo123bo3bobobo2b2ob2o2bobobo3bo4b2o117bo3bobobo2b2ob2o2bobobo
3bo123bo3bobobo2b2ob2o2bobobo3bo123bo3bobobo2b2ob2o2bobobo3bo123bo3bob
obo2b2ob2o2bobobo3bo123bo3bobobo2b2ob2o2bobobo3bo123bo3bobobo2b2ob2o2b
obobo3bo123bo3bobobo2b2ob2o2bobobo3bo123bo3bobobo2b2ob2o2bobobo3bo123b
o3bobobo2b2ob2o2bobobo3bo123bo3bobobo2b2ob2o2bobobo3bo123bo3bobobo2b2o
b2o2bobobo3bo123bo3bobobo2b2ob2o2bobobo3bo123bo3bobobo2b2ob2o2bobobo3b
o123bo3bobobo2b2ob2o2bobobo3bo123bo3bobobo2b2ob2o2bobobo3bo123bo3bobob
o2b2ob2o2bobobo3bo123bo3bobobo2b2ob2o2bobobo3bo123bo3bobobo2b2ob2o2bob
obo3bo115bobo5bo3bobobo2b2ob2o2bobobo3bo5bobo115bo3bobobo2b2ob2o2bobob
o3bo123bo3bobobo2b2ob2o2bobobo3bo123bo3bobobo2b2ob2o2bobobo3bo$19b2o
138bobo580b2obobo9bo5bo141bobo5bo9bobob2o126bobo5bobo139bobo5bobo139bo
bo5bobo139bobo5bobo139bobo5bobo139bobo5bobo139bobo5bobo139bobo5bobo
139bobo5bobo129b2o8bobo5bobo139bobo5bobo139bobo5bobo139bobo5bobo139bob
o5bobo139bobo5bobo139bobo5bobo139bobo5bobo139bobo5bobo139bobo5bobo139b
obo5bobo139bobo5bobo139bobo5bobo139bobo5bobo8b2o129bobo5bobo139bobo5bo
bo139bobo5bobo139bobo5bobo139bobo5bobo139bobo5bobo139bobo5bobo139bobo
5bobo139bobo5bobo139bobo5bobo139bobo5bobo139bobo5bobo139bobo5bobo130b
2o7bobo5bobo7b2o130bobo5bobo139bobo5bobo139bobo5bobo139bobo5bobo131bo
7bobo5bobo139bobo5bobo139bobo5bobo139bobo5bobo139bobo5bobo139bobo5bobo
139bobo5bobo7bo131bobo5bobo139bobo5bobo139bobo5bobo139bobo5bobo123bo2b
o12bobo5bobo135b2o2bobo5bobo128bobo4b2o2bobo5bobo127b2o7bo2bobo5bobo
125b3o4b2ob2o2bobo5bobo130bob2ob2o2bobo5bobo130bob2ob2o2bobo5bobo130bo
b2ob2o2bobo5bobo132b2ob2o2bobo5bobo121bo13b2o2bobo5bobo125bo3bobo3b2o
2bobo5bobo129bobo3b2o2bobo5bobo129bobo3b2o2bobo5bobo129bobo3b2o2bobo5b
obo129bobo3b2o2bobo5bobo120b2o6bo2bo3b2o2bobo5bobo128bo2bo3b2o2bobo5bo
bo128bo2bo3b2o2bobo5bobo135b2o2bobo5bobo135b2o2bobo5bobo135b2o2bobo5bo
bo135b2o2bobo5bobo135b2o2bobo5bobo12bo2bo119b2o2bobo5bobo2b2o131b2o2bo
bo5bobo2b2o4bobo124b2o2bobo5bobo2bo7b2o123b2o2bobo5bobo2b2ob2o4b3o121b
2o2bobo5bobo2b2ob2obo126b2o2bobo5bobo2b2ob2obo126b2o2bobo5bobo2b2ob2ob
o126b2o2bobo5bobo2b2ob2o128b2o2bobo5bobo2b2o13bo117b2o2bobo5bobo2b2o3b
obo3bo121b2o2bobo5bobo2b2o3bobo125b2o2bobo5bobo2b2o3bobo125b2o2bobo5bo
bo2b2o3bobo125b2o2bobo5bobo2b2o3bobo125b2o2bobo5bobo2b2o3bo2bo6b2o116b
2o2bobo5bobo2b2o3bo2bo124b2o2bobo5bobo2b2o3bo2bo124b2o2bobo5bobo2b2o
131b2o2bobo5bobo2b2o131b2o2bobo5bobo2b2o131b2o2bobo5bobo2b2o131b2o2bob
o5bobo2b2o131b2o2bobo5bobo2b2o131b2o2bobo5bobo2b2o121bo9b2o2bobo5bobo
2b2o131b2o2bobo5bobo2b2o131b2o2bobo5bobo2b2o131b2o2bobo5bobo2b2o131b2o
2bobo5bobo2b2o131b2o2bobo5bobo2b2o131b2o2bobo5bobo2b2o9bo121b2o2bobo5b
obo2b2o131b2o2bobo5bobo2b2o131b2o2bobo5bobo2b2o131b2o2bobo5bobo2b2o
131b2o2bobo5bobo2b2o131b2o2bobo5bobo2b2o131b2o2bobo5bobo2b2o131b2o2bob
o5bobo2b2o131b2o2bobo5bobo2b2o131b2o2bobo5bobo2b2o131b2o2bobo5bobo2b2o
131b2o2bobo5bobo2b2o131b2o2bobo5bobo2b2o131b2o2bobo5bobo2b2o121bo9b2o
2bobo5bobo2b2o9bo121b2o2bobo5bobo2b2o131b2o2bobo5bobo2b2o117bo13b2o2bo
bo5bobo2b2o13bo106b2o9b2o2bobo5bobo2b2o9b2o120b2o2bobo5bobo2b2o131b2o
2bobo5bobo2b2o114b2o15b2o2bobo5bobo2b2o15b2o$20b2o136b2ob2o145b5o145b
5o138b3o4b5o4b3o121b2o2b2o10bob3obo141bobob3obo10b2o2b2o125bobob3obobo
139bobob3obobo139bobob3obobo132bobo4bobob3obobo4bobo132bob7obo139bob7o
bo139bob7obo139bob7obo139bob7obo128bobo8bob7obo139bob7obo139bob7obo
139bob7obo139bob7obo139bob7obo139bob7obo139bob7obo139bob7obo139bob7obo
139bob7obo139bob7obo139bob7obo139bob7obo8bobo128bob7obo139bob7obo139bo
b7obo139bob7obo139bob7obo139bob7obo139bob7obo139bob7obo139bob7obo139bo
b7obo139bob7obo139bob7obo139bob7obo129b2o8bob7obo8b2o129bob7obo139bob
7obo139bob7obo139bob7obo132bo6bob7obo139bob7obo139bob7obo139bob7obo
139bob7obo139bob7obo139bob7obo6bo132bob7obo127bo11bob7obo11bo127bob7ob
o139bob7obo122bo16bob7obo139bob7obo129b2o8bob7obo126bobo10bob7obo120b
3o2bo13bob7obo139bob7obo139bob7obo139bob7obo139bob7obo139bob7obo130bo
8bob7obo130bo8bob7obo130bo8bob7obo130bo8bob7obo125b3o2bo8bob7obo119bob
o17bob7obo124bo14bob7obo139bob7obo123b2o14bob7obo139bob7obo139bob7obo
139bob7obo139bob7obo16bo122bob7obo139bob7obo8b2o129bob7obo10bobo126bob
7obo13bo2b3o120bob7obo139bob7obo139bob7obo139bob7obo139bob7obo139bob7o
bo8bo130bob7obo8bo130bob7obo8bo130bob7obo8bo130bob7obo8bo2b3o125bob7ob
o17bobo119bob7obo14bo124bob7obo139bob7obo14b2o123bob7obo139bob7obo139b
ob7obo139bob7obo139bob7obo139bob7obo139bob7obo139bob7obo139bob7obo139b
ob7obo139bob7obo139bob7obo139bob7obo139bob7obo139bob7obo139bob7obo139b
ob7obo139bob7obo139bob7obo139bob7obo139bob7obo139bob7obo139bob7obo139b
ob7obo139bob7obo139bob7obo139bob7obo123bobo13bob7obo13bobo109b2o12bob
7obo12b2o115bo9bob7obo9bo112bo16bob7obo16bo122bob7obo139bob7obo139bob
7obo119b2o18bob7obo18b2o$157bo2bo2bo143bo2bo2bo143bo2bo2bo139bo3bo2bo
2bo3bo140bobobo143bobobobo143bobobobobo133bo7bobobobobo7bo133bobobobob
o129b3o2b2o5bobobobobo5b2o2b3o129bo7bo141bo7bo141bo7bo141bo7bo141bo7bo
131bo9bo7bo141bo7bo141bo7bo141bo7bo141bo7bo141bo7bo141bo7bo141bo7bo
141bo7bo141bo7bo141bo7bo141bo7bo141bo7bo141bo7bo9bo131bo7bo141bo7bo
141bo7bo141bo7bo141bo7bo141bo7bo141bo7bo141bo7bo141bo7bo141bo7bo141bo
7bo141bo7bo141bo7bo141bo7bo141bo3bo3bo122bobo16bo3bo3bo141bo3bo3bo141b
o3bo3bo131b3o7bo3bo3bo141bo3bo3bo141bo3bo3bo16bo124bo3bo3bo141bo3bo3bo
141bo3bo3bo141bo3bo3bo7b3o131bo3bo3bo126bobo12bo3bo3bo12bobo126bo7bo
141bo7bo131b2o8bo7bo141bo7bo141bo7bo141bo7bo123bo3bo13bo7bo141bo7bo
141bo7bo141bo7bo141bo7bo141bo7bo141bo7bo141bo7bo141bo7bo141bo7bo128bo
12bo7bo122bo18bo7bo125b2o14bo7bo141bo7bo125b2o14bo7bo141bo7bo141bo7bo
141bo7bo141bo7bo8b2o131bo7bo141bo7bo141bo7bo141bo7bo13bo3bo123bo7bo
141bo7bo141bo7bo141bo7bo141bo7bo141bo7bo141bo7bo141bo7bo141bo7bo141bo
7bo12bo128bo7bo18bo122bo7bo14b2o125bo7bo141bo7bo14b2o125bo7bo141bo7bo
136b2o3bo7bo136b2o3bo7bo134b4o3bo7bo134b4o3bo7bo124b2o8b4o3bo7bo134b4o
3bo7bo134b4o3bo7bo3b2o129b4o3bo7bo3b2o129b4o3bo7bo3b4o127b4o3bo7bo3b4o
127b4o3bo7bo3b4o8b2o117b4o3bo7bo3b4o127b4o3bo7bo3b4o127b4o3bo7bo3b4o
127b4o3bo7bo3b4o127b4o3bo7bo3b4o127b4o3bo7bo3b4o127b4o3bo7bo3b4o127b4o
3bo7bo3b4o127b4o3bo7bo3b4o127b4o3bo7bo3b4o127b4o3bo7bo3b4o127b4o3bo7bo
3b4o127b4o3bo7bo3b4o127b4o3bo7bo3b4o118b2o7b4o3bo7bo3b4o7b2o110b2o6b4o
3bo7bo3b4o6b2o113bobo3b4o3bo7bo3b4o3bobo108b3o6b2o2b4o3bo7bo3b4o2b2o6b
3o106bo3b2o2b4o3bo7bo3b4o2b2o3bo112b2ob2o2b4o3bo7bo3b4o2b2ob2o113b2ob
2o2b4o3bo7bo3b4o2b2ob2o105bo7b2ob2o2b4o3bo7bo3b4o2b2ob2o7bo$157b2o3b2o
143b2o3b2o143b2o3b2o138bo4b2o3b2o4bo288bo149bo5bo132bobo8bo5bo8bobo
132bo5bo132bo2bo7bo5bo7bo2bo132b3ob3o143b3ob3o143b3ob3o143b3ob3o143b3o
b3o143b3ob3o143b3ob3o143b3ob3o143b3ob3o143b3ob3o143b3ob3o143b3ob3o143b
3ob3o143b3ob3o143b3ob3o143b3ob3o143b3ob3o143b3ob3o143b3ob3o143b3ob3o
143b3ob3o143b3ob3o143b3ob3o143b3ob3o143b3ob3o143b3ob3o143b3ob3o143b3ob
3o143b3ob3o143b3ob3o143b3ob3o143b3ob3o143b3ob3o143bo5bo124b2o17bo5bo
143bo5bo143bo5bo143bo5bo143bo5bo143bo5bo17bobo123bo5bo143bo5bo143bo5bo
143bo5bo143bo5bo128b2o13bo5bo13b2o128bobobobo143bobobobo131bobo9bobobo
bo143bobobobo133b3o7bobobobo143bobobobo123bo19bobobobo143bobobobo143bo
bobobo127b2o14bobobobo143bobobobo127b3o13bobobobo143bobobobo143bobobob
o143bobobobo143bobobobo128bo14bobobobo143bobobobo125bobo15bobobobo143b
obobobo125bo17bobobobo143bobobobo143bobobobo143bobobobo143bobobobo9bob
o131bobobobo143bobobobo7b3o133bobobobo143bobobobo19bo123bobobobo143bob
obobo143bobobobo14b2o127bobobobo143bobobobo13b3o127bobobobo143bobobobo
143bobobobo143bobobobo143bobobobo14bo128bobobobo143bobobobo15bobo125bo
bobobo143bobobobo17bo125bobobobo143bobobobo137b2o4bobobobo136bo2bo3bob
obobo135bo3bo3bobobobo135bo3bo3bobobobo124bobo8bo3bo3bobobobo135bo3bo
3bobobobo135bo3bo3bobobobo4b2o129bo3bo3bobobobo3bo2bo128bo3bo3bobobobo
3bo3bo127bo3bo3bobobobo3bo3bo127bo3bo3bobobobo3bo3bo8bobo116bo3bo3bobo
bobo3bo3bo127bo3bo3bobobobo3bo3bo127bo3bo3bobobobo3bo3bo127bo3bo3bobob
obo3bo3bo127bo3bo3bobobobo3bo3bo127bo3bo3bobobobo3bo3bo127bo3bo3bobobo
bo3bo3bo127bo3bo3bobobobo3bo3bo127bo3bo3bobobobo3bo3bo127bo3bo3bobobob
o3bo3bo127bo3bo3bobobobo3bo3bo127bo3bo3bobobobo3bo3bo127bo3bo3bobobobo
3bo3bo127bo3bo3bobobobo3bo3bo115b2o10bo3bo3bobobobo3bo3bo10b2o115bo3bo
3bobobobo3bo3bo122b2o3bo3bo3bobobobo3bo3bo3b2o118b2o2bo3bo3bobobobo3bo
3bo2b2o114bobo2b2o2bo3bo3bobobobo3bo3bo2b2o2bobo110bobob2o2bo3bo3bobob
obo3bo3bo2b2obobo111bobob2o2bo3bo3bobobobo3bo3bo2b2obobo111bobob2o2bo
3bo3bobobobo3bo3bo2b2obobo$749bobo167bobo275b2o23b2o271bo29bo133bobo
147bobo147bobo147bobo138bo8bobo136bo10bobo142bo4bobo142bo4bobo142bo4bo
bo142bo4bobo142bo4bobo142bo4bobo142bo4bobo142bo4bobo142bo4bobo142bo4bo
bo142bo4bobo142bo4bobo8bo133bo4bobo10bo131bo4bobo4bo137bo4bobo4bo137bo
4bobo4bo137bo4bobo4bo137bo4bobo4bo137bo4bobo4bo137bo4bobo4bo137bo4bobo
4bo137bo4bobo4bo137bo4bobo4bo137bo4bobo4bo137bo4bobo4bo137bo4bobo4bo
137bo4bobo4bo133bobo3b2o5b2o123bo19bo4b2o139b3obo4b2o139b3obo4b2o139b
3obo4b2o139b3o6b2o3bobo133b3o5bo18b2o121b3o5bob3o137b3o5bob3o137b3o5bo
b3o137b3o5bob3o137b3o7b3o137b3o7b3o141b2ob2o145b2ob2o134bo10b2ob2o145b
2ob2o136bo8b2ob2o145b2ob2o145b2ob2o145b2ob2o145b2ob2o127bobo15b2ob2o
145b2ob2o130bo14b2ob2o145b2ob2o145b2ob2o145b2ob2o145b2ob2o145b2ob2o
145b2ob2o145b2ob2o130b2o13b2ob2o145b2ob2o145b2ob2o145b2ob2o145b2ob2o
145b2ob2o10bo134b2ob2o145b2ob2o8bo136b2ob2o145b2ob2o145b2ob2o145b2ob2o
145b2ob2o15bobo127b2ob2o145b2ob2o14bo130b2ob2o145b2ob2o145b2ob2o145b2o
b2o145b2ob2o145b2ob2o145b2ob2o145b2ob2o13b2o130b2ob2o145b2ob2o135b2o8b
2ob2o145b2ob2o126bobo9b2o5b2ob2o139bo5b2ob2o139bo5b2ob2o127bo11bo5b2ob
2o139bo5b2ob2o8b2o129bo5b2ob2o139bo5b2ob2o5b2o9bobo120bo5b2ob2o5bo133b
o5b2ob2o5bo133bo5b2ob2o5bo11bo121bo5b2ob2o5bo133bo5b2ob2o5bo133bo5b2ob
2o5bo133bo5b2ob2o5bo133bo5b2ob2o5bo133bo5b2ob2o5bo133bo5b2ob2o5bo133bo
5b2ob2o5bo133bo5b2ob2o5bo133bo5b2ob2o5bo133bo5b2ob2o5bo133bo5b2ob2o5bo
133bo5b2ob2o5bo133bo5b2ob2o5bo117bobo13bo5b2ob2o5bo13bobo105bo11bo5b2o
b2o5bo11bo110b2o9bo5b2ob2o5bo9b2o109b3o10bo5b2ob2o5bo10b3o108bobo9bo5b
2ob2o5bo9bobo111bo9bo5b2ob2o5bo9bo113bo9bo5b2ob2o5bo9bo113bo9bo5b2ob2o
5bo9bo$750b2o167b2o281bo15bo138bo5bo143bo5bo443b2o148b2o139bobo6b2o
139b2o5b4o145b5o145b5o145b5o145b5o145b5o145b5o145b5o145b5o3b2o140b5o3b
2o140b5o3b2o140b5o3b2o140b5o3b2o6bobo131b5o3b4o5b2o131b5o3b5o137b5o3b
5o137b5o3b5o137b5o3b5o137b5o3b5o137b5o3b5o137b5o3b5o137b5o3b5o137b5o3b
5o137b5o3b5o137b5o3b5o137b5o3b5o137b5o3b5o137b5o3b5o134b2o152b3o145bo
2bobo144bo2bobo144bo2bobo144bo14b2o133bo9b3o137bo8bobo2bo135bo8bobo2bo
135bo8bobo2bo135bo8bobo2bo135bo6bo6bo135bo6bo6bo730bo743bo299bo1201b2o
1076bo755bo299bo1196b2o418bo2bobo3b2o145b2o137b2o160b2o147bo149bo149bo
13b2o3bobo2bo125bo16b2o131bo27b2o120bo15b2o132bo17bo131bo17bo131bo17bo
131bo3bo13bo131bo3bo9bo3bo131bo3bo9bo3bo131bo3bo9bo3bo131bo3bo9bo3bo
131bo3bo9bo3bo131bo3bo9bo3bo131bo3bo9bo3bo131bo3bo9bo3bo121bo9bo3bo9bo
3bo9bo121bo3bo9bo3bo131bo3bo9bo3bo131bo3bo9bo3bo118bo12bo3bo9bo3bo12bo
107b2o9bo3bo9bo3bo9b2o109bobo8bo3bo9bo3bo8bobo110bo9bo3bo9bo3bo9bo111b
o9bo3bo9bo3bo9bo121bo3bo9bo3bo131bo3bo9bo3bo131bo3bo9bo3bo$602b2o13b2o
131bo169bo282bo13bo138bobo3bobo141bobo3bobo442bo149bo141b2o5bo140bobo
5bo1207bo149bo149bo149bo150bo5b2o143bo5bobo1351bobo873bo138b2o13bo147b
2o2bo146bo2bo146bo2bo144bobo14bo132bobo10bo12b3o121bobo8bo2b2o134bobo
8bo2b2o134bobo8bo2bo135bobo8bo2bo135bobo5bo5bobo133bobo5bo5bobo1780b3o
1191bo3b2o2120b3o1200b2o3bo415bobo2bo4b2o141bo4b2o137bo310b2o139bo7bo
147bobo15b2o4bo2bobo120bobo17b2o4bo123bobo29bo117bobo147bobo17b2o128bo
bo19bo7bo119bobo19bobo125bobo3bobo13bobo125bobo3bobo7bobo3bobo125bobo
3bobo7bobo3bobo125bobo3bobo7bobo3bobo125bobo3bobo7bobo3bobo125bobo3bob
o7bobo3bobo125bobo3bobo7bobo3bobo125bobo3bobo7bobo3bobo125bobo3bobo7bo
bo3bobo119bo5bobo3bobo7bobo3bobo5bo119bobo3bobo7bobo3bobo125bobo3bobo
7bobo3bobo125bobo3bobo7bobo3bobo125bobo3bobo7bobo3bobo116bobo6bobo3bob
o7bobo3bobo6bobo110bo7bo3bobo7bobo3bo7bo111bo9bo3bobo7bobo3bo9bo107b2o
10bo3bobo7bobo3bo10b2o117bo3bobo7bobo3bo129bo3bobo7bobo3bo129bo3bobo7b
obo3bo$601bobo13bobo581b3o4b2ob2o4b3o137bobobobo137b2o4bobobobo4b2o
135bobo140bo7b3o149bo149bo147b3o147b3o147b3o147b3o145b5o145b5o145b7o
143b3o6bobo138b3o5b3o7bo131b3o5bo141b3o5bo6bobo132b3o5bo141b3o5bo141b
3o5b3o139b3o5b3o139b3o5b3o139b3o5b3o139b3o5b5o137b3o5b5o137b3o5b5o137b
3o5b5o137b3o5b5o137b3o5b5o137b3o5b5o8b2o127b3o7b3o137b3o7b3o137b3o7b3o
137b3o7b3o137b3o7b3o274b2o312b2o148b2o146bobo147bobo22bo123bo2bo2b2o
142bo2bo146bo2bo8b2o136bo2bo8b2o136bo2bo4bo4bobo130bo3bo2bo4bo4bo2bo3b
o407b3o613b3o750bo1196b2o790b3o581b3o746bo1201b2o419b2o9bo138bobo147b
2o148bobo149bobo143b2o5bo148b2o15bo9b2o121b2o24bobo121b2o25b2o121b2o
24bobo121b2o22bobo123b2o21bo5b2o119b2o21b2o125b2o4bobo14b2o125b2o4bobo
7bobo4b2o125b2o4bobo7bobo4b2o125b2o4bobo7bobo4b2o125b2o4bobo7bobo4b2o
121bo3b2o4bobo7bobo4b2o125b2o4bobo7bobo4b2o125b2o4bobo7bobo4b2o3bo121b
2o4bobo7bobo4b2o117b3o5b2o4bobo7bobo4b2o5b3o117b2o4bobo7bobo4b2o125b2o
4bobo7bobo4b2o125b2o4bobo7bobo4b2o125b2o4bobo7bobo4b2o125b2o4bobo7bobo
4b2o126bo4bobo7bobo4bo127bo4bobo7bobo4bo115bobo9bo4bobo7bobo4bo9bobo
115bo4bobo7bobo4bo127bo4bobo7bobo4bo127bo4bobo7bobo4bo$603bo13bo591bob
o147bobo138bobo5bo3bo5bobo135b2o138bobo158b2o144bo5bo149bo149bo146bo2b
o137bo7bo3bo143bo5bo143bo2bo2bo7bo135bo2bo4bo141bo2bo6b2o138bo2bo15bob
o128bo2bo5b2o139bo2bo5b2o5b2o132bo2bo4bo141bo2bo4bo5bo135bo2bo4bo141bo
2bo4bo141bo2bo4bo2bo138bo2bo4bo3bo7bo129bo2bo4bo5bo135bo2bo4bo5bo135bo
2bo4bo5bo135bo2bo4bo2bo2bo135bo2bo4bo2bo2bo135bo2bo4bo2bo2bo135bo2bo4b
o2bo2bo8bo126bo2bo7bo2bo136bo2bo6bo2bo136bo2bo6bo2bo136bo2bo5bo2bo137b
o2bo5bo2bo141b2o130bo469b2o142bo6b2o141bo24bo123bobo2bobo142bobo147bob
o147bobo3b2o142bobo10bo129bobo4bobo9bobo4bobo407bo613bo753bo1197bo274b
2o513bo585bo745bo1201bo323b2o247b2o146bobo149b2o150b2o142bobo5b2o323b
2o149bobo146b2o146b2o146b2o5bobo275bo149bo9bo139bo9bo139bo5bo3bo139bo
5bo3bo126bobo10bo5bo3bo139bo5bo3bo139bo5bo3bo10bobo126bo5bo3bo128b2o9b
o5bo3bo9b2o128bo5bo3bo139bo5bo3bo139bo5bo3bo139bo5bo3bo139bo5bo3bo132b
o6bo5bo3bo6bo125bo6bo5bo3bo6bo116bo8bo6bo5bo3bo6bo8bo116bo6bo5bo3bo6bo
125bo6bo5bo3bo6bo125bo6bo5bo3bo6bo$1209bobo147bobo140bo15bo137bo140b2o
305bo3b2o137bo3b2o5b2o148b2o148b2o135bobo7b2ob2o143bobo2b2o143b2o3b2o
7bobo133b2o4bobo141b2o9bo138b2o17b2o129b2o148b2o15bo132b2o5bo10bo131b
2o6b2o3bo136b2o6b2o5b2o3bo129b2o6b2o140b2o6b2o140b2o6b2ob2o7bobo127b2o
6b2o2bobo135b2o6b2o2bobo135b2o5bobo2bobo135b2o5bobo3b2o135b2o5bobo3b2o
135b2o5bobo3b2o135b2o5bobo3b2o135b2o11b2o138b2o8b2o137b2o9b2o137b2o6b
2o140b2o7b2o141b2o601b2o150b2o290bo4bo144bo149bo149bo4b2o143bo15bo126b
2o5bo11bo5b2o407bo615bo2226b2o513bo583bo2271b2o398bo149bo151bo3b2o622b
o149bo142b2o3bo886bobo147bobo130b2o15bobo147bobo147bobo13b2o115bobo14b
obo12bobo115bo2bo13bobo11bo2bo107bobo7b2o13bobo11b2o7bobo109b2o13bobo
11b2o119b2o13bobo11b2o119b2o13bobo11b2o119b2o13bobo11b2o121bo12bobo10b
o123bo12bobo10bo123bo12bobo10bo123bo12bobo10bo123bo12bobo10bo123bo12bo
bo10bo$1200b3o5b2ob2o5b3o137b2ob2o124b3o41b3o430bobo135b3o143bob2o444b
2o156b2o161b2o140b2o598b2o148bo11bobo142b3o150b2obo450b2o140b2o148b2o
144bo3b2o144bo148b2o148b2o148b2o888bo8bo585bo165bo8bo291b2o461bo142b2o
122b3o31b3o2963b2o279bo3053b2o318bo249b3o151b2o297b2o469b3o144b2o299b
2o890bo147bobo140b2o5bobo140b2o5bobo140b2o5bobo5b2o125b2o6b2o5bobo5b2o
6b2o116bo2bo5b2o5bobo5b2o5bo2bo103b3o2b2o6bobo5b2o5bobo5b2o5bobo6b2o2b
3o104bobo5b2o5bobo5b2o5bobo119bo5b2o5bobo5b2o5bobo119bo5b2o5bobo5b2o5b
o121bo5b2o5bobo5b2o5bo121bo5b2o5bobo5b2o5bo121bo5b2o5bobo5b2o5bo121bo
5b2o5bobo5b2o5bo121bo5b2o5bobo5b2o5bo121bo5b2o5bobo5b2o5bo121bo5b2o5bo
bo5b2o5bo$1047bobo152bo15bo270bo16b2o23bo124b2o141b3o162b2o280b3o3bo
1060b2o154b3o137b2o147bo2bo10bo135bo12b2o2b2o291bo3b3o1785b2o297b2o
289b2o307b2o144bo140bo6b2o5b2o157b2o290b2o147b2o153bo143b2o5b2o6bo140b
2o2b2o123bo4b2o19b2o4bo2966b2o3331b2o571bo152b2o6b2o132b2o12b3o134b3o
4bo468bo137b2o6b2o141b3o12b2o141bo4b3o1034bo141bobo5bo141bobo5bo141bob
o5bo5bobo125bo7bobo5bo5bobo7bo117b2o6bobo5bo5bobo6b2o106bo2bo7b2o6bobo
5bo5bobo6b2o7bo2bo94b2o10b2o6bobo5bo5bobo6b2o10b2o106bo6bobo5bo5bobo6b
2o10b2o106bo6bobo5bo5bobo6bo119bo6bobo5bo5bobo6bo119bo6bobo5bo5bobo6bo
119bo6bobo5bo5bobo6bo119bo6bobo5bo5bobo6bo119bo6bobo5bo5bobo6bo119bo6b
obo5bo5bobo6bo110b2o7bo6bobo5bo5bobo6bo7b2o$1048b2o10b3o138bo17bo138bo
3bo125bo18b2o23bo124b2o142bo163bo132bo5b2o295b2o155b2o138b3o313b3o144b
2o149b2o155bo138b2o148bo2bo10bobo133b2o15bobo137b2o5bo295b2o141b2o157b
3o286b2o596b2o148b2o4b2o8bo286bobo295bobo288bobo5b2o300bobo144bo3b3o
131b3o6bobo4b2o150b2o5bobo291bo145bobo146b3o3bo144b2o4bobo6b3o138bobo
125bo4bobo19bobo4bo2964bo272b3o3060bo324b3o242bo143b2o7bo7b2o132bobo
12bo136bo476bo137b2o7bo7b2o133bo12bobo147bo276b2o163b2o439b2o140b2o
151bo145b2obobo14b2o128b2obobo12bo131b2obobo11bobob2o127b2obobo11bobob
2o110bo16b2obobo11bobob2o16bo92bo2bo14b2obobo11bobob2o14bo2bo104bo4b2o
bobo11bobob2o14bo2bo104bo4b2obobo11bobob2o4bo117bo4b2obobo11bobob2o4bo
117bo4b2obobo11bobob2o4bo117bo4b2obobo11bobob2o4bo117bo4b2obobo11bobob
2o4bo117bo4b2obobo11bobob2o4bo117bo4b2obobo11bobob2o4bo108bobo6bo4b2ob
obo11bobob2o4bo6bobo$12bo741b2o15b2o125b2o15b2o131bo11bo297b2ob2o143bo
149bo143bo297b2o4bobo295b2o150b2o2bobo139bo155b2o156bo146bobo150bo155b
o134b2o3bo148b2o11b2o151bo138bobo4b2o294b2o141bobo2b2o153bo139b2o146bo
2bo444b3o148b2o4b2o142b2o3bo2bo6bo287bo299bo147b2o146bobo286b2o12bo
144b3o3bo138bo3bo9b2o147bobo446bo12b2o134bo3b3o139b2o9bo3bo143bo134bo
7b3o9bo3246bo3385bo387bobo11b3o3bo133bo3bo9bo136bo612bo3b3o11bobo131bo
9bo3bo148bo276bobo163bobo294b2o141bobo139bobo297b2ob2o15bobo127b2ob2o
139b2o4b2ob2o13b2ob2o4b2o121b2ob2o13b2ob2o127b2ob2o13b2ob2o109bobo15b
2ob2o13b2ob2o15bobo101bobo5b2ob2o13b2ob2o15bobo101bobo5b2ob2o13b2ob2o
5bobo111bobo5b2ob2o13b2ob2o5bobo111bobo5b2ob2o13b2ob2o5bobo111bobo5b2o
b2o13b2ob2o5bobo111bobo5b2ob2o13b2ob2o5bobo111bobo5b2ob2o13b2ob2o5bobo
111bobo5b2ob2o13b2ob2o5bobo107bo3bobo5b2ob2o13b2ob2o5bobo3bo$2o10b2o
739bobo15bobo123bobo15bobo143bo295bobobobo586b3o12b2o130bobo4bo296bo5b
2o144bobo2bo140bo155bobo2b2o153bo145bo442bobo311bo147bo4bobo288b2o5bo
142bo2bobo153bo138bobo146b2o2b2o443bo155b2ob3o142bo2bo6b3o281b3o303b3o
142bobo148bo285bobo8b3o153bo137b2o12bobo146bo450b3o8bobo132bo145bobo
12b2o288bo3255bo41b2o3301b2o41bo388bo13bo140b2o296b2o465bo13bo143b2o
300b2o128bo5b2o149b2o5bo291b2o2b2o144bo141bo144b2o171bo153b2o117bobo
31bobo247b2o65b2o87bo55bo102b2o45bo102b2o35b2o111b2o35b2o111b2o35b2o
111b2o35b2o111b2o35b2o111b2o35b2o111b2o35b2o111b2o35b2o$b2o8bobo741bo
15bo127bo15bo1036bo12bobo439bobo145bo301bo2bobo743bo164bo145b2o442bobo
151bo294bo152bobo288b2o151bo2b2o151bo3bo145b2o138b2o153bo157b2o144bo
146bo308b2o126bo10bo148b3o139bobo12bo287b2o310bo10bo137b3o142bo12bobo
286bo3297b2o3303b2o442bo141bobo296b2o465bo155bobo299b2o135bobo147bobo
147b2o147bo2bo3bo145b3o140b2o139bobo9bo157b2o146bo9bobo118bo31bo248bob
o65bobo90b2o2b3o185b3o2b2o1174b3o$o1050b2o6b2o890bo9bo3bo441bo452bo
747b2o160b2o145bobo443bo443b2o154bo291b2o153bobo155bo156b2o122b2o2bobo
151bo157bobo2b2o141bo433b2o4bobo12bobo135bo8b3o138bo445b2o11bo5b3o279b
3o8bo149bo448b2o3294bo3301bo427b2o455bo483b2o442bo134bo151bo142b3ob2o
148bo2bo149bo143b2o140bo8b2o156b2o147b2o8bo403bo65bo93b2obo189bob2o
1175bo$1050bobo7b2o754bo144b2o595b2o894bo153bobo159bobo128bo609b2o293b
obo295bo149bo155bo314bobo120bobo2bo313bo2bobo287b2o286b2o4b2o12bo5bo
140bo141bo147b2o294bo13bobo3bo283bo157bo150b2o283b3o10b2o5b3o3259b2o
3355b2o398bobo939bobo873bo3bo148b2o151bo141bo3b2o146bobo152b2o3bo145bo
bo571bo4bo187bo4bo1175bo$1052bo6bo8b3o726b2o16b2o143bobo438b3o153bobo
144b2o303b2o443b2o16b2o134bo292b2o464b3o141bobo151b2o141bo293bobo620bo
124bo319bo289bobo284bo6bo18b2o141bo287b2o289b2o18b2o5bo281bo310b2o284b
o12bo4bo1611bo1648bobo1706bo1648bobo399bo463b3o473bo433b3o140b2o153b2o
141bo452bobo299bobo714b2o213b2o1148b3o21bo9b3o$1068bo729b2o15bobo585bo
155bo144bobo301bobo442bobo15b2o291b2o134bobo464bo143bo152bobo436b2o
1355bo138b2o172bobo430bo163b2o122bobo617bo285bo5b2o12bo1610b2o1649bo
1705b2o1648bo865bo911bo139bobo153bobo593bo144b3o156bo152b3o560b2o211b
2o1151bo20b2o9bo$1069bo727bo604bo301bo305bo462bo289b2o603bo297bo587b3o
597bo311bo431bobo165b2o602bobo123bo6b2o890b2o10b2o15b2o1604bobo1677bo
1677bobo1619bo894bo909bo142bo153bo742bo309bo561bo215bo1140bo8bo21bobo
4b2o3bo8bo$1813bo577b2o1064bo307bo612b2o876bo597b2o309b2o433bo165bobo
601bo133b2o890b2o8bo16b2o1636b2o1646b2o1647b2o1650b2o2842bo311bo1917b
2o35b2o12b2o$1812b2o576bobo1064b2o919bobo874bo443b2o152bobo309bobo598b
o736bo891bo29bo1634b2o1647bobo1647b2o1648bobo5071bobo37bo11bobo$1812bo
bo577bo1063bobo919bo719b2o598bobo18b3o4340bo3295bo$5097bobo156b2o442bo
18bo1038bo752b2o$5099bo19b2o134b2o436b2o25bo1037b2o426bo324bobo620bo$
5118b2o137bo434bobo751b2o309bobo426b2o323bo621b2o11951bo$5120bo573bo
16b2o734b2o451b3o282bobo630b3o312bobo11950b2o$5712b2o732bo455bo915bo
12266bobo$5107b2o602bo1189bo917bo$5096b3o7bobo612b2o$5098bo9bo611b2o$
5097bo624bo3$7235b2o$7234b2o850b2o$7236bo848bobo$8087bo3$20131bo$
20130b2o$20130bobo44$20070bo$20070b2o$20069bobo!
Continuous synthesis, safe repeat time 4892 due to the spider having to get past incoming gliders. With Goldtiger997's alternate starting synthesis, the ridiculously oversized spark to the south is no longer slowing down the repeat time.

Code: Select all

x = 4867, y = 4913, rule = B3/S23
27bo$25bobo$26b2o12bo$41b2o$40b2o$28bo4823bo$29b2o4819b2o$28b2o4821b2o
2$18bobo4839bobo$19b2o4839b2o$19bo4841bo12$21bo4837bo$22b2o4833b2o$21b
2o4835b2o3$21bo4837bo$19bobo4837bobo$20b2o4837b2o$31bo4817bo$32bo4815b
o$30b3o4815b3o13$43bo4793bo$44bo4791bo$42b3o4791b3o21$4774bobo$4774b2o
$4775bo$99bobo$65bo34b2o4713bo$63bobo34bo4714bobo$64b2o4749b2o3$68bobo
4739bobo$69b2o4739b2o$69bo4741bo$4806bobo$4806b2o$4807bo10$85bo$86b2o$
85b2o6$134bobo$135b2o$135bo4615bo$4751bobo$4751b2o$4755bobo$4755b2o$
4756bo2$4735bobo$4735b2o$138bo4597bo$136bobo$137b2o$132bobo$133b2o$
133bo16$4747bobo$4747b2o$4748bo4$122bo4635bo$123b2o4631b2o$122b2o4633b
2o2$4741bo$4739b2o$4740b2o13$4727bo$4726bo$4726b3o5$4723bo$4721b2o$
4722b2o8$4709bobo$4709b2o$4710bo2$4705bobo$4705b2o$4706bo7$261bo4426bo
bo$262b2o4424b2o$188bobo70b2o4426bo$189b2o$189bo4457bo$4646bo$4646b3o
2$4652bo$4651bo$4651b3o2$196bo$197b2o67bobo$196b2o69b2o$267bo$4667bo$
251bo4413b2o$252bo4413b2o$250b3o8$210bo4451bo$211bo4429bo20bobo$209b3o
4429bobo18b2o$4641b2o2$271bo$269bobo$214bo55b2o$215b2o$214b2o4428bobo$
4644b2o$4645bo$273bo$274bo$272b3o4372bo$4645b2o$4642bo3b2o$4640b2o$
4641b2o6$4608bo$286bo4320bo$287bo4319b3o$285b3o$291bo$292bo$290b3o5$
4592bobo$4592b2o$4593bo$247bobo$248b2o26bo19bo$248bo25bobo20bo$275b2o
18b3o4316bo$251bobo4360bobo$252b2o4360b2o3bobo$252bo4366b2o$4620bo4$
4589bo9bobo$4588bo10b2o$4588b3o9bo2$4613bobo$299bobo4bo4299bo6b2o$300b
2o5b2o4297bobo5bo$300bo5b2o4298b2o$4603bo6bobo$315bo4285b2o7b2o$316bo
4285b2o7bo$314b3o4278bo$4593b2o$4594b2o8$322bo$323b2o$322b2o2$4586bo$
4586bobo$4586b2o2$4595bo$4595bobo$4595b2o10$4570bo$4568b2o$4569b2o$
4549bo$4548bo$4548b3o3$350bobo$351b2o$351bo4$359bo$357bobo$358b2o$368b
o4182bo$366bobo4180b2o$362bo4b2o4181b2o$363bo$361b3o12$384bo$385b2o$
384b2o3$4526bo$383bo4141bo$384bo4140b3o$382b3o6$4528bobo$4528b2o$4529b
o2$4522bo$4515bo4b2o$392bo4122bobo3b2o$393bo4121b2o$391b3o4098bo$4491b
o$4491b3o11bo$4503b2o$396bo4107b2o$397bo$395b3o$4510bo$4509bo$4504bo4b
3o$4490bo11b2o$4490bobo10b2o$4490b2o2$416bo4082bo$414bobo4080b2o5bo$
415b2o4081b2o4bobo$4504b2o$380bobo4046bo$381b2o4044b2o57bo$381bo31bo
4014b2o54b2o$414b2o4069b2o$413b2o8bo$424bo$422b3o2$418bo$419bo$417b3o
3$4422bobo$4422b2o$4423bo$403bo$404b2o4033bo$403b2o4033bo$4438b3o8$
408bo$406bobo20bo$407b2o18bobo$428b2o2$4419bo$4419bobo$4419b2o2$424bob
o$425b2o$425bo$4417bo$4416bo$423bo3992b3o$424b2o$423b2o3bo$429b2o$428b
2o6$462bo$463bo3940bo$461b3o3939bo$4403b3o$4399bo$4398bo$4398b3o7$
4396bobo$452bo3943b2o$453b2o3942bo$448bo3b2o$446bobo$447b2o4$468bo$
466bobo8bobo$467b2o9b2o$478bo$454bo$452bobo5bo3925bo5bo$453b2o6b2o
3922bo6bobo$460b2o3923b3o4b2o$457bo7bo$455bobo8bo$456b2o6b3o3910bobo$
473bo3903b2o$474bo3903bo$472b3o8$4370bo$4369bo$4369b3o2$480bo$481b2o$
480b2o2$471bo$472b2o$471b2o10$498bo$499bo$497b3o2$517bobo$518b2o$518bo
2$4341bo$4341bobo$4341b2o4$4335bo$4333b2o$4334b2o$517bo3808bo$518bo
3805b2o$516b3o3806b2o$4330bobo$4330b2o$4331bo11$4308bo$4307bo$4307b3o
4$540bobo$541b2o3766bobo$541bo3767b2o$4310bo5$539bo$537bobo$538b2o2$
546bo$547bo3bo$545b3o4b2o$551b2o3747bobo$4300b2o$574bobo3724bo$563bo
11b2o$564bo10bo$562b3o$4296bobo$4296b2o$4297bo$556bobo$557b2o5bo$557bo
7bo$563b3o3$569bo$562bo7bo$563b2o3b3o$562b2o17$578bo3723bo$579b2o3719b
2o$578b2o3721b2o4$583bo3713bo$584b2o3709b2o$583b2o3711b2o2$4291bo$
4290bo$4290b3o17$630bo$631bo$629b3o2$4224bo38bobo$4223bo39b2o$4223b3o
38bo4$634bobo$635b2o3588bobo$635bo3589b2o$4226bo$4265bobo$4265b2o$
4266bo8$4246bo$4246bobo$4246b2o24$4218bo$4216b2o$4217b2o4$4221bo$4221b
obo$4221b2o9$4199bobo$4199b2o$4200bo$4205bo$4205bobo$4205b2o26$710bo$
711b2o$710b2o8$708bo$709b2o$708b2o8$728bo$729bo$727b3o24$757bo$758bo$
756b3o4$752bo$753b2o$752b2o9$775bo$773bobo$774b2o$768bo$769b2o$768b2o
12$789bobo3297bobo$790b2o3297b2o$790bo3299bo54$4041bo$4040bo$4040b3o5$
4039bo$4037b2o$4038b2o33$878bo$879b2o$878b2o3117bobo$3997b2o$3998bo6$
3977bo$3975b2o$3976b2o12$3968bo$3967bo$3967b3o4$3970bo$3970bobo$3970b
2o6$3956bo$3954b2o$3955b2o17$3941bobo$3941b2o$3942bo$3935bo$3933b2o$
3934b2o2$3937bo$3936bo$3936b3o4$3919bo$3917b2o$3918b2o2$3923bo$3922bo$
3922b3o10$3907bobo$3907b2o$3908bo16$985bo$983bobo$984b2o6$1006bo$1007b
o$1005b3o13$1013bobo$1014b2o$1014bo3$1011bo$1012b2o$1011b2o6$1027bo$
1028bo$1026b3o18$3832bo$3832bobo$3832b2o4$1056bobo$1050bo6b2o$1048bobo
6bo$1049b2o3$1061bobo2753bobo$1062b2o2753b2o$1062bo2755bo6$1067bo2745b
o$1068b2o2741b2o$1067b2o2743b2o2$1071bobo2733bobo$1072b2o2733b2o$1072b
o2735bo4$1110bo$1111b2o$1110b2o4$1076bo$1074bobo38bo$1075b2o39bo2680bo
bo$1114b3o2680b2o$3798bo2$3790bo$3757bo30b2o$3755b2o32b2o$3756b2o5$
3752bo$1094bobo2654bo$1095b2o18bo2635b3o11bo$1095bo20b2o2645b2o$1115b
2o2647b2o$1103bo18bo2635bo$1104b2o17b2o2631b2o$1103b2o12bo4b2o33bo
2599b2o4bo$1115bobo40bo2604bobo$1116b2o38b3o2604b2o$1136bo$1137b2o$
1136b2o2577bobo10bo$3715b2o10bo27bo$3716bo10b3o24bo$3738bo15b3o$3738bo
bo$1158bobo2577b2o$1129bo29b2o$1130b2o27bo$1129b2o8$1140bo2599bo$1141b
2o2595b2o$1140b2o2597b2o$1157bo$1158b2o$1157b2o9$3722bobo$3722b2o$
3723bo2$1160bo4bo$1161bo4bo$1159b3o2b3o2551bo$3717bo$3717b3o4$3724bo$
3722b2o$3723b2o71$1250bo$1248bobo$1249b2o12bo$1264b2o$1263b2o$1251bo
2377bo$1252b2o2373b2o$1251b2o2375b2o2$1241bobo2393bobo$1242b2o2393b2o$
1242bo2395bo12$1244bo2391bo$1245b2o2387b2o$1244b2o2389b2o3$1244bo2391b
o$1242bobo2391bobo$1243b2o2391b2o$1254bo2371bo$1255bo2369bo$1253b3o
2369b3o13$1266bo2347bo$1267bo2345bo$1265b3o2345b3o21$3551bobo$3551b2o$
3552bo$1322bobo$1288bo34b2o2267bo$1286bobo34bo2268bobo$1287b2o2303b2o
3$1291bobo2293bobo$1292b2o2293b2o$1292bo2295bo$3583bobo$3583b2o$3584bo
10$1308bo$1309b2o$1308b2o6$1357bobo$1358b2o$1358bo2169bo$3528bobo$
3528b2o$3532bobo$3532b2o$3533bo2$3512bobo$3512b2o$1361bo2151bo$1359bob
o$1360b2o$1355bobo$1356b2o$1356bo16$3524bobo$3524b2o$3525bo4$1345bo
2189bo$1346b2o2185b2o$1345b2o2187b2o2$3518bo$3516b2o$3517b2o13$3504bo$
3503bo$3503b3o5$3500bo$3498b2o$3499b2o8$3486bobo$3486b2o$3487bo2$3482b
obo$3482b2o$3483bo7$1484bo1980bobo$1485b2o1978b2o$1411bobo70b2o1980bo$
1412b2o$1412bo2011bo$3423bo$3423b3o2$3429bo$3428bo$3428b3o2$1419bo$
1420b2o67bobo$1419b2o69b2o$1490bo$3444bo$1474bo1967b2o$1475bo1967b2o$
1473b3o8$1433bo2005bo$1434bo1983bo20bobo$1432b3o1983bobo18b2o$3418b2o
2$1494bo$1492bobo$1437bo55b2o$1438b2o$1437b2o1982bobo$3421b2o$3422bo$
1496bo$1497bo$1495b3o1926bo$3422b2o$3419bo3b2o$3417b2o$3418b2o6$3385bo
$1509bo1874bo$1510bo1873b3o$1508b3o$1514bo$1515bo$1513b3o5$3369bobo$
3369b2o$3370bo$1470bobo$1471b2o26bo19bo$1471bo25bobo20bo$1498b2o18b3o
1870bo$1474bobo1914bobo$1475b2o1914b2o3bobo$1475bo1920b2o$3397bo4$
3366bo9bobo$3365bo10b2o$3365b3o9bo2$3390bobo$1522bobo4bo1853bo6b2o$
1523b2o5b2o1851bobo5bo$1523bo5b2o1852b2o$3380bo6bobo$1538bo1839b2o7b2o
$1539bo1839b2o7bo$1537b3o1832bo$3370b2o$3371b2o8$1545bo$1546b2o$1545b
2o2$3363bo$3363bobo$3363b2o2$3372bo$3372bobo$3372b2o10$3347bo$3345b2o$
3346b2o$3326bo$3325bo$3325b3o3$1573bobo$1574b2o$1574bo4$1582bo$1580bob
o$1581b2o$1591bo1736bo$1589bobo1734b2o$1585bo4b2o1735b2o$1586bo$1584b
3o12$1607bo$1608b2o$1607b2o3$3303bo$1606bo1695bo$1607bo1694b3o$1605b3o
6$3305bobo$3305b2o$3306bo2$3299bo$3292bo4b2o$1615bo1676bobo3b2o$1616bo
1675b2o$1614b3o1652bo$3268bo$3268b3o11bo$3280b2o$1619bo1661b2o$1620bo$
1618b3o$3287bo$3286bo$3281bo4b3o$3267bo11b2o$3267bobo10b2o$3267b2o2$
1639bo1636bo$1637bobo1634b2o5bo$1638b2o1635b2o4bobo$3281b2o$1603bobo
1600bo$1604b2o1598b2o57bo$1604bo31bo1568b2o54b2o$1637b2o1623b2o$1636b
2o8bo$1647bo$1645b3o2$1641bo$1642bo$1640b3o3$3199bobo$3199b2o$3200bo$
1626bo$1627b2o1587bo$1626b2o1587bo$3215b3o8$1631bo$1629bobo20bo$1630b
2o18bobo$1651b2o2$3196bo$3196bobo$3196b2o2$1647bobo$1648b2o$1648bo$
3194bo$3193bo$1646bo1546b3o$1647b2o$1646b2o3bo$1652b2o$1651b2o6$1685bo
$1686bo1494bo$1684b3o1493bo$3180b3o$3176bo$3175bo$3175b3o7$3173bobo$
1675bo1497b2o$1676b2o1496bo$1671bo3b2o$1669bobo$1670b2o4$1691bo$1689bo
bo8bobo$1690b2o9b2o$1701bo$1677bo$1675bobo5bo1479bo5bo$1676b2o6b2o
1476bo6bobo$1683b2o1477b3o4b2o$1680bo7bo$1678bobo8bo$1679b2o6b3o1464bo
bo$1696bo1457b2o$1697bo1457bo$1695b3o8$3147bo$3146bo$3146b3o2$1703bo$
1704b2o$1703b2o2$1694bo$1695b2o$1694b2o10$1721bo$1722bo$1720b3o2$1740b
obo$1741b2o$1741bo2$3118bo$3118bobo$3118b2o4$3112bo$3110b2o$3111b2o$
1740bo1362bo$1741bo1359b2o$1739b3o1360b2o$3107bobo$3107b2o$3108bo11$
3085bo$3084bo$3084b3o4$1763bobo$1764b2o1320bobo$1764bo1321b2o$3087bo5$
1762bo$1760bobo$1761b2o2$1769bo$1770bo3bo$1768b3o4b2o$1774b2o1301bobo$
3077b2o$1797bobo1278bo$1786bo11b2o$1787bo10bo$1785b3o$3073bobo$3073b2o
$3074bo$1779bobo$1780b2o5bo$1780bo7bo$1786b3o3$1792bo$1785bo7bo$1786b
2o3b3o$1785b2o17$1801bo1277bo$1802b2o1273b2o$1801b2o1275b2o4$1806bo
1267bo$1807b2o1263b2o$1806b2o1265b2o2$3068bo$3067bo$3067b3o17$1853bo$
1854bo$1852b3o2$3001bo38bobo$3000bo39b2o$3000b3o38bo4$1857bobo$1858b2o
1142bobo$1858bo1143b2o$3003bo$3042bobo$3042b2o$3043bo8$3023bo$3023bobo
$3023b2o24$2995bo$2993b2o$2994b2o4$2998bo$2998bobo$2998b2o9$2976bobo$
2976b2o$2977bo$2982bo$2982bobo$2982b2o26$1933bo$1934b2o$1933b2o8$1931b
o$1932b2o$1931b2o8$1951bo$1952bo$1950b3o24$1980bo$1981bo$1979b3o4$
1975bo$1976b2o$1975b2o9$1998bo$1996bobo$1997b2o$1991bo$1992b2o$1991b2o
12$2012bobo851bobo$2013b2o851b2o$2013bo853bo54$2818bo$2817bo$2817b3o5$
2816bo$2814b2o$2815b2o33$2101bo$2102b2o$2101b2o671bobo$2774b2o$2775bo
6$2754bo$2752b2o$2753b2o12$2745bo$2744bo$2744b3o4$2747bo$2747bobo$
2747b2o6$2733bo$2731b2o$2732b2o17$2718bobo$2718b2o$2719bo$2712bo$2710b
2o$2711b2o2$2714bo$2713bo$2713b3o4$2696bo$2694b2o$2695b2o2$2700bo$
2699bo$2699b3o10$2684bobo$2684b2o$2685bo16$2208bo$2206bobo$2207b2o6$
2229bo$2230bo$2228b3o13$2236bobo$2237b2o$2237bo3$2234bo$2235b2o$2234b
2o6$2250bo$2251bo$2249b3o18$2609bo$2609bobo$2609b2o4$2279bobo$2273bo6b
2o$2271bobo6bo$2272b2o3$2284bobo307bobo$2285b2o307b2o$2285bo309bo6$
2290bo299bo$2291b2o295b2o$2290b2o297b2o2$2294bobo287bobo$2295b2o287b2o
$2295bo289bo4$2333bo$2334b2o$2333b2o4$2299bo$2297bobo38bo$2298b2o39bo
234bobo$2337b3o234b2o$2575bo2$2567bo$2534bo30b2o$2532b2o32b2o$2533b2o
5$2529bo$2317bobo208bo$2318b2o18bo189b3o11bo$2318bo20b2o199b2o$2338b2o
201b2o$2326bo18bo189bo$2327b2o17b2o185b2o$2326b2o12bo4b2o33bo153b2o4bo
$2338bobo40bo158bobo$2339b2o38b3o158b2o$2359bo$2360b2o$2359b2o131bobo
10bo$2492b2o10bo27bo$2493bo10b3o24bo$2515bo15b3o$2515bobo$2381bobo131b
2o$2352bo29b2o$2353b2o27bo$2352b2o8$2363bo153bo$2364b2o149b2o$2363b2o
151b2o$2380bo$2381b2o$2380b2o9$2499bobo$2499b2o$2500bo2$2383bo4bo$
2384bo4bo$2382b3o2b3o105bo$2494bo$2494b3o4$2501bo$2499b2o$2500b2o65$
2375b3o$2377bo$2376bo13$2508b3o$2508bo$2509bo30$2392bo$2380b2o10b2o$
2381b2o8bobo$2380bo8$2349b2o$2348bobo$2350bo3$2535b2o$2534b2o$2536bo2$
2341b2o195b2o$2342b2o193b2o$2341bo197bo4$2343b2o191b2o$2342bobo191bobo
$2344bo191bo4$2343b3o189b3o$2345bo189bo$2344bo191bo20$2330b3o221b3o$
2332bo221bo$2331bo223bo11$2311b3o247b3o$2313bo247bo$2312bo249bo9$2571b
o$2570b2o$2570bobo3$2280b3o11bo6b2o6b3o274bo11b3o$2282bo11b2o6b2o7bo
267bo5b2o11bo$2281bo11bobo5bo8bo267b2o5bobo11bo$2578bobo2$2287b2o303b
2o$2286bobo9b2o281b2o9bobo$2288bo8bobo281bobo8bo$2273b3o23bo281bo23b3o
$2275bo16b2o311bo$2274bo18b2o311bo$2292bo9$2274b3o$2276bo3b2o$2275bo5b
2o$2280bo3$2601bo$2272b2o326b2o$2273b2o325bobo$2272bo$2598bo$2597b2o$
2266bo330bobo$2266b2o342b2o$2265bobo341b2o$2276b2o333bo$2275bobo$2277b
o12$2245bo371b2o$2245b2o370bobo$2244bobo370bo$2227bo$2227b2o$2226bobo$
2623b2o$2623bobo$2229b3o391bo$2231bo$2230bo5$2233b2o$2232bobo$2234bo
401bo$2635b2o$2635bobo2$2233b2o$2234b2o$2233bo$2223bo$2223b2o$2222bobo
2$2649b2o$2223b2o424bobo$2222bobo424bo$2224bo2$2227b2o$2226bobo$2228bo
$2209b3o$2211bo$2210bo4$2653b2o$2653bobo$2653bo3$2207b2o$2208b2o459b2o
$2207bo460b2o$2670bo4$2682b2o$2681b2o$2683bo4$2202bo$2202b2o$2201bobo$
2697b2o$2697bobo$2697bo$2689b3o$2689bo5bo$2690bo3b2o$2694bobo$2186b2o
512bo$2187b2o510b2o$2186bo512bobo2$2189b2o$2190b2o$2189bo2$2702bo$
2701b2o$2701bobo$2172b3o$2174bo537b2o$2173bo537b2o10bo$2700b3o10bo8b2o
$2700bo5bo15bobo$2701bo3b2o$2705bobo6b3o$2714bo$2715bo$2163b3o$2165bo$
2164bo10$2160bo$2160b2o574b3o$2159bobo574bo$2737bo$2754b3o$2754bo$
2154bo600bo$2154b2o$2153bobo596b2o$2751b2o$2753bo5$2749bo$2748b2o$
2748bobo$2141b3o$2143bo$2142bo$2748b2o$2748bobo$2748bo2$2758b3o$2758bo
$2759bo$2128bo$2128b2o629bo$2127bobo628b2o$2758bobo2$2755bo$2754b2o$
2754bobo$2772b2o$2771b2o$2773bo4$2124bo$2124b2o$2123bobo3$2771b2o$
2771bobo$2771bo$2106b2o667b3o$2105bobo667bo$2107bo668bo6$2096b2o$2097b
2o$2096bo683b3o$2780bo$2781bo$2089b2o$2088bobo4bo9b2o$2090bo4b2o9b2o$
2094bobo8bo2$2089b2o$2090b2o$2089bo2$2080b3o698b2o$2082bo698bobo$2081b
o699bo14b2o$2796bobo$2796bo2$2081bo$2081b2o727b2o$2080bobo727bobo$
2810bo7bo$2817b2o$2817bobo4$2067bo$2067b2o743b2o$2066bobo742b2o$2061bo
751bo$2061b2o$2060bobo16b2o$2078bobo$2080bo$2813b2o$2813bobo$2813bo3$
2815b2o$2047b2o765b2o$2048b2o766bo$2047bo2$2052b2o$2051bobo$2053bo$
2833b3o$2833bo$2043b2o789bo$2042bobo$2044bo$2051b3o$2053bo790b3o$2052b
o791bo$2845bo2$2840b2o$2839b2o$2033bo807bo$2033b2o$2032bobo$2849b2o$
2848b2o$2850bo4$2025b3o$2027bo$2026bo2$2852b3o$2852bo$2853bo6$2014bo$
2014b2o$2013bobo2$2871b3o$2871bo$1996b2o874bo$1995bobo$1997bo5b2o$
2004b2o$1978bo24bo$1978b2o$1977bobo3$1995b2o$1996b2o$1995bo3$1985bo
904b3o$1985b2o903bo$1984bobo904bo4b2o$2895b2o$2897bo$2888b3o$2888bo$
2889bo2$1995b2o$1996b2o898b2o$1995bo899b2o$1968b2o9bo917bo$1969b2o8b2o
$1968bo9bobo922bo$2902b2o$2902bobo9$1974bo$1974b2o$1973bobo11$2924b3o$
2924bo$2925bo$2920b3o$2920bo$2921bo3$2927bo$2926b2o$2926bobo8bo$1935b
3o998b2o$1937bo998bobo$1936bo$2928b2o$2928bobo$2928bo7$1922b3o$1924bo$
1923bo7$2958b2o$2958bobo$2958bo6$1913b2o$1914b2o$1913bo1064bo$2977b2o$
2970b2o5bobo$2970bobo$2970bo$2995b3o$2995bo$2996bo2$2978b2o$2978bobo$
2978bo3$1894b2o$1895b2o1091b3o$1894bo1093bo$1888b2o1099bo$1887bobo$
1889bo6b2o1092bo$1897b2o1090b2o$1896bo1092bobo2$2978b2o$1889bo1088bobo
$1889b2o1087bo$1888bobo1115bo$2995b2o8b2o$2994b2o9bobo$1882b2o1112bo$
1883b2o$1849b3o30bo$1851bo$1850bo7$3000b2o$2999b2o$3001bo10$1860b2o$
1859bobo$1861bo$1864b2o$1863bobo$1865bo4$1858b2o$1859b2o$1848b2o8bo
1179b2o$1849b2o1187bobo$1848bo1189bo2$1856b3o$1858bo$1857bo6$3051b2o$
3051bobo$3051bo9$1828b2o$1829b2o$1828bo4$1802bo1261b2o12bo$1802b2o
1259b2o12b2o$1801bobo4b2o1255bo5b2o4bobo$1809b2o7bo1251b2o$1808bo9b2o
1252bo$1781b2o34bobo$1780bobo$1782bo26bo1253b3o5bo$1809b2o1252bo6b2o$
1789b3o16bobo1253bo5bobo$1791bo23b3o$1790bo13b3o10bo1256b3o$1806bo9bo
1257bo$1774b2o29bo1269bo$1773bobo$1775bo3$1782b2o$1783b2o$1782bo2$
1770b2o$1771b2o$1770bo4$3079b3o$1758b3o1318bo$1760bo1319bo$1759bo3$
1751b2o$1750bobo1331b3o$1752bo1331bo$3085bo5$1735bo$1735b2o$1734bobo
13$1737bo$1737b2o$1736bobo18$1722b3o$1724bo$1723bo1405b2o$3129bobo$
3129bo5$1698b3o$1700bo$1699bo2$1704b2o$1703bobo$1705bo$3147b2o$3147bob
o$1693b2o1452bo$1692bobo$1694bo5$3193bo$3192b2o$3192bobo3$3209b2o$
3208b2o$3210bo$1682b2o$1681bobo$1683bo$1673b2o$1672bobo$1636b3o27bo7bo
$1638bo27b2o$1637bo27bobo4$1670b2o$1669bobo$1671bo19$1648bo$1648b2o4b
3o$1622b3o22bobo6bo$1624bo30bo1539b3o$1623bo1571bo$3196bo2$1653b3o$
1655bo$1654bo5$1625b2o$1624bobo$1626bo2$1617b2o$1618b2o$1617bo1598b2o$
3216bobo$3216bo$1633bo$1633b2o$1632bobo2$3217b3o$3217bo$3218bo8$3270b
2o$3270bobo$3270bo11$3286bo$3285b2o$3285bobo2$3277b2o$3276b2o$3278bo2$
3293bo$3292b2o$3292bobo3$3284b2o$3284bobo$3284bo2$3296b2o$3296bobo$
3296bo4$1612b2o$1613b2o1693b2o$1612bo1694b2o$3309bo3$3316bo$1607b2o
1706b2o$1608b2o1705bobo$1607bo6$3331b3o$3331bo$3332bo13$3329b3o$3329bo
$3330bo17$3344b2o$3343b2o$1563bo1781bo$1563b2o$1562bobo5$3368b2o$3367b
2o$3369bo2$3363bo$3362b2o$3362bobo$1545bo$1545b2o$1544bobo1827bo$3373b
2o$3373bobo13$1480b2o1903bo$1481b2o1901b2o$1480bo1903bobo$3394bo$3393b
2o$3393bobo$3400b3o$3400bo$3401bo30b3o$3432bo$3433bo$3397bo$3396b2o$
3396bobo13$3378bo$3377b2o4b2o$3377bobo3bobo$3383bo6$3422bo$3414b3o4b2o
$1473b2o1939bo6bobo22b3o$1474b2o17b3o1919bo30bo$1473bo21bo1951bo$1494b
o2$3415b3o$3415bo$3416bo5$3444b2o$3444bobo$3444bo2$3452b2o$3451b2o$
1473b2o1978bo$1472bobo$1474bo$3437bo$3436b2o$3436bobo2$1471b3o$1441b3o
29bo$1443bo28bo$1442bo6bo$1449b2o1972bo$1448bobo1971b2o$1439b3o11b2o
1967bobo$1441bo10bobo$1440bo13bo2$1436b3o$1438bo$1437bo2$1432bo1998b2o
$1432b2o1996b2o$1431bobo1998bo$3420b3o$3420bo$3421bo3$1410b2o$1409bobo
$1411bo2$1413bo$1413b2o2024bo$1412bobo2023b2o$3433b2o3bobo$3433bobo$
3433bo3$1417b2o$1418b2o$1417bo2$3443b3o$3443bo$3444bo2$1424bo$1418b2o
4b2o$1417bobo3bobo$1419bo8$3484b2o$3483b2o$3485bo3$3494b3o$3494bo$
3488bo6bo$1400bo2086b2o$1400b2o2085bobo$1399bobo2081b2o11b3o$3483bobo
10bo$3483bo13bo2$3499b3o$3499bo$3500bo2$1391b2o2112bo$1392b2o2110b2o$
1391bo2112bobo$1401b3o$1403bo$1402bo3$3526b2o$3526bobo$3526bo2$3524bo$
1384bo2138b2o$1384b2o2137bobo$1383bobo3b2o$1388bobo$1390bo3$1341b2o
2176b2o17b2o$1340bobo2175b2o18bobo$1342bo2177bo17bo2$1378b3o$1335b3o
42bo2162b3o$1337bo20bo20bo2163bo$1336bo21b2o2184bo$1357bobo2154bo$
3513b2o$3513bobo2$1363bo$1363b2o$1362bobo$3531bo$3530b2o$1357bo2172bob
o$1357b2o$1356bobo2$3526bo$3525b2o$3525bobo3$3531bo5b2o$1343b2o2185b2o
5bobo$1342bobo2185bobo4bo$1344bo4$1337b2o$1336bobo$1338bo$3542b3o$
3542bo$3543bo3$1321b3o$1323bo$1322bo3bo$1326b2o$1325bobo$3546b3o$3546b
o$3547bo$1311b2o$1312b2o2237b2o$1311bo2239bobo$3551bo$1319bo2250b2o$
1319b2o2249bobo$1318bobo2249bo$3566b2o$3565b2o$1320b2o2245bo$1319bobo$
1321bo$3581bo$3580b2o$1315b3o2262bobo$1317bo$1291b2o23bo2271b2o$1290bo
bo2280b2o13bobo$1292bo2279b2o14bo$3574bo2$1281b2o2273b2o$1280bobo2272b
2o$1282bo2274bo$1272b2o$1271bobo$1273bo44b3o2282b2o$1320bo2281b2o$
1319bo2284bo$1262b3o2347b2o2b3o$1264bo2346b2o3bo$1263bo2349bo3bo2$
1262bo2355bo$1262b2o2353b2o$1261bobo2353bobo11$1250b3o2375b3o$1238b2o
12bo2375bo12b2o$1239b2o5b2o3bo2377bo3b2o5b2o$1238bo6bobo2385bobo6bo$
1247bo2385bo3$1242b2o2393b2o$1243b2o2391b2o$1242bo2395bo3$1240b2o2397b
2o$1239bobo2397bobo$1241bo2397bo2$3615b3o$3615bo$3616bo$1246b3o2373bo
9b3o$1248bo2372b2o9bo$1238bo8bo2373bobo4b2o3bo8bo$1238b2o2387b2o12b2o$
1237bobo2389bo11bobo4$1240bo$1240b2o$1239bobo13$3637bo$3636b2o$3636bob
o20$1152b3o$1154bo$1153bo13$3731b3o$3731bo$3732bo7$1224bo$1224b2o$
1223bobo21$1169bo$1157b2o10b2o$1158b2o8bobo$1157bo8$1126b2o$1125bobo$
1127bo3$3758b2o$3757b2o$3759bo2$1118b2o2641b2o$1119b2o2639b2o$1118bo
2643bo4$1120b2o2637b2o$1119bobo2637bobo$1121bo2637bo4$1120b3o2635b3o$
1122bo2635bo$1121bo2637bo20$1107b3o2667b3o$1109bo2667bo$1108bo2669bo
11$1088b3o2693b3o$1090bo2693bo$1089bo2695bo9$3794bo$3793b2o$3793bobo3$
1057b3o11bo6b2o6b3o2720bo11b3o$1059bo11b2o6b2o7bo2713bo5b2o11bo$1058bo
11bobo5bo8bo2713b2o5bobo11bo$3801bobo2$1064b2o2749b2o$1063bobo9b2o
2727b2o9bobo$1065bo8bobo2727bobo8bo$1050b3o23bo2727bo23b3o$1052bo16b2o
2757bo$1051bo18b2o2757bo$1069bo9$1051b3o$1053bo3b2o$1052bo5b2o$1057bo
3$3824bo$1049b2o2772b2o$1050b2o2771bobo$1049bo$3821bo$3820b2o$1043bo
2776bobo$1043b2o2788b2o$1042bobo2787b2o$1053b2o2779bo$1052bobo$1054bo
12$1022bo2817b2o$1022b2o2816bobo$1021bobo2816bo$1004bo$1004b2o$1003bob
o$3846b2o$3846bobo$1006b3o2837bo$1008bo$1007bo5$1010b2o$1009bobo$1011b
o2847bo$3858b2o$3858bobo2$1010b2o$1011b2o$1010bo$1000bo$1000b2o$999bob
o2$3872b2o$1000b2o2870bobo$999bobo2870bo$1001bo2$1004b2o$1003bobo$
1005bo$986b3o$988bo$987bo4$3876b2o$3876bobo$3876bo3$984b2o$985b2o2905b
2o$984bo2906b2o$3893bo4$3905b2o$3904b2o$3906bo4$979bo$979b2o$978bobo$
3920b2o$3920bobo$3920bo$3912b3o$3912bo5bo$3913bo3b2o$3917bobo$963b2o
2958bo$964b2o2956b2o$963bo2958bobo2$966b2o$967b2o$966bo2$3925bo$3924b
2o$3924bobo$949b3o$951bo2983b2o$950bo2983b2o10bo$3923b3o10bo8b2o$3923b
o5bo15bobo$3924bo3b2o$3928bobo6b3o$3937bo$3938bo$940b3o$942bo$941bo10$
937bo$937b2o3020b3o$936bobo3020bo$3960bo$3977b3o$3977bo$931bo3046bo$
931b2o$930bobo3042b2o$3974b2o$3976bo5$3972bo$3971b2o$3971bobo$918b3o$
920bo$919bo$3971b2o$3971bobo$3971bo2$3981b3o$3981bo$3982bo$905bo$905b
2o3075bo$904bobo3074b2o$3981bobo2$3978bo$3977b2o$3977bobo$3995b2o$
3994b2o$3996bo4$901bo$901b2o$900bobo3$3994b2o$3994bobo$3994bo$883b2o
3113b3o$882bobo3113bo$884bo3114bo6$873b2o$874b2o$873bo3129b3o$4003bo$
4004bo$866b2o$865bobo4bo9b2o$867bo4b2o9b2o$871bobo8bo2$866b2o$867b2o$
866bo2$857b3o3144b2o$859bo3144bobo$858bo3145bo14b2o$4019bobo$4019bo2$
858bo$858b2o3173b2o$857bobo3173bobo$4033bo7bo$4040b2o$4040bobo4$844bo$
844b2o3189b2o$843bobo3188b2o$838bo3197bo$838b2o$837bobo16b2o$855bobo$
857bo$4036b2o$4036bobo$4036bo3$4038b2o$824b2o3211b2o$825b2o3212bo$824b
o2$829b2o$828bobo$830bo$4056b3o$4056bo$820b2o3235bo$819bobo$821bo$828b
3o$830bo3236b3o$829bo3237bo$4068bo2$4063b2o$4062b2o$810bo3253bo$810b2o
$809bobo$4072b2o$4071b2o$4073bo4$802b3o$804bo$803bo2$4075b3o$4075bo$
4076bo6$791bo$791b2o$790bobo2$4094b3o$4094bo$773b2o3320bo$772bobo$774b
o5b2o$781b2o$755bo24bo$755b2o$754bobo3$772b2o$773b2o$772bo3$762bo3350b
3o$762b2o3349bo$761bobo3350bo4b2o$4118b2o$4120bo$4111b3o$4111bo$4112bo
2$772b2o$773b2o3344b2o$772bo3345b2o$745b2o9bo3363bo$746b2o8b2o$745bo9b
obo3368bo$4125b2o$4125bobo9$751bo$751b2o$750bobo11$4147b3o$4147bo$
4148bo$4143b3o$4143bo$4144bo3$4150bo$4149b2o$4149bobo8bo$712b3o3444b2o
$714bo3444bobo$713bo$4151b2o$4151bobo$4151bo7$699b3o$701bo$700bo7$
4181b2o$4181bobo$4181bo6$690b2o$691b2o$690bo3510bo$4200b2o$4193b2o5bob
o$4193bobo$4193bo$4218b3o$4218bo$4219bo2$4201b2o$4201bobo$4201bo3$671b
2o$672b2o3537b3o$671bo3539bo$665b2o3545bo$664bobo$666bo6b2o3538bo$674b
2o3536b2o$673bo3538bobo2$4201b2o$666bo3534bobo$666b2o3533bo$665bobo
3561bo$4218b2o8b2o$4217b2o9bobo$659b2o3558bo$660b2o$626b3o30bo$628bo$
627bo7$4223b2o$4222b2o$4224bo10$637b2o$636bobo$638bo$641b2o$640bobo$
642bo4$635b2o$636b2o$625b2o8bo3625b2o$626b2o3633bobo$625bo3635bo2$633b
3o$635bo$634bo6$4274b2o$4274bobo$4274bo9$605b2o$606b2o$605bo4$579bo
3707b2o12bo$579b2o3705b2o12b2o$578bobo4b2o3701bo5b2o4bobo$586b2o7bo
3697b2o$585bo9b2o3698bo$558b2o34bobo$557bobo$559bo26bo3699b3o5bo$586b
2o3698bo6b2o$566b3o16bobo3699bo5bobo$568bo23b3o$567bo13b3o10bo3702b3o$
583bo9bo3703bo$551b2o29bo3715bo$550bobo$552bo3$559b2o$560b2o$559bo2$
547b2o$548b2o$547bo4$4302b3o$535b3o3764bo$537bo3765bo$536bo3$528b2o$
527bobo3777b3o$529bo3777bo$4308bo5$512bo$512b2o$511bobo13$514bo$514b2o
$513bobo18$499b3o$501bo$500bo3851b2o$4352bobo$4352bo5$475b3o$477bo$
476bo2$481b2o$480bobo$482bo$4370b2o$4370bobo$470b2o3898bo$469bobo$471b
o5$4416bo$4415b2o$4415bobo3$4432b2o$4431b2o$4433bo$459b2o$458bobo$460b
o$450b2o$449bobo$413b3o27bo7bo$415bo27b2o$414bo27bobo4$447b2o$446bobo$
448bo19$425bo$425b2o4b3o$399b3o22bobo6bo$401bo30bo3985b3o$400bo4017bo$
4419bo2$430b3o$432bo$431bo5$402b2o$401bobo$403bo2$394b2o$395b2o$394bo
4044b2o$4439bobo$4439bo$410bo$410b2o$409bobo2$4440b3o$4440bo$4441bo8$
4493b2o$4493bobo$4493bo11$4509bo$4508b2o$4508bobo2$4500b2o$4499b2o$
4501bo2$4516bo$4515b2o$4515bobo3$4507b2o$4507bobo$4507bo2$4519b2o$
4519bobo$4519bo4$389b2o$390b2o4139b2o$389bo4140b2o$4532bo3$4539bo$384b
2o4152b2o$385b2o4151bobo$384bo6$4554b3o$4554bo$4555bo13$4552b3o$4552bo
$4553bo17$4567b2o$4566b2o$340bo4227bo$340b2o$339bobo5$4591b2o$4590b2o$
4592bo2$4586bo$4585b2o$4585bobo$322bo$322b2o$321bobo4273bo$4596b2o$
4596bobo13$257b2o4349bo$258b2o4347b2o$257bo4349bobo$4617bo$4616b2o$
4616bobo$4623b3o$4623bo$4624bo30b3o$4655bo$4656bo$4620bo$4619b2o$4619b
obo13$4601bo$4600b2o4b2o$4600bobo3bobo$4606bo6$4645bo$4637b3o4b2o$250b
2o4385bo6bobo22b3o$251b2o17b3o4365bo30bo$250bo21bo4397bo$271bo2$4638b
3o$4638bo$4639bo5$4667b2o$4667bobo$4667bo2$4675b2o$4674b2o$250b2o4424b
o$249bobo$251bo$4660bo$4659b2o$4659bobo2$248b3o$218b3o29bo$220bo28bo$
219bo6bo$226b2o4418bo$225bobo4417b2o$216b3o11b2o4413bobo$218bo10bobo$
217bo13bo2$213b3o$215bo$214bo2$209bo4444b2o$209b2o4442b2o$208bobo4444b
o$4643b3o$4643bo$4644bo3$187b2o$186bobo$188bo2$190bo$190b2o4470bo$189b
obo4469b2o$4656b2o3bobo$4656bobo$4656bo3$194b2o$195b2o$194bo2$4666b3o$
4666bo$4667bo2$201bo$195b2o4b2o$194bobo3bobo$196bo8$4707b2o$4706b2o$
4708bo3$4717b3o$4717bo$4711bo6bo$177bo4532b2o$177b2o4531bobo$176bobo
4527b2o11b3o$4706bobo10bo$4706bo13bo2$4722b3o$4722bo$4723bo2$168b2o
4558bo$169b2o4556b2o$168bo4558bobo$178b3o$180bo$179bo3$4749b2o$4749bob
o$4749bo2$4747bo$161bo4584b2o$161b2o4583bobo$160bobo3b2o$165bobo$167bo
3$118b2o4622b2o17b2o$117bobo4621b2o18bobo$119bo4623bo17bo2$155b3o$112b
3o42bo4608b3o$114bo20bo20bo4609bo$113bo21b2o4630bo$134bobo4600bo$4736b
2o$4736bobo2$140bo$140b2o$139bobo$4754bo$4753b2o$134bo4618bobo$134b2o$
133bobo2$4749bo$4748b2o$4748bobo3$4754bo5b2o$120b2o4631b2o5bobo$119bob
o4631bobo4bo$121bo4$114b2o$113bobo$115bo$4765b3o$4765bo$4766bo3$98b3o$
100bo$99bo3bo$103b2o$102bobo$4769b3o$4769bo$4770bo$88b2o$89b2o4683b2o$
88bo4685bobo$4774bo$96bo4696b2o$96b2o4695bobo$95bobo4695bo$4789b2o$
4788b2o$97b2o4691bo$96bobo$98bo$4804bo$4803b2o$92b3o4708bobo$94bo$68b
2o23bo4717b2o$67bobo4726b2o13bobo$69bo4725b2o14bo$4797bo2$58b2o4719b2o
$57bobo4718b2o$59bo4720bo$49b2o$48bobo$50bo44b3o4728b2o$97bo4727b2o$
96bo4730bo$39b3o4793b2o2b3o$41bo4792b2o3bo$40bo4795bo3bo2$39bo4801bo$
39b2o4799b2o$38bobo4799bobo11$27b3o4821b3o$15b2o12bo4821bo12b2o$16b2o
5b2o3bo4823bo3b2o5b2o$15bo6bobo4831bobo6bo$24bo4831bo3$19b2o4839b2o$
20b2o4837b2o$19bo4841bo3$17b2o4843b2o$16bobo4843bobo$18bo4843bo2$4838b
3o$4838bo$4839bo$23b3o4819bo9b3o$25bo4818b2o9bo$15bo8bo4819bobo4b2o3bo
8bo$15b2o4833b2o12b2o$14bobo4835bo11bobo4$17bo$17b2o$16bobo13$4860bo$
4859b2o$4859bobo44$bo$b2o$obo!

User avatar
Hdjensofjfnen
Posts: 1338
Joined: March 15th, 2016, 6:41 pm
Location: r cis θ

Re: Small Spaceship Syntheses

Post by Hdjensofjfnen » March 14th, 2019, 7:53 pm

I'm thinking there must be an "efficient" way to synthesize that still-life in the center. Perhaps something better than building a giant still life and deleting bits with gliders.
"A man said to the universe:
'Sir, I exist!'
'However,' replied the universe,
'The fact has not created in me
A sense of obligation.'" -Stephen Crane

Code: Select all

x = 7, y = 5, rule = B3/S2-i3-y4i
4b3o$6bo$o3b3o$2o$bo!

User avatar
dvgrn
Moderator
Posts: 5888
Joined: May 17th, 2009, 11:00 pm
Location: Madison, WI
Contact:

Re: Small Spaceship Syntheses

Post by dvgrn » April 24th, 2019, 5:03 pm

Has anyone come up with any leads on further reductions to the spider synthesis? Shinjuku hasn't heard about anything better than the 581-glider synthesis yet, it seems.

googoIpIex
Posts: 253
Joined: February 28th, 2019, 4:49 pm
Location: Sqrt(-1)

Re: Small Spaceship Syntheses

Post by googoIpIex » April 25th, 2019, 11:55 am

How would one go about finding, per se, a Lobster synthesis?
woomy on a vroomy

User avatar
dvgrn
Moderator
Posts: 5888
Joined: May 17th, 2009, 11:00 pm
Location: Madison, WI
Contact:

Re: Small Spaceship Syntheses

Post by dvgrn » April 25th, 2019, 1:53 pm

googoIpIex wrote:How would one go about finding, per se, a Lobster synthesis?
Yikes. Do you really mean "per se"? I'd rather you meant something like "e.g.", because then we could choose something smaller and lower-period that might be a little closer to being solvable with current tools.

Period 7 is hard to search in the first place, and just the main body of the lobster has something like 100 bits worth of space dust in it -- really 200 bits, but it's mirror-symmetric so you "only" have to build the same thing twice.

If you believe in my ability to estimate the difficulty of this kind of problem (which you shouldn't) then you might want to pick an easier object to construct: nobody has ever been able to construct a 60-bit space dust object, and only one 50-bit space dust object has been completed (the spider), and several 40-bit space dust objects but they've all been fairly difficult.

If glider count is a decent measure of construction difficulty (which it probably isn't) then every time you add ten bits of space dust, the problem gets about ten times harder. So a 100-bit space dust object might be about a hundred thousand times harder to synthesize than a 50-bit one.

That doesn't take into account c/7 objects being more difficult to deal with than c/5 objects. That might or might not be true for construction, the way it is for searches. If some way can be found to build a huge stationary object and light a bunch of faraway fuses at just the right time to produce a lobster, it really might not matter what period the lobster settles into eventually.

Anyway, multiplying out the possible cost, theoretically we might be looking at a synthesis that needs well over a million gliders -- and that's just for the main part of the lobster, not including the claws at the front.

We could try breaking the lobster into smaller problems. For example, it would be a good start to try synthesizing one of the claws near an existing block. The claw attachment can consume a block and return to its original phase in 7 ticks:

Code: Select all

x = 12, y = 8, rule = B3/S23
7bo$7bo$5bobobo$3b3o3b3o$3bobo$3b2o$2o5b2o$2o6bo!
#C [[ GPS 7 STOP 7 ]]
So if we had _that_ recipe,
  and if two such recipes could successfully build the two claws without getting in each other's way,
    and if we were extraordinarily clever or lucky and found a main-body synthesis without any gliders coming from the direction of the claws,
      and if we were extra-extraordinarily lucky and the reaction envelope of that main-body synthesis didn't extend forwards very far, so that it actually worked with the claw syntheses,
        ... then we'd have a recipe for a lobster.

googoIpIex
Posts: 253
Joined: February 28th, 2019, 4:49 pm
Location: Sqrt(-1)

Re: Small Spaceship Syntheses

Post by googoIpIex » April 25th, 2019, 3:25 pm

really? lobster looks like it has less space dust than most spaceships:

Code: Select all

x = 26, y = 26, rule = LifeHistory
11.3A$13.A$8.2A2.A$8.2A$12.2C$11.2CD$10.C2DC2$8.C2DC$7.C3DC$6.CD3C$5.
C3D$5.C2D11.CDC2.2A$6.C12.D2C.A.A$.2A13.2C.DC4.A$A2.2A2.2A6.C2D.C$5.A
2.A6.C2D4.2A$9.2A3.DCDC4.2A$2.A3.A3.A2.3DC$6.2A4.C2DC$.A.A5.A3.2C$2A
8.A$5.A4.A$7.A3.A$4.2A5.A$4.A5.A!
Also, I personally think the amount of space dust vs amount of gliders is logarithmic.
woomy on a vroomy

User avatar
dvgrn
Moderator
Posts: 5888
Joined: May 17th, 2009, 11:00 pm
Location: Madison, WI
Contact:

Re: Small Spaceship Syntheses

Post by dvgrn » April 25th, 2019, 3:56 pm

googoIpIex wrote:really? lobster looks like it has less space dust than most spaceships...
Also, I personally think the amount of space dust vs amount of gliders is logarithmic.
When I color in what looks like space dust to me, it comes out more like this:
x = 27, y = 27, rule = LifeHistory
12.B$11.3A$10.3BA$8.2AB.A2B$7.B2A6B$7.5B2AB$9.2B2AB$9.BC2BA$9.4D$8.C
2DC$7.C3DC$6.CD3C11.B$5.C4D11.3B$4.DC3D10.ABA2B2A$3.3DCD10.DB2ABABAB$
.2C5D8.2CDBA2B.BA$C2D2C2D2C6.C3DC5B$5DC2DC5.DC3D3B2A$9D2C2.2DCDC3.B2A
$2DC3DC3DC5DC4.2B$6D2C4DC2DC$DCDC5DC3D2C$2C8DC3D$.4DC4DC2D$3.4DC3DC$
3.D2C5DC$4.C5DC!
#C [[ ZOOM 16 THUMBNAIL THUMBSIZE 2 ]]
Really anything that we don't completely recognize and know how to construct could be considered "space dust", so at least the second glider in each claw should probably count, too.

There's no space dust at all in a Caterpillar, Centipede, waterbear, Demonoid, etc., but it seems like most small spaceships should have a space-dust bit count at least as big as their minimal covering polyplet. Could subtract some bits for recognizable still lifes and other objects, like the block in a copperhead, the loaf in a loafer, or the pre-TLs in a pre-pulsar spaceship

So far it doesn't seem like there's any particular sign that you can reliably build N-bit space dust with O(log(N)) gliders ... and if you pick N large enough, it seems unlikely that there will be enough new arrangements of N+1 gliders to handle all the new larger space-dust arrangements.

Mathematically that could be a bit debatable because of how ridiculously fast the number of distinct N-glider collisions grows with N -- but only a tiny proportion of those collisions might be useful in building something like a lobster, and the proportion heads toward zero really quick as N increases.

-- There's also the problem that anything that can be built with any number of gliders can be built with 35 gliders... but let's just not go there, please!

User avatar
Moosey
Posts: 2493
Joined: January 27th, 2019, 5:54 pm
Location: A house, or perhaps the OCA board.
Contact:

Re: Small Spaceship Syntheses

Post by Moosey » April 25th, 2019, 7:23 pm

dvgrn wrote:
googoIpIex wrote:really? lobster looks like it has less space dust than most spaceships...
Also, I personally think the amount of space dust vs amount of gliders is logarithmic.
When I color in what looks like space dust to me, it comes out more like this:
x = 27, y = 27, rule = LifeHistory
12.B$11.3A$10.3BA$8.2AB.A2B$7.B2A6B$7.5B2AB$9.2B2AB$9.BC2BA$9.4D$8.C
2DC$7.C3DC$6.CD3C11.B$5.C4D11.3B$4.DC3D10.ABA2B2A$3.3DCD10.DB2ABABAB$
.2C5D8.2CDBA2B.BA$C2D2C2D2C6.C3DC5B$5DC2DC5.DC3D3B2A$9D2C2.2DCDC3.B2A
$2DC3DC3DC5DC4.2B$6D2C4DC2DC$DCDC5DC3D2C$2C8DC3D$.4DC4DC2D$3.4DC3DC$
3.D2C5DC$4.C5DC!
#C [[ ZOOM 16 THUMBNAIL THUMBSIZE 2 ]]
The back part may be a tad easier to make since it could be replaced by a more easily-synthesized relative—it doesn’t interact with the ship for a little time.

I’m not an expert though.

However, given that we found a spider synth recently, and a spider is almost completely space dust...
Maybe it’s attainable.
I (just now, in this very post) wrote:I’m not an expert though

Maybe somebody will find a synthesizeable-looking predecessor. It probably helps that lobsters aren’t super dense.
I am a prolific creator of many rather pathetic googological functions

My CA rules can be found here

Also, the tree game
Bill Watterson once wrote: "How do soldiers killing each other solve the world's problems?"

User avatar
Kazyan
Posts: 865
Joined: February 6th, 2014, 11:02 pm

Re: Small Spaceship Syntheses

Post by Kazyan » April 25th, 2019, 8:43 pm

Those bits in the back are predecessors of a common-as-dirt spark; they're not much of a problem. The front claws seem tricky, but are probably no big deal in the long run either. The big problem is the center--there's not a single phase where anything is sitting still, and it's surrounded on all sides by other space dust. So I can't figure out any sort of approach to creating the center. You'd have to demonstrate a predecessor where the space dust thickness around a still life/oscillator core is only 2-4 cells wide, first.
Tanner Jacobi

User avatar
Freywa
Posts: 589
Joined: June 23rd, 2011, 3:20 am
Location: Singapore
Contact:

Re: Small Spaceship Syntheses

Post by Freywa » April 26th, 2019, 12:39 am

This is not a spaceship, but since a switch engine is doable in 3, Noah's ark can be done in 6:

Code: Select all

x = 23, y = 23, rule = B3/S23
9bobo$10b2o$10bo6bo$16bo$16b3o$20b2o$20bobo$20bo2$o$b2o$2o5$3b2o$2bobo
$4bo2$5b3o$5bo$6bo!
Kazyan wrote:Those bits in the back are predecessors of a common-as-dirt spark; they're not much of a problem. The front claws seem tricky, but are probably no big deal in the long run either. The big problem is the center--there's not a single phase where anything is sitting still, and it's surrounded on all sides by other space dust. So I can't figure out any sort of approach to creating the center. You'd have to demonstrate a predecessor where the space dust thickness around a still life/oscillator core is only 2-4 cells wide, first.
Martin Grant is a freak and the sooner he goes away the better.*

*As evidenced by the link, this is just a jest; he's just very good
Princess of Science, Parcly Taxel

User avatar
dvgrn
Moderator
Posts: 5888
Joined: May 17th, 2009, 11:00 pm
Location: Madison, WI
Contact:

Re: Small Spaceship Syntheses

Post by dvgrn » April 26th, 2019, 12:46 pm

Kazyan wrote:You'd have to demonstrate a predecessor where the space dust thickness around a still life/oscillator core is only 2-4 cells wide, first.
Seems like that's going to be our answer for a while, for any spaceship that's even close to lobster-sized. First, figure out how to apply a lifesrc- or SAT-solver-based approach to the problem of finding pattern predecessors that are stable (still life, or oscillating) in a growing area in their centers. Run that wonderful piece of vaporware software until a predecessor pattern shows up where all the sparks around the edges can be synthesized somehow. Then hope that a synthesis can be found for the stable/oscillating part.

Maybe it's time for a fresh collection of Spaceships That Might Actually Be Synthesizable Now? I just don't think the lobster is currently in the running. In practice it's just about as far out of reach as a seal, or Sir Robin.

(Y'all are welcome to disagree about that, but to really prove me wrong you'll have to come up with a lobster synthesis. If Sir Robin needs a million years of our current kind of synthesis research, and the lobster only needs a thousand years, to me that counts as "just about equally out of reach".)

-- I thought I remembered someone posting a recent set of suggestions for synthesis targets, but the only thing I can find is simsim314's collection from 2014, and obviously that's pretty old and out of date. The weekender was actually synthesized very soon after that post.

User avatar
Freywa
Posts: 589
Joined: June 23rd, 2011, 3:20 am
Location: Singapore
Contact:

Re: Small Spaceship Syntheses

Post by Freywa » April 26th, 2019, 1:03 pm

dvgrn wrote:Run that wonderful piece of vaporware software until a predecessor pattern shows up where all the sparks around the edges can be synthesized somehow.
It will never be vapourware; vapourware does not exist by definition.
Princess of Science, Parcly Taxel

User avatar
dvgrn
Moderator
Posts: 5888
Joined: May 17th, 2009, 11:00 pm
Location: Madison, WI
Contact:

Re: Small Spaceship Syntheses

Post by dvgrn » April 26th, 2019, 1:18 pm

Freywa wrote:
dvgrn wrote:Run that wonderful piece of vaporware software until a predecessor pattern shows up where all the sparks around the edges can be synthesized somehow.
It will never be vapourware; vapourware does not exist by definition.
I'd say that's another thing you'll have to prove me wrong about. My guess is that it will always be vaporware. More to the point, that piece of software is vaporware right now, and yet it's what we need to glider-synthesize a lobster spaceship.

If your point is that it wouldn't be vaporware in the hypothetical future in which it isn't vaporware any more... well, that seems obvious enough that I won't fail to not disagree with you.

Post Reply