Spaceships made up of other spaceships (SMOS)

wwei47 · Post by **wwei47** » November 27th, 2024, 10:03 pm

19c/186d chaos puffer made of (3,1)c/15 spaceships:

x = 18, y = 18, rule = B2i3-ckr4acew5ac6cek/S23-a4cqrz6i
15b3o$16b2o$16bo13$o$3o$2o!

islptng · Post by **islptng** » December 26th, 2024, 7:40 pm

Bump

c/83o SMOSMOS:

Code: Select all

x = 53, y = 16, rule = B2n3-ekny4ejnqrz5jknry6aei7/S12ik3-acen4cjknrty5eijn6-ck7e
14bo23bo2$13b3o21b3o11$2bo47bo$obo47bobo$2bo47bo!

EDIT:
Another SMOSMOS, found by H. H. P. M. P. Cole:

Code: Select all

x = 15, y = 6, rule = B2e3eijky4acqrt5cny6c7c/S1e2-kn3akq4ceiny5e6e
o13bo$bo11bo$o13bo2$4bo5bo$3bobo3bobo!

H. H. P. M. P. Cole · Post by **H. H. P. M. P. Cole** » January 9th, 2025, 3:02 am

527c/56045o SMO(SMOI) made out of two copies of a (55,6)c/5986 SMOI

Code: Select all

x = 143, y = 15, rule = B2k3ai4ijnyz5y6n7e8/S2aek3ijnqr4ci5r6ikn8
b2o137b2o$obo137bobo$o2bobo131bobo2bo$2o4bo129bo4b2o$2bo2b2o129b2o2bo
8$10b2o119b2o$10bo2bo115bo2bo$11b3o115b3o!

The SMOI in question:

Code: Select all

x = 14, y = 15, rule = B2k3ai4ijnyz5y6n7e8/S2aek3ijnqr4ci5r6ikn8
b2o$obo$o2bobo$2o4bo$2bo2b2o8$10b2o$10bo2bo$11b3o!

4.66920 16091 · Post by **4.66920 16091** » February 10th, 2025, 4:32 am

Adjustable SMOS with speed (3+6n,1)c/(6+12n):

Code: Select all

x = 21, y = 22, rule = Adjsmos_3states
2.B5.B$A.A5.A9$2.B5.B5.B$A.A5.A5.A9$2.B5.B5.B5.B$A.A5.A5.A5.A!
@RULE Adjsmos_3states
@TABLE
n_states:3
neighborhood:Moore
symmetries:rotate4reflect

var all={0,1,2}
var bll=all
var cll=all
var dll=all
var ell=all
var fll=all
var gll=all
var hll=all
var ill=all

#c2o
0,2,1,0,0,0,0,0,0,1
1,2,0,0,0,0,0,0,0,1
2,1,0,0,0,0,0,0,0,2
0,0,1,2,1,0,0,0,0,2
2,1,0,1,0,1,0,0,0,1
#push reaction 1
0,0,2,1,1,0,0,0,0,1
1,0,1,0,0,0,0,0,0,1
0,1,0,1,0,0,0,0,0,2
#(3,1)c/6,push reaction 2
1,0,0,0,0,0,0,0,0,1
0,0,1,0,1,2,0,0,0,1
1,0,1,0,1,2,0,0,0,1
1,2,0,1,1,0,0,0,0,1
2,1,1,0,0,0,0,0,0,2
0,2,1,1,2,0,0,0,0,2
0,1,0,1,2,1,0,0,0,1
2,1,1,1,0,0,0,0,0,1
0,0,1,2,2,0,0,0,0,2
2,1,0,1,0,2,0,0,0,1
0,2,2,0,0,0,0,0,0,1
0,1,0,2,2,1,0,0,0,2
0,2,0,0,0,1,1,0,0,1
0,1,0,2,1,0,0,0,0,2
2,1,1,0,0,0,1,0,0,1
0,1,1,1,0,0,0,0,0,1
1,1,0,0,0,0,0,0,0,2
0,2,1,1,1,0,0,0,0,1
2,2,1,0,1,0,0,0,0,2
2,2,0,0,1,1,0,0,0,1
0,2,1,1,0,0,1,0,0,1
1,2,0,1,0,1,0,0,0,1
2,1,0,1,1,1,0,0,0,1
0,1,0,2,0,0,0,0,0,1
0,0,2,0,1,0,2,0,0,2
#clean
all,bll,cll,dll,ell,fll,gll,hll,ill,0

AforAmpere · Post by **AforAmpere** » April 16th, 2025, 11:37 pm

Bug-based SMOS that is actually lower period than its constituents:

Code: Select all

x = 11, y = 29, rule = R5,C0,S33-57,71,73,75-77,B34-45,75-76,78,81,84-85
4b2o$3b5o$2bo2b5o$bo4b5o$2o5b4o$2o5b4o$b3o2b5o$b9o$2b7o$2b6o$3b4o8$3b
4o$2b6o$2b7o$b9o$b3o2b5o$2o5b4o$2o5b4o$bo4b5o$2bo2b5o$3b5o$4b2o!

confocaloid · Post by **confocaloid** » April 17th, 2025, 2:09 am

AforAmpere wrote: ↑
April 16th, 2025, 11:37 pm
Bug-based SMOS that is actually lower period than its constituents:
Code: Select all
x = 11, y = 29, rule = R5,C0,S33-57,71,73,75-77,B34-45,75-76,78,81,84-85
4b2o$3b5o$2bo2b5o$bo4b5o$2o5b4o$2o5b4o$b3o2b5o$b9o$2b7o$2b6o$3b4o8$3b
4o$2b6o$2b7o$b9o$b3o2b5o$2o5b4o$2o5b4o$bo4b5o$2bo2b5o$3b5o$4b2o!

Unsuccessful attempt to "tame" the soups (which appear to grow forever) by adding the glider from CGoL and dropping all optional birth/survival conditions, maybe a different partition would work (possibly without the glider):

Code: Select all

#C [[ GRID THEME MCell ]]
x = 44, y = 69, rule = R5,C0,S33,35,37,51,145-147,149,151-152,154,158,161-162,164-165,228,257-259,261-268,270,273-274,279,281,340,369-386,388-389,391-392,481-505,519,523-524,593-617,631,633,636-637,705-729,743,745,747-748,817-841,855,857,860-861,929-953,967,969,971-973,B34-45,75-76,84-85,146-157,188,196-197,258-269,300,302,341,370-381,411,420-421,482-493,523-524,529,532,594-605,635,638,645,707-716,748,821,825,829,860,865,930-931,NW01010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010171717101010101010101017100710101010101010101717171010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101
4b2o$3b5o$2bo2b5o$bo4b5o$2o5b4o$2o5b4o$b3o2b5o$b9o$2b7o$2b6o$3b4o8$3b
4o$2b6o$2b7o$b9o$b3o2b5o$2o5b4o$2o5b4o$bo4b5o$2bo2b5o$3b5o$4b2o25$42bo
$43bo$41b3o3$8b2o$7b5o$6bo2b5o$5bo4b5o$4b2o5b4o$4b2o5b4o$5b3o2b5o$5b9o
$6b7o$6b6o$7b4o!

AforAmpere · Post by **AforAmpere** » April 17th, 2025, 3:44 am

I feel like tacking on the glider/other things from Life to every rule through weighted neighborhoods has kind of lost its novelty by this point.

confocaloid · Post by **confocaloid** » April 17th, 2025, 4:43 am

I think it was never intended to be "novelty" to begin with. The main idea was to attempt to put the same objects into some CA where soups would settle (instead of apparently growing forever), "adding" objects from CGoL is merely one way to do that.

Combining objects from different cellular automata is a way to quickly reach some parts of the search space which cannot be easily described in any simpler way.

AforAmpere wrote: ↑
April 17th, 2025, 3:44 am
I feel like tacking on the glider/other things from Life to every rule through weighted neighborhoods has kind of lost its novelty by this point.

EDIT: partitioning into "range-2 Moore" and the rest doesn't seem to solve the problem, either:

Code: Select all

x = 15, y = 73, rule = R5,C0,S227,234,325,327,337,417,425,428,513-514,516,520-521,524,526-527,529-530,609,611,613,615-616,618-620,625,627,705-707,709-714,716-718,720-722,801-814,819,821,823,897-912,914,916-917,993-1003,1005-1010,1013,1015,1089-1113,1127,1129,1185-1209,1281-1305,1319,1323,1377-1401,1415,1417,1419,1421,1473-1497,1511,1516,1569-1593,1607,1609,1612,1667-1689,1703,1763-1785,1799,1801,1803-1804,1861-1864,1866-1881,1895,1897,1899-1901,1957-1959,1962-1977,1991,1993,1995,1997,2053,2059-2073,2087,2089,2091,2151,2157,2161-2168,2183,2185,2188-2189,2258-2264,2281,2283-2284,2358,2360,2375,2377,2379-2381,B34-42,44,130-137,226-236,322-332,363,418-429,460,514-525,610-621,660-661,706-717,802-813,844,898-909,994-1005,1044-1045,1090-1101,1132,1134,1140,1186-1189,1191-1197,1227,1282-1283,1285,1287-1290,1292-1293,1323,1332,1378,1381,1383-1389,1419,1475,1477-1478,1481-1482,1485,1515-1516,1572,1575,1577-1578,1614,1672,1675,1713,1717,1770,1773,1908,1957,1961,1995-1996,1998,2097,2149,2188,2253,NW01010101010101010101010101010101010101010101010101010101010101010101010161616161610101010101016161616161010101010101616100616101010101010161616161610101010101016161616161010101010101010101010101010101010101010101010101010101010101010101010101
8b2o$7b5o$6bo2b5o$5bo4b5o$4b2o5b4o$4b2o5b4o$5b3o2b5o$5b9o$6b7o$6b6o$7b
4o8$7b4o$6b6o$6b7o$5b9o$5b3o2b5o$4b2o5b4o$4b2o5b4o$5bo4b5o$6bo2b5o$7b
5o$8b2o34$4b2o$3b5o$2bo2b5o$bo4b5o$2o5b4o$2o5b4o$b3o2b5o$b9o$2b7o$2b6o
$3b4o!

EDIT 2: the problem can be solved by "growing" the neighbourhood:

Code: Select all

#C [[ THEME MCell RANDOMIZE RANDWIDTH 320 RANDHEIGHT 240 RANDFILL 35 RANDSEED 14285701 ]]
x = 15, y = 73, rule = R6,C0,S1621-1632,1636,1670-1684,1718-1731,1735,1767,1769-1782,1815-1832,1834-1835,1838,1865-1879,1881-1882,1884,1914,1916-1925,1927-1930,1932,1938,1964-1984,2013-2024,2026-2028,2033,2062-2078,2080,2112-2125,2129,2159-2172,2174,2177-2178,2208,2210-2224,2256,2259-2268,2270-2272,2305,2308-2321,2323,2354,2358-2370,2374-2375,2377,2405-2423,2453,2455-2473,2504-2515,2518-2519,2524,2531,2552-2567,2570,2582,2600-2601,2603-2612,2614-2617,2619,2650,2652-2660,2662-2666,2671,2700-2709,2711-2716,2718,2720,2726,2748-2758,2760-2764,2771,2797-2809,2811-2813,2815,2820,3492-3494,3496-3502,3504-3506,3512,3516,3518,3588,3590-3594,3596-3598,3600,3602-3603,3609-3610,3690,3692,3696-3698,3737-3740,3742-3743,3745,3749,3756-3757,3787,3790,3795-3797,3801,3805-3806,B70,85,119,129,382,389,471,510,538,588,635,684,715,820,953,958,1013,1066,1125,1197,1395,1667,1669-1692,1695-1696,1705,1718-1738,1746,1748,1755,1767,1769-1786,1788,1815-1817,1819-1834,1837,1839,1866-1883,1887,1915-1931,1936,1950,1959,1965-1983,1986-1987,1989,1991,2012,2014-2015,2017-2030,2033,2035,2042,2064-2080,2082-2083,2086-2088,2093,2112-2128,2135-2136,2162-2176,2178,2182,2184,2188,2209,2213-2225,2227-2228,2233,2340,2357,2381,2620,2671,2734,2770,2793,2908,2985,3002,3119,3128,3250,3253,3255,3372,3675,3677,3684,3688,3691,3694,3698,3700,3703,3706-3707,3736,3739,3743,3745,3752,3756,3790,3793,3844,3848,3851,3903,3988,3994,4007,4057,4141,4143,4156,4158,4162,4164,4169,4186,4203,4210-4211,4364,4404,4410,4443,4458,4536,4542,4613,4655,4663,4678,4734,4750,4792,4960,4978,5009,5088,5133,5159,5218,5269,5271,5314,5318-5319,5324,5433,5449,5519,5537,5646,5756,5829,5833,5840,5886,5914,NW01010101010101010101010101013131313131313131313131010131313131313131313131310101313131313131313131313101013131313131313131313131010131313131313131313131310101313131313100313131313101013131313131313131313131010131313131313131313131310101313131313131313131313101013131313131313131313131010131313131313131313131310101010101010101010101010101
8b2o$7b5o$6bo2b5o$5bo4b5o$4b2o5b4o$4b2o5b4o$5b3o2b5o$5b9o$6b7o$6b6o$7b
4o8$7b4o$6b6o$6b7o$5b9o$5b3o2b5o$4b2o5b4o$4b2o5b4o$5bo4b5o$6bo2b5o$7b
5o$8b2o34$4b2o$3b5o$2bo2b5o$bo4b5o$2o5b4o$2o5b4o$b3o2b5o$b9o$2b7o$2b6o
$3b4o!

EDIT 3: more spaceships (diagonal 23c/42, orthogonal 12c/37, diagonal 8c/16, orthogonal 5c/6):

Code: Select all

x = 125, y = 92, rule = R6,C0,S1621-1632,1636,1670-1684,1715,1718-1731,1735,1767,1769-1782,1815-1832,1834-1835,1838,1865-1879,1881-1882,1884,1914,1916-1930,1932,1938,1964-1984,2013-2024,2026-2028,2033,2062-2078,2080,2112-2125,2129,2159-2172,2174,2177-2178,2208,2210-2224,2256,2259-2272,2305,2308-2321,2323,2354,2358-2370,2374-2375,2377,2405-2423,2453,2455-2473,2504-2515,2518-2519,2524,2531,2552-2567,2570,2582,2600-2601,2603-2612,2614-2617,2619,2650-2660,2662-2666,2671,2699-2709,2711-2716,2718,2720,2726,2746,2748-2758,2760-2764,2771,2797-2809,2811-2813,2815,2820,3492-3494,3496-3502,3504-3506,3512,3516,3518,3588,3590-3594,3596-3598,3600,3602-3603,3609-3610,3690,3692,3696-3698,3737-3740,3742-3743,3745,3749,3756-3757,3787,3790,3795-3797,3801,3805-3806,B1669-1692,1695-1696,1705,1718-1738,1746,1748,1755,1767,1769-1786,1788,1815-1817,1819-1834,1837,1839,1866-1883,1887,1915-1931,1936,1950,1965-1983,1986-1987,1989,1991,2012,2014-2015,2017-2030,2033,2035,2042,2064-2080,2082-2083,2086-2088,2093,2112-2128,2135-2136,2162-2176,2178,2184,2188,2209,2213-2225,2227-2228,2233,3675,3688,3694,3698,3700,3703,3706-3707,3736,3739,3743,3745,3752,3756,3844,3848,3851,3988,3994,4141,4143,4156,4158,4162,4164,4186,4203,4210-4211,NW01010101010101010101010101013131313131313131313131010131313131313131313131310101313131313131313131313101013131313131313131313131010131313131313131313131310101313131313100313131313101013131313131313131313131010131313131313131313131310101313131313131313131313101013131313131313131313131010131313131313131313131310101010101010101010101010101
39b3o$38b6o$37b9o$36b2o3b5o$6o30bo5b5o$6o30bo5b5o$6o30b2o3b5o$6o31b9o$
6o32b6o$6o33b3o8$118b2o$117b5o$116bo2b5o$115bo4b5o$114b2o5b4o$114b2o5b
4o$115b3o2b5o$115b9o$116b7o$116b6o$117b4o13$6b3o$5b5o$4b7o$3b4ob4o$2b
4o3b4o33b2o$2b3o5b4o31b5o$2b3o5b4o30bo2b5o$3b3o3b4o30bo4b5o$3b4ob4o30b
2o5b4o$4b7o31b3o4b4o$5b5o33b3o2b5o$7b2o34b9o$44b7o$44b6o$45b4o27$117b
4o$116b6o$116b7o$115b9o$115b3o2b5o$114b2o5b4o$114b2o5b4o$115bo4b5o$
116bo2b5o$117b5o$118b2o!

AforAmpere · Post by **AforAmpere** » April 26th, 2025, 1:51 am

Another HROT SMOS, with some C/1d ships:

Code: Select all

x = 5, y = 20, rule = R3,C0,S9,11,19,22-30,33,39,B5,15-17,20-21,24,28-33,36
4bo$4bo$4bo$3bo$3o11$3o$3bo$4bo$4bo$4bo!

And another with a bit more separation:

Code: Select all

x = 5, y = 22, rule = R3,C0,S9,11,19,22,24-26,29-32,35,B5,15-17,20-21,24-25,27,31,34,38
4bo$4bo$4bo$3bo$3o13$3o$3bo$4bo$4bo$4bo!

AforAmpere · Post by **AforAmpere** » April 27th, 2025, 2:44 pm

The first SMOSMOSMOS in INT, finally. It just barely meets the one full period guideline. Found with EPE. 8c/107d:

Code: Select all

x = 29, y = 28, rule = B2e3ceijq4aenqz5kn6a/S1e2ac3nr4ein5aejry6a78
6bo$7bo$4bobo$5bo9$5bo$4bobo$7bo$6bo5$13bo12bo$2bo9bobo10bobo$15bo8bo$
2o12bo10bo$o$2bo3bo$bo2bo$3b2o!

The hierarchy:

Code: Select all

x = 108, y = 28, rule = B2e3ceijq4aenqz5kn6a/S1e2ac3nr4ein5aejry6a78
bo14bo28bo12bo27bo$obo14bo26bobo10bobo27bo$16bo30bo8bo27bobo$46bo10bo
27bo$20bo$19bobo7$85bo$84bobo$87bo$86bo5$93bo12bo$82bo9bobo10bobo$95bo
8bo$80b2o12bo10bo$80bo$82bo3bo$81bo2bo$83b2o!

LuveelVoom · Post by **LuveelVoom** » April 27th, 2025, 3:02 pm

AforAmpere wrote: ↑
April 27th, 2025, 2:44 pm
The first SMOSMOSMOS in INT, finally. It just barely meets the one full period guideline. Found with EPE. 8c/107d:
Code: Select all
x = 29, y = 28, rule = B2e3ceijq4aenqz5kn6a/S1e2ac3nr4ein5aejry6a78
6bo$7bo$4bobo$5bo9$5bo$4bobo$7bo$6bo5$13bo12bo$2bo9bobo10bobo$15bo8bo$
2o12bo10bo$o$2bo3bo$bo2bo$3b2o!
The hierarchy:
Code: Select all
x = 108, y = 28, rule = B2e3ceijq4aenqz5kn6a/S1e2ac3nr4ein5aejry6a78
bo14bo28bo12bo27bo$obo14bo26bobo10bobo27bo$16bo30bo8bo27bobo$46bo10bo
27bo$20bo$19bobo7$85bo$84bobo$87bo$86bo5$93bo12bo$82bo9bobo10bobo$95bo
8bo$80b2o12bo10bo$80bo$82bo3bo$81bo2bo$83b2o!

Congratulations! Is this worthy of recent news? The rule also has a p43 oscillator which I can’t post at the moment because I’m on mobile.

splitterrules · Post by **splitterrules** » April 27th, 2025, 5:07 pm

My first SMOSMOS:

Code: Select all

x = 17, y = 6, rule = B3aeiqy4ain5acqy6cn7e/S2-in3-ak4inr5cjnr6ce78
3b3o5b3o$3b3o5b3o$4bo7bo$2o13b2o$3o11b3o$2o13b2o!

NimbleRogue · Post by **NimbleRogue** » April 27th, 2025, 8:48 pm

AforAmpere wrote: ↑
April 27th, 2025, 2:44 pm
The first SMOSMOSMOS in INT, finally.

a SMOSMOSMOS gun

Code: Select all

