#####TASK#####
## name
academic_advising_inst_mdp__2
## horizon
40
## discount factor
1
## number of action fluents
10
## number of det state fluents
10
## number of prob state fluents
10
## number of preconds
0
## number of actions
56
## number of hashing functions
21
## initial state
0 0 0 0 0 0 0 0 0 0 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
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
7202
## number of unique states that were encountered during task analysis
1392
## number of states with only one applicable reasonable action that were encountered during task analysis
4721
## number of unique states with only one applicable reasonable action that were encountered during task analysis
1


#####ACTION FLUENTS#####
## index
0
## name
takeCourse(CS11)
## number of values
2
## values
0 false
1 true

## index
1
## name
takeCourse(CS12)
## number of values
2
## values
0 false
1 true

## index
2
## name
takeCourse(CS21)
## number of values
2
## values
0 false
1 true

## index
3
## name
takeCourse(CS22)
## number of values
2
## values
0 false
1 true

## index
4
## name
takeCourse(CS31)
## number of values
2
## values
0 false
1 true

## index
5
## name
takeCourse(CS32)
## number of values
2
## values
0 false
1 true

## index
6
## name
takeCourse(CS41)
## number of values
2
## values
0 false
1 true

## index
7
## name
takeCourse(CS42)
## number of values
2
## values
0 false
1 true

## index
8
## name
takeCourse(CS51)
## number of values
2
## values
0 false
1 true

## index
9
## name
takeCourse(CS52)
## number of values
2
## values
0 false
1 true



#####DET STATE FLUENTS AND CPFS#####
## index
0
## name
taken(CS11)
## number of values
2
## values
0 false
1 true
## formula
or($s(0) $a(0))
## hash index
0
## caching type 
VECTOR
## precomputed results
4
0 0
1 1
2 1
3 1
## kleene caching type
VECTOR
## kleene caching vec size
6
## action hash keys
0 0
1 0
2 0
3 0
4 0
5 0
6 0
7 0
8 0
9 0
10 1
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 1
48 1
49 1
50 1
51 1
52 1
53 1
54 1
55 1

## index
1
## name
taken(CS12)
## number of values
2
## values
0 false
1 true
## formula
or($s(1) $a(1))
## hash index
1
## caching type 
VECTOR
## precomputed results
4
0 0
1 1
2 1
3 1
## kleene caching type
VECTOR
## kleene caching vec size
6
## action hash keys
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 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 1
40 1
41 1
42 1
43 1
44 1
45 1
46 1
47 0
48 0
49 0
50 0
51 0
52 0
53 0
54 0
55 1

## index
2
## name
taken(CS21)
## number of values
2
## values
0 false
1 true
## formula
or($s(2) $a(2))
## hash index
2
## caching type 
VECTOR
## precomputed results
4
0 0
1 1
2 1
3 1
## kleene caching type
VECTOR
## kleene caching vec size
6
## action hash keys
0 0
1 0
2 0
3 0
4 0
5 0
6 0
7 0
8 1
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 1
33 1
34 1
35 1
36 1
37 1
38 1
39 0
40 0
41 0
42 0
43 0
44 0
45 0
46 1
47 0
48 0
49 0
50 0
51 0
52 0
53 0
54 1
55 0

## index
3
## name
taken(CS22)
## number of values
2
## values
0 false
1 true
## formula
or($s(3) $a(3))
## hash index
3
## caching type 
VECTOR
## precomputed results
4
0 0
1 1
2 1
3 1
## kleene caching type
VECTOR
## kleene caching vec size
6
## action hash keys
0 0
1 0
2 0
3 0
4 0
5 0
6 0
7 1
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 1
27 1
28 1
29 1
30 1
31 1
32 0
33 0
34 0
35 0
36 0
37 0
38 1
39 0
40 0
41 0
42 0
43 0
44 0
45 1
46 0
47 0
48 0
49 0
50 0
51 0
52 0
53 1
54 0
55 0

