#####TASK#####
## name
crossing_traffic_inst_mdp__2
## horizon
40
## discount factor
1
## number of action fluents
4
## number of det state fluents
11
## number of prob state fluents
1
## number of preconds
0
## number of actions
5
## number of hashing functions
13
## initial state
0 1 0 0 0 0 0 0 1 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
1
## 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
34986
## number of unique states that were encountered during task analysis
80
## number of states with only one applicable reasonable action that were encountered during task analysis
30707
## number of unique states with only one applicable reasonable action that were encountered during task analysis
28


#####ACTION FLUENTS#####
## index
0
## name
move-east
## number of values
2
## values
0 false
1 true

## index
1
## name
move-north
## number of values
2
## values
0 false
1 true

## index
2
## name
move-south
## number of values
2
## values
0 false
1 true

## index
3
## name
move-west
## number of values
2
## values
0 false
1 true



#####DET STATE FLUENTS AND CPFS#####
## index
0
## name
obstacle-at(x1, y2)
## number of values
2
## values
0 false
1 true
## formula
$s(1)
## hash index
0
## caching type 
VECTOR
## precomputed results
2
0 0
1 1
## kleene caching type
VECTOR
## kleene caching vec size
3
## action hash keys
0 0
1 0
2 0
3 0
4 0

## index
1
## name
obstacle-at(x2, y2)
## number of values
2
## values
0 false
1 true
## formula
$s(11)
## hash index
1
## caching type 
VECTOR
## precomputed results
2
0 0
1 1
## kleene caching type
VECTOR
## kleene caching vec size
3
## action hash keys
0 0
1 0
2 0
3 0
4 0

## index
2
## name
robot-at(x1, y1)
## number of values
2
## values
0 false
1 true
## formula
switch( ($s(10) : $c(0)) (and($a(1) $s(2)) : $c(0)) (and($a(2) $s(3) ~($s(0))) : $c(1)) (and($a(0) $s(2)) : $c(0)) (and($a(3) $s(5)) : $c(1)) ($c(1) : $s(2)) )
## hash index
2
## caching type 
VECTOR
## precomputed results
160
0 0
1 0
2 0
3 0
4 0
5 0
6 0
7 0
8 0
9 0
10 1
11 1
12 1
13 0
14 0
15 1
16 1
17 1
18 0
19 0
20 0
21 0
22 1
23 0
24 0
25 0
26 0
27 0
28 0
29 0
30 1
31 1
32 1
33 0
34 0
35 1
36 1
37 1
38 0
39 0
40 0
41 1
42 0
43 0
44 0
45 0
46 1
47 0
48 0
49 0
50 1
51 1
52 1
53 0
54 0
55 1
56 1
57 1
58 0
59 0
60 0
61 1
62 1
63 0
64 0
65 0
66 1
67 0
68 0
69 0
70 1
71 1
72 1
73 0
74 0
75 1
76 1
77 1
78 0
79 0
80 0
81 0
82 0
83 0
84 0
85 0
86 0
87 0
88 0
89 0
90 0
91 0
92 0
93 0
94 0
95 0
96 0
97 0
98 0
99 0
100 0
101 0
102 0
103 0
104 0
105 0
106 0
107 0
108 0
109 0
110 0
111 0
112 0
113 0
114 0
115 0
116 0
117 0
118 0
119 0
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
## kleene caching type
VECTOR
## kleene caching vec size
1215
## action hash keys
0 0
1 1
2 2
3 3
4 4

## index
3
## name
robot-at(x1, y2)
## number of values
2
## values
0 false
1 true
## formula
switch( ($s(10) : $c(0)) (and($a(1) $s(2)) : $c(1)) (and($a(1) $s(3)) : $c(0)) (and($a(2) $s(4)) : $c(1)) (and($a(2) $s(3)) : $c(0)) (and($a(0) $s(3)) : $c(0)) (and($a(3) $s(6) ~($s(1))) : $c(1)) ($c(1) : and($s(3) ~($s(0)))) )
## hash index
3
## caching type 
VECTOR
## precomputed results
640
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 1
24 0
25 0
26 0
27 0
28 1
29 0
30 0
31 0
32 0
33 1
34 0
35 0
36 0
37 0
38 1
39 0
40 1
41 1
42 0
43 0
44 0
45 0
46 0
47 0
48 0
49 0
50 1
51 1
52 0
53 0
54 0
55 0
56 0
57 0
58 0
59 0
60 1
61 1
62 0
63 1
64 0
65 0
66 0
67 0
68 1
69 0
70 1
71 1
72 0
73 1
74 0
75 0
76 0
77 0
78 1
79 0
80 0
81 0
82 1
83 0
84 0
85 0
86 0
87 1
88 0
89 0
90 0
91 0
92 1
93 0
94 0
95 0
96 0
97 1
98 0
99 0
100 0
101 0
102 1
103 1
104 0
105 0
106 0
107 1
108 1
109 0
110 0
111 0
112 1
113 1
114 0
115 0
116 0
117 1
118 1
119 0
120 1
121 1
122 1
123 0
124 0
125 0
126 0
127 1
128 0
129 0
130 1
131 1
132 1
133 0
134 0
135 0
136 0
137 1
138 0
139 0
140 1
141 1
142 1
143 1
144 0
145 0
146 0
147 1
148 1
149 0
150 1
151 1
152 1
153 1
154 0
155 0
156 0
157 1
158 1
159 0
160 0
161 1
162 0
163 0
164 0
165 0
166 1
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 1
182 0
183 1
184 0
185 0
186 1
187 0
188 1
189 0
190 0
191 0
192 0
193 1
194 0
195 0
196 0
197 0
198 1
199 0
200 1
201 1
202 0
203 0
204 0
205 0
206 1
207 0
208 0
209 0
210 1
211 1
212 0
213 0
214 0
215 0
216 0
217 0
218 0
219 0
220 1
221 1
222 0
223 1
224 0
225 0
226 1
227 0
228 1
229 0
230 1
231 1
232 0
233 1
234 0
235 0
236 0
237 0
238 1
239 0
240 0
241 1
242 1
243 0
244 0
245 0
246 1
247 1
248 0
249 0
250 0
251 0
252 1
253 0
254 0
255 0
256 0
257 1
258 0
259 0
260 0
261 1
262 1
263 1
264 0
265 0
266 1
267 1
268 1
269 0
270 0
271 0
272 1
273 1
274 0
275 0
276 0
277 1
278 1
279 0
280 1
281 1
282 1
283 0
284 0
285 0
286 1
287 1
288 0
289 0
290 1
291 1
292 1
293 0
294 0
295 0
296 0
297 1
298 0
299 0
300 1
301 1
302 1
303 1
304 0
305 0
306 1
307 1
308 1
309 0
310 1
311 1
312 1
313 1
314 0
315 0
316 0
317 1
318 1
319 0
320 0
321 0
322 0
323 0
324 0
325 0
326 0
327 0
328 0
329 0
330 0
331 0
332 0
333 0
334 0
335 0
336 0
337 0
338 0
339 0
340 0
341 0
342 0
343 0
344 0
345 0
346 0
347 0
348 0
349 0
350 0
351 0
352 0
353 0
354 0
355 0
356 0
357 0
358 0
359 0
360 0
361 0
362 0
363 0
364 0
365 0
366 0
367 0
368 0
369 0
370 0
371 0
372 0
373 0
374 0
375 0
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 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 0
449 0
450 0
451 0
452 0
453 0
454 0
455 0
456 0
457 0
458 0
459 0
460 0
461 0
462 0
463 0
464 0
465 0
466 0
467 0
468 0
469 0
470 0
471 0
472 0
473 0
474 0
475 0
476 0
477 0
478 0
479 0
480 0
481 0
482 0
483 0
484 0
485 0
486 0
487 0
488 0
489 0
490 0
491 0
492 0
493 0
494 0
495 0
496 0
497 0
498 0
499 0
500 0
501 0
502 0
503 0
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 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 0
577 0
578 0
579 0
580 0
581 0
582 0
583 0
584 0
585 0
586 0
587 0
588 0
589 0
590 0
591 0
592 0
593 0
594 0
595 0
596 0
597 0
598 0
599 0
600 0
601 0
602 0
603 0
604 0
605 0
606 0
607 0
608 0
609 0
610 0
611 0
612 0
613 0
614 0
615 0
616 0
617 0
618 0
619 0
620 0
621 0
622 0
623 0
624 0
625 0
626 0
627 0
628 0
629 0
630 0
631 0
632 0
633 0
634 0
635 0
636 0
637 0
638 0
639 0
## kleene caching type
VECTOR
## kleene caching vec size
10935
## action hash keys
0 0
1 1
2 2
3 3
4 4

