b35s126 (Flockenstein)

For discussion of other cellular automata.
User avatar
MDA
Posts: 287
Joined: June 8th, 2026, 12:18 pm
Location: In Haven (B3-ry4acenqt5eir6-ek/S2-a3-a4nq5aeknr6-ak)
Contact:

Re: b35s126

Post by MDA »

If you want, you can submit the spaceships yourself using this Python script:

Code: Select all

from random import randint

from subprocess import run

rle = input("Spaceship RLE: ")

rule = input("Rule: ")

dx = int(input("Spaceship dx: "))

dy = int(input("Spaceship dy: "))

if dx <= 0 or dy < 0:
	
	raise ValueError("dx must be positive and dy must be nonnegative")
	
if dy > dx:
	
	raise ValueError("dx must be greater than or equal to dy")
	
period = int(input("Spaceship period: "))

r = randint(0, 100000000000000)

path = "/Users/YOUR USERNAME HERE/tmp"

with open(f"{path}/{r}.entry", "w") as file:
	
	file.write(f"{dy} : {dx} : {period} : {rule} : {rle},\n")
	
run(f"curl -T {path}/{r}.entry https://sim.zpsou.eu/interna242/~mamaral/gliders/uncommitted/{r}.entry", shell = True)
RLEs must be headerless and must contain no line breaks. Additionally, they must be oriented between south and southwest, with south being the primary direction.

Most of them are likely to get rejected unless they work in some rule that none of the ones already present work in.
My website (a database of Life objects, WIP).
GlidINT has been released!
Currently working on a forum system for my website.

Code: Select all

x = 5, y = 17, rule = B3-ry4acenqt5eir6-ek/S2-a3-a4nq5aeknr6-akHistory
C$2C$.2C$2C11$.3D$3.D$2.3D!
[[ STOP 72 ]]
User avatar
Docsy
Posts: 29
Joined: November 8th, 2025, 2:18 am

Re: b35s126 (Flockenstein)

Post by Docsy »

Hunter wrote: August 11th, 2026, 5:22 pm Dont know if I mentioned the sidecar tech from discord but basically sidecars can be combined together:

Code: Select all

x = 47, y = 100, rule = B358/S126
o2bo$bo$obo$bo$4bo$4bobo$4bobo$5bo$8b2o$7b4o$8b3o$9bo$11bo2bo$12bo$11b
obo$12bo$15bo$15bobo$15bobo$16bo$19b2o$18b4o$19b3o$20bo$22bo2bo$23bo$
22bobo$23bo$26bo$26bobo$26bobo$27bo$30b2o$29b4o$30b3o$31bo$33bo2bo$34b
o$33bobo$34bo$37bo$37bobo$37bobo$38bo$41b2o$40b4o$41b3o$42bo$44bobo$45b
2o$45bo$44bo$42bo$41b3o$40b4o$41b2o$38bo$37bobo$37bobo$37bo$34bo$33bo
bo$34bo$33bo2bo$31bo$30b3o$29b4o$30b2o$27bo$26bobo$26bobo$26bo$23bo$22b
obo$23bo$22bo2bo$20bo$19b3o$18b4o$19b2o$16bo$15bobo$15bobo$15bo$12bo$
11bobo$12bo$11bo2bo$9bo$8b3o$7b4o$8b2o$5bo$4bobo$4bobo$4bo$bo$obo$bo$
o2bo!
I had actually shown it off earlier in this thread, but no one seemed to notice:
https://conwaylife.com/forums/viewtopic ... 58#p231358
User avatar
MDA
Posts: 287
Joined: June 8th, 2026, 12:18 pm
Location: In Haven (B3-ry4acenqt5eir6-ek/S2-a3-a4nq5aeknr6-ak)
Contact:

Re: b35s126

Post by MDA »

My (2,1)c/6 width-12 LSSS search finished with no spaceships. Partials:

Code: Select all

x = 251, y = 56, rule = B35/S126
37b2o28b2o58b2o28b2o28b2o28b2o28b2o2$10bo29bo29bo24bo4bo24bo29bo34bo
24bo4bo24bo4bo$10bo29bo29bo24bo4bo24bo29bo34bo24bo4bo24bo4bo2$37b2o28b
2o28b2o28b2o28b2o58b2o28b2o2$10bo24bo34bo29bo29bo24bo4bo29bo24bo4bo29b
o$10bo24bo34bo29bo29bo24bo4bo29bo24bo4bo29bo2$37b2o28b2o58b2o28b2o58b
2o28b2o21$9b2o28bo27b2o28bo28bo27b2o27b2o27b2o28bo$8bo27b2o2bo25b4o25b
o3bo24bo2bo25b2o26bo2b2o24bo2b2o25bo2bo$2b5obo26bo2bobo22b3obob2o22b2o
2b2o24bo4bo22bob2ob2o23bob3o24bob3o26b2o$bo3bo28b2o30b5o21bo7bo21bo2bo
2bo22bobobo2bo21bo2bo3bo22bo2bobo$bobobo2b2o21b3o28b3o2bobo21b3o2bo27b
5o22bob2o25bob2o3bo23bo2bo2b2o$obo3b2o22bo3bo27bo5bo26bo3bo21bo3bo2b3o
20bo4bobobo19b5o2bo25b2o4bo$o6b2o25b3ob2o22bob2o25bo3bo25b4ob2o23bo5bo
b2o20b4o2bo26bobo2bo$4o25bo4b2o3b2o21bobob2o2bo20b2o2b3o22bo2b3obo30bo
24bo2b2o30b3o$2b3o2bobo19b2o2bo3bobo26b5o22bo2bob3o23b3o24b2o5b3o22bob
4o22bo2b2o2bobo$30bobo3bobobo21b2o3b3o24bob4o20b2obo26bo7b3o21bo2b3o
24bob3ob2o$32bo5bo23bob2o3bo24bobobo21bo4bo2bo23bo2bo2b2o21b2o4bobo23b
2o3bo$31bobo2b3obo20bo2b4obo24b2o2b2o21b4obo2bo27b3o20bobo3b2obo23bobo
3bo$31b2obo3b2o21bo7bo25bo2bo23b2o4bo24b2obobo21bo3b2ob3o22b4o3bo$61bo
7b2o21b2ob2o3bo20bobobo2bo23b5o24b2o2bobob2o20bo3bo3b2o$61bo2b4o23b2o
5bo23b2o2bobo25bob2ob2o20b3obo3bo25bobo2bo$90b2o2bob3o22b2o2bobo26bob
2o25bo3bob2o19b2obob2o$92bobob5o20b3o27bobo2bo23bo2b2obobo21b2o2b4o$
120bo4b2o23bo2bo2b4o20bo2bobobo$119bo2bobo28bo2b3obo19bo2bo5bo$121bobo
bob3o19bo3bo3b2o21bo4bo3bo$121b4o3bo$123bobo3bo$121bo6bo$120bo2bo3b4o$
120b2o2b2obo!
My website (a database of Life objects, WIP).
GlidINT has been released!
Currently working on a forum system for my website.

Code: Select all

x = 5, y = 17, rule = B3-ry4acenqt5eir6-ek/S2-a3-a4nq5aeknr6-akHistory
C$2C$.2C$2C11$.3D$3.D$2.3D!
[[ STOP 72 ]]
Hunter
Posts: 58
Joined: July 10th, 2026, 4:44 pm

Re: b35s126 (Flockenstein)

Post by Hunter »

Docsy wrote: August 11th, 2026, 11:20 pm I had actually shown it off earlier in this thread, but no one seemed to notice:
https://conwaylife.com/forums/viewtopic ... 58#p231358
Oh sweet lol. Yea Flockenstein's discoveries been all over the place lol.

Also some 3c/8 partials:

Code: Select all

x = 108, y = 64, rule = B35/S126
14$15bo9bo16bo22bo21b2o$13bo2bo7bo2bo13b3o20b3o18bo4bo$12bo3b3o3b3o3bo
6b15o12b2o3b2o16bo4bo$12bo4bob3obo4bo5bo15bo9bo2bo3bo2bo14b2o2b2o$13b
2obo2bobo2bob2o31bo5bo5bo14b4o$15bo4bo4bo12bo2bobo2bo12bobo2bobo2bobo$
12b3o3bo3bo3b3o8bobob3obobo10bo3b3ob3o3bo11b2ob2ob2o$18b5o11b2o3b2obob
2o3b2o8bo2bo5bo2bo12bob4obo$18b2ob2o15bo7bo10bobobob2ob2obobobo7b2ob2o
b2ob2ob2o$15bo3b3o3bo11bob7obo10b2obobo3bobob2o$15b2o2bobo2b2o14b5o14b
o2bobobobo2bo8b4o8b4o$13b4obobobob4o8bo2bobobobo2bo9bobobob3obobobo10b
3o4b3o$14bo3b5o3bo7b2o2b2o5b2o2b2o6bo3bob2ob2obo3bo10b3o2b3o$13b2o3b2o
b2o3b2o8bo3b2ob2o3bo13b7o13bobo6bobo$13bobo4bo4bobo8bo3bo3bo3bo8bob6ob
6obo7bo4bo2bo4bo$14b3o7b3o8bob3obobob3obo31bobo2b4o2bobo$15bo3b3o3bo8b
obo2bo5bo2bobo33b3o2b3o$13b2o3b2ob2o3b2o10b2ob3ob2o35bo2b2o2b2o2bo$15b
ob2o3b2obo57bo2b4o2bo$15b4o3b4o55bobo2b4o2bobo$19bobo62bobo2bobo$13bo
2b3o3b3o2bo56bo6bo$13b2obob2ob2obob2o53b2o4b2o4b2o$17b7o$14bob3obob3ob
o57bobo2bobo$14bo2b7o2bo54b2o10b2o$83bobo4bobo$83b4o2b4o$83bobo4bobo$
80b2obobo4bobob2o$81bo2b2ob2ob2o2bo$82bo2bo4bo2bo$81bo3bob2obo3bo$80bo
2b2o2b2o2b2o2bo$81bo2bo6bo2bo$80bobo2bo4bo2bobo$80b2obob6obob2o!
Edit: Another 3c/8 partial!:

Code: Select all

x = 18, y = 34, rule = B35/S126
8b2o$6bo4bo$6bo4bo$6b2o2b2o$7b4o2$5b2ob2ob2o$4b10o$2bobo2b4o2bobo$
bo2bo3b2o3bo2bo$2bobo3b2o3bobo$2bo2bo6bo2bo$3bo10bo$2b2ob2o4b2ob2o
$2bob2o6b2obo$2bo2bobo2bobo2bo$4bo2bo2bo2bo$4b3o4b3o$2b3o8b3o$2b3o
3b2o3b3o3$6bo4bo$7b4o$7bo2bo2$b16o$bo2bo8bo2bo$2bo2b2ob2ob2o2bo$3b
obo2b2o2bobo$b2ob2o2b2o2b2ob2o$2o5bo2bo5b2o$b2obobob2obobob2o$2b3o
bo4bob3o!

Edit: Cool thing I found
t oscillators can be brought up by Skedaddlers

Code: Select all

x = 29, y = 97, rule = B35/S126
12$12bobo2$11b4o13$12bobo2$11b4o13$12bobo2$11b4o13$12bobo2$11b4o13$12b
obo2$11b4o9$12b3o$13bo!
Last edited by Hunter on August 13th, 2026, 8:45 am, edited 1 time in total.
aka happyhunter :D :D :D
User avatar
MDA
Posts: 287
Joined: June 8th, 2026, 12:18 pm
Location: In Haven (B3-ry4acenqt5eir6-ek/S2-a3-a4nq5aeknr6-ak)
Contact:

Re: b35s126

Post by MDA »

According to LSSS, there are no (2,1)c/6 spaceships in this rule at a width of 13. Partials:

Code: Select all

