#####TASK#####
## name
elevators_inst_mdp__9
## horizon
40
## discount factor
1
## number of action fluents
8
## number of det state fluents
18
## number of prob state fluents
6
## number of preconds
0
## number of actions
25
## number of hashing functions
25
## initial state
1 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 
## 1 if task is deterministic
0
## 1 if state hashing possible
1
## 1 if kleene state hashing possible
1
## method to calculate the final reward
NOOP
## 1 if reward formula allows reward lock detection and a reward lock was found during task analysis
0
## 1 if an unreasonable action was detected
1
## 1 if an unreasonable action was detected in the determinization
1
## number of states that were encountered during task analysis
5119
## number of unique states that were encountered during task analysis
3527
## number of states with only one applicable reasonable action that were encountered during task analysis
0
## number of unique states with only one applicable reasonable action that were encountered during task analysis
0


#####ACTION FLUENTS#####
## index
0
## name
close-door(e0)
## number of values
2
## values
0 false
1 true

## index
1
## name
close-door(e1)
## number of values
2
## values
0 false
1 true

## index
2
## name
move-current-dir(e0)
## number of values
2
## values
0 false
1 true

## index
3
## name
move-current-dir(e1)
## number of values
2
## values
0 false
1 true

## index
4
## name
open-door-going-down(e0)
## number of values
2
## values
0 false
1 true

## index
5
## name
open-door-going-down(e1)
## number of values
2
## values
0 false
1 true

## index
6
## name
open-door-going-up(e0)
## number of values
2
## values
0 false
1 true

## index
7
## name
open-door-going-up(e1)
## number of values
2
## values
0 false
1 true



#####DET STATE FLUENTS AND CPFS#####
## index
0
## name
elevator-at-floor(e0, f0)
## number of values
2
## values
0 false
1 true
## formula
switch( (or(~($s(10)) ~($a(2))) : $s(0)) (and($a(2) ~($s(12)) $s(1)) : $c(1)) (and($a(2) $s(12) ~($s(0))) : $s(0)) (and($a(2) ~($s(12))) : $s(0)) ($c(1) : $c(0)) )
## hash index
0
## caching type 
VECTOR
## precomputed results
32
0 0
1 0
2 1
3 1
4 0
5 0
6 1
7 1
8 0
9 0
10 1
11 1
12 0
13 1
14 1
15 1
16 0
17 0
18 1
19 1
20 0
21 0
22 1
23 1
24 0
25 0
26 1
27 0
28 0
29 0
30 1
31 0
## kleene caching type
VECTOR
## kleene caching vec size
162
## action hash keys
0 0
1 0
2 0
3 0
4 0
5 0
6 1
7 0
8 0
9 0
10 0
11 0
12 0
13 0
14 0
15 1
16 1
17 1
18 0
19 0
20 1
21 0
22 0
23 0
24 0

## index
1
## name
elevator-at-floor(e0, f1)
## number of values
2
## values
0 false
1 true
## formula
switch( (or(~($s(10)) ~($a(2))) : $s(1)) (and($a(2) $s(12) $s(0)) : $c(1)) (and($a(2) ~($s(12)) $s(2)) : $c(1)) (and($a(2) $s(12) ~($s(1))) : $s(1)) (and($a(2) ~($s(12)) ~($s(1))) : $s(1)) ($c(1) : $c(0)) )
## hash index
1
## caching type 
VECTOR
## precomputed results
64
0 0
1 0
2 0
3 0
4 1
5 1
6 1
7 1
8 0
9 0
10 0
11 0
12 1
13 1
14 1
15 1
16 0
17 0
18 0
19 0
20 1
21 0
22 1
23 0
24 0
25 1
26 0
27 1
28 1
29 1
30 1
31 1
32 0
33 0
34 0
35 0
36 1
37 1
38 1
39 1
40 0
41 0
42 0
43 0
44 1
45 1
46 1
47 1
48 0
49 0
50 0
51 1
52 1
53 0
54 1
55 1
56 0
57 0
58 0
59 1
60 1
61 0
62 1
63 1
## kleene caching type
VECTOR
## kleene caching vec size
486
## action hash keys
0 0
1 0
2 0
3 0
4 0
5 0
6 1
7 0
8 0
9 0
10 0
11 0
12 0
13 0
14 0
15 1
16 1
17 1
18 0
19 0
20 1
21 0
22 0
23 0
24 0

## index
2
## name
elevator-at-floor(e0, f2)
## number of values
2
## values
0 false
1 true
## formula
switch( (or(~($s(10)) ~($a(2))) : $s(2)) (and($a(2) $s(12) $s(1)) : $c(1)) (and($a(2) ~($s(12)) $s(3)) : $c(1)) (and($a(2) $s(12) ~($s(2))) : $s(2)) (and($a(2) ~($s(12)) ~($s(2))) : $s(2)) ($c(1) : $c(0)) )
## hash index
2
## caching type 
VECTOR
## precomputed results
64
0 0
1 0
2 0
3 0
4 1
5 1
6 1
7 1
8 0
9 0
10 0
11 0
12 1
13 1
14 1
15 1
16 0
17 0
18 0
19 0
20 1
21 0
22 1
23 0
24 0
25 1
26 0
27 1
28 1
29 1
30 1
31 1
32 0
33 0
34 0
35 0
36 1
37 1
38 1
39 1
40 0
41 0
42 0
43 0
44 1
45 1
46 1
47 1
48 0
49 0
50 0
51 1
52 1
53 0
54 1
55 1
56 0
57 0
58 0
59 1
60 1
61 0
62 1
63 1
## kleene caching type
VECTOR
## kleene caching vec size
486
## action hash keys
0 0
1 0
2 0
3 0
4 0
5 0
6 1
7 0
8 0
9 0
10 0
11 0
12 0
13 0
14 0
15 1
16 1
17 1
18 0
19 0
20 1
21 0
22 0
23 0
24 0

## index
3
## name
elevator-at-floor(e0, f3)
## number of values
2
## values
0 false
1 true
## formula
switch( (or(~($s(10)) ~($a(2))) : $s(3)) (and($a(2) $s(12) $s(2)) : $c(1)) (and($a(2) ~($s(12)) $s(4)) : $c(1)) (and($a(2) $s(12) ~($s(3))) : $s(3)) (and($a(2) ~($s(12)) ~($s(3))) : $s(3)) ($c(1) : $c(0)) )
## hash index
3
## caching type 
VECTOR
## precomputed results
64
0 0
1 0
2 0
3 0
4 1
5 1
6 1
7 1
8 0
9 0
10 0
11 0
12 1
13 1
14 1
15 1
16 0
17 0
18 0
19 0
20 1
21 0
22 1
23 0
24 0
25 1
26 0
27 1
28 1
29 1
30 1
31 1
32 0
33 0
34 0
35 0
36 1
37 1
38 1
39 1
40 0
41 0
42 0
43 0
44 1
45 1
46 1
47 1
48 0
49 0
50 0
51 1
52 1
53 0
54 1
55 1
56 0
57 0
58 0
59 1
60 1
61 0
62 1
63 1
## kleene caching type
VECTOR
## kleene caching vec size
486
## action hash keys
0 0
1 0
2 0
3 0
4 0
5 0
6 1
7 0
8 0
9 0
10 0
11 0
12 0
13 0
14 0
15 1
16 1
17 1
18 0
19 0
20 1
21 0
22 0
23 0
24 0

## index
4
## name
elevator-at-floor(e0, f4)
## number of values
2
## values
0 false
1 true
## formula
switch( (or(~($s(10)) ~($a(2))) : $s(4)) (and($a(2) $s(12) $s(3)) : $c(1)) (and($a(2) $s(12)) : $s(4)) (and($a(2) ~($s(12)) ~($s(4))) : $s(4)) ($c(1) : $c(0)) )
## hash index
4
## caching type 
VECTOR
## precomputed results
32
0 0
1 0
2 0
3 0
4 1
5 1
6 1
7 1
8 0
9 0
10 0
11 0
12 1
13 0
14 1
15 0
16 0
17 0
18 0
19 0
20 1
21 1
22 1
23 1
24 0
25 0
26 0
27 1
28 1
29 1
30 1
31 1
## kleene caching type
VECTOR
## kleene caching vec size
162
## action hash keys
0 0
1 0
2 0
3 0
4 0
5 0
6 1
7 0
8 0
9 0
10 0
11 0
12 0
13 0
14 0
15 1
16 1
17 1
18 0
19 0
20 1
21 0
22 0
23 0
24 0

## index
5
## name
elevator-at-floor(e1, f0)
## number of values
2
## values
0 false
1 true
## formula
switch( (or(~($s(11)) ~($a(3))) : $s(5)) (and($a(3) ~($s(13)) $s(6)) : $c(1)) (and($a(3) $s(13) ~($s(5))) : $s(5)) (and($a(3) ~($s(13))) : $s(5)) ($c(1) : $c(0)) )
## hash index
5
## caching type 
VECTOR
## precomputed results
32
0 0
1 0
2 1
3 1
4 0
5 0
6 1
7 1
8 0
9 0
10 1
11 1
12 0
13 1
14 1
15 1
16 0
17 0
18 1
19 1
20 0
21 0
22 1
23 1
24 0
25 0
26 1
27 0
28 0
29 0
30 1
31 0
## kleene caching type
VECTOR
## kleene caching vec size
162
## action hash keys
0 0
1 0
2 0
3 0
4 0
5 1
6 0
7 0
8 0
9 0
10 0
11 0
12 0
13 1
14 1
15 0
16 0
17 1
18 0
19 0
20 0
21 0
22 0
23 1
24 0

## index
6
## name
elevator-at-floor(e1, f1)
## number of values
2
## values
0 false
1 true
## formula
switch( (or(~($s(11)) ~($a(3))) : $s(6)) (and($a(3) $s(13) $s(5)) : $c(1)) (and($a(3) ~($s(13)) $s(7)) : $c(1)) (and($a(3) $s(13) ~($s(6))) : $s(6)) (and($a(3) ~($s(13)) ~($s(6))) : $s(6)) ($c(1) : $c(0)) )
## hash index
6
## caching type 
VECTOR
## precomputed results
64
0 0
1 0
2 0
3 0
4 1
5 1
6 1
7 1
8 0
9 0
10 0
11 0
12 1
13 1
14 1
15 1
16 0
17 0
18 0
19 0
20 1
21 0
22 1
23 0
24 0
25 1
26 0
27 1
28 1
29 1
30 1
31 1
32 0
33 0
34 0
35 0
36 1
37 1
38 1
39 1
40 0
41 0
42 0
43 0
44 1
45 1
46 1
47 1
48 0
49 0
50 0
51 1
52 1
53 0
54 1
55 1
56 0
57 0
58 0
59 1
60 1
61 0
62 1
63 1
## kleene caching type
VECTOR
## kleene caching vec size
486
## action hash keys
0 0
1 0
2 0
3 0
4 0
5 1
6 0
7 0
8 0
9 0
10 0
11 0
12 0
13 1
14 1
15 0
16 0
17 1
18 0
19 0
20 0
21 0
22 0
23 1
24 0

## index
7
## name
elevator-at-floor(e1, f2)
## number of values
2
## values
0 false
1 true
## formula
switch( (or(~($s(11)) ~($a(3))) : $s(7)) (and($a(3) $s(13) $s(6)) : $c(1)) (and($a(3) ~($s(13)) $s(8)) : $c(1)) (and($a(3) $s(13) ~($s(7))) : $s(7)) (and($a(3) ~($s(13)) ~($s(7))) : $s(7)) ($c(1) : $c(0)) )
## hash index
7
## caching type 
VECTOR
## precomputed results
64
0 0
1 0
2 0
3 0
4 1
5 1
6 1
7 1
8 0
9 0
10 0
11 0
12 1
13 1
14 1
15 1
16 0
17 0
18 0
19 0
20 1
21 0
22 1
23 0
24 0
25 1
26 0
27 1
28 1
29 1
30 1
31 1
32 0
33 0
34 0
35 0
36 1
37 1
38 1
39 1
40 0
41 0
42 0
43 0
44 1
45 1
46 1
47 1
48 0
49 0
50 0
51 1
52 1
53 0
54 1
55 1
56 0
57 0
58 0
59 1
60 1
61 0
62 1
63 1
## kleene caching type
VECTOR
## kleene caching vec size
486
## action hash keys
0 0
1 0
2 0
3 0
4 0
5 1
6 0
7 0
8 0
9 0
10 0
11 0
12 0
13 1
14 1
15 0
16 0
17 1
18 0
19 0
20 0
21 0
22 0
23 1
24 0

## index
8
## name
elevator-at-floor(e1, f3)
## number of values
2
## values
0 false
1 true
## formula
switch( (or(~($s(11)) ~($a(3))) : $s(8)) (and($a(3) $s(13) $s(7)) : $c(1)) (and($a(3) ~($s(13)) $s(9)) : $c(1)) (and($a(3) $s(13) ~($s(8))) : $s(8)) (and($a(3) ~($s(13)) ~($s(8))) : $s(8)) ($c(1) : $c(0)) )
## hash index
8
## caching type 
VECTOR
## precomputed results
64
0 0
1 0
2 0
3 0
4 1
5 1
6 1
7 1
8 0
9 0
10 0
11 0
12 1
13 1
14 1
15 1
16 0
17 0
18 0
19 0
20 1
21 0
22 1
23 0
24 0
25 1
26 0
27 1
28 1
29 1
30 1
31 1
32 0
33 0
34 0
35 0
36 1
37 1
38 1
39 1
40 0
41 0
42 0
43 0
44 1
45 1
46 1
47 1
48 0
49 0
50 0
51 1
52 1
53 0
54 1
55 1
56 0
57 0
58 0
59 1
60 1
61 0
62 1
63 1
## kleene caching type
VECTOR
## kleene caching vec size
486
## action hash keys
0 0
1 0
2 0
3 0
4 0
5 1
6 0
7 0
8 0
9 0
10 0
11 0
12 0
13 1
14 1
15 0
16 0
17 1
18 0
19 0
20 0
21 0
22 0
23 1
24 0

## index
9
## name
elevator-at-floor(e1, f4)
## number of values
2
## values
0 false
1 true
## formula
switch( (or(~($s(11)) ~($a(3))) : $s(9)) (and($a(3) $s(13) $s(8)) : $c(1)) (and($a(3) $s(13)) : $s(9)) (and($a(3) ~($s(13)) ~($s(9))) : $s(9)) ($c(1) : $c(0)) )
## hash index
9
## caching type 
VECTOR
## precomputed results
32
0 0
1 0
2 0
3 0
4 1
5 1
6 1
7 1
8 0
9 0
10 0
11 0
12 1
13 0
14 1
15 0
16 0
17 0
18 0
19 0
20 1
21 1
22 1
23 1
24 0
25 0
26 0
27 1
28 1
29 1
30 1
31 1
## kleene caching type
VECTOR
## kleene caching vec size
162
## action hash keys
0 0
1 0
2 0
3 0
4 0
5 1
6 0
7 0
8 0
9 0
10 0
11 0
12 0
13 1
14 1
15 0
16 0
17 1
18 0
19 0
20 0
21 0
22 0
23 1
24 0

## index
10
## name
elevator-closed(e0)
## number of values
2
## values
0 false
1 true
## formula
or(and($s(10) ~($a(6)) ~($a(4))) $a(0))
## hash index
10
## caching type 
VECTOR
## precomputed results
8
0 0
1 0
2 0
3 1
4 1
5 0
6 0
7 1
## kleene caching type
VECTOR
## kleene caching vec size
12
## action hash keys
0 0
1 0
2 1
3 0
4 2
5 0
6 0
7 0
8 3
9 1
10 1
11 2
12 2
13 1
14 2
15 0
16 0
17 0
18 1
19 2
20 0
21 3
22 3
23 3
24 3

## index
11
## name
elevator-closed(e1)
## number of values
2
## values
0 false
1 true
## formula
or(and($s(11) ~($a(7)) ~($a(5))) $a(1))
## hash index
11
## caching type 
VECTOR
## precomputed results
8
0 0
1 0
2 0
3 1
4 1
5 0
6 0
7 1
## kleene caching type
VECTOR
## kleene caching vec size
12
## action hash keys
0 0
1 1
2 0
3 2
4 0
5 0
6 0
7 3
8 0
9 1
10 2
11 1
12 2
13 0
14 0
15 1
16 2
17 0
18 3
19 3
20 3
21 1
22 2
23 0
24 3

## index
12
## name
elevator-dir-up(e0)
## number of values
2
## values
0 false
1 true
## formula
switch( ($a(6) : $c(1)) ($a(4) : $c(0)) ($c(1) : $s(12)) )
## hash index
12
## caching type 
VECTOR
## precomputed results
6
0 0
1 1
2 0
3 1
4 1
5 0
## kleene caching type
VECTOR
## kleene caching vec size
9
## action hash keys
0 0
1 0
2 1
3 0
4 2
5 0
6 0
7 0
8 0
9 1
10 1
11 2
12 2
13 1
14 2
15 0
16 0
17 0
18 1
19 2
20 0
21 0
22 0
23 0
24 0

## index
13
## name
elevator-dir-up(e1)
## number of values
2
## values
0 false
1 true
## formula
switch( ($a(7) : $c(1)) ($a(5) : $c(0)) ($c(1) : $s(13)) )
## hash index
13
## caching type 
VECTOR
## precomputed results
6
0 0
1 1
2 0
3 1
4 1
5 0
## kleene caching type
VECTOR
## kleene caching vec size
9
## action hash keys
0 0
1 1
2 0
3 2
4 0
5 0
6 0
7 0
8 0
9 1
10 2
11 1
12 2
13 0
14 0
15 1
16 2
17 0
18 0
19 0
20 0
21 1
22 2
23 0
24 0

## index
14
## name
person-in-elevator-going-down(e0)
## number of values
2
## values
0 false
1 true
## formula
switch( ($s(14) : ~($s(0))) ($c(1) : or(and($s(1) ~($s(12)) ~($s(10)) $s(18)) and($s(2) ~($s(12)) ~($s(10)) $s(19)) and($s(3) ~($s(12)) ~($s(10)) $s(20)))) )
## hash index
14
## caching type 
VECTOR
## precomputed results
1024
0 0
1 0
2 0
3 0
4 0
5 0
6 0
7 0
8 0
9 0
10 0
11 0
12 0
13 0
14 0
15 0
16 0
17 0
18 0
19 0
20 0
21 0
22 0
23 0
24 0
25 0
26 0
27 0
28 0
29 0
30 0
31 0
32 0
33 0
34 0
35 0
36 0
37 0
38 0
39 0
40 0
41 0
42 0
43 0
44 0
45 0
46 0
47 0
48 0
49 0
50 0
51 0
52 0
53 0
54 0
55 0
56 0
57 0
58 0
59 0
60 0
61 0
62 0
63 0
64 1
65 0
66 1
67 0
68 1
69 0
70 1
71 0
72 1
73 0
74 1
75 0
76 1
77 0
78 1
79 0
80 1
81 0
82 1
83 0
84 1
85 0
86 1
87 0
88 1
89 0
90 1
91 0
92 1
93 0
94 1
95 0
96 1
97 0
98 1
99 0
100 1
101 0
102 1
103 0
104 1
105 0
106 1
107 0
108 1
109 0
110 1
111 0
112 1
113 0
114 1
115 0
116 1
117 0
118 1
119 0
120 1
121 0
122 1
123 0
124 1
125 0
126 1
127 0
128 0
129 0
130 1
131 1
132 0
133 0
134 1
135 1
136 0
137 0
138 1
139 1
140 0
141 0
142 1
143 1
144 0
145 0
146 0
147 0
148 0
149 0
150 0
151 0
152 0
153 0
154 0
155 0
156 0
157 0
158 0
159 0
160 0
161 0
162 0
163 0
164 0
165 0
166 0
167 0
168 0
169 0
170 0
171 0
172 0
173 0
174 0
175 0
176 0
177 0
178 0
179 0
180 0
181 0
182 0
183 0
184 0
185 0
186 0
187 0
188 0
189 0
190 0
191 0
192 1
193 0
194 1
195 0
196 1
197 0
198 1
199 0
200 1
201 0
202 1
203 0
204 1
205 0
206 1
207 0
208 1
209 0
210 1
211 0
212 1
213 0
214 1
215 0
216 1
217 0
218 1
219 0
220 1
221 0
222 1
223 0
224 1
225 0
226 1
227 0
228 1
229 0
230 1
231 0
232 1
233 0
234 1
235 0
236 1
237 0
238 1
239 0
240 1
241 0
242 1
243 0
244 1
245 0
246 1
247 0
248 1
249 0
250 1
251 0
252 1
253 0
254 1
255 0
256 0
257 0
258 0
259 0
260 1
261 1
262 1
263 1
264 0
265 0
266 0
267 0
268 1
269 1
270 1
271 1
272 0
273 0
274 0
275 0
276 0
277 0
278 0
279 0
280 0
281 0
282 0
283 0
284 0
285 0
286 0
287 0
288 0
289 0
290 0
291 0
292 0
293 0
294 0
295 0
296 0
297 0
298 0
299 0
300 0
301 0
302 0
303 0
304 0
305 0
306 0
307 0
308 0
309 0
310 0
311 0
312 0
313 0
314 0
315 0
316 0
317 0
318 0
319 0
320 1
321 0
322 1
323 0
324 1
325 0
326 1
327 0
328 1
329 0
330 1
331 0
332 1
333 0
334 1
335 0
336 1
337 0
338 1
339 0
340 1
341 0
342 1
343 0
344 1
345 0
346 1
347 0
348 1
349 0
350 1
351 0
352 1
353 0
354 1
355 0
356 1
357 0
358 1
359 0
360 1
361 0
362 1
363 0
364 1
365 0
366 1
367 0
368 1
369 0
370 1
371 0
372 1
373 0
374 1
375 0
376 1
377 0
378 1
379 0
380 1
381 0
382 1
383 0
384 0
385 0
386 1
387 1
388 1
389 1
390 1
391 1
392 0
393 0
394 1
395 1
396 1
397 1
398 1
399 1
400 0
401 0
402 0
403 0
404 0
405 0
406 0
407 0
408 0
409 0
410 0
411 0
412 0
413 0
414 0
415 0
416 0
417 0
418 0
419 0
420 0
421 0
422 0
423 0
424 0
425 0
426 0
427 0
428 0
429 0
430 0
431 0
432 0
433 0
434 0
435 0
436 0
437 0
438 0
439 0
440 0
441 0
442 0
443 0
444 0
445 0
446 0
447 0
448 1
449 0
450 1
451 0
452 1
453 0
454 1
455 0
456 1
457 0
458 1
459 0
460 1
461 0
462 1
463 0
464 1
465 0
466 1
467 0
468 1
469 0
470 1
471 0
472 1
473 0
474 1
475 0
476 1
477 0
478 1
479 0
480 1
481 0
482 1
483 0
484 1
485 0
486 1
487 0
488 1
489 0
490 1
491 0
492 1
493 0
494 1
495 0
496 1
497 0
498 1
499 0
500 1
501 0
502 1
503 0
504 1
505 0
506 1
507 0
508 1
509 0
510 1
511 0
512 0
513 0
514 0
515 0
516 0
517 0
518 0
519 0
520 1
521 1
522 1
523 1
524 1
525 1
526 1
527 1
528 0
529 0
530 0
531 0
532 0
533 0
534 0
535 0
536 0
537 0
538 0
539 0
540 0
541 0
542 0
543 0
544 0
545 0
546 0
547 0
548 0
549 0
550 0
551 0
552 0
553 0
554 0
555 0
556 0
557 0
558 0
559 0
560 0
561 0
562 0
563 0
564 0
565 0
566 0
567 0
568 0
569 0
570 0
571 0
572 0
573 0
574 0
575 0
576 1
577 0
578 1
579 0
580 1
581 0
582 1
583 0
584 1
585 0
586 1
587 0
588 1
589 0
590 1
591 0
592 1
593 0
594 1
595 0
596 1
597 0
598 1
599 0
600 1
601 0
602 1
603 0
604 1
605 0
606 1
607 0
608 1
609 0
610 1
611 0
612 1
613 0
614 1
615 0
616 1
617 0
618 1
619 0
620 1
621 0
622 1
623 0
624 1
625 0
626 1
627 0
628 1
629 0
630 1
631 0
632 1
633 0
634 1
635 0
636 1
637 0
638 1
639 0
640 0
641 0
642 1
643 1
644 0
645 0
646 1
647 1
648 1
649 1
650 1
651 1
652 1
653 1
654 1
655 1
656 0
657 0
658 0
659 0
660 0
661 0
662 0
663 0
664 0
665 0
666 0
667 0
668 0
669 0
670 0
671 0
672 0
673 0
674 0
675 0
676 0
677 0
678 0
679 0
680 0
681 0
682 0
683 0
684 0
685 0
686 0
687 0
688 0
689 0
690 0
691 0
692 0
693 0
694 0
695 0
696 0
697 0
698 0
699 0
700 0
701 0
702 0
703 0
704 1
705 0
706 1
707 0
708 1
709 0
710 1
711 0
712 1
713 0
714 1
715 0
716 1
717 0
718 1
719 0
720 1
721 0
722 1
723 0
724 1
725 0
726 1
727 0
728 1
729 0
730 1
731 0
732 1
733 0
734 1
735 0
736 1
737 0
738 1
739 0
740 1
741 0
742 1
743 0
744 1
745 0
746 1
747 0
748 1
749 0
750 1
751 0
752 1
753 0
754 1
755 0
756 1
757 0
758 1
759 0
760 1
761 0
762 1
763 0
764 1
765 0
766 1
767 0
768 0
769 0
770 0
771 0
772 1
773 1
774 1
775 1
776 1
777 1
778 1
779 1
780 1
781 1
782 1
783 1
784 0
785 0
786 0
787 0
788 0
789 0
790 0
791 0
792 0
793 0
794 0
795 0
796 0
797 0
798 0
799 0
800 0
801 0
802 0
803 0
804 0
805 0
806 0
807 0
808 0
809 0
810 0
811 0
812 0
813 0
814 0
815 0
816 0
817 0
818 0
819 0
820 0
821 0
822 0
823 0
824 0
825 0
826 0
827 0
828 0
829 0
830 0
831 0
832 1
833 0
834 1
835 0
836 1
837 0
838 1
839 0
840 1
841 0
842 1
843 0
844 1
845 0
846 1
847 0
848 1
849 0
850 1
851 0
852 1
853 0
854 1
855 0
856 1
857 0
858 1
859 0
860 1
861 0
862 1
863 0
864 1
865 0
866 1
867 0
868 1
869 0
870 1
871 0
872 1
873 0
874 1
875 0
876 1
877 0
878 1
879 0
880 1
881 0
882 1
883 0
884 1
885 0
886 1
887 0
888 1
889 0
890 1
891 0
892 1
893 0
894 1
895 0
896 0
897 0
898 1
899 1
900 1
901 1
902 1
903 1
904 1
905 1
906 1
907 1
908 1
909 1
910 1
911 1
912 0
913 0
914 0
915 0
916 0
917 0
918 0
919 0
920 0
921 0
922 0
923 0
924 0
925 0
926 0
927 0
928 0
929 0
930 0
931 0
932 0
933 0
934 0
935 0
936 0
937 0
938 0
939 0
940 0
941 0
942 0
943 0
944 0
945 0
946 0
947 0
948 0
949 0
950 0
951 0
952 0
953 0
954 0
955 0
956 0
957 0
958 0
959 0
960 1
961 0
962 1
963 0
964 1
965 0
966 1
967 0
968 1
969 0
970 1
971 0
972 1
973 0
974 1
975 0
976 1
977 0
978 1
979 0
980 1
981 0
982 1
983 0
984 1
985 0
986 1
987 0
988 1
989 0
990 1
991 0
992 1
993 0
994 1
995 0
996 1
997 0
998 1
999 0
1000 1
1001 0
1002 1
1003 0
1004 1
1005 0
1006 1
1007 0
1008 1
1009 0
1010 1
1011 0
1012 1
1013 0
1014 1
1015 0
1016 1
1017 0
1018 1
1019 0
1020 1
1021 0
1022 1
1023 0
## kleene caching type
VECTOR
## kleene caching vec size
59049
## action hash keys
0 0
1 0
2 0
3 0
4 0
5 0
6 0
7 0
8 0
9 0
10 0
11 0
12 0
13 0
14 0
15 0
16 0
17 0
18 0
19 0
20 0
21 0
22 0
23 0
24 0