## index
4
## name
robot-at(x1, y3)
## number of values
2
## values
0 false
1 true
## formula
switch( ($s(10) : $c(0)) (and($a(1) $s(3) ~($s(0))) : $c(1)) (and($a(2) $s(4)) : $c(0)) (and($a(0) $s(4)) : $c(0)) (and($a(3) $s(7)) : $c(1)) ($c(1) : $s(4)) )
## hash index
4
## caching type 
VECTOR
## precomputed results
160
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 1
14 0
15 0
16 0
17 0
18 0
19 0
20 1
21 1
22 0
23 1
24 0
25 1
26 1
27 0
28 1
29 0
30 1
31 1
32 0
33 1
34 0
35 1
36 1
37 0
38 1
39 0
40 0
41 1
42 0
43 0
44 0
45 0
46 1
47 0
48 0
49 0
50 0
51 1
52 0
53 1
54 0
55 0
56 1
57 0
58 0
59 0
60 1
61 1
62 0
63 1
64 0
65 1
66 1
67 0
68 1
69 0
70 1
71 1
72 0
73 1
74 0
75 1
76 1
77 0
78 1
79 0
80 0
81 0
82 0
83 0
84 0
85 0
86 0
87 0
88 0
89 0
90 0
91 0
92 0
93 0
94 0
95 0
96 0
97 0
98 0
99 0
100 0
101 0
102 0
103 0
104 0
105 0
106 0
107 0
108 0
109 0
110 0
111 0
112 0
113 0
114 0
115 0
116 0
117 0
118 0
119 0
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
## kleene caching type
VECTOR
## kleene caching vec size
1215
## action hash keys
0 0
1 1
2 2
3 3
4 4

## index
5
## name
robot-at(x2, y1)
## number of values
2
## values
0 false
1 true
## formula
switch( ($s(10) : $c(0)) (and($a(1) $s(5)) : $c(0)) (and($a(2) $s(6) ~($s(1))) : $c(1)) (and($a(0) $s(2)) : $c(1)) (and($a(0) $s(5)) : $c(0)) (and($a(3) $s(8)) : $c(1)) (and($a(3) $s(5)) : $c(0)) ($c(1) : $s(5)) )
## hash index
5
## caching type 
VECTOR
## precomputed results
320
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 1
15 0
16 0
17 0
18 0
19 1
20 1
21 0
22 1
23 0
24 0
25 1
26 0
27 1
28 0
29 0
30 1
31 0
32 1
33 0
34 1
35 1
36 0
37 1
38 0
39 1
40 0
41 0
42 1
43 0
44 0
45 0
46 0
47 0
48 0
49 0
50 0
51 0
52 1
53 0
54 1
55 0
56 0
57 0
58 0
59 1
60 1
61 0
62 1
63 0
64 0
65 1
66 0
67 1
68 0
69 0
70 1
71 0
72 1
73 0
74 1
75 1
76 0
77 1
78 0
79 1
80 0
81 1
82 0
83 0
84 0
85 0
86 1
87 0
88 0
89 0
90 0
91 1
92 0
93 0
94 1
95 0
96 1
97 0
98 0
99 1
100 1
101 1
102 1
103 0
104 0
105 1
106 1
107 1
108 0
109 0
110 1
111 1
112 1
113 0
114 1
115 1
116 1
117 1
118 0
119 1
120 0
121 1
122 1
123 0
124 0
125 0
126 1
127 0
128 0
129 0
130 0
131 1
132 1
133 0
134 1
135 0
136 1
137 0
138 0
139 1
140 1
141 1
142 1
143 0
144 0
145 1
146 1
147 1
148 0
149 0
150 1
151 1
152 1
153 0
154 1
155 1
156 1
157 1
158 0
159 1
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 0
193 0
194 0
195 0
196 0
197 0
198 0
199 0
200 0
201 0
202 0
203 0
204 0
205 0
206 0
207 0
208 0
209 0
210 0
211 0
212 0
213 0
214 0
215 0
216 0
217 0
218 0
219 0
220 0
221 0
222 0
223 0
224 0
225 0
226 0
227 0
228 0
229 0
230 0
231 0
232 0
233 0
234 0
235 0
236 0
237 0
238 0
239 0
240 0
241 0
242 0
243 0
244 0
245 0
246 0
247 0
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 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
## kleene caching type
VECTOR
## kleene caching vec size
3645
## action hash keys
0 0
1 1
2 2
3 3
4 4