x = 282, y = 60, rule = B35/S126
38b2o28b2o58b2o28b2o28b2o28b2o28b2o28b2o2$11bo29bo29bo24bo4bo24bo29bo
34bo24bo4bo24bo4bo20bo3bo4bo$11bo29bo29bo24bo4bo24bo29bo34bo24bo4bo24b
o4bo20bo3bo4bo2$38b2o28b2o28b2o28b2o28b2o58b2o28b2o2$11bo24bo34bo29bo
29bo24bo4bo29bo24bo4bo29bo20bo3bo4bo$11bo24bo34bo29bo29bo24bo4bo29bo
24bo4bo29bo20bo3bo4bo2$38b2o28b2o58b2o28b2o58b2o28b2o28b2o21$10b2o28bo
28bo27b2o28bo28bo27b2o28bo27b2o28bo$9bo27b2o2bo26b3o23bo4bo25bo2bo25bo
2bo25b2o27bo2bo24bo2b2o25bo2bo$3b5obo26bo2bobo24bo2b3o20bo2bo2bobo23bo
4bo23bo4bo22bob2ob2o23bo4bo23bob3o26b2o$2bo3bo26b3obo27b2o3bo20bobob2o
b2o23bo2bo2bo22bo2bo2bo22bobobo2bo21bo2bo2bo23bo2bobo$2bobobo2b2o21bo
2bo2bo25b2ob2obo19b2obo2b3o26b5o24b5o22bob2o27b5o24bo2bo2b2o$bobo3b2o
22bo3bo2b2o23bo25b4o4b2o23bo3bo2b3o19bo3bo2b3o20bo4bobobo22bo2b3o24b2o
4bo$bo8bo20bo4bo2b3o22b2o4bo18bobobo4bobo21b4ob2o22b4ob2o23bo5bob2o19b
2o5bo24b2o4bo$bobob2o3b2o20b2obo2bobo21b3obobo2bo18bo3bo26bo2b3obo21bo
2b3obo30bo24b2o4bo22b3ob4o$b2o2b3ob2o21b4o2b2o22bo2bo2b2obo21b2obo4bo
23b3o26b3o24b2o5b3o20bo3b2ob2o23b3o5bo$3o3b2obo22bobo27bo4b2o21bob3obo
bo22b2obo25b2obo26bo2bo4b3o24b2obo25bo6bo$33b3o2bo24bobo3b2o19bo3bo4bo
21bo4bo2bo20bo4bo2bo25bob3obo23bob5o24b3obo$36bo3bo19b2ob4obo2bo18bo2b
3o4bo21b4obo2bo20b4obo2bo20bo3b2o27b6o26b3o2bo$34b2obo2bo18bo2b3o4b3o
19b7obo23b2o4bo22b2o4bo23bo6bo22bo2bobo27b4o$32bobo2bobo19b3o3b2o2b2o
21b6o24bobobo2bo21bobobo2bo22b5o2bo22b3o2b4o23b3o2bo$31bo6b2o20bo4bo4b
o20b3o2b3obo22b2o2bobo22b2o2bobo22b6o3bo20b3ob3ob2o23bo6bo$31b4o2b4o
19bo3bo5bo19bob2o3b2o23b2o2bobo22b2o2bobo24b2obobob2o20b5ob2o23bobo2b
3o$60bo2b2ob4o19bo3bo3b4o21b3o3bo22b3o27b2obob2ob3o20bo2b4o22bobo$63b
2o3b4o17bo2bo4bobo22bo2b2obobo19bo4b2o26b6o2bo27bo21bobo2b3o$60b3o2b3o
b2o50bo4bob3o18bo2bobo27b2obo2bobo20b2obobob2o21b2o2bobo2bo$120bo2b2o
3b2obo19bobobob3o20bob3o2bobo24bob2o22bo4bo5bo$126bob2o21b4o4bo22bo2b
3o25b3o29bo2bo$119bobo7bobo21bobo2b2obo22b3o2bobo17bob6o2bo20bobob5o$
122bobo3b3o21bo3bo4bo18bob2ob3o2b2o17b5o$124bo2bo2bo24b4o51b3obob4o$
121bo2bo2b2o22b4ob5o52bo2bo$121b4o2bo3bo19b2ob3o4bo49bo2bo4bo$121b4o3b
obo20b2obo3bo51bo6bob3o$150bo2b2o5bo50b2ob2o3bo$149b2obo3b3obo48bobob
3obobo!
Edit (August 13th, 2026, 5:11 PM): The LSSS search also returned negative at width 14. Partials:

Code: Select all

