LLSSS min pop search results spam

[amling]

As foretold, a thread to hold the noisy results of running LLSSS with arbitrary width but a hacky upper bound on population in order to find all ships up to a certain fixed population in one phase or another.



I took the c/2 results up to pop 80 and deduped, sorted, and compared with jslife-moving/velocity-c2/c2-extended/c2-0002.rle (up to pop 75).

I believe this one pop 75 ship is new:

Code: Select all

#C [[ TRACK -1/2 0 ]]
x = 15, y = 30, rule = B3/S23
8bo$5bobobo$4bo2bo$3b2o$2bo$b4o$o4bo$o2bo$o2bo$bo$2b4obo$3bo3bo$4bo$4b
obo2$3b3o$3b2o$3b3o$14bo$4bobo5b2o$3bo2bo2b4obo$3bo5b2o$3bo3bo$4bo3b5o
$5b2o$8b3obo$9bo3bo$10b2o$11bo2bo$12bobo!

And here are I believe all ships for pops 76 through 80:

Pop 76 (20 ships):

Code: Select all

#C [[ TRACK -1/2 0 ]]
x = 378, y = 28, rule = B3/S23
297bo19bo16bobo19bobo16bobo$105bobo19bobo17bobo21bobo14bobo15bobo15bob
o15bobo18bo17bo12bobobo15bobobo14bo2bo18bo2bo15bo2bo$71bo20bo11bo2bo
18bo2bo16bo2bo20bo2bo13bo2bo14bo2bo14bo2bo14bo2bo16b2o15b4o11bo2bo16bo
2bo15b2o20b2o17b2o$33bobo15bobo14b4o17b4o10b2o20b2o18b2o22b2o15b2o16b
2o16b2o16b2o16b4obo14b2o12b2o18b2o17bo21bo4bo13bo3bo$32bo2bo14bo2bo14b
2o19b2o11bo21bo19bo23bo4bo11bo3bo13bo4bo12bo4bo12bo3bo14b2o16bo14bo19b
o18b4o18b5obo12b3obo$31b2o16b2o15bo20bo13b4o18b4o16b4o8bo11b5obo10b3ob
o13b5obo11b5obo11b3obo13bo19b4o10b4o16b4o15bo4bo6bo7b2o19bo$11bo18bo3b
o13bo4bo12b4o17b4o9bo4bo6bo9bo4bo6bo7bo4bo6bobo7b2o15b2o16b2o16b2o16b
2o19b4o15bo13bo4bo6bo7bo4bo6bo7bo2bo5b2obo6bo3b3o15b5obo$8b4o17b3obo
13b5obo11bo20bo13bo2bo5b2obo9bo2bo5b2obo7bo2bo5b2obo8bo3b3o10bo3b5o9bo
3b3o11bo3b3o11bo3b5o12bo17b4obo10bo2bo5b2obo7bo2bo5b2obo7bo2bo5bo8bo3b
o17bo6bo$8b2o16b2o18bo16b4obo15b4obo10bo2bo5bo12bo2bo5bo10bo2bo5bo10bo
3bo12bo3bo13bo3bo13bo3bo13bo3bo15b4obo14bo4bo10bo2bo5bo10bo2bo5bo11bo
7bo8bo5bo13b4obobo$6bo3b2o13bo3b5o12bobob3o10bo4bo15bo4bo11bo7bo13bo7b
o11bo7bo10bo5bo10bo5b2o10bo5bo11bo5bo11bo5b2o12bo4bo13bo2bo4bo9bo7bo
11bo7bo12b4obo10bo2bo2bo13bo4bo2bo$6b4obo12bo3bo16bo3bo12bo2bo4bo12bo
2bo4bo10b4obo16b4obo14b4obo12bo2bo2bo10bo2bo2b4o8bo5bo11bo5bo11bo5b4o
9bo2bo4bo11b2o6bo10b4obo14b4obo15bo3bo11bobo2b2obo9bo2bo$3bobo18bo5b2o
13b3o3bo10b2o6bo12b2o6bo11bo3bo17bo3bo15bo3bo13bobo2b2obo8bobo5bo9b2o
3b2obo9b2o3b2obo9b2o6bo9b2o6bo19b2obo8bo3bo15bo3bo16bo22bo9b2o$2b9o13b
3o3b4o17bo18b2obo17b2obo9bo21bo19bo24bo34bo17bobo33b2obo8bobo8bo9bo19b
o19b5o9b3o$b2o8bo21bo9bob3o3b2obo7bobo8bobo7bobo8bo9b5o17b5o15b5o11b3o
14b3o16bobo15bobo6bo8bobo15bobo8bo7b2o2bo17b5o15b5o29b2o17bobo$2o4b2ob
o12b6o14b2o2b2o6bo6b2o2bo8bo7b2o2bo75b2o15b2o16b2o2bo13b2o2bo13b2o2bo
13b2o2bo15bobo57b5o11b2o16b2o2bo$bobo3bo3bo10bo19bobo16bobo6bo11bobo
19b5o15b5o15b5o13b3o7bo6b3o15bobo6bo8bobo15bobo15bobo17b2o6bo13b5o13b
5o15bo15b3o15bobo$8b3o10bo3bo16b2o6bo10b2o6bobo10b2o8bo11bo19bo19bo26b
obo23b2o6bobo7b2o6bo9b2o16b2o18bo4b2obo13bo17bo18bo3bo21bo8b2o6bo$b2o
17b4obo16bo4b2obo10bo4b2obo12bo7b2o11bo3bo15bo3bo15bo3bo15bobo2b2obo8b
obo5bo8bo4b2obo9bo4b2obo9bo7bo9bo7bo10b3o3bo15bo3bo13bo3bo14b4obo13bob
o2b2obo8bo4b2obo$o5b5o8bo21b3o3bo12b3o3bo14b3o3b4obo9b4obo14b4obo14b4o
bo14bo2bo2bo10bo2bo2b4o7b3o3bo11b3o3bo11b3o3b4o8b3o3b4o10bo5bo14b4obo
12b4obo13bo7bo10bo2bo2bo10b3o3bo$o5bo4bo6bo2bo19bo5bo12bo5bo14bo5b2o
12bo7bo11bo7bo11bo7bo12bo5bo10bo5b2o9bo5bo11bo5bo11bo5b2o10bo5b2o12bo
3bo15bo7bo9bo7bo10bo2bo5bo10bo5bo10bo5bo$o3bo4bo8bo2bo9bo9bo3bo14bo3bo
16bo3bo14bo2bo5bo10bo2bo5bo10bo2bo5bo12bo3bo12bo3bo12bo3bo13bo3bo13bo
3bo13bo3bo16bo3b3o11bo2bo5bo8bo2bo5bo10bo2bo5b2obo7bo3bo12bo3bo$bo3b3o
bo8bo4bo6bobo9bo3b3o12bo3b3o14bo3b5o9bo2bo5b2obo7bo2bo5b2obo7bo2bo5b2o
bo10bo3b3o10bo3b5o8bo3b3o11bo3b3o11bo3b5o9bo3b5o12b2o8bo6bo2bo5b2obo5b
o2bo5b2obo7bo4bo6bo8bo3b3o10bo3b3o$2b2o7bo7b4o4b2obo12b2o17b2o19b2o15b
o4bo6bobo5bo4bo6bobo5bo4bo6bo11b2o15b2o15b2o16b2o16b2o16b2o21b5obobo5b
o4bo6bo5bo4bo6bo8b4o17b2o15b2o$5b6o9bo6bo18b5obo12b5obo14b3obo10b4o8bo
7b4o8bo7b4o22b5obo10b3obo12b5obo11b5obo11b3obo13b3obo16bo4bo8b4o14b4o
17bo22b5obo10b5obo$6bo14b2o4bo19bo4bo13bo4bo15bo3bo10bo19bo19bo25bo4bo
11bo3bo12bo4bo12bo4bo12bo3bo13bo3bo16b2o12bo17bo20b2o21bo4bo11bo4bo$7b
2o13bo2bo22b2o17b2o19b2o13b2o18b2o18b2o24b2o15b2o15b2o16b2o16b2o16b2o
19bo2bo10b2o16b2o19bo2bo19b2o15b2o$8bo2bo11bobo2bo20bo2bo15bo2bo17bo2b
o11bo2bo16bo2bo16bo2bo22bo2bo13bo2bo13bo2bo14bo2bo14bo2bo14bo2bo17bobo
bo9bo2bo14bo2bo17bobobo18bo2bo13bo2bo$9bobo14bobo21bobo16bobo18bobo12b
obo17bobo17bobo23bobo14bobo14bobo15bobo15bobo15bobo20bo11bobo15bobo20b
o20bobo14bobo!

Pop 77 (36 ships):

Code: Select all

