1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
g3 0 1 0
5 4 1 0 0
0 1
0 0
3 3 1
0 0 0 1
0 0 0 0 0
10 0
0 0
0 0 0 0 0
C0
n0
C1
o2
v4
v0
C2
n0
C3
n0
O0 0
o0
o0
o5
v0
n2
o5
v1
n2
o5
v2
n2
r
4 0
4 1
4 5
4 1
b
2 0
2 0
2 0
3
3
k4
2
4
6
8
J0 4
0 6
1 3
2 2
3 -1
J1 4
0 0
1 1
2 -1
4 0
J2 1
3 1
J3 1
4 1
x5
0 0.15
1 0.15
2 0
3 0
4 0
S1 2 sens_init_constr
2 1
3 2
S0 2 sens_state_1
3 1
4 2
S4 2 sens_state_value_1
3 4.5
4 1