#####TASK#####
## name
game_of_life_inst_mdp__2
## horizon
40
## discount factor
1
## number of action fluents
9
## number of det state fluents
0
## number of prob state fluents
9
## number of preconds
0
## number of actions
10
## number of hashing functions
10
## initial state
0 0 0 0 0 0 1 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
12444
## number of unique states that were encountered during task analysis
511
## 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
set(x1, y1)
## number of values
2
## values
0 false
1 true

## index
1
## name
set(x1, y2)
## number of values
2
## values
0 false
1 true

## index
2
## name
set(x1, y3)
## number of values
2
## values
0 false
1 true

## index
3
## name
set(x2, y1)
## number of values
2
## values
0 false
1 true

## index
4
## name
set(x2, y2)
## number of values
2
## values
0 false
1 true

## index
5
## name
set(x2, y3)
## number of values
2
## values
0 false
1 true

## index
6
## name
set(x3, y1)
## number of values
2
## values
0 false
1 true

## index
7
## name
set(x3, y2)
## number of values
2
## values
0 false
1 true

## index
8
## name
set(x3, y3)
## number of values
2
## values
0 false
1 true



#####DET STATE FLUENTS AND CPFS#####


#####PROB STATE FLUENTS AND CPFS#####
## index
0
## name
alive(x1, y1)
## number of values
2
## values
0 false
1 true
## formula
switch( (or(and($s(0) >=(+($s(1) $s(3) $s(4)) $c(2)) <=(+($s(1) $s(3) $s(4)) $c(3))) and(~($s(0)) ==(+($s(1) $s(3) $s(4)) $c(3))) $a(0)) : Bernoulli($c(0.913291514))) ($c(1) : Bernoulli($c(0.086708486))) )
## determinized formula
or(and($s(0) >=(+($s(1) $s(3) $s(4)) $c(2)) <=(+($s(1) $s(3) $s(4)) $c(3))) and(~($s(0)) ==(+($s(1) $s(3) $s(4)) $c(3))) $a(0))
## hash index
0
## caching type 
VECTOR
## precomputed results (key - determinization - size of distribution - value-probability pairs)
32
0 0 2 0 0.913291514 1 0.086708486
1 1 2 0 0.086708486 1 0.913291514
2 0 2 0 0.913291514 1 0.086708486
3 1 2 0 0.086708486 1 0.913291514
4 0 2 0 0.913291514 1 0.086708486
5 1 2 0 0.086708486 1 0.913291514
6 0 2 0 0.913291514 1 0.086708486
7 1 2 0 0.086708486 1 0.913291514
8 0 2 0 0.913291514 1 0.086708486
9 1 2 0 0.086708486 1 0.913291514
10 0 2 0 0.913291514 1 0.086708486
11 1 2 0 0.086708486 1 0.913291514
12 0 2 0 0.913291514 1 0.086708486
13 1 2 0 0.086708486 1 0.913291514
14 1 2 0 0.086708486 1 0.913291514
15 1 2 0 0.086708486 1 0.913291514
16 0 2 0 0.913291514 1 0.086708486
17 1 2 0 0.086708486 1 0.913291514
18 0 2 0 0.913291514 1 0.086708486
19 1 2 0 0.086708486 1 0.913291514
20 0 2 0 0.913291514 1 0.086708486
21 1 2 0 0.086708486 1 0.913291514
22 1 2 0 0.086708486 1 0.913291514
23 1 2 0 0.086708486 1 0.913291514
24 0 2 0 0.913291514 1 0.086708486
25 1 2 0 0.086708486 1 0.913291514
26 1 2 0 0.086708486 1 0.913291514
27 1 2 0 0.086708486 1 0.913291514
28 1 2 0 0.086708486 1 0.913291514
29 1 2 0 0.086708486 1 0.913291514
30 1 2 0 0.086708486 1 0.913291514
31 1 2 0 0.086708486 1 0.913291514
## 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 0
8 0
9 1

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

## index
2
## name
alive(x1, y3)
## number of values
2
## values
0 false
1 true
## formula
switch( (or(and($s(2) >=(+($s(1) $s(4) $s(5)) $c(2)) <=(+($s(1) $s(4) $s(5)) $c(3))) and(~($s(2)) ==(+($s(1) $s(4) $s(5)) $c(3))) $a(2)) : Bernoulli($c(0.90946652))) ($c(1) : Bernoulli($c(0.09053348))) )
## determinized formula
or(and($s(2) >=(+($s(1) $s(4) $s(5)) $c(2)) <=(+($s(1) $s(4) $s(5)) $c(3))) and(~($s(2)) ==(+($s(1) $s(4) $s(5)) $c(3))) $a(2))
## hash index
2
## caching type 
VECTOR
## precomputed results (key - determinization - size of distribution - value-probability pairs)
32
0 0 2 0 0.90946652 1 0.09053348
1 1 2 0 0.0905334799999999 1 0.90946652
2 0 2 0 0.90946652 1 0.09053348
3 1 2 0 0.0905334799999999 1 0.90946652
4 0 2 0 0.90946652 1 0.09053348
5 1 2 0 0.0905334799999999 1 0.90946652
6 0 2 0 0.90946652 1 0.09053348
7 1 2 0 0.0905334799999999 1 0.90946652
8 0 2 0 0.90946652 1 0.09053348
9 1 2 0 0.0905334799999999 1 0.90946652
10 0 2 0 0.90946652 1 0.09053348
11 1 2 0 0.0905334799999999 1 0.90946652
12 0 2 0 0.90946652 1 0.09053348
13 1 2 0 0.0905334799999999 1 0.90946652
14 1 2 0 0.0905334799999999 1 0.90946652
15 1 2 0 0.0905334799999999 1 0.90946652
16 0 2 0 0.90946652 1 0.09053348
17 1 2 0 0.0905334799999999 1 0.90946652
18 0 2 0 0.90946652 1 0.09053348
19 1 2 0 0.0905334799999999 1 0.90946652
20 0 2 0 0.90946652 1 0.09053348
21 1 2 0 0.0905334799999999 1 0.90946652
22 1 2 0 0.0905334799999999 1 0.90946652
23 1 2 0 0.0905334799999999 1 0.90946652
24 0 2 0 0.90946652 1 0.09053348
25 1 2 0 0.0905334799999999 1 0.90946652
26 1 2 0 0.0905334799999999 1 0.90946652
27 1 2 0 0.0905334799999999 1 0.90946652
28 1 2 0 0.0905334799999999 1 0.90946652
29 1 2 0 0.0905334799999999 1 0.90946652
30 1 2 0 0.0905334799999999 1 0.90946652
31 1 2 0 0.0905334799999999 1 0.90946652
## 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

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

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

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

## index
6
## name
alive(x3, y1)
## number of values
2
## values
0 false
1 true
## formula
switch( (or(and($s(6) >=(+($s(3) $s(4) $s(7)) $c(2)) <=(+($s(3) $s(4) $s(7)) $c(3))) and(~($s(6)) ==(+($s(3) $s(4) $s(7)) $c(3))) $a(6)) : Bernoulli($c(0.938275333))) ($c(1) : Bernoulli($c(0.061724667))) )
## determinized formula
or(and($s(6) >=(+($s(3) $s(4) $s(7)) $c(2)) <=(+($s(3) $s(4) $s(7)) $c(3))) and(~($s(6)) ==(+($s(3) $s(4) $s(7)) $c(3))) $a(6))
## hash index
6
## caching type 
VECTOR
## precomputed results (key - determinization - size of distribution - value-probability pairs)
32
0 0 2 0 0.938275333 1 0.061724667
1 1 2 0 0.061724667 1 0.938275333
2 0 2 0 0.938275333 1 0.061724667
3 1 2 0 0.061724667 1 0.938275333
4 0 2 0 0.938275333 1 0.061724667
5 1 2 0 0.061724667 1 0.938275333
6 0 2 0 0.938275333 1 0.061724667
7 1 2 0 0.061724667 1 0.938275333
8 0 2 0 0.938275333 1 0.061724667
9 1 2 0 0.061724667 1 0.938275333
10 0 2 0 0.938275333 1 0.061724667
11 1 2 0 0.061724667 1 0.938275333
12 0 2 0 0.938275333 1 0.061724667
13 1 2 0 0.061724667 1 0.938275333
14 1 2 0 0.061724667 1 0.938275333
15 1 2 0 0.061724667 1 0.938275333
16 0 2 0 0.938275333 1 0.061724667
17 1 2 0 0.061724667 1 0.938275333
18 0 2 0 0.938275333 1 0.061724667
19 1 2 0 0.061724667 1 0.938275333
20 0 2 0 0.938275333 1 0.061724667
21 1 2 0 0.061724667 1 0.938275333
22 1 2 0 0.061724667 1 0.938275333
23 1 2 0 0.061724667 1 0.938275333
24 0 2 0 0.938275333 1 0.061724667
25 1 2 0 0.061724667 1 0.938275333
26 1 2 0 0.061724667 1 0.938275333
27 1 2 0 0.061724667 1 0.938275333
28 1 2 0 0.061724667 1 0.938275333
29 1 2 0 0.061724667 1 0.938275333
30 1 2 0 0.061724667 1 0.938275333
31 1 2 0 0.061724667 1 0.938275333
## 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

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

## index
8
## name
alive(x3, y3)
## number of values
2
## values
0 false
1 true
## formula
switch( (or(and($s(8) >=(+($s(4) $s(5) $s(7)) $c(2)) <=(+($s(4) $s(5) $s(7)) $c(3))) and(~($s(8)) ==(+($s(4) $s(5) $s(7)) $c(3))) $a(8)) : Bernoulli($c(0.93240941))) ($c(1) : Bernoulli($c(0.06759059))) )
## determinized formula
or(and($s(8) >=(+($s(4) $s(5) $s(7)) $c(2)) <=(+($s(4) $s(5) $s(7)) $c(3))) and(~($s(8)) ==(+($s(4) $s(5) $s(7)) $c(3))) $a(8))
## hash index
8
## caching type 
VECTOR
## precomputed results (key - determinization - size of distribution - value-probability pairs)
32
0 0 2 0 0.93240941 1 0.06759059
1 1 2 0 0.06759059 1 0.93240941
2 0 2 0 0.93240941 1 0.06759059
3 1 2 0 0.06759059 1 0.93240941
4 0 2 0 0.93240941 1 0.06759059
5 1 2 0 0.06759059 1 0.93240941
6 0 2 0 0.93240941 1 0.06759059
7 1 2 0 0.06759059 1 0.93240941
8 0 2 0 0.93240941 1 0.06759059
9 1 2 0 0.06759059 1 0.93240941
10 0 2 0 0.93240941 1 0.06759059
11 1 2 0 0.06759059 1 0.93240941
12 0 2 0 0.93240941 1 0.06759059
13 1 2 0 0.06759059 1 0.93240941
14 1 2 0 0.06759059 1 0.93240941
15 1 2 0 0.06759059 1 0.93240941
16 0 2 0 0.93240941 1 0.06759059
17 1 2 0 0.06759059 1 0.93240941
18 0 2 0 0.93240941 1 0.06759059
19 1 2 0 0.06759059 1 0.93240941
20 0 2 0 0.93240941 1 0.06759059
21 1 2 0 0.06759059 1 0.93240941
22 1 2 0 0.06759059 1 0.93240941
23 1 2 0 0.06759059 1 0.93240941
24 0 2 0 0.93240941 1 0.06759059
25 1 2 0 0.06759059 1 0.93240941
26 1 2 0 0.06759059 1 0.93240941
27 1 2 0 0.06759059 1 0.93240941
28 1 2 0 0.06759059 1 0.93240941
29 1 2 0 0.06759059 1 0.93240941
30 1 2 0 0.06759059 1 0.93240941
31 1 2 0 0.06759059 1 0.93240941
## 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



