73, [s0.0-b.b.b, s0.0-b.b.g, s0.0-b.g.b, s0.0-b.g.g, s0.0-g.b.b, s0.0-g.b.g, s0.0-g.g.b, s0.0-g.g.g, s0.1-b.b.b, s0.1-b.b.g, s0.1-b.g.b, s0.1-b.g.g, s0.1-g.b.b, s0.1-g.b.g, s0.1-g.g.b, s0.1-g.g.g, s0.2-b.b.b, s0.2-b.b.g, s0.2-b.g.b, s0.2-b.g.g, s0.2-g.b.b, s0.2-g.b.g, s0.2-g.g.b, s0.2-g.g.g, s1.0-b.b.b, s1.0-b.b.g, s1.0-b.g.b, s1.0-b.g.g, s1.0-g.b.b, s1.0-g.b.g, s1.0-g.g.b, s1.0-g.g.g, s1.1-b.b.b, s1.1-b.b.g, s1.1-b.g.b, s1.1-b.g.g, s1.1-g.b.b, s1.1-g.b.g, s1.1-g.g.b, s1.1-g.g.g, s1.2-b.b.b, s1.2-b.b.g, s1.2-b.g.b, s1.2-b.g.g, s1.2-g.b.b, s1.2-g.b.g, s1.2-g.g.b, s1.2-g.g.g, s2.0-b.b.b, s2.0-b.b.g, s2.0-b.g.b, s2.0-b.g.g, s2.0-g.b.b, s2.0-g.b.g, s2.0-g.g.b, s2.0-g.g.g, s2.1-b.b.b, s2.1-b.b.g, s2.1-b.g.b, s2.1-b.g.g, s2.1-g.b.b, s2.1-g.b.g, s2.1-g.g.b, s2.1-g.g.g, s2.2-b.b.b, s2.2-b.b.g, s2.2-b.g.b, s2.2-b.g.g, s2.2-g.b.b, s2.2-g.b.g, s2.2-g.g.b, s2.2-g.g.g, exit]
4, [e-gggb, e-ggbg, e-gbgg, e-bggg]
9, [North, South, East, West, Sample, Check0, Check1, Check2, Check3]
3, [Bad, Good, Nothing]

236, [pt_0.0, pt_0.1, pt_0.2, pt_1.0, pt_1.1, pt_1.2, pt_2.0, pt_2.1, pt_2.2, pt_3.0, pt_3.1, pt_3.2, po_0.000_0, po_0.000_1, po_0.000_2, po_0.000_3, po_0.000_4, po_0.000_5, po_0.001_0, po_0.001_1, po_0.001_2, po_0.001_3, po_0.001_4, po_0.001_5, po_0.010_0, po_0.010_1, po_0.010_2, po_0.010_3, po_0.010_4, po_0.010_5, po_0.011_0, po_0.011_1, po_0.011_2, po_0.011_3, po_0.011_4, po_0.011_5, po_0.100_0, po_0.100_1, po_0.100_2, po_0.100_3, po_0.100_4, po_0.100_5, po_0.101_0, po_0.101_1, po_0.101_2, po_0.101_3, po_0.101_4, po_0.101_5, po_0.110_0, po_0.110_1, po_0.110_2, po_0.110_3, po_0.110_4, po_0.110_5, po_0.111_0, po_0.111_1, po_0.111_2, po_0.111_3, po_0.111_4, po_0.111_5, po_1.000_0, po_1.000_1, po_1.000_2, po_1.000_3, po_1.000_4, po_1.000_5, po_1.001_0, po_1.001_1, po_1.001_2, po_1.001_3, po_1.001_4, po_1.001_5, po_1.010_0, po_1.010_1, po_1.010_2, po_1.010_3, po_1.010_4, po_1.010_5, po_1.011_0, po_1.011_1, po_1.011_2, po_1.011_3, po_1.011_4, po_1.011_5, po_1.100_0, po_1.100_1, po_1.100_2, po_1.100_3, po_1.100_4, po_1.100_5, po_1.101_0, po_1.101_1, po_1.101_2, po_1.101_3, po_1.101_4, po_1.101_5, po_1.110_0, po_1.110_1, po_1.110_2, po_1.110_3, po_1.110_4, po_1.110_5, po_1.111_0, po_1.111_1, po_1.111_2, po_1.111_3, po_1.111_4, po_1.111_5, po_2.000_0, po_2.000_1, po_2.000_2, po_2.000_3, po_2.000_4, po_2.000_5, po_2.001_0, po_2.001_1, po_2.001_2, po_2.001_3, po_2.001_4, po_2.001_5, po_2.010_0, po_2.010_1, po_2.010_2, po_2.010_3, po_2.010_4, po_2.010_5, po_2.011_0, po_2.011_1, po_2.011_2, po_2.011_3, po_2.011_4, po_2.011_5, po_2.100_0, po_2.100_1, po_2.100_2, po_2.100_3, po_2.100_4, po_2.100_5, po_2.101_0, po_2.101_1, po_2.101_2, po_2.101_3, po_2.101_4, po_2.101_5, po_2.110_0, po_2.110_1, po_2.110_2, po_2.110_3, po_2.110_4, po_2.110_5, po_2.111_0, po_2.111_1, po_2.111_2, po_2.111_3, po_2.111_4, po_2.111_5, po_3.000_0, po_3.000_1, po_3.000_2, po_3.000_3, po_3.000_4, po_3.000_5, po_3.001_0, po_3.001_1, po_3.001_2, po_3.001_3, po_3.001_4, po_3.001_5, po_3.010_0, po_3.010_1, po_3.010_2, po_3.010_3, po_3.010_4, po_3.010_5, po_3.011_0, po_3.011_1, po_3.011_2, po_3.011_3, po_3.011_4, po_3.011_5, po_3.100_0, po_3.100_1, po_3.100_2, po_3.100_3, po_3.100_4, po_3.100_5, po_3.101_0, po_3.101_1, po_3.101_2, po_3.101_3, po_3.101_4, po_3.101_5, po_3.110_0, po_3.110_1, po_3.110_2, po_3.110_3, po_3.110_4, po_3.110_5, po_3.111_0, po_3.111_1, po_3.111_2, po_3.111_3, po_3.111_4, po_3.111_5, r_0.000, r_0.001, r_0.010, r_0.011, r_0.100, r_0.101, r_0.110, r_0.111, r_1.000, r_1.001, r_1.010, r_1.011, r_1.100, r_1.101, r_1.110, r_1.111, r_2.000, r_2.001, r_2.010, r_2.011, r_2.100, r_2.101, r_2.110, r_2.111, r_3.000, r_3.001, r_3.010, r_3.011, r_3.100, r_3.101, r_3.110, r_3.111]
[1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, -10, -10, -10, -10, 10, 10, 10, 10, -10, -10, 10, 10, -10, -10, 10, 10, -10, 10, -10, 10, -10, 10, -10, 10, -10, -10, -10, -10, -10, -10, -10, -10]
[1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, -10, -10, -10, -10, 10, 10, 10, 10, -10, -10, 10, 10, -10, -10, 10, 10, -10, -10, -10, -10, -10, -10, -10, -10, -10, 10, -10, 10, -10, 10, -10, 10]
[1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, -10, -10, -10, -10, 10, 10, 10, 10, -10, -10, -10, -10, -10, -10, -10, -10, -10, -10, 10, 10, -10, -10, 10, 10, -10, 10, -10, 10, -10, 10, -10, 10]
[0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, 0.375, 0.393868, 0.429607, 0.25, 0.312393, 0.0, 0.625, 0.606132, 0.570393, 0.75, 0.687607, 1.0, -10, -10, -10, -10, -10, -10, -10, -10, -10, -10, -10, -10, 10, 10, 10, 10, -10, -10, 10, 10, -10, -10, 10, 10, -10, 10, -10, 10, -10, 10, -10, 10]