## index
4
## name
taken(CS31)
## number of values
2
## values
0 false
1 true
## formula
or($s(4) $a(4))
## hash index
4
## caching type 
VECTOR
## precomputed results
4
0 0
1 1
2 1
3 1
## kleene caching type
VECTOR
## kleene caching vec size
6
## 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 0
16 0
17 0
18 0
19 0
20 0
21 1
22 1
23 1
24 1
25 1
26 0
27 0
28 0
29 0
30 0
31 1
32 0
33 0
34 0
35 0
36 0
37 1
38 0
39 0
40 0
41 0
42 0
43 0
44 1
45 0
46 0
47 0
48 0
49 0
50 0
51 0
52 1
53 0
54 0
55 0

## index
5
## name
taken(CS32)
## number of values
2
## values
0 false
1 true
## formula
or($s(5) $a(5))
## hash index
5
## caching type 
VECTOR
## precomputed results
4
0 0
1 1
2 1
3 1
## kleene caching type
VECTOR
## kleene caching vec size
6
## 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 0
14 0
15 0
16 0
17 1
18 1
19 1
20 1
21 0
22 0
23 0
24 0
25 1
26 0
27 0
28 0
29 0
30 1
31 0
32 0
33 0
34 0
35 0
36 1
37 0
38 0
39 0
40 0
41 0
42 0
43 1
44 0
45 0
46 0
47 0
48 0
49 0
50 0
51 1
52 0
53 0
54 0
55 0

## index
6
## name
taken(CS41)
## number of values
2
## values
0 false
1 true
## formula
or($s(6) $a(6))
## hash index
6
## caching type 
VECTOR
## precomputed results
4
0 0
1 1
2 1
3 1
## kleene caching type
VECTOR
## kleene caching vec size
6
## action hash keys
0 0
1 0
2 0
3 0
4 1
5 0
6 0
7 0
8 0
9 0
10 0
11 0
12 0
13 0
14 1
15 1
16 1
17 0
18 0
19 0
20 1
21 0
22 0
23 0
24 1
25 0
26 0
27 0
28 0
29 1
30 0
31 0
32 0
33 0
34 0
35 1
36 0
37 0
38 0
39 0
40 0
41 0
42 1
43 0
44 0
45 0
46 0
47 0
48 0
49 0
50 1
51 0
52 0
53 0
54 0
55 0

## index
7
## name
taken(CS42)
## number of values
2
## values
0 false
1 true
## formula
or($s(7) $a(7))
## hash index
7
## caching type 
VECTOR
## precomputed results
4
0 0
1 1
2 1
3 1
## kleene caching type
VECTOR
## kleene caching vec size
6
## action hash keys
0 0
1 0
2 0
3 1
4 0
5 0
6 0
7 0
8 0
9 0
10 0
11 0
12 1
13 1
14 0
15 0
16 1
17 0
18 0
19 1
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 0
34 1
35 0
36 0
37 0
38 0
39 0
40 0
41 1
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

## index
8
## name
taken(CS51)
## number of values
2
## values
0 false
1 true
## formula
or($s(8) $a(8))
## hash index
8
## caching type 
VECTOR
## precomputed results
4
0 0
1 1
2 1
3 1
## kleene caching type
VECTOR
## kleene caching vec size
6
## action hash keys
0 0
1 0
2 1
3 0
4 0
5 0
6 0
7 0
8 0
9 0
10 0
11 1
12 0
13 1
14 0
15 1
16 0
17 0
18 1
19 0
20 0
21 0
22 1
23 0
24 0
25 0
26 0
27 1
28 0
29 0
30 0
31 0
32 0
33 1
34 0
35 0
36 0
37 0
38 0
39 0
40 1
41 0
42 0
43 0
44 0
45 0
46 0
47 0
48 1
49 0
50 0
51 0
52 0
53 0
54 0
55 0