x = 314, y = 66, rule = B35/S126
40b2o28b2o58b2o28b2o28b2o28b2o28b2o28b2o2$13bo29bo29bo24bo4bo24bo29bo
34bo24bo4bo24bo4bo20bo3bo4bo20bo8bo$13bo29bo29bo24bo4bo24bo29bo34bo24b
o4bo24bo4bo20bo3bo4bo20bo8bo2$40b2o28b2o28b2o28b2o28b2o58b2o28b2o2$13b
o24bo34bo29bo29bo24bo4bo29bo24bo4bo29bo20bo3bo4bo20bo8bo$13bo24bo34bo
29bo29bo24bo4bo29bo24bo4bo29bo20bo3bo4bo20bo8bo2$40b2o28b2o58b2o28b2o
58b2o28b2o28b2o21$12b2o28bo28bo28bo28bo28bo28bo28bo28bo27b2o28bo$11bo
27b2o2bo26b3o26b3o25bo2bo25bo2bo25bo2bo25bo2bo25bo2bo24bo2b2o25bo2bo$
5b5obo26bo2bobo23b6o23b6o24bo4bo23bo4bo23bo4bo23bo4bo23bo4bo23bob3o26b
2o$4bo3bo28b2o27bo3bob2o20bo30bo2bo2bo22bo2bo2bo22bo2bo2bo22bo2bo2bo
22bo2bo2bo23bo2bobo$4bobobo2b2o21b3o27bobo4b2o20b2o2bobo27b5o24b5o24b
5o24b5o24b5o24bo2bo2b2o$3bobo3b2o22bo3bo25b2o4bo22b2ob2ob3o23bo3bo2b3o
19bo3bo2b3o19bo3bo2b3o23bo2b3o23bo2b3o24b2o4bo$3bo6b3o24b3obo20b2o2bob
o24b2obo2b2o23b4ob2o22b4ob2o22b4ob2o23b2o5bo21b2o5bo24b2o4bo$3bob7obo
18bo3bobo27bo24b2o4b3o2bo20bo2b3obo21bo2b3obo21bo2b3obo26b2o4bo22b2o4b
o22b3ob4o$2bo3b3ob3o19b2o4bo22bobo2bobo26b8o24b3o26b3o26b3o25bo3b2ob2o
20bo3b2ob2o23b3o5bo$7b2obobo19b2o2bo24bo4bo2bo21bo3bob2o2bo21b2obo25b
2obo25b2obo32b2obo25b2obo25bo6bo$obo6b3o20b2ob3ob3o19b2o6b3o22bo2b5o
21bo4bo2bo20bo4bo2bo25bo29bob5o22bob5o24b3obo$b2ob2o2bo4bo20bo3b2ob2o
19bo6bo2bo21bo5bobo21b4obo2bo20b4obo2bo21bo3bo27b6o23b6o26b3o2bo$32bob
o3bo29bo3bo21bo5bo2bo21b2o4bo22b2o4bo20bo3bobo26bo2bobo23bo2bobo25bo2b
3o$32bob2o25bob2ob3o2bo22b5obo2bo20bobobo2bo21bobobo2bo21b5o2b2o22b3o
2b4o20b3o2b4o23bobo4b2o$32b2o2b2o2bo2bo20bobobo25b2o5bo23b2o2bobo22b2o
2bobo27b2o23b3ob3ob2o19b3ob3ob2o23b3o2b2o$33bob3obo23b2o3bo23bob2obob
2obo21b2o2bobo22b2o2bobo27b2o24b5ob2o21b5ob2o26b3ob2o$36b2o3bo20bo3b4o
22b2o3bobo24b3o26b3o26bob6ob2o21bo2b4o22bo2b4o25b3obo3bo$35bobo2bobo
23b7o19bo4b2o2bo21b6o23bo4b2o28b6o28bo28bo26bobo2bo$32bo4bo5bo20bo5bob
o18bobobo2bo2b2o20bob3obo21bo2bobo25bobo5bo22b2obobob2o20b2obobob2o23b
o6bo$33b2obo2b2o22b3o2b2obo19b4o2bo2bo22bo2b2ob3o21bobobob3o20bob3o3bo
25bob2o25bob2o24b2o2b2o$32bo2bo3b3o21bob2o6bo17b4o4bob2o20bo2bo2b4o20b
4o4bo22b2o2b4obo21b3o26b3o26bobo2b2o2bo$41b2o20bo3bo2bo54bo4b2o23bobo
2b2o23b2ob2o2bo18bob6o2bo18bob6o2bo21bo3bo3b3o$31b2o4bo2b4o25bo53bo2bo
3bo22bo4bo4bo17bo8b2o19b5o24b5o28bo3bo2b2o$30b4obob2ob3o21b2obo2b2o49b
obo4b3o2bo18bo2bo4b2o18b4ob4o23b3obob4o19b3obob4o21bobo2b2o$31b2o2b2o
3bo2bo77bobo3bo2bobo18b3obobo5bo16b2o2b9o22bo2bo25bo2bo26bo6bo$63bo2bo
bo2bo50bobobob2o2bo19bo2b2o2bo21b4obo2b3o21bo2bo4bo20bo2bo4bo19bobobob
o4b2o$63bobobobobobo47bo2b6ob3o19bo2bo3b3o19b4obo24bo6bob3o17bo6bob3o
18b2o2bo3b2o$61bo2b2o3bo2bo51b4ob2obo20bo4bo4bo19bob5o2bo20b2ob2o3bobo
18b2ob2o3bo21bobo5bobo$61bo3b5o2b2o50b2o3bo23bo3bo2bo2bo18b2o2b2obo21b
obob4o3bo17bobob4o3bobo18bo3b2obob2o$124bo2bo23bo2bobo4bo23bobo2bobo
18bo2b3o2b2o50bobo4b2ob3o$151bob2o2b3o21bob4o4bo$181b4ob2o2bo$181bob2o
b2o2b2o$182b2ob8o$180bo9b2obo!
My website (a database of Life objects, WIP).
GlidINT has been released!
Currently working on a forum system for my website.

Code: Select all

x = 5, y = 17, rule = B3-ry4acenqt5eir6-ek/S2-a3-a4nq5aeknr6-akHistory
C$2C$.2C$2C11$.3D$3.D$2.3D!
[[ STOP 72 ]]
User avatar
actinophrys
Posts: 27
Joined: November 9th, 2025, 4:31 pm
Contact:

Re: b35s126

Post by actinophrys »

Some more inane thoughts on names:
The small p2 could also be compared to a clock, in which case it is clearly a ticktock since the cell count goes 6-7-6-7.
Hunter's p37 is good for so many things that it can fairly be considered Flockenstein's doctor.
Working on collection of small patterns for life-like rules
Hunter
Posts: 58
Joined: July 10th, 2026, 4:44 pm

Re: b35s126

Post by Hunter »

actinophrys wrote: August 13th, 2026, 3:28 pm Some more inane thoughts on names:
The small p2 could also be compared to a clock, in which case it is clearly a ticktock since the cell count goes 6-7-6-7.
Hunter's p37 is good for so many things that it can fairly be considered Flockenstein's doctor.
So we call my p37 Victor as thats what Frankenstein's doctors name is? or Voctor to include the o in Flock.
aka happyhunter :D :D :D
User avatar
TheWayOfTheCon
Posts: 365
Joined: March 28th, 2025, 11:40 pm
Location: Kraken Mare, Titan

Re: b35s126

Post by TheWayOfTheCon »

MDA wrote: August 13th, 2026, 4:32 am Edit (August 13th, 2026, 5:11 PM): The LSSS search also returned negative at width 14. Partials
When I try searching for a period-6 knightship with ikpx2, it doesn't actually begin search until reaching width 17, although there might be some weird, "logical width" it uses so I would take this with a grain of salt.

Code: Select all

# Profile: depth0 = 1 = depth0
# solvers invoked: trivial=0, cadical=0, kissat=1
# Adaptive widening to width 4 (treesize = 1)
# Profile: depth0 = 1 = depth0
# solvers invoked: trivial=0, cadical=0, kissat=2
# Adaptive widening to width 5 (treesize = 1)
# Profile: depth0 = 1 = depth0
# solvers invoked: trivial=0, cadical=0, kissat=3
# Adaptive widening to width 6 (treesize = 1)
# Profile: depth0 = 1 = depth0
# solvers invoked: trivial=0, cadical=0, kissat=4
# Adaptive widening to width 7 (treesize = 1)
# Profile: depth0 = 1 = depth0
# solvers invoked: trivial=0, cadical=0, kissat=5
# Adaptive widening to width 8 (treesize = 1)
# Profile: depth0 = 1 = depth0
# solvers invoked: trivial=0, cadical=0, kissat=6
# Adaptive widening to width 9 (treesize = 1)
# Profile: depth0 = 1 = depth0
# solvers invoked: trivial=0, cadical=0, kissat=7
# Adaptive widening to width 10 (treesize = 1)
# Profile: depth0 = 1 = depth0
# solvers invoked: trivial=0, cadical=0, kissat=8
# Adaptive widening to width 11 (treesize = 1)
# Profile: depth0 = 1 = depth0
# solvers invoked: trivial=0, cadical=0, kissat=9
# Adaptive widening to width 12 (treesize = 1)
# Profile: depth0 = 1 = depth0
# solvers invoked: trivial=0, cadical=0, kissat=10
# Adaptive widening to width 13 (treesize = 1)
# Profile: depth0 = 1 = depth0
# solvers invoked: trivial=0, cadical=0, kissat=11
# Adaptive widening to width 14 (treesize = 1)
# Profile: depth0 = 1 = depth0
# solvers invoked: trivial=0, cadical=0, kissat=12
# Adaptive widening to width 15 (treesize = 1)
# Profile: depth0 = 1 = depth0
# solvers invoked: trivial=0, cadical=0, kissat=13
# Adaptive widening to width 16 (treesize = 1)
# Profile: depth0 = 1 = depth0
# solvers invoked: trivial=18, cadical=12, kissat=19
# Adaptive widening to width 17 (treesize = 5)
# Profile: depth0 = 2 1 1 1 = depth3