#####REWARD#####
## formula
+(-($s(0) $a(0)) -($s(1) $a(1)) -($s(2) $a(2)) -($s(3) $a(3)) -($s(4) $a(4)) -($s(5) $a(5)) -($s(6) $a(6)) -($s(7) $a(7)) -($s(8) $a(8)))
## min
-1
## max
9
## independent from actions
0
## hash index
9
## caching type
VECTOR
## precomputed results
5120
0 0
1 -1
2 -1
3 -1
4 -1
5 -1
6 -1
7 -1
8 -1
9 -1
10 1
11 0
12 0
13 0
14 0
15 0
16 0
17 0
18 0
19 0
20 1
21 0
22 0
23 0
24 0
25 0
26 0
27 0
28 0
29 0
30 2
31 1
32 1
33 1
34 1
35 1
36 1
37 1
38 1
39 1
40 1
41 0
42 0
43 0
44 0
45 0
46 0
47 0
48 0
49 0
50 2
51 1
52 1
53 1
54 1
55 1
56 1
57 1
58 1
59 1
60 2
61 1
62 1
63 1
64 1
65 1
66 1
67 1
68 1
69 1
70 3
71 2
72 2
73 2
74 2
75 2
76 2
77 2
78 2
79 2
80 1
81 0
82 0
83 0
84 0
85 0
86 0
87 0
88 0
89 0
90 2
91 1
92 1
93 1
94 1
95 1
96 1
97 1
98 1
99 1
100 2
101 1
102 1
103 1
104 1
105 1
106 1
107 1
108 1
109 1
110 3
111 2
112 2
113 2
114 2
115 2
116 2
117 2
118 2
119 2
120 2
121 1
122 1
123 1
124 1
125 1
126 1
127 1
128 1
129 1
130 3
131 2
132 2
133 2
134 2
135 2
136 2
137 2
138 2
139 2
140 3
141 2
142 2
143 2
144 2
145 2
146 2
147 2
148 2
149 2
150 4
151 3
152 3
153 3
154 3
155 3
156 3
157 3
158 3
159 3
160 1
161 0
162 0
163 0
164 0
165 0
166 0
167 0
168 0
169 0
170 2
171 1
172 1
173 1
174 1
175 1
176 1
177 1
178 1
179 1
180 2
181 1
182 1
183 1
184 1
185 1
186 1
187 1
188 1
189 1
190 3
191 2
192 2
193 2
194 2
195 2
196 2
197 2
198 2
199 2
200 2
201 1
202 1
203 1
204 1
205 1
206 1
207 1
208 1
209 1
210 3
211 2
212 2
213 2
214 2
215 2
216 2
217 2
218 2
219 2
220 3
221 2
222 2
223 2
224 2
225 2
226 2
227 2
228 2
229 2
230 4
231 3
232 3
233 3
234 3
235 3
236 3
237 3
238 3
239 3
240 2
241 1
242 1
243 1
244 1
245 1
246 1
247 1
248 1
249 1
250 3
251 2
252 2
253 2
254 2
255 2
256 2
257 2
258 2
259 2
260 3
261 2
262 2
263 2
264 2
265 2
266 2
267 2
268 2
269 2
270 4
271 3
272 3
273 3
274 3
275 3
276 3
277 3
278 3
279 3
280 3
281 2
282 2
283 2
284 2
285 2
286 2
287 2
288 2
289 2
290 4
291 3
292 3
293 3
294 3
295 3
296 3
297 3
298 3
299 3
300 4
301 3
302 3
303 3
304 3
305 3
306 3
307 3
308 3
309 3
310 5
311 4
312 4
313 4
314 4
315 4
316 4
317 4
318 4
319 4
320 1
321 0
322 0
323 0
324 0
325 0
326 0
327 0
328 0
329 0
330 2
331 1
332 1
333 1
334 1
335 1
336 1
337 1
338 1
339 1
340 2
341 1
342 1
343 1
344 1
345 1
346 1
347 1
348 1
349 1
350 3
351 2
352 2
353 2
354 2
355 2
356 2
357 2
358 2
359 2
360 2
361 1
362 1
363 1
364 1
365 1
366 1
367 1
368 1
369 1
370 3
371 2
372 2
373 2
374 2
375 2
376 2
377 2
378 2
379 2
380 3
381 2
382 2
383 2
384 2
385 2
386 2
387 2
388 2
389 2
390 4
391 3
392 3
393 3
394 3
395 3
396 3
397 3
398 3
399 3
400 2
401 1
402 1
403 1
404 1
405 1
406 1
407 1
408 1
409 1
410 3
411 2
412 2
413 2
414 2
415 2
416 2
417 2
418 2
419 2
420 3
421 2
422 2
423 2
424 2
425 2
426 2
427 2
428 2
429 2
430 4
431 3
432 3
433 3
434 3
435 3
436 3
437 3
438 3
439 3
440 3
441 2
442 2
443 2
444 2
445 2
446 2
447 2
448 2
449 2
450 4
451 3
452 3
453 3
454 3
455 3
456 3
457 3
458 3
459 3
460 4
461 3
462 3
463 3
464 3
465 3
466 3
467 3
468 3
469 3
470 5
471 4
472 4
473 4
474 4
475 4
476 4
477 4
478 4
479 4
480 2
481 1
482 1
483 1
484 1
485 1
486 1
487 1
488 1
489 1
490 3
491 2
492 2
493 2
494 2
495 2
496 2
497 2
498 2
499 2
500 3
501 2
502 2
503 2
504 2
505 2
506 2
507 2
508 2
509 2
510 4
511 3
512 3
513 3
514 3
515 3
516 3
517 3
518 3
519 3
520 3
521 2
522 2
523 2
524 2
525 2
526 2
527 2
528 2
529 2
530 4
531 3
532 3
533 3
534 3
535 3
536 3
537 3
538 3
539 3
540 4
541 3
542 3
543 3
544 3
545 3
546 3
547 3
548 3
549 3
550 5
551 4
552 4
553 4
554 4
555 4
556 4
557 4
558 4
559 4
560 3
561 2
562 2
563 2
564 2
565 2
566 2
567 2
568 2
569 2
570 4
571 3
572 3
573 3
574 3
575 3
576 3
577 3
578 3
579 3
580 4
581 3
582 3
583 3
584 3
585 3
586 3
587 3
588 3
589 3
590 5
591 4
592 4
593 4
594 4
595 4
596 4
597 4
598 4
599 4
600 4
601 3
602 3
603 3
604 3
605 3
606 3
607 3
608 3
609 3
610 5
611 4
612 4
613 4
614 4
615 4
616 4
617 4
618 4
619 4
620 5
621 4
622 4
623 4
624 4
625 4
626 4
627 4
628 4
629 4
630 6
631 5
632 5
633 5
634 5
635 5
636 5
637 5
638 5
639 5
640 1
641 0
642 0
643 0
644 0
645 0
646 0
647 0
648 0
649 0
650 2
651 1
652 1
653 1
654 1
655 1
656 1
657 1
658 1
659 1
660 2
661 1
662 1
663 1
664 1
665 1
666 1
667 1
668 1
669 1
670 3
671 2
672 2
673 2
674 2
675 2
676 2
677 2
678 2
679 2
680 2
681 1
682 1
683 1
684 1
685 1
686 1
687 1
688 1
689 1
690 3
691 2
692 2
693 2
694 2
695 2
696 2
697 2
698 2
699 2
700 3
701 2
702 2
703 2
704 2
705 2
706 2
707 2
708 2
709 2
710 4
711 3
712 3
713 3
714 3
715 3
716 3
717 3
718 3
719 3
720 2
721 1
722 1
723 1
724 1
725 1
726 1
727 1
728 1
729 1
730 3
731 2
732 2
733 2
734 2
735 2
736 2
737 2
738 2
739 2
740 3
741 2
742 2
743 2
744 2
745 2
746 2
747 2
748 2
749 2
750 4
751 3
752 3
753 3
754 3
755 3
756 3
757 3
758 3
759 3
760 3
761 2
762 2
763 2
764 2
765 2
766 2
767 2
768 2
769 2
770 4
771 3
772 3
773 3
774 3
775 3
776 3
777 3
778 3
779 3
780 4
781 3
782 3
783 3
784 3
785 3
786 3
787 3
788 3
789 3
790 5
791 4
792 4
793 4
794 4
795 4
796 4
797 4
798 4
799 4
800 2
801 1
802 1
803 1
804 1
805 1
806 1
807 1
808 1
809 1
810 3
811 2
812 2
813 2
814 2
815 2
816 2
817 2
818 2
819 2
820 3
821 2
822 2
823 2
824 2
825 2
826 2
827 2
828 2
829 2
830 4
831 3
832 3
833 3
834 3
835 3
836 3
837 3
838 3
839 3
840 3
841 2
842 2
843 2
844 2
845 2
846 2
847 2
848 2
849 2
850 4
851 3
852 3
853 3
854 3
855 3
856 3
857 3
858 3
859 3
860 4
861 3
862 3
863 3
864 3
865 3
866 3
867 3
868 3
869 3
870 5
871 4
872 4
873 4
874 4
875 4
876 4
877 4
878 4
879 4
880 3
881 2
882 2
883 2
884 2
885 2
886 2
887 2
888 2
889 2
890 4
891 3
892 3
893 3
894 3
895 3
896 3
897 3
898 3
899 3
900 4
901 3
902 3
903 3
904 3
905 3
906 3
907 3
908 3
909 3
910 5
911 4
912 4
913 4
914 4
915 4
916 4
917 4
918 4
919 4
920 4
921 3
922 3
923 3
924 3
925 3
926 3
927 3
928 3
929 3
930 5
931 4
932 4
933 4
934 4
935 4
936 4
937 4
938 4
939 4
940 5
941 4
942 4
943 4
944 4
945 4
946 4
947 4
948 4
949 4
950 6
951 5
952 5
953 5
954 5
955 5
956 5
957 5
958 5
959 5
960 2
961 1
962 1
963 1
964 1
965 1
966 1
967 1
968 1
969 1
970 3
971 2
972 2
973 2
974 2
975 2
976 2
977 2
978 2
979 2
980 3
981 2
982 2
983 2
984 2
985 2
986 2
987 2
988 2
989 2
990 4
991 3
992 3
993 3
994 3
995 3
996 3
997 3
998 3
999 3
1000 3
1001 2
1002 2
1003 2
1004 2
1005 2
1006 2
1007 2
1008 2
1009 2
1010 4
1011 3
1012 3
1013 3
1014 3
1015 3
1016 3
1017 3
1018 3
1019 3
1020 4
1021 3
1022 3
1023 3
1024 3
1025 3
1026 3
1027 3
1028 3
1029 3
1030 5
1031 4
1032 4
1033 4
1034 4
1035 4
1036 4
1037 4
1038 4
1039 4
1040 3
1041 2
1042 2
1043 2
1044 2
1045 2
1046 2
1047 2
1048 2
1049 2
1050 4
1051 3
1052 3
1053 3
1054 3
1055 3
1056 3
1057 3
1058 3
1059 3
1060 4
1061 3
1062 3
1063 3
1064 3
1065 3
1066 3
1067 3
1068 3
1069 3
1070 5
1071 4
1072 4
1073 4
1074 4
1075 4
1076 4
1077 4
1078 4
1079 4
1080 4
1081 3
1082 3
1083 3
1084 3
1085 3
1086 3
1087 3
1088 3
1089 3
1090 5
1091 4
1092 4
1093 4
1094 4
1095 4
1096 4
1097 4
1098 4
1099 4
1100 5
1101 4
1102 4
1103 4
1104 4
1105 4
1106 4
1107 4
1108 4
1109 4
1110 6
1111 5
1112 5
1113 5
1114 5
1115 5
1116 5
1117 5
1118 5
1119 5
1120 3
1121 2
1122 2
1123 2
1124 2
1125 2
1126 2
1127 2
1128 2
1129 2
1130 4
1131 3
1132 3
1133 3
1134 3
1135 3
1136 3
1137 3
1138 3
1139 3
1140 4
1141 3
1142 3
1143 3
1144 3
1145 3
1146 3
1147 3
1148 3
1149 3
1150 5
1151 4
1152 4
1153 4
1154 4
1155 4
1156 4
1157 4
1158 4
1159 4
1160 4
1161 3
1162 3
1163 3
1164 3
1165 3
1166 3
1167 3
1168 3
1169 3
1170 5
1171 4
1172 4
1173 4
1174 4
1175 4
1176 4
1177 4
1178 4
1179 4
1180 5
1181 4
1182 4
1183 4
1184 4
1185 4
1186 4
1187 4
1188 4
1189 4
1190 6
1191 5
1192 5
1193 5
1194 5
1195 5
1196 5
1197 5
1198 5
1199 5
1200 4
1201 3
1202 3
1203 3
1204 3
1205 3
1206 3
1207 3
1208 3
1209 3
1210 5
1211 4
1212 4
1213 4
1214 4
1215 4
1216 4
1217 4
1218 4
1219 4
1220 5
1221 4
1222 4
1223 4
1224 4
1225 4
1226 4
1227 4
1228 4
1229 4
1230 6
1231 5
1232 5
1233 5
1234 5
1235 5
1236 5
1237 5
1238 5
1239 5
1240 5
1241 4
1242 4
1243 4
1244 4
1245 4
1246 4
1247 4
1248 4
1249 4
1250 6
1251 5
1252 5
1253 5
1254 5
1255 5
1256 5
1257 5
1258 5
1259 5
1260 6
1261 5
1262 5
1263 5
1264 5
1265 5
1266 5
1267 5
1268 5
1269 5
1270 7
1271 6
1272 6
1273 6
1274 6
1275 6
1276 6
1277 6
1278 6
1279 6
1280 1
1281 0
1282 0
1283 0
1284 0
1285 0
1286 0
1287 0
1288 0
1289 0
1290 2
1291 1
1292 1
1293 1
1294 1
1295 1
1296 1
1297 1
1298 1
1299 1
1300 2
1301 1
1302 1
1303 1
1304 1
1305 1
1306 1
1307 1
1308 1
1309 1
1310 3
1311 2
1312 2
1313 2
1314 2
1315 2
1316 2
1317 2
1318 2
1319 2
1320 2
1321 1
1322 1
1323 1
1324 1
1325 1
1326 1
1327 1
1328 1
1329 1
1330 3
1331 2
1332 2
1333 2
1334 2
1335 2
1336 2
1337 2
1338 2
1339 2
1340 3
1341 2
1342 2
1343 2
1344 2
1345 2
1346 2
1347 2
1348 2
1349 2
1350 4
1351 3
1352 3
1353 3
1354 3
1355 3
1356 3
1357 3
1358 3
1359 3
1360 2
1361 1
1362 1
1363 1
1364 1
1365 1
1366 1
1367 1
1368 1
1369 1
1370 3
1371 2
1372 2
1373 2
1374 2
1375 2
1376 2
1377 2
1378 2
1379 2
1380 3
1381 2
1382 2
1383 2
1384 2
1385 2
1386 2
1387 2
1388 2
1389 2
1390 4
1391 3
1392 3
1393 3
1394 3
1395 3
1396 3
1397 3
1398 3
1399 3
1400 3
1401 2
1402 2
1403 2
1404 2
1405 2
1406 2
1407 2
1408 2
1409 2
1410 4
1411 3
1412 3
1413 3
1414 3
1415 3
1416 3
1417 3
1418 3
1419 3
1420 4
1421 3
1422 3
1423 3
1424 3
1425 3
1426 3
1427 3
1428 3
1429 3
1430 5
1431 4
1432 4
1433 4
1434 4
1435 4
1436 4
1437 4
1438 4
1439 4
1440 2
1441 1
1442 1
1443 1
1444 1
1445 1
1446 1
1447 1
1448 1
1449 1
1450 3
1451 2
1452 2
1453 2
1454 2
1455 2
1456 2
1457 2
1458 2
1459 2
1460 3
1461 2
1462 2
1463 2
1464 2
1465 2
1466 2
1467 2
1468 2
1469 2
1470 4
1471 3
1472 3
1473 3
1474 3
1475 3
1476 3
1477 3
1478 3
1479 3
1480 3
1481 2
1482 2
1483 2
1484 2
1485 2
1486 2
1487 2
1488 2
1489 2
1490 4
1491 3
1492 3
1493 3
1494 3
1495 3
1496 3
1497 3
1498 3
1499 3
1500 4
1501 3
1502 3
1503 3
1504 3
1505 3
1506 3
1507 3
1508 3
1509 3
1510 5
1511 4
1512 4
1513 4
1514 4
1515 4
1516 4
1517 4
1518 4
1519 4
1520 3
1521 2
1522 2
1523 2
1524 2
1525 2
1526 2
1527 2
1528 2
1529 2
1530 4
1531 3
1532 3
1533 3
1534 3
1535 3
1536 3
1537 3
1538 3
1539 3
1540 4
1541 3
1542 3
1543 3
1544 3
1545 3
1546 3
1547 3
1548 3
1549 3
1550 5
1551 4
1552 4
1553 4
1554 4
1555 4
1556 4
1557 4
1558 4
1559 4
1560 4
1561 3
1562 3
1563 3
1564 3
1565 3
1566 3
1567 3
1568 3
1569 3
1570 5
1571 4
1572 4
1573 4
1574 4
1575 4
1576 4
1577 4
1578 4
1579 4
1580 5
1581 4
1582 4
1583 4
1584 4
1585 4
1586 4
1587 4
1588 4
1589 4
1590 6
1591 5
1592 5
1593 5
1594 5
1595 5
1596 5
1597 5
1598 5
1599 5
1600 2
1601 1
1602 1
1603 1
1604 1
1605 1
1606 1
1607 1
1608 1
1609 1
1610 3
1611 2
1612 2
1613 2
1614 2
1615 2
1616 2
1617 2
1618 2
1619 2
1620 3
1621 2
1622 2
1623 2
1624 2
1625 2
1626 2
1627 2
1628 2
1629 2
1630 4
1631 3
1632 3
1633 3
1634 3
1635 3
1636 3
1637 3
1638 3
1639 3
1640 3
1641 2
1642 2
1643 2
1644 2
1645 2
1646 2
1647 2
1648 2
1649 2
1650 4
1651 3
1652 3
1653 3
1654 3
1655 3
1656 3
1657 3
1658 3
1659 3
1660 4
1661 3
1662 3
1663 3
1664 3
1665 3
1666 3
1667 3
1668 3
1669 3
1670 5
1671 4
1672 4
1673 4
1674 4
1675 4
1676 4
1677 4
1678 4
1679 4
1680 3
1681 2
1682 2
1683 2
1684 2
1685 2
1686 2
1687 2
1688 2
1689 2
1690 4
1691 3
1692 3
1693 3
1694 3
1695 3
1696 3
1697 3
1698 3
1699 3
1700 4
1701 3
1702 3
1703 3
1704 3
1705 3
1706 3
1707 3
1708 3
1709 3
1710 5
1711 4
1712 4
1713 4
1714 4
1715 4
1716 4
1717 4
1718 4
1719 4
1720 4
1721 3
1722 3
1723 3
1724 3
1725 3
1726 3
1727 3
1728 3
1729 3
1730 5
1731 4
1732 4
1733 4
1734 4
1735 4
1736 4
1737 4
1738 4
1739 4
1740 5
1741 4
1742 4
1743 4
1744 4
1745 4
1746 4
1747 4
1748 4
1749 4
1750 6
1751 5
1752 5
1753 5
1754 5
1755 5
1756 5
1757 5
1758 5
1759 5
1760 3
1761 2
1762 2
1763 2
1764 2
1765 2
1766 2
1767 2
1768 2
1769 2
1770 4
1771 3
1772 3
1773 3
1774 3
1775 3
1776 3
1777 3
1778 3
1779 3
1780 4
1781 3
1782 3
1783 3
1784 3
1785 3
1786 3
1787 3
1788 3
1789 3
1790 5
1791 4
1792 4
1793 4
1794 4
1795 4
1796 4
1797 4
1798 4
1799 4
1800 4
1801 3
1802 3
1803 3
1804 3
1805 3
1806 3
1807 3
1808 3
1809 3
1810 5
1811 4
1812 4
1813 4
1814 4
1815 4
1816 4
1817 4
1818 4
1819 4
1820 5
1821 4
1822 4
1823 4
1824 4
1825 4
1826 4
1827 4
1828 4
1829 4
1830 6
1831 5
1832 5
1833 5
1834 5
1835 5
1836 5
1837 5
1838 5
1839 5
1840 4
1841 3
1842 3
1843 3
1844 3
1845 3
1846 3
1847 3
1848 3
1849 3
1850 5
1851 4
1852 4
1853 4
1854 4
1855 4
1856 4
1857 4
1858 4
1859 4
1860 5
1861 4
1862 4
1863 4
1864 4
1865 4
1866 4
1867 4
1868 4
1869 4
1870 6
1871 5
1872 5
1873 5
1874 5
1875 5
1876 5
1877 5
1878 5
1879 5
1880 5
1881 4
1882 4
1883 4
1884 4
1885 4
1886 4
1887 4
1888 4
1889 4
1890 6
1891 5
1892 5
1893 5
1894 5
1895 5
1896 5
1897 5
1898 5
1899 5
1900 6
1901 5
1902 5
1903 5
1904 5
1905 5
1906 5
1907 5
1908 5
1909 5
1910 7
1911 6
1912 6
1913 6
1914 6
1915 6
1916 6
1917 6
1918 6
1919 6
1920 2
1921 1
1922 1
1923 1
1924 1
1925 1
1926 1
1927 1
1928 1
1929 1
1930 3
1931 2
1932 2
1933 2
1934 2
1935 2
1936 2
1937 2
1938 2
1939 2
1940 3
1941 2
1942 2
1943 2
1944 2
1945 2
1946 2
1947 2
1948 2
1949 2
1950 4
1951 3
1952 3
1953 3
1954 3
1955 3
1956 3
1957 3
1958 3
1959 3
1960 3
1961 2
1962 2
1963 2
1964 2
1965 2
1966 2
1967 2
1968 2
1969 2
1970 4
1971 3
1972 3
1973 3
1974 3
1975 3
1976 3
1977 3
1978 3
1979 3
1980 4
1981 3
1982 3
1983 3
1984 3
1985 3
1986 3
1987 3
1988 3
1989 3
1990 5
1991 4
1992 4
1993 4
1994 4
1995 4
1996 4
1997 4
1998 4
1999 4
2000 3
2001 2
2002 2
2003 2
2004 2
2005 2
2006 2
2007 2
2008 2
2009 2
2010 4
2011 3
2012 3
2013 3
2014 3
2015 3
2016 3
2017 3
2018 3
2019 3
2020 4
2021 3
2022 3
2023 3
2024 3
2025 3
2026 3
2027 3
2028 3
2029 3
2030 5
2031 4
2032 4
2033 4
2034 4
2035 4
2036 4
2037 4
2038 4
2039 4
2040 4
2041 3
2042 3
2043 3
2044 3
2045 3
2046 3
2047 3
2048 3
2049 3
2050 5
2051 4
2052 4
2053 4
2054 4
2055 4
2056 4
2057 4
2058 4
2059 4
2060 5
2061 4
2062 4
2063 4
2064 4
2065 4
2066 4
2067 4
2068 4
2069 4
2070 6
2071 5
2072 5
2073 5
2074 5
2075 5
2076 5
2077 5
2078 5
2079 5
2080 3
2081 2
2082 2
2083 2
2084 2
2085 2
2086 2
2087 2
2088 2
2089 2
2090 4
2091 3
2092 3
2093 3
2094 3
2095 3
2096 3
2097 3
2098 3
2099 3
2100 4
2101 3
2102 3
2103 3
2104 3
2105 3
2106 3
2107 3
2108 3
2109 3
2110 5
2111 4
2112 4
2113 4
2114 4
2115 4
2116 4
2117 4
2118 4
2119 4
2120 4
2121 3
2122 3
2123 3
2124 3
2125 3
2126 3
2127 3
2128 3
2129 3
2130 5
2131 4
2132 4
2133 4
2134 4
2135 4
2136 4
2137 4
2138 4
2139 4
2140 5
2141 4
2142 4
2143 4
2144 4
2145 4
2146 4
2147 4
2148 4
2149 4
2150 6
2151 5
2152 5
2153 5
2154 5
2155 5
2156 5
2157 5
2158 5
2159 5
2160 4
2161 3
2162 3
2163 3
2164 3
2165 3
2166 3
2167 3
2168 3
2169 3
2170 5
2171 4
2172 4
2173 4
2174 4
2175 4
2176 4
2177 4
2178 4
2179 4
2180 5
2181 4
2182 4
2183 4
2184 4
2185 4
2186 4
2187 4
2188 4
2189 4
2190 6
2191 5
2192 5
2193 5
2194 5
2195 5
2196 5
2197 5
2198 5
2199 5
2200 5
2201 4
2202 4
2203 4
2204 4
2205 4
2206 4
2207 4
2208 4
2209 4
2210 6
2211 5
2212 5
2213 5
2214 5
2215 5
2216 5
2217 5
2218 5
2219 5
2220 6
2221 5
2222 5
2223 5
2224 5
2225 5
2226 5
2227 5
2228 5
2229 5
2230 7
2231 6
2232 6
2233 6
2234 6
2235 6
2236 6
2237 6
2238 6
2239 6
2240 3
2241 2
2242 2
2243 2
2244 2
2245 2
2246 2
2247 2
2248 2
2249 2
2250 4
2251 3
2252 3
2253 3
2254 3
2255 3
2256 3
2257 3
2258 3
2259 3
2260 4
2261 3
2262 3
2263 3
2264 3
2265 3
2266 3
2267 3
2268 3
2269 3
2270 5
2271 4
2272 4
2273 4
2274 4
2275 4
2276 4
2277 4
2278 4
2279 4
2280 4
2281 3
2282 3
2283 3
2284 3
2285 3
2286 3
2287 3
2288 3
2289 3
2290 5
2291 4
2292 4
2293 4
2294 4
2295 4
2296 4
2297 4
2298 4
2299 4
2300 5
2301 4
2302 4
2303 4
2304 4
2305 4
2306 4
2307 4
2308 4
2309 4
2310 6
2311 5
2312 5
2313 5
2314 5
2315 5
2316 5
2317 5
2318 5
2319 5
2320 4
2321 3
2322 3
2323 3
2324 3
2325 3
2326 3
2327 3
2328 3
2329 3
2330 5
2331 4
2332 4
2333 4
2334 4
2335 4
2336 4
2337 4
2338 4
2339 4
2340 5
2341 4
2342 4
2343 4
2344 4
2345 4
2346 4
2347 4
2348 4
2349 4
2350 6
2351 5
2352 5
2353 5
2354 5
2355 5
2356 5
2357 5
2358 5
2359 5
2360 5
2361 4
2362 4
2363 4
2364 4
2365 4
2366 4
2367 4
2368 4
2369 4
2370 6
2371 5
2372 5
2373 5
2374 5
2375 5
2376 5
2377 5
2378 5
2379 5
2380 6
2381 5
2382 5
2383 5
2384 5
2385 5
2386 5
2387 5
2388 5
2389 5
2390 7
2391 6
2392 6
2393 6
2394 6
2395 6
2396 6
2397 6
2398 6
2399 6
2400 4
2401 3
2402 3
2403 3
2404 3
2405 3
2406 3
2407 3
2408 3
2409 3
2410 5
2411 4
2412 4
2413 4
2414 4
2415 4
2416 4
2417 4
2418 4
2419 4
2420 5
2421 4
2422 4
2423 4
2424 4
2425 4
2426 4
2427 4
2428 4
2429 4
2430 6
2431 5
2432 5
2433 5
2434 5
2435 5
2436 5
2437 5
2438 5
2439 5
2440 5
2441 4
2442 4
2443 4
2444 4
2445 4
2446 4
2447 4
2448 4
2449 4
2450 6
2451 5
2452 5
2453 5
2454 5
2455 5
2456 5
2457 5
2458 5
2459 5
2460 6
2461 5
2462 5
2463 5
2464 5
2465 5
2466 5
2467 5
2468 5
2469 5
2470 7
2471 6
2472 6
2473 6
2474 6
2475 6
2476 6
2477 6
2478 6
2479 6
2480 5
2481 4
2482 4
2483 4
2484 4
2485 4
2486 4
2487 4
2488 4
2489 4
2490 6
2491 5
2492 5
2493 5
2494 5
2495 5
2496 5
2497 5
2498 5
2499 5
2500 6
2501 5
2502 5
2503 5
2504 5
2505 5
2506 5
2507 5
2508 5
2509 5
2510 7
2511 6
2512 6
2513 6
2514 6
2515 6
2516 6
2517 6
2518 6
2519 6
2520 6
2521 5
2522 5
2523 5
2524 5
2525 5
2526 5
2527 5
2528 5
2529 5
2530 7
2531 6
2532 6
2533 6
2534 6
2535 6
2536 6
2537 6
2538 6
2539 6
2540 7
2541 6
2542 6
2543 6
2544 6
2545 6
2546 6
2547 6
2548 6
2549 6
2550 8
2551 7
2552 7
2553 7
2554 7
2555 7
2556 7
2557 7
2558 7
2559 7
2560 1
2561 0
2562 0
2563 0
2564 0
2565 0
2566 0
2567 0
2568 0
2569 0
2570 2
2571 1
2572 1
2573 1
2574 1
2575 1
2576 1
2577 1
2578 1
2579 1
2580 2
2581 1
2582 1
2583 1
2584 1
2585 1
2586 1
2587 1
2588 1
2589 1
2590 3
2591 2
2592 2
2593 2
2594 2
2595 2
2596 2
2597 2
2598 2
2599 2
2600 2
2601 1
2602 1
2603 1
2604 1
2605 1
2606 1
2607 1
2608 1
2609 1
2610 3
2611 2
2612 2
2613 2
2614 2
2615 2
2616 2
2617 2
2618 2
2619 2
2620 3
2621 2
2622 2
2623 2
2624 2
2625 2
2626 2
2627 2
2628 2
2629 2
2630 4
2631 3
2632 3
2633 3
2634 3
2635 3
2636 3
2637 3
2638 3
2639 3
2640 2
2641 1
2642 1
2643 1
2644 1
2645 1
2646 1
2647 1
2648 1
2649 1
2650 3
2651 2
2652 2
2653 2
2654 2
2655 2
2656 2
2657 2
2658 2
2659 2
2660 3
2661 2
2662 2
2663 2
2664 2
2665 2
2666 2
2667 2
2668 2
2669 2
2670 4
2671 3
2672 3
2673 3
2674 3
2675 3
2676 3
2677 3
2678 3
2679 3
2680 3
2681 2
2682 2
2683 2
2684 2
2685 2
2686 2
2687 2
2688 2
2689 2
2690 4
2691 3
2692 3
2693 3
2694 3
2695 3
2696 3
2697 3
2698 3
2699 3
2700 4
2701 3
2702 3
2703 3
2704 3
2705 3
2706 3
2707 3
2708 3
2709 3
2710 5
2711 4
2712 4
2713 4
2714 4
2715 4
2716 4
2717 4
2718 4
2719 4
2720 2
2721 1
2722 1
2723 1
2724 1
2725 1
2726 1
2727 1
2728 1
2729 1
2730 3
2731 2
2732 2
2733 2
2734 2
2735 2
2736 2
2737 2
2738 2
2739 2
2740 3
2741 2
2742 2
2743 2
2744 2
2745 2
2746 2
2747 2
2748 2
2749 2
2750 4
2751 3
2752 3
2753 3
2754 3
2755 3
2756 3
2757 3
2758 3
2759 3
2760 3
2761 2
2762 2
2763 2
2764 2
2765 2
2766 2
2767 2
2768 2
2769 2
2770 4
2771 3
2772 3
2773 3
2774 3
2775 3
2776 3
2777 3
2778 3
2779 3
2780 4
2781 3
2782 3
2783 3
2784 3
2785 3
2786 3
2787 3
2788 3
2789 3
2790 5
2791 4
2792 4
2793 4
2794 4
2795 4
2796 4
2797 4
2798 4
2799 4
2800 3
2801 2
2802 2
2803 2
2804 2
2805 2
2806 2
2807 2
2808 2
2809 2
2810 4
2811 3
2812 3
2813 3
2814 3
2815 3
2816 3
2817 3
2818 3
2819 3
2820 4
2821 3
2822 3
2823 3
2824 3
2825 3
2826 3
2827 3
2828 3
2829 3
2830 5
2831 4
2832 4
2833 4
2834 4
2835 4
2836 4
2837 4
2838 4
2839 4
2840 4
2841 3
2842 3
2843 3
2844 3
2845 3
2846 3
2847 3
2848 3
2849 3
2850 5
2851 4
2852 4
2853 4
2854 4
2855 4
2856 4
2857 4
2858 4
2859 4
2860 5
2861 4
2862 4
2863 4
2864 4
2865 4
2866 4
2867 4
2868 4
2869 4
2870 6
2871 5
2872 5
2873 5
2874 5
2875 5
2876 5
2877 5
2878 5
2879 5
2880 2
2881 1
2882 1
2883 1
2884 1
2885 1
2886 1
2887 1
2888 1
2889 1
2890 3
2891 2
2892 2
2893 2
2894 2
2895 2
2896 2
2897 2
2898 2
2899 2
2900 3
2901 2
2902 2
2903 2
2904 2
2905 2
2906 2
2907 2
2908 2
2909 2
2910 4
2911 3
2912 3
2913 3
2914 3
2915 3
2916 3
2917 3
2918 3
2919 3
2920 3
2921 2
2922 2
2923 2
2924 2
2925 2
2926 2
2927 2
2928 2
2929 2
2930 4
2931 3
2932 3
2933 3
2934 3
2935 3
2936 3
2937 3
2938 3
2939 3
2940 4
2941 3
2942 3
2943 3
2944 3
2945 3
2946 3
2947 3
2948 3
2949 3
2950 5
2951 4
2952 4
2953 4
2954 4
2955 4
2956 4
2957 4
2958 4
2959 4
2960 3
2961 2
2962 2
2963 2
2964 2
2965 2
2966 2
2967 2
2968 2
2969 2
2970 4
2971 3
2972 3
2973 3
2974 3
2975 3
2976 3
2977 3
2978 3
2979 3
2980 4
2981 3
2982 3
2983 3
2984 3
2985 3
2986 3
2987 3
2988 3
2989 3
2990 5
2991 4
2992 4
2993 4
2994 4
2995 4
2996 4
2997 4
2998 4
2999 4
3000 4
3001 3
3002 3
3003 3
3004 3
3005 3
3006 3
3007 3
3008 3
3009 3
3010 5
3011 4
3012 4
3013 4
3014 4
3015 4
3016 4
3017 4
3018 4
3019 4
3020 5
3021 4
3022 4
3023 4
3024 4
3025 4
3026 4
3027 4
3028 4
3029 4
3030 6
3031 5
3032 5
3033 5
3034 5
3035 5
3036 5
3037 5
3038 5
3039 5
3040 3
3041 2
3042 2
3043 2
3044 2
3045 2
3046 2
3047 2
3048 2
3049 2
3050 4
3051 3
3052 3
3053 3
3054 3
3055 3
3056 3
3057 3
3058 3
3059 3
3060 4
3061 3
3062 3
3063 3
3064 3
3065 3
3066 3
3067 3
3068 3
3069 3
3070 5
3071 4
3072 4
3073 4
3074 4
3075 4
3076 4
3077 4
3078 4
3079 4
3080 4
3081 3
3082 3
3083 3
3084 3
3085 3
3086 3
3087 3
3088 3
3089 3
3090 5
3091 4
3092 4
3093 4
3094 4
3095 4
3096 4
3097 4
3098 4
3099 4
3100 5
3101 4
3102 4
3103 4
3104 4
3105 4
3106 4
3107 4
3108 4
3109 4
3110 6
3111 5
3112 5
3113 5
3114 5
3115 5
3116 5
3117 5
3118 5
3119 5
3120 4
3121 3
3122 3
3123 3
3124 3
3125 3
3126 3
3127 3
3128 3
3129 3
3130 5
3131 4
3132 4
3133 4
3134 4
3135 4
3136 4
3137 4
3138 4
3139 4
3140 5
3141 4
3142 4
3143 4
3144 4
3145 4
3146 4
3147 4
3148 4
3149 4
3150 6
3151 5
3152 5
3153 5
3154 5
3155 5
3156 5
3157 5
3158 5
3159 5
3160 5
3161 4
3162 4
3163 4
3164 4
3165 4
3166 4
3167 4
3168 4
3169 4
3170 6
3171 5
3172 5
3173 5
3174 5
3175 5
3176 5
3177 5
3178 5
3179 5
3180 6
3181 5
3182 5
3183 5
3184 5
3185 5
3186 5
3187 5
3188 5
3189 5
3190 7
3191 6
3192 6
3193 6
3194 6
3195 6
3196 6
3197 6
3198 6
3199 6
3200 2
3201 1
3202 1
3203 1
3204 1
3205 1
3206 1
3207 1
3208 1
3209 1
3210 3
3211 2
3212 2
3213 2
3214 2
3215 2
3216 2
3217 2
3218 2
3219 2
3220 3
3221 2
3222 2
3223 2
3224 2
3225 2
3226 2
3227 2
3228 2
3229 2
3230 4
3231 3
3232 3
3233 3
3234 3
3235 3
3236 3
3237 3
3238 3
3239 3
3240 3
3241 2
3242 2
3243 2
3244 2
3245 2
3246 2
3247 2
3248 2
3249 2
3250 4
3251 3
3252 3
3253 3
3254 3
3255 3
3256 3
3257 3
3258 3
3259 3
3260 4
3261 3
3262 3
3263 3
3264 3
3265 3
3266 3
3267 3
3268 3
3269 3
3270 5
3271 4
3272 4
3273 4
3274 4
3275 4
3276 4
3277 4
3278 4
3279 4
3280 3
3281 2
3282 2
3283 2
3284 2
3285 2
3286 2
3287 2
3288 2
3289 2
3290 4
3291 3
3292 3
3293 3
3294 3
3295 3
3296 3
3297 3
3298 3
3299 3
3300 4
3301 3
3302 3
3303 3
3304 3
3305 3
3306 3
3307 3
3308 3
3309 3
3310 5
3311 4
3312 4
3313 4
3314 4
3315 4
3316 4
3317 4
3318 4
3319 4
3320 4
3321 3
3322 3
3323 3
3324 3
3325 3
3326 3
3327 3
3328 3
3329 3
3330 5
3331 4
3332 4
3333 4
3334 4
3335 4
3336 4
3337 4
3338 4
3339 4
3340 5
3341 4
3342 4
3343 4
3344 4
3345 4
3346 4
3347 4
3348 4
3349 4
3350 6
3351 5
3352 5
3353 5
3354 5
3355 5
3356 5
3357 5
3358 5
3359 5
3360 3
3361 2
3362 2
3363 2
3364 2
3365 2
3366 2
3367 2
3368 2
3369 2
3370 4
3371 3
3372 3
3373 3
3374 3
3375 3
3376 3
3377 3
3378 3
3379 3
3380 4
3381 3
3382 3
3383 3
3384 3
3385 3
3386 3
3387 3
3388 3
3389 3
3390 5
3391 4
3392 4
3393 4
3394 4
3395 4
3396 4
3397 4
3398 4
3399 4
3400 4
3401 3
3402 3
3403 3
3404 3
3405 3
3406 3
3407 3
3408 3
3409 3
3410 5
3411 4
3412 4
3413 4
3414 4
3415 4
3416 4
3417 4
3418 4
3419 4
3420 5
3421 4
3422 4
3423 4
3424 4
3425 4
3426 4
3427 4
3428 4
3429 4
3430 6
3431 5
3432 5
3433 5
3434 5
3435 5
3436 5
3437 5
3438 5
3439 5
3440 4
3441 3
3442 3
3443 3
3444 3
3445 3
3446 3
3447 3
3448 3
3449 3
3450 5
3451 4
3452 4
3453 4
3454 4
3455 4
3456 4
3457 4
3458 4
3459 4
3460 5
3461 4
3462 4
3463 4
3464 4
3465 4
3466 4
3467 4
3468 4
3469 4
3470 6
3471 5
3472 5
3473 5
3474 5
3475 5
3476 5
3477 5
3478 5
3479 5
3480 5
3481 4
3482 4
3483 4
3484 4
3485 4
3486 4
3487 4
3488 4
3489 4
3490 6
3491 5
3492 5
3493 5
3494 5
3495 5
3496 5
3497 5
3498 5
3499 5
3500 6
3501 5
3502 5
3503 5
3504 5
3505 5
3506 5
3507 5
3508 5
3509 5
3510 7
3511 6
3512 6
3513 6
3514 6
3515 6
3516 6
3517 6
3518 6
3519 6
3520 3
3521 2
3522 2
3523 2
3524 2
3525 2
3526 2
3527 2
3528 2
3529 2
3530 4
3531 3
3532 3
3533 3
3534 3
3535 3
3536 3
3537 3
3538 3
3539 3
3540 4
3541 3
3542 3
3543 3
3544 3
3545 3
3546 3
3547 3
3548 3
3549 3
3550 5
3551 4
3552 4
3553 4
3554 4
3555 4
3556 4
3557 4
3558 4
3559 4
3560 4
3561 3
3562 3
3563 3
3564 3
3565 3
3566 3
3567 3
3568 3
3569 3
3570 5
3571 4
3572 4
3573 4
3574 4
3575 4
3576 4
3577 4
3578 4
3579 4
3580 5
3581 4
3582 4
3583 4
3584 4
3585 4
3586 4
3587 4
3588 4
3589 4
3590 6
3591 5
3592 5
3593 5
3594 5
3595 5
3596 5
3597 5
3598 5
3599 5
3600 4
3601 3
3602 3
3603 3
3604 3
3605 3
3606 3
3607 3
3608 3
3609 3
3610 5
3611 4
3612 4
3613 4
3614 4
3615 4
3616 4
3617 4
3618 4
3619 4
3620 5
3621 4
3622 4
3623 4
3624 4
3625 4
3626 4
3627 4
3628 4
3629 4
3630 6
3631 5
3632 5
3633 5
3634 5
3635 5
3636 5
3637 5
3638 5
3639 5
3640 5
3641 4
3642 4
3643 4
3644 4
3645 4
3646 4
3647 4
3648 4
3649 4
3650 6
3651 5
3652 5
3653 5
3654 5
3655 5
3656 5
3657 5
3658 5
3659 5
3660 6
3661 5
3662 5
3663 5
3664 5
3665 5
3666 5
3667 5
3668 5
3669 5
3670 7
3671 6
3672 6
3673 6
3674 6
3675 6
3676 6
3677 6
3678 6
3679 6
3680 4
3681 3
3682 3
3683 3
3684 3
3685 3
3686 3
3687 3
3688 3
3689 3
3690 5
3691 4
3692 4
3693 4
3694 4
3695 4
3696 4
3697 4
3698 4
3699 4
3700 5
3701 4
3702 4
3703 4
3704 4
3705 4
3706 4
3707 4
3708 4
3709 4
3710 6
3711 5
3712 5
3713 5
3714 5
3715 5
3716 5
3717 5
3718 5
3719 5
3720 5
3721 4
3722 4
3723 4
3724 4
3725 4
3726 4
3727 4
3728 4
3729 4
3730 6
3731 5
3732 5
3733 5
3734 5
3735 5
3736 5
3737 5
3738 5
3739 5
3740 6
3741 5
3742 5
3743 5
3744 5
3745 5
3746 5
3747 5
3748 5
3749 5
3750 7
3751 6
3752 6
3753 6
3754 6
3755 6
3756 6
3757 6
3758 6
3759 6
3760 5
3761 4
3762 4
3763 4
3764 4
3765 4
3766 4
3767 4
3768 4
3769 4
3770 6
3771 5
3772 5
3773 5
3774 5
3775 5
3776 5
3777 5
3778 5
3779 5
3780 6
3781 5
3782 5
3783 5
3784 5
3785 5
3786 5
3787 5
3788 5
3789 5
3790 7
3791 6
3792 6
3793 6
3794 6
3795 6
3796 6
3797 6
3798 6
3799 6
3800 6
3801 5
3802 5
3803 5
3804 5
3805 5
3806 5
3807 5
3808 5
3809 5
3810 7
3811 6
3812 6
3813 6
3814 6
3815 6
3816 6
3817 6
3818 6
3819 6
3820 7
3821 6
3822 6
3823 6
3824 6
3825 6
3826 6
3827 6
3828 6
3829 6
3830 8
3831 7
3832 7
3833 7
3834 7
3835 7
3836 7
3837 7
3838 7
3839 7
3840 2
3841 1
3842 1
3843 1
3844 1
3845 1
3846 1
3847 1
3848 1
3849 1
3850 3
3851 2
3852 2
3853 2
3854 2
3855 2
3856 2
3857 2
3858 2
3859 2
3860 3
3861 2
3862 2
3863 2
3864 2
3865 2
3866 2
3867 2
3868 2
3869 2
3870 4
3871 3
3872 3
3873 3
3874 3
3875 3
3876 3
3877 3
3878 3
3879 3
3880 3
3881 2
3882 2
3883 2
3884 2
3885 2
3886 2
3887 2
3888 2
3889 2
3890 4
3891 3
3892 3
3893 3
3894 3
3895 3
3896 3
3897 3
3898 3
3899 3
3900 4
3901 3
3902 3
3903 3
3904 3
3905 3
3906 3
3907 3
3908 3
3909 3
3910 5
3911 4
3912 4
3913 4
3914 4
3915 4
3916 4
3917 4
3918 4
3919 4
3920 3
3921 2
3922 2
3923 2
3924 2
3925 2
3926 2
3927 2
3928 2
3929 2
3930 4
3931 3
3932 3
3933 3
3934 3
3935 3
3936 3
3937 3
3938 3
3939 3
3940 4
3941 3
3942 3
3943 3
3944 3
3945 3
3946 3
3947 3
3948 3
3949 3
3950 5
3951 4
3952 4
3953 4
3954 4
3955 4
3956 4
3957 4
3958 4
3959 4
3960 4
3961 3
3962 3
3963 3
3964 3
3965 3
3966 3
3967 3
3968 3
3969 3
3970 5
3971 4
3972 4
3973 4
3974 4
3975 4
3976 4
3977 4
3978 4
3979 4
3980 5
3981 4
3982 4
3983 4
3984 4
3985 4
3986 4
3987 4
3988 4
3989 4
3990 6
3991 5
3992 5
3993 5
3994 5
3995 5
3996 5
3997 5
3998 5
3999 5
4000 3
4001 2
4002 2
4003 2
4004 2
4005 2
4006 2
4007 2
4008 2
4009 2
4010 4
4011 3
4012 3
4013 3
4014 3
4015 3
4016 3
4017 3
4018 3
4019 3
4020 4
4021 3
4022 3
4023 3
4024 3
4025 3
4026 3
4027 3
4028 3
4029 3
4030 5
4031 4
4032 4
4033 4
4034 4
4035 4
4036 4
4037 4
4038 4
4039 4
4040 4
4041 3
4042 3
4043 3
4044 3
4045 3
4046 3
4047 3
4048 3
4049 3
4050 5
4051 4
4052 4
4053 4
4054 4
4055 4
4056 4
4057 4
4058 4
4059 4
4060 5
4061 4
4062 4
4063 4
4064 4
4065 4
4066 4
4067 4
4068 4
4069 4
4070 6
4071 5
4072 5
4073 5
4074 5
4075 5
4076 5
4077 5
4078 5
4079 5
4080 4
4081 3
4082 3
4083 3
4084 3
4085 3
4086 3
4087 3
4088 3
4089 3
4090 5
4091 4
4092 4
4093 4
4094 4
4095 4
4096 4
4097 4
4098 4
4099 4
4100 5
4101 4
4102 4
4103 4
4104 4
4105 4
4106 4
4107 4
4108 4
4109 4
4110 6
4111 5
4112 5
4113 5
4114 5
4115 5
4116 5
4117 5
4118 5
4119 5
4120 5
4121 4
4122 4
4123 4
4124 4
4125 4
4126 4
4127 4
4128 4
4129 4
4130 6
4131 5
4132 5
4133 5
4134 5
4135 5
4136 5
4137 5
4138 5
4139 5
4140 6
4141 5
4142 5
4143 5
4144 5
4145 5
4146 5
4147 5
4148 5
4149 5
4150 7
4151 6
4152 6
4153 6
4154 6
4155 6
4156 6
4157 6
4158 6
4159 6
4160 3
4161 2
4162 2
4163 2
4164 2
4165 2
4166 2
4167 2
4168 2
4169 2
4170 4
4171 3
4172 3
4173 3
4174 3
4175 3
4176 3
4177 3
4178 3
4179 3
4180 4
4181 3
4182 3
4183 3
4184 3
4185 3
4186 3
4187 3
4188 3
4189 3
4190 5
4191 4
4192 4
4193 4
4194 4
4195 4
4196 4
4197 4
4198 4
4199 4
4200 4
4201 3
4202 3
4203 3
4204 3
4205 3
4206 3
4207 3
4208 3
4209 3
4210 5
4211 4
4212 4
4213 4
4214 4
4215 4
4216 4
4217 4
4218 4
4219 4
4220 5
4221 4
4222 4
4223 4
4224 4
4225 4
4226 4
4227 4
4228 4
4229 4
4230 6
4231 5
4232 5
4233 5
4234 5
4235 5
4236 5
4237 5
4238 5
4239 5
4240 4
4241 3
4242 3
4243 3
4244 3
4245 3
4246 3
4247 3
4248 3
4249 3
4250 5
4251 4
4252 4
4253 4
4254 4
4255 4
4256 4
4257 4
4258 4
4259 4
4260 5
4261 4
4262 4
4263 4
4264 4
4265 4
4266 4
4267 4
4268 4
4269 4
4270 6
4271 5
4272 5
4273 5
4274 5
4275 5
4276 5
4277 5
4278 5
4279 5
4280 5
4281 4
4282 4
4283 4
4284 4
4285 4
4286 4
4287 4
4288 4
4289 4
4290 6
4291 5
4292 5
4293 5
4294 5
4295 5
4296 5
4297 5
4298 5
4299 5
4300 6
4301 5
4302 5
4303 5
4304 5
4305 5
4306 5
4307 5
4308 5
4309 5
4310 7
4311 6
4312 6
4313 6
4314 6
4315 6
4316 6
4317 6
4318 6
4319 6
4320 4
4321 3
4322 3
4323 3
4324 3
4325 3
4326 3
4327 3
4328 3
4329 3
4330 5
4331 4
4332 4
4333 4
4334 4
4335 4
4336 4
4337 4
4338 4
4339 4
4340 5
4341 4
4342 4
4343 4
4344 4
4345 4
4346 4
4347 4
4348 4
4349 4
4350 6
4351 5
4352 5
4353 5
4354 5
4355 5
4356 5
4357 5
4358 5
4359 5
4360 5
4361 4
4362 4
4363 4
4364 4
4365 4
4366 4
4367 4
4368 4
4369 4
4370 6
4371 5
4372 5
4373 5
4374 5
4375 5
4376 5
4377 5
4378 5
4379 5
4380 6
4381 5
4382 5
4383 5
4384 5
4385 5
4386 5
4387 5
4388 5
4389 5
4390 7
4391 6
4392 6
4393 6
4394 6
4395 6
4396 6
4397 6
4398 6
4399 6
4400 5
4401 4
4402 4
4403 4
4404 4
4405 4
4406 4
4407 4
4408 4
4409 4
4410 6
4411 5
4412 5
4413 5
4414 5
4415 5
4416 5
4417 5
4418 5
4419 5
4420 6
4421 5
4422 5
4423 5
4424 5
4425 5
4426 5
4427 5
4428 5
4429 5
4430 7
4431 6
4432 6
4433 6
4434 6
4435 6
4436 6
4437 6
4438 6
4439 6
4440 6
4441 5
4442 5
4443 5
4444 5
4445 5
4446 5
4447 5
4448 5
4449 5
4450 7
4451 6
4452 6
4453 6
4454 6
4455 6
4456 6
4457 6
4458 6
4459 6
4460 7
4461 6
4462 6
4463 6
4464 6
4465 6
4466 6
4467 6
4468 6
4469 6
4470 8
4471 7
4472 7
4473 7
4474 7
4475 7
4476 7
4477 7
4478 7
4479 7
4480 3
4481 2
4482 2
4483 2
4484 2
4485 2
4486 2
4487 2
4488 2
4489 2
4490 4
4491 3
4492 3
4493 3
4494 3
4495 3
4496 3
4497 3
4498 3
4499 3
4500 4
4501 3
4502 3
4503 3
4504 3
4505 3
4506 3
4507 3
4508 3
4509 3
4510 5
4511 4
4512 4
4513 4
4514 4
4515 4
4516 4
4517 4
4518 4
4519 4
4520 4
4521 3
4522 3
4523 3
4524 3
4525 3
4526 3
4527 3
4528 3
4529 3
4530 5
4531 4
4532 4
4533 4
4534 4
4535 4
4536 4
4537 4
4538 4
4539 4
4540 5
4541 4
4542 4
4543 4
4544 4
4545 4
4546 4
4547 4
4548 4
4549 4
4550 6
4551 5
4552 5
4553 5
4554 5
4555 5
4556 5
4557 5
4558 5
4559 5
4560 4
4561 3
4562 3
4563 3
4564 3
4565 3
4566 3
4567 3
4568 3
4569 3
4570 5
4571 4
4572 4
4573 4
4574 4
4575 4
4576 4
4577 4
4578 4
4579 4
4580 5
4581 4
4582 4
4583 4
4584 4
4585 4
4586 4
4587 4
4588 4
4589 4
4590 6
4591 5
4592 5
4593 5
4594 5
4595 5
4596 5
4597 5
4598 5
4599 5
4600 5
4601 4
4602 4
4603 4
4604 4
4605 4
4606 4
4607 4
4608 4
4609 4
4610 6
4611 5
4612 5
4613 5
4614 5
4615 5
4616 5
4617 5
4618 5
4619 5
4620 6
4621 5
4622 5
4623 5
4624 5
4625 5
4626 5
4627 5
4628 5
4629 5
4630 7
4631 6
4632 6
4633 6
4634 6
4635 6
4636 6
4637 6
4638 6
4639 6
4640 4
4641 3
4642 3
4643 3
4644 3
4645 3
4646 3
4647 3
4648 3
4649 3
4650 5
4651 4
4652 4
4653 4
4654 4
4655 4
4656 4
4657 4
4658 4
4659 4
4660 5
4661 4
4662 4
4663 4
4664 4
4665 4
4666 4
4667 4
4668 4
4669 4
4670 6
4671 5
4672 5
4673 5
4674 5
4675 5
4676 5
4677 5
4678 5
4679 5
4680 5
4681 4
4682 4
4683 4
4684 4
4685 4
4686 4
4687 4
4688 4
4689 4
4690 6
4691 5
4692 5
4693 5
4694 5
4695 5
4696 5
4697 5
4698 5
4699 5
4700 6
4701 5
4702 5
4703 5
4704 5
4705 5
4706 5
4707 5
4708 5
4709 5
4710 7
4711 6
4712 6
4713 6
4714 6
4715 6
4716 6
4717 6
4718 6
4719 6
4720 5
4721 4
4722 4
4723 4
4724 4
4725 4
4726 4
4727 4
4728 4
4729 4
4730 6
4731 5
4732 5
4733 5
4734 5
4735 5
4736 5
4737 5
4738 5
4739 5
4740 6
4741 5
4742 5
4743 5
4744 5
4745 5
4746 5
4747 5
4748 5
4749 5
4750 7
4751 6
4752 6
4753 6
4754 6
4755 6
4756 6
4757 6
4758 6
4759 6
4760 6
4761 5
4762 5
4763 5
4764 5
4765 5
4766 5
4767 5
4768 5
4769 5
4770 7
4771 6
4772 6
4773 6
4774 6
4775 6
4776 6
4777 6
4778 6
4779 6
4780 7
4781 6
4782 6
4783 6
4784 6
4785 6
4786 6
4787 6
4788 6
4789 6
4790 8
4791 7
4792 7
4793 7
4794 7
4795 7
4796 7
4797 7
4798 7
4799 7
4800 4
4801 3
4802 3
4803 3
4804 3
4805 3
4806 3
4807 3
4808 3
4809 3
4810 5
4811 4
4812 4
4813 4
4814 4
4815 4
4816 4
4817 4
4818 4
4819 4
4820 5
4821 4
4822 4
4823 4
4824 4
4825 4
4826 4
4827 4
4828 4
4829 4
4830 6
4831 5
4832 5
4833 5
4834 5
4835 5
4836 5
4837 5
4838 5
4839 5
4840 5
4841 4
4842 4
4843 4
4844 4
4845 4
4846 4
4847 4
4848 4
4849 4
4850 6
4851 5
4852 5
4853 5
4854 5
4855 5
4856 5
4857 5
4858 5
4859 5
4860 6
4861 5
4862 5
4863 5
4864 5
4865 5
4866 5
4867 5
4868 5
4869 5
4870 7
4871 6
4872 6
4873 6
4874 6
4875 6
4876 6
4877 6
4878 6
4879 6
4880 5
4881 4
4882 4
4883 4
4884 4
4885 4
4886 4
4887 4
4888 4
4889 4
4890 6
4891 5
4892 5
4893 5
4894 5
4895 5
4896 5
4897 5
4898 5
4899 5
4900 6
4901 5
4902 5
4903 5
4904 5
4905 5
4906 5
4907 5
4908 5
4909 5
4910 7
4911 6
4912 6
4913 6
4914 6
4915 6
4916 6
4917 6
4918 6
4919 6
4920 6
4921 5
4922 5
4923 5
4924 5
4925 5
4926 5
4927 5
4928 5
4929 5
4930 7
4931 6
4932 6
4933 6
4934 6
4935 6
4936 6
4937 6
4938 6
4939 6
4940 7
4941 6
4942 6
4943 6
4944 6
4945 6
4946 6
4947 6
4948 6
4949 6
4950 8
4951 7
4952 7
4953 7
4954 7
4955 7
4956 7
4957 7
4958 7
4959 7
4960 5
4961 4
4962 4
4963 4
4964 4
4965 4
4966 4
4967 4
4968 4
4969 4
4970 6
4971 5
4972 5
4973 5
4974 5
4975 5
4976 5
4977 5
4978 5
4979 5
4980 6
4981 5
4982 5
4983 5
4984 5
4985 5
4986 5
4987 5
4988 5
4989 5
4990 7
4991 6
4992 6
4993 6
4994 6
4995 6
4996 6
4997 6
4998 6
4999 6
5000 6
5001 5
5002 5
5003 5
5004 5
5005 5
5006 5
5007 5
5008 5
5009 5
5010 7
5011 6
5012 6
5013 6
5014 6
5015 6
5016 6
5017 6
5018 6
5019 6
5020 7
5021 6
5022 6
5023 6
5024 6
5025 6
5026 6
5027 6
5028 6
5029 6
5030 8
5031 7
5032 7
5033 7
5034 7
5035 7
5036 7
5037 7
5038 7
5039 7
5040 6
5041 5
5042 5
5043 5
5044 5
5045 5
5046 5
5047 5
5048 5
5049 5
5050 7
5051 6
5052 6
5053 6
5054 6
5055 6
5056 6
5057 6
5058 6
5059 6
5060 7
5061 6
5062 6
5063 6
5064 6
5065 6
5066 6
5067 6
5068 6
5069 6
5070 8
5071 7
5072 7
5073 7
5074 7
5075 7
5076 7
5077 7
5078 7
5079 7
5080 7
5081 6
5082 6
5083 6
5084 6
5085 6
5086 6
5087 6
5088 6
5089 6
5090 8
5091 7
5092 7
5093 7
5094 7
5095 7
5096 7
5097 7
5098 7
5099 7
5100 8
5101 7
5102 7
5103 7
5104 7
5105 7
5106 7
5107 7
5108 7
5109 7
5110 9
5111 8
5112 8
5113 8
5114 8
5115 8
5116 8
5117 8
5118 8
5119 8
## kleene caching type
VECTOR
## kleene caching vec size
196830
## action hash keys
0 0
1 1
2 2
3 3
4 4
5 5
6 6
7 7
8 8
9 9


#####PRECONDITIONS#####


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


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


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


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


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


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


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


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


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


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



#####HASH KEYS OF DETERMINISTIC STATE FLUENTS#####

#####HASH KEYS OF PROBABILISTIC 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)
5
0 2
1 2
3 2
4 2
9 10
## kleene state fluent hash keys (first line is the number of keys)
5
0 2
1 2
3 2
4 2
9 10

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

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

## 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
0 8
1 16
3 8
4 16
6 2
7 2
9 80
## kleene state fluent hash keys (first line is the number of keys)
7
0 18
1 54
3 18
4 54
6 2
7 2
9 270

## 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)
10
0 16
1 32
2 8
3 16
4 32
5 8
6 4
7 4
8 2
9 160
## kleene state fluent hash keys (first line is the number of keys)
10
0 54
1 162
2 18
3 54
4 162
5 18
6 6
7 6
8 2
9 810

## 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)
7
1 64
2 16
4 64
5 16
7 8
8 4
9 320
## kleene state fluent hash keys (first line is the number of keys)
7
1 486
2 54
4 486
5 54
7 18
8 6
9 2430

## 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 32
4 128
6 8
7 16
9 640
## kleene state fluent hash keys (first line is the number of keys)
5
3 162
4 1458
6 18
7 54
9 7290

## 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
3 64
4 256
5 32
6 16
7 32
8 8
9 1280
## kleene state fluent hash keys (first line is the number of keys)
7
3 486
4 4374
5 162
6 54
7 162
8 18
9 21870

## 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)
5
4 512
5 64
7 64
8 16
9 2560
## kleene state fluent hash keys (first line is the number of keys)
5
4 13122
5 486
7 486
8 54
9 65610



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