x = 727, y = 761, rule = B2e3ceijq4aenqz5kn6a/S1e2ac3nr4ein5aejry6a78
7$711bobo$707bo4bo$707bo4bo$711bobo7$720bo2bo$721b2o$118b2o3b2o595bo2b
o3$122b3o26b2o3b2o25b2o3b2o$121bobobo595b2o$113bo7b2obobo2bo38bo3bo$
113bo7bobob2o2bo25b3o11bobo11b3o30b2o3b2o$122bobobo27bobobo23bobobo$
117b3o3b3o20bo7b2obobo2bo15bo2bobob2o7bo496bobo$116bobobo14bo3bo6bo7bo
bob2o2bo15bo2b2obobo7bo21b3o473bo$113bo2b2obobo7bo6bobo16bobobo21bobob
o29bobobo$113bo2bobob2o7bo20b3o3b3o23b3o3b3o20bo2bobob2o7bo460bo$117bo
bobo27bobobo33bobobo12bo3bo2bo2b2obobo7bo461bo$118b3o25bo2b2obobo7bo
15bo7bobob2o2bo10bobo6bobobo469bo$146bo2bobob2o7bo15bo7b2obobo2bo20b3o
3b3o$150bobobo31bobobo29bobobo$123b2o11b3o12b3o33b3o21bo7bobob2o2bo
464bo$137bo73bo7b2obobo2bo463b2o$219bobobo468bo10bo$156b2o25b2o20b3o
12b3o470b3o6bo$206bo487bo8bo$119bo$118b3o95b2o470bo10bo$689bo8bobo$
108bo43bo35bo$109bo3bo14bo22b3o33b3o$113b2o12b2o$109bo3bo14bo37bo10bo
43bo$108bo37bo14bo3bo12bo3bo14bo22b3o445bo$146b2o12b2o20b2o12b2o470bo$
121b3o22bo14bo3bo12bo3bo14bo37bo431bob2o$122bo43bo10bo37bo14bo3bo432b
2obo$215b2o12b2o439bo$154b3o33b3o22bo14bo3bo434bobo$155bo35bo43bo2$
126b2o95b3o443b3o$224bo$137bo$121b3o12b3o20b2o25b2o$120bobobo550bo2bo$
116bo2bobob2o7bo73bo460bo7bo3b3o$116bo2b2obobo7bo21b3o33b3o12b3o11b2o
446b3o5bo2bo2bo$119bobobo29bobobo31bobobo473bobo10bob2o$120b3o3b3o20bo
2bobob2o7bo15bo7b2obobo2bo470b3o9b2o$125bobobo19bo2b2obobo7bo15bo7bobo
b2o2bo25b3o$116bo7bobob2o2bo19bobobo33bobobo27bobobo438bo$116bo7b2obob
o2bo20b3o3b3o23b3o3b3o20bo7b2obobo2bo433bo$124bobobo29bobobo21bobobo
25bo7bobob2o2bo416bobo$125b3o21bo7bobob2o2bo15bo2b2obobo7bo25bobobo
420bo$149bo7b2obobo2bo15bo2bobob2o7bo20b3o3b3o$157bobobo23bobobo27bobo
bo422bo$121b2o3b2o30b3o25b3o25bo2b2obobo7bo412b2o$214bo2bobob2o7bo412b
obo$218bobobo420bobo$154b2o3b2o25b2o3b2o26b3o421b2o$644bo$110bo$111bo
21bo37bo47b2o3b2o422bo$134bo2bo32bo476bobo$111bo26bo91bo$110bo91bo26bo
$170bo32bo2bo445bo10bo$115b2o3b2o47bo37bo21bo423bo8bo$230bo421bo10bo2$
119b3o26b2o3b2o25b2o3b2o470b2o$118bobobo532b2o2b2o$110bo7b2obobo2bo
529b4o$110bo7bobob2o2bo25b3o25b3o30b2o3b2o$119bobobo27bobobo23bobobo$
114b3o3b3o20bo7b2obobo2bo15bo2bobob2o7bo434bo$113bobobo25bo7bobob2o2bo
15bo2b2obobo7bo21b3o409b3o$110bo2b2obobo7bo25bobobo21bobobo29bobobo
407bo$110bo2bobob2o7bo20b3o3b3o23b3o3b3o20bo2bobob2o7bo398b2o$114bobob
o27bobobo33bobobo19bo2b2obobo7bo399bo$115b3o25bo2b2obobo7bo15bo7bobob
2o2bo19bobobo$143bo2bobob2o7bo15bo7b2obobo2bo20b3o3b3o$147bobobo31bobo
bo29bobobo$120b2o11b3o12b3o33b3o21bo7bobob2o2bo$134bo73bo7b2obobo2bo
399bo$216bobobo402b2o$153b2o25b2o20b3o12b3o404bo$203bo$116bo522bo$115b
3o95b2o424b2o$624bo14bo$105bo43bo35bo439bo3b3o4b3o$106bo3bo14bo22b3o
33b3o443bo6bo$110b2o12b2o$106bo3bo14bo37bo10bo43bo$105bo37bo14bo3bo12b
o3bo14bo22b3o$143b2o12b2o20b2o12b2o$118b3o22bo14bo3bo12bo3bo14bo37bo$
119bo43bo10bo37bo14bo3bo$212b2o12b2o376b3o$151b3o33b3o22bo14bo3bo375bo
$152bo35bo43bo$604b3o$123b2o95b3o$221bo$134bo472bo$118b3o12b3o20b2o25b
2o423bo$117bobobo481b2ob2obo$113bo2bobob2o7bo73bo402bobobo4bo$87bo3bo
21bo2b2obobo7bo21b3o33b3o12b3o11b2o388b3o4bo2bo$88bobo25bobobo29bobobo
31bobobo422bo2bo$117b3o3b3o20bo2bobob2o7bo15bo7b2obobo2bo413bo4bo2bo$
24bo3bo93bobobo6bobo10bo2b2obobo7bo15bo7bobob2o2bo25b3o385bo$25bobo85b
o7bobob2o2bo2bo3bo12bobobo33bobobo27bobobo$57bo3bo6b2o3b2o13b3o22bo7b
2obobo2bo20b3o3b3o23b3o3b3o20bo7b2obobo2bo373bo$58bobo28bo31bobobo29bo
bobo21bobobo16bobo6bo7bobob2o2bo354bo17bo$122b3o21bo7bobob2o2bo15bo2b
2obobo7bo6bo3bo14bobobo356b3o$5b2o3b2o13b3o44b3o29b2o3b2o35bo7b2obobo
2bo15bo2bobob2o7bo20b3o3b3o356bo$26bo44bobobo78bobobo23bobobo27bobobo
360b2o$63bo7b2obobo8bo32b2o3b2o30b3o25b3o25bo2b2obobo7bo352bo$9b3o29b
2o3b2o15bo7bobob2o7b2o18b3o104bo2bobob2o7bo$8bobobo59bobobo8bo17bobobo
107bobobo$o7b2obobo8bo44b3o3b3o17bo8bobob2o7bo35b2o3b2o25b2o3b2o26b3o$
o7bobob2o7b2o18b3o22bobobo22b2o7b2obobo7bo$9bobobo8bo17bobobo18bo2b2ob
obo7bo13bo8bobobo473bo$4b3o3b3o17bo8bobob2o7bo10bo2bobob2o7bo23b3o3b3o
104b2o3b2o356b2o$3bobobo22b2o7b2obobo7bo14bobobo36bobobo467bo$o2b2obob
o7bo13bo8bobobo24b3o28bo7bobob2o2bo465b3o$o2bobob2o7bo23b3o3b3o40bo9bo
7b2obobo2bo466bo$4bobobo36bobobo38b3o16bobobo$5b3o28bo7bobob2o2bo15b2o
3b2o33b3o$26bo9bo7b2obobo2bo$25b3o16bobobo539bo10bo$5b2o3b2o33b3o56b2o
3b2o476b2o10b2o$588bo10bo$576bo12b3o4b3o$41b2o3b2o61bo464b3o13bo6bo$
58bo20bo22bo5bo465bobo$59bo19b2o20b2o458bo11b3o$9bo69bo22bo5bo450b3o
16b3o$10bo5bo22bo69bo449bobo15bobo$16b2o20b2o19bo498b3o16b3o$10bo5bo
22bo20bo516bo$9bo4$71b2o3b2o13b3o$92bo2$8b2o3b2o13b3o44b3o29b2o3b2o
444b3o$29bo44bobobo480bobo$66bo7b2obobo8bo470b3o$12b3o29b2o3b2o15bo7bo
bob2o7b2o18b3o451bo$11bobobo59bobobo8bo17bobobo451b3o10b3o$3bo7b2obobo
8bo44b3o3b3o17bo8bobob2o7bo444bobo8bobo$3bo7bobob2o7b2o18b3o22bobobo
22b2o7b2obobo7bo444b3o8b3o$12bobobo8bo17bobobo18bo2b2obobo7bo13bo8bobo
bo455bo8bo$7b3o3b3o17bo8bobob2o7bo10bo2bobob2o7bo23b3o3b3o55bo$6bobobo
22b2o7b2obobo7bo14bobobo36bobobo53b3o$3bo2b2obobo7bo13bo8bobobo24b3o
28bo7bobob2o2bo$3bo2bobob2o7bo23b3o3b3o40bo9bo7b2obobo2bo$7bobobo36bob
obo38b3o16bobobo$8b3o28bo7bobob2o2bo15b2o3b2o33b3o$29bo9bo7b2obobo2bo$
28b3o16bobobo$8b2o3b2o33b3o40bobo13b2o3b2o428bo$90bo3bo445b2o$542bobo$
28bobo13b2o3b2o491b2o$27bo3bo509b2o$539bo7bo$5bo532b3o5bo$6bo56bo91bo
389b3obo$59bo2bo91b2o389bo2bo$6bo51bo96bo387bo4bo$5bo537b2o$543bo$90bo
3bo422bo19bo$71b2o3b2o13bobo421b3o18bo$515bobo$27bo3bo482b3o$8b2o3b2o
13bobo40b3o33b2o3b2o$70bobobo16b3o$66bo2bobob2o7bo9bo$8b3o33b2o3b2o15b
o2b2obobo7bo28b3o$7bobobo16b3o38bobobo36bobobo$3bo2bobob2o7bo9bo40b3o
3b3o23bo7b2obobo2bo$3bo2b2obobo7bo28b3o24bobobo8bo13bo7bobob2o2bo$6bob
obo36bobobo14bo7bobob2o7b2o22bobobo$7b3o3b3o23bo7b2obobo2bo10bo7b2obob
o8bo17b3o3b3o399b3o$12bobobo8bo13bo7bobob2o2bo18bobobo17bo8bobobo405bo
bo$3bo7bobob2o7b2o22bobobo22b3o18b2o7b2obobo7bo396b3o$3bo7b2obobo8bo
17b3o3b3o44bo8bobob2o7bo398bo$11bobobo17bo8bobobo59bobobo$12b3o18b2o7b
2obobo7bo15b2o3b2o29b3o$33bo8bobob2o7bo$43bobobo44bo$8b2o3b2o29b3o44b
3o13b2o3b2o408b3o10b3o$523bobo8bobo$29bo481bo11b3o8b3o$28b3o13b2o3b2o
460bo13bo8bo$510b2o2$513b3o$112bo383bo16bo$61bo20bo22bo5bo382b2ob2o$
62bo19b2o20b2o387bo5bo$12bo69bo22bo5bo380b2o$13bo5bo22bo69bo$19b2o20b
2o19bo$13bo5bo22bo20bo428b2o$12bo61b2o3b2o412bo5bo$494b2ob2o$496bo$11b
2o3b2o56b3o33b2o3b2o$73bobobo16b3o406bo4bo$69bo2bobob2o7bo9bo406bo6bo$
11b3o33b2o3b2o15bo2b2obobo7bo28b3o101bo283bo6bo$10bobobo16b3o38bobobo
36bobobo99b3o281bo8bo$6bo2bobob2o7bo9bo40b3o3b3o23bo7b2obobo2bo380bo6b
o$6bo2b2obobo7bo28b3o24bobobo8bo13bo7bobob2o2bo93bo286bo6bo$9bobobo36b
obobo14bo7bobob2o7b2o22bobobo95b2o287b2o2b2o$10b3o3b3o23bo7b2obobo2bo
10bo7b2obobo8bo17b3o3b3o97bo288bo2bo$15bobobo8bo13bo7bobob2o2bo18bobob
o17bo8bobobo$6bo7bobob2o7b2o22bobobo22b3o18b2o7b2obobo7bo$6bo7b2obobo
8bo17b3o3b3o44bo8bobob2o7bo$14bobobo17bo8bobobo59bobobo$15b3o18b2o7b2o
bobo7bo15b2o3b2o29b3o$36bo8bobob2o7bo$46bobobo44bo381bo$11b2o3b2o29b3o
44b3o13b2o3b2o360b3o2$32bo28bobo410b4o$31b3o13b2o3b2o6bo3bo187b2o27b2o
26bo27b2o26bobo26bo79bo$94bobo155bobo27bo26b3o27bo26bo26b3o25bobo26bo$
93bo3bo152b2obo28bo27bo111bo26b3o32bo$250bob2o24bo27b2o26bo27bo28bo27b
o28bo35bo$31bobo217bo26b3o26b2o25bo28bo26b2o28bo26b2o33bob2o$30bo3bo
272bo27bo26bo28bo27bo28bo33bo$482bo$481b2o$473bo$472bo$30bo3bo272bo27b
o26bo28bo27bo28bo$31bobo217bo26b3o26b2o25bo28bo26b2o28bo26b2o$250bob2o
24bo27b2o26bo27bo28bo27bo28bo$93bo3bo152b2obo28bo27bo111bo26b3o$94bobo
155bobo27bo26b3o27bo26bo26b3o25bobo26bo$31b3o13b2o3b2o6bo3bo187b2o27b
2o26bo27b2o26bobo26bo$32bo28bobo2$11b2o3b2o29b3o44b3o13b2o3b2o$46bobob
o44bo$36bo8bobob2o7bo$15b3o18b2o7b2obobo7bo15b2o3b2o29b3o$14bobobo17bo
8bobobo59bobobo$6bo7b2obobo8bo17b3o3b3o44bo8bobob2o7bo$6bo7bobob2o7b2o
22bobobo22b3o18b2o7b2obobo7bo$15bobobo8bo13bo7bobob2o2bo18bobobo17bo8b
obobo$10b3o3b3o23bo7b2obobo2bo10bo7b2obobo8bo17b3o3b3o97bo$9bobobo36bo
bobo14bo7bobob2o7b2o22bobobo95b2o$6bo2b2obobo7bo28b3o24bobobo8bo13bo7b
obob2o2bo93bo$6bo2bobob2o7bo9bo40b3o3b3o23bo7b2obobo2bo$10bobobo16b3o
38bobobo36bobobo99b3o248bo10bo$11b3o33b2o3b2o15bo2b2obobo7bo28b3o101bo
248b2o10b2o$69bo2bobob2o7bo9bo372bo10bo$73bobobo16b3o372b3o4b3o$11b2o
3b2o56b3o33b2o3b2o353bo6bo3$12bo61b2o3b2o$13bo5bo22bo20bo$19b2o20b2o
19bo$13bo5bo22bo69bo$12bo69bo22bo5bo$62bo19b2o20b2o$61bo20bo22bo5bo$
112bo4$28b3o13b2o3b2o$29bo2$8b2o3b2o29b3o44b3o13b2o3b2o$43bobobo44bo$
33bo8bobob2o7bo$12b3o18b2o7b2obobo7bo15b2o3b2o29b3o$11bobobo17bo8bobob
o59bobobo$3bo7b2obobo8bo17b3o3b3o44bo8bobob2o7bo$3bo7bobob2o7b2o22bobo
bo22b3o18b2o7b2obobo7bo$12bobobo8bo13bo7bobob2o2bo18bobobo17bo8bobobo
357bo12bo$7b3o3b3o23bo7b2obobo2bo10bo7b2obobo8bo17b3o3b3o353bo10bo$6bo
bobo36bobobo14bo7bobob2o7b2o22bobobo351bo12bo$3bo2b2obobo7bo28b3o24bob
obo8bo13bo7bobob2o2bo351bo6bo$3bo2bobob2o7bo9bo40b3o3b3o23bo7b2obobo2b
o350bobo4bobo$7bobobo16b3o38bobobo36bobobo$8b3o33b2o3b2o15bo2b2obobo7b
o28b3o$66bo2bobob2o7bo9bo$70bobobo16b3o$8b2o3b2o13bobo40b3o33b2o3b2o$
27bo3bo2$71b2o3b2o13bobo$90bo3bo2$5bo$6bo51bo96bo$59bo2bo91b2o$6bo56bo
91bo$5bo2$27bo3bo$28bobo13b2o3b2o2$90bo3bo$8b2o3b2o33b3o40bobo13b2o3b
2o$28b3o16bobobo$29bo9bo7b2obobo2bo$8b3o28bo7bobob2o2bo15b2o3b2o33b3o
353bo12bo$7bobobo36bobobo38b3o16bobobo351b2o12b2o$3bo2bobob2o7bo23b3o
3b3o40bo9bo7b2obobo2bo348bo12bo$3bo2b2obobo7bo13bo8bobobo24b3o28bo7bob
ob2o2bo$6bobobo22b2o7b2obobo7bo14bobobo36bobobo53b3o297b3o4b3o$7b3o3b
3o17bo8bobob2o7bo10bo2bobob2o7bo23b3o3b3o55bo299bo6bo$12bobobo8bo17bob
obo18bo2b2obobo7bo13bo8bobobo$3bo7bobob2o7b2o18b3o22bobobo22b2o7b2obob
o7bo$3bo7b2obobo8bo44b3o3b3o17bo8bobob2o7bo$11bobobo59bobobo8bo17bobob
o$12b3o29b2o3b2o15bo7bobob2o7b2o18b3o$66bo7b2obobo8bo$29bo44bobobo$8b
2o3b2o13b3o44b3o29b2o3b2o2$92bo$71b2o3b2o13b3o4$9bo$10bo5bo22bo20bo$
16b2o20b2o19bo$10bo5bo22bo69bo$9bo69bo22bo5bo$59bo19b2o20b2o$58bo20bo
22bo5bo$41b2o3b2o61bo$466bo14bo$467bo12bo$5b2o3b2o33b3o56b2o3b2o355bo
14bo$25b3o16bobobo$26bo9bo7b2obobo2bo417bo6bo$5b3o28bo7bobob2o2bo15b2o
3b2o33b3o358bobo4bobo$4bobobo36bobobo38b3o16bobobo$o2bobob2o7bo23b3o3b
3o40bo9bo7b2obobo2bo$o2b2obobo7bo13bo8bobobo24b3o28bo7bobob2o2bo$3bobo
bo22b2o7b2obobo7bo14bobobo36bobobo$4b3o3b3o17bo8bobob2o7bo10bo2bobob2o
7bo23b3o3b3o104b2o3b2o$9bobobo8bo17bobobo18bo2b2obobo7bo13bo8bobobo$o
7bobob2o7b2o18b3o22bobobo22b2o7b2obobo7bo$o7b2obobo8bo44b3o3b3o17bo8bo
bob2o7bo35b2o3b2o25b2o3b2o26b3o$8bobobo59bobobo8bo17bobobo107bobobo$9b
3o29b2o3b2o15bo7bobob2o7b2o18b3o104bo2bobob2o7bo$63bo7b2obobo8bo32b2o
3b2o30b3o25b3o25bo2b2obobo7bo$26bo44bobobo78bobobo23bobobo27bobobo$5b
2o3b2o13b3o44b3o29b2o3b2o35bo7b2obobo2bo15bo2bobob2o7bo20b3o3b3o$122b
3o21bo7bobob2o2bo15bo2b2obobo7bo6bo3bo14bobobo$58bobo28bo31bobobo29bob
obo21bobobo16bobo6bo7bobob2o2bo$57bo3bo6b2o3b2o13b3o22bo7b2obobo2bo20b
3o3b3o23b3o3b3o20bo7b2obobo2bo$25bobo85bo7bobob2o2bo2bo3bo12bobobo33bo
bobo27bobobo$24bo3bo93bobobo6bobo10bo2b2obobo7bo15bo7bobob2o2bo25b3o$
117b3o3b3o20bo2bobob2o7bo15bo7b2obobo2bo$88bobo25bobobo29bobobo31bobob
o$87bo3bo21bo2b2obobo7bo21b3o33b3o12b3o11b2o$113bo2bobob2o7bo73bo$117b
obobo345bo12bo$118b3o12b3o20b2o25b2o281bo14bo$134bo331bo14bo$221bo$
123b2o95b3o248bo4bo$469b2o6b2o$152bo35bo43bo$151b3o33b3o22bo14bo3bo$
212b2o12b2o$119bo43bo10bo37bo14bo3bo$118b3o22bo14bo3bo12bo3bo14bo37bo$
143b2o12b2o20b2o12b2o$105bo37bo14bo3bo12bo3bo14bo22b3o$106bo3bo14bo37b
o10bo43bo$110b2o12b2o$106bo3bo14bo22b3o33b3o$105bo43bo35bo2$115b3o95b
2o$116bo$203bo$153b2o25b2o20b3o12b3o$216bobobo$134bo73bo7b2obobo2bo$
120b2o11b3o12b3o33b3o21bo7bobob2o2bo$147bobobo31bobobo29bobobo$143bo2b
obob2o7bo15bo7b2obobo2bo20b3o3b3o$115b3o25bo2b2obobo7bo15bo7bobob2o2bo
19bobobo$114bobobo27bobobo33bobobo19bo2b2obobo7bo242bo12bo$110bo2bobob
2o7bo20b3o3b3o23b3o3b3o20bo2bobob2o7bo242b2o10b2o$110bo2b2obobo7bo25bo
bobo21bobobo29bobobo249b2o12b2o$113bobobo25bo7bobob2o2bo15bo2b2obobo7b
o21b3o254bo6bo$114b3o3b3o20bo7b2obobo2bo15bo2bobob2o7bo277b3o4b3o$119b
obobo27bobobo23bobobo285bo8bo$110bo7bobob2o2bo25b3o25b3o30b2o3b2o$110b
o7b2obobo2bo$118bobobo$119b3o26b2o3b2o25b2o3b2o2$230bo$115b2o3b2o47bo
37bo21bo$170bo32bo2bo$110bo91bo26bo$111bo26bo91bo$134bo2bo32bo$111bo
21bo37bo47b2o3b2o$110bo2$154b2o3b2o25b2o3b2o26b3o$218bobobo$214bo2bobo
b2o7bo$121b2o3b2o30b3o25b3o25bo2b2obobo7bo$157bobobo23bobobo27bobobo$
149bo7b2obobo2bo15bo2bobob2o7bo20b3o3b3o$125b3o21bo7bobob2o2bo15bo2b2o
bobo7bo25bobobo$124bobobo29bobobo21bobobo25bo7bobob2o2bo$116bo7b2obobo
2bo20b3o3b3o23b3o3b3o20bo7b2obobo2bo$116bo7bobob2o2bo19bobobo33bobobo
27bobobo239b3o10b3o$125bobobo19bo2b2obobo7bo15bo7bobob2o2bo25b3o240bo
14bo$120b3o3b3o20bo2bobob2o7bo15bo7b2obobo2bo272bo6bo$119bobobo29bobob
o31bobobo276bo6bo$116bo2b2obobo7bo21b3o33b3o12b3o11b2o248b2o6b2o$116bo
2bobob2o7bo73bo$120bobobo$121b3o12b3o20b2o25b2o$137bo$224bo$126b2o95b
3o2$155bo35bo43bo$154b3o33b3o22bo14bo3bo$215b2o12b2o$122bo43bo10bo37bo
14bo3bo$121b3o22bo14bo3bo12bo3bo14bo37bo$146b2o12b2o20b2o12b2o$108bo
37bo14bo3bo12bo3bo14bo22b3o$109bo3bo14bo37bo10bo43bo$113b2o12b2o$109bo
3bo14bo22b3o33b3o$108bo43bo35bo2$118b3o95b2o$119bo$206bo$156b2o25b2o
20b3o12b3o$219bobobo243bo12bo$137bo73bo7b2obobo2bo238bob2o8b2obo$123b
2o11b3o12b3o33b3o21bo7bobob2o2bo238b2obo8bob2o$150bobobo31bobobo29bobo
bo243bobo6bobo$146bo2bobob2o7bo15bo7b2obobo2bo20b3o3b3o244b2o8b2o$118b
3o25bo2b2obobo7bo15bo7bobob2o2bo10bobo6bobobo$117bobobo27bobobo33bobob
o12bo3bo2bo2b2obobo7bo$113bo2bobob2o7bo20b3o3b3o23b3o3b3o20bo2bobob2o
7bo$113bo2b2obobo7bo6bobo16bobobo21bobobo29bobobo$116bobobo14bo3bo6bo
7bobob2o2bo15bo2b2obobo7bo21b3o$117b3o3b3o20bo7b2obobo2bo15bo2bobob2o
7bo$122bobobo27bobobo23bobobo$113bo7bobob2o2bo25b3o11bobo11b3o30b2o3b
2o$113bo7b2obobo2bo38bo3bo$121bobobo$122b3o26b2o3b2o25b2o3b2o3$118b2o
3b2o$266bo3bo406bo3bo$267bobo408bobo2$329bo3bo280bo3bo$330bobo282bobo$
267b3o13b2o3b2o6bo3bo346bo3bo6b2o3b2o13b3o$268bo28bobo348bobo28bo2$
247b2o3b2o29b3o44b3o13b2o3b2o242b2o3b2o13b3o44b3o29b2o3b2o$282bobobo
44bo284bo44bobobo$272bo8bobob2o7bo358bo7b2obobo8bo$251b3o18b2o7b2obobo
7bo15b2o3b2o29b3o250b3o29b2o3b2o15bo7bobob2o7b2o18b3o$250bobobo17bo8bo
bobo59bobobo248bobobo59bobobo8bo17bobobo$242bo7b2obobo8bo17b3o3b3o44bo
8bobob2o7bo232bo7b2obobo8bo44b3o3b3o17bo8bobob2o7bo$242bo7bobob2o7b2o
22bobobo22b3o18b2o7b2obobo7bo232bo7bobob2o7b2o18b3o22bobobo22b2o7b2obo
bo7bo$251bobobo8bo13bo7bobob2o2bo18bobobo17bo8bobobo250bobobo8bo17bobo
bo18bo2b2obobo7bo13bo8bobobo$246b3o3b3o23bo7b2obobo2bo10bo7b2obobo8bo
17b3o3b3o97bo44bo97b3o3b3o17bo8bobob2o7bo10bo2bobob2o7bo23b3o3b3o$245b
obobo36bobobo14bo7bobob2o7b2o22bobobo95b2o44b2o95bobobo22b2o7b2obobo7b
o14bobobo36bobobo$242bo2b2obobo7bo28b3o24bobobo8bo13bo7bobob2o2bo93bo
44bo93bo2b2obobo7bo13bo8bobobo24b3o28bo7bobob2o2bo$242bo2bobob2o7bo9bo
40b3o3b3o23bo7b2obobo2bo232bo2bobob2o7bo23b3o3b3o40bo9bo7b2obobo2bo$
246bobobo16b3o38bobobo36bobobo99b3o36b3o99bobobo36bobobo38b3o16bobobo$
247b3o33b2o3b2o15bo2b2obobo7bo28b3o101bo38bo101b3o28bo7bobob2o2bo15b2o
3b2o33b3o$305bo2bobob2o7bo9bo284bo9bo7b2obobo2bo$309bobobo16b3o282b3o
16bobobo$247b2o3b2o56b3o33b2o3b2o242b2o3b2o33b3o56b2o3b2o3$248bo61b2o
3b2o314b2o3b2o61bo$249bo5bo22bo20bo348bo20bo22bo5bo$255b2o20b2o19bo
350bo19b2o20b2o$249bo5bo22bo69bo250bo69bo22bo5bo$248bo69bo22bo5bo252bo
5bo22bo69bo$298bo19b2o20b2o264b2o20b2o19bo$297bo20bo22bo5bo252bo5bo22b
o20bo$348bo250bo4$264b3o13b2o3b2o374b2o3b2o13b3o$265bo416bo2$244b2o3b
2o29b3o44b3o13b2o3b2o248b2o3b2o13b3o44b3o29b2o3b2o$279bobobo44bo290bo
44bobobo$269bo8bobob2o7bo364bo7b2obobo8bo$248b3o18b2o7b2obobo7bo15b2o
3b2o29b3o256b3o29b2o3b2o15bo7bobob2o7b2o18b3o$247bobobo17bo8bobobo59bo
bobo254bobobo59bobobo8bo17bobobo$239bo7b2obobo8bo17b3o3b3o44bo8bobob2o
7bo238bo7b2obobo8bo44b3o3b3o17bo8bobob2o7bo$239bo7bobob2o7b2o22bobobo
22b3o18b2o7b2obobo7bo238bo7bobob2o7b2o18b3o22bobobo22b2o7b2obobo7bo$
248bobobo8bo13bo7bobob2o2bo18bobobo17bo8bobobo256bobobo8bo17bobobo18bo
2b2obobo7bo13bo8bobobo$243b3o3b3o23bo7b2obobo2bo10bo7b2obobo8bo17b3o3b
3o246b3o3b3o17bo8bobob2o7bo10bo2bobob2o7bo23b3o3b3o$242bobobo36bobobo
14bo7bobob2o7b2o22bobobo244bobobo22b2o7b2obobo7bo14bobobo36bobobo$239b
o2b2obobo7bo28b3o24bobobo8bo13bo7bobob2o2bo238bo2b2obobo7bo13bo8bobobo
24b3o28bo7bobob2o2bo$239bo2bobob2o7bo9bo40b3o3b3o23bo7b2obobo2bo238bo
2bobob2o7bo23b3o3b3o40bo9bo7b2obobo2bo$243bobobo16b3o38bobobo36bobobo
246bobobo36bobobo38b3o16bobobo$244b3o33b2o3b2o15bo2b2obobo7bo28b3o248b
3o28bo7bobob2o2bo15b2o3b2o33b3o$302bo2bobob2o7bo9bo290bo9bo7b2obobo2bo
$306bobobo16b3o288b3o16bobobo$244b2o3b2o13bobo40b3o33b2o3b2o248b2o3b2o
33b3o40bobo13b2o3b2o$263bo3bo412bo3bo2$307b2o3b2o13bobo288bobo13b2o3b
2o$326bo3bo286bo3bo2$241bo464bo$242bo51bo96bo164bo96bo51bo$295bo2bo91b
2o164b2o91bo2bo$242bo56bo91bo164bo91bo56bo$241bo464bo2$263bo3bo412bo3b
o$264bobo13b2o3b2o374b2o3b2o13bobo2$326bo3bo286bo3bo$244b2o3b2o33b3o
40bobo13b2o3b2o248b2o3b2o13bobo40b3o33b2o3b2o$264b3o16bobobo372bobobo
16b3o$265bo9bo7b2obobo2bo364bo2bobob2o7bo9bo$244b3o28bo7bobob2o2bo15b
2o3b2o33b3o248b3o33b2o3b2o15bo2b2obobo7bo28b3o$243bobobo36bobobo38b3o
16bobobo246bobobo16b3o38bobobo36bobobo$239bo2bobob2o7bo23b3o3b3o40bo9b
o7b2obobo2bo238bo2bobob2o7bo9bo40b3o3b3o23bo7b2obobo2bo$239bo2b2obobo
7bo13bo8bobobo24b3o28bo7bobob2o2bo238bo2b2obobo7bo28b3o24bobobo8bo13bo
7bobob2o2bo$242bobobo22b2o7b2obobo7bo14bobobo36bobobo53b3o132b3o53bobo
bo36bobobo14bo7bobob2o7b2o22bobobo$243b3o3b3o17bo8bobob2o7bo10bo2bobob
2o7bo23b3o3b3o55bo134bo55b3o3b3o23bo7b2obobo2bo10bo7b2obobo8bo17b3o3b
3o$248bobobo8bo17bobobo18bo2b2obobo7bo13bo8bobobo256bobobo8bo13bo7bobo
b2o2bo18bobobo17bo8bobobo$239bo7bobob2o7b2o18b3o22bobobo22b2o7b2obobo
7bo238bo7bobob2o7b2o22bobobo22b3o18b2o7b2obobo7bo$239bo7b2obobo8bo44b
3o3b3o17bo8bobob2o7bo238bo7b2obobo8bo17b3o3b3o44bo8bobob2o7bo$247bobob
o59bobobo8bo17bobobo254bobobo17bo8bobobo59bobobo$248b3o29b2o3b2o15bo7b
obob2o7b2o18b3o256b3o18b2o7b2obobo7bo15b2o3b2o29b3o$302bo7b2obobo8bo
298bo8bobob2o7bo$265bo44bobobo318bobobo44bo$244b2o3b2o13b3o44b3o29b2o
3b2o248b2o3b2o29b3o44b3o13b2o3b2o2$328bo290bo$307b2o3b2o13b3o288b3o13b
2o3b2o4$245bo456bo$246bo5bo22bo20bo354bo20bo22bo5bo$252b2o20b2o19bo
356bo19b2o20b2o$246bo5bo22bo69bo256bo69bo22bo5bo$245bo69bo22bo5bo258bo
5bo22bo69bo$295bo19b2o20b2o270b2o20b2o19bo$294bo20bo22bo5bo258bo5bo22b
o20bo$277b2o3b2o61bo256bo61b2o3b2o3$241b2o3b2o33b3o56b2o3b2o254b2o3b2o
56b3o33b2o3b2o$261b3o16bobobo378bobobo16b3o$262bo9bo7b2obobo2bo370bo2b
obob2o7bo9bo$241b3o28bo7bobob2o2bo15b2o3b2o33b3o254b3o33b2o3b2o15bo2b
2obobo7bo28b3o$240bobobo36bobobo38b3o16bobobo252bobobo16b3o38bobobo36b
obobo$236bo2bobob2o7bo23b3o3b3o40bo9bo7b2obobo2bo244bo2bobob2o7bo9bo
40b3o3b3o23bo7b2obobo2bo$236bo2b2obobo7bo13bo8bobobo24b3o28bo7bobob2o
2bo244bo2b2obobo7bo28b3o24bobobo8bo13bo7bobob2o2bo$239bobobo22b2o7b2ob
obo7bo14bobobo36bobobo250bobobo36bobobo14bo7bobob2o7b2o22bobobo$240b3o
3b3o17bo8bobob2o7bo10bo2bobob2o7bo23b3o3b3o104b2o3b2o30b2o3b2o104b3o3b
3o23bo7b2obobo2bo10bo7b2obobo8bo17b3o3b3o$245bobobo8bo17bobobo18bo2b2o
bobo7bo13bo8bobobo262bobobo8bo13bo7bobob2o2bo18bobobo17bo8bobobo$236bo
7bobob2o7b2o18b3o22bobobo22b2o7b2obobo7bo244bo7bobob2o7b2o22bobobo22b
3o18b2o7b2obobo7bo$236bo7b2obobo8bo44b3o3b3o17bo8bobob2o7bo35b2o3b2o
25b2o3b2o26b3o38b3o26b2o3b2o25b2o3b2o35bo7b2obobo8bo17b3o3b3o44bo8bobo
b2o7bo$244bobobo59bobobo8bo17bobobo107bobobo36bobobo107bobobo17bo8bobo
bo59bobobo$245b3o29b2o3b2o15bo7bobob2o7b2o18b3o104bo2bobob2o7bo20bo7b
2obobo2bo104b3o18b2o7b2obobo7bo15b2o3b2o29b3o$299bo7b2obobo8bo32b2o3b
2o30b3o25b3o25bo2b2obobo7bo20bo7bobob2o2bo25b3o25b3o30b2o3b2o32bo8bobo
b2o7bo$262bo44bobobo78bobobo23bobobo27bobobo38bobobo27bobobo23bobobo
78bobobo44bo$241b2o3b2o13b3o44b3o29b2o3b2o35bo7b2obobo2bo15bo2bobob2o
7bo20b3o3b3o28b3o3b3o20bo7b2obobo2bo15bo2bobob2o7bo35b2o3b2o29b3o44b3o
13b2o3b2o$358b3o21bo7bobob2o2bo15bo2b2obobo7bo6bo3bo14bobobo26bobobo
14bo3bo6bo7bobob2o2bo15bo2b2obobo7bo21b3o$294bobo28bo31bobobo29bobobo
21bobobo16bobo6bo7bobob2o2bo20bo2b2obobo7bo6bobo16bobobo21bobobo29bobo
bo31bo28bobo$293bo3bo6b2o3b2o13b3o22bo7b2obobo2bo20b3o3b3o23b3o3b3o20b
o7b2obobo2bo20bo2bobob2o7bo20b3o3b3o23b3o3b3o20bo2bobob2o7bo22b3o13b2o
3b2o6bo3bo$261bobo85bo7bobob2o2bo2bo3bo12bobobo33bobobo27bobobo28bobob
o27bobobo33bobobo12bo3bo2bo2b2obobo7bo85bobo$260bo3bo93bobobo6bobo10bo
2b2obobo7bo15bo7bobob2o2bo25b3o30b3o25bo2b2obobo7bo15bo7bobob2o2bo10bo
bo6bobobo93bo3bo$353b3o3b3o20bo2bobob2o7bo15bo7b2obobo2bo86bo2bobob2o
7bo15bo7b2obobo2bo20b3o3b3o$324bobo25bobobo29bobobo31bobobo94bobobo31b
obobo29bobobo25bobo$323bo3bo21bo2b2obobo7bo21b3o33b3o12b3o11b2o40b2o
11b3o12b3o33b3o21bo7bobob2o2bo21bo3bo$349bo2bobob2o7bo73bo68bo73bo7b2o
bobo2bo$353bobobo232bobobo$354b3o12b3o20b2o25b2o106b2o25b2o20b3o12b3o$
370bo206bo$457bo32bo$359b2o95b3o30b3o95b2o2$388bo35bo43bo10bo43bo35bo$
387b3o33b3o22bo14bo3bo12bo3bo14bo22b3o33b3o$448b2o12b2o20b2o12b2o$355b
o43bo10bo37bo14bo3bo12bo3bo14bo37bo10bo43bo$354b3o22bo14bo3bo12bo3bo
14bo37bo10bo37bo14bo3bo12bo3bo14bo22b3o$379b2o12b2o20b2o12b2o86b2o12b
2o20b2o12b2o$341bo37bo14bo3bo12bo3bo14bo22b3o36b3o22bo14bo3bo12bo3bo
14bo37bo$342bo3bo14bo37bo10bo43bo38bo43bo10bo37bo14bo3bo$346b2o12b2o
224b2o12b2o$342bo3bo14bo22b3o33b3o102b3o33b3o22bo14bo3bo$341bo43bo35bo
104bo35bo43bo2$351b3o95b2o46b2o95b3o$352bo242bo$439bo68bo$389b2o25b2o
20b3o12b3o36b3o12b3o20b2o25b2o$452bobobo34bobobo$370bo73bo7b2obobo2bo
26bo2bobob2o7bo73bo$356b2o11b3o12b3o33b3o21bo7bobob2o2bo26bo2b2obobo7b
o21b3o33b3o12b3o11b2o$383bobobo31bobobo29bobobo32bobobo29bobobo31bobob
o$379bo2bobob2o7bo15bo7b2obobo2bo20b3o3b3o34b3o3b3o20bo2bobob2o7bo15bo
7b2obobo2bo$351b3o25bo2b2obobo7bo15bo7bobob2o2bo19bobobo44bobobo19bo2b
2obobo7bo15bo7bobob2o2bo25b3o$350bobobo27bobobo33bobobo19bo2b2obobo7bo
26bo7bobob2o2bo19bobobo33bobobo27bobobo$346bo2bobob2o7bo20b3o3b3o23b3o
3b3o20bo2bobob2o7bo26bo7b2obobo2bo20b3o3b3o23b3o3b3o20bo7b2obobo2bo$
346bo2b2obobo7bo25bobobo21bobobo29bobobo42bobobo29bobobo21bobobo25bo7b
obob2o2bo$349bobobo25bo7bobob2o2bo15bo2b2obobo7bo21b3o44b3o21bo7bobob
2o2bo15bo2b2obobo7bo25bobobo$350b3o3b3o20bo7b2obobo2bo15bo2bobob2o7bo
92bo7b2obobo2bo15bo2bobob2o7bo20b3o3b3o$355bobobo27bobobo23bobobo108bo
bobo23bobobo27bobobo$346bo7bobob2o2bo25b3o25b3o30b2o3b2o36b2o3b2o30b3o
25b3o25bo2b2obobo7bo$346bo7b2obobo2bo222bo2bobob2o7bo$354bobobo230bobo
bo$355b3o26b2o3b2o25b2o3b2o102b2o3b2o25b2o3b2o26b3o2$466bo14bo$351b2o
3b2o47bo37bo21bo16bo21bo37bo47b2o3b2o$406bo32bo2bo62bo2bo32bo$346bo91b
o26bo16bo26bo91bo$347bo26bo91bo14bo91bo26bo$370bo2bo32bo134bo32bo2bo$
347bo21bo37bo47b2o3b2o24b2o3b2o47bo37bo21bo$346bo254bo2$390b2o3b2o25b
2o3b2o26b3o32b3o26b2o3b2o25b2o3b2o$454bobobo30bobobo$450bo2bobob2o7bo
14bo7b2obobo2bo$357b2o3b2o30b3o25b3o25bo2b2obobo7bo14bo7bobob2o2bo25b
3o25b3o30b2o3b2o$393bobobo23bobobo27bobobo32bobobo27bobobo23bobobo$
385bo7b2obobo2bo15bo2bobob2o7bo20b3o3b3o22b3o3b3o20bo7b2obobo2bo15bo2b
obob2o7bo$361b3o21bo7bobob2o2bo15bo2b2obobo7bo25bobobo20bobobo25bo7bob
ob2o2bo15bo2b2obobo7bo21b3o$360bobobo29bobobo21bobobo25bo7bobob2o2bo
14bo2b2obobo7bo25bobobo21bobobo29bobobo$352bo7b2obobo2bo20b3o3b3o23b3o
3b3o20bo7b2obobo2bo14bo2bobob2o7bo20b3o3b3o23b3o3b3o20bo2bobob2o7bo$
352bo7bobob2o2bo19bobobo33bobobo27bobobo22bobobo27bobobo33bobobo19bo2b
2obobo7bo$361bobobo19bo2b2obobo7bo15bo7bobob2o2bo25b3o24b3o25bo2b2obob
o7bo15bo7bobob2o2bo19bobobo$356b3o3b3o20bo2bobob2o7bo15bo7b2obobo2bo
80bo2bobob2o7bo15bo7b2obobo2bo20b3o3b3o$355bobobo29bobobo31bobobo88bob
obo31bobobo29bobobo$352bo2b2obobo7bo21b3o33b3o12b3o11b2o34b2o11b3o12b
3o33b3o21bo7bobob2o2bo$352bo2bobob2o7bo73bo62bo73bo7b2obobo2bo$356bobo
bo226bobobo$357b3o12b3o20b2o25b2o100b2o25b2o20b3o12b3o$373bo200bo$460b
o26bo$362b2o95b3o24b3o95b2o2$391bo35bo43bo4bo43bo35bo$390b3o33b3o22bo
14bo3bo6bo3bo14bo22b3o33b3o$451b2o12b2o14b2o12b2o$358bo43bo10bo37bo14b
o3bo6bo3bo14bo37bo10bo43bo$357b3o22bo14bo3bo12bo3bo14bo37bo4bo37bo14bo
3bo12bo3bo14bo22b3o$382b2o12b2o20b2o12b2o80b2o12b2o20b2o12b2o$344bo37b
o14bo3bo12bo3bo14bo22b3o30b3o22bo14bo3bo12bo3bo14bo37bo$345bo3bo14bo
37bo10bo43bo32bo43bo10bo37bo14bo3bo$349b2o12b2o218b2o12b2o$345bo3bo14b
o22b3o33b3o96b3o33b3o22bo14bo3bo$344bo43bo35bo98bo35bo43bo2$354b3o95b
2o40b2o95b3o$355bo236bo$442bo62bo$392b2o25b2o20b3o12b3o30b3o12b3o20b2o
25b2o$455bobobo28bobobo$373bo73bo7b2obobo2bo20bo2bobob2o7bo73bo$359b2o
11b3o12b3o33b3o21bo7bobob2o2bo20bo2b2obobo7bo21b3o33b3o12b3o11b2o$386b
obobo31bobobo29bobobo26bobobo29bobobo31bobobo$382bo2bobob2o7bo15bo7b2o
bobo2bo20b3o3b3o28b3o3b3o20bo2bobob2o7bo15bo7b2obobo2bo$354b3o25bo2b2o
bobo7bo15bo7bobob2o2bo10bobo6bobobo38bobobo6bobo10bo2b2obobo7bo15bo7bo
bob2o2bo25b3o$353bobobo27bobobo33bobobo12bo3bo2bo2b2obobo7bo20bo7bobob
2o2bo2bo3bo12bobobo33bobobo27bobobo$349bo2bobob2o7bo20b3o3b3o23b3o3b3o
20bo2bobob2o7bo20bo7b2obobo2bo20b3o3b3o23b3o3b3o20bo7b2obobo2bo$349bo
2b2obobo7bo6bobo16bobobo21bobobo29bobobo36bobobo29bobobo21bobobo16bobo
6bo7bobob2o2bo$352bobobo14bo3bo6bo7bobob2o2bo15bo2b2obobo7bo21b3o38b3o
21bo7bobob2o2bo15bo2b2obobo7bo6bo3bo14bobobo$353b3o3b3o20bo7b2obobo2bo
15bo2bobob2o7bo86bo7b2obobo2bo15bo2bobob2o7bo20b3o3b3o$358bobobo27bobo
bo23bobobo102bobobo23bobobo27bobobo$349bo7bobob2o2bo25b3o11bobo11b3o
30b2o3b2o30b2o3b2o30b3o11bobo11b3o25bo2b2obobo7bo$349bo7b2obobo2bo38bo
3bo130bo3bo38bo2bobob2o7bo$357bobobo224bobobo$358b3o26b2o3b2o25b2o3b2o
96b2o3b2o25b2o3b2o26b3o3$354b2o3b2o226b2o3b2o!

