I:
S: :
+:
-:
-:
-:
-:
I:
S: - :
-:
-:
-:
+:
-:
I:
S: :
+:
-:
-:
-:
I:
S: :
-:
-:
+:
-:
I:
S: I :
-:
+:
-:
-: II
I:
S: :
+:
-:
-:
-:
I:
S: :
-:
+:
-:
-:
I:
S: :
-:
+:
-:
-:
I:
S: :
-:
+:
-:
-:
-:
I:
S: :
-:
-:
+: 17-
-:
I:
S: :
-:
-:
+:
-:
-: -
I:
S: :
-:
-:
+:
-:
I:
S: () :
-:
+:
-:
-
-:
I:
S: :
+:
-:
-: -
-:
-:
I:
S: :
-:
-:
+:
-:
I:
S: :
+: 2
-:
-:
-:
I:
S: 2 :
-:
-:
-:
+:
I:
S: :
-:
+:
-:
-:
I:
S: :
+:
-:
-:
-:
I:
S: :
-:
+: ( )
-:
-:
I:
S: :
+:
|
|
-:
-:
-:
I:
S: :
-:
-:
+:
-: 2
I:
S: :
-:
-:
+:
-:
I:
S: :
-:
-:
-:
+:
I:
S: :
+:
-:
-:
I:
S: :
-:
-:
+:
-:
-:
I:
S: :
-:
-: 25-
+: 1;25-
-:
I:
S: :
-:
+:
-:
-:
I:
S: :
-:
-:
+:
-:
I:
S: :
+:
-:
-:
-:
I:
S: :
-:
-:
-:
+:
I:
S: 21- :
-:
-:
+: ()
-:
I:
S: :
+:
-:
-: -
-:
I:
S: :
-: 2
-: 2
-:
+:
-:
I:
S: ;
-:
-:
-:
+:
I:
S: :
-:
+:
-:
-:
I:
S: :
+:
-:
-:
-:
I:
S: :
-:
-:
+:
I:
S: :
-:
+:
-:
-: -1-
I:
S: :
-: 2
-: 2
+:
I:
S: ( I2):
-:
-:
-:
+:
-:
I:
S: :
|
|
-: 2
+:
-:
-:
I:
S: :
+: 2
-: ( I2)
-:
-:
-:
I:
S: :
-:
-:
-:
+: -
I:
S: 21- :
-:
+:
-:
-:
I:
S: - :
-: 2
+:
-:
-:
-:
I:
S: :
L1:
L2:
L3:
L4:
L5:
R2:
R1:
R4:
R5:
R3:
I:
S: :
-:
-:
+:
-:
I:
S: :
-:
+: : ,
-:
I:
S: :
-: ,
-:
-:
+:
I:
S: :
-:
-:
+:
-:
I:
S: :
-:
-:
-:
+:
-:
I:
S: :
-:
-:
-:
+:
-:
I:
S: :
+:
-:
-:
-:
I:
S: G- :
-:
+:
-:
-:
I:
S: :
-:
-:
-:
+:
-:
I:
S: :
+:
-:
-:
-:
-:
I:
S: :
-:
+:
-:
-:
I:
S: :
+:
-:
-:
-: