3
rule R1 maxdepth 3 > c2 {
5
{ s 1/3 x -1 y -1 z -1 } R1
6
{ s 1/3 x -1 y -1 z +1 } R1
8
{ s 1/3 x 1 y -1 z -1 } R1
9
{ s 1/3 x 1 y -1 z +1 } R1
10
{ s 1/3 y -1 z -1 } R1
11
{ s 1/3 y -1 z +1 } R1
13
{ s 1/3 x -1 y 1 z -1 } R1
14
{ s 1/3 x -1 y 1 z +1 } R1
16
{ s 1/3 x 1 y 1 z -1 } R1
17
{ s 1/3 x 1 y 1 z +1 } R1
20
{ s 1/3 x -1 z -1 } R1
21
{ s 1/3 x -1 z +1 } R1