109, [s0.0_00, s0.0_10, s0.0_01, s0.1_00, s0.1_10, s0.1_01, s0.2_00, s0.2_10, s0.2_01, s0.3_00, s0.3_10, s0.3_01, s0.4_00, s0.4_10, s0.4_01, s0.5_00, s0.5_10, s0.5_01, s1.0_00, s1.0_10, s1.0_01, s1.1_00, s1.1_10, s1.1_01, s1.2_00, s1.2_10, s1.2_01, s1.3_00, s1.3_10, s1.3_01, s1.4_00, s1.4_10, s1.4_01, s1.5_00, s1.5_10, s1.5_01, s2.0_00, s2.0_10, s2.0_01, s2.1_00, s2.1_10, s2.1_01, s2.2_00, s2.2_10, s2.2_01, s2.3_00, s2.3_10, s2.3_01, s2.4_00, s2.4_10, s2.4_01, s2.5_00, s2.5_10, s2.5_01, s3.0_00, s3.0_10, s3.0_01, s3.1_00, s3.1_10, s3.1_01, s3.2_00, s3.2_10, s3.2_01, s3.3_00, s3.3_10, s3.3_01, s3.4_00, s3.4_10, s3.4_01, s3.5_00, s3.5_10, s3.5_01, s4.0_00, s4.0_10, s4.0_01, s4.1_00, s4.1_10, s4.1_01, s4.2_00, s4.2_10, s4.2_01, s4.3_00, s4.3_10, s4.3_01, s4.4_00, s4.4_10, s4.4_01, s4.5_00, s4.5_10, s4.5_01, s5.0_00, s5.0_10, s5.0_01, s5.1_00, s5.1_10, s5.1_01, s5.2_00, s5.2_10, s5.2_01, s5.3_00, s5.3_10, s5.3_01, s5.4_00, s5.4_10, s5.4_01, s5.5_00, s5.5_10, s5.5_01, exit]
1, [e1]
7, [North, South, East, West, Sample, Check0, Check1]
3, [Bad, Good, Nothing]

0, []