## index
15
## name
person-in-elevator-going-down(e1)
## number of values
2
## values
0 false
1 true
## formula
switch( ($s(15) : ~($s(5))) ($c(1) : or(and($s(6) ~($s(13)) ~($s(11)) $s(18)) and($s(7) ~($s(13)) ~($s(11)) $s(19)) and($s(8) ~($s(13)) ~($s(11)) $s(20)))) )
## hash index
15
## caching type 
VECTOR
## precomputed results
1024
0 0
1 0
2 0
3 0
4 0
5 0
6 0
7 0
8 0
9 0
10 0
11 0
12 0
13 0
14 0
15 0
16 0
17 0
18 0
19 0
20 0
21 0
22 0
23 0
24 0
25 0
26 0
27 0
28 0
29 0
30 0
31 0
32 0
33 0
34 0
35 0
36 0
37 0
38 0
39 0
40 0
41 0
42 0
43 0
44 0
45 0
46 0
47 0
48 0
49 0
50 0
51 0
52 0
53 0
54 0
55 0
56 0
57 0
58 0
59 0
60 0
61 0
62 0
63 0
64 1
65 0
66 1
67 0
68 1
69 0
70 1
71 0
72 1
73 0
74 1
75 0
76 1
77 0
78 1
79 0
80 1
81 0
82 1
83 0
84 1
85 0
86 1
87 0
88 1
89 0
90 1
91 0
92 1
93 0
94 1
95 0
96 1
97 0
98 1
99 0
100 1
101 0
102 1
103 0
104 1
105 0
106 1
107 0
108 1
109 0
110 1
111 0
112 1
113 0
114 1
115 0
116 1
117 0
118 1
119 0
120 1
121 0
122 1
123 0
124 1
125 0
126 1
127 0
128 0
129 0
130 1
131 1
132 0
133 0
134 1
135 1
136 0
137 0
138 1
139 1
140 0
141 0
142 1
143 1
144 0
145 0
146 0
147 0
148 0
149 0
150 0
151 0
152 0
153 0
154 0
155 0
156 0
157 0
158 0
159 0
160 0
161 0
162 0
163 0
164 0
165 0
166 0
167 0
168 0
169 0
170 0
171 0
172 0
173 0
174 0
175 0
176 0
177 0
178 0
179 0
180 0
181 0
182 0
183 0
184 0
185 0
186 0
187 0
188 0
189 0
190 0
191 0
192 1
193 0
194 1
195 0
196 1
197 0
198 1
199 0
200 1
201 0
202 1
203 0
204 1
205 0
206 1
207 0
208 1
209 0
210 1
211 0
212 1
213 0
214 1
215 0
216 1
217 0
218 1
219 0
220 1
221 0
222 1
223 0
224 1
225 0
226 1
227 0
228 1
229 0
230 1
231 0
232 1
233 0
234 1
235 0
236 1
237 0
238 1
239 0
240 1
241 0
242 1
243 0
244 1
245 0
246 1
247 0
248 1
249 0
250 1
251 0
252 1
253 0
254 1
255 0
256 0
257 0
258 0
259 0
260 1
261 1
262 1
263 1
264 0
265 0
266 0
267 0
268 1
269 1
270 1
271 1
272 0
273 0
274 0
275 0
276 0
277 0
278 0
279 0
280 0
281 0
282 0
283 0
284 0
285 0
286 0
287 0
288 0
289 0
290 0
291 0
292 0
293 0
294 0
295 0
296 0
297 0
298 0
299 0
300 0
301 0
302 0
303 0
304 0
305 0
306 0
307 0
308 0
309 0
310 0
311 0
312 0
313 0
314 0
315 0
316 0
317 0
318 0
319 0
320 1
321 0
322 1
323 0
324 1
325 0
326 1
327 0
328 1
329 0
330 1
331 0
332 1
333 0
334 1
335 0
336 1
337 0
338 1
339 0
340 1
341 0
342 1
343 0
344 1
345 0
346 1
347 0
348 1
349 0
350 1
351 0
352 1
353 0
354 1
355 0
356 1
357 0
358 1
359 0
360 1
361 0
362 1
363 0
364 1
365 0
366 1
367 0
368 1
369 0
370 1
371 0
372 1
373 0
374 1
375 0
376 1
377 0
378 1
379 0
380 1
381 0
382 1
383 0
384 0
385 0
386 1
387 1
388 1
389 1
390 1
391 1
392 0
393 0
394 1
395 1
396 1
397 1
398 1
399 1
400 0
401 0
402 0
403 0
404 0
405 0
406 0
407 0
408 0
409 0
410 0
411 0
412 0
413 0
414 0
415 0
416 0
417 0
418 0
419 0
420 0
421 0
422 0
423 0
424 0
425 0
426 0
427 0
428 0
429 0
430 0
431 0
432 0
433 0
434 0
435 0
436 0
437 0
438 0
439 0
440 0
441 0
442 0
443 0
444 0
445 0
446 0
447 0
448 1
449 0
450 1
451 0
452 1
453 0
454 1
455 0
456 1
457 0
458 1
459 0
460 1
461 0
462 1
463 0
464 1
465 0
466 1
467 0
468 1
469 0
470 1
471 0
472 1
473 0
474 1
475 0
476 1
477 0
478 1
479 0
480 1
481 0
482 1
483 0
484 1
485 0
486 1
487 0
488 1
489 0
490 1
491 0
492 1
493 0
494 1
495 0
496 1
497 0
498 1
499 0
500 1
501 0
502 1
503 0
504 1
505 0
506 1
507 0
508 1
509 0
510 1
511 0
512 0
513 0
514 0
515 0
516 0
517 0
518 0
519 0
520 1
521 1
522 1
523 1
524 1
525 1
526 1
527 1
528 0
529 0
530 0
531 0
532 0
533 0
534 0
535 0
536 0
537 0
538 0
539 0
540 0
541 0
542 0
543 0
544 0
545 0
546 0
547 0
548 0
549 0
550 0
551 0
552 0
553 0
554 0
555 0
556 0
557 0
558 0
559 0
560 0
561 0
562 0
563 0
564 0
565 0
566 0
567 0
568 0
569 0
570 0
571 0
572 0
573 0
574 0
575 0
576 1
577 0
578 1
579 0
580 1
581 0
582 1
583 0
584 1
585 0
586 1
587 0
588 1
589 0
590 1
591 0
592 1
593 0
594 1
595 0
596 1
597 0
598 1
599 0
600 1
601 0
602 1
603 0
604 1
605 0
606 1
607 0
608 1
609 0
610 1
611 0
612 1
613 0
614 1
615 0
616 1
617 0
618 1
619 0
620 1
621 0
622 1
623 0
624 1
625 0
626 1
627 0
628 1
629 0
630 1
631 0
632 1
633 0
634 1
635 0
636 1
637 0
638 1
639 0
640 0
641 0
642 1
643 1
644 0
645 0
646 1
647 1
648 1
649 1
650 1
651 1
652 1
653 1
654 1
655 1
656 0
657 0
658 0
659 0
660 0
661 0
662 0
663 0
664 0
665 0
666 0
667 0
668 0
669 0
670 0
671 0
672 0
673 0
674 0
675 0
676 0
677 0
678 0
679 0
680 0
681 0
682 0
683 0
684 0
685 0
686 0
687 0
688 0
689 0
690 0
691 0
692 0
693 0
694 0
695 0
696 0
697 0
698 0
699 0
700 0
701 0
702 0
703 0
704 1
705 0
706 1
707 0
708 1
709 0
710 1
711 0
712 1
713 0
714 1
715 0
716 1
717 0
718 1
719 0
720 1
721 0
722 1
723 0
724 1
725 0
726 1
727 0
728 1
729 0
730 1
731 0
732 1
733 0
734 1
735 0
736 1
737 0
738 1
739 0
740 1
741 0
742 1
743 0
744 1
745 0
746 1
747 0
748 1
749 0
750 1
751 0
752 1
753 0
754 1
755 0
756 1
757 0
758 1
759 0
760 1
761 0
762 1
763 0
764 1
765 0
766 1
767 0
768 0
769 0
770 0
771 0
772 1
773 1
774 1
775 1
776 1
777 1
778 1
779 1
780 1
781 1
782 1
783 1
784 0
785 0
786 0
787 0
788 0
789 0
790 0
791 0
792 0
793 0
794 0
795 0
796 0
797 0
798 0
799 0
800 0
801 0
802 0
803 0
804 0
805 0
806 0
807 0
808 0
809 0
810 0
811 0
812 0
813 0
814 0
815 0
816 0
817 0
818 0
819 0
820 0
821 0
822 0
823 0
824 0
825 0
826 0
827 0
828 0
829 0
830 0
831 0
832 1
833 0
834 1
835 0
836 1
837 0
838 1
839 0
840 1
841 0
842 1
843 0
844 1
845 0
846 1
847 0
848 1
849 0
850 1
851 0
852 1
853 0
854 1
855 0
856 1
857 0
858 1
859 0
860 1
861 0
862 1
863 0
864 1
865 0
866 1
867 0
868 1
869 0
870 1
871 0
872 1
873 0
874 1
875 0
876 1
877 0
878 1
879 0
880 1
881 0
882 1
883 0
884 1
885 0
886 1
887 0
888 1
889 0
890 1
891 0
892 1
893 0
894 1
895 0
896 0
897 0
898 1
899 1
900 1
901 1
902 1
903 1
904 1
905 1
906 1
907 1
908 1
909 1
910 1
911 1
912 0
913 0
914 0
915 0
916 0
917 0
918 0
919 0
920 0
921 0
922 0
923 0
924 0
925 0
926 0
927 0
928 0
929 0
930 0
931 0
932 0
933 0
934 0
935 0
936 0
937 0
938 0
939 0
940 0
941 0
942 0
943 0
944 0
945 0
946 0
947 0
948 0
949 0
950 0
951 0
952 0
953 0
954 0
955 0
956 0
957 0
958 0
959 0
960 1
961 0
962 1
963 0
964 1
965 0
966 1
967 0
968 1
969 0
970 1
971 0
972 1
973 0
974 1
975 0
976 1
977 0
978 1
979 0
980 1
981 0
982 1
983 0
984 1
985 0
986 1
987 0
988 1
989 0
990 1
991 0
992 1
993 0
994 1
995 0
996 1
997 0
998 1
999 0
1000 1
1001 0
1002 1
1003 0
1004 1
1005 0
1006 1
1007 0
1008 1
1009 0
1010 1
1011 0
1012 1
1013 0
1014 1
1015 0
1016 1
1017 0
1018 1
1019 0
1020 1
1021 0
1022 1
1023 0
## kleene caching type
VECTOR
## kleene caching vec size
59049
## action hash keys
0 0
1 0
2 0
3 0
4 0
5 0
6 0
7 0
8 0
9 0
10 0
11 0
12 0
13 0
14 0
15 0
16 0
17 0
18 0
19 0
20 0
21 0
22 0
23 0
24 0

## index
16
## name
person-in-elevator-going-up(e0)
## number of values
2
## values
0 false
1 true
## formula
switch( ($s(16) : ~($s(4))) ($c(1) : or(and($s(1) $s(12) ~($s(10)) $s(21)) and($s(2) $s(12) ~($s(10)) $s(22)) and($s(3) $s(12) ~($s(10)) $s(23)))) )
## hash index
16
## caching type 
VECTOR
## precomputed results
1024
0 0
1 0
2 0
3 0
4 0
5 0
6 0
7 0
8 0
9 0
10 0
11 0
12 0
13 0
14 0
15 0
16 0
17 0
18 0
19 0
20 0
21 0
22 0
23 0
24 0
25 0
26 0
27 0
28 0
29 0
30 0
31 0
32 0
33 0
34 0
35 0
36 0
37 0
38 0
39 0
40 0
41 0
42 0
43 0
44 0
45 0
46 0
47 0
48 0
49 0
50 0
51 0
52 0
53 0
54 0
55 0
56 0
57 0
58 0
59 0
60 0
61 0
62 0
63 0
64 1
65 1
66 1
67 1
68 1
69 1
70 1
71 1
72 0
73 0
74 0
75 0
76 0
77 0
78 0
79 0
80 1
81 1
82 1
83 1
84 1
85 1
86 1
87 1
88 0
89 0
90 0
91 0
92 0
93 0
94 0
95 0
96 1
97 1
98 1
99 1
100 1
101 1
102 1
103 1
104 0
105 0
106 0
107 0
108 0
109 0
110 0
111 0
112 1
113 1
114 1
115 1
116 1
117 1
118 1
119 1
120 0
121 0
122 0
123 0
124 0
125 0
126 0
127 0
128 0
129 0
130 0
131 0
132 0
133 0
134 0
135 0
136 0
137 0
138 0
139 0
140 0
141 0
142 0
143 0
144 0
145 0
146 0
147 0
148 0
149 0
150 0
151 0
152 0
153 0
154 0
155 0
156 0
157 0
158 0
159 0
160 0
161 1
162 0
163 1
164 0
165 1
166 0
167 1
168 0
169 1
170 0
171 1
172 0
173 1
174 0
175 1
176 0
177 0
178 0
179 0
180 0
181 0
182 0
183 0
184 0
185 0
186 0
187 0
188 0
189 0
190 0
191 0
192 1
193 1
194 1
195 1
196 1
197 1
198 1
199 1
200 0
201 0
202 0
203 0
204 0
205 0
206 0
207 0
208 1
209 1
210 1
211 1
212 1
213 1
214 1
215 1
216 0
217 0
218 0
219 0
220 0
221 0
222 0
223 0
224 1
225 1
226 1
227 1
228 1
229 1
230 1
231 1
232 0
233 0
234 0
235 0
236 0
237 0
238 0
239 0
240 1
241 1
242 1
243 1
244 1
245 1
246 1
247 1
248 0
249 0
250 0
251 0
252 0
253 0
254 0
255 0
256 0
257 0
258 0
259 0
260 0
261 0
262 0
263 0
264 0
265 0
266 0
267 0
268 0
269 0
270 0
271 0
272 0
273 0
274 0
275 0
276 0
277 0
278 0
279 0
280 0
281 0
282 0
283 0
284 0
285 0
286 0
287 0
288 0
289 0
290 1
291 1
292 0
293 0
294 1
295 1
296 0
297 0
298 1
299 1
300 0
301 0
302 1
303 1
304 0
305 0
306 0
307 0
308 0
309 0
310 0
311 0
312 0
313 0
314 0
315 0
316 0
317 0
318 0
319 0
320 1
321 1
322 1
323 1
324 1
325 1
326 1
327 1
328 0
329 0
330 0
331 0
332 0
333 0
334 0
335 0
336 1
337 1
338 1
339 1
340 1
341 1
342 1
343 1
344 0
345 0
346 0
347 0
348 0
349 0
350 0
351 0
352 1
353 1
354 1
355 1
356 1
357 1
358 1
359 1
360 0
361 0
362 0
363 0
364 0
365 0
366 0
367 0
368 1
369 1
370 1
371 1
372 1
373 1
374 1
375 1
376 0
377 0
378 0
379 0
380 0
381 0
382 0
383 0
384 0
385 0
386 0
387 0
388 0
389 0
390 0
391 0
392 0
393 0
394 0
395 0
396 0
397 0
398 0
399 0
400 0
401 0
402 0
403 0
404 0
405 0
406 0
407 0
408 0
409 0
410 0
411 0
412 0
413 0
414 0
415 0
416 0
417 1
418 1
419 1
420 0
421 1
422 1
423 1
424 0
425 1
426 1
427 1
428 0
429 1
430 1
431 1
432 0
433 0
434 0
435 0
436 0
437 0
438 0
439 0
440 0
441 0
442 0
443 0
444 0
445 0
446 0
447 0
448 1
449 1
450 1
451 1
452 1
453 1
454 1
455 1
456 0
457 0
458 0
459 0
460 0
461 0
462 0
463 0
464 1
465 1
466 1
467 1
468 1
469 1
470 1
471 1
472 0
473 0
474 0
475 0
476 0
477 0
478 0
479 0
480 1
481 1
482 1
483 1
484 1
485 1
486 1
487 1
488 0
489 0
490 0
491 0
492 0
493 0
494 0
495 0
496 1
497 1
498 1
499 1
500 1
501 1
502 1
503 1
504 0
505 0
506 0
507 0
508 0
509 0
510 0
511 0
512 0
513 0
514 0
515 0
516 0
517 0
518 0
519 0
520 0
521 0
522 0
523 0
524 0
525 0
526 0
527 0
528 0
529 0
530 0
531 0
532 0
533 0
534 0
535 0
536 0
537 0
538 0
539 0
540 0
541 0
542 0
543 0
544 0
545 0
546 0
547 0
548 1
549 1
550 1
551 1
552 0
553 0
554 0
555 0
556 1
557 1
558 1
559 1
560 0
561 0
562 0
563 0
564 0
565 0
566 0
567 0
568 0
569 0
570 0
571 0
572 0
573 0
574 0
575 0
576 1
577 1
578 1
579 1
580 1
581 1
582 1
583 1
584 0
585 0
586 0
587 0
588 0
589 0
590 0
591 0
592 1
593 1
594 1
595 1
596 1
597 1
598 1
599 1
600 0
601 0
602 0
603 0
604 0
605 0
606 0
607 0
608 1
609 1
610 1
611 1
612 1
613 1
614 1
615 1
616 0
617 0
618 0
619 0
620 0
621 0
622 0
623 0
624 1
625 1
626 1
627 1
628 1
629 1
630 1
631 1
632 0
633 0
634 0
635 0
636 0
637 0
638 0
639 0
640 0
641 0
642 0
643 0
644 0
645 0
646 0
647 0
648 0
649 0
650 0
651 0
652 0
653 0
654 0
655 0
656 0
657 0
658 0
659 0
660 0
661 0
662 0
663 0
664 0
665 0
666 0
667 0
668 0
669 0
670 0
671 0
672 0
673 1
674 0
675 1
676 1
677 1
678 1
679 1
680 0
681 1
682 0
683 1
684 1
685 1
686 1
687 1
688 0
689 0
690 0
691 0
692 0
693 0
694 0
695 0
696 0
697 0
698 0
699 0
700 0
701 0
702 0
703 0
704 1
705 1
706 1
707 1
708 1
709 1
710 1
711 1
712 0
713 0
714 0
715 0
716 0
717 0
718 0
719 0
720 1
721 1
722 1
723 1
724 1
725 1
726 1
727 1
728 0
729 0
730 0
731 0
732 0
733 0
734 0
735 0
736 1
737 1
738 1
739 1
740 1
741 1
742 1
743 1
744 0
745 0
746 0
747 0
748 0
749 0
750 0
751 0
752 1
753 1
754 1
755 1
756 1
757 1
758 1
759 1
760 0
761 0
762 0
763 0
764 0
765 0
766 0
767 0
768 0
769 0
770 0
771 0
772 0
773 0
774 0
775 0
776 0
777 0
778 0
779 0
780 0
781 0
782 0
783 0
784 0
785 0
786 0
787 0
788 0
789 0
790 0
791 0
792 0
793 0
794 0
795 0
796 0
797 0
798 0
799 0
800 0
801 0
802 1
803 1
804 1
805 1
806 1
807 1
808 0
809 0
810 1
811 1
812 1
813 1
814 1
815 1
816 0
817 0
818 0
819 0
820 0
821 0
822 0
823 0
824 0
825 0
826 0
827 0
828 0
829 0
830 0
831 0
832 1
833 1
834 1
835 1
836 1
837 1
838 1
839 1
840 0
841 0
842 0
843 0
844 0
845 0
846 0
847 0
848 1
849 1
850 1
851 1
852 1
853 1
854 1
855 1
856 0
857 0
858 0
859 0
860 0
861 0
862 0
863 0
864 1
865 1
866 1
867 1
868 1
869 1
870 1
871 1
872 0
873 0
874 0
875 0
876 0
877 0
878 0
879 0
880 1
881 1
882 1
883 1
884 1
885 1
886 1
887 1
888 0
889 0
890 0
891 0
892 0
893 0
894 0
895 0
896 0
897 0
898 0
899 0
900 0
901 0
902 0
903 0
904 0
905 0
906 0
907 0
908 0
909 0
910 0
911 0
912 0
913 0
914 0
915 0
916 0
917 0
918 0
919 0
920 0
921 0
922 0
923 0
924 0
925 0
926 0
927 0
928 0
929 1
930 1
931 1
932 1
933 1
934 1
935 1
936 0
937 1
938 1
939 1
940 1
941 1
942 1
943 1
944 0
945 0
946 0
947 0
948 0
949 0
950 0
951 0
952 0
953 0
954 0
955 0
956 0
957 0
958 0
959 0
960 1
961 1
962 1
963 1
964 1
965 1
966 1
967 1
968 0
969 0
970 0
971 0
972 0
973 0
974 0
975 0
976 1
977 1
978 1
979 1
980 1
981 1
982 1
983 1
984 0
985 0
986 0
987 0
988 0
989 0
990 0
991 0
992 1
993 1
994 1
995 1
996 1
997 1
998 1
999 1
1000 0
1001 0
1002 0
1003 0
1004 0
1005 0
1006 0
1007 0
1008 1
1009 1
1010 1
1011 1
1012 1
1013 1
1014 1
1015 1
1016 0
1017 0
1018 0
1019 0
1020 0
1021 0
1022 0
1023 0
## kleene caching type
VECTOR
## kleene caching vec size
59049
## action hash keys
0 0
1 0
2 0
3 0
4 0
5 0
6 0
7 0
8 0
9 0
10 0
11 0
12 0
13 0
14 0
15 0
16 0
17 0
18 0
19 0
20 0
21 0
22 0
23 0
24 0