## index
9
## name
taken(CS52)
## number of values
2
## values
0 false
1 true
## formula
or($s(9) $a(9))
## hash index
9
## caching type 
VECTOR
## precomputed results
4
0 0
1 1
2 1
3 1
## kleene caching type
VECTOR
## kleene caching vec size
6
## action hash keys
0 0
1 1
2 0
3 0
4 0
5 0
6 0
7 0
8 0
9 0
10 0
11 1
12 1
13 0
14 1
15 0
16 0
17 1
18 0
19 0
20 0
21 1
22 0
23 0
24 0
25 0
26 1
27 0
28 0
29 0
30 0
31 0
32 1
33 0
34 0
35 0
36 0
37 0
38 0
39 1
40 0
41 0
42 0
43 0
44 0
45 0
46 0
47 1
48 0
49 0
50 0
51 0
52 0
53 0
54 0
55 0



#####PROB STATE FLUENTS AND CPFS#####
## index
0
## name
passed(CS11)
## number of values
2
## values
0 false
1 true
## formula
switch( (and($a(0) ~($s(10))) : Bernoulli($c(0.8))) ($c(1) : $s(10)) )
## determinized formula
switch( (and($a(0) ~($s(10))) : $c(1)) ($c(1) : $s(10)) )
## hash index
10
## caching type 
VECTOR
## precomputed results (key - determinization - size of distribution - value-probability pairs)
4
0 0 1 0 1
1 1 2 0 0.2 1 0.8
2 1 1 1 1
3 1 1 1 1
## kleene caching type
VECTOR
## kleene caching vec size
6
## action hash keys
0 0
1 0
2 0
3 0
4 0
5 0
6 0
7 0
8 0
9 0
10 1
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 1
48 1
49 1
50 1
51 1
52 1
53 1
54 1
55 1

## index
1
## name
passed(CS12)
## number of values
2
## values
0 false
1 true
## formula
switch( (and($a(1) ~($s(11))) : Bernoulli($c(0.8))) ($c(1) : $s(11)) )
## determinized formula
switch( (and($a(1) ~($s(11))) : $c(1)) ($c(1) : $s(11)) )
## hash index
11
## caching type 
VECTOR
## precomputed results (key - determinization - size of distribution - value-probability pairs)
4
0 0 1 0 1
1 1 2 0 0.2 1 0.8
2 1 1 1 1
3 1 1 1 1
## kleene caching type
VECTOR
## kleene caching vec size
6
## action hash keys
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 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 1
40 1
41 1
42 1
43 1
44 1
45 1
46 1
47 0
48 0
49 0
50 0
51 0
52 0
53 0
54 0
55 1

## index
2
## name
passed(CS21)
## number of values
2
## values
0 false
1 true
## formula
switch( (and($a(2) ~($s(12))) : Bernoulli(+(*(/(+($s(10) $s(11)) $c(3)) $c(0.8)) $c(0.2)))) ($c(1) : $s(12)) )
## determinized formula
switch( (and($a(2) ~($s(12))) : <=($c(0.5) +(*(/(+($s(10) $s(11)) $c(3)) $c(0.8)) $c(0.2)))) ($c(1) : $s(12)) )
## hash index
12
## caching type 
VECTOR
## precomputed results (key - determinization - size of distribution - value-probability pairs)
16
0 0 1 0 1
1 0 2 0 0.8 1 0.2
2 0 1 0 1
3 0 2 0 0.533333333333333 1 0.466666666666667
4 0 1 0 1
5 0 2 0 0.533333333333333 1 0.466666666666667
6 0 1 0 1
7 1 2 0 0.266666666666667 1 0.733333333333333
8 1 1 1 1
9 1 1 1 1
10 1 1 1 1
11 1 1 1 1
12 1 1 1 1
13 1 1 1 1
14 1 1 1 1
15 1 1 1 1
## kleene caching type
VECTOR
## kleene caching vec size
54
## action hash keys
0 0
1 0
2 0
3 0
4 0
5 0
6 0
7 0
8 1
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 1
33 1
34 1
35 1
36 1
37 1
38 1
39 0
40 0
41 0
42 0
43 0
44 0
45 0
46 1
47 0
48 0
49 0
50 0
51 0
52 0
53 0
54 1
55 0