#C [[ TRACK -1/2 0 ]]
x = 772, y = 35, rule = B3/S23
770bo$752bobo12b4o$687bobo28bo13bobo14bobo2bo12b2o$672bo11bobo2bo25b2o
bo10bobo2bo13bo2bo13bo3b2o$607bo18bobo21bo18bobobo9bo2bo28bo12bo2bo15b
2o4bo11b4obo$604bobobo16bo2bo18bobobo16bo2bo10b2o4bo26bo11b2o4bo12bo6b
o10bo$579bobo21bo2bo17b2o20bo2bo17b2o12bo6bo22bobo12bo6bo11b4o4b2obo6b
4o$525bo14bobo16bobo16bo2bob2o17b2o19bo3bo17b2o19bo4bo8b4o4b2obo18bo2b
o11b4o4b2obo7bo4bo6bo5bo4bo$393bobo22bobo15bobo15bobo18bo19bo26b2obo
13bo2bo15bo2bo15b2o22bo4bo15b3obo17bo4bo15b5obobo5bo4bo6bobo15b2o13bo
4bo6bobo5bo2bo14bo2bo$315bo24bo15bobo20bobo10bo2bo21bo2bo14bo2bo14bo2b
o16b2o18b2o27bo15b2o17b2o17bo4bo18b5obobo10b2o22b5obobo10b2o8bo6bo2bo
9bo15bo4bob2o7bo2bo9bo6bo2bo14bo2bo$181bo19bobo21bobo21bobo16bobo18bob
o20bobobo20bobobo13bo2bo19bo2bo9b2o23b2o16b2o16b2o16b4obo14b4obo26bo
14bo3bo14bo3bo14b5obo15b2o8bo10bo3b5o13b2o8bo10bo3b3o11bo2bo24b5obo10b
o2bo17bo17bo$53bobo25bobo19bobo23bobo23bobo20bobobo17bo2bo20bo2bo20bo
2bo15bo2bo17bo2bo19bo2bo21bo2bo14b2o21b2o11bo24bo3bo13bo3bo13bo4bo13b
2o18b2o26bobo15b3obo14b3obo12b2o9bo12bo3b3o14bo3bo17bo3b3o14bo3bo15bo
23b2o19bo20b4obo12b4obo$52bo2bob2o21bo2bo18bo2bo22bo2bo22bo2bo19bo2bo
18b2o22b2o22b2o17b2o19b2o21b2o23b2o16bo4bo17bo3bo8b4o21b3obo13b3obo13b
5obo11bo19bo28bo2bo12b2o19bo16bo3b3o5bo11bo3bo17bo5b2o13bo3bo17bo5bo
14b4obo16bo3b3o16b4obo15bo3bo13bo3bo$12bo18bo19b2o26b2o20b2o24b2o24b2o
21b2o20bo3bo19bo3bo19bo3bo14bo4bo15bo3bo18bo4bo19bo4bo12b5obo16b3obo8b
o4bo17b2o16b2o16b2o19b4o16b4o24b2o14bo3b5o13b5obo9bo3bo8b2obo8bo5bo15b
o2bo2b4obo9bo5bo15bo2bo2bo15bo3bo15bo3bo20bo3bo16bo17bo$9bobobo14bobob
o17bo4bo22bo3bo17bo3bo21bo3bo21bo3bo18bo4bo16b3obo19b3obo19b3obo14b5ob
o14b3obo18b5obobo16b5obobo7b2o21b2o14bo2bo18bo3b5o9bo3b5o9bo3b3o14bo
19bo27bo4bob2o7bo3bo17bo6bo9bo5bo9bo8bo2bo2bo16bobo5b2o10bo2bo2bo16bob
o2b2obo13bo18bo5bo19bo19bobo15bobo$8bo2bo15bo2bo18b5obo21b3obo17b3obo
21b3obo21b3obo18b5obobo11b2o22b2o22b2o19bo20bo20b2o8bo14b2o8bo7bo3b3o
16bo3b5o8bo2bo17bo3bo13bo3bo13bo3bo15b4obo14b4obo23b5obo10bo5b2o12b4ob
obo11bo2bo2bo19bobo2b2obo23bo10bobo2b2obo21bo13bobo16bo2bo2bo19bobo$7b
2o17b2o18b2o9bo16b2o22bo25bo25bo20b2o8bo11bo3b5o15bo3b5o15bo3b5o13bobo
b3o14b5obo13bo3b3o18bo3b3o11bo3bo18bo3bo14bo19bo5b2o10bo5b2o10bo5bo13b
o4bo14bo4bo20b2o18bo2bo2b4o10bo4bo2bo11bobo2b2obo24bobo10b3o27bobo10b
3o40bobo2b2obo35b3o15b3o$6bo18bo19bo3b3o5bo15bo3b5o16b5obo19b5obo19b5o
bo13bo3b3o15bo3bo19bo3bo19bo3bo17bo3bo14bobo6bo12bo3bo20bo3bo14bo5bo
16bo5b2o12b4obo13bo2bo2b4o8bo5b4o8bo5bo12bo2bo4bo11bo2bo4bo17bo3b3o15b
obo5bo9bo2bo25bo15b3o7bo11b2o19b3o7bo11b2o20b3o26bo15b3o17b2o16b2o$5b
6o13b6obo12bo3bo8b2obo11bo3bo18bobo6bo16bobo6bo16bobo6bo12bo3bo18bo5b
2o16bo5b2o16bo5b2o14b3o3bo11b7obo14bo5bo18bo5bo12b3o3bo16b3o3b4obo9bo
3bo14bobo5bo9b2o6bo9b2o3b2obo9b2o6bo11b2o6bo16bo3bo36b2o18b3o22b2o20b
2o19b2o20b2o20b2o18b3o22b2o18b2o16b2o$2b2o7bo9b2o7b2o12bo5bo9bo11bo5b
6o10b7obo17b7obo7bo9b7obo14bo5bo16b3o3b4obo12b3o3b4obo12b3o3b4obo16bo
10b2o7bo14b3o3bo18b3o3bo13bo4b2obo22b2o11bo5b2o54bobo15b2obo16b2obo13b
o5bo15b3o36b2o23b2o20b3o18b3o19b3o19b2o18b2o23b3o17b3o15b3o$bo3b3obo
10bo3b3ob2o14b3o3bo21b3o3bo14b2o7bo16b2o7bo4b4o8b2o7bo14b3o3bo25b2o22b
2o22b2o9bob3o3b2obo6b2o4b2o23b2obo21b2obo10bobo5bo11b6o7bo10b6o3bo7b3o
16bobo15bobo6bo8bobo8bo8bobo8bobo11b3o3bo15b2o17bobo17b3o22b3o84b3o17b
3o$o3bo4bo9bo3bo4b2o20b2obo25b3obo8b2o4b2o18b2o4b2o7b2o9b2o4b2o23b2obo
13b5o6bo10b5o8bo10b6o7bo7b2o2b2o6bo7bobo2b2o2bob2o9b5o6bo13b5o6bobo7bo
2bo17bo29bo3bo6b2o16b2o2bo13b2o2bo13b2o2bo15b2o2bo8bo18b2obo12b2o16b2o
2bo64bobo18bobo19bobo64bobo17bobo15bobo$o5bo4bo7bo5bo3b2o11b5o6bo16b6o
4bo3bo8bobo2b2o2bob2o13bobo2b2o2bob2o13bobo2b2o2bob2o9b5o6bobo11bo21bo
23bo20bobo24bobo12bo24bo11bo8bo4bo14bo3bo20b5o2b2obo6b3o7bo7bobo6bo8bo
bo15bobo6bo10bobo21b5o6bo12b3o15bobo19bobo22bobo19bo20bo21bo21bobo17bo
bo22bo19bo17bo$3o3b5o8b3o3b4obo11bo27bo10b2o17bobo4b2o17bobo23bobo12bo
11bo11bo3bo17bo3bo19bo3bo17b2o18b4o17bo3bo20bo3bo18b4o14b4obo20bo25bob
o6b2o6bobo7b2o16b2o6bobo9b2o6bo15bo32bo8b2o20bo24bo20bo3bo16bo3bo17bo
3bo18bo19bo23bo3bo15bo3bo13bo3bo$41bo3bo23bo3bo8bo2bo7b4o10b4o8b4o22b
4o17bo3bo19b4obo16b4obo18b4obo17bo7bo10bo20b4obo19b4obo18bo7bo8bo25bo
3bo14bobo2b2obo8bo4b2obo9bo7bo9bo4b2obo11bo4b2obo14bo3bo21bobo2b2obo8b
o7bo12bo3bo20bo3bo16b4obo15b4obo16b4obo17bo3bo15bo3bo19b4obo14b4obo12b
4obo$3o3b4obo7b3o3b5o10b4obo22b4obo9bobo6bo17bo7bo25bo20b4obo18bo7bo
13bo7bo15bo22b3o3b4o9bo2bo17bo7bo16bo7bo15b3o3b4o7bo2bo22b4obo13bo2bo
2bo10b3o3bo11b3o3b4o8b3o3bo13b3o3bo16b4obo20bo2bo2bo10b3o3b4o11b4obo
19b4obo15bo20bo21bo22b4obo14b4obo18bo19bo17bo$o5bo3b2o7bo5bo4bo8bo7bo
19bo23bo2bo22bo2bo22bo2bo17bo7bo15bo2bo5bo12bo2bo5bo14bo2bo20bo5b2o11b
o2bo16bo2bo5bo15bo2bo5bo15bo5b2o9bo2bo21bo7bo11bo5bo10bo5bo11bo5b2o10b
o5bo13bo5bo15bo7bo18bo5bo10bo5b2o12bo24bo20bo2bo17bo2bo18bo2bo19bo19bo
23bo2bo16bo2bo14bo2bo$o3bo4b2o8bo3bo4bo9bo2bo5bo18bo2bo21bo2bo22bo2bo
22bo2bo16bo2bo5bo15bo2bo5b2obo9bo2bo5b2obo11bo2bo20bo3bo14bo4bo14bo2bo
5b2obo12bo2bo5b2obo12bo3bo12bo4bo18bo2bo5bo11bo3bo12bo3bo13bo3bo13bo3b
o15bo3bo16bo2bo5bo18bo3bo12bo3bo14bo2bo21bo2bo18bo2bo17bo2bo18bo2bo18b
o2bo16bo2bo21bo2bo16bo2bo14bo2bo$bo3b3ob2o9bo3b3obo9bo2bo5b2obo15bo2bo
21bo4bo20bo4bo20bo4bo6bo7bo2bo5b2obo12bo4bo6bobo7bo4bo6bobo9bo4bo6bo
12bo3b5o10b4o15bo4bo6bobo10bo4bo6bo13bo3b5o8b4o19bo2bo5b2obo9bo3b3o10b
o3b3o11bo3b5o9bo3b3o13bo3b3o13bo2bo5b2obo16bo3b3o10bo3b5o9bo2bo21bo2bo
18bo4bo15bo4bo16bo4bo16bo2bo16bo2bo21bo4bo14bo4bo12bo4bo$2b2o7b2o8b2o
7bo7bo4bo6bo15bo4bo20b4o22b4o22b4o4b2obo7bo4bo6bobo11b4o8bo9b4o8bo11b
4o4b2obo13b2o17bo18b4o8bo12b4o22b2o15bo21bo4bo6bo10b2o15b2o16b2o16b2o
18b2o17bo4bo6bo17b2o15b2o15bo4bo19bo4bo17b4o17b4o18b4o17bo4bo14bo4bo
20b4o16b4o14b4o$5b6obo11b6o9b4o24b4o22bo25bo25bo6bo11b4o8bo13bo21bo23b
o6bo19b3obo12b4obo13bo24bo27b3obo10b4obo16b4o21b5obo10b5obo11b3obo13b
5obo13b5obo10b4o28b5obo10b3obo10b4o21b4o19bo20bo21bo20b4o16b4o22bo19bo
17bo$6bo18bo14bo27bo25b2o24b2o24b2o4bo12bo25b2o20b2o22b2o4bo20bo3bo11b
o3b2o14b2o23b2o26bo3bo9bo3b2o17bo24bo4bo11bo4bo12bo3bo13bo4bo14bo4bo
11bo31bo4bo11bo3bo10bo24bo22b2o19b2o20b2o19bo19bo25b2o18b2o16b2o$7b2o
17b2o13b2o26b2o24bo2bo22bo2bo22bo2bo15b2o24bo2bo18bo2bo20bo2bo23b2o15b
2o17bo2bo21bo2bo24b2o13b2o20b2o23b2o15b2o16b2o16b2o18b2o15b2o30b2o15b
2o13b2o23b2o21bo2bo17bo2bo18bo2bo17b2o18b2o24bo2bo16bo2bo14bo2bo$8bo2b
o15bo2bo11bo2bo24bo2bo22bobobo21bobobo21bobo2bo13bo2bo22bobobo17bobobo
19bobo2bo21bo2bo12b4o16bobobo20bobobo23bo2bo10b4o19bo2bo21bo2bo13bo2bo
14bo2bo14bo2bo16bo2bo13bo2bo28bo2bo13bo2bo11bo2bo21bo2bo19bobobo16bobo
bo17bobobo16bo2bo16bo2bo22bobobo15bobobo13bobobo$9bobo16bobo12bobo25bo
bo25bo25bo25bobo14bobo25bo21bo23bobo22bobo15bo19bo24bo25bobo13bo20bobo
22bobo14bobo15bobo15bobo17bobo14bobo29bobo14bobo12bobo22bobo22bo20bo
21bo18bobo17bobo25bo19bo17bo!

Pop 78 (47 ships):

Code: Select all

#C [[ TRACK -1/2 0 ]]
x = 962, y = 40, rule = B3/S23
961bo$958b2obo$958bo$939bo18bo$936b4o16bo$936b2o15b2obo$934bo18bo$934b
4o15bob2o$933bo$924bobo5b3o2bo13bobo$904bobo16bo2bo6b3o14bo2bo$843bobo
16bo19bo20bo2bo15b2o10bo14b2o$604bo19bo21bo19bo18bobo17bobo21bobo14bob
o17bo19bo17bobo15bobo17bo2bo13bobobo15bobobo18b2o17bo4bo8b3obo8bo$386b
obo19bobo21bobo14bobo16bobo15bobo16bobo18bo18bo18bo20bo15bobobo15bobob
o17bobobo15bobobo16bo2bo16bo2bo20bo2bo13bo2bo14bobobo15bobobo15bo2bo
14bo2bo16b2o15bo2bo16bo2bo19bo4bo13b5obo8bo2b2o7b4o$312bobo14bobo16bo
24bobo9bo2bo18bo2bo20bo2bo13bo2bo15bo2bo14bo2bo15bo2bo16b2o16b4o15b4o
17b4o14bo2bo16bo2bo18bo2bo16bo2bo17b2o18b2o22b2o15b2o16bo2bo16bo2bo16b
2o16b2o18bo4bo11b2o18b2o21b5obo10b2o17b3o7bo4bo$274bobo15bobo16bo2bo
13bo2bo13b4o23bo2bo8b2o20b2o22b2o15b2o17b2o16b2o17b2o16b4obo15b2o17b2o
19b3o14b2o18b2o20b2o18b2o19bo19bo23bo4bo11bo3bo13b2o18b2o18bo3bo13bo4b
o14b5obo10bo19bo20b2o17bo3b3o15bo7bo2bo$225bobo20bobo22bo2bo14bo2bo15b
2o15b2o16b2o24b2o10bo21bo23bo4bo11bo3bo14bo4bo12bo3bo14bo4bo13b2o17bo
18bo20bo3bo13bo19bo21bo19bo20b4o16b4o8bo11b5obo10b3obo13bo4bo14bo4bo
14b3obo13b5obo11b2o17b4o16b4o17bo3b3o12bo3bo16bo9bo2bo$125bobo25bobo
24bo21bo21bo2bo19bo2bo21b2o16b2o17bo4bo11bo3bo12bo26bo4bo6b4o8bo9b4o8b
o11b5obo10b3obo14b5obo11b3obo14b5obo11bo20b4o15b4o17b3o14b4o16b4o8bo9b
4o16b4o8bo8bo4bo6bo7bo4bo6bobo7b2o15b2o18b5obobo11b5obobo11bo15b2o18bo
3b3o6bo5bo4bo6bo7bo4bo6bo8bo3bo15bo5bo14bobo8bo$124bo2bo24bo2bo21b4o
18b4o20b2o21b2o23bo4bo12bo4bo13b5obo10b3obo13b4o22b5obo5bo4bo6bobo7bo
4bo6bobo7b2o15b2o17b2o16b2o17b2o19b4o16bo18bo20bo4bo11bo4bo6bo7bo4bo6b
obo7bo4bo6bo7bo4bo6bobo7bo2bo5b2obo7bo2bo5b2obo8bo3b3o10bo3b5o9b2o8bo
9b2o8bo12b5obo8bo3b3o13bo3bo6b2obo5bo2bo5b2obo7bo2bo5b2obo8bo5bo13bo2b
o2bo13bo12b4obo$9bobo17bobob2o17bobob2o19bobo20bobo20b2o26b2o24b3o19b
2o21bo4bo17bo4bo19b5obo11b5obo10b2o15b2o18bo23b2o13bo2bo5b2obo9bo2bo5b
2obo8bo3b3o10bo3b5o10bo3b3o11bo3b5o10bo3b3o14bo18b4obo13b4obo16b5obo
11bo2bo5b2obo7bo2bo5b2obo9bo2bo5b2obo7bo2bo5b2obo9bo2bo5bo10bo2bo5bo
10bo3bo12bo3bo13bo3b3o13bo3b3o16bo6bo7bo3bo16bo5bo4bo8bo2bo5bo10bo2bo
5bo11bo2bo2bo14bobo2b2obo10bo3bo9bo3bo$8bo2bo16bo2bo19bo2bo19b4ob2obo
14b4ob2obo16bo3bo23bo3bo20bo3bo17bo3b2o18b5obo16b5obo16b2o18bo16bo3b3o
10bo3b5o10b4obo19bo3b3o9bo2bo5bo12bo2bo5bo10bo3bo12bo3bo14bo3bo13bo3bo
14bo3bo15b4obo15bo4bo13bo4bo21bo12bo2bo5bo10bo2bo5bo12bo2bo5bo10bo2bo
5bo13bo7bo11bo7bo10bo5bo10bo5b2o9bo3bo15bo3bo17b4obobo9bo5bo14bo2bo2bo
4bo9bo7bo11bo7bo12bobo2b2obo19bo11bo2bo10bo$7b2o18b2o5b2o14b2o5b2o15b
2o2bob2o15b2o2bob2o16b3obo23b3obo21b3o19b4obo15b2o21b2o23bo3b3o14bobob
3o9bo3bo12bo3bo15bo4bo18bo3bo13bo7bo13bo7bo10bo5bo10bo5b2o11bo5bo11bo
5b2o11bo5bo13bo4bo14bo2bo4bo10bo2bo4bo12bob3obobo12bo7bo11bo7bo13bo7bo
11bo7bo14b4obo14b4obo12bo2bo2bo10bo2bo2b4o7bo5bo13bo5bo15bo4bo2bo8bo5b
o15bobo2b2obo12b4obo14b4obo22bo10b3o18bobo11bobo$6bo19bo4b3o15bo4b3o
15bo4b2o16bo4b2o18bo27bo25bo4bo14bobo20bo3b3o16bo3b3o6bo11bo3bo16bo3bo
12bo5bo10bo5b2o11bo2bo4bo16bo5bo12b4obo16b4obo12bo2bo2bo10bo2bo2b4obo
7bo5bo11bo5b4obo7bo5bo12bo2bo4bo12b2o6bo10b2o6bo11b2o2b2obo15b4obo14b
4obo16b4obo14b4obo17bo3bo15bo3bo13bobo2b2obo8bobo5bo7bo2bo2bo13bo5bo
14bo2bo15b2o3b2obo20bo2bo10bo3bo15bo3bo13b3o17b2o$5b6o14b6ob2o14b6ob2o
3bo11b5o18b5o6bo13b5obo21b5obo18b5obo13b9o14bo3bo18bo3bo6b2obo11bo5bo
14b3o3bo10b3o2bo3bo7b3o3b4o9b2o6bo16b3o3bo13bo3bo17bo3bo13bobo2b2obo8b
obo5b2o9b2o3b2obo9b2o6b2o9b2o3b2obo9b2o6bo20b2obo15b2obo8bobo21bo3bo
15bo3bo17bo3bo15bo3bo18bo19bo24bo25bobo2b2obo11b2o3b2obo11b2o25bo11b3o
7bobo11bo19bo16b2o18b3o17b3o11b3o$2b2o7bo18b2obobobo15b2obob2o11bo6bob
obo11bo6bobobobo9bobo6bo18bobo6bo7bo15bo13b2o8bo13bo5bo16bo5bo4bo14b3o
3bo20bo11bo4bo2bo8bo7bo17b2obo19b2obo11bo21bo24bobo16bo16bobo17bo16bo
17b2obo9bobo8bo7bobo8bobo6b2o6bo16bo19bo21bo19bo21b5o15b5o11b3o14b3o
23bo19bo30bobo17b2o22b5o15b5o12b3o37b2o12b2o$bo3b3obo13bob3obo3bob2o9b
ob3obo3bobobo8b4obobo2bo2bobo7b4obobo2bo2bo10b7obo19b7obo7b2o9bob3obob
o11b2o4b2obo15b3o3bo16b3o3bo4bo20b2obo9bob3o3b2obo8bobo2bobo9bobo15bob
o8bobo9b5o6bo11b5o17b5o11b3o7bo6b3o17bobo6bo8bobo16bobo15bobo8bobo6b2o
2bo14b2o2bo8bo7bo4b2obo16b5o15b5o17b5o15b5o53b2o15b2o15b3o18bobo17bobo
15b2o2bo16b3o79bobo16b3o11b3o$o3bo4bo12b2o2b2obo7bo7b2o2b2obo16bo4bo8b
o8bo4bo17b2o7bo18b2o7bo4b4obo7b2o2b2obo14bobo3bo3bo19b2obo19b2obo14b5o
6bo8b2o2b2o6bobo5bo2bo13bo2bo14b2o2bo8bo10bo60b2o15b2o17b2o2bo13b2o2bo
14b2o2bo13b2o2bo8bo7bobo6bo9bobo17b3o3bo101b5o15b5o13b2o15b2o15b2o18b
2o2bo15b2o2bo14bobo42b5o13b5o15bobo17bo$o5bo4bo10bobo20bobo20bo2bo19bo
2bo19b2o4b2o20b2o4b2o7b2o11bobo26b3o12b5o6bo11b5o6bo2bo11bo19bobo10bo
6bo4bo11bo4bo12bobo20bo3bo19b5o15b5o13b3o7bo6b3o16bobo6bo8bobo16bobo
15bobo18b2o6bobo8b2o6bo11bo5bo19b5o15b5o15b5o15b5o17bo19bo17b3o7bo6b3o
14b3o17bobo17bobo6bo9b2o6bo13bobo20bo17bo19bo18bo3bo16bobo11bobo$3o3b
5o11b2o6bo14b2o6bo14b2o21b2o22bobo2b2o2bob2o15bobo2b2o2bob2o14b2o6bo
13b2o20bo22bo11bobo10bo3bo16b2o6bo12b4o13b4o13b2o8bo11b4obo19bo19bo26b
obo14bo9b2o6bobo7b2o6bo10b2o8bo7b2o19bo4b2obo10bo4b2obo11bo3bo21bo19bo
19bo19bo20bo3bo15bo3bo23bobo31bo10b2o6bo11b2o6bobo8bo4b2obo13bo21bo3bo
13bo3bo15bo3bo14b4obo16bo13bo$22bo4b2obo14bo4b2obo21bobo20bobo21bobo4b
2o19bobo17bo4b2obo12bo5b5o11bo3bo9bo8bo3bo20b4obo16bo4b2obo12bo7bo8bo
7bo8bo7b2o11bo7bo16bo3bo15bo3bo15bobo2b2obo8bobo2b2obo9bo4b2obo9bo4b2o
bo10bo7b2o8bo7bo11b3o3bo12b3o3bo15bo3b3o17bo3bo15bo3bo15bo3bo15bo3bo
16b4obo14b4obo15bobo2b2obo8bobo5bo8bobo2b2obo10bo4b2obo11bo4b2obo9b3o
3bo15bo3bo17b4obo12b4obo14b4obo13bo21bo3bo9bo3bo$3o3b4obo9b3o3bo16b3o
3bo17bobo3bo2bo13bobo3bo2bo14b4o10b4obo8b4o22b3o3bo15bo5bo4bo9b4obo6b
2obo7b4obo19bo7bo13b3o3bo14b3o3b4o7b3o3b4o7b3o3b4obo9bo2bo5bo15b4obo
14b4obo14bo2bo2bo10bo2bo2bo11b3o3bo11b3o3bo12b3o3b4obo6b3o3b4o11bo5bo
12bo5bo16b2o20b4obo14b4obo14b4obo14b4obo15bo7bo11bo7bo12bo2bo2bo10bo2b
o2b4o7bo2bo2bo12b3o3bo13b3o3bo12bo5bo14b4obo16bo7bo9bo7bo11bo18bo2bo
18b4obo8b4obo$o5bo3b2o9bo5bo16bo5bo16b2o4b2o15b2o4b2o16bo17b2o8bo26bo
5bo9bo5bo3bo4bo10bo7bo4bo9bo7bo16bo2bo5bo2bo10bo5bo14bo5b2o9bo5b2o9bo
5b2o13bo2bo5b2obo11bo7bo11bo7bo12bo5bo10bo5bo11bo5bo11bo5bo12bo5b2o10b
o5b2o13bo3bo14bo3bo21b5obo11bo7bo11bo7bo11bo7bo11bo7bo12bo2bo5bo10bo2b
o5bo12bo5bo10bo5b2o9bo5bo12bo5bo13bo5bo12bo3bo15bo21bo2bo5bo8bo2bo5bo
10bo2bo16bo2bo17bo13bo$o3bo4b2o10bo3bo18bo3bo19b2o21b2o20bo2bo17bo6bo
2bo24bo3bo8b2obo6bo3b3obo9bo2bo5bo4bo8bo2bo5bo16bo2bo5b2obo10bo3bo16bo
3bo12bo3bo12bo3bo16bo4bo6bo10bo2bo5bo10bo2bo5bo12bo3bo12bo3bo13bo3bo
13bo3bo14bo3bo13bo3bo17bo3b3o12bo3b3o19bo4bob2o7bo2bo5bo10bo2bo5bo10bo
2bo5bo10bo2bo5bo12bo2bo5b2obo7bo2bo5b2obo9bo3bo12bo3bo12bo3bo14bo3bo
15bo3bo15bo3b3o11bo2bo19bo2bo5b2obo5bo2bo5b2obo7bo2bo16bo4bo14bo2bo10b
o2bo$bo3b3ob2o11bo3b3o16bo3b3o17b8o15b8o13bo2bo24bo2bo25bo3b3o5bo10b2o
7bo7bo2bo5b2obo10bo2bo5b2obo13bo4bo18bo3b3o14bo3b5o8bo3b5o8bo3b5o12b4o
18bo2bo5b2obo7bo2bo5b2obo10bo3b3o10bo3b3o11bo3b3o11bo3b3o12bo3b5o9bo3b
5o13b2o8bo8b2o8bo15b2o13bo2bo5b2obo7bo2bo5b2obo7bo2bo5b2obo7bo2bo5b2ob
o9bo4bo6bobo5bo4bo6bo10bo3b3o10bo3b5o8bo3b3o12bo3b3o13bo3b3o13b2o8bo6b
o2bo19bo4bo6bo5bo4bo6bo7bo4bo6bo8b4o15bo2bo10bo2bo$2b2o7b2obo8b2o21b2o
22bobo4bo15bobo4bo12bo4bo22bo4bo24b2o9bo13b6o8bo4bo6bo2bo7bo4bo6bo14b
4o4b2obo12b2o19b2o15b2o15b2o19bo20bo4bo6bobo5bo4bo6bobo9b2o15b2o16b2o
16b2o17b2o16b2o22b5obobo10b5obobo15bo2bo10bo4bo6bobo5bo4bo6bo7bo4bo6bo
bo5bo4bo6bo10b4o8bo7b4o19b2o15b2o15b2o17b2o18b2o20b5obobo5bo4bo18b4o
14b4o16b4o4b2obo9bo17bo4bo8bo4bo$5b6ob2o12b5obo16b5obo17b3o20b3o15b4o
24b4o28b5obo16bo13b4o8bobo8b4o23bo6bo2bo15b5obo14b3obo12b3obo12b3obo
14b4obo15b4o8bo7b4o8bo13b5obo10b5obo11b5obo11b5obo12b3obo13b3obo17bo4b
o13bo4bo18bobo11b4o8bo7b4o16b4o8bo7b4o19bo19bo24b5obo10b3obo12b5obo12b
5obo13b5obo13bo4bo8b4o20bo17bo19bo6bo13b4obo12b4o10b4o$6bo7bo12bo4bo
17bo4bo17bo3bo18bo3bo14bo27bo31bo4bo17b2o12bo22bo26b2o4bo19bo4bo15bo3b
o12bo3bo12bo3bo13bo3b2o16bo19bo25bo4bo11bo4bo12bo4bo12bo4bo13bo3bo13bo
3bo17b2o17b2o25bo10bo19bo19bo19bo22b2o18b2o23bo4bo11bo3bo12bo4bo13bo4b
o14bo4bo14b2o12bo23b2o16b2o18b2o4bo13bo3b2o13bo13bo$7b2o19b2o21b2o22b
3o20b3o15b2o26b2o30b2o21bo2bo10b2o21b2o25bo2bo22b2o19b2o15b2o15b2o17b
2o19b2o18b2o24b2o15b2o16b2o16b2o17b2o16b2o20bo2bo15bo2bo22bo11b2o18b2o
18b2o18b2o21bo2bo16bo2bo21b2o15b2o15b2o17b2o18b2o18bo2bo10b2o22bo2bo
14bo2bo16bo2bo17b2o16b2o12b2o$8bo2bo17bo2bo19bo2bo19b4o19b4o15bo2bo24b
o2bo28bo2bob2o16bobobo9bo2bo19bo2bo23bobo2bo20bo2bo17bo2bo13bo2bo13bo
2bo14b4o18bo2bo16bo2bo22bo2bo13bo2bo14bo2bo14bo2bo15bo2bo14bo2bo18bobo
bo14bobobo20b2obo9bo2bo16bo2bo16bo2bo16bo2bo19bobobo15bobobo20bo2bo13b
o2bo13bo2bo15bo2bo16bo2bo16bobobo9bo2bo20bobobo13bobobo15bobo2bo14b4o
15bo2bo10bo2bo$9bobo18bobo20bobo22bo22bo16bobo25bobo29bobo22bo11bobo
20bobo26bobo21bobo18bobo14bobo14bobo17bo19bobo17bobo23bobo14bobo15bobo
15bobo16bobo15bobo21bo18bo24bo10bobo17bobo17bobo17bobo22bo19bo22bobo
14bobo14bobo16bobo17bobo19bo11bobo23bo17bo19bobo17bo16bobo11bobo!

Pop 79 (56 ships):

Code: Select all