## index
17
## name
person-in-elevator-going-up(e1)
## number of values
2
## values
0 false
1 true
## formula
switch( ($s(17) : ~($s(9))) ($c(1) : or(and($s(6) $s(13) ~($s(11)) $s(21)) and($s(7) $s(13) ~($s(11)) $s(22)) and($s(8) $s(13) ~($s(11)) $s(23)))) )
## hash index
17
## caching type 
VECTOR
## precomputed results
1024
0 0
1 0
2 0
3 0
4 0
5 0
6 0
7 0
8 0
9 0
10 0
11 0
12 0
13 0
14 0
15 0
16 0
17 0
18 0
19 0
20 0
21 0
22 0
23 0
24 0
25 0
26 0
27 0
28 0
29 0
30 0
31 0
32 0
33 0
34 0
35 0
36 0
37 0
38 0
39 0
40 0
41 0
42 0
43 0
44 0
45 0
46 0
47 0
48 0
49 0
50 0
51 0
52 0
53 0
54 0
55 0
56 0
57 0
58 0
59 0
60 0
61 0
62 0
63 0
64 1
65 1
66 1
67 1
68 1
69 1
70 1
71 1
72 0
73 0
74 0
75 0
76 0
77 0
78 0
79 0
80 1
81 1
82 1
83 1
84 1
85 1
86 1
87 1
88 0
89 0
90 0
91 0
92 0
93 0
94 0
95 0
96 1
97 1
98 1
99 1
100 1
101 1
102 1
103 1
104 0
105 0
106 0
107 0
108 0
109 0
110 0
111 0
112 1
113 1
114 1
115 1
116 1
117 1
118 1
119 1
120 0
121 0
122 0
123 0
124 0
125 0
126 0
127 0
128 0
129 0
130 0
131 0
132 0
133 0
134 0
135 0
136 0
137 0
138 0
139 0
140 0
141 0
142 0
143 0
144 0
145 0
146 0
147 0
148 0
149 0
150 0
151 0
152 0
153 0
154 0
155 0
156 0
157 0
158 0
159 0
160 0
161 1
162 0
163 1
164 0
165 1
166 0
167 1
168 0
169 1
170 0
171 1
172 0
173 1
174 0
175 1
176 0
177 0
178 0
179 0
180 0
181 0
182 0
183 0
184 0
185 0
186 0
187 0
188 0
189 0
190 0
191 0
192 1
193 1
194 1
195 1
196 1
197 1
198 1
199 1
200 0
201 0
202 0
203 0
204 0
205 0
206 0
207 0
208 1
209 1
210 1
211 1
212 1
213 1
214 1
215 1
216 0
217 0
218 0
219 0
220 0
221 0
222 0
223 0
224 1
225 1
226 1
227 1
228 1
229 1
230 1
231 1
232 0
233 0
234 0
235 0
236 0
237 0
238 0
239 0
240 1
241 1
242 1
243 1
244 1
245 1
246 1
247 1
248 0
249 0
250 0
251 0
252 0
253 0
254 0
255 0
256 0
257 0
258 0
259 0
260 0
261 0
262 0
263 0
264 0
265 0
266 0
267 0
268 0
269 0
270 0
271 0
272 0
273 0
274 0
275 0
276 0
277 0
278 0
279 0
280 0
281 0
282 0
283 0
284 0
285 0
286 0
287 0
288 0
289 0
290 1
291 1
292 0
293 0
294 1
295 1
296 0
297 0
298 1
299 1
300 0
301 0
302 1
303 1
304 0
305 0
306 0
307 0
308 0
309 0
310 0
311 0
312 0
313 0
314 0
315 0
316 0
317 0
318 0
319 0
320 1
321 1
322 1
323 1
324 1
325 1
326 1
327 1
328 0
329 0
330 0
331 0
332 0
333 0
334 0
335 0
336 1
337 1
338 1
339 1
340 1
341 1
342 1
343 1
344 0
345 0
346 0
347 0
348 0
349 0
350 0
351 0
352 1
353 1
354 1
355 1
356 1
357 1
358 1
359 1
360 0
361 0
362 0
363 0
364 0
365 0
366 0
367 0
368 1
369 1
370 1
371 1
372 1
373 1
374 1
375 1
376 0
377 0
378 0
379 0
380 0
381 0
382 0
383 0
384 0
385 0
386 0
387 0
388 0
389 0
390 0
391 0
392 0
393 0
394 0
395 0
396 0
397 0
398 0
399 0
400 0
401 0
402 0
403 0
404 0
405 0
406 0
407 0
408 0
409 0
410 0
411 0
412 0
413 0
414 0
415 0
416 0
417 1
418 1
419 1
420 0
421 1
422 1
423 1
424 0
425 1
426 1
427 1
428 0
429 1
430 1
431 1
432 0
433 0
434 0
435 0
436 0
437 0
438 0
439 0
440 0
441 0
442 0
443 0
444 0
445 0
446 0
447 0
448 1
449 1
450 1
451 1
452 1
453 1
454 1
455 1
456 0
457 0
458 0
459 0
460 0
461 0
462 0
463 0
464 1
465 1
466 1
467 1
468 1
469 1
470 1
471 1
472 0
473 0
474 0
475 0
476 0
477 0
478 0
479 0
480 1
481 1
482 1
483 1
484 1
485 1
486 1
487 1
488 0
489 0
490 0
491 0
492 0
493 0
494 0
495 0
496 1
497 1
498 1
499 1
500 1
501 1
502 1
503 1
504 0
505 0
506 0
507 0
508 0
509 0
510 0
511 0
512 0
513 0
514 0
515 0
516 0
517 0
518 0
519 0
520 0
521 0
522 0
523 0
524 0
525 0
526 0
527 0
528 0
529 0
530 0
531 0
532 0
533 0
534 0
535 0
536 0
537 0
538 0
539 0
540 0
541 0
542 0
543 0
544 0
545 0
546 0
547 0
548 1
549 1
550 1
551 1
552 0
553 0
554 0
555 0
556 1
557 1
558 1
559 1
560 0
561 0
562 0
563 0
564 0
565 0
566 0
567 0
568 0
569 0
570 0
571 0
572 0
573 0
574 0
575 0
576 1
577 1
578 1
579 1
580 1
581 1
582 1
583 1
584 0
585 0
586 0
587 0
588 0
589 0
590 0
591 0
592 1
593 1
594 1
595 1
596 1
597 1
598 1
599 1
600 0
601 0
602 0
603 0
604 0
605 0
606 0
607 0
608 1
609 1
610 1
611 1
612 1
613 1
614 1
615 1
616 0
617 0
618 0
619 0
620 0
621 0
622 0
623 0
624 1
625 1
626 1
627 1
628 1
629 1
630 1
631 1
632 0
633 0
634 0
635 0
636 0
637 0
638 0
639 0
640 0
641 0
642 0
643 0
644 0
645 0
646 0
647 0
648 0
649 0
650 0
651 0
652 0
653 0
654 0
655 0
656 0
657 0
658 0
659 0
660 0
661 0
662 0
663 0
664 0
665 0
666 0
667 0
668 0
669 0
670 0
671 0
672 0
673 1
674 0
675 1
676 1
677 1
678 1
679 1
680 0
681 1
682 0
683 1
684 1
685 1
686 1
687 1
688 0
689 0
690 0
691 0
692 0
693 0
694 0
695 0
696 0
697 0
698 0
699 0
700 0
701 0
702 0
703 0
704 1
705 1
706 1
707 1
708 1
709 1
710 1
711 1
712 0
713 0
714 0
715 0
716 0
717 0
718 0
719 0
720 1
721 1
722 1
723 1
724 1
725 1
726 1
727 1
728 0
729 0
730 0
731 0
732 0
733 0
734 0
735 0
736 1
737 1
738 1
739 1
740 1
741 1
742 1
743 1
744 0
745 0
746 0
747 0
748 0
749 0
750 0
751 0
752 1
753 1
754 1
755 1
756 1
757 1
758 1
759 1
760 0
761 0
762 0
763 0
764 0
765 0
766 0
767 0
768 0
769 0
770 0
771 0
772 0
773 0
774 0
775 0
776 0
777 0
778 0
779 0
780 0
781 0
782 0
783 0
784 0
785 0
786 0
787 0
788 0
789 0
790 0
791 0
792 0
793 0
794 0
795 0
796 0
797 0
798 0
799 0
800 0
801 0
802 1
803 1
804 1
805 1
806 1
807 1
808 0
809 0
810 1
811 1
812 1
813 1
814 1
815 1
816 0
817 0
818 0
819 0
820 0
821 0
822 0
823 0
824 0
825 0
826 0
827 0
828 0
829 0
830 0
831 0
832 1
833 1
834 1
835 1
836 1
837 1
838 1
839 1
840 0
841 0
842 0
843 0
844 0
845 0
846 0
847 0
848 1
849 1
850 1
851 1
852 1
853 1
854 1
855 1
856 0
857 0
858 0
859 0
860 0
861 0
862 0
863 0
864 1
865 1
866 1
867 1
868 1
869 1
870 1
871 1
872 0
873 0
874 0
875 0
876 0
877 0
878 0
879 0
880 1
881 1
882 1
883 1
884 1
885 1
886 1
887 1
888 0
889 0
890 0
891 0
892 0
893 0
894 0
895 0
896 0
897 0
898 0
899 0
900 0
901 0
902 0
903 0
904 0
905 0
906 0
907 0
908 0
909 0
910 0
911 0
912 0
913 0
914 0
915 0
916 0
917 0
918 0
919 0
920 0
921 0
922 0
923 0
924 0
925 0
926 0
927 0
928 0
929 1
930 1
931 1
932 1
933 1
934 1
935 1
936 0
937 1
938 1
939 1
940 1
941 1
942 1
943 1
944 0
945 0
946 0
947 0
948 0
949 0
950 0
951 0
952 0
953 0
954 0
955 0
956 0
957 0
958 0
959 0
960 1
961 1
962 1
963 1
964 1
965 1
966 1
967 1
968 0
969 0
970 0
971 0
972 0
973 0
974 0
975 0
976 1
977 1
978 1
979 1
980 1
981 1
982 1
983 1
984 0
985 0
986 0
987 0
988 0
989 0
990 0
991 0
992 1
993 1
994 1
995 1
996 1
997 1
998 1
999 1
1000 0
1001 0
1002 0
1003 0
1004 0
1005 0
1006 0
1007 0
1008 1
1009 1
1010 1
1011 1
1012 1
1013 1
1014 1
1015 1
1016 0
1017 0
1018 0
1019 0
1020 0
1021 0
1022 0
1023 0
## kleene caching type
VECTOR
## kleene caching vec size
59049
## action hash keys
0 0
1 0
2 0
3 0
4 0
5 0
6 0
7 0
8 0
9 0
10 0
11 0
12 0
13 0
14 0
15 0
16 0
17 0
18 0
19 0
20 0
21 0
22 0
23 0
24 0



#####PROB STATE FLUENTS AND CPFS#####
## index
0
## name
person-waiting-down(f1)
## number of values
2
## values
0 false
1 true
## formula
switch( (and($s(18) ~(or(and($s(1) ~($s(12)) ~($s(10))) and($s(6) ~($s(13)) ~($s(11)))))) : $c(1)) ($c(1) : Bernoulli($c(0.06957142))) )
## determinized formula
and($s(18) ~(or(and($s(1) ~($s(12)) ~($s(10))) and($s(6) ~($s(13)) ~($s(11))))))
## hash index
18
## caching type 
VECTOR
## precomputed results (key - determinization - size of distribution - value-probability pairs)
128
0 0 2 0 0.93042858 1 0.06957142
1 0 2 0 0.93042858 1 0.06957142
2 0 2 0 0.93042858 1 0.06957142
3 0 2 0 0.93042858 1 0.06957142
4 0 2 0 0.93042858 1 0.06957142
5 0 2 0 0.93042858 1 0.06957142
6 0 2 0 0.93042858 1 0.06957142
7 0 2 0 0.93042858 1 0.06957142
8 0 2 0 0.93042858 1 0.06957142
9 0 2 0 0.93042858 1 0.06957142
10 0 2 0 0.93042858 1 0.06957142
11 0 2 0 0.93042858 1 0.06957142
12 0 2 0 0.93042858 1 0.06957142
13 0 2 0 0.93042858 1 0.06957142
14 0 2 0 0.93042858 1 0.06957142
15 0 2 0 0.93042858 1 0.06957142
16 0 2 0 0.93042858 1 0.06957142
17 0 2 0 0.93042858 1 0.06957142
18 0 2 0 0.93042858 1 0.06957142
19 0 2 0 0.93042858 1 0.06957142
20 0 2 0 0.93042858 1 0.06957142
21 0 2 0 0.93042858 1 0.06957142
22 0 2 0 0.93042858 1 0.06957142
23 0 2 0 0.93042858 1 0.06957142
24 0 2 0 0.93042858 1 0.06957142
25 0 2 0 0.93042858 1 0.06957142
26 0 2 0 0.93042858 1 0.06957142
27 0 2 0 0.93042858 1 0.06957142
28 0 2 0 0.93042858 1 0.06957142
29 0 2 0 0.93042858 1 0.06957142
30 0 2 0 0.93042858 1 0.06957142
31 0 2 0 0.93042858 1 0.06957142
32 0 2 0 0.93042858 1 0.06957142
33 0 2 0 0.93042858 1 0.06957142
34 0 2 0 0.93042858 1 0.06957142
35 0 2 0 0.93042858 1 0.06957142
36 0 2 0 0.93042858 1 0.06957142
37 0 2 0 0.93042858 1 0.06957142
38 0 2 0 0.93042858 1 0.06957142
39 0 2 0 0.93042858 1 0.06957142
40 0 2 0 0.93042858 1 0.06957142
41 0 2 0 0.93042858 1 0.06957142
42 0 2 0 0.93042858 1 0.06957142
43 0 2 0 0.93042858 1 0.06957142
44 0 2 0 0.93042858 1 0.06957142
45 0 2 0 0.93042858 1 0.06957142
46 0 2 0 0.93042858 1 0.06957142
47 0 2 0 0.93042858 1 0.06957142
48 0 2 0 0.93042858 1 0.06957142
49 0 2 0 0.93042858 1 0.06957142
50 0 2 0 0.93042858 1 0.06957142
51 0 2 0 0.93042858 1 0.06957142
52 0 2 0 0.93042858 1 0.06957142
53 0 2 0 0.93042858 1 0.06957142
54 0 2 0 0.93042858 1 0.06957142
55 0 2 0 0.93042858 1 0.06957142
56 0 2 0 0.93042858 1 0.06957142
57 0 2 0 0.93042858 1 0.06957142
58 0 2 0 0.93042858 1 0.06957142
59 0 2 0 0.93042858 1 0.06957142
60 0 2 0 0.93042858 1 0.06957142
61 0 2 0 0.93042858 1 0.06957142
62 0 2 0 0.93042858 1 0.06957142
63 0 2 0 0.93042858 1 0.06957142
64 1 1 1 1
65 0 2 0 0.93042858 1 0.06957142
66 0 2 0 0.93042858 1 0.06957142
67 0 2 0 0.93042858 1 0.06957142
68 1 1 1 1
69 1 1 1 1
70 0 2 0 0.93042858 1 0.06957142
71 0 2 0 0.93042858 1 0.06957142
72 1 1 1 1
73 0 2 0 0.93042858 1 0.06957142
74 1 1 1 1
75 0 2 0 0.93042858 1 0.06957142
76 1 1 1 1
77 1 1 1 1
78 1 1 1 1
79 1 1 1 1
80 1 1 1 1
81 1 1 1 1
82 0 2 0 0.93042858 1 0.06957142
83 0 2 0 0.93042858 1 0.06957142
84 1 1 1 1
85 1 1 1 1
86 0 2 0 0.93042858 1 0.06957142
87 0 2 0 0.93042858 1 0.06957142
88 1 1 1 1
89 1 1 1 1
90 1 1 1 1
91 1 1 1 1
92 1 1 1 1
93 1 1 1 1
94 1 1 1 1
95 1 1 1 1
96 1 1 1 1
97 0 2 0 0.93042858 1 0.06957142
98 1 1 1 1
99 0 2 0 0.93042858 1 0.06957142
100 1 1 1 1
101 1 1 1 1
102 1 1 1 1
103 1 1 1 1
104 1 1 1 1
105 0 2 0 0.93042858 1 0.06957142
106 1 1 1 1
107 0 2 0 0.93042858 1 0.06957142
108 1 1 1 1
109 1 1 1 1
110 1 1 1 1
111 1 1 1 1
112 1 1 1 1
113 1 1 1 1
114 1 1 1 1
115 1 1 1 1
116 1 1 1 1
117 1 1 1 1
118 1 1 1 1
119 1 1 1 1
120 1 1 1 1
121 1 1 1 1
122 1 1 1 1
123 1 1 1 1
124 1 1 1 1
125 1 1 1 1
126 1 1 1 1
127 1 1 1 1
## kleene caching type
VECTOR
## kleene caching vec size
2187
## action hash keys
0 0
1 0
2 0
3 0
4 0
5 0
6 0
7 0
8 0
9 0
10 0
11 0
12 0
13 0
14 0
15 0
16 0
17 0
18 0
19 0
20 0
21 0
22 0
23 0
24 0

## index
1
## name
person-waiting-down(f2)
## number of values
2
## values
0 false
1 true
## formula
switch( (and($s(19) ~(or(and($s(2) ~($s(12)) ~($s(10))) and($s(7) ~($s(13)) ~($s(11)))))) : $c(1)) ($c(1) : Bernoulli($c(0.06842119))) )
## determinized formula
and($s(19) ~(or(and($s(2) ~($s(12)) ~($s(10))) and($s(7) ~($s(13)) ~($s(11))))))
## hash index
19
## caching type 
VECTOR
## precomputed results (key - determinization - size of distribution - value-probability pairs)
128
0 0 2 0 0.93157881 1 0.06842119
1 0 2 0 0.93157881 1 0.06842119
2 0 2 0 0.93157881 1 0.06842119
3 0 2 0 0.93157881 1 0.06842119
4 0 2 0 0.93157881 1 0.06842119
5 0 2 0 0.93157881 1 0.06842119
6 0 2 0 0.93157881 1 0.06842119
7 0 2 0 0.93157881 1 0.06842119
8 0 2 0 0.93157881 1 0.06842119
9 0 2 0 0.93157881 1 0.06842119
10 0 2 0 0.93157881 1 0.06842119
11 0 2 0 0.93157881 1 0.06842119
12 0 2 0 0.93157881 1 0.06842119
13 0 2 0 0.93157881 1 0.06842119
14 0 2 0 0.93157881 1 0.06842119
15 0 2 0 0.93157881 1 0.06842119
16 0 2 0 0.93157881 1 0.06842119
17 0 2 0 0.93157881 1 0.06842119
18 0 2 0 0.93157881 1 0.06842119
19 0 2 0 0.93157881 1 0.06842119
20 0 2 0 0.93157881 1 0.06842119
21 0 2 0 0.93157881 1 0.06842119
22 0 2 0 0.93157881 1 0.06842119
23 0 2 0 0.93157881 1 0.06842119
24 0 2 0 0.93157881 1 0.06842119
25 0 2 0 0.93157881 1 0.06842119
26 0 2 0 0.93157881 1 0.06842119
27 0 2 0 0.93157881 1 0.06842119
28 0 2 0 0.93157881 1 0.06842119
29 0 2 0 0.93157881 1 0.06842119
30 0 2 0 0.93157881 1 0.06842119
31 0 2 0 0.93157881 1 0.06842119
32 0 2 0 0.93157881 1 0.06842119
33 0 2 0 0.93157881 1 0.06842119
34 0 2 0 0.93157881 1 0.06842119
35 0 2 0 0.93157881 1 0.06842119
36 0 2 0 0.93157881 1 0.06842119
37 0 2 0 0.93157881 1 0.06842119
38 0 2 0 0.93157881 1 0.06842119
39 0 2 0 0.93157881 1 0.06842119
40 0 2 0 0.93157881 1 0.06842119
41 0 2 0 0.93157881 1 0.06842119
42 0 2 0 0.93157881 1 0.06842119
43 0 2 0 0.93157881 1 0.06842119
44 0 2 0 0.93157881 1 0.06842119
45 0 2 0 0.93157881 1 0.06842119
46 0 2 0 0.93157881 1 0.06842119
47 0 2 0 0.93157881 1 0.06842119
48 0 2 0 0.93157881 1 0.06842119
49 0 2 0 0.93157881 1 0.06842119
50 0 2 0 0.93157881 1 0.06842119
51 0 2 0 0.93157881 1 0.06842119
52 0 2 0 0.93157881 1 0.06842119
53 0 2 0 0.93157881 1 0.06842119
54 0 2 0 0.93157881 1 0.06842119
55 0 2 0 0.93157881 1 0.06842119
56 0 2 0 0.93157881 1 0.06842119
57 0 2 0 0.93157881 1 0.06842119
58 0 2 0 0.93157881 1 0.06842119
59 0 2 0 0.93157881 1 0.06842119
60 0 2 0 0.93157881 1 0.06842119
61 0 2 0 0.93157881 1 0.06842119
62 0 2 0 0.93157881 1 0.06842119
63 0 2 0 0.93157881 1 0.06842119
64 1 1 1 1
65 0 2 0 0.93157881 1 0.06842119
66 0 2 0 0.93157881 1 0.06842119
67 0 2 0 0.93157881 1 0.06842119
68 1 1 1 1
69 1 1 1 1
70 0 2 0 0.93157881 1 0.06842119
71 0 2 0 0.93157881 1 0.06842119
72 1 1 1 1
73 0 2 0 0.93157881 1 0.06842119
74 1 1 1 1
75 0 2 0 0.93157881 1 0.06842119
76 1 1 1 1
77 1 1 1 1
78 1 1 1 1
79 1 1 1 1
80 1 1 1 1
81 1 1 1 1
82 0 2 0 0.93157881 1 0.06842119
83 0 2 0 0.93157881 1 0.06842119
84 1 1 1 1
85 1 1 1 1
86 0 2 0 0.93157881 1 0.06842119
87 0 2 0 0.93157881 1 0.06842119
88 1 1 1 1
89 1 1 1 1
90 1 1 1 1
91 1 1 1 1
92 1 1 1 1
93 1 1 1 1
94 1 1 1 1
95 1 1 1 1
96 1 1 1 1
97 0 2 0 0.93157881 1 0.06842119
98 1 1 1 1
99 0 2 0 0.93157881 1 0.06842119
100 1 1 1 1
101 1 1 1 1
102 1 1 1 1
103 1 1 1 1
104 1 1 1 1
105 0 2 0 0.93157881 1 0.06842119
106 1 1 1 1
107 0 2 0 0.93157881 1 0.06842119
108 1 1 1 1
109 1 1 1 1
110 1 1 1 1
111 1 1 1 1
112 1 1 1 1
113 1 1 1 1
114 1 1 1 1
115 1 1 1 1
116 1 1 1 1
117 1 1 1 1
118 1 1 1 1
119 1 1 1 1
120 1 1 1 1
121 1 1 1 1
122 1 1 1 1
123 1 1 1 1
124 1 1 1 1
125 1 1 1 1
126 1 1 1 1
127 1 1 1 1
## kleene caching type
VECTOR
## kleene caching vec size
2187
## action hash keys
0 0
1 0
2 0
3 0
4 0
5 0
6 0
7 0
8 0
9 0
10 0
11 0
12 0
13 0
14 0
15 0
16 0
17 0
18 0
19 0
20 0
21 0
22 0
23 0
24 0