## index
3
## name
passed(CS22)
## number of values
2
## values
0 false
1 true
## formula
switch( (and($a(3) ~($s(13))) : Bernoulli(+(*(/(+($s(10) $s(11) $s(12)) $c(4)) $c(0.8)) $c(0.2)))) ($c(1) : $s(13)) )
## determinized formula
switch( (and($a(3) ~($s(13))) : <=($c(0.5) +(*(/(+($s(10) $s(11) $s(12)) $c(4)) $c(0.8)) $c(0.2)))) ($c(1) : $s(13)) )
## hash index
13
## caching type 
VECTOR
## precomputed results (key - determinization - size of distribution - value-probability pairs)
32
0 0 1 0 1
1 0 2 0 0.8 1 0.2
2 0 1 0 1
3 0 2 0 0.6 1 0.4
4 0 1 0 1
5 0 2 0 0.6 1 0.4
6 0 1 0 1
7 1 2 0 0.4 1 0.6
8 0 1 0 1
9 0 2 0 0.6 1 0.4
10 0 1 0 1
11 1 2 0 0.4 1 0.6
12 0 1 0 1
13 1 2 0 0.4 1 0.6
14 0 1 0 1
15 1 2 0 0.2 1 0.8
16 1 1 1 1
17 1 1 1 1
18 1 1 1 1
19 1 1 1 1
20 1 1 1 1
21 1 1 1 1
22 1 1 1 1
23 1 1 1 1
24 1 1 1 1
25 1 1 1 1
26 1 1 1 1
27 1 1 1 1
28 1 1 1 1
29 1 1 1 1
30 1 1 1 1
31 1 1 1 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 0
7 1
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 1
27 1
28 1
29 1
30 1
31 1
32 0
33 0
34 0
35 0
36 0
37 0
38 1
39 0
40 0
41 0
42 0
43 0
44 0
45 1
46 0
47 0
48 0
49 0
50 0
51 0
52 0
53 1
54 0
55 0

## index
4
## name
passed(CS31)
## number of values
2
## values
0 false
1 true
## formula
switch( (and($a(4) ~($s(14))) : Bernoulli(+(*(/(+($s(11) $s(12)) $c(3)) $c(0.8)) $c(0.2)))) ($c(1) : $s(14)) )
## determinized formula
switch( (and($a(4) ~($s(14))) : <=($c(0.5) +(*(/(+($s(11) $s(12)) $c(3)) $c(0.8)) $c(0.2)))) ($c(1) : $s(14)) )
## hash index
14
## caching type 
VECTOR
## precomputed results (key - determinization - size of distribution - value-probability pairs)
16
0 0 1 0 1
1 0 2 0 0.8 1 0.2
2 0 1 0 1
3 0 2 0 0.533333333333333 1 0.466666666666667
4 0 1 0 1
5 0 2 0 0.533333333333333 1 0.466666666666667
6 0 1 0 1
7 1 2 0 0.266666666666667 1 0.733333333333333
8 1 1 1 1
9 1 1 1 1
10 1 1 1 1
11 1 1 1 1
12 1 1 1 1
13 1 1 1 1
14 1 1 1 1
15 1 1 1 1
## kleene caching type
VECTOR
## kleene caching vec size
54
## 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 0
16 0
17 0
18 0
19 0
20 0
21 1
22 1
23 1
24 1
25 1
26 0
27 0
28 0
29 0
30 0
31 1
32 0
33 0
34 0
35 0
36 0
37 1
38 0
39 0
40 0
41 0
42 0
43 0
44 1
45 0
46 0
47 0
48 0
49 0
50 0
51 0
52 1
53 0
54 0
55 0

