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

New small c/4 orthogonal ship

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

New small c/4 orthogonal ship

Postby velcrorex » April 15th, 2012, 11:48 pm

I found this c/4 orthogonal ship with WLS. Minimum population of 37 on cells, which I believe makes this the smallest ship of this velocity.

x = 19, y = 12
bo$bo8bo$obo5bo3bo$8bo3boo$5boboo5boo$b6obbo6bo$bboo6bo3b3o$10bo3boboo
$13bo$18bo$17bo$17bo!
-Josh Ball.
User avatar
velcrorex
 
Posts: 339
Joined: November 1st, 2009, 1:33 pm

Re: New small c/4 orthogonal ship

Postby Sokwe » April 16th, 2012, 2:50 pm

Wow! This significantly beats a nearly 16-year-old record! Nice work.
-Matthias Merzenich
Sokwe
Moderator
 
Posts: 1335
Joined: July 9th, 2009, 2:44 pm

Re: New small c/4 orthogonal ship

Postby Sokwe » April 19th, 2012, 1:10 am

This leads to another small c/4 ship with a minimum population of 43:
x = 19, y = 12, rule = B3/S23
3o$bo8bo$8bo3bo$3b2o3bo3b2o$2b2obob2o5b2o$2b2ob2o2bo6bo$3bo6bo3b3o$4b
2o4bo3bob2o$5bo7bo$18bo$5b2o10bo$17bo!

Here are some related, relatively-small spaceships:
x = 147, y = 106, rule = B3/S23
63b3o$77b2o7b3o$63bobo11b2obo$71b5obo2b2o3bo2bo$66b2o2bo4b2o6bo2bo$66b
obo4bo3b2o3b6o$67b2o4bo2b3o$66bo5bo3bo5b2o$69bo2$67b3o15$6bo30bo61bo
29bo$6bo8bo21bo8bo20bo31bo8bo20bo8bo$5bobo5bo3bo18bobo5bo3bo18bo8bo21b
obo5bo3bo17bobo5bo3bo$13bo3b2o25bo3b2o16bobo5bo3bo27bo3b2o24bo3b2o$10b
ob2o5b2o20bob2o5b2o22bo3b2o23bob2o5b2o19bob2o5b2o$6b6o2bo6bo15b6o2bo6b
o18bob2o5b2o17b6o2bo6bo14b6o2bo6bo$3o4b2o6bo3b3o16b2o6bo3b3o14b6o2bo6b
o17b2o6bo3b3o15b2o6bo3b3o$bo13bo3bob2o23bo3bob2o14b2o6bo3b3o25bo3bob2o
22bo3bob2o$3b2o13bo16b2o12bo26bo3bob2o16b2o9bo18b2o9bo$4bobo16bo11bobo
16bo10b2o12bo19bobo14bo12bobo14bo$22bo13b3o14bo11bobo16bo13b3o14bo12b
3o14bo$4b3o15bo13b2o15bo12b3o14bo15b2o14bo13b2o14bo$4bo31b2o28b2o15bo
15b2o28b2o$2bobo28b3o30b2o33b3o27b3o$b2o60b3o$2b4o$33b2o67b2o28b2o$33b
2o28b2o37b2o28b2o$32b2o29b2o36b2o30b2o$64b2o16$78bo$76bo3bo$76bo3b2o$
75b2o5b2o$70b3o4bo6bo$73b2o3bo3b3o$71bo6bo3bob2o$70bo10bo$68bobo15bo$
67bob2o14bo$67b2o16bo$68bo$68bo$66b2obob2o$67b2o2b2o$67bo3bo$66b3ob2o
2$68b4o$68bo2bo$68bo2bo15$65bo18bo$63bo3bo14bo3bo$62b2o3bo14bo3b2o$60b
2o5b2o12b2o5b2o$59bo6bo4b3o2b3o4bo6bo$59b3o3bo3b2o8b2o3bo3b3o$58b2obo
3bo6bo4bo6bo3bob2o$62bo24bo$57bo13bob4obo13bo$58bo12bo2b2o2bo12bo$58bo
32bo!
-Matthias Merzenich
Sokwe
Moderator
 
Posts: 1335
Joined: July 9th, 2009, 2:44 pm

Re: New small c/4 orthogonal ship

Postby Sokwe » April 20th, 2012, 8:18 pm

Here are some new, small ships (including two with 45 cells and one with 46 cells):
x = 198, y = 54, rule = B3/S23
81b2o$80bo$80b2o$80b2o80bo$75b4obo74bobob2obo$72bob3o76bo3bobo$71b2o7b
2o70bo$151bo3b2o$71bob2obo74bob2o$71b2o3bo75bo$16bobobo55bo73bo$14bo3b
ob2obo47b2o76bobo$13bo9bo47bo74bo2bobo44bo$12bo3b2o53b3o71bobo47bobo$
12bob2o56b2o3bo66bo2bo47bobo$b2ob2o7bo64bo66bo49bo$3o8bo63b2o59bo2b2o
5b2o$b2obo2bo2bobo37bo23bob2o58b2o2bo5bo48bobo$10bobo36bobo22b2o60bo3b
3o2b2o$5b2obo40bobo18bobo35bobo29b2obo3bo45b3o$7b2o40bo20bo36bo2bo30bo
4bo45bo$7b3o60bobo33bo3bo31b2o47b2obo$9bo2b2o35bobo53b2o36bo3bo47bo$
11bo92bo39bo2bo47bo$47b3o53b2obo2b2o34bobo42bobo$46bo52bo3b3o2b3o76bob
2o$45b2obo50b2o2bo81b2ob2o$35bob2o10bo49bo2b2o10bo70b2ob2o$33b2o3bo10b
o60b4o2bo71bo$35bobo6bobo37bo25b2obo2bo59bob2o6bobo$39b3ob2o38bobo26b
4o60bo3b2o$39b2ob2o39bobo90bob2o6bobo$41bobo39bo32b2o3bo59b3ob2obo$23b
o18b3o70bo3bo2b2o31bobobo22bob2o$16bobob2obo18b4o37bobo27bo4b2o33bo3bo
b2obo$14bo3bobo24bo67bo3bo34bo9bo20bobo$13bo67b3o29bobo35bo3b2o28b2obo
$12bo3b2o62bo70bob2o33bo$12bob2o63b2obo69bo$b2ob2o7bo69bo66bo$3o8bo71b
o65bobo$b2obo2bo2bobo65bo67bo2bobo$10bobo64b2obo64bobo$5b2obo58bob2o
73bo2bo$7b2o56b2o3bo74bo$7b3o57bobo6bobo57bo2b2o5b2o$9bo2b2o57b3ob2o
59b2o2bo5bo$11bo59b2ob2o60bo3b3o2b2o$73bobo64b2obo3bo$74b3o64bo4bo$74b
4o64b2o$77bo65bo3bo$144bo2bo$145bobo!

For reference, here are all of the known c/4 orthogonal spaceships with fewer than 60 cells:
x = 334, y = 204, rule = B3/S23
305bo$298bobob2obo$296bo3bobo$295bo$294bo3b2o$294bob2o$295bo$293bo$
292bobo$289bo2bobo$288bobo$287bo2bo$288bo$279bo2b2o5b2o$279b2o2bo5bo$
279bo3b3o2b2o$283b2obo3bo$284bo4bo$285b2o$286bo3bo$287bo2bo$288bobo9$
298bobobo$296bo3bob2obo$295bo9bo$294bo3b2o$294bob2o$295bo$293bo$292bob
o$289bo2bobo$288bobo$287bo2bo$288bo$279bo2b2o5b2o$279b2o2bo5bo$279bo3b
3o2b2o$283b2obo3bo$284bo4bo$285b2o$286bo3bo$287bo2bo$288bobo10$293bo$
291bo2b2o$289b3o$288bobo$288bob2o$287bo4bo$286b2o2$285bo4b2o$180bo3bo
104bo$179bob2obo101b3o$179bobo106bo$180bo108bo12bo$178b2o57bo50b2o7bo
2b3o$178b2o55b2o52bo7bo2b2o$182bob2o51bo51b2ob2o3bo$156b2o23b2o56bobo
44bo2b2obob3o$155bo82bo2bo42b2o3bo3b4o$85b3o67b2o24b2obo53bo2bo44bo7bo
$83b2o3bo66b2o24b2obo53bobo$81bo68b4obo27bo56bo$79b2o3bo3bo58bob3o28bo
2b2o16bo36b2o$81bo2bo3bo57b2o7b2o24b3o15b2o17bobo17b2o$59bobobo19b2o
116bo10b2o2b2o2bo21bob2o$57bo3bob2obo17bo3bo57bob2obo28bo22b5o3b3o6bo
20b2o$56bo9bo17bo3bo57b2o3bo28b2o22bo4bo4bobo$55bo3b2o23b3o64bo27bo2b
2o20bo4bob3o2bo24b2obo$55bob2o47b2o38b2o33bobo20bo4bo6b2o23b2obo$44b2o
b2o7bo27b3o18b3o20bo17bo30b2o3bo20b2obo3b3o3b3o24bo$43b3o8bo29bo3bo17b
o20bo18b3o29b3o24bo4b3o27bo2b2o19bobo65bo$44b2obo2bo2bobo28bo3bo18b2ob
2o15b2o18b2o3bo26b2o26b2o2b2o28b3o20bo3bo24bo37bobo$53bobo27b2o27bo5bo
6bo27bo28bo25b2o54bo2b2o22bo2b2o35bobo$9bo20bo17b2obo29bo2bo3bo18b2o7b
obob3o6bo20b2o28bobo57bo25bobo20b3o39bo$7bo2b2o16bo2b2o17b2o27b2o3bo3b
o19bo6bobo4b3ob2obo19bob2o28bo58b2o26bo19bobo$5b3o18b3o21b3o28bo27bo2b
o9b2o25b2o88bo2b2o23b2obo17bob2o39bobo$4bobo18bobo24bo2b2o26b2o3bo21bo
bobob2o27bobo93bobo24bobo16bo4bo$4bob2o17bob2o25bo30b3o21b2o3bo30bo91b
2o3bo23bo19b2o41b3o$3bo4bo15bo4bo81bo33bobo90b3o24b2o61bo$2b2o19b2o
214b2o44bo4b2o35b2obo$242bo21b2o2b2o19bo41bo$bo4b2o14bo4b2o211bobo21b
3ob2o16b3o42bo$5bo20bo214bo25bob2o17bo37bobo$2b3o18b3o240b2o21bo33bob
2o$4bo20bo182bo57bo21b2o7bo2b2o19b2ob2o$5bo20bo4bo139bobo32b2o3bo54bob
2o19bo7bo2b3o18b2ob2o$4b2o19b2ob2obo127bo11bo36bo2b2o53bo3bo18b2ob2o3b
o4bo21bo$5bo18bo3bo37bo26bo64bobo10bobo2bo2bo31b2o53bo19bo2b2obob3o15b
ob2o6bobo$5b2o17b4o31bobob2obo25bobo11b2o50bobo13bo36bo55bo16b2o3bo3b
4o15bo3b2o$2bo2b2o14bo3b2o30bo3bobo28bobo10b3o50bo16bob2obo29b2o59bobo
12bo7bo17bob2o6bobo$2o3bo15b2o33bo35bo13bo15b2o52b3obo30bo56b2o3bo43b
3ob2obo$2bo18bo33bo3b2o46b2ob2o10b3ob2obo28bobo14bo4bo2bob2o23bo56bobo
3bo44bob2o$55bob2o33bobo17bo5bob3o6bo42bo3b2o3bob4o21b3o56b2obo$44b2ob
2o7bo50b2o7bobo6bo30b3o13b2o2bo2bob2o4bo23bo31bobo17bobo53bobo$43b3o8b
o35b3o15bo6bobo9b2o26bo16bo8b2o4bo2b2o15bo3b2o30bo3bo15bo57b2obo$44b2o
bo2bo2bobo33bo19bo2bo14bo26b2obo19b2o3b2o3bo2b3o18b2o30bo4b2o13bobo58b
o$53bobo32b2obo18bobobob2o10bo29bo33bo15b2obo33bo3bo2b2o$48b2obo26bob
2o10bo16b2o3bo43bo49b2ob2o33b2o3bo$50b2o24b2o3bo10bo18bo41bo55bo3bo$
50b3o25bobo6bobo62b2obo50b2obobo30b4o$52bo2b2o25b3ob2o54bob2o61bo3bo
28b2obo2bo47bo$54bo27b2ob2o53b2o3bo61bo32b4o2bo45bo2b2o$84bobo55bobo6b
obo54bobo18bo2b2o10bo45b3o$85b3o58b3ob2o59bo17b2o2bo55bobo$85b4o57b2ob
2o59b3o16bo3b3o2b3o48bob2o$88bo59bobo20bobo59b2obo2b2o47bo4bo$149b3o
19bo38bo23bo52b2o$149b4o18bobo2bo2bo27bo2bo24b2o$152bo21bo32b2o2b2o23b
o3bo45bo4b2o$175bob2obo26bo29bo2bo49bo$176b3obo57bobo46b3o$175bo4bo2bo
b2o102bo$172bo3b2o3bob4o103bo$172b2o2bo2bob2o4bo4bo96b2o$172bo8b2o4bo
2b3o97bo$177b2o3b2o3bo2b2o98b2o$287bo2b2o3bo$285b2o3bo3b4o$287bo5bob3o
$293b2o3bo4bo$298bo2b3o$298bo2b2o9$293bo$291bo2b2o$289b3o$288bobo$288b
ob2o$287bo4bo$286b2o2$285bo4b2o$289bo$286b3o$288bo$289bo$288b2o$289bo$
289b2o$286bo2b2o3bo$284b2o3bo3b4o$286bo5bob3o$292b2o3bo$297bo2b2o$297b
o2b3o$302bo9$293bo$291bo2b2o$289b3o$288bobo$288bob2o$287bo4bo$286b2o2$
285bo4b2o$289bo$286b3o$288bo$289bo$288b2o$289bo$289b2o$286bo2b2o$284b
2o3bo3bobo$286bo8bo3bo$292b2ob3obo$292bo6bo$290bo6b3o$290b2o6bo$290bo!

Edit: A new 58-cell ship:
x = 16, y = 23, rule = B3/S23
13bo$11bo2b2o$9b3o2$10b2o$5b4o2bo$2bob3o3b3o$b2o7b4o$13bo$bob2obo$b2o
3bo$6bo$b2o$bo$b3o$2b2o3bo$8bo$5b2o$4bob2o$4b2o$obo$o$obo!
-Matthias Merzenich
Sokwe
Moderator
 
Posts: 1335
Joined: July 9th, 2009, 2:44 pm

Re: New small c/4 orthogonal ship

Postby moebius » December 10th, 2015, 9:26 am

I came up with a slick idea for a constraint propagation algorithm for spaceship searches. So I gutted my 20 year old search program "knight" and started writing "knight2" three weeks ago. I used c/4 searches as my initial debug test.

I have found the following small c/4 ships of pip counts 41, 48, 55, and 56:

x = 94, y = 25, rule = B3/S23
32bo$32b2o$32bo58bo$34bo54bo2b2o$34bo19b2o31b3o$11bo21b2o18b3o5bobo4b
2o16bobo$9b2o43bo6bo7bo2bo13bob2o$11bo2b2o19bo19bo5bo2b3o5bo12bo4bo$
13b2o19bobo19b2o5bo5bo2bo11b2o$14bo18b4o18b3o10b2o$7b3o4bo14b2o2bo18bo
2b2o4b2o20bo4b2o$10b2o2bo14b2obobo17b2o4b2o27bo$5b2o4bo2bo14b2o2bo18bo
3b2obo2bo21b3o$o3bo6b3o14b2o26b3o27bo$2o7bo17bo28b2ob2obobo22bo$o2b2o
4b2obobo12bo5bo26bo3bo21b2ob2o$5b3o4bobo13bob3o27bo24b2o2bo$14bo18bo
51b2o3bo$30b4o50bobo3b2o$30bo2bo50b2o4b2o$33bo51b3obo$32bo53b2ob3o$32b
obo49bo$32bobo49bo$33bo50bobo!


I added the four ships I found and the 58 cell ship mentioned in the previous post to the collection of known c/4 spaceships of less than 60 points:

x = 392, y = 204, rule = B3/S23
340bo$333bobob2obo$331bo3bobo$330bo$329bo3b2o$329bob2o$330bo$328bo$
327bobo$324bo2bobo$323bobo$322bo2bo$323bo$314bo2b2o5b2o$314b2o2bo5bo$
314bo3b3o2b2o$318b2obo3bo$319bo4bo$320b2o$321bo3bo$322bo2bo$323bobo9$
333bobobo$331bo3bob2obo$330bo9bo$329bo3b2o$329bob2o$330bo$328bo$327bob
o$324bo2bobo$323bobo$322bo2bo$323bo$314bo2b2o5b2o$314b2o2bo5bo$314bo3b
3o2b2o$318b2obo3bo$319bo4bo$320b2o$321bo3bo$322bo2bo$323bobo10$328bo$
326bo2b2o$324b3o$323bobo$268b2o53bob2o$267b3o5bobo4b2o38bo4bo$268bo6bo
7bo2bo17bo16b2o$269bo5bo2b3o5bo15bo2b2o$270b2o5bo5bo2bo13b3o17bo4b2o$
215bo3bo49b3o10b2o15bobo22bo$214bob2obo46bo2b2o4b2o22bob2o18b3o$214bob
o49b2o4b2o24bo4bo19bo$215bo50bo3b2obo2bo20b2o25bo12bo$213b2o55b3o50b2o
7bo2b3o$213b2o55b2ob2obobo17bo4b2o21bo7bo2b2o$217bob2o53bo3bo21bo23b2o
b2o3bo$191b2o23b2o56bo22b3o21bo2b2obob3o$106b3o81bo108bo19b2o3bo3b4o$
104b2o3bo80b2o24b2obo80bo20bo7bo$102bo87b2o24b2obo79b2ob2o$100b2o3bo3b
o75b4obo27bo79b2o2bo$102bo2bo3bo72bob3o28bo2b2o16bo61b2o3bo$80bobobo
19b2o75b2o7b2o24b3o15b2o17bobo41bobo3b2o$78bo3bob2obo17bo3bo126bo10b2o
2b2o2bo41b2o4b2o$77bo9bo17bo3bo71bob2obo28bo22b5o3b3o6bo42b3obo$76bo3b
2o23b3o73b2o3bo28b2o22bo4bo4bobo47b2ob3o85bo$76bob2o47b2o57bo27bo2b2o
20bo4bob3o2bo20bo24bo63bo27bobo$65b2ob2o7bo27b3o18b3o20bo31b2o33bobo
20bo4bo6b2o17b2o25bo61bo2b2o25bobo$64b3o8bo29bo3bo17bo20bo17bo14bo30b
2o3bo20b2obo3b3o3b3o18bo24bobo57b3o29bo$65b2obo2bo2bobo28bo3bo18b2ob2o
15b2o16b2o13b3o29b3o24bo4b3o26bobo$74bobo27b2o27bo5bo6bo19bo15b2o3bo
26b2o26b2o2b2o25bo2bo51bo29b2o29bobo$51bo17b2obo29bo2bo3bo18b2o7bobob
3o6bo17bo19bo28bo25b2o28bo2bo49bo2b2o22b4o2bo$9bo39bo2b2o17b2o27b2o3bo
3bo19bo6bobo4b3ob2obo17bo16b2o28bobo55bobo48b3o23bob3o3b3o26b3o$7bo2b
2o17bo17b3o21b3o28bo27bo2bo9b2o22b2o15bob2o28bo58bo47bobo23b2o7b4o24bo
$5b3o19b2o17bobo24bo2b2o26b2o3bo21bobobob2o45b2o87b2o48bob2o34bo23b2ob
o$4bobo22bo2b2o12bob2o25bo30b3o21b2o3bo33bo10bobo90b2o47bo4bo21bob2obo
34bo$4bob2o23b2o12bo4bo81bo35bobo9bo96bob2o40b2o26b2o3bo34bo$3bo4bo23b
o11b2o121b4o9bobo93b2o76bo29bobo$2b2o21b3o4bo130b2o2bo152bo4b2o22b2o
30bob2o$28b2o2bo10bo4b2o113b2obobo107b2obo44bo24bo29b2ob2o$bo4b2o15b2o
4bo2bo14bo115b2o2bo108b2obo41b3o25b3o27b2ob2o$5bo12bo3bo6b3o12b3o115b
2o114bo44bo26b2o3bo26bo$2b3o13b2o7bo18bo114bo113bo2b2o44bo31bo13bob2o
6bobo$4bo13bo2b2o4b2obobo14bo4bo108bo5bo75bo32b3o44b2o7bo2b2o16b2o15bo
3b2o$5bo17b3o4bobo13b2ob2obo109bob3o39bobo32b2o3bo77bo7bo2b3o14bob2o
14bob2o6bobo$4b2o26bo12bo3bo37bo26bo52bo26bo11bo36bo2b2o27bo48b2ob2o3b
o4bo14b2o21b3ob2obo$5bo39b4o31bobob2obo25bobo11b2o35b4o25bobo10bobo2bo
2bo31b2o27b2o21bobo20bo2b2obob3o16bobo25bob2o$5b2o35bo3b2o30bo3bobo28b
obo10b3o35bo2bo25bobo13bo36bo27bo2b2o19bo3bo16b2o3bo3b4o16bo$2bo2b2o
35b2o33bo35bo13bo15b2o22bo25bo16bob2obo29b2o29bobo19bo2b2o18bo7bo18bob
o26bobo$2o3bo36bo33bo3b2o46b2ob2o10b3ob2obo15bo44b3obo30bo25b2o3bo22bo
bo76b2obo$2bo73bob2o33bobo17bo5bob3o6bo15bobo24bobo14bo4bo2bob2o23bo
27b3o26bo79bo$65b2ob2o7bo50b2o7bobo6bo19bobo38bo3b2o3bob4o21b3o28b2o
25b2obo$64b3o8bo35b3o15bo6bobo9b2o17bo23b3o13b2o2bo2bob2o4bo23bo30bo
24bobo$65b2obo2bo2bobo33bo19bo2bo14bo41bo16bo8b2o4bo2b2o15bo3b2o27bobo
22bo$74bobo32b2obo18bobobob2o10bo39b2obo19b2o3b2o3bo2b3o18b2o28bo22b2o
$69b2obo26bob2o10bo16b2o3bo57bo33bo15b2obo$71b2o24b2o3bo10bo18bo60bo
49b2ob2o50b2o2b2o$71b3o25bobo6bobo77bo55bo3bo49b3ob2o$73bo2b2o25b3ob2o
78b2obo50b2obobo54bob2o$75bo27b2ob2o69bob2o61bo3bo53b2o27bo$105bobo67b
2o3bo61bo57bo26bo2b2o$106b3o68bobo6bobo54bobo54bob2o21b3o$106b4o71b3ob
2o59bo53bo3bo19bobo$109bo71b2ob2o59b3o52bo23bob2o$183bobo20bobo92bo21b
o4bo$184b3o19bo38bo32bobo24bobo14b2o$184b4o18bobo2bo2bo27bo2bo32bo3bo
19b2o3bo$187bo21bo32b2o2b2o30bo4b2o16bobo3bo13bo4b2o$210bob2obo26bo37b
o3bo2b2o12b2obo20bo$211b3obo65b2o3bo10bobo22b3o$210bo4bo2bob2o75bo26bo
$207bo3b2o3bob4o55b4o16bobo25bo$207b2o2bo2bob2o4bo4bo47b2obo2bo42b2o$
207bo8b2o4bo2b3o47b4o2bo43bo$212b2o3b2o3bo2b2o37bo2b2o10bo45b2o$264b2o
2bo53bo2b2o3bo$264bo3b3o2b3o44b2o3bo3b4o$268b2obo2b2o46bo5bob3o$269bo
58b2o3bo4bo$270b2o61bo2b3o$271bo3bo57bo2b2o$272bo2bo$273bobo7$328bo$
326bo2b2o$324b3o$323bobo$323bob2o$322bo4bo$321b2o2$320bo4b2o$324bo$
321b3o$323bo$324bo$323b2o$324bo$324b2o$321bo2b2o3bo$319b2o3bo3b4o$321b
o5bob3o$327b2o3bo$332bo2b2o$332bo2b3o$337bo9$328bo$326bo2b2o$324b3o$
323bobo$323bob2o$322bo4bo$321b2o2$320bo4b2o$324bo$321b3o$323bo$324bo$
323b2o$324bo$324b2o$321bo2b2o$319b2o3bo3bobo$321bo8bo3bo$327b2ob3obo$
327bo6bo$325bo6b3o$325b2o6bo$325bo!
moebius
 
Posts: 26
Joined: December 10th, 2015, 9:07 am

Re: New small c/4 orthogonal ship

Postby Scorbie » December 10th, 2015, 1:28 pm

Wow. Umm... so you're Tim Coe? Wow...
Didn't expect new posts from a new member to be pretty exciting ones from one of the Life Enthusiasts from long ago! Welcome to the Conwaylife forums!!!