## index
2
## name
person-waiting-down(f3)
## number of values
2
## values
0 false
1 true
## formula
switch( (and($s(20) ~(or(and($s(3) ~($s(12)) ~($s(10))) and($s(8) ~($s(13)) ~($s(11)))))) : $c(1)) ($c(1) : Bernoulli($c(0.080825426))) )
## determinized formula
and($s(20) ~(or(and($s(3) ~($s(12)) ~($s(10))) and($s(8) ~($s(13)) ~($s(11))))))
## hash index
20
## caching type 
VECTOR
## precomputed results (key - determinization - size of distribution - value-probability pairs)
128
0 0 2 0 0.919174574 1 0.080825426
1 0 2 0 0.919174574 1 0.080825426
2 0 2 0 0.919174574 1 0.080825426
3 0 2 0 0.919174574 1 0.080825426
4 0 2 0 0.919174574 1 0.080825426
5 0 2 0 0.919174574 1 0.080825426
6 0 2 0 0.919174574 1 0.080825426
7 0 2 0 0.919174574 1 0.080825426
8 0 2 0 0.919174574 1 0.080825426
9 0 2 0 0.919174574 1 0.080825426
10 0 2 0 0.919174574 1 0.080825426
11 0 2 0 0.919174574 1 0.080825426
12 0 2 0 0.919174574 1 0.080825426
13 0 2 0 0.919174574 1 0.080825426
14 0 2 0 0.919174574 1 0.080825426
15 0 2 0 0.919174574 1 0.080825426
16 0 2 0 0.919174574 1 0.080825426
17 0 2 0 0.919174574 1 0.080825426
18 0 2 0 0.919174574 1 0.080825426
19 0 2 0 0.919174574 1 0.080825426
20 0 2 0 0.919174574 1 0.080825426
21 0 2 0 0.919174574 1 0.080825426
22 0 2 0 0.919174574 1 0.080825426
23 0 2 0 0.919174574 1 0.080825426
24 0 2 0 0.919174574 1 0.080825426
25 0 2 0 0.919174574 1 0.080825426
26 0 2 0 0.919174574 1 0.080825426
27 0 2 0 0.919174574 1 0.080825426
28 0 2 0 0.919174574 1 0.080825426
29 0 2 0 0.919174574 1 0.080825426
30 0 2 0 0.919174574 1 0.080825426
31 0 2 0 0.919174574 1 0.080825426
32 0 2 0 0.919174574 1 0.080825426
33 0 2 0 0.919174574 1 0.080825426
34 0 2 0 0.919174574 1 0.080825426
35 0 2 0 0.919174574 1 0.080825426
36 0 2 0 0.919174574 1 0.080825426
37 0 2 0 0.919174574 1 0.080825426
38 0 2 0 0.919174574 1 0.080825426
39 0 2 0 0.919174574 1 0.080825426
40 0 2 0 0.919174574 1 0.080825426
41 0 2 0 0.919174574 1 0.080825426
42 0 2 0 0.919174574 1 0.080825426
43 0 2 0 0.919174574 1 0.080825426
44 0 2 0 0.919174574 1 0.080825426
45 0 2 0 0.919174574 1 0.080825426
46 0 2 0 0.919174574 1 0.080825426
47 0 2 0 0.919174574 1 0.080825426
48 0 2 0 0.919174574 1 0.080825426
49 0 2 0 0.919174574 1 0.080825426
50 0 2 0 0.919174574 1 0.080825426
51 0 2 0 0.919174574 1 0.080825426
52 0 2 0 0.919174574 1 0.080825426
53 0 2 0 0.919174574 1 0.080825426
54 0 2 0 0.919174574 1 0.080825426
55 0 2 0 0.919174574 1 0.080825426
56 0 2 0 0.919174574 1 0.080825426
57 0 2 0 0.919174574 1 0.080825426
58 0 2 0 0.919174574 1 0.080825426
59 0 2 0 0.919174574 1 0.080825426
60 0 2 0 0.919174574 1 0.080825426
61 0 2 0 0.919174574 1 0.080825426
62 0 2 0 0.919174574 1 0.080825426
63 0 2 0 0.919174574 1 0.080825426
64 1 1 1 1
65 0 2 0 0.919174574 1 0.080825426
66 0 2 0 0.919174574 1 0.080825426
67 0 2 0 0.919174574 1 0.080825426
68 1 1 1 1
69 1 1 1 1
70 0 2 0 0.919174574 1 0.080825426
71 0 2 0 0.919174574 1 0.080825426
72 1 1 1 1
73 0 2 0 0.919174574 1 0.080825426
74 1 1 1 1
75 0 2 0 0.919174574 1 0.080825426
76 1 1 1 1
77 1 1 1 1
78 1 1 1 1
79 1 1 1 1
80 1 1 1 1
81 1 1 1 1
82 0 2 0 0.919174574 1 0.080825426
83 0 2 0 0.919174574 1 0.080825426
84 1 1 1 1
85 1 1 1 1
86 0 2 0 0.919174574 1 0.080825426
87 0 2 0 0.919174574 1 0.080825426
88 1 1 1 1
89 1 1 1 1
90 1 1 1 1
91 1 1 1 1
92 1 1 1 1
93 1 1 1 1
94 1 1 1 1
95 1 1 1 1
96 1 1 1 1
97 0 2 0 0.919174574 1 0.080825426
98 1 1 1 1
99 0 2 0 0.919174574 1 0.080825426
100 1 1 1 1
101 1 1 1 1
102 1 1 1 1
103 1 1 1 1
104 1 1 1 1
105 0 2 0 0.919174574 1 0.080825426
106 1 1 1 1
107 0 2 0 0.919174574 1 0.080825426
108 1 1 1 1
109 1 1 1 1
110 1 1 1 1
111 1 1 1 1
112 1 1 1 1
113 1 1 1 1
114 1 1 1 1
115 1 1 1 1
116 1 1 1 1
117 1 1 1 1
118 1 1 1 1
119 1 1 1 1
120 1 1 1 1
121 1 1 1 1
122 1 1 1 1
123 1 1 1 1
124 1 1 1 1
125 1 1 1 1
126 1 1 1 1
127 1 1 1 1
## kleene caching type
VECTOR
## kleene caching vec size
2187
## action hash keys
0 0
1 0
2 0
3 0
4 0
5 0
6 0
7 0
8 0
9 0
10 0
11 0
12 0
13 0
14 0
15 0
16 0
17 0
18 0
19 0
20 0
21 0
22 0
23 0
24 0

## index
3
## name
person-waiting-up(f1)
## number of values
2
## values
0 false
1 true
## formula
switch( (and($s(21) ~(or(and($s(1) $s(12) ~($s(10))) and($s(6) $s(13) ~($s(11)))))) : $c(1)) ($c(1) : Bernoulli($c(0.06957142))) )
## determinized formula
and($s(21) ~(or(and($s(1) $s(12) ~($s(10))) and($s(6) $s(13) ~($s(11))))))
## hash index
21
## caching type 
VECTOR
## precomputed results (key - determinization - size of distribution - value-probability pairs)
128
0 0 2 0 0.93042858 1 0.06957142
1 0 2 0 0.93042858 1 0.06957142
2 0 2 0 0.93042858 1 0.06957142
3 0 2 0 0.93042858 1 0.06957142
4 0 2 0 0.93042858 1 0.06957142
5 0 2 0 0.93042858 1 0.06957142
6 0 2 0 0.93042858 1 0.06957142
7 0 2 0 0.93042858 1 0.06957142
8 0 2 0 0.93042858 1 0.06957142
9 0 2 0 0.93042858 1 0.06957142
10 0 2 0 0.93042858 1 0.06957142
11 0 2 0 0.93042858 1 0.06957142
12 0 2 0 0.93042858 1 0.06957142
13 0 2 0 0.93042858 1 0.06957142
14 0 2 0 0.93042858 1 0.06957142
15 0 2 0 0.93042858 1 0.06957142
16 0 2 0 0.93042858 1 0.06957142
17 0 2 0 0.93042858 1 0.06957142
18 0 2 0 0.93042858 1 0.06957142
19 0 2 0 0.93042858 1 0.06957142
20 0 2 0 0.93042858 1 0.06957142
21 0 2 0 0.93042858 1 0.06957142
22 0 2 0 0.93042858 1 0.06957142
23 0 2 0 0.93042858 1 0.06957142
24 0 2 0 0.93042858 1 0.06957142
25 0 2 0 0.93042858 1 0.06957142
26 0 2 0 0.93042858 1 0.06957142
27 0 2 0 0.93042858 1 0.06957142
28 0 2 0 0.93042858 1 0.06957142
29 0 2 0 0.93042858 1 0.06957142
30 0 2 0 0.93042858 1 0.06957142
31 0 2 0 0.93042858 1 0.06957142
32 0 2 0 0.93042858 1 0.06957142
33 0 2 0 0.93042858 1 0.06957142
34 0 2 0 0.93042858 1 0.06957142
35 0 2 0 0.93042858 1 0.06957142
36 0 2 0 0.93042858 1 0.06957142
37 0 2 0 0.93042858 1 0.06957142
38 0 2 0 0.93042858 1 0.06957142
39 0 2 0 0.93042858 1 0.06957142
40 0 2 0 0.93042858 1 0.06957142
41 0 2 0 0.93042858 1 0.06957142
42 0 2 0 0.93042858 1 0.06957142
43 0 2 0 0.93042858 1 0.06957142
44 0 2 0 0.93042858 1 0.06957142
45 0 2 0 0.93042858 1 0.06957142
46 0 2 0 0.93042858 1 0.06957142
47 0 2 0 0.93042858 1 0.06957142
48 0 2 0 0.93042858 1 0.06957142
49 0 2 0 0.93042858 1 0.06957142
50 0 2 0 0.93042858 1 0.06957142
51 0 2 0 0.93042858 1 0.06957142
52 0 2 0 0.93042858 1 0.06957142
53 0 2 0 0.93042858 1 0.06957142
54 0 2 0 0.93042858 1 0.06957142
55 0 2 0 0.93042858 1 0.06957142
56 0 2 0 0.93042858 1 0.06957142
57 0 2 0 0.93042858 1 0.06957142
58 0 2 0 0.93042858 1 0.06957142
59 0 2 0 0.93042858 1 0.06957142
60 0 2 0 0.93042858 1 0.06957142
61 0 2 0 0.93042858 1 0.06957142
62 0 2 0 0.93042858 1 0.06957142
63 0 2 0 0.93042858 1 0.06957142
64 1 1 1 1
65 1 1 1 1
66 1 1 1 1
67 1 1 1 1
68 1 1 1 1
69 1 1 1 1
70 1 1 1 1
71 1 1 1 1
72 1 1 1 1
73 1 1 1 1
74 1 1 1 1
75 1 1 1 1
76 1 1 1 1
77 1 1 1 1
78 1 1 1 1
79 1 1 1 1
80 1 1 1 1
81 0 2 0 0.93042858 1 0.06957142
82 1 1 1 1
83 0 2 0 0.93042858 1 0.06957142
84 1 1 1 1
85 1 1 1 1
86 1 1 1 1
87 1 1 1 1
88 1 1 1 1
89 0 2 0 0.93042858 1 0.06957142
90 1 1 1 1
91 0 2 0 0.93042858 1 0.06957142
92 1 1 1 1
93 1 1 1 1
94 1 1 1 1
95 1 1 1 1
96 1 1 1 1
97 1 1 1 1
98 0 2 0 0.93042858 1 0.06957142
99 0 2 0 0.93042858 1 0.06957142
100 1 1 1 1
101 1 1 1 1
102 0 2 0 0.93042858 1 0.06957142
103 0 2 0 0.93042858 1 0.06957142
104 1 1 1 1
105 1 1 1 1
106 1 1 1 1
107 1 1 1 1
108 1 1 1 1
109 1 1 1 1
110 1 1 1 1
111 1 1 1 1
112 1 1 1 1
113 0 2 0 0.93042858 1 0.06957142
114 0 2 0 0.93042858 1 0.06957142
115 0 2 0 0.93042858 1 0.06957142
116 1 1 1 1
117 1 1 1 1
118 0 2 0 0.93042858 1 0.06957142
119 0 2 0 0.93042858 1 0.06957142
120 1 1 1 1
121 0 2 0 0.93042858 1 0.06957142
122 1 1 1 1
123 0 2 0 0.93042858 1 0.06957142
124 1 1 1 1
125 1 1 1 1
126 1 1 1 1
127 1 1 1 1
## kleene caching type
VECTOR
## kleene caching vec size
2187
## action hash keys
0 0
1 0
2 0
3 0
4 0
5 0
6 0
7 0
8 0
9 0
10 0
11 0
12 0
13 0
14 0
15 0
16 0
17 0
18 0
19 0
20 0
21 0
22 0
23 0
24 0

## index
4
## name
person-waiting-up(f2)
## number of values
2
## values
0 false
1 true
## formula
switch( (and($s(22) ~(or(and($s(2) $s(12) ~($s(10))) and($s(7) $s(13) ~($s(11)))))) : $c(1)) ($c(1) : Bernoulli($c(0.06842119))) )
## determinized formula
and($s(22) ~(or(and($s(2) $s(12) ~($s(10))) and($s(7) $s(13) ~($s(11))))))
## hash index
22
## caching type 
VECTOR
## precomputed results (key - determinization - size of distribution - value-probability pairs)
128
0 0 2 0 0.93157881 1 0.06842119
1 0 2 0 0.93157881 1 0.06842119
2 0 2 0 0.93157881 1 0.06842119
3 0 2 0 0.93157881 1 0.06842119
4 0 2 0 0.93157881 1 0.06842119
5 0 2 0 0.93157881 1 0.06842119
6 0 2 0 0.93157881 1 0.06842119
7 0 2 0 0.93157881 1 0.06842119
8 0 2 0 0.93157881 1 0.06842119
9 0 2 0 0.93157881 1 0.06842119
10 0 2 0 0.93157881 1 0.06842119
11 0 2 0 0.93157881 1 0.06842119
12 0 2 0 0.93157881 1 0.06842119
13 0 2 0 0.93157881 1 0.06842119
14 0 2 0 0.93157881 1 0.06842119
15 0 2 0 0.93157881 1 0.06842119
16 0 2 0 0.93157881 1 0.06842119
17 0 2 0 0.93157881 1 0.06842119
18 0 2 0 0.93157881 1 0.06842119
19 0 2 0 0.93157881 1 0.06842119
20 0 2 0 0.93157881 1 0.06842119
21 0 2 0 0.93157881 1 0.06842119
22 0 2 0 0.93157881 1 0.06842119
23 0 2 0 0.93157881 1 0.06842119
24 0 2 0 0.93157881 1 0.06842119
25 0 2 0 0.93157881 1 0.06842119
26 0 2 0 0.93157881 1 0.06842119
27 0 2 0 0.93157881 1 0.06842119
28 0 2 0 0.93157881 1 0.06842119
29 0 2 0 0.93157881 1 0.06842119
30 0 2 0 0.93157881 1 0.06842119
31 0 2 0 0.93157881 1 0.06842119
32 0 2 0 0.93157881 1 0.06842119
33 0 2 0 0.93157881 1 0.06842119
34 0 2 0 0.93157881 1 0.06842119
35 0 2 0 0.93157881 1 0.06842119
36 0 2 0 0.93157881 1 0.06842119
37 0 2 0 0.93157881 1 0.06842119
38 0 2 0 0.93157881 1 0.06842119
39 0 2 0 0.93157881 1 0.06842119
40 0 2 0 0.93157881 1 0.06842119
41 0 2 0 0.93157881 1 0.06842119
42 0 2 0 0.93157881 1 0.06842119
43 0 2 0 0.93157881 1 0.06842119
44 0 2 0 0.93157881 1 0.06842119
45 0 2 0 0.93157881 1 0.06842119
46 0 2 0 0.93157881 1 0.06842119
47 0 2 0 0.93157881 1 0.06842119
48 0 2 0 0.93157881 1 0.06842119
49 0 2 0 0.93157881 1 0.06842119
50 0 2 0 0.93157881 1 0.06842119
51 0 2 0 0.93157881 1 0.06842119
52 0 2 0 0.93157881 1 0.06842119
53 0 2 0 0.93157881 1 0.06842119
54 0 2 0 0.93157881 1 0.06842119
55 0 2 0 0.93157881 1 0.06842119
56 0 2 0 0.93157881 1 0.06842119
57 0 2 0 0.93157881 1 0.06842119
58 0 2 0 0.93157881 1 0.06842119
59 0 2 0 0.93157881 1 0.06842119
60 0 2 0 0.93157881 1 0.06842119
61 0 2 0 0.93157881 1 0.06842119
62 0 2 0 0.93157881 1 0.06842119
63 0 2 0 0.93157881 1 0.06842119
64 1 1 1 1
65 1 1 1 1
66 1 1 1 1
67 1 1 1 1
68 1 1 1 1
69 1 1 1 1
70 1 1 1 1
71 1 1 1 1
72 1 1 1 1
73 1 1 1 1
74 1 1 1 1
75 1 1 1 1
76 1 1 1 1
77 1 1 1 1
78 1 1 1 1
79 1 1 1 1
80 1 1 1 1
81 0 2 0 0.93157881 1 0.06842119
82 1 1 1 1
83 0 2 0 0.93157881 1 0.06842119
84 1 1 1 1
85 1 1 1 1
86 1 1 1 1
87 1 1 1 1
88 1 1 1 1
89 0 2 0 0.93157881 1 0.06842119
90 1 1 1 1
91 0 2 0 0.93157881 1 0.06842119
92 1 1 1 1
93 1 1 1 1
94 1 1 1 1
95 1 1 1 1
96 1 1 1 1
97 1 1 1 1
98 0 2 0 0.93157881 1 0.06842119
99 0 2 0 0.93157881 1 0.06842119
100 1 1 1 1
101 1 1 1 1
102 0 2 0 0.93157881 1 0.06842119
103 0 2 0 0.93157881 1 0.06842119
104 1 1 1 1
105 1 1 1 1
106 1 1 1 1
107 1 1 1 1
108 1 1 1 1
109 1 1 1 1
110 1 1 1 1
111 1 1 1 1
112 1 1 1 1
113 0 2 0 0.93157881 1 0.06842119
114 0 2 0 0.93157881 1 0.06842119
115 0 2 0 0.93157881 1 0.06842119
116 1 1 1 1
117 1 1 1 1
118 0 2 0 0.93157881 1 0.06842119
119 0 2 0 0.93157881 1 0.06842119
120 1 1 1 1
121 0 2 0 0.93157881 1 0.06842119
122 1 1 1 1
123 0 2 0 0.93157881 1 0.06842119
124 1 1 1 1
125 1 1 1 1
126 1 1 1 1
127 1 1 1 1
## kleene caching type
VECTOR
## kleene caching vec size
2187
## action hash keys
0 0
1 0
2 0
3 0
4 0
5 0
6 0
7 0
8 0
9 0
10 0
11 0
12 0
13 0
14 0
15 0
16 0
17 0
18 0
19 0
20 0
21 0
22 0
23 0
24 0