## index
5
## name
passed(CS32)
## number of values
2
## values
0 false
1 true
## formula
switch( (and($a(5) ~($s(15))) : Bernoulli(+(*(/(+($s(11) $s(12)) $c(3)) $c(0.8)) $c(0.2)))) ($c(1) : $s(15)) )
## determinized formula
switch( (and($a(5) ~($s(15))) : <=($c(0.5) +(*(/(+($s(11) $s(12)) $c(3)) $c(0.8)) $c(0.2)))) ($c(1) : $s(15)) )
## hash index
15
## caching type 
VECTOR
## precomputed results (key - determinization - size of distribution - value-probability pairs)
16
0 0 1 0 1
1 0 2 0 0.8 1 0.2
2 0 1 0 1
3 0 2 0 0.533333333333333 1 0.466666666666667
4 0 1 0 1
5 0 2 0 0.533333333333333 1 0.466666666666667
6 0 1 0 1
7 1 2 0 0.266666666666667 1 0.733333333333333
8 1 1 1 1
9 1 1 1 1
10 1 1 1 1
11 1 1 1 1
12 1 1 1 1
13 1 1 1 1
14 1 1 1 1
15 1 1 1 1
## kleene caching type
VECTOR
## kleene caching vec size
54
## 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 0
14 0
15 0
16 0
17 1
18 1
19 1
20 1
21 0
22 0
23 0
24 0
25 1
26 0
27 0
28 0
29 0
30 1
31 0
32 0
33 0
34 0
35 0
36 1
37 0
38 0
39 0
40 0
41 0
42 0
43 1
44 0
45 0
46 0
47 0
48 0
49 0
50 0
51 1
52 0
53 0
54 0
55 0

## index
6
## name
passed(CS41)
## number of values
2
## values
0 false
1 true
## formula
switch( (and($a(6) ~($s(16))) : Bernoulli(+(*(/(+($s(11) $s(12) $s(14) $s(15)) $c(5)) $c(0.8)) $c(0.2)))) ($c(1) : $s(16)) )
## determinized formula
switch( (and($a(6) ~($s(16))) : <=($c(0.5) +(*(/(+($s(11) $s(12) $s(14) $s(15)) $c(5)) $c(0.8)) $c(0.2)))) ($c(1) : $s(16)) )
## hash index
16
## caching type 
VECTOR
## precomputed results (key - determinization - size of distribution - value-probability pairs)
64
0 0 1 0 1
1 0 2 0 0.8 1 0.2
2 0 1 0 1
3 0 2 0 0.64 1 0.36
4 0 1 0 1
5 0 2 0 0.64 1 0.36
6 0 1 0 1
7 1 2 0 0.48 1 0.52
8 0 1 0 1
9 0 2 0 0.64 1 0.36
10 0 1 0 1
11 1 2 0 0.48 1 0.52
12 0 1 0 1
13 1 2 0 0.48 1 0.52
14 0 1 0 1
15 1 2 0 0.32 1 0.68
16 0 1 0 1
17 0 2 0 0.64 1 0.36
18 0 1 0 1
19 1 2 0 0.48 1 0.52
20 0 1 0 1
21 1 2 0 0.48 1 0.52
22 0 1 0 1
23 1 2 0 0.32 1 0.68
24 0 1 0 1
25 1 2 0 0.48 1 0.52
26 0 1 0 1
27 1 2 0 0.32 1 0.68
28 0 1 0 1
29 1 2 0 0.32 1 0.68
30 0 1 0 1
31 1 2 0 0.16 1 0.84
32 1 1 1 1
33 1 1 1 1
34 1 1 1 1
35 1 1 1 1
36 1 1 1 1
37 1 1 1 1
38 1 1 1 1
39 1 1 1 1
40 1 1 1 1
41 1 1 1 1
42 1 1 1 1
43 1 1 1 1
44 1 1 1 1
45 1 1 1 1
46 1 1 1 1
47 1 1 1 1
48 1 1 1 1
49 1 1 1 1
50 1 1 1 1
51 1 1 1 1
52 1 1 1 1
53 1 1 1 1
54 1 1 1 1
55 1 1 1 1
56 1 1 1 1
57 1 1 1 1
58 1 1 1 1
59 1 1 1 1
60 1 1 1 1
61 1 1 1 1
62 1 1 1 1
63 1 1 1 1
## kleene caching type
VECTOR
## kleene caching vec size
486
## action hash keys
0 0
1 0
2 0
3 0
4 1
5 0
6 0
7 0
8 0
9 0
10 0
11 0
12 0
13 0
14 1
15 1
16 1
17 0
18 0
19 0
20 1
21 0
22 0
23 0
24 1
25 0
26 0
27 0
28 0
29 1
30 0
31 0
32 0
33 0
34 0
35 1
36 0
37 0
38 0
39 0
40 0
41 0
42 1
43 0
44 0
45 0
46 0
47 0
48 0
49 0
50 1
51 0
52 0
53 0
54 0
55 0

