amling search program principles discussion / brain dump

[LaundryPizza03]

How do I stop an LLSSS search if a complete result is found? For example, I want to terminate this wide c/2o search as soon as 64P2H1V0 is found:

Code: Select all

./rlife llsss c2-s2s --rule B3/S23 1.in --filters wcaf 0 0 0

[amling]

How do I stop an LLSSS search if a complete result is found? For example, I want to terminate this wide c/2o search as soon as 64P2H1V0 is found:

Code: Select all

./rlife llsss c2-s2s --rule B3/S23 1.in --filters wcaf 0 0 0

Presumably you mean in an automatic sense for which there is as of yet nothing. If you're willing to make code changes you can find the printing of such results, at least for the zero ends, for fixed board searches, is near the bottom of src/llsss/state.rs and any code reaching an added "panic!();" line would stop.

[LaundryPizza03]

How do I stop an LLSSS search if a complete result is found? For example, I want to terminate this wide c/2o search as soon as 64P2H1V0 is found:

Code: Select all

./rlife llsss c2-s2s --rule B3/S23 1.in --filters wcaf 0 0 0

Presumably you mean in an automatic sense for which there is as of yet nothing. If you're willing to make code changes you can find the printing of such results, at least for the zero ends, for fixed board searches, is near the bottom of src/llsss/state.rs and any code reaching an added "panic!();" line would stop.

Also, I didn't find a notice when a complete ship was found.

EDIT: Can't do a forward search that should generate a LWSS. Sideways search with 7 question marksalong the bottom also panics.

Code: Select all

| ......... | ......... |
| ......... | ......... |
| ..?????.. | ..?????.. |

Code: Select all

>>> ./rlife llsss 2c4-f2b --rule B3/S23 1.in --filters wcaf 0 0 0   
thread 'main' panicked at src/lat/geom.rs:419:20:
no entry found for key
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

[Sokwe]

Can't do a forward search that should generate a LWSS. Sideways search with 7 question marksalong the bottom also panics.

Code: Select all

| ......... | ......... |
| ......... | ......... |
| ..?????.. | ..?????.. |

Code: Select all

>>> ./rlife llsss 2c4-f2b --rule B3/S23 1.in --filters wcaf 0 0 0   
thread 'main' panicked at src/lat/geom.rs:419:20:
no entry found for key
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

For a 2c/4 f2b search, 1.in should look like this:

Code: Select all

|           |           | ......... | ......... |
| ......... | ......... | ......... | ......... |
| ......... | ......... | ..?????.. | ..?????.. |
| ..?????.. | ..?????.. |           |           |

I'm having an issue of my own: I'm having trouble setting up a simple recentering s2s search (e.g., c/3o or 2c/4o) with no starting partial. My only goal is to find some spaceships in Life-like CA.

[LaundryPizza03]

Can't do a forward search that should generate a LWSS. Sideways search with 7 question marksalong the bottom also panics.

Code: Select all

| ......... | ......... |
| ......... | ......... |
| ..?????.. | ..?????.. |

Code: Select all

>>> ./rlife llsss 2c4-f2b --rule B3/S23 1.in --filters wcaf 0 0 0   
thread 'main' panicked at src/lat/geom.rs:419:20:
no entry found for key
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

For a 2c/4 f2b search, 1.in should look like this:

Code: Select all

|           |           | ......... | ......... |
| ......... | ......... | ......... | ......... |
| ......... | ......... | ..?????.. | ..?????.. |
| ..?????.. | ..?????.. |           |           |

I'm having an issue of my own: I'm having trouble setting up a simple recentering s2s search (e.g., c/3o or 2c/4o) with no starting partial. My only goal is to find some spaceships in Life-like CA.

Thanks, the keyword is "End ("LlsssEndsZero"):"

Code: Select all

<...>
20240902 02:57:16 [INFO] Memory: total 8.91 KB (ss.old_gens 464 B, ss.cur_gen 1.58 KB, bcols 2.67 KB, cols 4.20 KB)
20240902 02:57:17 [INFO] End ("LlsssEndsZero"):
20240902 02:57:17 [INFO] |           |           | ......... | ......... |
20240902 02:57:17 [INFO] | ......... | ......... | ......... | ......... |
20240902 02:57:17 [INFO] | ......... | ......... | ....*.... | ...***... |
20240902 02:57:17 [INFO] | ....*.... | ...***... | ...***... | ...*..*.. |
20240902 02:57:17 [INFO] | ...***... | ..*..*... | ...*.**.. | ...*..... |
20240902 02:57:17 [INFO] | ..**.*... | .....*... | ....***.. | ...*..... |
20240902 02:57:17 [INFO] | ..***.... | .....*... | ....**... | ....*.*.. |
20240902 02:57:17 [INFO] | ...**.... | ..*.*.... | ......... | ......... |
20240902 02:57:17 [INFO] | ......... | ......... | ......... | ......... |
20240902 02:57:17 [INFO] | ......... | ......... |           |           |
20240902 02:57:17 [INFO] End ("LlsssEndsZero"):
20240902 02:57:17 [INFO] |           |           | ......... | ......... |
20240902 02:57:17 [INFO] | ......... | ......... | ......... | ......... |
20240902 02:57:17 [INFO] | ......... | ......... | ....*.... | ...***... |
20240902 02:57:17 [INFO] | ....*.... | ...***... | ...***... | ..*..*... |
20240902 02:57:17 [INFO] | ...***... | ...*..*.. | ..**.*... | .....*... |
20240902 02:57:17 [INFO] | ...*.**.. | ...*..... | ..***.... | .....*... |
20240902 02:57:17 [INFO] | ....***.. | ...*..... | ...**.... | ..*.*.... |
20240902 02:57:17 [INFO] | ....**... | ....*.*.. | ......... | ......... |
20240902 02:57:17 [INFO] | ......... | ......... | ......... | ......... |
20240902 02:57:17 [INFO] | ......... | ......... |           |           |
20240902 02:57:17 [DEBUG] Completed w_pos 17[1]: 8.91 KB [+40.38%], 1.803324226s [-31.78%]
<...>

[LaundryPizza03]

I think B0 doesn't work properly.

Code: Select all

./rlife llsss c2-f2b --rule B025/S125 1.in --filters wcaf 0 0 0

Code: Select all

| .......................... | ************************** |
| .......................... | ************************** |
| .......................... | ************************** |
| ...????????????????????... | ***????????????????????*** |

rlife_B0_run.txt

1030 lines, total execution time 18.857171071s

(119.91 KiB) Downloaded 62 times

rlifesrc, by comparison, yields decent partials for this search:

Code: Select all

x = 62, y = 20, rule = B025/S125
22bob2obo4b2o3b2o20b2o$22bo3b2o4bo3bo2bo4b2obob4obo4b2o$20b3o3b2o2bo5b
2o6bo3bo7b2o$20b2o2b2o3b2o3bo2bo3b2obob2ob2o5bo2b2o$25b2o3b2obobo2b2o
3bobob4o6bobo$25bo3b2o3bobo3b2o2bobo5b2o3bobo$21b2o2b3o9bo3b2ob3obo10b
o$20b3o3bo3b4o4b4obo2bobo3bo2bo2bo$8bob3obo6b3o2bob3o2bo3b2ob3o3b4obob
2obobobo$2bob2obo5bobo3b5o7b5o3bo6bobobob2o2b2obobo$2bo5bo6bo2b8o3bobo
3bob3o3b4o4bo2bo2bo3bo$6ob2obobob2o2b6ob4o11b3obob2o3b2o2bobob3o$2o4b
2o5bobo3b6o6bo3bo6b2o2b2o3bob2ob5o$6b3obo3bo4b4obobo2bo5b3ob2o3bo2bo2b
2o3bo3bo$6b2obobo4bob7o3bo5b2obo2bobob2obobobo8bo$2o4b2o3b3o2bo8bo4bo
2b3o4b2o5bobobobo2bobobo$6obo2b2o3bob2o4b2o2b2obo3bo3b2obo7b3obob2o4bo
$2bo5b2o2bo23bobobob2o8b3o2b3obo$2bob2obo2bo2bo22b2o13bo8bo$8bob2obo
38b3ob2o!

[amling]

I think B0 doesn't work properly.

By default LLSSS extends the sides of the pattern ("edges") with your picture (where there is one anyway) and when it falls off the end of that grid, with zeros. For a search in an agar (as is required for all B0 searches) you're going to want to tell it to extend the edges differently, e.g. by repeating the cycle of W rows. In this case I believe the agar cycle is 2 W rows long (in c2-f2b geometry W=T and so this amounts to saying the agar is p2) and I believe the search you intend can be run with `--left-edge cycle:2 --right-edge cycle:2`. If you had a more interesting start with a non-agar section of edge you could do `pic:cycle:2` for "my picture but then last 2 W rows cycled after that".

I should also note that this search is not exhaustive for this width as it is forced to have its first disagreement with the agar in an off generation. WCAF parameters can be mucked with to make it allow changes in either the first or the second row or you could just also run the other search with a complementary input file (swap periods and asterisks). These phasing issues make WAO and WCAF searches for nonzero starts (wicks, waves, agar backgrounds, etc.) particularly tricky.

[amling]

I'm having an issue of my own: I'm having trouble setting up a simple recentering s2s search (e.g., c/3o or 2c/4o) with no starting partial. My only goal is to find some spaceships in Life-like CA.

For "no starting partial" you've got two choices: WCAF and WAO. I'm gonna sketch inputs and commands for 2c/4 and assume you can work out c/3 from that.



For WCAF an input file like:

Code: Select all

|  ZZZ |  ZZZ | ZZZ  | ZZZ  |
|  ... |  ... | ...  | ...  |
|  ... |  ... | ...  | ...  |

Can be run like:

Code: Select all

rlife llsss-recentering 2c4-s2s --rule 'B2/S' 2c4-wcaf.in --filters wcaf 10

Most of the search should look familiar for recentering, it's just the new `--filters wcaf` that will strip the search as it goes of parts which it can prove are not used in any partial which is non-looped (non-zero) in the first W row.



For WAO an input file like:

Code: Select all

|  ZZZ |  ZZZ | ZZZ  | ZZZ  |
|  ... |  ... | ...  | ...  |
|  ... |  ... | ...  | ...  |
|  ... |  ... | ...  | ...  |

Can be run like:

Code: Select all

rlife llsss-recentering-wao 2c4-s2s --rule 'B2/S' 2c4-wao.in 00 --wao-left-pad 00 --wao-right-pad 00 --wao-idx ALL 10

Note the extra W row in the input file (to specify what not to match in the first W row of the search that replaces it). Other arguments that differ from normal recentering:

(*) `00` "top pad" after input file. How many W rows to strip from input file bottom, analogous to "top pad" in other searches. I used to use it to run a bunch of differently-phased searches from the same extra-long input file but with improved editor skills and/or grid-tool I always generate separate input files these days and I have actually removed this argument as of current `master` (or rather made it default 0 and behind an explicit `--top-pad`).

(*) `--wao-left-pad 00 --wao-right-pad 00`. These influence the windows WAO uses to decide "where" the first error went. They default to 1. The bigger they are the more context is considered and the bigger the total search therefore is, but the more WAO indexes there thus are and so the more splittable the search is. For a search like this there is only one index no matter what so extra context and bigger search is strictly a waste.

(*) `--wao-idx ALL`. Equivalent here to `--wao-idx 00` since there is just the one. By habit I run `ALL` unless I'm specifically going to dump out the number and carefully run distinct searches.



Either way you might consider adding `odd`, and `even` to ends to get any symmetric results earlier. For 2c/4 you might also consider `pd_lite:2` or the like (as c/2 is often more solvable), although it's likely gonna have a bunch of useless hits at the beginning, especially if serious c/2 s2s partials exist. E.g. `--ends zero,odd,even,pd_lite:2`. For 2c/4 you might also consider gse/gso ends but I realize they are not yet available without a recompile. I will go add them and you can decide between maybe finding such results earlier and having to wait for a recompile.



EDIT: "gso" and "gse" ends added in `075a0cef5010` and just pushed to codeberg. If you're going to update take care to remove the "00" top pad above.

[LaundryPizza03]

I think B0 doesn't work properly.

By default LLSSS extends the sides of the pattern ("edges") with your picture (where there is one anyway) and when it falls off the end of that grid, with zeros. For a search in an agar (as is required for all B0 searches) you're going to want to tell it to extend the edges differently, e.g. by repeating the cycle of W rows. In this case I believe the agar cycle is 2 W rows long (in c2-f2b geometry W=T and so this amounts to saying the agar is p2) and I believe the search you intend can be run with `--left-edge cycle:2 --right-edge cycle:2`. If you had a more interesting start with a non-agar section of edge you could do `pic:cycle:2` for "my picture but then last 2 W rows cycled after that".

I should also note that this search is not exhaustive for this width as it is forced to have its first disagreement with the agar in an off generation. WCAF parameters can be mucked with to make it allow changes in either the first or the second row or you could just also run the other search with a complementary input file (swap periods and asterisks). These phasing issues make WAO and WCAF searches for nonzero starts (wicks, waves, agar backgrounds, etc.) particularly tricky.

That didn't stop the search when the search space was exhausted with nonempty front row. I want to ensure that the first row of question marks is nonempty in generation 0.

Code: Select all

./rlife llsss c2-f2b --rule B025/S125 2.in --left-edge cycle:2 --right-edge cycle:2 --filters wcaf 0 0 0

Code: Select all

| .................. | ****************** |
| .................. | ****************** |
| ..??????????????.. | **??????????????** |

[amling]

That didn't stop the search when the search space was exhausted with nonempty front row. I want to ensure that the first row of question marks is nonempty in generation 0.

Code: Select all

./rlife llsss c2-f2b --rule B025/S125 2.in --left-edge cycle:2 --right-edge cycle:2 --filters wcaf 0 0 0

Code: Select all

| .................. | ****************** |
| .................. | ****************** |
| ..??????????????.. | **??????????????** |

Oh shoot, that's true and "wcaf" is not doing the right thing. "wcaf" here is short for "wcaf:1:4:5" which is pruning spines where the [4, 5) W rows (i.e. just 4, i.e. "the fifth") all match 1 W row back. As this agar has W period 2 we want "wcaf:2:4:5" which "wcaf:2" is also short for. Run with "--filters wcaf:2" instead this input file stops immediately (and based on unlimited WAO searches I believe no c/2 pattern can actually start in this phase). With "wcaf:2" instead the complementary input file (with periods and asterisks switched) does something more sensible (finds middling length partials but eventually stops).

[Sokwe]

For WAO an input file like:

Code: Select all

|  ZZZ |  ZZZ | ZZZ  | ZZZ  |
|  ... |  ... | ...  | ...  |
|  ... |  ... | ...  | ...  |
|  ... |  ... | ...  | ...  |

Can be run like:

Code: Select all

rlife llsss-recentering-wao 2c4-s2s --rule 'B2/S' 2c4-wao.in 00 --wao-left-pad 00 --wao-right-pad 00 --wao-idx ALL 10

With these inputs it returns the following error message:

Code: Select all

error: unexpected argument '10' found

Usage: rlife llsss-recentering-wao [OPTIONS] <GEOM> <START_FILE> <MID_STEPS>

For more information, try '--help'.

