Yup, I'm trying to work incrementally -- just going very slowly. New suggestions have been coming up that seem to need review and discussion, a little faster than I've been able to find time to check in previous suggestions.confocaloid wrote: ↑April 14th, 2024, 12:31 pmI think a number of corrections and suggestions that were posted earlier here and in other threads could be done incrementally, making it easy to understand what are the few remaining stumbling blocks and what could be done about those.
Golly 4.3b1
Re: Golly 4.3b1
Re: Golly 4.3b1
I plan to do a 4.3b2 release once all your pattern/script changes have been committed.
Re: Golly 4.3b1
Here are updates to two patterns in the collection.
spaceship-types.rle (smaller (3,0)c/7; first (1,1)c/8; minimality proofs for (1,0)c/2, (1,0)c/4, and (2,0)c/5; corrected glider discovery year):
smallest-low-period.rle (smaller p12, p21, and p28; minimality proof for p2; correction in p3 description; corrected glider discovery year; added note mentioning that the glider is the only spaceship up to 8 cells):
Edit: update to c3-orthogonal.rle (added new ships by Keith Amling, "iNoMed", and Matthias Merzenich; added note about complete p3 search up to 49 bits):
Edit 2: update to c4-orthogonal.rle (added new ships by Keith Amling; added note on minimality of 37-cell ship):
spaceship-types.rle (smaller (3,0)c/7; first (1,1)c/8; minimality proofs for (1,0)c/2, (1,0)c/4, and (2,0)c/5; corrected glider discovery year):
Code: Select all
#C A period p spaceship which displaces itself (m,n) during its
#C period, where m >= n, is said to be of type (m,n)c/p. It can be
#C shown that p >= 2m+2n. The number of possible types of spaceship
#C of period p is therefore [k(k+4)/4], where k = [p/2].
#C (Here, [x] denotes the floor of x, i.e., the greatest integer
#C not exceeding x.) Note, however, that no-one has ever proved
#C that all these "possible" types really are possible, so the
#C above formula may only be an upper bound.
#C
#C The following table shows the mininum number of cells for
#C spaceships of all types with period < 10. Those marked [*] are
#C known to be best possible.
#C
#C (1,0)c/2 64 cells [*] Dean Hickerson 28 Jul 1989
#C (1,0)c/3 25 cells [*] Dean Hickerson Aug 1989
#C (1,0)c/4 37 cells [*] Josh Ball 15 Apr 2012
#C (1,1)c/4 5 cells [*] Richard Guy 1969
#C (2,0)c/4 9 cells [*] John Conway 1970
#C (1,0)c/5 58 cells David Bell 14 Apr 1997
#C (1,1)c/5 58 cells Matthias Merzenich 5 Sep 2010
#C (2,0)c/5 30 cells [*] Paul Tooke 7 Dec 2000
#C (1,0)c/6 56 cells Hartmut Holzwart 19 May 2009
#C (1,1)c/6 77 cells Josh Ball 25 Mar 2011
#C (2,0)c/6 72 cells Jason Summers 22 Oct 2000
#C (2,1)c/6 282 cells Adam P. Goucher 6 Mar 2018
#C (3,0)c/6 86 cells Matthias Merzenich 4 Feb 2012
#C (1,0)c/7 20 cells Josh Ball 17 Feb 2013
#C (1,1)c/7 83 cells Matthias Merzenich 19 Aug 2011
#C (2,0)c/7 36 cells David Eppstein 12 Jan 2000
#C (2,1)c/7 (no known example)
#C (3,0)c/7 232 cells Keith Amling 23 Feb 2022
#C (1,0)c/8 (no known example)
#C (1,1)c/8 68 cells Adam P. Goucher 12 Jan 2023
#C (2,0)c/8 74 cells Josh Ball Mar 2010
#C (2,1)c/8 (no known example)
#C (2,2)c/8 89 cells Chris Rowett 3 Jan 2021
#C (3,0)c/8 (no known example)
#C (3,1)c/8 (no known example)
#C (4,0)c/8 31 cells Jason Summers 29 Oct 2000
#C (1,0)c/9 (no known example)
#C (1,1)c/9 (no known example)
#C (2,0)c/9 (no known example)
#C (2,1)c/9 (no known example)
#C (2,2)c/9 (no known example)
#C (3,0)c/9 55 cells Paul Tooke 7 Jun 2001
#C (3,1)c/9 (no known example)
#C (4,0)c/9 (no known example)
#C
#C types.rle from Stephen Silver's 12 Jan 2004 'ships' collection.
#C Updated on 15 Apr 2024.
x = 279, y = 368, rule = B3/S23
225b5o$225bo4bo$225bo$226bo4bo$228bo$229b2o2bo$227bo2bo3bo$225bo7bo$
224bo5bo2bo$224bo3b2o$224b4o2b2o17$202b2o$201bob2o$200b2ob2ob2obo$199b
o9bo$198b2o6b2o$198bobo$191b2o3b2o$190bob2o2bo$135bobo52bo2b2obobo$
134bo2bo50bo2bo$133b2o48b2o6b2obo$132bo49bobo8bo$131b4o46bo2bo2bobo$
130bo4bo35bo9bo6bo$130bo2bo35bo2b4o92bo$130bo2bo35bo10b2obo83bobo$131b
o36bo3bo6bobobo82b2o$132b4o30b5o6bobob2o84bo$139bo26bo3bob3obo5bo83bob
o$132bobo2b2obo25bo3bobob3o3b2o3bo80bo$131b2o4bo29bo4bobob3o6b2o78bo
11bo$132b2o35b2ob2o3b2o2bo2bo2b2o76bobo7b2obo$133b7o30bob2o5bo7bo77bo
4b2o3b2o$134bobo43b3o3bo79b4o4bo$136bo2bo130b2obo$134bobo43b3o3bo79b4o
4bo$133b7o30bob2o5bo7bo77bo4b2o3b2o$132b2o35b2ob2o3b2o2bo2bo2b2o76bobo
7b2obo$131b2o4bo29bo4bobob3o6b2o78bo11bo$132bobo2b2obo25bo3bobob3o3b2o
3bo80bo$139bo26bo3bob3obo5bo83bobo$132b4o30b5o6bobob2o84bo$131bo36bo3b
o6bobobo82b2o$130bo2bo35bo10b2obo83bobo$130bo2bo35bo2b4o92bo$130bo4bo
35bo9bo6bo$131b4o46bo2bo2bobo$132bo49bobo8bo$133b2o48b2o6b2obo$134bo2b
o50bo2bo$135bobo52bo2b2obobo$190bob2o2bo$191b2o3b2o$198bobo$198b2o6b2o
$199bo9bo$200b2ob2ob2obo$201bob2o$202b2o14$131bo$130bobo$129b2o$130bo$
129bobo50bo$129bo50b2ob2o49bo$92bo35bo53bo2bobo43b2obo$89b2ob2o34bobo
2b2o52bo41bobo$88bobobo35bo3bo7b2o45bobo37bo12b2o$87b2o3bo36b3o4b2o2bo
46bo2bo32b2o2bob3o6bo3bo$88bobo2bo37b2obobobo2bo43b2o3bo31b2ob2obo3bob
2o2b4o$89b2obo39b2o3b4o44b2o36bo5b4o3bo2bo$58bo2bo123b2o35b2o12bo$57bo
35b2o37b2o3b4o44b2o3bo32bo5b4o3bo3b3o$57bo3bo30bob3o34b2obobobo2bo45bo
2bo31b2ob2obo3bob2o3bo$57b4o30bo3b3o31b3o4b2o2bo46bobo33b2o2bob3o6bo3b
o$92bobo33bo3bo7b2o45bo39bo11bobo$93bo34bobo2b2o47bo2bobo41bobo$128bo
51b2ob2o46b2obo$129bo52bo51bo$129bobo$130bo$129b2o$130bobo$131bo15$5bo
bo$4bo2bo$3b2o86b2o$2bo88bo2b2o35bo$b4o86bo2b2o35bo$o4bo84bo40bo$o2bo
58bo27b4obo$o2bo56bo2b2o28bob2o34b3o$bo28bo27b3o29b3o37bo$2b4obo21bobo
25bobo31bo38bo$3bo3bo21bobo25bob2o29b2o38bo4b2o3bo$4bo24bo26bo4bo27bo
42bo4bobobo$4bobo48b2o33bo45b2o44b2o2bob2o$28b2o60bo42b2o2b2o42bo2bo2b
2o$3b3o23bobo22bo4b2o31b3o37bob2obo44bobo$3b2o23bobo27bo72bo5bo45bo$3b
3o22b3o24b3o34b3o36bo5bo51bo$57bo32bo41bob2obo49b3o$4bobo22bobo26bo31b
o42b2o2b2o47bo$4bo24b2o26b2o30bo46b2o49bo$3bo3bo22bo27bo31b2o40bo4bobo
bo46b2o$2b4obo22bobo25b2o31bo38bo4b2o3bo$bo28bobo22bo2b2o30b3o37bo$o2b
o27bo21b2o3bo34bob2o33bo$o2bo51bo34b4obo35b3o$o4bo84bo$b4o86bo2b2o35bo
$2bo88bo2b2o35bo$3b2o86b2o38bo$4bo2bo$5bobo26$120b2o$119bo$120bo$84b4o
33bo2bo$82b2o4b2o31bo2bo63bo5bo$82b2o5bo33bo63bo5b2o$84b2obobo97bo3bo$
89bo34b2o62bo4bo$85bo3bo34b4o2b2o56bo8b2o35b3o$85bo4bo37b2o54b2o3bo5bo
bo36b3o$87b3o3bo33b2o54bo2bo4b2o$87b2o4bo39bo48bo5bo3bo3bo37bo$93b2o
34bo3bob3o37b2o4bobo4b2o44b2o$95bo34bobo42b2o6bo6bo2bo35bo5bo$59bo35b
3o33bo3bo43bo3bo6b2o2b2o2bo30bo$57b2o75bo38bo4bo2b2o13b2o29b2o10bo$58b
2o73b2o38bobob2o13bo33b2ob2ob3o2bo2bo$98bo33bo9bo30b2o2bobo13bo32b2o3b
2o8bo2b2o$97bob5o29b2o7bo50bo47b3o$96b2o5bo30b2o4bobo45b3obo35bobo2bo
7b2o$96b2o3bo2bo30b2ob2o47bo3bo34bo3bo3b3obo$104bo31bobo3b2o43bo2bo35b
o4bob4o$98b2obo2bo32bo3bo84bo4b4obo$101bo2bo35bo5bo38bo2bo40bo5b2o$
102b2o37bo4bo39b2o42bo5bo$102b2o38bo2bo39b2o44bo2bo$144b2o43b2o40b4o$
144bobo39bo2b2o$146bo38bo$146b2o37b3o$146b2o2b2o$149bo2$150b2o2bo$152b
obo$153bo19$238b2o$240bo$237bobo5bo$224bo2bo9bo4bo3bo$224bo8bo2bobob2o
4bo$225bo7b2o3bo2bo4bo$221bobo3b2obo3bo4bobo$221b2o5bo2bo6bo2bo4bo$
222bo6b2o7b2o5bo$240bobob2o$231b2o$231b2o8b2o2$228bobo10bobo$228b2o5bo
2bo2b2o$229bo5bo$236bo$232bobo3b2obo$232b2o5bo2bo$233bo6b2o2$242b2o$
242b2o2$239bobo$239b2o$240bo25$146bo$144b2o2$145bo$145b2o$144b2ob2o$
143b2o3b3o$142b3o4bo$142b3o4bo$146b2o$144bobo2b2o$142b2obo2bo$141bo2b
3obobo$144b2o2bobo$141b3o5bo$142b2o$145b3o$144bo2b2o$148bo$144bobo$
137b3o4bo$140b4ob2o$136bo4b4o$140bo$138bo$138bob5o$138b3ob3o$139bo4bo$
139b5o$140bo$141b2obo$141bo$142b2o3bo$140b4o2bo2bo$139b2o3bo3b2o$138bo
6bob3o$139bo3b2o$139bo3bo3bo$140bobo3bobo$139b3o6bo$145b2o$141b5o$140b
2o$140bo2b2o$139bo$133bob4o4b2o$133b4obo4b2o$131bo4b2ob3o$130bo3bo2bo$
131bob3obo$133b3o2bo$136b2o$132b3o$132bo5b5o$131bo3bo6bo$131bo9bo2$
131bo6b3o$134b2obobo$131bobobo3bo$130b3o6bo$130bo2bobobo$130bobo2b2o$
130b2o3bo2bo$131b2ob3obo$130b2o6bo$133bob2o$122b2o7bo4bo$126b3o2b2o2bo
$121bo3bo$120bo9b2o$122b4o4b2o3bo$121bo4bo6b3o$122bob2o4b4o$122b2o6b4o
$126b3o$124bo3bo$124bo2bo$124b2o!Code: Select all
#C Shows spaceships of all periods < 32 for which examples are known.
#C Minimum populations are listed below, each spaceship having been
#C chosen to minimize this minimum population. (Often there are
#C small variations of the given spaceship that have the same
#C minimum population.)
#C
#C Spaceships are arranged in period order, reading right then down.
#C Gaps between spaceships do not correlate with gaps in the known
#C spaceship periods -- the extra space just prevents fast higher-
#C period spaceships from crashing into slow lower-period ones.
#C
#C Period Min population
#C ------ --------------
#C p2 64
#C p3 25
#C p4 5
#C p5 30
#C p6 56
#C p7 20
#C p8 31
#C p9 55
#C p10 28
#C p12 35
#C p14 174
#C p15 112
#C p16 28
#C p18 138
#C p20 32
#C p21 74
#C p22 213
#C p24 39
#C p25 165
#C p26 187
#C p27 185
#C p28 106
#C p30 128
#C
#C p2: Dean Hickerson, 28 Jul 1989. One of the first p2 spaceships.
#C 64 has been proven to be the minimum population for p2 ships.
#C p3: Dean Hickerson, Aug 1989. A p3 spaceship found by David Bell
#C in 1992 has the same minimum population, but a larger maximum
#C one (see c3-orthogonal.rle). 25 has been proven to be the
#C minimum population for p3 ships.
#C p4: "glider" by Richard Guy, 1969. The first known spaceship.
#C This has been proven to be the only ship up to 8 cells.
#C p5: Paul Tooke, 7 Dec 2000.
#C p6: Hartmut Holzwart, 19 May 2009. The ship was found by looking
#C for symmetric support for the two wings, which were found by
#C Paul Tooke in Mar 2006.
#C p7: Josh Ball's "loafer", 17 Feb 2013. In terms of minimum
#C population, this is tied as the fifth-smallest known spaceship.
#C p8: Jason Summers, 29 Oct 2000. This was originally found as a
#C p4 ship with a loosely-connected back end. Removing this back
#C end results in the p8 ship shown here.
#C p9: David Bell found the first p9 spaceship in May 1992, by
#C deleting the back part of one of his p3 spaceships.
#C The smaller one shown here was found by Paul Tooke, 7 Jun 2001.
#C p10: "copperhead" by 'zdr', 5 Mar 2016.
#C p12: This ship, found by Conwaylife Lounge user "mystical" on
#C 12 Feb 2022, broke the record for smallest p12 ship previously
#C held by the Schick engine since 1972. A derivative of the
#C Schick engine can be seen in the p24 example below.
#C p14: Paul Tooke found the first p14 spaceship, 19 Dec 2001.
#C The one shown here is a much smaller one (with the same
#C p14 part) that he found on 28 Jan 2002, except that I've
#C changed the p2 spaceship at the front to save a few more cells.
#C p15: This ship is based on a p15 puffer discovered by Paul Tooke in
#C Oct 2002. A smaller p3 support was found by Matthias Merzenich
#C on 8 Sep 2015.
#C p16: "Coe ship" by Tim Coe, 26 Oct 1995. Coe found this by
#C dismembering a p4 spaceship he had just found.
#C p18: This p18 spaceship by Jason Summers, 2 Dec 2000, is the result
#C of welding his p6 spaceship to a p9 spaceship by David Bell.
#C This spaceship is trivial in the sense that it has no p18 part,
#C merely disjoint p6 and p9 parts. There are known nontrivial
#C p18 ships, but they are all larger than this trivial example.
#C p20: Jason Summers, 8 Apr 2006. A glider suppresses the output of
#C a c/2 puffer.
#C p21: "Doo-dah" by John Winston Garth, 6 Dec 2020. This was found by
#C evolving incomplete period-7 spaceships.
#C p22: Paul Tooke, 27 Oct 2003.
#C p24: A simple derivative of the Schick engine.
#C p25: The first p25 spaceship was found by Paul Tooke on 8 Feb 2002.
#C The one shown here is a much smaller one he found later the
#C same month.
#C p26: David Bell's 30 Apr 2001 version of Paul Tooke's p78 puffer.
#C p27: This is based on the first known p27 spaceship, which was
#C found by Paul Tooke in Oct 2002. The p3 support was reduced
#C by David Bell in Sep 2003.
#C p28: This is a block puffer found in a random soup by Charity Engine
#C on 2 Oct 2022 being cleaned up by two middleweight spaceships.
#C p30: This is a pre-pulsar pulled by two spiders, found by David Bell
#C on 30 May 1998. The variant obtained by moving one side
#C forward two spaces has the same minimum population. (This
#C variant was noticed by Alan Hensel.)
#C small_p.rle from Stephen Silver's 12 Jan 2004 'ships' collection.
#C Updated on 15 Apr 2024.
x = 284, y = 272, rule = B3/S23
22b3o15b3o46bob2o95b3o10b3o47b3o$21bo3bo13bo3bo41b3ob2obob2o44bo42b3ob
o7b2o7bob3o19bo22bo2bo4b3o$20b2o4bo11bo4b2o39bo6b2o2b4o40b3o45bo3bo2bo
2bo2bo3bo22bobo21bo6bo2bo$19bobob2ob2o3b3o3b2ob2obobo39b2o3bo3bo4bo16b
3o19bo3bo44bo5bo4bo5bo21bo2bo21bo3bo5bo$18b2obo4bob2ob3ob2obo4bob2o50b
2o17bo21b2ob2o50b2o2b2o28b2o23bo4bo3bo$17bo4bo3bo4bobo4bo3bo4bo69bo28b
o43bo3bo2bo3bo50bo3bo4bo$29bo5bo101b4obo2bobo42bobo6bobo21bo5bo21bobob
2o3bo$17b2o7b2o9b2o7b2o90bo2bo2bo3bo42b10o21bobo3bo22bo6bo$144b2obo45b
o4bo22bo2bo3b2o$145b2o44bo8bo20bo2b2o3bo23b2obo$145b2o43bo10bo53bo$
146bo44bo8bo12$72b3o3b3o$68bob2o3bobo3b2obo16b2o$67b3o3bobobobo3b3o14b
o2bo$66bo3bo4bobo4bo3bo13bo2bo$67bo7bobo7bo13bo4bo$74bobobo20bo4bo$74b
obobo21b4o$99b2o2b2o$76bo22bo4bo$75bobo21bo4bo$73b2o3b2o$73bobobobo$
73b2o3b2o20b4o$101b2o150b3o$253bo2bo2b3o$247b3o3bo5bo2bo$246bo2bo3bo5b
o$249bo3bo5bo3bo$245bo2bo4bo2bo2bo3bo$246b2o6b2o3bo$260bobo2$30b3o15b
3o$29bo3bo13bo3bo$28b2o4bo11bo4b2o$27bobob2ob2o3b3o3b2ob2obobo$26b2obo
4bob2ob3ob2obo4bob2o$25bo4bo3bo4bobo4bo3bo4bo$37bo5bo$25b2o7b2o9b2o7b
2o$5b3o16bo$4bo3bo15bobo$3b2o4bo17b2o$2bobob2ob2o3b3o3bo2bobobo$b2obo
4bob2ob3ob2ob3o3bob2o$o4bo3bo4bobo5bobobo2b2o$12bo5bo2bo7b2o$2o7b2o8bo
5b2obo2b2o117b2o17b2o$25b2obo2bo118b2ob2o4b3o4b2ob2o$20b3o3bobobobo
116bo3b2o4b3o4b2o3bo$22b3o3bo124bobo3bobo3bobo$21bob2o3b2o121bob2o2b2o
bob2o2b2obo$23bobobobo119b3o2bobo7bobo2b3o80bo4b3o$25bobo120b2obo2bobo
7bobo2bob2o78b3o2bo2bo$23bobo2bo118bo3bobo13bobo3bo77bob2o4bo$24b3o
126bobob7obobo84b4o3bo$153bo13bo84b2o5bo$256bo2bo$153b2o11b2o89b2o$
173bo84bo$171b3ob3o79bo$25b2o143b2o6bo78bo$24b2o139bo3bo2bo3b2o$160b2o
2b4o$159bo7bo$159bo4bobo2bo$168bo$25b2o$24b2o$24b2o15$153b3o10b3o100bo
$265b2ob3o$153bobo10bobo94b2obo3b2o$154bo12bo95bo4bo2b2o$262b2obo5bo$
155b2ob6ob2o93b2obo7b2o$261bo7bobob2o$54bo7bo93bo2bo2bo2bo92b2obob2o3b
2obobo$50b2obobo5bobob2o47b3o11b3o127b2obo5bo3bobob2o$50b2o4bo3bo4b2o
46bo2bo10bo2bo26b8o93bo2bobo7bo3b2o$50b2o4bo3bo4b2o49bo4b3o6bo29b2o95b
2obo6b2o3bob3o$52b2o9b2o51bo4bo2bo5bo26b2o4b2o94b2obo13b2o$41b2ob3ob2o
3bob3ob3obo3b2ob3o7b3o30bobo5bob2o2bobo127b2o4bo$41b2o4bo4bo11bo4bo3bo
5bo3b2obo171b2o2bo$40bo2bob2o24bobo5bobo3b3o171bo$55b3ob3o11b2o3b2o4bo
3bo67b2o6b2o92bo3b2o$55b7o10bob2ob2obo6bo35bo31bobo6bobo78bo15bo2bo$
53b2o7b2o7bo3bobo3bo40bo32bo2bo4bo2bo77b3ob3o7b4o$71bo2bo3bo2bo39bo2bo
31b2o6b2o77b2o3bob2o5bo3bob2o$53bo2bobobo2bo58bobo32bo6bo77b2o2bobobob
2o21bo$73b2o3b2o163bo4bo3bo4b2ob2obo7b2ob3o$73bobobobo162b2o4bobobob2o
13b2obo3b2o$74b2ob2o73b3o12b3o70b2obobo8bob10o3bo4bo2b2o$75bobo163bobo
b2o7bobo7bob2obobo5bo$72b2obobob2o73bo12bo70b2obobo3bo8bo10bobo7b2o$
72bobo3bobo73b2o10b2o70b2o3bo21bobo7bobob2o$154b2o10b2o70b3obo3b2o11b
3o5bo6b2obobo$237b2o34bo3bobob2o$277bo3b2o$273b2o3bob3o$282b2o23$116bo
19bo$115b3o17b3o$114bo3bo15bo3bo$114b2ob2o15b2ob2o$110bo31bo$109bobo2b
ob4o13b4obo2bobo$10b3o3b3o89bo3bo2bo2bo15bo2bo2bo3bo$10bo2bobo2bo90bob
2o27b2obo$10bo7bo91b2o8bo11bo8b2o$10bo7bo91b2o9b2o7b2o9b2o$11bobobobo
92bo12bo5bo12bo108bo17bo$120bo2b2o3b2o2bo117b3o15b3o$14bo106b2o2bobo2b
2o117b2o4b3o5b3o4b2o$13b3o231b2obo2b3o2bo3bo2b3o2bob2o$13b3o105b2o2bob
o2b2o116bobo2bobo3bobo3bobo2bobo$20b3o97bo3bo3bo3bo112b2obobobobo4bobo
4bobobobob2o$19bo2bo97bo11bo112b2o3bobo4bo5bo4bobo3b2o$22bo97bobo7bobo
112b3obo3bo4bobobo4bo3bob3o$22bo98bo9bo112b2o9b2obobobob2o9b2o$19bobo
100bo7bo125bo7bo$121bobo5bobo121b2obo7bob2o$121bo2bo3bo2bo122bo11bo$
11bobo107bobo5bobo119b2obo11bob2o$11bobo106b2ob2o3b2ob2o118b2o15b2o$
12bo107bobobo3bobobo118bobobob3ob3obobobo$125bobo122b2o3bo3bobo3bo3b2o
$124b2ob2o121bo2bo3bobobobo3bo2bo$125bobo125b2o4bobo4b2o$126bo122b2o4b
o3bobo3bo4b2o$253bob2obo3bob2obo$254bobobobobobobo$256bobo3bobo$256bob
o3bobo$258b2ob2o$254bo11bo$119bo133bo13bo$118b3o133bobo7bobo$117b2ob2o
2$113bo2bobobobo$112b3o3bo3b2o$111bo6bo3b2o$111bobo$113bobo$111bo2bo$
111bo14$57b3o17b3o$52b2ob2obo19bob2ob2o$52b2o4bob2o13b2obo4b2o$51bo2bo
3bobobo11bobobo3bo2bo$58bobobob2o5b2obobobo$56bo3bobob2o5b2obobo3bo
176bo5bo$57bobobob3o5b3obobobo176b3o3b3o$247b3o6bob2ob2obo6b3o$61b3o9b
3o170bo2bo21bo2bo$61b3obobobobob3o173bo21bo$62b5obob5o174bo3b3o9b3o3bo
$67bobo176bobo5b2o9b2o5bobo$67b3o$64bobo3bobo183bobo3bobo2$62b2ob3ob3o
b2o$62bo11bo178bo13bo$61bo2bo7bo2bo176b2o13b2o$61bo4bo3bo4bo175b2ob2o
2bo3bo2b2ob2o$66bo3bo181b2o3b2o3b2o3b2o$60b6o5b6o176b2o11b2o$59b2o7bo
7b2o177bo9bo$67bobo$67b3o$82bo174b2o3b2o$80b3ob3o170b2o3b2o$79b2o6bo$
74bo3bo2bo3b2o164b3o13b3o$73b4o174bo2bo11bo2bo$72bo3bo174bo17bo$73bobo
2bo172bo3bo9bo3bo$67b3o7bo173bo17bo$65b2o185bobo11bobo$65bo4bo$65bo4bo
$66bo3bo$68bo14$141bo5bo$140b3o3b3o4$112b2o5b2o5b2o5b2o19b2o5b2o5b2o5b
2o$110bo3bo3bo2bo3bo2bo3bo3bo15bo3bo3bo2bo3bo2bo3bo3bo$110bo3bobob3o5b
3obobo3bo15bo3bobob3o5b3obobo3bo$110bo5b2o2b3ob3o2b2o5bo15bo5b2o2b3ob
3o2b2o5bo$110b2ob3o15b3ob2o15b2ob3o15b3ob2o$110bo25bo15bo25bo$111bo3bo
15bo3bo17bo3bo15bo3bo$112bo2bo15bo2bo19bo2bo15bo2bo!Code: Select all
#C All known c/3 orthogonal spaceships up to 50 bits.
#C Spaceships found by Dean Hickerson, Stephen Silver, Jason Summers,
#C David Bell, David Eppstein, Keith Amling, iNoMed, and
#C Matthias Merzenich.
#C
#C Searches by Amling have confirmed that this list contains all
#C period-3 c/3 orthogonal spaceships up to 49 bits. The list of
#C 50-bit period-3 spaceships may still be incomplete. All known
#C higher-period c/3 orthogonal spaceships have a population greater
#C than 50.
x = 857, y = 462, rule = B3/S23
225bo14bo11bo16bo13bo$210bo13bobo11b2o11bobo13b2o13bobo$199bo9bobo12bo
bo11b2o11bobo13b2o13bobo$198bobo7bo2bo12bo15bo10bo17bo12bo$183bo13b2o
10bo28bo28bo$24bo12bo142bob2o14bo11b2o11b2o12b3o10b2o14b3o12b2o$23bobo
10bobo140bo2bo14bobo24bobo10bo13bobo12bo15bobo$23bobo9b2o141bo3bo14bo
14bo11b2o10b2o13b2o12b2o15b2o$obobo3bobobo10bo12bobo111bo3bo3bobobo15b
o4bo14bo10bo15bo11bo14bo13bo16bo$22b2o12b2o139b3o3bo11bo2bo9bobob2o12b
o2bo8bo2bo11bo2bo10bo2bo13bo2bo$4bo3bo13bobo14bo110bo3bo3bo3bo17b2obo
11b3obo7b2o6bo26bo28bo16bo$35bo2bo135b4o5b2o10bo12bo2bo2bo8bo2bob2o9b
2o13b2o12b2o15b2o$obobo3bobobo8b3o10bo115bobobo3bo3bo10bo10bo11b4o8b2o
13bo2bo13bobo12bo12bobo15bo$21bobo9b2o136b2o21bo14bo3bo9bo2bo13b2o12bo
bo10b2o17b3o$o11bo9bobo8bobo118bo3bo3bo8b3o19bo4b2o10bo2bo10b3o16bo10b
o13bo18bobo$21b2o9b2o158b2o2b2o14bo26bo2bo10bo15bo2bo18bo$obobo3bobobo
141bo3bobobo9bobo17bobo3bo13b2o10bo2bo10bo14bobo17bo14bo3bo$22bo10bo
138b2o17b2o31bobo10b2o14bobo14b2o17b2o$22bobo8bobo137bo40b3o7bo13bo15b
4o13bo18bo$22bobo8bobo137bobo16bo21b3o8bo12b3o15bobo12b3o16b3o$23bo10b
o138bobo16bobo30bobo11bo16bobo13bo18bo$174bo17bobo18b2o11bo14bo13bo18b
o18bo$193bo19b2o10b2o12b2o14b2o15b2o17b2o$215bo10bobo10b2o14bobo14b2o
17b2o$227bo13bo14bo17bo18bo12$338bo12bo14bo15bo10bo$25bo311bobo9b2o13b
2o14b2o9b2o17bo$24bobo309b2o11b2o13b2o14b2o9b2o15b2o$23b2o312bobo11bo
14bo15bo10bo14b2o$obobo3bobobo11bobo152bo157b2o10bo14bo15bo10bo18bo$
24b2o152bo121b2o17bo4bo15bo7b3o12b3o13b3o8b3o15bo$4bo3bo18bo149b2o139b
obobo2bo10bo2bo8bo14bo15bo10bo17bobo$23bo2bo152bo11b3o3bo20b3o3bo20b3o
3bo20b3o3bo19b2o2bo15bobobo3bo8bo11b2o13b2o14b2o9b2o17bobo$obobo3bobob
o9bo127bo3bo4bo19b2o9bo5bo2bo6bo10bo5bo2bo17bo5bo2bo17bo5bo2bo16bo20bo
3bo2b2o7b2o12bo14bo13bo3bo8bo18bo$21b2o152bo3b2o7b2o4bobo3bobobobobo6b
2o4bobo3bo5bo8b2o4bobo3bobobob2o7b2o4bobo3bo14b2o4b3o12b2o6bo9bo13bo2b
o11bo2bo12bo10bo2bo12b2o$o7bo3bo9bo127bo3bo4bo13b2obob2o8b3o3bo3bo5bob
2o7b3o3bo3bo5bobobo6b3o3bo3bo5bobobo6b3o3bo3bo5bob2o8bo4b3o12bobo5bo9b
3o38bobo16bo12bo$22b3o148bo20bobobo2bo19bobobo2b2obob2o13bobobo2bo4bo
14bobobo2b2obobobo7b3o27bo8bo13b2o9bo2bob2o7b3o14b2o14b3o$obobo3bobobo
10bo126bobobo4bo12b3o3bo10bobo3bo3bo16bobo3bo3bo16bobo3bo3bo16bobo3bo
3bo6bo10bo6b3o8b3o6b2o11bo12bo9bo2bo10bo17bo15bo$25bo145bo6bobo8b2o25b
2o25b2o25b2o28bo4b3o8bobo6b2o9b2o12bobo8bo2bo9b2o17b3o15bo$23b2o129bo
4bo11bo2b2o3bo10bo26bo26bo26bo26b2o17bobo7bo8b2o12bo11b3o10bo18bobo12b
2o$23b2o146bo2bo3b2o10bobo24bobo24bobo24bobo24b2o6bobo7b2o31bo26bo2bo
18bo10b2o3bo$25bo128bo4bo14bo4bobo8bobo24bobo24bobo24bobo26bo5b2o26b2o
13bobo10bo2bo14bo14bo3bo11bo2bo$176bo3bo10bo26bo26bo26bo34bo9bo16bobo
12bobo10bobo12b2o17b2o14bobo$174b2o131bobo7bobo14b2o14b4o8bo15bo18bo
17bo2bo$174b2o131bobo7bobo14bo17bobo8bo14b3o16b3o19bo$176bo131bo9bo16b
o16bobo8bobo13bo18bo17b2o$335bobo13bo12bo16bo18bo15bobo$336bo14b2o10b
2o14b2o17b2o15b2o$335b2o14bobo10bobo12b2o17b2o16bobo$336bobo13bo12bo
15bo18bo16bo$337bo6$29bo$27b2o$27b2o$29bo$27bo$obobo3bobobo13b3o$26bo$
4bo3bo3bo12b2o165bo$28bo162bobo11bo$obobo3bobobo11bo2bo162b2o12bobo$
23bo153bo13bobo9b2o$o11bo9b2o152bobo12b2o11bobo$22bobo151b2o16bo9b2o$o
bobo3bobobo8b2o153bo13bo2bo13bo$177bo11bo13bo2bo$22bo127bo3bo3bobobo
12b2ob2o8b2o12bo$22bobo150bo2b3o7bobo10b2o$22bobo125bo3bo7bo11b2o11b2o
13bo$23bo149bo5bo22b3o$150bobobo3bobobo10b4o2bo8bo14bo$171bo6bo9bo16bo
$154bo3bo12b5o12bob2o11b2o$171bo5bo11b3o11b2o3bo$154bo3bobobo9bo3bo28b
o2bo$172bo14b2o17bobo$174bo12b3o19bo2bo$172b2o39bo$172b2o14bobo19b2o$
174bo13b2o20bobo$189bo19b2o$189bobo18bobo$189bobo19bo$28bo161bo$26b2o$
26b2o$28bo$26bo$obobo3bobobo12b3o$25bo$4bo3bo3bo11b2o$27bo$obobo3bo3bo
10bo2bo$22bo$4bo3bo3bo8b2o$22bo219bo$obobo3bobobo9b3o216bobo$23bo217bo
bo$25bo188bo26bo$23b2o188bobo$23b2o173bo14bobo24b2o$25bo150bo20bobo13b
o11bo4bo10bobo$175bobo19bobo12b2o10bobobo2bo9b2o$175bobo19bo14bobo9bob
obo3bo9bo$150bo3bo3bobobo12bo48bo3bo2b2o10bo2bo$179bo16b2o13b3o9b2o6bo
$150bo3bo7bo11b2o4bo11bo3b2obo8bo2b2o10bobo5bo8bo2bob2o$172b7o11b2obob
2o9b2o25bo6bo2bo$150bobobo3bobobo8bo18bo15b2o5b3o6b3o6b2o7bo2bo$171bob
o3b3o9b3o3bo14bo3bo7b3o6b2o8b3o$154bo7bo8bo5bo10bo6bobo9b4o3bo18bo8bo$
172bo5b4o6bo2b2o3bo11b2o2bo12b3o$154bo3bobobo9bobo4bo8bo2bo3b2o28b3o
15bo$173bo5b2o10bo4bobo11b2o29b2o$172b2o6bo12bo3bo12b3o11b2o15b3o$173b
obo5bo9b2o31b2o$174bo16b2o16b2o15bo15bobo$29bo163bo15b2o31b2o$28bobo
180bo31bo$27b2o214bobo$obobo3bo3bo17bo212bobo$26bo3bo213bo$4bo3bo3bo
10bo2bo$22bobo2b4o$obobo3bobobo8bo2bo$22bobo2b4o$4bo7bo10bo2bo$26bo3bo
$obobo7bo17bo$27b2o$28bobo$29bo$362bo$316bo11bo17bo14bobo28bo$303bo11b
obo8b2o17bobo12b2o13bo15bobo$250bo17bo23bo9bobo9b2o10b2o17bobo13bo11b
2o15b2o$240bo7b2o16b2o23bobo8bobo10bo12bo16bo14bobo10b2o16bo$237bob2o
7b2o16b2o23bobo8bo11bobo9bo17b2o14bo14bo14bobo$236bo2bo10bo17bo22bo22b
o11bobo15bobo12bo13bo16bo$235bo3bo8bo17bo34b2o10bo12bo32b2o11b3o14bo$
202bo15bobo14bo4bo7bobo15bobo21b2o10bobo8bobo11bobo13b3o13bobo10bo16bo
bo$198b2ob2o15b2obo12b3o3bo7bo17bo24bobo7bobo9bobo11bobo13b3o13b2o10b
2o16bobo$150bo3bo3bo3bo9b3o7bo14bo3bo11bo3bo14bo4b2obo8bobo15bobo20bob
o9bo2bo8b4o10b4o40bo14b4o$172b2o2bob2ob2o14bo3bo9b2obob2o14b3o5b2o7bob
o15bobo20bo10bob2o11bobo11bobo13b2o13b2o10bo2bo9bobo$150bo3bo3bo3bo11b
3o4bo14bo3bo10bo19bo9bo49bo10bo2b2o9bobo11bobo13b2o13b2o23bobo$172bo2b
obo3bo12b3obobo9b3o3b2o11b2o18b3o15b3o18bo2bo9b2o13bo13bo17bo14bo6bo2b
ob2o9bo$28bo121bobobo3bobobo8bo4bo4bo9bo2b2o3b2o8bo6b2o11bobo17b2obo
14b2obo17b3obo8bo15bo13bo14bo14bo8bo2bo13bo$27bobo141bo4bo4bo8bobo3b2o
11bo2b2o37b2obo14b2obo15bo12b2o14bobo11bobo11b3o12b3o7bo2bo13bobo$26b
2o126bo7bo9bo2bobo3bo7bo2bo3bo4bo7bo2bo5b3o7b3o58b4o8b4o13bo13bo12bo
14bo10b3o14bo$27bobo144b3o4bo8bobo3b2o2bo11bo5b3o7bobo26bobo27bo17bo
11b2o12b2o11b2o13b2o11bo14b2o$27b2o125bo7bo9b2o2bob2ob2o8bo2b2obobo14b
o14bobo19bo3bo2bo10bo3bo2b2o8bo4b2o54bo14bo$30bo141b3o7bo11b2o16b2o3b
2o9b2o20b2obobo2b2o8b2obobo2bo8b2o2b2o10bo14bo2bo10bo2bo9bo2bo11bo2bo
11bo12bo2bo$obobo3bobobo13bo2bo166b2o14b2o3b2o31bobo15bobo4bobo7bobo3b
o8b2o13bo13bo12bo14bo13b2o12bo$25bo171bo16bo4bo9bo19b2o16b2o15b2o15bo
12b2o12b2o11b2o13b2o13b3o10b2o$4bo3bo15b2o203bobo69b3o10bobo11bobo10bo
bo12bobo25bobo$25bobo201bobo18bo17bo16bo16bo10b2o12b2o11b2o13b2o15bobo
8b2o$obobo3bobobo12b2o203bo19bobo15bobo14bobo16bo67b2o$28bo221bobo15bo
bo14bobo14b2o10bo13bo12bo14bo16bo10bo$4bo7bo11bo2bo223bo17bo16bo15b2o
10bobo11bobo10bobo12bobo14bobo8bobo$23bo280bo9bobo11bobo10bobo12bobo
14bobo8bobo$obobo3bobobo9b2o291bo13bo12bo14bo16bo10bo$22bobo$21b2o2$
22bo$22bobo$22bobo$23bo7$335bo41bo10bo$298bo18bo16bobo11bo12bo13b2o9b
2o15bo18bo$281bo15bobo16bobo14b2o11b2o12bobo12b2o9b2o13b2o18bobo22bo$
280bobo14bobo16bobo15bo11b2o11b2o16bo10bo12b2o18bobo21bobo$279bo2bo14b
o18bo16bobo12bo11bobo12bo10bo16bo17bo23bobo$280bo52bo12bo13b2o12b3o8b
3o13bo43bo$192b3o23bo25bo17bo4bo13b2o13b2o17b2o15bo12b3o15bo10bo10bo
15bobo16b2o22b2o$192b3o21b2o24b2o17bobobo2bo28bobo16bobo13b2o11bo13bo
2bo10b2o9b2o15bobo17bobo20bobo$45bo15bo114bobo15b2o20b2o24b2o17bobobo
3bo13bo13b2o17b2o14bobo9b2o12bo17bo8bo16bo18b2o$44bobo13bobo113bo16bo
3b2o62bo3bo14bo17bo18bo14b2o11bo11b2o13bo2bo10bo2bo10b2o20bo20b3o$43b
2o15bobo87bo3bo3bobobo9b4o41b3o23b3o4bobo7b2o6bo10bobob2o14bo2bo15bo2b
o24bo2bo7bobo11bo29bo21bo2bo16b2o$44bobo13bo111b4o2bo15b2obo12b3o3bo3b
obo2b2o9b3o3bo3bobo2bo8bobo4b2o9b2o6bo16bo18bo11b2o20b2o12b2o15b2o12b
3o23bo17bo$25b2o17b2o13b2o89bo3bo3bo16bo19bo13bo5bo2bo3bo2bo9bo5bo2bo
3bo2b2o15bo10bo2bo2bo14b2o17b2o13b2o11b2o22bo16bo13bo21b2o20b3o$47bo
11bobo109b3o5b2ob2o8b3obo10b2o4bobo2bo5bobo6b2o4bobo2bo14b3o6b3o8b2o
19bobo16bobo14bo11bo8bo13b3o13bobo14bo20bo$obobo3bobobo10b2o2bo15bo2bo
103bobobo3bobobo8b2ob2o4bo10bo4bo10b3o3bo19b3o3bo19bobo7bo10bo3bo14b2o
17b2o14bo12bobo7bo14bo14bo14b2o21b3o18bobo$22bo19bo15b3o112b2o2bo6bo6b
obo19bobo23bobo18bobo8bo9bo2bo15bo16bo3bo11b3o11bo8bo17bo11bo15b2o3bo
18bo18bo$4bo3bo12b2o4b3o11b2o15b3o93bo7bo11b2o8bo6bo2bobo2bo8bobo3bo
19bobo3bo18b2o8b2o12bo17bo2bo15bo12bo12bo9b2o14b2o12bobo15bo2bo20bo17b
o3bo$22bo4b3o12bobo12bo123b3o8bob3o2bo8b2o24b2o33b2o12b2o20bo10bobo13b
2o12bobo8bo2bo11b2o12bobo16bobo18b2o19bob2o$obobo3bobobo9b3o17b2o11b2o
97bo3bobobo12bobo2bo11bob3o2b2o8bo25bo24bo10bo30b2o11b3o17bo10bobo9bob
o26b4o17bo2bo14b2o3bo18bo$23bo6b3o12bo9bobo117bo3bo13bobo3bo9bobo23bob
o22bobo22b3o14bobo10bo15bo2bo9b4o9b3o10b2o17bobo20bo15bo2bo19b3o$4bo3b
o3bo12bo4b3o8bo2bo130bobobo29bobo23bobo22bobo22b3o13b2o11b2o14bo12bobo
10bobo11bobo16bobo17b2o18bobo19b3o$23b2o15bo13b3o119bo3bo15b2o12bo25bo
24bo40bo13bo12b2o12bobo10bobo11b2o17bo20bo21bo2bo$obobo3bobobo10b2o4b
2o8b2o13bobo141b2o86bobo14bo2bo8bobo12bo12bo12bo13bo19bo19b3o23bo17b3o
$25bo3b2o9bo14bobo228b2o19bo7bobo12b3o11bo12bo13bo18bobo18bo21b2o19b3o
$31bo8b3o11b2o231bo16b2o9bo15bo12bobo10bobo11bobo17bo21bo19bobo$41bo
245bobo14bobo10bo15bo11bo12bo13bo17b2o19b2o19b2o19b2o$43bo11bo231bobo
13b2o10b2o14b2o11b2o11b2o12b2o18bobo17b2o20bobo17b2o$41b2o12bobo230bo
15bobo8b2o14b2o12bobo10bobo11bobo17bo20bo20bo20bo$41b2o12bobo247bo11bo
15bo12bo12bo13bo$43bo12bo11$347bo$296bo18bo12bo16b2o14bo15bo21bo$294b
2o17b2o12bobo15b2o12b2o14b2o21bobo$285bo8b2o17b2o11b2o19bo11b2o14b2o
20b2o$250bo32b2o11bo18bo11bobo15bo15bo15bo20bobo$26bo220bob2o15bo16b2o
9bo18bo13b2o15b3o12bo15bo22b2o$25bobo14bo132b3o68bo2bo16bo18bo7b3o16b
3o15bo13bo13b3o13b3o24bo$24b2o14b2o133b3o67bo3bo11b3obo17bo9bo18bo13bo
2bo13b2o13bo15bo22bo2bo$26bo13b2o135b2o15b2o23b2o24bo4bo8bo2b2obobo15b
obo6b2o17b2o12bo20bo10b2o14b2o21bo$24b2o16bo132bobob2o9b2obo2bo18b2obo
2bo22b3o3bo7b2o3b2o18bobo7bo18bo11b2o16bo2bo14bo13bo20b2o$24b3o13bo
109bo3bo3bobobo14bo11bo3b2o19bo3b2o22bo4b2obo7bo5bo19bo9bo2bo15bo2bo8b
o15bo14bo2bo15bo2bo17bo$39b3o132b2o12bo8b3o13bo8b3o5bo11b3o5b2o7bo4bob
o16bo14bo18bo7b3o12b2o13bo23bo16b3o$obobo3bobobo11bo2bo11bo110bo3bo3bo
14bo15bo3b5o3bo3b2o7bo3b5o3bob2o11bo9bo7bo5bo13b2o2bo11b2o17b2o10bobo
11bobo11b2o20b2o19bo$24bobo11b2o133b4ob2o11bobo4bo2bob2o11bobo4bo2bo3b
2o7b2o23b2o12bo2bo13bobo16bobo13bo8b2o14bo21bo21bo$4bo7bo11bo12bo3bo
108bobobo3bobobo8bo5bo3bo7b3o3bo9bo8b3o3bo18bobo16b2o5bobo10b3obo11b2o
17b2o12bo3bo23b3o19b3o17b2o$25bo14bo130b5obo3bo7b3o3bo2bo15b3o3bo2bo
35bobo4bo11bo16bo16bo3bo11b2o10bo15bo21bo18b2o3bo$obobo7bo12bobo8bobo
115bo3bo3bo8bo9bo14bo24bo16b3o18b2o18b4o13bo2bo15bo13bobo8bo17bo21bo
18bo2bo$26bo8b3o134bo3bo2bo17bo24bo15b3o19bo16bo22bo10bobo15b2o9bob2o
12b2o20b2o20bobo$4bo7bo12b2o8bo118bo3bobobo9bo5b2o15bo2bo21bo2bo37bo2b
o11bo4b2o14b2o11b3o19bo8b3o12b2o3bo16b2o3bo19bo2bo$34b2o138bo20bo24bo
20b3o21bo9b2o2b2o16bobo10bo17bo2bo26bo2bo18bo2bo23bo$obobo7bo11bo2bo7b
o136b2o21bobo22bobo18b3o18b2o11bobo3bo14b2o11b2o16bo11b2o18bobo19bobo
20b2o$23bo12bo2bo132b2o22bo24bo40bobo9b2o21bo13bo14b2o11b3o20bo2bo18bo
2bo17bo$22b2o16bo133bo65b2o19b2o35bo2bo8bobo13bobo37bo21bo16b3o$22bobo
12b2o201b2o20bobo10bo26bo7bobo12b2o13bobo20b2o20b2o19bo$21b2o14bobo
202bo20bo11bobo21b2o9bo29b2o21bobo19bobo20bo$36b2o237bobo21bobo10bo13b
o14bo20b2o20b2o20b2o$22bo14bobo236bo21b2o10b2o14bobo12bobo19bobo19bobo
18b2o$22bobo13bo260bobo8b2o14bobo12bobo20bo21bo21bo$22bobo275bo11bo14b
o14bo$23bo12$409bo$408bobo$407b2o14bo16bo17bo$319bo89bo11b2o15b2o17bob
o$25bo9bo235bo20bo25bobo86b2o12b2o15b2o17bobo$24bobo7bobo139b2o58bo33b
obo18bobo23b2o14bo73b3o13bo16bo16bo$23b2o9bobo137b2o3bo54b2o33bo2bo17b
o2bo24bo13bobo13b2o71bo16bo17b2o$25bo8bo139b2obobo17b3o16bo17b2o34bo
20bo25bobo12bobo72bo2bo9b3o14b3o16bobo$23b2o154bo17b2o16bo43bo11b2o19b
2o23bo14bo13b2o2bo16bo4bo13bo4bo15bobo10bo16bo$23b3o7b2o140b3o21bo14b
2o19b3o20bobo55bo28bo20bobobo2bo11bobobo2bo14bo11b2o15b2o17b3o$34bobo
137bo21b3o17bobo16b3o19b2o14bo6bobo11bo21bobo12b2o11b2o4b3o13bobobo3bo
10bobobo3bo14bo11bo14bo3bo15b3o$23bo2bo7b2o114bo3bo3bobobo10b3o19bo18b
3o2bo38bobo9bo7bo2bo9bo7bo2b2o12bo2bo11b2obo10bo4b3o13bo3bo2b2o10bo3bo
18bobo10bo2bo13bo15bo$obobo3bobobo10bobo9bo136bo2bobo17b2o17b2o2bo12bo
b2o23b2o9bobob2obobo2b2o7bobob2obobo2bo14b2o13bobo10b3o17b2o6bo10b2o6b
o16bo15bo8bobo15b2o$23bo12bo2bo110bo3bo7bo30bo3bo11bo20bo3bo12b3o11bo
6b2o19b2o10bobo14b2o12bo13bo6b3o9bobo5bobo8bobo4b2o15b2o12b2o9b3o16bob
o$4bo3bo3bo11bo15bo131b3obobo14b3o11bo2b3ob2o13b2o15bo10bo2bo8bo2bo2bo
14bo2bo2bo20bo14bobo13bo4b3o36bo29bobo8bo$24bobo10b2o111bobobo7bo8bo3b
3o15bob3o9bobo5bo13bo4b2o8b2o4bo5bo12b2o19b2o20bo3bo2bo10bo2bo12b2o16b
3o6b3o7b3o6b3o12bo2bo10b2o9b2o17b3o$obobo3bobobo12bo12bobo131bo4bo28bo
9b2obo8b5obo9b3o3bobo2b2o13bo3bo16bo3bo14b2o5bo11bo4bo11b2o4b2o10bobo
6b2o8b3o7bo12bo13bo3bo8bo17b3o$24b2o12b2o114bo7bo9bo15b2ob2o2bo11b3o6b
obo12bobobo14bo6bo13bo2bo17bo2bo14b2o16b2o6b2o10bo3b3o10bobo7bo19bo9b
2o16bo10bo2bo12bo$4bo3bo3bo28bo132b2o11bo4bobo2bo12bobo14bo17bobo3b5o
17bo20bo19bo2b2o9bobo2b2o29b2o7b2o11b3o4b2o11bobo10bobo16bo9b2o$23bo2b
o10bo2bo113bo7bo8b2o13bo3bo2b2o3bo9b3o2bo13bo2b2o13b2o6b2o18b2o19b2o
15b4o12b2o5bo20b3o16bobo9b3o4b2o11b2o10b3o14b2o11bobo$obobo3bobobo9bo
13bo135bo14bo5b2o2bo10b2o16bob4o14bo7bo57b2o2bo17b3o18b3o7bo9bo19bo13b
o8bo16bobo$21b2o12b2o135b3o14bo4b2o15bo14b2o18bobo26b3o18b3o29bo6bo29b
obo17b2o18bo2bo8b2o15b2o11b3o$22bo12bobo135bo13b2o19b2o2bo33bobo26b3o
18b3o15b2o12bobo6bo16b2o9bobo17b2o17bo13bo16bo11bobo$22b3o9b2o139bo11b
2o20bo2bo14bo19bo66b3o11bobo4b2o17b2o10bo20bo15b2o14bo2bo13bo2bo8bobo$
23bo149b2o14bo20bo16bobo44b2o19b2o32bo5b2o19bo46bobo17bo16bo6b2o$25bo
9bo137b2o52bobo44b2o19b2o16b2o22bo64b2o16b2o15b2o$23b2o10bobo137bo52bo
47bo20bo15b2o105bobo14bobo8bo$23b2o10bobo277bo87bo15b2o15b2o10bobo$25b
o10bo366bobo14bobo14bobo8bobo$403bobo15bo16bo10bo$404bo12$359bo25bo17b
o$358bobo10bo12bobo15bobo$357b2o10b2o13bobo15bobo14bo16bo$23bo16bo12bo
9bo295bo9b2o13bo17bo15bobo14bobo$22bobo13b2o12bobo7bobo149bo37bo14bo
89b2o12bo45b2o16bobo$22bobo13b2o11b2o9bobo135bo11b2o11bo24b2o14bobo88b
3o9bo13b2o16b2o15bobo14bo$22bo17bo12bo8bo135b2o12b2o9b2o25b2o14bobo12b
o13bo4bo15bo4bo16bo4bo25bobo12bobo15bobo13b2o$38bo12b2o127bo17b2o14bo
8b2o27bo13bo12b2o13bobobo2bo13bobobo2bo14bobobo2bo12bo2bo8bo14b2o16b2o
17bo12b2o$21b2o14b3o11b3o7b2o116bobo30bo12bo24bo14b2o12b2o13bobobo3bo
12bobobo3bo13bobobo3bo11bobo10bobo12bo17bo13bo2bo14bobo$22bobo12bo24bo
bo114b2o18b3o7bo2bo10bo5b2o19bobo12bobo13bo12bo3bo2b2o12bo3bo2b2o13bo
3bo2b2o11bo12bobo13bo2bo14bo2bo8bo18b2o$22b2o12b2o13bo2bo7b2o115bo19b
3o7bo2b2o9bo3bo2bo19bobo26bo13b2o6bo12b2o6bo13b2o6bo13bo31bo17bo6b2o
19bo$obobo3bobobo10bo13bo13bobo9bo86bo3bo3bobobo17bobo26bo12bo9bo18bo
12b3o11b3o12bobo5bo12bobo5bo13bobo5bo13bobo9b3o14b2o16b2o9bo20bo2bo$
24bo2bo10bo2bo9bo12bo2bo112bobo9bo4b2o11b3o2bo6b5obo3bo17bo10bo2b2o12b
o24bo20bo21bo12bo10b2obo14bobo14bobo8b3o$4bo3bo3bo15bo13bo9bo15bo81bo
3bo3bo3bo16b3o9bo4bobo12bo10bo5bo3bo14bo2bo8b2o16b2o13b3o6b2o10b3o6b2o
11b3o6b2o12b2o12b2obo12b2o14b2o11bobo14bo2bob2o$25b2o12b2o11bobo10b2o
111b2o10b2o2bobo14bob3o8b3o2b2o14b2obo10b2o5b3o11bo11b3o6b2o10b3o6b2o
11b3o6b2o45bo15bo13bo12bo2bo$obobo3bobobo13bobo11bobo10bo11bobo82bobob
o3bobobo15bo11bo2bo15b2o3b2o8bo2bo17b3obo13bo3bo8bo2b2o22bo20bo21bo10b
o2bo26bo2bo12bo2bo11bo3bo11bo2bo$26b2o12b2o10b2o10b2o107bo3bobo9b2o2bo
4bo10b2obobo10b3o16bo15b4o3bo8bo18b3o12b3o19b3o21bo14b2obo11bo15bo16b
2o14b3o$4bo7bo16bo13bo21bo88bo3bo3bo9bobo3bo10bo5bo3bo14bo29b6o11b2o2b
o9bo5b3o11b3o12b3o19bobo20b2o14bobo11b2o14b2o17bo15bo$25bo2bo10bo2bo8b
o2bo11bo2bo102bo4b3o2bo6b2obo3b2obo8b2obo13bo2bo13bo32b3o3b3o72bobo11b
o15bobo13bobo15b3o$obobo3bobobo11bo13bo12bo18bo83bo3bobobo9bobobo5bo7b
o17b2o15bobo13bo4b2o15b2o31bobo12bobo17b3o22b2o10b2o16b2o14b2o17bobo
13bo$23b2o12b2o11bo16b2o106b5obo8b2o2bo15bobo12bo14b2o2b2o17b3o10bobo
3bobo11b2o13b2o18b2o26bo8bobo18bo15bo19bo9b2o$24bo12bobo10b3o15bo102b
2o20bobo14bo15bo13bobo3bo29b2o4b2o13bo14bo20bo21bo2bo26bo2bo12bo2bo17b
o3bo8b3o$24b3o9b2o30b3o101b2ob2o3bo10bo3bo15b4o11bobo10b2o23bobo10bo5b
o13bobo12bobo16b2o21bo12b3o14bo15bo22b2o13bobo$25bo25bobo15bo103bob2o
14bo20bo14bo36b2o11bobo3bobo11bobo12bobo17bobo18b2o12bobo13b2o14b2o23b
o11b3o2bo$27bo9bo13b2o18bo105bo13bobo18b2o12b2o12bo24bo11bobo3bobo12bo
14bo19bo20bo13bobo12bobo13bobo22b3o9b2o$25b2o10bobo12bo16b2o121bo20bo
13bobo10bobo22bobo10bo5bo69b3o10b2o13b2o14b2o25bo13bo$25b2o10bobo12bob
o14b2o143bo13bo11bobo22bobo87bo71bo8b2o2bo$27bo10bo13bobo16bo169bo24bo
90bo10bo14bo15bo25b2o10bo2bo$53bo301b2o11bobo12bobo13bobo23b2o11bo$
355b2o11bobo12bobo13bobo25bo$357bo11bo14bo15bo46$667bo18bo16bo17bo13bo
15bo32bo28bo13bo13bo$666bobo16bobo14bobo15bobo11bobo13bobo11bo17b2o27b
2o13bobo11bobo$666bobo16bobo14bobo15bobo11bobo13bobo9b2o18b2o12bo14b2o
13bobo11bobo$666bo18bo16bo17bo13bo15bo11b2o20bo9b2o17bo12bo13bo$87bo
676bo17bo11b2o15bo$86bobo13bo19bo491bo17b2o31b2o17b2o15b2o16b2o12b2o
14b2o11bo18b3o12bo13b3o12b2o12b2o$85b2o3bo10bobo17bobo451bo18bo18b2o
51bobo16bobo14bobo15bobo11bobo13bobo9bobo16bo12bo15bo15bobo11bobo$54bo
11bo19bo4bo9bo19bobo18bobo429bobo16bobo15b5o14b2o2bo31b2o17b2o15b2o16b
2o12b2o14b2o10bo17b2o11b3o13b2o15b2o12b2o$53bobo9bobo17b5obo9bo2bo16bo
20b2obo13b2o23b2o21b2o278bo20bo20bo9bobo8bo23b2o17b2o15bo6bo11bo19bo4b
o12bo18bo16bo17bo13bo15bo11bobo17bo9bo14bo3bo14bo13bo$34bo17b2o11bobo
16b3o16bo33bo3bo13b2obo2bo18b2obo2bo46bo32bo28bo28bo28bo132bo2b3o5bobo
7bo2b3o15bo2b3o3bo2bo8bo2b3o3bo2b2o11bo18bo16bobo2b2o11b2o4b3o11bobobo
2bo12bo2bo15bo2bo13bo2bo14bo2bo10bo2bo12bo2bo7bobo13bo2bo9b2o17bo16bo
2bo10bo2bo$30b2ob2o12bo5bobo9bo17bo3bo15bob3o12b2o2bobo8b2obob2o12bo3b
2o19bo3b2o20b2o2bo22b2o23b2o6bobo18b2o6bobo18b2o6bobo18b2o6bobo5bobo9b
3o26b3o26b3o26b3o23b2o4bobobo2bo7b2o4bobobo2b2o6b2o4bobobo2b2o6b2o4bob
obo2bo13bo18bo15bo5bo12bo4b3o11bobobo3bo15bo18bo16bo17bo13bo37bo14bo
13bobo22bo13bo$o3bo3bobobo16bo3bo12bobo4b2o27bo3bo16b3o12bo2bob4o8bo
17bo8b3o13bo8b3o5bo8bo25b5ob3o25bo28bo8bobo17bo6bo2b2o17bo6bo2bo9bo28b
o28bo28bo30bobo3bo2b2o10bobo3bo2bo11bobo18bobo5bobo10b2ob2o14b2ob2o14b
o5bo2bo8b3o16bo3bo2b2o12b2o17b2o15b2o16b2o12b2o14b2o8b3o11b2o15bo2bo8b
3o20b2o12b2o$29bo3bo12bo9bo7b2o16bobobo30bo4b2o10b3o3b2o12bo3b5o3bo3b
2o7bo3b5o3bob2o8b2o4b3o17bo8bobo4bo9b2o2bo3bo2b2obobo2b2o8b2o2bo3bo2b
2obobo2bo9b2o2bo3bo2b2obobo2bo9b2o2bo3bo2b2obobo2b2o6b2o4bo4bobo15b2o
4bo4bobo15b2o4bo4bobo15b2o4bo4bobo15b2ob2o16b2ob2o7bobo6b2ob2o16b2ob2o
20bo2b3o13bo2b3o13bobo7bo8bo6b2o8b2o6bo13bobo16bobo14bobo15bobo12bobo
13bo8b2obo10bobo26bo22bobo12bo$o3bo3bo3bo15bo3bo2bobo8bo2bo2bo2bo9bobo
14bo3bo14b4o11bo3bob2o9bo6b2o14bobo4bo2bob2o11bobo4bo2bo3b2o7bo4b2o18b
obo2b2o4bobo3bo7bo6b5o5bo2bo8bo6b5o5bo2b2o7bo6b5o7bobo7bo6b5o16b3o3bob
ob2obo15b3o3bobob2obo15b3o3bobob2obo15b3o3bobob2obo15b3o18b3o18b3o18b
3o21b2o17b2o19bo5b2o12bo4b2o8bobo5bobo10b2o17b2o15b2o16b2o14b2o13bobo
9b2obo7b2o13bo2bob2o7b2o21b2o14b3o$26b3obobo3bobo9bo4bo11b2o16bo2b2o
13bo4b2o8bo2b2obo10bo2b2o16b3o3bo9bo8b3o3bo18b3o4bo10bo6bo5bo2b3o2bo9b
2o4b2o6bo5bobo6b2o4b2o6bo14b2o4b2o6bo14b2o4b2o6bo20bo28bo13bo14bo28bo
22b4obo15b4obo15b4obo15b4obo17bo5bo12bo5bo14b2o5bobo9b2o7bo29bo18bo16b
o19bo15bo11bo37bo2bo11bo20bo3bo13bo$obobo3bobobo10bo2b2o3b2o3bo11bob2o
21bo9bo5b2o8bo2b2o2b2o7b3o15bo2bo5b3o9b3o3bo2bo15b3o3bo2bo16bo6b4o5b2o
7bo5bo6bob2o7bo4b2o3b2o17bo4b2o3b2o17bo4b2o3b2o17bo4b2o3b2o17bobo3b6ob
obobob2o8bobo3b6obobobobobo7bobo3b6obo15bobo3b6obo5bo8b2obobo15b2obobo
15b2obobo15b2obobo17b4o2bo12b4o2bo20b2o11b2o5bo8b3o6b3o12bo2bo15bo2bo
13bo2bo11bo2bo12bo2bo11bo24bo13bo2bo12bo2bo19bo16bo$22bobo3b2o18bobo
12b2ob2o5b3o8b2obo11b3o12bo3bo17bo5b3o16bo2bo21bo2bo17bo10b2obo8bobo
21b3o4bo2b2o17b3o4bo2b2o17b3o4bo2b2o17b3o4bo2b2o17b2o6bo8bobobo7b2o6bo
8bob2o8b2o6bo8bob2o8b2o6bo8bobobo90bo6bo11bo6bo14bo2bo4bobo11bo3b3o7b
3o6b2o17bo18bo16bo9bo15bo15bobo10b2o10bo14b3o31bobo16b2o$4bo7bo8bo2bo
3bo4bo12bob2o13b2o7bob2o11bo10bo2bobo10bo2bo20bo23bobo22bobo15b2o8b3o
3bo9bo9b2o12bo28bo28bo28bo28bo8bo2bo5bo10bo8bo2bo16bo8bo2bobobobobo8bo
8bo2bobobob2o7b2o2bo16b2o2bo16b2o2bo16b2o2bo16b5o14b5o16bo9bo16bo20bo
13b2o17b2o15b2o10b2o14b2o14bo2bo9b2o10bo16bo14b2o15b3o17b2o3bo$22bobo
3b2o2bo12b2o3b3o10bo6b2o2b2o11b2o9b3o13bo2bo18b2o5bobo16bo24bo17b2o9bo
4bo8b2o8bo16bo28bo28bo28bo26bobo6bo19bobo6bo19bobo6bo8bo10bobo6bo18bo
20bo20bo20bo19bo18bo9bobo7b2o25b2o12b3o3b2o14bobo17bobo13bobo10bobo13b
obo11b4o11bo10b2o31bo15bo21bo2bo$4bo3bobobo10bo2b2obobo18bo12b2obobo4b
o24bo2bo15bobo16b2o5b2o19bo24bo17bo8bo3bo10bobo5bo2bo12b2o27b2o27b2o
27b2o27bobo7b2o17bobo7b2o17bobo7b2o17bobo7b2o16bo3bobo14bo3bobo14bo3bo
bo14bo3bobo14bo3b2obo2b2o7bo3b2obo2bo8bobo26bo11b3o4bobo11b2o19b2o13b
2o12b2o14b2o11bobo10bo2b2o10bo2bo13bo13bobo13b2o22bobo$26b2o18bo4b4o9b
o3bo4bo15b3o8b2o36bo5bo17b2o23b2o28bo2bo11bo7bobo12b2o27b2o27b2o27b2o
28bo28bo28bo28bo30b2obo17b2obo17b2obo17b2obo13bo6bo2bo8bo6bo2b2o6b2o
27bobo18bo13bo22bo14bo13bo15bo9bo12bo2bo12bobo11b2o14bo18bo23bo2bo$28b
2o16bobo3bo11b2ob2o20b3o8bo16b3o24bobo15b2o23b2o29bob2o19bo15bo28bo28b
o28bo142b2o19b2o19b2o19b2o20bo6bobo9bo44bobo9b2o22bo2bo14bo2bo11bo2bo
10bo2bo12bo2bo9bo13bo14b3o12b3o12bo15bo2bo28bo$29bo16bobo3b2o11bob2o
32b3o13b2o25bobo17bo24bo31bo265b2o19b2o19b2o19b2o18b2o17b2o17bo27bo11b
2o26bo12bo14bo13bo15bo13bobo12b3o10bobo16bobo9bobo12bo29b2o$47bo5bo12b
o2bo18b2o14bo14bo25bo343bo20bo20bo20bo17b2o17b2o17bobo27bo11bo22b2o13b
2o13b2o12b2o14b2o13bo2bo12bo11bobo14b3o2bo8bo2bo10b2o30bo$54bo14bobo
16b2o12b2o13b2o453bo18bo16bobo25b2o36bo14bo14bo13bo15bo29b2o2bo7bo16b
2o26bobo29b3o$90bo11b3o13bobo488bo26b2o36b3o12b3o12b3o11b3o13b3o11b3o
16bobo7bo18bo10b3o10b2o32bo$119bo518bo36bo14bo14bo13bo15bo12b2o15bo3bo
7bobo13b2o2bo9b2o47bo$677bo14bo14bo13bo15bo12bo14bo12bo15bo2bo11bo11bo
32b2o$675b2o13b2o13b2o12b2o14b2o11b2o15bobo9b2o16bo11b2o12bobo30b2o$
675b2o13b2o13b2o12b2o14b2o12bobo14bo11bobo27bobo10bobo32bo$677bo14bo
14bo13bo15bo12bo28bo29bo12bo12$459bo11bo20bo12bo17bo15bo16bo11bo17bo
25bo20bo16bo12bo14bo21bo10bo9bo14bo$457b2o10b2o19b2o11b2o16b2o14b2o15b
2o10b2o16b2o24b2o19b2o15b2o11b2o13b2o20b2o10bobo7bobo12bobo27bo19bo20b
o$290bo21bo131bo12b2o10b2o19b2o11b2o16b2o14b2o15b2o10b2o16b2o24b2o19b
2o15b2o11b2o13b2o20b2o9b2o9bobo12bobo26bobo16b2o19b2o$289bobo19bobo
128b2o15bo11bo20bo12bo17bo15bo16bo11bo17bo25bo20bo16bo12bo14bo21bo10bo
8bo14bo28bobo16b2o19b2o$76bobo199bo9b2o20b2o47bo11b2o69b2o13bo11bo20bo
12bo17bo15bo16bo11bo17bo25bo20bo16bo12bo14bo21bo10b2o53bo$76bo200bobo
9bo21bo25bo21bo85b2obo8bobo9bobo17b3o10b3o15b3o13b3o14b3o9b3o15b3o23b
3o18b3o14b3o10b3o12b3o19b3o9b3o7b2o13b2o27b2o19b3o18b3o$41bo31b3o201b
2o9bobo19bobo23b2o16b3obo10b2o2bo57bo9bo3bobo9bobo9bo19bo12bo17bo15bo
16bo11bo17bo25bo20bo16bo12bo14bo21bo22bobo12bobo25bobo18b3o18b3o$30bo
9bobo30b2obo200bo10bo21bo23b5o13bo2b2obobo7bo60b2o10bo16bo11bobo15b2o
11b2o16b2o14b2o15b2o10b2o16b2o24b2o19b2o15b2o11b2o13b2o20b2o11bo2bo7b
2o13b2o$28b2o9b2o31bo2b2o146bo21bo32bobo6bo21bo23bo6bo10b2o3b2o9b2o4b
3o16bo36b2o9b2o2bo11b2o12bobo16bo12bo17bo15bo16bo11bo17bo27bo16bo3bo
12bo3bo10bo16bo17bo3bo9bobo9bo14bo25b3o16b3o18b3o$28b2o11bo31bob2o2bo
142bobo19bobo31bobo6bobo19bobo21bobo2b2o11bo5bo10bo4b3o15bobo5b2o56bo
32bo2bo9bo2bo14bo2bo12bo2bo13bo2bo8bo2bo14bo2bo19bo2bo20bo16bo12bo2bo
8bo2bo21bo10bo12bo2bo11bo2bo21b3o16b3o18b3o$30bo8b2o28b2obo2b2o13b2o
31b2o31b2o31b2o31bobo19bobo6bobo20b4o7bo21bo23bo5bo12bo4bobo8b3o19b2o
26bo11b3o9b2o13b3o10b3o21bo12bo17bo15bo28bo17bo17bo20bobo14bobo25bo21b
obo13bo15bo14bo38bo20bo$obobo3bobobo15bo10b3o26bo8bo144bo6bo2b2o10bo6b
o2bo20bobo10b4o18b4o20bo5bo2bo8bo5bo10bo6b2o13bobo3b2o2bo15bobo10b3o9b
3o13bo11b2obo17b2o11b2o16b2o14b2o15b2o10b2o16b2o18b2o19b3o14b3o16b2o7b
2o20b3o14bobo10b2o13b2o19b3o15bob2o17bob2o$28bobo40bo5bobo8b2o2bo6bo3b
o17b2o2bo6bo3bo6bo10b2o2bo6bo3bo17b2o2bo6bo3bo23b2obo2bo15b2obo2b2o19b
obo12b2o20b2o20bobo7bo12b2o12bo4b2o13b2o3bo19b2o24b3o15bo11b2obo15bobo
10bobo15bobo13bobo15bo11bo17bo19bo19bo16bo19bo8bo20bo17bo11bobo12bobo
18b3o14bo3bo16bo3bo$o7bo3bo15bobo9bo2bo23bobo17bo10bobobo2b2obob2o8bo
10bobobo2b2obobobo7bo10bobobo2bo14bo10bobobo2bo4bo11b2o8bobo9b2o30bo
16bo21bo20bo5b2o8b2o5bobo8b2o7bo15bobo4b3o13bobo3bo3b3o28b2o30b2o11b2o
16b2o14b2o16bobo10b3o15b3o17b3o16b2o15b2o18bobo7b3o17b2o16b2o10b2o13b
2o19bo16bo20bo$29bo9b3o3bo5bobo12b3o17b2o4b3o3bo3bo5bobobo6b2o4b3o3bo
3bo5bob2o7b2o4b3o3bo3bo5bob2o7b2o4b3o3bo3bo5bobobo7b7o15b7o42bo21bo21b
2o5bobo8bobo4bo9b2o5bo13bo2bo3bo3b3o13b2o3bo4b3o15bo12b2o29bo3bo10bo
17bo15bo16bo13bobo15bo19bo18bo16bo18bo10bobo19bo27bo14bo16bob2o17bobo
18bobo$obobo3bo3bo10b3o2bo10b2o2bobobo3b2obo11bo20bo4b2o4bobo3bo5bo9bo
4b2o4bobo3bo15bo4b2o4bobo3bobobobobo7bo4b2o4bobo3bobobob2o7bo21bo25bo
4b4o14bo3b2obo14bo3b2obo21b2o10b2o17bo3b3o11bo30bobo19bob2o25b2obo17bo
12bo2bo14bo2bo12bo2bo11bo18bo15bo19bo17bo2bo13bo2bo13bo15bo13bo2bo14bo
2bo11bo2bo11bo2bo11bo3bo$23b2o3bo13bobo4bo15b2o20b3o4bo5bo2bo16b3o4bo
5bo2bo16b3o4bo5bo2bo6bo9b3o4bo5bo2bo15bobo3b3o13bobo3b3o15b2obo4bo17bo
5bo15bo5bo14bo2bo4bobo9bo21bo12b2o14b3o9bo2bo3b2o2bo13bo14b2o13bobo14b
obo18bo17bo15bo10bobo13bo3bo12b2o18b2o22bo16bo12bobo10bo3bo11bo17bo44b
o22b3o18b3o$4bo3bo3bo13bo13bo3bo2b3o18bo19bo6b3o3bo19bo6b3o3bo19bo6b3o
3bo19bo6b3o3bo17bo5bo15bo5bo17bo4b2obo18bobo19bobo16bo9bo11bo2bo16b2o
12bobo13b3o8bo24b2o14bobo11bo16b3o16b2o16b2o14b2o11bo2bo14b2o14b2o3bo
14b2o3bo15b2o15b2o13bo2bo11b2o12b2o16b2o12bo2bob2o12b2o12bobo19bo20bo$
24b2o2bo2b2o7bo3bo2b2o2bo12bo2bo22bo32bo32bo32bo29bo5b4o12bo5b4o12b3o
3b2o29bobo28b2o25bo16bo11b2o25b2o9b2o13bo2bo2bo8b2obo9b2o17bo18bobo16b
obo12bobo9b4o16bobo14bo2bo16bo2bo16bobo13bobo11b4o13bobo11bobo16bo11bo
2bo16bo34bobo18bobo$obobo3bobobo9bo2bo2bobo9bobo7bobo10bo24b2o31b2o31b
2o31b2o30bobo4bo14bobo4bo13bo31bo3bo2bo14bo3bo2b2o7bo22b2o19bo2bo23b2o
9bobo22b2o6bo7bo12bobo15b2o17b2o18b2o12b2o10bobo18b2o16bobo17bobo16b2o
13b2o12bobo15b2o12b2o15b3o11bo2bo15bobo11b3o17b4o17b4o$22b3o2b3obo9bo
6bo13b2o24b2o31b2o31b2o31b2o31bo5b2o14bo5b2o12bo2b2o26b2obobo2b2o12b2o
bobo2bo8b3o21bo23bo7bo14b2o8b2o25bobob2o9b2o32bo16bo21bo13bo8bo23bo17b
o2bo16bo2bo15bo14bo10bo20bo13bo13b2o2b2o9b3o15bo12bo19bobo18bobo$21bo
2bob3o19bo13bobo25bo32bo32bo32bo29b2o6bo13b2o6bo12bo2bo27bobo19bobo4bo
bo8bo22b3o18b2o9bobo14bo35bo13b2ob2o7b3o15bo2bo18bo2bo13bo2bo10bo2bo8b
o20bo2bo22bo19bo10bo2bo11bo2bo10bo17bo2bo10bo2bo17bobo26bo11b2o20bobo
18bobo$21b3o3b2o19bobo10b2o157bobo5bo13bobo5bo14bo26b2o20b2o19bo21bo
19bobo8bobo23bo29bo22b3o14bo26bo11bo13bo12bobo17bo23b2o18b2o11bo14bo
14bobo14bo13bo18bo14bo2bo13bobo9b3o19bo19bo$21bo2bo24bo171bo21bo23bo
65b2o24bo16b2o11bo24bobo40b2o24b2o23b2o12b2o12b2o12bo2bo15b2o24bo19bo
10b2o13b2o14bo2bo12b2o12b2o18bobo12bobo14bobo32bo18bobo$22b2o38bo202b
2o26bo21bo17b2o22b2o18bobo34bobo25b2o13bobo10b3o10bobo23bo13bo13bo31bo
bo23b3o17b3o8bobo12bobo29bobo11bobo17bo14bo17b4o8bobo19bobo16bo$62bobo
200b2o26bobo19bobo17bo21b2o19bo36bo25bo14b2o12b3o9b2o25b3o11b3o11b3o
10b3o15b2o26bo19bo8b2o13b2o15b3o12b2o12b2o20bo14bo18bobo7b2o21bo19bo$
62bobo202bo25bobo19bobo41bo80bo2bo66bo13bo13bo11b2o46bo19bo38b2o49bobo
12bobo16bobo8bo20b2o17b2o$63bo230bo21bo124bobo13bo11b2o12bo28bo13bo13b
o11bo16bo26b2o18b2o8bo14bo17bo13bo13bo21bo14bo16bo11bobo19bobo15b2o$
442bo14bobo9b2o12bobo24b2o12b2o12b2o10b2o17bobo24b2o18b2o8bobo12bobo
13b2o14bobo11bobo18b2o13b2o16b2o10bobo20bo18bo$457bobo11bo11bobo24b2o
12b2o12b2o11bobo15bobo26bo19bo7bobo12bobo14bobo12bobo11bobo19bobo12bob
o14bobo10bo$458bo25bo27bo13bo13bo11bo17bo56bo14bo16bo14bo13bo21bo14bo
16bo!Code: Select all
#C All known c/4 orthogonal ships up to 70 bits.
#C Keith Amling proved that the 37-cell spaceship shown here
#C is the unique smallest period-4 c/4 orthogonal spaceship.
#C
#C Discovery credits:
#C AA = "AforAmpere"
#C BU = "Bullet51"
#C DH = Dean Hickerson
#C HH = Hartmut Holzwart
#C JB = Josh Ball
#C JS = Jason Summers
#C KA = Keith Amling
#C MM = Matthias Merzenich
#C NB = Nicolay Beluchenko
#C PR = "praosylen"
#C RM = "rmmh"
#C SS = Stephen Silver
#C TC = Tim Coe
#C
#C 37 JB 15 Apr 2012
#C 40 MM 27 Sep 2017
#C MM 27 Sep 2017
#C 41 JB 19 Apr 2013
#C 42 PR 19 Jan 2017
#C MM 27 Sep 2017
#C MM 27 Sep 2017
#C 43 MM 18 Apr 2012
#C 44 PR 26 Dec 2016
#C 45 MM 20 Apr 2012
#C MM 20 Apr 2012
#C MM 18 Jan 2017
#C MM 18 Jan 2017
#C 46 TC 3 May 1996
#C MM 20 Apr 2012
#C 47 SS 9 Oct 2000
#C SS 9 Oct 2000
#C MM 18 Jan 2017
#C MM 18 Jan 2017
#C 48 TC Dec 2015
#C TC Dec 2015
#C MM 18 Jan 2017
#C 50 MM 20 Apr 2012
#C MM 20 Apr 2012
#C 51 TC 3 May 1996
#C SS 11 Nov 2000
#C SS 11 Nov 2000
#C 52 PR 26 Dec 2016
#C 53 TC 6 Aug 1995
#C SS 10 Nov 2000
#C PR 10 Jan 2017
#C PR 10 Jan 2017
#C MM 28 Jan 2017
#C MM 28 Jan 2017
#C 54 TC Between Dec 2015 and 21 Apr 2016
#C PR 19 Jan 2017
#C 55 HH 2 Jan 2004
#C MM 20 Apr 2012
#C TC Dec 2015
#C TC Between Dec 2015 and 21 Apr 2016 (tag)
#C 56 MM 18 Apr 2012
#C TC Dec 2015
#C MM 19 Jan 2017
#C MM 19 Jan 2017
#C 57 NB 25 Feb 2004
#C TC Between Dec 2015 and 21 Apr 2016
#C TC Between Dec 2015 and 21 Apr 2016
#C MM 20 Apr 2012
#C MM 20 Apr 2012
#C JB 15 Apr 2012 (tag by HH 18 Aug 1992)
#C JB 15 Apr 2012 (tag by HH 18 Aug 1992)
#C JB 15 Apr 2012 (tag by HH 18 Aug 1992)
#C JB 15 Apr 2012 (tag by HH 18 Aug 1992)
#C JB 15 Apr 2012 (tag by JS 1 Oct 2000)
#C PR 19 Jan 2017 (tag by HH no later than 2 Mar 2006)
#C MM 27 Sep 2017 (tag by HH no later than 2 Mar 2006)
#C MM 27 Sep 2017 (tag by HH no later than 2 Mar 2006)
#C 58 MM 16 Jan 2017
#C MM 29 Dec 2016
#C PR 17 Jan 2017
#C MM 20 Apr 2012
#C TC Between Dec 2015 and 21 Apr 2016 (tag)
#C JB 19 Apr 2013 (tag by HH 18 Aug 1992)
#C JB 19 Apr 2013 (tag by HH 18 Aug 1992)
#C JB 19 Apr 2013 (tag by HH 18 Aug 1992)
#C JB 19 Apr 2013 (tag by HH 18 Aug 1992)
#C JB 19 Apr 2013 (tag by HH 18 Aug 1992)
#C JB 19 Apr 2013 (tag by HH 18 Aug 1992)
#C MM 19 Jan 2017
#C MM 19 Jan 2017
#C 59 KA 23 Feb 2024
#C MM 20 Apr 2012
#C 60 TC Between Dec 2015 and 19 Mar 2016
#C PR 1 Jan 2017
#C 61 JS 22 Sep 2000
#C KA 16 Feb 2024
#C MM 1 Oct 2017
#C MM 1 Oct 2017
#C MM 20 Apr 2012
#C TC Between Dec 2015 and 21 Apr 2016 (tag)
#C MM 19 Jan 2017
#C MM 19 Jan 2017
#C MM 27 Sep 2017 (tag by TC Between Dec 2015 and 21 Apr 2016)
#C MM 27 Sep 2017 (tag by TC Between Dec 2015 and 21 Apr 2016)
#C 62 MM 2 Aug 2015
#C MM 20 Jan 2017
#C MM 1 Feb 2017
#C MM 1 Oct 2017
#C MM 1 Oct 2017
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C TC Between Dec 2015 and 21 Apr 2016 (tag)
#C MM 1 Oct 2017 (tag)
#C MM 1 Oct 2017 (tag)
#C MM 1 Oct 2017 (tag)
#C MM 1 Oct 2017 (tag)
#C MM 18 Jan 2017 (tag by HH no later than 2 Mar 2006)
#C MM 18 Jan 2017 (tag by HH no later than 2 Mar 2006)
#C MM 27 Sep 2017 (tag by MM Aug 2015)
#C MM 27 Sep 2017 (tag by MM Aug 2015)
#C MM 27 Sep 2017 (tag by MM Aug 2015)
#C MM 27 Sep 2017 (tag by MM Aug 2015)
#C MM 27 Sep 2017 (tag by MM Aug 2015)
#C MM 27 Sep 2017 (tag by MM Aug 2015)
#C MM 27 Sep 2017 (tag by MM Aug 2015)
#C MM 27 Sep 2017 (tag by MM Aug 2015)
#C MM 27 Sep 2017 (tag by HH 18 Aug 1992)
#C MM 27 Sep 2017 (tag by HH 18 Aug 1992)
#C 63 MM 18 Apr 2012
#C MM 20 Apr 2012
#C MM 20 Apr 2012 (tag by HH 18 Aug 1992)
#C MM 20 Apr 2012 (tag by HH 18 Aug 1992)
#C TC Between Dec 2015 and 21 Apr 2016
#C PR 26 Dec 2016 (tag by DH Dec 1989)
#C MM 19 Jan 2017
#C MM 19 Jan 2017
#C MM 27 Sep 2017 (tag by TC Between Dec 2015 and 21 Apr 2016)
#C MM 27 Sep 2017 (tag by TC Between Dec 2015 and 21 Apr 2016)
#C 64 TC Between Dec 2015 and 19 Mar 2016
#C TC Between Dec 2015 and 19 Mar 2016
#C TC Between Dec 2015 and 19 Mar 2016
#C PR 19 Jan 2017
#C MM 18 Apr 2012
#C MM 16 Jan 2017
#C KA 16 Feb 2024
#C MM 4 Aug 2015 (tag)
#C MM 4 Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C TC Between Dec 2015 and 21 Apr 2016 (tag)
#C PR 26 Dec 2016 (tag by HH 18 Aug 1992)
#C PR 26 Dec 2016 (tag by HH 18 Aug 1992)
#C PR 26 Dec 2016 (tag by JS 1 Oct 2000)
#C MM 18 Jan 2017 (tag by BU 19 Mar 2016)
#C MM 18 Jan 2017 (tag by BU 19 Mar 2016)
#C MM 27 Sep 2017 (tag by MM Aug 2015)
#C MM 27 Sep 2017 (tag by MM Aug 2015)
#C MM 27 Sep 2017 (tag by MM Aug 2015)
#C MM 27 Sep 2017 (tag by MM Aug 2015)
#C MM 27 Sep 2017 (tag by MM Aug 2015)
#C MM 27 Sep 2017 (tag by MM Aug 2015)
#C MM 27 Sep 2017 (tag by MM Aug 2015)
#C MM 27 Sep 2017 (tag by MM Aug 2015)
#C MM 27 Sep 2017 (tag by HH 18 Aug 1992)
#C MM 27 Sep 2017 (tag by HH 18 Aug 1992)
#C 65 TC Between Dec 2015 and 19 Mar 2016
#C MM 29 Dec 2016
#C BU 19 Mar 2016 (tag)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C TC Dec 2015 (tag by HH 18 Aug 1992)
#C TC Between Dec 2015 and 21 Apr 2016 (tag)
#C MM 18 Jan 2017 (tag by JS 1 Oct 2000)
#C MM 18 Jan 2017 (tag by JS 1 Oct 2000)
#C MM 19 Jan 2017
#C MM 19 Jan 2017
#C MM 27 Sep 2017 (tag by SS 9 Oct 2000 based on a ship by HH 5 Feb 1993)
#C MM 27 Sep 2017 (tag by SS 9 Oct 2000 based on a ship by HH 5 Feb 1993)
#C 66 HH 11 Aug 1992
#C AA 13 Apr 2020
#C TC Between Dec 2015 and 19 Mar 2016
#C TC Between Dec 2015 and 19 Mar 2016
#C MM 20 Jan 2017
#C TC Between Dec 2015 and 19 Mar 2016
#C KA 16 Feb 2024
#C MM 10 Oct 2017
#C MM 10 Oct 2017
#C JB 15 Apr 2013 (tag by DH Dec 1989)
#C JB 15 Apr 2013 (tag by DH Dec 1989)
#C MM 27 Sep 2017 (tag by TC Between Dec 2015 and 21 Apr 2016)
#C MM 27 Sep 2017 (tag by TC Between Dec 2015 and 21 Apr 2016)
#C TC Between Dec 2015 and 21 Apr 2016 (tag)
#C TC Between Dec 2015 and 21 Apr 2016 (tag)
#C TC Between Dec 2015 and 21 Apr 2016 (tag)
#C TC Between Dec 2015 and 21 Apr 2016 (tag)
#C MM 18 Jan 2017 (tag by TC Between Dec 2015 and 21 Apr 2016)
#C MM 18 Jan 2017 (tag by TC Between Dec 2015 and 21 Apr 2016)
#C MM 18 Jan 2017 (tag by BU 19 Mar 2016)
#C MM 18 Jan 2017 (tag by BU 19 Mar 2016)
#C 67 HH 17 May 1994
#C HH 2 Mar 2006 (as part of a grayship)
#C TC Between Dec 2015 and 19 Mar 2016
#C SS 7 Oct 2000
#C SS 7 Oct 2000
#C PR 5 Jan 2017
#C PR 17 Jan 2017
#C PR 17 Jan 2017
#C TC Between Dec 2015 and 21 Apr 2016 (tag)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C MM 20 Apr 2012 (tag by HH 18 Aug 1992)
#C MM 20 Apr 2012 (tag by HH 18 Aug 1992)
#C HH 2 Jan 2004
#C SS 9 Oct 2000 (tag by JS 1 Oct 2000)
#C SS 9 Oct 2000 (tag by JS 1 Oct 2000)
#C TC Between Dec 2015 and 21 Apr 2016 (tag)
#C TC Between Dec 2015 and 21 Apr 2016 (tag)
#C TC Between Dec 2015 and 21 Apr 2016 (tag)
#C MM 18 Jan 2017 (tag by TC Between Dec 2015 and 21 Apr 2016)
#C MM 18 Jan 2017 (tag by TC Between Dec 2015 and 21 Apr 2016)
#C MM 18 Jan 2017 (tag by MM Aug 2015)
#C MM 18 Jan 2017 (tag by MM Aug 2015)
#C MM 18 Jan 2017 (tag by MM Aug 2015)
#C MM 18 Jan 2017 (tag by MM Aug 2015)
#C MM 18 Jan 2017 (tag by MM Aug 2015)
#C MM 18 Jan 2017 (tag by MM Aug 2015)
#C MM 18 Jan 2017 (tag by MM Aug 2015)
#C MM 18 Jan 2017 (tag by MM Aug 2015)
#C MM 18 Jan 2017 (tag by JS 1 Oct 2000)
#C MM 18 Jan 2017 (tag by JS 1 Oct 2000)
#C MM 18 Jan 2017 (tag by BU 19 Mar 2016)
#C MM 19 Jan 2017
#C MM 19 Jan 2017
#C MM 18 Jan 2017 (tag by DH Dec 1989)
#C 68 RM 9 Mar 2016
#C HH center: 5 Feb 1993; wings: no later than 2 Mar 2006
#C PR 28 Dec 2016
#C PR 29 Dec 2016
#C MM 23 Jan 2017
#C MM 1 Oct 2017 (tag)
#C MM 1 Oct 2017 (tag)
#C MM 2 Aug 2015
#C MM 2 Aug 2015
#C HH (tag found as part of a grayship no later than 2 Mar 2006)
#C HH (tag found as part of a grayship no later than 2 Mar 2006)
#C HH (tag found as part of a grayship no later than 2 Mar 2006)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C TC Dec 2015 (tag by JS 1 Oct 2000)
#C TC Between Dec 2015 and 19 Mar 2016
#C TC Between Dec 2015 and 21 Apr 2016 (tag)
#C MM 18 Jan 2017 (tag by TC Between Dec 2015 and 21 Apr 2016)
#C MM 18 Jan 2017 (tag by TC Between Dec 2015 and 21 Apr 2016)
#C MM 18 Jan 2017 (tag by JS 1 Oct 2000)
#C MM 28 Jan 2017 (tag by HH no later than 2 Mar 2006)
#C MM 28 Jan 2017 (tag by HH no later than 2 Mar 2006)
#C MM 27 Sep 2017 (tag by TC Between Dec 2015 and 21 Apr 2016)
#C MM 27 Sep 2017 (tag by TC Between Dec 2015 and 21 Apr 2016)
#C 69 JS 22 Sep 2000
#C JS 22 Sep 2000
#C JS 22 Sep 2000
#C TC Between Dec 2015 and 19 Mar 2016
#C TC Between Dec 2015 and 21 Apr 2016
#C SS 7 Oct 2000
#C SS 7 Oct 2000
#C MM 28 Jan 2017 (tag)
#C TC 3 May 1996 (tag by HH 18 Aug 1992)
#C TC 3 May 1996 (tag by HH 18 Aug 1992)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C MM Aug 2015 (tag)
#C MM 20 Apr 2012 (tag by DH Dec 1989)
#C TC Dec 2015 (tag by JS 1 Oct 2000)
#C TC Between Dec 2015 and 21 Apr 2016 (tag)
#C TC Between Dec 2015 and 21 Apr 2016 (tag)
#C TC Between Dec 2015 and 21 Apr 2016 (tag)
#C MM 18 Jan 2017 (tag by TC Between Dec 2015 and 21 Apr 2016)
#C MM 18 Jan 2017 (tag by TC Between Dec 2015 and 21 Apr 2016)
#C MM 18 Jan 2017 (tag by MM Aug 2015)
#C MM 18 Jan 2017 (tag by MM Aug 2015)
#C MM 18 Jan 2017 (tag by MM Aug 2015)
#C MM 18 Jan 2017 (tag by MM Aug 2015)
#C MM 18 Jan 2017 (tag by MM Aug 2015)
#C MM 18 Jan 2017 (tag by MM Aug 2015)
#C MM 18 Jan 2017 (tag by MM Aug 2015)
#C MM 18 Jan 2017 (tag by MM Aug 2015)
#C MM 28 Jan 2017 (tag)
#C MM 27 Sep 2017 (tag by MM 28 Jan 2017)
#C MM 27 Sep 2017 (tag by MM 28 Jan 2017)
#C 70 MM 18 Apr 2012
#C TC Dec 2015
#C MM 28 Jan 2017
#C MM 4 Apr 2022 (based on a ship by HH on 4 Apr 2022)
#C MM 4 Apr 2022 (based on a ship by HH on 4 Apr 2022)
#C MM 28 Jan 2017 (tag)
#C SS 11 Nov 2000 (tag by SS 9 Oct 2000 based on a ship by HH 5 Feb 1993)
#C SS 11 Nov 2000 (tag by SS 9 Oct 2000 based on a ship by HH 5 Feb 1993)
#C JB 15 Apr 2012 (tags by HH 18 Aug 1992 and 2 Mar 2006)
#C JB 15 Apr 2012 (tags by HH 18 Aug 1992 and 2 Mar 2006)
#C BU 19 Mar 2016 (tag)
#C PR 26 Dec 2016 (tag by TC Between Dec 2015 and 21 Apr 2016)
#C PR 26 Dec 2016 (tag by HH 18 Aug 1992)
#C PR 26 Dec 2016 (tag by HH 18 Aug 1992)
#C MM 18 Jan 2017 (tag by SS 9 Oct 2000 based on a ship by HH 5 Feb 1993)
#C MM 18 Jan 2017 (tag by SS 9 Oct 2000 based on a ship by HH 5 Feb 1993)
#C MM 18 Jan 2017 (tag by DH Dec 1989)
#C PR 19 Jan 2017 (tag)
#C PR 19 Jan 2017 (tag)
#C MM 18 Jan 2017 (tag by DH Dec 1989)
#C MM 18 Jan 2017 (tag by DH Dec 1989)
x = 1696, y = 652, rule = B3/S23
252bo$252b2o2b2o$252bo2bo$255bo90bo$30bo277b2obobo24b2obob2obo$28bo2b
2o222b3o48bo4bob2obo19bo4bobo$26b3o227bo48bo10bo18bo$25bobo225bobo48bo
4b2o23bo4b2o13b2o47bo$25bob2o223bo14bo36bob3o25bob3o14b3o47b2o2b2o$obo
bo3bobobo11bo4bo200bobobo3bobobo9bo3bo8b2o17bobo15b2o28b2o20bo15b2o31b
o2bo$23b2o226b2obobo10bo10b2o2b2o2bo15b3o27b3o20b2ob2o10b3obo10b2o19bo
$4bo7bo217bo11bo11bo3bo10b5o3b3o6bo14bo2bo26bo2bo25bo5bob3o13b3o$22bo
4b2o224b2ob2o12bo4bo4bobo18b4o26b4o20b2o7bobo6bobo9bo20b3o$obobo7bo13b
o203bobobo3bobobo10b2obo13bo4bob3o2bo18b2o28b2o23bo6bobo10bo9b2ob2o16b
o$23b3o230b2o12bo4bo6b2o73bo2bo14b3o13bo5bo6bobo$4bo7bo12bo208bo7bo9bo
3b2o11b2obo3b3o3b3o8b2o5bo22b2o5bo27bobobob2o20b2o7bobob3o$26bo229bo
14bo4b3o14bob3o3bo21bob3o3bo25b2o3bo12bo11bo6bobo4b3obo$obobo7bo12b2o
203bobobo3bobobo10b3o17b2o2b2o15bob2o3bo22bob2o3bo27bo12bo2bo12bo2bo9b
2o$26bo228bo18b2o18bobobo25bobobo43b2o2b2o11bobobob2o$26b2o228bo41bo
29bo43bo15b2o3bo$23bo2b2o227b2o37bo2bobo24bo2bobo60bo$21b2o3bo229bo36b
2o28b2o$23bo232b2o36bo29bo$253bo2b2o$251b2o3bo$253bo14$23bo22bo$21b2o
21b2o244bo$23bo22bo212b4obo24b2o$25b5o18b5o205b4o4bo6bo13bo2bo$o3bo3bo
bobo13bo3b2o17bo3b2o175bobobo3bo3bo12b2o7bo2b2ob2o2b2o6bo2b2o4b2o$26bo
10bo11bo203bo2bo3bo3b3o4bo10b2obo9b2o$o3bo3bo3bo13bo5bob2obo11bo5bobo
172bo7bo3bo8b2o3bo3bo3bo2bo2bo11bo2bo2bo4bobo2bo$25b2obobobobo13b2obob
obob2obo192bo13bo17bo2bo4bo5bo$obobo3bo3bo14bo22bo9bo169bobobo3bobobo
12b2o3bo5bo19b2o5bobobo2bo4b2o$257b3o6b3o29b3o3bo$4bo3bo3bo16b2o21b2o
180bo7bo24b2o31b2ob2o$28b2o21b2o214bo34b2obo2bo$4bo3bobobo14bo2bo19bo
2bo176bobobo7bo23bobo33b2obo$26b4o19b4o213bobo37b2o$24bo22bo219bo33bo$
22b2o21b2o252b2o$24bo22bo253bo12$253bo$251b2o$253bo$255bobo$254bo2bo
83bo$254bo2bo81b2o$254bobo25bobo56bo$256bo25bo3bo48bo3b2o$35bo218b2o
26bo4b2o12b2o30bo2b2obobo$26b3o4bobo218b2o28bo3bo2b2o7b3o5bobo4b2o14b
3o6b2o$o3bo4bo11bo2b2o4b2obobo194bobobo3bobobo15bob2o23b2o3bo10bo6bo7b
o2bo10bobo7b2o$21b2o7bo226b2o43bo5bo2b3o5bo10bob2o9bo$o3bo4bo11bo3bo6b
3o195bo7bo42b4o18b2o5bo5bo2bo9bo4bo8bo$26b2o4bo2bo221b2obo18b2obo2bo
16b3o10b2o11b2o11bo$obobo4bo21b2o2bo194bobobo3bobobo14b2obo18b4o2bo13b
o2b2o4b2o29b2o$28b3o4bo223bo8bo2b2o10bo15b2o4b2o20bo4b2o7bo$4bo4bo25bo
198bo7bo13bo2b2o7b2o2bo26bo3b2obo2bo21bo$34b2o221b3o8bo3b3o2b3o23b3o
22b3o$4bo4bo22bo2b2o193bobobo3bobobo29b2obo2b2o23b2ob2obobo18bo$30b2o
224bo16bo33bo3bo19bo$32bo223b2o16b2o31bo22b2o$255bo2b2o15bo3bo51bo$
257bobo16bo2bo51b2o$253b2o3bo18bobo48bo2b2o$254b3o69b2o3bo$255b2o71bo$
258bo$256bobo$257bo8$252bobo$252bo3bo19bo$252bo2b2o17bo2b2o$254bobo15b
3o12bo22bo$49bo23bo182bo14bobo11b2o21b2o$29bo17b2o22b2o182b2obo12bob2o
12bo22bo$28b2o19bo23bo182bobo11bo4bo13b5o18b5o$26bo2bo21b6o18b6o173bo
14b2o19bo3b2o17bo3b2o$o3bo3bobobo8bo2b2o4b2o20bo4b2o17bo4b2o147bobobo
3bobobo10b2o35b2o9bo11b2o$21b2obo9b2o16bo11bo11bo191bo4b2o14bo6bob2obo
10bo6bobo$o3bo7bo8bo2bo2bo4bobo2bo14bo6bob2obo11bo6bobo144bo7bo13b2o2b
2o14bo15bo2b2obobobo12bo2b2obobob2obo$24bo2bo4bo18b2obob2obobo13b2obob
2obob2obo163b3ob2o11b3o17bo22bo11bo$obobo3bobobo12b2o5bobobobo14bo23bo
10bo141bobobo3bobobo12bob2o12bo$39bo214b2o16bo$4bo3bo29b3o14b2o22b2o
153bo3bo3bo11bo16b2ob2o14b3o2b3o15b3o2b3o$54b2o22b2o174bob2o12b2o2bo
15bo2bob3o15bo2bob3o$4bo3bobobo25bo14bo2bo20bo2bo149bobobo3bobobo11bo
3bo11b2o3bo15b3o20b3o$35bo2bo13b4o20b4o174bo14bobo3b2o14bo3bo18bo3bo$
35b2o2b2o9bo23bo180bo13b2o4b2o19bobo20bobo$35bo12b2o22b2o185bobo8b3obo
13b4o5bo13b4o5bo$50bo23bo181b2o3bo9b2ob3o10b3o2bo17b3o2bo$255bobo3bo7b
o18b2o21b2o$255b2obo10bo$251bobo15bobo$251bo$251bobo9$251bobo$251bo$
251bobo110bo197bobo21bobo$30bo224b2obo98bobob2obo25bobobo18bo24bo24bo
24bo24bo48bo23bo$28bo2b2o222bobo2bo94bo3bobo26bo3bob2obo13bo2b2o20bo2b
2o20bo2b2o20bo2b2o20bo2b2o46bo2bo20bo2bo$26b3o227b2o3bo69bo22bo32bo9bo
11b3o22b3o22b3o22b3o22b3o52bo3bo19bo3bo$25bobo232bo24b2o8bobobo14b2o8b
obob2obo21bo3b2o27bo3b2o16bobo22bobo22bobo22bobo22bobo55bobo21bobo$25b
ob2o228b2o24b2o12bob2obo9b2o12bobo24bob2o29bob2o18bob2o21bob2o21bob2o
21bob2o21bob2o22bo9bobo17b2o22b2o$o3bo3bobobo11bo4bo200bobobo3bobobo
15bo21bobob2o6bo9bo6bobob2o6bo32bo32bo19bo4bo19bo4bo19bo4bo19bo4bo19bo
4bo20b2o9bo19b3o21b3o$23b2o235bo19bo14b2o12bo14b2o26bo32bo20b2o23b2o
23b2o23b2o23b2o23bo2bo9bo2bo18bo23bo$o3bo7bo217bo11bo17bo19bo4bo4b2ob
2o14bo4bo4b2ob2o27bobo30bobo139bo2b2o4b2o9bo3bo8bo23bo$22bo4b2o230bo
22b2obo3b3o19b2obo3b3o27bo2bobo27bo2bobo18bo4b2o18bo4b2o18bo4b2o18bo4b
2o18bo4b2o14b2obo9b2o7bobo6b2o22b2o$obobo3bobobo13bo203bobobo7bo16bobo
25b3o7bo18b3o7bo20bobo30bobo26bo24bo24bo24bo24bo16bo2bo2bo4bobo2bo3b2o
11bo23bo$23b3o233bo2b3o27b2o3bo23b2o3bo19bo2bo29bo2bo23b3o22b3o22b3o
22b3o22b3o20bo2bo4bo8b3o12b6o18b6o$4bo7bo12bo208bo7bo21bo4b2o22bo2bo
25bo2bo21bo32bo27bo24bo24bo24bo24bo21b2o5bobobobo4bo13bo4b2o17bo4b2o$
26bo4bo231bob5obo19b3o2b2o22b3o2b2o11bo2b2o5b2o21bo2b2o5b2o26bo12bo11b
o24bo24bo24bo34bo17bo11bo11bo$4bo3bobobo12b2ob2obo198bobobo7bo21b2o5bo
18bo2bo2b2o21bo2bo2b2o11b2o2bo5bo22b2o2bo5bo26b2o7bo2b3o10b2o7bo2b2o
11b2o23b2o23b2o33b3o16bo6bob2obo11bo6bobo$24bo3bo238bobob2o18bobo2bo
23bobo2bo12bo3b3o2b2o22bo3b3o2b2o27bo7bo2b2o12bo7bo2b3o11bo24bo24bo51b
2obob2obobo13b2obob2obob2obo$24b4o245bo17bobo3bo22bobo3bo15b2obo3bo25b
2obo3bo26b2ob2o3bo16b2ob2o3bo4bo11b2o23b2o23b2o32bo19bo23bo10bo$21bo3b
2o244b2o24bo28bo16bo4bo27bo4bo24bo2b2obob3o14bo2b2obob3o14bo2b2o3bo16b
o2b2o3bo16bo2b2o29bo2bo$21b2o249bo71b2o31b2o25b2o3bo3b4o12b2o3bo3b4o
12b2o3bo3b4o12b2o3bo3b4o12b2o3bo3bobo24b2o2b2o19b2o22b2o$21bo250b2o71b
o3bo28bo3bo23bo7bo16bo7bo16bo5bob3o14bo5bob3o14bo8bo3bo20bo23b2o22b2o$
269bo2b2o72bo2bo29bo2bo79b2o3bo4bo14b2o3bo19b2ob3obo43bo2bo20bo2bo$
267b2o3bo74bobo30bobo84bo2b3o19bo2b2o15bo6bo42b4o20b4o$269bo197bo2b2o
20bo2b3o12bo6b3o40bo23bo$497bo12b2o6bo39b2o22b2o$510bo49bo23bo6$251bob
o$251bo125bo$251bobo122b2o$255b2obo87bo$255bobo2bo83bo2b2o23b2obo$34b
2o220b2o3bo80b3o26b3obobo222bo22bo$33bo226bo10bobo96b2o2b2obo220b2o21b
2o$33b2o222b2o12bo48b3ob3o16b2o26bo4bo223bo22bo$33b2o223bo12bobo42b2ob
3o3b2o11b4o2bo23bobo27bo35bo35bo35bo35bo34bo13bo10b6o17b6o$28b4obo226b
o14b2obo34bo2b2ob2o3bo10bob3o3b3o18bo3bo20b3o4bobo26b3o4bobo26b3o4bobo
26b3o4bobo26b3o4bobo5b2obobo14b3o4bobo5b2obob2obo11bo4b2o16bo4b2o$o3bo
3bo3bo12bob3o200bobobo3bobobo17bo14bobo2bo32bo2bo7b3o7b2o7b4o15bo2b2o
17bo2b2o4b2obobo21bo2b2o4b2obobo21bo2b2o4b2obobo21bo2b2o4b2obobo14bo6b
o2b2o4b2obobo3bo4bob2obo6bo2b2o4b2obobo3bo4bobo14b2o10bo10b2o$24b2o7b
2o224bo3b2o11b2o3bo31bo3bo28bo13b3o21b2o7bo26b2o7bo26b2o7bo11b2obobo9b
2o7bo11b2obob2obo6b2o7bo7bo10bo6b2o7bo7bo21bo7bob2obo9bo7bobo$o3bo3bo
3bo217bo7bo3bo16bobo18bo33b2o2bo15bob2obo19bobo22bo3bo6b3o22bo3bo6b3o
22bo3bo6b3o5bo4bob2obo6bo3bo6b3o5bo4bobo9bo3bo6b3o3bo3b2o12bo3bo6b3o3b
o3b2o15bo2b2ob2obobo11bo2b2ob2obob2obo$24bob2obo229bo3bo13b2o35b2o2bo
15b2o3bo19bob2o26b2o4bo2bo26b2o4bo2bo26b2o4bo2bo3bo10bo11b2o4bo2bo3bo
22b2o4bo2bo3b3o19b2o4bo2bo3b3o18bo22bo12bo$obobo3bobobo11b2o3bo200bobo
bo3bobobo20b2o13bo35bo24bo18bo4bo30b2o2bo31b2o2bo31b2o2bo3bo3b2o22b2o
2bo3bo3b2o22b2o2bo30b2o2bo$29bo233b2o15bo29b2ob2o19b2o21b2o32b3o4bo4b
3o21b3o4bo4b3o21b3o4bo4b3o21b3o4bo4b3o21b3o4bo27b3o4bo$4bo7bo11b2o208b
o3bo3bo16bo3bo16bo28bo24bo63bo3bo3b2o26bo3bo3b2o26bo35bo35bo34bo25b3o
2b3o15b3o2b3o$24bo3bo230bobo17bo8b2o24bo19b3o19bo4b2o34b2o3bo10bo19b2o
3bo30b2o34b2o34b2o33b2o25bo2bob3o15bo2bob3o$4bo7bo12b2o203bobobo3bobob
o16bo3b2o14bobo6b4ob3o12bobobob2obo17b2o3bo19bo34bo2b2o3bo4bob2obo17bo
2b2o3bo4bobo20bo2b2o31bo2b2o31bo2b2o30bo2b2o25b3o20b3o$26bo233bo18bo2b
3o6bobo13b3o7bo23bo15b3o33b2o10b2obobo18b2o10b2obob2obo15b2o34b2o34b2o
33b2o30bo3bo18bo3bo$26b2o232bo23bo3bo4bo8bob2o32b2o19bo35bo35bo17bo17b
o35bo35bo34bo34bobo20bobo$23bo2b2o230bo24bob3obobob3o6bo3b2o29bob2o19b
o240b4o5bo13b4o5bo$21b2o3bo230b2o25b2o2b4o10bob2o31b2o20b2o239b3o2bo
17b3o2bo$23bo236bo27bo2bo41bobo24bo240b2o21b2o$256b2o3bo71bo26b2o$255b
obo2bo72bobo21bo2b2o$255b2obo96b2o3bo$251bobo103bo$251bo$251bobo6$252b
o$252b2o2b2o31bo$252bo2bo32bobo$255bo32bobo$83bo22bo181bo$81b2o21b2o
149b3o$74bo8bo22bo146bo2bobo29bobo$37bobobo25bobob2obo10b5o18b5o138b2o
3bo$35bo3bob2obo20bo3bobo14bo3b2o17bo3b2o138bo2b2obo26b3o$o3bo3bobobo
21bo9bo19bo21bo10bo11bo120bobobo3bobobo16bo25bo$33bo3b2o24bo3b2o17bo5b
ob2obo11bo5bobo142b3o21b2obo$o3bo3bo24bob2o26bob2o18b2obobobobo13b2obo
bobob2obo109bo7bo3bo45bo$22b2ob2o7bo17b2ob2o7bo22bo22bo9bo134bo3bo2bo
25bo$obobo3bobobo8b3o8bo18b3o8bo167bobobo3bobobo12b2o2bo23bobo$22b2obo
2bo2bobo18b2obo2bo2bobo191bo3bo2bo17bob2o$4bo7bo18bobo27bobo20b3o20b3o
124bo7bo35b2ob2o$26b2obo26b2obo27bobo20bobo147b3o15b2ob2o$4bo3bobobo
15b2o28b2o23bo2bobo17bo2bobo118bobobo3bobobo16bo21bo$28b3o27b3o21bo3bo
18bo3bo143bo2b2obo9bob2o6bobo$30bo2b2o25bo2b2o18bo22bo144b2o3bo12bo3b
2o$32bo29bo21b2o21b2o144bo2bobo10bob2o6bobo$85b3o20b3o144b3o16b3ob2obo
$85b3o20b3o164bob2o$255bo$252bo2bo20bobo$252b2o2b2o20b2obo$252bo28bo
10$300bo$298bo2b2o$27b3o23bo242b3o$25b2o3bo21bobo236b4o2bo$23bo27b2o
238bo5bo$21b2o3bo3bo22bo213b2o22b2o4bo$23bo2bo3bo22bo213b4o20bo3b2o$o
3bo3bobobo12b2o203bobobo3bobobo17bo5bo3bo22bo2bo$26bo3bo21b2o206b2ob2o
2bo23b3o$o3bo3bo17bo3bo19b2o178bo7bo3bo13bobo2bo2bo3bobo20b2obo$26b3o
19b2o2bo200bo2bo7b3o3bo18b2o$obobo3bobobo35b3o179bobobo3bo3bo8b2o3b2o
14bo$26b3o8bo2b2o9b2o200bo2b2o10bo2bo4b3o9bo2b3obo$4bo3bo3bo13bo3bo6b
2o2bo188bo3bo3bo3bo12bo2bo7b2o3bo2bob3o9bo2bobo$26bo3bo6bo3b3o2b3o207b
2o6bo8b2o13bobo3bo$4bo3bobobo12b2o14b2obo2b2o181bobobo3bobobo21bo11bo
13bo$23bo2bo3bo11bo221bobo10bobo8b2o$21b2o3bo3bo12b2o233bo9bo2bobo$23b
o20bo3bo240b3o$25b2o3bo14bo2bo242bo$27b3o16bobo242b2o$288bo2b2o$286b2o
3bo$288bo7$281bo$280bobo$279b2o$281bo$281bo141b2o21b2o$254bobo124bobo
29bo8b3o3bo16b3o3bo$85bo23bo142b2o3b2o20b2obo98bo3bo25b2o10b2obo19b2ob
o$83b2o22b2o143bobo24b2obo98bo4b2o25bo12bo4bo17bo4bo14bo28bo17bo$85bo
23bo144bo22bo3bo21b2ob2o33b2ob2o37bo3bo2b2o15bo3b2o19bo22bo11b2o27b2o
18b2o$87b6o18b6o134bo24bo2bo22bobo35bobo41b2o3bo15bo2b2obobo12b5obo4bo
11b5obo13bo17bo10bo17bo$22b2o29b2o33bo4b2o17bo4b2o132b2o3bo18b2o25b2o
3b2ob3o27b2o3b2ob3o52b3o6b2o17b3obobo16b3obobo10b5o11b2o11b5o13bo$o3bo
3bobobo8b3o20bo7b3o33bo11bo11bo117bobobo4bo19b2o10bo3b2o27b2o3bo3b2o
27b2o3bo3b2o27b4o18bobo7b2o11b3o7bobo10b3o7bobo11bo3b2o10bo12bo3b2o11b
o$22bo20bo9bo15b2o17bo6bob2obo11bo6bobo132b2o3bo11bo48bo57b2obo2bo17bo
b2o9bo10bo22bo10bo11bo10bob2obo12bo14b3o$o3bo7bo10b2ob2o15b2o9b2ob2o
10b3ob2obo10b2obob2obobo13b2obob2obob2obo105bo8bo15bobo4b2o6b2o2bo25b
3o7bo4bob2obo17b3o7bo4bobo22b4o2bo16bo4bo8bo56bo5bob2obob2obo12bo5bobo
5bo2bo$28bo5bo6bo17bo5bob3o6bo12bo23bo10bo130b7obo7bob2o25b3o9b2obobo
20b3o9b2obob2obo23bo17b2o11bo13b3o20b3o18b2obobobobo5bo2bo10b2obobobob
2obob2obo$obobo7bo10b2o7bobob3o6bo8b2o7bobo6bo157bobobo4bo14bo16bob2o
14bo2b2o33bo2b2o26bo52b2o13bo2b2o18bo2b2o19bo13b3o12bo9bob2obo$24bo6bo
bo4b3ob2obo9bo6bobo9b2o179b7obo7bob2o14b2o2bo33b2o2bo44b3o20bo4b2o7bo
15bo22bo36bo27bo$4bo7bo12bo2bo9b2o16bo2bo14bo11b3o21b3o117bo3bo4bo15bo
bo4b2o6b2o2bo14bo3b3o2b3o26bo3b3o2b3o37b3o24bo23b2obo19b2obo21b2o12bo
14b2o10b2o$26bobobob2o23bobobob2o10bo13bobo21bobo138b2o3bo11bo21b2obo
2b2o30b2obo2b2o26bo2b2o30b3o24b2obo19b2obo20b2o11bo15b2o11bo$4bo7bo12b
2o3bo25b2o3bo23bo2bobo18bo2bobo115bobobo4bo19b2o10bo3b2o17bo37bo32b2o
2bo32bo70bo2bo10b2o13bo2bo$27bo30bo25bo3bo19bo3bo138b2o3bo18b2o18b2o
36b2o30bo3b3o2b3o26bo4bo18b2o21b2o20b4o11bo13b4o$85bo23bo141bo24bo2bo
16bo3bo33bo3bo30b2obo2b2o25b2ob2obo19bob2o19bob2o15bo28bo$86b2o22b2o
142bo22bo3bo15bo2bo34bo2bo31bo30bo3bo18b2o21b2o19b2o27b2o$87b3o21b3o
138bobo24b2obo15bobo35bobo32b2o28b4o19b2o21b2o21bo28bo$87b3o21b3o138b
2o3b2o20b2obo89bo3bo21bo3b2o22bo22bo$254bobo116bo2bo21b2o25bobo20bobo$
281bo92bobo21bo26bob2obo17bob2obo$281bo144bo3bo18bo3bo$279b2o$280bobo$
281bo6$717bo22bo81bobo21bobo$26bo236bo451b2o21b2o82bo23bo$26b2o233b2o
227b2o31b2o192bo22bo22bo27bo30bo2bo20bo2bo$26bo236bo225bo32bo5bo178bo
11b5o18b5o14b2o26b2o33bo3bo19bo3bo$28bo30bobo203bobo13bo132bo3b2o27bo
3b2o35b2ob3o27b2ob3o2b2o175bobo11bo3b2o17bo3b2o14bo27bo34bobo21bobo
343b2o$28bo30bo3bo200bo2bo6bo3b4o7bo108bo13bo2b2obobo24bo2b2obobo31b7o
bo2b2o20b7obo105b2o34b2o35bo14bo10bo11bo21b5o23b5o26b2o22b2o17bo37bo
37bo37bo37bo37bo37bo22bo14bo22bo39b2o8bo$27b2o18bo11bo2b2o5bo194bo2bo
6b2obob2o7b2o4b2o47b2ob2o10bobo20b2ob2o10bobo11b3o6bo3bo19b3o6bo3bo5bo
22bo3bo5bo22bo3bo108bobo4bo28bobo32b2o16bo5bob2obo11bo5bobo14bo3b2o22b
o3b2o24b3o21b3o14b2o36b2o36b2o36b2o36b2o36b2o36b2o21b2o6bo6b2o21b2o40b
o7b2o$45b2o14bobo4b2o194bobo7bo3bo7bo3bob4o46bobo9b3obobo19bobo9b3obob
o10bobo7b7obo14bobo7b7obo2b2o15bo3bobo26bo3bobo35bo35bo36bo2bob2obobo
25bo2bob2obobo25bo2bob3o11b2obobobobo13b2obobobob2obo11bo10bo16bo31bo
23bo16bo37bo37bo22bo14bo22bo14bo37bo37bo18bo4bob2obo8bo18bo4bobo11bo
19bobo2bo9bo$29bo17bo15bo202bo13b3o2bo6bo12b2o6b2o27b2o3b2ob4obo4bo19b
2o3b2ob4obo15bob2o9b2ob3o2b2o10bob2o9b2ob3o17bo2b2ob2o25bo2b2ob2o32bo
3bo31bo3bo39b2o3bobo28b2o3bobo25bo4b3o13bo22bo9bo11bo5bob2obo16bo5bobo
16bo23bo25b5o33b5o33b5o14b2o6bo10b5o14b2o17b5o33b5o33b5o11b3o3bobo13b
5o11b3o3bob2obo6b2o19bo4bo12b5o$o3bo3bobobo15bobo9bo8bobo10b2obobo162b
obobo3bobobo43bobo3bo11b2o3b2obo31b2o3bo5bo26b2o3bo5bo14bo4bo9bo5bo11b
o4bo9bo19b3o30b3o30b3o4bobo2bo23b3o4bobo2bo36b2obo32b2obo7bo24b2o64b2o
bobobobo18b2obobobob2obo11b2o22b2o27bo3b2o32bo3b2o32bo3b2o10bo4bob2obo
11bo3b2o10bo4bobo14bo3b2o32bo3b2o32bo3b2o8bo4bo18bo3b2o8bo4bo6bo8bo18b
o2b3obo11bo3b2o$27b4o9b2o6bo2bo10bo2bobobo193bobo13bo3b2o19b3o2b2obobo
bo4bo32bo37bo14b2o15b2o14b2o15b2o16bobo30bobo26bo2b2o4b2obobo3b2obo14b
o2b2o4b2obobo3b2obo7bo20bo2bo32bo2bo36b2o22b2o21b2o19bo27bo9bo13bo23bo
26bo37bo37bo14b3o3bobo14bo14b3o3bob2obo11bo10bob3o22bo10bob3o22bo10bob
2obo21bo10bob2obo20b5o11bobo3b2o12bo$o3bo3bo3bo10b2o2bo12bo7bo2bo10b3o
b2obo160bo11bo16b3ob2obo12bo2b3o24bo6b2ob2obo17b3o7bo27b3o7bo86bob2o
29bob2o25b2o7bo12b2o3bobo6b2o7bo12b2o3bobo11b3o4bobo3bo22b3o4bobo3bo
31bo2bo23b2o21b2o74b6o18b6o19bo5bobo29bo5bobo29bo5bobo5bo4bo18bo5bobo
5bo4bo6bo11bo5bob2obob2obo21bo5bob2obob2obo21bo5bob2obob3o22bo5bob2obo
b3o22bo3b2o9bo19bo5bobo$23b2obobo13bo5bobo12bo4bo191bob2obo14b3obo20bo
b2obo3bo3bobobo17b3o35b3o25bo4b2o26bo4b2o28bo4bo27bo4bo24bo3bo6b3o5bo
2bob2obobo6bo3bo6b3o5bo2bob2obobo6bo2b2o4b2obobo3bo17bo2b2o4b2obobo3bo
22b3o4bobo2bo22bo2bo19bo2bo21b2o26b2o23bo4b2o17bo4b2o16b2obobobob2obob
3o21b2obobobob2obob3o21b2obobobob2obob2obo20b2obobobob2obob2obo20b2obo
bobobo5bo4bo17b2obobobobo5bo4bo6bo10b2obobobobo28b2obobobobo29bo10bobo
bo18b2obobobob2obo$obobo3bobobo10b2o2bo14bo7bo179bobobo3bobobo14bo2bob
o45bo3bo2b2obobo8bo2b2o33bo2b2o38bo32bo29b2o31b2o34b2o4bo2bo7bobo4bo
11b2o4bo2bo7bobo11b2o7bo26b2o7bo26bo2b2o4b2obobo24b4o19b4o21b2o26b2o
24bo11bo11bo24bo9bob2obo22bo9bob2obo22bo9bob3o23bo9bob3o23bo13b3o3bobo
15bo13b3o3bob2obo12bo37bo36bo5bob2obo24bo9bobobo$22b2o17b2o212bo2bo2b
2o40b2o2bob2o5bo12b2o2bo33b2o2bo35b3o30b3o104b2o2bo8b2o21b2o2bo8b2o11b
o3bo6b3o22bo3bo6b3o22b2o7bo27bo22bo25bo2bo24bo2bo23bo6bob2obo11bo6bobo
28bo4bo32bo4bo6bo103bo4bob2obo27bo4bobo89b2obobobobo41bo$4bo3bo3bo8bo
17bo2bo2bobo12b3o167bo3bo3bo15bo2bo2bo16b3o24bo9bobo4b2o6bo3b3o2b3o26b
o3b3o2b3o30bo32bo29bo4b2o26bo4b2o32b3o4bo28b3o4bo26b2o4bo2bo26b2o4bo2b
o21bo3bo6b3o21b2o7b2o12b2o7b2o16b4o24b4o23b2obob2obobo13b2obob2obob2ob
o14b2o10b3o3bobo17b2o10b3o3bob2obo14b2o36b2o36b2o13b2o6bo14b2o13b2o21b
2o36b2o34bo36b2o10bobo3b2o$21bo5bo9b2o6bob2o14bobo188bo3bob3o17bobo21b
o7bo2b2o5bo10b2obo2b2o30b2obo2b2o31bo32bo32bo32bo41bo35bo31b2o2bo31b2o
2bo26b2o4bo2bo22bo5bo16bo5bo16bo27bo30bo23bo10bo13b2o12bo4bob2obo13b2o
12bo4bobo16b2o36b2o36b2o16bo19b2o16bo19b2o36b2o71b2o12bo2b3obo$4bo3bob
obo9bob3o12bo5b4o10bo2bobo165bobobo3bobobo12b3obo2bo13bo2bobo20bo9bo3b
o17bo37bo36b2o31b2o29b3o30b3o41b2o34b2o28b3o4bo28b3o4bo31b2o2bo29b2o
21b2o12b2o7b2o17b2o7b2o70bo2bo13b2o6bo12bo2bo13b2o19bo2bo34bo2bo34bo2b
o34bo2bo34bo2bo34bo2bo36b2o31bo2bo11bo4bo$27bo13b4o13bo3bo192bobo17bo
3bo22b2o8bobo20b2o36b2o35bo32bo31bo32bo39bo2b2o31bo2b2o34bo35bo28b3o4b
o68bo5bo21bo5bo71b4o16bo17b4o16bo17b4o34b4o34b4o34b4o34b4o34b4o36b2o
31b4o13bobo2bo$24b4o18bo3bo8bo194b2o20bo25bo33bo3bo33bo3bo31b2o31b2o
31bo32bo36b2o34b2o38b2o34b2o35bo31bo22bo20b2o26b2o19b3o21b3o21bo37bo
37bo37bo37bo37bo37bo37bo40bo2bo28bo23bo$24bo2bo18b5o9b2o215b2o58bo2bo
34bo2bo28bo2b2o28bo2b2o30b2o31b2o38bo35bo35bo2b2o31bo2b2o33b2o32b2o21b
2o25b2o26b2o15bobo21bobo16b2o36b2o36b2o36b2o36b2o36b2o36b2o36b2o40b4o
27b2o24b2o$27bo19b2o12b3o187b2o3bo21b3o57bobo35bobo26b2o3bo27b2o3bo32b
o32bo108b2o34b2o36bo2b2o28b2ob2o18b2ob2o20bo5bo2bo18bo5bo2bo8bo2bobo
18bo2bobo19bo37bo37bo37bo37bo37bo37bo37bo37bo34bo23b2o$26bo34b3o187bo
26b3o126bo32bo35b2o31b2o109bo35bo33b2o34b2ob2o18b2ob2o17bo2b3o5bo16bo
2b3o5bo7bo3bo19bo3bo323b2o$26bobo225bo218bo2b2o28bo2b2o181bo33bobo20bo
bo19bo7bo2bo16bo7bo2bo8bo23bo328bo$26bobo223bobo216b2o3bo27b2o3bo214bo
22bo23bobo4b2o19bobo4b2o12b2o22b2o$27bo224b2o3b2o214bo32bo217b2o21b2o
72b3o21b3o$254bobo467bo22bo73b3o21b3o7$298bo$259bo37bobo$257bo2b2o35bo
bo$255b3o39bo138b2o21b2o$254bobo133bo44b3o3b2o15b3o3b2o$254bob2o39bobo
23bo36bo26b4o27b2o5b2obo7b2obo19b2obo$253bo4bo63bobo34bobo25b3o27bo6bo
2b2o10bo5bo16bo5bo14bo29bo18bo$252b2o41b3o24bobo34bobo22b2o2bo28b2o5bo
21bo22bo11b2o28b2o19b2o$294bo27bo36bo23bo3b2o28b2o6bo13b6obo4bo10b6obo
13bo18bo10bo18bo$251bo4b2o35b2obo89b3o23b4obo3b2ob2o19b3obobo16b3obobo
10b6o11b2o11b6o13bo$o3bo3bobobo217bobobo3bobobo12bo41bo24bobo34bobo20b
o2bo23bob3o6b2o3bo12b3o8bobo9b3o8bobo11bo4b2o10bo12bo4b2o11bo$252b3o
42bo85b2o23b2o7b2o3b2o15bo22bo11bo11bo11bob2obo12bo15b3o$o3bo3bo3bo
217bo11bo11bo37bo27b3o3b3o28b3o3b3o17bobobo36b2o60bo6bob2obob2obo12bo
6bobo5bo2bo$256bo34b2obo24bo5bo3b2o25bo5bo3b2o15bo3bo7b2o11bob2obo26b
3o20b3o19b2obob2obobo5bo2bo10b2obob2obob2obob2obo$obobo3bobobo217bobob
o3bobobo13bo61b2obo3bo29b2obo3bo10bo9bo10bo13b2o3bo25bo2b2o18bo2b2o20b
o14b3o12bo10bob2obo$255bo52bob2o10bo3bo4bobo11bob2o10bo3bo4bob2obo10bo
8b2o18bo28bo22bo38bo28bo$4bo7bo217bo3bo7bo12bobo32bobo13b2o3bo10bo5b2o
bob2obo6b2o3bo10bo5b2obobo17bobo2b2o3bo9b2o30b2obo19b2obo22b2o13bo14b
2o11b2o$255bo2b3o26bob2o17bobo6bobo16bo8bobo6bobo28b2o3bo7bo9bo3bo27b
2obo19b2obo21b2o12bo15b2o12bo$4bo3bobobo217bobobo3bobobo17bo4b2o18b2ob
2o22b3ob2o31b3ob2o29bobo3bo3b2o13b2o76bo2bo11b2o13bo2bo$259bob5obo17b
2ob2o22b2ob2o32b2ob2o30b2obo6bo15bo29b2o21b2o21b4o12bo13b4o$260b2o5bo
20bo25bobo34bobo26bobo15bo11b2o29bob2o19bob2o16bo29bo$263bobob2o7bob2o
6bobo26b3o34b3o25bo15b2o9bo2b2o25b2o21b2o20b2o28b2o$269bo6bo3b2o33b4o
33b4o24bobo11bo10b2o3bo26b2o21b2o22bo29bo$267b2o7bob2o6bobo29bo36bo38b
o12bo31bo22bo$268bo12b3ob2obo105bobo41bobo20bobo$268b2o12bob2o152bob2o
bo17bob2obo$265bo2b2o169bo3bo18bo3bo$263b2o3bo14bobo$265bo19b2obo$288b
o3$416bo17bo$414bo2b2o14bobo$412b3o17b2o478bo24bo$411bobo20bo395bo79b
2o23b2o$411bob2o19bo394b2o81bo24bo$59bo350bo4bo434b2o23b2o23b2o12b5o
20b5o$32b2o24bobo294bo29bo23b2o21b2obo389b2obo20bo24bo24bo15bo3b2o19bo
3b2o$31bo26bobo293bobo26bo2b2o43b3o390b3obobo18b2o23b2o23b2o14bo10bo
13bo357b2o$31b2o25bo292bobo6bo20b3o24bo4b2o16bo3bo56bo330b2o2b2obo18b
2o23b2o23b2o14bo5bob2obo13bo5bobo11bo38bo38bo38bo38bo38bo38bo23bo14bo
23bo40b2o8bo$31b2o315bo2bo4bob2o20bobo29bo18bob2o48b3o4bobo331bo4bo14b
4obo19b4obo19b4obo14b2obobobobo15b2obobobob2obo6b2o37b2o37b2o37b2o37b
2o37b2o37b2o22b2o6bo6b2o22b2o41bo7b2o$26b4obo26bobo202bobo18bob2o7bo
29bobo18b2o3b2o27bob2o25b3o56bo9bo2b2o4b2obobo33bo36bo36bo36bo36bo36bo
36bo36bo35bobo17bob3o20bob3o20bob3o20bo24bo9bo8bo38bo38bo23bo14bo23bo
14bo38bo38bo19bo4bob2obo8bo19bo4bobo11bo20bobo2bo9bo$23bob3o238bo15b2o
3bo4b2o3bo26bo2bo20bo2b2o3b2o2bo18bo4bo26bo19bo2bo31b2o10b2o7bo29b3o4b
obo27b3o4bobo27b3o4bobo27b3o4bobo27b3o4bobo27b3o4bobo27b3o4bobo9bo17b
3o4bobo9bo21bo3bo18b2o7b2o14b2o7b2o14b2o7b2o61b6o33b6o33b6o14b2o6bo10b
6o14b2o17b6o33b6o33b6o11b3o3bobo13b6o11b3o3bob2obo6b2o20bo4bo12b6o$obo
bo3bobobo9b2o7b2o23b3o171bobobo3bo3bo18b2obob5o13bobo3b3o2bobo6bo20bo
12b2o10bo2bo3bo2b4o14b2o33bo16b2o26bo9bo9bo3bo6b3o20bo2b2o4b2obobo22bo
2b2o4b2obobo22bo2b2o4b2obobo22bo2b2o4b2obobo22bo2b2o4b2obobo9bo12bo2b
2o4b2obobo9bo12bo2b2o4b2obobo9b2o4bo6bo2b2o4b2obobo9b2o18bo2b2o143bo4b
2o32bo4b2o32bo4b2o10bo4bob2obo11bo4b2o10bo4bobo14bo4b2o32bo4b2o32bo4b
2o8bo4bo18bo4b2o8bo4bo6bo8bo19bo2b3obo11bo4b2o$55bo204b2o4b3o19b3o2bo
3bo6b2o20b2o10b2o11b2o3b2o5bo49bo12bo3b2o17b3o4bobo11bo12b2o4bo2bo19b
2o7bo27b2o7bo27b2o7bo27b2o7bo27b2o7bo14b2o4bo6b2o7bo14b2o11b2o7bo10b2o
bobo2b3o6b2o7bo10b2obobo2b2o12b3o24bob2obo19bob2obo19bob2obo17b3o22b3o
22bo38bo38bo15b3o3bobo14bo15b3o3bob2obo11bo11bob3o22bo11bob3o22bo11bob
2obo21bo11bob2obo20b6o11bobo3b2o12bo$o7bo3bo9bob2obo26b2obo172bo7bo3bo
10bo34b3o13bo8bob2o9bobo9bo17bo6bo13bo4b2o28bo3b2o8bo17bo2b2o4b2obobo
10bo18b2o2bo19bo3bo6b3o23bo3bo6b3o23bo3bo6b3o23bo3bo6b3o23bo3bo6b3o6b
2obobo2b3o6bo3bo6b3o6b2obobo2b2o7bo3bo6b3o6b3o2bo2b2o7bo3bo6b3o6b3o2bo
2b3o10bobo25b2o3bo19b2o3bo19b2o3bo20bobo22bobo19bo6bobo29bo6bobo29bo6b
obo5bo4bo18bo6bobo5bo4bo6bo11bo6bob2obob2obo21bo6bob2obob2obo21bo6bob
2obob3o22bo6bob2obob3o22bo4b2o9bo19bo6bobo$22b2o3bo30bo192b2o3b3o2bo9b
o34bo6bo3b2o5bobo8bo2bo17b4o2bobo3bo12bo30bobo10b2o2bo14b2o7bo8b3o4bob
o13b3o4bo4bo3bo15b2o4bo2bo27b2o4bo2bo27b2o4bo2bo4bo22b2o4bo2bo4bo22b2o
4bo2bo5b3o2bo2b2o12b2o4bo2bo5b3o2bo2b3o11b2o4bo2bo3b2o2bo19b2o4bo2bo3b
2o2bo7bo10bob2o29bo24bo24bo16bo2bobo19bo2bobo19b2obob2obob2obob3o21b2o
bob2obob2obob3o21b2obob2obob2obob2obo20b2obob2obob2obob2obo20b2obob2ob
obo5bo4bo17b2obob2obobo5bo4bo6bo10b2obob2obobo28b2obob2obobo29bo11bobo
bo18b2obob2obob2obo$obobo3bo3bo14bo30bo171bobobo3bobobo10bo2bo4bo7b2o
2bo17bo9bo4bo6bob2o6bo2b4o2bo4bo25bob2obo9b3o31bo3bo9bob2o14bo3bo6b3o
11b2o21bo3bobobobo19b2o2bo4bo27b2o2bo4bo27b2o2bo3bobo26b2o2bo3bobo26b
2o2bo3b2o2bo24b2o2bo3b2o2bo7bo16b2o2bo32b2o2bo25bo4bo23b2o23b2o23b2o
19bo3bo20bo3bo23bo10bob2obo22bo10bob2obo22bo10bob3o23bo10bob3o23bo14b
3o3bobo15bo14b3o3bob2obo12bo38bo37bo6bob2obo24bo10bobobo$22b2o29bo201b
3o10b3o3bo11b2o6b3o3b4ob2o11b3obo5b2o2b2ob3obo23bobobo12bo35b2o8bob2o
19b2o4bo2bo2bo2bobo3bo20b2o2bo2bobo3bo14b3o4bo3bobo23b3o4bo3bobo23b3o
4bo29b3o4bo29b3o4bo29b3o4bo29b3o4bo3bobo23b3o4bo3bobo18b2o28bo3bo20bo
3bo20bo3bo17bo24bo40bo4bo33bo4bo6bo106bo4bob2obo28bo4bobo91b2obob2obob
o42bo$4bo3bo3bo9bo29b2obo174bo3bo7bo16bo11bo15bobobo2bo4bo6bo12bob2o5b
3o6b2o43bo33b2o8bob2o24b2o2bo3bobobobo20bo2b2o9b2o21bo36bo36bo3b2o2bo
28bo3b2o2bo7bo20bo3bobo30bo3bobo30bo4bo31bo4bo50b2o23b2o23b2o20b2o23b
2o26b2o11b3o3bobo17b2o11b3o3bob2obo14b2o37b2o37b2o14b2o6bo14b2o14b2o
21b2o37b2o35bo37b2o11bobo3b2o$22b3o17bob2o212b2obo3bobo3bo3bo11bo4bo3b
o2bo5bo62bo13bo29bo3bo8b2o2bo21b3o4bo4bo3bo19b2o7b3o4bobo19b2o3b2o2bo
27b2o3b2o2bo7bo19b2o5b3o2bo2b2o20b2o5b3o2bo2b3o19b2o4bo30b2o4bo30b2o
35b2o23bo4b2o26bo24bo24bo21b3o22b3o23b2o13bo4bob2obo13b2o13bo4bobo16b
2o37b2o37b2o17bo19b2o17bo19b2o37b2o73b2o13bo2b3obo$obobo3bobobo10b2o3b
o11b2o3bo184bobobo7bo16b4o3b2o3bo3bo11bo3bo6b2obo2bo15bobo7bo35b3o12bo
8b2o20bobo11bo31bo30bo13bo19bo2b2o4b3o2bo2b2o18bo2b2o4b3o2bo2b3o17bo2b
2o4b2obobo2b3o17bo2b2o4b2obobo2b2o18bo2b2o32bo2b2o32bo2b2o32bo2b2o26bo
28b2o23b2o23b2o20b3o22b3o22bo2bo14b2o6bo12bo2bo14b2o19bo2bo35bo2bo35bo
2bo35bo2bo35bo2bo35bo2bo37b2o32bo2bo12bo4bo$29bo12bobo6bobo206b4ob2o6b
obo12bo9bo23b2obob3o36b2o13bobo6b4ob3o14bo3b2o8bo3b2o25b2o45bo16b2o9b
2obobo2b3o15b2o9b2obobo2b2o16b2o13b2o4bo15b2o13b2o20b2o35b2o35b2o35b2o
28b3o26bo2b2o3bo16bo2b2o3bo16bo2b2o69b4o17bo17b4o17bo17b4o35b4o35b4o
35b4o35b4o35b4o37b2o32b4o14bobo2bo$26b2o18b3ob2o215b2o20bo35bo42bobo
10bo2b3o6bobo17bo16b2o23bo2b2o42bo20bo12b2o4bo17bo12b2o22bo12bo23bo12b
o23bo36bo36bo36bo29bo24b2o3bo3b4o12b2o3bo3b4o12b2o3bo3bobo62bo38bo38bo
38bo38bo38bo38bo38bo41bo2bo29bo24bo$25bob2o17b2ob2o315bo3bo15bo3bo4bo
17bo17bo2bo18b2o45b2o34bo36bo239bo4bo20bo5bob3o14bo5bob3o14bo8bo3bo8b
3o22b3o20b2o37b2o37b2o37b2o37b2o37b2o37b2o37b2o41b4o28b2o25b2o$25b2o
21bobo313bo2bo17bob3obobob3o13bo20bo3bo18bo46bo309b2ob2obo26b2o3bo4bo
14b2o3bo19b2ob3obo11bobo22bobo19bo38bo38bo38bo38bo38bo38bo38bo38bo35bo
24b2o$21bobo25b3o312bo21b2o2b4o16b2o22b2obo373bo3bo34bo2b3o19bo2b2o15b
o6bo7bo2bobo19bo2bobo330b2o$21bo27b4o311bobo23bo2bo19bo20b2obo373b4o
35bo2b2o20bo2b3o12bo6b3o6bo3bo20bo3bo334bo$21bobo28bo356b2o3bo393bo3b
2o66bo12b2o6bo8bo24bo$408bobo2bo22bo371b2o83bo17b2o23b2o$408b2obo24bo
371bo103b3o22b3o$404bobo27b2o476b3o22b3o$404bo30bobo$404bobo29bo4$280b
2o$279b3o18b3o239b2o22b2o$24bo3bo227bo23bo17b2o3bo139bo52bo22bo21b3o3b
o17b3o3bo$23bob2obo225b2o25b2ob2o10bo146b2o49b2o21b2o23b2obo20b2obo$
23bobo230bo29bo7b2o3bo3bo139bo52bo22bo25bo4bo18bo4bo19bo6b2o16bo6b2o$
24bo233b4o19b2o13bo2bo3bo15bo31bo31bo31bo29bo28bo23b5o18b5o25bo23bo18b
2ob2o2b3obo13b2ob2o2b3obo$22b2o235bo2bo18b2o15b2o17bo2b2o27bo2b2o27bo
2b2o27bo2b2o27bo26bo2b2o22bo3b2o17bo3b2o17b5obo4bo12b5obo18bo4bo3bobo
13bo4bo3bobo$22b2o236b2o22bo14bo3bo11b3o29b3o29b3o29b3o30b2o24b3o26bo
10bo11bo27b3obobo17b3obobo16b2o2b3obo16b2o2b3obo$26bob2o231b2o14bo3b2o
16bo3bo10bobo29bobo29bobo29bobo56bobo27bo5bob2obo11bo5bobo13b3o7bobo
11b3o7bobo8bo11b2o11bo11b2o$25b2o9bobo25bobo189bobo18b2o2bo17b3o12bob
2o28bob2o28bob2o28bob2o32bo22bob2o13b2o10b2obobobobo13b2obobobob2obo
11bo23bo10bo6b2o23b2o$obobo4bo26bo27bo165bobobo3bobobo13bobo18bo5bo29b
o4bo26bo4bo26bo4bo26bo4bo30bobo20bo4bo12b2o12bo22bo9bo55bo24bo$25b2obo
7bobo2bo2bo19bobo2bo2bo182bo2bo20b2o18b3o10b2o30b2o30b2o30b2o34b4o19b
2o17bo59b3o21b3o18b6o19b6o$o8bo15b2obo10bo27bo162bo7bo17b2o16bo4bo3bo
15bo3bo89bo31bo14b2o2bo36bobo2bo58bo2b2o19bo2b2o18bo4b2o18bo4b2o$27bo
12bob2obo22bob2obo187bo12b2o2b2o19bo3bo7bo4b2o25bo4b2o25bo4b2o9b2o6bo
7bo4b2o9b2o15b2obobo20bo4b2o7bo4bo11b3o20b3o25bo23bo19bo11bo12bo$obobo
4bo14bo2b2o12b3obo23b3obo156bobobo3bobobo13b3o2b2o11bo4bob2o15b2o15bo
31bo31bo9bo4bob2obo11bo9bo4bobo11b2o2bo25bo9bo2b3obo12bobo20bobo20b2ob
o20b2obo18bo6bob2obo12bo6bobo$25b3o12bo4bo2bob2o16bo4bo2bob2o176bob5o
13b2o18bo2bo3bo8b3o29b3o29b3o9b3o3bobo11b3o9b3o3bob2obo7b2o26b3o9bobo
3b2o9bo2bobo17bo2bobo21b2obo20b2obo17b2obob2obobo14b2obob2obob2obo$4bo
4bo27bo3b2o3bob4o13bo3b2o3bob4o150bo3bo7bo13bobo17b2o16b2o3bo3bo10bo
31bo31bo8bo4bo17bo8bo4bo6bo6bo30bo9bo15bo3bo18bo3bo70bo24bo10bo$24bo
12b2o2bo2bob2o4bo12b2o2bo2bob2o4bo4bo170bo2bo15b2ob2o16bo18bo4bob3o22b
o4bob3o22bo4bob2obo21bo4bob2obo16bo5bo25bo4bobobo16bo22bo26b2o22b2o$ob
obo4bo14b2o11bo8b2o4bo2b2o8bo8b2o4bo2b3o144bobobo3bobobo13bo21b3o17b2o
3bo10b2ob2obob2obo20b2ob2obob2obo20b2ob2obob3o21b2ob2obob3o18bob3o6b2o
bobo13b2ob2obo21b2o21b2o25bob2o20bob2o20b2o23b2o$23bo2b2o14b2o3b2o3bo
2b3o12b2o3b2o3bo2b2o173b2o17bo2bo19b3o10bo3bo5bo4bo16bo3bo5bo4bo6bo9bo
3bo27bo3bo30bo3bo4bob2obo9bo3bo25b3o20b3o19b2o22b2o25b2o23b2o$25bobo
29bo255b4o7b3o3bobo12b4o7b3o3bob2obo9b4o28b4o28b4o2bo10bo9b4o26b3o2b2o
16b3o2b2o15b2o22b2o24bo2bo21bo2bo$21b2o3bo230b2o16b2o18b3o12bo3b2o9bo
4bob2obo6bo3b2o9bo4bobo9bo3b2o26bo3b2o29bo2bo2bo3b2o12bo3b2o32b3ob2obo
15b3ob2obo11bo23bo22b4o21b4o$22b3o231bobo16bo2bo19bobo9b2o15b2o6bo6b2o
15b2o13b2o30b2o36bo3b3o14b2o35b2o6bo14b2o6bo9bobo21bobo20bo24bo$23b2o
230b2o3bo3bo11b3o15bo2bobo10bo18bo12bo18bo12bo31bo36bo21bo40bo22bo13bo
2bo20bo2bo17b2o23b2o$26bo224bo3b2obo3bo2b2o26bo3bo145bobo55bo6b2o14bo
6b2o10bo2bo20bo2bo19bo24bo$24bobo224b2o2bo4b3o13bo17bo148bobo53b2o7bo
13b2o7bo12bobo21bobo$25bo225bo2b2o17bo2bo18b2o147bo56bo7bo14bo7bo9bo
23bo$273b2o2b2o17b3o241b2o22b2o$273bo22b3o243bo23bo4$433bo$431b2o$431b
2o423bo25bo$433bo420b2o24b2o$856bo25bo$432b2o353bo70b6o20b6o$430bob2o
181bobo131bobobo26bobob2obo71bo4b2o19bo4b2o$36bo334bo58bobo181bo2bo70b
o58bo3bob2obo21bo3bobo12bo28bo17bo14bo11bo13bo$34bo2b2o330b2o58b2o182b
o3bo8bo61b2o34bo21bo9bo20bo17b2o27b2o18b2o13bo6bob2obo13bo6bobo$32b3o
243bo8bobo80bobo4b2obo50bobo17bobo36bobo119b2o10b2o62bo35b2o19bo3b2o
25bo3b2o15bo17bo10bo17bo13b2obob2obobo15b2obob2obob2obo$278b2o2b2o3bo
3bo18bo31bo27b3o3bob3o22b2o26b3o17bo38bo44bo32bo20bo19bobob2o11bo63bo
34bo19bob2o27bob2o19b5o11b2o11b5o13bo13bo25bo10bo$33b2o226b2obo13bo2bo
5bo2b2o18b2ob2o27b2ob2o24bo4b2o25b4o44bobo36bobo21bo11b3o4bobo23b3o4bo
bo18b2o19bo19b5o57bo29bob2obo8b2ob2o7bo18b2ob2o7bo22bo3b2o10bo12bo3b2o
11bo$obobo3bobobo15b4o2bo195bobobo3bobobo14b3obob3o15bo7bobo14bobo2bo
26bobo2bo22bobo2bo4b2o18bo5bo3bo23b2o23b2obo4bo30b2obo4bo9bobo6bo2b2o
4b2obobo8b2obo6bo2b2o4b2obobo20bo18bo2b2obo14bo3b2o53b3o22bobob2obob2o
bo7b3o8bo19b3o8bo24bo10bob2obo12bo14b3o$25bob3o3b3o217bobo10bo3b2o19bo
11bo2bo6bo3bo17bo2bo6bo3bo16bo3b2o4bo19b2ob2o2bo21bo3b3o23bobo2b3o2bo
28bobo2b3o2bo6bo2bo6b2o7bo12bob3o6b2o7bo27b5o11bobo4b2obo11bo47bobobo
5bo2bo20bo3bobo5bo2bo7b2obo2bo2bobo19b2obo2bo2bobo23bo5bob2obob2obo12b
o5bobo5bo2bo10b3o23b3o$o11bo11b2o7b4o193bo7bo12b2o4b2o5bo3b4o9b3o6b2ob
o7b2o3b2o9b2o14b2o3b2o9b2o15bo2bobo20bobo2bo2bo3bobo18bo4bo25b2o8b2o
27b2o8b2o3bo10bo3bo6b3o8b2o9bo3bo6b3o24bo3b2o9bo9bo11bo5bobo37bo3bob2o
bob2obo20bo13b3o16bobo28bobo22b2obobobobo5bo2bo10b2obobobob2obob2obo
14bobo23bobo$36bo216bob2o2bo4b3obo11bo2bo7bobo9bo2b2o4b2obo19bo2b2o4b
2obo10bo9bobobo6bo9bo2bo7b3o3bo7bobo7b2o2bo31bo2bo5bo29bo2bo5bo3b2o12b
2o4bo2bo6bobo14b2o4bo2bo6b2o15bo10bobobo20b2obobobob2obo33bo9bob2obo
19bo3b2o11bo11b2obo27b2obo28bo13b3o12bo9bob2obo10bo2bobo20bo2bobo$obob
o3bobobo11bob2obo200bobobo3bobobo16bo4bo16b2o3b2o2bobo12bo2bo2bo3bo5bo
2b2o11bo2bo2bo3bo5bo2b3o18bobo7b2o3b2o14bo4bo2bo8bob2o23bo3bo6bobo3bo
3b2o16bo3bo6bobo3bo22b2o2bo3b3ob3o18b2o2bo4b3obo14bo5bob2obo26bo9bobob
o28bo3b2o10bo19bob2o13bo13b2o29b2o44bo27bo9bo3bo21bo3bo$24b2o3bo223bob
2o2bo4b3obo18b2ob4o12b2o7bo5bo2b3o11b2o7bo5bo2b2o10bo8bo2bo8bo2b2o10bo
2bo4bo3bo8bob2o23b2obo2bo3b2o2b2o3bo19b2obo2bo3b2o2b2o21b3o4bo3bo4bo
16b3o4bo3bo4bo13b2obobobobo43bo9bo18bob2o11b2o8b2ob2o7bo13bo15b3o28b3o
43bo26b2o10bo25bo$4bo3bo20bo200bo3bo3bo3bo8b2o4b2o5bo3b4o9b3o9bo17bo4b
2o3bo4bo16bo4b2o3bo14b2o7bo2bo10bo2bo7b2o3bo2bobo12bob2o19bobo2bo2bobo
2b3o8bo2bo11bobo2bo2bobo2b3o32bo4b3obo23bo3b3ob3o14bo38b2o10bobo4b2obo
7b2ob2o7bo13bo8b3o8bo15b2o16bo2b2o26bo2b2o20b3o14bo11b3o14bo12b2o24b2o
$24b2o227bobo10bo3b2o9bob2o5b2o18b2o4bob3o21b2o4bob3o14bo2b2o6bobo11b
2o6bo8b2o2b2o9b2o2bo16bo2bo13b2o9bobo8bo2bo13b2o31b2o6b2o23b2o6bobo53b
2o12bo2b2obo9b3o8bo25b2obo2bo2bobo14bo19bo3bo26bo3bo21bobo11b2o13bobo
25b3o23b3o$obobo3bobobo11bo3bo201bobobo3bobobo14b3obob3o15bob2o8bo11bo
b2o3bo4b4o16bob2o3bo4b4o16bobo4bo23bo11bo12bo17b2o3b2o25bo6b2o3b2o43bo
2b2o28bo2b2o6b2o17b2o33bo2bo11bo16b2obo2bo2bobo33bobo38bobo28bobo15bo
2bobo12bo10bo2bobo26b3o23b3o$25b2o234b2obo16b2o3bo2bo3b2o10bo3b2o2b2o
3bo18bo3b2o2b2o3bo14b2o3bo3b2o24bobo10b2o10bo3b2o14bo2b2o34bo2b2o41b2o
31b2o11bob3o13b2o33b4o13bobob2o19bobo28b2obo45bo4bo25bo4bo8bo3bo24bo3b
o$26bo254b2o4b2o4b2o10bob2o28bob2o25b3o7bo37b2obo11b2o16bo2bo35bo2bo
42bo32bo11b2obo12bo2bo30bo21b2o15b2obo34b2o44b2o2b2obo23b2o2b2obo8bo
28bo$26b2o259bo79b2o48bo12bo2bo14b2o37b2o103b4o29b2o23bo3bo13b2o34b3o
44b3obobo24b3obobo9b2o27b2o26b3o23b3o$23bo2b2o342bo60bo3bo154bo36bo23b
o2bo13b3o35bo2b2o41b2obo27b2obo12b3o26b3o27bobo23bobo$21b2o3bo341bobo
62b2obo151b2o62bobo15bo2b2o33bo90b3o26b3o23bo2bobo20bo2bobo$23bo345bo
63b2obo153bo81bo83b2o29b2o64bo3bo21bo3bo$757bo30bo65bo25bo$435bo419b2o
24b2o$435bo420b3o23b3o$433b2o421b3o23b3o$434bobo$435bo31$56bo$55bobo$
54b2o$56bo1559bobo$56bo230bo804bo523bo3bo14b2o22b2o$284b4o705bobo95bob
o473bo23bo24bo2b2o5bo7b3o3b2o16b3o3b2o$54b2obo226b3o451bo31bo94bo32bo
35bo38bo19bo96b2o91b2o380b2o22b2o27bobo4b2o8b2obo20b2obo$39b2o12b3o
129b2o96bo454b2o4bo25b2o92bobo30bobo33bobo36bobo18bo2bo95bo90b2o33b2o
347bo23bo28bo17bo5bo17bo5bo13b2o$39b2o12bo3bo125b5ob3ob2o85b2ob2o312bo
44bo26bo31bo32b2obobo2b3o21b2obobo2b2o23bo32bo30b2o31b2o35bobo36bobo
20bo3bo92bo90bo34b2o8bo34bo37bo37bo37bo37bo37bo37bo22bo14bo22bo16b6o
18b6o20b2obobo20bo23bo11b3o2bo$39bo13bob2o125bo5bo90b3obo133bo44bo132b
2o6bo36b2o23bo2bobo26bo2bobo31b3o2bo2b2o22b3o2bo2b3o21bobo30bobo31bo
32bo34bo38bo24bobo16bo30bo130bobo2bo34bo7b2o33b2o36b2o36b2o36b2o36b2o
36b2o36b2o21b2o6bo6b2o21b2o18bo4b2o17bo4b2o18bo2bobobo11b6obo4bo11b6ob
o12b4o5bo$36bo2bo142bo5bo4bo22b2o29b2o29b2o2b3o130b2o6bo36b2o36bob3o
40bob3o45bo4bob2obo34bo4bobo16b4o28b4o34b2o2bo27b2o2bo7bo20b2o31b2o33b
o32bo96b2o19b2o6bo22b2o6bo35b2o84bo4bo10bo19bobo2bo9bo34bo37bo37bo22bo
14bo22bo14bo37bo37bo18bo4bob2obo8bo18bo4bobo14bo11bo11bo24b3ob2obo17b
3obobo17b3obobo15bobo$33bo4bo14bo2bo9bo111b2o4bobo4bobo21b5o26b5o28bo
4bo2b2o22bobobo40bobobo52bo4bob2obo34bo4bobo25bobob2obob2obo32bobob2ob
ob2obo43b3o3bobo36b3o3bob2obo13b3o3b2o2bo21b3o3b2o2bo7bo16bo31bo37bo
32bo100bobo36bobo20b3o18bo6b3o21bo6b3o32b2o32bobobo49bo2b3obo6b2o19bo
4bo12b5o30b5o33b5o33b5o14b2o6bo10b5o14b2o17b5o33b5o33b5o11b3o3bobo13b
5o11b3o3bob2obo11bo6bob2obo11bo6bobo16bo4bo11b3o8bobo10b3o8bobo10bo3bo
$29b2o2b2ob3obo11b2o10b2o22bo89b4obo3b4o18bo5bob3o20bo5bob3o25bobo7bo
22bo3bob2obob3o31bo3bob2obob3o44b3o3bobo36b3o3bob2obo20bo3bobo5bo4bo
27bo3bobo5bo4bo6bo32bo4bo39bo4bo6bo10b2o2bo6b3o2bo2b2o11b2o2bo6b3o2bo
2b3o13b4o2bobo23b4o2bobo32bo32bo31b2o31b2o119bo6bo23bo6bo30b2o2bo29bo
3bob2obo45bobo3b2o9bo18bo2b3obo11bo3b2o29bo3b2o32bo3b2o32bo3b2o10bo4bo
b2obo11bo3b2o10bo4bobo14bo3b2o32bo3b2o32bo3b2o8bo4bo18bo3b2o8bo4bo6bo
10b2obob2obobo13b2obob2obob2obo31bo23bo11bo10b3o$obobo3bobobo15bo2bo6b
2o8bo3b2o12bo19b2obo23b2o35b2o36bo4b2o12b2obo2bo6bo4bo12b2obo2bo6bo20b
o3bo31bo9bob2obo29bo9bob2obo32bobobo5bo4bo29bobobo5bo4bo6bo19bo13b3o3b
obo22bo13b3o3bob2obo29bob2obo39bob2obo19bo3b2o6b2obobo2b3o9bo3b2o6b2ob
obo2b2o14b3o4bo24b3o4bo96b2o31b2o34b3o3b3o30b3o3b3o16b2o21b2ob3obo23b
2ob3obo30b3o30bo9bobobo41bo18b5o11bobo3b2o12bo34bo37bo37bo14b3o3bobo
14bo14b3o3bob2obo11bo10bob3o22bo10bob3o22bo10bob2obo21bo10bob2obo22bo
23bo10bo77bo2bob3o$21b4obo21bo19bo5b3o7b2o3bo14bo3b3o2b3o25bo3b3o2b3o
26bo25bo5bo4bo3bo2b3o10bo5bo4bo3bo2b2o14bo2b2o32bo3b2o8bo4bo25bo3b2o8b
o4bo6bo20bo3bob2obob2obo30bo3bob2obob2obo28bo3b2o10bo4bob2obo18bo3b2o
10bo4bobo25bobob2obob3o33bobob2obob3o23b3o10b2o4bo12b3o10b2o15b2o2bo
27b2o2bo38b2o31b2o27b2o2bo28b2o2bo32bo5bo3b2o27bo5bo3b2o14b2o3bo20bo3b
o26bo3bo19bo2b2o9b2o27bo3b2o9bo37bobobo19bo3b2o9bo19bo5bobo26bo5bobo
29bo5bobo29bo5bobo5bo4bo18bo5bobo5bo4bo6bo11bo5bob2obob2obo21bo5bob2ob
ob2obo21bo5bob2obob3o22bo5bob2obob3o69b3o19b3o21b3o18b3o2b3o$o11bo8bo
2b4obo17b2o2bo15bo5bo10b2obo14b2obo4bo2b2obobo4bo15b2obo4bo2b2obobo4bo
17bobo22bobo2bobob2obo4bo2b2o9bobo2bobob2obo4bo2b3o11b3o36bob2o11b3o3b
obo21bob2o11b3o3bob2obo19bo9bob3o30bo9bob3o29bob2o14b2o6bo18bob2o14b2o
27bo3bobo38bo3bobo26bo2bo13bo14bo2bo13bo15bo3b2o26bo3b2o36b2o31b2o29b
3o30b3o33b2obo3bo31b2obo3bo10bo16b2o10b2o2bobo24b2o2bobo23b2o2bo38bob
2o11bobo3b2o23bobob2obo23bo10bobobo18b2obobobob2obo22b2obobobob2obob3o
21b2obobobob2obob3o21b2obobobob2obob2obo20b2obobobob2obob2obo20b2obobo
bobo5bo4bo17b2obobobobo5bo4bo6bo10b2obobobobo28b2obobobobo79bobo15bo2b
2o19bo2b2o$48bob2o15bobo3bo3b2o2b2o4b2o10bobob2o3b2o5b3o6bo11bobob2o3b
2o5b3o6bo39b2o6b2obo19b2o6b2obo12bo10bobo26b2ob2o7bo14bo4bob2obo7b2ob
2o7bo14bo4bobo21bo3b2o39bo3b2o28b2ob2o7bo18bo13b2ob2o7bo18bo25bo44bo
34b2o30b2o33b3o29b3o34b2o2bo28b2o2bo17bo2b2o9b2o17bo2b2o9b2o35bo3bo4bo
bo27bo3bo4bob2obo11b2o3bo10b3o28b3o20bo7bo3b3o2b3o20b2ob2o7bo14bo2b3ob
o20bo3bobo26bo5bob2obo24bo9bobobo20bo9bob2obo22bo9bob2obo22bo9bob3o23b
o9bob3o23bo13b3o3bobo15bo13b3o3bob2obo12bo37bo34b3o21b3o21bo2bobo19bo
23bo$obobo7bo8b3o24bob2o15bobobo3bo4b2ob2o3b3obo6bo7bo3b3obo3b4obo11bo
7bo3b3obo3b4obo4bo9b2o23b2o4bobo2bo19b2o4bobo2bo23bob2o24b3o8bo18b2o6b
o6b3o8bo18b2o25bob2o41bob2o29b3o8bo33b3o8bo45bo3b2o39bo3b2o30bobobo27b
obobo26bo2bo28bo2bo37b3o30b3o19b2o2bo28b2o2bo46bo5b2obob2obo24bo5b2obo
bo15bobo4b2o7bo15b2o13bo20bo12b2obo2b2o19b3o8bo16bo4bo21bo32b2obobobob
o41bo33bo4bo32bo4bo6bo103bo4bob2obo27bo4bobo91bobo21bobo17bo3bo19b2obo
20b2obo16bo$48bob2o19b5obo2bob3o4bobo7bo4b2ob2o4bo4b2o3b3obobo6bo4b2ob
2o4bo4b2o3b3obobo9b2o26bob2o2bo2b2o20bob2o2bo2b2o20bo4bo24b2obo2bo2bob
o19bo13b2obo2bo2bobo19bo13b2ob2o7bo32b2ob2o7bo32b2obo2bo2bobo33b2obo2b
o2bobo44bob2o41bob2o32bo3bo27bo3bo27b2o30b2o27bo2b2o9b2o17bo2b2o9b2o
17bo3b3o2b3o21bo3b3o2b3o34bo18bo19bo31b7obo8b2ob2o10b3ob2obo8b2ob2o15b
2o12bo26b2obo2bo2bobo16bobo2bo19bo3b2o30bo48bobo3b2o27b3o3bobo29b3o3bo
b2obo105b2o6bo29b2o91bo2bobo18bo2bobo19bo22b2obo20b2obo16bo2bo$o3bo7bo
8bo2b4obo17b2o2bo15bo10bo22b2obobo11bo8bobo8b2obobo11bo8bobo9b2o4bo18b
4obo5bo19b4obo5bo21b2o38bobo42bobo32b3o8bo33b3o8bo43bobo42bobo33b2ob2o
7bo32b2ob2o7bo34bo31bo31bobobo27bobobo24b2o2bo28b2o2bo32b2obo2b2o25b2o
bo2b2o33b2obo35b2obo28bo22bo5bob3o6bo13bo5bo6bo16b2o33bobo21bo19bob2o
64b3o15bo2b3obo9b3o15bo4bob2obo9b3o15bo4bobo12b3o35b3o35b3o19bo15b3o
19bo15b3o35b3o33bo3bo19bo3bo22b2o64bo3bo$21b4obo21bo17bo4b2o32b2o22bo
12b2o33b2o4b2o20b2o29b2o62b2obo41b2obo37b2obo2bo2bobo33b2obo2bo2bobo
37b2obo41b2obo36b3o8bo33b3o8bo37bo31bo30bo3bo27bo3bo24bo3b3o2b3o8b2o
11bo3b3o2b3o8b2o16bo32bo29bob2o35bob2o39b7obo8b2o7bobo6bo12b2o7bobob3o
6bo13bo3bo24b2obo25b2o7b2ob2o7bo69bobo12bo4bo14bobo14b2o6bo12bobo14b2o
19bobo35bobo35bobo35bobo35bobo35bobo31bo23bo26b3o18b2o22b2o16b5obo4b2o
bo$obobo7bo15bo2bo6b2o8bo3b2o13bo2bo2bo32b4o33b4o33b2o19bob2o27bob2o
28bo4b2o31b2o43b2o46bobo42bobo39b2o43b2o37b2obo2bo2bobo33b2obo2bo2bobo
40bobo29bobo24bo31bo32b2obo2b2o7bobo4bo10b2obo2b2o7bobo17b2o31b2o25b2o
3bo33b2o3bo39bobo4b2o9bo6bobo9b2o10bo6bobo4b3ob2obo14bo2bo2bo23b2o25b
2o6b3o8bo33b3o31bo2bobo14bobo2bo9bo2bobo17bo14bo2bobo17bo14bo2bobo32bo
2bobo32bo2bobo32bo2bobo32bo2bobo32bo2bobo33b2o22b2o24b3o19bob2o20bob2o
13b2o8bo2b2o$29b2o2b2ob3obo11b2o13b3obobo34bo36bo34bo20bo4bo25bo4bo30b
o33b3o42b3o40b2obo41b2obo43b3o42b3o45bobo42bobo37b2o3bo26b2o3bo25bo31b
o32bo10bo2bob2obobo11bo10bo2bob2obobo13bo3bo3bo24bo3bo3bo19bobo6bobo
27bobo6bobo30b2o3bo14bo2bo14bo12bo2bo9b2o21bobo2bo23b3o33b2obo2bo2bobo
35bobo27bo3bo21bo8bo3bo33bo3bo33bo3bo33bo3bo33bo3bo33bo3bo33bo3bo33bo
3bo36b3o21b3o40b2o22b2o19bo9bo$33bo4bo14bo2bo16bo99bo3bo24bo2bo27bo2bo
28b3o36bo2b2o40bo2b2o38b2o43b2o45bo2b2o40bo2b2o36b2obo41b2obo40bobo3bo
25bobo3bo29bobo29bobo27b2o11b2o3bobo12b2o11b2o3bobo14bo2bo3bo25bo2bo3b
o23b3ob2o33b3ob2o37b2o14bobobob2o10bo12bobobob2o33b2o23bo2b2o38bobo31b
o2bobo29bo24b2o8bo37bo37bo37bo37bo37bo37bo37bo39b3o2b2o17b3o2b2o36b2o
22b2o20bo9bo$36bo2bo133b2obo2bo22bo30bo33bo38bo44bo40b3o42b3o46bo44bo
40b2o43b2o40b2obo28b2obo29b2o3bo26b2o3bo28bo3bo3b2obo21bo3bo3b2obo7bo
15bobo2bo27bobo2bo24b2ob2o34b2ob2o30b2o3bo17b2o3bo25b2o3bo36b2o25bo35b
2obo34bo3bo32b2o22b2o9b2o36b2o36b2o36b2o36b2o36b2o36b2o36b2o42b3ob2obo
16b3ob2obo9b3o20bo23bo20b2o3b2ob2o$39bo13bob2o116bo3bobo88bo125bo2b2o
40bo2b2o128b3o42b3o35bobo29bobo33bobo3bo25bobo3bo29bo2bo2bo26bo2bo2bo
33b2obo29b2obo7bo14bobo36bobo30bo24bo30bo40bo4b3o56b2o35bo36b3o32b3o
35b3o35b3o35b3o35b3o35b3o35b3o35b3o39b2o6bo15b2o6bo12bobo15bobo21bobo
21b2ob2o3bo$39b2o12bo3bo120b2o87b2o127bo44bo132bo2b2o40bo2b2o31bo31bo
35b2obo28b2obo33bobo3bo26bobo3bo36b2o3bobo25b2o3bobo15b3o36b3o32bo93bo
2bob3o56b3o35b2o34b3o32b3o35b3o35b3o35b3o35b3o35b3o35b3o35b3o43bo23bo
12bo2bobo16bo2bo20bo2bo25b2o$39b2o12b3o122b3o87bo307bo44bo33bobo29bobo
29bobo29bobo44bo32bo33bo2bob2obobo22bo2bob2obobo15b4o35b4o29bobo95b2o
62bo2b2o32b3o374bo6b2o15bo6b2o8bo3bo18bo2bo20bo2bo27b2o$54b2obo122bo
87b2o449bo31bo116bobo4bo25bobo23bo38bo29b2o3b2o94bo62bo34b3o372b2o7bo
14b2o7bo10bo22bobo21bobo$265bo2b2o449bobo29bobo115b2o31b2o94bobo97bobo
471bo7bo15bo7bo10b2o18bo23bo$56bo206b2o3bo830bo516b3o14b2o22b2o$56bo
208bo1350b3o16bo23bo$54b2o$55bobo$56bo6$431bo7bo$71bo23bo93bo239b2o7bo
$69b2o22b2o3bo88b2o242bo6b2o$48bo22bo23bo2b2o89bo246bo142bobo$21bobo
22b2o25bobo22b2o39bobo21bobo25bobo238b2o6bo138bo3bo$21bo26bo23bo2bo22b
o20bo11b2o5b3obo12b2o5b3obo23bo2bo18bobo4b2o212b3ob2obo70bo67bo2b2o5bo
111bobo$21bo28bobo19bo2bo21b2o19bobo9b3o4b2o15b3o4b2o27bo2bo18bo7bo2bo
11b2o26b2o164bo3b2o73b2obo8bo29bo18bo11bobo4b2o110bo2bo$23b2o24bo2bo
19bobo24bo18bobo10b2obo3bo16b2obo3bo27bobo19bo2b3o5bo10b3o25b3o26bobo
42bo64bo27b2o76b2o9b2o28b2o19b2o12bo115bo3bo8bo$22b3o24bo2bo21bo13bobo
4bob2o11b2o6bo15bo2bo20bo2bo30bo21bo5bo2bo11bo27bo27bo42b2o37bo18b3o4b
obo27bo76bo13bo18bo10bo18bo12b2obobo35bobo29bo42b2o10b2o$21b2o7bobo16b
obo15bobo2b2o14bo3bo4bo12b3o21bo3bo19bo3bo56b2o15b2ob2o23b2ob2o22bo2bo
41bo34b2o14bo2b2o4b2obobo29bo27bobo41b2o2b2o13b6o11b2o11b6o13bo10bo2bo
bobo33bo31b2o2b2o13bo20bobob2o11bo$21bo3b2o2bo2bo12bo5bo15bo4b2o14bo4b
3obo12b2o6bobo14b3o21b3o27bobo17bob2obo26bo27bo23bo3bo40b5o21bo8bo13b
2o7bo34bo26bo2bo11bobo25bo2bobo16bo4b2o10bo12bo4b2o11bo10b3ob2obo11b2o
20bo2bo28bo2bo13b2o20bo19b6o$obobo3bobobo11bobobo3bo6bo3bo2bo20bo4bo
17bo2bo2bo15bo5bobo8bo7b2o14bo7b2o22b3ob2obo15b3o4bo20b2o26b2o29bobo
30bo10bo3bo11b3o4bobo10b5o7bo3bo6b3o29b2o27bo12bo2bo25bo4bo3bo12bo11bo
b2obo12bo15b3o11bo4bo11b3o22bo3bo7b2o19bo15bo19bo2b2obo14bo4b2o$24bo3b
o10b2o2bo4bobo18bobo19b2o20bo2bo2bo7b2o22b2o33bob2obo22bo22bo2bo24bo2b
o24b2o24b3o4bobo4b2o3bo4bo6bo2b2o4b2obobo11bo3bo11b2o4bo2bo58b2o9bo3bo
24b2o5bo2bo12bo6bob2obob2obo12bo6bobo5bo2bo29bo15b2o8bobo6b3o37b6o11bo
bo4b2obo11bo$o7bo3bo11bobo2b2o8bo3bo2b4obo12bobo4bo35bo3b3o2bobo10bo
23bo29bo2bobo19b2o29bo27bo25b3o18bo2b2o4b2obobo2b2o6bobo8b2o7bo10b2o3b
o4bo16b2o2bo30bo14bob2o9bobo7b2o28b2o6bobo11b2obob2obobo5bo2bo10b2obob
2obob2obob2obo31b2ob2o10b3obo3b2o10bo20b3o16bo4b2o9bo9bo11bo6bobo$26b
2o19b2obo13bo3b4o18bo16b2o5bo16b6o18b6o20bo2bo2b2o16b5obo18bobo4bo20bo
bo4bo22bo6bo18b2o7bo13b2o11bo3bo6b3o4b2o6bobo15b3o4bo4bo3bo20bobo13bo
3b2o5bobo8bob2o23bo2bo24bo14b3o12bo10bob2obo9b3o24bo5bob3o7b3o10b2ob2o
16bo17bo11bobobo20b2obob2obob2obo$obobo3bobobo10b2ob2o16b2o18bo6bo17bo
17bo2bo2bo2bobo13bo4b2o17bo4b2o17bo2bo2bo16b2ob2obo20bo27bo27b2o17bobo
6bo3bo6b3o3bobob2o18b2o4bo2bo9b2o25bo3bobob2o19b4o13bob2o6bo2b4o2bo20b
3o4bobo2bo41bo28bo12bobo16b2o7bobo6bobo4bo15bo5bo6bobo4bo13bo6bob2obo
26bo10bobobo$23b2ob2o16b2o20bo2b2o18bo3bo16bobo3bo2bo12bo11bo11bo23bo
3bob3o14bo3bobobo18bobo2bo2bo19bobo2bo2bo21bo10b2o2b2o2bo11b2o4bo2bo3b
o3bo23b2o2bo3bobob2o26b2o9b2o13b2o2bo21b3obo5b2o2b2ob2obo9bo2b2o4b2obo
bo44bo27b2o8bo2bobo18bo6bobo10bo14b2o7bobob3o7b3o12b2obob2obobo44bo9bo
$o3bo3bo3bo13b2o19b2obo36bo3bo2bo23bobo11bo6bob2obo11bo6bobo15b3obo2bo
14b2obob2obo21bo27bo28b5o3b3o6bo16b2o2bo28b3o4bo4bo3bo24bo2b2o2b2o6bob
o10b2obobo21bob2o5b3o7b2obo6b2o7bo29b3o15bo11b3o15bo8bo3bo21bo2bo14b3o
14bo6bobo4b3obo3b2o15bo39b2o11bobo4b2obo$24bobo2b2o8bo3bo2b4obo14b2o
18bo5b2o14bo9bobo10b2obob2obobo13b2obob2obob2obo12bobo22b2o26bob2obo
22bob2obo23bo4bo4bobo17b3o4bo35bo31b2o9b2o3bo4bo8b2o2bo44bo6bo3bo6b3o
28bobo12b2o13bobo22bo25bobobob2o27bo2bo9b2o8bobo51b2o13bo2b2obo$obobo
3bobobo11bo3bo10b2o2bo4bobo15b3o2b2o14bo3bo16bo2bo21bo23bo10bo11b2o21b
3o29b3obo23b3obo23bo4bob3o2bo24bo34b2o33bo14bo3bo7b2o27bobo7bo22b2o4bo
2bo23bo2bobo13bo10bo2bobo24b2o22b2o3bo12bo18bobobob2o12bo3bo14b2o34bo
2bo12bo$24bobobo3bo6bo3bo2bo21bobo16bo3bo16bo3bo5bo85bo29bo4bo2bob2o
16bo4bo2bob2o17bo4bo6b2o22b2o32bo2b2o46b5o7bo31b2obob3o28b2o2bo22bo3bo
25bo3bo27b3o22bo12bo2bo17b2o3bo13bo2bo16b2o34b4o14bobob2o$21bo3b2o2bo
2bo12bo5bo14b3o17bo3bo15b5obo5bobo14b2o22b2o16b2o3bo17b2o29bo3b2o3bob
4o13bo3b2o3bob4o16b2obo3b3o3b3o19bo2b2o29b2o49bo13bo5bo28bo29b3o4bo23b
o29bo30b3o2b2o31b2o2b2o17bo16bo18bo2bo31bo22b2o$21b2o7bobo16bobo14b3o
13bo2b2o19b2o10bobo13b2o22b2o17b2o21b2o29b2o2bo2bob2o4bo12b2o2bo2bob2o
4bo4bo12bo4b3o23b2o36bo46b2o15bob3o66bo24b2o28b2o33b3ob2obo25bo39bobo
15b4o30b2o24bo3bo$22b3o24bo2bo12bobo14b2o2bo3bo15bo12bo13bo2bo20bo2bo
41bo28bo8b2o4bo2b2o8bo8b2o4bo2b3o14b2o2b2o25bo84bo19bo64b2o25b3o27b3o
30b2o6bo81bo37bo24bo2bo$23b2o24bo2bo12b2o2b2o11bo3b2obo17bo24b4o20b4o
17b3o21bobo32b2o3b2o3bo2b3o12b2o3b2o3bo2b2o16b2o130b4o62bo2b2o24b3o27b
3o34bo83b2o64bobo$21bo28bobo11bo2bo19bo20b2o20bo23bo22b2o22bob2obo44bo
175bo2bo60b2o91bo6b2o82bo$21bo26bo14b4o18bobo21b2o17b2o22b2o25bobo20bo
3bo223bo62bo88b2o7bo$21bobo22b2o13bo21bo2b2o42bo23bo22bo3bo247bo154bo
7bo$48bo10b2o22bo3bo87bo2bo250bobo$61bo21bobo89bo253bobo$175bobo252bo
6$99bo$98bobo$97b2o$99bo$99bo$228bobo15bo3bo22bo3bo$97b2obo121bo3b2ob
2o14bob2obo21bob2obo12bo840bo$23bo3bo18bo3bo18bo3bo22b3o123b2obob2o16b
obo13bobo8bobo13bobo839b2o$22bob2obo17bob2obo17bob2obo22bo3bo121bo3b2o
18bo10b3obobo9bo10b3obobo28bo33bo228b2o5b2obo16bobo6bo127b2o370bo2bo
34b2obo$22bobo20bobo20bobo25bob2o128bo5bo9b2o7b4obo4bo7b2o7b4obo28bo2b
3o28bo2b3o98bo2b2o29bo2b2o90bo6bo2b2o16bo7bobo126b2o370bo2bo4b2obo21b
2o2bo3bo13bo$23bo22bo22bo158bo3bo2b2o7b2o7bo4bo12b2o7bo4bo28bo2b2o29bo
2b2o99bo2b3o28bo2b3o89b2o5bo20bo7bo78bo49bo9bo35bo38bo38bo38bo38bo38bo
38bo23bo14bo23bo26b2obo4b4obobo8bo9b3obo3bo12b2o$21b2o14bo6b2o21b2o14b
o12bo2bo20bo105bobob3o15bob2o5bo17bob2o5bo25bo3bo29bo3bo40bo33bo24bo3b
o4bo24bo3bo4bo89b2o6bo21bo3b2o77bo2b2o21bo20bobo2bo7b2o34b2o37b2o37b2o
37b2o37b2o37b2o37b2o22b2o6bo6b2o22b2o32bo3bo2b2obo6b2o11b2o2bo17bo$21b
2o7bobob2obo6b2o7bobobo9b2o7bobob2obo11b2o22b2o3bo5b2o92bo3bobo16b2o5b
2o18b2o5b2o26bob3o29bob3o36bo2b3o28bo2b3o23bob3o29bob3o34bo2b2o29bo2b
2o17b4obo3b2ob2o25b2obobo50bo20b3o23b2o20bo4bo10bo35bo38bo38bo23bo14bo
23bo14bo38bo38bo19bo4bob2obo8bo19bo4bobo22bo2bobo9bo9bo16bo6bo10b5o$ob
obo3bobobo12b3o4bobo13b3o4bob2obo10b3o4bobo10bo3b2o21b2o3bob2o5bo20b2o
6bo29b2o6bo22bo2bo2bob3o76bob3o29bob3o36bo2b2o29bo2b2o24bob3o29bob3o
34bo2b3o28bo2b3o13bob3o6b2o3bo21b2o3bo2bo21bo5b2o13b3o4bobo19bobo15bob
o8bo19bo2b3obo10b6o30b6o33b6o33b6o14b2o6bo10b6o14b2o17b6o33b6o33b6o11b
3o3bobo13b6o11b3o3bob2obo15bo3bobo3bobo18b5o10bo3b2obo11bo3b2o$24b2o
21b2o11bo9b2o19bo19b4o2b3o3bo4bobo13bo3b3o2b3o26bo3b3o2b3o26b3o3bo20b
2obo23b2obo19bob2o8b3o19bob2o8b3o34bo3bo29bo3bo16bob2o8b3o19bob2o8b3o
32bo3bo4bo24bo3bo4bo12b2o7b2o3b2o21bo3b2o17b3o4bobo4b3o8bo2b2o4b2obobo
19bob2o13bo2bo10b6o11bobo3b2o12bo4b2o29bo4b2o32bo4b2o32bo4b2o10bo4bob
2obo11bo4b2o10bo4bobo14bo4b2o32bo4b2o32bo4b2o8bo4bo18bo4b2o8bo4bo6bo
13bo2b2o29bo3b2o8bobobo14bo$o7bo3bo17b2o21b2o21b2o12b2o2bo14bo5b2o4bo
4bobo13b2obo4bo2b2obobo5bo15b2obo4bo2b2obobo5bo16bobo25b2obo23b2obo19b
o3b2o5b2o21bo3b2o5b2o35bob3o29bob3o17bo3b2o5b2o21bo3b2o5b2o33bob3o29bo
b3o34b2o17b2o18bo2b2o4b2obobo5bo9b2o7bo10b2o11bo4bo11bo3bo11bo4b2o9bo
19bo35bo38bo38bo15b3o3bobo14bo15b3o3bob2obo11bo11bob3o22bo11bob3o22bo
11bob2obo21bo11bob2obo21b3o33bo10bo2bo18bo5bobo8bo$24b6o17b6o17b6o15bo
b2o12b2o6bobo3bo6bo10bobob2o3b2o5b3o7bo11bobob2o3b2o5b3o7bo15bob2o26bo
26bo20bob2o6bobo21bob2o6bobo35bob3o29bob3o17bob2o6bobo21bob2o6bobo33bo
b3o29bob3o18bob2obo31bo17b2o7bo11bo8bo3bo6b3o6b2o10b2o15b2o15bo11bobob
o19bo6bobo26bo6bobo29bo6bobo29bo6bobo5bo4bo18bo6bobo5bo4bo6bo11bo6bob
2obob2obo21bo6bob2obob2obo21bo6bob2obob3o22bo6bob2obob3o21bobo34bo5bob
2obobo2b2o14b2obobobob2obobo2b2o$obobo3bobobo11bo22bo22bo20bob2o14bo2b
o2bo6bo16bo7bo3b3obo3b5obo11bo7bo3b3obo3b5obo4bo9bo4bo22bo2b2o22bo2b2o
24b3obo29b3obo26bob2o8b3o19bob2o8b3o24b3obo29b3obo24bob2o8b3o19bob2o8b
3o20b2o3bo24bo8bobo13bo3bo6b3o8b2o11b2o4bo2bo4bob2o23bobob2o14bo6bob2o
bo22b2obob2obob2obo22b2obob2obob2obob3o21b2obob2obob2obob3o21b2obob2ob
ob2obob2obo20b2obob2obob2obob2obo20b2obob2obobo5bo4bo17b2obob2obobo5bo
4bo6bo10b2obob2obobo28b2obob2obobo28bob2o32b2obobobobo8bo16bo9bo2bo$
24b6o17b6o17b6o15bob2o16b2o4b2obobo16bo4b2ob2o4bo4b2o4b3obobo6bo4b2ob
2o4bo4b2o4b3obobo8b2o28b3o24b3o26bob2o30bob2o26bo3b2o5b2o21bo3b2o5b2o
27bob2o30bob2o24bo3b2o5b2o21bo3b2o5b2o27bo24b2o6bo2bo18b2o4bo2bo5bob2o
16b2o2bo3b2ob2o8bo4b2o7bo19b2obob2obobo27bo10bobobo20bo10bob2obo22bo
10bob2obo22bo10bob3o23bo10bob3o23bo14b3o3bobo15bo14b3o3bob2obo12bo38bo
35bo4bo33bo45bobobo$o3bo7bo17b2o21b2o21b2o12b2o2bo17bo5bo3bobo16b2obob
o11bo9bobo8b2obobo11bo9bobo158bob2o6bobo8bo12bob2o6bobo8bo80bob2o6bobo
8bo12bob2o6bobo8bo13b2o28bo7bo2bo23b2o2bo3b2o2bo14b3o4bo6b2o12bo9bo2b
2obo15bo50bo34bo4bo33bo4bo6bo106bo4bob2obo28bo4bobo89b2o73b2o9bo3b2obo
$24b2o21b2o11bo9b2o11bo7bo4bo15bo4b2o2bo23b2o23bo12b2o31bo4b2o23bo26bo
30bobo31bobo31b3obo9b2o18b3obo9b2o6bo13bobo31bobo29b3obo9b2o18b3obo9b
2o6bo7bo31bo5bobo21b3o4bo6b2o21bo3b2o2bo9b3o9bobo4b2obo63bobo3b2o28b3o
3bobo30b3o3bob2obo108b2o6bo30b2o135b2o30b2o10bo6bo$obobo3bobobo12b3o4b
obo13b3o4bob2obo10b3o4bob2obo7bo3b3o12bo8b3obobo20b4o34b4o32bo25b2o25b
2o31b2obob3o26b2obob3o25bob2o7bo4bobo15bob2o7bo4bob2obo15b2obob3o26b2o
bob3o23bob2o7bo4bobo15bob2o7bo4bob2obo7b3o29bo7bo28bo3b2ob2o20b2o5bob
2o10bo9bo9bo45b3o16bo2b3obo9b3o16bo4bob2obo9b3o16bo4bobo12b3o36b3o36b
3o20bo15b3o20bo15b3o36b3o34bo4b2o35b2o30bo2bo3b2o2bo$21b2o7bobob2obo6b
2o7bobobo9b2o7bobobo15b2o12b2o8b2ob2o23bo37bo30b3o25bo2b2o22bo2b2o32bo
b2obo28bob2obo34b3o3bob2obo22b3o3bobo21bob2obo28bob2obo32b3o3bob2obo
22b3o3bobo11b2o3bo24b2o35b2o4bob2o18bo2b2o6b2o11bo4bobobo19b3o36bobo
13bo4bo14bobo15b2o6bo12bobo15b2o19bobo36bobo36bobo36bobo36bobo36bobo
35bo36bo2bo28b4o3b3obo3bo$21b2o14bo6b2o21b2o41bo9b3obo94bo27bobo24bobo
35bo4bo6bo21bo4bo22bobo5bo4bo6bo13bobo5bo4bo28bo4bo6bo21bo4bo20bobo5bo
4bo6bo13bobo5bo4bo21bo21bo2bo2bobo28bo2b2o4b2o17b2o10bo12b2ob2obo26bob
o29bo2bobo15bobo2bo9bo2bobo18bo14bo2bobo18bo14bo2bobo33bo2bobo33bo2bob
o33bo2bobo33bo2bobo33bo2bobo33b3o36b4o27bo9b2o2bo3bo$23bo22bo22bo27b3o
120bo22b2o3bo21b2o3bo37b3o3bob2obo22b3o3bobo20b2obob2obo25b2obob2obo
32b3o3bob2obo22b3o3bobo18b2obob2obo25b2obob2obo21b2o21b2o6bob2o25b2o9b
2o19bo8bo12bo3bo25bo2bobo29bo3bo22bo8bo3bo34bo3bo34bo3bo34bo3bo34bo3bo
34bo3bo34bo3bo34bo3bo37bo34bo30b2o15b2obo$22bobo20bobo20bobo26bobo119b
2o23b3o24b3o40bo4bobo26bo4bob2obo20bob3o29bob3o34bo4bobo26bo4bob2obo
18bob3o29bob3o21bob2o22bo5b4o27bo37b3o11b4o25bo3bo32bo25b2o8bo38bo38bo
38bo38bo38bo38bo38bo41bo31b2o33bo$22bob2obo17bob2obo17bob2obo21b2o123b
o24b2o25b2o42b2o32b2o6bo95b2o32b2o6bo78b2o26b4o70b2o8bo3b2o27bo36b2o
23b2o9b2o37b2o37b2o37b2o37b2o37b2o37b2o37b2o38b2o33bo$23bo3bo18bo3bo
18bo3bo22bobo121b2o26bo26bo42bo33bo103bo33bo80bobo34bo3bo74b2o32b2o35b
3o33b3o36b3o36b3o36b3o36b3o36b3o36b3o36b3o37bo$96bob2o117bo2b2o24bobo
24bobo295bo36b5o74bo34b3o33b3o33b3o36b3o36b3o36b3o36b3o36b3o36b3o36b3o
37b2o$98b2o115b2o3bo26bo26bo296bobo35b2o111b3o379bo2b2o$217bo884b2o3bo
$99bo1004bo$97b2o$97b2o$99bo4$29bo97bobo$27bo2b2o95bo164bobo$25b3o99bo
bo160b2o3b2o$24bobo13bo90b2obo155bobo$24bob2o10b2o3bo87bobo2bo108bo24b
o21bo$23bo4bo11bo2b2o87b2o3bo105bo2b2o20bo2b2o16bo$22b2o19b2o67bo2bo
20bo104b3o22b3o20b2o3bo29bo21bobo22bobo16bo6b2o16bo6b2o$43bo64b2o2b4o
17b2o105bobo22bobo27bo26b2o21bo2bo21bo2bo16b2ob2o2b3obo13b2ob2o2b3obo
83bo34bo22bo$21bo4b2o14b2o63bob3obobob3o14bo28b2obo73bob2o21bob2o23b2o
b2o27bo19bo3bo20bo3bo16bo4bo3bobo13bo4bo3bobo7bobo72b2o32b2o21b2o$25bo
17bo64bo3bo4bo18bo22bobo3b2o72bo4bo19bo4bo23bob2o21bo3b2o19b2o23b2o23b
2o2b3obo16b2o2b3obo7bo3bo51bo16bo2bo34bo22bo$22b3o15b3o60bo2b3o6bobo
18bo20b2o4bo20bobo4b2o20bobo4b2o16b2o23b2o27b2obo20bo2b2obobo17bob2o
21bob2o14bo11b2o11bo11b2o10bo2b2o5bo6b2obo35b2o2b2o6bo2b2o4b2o34b5o18b
5o$24bo15b2o61bobo6b4ob3o15bo3b2o18bob3o20bo7bo2bo17bo7bo2bo70bo18b3o
6b2o14bo24bo18b2o23b2o26bobo4b2o5bo3bo35bo2bo8b2obo9b2o31bo3b2o17bo3b
2o$26bo12bobo18bo42bo8b2o21bobo26b2o3bobo12bo2b3o5bo17bo2b3o5bo12bo4b
2o18bo4b2o22bo2bo28b2o11bo2b2ob2obo15bo2b2ob2obo14bo24bo27bo10bo3bo15b
o23bo8bo2bo2bo4bobo2bo29bo10bo11bo$obobo3bobobo13bo12bob4o13b2o3bo4b3o
33bo30bo3bo23bo4bo2bo14bo5bo2bo19bo5bo2bo16bo24bo24bo2b2o19b2o9bo8bobo
7b2obo11bobo7b2obo13b6o19b6o19b2obobo4b3o18b2o35bo2bo4bo11bo22bo5bob2o
bo11bo5bobo$25bo3b2o8bobo17bobobob2o3b2o32bo34b2o26bo3bo7b2o10b2o15b2o
10b2o16b3o22b3o26b2o16b4o2bo9bo7bo13bo10bo13bo14bo4b2o18bo4b2o17bo2bob
obob4o2bo13bo2bo23b3o10b2o5bobobobo4b2o21b2obobobobo13b2obobobob2obo$
4bo3bo3bo12bobo16b2o12bo2bo6bo3b2o28bo36b2o20bobobobo10b3o3b2o21b3o3b
2o25bo24bo41bob3o3b3o6bo13bobo22bobo22bo11bo12bo23b3ob2obobo14bo2b2o4b
2o22bo25bo4bo23bo22bo9bo$25bo3bo11b3o13bo6bobo8b2o24b2o32bo3bo12b3o4bo
bobo15b2obo4bo20b2obo4bo24bo12bo11bo39b2o7b4o3b2o11b2ob3o19b2ob3o22bo
6bob2obo12bo6bobo15bo4bo3b3obo9b2obo9b2o11bobobobo25b3o4b2o$4bo3bo3bo
16b2o9b2obo12b2o7bo7bo9b2o15bo2bo31bobo9bo2b2o4b2obobo5b2o13bo4bo23bo
4bo23b2o7bo2b3o10b2o7bo2b2o11b3o25bo5bo11bob2o21bob2o22b2obob2obobo14b
2obob2obob2obo23b2o10bo2bo2bo4bobo2bo9bo42b2o$29b2o9b2o2bo16bo4bo3b2o
2bo3bo2bo2bo2bo47bo3b2o6b2o7bo84bo7bo2b2o12bo7bo2b3o13bobo10bob2obo24b
3o22b3o25bo24bo10bo38bo2bo4bo14bobo2bo26bo8bobo2bo12b3o20b3o$4bo3bo3bo
12bo3bo10b2o2bo11b2ob2o6bo3b2o2bo2b3o6bo13b3o32bo10bo3bo6b3o21b6o23b6o
24b2ob2o3bo16b2ob2o3bo4bo9bo2bobo11b2o3bo24bo2bo21bo2bo70b3o27b2o5bobo
bobo10b2o25bo2bo8bo20bobo20bobo$25bobo13b2o12bo9bo9bo8bo2bo48bo15b2o4b
o2bo24b2o2bobo22b2o2bobo16bo2b2obob3o14bo2b2obob3o14bo3bo18bo24b2obo
21b2obo73bobo38bo5b2o29b2o2b2o6bobobobo10bo2bobo5b2obo8bo2bobo5b2obo$
4bo3bobobo12bo3b2o23b3o6b2o11b2o3bob2o9b2o5bo32bo22b2o2bo18bo2b2o5b2ob
2o14bo2b2o5b2ob2o12b2o3bo3b4o12b2o3bo3b4o15bo16b2o29bo24bo23b3o22b3o
20bo2bobo38b3o3bo31bo18bo8bo3bo6bob3o7bo3bo6bob3o$26bo16bo11b2o8bo14bo
13bob3o3bo30b2o19b3o4bo16b2o3bob2ob2o17b2o3bob2ob2o10bo8bo7bo16bo7bo
18b2o14bo3bo24bobo22bobo26bobo22bobo16bo3bo45b2o49b3o8bo9b2o11bo9b2o$
26bo16b3obo47bob2o3bo29bo2bo25bo18bo3b2o3bo5bobo11bo3b2o3bo5bob2obo61b
3o13b2o24bo2b2o20bo2b2o22bo2bobo19bo2bobo18bo43bo5bo61b2o6bobo12b2o6bo
bo$24bo17bo2bo49bobobo60b2o23bo6b2obob2obo13bo6b2obobo21bo24bo17b3o14b
o24bo3bo3b3o14bo3bo3b3o15bo3bo20bo3bo21b2o38bo2bo55bo12b3ob3ob3o12b3ob
3ob3o$22b3o16b2o4bo51bo33b3o22bo2b2o26b2o9bo17b2o26bobo22bobo34b2o23bo
bo4bo3b2o12bobo4bo3b2o14bo24bo25b3o36b2o2b2o50bo2bo12b3obo4bo13b3obo4b
o$25bo14bo6bo47bo2bobo55b2o88bo2bo21bo2bo30bo2b2o30bo10bo13bo20b2o23b
2o23b3o36bo55b2o2b2o15b3obo18b3obo$21bo4b2o12b2o4bo47b2o30b2o5bo24bo
87bo2bo21bo2bo13b3o12b2o3bo32bo4bob2obo14bo4bobo13b3o22b3o116bo22b2o
21b2o$46bo48bo30bob3o3bo112bobo22bobo16bobo11bo37b2obobo19b2obob2obo
10b3o22b3o$22b2o18b3o82bob2o3bo110bo24bo16bo2bobo83bo$23bo4bo12bo4b2o
79bobobo111b2o23b2o16bo3bo$24bob2o12b3o88bo113bo24bo16bo$24bobo14b2o
84bo2bobo155b2o$25b3o98b2o161b3o$27bo2b2o95bo161b3o$29bo!-Matthias Merzenich
Re: Golly 4.3b1
Done (all 4 patterns).
Re: Golly 4.3b1
I've deleted pure-nonfiller.rle and renamed coverleaf to cloverleaf. Don't really care about capitalization issues. Not sure what to do about the other two patterns.FlutterWithKSparkler wrote: ↑April 9th, 2024, 1:05 pmLife/Miscellaneous/pure-nonfiller.rle is a duplicate of Super/pure-nonfiller-LifeHistory.rle.
Life/Syntheses/oscillator-syntheses.rle contains an invalid glider synthesis for the oscillator A for all.
Life/Signal-Circuitry/signal-turns-and-fizzles.rle.gz does not have comments, and is outdated in light of recent discoveries.
Life-Like/HighLife-replicator-spaceship.rle and Day-and-Night-gun-and-antigun.rle capitalize initial letter in name while other patterns do not.
Non-Totalistic/Oscillators/coverleaf-chain.rle and coverleaf-chain-emulation.rle misspell the name "cloverleaf". The typo with one "l" dropped may have come from several forum posts.
Re: Golly 4.3b1
I've checked in improvements to both of these. Not sure how the comments ended up disappearing from the signal-turns-and-fizzles pattern, but it was probably my fault -- it's easy to lose them when changing formats to .rle.gz or .mc.gz.
If someone wants to make an updated version if signal-turns-and-fizzles.rle.gz, there's a moderate amount of empty space in the southeast corner just waiting to be filled. However, it might make more sense to add a separate pattern for new 2c/3 signal conversion technology -- and/or maybe replace heisenburp.py/.lua, since the technology showcased there is all so out of date now.
All I've done so far is make sure that the comments make it clear that the existing stamp collection is what was known back in 2008 -- and then add a pointer to the LifeWiki:
Links from the "Wire" article will pretty quickly get people to the thread with various new discoveries -- but of course a more comprehensive labeled stamp collection would certainly be a good thing, if someone wants to tackle that project.#C For some more recent 2c/3 and 5c/9 signal conversion technology,
#C see https://conwaylife.com/wiki/Wire#2c/3_wire
Re: Golly 4.3b1
I've changed b3s23osc in my local copy, but not in GitHub yet, to remove some of the hasslers of more common periods to reduce file size. I would estimate that about 50 to 75 were removed. My criteria for removing:
- Anything pre-"oscillator revolution" (2021) is kept.
- Larger bounding boxes are more likely to be deleted.
- Periodic catalysts are more likely to be deleted than stable catalysts.
- If it has any possibility of being a useful sparker, even if no uses are known yet, it is kept.
- No comments or boilerplate comments (e.g. "the sparkers are 64P6 and 76P8") are more likely to be deleted than one with an interesting comment.
- The more oscillators of that period, the more likely it is to be deleted.
- I may have saved more of my own, but that's mainly because 2021 vs. 2022/2023. I did not intentionally keep my own while deleting the CatForce ones.
- The more unusual active regions are more likely to be kept.
User:HotdogPi/My discoveries
Periods discovered: 5-16,⑱,⑳G,㉑G,㉒㉔㉕,㉗-㉛,㉜SG,㉞㉟㊱㊳㊵㊷㊹㊺㊽㊿,54G,55G,56,57G,60,62-66,68,70,73,74S,75,76S,80,84,88,90,96
100,02S,06,08,10,12,14G,16,17G,20,26G,28,38,44,47,48,54,56,72,74,80,92,96S
217,486,576
S: SKOP
G: gun
Periods discovered: 5-16,⑱,⑳G,㉑G,㉒㉔㉕,㉗-㉛,㉜SG,㉞㉟㊱㊳㊵㊷㊹㊺㊽㊿,54G,55G,56,57G,60,62-66,68,70,73,74S,75,76S,80,84,88,90,96
100,02S,06,08,10,12,14G,16,17G,20,26G,28,38,44,47,48,54,56,72,74,80,92,96S
217,486,576
S: SKOP
G: gun
-
FlutterWithKSparkler
- Posts: 21
- Joined: October 14th, 2023, 12:43 pm
- Location: A cottage
Re: Golly 4.3b1
Thanks for the attention, but as mentioned in viewtopic.php?p=181717#p181717 there are more pending revisions.
At the same time, the links in Online Archives needs checking.
LifeWiki Pattern Archive located at https://conwaylife.com/golly.html is outdated, just like the commented out Golly Scripts Database located at https://conwaylife.com/scripts. Both appear to be last updated in 2009.
Very Large Patterns - Spaceship Guns - Basilisk-gun contains an old link to the blog now located at https://cp4space.hatsya.com/2013/01/17/assorted-stuff/ .
Rule Table Repository - Hexagonal neighborhood - Hex-B2omS2 contains an old link to Lifeline Volume 2 now located at https://conwaylife.com/wiki/Lifeline_Volume_2 .
Rule Table Repository - Hexagonal neighborhood - Snowflake contains a defunct link to a paper.
Rule Table Repository - Hexagonal neighborhood - Hex-B2oS2m34 is better linked to forums thread viewtopic.php?f=11&t=4914 .
Rule Table Repository - Triangular neighborhood - TriLife contains a defunct link to an applet.
Rule Table Repository - Miscellaneous - PhotonXor contains a defunct link to a web page now presumably located at https://www.gabrielnivasch.org/fun/life ... xor-system .
Finally, Rule Table Repository - Miscellaneous - JustFriends has become a redundant entry. There are only three files in its contents. Because it is an isotropic non-totalistic rule, the .rule file is now unnecessary for simulation, and both oscillators.rle and spaceships.rle have been included in the Patterns/Non-Totalistic folder. Preserving the JustFriends.zip file in Very Large Patterns - Pattern Collections is sufficient.
At the same time, the links in Online Archives needs checking.
LifeWiki Pattern Archive located at https://conwaylife.com/golly.html is outdated, just like the commented out Golly Scripts Database located at https://conwaylife.com/scripts. Both appear to be last updated in 2009.
Very Large Patterns - Spaceship Guns - Basilisk-gun contains an old link to the blog now located at https://cp4space.hatsya.com/2013/01/17/assorted-stuff/ .
Rule Table Repository - Hexagonal neighborhood - Hex-B2omS2 contains an old link to Lifeline Volume 2 now located at https://conwaylife.com/wiki/Lifeline_Volume_2 .
Rule Table Repository - Hexagonal neighborhood - Snowflake contains a defunct link to a paper.
Rule Table Repository - Hexagonal neighborhood - Hex-B2oS2m34 is better linked to forums thread viewtopic.php?f=11&t=4914 .
Rule Table Repository - Triangular neighborhood - TriLife contains a defunct link to an applet.
Rule Table Repository - Miscellaneous - PhotonXor contains a defunct link to a web page now presumably located at https://www.gabrielnivasch.org/fun/life ... xor-system .
Finally, Rule Table Repository - Miscellaneous - JustFriends has become a redundant entry. There are only three files in its contents. Because it is an isotropic non-totalistic rule, the .rule file is now unnecessary for simulation, and both oscillators.rle and spaceships.rle have been included in the Patterns/Non-Totalistic folder. Preserving the JustFriends.zip file in Very Large Patterns - Pattern Collections is sufficient.
(*≧▽≦)~Yay
Re: Golly 4.3b1
A push to GitHub seems fine. Or ... is there any reason to do some kind of fork at this point? I.e., is there still any possible use for (what used to be) the more comprehensive collection, and now also for this new version that's more aimed for a Golly check-in? (Seems like it's probably a terrible idea to try to maintain two versions, but just thought I'd ask.)
Yup -- if something was mentioned here in this thread, but it doesn't have a reply from Andrew/someone else in the Golly Gang or some green text edited in by me to say that the suggestion has been processed ... then I know about it, just haven't gotten back to it yet. These days I only have a few hours free at a time, most days. It's not really necessary to re-post links from earlier in this same thread.FlutterWithKSparkler wrote: ↑April 20th, 2024, 12:37 pmThanks for the attention, but as mentioned in viewtopic.php?p=181717#p181717 there are more pending revisions.
Re: Golly 4.3b1
The more comprehensive collection would be the forum scrape in mid-2023, not the previous version of b3s23osc.
User:HotdogPi/My discoveries
Periods discovered: 5-16,⑱,⑳G,㉑G,㉒㉔㉕,㉗-㉛,㉜SG,㉞㉟㊱㊳㊵㊷㊹㊺㊽㊿,54G,55G,56,57G,60,62-66,68,70,73,74S,75,76S,80,84,88,90,96
100,02S,06,08,10,12,14G,16,17G,20,26G,28,38,44,47,48,54,56,72,74,80,92,96S
217,486,576
S: SKOP
G: gun
Periods discovered: 5-16,⑱,⑳G,㉑G,㉒㉔㉕,㉗-㉛,㉜SG,㉞㉟㊱㊳㊵㊷㊹㊺㊽㊿,54G,55G,56,57G,60,62-66,68,70,73,74S,75,76S,80,84,88,90,96
100,02S,06,08,10,12,14G,16,17G,20,26G,28,38,44,47,48,54,56,72,74,80,92,96S
217,486,576
S: SKOP
G: gun
Re: Golly 4.3b1
Follow-up:dvgrn wrote: ↑April 3rd, 2024, 7:20 amSuggestions or assistance, please
Anyone have any suggestions? Or would anyone be interested in making a smaller LifeInvestigator "Best Of..." collection, starting from this ZIP file, with comments in Andrew's new standard format -- and then we can put pointers in the comments of those files to say how to download the full ZIP file from Very Large Patterns?
As usual, contributions tend to get checked in quickly if somebody has really thought through everything and the files can just be checked in to Golly's repo without any changes -- whereas contributions where I have to spend hours or days reviewing and reworking tend to get stalled out and not checked in, unless someone else volunteers to do the reviewing and reworking.
I've finally gotten through some of the other rework and checking-in, but haven't been able to figure out what to do with StateInvestigator.zip yet -- it's just been too exhausting to think about. I'll be traveling for the next couple of weeks, so I think I'm about out of time now for changes that will make it into Golly 4.3b2.
If anyone wants to sort out and post just a few cleaned-up StateInvestigator patterns in the very near future, someone might still be able to check them in before the new build. Andrew's suggestion a couple of weeks ago was
Andrew wrote:... maybe just pick 2 or 3 of the best and get the comments into a reasonable state for inclusion in Patterns/Super.
Re: Golly 4.3b1
For the record, here are the new Lua conversion scripts that I came up with for the Super algo. The old ones fail to recognize "Investigator" as a valid suffix, so they do Very Wrong Things when faced with any [Rule]Investigator pattern, telling the user that "Investigator" is not supported by Super and suggesting a Ctrl+Z Undo when that isn't actually appropriate, and so on.
I've done a level of testing on these modifications that could generously be described as "sanity checking". What's probably really needed is a test bed of as wide a variety of input patterns and conversion paths as possible. I would be surprised if all the interesting and useful edge cases are getting handled in the best possible way. Please try these out, either when the new 4.3b2 is available, or preferably even before that!
toInvestigator.lua:
toSuper.lua:
toHistory.lua:
toStandard.lua:
I've done a level of testing on these modifications that could generously be described as "sanity checking". What's probably really needed is a test bed of as wide a variety of input patterns and conversion paths as possible. I would be surprised if all the interesting and useful edge cases are getting handled in the best possible way. Please try these out, either when the new 4.3b2 is available, or preferably even before that!
toInvestigator.lua:
Code: Select all
-- Fast [Rule] to [Rule]Investigator converter,
-- intended to be mapped to a keyboard shortcut, e.g., Alt+I
-- v1.0, 11 May 2024: initial version
local g = golly()
local rule = g.getrule()
local algo = g.getalgo()
-- deal with bounded-universe syntax appropriately
suffix = ""
baserule = rule
ind = string.find(rule, ":")
if ind then
suffix = rule:sub(ind)
baserule = rule:sub(1,ind-1)
end
-- No effect if the current rule ends with "Investigator"
if algo == "Super" then
if baserule:sub(-12) == "Investigator" then
g.exit("The current rule is already a [Rule]Investigator rule.")
elseif baserule:sub(-7) == "History" or baserule:sub(-5) == "Super" then
g.exit("Please use Alt/Option+J (toStandard.lua) to convert to a Standard rule "..
"before using this script to convert the pattern to an Investigator rule.")
end
end
step = g.getstep()
-- attempt to set the new Investigator rule to see if it is valid
local function tryrule()
g.setrule(baserule.."Investigator"..suffix)
end
local status, err = pcall(tryrule)
if err then
g.note("Conversion failed. This '"..baserule.."' rule is not supported by the Super algo.\n"
.. "To revert to the original rule, please click OK, then press Z to undo the rule change.")
g.exit("Press Z to revert to the original rule.")
end
g.setstep(step)Code: Select all
-- [Rule] or [Rule]History to [Rule]Super converter,
-- intended to be mapped to a keyboard shortcut, e.g., Alt+G
-- v1.1, 30 April 2023: better error-checking by GUYTU6J
-- v1.2, 11 May 2024: support [Rule]Investigator patterns
local g = golly()
local rule = g.getrule()
local algo = g.getalgo()
-- deal with bounded-universe syntax appropriately
suffix = ""
baserule = rule
ind = string.find(rule, ":")
if ind then
suffix = rule:sub(ind)
baserule = rule:sub(1,ind-1)
end
-- No effect if the current rule ends with "Super"
if algo == "Super" and baserule:sub(-5) == "Super" then
g.exit("The current rule is already a [Rule]Super rule.")
end
step = g.getstep()
-- If rulestring contains "History" suffix, remove it and continue
if algo == "Super" then
if baserule:sub(-7) == "History" then
baserule = baserule:sub(1, #baserule-7)
elseif baserule:sub(-12) == "Investigator" then
g.exit("Please use Alt/Option+J (toStandard.lua) to convert to a Standard rule "..
"before using this script to convert the pattern to a Super rule.")
end
end
-- attempt to set the new Super rule to see if it is valid
local function tryrule()
g.setrule(baserule.."Super"..suffix)
end
local status, err = pcall(tryrule)
if err then
g.note("Conversion failed. This '"..baserule.."' rule is not supported by the Super algo.\n"
.. "To revert to the original rule, please click OK, then press Z to undo the rule change.")
g.exit("Press Z to revert to the original rule.")
end
g.setstep(step)Code: Select all
-- Fast [Rule] or [Rule]Super or [Rule]Investigator to [Rule]History converter,
-- intended to be mapped to a keyboard shortcut, e.g., Alt+H
-- Sanity checks and Lua translation by Dave Greene, May 2017
-- Creates special rule and runs it for one generation, then switches to Life
-- Replace 2k + 1-> 1 and 2k -> 0
-- Preserves step and generation count
-- v1.1: skip the SuperToHistory conversion unless the current name has a "Super" suffix
-- v1.2, 30 April 2023: better error-checking and recovery by GUYTU6J
-- v1.3, 11 May 2024: include check for [Rule]Investigator patterns, don't attempt to convert
local g = golly()
local rule = g.getrule()
local algo = g.getalgo()
ruletext = [[@RULE SuperToHistory
@TABLE
n_states:26
neighborhood:oneDimensional
symmetries:none
var a={0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25}
var b={a}
var withtrailON ={9,11}
var withtrailOFF={10,12}
var notrailON ={13,15,17,19,21,23,25}
var notrailOFF ={14,16,18,20,22,24}
var markedON ={7}
var markedOFF ={8}
notrailOFF ,a,b,0
withtrailON ,a,b,1
notrailON ,a,b,1
withtrailOFF,a,b,2
markedON ,a,b,3
markedOFF ,a,b,4]]
local function CreateRule()
local fname = g.getdir("rules").."SuperToHistory.rule"
local f=io.open(fname,"r")
if f~=nil then
io.close(f) -- rule already exists
else
local f = io.open(fname, "w")
if f then
f:write(ruletext)
f:close()
else
g.warn("Can't save SuperToHistory rule in filename:\n"..filename)
end
end
end
-- deal with bounded-universe syntax appropriately
suffix = ""
baserule = rule
ind = string.find(rule, ":")
if ind then
suffix = rule:sub(ind)
baserule = rule:sub(1,ind-1)
end
-- No effect if the current rule ends with "History"
if algo == "Super" and baserule:sub(-7) == "History" then
g.exit("The current rule is already a [Rule]History rule.")
end
step = g.getstep()
-- If rulestring contains "Super" suffix, remove it and continue
if algo == "Super" then
if baserule:sub(-5) == "Super" then
baserule = baserule:sub(1,#baserule-5)
CreateRule()
g.setrule("SuperToHistory")
g.run(1)
g.setgen("-1")
elseif baserule:sub(-12) == "Investigator" then
g.exit("Please use Alt/Option+J (toStandard.lua) to convert to a Standard rule "..
"before using this script to convert the pattern to a History rule.")
end
end
-- attempt to set the new History rule to see if it is valid
local function tryrule()
g.setrule(baserule.."History"..suffix)
end
-- DMG: just run "tryrule()" here on a StateInvestigator pattern
-- after breaking the above Investigator check. Where is this failing?
local status, err = pcall(tryrule)
if err then
g.note("Conversion failed. This '"..baserule.."' rule is not supported by the Super algo.\n"
.. "To revert to the original rule, please click OK, then press Z to undo the rule change.")
g.exit("Press Z to revert to the original rule.")
end
g.setstep(step)Code: Select all
-- Fast [Rule][History|Super] to [Rule] converter by Michael Simkin,
-- intended to be mapped to a keyboard shortcut, e.g., Alt+J
-- Sanity checks and Lua translation by Dave Greene, May 2017
-- Creates special rule and runs it for one generation, then switches to Life
-- Replace 2k + 1-> 1 and 2k -> 0
-- Preserves step and generation count
-- v1.1, 11 May 2024: support [Rule]Investigator patterns
local g = golly()
local rule = g.getrule()
local algo = g.getalgo()
local function CreateRule(filename, ruletext)
local fname = g.getdir("rules")..filename..".rule"
local f=io.open(fname,"r")
if f~=nil then
io.close(f) -- rule already exists
else
local f = io.open(fname, "w")
if f then
f:write(ruletext)
f:close()
else
g.warn("Can't save SuperToStandard rule in filename:\n"..filename)
end
end
end
-- deal with bounded-universe syntax appropriately
ind = string.find(rule, ":")
suffix = ""
baserule = rule
if ind then
suffix = rule:sub(ind)
baserule = rule:sub(1,ind-1)
end
-- No effect if the current rule is not a Super algo rule
if algo ~= "Super" then g.exit("The current rule is not a [Rule]History, [Rule]Super, or [Rule]Investigator rule.") end
ruletextSuper = [[@RULE SuperToStandard
@TABLE
n_states:26
neighborhood:oneDimensional
symmetries:none
var a={0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25}
var b={a}
var c={2,4,6,8,10,12,14,16,18,20,22,24}
var d={3,5,7,9,11,13,15,17,19,21,23,25}
c,a,b,0
d,a,b,1]]
CreateRule("SuperToStandard", ruletextSuper)
ruletextInvestigator = [[@RULE InvestigatorToStandard
@TABLE
n_states:21
neighborhood:oneDimensional
symmetries:none
var a={0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20}
var b={a}
var c={2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20}
c,a,b,0]]
CreateRule("InvestigatorToStandard", ruletextInvestigator)
-- If rulestring contains "Super", "History", or "Investigator" suffix, remove it and continue
if baserule:sub(-5) == "Super" then
baserule = baserule:sub(1,#baserule-5)
g.setrule("SuperToStandard")
elseif baserule:sub(-7) == "History" then
baserule = baserule:sub(1, #baserule-7)
g.setrule("SuperToStandard")
elseif baserule:sub(-12) == "Investigator" then
baserule = baserule:sub(1,#baserule-12)
g.setrule("InvestigatorToStandard")
else
g.show("Rule is not one of the known formats supported by the Super algorithm.")
g.exit()
end
-- If rulestring is "LifeV" then convert it to B3/S23V
if baserule:lower() == "lifev" then baserule = "B3/S23V" end
-- If rulestring is "LifeH" then convert it to B3/S23H
if baserule:lower() == "lifeh" then baserule = "B3/S23H" end
g.run(1)
step = g.getstep()
g.setrule(baserule .. suffix)
g.setalgo("HashLife")
g.setstep(step)
g.setgen("-1")