## index
7
## name
passed(CS42)
## number of values
2
## values
0 false
1 true
## formula
switch( (and($a(7) ~($s(17))) : Bernoulli(+(*(/(+($s(10) $s(11) $s(16)) $c(4)) $c(0.8)) $c(0.2)))) ($c(1) : $s(17)) )
## determinized formula
switch( (and($a(7) ~($s(17))) : <=($c(0.5) +(*(/(+($s(10) $s(11) $s(16)) $c(4)) $c(0.8)) $c(0.2)))) ($c(1) : $s(17)) )
## hash index
17
## caching type 
VECTOR
## precomputed results (key - determinization - size of distribution - value-probability pairs)
32
0 0 1 0 1
1 0 2 0 0.8 1 0.2
2 0 1 0 1
3 0 2 0 0.6 1 0.4
4 0 1 0 1
5 0 2 0 0.6 1 0.4
6 0 1 0 1
7 1 2 0 0.4 1 0.6
8 0 1 0 1
9 0 2 0 0.6 1 0.4
10 0 1 0 1
11 1 2 0 0.4 1 0.6
12 0 1 0 1
13 1 2 0 0.4 1 0.6
14 0 1 0 1
15 1 2 0 0.2 1 0.8
16 1 1 1 1
17 1 1 1 1
18 1 1 1 1
19 1 1 1 1
20 1 1 1 1
21 1 1 1 1
22 1 1 1 1
23 1 1 1 1
24 1 1 1 1
25 1 1 1 1
26 1 1 1 1
27 1 1 1 1
28 1 1 1 1
29 1 1 1 1
30 1 1 1 1
31 1 1 1 1
## kleene caching type
VECTOR
## kleene caching vec size
162
## action hash keys
0 0
1 0
2 0
3 1
4 0
5 0
6 0
7 0
8 0
9 0
10 0
11 0
12 1
13 1
14 0
15 0
16 1
17 0
18 0
19 1
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 0
34 1
35 0
36 0
37 0
38 0
39 0
40 0
41 1
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

## index
8
## name
passed(CS51)
## number of values
2
## values
0 false
1 true
## formula
switch( (and($a(8) ~($s(18))) : Bernoulli(+(*(/(+($s(10) $s(15) $s(17)) $c(4)) $c(0.8)) $c(0.2)))) ($c(1) : $s(18)) )
## determinized formula
switch( (and($a(8) ~($s(18))) : <=($c(0.5) +(*(/(+($s(10) $s(15) $s(17)) $c(4)) $c(0.8)) $c(0.2)))) ($c(1) : $s(18)) )
## hash index
18
## caching type 
VECTOR
## precomputed results (key - determinization - size of distribution - value-probability pairs)
32
0 0 1 0 1
1 0 2 0 0.8 1 0.2
2 0 1 0 1
3 0 2 0 0.6 1 0.4
4 0 1 0 1
5 0 2 0 0.6 1 0.4
6 0 1 0 1
7 1 2 0 0.4 1 0.6
8 0 1 0 1
9 0 2 0 0.6 1 0.4
10 0 1 0 1
11 1 2 0 0.4 1 0.6
12 0 1 0 1
13 1 2 0 0.4 1 0.6
14 0 1 0 1
15 1 2 0 0.2 1 0.8
16 1 1 1 1
17 1 1 1 1
18 1 1 1 1
19 1 1 1 1
20 1 1 1 1
21 1 1 1 1
22 1 1 1 1
23 1 1 1 1
24 1 1 1 1
25 1 1 1 1
26 1 1 1 1
27 1 1 1 1
28 1 1 1 1
29 1 1 1 1
30 1 1 1 1
31 1 1 1 1
## kleene caching type
VECTOR
## kleene caching vec size
162
## action hash keys
0 0
1 0
2 1
3 0
4 0
5 0
6 0
7 0
8 0
9 0
10 0
11 1
12 0
13 1
14 0
15 1
16 0
17 0
18 1
19 0
20 0
21 0
22 1
23 0
24 0
25 0
26 0
27 1
28 0
29 0
30 0
31 0
32 0
33 1
34 0
35 0
36 0
37 0
38 0
39 0
40 1
41 0
42 0
43 0
44 0
45 0
46 0
47 0
48 1
49 0
50 0
51 0
52 0
53 0
54 0
55 0

