Check out and build the demo branch:
Code: Select all
$ git checkout 082aa72c344e
HEAD is now at 082aa72c344e... demo input
$ cargo build --release
Compiling rlife v1.0.0 (/home/amling/git/rlife)
Finished release [optimized + debuginfo] target(s) in 2m 27s
$
Build the DB in its compiled form from a bunch of RLE files.
`RLIFE_MAIN=edbv3-ingest` tells the program to do "ends DB V3 ingest" instead of a normal search. Some day I will figure out how to make multiple binaries in a rust project in a way that doesn't suck.
`2c5-b2f` picks the search geometry we're building a DB for. It outputs the U, V, and W this translates to and your search when run had better match exactly. If none of the preconfigured geometries are what you want you could go add more.
`1.edbv3` is the file we're building.
The rest of the arguments are files and/or directories of RLE files (can also be already-built edbv3 DBs if you want to merge some). Here I'm loading my "old" ends directory which is just a stripped-down copy of some stuff from jslife-moving and then also the asymmetric widths 10, 11, and 12 files from knight-results.
Code: Select all
$ env RLIFE_MAIN=edbv3-ingest ./target/release/rlife 2c5-b2f 1.edbv3 ~/git/life-notes/ends/2c5 knightt-results/2c5-w10-n.rle knightt-results/2c5-w11-n.rle knightt-results/2c5-w12-n.rle
20230423 19:28:19 [INFO] Lattice: Vec3(1, 0, 0), Vec3(0, 2, 5), Vec3(0, 1, 2)
20230423 19:30:54 [DEBUG] Input "/home/amling/git/life-notes/ends/2c5/jslife-moving-2c5-1.rle": 23248 edges, 23248 kept
20230423 19:30:54 [DEBUG] Input "knightt-results/2c5-w10-n.rle": 313 edges, 0 kept
20230423 19:30:54 [DEBUG] Input "knightt-results/2c5-w11-n.rle": 13794 edges, 11104 kept
20230423 19:30:55 [DEBUG] Input "knightt-results/2c5-w12-n.rle": 338739 edges, 323280 kept
20230423 19:30:58 [INFO] 357632 edges written to "1.edbv3"
$ du -hsc 1.edbv3
85M 1.edbv3
85M total
$
Note this took several minutes even on my reasonably fancy laptop and produces a giant 85MB file.
This demo search is configured to take the DB path as an extra argument after input picture path. Depending on what searches you're running and what you want out of them you might hard-code the path instead. The input picture here is targetting that top-left branch where I've peeling back the branch east of it a bit (and left exclamation points on the stump). Even 0/0/0 padding is enough to hit in the DB so we'll just run that...
Code: Select all
$ ./target/release/rlife 1.in 1.edbv3 0 0 0
20230423 19:35:40 [INFO] Start: compile step LlsssMonitorSpineStats
20230423 19:35:40 [INFO] Finish: compile step LlsssMonitorSpineStats -> took 86.997µs
20230423 19:35:40 [INFO] Start: compile step LlsssMonitorColStats
20230423 19:35:40 [INFO] Finish: compile step LlsssMonitorColStats -> took 5.99µs
20230423 19:35:40 [INFO] Start: compile step LlsssMonitorUniquePartial
20230423 19:35:40 [INFO] Finish: compile step LlsssMonitorUniquePartial -> took 5.382µs
20230423 19:35:40 [INFO] Start: compile step LlsssMonitorFirstPartial
20230423 19:35:40 [INFO] Finish: compile step LlsssMonitorFirstPartial -> took 5.184µs
20230423 19:35:40 [INFO] Start: compile step LlsssMonitorRandomPartial
20230423 19:35:40 [INFO] Finish: compile step LlsssMonitorRandomPartial -> took 5.059µs
20230423 19:35:40 [INFO] Start: compile step LlsssMonitorRctl
20230423 19:35:40 [INFO] Finish: compile step LlsssMonitorRctl -> took 45.27µs
20230423 19:35:40 [INFO] Start: compile step LlsssStepExpand
20230423 19:35:40 [INFO] Start: compile tables
20230423 19:35:40 [INFO] Compiling [checks3 1/1] table of 12 + 1 = 13 bits
20230423 19:35:40 [INFO] Finish: compile tables -> took 690.657µs
20230423 19:35:40 [INFO] Start: compile tables
20230423 19:35:40 [INFO] Compiling [checks3 1/1] table of 12 + 1 = 13 bits
20230423 19:35:40 [INFO] Finish: compile tables -> took 274.568µs
20230423 19:35:40 [INFO] Finish: compile step LlsssStepExpand -> took 4.093533ms
...
Just the boring startup so far...
Code: Select all
...
20230423 19:35:40 [INFO] Start: compile step LlsssEndsEdbv3
20230423 19:35:46 [INFO] Finish: compile step LlsssEndsEdbv3 -> took 6.611724821s
...
~6s to load this ~85MB DB. This is way, way better than the RLE ingestion code.
Code: Select all
...
20230423 19:35:46 [INFO] Start: compile step LlsssEndsZero
20230423 19:35:46 [INFO] Finish: compile step LlsssEndsZero -> took 7.779µs
20230423 19:35:46 [INFO] Start: search proper
20230423 19:35:47 [INFO] VmPeak: 1344668 kB
20230423 19:35:47 [INFO] Memory: total 256 B (spine store old_gens 56 B, spine store cur_gen 112 B, bcols 48 B, cols 40 B)
20230423 19:35:47 [INFO] Spine store sizes: old_gens [7], cur_gen 7
20230423 19:35:47 [INFO] Cols sizes: 1 / 1 \ 1 / 1 \ 1 / 1 \ 1 / 1 \ 1 / 1 \ 1
20230423 19:35:47 [INFO] Unique:
20230423 19:35:47 [INFO] | .***..* | | | | |
20230423 19:35:47 [INFO] | **.**.. | **...*. | .*..... | | |
20230423 19:35:47 [INFO] | | *....*. | **....* | .**.... | .***... |
20230423 19:35:47 [INFO] | | | | **.**.. | *..*... |
20230423 19:35:47 [INFO] Firstest:
20230423 19:35:47 [INFO] | .***..* | | | | |
20230423 19:35:47 [INFO] | **.**.. | **...*. | .*..... | | |
20230423 19:35:47 [INFO] | | *....*. | **....* | .**.... | .***... |
20230423 19:35:47 [INFO] | | | | **.**.. | *..*... |
20230423 19:35:47 [INFO] Random partial:
20230423 19:35:47 [INFO] | .***..* | | | | |
20230423 19:35:47 [INFO] | **.**.. | **...*. | .*..... | | |
20230423 19:35:47 [INFO] | | *....*. | **....* | .**.... | .***... |
20230423 19:35:47 [INFO] | | | | **.**.. | *..*... |
...
More usual output up through first partials. Skipping a bit eventually it hits...
Code: Select all
...
20230423 19:35:47 [INFO] End ("LlsssEndsEdbv3"):
20230423 19:35:47 [INFO] | .***..* | | | | |
20230423 19:35:47 [INFO] | **.**.. | **...*. | .*..... | | |
20230423 19:35:47 [INFO] | ...**.. | *....*. | **....* | .**.... | .***... |
20230423 19:35:47 [INFO] | ...**.. | ....... | ...**.. | **.**.. | *..*... |
20230423 19:35:47 [INFO] | | | ..**... | ..*.... | ....*.. |
...
This is the segment from the initial prompt to the slice that hit in the DB. It's gonna then spin for ~30s doing some one-time-precomputation that it has deferred to first result. Later results will not incur the cost (and neither will searches that have no results). In my testing this ~30s precomputation is most of the cost and later hits are pretty much instantaneous now.
Eventually it outputs some completions. All hits will output best by population (counting all live cells in all generations):
Code: Select all
...
20230423 19:36:19 [INFO] Completion [population]:
20230423 19:36:19 [INFO] | .....*..*........... | | | | |
20230423 19:36:19 [INFO] | .........*.......... | ........**.......... | .....*....*......... | | |
20230423 19:36:19 [INFO] | .....*..*........... | ........**.......... | .................... | ........**.......... | .....**.**.......... |
20230423 19:36:19 [INFO] | ........*........... | .......**........... | .......***.......... | .......**........... | .......*............ |
20230423 19:36:19 [INFO] | .......*............ | .................... | ......*............. | ......*..*.......... | .....**.*........... |
20230423 19:36:19 [INFO] | .....****........... | ......***........... | ......*.*........... | .....**............. | ......**............ |
20230423 19:36:19 [INFO] | .................... | ......*.*........... | ......*.*........... | ....*.*............. | ....*.**............ |
20230423 19:36:19 [INFO] | ..**....*........... | ..**................ | ...***.............. | ...*....*........... | .....*.............. |
20230423 19:36:19 [INFO] | ..*.*.*............. | ....**...*.......... | .*..****.*.......... | .*....*.*........... | ........**.......... |
20230423 19:36:19 [INFO] | .**.*..***.......... | .**...****.......... | .**......*.......... | *.......*........... | *.*..*.............. |
20230423 19:36:19 [INFO] | ...***..*.*......... | ..****.**........... | .**.**.............. | .**.*.*............. | .**.*..*............ |
20230423 19:36:19 [INFO] | .................... | ....*....*.......... | ....***..*.......... | ...**.*............. | ..*.*.*..*.......... |
20230423 19:36:19 [INFO] | .........*.......... | .......**........... | ......*..*.......... | ....*.*.***......... | ...**...*.*......... |
20230423 19:36:19 [INFO] | ......***........... | ......***........... | .....*...*.......... | ........**.......... | .......**.*......... |
20230423 19:36:19 [INFO] | ......*............. | .....**.*........... | ........*........... | .................... | .......**........... |
20230423 19:36:19 [INFO] | ......*.*........... | .....**............. | .................... | ......**............ | .....*.*............ |
20230423 19:36:19 [INFO] | ......**............ | ......**............ | .....***............ | .....***............ | .................... |
20230423 19:36:19 [INFO] | .................... | ........*........... | ......*.*........... | .....**.**.......... | .....*...*.......... |
20230423 19:36:19 [INFO] | ......***........... | ......*.*........... | ........**.......... | .......***.......... | ......**.*.......... |
20230423 19:36:19 [INFO] | .......**........... | ......*.*........... | .................... | .................... | .......*............ |
20230423 19:36:19 [INFO] | .................... | .................... | .................... | .......*............ | ......***........... |
20230423 19:36:19 [INFO] | .................... | .................... | ......***........... | ......***........... | .................... |
20230423 19:36:19 [INFO] | ....**..**.......... | .....*****.......... | .....*...*.......... | ......**.*.......... | .........*.......... |
20230423 19:36:19 [INFO] | ......**.*.......... | .....***.*.......... | .........*.......... | .....**.**.......... | .........*.......... |
20230423 19:36:19 [INFO] | .................... | ......*.*........... | .....**.*........... | .....****........... | ....*............... |
20230423 19:36:19 [INFO] | .....*...*.......... | .................... | .....*.*............ | .....*..*........... | ....**..**.......... |
20230423 19:36:19 [INFO] | .*..*............... | ....*.*............. | ......**............ | ....*...*........... | ...***.***.......... |
20230423 19:36:19 [INFO] | *...*.**............ | **..*.**............ | ...**.**............ | ...**...*........... | ...**..**........... |
20230423 19:36:19 [INFO] | .*...*.*............ | ....*............... | .*..*.**............ | ..*....*............ | .**....*............ |
20230423 19:36:19 [INFO] | .....****........... | ..*.**..*........... | ..*.**.............. | .**....**........... | .***..**.*.......... |
20230423 19:36:19 [INFO] | ..**..*............. | ..**....*........... | ..****..**.......... | ..*..*..**.......... | .****....*.......... |
20230423 19:36:19 [INFO] | ...****.*........... | ......*.*........... | ........*........... | ...*.*.*............ | ...*.*.*............ |
20230423 19:36:19 [INFO] | .*..*..**........... | ........**.......... | .....*..**.......... | ....*..*............ | ...**.*.*........... |
20230423 19:36:19 [INFO] | ....*.*.*........... | ...**.*.*........... | ...**...**.......... | ..*......*.......... | ...*..*............. |
20230423 19:36:19 [INFO] | *...**.............. | ...*...*............ | ..******............ | ..*...***........... | .**....**........... |
20230423 19:36:19 [INFO] | *...***............. | .*....*............. | .*....*............. | .*.................. | .****...*........... |
20230423 19:36:19 [INFO] | ..***............... | .**...**............ | .**..*..*........... | *..*****............ | ***.***............. |
20230423 19:36:19 [INFO] | ..*.*..**........... | ..*..*.**........... | .**.**..*........... | .*...*.............. | .*.................. |
20230423 19:36:19 [INFO] | ...**..*............ | ...**.*............. | ...**............... | ..**..**............ | ..**...*............ |
20230423 19:36:19 [INFO] | .......**........... | ......***........... | .....**.*........... | ....****............ | ...**...*........... |
20230423 19:36:19 [INFO] | .......*............ | .......*............ | ......*............. | .....***............ | ....*..*............ |
20230423 19:36:19 [INFO] | .........*.......... | ........*........... | .................... | .................... | .......**........... |
20230423 19:36:19 [INFO] | .........*.......... | .................... | ........**.......... | .......*.*.......... | .................... |
20230423 19:36:19 [INFO] | .................... | ........**.......... | .......***.......... | ..........*......... | ........***......... |
20230423 19:36:19 [INFO] | .....*..**.......... | ......**..*......... | .....***.*.......... | ....**...*.......... | .................... |
20230423 19:36:19 [INFO] | .....*.****......... | ....**.*............ | ....**.*............ | .......*............ | .................... |
20230423 19:36:19 [INFO] | .....*...**......... | .....*.....*........ | ....**..*........... | .................... | .....**............. |
20230423 19:36:19 [INFO] | ......***.*......... | ......***..*........ | .....*.....*........ | ....***..**......... | .....******......... |
20230423 19:36:19 [INFO] | .........**......... | ......*****......... | ......*..**......... | ......**.**......... | ...........*........ |
20230423 19:36:19 [INFO] | .....*.............. | .................... | .......***.......... | .......****......... | ......**............ |
20230423 19:36:19 [INFO] | .................... | .................... | .................... | .........*.......... | .......*.**......... |
20230423 19:36:19 [INFO] | .....*.............. | ......**............ | ......*.*........... | .......*............ | ......**.*.......... |
20230423 19:36:19 [INFO] | ......***.*......... | ......***........... | .....*..*........... | .....**.**.......... | .....**.**.......... |
20230423 19:36:19 [INFO] | ........*.*......... | ......*...*......... | ......*..*.......... | ......*..*.......... | .....***.**......... |
20230423 19:36:19 [INFO] | .......*.*.......... | .......*.*.......... | .......**........... | .........*.......... | ........***......... |
20230423 19:36:19 [INFO] | .......*............ | ......**............ | ......***........... | ......*..*.......... | .................... |
20230423 19:36:19 [INFO] | .......*..*......... | .................... | .......**........... | ......*............. | ......*..*.......... |
20230423 19:36:19 [INFO] | .................... | ........**.......... | ........**.......... | .......***.......... | .......***.......... |
20230423 19:36:19 [INFO] | ........**.......... | ........**.......... | .................... | .........*.......... | .........**......... |
20230423 19:36:19 [INFO] | .........*.......... | .........**......... | ..........*......... | .........*.......... | ........**.......... |
20230423 19:36:19 [INFO] | .......*.*.......... | .........*.......... | ........**.......... | ........*........... | ........**.......... |
20230423 19:36:19 [INFO] | .......*.**......... | .........*.*........ | ........**.*........ | .......*..*......... | .................... |
20230423 19:36:19 [INFO] | ..........**........ | ........*.**........ | ........*........... | .................... | .......*.*.......... |
20230423 19:36:19 [INFO] | ........*...*....... | ........*.***....... | .......**........... | .......***.......... | .......***.......... |
20230423 19:36:19 [INFO] | ........**...*...... | ........**..***..... | ........*......*.... | ........*........... | ..........*......... |
20230423 19:36:19 [INFO] | ..........*..**..... | ..........*..***.... | ........*.**....*... | ........*.**....*... | .......**.**........ |
20230423 19:36:19 [INFO] | ..........*....**... | .........**..*.**... | .........**..*...*.. | ........*..*........ | .........****....... |
20230423 19:36:19 [INFO] | .........*...*..*... | ..............*.**.. | .........*.......... | .............**..... | ............**.*.... |
20230423 19:36:19 [INFO] | ..............*.*... | ........*....**.**.. | .......***...**..... | .......*..*..***.... | ............*..*.... |
20230423 19:36:19 [INFO] | .......**.....***... | .......***....*.*... | .......***...**.**.. | .......*..*..*..*... | .........***.*..*... |
20230423 19:36:19 [INFO] | .......**.**........ | ..........*....*.... | ..........*....*.... | ..........*...***... | ..........**..***... |
20230423 19:36:19 [INFO] | ......**.*.......... | .........**......... | .........**......... | ........*.*......... | ........*.**...*.... |
20230423 19:36:19 [INFO] | ......***........... | .........*.......... | ........**.......... | ........***......... | .......**.*......... |
20230423 19:36:19 [INFO] | .......*.*.......... | ......*..*.......... | .................... | .......*............ | .......*............ |
20230423 19:36:19 [INFO] | ........**...**..... | ........***......... | .......**.*......... | .......**........... | ......*..*.......... |
20230423 19:36:19 [INFO] | ..........*......... | ........*.*....*.... | ........*.*...**.... | .......**.*......... | .......*............ |
20230423 19:36:19 [INFO] | .........**..***.... | .........*....**.... | .........*.......... | .........*....*..... | ........**...**..... |
20230423 19:36:19 [INFO] | ..........**...***.. | .............*.***.. | .............*...... | .............**..... | ..........*..**..... |
20230423 19:36:19 [INFO] | ..........***.....*. | ..........*.*..*.... | ...........***.*.... | ..........**...**... | ..........*...**.... |
20230423 19:36:19 [INFO] | ............*...*... | ..........*..*...... | .........**..****... | .........*.......... | ..........**....*... |
20230423 19:36:19 [INFO] | ...........**....... | ..........***..**... | .........**.****.*.. | ............*....*.. | .................**. |
20230423 19:36:19 [INFO] | .........**....**... | .........*..*..***.. | ........**..*.*..*.. | .................**. | ...........*.*..***. |
20230423 19:36:19 [INFO] | .........*.*...**.** | ........**.*...*..*. | ........**.**..*..*. | ...........***.*..*. | ............*...*.** |
20230423 19:36:19 [INFO] | ........*..*.....*.. | ........*..*....***. | .......**..*....***. | ................*.*. | ..........*....**.** |
20230423 19:36:19 [INFO] | ........***......... | ........*.*......... | .......**.**.....*.. | ..........**....***. | .........***....*.*. |
20230423 19:36:19 [INFO] | .........*.......... | ........***......... | ........*.*......... | .......**.**........ | ........*..*.....*.. |
20230423 19:36:19 [INFO] | .................... | .................... | .........*.......... | .........*.......... | ........***......... |
20230423 19:36:19 [INFO] | .................... | .................... | .................... | .................... | .................... |
20230423 19:36:19 [INFO] | | | .................... | .................... | .................... |
20230423 19:36:19 [INFO] Provenances:
20230423 19:36:19 [INFO] 296x "knightt-results/2c5-w12-n.rle"
20230423 19:36:19 [INFO] 131x "/home/amling/git/life-notes/ends/2c5/jslife-moving-2c5-1.rle"
...
At the bottom it outputs where the DB thinks it got each slice transition from (deduping and showing counts for runs). In this case the first 296 are from the knightt-results width 12 asymmetric collection and the last 131 are from jslife moving.
It will also compute a best right clearance result (breaking ties by population) and a best left clearance result and if they are distinct from the min population result then output them as well. In this case we have a distinct right clearance result but not a distinct left clearance result:
Code: Select all
...
20230423 19:36:19 [INFO] Completion [right clearance]:
20230423 19:36:19 [INFO] | ..........*..*... | | | | |
20230423 19:36:19 [INFO] | ..............*.. | .............**.. | ..........*....*. | | |
20230423 19:36:19 [INFO] | ..........*..*... | .............**.. | ................. | .............**.. | ..........**.**.. |
20230423 19:36:19 [INFO] | .............*... | ............**... | ............***.. | ............**... | ............*.... |
20230423 19:36:19 [INFO] | ............*.... | ................. | ...........*..... | ...........*..*.. | ..........**.*... |
20230423 19:36:19 [INFO] | ..........****... | ...........***... | ...........*.*... | ..........**..... | ...........**.... |
20230423 19:36:19 [INFO] | ................. | ...........*.*... | ...........*.*... | .........*.*..... | .........*.**.... |
20230423 19:36:19 [INFO] | .......**....*... | .......**........ | ........***...... | ........*....*... | ..........*...... |
20230423 19:36:19 [INFO] | .......*.*.*..... | .........**...*.. | ......*..****.*.. | ......*....*.*... | .............**.. |
20230423 19:36:19 [INFO] | ......**.*..***.. | ......**...****.. | ......**......*.. | .....*.......*... | .....*.*..*...... |
20230423 19:36:19 [INFO] | ........***..*.*. | .......****.**... | ......**.**...... | ......**.*.*..... | ......**.*..*.... |
20230423 19:36:19 [INFO] | ................. | .........*....*.. | .........***..*.. | ........**.*..... | .......*.*.*..*.. |
20230423 19:36:19 [INFO] | ..............*.. | ............**... | ...........*..*.. | .........*.*.***. | ........**...*.*. |
20230423 19:36:19 [INFO] | ...........***... | ...........***... | ..........*...*.. | .............**.. | ............**.*. |
20230423 19:36:19 [INFO] | ...........*..... | ..........**.*... | .............*... | ................. | ............**... |
20230423 19:36:19 [INFO] | ...........*.*... | ..........**..... | ................. | ...........**.... | ..........*.*.... |
20230423 19:36:19 [INFO] | ...........**.... | ...........**.... | ..........***.... | ..........***.... | ................. |
20230423 19:36:19 [INFO] | ................. | .............*... | ...........*.*... | ..........**.**.. | ..........*...*.. |
20230423 19:36:19 [INFO] | ...........***... | ...........*.*... | .............**.. | ............***.. | ...........**.*.. |
20230423 19:36:19 [INFO] | ............**... | ...........*.*... | ................. | ................. | ............*.... |
20230423 19:36:19 [INFO] | ................. | ................. | ................. | ............*.... | ...........***... |
20230423 19:36:19 [INFO] | ................. | ................. | ...........***... | ...........***... | ................. |
20230423 19:36:19 [INFO] | .........**..**.. | ..........*****.. | ..........*...*.. | ...........**.*.. | ..............*.. |
20230423 19:36:19 [INFO] | ...........**.*.. | ..........***.*.. | ..............*.. | ..........**.**.. | ..............*.. |
20230423 19:36:19 [INFO] | ................. | ...........*.*... | ..........**.*... | ..........****... | .........*....... |
20230423 19:36:19 [INFO] | ..........*...*.. | ................. | ..........*.*.... | ..........*..*... | .........**..**.. |
20230423 19:36:19 [INFO] | ......*..*....... | .........*.*..... | ...........**.... | .........*...*... | ........***.***.. |
20230423 19:36:19 [INFO] | .....*...*.**.... | .....**..*.**.... | ........**.**.... | ........**...*... | ........**..**... |
20230423 19:36:19 [INFO] | ......*...*.*.... | .........*....... | ......*..*.**.... | .......*....*.... | ......**....*.... |
20230423 19:36:19 [INFO] | ..........****... | .......*.**..*... | .......*.**...... | ......**....**... | ......***..**.*.. |
20230423 19:36:19 [INFO] | .......**..*..... | .......**....*... | .......****..**.. | .......*..*..**.. | ......****....*.. |
20230423 19:36:19 [INFO] | ........****.*... | ...........*.*... | .............*... | ........*.*.*.... | ........*.*.*.... |
20230423 19:36:19 [INFO] | ......*..*..**... | .............**.. | ..........*..**.. | .........*..*.... | ........**.*.*... |
20230423 19:36:19 [INFO] | .........*.*.*... | ........**.*.*... | ........**...**.. | .......*......*.. | ........*..*..... |
20230423 19:36:19 [INFO] | .....*...**...... | ........*...*.... | .......******.... | .......*...***... | ......**....**... |
20230423 19:36:19 [INFO] | .....*...***..... | ......*....*..... | ......*....*..... | ......*.......... | ......****...*... |
20230423 19:36:19 [INFO] | .......***....... | ......**...**.... | ......**..*..*... | .....*..*****.... | .....***.***..... |
20230423 19:36:19 [INFO] | .......*.*..**... | .......*..*.**... | ......**.**..*... | ......*...*...... | ......*.......... |
20230423 19:36:19 [INFO] | ........**..*.... | ........**.*..... | ........**....... | .......**..**.... | .......**...*.... |
20230423 19:36:19 [INFO] | ............**... | ...........***... | ..........**.*... | .........****.... | ........**...*... |
20230423 19:36:19 [INFO] | ............*.... | ............*.... | ...........*..... | ..........***.... | .........*..*.... |
20230423 19:36:19 [INFO] | ..............*.. | .............*... | ................. | ................. | ............**... |
20230423 19:36:19 [INFO] | ..............*.. | ................. | .............**.. | ............*.*.. | ................. |
20230423 19:36:19 [INFO] | ................. | .............**.. | ............***.. | ...............*. | .............***. |
20230423 19:36:19 [INFO] | ..........*..**.. | ...........**..*. | ..........***.*.. | .........**...*.. | ................. |
20230423 19:36:19 [INFO] | ..........*.****. | .........**.*.... | .........**.*.... | ............*.... | ................. |
20230423 19:36:19 [INFO] | ..........*...**. | ..........*.....* | .........**..*... | ................. | ..........**..... |
20230423 19:36:19 [INFO] | ...........***.*. | ...........***..* | ..........*.....* | .........***..**. | ..........******. |
20230423 19:36:19 [INFO] | ..............**. | ...........*****. | ...........*..**. | ...........**.**. | ................* |
20230423 19:36:19 [INFO] | ..........*...... | ................. | ............***.. | ............****. | ...........**.... |
20230423 19:36:19 [INFO] | ................. | ................. | ................. | ..............*.. | ............*.**. |
20230423 19:36:19 [INFO] | ..........*...... | ...........**.... | ...........*.*... | ............*.... | ...........**.*.. |
20230423 19:36:19 [INFO] | ...........***.*. | ...........***... | ..........*..*... | ..........**.**.. | ..........**.**.. |
20230423 19:36:19 [INFO] | .............*.*. | ...........*...*. | ...........*..*.. | ...........*..*.. | ..........***.**. |
20230423 19:36:19 [INFO] | ............*.*.. | ............*.*.. | ............**... | ..............*.. | .............***. |
20230423 19:36:19 [INFO] | ............*.... | ...........**.... | ...........***... | ...........*..*.. | ................. |
20230423 19:36:19 [INFO] | ............*..*. | ................. | ............**... | ...........*..... | ...........*..*.. |
20230423 19:36:19 [INFO] | ................. | .............**.. | .............**.. | ............***.. | ............***.. |
20230423 19:36:19 [INFO] | .............**.. | .............**.. | ...............*. | ..............*.. | ..............**. |
20230423 19:36:19 [INFO] | ...........***... | ...........*.**.. | ................. | ..............*.. | .............**.. |
20230423 19:36:19 [INFO] | .........***..... | ........**...*... | .............**.. | .............*... | .............**.. |
20230423 19:36:19 [INFO] | ........**.**.... | ............*.... | ........**..*.... | ..............*.. | ................. |
20230423 19:36:19 [INFO] | ........***...... | ........*...**... | ..............*.. | ........*..*..... | ..........***.... |
20230423 19:36:19 [INFO] | ..........*..**.. | ..........**.**.. | .........***...*. | .........*.**.... | ........**....... |
20230423 19:36:19 [INFO] | ............*.*.. | .........*..*.**. | .........*.**.... | .........*.**.... | .........*...*... |
20230423 19:36:19 [INFO] | .........****..*. | .........*....**. | ................. | ..........*..*... | ..........*..*... |
20230423 19:36:19 [INFO] | ..........***..*. | .............*.** | ..........*.**... | ............**... | .........**...*.. |
20230423 19:36:19 [INFO] | .........*...*.*. | .........*.*.*.** | ..........*.*.... | .........**.**... | .........**.***.. |
20230423 19:36:19 [INFO] | .........*...***. | ..........*....*. | .........*.....** | .........**....*. | .............*.*. |
20230423 19:36:19 [INFO] | ...........***... | ..........**.*... | .........*....*.. | ........***...**. | ........*.*...**. |
20230423 19:36:19 [INFO] | ...........*..... | ..........**.*... | .........*...*... | .............*... | .........*....*.. |
20230423 19:36:19 [INFO] | ..........*..*... | ..........***.... | ............*.... | ................. | ............*.... |
20230423 19:36:19 [INFO] | .........*.*..... | ........**....... | ........*........ | ...........**.... | ...........**.... |
20230423 19:36:19 [INFO] | ........**....... | ........**.**.... | .......*...**.... | ............*.... | ............**... |
20230423 19:36:19 [INFO] | .........*.**.... | ........**.**.... | .............*... | ............*.... | .........*.*..... |
20230423 19:36:19 [INFO] | ..........**..... | .........*.**.... | .........*....... | ........***...... | .........***..... |
20230423 19:36:19 [INFO] | .........*....... | .........*.*..... | ........**.*..... | ...........*..... | .........*.**.... |
20230423 19:36:19 [INFO] | ........*.*...... | ........*..*..... | ........***.*.... | ...........**.... | ................. |
20230423 19:36:19 [INFO] | ........****.*... | ........*....*... | .......***...*... | .......*..**.*... | ..........*...*.. |
20230423 19:36:19 [INFO] | ..........*.**... | ........*...**... | ........*...**... | .......*..*.***.. | .......**.*...*.. |
20230423 19:36:19 [INFO] | .........**...... | .........**...... | .........**..*... | ........*.*..*... | .........*....... |
20230423 19:36:19 [INFO] | ...........***... | ..........***.... | .........**.*.... | ............**... | ..........*.**... |
20230423 19:36:19 [INFO] | ................. | ............*.... | ..........*.*.... | .........**.*.... | .........**.**... |
20230423 19:36:19 [INFO] | ................. | ...........*..... | ...........*..... | ..........**..... | ............*.... |
20230423 19:36:19 [INFO] | ..........***.... | ...........**.... | ...........*.*... | ..........**..... | ................. |
20230423 19:36:19 [INFO] | ............*.... | ............**... | ...........*.*... | ...........*.*... | ...........*..... |
20230423 19:36:19 [INFO] | .............*... | .............*... | ..........**.**.. | .........*.*..... | ...........*..... |
20230423 19:36:19 [INFO] | .......*.*..**... | .........***.*... | ........**.*.**.. | .........*.*..... | ...........*..... |
20230423 19:36:19 [INFO] | ........**.**.... | ........**.*.*... | .............*... | ........****.**.. | ........*....*... |
20230423 19:36:19 [INFO] | ...........*..... | ........*****.... | ........*..**.... | ..........***.... | .......*....**... |
20230423 19:36:19 [INFO] | ........*........ | ................. | .......*..**..... | .......***....... | ........**.*..... |
20230423 19:36:19 [INFO] | ........*..*..... | .......**........ | .......*..**..... | .........*....... | .........**...... |
20230423 19:36:19 [INFO] | ........**....... | .......******.... | ..........****... | .........*..*.... | .........**...... |
20230423 19:36:19 [INFO] | ........*..**.... | ........*...**.*. | ..........*...... | ..........*...... | .........***..... |
20230423 19:36:19 [INFO] | .........****.*** | ........*...**.*. | ........**..**... | ........*..*..... | .........*....... |
20230423 19:36:19 [INFO] | .........**...... | .........*....... | .........**....*. | ........*........ | ........*........ |
20230423 19:36:19 [INFO] | ............***** | ..........*****.* | ..........****.*. | .........*****.*. | .........*****.*. |
20230423 19:36:19 [INFO] | ...........*...** | ...........*....* | ..............*.. | .............***. | ..........*....** |
20230423 19:36:19 [INFO] | ...........****.. | ..........**..*.. | .........*.*...*. | ............*..*. | ............**.** |
20230423 19:36:19 [INFO] | .....*..**..*.*.. | ......*..**....*. | ............****. | ...........*....* | ...........**.... |
20230423 19:36:19 [INFO] | ......****..***.. | ......*..****.*.. | .....**.*...****. | .....**.*...*.... | .....*..*...**.*. |
20230423 19:36:19 [INFO] | .......*...*..... | ......**..**..*.. | ......**.*....*.. | .....********.**. | .....*..*.....*.. |
20230423 19:36:19 [INFO] | ...........*..*.. | ...........*.*... | ..........**..... | ..........**.*... | ......***....*... |
20230423 19:36:19 [INFO] | ............**... | ............***.. | ............*.*.. | ...........*.*... | ..........**.*... |
20230423 19:36:19 [INFO] | ..............*.. | ..............*.. | ..............*.. | ..............**. | ............***.. |
20230423 19:36:19 [INFO] | ..............*** | ..............*.* | ..............*.. | .............*... | .............*... |
20230423 19:36:19 [INFO] | ............**..* | ............**..* | ............*.... | ..............**. | ...............*. |
20230423 19:36:19 [INFO] | .............*.*. | ............***.. | ............*.**. | .............***. | .............*..* |
20230423 19:36:19 [INFO] | ................. | ...............*. | ...............*. | .............*..* | .............*..* |
20230423 19:36:19 [INFO] | ..............**. | ..............**. | ..............**. | ..............**. | .............***. |
20230423 19:36:19 [INFO] | ..............**. | ................. | .............*... | ..............*.. | ..............*.. |
20230423 19:36:19 [INFO] | ............*.*.. | ...........**.**. | ................. | ............*.*.. | ..............*.. |
20230423 19:36:19 [INFO] | .......**..**.... | ................. | ............***.. | .............*... | .............**.. |
20230423 19:36:19 [INFO] | ...........***... | .........*...*... | ................. | ..............*.. | ............*.*.. |
20230423 19:36:19 [INFO] | .......***.*..... | .......*.....*... | ........*...**... | .......*....**... | .......**...**... |
20230423 19:36:19 [INFO] | ........***.*.... | .......*....*.... | ......**....*.... | .......**..*..... | .......**...*.... |
20230423 19:36:19 [INFO] | ..........*.*.... | .......**...**... | .........*..**... | ................. | ........***...... |
20230423 19:36:19 [INFO] | ......**..***.... | ......**.**.*.... | ..........*.**... | .........**..*... | ............*.... |
20230423 19:36:19 [INFO] | ......*..*....... | ......****.*..... | ......*..*.*..... | .......******.... | .......*...**.... |
20230423 19:36:19 [INFO] | .........*....... | ................. | .......**........ | .......**........ | .......*..**..... |
20230423 19:36:19 [INFO] | ................. | ................. | ................. | ................. | .......**........ |
20230423 19:36:19 [INFO] | .....*..*........ | .....*..*........ | ................. | ........*........ | .......**........ |
20230423 19:36:19 [INFO] | .....****........ | .....*..*........ | .......***....... | ......**.*....... | ......***........ |
20230423 19:36:19 [INFO] | .......*......... | ........*........ | .....**.**....... | .....*........... | .....*.*......... |
20230423 19:36:19 [INFO] | .....**.......... | .....**.*........ | .....**.*........ | .....**.......... | .....**.......... |
20230423 19:36:19 [INFO] | ......*.**....... | ......*.**....... | ........**....... | ........**....... | ........**....... |
20230423 19:36:19 [INFO] | ......*.*........ | .....**.*........ | .....**.*........ | .....**.*........ | .....**.......... |
20230423 19:36:19 [INFO] | ......*...*.*.... | ......*.*.*.*.... | ......*.*........ | ......*.**....... | ......*.**....... |
20230423 19:36:19 [INFO] | .......**.***.... | ......*.*.*.*.... | ......*.*...**... | ......*.*...**... | ......*.*........ |
20230423 19:36:19 [INFO] | .......**........ | .......*....*.... | .......*....*.... | .......*..*...... | .......*..*.**... |
20230423 19:36:19 [INFO] | .........***..... | ........****..... | ........*****.... | ........***.*.... | .......**.**..... |
20230423 19:36:19 [INFO] | ...........*..... | ...........*..... | ...........*..... | ........*........ | ........*........ |
20230423 19:36:19 [INFO] | ........*.*...... | ........***...... | ........*..*..... | ..........**..... | ..........**..... |
20230423 19:36:19 [INFO] | *..*...*.*....... | .......*.**...... | ......*...*...... | .........**...... | .........*.*..... |
20230423 19:36:19 [INFO] | *..*..*..*....... | *..**.***........ | .*.**....*....... | ..*......*....... | .*............... |
20230423 19:36:19 [INFO] | .***..*.......... | .***.***......... | .*......*........ | **..*...**....... | *..*...*.*....... |
20230423 19:36:19 [INFO] | ......*..*....... | ..*..**.......... | .***....*........ | .**....**........ | *.**...***....... |
20230423 19:36:19 [INFO] | ......*.*........ | .....**.**....... | ........**....... | ..*.............. | .**....**........ |
20230423 19:36:19 [INFO] | ......***........ | ......*.*........ | .....**.**....... | ......*..*....... | ......*.*........ |
20230423 19:36:19 [INFO] | ................. | .......*......... | .......*......... | ......***........ | ......***........ |
20230423 19:36:19 [INFO] | ................. | ................. | ................. | ................. | .......*......... |
20230423 19:36:19 [INFO] | | ................. | ................. | ................. | ................. |
20230423 19:36:19 [INFO] | | | | | ................. |
20230423 19:36:19 [INFO] Provenances:
20230423 19:36:19 [INFO] 596x "knightt-results/2c5-w12-n.rle"
20230423 19:36:19 [INFO] 43x "knightt-results/2c5-w11-n.rle"
20230423 19:36:19 [INFO] 55x "/home/amling/git/life-notes/ends/2c5/jslife-moving-2c5-1.rle"
...
This search is small enough that it dies out almost immediately, but if you run a wider search (e.g. 0/3/3) it will keep finding these same results one row further each time.
Let me know if you can stuck on any of the parts. I know it's a super unpolished mess still (having more or less just been written).