## index
6
## name
robot-at(x2, y2)
## number of values
2
## values
0 false
1 true
## formula
switch( ($s(10) : $c(0)) (and($a(1) $s(5)) : $c(1)) (and($a(1) $s(6)) : $c(0)) (and($a(2) $s(7)) : $c(1)) (and($a(2) $s(6)) : $c(0)) (and($a(0) $s(3) ~($s(0))) : $c(1)) (and($a(0) $s(6)) : $c(0)) (and($a(3) $s(9) ~($s(11))) : $c(1)) (and($a(3) $s(6)) : $c(0)) ($c(1) : and($s(6) ~($s(1)))) )
## hash index
6
## caching type 
VECTOR
## precomputed results
2560
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 1
25 0
26 0
27 0
28 0
29 0
30 0
31 0
32 0
33 0
34 1
35 0
36 0
37 0
38 0
39 0
40 0
41 0
42 0
43 1
44 0
45 0
46 0
47 0
48 1
49 0
50 0
51 0
52 0
53 1
54 0
55 0
56 0
57 0
58 1
59 0
60 0
61 0
62 0
63 1
64 1
65 0
66 0
67 0
68 1
69 0
70 0
71 0
72 0
73 1
74 1
75 0
76 0
77 0
78 1
79 0
80 1
81 0
82 0
83 0
84 0
85 1
86 0
87 0
88 0
89 0
90 0
91 0
92 0
93 0
94 0
95 0
96 0
97 0
98 0
99 0
100 1
101 0
102 0
103 0
104 1
105 1
106 0
107 0
108 0
109 0
110 0
111 0
112 0
113 0
114 1
115 0
116 0
117 0
118 0
119 0
120 1
121 0
122 0
123 1
124 0
125 1
126 0
127 0
128 1
129 0
130 0
131 0
132 0
133 1
134 0
135 0
136 0
137 0
138 1
139 0
140 1
141 0
142 0
143 1
144 1
145 1
146 0
147 0
148 1
149 0
150 0
151 0
152 0
153 1
154 1
155 0
156 0
157 0
158 1
159 0
160 0
161 0
162 1
163 0
164 0
165 0
166 0
167 1
168 0
169 0
170 0
171 0
172 1
173 0
174 0
175 0
176 0
177 1
178 0
179 0
180 0
181 0
182 1
183 0
184 1
185 0
186 0
187 1
188 0
189 0
190 0
191 0
192 1
193 0
194 1
195 0
196 0
197 1
198 0
199 0
200 0
201 0
202 1
203 1
204 0
205 0
206 0
207 1
208 1
209 0
210 0
211 0
212 1
213 1
214 0
215 0
216 0
217 1
218 1
219 0
220 0
221 0
222 1
223 1
224 1
225 0
226 0
227 1
228 1
229 0
230 0
231 0
232 1
233 1
234 1
235 0
236 0
237 1
238 1
239 0
240 1
241 0
242 1
243 0
244 0
245 1
246 0
247 1
248 0
249 0
250 0
251 0
252 1
253 0
254 0
255 0
256 0
257 1
258 0
259 0
260 1
261 0
262 1
263 0
264 1
265 1
266 0
267 1
268 0
269 0
270 0
271 0
272 1
273 0
274 1
275 0
276 0
277 1
278 0
279 0
280 1
281 0
282 1
283 1
284 0
285 1
286 0
287 1
288 1
289 0
290 0
291 0
292 1
293 1
294 0
295 0
296 0
297 1
298 1
299 0
300 1
301 0
302 1
303 1
304 1
305 1
306 0
307 1
308 1
309 0
310 0
311 0
312 1
313 1
314 1
315 0
316 0
317 1
318 1
319 0
320 0
321 1
322 0
323 0
324 0
325 0
326 1
327 0
328 0
329 0
330 0
331 1
332 0
333 0
334 0
335 0
336 1
337 0
338 0
339 0
340 0
341 1
342 0
343 0
344 1
345 0
346 1
347 0
348 0
349 0
350 0
351 1
352 0
353 0
354 1
355 0
356 1
357 0
358 0
359 0
360 0
361 1
362 0
363 1
364 0
365 0
366 1
367 0
368 1
369 0
370 0
371 1
372 0
373 1
374 0
375 0
376 1
377 0
378 1
379 0
380 0
381 1
382 0
383 1
384 1
385 0
386 1
387 0
388 1
389 0
390 0
391 1
392 0
393 1
394 1
395 0
396 1
397 0
398 1
399 0
400 1
401 1
402 0
403 0
404 0
405 1
406 1
407 0
408 0
409 0
410 0
411 1
412 0
413 0
414 0
415 0
416 1
417 0
418 0
419 0
420 1
421 1
422 0
423 0
424 1
425 1
426 1
427 0
428 0
429 0
430 0
431 1
432 0
433 0
434 1
435 0
436 1
437 0
438 0
439 0
440 1
441 1
442 0
443 1
444 0
445 1
446 1
447 0
448 1
449 0
450 0
451 1
452 0
453 1
454 0
455 0
456 1
457 0
458 1
459 0
460 1
461 1
462 0
463 1
464 1
465 1
466 1
467 0
468 1
469 0
470 0
471 1
472 0
473 1
474 1
475 0
476 1
477 0
478 1
479 0
480 0
481 1
482 1
483 0
484 0
485 0
486 1
487 1
488 0
489 0
490 0
491 1
492 1
493 0
494 0
495 0
496 1
497 1
498 0
499 0
500 0
501 1
502 1
503 0
504 1
505 0
506 1
507 1
508 0
509 0
510 0
511 1
512 1
513 0
514 1
515 0
516 1
517 1
518 0
519 0
520 0
521 1
522 1
523 1
524 0
525 0
526 1
527 1
528 1
529 0
530 0
531 1
532 1
533 1
534 0
535 0
536 1
537 1
538 1
539 0
540 0
541 1
542 1
543 1
544 1
545 0
546 1
547 1
548 1
549 0
550 0
551 1
552 1
553 1
554 1
555 0
556 1
557 1
558 1
559 0
560 1
561 1
562 1
563 0
564 0
565 1
566 1
567 1
568 0
569 0
570 0
571 1
572 1
573 0
574 0
575 0
576 1
577 1
578 0
579 0
580 1
581 1
582 1
583 0
584 1
585 1
586 1
587 1
588 0
589 0
590 0
591 1
592 1
593 0
594 1
595 0
596 1
597 1
598 0
599 0
600 1
601 1
602 1
603 1
604 0
605 1
606 1
607 1
608 1
609 0
610 0
611 1
612 1
613 1
614 0
615 0
616 1
617 1
618 1
619 0
620 1
621 1
622 1
623 1
624 1
625 1
626 1
627 1
628 1
629 0
630 0
631 1
632 1
633 1
634 1
635 0
636 1
637 1
638 1
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 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 0
705 0
706 0
707 0
708 0
709 0
710 0
711 0
712 0
713 0
714 0
715 0
716 0
717 0
718 0
719 0
720 0
721 0
722 0
723 0
724 0
725 0
726 0
727 0
728 0
729 0
730 0
731 0
732 0
733 0
734 0
735 0
736 0
737 0
738 0
739 0
740 0
741 0
742 0
743 0
744 0
745 0
746 0
747 0
748 0
749 0
750 0
751 0
752 0
753 0
754 0
755 0
756 0
757 0
758 0
759 0
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 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 0
833 0
834 0
835 0
836 0
837 0
838 0
839 0
840 0
841 0
842 0
843 0
844 0
845 0
846 0
847 0
848 0
849 0
850 0
851 0
852 0
853 0
854 0
855 0
856 0
857 0
858 0
859 0
860 0
861 0
862 0
863 0
864 0
865 0
866 0
867 0
868 0
869 0
870 0
871 0
872 0
873 0
874 0
875 0
876 0
877 0
878 0
879 0
880 0
881 0
882 0
883 0
884 0
885 0
886 0
887 0
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 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 0
961 0
962 0
963 0
964 0
965 0
966 0
967 0
968 0
969 0
970 0
971 0
972 0
973 0
974 0
975 0
976 0
977 0
978 0
979 0
980 0
981 0
982 0
983 0
984 0
985 0
986 0
987 0
988 0
989 0
990 0
991 0
992 0
993 0
994 0
995 0
996 0
997 0
998 0
999 0
1000 0
1001 0
1002 0
1003 0
1004 0
1005 0
1006 0
1007 0
1008 0
1009 0
1010 0
1011 0
1012 0
1013 0
1014 0
1015 0
1016 0
1017 0
1018 0
1019 0
1020 0
1021 0
1022 0
1023 0
1024 0
1025 0
1026 0
1027 0
1028 0
1029 0
1030 0
1031 0
1032 0
1033 0
1034 0
1035 0
1036 0
1037 0
1038 0
1039 0
1040 0
1041 0
1042 0
1043 0
1044 0
1045 0
1046 0
1047 0
1048 0
1049 0
1050 0
1051 0
1052 0
1053 0
1054 0
1055 0
1056 0
1057 0
1058 0
1059 0
1060 0
1061 0
1062 0
1063 0
1064 0
1065 0
1066 0
1067 0
1068 0
1069 0
1070 0
1071 0
1072 0
1073 0
1074 0
1075 0
1076 0
1077 0
1078 0
1079 0
1080 0
1081 0
1082 0
1083 0
1084 0
1085 0
1086 0
1087 0
1088 0
1089 0
1090 0
1091 0
1092 0
1093 0
1094 0
1095 0
1096 0
1097 0
1098 0
1099 0
1100 0
1101 0
1102 0
1103 0
1104 0
1105 0
1106 0
1107 0
1108 0
1109 0
1110 0
1111 0
1112 0
1113 0
1114 0
1115 0
1116 0
1117 0
1118 0
1119 0
1120 0
1121 0
1122 0
1123 0
1124 0
1125 0
1126 0
1127 0
1128 0
1129 0
1130 0
1131 0
1132 0
1133 0
1134 0
1135 0
1136 0
1137 0
1138 0
1139 0
1140 0
1141 0
1142 0
1143 0
1144 0
1145 0
1146 0
1147 0
1148 0
1149 0
1150 0
1151 0
1152 0
1153 0
1154 0
1155 0
1156 0
1157 0
1158 0
1159 0
1160 0
1161 0
1162 0
1163 0
1164 0
1165 0
1166 0
1167 0
1168 0
1169 0
1170 0
1171 0
1172 0
1173 0
1174 0
1175 0
1176 0
1177 0
1178 0
1179 0
1180 0
1181 0
1182 0
1183 0
1184 0
1185 0
1186 0
1187 0
1188 0
1189 0
1190 0
1191 0
1192 0
1193 0
1194 0
1195 0
1196 0
1197 0
1198 0
1199 0
1200 0
1201 0
1202 0
1203 0
1204 0
1205 0
1206 0
1207 0
1208 0
1209 0
1210 0
1211 0
1212 0
1213 0
1214 0
1215 0
1216 0
1217 0
1218 0
1219 0
1220 0
1221 0
1222 0
1223 0
1224 0
1225 0
1226 0
1227 0
1228 0
1229 0
1230 0
1231 0
1232 0
1233 0
1234 0
1235 0
1236 0
1237 0
1238 0
1239 0
1240 0
1241 0
1242 0
1243 0
1244 0
1245 0
1246 0
1247 0
1248 0
1249 0
1250 0
1251 0
1252 0
1253 0
1254 0
1255 0
1256 0
1257 0
1258 0
1259 0
1260 0
1261 0
1262 0
1263 0
1264 0
1265 0
1266 0
1267 0
1268 0
1269 0
1270 0
1271 0
1272 0
1273 0
1274 0
1275 0
1276 0
1277 0
1278 0
1279 0
1280 0
1281 0
1282 0
1283 0
1284 0
1285 0
1286 0
1287 0
1288 0
1289 0
1290 0
1291 0
1292 0
1293 0
1294 0
1295 0
1296 0
1297 0
1298 0
1299 0
1300 0
1301 0
1302 0
1303 0
1304 1
1305 0
1306 0
1307 0
1308 0
1309 0
1310 0
1311 0
1312 0
1313 0
1314 1
1315 0
1316 0
1317 0
1318 0
1319 0
1320 0
1321 0
1322 0
1323 1
1324 0
1325 0
1326 0
1327 0
1328 1
1329 0
1330 0
1331 0
1332 0
1333 1
1334 0
1335 0
1336 0
1337 0
1338 1
1339 0
1340 0
1341 0
1342 0
1343 1
1344 1
1345 0
1346 0
1347 0
1348 1
1349 0
1350 0
1351 0
1352 0
1353 1
1354 1
1355 0
1356 0
1357 0
1358 1
1359 0
1360 1
1361 0
1362 0
1363 0
1364 0
1365 1
1366 0
1367 0
1368 0
1369 0
1370 0
1371 0
1372 0
1373 0
1374 0
1375 0
1376 0
1377 0
1378 0
1379 0
1380 1
1381 0
1382 0
1383 0
1384 1
1385 1
1386 0
1387 0
1388 0
1389 0
1390 0
1391 0
1392 0
1393 0
1394 1
1395 0
1396 0
1397 0
1398 0
1399 0
1400 1
1401 0
1402 0
1403 1
1404 0
1405 1
1406 0
1407 0
1408 1
1409 0
1410 0
1411 0
1412 0
1413 1
1414 0
1415 0
1416 0
1417 0
1418 1
1419 0
1420 1
1421 0
1422 0
1423 1
1424 1
1425 1
1426 0
1427 0
1428 1
1429 0
1430 0
1431 0
1432 0
1433 1
1434 1
1435 0
1436 0
1437 0
1438 1
1439 0
1440 0
1441 0
1442 1
1443 0
1444 0
1445 0
1446 0
1447 1
1448 0
1449 0
1450 0
1451 0
1452 1
1453 0
1454 0
1455 0
1456 0
1457 1
1458 0
1459 0
1460 0
1461 0
1462 1
1463 0
1464 1
1465 0
1466 0
1467 1
1468 0
1469 0
1470 0
1471 0
1472 1
1473 0
1474 1
1475 0
1476 0
1477 1
1478 0
1479 0
1480 0
1481 0
1482 1
1483 1
1484 0
1485 0
1486 0
1487 1
1488 1
1489 0
1490 0
1491 0
1492 1
1493 1
1494 0
1495 0
1496 0
1497 1
1498 1
1499 0
1500 0
1501 0
1502 1
1503 1
1504 1
1505 0
1506 0
1507 1
1508 1
1509 0
1510 0
1511 0
1512 1
1513 1
1514 1
1515 0
1516 0
1517 1
1518 1
1519 0
1520 1
1521 0
1522 1
1523 0
1524 0
1525 1
1526 0
1527 1
1528 0
1529 0
1530 0
1531 0
1532 1
1533 0
1534 0
1535 0
1536 0
1537 1
1538 0
1539 0
1540 1
1541 0
1542 1
1543 0
1544 1
1545 1
1546 0
1547 1
1548 0
1549 0
1550 0
1551 0
1552 1
1553 0
1554 1
1555 0
1556 0
1557 1
1558 0
1559 0
1560 1
1561 0
1562 1
1563 1
1564 0
1565 1
1566 0
1567 1
1568 1
1569 0
1570 0
1571 0
1572 1
1573 1
1574 0
1575 0
1576 0
1577 1
1578 1
1579 0
1580 1
1581 0
1582 1
1583 1
1584 1
1585 1
1586 0
1587 1
1588 1
1589 0
1590 0
1591 0
1592 1
1593 1
1594 1
1595 0
1596 0
1597 1
1598 1
1599 0
1600 0
1601 0
1602 0
1603 0
1604 0
1605 0
1606 0
1607 0
1608 0
1609 0
1610 0
1611 0
1612 0
1613 0
1614 0
1615 0
1616 0
1617 0
1618 0
1619 0
1620 0
1621 0
1622 0
1623 0
1624 1
1625 0
1626 0
1627 0
1628 0
1629 0
1630 0
1631 0
1632 0
1633 0
1634 1
1635 0
1636 0
1637 0
1638 0
1639 0
1640 0
1641 0
1642 0
1643 1
1644 0
1645 0
1646 0
1647 0
1648 1
1649 0
1650 0
1651 0
1652 0
1653 1
1654 0
1655 0
1656 0
1657 0
1658 1
1659 0
1660 0
1661 0
1662 0
1663 1
1664 1
1665 0
1666 0
1667 0
1668 1
1669 0
1670 0
1671 0
1672 0
1673 1
1674 1
1675 0
1676 0
1677 0
1678 1
1679 0
1680 1
1681 0
1682 0
1683 0
1684 0
1685 1
1686 0
1687 0
1688 0
1689 0
1690 0
1691 0
1692 0
1693 0
1694 0
1695 0
1696 0
1697 0
1698 0
1699 0
1700 1
1701 0
1702 0
1703 0
1704 1
1705 1
1706 0
1707 0
1708 0
1709 0
1710 0
1711 0
1712 0
1713 0
1714 1
1715 0
1716 0
1717 0
1718 0
1719 0
1720 1
1721 0
1722 0
1723 1
1724 0
1725 1
1726 0
1727 0
1728 1
1729 0
1730 0
1731 0
1732 0
1733 1
1734 0
1735 0
1736 0
1737 0
1738 1
1739 0
1740 1
1741 0
1742 0
1743 1
1744 1
1745 1
1746 0
1747 0
1748 1
1749 0
1750 0
1751 0
1752 0
1753 1
1754 1
1755 0
1756 0
1757 0
1758 1
1759 0
1760 0
1761 0
1762 1
1763 0
1764 0
1765 0
1766 0
1767 1
1768 0
1769 0
1770 0
1771 0
1772 1
1773 0
1774 0
1775 0
1776 0
1777 1
1778 0
1779 0
1780 0
1781 0
1782 1
1783 0
1784 1
1785 0
1786 0
1787 1
1788 0
1789 0
1790 0
1791 0
1792 1
1793 0
1794 1
1795 0
1796 0
1797 1
1798 0
1799 0
1800 0
1801 0
1802 1
1803 1
1804 0
1805 0
1806 0
1807 1
1808 1
1809 0
1810 0
1811 0
1812 1
1813 1
1814 0
1815 0
1816 0
1817 1
1818 1
1819 0
1820 0
1821 0
1822 1
1823 1
1824 1
1825 0
1826 0
1827 1
1828 1
1829 0
1830 0
1831 0
1832 1
1833 1
1834 1
1835 0
1836 0
1837 1
1838 1
1839 0
1840 1
1841 0
1842 1
1843 0
1844 0
1845 1
1846 0
1847 1
1848 0
1849 0
1850 0
1851 0
1852 1
1853 0
1854 0
1855 0
1856 0
1857 1
1858 0
1859 0
1860 1
1861 0
1862 1
1863 0
1864 1
1865 1
1866 0
1867 1
1868 0
1869 0
1870 0
1871 0
1872 1
1873 0
1874 1
1875 0
1876 0
1877 1
1878 0
1879 0
1880 1
1881 0
1882 1
1883 1
1884 0
1885 1
1886 0
1887 1
1888 1
1889 0
1890 0
1891 0
1892 1
1893 1
1894 0
1895 0
1896 0
1897 1
1898 1
1899 0
1900 1
1901 0
1902 1
1903 1
1904 1
1905 1
1906 0
1907 1
1908 1
1909 0
1910 0
1911 0
1912 1
1913 1
1914 1
1915 0
1916 0
1917 1
1918 1
1919 0
1920 0
1921 0
1922 0
1923 0
1924 0
1925 0
1926 0
1927 0
1928 0
1929 0
1930 0
1931 0
1932 0
1933 0
1934 0
1935 0
1936 0
1937 0
1938 0
1939 0
1940 0
1941 0
1942 0
1943 0
1944 0
1945 0
1946 0
1947 0
1948 0
1949 0
1950 0
1951 0
1952 0
1953 0
1954 0
1955 0
1956 0
1957 0
1958 0
1959 0
1960 0
1961 0
1962 0
1963 0
1964 0
1965 0
1966 0
1967 0
1968 0
1969 0
1970 0
1971 0
1972 0
1973 0
1974 0
1975 0
1976 0
1977 0
1978 0
1979 0
1980 0
1981 0
1982 0
1983 0
1984 0
1985 0
1986 0
1987 0
1988 0
1989 0
1990 0
1991 0
1992 0
1993 0
1994 0
1995 0
1996 0
1997 0
1998 0
1999 0
2000 0
2001 0
2002 0
2003 0
2004 0
2005 0
2006 0
2007 0
2008 0
2009 0
2010 0
2011 0
2012 0
2013 0
2014 0
2015 0
2016 0
2017 0
2018 0
2019 0
2020 0
2021 0
2022 0
2023 0
2024 0
2025 0
2026 0
2027 0
2028 0
2029 0
2030 0
2031 0
2032 0
2033 0
2034 0
2035 0
2036 0
2037 0
2038 0
2039 0
2040 0
2041 0
2042 0
2043 0
2044 0
2045 0
2046 0
2047 0
2048 0
2049 0
2050 0
2051 0
2052 0
2053 0
2054 0
2055 0
2056 0
2057 0
2058 0
2059 0
2060 0
2061 0
2062 0
2063 0
2064 0
2065 0
2066 0
2067 0
2068 0
2069 0
2070 0
2071 0
2072 0
2073 0
2074 0
2075 0
2076 0
2077 0
2078 0
2079 0
2080 0
2081 0
2082 0
2083 0
2084 0
2085 0
2086 0
2087 0
2088 0
2089 0
2090 0
2091 0
2092 0
2093 0
2094 0
2095 0
2096 0
2097 0
2098 0
2099 0
2100 0
2101 0
2102 0
2103 0
2104 0
2105 0
2106 0
2107 0
2108 0
2109 0
2110 0
2111 0
2112 0
2113 0
2114 0
2115 0
2116 0
2117 0
2118 0
2119 0
2120 0
2121 0
2122 0
2123 0
2124 0
2125 0
2126 0
2127 0
2128 0
2129 0
2130 0
2131 0
2132 0
2133 0
2134 0
2135 0
2136 0
2137 0
2138 0
2139 0
2140 0
2141 0
2142 0
2143 0
2144 0
2145 0
2146 0
2147 0
2148 0
2149 0
2150 0
2151 0
2152 0
2153 0
2154 0
2155 0
2156 0
2157 0
2158 0
2159 0
2160 0
2161 0
2162 0
2163 0
2164 0
2165 0
2166 0
2167 0
2168 0
2169 0
2170 0
2171 0
2172 0
2173 0
2174 0
2175 0
2176 0
2177 0
2178 0
2179 0
2180 0
2181 0
2182 0
2183 0
2184 0
2185 0
2186 0
2187 0
2188 0
2189 0
2190 0
2191 0
2192 0
2193 0
2194 0
2195 0
2196 0
2197 0
2198 0
2199 0
2200 0
2201 0
2202 0
2203 0
2204 0
2205 0
2206 0
2207 0
2208 0
2209 0
2210 0
2211 0
2212 0
2213 0
2214 0
2215 0
2216 0
2217 0
2218 0
2219 0
2220 0
2221 0
2222 0
2223 0
2224 0
2225 0
2226 0
2227 0
2228 0
2229 0
2230 0
2231 0
2232 0
2233 0
2234 0
2235 0
2236 0
2237 0
2238 0
2239 0
2240 0
2241 0
2242 0
2243 0
2244 0
2245 0
2246 0
2247 0
2248 0
2249 0
2250 0
2251 0
2252 0
2253 0
2254 0
2255 0
2256 0
2257 0
2258 0
2259 0
2260 0
2261 0
2262 0
2263 0
2264 0
2265 0
2266 0
2267 0
2268 0
2269 0
2270 0
2271 0
2272 0
2273 0
2274 0
2275 0
2276 0
2277 0
2278 0
2279 0
2280 0
2281 0
2282 0
2283 0
2284 0
2285 0
2286 0
2287 0
2288 0
2289 0
2290 0
2291 0
2292 0
2293 0
2294 0
2295 0
2296 0
2297 0
2298 0
2299 0
2300 0
2301 0
2302 0
2303 0
2304 0
2305 0
2306 0
2307 0
2308 0
2309 0
2310 0
2311 0
2312 0
2313 0
2314 0
2315 0
2316 0
2317 0
2318 0
2319 0
2320 0
2321 0
2322 0
2323 0
2324 0
2325 0
2326 0
2327 0
2328 0
2329 0
2330 0
2331 0
2332 0
2333 0
2334 0
2335 0
2336 0
2337 0
2338 0
2339 0
2340 0
2341 0
2342 0
2343 0
2344 0
2345 0
2346 0
2347 0
2348 0
2349 0
2350 0
2351 0
2352 0
2353 0
2354 0
2355 0
2356 0
2357 0
2358 0
2359 0
2360 0
2361 0
2362 0
2363 0
2364 0
2365 0
2366 0
2367 0
2368 0
2369 0
2370 0
2371 0
2372 0
2373 0
2374 0
2375 0
2376 0
2377 0
2378 0
2379 0
2380 0
2381 0
2382 0
2383 0
2384 0
2385 0
2386 0
2387 0
2388 0
2389 0
2390 0
2391 0
2392 0
2393 0
2394 0
2395 0
2396 0
2397 0
2398 0
2399 0
2400 0
2401 0
2402 0
2403 0
2404 0
2405 0
2406 0
2407 0
2408 0
2409 0
2410 0
2411 0
2412 0
2413 0
2414 0
2415 0
2416 0
2417 0
2418 0
2419 0
2420 0
2421 0
2422 0
2423 0
2424 0
2425 0
2426 0
2427 0
2428 0
2429 0
2430 0
2431 0
2432 0
2433 0
2434 0
2435 0
2436 0
2437 0
2438 0
2439 0
2440 0
2441 0
2442 0
2443 0
2444 0
2445 0
2446 0
2447 0
2448 0
2449 0
2450 0
2451 0
2452 0
2453 0
2454 0
2455 0
2456 0
2457 0
2458 0
2459 0
2460 0
2461 0
2462 0
2463 0
2464 0
2465 0
2466 0
2467 0
2468 0
2469 0
2470 0
2471 0
2472 0
2473 0
2474 0
2475 0
2476 0
2477 0
2478 0
2479 0
2480 0
2481 0
2482 0
2483 0
2484 0
2485 0
2486 0
2487 0
2488 0
2489 0
2490 0
2491 0
2492 0
2493 0
2494 0
2495 0
2496 0
2497 0
2498 0
2499 0
2500 0
2501 0
2502 0
2503 0
2504 0
2505 0
2506 0
2507 0
2508 0
2509 0
2510 0
2511 0
2512 0
2513 0
2514 0
2515 0
2516 0
2517 0
2518 0
2519 0
2520 0
2521 0
2522 0
2523 0
2524 0
2525 0
2526 0
2527 0
2528 0
2529 0
2530 0
2531 0
2532 0
2533 0
2534 0
2535 0
2536 0
2537 0
2538 0
2539 0
2540 0
2541 0
2542 0
2543 0
2544 0
2545 0
2546 0
2547 0
2548 0
2549 0
2550 0
2551 0
2552 0
2553 0
2554 0
2555 0
2556 0
2557 0
2558 0
2559 0
## kleene caching type
VECTOR
## kleene caching vec size
98415
## action hash keys
0 0
1 1
2 2
3 3
4 4