# Transition function (s,a,s -> p)
0,0,24 -> 1
0,1,0 -> 1
0,2,8 -> 1
0,3,0 -> 1
1,0,25 -> 1
1,1,1 -> 1
1,2,9 -> 1
1,3,1 -> 1
2,0,26 -> 1
2,1,2 -> 1
2,2,10 -> 1
2,3,2 -> 1
3,0,27 -> 1
3,1,3 -> 1
3,2,11 -> 1
3,3,3 -> 1
4,0,28 -> 1
4,1,4 -> 1
4,2,12 -> 1
4,3,4 -> 1
5,0,29 -> 1
5,1,5 -> 1
5,2,13 -> 1
5,3,5 -> 1
6,0,30 -> 1
6,1,6 -> 1
6,2,14 -> 1
6,3,6 -> 1
7,0,31 -> 1
7,1,7 -> 1
7,2,15 -> 1
7,3,7 -> 1
0,5,0 -> 1
1,5,1 -> 1
2,5,2 -> 1
3,5,3 -> 1
4,5,4 -> 1
5,5,5 -> 1
6,5,6 -> 1
7,5,7 -> 1
0,6,0 -> 1
1,6,1 -> 1
2,6,2 -> 1
3,6,3 -> 1
4,6,4 -> 1
5,6,5 -> 1
6,6,6 -> 1
7,6,7 -> 1
0,7,0 -> 1
1,7,1 -> 1
2,7,2 -> 1
3,7,3 -> 1
4,7,4 -> 1
5,7,5 -> 1
6,7,6 -> 1
7,7,7 -> 1
0,8,0 -> 1
1,8,1 -> 1
2,8,2 -> 1
3,8,3 -> 1
4,8,4 -> 1
5,8,5 -> 1
6,8,6 -> 1
7,8,7 -> 1
8,0,32 -> 1
8,1,8 -> 1
8,2,16 -> 1
8,3,0 -> 1
9,0,33 -> 1
9,1,9 -> 1
9,2,17 -> 1
9,3,1 -> 1
10,0,34 -> 1
10,1,10 -> 1
10,2,18 -> 1
10,3,2 -> 1
11,0,35 -> 1
11,1,11 -> 1
11,2,19 -> 1
11,3,3 -> 1
12,0,36 -> 1
12,1,12 -> 1
12,2,20 -> 1
12,3,4 -> 1
13,0,37 -> 1
13,1,13 -> 1
13,2,21 -> 1
13,3,5 -> 1
14,0,38 -> 1
14,1,14 -> 1
14,2,22 -> 1
14,3,6 -> 1
15,0,39 -> 1
15,1,15 -> 1
15,2,23 -> 1
15,3,7 -> 1
8,5,8 -> 1
9,5,9 -> 1
10,5,10 -> 1
11,5,11 -> 1
12,5,12 -> 1
13,5,13 -> 1
14,5,14 -> 1
15,5,15 -> 1
8,6,8 -> 1
9,6,9 -> 1
10,6,10 -> 1
11,6,11 -> 1
12,6,12 -> 1
13,6,13 -> 1
14,6,14 -> 1
15,6,15 -> 1
8,7,8 -> 1
9,7,9 -> 1
10,7,10 -> 1
11,7,11 -> 1
12,7,12 -> 1
13,7,13 -> 1
14,7,14 -> 1
15,7,15 -> 1
8,8,8 -> 1
9,8,9 -> 1
10,8,10 -> 1
11,8,11 -> 1
12,8,12 -> 1
13,8,13 -> 1
14,8,14 -> 1
15,8,15 -> 1
16,0,40 -> 1
16,1,16 -> 1
16,2,72 -> 1
16,3,8 -> 1
17,0,41 -> 1
17,1,17 -> 1
17,2,72 -> 1
17,3,9 -> 1
18,0,42 -> 1
18,1,18 -> 1
18,2,72 -> 1
18,3,10 -> 1
19,0,43 -> 1
19,1,19 -> 1
19,2,72 -> 1
19,3,11 -> 1
20,0,44 -> 1
20,1,20 -> 1
20,2,72 -> 1
20,3,12 -> 1
21,0,45 -> 1
21,1,21 -> 1
21,2,72 -> 1
21,3,13 -> 1
22,0,46 -> 1
22,1,22 -> 1
22,2,72 -> 1
22,3,14 -> 1
23,0,47 -> 1
23,1,23 -> 1
23,2,72 -> 1
23,3,15 -> 1
16,4,16 -> 1
17,4,16 -> pt_3.2
17,4,17 -> 1-pt_3.2
18,4,16 -> pt_3.1
18,4,18 -> 1-pt_3.1
19,4,17 -> pt_3.1
19,4,16 -> pt_3.2
19,4,19 -> 1-pt_3.1-pt_3.2
20,4,16 -> pt_3.0
20,4,20 -> 1-pt_3.0
21,4,17 -> pt_3.0
21,4,16 -> pt_3.2
21,4,21 -> 1-pt_3.0-pt_3.2
22,4,18 -> pt_3.0
22,4,16 -> pt_3.1
22,4,22 -> 1-pt_3.0-pt_3.1
23,4,19 -> pt_3.0
23,4,17 -> pt_3.1
23,4,16 -> pt_3.2
23,4,23 -> 1-pt_3.0-pt_3.1-pt_3.2
16,5,16 -> 1
17,5,17 -> 1
18,5,18 -> 1
19,5,19 -> 1
20,5,20 -> 1
21,5,21 -> 1
22,5,22 -> 1
23,5,23 -> 1
16,6,16 -> 1
17,6,17 -> 1
18,6,18 -> 1
19,6,19 -> 1
20,6,20 -> 1
21,6,21 -> 1
22,6,22 -> 1
23,6,23 -> 1
16,7,16 -> 1
17,7,17 -> 1
18,7,18 -> 1
19,7,19 -> 1
20,7,20 -> 1
21,7,21 -> 1
22,7,22 -> 1
23,7,23 -> 1
16,8,16 -> 1
17,8,17 -> 1
18,8,18 -> 1
19,8,19 -> 1
20,8,20 -> 1
21,8,21 -> 1
22,8,22 -> 1
23,8,23 -> 1
24,0,48 -> 1
24,1,0 -> 1
24,2,32 -> 1
24,3,24 -> 1
25,0,49 -> 1
25,1,1 -> 1
25,2,33 -> 1
25,3,25 -> 1
26,0,50 -> 1
26,1,2 -> 1
26,2,34 -> 1
26,3,26 -> 1
27,0,51 -> 1
27,1,3 -> 1
27,2,35 -> 1
27,3,27 -> 1
28,0,52 -> 1
28,1,4 -> 1
28,2,36 -> 1
28,3,28 -> 1
29,0,53 -> 1
29,1,5 -> 1
29,2,37 -> 1
29,3,29 -> 1
30,0,54 -> 1
30,1,6 -> 1
30,2,38 -> 1
30,3,30 -> 1
31,0,55 -> 1
31,1,7 -> 1
31,2,39 -> 1
31,3,31 -> 1
24,5,24 -> 1
25,5,25 -> 1
26,5,26 -> 1
27,5,27 -> 1
28,5,28 -> 1
29,5,29 -> 1
30,5,30 -> 1
31,5,31 -> 1
24,6,24 -> 1
25,6,25 -> 1
26,6,26 -> 1
27,6,27 -> 1
28,6,28 -> 1
29,6,29 -> 1
30,6,30 -> 1
31,6,31 -> 1
24,7,24 -> 1
25,7,25 -> 1
26,7,26 -> 1
27,7,27 -> 1
28,7,28 -> 1
29,7,29 -> 1
30,7,30 -> 1
31,7,31 -> 1
24,8,24 -> 1
25,8,25 -> 1
26,8,26 -> 1
27,8,27 -> 1
28,8,28 -> 1
29,8,29 -> 1
30,8,30 -> 1
31,8,31 -> 1
32,0,56 -> 1
32,1,8 -> 1
32,2,40 -> 1
32,3,24 -> 1
33,0,57 -> 1
33,1,9 -> 1
33,2,41 -> 1
33,3,25 -> 1
34,0,58 -> 1
34,1,10 -> 1
34,2,42 -> 1
34,3,26 -> 1
35,0,59 -> 1
35,1,11 -> 1
35,2,43 -> 1
35,3,27 -> 1
36,0,60 -> 1
36,1,12 -> 1
36,2,44 -> 1
36,3,28 -> 1
37,0,61 -> 1
37,1,13 -> 1
37,2,45 -> 1
37,3,29 -> 1
38,0,62 -> 1
38,1,14 -> 1
38,2,46 -> 1
38,3,30 -> 1
39,0,63 -> 1
39,1,15 -> 1
39,2,47 -> 1
39,3,31 -> 1
32,5,32 -> 1
33,5,33 -> 1
34,5,34 -> 1
35,5,35 -> 1
36,5,36 -> 1
37,5,37 -> 1
38,5,38 -> 1
39,5,39 -> 1
32,6,32 -> 1
33,6,33 -> 1
34,6,34 -> 1
35,6,35 -> 1
36,6,36 -> 1
37,6,37 -> 1
38,6,38 -> 1
39,6,39 -> 1
32,7,32 -> 1
33,7,33 -> 1
34,7,34 -> 1
35,7,35 -> 1
36,7,36 -> 1
37,7,37 -> 1
38,7,38 -> 1
39,7,39 -> 1
32,8,32 -> 1
33,8,33 -> 1
34,8,34 -> 1
35,8,35 -> 1
36,8,36 -> 1
37,8,37 -> 1
38,8,38 -> 1
39,8,39 -> 1
40,0,64 -> 1
40,1,16 -> 1
40,2,72 -> 1
40,3,32 -> 1
41,0,65 -> 1
41,1,17 -> 1
41,2,72 -> 1
41,3,33 -> 1
42,0,66 -> 1
42,1,18 -> 1
42,2,72 -> 1
42,3,34 -> 1
43,0,67 -> 1
43,1,19 -> 1
43,2,72 -> 1
43,3,35 -> 1
44,0,68 -> 1
44,1,20 -> 1
44,2,72 -> 1
44,3,36 -> 1
45,0,69 -> 1
45,1,21 -> 1
45,2,72 -> 1
45,3,37 -> 1
46,0,70 -> 1
46,1,22 -> 1
46,2,72 -> 1
46,3,38 -> 1
47,0,71 -> 1
47,1,23 -> 1
47,2,72 -> 1
47,3,39 -> 1
40,4,40 -> 1
41,4,40 -> pt_1.2
41,4,41 -> 1-pt_1.2
42,4,40 -> pt_1.1
42,4,42 -> 1-pt_1.1
43,4,41 -> pt_1.1
43,4,40 -> pt_1.2
43,4,43 -> 1-pt_1.1-pt_1.2
44,4,40 -> pt_1.0
44,4,44 -> 1-pt_1.0
45,4,41 -> pt_1.0
45,4,40 -> pt_1.2
45,4,45 -> 1-pt_1.0-pt_1.2
46,4,42 -> pt_1.0
46,4,40 -> pt_1.1
46,4,46 -> 1-pt_1.0-pt_1.1
47,4,43 -> pt_1.0
47,4,41 -> pt_1.1
47,4,40 -> pt_1.2
47,4,47 -> 1-pt_1.0-pt_1.1-pt_1.2
40,5,40 -> 1
41,5,41 -> 1
42,5,42 -> 1
43,5,43 -> 1
44,5,44 -> 1
45,5,45 -> 1
46,5,46 -> 1
47,5,47 -> 1
40,6,40 -> 1
41,6,41 -> 1
42,6,42 -> 1
43,6,43 -> 1
44,6,44 -> 1
45,6,45 -> 1
46,6,46 -> 1
47,6,47 -> 1
40,7,40 -> 1
41,7,41 -> 1
42,7,42 -> 1
43,7,43 -> 1
44,7,44 -> 1
45,7,45 -> 1
46,7,46 -> 1
47,7,47 -> 1
40,8,40 -> 1
41,8,41 -> 1
42,8,42 -> 1
43,8,43 -> 1
44,8,44 -> 1
45,8,45 -> 1
46,8,46 -> 1
47,8,47 -> 1
48,0,48 -> 1
48,1,24 -> 1
48,2,56 -> 1
48,3,48 -> 1
49,0,49 -> 1
49,1,25 -> 1
49,2,57 -> 1
49,3,49 -> 1
50,0,50 -> 1
50,1,26 -> 1
50,2,58 -> 1
50,3,50 -> 1
51,0,51 -> 1
51,1,27 -> 1
51,2,59 -> 1
51,3,51 -> 1
52,0,52 -> 1
52,1,28 -> 1
52,2,60 -> 1
52,3,52 -> 1
53,0,53 -> 1
53,1,29 -> 1
53,2,61 -> 1
53,3,53 -> 1
54,0,54 -> 1
54,1,30 -> 1
54,2,62 -> 1
54,3,54 -> 1
55,0,55 -> 1
55,1,31 -> 1
55,2,63 -> 1
55,3,55 -> 1
48,4,48 -> 1
49,4,48 -> pt_0.2
49,4,49 -> 1-pt_0.2
50,4,48 -> pt_0.1
50,4,50 -> 1-pt_0.1
51,4,49 -> pt_0.1
51,4,48 -> pt_0.2
51,4,51 -> 1-pt_0.1-pt_0.2
52,4,48 -> pt_0.0
52,4,52 -> 1-pt_0.0
53,4,49 -> pt_0.0
53,4,48 -> pt_0.2
53,4,53 -> 1-pt_0.0-pt_0.2
54,4,50 -> pt_0.0
54,4,48 -> pt_0.1
54,4,54 -> 1-pt_0.0-pt_0.1
55,4,51 -> pt_0.0
55,4,49 -> pt_0.1
55,4,48 -> pt_0.2
55,4,55 -> 1-pt_0.0-pt_0.1-pt_0.2
48,5,48 -> 1
49,5,49 -> 1
50,5,50 -> 1
51,5,51 -> 1
52,5,52 -> 1
53,5,53 -> 1
54,5,54 -> 1
55,5,55 -> 1
48,6,48 -> 1
49,6,49 -> 1
50,6,50 -> 1
51,6,51 -> 1
52,6,52 -> 1
53,6,53 -> 1
54,6,54 -> 1
55,6,55 -> 1
48,7,48 -> 1
49,7,49 -> 1
50,7,50 -> 1
51,7,51 -> 1
52,7,52 -> 1
53,7,53 -> 1
54,7,54 -> 1
55,7,55 -> 1
48,8,48 -> 1
49,8,49 -> 1
50,8,50 -> 1
51,8,51 -> 1
52,8,52 -> 1
53,8,53 -> 1
54,8,54 -> 1
55,8,55 -> 1
56,0,56 -> 1
56,1,32 -> 1
56,2,64 -> 1
56,3,48 -> 1
57,0,57 -> 1
57,1,33 -> 1
57,2,65 -> 1
57,3,49 -> 1
58,0,58 -> 1
58,1,34 -> 1
58,2,66 -> 1
58,3,50 -> 1
59,0,59 -> 1
59,1,35 -> 1
59,2,67 -> 1
59,3,51 -> 1
60,0,60 -> 1
60,1,36 -> 1
60,2,68 -> 1
60,3,52 -> 1
61,0,61 -> 1
61,1,37 -> 1
61,2,69 -> 1
61,3,53 -> 1
62,0,62 -> 1
62,1,38 -> 1
62,2,70 -> 1
62,3,54 -> 1
63,0,63 -> 1
63,1,39 -> 1
63,2,71 -> 1
63,3,55 -> 1
56,4,56 -> 1
57,4,56 -> pt_2.2
57,4,57 -> 1-pt_2.2
58,4,56 -> pt_2.1
58,4,58 -> 1-pt_2.1
59,4,57 -> pt_2.1
59,4,56 -> pt_2.2
59,4,59 -> 1-pt_2.1-pt_2.2
60,4,56 -> pt_2.0
60,4,60 -> 1-pt_2.0
61,4,57 -> pt_2.0
61,4,56 -> pt_2.2
61,4,61 -> 1-pt_2.0-pt_2.2
62,4,58 -> pt_2.0
62,4,56 -> pt_2.1
62,4,62 -> 1-pt_2.0-pt_2.1
63,4,59 -> pt_2.0
63,4,57 -> pt_2.1
63,4,56 -> pt_2.2
63,4,63 -> 1-pt_2.0-pt_2.1-pt_2.2
56,5,56 -> 1
57,5,57 -> 1
58,5,58 -> 1
59,5,59 -> 1
60,5,60 -> 1
61,5,61 -> 1
62,5,62 -> 1
63,5,63 -> 1
56,6,56 -> 1
57,6,57 -> 1
58,6,58 -> 1
59,6,59 -> 1
60,6,60 -> 1
61,6,61 -> 1
62,6,62 -> 1
63,6,63 -> 1
56,7,56 -> 1
57,7,57 -> 1
58,7,58 -> 1
59,7,59 -> 1
60,7,60 -> 1
61,7,61 -> 1
62,7,62 -> 1
63,7,63 -> 1
56,8,56 -> 1
57,8,57 -> 1
58,8,58 -> 1
59,8,59 -> 1
60,8,60 -> 1
61,8,61 -> 1
62,8,62 -> 1
63,8,63 -> 1
64,0,64 -> 1
64,1,40 -> 1
64,2,72 -> 1
64,3,56 -> 1
65,0,65 -> 1
65,1,41 -> 1
65,2,72 -> 1
65,3,57 -> 1
66,0,66 -> 1
66,1,42 -> 1
66,2,72 -> 1
66,3,58 -> 1
67,0,67 -> 1
67,1,43 -> 1
67,2,72 -> 1
67,3,59 -> 1
68,0,68 -> 1
68,1,44 -> 1
68,2,72 -> 1
68,3,60 -> 1
69,0,69 -> 1
69,1,45 -> 1
69,2,72 -> 1
69,3,61 -> 1
70,0,70 -> 1
70,1,46 -> 1
70,2,72 -> 1
70,3,62 -> 1
71,0,71 -> 1
71,1,47 -> 1
71,2,72 -> 1
71,3,63 -> 1
64,5,64 -> 1
65,5,65 -> 1
66,5,66 -> 1
67,5,67 -> 1
68,5,68 -> 1
69,5,69 -> 1
70,5,70 -> 1
71,5,71 -> 1
64,6,64 -> 1
65,6,65 -> 1
66,6,66 -> 1
67,6,67 -> 1
68,6,68 -> 1
69,6,69 -> 1
70,6,70 -> 1
71,6,71 -> 1
64,7,64 -> 1
65,7,65 -> 1
66,7,66 -> 1
67,7,67 -> 1
68,7,68 -> 1
69,7,69 -> 1
70,7,70 -> 1
71,7,71 -> 1
64,8,64 -> 1
65,8,65 -> 1
66,8,66 -> 1
67,8,67 -> 1
68,8,68 -> 1
69,8,69 -> 1
70,8,70 -> 1
71,8,71 -> 1
72,_,72 -> 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
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
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
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
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
5,0,1 -> po_0.000_0
5,0,0 -> 1-po_0.000_0
5,1,1 -> po_0.001_0
5,1,0 -> 1-po_0.001_0
5,2,1 -> po_0.010_0
5,2,0 -> 1-po_0.010_0
5,3,1 -> po_0.011_0
5,3,0 -> 1-po_0.011_0
5,4,1 -> po_0.100_0
5,4,0 -> 1-po_0.100_0
5,5,1 -> po_0.101_0
5,5,0 -> 1-po_0.101_0
5,6,1 -> po_0.110_0
5,6,0 -> 1-po_0.110_0
5,7,1 -> po_0.111_0
5,7,0 -> 1-po_0.111_0
5,8,1 -> po_0.000_1
5,8,0 -> 1-po_0.000_1
5,9,1 -> po_0.001_1
5,9,0 -> 1-po_0.001_1
5,10,1 -> po_0.010_1
5,10,0 -> 1-po_0.010_1
5,11,1 -> po_0.011_1
5,11,0 -> 1-po_0.011_1
5,12,1 -> po_0.100_1
5,12,0 -> 1-po_0.100_1
5,13,1 -> po_0.101_1
5,13,0 -> 1-po_0.101_1
5,14,1 -> po_0.110_1
5,14,0 -> 1-po_0.110_1
5,15,1 -> po_0.111_1
5,15,0 -> 1-po_0.111_1
5,16,1 -> po_0.000_2
5,16,0 -> 1-po_0.000_2
5,17,1 -> po_0.001_2
5,17,0 -> 1-po_0.001_2
5,18,1 -> po_0.010_2
5,18,0 -> 1-po_0.010_2
5,19,1 -> po_0.011_2
5,19,0 -> 1-po_0.011_2
5,20,1 -> po_0.100_2
5,20,0 -> 1-po_0.100_2
5,21,1 -> po_0.101_2
5,21,0 -> 1-po_0.101_2
5,22,1 -> po_0.110_2
5,22,0 -> 1-po_0.110_2
5,23,1 -> po_0.111_2
5,23,0 -> 1-po_0.111_2
5,24,1 -> po_0.000_3
5,24,0 -> 1-po_0.000_3
5,25,1 -> po_0.001_3
5,25,0 -> 1-po_0.001_3
5,26,1 -> po_0.010_3
5,26,0 -> 1-po_0.010_3
5,27,1 -> po_0.011_3
5,27,0 -> 1-po_0.011_3
5,28,1 -> po_0.100_3
5,28,0 -> 1-po_0.100_3
5,29,1 -> po_0.101_3
5,29,0 -> 1-po_0.101_3
5,30,1 -> po_0.110_3
5,30,0 -> 1-po_0.110_3
5,31,1 -> po_0.111_3
5,31,0 -> 1-po_0.111_3
5,32,1 -> po_0.000_4
5,32,0 -> 1-po_0.000_4
5,33,1 -> po_0.001_4
5,33,0 -> 1-po_0.001_4
5,34,1 -> po_0.010_4
5,34,0 -> 1-po_0.010_4
5,35,1 -> po_0.011_4
5,35,0 -> 1-po_0.011_4
5,36,1 -> po_0.100_4
5,36,0 -> 1-po_0.100_4
5,37,1 -> po_0.101_4
5,37,0 -> 1-po_0.101_4
5,38,1 -> po_0.110_4
5,38,0 -> 1-po_0.110_4
5,39,1 -> po_0.111_4
5,39,0 -> 1-po_0.111_4
5,40,1 -> po_0.000_1
5,40,0 -> 1-po_0.000_1
5,41,1 -> po_0.001_1
5,41,0 -> 1-po_0.001_1
5,42,1 -> po_0.010_1
5,42,0 -> 1-po_0.010_1
5,43,1 -> po_0.011_1
5,43,0 -> 1-po_0.011_1
5,44,1 -> po_0.100_1
5,44,0 -> 1-po_0.100_1
5,45,1 -> po_0.101_1
5,45,0 -> 1-po_0.101_1
5,46,1 -> po_0.110_1
5,46,0 -> 1-po_0.110_1
5,47,1 -> po_0.111_1
5,47,0 -> 1-po_0.111_1
5,48,1 -> po_0.000_5
5,48,0 -> 1-po_0.000_5
5,49,1 -> po_0.001_5
5,49,0 -> 1-po_0.001_5
5,50,1 -> po_0.010_5
5,50,0 -> 1-po_0.010_5
5,51,1 -> po_0.011_5
5,51,0 -> 1-po_0.011_5
5,52,1 -> po_0.100_5
5,52,0 -> 1-po_0.100_5
5,53,1 -> po_0.101_5
5,53,0 -> 1-po_0.101_5
5,54,1 -> po_0.110_5
5,54,0 -> 1-po_0.110_5
5,55,1 -> po_0.111_5
5,55,0 -> 1-po_0.111_5
5,56,1 -> po_0.000_3
5,56,0 -> 1-po_0.000_3
5,57,1 -> po_0.001_3
5,57,0 -> 1-po_0.001_3
5,58,1 -> po_0.010_3
5,58,0 -> 1-po_0.010_3
5,59,1 -> po_0.011_3
5,59,0 -> 1-po_0.011_3
5,60,1 -> po_0.100_3
5,60,0 -> 1-po_0.100_3
5,61,1 -> po_0.101_3
5,61,0 -> 1-po_0.101_3
5,62,1 -> po_0.110_3
5,62,0 -> 1-po_0.110_3
5,63,1 -> po_0.111_3
5,63,0 -> 1-po_0.111_3
5,64,1 -> po_0.000_0
5,64,0 -> 1-po_0.000_0
5,65,1 -> po_0.001_0
5,65,0 -> 1-po_0.001_0
5,66,1 -> po_0.010_0
5,66,0 -> 1-po_0.010_0
5,67,1 -> po_0.011_0
5,67,0 -> 1-po_0.011_0
5,68,1 -> po_0.100_0
5,68,0 -> 1-po_0.100_0
5,69,1 -> po_0.101_0
5,69,0 -> 1-po_0.101_0
5,70,1 -> po_0.110_0
5,70,0 -> 1-po_0.110_0
5,71,1 -> po_0.111_0
5,71,0 -> 1-po_0.111_0
6,0,1 -> po_1.000_1
6,0,0 -> 1-po_1.000_1
6,1,1 -> po_1.001_1
6,1,0 -> 1-po_1.001_1
6,2,1 -> po_1.010_1
6,2,0 -> 1-po_1.010_1
6,3,1 -> po_1.011_1
6,3,0 -> 1-po_1.011_1
6,4,1 -> po_1.100_1
6,4,0 -> 1-po_1.100_1
6,5,1 -> po_1.101_1
6,5,0 -> 1-po_1.101_1
6,6,1 -> po_1.110_1
6,6,0 -> 1-po_1.110_1
6,7,1 -> po_1.111_1
6,7,0 -> 1-po_1.111_1
6,8,1 -> po_1.000_4
6,8,0 -> 1-po_1.000_4
6,9,1 -> po_1.001_4
6,9,0 -> 1-po_1.001_4
6,10,1 -> po_1.010_4
6,10,0 -> 1-po_1.010_4
6,11,1 -> po_1.011_4
6,11,0 -> 1-po_1.011_4
6,12,1 -> po_1.100_4
6,12,0 -> 1-po_1.100_4
6,13,1 -> po_1.101_4
6,13,0 -> 1-po_1.101_4
6,14,1 -> po_1.110_4
6,14,0 -> 1-po_1.110_4
6,15,1 -> po_1.111_4
6,15,0 -> 1-po_1.111_4
6,16,1 -> po_1.000_3
6,16,0 -> 1-po_1.000_3
6,17,1 -> po_1.001_3
6,17,0 -> 1-po_1.001_3
6,18,1 -> po_1.010_3
6,18,0 -> 1-po_1.010_3
6,19,1 -> po_1.011_3
6,19,0 -> 1-po_1.011_3
6,20,1 -> po_1.100_3
6,20,0 -> 1-po_1.100_3
6,21,1 -> po_1.101_3
6,21,0 -> 1-po_1.101_3
6,22,1 -> po_1.110_3
6,22,0 -> 1-po_1.110_3
6,23,1 -> po_1.111_3
6,23,0 -> 1-po_1.111_3
6,24,1 -> po_1.000_0
6,24,0 -> 1-po_1.000_0
6,25,1 -> po_1.001_0
6,25,0 -> 1-po_1.001_0
6,26,1 -> po_1.010_0
6,26,0 -> 1-po_1.010_0
6,27,1 -> po_1.011_0
6,27,0 -> 1-po_1.011_0
6,28,1 -> po_1.100_0
6,28,0 -> 1-po_1.100_0
6,29,1 -> po_1.101_0
6,29,0 -> 1-po_1.101_0
6,30,1 -> po_1.110_0
6,30,0 -> 1-po_1.110_0
6,31,1 -> po_1.111_0
6,31,0 -> 1-po_1.111_0
6,32,1 -> po_1.000_3
6,32,0 -> 1-po_1.000_3
6,33,1 -> po_1.001_3
6,33,0 -> 1-po_1.001_3
6,34,1 -> po_1.010_3
6,34,0 -> 1-po_1.010_3
6,35,1 -> po_1.011_3
6,35,0 -> 1-po_1.011_3
6,36,1 -> po_1.100_3
6,36,0 -> 1-po_1.100_3
6,37,1 -> po_1.101_3
6,37,0 -> 1-po_1.101_3
6,38,1 -> po_1.110_3
6,38,0 -> 1-po_1.110_3
6,39,1 -> po_1.111_3
6,39,0 -> 1-po_1.111_3
6,40,1 -> po_1.000_5
6,40,0 -> 1-po_1.000_5
6,41,1 -> po_1.001_5
6,41,0 -> 1-po_1.001_5
6,42,1 -> po_1.010_5
6,42,0 -> 1-po_1.010_5
6,43,1 -> po_1.011_5
6,43,0 -> 1-po_1.011_5
6,44,1 -> po_1.100_5
6,44,0 -> 1-po_1.100_5
6,45,1 -> po_1.101_5
6,45,0 -> 1-po_1.101_5
6,46,1 -> po_1.110_5
6,46,0 -> 1-po_1.110_5
6,47,1 -> po_1.111_5
6,47,0 -> 1-po_1.111_5
6,48,1 -> po_1.000_1
6,48,0 -> 1-po_1.000_1
6,49,1 -> po_1.001_1
6,49,0 -> 1-po_1.001_1
6,50,1 -> po_1.010_1
6,50,0 -> 1-po_1.010_1
6,51,1 -> po_1.011_1
6,51,0 -> 1-po_1.011_1
6,52,1 -> po_1.100_1
6,52,0 -> 1-po_1.100_1
6,53,1 -> po_1.101_1
6,53,0 -> 1-po_1.101_1
6,54,1 -> po_1.110_1
6,54,0 -> 1-po_1.110_1
6,55,1 -> po_1.111_1
6,55,0 -> 1-po_1.111_1
6,56,1 -> po_1.000_4
6,56,0 -> 1-po_1.000_4
6,57,1 -> po_1.001_4
6,57,0 -> 1-po_1.001_4
6,58,1 -> po_1.010_4
6,58,0 -> 1-po_1.010_4
6,59,1 -> po_1.011_4
6,59,0 -> 1-po_1.011_4
6,60,1 -> po_1.100_4
6,60,0 -> 1-po_1.100_4
6,61,1 -> po_1.101_4
6,61,0 -> 1-po_1.101_4
6,62,1 -> po_1.110_4
6,62,0 -> 1-po_1.110_4
6,63,1 -> po_1.111_4
6,63,0 -> 1-po_1.111_4
6,64,1 -> po_1.000_3
6,64,0 -> 1-po_1.000_3
6,65,1 -> po_1.001_3
6,65,0 -> 1-po_1.001_3
6,66,1 -> po_1.010_3
6,66,0 -> 1-po_1.010_3
6,67,1 -> po_1.011_3
6,67,0 -> 1-po_1.011_3
6,68,1 -> po_1.100_3
6,68,0 -> 1-po_1.100_3
6,69,1 -> po_1.101_3
6,69,0 -> 1-po_1.101_3
6,70,1 -> po_1.110_3
6,70,0 -> 1-po_1.110_3
6,71,1 -> po_1.111_3
6,71,0 -> 1-po_1.111_3
7,0,1 -> po_2.000_1
7,0,0 -> 1-po_2.000_1
7,1,1 -> po_2.001_1
7,1,0 -> 1-po_2.001_1
7,2,1 -> po_2.010_1
7,2,0 -> 1-po_2.010_1
7,3,1 -> po_2.011_1
7,3,0 -> 1-po_2.011_1
7,4,1 -> po_2.100_1
7,4,0 -> 1-po_2.100_1
7,5,1 -> po_2.101_1
7,5,0 -> 1-po_2.101_1
7,6,1 -> po_2.110_1
7,6,0 -> 1-po_2.110_1
7,7,1 -> po_2.111_1
7,7,0 -> 1-po_2.111_1
7,8,1 -> po_2.000_0
7,8,0 -> 1-po_2.000_0
7,9,1 -> po_2.001_0
7,9,0 -> 1-po_2.001_0
7,10,1 -> po_2.010_0
7,10,0 -> 1-po_2.010_0
7,11,1 -> po_2.011_0
7,11,0 -> 1-po_2.011_0
7,12,1 -> po_2.100_0
7,12,0 -> 1-po_2.100_0
7,13,1 -> po_2.101_0
7,13,0 -> 1-po_2.101_0
7,14,1 -> po_2.110_0
7,14,0 -> 1-po_2.110_0
7,15,1 -> po_2.111_0
7,15,0 -> 1-po_2.111_0
7,16,1 -> po_2.000_1
7,16,0 -> 1-po_2.000_1
7,17,1 -> po_2.001_1
7,17,0 -> 1-po_2.001_1
7,18,1 -> po_2.010_1
7,18,0 -> 1-po_2.010_1
7,19,1 -> po_2.011_1
7,19,0 -> 1-po_2.011_1
7,20,1 -> po_2.100_1
7,20,0 -> 1-po_2.100_1
7,21,1 -> po_2.101_1
7,21,0 -> 1-po_2.101_1
7,22,1 -> po_2.110_1
7,22,0 -> 1-po_2.110_1
7,23,1 -> po_2.111_1
7,23,0 -> 1-po_2.111_1
7,24,1 -> po_2.000_4
7,24,0 -> 1-po_2.000_4
7,25,1 -> po_2.001_4
7,25,0 -> 1-po_2.001_4
7,26,1 -> po_2.010_4
7,26,0 -> 1-po_2.010_4
7,27,1 -> po_2.011_4
7,27,0 -> 1-po_2.011_4
7,28,1 -> po_2.100_4
7,28,0 -> 1-po_2.100_4
7,29,1 -> po_2.101_4
7,29,0 -> 1-po_2.101_4
7,30,1 -> po_2.110_4
7,30,0 -> 1-po_2.110_4
7,31,1 -> po_2.111_4
7,31,0 -> 1-po_2.111_4
7,32,1 -> po_2.000_3
7,32,0 -> 1-po_2.000_3
7,33,1 -> po_2.001_3
7,33,0 -> 1-po_2.001_3
7,34,1 -> po_2.010_3
7,34,0 -> 1-po_2.010_3
7,35,1 -> po_2.011_3
7,35,0 -> 1-po_2.011_3
7,36,1 -> po_2.100_3
7,36,0 -> 1-po_2.100_3
7,37,1 -> po_2.101_3
7,37,0 -> 1-po_2.101_3
7,38,1 -> po_2.110_3
7,38,0 -> 1-po_2.110_3
7,39,1 -> po_2.111_3
7,39,0 -> 1-po_2.111_3
7,40,1 -> po_2.000_4
7,40,0 -> 1-po_2.000_4
7,41,1 -> po_2.001_4
7,41,0 -> 1-po_2.001_4
7,42,1 -> po_2.010_4
7,42,0 -> 1-po_2.010_4
7,43,1 -> po_2.011_4
7,43,0 -> 1-po_2.011_4
7,44,1 -> po_2.100_4
7,44,0 -> 1-po_2.100_4
7,45,1 -> po_2.101_4
7,45,0 -> 1-po_2.101_4
7,46,1 -> po_2.110_4
7,46,0 -> 1-po_2.110_4
7,47,1 -> po_2.111_4
7,47,0 -> 1-po_2.111_4
7,48,1 -> po_2.000_3
7,48,0 -> 1-po_2.000_3
7,49,1 -> po_2.001_3
7,49,0 -> 1-po_2.001_3
7,50,1 -> po_2.010_3
7,50,0 -> 1-po_2.010_3
7,51,1 -> po_2.011_3
7,51,0 -> 1-po_2.011_3
7,52,1 -> po_2.100_3
7,52,0 -> 1-po_2.100_3
7,53,1 -> po_2.101_3
7,53,0 -> 1-po_2.101_3
7,54,1 -> po_2.110_3
7,54,0 -> 1-po_2.110_3
7,55,1 -> po_2.111_3
7,55,0 -> 1-po_2.111_3
7,56,1 -> po_2.000_5
7,56,0 -> 1-po_2.000_5
7,57,1 -> po_2.001_5
7,57,0 -> 1-po_2.001_5
7,58,1 -> po_2.010_5
7,58,0 -> 1-po_2.010_5
7,59,1 -> po_2.011_5
7,59,0 -> 1-po_2.011_5
7,60,1 -> po_2.100_5
7,60,0 -> 1-po_2.100_5
7,61,1 -> po_2.101_5
7,61,0 -> 1-po_2.101_5
7,62,1 -> po_2.110_5
7,62,0 -> 1-po_2.110_5
7,63,1 -> po_2.111_5
7,63,0 -> 1-po_2.111_5
7,64,1 -> po_2.000_3
7,64,0 -> 1-po_2.000_3
7,65,1 -> po_2.001_3
7,65,0 -> 1-po_2.001_3
7,66,1 -> po_2.010_3
7,66,0 -> 1-po_2.010_3
7,67,1 -> po_2.011_3
7,67,0 -> 1-po_2.011_3
7,68,1 -> po_2.100_3
7,68,0 -> 1-po_2.100_3
7,69,1 -> po_2.101_3
7,69,0 -> 1-po_2.101_3
7,70,1 -> po_2.110_3
7,70,0 -> 1-po_2.110_3
7,71,1 -> po_2.111_3
7,71,0 -> 1-po_2.111_3
8,0,1 -> po_3.000_0
8,0,0 -> 1-po_3.000_0
8,1,1 -> po_3.001_0
8,1,0 -> 1-po_3.001_0
8,2,1 -> po_3.010_0
8,2,0 -> 1-po_3.010_0
8,3,1 -> po_3.011_0
8,3,0 -> 1-po_3.011_0
8,4,1 -> po_3.100_0
8,4,0 -> 1-po_3.100_0
8,5,1 -> po_3.101_0
8,5,0 -> 1-po_3.101_0
8,6,1 -> po_3.110_0
8,6,0 -> 1-po_3.110_0
8,7,1 -> po_3.111_0
8,7,0 -> 1-po_3.111_0
8,8,1 -> po_3.000_3
8,8,0 -> 1-po_3.000_3
8,9,1 -> po_3.001_3
8,9,0 -> 1-po_3.001_3
8,10,1 -> po_3.010_3
8,10,0 -> 1-po_3.010_3
8,11,1 -> po_3.011_3
8,11,0 -> 1-po_3.011_3
8,12,1 -> po_3.100_3
8,12,0 -> 1-po_3.100_3
8,13,1 -> po_3.101_3
8,13,0 -> 1-po_3.101_3
8,14,1 -> po_3.110_3
8,14,0 -> 1-po_3.110_3
8,15,1 -> po_3.111_3
8,15,0 -> 1-po_3.111_3
8,16,1 -> po_3.000_5
8,16,0 -> 1-po_3.000_5
8,17,1 -> po_3.001_5
8,17,0 -> 1-po_3.001_5
8,18,1 -> po_3.010_5
8,18,0 -> 1-po_3.010_5
8,19,1 -> po_3.011_5
8,19,0 -> 1-po_3.011_5
8,20,1 -> po_3.100_5
8,20,0 -> 1-po_3.100_5
8,21,1 -> po_3.101_5
8,21,0 -> 1-po_3.101_5
8,22,1 -> po_3.110_5
8,22,0 -> 1-po_3.110_5
8,23,1 -> po_3.111_5
8,23,0 -> 1-po_3.111_5
8,24,1 -> po_3.000_1
8,24,0 -> 1-po_3.000_1
8,25,1 -> po_3.001_1
8,25,0 -> 1-po_3.001_1
8,26,1 -> po_3.010_1
8,26,0 -> 1-po_3.010_1
8,27,1 -> po_3.011_1
8,27,0 -> 1-po_3.011_1
8,28,1 -> po_3.100_1
8,28,0 -> 1-po_3.100_1
8,29,1 -> po_3.101_1
8,29,0 -> 1-po_3.101_1
8,30,1 -> po_3.110_1
8,30,0 -> 1-po_3.110_1
8,31,1 -> po_3.111_1
8,31,0 -> 1-po_3.111_1
8,32,1 -> po_3.000_4
8,32,0 -> 1-po_3.000_4
8,33,1 -> po_3.001_4
8,33,0 -> 1-po_3.001_4
8,34,1 -> po_3.010_4
8,34,0 -> 1-po_3.010_4
8,35,1 -> po_3.011_4
8,35,0 -> 1-po_3.011_4
8,36,1 -> po_3.100_4
8,36,0 -> 1-po_3.100_4
8,37,1 -> po_3.101_4
8,37,0 -> 1-po_3.101_4
8,38,1 -> po_3.110_4
8,38,0 -> 1-po_3.110_4
8,39,1 -> po_3.111_4
8,39,0 -> 1-po_3.111_4
8,40,1 -> po_3.000_3
8,40,0 -> 1-po_3.000_3
8,41,1 -> po_3.001_3
8,41,0 -> 1-po_3.001_3
8,42,1 -> po_3.010_3
8,42,0 -> 1-po_3.010_3
8,43,1 -> po_3.011_3
8,43,0 -> 1-po_3.011_3
8,44,1 -> po_3.100_3
8,44,0 -> 1-po_3.100_3
8,45,1 -> po_3.101_3
8,45,0 -> 1-po_3.101_3
8,46,1 -> po_3.110_3
8,46,0 -> 1-po_3.110_3
8,47,1 -> po_3.111_3
8,47,0 -> 1-po_3.111_3
8,48,1 -> po_3.000_2
8,48,0 -> 1-po_3.000_2
8,49,1 -> po_3.001_2
8,49,0 -> 1-po_3.001_2
8,50,1 -> po_3.010_2
8,50,0 -> 1-po_3.010_2
8,51,1 -> po_3.011_2
8,51,0 -> 1-po_3.011_2
8,52,1 -> po_3.100_2
8,52,0 -> 1-po_3.100_2
8,53,1 -> po_3.101_2
8,53,0 -> 1-po_3.101_2
8,54,1 -> po_3.110_2
8,54,0 -> 1-po_3.110_2
8,55,1 -> po_3.111_2
8,55,0 -> 1-po_3.111_2
8,56,1 -> po_3.000_1
8,56,0 -> 1-po_3.000_1
8,57,1 -> po_3.001_1
8,57,0 -> 1-po_3.001_1
8,58,1 -> po_3.010_1
8,58,0 -> 1-po_3.010_1
8,59,1 -> po_3.011_1
8,59,0 -> 1-po_3.011_1
8,60,1 -> po_3.100_1
8,60,0 -> 1-po_3.100_1
8,61,1 -> po_3.101_1
8,61,0 -> 1-po_3.101_1
8,62,1 -> po_3.110_1
8,62,0 -> 1-po_3.110_1
8,63,1 -> po_3.111_1
8,63,0 -> 1-po_3.111_1
8,64,1 -> po_3.000_0
8,64,0 -> 1-po_3.000_0
8,65,1 -> po_3.001_0
8,65,0 -> 1-po_3.001_0
8,66,1 -> po_3.010_0
8,66,0 -> 1-po_3.010_0
8,67,1 -> po_3.011_0
8,67,0 -> 1-po_3.011_0
8,68,1 -> po_3.100_0
8,68,0 -> 1-po_3.100_0
8,69,1 -> po_3.101_0
8,69,0 -> 1-po_3.101_0
8,70,1 -> po_3.110_0
8,70,0 -> 1-po_3.110_0
8,71,1 -> po_3.111_0
8,71,0 -> 1-po_3.111_0
_,72,2 -> 1