## index
5
## name
person-waiting-up(f3)
## number of values
2
## values
0 false
1 true
## formula
switch( (and($s(23) ~(or(and($s(3) $s(12) ~($s(10))) and($s(8) $s(13) ~($s(11)))))) : $c(1)) ($c(1) : Bernoulli($c(0.080825426))) )
## determinized formula
and($s(23) ~(or(and($s(3) $s(12) ~($s(10))) and($s(8) $s(13) ~($s(11))))))
## hash index
23
## caching type 
VECTOR
## precomputed results (key - determinization - size of distribution - value-probability pairs)
128
0 0 2 0 0.919174574 1 0.080825426
1 0 2 0 0.919174574 1 0.080825426
2 0 2 0 0.919174574 1 0.080825426
3 0 2 0 0.919174574 1 0.080825426
4 0 2 0 0.919174574 1 0.080825426
5 0 2 0 0.919174574 1 0.080825426
6 0 2 0 0.919174574 1 0.080825426
7 0 2 0 0.919174574 1 0.080825426
8 0 2 0 0.919174574 1 0.080825426
9 0 2 0 0.919174574 1 0.080825426
10 0 2 0 0.919174574 1 0.080825426
11 0 2 0 0.919174574 1 0.080825426
12 0 2 0 0.919174574 1 0.080825426
13 0 2 0 0.919174574 1 0.080825426
14 0 2 0 0.919174574 1 0.080825426
15 0 2 0 0.919174574 1 0.080825426
16 0 2 0 0.919174574 1 0.080825426
17 0 2 0 0.919174574 1 0.080825426
18 0 2 0 0.919174574 1 0.080825426
19 0 2 0 0.919174574 1 0.080825426
20 0 2 0 0.919174574 1 0.080825426
21 0 2 0 0.919174574 1 0.080825426
22 0 2 0 0.919174574 1 0.080825426
23 0 2 0 0.919174574 1 0.080825426
24 0 2 0 0.919174574 1 0.080825426
25 0 2 0 0.919174574 1 0.080825426
26 0 2 0 0.919174574 1 0.080825426
27 0 2 0 0.919174574 1 0.080825426
28 0 2 0 0.919174574 1 0.080825426
29 0 2 0 0.919174574 1 0.080825426
30 0 2 0 0.919174574 1 0.080825426
31 0 2 0 0.919174574 1 0.080825426
32 0 2 0 0.919174574 1 0.080825426
33 0 2 0 0.919174574 1 0.080825426
34 0 2 0 0.919174574 1 0.080825426
35 0 2 0 0.919174574 1 0.080825426
36 0 2 0 0.919174574 1 0.080825426
37 0 2 0 0.919174574 1 0.080825426
38 0 2 0 0.919174574 1 0.080825426
39 0 2 0 0.919174574 1 0.080825426
40 0 2 0 0.919174574 1 0.080825426
41 0 2 0 0.919174574 1 0.080825426
42 0 2 0 0.919174574 1 0.080825426
43 0 2 0 0.919174574 1 0.080825426
44 0 2 0 0.919174574 1 0.080825426
45 0 2 0 0.919174574 1 0.080825426
46 0 2 0 0.919174574 1 0.080825426
47 0 2 0 0.919174574 1 0.080825426
48 0 2 0 0.919174574 1 0.080825426
49 0 2 0 0.919174574 1 0.080825426
50 0 2 0 0.919174574 1 0.080825426
51 0 2 0 0.919174574 1 0.080825426
52 0 2 0 0.919174574 1 0.080825426
53 0 2 0 0.919174574 1 0.080825426
54 0 2 0 0.919174574 1 0.080825426
55 0 2 0 0.919174574 1 0.080825426
56 0 2 0 0.919174574 1 0.080825426
57 0 2 0 0.919174574 1 0.080825426
58 0 2 0 0.919174574 1 0.080825426
59 0 2 0 0.919174574 1 0.080825426
60 0 2 0 0.919174574 1 0.080825426
61 0 2 0 0.919174574 1 0.080825426
62 0 2 0 0.919174574 1 0.080825426
63 0 2 0 0.919174574 1 0.080825426
64 1 1 1 1
65 1 1 1 1
66 1 1 1 1
67 1 1 1 1
68 1 1 1 1
69 1 1 1 1
70 1 1 1 1
71 1 1 1 1
72 1 1 1 1
73 1 1 1 1
74 1 1 1 1
75 1 1 1 1
76 1 1 1 1
77 1 1 1 1
78 1 1 1 1
79 1 1 1 1
80 1 1 1 1
81 0 2 0 0.919174574 1 0.080825426
82 1 1 1 1
83 0 2 0 0.919174574 1 0.080825426
84 1 1 1 1
85 1 1 1 1
86 1 1 1 1
87 1 1 1 1
88 1 1 1 1
89 0 2 0 0.919174574 1 0.080825426
90 1 1 1 1
91 0 2 0 0.919174574 1 0.080825426
92 1 1 1 1
93 1 1 1 1
94 1 1 1 1
95 1 1 1 1
96 1 1 1 1
97 1 1 1 1
98 0 2 0 0.919174574 1 0.080825426
99 0 2 0 0.919174574 1 0.080825426
100 1 1 1 1
101 1 1 1 1
102 0 2 0 0.919174574 1 0.080825426
103 0 2 0 0.919174574 1 0.080825426
104 1 1 1 1
105 1 1 1 1
106 1 1 1 1
107 1 1 1 1
108 1 1 1 1
109 1 1 1 1
110 1 1 1 1
111 1 1 1 1
112 1 1 1 1
113 0 2 0 0.919174574 1 0.080825426
114 0 2 0 0.919174574 1 0.080825426
115 0 2 0 0.919174574 1 0.080825426
116 1 1 1 1
117 1 1 1 1
118 0 2 0 0.919174574 1 0.080825426
119 0 2 0 0.919174574 1 0.080825426
120 1 1 1 1
121 0 2 0 0.919174574 1 0.080825426
122 1 1 1 1
123 0 2 0 0.919174574 1 0.080825426
124 1 1 1 1
125 1 1 1 1
126 1 1 1 1
127 1 1 1 1
## kleene caching type
VECTOR
## kleene caching vec size
2187
## action hash keys
0 0
1 0
2 0
3 0
4 0
5 0
6 0
7 0
8 0
9 0
10 0
11 0
12 0
13 0
14 0
15 0
16 0
17 0
18 0
19 0
20 0
21 0
22 0
23 0
24 0