#C [[ TRACK -1/2 0 ]]
x = 1288, y = 34, rule = B3/S23
1189bo25bo25bo14bobo28bo$1119bo30bo20bobo13b2o23b2obo24bobo10bobo2bo
25b2obo$1093bo22b2obo27b2obo19bo2bo10b4obo22bo24b2obo11bo2bo28bo$1070b
obo17bobobo21bo30bo21b2o13b2o26bo24bo13b2o4bo26bo$1000bobo22bobo22bobo
16bo2bo16bo2bo23bo30bo20bo3bo9bo3b2obo18bobo26bo12bo6bo22bobo$890bobo
22bobo35bo28bo16bo2bob2o18bo2bob2o18bo2bo15b2o18b2o22bobo30bo21b3obo
10b4ob2o18bo2bo22bobo13b4o4b2obo18bo2bo$674bo20bo34bo27bo14bobo17bo19b
o17bobo15bobo19bo17bo2bob2o18bo2bob2o31bobo24b2obo15b2o23b2o23b2o17bo
3bo15bo4bo18bo2bo27b2obo18b2o15bo7bo16b2o24bo2bo12bo4bo6bobo15b2o$554b
obo22bobo16bobo15bobo19bo20bo11bobobo16bobobo30b2obo24b2obo13bo2bo14bo
bobo15bobobo15bo2bo14bo2bo17b2o17b2o23b2o34b2obo26bo17bo4bo19bo4bo19bo
3bo14b3obo15b5obobo15b2o30bo20bo3b5o8b4o21bo4bob2o17b2o15bo2bo9bo15bo
4bob2o$481bo15bobo18bobo20bobo9bo2bo21bo2bo15bo2bo14bo2bo17b2o19b2o11b
o2bo17bo2bo32bo27bo15b2o16bo2bo16bo2bo16b2o16b2o17b4obo15bo4bo19bo4bo
31bo29bo16b5obo18b5obo18b3obo12b2o18b2o8bo15bo4bob2o24bob2o16bo3bo12bo
4bo19b5obo19bo4bob2o9bo2bo24b5obo$315bobo20bobo25bobo22bobo20bobo16bob
o18bobo21bobobo13bo2bo17bo2bo19bo2bo8b2o23b2o17b2o16b2o17b4obo15b4obo
9b2o19b2o35bo27bo14bo3bo13b2o18b2o18bo4bo12bo3bo15b2o18b5obo18b5obo31b
o25bobo15b2o9bo13b2o9bo13b2o17bo3b5o11bo3b3o19b5obo47bo5b2o9bo2bo18b2o
26b5obo13bo23b2o$163bobo22bobo25bobo25bobo27bobo17bobo17bo2bo19bo2bob
2o21bo2bo21bo2bo19bo2bo15bo2bo17bo2bo20bo2bo14b2o19b2o21b2o10bo24bo3bo
14bo3bo13bo3bo15b2o19b2o12bo20bo33bobo25bobo15b3obo13bo4bo14bo4bo14b5o
bo11b3obo14bo18b2o9bo13b2o9bo25bobo26bo2bo14bo3b3o5bo12bo3b3o5bo12bo3b
5o10bo3bo15bo3bo19b2o33bobo19b3o3b4o7bo2bo17bo3b3o19b2o22b4obo16bo3b3o
$12bobo20bobo24bobo24bobo24bobo24bo18bo2bo21bo2bob2o21bo2bob2o21bo2bob
2o23bo2bo16bo2bo16b2o21b2o26b2o23b2o21b2o17b2o19b2o22b2o16bo4bo15bo3bo
18bo3bo7b4o21b3obo14b3obo13b3obo14bo20bo14b4o17b4o30bo2bo24bo2bo12b2o
18b5obobo11b5obobo11bo15b2o20b4o14bo3b3o5bo12bo3b3o5bo24bo2bo25b2o16bo
3bo8b2obo8bo3bo8b2obo8bo3bo15bo5b2o12bo5bo16bo3b3o28bo2bo28bo8bo18bo3b
o21bo3b3o19bo3bo15bo3bo$11bo2bo19bo2bo23bo2bo23bo2bo23bo2bo21bobobo16b
2o23b2o26b2o26b2o28b2o18b2o18bo3bo18bo4bo22bo3bo20bo3bo18bo3bo14bo4bo
15bo3bo19bo4bo12b5obo14b3obo18b3obo7bo4bo17b2o17b2o16b2o20b4o17b4o10bo
4bo15bo4bo6bo21b2o26b2o14bo3b5o9b2o8bo9b2o8bo12b4o11bo3b5o13bo17bo3bo
8b2obo8bo3bo8b2obo20b2o27bo4bob2o10bo5bo9bo8bo5bo9bo8bo5b2o12bo2bo2b4o
10bo2bo2bo15bo3bo30b2o20b6o15b4obo12bo5bo18bo3bo23bo18bo5bo$10b2o21b2o
25b2o25b2o25b2o23bo2bo17bo3bo20bo4bo22bo4bo22bo4bo24bo3bo15bo3bo15b3ob
o18b5obo21b3obo20b3obo18b3obo14b5obo14b3obo19b5obobo7b2o19b2o21b2o13bo
2bo18bo3b5o10bo3b5o9bo3b5o13bo20bo14bo2bo17bo2bo5b2obo20bo4bob2o19bo4b
ob2o7bo3bo13bo3b3o13bo3b3o16bo14bo3bo16b4obo14bo5bo9bo8bo5bo9bobo17bo
4bob2o20b5obo13bo2bo2bo18bo2bo2bo18bo2bo2b4o11bobo5bo11bobo2b2obo12bo
5bo27bo3bo18bo21bo3bo12bo2bo2bo18bo5bo21bobo16bo2bo2bo$9bo3bo18bo3bo
22bo3bo22bo3bo22bo3bo20b2o19b3obo20b5obo21b5obo21b5obo23b3obo15b3obo
13b2o21b2o9bo16b2o23b2o21b2o19bo20bo21b2o8bo7bo3b3o14bo3b5o14bo3b5o7bo
2bo17bo3bo14bo3bo13bo3bo16b4obo15b4obo11bo2bo17bo2bo5bo22b5obo21b5obo
10bo5b2o9bo3bo15bo3bo17b4obo11bo5b2o13bo4bo14bo2bo2bo18bo2bo2bo10bo17b
5obo20b2o22bobo2b2obo16bobo2b2obo16bobo5bo39bobo10bo2bo2bo26b3obo18bo
3bo19bo16bobo2b2obo15bo2bo2bo41bobo2b2obo$8b3obo18b3obo22b3obo22b3obo
22b3obo20bo18b2o23b2o9bo16b2o9bo16b2o9bo18b2o20bo17bo3b5o14bo3b3o5bo
15bo3b5o16bo3b5o14bo3b5o13bobob3o14b5obo14bo3b3o11bo3bo16bo3bo18bo3bo
13bo19bo5b2o11bo5b2o10bo5b2o13bo4bo15bo4bo12bo20bo7bo19b2o26b2o18bo2bo
2b4o7bo5bo13bo5bo15bo4bo11bo5b4o10bo2bo4bo13bobo2b2obo16bobo2b2obo22b
2o27bo3b3o26bo24bo35b3o17b3o7bo12bobo2b2obo20b2o23b4obo19bobo22bo16bob
o2b2obo17b3o26bo$7bo22bo26bo26bo26bo24b6o13bo3b5o16bo3b3o5bo15bo3b3o5b
o15bo3b3o5bo17bo3b5o14b5obo10bo3bo18bo3bo8b2obo11bo3bo20bo3bo18bo3bo
17bo3bo16bo6bo13bo3bo14bo5bo14bo5b2o15bo5b2o11b4obo13bo2bo2b4o9bo5b4o
8bo5b4obo8bo2bo4bo12bo2bo4bo11b4obo15b4obo20bo3b3o21bo3b3o15bobo5bo7bo
2bo2bo13bo5bo14bo2bo4bo10b2o6bo10b2o6bo21bobo22bo21bo3b3o22bo3bo20b3o
22b3o22b3o17b2o18b2o29bobo17bo3b5o16bo41b3o31bo17b2o18b3o$7b5obo16b5ob
o20b5obo20b5obo7bo12b5obo15b2o7bo11bo3bo20bo3bo8b2obo11bo3bo8b2obo11bo
3bo8b2obo13bo3bo16bobo6bo10bo5b2o15bo5bo9bo11bo5b6o13bo5b2o15bo5b2o14b
3o3bo12b4obobo15bo5bo12b3o3bo14b3o3b4o13b3o3b4o10bo3bo14bobo5bo10b2o6b
o9b2o6b2o9b2o6bo12b2o6bo12bo3bo16bo3bo19bo3bo23bo3bo35bobo2b2obo11b2o
3b2obo11b2o6bo37b2obo9b3o7bo14b3o27bo3bo25bo5bo18b2o23b2o23b2o18b3o17b
2o20b3o7bo17bo3bo20bo2bo22b3o14b2o23b3o24b2o18b2o$4bobo6bo13bobo6bo7bo
9bobo6bo17bobo6bo4b2obo9bobo6bo14bo3b3obo13bo5b2o17bo5bo9bo11bo5bo9bo
11bo5bo9bobo11bo5b2o12b7obo12b3o3b4o13b3o3bo21b3o3bo18b3o3b4o13b3o3b4o
bo16bo12bo4bo2bo14b3o3bo13bo4b2obo20bo22bo11bo5b2o57bo16b2obo17b2obo
10bo5b2o13bo22bo5bo21bo5bo15b3o23bo19bo19b2obo7bobo16bobo8bo9b2o23b2o
28bo5bo23b3o3bo18b2o23b3o22b3o37b3o19b2o26bo5b2o17bo2bo22b2o15b2o23b2o
25b3o17b3o$3b7obo14b7obo6b2obo8b7obo18b7obo6bo11b7obo15bo3bo4bo13b3o3b
4o15b3o3bo21b3o3bo21b3o3bo10bo12b3o3b4o9b2o7bo21bo19b2obo25b3obo22bo
22b2o9bob3o3b2obo8bo2bo26b2obo10bobo5bobo9b5o16b5o18b6o3bo7b3o17bobo
15bobo16bobo8bobo7bobo8bo10b6o3bo11b5o2b2obo12b3o3bo21b3o3bo15b2o15b3o
18bobo17bobo8bo6b2o2bo14b2o2bo17b3o22b3o27b3o3bo29b2obo15b3o68bobo38b
3o25b3o3b4o15bo4bo20b3o14b3o22b3o$2b2o7bo13b2o7bo6bo10b2o7bo17b2o7bo6b
o10b2o7bo5bobo7bo5bo4bo20bo21b2obo24b2obo24b2obo29bo8b2o4b2o15b5o16b5o
6bo16b6o4bo3bo10b5o18b6o7bo7b2o2b2o6bobo6b2o20b5o6bobo7bo2bo6bo10bo20b
o28bo3bo6b2o17b2o2bo13b2o2bo14b2o2bo8bo7b2o2bo24bo3bo16bo3bo18b2obo24b
2obo12b2o15b2o18b2o2bo15b2o2bo14bobo16bobo80b2obo18b5o6bo41bobo22bobo
17bo19bobo55bo16b4o91bobo17bobo$b2o4b2o5bo9b2o4b2o9bo9b2o4b2o8bobo8b2o
4b2o7bo11b2o4b2o7bo2bo7b3o3b5o12b5o18b5o6bo16b5o6bobo14b5o6bo18b5o16bo
bo2b2o2bob2o9bo20bo27bo10b2o12bo22bo20bobo10bo14bobo12bo11bo8bo4bo14bo
3bo16bo3bo19b5o2b2obo6b3o16bobo15bobo16bobo6bo11bobo20b5o2b2obo10b6o3b
o11b5o6bo16b5o6bobo10b3o7bo6b3o17bobo17bobo16b2o6bo10b2o6bo14bobo22bob
o24b5o6bo18bo27bobo22bo24bo18bo3bo16bo21bobo22b6o23bo24bobo14bobo22bob
o24bo19bo$2bobo2b2o2bobo2bo8bobo2b2o2bob2obo12bobo2b2o2bob2obo2bo9bobo
2b2o2bob2obo2bo9bobo2b2o2bob2obo33bo22bo27bo11bo15bo29bo27bobo11bo3bo
16bo3bo23bo3bo8bo2bo8bo3bo18bo3bo17b2o19bobo3bo2bob2o8bo3bo18b4o14b4ob
o15b4obo19bo27bo7b2o8bo7b2o17b2o6bobo10b2o8bo12bo20bo5b2o13bo27bo11bo
20bobo25b2o18b2o6bo10bo4b2obo10bo4b2obo14bo24bo26bo28bo3bo24bo23bo3bo
20bo3bo14b4obo15bo3bo18bo24bo29b2o22bo16bo24bo25bo3bo15bo3bo$9bobo3b2o
15bobo4bo2bo16bobo4bo19bobo5bobo16bobo6bo8b3o3b4obo10bo3bo9bo8bo3bo23b
o3bo23bo3bo25bo3bo9bo7b4o16b4obo15b4obo22b4obo9bobo7b4obo17b4obo17bo7b
o11b2o4b2o13b4obo18bo7bo8bo7bo12bo7bo16bo3bo14bobo5b2o8bo7b2o8bo7bo10b
o4b2obo12bo7b2o12bo3bo16bo3bo16bo3bo23bo3bo21bobo2b2obo8bobo5bo10bo7bo
11bo4b2obo9b3o3bo12b3o3bo16bo3bo20bo3bo22bo3bo24b4obo23bo3bo19b4obo19b
4obo13bo20b4obo17bo3bo20bo3bo27bo2bo18bo3bo12bo3bo20bo3bo21b4obo14b4ob
o$2b4o7b3o9b4o11bobo9b4o12bo10b4o23b4o12bo8bo5bo3b2o9b4obo6b2obo7b4obo
22b4obo22b4obo24b4obo6b2obo6bo19bo7bo12bo7bo19bo24bo7bo14bo22b3o3b4o
12b2o7bo9bo7bo15b3o3b4o7bo2bo5bo11bo2bo5bo15b4obo13bo2bo2b4obo6b3o3b4o
bo6b3o3b4o9b3o3bo14b3o3b4obo10b4obo15b4obo15b4obo22b4obo20bo2bo2bo10bo
2bo2b4o9b3o3b4o10b3o3bo12bo5bo12bo5bo15b4obo19b4obo21b4obo23bo7bo20b4o
bo18bo24bo18bo2bo17bo22b4obo19b4obo28bobo17b4obo11b4obo19b4obo20bo19bo
$bo11b4o7bo26bo16bo9bo26bo16b2obo5bo3bo4b2o9bo7bo4bo9bo7bo19bo7bo19bo
7bo21bo7bo4bo8bo2bo16bo2bo5bo2bo8bo2bo5bo18bo2bo21bo2bo5bo2bo10bo2bo
20bo5b2o15b7obo8bo2bo5bo15bo5b2o9bo2bo5b2obo8bo2bo5b2obo11bo7bo11bo5b
2o10bo5b2o10bo5b2o11bo5bo14bo5b2o13bo7bo12bo20bo7bo19bo7bo18bo5bo10bo
5b2o11bo5b2o12bo5bo12bo3bo14bo3bo16bo24bo26bo7bo20bo2bo5bo19bo23bo2bo
21bo2bo16bo2bo16bo2bo19bo24bo53bo16bo24bo25bo2bo16bo2bo$o2bo12bo6bo2bo
23bo2bo14b2obo5bo2bo23bo2bo17bo6bo3b3ob2o8bo2bo5bo4bo8bo2bo5bo18bo2bo
5bo18bo2bo5bo20bo2bo5bo4bo8bo2bo9bo6bo2bo5b2obo8bo2bo5b2obo15bo2bo21bo
2bo5b2obo10bo2bo9bo10bo3bo19bobo6bo6bo2bo5b2obo12bo3bo12bo4bo6bo8bo4bo
6bo10bo2bo5bo11bo3bo13bo3bo13bo3bo14bo3bo16bo3bo15bo2bo5bo11bo2bo17bo
2bo5bo18bo2bo5bo18bo3bo12bo3bo14bo3bo15bo3bo15bo3b3o12bo3b3o12bo2bo21b
o2bo23bo2bo5bo20bo2bo5b2obo15bo2bo21bo2bo21bo2bo16bo4bo14bo2bo18bo2bo
21bo2bo34bob2o12bo2bo13bo2bo21bo2bo23bo2bo16bo2bo$o2bo19bo2bo23bo2bo
17bo5bo2bo23bo2bo25b2o7b2o6bo2bo5b2obo10bo2bo5b2obo15bo2bo5b2obo15bo2b
o5b2obo17bo2bo5b2obo10bo4bo6bobo5bo4bo15bo4bo6bo15bo4bo19bo4bo17bo4bo
6bobo10bo3b5o17b5obo6bo4bo6bobo11bo3b5o8b4o17b4o18bo2bo5b2obo9bo3b5o9b
o3b5o9bo3b5o10bo3b3o14bo3b5o10bo2bo5b2obo8bo2bo17bo2bo5b2obo15bo2bo5b
2obo16bo3b3o10bo3b5o10bo3b5o11bo3b3o13b2o8bo8b2o8bo7bo2bo21bo2bo23bo2b
o5b2obo17bo4bo6bo15bo2bo21bo4bo19bo4bo6bo8b4o15bo4bo16bo2bo21bo2bo34bo
15bo2bo13bo2bo21bo2bo23bo4bo14bo4bo$o4bo17bo4bo21bo4bo21bo4bo21bo4bo
26b6obo6bo4bo6bo2bo7bo4bo6bobo13bo4bo6bo15bo4bo6bo17bo4bo6bo2bo8b4o4b
2obo8b4o4b2obo9b4o24b4o21b4o4b2obo11b4o4b2obo13b2o23bo13b4o8bo13b2o15b
o20bo20bo4bo6bobo8b2o16b2o16b2o17b2o19b2o16bo4bo6bo8bo4bo15bo4bo6bobo
13bo4bo6bo17b2o15b2o17b2o18b2o20b5obobo10b5obobo6bo4bo19bo4bo21bo4bo6b
o18b4o23bo4bo20b4o21b4o4b2obo9bo18b4o17bo4bo19bo4bo32b2obo12bo4bo11bo
4bo19bo4bo22b4o16b4o$b4o19b4o23b4o23b4o23b4o28bo13b4o8bobo8b4o8bo15b4o
24b4o26b4o8bobo9bo6bo12bo6bo2bo10bo27bo24bo6bo2bo12bo6bo19b3obo18b3obo
9bo27b3obo10b4obo15b4obo15b4o8bo12b3obo13b3obo13b3obo14b5obo14b3obo11b
4o17b4o17b4o8bo15b4o28b5obo10b3obo14b3obo15b5obo13bo4bo13bo4bo9b4o21b
4o23b4o27bo26b4o22bo24bo6bo13b4obo13bo20b4o21b4o36bo13b4o13b4o21b4o24b
o19bo$2bo22bo26bo26bo26bo31b2o12bo22bo27bo27bo29bo23b2o4bo13b2o4bo14b
2o26b2o23b2o4bo16b2o4bo20bo3bo18bo3bo9b2o26bo3bo9bo3b2o15bo3b2o16bo24b
o3bo13bo3bo13bo3bo14bo4bo15bo3bo11bo20bo20bo27bo31bo4bo11bo3bo14bo3bo
15bo4bo14b2o17b2o13bo24bo26bo30b2o25bo25b2o23b2o4bo13bo3b2o14b2o19bo
24bo40bo12bo16bo24bo27b2o18b2o$3b2o21b2o25b2o25b2o25b2o30bo2bo10b2o21b
2o26b2o26b2o28b2o22bo2bo16bo2bo17bo2bo24bo2bo21bo2bo19bo2bo23b2o21b2o
12bo2bo24b2o13b2o19b2o19b2o23b2o16b2o16b2o17b2o19b2o14b2o19b2o19b2o26b
2o30b2o15b2o17b2o18b2o18bo2bo15bo2bo11b2o23b2o25b2o29bo2bo23b2o24bo2bo
21bo2bo17b2o17bo2bo17b2o23b2o38bo13b2o15b2o23b2o26bo2bo16bo2bo$4bo2bo
19bo2bo23bo2bo23bo2bo23bo2bo28bobobo9bo2bo19bo2bo24bo2bo24bo2bo26bo2bo
20bobo2bo14bobo2bo15bobobo23bobobo20bobo2bo17bobo2bo21bo2bo19bo2bo10bo
bobo23bo2bo10b4o17b4o18bo2bo21bo2bo14bo2bo14bo2bo15bo2bo17bo2bo12bo2bo
17bo2bo17bo2bo24bo2bo28bo2bo13bo2bo15bo2bo16bo2bo16bobobo14bobobo10bo
2bo21bo2bo23bo2bo27bobobo22bo2bo22bobobo20bobo2bo14b4o16bobobo16bo2bo
21bo2bo35b2obo11bo2bo13bo2bo21bo2bo24bobobo15bobobo$5bobo20bobo24bobo
24bobo24bobo31bo11bobo20bobo25bobo25bobo27bobo23bobo17bobo18bo27bo24bo
bo20bobo22bobo20bobo13bo25bobo13bo20bo19bobo22bobo15bobo15bobo16bobo
18bobo13bobo18bobo18bobo25bobo29bobo14bobo16bobo17bobo19bo18bo12bobo
22bobo24bobo30bo24bobo25bo24bobo17bo19bo18bobo22bobo38bo12bobo14bobo
22bobo27bo19bo!