## index
7
## name
robot-at(x2, y3)
## number of values
2
## values
0 false
1 true
## formula
switch( ($s(10) : $c(0)) (and($a(1) $s(6) ~($s(1))) : $c(1)) (and($a(2) $s(7)) : $c(0)) (and($a(0) $s(4)) : $c(1)) (and($a(0) $s(7)) : $c(0)) (and($a(3) $s(10)) : $c(1)) (and($a(3) $s(7)) : $c(0)) ($c(1) : $s(7)) )
## hash index
7
## caching type 
VECTOR
## precomputed results
160
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 1
15 0
16 0
17 0
18 0
19 1
20 0
21 0
22 0
23 1
24 0
25 0
26 0
27 0
28 0
29 0
30 0
31 0
32 0
33 1
34 1
35 0
36 0
37 0
38 0
39 1
40 1
41 0
42 0
43 1
44 0
45 1
46 0
47 0
48 1
49 0
50 1
51 0
52 0
53 1
54 1
55 1
56 0
57 0
58 1
59 1
60 1
61 0
62 0
63 1
64 0
65 1
66 0
67 0
68 1
69 0
70 1
71 0
72 0
73 1
74 1
75 1
76 0
77 0
78 1
79 1
80 0
81 0
82 0
83 0
84 0
85 0
86 0
87 0
88 0
89 0
90 0
91 0
92 0
93 0
94 0
95 0
96 0
97 0
98 0
99 0
100 0
101 0
102 0
103 0
104 0
105 0
106 0
107 0
108 0
109 0
110 0
111 0
112 0
113 0
114 0
115 0
116 0
117 0
118 0
119 0
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
## kleene caching type
VECTOR
## kleene caching vec size
1215
## action hash keys
0 0
1 1
2 2
3 3
4 4