wwei47 · Post by **wwei47** » April 27th, 2025, 9:58 pm

Some SMOS theory: A 0E0P made of spaceships would instantly give us SMOSes of arbitrary order, by emulating the spaceships used to make the unit cell. Sparky OMOSes can probably be used as reflectors and splitters, as well as eaters. This would make it much easier to implement the needed circuitry.

AforAmpere · Post by **AforAmpere** » April 28th, 2025, 8:11 pm

Very low period SMOS and SMOSMOS, at C/6d and 4c/17o respectively:

Code: Select all

x = 41, y = 6, rule = B2a3eqry4anrwz5ciknr6-ek7e/S2-cn3aijn4aijkrtw5cjn6cek8
2o14bo12b3o6b3o$16bobo11bobo4bobo$bo27bob2o4b2obo$13b2o15bobo4bobo2$
14bo!

EDIT, and not a minute after posting this (for context these searches have been going for hours), a 2c/16 SMOSMOS shows up:

Code: Select all

x = 41, y = 6, rule = B2a3eqry4anrwz5iq6ain7e/S2-cn3ijkn4jqrt5ijny6c7c
2o14bo12b3o6b3o$16bobo11bobo4bobo$bo27bob2o4b2obo$13b2o15bobo4bobo2$
14bo!

R2INT · Post by **R2INT** » April 30th, 2025, 9:34 am

p43 OMOS in the SMOSMOSMOS rule:

Code: Select all

x = 20, y = 5, rule = B2e3ceijq4aenqz5kn6a/S1e2ac3nr4ein5aejry6a78
5bo8bo$bo4bo6bo4bo$2o3b2o6b2o3b2o$bo4bo6bo4bo$5bo8bo!

This OMOS consists of four spaceships of two distinct types. Here they are:

Code: Select all

x = 7, y = 5, rule = B2e3ceijq4aenqz5kn6a/S1e2ac3nr4ein5aejry6a78
5bo$bo4bo$2o3b2o$bo4bo$5bo!

EDIT: c/3 from rlifesrc:

Code: Select all

x = 42, y = 33, rule = B2e3ceijq4aenqz5kn6a/S1e2ac3nr4ein5aejry6a78
4bo9bo12bo9bo$4bo9bo12bo9bo$2bo2bo7bo2bo8bo2bo7bo2bo$2bo2bo7bo2bo8bo2b
o7bo2bo$3b2o2bo3bo2b2o10b2o2bo3bo2b2o$2o4bobobobo4b2o4b2o4bobobobo4b2o
$b2o4bo3bo4b2o6b2o4bo3bo4b2o2$o6bo3bo6bo4bo6bo3bo6bo$b3obo2bobo2bob3o
6b3obo2bobo2bob3o$2bo2bo7bo2bo8bo2bo7bo2bo$bobobobo3bobobobo6bobobobo
3bobobobo$ob2o11b2obo4bob2o11b2obo$bo2bobo5bobo2bo6bo2bobo5bobo2bo$3o
3bo5bo3b3o4b3o3bo5bo3b3o$bob2o9b2obo6bob2o9b2obo$o5bo5bo5bo4bo5bo5bo5b
o$2bo2bo7bo2bo8bo2bo7bo2bo$2bo13bo8bo13bo$bo15bo6bo15bo$bob2o9b2obo6b
ob2o9b2obo$2bobo9bobo8bobo9bobo$3bo11bo10bo11bo2$4b4o3b4o12b4o3b4o$3b
o2b2o3b2o2bo10bo2b2o3b2o2bo$5b3o3b3o14b3o3b3o$5bo7bo14bo7bo$4b2o7b2o12b
2o7b2o$5bo7bo14bo7bo2$28bo7bo$26b2ob2o3b2ob2o!

confocaloid · Post by **confocaloid** » April 30th, 2025, 9:49 am

R2INT wrote: ↑
April 30th, 2025, 9:34 am
[...] This OMOS consists of four spaceships of two distinct types [...]