Pop 80 (62 ships):

Code: Select all

#C [[ TRACK -1/2 0 ]]
x = 1308, y = 41, rule = B3/S23
1264bo21bo20bo$1263bobo17b2obo17b2obo$1260b2obo19bo20bo$1226bo13bo19bo
22bo20bo$1223b4o10b4o19bo20bo20bo$1223b2o12b2o19bo19b2obo17b2obo$1221b
o13bo19b2obo19bo20bo$1221b4o10b4o16bo22bob2o17bob2o$1220bo13bo20bob2o$
1211bobo5b3o2bo8b3o2bo37bobo18bobo$1171bobo17bobo16bo2bo6b3o11b3o16bob
o19bo2bo17bo2bo$1063bobo20bobo20bobo17bobo16bo21bo2bo16bo2bo15b2o10bo
13bo16bo2bo18b2o19b2o$938bobo18bo21bo19bo23bo17bobo16bo2bo19bo2bo19bo
2bo16bo2bo13b4o20b2o18b2o17bo4bo8b3obo9b3obo10b2o20bo20bo$636bo21bo18b
obo21bobo14bobo18bo18bo19bo19bo17bobo16bobo18bobo15bobo16bobo17bo23bo
2bo15bobobo17bobobo15bobobo19bobobo15bo2bo15b2o21b2o21b2o18b2o16b2o21b
o4bo14bo4bo13b5obo8bo2b2o9bo2b2o9bo21b4o17b4o$514bobo21bobo16bobo16bob
o16bo24bobo10bobobo17bobobo16bo2bo20bo2bo13bo2bo15bobobo14bobobo15bobo
bo15bobobo15bo2bo15bo2bo17bo2bo14bo2bo15bo2bo14b4o22b2o17bo2bo18bo2bo
16bo2bo20bo2bo16b2o17bo4bo17bo4bo17bo4bo14bo4bo11bo23b5obo13b5obo10b2o
17b3o11b3o9b4o18bo4bo15bo4bo$395bo15bobo17bo25bobo20bobo15bobo12bo2bo
20bo2bo15bo2bo15bo2bo13b4o23bo2bo9bo2bo18bo2bo17b2o22b2o15b2o17bo2bo
15bo2bo16bo2bo16bo2bo16b2o17b2o19b2o16b2o17b2o17b3o22bo4bo13b2o20b2o
18b2o22b2o18bo3bo14b5obo16b5obo16b5obo13b5obo11b4o17b2o18b2o17bo3b3o
15bo13bo8bo4bo17bo2bo17bo2bo$301bobo20bobo23bobo15bobo21b4o14bo2bo14b
4o24bo2bo19bo2bo14bo2bo11b2o22b2o17b2o17b2o16b2o24b2o11b2o20b2o19bo23b
o4bo11bo3bo14b2o17b2o18b2o18b2o18bo4bo13bo3bo16bo4bo12bo4bo13bo4bo12bo
3bo21b5obo12bo21bo19bo23bo4bo14b3obo12b2o21b2o21b2o18b2o18bo20bo3b3o
13bo3b3o12bo3bo16bo13bo10bo2bo19bo2bo17bo2bo$166bobo23bobo22bobo22bobo
25bobo27bo2bo19bo2bo22bo2bo14bo2bo21b3o14b2o17b2o25b2o21b2o16b2o13bo
23bo3bo14bo3bo14bo4bo11bo26bo3bo8bo21bo20b4o8bo11b5obo10b3obo14bo4bo
13bo4bo14bo4bo14bo4bo14b5obo12b3obo16b5obo11b5obo12b5obo12b3o20b2o11bo
7b4o18b4o16b4o8bo11b5obobo11bo16bo3b3o6bo9bo3b3o6bo9bo3b3o13bo3b3o12b
4obo16bo3bo15bo3bo15bo5bo14bobo11bobo8bo2bo20bo20bo$138bo26bo2bo22bo2b
o21bo2bo21bo2bo24bo2bo26b2o21b2o24b2o16b2o22bo3bo13bo4bo12bo27bo4bo17b
o4bo12bo4bo9b4o20b3obo14b3obo14b5obo11b4o22b3obo8b4o8bo9b4o8bo8bo4bo6b
obo7b2o15b2o19b5obobo10b5obobo11b5obobo11b5obobo11bo18bo18b2o16b2o17b
2o19bo4bo17bo3b3o6bobo5bo4bo6bo9bo4bo6bo7bo4bo6bobo7b2o8bo12b5obo9bo3b
o6b2obo8bo3bo6b2obo8bo3bo15bo3bo15bo4bo16bo5bo13bo5bo13bo2bo2bo13bo13b
o12bo23b4obo15b4obo$97bo20bo16b4o25b2o24b2o23b2o23b2o26b2o28bo4bo17bo
4bo20bo4bo12bo4bo19b3o14b5obo12b4o23b5obo16b5obo11b5obo8bo4bo6bo9b2o
17b2o17b2o18bo23b2o13bo4bo6bobo7bo4bo6bobo7bo2bo5b2obo8bo3b3o10bo3b5o
10b2o8bo8b2o8bo9b2o8bo9b2o8bo12b4o15b5obo11bo3b3o11bo3b3o12bo3b3o14b5o
bo16bo3bo6b2obo7bo2bo5b2obo9bo2bo5b2obo7bo2bo5b2obo8bo3b3o16bo6bo9bo5b
o4bo11bo5bo4bo11bo5bo13bo5bo12bo2bo4bo14bo2bo2bo13bo2bo2bo14bobo2b2obo
10bo3bo9bo3bo9b4obo18bo3bo16bo3bo$12bo16bobo17bobo20bobo19bobobo16bobo
bo15b3o25bo4bo20bo4bo19bo4bo19bo3bo23bo3bo25b5obo16b5obo19b5obo11b5obo
18bo4bo9b2o19bo24b2o21b2o18bo15bo2bo5b2obo8bo3b5o10bo3b5o10bo3b3o12b4o
bo19bo3b5o7bo2bo5b2obo9bo2bo5b2obo9bo2bo5bo10bo3bo12bo3bo14bo3b3o12bo
3b3o13bo3b3o13bo3b3o16bo18bo6bo10bo3bo13bo3bo14bo3bo22bo17bo5bo4bo10bo
2bo5bo12bo2bo5bo10bo2bo5bo10bo3bo17b4obobo11bo2bo2bo4bo11bo2bo2bo4bo
11bo2bo2bo13bo2bo2bo12b2o6bo15bobo2b2obo11bobo2b2obo19bo11bo2bo10bo2bo
10bo3bo19bo20bo$9b4o15bo2bo14b4ob2obo14b4ob2obo15bo2bo17bo2bo15bo3bo
24b5obo19b5obo18b5obo18b3obo23b3obo23b2o21b2o24b2o18bo24b5obo8bo3b3o
13b4obo20bo3b3o16bo3b3o14bobob3o9bo2bo5bo10bo3bo14bo3bo14bo3bo15bo4bo
18bo3bo12bo2bo5bo12bo2bo5bo13bo7bo10bo5bo10bo5b2o10bo3bo14bo3bo15bo3bo
15bo3bo17b4obo13b4obobo12bo5bo11bo5bo12bo5bo13bob3obobo16bo2bo2bo4bo
11bo7bo13bo7bo11bo7bo10bo5bo15bo4bo2bo11bobo2b2obo14bobo2b2obo14bobo2b
2obo11bobo2b2obo17b2obo20bo19bobo8b3o18bobo11bobo12bo22bobo18bobo$9b2o
16b2o17b2o2bob2o15b2o2bob2o15b2o19b2o18b3o23b2o24b2o23b2o11bo13bo27bo
27bo3b3o16bo3b3o6bo12bo3b3o14bobob3o15b2o6bo8bo3bo16bo4bo19bo3bo18bo3b
o16bo3bo13bo7bo10bo5b2o11bo5b2o11bo5bo12bo2bo4bo16bo5b2o10bo7bo13bo7bo
14b4obo12bo2bo2bo10bo2bo2b4obo6bo5bo12bo5bo13bo5bo13bo5bo15bo4bo13bo4b
o2bo11b3o3bo11bo5bo12bo5bo12b2o2b2obo19bobo2b2obo14b4obo16b4obo14b4obo
12bo2bo2bo14bo2bo25bo2bo19bo2bo19bo19bobo7bobo8bo11b3o17b3o7bo9b2o48bo
bo$7bo18bo17bo4b2o16bo4b2o17bo20bo7bo11bo4bo20bo3b3o6bo12bo3b3o18bo3b
3o6bobo12b5obo21b5obo20bo3bo18bo3bo6b2obo11bo3bo16bo3bo17bo3b3obobo7bo
5bo13bo2bo4bo17bo5bo16bo5bo14b3o3bo12b4obo12bo2bo2b4obo7bo5b4obo7bo5bo
12b2o6bo16b3o3b4o9b4obo16b4obo17bo3bo13bobo2b2obo8bobo5b2o7bo2bo2bo12b
o2bo2bo13bo5bo13bo5bo14bo2bo4bo10bo2bo23b2obo9b2o3b2obo10b2o3b2obo9bob
o32bo2bo12bo3bo17bo3bo15bo3bo13bobo2b2obo11b2o18b3o7bobo10b3o7bobo10b
3o17b3o7bo7b2o2bo19b2o18b2o18b2o18b3o11b3o35b3o18b3o$7b6obo10b6obo11b
5o18b5o6bo11b6o15b6ob2o11b5obo19bo3bo6b2obo11bo3bo20bo3bo6b2obo11bobo
6bo18bobo6bo7bo12bo5bo16bo5bo4bo14bo5bo14b3o3bo14bo3bo3b2o9b3o3bo13b2o
6bo17b3o3bo16b3o3bo20bo13bo3bo13bobo5b2o9b2o6b2o9b2o3b2obo17b2obo22bo
10bo3bo17bo3bo18bo24bobo16bo7bobo2b2obo10bobo2b2obo11b2o3b2obo11b2o3b
2obo11b2o6bo10b2o19b3o6bo17bo18bobo7b2o6bo17b3o7bobo13bo21bo19bo24bo
31b2o21b2o21b2o18b2o16bobo21b2o18b3o17b3o17b2o12b2o13b3o20b2o19b2o$4bo
bo7bo7b2o7b2o10bo6bobobo11bo6bobobobo7b2o7bo11b2o7b2obo15bo20bo5bo4bo
14bo5bo18bo5bo4bo13b7obo19b7obo7b2o13b3o3bo16b3o3bo4bo14b3o3bo20bo14bo
5b2o3bo8bo4b2obo18b2obo20b2obo19b2obo9bob3o3b2obo11bo26bo18bo16bobo7bo
bo8bobo9b6o17bo21bo21b5o11b3o7bo6b3o24bo18bobo17bo19bobo17b2obo27bo19b
obo16bobo6bo8bo4b2obo17b2o24b5o17b5o15b5o11b3o18bobo17b2o21b3o20b3o17b
3o15b2o6bo15b3o57b2o12b3o12b2o21b2o19b3o$3b6ob2o9bo3b3ob2o10b4obobo2bo
2bobo7b4obobo2bo2bo8bo3b3obo12bo3b3ob2o12bob3obobo19b3o3bo4bo14b3o3bo
18b3o3bo4bo12b2o7bo18b2o7bo4b4obo18b2obo19b2obo22b2obo9bob3o3b2obo11b
3o3b4obo8bobo5bo10bobo8bo12b5o6bo11b5o6bobo6b2o2b2o6bo11b5ob2o8b3o17bo
bo16bobo6bo7b2o2bo8bo10bo22b5o17b5o33b2o15b2o16b3o16b3o7bo10bobo17bobo
6bo10bobo8bo7bobo16bo3bo15b2o2bo14b2o2bo13b3o3bo20b3o81b2o18b2o2bo16b
3o81bo4b2obo36bobo17bobo16b3o26b3o20b3o$2b2o5b2o9bo3bo4b2o10bo4bo8bo8b
o4bo15bo3bo4bo11bo3bo4b2o11b2o2b2obo27b2obo22b2obo21b2obo13b2o4b2o20b
2o4b2o7b2o14b5o6bo11b5o6bo2bo11b5o6bobo6b2o2b2o6bo20bobo7bo2bo15b2o2bo
20bo22bo11bo7bobo28bo2bo5b2o17b2o2bo14b2o2bo13bobo6bo13bo3bo61b5o13b2o
15b2o16b2o17b2o18b2o2bo15b2o2bo15b2o2bo14b2o2bo15bo19bobo6bo9bobo15bo
5bo46b5o15b5o15b5o13b2o18bobo42bobo20bobo17bobo13b3o3bo19bobo17bo19bo
33bobo56bobo$b2o4b2o4bo6bo5bo3b2o8bo2bo19bo2bo18bo5bo4bo9bo5bo3b2o10bo
bo24b5o6bo2bo11b5o6bo13b5o6bo2bo11bobo2b2o2bob2o15bobo2b2o2bob2o17bo
22bo11bobo11bo11bo7bobo19b6o15bo4bo13bobo21bo3bo18bo3bo16b2o6bo13b5o5b
obo5b3o7bo8bobo6bo9bobo15b2o6bobo11b4obo19b5o15b5o17bo17b3o7bo6b3o15b
3o7bo8b3o17bobo6bo10bobo17bobo16bobo16bo2b2o16b2o6bobo8b2o6bo9bo3bo23b
obo22bo19bo19bo17b3o17b2o6bo13bobo20bo22bo19bo15bo5bo19bo18bo3bo15bo3b
o16bobo11bo14bobo20bobo18bo$2bobo3b4obo6b3o3b4obo8b2o8bo12b2o8bo11b3o
3b5o10b3o3b4obo10b2o6bo18bo11bobo11bo13bo10bo11bobo18bobo4b2o19bobo19b
o3bo9bo8bo3bo21bo3bo16b2o8bo11bo21b4o6bo7b2o6bo14b4obo17b4obo16bo4b2ob
o13bo26bobo7b2o6bobo8b2o8bo7bo4b2obo12bo25bo19bo20bo3bo23bobo14bo17bob
o16bo10b2o6bobo9b2o6bo11b2o17b2o8bo8b2o19bo4b2obo10bo4b2obo10bo3b3o20b
o23bo3bo15bo3bo15bo3bo23bo10bo4b2obo13bo21bo3bo18bo3bo15bo3bo12bo3bo
20bo3bo14b4obo14b4obo16bo12bo3bo11bo22bo19bo3bo$5bo41bobobo18bobobo53b
o4b2obo17bo3bo21bo3bo9bobo8bo3bo22b4o10b4obo8b4o24b4obo6b2obo7b4obo20b
4obo16bo7b2o11bo3bo18bo7b2o8bo4b2obo13bo7bo14bo7bo13b3o3bo15bo3bo15bob
o2b2obo9bo4b2obo10bo7b2o7b3o3bo14bo2bo22bo3bo15bo3bo16b4obo15bobo2b2ob
o8bobo2b2obo9bobo2b2obo10bobo2b2obo10bo4b2obo11bo4b2obo11bo7bo10bo7b2o
16bobo10b3o3bo12b3o3bo14b2o23bo3bo19b4obo14b4obo14b4obo15bobo2b2obo9b
3o3bo15bo3bo17b4obo17b4obo14b4obo13bo3b3o16b4obo13bo19bo21bo3bo8b4obo
10bo3bo18bo3bo15b4obo$2b2o4b2o10b3o3b4obo8bobo3bo2bo13bobo3bo2bo12b3o
3b4obo9b3o3b5o10b3o3bo10bo8b4obo20b4obo6b2obo9b4obo21bo17b2o8bo27bo7bo
4bo9bo7bo17bo7bo13b3o3b4obo9b4obo17b3o3b4obo6b3o3bo15bo2bo5bo13bo2bo5b
o13bo5bo14b4obo14bo2bo2bo11b3o3bo12b3o3b4obo6bo5bo14bo2bo21b4obo14b4ob
o15bo7bo12bo2bo2bo10bo2bo2bo11bo2bo2bo12bo2bo2bo12b3o3bo13b3o3bo13b3o
3b4o9b3o3b4obo8bobo3bo2bo10bo5bo12bo5bo17b5obo14b4obo18bo7bo11bo7bo11b
o7bo12bo2bo2bo12bo5bo14b4obo16bo22bo19bo20b2o19bo18bo2bo16bo2bo18b4obo
7bo15b4obo17b4obo14bo$3ob4o3bo8bo5bo3b2o7b2o4b2o15b2o4b2o15bo5bo3b2o9b
o5bo4bo9bo5bo9bobo6bo7bo17bo7bo4bo11bo7bo18bo2bo17bo6bo2bo24bo2bo5bo4b
o8bo2bo5bo16bo2bo5bo2bo10bo5b2o12bo23bo5b2o10bo5bo9bo5bo2bo5b2obo10bo
2bo5b2obo10bo3bo15bo7bo12bo5bo11bo5bo12bo5b2o10bo3bo16bo4bo18bo7bo11bo
7bo12bo2bo5bo12bo5bo10bo5bo11bo5bo12bo5bo12bo5bo13bo5bo13bo5b2o11bo5b
2o11b2o4b2o13bo3bo14bo3bo20bo4bob2o10bo23bo2bo5bo10bo2bo5bo10bo2bo5bo
12bo5bo12bo3bo15bo21bo2bo19bo2bo16bo2bo21b5obo10bo2bo16bo2bo16bo2bo17b
o12bo2bo12bo22bo19bo2bo$o2bo4bo3bo7bo3bo4b2o9b2o21b2o20bo3bo4b2o10bo3b
o4bo11bo3bo8b2obo7bo2bo5bo16bo2bo5bo4bo10bo2bo5bo18bo2bo24bo2bo24bo2bo
5b2obo10bo2bo5b2obo13bo2bo5b2obo10bo3bo14bo2bo21bo3bo13bo3bo8b2obo5bo
4bo6bobo8bo4bo6bo11bo3b3o11bo2bo5bo12bo3bo13bo3bo14bo3bo14bo3b3o14b4o
18bo2bo5bo10bo2bo5bo12bo2bo5b2obo9bo3bo12bo3bo13bo3bo14bo3bo14bo3bo15b
o3bo15bo3bo14bo3bo15b2o19bo3b3o12bo3b3o18b2o15bo2bo21bo2bo5b2obo7bo2bo
5b2obo7bo2bo5b2obo9bo3bo15bo3b3o11bo2bo19bo2bo19bo2bo9bo6bo2bo22bo4bob
2o7bo2bo16bo4bo14bo4bo14bo2bo10bo2bo11bo2bo19bo2bo17bo2bo$o2b4o2b2obo
8bo3b3ob2o10b8o15b8o14bo3b3ob2o11bo3b3obo12bo3b3o5bo10bo2bo5b2obo13bo
2bo5b2obo12bo2bo5b2obo15bo4bo22bo4bo22bo4bo6bo2bo7bo4bo6bo13bo4bo18bo
3b5o9bo2bo22bo3b5o9bo3b3o5bo9b4o8bo10b4o20b2o8bo6bo2bo5b2obo10bo3b3o
11bo3b3o12bo3b5o10b2o8bo10bo7bo12bo2bo5b2obo7bo2bo5b2obo9bo4bo6bobo8bo
3b3o10bo3b3o11bo3b3o12bo3b3o12bo3b3o13bo3b3o13bo3b5o10bo3b5o11b8o13b2o
8bo8b2o8bo14bo2bo12bo2bo21bo4bo6bobo5bo4bo6bobo5bo4bo6bo10bo3b3o13b2o
8bo6bo2bo19bo4bo17bo4bo6bobo5bo4bo6bo14b2o13bo4bo6bo8b4o16b4o15bo2bo
10bo4bo9bo2bo19bo2bo17bo4bo$bo20b2o7b2o9bobo4bo15bobo4bo14b2o7b2obo8b
2o7bo11b2o9bo10bo4bo6bobo11bo4bo6bo2bo9bo4bo6bo16b4o24b4o24b4o8bobo8b
4o22b4o4b2obo12b2o15bo4bo21b2o16b2o9bo10bo22bo25b5obobo5bo4bo6bo11b2o
16b2o17b2o19b5obobo10b4ob2o13bo4bo6bobo5bo4bo6bobo8b4o8bo10b2o15b2o16b
2o17b2o17b2o18b2o18b2o17b2o18bobo4bo15b5obobo10b5obobo14bobo12bo4bo20b
4o8bo7b4o8bo7b4o19b2o20b5obobo5bo4bo18b4o19b4o4b2obo8b4o4b2obo15bo2bo
11b4o4b2obo9bo19bo17bo4bo9b4o10bo4bo17bo4bo16b4o$2b3obo18b6obo12b3o20b
3o19b6ob2o12b6o15b5obo13b4o8bo13b4o8bobo10b4o25bo27bo27bo22bo25bo6bo2b
o15b3obo10b4o25b3obo13b5obo13b4obo17b4obo20bo4bo8b4o22b5obo11b5obo12b
3obo14bo4bo12bo3b2obo13b4o8bo7b4o8bo10bo24b5obo10b5obo11b5obo12b5obo
12b5obo13b5obo13b3obo14b3obo15b3o18bo4bo13bo4bo20bo11b4o22bo19bo19bo
24b5obo13bo4bo8b4o20bo22bo6bo12bo6bo19bobo12bo6bo13b4obo14b4obo12b4o
11bo13b4o19b4o18bo$3bo3bo18bo18bo3bo18bo3bo18bo7bo12bo20bo4bo14bo25bo
24bo28b2o26b2o26b2o21b2o24b2o4bo19bo3bo10bo28bo3bo13bo4bo13bo3b2o17bo
3b2o21b2o12bo25bo4bo12bo4bo13bo3bo14b2o17b2o18bo19bo22b2o23bo4bo11bo4b
o12bo4bo13bo4bo13bo4bo14bo4bo14bo3bo14bo3bo14bo3bo17b2o17b2o23bo12bo
25b2o18b2o18b2o23bo4bo14b2o12bo23b2o21b2o4bo13b2o4bo23bo11b2o4bo13bo3b
2o14bo3b2o13bo14b2o12bo22bo21b2o$4b2o21b2o18b3o20b3o19b2o19b2o19b2o18b
2o24b2o23b2o27bo2bo24bo2bo24bo2bo19bo2bo22bo2bo22b2o13b2o27b2o16b2o18b
2o21b2o24bo2bo10b2o24b2o16b2o17b2o17bo2bo14b4obo15b2o18b2o21bo2bo21b2o
15b2o16b2o17b2o17b2o18b2o18b2o17b2o18b3o18bo2bo15bo2bo20b2obo10b2o24bo
2bo16bo2bo16bo2bo21b2o18bo2bo10b2o22bo2bo19bo2bo16bo2bo25bo12bo2bo17b
2o18b2o16b2o13bo2bo10b2o21b2o20bo2bo$5bo2bo19bo2bo15b4o19b4o19bo2bo17b
o2bo17bo2bob2o13bo2bo22bo2bo21bo2bo25bobobo23bobobo23bobobo18bobobo21b
obo2bo20bo2bo11bo2bo25bo2bo14bo2bob2o12b4o19b4o23bobobo9bo2bo22bo2bo
14bo2bo15bo2bo15bobobo15b2o17bo2bo16bo2bo19bobobo20bo2bo13bo2bo14bo2bo
15bo2bo15bo2bo16bo2bo16bo2bo15bo2bo15b4o18bobobo14bobobo21bobo9bo2bo
22bobobo15bobobo15bobobo20bo2bo16bobobo9bo2bo20bobobo18bobo2bo14bobo2b
o22b2obo10bobo2bo14b4o16b4o15bo2bo11bobobo9bo2bo19bo2bo18bobobo$6bobo
20bobo18bo22bo20bobo18bobo18bobo17bobo23bobo22bobo28bo27bo27bo22bo25bo
bo21bobo12bobo26bobo15bobo18bo22bo26bo11bobo23bobo15bobo16bobo18bo18bo
17bobo17bobo22bo22bobo14bobo15bobo16bobo16bobo17bobo17bobo16bobo18bo
21bo18bo23bo11bobo25bo19bo19bo22bobo19bo11bobo23bo22bobo17bobo25bo13bo
bo17bo19bo16bobo14bo11bobo20bobo21bo!

