I:
S: :
-:
-:
+:
-:
I:
S: :
-:
-:
+:
-:
-:
I:
S: :
-:
-:
+:
-:
-:
I:
S: :
-:
-:
+:
-:
-:
I:
S: :
-:
+:
-:
-:
-:
I:
S: :
-:
+:
+:
-:
-:
I:
S: :
-:
+:
+:
-:
-:
I:
S: :
-:
+:
-:
-:
I:
S: :
-:
+:
-:
-:
I:
S: :
-:
+:
-:
-:
V2: - ()
I:
S: :
-:
+:
+:
-:
-:
I:
S: :
-:
+:
+:
-:
-:
I:
S: :
-:
+:
+:
-:
-:
I:
S: :
-:
+:
+:
-:
-:
I:
S: :
-:
+:
-:
-:
I:
S: :
-:
+:
-:
-:
-:
I:
S: :
-:
+:
-:
-:
+:
V2: ()
I:
S: :
-:
+:
-:
-:
-:
I:
S: :
-:
+:
-:
+:
-:
I:
S: :
-:
+:
-:
-:
-:
I:
S: :
-:
+:
-:
-:
-:
I:
S: :
-:
-:
-:
-:
+:
I:
S: :
-:
+:
-:
+:
-: