R: 0 1 2 3  [ 0]  <-D: 0 1 2 3  [ 0]    0 
R: 0 1 2 3  [ 0]  <-D: 0 1 3 2  [ 1]    0  {0 1 3 2  [ 1] },
R: 0 1 2 3  [ 0]  <-D: 0 2 1 3  [ 2]    3  {0 1 2 3  [ 0] },
R: 0 1 2 3  [ 0]  <-D: 0 2 3 1  [ 3]  * 0 3 
R: 0 1 2 3  [ 0]  <-D: 0 3 1 2  [ 4]    3  {0 1 3 2  [ 1] },
R: 0 1 2 3  [ 0]  <-D: 0 3 2 1  [ 5]  * 0 3 
R: 0 1 2 3  [ 0]  <-D: 1 0 2 3  [ 6]    1  {0 1 3 2  [ 1] },
R: 0 1 2 3  [ 0]  <-D: 1 0 3 2  [ 7]    1  {0 1 2 3  [ 0] },
R: 0 1 2 3  [ 0]  <-D: 1 2 0 3  [ 8]    7  {0 1 3 2  [ 1] },
R: 0 1 2 3  [ 0]  <-D: 1 2 3 0  [ 9]  * 4 6 
R: 0 1 2 3  [ 0]  <-D: 1 3 0 2  [10]    7  {0 1 2 3  [ 0] },
R: 0 1 2 3  [ 0]  <-D: 1 3 2 0  [11]  * 4 6 
R: 0 1 2 3  [ 0]  <-D: 2 0 1 3  [12]  * 1 5 
R: 0 1 2 3  [ 0]  <-D: 2 0 3 1  [13]    5  {0 1 2 3  [ 0] },
R: 0 1 2 3  [ 0]  <-D: 2 1 0 3  [14]  * 2 7 
R: 0 1 2 3  [ 0]  <-D: 2 1 3 0  [15]    4  {0 1 3 2  [ 1] },
R: 0 1 2 3  [ 0]  <-D: 2 3 0 1  [16]    2  {0 1 2 3  [ 0] },
R: 0 1 2 3  [ 0]  <-D: 2 3 1 0  [17]    6  {0 1 3 2  [ 1] },
R: 0 1 2 3  [ 0]  <-D: 3 0 1 2  [18]  * 1 5 
R: 0 1 2 3  [ 0]  <-D: 3 0 2 1  [19]    5  {0 1 3 2  [ 1] },
R: 0 1 2 3  [ 0]  <-D: 3 1 0 2  [20]  * 2 7 
R: 0 1 2 3  [ 0]  <-D: 3 1 2 0  [21]    4  {0 1 2 3  [ 0] },
R: 0 1 2 3  [ 0]  <-D: 3 2 0 1  [22]    2  {0 1 3 2  [ 1] },
R: 0 1 2 3  [ 0]  <-D: 3 2 1 0  [23]    6  {0 1 2 3  [ 0] },
R: 0 1 3 2  [ 1]  <-D: 0 1 2 3  [ 0]    0 
R: 0 1 3 2  [ 1]  <-D: 0 1 3 2  [ 1]    0  {0 1 3 2  [ 1] },
R: 0 1 3 2  [ 1]  <-D: 0 2 1 3  [ 2]    3  {0 1 2 3  [ 0] },
R: 0 1 3 2  [ 1]  <-D: 0 2 3 1  [ 3]  * 0 3 
R: 0 1 3 2  [ 1]  <-D: 0 3 1 2  [ 4]    3  {0 1 3 2  [ 1] },
R: 0 1 3 2  [ 1]  <-D: 0 3 2 1  [ 5]  * 0 3 
R: 0 1 3 2  [ 1]  <-D: 1 0 2 3  [ 6]    1  {0 1 3 2  [ 1] },
R: 0 1 3 2  [ 1]  <-D: 1 0 3 2  [ 7]    1  {0 1 2 3  [ 0] },
R: 0 1 3 2  [ 1]  <-D: 1 2 0 3  [ 8]    7  {0 1 3 2  [ 1] },
R: 0 1 3 2  [ 1]  <-D: 1 2 3 0  [ 9]  * 4 6 
R: 0 1 3 2  [ 1]  <-D: 1 3 0 2  [10]    7  {0 1 2 3  [ 0] },
R: 0 1 3 2  [ 1]  <-D: 1 3 2 0  [11]  * 4 6 
R: 0 1 3 2  [ 1]  <-D: 2 0 1 3  [12]  * 1 5 
R: 0 1 3 2  [ 1]  <-D: 2 0 3 1  [13]    5  {0 1 2 3  [ 0] },
R: 0 1 3 2  [ 1]  <-D: 2 1 0 3  [14]  * 2 7 
R: 0 1 3 2  [ 1]  <-D: 2 1 3 0  [15]    4  {0 1 3 2  [ 1] },
R: 0 1 3 2  [ 1]  <-D: 2 3 0 1  [16]    2  {0 1 2 3  [ 0] },
R: 0 1 3 2  [ 1]  <-D: 2 3 1 0  [17]    6  {0 1 3 2  [ 1] },
R: 0 1 3 2  [ 1]  <-D: 3 0 1 2  [18]  * 1 5 
R: 0 1 3 2  [ 1]  <-D: 3 0 2 1  [19]    5  {0 1 3 2  [ 1] },
R: 0 1 3 2  [ 1]  <-D: 3 1 0 2  [20]  * 2 7 
R: 0 1 3 2  [ 1]  <-D: 3 1 2 0  [21]    4  {0 1 2 3  [ 0] },
R: 0 1 3 2  [ 1]  <-D: 3 2 0 1  [22]    2  {0 1 3 2  [ 1] },
R: 0 1 3 2  [ 1]  <-D: 3 2 1 0  [23]    6  {0 1 2 3  [ 0] },
R: 0 2 1 3  [ 2]  <-D: 0 1 2 3  [ 0]    3 
R: 0 2 1 3  [ 2]  <-D: 0 1 3 2  [ 1]    3  {0 3 1 2  [ 4] },
R: 0 2 1 3  [ 2]  <-D: 0 2 1 3  [ 2]    0  {0 2 1 3  [ 2] },
R: 0 2 1 3  [ 2]  <-D: 0 2 3 1  [ 3]  * 0 3 
R: 0 2 1 3  [ 2]  <-D: 0 3 1 2  [ 4]    0  {0 3 1 2  [ 4] },
R: 0 2 1 3  [ 2]  <-D: 0 3 2 1  [ 5]  * 0 3 
R: 0 2 1 3  [ 2]  <-D: 1 0 2 3  [ 6]    5  {0 3 1 2  [ 4] },
R: 0 2 1 3  [ 2]  <-D: 1 0 3 2  [ 7]    5  {0 2 1 3  [ 2] },
R: 0 2 1 3  [ 2]  <-D: 1 2 0 3  [ 8]    2  {0 3 1 2  [ 4] },
R: 0 2 1 3  [ 2]  <-D: 1 2 3 0  [ 9]  * 4 6 
R: 0 2 1 3  [ 2]  <-D: 1 3 0 2  [10]    2  {0 2 1 3  [ 2] },
R: 0 2 1 3  [ 2]  <-D: 1 3 2 0  [11]  * 4 6 
R: 0 2 1 3  [ 2]  <-D: 2 0 1 3  [12]  * 1 5 
R: 0 2 1 3  [ 2]  <-D: 2 0 3 1  [13]    1  {0 2 1 3  [ 2] },
R: 0 2 1 3  [ 2]  <-D: 2 1 0 3  [14]  * 2 7 
R: 0 2 1 3  [ 2]  <-D: 2 1 3 0  [15]    6  {0 3 1 2  [ 4] },
R: 0 2 1 3  [ 2]  <-D: 2 3 0 1  [16]    7  {0 2 1 3  [ 2] },
R: 0 2 1 3  [ 2]  <-D: 2 3 1 0  [17]    4  {0 3 1 2  [ 4] },
R: 0 2 1 3  [ 2]  <-D: 3 0 1 2  [18]  * 1 5 
R: 0 2 1 3  [ 2]  <-D: 3 0 2 1  [19]    1  {0 3 1 2  [ 4] },
R: 0 2 1 3  [ 2]  <-D: 3 1 0 2  [20]  * 2 7 
R: 0 2 1 3  [ 2]  <-D: 3 1 2 0  [21]    6  {0 2 1 3  [ 2] },
R: 0 2 1 3  [ 2]  <-D: 3 2 0 1  [22]    7  {0 3 1 2  [ 4] },
R: 0 2 1 3  [ 2]  <-D: 3 2 1 0  [23]    4  {0 2 1 3  [ 2] },
R: 0 2 3 1  [ 3]  <-D: 0 1 2 3  [ 0]  * 0 3 
R: 0 2 3 1  [ 3]  <-D: 0 1 3 2  [ 1]  * 0 3 
R: 0 2 3 1  [ 3]  <-D: 0 2 1 3  [ 2]  * 0 3 
R: 0 2 3 1  [ 3]  <-D: 0 2 3 1  [ 3]    0 3  {0 2 3 1  [ 3] }, {0 3 2 1  [ 5] },
R: 0 2 3 1  [ 3]  <-D: 0 3 1 2  [ 4]  * 0 3 
R: 0 2 3 1  [ 3]  <-D: 0 3 2 1  [ 5]    0 3  {0 3 2 1  [ 5] }, {0 2 3 1  [ 3] },
R: 0 2 3 1  [ 3]  <-D: 1 0 2 3  [ 6]  * 1 5 
R: 0 2 3 1  [ 3]  <-D: 1 0 3 2  [ 7]  * 1 5 
R: 0 2 3 1  [ 3]  <-D: 1 2 0 3  [ 8]  * 2 7 
R: 0 2 3 1  [ 3]  <-D: 1 2 3 0  [ 9]    4 6  {0 2 3 1  [ 3] }, {0 3 2 1  [ 5] },
R: 0 2 3 1  [ 3]  <-D: 1 3 0 2  [10]  * 2 7 
R: 0 2 3 1  [ 3]  <-D: 1 3 2 0  [11]    4 6  {0 3 2 1  [ 5] }, {0 2 3 1  [ 3] },
R: 0 2 3 1  [ 3]  <-D: 2 0 1 3  [12]    1 5  {0 2 3 1  [ 3] }, {0 3 2 1  [ 5] },
R: 0 2 3 1  [ 3]  <-D: 2 0 3 1  [13]  * 1 5 
R: 0 2 3 1  [ 3]  <-D: 2 1 0 3  [14]    2 7  {0 3 2 1  [ 5] }, {0 2 3 1  [ 3] },
R: 0 2 3 1  [ 3]  <-D: 2 1 3 0  [15]  * 4 6 
R: 0 2 3 1  [ 3]  <-D: 2 3 0 1  [16]  * 2 7 
R: 0 2 3 1  [ 3]  <-D: 2 3 1 0  [17]  * 4 6 
R: 0 2 3 1  [ 3]  <-D: 3 0 1 2  [18]    1 5  {0 3 2 1  [ 5] }, {0 2 3 1  [ 3] },
R: 0 2 3 1  [ 3]  <-D: 3 0 2 1  [19]  * 1 5 
R: 0 2 3 1  [ 3]  <-D: 3 1 0 2  [20]    2 7  {0 2 3 1  [ 3] }, {0 3 2 1  [ 5] },
R: 0 2 3 1  [ 3]  <-D: 3 1 2 0  [21]  * 4 6 
R: 0 2 3 1  [ 3]  <-D: 3 2 0 1  [22]  * 2 7 
R: 0 2 3 1  [ 3]  <-D: 3 2 1 0  [23]  * 4 6 
R: 0 3 1 2  [ 4]  <-D: 0 1 2 3  [ 0]    3 
R: 0 3 1 2  [ 4]  <-D: 0 1 3 2  [ 1]    3  {0 3 1 2  [ 4] },
R: 0 3 1 2  [ 4]  <-D: 0 2 1 3  [ 2]    0  {0 2 1 3  [ 2] },
R: 0 3 1 2  [ 4]  <-D: 0 2 3 1  [ 3]  * 0 3 
R: 0 3 1 2  [ 4]  <-D: 0 3 1 2  [ 4]    0  {0 3 1 2  [ 4] },
R: 0 3 1 2  [ 4]  <-D: 0 3 2 1  [ 5]  * 0 3 
R: 0 3 1 2  [ 4]  <-D: 1 0 2 3  [ 6]    5  {0 3 1 2  [ 4] },
R: 0 3 1 2  [ 4]  <-D: 1 0 3 2  [ 7]    5  {0 2 1 3  [ 2] },
R: 0 3 1 2  [ 4]  <-D: 1 2 0 3  [ 8]    2  {0 3 1 2  [ 4] },
R: 0 3 1 2  [ 4]  <-D: 1 2 3 0  [ 9]  * 4 6 
R: 0 3 1 2  [ 4]  <-D: 1 3 0 2  [10]    2  {0 2 1 3  [ 2] },
R: 0 3 1 2  [ 4]  <-D: 1 3 2 0  [11]  * 4 6 
R: 0 3 1 2  [ 4]  <-D: 2 0 1 3  [12]  * 1 5 
R: 0 3 1 2  [ 4]  <-D: 2 0 3 1  [13]    1  {0 2 1 3  [ 2] },
R: 0 3 1 2  [ 4]  <-D: 2 1 0 3  [14]  * 2 7 
R: 0 3 1 2  [ 4]  <-D: 2 1 3 0  [15]    6  {0 3 1 2  [ 4] },
R: 0 3 1 2  [ 4]  <-D: 2 3 0 1  [16]    7  {0 2 1 3  [ 2] },
R: 0 3 1 2  [ 4]  <-D: 2 3 1 0  [17]    4  {0 3 1 2  [ 4] },
R: 0 3 1 2  [ 4]  <-D: 3 0 1 2  [18]  * 1 5 
R: 0 3 1 2  [ 4]  <-D: 3 0 2 1  [19]    1  {0 3 1 2  [ 4] },
R: 0 3 1 2  [ 4]  <-D: 3 1 0 2  [20]  * 2 7 
R: 0 3 1 2  [ 4]  <-D: 3 1 2 0  [21]    6  {0 2 1 3  [ 2] },
R: 0 3 1 2  [ 4]  <-D: 3 2 0 1  [22]    7  {0 3 1 2  [ 4] },
R: 0 3 1 2  [ 4]  <-D: 3 2 1 0  [23]    4  {0 2 1 3  [ 2] },
R: 0 3 2 1  [ 5]  <-D: 0 1 2 3  [ 0]  * 0 3 
R: 0 3 2 1  [ 5]  <-D: 0 1 3 2  [ 1]  * 0 3 
R: 0 3 2 1  [ 5]  <-D: 0 2 1 3  [ 2]  * 0 3 
R: 0 3 2 1  [ 5]  <-D: 0 2 3 1  [ 3]    0 3  {0 2 3 1  [ 3] }, {0 3 2 1  [ 5] },
R: 0 3 2 1  [ 5]  <-D: 0 3 1 2  [ 4]  * 0 3 
R: 0 3 2 1  [ 5]  <-D: 0 3 2 1  [ 5]    0 3  {0 3 2 1  [ 5] }, {0 2 3 1  [ 3] },
R: 0 3 2 1  [ 5]  <-D: 1 0 2 3  [ 6]  * 1 5 
R: 0 3 2 1  [ 5]  <-D: 1 0 3 2  [ 7]  * 1 5 
R: 0 3 2 1  [ 5]  <-D: 1 2 0 3  [ 8]  * 2 7 
R: 0 3 2 1  [ 5]  <-D: 1 2 3 0  [ 9]    4 6  {0 2 3 1  [ 3] }, {0 3 2 1  [ 5] },
R: 0 3 2 1  [ 5]  <-D: 1 3 0 2  [10]  * 2 7 
R: 0 3 2 1  [ 5]  <-D: 1 3 2 0  [11]    4 6  {0 3 2 1  [ 5] }, {0 2 3 1  [ 3] },
R: 0 3 2 1  [ 5]  <-D: 2 0 1 3  [12]    1 5  {0 2 3 1  [ 3] }, {0 3 2 1  [ 5] },
R: 0 3 2 1  [ 5]  <-D: 2 0 3 1  [13]  * 1 5 
R: 0 3 2 1  [ 5]  <-D: 2 1 0 3  [14]    2 7  {0 3 2 1  [ 5] }, {0 2 3 1  [ 3] },
R: 0 3 2 1  [ 5]  <-D: 2 1 3 0  [15]  * 4 6 
R: 0 3 2 1  [ 5]  <-D: 2 3 0 1  [16]  * 2 7 
R: 0 3 2 1  [ 5]  <-D: 2 3 1 0  [17]  * 4 6 
R: 0 3 2 1  [ 5]  <-D: 3 0 1 2  [18]    1 5  {0 3 2 1  [ 5] }, {0 2 3 1  [ 3] },
R: 0 3 2 1  [ 5]  <-D: 3 0 2 1  [19]  * 1 5 
R: 0 3 2 1  [ 5]  <-D: 3 1 0 2  [20]    2 7  {0 2 3 1  [ 3] }, {0 3 2 1  [ 5] },
R: 0 3 2 1  [ 5]  <-D: 3 1 2 0  [21]  * 4 6 
R: 0 3 2 1  [ 5]  <-D: 3 2 0 1  [22]  * 2 7 
R: 0 3 2 1  [ 5]  <-D: 3 2 1 0  [23]  * 4 6 
R: 1 0 2 3  [ 6]  <-D: 0 1 2 3  [ 0]    1 
R: 1 0 2 3  [ 6]  <-D: 0 1 3 2  [ 1]    1  {1 0 2 3  [ 6] },
R: 1 0 2 3  [ 6]  <-D: 0 2 1 3  [ 2]    7  {1 0 3 2  [ 7] },
R: 1 0 2 3  [ 6]  <-D: 0 2 3 1  [ 3]  * 1 7 
R: 1 0 2 3  [ 6]  <-D: 0 3 1 2  [ 4]    7  {1 0 2 3  [ 6] },
R: 1 0 2 3  [ 6]  <-D: 0 3 2 1  [ 5]  * 1 7 
R: 1 0 2 3  [ 6]  <-D: 1 0 2 3  [ 6]    0  {1 0 2 3  [ 6] },
R: 1 0 2 3  [ 6]  <-D: 1 0 3 2  [ 7]    0  {1 0 3 2  [ 7] },
R: 1 0 2 3  [ 6]  <-D: 1 2 0 3  [ 8]    3  {1 0 2 3  [ 6] },
R: 1 0 2 3  [ 6]  <-D: 1 2 3 0  [ 9]  * 2 5 
R: 1 0 2 3  [ 6]  <-D: 1 3 0 2  [10]    3  {1 0 3 2  [ 7] },
R: 1 0 2 3  [ 6]  <-D: 1 3 2 0  [11]  * 2 5 
R: 1 0 2 3  [ 6]  <-D: 2 0 1 3  [12]  * 0 4 
R: 1 0 2 3  [ 6]  <-D: 2 0 3 1  [13]    4  {1 0 3 2  [ 7] },
R: 1 0 2 3  [ 6]  <-D: 2 1 0 3  [14]  * 3 6 
R: 1 0 2 3  [ 6]  <-D: 2 1 3 0  [15]    5  {1 0 2 3  [ 6] },
R: 1 0 2 3  [ 6]  <-D: 2 3 0 1  [16]    6  {1 0 3 2  [ 7] },
R: 1 0 2 3  [ 6]  <-D: 2 3 1 0  [17]    2  {1 0 2 3  [ 6] },
R: 1 0 2 3  [ 6]  <-D: 3 0 1 2  [18]  * 0 4 
R: 1 0 2 3  [ 6]  <-D: 3 0 2 1  [19]    4  {1 0 2 3  [ 6] },
R: 1 0 2 3  [ 6]  <-D: 3 1 0 2  [20]  * 3 6 
R: 1 0 2 3  [ 6]  <-D: 3 1 2 0  [21]    5  {1 0 3 2  [ 7] },
R: 1 0 2 3  [ 6]  <-D: 3 2 0 1  [22]    6  {1 0 2 3  [ 6] },
R: 1 0 2 3  [ 6]  <-D: 3 2 1 0  [23]    2  {1 0 3 2  [ 7] },
R: 1 0 3 2  [ 7]  <-D: 0 1 2 3  [ 0]    1 
R: 1 0 3 2  [ 7]  <-D: 0 1 3 2  [ 1]    1  {1 0 2 3  [ 6] },
R: 1 0 3 2  [ 7]  <-D: 0 2 1 3  [ 2]    7  {1 0 3 2  [ 7] },
R: 1 0 3 2  [ 7]  <-D: 0 2 3 1  [ 3]  * 1 7 
R: 1 0 3 2  [ 7]  <-D: 0 3 1 2  [ 4]    7  {1 0 2 3  [ 6] },
R: 1 0 3 2  [ 7]  <-D: 0 3 2 1  [ 5]  * 1 7 
R: 1 0 3 2  [ 7]  <-D: 1 0 2 3  [ 6]    0  {1 0 2 3  [ 6] },
R: 1 0 3 2  [ 7]  <-D: 1 0 3 2  [ 7]    0  {1 0 3 2  [ 7] },
R: 1 0 3 2  [ 7]  <-D: 1 2 0 3  [ 8]    3  {1 0 2 3  [ 6] },
R: 1 0 3 2  [ 7]  <-D: 1 2 3 0  [ 9]  * 2 5 
R: 1 0 3 2  [ 7]  <-D: 1 3 0 2  [10]    3  {1 0 3 2  [ 7] },
R: 1 0 3 2  [ 7]  <-D: 1 3 2 0  [11]  * 2 5 
R: 1 0 3 2  [ 7]  <-D: 2 0 1 3  [12]  * 0 4 
R: 1 0 3 2  [ 7]  <-D: 2 0 3 1  [13]    4  {1 0 3 2  [ 7] },
R: 1 0 3 2  [ 7]  <-D: 2 1 0 3  [14]  * 3 6 
R: 1 0 3 2  [ 7]  <-D: 2 1 3 0  [15]    5  {1 0 2 3  [ 6] },
R: 1 0 3 2  [ 7]  <-D: 2 3 0 1  [16]    6  {1 0 3 2  [ 7] },
R: 1 0 3 2  [ 7]  <-D: 2 3 1 0  [17]    2  {1 0 2 3  [ 6] },
R: 1 0 3 2  [ 7]  <-D: 3 0 1 2  [18]  * 0 4 
R: 1 0 3 2  [ 7]  <-D: 3 0 2 1  [19]    4  {1 0 2 3  [ 6] },
R: 1 0 3 2  [ 7]  <-D: 3 1 0 2  [20]  * 3 6 
R: 1 0 3 2  [ 7]  <-D: 3 1 2 0  [21]    5  {1 0 3 2  [ 7] },
R: 1 0 3 2  [ 7]  <-D: 3 2 0 1  [22]    6  {1 0 2 3  [ 6] },
R: 1 0 3 2  [ 7]  <-D: 3 2 1 0  [23]    2  {1 0 3 2  [ 7] },
R: 1 2 0 3  [ 8]  <-D: 0 1 2 3  [ 0]    5 
R: 1 2 0 3  [ 8]  <-D: 0 1 3 2  [ 1]    5  {1 2 0 3  [ 8] },
R: 1 2 0 3  [ 8]  <-D: 0 2 1 3  [ 2]    2  {1 3 0 2  [10] },
R: 1 2 0 3  [ 8]  <-D: 0 2 3 1  [ 3]  * 2 5 
R: 1 2 0 3  [ 8]  <-D: 0 3 1 2  [ 4]    2  {1 2 0 3  [ 8] },
R: 1 2 0 3  [ 8]  <-D: 0 3 2 1  [ 5]  * 2 5 
R: 1 2 0 3  [ 8]  <-D: 1 0 2 3  [ 6]    3  {1 2 0 3  [ 8] },
R: 1 2 0 3  [ 8]  <-D: 1 0 3 2  [ 7]    3  {1 3 0 2  [10] },
R: 1 2 0 3  [ 8]  <-D: 1 2 0 3  [ 8]    0  {1 2 0 3  [ 8] },
R: 1 2 0 3  [ 8]  <-D: 1 2 3 0  [ 9]  * 1 7 
R: 1 2 0 3  [ 8]  <-D: 1 3 0 2  [10]    0  {1 3 0 2  [10] },
R: 1 2 0 3  [ 8]  <-D: 1 3 2 0  [11]  * 1 7 
R: 1 2 0 3  [ 8]  <-D: 2 0 1 3  [12]  * 3 6 
R: 1 2 0 3  [ 8]  <-D: 2 0 3 1  [13]    6  {1 3 0 2  [10] },
R: 1 2 0 3  [ 8]  <-D: 2 1 0 3  [14]  * 0 4 
R: 1 2 0 3  [ 8]  <-D: 2 1 3 0  [15]    1  {1 2 0 3  [ 8] },
R: 1 2 0 3  [ 8]  <-D: 2 3 0 1  [16]    4  {1 3 0 2  [10] },
R: 1 2 0 3  [ 8]  <-D: 2 3 1 0  [17]    7  {1 2 0 3  [ 8] },
R: 1 2 0 3  [ 8]  <-D: 3 0 1 2  [18]  * 3 6 
R: 1 2 0 3  [ 8]  <-D: 3 0 2 1  [19]    6  {1 2 0 3  [ 8] },
R: 1 2 0 3  [ 8]  <-D: 3 1 0 2  [20]  * 0 4 
R: 1 2 0 3  [ 8]  <-D: 3 1 2 0  [21]    1  {1 3 0 2  [10] },
R: 1 2 0 3  [ 8]  <-D: 3 2 0 1  [22]    4  {1 2 0 3  [ 8] },
R: 1 2 0 3  [ 8]  <-D: 3 2 1 0  [23]    7  {1 3 0 2  [10] },
R: 1 2 3 0  [ 9]  <-D: 0 1 2 3  [ 0]  * 4 6 
R: 1 2 3 0  [ 9]  <-D: 0 1 3 2  [ 1]  * 4 6 
R: 1 2 3 0  [ 9]  <-D: 0 2 1 3  [ 2]  * 4 6 
R: 1 2 3 0  [ 9]  <-D: 0 2 3 1  [ 3]    4 6  {1 2 3 0  [ 9] }, {1 3 2 0  [11] },
R: 1 2 3 0  [ 9]  <-D: 0 3 1 2  [ 4]  * 4 6 
R: 1 2 3 0  [ 9]  <-D: 0 3 2 1  [ 5]    4 6  {1 3 2 0  [11] }, {1 2 3 0  [ 9] },
R: 1 2 3 0  [ 9]  <-D: 1 0 2 3  [ 6]  * 2 7 
R: 1 2 3 0  [ 9]  <-D: 1 0 3 2  [ 7]  * 2 7 
R: 1 2 3 0  [ 9]  <-D: 1 2 0 3  [ 8]  * 1 5 
R: 1 2 3 0  [ 9]  <-D: 1 2 3 0  [ 9]    0 3  {1 2 3 0  [ 9] }, {1 3 2 0  [11] },
R: 1 2 3 0  [ 9]  <-D: 1 3 0 2  [10]  * 1 5 
R: 1 2 3 0  [ 9]  <-D: 1 3 2 0  [11]    0 3  {1 3 2 0  [11] }, {1 2 3 0  [ 9] },
R: 1 2 3 0  [ 9]  <-D: 2 0 1 3  [12]    2 7  {1 3 2 0  [11] }, {1 2 3 0  [ 9] },
R: 1 2 3 0  [ 9]  <-D: 2 0 3 1  [13]  * 2 7 
R: 1 2 3 0  [ 9]  <-D: 2 1 0 3  [14]    1 5  {1 2 3 0  [ 9] }, {1 3 2 0  [11] },
R: 1 2 3 0  [ 9]  <-D: 2 1 3 0  [15]  * 0 3 
R: 1 2 3 0  [ 9]  <-D: 2 3 0 1  [16]  * 1 5 
R: 1 2 3 0  [ 9]  <-D: 2 3 1 0  [17]  * 0 3 
R: 1 2 3 0  [ 9]  <-D: 3 0 1 2  [18]    2 7  {1 2 3 0  [ 9] }, {1 3 2 0  [11] },
R: 1 2 3 0  [ 9]  <-D: 3 0 2 1  [19]  * 2 7 
R: 1 2 3 0  [ 9]  <-D: 3 1 0 2  [20]    1 5  {1 3 2 0  [11] }, {1 2 3 0  [ 9] },
R: 1 2 3 0  [ 9]  <-D: 3 1 2 0  [21]  * 0 3 
R: 1 2 3 0  [ 9]  <-D: 3 2 0 1  [22]  * 1 5 
R: 1 2 3 0  [ 9]  <-D: 3 2 1 0  [23]  * 0 3 
R: 1 3 0 2  [10]  <-D: 0 1 2 3  [ 0]    5 
R: 1 3 0 2  [10]  <-D: 0 1 3 2  [ 1]    5  {1 2 0 3  [ 8] },
R: 1 3 0 2  [10]  <-D: 0 2 1 3  [ 2]    2  {1 3 0 2  [10] },
R: 1 3 0 2  [10]  <-D: 0 2 3 1  [ 3]  * 2 5 
R: 1 3 0 2  [10]  <-D: 0 3 1 2  [ 4]    2  {1 2 0 3  [ 8] },
R: 1 3 0 2  [10]  <-D: 0 3 2 1  [ 5]  * 2 5 
R: 1 3 0 2  [10]  <-D: 1 0 2 3  [ 6]    3  {1 2 0 3  [ 8] },
R: 1 3 0 2  [10]  <-D: 1 0 3 2  [ 7]    3  {1 3 0 2  [10] },
R: 1 3 0 2  [10]  <-D: 1 2 0 3  [ 8]    0  {1 2 0 3  [ 8] },
R: 1 3 0 2  [10]  <-D: 1 2 3 0  [ 9]  * 1 7 
R: 1 3 0 2  [10]  <-D: 1 3 0 2  [10]    0  {1 3 0 2  [10] },
R: 1 3 0 2  [10]  <-D: 1 3 2 0  [11]  * 1 7 
R: 1 3 0 2  [10]  <-D: 2 0 1 3  [12]  * 3 6 
R: 1 3 0 2  [10]  <-D: 2 0 3 1  [13]    6  {1 3 0 2  [10] },
R: 1 3 0 2  [10]  <-D: 2 1 0 3  [14]  * 0 4 
R: 1 3 0 2  [10]  <-D: 2 1 3 0  [15]    1  {1 2 0 3  [ 8] },
R: 1 3 0 2  [10]  <-D: 2 3 0 1  [16]    4  {1 3 0 2  [10] },
R: 1 3 0 2  [10]  <-D: 2 3 1 0  [17]    7  {1 2 0 3  [ 8] },
R: 1 3 0 2  [10]  <-D: 3 0 1 2  [18]  * 3 6 
R: 1 3 0 2  [10]  <-D: 3 0 2 1  [19]    6  {1 2 0 3  [ 8] },
R: 1 3 0 2  [10]  <-D: 3 1 0 2  [20]  * 0 4 
R: 1 3 0 2  [10]  <-D: 3 1 2 0  [21]    1  {1 3 0 2  [10] },
R: 1 3 0 2  [10]  <-D: 3 2 0 1  [22]    4  {1 2 0 3  [ 8] },
R: 1 3 0 2  [10]  <-D: 3 2 1 0  [23]    7  {1 3 0 2  [10] },
R: 1 3 2 0  [11]  <-D: 0 1 2 3  [ 0]  * 4 6 
R: 1 3 2 0  [11]  <-D: 0 1 3 2  [ 1]  * 4 6 
R: 1 3 2 0  [11]  <-D: 0 2 1 3  [ 2]  * 4 6 
R: 1 3 2 0  [11]  <-D: 0 2 3 1  [ 3]    4 6  {1 2 3 0  [ 9] }, {1 3 2 0  [11] },
R: 1 3 2 0  [11]  <-D: 0 3 1 2  [ 4]  * 4 6 
R: 1 3 2 0  [11]  <-D: 0 3 2 1  [ 5]    4 6  {1 3 2 0  [11] }, {1 2 3 0  [ 9] },
R: 1 3 2 0  [11]  <-D: 1 0 2 3  [ 6]  * 2 7 
R: 1 3 2 0  [11]  <-D: 1 0 3 2  [ 7]  * 2 7 
R: 1 3 2 0  [11]  <-D: 1 2 0 3  [ 8]  * 1 5 
R: 1 3 2 0  [11]  <-D: 1 2 3 0  [ 9]    0 3  {1 2 3 0  [ 9] }, {1 3 2 0  [11] },
R: 1 3 2 0  [11]  <-D: 1 3 0 2  [10]  * 1 5 
R: 1 3 2 0  [11]  <-D: 1 3 2 0  [11]    0 3  {1 3 2 0  [11] }, {1 2 3 0  [ 9] },
R: 1 3 2 0  [11]  <-D: 2 0 1 3  [12]    2 7  {1 3 2 0  [11] }, {1 2 3 0  [ 9] },
R: 1 3 2 0  [11]  <-D: 2 0 3 1  [13]  * 2 7 
R: 1 3 2 0  [11]  <-D: 2 1 0 3  [14]    1 5  {1 2 3 0  [ 9] }, {1 3 2 0  [11] },
R: 1 3 2 0  [11]  <-D: 2 1 3 0  [15]  * 0 3 
R: 1 3 2 0  [11]  <-D: 2 3 0 1  [16]  * 1 5 
R: 1 3 2 0  [11]  <-D: 2 3 1 0  [17]  * 0 3 
R: 1 3 2 0  [11]  <-D: 3 0 1 2  [18]    2 7  {1 2 3 0  [ 9] }, {1 3 2 0  [11] },
R: 1 3 2 0  [11]  <-D: 3 0 2 1  [19]  * 2 7 
R: 1 3 2 0  [11]  <-D: 3 1 0 2  [20]    1 5  {1 3 2 0  [11] }, {1 2 3 0  [ 9] },
R: 1 3 2 0  [11]  <-D: 3 1 2 0  [21]  * 0 3 
R: 1 3 2 0  [11]  <-D: 3 2 0 1  [22]  * 1 5 
R: 1 3 2 0  [11]  <-D: 3 2 1 0  [23]  * 0 3 
R: 2 0 1 3  [12]  <-D: 0 1 2 3  [ 0]  * 1 7 
R: 2 0 1 3  [12]  <-D: 0 1 3 2  [ 1]  * 1 7 
R: 2 0 1 3  [12]  <-D: 0 2 1 3  [ 2]  * 1 7 
R: 2 0 1 3  [12]  <-D: 0 2 3 1  [ 3]    1 7  {2 0 1 3  [12] }, {3 0 1 2  [18] },
R: 2 0 1 3  [12]  <-D: 0 3 1 2  [ 4]  * 1 7 
R: 2 0 1 3  [12]  <-D: 0 3 2 1  [ 5]    1 7  {3 0 1 2  [18] }, {2 0 1 3  [12] },
R: 2 0 1 3  [12]  <-D: 1 0 2 3  [ 6]  * 0 4 
R: 2 0 1 3  [12]  <-D: 1 0 3 2  [ 7]  * 0 4 
R: 2 0 1 3  [12]  <-D: 1 2 0 3  [ 8]  * 3 6 
R: 2 0 1 3  [12]  <-D: 1 2 3 0  [ 9]    2 5  {3 0 1 2  [18] }, {2 0 1 3  [12] },
R: 2 0 1 3  [12]  <-D: 1 3 0 2  [10]  * 3 6 
R: 2 0 1 3  [12]  <-D: 1 3 2 0  [11]    2 5  {2 0 1 3  [12] }, {3 0 1 2  [18] },
R: 2 0 1 3  [12]  <-D: 2 0 1 3  [12]    0 4  {2 0 1 3  [12] }, {3 0 1 2  [18] },
R: 2 0 1 3  [12]  <-D: 2 0 3 1  [13]  * 0 4 
R: 2 0 1 3  [12]  <-D: 2 1 0 3  [14]    3 6  {2 0 1 3  [12] }, {3 0 1 2  [18] },
R: 2 0 1 3  [12]  <-D: 2 1 3 0  [15]  * 2 5 
R: 2 0 1 3  [12]  <-D: 2 3 0 1  [16]  * 3 6 
R: 2 0 1 3  [12]  <-D: 2 3 1 0  [17]  * 2 5 
R: 2 0 1 3  [12]  <-D: 3 0 1 2  [18]    0 4  {3 0 1 2  [18] }, {2 0 1 3  [12] },
R: 2 0 1 3  [12]  <-D: 3 0 2 1  [19]  * 0 4 
R: 2 0 1 3  [12]  <-D: 3 1 0 2  [20]    3 6  {3 0 1 2  [18] }, {2 0 1 3  [12] },
R: 2 0 1 3  [12]  <-D: 3 1 2 0  [21]  * 2 5 
R: 2 0 1 3  [12]  <-D: 3 2 0 1  [22]  * 3 6 
R: 2 0 1 3  [12]  <-D: 3 2 1 0  [23]  * 2 5 
R: 2 0 3 1  [13]  <-D: 0 1 2 3  [ 0]    7 
R: 2 0 3 1  [13]  <-D: 0 1 3 2  [ 1]    7  {3 0 2 1  [19] },
R: 2 0 3 1  [13]  <-D: 0 2 1 3  [ 2]    1  {2 0 3 1  [13] },
R: 2 0 3 1  [13]  <-D: 0 2 3 1  [ 3]  * 1 7 
R: 2 0 3 1  [13]  <-D: 0 3 1 2  [ 4]    1  {3 0 2 1  [19] },
R: 2 0 3 1  [13]  <-D: 0 3 2 1  [ 5]  * 1 7 
R: 2 0 3 1  [13]  <-D: 1 0 2 3  [ 6]    4  {3 0 2 1  [19] },
R: 2 0 3 1  [13]  <-D: 1 0 3 2  [ 7]    4  {2 0 3 1  [13] },
R: 2 0 3 1  [13]  <-D: 1 2 0 3  [ 8]    6  {3 0 2 1  [19] },
R: 2 0 3 1  [13]  <-D: 1 2 3 0  [ 9]  * 2 5 
R: 2 0 3 1  [13]  <-D: 1 3 0 2  [10]    6  {2 0 3 1  [13] },
R: 2 0 3 1  [13]  <-D: 1 3 2 0  [11]  * 2 5 
R: 2 0 3 1  [13]  <-D: 2 0 1 3  [12]  * 0 4 
R: 2 0 3 1  [13]  <-D: 2 0 3 1  [13]    0  {2 0 3 1  [13] },
R: 2 0 3 1  [13]  <-D: 2 1 0 3  [14]  * 3 6 
R: 2 0 3 1  [13]  <-D: 2 1 3 0  [15]    2  {3 0 2 1  [19] },
R: 2 0 3 1  [13]  <-D: 2 3 0 1  [16]    3  {2 0 3 1  [13] },
R: 2 0 3 1  [13]  <-D: 2 3 1 0  [17]    5  {3 0 2 1  [19] },
R: 2 0 3 1  [13]  <-D: 3 0 1 2  [18]  * 0 4 
R: 2 0 3 1  [13]  <-D: 3 0 2 1  [19]    0  {3 0 2 1  [19] },
R: 2 0 3 1  [13]  <-D: 3 1 0 2  [20]  * 3 6 
R: 2 0 3 1  [13]  <-D: 3 1 2 0  [21]    2  {2 0 3 1  [13] },
R: 2 0 3 1  [13]  <-D: 3 2 0 1  [22]    3  {3 0 2 1  [19] },
R: 2 0 3 1  [13]  <-D: 3 2 1 0  [23]    5  {2 0 3 1  [13] },
R: 2 1 0 3  [14]  <-D: 0 1 2 3  [ 0]  * 2 5 
R: 2 1 0 3  [14]  <-D: 0 1 3 2  [ 1]  * 2 5 
R: 2 1 0 3  [14]  <-D: 0 2 1 3  [ 2]  * 2 5 
R: 2 1 0 3  [14]  <-D: 0 2 3 1  [ 3]    2 5  {3 1 0 2  [20] }, {2 1 0 3  [14] },
R: 2 1 0 3  [14]  <-D: 0 3 1 2  [ 4]  * 2 5 
R: 2 1 0 3  [14]  <-D: 0 3 2 1  [ 5]    2 5  {2 1 0 3  [14] }, {3 1 0 2  [20] },
R: 2 1 0 3  [14]  <-D: 1 0 2 3  [ 6]  * 3 6 
R: 2 1 0 3  [14]  <-D: 1 0 3 2  [ 7]  * 3 6 
R: 2 1 0 3  [14]  <-D: 1 2 0 3  [ 8]  * 0 4 
R: 2 1 0 3  [14]  <-D: 1 2 3 0  [ 9]    1 7  {2 1 0 3  [14] }, {3 1 0 2  [20] },
R: 2 1 0 3  [14]  <-D: 1 3 0 2  [10]  * 0 4 
R: 2 1 0 3  [14]  <-D: 1 3 2 0  [11]    1 7  {3 1 0 2  [20] }, {2 1 0 3  [14] },
R: 2 1 0 3  [14]  <-D: 2 0 1 3  [12]    3 6  {2 1 0 3  [14] }, {3 1 0 2  [20] },
R: 2 1 0 3  [14]  <-D: 2 0 3 1  [13]  * 3 6 
R: 2 1 0 3  [14]  <-D: 2 1 0 3  [14]    0 4  {2 1 0 3  [14] }, {3 1 0 2  [20] },
R: 2 1 0 3  [14]  <-D: 2 1 3 0  [15]  * 1 7 
R: 2 1 0 3  [14]  <-D: 2 3 0 1  [16]  * 0 4 
R: 2 1 0 3  [14]  <-D: 2 3 1 0  [17]  * 1 7 
R: 2 1 0 3  [14]  <-D: 3 0 1 2  [18]    3 6  {3 1 0 2  [20] }, {2 1 0 3  [14] },
R: 2 1 0 3  [14]  <-D: 3 0 2 1  [19]  * 3 6 
R: 2 1 0 3  [14]  <-D: 3 1 0 2  [20]    0 4  {3 1 0 2  [20] }, {2 1 0 3  [14] },
R: 2 1 0 3  [14]  <-D: 3 1 2 0  [21]  * 1 7 
R: 2 1 0 3  [14]  <-D: 3 2 0 1  [22]  * 0 4 
R: 2 1 0 3  [14]  <-D: 3 2 1 0  [23]  * 1 7 
R: 2 1 3 0  [15]  <-D: 0 1 2 3  [ 0]    4 
R: 2 1 3 0  [15]  <-D: 0 1 3 2  [ 1]    4  {2 1 3 0  [15] },
R: 2 1 3 0  [15]  <-D: 0 2 1 3  [ 2]    6  {3 1 2 0  [21] },
R: 2 1 3 0  [15]  <-D: 0 2 3 1  [ 3]  * 4 6 
R: 2 1 3 0  [15]  <-D: 0 3 1 2  [ 4]    6  {2 1 3 0  [15] },
R: 2 1 3 0  [15]  <-D: 0 3 2 1  [ 5]  * 4 6 
R: 2 1 3 0  [15]  <-D: 1 0 2 3  [ 6]    7  {2 1 3 0  [15] },
R: 2 1 3 0  [15]  <-D: 1 0 3 2  [ 7]    7  {3 1 2 0  [21] },
R: 2 1 3 0  [15]  <-D: 1 2 0 3  [ 8]    1  {2 1 3 0  [15] },
R: 2 1 3 0  [15]  <-D: 1 2 3 0  [ 9]  * 0 3 
R: 2 1 3 0  [15]  <-D: 1 3 0 2  [10]    1  {3 1 2 0  [21] },
R: 2 1 3 0  [15]  <-D: 1 3 2 0  [11]  * 0 3 
R: 2 1 3 0  [15]  <-D: 2 0 1 3  [12]  * 2 7 
R: 2 1 3 0  [15]  <-D: 2 0 3 1  [13]    2  {3 1 2 0  [21] },
R: 2 1 3 0  [15]  <-D: 2 1 0 3  [14]  * 1 5 
R: 2 1 3 0  [15]  <-D: 2 1 3 0  [15]    0  {2 1 3 0  [15] },
R: 2 1 3 0  [15]  <-D: 2 3 0 1  [16]    5  {3 1 2 0  [21] },
R: 2 1 3 0  [15]  <-D: 2 3 1 0  [17]    3  {2 1 3 0  [15] },
R: 2 1 3 0  [15]  <-D: 3 0 1 2  [18]  * 2 7 
R: 2 1 3 0  [15]  <-D: 3 0 2 1  [19]    2  {2 1 3 0  [15] },
R: 2 1 3 0  [15]  <-D: 3 1 0 2  [20]  * 1 5 
R: 2 1 3 0  [15]  <-D: 3 1 2 0  [21]    0  {3 1 2 0  [21] },
R: 2 1 3 0  [15]  <-D: 3 2 0 1  [22]    5  {2 1 3 0  [15] },
R: 2 1 3 0  [15]  <-D: 3 2 1 0  [23]    3  {3 1 2 0  [21] },
R: 2 3 0 1  [16]  <-D: 0 1 2 3  [ 0]    2 
R: 2 3 0 1  [16]  <-D: 0 1 3 2  [ 1]    2  {3 2 0 1  [22] },
R: 2 3 0 1  [16]  <-D: 0 2 1 3  [ 2]    5  {2 3 0 1  [16] },
R: 2 3 0 1  [16]  <-D: 0 2 3 1  [ 3]  * 2 5 
R: 2 3 0 1  [16]  <-D: 0 3 1 2  [ 4]    5  {3 2 0 1  [22] },
R: 2 3 0 1  [16]  <-D: 0 3 2 1  [ 5]  * 2 5 
R: 2 3 0 1  [16]  <-D: 1 0 2 3  [ 6]    6  {3 2 0 1  [22] },
R: 2 3 0 1  [16]  <-D: 1 0 3 2  [ 7]    6  {2 3 0 1  [16] },
R: 2 3 0 1  [16]  <-D: 1 2 0 3  [ 8]    4  {3 2 0 1  [22] },
R: 2 3 0 1  [16]  <-D: 1 2 3 0  [ 9]  * 1 7 
R: 2 3 0 1  [16]  <-D: 1 3 0 2  [10]    4  {2 3 0 1  [16] },
R: 2 3 0 1  [16]  <-D: 1 3 2 0  [11]  * 1 7 
R: 2 3 0 1  [16]  <-D: 2 0 1 3  [12]  * 3 6 
R: 2 3 0 1  [16]  <-D: 2 0 3 1  [13]    3  {2 3 0 1  [16] },
R: 2 3 0 1  [16]  <-D: 2 1 0 3  [14]  * 0 4 
R: 2 3 0 1  [16]  <-D: 2 1 3 0  [15]    7  {3 2 0 1  [22] },
R: 2 3 0 1  [16]  <-D: 2 3 0 1  [16]    0  {2 3 0 1  [16] },
R: 2 3 0 1  [16]  <-D: 2 3 1 0  [17]    1  {3 2 0 1  [22] },
R: 2 3 0 1  [16]  <-D: 3 0 1 2  [18]  * 3 6 
R: 2 3 0 1  [16]  <-D: 3 0 2 1  [19]    3  {3 2 0 1  [22] },
R: 2 3 0 1  [16]  <-D: 3 1 0 2  [20]  * 0 4 
R: 2 3 0 1  [16]  <-D: 3 1 2 0  [21]    7  {2 3 0 1  [16] },
R: 2 3 0 1  [16]  <-D: 3 2 0 1  [22]    0  {3 2 0 1  [22] },
R: 2 3 0 1  [16]  <-D: 3 2 1 0  [23]    1  {2 3 0 1  [16] },
R: 2 3 1 0  [17]  <-D: 0 1 2 3  [ 0]    6 
R: 2 3 1 0  [17]  <-D: 0 1 3 2  [ 1]    6  {2 3 1 0  [17] },
R: 2 3 1 0  [17]  <-D: 0 2 1 3  [ 2]    4  {3 2 1 0  [23] },
R: 2 3 1 0  [17]  <-D: 0 2 3 1  [ 3]  * 4 6 
R: 2 3 1 0  [17]  <-D: 0 3 1 2  [ 4]    4  {2 3 1 0  [17] },
R: 2 3 1 0  [17]  <-D: 0 3 2 1  [ 5]  * 4 6 
R: 2 3 1 0  [17]  <-D: 1 0 2 3  [ 6]    2  {2 3 1 0  [17] },
R: 2 3 1 0  [17]  <-D: 1 0 3 2  [ 7]    2  {3 2 1 0  [23] },
R: 2 3 1 0  [17]  <-D: 1 2 0 3  [ 8]    5  {2 3 1 0  [17] },
R: 2 3 1 0  [17]  <-D: 1 2 3 0  [ 9]  * 0 3 
R: 2 3 1 0  [17]  <-D: 1 3 0 2  [10]    5  {3 2 1 0  [23] },
R: 2 3 1 0  [17]  <-D: 1 3 2 0  [11]  * 0 3 
R: 2 3 1 0  [17]  <-D: 2 0 1 3  [12]  * 2 7 
R: 2 3 1 0  [17]  <-D: 2 0 3 1  [13]    7  {3 2 1 0  [23] },
R: 2 3 1 0  [17]  <-D: 2 1 0 3  [14]  * 1 5 
R: 2 3 1 0  [17]  <-D: 2 1 3 0  [15]    3  {2 3 1 0  [17] },
R: 2 3 1 0  [17]  <-D: 2 3 0 1  [16]    1  {3 2 1 0  [23] },
R: 2 3 1 0  [17]  <-D: 2 3 1 0  [17]    0  {2 3 1 0  [17] },
R: 2 3 1 0  [17]  <-D: 3 0 1 2  [18]  * 2 7 
R: 2 3 1 0  [17]  <-D: 3 0 2 1  [19]    7  {2 3 1 0  [17] },
R: 2 3 1 0  [17]  <-D: 3 1 0 2  [20]  * 1 5 
R: 2 3 1 0  [17]  <-D: 3 1 2 0  [21]    3  {3 2 1 0  [23] },
R: 2 3 1 0  [17]  <-D: 3 2 0 1  [22]    1  {2 3 1 0  [17] },
R: 2 3 1 0  [17]  <-D: 3 2 1 0  [23]    0  {3 2 1 0  [23] },
R: 3 0 1 2  [18]  <-D: 0 1 2 3  [ 0]  * 1 7 
R: 3 0 1 2  [18]  <-D: 0 1 3 2  [ 1]  * 1 7 
R: 3 0 1 2  [18]  <-D: 0 2 1 3  [ 2]  * 1 7 
R: 3 0 1 2  [18]  <-D: 0 2 3 1  [ 3]    1 7  {2 0 1 3  [12] }, {3 0 1 2  [18] },
R: 3 0 1 2  [18]  <-D: 0 3 1 2  [ 4]  * 1 7 
R: 3 0 1 2  [18]  <-D: 0 3 2 1  [ 5]    1 7  {3 0 1 2  [18] }, {2 0 1 3  [12] },
R: 3 0 1 2  [18]  <-D: 1 0 2 3  [ 6]  * 0 4 
R: 3 0 1 2  [18]  <-D: 1 0 3 2  [ 7]  * 0 4 
R: 3 0 1 2  [18]  <-D: 1 2 0 3  [ 8]  * 3 6 
R: 3 0 1 2  [18]  <-D: 1 2 3 0  [ 9]    2 5  {3 0 1 2  [18] }, {2 0 1 3  [12] },
R: 3 0 1 2  [18]  <-D: 1 3 0 2  [10]  * 3 6 
R: 3 0 1 2  [18]  <-D: 1 3 2 0  [11]    2 5  {2 0 1 3  [12] }, {3 0 1 2  [18] },
R: 3 0 1 2  [18]  <-D: 2 0 1 3  [12]    0 4  {2 0 1 3  [12] }, {3 0 1 2  [18] },
R: 3 0 1 2  [18]  <-D: 2 0 3 1  [13]  * 0 4 
R: 3 0 1 2  [18]  <-D: 2 1 0 3  [14]    3 6  {2 0 1 3  [12] }, {3 0 1 2  [18] },
R: 3 0 1 2  [18]  <-D: 2 1 3 0  [15]  * 2 5 
R: 3 0 1 2  [18]  <-D: 2 3 0 1  [16]  * 3 6 
R: 3 0 1 2  [18]  <-D: 2 3 1 0  [17]  * 2 5 
R: 3 0 1 2  [18]  <-D: 3 0 1 2  [18]    0 4  {3 0 1 2  [18] }, {2 0 1 3  [12] },
R: 3 0 1 2  [18]  <-D: 3 0 2 1  [19]  * 0 4 
R: 3 0 1 2  [18]  <-D: 3 1 0 2  [20]    3 6  {3 0 1 2  [18] }, {2 0 1 3  [12] },
R: 3 0 1 2  [18]  <-D: 3 1 2 0  [21]  * 2 5 
R: 3 0 1 2  [18]  <-D: 3 2 0 1  [22]  * 3 6 
R: 3 0 1 2  [18]  <-D: 3 2 1 0  [23]  * 2 5 
R: 3 0 2 1  [19]  <-D: 0 1 2 3  [ 0]    7 
R: 3 0 2 1  [19]  <-D: 0 1 3 2  [ 1]    7  {3 0 2 1  [19] },
R: 3 0 2 1  [19]  <-D: 0 2 1 3  [ 2]    1  {2 0 3 1  [13] },
R: 3 0 2 1  [19]  <-D: 0 2 3 1  [ 3]  * 1 7 
R: 3 0 2 1  [19]  <-D: 0 3 1 2  [ 4]    1  {3 0 2 1  [19] },
R: 3 0 2 1  [19]  <-D: 0 3 2 1  [ 5]  * 1 7 
R: 3 0 2 1  [19]  <-D: 1 0 2 3  [ 6]    4  {3 0 2 1  [19] },
R: 3 0 2 1  [19]  <-D: 1 0 3 2  [ 7]    4  {2 0 3 1  [13] },
R: 3 0 2 1  [19]  <-D: 1 2 0 3  [ 8]    6  {3 0 2 1  [19] },
R: 3 0 2 1  [19]  <-D: 1 2 3 0  [ 9]  * 2 5 
R: 3 0 2 1  [19]  <-D: 1 3 0 2  [10]    6  {2 0 3 1  [13] },
R: 3 0 2 1  [19]  <-D: 1 3 2 0  [11]  * 2 5 
R: 3 0 2 1  [19]  <-D: 2 0 1 3  [12]  * 0 4 
R: 3 0 2 1  [19]  <-D: 2 0 3 1  [13]    0  {2 0 3 1  [13] },
R: 3 0 2 1  [19]  <-D: 2 1 0 3  [14]  * 3 6 
R: 3 0 2 1  [19]  <-D: 2 1 3 0  [15]    2  {3 0 2 1  [19] },
R: 3 0 2 1  [19]  <-D: 2 3 0 1  [16]    3  {2 0 3 1  [13] },
R: 3 0 2 1  [19]  <-D: 2 3 1 0  [17]    5  {3 0 2 1  [19] },
R: 3 0 2 1  [19]  <-D: 3 0 1 2  [18]  * 0 4 
R: 3 0 2 1  [19]  <-D: 3 0 2 1  [19]    0  {3 0 2 1  [19] },
R: 3 0 2 1  [19]  <-D: 3 1 0 2  [20]  * 3 6 
R: 3 0 2 1  [19]  <-D: 3 1 2 0  [21]    2  {2 0 3 1  [13] },
R: 3 0 2 1  [19]  <-D: 3 2 0 1  [22]    3  {3 0 2 1  [19] },
R: 3 0 2 1  [19]  <-D: 3 2 1 0  [23]    5  {2 0 3 1  [13] },
R: 3 1 0 2  [20]  <-D: 0 1 2 3  [ 0]  * 2 5 
R: 3 1 0 2  [20]  <-D: 0 1 3 2  [ 1]  * 2 5 
R: 3 1 0 2  [20]  <-D: 0 2 1 3  [ 2]  * 2 5 
R: 3 1 0 2  [20]  <-D: 0 2 3 1  [ 3]    2 5  {3 1 0 2  [20] }, {2 1 0 3  [14] },
R: 3 1 0 2  [20]  <-D: 0 3 1 2  [ 4]  * 2 5 
R: 3 1 0 2  [20]  <-D: 0 3 2 1  [ 5]    2 5  {2 1 0 3  [14] }, {3 1 0 2  [20] },
R: 3 1 0 2  [20]  <-D: 1 0 2 3  [ 6]  * 3 6 
R: 3 1 0 2  [20]  <-D: 1 0 3 2  [ 7]  * 3 6 
R: 3 1 0 2  [20]  <-D: 1 2 0 3  [ 8]  * 0 4 
R: 3 1 0 2  [20]  <-D: 1 2 3 0  [ 9]    1 7  {2 1 0 3  [14] }, {3 1 0 2  [20] },
R: 3 1 0 2  [20]  <-D: 1 3 0 2  [10]  * 0 4 
R: 3 1 0 2  [20]  <-D: 1 3 2 0  [11]    1 7  {3 1 0 2  [20] }, {2 1 0 3  [14] },
R: 3 1 0 2  [20]  <-D: 2 0 1 3  [12]    3 6  {2 1 0 3  [14] }, {3 1 0 2  [20] },
R: 3 1 0 2  [20]  <-D: 2 0 3 1  [13]  * 3 6 
R: 3 1 0 2  [20]  <-D: 2 1 0 3  [14]    0 4  {2 1 0 3  [14] }, {3 1 0 2  [20] },
R: 3 1 0 2  [20]  <-D: 2 1 3 0  [15]  * 1 7 
R: 3 1 0 2  [20]  <-D: 2 3 0 1  [16]  * 0 4 
R: 3 1 0 2  [20]  <-D: 2 3 1 0  [17]  * 1 7 
R: 3 1 0 2  [20]  <-D: 3 0 1 2  [18]    3 6  {3 1 0 2  [20] }, {2 1 0 3  [14] },
R: 3 1 0 2  [20]  <-D: 3 0 2 1  [19]  * 3 6 
R: 3 1 0 2  [20]  <-D: 3 1 0 2  [20]    0 4  {3 1 0 2  [20] }, {2 1 0 3  [14] },
R: 3 1 0 2  [20]  <-D: 3 1 2 0  [21]  * 1 7 
R: 3 1 0 2  [20]  <-D: 3 2 0 1  [22]  * 0 4 
R: 3 1 0 2  [20]  <-D: 3 2 1 0  [23]  * 1 7 
R: 3 1 2 0  [21]  <-D: 0 1 2 3  [ 0]    4 
R: 3 1 2 0  [21]  <-D: 0 1 3 2  [ 1]    4  {2 1 3 0  [15] },
R: 3 1 2 0  [21]  <-D: 0 2 1 3  [ 2]    6  {3 1 2 0  [21] },
R: 3 1 2 0  [21]  <-D: 0 2 3 1  [ 3]  * 4 6 
R: 3 1 2 0  [21]  <-D: 0 3 1 2  [ 4]    6  {2 1 3 0  [15] },
R: 3 1 2 0  [21]  <-D: 0 3 2 1  [ 5]  * 4 6 
R: 3 1 2 0  [21]  <-D: 1 0 2 3  [ 6]    7  {2 1 3 0  [15] },
R: 3 1 2 0  [21]  <-D: 1 0 3 2  [ 7]    7  {3 1 2 0  [21] },
R: 3 1 2 0  [21]  <-D: 1 2 0 3  [ 8]    1  {2 1 3 0  [15] },
R: 3 1 2 0  [21]  <-D: 1 2 3 0  [ 9]  * 0 3 
R: 3 1 2 0  [21]  <-D: 1 3 0 2  [10]    1  {3 1 2 0  [21] },
R: 3 1 2 0  [21]  <-D: 1 3 2 0  [11]  * 0 3 
R: 3 1 2 0  [21]  <-D: 2 0 1 3  [12]  * 2 7 
R: 3 1 2 0  [21]  <-D: 2 0 3 1  [13]    2  {3 1 2 0  [21] },
R: 3 1 2 0  [21]  <-D: 2 1 0 3  [14]  * 1 5 
R: 3 1 2 0  [21]  <-D: 2 1 3 0  [15]    0  {2 1 3 0  [15] },
R: 3 1 2 0  [21]  <-D: 2 3 0 1  [16]    5  {3 1 2 0  [21] },
R: 3 1 2 0  [21]  <-D: 2 3 1 0  [17]    3  {2 1 3 0  [15] },
R: 3 1 2 0  [21]  <-D: 3 0 1 2  [18]  * 2 7 
R: 3 1 2 0  [21]  <-D: 3 0 2 1  [19]    2  {2 1 3 0  [15] },
R: 3 1 2 0  [21]  <-D: 3 1 0 2  [20]  * 1 5 
R: 3 1 2 0  [21]  <-D: 3 1 2 0  [21]    0  {3 1 2 0  [21] },
R: 3 1 2 0  [21]  <-D: 3 2 0 1  [22]    5  {2 1 3 0  [15] },
R: 3 1 2 0  [21]  <-D: 3 2 1 0  [23]    3  {3 1 2 0  [21] },
R: 3 2 0 1  [22]  <-D: 0 1 2 3  [ 0]    2 
R: 3 2 0 1  [22]  <-D: 0 1 3 2  [ 1]    2  {3 2 0 1  [22] },
R: 3 2 0 1  [22]  <-D: 0 2 1 3  [ 2]    5  {2 3 0 1  [16] },
R: 3 2 0 1  [22]  <-D: 0 2 3 1  [ 3]  * 2 5 
R: 3 2 0 1  [22]  <-D: 0 3 1 2  [ 4]    5  {3 2 0 1  [22] },
R: 3 2 0 1  [22]  <-D: 0 3 2 1  [ 5]  * 2 5 
R: 3 2 0 1  [22]  <-D: 1 0 2 3  [ 6]    6  {3 2 0 1  [22] },
R: 3 2 0 1  [22]  <-D: 1 0 3 2  [ 7]    6  {2 3 0 1  [16] },
R: 3 2 0 1  [22]  <-D: 1 2 0 3  [ 8]    4  {3 2 0 1  [22] },
R: 3 2 0 1  [22]  <-D: 1 2 3 0  [ 9]  * 1 7 
R: 3 2 0 1  [22]  <-D: 1 3 0 2  [10]    4  {2 3 0 1  [16] },
R: 3 2 0 1  [22]  <-D: 1 3 2 0  [11]  * 1 7 
R: 3 2 0 1  [22]  <-D: 2 0 1 3  [12]  * 3 6 
R: 3 2 0 1  [22]  <-D: 2 0 3 1  [13]    3  {2 3 0 1  [16] },
R: 3 2 0 1  [22]  <-D: 2 1 0 3  [14]  * 0 4 
R: 3 2 0 1  [22]  <-D: 2 1 3 0  [15]    7  {3 2 0 1  [22] },
R: 3 2 0 1  [22]  <-D: 2 3 0 1  [16]    0  {2 3 0 1  [16] },
R: 3 2 0 1  [22]  <-D: 2 3 1 0  [17]    1  {3 2 0 1  [22] },
R: 3 2 0 1  [22]  <-D: 3 0 1 2  [18]  * 3 6 
R: 3 2 0 1  [22]  <-D: 3 0 2 1  [19]    3  {3 2 0 1  [22] },
R: 3 2 0 1  [22]  <-D: 3 1 0 2  [20]  * 0 4 
R: 3 2 0 1  [22]  <-D: 3 1 2 0  [21]    7  {2 3 0 1  [16] },
R: 3 2 0 1  [22]  <-D: 3 2 0 1  [22]    0  {3 2 0 1  [22] },
R: 3 2 0 1  [22]  <-D: 3 2 1 0  [23]    1  {2 3 0 1  [16] },
R: 3 2 1 0  [23]  <-D: 0 1 2 3  [ 0]    6 
R: 3 2 1 0  [23]  <-D: 0 1 3 2  [ 1]    6  {2 3 1 0  [17] },
R: 3 2 1 0  [23]  <-D: 0 2 1 3  [ 2]    4  {3 2 1 0  [23] },
R: 3 2 1 0  [23]  <-D: 0 2 3 1  [ 3]  * 4 6 
R: 3 2 1 0  [23]  <-D: 0 3 1 2  [ 4]    4  {2 3 1 0  [17] },
R: 3 2 1 0  [23]  <-D: 0 3 2 1  [ 5]  * 4 6 
R: 3 2 1 0  [23]  <-D: 1 0 2 3  [ 6]    2  {2 3 1 0  [17] },
R: 3 2 1 0  [23]  <-D: 1 0 3 2  [ 7]    2  {3 2 1 0  [23] },
R: 3 2 1 0  [23]  <-D: 1 2 0 3  [ 8]    5  {2 3 1 0  [17] },
R: 3 2 1 0  [23]  <-D: 1 2 3 0  [ 9]  * 0 3 
R: 3 2 1 0  [23]  <-D: 1 3 0 2  [10]    5  {3 2 1 0  [23] },
R: 3 2 1 0  [23]  <-D: 1 3 2 0  [11]  * 0 3 
R: 3 2 1 0  [23]  <-D: 2 0 1 3  [12]  * 2 7 
R: 3 2 1 0  [23]  <-D: 2 0 3 1  [13]    7  {3 2 1 0  [23] },
R: 3 2 1 0  [23]  <-D: 2 1 0 3  [14]  * 1 5 
R: 3 2 1 0  [23]  <-D: 2 1 3 0  [15]    3  {2 3 1 0  [17] },
R: 3 2 1 0  [23]  <-D: 2 3 0 1  [16]    1  {3 2 1 0  [23] },
R: 3 2 1 0  [23]  <-D: 2 3 1 0  [17]    0  {2 3 1 0  [17] },
R: 3 2 1 0  [23]  <-D: 3 0 1 2  [18]  * 2 7 
R: 3 2 1 0  [23]  <-D: 3 0 2 1  [19]    7  {2 3 1 0  [17] },
R: 3 2 1 0  [23]  <-D: 3 1 0 2  [20]  * 1 5 
R: 3 2 1 0  [23]  <-D: 3 1 2 0  [21]    3  {3 2 1 0  [23] },
R: 3 2 1 0  [23]  <-D: 3 2 0 1  [22]    1  {2 3 1 0  [17] },
R: 3 2 1 0  [23]  <-D: 3 2 1 0  [23]    0  {3 2 1 0  [23] },

    0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 2 2 2 2 
    0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 
 0: 0 0 3 0 3 0 1 1 7 4 7 4 1 5 2 4 2 6 1 5 2 4 2 6 
 1: 0 0 3 0 3 0 1 1 7 4 7 4 1 5 2 4 2 6 1 5 2 4 2 6 
 2: 3 3 0 0 0 0 5 5 2 4 2 4 1 1 2 6 7 4 1 1 2 6 7 4 
 3: 0 0 0 0 0 0 1 1 2 4 2 4 1 1 2 4 2 4 1 1 2 4 2 4 
 4: 3 3 0 0 0 0 5 5 2 4 2 4 1 1 2 6 7 4 1 1 2 6 7 4 
 5: 0 0 0 0 0 0 1 1 2 4 2 4 1 1 2 4 2 4 1 1 2 4 2 4 
 6: 1 1 7 1 7 1 0 0 3 2 3 2 0 4 3 5 6 2 0 4 3 5 6 2 
 7: 1 1 7 1 7 1 0 0 3 2 3 2 0 4 3 5 6 2 0 4 3 5 6 2 
 8: 5 5 2 2 2 2 3 3 0 1 0 1 3 6 0 1 4 7 3 6 0 1 4 7 
 9: 4 4 4 4 4 4 2 2 1 0 1 0 2 2 1 0 1 0 2 2 1 0 1 0 
10: 5 5 2 2 2 2 3 3 0 1 0 1 3 6 0 1 4 7 3 6 0 1 4 7 
11: 4 4 4 4 4 4 2 2 1 0 1 0 2 2 1 0 1 0 2 2 1 0 1 0 
12: 1 1 1 1 1 1 0 0 3 2 3 2 0 0 3 2 3 2 0 0 3 2 3 2 
13: 7 7 1 1 1 1 4 4 6 2 6 2 0 0 3 2 3 5 0 0 3 2 3 5 
14: 2 2 2 2 2 2 3 3 0 1 0 1 3 3 0 1 0 1 3 3 0 1 0 1 
15: 4 4 6 4 6 4 7 7 1 0 1 0 2 2 1 0 5 3 2 2 1 0 5 3 
16: 2 2 5 2 5 2 6 6 4 1 4 1 3 3 0 7 0 1 3 3 0 7 0 1 
17: 6 6 4 4 4 4 2 2 5 0 5 0 2 7 1 3 1 0 2 7 1 3 1 0 
18: 1 1 1 1 1 1 0 0 3 2 3 2 0 0 3 2 3 2 0 0 3 2 3 2 
19: 7 7 1 1 1 1 4 4 6 2 6 2 0 0 3 2 3 5 0 0 3 2 3 5 
20: 2 2 2 2 2 2 3 3 0 1 0 1 3 3 0 1 0 1 3 3 0 1 0 1 
21: 4 4 6 4 6 4 7 7 1 0 1 0 2 2 1 0 5 3 2 2 1 0 5 3 
22: 2 2 5 2 5 2 6 6 4 1 4 1 3 3 0 7 0 1 3 3 0 7 0 1 
23: 6 6 4 4 4 4 2 2 5 0 5 0 2 7 1 3 1 0 2 7 1 3 1 0 