## index
9
## name
passed(CS52)
## number of values
2
## values
0 false
1 true
## formula
switch( (and($a(9) ~($s(19))) : Bernoulli(+(*(/(+($s(13) $s(15) $s(17)) $c(4)) $c(0.8)) $c(0.2)))) ($c(1) : $s(19)) )
## determinized formula
switch( (and($a(9) ~($s(19))) : <=($c(0.5) +(*(/(+($s(13) $s(15) $s(17)) $c(4)) $c(0.8)) $c(0.2)))) ($c(1) : $s(19)) )
## hash index
19
## caching type 
VECTOR
## precomputed results (key - determinization - size of distribution - value-probability pairs)
32
0 0 1 0 1
1 0 2 0 0.8 1 0.2
2 0 1 0 1
3 0 2 0 0.6 1 0.4
4 0 1 0 1
5 0 2 0 0.6 1 0.4
6 0 1 0 1
7 1 2 0 0.4 1 0.6
8 0 1 0 1
9 0 2 0 0.6 1 0.4
10 0 1 0 1
11 1 2 0 0.4 1 0.6
12 0 1 0 1
13 1 2 0 0.4 1 0.6
14 0 1 0 1
15 1 2 0 0.2 1 0.8
16 1 1 1 1
17 1 1 1 1
18 1 1 1 1
19 1 1 1 1
20 1 1 1 1
21 1 1 1 1
22 1 1 1 1
23 1 1 1 1
24 1 1 1 1
25 1 1 1 1
26 1 1 1 1
27 1 1 1 1
28 1 1 1 1
29 1 1 1 1
30 1 1 1 1
31 1 1 1 1
## kleene caching type
VECTOR
## kleene caching vec size
162
## action hash keys
0 0
1 1
2 0
3 0
4 0
5 0
6 0
7 0
8 0
9 0
10 0
11 1
12 1
13 0
14 1
15 0
16 0
17 1
18 0
19 0
20 0
21 1
22 0
23 0
24 0
25 0
26 1
27 0
28 0
29 0
30 0
31 0
32 1
33 0
34 0
35 0
36 0
37 0
38 0
39 1
40 0
41 0
42 0
43 0
44 0
45 0
46 0
47 1
48 0
49 0
50 0
51 0
52 0
53 0
54 0
55 0