If people were interested I could produce the results for higher populations without too much effort, but the numbers blow up pretty big pretty fast.

[amling]

I deduped and counted the c/2 outputs I had (which were up to pop 98). While thousands of ships are probably not useful or interesting to anyone, the counts themselves are the sort of thing worth verifying for anyone who does their own census:

Code: Select all

pop   ct     cumulative_ct
---   ----   -------------
64    1      1            
65    1      2            
66    2      4            
67    1      5            
68    4      9            
69    2      11           
70    9      20           
71    6      26           
72    13     39           
73    14     53           
74    17     70           
75    27     97           
76    20     117          
77    36     153          
78    47     200          
79    56     256          
80    62     318          
81    97     415          
82    103    518          
83    157    675          
84    171    846          
85    244    1090         
86    306    1396         
87    345    1741         
88    516    2257         
89    467    2724         
90    879    3603         
91    749    4352         
92    1334   5686         
93    1202   6888         
94    1816   8704         
95    1943   10647        
96    2511   13158        
97    3046   16204        
98    3835   20039        

The c/4 searches hit 60G RAM and died at pop 30. I've restarted them on my fanciest machine (where they can have 120G RAM), but based on how max memory usage is trending, I do not predict they will make it to finishing pop 36 (to prove the pop 37 ship is minimal, if not unique).