# Transition function (s,a,s -> p)
0,0,18 -> 1
0,1,0 -> 1
0,2,3 -> 1
0,3,0 -> 1
1,0,19 -> 1
1,1,1 -> 1
1,2,4 -> 1
1,3,1 -> 1
2,0,20 -> 1
2,1,2 -> 1
2,2,5 -> 1
2,3,2 -> 1
0,4,0 -> 1
1,4,1 -> 1
2,4,2 -> 1
0,5,0 -> 1
1,5,1 -> 1
2,5,2 -> 1
0,6,0 -> 1
1,6,1 -> 1
2,6,2 -> 1
3,0,21 -> 1
3,1,3 -> 1
3,2,6 -> 1
3,3,0 -> 1
4,0,22 -> 1
4,1,4 -> 1
4,2,7 -> 1
4,3,1 -> 1
5,0,23 -> 1
5,1,5 -> 1
5,2,8 -> 1
5,3,2 -> 1
3,4,3 -> 1
4,4,4 -> 1
5,4,5 -> 1
3,5,3 -> 1
4,5,4 -> 1
5,5,5 -> 1
3,6,3 -> 1
4,6,4 -> 1
5,6,5 -> 1
6,0,24 -> 1
6,1,6 -> 1
6,2,9 -> 1
6,3,3 -> 1
7,0,25 -> 1
7,1,7 -> 1
7,2,10 -> 1
7,3,4 -> 1
8,0,26 -> 1
8,1,8 -> 1
8,2,11 -> 1
8,3,5 -> 1
6,4,6 -> 1
7,4,7 -> 1
8,4,8 -> 1
6,5,6 -> 1
7,5,7 -> 1
8,5,8 -> 1
6,6,6 -> 1
7,6,7 -> 1
8,6,8 -> 1
9,0,27 -> 1
9,1,9 -> 1
9,2,12 -> 1
9,3,6 -> 1
10,0,28 -> 1
10,1,10 -> 1
10,2,13 -> 1
10,3,7 -> 1
11,0,29 -> 1
11,1,11 -> 1
11,2,14 -> 1
11,3,8 -> 1
9,4,9 -> 1
10,4,10 -> 1
11,4,11 -> 1
9,5,9 -> 1
10,5,10 -> 1
11,5,11 -> 1
9,6,9 -> 1
10,6,10 -> 1
11,6,11 -> 1
12,0,30 -> 1
12,1,12 -> 1
12,2,15 -> 1
12,3,9 -> 1
13,0,31 -> 1
13,1,13 -> 1
13,2,16 -> 1
13,3,10 -> 1
14,0,32 -> 1
14,1,14 -> 1
14,2,17 -> 1
14,3,11 -> 1
12,4,12 -> 1
13,4,13 -> 1
14,4,14 -> 1
12,5,12 -> 1
13,5,13 -> 1
14,5,14 -> 1
12,6,12 -> 1
13,6,13 -> 1
14,6,14 -> 1
15,0,33 -> 1
15,1,15 -> 1
15,2,108 -> 1
15,3,12 -> 1
16,0,34 -> 1
16,1,16 -> 1
16,2,108 -> 1
16,3,13 -> 1
17,0,35 -> 1
17,1,17 -> 1
17,2,108 -> 1
17,3,14 -> 1
15,4,15 -> 1
16,4,16 -> 1
17,4,17 -> 1
15,5,15 -> 1
16,5,16 -> 1
17,5,17 -> 1
15,6,15 -> 1
16,6,16 -> 1
17,6,17 -> 1
18,0,36 -> 1
18,1,0 -> 1
18,2,21 -> 1
18,3,18 -> 1
19,0,37 -> 1
19,1,1 -> 1
19,2,22 -> 1
19,3,19 -> 1
20,0,38 -> 1
20,1,2 -> 1
20,2,23 -> 1
20,3,20 -> 1
18,4,18 -> 1
19,4,19 -> 1
20,4,20 -> 1
18,5,18 -> 1
19,5,19 -> 1
20,5,20 -> 1
18,6,18 -> 1
19,6,19 -> 1
20,6,20 -> 1
21,0,39 -> 1
21,1,3 -> 1
21,2,24 -> 1
21,3,18 -> 1
22,0,40 -> 1
22,1,4 -> 1
22,2,25 -> 1
22,3,19 -> 1
23,0,41 -> 1
23,1,5 -> 1
23,2,26 -> 1
23,3,20 -> 1
21,4,21 -> 1
22,4,22 -> 1
23,4,21 -> 1
21,5,21 -> 1
22,5,22 -> 1
23,5,23 -> 1
21,6,21 -> 1
22,6,22 -> 1
23,6,23 -> 1
24,0,42 -> 1
24,1,6 -> 1
24,2,27 -> 1
24,3,21 -> 1
25,0,43 -> 1
25,1,7 -> 1
25,2,28 -> 1
25,3,22 -> 1
26,0,44 -> 1
26,1,8 -> 1
26,2,29 -> 1
26,3,23 -> 1
24,4,24 -> 1
25,4,25 -> 1
26,4,26 -> 1
24,5,24 -> 1
25,5,25 -> 1
26,5,26 -> 1
24,6,24 -> 1
25,6,25 -> 1
26,6,26 -> 1
27,0,45 -> 1
27,1,9 -> 1
27,2,30 -> 1
27,3,24 -> 1
28,0,46 -> 1
28,1,10 -> 1
28,2,31 -> 1
28,3,25 -> 1
29,0,47 -> 1
29,1,11 -> 1
29,2,32 -> 1
29,3,26 -> 1
27,4,27 -> 1
28,4,28 -> 1
29,4,29 -> 1
27,5,27 -> 1
28,5,28 -> 1
29,5,29 -> 1
27,6,27 -> 1
28,6,28 -> 1
29,6,29 -> 1
30,0,48 -> 1
30,1,12 -> 1
30,2,33 -> 1
30,3,27 -> 1
31,0,49 -> 1
31,1,13 -> 1
31,2,34 -> 1
31,3,28 -> 1
32,0,50 -> 1
32,1,14 -> 1
32,2,35 -> 1
32,3,29 -> 1
30,4,30 -> 1
31,4,31 -> 1
32,4,32 -> 1
30,5,30 -> 1
31,5,31 -> 1
32,5,32 -> 1
30,6,30 -> 1
31,6,31 -> 1
32,6,32 -> 1
33,0,51 -> 1
33,1,15 -> 1
33,2,108 -> 1
33,3,30 -> 1
34,0,52 -> 1
34,1,16 -> 1
34,2,108 -> 1
34,3,31 -> 1
35,0,53 -> 1
35,1,17 -> 1
35,2,108 -> 1
35,3,32 -> 1
33,4,33 -> 1
34,4,34 -> 1
35,4,35 -> 1
33,5,33 -> 1
34,5,34 -> 1
35,5,35 -> 1
33,6,33 -> 1
34,6,34 -> 1
35,6,35 -> 1
36,0,54 -> 1
36,1,18 -> 1
36,2,39 -> 1
36,3,36 -> 1
37,0,55 -> 1
37,1,19 -> 1
37,2,40 -> 1
37,3,37 -> 1
38,0,56 -> 1
38,1,20 -> 1
38,2,41 -> 1
38,3,38 -> 1
36,4,36 -> 1
37,4,37 -> 1
38,4,38 -> 1
36,5,36 -> 1
37,5,37 -> 1
38,5,38 -> 1
36,6,36 -> 1
37,6,37 -> 1
38,6,38 -> 1
39,0,57 -> 1
39,1,21 -> 1
39,2,42 -> 1
39,3,36 -> 1
40,0,58 -> 1
40,1,22 -> 1
40,2,43 -> 1
40,3,37 -> 1
41,0,59 -> 1
41,1,23 -> 1
41,2,44 -> 1
41,3,38 -> 1
39,4,39 -> 1
40,4,40 -> 1
41,4,41 -> 1
39,5,39 -> 1
40,5,40 -> 1
41,5,41 -> 1
39,6,39 -> 1
40,6,40 -> 1
41,6,41 -> 1
42,0,60 -> 1
42,1,24 -> 1
42,2,45 -> 1
42,3,39 -> 1
43,0,61 -> 1
43,1,25 -> 1
43,2,46 -> 1
43,3,40 -> 1
44,0,62 -> 1
44,1,26 -> 1
44,2,47 -> 1
44,3,41 -> 1
42,4,42 -> 1
43,4,42 -> 1
44,4,44 -> 1
42,5,42 -> 1
43,5,43 -> 1
44,5,44 -> 1
42,6,42 -> 1
43,6,43 -> 1
44,6,44 -> 1
45,0,63 -> 1
45,1,27 -> 1
45,2,48 -> 1
45,3,42 -> 1
46,0,64 -> 1
46,1,28 -> 1
46,2,49 -> 1
46,3,43 -> 1
47,0,65 -> 1
47,1,29 -> 1
47,2,50 -> 1
47,3,44 -> 1
45,4,45 -> 1
46,4,46 -> 1
47,4,47 -> 1
45,5,45 -> 1
46,5,46 -> 1
47,5,47 -> 1
45,6,45 -> 1
46,6,46 -> 1
47,6,47 -> 1
48,0,66 -> 1
48,1,30 -> 1
48,2,51 -> 1
48,3,45 -> 1
49,0,67 -> 1
49,1,31 -> 1
49,2,52 -> 1
49,3,46 -> 1
50,0,68 -> 1
50,1,32 -> 1
50,2,53 -> 1
50,3,47 -> 1
48,4,48 -> 1
49,4,49 -> 1
50,4,50 -> 1
48,5,48 -> 1
49,5,49 -> 1
50,5,50 -> 1
48,6,48 -> 1
49,6,49 -> 1
50,6,50 -> 1
51,0,69 -> 1
51,1,33 -> 1
51,2,108 -> 1
51,3,48 -> 1
52,0,70 -> 1
52,1,34 -> 1
52,2,108 -> 1
52,3,49 -> 1
53,0,71 -> 1
53,1,35 -> 1
53,2,108 -> 1
53,3,50 -> 1
51,4,51 -> 1
52,4,52 -> 1
53,4,53 -> 1
51,5,51 -> 1
52,5,52 -> 1
53,5,53 -> 1
51,6,51 -> 1
52,6,52 -> 1
53,6,53 -> 1
54,0,72 -> 1
54,1,36 -> 1
54,2,57 -> 1
54,3,54 -> 1
55,0,73 -> 1
55,1,37 -> 1
55,2,58 -> 1
55,3,55 -> 1
56,0,74 -> 1
56,1,38 -> 1
56,2,59 -> 1
56,3,56 -> 1
54,4,54 -> 1
55,4,55 -> 1
56,4,56 -> 1
54,5,54 -> 1
55,5,55 -> 1
56,5,56 -> 1
54,6,54 -> 1
55,6,55 -> 1
56,6,56 -> 1
57,0,75 -> 1
57,1,39 -> 1
57,2,60 -> 1
57,3,54 -> 1
58,0,76 -> 1
58,1,40 -> 1
58,2,61 -> 1
58,3,55 -> 1
59,0,77 -> 1
59,1,41 -> 1
59,2,62 -> 1
59,3,56 -> 1
57,4,57 -> 1
58,4,58 -> 1
59,4,59 -> 1
57,5,57 -> 1
58,5,58 -> 1
59,5,59 -> 1
57,6,57 -> 1
58,6,58 -> 1
59,6,59 -> 1
60,0,78 -> 1
60,1,42 -> 1
60,2,63 -> 1
60,3,57 -> 1
61,0,79 -> 1
61,1,43 -> 1
61,2,64 -> 1
61,3,58 -> 1
62,0,80 -> 1
62,1,44 -> 1
62,2,65 -> 1
62,3,59 -> 1
60,4,60 -> 1
61,4,61 -> 1
62,4,62 -> 1
60,5,60 -> 1
61,5,61 -> 1
62,5,62 -> 1
60,6,60 -> 1
61,6,61 -> 1
62,6,62 -> 1
63,0,81 -> 1
63,1,45 -> 1
63,2,66 -> 1
63,3,60 -> 1
64,0,82 -> 1
64,1,46 -> 1
64,2,67 -> 1
64,3,61 -> 1
65,0,83 -> 1
65,1,47 -> 1
65,2,68 -> 1
65,3,62 -> 1
63,4,63 -> 1
64,4,64 -> 1
65,4,65 -> 1
63,5,63 -> 1
64,5,64 -> 1
65,5,65 -> 1
63,6,63 -> 1
64,6,64 -> 1
65,6,65 -> 1
66,0,84 -> 1
66,1,48 -> 1
66,2,69 -> 1
66,3,63 -> 1
67,0,85 -> 1
67,1,49 -> 1
67,2,70 -> 1
67,3,64 -> 1
68,0,86 -> 1
68,1,50 -> 1
68,2,71 -> 1
68,3,65 -> 1
66,4,66 -> 1
67,4,67 -> 1
68,4,68 -> 1
66,5,66 -> 1
67,5,67 -> 1
68,5,68 -> 1
66,6,66 -> 1
67,6,67 -> 1
68,6,68 -> 1
69,0,87 -> 1
69,1,51 -> 1
69,2,108 -> 1
69,3,66 -> 1
70,0,88 -> 1
70,1,52 -> 1
70,2,108 -> 1
70,3,67 -> 1
71,0,89 -> 1
71,1,53 -> 1
71,2,108 -> 1
71,3,68 -> 1
69,4,69 -> 1
70,4,70 -> 1
71,4,71 -> 1
69,5,69 -> 1
70,5,70 -> 1
71,5,71 -> 1
69,6,69 -> 1
70,6,70 -> 1
71,6,71 -> 1
72,0,90 -> 1
72,1,54 -> 1
72,2,75 -> 1
72,3,72 -> 1
73,0,91 -> 1
73,1,55 -> 1
73,2,76 -> 1
73,3,73 -> 1
74,0,92 -> 1
74,1,56 -> 1
74,2,77 -> 1
74,3,74 -> 1
72,4,72 -> 1
73,4,73 -> 1
74,4,74 -> 1
72,5,72 -> 1
73,5,73 -> 1
74,5,74 -> 1
72,6,72 -> 1
73,6,73 -> 1
74,6,74 -> 1
75,0,93 -> 1
75,1,57 -> 1
75,2,78 -> 1
75,3,72 -> 1
76,0,94 -> 1
76,1,58 -> 1
76,2,79 -> 1
76,3,73 -> 1
77,0,95 -> 1
77,1,59 -> 1
77,2,80 -> 1
77,3,74 -> 1
75,4,75 -> 1
76,4,76 -> 1
77,4,77 -> 1
75,5,75 -> 1
76,5,76 -> 1
77,5,77 -> 1
75,6,75 -> 1
76,6,76 -> 1
77,6,77 -> 1
78,0,96 -> 1
78,1,60 -> 1
78,2,81 -> 1
78,3,75 -> 1
79,0,97 -> 1
79,1,61 -> 1
79,2,82 -> 1
79,3,76 -> 1
80,0,98 -> 1
80,1,62 -> 1
80,2,83 -> 1
80,3,77 -> 1
78,4,78 -> 1
79,4,79 -> 1
80,4,80 -> 1
78,5,78 -> 1
79,5,79 -> 1
80,5,80 -> 1
78,6,78 -> 1
79,6,79 -> 1
80,6,80 -> 1
81,0,99 -> 1
81,1,63 -> 1
81,2,84 -> 1
81,3,78 -> 1
82,0,100 -> 1
82,1,64 -> 1
82,2,85 -> 1
82,3,79 -> 1
83,0,101 -> 1
83,1,65 -> 1
83,2,86 -> 1
83,3,80 -> 1
81,4,81 -> 1
82,4,82 -> 1
83,4,83 -> 1
81,5,81 -> 1
82,5,82 -> 1
83,5,83 -> 1
81,6,81 -> 1
82,6,82 -> 1
83,6,83 -> 1
84,0,102 -> 1
84,1,66 -> 1
84,2,87 -> 1
84,3,81 -> 1
85,0,103 -> 1
85,1,67 -> 1
85,2,88 -> 1
85,3,82 -> 1
86,0,104 -> 1
86,1,68 -> 1
86,2,89 -> 1
86,3,83 -> 1
84,4,84 -> 1
85,4,85 -> 1
86,4,86 -> 1
84,5,84 -> 1
85,5,85 -> 1
86,5,86 -> 1
84,6,84 -> 1
85,6,85 -> 1
86,6,86 -> 1
87,0,105 -> 1
87,1,69 -> 1
87,2,108 -> 1
87,3,84 -> 1
88,0,106 -> 1
88,1,70 -> 1
88,2,108 -> 1
88,3,85 -> 1
89,0,107 -> 1
89,1,71 -> 1
89,2,108 -> 1
89,3,86 -> 1
87,4,87 -> 1
88,4,88 -> 1
89,4,89 -> 1
87,5,87 -> 1
88,5,88 -> 1
89,5,89 -> 1
87,6,87 -> 1
88,6,88 -> 1
89,6,89 -> 1
90,0,90 -> 1
90,1,72 -> 1
90,2,93 -> 1
90,3,90 -> 1
91,0,91 -> 1
91,1,73 -> 1
91,2,94 -> 1
91,3,91 -> 1
92,0,92 -> 1
92,1,74 -> 1
92,2,95 -> 1
92,3,92 -> 1
90,4,90 -> 1
91,4,91 -> 1
92,4,92 -> 1
90,5,90 -> 1
91,5,91 -> 1
92,5,92 -> 1
90,6,90 -> 1
91,6,91 -> 1
92,6,92 -> 1
93,0,93 -> 1
93,1,75 -> 1
93,2,96 -> 1
93,3,90 -> 1
94,0,94 -> 1
94,1,76 -> 1
94,2,97 -> 1
94,3,91 -> 1
95,0,95 -> 1
95,1,77 -> 1
95,2,98 -> 1
95,3,92 -> 1
93,4,93 -> 1
94,4,94 -> 1
95,4,95 -> 1
93,5,93 -> 1
94,5,94 -> 1
95,5,95 -> 1
93,6,93 -> 1
94,6,94 -> 1
95,6,95 -> 1
96,0,96 -> 1
96,1,78 -> 1
96,2,99 -> 1
96,3,93 -> 1
97,0,97 -> 1
97,1,79 -> 1
97,2,100 -> 1
97,3,94 -> 1
98,0,98 -> 1
98,1,80 -> 1
98,2,101 -> 1
98,3,95 -> 1
96,4,96 -> 1
97,4,97 -> 1
98,4,98 -> 1
96,5,96 -> 1
97,5,97 -> 1
98,5,98 -> 1
96,6,96 -> 1
97,6,97 -> 1
98,6,98 -> 1
99,0,99 -> 1
99,1,81 -> 1
99,2,102 -> 1
99,3,96 -> 1
100,0,100 -> 1
100,1,82 -> 1
100,2,103 -> 1
100,3,97 -> 1
101,0,101 -> 1
101,1,83 -> 1
101,2,104 -> 1
101,3,98 -> 1
99,4,99 -> 1
100,4,100 -> 1
101,4,101 -> 1
99,5,99 -> 1
100,5,100 -> 1
101,5,101 -> 1
99,6,99 -> 1
100,6,100 -> 1
101,6,101 -> 1
102,0,102 -> 1
102,1,84 -> 1
102,2,105 -> 1
102,3,99 -> 1
103,0,103 -> 1
103,1,85 -> 1
103,2,106 -> 1
103,3,100 -> 1
104,0,104 -> 1
104,1,86 -> 1
104,2,107 -> 1
104,3,101 -> 1
102,4,102 -> 1
103,4,103 -> 1
104,4,104 -> 1
102,5,102 -> 1
103,5,103 -> 1
104,5,104 -> 1
102,6,102 -> 1
103,6,103 -> 1
104,6,104 -> 1
105,0,105 -> 1
105,1,87 -> 1
105,2,108 -> 1
105,3,102 -> 1
106,0,106 -> 1
106,1,88 -> 1
106,2,108 -> 1
106,3,103 -> 1
107,0,107 -> 1
107,1,89 -> 1
107,2,108 -> 1
107,3,104 -> 1
105,4,105 -> 1
106,4,106 -> 1
107,4,107 -> 1
105,5,105 -> 1
106,5,106 -> 1
107,5,107 -> 1
105,6,105 -> 1
106,6,106 -> 1
107,6,107 -> 1
108,_,108 -> 1