Although I'm not a good programmer, I'm curious about how your program works.
Especially, is it an exhaustive search? On the other thread I think you said that a failure is reported at most in two weeks, but a successful search can carry on for months. This looks something like a non-exhaustive search, but on the other hand, referring to LifeWiki negative results seem to tell us that the search is exhaustive. Which is correct?

PS. You have your own page in LifeWiki! (And some of the patterns are older than me :))
PS2. David Eppstein's comments to your program... Thanks for maintaining it :)
David Eppstein wrote:Life evolution rule is hardcoded as a sequence of bit-parallel integer operations, multiple times throughout 25 pages of uncommented C (so not really possible to change without rewriting the whole program).
Best wishes to you, Scorbie
User avatar
Scorbie
 
Posts: 1367
Joined: December 7th, 2013, 1:05 am

Re: New small c/4 orthogonal ship

Postby Sokwe » December 10th, 2015, 8:55 pm

moebius wrote:I came up with a slick idea for a constraint propagation algorithm for spaceship searches.

I would very much like to hear more details.

moebius wrote:I have found the following small c/4 ships of pop counts 41, 48, 55, and 56

The 41-cell ship was discovered by Josh Ball a few years back, but the others are new. One of the components in the 55-cell ship can be replaced with a smaller component to get a new 48-cell ship:
x = 15, y = 16, rule = B3/S23
10bo$8b2o$10bo$3bo8bobo$3b2o6bo2bo$3bo7bo2bo$5bo5bobo$5bo7bo$4b2o$2bo
2bo2bobo$2o6bob2o$2bo5b4o$4b4o$9bo3bo$9b5o$10b2o!