## index
8
## name
robot-at(x3, y1)
## number of values
2
## values
0 false
1 true
## formula
switch( ($s(10) : $c(0)) (and($a(1) $s(8)) : $c(0)) (and($a(2) $s(9) ~($s(11))) : $c(1)) (and($a(0) $s(5)) : $c(1)) (and($a(3) $s(8)) : $c(0)) ($c(1) : $s(8)) )
## hash index
8
## caching type 
VECTOR
## precomputed results
160
0 0
1 0
2 0
3 0
4 0
5 0
6 0
7 0
8 0
9 1
10 1
11 0
12 1
13 0
14 1
15 1
16 0
17 1
18 0
19 1
20 0
21 0
22 1
23 0
24 0
25 0
26 0
27 1
28 0
29 1
30 1
31 0
32 1
33 0
34 1
35 1
36 0
37 1
38 0
39 1
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 0
65 0
66 0
67 0
68 0
69 0
70 0
71 0
72 0
73 0
74 0
75 0
76 0
77 0
78 0
79 0
80 0
81 0
82 0
83 0
84 0
85 0
86 0
87 0
88 0
89 1
90 1
91 0
92 1
93 0
94 1
95 1
96 0
97 1
98 0
99 1
100 0
101 0
102 0
103 0
104 0
105 0
106 0
107 0
108 0
109 1
110 1
111 0
112 1
113 0
114 1
115 1
116 0
117 1
118 0
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
## kleene caching type
VECTOR
## kleene caching vec size
1215
## action hash keys
0 0
1 1
2 2
3 3
4 4