Edit: The WCAF version seems to work (at least it doesn't error out), but many of the random partials have several rows of empty lines. For example, here is a partial from a c/3 s2s search in B3/S1235678:

Code: Select all

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

The shortest partial is always just empty rows:

Code: Select all

Shortest partial:
| .. | .. | .. |
| .. | .. | .. |
| .. | .. | .. |
| .. | .. | .. |
| .. | .. | .. |
| .. | .. | .. |
| .. | .. | .. |
| .. | .. | .. |
| .. | .. | .. |
| .. | .. | .. |
| .. | .. | .. |
| .. | .. | .. |
| .. | .. | .. |
| .. | .. | .. |
| .. | .. | .. |
| .. | .. | .. |
| .. | .. | .. |

Is this intended or expected behavior? I'm concerned that it might be causing inefficiency in the search.

Input was the following:

Code: Select all

| ZZZ | ZZZ | ZZZ |
| ... | ... | ... |
| ... | ... | ... |

Code: Select all

rlife llsss-recentering c3-s2s --rule 'B3/S1235678' c3-wcaf.in --ends zero,odd,even --filters wcaf 17

[amling]

For WAO an input file like:

Code: Select all

|  ZZZ |  ZZZ | ZZZ  | ZZZ  |
|  ... |  ... | ...  | ...  |
|  ... |  ... | ...  | ...  |
|  ... |  ... | ...  | ...  |

Can be run like:

Code: Select all

rlife llsss-recentering-wao 2c4-s2s --rule 'B2/S' 2c4-wao.in 00 --wao-left-pad 00 --wao-right-pad 00 --wao-idx ALL 10

With these inputs it returns the following error message:

Code: Select all

error: unexpected argument '10' found

Usage: rlife llsss-recentering-wao [OPTIONS] <GEOM> <START_FILE> <MID_STEPS>

For more information, try '--help'.

Is this a version more recent than the removal of the mandatory "top pad" argument? The clap usage suggests it is in which case you should remove the "00" after the input file (I did say this somewhere above but I know I said quite a bit). I know this sort of breaking change in arguments sucks and is confusing but I've been running with nothing but 00 for months and months now and it seemed silly to continue.

Edit: The WCAF version seems to work (at least it doesn't error out), but many of the random partials have several rows of empty lines. For example, here is a partial from a c/3 s2s search in B3/S1235678:

Code: Select all

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

The shortest partial is always just empty rows:

Code: Select all

Shortest partial:
| .. | .. | .. |
| .. | .. | .. |
| .. | .. | .. |
| .. | .. | .. |
| .. | .. | .. |
| .. | .. | .. |
| .. | .. | .. |
| .. | .. | .. |
| .. | .. | .. |
| .. | .. | .. |
| .. | .. | .. |
| .. | .. | .. |
| .. | .. | .. |
| .. | .. | .. |
| .. | .. | .. |
| .. | .. | .. |
| .. | .. | .. |

Is this intended or expected behavior? I'm concerned that it might be causing inefficiency in the search.

Input was the following:

Code: Select all

| ZZZ | ZZZ | ZZZ |
| ... | ... | ... |
| ... | ... | ... |

Code: Select all

rlife llsss-recentering c3-s2s --rule 'B3/S1235678' c3-wcaf.in --ends zero,odd,even --filters wcaf 17

I may look more closely at this when I'm not running benchmarking that I don't want to disturb, but it is likely a known issue with WCAF. Namely, that while WCAF removes vertical strips of state ("spines") that are not usable in what it considers an interesting partial, neither partial display ("shortest" or "random") knows anything about that and so can still construct partials that have all zeros first rows. In fixed board searches sometimes eventually all possible partials will have a nonzero first row but for a recentering search like this the all zero spine is always going to remain in the state.

Your experience and taste may vary, but if I am investigating a speed/rule combo and hope for a quick/lucky positive result I will usually use recentering WAO and if I like some partials maybe some other search type to extend/solve them. In WAO searches there are bits of invisible state at the top of each spine that force every valid partial to contain a nonzero ("wrong answer") in the first row and so at a minimum these partials are less confusing.

EDIT: I dug up another computer to run on and have run the above through mid_steps=16 which all terminated. 17 is still running, but I find it plausible to believe that the only problem here is the known issue of partials displays knowing nothing about filters.

I know these partials starting with zero seem to suggest inefficiency but I believe they're all equally eligible to be present in the equivalent WAO search. In fact, in WAO searches, each bcol entry is possible/likely to be present twice due to distinct values of those invisible roots so in a sense the WAO searches are less efficient. Unfortunately there is also a problem of l2r/r2l expansion order being influenced by exact col sizes and then influencing what can be found and so either (WCAF/WAO) could have bits the other does not due to a difference of expansion order. This same problem (expansion order affecting what can be found) has plagued me from day one and is responsible for one of the worst debugging events I have ever endured, trying to figure out why a search I had run found several iterations of a cycle but then terminated (not finding the next one). Also unfortunately I have absolutely nothing even resembling a working idea about how to limit searches to exactly what we think of a given number of mid_steps as representing rather than the slightly funky upper bound currently implemented.

EDIT2: I ran a few more searches to compare WAO and WCAF for the same mid_steps and WAO searches generally got somewhat less deep. A possible explanation is that due to mismatching roots there may be places where WCAF considers two vertical strips the same and finds more results where WAO would not. I'm not particularly worried about a correctness bug as there are many reasons why the searches are not exactly equal anyway. I guess I would suggest running them both to get a taste and searching with whichever one you like better.

For me WAO has a lot to recommend it: it's more battle-tested (WCAF was not available for recentering originally), partials displays are better, it works for cycles that are not aligned (e.g. slanted wicks or waves), and it can break searches up by "WAO index" (i.e. where they first mismatch the cycle) to force actually engaging the prompt. It's hard to want to do a bunch of troublesome benchmarking to figure out if WCAF is faster (and faster enough) per depth reached to switch to it on projects that could use it instead.

[amling]

That didn't stop the search when the search space was exhausted with nonempty front row. I want to ensure that the first row of question marks is nonempty in generation 0.

Code: Select all

./rlife llsss c2-f2b --rule B025/S125 2.in --left-edge cycle:2 --right-edge cycle:2 --filters wcaf 0 0 0

Code: Select all

| .................. | ****************** |
| .................. | ****************** |
| ..??????????????.. | **??????????????** |

Oh shoot, that's true and "wcaf" is not doing the right thing. "wcaf" here is short for "wcaf:1:4:5" which is pruning spines where the [4, 5) W rows (i.e. just 4, i.e. "the fifth") all match 1 W row back. As this agar has W period 2 we want "wcaf:2:4:5" which "wcaf:2" is also short for. Run with "--filters wcaf:2" instead this input file stops immediately (and based on unlimited WAO searches I believe no c/2 pattern can actually start in this phase). With "wcaf:2" instead the complementary input file (with periods and asterisks switched) does something more sensible (finds middling length partials but eventually stops).

I've also just realized that the default `--end zero` is not going to do anything useful here. See a previous post about strobing rules and almost certainly add `--ends s_periodic:0:0:2`. If you end up buried in p2 wickerstretchers (and you don't like that), come back here and we can get you set up with the "nfa" ends to find proper ships.

[amling]

So many weeks of searching on the 1TB machine with nothing to show for it...

The problem I'm getting destroyed by is that nearly all search lines are dying by reaching 2^32 entries in a bcol and then I have to stop and rerun them with BIDX=usize which takes up twice as much memory and so they end quickly anyway. I have finally sketched a version of the code that has some form of abstraction for col storage and so can switch (at compile time) between old BIDX=u32, old BIDX=usize, and a new fancier storage that will store in u32s but then will pack any overflown bits separately (so if the bcol requires e.g. 34 bit indices then you get one u32 plus 2/64 of a u64 to store each).

Among the problems with this are: I'm worried the abstraction will cost something, I'm worried the new implementation has bugs (it's very hard to test, what with needing >2^32 size bcol to give it a real battle test), I'm worried the new implementation will be slow even ignoring abstraction cost, etc. It's abstracted over the size of the "lower" bits which will be u32 in real use but I did give it some decent testing (for correctness) with u8 and u16 lower bits. I'm still worried there could be a bug that somehow only happens for u32 lower bits but of course I cannot actually imagine/find it. I'm just now starting some benchmark and proper testing searches (which may reach 2^32 size bcols) on the 1 TB machine and we'll see how it goes.

After a wild amount of benchmarking, guesswork, and optimization I think I understand some of the differences and might have this close to under control. The benchmarking is just too high-variance to be as certain as I'd like, but I believe the abstraction performance loss and jcol v2 performance loss (for "small" searches where it isn't packing overflow bits) have both been reduced to something much, much lower (than the +15-20% or so each of them had been originally), at least for typical searches, at least in the long run, at least on average, at least on the machine I was doing all my benchmarking on (the new one). I am hesitant to even try to put numbers on it, but both are now close enough that I have even seen many searches come out the other way (abstracted beating unabstracted or jcol v2 beating full u32 jcols) which is presumably just variance dominating signal. Of course once jcol v2 switches to packing overflow bits performance is going to get worse but that's expected and acceptable.

I think I am convinced enough to accept it after running one final test which will probably take a week or two: running a giant, giant seeds 3c/5 search with both old unabstracted BIDX=usize and the new jcol v2. Assuming all the intermediate numbers match and the times are anything short of awful I will ship it, probably gated behind a compile-time environment variable so default builds will still get the old "full u32" behavior.

I will certainly post more details when/if I ship it, although I assume I'm gonna be the only one enabling it, at least until Moore's law catches up.

[amling]

I think I am convinced enough to accept it after running one final test which will probably take a week or two: running a giant, giant seeds 3c/5 search with both old unabstracted BIDX=usize and the new jcol v2. Assuming all the intermediate numbers match and the times are anything short of awful I will ship it, probably gated behind a compile-time environment variable so default builds will still get the old "full u32" behavior.

I will certainly post more details when/if I ship it, although I assume I'm gonna be the only one enabling it, at least until Moore's law catches up.

Intermediate numbers do all match so I'm shipping this. The final testing run was 3c/5 asymmetric WAO from zeros with mid_steps=56. The jcol v2 run took 3.9 days and 327 GB memory. At that peak it was at one bit overflow as it had indicated earlier by:

Code: Select all

20240911 08:00:46 [WARNING] JcolV2 high bits reached 1 (for max_n=4306651038)

When it is using overflow bits it will report separate "high_bits" and "low_bits" parts of memory and you can really see the savings e.g. "col.high_bits 2.89 GB, col.low_bits 92.37 GB" at peak which would have been 2x92.37 GB instead with BIDX=usize.

By default builds will still get `JcolFull<u32>` which is the old behavior (but abstracted). Setting environment variable `LLSSS_JCOL_V2=true` will get `JcolV2<u32>` instead although there is little reason to do this unless you have a lot of memory or a very, very weird search.

Hopefully with this I'll be able to get back to a more regular regimen of running searches.

[confocaloid]

Could your software harness answer whether there are any period-2 orthogonal c/2 spaceships in B34ar5in/S2i3-i4-nwz5ceny6cei7e8? A few partials (found using ikpx2) are posted in the forum thread.

Code: Select all

x = 69, y = 122, rule = B34ar5in/S2i3-i4-nwz5ceny6cei7e8
23bo$25o$24bo$26o$26bo$27o$27bo$29o$28bo$30o$30bo$31o$31bo$33o$32bo$
34o$34bo$35o$35bo$37o$36bo$38o$38bo$39o$39bo$41o$40bo$42o$42bo$43o$43b
o$45o$44bo$46o$46bo$47o$47bo$49o$48bo$50o$50bo$51o$51bo$53o$52bo$54o$
54bo$55o$55bo$57o$56bo$58o$58bo$59o$59bo$61o$60bo$62o$62bo$63o$63bo$
65o$64bo$66o$66bo$67o$67bo$69o$67b2o$68o$67bo$67o$66bo$66o$64bo$65o$
63bo$63o$62bo$62o$60bo$61o$59bo$59o$58bo$58o$56bo$57o$55bo$55o$54bo$
54o$52bo$53o$51bo$51o$50bo$50o$48bo$49o$47bo$47o$46bo$46o$44bo$45o$43b
o$43o$42bo$42o$40bo$41o$39bo$39o$38bo$38o$36bo$37o$35bo$35o$34bo$34o!

[amling]

Could your software harness answer whether there are any period-2 orthogonal c/2 spaceships in B34ar5in/S2i3-i4-nwz5ceny6cei7e8? A few partials (found using ikpx2) are posted in the forum thread.

Code: Select all

x = 69, y = 122, rule = B34ar5in/S2i3-i4-nwz5ceny6cei7e8
23bo$25o$24bo$26o$26bo$27o$27bo$29o$28bo$30o$30bo$31o$31bo$33o$32bo$
34o$34bo$35o$35bo$37o$36bo$38o$38bo$39o$39bo$41o$40bo$42o$42bo$43o$43b
o$45o$44bo$46o$46bo$47o$47bo$49o$48bo$50o$50bo$51o$51bo$53o$52bo$54o$
54bo$55o$55bo$57o$56bo$58o$58bo$59o$59bo$61o$60bo$62o$62bo$63o$63bo$
65o$64bo$66o$66bo$67o$67bo$69o$67b2o$68o$67bo$67o$66bo$66o$64bo$65o$
63bo$63o$62bo$62o$60bo$61o$59bo$59o$58bo$58o$56bo$57o$55bo$55o$54bo$
54o$52bo$53o$51bo$51o$50bo$50o$48bo$49o$47bo$47o$46bo$46o$44bo$45o$43b
o$43o$42bo$42o$40bo$41o$39bo$39o$38bo$38o$36bo$37o$35bo$35o$34bo$34o!

The existence of "almost half planes" like that means LLSSS would not be able to rule out c/2 patterns in a normal (c2-f2b) geometry search. I do however agree the partials are suspicious as heck and an arbitrary width search run with geometry "raw:1:0:2:0:-1:2:0:0:1" (c/2 like f2b but with U=X+2T so it slants diagonally) exhaustively shows there are no "almost half planes" at that angle, and thus no finite ships (at least barring bugs). Longest partial:

Code: Select all

x = 93, y = 55, rule = B34ar5in/S2i3-i4-nwz5ceny6cei7e8History
F.B43.F.B43.F$F.2B42.F.2B42.F$F.3B41.F.3B41.F$F.4B40.F.4B40.F$F.5B39.
F.5B39.F$F.6B38.F.6B38.F$F.7B37.F.7B37.F$F.8B36.F.8B36.F$F.9B35.F.9B
35.F$F.10B34.F.10B34.F$F.11B33.F.11B33.F$F.12B32.F.12B32.F$F.13B31.F.
5B2A6B31.F$F2.3B4A6B30.F2.2B6A5B30.F$F3.2ABAB3A5B29.F3.2A3BAB2A4B29.F
$F4.A2BA2B2A5B28.F4.A2BA2B2A5B28.F$F5.AB2A3BA5B27.F5.2B5A6B27.F$F6.A
2BA9B26.F6.3B5A5B26.F$F7.BAB2AB2A5B25.F7.3BA2B2A5B25.F$F8.A2BAB2A6B
24.F8.A2BA3BA5B24.F$F9.2AB3A7B23.F9.A2BA9B23.F$F10.7A6B22.F10.BAB2AB
2A5B22.F$F11.ABA2B2A6B21.F11.A2BAB2A6B21.F$F12.2BA3BA6B20.F12.2AB3A7B
20.F$F13.2BA10B19.F13.7A6B19.F$F14.AB2AB2A6B18.F14.ABA2B2A6B18.F$F15.
2BAB2A7B17.F15.2BA3BA6B17.F$F16.AB3A8B16.F16.2BA10B16.F$F17.6A7B15.F
17.AB2AB2A6B15.F$F18.BA2B2A7B14.F18.2BAB2A7B14.F$F19.BA3BA7B13.F19.AB
3A8B13.F$F20.BA11B12.F20.6A7B12.F$F21.B2AB2A7B11.F21.BA2B2A7B11.F$F
22.BAB2A8B10.F22.BA3BA7B10.F$F23.B3A9B9.F23.BA11B9.F$F24.5A8B8.F24.B
2AB2A7B8.F$F25.A2B2A8B7.F25.BAB2A8B7.F$F26.A3BA8B6.F26.B3A9B6.F$F27.A
12B5.F27.5A8B5.F$F28.2AB2A8B4.F28.A2B2A8B4.F$F29.AB2A9B3.F29.A3BA8B3.
F$F30.3A10B2.F30.A12B2.F$F31.4A9B.F31.2AB2A8B.F$F32.2B2A8B.F32.AB2A8B
.F$F33.3BA7B.F33.B2A8B.F$F34.10B.F34.B3A6B.F$F35.AB2A5B.F35.2B2A5B.F$
F36.B2A5B.F36.3BA4B.F$F37.2A5B.F37.7B.F$F38.B2A3B.F38.B2A3B.F$F39.2A
3B.F39.ABA2B.F$F40.A3B.F40.4B.F$F41.3B.F41.3B.F$F42.2B.F42.2B.F$F43.B
.F43.B.F!

I do generally believe this approach is valid and the code works, it's just always a little weird to see a problem that went poorly in a normal geometry solved so quickly in what is usually a worse one. Similar slanted searches for B3/S23 find what I expect, just more slowly and painfully since the geometry is generally worse.

As a second disproof, plain c2-s2s searches of arbitrary width also fail quickly. Longest partial:

Code: Select all

x = 65, y = 8, rule = B34ar5in/S2i3-i4-nwz5ceny6cei7e8History
F.29B.F.29B.F$F.29B.F.29B.F$F.22B2A5B.F.22B2A5B.F$F.14B2A6B2A5B.F.15B
A5B2A2BA3B.F$F.10B2A2BABA2B2A2B4A2B.F.9B2AB3A2BA2BA3B2A3B.F$F.5B2AB2A
BABAB3A2B2AB2ABA2B.F.5B2A2B2ABA3B2AB3A2BA4B.F$F.2BA2B2ABA6B3ABA2BABA
4B.F.3B2ABAB2A2BA2BA3BAB2A6B.F$F.2BABABA2BABA2BA2B3A3B3A3B.F31.F!

[Sokwe]

I would like to use LLSSS to try to determine if any B23 rules support period-2 c/2 orthogonal ships. To disprove that a rule has such ships, would the following inputs be valid?

Code: Select all

| ZZZ | ZZZ |
| ... | ... |
| ... | ... |
| ... | ... |

Code: Select all

./rlife llsss-recentering-wao c2-s2s c2-s2s.in --wao-left-pad 00 --wao-right-pad 00 --ends zero,odd,even --wao-idx ALL XX --rule <rule>

or

Code: Select all

| ZZZ |     |
| ... | ... |
| ... | ... |
| ... | ... |

Code: Select all

./rlife llsss-recentering-wao c2-b2f c2-b2f.in --wao-left-pad 00 --wao-right-pad 00 --ends zero --wao-idx ALL XX --rule <rule>

They both appear to work, but could I be missing something subtle that would make the results invalid?

an arbitrary width search run with geometry "raw:1:0:2:0:-1:2:0:0:1" (c/2 like f2b but with U=X+2T so it slants diagonally)

Is "raw:1:0:2:0:-1:2:0:0:1" just "raw:U:W:I" where U=1:0:2, W=0:-1:2, and I=0:0:1?

And is this a valid search setup to disprove the existence of c/2o ships?

Code: Select all

| Z   | .   |
| .Z  | ..  |
| ..Z | ... |
| ... | ... |
| ... | ... |
|  .. |  .. |
|   . |   . |

Code: Select all

./rlife llsss-recentering-wao raw:1:0:2:0:-1:2:0:0:1 c2-raw.in --wao-left-pad 00 --wao-right-pad 00 --ends zero --wao-idx ALL XX --rule <rule>

[amling]

I would like to use LLSSS to try to determine if any B23 rules support period-2 c/2 orthogonal ships. To disprove that a rule has such ships, would the following inputs be valid?

...

They ... appear to work, but could I be missing something subtle that would make the results invalid?

All three provided inputs and commands I believe to be correct. If I were unsure of a setup like that I would probably try to run in a rule where there are known results (e.g. S23/B3) and if you have to fewer mid_steps ("XX" is a lot, although even with that you can see partials here which look correct).

The c2-b2f input file is one W row longer than it needs to be although there is no harm for this search. The wacky twisted geometry might or might not be longer than it needs to be but I doubt either of us cares enough to verify. Perhaps I should make a geometry info subcommand to compute U and W overlap sizes...

Is "raw:1:0:2:0:-1:2:0:0:1" just "raw:U:W:I" where U=1:0:2, W=0:-1:2, and I=0:0:1?

Close. The first three specify U in XYT coordinates as you've suggested. The second three specify V (the vector that wraps) and the last three specify W (the direction the search builds in).

The "UWI" in "to-uwi" and "from-uwi" is not quite the same thing. The problem with trying to view a file in UVW coordinates (really it would be UWV as V is the bounded/wrapped one) is that they can be fractions and the valid points (which are integers in XYT) are not necessarily an axis-aligned lattice so it would be very gappy. UWI is much weirder to explain but generally handles well for my horrible grid editing adventures: the first coordinate is the floor of the U coordinate, the second W is the floor of the W coordinate and the third coordinate (which corresponds to T/generation in the usual view) is the build order within a tile (all the fractional UVW values are sorted, by default in WVU order (sorted by fractional W, ties broken by fractional V, ties broken by fractional U)).

And is this a valid search setup to disprove the existence of c/2o ships?

Yep, and that sort of slanted U=X+2T can be great way to eliminate rules with pesky "almost half planes" in simpler geometries.

Perhaps you already know and have left it unsaid, but I think most searches, even exhaustion searches like this, will run better f2b. Consider something like 2c/3 in S23/B3. Run b2f there are endless, endless partials but of course they can never complete. I think even 2c/3 s2s will have endless partials but when you run it f2b it terminates quickly.

I'd probably start with c2-f2b, kicking any rules that aren't eliminated quickly to progressively more desperate geometries (c2-s2s, c2-b2f, etc.) and then if it seems like there are few enough uneliminated stragglers sort through them by hand (searching for positive results or trying to pick more special case geometries like the U=X+2T above).

I am extremely interested to hear how this project goes so please do let us know, especially if you find anything or if you find any difficult to eliminate geometries.

EDIT: I was thinking some more about this and projects like this and thought I should mention LLSSS_MAX_TABLE_SIZE. If you're going to run rules with low time limits (which for 16K rules you might have to) you might want to set it lower to not waste a bunch of time computing larger rule check tables to try to speed up a main search that won't run for long anyway. Of course you should experiment, but I believe 15 will be quite fast (to precompile) and 9 or so would be strictly fastest (limited below by CA neighborhood size, sort of). Either way the effects should be obvious in the logging at the beginning about these tables.

EDIT2: You might also benefit from forcing rayon (the parallelism library) to a single thread and doing your own parallelism over rules. Google says RAYON_NUM_THREADS=1. It's likely we could do even better with actual code changes to run everything on main thread which is an idea I've toyed with allowing at compile time but I couldn't really think of a good way to do it (abstracting/capturing the entire rayon API the code uses is a lot) and it's not something I'd use often. If you try any of this I would definitely benchmark it before committing the project to it.

[Sokwe]

Perhaps you already know and have left it unsaid, but I think most searches, even exhaustion searches like this, will run better f2b. Consider something like 2c/3 in S23/B3. Run b2f there are endless, endless partials but of course they can never complete. I think even 2c/3 s2s will have endless partials but when you run it f2b it terminates quickly.

This is true in most B3 rules, but patterns in B23 rules tend to expand quickly, so viable sides and back ends are rare. In the tests I've done so far, s2s seems to be the most likely to complete, but sometimes a rule that won't complete with s2s will complete with b2f. All f2b searches I tried quickly became bogged down with endless partial results.

The first three specify U in XYT coordinates as you've suggested. The second three specify V (the vector that wraps) and the last three specify W (the direction the search builds in).

The "UWI" in "to-uwi" and "from-uwi" is not quite the same thing. The problem with trying to view a file in UVW coordinates (really it would be UWV as V is the bounded/wrapped one) is that they can be fractions and the valid points (which are integers in XYT) are not necessarily an axis-aligned lattice so it would be very gappy. UWI is much weirder to explain but generally handles well for my horrible grid editing adventures: the first coordinate is the floor of the U coordinate, the second W is the floor of the W coordinate and the third coordinate (which corresponds to T/generation in the usual view) is the build order within a tile (all the fractional UVW values are sorted, by default in WVU order (sorted by fractional W, ties broken by fractional V, ties broken by fractional U)).

Thanks. I must admit that the UVW stuff is probably the hardest part for me to understand. The slanted example you posted above won't be useful in this case, because it's f2b-like. A slanted b2f-like search would be more useful. I think in this case it's enough to flip W to go in the opposite direction (?) with "raw:1:0:2:0:-1:2:0:0:-1". Then the search setup is

Code: Select all

|     | .   |
| .   | ..  |
| ..  | ... |
| ... | ... |
| ... | ... |
| Z.. |  .. |
|  Z. |   . |
|   Z |     |

Code: Select all

./rlife llsss-recentering-wao raw:1:0:2:0:-1:2:0:0:-1 c2-slant-geo.in --wao-left-pad 00 --wao-right-pad 00 --ends zero --wao-idx ALL XX --rule <rule>

As an example, the above input completes for B2356/S46, which I was unable to complete with f2b, s2s, b2f, or your earlier f2b-like slanted geometry.

[amling]

...will run better f2b...

This is true in most B3 rules, but patterns in B23 rules tend to expand quickly, so viable sides and back ends are rare. In the tests I've done so far, s2s seems to be the most likely to complete, but sometimes a rule that won't complete with s2s will complete with b2f. All f2b searches I tried quickly became bogged down with endless partial results.

Of course speculation is no substitute for empiricism and it sounds like you are very much on top of it. I guess it makes a kind of sense that B2 searches might have more trouble dying at their backs than spawning at their fronts.

The slanted example you posted above won't be useful in this case, because it's f2b-like. A slanted b2f-like search would be more useful. I think in this case it's enough to flip W to go in the opposite direction (?) with "raw:1:0:2:0:-1:2:0:0:-1". Then the search setup is

Code: Select all

|     | .   |
| .   | ..  |
| ..  | ... |
| ... | ... |
| ... | ... |
| Z.. |  .. |
|  Z. |   . |
|   Z |     |

Code: Select all

./rlife llsss-recentering-wao raw:1:0:2:0:-1:2:0:0:-1 c2-slant-geo.in --wao-left-pad 00 --wao-right-pad 00 --ends zero --wao-idx ALL XX --rule <rule>

As an example, the above input completes for B2356/S46, which I was unable to complete with f2b, s2s, b2f, or your earlier f2b-like slanted geometry.

How interesting! That setup is fine and does as you suggest, although I usually try to keep U "X-like" (as you have) and W "Y-like" (not so much). The former helps keep "left", which really means "lesser U values", on the left side of the screen while the latter helps keep "down", which really means "greater W values", on the bottom side of the screen. I would probably have run "raw:1:0:2:0:1:2:0:0:-1" instead which is just flipping all the Y values. Looking at the partials from b2f searches in this rule, I think the pyramid slope is extremely shallow and in my testing just now, even a weaker slant like "raw:1:0:1:0:1:2:0:0:-1" terminates immediately.

[Sokwe]

I completed the search and seem to have proven that there are no period-2 c/2 orthogonal ships in Life-like rules with B23 and without B0.

I was thinking some more about this and projects like this and thought I should mention LLSSS_MAX_TABLE_SIZE. If you're going to run rules with low time limits (which for 16K rules you might have to) you might want to set it lower to not waste a bunch of time computing larger rule check tables to try to speed up a main search that won't run for long anyway.

Fortunately, there are only 7936 rules in this space that could potentially support spaceships (any rule with B23 and S0 and without B0 does not have spaceships, eliminating half of the 16k rules). I tried without setting LLSSS_MAX_TABLE_SIZE, and it took a while, but not too terribly long. I might look into this if I do more of these sweeps where I don't expect to find anything.

Edit: would there be any negative consequences to setting LLSSS_MAX_TABLE_SIZE?

I think the pyramid slope is extremely shallow and in my testing just now, even a weaker slant like "raw:1:0:1:0:1:2:0:0:-1" terminates immediately.

This was very helpful, as it worked even better than the previous slanted search. This search covered the first 5892 rules in my rule list, but got snagged on B2367/S13. I then switched to s2s, which completed the remaining 2044 rules. If anyone wishes to replicate this result, I used the following simple bash scripts:

Code: Select all

#!/bin/bash
while IFS= read -r rule; do
   echo "Rule: $rule"
   ./rlife llsss-recentering-wao raw:1:0:1:0:1:2:0:0:-1 --rule $rule c2-slanted.in --wao-left-pad 00 --wao-right-pad 00 --ends zero --wao-idx ALL XX;
done < B23-rules-slanted.txt

and

Code: Select all

#!/bin/bash
while IFS= read -r rule; do
   echo "Rule: $rule"
   ./rlife llsss-recentering-wao c2-s2s --rule $rule c2-s2s.in --wao-left-pad 00 --wao-right-pad 00 --ends zero --wao-idx ALL XX;
done < B23-rules-s2s.txt

with the following files included in the same folder:

c2-slanted.in:

Code: Select all

|   Z |     |
| Z.. |  Z. |
| ... | ... |
| ... | ... |
| ... | ... |
| ..  | ... |
|     | .   |

c2-s2s.in:

Code: Select all

| ZZZ | ZZZ |
| ... | ... |
| ... | ... |
| ... | ... |

B23-rules-slanted.txt:

Code: Select all

B23/S
B238/S
B2378/S
B237/S
B2367/S
B23678/S
B2368/S
B236/S
B2356/S
B23568/S
B235678/S
B23567/S
B2357/S
B23578/S
B2358/S
B235/S
B2345/S
B23458/S
B234578/S
B23457/S
B234567/S
B2345678/S
B234568/S
B23456/S
B2346/S
B23468/S
B234678/S
B23467/S
B2347/S
B23478/S
B2348/S
B234/S
B23/S8
B238/S8
B2378/S8
B237/S8
B2367/S8
B23678/S8
B2368/S8
B236/S8
B2356/S8
B23568/S8
B235678/S8
B23567/S8
B2357/S8
B23578/S8
B2358/S8
B235/S8
B2345/S8
B23458/S8
B234578/S8
B23457/S8
B234567/S8
B2345678/S8
B234568/S8
B23456/S8
B2346/S8
B23468/S8
B234678/S8
B23467/S8
B2347/S8
B23478/S8
B2348/S8
B234/S8
B23/S78
B238/S78
B2378/S78
B237/S78
B2367/S78
B23678/S78
B2368/S78
B236/S78
B2356/S78
B23568/S78
B235678/S78
B23567/S78
B2357/S78
B23578/S78
B2358/S78
B235/S78
B2345/S78
B23458/S78
B234578/S78
B23457/S78
B234567/S78
B2345678/S78
B234568/S78
B23456/S78
B2346/S78
B23468/S78
B234678/S78
B23467/S78
B2347/S78
B23478/S78
B2348/S78
B234/S78
B23/S7
B238/S7
B2378/S7
B237/S7
B2367/S7
B23678/S7
B2368/S7
B236/S7
B2356/S7
B23568/S7
B235678/S7
B23567/S7
B2357/S7
B23578/S7
B2358/S7
B235/S7
B2345/S7
B23458/S7
B234578/S7
B23457/S7
B234567/S7
B2345678/S7
B234568/S7
B23456/S7
B2346/S7
B23468/S7
B234678/S7
B23467/S7
B2347/S7
B23478/S7
B2348/S7
B234/S7
B23/S67
B238/S67
B2378/S67
B237/S67
B2367/S67
B23678/S67
B2368/S67
B236/S67
B2356/S67
B23568/S67
B235678/S67
B23567/S67
B2357/S67
B23578/S67
B2358/S67
B235/S67
B2345/S67
B23458/S67
B234578/S67
B23457/S67
B234567/S67
B2345678/S67
B234568/S67
B23456/S67
B2346/S67
B23468/S67
B234678/S67
B23467/S67
B2347/S67
B23478/S67
B2348/S67
B234/S67
B23/S678
B238/S678
B2378/S678
B237/S678
B2367/S678
B23678/S678
B2368/S678
B236/S678
B2356/S678
B23568/S678
B235678/S678
B23567/S678
B2357/S678
B23578/S678
B2358/S678
B235/S678
B2345/S678
B23458/S678
B234578/S678
B23457/S678
B234567/S678
B2345678/S678
B234568/S678
B23456/S678
B2346/S678
B23468/S678
B234678/S678
B23467/S678
B2347/S678
B23478/S678
B2348/S678
B234/S678
B23/S68
B238/S68
B2378/S68
B237/S68
B2367/S68
B23678/S68
B2368/S68
B236/S68
B2356/S68
B23568/S68
B235678/S68
B23567/S68
B2357/S68
B23578/S68
B2358/S68
B235/S68
B2345/S68
B23458/S68
B234578/S68
B23457/S68
B234567/S68
B2345678/S68
B234568/S68
B23456/S68
B2346/S68
B23468/S68
B234678/S68
B23467/S68
B2347/S68
B23478/S68
B2348/S68
B234/S68
B23/S6
B238/S6
B2378/S6
B237/S6
B2367/S6
B23678/S6
B2368/S6
B236/S6
B2356/S6
B23568/S6
B235678/S6
B23567/S6
B2357/S6
B23578/S6
B2358/S6
B235/S6
B2345/S6
B23458/S6
B234578/S6
B23457/S6
B234567/S6
B2345678/S6
B234568/S6
B23456/S6
B2346/S6
B23468/S6
B234678/S6
B23467/S6
B2347/S6
B23478/S6
B2348/S6
B234/S6
B23/S56
B238/S56
B2378/S56
B237/S56
B2367/S56
B23678/S56
B2368/S56
B236/S56
B2356/S56
B23568/S56
B235678/S56
B23567/S56
B2357/S56
B23578/S56
B2358/S56
B235/S56
B2345/S56
B23458/S56
B234578/S56
B23457/S56
B234567/S56
B2345678/S56
B234568/S56
B23456/S56
B2346/S56
B23468/S56
B234678/S56
B23467/S56
B2347/S56
B23478/S56
B2348/S56
B234/S56
B23/S568
B238/S568
B2378/S568
B237/S568
B2367/S568
B23678/S568
B2368/S568
B236/S568
B2356/S568
B23568/S568
B235678/S568
B23567/S568
B2357/S568
B23578/S568
B2358/S568
B235/S568
B2345/S568
B23458/S568
B234578/S568
B23457/S568
B234567/S568
B2345678/S568
B234568/S568
B23456/S568
B2346/S568
B23468/S568
B234678/S568
B23467/S568
B2347/S568
B23478/S568
B2348/S568
B234/S568
B23/S5678
B238/S5678
B2378/S5678
B237/S5678
B2367/S5678
B23678/S5678
B2368/S5678
B236/S5678
B2356/S5678
B23568/S5678
B235678/S5678
B23567/S5678
B2357/S5678
B23578/S5678
B2358/S5678
B235/S5678
B2345/S5678
B23458/S5678
B234578/S5678
B23457/S5678
B234567/S5678
B2345678/S5678
B234568/S5678
B23456/S5678
B2346/S5678
B23468/S5678
B234678/S5678
B23467/S5678
B2347/S5678
B23478/S5678
B2348/S5678
B234/S5678
B23/S567
B238/S567
B2378/S567
B237/S567
B2367/S567
B23678/S567
B2368/S567
B236/S567
B2356/S567
B23568/S567
B235678/S567
B23567/S567
B2357/S567
B23578/S567
B2358/S567
B235/S567
B2345/S567
B23458/S567
B234578/S567
B23457/S567
B234567/S567
B2345678/S567
B234568/S567
B23456/S567
B2346/S567
B23468/S567
B234678/S567
B23467/S567
B2347/S567
B23478/S567
B2348/S567
B234/S567
B23/S57
B238/S57
B2378/S57
B237/S57
B2367/S57
B23678/S57
B2368/S57
B236/S57
B2356/S57
B23568/S57
B235678/S57
B23567/S57
B2357/S57
B23578/S57
B2358/S57
B235/S57
B2345/S57
B23458/S57
B234578/S57
B23457/S57
B234567/S57
B2345678/S57
B234568/S57
B23456/S57
B2346/S57
B23468/S57
B234678/S57
B23467/S57
B2347/S57
B23478/S57
B2348/S57
B234/S57
B23/S578
B238/S578
B2378/S578
B237/S578
B2367/S578
B23678/S578
B2368/S578
B236/S578
B2356/S578
B23568/S578
B235678/S578
B23567/S578
B2357/S578
B23578/S578
B2358/S578
B235/S578
B2345/S578
B23458/S578
B234578/S578
B23457/S578
B234567/S578
B2345678/S578
B234568/S578
B23456/S578
B2346/S578
B23468/S578
B234678/S578
B23467/S578
B2347/S578
B23478/S578
B2348/S578
B234/S578
B23/S58
B238/S58
B2378/S58
B237/S58
B2367/S58
B23678/S58
B2368/S58
B236/S58
B2356/S58
B23568/S58
B235678/S58
B23567/S58
B2357/S58
B23578/S58
B2358/S58
B235/S58
B2345/S58
B23458/S58
B234578/S58
B23457/S58
B234567/S58
B2345678/S58
B234568/S58
B23456/S58
B2346/S58
B23468/S58
B234678/S58
B23467/S58
B2347/S58
B23478/S58
B2348/S58
B234/S58
B23/S5
B238/S5
B2378/S5
B237/S5
B2367/S5
B23678/S5
B2368/S5
B236/S5
B2356/S5
B23568/S5
B235678/S5
B23567/S5
B2357/S5
B23578/S5
B2358/S5
B235/S5
B2345/S5
B23458/S5
B234578/S5
B23457/S5
B234567/S5
B2345678/S5
B234568/S5
B23456/S5
B2346/S5
B23468/S5
B234678/S5
B23467/S5
B2347/S5
B23478/S5
B2348/S5
B234/S5
B23/S45
B238/S45
B2378/S45
B237/S45
B2367/S45
B23678/S45
B2368/S45
B236/S45
B2356/S45
B23568/S45
B235678/S45
B23567/S45
B2357/S45
B23578/S45
B2358/S45
B235/S45
B2345/S45
B23458/S45
B234578/S45
B23457/S45
B234567/S45
B2345678/S45
B234568/S45
B23456/S45
B2346/S45
B23468/S45
B234678/S45
B23467/S45
B2347/S45
B23478/S45
B2348/S45
B234/S45
B23/S458
B238/S458
B2378/S458
B237/S458
B2367/S458
B23678/S458
B2368/S458
B236/S458
B2356/S458
B23568/S458
B235678/S458
B23567/S458
B2357/S458
B23578/S458
B2358/S458
B235/S458
B2345/S458
B23458/S458
B234578/S458
B23457/S458
B234567/S458
B2345678/S458
B234568/S458
B23456/S458
B2346/S458
B23468/S458
B234678/S458
B23467/S458
B2347/S458
B23478/S458
B2348/S458
B234/S458
B23/S4578
B238/S4578
B2378/S4578
B237/S4578
B2367/S4578
B23678/S4578
B2368/S4578
B236/S4578
B2356/S4578
B23568/S4578
B235678/S4578
B23567/S4578
B2357/S4578
B23578/S4578
B2358/S4578
B235/S4578
B2345/S4578
B23458/S4578
B234578/S4578
B23457/S4578
B234567/S4578
B2345678/S4578
B234568/S4578
B23456/S4578
B2346/S4578
B23468/S4578
B234678/S4578
B23467/S4578
B2347/S4578
B23478/S4578
B2348/S4578
B234/S4578
B23/S457
B238/S457
B2378/S457
B237/S457
B2367/S457
B23678/S457
B2368/S457
B236/S457
B2356/S457
B23568/S457
B235678/S457
B23567/S457
B2357/S457
B23578/S457
B2358/S457
B235/S457
B2345/S457
B23458/S457
B234578/S457
B23457/S457
B234567/S457
B2345678/S457
B234568/S457
B23456/S457
B2346/S457
B23468/S457
B234678/S457
B23467/S457
B2347/S457
B23478/S457
B2348/S457
B234/S457
B23/S4567
B238/S4567
B2378/S4567
B237/S4567
B2367/S4567
B23678/S4567
B2368/S4567
B236/S4567
B2356/S4567
B23568/S4567
B235678/S4567
B23567/S4567
B2357/S4567
B23578/S4567
B2358/S4567
B235/S4567
B2345/S4567
B23458/S4567
B234578/S4567
B23457/S4567
B234567/S4567
B2345678/S4567
B234568/S4567
B23456/S4567
B2346/S4567
B23468/S4567
B234678/S4567
B23467/S4567
B2347/S4567
B23478/S4567
B2348/S4567
B234/S4567
B23/S45678
B238/S45678
B2378/S45678
B237/S45678
B2367/S45678
B23678/S45678
B2368/S45678
B236/S45678
B2356/S45678
B23568/S45678
B235678/S45678
B23567/S45678
B2357/S45678
B23578/S45678
B2358/S45678
B235/S45678
B2345/S45678
B23458/S45678
B234578/S45678
B23457/S45678
B234567/S45678
B2345678/S45678
B234568/S45678
B23456/S45678
B2346/S45678
B23468/S45678
B234678/S45678
B23467/S45678
B2347/S45678
B23478/S45678
B2348/S45678
B234/S45678
B23/S4568
B238/S4568
B2378/S4568
B237/S4568
B2367/S4568
B23678/S4568
B2368/S4568
B236/S4568
B2356/S4568
B23568/S4568
B235678/S4568
B23567/S4568
B2357/S4568
B23578/S4568
B2358/S4568
B235/S4568
B2345/S4568
B23458/S4568
B234578/S4568
B23457/S4568
B234567/S4568
B2345678/S4568
B234568/S4568
B23456/S4568
B2346/S4568
B23468/S4568
B234678/S4568
B23467/S4568
B2347/S4568
B23478/S4568
B2348/S4568
B234/S4568
B23/S456
B238/S456
B2378/S456
B237/S456
B2367/S456
B23678/S456
B2368/S456
B236/S456
B2356/S456
B23568/S456
B235678/S456
B23567/S456
B2357/S456
B23578/S456
B2358/S456
B235/S456
B2345/S456
B23458/S456
B234578/S456
B23457/S456
B234567/S456
B2345678/S456
B234568/S456
B23456/S456
B2346/S456
B23468/S456
B234678/S456
B23467/S456
B2347/S456
B23478/S456
B2348/S456
B234/S456
B23/S46
B238/S46
B2378/S46
B237/S46
B2367/S46
B23678/S46
B2368/S46
B236/S46
B2356/S46
B23568/S46
B235678/S46
B23567/S46
B2357/S46
B23578/S46
B2358/S46
B235/S46
B2345/S46
B23458/S46
B234578/S46
B23457/S46
B234567/S46
B2345678/S46
B234568/S46
B23456/S46
B2346/S46
B23468/S46
B234678/S46
B23467/S46
B2347/S46
B23478/S46
B2348/S46
B234/S46
B23/S468
B238/S468
B2378/S468
B237/S468
B2367/S468
B23678/S468
B2368/S468
B236/S468
B2356/S468
B23568/S468
B235678/S468
B23567/S468
B2357/S468
B23578/S468
B2358/S468
B235/S468
B2345/S468
B23458/S468
B234578/S468
B23457/S468
B234567/S468
B2345678/S468
B234568/S468
B23456/S468
B2346/S468
B23468/S468
B234678/S468
B23467/S468
B2347/S468
B23478/S468
B2348/S468
B234/S468
B23/S4678
B238/S4678
B2378/S4678
B237/S4678
B2367/S4678
B23678/S4678
B2368/S4678
B236/S4678
B2356/S4678
B23568/S4678
B235678/S4678
B23567/S4678
B2357/S4678
B23578/S4678
B2358/S4678
B235/S4678
B2345/S4678
B23458/S4678
B234578/S4678
B23457/S4678
B234567/S4678
B2345678/S4678
B234568/S4678
B23456/S4678
B2346/S4678
B23468/S4678
B234678/S4678
B23467/S4678
B2347/S4678
B23478/S4678
B2348/S4678
B234/S4678
B23/S467
B238/S467
B2378/S467
B237/S467
B2367/S467
B23678/S467
B2368/S467
B236/S467
B2356/S467
B23568/S467
B235678/S467
B23567/S467
B2357/S467
B23578/S467
B2358/S467
B235/S467
B2345/S467
B23458/S467
B234578/S467
B23457/S467
B234567/S467
B2345678/S467
B234568/S467
B23456/S467
B2346/S467
B23468/S467
B234678/S467
B23467/S467
B2347/S467
B23478/S467
B2348/S467
B234/S467
B23/S47
B238/S47
B2378/S47
B237/S47
B2367/S47
B23678/S47
B2368/S47
B236/S47
B2356/S47
B23568/S47
B235678/S47
B23567/S47
B2357/S47
B23578/S47
B2358/S47
B235/S47
B2345/S47
B23458/S47
B234578/S47
B23457/S47
B234567/S47
B2345678/S47
B234568/S47
B23456/S47
B2346/S47
B23468/S47
B234678/S47
B23467/S47
B2347/S47
B23478/S47
B2348/S47
B234/S47
B23/S478
B238/S478
B2378/S478
B237/S478
B2367/S478
B23678/S478
B2368/S478
B236/S478
B2356/S478
B23568/S478
B235678/S478
B23567/S478
B2357/S478
B23578/S478
B2358/S478
B235/S478
B2345/S478
B23458/S478
B234578/S478
B23457/S478
B234567/S478
B2345678/S478
B234568/S478
B23456/S478
B2346/S478
B23468/S478
B234678/S478
B23467/S478
B2347/S478
B23478/S478
B2348/S478
B234/S478
B23/S48
B238/S48
B2378/S48
B237/S48
B2367/S48
B23678/S48
B2368/S48
B236/S48
B2356/S48
B23568/S48
B235678/S48
B23567/S48
B2357/S48
B23578/S48
B2358/S48
B235/S48
B2345/S48
B23458/S48
B234578/S48
B23457/S48
B234567/S48
B2345678/S48
B234568/S48
B23456/S48
B2346/S48
B23468/S48
B234678/S48
B23467/S48
B2347/S48
B23478/S48
B2348/S48
B234/S48
B23/S4
B238/S4
B2378/S4
B237/S4
B2367/S4
B23678/S4
B2368/S4
B236/S4
B2356/S4
B23568/S4
B235678/S4
B23567/S4
B2357/S4
B23578/S4
B2358/S4
B235/S4
B2345/S4
B23458/S4
B234578/S4
B23457/S4
B234567/S4
B2345678/S4
B234568/S4
B23456/S4
B2346/S4
B23468/S4
B234678/S4
B23467/S4
B2347/S4
B23478/S4
B2348/S4
B234/S4
B23/S34
B238/S34
B2378/S34
B237/S34
B2367/S34
B23678/S34
B2368/S34
B236/S34
B2356/S34
B23568/S34
B235678/S34
B23567/S34
B2357/S34
B23578/S34
B2358/S34
B235/S34
B2345/S34
B23458/S34
B234578/S34
B23457/S34
B234567/S34
B2345678/S34
B234568/S34
B23456/S34
B2346/S34
B23468/S34
B234678/S34
B23467/S34
B2347/S34
B23478/S34
B2348/S34
B234/S34
B23/S348
B238/S348
B2378/S348
B237/S348
B2367/S348
B23678/S348
B2368/S348
B236/S348
B2356/S348
B23568/S348
B235678/S348
B23567/S348
B2357/S348
B23578/S348
B2358/S348
B235/S348
B2345/S348
B23458/S348
B234578/S348
B23457/S348
B234567/S348
B2345678/S348
B234568/S348
B23456/S348
B2346/S348
B23468/S348
B234678/S348
B23467/S348
B2347/S348
B23478/S348
B2348/S348
B234/S348
B23/S3478
B238/S3478
B2378/S3478
B237/S3478
B2367/S3478
B23678/S3478
B2368/S3478
B236/S3478
B2356/S3478
B23568/S3478
B235678/S3478
B23567/S3478
B2357/S3478
B23578/S3478
B2358/S3478
B235/S3478
B2345/S3478
B23458/S3478
B234578/S3478
B23457/S3478
B234567/S3478
B2345678/S3478
B234568/S3478
B23456/S3478
B2346/S3478
B23468/S3478
B234678/S3478
B23467/S3478
B2347/S3478
B23478/S3478
B2348/S3478
B234/S3478
B23/S347
B238/S347
B2378/S347
B237/S347
B2367/S347
B23678/S347
B2368/S347
B236/S347
B2356/S347
B23568/S347
B235678/S347
B23567/S347
B2357/S347
B23578/S347
B2358/S347
B235/S347
B2345/S347
B23458/S347
B234578/S347
B23457/S347
B234567/S347
B2345678/S347
B234568/S347
B23456/S347
B2346/S347
B23468/S347
B234678/S347
B23467/S347
B2347/S347
B23478/S347
B2348/S347
B234/S347
B23/S3467
B238/S3467
B2378/S3467
B237/S3467
B2367/S3467
B23678/S3467
B2368/S3467
B236/S3467
B2356/S3467
B23568/S3467
B235678/S3467
B23567/S3467
B2357/S3467
B23578/S3467
B2358/S3467
B235/S3467
B2345/S3467
B23458/S3467
B234578/S3467
B23457/S3467
B234567/S3467
B2345678/S3467
B234568/S3467
B23456/S3467
B2346/S3467
B23468/S3467
B234678/S3467
B23467/S3467
B2347/S3467
B23478/S3467
B2348/S3467
B234/S3467
B23/S34678
B238/S34678
B2378/S34678
B237/S34678
B2367/S34678
B23678/S34678
B2368/S34678
B236/S34678
B2356/S34678
B23568/S34678
B235678/S34678
B23567/S34678
B2357/S34678
B23578/S34678
B2358/S34678
B235/S34678
B2345/S34678
B23458/S34678
B234578/S34678
B23457/S34678
B234567/S34678
B2345678/S34678
B234568/S34678
B23456/S34678
B2346/S34678
B23468/S34678
B234678/S34678
B23467/S34678
B2347/S34678
B23478/S34678
B2348/S34678
B234/S34678
B23/S3468
B238/S3468
B2378/S3468
B237/S3468
B2367/S3468
B23678/S3468
B2368/S3468
B236/S3468
B2356/S3468
B23568/S3468
B235678/S3468
B23567/S3468
B2357/S3468
B23578/S3468
B2358/S3468
B235/S3468
B2345/S3468
B23458/S3468
B234578/S3468
B23457/S3468
B234567/S3468
B2345678/S3468
B234568/S3468
B23456/S3468
B2346/S3468
B23468/S3468
B234678/S3468
B23467/S3468
B2347/S3468
B23478/S3468
B2348/S3468
B234/S3468
B23/S346
B238/S346
B2378/S346
B237/S346
B2367/S346
B23678/S346
B2368/S346
B236/S346
B2356/S346
B23568/S346
B235678/S346
B23567/S346
B2357/S346
B23578/S346
B2358/S346
B235/S346
B2345/S346
B23458/S346
B234578/S346
B23457/S346
B234567/S346
B2345678/S346
B234568/S346
B23456/S346
B2346/S346
B23468/S346
B234678/S346
B23467/S346
B2347/S346
B23478/S346
B2348/S346
B234/S346
B23/S3456
B238/S3456
B2378/S3456
B237/S3456
B2367/S3456
B23678/S3456
B2368/S3456
B236/S3456
B2356/S3456
B23568/S3456
B235678/S3456
B23567/S3456
B2357/S3456
B23578/S3456
B2358/S3456
B235/S3456
B2345/S3456
B23458/S3456
B234578/S3456
B23457/S3456
B234567/S3456
B2345678/S3456
B234568/S3456
B23456/S3456
B2346/S3456
B23468/S3456
B234678/S3456
B23467/S3456
B2347/S3456
B23478/S3456
B2348/S3456
B234/S3456
B23/S34568
B238/S34568
B2378/S34568
B237/S34568
B2367/S34568
B23678/S34568
B2368/S34568
B236/S34568
B2356/S34568
B23568/S34568
B235678/S34568
B23567/S34568
B2357/S34568
B23578/S34568
B2358/S34568
B235/S34568
B2345/S34568
B23458/S34568
B234578/S34568
B23457/S34568
B234567/S34568
B2345678/S34568
B234568/S34568
B23456/S34568
B2346/S34568
B23468/S34568
B234678/S34568
B23467/S34568
B2347/S34568
B23478/S34568
B2348/S34568
B234/S34568
B23/S345678
B238/S345678
B2378/S345678
B237/S345678
B2367/S345678
B23678/S345678
B2368/S345678
B236/S345678
B2356/S345678
B23568/S345678
B235678/S345678
B23567/S345678
B2357/S345678
B23578/S345678
B2358/S345678
B235/S345678
B2345/S345678
B23458/S345678
B234578/S345678
B23457/S345678
B234567/S345678
B2345678/S345678
B234568/S345678
B23456/S345678
B2346/S345678
B23468/S345678
B234678/S345678
B23467/S345678
B2347/S345678
B23478/S345678
B2348/S345678
B234/S345678
B23/S34567
B238/S34567
B2378/S34567
B237/S34567
B2367/S34567
B23678/S34567
B2368/S34567
B236/S34567
B2356/S34567
B23568/S34567
B235678/S34567
B23567/S34567
B2357/S34567
B23578/S34567
B2358/S34567
B235/S34567
B2345/S34567
B23458/S34567
B234578/S34567
B23457/S34567
B234567/S34567
B2345678/S34567
B234568/S34567
B23456/S34567
B2346/S34567
B23468/S34567
B234678/S34567
B23467/S34567
B2347/S34567
B23478/S34567
B2348/S34567
B234/S34567
B23/S3457
B238/S3457
B2378/S3457
B237/S3457
B2367/S3457
B23678/S3457
B2368/S3457
B236/S3457
B2356/S3457
B23568/S3457
B235678/S3457
B23567/S3457
B2357/S3457
B23578/S3457
B2358/S3457
B235/S3457
B2345/S3457
B23458/S3457
B234578/S3457
B23457/S3457
B234567/S3457
B2345678/S3457
B234568/S3457
B23456/S3457
B2346/S3457
B23468/S3457
B234678/S3457
B23467/S3457
B2347/S3457
B23478/S3457
B2348/S3457
B234/S3457
B23/S34578
B238/S34578
B2378/S34578
B237/S34578
B2367/S34578
B23678/S34578
B2368/S34578
B236/S34578
B2356/S34578
B23568/S34578
B235678/S34578
B23567/S34578
B2357/S34578
B23578/S34578
B2358/S34578
B235/S34578
B2345/S34578
B23458/S34578
B234578/S34578
B23457/S34578
B234567/S34578
B2345678/S34578
B234568/S34578
B23456/S34578
B2346/S34578
B23468/S34578
B234678/S34578
B23467/S34578
B2347/S34578
B23478/S34578
B2348/S34578
B234/S34578
B23/S3458
B238/S3458
B2378/S3458
B237/S3458
B2367/S3458
B23678/S3458
B2368/S3458
B236/S3458
B2356/S3458
B23568/S3458
B235678/S3458
B23567/S3458
B2357/S3458
B23578/S3458
B2358/S3458
B235/S3458
B2345/S3458
B23458/S3458
B234578/S3458
B23457/S3458
B234567/S3458
B2345678/S3458
B234568/S3458
B23456/S3458
B2346/S3458
B23468/S3458
B234678/S3458
B23467/S3458
B2347/S3458
B23478/S3458
B2348/S3458
B234/S3458
B23/S345
B238/S345
B2378/S345
B237/S345
B2367/S345
B23678/S345
B2368/S345
B236/S345
B2356/S345
B23568/S345
B235678/S345
B23567/S345
B2357/S345
B23578/S345
B2358/S345
B235/S345
B2345/S345
B23458/S345
B234578/S345
B23457/S345
B234567/S345
B2345678/S345
B234568/S345
B23456/S345
B2346/S345
B23468/S345
B234678/S345
B23467/S345
B2347/S345
B23478/S345
B2348/S345
B234/S345
B23/S35
B238/S35
B2378/S35
B237/S35
B2367/S35
B23678/S35
B2368/S35
B236/S35
B2356/S35
B23568/S35
B235678/S35
B23567/S35
B2357/S35
B23578/S35
B2358/S35
B235/S35
B2345/S35
B23458/S35
B234578/S35
B23457/S35
B234567/S35
B2345678/S35
B234568/S35
B23456/S35
B2346/S35
B23468/S35
B234678/S35
B23467/S35
B2347/S35
B23478/S35
B2348/S35
B234/S35
B23/S358
B238/S358
B2378/S358
B237/S358
B2367/S358
B23678/S358
B2368/S358
B236/S358
B2356/S358
B23568/S358
B235678/S358
B23567/S358
B2357/S358
B23578/S358
B2358/S358
B235/S358
B2345/S358
B23458/S358
B234578/S358
B23457/S358
B234567/S358
B2345678/S358
B234568/S358
B23456/S358
B2346/S358
B23468/S358
B234678/S358
B23467/S358
B2347/S358
B23478/S358
B2348/S358
B234/S358
B23/S3578
B238/S3578
B2378/S3578
B237/S3578
B2367/S3578
B23678/S3578
B2368/S3578
B236/S3578
B2356/S3578
B23568/S3578
B235678/S3578
B23567/S3578
B2357/S3578
B23578/S3578
B2358/S3578
B235/S3578
B2345/S3578
B23458/S3578
B234578/S3578
B23457/S3578
B234567/S3578
B2345678/S3578
B234568/S3578
B23456/S3578
B2346/S3578
B23468/S3578
B234678/S3578
B23467/S3578
B2347/S3578
B23478/S3578
B2348/S3578
B234/S3578
B23/S357
B238/S357
B2378/S357
B237/S357
B2367/S357
B23678/S357
B2368/S357
B236/S357
B2356/S357
B23568/S357
B235678/S357
B23567/S357
B2357/S357
B23578/S357
B2358/S357
B235/S357
B2345/S357
B23458/S357
B234578/S357
B23457/S357
B234567/S357
B2345678/S357
B234568/S357
B23456/S357
B2346/S357
B23468/S357
B234678/S357
B23467/S357
B2347/S357
B23478/S357
B2348/S357
B234/S357
B23/S3567
B238/S3567
B2378/S3567
B237/S3567
B2367/S3567
B23678/S3567
B2368/S3567
B236/S3567
B2356/S3567
B23568/S3567
B235678/S3567
B23567/S3567
B2357/S3567
B23578/S3567
B2358/S3567
B235/S3567
B2345/S3567
B23458/S3567
B234578/S3567
B23457/S3567
B234567/S3567
B2345678/S3567
B234568/S3567
B23456/S3567
B2346/S3567
B23468/S3567
B234678/S3567
B23467/S3567
B2347/S3567
B23478/S3567
B2348/S3567
B234/S3567
B23/S35678
B238/S35678
B2378/S35678
B237/S35678
B2367/S35678
B23678/S35678
B2368/S35678
B236/S35678
B2356/S35678
B23568/S35678
B235678/S35678
B23567/S35678
B2357/S35678
B23578/S35678
B2358/S35678
B235/S35678
B2345/S35678
B23458/S35678
B234578/S35678
B23457/S35678
B234567/S35678
B2345678/S35678
B234568/S35678
B23456/S35678
B2346/S35678
B23468/S35678
B234678/S35678
B23467/S35678
B2347/S35678
B23478/S35678
B2348/S35678
B234/S35678
B23/S3568
B238/S3568
B2378/S3568
B237/S3568
B2367/S3568
B23678/S3568
B2368/S3568
B236/S3568
B2356/S3568
B23568/S3568
B235678/S3568
B23567/S3568
B2357/S3568
B23578/S3568
B2358/S3568
B235/S3568
B2345/S3568
B23458/S3568
B234578/S3568
B23457/S3568
B234567/S3568
B2345678/S3568
B234568/S3568
B23456/S3568
B2346/S3568
B23468/S3568
B234678/S3568
B23467/S3568
B2347/S3568
B23478/S3568
B2348/S3568
B234/S3568
B23/S356
B238/S356
B2378/S356
B237/S356
B2367/S356
B23678/S356
B2368/S356
B236/S356
B2356/S356
B23568/S356
B235678/S356
B23567/S356
B2357/S356
B23578/S356
B2358/S356
B235/S356
B2345/S356
B23458/S356
B234578/S356
B23457/S356
B234567/S356
B2345678/S356
B234568/S356
B23456/S356
B2346/S356
B23468/S356
B234678/S356
B23467/S356
B2347/S356
B23478/S356
B2348/S356
B234/S356
B23/S36
B238/S36
B2378/S36
B237/S36
B2367/S36
B23678/S36
B2368/S36
B236/S36
B2356/S36
B23568/S36
B235678/S36
B23567/S36
B2357/S36
B23578/S36
B2358/S36
B235/S36
B2345/S36
B23458/S36
B234578/S36
B23457/S36
B234567/S36
B2345678/S36
B234568/S36
B23456/S36
B2346/S36
B23468/S36
B234678/S36
B23467/S36
B2347/S36
B23478/S36
B2348/S36
B234/S36
B23/S368
B238/S368
B2378/S368
B237/S368
B2367/S368
B23678/S368
B2368/S368
B236/S368
B2356/S368
B23568/S368
B235678/S368
B23567/S368
B2357/S368
B23578/S368
B2358/S368
B235/S368
B2345/S368
B23458/S368
B234578/S368
B23457/S368
B234567/S368
B2345678/S368
B234568/S368
B23456/S368
B2346/S368
B23468/S368
B234678/S368
B23467/S368
B2347/S368
B23478/S368
B2348/S368
B234/S368
B23/S3678
B238/S3678
B2378/S3678
B237/S3678
B2367/S3678
B23678/S3678
B2368/S3678
B236/S3678
B2356/S3678
B23568/S3678
B235678/S3678
B23567/S3678
B2357/S3678
B23578/S3678
B2358/S3678
B235/S3678
B2345/S3678
B23458/S3678
B234578/S3678
B23457/S3678
B234567/S3678
B2345678/S3678
B234568/S3678
B23456/S3678
B2346/S3678
B23468/S3678
B234678/S3678
B23467/S3678
B2347/S3678
B23478/S3678
B2348/S3678
B234/S3678
B23/S367
B238/S367
B2378/S367
B237/S367
B2367/S367
B23678/S367
B2368/S367
B236/S367
B2356/S367
B23568/S367
B235678/S367
B23567/S367
B2357/S367
B23578/S367
B2358/S367
B235/S367
B2345/S367
B23458/S367
B234578/S367
B23457/S367
B234567/S367
B2345678/S367
B234568/S367
B23456/S367
B2346/S367
B23468/S367
B234678/S367
B23467/S367
B2347/S367
B23478/S367
B2348/S367
B234/S367
B23/S37
B238/S37
B2378/S37
B237/S37
B2367/S37
B23678/S37
B2368/S37
B236/S37
B2356/S37
B23568/S37
B235678/S37
B23567/S37
B2357/S37
B23578/S37
B2358/S37
B235/S37
B2345/S37
B23458/S37
B234578/S37
B23457/S37
B234567/S37
B2345678/S37
B234568/S37
B23456/S37
B2346/S37
B23468/S37
B234678/S37
B23467/S37
B2347/S37
B23478/S37
B2348/S37
B234/S37
B23/S378
B238/S378
B2378/S378
B237/S378
B2367/S378
B23678/S378
B2368/S378
B236/S378
B2356/S378
B23568/S378
B235678/S378
B23567/S378
B2357/S378
B23578/S378
B2358/S378
B235/S378
B2345/S378
B23458/S378
B234578/S378
B23457/S378
B234567/S378
B2345678/S378
B234568/S378
B23456/S378
B2346/S378
B23468/S378
B234678/S378
B23467/S378
B2347/S378
B23478/S378
B2348/S378
B234/S378
B23/S38
B238/S38
B2378/S38
B237/S38
B2367/S38
B23678/S38
B2368/S38
B236/S38
B2356/S38
B23568/S38
B235678/S38
B23567/S38
B2357/S38
B23578/S38
B2358/S38
B235/S38
B2345/S38
B23458/S38
B234578/S38
B23457/S38
B234567/S38
B2345678/S38
B234568/S38
B23456/S38
B2346/S38
B23468/S38
B234678/S38
B23467/S38
B2347/S38
B23478/S38
B2348/S38
B234/S38
B23/S3
B238/S3
B2378/S3
B237/S3
B2367/S3
B23678/S3
B2368/S3
B236/S3
B2356/S3
B23568/S3
B235678/S3
B23567/S3
B2357/S3
B23578/S3
B2358/S3
B235/S3
B2345/S3
B23458/S3
B234578/S3
B23457/S3
B234567/S3
B2345678/S3
B234568/S3
B23456/S3
B2346/S3
B23468/S3
B234678/S3
B23467/S3
B2347/S3
B23478/S3
B2348/S3
B234/S3
B23/S23
B238/S23
B2378/S23
B237/S23
B2367/S23
B23678/S23
B2368/S23
B236/S23
B2356/S23
B23568/S23
B235678/S23
B23567/S23
B2357/S23
B23578/S23
B2358/S23
B235/S23
B2345/S23
B23458/S23
B234578/S23
B23457/S23
B234567/S23
B2345678/S23
B234568/S23
B23456/S23
B2346/S23
B23468/S23
B234678/S23
B23467/S23
B2347/S23
B23478/S23
B2348/S23
B234/S23
B23/S238
B238/S238
B2378/S238
B237/S238
B2367/S238
B23678/S238
B2368/S238
B236/S238
B2356/S238
B23568/S238
B235678/S238
B23567/S238
B2357/S238
B23578/S238
B2358/S238
B235/S238
B2345/S238
B23458/S238
B234578/S238
B23457/S238
B234567/S238
B2345678/S238
B234568/S238
B23456/S238
B2346/S238
B23468/S238
B234678/S238
B23467/S238
B2347/S238
B23478/S238
B2348/S238
B234/S238
B23/S2378
B238/S2378
B2378/S2378
B237/S2378
B2367/S2378
B23678/S2378
B2368/S2378
B236/S2378
B2356/S2378
B23568/S2378
B235678/S2378
B23567/S2378
B2357/S2378
B23578/S2378
B2358/S2378
B235/S2378
B2345/S2378
B23458/S2378
B234578/S2378
B23457/S2378
B234567/S2378
B2345678/S2378
B234568/S2378
B23456/S2378
B2346/S2378
B23468/S2378
B234678/S2378
B23467/S2378
B2347/S2378
B23478/S2378
B2348/S2378
B234/S2378
B23/S237
B238/S237
B2378/S237
B237/S237
B2367/S237
B23678/S237
B2368/S237
B236/S237
B2356/S237
B23568/S237
B235678/S237
B23567/S237
B2357/S237
B23578/S237
B2358/S237
B235/S237
B2345/S237
B23458/S237
B234578/S237
B23457/S237
B234567/S237
B2345678/S237
B234568/S237
B23456/S237
B2346/S237
B23468/S237
B234678/S237
B23467/S237
B2347/S237
B23478/S237
B2348/S237
B234/S237
B23/S2367
B238/S2367
B2378/S2367
B237/S2367
B2367/S2367
B23678/S2367
B2368/S2367
B236/S2367
B2356/S2367
B23568/S2367
B235678/S2367
B23567/S2367
B2357/S2367
B23578/S2367
B2358/S2367
B235/S2367
B2345/S2367
B23458/S2367
B234578/S2367
B23457/S2367
B234567/S2367
B2345678/S2367
B234568/S2367
B23456/S2367
B2346/S2367
B23468/S2367
B234678/S2367
B23467/S2367
B2347/S2367
B23478/S2367
B2348/S2367
B234/S2367
B23/S23678
B238/S23678
B2378/S23678
B237/S23678
B2367/S23678
B23678/S23678
B2368/S23678
B236/S23678
B2356/S23678
B23568/S23678
B235678/S23678
B23567/S23678
B2357/S23678
B23578/S23678
B2358/S23678
B235/S23678
B2345/S23678
B23458/S23678
B234578/S23678
B23457/S23678
B234567/S23678
B2345678/S23678
B234568/S23678
B23456/S23678
B2346/S23678
B23468/S23678
B234678/S23678
B23467/S23678
B2347/S23678
B23478/S23678
B2348/S23678
B234/S23678
B23/S2368
B238/S2368
B2378/S2368
B237/S2368
B2367/S2368
B23678/S2368
B2368/S2368
B236/S2368
B2356/S2368
B23568/S2368
B235678/S2368
B23567/S2368
B2357/S2368
B23578/S2368
B2358/S2368
B235/S2368
B2345/S2368
B23458/S2368
B234578/S2368
B23457/S2368
B234567/S2368
B2345678/S2368
B234568/S2368
B23456/S2368
B2346/S2368
B23468/S2368
B234678/S2368
B23467/S2368
B2347/S2368
B23478/S2368
B2348/S2368
B234/S2368
B23/S236
B238/S236
B2378/S236
B237/S236
B2367/S236
B23678/S236
B2368/S236
B236/S236
B2356/S236
B23568/S236
B235678/S236
B23567/S236
B2357/S236
B23578/S236
B2358/S236
B235/S236
B2345/S236
B23458/S236
B234578/S236
B23457/S236
B234567/S236
B2345678/S236
B234568/S236
B23456/S236
B2346/S236
B23468/S236
B234678/S236
B23467/S236
B2347/S236
B23478/S236
B2348/S236
B234/S236
B23/S2356
B238/S2356
B2378/S2356
B237/S2356
B2367/S2356
B23678/S2356
B2368/S2356
B236/S2356
B2356/S2356
B23568/S2356
B235678/S2356
B23567/S2356
B2357/S2356
B23578/S2356
B2358/S2356
B235/S2356
B2345/S2356
B23458/S2356
B234578/S2356
B23457/S2356
B234567/S2356
B2345678/S2356
B234568/S2356
B23456/S2356
B2346/S2356
B23468/S2356
B234678/S2356
B23467/S2356
B2347/S2356
B23478/S2356
B2348/S2356
B234/S2356
B23/S23568
B238/S23568
B2378/S23568
B237/S23568
B2367/S23568
B23678/S23568
B2368/S23568
B236/S23568
B2356/S23568
B23568/S23568
B235678/S23568
B23567/S23568
B2357/S23568
B23578/S23568
B2358/S23568
B235/S23568
B2345/S23568
B23458/S23568
B234578/S23568
B23457/S23568
B234567/S23568
B2345678/S23568
B234568/S23568
B23456/S23568
B2346/S23568
B23468/S23568
B234678/S23568
B23467/S23568
B2347/S23568
B23478/S23568
B2348/S23568
B234/S23568
B23/S235678
B238/S235678
B2378/S235678
B237/S235678
B2367/S235678
B23678/S235678
B2368/S235678
B236/S235678
B2356/S235678
B23568/S235678
B235678/S235678
B23567/S235678
B2357/S235678
B23578/S235678
B2358/S235678
B235/S235678
B2345/S235678
B23458/S235678
B234578/S235678
B23457/S235678
B234567/S235678
B2345678/S235678
B234568/S235678
B23456/S235678
B2346/S235678
B23468/S235678
B234678/S235678
B23467/S235678
B2347/S235678
B23478/S235678
B2348/S235678
B234/S235678
B23/S23567
B238/S23567
B2378/S23567
B237/S23567
B2367/S23567
B23678/S23567
B2368/S23567
B236/S23567
B2356/S23567
B23568/S23567
B235678/S23567
B23567/S23567
B2357/S23567
B23578/S23567
B2358/S23567
B235/S23567
B2345/S23567
B23458/S23567
B234578/S23567
B23457/S23567
B234567/S23567
B2345678/S23567
B234568/S23567
B23456/S23567
B2346/S23567
B23468/S23567
B234678/S23567
B23467/S23567
B2347/S23567
B23478/S23567
B2348/S23567
B234/S23567
B23/S2357
B238/S2357
B2378/S2357
B237/S2357
B2367/S2357
B23678/S2357
B2368/S2357
B236/S2357
B2356/S2357
B23568/S2357
B235678/S2357
B23567/S2357
B2357/S2357
B23578/S2357
B2358/S2357
B235/S2357
B2345/S2357
B23458/S2357
B234578/S2357
B23457/S2357
B234567/S2357
B2345678/S2357
B234568/S2357
B23456/S2357
B2346/S2357
B23468/S2357
B234678/S2357
B23467/S2357
B2347/S2357
B23478/S2357
B2348/S2357
B234/S2357
B23/S23578
B238/S23578
B2378/S23578
B237/S23578
B2367/S23578
B23678/S23578
B2368/S23578
B236/S23578
B2356/S23578
B23568/S23578
B235678/S23578
B23567/S23578
B2357/S23578
B23578/S23578
B2358/S23578
B235/S23578
B2345/S23578
B23458/S23578
B234578/S23578
B23457/S23578
B234567/S23578
B2345678/S23578
B234568/S23578
B23456/S23578
B2346/S23578
B23468/S23578
B234678/S23578
B23467/S23578
B2347/S23578
B23478/S23578
B2348/S23578
B234/S23578
B23/S2358
B238/S2358
B2378/S2358
B237/S2358
B2367/S2358
B23678/S2358
B2368/S2358
B236/S2358
B2356/S2358
B23568/S2358
B235678/S2358
B23567/S2358
B2357/S2358
B23578/S2358
B2358/S2358
B235/S2358
B2345/S2358
B23458/S2358
B234578/S2358
B23457/S2358
B234567/S2358
B2345678/S2358
B234568/S2358
B23456/S2358
B2346/S2358
B23468/S2358
B234678/S2358
B23467/S2358
B2347/S2358
B23478/S2358
B2348/S2358
B234/S2358
B23/S235
B238/S235
B2378/S235
B237/S235
B2367/S235
B23678/S235
B2368/S235
B236/S235
B2356/S235
B23568/S235
B235678/S235
B23567/S235
B2357/S235
B23578/S235
B2358/S235
B235/S235
B2345/S235
B23458/S235
B234578/S235
B23457/S235
B234567/S235
B2345678/S235
B234568/S235
B23456/S235
B2346/S235
B23468/S235
B234678/S235
B23467/S235
B2347/S235
B23478/S235
B2348/S235
B234/S235
B23/S2345
B238/S2345
B2378/S2345
B237/S2345
B2367/S2345
B23678/S2345
B2368/S2345
B236/S2345
B2356/S2345
B23568/S2345
B235678/S2345
B23567/S2345
B2357/S2345
B23578/S2345
B2358/S2345
B235/S2345
B2345/S2345
B23458/S2345
B234578/S2345
B23457/S2345
B234567/S2345
B2345678/S2345
B234568/S2345
B23456/S2345
B2346/S2345
B23468/S2345
B234678/S2345
B23467/S2345
B2347/S2345
B23478/S2345
B2348/S2345
B234/S2345
B23/S23458
B238/S23458
B2378/S23458
B237/S23458
B2367/S23458
B23678/S23458
B2368/S23458
B236/S23458
B2356/S23458
B23568/S23458
B235678/S23458
B23567/S23458
B2357/S23458
B23578/S23458
B2358/S23458
B235/S23458
B2345/S23458
B23458/S23458
B234578/S23458
B23457/S23458
B234567/S23458
B2345678/S23458
B234568/S23458
B23456/S23458
B2346/S23458
B23468/S23458
B234678/S23458
B23467/S23458
B2347/S23458
B23478/S23458
B2348/S23458
B234/S23458
B23/S234578
B238/S234578
B2378/S234578
B237/S234578
B2367/S234578
B23678/S234578
B2368/S234578
B236/S234578
B2356/S234578
B23568/S234578
B235678/S234578
B23567/S234578
B2357/S234578
B23578/S234578
B2358/S234578
B235/S234578
B2345/S234578
B23458/S234578
B234578/S234578
B23457/S234578
B234567/S234578
B2345678/S234578
B234568/S234578
B23456/S234578
B2346/S234578
B23468/S234578
B234678/S234578
B23467/S234578
B2347/S234578
B23478/S234578
B2348/S234578
B234/S234578
B23/S23457
B238/S23457
B2378/S23457
B237/S23457
B2367/S23457
B23678/S23457
B2368/S23457
B236/S23457
B2356/S23457
B23568/S23457
B235678/S23457
B23567/S23457
B2357/S23457
B23578/S23457
B2358/S23457
B235/S23457
B2345/S23457
B23458/S23457
B234578/S23457
B23457/S23457
B234567/S23457
B2345678/S23457
B234568/S23457
B23456/S23457
B2346/S23457
B23468/S23457
B234678/S23457
B23467/S23457
B2347/S23457
B23478/S23457
B2348/S23457
B234/S23457
B23/S234567
B238/S234567
B2378/S234567
B237/S234567
B2367/S234567
B23678/S234567
B2368/S234567
B236/S234567
B2356/S234567
B23568/S234567
B235678/S234567
B23567/S234567
B2357/S234567
B23578/S234567
B2358/S234567
B235/S234567
B2345/S234567
B23458/S234567
B234578/S234567
B23457/S234567
B234567/S234567
B2345678/S234567
B234568/S234567
B23456/S234567
B2346/S234567
B23468/S234567
B234678/S234567
B23467/S234567
B2347/S234567
B23478/S234567
B2348/S234567
B234/S234567
B23/S2345678
B238/S2345678
B2378/S2345678
B237/S2345678
B2367/S2345678
B23678/S2345678
B2368/S2345678
B236/S2345678
B2356/S2345678
B23568/S2345678
B235678/S2345678
B23567/S2345678
B2357/S2345678
B23578/S2345678
B2358/S2345678
B235/S2345678
B2345/S2345678
B23458/S2345678
B234578/S2345678
B23457/S2345678
B234567/S2345678
B2345678/S2345678
B234568/S2345678
B23456/S2345678
B2346/S2345678
B23468/S2345678
B234678/S2345678
B23467/S2345678
B2347/S2345678
B23478/S2345678
B2348/S2345678
B234/S2345678
B23/S234568
B238/S234568
B2378/S234568
B237/S234568
B2367/S234568
B23678/S234568
B2368/S234568
B236/S234568
B2356/S234568
B23568/S234568
B235678/S234568
B23567/S234568
B2357/S234568
B23578/S234568
B2358/S234568
B235/S234568
B2345/S234568
B23458/S234568
B234578/S234568
B23457/S234568
B234567/S234568
B2345678/S234568
B234568/S234568
B23456/S234568
B2346/S234568
B23468/S234568
B234678/S234568
B23467/S234568
B2347/S234568
B23478/S234568
B2348/S234568
B234/S234568
B23/S23456
B238/S23456
B2378/S23456
B237/S23456
B2367/S23456
B23678/S23456
B2368/S23456
B236/S23456
B2356/S23456
B23568/S23456
B235678/S23456
B23567/S23456
B2357/S23456
B23578/S23456
B2358/S23456
B235/S23456
B2345/S23456
B23458/S23456
B234578/S23456
B23457/S23456
B234567/S23456
B2345678/S23456
B234568/S23456
B23456/S23456
B2346/S23456
B23468/S23456
B234678/S23456
B23467/S23456
B2347/S23456
B23478/S23456
B2348/S23456
B234/S23456
B23/S2346
B238/S2346
B2378/S2346
B237/S2346
B2367/S2346
B23678/S2346
B2368/S2346
B236/S2346
B2356/S2346
B23568/S2346
B235678/S2346
B23567/S2346
B2357/S2346
B23578/S2346
B2358/S2346
B235/S2346
B2345/S2346
B23458/S2346
B234578/S2346
B23457/S2346
B234567/S2346
B2345678/S2346
B234568/S2346
B23456/S2346
B2346/S2346
B23468/S2346
B234678/S2346
B23467/S2346
B2347/S2346
B23478/S2346
B2348/S2346
B234/S2346
B23/S23468
B238/S23468
B2378/S23468
B237/S23468
B2367/S23468
B23678/S23468
B2368/S23468
B236/S23468
B2356/S23468
B23568/S23468
B235678/S23468
B23567/S23468
B2357/S23468
B23578/S23468
B2358/S23468
B235/S23468
B2345/S23468
B23458/S23468
B234578/S23468
B23457/S23468
B234567/S23468
B2345678/S23468
B234568/S23468
B23456/S23468
B2346/S23468
B23468/S23468
B234678/S23468
B23467/S23468
B2347/S23468
B23478/S23468
B2348/S23468
B234/S23468
B23/S234678
B238/S234678
B2378/S234678
B237/S234678
B2367/S234678
B23678/S234678
B2368/S234678
B236/S234678
B2356/S234678
B23568/S234678
B235678/S234678
B23567/S234678
B2357/S234678
B23578/S234678
B2358/S234678
B235/S234678
B2345/S234678
B23458/S234678
B234578/S234678
B23457/S234678
B234567/S234678
B2345678/S234678
B234568/S234678
B23456/S234678
B2346/S234678
B23468/S234678
B234678/S234678
B23467/S234678
B2347/S234678
B23478/S234678
B2348/S234678
B234/S234678
B23/S23467
B238/S23467
B2378/S23467
B237/S23467
B2367/S23467
B23678/S23467
B2368/S23467
B236/S23467
B2356/S23467
B23568/S23467
B235678/S23467
B23567/S23467
B2357/S23467
B23578/S23467
B2358/S23467
B235/S23467
B2345/S23467
B23458/S23467
B234578/S23467
B23457/S23467
B234567/S23467
B2345678/S23467
B234568/S23467
B23456/S23467
B2346/S23467
B23468/S23467
B234678/S23467
B23467/S23467
B2347/S23467
B23478/S23467
B2348/S23467
B234/S23467
B23/S2347
B238/S2347
B2378/S2347
B237/S2347
B2367/S2347
B23678/S2347
B2368/S2347
B236/S2347
B2356/S2347
B23568/S2347
B235678/S2347
B23567/S2347
B2357/S2347
B23578/S2347
B2358/S2347
B235/S2347
B2345/S2347
B23458/S2347
B234578/S2347
B23457/S2347
B234567/S2347
B2345678/S2347
B234568/S2347
B23456/S2347
B2346/S2347
B23468/S2347
B234678/S2347
B23467/S2347
B2347/S2347
B23478/S2347
B2348/S2347
B234/S2347
B23/S23478
B238/S23478
B2378/S23478
B237/S23478
B2367/S23478
B23678/S23478
B2368/S23478
B236/S23478
B2356/S23478
B23568/S23478
B235678/S23478
B23567/S23478
B2357/S23478
B23578/S23478
B2358/S23478
B235/S23478
B2345/S23478
B23458/S23478
B234578/S23478
B23457/S23478
B234567/S23478
B2345678/S23478
B234568/S23478
B23456/S23478
B2346/S23478
B23468/S23478
B234678/S23478
B23467/S23478
B2347/S23478
B23478/S23478
B2348/S23478
B234/S23478
B23/S2348
B238/S2348
B2378/S2348
B237/S2348
B2367/S2348
B23678/S2348
B2368/S2348
B236/S2348
B2356/S2348
B23568/S2348
B235678/S2348
B23567/S2348
B2357/S2348
B23578/S2348
B2358/S2348
B235/S2348
B2345/S2348
B23458/S2348
B234578/S2348
B23457/S2348
B234567/S2348
B2345678/S2348
B234568/S2348
B23456/S2348
B2346/S2348
B23468/S2348
B234678/S2348
B23467/S2348
B2347/S2348
B23478/S2348
B2348/S2348
B234/S2348
B23/S234
B238/S234
B2378/S234
B237/S234
B2367/S234
B23678/S234
B2368/S234
B236/S234
B2356/S234
B23568/S234
B235678/S234
B23567/S234
B2357/S234
B23578/S234
B2358/S234
B235/S234
B2345/S234
B23458/S234
B234578/S234
B23457/S234
B234567/S234
B2345678/S234
B234568/S234
B23456/S234
B2346/S234
B23468/S234
B234678/S234
B23467/S234
B2347/S234
B23478/S234
B2348/S234
B234/S234
B23/S24
B238/S24
B2378/S24
B237/S24
B2367/S24
B23678/S24
B2368/S24
B236/S24
B2356/S24
B23568/S24
B235678/S24
B23567/S24
B2357/S24
B23578/S24
B2358/S24
B235/S24
B2345/S24
B23458/S24
B234578/S24
B23457/S24
B234567/S24
B2345678/S24
B234568/S24
B23456/S24
B2346/S24
B23468/S24
B234678/S24
B23467/S24
B2347/S24
B23478/S24
B2348/S24
B234/S24
B23/S248
B238/S248
B2378/S248
B237/S248
B2367/S248
B23678/S248
B2368/S248
B236/S248
B2356/S248
B23568/S248
B235678/S248
B23567/S248
B2357/S248
B23578/S248
B2358/S248
B235/S248
B2345/S248
B23458/S248
B234578/S248
B23457/S248
B234567/S248
B2345678/S248
B234568/S248
B23456/S248
B2346/S248
B23468/S248
B234678/S248
B23467/S248
B2347/S248
B23478/S248
B2348/S248
B234/S248
B23/S2478
B238/S2478
B2378/S2478
B237/S2478
B2367/S2478
B23678/S2478
B2368/S2478
B236/S2478
B2356/S2478
B23568/S2478
B235678/S2478
B23567/S2478
B2357/S2478
B23578/S2478
B2358/S2478
B235/S2478
B2345/S2478
B23458/S2478
B234578/S2478
B23457/S2478
B234567/S2478
B2345678/S2478
B234568/S2478
B23456/S2478
B2346/S2478
B23468/S2478
B234678/S2478
B23467/S2478
B2347/S2478
B23478/S2478
B2348/S2478
B234/S2478
B23/S247
B238/S247
B2378/S247
B237/S247
B2367/S247
B23678/S247
B2368/S247
B236/S247
B2356/S247
B23568/S247
B235678/S247
B23567/S247
B2357/S247
B23578/S247
B2358/S247
B235/S247
B2345/S247
B23458/S247
B234578/S247
B23457/S247
B234567/S247
B2345678/S247
B234568/S247
B23456/S247
B2346/S247
B23468/S247
B234678/S247
B23467/S247
B2347/S247
B23478/S247
B2348/S247
B234/S247
B23/S2467
B238/S2467
B2378/S2467
B237/S2467
B2367/S2467
B23678/S2467
B2368/S2467
B236/S2467
B2356/S2467
B23568/S2467
B235678/S2467
B23567/S2467
B2357/S2467
B23578/S2467
B2358/S2467
B235/S2467
B2345/S2467
B23458/S2467
B234578/S2467
B23457/S2467
B234567/S2467
B2345678/S2467
B234568/S2467
B23456/S2467
B2346/S2467
B23468/S2467
B234678/S2467
B23467/S2467
B2347/S2467
B23478/S2467
B2348/S2467
B234/S2467
B23/S24678
B238/S24678
B2378/S24678
B237/S24678
B2367/S24678
B23678/S24678
B2368/S24678
B236/S24678
B2356/S24678
B23568/S24678
B235678/S24678
B23567/S24678
B2357/S24678
B23578/S24678
B2358/S24678
B235/S24678
B2345/S24678
B23458/S24678
B234578/S24678
B23457/S24678
B234567/S24678
B2345678/S24678
B234568/S24678
B23456/S24678
B2346/S24678
B23468/S24678
B234678/S24678
B23467/S24678
B2347/S24678
B23478/S24678
B2348/S24678
B234/S24678
B23/S2468
B238/S2468
B2378/S2468
B237/S2468
B2367/S2468
B23678/S2468
B2368/S2468
B236/S2468
B2356/S2468
B23568/S2468
B235678/S2468
B23567/S2468
B2357/S2468
B23578/S2468
B2358/S2468
B235/S2468
B2345/S2468
B23458/S2468
B234578/S2468
B23457/S2468
B234567/S2468
B2345678/S2468
B234568/S2468
B23456/S2468
B2346/S2468
B23468/S2468
B234678/S2468
B23467/S2468
B2347/S2468
B23478/S2468
B2348/S2468
B234/S2468
B23/S246
B238/S246
B2378/S246
B237/S246
B2367/S246
B23678/S246
B2368/S246
B236/S246
B2356/S246
B23568/S246
B235678/S246
B23567/S246
B2357/S246
B23578/S246
B2358/S246
B235/S246
B2345/S246
B23458/S246
B234578/S246
B23457/S246
B234567/S246
B2345678/S246
B234568/S246
B23456/S246
B2346/S246
B23468/S246
B234678/S246
B23467/S246
B2347/S246
B23478/S246
B2348/S246
B234/S246
B23/S2456
B238/S2456
B2378/S2456
B237/S2456
B2367/S2456
B23678/S2456
B2368/S2456
B236/S2456
B2356/S2456
B23568/S2456
B235678/S2456
B23567/S2456
B2357/S2456
B23578/S2456
B2358/S2456
B235/S2456
B2345/S2456
B23458/S2456
B234578/S2456
B23457/S2456
B234567/S2456
B2345678/S2456
B234568/S2456
B23456/S2456
B2346/S2456
B23468/S2456
B234678/S2456
B23467/S2456
B2347/S2456
B23478/S2456
B2348/S2456
B234/S2456
B23/S24568
B238/S24568
B2378/S24568
B237/S24568
B2367/S24568
B23678/S24568
B2368/S24568
B236/S24568
B2356/S24568
B23568/S24568
B235678/S24568
B23567/S24568
B2357/S24568
B23578/S24568
B2358/S24568
B235/S24568
B2345/S24568
B23458/S24568
B234578/S24568
B23457/S24568
B234567/S24568
B2345678/S24568
B234568/S24568
B23456/S24568
B2346/S24568
B23468/S24568
B234678/S24568
B23467/S24568
B2347/S24568
B23478/S24568
B2348/S24568
B234/S24568
B23/S245678
B238/S245678
B2378/S245678
B237/S245678
B2367/S245678
B23678/S245678
B2368/S245678
B236/S245678
B2356/S245678
B23568/S245678
B235678/S245678
B23567/S245678
B2357/S245678
B23578/S245678
B2358/S245678
B235/S245678
B2345/S245678
B23458/S245678
B234578/S245678
B23457/S245678
B234567/S245678
B2345678/S245678
B234568/S245678
B23456/S245678
B2346/S245678
B23468/S245678
B234678/S245678
B23467/S245678
B2347/S245678
B23478/S245678
B2348/S245678
B234/S245678
B23/S24567
B238/S24567
B2378/S24567
B237/S24567
B2367/S24567
B23678/S24567
B2368/S24567
B236/S24567
B2356/S24567
B23568/S24567
B235678/S24567
B23567/S24567
B2357/S24567
B23578/S24567
B2358/S24567
B235/S24567
B2345/S24567
B23458/S24567
B234578/S24567
B23457/S24567
B234567/S24567
B2345678/S24567
B234568/S24567
B23456/S24567
B2346/S24567
B23468/S24567
B234678/S24567
B23467/S24567
B2347/S24567
B23478/S24567
B2348/S24567
B234/S24567
B23/S2457
B238/S2457
B2378/S2457
B237/S2457
B2367/S2457
B23678/S2457
B2368/S2457
B236/S2457
B2356/S2457
B23568/S2457
B235678/S2457
B23567/S2457
B2357/S2457
B23578/S2457
B2358/S2457
B235/S2457
B2345/S2457
B23458/S2457
B234578/S2457
B23457/S2457
B234567/S2457
B2345678/S2457
B234568/S2457
B23456/S2457
B2346/S2457
B23468/S2457
B234678/S2457
B23467/S2457
B2347/S2457
B23478/S2457
B2348/S2457
B234/S2457
B23/S24578
B238/S24578
B2378/S24578
B237/S24578
B2367/S24578
B23678/S24578
B2368/S24578
B236/S24578
B2356/S24578
B23568/S24578
B235678/S24578
B23567/S24578
B2357/S24578
B23578/S24578
B2358/S24578
B235/S24578
B2345/S24578
B23458/S24578
B234578/S24578
B23457/S24578
B234567/S24578
B2345678/S24578
B234568/S24578
B23456/S24578
B2346/S24578
B23468/S24578
B234678/S24578
B23467/S24578
B2347/S24578
B23478/S24578
B2348/S24578
B234/S24578
B23/S2458
B238/S2458
B2378/S2458
B237/S2458
B2367/S2458
B23678/S2458
B2368/S2458
B236/S2458
B2356/S2458
B23568/S2458
B235678/S2458
B23567/S2458
B2357/S2458
B23578/S2458
B2358/S2458
B235/S2458
B2345/S2458
B23458/S2458
B234578/S2458
B23457/S2458
B234567/S2458
B2345678/S2458
B234568/S2458
B23456/S2458
B2346/S2458
B23468/S2458
B234678/S2458
B23467/S2458
B2347/S2458
B23478/S2458
B2348/S2458
B234/S2458
B23/S245
B238/S245
B2378/S245
B237/S245
B2367/S245
B23678/S245
B2368/S245
B236/S245
B2356/S245
B23568/S245
B235678/S245
B23567/S245
B2357/S245
B23578/S245
B2358/S245
B235/S245
B2345/S245
B23458/S245
B234578/S245
B23457/S245
B234567/S245
B2345678/S245
B234568/S245
B23456/S245
B2346/S245
B23468/S245
B234678/S245
B23467/S245
B2347/S245
B23478/S245
B2348/S245
B234/S245
B23/S25
B238/S25
B2378/S25
B237/S25
B2367/S25
B23678/S25
B2368/S25
B236/S25
B2356/S25
B23568/S25
B235678/S25
B23567/S25
B2357/S25
B23578/S25
B2358/S25
B235/S25
B2345/S25
B23458/S25
B234578/S25
B23457/S25
B234567/S25
B2345678/S25
B234568/S25
B23456/S25
B2346/S25
B23468/S25
B234678/S25
B23467/S25
B2347/S25
B23478/S25
B2348/S25
B234/S25
B23/S258
B238/S258
B2378/S258
B237/S258
B2367/S258
B23678/S258
B2368/S258
B236/S258
B2356/S258
B23568/S258
B235678/S258
B23567/S258
B2357/S258
B23578/S258
B2358/S258
B235/S258
B2345/S258
B23458/S258
B234578/S258
B23457/S258
B234567/S258
B2345678/S258
B234568/S258
B23456/S258
B2346/S258
B23468/S258
B234678/S258
B23467/S258
B2347/S258
B23478/S258
B2348/S258
B234/S258
B23/S2578
B238/S2578
B2378/S2578
B237/S2578
B2367/S2578
B23678/S2578
B2368/S2578
B236/S2578
B2356/S2578
B23568/S2578
B235678/S2578
B23567/S2578
B2357/S2578
B23578/S2578
B2358/S2578
B235/S2578
B2345/S2578
B23458/S2578
B234578/S2578
B23457/S2578
B234567/S2578
B2345678/S2578
B234568/S2578
B23456/S2578
B2346/S2578
B23468/S2578
B234678/S2578
B23467/S2578
B2347/S2578
B23478/S2578
B2348/S2578
B234/S2578
B23/S257
B238/S257
B2378/S257
B237/S257
B2367/S257
B23678/S257
B2368/S257
B236/S257
B2356/S257
B23568/S257
B235678/S257
B23567/S257
B2357/S257
B23578/S257
B2358/S257
B235/S257
B2345/S257
B23458/S257
B234578/S257
B23457/S257
B234567/S257
B2345678/S257
B234568/S257
B23456/S257
B2346/S257
B23468/S257
B234678/S257
B23467/S257
B2347/S257
B23478/S257
B2348/S257
B234/S257
B23/S2567
B238/S2567
B2378/S2567
B237/S2567
B2367/S2567
B23678/S2567
B2368/S2567
B236/S2567
B2356/S2567
B23568/S2567
B235678/S2567
B23567/S2567
B2357/S2567
B23578/S2567
B2358/S2567
B235/S2567
B2345/S2567
B23458/S2567
B234578/S2567
B23457/S2567
B234567/S2567
B2345678/S2567
B234568/S2567
B23456/S2567
B2346/S2567
B23468/S2567
B234678/S2567
B23467/S2567
B2347/S2567
B23478/S2567
B2348/S2567
B234/S2567
B23/S25678
B238/S25678
B2378/S25678
B237/S25678
B2367/S25678
B23678/S25678
B2368/S25678
B236/S25678
B2356/S25678
B23568/S25678
B235678/S25678
B23567/S25678
B2357/S25678
B23578/S25678
B2358/S25678
B235/S25678
B2345/S25678
B23458/S25678
B234578/S25678
B23457/S25678
B234567/S25678
B2345678/S25678
B234568/S25678
B23456/S25678
B2346/S25678
B23468/S25678
B234678/S25678
B23467/S25678
B2347/S25678
B23478/S25678
B2348/S25678
B234/S25678
B23/S2568
B238/S2568
B2378/S2568
B237/S2568
B2367/S2568
B23678/S2568
B2368/S2568
B236/S2568
B2356/S2568
B23568/S2568
B235678/S2568
B23567/S2568
B2357/S2568
B23578/S2568
B2358/S2568
B235/S2568
B2345/S2568
B23458/S2568
B234578/S2568
B23457/S2568
B234567/S2568
B2345678/S2568
B234568/S2568
B23456/S2568
B2346/S2568
B23468/S2568
B234678/S2568
B23467/S2568
B2347/S2568
B23478/S2568
B2348/S2568
B234/S2568
B23/S256
B238/S256
B2378/S256
B237/S256
B2367/S256
B23678/S256
B2368/S256
B236/S256
B2356/S256
B23568/S256
B235678/S256
B23567/S256
B2357/S256
B23578/S256
B2358/S256
B235/S256
B2345/S256
B23458/S256
B234578/S256
B23457/S256
B234567/S256
B2345678/S256
B234568/S256
B23456/S256
B2346/S256
B23468/S256
B234678/S256
B23467/S256
B2347/S256
B23478/S256
B2348/S256
B234/S256
B23/S26
B238/S26
B2378/S26
B237/S26
B2367/S26
B23678/S26
B2368/S26
B236/S26
B2356/S26
B23568/S26
B235678/S26
B23567/S26
B2357/S26
B23578/S26
B2358/S26
B235/S26
B2345/S26
B23458/S26
B234578/S26
B23457/S26
B234567/S26
B2345678/S26
B234568/S26
B23456/S26
B2346/S26
B23468/S26
B234678/S26
B23467/S26
B2347/S26
B23478/S26
B2348/S26
B234/S26
B23/S268
B238/S268
B2378/S268
B237/S268
B2367/S268
B23678/S268
B2368/S268
B236/S268
B2356/S268
B23568/S268
B235678/S268
B23567/S268
B2357/S268
B23578/S268
B2358/S268
B235/S268
B2345/S268
B23458/S268
B234578/S268
B23457/S268
B234567/S268
B2345678/S268
B234568/S268
B23456/S268
B2346/S268
B23468/S268
B234678/S268
B23467/S268
B2347/S268
B23478/S268
B2348/S268
B234/S268
B23/S2678
B238/S2678
B2378/S2678
B237/S2678
B2367/S2678
B23678/S2678
B2368/S2678
B236/S2678
B2356/S2678
B23568/S2678
B235678/S2678
B23567/S2678
B2357/S2678
B23578/S2678
B2358/S2678
B235/S2678
B2345/S2678
B23458/S2678
B234578/S2678
B23457/S2678
B234567/S2678
B2345678/S2678
B234568/S2678
B23456/S2678
B2346/S2678
B23468/S2678
B234678/S2678
B23467/S2678
B2347/S2678
B23478/S2678
B2348/S2678
B234/S2678
B23/S267
B238/S267
B2378/S267
B237/S267
B2367/S267
B23678/S267
B2368/S267
B236/S267
B2356/S267
B23568/S267
B235678/S267
B23567/S267
B2357/S267
B23578/S267
B2358/S267
B235/S267
B2345/S267
B23458/S267
B234578/S267
B23457/S267
B234567/S267
B2345678/S267
B234568/S267
B23456/S267
B2346/S267
B23468/S267
B234678/S267
B23467/S267
B2347/S267
B23478/S267
B2348/S267
B234/S267
B23/S27
B238/S27
B2378/S27
B237/S27
B2367/S27
B23678/S27
B2368/S27
B236/S27
B2356/S27
B23568/S27
B235678/S27
B23567/S27
B2357/S27
B23578/S27
B2358/S27
B235/S27
B2345/S27
B23458/S27
B234578/S27
B23457/S27
B234567/S27
B2345678/S27
B234568/S27
B23456/S27
B2346/S27
B23468/S27
B234678/S27
B23467/S27
B2347/S27
B23478/S27
B2348/S27
B234/S27
B23/S278
B238/S278
B2378/S278
B237/S278
B2367/S278
B23678/S278
B2368/S278
B236/S278
B2356/S278
B23568/S278
B235678/S278
B23567/S278
B2357/S278
B23578/S278
B2358/S278
B235/S278
B2345/S278
B23458/S278
B234578/S278
B23457/S278
B234567/S278
B2345678/S278
B234568/S278
B23456/S278
B2346/S278
B23468/S278
B234678/S278
B23467/S278
B2347/S278
B23478/S278
B2348/S278
B234/S278
B23/S28
B238/S28
B2378/S28
B237/S28
B2367/S28
B23678/S28
B2368/S28
B236/S28
B2356/S28
B23568/S28
B235678/S28
B23567/S28
B2357/S28
B23578/S28
B2358/S28
B235/S28
B2345/S28
B23458/S28
B234578/S28
B23457/S28
B234567/S28
B2345678/S28
B234568/S28
B23456/S28
B2346/S28
B23468/S28
B234678/S28
B23467/S28
B2347/S28
B23478/S28
B2348/S28
B234/S28
B23/S2
B238/S2
B2378/S2
B237/S2
B2367/S2
B23678/S2
B2368/S2
B236/S2
B2356/S2
B23568/S2
B235678/S2
B23567/S2
B2357/S2
B23578/S2
B2358/S2
B235/S2
B2345/S2
B23458/S2
B234578/S2
B23457/S2
B234567/S2
B2345678/S2
B234568/S2
B23456/S2
B2346/S2
B23468/S2
B234678/S2
B23467/S2
B2347/S2
B23478/S2
B2348/S2
B234/S2
B23/S12
B238/S12
B2378/S12
B237/S12
B2367/S12
B23678/S12
B2368/S12
B236/S12
B2356/S12
B23568/S12
B235678/S12
B23567/S12
B2357/S12
B23578/S12
B2358/S12
B235/S12
B2345/S12
B23458/S12
B234578/S12
B23457/S12
B234567/S12
B2345678/S12
B234568/S12
B23456/S12
B2346/S12
B23468/S12
B234678/S12
B23467/S12
B2347/S12
B23478/S12
B2348/S12
B234/S12
B23/S128
B238/S128
B2378/S128
B237/S128
B2367/S128
B23678/S128
B2368/S128
B236/S128
B2356/S128
B23568/S128
B235678/S128
B23567/S128
B2357/S128
B23578/S128
B2358/S128
B235/S128
B2345/S128
B23458/S128
B234578/S128
B23457/S128
B234567/S128
B2345678/S128
B234568/S128
B23456/S128
B2346/S128
B23468/S128
B234678/S128
B23467/S128
B2347/S128
B23478/S128
B2348/S128
B234/S128
B23/S1278
B238/S1278
B2378/S1278
B237/S1278
B2367/S1278
B23678/S1278
B2368/S1278
B236/S1278
B2356/S1278
B23568/S1278
B235678/S1278
B23567/S1278
B2357/S1278
B23578/S1278
B2358/S1278
B235/S1278
B2345/S1278
B23458/S1278
B234578/S1278
B23457/S1278
B234567/S1278
B2345678/S1278
B234568/S1278
B23456/S1278
B2346/S1278
B23468/S1278
B234678/S1278
B23467/S1278
B2347/S1278
B23478/S1278
B2348/S1278
B234/S1278
B23/S127
B238/S127
B2378/S127
B237/S127
B2367/S127
B23678/S127
B2368/S127
B236/S127
B2356/S127
B23568/S127
B235678/S127
B23567/S127
B2357/S127
B23578/S127
B2358/S127
B235/S127
B2345/S127
B23458/S127
B234578/S127
B23457/S127
B234567/S127
B2345678/S127
B234568/S127
B23456/S127
B2346/S127
B23468/S127
B234678/S127
B23467/S127
B2347/S127
B23478/S127
B2348/S127
B234/S127
B23/S1267
B238/S1267
B2378/S1267
B237/S1267
B2367/S1267
B23678/S1267
B2368/S1267
B236/S1267
B2356/S1267
B23568/S1267
B235678/S1267
B23567/S1267
B2357/S1267
B23578/S1267
B2358/S1267
B235/S1267
B2345/S1267
B23458/S1267
B234578/S1267
B23457/S1267
B234567/S1267
B2345678/S1267
B234568/S1267
B23456/S1267
B2346/S1267
B23468/S1267
B234678/S1267
B23467/S1267
B2347/S1267
B23478/S1267
B2348/S1267
B234/S1267
B23/S12678
B238/S12678
B2378/S12678
B237/S12678
B2367/S12678
B23678/S12678
B2368/S12678
B236/S12678
B2356/S12678
B23568/S12678
B235678/S12678
B23567/S12678
B2357/S12678
B23578/S12678
B2358/S12678
B235/S12678
B2345/S12678
B23458/S12678
B234578/S12678
B23457/S12678
B234567/S12678
B2345678/S12678
B234568/S12678
B23456/S12678
B2346/S12678
B23468/S12678
B234678/S12678
B23467/S12678
B2347/S12678
B23478/S12678
B2348/S12678
B234/S12678
B23/S1268
B238/S1268
B2378/S1268
B237/S1268
B2367/S1268
B23678/S1268
B2368/S1268
B236/S1268
B2356/S1268
B23568/S1268
B235678/S1268
B23567/S1268
B2357/S1268
B23578/S1268
B2358/S1268
B235/S1268
B2345/S1268
B23458/S1268
B234578/S1268
B23457/S1268
B234567/S1268
B2345678/S1268
B234568/S1268
B23456/S1268
B2346/S1268
B23468/S1268
B234678/S1268
B23467/S1268
B2347/S1268
B23478/S1268
B2348/S1268
B234/S1268
B23/S126
B238/S126
B2378/S126
B237/S126
B2367/S126
B23678/S126
B2368/S126
B236/S126
B2356/S126
B23568/S126
B235678/S126
B23567/S126
B2357/S126
B23578/S126
B2358/S126
B235/S126
B2345/S126
B23458/S126
B234578/S126
B23457/S126
B234567/S126
B2345678/S126
B234568/S126
B23456/S126
B2346/S126
B23468/S126
B234678/S126
B23467/S126
B2347/S126
B23478/S126
B2348/S126
B234/S126
B23/S1256
B238/S1256
B2378/S1256
B237/S1256
B2367/S1256
B23678/S1256
B2368/S1256
B236/S1256
B2356/S1256
B23568/S1256
B235678/S1256
B23567/S1256
B2357/S1256
B23578/S1256
B2358/S1256
B235/S1256
B2345/S1256
B23458/S1256
B234578/S1256
B23457/S1256
B234567/S1256
B2345678/S1256
B234568/S1256
B23456/S1256
B2346/S1256
B23468/S1256
B234678/S1256
B23467/S1256
B2347/S1256
B23478/S1256
B2348/S1256
B234/S1256
B23/S12568
B238/S12568
B2378/S12568
B237/S12568
B2367/S12568
B23678/S12568
B2368/S12568
B236/S12568
B2356/S12568
B23568/S12568
B235678/S12568
B23567/S12568
B2357/S12568
B23578/S12568
B2358/S12568
B235/S12568
B2345/S12568
B23458/S12568
B234578/S12568
B23457/S12568
B234567/S12568
B2345678/S12568
B234568/S12568
B23456/S12568
B2346/S12568
B23468/S12568
B234678/S12568
B23467/S12568
B2347/S12568
B23478/S12568
B2348/S12568
B234/S12568
B23/S125678
B238/S125678
B2378/S125678
B237/S125678
B2367/S125678
B23678/S125678
B2368/S125678
B236/S125678
B2356/S125678
B23568/S125678
B235678/S125678
B23567/S125678
B2357/S125678
B23578/S125678
B2358/S125678
B235/S125678
B2345/S125678
B23458/S125678
B234578/S125678
B23457/S125678
B234567/S125678
B2345678/S125678
B234568/S125678
B23456/S125678
B2346/S125678
B23468/S125678
B234678/S125678
B23467/S125678
B2347/S125678
B23478/S125678
B2348/S125678
B234/S125678
B23/S12567
B238/S12567
B2378/S12567
B237/S12567
B2367/S12567
B23678/S12567
B2368/S12567
B236/S12567
B2356/S12567
B23568/S12567
B235678/S12567
B23567/S12567
B2357/S12567
B23578/S12567
B2358/S12567
B235/S12567
B2345/S12567
B23458/S12567
B234578/S12567
B23457/S12567
B234567/S12567
B2345678/S12567
B234568/S12567
B23456/S12567
B2346/S12567
B23468/S12567
B234678/S12567
B23467/S12567
B2347/S12567
B23478/S12567
B2348/S12567
B234/S12567
B23/S1257
B238/S1257
B2378/S1257
B237/S1257
B2367/S1257
B23678/S1257
B2368/S1257
B236/S1257
B2356/S1257
B23568/S1257
B235678/S1257
B23567/S1257
B2357/S1257
B23578/S1257
B2358/S1257
B235/S1257
B2345/S1257
B23458/S1257
B234578/S1257
B23457/S1257
B234567/S1257
B2345678/S1257
B234568/S1257
B23456/S1257
B2346/S1257
B23468/S1257
B234678/S1257
B23467/S1257
B2347/S1257
B23478/S1257
B2348/S1257
B234/S1257
B23/S12578
B238/S12578
B2378/S12578
B237/S12578
B2367/S12578
B23678/S12578
B2368/S12578
B236/S12578
B2356/S12578
B23568/S12578
B235678/S12578
B23567/S12578
B2357/S12578
B23578/S12578
B2358/S12578
B235/S12578
B2345/S12578
B23458/S12578
B234578/S12578
B23457/S12578
B234567/S12578
B2345678/S12578
B234568/S12578
B23456/S12578
B2346/S12578
B23468/S12578
B234678/S12578
B23467/S12578
B2347/S12578
B23478/S12578
B2348/S12578
B234/S12578
B23/S1258
B238/S1258
B2378/S1258
B237/S1258
B2367/S1258
B23678/S1258
B2368/S1258
B236/S1258
B2356/S1258
B23568/S1258
B235678/S1258
B23567/S1258
B2357/S1258
B23578/S1258
B2358/S1258
B235/S1258
B2345/S1258
B23458/S1258
B234578/S1258
B23457/S1258
B234567/S1258
B2345678/S1258
B234568/S1258
B23456/S1258
B2346/S1258
B23468/S1258
B234678/S1258
B23467/S1258
B2347/S1258
B23478/S1258
B2348/S1258
B234/S1258
B23/S125
B238/S125
B2378/S125
B237/S125
B2367/S125
B23678/S125
B2368/S125
B236/S125
B2356/S125
B23568/S125
B235678/S125
B23567/S125
B2357/S125
B23578/S125
B2358/S125
B235/S125
B2345/S125
B23458/S125
B234578/S125
B23457/S125
B234567/S125
B2345678/S125
B234568/S125
B23456/S125
B2346/S125
B23468/S125
B234678/S125
B23467/S125
B2347/S125
B23478/S125
B2348/S125
B234/S125
B23/S1245
B238/S1245
B2378/S1245
B237/S1245
B2367/S1245
B23678/S1245
B2368/S1245
B236/S1245
B2356/S1245
B23568/S1245
B235678/S1245
B23567/S1245
B2357/S1245
B23578/S1245
B2358/S1245
B235/S1245
B2345/S1245
B23458/S1245
B234578/S1245
B23457/S1245
B234567/S1245
B2345678/S1245
B234568/S1245
B23456/S1245
B2346/S1245
B23468/S1245
B234678/S1245
B23467/S1245
B2347/S1245
B23478/S1245
B2348/S1245
B234/S1245
B23/S12458
B238/S12458
B2378/S12458
B237/S12458
B2367/S12458
B23678/S12458
B2368/S12458
B236/S12458
B2356/S12458
B23568/S12458
B235678/S12458
B23567/S12458
B2357/S12458
B23578/S12458
B2358/S12458
B235/S12458
B2345/S12458
B23458/S12458
B234578/S12458
B23457/S12458
B234567/S12458
B2345678/S12458
B234568/S12458
B23456/S12458
B2346/S12458
B23468/S12458
B234678/S12458
B23467/S12458
B2347/S12458
B23478/S12458
B2348/S12458
B234/S12458
B23/S124578
B238/S124578
B2378/S124578
B237/S124578
B2367/S124578
B23678/S124578
B2368/S124578
B236/S124578
B2356/S124578
B23568/S124578
B235678/S124578
B23567/S124578
B2357/S124578
B23578/S124578
B2358/S124578
B235/S124578
B2345/S124578
B23458/S124578
B234578/S124578
B23457/S124578
B234567/S124578
B2345678/S124578
B234568/S124578
B23456/S124578
B2346/S124578
B23468/S124578
B234678/S124578
B23467/S124578
B2347/S124578
B23478/S124578
B2348/S124578
B234/S124578
B23/S12457
B238/S12457
B2378/S12457
B237/S12457
B2367/S12457
B23678/S12457
B2368/S12457
B236/S12457
B2356/S12457
B23568/S12457
B235678/S12457
B23567/S12457
B2357/S12457
B23578/S12457
B2358/S12457
B235/S12457
B2345/S12457
B23458/S12457
B234578/S12457
B23457/S12457
B234567/S12457
B2345678/S12457
B234568/S12457
B23456/S12457
B2346/S12457
B23468/S12457
B234678/S12457
B23467/S12457
B2347/S12457
B23478/S12457
B2348/S12457
B234/S12457
B23/S124567
B238/S124567
B2378/S124567
B237/S124567
B2367/S124567
B23678/S124567
B2368/S124567
B236/S124567
B2356/S124567
B23568/S124567
B235678/S124567
B23567/S124567
B2357/S124567
B23578/S124567
B2358/S124567
B235/S124567
B2345/S124567
B23458/S124567
B234578/S124567
B23457/S124567
B234567/S124567
B2345678/S124567
B234568/S124567
B23456/S124567
B2346/S124567
B23468/S124567
B234678/S124567
B23467/S124567
B2347/S124567
B23478/S124567
B2348/S124567
B234/S124567
B23/S1245678
B238/S1245678
B2378/S1245678
B237/S1245678
B2367/S1245678
B23678/S1245678
B2368/S1245678
B236/S1245678
B2356/S1245678
B23568/S1245678
B235678/S1245678
B23567/S1245678
B2357/S1245678
B23578/S1245678
B2358/S1245678
B235/S1245678
B2345/S1245678
B23458/S1245678
B234578/S1245678
B23457/S1245678
B234567/S1245678
B2345678/S1245678
B234568/S1245678
B23456/S1245678
B2346/S1245678
B23468/S1245678
B234678/S1245678
B23467/S1245678
B2347/S1245678
B23478/S1245678
B2348/S1245678
B234/S1245678
B23/S124568
B238/S124568
B2378/S124568
B237/S124568
B2367/S124568
B23678/S124568
B2368/S124568
B236/S124568
B2356/S124568
B23568/S124568
B235678/S124568
B23567/S124568
B2357/S124568
B23578/S124568
B2358/S124568
B235/S124568
B2345/S124568
B23458/S124568
B234578/S124568
B23457/S124568
B234567/S124568
B2345678/S124568
B234568/S124568
B23456/S124568
B2346/S124568
B23468/S124568
B234678/S124568
B23467/S124568
B2347/S124568
B23478/S124568
B2348/S124568
B234/S124568
B23/S12456
B238/S12456
B2378/S12456
B237/S12456
B2367/S12456
B23678/S12456
B2368/S12456
B236/S12456
B2356/S12456
B23568/S12456
B235678/S12456
B23567/S12456
B2357/S12456
B23578/S12456
B2358/S12456
B235/S12456
B2345/S12456
B23458/S12456
B234578/S12456
B23457/S12456
B234567/S12456
B2345678/S12456
B234568/S12456
B23456/S12456
B2346/S12456
B23468/S12456
B234678/S12456
B23467/S12456
B2347/S12456
B23478/S12456
B2348/S12456
B234/S12456
B23/S1246
B238/S1246
B2378/S1246
B237/S1246
B2367/S1246
B23678/S1246
B2368/S1246
B236/S1246
B2356/S1246
B23568/S1246
B235678/S1246
B23567/S1246
B2357/S1246
B23578/S1246
B2358/S1246
B235/S1246
B2345/S1246
B23458/S1246
B234578/S1246
B23457/S1246
B234567/S1246
B2345678/S1246
B234568/S1246
B23456/S1246
B2346/S1246
B23468/S1246
B234678/S1246
B23467/S1246
B2347/S1246
B23478/S1246
B2348/S1246
B234/S1246
B23/S12468
B238/S12468
B2378/S12468
B237/S12468
B2367/S12468
B23678/S12468
B2368/S12468
B236/S12468
B2356/S12468
B23568/S12468
B235678/S12468
B23567/S12468
B2357/S12468
B23578/S12468
B2358/S12468
B235/S12468
B2345/S12468
B23458/S12468
B234578/S12468
B23457/S12468
B234567/S12468
B2345678/S12468
B234568/S12468
B23456/S12468
B2346/S12468
B23468/S12468
B234678/S12468
B23467/S12468
B2347/S12468
B23478/S12468
B2348/S12468
B234/S12468
B23/S124678
B238/S124678
B2378/S124678
B237/S124678
B2367/S124678
B23678/S124678
B2368/S124678
B236/S124678
B2356/S124678
B23568/S124678
B235678/S124678
B23567/S124678
B2357/S124678
B23578/S124678
B2358/S124678
B235/S124678
B2345/S124678
B23458/S124678
B234578/S124678
B23457/S124678
B234567/S124678
B2345678/S124678
B234568/S124678
B23456/S124678
B2346/S124678
B23468/S124678
B234678/S124678
B23467/S124678
B2347/S124678
B23478/S124678
B2348/S124678
B234/S124678
B23/S12467
B238/S12467
B2378/S12467
B237/S12467
B2367/S12467
B23678/S12467
B2368/S12467
B236/S12467
B2356/S12467
B23568/S12467
B235678/S12467
B23567/S12467
B2357/S12467
B23578/S12467
B2358/S12467
B235/S12467
B2345/S12467
B23458/S12467
B234578/S12467
B23457/S12467
B234567/S12467
B2345678/S12467
B234568/S12467
B23456/S12467
B2346/S12467
B23468/S12467
B234678/S12467
B23467/S12467
B2347/S12467
B23478/S12467
B2348/S12467
B234/S12467
B23/S1247
B238/S1247
B2378/S1247
B237/S1247
B2367/S1247
B23678/S1247
B2368/S1247
B236/S1247
B2356/S1247
B23568/S1247
B235678/S1247
B23567/S1247
B2357/S1247
B23578/S1247
B2358/S1247
B235/S1247
B2345/S1247
B23458/S1247
B234578/S1247
B23457/S1247
B234567/S1247
B2345678/S1247
B234568/S1247
B23456/S1247
B2346/S1247
B23468/S1247
B234678/S1247
B23467/S1247
B2347/S1247
B23478/S1247
B2348/S1247
B234/S1247
B23/S12478
B238/S12478
B2378/S12478
B237/S12478
B2367/S12478
B23678/S12478
B2368/S12478
B236/S12478
B2356/S12478
B23568/S12478
B235678/S12478
B23567/S12478
B2357/S12478
B23578/S12478
B2358/S12478
B235/S12478
B2345/S12478
B23458/S12478
B234578/S12478
B23457/S12478
B234567/S12478
B2345678/S12478
B234568/S12478
B23456/S12478
B2346/S12478
B23468/S12478
B234678/S12478
B23467/S12478
B2347/S12478
B23478/S12478
B2348/S12478
B234/S12478
B23/S1248
B238/S1248
B2378/S1248
B237/S1248
B2367/S1248
B23678/S1248
B2368/S1248
B236/S1248
B2356/S1248
B23568/S1248
B235678/S1248
B23567/S1248
B2357/S1248
B23578/S1248
B2358/S1248
B235/S1248
B2345/S1248
B23458/S1248
B234578/S1248
B23457/S1248
B234567/S1248
B2345678/S1248
B234568/S1248
B23456/S1248
B2346/S1248
B23468/S1248
B234678/S1248
B23467/S1248
B2347/S1248
B23478/S1248
B2348/S1248
B234/S1248
B23/S124
B238/S124
B2378/S124
B237/S124
B2367/S124
B23678/S124
B2368/S124
B236/S124
B2356/S124
B23568/S124
B235678/S124
B23567/S124
B2357/S124
B23578/S124
B2358/S124
B235/S124
B2345/S124
B23458/S124
B234578/S124
B23457/S124
B234567/S124
B2345678/S124
B234568/S124
B23456/S124
B2346/S124
B23468/S124
B234678/S124
B23467/S124
B2347/S124
B23478/S124
B2348/S124
B234/S124
B23/S1234
B238/S1234
B2378/S1234
B237/S1234
B2367/S1234
B23678/S1234
B2368/S1234
B236/S1234
B2356/S1234
B23568/S1234
B235678/S1234
B23567/S1234
B2357/S1234
B23578/S1234
B2358/S1234
B235/S1234
B2346/S1234
B23468/S1234
B234678/S1234
B23467/S1234
B2347/S1234
B23478/S1234
B2348/S1234
B234/S1234
B23/S12348
B238/S12348
B2378/S12348
B237/S12348
B2367/S12348
B23678/S12348
B2368/S12348
B236/S12348
B2356/S12348
B23568/S12348
B235678/S12348
B23567/S12348
B2357/S12348
B23578/S12348
B2358/S12348
B235/S12348
B2346/S12348
B23468/S12348
B234678/S12348
B23467/S12348
B2347/S12348
B23478/S12348
B2348/S12348
B234/S12348
B23/S123478
B238/S123478
B2378/S123478
B237/S123478
B2367/S123478
B23678/S123478
B2368/S123478
B236/S123478
B2356/S123478
B23568/S123478
B235678/S123478
B23567/S123478
B2357/S123478
B23578/S123478
B2358/S123478
B235/S123478
B2346/S123478
B23468/S123478
B234678/S123478
B23467/S123478
B2347/S123478
B23478/S123478
B2348/S123478
B234/S123478
B23/S12347
B238/S12347
B2378/S12347
B237/S12347
B2367/S12347
B23678/S12347
B2368/S12347
B236/S12347
B2356/S12347
B23568/S12347
B235678/S12347
B23567/S12347
B2357/S12347
B23578/S12347
B2358/S12347
B235/S12347
B2346/S12347
B23468/S12347
B234678/S12347
B23467/S12347
B2347/S12347
B23478/S12347
B2348/S12347
B234/S12347
B23/S123467
B238/S123467
B2378/S123467
B237/S123467
B2367/S123467
B23678/S123467
B2368/S123467
B236/S123467
B2356/S123467
B23568/S123467
B235678/S123467
B23567/S123467
B2357/S123467
B23578/S123467
B2358/S123467
B235/S123467
B2346/S123467
B23468/S123467
B234678/S123467
B23467/S123467
B2347/S123467
B23478/S123467
B2348/S123467
B234/S123467
B23/S1234678
B238/S1234678
B2378/S1234678
B237/S1234678
B2367/S1234678
B23678/S1234678
B2368/S1234678
B236/S1234678
B2356/S1234678
B23568/S1234678
B235678/S1234678
B23567/S1234678
B2357/S1234678
B23578/S1234678
B2358/S1234678
B235/S1234678
B2346/S1234678
B23468/S1234678
B234678/S1234678
B23467/S1234678
B2347/S1234678
B23478/S1234678
B2348/S1234678
B234/S1234678
B23/S123468
B238/S123468
B2378/S123468
B237/S123468
B2367/S123468
B23678/S123468
B2368/S123468
B236/S123468
B2356/S123468
B23568/S123468
B235678/S123468
B23567/S123468
B2357/S123468
B23578/S123468
B2358/S123468
B235/S123468
B2346/S123468
B23468/S123468
B234678/S123468
B23467/S123468
B2347/S123468
B23478/S123468
B2348/S123468
B234/S123468
B23/S12346
B238/S12346
B2378/S12346
B237/S12346
B2367/S12346
B23678/S12346
B2368/S12346
B236/S12346
B2356/S12346
B23568/S12346
B235678/S12346
B23567/S12346
B2357/S12346
B23578/S12346
B2358/S12346
B235/S12346
B2346/S12346
B23468/S12346
B234678/S12346
B23467/S12346
B2347/S12346
B23478/S12346
B2348/S12346
B234/S12346
B23/S123457
B238/S123457
B2378/S123457
B237/S123457
B2367/S123457
B23678/S123457
B2368/S123457
B236/S123457
B2356/S123457
B23568/S123457
B235678/S123457
B23567/S123457
B2357/S123457
B23578/S123457
B2358/S123457
B235/S123457
B23/S1234578
B238/S1234578
B2378/S1234578
B237/S1234578
B2367/S1234578
B23678/S1234578
B2368/S1234578
B236/S1234578
B2356/S1234578
B23568/S1234578
B235678/S1234578
B23567/S1234578
B2357/S1234578
B23578/S1234578
B2358/S1234578
B235/S1234578
B23/S123458
B238/S123458
B2378/S123458
B237/S123458
B2367/S123458
B23678/S123458
B2368/S123458
B236/S123458
B2356/S123458
B23568/S123458
B235678/S123458
B23567/S123458
B2357/S123458
B23578/S123458
B2358/S123458
B235/S123458
B23/S12345
B238/S12345
B2378/S12345
B237/S12345
B2367/S12345
B23678/S12345
B2368/S12345
B236/S12345
B2356/S12345
B23568/S12345
B235678/S12345
B23567/S12345
B2357/S12345
B23578/S12345
B2358/S12345
B235/S12345
B23/S1235
B238/S1235
B2378/S1235
B237/S1235
B2367/S1235
B23678/S1235
B2368/S1235
B236/S1235
B2356/S1235
B23568/S1235
B235678/S1235
B23567/S1235
B2357/S1235
B23578/S1235
B2358/S1235
B235/S1235
B2345/S1235
B23458/S1235
B234578/S1235
B23457/S1235
B234567/S1235
B2345678/S1235
B234568/S1235
B23456/S1235
B2346/S1235
B23468/S1235
B234678/S1235
B23467/S1235
B2347/S1235
B23478/S1235
B2348/S1235
B234/S1235
B23/S12358
B238/S12358
B2378/S12358
B237/S12358
B2367/S12358
B23678/S12358
B2368/S12358
B236/S12358
B2356/S12358
B23568/S12358
B235678/S12358
B23567/S12358
B2357/S12358
B23578/S12358
B2358/S12358
B235/S12358
B2345/S12358
B23458/S12358
B234578/S12358
B23457/S12358
B234567/S12358
B2345678/S12358
B234568/S12358
B23456/S12358
B2346/S12358
B23468/S12358
B234678/S12358
B23467/S12358
B2347/S12358
B23478/S12358
B2348/S12358
B234/S12358
B23/S123578
B238/S123578
B2378/S123578
B237/S123578
B2367/S123578
B23678/S123578
B2368/S123578
B236/S123578
B2356/S123578
B23568/S123578
B235678/S123578
B23567/S123578
B2357/S123578
B23578/S123578
B2358/S123578
B235/S123578
B2345/S123578
B23458/S123578
B234578/S123578
B23457/S123578
B234567/S123578
B2345678/S123578
B234568/S123578
B23456/S123578
B2346/S123578
B23468/S123578
B234678/S123578
B23467/S123578
B2347/S123578
B23478/S123578
B2348/S123578
B234/S123578
B23/S12357
B238/S12357
B2378/S12357
B237/S12357
B2367/S12357
B23678/S12357
B2368/S12357
B236/S12357
B2356/S12357
B23568/S12357
B235678/S12357
B23567/S12357
B2357/S12357
B23578/S12357
B2358/S12357
B235/S12357
B2345/S12357
B23458/S12357
B234578/S12357
B23457/S12357
B234567/S12357
B2345678/S12357
B234568/S12357
B23456/S12357
B2346/S12357
B23468/S12357
B234678/S12357
B23467/S12357
B2347/S12357
B23478/S12357
B2348/S12357
B234/S12357
B23/S123567
B238/S123567
B2378/S123567
B237/S123567
B2367/S123567
B23678/S123567
B2368/S123567
B236/S123567
B2356/S123567
B23568/S123567
B235678/S123567
B23567/S123567
B2357/S123567
B23578/S123567
B2358/S123567
B235/S123567
B2345/S123567
B23458/S123567
B234578/S123567
B23457/S123567
B234567/S123567
B2345678/S123567
B234568/S123567
B23456/S123567
B2346/S123567
B23468/S123567
B234678/S123567
B23467/S123567
B2347/S123567
B23478/S123567
B2348/S123567
B234/S123567
B23/S1235678
B238/S1235678
B2378/S1235678
B237/S1235678
B2367/S1235678
B23678/S1235678
B2368/S1235678
B236/S1235678
B2356/S1235678
B23568/S1235678
B235678/S1235678
B23567/S1235678
B2357/S1235678
B23578/S1235678
B2358/S1235678
B235/S1235678
B2345/S1235678
B23458/S1235678
B234578/S1235678
B23457/S1235678
B234567/S1235678
B2345678/S1235678
B234568/S1235678
B23456/S1235678
B2346/S1235678
B23468/S1235678
B234678/S1235678
B23467/S1235678
B2347/S1235678
B23478/S1235678
B2348/S1235678
B234/S1235678
B23/S123568
B238/S123568
B2378/S123568
B237/S123568
B2367/S123568
B23678/S123568
B2368/S123568
B236/S123568
B2356/S123568
B23568/S123568
B235678/S123568
B23567/S123568
B2357/S123568
B23578/S123568
B2358/S123568
B235/S123568
B2345/S123568
B23458/S123568
B234578/S123568
B23457/S123568
B234567/S123568
B2345678/S123568
B234568/S123568
B23456/S123568
B2346/S123568
B23468/S123568
B234678/S123568
B23467/S123568
B2347/S123568
B23478/S123568
B2348/S123568
B234/S123568
B23/S12356
B238/S12356
B2378/S12356
B237/S12356
B2367/S12356
B23678/S12356
B2368/S12356
B236/S12356
B2356/S12356
B23568/S12356
B235678/S12356
B23567/S12356
B2357/S12356
B23578/S12356
B2358/S12356
B235/S12356
B2345/S12356
B23458/S12356
B234578/S12356
B23457/S12356
B234567/S12356
B2345678/S12356
B234568/S12356
B23456/S12356
B2346/S12356
B23468/S12356
B234678/S12356
B23467/S12356
B2347/S12356
B23478/S12356
B2348/S12356
B234/S12356
B23/S1236
B238/S1236
B2378/S1236
B237/S1236
B2367/S1236
B23678/S1236
B2368/S1236
B236/S1236
B2356/S1236
B23568/S1236
B235678/S1236
B23567/S1236
B2357/S1236
B23578/S1236
B2358/S1236
B235/S1236
B2345/S1236
B23458/S1236
B234578/S1236
B23457/S1236
B234567/S1236
B2345678/S1236
B234568/S1236
B23456/S1236
B2346/S1236
B23468/S1236
B234678/S1236
B23467/S1236
B2347/S1236
B23478/S1236
B2348/S1236
B234/S1236
B23/S12368
B238/S12368
B2378/S12368
B237/S12368
B2367/S12368
B23678/S12368
B2368/S12368
B236/S12368
B2356/S12368
B23568/S12368
B235678/S12368
B23567/S12368
B2357/S12368
B23578/S12368
B2358/S12368
B235/S12368
B2345/S12368
B23458/S12368
B234578/S12368
B23457/S12368
B234567/S12368
B2345678/S12368
B234568/S12368
B23456/S12368
B2346/S12368
B23468/S12368
B234678/S12368
B23467/S12368
B2347/S12368
B23478/S12368
B2348/S12368
B234/S12368
B23/S123678
B238/S123678
B2378/S123678
B237/S123678
B2367/S123678
B23678/S123678
B2368/S123678
B236/S123678
B2356/S123678
B23568/S123678
B235678/S123678
B23567/S123678
B2357/S123678
B23578/S123678
B2358/S123678
B235/S123678
B2345/S123678
B23458/S123678
B234578/S123678
B23457/S123678
B234567/S123678
B2345678/S123678
B234568/S123678
B23456/S123678
B2346/S123678
B23468/S123678
B234678/S123678
B23467/S123678
B2347/S123678
B23478/S123678
B2348/S123678
B234/S123678
B23/S12367
B238/S12367
B2378/S12367
B237/S12367
B2367/S12367
B23678/S12367
B2368/S12367
B236/S12367
B2356/S12367
B23568/S12367
B235678/S12367
B23567/S12367
B2357/S12367
B23578/S12367
B2358/S12367
B235/S12367
B2345/S12367
B23458/S12367
B234578/S12367
B23457/S12367
B234567/S12367
B2345678/S12367
B234568/S12367
B23456/S12367
B2346/S12367
B23468/S12367
B234678/S12367
B23467/S12367
B2347/S12367
B23478/S12367
B2348/S12367
B234/S12367
B23/S1237
B238/S1237
B2378/S1237
B237/S1237
B2367/S1237
B23678/S1237
B2368/S1237
B236/S1237
B2356/S1237
B23568/S1237
B235678/S1237
B23567/S1237
B2357/S1237
B23578/S1237
B2358/S1237
B235/S1237
B2345/S1237
B23458/S1237
B234578/S1237
B23457/S1237
B234567/S1237
B2345678/S1237
B234568/S1237
B23456/S1237
B2346/S1237
B23468/S1237
B234678/S1237
B23467/S1237
B2347/S1237
B23478/S1237
B2348/S1237
B234/S1237
B23/S12378
B238/S12378
B2378/S12378
B237/S12378
B2367/S12378
B23678/S12378
B2368/S12378
B236/S12378
B2356/S12378
B23568/S12378
B235678/S12378
B23567/S12378
B2357/S12378
B23578/S12378
B2358/S12378
B235/S12378
B2345/S12378
B23458/S12378
B234578/S12378
B23457/S12378
B234567/S12378
B2345678/S12378
B234568/S12378
B23456/S12378
B2346/S12378
B23468/S12378
B234678/S12378
B23467/S12378
B2347/S12378
B23478/S12378
B2348/S12378
B234/S12378
B23/S1238
B238/S1238
B2378/S1238
B237/S1238
B2367/S1238
B23678/S1238
B2368/S1238
B236/S1238
B2356/S1238
B23568/S1238
B235678/S1238
B23567/S1238
B2357/S1238
B23578/S1238
B2358/S1238
B235/S1238
B2345/S1238
B23458/S1238
B234578/S1238
B23457/S1238
B234567/S1238
B2345678/S1238
B234568/S1238
B23456/S1238
B2346/S1238
B23468/S1238
B234678/S1238
B23467/S1238
B2347/S1238
B23478/S1238
B2348/S1238
B234/S1238
B23/S123
B238/S123
B2378/S123
B237/S123
B2367/S123
B23678/S123
B2368/S123
B236/S123
B2356/S123
B23568/S123
B235678/S123
B23567/S123
B2357/S123
B23578/S123
B2358/S123
B235/S123
B2345/S123
B23458/S123
B234578/S123
B23457/S123
B234567/S123
B2345678/S123
B234568/S123
B23456/S123
B2346/S123
B23468/S123
B234678/S123
B23467/S123
B2347/S123
B23478/S123
B2348/S123
B234/S123
B23/S13
B238/S13
B2378/S13
B237/S13

B23-rules-s2s.txt:

Code: Select all

B2367/S13
B23678/S13
B2368/S13
B236/S13
B2356/S13
B23568/S13
B235678/S13
B23567/S13
B2357/S13
B23578/S13
B2358/S13
B235/S13
B2345/S13
B23458/S13
B234578/S13
B23457/S13
B234567/S13
B2345678/S13
B234568/S13
B23456/S13
B2346/S13
B23468/S13
B234678/S13
B23467/S13
B2347/S13
B23478/S13
B2348/S13
B234/S13
B23/S138
B238/S138
B2378/S138
B237/S138
B2367/S138
B23678/S138
B2368/S138
B236/S138
B2356/S138
B23568/S138
B235678/S138
B23567/S138
B2357/S138
B23578/S138
B2358/S138
B235/S138
B2345/S138
B23458/S138
B234578/S138
B23457/S138
B234567/S138
B2345678/S138
B234568/S138
B23456/S138
B2346/S138
B23468/S138
B234678/S138
B23467/S138
B2347/S138
B23478/S138
B2348/S138
B234/S138
B23/S1378
B238/S1378
B2378/S1378
B237/S1378
B2367/S1378
B23678/S1378
B2368/S1378
B236/S1378
B2356/S1378
B23568/S1378
B235678/S1378
B23567/S1378
B2357/S1378
B23578/S1378
B2358/S1378
B235/S1378
B2345/S1378
B23458/S1378
B234578/S1378
B23457/S1378
B234567/S1378
B2345678/S1378
B234568/S1378
B23456/S1378
B2346/S1378
B23468/S1378
B234678/S1378
B23467/S1378
B2347/S1378
B23478/S1378
B2348/S1378
B234/S1378
B23/S137
B238/S137
B2378/S137
B237/S137
B2367/S137
B23678/S137
B2368/S137
B236/S137
B2356/S137
B23568/S137
B235678/S137
B23567/S137
B2357/S137
B23578/S137
B2358/S137
B235/S137
B2345/S137
B23458/S137
B234578/S137
B23457/S137
B234567/S137
B2345678/S137
B234568/S137
B23456/S137
B2346/S137
B23468/S137
B234678/S137
B23467/S137
B2347/S137
B23478/S137
B2348/S137
B234/S137
B23/S1367
B238/S1367
B2378/S1367
B237/S1367
B2367/S1367
B23678/S1367
B2368/S1367
B236/S1367
B2356/S1367
B23568/S1367
B235678/S1367
B23567/S1367
B2357/S1367
B23578/S1367
B2358/S1367
B235/S1367
B2345/S1367
B23458/S1367
B234578/S1367
B23457/S1367
B234567/S1367
B2345678/S1367
B234568/S1367
B23456/S1367
B2346/S1367
B23468/S1367
B234678/S1367
B23467/S1367
B2347/S1367
B23478/S1367
B2348/S1367
B234/S1367
B23/S13678
B238/S13678
B2378/S13678
B237/S13678
B2367/S13678
B23678/S13678
B2368/S13678
B236/S13678
B2356/S13678
B23568/S13678
B235678/S13678
B23567/S13678
B2357/S13678
B23578/S13678
B2358/S13678
B235/S13678
B2345/S13678
B23458/S13678
B234578/S13678
B23457/S13678
B234567/S13678
B2345678/S13678
B234568/S13678
B23456/S13678
B2346/S13678
B23468/S13678
B234678/S13678
B23467/S13678
B2347/S13678
B23478/S13678
B2348/S13678
B234/S13678
B23/S1368
B238/S1368
B2378/S1368
B237/S1368
B2367/S1368
B23678/S1368
B2368/S1368
B236/S1368
B2356/S1368
B23568/S1368
B235678/S1368
B23567/S1368
B2357/S1368
B23578/S1368
B2358/S1368
B235/S1368
B2345/S1368
B23458/S1368
B234578/S1368
B23457/S1368
B234567/S1368
B2345678/S1368
B234568/S1368
B23456/S1368
B2346/S1368
B23468/S1368
B234678/S1368
B23467/S1368
B2347/S1368
B23478/S1368
B2348/S1368
B234/S1368
B23/S136
B238/S136
B2378/S136
B237/S136
B2367/S136
B23678/S136
B2368/S136
B236/S136
B2356/S136
B23568/S136
B235678/S136
B23567/S136
B2357/S136
B23578/S136
B2358/S136
B235/S136
B2345/S136
B23458/S136
B234578/S136
B23457/S136
B234567/S136
B2345678/S136
B234568/S136
B23456/S136
B2346/S136
B23468/S136
B234678/S136
B23467/S136
B2347/S136
B23478/S136
B2348/S136
B234/S136
B23/S1356
B238/S1356
B2378/S1356
B237/S1356
B2367/S1356
B23678/S1356
B2368/S1356
B236/S1356
B2356/S1356
B23568/S1356
B235678/S1356
B23567/S1356
B2357/S1356
B23578/S1356
B2358/S1356
B235/S1356
B2345/S1356
B23458/S1356
B234578/S1356
B23457/S1356
B234567/S1356
B2345678/S1356
B234568/S1356
B23456/S1356
B2346/S1356
B23468/S1356
B234678/S1356
B23467/S1356
B2347/S1356
B23478/S1356
B2348/S1356
B234/S1356
B23/S13568
B238/S13568
B2378/S13568
B237/S13568
B2367/S13568
B23678/S13568
B2368/S13568
B236/S13568
B2356/S13568
B23568/S13568
B235678/S13568
B23567/S13568
B2357/S13568
B23578/S13568
B2358/S13568
B235/S13568
B2345/S13568
B23458/S13568
B234578/S13568
B23457/S13568
B234567/S13568
B2345678/S13568
B234568/S13568
B23456/S13568
B2346/S13568
B23468/S13568
B234678/S13568
B23467/S13568
B2347/S13568
B23478/S13568
B2348/S13568
B234/S13568
B23/S135678
B238/S135678
B2378/S135678
B237/S135678
B2367/S135678
B23678/S135678
B2368/S135678
B236/S135678
B2356/S135678
B23568/S135678
B235678/S135678
B23567/S135678
B2357/S135678
B23578/S135678
B2358/S135678
B235/S135678
B2345/S135678
B23458/S135678
B234578/S135678
B23457/S135678
B234567/S135678
B2345678/S135678
B234568/S135678
B23456/S135678
B2346/S135678
B23468/S135678
B234678/S135678
B23467/S135678
B2347/S135678
B23478/S135678
B2348/S135678
B234/S135678
B23/S13567
B238/S13567
B2378/S13567
B237/S13567
B2367/S13567
B23678/S13567
B2368/S13567
B236/S13567
B2356/S13567
B23568/S13567
B235678/S13567
B23567/S13567
B2357/S13567
B23578/S13567
B2358/S13567
B235/S13567
B2345/S13567
B23458/S13567
B234578/S13567
B23457/S13567
B234567/S13567
B2345678/S13567
B234568/S13567
B23456/S13567
B2346/S13567
B23468/S13567
B234678/S13567
B23467/S13567
B2347/S13567
B23478/S13567
B2348/S13567
B234/S13567
B23/S1357
B238/S1357
B2378/S1357
B237/S1357
B2367/S1357
B23678/S1357
B2368/S1357
B236/S1357
B2356/S1357
B23568/S1357
B235678/S1357
B23567/S1357
B2357/S1357
B23578/S1357
B2358/S1357
B235/S1357
B2345/S1357
B23458/S1357
B234578/S1357
B23457/S1357
B234567/S1357
B2345678/S1357
B234568/S1357
B23456/S1357
B2346/S1357
B23468/S1357
B234678/S1357
B23467/S1357
B2347/S1357
B23478/S1357
B2348/S1357
B234/S1357
B23/S13578
B238/S13578
B2378/S13578
B237/S13578
B2367/S13578
B23678/S13578
B2368/S13578
B236/S13578
B2356/S13578
B23568/S13578
B235678/S13578
B23567/S13578
B2357/S13578
B23578/S13578
B2358/S13578
B235/S13578
B2345/S13578
B23458/S13578
B234578/S13578
B23457/S13578
B234567/S13578
B2345678/S13578
B234568/S13578
B23456/S13578
B2346/S13578
B23468/S13578
B234678/S13578
B23467/S13578
B2347/S13578
B23478/S13578
B2348/S13578
B234/S13578
B23/S1358
B238/S1358
B2378/S1358
B237/S1358
B2367/S1358
B23678/S1358
B2368/S1358
B236/S1358
B2356/S1358
B23568/S1358
B235678/S1358
B23567/S1358
B2357/S1358
B23578/S1358
B2358/S1358
B235/S1358
B2345/S1358
B23458/S1358
B234578/S1358
B23457/S1358
B234567/S1358
B2345678/S1358
B234568/S1358
B23456/S1358
B2346/S1358
B23468/S1358
B234678/S1358
B23467/S1358
B2347/S1358
B23478/S1358
B2348/S1358
B234/S1358
B23/S135
B238/S135
B2378/S135
B237/S135
B2367/S135
B23678/S135
B2368/S135
B236/S135
B2356/S135
B23568/S135
B235678/S135
B23567/S135
B2357/S135
B23578/S135
B2358/S135
B235/S135
B2345/S135
B23458/S135
B234578/S135
B23457/S135
B234567/S135
B2345678/S135
B234568/S135
B23456/S135
B2346/S135
B23468/S135
B234678/S135
B23467/S135
B2347/S135
B23478/S135
B2348/S135
B234/S135
B23/S1345
B238/S1345
B2378/S1345
B237/S1345
B2367/S1345
B23678/S1345
B2368/S1345
B236/S1345
B2356/S1345
B23568/S1345
B235678/S1345
B23567/S1345
B2357/S1345
B23578/S1345
B2358/S1345
B235/S1345
B2345/S1345
B23458/S1345
B234578/S1345
B23457/S1345
B234567/S1345
B2345678/S1345
B234568/S1345
B23456/S1345
B2346/S1345
B23468/S1345
B234678/S1345
B23467/S1345
B2347/S1345
B23478/S1345
B2348/S1345
B234/S1345
B23/S13458
B238/S13458
B2378/S13458
B237/S13458
B2367/S13458
B23678/S13458
B2368/S13458
B236/S13458
B2356/S13458
B23568/S13458
B235678/S13458
B23567/S13458
B2357/S13458
B23578/S13458
B2358/S13458
B235/S13458
B2345/S13458
B23458/S13458
B234578/S13458
B23457/S13458
B234567/S13458
B2345678/S13458
B234568/S13458
B23456/S13458
B2346/S13458
B23468/S13458
B234678/S13458
B23467/S13458
B2347/S13458
B23478/S13458
B2348/S13458
B234/S13458
B23/S134578
B238/S134578
B2378/S134578
B237/S134578
B2367/S134578
B23678/S134578
B2368/S134578
B236/S134578
B2356/S134578
B23568/S134578
B235678/S134578
B23567/S134578
B2357/S134578
B23578/S134578
B2358/S134578
B235/S134578
B2345/S134578
B23458/S134578
B234578/S134578
B23457/S134578
B234567/S134578
B2345678/S134578
B234568/S134578
B23456/S134578
B2346/S134578
B23468/S134578
B234678/S134578
B23467/S134578
B2347/S134578
B23478/S134578
B2348/S134578
B234/S134578
B23/S13457
B238/S13457
B2378/S13457
B237/S13457
B2367/S13457
B23678/S13457
B2368/S13457
B236/S13457
B2356/S13457
B23568/S13457
B235678/S13457
B23567/S13457
B2357/S13457
B23578/S13457
B2358/S13457
B235/S13457
B2345/S13457
B23458/S13457
B234578/S13457
B23457/S13457
B234567/S13457
B2345678/S13457
B234568/S13457
B23456/S13457
B2346/S13457
B23468/S13457
B234678/S13457
B23467/S13457
B2347/S13457
B23478/S13457
B2348/S13457
B234/S13457
B23/S134567
B238/S134567
B2378/S134567
B237/S134567
B2367/S134567
B23678/S134567
B2368/S134567
B236/S134567
B2356/S134567
B23568/S134567
B235678/S134567
B23567/S134567
B2357/S134567
B23578/S134567
B2358/S134567
B235/S134567
B2345/S134567
B23458/S134567
B234578/S134567
B23457/S134567
B234567/S134567
B2345678/S134567
B234568/S134567
B23456/S134567
B2346/S134567
B23468/S134567
B234678/S134567
B23467/S134567
B2347/S134567
B23478/S134567
B2348/S134567
B234/S134567
B23/S1345678
B238/S1345678
B2378/S1345678
B237/S1345678
B2367/S1345678
B23678/S1345678
B2368/S1345678
B236/S1345678
B2356/S1345678
B23568/S1345678
B235678/S1345678
B23567/S1345678
B2357/S1345678
B23578/S1345678
B2358/S1345678
B235/S1345678
B2345/S1345678
B23458/S1345678
B234578/S1345678
B23457/S1345678
B234567/S1345678
B2345678/S1345678
B234568/S1345678
B23456/S1345678
B2346/S1345678
B23468/S1345678
B234678/S1345678
B23467/S1345678
B2347/S1345678
B23478/S1345678
B2348/S1345678
B234/S1345678
B23/S134568
B238/S134568
B2378/S134568
B237/S134568
B2367/S134568
B23678/S134568
B2368/S134568
B236/S134568
B2356/S134568
B23568/S134568
B235678/S134568
B23567/S134568
B2357/S134568
B23578/S134568
B2358/S134568
B235/S134568
B2345/S134568
B23458/S134568
B234578/S134568
B23457/S134568
B234567/S134568
B2345678/S134568
B234568/S134568
B23456/S134568
B2346/S134568
B23468/S134568
B234678/S134568
B23467/S134568
B2347/S134568
B23478/S134568
B2348/S134568
B234/S134568
B23/S13456
B238/S13456
B2378/S13456
B237/S13456
B2367/S13456
B23678/S13456
B2368/S13456
B236/S13456
B2356/S13456
B23568/S13456
B235678/S13456
B23567/S13456
B2357/S13456
B23578/S13456
B2358/S13456
B235/S13456
B2345/S13456
B23458/S13456
B234578/S13456
B23457/S13456
B234567/S13456
B2345678/S13456
B234568/S13456
B23456/S13456
B2346/S13456
B23468/S13456
B234678/S13456
B23467/S13456
B2347/S13456
B23478/S13456
B2348/S13456
B234/S13456
B23/S1346
B238/S1346
B2378/S1346
B237/S1346
B2367/S1346
B23678/S1346
B2368/S1346
B236/S1346
B2356/S1346
B23568/S1346
B235678/S1346
B23567/S1346
B2357/S1346
B23578/S1346
B2358/S1346
B235/S1346
B2345/S1346
B23458/S1346
B234578/S1346
B23457/S1346
B234567/S1346
B2345678/S1346
B234568/S1346
B23456/S1346
B2346/S1346
B23468/S1346
B234678/S1346
B23467/S1346
B2347/S1346
B23478/S1346
B2348/S1346
B234/S1346
B23/S13468
B238/S13468
B2378/S13468
B237/S13468
B2367/S13468
B23678/S13468
B2368/S13468
B236/S13468
B2356/S13468
B23568/S13468
B235678/S13468
B23567/S13468
B2357/S13468
B23578/S13468
B2358/S13468
B235/S13468
B2345/S13468
B23458/S13468
B234578/S13468
B23457/S13468
B234567/S13468
B2345678/S13468
B234568/S13468
B23456/S13468
B2346/S13468
B23468/S13468
B234678/S13468
B23467/S13468
B2347/S13468
B23478/S13468
B2348/S13468
B234/S13468
B23/S134678
B238/S134678
B2378/S134678
B237/S134678
B2367/S134678
B23678/S134678
B2368/S134678
B236/S134678
B2356/S134678
B23568/S134678
B235678/S134678
B23567/S134678
B2357/S134678
B23578/S134678
B2358/S134678
B235/S134678
B2345/S134678
B23458/S134678
B234578/S134678
B23457/S134678
B234567/S134678
B2345678/S134678
B234568/S134678
B23456/S134678
B2346/S134678
B23468/S134678
B234678/S134678
B23467/S134678
B2347/S134678
B23478/S134678
B2348/S134678
B234/S134678
B23/S13467
B238/S13467
B2378/S13467
B237/S13467
B2367/S13467
B23678/S13467
B2368/S13467
B236/S13467
B2356/S13467
B23568/S13467
B235678/S13467
B23567/S13467
B2357/S13467
B23578/S13467
B2358/S13467
B235/S13467
B2345/S13467
B23458/S13467
B234578/S13467
B23457/S13467
B234567/S13467
B2345678/S13467
B234568/S13467
B23456/S13467
B2346/S13467
B23468/S13467
B234678/S13467
B23467/S13467
B2347/S13467
B23478/S13467
B2348/S13467
B234/S13467
B23/S1347
B238/S1347
B2378/S1347
B237/S1347
B2367/S1347
B23678/S1347
B2368/S1347
B236/S1347
B2356/S1347
B23568/S1347
B235678/S1347
B23567/S1347
B2357/S1347
B23578/S1347
B2358/S1347
B235/S1347
B2345/S1347
B23458/S1347
B234578/S1347
B23457/S1347
B234567/S1347
B2345678/S1347
B234568/S1347
B23456/S1347
B2346/S1347
B23468/S1347
B234678/S1347
B23467/S1347
B2347/S1347
B23478/S1347
B2348/S1347
B234/S1347
B23/S13478
B238/S13478
B2378/S13478
B237/S13478
B2367/S13478
B23678/S13478
B2368/S13478
B236/S13478
B2356/S13478
B23568/S13478
B235678/S13478
B23567/S13478
B2357/S13478
B23578/S13478
B2358/S13478
B235/S13478
B2345/S13478
B23458/S13478
B234578/S13478
B23457/S13478
B234567/S13478
B2345678/S13478
B234568/S13478
B23456/S13478
B2346/S13478
B23468/S13478
B234678/S13478
B23467/S13478
B2347/S13478
B23478/S13478
B2348/S13478
B234/S13478
B23/S1348
B238/S1348
B2378/S1348
B237/S1348
B2367/S1348
B23678/S1348
B2368/S1348
B236/S1348
B2356/S1348
B23568/S1348
B235678/S1348
B23567/S1348
B2357/S1348
B23578/S1348
B2358/S1348
B235/S1348
B2345/S1348
B23458/S1348
B234578/S1348
B23457/S1348
B234567/S1348
B2345678/S1348
B234568/S1348
B23456/S1348
B2346/S1348
B23468/S1348
B234678/S1348
B23467/S1348
B2347/S1348
B23478/S1348
B2348/S1348
B234/S1348
B23/S134
B238/S134
B2378/S134
B237/S134
B2367/S134
B23678/S134
B2368/S134
B236/S134
B2356/S134
B23568/S134
B235678/S134
B23567/S134
B2357/S134
B23578/S134
B2358/S134
B235/S134
B2345/S134
B23458/S134
B234578/S134
B23457/S134
B234567/S134
B2345678/S134
B234568/S134
B23456/S134
B2346/S134
B23468/S134
B234678/S134
B23467/S134
B2347/S134
B23478/S134
B2348/S134
B234/S134
B23/S14
B238/S14
B2378/S14
B237/S14
B2367/S14
B23678/S14
B2368/S14
B236/S14
B2356/S14
B23568/S14
B235678/S14
B23567/S14
B2357/S14
B23578/S14
B2358/S14
B235/S14
B2345/S14
B23458/S14
B234578/S14
B23457/S14
B234567/S14
B2345678/S14
B234568/S14
B23456/S14
B2346/S14
B23468/S14
B234678/S14
B23467/S14
B2347/S14
B23478/S14
B2348/S14
B234/S14
B23/S148
B238/S148
B2378/S148
B237/S148
B2367/S148
B23678/S148
B2368/S148
B236/S148
B2356/S148
B23568/S148
B235678/S148
B23567/S148
B2357/S148
B23578/S148
B2358/S148
B235/S148
B2345/S148
B23458/S148
B234578/S148
B23457/S148
B234567/S148
B2345678/S148
B234568/S148
B23456/S148
B2346/S148
B23468/S148
B234678/S148
B23467/S148
B2347/S148
B23478/S148
B2348/S148
B234/S148
B23/S1478
B238/S1478
B2378/S1478
B237/S1478
B2367/S1478
B23678/S1478
B2368/S1478
B236/S1478
B2356/S1478
B23568/S1478
B235678/S1478
B23567/S1478
B2357/S1478
B23578/S1478
B2358/S1478
B235/S1478
B2345/S1478
B23458/S1478
B234578/S1478
B23457/S1478
B234567/S1478
B2345678/S1478
B234568/S1478
B23456/S1478
B2346/S1478
B23468/S1478
B234678/S1478
B23467/S1478
B2347/S1478
B23478/S1478
B2348/S1478
B234/S1478
B23/S147
B238/S147
B2378/S147
B237/S147
B2367/S147
B23678/S147
B2368/S147
B236/S147
B2356/S147
B23568/S147
B235678/S147
B23567/S147
B2357/S147
B23578/S147
B2358/S147
B235/S147
B2345/S147
B23458/S147
B234578/S147
B23457/S147
B234567/S147
B2345678/S147
B234568/S147
B23456/S147
B2346/S147
B23468/S147
B234678/S147
B23467/S147
B2347/S147
B23478/S147
B2348/S147
B234/S147
B23/S1467
B238/S1467
B2378/S1467
B237/S1467
B2367/S1467
B23678/S1467
B2368/S1467
B236/S1467
B2356/S1467
B23568/S1467
B235678/S1467
B23567/S1467
B2357/S1467
B23578/S1467
B2358/S1467
B235/S1467
B2345/S1467
B23458/S1467
B234578/S1467
B23457/S1467
B234567/S1467
B2345678/S1467
B234568/S1467
B23456/S1467
B2346/S1467
B23468/S1467
B234678/S1467
B23467/S1467
B2347/S1467
B23478/S1467
B2348/S1467
B234/S1467
B23/S14678
B238/S14678
B2378/S14678
B237/S14678
B2367/S14678
B23678/S14678
B2368/S14678
B236/S14678
B2356/S14678
B23568/S14678
B235678/S14678
B23567/S14678
B2357/S14678
B23578/S14678
B2358/S14678
B235/S14678
B2345/S14678
B23458/S14678
B234578/S14678
B23457/S14678
B234567/S14678
B2345678/S14678
B234568/S14678
B23456/S14678
B2346/S14678
B23468/S14678
B234678/S14678
B23467/S14678
B2347/S14678
B23478/S14678
B2348/S14678
B234/S14678
B23/S1468
B238/S1468
B2378/S1468
B237/S1468
B2367/S1468
B23678/S1468
B2368/S1468
B236/S1468
B2356/S1468
B23568/S1468
B235678/S1468
B23567/S1468
B2357/S1468
B23578/S1468
B2358/S1468
B235/S1468
B2345/S1468
B23458/S1468
B234578/S1468
B23457/S1468
B234567/S1468
B2345678/S1468
B234568/S1468
B23456/S1468
B2346/S1468
B23468/S1468
B234678/S1468
B23467/S1468
B2347/S1468
B23478/S1468
B2348/S1468
B234/S1468
B23/S146
B238/S146
B2378/S146
B237/S146
B2367/S146
B23678/S146
B2368/S146
B236/S146
B2356/S146
B23568/S146
B235678/S146
B23567/S146
B2357/S146
B23578/S146
B2358/S146
B235/S146
B2345/S146
B23458/S146
B234578/S146
B23457/S146
B234567/S146
B2345678/S146
B234568/S146
B23456/S146
B2346/S146
B23468/S146
B234678/S146
B23467/S146
B2347/S146
B23478/S146
B2348/S146
B234/S146
B23/S1456
B238/S1456
B2378/S1456
B237/S1456
B2367/S1456
B23678/S1456
B2368/S1456
B236/S1456
B2356/S1456
B23568/S1456
B235678/S1456
B23567/S1456
B2357/S1456
B23578/S1456
B2358/S1456
B235/S1456
B2345/S1456
B23458/S1456
B234578/S1456
B23457/S1456
B234567/S1456
B2345678/S1456
B234568/S1456
B23456/S1456
B2346/S1456
B23468/S1456
B234678/S1456
B23467/S1456
B2347/S1456
B23478/S1456
B2348/S1456
B234/S1456
B23/S14568
B238/S14568
B2378/S14568
B237/S14568
B2367/S14568
B23678/S14568
B2368/S14568
B236/S14568
B2356/S14568
B23568/S14568
B235678/S14568
B23567/S14568
B2357/S14568
B23578/S14568
B2358/S14568
B235/S14568
B2345/S14568
B23458/S14568
B234578/S14568
B23457/S14568
B234567/S14568
B2345678/S14568
B234568/S14568
B23456/S14568
B2346/S14568
B23468/S14568
B234678/S14568
B23467/S14568
B2347/S14568
B23478/S14568
B2348/S14568
B234/S14568
B23/S145678
B238/S145678
B2378/S145678
B237/S145678
B2367/S145678
B23678/S145678
B2368/S145678
B236/S145678
B2356/S145678
B23568/S145678
B235678/S145678
B23567/S145678
B2357/S145678
B23578/S145678
B2358/S145678
B235/S145678
B2345/S145678
B23458/S145678
B234578/S145678
B23457/S145678
B234567/S145678
B2345678/S145678
B234568/S145678
B23456/S145678
B2346/S145678
B23468/S145678
B234678/S145678
B23467/S145678
B2347/S145678
B23478/S145678
B2348/S145678
B234/S145678
B23/S14567
B238/S14567
B2378/S14567
B237/S14567
B2367/S14567
B23678/S14567
B2368/S14567
B236/S14567
B2356/S14567
B23568/S14567
B235678/S14567
B23567/S14567
B2357/S14567
B23578/S14567
B2358/S14567
B235/S14567
B2345/S14567
B23458/S14567
B234578/S14567
B23457/S14567
B234567/S14567
B2345678/S14567
B234568/S14567
B23456/S14567
B2346/S14567
B23468/S14567
B234678/S14567
B23467/S14567
B2347/S14567
B23478/S14567
B2348/S14567
B234/S14567
B23/S1457
B238/S1457
B2378/S1457
B237/S1457
B2367/S1457
B23678/S1457
B2368/S1457
B236/S1457
B2356/S1457
B23568/S1457
B235678/S1457
B23567/S1457
B2357/S1457
B23578/S1457
B2358/S1457
B235/S1457
B2345/S1457
B23458/S1457
B234578/S1457
B23457/S1457
B234567/S1457
B2345678/S1457
B234568/S1457
B23456/S1457
B2346/S1457
B23468/S1457
B234678/S1457
B23467/S1457
B2347/S1457
B23478/S1457
B2348/S1457
B234/S1457
B23/S14578
B238/S14578
B2378/S14578
B237/S14578
B2367/S14578
B23678/S14578
B2368/S14578
B236/S14578
B2356/S14578
B23568/S14578
B235678/S14578
B23567/S14578
B2357/S14578
B23578/S14578
B2358/S14578
B235/S14578
B2345/S14578
B23458/S14578
B234578/S14578
B23457/S14578
B234567/S14578
B2345678/S14578
B234568/S14578
B23456/S14578
B2346/S14578
B23468/S14578
B234678/S14578
B23467/S14578
B2347/S14578
B23478/S14578
B2348/S14578
B234/S14578
B23/S1458
B238/S1458
B2378/S1458
B237/S1458
B2367/S1458
B23678/S1458
B2368/S1458
B236/S1458
B2356/S1458
B23568/S1458
B235678/S1458
B23567/S1458
B2357/S1458
B23578/S1458
B2358/S1458
B235/S1458
B2345/S1458
B23458/S1458
B234578/S1458
B23457/S1458
B234567/S1458
B2345678/S1458
B234568/S1458
B23456/S1458
B2346/S1458
B23468/S1458
B234678/S1458
B23467/S1458
B2347/S1458
B23478/S1458
B2348/S1458
B234/S1458
B23/S145
B238/S145
B2378/S145
B237/S145
B2367/S145
B23678/S145
B2368/S145
B236/S145
B2356/S145
B23568/S145
B235678/S145
B23567/S145
B2357/S145
B23578/S145
B2358/S145
B235/S145
B2345/S145
B23458/S145
B234578/S145
B23457/S145
B234567/S145
B2345678/S145
B234568/S145
B23456/S145
B2346/S145
B23468/S145
B234678/S145
B23467/S145
B2347/S145
B23478/S145
B2348/S145
B234/S145
B23/S15
B238/S15
B2378/S15
B237/S15
B2367/S15
B23678/S15
B2368/S15
B236/S15
B2356/S15
B23568/S15
B235678/S15
B23567/S15
B2357/S15
B23578/S15
B2358/S15
B235/S15
B2345/S15
B23458/S15
B234578/S15
B23457/S15
B234567/S15
B2345678/S15
B234568/S15
B23456/S15
B2346/S15
B23468/S15
B234678/S15
B23467/S15
B2347/S15
B23478/S15
B2348/S15
B234/S15
B23/S158
B238/S158
B2378/S158
B237/S158
B2367/S158
B23678/S158
B2368/S158
B236/S158
B2356/S158
B23568/S158
B235678/S158
B23567/S158
B2357/S158
B23578/S158
B2358/S158
B235/S158
B2345/S158
B23458/S158
B234578/S158
B23457/S158
B234567/S158
B2345678/S158
B234568/S158
B23456/S158
B2346/S158
B23468/S158
B234678/S158
B23467/S158
B2347/S158
B23478/S158
B2348/S158
B234/S158
B23/S1578
B238/S1578
B2378/S1578
B237/S1578
B2367/S1578
B23678/S1578
B2368/S1578
B236/S1578
B2356/S1578
B23568/S1578
B235678/S1578
B23567/S1578
B2357/S1578
B23578/S1578
B2358/S1578
B235/S1578
B2345/S1578
B23458/S1578
B234578/S1578
B23457/S1578
B234567/S1578
B2345678/S1578
B234568/S1578
B23456/S1578
B2346/S1578
B23468/S1578
B234678/S1578
B23467/S1578
B2347/S1578
B23478/S1578
B2348/S1578
B234/S1578
B23/S157
B238/S157
B2378/S157
B237/S157
B2367/S157
B23678/S157
B2368/S157
B236/S157
B2356/S157
B23568/S157
B235678/S157
B23567/S157
B2357/S157
B23578/S157
B2358/S157
B235/S157
B2345/S157
B23458/S157
B234578/S157
B23457/S157
B234567/S157
B2345678/S157
B234568/S157
B23456/S157
B2346/S157
B23468/S157
B234678/S157
B23467/S157
B2347/S157
B23478/S157
B2348/S157
B234/S157
B23/S1567
B238/S1567
B2378/S1567
B237/S1567
B2367/S1567
B23678/S1567
B2368/S1567
B236/S1567
B2356/S1567
B23568/S1567
B235678/S1567
B23567/S1567
B2357/S1567
B23578/S1567
B2358/S1567
B235/S1567
B2345/S1567
B23458/S1567
B234578/S1567
B23457/S1567
B234567/S1567
B2345678/S1567
B234568/S1567
B23456/S1567
B2346/S1567
B23468/S1567
B234678/S1567
B23467/S1567
B2347/S1567
B23478/S1567
B2348/S1567
B234/S1567
B23/S15678
B238/S15678
B2378/S15678
B237/S15678
B2367/S15678
B23678/S15678
B2368/S15678
B236/S15678
B2356/S15678
B23568/S15678
B235678/S15678
B23567/S15678
B2357/S15678
B23578/S15678
B2358/S15678
B235/S15678
B2345/S15678
B23458/S15678
B234578/S15678
B23457/S15678
B234567/S15678
B2345678/S15678
B234568/S15678
B23456/S15678
B2346/S15678
B23468/S15678
B234678/S15678
B23467/S15678
B2347/S15678
B23478/S15678
B2348/S15678
B234/S15678
B23/S1568
B238/S1568
B2378/S1568
B237/S1568
B2367/S1568
B23678/S1568
B2368/S1568
B236/S1568
B2356/S1568
B23568/S1568
B235678/S1568
B23567/S1568
B2357/S1568
B23578/S1568
B2358/S1568
B235/S1568
B2345/S1568
B23458/S1568
B234578/S1568
B23457/S1568
B234567/S1568
B2345678/S1568
B234568/S1568
B23456/S1568
B2346/S1568
B23468/S1568
B234678/S1568
B23467/S1568
B2347/S1568
B23478/S1568
B2348/S1568
B234/S1568
B23/S156
B238/S156
B2378/S156
B237/S156
B2367/S156
B23678/S156
B2368/S156
B236/S156
B2356/S156
B23568/S156
B235678/S156
B23567/S156
B2357/S156
B23578/S156
B2358/S156
B235/S156
B2345/S156
B23458/S156
B234578/S156
B23457/S156
B234567/S156
B2345678/S156
B234568/S156
B23456/S156
B2346/S156
B23468/S156
B234678/S156
B23467/S156
B2347/S156
B23478/S156
B2348/S156
B234/S156
B23/S16
B238/S16
B2378/S16
B237/S16
B2367/S16
B23678/S16
B2368/S16
B236/S16
B2356/S16
B23568/S16
B235678/S16
B23567/S16
B2357/S16
B23578/S16
B2358/S16
B235/S16
B2345/S16
B23458/S16
B234578/S16
B23457/S16
B234567/S16
B2345678/S16
B234568/S16
B23456/S16
B2346/S16
B23468/S16
B234678/S16
B23467/S16
B2347/S16
B23478/S16
B2348/S16
B234/S16
B23/S168
B238/S168
B2378/S168
B237/S168
B2367/S168
B23678/S168
B2368/S168
B236/S168
B2356/S168
B23568/S168
B235678/S168
B23567/S168
B2357/S168
B23578/S168
B2358/S168
B235/S168
B2345/S168
B23458/S168
B234578/S168
B23457/S168
B234567/S168
B2345678/S168
B234568/S168
B23456/S168
B2346/S168
B23468/S168
B234678/S168
B23467/S168
B2347/S168
B23478/S168
B2348/S168
B234/S168
B23/S1678
B238/S1678
B2378/S1678
B237/S1678
B2367/S1678
B23678/S1678
B2368/S1678
B236/S1678
B2356/S1678
B23568/S1678
B235678/S1678
B23567/S1678
B2357/S1678
B23578/S1678
B2358/S1678
B235/S1678
B2345/S1678
B23458/S1678
B234578/S1678
B23457/S1678
B234567/S1678
B2345678/S1678
B234568/S1678
B23456/S1678
B2346/S1678
B23468/S1678
B234678/S1678
B23467/S1678
B2347/S1678
B23478/S1678
B2348/S1678
B234/S1678
B23/S167
B238/S167
B2378/S167
B237/S167
B2367/S167
B23678/S167
B2368/S167
B236/S167
B2356/S167
B23568/S167
B235678/S167
B23567/S167
B2357/S167
B23578/S167
B2358/S167
B235/S167
B2345/S167
B23458/S167
B234578/S167
B23457/S167
B234567/S167
B2345678/S167
B234568/S167
B23456/S167
B2346/S167
B23468/S167
B234678/S167
B23467/S167
B2347/S167
B23478/S167
B2348/S167
B234/S167
B23/S17
B238/S17
B2378/S17
B237/S17
B2367/S17
B23678/S17
B2368/S17
B236/S17
B2356/S17
B23568/S17
B235678/S17
B23567/S17
B2357/S17
B23578/S17
B2358/S17
B235/S17
B2345/S17
B23458/S17
B234578/S17
B23457/S17
B234567/S17
B2345678/S17
B234568/S17
B23456/S17
B2346/S17
B23468/S17
B234678/S17
B23467/S17
B2347/S17
B23478/S17
B2348/S17
B234/S17
B23/S178
B238/S178
B2378/S178
B237/S178
B2367/S178
B23678/S178
B2368/S178
B236/S178
B2356/S178
B23568/S178
B235678/S178
B23567/S178
B2357/S178
B23578/S178
B2358/S178
B235/S178
B2345/S178
B23458/S178
B234578/S178
B23457/S178
B234567/S178
B2345678/S178
B234568/S178
B23456/S178
B2346/S178
B23468/S178
B234678/S178
B23467/S178
B2347/S178
B23478/S178
B2348/S178
B234/S178
B23/S18
B238/S18
B2378/S18
B237/S18
B2367/S18
B23678/S18
B2368/S18
B236/S18
B2356/S18
B23568/S18
B235678/S18
B23567/S18
B2357/S18
B23578/S18
B2358/S18
B235/S18
B2345/S18
B23458/S18
B234578/S18
B23457/S18
B234567/S18
B2345678/S18
B234568/S18
B23456/S18
B2346/S18
B23468/S18
B234678/S18
B23467/S18
B2347/S18
B23478/S18
B2348/S18
B234/S18
B23/S1
B238/S1
B2378/S1
B237/S1
B2367/S1
B23678/S1
B2368/S1
B236/S1
B2356/S1
B23568/S1
B235678/S1
B23567/S1
B2357/S1
B23578/S1
B2358/S1
B235/S1
B2345/S1
B23458/S1
B234578/S1
B23457/S1
B234567/S1
B2345678/S1
B234568/S1
B23456/S1
B2346/S1
B23468/S1
B234678/S1
B23467/S1
B2347/S1
B23478/S1
B2348/S1
B234/S1

[LaundryPizza03]

This command should have halted when a spaceship was found, but it did not:

Code: Select all

./rlife llsss-recentering-wao --rule B245/S34 c2-f2b 3.in 00 --wao-left-pad 00 --wao-right-pad 00 --wao-idx ALL --ends zero 16

I know this happened because it eventually returned a partial that contains a complete spaceship followed by random junk:

Code: Select all

20240928 00:27:42 [INFO] Random[ish] partial:
20240928 00:27:42 [INFO] | .......................................... | .......................................... |
20240928 00:27:42 [INFO] | .......................................... | .......................................... |
20240928 00:27:42 [INFO] | .......................................... | .......................................... |
20240928 00:27:42 [INFO] | ...*...................................... | ..*.*..................................... |
20240928 00:27:42 [INFO] | ...*.......*.............................. | ..........*.*............................. |
20240928 00:27:42 [INFO] | ...*.......*.............................. | .......................................... |
20240928 00:27:42 [INFO] | ...*.......*.............................. | ..*.*..................................... |
20240928 00:27:42 [INFO] | ...........*.............................. | ....*.*...*.*.....*....................... |
20240928 00:27:42 [INFO] | .....*.*.........*.*...................... | ......*..**.....*...*..................... |
20240928 00:27:42 [INFO] | ........**.....*...*...................... | ........*.......*......................... |
20240928 00:27:42 [INFO] | .......*....*........*.................... | ...........**...*..**..................... |
20240928 00:27:42 [INFO] | ..........****.****....................... | ...........*******........................ |
20240928 00:27:42 [INFO] | ..............***......................... | ...........**.*....*...................... |
20240928 00:27:42 [INFO] | ...........*....*.*....................... | .........*..***.*......................... |
20240928 00:27:42 [INFO] | ........*.**..**.......................... | .........*.**..*.......................... |
20240928 00:27:42 [INFO] | ............**..*......................... | ........*................................. |
20240928 00:27:42 [INFO] | .........*................................ | ...........*.............................. |
20240928 00:27:42 [INFO] | ............*............................. | .....*.......*...........*................ |
20240928 00:27:42 [INFO] | ....*.*.......*.........*.*............... | .....*.......*.....*.....*................ |
20240928 00:27:42 [INFO] | ..................*.*..................... | .....*.......*.....*.....*................ |
20240928 00:27:42 [INFO] | ............*............................. | .....*.....*.*.....*.....*................ |
20240928 00:27:42 [INFO] | ....*.*.....*..*........*.*............... | .........*.*..*.*..*...*.*.*.............. |
20240928 00:27:42 [INFO] | ......*.*.*.*..*..*.*...***............... | .......*...*.*..........*.*............... |
20240928 00:27:42 [INFO] | ........*...*.*..**.....***............... | .............*.*.*......*.*............... |
20240928 00:27:42 [INFO] | ..............*.*......*..*............... | ...............*.**......**............... |
20240928 00:27:42 [INFO] | ................*.........*............... | .........................**............... |
20240928 00:27:42 [INFO] | ..................*...**.**............... | .................*.****.*..*.............. |
20240928 00:27:42 [INFO] | ....................***........*.......... | ...................*.**.......*.*......... |
20240928 00:27:42 [INFO] | .........................*.....*.......... | .....................****................. |
20240928 00:27:42 [INFO] | .....................*.*.......*.......... | ......................*................... |
20240928 00:27:42 [INFO] | ......................**.......*.......... | .......................*......*.*......... |
20240928 00:27:42 [INFO] | ......................**.................. | .....................****...*.*........... |
20240928 00:27:42 [INFO] | ...........................*.*............ | ......................****..*............. |
20240928 00:27:42 [INFO] | .........................**............... | .......................*..*............... |
20240928 00:27:42 [INFO] | .......................**..*.............. | .......................................... |
20240928 00:27:42 [INFO] | .......................................... | .......................................... |
20240928 00:27:42 [INFO] | .....................*.*.................. | ....................*.*.*................. |
20240928 00:27:42 [INFO] | .....................*.*.................. | .......................................... |
20240928 00:27:42 [INFO] | .....................*.*.................. | .......................................... |
20240928 00:27:42 [INFO] | .....................*.*..........*....... | ....................*.*.*........*.*...... |
20240928 00:27:42 [INFO] | ..............................*...*....... | ......................*.......***......... |
20240928 00:27:42 [INFO] | .............................****...*..... | ..............................**.*...*.... |
20240928 00:27:42 [INFO] | .................................**...*... | ..............................***.*....*.. |
20240928 00:27:42 [INFO] | ..............................*.***...*... | .............................*..*.**.**... |
20240928 00:27:42 [INFO] | .............................*..**...**... | ............................****.....**... |

Code: Select all

x = 29, y = 37, rule = B245/S34
o$o7bo$o7bo$o7bo$8bo$2bobo9bobo$5b2o5bo3bo$4bo4bo8bo$7b4ob4o$11b3o$8bo
4bobo$5bob2o2b2o$9b2o2bo$6bo$9bo$bobo7bo9bobo$15bobo$9bo$bobo5bo2bo8bo
bo$3bobobobo2bo2bobo3b3o$5bo3bobo2b2o5b3o$11bobo6bo2bo$13bo9bo$15bo3b
2ob2o$17b3o8bo$22bo5bo$18bobo7bo$19b2o7bo$19b2o$24bobo$22b2o$20b2o2bo
2$18bobo$18bobo$18bobo$18bobo!

[Sokwe]

This command should have halted when a spaceship was found, but it did not:

Code: Select all

./rlife llsss-recentering-wao --rule B245/S34 c2-f2b 3.in 00 --wao-left-pad 00 --wao-right-pad 00 --wao-idx ALL --ends zero 16

I think you will need to modify src/llsss/recentering.rs. Directly after line 409 (which reads "sm.post_hit(ss, &end_hstate, &thinnest);") add a line that says "panic!();" and recompile.

Presumably you made a similar change in src/llsss/state.rs as per Amling's instructions above. This works for ordinary llsss searches, but not for llsss-recentering-wao searches.

Edit: Amling, it would be a nice to have an option to stop after a ship is found.

Edit 2: an option to kill the search after it reaches some specified maximum depth (w_pos?) would also be nice (for those searches that get stuck extending a simple wick or wave). Consider this one low priority, but the other suggestion above high priority.

Edit 3: Amling, is there a way to run a symmetric diagonal search or a glide-symmetric diagonal search?

[amling]

...it would be a nice to have an option to stop after a ship is found.

Part of the problem here is it's very unclear where to put it between multiple search types and multiple ends implementations. Would you expect such an option to halt the search after a first results in the ends DB? After a first partial that succeeded in period dividing? After a first result that was even symmetric (for "--ends even" in a s2s search)? Etc. All those different ends types are mostly responsible for their own behavior and don't really funnel through a common reporting mechanism. The closest is that "run_ssm_filter_ends" which is just a common library function for some of them, and, as y'all found out above, exists separately for fixed board and recentering searches anyway. I guess I shall think some more on it but my best idea so far is something like a separate "zero-and-halt" ends just for the zero ends case since that's what most searches are probably running anyway.

...an option to kill the search after it reaches some specified maximum depth (w_pos?) would also be nice (for those searches that get stuck extending a simple wick or wave). Consider this one low priority, but the other suggestion above high priority.

Sadly this one is much simpler to implement and has a very obvious way to stand alone as its own step. It would certainly be in terms of w_pos.

...is there a way to run a symmetric diagonal search or a glide-symmetric diagonal search?

There is, but running diagonal aligned searches sucks. With something like this (c4d.in):

Code: Select all

|       |       |       |       |
|       |       |   Z   |   .   |
|   Z.  |   ..  |  Z..  |  ...  |
|  Z... |  .... | Z.... | ..... |
| Z.... | ..... | ....  | ....  |
|  ...  |  ...  |  ..   |  ..   |
|   .   |   .   |       |       |

You can search something like:

Code: Select all

rlife llsss-recentering-wao raw:1:-1:0:-1:-1:4:0:0:1 c4d.in 00 --left-edge reflect:gse --wao-left-edge-errors --wao-left-pad 00 --wao-right-pad 00 --wao-idx ALL 00

Of note:

(*) Wacky custom geometry where U=X-Y, W=T to run f2b diagonal axis-aligned. If your search is Kc/Nd where K does not divide N you're going to have to pick W yourself just like we used to have to pick it long, long ago before there were named geometries. If you want, you should feel free to post your desired V vector here and I can figure it out (W value as well as the deranged input file).

(*) Extra "00" after input file since I'm running a (previously-built) version from before that top pad change. If you're in the future you'll need to remove that.

(*) "--left-edge reflect:gse" to search glide symmetric even. All of odd, even, gso, and gse exist and I expect would work in diagonal geometries where they make sense but this edge is rather undertested.

(*) "--wao-left-edge-errors" for this WAO search to allow it to propose errors inside the left edge. For zeros edges this makes no sense and so isn't included by default.

(*) "--wao-idx ALL" now actually matters since there are now distinct places to place the first mismatch.

(*) That last "00" is "mid_steps" and even zero is actually enough to find the glider. The edge itself doesn't count and the code always does what you might consider one extra step to link up the left and right halves of the expansion it's already done.

EDIT: I have added "--ends zero_and_halt". I would not consider it guaranteed to exist forever if I can think of a better way to deal with this stuff. I have also added "--halts w_pos:NN". If the corresponding step is ever run with w_pos at or above that value it will halt.

If either triggers it should print out a WARNING about intentionally halting (and the reason) and of course in either case the search is almost certainly non-exhaustive.