# Observation function (a,s,o -> p)
0,0,2 -> 1
0,1,2 -> 1
0,2,2 -> 1
0,3,2 -> 1
0,4,2 -> 1
0,5,2 -> 1
0,6,2 -> 1
0,7,2 -> 1
0,8,2 -> 1
0,9,2 -> 1
0,10,2 -> 1
0,11,2 -> 1
0,12,2 -> 1
0,13,2 -> 1
0,14,2 -> 1
0,15,2 -> 1
0,16,2 -> 1
0,17,2 -> 1
0,18,2 -> 1
0,19,2 -> 1
0,20,2 -> 1
0,21,2 -> 1
0,22,2 -> 1
0,23,2 -> 1
0,24,2 -> 1
0,25,2 -> 1
0,26,2 -> 1
0,27,2 -> 1
0,28,2 -> 1
0,29,2 -> 1
0,30,2 -> 1
0,31,2 -> 1
0,32,2 -> 1
0,33,2 -> 1
0,34,2 -> 1
0,35,2 -> 1
0,36,2 -> 1
0,37,2 -> 1
0,38,2 -> 1
0,39,2 -> 1
0,40,2 -> 1
0,41,2 -> 1
0,42,2 -> 1
0,43,2 -> 1
0,44,2 -> 1
0,45,2 -> 1
0,46,2 -> 1
0,47,2 -> 1
0,48,2 -> 1
0,49,2 -> 1
0,50,2 -> 1
0,51,2 -> 1
0,52,2 -> 1
0,53,2 -> 1
0,54,2 -> 1
0,55,2 -> 1
0,56,2 -> 1
0,57,2 -> 1
0,58,2 -> 1
0,59,2 -> 1
0,60,2 -> 1
0,61,2 -> 1
0,62,2 -> 1
0,63,2 -> 1
0,64,2 -> 1
0,65,2 -> 1
0,66,2 -> 1
0,67,2 -> 1
0,68,2 -> 1
0,69,2 -> 1
0,70,2 -> 1
0,71,2 -> 1
0,72,2 -> 1
0,73,2 -> 1
0,74,2 -> 1
0,75,2 -> 1
0,76,2 -> 1
0,77,2 -> 1
0,78,2 -> 1
0,79,2 -> 1
0,80,2 -> 1
0,81,2 -> 1
0,82,2 -> 1
0,83,2 -> 1
0,84,2 -> 1
0,85,2 -> 1
0,86,2 -> 1
0,87,2 -> 1
0,88,2 -> 1
0,89,2 -> 1
0,90,2 -> 1
0,91,2 -> 1
0,92,2 -> 1
0,93,2 -> 1
0,94,2 -> 1
0,95,2 -> 1
0,96,2 -> 1
0,97,2 -> 1
0,98,2 -> 1
0,99,2 -> 1
0,100,2 -> 1
0,101,2 -> 1
0,102,2 -> 1
0,103,2 -> 1
0,104,2 -> 1
0,105,2 -> 1
0,106,2 -> 1
0,107,2 -> 1
1,0,2 -> 1
1,1,2 -> 1
1,2,2 -> 1
1,3,2 -> 1
1,4,2 -> 1
1,5,2 -> 1
1,6,2 -> 1
1,7,2 -> 1
1,8,2 -> 1
1,9,2 -> 1
1,10,2 -> 1
1,11,2 -> 1
1,12,2 -> 1
1,13,2 -> 1
1,14,2 -> 1
1,15,2 -> 1
1,16,2 -> 1
1,17,2 -> 1
1,18,2 -> 1
1,19,2 -> 1
1,20,2 -> 1
1,21,2 -> 1
1,22,2 -> 1
1,23,2 -> 1
1,24,2 -> 1
1,25,2 -> 1
1,26,2 -> 1
1,27,2 -> 1
1,28,2 -> 1
1,29,2 -> 1
1,30,2 -> 1
1,31,2 -> 1
1,32,2 -> 1
1,33,2 -> 1
1,34,2 -> 1
1,35,2 -> 1
1,36,2 -> 1
1,37,2 -> 1
1,38,2 -> 1
1,39,2 -> 1
1,40,2 -> 1
1,41,2 -> 1
1,42,2 -> 1
1,43,2 -> 1
1,44,2 -> 1
1,45,2 -> 1
1,46,2 -> 1
1,47,2 -> 1
1,48,2 -> 1
1,49,2 -> 1
1,50,2 -> 1
1,51,2 -> 1
1,52,2 -> 1
1,53,2 -> 1
1,54,2 -> 1
1,55,2 -> 1
1,56,2 -> 1
1,57,2 -> 1
1,58,2 -> 1
1,59,2 -> 1
1,60,2 -> 1
1,61,2 -> 1
1,62,2 -> 1
1,63,2 -> 1
1,64,2 -> 1
1,65,2 -> 1
1,66,2 -> 1
1,67,2 -> 1
1,68,2 -> 1
1,69,2 -> 1
1,70,2 -> 1
1,71,2 -> 1
1,72,2 -> 1
1,73,2 -> 1
1,74,2 -> 1
1,75,2 -> 1
1,76,2 -> 1
1,77,2 -> 1
1,78,2 -> 1
1,79,2 -> 1
1,80,2 -> 1
1,81,2 -> 1
1,82,2 -> 1
1,83,2 -> 1
1,84,2 -> 1
1,85,2 -> 1
1,86,2 -> 1
1,87,2 -> 1
1,88,2 -> 1
1,89,2 -> 1
1,90,2 -> 1
1,91,2 -> 1
1,92,2 -> 1
1,93,2 -> 1
1,94,2 -> 1
1,95,2 -> 1
1,96,2 -> 1
1,97,2 -> 1
1,98,2 -> 1
1,99,2 -> 1
1,100,2 -> 1
1,101,2 -> 1
1,102,2 -> 1
1,103,2 -> 1
1,104,2 -> 1
1,105,2 -> 1
1,106,2 -> 1
1,107,2 -> 1
2,0,2 -> 1
2,1,2 -> 1
2,2,2 -> 1
2,3,2 -> 1
2,4,2 -> 1
2,5,2 -> 1
2,6,2 -> 1
2,7,2 -> 1
2,8,2 -> 1
2,9,2 -> 1
2,10,2 -> 1
2,11,2 -> 1
2,12,2 -> 1
2,13,2 -> 1
2,14,2 -> 1
2,15,2 -> 1
2,16,2 -> 1
2,17,2 -> 1
2,18,2 -> 1
2,19,2 -> 1
2,20,2 -> 1
2,21,2 -> 1
2,22,2 -> 1
2,23,2 -> 1
2,24,2 -> 1
2,25,2 -> 1
2,26,2 -> 1
2,27,2 -> 1
2,28,2 -> 1
2,29,2 -> 1
2,30,2 -> 1
2,31,2 -> 1
2,32,2 -> 1
2,33,2 -> 1
2,34,2 -> 1
2,35,2 -> 1
2,36,2 -> 1
2,37,2 -> 1
2,38,2 -> 1
2,39,2 -> 1
2,40,2 -> 1
2,41,2 -> 1
2,42,2 -> 1
2,43,2 -> 1
2,44,2 -> 1
2,45,2 -> 1
2,46,2 -> 1
2,47,2 -> 1
2,48,2 -> 1
2,49,2 -> 1
2,50,2 -> 1
2,51,2 -> 1
2,52,2 -> 1
2,53,2 -> 1
2,54,2 -> 1
2,55,2 -> 1
2,56,2 -> 1
2,57,2 -> 1
2,58,2 -> 1
2,59,2 -> 1
2,60,2 -> 1
2,61,2 -> 1
2,62,2 -> 1
2,63,2 -> 1
2,64,2 -> 1
2,65,2 -> 1
2,66,2 -> 1
2,67,2 -> 1
2,68,2 -> 1
2,69,2 -> 1
2,70,2 -> 1
2,71,2 -> 1
2,72,2 -> 1
2,73,2 -> 1
2,74,2 -> 1
2,75,2 -> 1
2,76,2 -> 1
2,77,2 -> 1
2,78,2 -> 1
2,79,2 -> 1
2,80,2 -> 1
2,81,2 -> 1
2,82,2 -> 1
2,83,2 -> 1
2,84,2 -> 1
2,85,2 -> 1
2,86,2 -> 1
2,87,2 -> 1
2,88,2 -> 1
2,89,2 -> 1
2,90,2 -> 1
2,91,2 -> 1
2,92,2 -> 1
2,93,2 -> 1
2,94,2 -> 1
2,95,2 -> 1
2,96,2 -> 1
2,97,2 -> 1
2,98,2 -> 1
2,99,2 -> 1
2,100,2 -> 1
2,101,2 -> 1
2,102,2 -> 1
2,103,2 -> 1
2,104,2 -> 1
2,105,2 -> 1
2,106,2 -> 1
2,107,2 -> 1
3,0,2 -> 1
3,1,2 -> 1
3,2,2 -> 1
3,3,2 -> 1
3,4,2 -> 1
3,5,2 -> 1
3,6,2 -> 1
3,7,2 -> 1
3,8,2 -> 1
3,9,2 -> 1
3,10,2 -> 1
3,11,2 -> 1
3,12,2 -> 1
3,13,2 -> 1
3,14,2 -> 1
3,15,2 -> 1
3,16,2 -> 1
3,17,2 -> 1
3,18,2 -> 1
3,19,2 -> 1
3,20,2 -> 1
3,21,2 -> 1
3,22,2 -> 1
3,23,2 -> 1
3,24,2 -> 1
3,25,2 -> 1
3,26,2 -> 1
3,27,2 -> 1
3,28,2 -> 1
3,29,2 -> 1
3,30,2 -> 1
3,31,2 -> 1
3,32,2 -> 1
3,33,2 -> 1
3,34,2 -> 1
3,35,2 -> 1
3,36,2 -> 1
3,37,2 -> 1
3,38,2 -> 1
3,39,2 -> 1
3,40,2 -> 1
3,41,2 -> 1
3,42,2 -> 1
3,43,2 -> 1
3,44,2 -> 1
3,45,2 -> 1
3,46,2 -> 1
3,47,2 -> 1
3,48,2 -> 1
3,49,2 -> 1
3,50,2 -> 1
3,51,2 -> 1
3,52,2 -> 1
3,53,2 -> 1
3,54,2 -> 1
3,55,2 -> 1
3,56,2 -> 1
3,57,2 -> 1
3,58,2 -> 1
3,59,2 -> 1
3,60,2 -> 1
3,61,2 -> 1
3,62,2 -> 1
3,63,2 -> 1
3,64,2 -> 1
3,65,2 -> 1
3,66,2 -> 1
3,67,2 -> 1
3,68,2 -> 1
3,69,2 -> 1
3,70,2 -> 1
3,71,2 -> 1
3,72,2 -> 1
3,73,2 -> 1
3,74,2 -> 1
3,75,2 -> 1
3,76,2 -> 1
3,77,2 -> 1
3,78,2 -> 1
3,79,2 -> 1
3,80,2 -> 1
3,81,2 -> 1
3,82,2 -> 1
3,83,2 -> 1
3,84,2 -> 1
3,85,2 -> 1
3,86,2 -> 1
3,87,2 -> 1
3,88,2 -> 1
3,89,2 -> 1
3,90,2 -> 1
3,91,2 -> 1
3,92,2 -> 1
3,93,2 -> 1
3,94,2 -> 1
3,95,2 -> 1
3,96,2 -> 1
3,97,2 -> 1
3,98,2 -> 1
3,99,2 -> 1
3,100,2 -> 1
3,101,2 -> 1
3,102,2 -> 1
3,103,2 -> 1
3,104,2 -> 1
3,105,2 -> 1
3,106,2 -> 1
3,107,2 -> 1
4,0,2 -> 1
4,1,2 -> 1
4,2,2 -> 1
4,3,2 -> 1
4,4,2 -> 1
4,5,2 -> 1
4,6,2 -> 1
4,7,2 -> 1
4,8,2 -> 1
4,9,2 -> 1
4,10,2 -> 1
4,11,2 -> 1
4,12,2 -> 1
4,13,2 -> 1
4,14,2 -> 1
4,15,2 -> 1
4,16,2 -> 1
4,17,2 -> 1
4,18,2 -> 1
4,19,2 -> 1
4,20,2 -> 1
4,21,2 -> 1
4,22,2 -> 1
4,23,2 -> 1
4,24,2 -> 1
4,25,2 -> 1
4,26,2 -> 1
4,27,2 -> 1
4,28,2 -> 1
4,29,2 -> 1
4,30,2 -> 1
4,31,2 -> 1
4,32,2 -> 1
4,33,2 -> 1
4,34,2 -> 1
4,35,2 -> 1
4,36,2 -> 1
4,37,2 -> 1
4,38,2 -> 1
4,39,2 -> 1
4,40,2 -> 1
4,41,2 -> 1
4,42,2 -> 1
4,43,2 -> 1
4,44,2 -> 1
4,45,2 -> 1
4,46,2 -> 1
4,47,2 -> 1
4,48,2 -> 1
4,49,2 -> 1
4,50,2 -> 1
4,51,2 -> 1
4,52,2 -> 1
4,53,2 -> 1
4,54,2 -> 1
4,55,2 -> 1
4,56,2 -> 1
4,57,2 -> 1
4,58,2 -> 1
4,59,2 -> 1
4,60,2 -> 1
4,61,2 -> 1
4,62,2 -> 1
4,63,2 -> 1
4,64,2 -> 1
4,65,2 -> 1
4,66,2 -> 1
4,67,2 -> 1
4,68,2 -> 1
4,69,2 -> 1
4,70,2 -> 1
4,71,2 -> 1
4,72,2 -> 1
4,73,2 -> 1
4,74,2 -> 1
4,75,2 -> 1
4,76,2 -> 1
4,77,2 -> 1
4,78,2 -> 1
4,79,2 -> 1
4,80,2 -> 1
4,81,2 -> 1
4,82,2 -> 1
4,83,2 -> 1
4,84,2 -> 1
4,85,2 -> 1
4,86,2 -> 1
4,87,2 -> 1
4,88,2 -> 1
4,89,2 -> 1
4,90,2 -> 1
4,91,2 -> 1
4,92,2 -> 1
4,93,2 -> 1
4,94,2 -> 1
4,95,2 -> 1
4,96,2 -> 1
4,97,2 -> 1
4,98,2 -> 1
4,99,2 -> 1
4,100,2 -> 1
4,101,2 -> 1
4,102,2 -> 1
4,103,2 -> 1
4,104,2 -> 1
4,105,2 -> 1
4,106,2 -> 1
4,107,2 -> 1
5,0,0 -> 0.760109
5,0,1 -> 0.239891
5,1,1 -> 0.760109
5,1,0 -> 0.239891
5,2,0 -> 0.760109
5,2,1 -> 0.239891
5,3,0 -> 0.79826
5,3,1 -> 0.20174
5,4,1 -> 0.79826
5,4,0 -> 0.20174
5,5,0 -> 0.79826
5,5,1 -> 0.20174
5,6,0 -> 0.81498
5,6,1 -> 0.18502
5,7,1 -> 0.81498
5,7,0 -> 0.18502
5,8,0 -> 0.81498
5,8,1 -> 0.18502
5,9,0 -> 0.79826
5,9,1 -> 0.20174
5,10,1 -> 0.79826
5,10,0 -> 0.20174
5,11,0 -> 0.79826
5,11,1 -> 0.20174
5,12,0 -> 0.760109
5,12,1 -> 0.239891
5,13,1 -> 0.760109
5,13,0 -> 0.239891
5,14,0 -> 0.760109
5,14,1 -> 0.239891
5,15,0 -> 0.717359
5,15,1 -> 0.282641
5,16,1 -> 0.717359
5,16,0 -> 0.282641
5,17,0 -> 0.717359
5,17,1 -> 0.282641
5,18,0 -> 0.79826
5,18,1 -> 0.20174
5,19,1 -> 0.79826
5,19,0 -> 0.20174
5,20,0 -> 0.79826
5,20,1 -> 0.20174
5,21,0 -> 0.860631
5,21,1 -> 0.139369
5,22,1 -> 0.860631
5,22,0 -> 0.139369
5,23,0 -> 0.860631
5,23,1 -> 0.139369
5,24,0 -> 0.89685
5,24,1 -> 0.10315
5,25,1 -> 0.89685
5,25,0 -> 0.10315
5,26,0 -> 0.89685
5,26,1 -> 0.10315
5,27,0 -> 0.860631
5,27,1 -> 0.139369
5,28,1 -> 0.860631
5,28,0 -> 0.139369
5,29,0 -> 0.860631
5,29,1 -> 0.139369
5,30,0 -> 0.79826
5,30,1 -> 0.20174
5,31,1 -> 0.79826
5,31,0 -> 0.20174
5,32,0 -> 0.79826
5,32,1 -> 0.20174
5,33,0 -> 0.7408
5,33,1 -> 0.2592
5,34,1 -> 0.7408
5,34,0 -> 0.2592
5,35,0 -> 0.7408
5,35,1 -> 0.2592
5,36,0 -> 0.81498
5,36,1 -> 0.18502
5,37,1 -> 0.81498
5,37,0 -> 0.18502
5,38,0 -> 0.81498
5,38,1 -> 0.18502
5,39,0 -> 0.89685
5,39,1 -> 0.10315
5,40,1 -> 0.89685
5,40,0 -> 0.10315
5,41,0 -> 0.89685
5,41,1 -> 0.10315
5,42,0 -> 1.0
5,42,1 -> 0.0
5,43,1 -> 1.0
5,43,0 -> 0.0
5,44,0 -> 1.0
5,44,1 -> 0.0
5,45,0 -> 0.89685
5,45,1 -> 0.10315
5,46,1 -> 0.89685
5,46,0 -> 0.10315
5,47,0 -> 0.89685
5,47,1 -> 0.10315
5,48,0 -> 0.81498
5,48,1 -> 0.18502
5,49,1 -> 0.81498
5,49,0 -> 0.18502
5,50,0 -> 0.81498
5,50,1 -> 0.18502
5,51,0 -> 0.75
5,51,1 -> 0.25
5,52,1 -> 0.75
5,52,0 -> 0.25
5,53,0 -> 0.75
5,53,1 -> 0.25
5,54,0 -> 0.79826
5,54,1 -> 0.20174
5,55,1 -> 0.79826
5,55,0 -> 0.20174
5,56,0 -> 0.79826
5,56,1 -> 0.20174
5,57,0 -> 0.860631
5,57,1 -> 0.139369
5,58,1 -> 0.860631
5,58,0 -> 0.139369
5,59,0 -> 0.860631
5,59,1 -> 0.139369
5,60,0 -> 0.89685
5,60,1 -> 0.10315
5,61,1 -> 0.89685
5,61,0 -> 0.10315
5,62,0 -> 0.89685
5,62,1 -> 0.10315
5,63,0 -> 0.860631
5,63,1 -> 0.139369
5,64,1 -> 0.860631
5,64,0 -> 0.139369
5,65,0 -> 0.860631
5,65,1 -> 0.139369
5,66,0 -> 0.79826
5,66,1 -> 0.20174
5,67,1 -> 0.79826
5,67,0 -> 0.20174
5,68,0 -> 0.79826
5,68,1 -> 0.20174
5,69,0 -> 0.7408
5,69,1 -> 0.2592
5,70,1 -> 0.7408
5,70,0 -> 0.2592
5,71,0 -> 0.7408
5,71,1 -> 0.2592
5,72,0 -> 0.760109
5,72,1 -> 0.239891
5,73,1 -> 0.760109
5,73,0 -> 0.239891
5,74,0 -> 0.760109
5,74,1 -> 0.239891
5,75,0 -> 0.79826
5,75,1 -> 0.20174
5,76,1 -> 0.79826
5,76,0 -> 0.20174
5,77,0 -> 0.79826
5,77,1 -> 0.20174
5,78,0 -> 0.81498
5,78,1 -> 0.18502
5,79,1 -> 0.81498
5,79,0 -> 0.18502
5,80,0 -> 0.81498
5,80,1 -> 0.18502
5,81,0 -> 0.79826
5,81,1 -> 0.20174
5,82,1 -> 0.79826
5,82,0 -> 0.20174
5,83,0 -> 0.79826
5,83,1 -> 0.20174
5,84,0 -> 0.760109
5,84,1 -> 0.239891
5,85,1 -> 0.760109
5,85,0 -> 0.239891
5,86,0 -> 0.760109
5,86,1 -> 0.239891
5,87,0 -> 0.717359
5,87,1 -> 0.282641
5,88,1 -> 0.717359
5,88,0 -> 0.282641
5,89,0 -> 0.717359
5,89,1 -> 0.282641
5,90,0 -> 0.717359
5,90,1 -> 0.282641
5,91,1 -> 0.717359
5,91,0 -> 0.282641
5,92,0 -> 0.717359
5,92,1 -> 0.282641
5,93,0 -> 0.7408
5,93,1 -> 0.2592
5,94,1 -> 0.7408
5,94,0 -> 0.2592
5,95,0 -> 0.7408
5,95,1 -> 0.2592
5,96,0 -> 0.75
5,96,1 -> 0.25
5,97,1 -> 0.75
5,97,0 -> 0.25
5,98,0 -> 0.75
5,98,1 -> 0.25
5,99,0 -> 0.7408
5,99,1 -> 0.2592
5,100,1 -> 0.7408
5,100,0 -> 0.2592
5,101,0 -> 0.7408
5,101,1 -> 0.2592
5,102,0 -> 0.717359
5,102,1 -> 0.282641
5,103,1 -> 0.717359
5,103,0 -> 0.282641
5,104,0 -> 0.717359
5,104,1 -> 0.282641
5,105,0 -> 0.687607
5,105,1 -> 0.312393
5,106,1 -> 0.687607
5,106,0 -> 0.312393
5,107,0 -> 0.687607
5,107,1 -> 0.312393
6,0,0 -> 0.860631
6,0,1 -> 0.139369
6,1,0 -> 0.860631
6,1,1 -> 0.139369
6,2,1 -> 0.860631
6,2,0 -> 0.139369
6,3,0 -> 0.89685
6,3,1 -> 0.10315
6,4,0 -> 0.89685
6,4,1 -> 0.10315
6,5,1 -> 0.89685
6,5,0 -> 0.10315
6,6,0 -> 0.860631
6,6,1 -> 0.139369
6,7,0 -> 0.860631
6,7,1 -> 0.139369
6,8,1 -> 0.860631
6,8,0 -> 0.139369
6,9,0 -> 0.79826
6,9,1 -> 0.20174
6,10,0 -> 0.79826
6,10,1 -> 0.20174
6,11,1 -> 0.79826
6,11,0 -> 0.20174
6,12,0 -> 0.7408
6,12,1 -> 0.2592
6,13,0 -> 0.7408
6,13,1 -> 0.2592
6,14,1 -> 0.7408
6,14,0 -> 0.2592
6,15,0 -> 0.692861
6,15,1 -> 0.307139
6,16,0 -> 0.692861
6,16,1 -> 0.307139
6,17,1 -> 0.692861
6,17,0 -> 0.307139
6,18,0 -> 0.89685
6,18,1 -> 0.10315
6,19,0 -> 0.89685
6,19,1 -> 0.10315
6,20,1 -> 0.89685
6,20,0 -> 0.10315
6,21,0 -> 1.0
6,21,1 -> 0.0
6,22,0 -> 1.0
6,22,1 -> 0.0
6,23,1 -> 1.0
6,23,0 -> 0.0
6,24,0 -> 0.89685
6,24,1 -> 0.10315
6,25,0 -> 0.89685
6,25,1 -> 0.10315
6,26,1 -> 0.89685
6,26,0 -> 0.10315
6,27,0 -> 0.81498
6,27,1 -> 0.18502
6,28,0 -> 0.81498
6,28,1 -> 0.18502
6,29,1 -> 0.81498
6,29,0 -> 0.18502
6,30,0 -> 0.75
6,30,1 -> 0.25
6,31,0 -> 0.75
6,31,1 -> 0.25
6,32,1 -> 0.75
6,32,0 -> 0.25
6,33,0 -> 0.698425
6,33,1 -> 0.301575
6,34,0 -> 0.698425
6,34,1 -> 0.301575
6,35,1 -> 0.698425
6,35,0 -> 0.301575
6,36,0 -> 0.860631
6,36,1 -> 0.139369
6,37,0 -> 0.860631
6,37,1 -> 0.139369
6,38,1 -> 0.860631
6,38,0 -> 0.139369
6,39,0 -> 0.89685
6,39,1 -> 0.10315
6,40,0 -> 0.89685
6,40,1 -> 0.10315
6,41,1 -> 0.89685
6,41,0 -> 0.10315
6,42,0 -> 0.860631
6,42,1 -> 0.139369
6,43,0 -> 0.860631
6,43,1 -> 0.139369
6,44,1 -> 0.860631
6,44,0 -> 0.139369
6,45,0 -> 0.79826
6,45,1 -> 0.20174
6,46,0 -> 0.79826
6,46,1 -> 0.20174
6,47,1 -> 0.79826
6,47,0 -> 0.20174
6,48,0 -> 0.7408
6,48,1 -> 0.2592
6,49,0 -> 0.7408
6,49,1 -> 0.2592
6,50,1 -> 0.7408
6,50,0 -> 0.2592
6,51,0 -> 0.692861
6,51,1 -> 0.307139
6,52,0 -> 0.692861
6,52,1 -> 0.307139
6,53,1 -> 0.692861
6,53,0 -> 0.307139
6,54,0 -> 0.79826
6,54,1 -> 0.20174
6,55,0 -> 0.79826
6,55,1 -> 0.20174
6,56,1 -> 0.79826
6,56,0 -> 0.20174
6,57,0 -> 0.81498
6,57,1 -> 0.18502
6,58,0 -> 0.81498
6,58,1 -> 0.18502
6,59,1 -> 0.81498
6,59,0 -> 0.18502
6,60,0 -> 0.79826
6,60,1 -> 0.20174
6,61,0 -> 0.79826
6,61,1 -> 0.20174
6,62,1 -> 0.79826
6,62,0 -> 0.20174
6,63,0 -> 0.760109
6,63,1 -> 0.239891
6,64,0 -> 0.760109
6,64,1 -> 0.239891
6,65,1 -> 0.760109
6,65,0 -> 0.239891
6,66,0 -> 0.717359
6,66,1 -> 0.282641
6,67,0 -> 0.717359
6,67,1 -> 0.282641
6,68,1 -> 0.717359
6,68,0 -> 0.282641
6,69,0 -> 0.677918
6,69,1 -> 0.322082
6,70,0 -> 0.677918
6,70,1 -> 0.322082
6,71,1 -> 0.677918
6,71,0 -> 0.322082
6,72,0 -> 0.7408
6,72,1 -> 0.2592
6,73,0 -> 0.7408
6,73,1 -> 0.2592
6,74,1 -> 0.7408
6,74,0 -> 0.2592
6,75,0 -> 0.75
6,75,1 -> 0.25
6,76,0 -> 0.75
6,76,1 -> 0.25
6,77,1 -> 0.75
6,77,0 -> 0.25
6,78,0 -> 0.7408
6,78,1 -> 0.2592
6,79,0 -> 0.7408
6,79,1 -> 0.2592
6,80,1 -> 0.7408
6,80,0 -> 0.2592
6,81,0 -> 0.717359
6,81,1 -> 0.282641
6,82,0 -> 0.717359
6,82,1 -> 0.282641
6,83,1 -> 0.717359
6,83,0 -> 0.282641
6,84,0 -> 0.687607
6,84,1 -> 0.312393
6,85,0 -> 0.687607
6,85,1 -> 0.312393
6,86,1 -> 0.687607
6,86,0 -> 0.312393
6,87,0 -> 0.65749
6,87,1 -> 0.34251
6,88,0 -> 0.65749
6,88,1 -> 0.34251
6,89,1 -> 0.65749
6,89,0 -> 0.34251
6,90,0 -> 0.692861
6,90,1 -> 0.307139
6,91,0 -> 0.692861
6,91,1 -> 0.307139
6,92,1 -> 0.692861
6,92,0 -> 0.307139
6,93,0 -> 0.698425
6,93,1 -> 0.301575
6,94,0 -> 0.698425
6,94,1 -> 0.301575
6,95,1 -> 0.698425
6,95,0 -> 0.301575
6,96,0 -> 0.692861
6,96,1 -> 0.307139
6,97,0 -> 0.692861
6,97,1 -> 0.307139
6,98,1 -> 0.692861
6,98,0 -> 0.307139
6,99,0 -> 0.677918
6,99,1 -> 0.322082
6,100,0 -> 0.677918
6,100,1 -> 0.322082
6,101,1 -> 0.677918
6,101,0 -> 0.322082
6,102,0 -> 0.65749
6,102,1 -> 0.34251
6,103,0 -> 0.65749
6,103,1 -> 0.34251
6,104,1 -> 0.65749
6,104,0 -> 0.34251
6,105,0 -> 0.635314
6,105,1 -> 0.364686
6,106,0 -> 0.635314
6,106,1 -> 0.364686
6,107,1 -> 0.635314
6,107,0 -> 0.364686
_,108,2 -> 1

# Reward function (s,a -> r)
15,2 -> 10
16,2 -> 10
17,2 -> 10
21,4 -> -10
22,4 -> -10
23,4 -> 10
33,2 -> 10
34,2 -> 10
35,2 -> 10
42,4 -> -10
43,4 -> 10
44,4 -> -10
51,2 -> 10
52,2 -> 10
53,2 -> 10
69,2 -> 10
70,2 -> 10
71,2 -> 10
87,2 -> 10
88,2 -> 10
89,2 -> 10
105,2 -> 10
106,2 -> 10
107,2 -> 10

# Initial tuples (n,s)
0,1
0,2