[hkoenig]

If you could provide files for each population, with one object per line, that would be most appreciated.

[amling]

I ran c/4d to pop 9, no surprises (just the glider).

I ran 2c/4 to pop 17, although the code to weight cells by generations is complicated by the geometry so I'm a little nervous about it. Anyway, no surprises (just LWSS, MWSS, HWSS).

[amling]

If you could provide files for each population, with one object per line, that would be most appreciated.

What I have trivially (as in it was sitting on disk when I started writing this and I'll attach it to this post), is one ship per line as JSON, starting like...

Code: Select all

{"id":"17585","pop":64,"raw":"| ................................... | --- | ................................... | --- | .......***...............***....... | --- | ......*...*.............*...*...... | --- | .....**....*...........*....**..... | --- | ....*.*.**.**...***...**.**.*.*.... | --- | ...**.*....*.**.***.**.*....*.**... | --- | ..*....*...*....*.*....*...*....*.. | --- | ..............*.....*.............. | --- | ..**.......**.........**.......**.. | --- | ................................... | --- | ................................... |"}
{"id":"912","pop":65,"raw":"| ............................ | --- | ............................ | --- | .......***.................. | --- | ......*...*................. | --- | .....**....*................ | --- | ....*.*.**.**............... | --- | ...**.*....*.**............. | --- | ..*....*...*..*............. | --- | ..............*.***......... | --- | ..**.......**.*.*..*........ | --- | ..............*.*...*....... | --- | ..............*.....*....... | --- | ..................*......... | --- | ...................*.*...... | --- | ................**.*.**..... | --- | ................**.*.*.*.... | --- | ................*..*...**... | --- | ...............**..*.*...*.. | --- | ......................*..... | --- | ........................**.. | --- | ............................ | --- | ............................ |"}
{"id":"21686","pop":66,"raw":"| .................................... | --- | .................................... | --- | .......***...............***........ | --- | ......*...*.............*...*....... | --- | .....**....*...........*....**...... | --- | ....*.*.**.**...***...**.**.*.*..... | --- | ...**.*....*.**.***.**.*....*.**.... | --- | ..*....*...*....*.*....*...*....*... | --- | ..............*.....*............... | --- | ..**.......**.........**.......**... | --- | .................................*.. | --- | ................................*... | --- | .................................... | --- | .................................... |"}
{"id":"21687","pop":66,"raw":"| .................................... | --- | .................................... | --- | .......***................***....... | --- | ......*...*..............*...*...... | --- | .....**....*............*....**..... | --- | ....*.*.**.**...****...**.**.*.*.... | --- | ...**.*....*.**.****.**.*....*.**... | --- | ..*....*...*....*..*....*...*....*.. | --- | ..............*......*.............. | --- | ..**.......**..........**.......**.. | --- | .................................... | --- | .................................... |"}
{"id":"1955","pop":67,"raw":"| ............................. | --- | ............................. | --- | ........***.................. | --- | .......*...*................. | --- | ......**....*................ | --- | .....*.*.**.**............... | --- | ....**.*....*.**............. | --- | ...*....*...*..*............. | --- | ...............*.***......... | --- | ...**.......**.*.*..*........ | --- | ..*............*.*...*....... | --- | ...*...........*.....*....... | --- | ...................*......... | --- | ....................*.*...... | --- | .................**.*.**..... | --- | .................**.*.*.*.... | --- | .................*..*...**... | --- | ................**..*.*...*.. | --- | .......................*..... | --- | .........................**.. | --- | ............................. | --- | ............................. |"}
{"id":"385","pop":68,"raw":"| ........................... | --- | ........................... | --- | .......***................. | --- | ......*...*...*............ | --- | .....**....*.***........... | --- | ....*.*.**.*...**.......... | --- | ...**.*....*.*..**......... | --- | ..*....*...*....*.......... | --- | ................**......... | --- | ..**.........**.*.**....... | --- | .............**.*.*.*...... | --- | ............*...*.*.**..... | --- | ..................*.*.*.... | --- | ............**.**.*...**... | --- | ....................*...*.. | --- | .............*...**..*..... | --- | .............*.........**.. | --- | ........................... | --- | ........................... |"}
{"id":"911","pop":68,"raw":"| ............................ | --- | ............................ | --- | .......***.................. | --- | ......*...*................. | --- | .....**....*................ | --- | ....*.*.**.**............... | --- | ...**.*....*.**............. | --- | ..*....*...*..*............. | --- | ..............*.***......... | --- | ..**.......**.*.*..*........ | --- | ..............*.*...*....... | --- | ..............*.....*....... | --- | ..................*......... | --- | ...................*.*...... | --- | ................**.*.**..... | --- | ................**.*.*.*.... | --- | ................*..*...**... | --- | ...............**..*.*...*.. | --- | ...............*......*..... | --- | ..............*.*.......**.. | --- | ............................ | --- | ............................ | --- |                              |"}
{"id":"25723","pop":68,"raw":"| ..................................... | --- | ..................................... | --- | .......***................***........ | --- | ......*...*..............*...*....... | --- | .....**....*............*....**...... | --- | ....*.*.**.**...****...**.**.*.*..... | --- | ...**.*....*.**.****.**.*....*.**.... | --- | ..*....*...*....*..*....*...*....*... | --- | ..............*......*............... | --- | ..**.......**..........**.......**... | --- | ..................................*.. | --- | .................................*... | --- | ..................................... | --- | ..................................... |"}
{"id":"26001","pop":68,"raw":"| ..................................... | --- | ..................................... | --- | ........***...............***........ | --- | .......*...*.............*...*....... | --- | ......**....*...........*....**...... | --- | .....*.*.**.**...***...**.**.*.*..... | --- | ....**.*....*.**.***.**.*....*.**.... | --- | ...*....*...*....*.*....*...*....*... | --- | ...............*.....*............... | --- | ...**.......**.........**.......**... | --- | ..*...............................*.. | --- | ...*.............................*... | --- | ..................................... | --- | ..................................... |"}
{"id":"840","pop":69,"raw":"| ............................ | --- | ............................ | --- | .......***.................. | --- | ......*...*................. | --- | .....**....*................ | --- | ....*.*.**.**............... | --- | ...**.*....*.**............. | --- | ..*....*...*..*............. | --- | ..............*.***......... | --- | ..**.......**.*.*..*........ | --- | ..............*.*...*....... | --- | ........***.........*....... | --- | ........*.........*......... | --- | ...................*.*...... | --- | .......**......***.*.**..... | --- | ...............*...*.*.*.... | --- | .....................*.**... | --- | ..............**.....*...*.. | --- | ............................ | --- | .....................**.**.. | --- | ............................ | --- | ............................ |"}
{"id":"11672","pop":69,"raw":"| ................................. | --- | ................................. | --- | .......***....................... | --- | ......*...*...................... | --- | .....**....*..................... | --- | ....*.*.**.**...***..***......... | --- | ...**.*....*.**.***.*...*........ | --- | ..*....*...*....*.*......*....... | --- | ..............*.....**...*....... | --- | ..**.......**..........*......... | --- | ........................*.*...... | --- | ....................***.*.**..... | --- | ....................*...*.*.*.... | --- | ..........................*.**... | --- | ...................**.....*...*.. | --- | ................................. | --- | ..........................**.**.. | --- | ................................. | --- | ................................. |"}

The "id" key is its ordinal in the original raw output, "pop" key is the population, "raw" is the normal rlife output format stripped to just one generation and with lines joined up with " --- ". This just happened to be the format at the end of my crappy vim and/or UNIX CLI-based analysis. Any further, uh, refinement is sort of a matter of who wants to spend the time writing one-off scripts to hack it.

EDIT: Out of curiosity, do you have any specific plans for them? Should I try to run this to higher minpops? The techniques will theoretically work to (including) 127 but I may run out of RAM or patience before then.

[amling]

The c/4 searches hit 60G RAM and died at pop 30. I've restarted them on my fanciest machine (where they can have 120G RAM), but based on how max memory usage is trending, I do not predict they will make it to finishing pop 36 (to prove the pop 37 ship is minimal, if not unique).

Alas even there with 120G RAM it was only able to complete pop 32 (no ships, maxed out at ~113G RAM). Onto 2c/5 I think...

[hkoenig]

I've always been interested in enumerating objects. I gave up on my search programs as they were just too slow and inefficient. But about six years ago started to run the StillLifeCount* program. Managed to to enumerate still lifes and pseudo still lifes up to 32 bits before I ran out of disk space for the results (3TB total, with over an estimated 1.5TB more needed for 33 bit results). Adding these spaceships would be a nice addition.

You might want to consider adding the apgcode along with the bit pattern. It's a bit more compact. Besides, I'm lazy and would rather not have to deal with one more encoding method.

* Who wrote that program? The source code I've got has no attributions or even file headers.

[amling]

You might want to consider adding the apgcode along with the bit pattern. It's a bit more compact. Besides, I'm lazy and would rather not have to deal with one more encoding method.

rlife's output format is highly optimized for human reading/editing and for human implementation in like 5 minutes tops. Really the human reading is most important since I spend an awful lot of time reading log files full of results and partials. Also maybe not obvious is that the format has to handle all phases (which is what the pipes would separate) as partials make no sense without them. In this case I was lazy and once I stripped each result down to whichever generation was minimum pop I left it as it was (sufficient for matching equal results) rather than carefully peel off the pipes and empty rows and columns.

Generally I get by, uh, "transcoding" to RLE for posting results on the forum by paste/copy into/out of golly by hand. Perhaps one day I will add such things (RLE, apgcode, whatever people are using in 2030 to communicate life patterns) to the codebase but it has never been a priority.

[amling]

Unfortunately, even my fanciest computer got absolutely nowhere on c/7, unable to even complete pop 4, yes four, with 120G of RAM.

It is sort of illustrative to look at the longest partial for one of the seven searches for pop 3. I think this would be the worst phase search of the seven but I did not even bother running all the rest to verify since it's all sort of useless (there are obviously no pop 3 c/7 ships).

Code: Select all

| ............... | ............... | ............... | ............... | ............... | ............... | ............... |
| ............... | ............... | ............... | ............... | ............... | ............... | ............... |
| .......*....... | ............... | ............... | ............... | ............... | ............... | ......***...... |
| .....*..*...... | ............... | ............... | ............... | ............... | .....*****..... | .....***.*..... |
| ............... | ............... | ............... | ............... | ....*******.... | ....*...**..... | .....**........ |
| .....*....*.... | ............... | ............... | ...*********... | ....****....*.. | .........*.*... | ........***.... |
| .........*..... | ............... | ..***********.. | ........*****.. | .....*......*.. | ............... | ............... |
| ............... |                 |                 |                 |                 |                 |                 |

When I look at this the main things I see are:

(a) Chimerism allows it to combine slices to have larger population than 3 even in the key generation, which of course I knew. This is sort of fine since I filter when generating resulting ships and it is true that every slice is part of a sufficiently low pop partial in the key generation.

(b) It takes a very long time for the limit on gen 0 to wrap around through all the other generations and realize it's not going to work out and in the mean time the other six generations are completely, completely unlimited (any number of cells, any minimum ship width). A search which limited the sum of the population of the seven generations would probably be much better off but I am not sure if I could translate a lower bound on sum of 7 generations population to a lower bound on minimum population generation.

[amling]

2c/5 pop 32 died in what I suspect is the worst phase search. After that I went back and ran pop 31 which squeaked by, running ~6h on the fanciest machine and maxing out at 119.89GB RAM. It found only the known pop 30 ship. This confirms that ship is smallest and there are no ships with minpop 31.

[Sokwe]

Could this method be used to find the smallest completion to a partial result, or is it fundamentally limited to searching the whole space?

The c/4 searches hit 60G RAM and died at pop 30. I've restarted them on my fanciest machine (where they can have 120G RAM), but based on how max memory usage is trending, I do not predict they will make it to finishing pop 36 (to prove the pop 37 ship is minimal, if not unique).

Alas even there with 120G RAM it was only able to complete pop 32 (no ships, maxed out at ~113G RAM).

This seems tantalizingly close. I don't suppose you see any immediate way to reduce the memory usage or offload less-used data efficiently onto a disk.

2c/5 pop 32 died in what I suspect is the worst phase search. After that I went back and ran pop 31 which squeaked by, running ~6h on the fanciest machine and maxing out at 119.89GB RAM. It found only the known pop 30 ship. This confirms that ship is smallest and there are no ships with minpop 31.

Excellent! I'm guessing a c/5 orthogonal or diagonal search would fail at a smaller population. I'm curious to know how a 3c/6 search would go, although at 86 cells, the smallest known 3c/6 ship must surely be well out of reach.

I deduped and counted the c/2 outputs I had (which were up to pop 98).

I would be interested to see the counts for whatever population you could reach for p2 ships, If you ever feel like running the searches and deduplicating the results.

[amling]

Could this method be used to find the smallest completion to a partial result, or is it fundamentally limited to searching the whole space?

Theoretically maybe, practically probably not. Maybe for very small completions and/or for very friendly geometries (like c/2 or c/3).

(about c/4 searches)

Alas even there with 120G RAM it was only able to complete pop 32 (no ships, maxed out at ~113G RAM).

This seems tantalizingly close. I don't suppose you see any immediate way to reduce the memory usage or offload less-used data efficiently onto a disk.

Not quite as tantalizing when considering the max memory reached by the gen 0 search (which I believe is the hardest) as population increased (memory in GB):

Code: Select all

pop   mem  
---   -----
26    18.8 
27    24.8 
28    34.2 
29    46.3 
30    63.3 
31    82.5 
32    110.9

Given that LLSSS searches are always limited in memory (at least for me in practice) I have always been optimizing for reduced memory as aggressively as I can so I don't really have any obvious stops to pull out here.

From a theoretical perspective it can go into swap and one can make as large a swap file as desired but I'm a little concerned about thrashing the crap out of disk on computers I care about. Maybe some day I could rent an EC2 box (and maybe even one with more memory).

[amling]

(about trying to get c/4 up to critical point)

Maybe some day I could rent an EC2 box (and maybe even one with more memory).

I rented an EC2 box with 1TB RAM and tried pop 37. When I was designing LLSSS I decided to keep indices into the "bcol" arrays in u32s as 4 billion entries in one seemed unimaginable (the associated "col" array would have to occupy many hundred gigabytes which I did not foresee having access to). Unfortunately c/4 gen 00 pop 37 hits 2^32 entries in the bcol and all hell breaks loose (the next output partial is clearly corrupt, as I would expect from the truncation of any indices into the upper parts of the bcol).

Unfortunately this u32 assumption is baked quite deep into the code and I very much do not want to attempt to see if I can fix it while the EC2 bill clock ticks (or maybe even at all considering I do not anticipate having access to a box like this on a regular basis). For now I'm gonna see if pop 36 will work before I release the box (it would still prove pop 37 ship is minimal, just not necessarily unique).

EDIT: Heartbreaking, pop 36 hit the same problem (bcol size > 2^32) right at what I think would have been the peak size based on previous logs. So alas, no results until/unless I go fix hundreds of `u32` assumptions.

[amling]

(about trying to get c/4 up to critical point)

Unfortunately this u32 assumption is baked quite deep into the code...

Once I took a proper look at it it wasn't so bad. Rust's extremely picky type system and compiler did most of the work and at this point there are so few `u32` references left in the codebase it's easy to verify none of them are for holding bcol indices. It was even easy to leave it generic and configurable (at compile time) so searches can normally use u32s and I can flip it to `usize` just for such crazy times.

Given that switching to 64 bit integers doubles the main array I rented a box with 1.5 TB RAM (the biggest I could without begging for Amazon to increase quotas and waiting, wtf) and tried pop 37 again. In the end it took 6.65h and reached only 859GB RAM to complete, finding only the one ship (in two orientations).

Barring bugs this confirms that the known pop 37 c/4 ship is the unique minimal c/4 ship.

While this was a very fun adventure, unfortunately renting such a crazy and expensive box for a couple hours can probably only be a rare treat so I'm not planning on pushing any of this further.

[Sokwe]

Barring bugs this confirms that the known pop 37 c/4 ship is the unique minimal c/4 ship.

Great work! I've long suspected this, but I wasn't sure if anyone would ever find a way to prove it. I consider this, the 2c/5 result, and c/2 result to be some of the most exciting results of the last several years, even though they didn't find anything new.

While this was a very fun adventure, unfortunately renting such a crazy and expensive box for a couple hours can probably only be a rare treat so I'm not planning on pushing any of this further.

I don't think any other minimality proofs will be possible unless there is a shockingly small p5 or p6 ship that we don't know about yet. I am curious to know how far the 3c/6 search would get with 60G RAM. Would the fast speed counteract the high period and allow a somewhat reasonable population to be searched? Even if that were the case, I very much doubt that it could reach 86 cells, which is the size of the current smallest known 3c/6 ship.

[Haycat2009]

Wait, so you used a supercomputer to enumerate all 36 and below-cell patterns? I do not understand how you proved these.

[amling]

I am curious to know how far the 3c/6 search would get with 60G RAM. Would the fast speed counteract the high period and allow a somewhat reasonable population to be searched? Even if that were the case, I very much doubt that it could reach 86 cells, which is the size of the current smallest known 3c/6 ship.

I am guessing the high period is going to have the greater effect based on the nightmare that was c/7. For 3c/6 the specifics of the geometry mean I have to run two different searches for any specific population and I'm not sure which will be worse. I picked one at random ("gen 0") and started running from pop 15 upwards limited to 8G RAM for now (I have other stuff running that wants most of the RAM on this machine). We'll see how it goes but so far it's finished up to pop 23 and I extrapolate that pop 86 would probably take 4-5PB RAM. Running it the other way I think 60GB could cover maybe to around pop 35. These are of course both very, very wide extrapolations from very little data. We'll see what turns up with a few more searches...

EDIT: Limited to 8G it finished 24 and 25, but 26 died. Updated extrapolation is ~8PB for pop 86 and 60GB will cover maybe pop 34.

[amling]

Wait, so you used a supercomputer to enumerate all 36 and below-cell patterns? I do not understand how you proved these.

"Enumerate all" isn't really how any of this works. Perhaps I will eventually dump some details on the LLSSS principles brain dump thread, but the short version is definitely it's extremely complicated and builds on a bunch of already-complicated LLSSS features (recentering and "wrong answers only").

The medium version is LLSSS recentering can already do arbitrary width searches and LLSSS "wrong answers only" can already force searches to start with a nonzero W row. Here I've added (a) a filter to filter out bits of state that can be proven not to be part of any partial with sufficiently low population in the key generation and (b) a hack to detect when all living spines (think of it as a column of cells, in all generations) have a 2 Y row gap in the same spot, which is to say anything found by the search after this point will necessarily have a split. As long as the bound on the population is less than twice the smallest ship that exists this will eventually terminate, either by being unable to complete a ship within the limited population or by the halting hack triggering when the search progresses sufficiently far down and there aren't enough cells to both support the first nonzero W row but then also avoid having a 2 Y row gap positioned behind the longest ship the search is able to find.

[DroneBetter]

Thank you very much for this, I have added a table on the wiki with your results, LifeWiki:Spaceship Search Status Page#Known_spaceships_by_population.

With your current bespoke algorithm, would it be very easy to search up to higher populations under the constraint of symmetry? Making the perhaps-dubious assumption that population is like width (and may be doubled with the same search time when under symmetry), I imagine the time for your proof of 37P4H1V0's minimality and uniqueness could also prove or disprove that of non-monotonic spaceship 1 (and likewise 44P5H2V0 should be ostensibly easier than 30P5H2V0).

If it is not too off-topic for this thread, I would also appreciate if you would one day also turn your attention (and terabytes of RAM) to finding spaceships of minimal height. (Matthias Merzenich's definition, used in the page, is that a period-p spaceship's height is the minimum height of an envelope from simulating it for p iterations, with choice of initial phase.) Note that the minimum height of (1,0)c/6 is between 10 and 12, of (2,0)c/6 either 8 or 9, of (3,0)c/6 between 10 and 13, of (1,0)c/7 either 9 or 10, and of (2,0)c/7 between 9 and 12 (with upper bounds given by known spaceships, and lower bounds by Merzenich's exhaustive searches, which he added on 2015-10-12, which seems to me long enough ago that someone ought to have closed some of these gaps by now :-).

[amling]

With your current bespoke algorithm, would it be very easy to search up to higher populations under the constraint of symmetry? Making the perhaps-dubious assumption that population is like width (and may be doubled with the same search time when under symmetry), I imagine the time for your proof of 37P4H1V0's minimality and uniqueness could also prove or disprove that of non-monotonic spaceship 1 (and likewise 44P5H2V0 should be ostensibly easier than 30P5H2V0).

That is a goooood idea and it should be pretty easy. Gonna require some trickery to change weights near the edge to handle how symmetry is represented internally but very little compared to the trickery already involved.

If it is not too off-topic for this thread, I would also appreciate if you would one day also turn your attention (and terabytes of RAM) to finding spaceships of minimal height. (Matthias Merzenich's definition, used in the page, is that a period-p spaceship's height is the minimum height of an envelope from simulating it for p iterations, with choice of initial phase.) Note that the minimum height of (1,0)c/6 is between 10 and 12, of (2,0)c/6 either 8 or 9, of (3,0)c/6 between 10 and 13, of (1,0)c/7 either 9 or 10, and of (2,0)c/7 between 9 and 12 (with upper bounds given by known spaceships, and lower bounds by Merzenich's exhaustive searches, which he added on 2015-10-12, which seems to me long enough ago that someone ought to have closed some of these gaps by now .

Alas only Amazon has those terabytes of RAM and my taste for shelling out for such is limited. I can however take a look with what I have for free (my attention and 120GB) and see what I can do.

Unfortunately the definition of height, if I understand correctly, does not match well LLSSS's internals for geometries thay are not 1c/N (its envelope is staggered in later generations) and I will have to overshoot and prune/examine any positive results. This of course can all be done and I might still get lucky.

I am on out of town yet again starting today so I won't have a chance to muck with any of this for at least a week but I will try to remember to stick these in the projects queue/notes when I get back.

EDIT: Having thought it over for a bit for non-1c/N geometries I think I can use the "constraints" feature to limit some cells to zero and efficiently search the envelope for that chosen definition of height. To me it still seems a bit unnatural. I would probably instead choose to measure height by the staggered envelope which even has an obvious way of measuring more fine-grainedly than 1 row. Perhaps more details when I'm not typing on my phone in a hotel room and I can draw diagrams...

[Haycat2009]

Honestly, you should try this to search for the minimum population of a c/8 ship.

[Sokwe]

Honestly, you should try this to search for the minimum population of a c/8 ship.

Earlier in this thread, Amling said that the search couldn't even complete a c/7 orthogonal search beyond 3 cells. A c/8 search would be even less effective.

[Haycat2009]

Honestly, you should try this to search for the minimum population of a c/8 ship.

Earlier in this thread, Amling said that the search couldn't even complete a c/7 orthogonal search beyond 3 cells. A c/8 search would be even less effective.

Even brute force would be faster, i should have known.

[Sokwe]

Thank you very much for this, I have added a table on the wiki with your results, LifeWiki:Spaceship Search Status Page#Known_spaceships_by_population....

I imagine the time for your proof of 37P4H1V0's minimality and uniqueness could also prove or disprove that of non-monotonic spaceship 1.

The smallest odd symmetric (1,0)c/4 ship is 46P4H1V0, not non-monotonic spaceship 1. In fact, many of the entries in your new table of smallest known ships by population on the spaceships search status page were incorrect (I have since corrected them). Please review the moving objects collection when searching for notable known ships. Also, please correct the entries in the "Known diagonal spaceships by trail width" table and your new entries in the "Known spaceships by width" table. Remember that in these tables two side-by-side spaceships are considered a valid solution so, for example, two mirrored gliders is a 10-cell diagonal-width-11 gutter-symmetric "spaceship".

[DroneBetter]

Please review the moving objects collection when searching for notable known ships.

Thank you, this is what I was looking for, much better than the regular jslife.

I have a slightly tangential question, is there a known value n such that for all possible configurations of n cells (arbitrarily displaced from each other), the complete set of resultant stable patterns (still lifes, oscillators and spaceships) from simulating them until the resultant ash becomes periodic (ie. with apgsearch's pattern separator) is known? LifeWiki:Did you know/52 says "it has been proven that no nine-cell pattern exhibits infinite growth" but dvgrn added it with no citation. I'm not sure how it could be proven without such an exhaustive search being conducted (and thereby spaceships enumerated), does it mean that Amling's population-3 lower bound is superseded (and 9 can be given in all entries, as a baseline)? Does anyone know where this proof was shared?