## index
9
## name
robot-at(x3, y2)
## number of values
2
## values
0 false
1 true
## formula
switch( ($s(10) : $c(0)) (and($a(1) $s(8)) : $c(1)) (and($a(1) $s(9)) : $c(0)) (and($a(2) $s(10)) : $c(1)) (and($a(2) $s(9)) : $c(0)) (and($a(0) $s(6) ~($s(1))) : $c(1)) (and($a(3) $s(9)) : $c(0)) ($c(1) : and($s(9) ~($s(11)))) )
## hash index
9
## caching type 
VECTOR
## precomputed results
320
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 1
15 0
16 0
17 0
18 0
19 0
20 0
21 0
22 0
23 1
24 0
25 0
26 0
27 0
28 1
29 0
30 0
31 0
32 0
33 1
34 1
35 0
36 0
37 0
38 1
39 0
40 1
41 0
42 0
43 0
44 1
45 1
46 0
47 0
48 0
49 1
50 1
51 0
52 0
53 0
54 1
55 1
56 0
57 0
58 0
59 1
60 1
61 0
62 0
63 1
64 1
65 1
66 0
67 0
68 1
69 1
70 1
71 0
72 0
73 1
74 1
75 1
76 0
77 0
78 1
79 1
80 0
81 0
82 0
83 0
84 0
85 0
86 0
87 0
88 0
89 0
90 0
91 0
92 0
93 0
94 0
95 0
96 0
97 0
98 0
99 0
100 0
101 0
102 0
103 0
104 0
105 0
106 0
107 0
108 0
109 0
110 0
111 0
112 0
113 0
114 0
115 0
116 0
117 0
118 0
119 0
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 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 1
175 0
176 0
177 0
178 0
179 0
180 0
181 0
182 0
183 1
184 0
185 0
186 0
187 0
188 1
189 0
190 0
191 0
192 0
193 1
194 1
195 0
196 0
197 0
198 1
199 0
200 0
201 0
202 0
203 0
204 0
205 0
206 0
207 0
208 0
209 0
210 0
211 0
212 0
213 0
214 1
215 0
216 0
217 0
218 0
219 0
220 0
221 0
222 0
223 1
224 0
225 0
226 0
227 0
228 1
229 0
230 0
231 0
232 0
233 1
234 1
235 0
236 0
237 0
238 1
239 0
240 0
241 0
242 0
243 0
244 0
245 0
246 0
247 0
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 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
## kleene caching type
VECTOR
## kleene caching vec size
3645
## action hash keys
0 0
1 1
2 2
3 3
4 4