#####REWARD#####
## formula
+(*(and($a(0) ~($s(0))) $c(-1)) *(and($a(1) ~($s(1))) $c(-1)) *(and($a(2) ~($s(2))) $c(-1)) *(and($a(3) ~($s(3))) $c(-1)) *(and($a(4) ~($s(4))) $c(-1)) *(and($a(5) ~($s(5))) $c(-1)) *(and($a(6) ~($s(6))) $c(-1)) *(and($a(7) ~($s(7))) $c(-1)) *(and($a(8) ~($s(8))) $c(-1)) *(and($a(9) ~($s(9))) $c(-1)) *(and($a(0) $s(0)) $c(-2)) *(and($a(1) $s(1)) $c(-2)) *(and($a(2) $s(2)) $c(-2)) *(and($a(3) $s(3)) $c(-2)) *(and($a(4) $s(4)) $c(-2)) *(and($a(5) $s(5)) $c(-2)) *(and($a(6) $s(6)) $c(-2)) *(and($a(7) $s(7)) $c(-2)) *(and($a(8) $s(8)) $c(-2)) *(and($a(9) $s(9)) $c(-2)) *(~(and($s(11) $s(12) $s(14) $s(15) $s(17) $s(18) $s(19))) $c(-5)))
## min
-11
## max
-0
## independent from actions
0
## hash index
20
## caching type
MAP
## kleene caching type
MAP
## action hash keys
0 0
1 1
2 2
3 3
4 4
5 5
6 6
7 7
8 8
9 9
10 10
11 11
12 12
13 13
14 14
15 15
16 16
17 17
18 18
19 19
20 20
21 21
22 22
23 23
24 24
25 25
26 26
27 27
28 28
29 29
30 30
31 31
32 32
33 33
34 34
35 35
36 36
37 37
38 38
39 39
40 40
41 41
42 42
43 43
44 44
45 45
46 46
47 47
48 48
49 49
50 50
51 51
52 52
53 53
54 54
55 55


#####PRECONDITIONS#####


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


## index
55
## state
1 1 0 0 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)
2
0 2
20 56
## kleene state fluent hash keys (first line is the number of keys)
2
0 2
20 56

## 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)
2
1 2
20 112
## kleene state fluent hash keys (first line is the number of keys)
2
1 2
20 168

## 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)
2
2 2
20 224
## kleene state fluent hash keys (first line is the number of keys)
2
2 2
20 504

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

## 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)
2
4 2
20 896
## kleene state fluent hash keys (first line is the number of keys)
2
4 2
20 4536

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

## 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)
2
6 2
20 3584
## kleene state fluent hash keys (first line is the number of keys)
2
6 2
20 40824

## 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)
2
7 2
20 7168
## kleene state fluent hash keys (first line is the number of keys)
2
7 2
20 122472

## 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)
2
8 2
20 14336
## kleene state fluent hash keys (first line is the number of keys)
2
8 2
20 367416

## 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)
2
9 2
20 28672
## kleene state fluent hash keys (first line is the number of keys)
2
9 2
20 1102248


#####HASH KEYS OF PROBABILISTIC STATE FLUENTS#####
## index
0
## 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)
5
10 2
12 2
13 2
17 2
18 2
## kleene state fluent hash keys (first line is the number of keys)
5
10 2
12 2
13 2
17 2
18 2

## index
1
## 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)
8
11 2
12 4
13 4
14 2
15 2
16 2
17 4
20 57344
## kleene state fluent hash keys (first line is the number of keys)
8
11 2
12 6
13 6
14 2
15 2
16 2
17 6
20 3306744

## index
2
## 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)
6
12 8
13 8
14 4
15 4
16 4
20 114688
## kleene state fluent hash keys (first line is the number of keys)
6
12 18
13 18
14 6
15 6
16 6
20 9920232

## index
3
## 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)
2
13 16
19 2
## kleene state fluent hash keys (first line is the number of keys)
2
13 54
19 2

## index
4
## 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)
3
14 8
16 8
20 229376
## kleene state fluent hash keys (first line is the number of keys)
3
14 18
16 18
20 29760696

## index
5
## 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)
5
15 8
16 16
18 4
19 4
20 458752
## kleene state fluent hash keys (first line is the number of keys)
5
15 18
16 54
18 6
19 6
20 89282088

## index
6
## 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 32
17 8
## kleene state fluent hash keys (first line is the number of keys)
2
16 162
17 18

## index
7
## 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)
4
17 16
18 8
19 8
20 917504
## kleene state fluent hash keys (first line is the number of keys)
4
17 54
18 18
19 18
20 267846264

## index
8
## 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)
2
18 16
20 1835008
## kleene state fluent hash keys (first line is the number of keys)
2
18 54
20 803538792

## index
9
## 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)
2
19 16
20 3670016
## kleene state fluent hash keys (first line is the number of keys)
2
19 54
20 2410616376



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