#C depth = 1
#C breadth = 5
#CLL state-numbering golly
x = 11, y = 10, rule = B35/S126
2b2o$o2b2o$ob3o$o2bobo$bo3bo$3bo3bo$7bo$2bob3o2bo$2b3o$3bo2bobobo!
...
I could've chose a better username, but oh well.

I think I've learned the ropes of cellular automata. My current interest is range-two LTLs.
User avatar
TheWayOfTheCon
Posts: 365
Joined: March 28th, 2025, 11:40 pm
Location: Kraken Mare, Titan

Re: b35s126

Post by TheWayOfTheCon »

The script for p37 reactions is very nearly complete, I now have to figure out how to save the results to a file.
I could've chose a better username, but oh well.

I think I've learned the ropes of cellular automata. My current interest is range-two LTLs.
Hunter
Posts: 58
Joined: July 10th, 2026, 4:44 pm

Re: b35s126

Post by Hunter »

TheWayOfTheCon wrote: August 13th, 2026, 8:51 pm The script for p37 reactions is very nearly complete, I now have to figure out how to save the results to a file.
AHHHHH so excited

also d/6 is so annoying tried for like two nights its only giving partials :(

Code: Select all

x = 206, y = 206, rule = B35/S126
22$114b2o4bo$112bob2o2b2obo$112bo2bo2b4o$113bo6bo$113bo2bo4b2o$113b2o
2b3o4b2o$117b2obo$114bo8b3obo$112bo2b2o2bo3bo$112bo3b4o$117bo2b2o4bobo
$118bo8b3o$118b2o7b2obo$118bo9b2obo$120bo11bo$118b2o2bo7b3o$122bo3bo2b
2o$123bobobo2b2o$124bobo2bo2bo$91b2o4bo28bo2bo2bob2o$89bob2o2b2obo26bo
2bo3bo$89bo2bo2b4o31b2o3bo2b2o$90bo6bo29bo2bob2obobo4bo$90bo2bo4b2o30b
2o2b3o3bobo$90b2o2b3o4b2o29b4o2b3o$94b2obo34bobo3b4o$91bo8b3obo28bo3b
3ob2o$89bo2b2o2bo3bo32bo4bob2obo$89bo3b4o39bobo4bo$94bo2b2o4b2o29bob2o
bo3bo2bo$95bo11bo26b2o2bo4bo$95b2o9b2o26b2o3bobobo3b3o$95bo10bo34b3o5b
o$97bo9b2o2bo27bo2b4o3b2o2bo$95b2o2bo7b3o31b3o2b4o2bo$99bo41bo3b2o5bo
2bo$100bo9b2o30b3o3b2o6bo$100bo2bo38bo5b2o3b2o$104bo5bo32bo3bobo3bobo$
104b3o2bobo2b3o28bo7bo$102b2o2b2o5bo31bo2b2o2bo$106b2ob4o33bobobobo$
112b2obo29bo5bo$112b3o32bobo$109bob2o3bobo$108bo2bo3b4o2bo$109bobob2o
2b4obo$112bo2b2o2bo2b2o$113bo4bo$116b2o$117bob3obo$115bo2bo5b2o2bo$
114bobo2b2o$120b2obo2bob3o$116bo2b2o6bo3bo$123b2ob2ob2obo$120b2o3b4o$
121b2o2bo2bo2b2o$84bobo35b2obo3b3obo$82bo2bo39bo3bobo$84bo3bo35b2o2bo$
81bobobo37bo2b2obo$82bob3obo35b2o$81bo3bob3o37bo$86b3o36bo$83bob6obo$
86bobo4bo2b2o$88bo9bo$91bo2bobo$88bo3bo2bobobo$89bo7bob2o$91bo2b4ob2o$
92bob3o4bo$89bobo2b3obobobo$89bo2b3o3bo3bo2bo$90bo5b2o2b2o2b2o$67bobo
22b3o4b2o5b2o$65bo2bo24b2obob2ob3obo2bo$67bo3bo23bo2bob3o$64bobobo27b
2o2b2o2b2o$65bob3obo28bo2bo$64bo3bob3o25bo3bo$69b3o25b2obobo$66bob6obo
2bo20bo$69bobo4bo2bo19bo$71bo28bo$74bo5b2o$71bo3bo6bo$72bo3bob4o2bo$
77bo3bo$71bo4bo2bobo3bo$72bo3bobo2bobobo$74bobo4bobo2bo$74bob5ob3ob2ob
o$75bo5b3o3bo2bo$79b4ob2o2b2o$76bo4bobo2bo$48b5o25b2o3bo$48b2o3bo26b2o
2bobo$48bo4bo3bo23b2o$48bo2b3ob2obo24bo$48bo2bobo5b2o20bobo$49b4o5bo2b
o20bo$55bo5bo$51bo2bo5bo$51bo4bo2b2o$50bo6b4o4bo$51bobo3bo2b2o3bo$52bo
3b2obobobo$28b3o21bo2b4o3b2o4bo$28bo4bo19b2o3b2o3b3o3bo$28bobo2bobo24b
obobobo3bo$31bo27b3o2bo3bobo$32bo3bo24b3o2b2o$29b2o3bobo20b2o2bo3bobo$
33bo3bo24bobo2b2o$30bo33b3o2bo$32b2o4bo2b3o16bo2bo2bobo$34bo4b4o2bo15b
o5bo$36bob2o3bo18b2o$37b2o2b4o$37bo4bo$36b2obobo3b2o$36b2ob2ob3o$36bob
2o2b2ob3o2bo$39bo2bobo2b2o3bo$37bo3bobo4b3obo$41bobo5bob3o$43b2o$44b2o
2b2o2bob2o$45b2obo2bo2b2o$43bobo4bob3o$46bo2bo3bo$44b3obobobo$46bo3b2o
$48b3o$48b2o!
edit: random skiddaddler eater for p42 apart gliders

Code: Select all

x = 25, y = 87, rule = B35/S126
9$5bobo2$4b4o12$5bobo2$4b4o12$5bobo2$4b4o12$5bobo2$4b4o10$7bo2bo$10bo$
7bo$8b2obo$8bo$9b4o2$9b4o$8bo$8b2obo$7bo$10bo$7bo2bo!
Last edited by Hunter on August 14th, 2026, 10:44 am, edited 2 times in total.
aka happyhunter :D :D :D
User avatar
TheWayOfTheCon
Posts: 365
Joined: March 28th, 2025, 11:40 pm
Location: Kraken Mare, Titan

Re: b35s126

Post by TheWayOfTheCon »

Hunter wrote: August 14th, 2026, 9:17 am also d/6 is so annoying tried for like two nights its only giving partials :(

Code: Select all

x = 206, y = 206, rule = B35/S126
22$114b2o4bo$112bob2o2b2obo$112bo2bo2b4o$113bo6bo$113bo2bo4b2o$113b2o
2b3o4b2o$117b2obo$114bo8b3obo$112bo2b2o2bo3bo$112bo3b4o$117bo2b2o4bobo
$118bo8b3o$118b2o7b2obo$118bo9b2obo$120bo11bo$118b2o2bo7b3o$122bo3bo2b
2o$123bobobo2b2o$124bobo2bo2bo$91b2o4bo28bo2bo2bob2o$89bob2o2b2obo26bo
2bo3bo$89bo2bo2b4o31b2o3bo2b2o$90bo6bo29bo2bob2obobo4bo$90bo2bo4b2o30b
2o2b3o3bobo$90b2o2b3o4b2o29b4o2b3o$94b2obo34bobo3b4o$91bo8b3obo28bo3b
3ob2o$89bo2b2o2bo3bo32bo4bob2obo$89bo3b4o39bobo4bo$94bo2b2o4b2o29bob2o
bo3bo2bo$95bo11bo26b2o2bo4bo$95b2o9b2o26b2o3bobobo3b3o$95bo10bo34b3o5b
o$97bo9b2o2bo27bo2b4o3b2o2bo$95b2o2bo7b3o31b3o2b4o2bo$99bo41bo3b2o5bo
2bo$100bo9b2o30b3o3b2o6bo$100bo2bo38bo5b2o3b2o$104bo5bo32bo3bobo3bobo$
104b3o2bobo2b3o28bo7bo$102b2o2b2o5bo31bo2b2o2bo$106b2ob4o33bobobobo$
112b2obo29bo5bo$112b3o32bobo$109bob2o3bobo$108bo2bo3b4o2bo$109bobob2o
2b4obo$112bo2b2o2bo2b2o$113bo4bo$116b2o$117bob3obo$115bo2bo5b2o2bo$
114bobo2b2o$120b2obo2bob3o$116bo2b2o6bo3bo$123b2ob2ob2obo$120b2o3b4o$
121b2o2bo2bo2b2o$84bobo35b2obo3b3obo$82bo2bo39bo3bobo$84bo3bo35b2o2bo$
81bobobo37bo2b2obo$82bob3obo35b2o$81bo3bob3o37bo$86b3o36bo$83bob6obo$
86bobo4bo2b2o$88bo9bo$91bo2bobo$88bo3bo2bobobo$89bo7bob2o$91bo2b4ob2o$
92bob3o4bo$89bobo2b3obobobo$89bo2b3o3bo3bo2bo$90bo5b2o2b2o2b2o$67bobo
22b3o4b2o5b2o$65bo2bo24b2obob2ob3obo2bo$67bo3bo23bo2bob3o$64bobobo27b
2o2b2o2b2o$65bob3obo28bo2bo$64bo3bob3o25bo3bo$69b3o25b2obobo$66bob6obo
2bo20bo$69bobo4bo2bo19bo$71bo28bo$74bo5b2o$71bo3bo6bo$72bo3bob4o2bo$
77bo3bo$71bo4bo2bobo3bo$72bo3bobo2bobobo$74bobo4bobo2bo$74bob5ob3ob2ob
o$75bo5b3o3bo2bo$79b4ob2o2b2o$76bo4bobo2bo$48b5o25b2o3bo$48b2o3bo26b2o
2bobo$48bo4bo3bo23b2o$48bo2b3ob2obo24bo$48bo2bobo5b2o20bobo$49b4o5bo2b
o20bo$55bo5bo$51bo2bo5bo$51bo4bo2b2o$50bo6b4o4bo$51bobo3bo2b2o3bo$52bo
3b2obobobo$28b3o21bo2b4o3b2o4bo$28bo4bo19b2o3b2o3b3o3bo$28bobo2bobo24b
obobobo3bo$31bo27b3o2bo3bobo$32bo3bo24b3o2b2o$29b2o3bobo20b2o2bo3bobo$
33bo3bo24bobo2b2o$30bo33b3o2bo$32b2o4bo2b3o16bo2bo2bobo$34bo4b4o2bo15b
o5bo$36bob2o3bo18b2o$37b2o2b4o$37bo4bo$36b2obobo3b2o$36b2ob2ob3o$36bob
2o2b2ob3o2bo$39bo2bobo2b2o3bo$37bo3bobo4b3obo$41bobo5bob3o$43b2o$44b2o
2b2o2bob2o$45b2obo2bo2b2o$43bobo4bob3o$46bo2bo3bo$44b3obobobo$46bo3b2o
$48b3o$48b2o!
The higher the spaceship period the longer it will take to search, that's the tradeoff unfortunately. Search programs have to make sure more of the cells align and work to actually extend the spaceship partial, which takes more time.
I could've chose a better username, but oh well.

I think I've learned the ropes of cellular automata. My current interest is range-two LTLs.
User avatar
MDA
Posts: 287
Joined: June 8th, 2026, 12:18 pm
Location: In Haven (B3-ry4acenqt5eir6-ek/S2-a3-a4nq5aeknr6-ak)
Contact:

Re: b35s126

Post by MDA »

According to LSSS, no width-15 (2,1)c/6 spaceships exist in this rule. Partials:

Code: Select all

x = 344, y = 105, rule = B35/S126
40b2o28b2o58b2o28b2o28b2o28b2o28b2o28b2o58b2o2$13bo29bo29bo24bo4bo24bo
29bo34bo24bo4bo24bo4bo20bo3bo4bo20bo8bo20bo8bo$13bo29bo29bo24bo4bo24bo
29bo34bo24bo4bo24bo4bo20bo3bo4bo20bo8bo20bo8bo2$40b2o28b2o28b2o28b2o
28b2o58b2o28b2o88b2o2$13bo24bo34bo29bo29bo24bo4bo29bo24bo4bo29bo20bo3b
o4bo20bo8bo20bo3bo$13bo24bo34bo29bo29bo24bo4bo29bo24bo4bo29bo20bo3bo4b
o20bo8bo20bo3bo2$40b2o28b2o58b2o28b2o58b2o28b2o28b2o58b2o41$12b2o28bo
28bo28bo28bo28bo28bo27b2o27b2o27b2o27b2o28bo$11bo27b2o2bo24b2o2bo26b3o
25bo2bo25bo2bo25bo2bo24bo3bo25b2o26bo2b2o24bo2b2o25bo2bo$5b5obo26bo2bo
bo23bo2bobo23b6o24bo4bo23bo4bo23bo4bo22b2o3b2o22bob2ob2o23bob3o24bob3o
26b2o$4bo3bo28b2o27b2o27bo3bob2o22bo2bo2bo22bo2bo2bo22bo2bo2bo21b2obo
4bo21bobobo2bo22bo2bobo23bo2bobo$4bobobo2b2o21b3o26b3o27bobo4b2o25b5o
24b5o24b5o22bobob2o23bob2o3bobo21bo2bo2b2o21bo2bo2b2o$3bobo3b2o22bo3bo
24bo3bo25b2o4bo25bo3bo2b3o19bo3bobobo20bo3bo2b3o19b4ob2o23bo4bo2bobo
22b2o4bo22b2o4bo$3bo6b3o24b3obo24b3obo20b2o2bobo26b4ob2o21bo5b2ob2o19b
4ob2o24bo3b3obo19bo5bob2obo22bobo2b2o20b2o4bo$3bob7obo18bo3bobo22bo3bo
bo27bo27bo2b3obo27b2o2bo18bo2b3obo28bo3bo27b2o51b3ob4o$2bo3b3ob3o19b2o
4bo22b2o4bo22bobo2bobo29b3o22b2o2bobobo24b3o23b2o28b2o3b5o22bobo2bo24b
3o5bo$bo5b2obobo19b2o2bo24b2o2bo24bo3bo3b2o23b2obo24b3o2bobobo20b2obo
26bobo6bo19bo4b5o2bo21b2obob4o21bo6bo$bobo4b2obo20b2ob3ob3o19b2ob3ob3o
19bo3bo2b2o24bo4bo2bo19b2obobobo3b2o22bo24bobo4b2o23b4o4bo22b3o3b2o23b
3obo$b2o9b2o20bo3b2ob2o20bo3b2ob2o19b2o2bobo3b2o21b4obo2bo17b2o2b2o2b
2o2b2o19bo3bo29bo3bo24bo5bo21bob2o2b2o23b3o2bo$o6b3o22bobo3bo22bobo3bo
28b2obo2b2o21b2o4bo27bo21bo3bobo22bo3bob2o3bo19b4o2bob3obo21bo3bo23bo
2b3o$32bob2o25bob2o32b2o25bobobo2bo19b3ob3o2bo21b5o2b2o20bobobobobo22b
2ob2o6bo25b2o22bobo4b2o$32b2o2b2o2bo2bo17b2o2b2o2bo2bo19bo4bo2bo24b2o
2bobo18b5obo3b3o25b2o23bo3b2o31bobo21b2o3b2o23b3o2b2o$33bob3obo22bob3o
bo24bo3bo2bobo21b2o2bobo21bo2b2o2bob2o24b2o21bo2b2o2bo2bo23bo27bo3b2o
2bo24b3ob2o$36b2o3bo23b2o3bo19bobo5bo25b3o3bo25bobo23bob6ob2o17bobo2b
2o4bo21b2o2bobo21b2o8bo22b3obo3bo$35bobo2bo2bo20bobo2bobo18bo6b4obo20b
o2bob2o22bobo4bo27b6o17bobo2b2obo23b3o3bo21bobobo6b2o23bobo2bo$33bo2bo
bo2bo23bobo4bo22bo3bo2bo19b4o3bo22bo3bobo23bobo5bo19bobob2o2b2o22bobob
o4bo18bo3bobo2bob2o20bo6bo$36bobo2bobo20bo3bobob2o17bo2b3obo23b2o2b5o
23bob2obo22bob3o3bo20b3o2bo3bo21b3o3b2o20b2o2b3obo2bo20b2o2b2o$32b2o3b
ob2obo21bo2b2o3bo22b2obo2b2o19b2obo25bob2o2b4o23b2o2b4obo16bo3bo2bobo
28bob2o19b4ob2o3b2o19bobo2b2o2bo$31b4o3b4o20b4o3bob2o21b2o5b2o20b4o4bo
18bo5bo2bo25b2ob2o2bo17b3o2bobo2bo2bo26b3o18b4o2bob2obo18bo3bo3b3o$30b
2o4bobo2b2o20b2o4bobo20bobobob5o18bobo2bobob2o18bobobob2obobo19bo8b2o
19b2o8bobo25bob2o18bobobobo2bo21bo3bo2b2o$30bo2b2ob2o2bo23b2ob5o20bobo
bobo22b2obo2b2obo19bo8b3o18b4ob4o23b4o27bobo2bo2bo18bo2bo2b3ob3o18bobo
2b2o$31b4ob5o23b3obo2b2o19b2ob2obo22bob2o2b4obo17bo3bo25b2o2b9o19b2o2b
2o3b2o21bobo2b2o19bobob3obo2bo21bo6bo$32bo4b2o3b2o20b5o2bo21b2o6bo18bo
2bob2o2bo2bo19b3o3b2obo19b4obo2b3o20b2o7bo21bo6bo23b3ob2o19bobobobo4b
2o$30b2o2b3o3b2o20bo2b2o2b4o19b2o4bo2bo18bobo2bo2b2obo25b4o21b4obo23bo
7bob2o20b2o3bo25bo3bob2o18b2o2bobob2o2b2o$32bobo7bo18b6o2bobo19bo3bobo
3b2o18bo6bo21b2o4b3o24bob5o2bo49bo2b2o3b3o20bobobo2bo20b2o2bo2b2o$60b
2o3b2o2bo21bobo2bob2obobo21bo5b3o17b4obobo2bo20b2o2b2obo21bobo3bobo24b
3ob2o23bob2o3bo20bobo3b2o2bo$60bo2bob3ob4o17bo5bo6bo16bobob3o2b2o2bo
17b2obo2b2o26bobo2bobo16bo2bo5bobo20bo2b6o22b2o3bo2bo20bob2o4bob3o$90b
o2bo2b5o19bo5b2obo2bo18bobob2ob3obo18bob4o4bo17bobo2bo2b4o19b3o3b2ob4o
18bo2bo2bob4o17bobo2bobo2bob2o$99bo52bo2b3obob2o18b4ob2o2bo21b3o3bobo
20bo2bobob4o19bo2bo7b2o$89bo2bo3bo59bobob3o18bob2o5b2o18bo2bob3obo24b
2obo4bo18b3o3bobo2bo$89bobo5b2o2bo48b2obo2bobo2b2o17b3o2bo25bo31bo3bob
obo23bo2bo$90bobo2bobo3bo50bo2b2o3bob2o16b3o2b2o4bobo21bo3bo23b3o4bobo
18b2o3bobo3b2o$95bobo2bo48bobo5b4o20bo2bo2b2o22bo2bob2o2bobo20b2obo2bo
2bo17b3o5bo3b2o$99b4o46b2obobo3b5o18bobobo2bobob2o19b6obo2bo19b2obo3bo
bo$181bobobo2b3o19bobo4bo2bo2bo23b2o$181bo3b2obo21bob2o3bo2b2o21b3ob6o
$181b3obo3b2obo17bo2b2o3bobo22bob3obo$213b2obobob2o19bo6bo$215b3o2bobo
18b2o7b4o$212bo4b3o21bobo3bo$212bob2o3bo20b2o2b5obo$211bo2bo3b2o19bobo
3b5o2bo$211bo4bo2bo19bobo2b3o6bo$211b4o$210bo3b2o2bob2o$214bobo4bobo$
210bo4bo2bo2bo$214b2ob3o3bo$211b2ob2o3b3o$211bo4b2obobo$210bob2o4b2obo
!
Since the seedcolumn-8 partial is quite long, I'll try extending it with ikpx2.

Edit (August 14th, 2026, 7:35 PM): Hunter, could you change the title of the first post in this thread so it includes the name "Flockenstein"?
My website (a database of Life objects, WIP).
GlidINT has been released!
Currently working on a forum system for my website.

Code: Select all

x = 5, y = 17, rule = B3-ry4acenqt5eir6-ek/S2-a3-a4nq5aeknr6-akHistory
C$2C$.2C$2C11$.3D$3.D$2.3D!
[[ STOP 72 ]]
Hunter
Posts: 58
Joined: July 10th, 2026, 4:44 pm

Re: b35s126

Post by Hunter »

MDA wrote: August 14th, 2026, 2:33 pm Edit (August 14th, 2026, 7:35 PM): Hunter, could you change the title of the first post in this thread so it includes the name "Flockenstein"?
Idk how

Edit: nvm

Edits: Starting to search D4_+4
new xp5

Code: Select all

 x = 8, y = 10, rule = B35/S126
2b4o$bob2obo2$3b2o$obo2bobo$obo2bobo$3b2o2$bob2obo$2b4o!
new xp6

Code: Select all

x = 8, y = 10, rule = B35/S126
obo2bobo$2bo2bo$o6bo$obo2bobo$2bo2bo$2bo2bo$obo2bobo$o6bo$2bo2bo$obo2bobo!
new xp8

Code: Select all

x = 12, y = 10, rule = B35/S126
2o8b2o$o2bo4bo2bo$ob2o4b2obo$bo3b2o3bo$5b2o$5b2o$bo3b2o3bo$ob2o4b2obo$o2bo4bo
2bo$2o8b2o!
new xp10

Code: Select all

x = 18, y = 14, rule = B35/S126
o16bo$bo3bo6bo3bo$5b2ob2ob2o$5bo6bo$8b2o$8b2o$8b2o$8b2o$8b2o$8b2o$5bo6bo$5b2o
b2ob2o$bo3bo6bo3bo$o16bo!
Last edited by Hunter on August 15th, 2026, 8:59 am, edited 5 times in total.
aka happyhunter :D :D :D
User avatar
MDA
Posts: 287
Joined: June 8th, 2026, 12:18 pm
Location: In Haven (B3-ry4acenqt5eir6-ek/S2-a3-a4nq5aeknr6-ak)
Contact:

Re: b35s126

Post by MDA »

Hunter wrote: August 14th, 2026, 3:20 pm
MDA wrote: August 14th, 2026, 2:33 pm Edit (August 14th, 2026, 7:35 PM): Hunter, could you change the title of the first post in this thread so it includes the name "Flockenstein"?
Idk how
Go to the first post on this thread, click on the pencil button at the top, and just above the main text box, there should be a smaller text box containing the thread name. Click on it to change it.
My website (a database of Life objects, WIP).
GlidINT has been released!
Currently working on a forum system for my website.

Code: Select all

x = 5, y = 17, rule = B3-ry4acenqt5eir6-ek/S2-a3-a4nq5aeknr6-akHistory
C$2C$.2C$2C11$.3D$3.D$2.3D!
[[ STOP 72 ]]
User avatar
TheWayOfTheCon
Posts: 365
Joined: March 28th, 2025, 11:40 pm
Location: Kraken Mare, Titan

Re: b35s126 (Flockenstein)

Post by TheWayOfTheCon »

The first hauls for my p37 reaction program have been submitted.

The results weren't very interesting. There didn't seem to be enough working combinations to give us anything we didn't know I guess. It was only one p37 and Skedaddler, so.

I'll modify my program to include multiple copies of Hunter's p37.
I could've chose a better username, but oh well.

I think I've learned the ropes of cellular automata. My current interest is range-two LTLs.
Post Reply