## index
10
## name
robot-at(x3, y3)
## number of values
2
## values
0 false
1 true
## formula
switch( ($s(10) : $c(1)) ($s(10) : $c(0)) (and($a(1) $s(9) ~($s(11))) : $c(1)) (and($a(2) $s(10)) : $c(0)) (and($a(0) $s(7)) : $c(1)) (and($a(3) $s(10)) : $c(0)) ($c(1) : $s(10)) )
## hash index
10
## caching type 
VECTOR
## precomputed results
80
0 0
1 0
2 0
3 0
4 0
5 0
6 0
7 0
8 0
9 1
10 0
11 0
12 0
13 1
14 0
15 0
16 0
17 0
18 1
19 1
20 1
21 1
22 1
23 1
24 1
25 1
26 1
27 1
28 1
29 1
30 1
31 1
32 1
33 1
34 1
35 1
36 1
37 1
38 1
39 1
40 0
41 0
42 0
43 0
44 0
45 0
46 0
47 0
48 0
49 1
50 0
51 0
52 0
53 0
54 0
55 0
56 0
57 0
58 0
59 1
60 1
61 1
62 1
63 1
64 1
65 1
66 1
67 1
68 1
69 1
70 1
71 1
72 1
73 1
74 1
75 1
76 1
77 1
78 1
79 1
## kleene caching type
VECTOR
## kleene caching vec size
405
## action hash keys
0 0
1 1
2 2
3 3
4 4



#####PROB STATE FLUENTS AND CPFS#####
## index
0
## name
obstacle-at(x3, y2)
## number of values
2
## values
0 false
1 true
## formula
Bernoulli($c(0.6))
## determinized formula
$c(1)
## hash index
11
## caching type 
VECTOR
## precomputed results (key - determinization - size of distribution - value-probability pairs)
1
0 1 2 0 0.4 1 0.6
## kleene caching type
VECTOR
## kleene caching vec size
1
## action hash keys
0 0
1 0
2 0
3 0
4 0



#####REWARD#####
## formula
-($c(0) ~($s(10)))
## min
-1
## max
0
## independent from actions
1
## hash index
12
## caching type
VECTOR
## precomputed results
2
0 -1
1 0
## kleene caching type
VECTOR
## kleene caching vec size
3
## action hash keys
0 0
1 0
2 0
3 0
4 0


#####PRECONDITIONS#####


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


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


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


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