Likely known before (I also noticed it yesterday but didn't post, because it is too common to go unnoticed, and also because the main reason for this cellular automaton to be considered interesting and ontopic is that there is a SMOSMOSMOS in it).

I wouldn't consider the OMOS as consisting of "four spaceships", though.
One reason is that the two spaceships in the middle simply collide with each other and disappear, without causing any consequences for the rest.
Another reason is that the two spaceships in the middle are unnecessary for the oscillator to count as "OMOS".

It is simpler to take the first phase where the oscillator is just two instances of the same spaceship that are moving in different directions:

Code: Select all

x = 12, y = 3, rule = B2e3ceijq4aenqz5kn6a/S1e2ac3nr4ein5aejry6a78
o10bo$bo8bo$o10bo!

R2INT · Post by **R2INT** » April 30th, 2025, 4:17 pm

p69 OMOS from C4_4:

Code: Select all

x = 46, y = 46, rule = B2e3ceijq4aenqz5kn6a/S1e2ac3nr4ein5aejry6a78
28bo$27b3o4$26bobobo$27b3o9$5bo14bo$bo4bo13bo$2o3b2o14bo$bo4bo13bo$5b
o14bo$26b2ob2o$28bo3$17bo$15b2ob2o$25bo14bo$25bo13bo4bo$24bo14b2o3b2o
$25bo13bo4bo$25bo14bo9$16b3o$15bobobo4$16b3o$17bo!

EDIT: 2T syntheses:

Code: Select all

x = 291, y = 213, rule = B2e3ceijq4aenqz5kn6a/S1e2ac3nr4ein5aejry6a78
8bo27bo35bo51bo69bo95bo$7bo27bo35bo51bo69bo95bo$8bo27bo35bo51bo69bo95b
o5$bo26bo34bo50bo68bo94bo$obo24bobo32bobo48bobo66bobo92bobo27$7bo27bo
35bo51bo69bo95bo$7b2o26b2o34b2o50b2o68b2o94b2o$7bo27bo35bo51bo69bo95b
o5$bo26bo34bo50bo68bo94bo$obo24bobo32bobo48bobo66bobo92bobo97$27bobo20b
obo23bobo20bobo$28bo22bo25bo22bo10$28bo21bo24bo21bo$27bobo19bobo22bob
o19bobo17$29bo22bo25bo22bo$28b3o20b3o23b3o20b3o10$29bo21bo24bo21bo$28b
obo19bobo22bobo19bobo20$28bobo20bobo23bobo20bobo$29bo22bo25bo22bo9$29b
o21bo24bo21bo$28bobo19bobo22bobo19bobo!

LaundryPizza03 · Post by **LaundryPizza03** » April 30th, 2025, 10:56 pm

The complement of the SMOSMOSMOS rule is immortal. Equivalently, its vanishing dual provavbly contains no still lifes.

Code: Select all

% ./rlife llsss-recentering-wao --rule 'B2-a3ciknq4-crt5-nr6-ac7c8/S2a3kn4acrwz5ceijq6e' p1 '@bg' XX
20250430 21:45:19 [INFO] WAO error window #0 (included):
20250430 21:45:19 [INFO] | ZZZZZ |
20250430 21:45:19 [INFO] | ..... |
20250430 21:45:19 [INFO] | ..... |
20250430 21:45:19 [INFO] | ..xWW |
20250430 21:45:19 [INFO] Start: compile step LlsssMonitorSpineStats
20250430 21:45:19 [INFO] Finish: compile step LlsssMonitorSpineStats -> took 22.43µs
20250430 21:45:19 [INFO] Start: compile step LlsssMonitorColStats
20250430 21:45:19 [INFO] Finish: compile step LlsssMonitorColStats -> took 2.79µs
20250430 21:45:19 [INFO] Start: compile step LlsssRecenteringWaoUniquePartials
20250430 21:45:19 [INFO] Finish: compile step LlsssRecenteringWaoUniquePartials -> took 4.532µs
20250430 21:45:19 [INFO] Start: compile step LlsssMonitorUniquePartial
20250430 21:45:19 [INFO] Finish: compile step LlsssMonitorUniquePartial -> took 2.841µs
20250430 21:45:19 [INFO] Start: compile step LlsssMonitorShortestPartialRecentering
20250430 21:45:19 [INFO] Finish: compile step LlsssMonitorShortestPartialRecentering -> took 2.391µs
20250430 21:45:19 [INFO] Start: compile step LlsssMonitorRandomPartial
20250430 21:45:19 [INFO] Finish: compile step LlsssMonitorRandomPartial -> took 2.678µs
20250430 21:45:19 [INFO] Start: compile step LlsssMonitorRctl
20250430 21:45:19 [INFO] Finish: compile step LlsssMonitorRctl -> took 38.342µs
20250430 21:45:19 [INFO] Start: compile step LlsssStepExpandRecentering
20250430 21:45:19 [INFO] Start: compile tables
20250430 21:45:19 [INFO] Compiling [checks3 1/1] table of 8 + 1 = 9 bits
20250430 21:45:19 [INFO] Finish: compile tables -> took 26.091322ms
20250430 21:45:19 [INFO] Start: compile tables
20250430 21:45:19 [INFO] Compiling [checks3 1/1] table of 8 + 1 = 9 bits
20250430 21:45:19 [INFO] Finish: compile tables -> took 31.813799ms
20250430 21:45:19 [INFO] Start: compile tables
20250430 21:45:19 [INFO] Compiling [checks3 1/1] table of 6 + 3 = 9 bits
20250430 21:45:19 [INFO] Finish: compile tables -> took 7.184238ms
20250430 21:45:19 [INFO] Finish: compile step LlsssStepExpandRecentering -> took 66.995179ms
20250430 21:45:19 [INFO] Start: compile step LlsssEndsAgar
20250430 21:45:19 [INFO] Finish: compile step LlsssEndsAgar -> took 31.995µs
20250430 21:45:19 [INFO] Start: search proper
20250430 21:45:19 [INFO] Memory: total 136 B (ss.cur_gen 48 B, bcol 32 B, col 40 B, left_edge 8 B, right_edge 8 B)
20250430 21:45:19 [INFO] Spine store sizes: old_gens [], cur_gen 3
20250430 21:45:19 [INFO] Cols sizes: 4 / 5
20250430 21:45:19 [INFO] Unique [WAO idx #0]:
20250430 21:45:19 [INFO] | . |
20250430 21:45:19 [INFO] | . |
20250430 21:45:19 [INFO] Shortest partial:
20250430 21:45:19 [INFO] | ZZZZZ |
20250430 21:45:19 [INFO] | ..... |
20250430 21:45:19 [INFO] | ..... |
20250430 21:45:19 [INFO] Random[ish] partial:
20250430 21:45:19 [INFO] |   SS  |
20250430 21:45:19 [INFO] | ZZZZZ |
20250430 21:45:19 [INFO] | ..... |
20250430 21:45:19 [INFO] | ..... |
20250430 21:45:19 [INFO] Memory: total 172 B (ss.cur_gen 48 B, bcol 32 B, col 40 B, left_edge 8 B, right_edge 8 B, rcol.heads 16 B, rcol.nexts 20 B)
20250430 21:45:19 [DEBUG] Expanded w_pos 2 left edge: 1 -> 1
20250430 21:45:19 [DEBUG] Expanded w_pos 2 closure [l2r]: bcol 1 -> 1
20250430 21:45:19 [INFO] Memory: total 204 B (ss.cur_gen 48 B, bcol 32 B, col 40 B, left_edge 8 B, right_edge 8 B, rcol.heads 16 B, rcol.nexts 20 B, left_edge_long 8 B, left_closure_boundary 8 B, left_closure_data.outer_bcol_in 8 B, left_closure_data.inner_bcol_out 8 B)
20250430 21:45:19 [DEBUG] Expanded w_pos 2 right edge: 1 -> 1
20250430 21:45:19 [DEBUG] Expanded w_pos 2 closure [r2l]: bcol 1 -> 1
20250430 21:45:19 [INFO] Memory: total 236 B (ss.cur_gen 48 B, bcol 32 B, col 40 B, left_edge 8 B, right_edge 8 B, rcol.heads 16 B, rcol.nexts 20 B, left_edge_long 8 B, left_closure_boundary 8 B, left_closure_data.outer_bcol_in 8 B, left_closure_data.inner_bcol_out 8 B, right_edge_long 8 B, right_closure_boundary 8 B, right_closure_data.outer_bcol_in 8 B, right_closure_data.inner_bcol_out 8 B)
20250430 21:45:19 [INFO] Memory: total 268 B (ss.cur_gen 48 B, bcol 32 B, col 40 B, left_edge 8 B, right_edge 8 B, rcol.heads 16 B, rcol.nexts 20 B, left_edge_long 8 B, left_closure_boundary 8 B, left_closure_data.outer_bcol_in 8 B, left_closure_data.inner_bcol_out 8 B, right_edge_long 8 B, right_closure_boundary 8 B, right_closure_data.outer_bcol_in 8 B, right_closure_data.inner_bcol_out 8 B, left_distances 16 B, right_distances 16 B)
20250430 21:45:19 [DEBUG] Expanded w_pos 2 window [l2r]: frontier 1 -> 1
20250430 21:45:19 [DEBUG] Expanded w_pos 2 window [l2r]: frontier 1 -> 2
20250430 21:45:19 [DEBUG] Expanded w_pos 2 window [l2r]: frontier 2 -> 2
20250430 21:45:19 [DEBUG] Expanded w_pos 2 window [l2r]: frontier 2 -> 1
20250430 21:45:19 [DEBUG] Expanded w_pos 2 window [l2r]: frontier 1 -> 1
20250430 21:45:19 [DEBUG] Expanded w_pos 2 window [l2r]: frontier 1 -> 0
20250430 21:45:19 [DEBUG] Expanded w_pos 2 window2 [r2l]: frontier 1 -> 2
20250430 21:45:19 [DEBUG] Expanded w_pos 2 window2 [r2l]: frontier 2 -> 4
20250430 21:45:19 [DEBUG] Expanded w_pos 2 window2 [r2l]: frontier 4 -> 1
20250430 21:45:19 [DEBUG] Expanded w_pos 2 window2 [r2l]: frontier 1 -> 0
20250430 21:45:19 [INFO] Memory: total 300 B (ss.cur_gen 48 B, bcol 32 B, col 40 B, left_edge 8 B, right_edge 8 B, rcol.heads 16 B, rcol.nexts 20 B, left_edge_long 8 B, left_closure_boundary 8 B, left_closure_data.outer_bcol_in 8 B, left_closure_data.inner_bcol_out 8 B, right_edge_long 8 B, right_closure_boundary 8 B, right_closure_data.outer_bcol_in 8 B, right_closure_data.inner_bcol_out 8 B, left_distances 16 B, right_distances 16 B, final_col_long 8 B, left_bcol_long 8 B, right_bcol_long 8 B, final_bcol_long 8 B)
20250430 21:45:19 [INFO] Memory: total 184 B (ss.cur_gen 48 B, bcol 32 B, col 40 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, final_col_long 8 B, left_bcol_long 8 B, right_bcol_long 8 B, final_bcol_long 8 B)
20250430 21:45:19 [INFO] Memory: total 224 B (ss.cur_gen 48 B, bcol 32 B, col 40 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, final_col_long 8 B, left_bcol_long 8 B, right_bcol_long 8 B, final_bcol_xmap 40 B, final_bcol_long 8 B)
20250430 21:45:19 [INFO] Memory: total 320 B (ss.cur_gen 48 B, bcol 32 B, col 40 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, final_col_long 8 B, left_bcol_long 8 B, right_bcol_long 8 B, final_bcol_xmap 40 B, final_col_real 96 B, final_bcol_long 8 B)
20250430 21:45:19 [INFO] Memory: total 312 B (ss.cur_gen 48 B, bcol 32 B, col 40 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, left_bcol_long 8 B, right_bcol_long 8 B, final_bcol_xmap 40 B, final_col_real 96 B, final_bcol_long 8 B)
20250430 21:45:19 [INFO] Memory: total 272 B (ss.cur_gen 48 B, bcol 32 B, col 96 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, left_bcol_long 8 B, right_bcol_long 8 B, final_bcol_xmap 40 B, final_bcol_long 8 B)
20250430 21:45:19 [INFO] Memory: total 280 B (ss.cur_gen 48 B, bcol 32 B, col 96 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, left_bcol_long 8 B, right_bcol_long 8 B, final_bcol_xmap 40 B, final_bcol_long 8 B, left_edge_real 8 B)
20250430 21:45:19 [INFO] Memory: total 256 B (ss.cur_gen 48 B, bcol 32 B, col 96 B, left_edge 8 B, right_edge 8 B, right_edge_long 8 B, right_bcol_long 8 B, final_bcol_xmap 40 B, final_bcol_long 8 B)
20250430 21:45:19 [INFO] Memory: total 264 B (ss.cur_gen 48 B, bcol 32 B, col 96 B, left_edge 8 B, right_edge 8 B, right_edge_long 8 B, right_bcol_long 8 B, final_bcol_xmap 40 B, final_bcol_long 8 B, right_edge_real 8 B)
20250430 21:45:19 [INFO] Memory: total 200 B (ss.cur_gen 48 B, bcol 32 B, col 96 B, left_edge 8 B, right_edge 8 B, final_bcol_long 8 B)
20250430 21:45:19 [INFO] Memory: total 208 B (ss.cur_gen 48 B, ss.new_bv 8 B, bcol 32 B, col 96 B, left_edge 8 B, right_edge 8 B, final_bcol_long 8 B)
20250430 21:45:19 [INFO] Memory: total 284 B (ss.cur_gen 48 B, ss.new_bv 8 B, ss.base_pointers 12 B, ss.new_cur_gen 64 B, bcol 32 B, col 96 B, left_edge 8 B, right_edge 8 B, final_bcol_long 8 B)
20250430 21:45:19 [INFO] Memory: total 348 B (ss.cur_gen 48 B, ss.new_bv 8 B, ss.base_pointers 12 B, ss.new_cur_gen 64 B, bcol 32 B, col 96 B, left_edge 8 B, right_edge 8 B, final_bcol_long 8 B, final_bcol_real 64 B)
20250430 21:45:19 [INFO] Memory: total 340 B (ss.cur_gen 48 B, ss.new_bv 8 B, ss.base_pointers 12 B, ss.new_cur_gen 64 B, bcol 32 B, col 96 B, left_edge 8 B, right_edge 8 B, final_bcol_real 64 B)
20250430 21:45:19 [INFO] Memory: total 272 B (ss.cur_gen 64 B, bcol 32 B, col 96 B, left_edge 8 B, right_edge 8 B, final_bcol_real 64 B)
20250430 21:45:19 [INFO] Memory: total 240 B (ss.cur_gen 64 B, bcol 64 B, col 96 B, left_edge 8 B, right_edge 8 B)
20250430 21:45:19 [DEBUG] Completed w_pos 2: 240 B, 192.451571ms
20250430 21:45:19 [INFO] Memory: total 240 B (ss.cur_gen 64 B, bcol 64 B, col 96 B, left_edge 8 B, right_edge 8 B)
20250430 21:45:19 [INFO] Spine store sizes: old_gens [], cur_gen 4
20250430 21:45:19 [INFO] Cols sizes: 8 / 12
20250430 21:45:19 [INFO] Unique [WAO idx #0]:
20250430 21:45:19 [INFO] | . |
20250430 21:45:19 [INFO] | . |
20250430 21:45:19 [INFO] | * |
20250430 21:45:19 [INFO] Shortest partial:
20250430 21:45:19 [INFO] | ZZZZZ |
20250430 21:45:19 [INFO] | ..... |
20250430 21:45:19 [INFO] | ..... |
20250430 21:45:19 [INFO] | ..*.. |
20250430 21:45:19 [INFO] Random[ish] partial:
20250430 21:45:19 [INFO] |    SS  |
20250430 21:45:19 [INFO] | ZZZZZZ |
20250430 21:45:19 [INFO] | ...... |
20250430 21:45:19 [INFO] | ...... |
20250430 21:45:19 [INFO] | ..**.. |
20250430 21:45:19 [INFO] Memory: total 320 B (ss.cur_gen 64 B, bcol 64 B, col 96 B, left_edge 8 B, right_edge 8 B, rcol.heads 32 B, rcol.nexts 48 B)
20250430 21:45:19 [DEBUG] Expanded w_pos 3 left edge: 1 -> 1
20250430 21:45:19 [DEBUG] Expanded w_pos 3 closure [l2r]: bcol 1 -> 1
20250430 21:45:19 [INFO] Memory: total 352 B (ss.cur_gen 64 B, bcol 64 B, col 96 B, left_edge 8 B, right_edge 8 B, rcol.heads 32 B, rcol.nexts 48 B, left_edge_long 8 B, left_closure_boundary 8 B, left_closure_data.outer_bcol_in 8 B, left_closure_data.inner_bcol_out 8 B)
20250430 21:45:19 [DEBUG] Expanded w_pos 3 right edge: 1 -> 1
20250430 21:45:19 [DEBUG] Expanded w_pos 3 closure [r2l]: bcol 1 -> 1
20250430 21:45:19 [INFO] Memory: total 384 B (ss.cur_gen 64 B, bcol 64 B, col 96 B, left_edge 8 B, right_edge 8 B, rcol.heads 32 B, rcol.nexts 48 B, left_edge_long 8 B, left_closure_boundary 8 B, left_closure_data.outer_bcol_in 8 B, left_closure_data.inner_bcol_out 8 B, right_edge_long 8 B, right_closure_boundary 8 B, right_closure_data.outer_bcol_in 8 B, right_closure_data.inner_bcol_out 8 B)
20250430 21:45:19 [INFO] Memory: total 448 B (ss.cur_gen 64 B, bcol 64 B, col 96 B, left_edge 8 B, right_edge 8 B, rcol.heads 32 B, rcol.nexts 48 B, left_edge_long 8 B, left_closure_boundary 8 B, left_closure_data.outer_bcol_in 8 B, left_closure_data.inner_bcol_out 8 B, right_edge_long 8 B, right_closure_boundary 8 B, right_closure_data.outer_bcol_in 8 B, right_closure_data.inner_bcol_out 8 B, left_distances 32 B, right_distances 32 B)
20250430 21:45:19 [DEBUG] Expanded w_pos 3 window [l2r]: frontier 1 -> 3
20250430 21:45:19 [DEBUG] Expanded w_pos 3 window [l2r]: frontier 3 -> 5
20250430 21:45:19 [DEBUG] Expanded w_pos 3 window [l2r]: frontier 5 -> 4
20250430 21:45:19 [DEBUG] Expanded w_pos 3 window [l2r]: frontier 4 -> 2
20250430 21:45:19 [DEBUG] Expanded w_pos 3 window [l2r]: frontier 2 -> 3
20250430 21:45:19 [DEBUG] Expanded w_pos 3 window [l2r]: frontier 3 -> 3
20250430 21:45:19 [DEBUG] Expanded w_pos 3 window [l2r]: frontier 3 -> 3
20250430 21:45:19 [DEBUG] Expanded w_pos 3 window [l2r]: frontier 3 -> 0
20250430 21:45:19 [DEBUG] Expanded w_pos 3 window2 [r2l]: frontier 1 -> 5
20250430 21:45:19 [DEBUG] Expanded w_pos 3 window2 [r2l]: frontier 5 -> 8
20250430 21:45:19 [DEBUG] Expanded w_pos 3 window2 [r2l]: frontier 8 -> 7
20250430 21:45:19 [DEBUG] Expanded w_pos 3 window2 [r2l]: frontier 7 -> 1
20250430 21:45:19 [DEBUG] Expanded w_pos 3 window2 [r2l]: frontier 1 -> 1
20250430 21:45:19 [DEBUG] Expanded w_pos 3 window2 [r2l]: frontier 1 -> 1
20250430 21:45:19 [DEBUG] Expanded w_pos 3 window2 [r2l]: frontier 1 -> 0
20250430 21:45:19 [INFO] Memory: total 488 B (ss.cur_gen 64 B, bcol 64 B, col 96 B, left_edge 8 B, right_edge 8 B, rcol.heads 32 B, rcol.nexts 48 B, left_edge_long 8 B, left_closure_boundary 8 B, left_closure_data.outer_bcol_in 8 B, left_closure_data.inner_bcol_out 8 B, right_edge_long 8 B, right_closure_boundary 8 B, right_closure_data.outer_bcol_in 8 B, right_closure_data.inner_bcol_out 8 B, left_distances 32 B, right_distances 32 B, final_col_long 16 B, left_bcol_long 8 B, right_bcol_long 8 B, final_bcol_long 8 B)
20250430 21:45:19 [INFO] Memory: total 296 B (ss.cur_gen 64 B, bcol 64 B, col 96 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, final_col_long 16 B, left_bcol_long 8 B, right_bcol_long 8 B, final_bcol_long 8 B)
20250430 21:45:19 [INFO] Memory: total 368 B (ss.cur_gen 64 B, bcol 64 B, col 96 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, final_col_long 16 B, left_bcol_long 8 B, right_bcol_long 8 B, final_bcol_xmap 72 B, final_bcol_long 8 B)
20250430 21:45:19 [INFO] Memory: total 592 B (ss.cur_gen 64 B, bcol 64 B, col 96 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, final_col_long 16 B, left_bcol_long 8 B, right_bcol_long 8 B, final_bcol_xmap 72 B, final_col_real 224 B, final_bcol_long 8 B)
20250430 21:45:19 [INFO] Memory: total 576 B (ss.cur_gen 64 B, bcol 64 B, col 96 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, left_bcol_long 8 B, right_bcol_long 8 B, final_bcol_xmap 72 B, final_col_real 224 B, final_bcol_long 8 B)
20250430 21:45:19 [INFO] Memory: total 480 B (ss.cur_gen 64 B, bcol 64 B, col 224 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, left_bcol_long 8 B, right_bcol_long 8 B, final_bcol_xmap 72 B, final_bcol_long 8 B)
20250430 21:45:19 [INFO] Memory: total 488 B (ss.cur_gen 64 B, bcol 64 B, col 224 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, left_bcol_long 8 B, right_bcol_long 8 B, final_bcol_xmap 72 B, final_bcol_long 8 B, left_edge_real 8 B)
20250430 21:45:19 [INFO] Memory: total 464 B (ss.cur_gen 64 B, bcol 64 B, col 224 B, left_edge 8 B, right_edge 8 B, right_edge_long 8 B, right_bcol_long 8 B, final_bcol_xmap 72 B, final_bcol_long 8 B)
20250430 21:45:19 [INFO] Memory: total 472 B (ss.cur_gen 64 B, bcol 64 B, col 224 B, left_edge 8 B, right_edge 8 B, right_edge_long 8 B, right_bcol_long 8 B, final_bcol_xmap 72 B, final_bcol_long 8 B, right_edge_real 8 B)
20250430 21:45:19 [INFO] Memory: total 376 B (ss.cur_gen 64 B, bcol 64 B, col 224 B, left_edge 8 B, right_edge 8 B, final_bcol_long 8 B)
20250430 21:45:19 [INFO] Memory: total 384 B (ss.cur_gen 64 B, ss.new_bv 8 B, bcol 64 B, col 224 B, left_edge 8 B, right_edge 8 B, final_bcol_long 8 B)
20250430 21:45:19 [INFO] Memory: total 496 B (ss.cur_gen 64 B, ss.new_bv 8 B, ss.base_pointers 16 B, ss.new_cur_gen 96 B, bcol 64 B, col 224 B, left_edge 8 B, right_edge 8 B, final_bcol_long 8 B)
20250430 21:45:19 [INFO] Memory: total 640 B (ss.cur_gen 64 B, ss.new_bv 8 B, ss.base_pointers 16 B, ss.new_cur_gen 96 B, bcol 64 B, col 224 B, left_edge 8 B, right_edge 8 B, final_bcol_long 8 B, final_bcol_real 144 B)
20250430 21:45:19 [INFO] Memory: total 632 B (ss.cur_gen 64 B, ss.new_bv 8 B, ss.base_pointers 16 B, ss.new_cur_gen 96 B, bcol 64 B, col 224 B, left_edge 8 B, right_edge 8 B, final_bcol_real 144 B)
20250430 21:45:19 [INFO] Memory: total 544 B (ss.cur_gen 96 B, bcol 64 B, col 224 B, left_edge 8 B, right_edge 8 B, final_bcol_real 144 B)
20250430 21:45:19 [INFO] Memory: total 480 B (ss.cur_gen 96 B, bcol 144 B, col 224 B, left_edge 8 B, right_edge 8 B)
20250430 21:45:19 [DEBUG] Completed w_pos 3: 480 B [+66.67%], 260.445456ms [+30.03%]
20250430 21:45:19 [INFO] Memory: total 480 B (ss.cur_gen 96 B, bcol 144 B, col 224 B, left_edge 8 B, right_edge 8 B)
20250430 21:45:19 [INFO] Spine store sizes: old_gens [], cur_gen 6
20250430 21:45:19 [INFO] Cols sizes: 18 / 28
20250430 21:45:19 [INFO] Unique [WAO idx #0]:
20250430 21:45:19 [INFO] | . |
20250430 21:45:19 [INFO] | . |
20250430 21:45:19 [INFO] | * |
20250430 21:45:19 [INFO] | * |
20250430 21:45:19 [INFO] Shortest partial:
20250430 21:45:19 [INFO] | ZZZZZZ |
20250430 21:45:19 [INFO] | ...... |
20250430 21:45:19 [INFO] | ...... |
20250430 21:45:19 [INFO] | ...*.. |
20250430 21:45:19 [INFO] | ..**.. |
20250430 21:45:19 [INFO] Random[ish] partial:
20250430 21:45:19 [INFO] |        SS  |
20250430 21:45:19 [INFO] | ZZZZZZZZZZ |
20250430 21:45:19 [INFO] | .......... |
20250430 21:45:19 [INFO] | .......... |
20250430 21:45:19 [INFO] | ...*...*.. |
20250430 21:45:19 [INFO] | ..**..**.. |
20250430 21:45:19 [INFO] Memory: total 664 B (ss.cur_gen 96 B, bcol 144 B, col 224 B, left_edge 8 B, right_edge 8 B, rcol.heads 72 B, rcol.nexts 112 B)
20250430 21:45:19 [DEBUG] Expanded w_pos 4 left edge: 1 -> 1
20250430 21:45:19 [DEBUG] Expanded w_pos 4 closure [l2r]: bcol 1 -> 1
20250430 21:45:19 [INFO] Memory: total 720 B (ss.cur_gen 96 B, bcol 144 B, col 224 B, left_edge 8 B, right_edge 8 B, rcol.heads 72 B, rcol.nexts 112 B, left_edge_long 8 B, left_closure_boundary 16 B, left_closure_data.outer_bcol_in 16 B, left_closure_data.inner_bcol_out 16 B)
20250430 21:45:19 [DEBUG] Expanded w_pos 4 right edge: 1 -> 1
20250430 21:45:19 [DEBUG] Expanded w_pos 4 closure [r2l]: bcol 1 -> 1
20250430 21:45:19 [INFO] Memory: total 776 B (ss.cur_gen 96 B, bcol 144 B, col 224 B, left_edge 8 B, right_edge 8 B, rcol.heads 72 B, rcol.nexts 112 B, left_edge_long 8 B, left_closure_boundary 16 B, left_closure_data.outer_bcol_in 16 B, left_closure_data.inner_bcol_out 16 B, right_edge_long 8 B, right_closure_boundary 16 B, right_closure_data.outer_bcol_in 16 B, right_closure_data.inner_bcol_out 16 B)
20250430 21:45:19 [INFO] Memory: total 920 B (ss.cur_gen 96 B, bcol 144 B, col 224 B, left_edge 8 B, right_edge 8 B, rcol.heads 72 B, rcol.nexts 112 B, left_edge_long 8 B, left_closure_boundary 16 B, left_closure_data.outer_bcol_in 16 B, left_closure_data.inner_bcol_out 16 B, right_edge_long 8 B, right_closure_boundary 16 B, right_closure_data.outer_bcol_in 16 B, right_closure_data.inner_bcol_out 16 B, left_distances 72 B, right_distances 72 B)
20250430 21:45:19 [DEBUG] Expanded w_pos 4 window [l2r]: frontier 1 -> 4
20250430 21:45:20 [DEBUG] Expanded w_pos 4 window [l2r]: frontier 4 -> 8
20250430 21:45:20 [DEBUG] Expanded w_pos 4 window [l2r]: frontier 8 -> 8
20250430 21:45:20 [DEBUG] Expanded w_pos 4 window [l2r]: frontier 8 -> 4
20250430 21:45:20 [DEBUG] Expanded w_pos 4 window [l2r]: frontier 4 -> 2
20250430 21:45:20 [DEBUG] Expanded w_pos 4 window [l2r]: frontier 2 -> 4
20250430 21:45:20 [DEBUG] Expanded w_pos 4 window [l2r]: frontier 4 -> 6
20250430 21:45:20 [DEBUG] Expanded w_pos 4 window [l2r]: frontier 6 -> 7
20250430 21:45:20 [DEBUG] Expanded w_pos 4 window [l2r]: frontier 7 -> 0
20250430 21:45:20 [DEBUG] Expanded w_pos 4 window2 [r2l]: frontier 1 -> 5
20250430 21:45:20 [DEBUG] Expanded w_pos 4 window2 [r2l]: frontier 5 -> 11
20250430 21:45:20 [DEBUG] Expanded w_pos 4 window2 [r2l]: frontier 11 -> 13
20250430 21:45:20 [DEBUG] Expanded w_pos 4 window2 [r2l]: frontier 13 -> 5
20250430 21:45:20 [DEBUG] Expanded w_pos 4 window2 [r2l]: frontier 5 -> 2
20250430 21:45:20 [DEBUG] Expanded w_pos 4 window2 [r2l]: frontier 2 -> 3
20250430 21:45:20 [DEBUG] Expanded w_pos 4 window2 [r2l]: frontier 3 -> 3
20250430 21:45:20 [DEBUG] Expanded w_pos 4 window2 [r2l]: frontier 3 -> 3
20250430 21:45:20 [DEBUG] Expanded w_pos 4 window2 [r2l]: frontier 3 -> 0
20250430 21:45:20 [INFO] Memory: total 1000 B (ss.cur_gen 96 B, bcol 144 B, col 224 B, left_edge 8 B, right_edge 8 B, rcol.heads 72 B, rcol.nexts 112 B, left_edge_long 8 B, left_closure_boundary 16 B, left_closure_data.outer_bcol_in 16 B, left_closure_data.inner_bcol_out 16 B, right_edge_long 8 B, right_closure_boundary 16 B, right_closure_data.outer_bcol_in 16 B, right_closure_data.inner_bcol_out 16 B, left_distances 72 B, right_distances 72 B, final_col_long 32 B, left_bcol_long 16 B, right_bcol_long 16 B, final_bcol_long 16 B)
20250430 21:45:20 [INFO] Memory: total 576 B (ss.cur_gen 96 B, bcol 144 B, col 224 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, final_col_long 32 B, left_bcol_long 16 B, right_bcol_long 16 B, final_bcol_long 16 B)
20250430 21:45:20 [INFO] Memory: total 728 B (ss.cur_gen 96 B, bcol 144 B, col 224 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, final_col_long 32 B, left_bcol_long 16 B, right_bcol_long 16 B, final_bcol_xmap 152 B, final_bcol_long 16 B)
20250430 21:45:20 [INFO] Memory: total 1.13 KB (ss.cur_gen 96 B, bcol 144 B, col 224 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, final_col_long 32 B, left_bcol_long 16 B, right_bcol_long 16 B, final_bcol_xmap 152 B, final_col_real 432 B, final_bcol_long 16 B)
20250430 21:45:20 [INFO] Memory: total 1.10 KB (ss.cur_gen 96 B, bcol 144 B, col 224 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, left_bcol_long 16 B, right_bcol_long 16 B, final_bcol_xmap 152 B, final_col_real 432 B, final_bcol_long 16 B)
20250430 21:45:20 [INFO] Memory: total 904 B (ss.cur_gen 96 B, bcol 144 B, col 432 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, left_bcol_long 16 B, right_bcol_long 16 B, final_bcol_xmap 152 B, final_bcol_long 16 B)
20250430 21:45:20 [INFO] Memory: total 912 B (ss.cur_gen 96 B, bcol 144 B, col 432 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, left_bcol_long 16 B, right_bcol_long 16 B, final_bcol_xmap 152 B, final_bcol_long 16 B, left_edge_real 8 B)
20250430 21:45:20 [INFO] Memory: total 880 B (ss.cur_gen 96 B, bcol 144 B, col 432 B, left_edge 8 B, right_edge 8 B, right_edge_long 8 B, right_bcol_long 16 B, final_bcol_xmap 152 B, final_bcol_long 16 B)
20250430 21:45:20 [INFO] Memory: total 888 B (ss.cur_gen 96 B, bcol 144 B, col 432 B, left_edge 8 B, right_edge 8 B, right_edge_long 8 B, right_bcol_long 16 B, final_bcol_xmap 152 B, final_bcol_long 16 B, right_edge_real 8 B)
20250430 21:45:20 [INFO] Memory: total 704 B (ss.cur_gen 96 B, bcol 144 B, col 432 B, left_edge 8 B, right_edge 8 B, final_bcol_long 16 B)
20250430 21:45:20 [INFO] Memory: total 712 B (ss.cur_gen 96 B, ss.new_bv 8 B, bcol 144 B, col 432 B, left_edge 8 B, right_edge 8 B, final_bcol_long 16 B)
20250430 21:45:20 [INFO] Memory: total 896 B (ss.cur_gen 96 B, ss.new_bv 8 B, ss.base_pointers 24 B, ss.new_cur_gen 160 B, bcol 144 B, col 432 B, left_edge 8 B, right_edge 8 B, final_bcol_long 16 B)
20250430 21:45:20 [INFO] Memory: total 1.14 KB (ss.cur_gen 96 B, ss.new_bv 8 B, ss.base_pointers 24 B, ss.new_cur_gen 160 B, bcol 144 B, col 432 B, left_edge 8 B, right_edge 8 B, final_bcol_long 16 B, final_bcol_real 272 B)
20250430 21:45:20 [INFO] Memory: total 1.12 KB (ss.cur_gen 96 B, ss.new_bv 8 B, ss.base_pointers 24 B, ss.new_cur_gen 160 B, bcol 144 B, col 432 B, left_edge 8 B, right_edge 8 B, final_bcol_real 272 B)
20250430 21:45:20 [INFO] Memory: total 1.00 KB (ss.cur_gen 160 B, bcol 144 B, col 432 B, left_edge 8 B, right_edge 8 B, final_bcol_real 272 B)
20250430 21:45:20 [INFO] Memory: total 880 B (ss.cur_gen 160 B, bcol 272 B, col 432 B, left_edge 8 B, right_edge 8 B)
20250430 21:45:20 [DEBUG] Completed w_pos 4: 880 B [+58.82%], 729.006238ms [+94.71%]
20250430 21:45:20 [INFO] Memory: total 880 B (ss.cur_gen 160 B, bcol 272 B, col 432 B, left_edge 8 B, right_edge 8 B)
20250430 21:45:20 [INFO] Spine store sizes: old_gens [], cur_gen 10
20250430 21:45:20 [INFO] Cols sizes: 34 / 54
20250430 21:45:20 [INFO] Unique [WAO idx #0]:
20250430 21:45:20 [INFO] | . |
20250430 21:45:20 [INFO] | . |
20250430 21:45:20 [INFO] | * |
20250430 21:45:20 [INFO] | * |
20250430 21:45:20 [INFO] | . |
20250430 21:45:20 [INFO] Shortest partial:
20250430 21:45:20 [INFO] | ZZZZZZZ |
20250430 21:45:20 [INFO] | ....... |
20250430 21:45:20 [INFO] | ....... |
20250430 21:45:20 [INFO] | ...*... |
20250430 21:45:20 [INFO] | ...**.. |
20250430 21:45:20 [INFO] | ..*.... |
20250430 21:45:20 [INFO] Random[ish] partial:
20250430 21:45:20 [INFO] |     SS  |
20250430 21:45:20 [INFO] | ZZZZZZZ |
20250430 21:45:20 [INFO] | ....... |
20250430 21:45:20 [INFO] | ....... |
20250430 21:45:20 [INFO] | ...*... |
20250430 21:45:20 [INFO] | ...**.. |
20250430 21:45:20 [INFO] | ..*.... |
20250430 21:45:20 [INFO] Memory: total 1.20 KB (ss.cur_gen 160 B, bcol 272 B, col 432 B, left_edge 8 B, right_edge 8 B, rcol.heads 136 B, rcol.nexts 216 B)
20250430 21:45:20 [DEBUG] Expanded w_pos 5 left edge: 1 -> 1
20250430 21:45:20 [DEBUG] Expanded w_pos 5 closure [l2r]: bcol 1 -> 1
20250430 21:45:20 [INFO] Memory: total 1.28 KB (ss.cur_gen 160 B, bcol 272 B, col 432 B, left_edge 8 B, right_edge 8 B, rcol.heads 136 B, rcol.nexts 216 B, left_edge_long 8 B, left_closure_boundary 24 B, left_closure_data.outer_bcol_in 24 B, left_closure_data.inner_bcol_out 24 B)
20250430 21:45:20 [DEBUG] Expanded w_pos 5 right edge: 1 -> 1
20250430 21:45:20 [DEBUG] Expanded w_pos 5 closure [r2l]: bcol 1 -> 1
20250430 21:45:20 [INFO] Memory: total 1.36 KB (ss.cur_gen 160 B, bcol 272 B, col 432 B, left_edge 8 B, right_edge 8 B, rcol.heads 136 B, rcol.nexts 216 B, left_edge_long 8 B, left_closure_boundary 24 B, left_closure_data.outer_bcol_in 24 B, left_closure_data.inner_bcol_out 24 B, right_edge_long 8 B, right_closure_boundary 24 B, right_closure_data.outer_bcol_in 24 B, right_closure_data.inner_bcol_out 24 B)
20250430 21:45:20 [INFO] Memory: total 1.62 KB (ss.cur_gen 160 B, bcol 272 B, col 432 B, left_edge 8 B, right_edge 8 B, rcol.heads 136 B, rcol.nexts 216 B, left_edge_long 8 B, left_closure_boundary 24 B, left_closure_data.outer_bcol_in 24 B, left_closure_data.inner_bcol_out 24 B, right_edge_long 8 B, right_closure_boundary 24 B, right_closure_data.outer_bcol_in 24 B, right_closure_data.inner_bcol_out 24 B, left_distances 136 B, right_distances 136 B)
20250430 21:45:20 [DEBUG] Expanded w_pos 5 window [l2r]: frontier 1 -> 5
20250430 21:45:20 [DEBUG] Expanded w_pos 5 window [l2r]: frontier 5 -> 10
20250430 21:45:20 [DEBUG] Expanded w_pos 5 window [l2r]: frontier 10 -> 10
20250430 21:45:20 [DEBUG] Expanded w_pos 5 window [l2r]: frontier 10 -> 3
20250430 21:45:20 [DEBUG] Expanded w_pos 5 window [l2r]: frontier 3 -> 0
20250430 21:45:21 [INFO] Memory: total 1.75 KB (ss.cur_gen 160 B, bcol 272 B, col 432 B, left_edge 8 B, right_edge 8 B, rcol.heads 136 B, rcol.nexts 216 B, left_edge_long 8 B, left_closure_boundary 24 B, left_closure_data.outer_bcol_in 24 B, left_closure_data.inner_bcol_out 24 B, right_edge_long 8 B, right_closure_boundary 24 B, right_closure_data.outer_bcol_in 24 B, right_closure_data.inner_bcol_out 24 B, left_distances 136 B, right_distances 136 B, final_col_long 56 B, left_bcol_long 24 B, right_bcol_long 24 B, final_bcol_long 24 B)
20250430 21:45:21 [INFO] Memory: total 1.00 KB (ss.cur_gen 160 B, bcol 272 B, col 432 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, final_col_long 56 B, left_bcol_long 24 B, right_bcol_long 24 B, final_bcol_long 24 B)
20250430 21:45:21 [INFO] Memory: total 1.27 KB (ss.cur_gen 160 B, bcol 272 B, col 432 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, final_col_long 56 B, left_bcol_long 24 B, right_bcol_long 24 B, final_bcol_xmap 280 B, final_bcol_long 24 B)
20250430 21:45:21 [INFO] Memory: total 1.27 KB (ss.cur_gen 160 B, bcol 272 B, col 432 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, final_col_long 56 B, left_bcol_long 24 B, right_bcol_long 24 B, final_bcol_xmap 280 B, final_col_real 0 B, final_bcol_long 24 B)
20250430 21:45:21 [INFO] Memory: total 1.22 KB (ss.cur_gen 160 B, bcol 272 B, col 432 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, left_bcol_long 24 B, right_bcol_long 24 B, final_bcol_xmap 280 B, final_col_real 0 B, final_bcol_long 24 B)
20250430 21:45:21 [INFO] Memory: total 816 B (ss.cur_gen 160 B, bcol 272 B, col 0 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, left_bcol_long 24 B, right_bcol_long 24 B, final_bcol_xmap 280 B, final_bcol_long 24 B)
20250430 21:45:21 [INFO] Memory: total 816 B (ss.cur_gen 160 B, bcol 272 B, col 0 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, left_bcol_long 24 B, right_bcol_long 24 B, final_bcol_xmap 280 B, final_bcol_long 24 B, left_edge_real 0 B)
20250430 21:45:21 [INFO] Memory: total 776 B (ss.cur_gen 160 B, bcol 272 B, col 0 B, left_edge 0 B, right_edge 8 B, right_edge_long 8 B, right_bcol_long 24 B, final_bcol_xmap 280 B, final_bcol_long 24 B)
20250430 21:45:21 [INFO] Memory: total 776 B (ss.cur_gen 160 B, bcol 272 B, col 0 B, left_edge 0 B, right_edge 8 B, right_edge_long 8 B, right_bcol_long 24 B, final_bcol_xmap 280 B, final_bcol_long 24 B, right_edge_real 0 B)
20250430 21:45:21 [INFO] Memory: total 456 B (ss.cur_gen 160 B, bcol 272 B, col 0 B, left_edge 0 B, right_edge 0 B, final_bcol_long 24 B)
20250430 21:45:21 [INFO] Memory: total 464 B (ss.cur_gen 160 B, ss.new_bv 8 B, bcol 272 B, col 0 B, left_edge 0 B, right_edge 0 B, final_bcol_long 24 B)
20250430 21:45:21 [INFO] Memory: total 504 B (ss.cur_gen 160 B, ss.new_bv 8 B, ss.base_pointers 40 B, ss.new_cur_gen 0 B, bcol 272 B, col 0 B, left_edge 0 B, right_edge 0 B, final_bcol_long 24 B)
20250430 21:45:21 [INFO] Memory: total 504 B (ss.cur_gen 160 B, ss.new_bv 8 B, ss.base_pointers 40 B, ss.new_cur_gen 0 B, bcol 272 B, col 0 B, left_edge 0 B, right_edge 0 B, final_bcol_long 24 B, final_bcol_real 0 B)
20250430 21:45:21 [INFO] Memory: total 480 B (ss.cur_gen 160 B, ss.new_bv 8 B, ss.base_pointers 40 B, ss.new_cur_gen 0 B, bcol 272 B, col 0 B, left_edge 0 B, right_edge 0 B, final_bcol_real 0 B)
20250430 21:45:21 [INFO] Memory: total 272 B (ss.cur_gen 0 B, bcol 272 B, col 0 B, left_edge 0 B, right_edge 0 B, final_bcol_real 0 B)
20250430 21:45:21 [INFO] Memory: total 0 B (ss.cur_gen 0 B, bcol 0 B, col 0 B, left_edge 0 B, right_edge 0 B)
20250430 21:45:21 [DEBUG] Completed w_pos 5: 0 B [-200.00%], 522.416728ms [-33.02%]
20250430 21:45:21 [INFO] Memory: total 0 B (ss.cur_gen 0 B, bcol 0 B, col 0 B, left_edge 0 B, right_edge 0 B)
20250430 21:45:21 [INFO] LlsssStepExpandRecentering: max pre-reify estimated mem: 704 B
20250430 21:45:21 [INFO] search/Run step LlsssStepExpandRecentering/expand window l2r: 28 calls, 361.33225ms own time, 361.33225ms total time
20250430 21:45:21 [INFO] search/Run step LlsssStepExpandRecentering/expand window2 r2l: 20 calls, 260.389701ms own time, 260.389701ms total time
20250430 21:45:21 [INFO] search/Run step LlsssMonitorShortestPartialRecentering/build_path path/step: 15 calls, 160.354331ms own time, 160.354331ms total time
20250430 21:45:21 [INFO] search/Run step LlsssMonitorRandomPartial/build_path path1/step: 16 calls, 121.931152ms own time, 121.931152ms total time
20250430 21:45:21 [INFO] search/Run step LlsssStepExpandRecentering: 4 calls, 120.909676ms own time, 1.273083078s total time
20250430 21:45:21 [INFO] search/Run step LlsssStepExpandRecentering/right closure expand2: 4 calls, 99.151657ms own time, 99.151657ms total time
20250430 21:45:21 [INFO] search/Run step LlsssStepExpandRecentering/construct rcol: 4 calls, 80.868385ms own time, 80.868385ms total time
20250430 21:45:21 [INFO] search/Run step LlsssStepExpandRecentering/left closure expand2: 4 calls, 71.142957ms own time, 71.142957ms total time
20250430 21:45:21 [INFO] search/Run step LlsssStepExpandRecentering/reify_col: 4 calls, 54.804365ms own time, 54.804365ms total time
20250430 21:45:21 [INFO] search/Run step LlsssStepExpandRecentering/assemble final bcol: 4 calls, 42.668528ms own time, 42.668528ms total time
20250430 21:45:21 [INFO] search/Run step LlsssStepExpandRecentering/final_col_long: 4 calls, 42.216999ms own time, 42.216999ms total time
20250430 21:45:21 [INFO] search/Run step LlsssRecenteringWaoUniquePartials/root_idxs: 4 calls, 39.690647ms own time, 39.690647ms total time
20250430 21:45:21 [INFO] search/Run step LlsssStepExpandRecentering/left closure: 4 calls, 36.90056ms own time, 36.90056ms total time
20250430 21:45:21 [INFO] search/Run step LlsssStepExpandRecentering/right closure: 4 calls, 33.253722ms own time, 33.253722ms total time
20250430 21:45:21 [INFO] search/Run step LlsssMonitorRandomPartial/build_path path2/step: 4 calls, 29.109624ms own time, 29.109624ms total time
20250430 21:45:21 [INFO] search/Run step LlsssStepExpandRecentering/reify_bcol1: 4 calls, 24.919856ms own time, 24.919856ms total time
20250430 21:45:21 [INFO] search/Run step LlsssEndsAgar: 4 calls, 21.08251ms own time, 21.08251ms total time
20250430 21:45:21 [INFO] search/Run step LlsssMonitorShortestPartialRecentering/build_path path: 4 calls, 19.823456ms own time, 180.197787ms total time
20250430 21:45:21 [INFO] search/Run step LlsssMonitorRandomPartial/build_path path1: 4 calls, 19.539477ms own time, 141.48999ms total time
20250430 21:45:21 [INFO] search/Run step LlsssMonitorRandomPartial/build_path path2: 4 calls, 18.709723ms own time, 47.835455ms total time
20250430 21:45:21 [INFO] search/Run step LlsssStepExpandRecentering/right edge expand: 4 calls, 16.85256ms own time, 16.85256ms total time
20250430 21:45:21 [INFO] search/Run step LlsssStepExpandRecentering/reify_bcol2: 4 calls, 15.516438ms own time, 15.541793ms total time
20250430 21:45:21 [INFO] search/Run step LlsssStepExpandRecentering/ss mark: 4 calls, 8.004498ms own time, 8.004498ms total time
20250430 21:45:21 [INFO] search/Run step LlsssStepExpandRecentering/left edge expand: 4 calls, 3.199171ms own time, 3.199171ms total time
20250430 21:45:21 [INFO] search/Run step LlsssStepExpandRecentering/ss step 1: 4 calls, 905.693µs own time, 905.693µs total time
20250430 21:45:21 [INFO] search/Run step LlsssMonitorRandomPartial: 4 calls, 279.828µs own time, 189.605273ms total time
20250430 21:45:21 [INFO] search/Run step LlsssMonitorShortestPartialRecentering: 4 calls, 254.257µs own time, 180.452044ms total time
20250430 21:45:21 [INFO] search: 1 calls, 245.334µs own time, 1.704442943s total time
20250430 21:45:21 [INFO] search/Run step LlsssRecenteringWaoUniquePartials: 4 calls, 221.782µs own time, 39.931154ms total time
20250430 21:45:21 [INFO] search/Run step LlsssStepExpandRecentering/ss step 2: 4 calls, 20.707µs own time, 20.707µs total time
20250430 21:45:21 [INFO] search/Run step LlsssRecenteringWaoUniquePartials/sketches: 4 calls, 18.725µs own time, 18.725µs total time
20250430 21:45:21 [INFO] search/Run step LlsssMonitorSpineStats: 4 calls, 18.344µs own time, 18.344µs total time
20250430 21:45:21 [INFO] search/Run step LlsssMonitorColStats: 4 calls, 13.803µs own time, 13.803µs total time
20250430 21:45:21 [INFO] search/Run step LlsssMonitorShortestPartialRecentering/build_path path/init: 4 calls, 11.912µs own time, 11.912µs total time
20250430 21:45:21 [INFO] search/Run step LlsssMonitorRandomPartial/build_path path1/init: 4 calls, 11.276µs own time, 11.276µs total time
20250430 21:45:21 [INFO] dtors/Destruct step LlsssStepExpandRecentering: 1 calls, 10.157µs own time, 10.157µs total time
20250430 21:45:21 [INFO] search/Run step LlsssMonitorRandomPartial/build_path path2/init: 4 calls, 9.749µs own time, 9.749µs total time
20250430 21:45:21 [INFO] search/Run step LlsssStepExpandRecentering/reify_bcol2/s2: 4 calls, 9.746µs own time, 9.746µs total time
20250430 21:45:21 [INFO] search/Run step LlsssStepExpandRecentering/reify_bcol2/s1: 4 calls, 9.366µs own time, 9.366µs total time
20250430 21:45:21 [INFO] search/Run step LlsssMonitorShortestPartialRecentering/build_path path/s1_bv: 4 calls, 8.088µs own time, 8.088µs total time
20250430 21:45:21 [INFO] search/Run step LlsssMonitorRandomPartial/build_path path1/s1_bv: 4 calls, 8.085µs own time, 8.085µs total time
20250430 21:45:21 [INFO] search/Run step LlsssMonitorRctl: 4 calls, 7.65µs own time, 7.65µs total time
20250430 21:45:21 [INFO] dtors: 1 calls, 7.528µs own time, 27.522µs total time
20250430 21:45:21 [INFO] search/Run step LlsssMonitorRandomPartial/build_path path2/s1_bv: 4 calls, 6.359µs own time, 6.359µs total time
20250430 21:45:21 [INFO] search/Run step LlsssStepExpandRecentering/reify_bcol2/s3: 4 calls, 6.243µs own time, 6.243µs total time
20250430 21:45:21 [INFO] dtors/Destruct step LlsssMonitorSpineStats: 1 calls, 5.585µs own time, 5.585µs total time
20250430 21:45:21 [INFO] search/Run step LlsssMonitorUniquePartial: 4 calls, 3.753µs own time, 3.753µs total time
20250430 21:45:21 [INFO] dtors/Destruct step LlsssRecenteringWaoUniquePartials: 1 calls, 2.647µs own time, 2.647µs total time
20250430 21:45:21 [INFO] dtors/Destruct step LlsssEndsAgar: 1 calls, 706ns own time, 706ns total time
20250430 21:45:21 [INFO] dtors/Destruct step LlsssMonitorRctl: 1 calls, 306ns own time, 306ns total time
20250430 21:45:21 [INFO] dtors/Destruct step LlsssMonitorUniquePartial: 1 calls, 219ns own time, 219ns total time
20250430 21:45:21 [INFO] dtors/Destruct step LlsssMonitorColStats: 1 calls, 155ns own time, 155ns total time
20250430 21:45:21 [INFO] dtors/Destruct step LlsssMonitorShortestPartialRecentering: 1 calls, 134ns own time, 134ns total time
20250430 21:45:21 [INFO] dtors/Destruct step LlsssMonitorRandomPartial: 1 calls, 85ns own time, 85ns total time
20250430 21:45:21 [INFO] Finish: search proper -> took 1.704744437s
20250430 21:45:21 [INFO] Done

I suspect that anti-spaceships exist, but I haven't found any at either c/2o or c/3o.

Code: Select all

x = 10, y = 18, rule = B2-a3ciknq4-crt5-nr6-ac7c8/S012-a3-kn4-acrwz5aknry6-e78
5b2o$4bo3b2o$5b2ob2o$5b3obo$4bobobo$3bo3bo$2b2o3bo$2b4o$b2ob4o$3o2b3o$
2o2b5o$b7o$2b2o2b2o$5b2o$8o$2ob2o$b2o2b2o$6bo!

confocaloid · Post by **confocaloid** » April 30th, 2025, 11:03 pm

edit: see new forum thread: viewtopic.php?f=11&t=6944 "The SMOSMOSMOS (xq107_y6999x6zz7w7z022)"

LaundryPizza03 wrote: ↑
April 30th, 2025, 10:56 pm
The complement of the SMOSMOSMOS rule is immortal. Equivalently, its vanishing dual provavbly contains no still lifes. [...]

By "the SMOSMOSMOS rule", do you mean just the specific cellular automaton (B2e3ceijq4aenqz5kn6a/S1e2ac3nr4ein5aejry6a78) in which the spaceship was posted, or you mean the entire subspace of CA of the same type where the spaceship can be found? Does the claim apply to the entire subspace (optional birth conditions {B5r, B6e, B6i, B6n, B8}, optional survival conditions {S6c, S6e, S6k, S6n})?

Code: Select all

#C 2^9 = 512 two-state isotropic cellular automata with Moore neighbourhood:
#C required birth conditions: B2e3ceijq4aenqz5kn6a
#C required survival conditions: S1e2ac3nr4ein5aejry6a7ce8
#C optional birth conditions: B5r6ein8
#C optional survival conditions: S6cekn
#C forbidden birth conditions: B01ce2acikn3aknry4cijkrtwy5aceijqy6ck7ce
#C forbidden survival conditions: S01c2eikn3aceijkqy4acjkqrtwyz5ciknq6i
#C https://conwaylife.com/forums/viewtopic.php?p=210748#p210748
x = 20, y = 20, rule = B2e3ceijq4aenqz5kn6a/S1e2ac3nr4ein5aejry6a78
2b2o$2bobo$2obo$ob2o$bo7$bo$ob2o$2obo$2bobo$2bo2bo12bo$3bo2b2o8b2obo$
4b2obo8bob2o$6bobo6bobo$6b2o8b2o!

LaundryPizza03 · Post by **LaundryPizza03** » April 30th, 2025, 11:33 pm

confocaloid wrote: ↑
April 30th, 2025, 11:03 pm

LaundryPizza03 wrote: ↑
April 30th, 2025, 10:56 pm
The complement of the SMOSMOSMOS rule is immortal. Equivalently, its vanishing dual provavbly contains no still lifes. [...]
By "the SMOSMOSMOS rule", do you mean just the specific cellular automaton (B2e3ceijq4aenqz5kn6a/S1e2ac3nr4ein5aejry6a78) in which the spaceship was posted, or you mean the entire subspace of CA of the same type where the spaceship can be found? Does the claim apply to the entire subspace (optional birth conditions {B5r, B6e, B6i, B6n, B8}, optional survival conditions {S6c, S6e, S6k, S6n})?
Code: Select all
#C 2^9 = 512 two-state isotropic cellular automata with Moore neighbourhood:
#C required birth conditions: B2e3ceijq4aenqz5kn6a
#C required survival conditions: S1e2ac3nr4ein5aejry6a7ce8
#C optional birth conditions: B5r6ein8
#C optional survival conditions: S6cekn
#C forbidden birth conditions: B01ce2acikn3aknry4cijkrtwy5aceijqy6ck7ce
#C forbidden survival conditions: S01c2eikn3aceijkqy4acjkqrtwyz5ciknq6i
#C https://conwaylife.com/forums/viewtopic.php?p=210748#p210748
x = 20, y = 20, rule = B2e3ceijq4aenqz5kn6a/S1e2ac3nr4ein5aejry6a78
2b2o$2bobo$2obo$ob2o$bo7$bo$ob2o$2obo$2bobo$2bo2bo12bo$3bo2b2o8b2obo$
4b2obo8bob2o$6bobo6bobo$6b2o8b2o!

I haven't checked all of those. But:

Code: Select all

x = 1, y = 1, rule = B2-a3ciknq4-crt5-nr6-ac7c8/S02-ck3knr4acrwz5ceijq6e
o!

Code: Select all

x = 2, y = 2, rule = B2-a3ciknq4-crt5-nr6-ac7c8/S2-ck3knr4acrwz5ceijq6e
bo$2o!

Code: Select all

x = 5, y = 5, rule = B2-a3ciknq4-crt5-nr6-ac7c8/S2ain3knr4acrwz5ceijq6e
bo$2o$2bo$3b2o$3bo!

And the ones without B8/S6en are provably immortal, if I've done everything correctly.

Code: Select all

% ./rlife llsss-recentering-wao --rule 'B2i3ciknq4-crt5-nr6-ac7c8/S2ai3knr4acrwz5ceijq6e' p1 '@bg' --ends bg XX 
20250430 22:31:10 [INFO] WAO error window #0 (included):
20250430 22:31:10 [INFO] | ZZZZZ |
20250430 22:31:10 [INFO] | ..... |
20250430 22:31:10 [INFO] | ..... |
20250430 22:31:10 [INFO] | ..xWW |
20250430 22:31:10 [INFO] Start: compile step LlsssMonitorSpineStats
20250430 22:31:10 [INFO] Finish: compile step LlsssMonitorSpineStats -> took 27.547µs
20250430 22:31:10 [INFO] Start: compile step LlsssMonitorColStats
20250430 22:31:10 [INFO] Finish: compile step LlsssMonitorColStats -> took 2.832µs
20250430 22:31:10 [INFO] Start: compile step LlsssRecenteringWaoUniquePartials
20250430 22:31:10 [INFO] Finish: compile step LlsssRecenteringWaoUniquePartials -> took 4.683µs
20250430 22:31:10 [INFO] Start: compile step LlsssMonitorUniquePartial
20250430 22:31:10 [INFO] Finish: compile step LlsssMonitorUniquePartial -> took 2.601µs
20250430 22:31:10 [INFO] Start: compile step LlsssMonitorShortestPartialRecentering
20250430 22:31:10 [INFO] Finish: compile step LlsssMonitorShortestPartialRecentering -> took 2.393µs
20250430 22:31:10 [INFO] Start: compile step LlsssMonitorRandomPartial
20250430 22:31:10 [INFO] Finish: compile step LlsssMonitorRandomPartial -> took 2.598µs
20250430 22:31:10 [INFO] Start: compile step LlsssMonitorRctl
20250430 22:31:10 [INFO] Finish: compile step LlsssMonitorRctl -> took 44.583µs
20250430 22:31:10 [INFO] Start: compile step LlsssStepExpandRecentering
20250430 22:31:10 [INFO] Start: compile tables
20250430 22:31:10 [INFO] Compiling [checks3 1/1] table of 8 + 1 = 9 bits
20250430 22:31:10 [INFO] Finish: compile tables -> took 2.18737ms
20250430 22:31:10 [INFO] Start: compile tables
20250430 22:31:10 [INFO] Compiling [checks3 1/1] table of 8 + 1 = 9 bits
20250430 22:31:10 [INFO] Finish: compile tables -> took 2.537003ms
20250430 22:31:10 [INFO] Start: compile tables
20250430 22:31:10 [INFO] Compiling [checks3 1/1] table of 6 + 3 = 9 bits
20250430 22:31:10 [INFO] Finish: compile tables -> took 12.436273ms
20250430 22:31:10 [INFO] Finish: compile step LlsssStepExpandRecentering -> took 21.365417ms
20250430 22:31:10 [INFO] Start: compile step LlsssEndsAgar
20250430 22:31:10 [INFO] Finish: compile step LlsssEndsAgar -> took 29.789µs
20250430 22:31:10 [INFO] Start: search proper
20250430 22:31:10 [INFO] Memory: total 136 B (ss.cur_gen 48 B, bcol 32 B, col 40 B, left_edge 8 B, right_edge 8 B)
20250430 22:31:10 [INFO] Spine store sizes: old_gens [], cur_gen 3
20250430 22:31:10 [INFO] Cols sizes: 4 / 5
20250430 22:31:10 [INFO] Unique [WAO idx #0]:
20250430 22:31:10 [INFO] | . |
20250430 22:31:10 [INFO] | . |
20250430 22:31:10 [INFO] Shortest partial:
20250430 22:31:10 [INFO] | ZZZZZ |
20250430 22:31:10 [INFO] | ..... |
20250430 22:31:10 [INFO] | ..... |
20250430 22:31:10 [INFO] Random[ish] partial:
20250430 22:31:10 [INFO] |    SS |
20250430 22:31:10 [INFO] | ZZZZZ |
20250430 22:31:10 [INFO] | ..... |
20250430 22:31:10 [INFO] | ..... |
20250430 22:31:10 [INFO] Memory: total 172 B (ss.cur_gen 48 B, bcol 32 B, col 40 B, left_edge 8 B, right_edge 8 B, rcol.heads 16 B, rcol.nexts 20 B)
20250430 22:31:10 [DEBUG] Expanded w_pos 2 left edge: 1 -> 1
20250430 22:31:10 [DEBUG] Expanded w_pos 2 closure [l2r]: bcol 1 -> 1
20250430 22:31:10 [INFO] Memory: total 204 B (ss.cur_gen 48 B, bcol 32 B, col 40 B, left_edge 8 B, right_edge 8 B, rcol.heads 16 B, rcol.nexts 20 B, left_edge_long 8 B, left_closure_boundary 8 B, left_closure_data.outer_bcol_in 8 B, left_closure_data.inner_bcol_out 8 B)
20250430 22:31:10 [DEBUG] Expanded w_pos 2 right edge: 1 -> 1
20250430 22:31:10 [DEBUG] Expanded w_pos 2 closure [r2l]: bcol 1 -> 1
20250430 22:31:10 [INFO] Memory: total 236 B (ss.cur_gen 48 B, bcol 32 B, col 40 B, left_edge 8 B, right_edge 8 B, rcol.heads 16 B, rcol.nexts 20 B, left_edge_long 8 B, left_closure_boundary 8 B, left_closure_data.outer_bcol_in 8 B, left_closure_data.inner_bcol_out 8 B, right_edge_long 8 B, right_closure_boundary 8 B, right_closure_data.outer_bcol_in 8 B, right_closure_data.inner_bcol_out 8 B)
20250430 22:31:10 [INFO] Memory: total 268 B (ss.cur_gen 48 B, bcol 32 B, col 40 B, left_edge 8 B, right_edge 8 B, rcol.heads 16 B, rcol.nexts 20 B, left_edge_long 8 B, left_closure_boundary 8 B, left_closure_data.outer_bcol_in 8 B, left_closure_data.inner_bcol_out 8 B, right_edge_long 8 B, right_closure_boundary 8 B, right_closure_data.outer_bcol_in 8 B, right_closure_data.inner_bcol_out 8 B, left_distances 16 B, right_distances 16 B)
20250430 22:31:10 [DEBUG] Expanded w_pos 2 window [l2r]: frontier 1 -> 1
20250430 22:31:10 [DEBUG] Expanded w_pos 2 window [l2r]: frontier 1 -> 2
20250430 22:31:10 [DEBUG] Expanded w_pos 2 window [l2r]: frontier 2 -> 3
20250430 22:31:10 [DEBUG] Expanded w_pos 2 window [l2r]: frontier 3 -> 1
20250430 22:31:10 [DEBUG] Expanded w_pos 2 window [l2r]: frontier 1 -> 0
20250430 22:31:10 [DEBUG] Expanded w_pos 2 window2 [r2l]: frontier 1 -> 2
20250430 22:31:10 [DEBUG] Expanded w_pos 2 window2 [r2l]: frontier 2 -> 4
20250430 22:31:10 [DEBUG] Expanded w_pos 2 window2 [r2l]: frontier 4 -> 1
20250430 22:31:10 [DEBUG] Expanded w_pos 2 window2 [r2l]: frontier 1 -> 0
20250430 22:31:10 [INFO] Memory: total 300 B (ss.cur_gen 48 B, bcol 32 B, col 40 B, left_edge 8 B, right_edge 8 B, rcol.heads 16 B, rcol.nexts 20 B, left_edge_long 8 B, left_closure_boundary 8 B, left_closure_data.outer_bcol_in 8 B, left_closure_data.inner_bcol_out 8 B, right_edge_long 8 B, right_closure_boundary 8 B, right_closure_data.outer_bcol_in 8 B, right_closure_data.inner_bcol_out 8 B, left_distances 16 B, right_distances 16 B, final_col_long 8 B, left_bcol_long 8 B, right_bcol_long 8 B, final_bcol_long 8 B)
20250430 22:31:10 [INFO] Memory: total 184 B (ss.cur_gen 48 B, bcol 32 B, col 40 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, final_col_long 8 B, left_bcol_long 8 B, right_bcol_long 8 B, final_bcol_long 8 B)
20250430 22:31:10 [INFO] Memory: total 224 B (ss.cur_gen 48 B, bcol 32 B, col 40 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, final_col_long 8 B, left_bcol_long 8 B, right_bcol_long 8 B, final_bcol_xmap 40 B, final_bcol_long 8 B)
20250430 22:31:10 [INFO] Memory: total 336 B (ss.cur_gen 48 B, bcol 32 B, col 40 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, final_col_long 8 B, left_bcol_long 8 B, right_bcol_long 8 B, final_bcol_xmap 40 B, final_col_real 112 B, final_bcol_long 8 B)
20250430 22:31:10 [INFO] Memory: total 328 B (ss.cur_gen 48 B, bcol 32 B, col 40 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, left_bcol_long 8 B, right_bcol_long 8 B, final_bcol_xmap 40 B, final_col_real 112 B, final_bcol_long 8 B)
20250430 22:31:10 [INFO] Memory: total 288 B (ss.cur_gen 48 B, bcol 32 B, col 112 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, left_bcol_long 8 B, right_bcol_long 8 B, final_bcol_xmap 40 B, final_bcol_long 8 B)
20250430 22:31:10 [INFO] Memory: total 296 B (ss.cur_gen 48 B, bcol 32 B, col 112 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, left_bcol_long 8 B, right_bcol_long 8 B, final_bcol_xmap 40 B, final_bcol_long 8 B, left_edge_real 8 B)
20250430 22:31:10 [INFO] Memory: total 272 B (ss.cur_gen 48 B, bcol 32 B, col 112 B, left_edge 8 B, right_edge 8 B, right_edge_long 8 B, right_bcol_long 8 B, final_bcol_xmap 40 B, final_bcol_long 8 B)
20250430 22:31:10 [INFO] Memory: total 280 B (ss.cur_gen 48 B, bcol 32 B, col 112 B, left_edge 8 B, right_edge 8 B, right_edge_long 8 B, right_bcol_long 8 B, final_bcol_xmap 40 B, final_bcol_long 8 B, right_edge_real 8 B)
20250430 22:31:10 [INFO] Memory: total 216 B (ss.cur_gen 48 B, bcol 32 B, col 112 B, left_edge 8 B, right_edge 8 B, final_bcol_long 8 B)
20250430 22:31:10 [INFO] Memory: total 224 B (ss.cur_gen 48 B, ss.new_bv 8 B, bcol 32 B, col 112 B, left_edge 8 B, right_edge 8 B, final_bcol_long 8 B)
20250430 22:31:10 [INFO] Memory: total 300 B (ss.cur_gen 48 B, ss.new_bv 8 B, ss.base_pointers 12 B, ss.new_cur_gen 64 B, bcol 32 B, col 112 B, left_edge 8 B, right_edge 8 B, final_bcol_long 8 B)
20250430 22:31:10 [INFO] Memory: total 364 B (ss.cur_gen 48 B, ss.new_bv 8 B, ss.base_pointers 12 B, ss.new_cur_gen 64 B, bcol 32 B, col 112 B, left_edge 8 B, right_edge 8 B, final_bcol_long 8 B, final_bcol_real 64 B)
20250430 22:31:10 [INFO] Memory: total 356 B (ss.cur_gen 48 B, ss.new_bv 8 B, ss.base_pointers 12 B, ss.new_cur_gen 64 B, bcol 32 B, col 112 B, left_edge 8 B, right_edge 8 B, final_bcol_real 64 B)
20250430 22:31:10 [INFO] Memory: total 288 B (ss.cur_gen 64 B, bcol 32 B, col 112 B, left_edge 8 B, right_edge 8 B, final_bcol_real 64 B)
20250430 22:31:10 [INFO] Memory: total 256 B (ss.cur_gen 64 B, bcol 64 B, col 112 B, left_edge 8 B, right_edge 8 B)
20250430 22:31:10 [DEBUG] Completed w_pos 2: 256 B, 148.942769ms
20250430 22:31:10 [INFO] Memory: total 256 B (ss.cur_gen 64 B, bcol 64 B, col 112 B, left_edge 8 B, right_edge 8 B)
20250430 22:31:10 [INFO] Spine store sizes: old_gens [], cur_gen 4
20250430 22:31:10 [INFO] Cols sizes: 8 / 14
20250430 22:31:10 [INFO] Unique [WAO idx #0]:
20250430 22:31:10 [INFO] | . |
20250430 22:31:10 [INFO] | . |
20250430 22:31:10 [INFO] | * |
20250430 22:31:10 [INFO] Shortest partial:
20250430 22:31:10 [INFO] | ZZZZZ |
20250430 22:31:10 [INFO] | ..... |
20250430 22:31:10 [INFO] | ..... |
20250430 22:31:10 [INFO] | ..*.. |
20250430 22:31:10 [INFO] Random[ish] partial:
20250430 22:31:10 [INFO] |   SS   |
20250430 22:31:10 [INFO] | ZZZZZZ |
20250430 22:31:10 [INFO] | ...... |
20250430 22:31:10 [INFO] | ...... |
20250430 22:31:10 [INFO] | ..**.. |
20250430 22:31:10 [INFO] Memory: total 344 B (ss.cur_gen 64 B, bcol 64 B, col 112 B, left_edge 8 B, right_edge 8 B, rcol.heads 32 B, rcol.nexts 56 B)
20250430 22:31:10 [DEBUG] Expanded w_pos 3 left edge: 1 -> 1
20250430 22:31:10 [DEBUG] Expanded w_pos 3 closure [l2r]: bcol 1 -> 1
20250430 22:31:10 [INFO] Memory: total 376 B (ss.cur_gen 64 B, bcol 64 B, col 112 B, left_edge 8 B, right_edge 8 B, rcol.heads 32 B, rcol.nexts 56 B, left_edge_long 8 B, left_closure_boundary 8 B, left_closure_data.outer_bcol_in 8 B, left_closure_data.inner_bcol_out 8 B)
20250430 22:31:10 [DEBUG] Expanded w_pos 3 right edge: 1 -> 1
20250430 22:31:10 [DEBUG] Expanded w_pos 3 closure [r2l]: bcol 1 -> 1
20250430 22:31:10 [INFO] Memory: total 408 B (ss.cur_gen 64 B, bcol 64 B, col 112 B, left_edge 8 B, right_edge 8 B, rcol.heads 32 B, rcol.nexts 56 B, left_edge_long 8 B, left_closure_boundary 8 B, left_closure_data.outer_bcol_in 8 B, left_closure_data.inner_bcol_out 8 B, right_edge_long 8 B, right_closure_boundary 8 B, right_closure_data.outer_bcol_in 8 B, right_closure_data.inner_bcol_out 8 B)
20250430 22:31:10 [INFO] Memory: total 472 B (ss.cur_gen 64 B, bcol 64 B, col 112 B, left_edge 8 B, right_edge 8 B, rcol.heads 32 B, rcol.nexts 56 B, left_edge_long 8 B, left_closure_boundary 8 B, left_closure_data.outer_bcol_in 8 B, left_closure_data.inner_bcol_out 8 B, right_edge_long 8 B, right_closure_boundary 8 B, right_closure_data.outer_bcol_in 8 B, right_closure_data.inner_bcol_out 8 B, left_distances 32 B, right_distances 32 B)
20250430 22:31:10 [DEBUG] Expanded w_pos 3 window [l2r]: frontier 1 -> 3
20250430 22:31:10 [DEBUG] Expanded w_pos 3 window [l2r]: frontier 3 -> 6
20250430 22:31:10 [DEBUG] Expanded w_pos 3 window [l2r]: frontier 6 -> 4
20250430 22:31:10 [DEBUG] Expanded w_pos 3 window [l2r]: frontier 4 -> 5
20250430 22:31:10 [DEBUG] Expanded w_pos 3 window [l2r]: frontier 5 -> 3
20250430 22:31:10 [DEBUG] Expanded w_pos 3 window [l2r]: frontier 3 -> 2
20250430 22:31:10 [DEBUG] Expanded w_pos 3 window [l2r]: frontier 2 -> 0
20250430 22:31:10 [DEBUG] Expanded w_pos 3 window2 [r2l]: frontier 1 -> 5
20250430 22:31:10 [DEBUG] Expanded w_pos 3 window2 [r2l]: frontier 5 -> 10
20250430 22:31:10 [DEBUG] Expanded w_pos 3 window2 [r2l]: frontier 10 -> 5
20250430 22:31:10 [DEBUG] Expanded w_pos 3 window2 [r2l]: frontier 5 -> 2
20250430 22:31:10 [DEBUG] Expanded w_pos 3 window2 [r2l]: frontier 2 -> 1
20250430 22:31:10 [DEBUG] Expanded w_pos 3 window2 [r2l]: frontier 1 -> 0
20250430 22:31:10 [INFO] Memory: total 512 B (ss.cur_gen 64 B, bcol 64 B, col 112 B, left_edge 8 B, right_edge 8 B, rcol.heads 32 B, rcol.nexts 56 B, left_edge_long 8 B, left_closure_boundary 8 B, left_closure_data.outer_bcol_in 8 B, left_closure_data.inner_bcol_out 8 B, right_edge_long 8 B, right_closure_boundary 8 B, right_closure_data.outer_bcol_in 8 B, right_closure_data.inner_bcol_out 8 B, left_distances 32 B, right_distances 32 B, final_col_long 16 B, left_bcol_long 8 B, right_bcol_long 8 B, final_bcol_long 8 B)
20250430 22:31:10 [INFO] Memory: total 312 B (ss.cur_gen 64 B, bcol 64 B, col 112 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, final_col_long 16 B, left_bcol_long 8 B, right_bcol_long 8 B, final_bcol_long 8 B)
20250430 22:31:10 [INFO] Memory: total 384 B (ss.cur_gen 64 B, bcol 64 B, col 112 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, final_col_long 16 B, left_bcol_long 8 B, right_bcol_long 8 B, final_bcol_xmap 72 B, final_bcol_long 8 B)
20250430 22:31:10 [INFO] Memory: total 624 B (ss.cur_gen 64 B, bcol 64 B, col 112 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, final_col_long 16 B, left_bcol_long 8 B, right_bcol_long 8 B, final_bcol_xmap 72 B, final_col_real 240 B, final_bcol_long 8 B)
20250430 22:31:10 [INFO] Memory: total 608 B (ss.cur_gen 64 B, bcol 64 B, col 112 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, left_bcol_long 8 B, right_bcol_long 8 B, final_bcol_xmap 72 B, final_col_real 240 B, final_bcol_long 8 B)
20250430 22:31:10 [INFO] Memory: total 496 B (ss.cur_gen 64 B, bcol 64 B, col 240 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, left_bcol_long 8 B, right_bcol_long 8 B, final_bcol_xmap 72 B, final_bcol_long 8 B)
20250430 22:31:10 [INFO] Memory: total 504 B (ss.cur_gen 64 B, bcol 64 B, col 240 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, left_bcol_long 8 B, right_bcol_long 8 B, final_bcol_xmap 72 B, final_bcol_long 8 B, left_edge_real 8 B)
20250430 22:31:10 [INFO] Memory: total 480 B (ss.cur_gen 64 B, bcol 64 B, col 240 B, left_edge 8 B, right_edge 8 B, right_edge_long 8 B, right_bcol_long 8 B, final_bcol_xmap 72 B, final_bcol_long 8 B)
20250430 22:31:10 [INFO] Memory: total 488 B (ss.cur_gen 64 B, bcol 64 B, col 240 B, left_edge 8 B, right_edge 8 B, right_edge_long 8 B, right_bcol_long 8 B, final_bcol_xmap 72 B, final_bcol_long 8 B, right_edge_real 8 B)
20250430 22:31:10 [INFO] Memory: total 392 B (ss.cur_gen 64 B, bcol 64 B, col 240 B, left_edge 8 B, right_edge 8 B, final_bcol_long 8 B)
20250430 22:31:10 [INFO] Memory: total 400 B (ss.cur_gen 64 B, ss.new_bv 8 B, bcol 64 B, col 240 B, left_edge 8 B, right_edge 8 B, final_bcol_long 8 B)
20250430 22:31:10 [INFO] Memory: total 512 B (ss.cur_gen 64 B, ss.new_bv 8 B, ss.base_pointers 16 B, ss.new_cur_gen 96 B, bcol 64 B, col 240 B, left_edge 8 B, right_edge 8 B, final_bcol_long 8 B)
20250430 22:31:10 [INFO] Memory: total 656 B (ss.cur_gen 64 B, ss.new_bv 8 B, ss.base_pointers 16 B, ss.new_cur_gen 96 B, bcol 64 B, col 240 B, left_edge 8 B, right_edge 8 B, final_bcol_long 8 B, final_bcol_real 144 B)
20250430 22:31:10 [INFO] Memory: total 648 B (ss.cur_gen 64 B, ss.new_bv 8 B, ss.base_pointers 16 B, ss.new_cur_gen 96 B, bcol 64 B, col 240 B, left_edge 8 B, right_edge 8 B, final_bcol_real 144 B)
20250430 22:31:10 [INFO] Memory: total 560 B (ss.cur_gen 96 B, bcol 64 B, col 240 B, left_edge 8 B, right_edge 8 B, final_bcol_real 144 B)
20250430 22:31:10 [INFO] Memory: total 496 B (ss.cur_gen 96 B, bcol 144 B, col 240 B, left_edge 8 B, right_edge 8 B)
20250430 22:31:10 [DEBUG] Completed w_pos 3: 496 B [+63.83%], 143.465027ms [-3.75%]
20250430 22:31:10 [INFO] Memory: total 496 B (ss.cur_gen 96 B, bcol 144 B, col 240 B, left_edge 8 B, right_edge 8 B)
20250430 22:31:10 [INFO] Spine store sizes: old_gens [], cur_gen 6
20250430 22:31:10 [INFO] Cols sizes: 18 / 30
20250430 22:31:10 [INFO] Unique [WAO idx #0]:
20250430 22:31:10 [INFO] | . |
20250430 22:31:10 [INFO] | . |
20250430 22:31:10 [INFO] | * |
20250430 22:31:10 [INFO] | * |
20250430 22:31:10 [INFO] Shortest partial:
20250430 22:31:10 [INFO] | ZZZZZZ |
20250430 22:31:10 [INFO] | ...... |
20250430 22:31:10 [INFO] | ...... |
20250430 22:31:10 [INFO] | ...*.. |
20250430 22:31:10 [INFO] | ..**.. |
20250430 22:31:10 [INFO] Random[ish] partial:
20250430 22:31:10 [INFO] |      SS   |
20250430 22:31:10 [INFO] | ZZZZZZZZZ |
20250430 22:31:10 [INFO] | ......... |
20250430 22:31:10 [INFO] | ......... |
20250430 22:31:10 [INFO] | ..*...*.. |
20250430 22:31:10 [INFO] | ..**.**.. |
20250430 22:31:10 [INFO] Memory: total 688 B (ss.cur_gen 96 B, bcol 144 B, col 240 B, left_edge 8 B, right_edge 8 B, rcol.heads 72 B, rcol.nexts 120 B)
20250430 22:31:10 [DEBUG] Expanded w_pos 4 left edge: 1 -> 1
20250430 22:31:10 [DEBUG] Expanded w_pos 4 closure [l2r]: bcol 1 -> 1
20250430 22:31:10 [INFO] Memory: total 744 B (ss.cur_gen 96 B, bcol 144 B, col 240 B, left_edge 8 B, right_edge 8 B, rcol.heads 72 B, rcol.nexts 120 B, left_edge_long 8 B, left_closure_boundary 16 B, left_closure_data.outer_bcol_in 16 B, left_closure_data.inner_bcol_out 16 B)
20250430 22:31:10 [DEBUG] Expanded w_pos 4 right edge: 1 -> 1
20250430 22:31:10 [DEBUG] Expanded w_pos 4 closure [r2l]: bcol 1 -> 1
20250430 22:31:10 [INFO] Memory: total 800 B (ss.cur_gen 96 B, bcol 144 B, col 240 B, left_edge 8 B, right_edge 8 B, rcol.heads 72 B, rcol.nexts 120 B, left_edge_long 8 B, left_closure_boundary 16 B, left_closure_data.outer_bcol_in 16 B, left_closure_data.inner_bcol_out 16 B, right_edge_long 8 B, right_closure_boundary 16 B, right_closure_data.outer_bcol_in 16 B, right_closure_data.inner_bcol_out 16 B)
20250430 22:31:10 [INFO] Memory: total 944 B (ss.cur_gen 96 B, bcol 144 B, col 240 B, left_edge 8 B, right_edge 8 B, rcol.heads 72 B, rcol.nexts 120 B, left_edge_long 8 B, left_closure_boundary 16 B, left_closure_data.outer_bcol_in 16 B, left_closure_data.inner_bcol_out 16 B, right_edge_long 8 B, right_closure_boundary 16 B, right_closure_data.outer_bcol_in 16 B, right_closure_data.inner_bcol_out 16 B, left_distances 72 B, right_distances 72 B)
20250430 22:31:10 [DEBUG] Expanded w_pos 4 window [l2r]: frontier 1 -> 4
20250430 22:31:10 [DEBUG] Expanded w_pos 4 window [l2r]: frontier 4 -> 9
20250430 22:31:10 [DEBUG] Expanded w_pos 4 window [l2r]: frontier 9 -> 7
20250430 22:31:10 [DEBUG] Expanded w_pos 4 window [l2r]: frontier 7 -> 4
20250430 22:31:10 [DEBUG] Expanded w_pos 4 window [l2r]: frontier 4 -> 4
20250430 22:31:10 [DEBUG] Expanded w_pos 4 window [l2r]: frontier 4 -> 8
20250430 22:31:10 [DEBUG] Expanded w_pos 4 window [l2r]: frontier 8 -> 6
20250430 22:31:10 [DEBUG] Expanded w_pos 4 window [l2r]: frontier 6 -> 1
20250430 22:31:10 [DEBUG] Expanded w_pos 4 window [l2r]: frontier 1 -> 0
20250430 22:31:10 [DEBUG] Expanded w_pos 4 window2 [r2l]: frontier 1 -> 5
20250430 22:31:10 [DEBUG] Expanded w_pos 4 window2 [r2l]: frontier 5 -> 12
20250430 22:31:10 [DEBUG] Expanded w_pos 4 window2 [r2l]: frontier 12 -> 12
20250430 22:31:10 [DEBUG] Expanded w_pos 4 window2 [r2l]: frontier 12 -> 5
20250430 22:31:10 [DEBUG] Expanded w_pos 4 window2 [r2l]: frontier 5 -> 4
20250430 22:31:10 [DEBUG] Expanded w_pos 4 window2 [r2l]: frontier 4 -> 5
20250430 22:31:10 [DEBUG] Expanded w_pos 4 window2 [r2l]: frontier 5 -> 2
20250430 22:31:10 [DEBUG] Expanded w_pos 4 window2 [r2l]: frontier 2 -> 0
20250430 22:31:10 [INFO] Memory: total 1.00 KB (ss.cur_gen 96 B, bcol 144 B, col 240 B, left_edge 8 B, right_edge 8 B, rcol.heads 72 B, rcol.nexts 120 B, left_edge_long 8 B, left_closure_boundary 16 B, left_closure_data.outer_bcol_in 16 B, left_closure_data.inner_bcol_out 16 B, right_edge_long 8 B, right_closure_boundary 16 B, right_closure_data.outer_bcol_in 16 B, right_closure_data.inner_bcol_out 16 B, left_distances 72 B, right_distances 72 B, final_col_long 32 B, left_bcol_long 16 B, right_bcol_long 16 B, final_bcol_long 16 B)
20250430 22:31:10 [INFO] Memory: total 592 B (ss.cur_gen 96 B, bcol 144 B, col 240 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, final_col_long 32 B, left_bcol_long 16 B, right_bcol_long 16 B, final_bcol_long 16 B)
20250430 22:31:10 [INFO] Memory: total 744 B (ss.cur_gen 96 B, bcol 144 B, col 240 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, final_col_long 32 B, left_bcol_long 16 B, right_bcol_long 16 B, final_bcol_xmap 152 B, final_bcol_long 16 B)
20250430 22:31:10 [INFO] Memory: total 1.19 KB (ss.cur_gen 96 B, bcol 144 B, col 240 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, final_col_long 32 B, left_bcol_long 16 B, right_bcol_long 16 B, final_bcol_xmap 152 B, final_col_real 472 B, final_bcol_long 16 B)
20250430 22:31:10 [INFO] Memory: total 1.16 KB (ss.cur_gen 96 B, bcol 144 B, col 240 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, left_bcol_long 16 B, right_bcol_long 16 B, final_bcol_xmap 152 B, final_col_real 472 B, final_bcol_long 16 B)
20250430 22:31:10 [INFO] Memory: total 944 B (ss.cur_gen 96 B, bcol 144 B, col 472 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, left_bcol_long 16 B, right_bcol_long 16 B, final_bcol_xmap 152 B, final_bcol_long 16 B)
20250430 22:31:10 [INFO] Memory: total 952 B (ss.cur_gen 96 B, bcol 144 B, col 472 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, left_bcol_long 16 B, right_bcol_long 16 B, final_bcol_xmap 152 B, final_bcol_long 16 B, left_edge_real 8 B)
20250430 22:31:10 [INFO] Memory: total 920 B (ss.cur_gen 96 B, bcol 144 B, col 472 B, left_edge 8 B, right_edge 8 B, right_edge_long 8 B, right_bcol_long 16 B, final_bcol_xmap 152 B, final_bcol_long 16 B)
20250430 22:31:10 [INFO] Memory: total 928 B (ss.cur_gen 96 B, bcol 144 B, col 472 B, left_edge 8 B, right_edge 8 B, right_edge_long 8 B, right_bcol_long 16 B, final_bcol_xmap 152 B, final_bcol_long 16 B, right_edge_real 8 B)
20250430 22:31:10 [INFO] Memory: total 744 B (ss.cur_gen 96 B, bcol 144 B, col 472 B, left_edge 8 B, right_edge 8 B, final_bcol_long 16 B)
20250430 22:31:10 [INFO] Memory: total 752 B (ss.cur_gen 96 B, ss.new_bv 8 B, bcol 144 B, col 472 B, left_edge 8 B, right_edge 8 B, final_bcol_long 16 B)
20250430 22:31:10 [INFO] Memory: total 936 B (ss.cur_gen 96 B, ss.new_bv 8 B, ss.base_pointers 24 B, ss.new_cur_gen 160 B, bcol 144 B, col 472 B, left_edge 8 B, right_edge 8 B, final_bcol_long 16 B)
20250430 22:31:10 [INFO] Memory: total 1.18 KB (ss.cur_gen 96 B, ss.new_bv 8 B, ss.base_pointers 24 B, ss.new_cur_gen 160 B, bcol 144 B, col 472 B, left_edge 8 B, right_edge 8 B, final_bcol_long 16 B, final_bcol_real 272 B)
20250430 22:31:10 [INFO] Memory: total 1.16 KB (ss.cur_gen 96 B, ss.new_bv 8 B, ss.base_pointers 24 B, ss.new_cur_gen 160 B, bcol 144 B, col 472 B, left_edge 8 B, right_edge 8 B, final_bcol_real 272 B)
20250430 22:31:10 [INFO] Memory: total 1.04 KB (ss.cur_gen 160 B, bcol 144 B, col 472 B, left_edge 8 B, right_edge 8 B, final_bcol_real 272 B)
20250430 22:31:10 [INFO] Memory: total 920 B (ss.cur_gen 160 B, bcol 272 B, col 472 B, left_edge 8 B, right_edge 8 B)
20250430 22:31:10 [DEBUG] Completed w_pos 4: 920 B [+59.89%], 371.720021ms [+88.61%]
20250430 22:31:10 [INFO] Memory: total 920 B (ss.cur_gen 160 B, bcol 272 B, col 472 B, left_edge 8 B, right_edge 8 B)
20250430 22:31:10 [INFO] Spine store sizes: old_gens [], cur_gen 10
20250430 22:31:10 [INFO] Cols sizes: 34 / 59
20250430 22:31:10 [INFO] Unique [WAO idx #0]:
20250430 22:31:10 [INFO] | . |
20250430 22:31:10 [INFO] | . |
20250430 22:31:10 [INFO] | * |
20250430 22:31:10 [INFO] | * |
20250430 22:31:10 [INFO] | . |
20250430 22:31:10 [INFO] Shortest partial:
20250430 22:31:10 [INFO] | ZZZZZZZ |
20250430 22:31:10 [INFO] | ....... |
20250430 22:31:10 [INFO] | ....... |
20250430 22:31:10 [INFO] | ...*... |
20250430 22:31:10 [INFO] | ...**.. |
20250430 22:31:10 [INFO] | ..*.... |
20250430 22:31:10 [INFO] Random[ish] partial:
20250430 22:31:10 [INFO] |      SS |
20250430 22:31:10 [INFO] | ZZZZZZZ |
20250430 22:31:10 [INFO] | ....... |
20250430 22:31:10 [INFO] | ....... |
20250430 22:31:10 [INFO] | ...*... |
20250430 22:31:10 [INFO] | ...**.. |
20250430 22:31:10 [INFO] | ..*.... |
20250430 22:31:10 [INFO] Memory: total 1.26 KB (ss.cur_gen 160 B, bcol 272 B, col 472 B, left_edge 8 B, right_edge 8 B, rcol.heads 136 B, rcol.nexts 236 B)
20250430 22:31:10 [DEBUG] Expanded w_pos 5 left edge: 1 -> 1
20250430 22:31:10 [DEBUG] Expanded w_pos 5 closure [l2r]: bcol 1 -> 1
20250430 22:31:10 [INFO] Memory: total 1.34 KB (ss.cur_gen 160 B, bcol 272 B, col 472 B, left_edge 8 B, right_edge 8 B, rcol.heads 136 B, rcol.nexts 236 B, left_edge_long 8 B, left_closure_boundary 24 B, left_closure_data.outer_bcol_in 24 B, left_closure_data.inner_bcol_out 24 B)
20250430 22:31:10 [DEBUG] Expanded w_pos 5 right edge: 1 -> 1
20250430 22:31:10 [DEBUG] Expanded w_pos 5 closure [r2l]: bcol 1 -> 1
20250430 22:31:10 [INFO] Memory: total 1.42 KB (ss.cur_gen 160 B, bcol 272 B, col 472 B, left_edge 8 B, right_edge 8 B, rcol.heads 136 B, rcol.nexts 236 B, left_edge_long 8 B, left_closure_boundary 24 B, left_closure_data.outer_bcol_in 24 B, left_closure_data.inner_bcol_out 24 B, right_edge_long 8 B, right_closure_boundary 24 B, right_closure_data.outer_bcol_in 24 B, right_closure_data.inner_bcol_out 24 B)
20250430 22:31:10 [INFO] Memory: total 1.68 KB (ss.cur_gen 160 B, bcol 272 B, col 472 B, left_edge 8 B, right_edge 8 B, rcol.heads 136 B, rcol.nexts 236 B, left_edge_long 8 B, left_closure_boundary 24 B, left_closure_data.outer_bcol_in 24 B, left_closure_data.inner_bcol_out 24 B, right_edge_long 8 B, right_closure_boundary 24 B, right_closure_data.outer_bcol_in 24 B, right_closure_data.inner_bcol_out 24 B, left_distances 136 B, right_distances 136 B)
20250430 22:31:10 [DEBUG] Expanded w_pos 5 window [l2r]: frontier 1 -> 6
20250430 22:31:10 [DEBUG] Expanded w_pos 5 window [l2r]: frontier 6 -> 12
20250430 22:31:11 [DEBUG] Expanded w_pos 5 window [l2r]: frontier 12 -> 9
20250430 22:31:11 [DEBUG] Expanded w_pos 5 window [l2r]: frontier 9 -> 3
20250430 22:31:11 [DEBUG] Expanded w_pos 5 window [l2r]: frontier 3 -> 0
20250430 22:31:11 [INFO] Memory: total 1.82 KB (ss.cur_gen 160 B, bcol 272 B, col 472 B, left_edge 8 B, right_edge 8 B, rcol.heads 136 B, rcol.nexts 236 B, left_edge_long 8 B, left_closure_boundary 24 B, left_closure_data.outer_bcol_in 24 B, left_closure_data.inner_bcol_out 24 B, right_edge_long 8 B, right_closure_boundary 24 B, right_closure_data.outer_bcol_in 24 B, right_closure_data.inner_bcol_out 24 B, left_distances 136 B, right_distances 136 B, final_col_long 64 B, left_bcol_long 24 B, right_bcol_long 24 B, final_bcol_long 24 B)
20250430 22:31:11 [INFO] Memory: total 1.05 KB (ss.cur_gen 160 B, bcol 272 B, col 472 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, final_col_long 64 B, left_bcol_long 24 B, right_bcol_long 24 B, final_bcol_long 24 B)
20250430 22:31:11 [INFO] Memory: total 1.32 KB (ss.cur_gen 160 B, bcol 272 B, col 472 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, final_col_long 64 B, left_bcol_long 24 B, right_bcol_long 24 B, final_bcol_xmap 280 B, final_bcol_long 24 B)
20250430 22:31:11 [INFO] Memory: total 1.32 KB (ss.cur_gen 160 B, bcol 272 B, col 472 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, final_col_long 64 B, left_bcol_long 24 B, right_bcol_long 24 B, final_bcol_xmap 280 B, final_col_real 0 B, final_bcol_long 24 B)
20250430 22:31:11 [INFO] Memory: total 1.26 KB (ss.cur_gen 160 B, bcol 272 B, col 472 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, left_bcol_long 24 B, right_bcol_long 24 B, final_bcol_xmap 280 B, final_col_real 0 B, final_bcol_long 24 B)
20250430 22:31:11 [INFO] Memory: total 816 B (ss.cur_gen 160 B, bcol 272 B, col 0 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, left_bcol_long 24 B, right_bcol_long 24 B, final_bcol_xmap 280 B, final_bcol_long 24 B)
20250430 22:31:11 [INFO] Memory: total 816 B (ss.cur_gen 160 B, bcol 272 B, col 0 B, left_edge 8 B, right_edge 8 B, left_edge_long 8 B, right_edge_long 8 B, left_bcol_long 24 B, right_bcol_long 24 B, final_bcol_xmap 280 B, final_bcol_long 24 B, left_edge_real 0 B)
20250430 22:31:11 [INFO] Memory: total 776 B (ss.cur_gen 160 B, bcol 272 B, col 0 B, left_edge 0 B, right_edge 8 B, right_edge_long 8 B, right_bcol_long 24 B, final_bcol_xmap 280 B, final_bcol_long 24 B)
20250430 22:31:11 [INFO] Memory: total 776 B (ss.cur_gen 160 B, bcol 272 B, col 0 B, left_edge 0 B, right_edge 8 B, right_edge_long 8 B, right_bcol_long 24 B, final_bcol_xmap 280 B, final_bcol_long 24 B, right_edge_real 0 B)
20250430 22:31:11 [INFO] Memory: total 456 B (ss.cur_gen 160 B, bcol 272 B, col 0 B, left_edge 0 B, right_edge 0 B, final_bcol_long 24 B)
20250430 22:31:11 [INFO] Memory: total 464 B (ss.cur_gen 160 B, ss.new_bv 8 B, bcol 272 B, col 0 B, left_edge 0 B, right_edge 0 B, final_bcol_long 24 B)
20250430 22:31:11 [INFO] Memory: total 504 B (ss.cur_gen 160 B, ss.new_bv 8 B, ss.base_pointers 40 B, ss.new_cur_gen 0 B, bcol 272 B, col 0 B, left_edge 0 B, right_edge 0 B, final_bcol_long 24 B)
20250430 22:31:11 [INFO] Memory: total 504 B (ss.cur_gen 160 B, ss.new_bv 8 B, ss.base_pointers 40 B, ss.new_cur_gen 0 B, bcol 272 B, col 0 B, left_edge 0 B, right_edge 0 B, final_bcol_long 24 B, final_bcol_real 0 B)
20250430 22:31:11 [INFO] Memory: total 480 B (ss.cur_gen 160 B, ss.new_bv 8 B, ss.base_pointers 40 B, ss.new_cur_gen 0 B, bcol 272 B, col 0 B, left_edge 0 B, right_edge 0 B, final_bcol_real 0 B)
20250430 22:31:11 [INFO] Memory: total 272 B (ss.cur_gen 0 B, bcol 272 B, col 0 B, left_edge 0 B, right_edge 0 B, final_bcol_real 0 B)
20250430 22:31:11 [INFO] Memory: total 0 B (ss.cur_gen 0 B, bcol 0 B, col 0 B, left_edge 0 B, right_edge 0 B)
20250430 22:31:11 [DEBUG] Completed w_pos 5: 0 B [-200.00%], 184.939934ms [-67.11%]
20250430 22:31:11 [INFO] Memory: total 0 B (ss.cur_gen 0 B, bcol 0 B, col 0 B, left_edge 0 B, right_edge 0 B)
20250430 22:31:11 [INFO] LlsssStepExpandRecentering: max pre-reify estimated mem: 744 B
20250430 22:31:11 [INFO] search/Run step LlsssStepExpandRecentering/expand window l2r: 26 calls, 199.655311ms own time, 199.655311ms total time
20250430 22:31:11 [INFO] search/Run step LlsssStepExpandRecentering/expand window2 r2l: 18 calls, 109.244721ms own time, 109.244721ms total time
20250430 22:31:11 [INFO] search/Run step LlsssStepExpandRecentering: 4 calls, 94.473837ms own time, 664.96758ms total time
20250430 22:31:11 [INFO] search/Run step LlsssStepExpandRecentering/left closure expand2: 4 calls, 44.02196ms own time, 44.02196ms total time
20250430 22:31:11 [INFO] search/Run step LlsssStepExpandRecentering/right closure expand2: 4 calls, 40.288385ms own time, 40.288385ms total time
20250430 22:31:11 [INFO] search/Run step LlsssMonitorShortestPartialRecentering/build_path path/step: 15 calls, 40.230026ms own time, 40.230026ms total time
20250430 22:31:11 [INFO] search/Run step LlsssMonitorRandomPartial/build_path path1/step: 15 calls, 39.294087ms own time, 39.294087ms total time
20250430 22:31:11 [INFO] search/Run step LlsssStepExpandRecentering/construct rcol: 4 calls, 31.83951ms own time, 31.83951ms total time
20250430 22:31:11 [INFO] search/Run step LlsssStepExpandRecentering/reify_col: 4 calls, 28.860652ms own time, 28.860652ms total time
20250430 22:31:11 [INFO] search/Run step LlsssRecenteringWaoUniquePartials/root_idxs: 4 calls, 27.890472ms own time, 27.890472ms total time
20250430 22:31:11 [INFO] search/Run step LlsssStepExpandRecentering/final_col_long: 4 calls, 26.624406ms own time, 26.624406ms total time
20250430 22:31:11 [INFO] search/Run step LlsssMonitorRandomPartial/build_path path2: 4 calls, 24.574091ms own time, 33.216616ms total time
20250430 22:31:11 [INFO] search/Run step LlsssStepExpandRecentering/assemble final bcol: 4 calls, 20.860402ms own time, 20.860402ms total time
20250430 22:31:11 [INFO] search/Run step LlsssStepExpandRecentering/left closure: 4 calls, 18.542889ms own time, 18.542889ms total time
20250430 22:31:11 [INFO] search/Run step LlsssStepExpandRecentering/right closure: 4 calls, 15.492822ms own time, 15.492822ms total time
20250430 22:31:11 [INFO] search/Run step LlsssMonitorRandomPartial/build_path path1: 4 calls, 15.346502ms own time, 54.659615ms total time
20250430 22:31:11 [INFO] search/Run step LlsssEndsAgar: 4 calls, 13.097334ms own time, 13.097334ms total time
20250430 22:31:11 [INFO] search/Run step LlsssStepExpandRecentering/right edge expand: 4 calls, 10.119672ms own time, 10.119672ms total time
20250430 22:31:11 [INFO] search/Run step LlsssStepExpandRecentering/reify_bcol1: 4 calls, 8.916596ms own time, 8.916596ms total time
20250430 22:31:11 [INFO] search/Run step LlsssMonitorRandomPartial/build_path path2/step: 4 calls, 8.623298ms own time, 8.623298ms total time
20250430 22:31:11 [INFO] search/Run step LlsssMonitorShortestPartialRecentering/build_path path: 4 calls, 7.445528ms own time, 49.284246ms total time
20250430 22:31:11 [INFO] search/Run step LlsssStepExpandRecentering/reify_bcol2: 4 calls, 5.280617ms own time, 5.312289ms total time
20250430 22:31:11 [INFO] search/Run step LlsssStepExpandRecentering/left edge expand: 4 calls, 5.202633ms own time, 5.202633ms total time
20250430 22:31:11 [INFO] search/Run step LlsssStepExpandRecentering/ss mark: 4 calls, 4.660892ms own time, 4.660892ms total time
20250430 22:31:11 [INFO] search/Run step LlsssRecenteringWaoUniquePartials/sketches: 4 calls, 1.341243ms own time, 1.341243ms total time
20250430 22:31:11 [INFO] search/Run step LlsssMonitorRandomPartial: 4 calls, 1.255456ms own time, 89.131687ms total time
20250430 22:31:11 [INFO] search/Run step LlsssRecenteringWaoUniquePartials: 4 calls, 1.090488ms own time, 30.322203ms total time
20250430 22:31:11 [INFO] search/Run step LlsssMonitorSpineStats: 4 calls, 972.107µs own time, 972.107µs total time
20250430 22:31:11 [INFO] search/Run step LlsssMonitorColStats: 4 calls, 936.586µs own time, 936.586µs total time
20250430 22:31:11 [INFO] search/Run step LlsssMonitorShortestPartialRecentering/build_path path/s1_bv: 4 calls, 841.097µs own time, 841.097µs total time
20250430 22:31:11 [INFO] search/Run step LlsssStepExpandRecentering/ss step 1: 4 calls, 829.396µs own time, 829.396µs total time
20250430 22:31:11 [INFO] search/Run step LlsssMonitorShortestPartialRecentering/build_path path/init: 4 calls, 767.595µs own time, 767.595µs total time
20250430 22:31:11 [INFO] search/Run step LlsssMonitorShortestPartialRecentering: 4 calls, 229.475µs own time, 49.513721ms total time
20250430 22:31:11 [INFO] search: 1 calls, 220.955µs own time, 849.17441ms total time
20250430 22:31:11 [INFO] search/Run step LlsssStepExpandRecentering/ss step 2: 4 calls, 21.207µs own time, 21.207µs total time
20250430 22:31:11 [INFO] search/Run step LlsssStepExpandRecentering/reify_bcol2/s1: 4 calls, 14.388µs own time, 14.388µs total time
20250430 22:31:11 [INFO] search/Run step LlsssMonitorRandomPartial/build_path path2/init: 4 calls, 13.073µs own time, 13.073µs total time
20250430 22:31:11 [INFO] search/Run step LlsssStepExpandRecentering/reify_bcol2/s2: 4 calls, 10.464µs own time, 10.464µs total time
20250430 22:31:11 [INFO] dtors/Destruct step LlsssStepExpandRecentering: 1 calls, 10.375µs own time, 10.375µs total time
20250430 22:31:11 [INFO] search/Run step LlsssMonitorRandomPartial/build_path path1/init: 4 calls, 10.174µs own time, 10.174µs total time
20250430 22:31:11 [INFO] search/Run step LlsssMonitorRandomPartial/build_path path1/s1_bv: 4 calls, 8.852µs own time, 8.852µs total time
20250430 22:31:11 [INFO] search/Run step LlsssMonitorRctl: 4 calls, 8.765µs own time, 8.765µs total time
20250430 22:31:11 [INFO] dtors: 1 calls, 7.183µs own time, 27.041µs total time
20250430 22:31:11 [INFO] search/Run step LlsssStepExpandRecentering/reify_bcol2/s3: 4 calls, 6.82µs own time, 6.82µs total time
20250430 22:31:11 [INFO] search/Run step LlsssMonitorRandomPartial/build_path path2/s1_bv: 4 calls, 6.154µs own time, 6.154µs total time
20250430 22:31:11 [INFO] dtors/Destruct step LlsssMonitorSpineStats: 1 calls, 5.75µs own time, 5.75µs total time
20250430 22:31:11 [INFO] search/Run step LlsssMonitorUniquePartial: 4 calls, 3.472µs own time, 3.472µs total time
20250430 22:31:11 [INFO] dtors/Destruct step LlsssRecenteringWaoUniquePartials: 1 calls, 2.209µs own time, 2.209µs total time
20250430 22:31:11 [INFO] dtors/Destruct step LlsssEndsAgar: 1 calls, 583ns own time, 583ns total time
20250430 22:31:11 [INFO] dtors/Destruct step LlsssMonitorRctl: 1 calls, 448ns own time, 448ns total time
20250430 22:31:11 [INFO] dtors/Destruct step LlsssMonitorShortestPartialRecentering: 1 calls, 137ns own time, 137ns total time
20250430 22:31:11 [INFO] dtors/Destruct step LlsssMonitorColStats: 1 calls, 136ns own time, 136ns total time
20250430 22:31:11 [INFO] dtors/Destruct step LlsssMonitorUniquePartial: 1 calls, 136ns own time, 136ns total time
20250430 22:31:11 [INFO] dtors/Destruct step LlsssMonitorRandomPartial: 1 calls, 84ns own time, 84ns total time
20250430 22:31:11 [INFO] Finish: search proper -> took 849.46646ms
20250430 22:31:11 [INFO] Done

splitterrules · Post by **splitterrules** » May 11th, 2025, 3:03 pm

Shortest period SMOSMOS with c/2os:

Code: Select all

x = 13, y = 3, rule = B3aceiq4ajkr5ace6ain7/S2-in3-ak4ijknqr5-iqry6cei7c
bo9bo$obo7bobo$2o9b2o!

4c/27o.

LittleLWSS · Post by **LittleLWSS** » May 17th, 2025, 12:25 am

Challenge:

Find more PMOPs(like SMOS but puffers instead of spaceships).
Find more RMORs(like SMOS but rakes instead of spaceships).
Find a SMOSMOSMOS.

dl-rs · Post by **dl-rs** » May 17th, 2025, 8:52 am

I'm not sure about the speed of this...

Code: Select all

x = 10, y = 3, rule = B2k3aijnr4n5cij7e/S2-in3eijnr4n5cijy
b2o4b2o$obo4bobo$2bo4bo!

b-engine · Post by **b-engine** » May 17th, 2025, 9:17 am

dl-rs wrote: ↑
May 17th, 2025, 8:52 am
I'm not sure about the speed of this...
Code: Select all
x = 10, y = 3, rule = B2k3aijnr4n5cij7e/S2-in3eijnr4n5cijy
b2o4b2o$obo4bobo$2bo4bo!

2c/18. You could use LifeViewer's identify feature to easily know the period and displacement of any spaceships.

ConwayLife.com

Spaceships made up of other spaceships (SMOS)

Re: Spaceships made up of other spaceships (SMOS)

Re: Spaceships made up of other spaceships (SMOS)

Re: Spaceships made up of other spaceships (SMOS)

Re: Spaceships made up of other spaceships (SMOS)

Re: Spaceships made up of other spaceships (SMOS)

Re: Spaceships made up of other spaceships (SMOS)

Re: Spaceships made up of other spaceships (SMOS)

Re: Spaceships made up of other spaceships (SMOS)

Re: Spaceships made up of other spaceships (SMOS)

Re: Spaceships made up of other spaceships (SMOS)

Re: Spaceships made up of other spaceships (SMOS)

Re: Spaceships made up of other spaceships (SMOS)

Re: Spaceships made up of other spaceships (SMOS)

Re: Spaceships made up of other spaceships (SMOS)

Re: Spaceships made up of other spaceships (SMOS)

Re: Spaceships made up of other spaceships (SMOS)

Re: Spaceships made up of other spaceships (SMOS)

Re: Spaceships made up of other spaceships (SMOS)

Re: Spaceships made up of other spaceships (SMOS)

Re: Spaceships made up of other spaceships (SMOS)

Re: Spaceships made up of other spaceships (SMOS)

Re: Spaceships made up of other spaceships (SMOS)

Re: Spaceships made up of other spaceships (SMOS)

Re: Spaceships made up of other spaceships (SMOS)

Re: Spaceships made up of other spaceships (SMOS)