# Reward function (s,a -> r)
16,4 -> r_3.000
17,4 -> r_3.001
18,4 -> r_3.010
19,4 -> r_3.011
20,4 -> r_3.100
21,4 -> r_3.101
22,4 -> r_3.110
23,4 -> r_3.111
16,2 -> 10
17,2 -> 10
18,2 -> 10
19,2 -> 10
20,2 -> 10
21,2 -> 10
22,2 -> 10
23,2 -> 10
40,4 -> r_1.000
41,4 -> r_1.001
42,4 -> r_1.010
43,4 -> r_1.011
44,4 -> r_1.100
45,4 -> r_1.101
46,4 -> r_1.110
47,4 -> r_1.111
40,2 -> 10
41,2 -> 10
42,2 -> 10
43,2 -> 10
44,2 -> 10
45,2 -> 10
46,2 -> 10
47,2 -> 10
48,4 -> r_0.000
49,4 -> r_0.001
50,4 -> r_0.010
51,4 -> r_0.011
52,4 -> r_0.100
53,4 -> r_0.101
54,4 -> r_0.110
55,4 -> r_0.111
56,4 -> r_2.000
57,4 -> r_2.001
58,4 -> r_2.010
59,4 -> r_2.011
60,4 -> r_2.100
61,4 -> r_2.101
62,4 -> r_2.110
63,4 -> r_2.111
64,2 -> 10
65,2 -> 10
66,2 -> 10
67,2 -> 10
68,2 -> 10
69,2 -> 10
70,2 -> 10
71,2 -> 10

# Initial beliefs (s -> p)
7 -> 1