## index
4
## state
1 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)
4
2 5
3 5
4 5
6 5
## kleene state fluent hash keys (first line is the number of keys)
4
2 5
3 5
4 5
6 5

## 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)
6
0 1
3 10
5 5
6 10
7 5
9 5
## kleene state fluent hash keys (first line is the number of keys)
6
0 1
3 15
5 5
6 15
7 5
9 5

## 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)
3
2 10
3 20
5 10
## kleene state fluent hash keys (first line is the number of keys)
3
2 15
3 45
5 15

## 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)
4
2 20
3 40
4 10
6 20
## kleene state fluent hash keys (first line is the number of keys)
4
2 45
3 135
4 15
6 45

## 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 80
4 20
7 10
## kleene state fluent hash keys (first line is the number of keys)
3
3 405
4 45
7 15

## 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)
4
2 40
5 20
6 40
8 5
## kleene state fluent hash keys (first line is the number of keys)
4
2 135
5 45
6 135
8 5

## 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)
5
3 160
5 40
6 80
7 20
9 10
## kleene state fluent hash keys (first line is the number of keys)
5
3 1215
5 135
6 405
7 45
9 15

## 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)
4
4 40
6 160
7 40
10 5
## kleene state fluent hash keys (first line is the number of keys)
4
4 135
6 1215
7 135
10 5

## 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)
3
5 80
8 10
9 20
## kleene state fluent hash keys (first line is the number of keys)
3
5 405
8 15
9 45

## 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)
4
6 320
8 20
9 40
10 10
## kleene state fluent hash keys (first line is the number of keys)
4
6 3645
8 45
9 135
10 15

## 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)
10
2 80
3 320
4 80
5 160
6 640
7 80
8 40
9 80
10 20
12 1
## kleene state fluent hash keys (first line is the number of keys)
10
2 405
3 3645
4 405
5 1215
6 10935
7 405
8 135
9 405
10 45
12 1


#####HASH KEYS OF PROBABILISTIC STATE FLUENTS#####
## index
0
## 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)
5
1 1
6 1280
8 80
9 160
10 40
## kleene state fluent hash keys (first line is the number of keys)
5
1 1
6 32805
8 405
9 1215
10 135



#####TRAINING SET#####
80
0 0 0 0 0 0 0 0 0 0 0 0 
1 0 0 0 0 0 0 0 0 0 0 0 
0 1 0 0 0 0 0 0 0 0 0 0 
1 1 0 0 0 0 0 0 0 0 0 0 
0 0 1 0 0 0 0 0 0 0 0 0 
1 0 1 0 0 0 0 0 0 0 0 0 
0 1 1 0 0 0 0 0 0 0 0 0 
1 1 1 0 0 0 0 0 0 0 0 0 
0 0 0 1 0 0 0 0 0 0 0 0 
1 0 0 1 0 0 0 0 0 0 0 0 
0 1 0 1 0 0 0 0 0 0 0 0 
1 1 0 1 0 0 0 0 0 0 0 0 
0 0 0 0 1 0 0 0 0 0 0 0 
1 0 0 0 1 0 0 0 0 0 0 0 
0 1 0 0 1 0 0 0 0 0 0 0 
1 1 0 0 1 0 0 0 0 0 0 0 
0 0 0 0 0 1 0 0 0 0 0 0 
1 0 0 0 0 1 0 0 0 0 0 0 
0 1 0 0 0 1 0 0 0 0 0 0 
1 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 1 0 0 0 0 0 
0 1 0 0 0 0 1 0 0 0 0 0 
1 1 0 0 0 0 1 0 0 0 0 0 
0 0 0 0 0 0 0 1 0 0 0 0 
1 0 0 0 0 0 0 1 0 0 0 0 
0 1 0 0 0 0 0 1 0 0 0 0 
1 1 0 0 0 0 0 1 0 0 0 0 
0 0 0 0 0 0 0 0 1 0 0 0 
1 0 0 0 0 0 0 0 1 0 0 0 
0 1 0 0 0 0 0 0 1 0 0 0 
1 1 0 0 0 0 0 0 1 0 0 0 
0 0 0 0 0 0 0 0 0 1 0 0 
1 0 0 0 0 0 0 0 0 1 0 0 
0 1 0 0 0 0 0 0 0 1 0 0 
1 1 0 0 0 0 0 0 0 1 0 0 
0 0 0 0 0 0 0 0 0 0 1 0 
1 0 0 0 0 0 0 0 0 0 1 0 
0 1 0 0 0 0 0 0 0 0 1 0 
1 1 0 0 0 0 0 0 0 0 1 0 
0 0 0 0 0 0 0 0 0 0 0 1 
1 0 0 0 0 0 0 0 0 0 0 1 
0 1 0 0 0 0 0 0 0 0 0 1 
1 1 0 0 0 0 0 0 0 0 0 1 
0 0 1 0 0 0 0 0 0 0 0 1 
1 0 1 0 0 0 0 0 0 0 0 1 
0 1 1 0 0 0 0 0 0 0 0 1 
1 1 1 0 0 0 0 0 0 0 0 1 
0 0 0 1 0 0 0 0 0 0 0 1 
1 0 0 1 0 0 0 0 0 0 0 1 
0 1 0 1 0 0 0 0 0 0 0 1 
1 1 0 1 0 0 0 0 0 0 0 1 
0 0 0 0 1 0 0 0 0 0 0 1 
1 0 0 0 1 0 0 0 0 0 0 1 
0 1 0 0 1 0 0 0 0 0 0 1 
1 1 0 0 1 0 0 0 0 0 0 1 
0 0 0 0 0 1 0 0 0 0 0 1 
1 0 0 0 0 1 0 0 0 0 0 1 
0 1 0 0 0 1 0 0 0 0 0 1 
1 1 0 0 0 1 0 0 0 0 0 1 
0 0 0 0 0 0 1 0 0 0 0 1 
1 0 0 0 0 0 1 0 0 0 0 1 
0 1 0 0 0 0 1 0 0 0 0 1 
1 1 0 0 0 0 1 0 0 0 0 1 
0 0 0 0 0 0 0 1 0 0 0 1 
1 0 0 0 0 0 0 1 0 0 0 1 
0 1 0 0 0 0 0 1 0 0 0 1 
1 1 0 0 0 0 0 1 0 0 0 1 
0 0 0 0 0 0 0 0 1 0 0 1 
1 0 0 0 0 0 0 0 1 0 0 1 
0 1 0 0 0 0 0 0 1 0 0 1 
1 1 0 0 0 0 0 0 1 0 0 1 
0 0 0 0 0 0 0 0 0 1 0 1 
1 0 0 0 0 0 0 0 0 1 0 1 
0 1 0 0 0 0 0 0 0 1 0 1 
1 1 0 0 0 0 0 0 0 1 0 1 
0 0 0 0 0 0 0 0 0 0 1 1 
1 0 0 0 0 0 0 0 0 0 1 1 
0 1 0 0 0 0 0 0 0 0 1 1 
1 1 0 0 0 0 0 0 0 0 1 1 