#####REWARD#####
## formula
+(*(and($s(16) $s(12)) $c(-0.75)) *(and($s(17) $s(13)) $c(-0.75)) *(and($s(14) ~($s(12))) $c(-0.75)) *(and($s(15) ~($s(13))) $c(-0.75)) *(and($s(16) ~($s(12))) $c(-3)) *(and($s(17) ~($s(13))) $c(-3)) *(and($s(14) $s(12)) $c(-3)) *(and($s(15) $s(13)) $c(-3)) -(-($c(0) $s(21)) $s(18)) -(-($c(0) $s(22)) $s(19)) -(-($c(0) $s(23)) $s(20)))
## min
-13.5
## max
0
## independent from actions
1
## hash index
24
## caching type
VECTOR
## precomputed results
4096
0 0
1 0
2 0
3 0
4 -0.75
5 -3
6 -0.75
7 -3
8 -0.75
9 -0.75
10 -3
11 -3
12 -1.5
13 -3.75
14 -3.75
15 -6
16 -3
17 -0.75
18 -3
19 -0.75
20 -3.75
21 -3.75
22 -3.75
23 -3.75
24 -3.75
25 -1.5
26 -6
27 -3.75
28 -4.5
29 -4.5
30 -6.75
31 -6.75
32 -3
33 -3
34 -0.75
35 -0.75
36 -3.75
37 -6
38 -1.5
39 -3.75
40 -3.75
41 -3.75
42 -3.75
43 -3.75
44 -4.5
45 -6.75
46 -4.5
47 -6.75
48 -6
49 -3.75
50 -3.75
51 -1.5
52 -6.75
53 -6.75
54 -4.5
55 -4.5
56 -6.75
57 -4.5
58 -6.75
59 -4.5
60 -7.5
61 -7.5
62 -7.5
63 -7.5
64 -1
65 -1
66 -1
67 -1
68 -1.75
69 -4
70 -1.75
71 -4
72 -1.75
73 -1.75
74 -4
75 -4
76 -2.5
77 -4.75
78 -4.75
79 -7
80 -4
81 -1.75
82 -4
83 -1.75
84 -4.75
85 -4.75
86 -4.75
87 -4.75
88 -4.75
89 -2.5
90 -7
91 -4.75
92 -5.5
93 -5.5
94 -7.75
95 -7.75
96 -4
97 -4
98 -1.75
99 -1.75
100 -4.75
101 -7
102 -2.5
103 -4.75
104 -4.75
105 -4.75
106 -4.75
107 -4.75
108 -5.5
109 -7.75
110 -5.5
111 -7.75
112 -7
113 -4.75
114 -4.75
115 -2.5
116 -7.75
117 -7.75
118 -5.5
119 -5.5
120 -7.75
121 -5.5
122 -7.75
123 -5.5
124 -8.5
125 -8.5
126 -8.5
127 -8.5
128 -1
129 -1
130 -1
131 -1
132 -1.75
133 -4
134 -1.75
135 -4
136 -1.75
137 -1.75
138 -4
139 -4
140 -2.5
141 -4.75
142 -4.75
143 -7
144 -4
145 -1.75
146 -4
147 -1.75
148 -4.75
149 -4.75
150 -4.75
151 -4.75
152 -4.75
153 -2.5
154 -7
155 -4.75
156 -5.5
157 -5.5
158 -7.75
159 -7.75
160 -4
161 -4
162 -1.75
163 -1.75
164 -4.75
165 -7
166 -2.5
167 -4.75
168 -4.75
169 -4.75
170 -4.75
171 -4.75
172 -5.5
173 -7.75
174 -5.5
175 -7.75
176 -7
177 -4.75
178 -4.75
179 -2.5
180 -7.75
181 -7.75
182 -5.5
183 -5.5
184 -7.75
185 -5.5
186 -7.75
187 -5.5
188 -8.5
189 -8.5
190 -8.5
191 -8.5
192 -2
193 -2
194 -2
195 -2
196 -2.75
197 -5
198 -2.75
199 -5
200 -2.75
201 -2.75
202 -5
203 -5
204 -3.5
205 -5.75
206 -5.75
207 -8
208 -5
209 -2.75
210 -5
211 -2.75
212 -5.75
213 -5.75
214 -5.75
215 -5.75
216 -5.75
217 -3.5
218 -8
219 -5.75
220 -6.5
221 -6.5
222 -8.75
223 -8.75
224 -5
225 -5
226 -2.75
227 -2.75
228 -5.75
229 -8
230 -3.5
231 -5.75
232 -5.75
233 -5.75
234 -5.75
235 -5.75
236 -6.5
237 -8.75
238 -6.5
239 -8.75
240 -8
241 -5.75
242 -5.75
243 -3.5
244 -8.75
245 -8.75
246 -6.5
247 -6.5
248 -8.75
249 -6.5
250 -8.75
251 -6.5
252 -9.5
253 -9.5
254 -9.5
255 -9.5
256 -1
257 -1
258 -1
259 -1
260 -1.75
261 -4
262 -1.75
263 -4
264 -1.75
265 -1.75
266 -4
267 -4
268 -2.5
269 -4.75
270 -4.75
271 -7
272 -4
273 -1.75
274 -4
275 -1.75
276 -4.75
277 -4.75
278 -4.75
279 -4.75
280 -4.75
281 -2.5
282 -7
283 -4.75
284 -5.5
285 -5.5
286 -7.75
287 -7.75
288 -4
289 -4
290 -1.75
291 -1.75
292 -4.75
293 -7
294 -2.5
295 -4.75
296 -4.75
297 -4.75
298 -4.75
299 -4.75
300 -5.5
301 -7.75
302 -5.5
303 -7.75
304 -7
305 -4.75
306 -4.75
307 -2.5
308 -7.75
309 -7.75
310 -5.5
311 -5.5
312 -7.75
313 -5.5
314 -7.75
315 -5.5
316 -8.5
317 -8.5
318 -8.5
319 -8.5
320 -2
321 -2
322 -2
323 -2
324 -2.75
325 -5
326 -2.75
327 -5
328 -2.75
329 -2.75
330 -5
331 -5
332 -3.5
333 -5.75
334 -5.75
335 -8
336 -5
337 -2.75
338 -5
339 -2.75
340 -5.75
341 -5.75
342 -5.75
343 -5.75
344 -5.75
345 -3.5
346 -8
347 -5.75
348 -6.5
349 -6.5
350 -8.75
351 -8.75
352 -5
353 -5
354 -2.75
355 -2.75
356 -5.75
357 -8
358 -3.5
359 -5.75
360 -5.75
361 -5.75
362 -5.75
363 -5.75
364 -6.5
365 -8.75
366 -6.5
367 -8.75
368 -8
369 -5.75
370 -5.75
371 -3.5
372 -8.75
373 -8.75
374 -6.5
375 -6.5
376 -8.75
377 -6.5
378 -8.75
379 -6.5
380 -9.5
381 -9.5
382 -9.5
383 -9.5
384 -2
385 -2
386 -2
387 -2
388 -2.75
389 -5
390 -2.75
391 -5
392 -2.75
393 -2.75
394 -5
395 -5
396 -3.5
397 -5.75
398 -5.75
399 -8
400 -5
401 -2.75
402 -5
403 -2.75
404 -5.75
405 -5.75
406 -5.75
407 -5.75
408 -5.75
409 -3.5
410 -8
411 -5.75
412 -6.5
413 -6.5
414 -8.75
415 -8.75
416 -5
417 -5
418 -2.75
419 -2.75
420 -5.75
421 -8
422 -3.5
423 -5.75
424 -5.75
425 -5.75
426 -5.75
427 -5.75
428 -6.5
429 -8.75
430 -6.5
431 -8.75
432 -8
433 -5.75
434 -5.75
435 -3.5
436 -8.75
437 -8.75
438 -6.5
439 -6.5
440 -8.75
441 -6.5
442 -8.75
443 -6.5
444 -9.5
445 -9.5
446 -9.5
447 -9.5
448 -3
449 -3
450 -3
451 -3
452 -3.75
453 -6
454 -3.75
455 -6
456 -3.75
457 -3.75
458 -6
459 -6
460 -4.5
461 -6.75
462 -6.75
463 -9
464 -6
465 -3.75
466 -6
467 -3.75
468 -6.75
469 -6.75
470 -6.75
471 -6.75
472 -6.75
473 -4.5
474 -9
475 -6.75
476 -7.5
477 -7.5
478 -9.75
479 -9.75
480 -6
481 -6
482 -3.75
483 -3.75
484 -6.75
485 -9
486 -4.5
487 -6.75
488 -6.75
489 -6.75
490 -6.75
491 -6.75
492 -7.5
493 -9.75
494 -7.5
495 -9.75
496 -9
497 -6.75
498 -6.75
499 -4.5
500 -9.75
501 -9.75
502 -7.5
503 -7.5
504 -9.75
505 -7.5
506 -9.75
507 -7.5
508 -10.5
509 -10.5
510 -10.5
511 -10.5
512 -1
513 -1
514 -1
515 -1
516 -1.75
517 -4
518 -1.75
519 -4
520 -1.75
521 -1.75
522 -4
523 -4
524 -2.5
525 -4.75
526 -4.75
527 -7
528 -4
529 -1.75
530 -4
531 -1.75
532 -4.75
533 -4.75
534 -4.75
535 -4.75
536 -4.75
537 -2.5
538 -7
539 -4.75
540 -5.5
541 -5.5
542 -7.75
543 -7.75
544 -4
545 -4
546 -1.75
547 -1.75
548 -4.75
549 -7
550 -2.5
551 -4.75
552 -4.75
553 -4.75
554 -4.75
555 -4.75
556 -5.5
557 -7.75
558 -5.5
559 -7.75
560 -7
561 -4.75
562 -4.75
563 -2.5
564 -7.75
565 -7.75
566 -5.5
567 -5.5
568 -7.75
569 -5.5
570 -7.75
571 -5.5
572 -8.5
573 -8.5
574 -8.5
575 -8.5
576 -2
577 -2
578 -2
579 -2
580 -2.75
581 -5
582 -2.75
583 -5
584 -2.75
585 -2.75
586 -5
587 -5
588 -3.5
589 -5.75
590 -5.75
591 -8
592 -5
593 -2.75
594 -5
595 -2.75
596 -5.75
597 -5.75
598 -5.75
599 -5.75
600 -5.75
601 -3.5
602 -8
603 -5.75
604 -6.5
605 -6.5
606 -8.75
607 -8.75
608 -5
609 -5
610 -2.75
611 -2.75
612 -5.75
613 -8
614 -3.5
615 -5.75
616 -5.75
617 -5.75
618 -5.75
619 -5.75
620 -6.5
621 -8.75
622 -6.5
623 -8.75
624 -8
625 -5.75
626 -5.75
627 -3.5
628 -8.75
629 -8.75
630 -6.5
631 -6.5
632 -8.75
633 -6.5
634 -8.75
635 -6.5
636 -9.5
637 -9.5
638 -9.5
639 -9.5
640 -2
641 -2
642 -2
643 -2
644 -2.75
645 -5
646 -2.75
647 -5
648 -2.75
649 -2.75
650 -5
651 -5
652 -3.5
653 -5.75
654 -5.75
655 -8
656 -5
657 -2.75
658 -5
659 -2.75
660 -5.75
661 -5.75
662 -5.75
663 -5.75
664 -5.75
665 -3.5
666 -8
667 -5.75
668 -6.5
669 -6.5
670 -8.75
671 -8.75
672 -5
673 -5
674 -2.75
675 -2.75
676 -5.75
677 -8
678 -3.5
679 -5.75
680 -5.75
681 -5.75
682 -5.75
683 -5.75
684 -6.5
685 -8.75
686 -6.5
687 -8.75
688 -8
689 -5.75
690 -5.75
691 -3.5
692 -8.75
693 -8.75
694 -6.5
695 -6.5
696 -8.75
697 -6.5
698 -8.75
699 -6.5
700 -9.5
701 -9.5
702 -9.5
703 -9.5
704 -3
705 -3
706 -3
707 -3
708 -3.75
709 -6
710 -3.75
711 -6
712 -3.75
713 -3.75
714 -6
715 -6
716 -4.5
717 -6.75
718 -6.75
719 -9
720 -6
721 -3.75
722 -6
723 -3.75
724 -6.75
725 -6.75
726 -6.75
727 -6.75
728 -6.75
729 -4.5
730 -9
731 -6.75
732 -7.5
733 -7.5
734 -9.75
735 -9.75
736 -6
737 -6
738 -3.75
739 -3.75
740 -6.75
741 -9
742 -4.5
743 -6.75
744 -6.75
745 -6.75
746 -6.75
747 -6.75
748 -7.5
749 -9.75
750 -7.5
751 -9.75
752 -9
753 -6.75
754 -6.75
755 -4.5
756 -9.75
757 -9.75
758 -7.5
759 -7.5
760 -9.75
761 -7.5
762 -9.75
763 -7.5
764 -10.5
765 -10.5
766 -10.5
767 -10.5
768 -2
769 -2
770 -2
771 -2
772 -2.75
773 -5
774 -2.75
775 -5
776 -2.75
777 -2.75
778 -5
779 -5
780 -3.5
781 -5.75
782 -5.75
783 -8
784 -5
785 -2.75
786 -5
787 -2.75
788 -5.75
789 -5.75
790 -5.75
791 -5.75
792 -5.75
793 -3.5
794 -8
795 -5.75
796 -6.5
797 -6.5
798 -8.75
799 -8.75
800 -5
801 -5
802 -2.75
803 -2.75
804 -5.75
805 -8
806 -3.5
807 -5.75
808 -5.75
809 -5.75
810 -5.75
811 -5.75
812 -6.5
813 -8.75
814 -6.5
815 -8.75
816 -8
817 -5.75
818 -5.75
819 -3.5
820 -8.75
821 -8.75
822 -6.5
823 -6.5
824 -8.75
825 -6.5
826 -8.75
827 -6.5
828 -9.5
829 -9.5
830 -9.5
831 -9.5
832 -3
833 -3
834 -3
835 -3
836 -3.75
837 -6
838 -3.75
839 -6
840 -3.75
841 -3.75
842 -6
843 -6
844 -4.5
845 -6.75
846 -6.75
847 -9
848 -6
849 -3.75
850 -6
851 -3.75
852 -6.75
853 -6.75
854 -6.75
855 -6.75
856 -6.75
857 -4.5
858 -9
859 -6.75
860 -7.5
861 -7.5
862 -9.75
863 -9.75
864 -6
865 -6
866 -3.75
867 -3.75
868 -6.75
869 -9
870 -4.5
871 -6.75
872 -6.75
873 -6.75
874 -6.75
875 -6.75
876 -7.5
877 -9.75
878 -7.5
879 -9.75
880 -9
881 -6.75
882 -6.75
883 -4.5
884 -9.75
885 -9.75
886 -7.5
887 -7.5
888 -9.75
889 -7.5
890 -9.75
891 -7.5
892 -10.5
893 -10.5
894 -10.5
895 -10.5
896 -3
897 -3
898 -3
899 -3
900 -3.75
901 -6
902 -3.75
903 -6
904 -3.75
905 -3.75
906 -6
907 -6
908 -4.5
909 -6.75
910 -6.75
911 -9
912 -6
913 -3.75
914 -6
915 -3.75
916 -6.75
917 -6.75
918 -6.75
919 -6.75
920 -6.75
921 -4.5
922 -9
923 -6.75
924 -7.5
925 -7.5
926 -9.75
927 -9.75
928 -6
929 -6
930 -3.75
931 -3.75
932 -6.75
933 -9
934 -4.5
935 -6.75
936 -6.75
937 -6.75
938 -6.75
939 -6.75
940 -7.5
941 -9.75
942 -7.5
943 -9.75
944 -9
945 -6.75
946 -6.75
947 -4.5
948 -9.75
949 -9.75
950 -7.5
951 -7.5
952 -9.75
953 -7.5
954 -9.75
955 -7.5
956 -10.5
957 -10.5
958 -10.5
959 -10.5
960 -4
961 -4
962 -4
963 -4
964 -4.75
965 -7
966 -4.75
967 -7
968 -4.75
969 -4.75
970 -7
971 -7
972 -5.5
973 -7.75
974 -7.75
975 -10
976 -7
977 -4.75
978 -7
979 -4.75
980 -7.75
981 -7.75
982 -7.75
983 -7.75
984 -7.75
985 -5.5
986 -10
987 -7.75
988 -8.5
989 -8.5
990 -10.75
991 -10.75
992 -7
993 -7
994 -4.75
995 -4.75
996 -7.75
997 -10
998 -5.5
999 -7.75
1000 -7.75
1001 -7.75
1002 -7.75
1003 -7.75
1004 -8.5
1005 -10.75
1006 -8.5
1007 -10.75
1008 -10
1009 -7.75
1010 -7.75
1011 -5.5
1012 -10.75
1013 -10.75
1014 -8.5
1015 -8.5
1016 -10.75
1017 -8.5
1018 -10.75
1019 -8.5
1020 -11.5
1021 -11.5
1022 -11.5
1023 -11.5
1024 -1
1025 -1
1026 -1
1027 -1
1028 -1.75
1029 -4
1030 -1.75
1031 -4
1032 -1.75
1033 -1.75
1034 -4
1035 -4
1036 -2.5
1037 -4.75
1038 -4.75
1039 -7
1040 -4
1041 -1.75
1042 -4
1043 -1.75
1044 -4.75
1045 -4.75
1046 -4.75
1047 -4.75
1048 -4.75
1049 -2.5
1050 -7
1051 -4.75
1052 -5.5
1053 -5.5
1054 -7.75
1055 -7.75
1056 -4
1057 -4
1058 -1.75
1059 -1.75
1060 -4.75
1061 -7
1062 -2.5
1063 -4.75
1064 -4.75
1065 -4.75
1066 -4.75
1067 -4.75
1068 -5.5
1069 -7.75
1070 -5.5
1071 -7.75
1072 -7
1073 -4.75
1074 -4.75
1075 -2.5
1076 -7.75
1077 -7.75
1078 -5.5
1079 -5.5
1080 -7.75
1081 -5.5
1082 -7.75
1083 -5.5
1084 -8.5
1085 -8.5
1086 -8.5
1087 -8.5
1088 -2
1089 -2
1090 -2
1091 -2
1092 -2.75
1093 -5
1094 -2.75
1095 -5
1096 -2.75
1097 -2.75
1098 -5
1099 -5
1100 -3.5
1101 -5.75
1102 -5.75
1103 -8
1104 -5
1105 -2.75
1106 -5
1107 -2.75
1108 -5.75
1109 -5.75
1110 -5.75
1111 -5.75
1112 -5.75
1113 -3.5
1114 -8
1115 -5.75
1116 -6.5
1117 -6.5
1118 -8.75
1119 -8.75
1120 -5
1121 -5
1122 -2.75
1123 -2.75
1124 -5.75
1125 -8
1126 -3.5
1127 -5.75
1128 -5.75
1129 -5.75
1130 -5.75
1131 -5.75
1132 -6.5
1133 -8.75
1134 -6.5
1135 -8.75
1136 -8
1137 -5.75
1138 -5.75
1139 -3.5
1140 -8.75
1141 -8.75
1142 -6.5
1143 -6.5
1144 -8.75
1145 -6.5
1146 -8.75
1147 -6.5
1148 -9.5
1149 -9.5
1150 -9.5
1151 -9.5
1152 -2
1153 -2
1154 -2
1155 -2
1156 -2.75
1157 -5
1158 -2.75
1159 -5
1160 -2.75
1161 -2.75
1162 -5
1163 -5
1164 -3.5
1165 -5.75
1166 -5.75
1167 -8
1168 -5
1169 -2.75
1170 -5
1171 -2.75
1172 -5.75
1173 -5.75
1174 -5.75
1175 -5.75
1176 -5.75
1177 -3.5
1178 -8
1179 -5.75
1180 -6.5
1181 -6.5
1182 -8.75
1183 -8.75
1184 -5
1185 -5
1186 -2.75
1187 -2.75
1188 -5.75
1189 -8
1190 -3.5
1191 -5.75
1192 -5.75
1193 -5.75
1194 -5.75
1195 -5.75
1196 -6.5
1197 -8.75
1198 -6.5
1199 -8.75
1200 -8
1201 -5.75
1202 -5.75
1203 -3.5
1204 -8.75
1205 -8.75
1206 -6.5
1207 -6.5
1208 -8.75
1209 -6.5
1210 -8.75
1211 -6.5
1212 -9.5
1213 -9.5
1214 -9.5
1215 -9.5
1216 -3
1217 -3
1218 -3
1219 -3
1220 -3.75
1221 -6
1222 -3.75
1223 -6
1224 -3.75
1225 -3.75
1226 -6
1227 -6
1228 -4.5
1229 -6.75
1230 -6.75
1231 -9
1232 -6
1233 -3.75
1234 -6
1235 -3.75
1236 -6.75
1237 -6.75
1238 -6.75
1239 -6.75
1240 -6.75
1241 -4.5
1242 -9
1243 -6.75
1244 -7.5
1245 -7.5
1246 -9.75
1247 -9.75
1248 -6
1249 -6
1250 -3.75
1251 -3.75
1252 -6.75
1253 -9
1254 -4.5
1255 -6.75
1256 -6.75
1257 -6.75
1258 -6.75
1259 -6.75
1260 -7.5
1261 -9.75
1262 -7.5
1263 -9.75
1264 -9
1265 -6.75
1266 -6.75
1267 -4.5
1268 -9.75
1269 -9.75
1270 -7.5
1271 -7.5
1272 -9.75
1273 -7.5
1274 -9.75
1275 -7.5
1276 -10.5
1277 -10.5
1278 -10.5
1279 -10.5
1280 -2
1281 -2
1282 -2
1283 -2
1284 -2.75
1285 -5
1286 -2.75
1287 -5
1288 -2.75
1289 -2.75
1290 -5
1291 -5
1292 -3.5
1293 -5.75
1294 -5.75
1295 -8
1296 -5
1297 -2.75
1298 -5
1299 -2.75
1300 -5.75
1301 -5.75
1302 -5.75
1303 -5.75
1304 -5.75
1305 -3.5
1306 -8
1307 -5.75
1308 -6.5
1309 -6.5
1310 -8.75
1311 -8.75
1312 -5
1313 -5
1314 -2.75
1315 -2.75
1316 -5.75
1317 -8
1318 -3.5
1319 -5.75
1320 -5.75
1321 -5.75
1322 -5.75
1323 -5.75
1324 -6.5
1325 -8.75
1326 -6.5
1327 -8.75
1328 -8
1329 -5.75
1330 -5.75
1331 -3.5
1332 -8.75
1333 -8.75
1334 -6.5
1335 -6.5
1336 -8.75
1337 -6.5
1338 -8.75
1339 -6.5
1340 -9.5
1341 -9.5
1342 -9.5
1343 -9.5
1344 -3
1345 -3
1346 -3
1347 -3
1348 -3.75
1349 -6
1350 -3.75
1351 -6
1352 -3.75
1353 -3.75
1354 -6
1355 -6
1356 -4.5
1357 -6.75
1358 -6.75
1359 -9
1360 -6
1361 -3.75
1362 -6
1363 -3.75
1364 -6.75
1365 -6.75
1366 -6.75
1367 -6.75
1368 -6.75
1369 -4.5
1370 -9
1371 -6.75
1372 -7.5
1373 -7.5
1374 -9.75
1375 -9.75
1376 -6
1377 -6
1378 -3.75
1379 -3.75
1380 -6.75
1381 -9
1382 -4.5
1383 -6.75
1384 -6.75
1385 -6.75
1386 -6.75
1387 -6.75
1388 -7.5
1389 -9.75
1390 -7.5
1391 -9.75
1392 -9
1393 -6.75
1394 -6.75
1395 -4.5
1396 -9.75
1397 -9.75
1398 -7.5
1399 -7.5
1400 -9.75
1401 -7.5
1402 -9.75
1403 -7.5
1404 -10.5
1405 -10.5
1406 -10.5
1407 -10.5
1408 -3
1409 -3
1410 -3
1411 -3
1412 -3.75
1413 -6
1414 -3.75
1415 -6
1416 -3.75
1417 -3.75
1418 -6
1419 -6
1420 -4.5
1421 -6.75
1422 -6.75
1423 -9
1424 -6
1425 -3.75
1426 -6
1427 -3.75
1428 -6.75
1429 -6.75
1430 -6.75
1431 -6.75
1432 -6.75
1433 -4.5
1434 -9
1435 -6.75
1436 -7.5
1437 -7.5
1438 -9.75
1439 -9.75
1440 -6
1441 -6
1442 -3.75
1443 -3.75
1444 -6.75
1445 -9
1446 -4.5
1447 -6.75
1448 -6.75
1449 -6.75
1450 -6.75
1451 -6.75
1452 -7.5
1453 -9.75
1454 -7.5
1455 -9.75
1456 -9
1457 -6.75
1458 -6.75
1459 -4.5
1460 -9.75
1461 -9.75
1462 -7.5
1463 -7.5
1464 -9.75
1465 -7.5
1466 -9.75
1467 -7.5
1468 -10.5
1469 -10.5
1470 -10.5
1471 -10.5
1472 -4
1473 -4
1474 -4
1475 -4
1476 -4.75
1477 -7
1478 -4.75
1479 -7
1480 -4.75
1481 -4.75
1482 -7
1483 -7
1484 -5.5
1485 -7.75
1486 -7.75
1487 -10
1488 -7
1489 -4.75
1490 -7
1491 -4.75
1492 -7.75
1493 -7.75
1494 -7.75
1495 -7.75
1496 -7.75
1497 -5.5
1498 -10
1499 -7.75
1500 -8.5
1501 -8.5
1502 -10.75
1503 -10.75
1504 -7
1505 -7
1506 -4.75
1507 -4.75
1508 -7.75
1509 -10
1510 -5.5
1511 -7.75
1512 -7.75
1513 -7.75
1514 -7.75
1515 -7.75
1516 -8.5
1517 -10.75
1518 -8.5
1519 -10.75
1520 -10
1521 -7.75
1522 -7.75
1523 -5.5
1524 -10.75
1525 -10.75
1526 -8.5
1527 -8.5
1528 -10.75
1529 -8.5
1530 -10.75
1531 -8.5
1532 -11.5
1533 -11.5
1534 -11.5
1535 -11.5
1536 -2
1537 -2
1538 -2
1539 -2
1540 -2.75
1541 -5
1542 -2.75
1543 -5
1544 -2.75
1545 -2.75
1546 -5
1547 -5
1548 -3.5
1549 -5.75
1550 -5.75
1551 -8
1552 -5
1553 -2.75
1554 -5
1555 -2.75
1556 -5.75
1557 -5.75
1558 -5.75
1559 -5.75
1560 -5.75
1561 -3.5
1562 -8
1563 -5.75
1564 -6.5
1565 -6.5
1566 -8.75
1567 -8.75
1568 -5
1569 -5
1570 -2.75
1571 -2.75
1572 -5.75
1573 -8
1574 -3.5
1575 -5.75
1576 -5.75
1577 -5.75
1578 -5.75
1579 -5.75
1580 -6.5
1581 -8.75
1582 -6.5
1583 -8.75
1584 -8
1585 -5.75
1586 -5.75
1587 -3.5
1588 -8.75
1589 -8.75
1590 -6.5
1591 -6.5
1592 -8.75
1593 -6.5
1594 -8.75
1595 -6.5
1596 -9.5
1597 -9.5
1598 -9.5
1599 -9.5
1600 -3
1601 -3
1602 -3
1603 -3
1604 -3.75
1605 -6
1606 -3.75
1607 -6
1608 -3.75
1609 -3.75
1610 -6
1611 -6
1612 -4.5
1613 -6.75
1614 -6.75
1615 -9
1616 -6
1617 -3.75
1618 -6
1619 -3.75
1620 -6.75
1621 -6.75
1622 -6.75
1623 -6.75
1624 -6.75
1625 -4.5
1626 -9
1627 -6.75
1628 -7.5
1629 -7.5
1630 -9.75
1631 -9.75
1632 -6
1633 -6
1634 -3.75
1635 -3.75
1636 -6.75
1637 -9
1638 -4.5
1639 -6.75
1640 -6.75
1641 -6.75
1642 -6.75
1643 -6.75
1644 -7.5
1645 -9.75
1646 -7.5
1647 -9.75
1648 -9
1649 -6.75
1650 -6.75
1651 -4.5
1652 -9.75
1653 -9.75
1654 -7.5
1655 -7.5
1656 -9.75
1657 -7.5
1658 -9.75
1659 -7.5
1660 -10.5
1661 -10.5
1662 -10.5
1663 -10.5
1664 -3
1665 -3
1666 -3
1667 -3
1668 -3.75
1669 -6
1670 -3.75
1671 -6
1672 -3.75
1673 -3.75
1674 -6
1675 -6
1676 -4.5
1677 -6.75
1678 -6.75
1679 -9
1680 -6
1681 -3.75
1682 -6
1683 -3.75
1684 -6.75
1685 -6.75
1686 -6.75
1687 -6.75
1688 -6.75
1689 -4.5
1690 -9
1691 -6.75
1692 -7.5
1693 -7.5
1694 -9.75
1695 -9.75
1696 -6
1697 -6
1698 -3.75
1699 -3.75
1700 -6.75
1701 -9
1702 -4.5
1703 -6.75
1704 -6.75
1705 -6.75
1706 -6.75
1707 -6.75
1708 -7.5
1709 -9.75
1710 -7.5
1711 -9.75
1712 -9
1713 -6.75
1714 -6.75
1715 -4.5
1716 -9.75
1717 -9.75
1718 -7.5
1719 -7.5
1720 -9.75
1721 -7.5
1722 -9.75
1723 -7.5
1724 -10.5
1725 -10.5
1726 -10.5
1727 -10.5
1728 -4
1729 -4
1730 -4
1731 -4
1732 -4.75
1733 -7
1734 -4.75
1735 -7
1736 -4.75
1737 -4.75
1738 -7
1739 -7
1740 -5.5
1741 -7.75
1742 -7.75
1743 -10
1744 -7
1745 -4.75
1746 -7
1747 -4.75
1748 -7.75
1749 -7.75
1750 -7.75
1751 -7.75
1752 -7.75
1753 -5.5
1754 -10
1755 -7.75
1756 -8.5
1757 -8.5
1758 -10.75
1759 -10.75
1760 -7
1761 -7
1762 -4.75
1763 -4.75
1764 -7.75
1765 -10
1766 -5.5
1767 -7.75
1768 -7.75
1769 -7.75
1770 -7.75
1771 -7.75
1772 -8.5
1773 -10.75
1774 -8.5
1775 -10.75
1776 -10
1777 -7.75
1778 -7.75
1779 -5.5
1780 -10.75
1781 -10.75
1782 -8.5
1783 -8.5
1784 -10.75
1785 -8.5
1786 -10.75
1787 -8.5
1788 -11.5
1789 -11.5
1790 -11.5
1791 -11.5
1792 -3
1793 -3
1794 -3
1795 -3
1796 -3.75
1797 -6
1798 -3.75
1799 -6
1800 -3.75
1801 -3.75
1802 -6
1803 -6
1804 -4.5
1805 -6.75
1806 -6.75
1807 -9
1808 -6
1809 -3.75
1810 -6
1811 -3.75
1812 -6.75
1813 -6.75
1814 -6.75
1815 -6.75
1816 -6.75
1817 -4.5
1818 -9
1819 -6.75
1820 -7.5
1821 -7.5
1822 -9.75
1823 -9.75
1824 -6
1825 -6
1826 -3.75
1827 -3.75
1828 -6.75
1829 -9
1830 -4.5
1831 -6.75
1832 -6.75
1833 -6.75
1834 -6.75
1835 -6.75
1836 -7.5
1837 -9.75
1838 -7.5
1839 -9.75
1840 -9
1841 -6.75
1842 -6.75
1843 -4.5
1844 -9.75
1845 -9.75
1846 -7.5
1847 -7.5
1848 -9.75
1849 -7.5
1850 -9.75
1851 -7.5
1852 -10.5
1853 -10.5
1854 -10.5
1855 -10.5
1856 -4
1857 -4
1858 -4
1859 -4
1860 -4.75
1861 -7
1862 -4.75
1863 -7
1864 -4.75
1865 -4.75
1866 -7
1867 -7
1868 -5.5
1869 -7.75
1870 -7.75
1871 -10
1872 -7
1873 -4.75
1874 -7
1875 -4.75
1876 -7.75
1877 -7.75
1878 -7.75
1879 -7.75
1880 -7.75
1881 -5.5
1882 -10
1883 -7.75
1884 -8.5
1885 -8.5
1886 -10.75
1887 -10.75
1888 -7
1889 -7
1890 -4.75
1891 -4.75
1892 -7.75
1893 -10
1894 -5.5
1895 -7.75
1896 -7.75
1897 -7.75
1898 -7.75
1899 -7.75
1900 -8.5
1901 -10.75
1902 -8.5
1903 -10.75
1904 -10
1905 -7.75
1906 -7.75
1907 -5.5
1908 -10.75
1909 -10.75
1910 -8.5
1911 -8.5
1912 -10.75
1913 -8.5
1914 -10.75
1915 -8.5
1916 -11.5
1917 -11.5
1918 -11.5
1919 -11.5
1920 -4
1921 -4
1922 -4
1923 -4
1924 -4.75
1925 -7
1926 -4.75
1927 -7
1928 -4.75
1929 -4.75
1930 -7
1931 -7
1932 -5.5
1933 -7.75
1934 -7.75
1935 -10
1936 -7
1937 -4.75
1938 -7
1939 -4.75
1940 -7.75
1941 -7.75
1942 -7.75
1943 -7.75
1944 -7.75
1945 -5.5
1946 -10
1947 -7.75
1948 -8.5
1949 -8.5
1950 -10.75
1951 -10.75
1952 -7
1953 -7
1954 -4.75
1955 -4.75
1956 -7.75
1957 -10
1958 -5.5
1959 -7.75
1960 -7.75
1961 -7.75
1962 -7.75
1963 -7.75
1964 -8.5
1965 -10.75
1966 -8.5
1967 -10.75
1968 -10
1969 -7.75
1970 -7.75
1971 -5.5
1972 -10.75
1973 -10.75
1974 -8.5
1975 -8.5
1976 -10.75
1977 -8.5
1978 -10.75
1979 -8.5
1980 -11.5
1981 -11.5
1982 -11.5
1983 -11.5
1984 -5
1985 -5
1986 -5
1987 -5
1988 -5.75
1989 -8
1990 -5.75
1991 -8
1992 -5.75
1993 -5.75
1994 -8
1995 -8
1996 -6.5
1997 -8.75
1998 -8.75
1999 -11
2000 -8
2001 -5.75
2002 -8
2003 -5.75
2004 -8.75
2005 -8.75
2006 -8.75
2007 -8.75
2008 -8.75
2009 -6.5
2010 -11
2011 -8.75
2012 -9.5
2013 -9.5
2014 -11.75
2015 -11.75
2016 -8
2017 -8
2018 -5.75
2019 -5.75
2020 -8.75
2021 -11
2022 -6.5
2023 -8.75
2024 -8.75
2025 -8.75
2026 -8.75
2027 -8.75
2028 -9.5
2029 -11.75
2030 -9.5
2031 -11.75
2032 -11
2033 -8.75
2034 -8.75
2035 -6.5
2036 -11.75
2037 -11.75
2038 -9.5
2039 -9.5
2040 -11.75
2041 -9.5
2042 -11.75
2043 -9.5
2044 -12.5
2045 -12.5
2046 -12.5
2047 -12.5
2048 -1
2049 -1
2050 -1
2051 -1
2052 -1.75
2053 -4
2054 -1.75
2055 -4
2056 -1.75
2057 -1.75
2058 -4
2059 -4
2060 -2.5
2061 -4.75
2062 -4.75
2063 -7
2064 -4
2065 -1.75
2066 -4
2067 -1.75
2068 -4.75
2069 -4.75
2070 -4.75
2071 -4.75
2072 -4.75
2073 -2.5
2074 -7
2075 -4.75
2076 -5.5
2077 -5.5
2078 -7.75
2079 -7.75
2080 -4
2081 -4
2082 -1.75
2083 -1.75
2084 -4.75
2085 -7
2086 -2.5
2087 -4.75
2088 -4.75
2089 -4.75
2090 -4.75
2091 -4.75
2092 -5.5
2093 -7.75
2094 -5.5
2095 -7.75
2096 -7
2097 -4.75
2098 -4.75
2099 -2.5
2100 -7.75
2101 -7.75
2102 -5.5
2103 -5.5
2104 -7.75
2105 -5.5
2106 -7.75
2107 -5.5
2108 -8.5
2109 -8.5
2110 -8.5
2111 -8.5
2112 -2
2113 -2
2114 -2
2115 -2
2116 -2.75
2117 -5
2118 -2.75
2119 -5
2120 -2.75
2121 -2.75
2122 -5
2123 -5
2124 -3.5
2125 -5.75
2126 -5.75
2127 -8
2128 -5
2129 -2.75
2130 -5
2131 -2.75
2132 -5.75
2133 -5.75
2134 -5.75
2135 -5.75
2136 -5.75
2137 -3.5
2138 -8
2139 -5.75
2140 -6.5
2141 -6.5
2142 -8.75
2143 -8.75
2144 -5
2145 -5
2146 -2.75
2147 -2.75
2148 -5.75
2149 -8
2150 -3.5
2151 -5.75
2152 -5.75
2153 -5.75
2154 -5.75
2155 -5.75
2156 -6.5
2157 -8.75
2158 -6.5
2159 -8.75
2160 -8
2161 -5.75
2162 -5.75
2163 -3.5
2164 -8.75
2165 -8.75
2166 -6.5
2167 -6.5
2168 -8.75
2169 -6.5
2170 -8.75
2171 -6.5
2172 -9.5
2173 -9.5
2174 -9.5
2175 -9.5
2176 -2
2177 -2
2178 -2
2179 -2
2180 -2.75
2181 -5
2182 -2.75
2183 -5
2184 -2.75
2185 -2.75
2186 -5
2187 -5
2188 -3.5
2189 -5.75
2190 -5.75
2191 -8
2192 -5
2193 -2.75
2194 -5
2195 -2.75
2196 -5.75
2197 -5.75
2198 -5.75
2199 -5.75
2200 -5.75
2201 -3.5
2202 -8
2203 -5.75
2204 -6.5
2205 -6.5
2206 -8.75
2207 -8.75
2208 -5
2209 -5
2210 -2.75
2211 -2.75
2212 -5.75
2213 -8
2214 -3.5
2215 -5.75
2216 -5.75
2217 -5.75
2218 -5.75
2219 -5.75
2220 -6.5
2221 -8.75
2222 -6.5
2223 -8.75
2224 -8
2225 -5.75
2226 -5.75
2227 -3.5
2228 -8.75
2229 -8.75
2230 -6.5
2231 -6.5
2232 -8.75
2233 -6.5
2234 -8.75
2235 -6.5
2236 -9.5
2237 -9.5
2238 -9.5
2239 -9.5
2240 -3
2241 -3
2242 -3
2243 -3
2244 -3.75
2245 -6
2246 -3.75
2247 -6
2248 -3.75
2249 -3.75
2250 -6
2251 -6
2252 -4.5
2253 -6.75
2254 -6.75
2255 -9
2256 -6
2257 -3.75
2258 -6
2259 -3.75
2260 -6.75
2261 -6.75
2262 -6.75
2263 -6.75
2264 -6.75
2265 -4.5
2266 -9
2267 -6.75
2268 -7.5
2269 -7.5
2270 -9.75
2271 -9.75
2272 -6
2273 -6
2274 -3.75
2275 -3.75
2276 -6.75
2277 -9
2278 -4.5
2279 -6.75
2280 -6.75
2281 -6.75
2282 -6.75
2283 -6.75
2284 -7.5
2285 -9.75
2286 -7.5
2287 -9.75
2288 -9
2289 -6.75
2290 -6.75
2291 -4.5
2292 -9.75
2293 -9.75
2294 -7.5
2295 -7.5
2296 -9.75
2297 -7.5
2298 -9.75
2299 -7.5
2300 -10.5
2301 -10.5
2302 -10.5
2303 -10.5
2304 -2
2305 -2
2306 -2
2307 -2
2308 -2.75
2309 -5
2310 -2.75
2311 -5
2312 -2.75
2313 -2.75
2314 -5
2315 -5
2316 -3.5
2317 -5.75
2318 -5.75
2319 -8
2320 -5
2321 -2.75
2322 -5
2323 -2.75
2324 -5.75
2325 -5.75
2326 -5.75
2327 -5.75
2328 -5.75
2329 -3.5
2330 -8
2331 -5.75
2332 -6.5
2333 -6.5
2334 -8.75
2335 -8.75
2336 -5
2337 -5
2338 -2.75
2339 -2.75
2340 -5.75
2341 -8
2342 -3.5
2343 -5.75
2344 -5.75
2345 -5.75
2346 -5.75
2347 -5.75
2348 -6.5
2349 -8.75
2350 -6.5
2351 -8.75
2352 -8
2353 -5.75
2354 -5.75
2355 -3.5
2356 -8.75
2357 -8.75
2358 -6.5
2359 -6.5
2360 -8.75
2361 -6.5
2362 -8.75
2363 -6.5
2364 -9.5
2365 -9.5
2366 -9.5
2367 -9.5
2368 -3
2369 -3
2370 -3
2371 -3
2372 -3.75
2373 -6
2374 -3.75
2375 -6
2376 -3.75
2377 -3.75
2378 -6
2379 -6
2380 -4.5
2381 -6.75
2382 -6.75
2383 -9
2384 -6
2385 -3.75
2386 -6
2387 -3.75
2388 -6.75
2389 -6.75
2390 -6.75
2391 -6.75
2392 -6.75
2393 -4.5
2394 -9
2395 -6.75
2396 -7.5
2397 -7.5
2398 -9.75
2399 -9.75
2400 -6
2401 -6
2402 -3.75
2403 -3.75
2404 -6.75
2405 -9
2406 -4.5
2407 -6.75
2408 -6.75
2409 -6.75
2410 -6.75
2411 -6.75
2412 -7.5
2413 -9.75
2414 -7.5
2415 -9.75
2416 -9
2417 -6.75
2418 -6.75
2419 -4.5
2420 -9.75
2421 -9.75
2422 -7.5
2423 -7.5
2424 -9.75
2425 -7.5
2426 -9.75
2427 -7.5
2428 -10.5
2429 -10.5
2430 -10.5
2431 -10.5
2432 -3
2433 -3
2434 -3
2435 -3
2436 -3.75
2437 -6
2438 -3.75
2439 -6
2440 -3.75
2441 -3.75
2442 -6
2443 -6
2444 -4.5
2445 -6.75
2446 -6.75
2447 -9
2448 -6
2449 -3.75
2450 -6
2451 -3.75
2452 -6.75
2453 -6.75
2454 -6.75
2455 -6.75
2456 -6.75
2457 -4.5
2458 -9
2459 -6.75
2460 -7.5
2461 -7.5
2462 -9.75
2463 -9.75
2464 -6
2465 -6
2466 -3.75
2467 -3.75
2468 -6.75
2469 -9
2470 -4.5
2471 -6.75
2472 -6.75
2473 -6.75
2474 -6.75
2475 -6.75
2476 -7.5
2477 -9.75
2478 -7.5
2479 -9.75
2480 -9
2481 -6.75
2482 -6.75
2483 -4.5
2484 -9.75
2485 -9.75
2486 -7.5
2487 -7.5
2488 -9.75
2489 -7.5
2490 -9.75
2491 -7.5
2492 -10.5
2493 -10.5
2494 -10.5
2495 -10.5
2496 -4
2497 -4
2498 -4
2499 -4
2500 -4.75
2501 -7
2502 -4.75
2503 -7
2504 -4.75
2505 -4.75
2506 -7
2507 -7
2508 -5.5
2509 -7.75
2510 -7.75
2511 -10
2512 -7
2513 -4.75
2514 -7
2515 -4.75
2516 -7.75
2517 -7.75
2518 -7.75
2519 -7.75
2520 -7.75
2521 -5.5
2522 -10
2523 -7.75
2524 -8.5
2525 -8.5
2526 -10.75
2527 -10.75
2528 -7
2529 -7
2530 -4.75
2531 -4.75
2532 -7.75
2533 -10
2534 -5.5
2535 -7.75
2536 -7.75
2537 -7.75
2538 -7.75
2539 -7.75
2540 -8.5
2541 -10.75
2542 -8.5
2543 -10.75
2544 -10
2545 -7.75
2546 -7.75
2547 -5.5
2548 -10.75
2549 -10.75
2550 -8.5
2551 -8.5
2552 -10.75
2553 -8.5
2554 -10.75
2555 -8.5
2556 -11.5
2557 -11.5
2558 -11.5
2559 -11.5
2560 -2
2561 -2
2562 -2
2563 -2
2564 -2.75
2565 -5
2566 -2.75
2567 -5
2568 -2.75
2569 -2.75
2570 -5
2571 -5
2572 -3.5
2573 -5.75
2574 -5.75
2575 -8
2576 -5
2577 -2.75
2578 -5
2579 -2.75
2580 -5.75
2581 -5.75
2582 -5.75
2583 -5.75
2584 -5.75
2585 -3.5
2586 -8
2587 -5.75
2588 -6.5
2589 -6.5
2590 -8.75
2591 -8.75
2592 -5
2593 -5
2594 -2.75
2595 -2.75
2596 -5.75
2597 -8
2598 -3.5
2599 -5.75
2600 -5.75
2601 -5.75
2602 -5.75
2603 -5.75
2604 -6.5
2605 -8.75
2606 -6.5
2607 -8.75
2608 -8
2609 -5.75
2610 -5.75
2611 -3.5
2612 -8.75
2613 -8.75
2614 -6.5
2615 -6.5
2616 -8.75
2617 -6.5
2618 -8.75
2619 -6.5
2620 -9.5
2621 -9.5
2622 -9.5
2623 -9.5
2624 -3
2625 -3
2626 -3
2627 -3
2628 -3.75
2629 -6
2630 -3.75
2631 -6
2632 -3.75
2633 -3.75
2634 -6
2635 -6
2636 -4.5
2637 -6.75
2638 -6.75
2639 -9
2640 -6
2641 -3.75
2642 -6
2643 -3.75
2644 -6.75
2645 -6.75
2646 -6.75
2647 -6.75
2648 -6.75
2649 -4.5
2650 -9
2651 -6.75
2652 -7.5
2653 -7.5
2654 -9.75
2655 -9.75
2656 -6
2657 -6
2658 -3.75
2659 -3.75
2660 -6.75
2661 -9
2662 -4.5
2663 -6.75
2664 -6.75
2665 -6.75
2666 -6.75
2667 -6.75
2668 -7.5
2669 -9.75
2670 -7.5
2671 -9.75
2672 -9
2673 -6.75
2674 -6.75
2675 -4.5
2676 -9.75
2677 -9.75
2678 -7.5
2679 -7.5
2680 -9.75
2681 -7.5
2682 -9.75
2683 -7.5
2684 -10.5
2685 -10.5
2686 -10.5
2687 -10.5
2688 -3
2689 -3
2690 -3
2691 -3
2692 -3.75
2693 -6
2694 -3.75
2695 -6
2696 -3.75
2697 -3.75
2698 -6
2699 -6
2700 -4.5
2701 -6.75
2702 -6.75
2703 -9
2704 -6
2705 -3.75
2706 -6
2707 -3.75
2708 -6.75
2709 -6.75
2710 -6.75
2711 -6.75
2712 -6.75
2713 -4.5
2714 -9
2715 -6.75
2716 -7.5
2717 -7.5
2718 -9.75
2719 -9.75
2720 -6
2721 -6
2722 -3.75
2723 -3.75
2724 -6.75
2725 -9
2726 -4.5
2727 -6.75
2728 -6.75
2729 -6.75
2730 -6.75
2731 -6.75
2732 -7.5
2733 -9.75
2734 -7.5
2735 -9.75
2736 -9
2737 -6.75
2738 -6.75
2739 -4.5
2740 -9.75
2741 -9.75
2742 -7.5
2743 -7.5
2744 -9.75
2745 -7.5
2746 -9.75
2747 -7.5
2748 -10.5
2749 -10.5
2750 -10.5
2751 -10.5
2752 -4
2753 -4
2754 -4
2755 -4
2756 -4.75
2757 -7
2758 -4.75
2759 -7
2760 -4.75
2761 -4.75
2762 -7
2763 -7
2764 -5.5
2765 -7.75
2766 -7.75
2767 -10
2768 -7
2769 -4.75
2770 -7
2771 -4.75
2772 -7.75
2773 -7.75
2774 -7.75
2775 -7.75
2776 -7.75
2777 -5.5
2778 -10
2779 -7.75
2780 -8.5
2781 -8.5
2782 -10.75
2783 -10.75
2784 -7
2785 -7
2786 -4.75
2787 -4.75
2788 -7.75
2789 -10
2790 -5.5
2791 -7.75
2792 -7.75
2793 -7.75
2794 -7.75
2795 -7.75
2796 -8.5
2797 -10.75
2798 -8.5
2799 -10.75
2800 -10
2801 -7.75
2802 -7.75
2803 -5.5
2804 -10.75
2805 -10.75
2806 -8.5
2807 -8.5
2808 -10.75
2809 -8.5
2810 -10.75
2811 -8.5
2812 -11.5
2813 -11.5
2814 -11.5
2815 -11.5
2816 -3
2817 -3
2818 -3
2819 -3
2820 -3.75
2821 -6
2822 -3.75
2823 -6
2824 -3.75
2825 -3.75
2826 -6
2827 -6
2828 -4.5
2829 -6.75
2830 -6.75
2831 -9
2832 -6
2833 -3.75
2834 -6
2835 -3.75
2836 -6.75
2837 -6.75
2838 -6.75
2839 -6.75
2840 -6.75
2841 -4.5
2842 -9
2843 -6.75
2844 -7.5
2845 -7.5
2846 -9.75
2847 -9.75
2848 -6
2849 -6
2850 -3.75
2851 -3.75
2852 -6.75
2853 -9
2854 -4.5
2855 -6.75
2856 -6.75
2857 -6.75
2858 -6.75
2859 -6.75
2860 -7.5
2861 -9.75
2862 -7.5
2863 -9.75
2864 -9
2865 -6.75
2866 -6.75
2867 -4.5
2868 -9.75
2869 -9.75
2870 -7.5
2871 -7.5
2872 -9.75
2873 -7.5
2874 -9.75
2875 -7.5
2876 -10.5
2877 -10.5
2878 -10.5
2879 -10.5
2880 -4
2881 -4
2882 -4
2883 -4
2884 -4.75
2885 -7
2886 -4.75
2887 -7
2888 -4.75
2889 -4.75
2890 -7
2891 -7
2892 -5.5
2893 -7.75
2894 -7.75
2895 -10
2896 -7
2897 -4.75
2898 -7
2899 -4.75
2900 -7.75
2901 -7.75
2902 -7.75
2903 -7.75
2904 -7.75
2905 -5.5
2906 -10
2907 -7.75
2908 -8.5
2909 -8.5
2910 -10.75
2911 -10.75
2912 -7
2913 -7
2914 -4.75
2915 -4.75
2916 -7.75
2917 -10
2918 -5.5
2919 -7.75
2920 -7.75
2921 -7.75
2922 -7.75
2923 -7.75
2924 -8.5
2925 -10.75
2926 -8.5
2927 -10.75
2928 -10
2929 -7.75
2930 -7.75
2931 -5.5
2932 -10.75
2933 -10.75
2934 -8.5
2935 -8.5
2936 -10.75
2937 -8.5
2938 -10.75
2939 -8.5
2940 -11.5
2941 -11.5
2942 -11.5
2943 -11.5
2944 -4
2945 -4
2946 -4
2947 -4
2948 -4.75
2949 -7
2950 -4.75
2951 -7
2952 -4.75
2953 -4.75
2954 -7
2955 -7
2956 -5.5
2957 -7.75
2958 -7.75
2959 -10
2960 -7
2961 -4.75
2962 -7
2963 -4.75
2964 -7.75
2965 -7.75
2966 -7.75
2967 -7.75
2968 -7.75
2969 -5.5
2970 -10
2971 -7.75
2972 -8.5
2973 -8.5
2974 -10.75
2975 -10.75
2976 -7
2977 -7
2978 -4.75
2979 -4.75
2980 -7.75
2981 -10
2982 -5.5
2983 -7.75
2984 -7.75
2985 -7.75
2986 -7.75
2987 -7.75
2988 -8.5
2989 -10.75
2990 -8.5
2991 -10.75
2992 -10
2993 -7.75
2994 -7.75
2995 -5.5
2996 -10.75
2997 -10.75
2998 -8.5
2999 -8.5
3000 -10.75
3001 -8.5
3002 -10.75
3003 -8.5
3004 -11.5
3005 -11.5
3006 -11.5
3007 -11.5
3008 -5
3009 -5
3010 -5
3011 -5
3012 -5.75
3013 -8
3014 -5.75
3015 -8
3016 -5.75
3017 -5.75
3018 -8
3019 -8
3020 -6.5
3021 -8.75
3022 -8.75
3023 -11
3024 -8
3025 -5.75
3026 -8
3027 -5.75
3028 -8.75
3029 -8.75
3030 -8.75
3031 -8.75
3032 -8.75
3033 -6.5
3034 -11
3035 -8.75
3036 -9.5
3037 -9.5
3038 -11.75
3039 -11.75
3040 -8
3041 -8
3042 -5.75
3043 -5.75
3044 -8.75
3045 -11
3046 -6.5
3047 -8.75
3048 -8.75
3049 -8.75
3050 -8.75
3051 -8.75
3052 -9.5
3053 -11.75
3054 -9.5
3055 -11.75
3056 -11
3057 -8.75
3058 -8.75
3059 -6.5
3060 -11.75
3061 -11.75
3062 -9.5
3063 -9.5
3064 -11.75
3065 -9.5
3066 -11.75
3067 -9.5
3068 -12.5
3069 -12.5
3070 -12.5
3071 -12.5
3072 -2
3073 -2
3074 -2
3075 -2
3076 -2.75
3077 -5
3078 -2.75
3079 -5
3080 -2.75
3081 -2.75
3082 -5
3083 -5
3084 -3.5
3085 -5.75
3086 -5.75
3087 -8
3088 -5
3089 -2.75
3090 -5
3091 -2.75
3092 -5.75
3093 -5.75
3094 -5.75
3095 -5.75
3096 -5.75
3097 -3.5
3098 -8
3099 -5.75
3100 -6.5
3101 -6.5
3102 -8.75
3103 -8.75
3104 -5
3105 -5
3106 -2.75
3107 -2.75
3108 -5.75
3109 -8
3110 -3.5
3111 -5.75
3112 -5.75
3113 -5.75
3114 -5.75
3115 -5.75
3116 -6.5
3117 -8.75
3118 -6.5
3119 -8.75
3120 -8
3121 -5.75
3122 -5.75
3123 -3.5
3124 -8.75
3125 -8.75
3126 -6.5
3127 -6.5
3128 -8.75
3129 -6.5
3130 -8.75
3131 -6.5
3132 -9.5
3133 -9.5
3134 -9.5
3135 -9.5
3136 -3
3137 -3
3138 -3
3139 -3
3140 -3.75
3141 -6
3142 -3.75
3143 -6
3144 -3.75
3145 -3.75
3146 -6
3147 -6
3148 -4.5
3149 -6.75
3150 -6.75
3151 -9
3152 -6
3153 -3.75
3154 -6
3155 -3.75
3156 -6.75
3157 -6.75
3158 -6.75
3159 -6.75
3160 -6.75
3161 -4.5
3162 -9
3163 -6.75
3164 -7.5
3165 -7.5
3166 -9.75
3167 -9.75
3168 -6
3169 -6
3170 -3.75
3171 -3.75
3172 -6.75
3173 -9
3174 -4.5
3175 -6.75
3176 -6.75
3177 -6.75
3178 -6.75
3179 -6.75
3180 -7.5
3181 -9.75
3182 -7.5
3183 -9.75
3184 -9
3185 -6.75
3186 -6.75
3187 -4.5
3188 -9.75
3189 -9.75
3190 -7.5
3191 -7.5
3192 -9.75
3193 -7.5
3194 -9.75
3195 -7.5
3196 -10.5
3197 -10.5
3198 -10.5
3199 -10.5
3200 -3
3201 -3
3202 -3
3203 -3
3204 -3.75
3205 -6
3206 -3.75
3207 -6
3208 -3.75
3209 -3.75
3210 -6
3211 -6
3212 -4.5
3213 -6.75
3214 -6.75
3215 -9
3216 -6
3217 -3.75
3218 -6
3219 -3.75
3220 -6.75
3221 -6.75
3222 -6.75
3223 -6.75
3224 -6.75
3225 -4.5
3226 -9
3227 -6.75
3228 -7.5
3229 -7.5
3230 -9.75
3231 -9.75
3232 -6
3233 -6
3234 -3.75
3235 -3.75
3236 -6.75
3237 -9
3238 -4.5
3239 -6.75
3240 -6.75
3241 -6.75
3242 -6.75
3243 -6.75
3244 -7.5
3245 -9.75
3246 -7.5
3247 -9.75
3248 -9
3249 -6.75
3250 -6.75
3251 -4.5
3252 -9.75
3253 -9.75
3254 -7.5
3255 -7.5
3256 -9.75
3257 -7.5
3258 -9.75
3259 -7.5
3260 -10.5
3261 -10.5
3262 -10.5
3263 -10.5
3264 -4
3265 -4
3266 -4
3267 -4
3268 -4.75
3269 -7
3270 -4.75
3271 -7
3272 -4.75
3273 -4.75
3274 -7
3275 -7
3276 -5.5
3277 -7.75
3278 -7.75
3279 -10
3280 -7
3281 -4.75
3282 -7
3283 -4.75
3284 -7.75
3285 -7.75
3286 -7.75
3287 -7.75
3288 -7.75
3289 -5.5
3290 -10
3291 -7.75
3292 -8.5
3293 -8.5
3294 -10.75
3295 -10.75
3296 -7
3297 -7
3298 -4.75
3299 -4.75
3300 -7.75
3301 -10
3302 -5.5
3303 -7.75
3304 -7.75
3305 -7.75
3306 -7.75
3307 -7.75
3308 -8.5
3309 -10.75
3310 -8.5
3311 -10.75
3312 -10
3313 -7.75
3314 -7.75
3315 -5.5
3316 -10.75
3317 -10.75
3318 -8.5
3319 -8.5
3320 -10.75
3321 -8.5
3322 -10.75
3323 -8.5
3324 -11.5
3325 -11.5
3326 -11.5
3327 -11.5
3328 -3
3329 -3
3330 -3
3331 -3
3332 -3.75
3333 -6
3334 -3.75
3335 -6
3336 -3.75
3337 -3.75
3338 -6
3339 -6
3340 -4.5
3341 -6.75
3342 -6.75
3343 -9
3344 -6
3345 -3.75
3346 -6
3347 -3.75
3348 -6.75
3349 -6.75
3350 -6.75
3351 -6.75
3352 -6.75
3353 -4.5
3354 -9
3355 -6.75
3356 -7.5
3357 -7.5
3358 -9.75
3359 -9.75
3360 -6
3361 -6
3362 -3.75
3363 -3.75
3364 -6.75
3365 -9
3366 -4.5
3367 -6.75
3368 -6.75
3369 -6.75
3370 -6.75
3371 -6.75
3372 -7.5
3373 -9.75
3374 -7.5
3375 -9.75
3376 -9
3377 -6.75
3378 -6.75
3379 -4.5
3380 -9.75
3381 -9.75
3382 -7.5
3383 -7.5
3384 -9.75
3385 -7.5
3386 -9.75
3387 -7.5
3388 -10.5
3389 -10.5
3390 -10.5
3391 -10.5
3392 -4
3393 -4
3394 -4
3395 -4
3396 -4.75
3397 -7
3398 -4.75
3399 -7
3400 -4.75
3401 -4.75
3402 -7
3403 -7
3404 -5.5
3405 -7.75
3406 -7.75
3407 -10
3408 -7
3409 -4.75
3410 -7
3411 -4.75
3412 -7.75
3413 -7.75
3414 -7.75
3415 -7.75
3416 -7.75
3417 -5.5
3418 -10
3419 -7.75
3420 -8.5
3421 -8.5
3422 -10.75
3423 -10.75
3424 -7
3425 -7
3426 -4.75
3427 -4.75
3428 -7.75
3429 -10
3430 -5.5
3431 -7.75
3432 -7.75
3433 -7.75
3434 -7.75
3435 -7.75
3436 -8.5
3437 -10.75
3438 -8.5
3439 -10.75
3440 -10
3441 -7.75
3442 -7.75
3443 -5.5
3444 -10.75
3445 -10.75
3446 -8.5
3447 -8.5
3448 -10.75
3449 -8.5
3450 -10.75
3451 -8.5
3452 -11.5
3453 -11.5
3454 -11.5
3455 -11.5
3456 -4
3457 -4
3458 -4
3459 -4
3460 -4.75
3461 -7
3462 -4.75
3463 -7
3464 -4.75
3465 -4.75
3466 -7
3467 -7
3468 -5.5
3469 -7.75
3470 -7.75
3471 -10
3472 -7
3473 -4.75
3474 -7
3475 -4.75
3476 -7.75
3477 -7.75
3478 -7.75
3479 -7.75
3480 -7.75
3481 -5.5
3482 -10
3483 -7.75
3484 -8.5
3485 -8.5
3486 -10.75
3487 -10.75
3488 -7
3489 -7
3490 -4.75
3491 -4.75
3492 -7.75
3493 -10
3494 -5.5
3495 -7.75
3496 -7.75
3497 -7.75
3498 -7.75
3499 -7.75
3500 -8.5
3501 -10.75
3502 -8.5
3503 -10.75
3504 -10
3505 -7.75
3506 -7.75
3507 -5.5
3508 -10.75
3509 -10.75
3510 -8.5
3511 -8.5
3512 -10.75
3513 -8.5
3514 -10.75
3515 -8.5
3516 -11.5
3517 -11.5
3518 -11.5
3519 -11.5
3520 -5
3521 -5
3522 -5
3523 -5
3524 -5.75
3525 -8
3526 -5.75
3527 -8
3528 -5.75
3529 -5.75
3530 -8
3531 -8
3532 -6.5
3533 -8.75
3534 -8.75
3535 -11
3536 -8
3537 -5.75
3538 -8
3539 -5.75
3540 -8.75
3541 -8.75
3542 -8.75
3543 -8.75
3544 -8.75
3545 -6.5
3546 -11
3547 -8.75
3548 -9.5
3549 -9.5
3550 -11.75
3551 -11.75
3552 -8
3553 -8
3554 -5.75
3555 -5.75
3556 -8.75
3557 -11
3558 -6.5
3559 -8.75
3560 -8.75
3561 -8.75
3562 -8.75
3563 -8.75
3564 -9.5
3565 -11.75
3566 -9.5
3567 -11.75
3568 -11
3569 -8.75
3570 -8.75
3571 -6.5
3572 -11.75
3573 -11.75
3574 -9.5
3575 -9.5
3576 -11.75
3577 -9.5
3578 -11.75
3579 -9.5
3580 -12.5
3581 -12.5
3582 -12.5
3583 -12.5
3584 -3
3585 -3
3586 -3
3587 -3
3588 -3.75
3589 -6
3590 -3.75
3591 -6
3592 -3.75
3593 -3.75
3594 -6
3595 -6
3596 -4.5
3597 -6.75
3598 -6.75
3599 -9
3600 -6
3601 -3.75
3602 -6
3603 -3.75
3604 -6.75
3605 -6.75
3606 -6.75
3607 -6.75
3608 -6.75
3609 -4.5
3610 -9
3611 -6.75
3612 -7.5
3613 -7.5
3614 -9.75
3615 -9.75
3616 -6
3617 -6
3618 -3.75
3619 -3.75
3620 -6.75
3621 -9
3622 -4.5
3623 -6.75
3624 -6.75
3625 -6.75
3626 -6.75
3627 -6.75
3628 -7.5
3629 -9.75
3630 -7.5
3631 -9.75
3632 -9
3633 -6.75
3634 -6.75
3635 -4.5
3636 -9.75
3637 -9.75
3638 -7.5
3639 -7.5
3640 -9.75
3641 -7.5
3642 -9.75
3643 -7.5
3644 -10.5
3645 -10.5
3646 -10.5
3647 -10.5
3648 -4
3649 -4
3650 -4
3651 -4
3652 -4.75
3653 -7
3654 -4.75
3655 -7
3656 -4.75
3657 -4.75
3658 -7
3659 -7
3660 -5.5
3661 -7.75
3662 -7.75
3663 -10
3664 -7
3665 -4.75
3666 -7
3667 -4.75
3668 -7.75
3669 -7.75
3670 -7.75
3671 -7.75
3672 -7.75
3673 -5.5
3674 -10
3675 -7.75
3676 -8.5
3677 -8.5
3678 -10.75
3679 -10.75
3680 -7
3681 -7
3682 -4.75
3683 -4.75
3684 -7.75
3685 -10
3686 -5.5
3687 -7.75
3688 -7.75
3689 -7.75
3690 -7.75
3691 -7.75
3692 -8.5
3693 -10.75
3694 -8.5
3695 -10.75
3696 -10
3697 -7.75
3698 -7.75
3699 -5.5
3700 -10.75
3701 -10.75
3702 -8.5
3703 -8.5
3704 -10.75
3705 -8.5
3706 -10.75
3707 -8.5
3708 -11.5
3709 -11.5
3710 -11.5
3711 -11.5
3712 -4
3713 -4
3714 -4
3715 -4
3716 -4.75
3717 -7
3718 -4.75
3719 -7
3720 -4.75
3721 -4.75
3722 -7
3723 -7
3724 -5.5
3725 -7.75
3726 -7.75
3727 -10
3728 -7
3729 -4.75
3730 -7
3731 -4.75
3732 -7.75
3733 -7.75
3734 -7.75
3735 -7.75
3736 -7.75
3737 -5.5
3738 -10
3739 -7.75
3740 -8.5
3741 -8.5
3742 -10.75
3743 -10.75
3744 -7
3745 -7
3746 -4.75
3747 -4.75
3748 -7.75
3749 -10
3750 -5.5
3751 -7.75
3752 -7.75
3753 -7.75
3754 -7.75
3755 -7.75
3756 -8.5
3757 -10.75
3758 -8.5
3759 -10.75
3760 -10
3761 -7.75
3762 -7.75
3763 -5.5
3764 -10.75
3765 -10.75
3766 -8.5
3767 -8.5
3768 -10.75
3769 -8.5
3770 -10.75
3771 -8.5
3772 -11.5
3773 -11.5
3774 -11.5
3775 -11.5
3776 -5
3777 -5
3778 -5
3779 -5
3780 -5.75
3781 -8
3782 -5.75
3783 -8
3784 -5.75
3785 -5.75
3786 -8
3787 -8
3788 -6.5
3789 -8.75
3790 -8.75
3791 -11
3792 -8
3793 -5.75
3794 -8
3795 -5.75
3796 -8.75
3797 -8.75
3798 -8.75
3799 -8.75
3800 -8.75
3801 -6.5
3802 -11
3803 -8.75
3804 -9.5
3805 -9.5
3806 -11.75
3807 -11.75
3808 -8
3809 -8
3810 -5.75
3811 -5.75
3812 -8.75
3813 -11
3814 -6.5
3815 -8.75
3816 -8.75
3817 -8.75
3818 -8.75
3819 -8.75
3820 -9.5
3821 -11.75
3822 -9.5
3823 -11.75
3824 -11
3825 -8.75
3826 -8.75
3827 -6.5
3828 -11.75
3829 -11.75
3830 -9.5
3831 -9.5
3832 -11.75
3833 -9.5
3834 -11.75
3835 -9.5
3836 -12.5
3837 -12.5
3838 -12.5
3839 -12.5
3840 -4
3841 -4
3842 -4
3843 -4
3844 -4.75
3845 -7
3846 -4.75
3847 -7
3848 -4.75
3849 -4.75
3850 -7
3851 -7
3852 -5.5
3853 -7.75
3854 -7.75
3855 -10
3856 -7
3857 -4.75
3858 -7
3859 -4.75
3860 -7.75
3861 -7.75
3862 -7.75
3863 -7.75
3864 -7.75
3865 -5.5
3866 -10
3867 -7.75
3868 -8.5
3869 -8.5
3870 -10.75
3871 -10.75
3872 -7
3873 -7
3874 -4.75
3875 -4.75
3876 -7.75
3877 -10
3878 -5.5
3879 -7.75
3880 -7.75
3881 -7.75
3882 -7.75
3883 -7.75
3884 -8.5
3885 -10.75
3886 -8.5
3887 -10.75
3888 -10
3889 -7.75
3890 -7.75
3891 -5.5
3892 -10.75
3893 -10.75
3894 -8.5
3895 -8.5
3896 -10.75
3897 -8.5
3898 -10.75
3899 -8.5
3900 -11.5
3901 -11.5
3902 -11.5
3903 -11.5
3904 -5
3905 -5
3906 -5
3907 -5
3908 -5.75
3909 -8
3910 -5.75
3911 -8
3912 -5.75
3913 -5.75
3914 -8
3915 -8
3916 -6.5
3917 -8.75
3918 -8.75
3919 -11
3920 -8
3921 -5.75
3922 -8
3923 -5.75
3924 -8.75
3925 -8.75
3926 -8.75
3927 -8.75
3928 -8.75
3929 -6.5
3930 -11
3931 -8.75
3932 -9.5
3933 -9.5
3934 -11.75
3935 -11.75
3936 -8
3937 -8
3938 -5.75
3939 -5.75
3940 -8.75
3941 -11
3942 -6.5
3943 -8.75
3944 -8.75
3945 -8.75
3946 -8.75
3947 -8.75
3948 -9.5
3949 -11.75
3950 -9.5
3951 -11.75
3952 -11
3953 -8.75
3954 -8.75
3955 -6.5
3956 -11.75
3957 -11.75
3958 -9.5
3959 -9.5
3960 -11.75
3961 -9.5
3962 -11.75
3963 -9.5
3964 -12.5
3965 -12.5
3966 -12.5
3967 -12.5
3968 -5
3969 -5
3970 -5
3971 -5
3972 -5.75
3973 -8
3974 -5.75
3975 -8
3976 -5.75
3977 -5.75
3978 -8
3979 -8
3980 -6.5
3981 -8.75
3982 -8.75
3983 -11
3984 -8
3985 -5.75
3986 -8
3987 -5.75
3988 -8.75
3989 -8.75
3990 -8.75
3991 -8.75
3992 -8.75
3993 -6.5
3994 -11
3995 -8.75
3996 -9.5
3997 -9.5
3998 -11.75
3999 -11.75
4000 -8
4001 -8
4002 -5.75
4003 -5.75
4004 -8.75
4005 -11
4006 -6.5
4007 -8.75
4008 -8.75
4009 -8.75
4010 -8.75
4011 -8.75
4012 -9.5
4013 -11.75
4014 -9.5
4015 -11.75
4016 -11
4017 -8.75
4018 -8.75
4019 -6.5
4020 -11.75
4021 -11.75
4022 -9.5
4023 -9.5
4024 -11.75
4025 -9.5
4026 -11.75
4027 -9.5
4028 -12.5
4029 -12.5
4030 -12.5
4031 -12.5
4032 -6
4033 -6
4034 -6
4035 -6
4036 -6.75
4037 -9
4038 -6.75
4039 -9
4040 -6.75
4041 -6.75
4042 -9
4043 -9
4044 -7.5
4045 -9.75
4046 -9.75
4047 -12
4048 -9
4049 -6.75
4050 -9
4051 -6.75
4052 -9.75
4053 -9.75
4054 -9.75
4055 -9.75
4056 -9.75
4057 -7.5
4058 -12
4059 -9.75
4060 -10.5
4061 -10.5
4062 -12.75
4063 -12.75
4064 -9
4065 -9
4066 -6.75
4067 -6.75
4068 -9.75
4069 -12
4070 -7.5
4071 -9.75
4072 -9.75
4073 -9.75
4074 -9.75
4075 -9.75
4076 -10.5
4077 -12.75
4078 -10.5
4079 -12.75
4080 -12
4081 -9.75
4082 -9.75
4083 -7.5
4084 -12.75
4085 -12.75
4086 -10.5
4087 -10.5
4088 -12.75
4089 -10.5
4090 -12.75
4091 -10.5
4092 -13.5
4093 -13.5
4094 -13.5
4095 -13.5
## kleene caching type
MAP
## action hash keys
0 0
1 0
2 0
3 0
4 0
5 0
6 0
7 0
8 0
9 0
10 0
11 0
12 0
13 0
14 0
15 0
16 0
17 0
18 0
19 0
20 0
21 0
22 0
23 0
24 0