Here is the current collection of all known c/4 orthogonal ships up to 70 cells (including your new ships):
x = 834, y = 515, rule = B3/S23
162bobo$162bo3bo19bo$162bo2b2o17bo2b2o$30bo133bobo15b3o$28bo2b2o133bo
14bobo$26b3o136b2obo12bob2o$25bobo138bobo11bo4bo$25bob2o135bo14b2o$obo
bo3bobobo11bo4bo110bobobo3bobobo10b2o$23b2o153bo4b2o$4bo7bo127bo7bo13b
2o2b2o14bo$22bo4b2o133b3ob2o11b3o$obobo7bo13bo113bobobo3bobobo12bob2o
12bo$23b3o138b2o16bo$4bo7bo12bo118bo3bo3bo11bo16b2ob2o$26bo137bob2o12b
2o2bo$obobo7bo12b2o113bobobo3bobobo11bo3bo11b2o3bo$26bo137bo14bobo3b2o
$26b2o137bo13b2o4b2o$23bo2b2o141bobo8b3obo$21b2o3bo139b2o3bo9b2ob3o$
23bo141bobo3bo7bo$165b2obo10bo$161bobo15bobo$161bo$161bobo7$35bo$26b3o
4bobo$o3bo4bo11bo2b2o4b2obobo$21b2o7bo$o3bo4bo11bo3bo6b3o152bo$26b2o4b
o2bo144bobob2obo25bobobo18bo24bo24bo24bo24bo$obobo4bo21b2o2bo142bo3bob
o26bo3bob2obo13bo2b2o20bo2b2o20bo2b2o20bo2b2o20bo2b2o$28b3o4bo141bo32b
o9bo11b3o22b3o22b3o22b3o22b3o$4bo4bo25bo140bo3b2o27bo3b2o16bobo22bobo
22bobo22bobo22bobo$34b2o140bob2o29bob2o18bob2o21bob2o21bob2o21bob2o21b
ob2o$4bo4bo22bo2b2o103bobobo3bobobo24bo32bo19bo4bo19bo4bo19bo4bo19bo4b
o19bo4bo$30b2o143bo32bo20b2o23b2o23b2o23b2o23b2o$32bo107bo11bo21bobo
30bobo$171bo2bobo27bo2bobo18bo4b2o18bo4b2o18bo4b2o18bo4b2o18bo4b2o$
140bobobo7bo17bobo30bobo26bo24bo24bo24bo24bo$169bo2bo29bo2bo23b3o22b3o
22b3o22b3o22b3o$144bo7bo17bo32bo27bo24bo24bo24bo24bo$161bo2b2o5b2o21bo
2b2o5b2o26bo12bo11bo24bo24bo24bo$140bobobo7bo8b2o2bo5bo22b2o2bo5bo26b
2o7bo2b3o10b2o7bo2b2o11b2o23b2o23b2o$161bo3b3o2b2o22bo3b3o2b2o27bo7bo
2b2o12bo7bo2b3o11bo24bo24bo$165b2obo3bo25b2obo3bo26b2ob2o3bo16b2ob2o3b
o4bo11b2o23b2o23b2o$166bo4bo27bo4bo24bo2b2obob3o14bo2b2obob3o14bo2b2o
3bo16bo2b2o3bo16bo2b2o$167b2o31b2o25b2o3bo3b4o12b2o3bo3b4o12b2o3bo3b4o
12b2o3bo3b4o12b2o3bo3bobo$30bo137bo3bo28bo3bo23bo7bo16bo7bo16bo5bob3o
14bo5bob3o14bo8bo3bo$28bo2b2o136bo2bo29bo2bo79b2o3bo4bo14b2o3bo19b2ob
3obo$26b3o141bobo30bobo84bo2b3o19bo2b2o15bo6bo$25bobo262bo2b2o20bo2b3o
12bo6b3o$25bob2o291bo12b2o6bo$o3bo3bobobo11bo4bo303bo$23b2o$o3bo7bo$
22bo4b2o$obobo3bobobo13bo$23b3o$4bo7bo12bo$26bo4bo$4bo3bobobo12b2ob2ob
o$24bo3bo145bo$24b4o144bo2b2o$21bo3b2o143b3o$21b2o$21bo149b2o$166b4o2b
o24bo35bo35bo35bo35bo34bo13bo$163bob3o3b3o14b3o4bobo26b3o4bobo26b3o4bo
bo26b3o4bobo26b3o4bobo5b2obobo14b3o4bobo5b2obob2obo$140bobobo3bobobo9b
2o7b4o8bo2b2o4b2obobo21bo2b2o4b2obobo21bo2b2o4b2obobo21bo2b2o4b2obobo
14bo6bo2b2o4b2obobo3bo4bob2obo6bo2b2o4b2obobo3bo4bobo$174bo8b2o7bo26b
2o7bo26b2o7bo11b2obobo9b2o7bo11b2obob2obo6b2o7bo7bo10bo6b2o7bo7bo$140b
o7bo3bo9bob2obo15bo3bo6b3o22bo3bo6b3o22bo3bo6b3o5bo4bob2obo6bo3bo6b3o
5bo4bobo9bo3bo6b3o3bo3b2o12bo3bo6b3o3bo3b2o$162b2o3bo20b2o4bo2bo26b2o
4bo2bo26b2o4bo2bo3bo10bo11b2o4bo2bo3bo22b2o4bo2bo3b3o19b2o4bo2bo3b3o$
140bobobo3bobobo14bo25b2o2bo31b2o2bo31b2o2bo3bo3b2o22b2o2bo3bo3b2o22b
2o2bo30b2o2bo$162b2o26b3o4bo4b3o21b3o4bo4b3o21b3o4bo4b3o21b3o4bo4b3o
21b3o4bo27b3o4bo$144bo3bo3bo9bo34bo3bo3b2o26bo3bo3b2o26bo35bo35bo34bo$
162b3o31b2o3bo10bo19b2o3bo30b2o34b2o34b2o33b2o$140bobobo3bobobo10b2o3b
o25bo2b2o3bo4bob2obo17bo2b2o3bo4bobo20bo2b2o31bo2b2o31bo2b2o30bo2b2o$
74bo94bo22b2o10b2obobo18b2o10b2obob2obo15b2o34b2o34b2o33b2o$37bobobo
25bobob2obo91b2o26bo35bo17bo17bo35bo35bo34bo$35bo3bob2obo20bo3bobo93bo
b2o$o3bo3bobobo21bo9bo19bo100b2o$33bo3b2o24bo3b2o92bobo$o3bo3bo24bob2o
26bob2o94bo$22b2ob2o7bo17b2ob2o7bo96bobo$obobo3bobobo8b3o8bo18b3o8bo$
22b2obo2bo2bobo18b2obo2bo2bobo$4bo7bo18bobo27bobo$26b2obo26b2obo$4bo3b
obobo15b2o28b2o$28b3o27b3o$30bo2b2o25bo2b2o$32bo29bo3$181bo$180bobo$
180bobo$180bo2$180bobo2$178b3o$140bobobo3bobobo24bo$176b2obo$140bo7bo
3bo27bo$27b3o23bo126bo$25b2o3bo21bobo85bobobo3bobobo22bobo$23bo27b2o
119bob2o$21b2o3bo3bo22bo90bo7bo17b2ob2o$23bo2bo3bo22bo116b2ob2o$o3bo3b
obobo12b2o113bobobo3bobobo20bo$26bo3bo21b2o107bob2o6bobo$o3bo3bo17bo3b
o19b2o109bo3b2o$26b3o19b2o2bo108bob2o6bobo$obobo3bobobo35b3o115b3ob2ob
o$26b3o8bo2b2o9b2o114bob2o$4bo3bo3bo13bo3bo6b2o2bo$26bo3bo6bo3b3o2b3o
119bobo$4bo3bobobo12b2o14b2obo2b2o121b2obo$23bo2bo3bo11bo130bo$21b2o3b
o3bo12b2o$23bo20bo3bo$25b2o3bo14bo2bo$27b3o16bobo7$164bobo29bobo$162b
2o3b2o27bo3bo$162bobo31bo4b2o$164bo33bo3bo2b2o$161bo37b2o3bo$161b2o3bo
$140bobobo4bo19b2o24b4o$164b2o3bo23b2obo2bo$140bo8bo15bobo4b2o19b4o2bo
$22b2o29b2o110b7obo23bo$o3bo3bobobo8b3o20bo7b3o85bobobo4bo14bo$22bo20b
o9bo15b2o94b7obo17b3o$o3bo7bo10b2ob2o15b2o9b2ob2o10b3ob2obo63bo3bo4bo
15bobo4b2o17b3o$28bo5bo6bo17bo5bob3o6bo87b2o3bo10bo2b2o$obobo7bo10b2o
7bobob3o6bo8b2o7bobo6bo67bobobo4bo19b2o9b2o2bo$24bo6bobo4b3ob2obo9bo6b
obo9b2o85b2o3bo13bo3b3o2b3o$4bo7bo12bo2bo9b2o16bo2bo14bo86bo22b2obo2b
2o$26bobobob2o23bobobob2o10bo88bo20bo$4bo7bo12b2o3bo25b2o3bo100bobo21b
2o$27bo30bo103b2o3b2o18bo3bo$164bobo21bo2bo$189bobo11$26bo146bo$26b2o
143b2o96b2o31b2o$26bo146bo94bo32bo5bo$28bo146bobo15bo3b2o27bo3b2o35b2o
b3o27b2ob3o2b2o$28bo145bo2bo13bo2b2obobo24bo2b2obobo31b7obo2b2o20b7obo
105b2o34b2o$27b2o18bo126bo2bo11b3o6bo3bo19b3o6bo3bo5bo22bo3bo5bo22bo3b
o108bobo4bo28bobo$45b2o127bobo11bobo7b7obo14bobo7b7obo2b2o15bo3bobo26b
o3bobo35bo35bo36bo2bob2obobo25bo2bob2obobo$29bo17bo128bo11bob2o9b2ob3o
2b2o10bob2o9b2ob3o17bo2b2ob2o25bo2b2ob2o32bo3bo31bo3bo39b2o3bobo28b2o
3bobo$o3bo3bobobo15bobo9bo8bobo88bobobo3bobobo34bo4bo9bo5bo11bo4bo9bo
19b3o30b3o30b3o4bobo2bo23b3o4bobo2bo36b2obo32b2obo7bo$27b4o9b2o6bo2bo
121bobo10b2o15b2o14b2o15b2o16bobo30bobo26bo2b2o4b2obobo3b2obo14bo2b2o
4b2obobo3b2obo7bo20bo2bo32bo2bo$o3bo3bo3bo10b2o2bo12bo7bo2bo88bo11bo
16b3ob2obo77bob2o29bob2o25b2o7bo12b2o3bobo6b2o7bo12b2o3bobo11b3o4bobo
3bo22b3o4bobo3bo$23b2obobo13bo5bobo119bob2obo9bo4b2o26bo4b2o28bo4bo27b
o4bo24bo3bo6b3o5bo2bob2obobo6bo3bo6b3o5bo2bob2obobo6bo2b2o4b2obobo3bo
17bo2b2o4b2obobo3bo$obobo3bobobo10b2o2bo14bo7bo89bobobo3bobobo14bo2bob
o16bo32bo29b2o31b2o34b2o4bo2bo7bobo4bo11b2o4bo2bo7bobo11b2o7bo26b2o7bo
$22b2o17b2o122bo2bo2b2o13b3o30b3o104b2o2bo8b2o21b2o2bo8b2o11bo3bo6b3o
22bo3bo6b3o$4bo3bo3bo8bo17bo2bo2bobo92bo3bo3bo15bo2bo2bo17bo32bo29bo4b
2o26bo4b2o32b3o4bo28b3o4bo26b2o4bo2bo26b2o4bo2bo$21bo5bo9b2o6bob2o115b
o3bob3o16bo32bo32bo32bo41bo35bo31b2o2bo31b2o2bo$4bo3bobobo9bob3o12bo5b
4o91bobobo3bobobo12b3obo2bo15b2o31b2o29b3o30b3o41b2o34b2o28b3o4bo28b3o
4bo$27bo13b4o120bobo21bo32bo31bo32bo39bo2b2o31bo2b2o34bo35bo$24b4o18bo
3bo113b2o23b2o31b2o31bo32bo36b2o34b2o38b2o34b2o$24bo2bo18b5o135bo2b2o
28bo2b2o30b2o31b2o38bo35bo35bo2b2o31bo2b2o$27bo19b2o112b2o3bo17b2o3bo
27b2o3bo32bo32bo108b2o34b2o$26bo134bo24bo32bo35b2o31b2o109bo35bo$26bob
o135bo87bo2b2o28bo2b2o$26bobo133bobo85b2o3bo27b2o3bo$27bo134b2o3b2o83b
o32bo$164bobo7$183bo$182bobo$182bobo$59bo122bo$32b2o24bobo$31bo26bobo
121bobo23bo36bo$31b2o25bo148bobo34bobo$31b2o147b3o24bobo34bobo$26b4obo
26bobo118bo27bo36bo$23bob3o150b2obo$obobo3bobobo9b2o7b2o23b3o81bobobo
3bobobo29bo24bobo34bobo$55bo126bo$o7bo3bo9bob2obo26b2obo82bo11bo24bo
27b3o3b3o28b3o3b3o$22b2o3bo30bo117b2obo24bo5bo3b2o25bo5bo3b2o$obobo3bo
3bo14bo30bo81bobobo3bobobo50b2obo3bo29b2obo3bo10bo$22b2o29bo139bob2o
10bo3bo4bobo11bob2o10bo3bo4bob2obo$4bo3bo3bo9bo29b2obo84bo3bo7bo22bobo
13b2o3bo10bo5b2obob2obo6b2o3bo10bo5b2obobo$22b3o17bob2o126bob2o17bobo
6bobo16bo8bobo6bobo$obobo3bobobo10b2o3bo11b2o3bo94bobobo3bobobo17b2ob
2o22b3ob2o31b3ob2o$29bo12bobo6bobo116b2ob2o22b2ob2o32b2ob2o$26b2o18b3o
b2o121bo25bobo34bobo$25bob2o17b2ob2o110bob2o6bobo26b3o34b3o$25b2o21bob
o110bo3b2o33b4o33b4o$21bobo25b3o109bob2o6bobo29bo36bo$21bo27b4o113b3ob
2obo$21bobo28bo114bob2o2$168bobo$170b2obo$173bo7$24bo3bo$23bob2obo$23b
obo143bo$24bo142bo2b2o$22b2o141b3o68bo$22b2o140bobo60b3o4bobo$26bob2o
134bob2o44bo9bo2b2o4b2obobo33bo36bo36bo36bo36bo36bo36bo36bo$25b2o9bobo
25bobo96bo4bo41b2o10b2o7bo29b3o4bobo27b3o4bobo27b3o4bobo27b3o4bobo27b
3o4bobo27b3o4bobo27b3o4bobo9bo17b3o4bobo9bo$obobo4bo26bo27bo75bobobo3b
o3bo9b2o38bo9bo9bo3bo6b3o20bo2b2o4b2obobo22bo2b2o4b2obobo22bo2b2o4b2ob
obo22bo2b2o4b2obobo22bo2b2o4b2obobo9bo12bo2b2o4b2obobo9bo12bo2b2o4b2ob
obo9b2o4bo6bo2b2o4b2obobo9b2o$25b2obo7bobo2bo2bo19bobo2bo2bo120b3o4bob
o11bo12b2o4bo2bo19b2o7bo27b2o7bo27b2o7bo27b2o7bo27b2o7bo14b2o4bo6b2o7b
o14b2o11b2o7bo10b2obobo2b3o6b2o7bo10b2obobo2b2o$o8bo15b2obo10bo27bo72b
o7bo3bo8bo4b2o20bo2b2o4b2obobo10bo18b2o2bo19bo3bo6b3o23bo3bo6b3o23bo3b
o6b3o23bo3bo6b3o23bo3bo6b3o6b2obobo2b3o6bo3bo6b3o6b2obobo2b2o7bo3bo6b
3o6b3o2bo2b2o7bo3bo6b3o6b3o2bo2b3o$27bo12bob2obo22bob2obo91bo22b2o7bo
8b3o4bobo13b3o4bo4bo3bo15b2o4bo2bo27b2o4bo2bo27b2o4bo2bo4bo22b2o4bo2bo
4bo22b2o4bo2bo5b3o2bo2b2o12b2o4bo2bo5b3o2bo2b3o11b2o4bo2bo3b2o2bo19b2o
4bo2bo3b2o2bo7bo$obobo4bo14bo2b2o12b3obo23b3obo66bobobo3bobobo9b3o23bo
3bo6b3o11b2o21bo3bobobobo19b2o2bo4bo27b2o2bo4bo27b2o2bo3bobo26b2o2bo3b
obo26b2o2bo3b2o2bo24b2o2bo3b2o2bo7bo16b2o2bo32b2o2bo$25b3o12bo4bo2bob
2o16bo4bo2bob2o84bo28b2o4bo2bo2bo2bobo3bo20b2o2bo2bobo3bo14b3o4bo3bobo
23b3o4bo3bobo23b3o4bo29b3o4bo29b3o4bo29b3o4bo29b3o4bo3bobo23b3o4bo3bob
o$4bo4bo27bo3b2o3bob4o13bo3b2o3bob4o60bo3bo7bo13bo31b2o2bo3bobobobo20b
o2b2o9b2o21bo36bo36bo3b2o2bo28bo3b2o2bo7bo20bo3bobo30bo3bobo30bo4bo31b
o4bo$24bo12b2o2bo2bob2o4bo12b2o2bo2bob2o4bo4bo80bo28b3o4bo4bo3bo19b2o
7b3o4bobo19b2o3b2o2bo27b2o3b2o2bo7bo19b2o5b3o2bo2b2o20b2o5b3o2bo2b3o
19b2o4bo30b2o4bo30b2o35b2o$obobo4bo14b2o11bo8b2o4bo2b2o8bo8b2o4bo2b3o
54bobobo7bo12bo8b2o26bo30bo13bo19bo2b2o4b3o2bo2b2o18bo2b2o4b3o2bo2b3o
17bo2b2o4b2obobo2b3o17bo2b2o4b2obobo2b2o18bo2b2o32bo2b2o32bo2b2o32bo2b
2o$23bo2b2o14b2o3b2o3bo2b3o12b2o3b2o3bo2b2o80bobo6b4ob3o19b2o45bo16b2o
9b2obobo2b3o15b2o9b2obobo2b2o16b2o13b2o4bo15b2o13b2o20b2o35b2o35b2o35b
2o$25bobo29bo107bo2b3o6bobo19bo2b2o42bo20bo12b2o4bo17bo12b2o22bo12bo
23bo12bo23bo36bo36bo36bo$21b2o3bo143bo3bo4bo17b2o45b2o34bo36bo$22b3o
144bob3obobob3o17bo46bo$23b2o145b2o2b4o$26bo147bo2bo$24bobo$25bo9$22bo
$22b2o2b2o266bo$22bo2bo268b2o$25bo268bo$170bo31bo31bo31bo29bo$25b3o
140bo2b2o27bo2b2o27bo2b2o27bo2b2o27bo$26bo139b3o29b3o29b3o29b3o30b2o$
23bobo139bobo29bobo29bobo29bobo$22bo14bo127bob2o28bob2o28bob2o28bob2o
32bo$obobo3bobobo9bo3bo8b2o17bobo83bobobo3bobobo11bo4bo26bo4bo26bo4bo
26bo4bo30bobo$21b2obobo10bo10b2o2b2o2bo106b2o30b2o30b2o30b2o34b4o$o11b
o11bo3bo10b5o3b3o6bo83bo7bo95bo31bo14b2o2bo$23b2ob2o12bo4bo4bobo109bo
4b2o25bo4b2o25bo4b2o9b2o6bo7bo4b2o9b2o15b2obobo$obobo3bobobo10b2obo13b
o4bob3o2bo87bobobo3bobobo13bo31bo31bo9bo4bob2obo11bo9bo4bobo11b2o2bo$
26b2o12bo4bo6b2o109b3o29b3o29b3o9b3o3bobo11b3o9b3o3bob2obo7b2o$4bo7bo
9bo3b2o11b2obo3b3o3b3o85bo3bo7bo12bo31bo31bo8bo4bo17bo8bo4bo6bo6bo$26b
o14bo4b3o117bo4bob3o22bo4bob3o22bo4bob2obo21bo4bob2obo16bo5bo$obobo3bo
bobo10b3o17b2o2b2o91bobobo3bobobo12b2ob2obob2obo20b2ob2obob2obo20b2ob
2obob3o21b2ob2obob3o18bob3o6b2obobo$25bo18b2o118bo3bo5bo4bo16bo3bo5bo
4bo6bo9bo3bo27bo3bo30bo3bo4bob2obo$26bo137b4o7b3o3bobo12b4o7b3o3bob2ob
o9b4o28b4o28b4o2bo10bo$25b2o134bo3b2o9bo4bob2obo6bo3b2o9bo4bobo9bo3b2o
26bo3b2o29bo2bo2bo3b2o$26bo134b2o15b2o6bo6b2o15b2o13b2o30b2o36bo3b3o$
26b2o133bo18bo12bo18bo12bo31bo36bo$23bo2b2o266bobo$21b2o3bo267bobo$23b
o271bo8$23bo$21b2o$23bo$25bobo$24bo2bo$24bo2bo$24bobo25bobo$26bo25bo3b
o$24b2o26bo4b2o12b2o129bo32bo$24b2o28bo3bo2b2o7b3o5bobo4b2o84b2obo18b
3o4bobo23b3o4bobo$obobo3bobobo15bob2o23b2o3bo10bo6bo7bo2bo50bobobo3bob
obo14b3obob3o12bo2b2o4b2obobo8b2obo6bo2b2o4b2obobo$27b2o43bo5bo2b3o5bo
73bobo10bo3b2o6b2o7bo12bob3o6b2o7bo$o7bo42b4o18b2o5bo5bo2bo50bo7bo12b
2o4b2o5bo3b4o6bo3bo6b3o8b2o9bo3bo6b3o$27b2obo18b2obo2bo16b3o10b2o76bob
2o2bo4b3obo14b2o4bo2bo6bobo14b2o4bo2bo6b2o$obobo3bobobo14b2obo18b4o2bo
13bo2b2o4b2o60bobobo3bobobo16bo4bo23b2o2bo3b3ob3o18b2o2bo4b3obo$29bo8b
o2b2o10bo15b2o4b2o86bob2o2bo4b3obo16b3o4bo3bo4bo16b3o4bo3bo4bo$4bo7bo
13bo2b2o7b2o2bo26bo3b2obo2bo60bo3bo3bo3bo8b2o4b2o5bo3b4o20bo4b3obo23bo
3b3ob3o$27b3o8bo3b3o2b3o23b3o87bobo10bo3b2o19b2o6b2o23b2o6bobo$obobo3b
obobo29b2obo2b2o23b2ob2obobo58bobobo3bobobo14b3obob3o23bo2b2o28bo2b2o
6b2o$26bo16bo33bo3bo89b2obo22b2o31b2o11bob3o$26b2o16b2o31bo121bo32bo
11b2obo$25bo2b2o15bo3bo$27bobo16bo2bo$23b2o3bo18bobo$24b3o$25b2o$28bo$
26bobo$27bo38$819bobo$564bo31bo94bo32bo35bo38bo19bo$39b2o523b2o4bo25b
2o92bobo30bobo33bobo36bobo18bo2bo$39b2o382bo44bo26bo31bo32b2obobo2b3o
21b2obobo2b2o23bo32bo30b2o31b2o35bobo36bobo20bo3bo$39bo203bo44bo132b2o
6bo36b2o23bo2bobo26bo2bobo31b3o2bo2b2o22b3o2bo2b3o21bobo30bobo31bo32bo
34bo38bo24bobo$36bo2bo201b2o6bo36b2o36bob3o40bob3o45bo4bob2obo34bo4bob
o16b4o28b4o34b2o2bo27b2o2bo7bo20b2o31b2o33bo32bo96b2o$33bo4bo98bobobo
40bobobo52bo4bob2obo34bo4bobo25bobob2obob2obo32bobob2obob2obo43b3o3bob
o36b3o3bob2obo13b3o3b2o2bo21b3o3b2o2bo7bo16bo31bo37bo32bo100bobo36bobo
20b3o$29b2o2b2ob3obo94bo3bob2obob3o31bo3bob2obob3o44b3o3bobo36b3o3bob
2obo20bo3bobo5bo4bo27bo3bobo5bo4bo6bo32bo4bo39bo4bo6bo10b2o2bo6b3o2bo
2b2o11b2o2bo6b3o2bo2b3o13b4o2bobo23b4o2bobo32bo32bo31b2o31b2o$obobo3bo
bobo15bo2bo6b2o21b2o35b2o34bo9bob2obo29bo9bob2obo32bobobo5bo4bo29bobob
o5bo4bo6bo19bo13b3o3bobo22bo13b3o3bob2obo29bob2obo39bob2obo19bo3b2o6b
2obobo2b3o9bo3b2o6b2obobo2b2o14b3o4bo24b3o4bo96b2o31b2o34b3o3b3o30b3o
3b3o16b2o$21b4obo25bo3b3o2b3o25bo3b3o2b3o32bo3b2o8bo4bo25bo3b2o8bo4bo
6bo20bo3bob2obob2obo30bo3bob2obob2obo28bo3b2o10bo4bob2obo18bo3b2o10bo
4bobo25bobob2obob3o33bobob2obob3o23b3o10b2o4bo12b3o10b2o15b2o2bo27b2o
2bo38b2o31b2o27b2o2bo28b2o2bo32bo5bo3b2o27bo5bo3b2o14b2o3bo$o11bo8bo2b
4obo20b2obo4bo2b2obobo4bo15b2obo4bo2b2obobo4bo24bob2o11b3o3bobo21bob2o
11b3o3bob2obo19bo9bob3o30bo9bob3o29bob2o14b2o6bo18bob2o14b2o27bo3bobo
38bo3bobo26bo2bo13bo14bo2bo13bo15bo3b2o26bo3b2o36b2o31b2o29b3o30b3o33b
2obo3bo31b2obo3bo10bo16b2o$47bobob2o3b2o5b3o6bo11bobob2o3b2o5b3o6bo12b
2ob2o7bo14bo4bob2obo7b2ob2o7bo14bo4bobo21bo3b2o39bo3b2o28b2ob2o7bo18bo
13b2ob2o7bo18bo25bo44bo34b2o30b2o33b3o29b3o34b2o2bo28b2o2bo17bo2b2o9b
2o17bo2b2o9b2o35bo3bo4bobo27bo3bo4bob2obo11b2o3bo$obobo7bo8b3o23bo7bo
3b3obo3b4obo11bo7bo3b3obo3b4obo4bo6b3o8bo18b2o6bo6b3o8bo18b2o25bob2o
41bob2o29b3o8bo33b3o8bo45bo3b2o39bo3b2o30bobobo27bobobo26bo2bo28bo2bo
37b3o30b3o19b2o2bo28b2o2bo46bo5b2obob2obo24bo5b2obobo15bobo4b2o$47bo4b
2ob2o4bo4b2o3b3obobo6bo4b2ob2o4bo4b2o3b3obobo7b2obo2bo2bobo19bo13b2obo
2bo2bobo19bo13b2ob2o7bo32b2ob2o7bo32b2obo2bo2bobo33b2obo2bo2bobo44bob
2o41bob2o32bo3bo27bo3bo27b2o30b2o27bo2b2o9b2o17bo2b2o9b2o17bo3b3o2b3o
21bo3b3o2b3o34bo18bo19bo31b7obo$o3bo7bo8bo2b4obo19b2obobo11bo8bobo8b2o
bobo11bo8bobo16bobo42bobo32b3o8bo33b3o8bo43bobo42bobo33b2ob2o7bo32b2ob
2o7bo34bo31bo31bobobo27bobobo24b2o2bo28b2o2bo32b2obo2b2o25b2obo2b2o33b
2obo35b2obo28bo$21b4obo26b2o22bo12b2o34b2obo41b2obo37b2obo2bo2bobo33b
2obo2bo2bobo37b2obo41b2obo36b3o8bo33b3o8bo37bo31bo30bo3bo27bo3bo24bo3b
3o2b3o8b2o11bo3b3o2b3o8b2o16bo32bo29bob2o35bob2o39b7obo$obobo7bo15bo2b
o6b2o14b4o33b4o33b2o43b2o46bobo42bobo39b2o43b2o37b2obo2bo2bobo33b2obo
2bo2bobo40bobo29bobo24bo31bo32b2obo2b2o7bobo4bo10b2obo2b2o7bobo17b2o
31b2o25b2o3bo33b2o3bo39bobo4b2o$29b2o2b2ob3obo15bo36bo34b3o42b3o40b2ob
o41b2obo43b3o42b3o45bobo42bobo37b2o3bo26b2o3bo25bo31bo32bo10bo2bob2obo
bo11bo10bo2bob2obobo13bo3bo3bo24bo3bo3bo19bobo6bobo27bobo6bobo30b2o3bo
$33bo4bo91bo2b2o40bo2b2o38b2o43b2o45bo2b2o40bo2b2o36b2obo41b2obo40bobo
3bo25bobo3bo29bobo29bobo27b2o11b2o3bobo12b2o11b2o3bobo14bo2bo3bo25bo2b
o3bo23b3ob2o33b3ob2o37b2o$36bo2bo92bo44bo40b3o42b3o46bo44bo40b2o43b2o
40b2obo28b2obo29b2o3bo26b2o3bo28bo3bo3b2obo21bo3bo3b2obo7bo15bobo2bo
27bobo2bo24b2ob2o34b2ob2o30b2o3bo$39bo180bo2b2o40bo2b2o128b3o42b3o35bo
bo29bobo33bobo3bo25bobo3bo29bo2bo2bo26bo2bo2bo33b2obo29b2obo7bo14bobo
36bobo30bo$39b2o181bo44bo132bo2b2o40bo2b2o31bo31bo35b2obo28b2obo33bobo
3bo26bobo3bo36b2o3bobo25b2o3bobo15b3o36b3o32bo$39b2o361bo44bo33bobo29b
obo29bobo29bobo44bo32bo33bo2bob2obobo22bo2bob2obobo15b4o35b4o29bobo$
545bo31bo116bobo4bo25bobo23bo38bo29b2o3b2o$545bobo29bobo115b2o31b2o94b
obo12$55bo$53b2o$30bo24bo$28b2o27bobo$30bo25bo2bo18bobo4b2o$32bobo21bo
2bo18bo7bo2bo11b2o26b2o$31bo2bo21bobo19bo2b3o5bo10b3o25b3o43bo64bo$31b
o2bo23bo21bo5bo2bo11bo27bo42b2o37bo18b3o4bobo$31bobo51b2o15b2ob2o23b2o
b2o39bo34b2o14bo2b2o4b2obobo$27bo5bo21bobo17bob2obo26bo27bo40b5o21bo8b
o13b2o7bo$obobo3bobobo8bo3bo2bo22b3ob2obo15b3o4bo20b2o26b2o34bo10bo3bo
11b3o4bobo10b5o7bo3bo6b3o$21b2o2bo4bobo19bob2obo22bo22bo2bo24bo2bo22b
3o4bobo4b2o3bo4bo6bo2b2o4b2obobo11bo3bo11b2o4bo2bo$o7bo3bo8bo3bo2b4obo
15bo2bobo19b2o29bo27bo18bo2b2o4b2obobo2b2o6bobo8b2o7bo10b2o3bo4bo16b2o
2bo$29b2obo14bo2bo2b2o16b5obo18bobo4bo20bobo4bo20b2o7bo13b2o11bo3bo6b
3o4b2o6bobo15b3o4bo4bo3bo$obobo3bobobo13b2o18bo2bo2bo16b2ob2obo20bo27b
o27bo3bo6b3o3bobob2o18b2o4bo2bo9b2o25bo3bobob2o$26b2o18bo3bob3o14bo3bo
bobo18bobo2bo2bo19bobo2bo2bo24b2o4bo2bo3bo3bo23b2o2bo3bobob2o26b2o9b2o
$o3bo3bo3bo16b2obo14b3obo2bo14b2obob2obo21bo27bo34b2o2bo28b3o4bo4bo3bo
24bo2b2o2b2o6bobo$21bo3bo2b4obo13bobo22b2o26bob2obo22bob2obo25b3o4bo
35bo31b2o9b2o3bo4bo$obobo3bobobo8b2o2bo4bobo13b2o21b3o29b3obo23b3obo
32bo34b2o33bo14bo3bo$21bo3bo2bo41bo29bo4bo2bob2o16bo4bo2bob2o25b2o32bo
2b2o46b5o$27bo5bo9b2o3bo17b2o29bo3b2o3bob4o13bo3b2o3bob4o23bo2b2o29b2o
49bo$31bobo9b2o21b2o29b2o2bo2bob2o4bo12b2o2bo2bob2o4bo4bo15b2o36bo46b
2o$31bo2bo33bo28bo8b2o4bo2b2o8bo8b2o4bo2b3o17bo84bo$31bo2bo8b3o21bobo
32b2o3b2o3bo2b3o12b2o3b2o3bo2b2o$32bobo8b2o22bob2obo44bo$30bo14bobo20b
o3bo$28b2o13bo3bo$30bo10bo2bo$41bo$41bobo11$169bo3bo22bo3bo$168bob2obo
21bob2obo12bo$23bo3bo18bo3bo18bo3bo94bobo13bobo8bobo13bobo$22bob2obo
17bob2obo17bob2obo95bo10b3obobo9bo10b3obobo28bo33bo228b2o5b2obo16bobo
6bo$22bobo20bobo20bobo96b2o7b4obo4bo7b2o7b4obo28bo2b3o28bo2b3o98bo2b2o
29bo2b2o90bo6bo2b2o16bo7bobo$23bo22bo22bo97b2o7bo4bo12b2o7bo4bo28bo2b
2o29bo2b2o99bo2b3o28bo2b3o89b2o5bo20bo7bo$21b2o14bo6b2o21b2o14bo87bob
2o5bo17bob2o5bo25bo3bo29bo3bo40bo33bo24bo3bo4bo24bo3bo4bo89b2o6bo21bo
3b2o$21b2o7bobob2obo6b2o7bobobo9b2o7bobob2obo86b2o5b2o18b2o5b2o26bob3o
29bob3o36bo2b3o28bo2b3o23bob3o29bob3o34bo2b2o29bo2b2o17b4obo3b2ob2o25b
2obobo$obobo3bobobo12b3o4bobo13b3o4bob2obo10b3o4bobo23b2o6bo29b2o6bo
81bob3o29bob3o36bo2b2o29bo2b2o24bob3o29bob3o34bo2b3o28bo2b3o13bob3o6b
2o3bo21b2o3bo2bo$24b2o21b2o11bo9b2o23bo3b3o2b3o26bo3b3o2b3o25b2obo23b
2obo19bob2o8b3o19bob2o8b3o34bo3bo29bo3bo16bob2o8b3o19bob2o8b3o32bo3bo
4bo24bo3bo4bo12b2o7b2o3b2o21bo3b2o$o7bo3bo17b2o21b2o21b2o15b2obo4bo2b
2obobo5bo15b2obo4bo2b2obobo5bo16b2obo23b2obo19bo3b2o5b2o21bo3b2o5b2o
35bob3o29bob3o17bo3b2o5b2o21bo3b2o5b2o33bob3o29bob3o34b2o17b2o$24b6o
17b6o17b6o14bobob2o3b2o5b3o7bo11bobob2o3b2o5b3o7bo17bo26bo20bob2o6bobo
21bob2o6bobo35bob3o29bob3o17bob2o6bobo21bob2o6bobo33bob3o29bob3o18bob
2obo31bo$obobo3bobobo11bo22bo22bo19bo7bo3b3obo3b5obo11bo7bo3b3obo3b5ob
o4bo9bo2b2o22bo2b2o24b3obo29b3obo26bob2o8b3o19bob2o8b3o24b3obo29b3obo
24bob2o8b3o19bob2o8b3o20b2o3bo24bo8bobo$24b6o17b6o17b6o14bo4b2ob2o4bo
4b2o4b3obobo6bo4b2ob2o4bo4b2o4b3obobo10b3o24b3o26bob2o30bob2o26bo3b2o
5b2o21bo3b2o5b2o27bob2o30bob2o24bo3b2o5b2o21bo3b2o5b2o27bo24b2o6bo2bo$
o3bo7bo17b2o21b2o21b2o14b2obobo11bo9bobo8b2obobo11bo9bobo130bob2o6bobo
8bo12bob2o6bobo8bo80bob2o6bobo8bo12bob2o6bobo8bo13b2o28bo7bo2bo$24b2o
21b2o11bo9b2o11bo12b2o23bo12b2o33bo26bo30bobo31bobo31b3obo9b2o18b3obo
9b2o6bo13bobo31bobo29b3obo9b2o18b3obo9b2o6bo7bo31bo5bobo$obobo3bobobo
12b3o4bobo13b3o4bob2obo10b3o4bob2obo13b4o34b4o30b2o25b2o31b2obob3o26b
2obob3o25bob2o7bo4bobo15bob2o7bo4bob2obo15b2obob3o26b2obob3o23bob2o7bo
4bobo15bob2o7bo4bob2obo7b3o29bo7bo$21b2o7bobob2obo6b2o7bobobo9b2o7bobo
bo18bo37bo30bo2b2o22bo2b2o32bob2obo28bob2obo34b3o3bob2obo22b3o3bobo21b
ob2obo28bob2obo32b3o3bob2obo22b3o3bobo11b2o3bo24b2o$21b2o14bo6b2o21b2o
101bobo24bobo35bo4bo6bo21bo4bo22bobo5bo4bo6bo13bobo5bo4bo28bo4bo6bo21b
o4bo20bobo5bo4bo6bo13bobo5bo4bo21bo21bo2bo2bobo$23bo22bo22bo96b2o3bo
21b2o3bo37b3o3bob2obo22b3o3bobo20b2obob2obo25b2obob2obo32b3o3bob2obo
22b3o3bobo18b2obob2obo25b2obob2obo21b2o21b2o6bob2o$22bobo20bobo20bobo
96b3o24b3o40bo4bobo26bo4bob2obo20bob3o29bob3o34bo4bobo26bo4bob2obo18bo
b3o29bob3o21bob2o22bo5b4o$22bob2obo17bob2obo17bob2obo94b2o25b2o42b2o
32b2o6bo95b2o32b2o6bo78b2o26b4o$23bo3bo18bo3bo18bo3bo97bo26bo42bo33bo
103bo33bo80bobo34bo3bo$169bobo24bobo295bo36b5o$170bo26bo296bobo35b2o9$
86bo$84bo2b2o$82b3o$81bobo13bo$81bob2o10b2o3bo$80bo4bo11bo2b2o$79b2o
19b2o$100bo$78bo4b2o14b2o$82bo17bo$26bobo4b2o20bobo4b2o15b3o15b3o$26bo
7bo2bo17bo7bo2bo14bo15b2o$26bo2b3o5bo17bo2b3o5bo16bo12bobo$obobo3bobob
o15bo5bo2bo19bo5bo2bo16bo12bob4o$21b2o10b2o15b2o10b2o18bo3b2o8bobo$4bo
3bo3bo7b3o3b2o21b3o3b2o25bobo16b2o$21b2obo4bo20b2obo4bo23bo3bo11b3o$4b
o3bo3bo11bo4bo23bo4bo27b2o9b2obo$86b2o9b2o2bo$4bo3bo3bo11b6o23b6o23bo
3bo10b2o2bo$28b2o2bobo22b2o2bobo18bobo13b2o$4bo3bobobo9bo2b2o5b2ob2o
14bo2b2o5b2ob2o16bo3b2o$20b2o3bob2ob2o17b2o3bob2ob2o10bo11bo16bo$22bo
3b2o3bo5bobo11bo3b2o3bo5bob2obo11bo16b3obo$27bo6b2obob2obo13bo6b2obobo
12bo17bo2bo$31b2o9bo17b2o17b3o16b2o4bo$82bo14bo6bo$78bo4b2o12b2o4bo$
103bo$79b2o18b3o$80bo4bo12bo4b2o$81bob2o12b3o$81bobo14b2o$82b3o$84bo2b
2o$86bo!


Also, here is the collection of all known c/3 ships up to 50 cells:
x = 761, 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$296bo18bo12bo16b2o11bo21bo$294b2o17b
2o12bobo15b2o9b2o21bobo$285bo8b2o17b2o11b2o19bo8b2o20b2o$250bo32b2o11b
o18bo11bobo15bo12bo20bobo$26bo220bob2o15bo16b2o9bo18bo13b2o15b3o9bo22b
2o$25bobo14bo132b3o68bo2bo16bo18bo7b3o16b3o15bo13bo10b3o24bo$24b2o14b
2o133b3o67bo3bo11b3obo17bo9bo18bo13bo2bo13b2o10bo22bo2bo$26bo13b2o135b
2o15b2o23b2o24bo4bo8bo2b2obobo15bobo6b2o17b2o12bo20bo7b2o21bo$24b2o16b
o132bobob2o9b2obo2bo18b2obo2bo22b3o3bo7b2o3b2o18bobo7bo18bo11b2o16bo2b
o9bo20b2o$24b3o13bo109bo3bo3bobobo14bo11bo3b2o19bo3b2o22bo4b2obo7bo5bo
19bo9bo2bo15bo2bo8bo15bo14bo2bo17bo$39b3o132b2o12bo8b3o13bo8b3o5bo11b
3o5b2o7bo4bobo16bo14bo18bo7b3o12b2o18bo16b3o$obobo3bobobo11bo2bo11bo
110bo3bo3bo14bo15bo3b5o3bo3b2o7bo3b5o3bob2o11bo9bo7bo5bo13b2o2bo11b2o
17b2o10bobo11bobo14b2o19bo$24bobo11b2o133b4ob2o11bobo4bo2bob2o11bobo4b
o2bo3b2o7b2o23b2o12bo2bo13bobo16bobo13bo8b2o17bo21bo$4bo7bo11bo12bo3bo
108bobobo3bobobo8bo5bo3bo7b3o3bo9bo8b3o3bo18bobo16b2o5bobo10b3obo11b2o
17b2o12bo3bo26b3o17b2o$25bo14bo130b5obo3bo7b3o3bo2bo15b3o3bo2bo35bobo
4bo11bo16bo16bo3bo11b2o10bo18bo18b2o3bo$obobo7bo12bobo8bobo115bo3bo3bo
8bo9bo14bo24bo16b3o18b2o18b4o13bo2bo15bo13bobo8bo20bo18bo2bo$26bo8b3o
134bo3bo2bo17bo24bo15b3o19bo16bo22bo10bobo15b2o9bob2o15b2o20bobo$4bo7b
o12b2o8bo118bo3bobobo9bo5b2o15bo2bo21bo2bo37bo2bo11bo4b2o14b2o11b3o19b
o8b3o15b2o3bo19bo2bo$34b2o138bo20bo24bo20b3o21bo9b2o2b2o16bobo10bo17bo
2bo29bo2bo23bo$obobo7bo11bo2bo7bo136b2o21bobo22bobo18b3o18b2o11bobo3bo
14b2o11b2o16bo11b2o21bobo20b2o$23bo12bo2bo132b2o22bo24bo40bobo9b2o21bo
13bo14b2o11b3o23bo2bo17bo$22b2o16bo133bo65b2o19b2o35bo2bo8bobo13bobo
40bo16b3o$22bobo12b2o201b2o20bobo10bo26bo7bobo12b2o13bobo23b2o19bo$21b
2o14bobo202bo20bo11bobo21b2o9bo29b2o24bobo20bo$36b2o237bobo21bobo10bo
13bo14bo23b2o20b2o$22bo14bobo236bo21b2o10b2o14bobo12bobo22bobo18b2o$
22bobo13bo260bobo8b2o14bobo12bobo23bo21bo$22bobo275bo11bo14bo14bo$23bo
12$367bo$366bobo$365b2o14bo16bo17bo$277bo89bo11b2o15b2o17bobo$25bo9bo
240bobo86b2o12b2o15b2o17bobo$24bobo7bobo139b2o58bo38b2o14bo73b3o13bo
16bo16bo$23b2o9bobo137b2o3bo54b2o40bo13bobo13b2o71bo16bo17b2o$25bo8bo
139b2obobo17b3o16bo17b2o39bobo12bobo72bo2bo9b3o14b3o16bobo$23b2o154bo
17b2o16bo43bo15bo14bo13b2o2bo16bo4bo13bo4bo15bobo10bo16bo$23b3o7b2o
140b3o21bo14b2o19b3o20bobo13bo28bo20bobobo2bo11bobobo2bo14bo11b2o15b2o
17b3o$34bobo137bo21b3o17bobo16b3o19b2o15bobo12b2o11b2o4b3o13bobobo3bo
10bobobo3bo14bo11bo14bo3bo15b3o$23bo2bo7b2o114bo3bo3bobobo10b3o19bo18b
3o2bo38bobo13bo2bo11b2obo10bo4b3o13bo3bo2b2o10bo3bo18bobo10bo2bo13bo
15bo$obobo3bobobo10bobo9bo136bo2bobo17b2o17b2o2bo12bob2o23b2o15b2o13bo
bo10b3o17b2o6bo10b2o6bo16bo15bo8bobo15b2o$23bo12bo2bo110bo3bo7bo30bo3b
o11bo20bo3bo12b3o11bo14b2o12bo13bo6b3o9bobo5bobo8bobo4b2o15b2o12b2o9b
3o16bobo$4bo3bo3bo11bo15bo131b3obobo14b3o11bo2b3ob2o13b2o15bo10bo2bo
14bo14bobo13bo4b3o36bo29bobo8bo$24bobo10b2o111bobobo7bo8bo3b3o15bob3o
9bobo5bo13bo4b2o8b2o4bo5bo13bo3bo2bo10bo2bo12b2o16b3o6b3o7b3o6b3o12bo
2bo10b2o9b2o17b3o$obobo3bobobo12bo12bobo131bo4bo28bo9b2obo8b5obo9b3o3b
obo2b2o11b2o5bo11bo4bo11b2o4b2o10bobo6b2o8b3o7bo12bo13bo3bo8bo17b3o$
24b2o12b2o114bo7bo9bo15b2ob2o2bo11b3o6bobo12bobobo14bo6bo10b2o16b2o6b
2o10bo3b3o10bobo7bo19bo9b2o16bo10bo2bo12bo$4bo3bo3bo28bo132b2o11bo4bob
o2bo12bobo14bo17bobo3b5o16bo2b2o9bobo2b2o29b2o7b2o11b3o4b2o11bobo10bob
o16bo9b2o$23bo2bo10bo2bo113bo7bo8b2o13bo3bo2b2o3bo9b3o2bo13bo2b2o13b2o
6b2o14b4o12b2o5bo20b3o16bobo9b3o4b2o11b2o10b3o14b2o11bobo$obobo3bobobo
9bo13bo135bo14bo5b2o2bo10b2o16bob4o14bo7bo15b2o2bo17b3o18b3o7bo9bo19bo
13bo8bo16bobo$21b2o12b2o135b3o14bo4b2o15bo14b2o18bobo37bo6bo29bobo17b
2o18bo2bo8b2o15b2o11b3o$22bo12bobo135bo13b2o19b2o2bo33bobo23b2o12bobo
6bo16b2o9bobo17b2o17bo13bo16bo11bobo$22b3o9b2o139bo11b2o20bo2bo14bo19b
o24b3o11bobo4b2o17b2o10bo20bo15b2o14bo2bo13bo2bo8bobo$23bo149b2o14bo
20bo16bobo57bo5b2o19bo46bobo17bo16bo6b2o$25bo9bo137b2o52bobo41b2o22bo
64b2o16b2o15b2o$23b2o10bobo137bo52bo42b2o105bobo14bobo8bo$23b2o10bobo
235bo87bo15b2o15b2o10bobo$25bo10bo324bobo14bobo14bobo8bobo$361bobo15bo
16bo10bo$362bo12$325bo25bo17bo$324bobo10bo12bobo15bobo$323b2o10b2o13bo
bo15bobo14bo16bo$23bo16bo12bo9bo261bo9b2o13bo17bo15bobo14bobo$22bobo
13b2o12bobo7bobo149bo20bo14bo72b2o12bo45b2o16bobo$22bobo13b2o11b2o9bob
o135bo11b2o19b2o14bobo71b3o9bo13b2o16b2o15bobo14bo$22bo17bo12bo8bo135b
2o12b2o19b2o14bobo9bo4bo15bo4bo16bo4bo25bobo12bobo15bobo13b2o$38bo12b
2o127bo17b2o14bo20bo13bo10bobobo2bo13bobobo2bo14bobobo2bo12bo2bo8bo14b
2o16b2o17bo12b2o$21b2o14b3o11b3o7b2o116bobo30bo20bo14b2o10bobobo3bo12b
obobo3bo13bobobo3bo11bobo10bobo12bo17bo13bo2bo14bobo$22bobo12bo24bobo
114b2o18b3o7bo2bo20bobo12bobo9bo3bo2b2o12bo3bo2b2o13bo3bo2b2o11bo12bob
o13bo2bo14bo2bo8bo18b2o$22b2o12b2o13bo2bo7b2o115bo19b3o7bo2b2o19bobo
23b2o6bo12b2o6bo13b2o6bo13bo31bo17bo6b2o19bo$obobo3bobobo10bo13bo13bob
o9bo86bo3bo3bobobo17bobo26bo24bo12b3o9bobo5bo12bobo5bo13bobo5bo13bobo
9b3o14b2o16b2o9bo20bo2bo$24bo2bo10bo2bo9bo12bo2bo112bobo9bo4b2o11b3o2b
o17bo10bo2b2o20bo20bo21bo12bo10b2obo14bobo14bobo8b3o$4bo3bo3bo15bo13bo
9bo15bo81bo3bo3bo3bo16b3o9bo4bobo12bo18bo2bo8b2o14b3o6b2o10b3o6b2o11b
3o6b2o12b2o12b2obo12b2o14b2o11bobo14bo2bob2o$25b2o12b2o11bobo10b2o111b
2o10b2o2bobo14bob3o12b2obo10b2o5b3o6b3o6b2o10b3o6b2o11b3o6b2o45bo15bo
13bo12bo2bo$obobo3bobobo13bobo11bobo10bo11bobo82bobobo3bobobo15bo11bo
2bo15b2o3b2o12b3obo13bo3bo18bo20bo21bo10bo2bo26bo2bo12bo2bo11bo3bo11bo
2bo$26b2o12b2o10b2o10b2o107bo3bobo9b2o2bo4bo10b2obobo12bo15b4o3bo10b3o
12b3o19b3o21bo14b2obo11bo15bo16b2o14b3o$4bo7bo16bo13bo21bo88bo3bo3bo9b
obo3bo10bo5bo3bo14bo12b6o11b2o2bo12b3o12b3o19bobo20b2o14bobo11b2o14b2o
17bo15bo$25bo2bo10bo2bo8bo2bo11bo2bo102bo4b3o2bo6b2obo3b2obo8b2obo13bo
96bobo11bo15bobo13bobo15b3o$obobo3bobobo11bo13bo12bo18bo83bo3bobobo9bo
bobo5bo7bo17b2o14bo4b2o15b2o14bobo12bobo17b3o22b2o10b2o16b2o14b2o17bob
o13bo$23b2o12b2o11bo16b2o106b5obo8b2o2bo15bobo10b2o2b2o17b3o13b2o13b2o
18b2o26bo8bobo18bo15bo19bo9b2o$24bo12bobo10b3o15bo102b2o20bobo14bo12bo
bo3bo33bo14bo20bo21bo2bo26bo2bo12bo2bo17bo3bo8b3o$24b3o9b2o30b3o101b2o
b2o3bo10bo3bo15b4o7b2o23bobo13bobo12bobo16b2o21bo12b3o14bo15bo22b2o13b
obo$25bo25bobo15bo103bob2o14bo20bo34b2o14bobo12bobo17bobo18b2o12bobo
13b2o14b2o23bo11b3o2bo$27bo9bo13b2o18bo105bo13bobo18b2o9bo24bo15bo14bo
19bo20bo13bobo12bobo13bobo22b3o9b2o$25b2o10bobo12bo16b2o121bo20bo9bobo
22bobo69b3o10b2o13b2o14b2o25bo13bo$25b2o10bobo12bobo14b2o143bo8bobo22b
obo70bo71bo8b2o2bo$27bo10bo13bobo16bo152bo24bo73bo10bo14bo15bo25b2o10b
o2bo$53bo267b2o11bobo12bobo13bobo23b2o11bo$321b2o11bobo12bobo13bobo25b
o$323bo11bo14bo15bo46$571bo18bo16bo17bo13bo15bo32bo28bo13bo13bo$570bob
o16bobo14bobo15bobo11bobo13bobo11bo17b2o27b2o13bobo11bobo$570bobo16bob
o14bobo15bobo11bobo13bobo9b2o18b2o12bo14b2o13bobo11bobo$570bo18bo16bo
17bo13bo15bo11b2o20bo9b2o17bo12bo13bo$50bo617bo17bo11b2o15bo$49bobo13b
o19bo450b2o31b2o17b2o15b2o16b2o12b2o14b2o11bo18b3o12bo13b3o12b2o12b2o$
48b2o3bo10bobo17bobo483bobo16bobo14bobo15bobo11bobo13bobo9bobo16bo12bo
15bo15bobo11bobo$49bo4bo9bo19bobo18bobo426b2o2bo31b2o17b2o15b2o16b2o
12b2o14b2o10bo17b2o11b3o13b2o15b2o12b2o$48b5obo9bo2bo16bo20b2obo13b2o
23b2o21b2o278bo20bo20bo9bobo8bo19bo19bo4bo12bo18bo16bo17bo13bo15bo11bo
bo17bo9bo14bo3bo14bo13bo$34bo12b3o16bo33bo3bo13b2obo2bo18b2obo2bo46bo
32bo28bo28bo28bo132bo2b3o5bobo7bo2b3o15bo2b3o3bo2bo8bo2b3o3bo2b2o6b2o
4b3o11bobobo2bo12bo2bo15bo2bo13bo2bo14bo2bo10bo2bo12bo2bo7bobo13bo2bo
9b2o17bo16bo2bo10bo2bo$30b2ob2o11bo3bo15bob3o12b2o2bobo8b2obob2o12bo3b
2o19bo3b2o20b2o2bo22b2o23b2o6bobo18b2o6bobo18b2o6bobo18b2o6bobo5bobo9b
3o26b3o26b3o26b3o23b2o4bobobo2bo7b2o4bobobo2b2o6b2o4bobobo2b2o6b2o4bob
obo2bo8bo4b3o11bobobo3bo15bo18bo16bo17bo13bo37bo14bo13bobo22bo13bo$o3b
o3bobobo16bo3bo11bo3bo16b3o12bo2bob4o8bo17bo8b3o13bo8b3o5bo8bo25b5ob3o
25bo28bo8bobo17bo6bo2b2o17bo6bo2bo9bo28bo28bo28bo30bobo3bo2b2o10bobo3b
o2bo11bobo18bobo5bobo7b3o16bo3bo2b2o12b2o17b2o15b2o16b2o12b2o14b2o8b3o
11b2o15bo2bo8b3o20b2o12b2o$29bo3bo11bobobo30bo4b2o10b3o3b2o12bo3b5o3bo
3b2o7bo3b5o3bob2o8b2o4b3o17bo8bobo4bo9b2o2bo3bo2b2obobo2b2o8b2o2bo3bo
2b2obobo2bo9b2o2bo3bo2b2obobo2bo9b2o2bo3bo2b2obobo2b2o6b2o4bo4bobo15b
2o4bo4bobo15b2o4bo4bobo15b2o4bo4bobo15b2ob2o16b2ob2o7bobo6b2ob2o16b2ob
2o18bo6b2o8b2o6bo13bobo16bobo14bobo15bobo12bobo13bo8b2obo10bobo26bo22b
obo12bo$o3bo3bo3bo15bo3bo2bobo7bo3bo14b4o11bo3bob2o9bo6b2o14bobo4bo2bo
b2o11bobo4bo2bo3b2o7bo4b2o18bobo2b2o4bobo3bo7bo6b5o5bo2bo8bo6b5o5bo2b
2o7bo6b5o7bobo7bo6b5o16b3o3bobob2obo15b3o3bobob2obo15b3o3bobob2obo15b
3o3bobob2obo15b3o18b3o18b3o18b3o22bo4b2o8bobo5bobo10b2o17b2o15b2o16b2o
14b2o13bobo9b2obo7b2o13bo2bob2o7b2o21b2o14b3o$26b3obobo3bobo7bo2b2o13b
o4b2o8bo2b2obo10bo2b2o16b3o3bo9bo8b3o3bo18b3o4bo10bo6bo5bo2b3o2bo9b2o
4b2o6bo5bobo6b2o4b2o6bo14b2o4b2o6bo14b2o4b2o6bo20bo28bo13bo14bo28bo22b
4obo15b4obo15b4obo15b4obo17b2o7bo29bo18bo16bo19bo15bo11bo37bo2bo11bo
20bo3bo13bo$obobo3bobobo10bo2b2o3b2o3bo9bo5b2o8bo2b2o2b2o7b3o15bo2bo5b
3o9b3o3bo2bo15b3o3bo2bo16bo6b4o5b2o7bo5bo6bob2o7bo4b2o3b2o17bo4b2o3b2o
17bo4b2o3b2o17bo4b2o3b2o17bobo3b6obobobob2o8bobo3b6obobobobobo7bobo3b
6obo15bobo3b6obo5bo8b2obobo15b2obobo15b2obobo15b2obobo17b2o5bo8b3o6b3o
12bo2bo15bo2bo13bo2bo11bo2bo12bo2bo11bo24bo13bo2bo12bo2bo19bo16bo$22bo
bo3b2o17b2obo11b3o12bo3bo17bo5b3o16bo2bo21bo2bo17bo10b2obo8bobo21b3o4b
o2b2o17b3o4bo2b2o17b3o4bo2b2o17b3o4bo2b2o17b2o6bo8bobobo7b2o6bo8bob2o
8b2o6bo8bob2o8b2o6bo8bobobo94bo3b3o7b3o6b2o17bo18bo16bo9bo15bo15bobo
10b2o10bo14b3o31bobo16b2o$4bo7bo8bo2bo3bo4bo16bo10bo2bobo10bo2bo20bo
23bobo22bobo15b2o8b3o3bo9bo9b2o12bo28bo28bo28bo28bo8bo2bo5bo10bo8bo2bo
16bo8bo2bobobobobo8bo8bo2bobobob2o7b2o2bo16b2o2bo16b2o2bo16b2o2bo24bo
20bo13b2o17b2o15b2o10b2o14b2o14bo2bo9b2o10bo16bo14b2o15b3o17b2o3bo$22b
obo3b2o2bo17b2o9b3o13bo2bo18b2o5bobo16bo24bo17b2o9bo4bo8b2o8bo16bo28bo
28bo28bo26bobo6bo19bobo6bo19bobo6bo8bo10bobo6bo18bo20bo20bo20bo26b2o
12b3o3b2o14bobo17bobo13bobo10bobo13bobo11b4o11bo10b2o31bo15bo21bo2bo$
4bo3bobobo10bo2b2obobo29bo2bo15bobo16b2o5b2o19bo24bo17bo8bo3bo10bobo5b
o2bo12b2o27b2o27b2o27b2o27bobo7b2o17bobo7b2o17bobo7b2o17bobo7b2o16bo3b
obo14bo3bobo14bo3bobo14bo3bobo22bo11b3o4bobo11b2o19b2o13b2o12b2o14b2o
11bobo10bo2b2o10bo2bo13bo13bobo13b2o22bobo$26b2o24b3o8b2o36bo5bo17b2o
23b2o28bo2bo11bo7bobo12b2o27b2o27b2o27b2o28bo28bo28bo28bo30b2obo17b2ob
o17b2obo17b2obo20bobo18bo13bo22bo14bo13bo15bo9bo12bo2bo12bobo11b2o14bo
18bo23bo2bo$28b2o22b3o8bo16b3o24bobo15b2o23b2o29bob2o19bo15bo28bo28bo
28bo142b2o19b2o19b2o19b2o25bobo9b2o22bo2bo14bo2bo11bo2bo10bo2bo12bo2bo
9bo13bo14b3o12b3o12bo15bo2bo28bo$29bo34b3o13b2o25bobo17bo24bo31bo265b
2o19b2o19b2o19b2o25bo11b2o26bo12bo14bo13bo15bo13bobo12b3o10bobo16bobo
9bobo12bo29b2o$51b2o14bo14bo25bo343bo20bo20bo20bo26bo11bo22b2o13b2o13b
2o12b2o14b2o13bo2bo12bo11bobo14b3o2bo8bo2bo10b2o30bo$51b2o12b2o13b2o
458b2o36bo14bo14bo13bo15bo29b2o2bo7bo16b2o26bobo29b3o$53bo11b3o13bobo
456b2o36b3o12b3o12b3o11b3o13b3o11b3o16bobo7bo18bo10b3o10b2o32bo$82bo
459bo36bo14bo14bo13bo15bo12b2o15bo3bo7bobo13b2o2bo9b2o47bo$581bo14bo
14bo13bo15bo12bo14bo12bo15bo2bo11bo11bo32b2o$579b2o13b2o13b2o12b2o14b
2o11b2o15bobo9b2o16bo11b2o12bobo30b2o$579b2o13b2o13b2o12b2o14b2o12bobo
14bo11bobo27bobo10bobo32bo$581bo14bo14bo13bo15bo12bo28bo29bo12bo12$
379bo11bo20bo12bo17bo15bo16bo11bo17bo26bo16bo12bo14bo21bo10bo9bo14bo$
377b2o10b2o19b2o11b2o16b2o14b2o15b2o10b2o16b2o25b2o15b2o11b2o13b2o20b
2o10bobo7bobo12bobo27bo19bo20bo$246bo21bo108b2o10b2o19b2o11b2o16b2o14b
2o15b2o10b2o16b2o25b2o15b2o11b2o13b2o20b2o9b2o9bobo12bobo26bobo16b2o
19b2o$245bobo19bobo109bo11bo20bo12bo17bo15bo16bo11bo17bo26bo16bo12bo
14bo21bo10bo8bo14bo28bobo16b2o19b2o$76bobo155bo9b2o20b2o27bo11b2o68bo
11bo20bo12bo17bo15bo16bo11bo17bo26bo16bo12bo14bo21bo10b2o53bo$76bo156b
obo9bo21bo27bo81bobo9bobo17b3o10b3o15b3o13b3o14b3o9b3o15b3o24b3o14b3o
10b3o12b3o19b3o9b3o7b2o13b2o27b2o19b3o18b3o$41bo31b3o157b2o9bobo19bobo
21b3obo10b2o2bo57bo9bobo9bo19bo12bo17bo15bo16bo11bo17bo26bo16bo12bo14b
o21bo22bobo12bobo25bobo18b3o18b3o$30bo9bobo30b2obo156bo10bo21bo21bo2b
2obobo7bo60b2o11bo11bobo15b2o11b2o16b2o14b2o15b2o10b2o16b2o25b2o15b2o
11b2o13b2o20b2o11bo2bo7b2o13b2o$28b2o9b2o31bo2b2o157bobo6bo21bo21b2o3b
2o9b2o4b3o16bo36b2o9b2o12bobo16bo12bo17bo15bo16bo11bo17bo24bo3bo12bo3b
o10bo16bo17bo3bo9bobo9bo14bo25b3o16b3o18b3o$28b2o11bo31bob2o2bo154bobo
6bobo19bobo19bo5bo10bo4b3o15bobo5b2o40bo32bo2bo9bo2bo14bo2bo12bo2bo13b
o2bo8bo2bo14bo2bo23bo16bo12bo2bo8bo2bo21bo10bo12bo2bo11bo2bo21b3o16b3o
18b3o$30bo8b2o28b2obo2b2o13b2o31b2o31b2o31b2o41b4o7bo21bo22bo4bobo8b3o
19b2o26bo11b3o8b3o10b3o21bo12bo17bo15bo28bo17bo18bobo14bobo25bo21bobo
13bo15bo14bo38bo20bo$obobo3bobobo15bo10b3o26bo8bo153bobo10b4o18b4o18bo
5bo10bo6b2o13bobo3b2o2bo15bobo10b3o9bo11b2obo17b2o11b2o16b2o14b2o15b2o
10b2o16b2o19b3o14b3o16b2o7b2o20b3o14bobo10b2o13b2o19b3o15bob2o17bob2o$
28bobo40bo5bobo8b2o2bo6bo3bo17b2o2bo6bo3bo6bo10b2o2bo6bo3bo17b2o2bo6bo
3bo28bobo12b2o20b2o23b2o12bo4b2o13b2o3bo19b2o26bo11b2obo15bobo10bobo
15bobo13bobo15bo11bo17bo19bo16bo19bo8bo20bo17bo11bobo12bobo18b3o14bo3b
o16bo3bo$o7bo3bo15bobo9bo2bo23bobo17bo10bobobo2b2obob2o8bo10bobobo2b2o
bobobo7bo10bobobo2bo14bo10bobobo2bo4bo21bo16bo21bo16b2o5bobo8b2o7bo15b
obo4b3o13bobo3bo3b3o12b2o30b2o11b2o16b2o14b2o16bobo10b3o15b3o16b2o15b
2o18bobo7b3o17b2o16b2o10b2o13b2o19bo16bo20bo$29bo9b3o3bo5bobo12b3o17b
2o4b3o3bo3bo5bobobo6b2o4b3o3bo3bo5bob2o7b2o4b3o3bo3bo5bob2o7b2o4b3o3bo
3bo5bobobo34bo21bo19bobo4bo9b2o5bo13bo2bo3bo3b3o13b2o3bo4b3o12b2o29bo
3bo10bo17bo15bo16bo13bobo15bo18bo16bo18bo10bobo19bo27bo14bo16bob2o17bo
bo18bobo$obobo3bo3bo10b3o2bo10b2o2bobobo3b2obo11bo20bo4b2o4bobo3bo5bo
9bo4b2o4bobo3bo15bo4b2o4bobo3bobobobobo7bo4b2o4bobo3bobobob2o11bo4b4o
14bo3b2obo14bo3b2obo13b2o17bo3b3o11bo30bobo32b2obo17bo12bo2bo14bo2bo
12bo2bo11bo18bo15bo17bo2bo13bo2bo13bo15bo13bo2bo14bo2bo11bo2bo11bo2bo
11bo3bo$23b2o3bo13bobo4bo15b2o20b3o4bo5bo2bo16b3o4bo5bo2bo16b3o4bo5bo
2bo6bo9b3o4bo5bo2bo17b2obo4bo17bo5bo15bo5bo14bo21bo12b2o14b3o9bo2bo3b
2o2bo12b2o13bobo14bobo18bo17bo15bo10bobo13bo3bo12b2o22bo16bo12bobo10bo
3bo11bo17bo44bo22b3o18b3o$4bo3bo3bo13bo13bo3bo2b3o18bo19bo6b3o3bo19bo
6b3o3bo19bo6b3o3bo19bo6b3o3bo19bo4b2obo18bobo19bobo18bo2bo16b2o12bobo
13b3o8bo24bobo11bo16b3o16b2o16b2o14b2o11bo2bo14b2o14b2o3bo15b2o15b2o
13bo2bo11b2o12b2o16b2o12bo2bob2o12b2o12bobo19bo20bo$24b2o2bo2b2o7bo3bo
2b2o2bo12bo2bo22bo32bo32bo32bo29b3o3b2o29bobo35bo16bo11b2o25b2o9b2o12b
2obo9b2o17bo18bobo16bobo12bobo9b4o16bobo14bo2bo16bobo13bobo11b4o13bobo
11bobo16bo11bo2bo16bo34bobo18bobo$obobo3bobobo9bo2bo2bobo9bobo7bobo10b
o24b2o31b2o31b2o31b2o29bo31bo3bo2bo14bo3bo2b2o10b2o19bo2bo23b2o9bobo
22bo12bobo15b2o17b2o18b2o12b2o10bobo18b2o16bobo16b2o13b2o12bobo15b2o
12b2o15b3o11bo2bo15bobo11b3o17b4o17b4o$22b3o2b3obo9bo6bo13b2o24b2o31b
2o31b2o31b2o29bo2b2o26b2obobo2b2o12b2obobo2bo12bo23bo7bo14b2o8b2o24b2o
32bo16bo21bo13bo8bo23bo17bo2bo15bo14bo10bo20bo13bo13b2o2b2o9b3o15bo12b
o19bobo18bobo$21bo2bob3o19bo13bobo25bo32bo32bo32bo28bo2bo27bobo19bobo
4bobo11b3o18b2o9bobo14bo33b2ob2o7b3o15bo2bo18bo2bo13bo2bo10bo2bo8bo20b
o2bo22bo10bo2bo11bo2bo10bo17bo2bo10bo2bo17bobo26bo11b2o20bobo18bobo$
21b3o3b2o19bobo10b2o158bo26b2o20b2o21bo19bobo8bobo23bo36b3o14bo26bo11b
o13bo12bobo17bo23b2o11bo14bo14bobo14bo13bo18bo14bo2bo13bobo9b3o19bo19b
o$21bo2bo24bo173bo71bo16b2o11bo24bobo24b2o24b2o23b2o12b2o12b2o12bo2bo
15b2o24bo10b2o13b2o14bo2bo12b2o12b2o18bobo12bobo14bobo32bo18bobo$22b2o
38bo158b2o26bo21bo21b2o18bobo34bobo24bobo10b3o10bobo23bo13bo13bo31bobo
23b3o8bobo12bobo29bobo11bobo17bo14bo17b4o8bobo19bobo16bo$62bobo156b2o
26bobo19bobo19b2o19bo36bo24b2o12b3o9b2o25b3o11b3o11b3o10b3o15b2o26bo8b
2o13b2o15b3o12b2o12b2o20bo14bo18bobo7b2o21bo19bo$62bobo158bo25bobo19bo
bo21bo134bo13bo13bo11b2o46bo38b2o49bobo12bobo16bobo8bo20b2o17b2o$63bo
186bo21bo104bo11b2o12bo28bo13bo13bo11bo16bo26b2o8bo14bo17bo13bo13bo21b
o14bo16bo11bobo19bobo15b2o$377bobo9b2o12bobo24b2o12b2o12b2o10b2o17bobo
24b2o8bobo12bobo13b2o14bobo11bobo18b2o13b2o16b2o10bobo20bo18bo$377bobo
11bo11bobo24b2o12b2o12b2o11bobo15bobo26bo7bobo12bobo14bobo12bobo11bobo
19bobo12bobo14bobo10bo$378bo25bo27bo13bo13bo11bo17bo36bo14bo16bo14bo
13bo21bo14bo16bo!


Nicolay Beluchenko collected all of the known c/4 diagonal spaceships up to 70 bits here.

Finally, a collection of most of the known 2c/5 orthogonal ships up to 90 cells can be found here. The only ships that are missing are the ones from this post.

Edit: I added the following ship to the c/4 orthogonal collection above (based on one of the new ships):
x = 10, y = 30, rule = B3/S23
2bo$2o3bo$2bo2b2o$5b2o$5bo$4b2o$5bo$2b3o$2b2o$bobo$bob4o$bobo$6b2o$3b
3o$2b2obo$2b2o2bo$2b2o2bo$3b2o2$5bo$5b3obo$4bo2bo$3b2o4bo$2bo6bo$2b2o
4bo$8bo$4b3o$3bo4b2o$2b3o$3b2o!
-Matthias Merzenich
Sokwe
Moderator
 
Posts: 1335
Joined: July 9th, 2009, 2:44 pm

Re: New small c/4 orthogonal ship

Postby moebius » December 11th, 2015, 10:47 am

Scorbie,

Yes, I am Tim Coe.

If I do a run of "knight2" and nothing is found, no spaceships exist under those run parameters (barring bugs of course).

If a spaceship is found I always do some tree trimming. This will always preclude finding some other spaceships. This is a real problem when searching for 2c/6 ships, as many c/3 ships are found and the associated tree trimming has a tendency to mask and make undiscoverable some 2c/6 ships. I am considering algorithms to make my searches exhaustive when ships are found, but doing so will be a significant amount of programming.

David Eppstein's analysis of my programming style still applies. Now though, the ship movement and ship period are implicit in the hookup of the constraint propagation network and I have my program lie to itself as to what the actual period is when running c/5 searches.

Sokwe,

I will be describing my search approach as time goes on. I will also post the actual code.

Josh Ball certainly found quite the number of tags for the 41-cell ship.

I have found a number of c/4 ships in the 60 to 70 cell range and will eventually post an updated table.

Have a happy day,

-Tim Coe
moebius
 
Posts: 26
Joined: December 10th, 2015, 9:07 am


Return to Patterns

Who is online

Users browsing this forum: No registered users and 4 guests