#####PRECONDITIONS#####


#####ACTION STATES#####
## index
0
## state
0 0 0 0 0 0 0 0 
## relevant preconditions
0


## index
1
## state
0 0 0 0 0 0 0 1 
## relevant preconditions
0


## index
2
## state
0 0 0 0 0 0 1 0 
## relevant preconditions
0


## index
3
## state
0 0 0 0 0 1 0 0 
## relevant preconditions
0


## index
4
## state
0 0 0 0 1 0 0 0 
## relevant preconditions
0


## index
5
## state
0 0 0 1 0 0 0 0 
## relevant preconditions
0


## index
6
## state
0 0 1 0 0 0 0 0 
## relevant preconditions
0


## index
7
## state
0 1 0 0 0 0 0 0 
## relevant preconditions
0


## index
8
## state
1 0 0 0 0 0 0 0 
## relevant preconditions
0


## index
9
## state
0 0 0 0 0 0 1 1 
## relevant preconditions
0


## index
10
## state
0 0 0 0 0 1 1 0 
## relevant preconditions
0


## index
11
## state
0 0 0 0 1 0 0 1 
## relevant preconditions
0


## index
12
## state
0 0 0 0 1 1 0 0 
## relevant preconditions
0


## index
13
## state
0 0 0 1 0 0 1 0 
## relevant preconditions
0


## index
14
## state
0 0 0 1 1 0 0 0 
## relevant preconditions
0


## index
15
## state
0 0 1 0 0 0 0 1 
## relevant preconditions
0


## index
16
## state
0 0 1 0 0 1 0 0 
## relevant preconditions
0


## index
17
## state
0 0 1 1 0 0 0 0 
## relevant preconditions
0


## index
18
## state
0 1 0 0 0 0 1 0 
## relevant preconditions
0


## index
19
## state
0 1 0 0 1 0 0 0 
## relevant preconditions
0


## index
20
## state
0 1 1 0 0 0 0 0 
## relevant preconditions
0


## index
21
## state
1 0 0 0 0 0 0 1 
## relevant preconditions
0


## index
22
## state
1 0 0 0 0 1 0 0 
## relevant preconditions
0


## index
23
## state
1 0 0 1 0 0 0 0 
## relevant preconditions
0


## index
24
## state
1 1 0 0 0 0 0 0 
## relevant preconditions
0



#####HASH KEYS OF DETERMINISTIC STATE FLUENTS#####
## index
0
## state hash key (for each value in the domain)
0 1
## kleene state hash key base
1
## state fluent hash keys (first line is the number of keys)
3
0 2
1 2
14 1
## kleene state fluent hash keys (first line is the number of keys)
3
0 2
1 2
14 1

## index
1
## state hash key (for each value in the domain)
0 2
## kleene state hash key base
3
## state fluent hash keys (first line is the number of keys)
7
0 4
1 4
2 2
14 2
16 1
18 1
21 1
## kleene state fluent hash keys (first line is the number of keys)
7
0 6
1 6
2 2
14 3
16 1
18 1
21 1

## index
2
## state hash key (for each value in the domain)
0 4
## kleene state hash key base
9
## state fluent hash keys (first line is the number of keys)
7
1 8
2 4
3 2
14 4
16 2
19 1
22 1
## kleene state fluent hash keys (first line is the number of keys)
7
1 18
2 6
3 2
14 9
16 3
19 1
22 1

## index
3
## state hash key (for each value in the domain)
0 8
## kleene state hash key base
27
## state fluent hash keys (first line is the number of keys)
7
2 8
3 4
4 2
14 8
16 4
20 1
23 1
## kleene state fluent hash keys (first line is the number of keys)
7
2 18
3 6
4 2
14 27
16 9
20 1
23 1

## index
4
## state hash key (for each value in the domain)
0 16
## kleene state hash key base
81
## state fluent hash keys (first line is the number of keys)
3
3 8
4 4
16 8
## kleene state fluent hash keys (first line is the number of keys)
3
3 18
4 6
16 27

## index
5
## state hash key (for each value in the domain)
0 32
## kleene state hash key base
243
## state fluent hash keys (first line is the number of keys)
3
5 2
6 2
15 1
## kleene state fluent hash keys (first line is the number of keys)
3
5 2
6 2
15 1

## index
6
## state hash key (for each value in the domain)
0 64
## kleene state hash key base
729
## state fluent hash keys (first line is the number of keys)
7
5 4
6 4
7 2
15 2
17 1
18 2
21 2
## kleene state fluent hash keys (first line is the number of keys)
7
5 6
6 6
7 2
15 3
17 1
18 3
21 3

## index
7
## state hash key (for each value in the domain)
0 128
## kleene state hash key base
2187
## state fluent hash keys (first line is the number of keys)
7
6 8
7 4
8 2
15 4
17 2
19 2
22 2
## kleene state fluent hash keys (first line is the number of keys)
7
6 18
7 6
8 2
15 9
17 3
19 3
22 3

## index
8
## state hash key (for each value in the domain)
0 256
## kleene state hash key base
6561
## state fluent hash keys (first line is the number of keys)
7
7 8
8 4
9 2
15 8
17 4
20 2
23 2
## kleene state fluent hash keys (first line is the number of keys)
7
7 18
8 6
9 2
15 27
17 9
20 3
23 3

## index
9
## state hash key (for each value in the domain)
0 512
## kleene state hash key base
19683
## state fluent hash keys (first line is the number of keys)
3
8 8
9 4
17 8
## kleene state fluent hash keys (first line is the number of keys)
3
8 18
9 6
17 27

## index
10
## state hash key (for each value in the domain)
0 1024
## kleene state hash key base
59049
## state fluent hash keys (first line is the number of keys)
14
0 8
1 16
2 16
3 16
4 8
10 4
14 16
16 16
18 4
19 4
20 4
21 4
22 4
23 4
## kleene state fluent hash keys (first line is the number of keys)
14
0 18
1 54
2 54
3 54
4 18
10 4
14 81
16 81
18 9
19 9
20 9
21 9
22 9
23 9

## index
11
## state hash key (for each value in the domain)
0 2048
## kleene state hash key base
177147
## state fluent hash keys (first line is the number of keys)
14
5 8
6 16
7 16
8 16
9 8
11 4
15 16
17 16
18 8
19 8
20 8
21 8
22 8
23 8
## kleene state fluent hash keys (first line is the number of keys)
14
5 18
6 54
7 54
8 54
9 18
11 4
15 81
17 81
18 27
19 27
20 27
21 27
22 27
23 27

## index
12
## state hash key (for each value in the domain)
0 4096
## kleene state hash key base
531441
## state fluent hash keys (first line is the number of keys)
15
0 16
1 32
2 32
3 32
4 16
12 3
14 32
16 32
18 16
19 16
20 16
21 16
22 16
23 16
24 1
## kleene state fluent hash keys (first line is the number of keys)
15
0 54
1 162
2 162
3 162
4 54
12 3
14 243
16 243
18 81
19 81
20 81
21 81
22 81
23 81
24 1

## index
13
## state hash key (for each value in the domain)
0 8192
## kleene state hash key base
1594323
## state fluent hash keys (first line is the number of keys)
15
5 16
6 32
7 32
8 32
9 16
13 3
15 32
17 32
18 32
19 32
20 32
21 32
22 32
23 32
24 2
## kleene state fluent hash keys (first line is the number of keys)
15
5 54
6 162
7 162
8 162
9 54
13 3
15 243
17 243
18 243
19 243
20 243
21 243
22 243
23 243
24 3

## index
14
## state hash key (for each value in the domain)
0 16384
## kleene state hash key base
4782969
## state fluent hash keys (first line is the number of keys)
2
14 64
24 4
## kleene state fluent hash keys (first line is the number of keys)
2
14 729
24 9

## index
15
## state hash key (for each value in the domain)
0 32768
## kleene state hash key base
14348907
## state fluent hash keys (first line is the number of keys)
2
15 64
24 8
## kleene state fluent hash keys (first line is the number of keys)
2
15 729
24 27

## index
16
## state hash key (for each value in the domain)
0 65536
## kleene state hash key base
43046721
## state fluent hash keys (first line is the number of keys)
2
16 64
24 16
## kleene state fluent hash keys (first line is the number of keys)
2
16 729
24 81

## index
17
## state hash key (for each value in the domain)
0 131072
## kleene state hash key base
129140163
## state fluent hash keys (first line is the number of keys)
2
17 64
24 32
## kleene state fluent hash keys (first line is the number of keys)
2
17 729
24 243


#####HASH KEYS OF PROBABILISTIC STATE FLUENTS#####
## index
0
## state hash key (for each value in the domain)
0 262144
## kleene state hash key base
387420489
## state fluent hash keys (first line is the number of keys)
4
14 128
15 128
18 64
24 64
## kleene state fluent hash keys (first line is the number of keys)
4
14 2187
15 2187
18 729
24 729

## index
1
## state hash key (for each value in the domain)
0 524288
## kleene state hash key base
1162261467
## state fluent hash keys (first line is the number of keys)
4
14 256
15 256
19 64
24 128
## kleene state fluent hash keys (first line is the number of keys)
4
14 6561
15 6561
19 729
24 2187

## index
2
## state hash key (for each value in the domain)
0 1048576
## kleene state hash key base
3486784401
## state fluent hash keys (first line is the number of keys)
4
14 512
15 512
20 64
24 256
## kleene state fluent hash keys (first line is the number of keys)
4
14 19683
15 19683
20 729
24 6561

## index
3
## state hash key (for each value in the domain)
0 2097152
## kleene state hash key base
10460353203
## state fluent hash keys (first line is the number of keys)
4
16 128
17 128
21 64
24 512
## kleene state fluent hash keys (first line is the number of keys)
4
16 2187
17 2187
21 729
24 19683

## index
4
## state hash key (for each value in the domain)
0 4194304
## kleene state hash key base
31381059609
## state fluent hash keys (first line is the number of keys)
4
16 256
17 256
22 64
24 1024
## kleene state fluent hash keys (first line is the number of keys)
4
16 6561
17 6561
22 729
24 59049

## index
5
## state hash key (for each value in the domain)
0 8388608
## kleene state hash key base
94143178827
## state fluent hash keys (first line is the number of keys)
4
16 512
17 512
23 64
24 2048
## kleene state fluent hash keys (first line is the number of keys)
4
16 19683
17 19683
23 729
24 177147



#####TRAINING SET#####
200
1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 
0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 
1 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 
0 1 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 
1 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 
0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 
1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 
0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 1 1 1 1 0 0 0 0 0 
1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 
0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 
1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 
1 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 
1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 
0 1 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 
1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 1 1 0 0 0 0 
1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 
1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 
0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 
1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 
0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 
0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 
0 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 0 0 
0 1 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 0 1 0 0 0 
0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 
0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 1 0 1 0 0 0 
0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 
1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 0 
0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 1 0 0 1 1 0 0 0 
1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 1 1 0 0 0 
1 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 
0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 1 1 0 0 0 0 1 0 0 
1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 
1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 
0 0 0 1 0 0 0 1 0 0 1 0 1 1 1 1 0 1 1 0 0 1 0 0 
0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 
0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 
0 0 0 1 0 0 0 1 0 0 1 0 1 1 1 1 1 1 1 0 0 1 0 0 
1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 
1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 
1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 
0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 
0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 
0 0 0 0 1 0 0 1 0 0 0 0 1 1 1 0 0 0 1 0 1 1 0 0 
0 0 0 1 0 0 0 1 0 0 0 1 1 1 1 0 1 0 1 0 1 1 0 0 
0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 1 1 1 0 1 1 0 0 
0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 1 1 1 1 1 0 0 
1 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 
1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 
0 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 1 1 0 1 0 0 1 0 
0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 1 0 0 1 0 
1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 
1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 1 0 0 0 0 1 0 1 0 
0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 
0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 
1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 0 
0 1 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 1 0 1 1 0 1 0 
1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 
1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 
1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 1 1 1 0 1 0 
0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 1 1 0 
1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 0 
0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 1 1 1 1 0 0 1 1 0 
0 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 
0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 1 0 
1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 
1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 0 1 1 1 0 1 1 0 
0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 1 1 1 0 1 1 0 
0 0 0 1 0 0 1 0 0 0 1 1 1 0 1 1 1 1 1 1 0 1 1 0 
1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 1 0 
0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 0 1 1 1 0 
0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 1 1 0 1 1 1 0 
0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 
1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 1 0 
1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 1 0 
1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 
1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 0 
1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 1 1 1 0 
0 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 1 1 0 
0 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 1 0 1 1 1 1 1 0 
0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 1 1 1 1 1 0 
1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 1 1 1 1 1 0 
1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 
0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 
0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 1 
1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 
0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 
0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 0 0 1 
1 0 0 0 0 0 0 1 0 0 1 1 1 1 0 1 0 0 0 0 1 0 0 1 
0 1 0 0 0 0 0 1 0 0 1 0 1 1 1 1 1 0 0 0 1 0 0 1 
1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 
0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 1 
0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 1 1 1 0 0 1 0 0 1 
0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 1 1 1 0 0 1 0 0 1 
0 0 0 1 0 0 1 0 0 0 1 0 1 1 1 1 1 1 0 0 1 0 0 1 
0 1 0 0 0 0 0 1 0 0 1 0 1 1 1 1 1 1 0 0 1 0 0 1 
1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 1 
1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 
1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 
1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 
0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 
1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 
0 0 0 1 0 1 0 0 0 0 1 1 1 0 1 0 1 0 0 1 1 0 0 1 
0 1 0 0 0 0 1 0 0 0 1 1 0 0 1 1 1 0 0 1 1 0 0 1 
1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 1 1 0 0 1 
0 1 0 0 0 0 1 0 0 0 1 1 0 1 0 1 1 1 0 1 1 0 0 1 
0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 1 
0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 1 
1 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 1 0 0 1 
0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 1 0 0 1 
1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 
1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 
0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 1 
1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 
0 0 1 0 0 1 0 0 0 0 1 1 0 1 1 0 1 0 1 1 0 1 0 1 
1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 1 0 1 
0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 1 
0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 1 0 1 
0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 0 1 
0 0 1 0 0 0 0 0 0 1 0 1 1 1 1 0 1 0 1 0 1 1 0 1 
0 1 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 1 0 1 
0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 1 
0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 1 0 1 
0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 1 
1 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 1 0 1 1 1 0 1 
1 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 1 0 1 1 1 0 1 
0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 1 1 1 0 1 1 1 0 1 
1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 1 
1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 
0 1 0 0 0 1 0 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 1 1 
0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 
0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 1 0 1 0 0 1 1 
1 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 0 1 0 0 1 1 
0 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 1 
0 1 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 1 1 0 0 1 1 
0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 1 1 1 0 0 1 1 
0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 
0 1 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 1 
1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 1 
0 1 0 0 0 1 0 0 0 0 1 0 1 1 1 0 1 0 0 0 1 0 1 1 
0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 1 
0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 1 
0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 1 0 0 1 0 1 1 
1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 1 0 0 1 0 1 1 
0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 1 
0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 1 0 1 1 
1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 1 0 1 1 
1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 1 1 
1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 1 
0 1 0 0 0 1 0 0 0 0 1 0 1 1 1 0 1 0 1 0 1 0 1 1 
0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 1 1 0 1 0 1 1 
0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 1 0 1 1 
1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 1 0 1 0 1 1 
0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 1 
0 1 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 1 0 1 1 
0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 1 1 
0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 1 1 
0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 1 
0 1 0 0 0 0 1 0 0 0 1 0 1 1 1 1 0 0 0 1 1 0 1 1 
0 0 1 0 0 0 1 0 0 0 1 1 1 1 1 1 0 0 0 1 1 0 1 1 
0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 1 1 
0 1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 1 0 0 1 1 0 1 1 
0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 1 1 
0 1 0 0 0 0 1 0 0 0 0 1 1 1 1 0 1 0 0 1 1 0 1 1 
0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 1 1 
1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 1 1 0 1 1 
0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 1 1 0 1 1 
1 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 1 0 1 1 0 1 1 
1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 1 0 1 1 0 1 1 
1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 1 
1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 1 1 0 1 1 
1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 1 1 0 1 1 
1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 1 0 1 1 
0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 1 1 
1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 1 1 
0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 0 1 1 
0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 0 1 1 1 1 1 0 1 1 
1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 
1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 1 
1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 1 1 1 
0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 1 1 0 1 1 1 
0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 1 1 0 1 1 1 
1 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 1 1 
1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 1 1 
1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 1 
1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 1 
1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 1 
1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 1 1 1 
0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 
1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 1 
1 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 1 1 1 1 
1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 1 1 1 1 
1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 1 1 1 
1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 0 0 1 1 1 1 1 
1 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 1 0 1 1 1 1 1 
1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 1 0 1 0 1 1 1 1 1 
0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 1 1 1 1 1 
1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 1 
0 0 0 0 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 1 
1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 1 1 1 1 1 
0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 1 1 1 1 1 
