Min_number = ( 0 ) ; Max_number = ( 5 )
In original model number_of_states = ( 112 ); number_of_transition = ( 207 ) 

Original Transition
0 --- 1  -> (x)
0 --- 4  -> ((-1)*x+(1))
1 --- 16  -> (p14*p13*p12*p11)
1 --- 17  -> ((-1)*p14*p13*p12*p11+p13*p12*p11)
1 --- 18  -> ((-1)*p14*p13*p12*p11+p14*p12*p11)
1 --- 19  -> (p14*p13*p12*p11-p13*p12*p11-p14*p12*p11+p12*p11)
1 --- 20  -> ((-1)*p14*p13*p12*p11+p14*p13*p11)
1 --- 21  -> (p14*p13*p12*p11-p13*p12*p11-p14*p13*p11+p13*p11)
1 --- 22  -> (p14*p13*p12*p11-p14*p12*p11-p14*p13*p11+p14*p11)
1 --- 23  -> ((-1)*p14*p13*p12*p11+p13*p12*p11+p14*p12*p11+p14*p13*p11-p12*p11-p13*p11-p14*p11+p11)
1 --- 24  -> ((-1)*p14*p13*p12*p11+p14*p13*p12)
1 --- 25  -> (p14*p13*p12*p11-p13*p12*p11-p14*p13*p12+p13*p12)
1 --- 26  -> (p14*p13*p12*p11-p14*p12*p11-p14*p13*p12+p14*p12)
1 --- 27  -> ((-1)*p14*p13*p12*p11+p13*p12*p11+p14*p12*p11+p14*p13*p12-p12*p11-p13*p12-p14*p12+p12)
1 --- 28  -> (p14*p13*p12*p11-p14*p13*p11-p14*p13*p12+p14*p13)
1 --- 29  -> ((-1)*p14*p13*p12*p11+p13*p12*p11+p14*p13*p11+p14*p13*p12-p13*p11-p13*p12-p14*p13+p13)
1 --- 30  -> ((-1)*p14*p13*p12*p11+p14*p12*p11+p14*p13*p11+p14*p13*p12-p14*p11-p14*p12-p14*p13+p14)
1 --- 31  -> (p14*p13*p12*p11-p13*p12*p11-p14*p12*p11-p14*p13*p11-p14*p13*p12+p12*p11+p13*p11+p14*p11+p13*p12+p14*p12+p14*p13-p11-p12-p13-p14+(1))
2 --- 32  -> (p24*p23*p22*p21)
2 --- 33  -> ((-1)*p24*p23*p22*p21+p23*p22*p21)
2 --- 34  -> ((-1)*p24*p23*p22*p21+p24*p22*p21)
2 --- 35  -> (p24*p23*p22*p21-p23*p22*p21-p24*p22*p21+p22*p21)
2 --- 36  -> ((-1)*p24*p23*p22*p21+p24*p23*p21)
2 --- 37  -> (p24*p23*p22*p21-p23*p22*p21-p24*p23*p21+p23*p21)
2 --- 38  -> (p24*p23*p22*p21-p24*p22*p21-p24*p23*p21+p24*p21)
2 --- 39  -> ((-1)*p24*p23*p22*p21+p23*p22*p21+p24*p22*p21+p24*p23*p21-p22*p21-p23*p21-p24*p21+p21)
2 --- 40  -> ((-1)*p24*p23*p22*p21+p24*p23*p22)
2 --- 41  -> (p24*p23*p22*p21-p23*p22*p21-p24*p23*p22+p23*p22)
2 --- 42  -> (p24*p23*p22*p21-p24*p22*p21-p24*p23*p22+p24*p22)
2 --- 43  -> ((-1)*p24*p23*p22*p21+p23*p22*p21+p24*p22*p21+p24*p23*p22-p22*p21-p23*p22-p24*p22+p22)
2 --- 44  -> (p24*p23*p22*p21-p24*p23*p21-p24*p23*p22+p24*p23)
2 --- 45  -> ((-1)*p24*p23*p22*p21+p23*p22*p21+p24*p23*p21+p24*p23*p22-p23*p21-p23*p22-p24*p23+p23)
2 --- 46  -> ((-1)*p24*p23*p22*p21+p24*p22*p21+p24*p23*p21+p24*p23*p22-p24*p21-p24*p22-p24*p23+p24)
2 --- 47  -> (p24*p23*p22*p21-p23*p22*p21-p24*p22*p21-p24*p23*p21-p24*p23*p22+p22*p21+p23*p21+p24*p21+p23*p22+p24*p22+p24*p23-p21-p22-p23-p24+(1))
3 --- 48  -> (p34*p33*p32*p31)
3 --- 49  -> ((-1)*p34*p33*p32*p31+p33*p32*p31)
3 --- 50  -> ((-1)*p34*p33*p32*p31+p34*p32*p31)
3 --- 51  -> (p34*p33*p32*p31-p33*p32*p31-p34*p32*p31+p32*p31)
3 --- 52  -> ((-1)*p34*p33*p32*p31+p34*p33*p31)
3 --- 53  -> (p34*p33*p32*p31-p33*p32*p31-p34*p33*p31+p33*p31)
3 --- 54  -> (p34*p33*p32*p31-p34*p32*p31-p34*p33*p31+p34*p31)
3 --- 55  -> ((-1)*p34*p33*p32*p31+p33*p32*p31+p34*p32*p31+p34*p33*p31-p32*p31-p33*p31-p34*p31+p31)
3 --- 56  -> ((-1)*p34*p33*p32*p31+p34*p33*p32)
3 --- 57  -> (p34*p33*p32*p31-p33*p32*p31-p34*p33*p32+p33*p32)
3 --- 58  -> (p34*p33*p32*p31-p34*p32*p31-p34*p33*p32+p34*p32)
3 --- 59  -> ((-1)*p34*p33*p32*p31+p33*p32*p31+p34*p32*p31+p34*p33*p32-p32*p31-p33*p32-p34*p32+p32)
3 --- 60  -> (p34*p33*p32*p31-p34*p33*p31-p34*p33*p32+p34*p33)
3 --- 61  -> ((-1)*p34*p33*p32*p31+p33*p32*p31+p34*p33*p31+p34*p33*p32-p33*p31-p33*p32-p34*p33+p33)
3 --- 62  -> ((-1)*p34*p33*p32*p31+p34*p32*p31+p34*p33*p31+p34*p33*p32-p34*p31-p34*p32-p34*p33+p34)
3 --- 63  -> (p34*p33*p32*p31-p33*p32*p31-p34*p32*p31-p34*p33*p31-p34*p33*p32+p32*p31+p33*p31+p34*p31+p33*p32+p34*p32+p34*p33-p31-p32-p33-p34+(1))
4 --- 64  -> (p44*p43*p42*p41)
4 --- 65  -> ((-1)*p44*p43*p42*p41+p43*p42*p41)
4 --- 66  -> ((-1)*p44*p43*p42*p41+p44*p42*p41)
4 --- 67  -> (p44*p43*p42*p41-p43*p42*p41-p44*p42*p41+p42*p41)
4 --- 68  -> ((-1)*p44*p43*p42*p41+p44*p43*p41)
4 --- 69  -> (p44*p43*p42*p41-p43*p42*p41-p44*p43*p41+p43*p41)
4 --- 70  -> (p44*p43*p42*p41-p44*p42*p41-p44*p43*p41+p44*p41)
4 --- 71  -> ((-1)*p44*p43*p42*p41+p43*p42*p41+p44*p42*p41+p44*p43*p41-p42*p41-p43*p41-p44*p41+p41)
4 --- 72  -> ((-1)*p44*p43*p42*p41+p44*p43*p42)
4 --- 73  -> (p44*p43*p42*p41-p43*p42*p41-p44*p43*p42+p43*p42)
4 --- 74  -> (p44*p43*p42*p41-p44*p42*p41-p44*p43*p42+p44*p42)
4 --- 75  -> ((-1)*p44*p43*p42*p41+p43*p42*p41+p44*p42*p41+p44*p43*p42-p42*p41-p43*p42-p44*p42+p42)
4 --- 76  -> (p44*p43*p42*p41-p44*p43*p41-p44*p43*p42+p44*p43)
4 --- 77  -> ((-1)*p44*p43*p42*p41+p43*p42*p41+p44*p43*p41+p44*p43*p42-p43*p41-p43*p42-p44*p43+p43)
4 --- 78  -> ((-1)*p44*p43*p42*p41+p44*p42*p41+p44*p43*p41+p44*p43*p42-p44*p41-p44*p42-p44*p43+p44)
4 --- 79  -> (p44*p43*p42*p41-p43*p42*p41-p44*p42*p41-p44*p43*p41-p44*p43*p42+p42*p41+p43*p41+p44*p41+p43*p42+p44*p42+p44*p43-p41-p42-p43-p44+(1))
5 --- 80  -> (p54*p53*p52*p51)
5 --- 81  -> ((-1)*p54*p53*p52*p51+p53*p52*p51)
5 --- 82  -> ((-1)*p54*p53*p52*p51+p54*p52*p51)
5 --- 83  -> (p54*p53*p52*p51-p53*p52*p51-p54*p52*p51+p52*p51)
5 --- 84  -> ((-1)*p54*p53*p52*p51+p54*p53*p51)
5 --- 85  -> (p54*p53*p52*p51-p53*p52*p51-p54*p53*p51+p53*p51)
5 --- 86  -> (p54*p53*p52*p51-p54*p52*p51-p54*p53*p51+p54*p51)
5 --- 87  -> ((-1)*p54*p53*p52*p51+p53*p52*p51+p54*p52*p51+p54*p53*p51-p52*p51-p53*p51-p54*p51+p51)
5 --- 88  -> ((-1)*p54*p53*p52*p51+p54*p53*p52)
5 --- 89  -> (p54*p53*p52*p51-p53*p52*p51-p54*p53*p52+p53*p52)
5 --- 90  -> (p54*p53*p52*p51-p54*p52*p51-p54*p53*p52+p54*p52)
5 --- 91  -> ((-1)*p54*p53*p52*p51+p53*p52*p51+p54*p52*p51+p54*p53*p52-p52*p51-p53*p52-p54*p52+p52)
5 --- 92  -> (p54*p53*p52*p51-p54*p53*p51-p54*p53*p52+p54*p53)
5 --- 93  -> ((-1)*p54*p53*p52*p51+p53*p52*p51+p54*p53*p51+p54*p53*p52-p53*p51-p53*p52-p54*p53+p53)
5 --- 94  -> ((-1)*p54*p53*p52*p51+p54*p52*p51+p54*p53*p51+p54*p53*p52-p54*p51-p54*p52-p54*p53+p54)
5 --- 95  -> (p54*p53*p52*p51-p53*p52*p51-p54*p52*p51-p54*p53*p51-p54*p53*p52+p52*p51+p53*p51+p54*p51+p53*p52+p54*p52+p54*p53-p51-p52-p53-p54+(1))
6 --- 96  -> (p64*p63*p62*p61)
6 --- 97  -> ((-1)*p64*p63*p62*p61+p63*p62*p61)
6 --- 98  -> ((-1)*p64*p63*p62*p61+p64*p62*p61)
6 --- 99  -> (p64*p63*p62*p61-p63*p62*p61-p64*p62*p61+p62*p61)
6 --- 100  -> ((-1)*p64*p63*p62*p61+p64*p63*p61)
6 --- 101  -> (p64*p63*p62*p61-p63*p62*p61-p64*p63*p61+p63*p61)
6 --- 102  -> (p64*p63*p62*p61-p64*p62*p61-p64*p63*p61+p64*p61)
6 --- 103  -> ((-1)*p64*p63*p62*p61+p63*p62*p61+p64*p62*p61+p64*p63*p61-p62*p61-p63*p61-p64*p61+p61)
6 --- 104  -> ((-1)*p64*p63*p62*p61+p64*p63*p62)
6 --- 105  -> (p64*p63*p62*p61-p63*p62*p61-p64*p63*p62+p63*p62)
6 --- 106  -> (p64*p63*p62*p61-p64*p62*p61-p64*p63*p62+p64*p62)
6 --- 107  -> ((-1)*p64*p63*p62*p61+p63*p62*p61+p64*p62*p61+p64*p63*p62-p62*p61-p63*p62-p64*p62+p62)
6 --- 108  -> (p64*p63*p62*p61-p64*p63*p61-p64*p63*p62+p64*p63)
6 --- 109  -> ((-1)*p64*p63*p62*p61+p63*p62*p61+p64*p63*p61+p64*p63*p62-p63*p61-p63*p62-p64*p63+p63)
6 --- 110  -> ((-1)*p64*p63*p62*p61+p64*p62*p61+p64*p63*p61+p64*p63*p62-p64*p61-p64*p62-p64*p63+p64)
6 --- 111  -> (p64*p63*p62*p61-p63*p62*p61-p64*p62*p61-p64*p63*p61-p64*p63*p62+p62*p61+p63*p61+p64*p61+p63*p62+p64*p62+p64*p63-p61-p62-p63-p64+(1))
7 --- 1  -> (y2)
7 --- 3  -> ((-1)*y1-y2+(1))
7 --- 5  -> (y1)
8 --- 0  -> (z2)
8 --- 4  -> ((-1)*z1-z2+(1))
8 --- 5  -> (z1)
9 --- 9  -> (1)
10 --- 10  -> (1)
11 --- 11  -> (1)
12 --- 12  -> (1)
13 --- 13  -> (1)
14 --- 14  -> (1)
15 --- 0  -> (1)
16 --- 2  -> (1)
17 --- 2  -> (1)
18 --- 2  -> (1)
19 --- 2  -> (1)
20 --- 2  -> (1)
21 --- 2  -> (1)
22 --- 2  -> (1)
23 --- 2  -> (1)
24 --- 2  -> (1)
25 --- 2  -> (1)
26 --- 2  -> (1)
27 --- 2  -> (1)
28 --- 2  -> (1)
29 --- 2  -> (1)
30 --- 2  -> (1)
31 --- 14  -> (1)
32 --- 7  -> (1)
33 --- 7  -> (1)
34 --- 7  -> (1)
35 --- 7  -> (1)
36 --- 7  -> (1)
37 --- 7  -> (1)
38 --- 7  -> (1)
39 --- 7  -> (1)
40 --- 7  -> (1)
41 --- 7  -> (1)
42 --- 7  -> (1)
43 --- 7  -> (1)
44 --- 7  -> (1)
45 --- 7  -> (1)
46 --- 7  -> (1)
47 --- 13  -> (1)
48 --- 6  -> (1)
49 --- 6  -> (1)
50 --- 6  -> (1)
51 --- 6  -> (1)
52 --- 6  -> (1)
53 --- 6  -> (1)
54 --- 6  -> (1)
55 --- 6  -> (1)
56 --- 6  -> (1)
57 --- 6  -> (1)
58 --- 6  -> (1)
59 --- 6  -> (1)
60 --- 6  -> (1)
61 --- 6  -> (1)
62 --- 6  -> (1)
63 --- 12  -> (1)
64 --- 8  -> (1)
65 --- 8  -> (1)
66 --- 8  -> (1)
67 --- 8  -> (1)
68 --- 8  -> (1)
69 --- 8  -> (1)
70 --- 8  -> (1)
71 --- 8  -> (1)
72 --- 8  -> (1)
73 --- 8  -> (1)
74 --- 8  -> (1)
75 --- 8  -> (1)
76 --- 8  -> (1)
77 --- 8  -> (1)
78 --- 8  -> (1)
79 --- 11  -> (1)
80 --- 6  -> (1)
81 --- 6  -> (1)
82 --- 6  -> (1)
83 --- 6  -> (1)
84 --- 6  -> (1)
85 --- 6  -> (1)
86 --- 6  -> (1)
87 --- 6  -> (1)
88 --- 6  -> (1)
89 --- 6  -> (1)
90 --- 6  -> (1)
91 --- 6  -> (1)
92 --- 6  -> (1)
93 --- 6  -> (1)
94 --- 6  -> (1)
95 --- 10  -> (1)
96 --- 15  -> (1)
97 --- 15  -> (1)
98 --- 15  -> (1)
99 --- 15  -> (1)
100 --- 15  -> (1)
101 --- 15  -> (1)
102 --- 15  -> (1)
103 --- 15  -> (1)
104 --- 15  -> (1)
105 --- 15  -> (1)
106 --- 15  -> (1)
107 --- 15  -> (1)
108 --- 15  -> (1)
109 --- 15  -> (1)
110 --- 15  -> (1)
111 --- 9  -> (1)


In New Model number of states = ( 114 ); number of transition = ( 211 ) 

New transition
0 --- 1  -> (x)
0 --- 4  -> ((-1)*x+(1))
1 --- 16  -> (p14*p13*p12*p11)
1 --- 17  -> ((-1)*p14*p13*p12*p11+p13*p12*p11)
1 --- 18  -> ((-1)*p14*p13*p12*p11+p14*p12*p11)
1 --- 19  -> (p14*p13*p12*p11-p13*p12*p11-p14*p12*p11+p12*p11)
1 --- 20  -> ((-1)*p14*p13*p12*p11+p14*p13*p11)
1 --- 21  -> (p14*p13*p12*p11-p13*p12*p11-p14*p13*p11+p13*p11)
1 --- 22  -> (p14*p13*p12*p11-p14*p12*p11-p14*p13*p11+p14*p11)
1 --- 23  -> ((-1)*p14*p13*p12*p11+p13*p12*p11+p14*p12*p11+p14*p13*p11-p12*p11-p13*p11-p14*p11+p11)
1 --- 24  -> ((-1)*p14*p13*p12*p11+p14*p13*p12)
1 --- 25  -> (p14*p13*p12*p11-p13*p12*p11-p14*p13*p12+p13*p12)
1 --- 26  -> (p14*p13*p12*p11-p14*p12*p11-p14*p13*p12+p14*p12)
1 --- 27  -> ((-1)*p14*p13*p12*p11+p13*p12*p11+p14*p12*p11+p14*p13*p12-p12*p11-p13*p12-p14*p12+p12)
1 --- 28  -> (p14*p13*p12*p11-p14*p13*p11-p14*p13*p12+p14*p13)
1 --- 29  -> ((-1)*p14*p13*p12*p11+p13*p12*p11+p14*p13*p11+p14*p13*p12-p13*p11-p13*p12-p14*p13+p13)
1 --- 30  -> ((-1)*p14*p13*p12*p11+p14*p12*p11+p14*p13*p11+p14*p13*p12-p14*p11-p14*p12-p14*p13+p14)
1 --- 31  -> (p14*p13*p12*p11-p13*p12*p11-p14*p12*p11-p14*p13*p11-p14*p13*p12+p12*p11+p13*p11+p14*p11+p13*p12+p14*p12+p14*p13-p11-p12-p13-p14+(1))
2 --- 32  -> (p24*p23*p22*p21)
2 --- 33  -> ((-1)*p24*p23*p22*p21+p23*p22*p21)
2 --- 34  -> ((-1)*p24*p23*p22*p21+p24*p22*p21)
2 --- 35  -> (p24*p23*p22*p21-p23*p22*p21-p24*p22*p21+p22*p21)
2 --- 36  -> ((-1)*p24*p23*p22*p21+p24*p23*p21)
2 --- 37  -> (p24*p23*p22*p21-p23*p22*p21-p24*p23*p21+p23*p21)
2 --- 38  -> (p24*p23*p22*p21-p24*p22*p21-p24*p23*p21+p24*p21)
2 --- 39  -> ((-1)*p24*p23*p22*p21+p23*p22*p21+p24*p22*p21+p24*p23*p21-p22*p21-p23*p21-p24*p21+p21)
2 --- 40  -> ((-1)*p24*p23*p22*p21+p24*p23*p22)
2 --- 41  -> (p24*p23*p22*p21-p23*p22*p21-p24*p23*p22+p23*p22)
2 --- 42  -> (p24*p23*p22*p21-p24*p22*p21-p24*p23*p22+p24*p22)
2 --- 43  -> ((-1)*p24*p23*p22*p21+p23*p22*p21+p24*p22*p21+p24*p23*p22-p22*p21-p23*p22-p24*p22+p22)
2 --- 44  -> (p24*p23*p22*p21-p24*p23*p21-p24*p23*p22+p24*p23)
2 --- 45  -> ((-1)*p24*p23*p22*p21+p23*p22*p21+p24*p23*p21+p24*p23*p22-p23*p21-p23*p22-p24*p23+p23)
2 --- 46  -> ((-1)*p24*p23*p22*p21+p24*p22*p21+p24*p23*p21+p24*p23*p22-p24*p21-p24*p22-p24*p23+p24)
3 --- 48  -> (p34*p33*p32*p31)
3 --- 49  -> ((-1)*p34*p33*p32*p31+p33*p32*p31)
3 --- 50  -> ((-1)*p34*p33*p32*p31+p34*p32*p31)
3 --- 51  -> (p34*p33*p32*p31-p33*p32*p31-p34*p32*p31+p32*p31)
3 --- 52  -> ((-1)*p34*p33*p32*p31+p34*p33*p31)
3 --- 53  -> (p34*p33*p32*p31-p33*p32*p31-p34*p33*p31+p33*p31)
3 --- 54  -> (p34*p33*p32*p31-p34*p32*p31-p34*p33*p31+p34*p31)
3 --- 55  -> ((-1)*p34*p33*p32*p31+p33*p32*p31+p34*p32*p31+p34*p33*p31-p32*p31-p33*p31-p34*p31+p31)
3 --- 56  -> ((-1)*p34*p33*p32*p31+p34*p33*p32)
3 --- 57  -> (p34*p33*p32*p31-p33*p32*p31-p34*p33*p32+p33*p32)
3 --- 58  -> (p34*p33*p32*p31-p34*p32*p31-p34*p33*p32+p34*p32)
3 --- 59  -> ((-1)*p34*p33*p32*p31+p33*p32*p31+p34*p32*p31+p34*p33*p32-p32*p31-p33*p32-p34*p32+p32)
3 --- 60  -> (p34*p33*p32*p31-p34*p33*p31-p34*p33*p32+p34*p33)
3 --- 61  -> ((-1)*p34*p33*p32*p31+p33*p32*p31+p34*p33*p31+p34*p33*p32-p33*p31-p33*p32-p34*p33+p33)
3 --- 62  -> ((-1)*p34*p33*p32*p31+p34*p32*p31+p34*p33*p31+p34*p33*p32-p34*p31-p34*p32-p34*p33+p34)
3 --- 63  -> (p34*p33*p32*p31-p33*p32*p31-p34*p32*p31-p34*p33*p31-p34*p33*p32+p32*p31+p33*p31+p34*p31+p33*p32+p34*p32+p34*p33-p31-p32-p33-p34+(1))
6 --- 96  -> (p64*p63*p62*p61)
6 --- 97  -> ((-1)*p64*p63*p62*p61+p63*p62*p61)
6 --- 98  -> ((-1)*p64*p63*p62*p61+p64*p62*p61)
6 --- 99  -> (p64*p63*p62*p61-p63*p62*p61-p64*p62*p61+p62*p61)
6 --- 100  -> ((-1)*p64*p63*p62*p61+p64*p63*p61)
6 --- 101  -> (p64*p63*p62*p61-p63*p62*p61-p64*p63*p61+p63*p61)
6 --- 102  -> (p64*p63*p62*p61-p64*p62*p61-p64*p63*p61+p64*p61)
6 --- 103  -> ((-1)*p64*p63*p62*p61+p63*p62*p61+p64*p62*p61+p64*p63*p61-p62*p61-p63*p61-p64*p61+p61)
6 --- 104  -> ((-1)*p64*p63*p62*p61+p64*p63*p62)
6 --- 105  -> (p64*p63*p62*p61-p63*p62*p61-p64*p63*p62+p63*p62)
6 --- 106  -> (p64*p63*p62*p61-p64*p62*p61-p64*p63*p62+p64*p62)
6 --- 107  -> ((-1)*p64*p63*p62*p61+p63*p62*p61+p64*p62*p61+p64*p63*p62-p62*p61-p63*p62-p64*p62+p62)
6 --- 108  -> (p64*p63*p62*p61-p64*p63*p61-p64*p63*p62+p64*p63)
6 --- 109  -> ((-1)*p64*p63*p62*p61+p63*p62*p61+p64*p63*p61+p64*p63*p62-p63*p61-p63*p62-p64*p63+p63)
6 --- 110  -> ((-1)*p64*p63*p62*p61+p64*p62*p61+p64*p63*p61+p64*p63*p62-p64*p61-p64*p62-p64*p63+p64)
6 --- 111  -> (p64*p63*p62*p61-p63*p62*p61-p64*p62*p61-p64*p63*p61-p64*p63*p62+p62*p61+p63*p61+p64*p61+p63*p62+p64*p62+p64*p63-p61-p62-p63-p64+(1))
7 --- 1  -> (y2)
7 --- 3  -> ((-1)*y1-y2+(1))
7 --- 5  -> (y1)
9 --- 9  -> (1)
10 --- 10  -> (1)
11 --- 11  -> (1)
12 --- 12  -> (1)
13 --- 13  -> (1)
14 --- 14  -> (1)
15 --- 0  -> (1)
16 --- 2  -> (1)
17 --- 2  -> (1)
18 --- 2  -> (1)
19 --- 2  -> (1)
20 --- 2  -> (1)
21 --- 2  -> (1)
22 --- 2  -> (1)
23 --- 2  -> (1)
24 --- 2  -> (1)
25 --- 2  -> (1)
26 --- 2  -> (1)
27 --- 2  -> (1)
28 --- 2  -> (1)
29 --- 2  -> (1)
30 --- 2  -> (1)
31 --- 14  -> (1)
32 --- 7  -> (1)
33 --- 7  -> (1)
34 --- 7  -> (1)
35 --- 7  -> (1)
36 --- 7  -> (1)
37 --- 7  -> (1)
38 --- 7  -> (1)
39 --- 7  -> (1)
40 --- 7  -> (1)
41 --- 7  -> (1)
42 --- 7  -> (1)
43 --- 7  -> (1)
44 --- 7  -> (1)
45 --- 7  -> (1)
46 --- 7  -> (1)
47 --- 13  -> (1)
48 --- 6  -> (1)
49 --- 6  -> (1)
50 --- 6  -> (1)
51 --- 6  -> (1)
52 --- 6  -> (1)
53 --- 6  -> (1)
54 --- 6  -> (1)
55 --- 6  -> (1)
56 --- 6  -> (1)
57 --- 6  -> (1)
58 --- 6  -> (1)
59 --- 6  -> (1)
60 --- 6  -> (1)
61 --- 6  -> (1)
62 --- 6  -> (1)
63 --- 12  -> (1)
64 --- 8  -> (1)
65 --- 8  -> (1)
66 --- 8  -> (1)
67 --- 8  -> (1)
68 --- 8  -> (1)
69 --- 8  -> (1)
70 --- 8  -> (1)
71 --- 8  -> (1)
72 --- 8  -> (1)
73 --- 8  -> (1)
74 --- 8  -> (1)
75 --- 8  -> (1)
76 --- 8  -> (1)
77 --- 8  -> (1)
78 --- 8  -> (1)
79 --- 11  -> (1)
80 --- 6  -> (1)
81 --- 6  -> (1)
82 --- 6  -> (1)
83 --- 6  -> (1)
84 --- 6  -> (1)
85 --- 6  -> (1)
86 --- 6  -> (1)
87 --- 6  -> (1)
88 --- 6  -> (1)
89 --- 6  -> (1)
90 --- 6  -> (1)
91 --- 6  -> (1)
92 --- 6  -> (1)
93 --- 6  -> (1)
94 --- 6  -> (1)
95 --- 10  -> (1)
96 --- 15  -> (1)
97 --- 15  -> (1)
98 --- 15  -> (1)
99 --- 15  -> (1)
100 --- 15  -> (1)
101 --- 15  -> (1)
102 --- 15  -> (1)
103 --- 15  -> (1)
104 --- 15  -> (1)
105 --- 15  -> (1)
106 --- 15  -> (1)
107 --- 15  -> (1)
108 --- 15  -> (1)
109 --- 15  -> (1)
110 --- 15  -> (1)
111 --- 9  -> (1)
8 --- 64  -> ( ((-1)*z1-z2+(1)) ) * ( (p44*p43*p42*p41) )
8 --- 65  -> ( ((-1)*z1-z2+(1)) ) * ( ((-1)*p44*p43*p42*p41+p43*p42*p41) )
8 --- 66  -> ( ((-1)*z1-z2+(1)) ) * ( ((-1)*p44*p43*p42*p41+p44*p42*p41) )
8 --- 67  -> ( ((-1)*z1-z2+(1)) ) * ( (p44*p43*p42*p41-p43*p42*p41-p44*p42*p41+p42*p41) )
8 --- 68  -> ( ((-1)*z1-z2+(1)) ) * ( ((-1)*p44*p43*p42*p41+p44*p43*p41) )
8 --- 69  -> ( ((-1)*z1-z2+(1)) ) * ( (p44*p43*p42*p41-p43*p42*p41-p44*p43*p41+p43*p41) )
8 --- 70  -> ( ((-1)*z1-z2+(1)) ) * ( (p44*p43*p42*p41-p44*p42*p41-p44*p43*p41+p44*p41) )
8 --- 71  -> ( ((-1)*z1-z2+(1)) ) * ( ((-1)*p44*p43*p42*p41+p43*p42*p41+p44*p42*p41+p44*p43*p41-p42*p41-p43*p41-p44*p41+p41) )
8 --- 72  -> ( ((-1)*z1-z2+(1)) ) * ( ((-1)*p44*p43*p42*p41+p44*p43*p42) )
8 --- 73  -> ( ((-1)*z1-z2+(1)) ) * ( (p44*p43*p42*p41-p43*p42*p41-p44*p43*p42+p43*p42) )
8 --- 74  -> ( ((-1)*z1-z2+(1)) ) * ( (p44*p43*p42*p41-p44*p42*p41-p44*p43*p42+p44*p42) )
8 --- 75  -> ( ((-1)*z1-z2+(1)) ) * ( ((-1)*p44*p43*p42*p41+p43*p42*p41+p44*p42*p41+p44*p43*p42-p42*p41-p43*p42-p44*p42+p42) )
8 --- 76  -> ( ((-1)*z1-z2+(1)) ) * ( (p44*p43*p42*p41-p44*p43*p41-p44*p43*p42+p44*p43) )
8 --- 77  -> ( ((-1)*z1-z2+(1)) ) * ( ((-1)*p44*p43*p42*p41+p43*p42*p41+p44*p43*p41+p44*p43*p42-p43*p41-p43*p42-p44*p43+p43) )
8 --- 78  -> ( ((-1)*z1-z2+(1)) ) * ( ((-1)*p44*p43*p42*p41+p44*p42*p41+p44*p43*p41+p44*p43*p42-p44*p41-p44*p42-p44*p43+p44) )
8 --- 79  -> ( ((-1)*z1-z2+(1)) ) * ( (p44*p43*p42*p41-p43*p42*p41-p44*p42*p41-p44*p43*p41-p44*p43*p42+p42*p41+p43*p41+p44*p41+p43*p42+p44*p42+p44*p43-p41-p42-p43-p44+(1)) )
8 --- 80  -> ( (z1) ) * ( (p54*p53*p52*p51) )
8 --- 81  -> ( (z1) ) * ( ((-1)*p54*p53*p52*p51+p53*p52*p51) )
8 --- 82  -> ( (z1) ) * ( ((-1)*p54*p53*p52*p51+p54*p52*p51) )
8 --- 83  -> ( (z1) ) * ( (p54*p53*p52*p51-p53*p52*p51-p54*p52*p51+p52*p51) )
8 --- 84  -> ( (z1) ) * ( ((-1)*p54*p53*p52*p51+p54*p53*p51) )
8 --- 85  -> ( (z1) ) * ( (p54*p53*p52*p51-p53*p52*p51-p54*p53*p51+p53*p51) )
8 --- 86  -> ( (z1) ) * ( (p54*p53*p52*p51-p54*p52*p51-p54*p53*p51+p54*p51) )
8 --- 87  -> ( (z1) ) * ( ((-1)*p54*p53*p52*p51+p53*p52*p51+p54*p52*p51+p54*p53*p51-p52*p51-p53*p51-p54*p51+p51) )
8 --- 88  -> ( (z1) ) * ( ((-1)*p54*p53*p52*p51+p54*p53*p52) )
8 --- 89  -> ( (z1) ) * ( (p54*p53*p52*p51-p53*p52*p51-p54*p53*p52+p53*p52) )
8 --- 90  -> ( (z1) ) * ( (p54*p53*p52*p51-p54*p52*p51-p54*p53*p52+p54*p52) )
8 --- 91  -> ( (z1) ) * ( ((-1)*p54*p53*p52*p51+p53*p52*p51+p54*p52*p51+p54*p53*p52-p52*p51-p53*p52-p54*p52+p52) )
8 --- 92  -> ( (z1) ) * ( (p54*p53*p52*p51-p54*p53*p51-p54*p53*p52+p54*p53) )
8 --- 93  -> ( (z1) ) * ( ((-1)*p54*p53*p52*p51+p53*p52*p51+p54*p53*p51+p54*p53*p52-p53*p51-p53*p52-p54*p53+p53) )
8 --- 94  -> ( (z1) ) * ( ((-1)*p54*p53*p52*p51+p54*p52*p51+p54*p53*p51+p54*p53*p52-p54*p51-p54*p52-p54*p53+p54) )
8 --- 95  -> ( (z1) ) * ( (p54*p53*p52*p51-p53*p52*p51-p54*p52*p51-p54*p53*p51-p54*p53*p52+p52*p51+p53*p51+p54*p51+p53*p52+p54*p52+p54*p53-p51-p52-p53-p54+(1)) )
2 --- 112  -> (p24*p23*p22*p21-p23*p22*p21-p24*p22*p21-p24*p23*p21-p24*p23*p22+p22*p21+p23*p21+p24*p21+p23*p22+p24*p22+p24*p23-p21-p22-p23-p24+(1))
112 --- 47  -> 1
8 --- 113  -> (z2)
113 --- 0  -> 1
4 --- 8  ->               ( (p44*p43*p42*p41) ) * ( (1) ) + ( ((-1)*p44*p43*p42*p41+p43*p42*p41) ) * ( (1) )  + ( ((-1)*p44*p43*p42*p41+p44*p42*p41) ) * ( (1) )  + ( (p44*p43*p42*p41-p43*p42*p41-p44*p42*p41+p42*p41) ) * ( (1) )  + ( ((-1)*p44*p43*p42*p41+p44*p43*p41) ) * ( (1) )  + ( (p44*p43*p42*p41-p43*p42*p41-p44*p43*p41+p43*p41) ) * ( (1) )  + ( (p44*p43*p42*p41-p44*p42*p41-p44*p43*p41+p44*p41) ) * ( (1) )  + ( ((-1)*p44*p43*p42*p41+p43*p42*p41+p44*p42*p41+p44*p43*p41-p42*p41-p43*p41-p44*p41+p41) ) * ( (1) )  + ( ((-1)*p44*p43*p42*p41+p44*p43*p42) ) * ( (1) )  + ( (p44*p43*p42*p41-p43*p42*p41-p44*p43*p42+p43*p42) ) * ( (1) )  + ( (p44*p43*p42*p41-p44*p42*p41-p44*p43*p42+p44*p42) ) * ( (1) )  + ( ((-1)*p44*p43*p42*p41+p43*p42*p41+p44*p42*p41+p44*p43*p42-p42*p41-p43*p42-p44*p42+p42) ) * ( (1) )  + ( (p44*p43*p42*p41-p44*p43*p41-p44*p43*p42+p44*p43) ) * ( (1) )  + ( ((-1)*p44*p43*p42*p41+p43*p42*p41+p44*p43*p41+p44*p43*p42-p43*p41-p43*p42-p44*p43+p43) ) * ( (1) )  + ( ((-1)*p44*p43*p42*p41+p44*p42*p41+p44*p43*p41+p44*p43*p42-p44*p41-p44*p42-p44*p43+p44) ) * ( (1) ) 
4 --- 11  -> ( (p44*p43*p42*p41-p43*p42*p41-p44*p42*p41-p44*p43*p41-p44*p43*p42+p42*p41+p43*p41+p44*p41+p43*p42+p44*p42+p44*p43-p41-p42-p43-p44+(1)) ) * ( (1) )
5 --- 6  ->               ( (p54*p53*p52*p51) ) * ( (1) ) + ( ((-1)*p54*p53*p52*p51+p53*p52*p51) ) * ( (1) )  + ( ((-1)*p54*p53*p52*p51+p54*p52*p51) ) * ( (1) )  + ( (p54*p53*p52*p51-p53*p52*p51-p54*p52*p51+p52*p51) ) * ( (1) )  + ( ((-1)*p54*p53*p52*p51+p54*p53*p51) ) * ( (1) )  + ( (p54*p53*p52*p51-p53*p52*p51-p54*p53*p51+p53*p51) ) * ( (1) )  + ( (p54*p53*p52*p51-p54*p52*p51-p54*p53*p51+p54*p51) ) * ( (1) )  + ( ((-1)*p54*p53*p52*p51+p53*p52*p51+p54*p52*p51+p54*p53*p51-p52*p51-p53*p51-p54*p51+p51) ) * ( (1) )  + ( ((-1)*p54*p53*p52*p51+p54*p53*p52) ) * ( (1) )  + ( (p54*p53*p52*p51-p53*p52*p51-p54*p53*p52+p53*p52) ) * ( (1) )  + ( (p54*p53*p52*p51-p54*p52*p51-p54*p53*p52+p54*p52) ) * ( (1) )  + ( ((-1)*p54*p53*p52*p51+p53*p52*p51+p54*p52*p51+p54*p53*p52-p52*p51-p53*p52-p54*p52+p52) ) * ( (1) )  + ( (p54*p53*p52*p51-p54*p53*p51-p54*p53*p52+p54*p53) ) * ( (1) )  + ( ((-1)*p54*p53*p52*p51+p53*p52*p51+p54*p53*p51+p54*p53*p52-p53*p51-p53*p52-p54*p53+p53) ) * ( (1) )  + ( ((-1)*p54*p53*p52*p51+p54*p52*p51+p54*p53*p51+p54*p53*p52-p54*p51-p54*p52-p54*p53+p54) ) * ( (1) ) 
5 --- 10  -> ( (p54*p53*p52*p51-p53*p52*p51-p54*p52*p51-p54*p53*p51-p54*p53*p52+p52*p51+p53*p51+p54*p51+p53*p52+p54*p52+p54*p53-p51-p52-p53-p54+(1)) ) * ( (1) )


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

This is transition in Fragment (1) 
    [0, 1]  (x)
    [0, 4]  ((-1)*x+(1))
    [1, 16]  (p14*p13*p12*p11)
    [1, 17]  ((-1)*p14*p13*p12*p11+p13*p12*p11)
    [1, 18]  ((-1)*p14*p13*p12*p11+p14*p12*p11)
    [1, 19]  (p14*p13*p12*p11-p13*p12*p11-p14*p12*p11+p12*p11)
    [1, 20]  ((-1)*p14*p13*p12*p11+p14*p13*p11)
    [1, 21]  (p14*p13*p12*p11-p13*p12*p11-p14*p13*p11+p13*p11)
    [1, 22]  (p14*p13*p12*p11-p14*p12*p11-p14*p13*p11+p14*p11)
    [1, 23]  ((-1)*p14*p13*p12*p11+p13*p12*p11+p14*p12*p11+p14*p13*p11-p12*p11-p13*p11-p14*p11+p11)
    [1, 24]  ((-1)*p14*p13*p12*p11+p14*p13*p12)
    [1, 25]  (p14*p13*p12*p11-p13*p12*p11-p14*p13*p12+p13*p12)
    [1, 26]  (p14*p13*p12*p11-p14*p12*p11-p14*p13*p12+p14*p12)
    [1, 27]  ((-1)*p14*p13*p12*p11+p13*p12*p11+p14*p12*p11+p14*p13*p12-p12*p11-p13*p12-p14*p12+p12)
    [1, 28]  (p14*p13*p12*p11-p14*p13*p11-p14*p13*p12+p14*p13)
    [1, 29]  ((-1)*p14*p13*p12*p11+p13*p12*p11+p14*p13*p11+p14*p13*p12-p13*p11-p13*p12-p14*p13+p13)
    [1, 30]  ((-1)*p14*p13*p12*p11+p14*p12*p11+p14*p13*p11+p14*p13*p12-p14*p11-p14*p12-p14*p13+p14)
    [1, 31]  (p14*p13*p12*p11-p13*p12*p11-p14*p12*p11-p14*p13*p11-p14*p13*p12+p12*p11+p13*p11+p14*p11+p13*p12+p14*p12+p14*p13-p11-p12-p13-p14+(1))
    [2, 32]  (p24*p23*p22*p21)
    [2, 33]  ((-1)*p24*p23*p22*p21+p23*p22*p21)
    [2, 34]  ((-1)*p24*p23*p22*p21+p24*p22*p21)
    [2, 35]  (p24*p23*p22*p21-p23*p22*p21-p24*p22*p21+p22*p21)
    [2, 36]  ((-1)*p24*p23*p22*p21+p24*p23*p21)
    [2, 37]  (p24*p23*p22*p21-p23*p22*p21-p24*p23*p21+p23*p21)
    [2, 38]  (p24*p23*p22*p21-p24*p22*p21-p24*p23*p21+p24*p21)
    [2, 39]  ((-1)*p24*p23*p22*p21+p23*p22*p21+p24*p22*p21+p24*p23*p21-p22*p21-p23*p21-p24*p21+p21)
    [2, 40]  ((-1)*p24*p23*p22*p21+p24*p23*p22)
    [2, 41]  (p24*p23*p22*p21-p23*p22*p21-p24*p23*p22+p23*p22)
    [2, 42]  (p24*p23*p22*p21-p24*p22*p21-p24*p23*p22+p24*p22)
    [2, 43]  ((-1)*p24*p23*p22*p21+p23*p22*p21+p24*p22*p21+p24*p23*p22-p22*p21-p23*p22-p24*p22+p22)
    [2, 44]  (p24*p23*p22*p21-p24*p23*p21-p24*p23*p22+p24*p23)
    [2, 45]  ((-1)*p24*p23*p22*p21+p23*p22*p21+p24*p23*p21+p24*p23*p22-p23*p21-p23*p22-p24*p23+p23)
    [2, 46]  ((-1)*p24*p23*p22*p21+p24*p22*p21+p24*p23*p21+p24*p23*p22-p24*p21-p24*p22-p24*p23+p24)
    [7, 1]  (y2)
    [7, 3]  ((-1)*y1-y2+(1))
    [7, 5]  (y1)
    [16, 2]  (1)
    [17, 2]  (1)
    [18, 2]  (1)
    [19, 2]  (1)
    [20, 2]  (1)
    [21, 2]  (1)
    [22, 2]  (1)
    [23, 2]  (1)
    [24, 2]  (1)
    [25, 2]  (1)
    [26, 2]  (1)
    [27, 2]  (1)
    [28, 2]  (1)
    [29, 2]  (1)
    [30, 2]  (1)
    [32, 7]  (1)
    [33, 7]  (1)
    [34, 7]  (1)
    [35, 7]  (1)
    [36, 7]  (1)
    [37, 7]  (1)
    [38, 7]  (1)
    [39, 7]  (1)
    [40, 7]  (1)
    [41, 7]  (1)
    [42, 7]  (1)
    [43, 7]  (1)
    [44, 7]  (1)
    [45, 7]  (1)
    [46, 7]  (1)
    [2, 112]  (p24*p23*p22*p21-p23*p22*p21-p24*p22*p21-p24*p23*p21-p24*p23*p22+p22*p21+p23*p21+p24*p21+p23*p22+p24*p22+p24*p23-p21-p22-p23-p24+(1))
    [3, 3]  1
    [4, 4]  1
    [5, 5]  1
    [31, 31]  1
    [112, 112]  1

This is transition in Fragment (2) 
    [6, 96]  (p64*p63*p62*p61)
    [6, 97]  ((-1)*p64*p63*p62*p61+p63*p62*p61)
    [6, 98]  ((-1)*p64*p63*p62*p61+p64*p62*p61)
    [6, 99]  (p64*p63*p62*p61-p63*p62*p61-p64*p62*p61+p62*p61)
    [6, 100]  ((-1)*p64*p63*p62*p61+p64*p63*p61)
    [6, 101]  (p64*p63*p62*p61-p63*p62*p61-p64*p63*p61+p63*p61)
    [6, 102]  (p64*p63*p62*p61-p64*p62*p61-p64*p63*p61+p64*p61)
    [6, 103]  ((-1)*p64*p63*p62*p61+p63*p62*p61+p64*p62*p61+p64*p63*p61-p62*p61-p63*p61-p64*p61+p61)
    [6, 104]  ((-1)*p64*p63*p62*p61+p64*p63*p62)
    [6, 105]  (p64*p63*p62*p61-p63*p62*p61-p64*p63*p62+p63*p62)
    [6, 106]  (p64*p63*p62*p61-p64*p62*p61-p64*p63*p62+p64*p62)
    [6, 107]  ((-1)*p64*p63*p62*p61+p63*p62*p61+p64*p62*p61+p64*p63*p62-p62*p61-p63*p62-p64*p62+p62)
    [6, 108]  (p64*p63*p62*p61-p64*p63*p61-p64*p63*p62+p64*p63)
    [6, 109]  ((-1)*p64*p63*p62*p61+p63*p62*p61+p64*p63*p61+p64*p63*p62-p63*p61-p63*p62-p64*p63+p63)
    [6, 110]  ((-1)*p64*p63*p62*p61+p64*p62*p61+p64*p63*p61+p64*p63*p62-p64*p61-p64*p62-p64*p63+p64)
    [6, 111]  (p64*p63*p62*p61-p63*p62*p61-p64*p62*p61-p64*p63*p61-p64*p63*p62+p62*p61+p63*p61+p64*p61+p63*p62+p64*p62+p64*p63-p61-p62-p63-p64+(1))
    [96, 96]  1
    [97, 97]  1
    [98, 98]  1
    [99, 99]  1
    [100, 100]  1
    [101, 101]  1
    [102, 102]  1
    [103, 103]  1
    [104, 104]  1
    [105, 105]  1
    [106, 106]  1
    [107, 107]  1
    [108, 108]  1
    [109, 109]  1
    [110, 110]  1
    [111, 111]  1

This is transition in Fragment (3) 
    [64, 8]  (1)
    [65, 8]  (1)
    [66, 8]  (1)
    [67, 8]  (1)
    [68, 8]  (1)
    [69, 8]  (1)
    [70, 8]  (1)
    [71, 8]  (1)
    [72, 8]  (1)
    [73, 8]  (1)
    [74, 8]  (1)
    [75, 8]  (1)
    [76, 8]  (1)
    [77, 8]  (1)
    [78, 8]  (1)
    [8, 64]  ( ((-1)*z1-z2+(1)) ) * ( (p44*p43*p42*p41) )
    [8, 65]  ( ((-1)*z1-z2+(1)) ) * ( ((-1)*p44*p43*p42*p41+p43*p42*p41) )
    [8, 66]  ( ((-1)*z1-z2+(1)) ) * ( ((-1)*p44*p43*p42*p41+p44*p42*p41) )
    [8, 67]  ( ((-1)*z1-z2+(1)) ) * ( (p44*p43*p42*p41-p43*p42*p41-p44*p42*p41+p42*p41) )
    [8, 68]  ( ((-1)*z1-z2+(1)) ) * ( ((-1)*p44*p43*p42*p41+p44*p43*p41) )
    [8, 69]  ( ((-1)*z1-z2+(1)) ) * ( (p44*p43*p42*p41-p43*p42*p41-p44*p43*p41+p43*p41) )
    [8, 70]  ( ((-1)*z1-z2+(1)) ) * ( (p44*p43*p42*p41-p44*p42*p41-p44*p43*p41+p44*p41) )
    [8, 71]  ( ((-1)*z1-z2+(1)) ) * ( ((-1)*p44*p43*p42*p41+p43*p42*p41+p44*p42*p41+p44*p43*p41-p42*p41-p43*p41-p44*p41+p41) )
    [8, 72]  ( ((-1)*z1-z2+(1)) ) * ( ((-1)*p44*p43*p42*p41+p44*p43*p42) )
    [8, 73]  ( ((-1)*z1-z2+(1)) ) * ( (p44*p43*p42*p41-p43*p42*p41-p44*p43*p42+p43*p42) )
    [8, 74]  ( ((-1)*z1-z2+(1)) ) * ( (p44*p43*p42*p41-p44*p42*p41-p44*p43*p42+p44*p42) )
    [8, 75]  ( ((-1)*z1-z2+(1)) ) * ( ((-1)*p44*p43*p42*p41+p43*p42*p41+p44*p42*p41+p44*p43*p42-p42*p41-p43*p42-p44*p42+p42) )
    [8, 76]  ( ((-1)*z1-z2+(1)) ) * ( (p44*p43*p42*p41-p44*p43*p41-p44*p43*p42+p44*p43) )
    [8, 77]  ( ((-1)*z1-z2+(1)) ) * ( ((-1)*p44*p43*p42*p41+p43*p42*p41+p44*p43*p41+p44*p43*p42-p43*p41-p43*p42-p44*p43+p43) )
    [8, 78]  ( ((-1)*z1-z2+(1)) ) * ( ((-1)*p44*p43*p42*p41+p44*p42*p41+p44*p43*p41+p44*p43*p42-p44*p41-p44*p42-p44*p43+p44) )
    [8, 79]  ( ((-1)*z1-z2+(1)) ) * ( (p44*p43*p42*p41-p43*p42*p41-p44*p42*p41-p44*p43*p41-p44*p43*p42+p42*p41+p43*p41+p44*p41+p43*p42+p44*p42+p44*p43-p41-p42-p43-p44+(1)) )
    [8, 80]  ( (z1) ) * ( (p54*p53*p52*p51) )
    [8, 81]  ( (z1) ) * ( ((-1)*p54*p53*p52*p51+p53*p52*p51) )
    [8, 82]  ( (z1) ) * ( ((-1)*p54*p53*p52*p51+p54*p52*p51) )
    [8, 83]  ( (z1) ) * ( (p54*p53*p52*p51-p53*p52*p51-p54*p52*p51+p52*p51) )
    [8, 84]  ( (z1) ) * ( ((-1)*p54*p53*p52*p51+p54*p53*p51) )
    [8, 85]  ( (z1) ) * ( (p54*p53*p52*p51-p53*p52*p51-p54*p53*p51+p53*p51) )
    [8, 86]  ( (z1) ) * ( (p54*p53*p52*p51-p54*p52*p51-p54*p53*p51+p54*p51) )
    [8, 87]  ( (z1) ) * ( ((-1)*p54*p53*p52*p51+p53*p52*p51+p54*p52*p51+p54*p53*p51-p52*p51-p53*p51-p54*p51+p51) )
    [8, 88]  ( (z1) ) * ( ((-1)*p54*p53*p52*p51+p54*p53*p52) )
    [8, 89]  ( (z1) ) * ( (p54*p53*p52*p51-p53*p52*p51-p54*p53*p52+p53*p52) )
    [8, 90]  ( (z1) ) * ( (p54*p53*p52*p51-p54*p52*p51-p54*p53*p52+p54*p52) )
    [8, 91]  ( (z1) ) * ( ((-1)*p54*p53*p52*p51+p53*p52*p51+p54*p52*p51+p54*p53*p52-p52*p51-p53*p52-p54*p52+p52) )
    [8, 92]  ( (z1) ) * ( (p54*p53*p52*p51-p54*p53*p51-p54*p53*p52+p54*p53) )
    [8, 93]  ( (z1) ) * ( ((-1)*p54*p53*p52*p51+p53*p52*p51+p54*p53*p51+p54*p53*p52-p53*p51-p53*p52-p54*p53+p53) )
    [8, 94]  ( (z1) ) * ( ((-1)*p54*p53*p52*p51+p54*p52*p51+p54*p53*p51+p54*p53*p52-p54*p51-p54*p52-p54*p53+p54) )
    [8, 95]  ( (z1) ) * ( (p54*p53*p52*p51-p53*p52*p51-p54*p52*p51-p54*p53*p51-p54*p53*p52+p52*p51+p53*p51+p54*p51+p53*p52+p54*p52+p54*p53-p51-p52-p53-p54+(1)) )
    [8, 113]  (z2)
    [79, 79]  1
    [80, 80]  1
    [81, 81]  1
    [82, 82]  1
    [83, 83]  1
    [84, 84]  1
    [85, 85]  1
    [86, 86]  1
    [87, 87]  1
    [88, 88]  1
    [89, 89]  1
    [90, 90]  1
    [91, 91]  1
    [92, 92]  1
    [93, 93]  1
    [94, 94]  1
    [95, 95]  1
    [113, 113]  1

This is transition in Fragment (4) 
    [47, 47]  1

This is transition in Fragment (5) 
    [48, 48]  1

This is transition in Fragment (6) 
    [49, 49]  1

This is transition in Fragment (7) 
    [50, 50]  1

This is transition in Fragment (8) 
    [51, 51]  1

This is transition in Fragment (9) 
    [52, 52]  1

This is transition in Fragment (10) 
    [53, 53]  1

This is transition in Fragment (11) 
    [54, 54]  1

This is transition in Fragment (12) 
    [55, 55]  1

This is transition in Fragment (13) 
    [56, 56]  1

This is transition in Fragment (14) 
    [57, 57]  1

This is transition in Fragment (15) 
    [58, 58]  1

This is transition in Fragment (16) 
    [59, 59]  1

This is transition in Fragment (17) 
    [60, 60]  1

This is transition in Fragment (18) 
    [61, 61]  1

This is transition in Fragment (19) 
    [62, 62]  1

This is transition in Fragment (20) 
    [63, 63]  1

This is transition in Fragment (21) 
    [9, 9]  1

This is transition in Fragment (22) 
    [10, 10]  1

This is transition in Fragment (23) 
    [11, 11]  1

This is transition in Fragment (24) 
    [12, 12]  1

This is transition in Fragment (25) 
    [13, 13]  1

This is transition in Fragment (26) 
    [14, 14]  1

This is transition in Fragment (27) 
    [15, 15]  1

This is transition for abstract model 
    [3, 48]  ( (p34*p33*p32*p31) ) * ( prob_f1_s3 )
    [3, 49]  ( ((-1)*p34*p33*p32*p31+p33*p32*p31) ) * ( prob_f1_s3 )
    [3, 50]  ( ((-1)*p34*p33*p32*p31+p34*p32*p31) ) * ( prob_f1_s3 )
    [3, 51]  ( (p34*p33*p32*p31-p33*p32*p31-p34*p32*p31+p32*p31) ) * ( prob_f1_s3 )
    [3, 52]  ( ((-1)*p34*p33*p32*p31+p34*p33*p31) ) * ( prob_f1_s3 )
    [3, 53]  ( (p34*p33*p32*p31-p33*p32*p31-p34*p33*p31+p33*p31) ) * ( prob_f1_s3 )
    [3, 54]  ( (p34*p33*p32*p31-p34*p32*p31-p34*p33*p31+p34*p31) ) * ( prob_f1_s3 )
    [3, 55]  ( ((-1)*p34*p33*p32*p31+p33*p32*p31+p34*p32*p31+p34*p33*p31-p32*p31-p33*p31-p34*p31+p31) ) * ( prob_f1_s3 )
    [3, 56]  ( ((-1)*p34*p33*p32*p31+p34*p33*p32) ) * ( prob_f1_s3 )
    [3, 57]  ( (p34*p33*p32*p31-p33*p32*p31-p34*p33*p32+p33*p32) ) * ( prob_f1_s3 )
    [3, 58]  ( (p34*p33*p32*p31-p34*p32*p31-p34*p33*p32+p34*p32) ) * ( prob_f1_s3 )
    [3, 59]  ( ((-1)*p34*p33*p32*p31+p33*p32*p31+p34*p32*p31+p34*p33*p32-p32*p31-p33*p32-p34*p32+p32) ) * ( prob_f1_s3 )
    [3, 60]  ( (p34*p33*p32*p31-p34*p33*p31-p34*p33*p32+p34*p33) ) * ( prob_f1_s3 )
    [3, 61]  ( ((-1)*p34*p33*p32*p31+p33*p32*p31+p34*p33*p31+p34*p33*p32-p33*p31-p33*p32-p34*p33+p33) ) * ( prob_f1_s3 )
    [3, 62]  ( ((-1)*p34*p33*p32*p31+p34*p32*p31+p34*p33*p31+p34*p33*p32-p34*p31-p34*p32-p34*p33+p34) ) * ( prob_f1_s3 )
    [3, 63]  ( (p34*p33*p32*p31-p33*p32*p31-p34*p32*p31-p34*p33*p31-p34*p33*p32+p32*p31+p33*p31+p34*p31+p33*p32+p34*p32+p34*p33-p31-p32-p33-p34+(1)) ) * ( prob_f1_s3 )
    [9, 9]  (1)
    [10, 10]  (1)
    [11, 11]  (1)
    [12, 12]  (1)
    [13, 13]  (1)
    [14, 14]  (1)
    [15, 0]  (1)
    [31, 14]  ( (1) ) * ( prob_f1_s31 )
    [47, 13]  (1)
    [48, 6]  (1)
    [49, 6]  (1)
    [50, 6]  (1)
    [51, 6]  (1)
    [52, 6]  (1)
    [53, 6]  (1)
    [54, 6]  (1)
    [55, 6]  (1)
    [56, 6]  (1)
    [57, 6]  (1)
    [58, 6]  (1)
    [59, 6]  (1)
    [60, 6]  (1)
    [61, 6]  (1)
    [62, 6]  (1)
    [63, 12]  (1)
    [79, 11]  ( (1) ) * ( prob_f3_s79 )
    [80, 6]  ( (1) ) * ( prob_f3_s80 )
    [81, 6]  ( (1) ) * ( prob_f3_s81 )
    [82, 6]  ( (1) ) * ( prob_f3_s82 )
    [83, 6]  ( (1) ) * ( prob_f3_s83 )
    [84, 6]  ( (1) ) * ( prob_f3_s84 )
    [85, 6]  ( (1) ) * ( prob_f3_s85 )
    [86, 6]  ( (1) ) * ( prob_f3_s86 )
    [87, 6]  ( (1) ) * ( prob_f3_s87 )
    [88, 6]  ( (1) ) * ( prob_f3_s88 )
    [89, 6]  ( (1) ) * ( prob_f3_s89 )
    [90, 6]  ( (1) ) * ( prob_f3_s90 )
    [91, 6]  ( (1) ) * ( prob_f3_s91 )
    [92, 6]  ( (1) ) * ( prob_f3_s92 )
    [93, 6]  ( (1) ) * ( prob_f3_s93 )
    [94, 6]  ( (1) ) * ( prob_f3_s94 )
    [95, 10]  ( (1) ) * ( prob_f3_s95 )
    [96, 15]  ( (1) ) * ( prob_f2_s96 )
    [97, 15]  ( (1) ) * ( prob_f2_s97 )
    [98, 15]  ( (1) ) * ( prob_f2_s98 )
    [99, 15]  ( (1) ) * ( prob_f2_s99 )
    [100, 15]  ( (1) ) * ( prob_f2_s100 )
    [101, 15]  ( (1) ) * ( prob_f2_s101 )
    [102, 15]  ( (1) ) * ( prob_f2_s102 )
    [103, 15]  ( (1) ) * ( prob_f2_s103 )
    [104, 15]  ( (1) ) * ( prob_f2_s104 )
    [105, 15]  ( (1) ) * ( prob_f2_s105 )
    [106, 15]  ( (1) ) * ( prob_f2_s106 )
    [107, 15]  ( (1) ) * ( prob_f2_s107 )
    [108, 15]  ( (1) ) * ( prob_f2_s108 )
    [109, 15]  ( (1) ) * ( prob_f2_s109 )
    [110, 15]  ( (1) ) * ( prob_f2_s110 )
    [111, 9]  ( (1) ) * ( prob_f2_s111 )
    [112, 47]  ( 1 ) * ( prob_f1_s112 )
    [113, 0]  ( 1 ) * ( prob_f3_s113 )
    [4, 8]  (               ( (p44*p43*p42*p41) ) * ( (1) ) + ( ((-1)*p44*p43*p42*p41+p43*p42*p41) ) * ( (1) )  + ( ((-1)*p44*p43*p42*p41+p44*p42*p41) ) * ( (1) )  + ( (p44*p43*p42*p41-p43*p42*p41-p44*p42*p41+p42*p41) ) * ( (1) )  + ( ((-1)*p44*p43*p42*p41+p44*p43*p41) ) * ( (1) )  + ( (p44*p43*p42*p41-p43*p42*p41-p44*p43*p41+p43*p41) ) * ( (1) )  + ( (p44*p43*p42*p41-p44*p42*p41-p44*p43*p41+p44*p41) ) * ( (1) )  + ( ((-1)*p44*p43*p42*p41+p43*p42*p41+p44*p42*p41+p44*p43*p41-p42*p41-p43*p41-p44*p41+p41) ) * ( (1) )  + ( ((-1)*p44*p43*p42*p41+p44*p43*p42) ) * ( (1) )  + ( (p44*p43*p42*p41-p43*p42*p41-p44*p43*p42+p43*p42) ) * ( (1) )  + ( (p44*p43*p42*p41-p44*p42*p41-p44*p43*p42+p44*p42) ) * ( (1) )  + ( ((-1)*p44*p43*p42*p41+p43*p42*p41+p44*p42*p41+p44*p43*p42-p42*p41-p43*p42-p44*p42+p42) ) * ( (1) )  + ( (p44*p43*p42*p41-p44*p43*p41-p44*p43*p42+p44*p43) ) * ( (1) )  + ( ((-1)*p44*p43*p42*p41+p43*p42*p41+p44*p43*p41+p44*p43*p42-p43*p41-p43*p42-p44*p43+p43) ) * ( (1) )  + ( ((-1)*p44*p43*p42*p41+p44*p42*p41+p44*p43*p41+p44*p43*p42-p44*p41-p44*p42-p44*p43+p44) ) * ( (1) )  ) * ( prob_f1_s4 )
    [4, 11]  ( ( (p44*p43*p42*p41-p43*p42*p41-p44*p42*p41-p44*p43*p41-p44*p43*p42+p42*p41+p43*p41+p44*p41+p43*p42+p44*p42+p44*p43-p41-p42-p43-p44+(1)) ) * ( (1) ) ) * ( prob_f1_s4 )
    [5, 6]  (               ( (p54*p53*p52*p51) ) * ( (1) ) + ( ((-1)*p54*p53*p52*p51+p53*p52*p51) ) * ( (1) )  + ( ((-1)*p54*p53*p52*p51+p54*p52*p51) ) * ( (1) )  + ( (p54*p53*p52*p51-p53*p52*p51-p54*p52*p51+p52*p51) ) * ( (1) )  + ( ((-1)*p54*p53*p52*p51+p54*p53*p51) ) * ( (1) )  + ( (p54*p53*p52*p51-p53*p52*p51-p54*p53*p51+p53*p51) ) * ( (1) )  + ( (p54*p53*p52*p51-p54*p52*p51-p54*p53*p51+p54*p51) ) * ( (1) )  + ( ((-1)*p54*p53*p52*p51+p53*p52*p51+p54*p52*p51+p54*p53*p51-p52*p51-p53*p51-p54*p51+p51) ) * ( (1) )  + ( ((-1)*p54*p53*p52*p51+p54*p53*p52) ) * ( (1) )  + ( (p54*p53*p52*p51-p53*p52*p51-p54*p53*p52+p53*p52) ) * ( (1) )  + ( (p54*p53*p52*p51-p54*p52*p51-p54*p53*p52+p54*p52) ) * ( (1) )  + ( ((-1)*p54*p53*p52*p51+p53*p52*p51+p54*p52*p51+p54*p53*p52-p52*p51-p53*p52-p54*p52+p52) ) * ( (1) )  + ( (p54*p53*p52*p51-p54*p53*p51-p54*p53*p52+p54*p53) ) * ( (1) )  + ( ((-1)*p54*p53*p52*p51+p53*p52*p51+p54*p53*p51+p54*p53*p52-p53*p51-p53*p52-p54*p53+p53) ) * ( (1) )  + ( ((-1)*p54*p53*p52*p51+p54*p52*p51+p54*p53*p51+p54*p53*p52-p54*p51-p54*p52-p54*p53+p54) ) * ( (1) )  ) * ( prob_f1_s5 )
    [5, 10]  ( ( (p54*p53*p52*p51-p53*p52*p51-p54*p52*p51-p54*p53*p51-p54*p53*p52+p52*p51+p53*p51+p54*p51+p53*p52+p54*p52+p54*p53-p51-p52-p53-p54+(1)) ) * ( (1) ) ) * ( prob_f1_s5 )
****************************The expressions start from here; Copying following expressions to MATLAB; Providing values for the parameters needed; Checking the result of <Output_abstract_model> ******
P1_0_1 = ((x)); 
P1_0_2 = (((-1)*x+(1))); 
P1_1_3 = ((p14*p13*p12*p11)); 
P1_1_4 = (((-1)*p14*p13*p12*p11+p13*p12*p11)); 
P1_1_5 = (((-1)*p14*p13*p12*p11+p14*p12*p11)); 
P1_1_6 = ((p14*p13*p12*p11-p13*p12*p11-p14*p12*p11+p12*p11)); 
P1_1_7 = (((-1)*p14*p13*p12*p11+p14*p13*p11)); 
P1_1_8 = ((p14*p13*p12*p11-p13*p12*p11-p14*p13*p11+p13*p11)); 
P1_1_9 = ((p14*p13*p12*p11-p14*p12*p11-p14*p13*p11+p14*p11)); 
P1_1_10 = (((-1)*p14*p13*p12*p11+p13*p12*p11+p14*p12*p11+p14*p13*p11-p12*p11-p13*p11-p14*p11+p11)); 
P1_1_11 = (((-1)*p14*p13*p12*p11+p14*p13*p12)); 
P1_1_12 = ((p14*p13*p12*p11-p13*p12*p11-p14*p13*p12+p13*p12)); 
P1_1_13 = ((p14*p13*p12*p11-p14*p12*p11-p14*p13*p12+p14*p12)); 
P1_1_14 = (((-1)*p14*p13*p12*p11+p13*p12*p11+p14*p12*p11+p14*p13*p12-p12*p11-p13*p12-p14*p12+p12)); 
P1_1_15 = ((p14*p13*p12*p11-p14*p13*p11-p14*p13*p12+p14*p13)); 
P1_1_16 = (((-1)*p14*p13*p12*p11+p13*p12*p11+p14*p13*p11+p14*p13*p12-p13*p11-p13*p12-p14*p13+p13)); 
P1_1_17 = (((-1)*p14*p13*p12*p11+p14*p12*p11+p14*p13*p11+p14*p13*p12-p14*p11-p14*p12-p14*p13+p14)); 
P1_1_18 = ((p14*p13*p12*p11-p13*p12*p11-p14*p12*p11-p14*p13*p11-p14*p13*p12+p12*p11+p13*p11+p14*p11+p13*p12+p14*p12+p14*p13-p11-p12-p13-p14+(1))); 
P1_2_19 = ((p24*p23*p22*p21)); 
P1_2_20 = (((-1)*p24*p23*p22*p21+p23*p22*p21)); 
P1_2_21 = (((-1)*p24*p23*p22*p21+p24*p22*p21)); 
P1_2_22 = ((p24*p23*p22*p21-p23*p22*p21-p24*p22*p21+p22*p21)); 
P1_2_23 = (((-1)*p24*p23*p22*p21+p24*p23*p21)); 
P1_2_24 = ((p24*p23*p22*p21-p23*p22*p21-p24*p23*p21+p23*p21)); 
P1_2_25 = ((p24*p23*p22*p21-p24*p22*p21-p24*p23*p21+p24*p21)); 
P1_2_26 = (((-1)*p24*p23*p22*p21+p23*p22*p21+p24*p22*p21+p24*p23*p21-p22*p21-p23*p21-p24*p21+p21)); 
P1_2_27 = (((-1)*p24*p23*p22*p21+p24*p23*p22)); 
P1_2_28 = ((p24*p23*p22*p21-p23*p22*p21-p24*p23*p22+p23*p22)); 
P1_2_29 = ((p24*p23*p22*p21-p24*p22*p21-p24*p23*p22+p24*p22)); 
P1_2_30 = (((-1)*p24*p23*p22*p21+p23*p22*p21+p24*p22*p21+p24*p23*p22-p22*p21-p23*p22-p24*p22+p22)); 
P1_2_31 = ((p24*p23*p22*p21-p24*p23*p21-p24*p23*p22+p24*p23)); 
P1_2_32 = (((-1)*p24*p23*p22*p21+p23*p22*p21+p24*p23*p21+p24*p23*p22-p23*p21-p23*p22-p24*p23+p23)); 
P1_2_33 = (((-1)*p24*p23*p22*p21+p24*p22*p21+p24*p23*p21+p24*p23*p22-p24*p21-p24*p22-p24*p23+p24)); 
P1_2_67 = ((p24*p23*p22*p21-p23*p22*p21-p24*p22*p21-p24*p23*p21-p24*p23*p22+p22*p21+p23*p21+p24*p21+p23*p22+p24*p22+p24*p23-p21-p22-p23-p24+(1))); 
P1_7_34 = ((y2)); 
P1_7_35 = (((-1)*y1-y2+(1))); 
P1_7_36 = ((y1)); 
P1_16_37 = ((1)); 
P1_17_38 = ((1)); 
P1_18_39 = ((1)); 
P1_19_40 = ((1)); 
P1_20_41 = ((1)); 
P1_21_42 = ((1)); 
P1_22_43 = ((1)); 
P1_23_44 = ((1)); 
P1_24_45 = ((1)); 
P1_25_46 = ((1)); 
P1_26_47 = ((1)); 
P1_27_48 = ((1)); 
P1_28_49 = ((1)); 
P1_29_50 = ((1)); 
P1_30_51 = ((1)); 
P1_32_52 = ((1)); 
P1_33_53 = ((1)); 
P1_34_54 = ((1)); 
P1_35_55 = ((1)); 
P1_36_56 = ((1)); 
P1_37_57 = ((1)); 
P1_38_58 = ((1)); 
P1_39_59 = ((1)); 
P1_40_60 = ((1)); 
P1_41_61 = ((1)); 
P1_42_62 = ((1)); 
P1_43_63 = ((1)); 
P1_44_64 = ((1)); 
P1_45_65 = ((1)); 
P1_46_66 = ((1)); 

prob_f1_s3  =( (-1 * ((P1_0_1) * (P1_1_17*P1_2_33*P1_7_35+P1_1_17*P1_2_20*P1_7_35+P1_1_17*P1_2_21*P1_7_35+P1_1_17*P1_2_22*P1_7_35+P1_1_17*P1_2_23*P1_7_35+P1_1_17*P1_2_24*P1_7_35+P1_1_17*P1_2_25*P1_7_35+P1_1_17*P1_2_26*P1_7_35+P1_1_17*P1_2_27*P1_7_35+P1_1_17*P1_2_28*P1_7_35+P1_1_17*P1_2_29*P1_7_35+P1_1_17*P1_2_30*P1_7_35+P1_1_17*P1_2_31*P1_7_35+P1_1_17*P1_2_32*P1_7_35+P1_1_16*P1_2_33*P1_7_35+P1_1_3*P1_2_19*P1_7_35+P1_1_3*P1_2_20*P1_7_35+P1_1_3*P1_2_21*P1_7_35+P1_1_3*P1_2_22*P1_7_35+P1_1_3*P1_2_23*P1_7_35+P1_1_3*P1_2_24*P1_7_35+P1_1_3*P1_2_25*P1_7_35+P1_1_3*P1_2_26*P1_7_35+P1_1_3*P1_2_27*P1_7_35+P1_1_3*P1_2_28*P1_7_35+P1_1_3*P1_2_29*P1_7_35+P1_1_3*P1_2_30*P1_7_35+P1_1_3*P1_2_31*P1_7_35+P1_1_3*P1_2_32*P1_7_35+P1_1_4*P1_2_19*P1_7_35+P1_1_4*P1_2_20*P1_7_35+P1_1_4*P1_2_21*P1_7_35+P1_1_4*P1_2_22*P1_7_35+P1_1_4*P1_2_23*P1_7_35+P1_1_4*P1_2_24*P1_7_35+P1_1_4*P1_2_25*P1_7_35+P1_1_4*P1_2_26*P1_7_35+P1_1_4*P1_2_27*P1_7_35+P1_1_4*P1_2_28*P1_7_35+P1_1_4*P1_2_29*P1_7_35+P1_1_4*P1_2_30*P1_7_35+P1_1_4*P1_2_31*P1_7_35+P1_1_4*P1_2_32*P1_7_35+P1_1_5*P1_2_19*P1_7_35+P1_1_5*P1_2_20*P1_7_35+P1_1_5*P1_2_21*P1_7_35+P1_1_5*P1_2_22*P1_7_35+P1_1_5*P1_2_23*P1_7_35+P1_1_5*P1_2_24*P1_7_35+P1_1_5*P1_2_25*P1_7_35+P1_1_5*P1_2_26*P1_7_35+P1_1_5*P1_2_27*P1_7_35+P1_1_5*P1_2_28*P1_7_35+P1_1_5*P1_2_29*P1_7_35+P1_1_5*P1_2_30*P1_7_35+P1_1_5*P1_2_31*P1_7_35+P1_1_5*P1_2_32*P1_7_35+P1_1_6*P1_2_19*P1_7_35+P1_1_6*P1_2_20*P1_7_35+P1_1_6*P1_2_21*P1_7_35+P1_1_6*P1_2_22*P1_7_35+P1_1_6*P1_2_23*P1_7_35+P1_1_6*P1_2_24*P1_7_35+P1_1_6*P1_2_25*P1_7_35+P1_1_6*P1_2_26*P1_7_35+P1_1_6*P1_2_27*P1_7_35+P1_1_6*P1_2_28*P1_7_35+P1_1_6*P1_2_29*P1_7_35+P1_1_6*P1_2_30*P1_7_35+P1_1_6*P1_2_31*P1_7_35+P1_1_6*P1_2_32*P1_7_35+P1_1_7*P1_2_19*P1_7_35+P1_1_7*P1_2_20*P1_7_35+P1_1_7*P1_2_21*P1_7_35+P1_1_7*P1_2_22*P1_7_35+P1_1_7*P1_2_23*P1_7_35+P1_1_7*P1_2_24*P1_7_35+P1_1_7*P1_2_25*P1_7_35+P1_1_7*P1_2_26*P1_7_35+P1_1_7*P1_2_27*P1_7_35+P1_1_7*P1_2_28*P1_7_35+P1_1_7*P1_2_29*P1_7_35+P1_1_7*P1_2_30*P1_7_35+P1_1_7*P1_2_31*P1_7_35+P1_1_7*P1_2_32*P1_7_35+P1_1_8*P1_2_19*P1_7_35+P1_1_8*P1_2_20*P1_7_35+P1_1_8*P1_2_21*P1_7_35+P1_1_8*P1_2_22*P1_7_35+P1_1_8*P1_2_23*P1_7_35+P1_1_8*P1_2_24*P1_7_35+P1_1_8*P1_2_25*P1_7_35+P1_1_8*P1_2_26*P1_7_35+P1_1_8*P1_2_27*P1_7_35+P1_1_8*P1_2_28*P1_7_35+P1_1_8*P1_2_29*P1_7_35+P1_1_8*P1_2_30*P1_7_35+P1_1_8*P1_2_31*P1_7_35+P1_1_8*P1_2_32*P1_7_35+P1_1_9*P1_2_19*P1_7_35+P1_1_9*P1_2_20*P1_7_35+P1_1_9*P1_2_21*P1_7_35+P1_1_9*P1_2_22*P1_7_35+P1_1_9*P1_2_23*P1_7_35+P1_1_9*P1_2_24*P1_7_35+P1_1_9*P1_2_25*P1_7_35+P1_1_9*P1_2_26*P1_7_35+P1_1_9*P1_2_27*P1_7_35+P1_1_9*P1_2_28*P1_7_35+P1_1_9*P1_2_29*P1_7_35+P1_1_9*P1_2_30*P1_7_35+P1_1_9*P1_2_31*P1_7_35+P1_1_9*P1_2_32*P1_7_35+P1_1_10*P1_2_19*P1_7_35+P1_1_10*P1_2_20*P1_7_35+P1_1_10*P1_2_21*P1_7_35+P1_1_10*P1_2_22*P1_7_35+P1_1_10*P1_2_23*P1_7_35+P1_1_10*P1_2_24*P1_7_35+P1_1_10*P1_2_25*P1_7_35+P1_1_10*P1_2_26*P1_7_35+P1_1_10*P1_2_27*P1_7_35+P1_1_10*P1_2_28*P1_7_35+P1_1_10*P1_2_29*P1_7_35+P1_1_10*P1_2_30*P1_7_35+P1_1_10*P1_2_31*P1_7_35+P1_1_10*P1_2_32*P1_7_35+P1_1_11*P1_2_19*P1_7_35+P1_1_11*P1_2_20*P1_7_35+P1_1_11*P1_2_21*P1_7_35+P1_1_11*P1_2_22*P1_7_35+P1_1_11*P1_2_23*P1_7_35+P1_1_11*P1_2_24*P1_7_35+P1_1_11*P1_2_25*P1_7_35+P1_1_11*P1_2_26*P1_7_35+P1_1_11*P1_2_27*P1_7_35+P1_1_11*P1_2_28*P1_7_35+P1_1_11*P1_2_29*P1_7_35+P1_1_11*P1_2_30*P1_7_35+P1_1_11*P1_2_31*P1_7_35+P1_1_11*P1_2_32*P1_7_35+P1_1_12*P1_2_19*P1_7_35+P1_1_12*P1_2_20*P1_7_35+P1_1_12*P1_2_21*P1_7_35+P1_1_12*P1_2_22*P1_7_35+P1_1_12*P1_2_23*P1_7_35+P1_1_12*P1_2_24*P1_7_35+P1_1_12*P1_2_25*P1_7_35+P1_1_12*P1_2_26*P1_7_35+P1_1_12*P1_2_27*P1_7_35+P1_1_12*P1_2_28*P1_7_35+P1_1_12*P1_2_29*P1_7_35+P1_1_12*P1_2_30*P1_7_35+P1_1_12*P1_2_31*P1_7_35+P1_1_12*P1_2_32*P1_7_35+P1_1_13*P1_2_19*P1_7_35+P1_1_13*P1_2_20*P1_7_35+P1_1_13*P1_2_21*P1_7_35+P1_1_13*P1_2_22*P1_7_35+P1_1_13*P1_2_23*P1_7_35+P1_1_13*P1_2_24*P1_7_35+P1_1_13*P1_2_25*P1_7_35+P1_1_13*P1_2_26*P1_7_35+P1_1_13*P1_2_27*P1_7_35+P1_1_13*P1_2_28*P1_7_35+P1_1_13*P1_2_29*P1_7_35+P1_1_13*P1_2_30*P1_7_35+P1_1_13*P1_2_31*P1_7_35+P1_1_13*P1_2_32*P1_7_35+P1_1_14*P1_2_19*P1_7_35+P1_1_14*P1_2_20*P1_7_35+P1_1_14*P1_2_21*P1_7_35+P1_1_14*P1_2_22*P1_7_35+P1_1_14*P1_2_23*P1_7_35+P1_1_14*P1_2_24*P1_7_35+P1_1_14*P1_2_25*P1_7_35+P1_1_14*P1_2_26*P1_7_35+P1_1_14*P1_2_27*P1_7_35+P1_1_14*P1_2_28*P1_7_35+P1_1_14*P1_2_29*P1_7_35+P1_1_14*P1_2_30*P1_7_35+P1_1_14*P1_2_31*P1_7_35+P1_1_14*P1_2_32*P1_7_35+P1_1_15*P1_2_19*P1_7_35+P1_1_15*P1_2_20*P1_7_35+P1_1_15*P1_2_21*P1_7_35+P1_1_15*P1_2_22*P1_7_35+P1_1_15*P1_2_23*P1_7_35+P1_1_15*P1_2_24*P1_7_35+P1_1_15*P1_2_25*P1_7_35+P1_1_15*P1_2_26*P1_7_35+P1_1_15*P1_2_27*P1_7_35+P1_1_15*P1_2_28*P1_7_35+P1_1_15*P1_2_29*P1_7_35+P1_1_15*P1_2_30*P1_7_35+P1_1_15*P1_2_31*P1_7_35+P1_1_15*P1_2_32*P1_7_35+P1_1_16*P1_2_19*P1_7_35+P1_1_16*P1_2_20*P1_7_35+P1_1_16*P1_2_21*P1_7_35+P1_1_16*P1_2_22*P1_7_35+P1_1_16*P1_2_23*P1_7_35+P1_1_16*P1_2_24*P1_7_35+P1_1_16*P1_2_25*P1_7_35+P1_1_16*P1_2_26*P1_7_35+P1_1_16*P1_2_27*P1_7_35+P1_1_16*P1_2_28*P1_7_35+P1_1_16*P1_2_29*P1_7_35+P1_1_16*P1_2_30*P1_7_35+P1_1_16*P1_2_31*P1_7_35+P1_1_16*P1_2_32*P1_7_35+P1_1_15*P1_2_33*P1_7_35+P1_1_14*P1_2_33*P1_7_35+P1_1_13*P1_2_33*P1_7_35+P1_1_12*P1_2_33*P1_7_35+P1_1_11*P1_2_33*P1_7_35+P1_1_10*P1_2_33*P1_7_35+P1_1_9*P1_2_33*P1_7_35+P1_1_8*P1_2_33*P1_7_35+P1_1_7*P1_2_33*P1_7_35+P1_1_6*P1_2_33*P1_7_35+P1_1_5*P1_2_33*P1_7_35+P1_1_4*P1_2_33*P1_7_35+P1_1_3*P1_2_33*P1_7_35+P1_1_17*P1_2_19*P1_7_35)))/(P1_1_17*P1_2_33*P1_7_34+P1_1_17*P1_2_20*P1_7_34+P1_1_3*P1_2_20*P1_7_34+P1_1_4*P1_2_20*P1_7_34+P1_1_5*P1_2_20*P1_7_34+P1_1_6*P1_2_20*P1_7_34+P1_1_7*P1_2_20*P1_7_34+P1_1_8*P1_2_20*P1_7_34+P1_1_9*P1_2_20*P1_7_34+P1_1_10*P1_2_20*P1_7_34+P1_1_11*P1_2_20*P1_7_34+P1_1_12*P1_2_20*P1_7_34+P1_1_13*P1_2_20*P1_7_34+P1_1_14*P1_2_20*P1_7_34+P1_1_15*P1_2_20*P1_7_34+P1_1_16*P1_2_20*P1_7_34+P1_1_17*P1_2_21*P1_7_34+P1_1_3*P1_2_21*P1_7_34+P1_1_4*P1_2_21*P1_7_34+P1_1_5*P1_2_21*P1_7_34+P1_1_6*P1_2_21*P1_7_34+P1_1_7*P1_2_21*P1_7_34+P1_1_8*P1_2_21*P1_7_34+P1_1_9*P1_2_21*P1_7_34+P1_1_10*P1_2_21*P1_7_34+P1_1_11*P1_2_21*P1_7_34+P1_1_12*P1_2_21*P1_7_34+P1_1_13*P1_2_21*P1_7_34+P1_1_14*P1_2_21*P1_7_34+P1_1_15*P1_2_21*P1_7_34+P1_1_16*P1_2_21*P1_7_34+P1_1_17*P1_2_22*P1_7_34+P1_1_3*P1_2_22*P1_7_34+P1_1_4*P1_2_22*P1_7_34+P1_1_5*P1_2_22*P1_7_34+P1_1_6*P1_2_22*P1_7_34+P1_1_7*P1_2_22*P1_7_34+P1_1_8*P1_2_22*P1_7_34+P1_1_9*P1_2_22*P1_7_34+P1_1_10*P1_2_22*P1_7_34+P1_1_11*P1_2_22*P1_7_34+P1_1_12*P1_2_22*P1_7_34+P1_1_13*P1_2_22*P1_7_34+P1_1_14*P1_2_22*P1_7_34+P1_1_15*P1_2_22*P1_7_34+P1_1_16*P1_2_22*P1_7_34+P1_1_17*P1_2_23*P1_7_34+P1_1_3*P1_2_23*P1_7_34+P1_1_4*P1_2_23*P1_7_34+P1_1_5*P1_2_23*P1_7_34+P1_1_6*P1_2_23*P1_7_34+P1_1_7*P1_2_23*P1_7_34+P1_1_8*P1_2_23*P1_7_34+P1_1_9*P1_2_23*P1_7_34+P1_1_10*P1_2_23*P1_7_34+P1_1_11*P1_2_23*P1_7_34+P1_1_12*P1_2_23*P1_7_34+P1_1_13*P1_2_23*P1_7_34+P1_1_14*P1_2_23*P1_7_34+P1_1_15*P1_2_23*P1_7_34+P1_1_16*P1_2_23*P1_7_34+P1_1_17*P1_2_24*P1_7_34+P1_1_3*P1_2_24*P1_7_34+P1_1_4*P1_2_24*P1_7_34+P1_1_5*P1_2_24*P1_7_34+P1_1_6*P1_2_24*P1_7_34+P1_1_7*P1_2_24*P1_7_34+P1_1_8*P1_2_24*P1_7_34+P1_1_9*P1_2_24*P1_7_34+P1_1_10*P1_2_24*P1_7_34+P1_1_11*P1_2_24*P1_7_34+P1_1_12*P1_2_24*P1_7_34+P1_1_13*P1_2_24*P1_7_34+P1_1_14*P1_2_24*P1_7_34+P1_1_15*P1_2_24*P1_7_34+P1_1_16*P1_2_24*P1_7_34+P1_1_17*P1_2_25*P1_7_34+P1_1_3*P1_2_25*P1_7_34+P1_1_4*P1_2_25*P1_7_34+P1_1_5*P1_2_25*P1_7_34+P1_1_6*P1_2_25*P1_7_34+P1_1_7*P1_2_25*P1_7_34+P1_1_8*P1_2_25*P1_7_34+P1_1_9*P1_2_25*P1_7_34+P1_1_10*P1_2_25*P1_7_34+P1_1_11*P1_2_25*P1_7_34+P1_1_12*P1_2_25*P1_7_34+P1_1_13*P1_2_25*P1_7_34+P1_1_14*P1_2_25*P1_7_34+P1_1_15*P1_2_25*P1_7_34+P1_1_16*P1_2_25*P1_7_34+P1_1_17*P1_2_26*P1_7_34+P1_1_3*P1_2_26*P1_7_34+P1_1_4*P1_2_26*P1_7_34+P1_1_5*P1_2_26*P1_7_34+P1_1_6*P1_2_26*P1_7_34+P1_1_7*P1_2_26*P1_7_34+P1_1_8*P1_2_26*P1_7_34+P1_1_9*P1_2_26*P1_7_34+P1_1_10*P1_2_26*P1_7_34+P1_1_11*P1_2_26*P1_7_34+P1_1_12*P1_2_26*P1_7_34+P1_1_13*P1_2_26*P1_7_34+P1_1_14*P1_2_26*P1_7_34+P1_1_15*P1_2_26*P1_7_34+P1_1_16*P1_2_26*P1_7_34+P1_1_17*P1_2_27*P1_7_34+P1_1_3*P1_2_27*P1_7_34+P1_1_4*P1_2_27*P1_7_34+P1_1_5*P1_2_27*P1_7_34+P1_1_6*P1_2_27*P1_7_34+P1_1_7*P1_2_27*P1_7_34+P1_1_8*P1_2_27*P1_7_34+P1_1_9*P1_2_27*P1_7_34+P1_1_10*P1_2_27*P1_7_34+P1_1_11*P1_2_27*P1_7_34+P1_1_12*P1_2_27*P1_7_34+P1_1_13*P1_2_27*P1_7_34+P1_1_14*P1_2_27*P1_7_34+P1_1_15*P1_2_27*P1_7_34+P1_1_16*P1_2_27*P1_7_34+P1_1_17*P1_2_28*P1_7_34+P1_1_3*P1_2_28*P1_7_34+P1_1_4*P1_2_28*P1_7_34+P1_1_5*P1_2_28*P1_7_34+P1_1_6*P1_2_28*P1_7_34+P1_1_7*P1_2_28*P1_7_34+P1_1_8*P1_2_28*P1_7_34+P1_1_9*P1_2_28*P1_7_34+P1_1_10*P1_2_28*P1_7_34+P1_1_11*P1_2_28*P1_7_34+P1_1_12*P1_2_28*P1_7_34+P1_1_13*P1_2_28*P1_7_34+P1_1_14*P1_2_28*P1_7_34+P1_1_15*P1_2_28*P1_7_34+P1_1_16*P1_2_28*P1_7_34+P1_1_17*P1_2_29*P1_7_34+P1_1_3*P1_2_29*P1_7_34+P1_1_4*P1_2_29*P1_7_34+P1_1_5*P1_2_29*P1_7_34+P1_1_6*P1_2_29*P1_7_34+P1_1_7*P1_2_29*P1_7_34+P1_1_8*P1_2_29*P1_7_34+P1_1_9*P1_2_29*P1_7_34+P1_1_10*P1_2_29*P1_7_34+P1_1_11*P1_2_29*P1_7_34+P1_1_12*P1_2_29*P1_7_34+P1_1_13*P1_2_29*P1_7_34+P1_1_14*P1_2_29*P1_7_34+P1_1_15*P1_2_29*P1_7_34+P1_1_16*P1_2_29*P1_7_34+P1_1_17*P1_2_30*P1_7_34+P1_1_3*P1_2_30*P1_7_34+P1_1_4*P1_2_30*P1_7_34+P1_1_5*P1_2_30*P1_7_34+P1_1_6*P1_2_30*P1_7_34+P1_1_7*P1_2_30*P1_7_34+P1_1_8*P1_2_30*P1_7_34+P1_1_9*P1_2_30*P1_7_34+P1_1_10*P1_2_30*P1_7_34+P1_1_11*P1_2_30*P1_7_34+P1_1_12*P1_2_30*P1_7_34+P1_1_13*P1_2_30*P1_7_34+P1_1_14*P1_2_30*P1_7_34+P1_1_15*P1_2_30*P1_7_34+P1_1_16*P1_2_30*P1_7_34+P1_1_17*P1_2_31*P1_7_34+P1_1_3*P1_2_31*P1_7_34+P1_1_4*P1_2_31*P1_7_34+P1_1_5*P1_2_31*P1_7_34+P1_1_6*P1_2_31*P1_7_34+P1_1_7*P1_2_31*P1_7_34+P1_1_8*P1_2_31*P1_7_34+P1_1_9*P1_2_31*P1_7_34+P1_1_10*P1_2_31*P1_7_34+P1_1_11*P1_2_31*P1_7_34+P1_1_12*P1_2_31*P1_7_34+P1_1_13*P1_2_31*P1_7_34+P1_1_14*P1_2_31*P1_7_34+P1_1_15*P1_2_31*P1_7_34+P1_1_16*P1_2_31*P1_7_34+P1_1_17*P1_2_32*P1_7_34+P1_1_3*P1_2_32*P1_7_34+P1_1_4*P1_2_32*P1_7_34+P1_1_5*P1_2_32*P1_7_34+P1_1_6*P1_2_32*P1_7_34+P1_1_7*P1_2_32*P1_7_34+P1_1_8*P1_2_32*P1_7_34+P1_1_9*P1_2_32*P1_7_34+P1_1_10*P1_2_32*P1_7_34+P1_1_11*P1_2_32*P1_7_34+P1_1_12*P1_2_32*P1_7_34+P1_1_13*P1_2_32*P1_7_34+P1_1_14*P1_2_32*P1_7_34+P1_1_15*P1_2_32*P1_7_34+P1_1_16*P1_2_32*P1_7_34+P1_1_3*P1_2_33*P1_7_34+P1_1_4*P1_2_33*P1_7_34+P1_1_5*P1_2_33*P1_7_34+P1_1_6*P1_2_33*P1_7_34+P1_1_7*P1_2_33*P1_7_34+P1_1_8*P1_2_33*P1_7_34+P1_1_9*P1_2_33*P1_7_34+P1_1_10*P1_2_33*P1_7_34+P1_1_11*P1_2_33*P1_7_34+P1_1_12*P1_2_33*P1_7_34+P1_1_13*P1_2_33*P1_7_34+P1_1_14*P1_2_33*P1_7_34+P1_1_15*P1_2_33*P1_7_34+P1_1_16*P1_2_33*P1_7_34+P1_1_17*P1_2_19*P1_7_34+P1_1_3*P1_2_19*P1_7_34+P1_1_4*P1_2_19*P1_7_34+P1_1_5*P1_2_19*P1_7_34+P1_1_6*P1_2_19*P1_7_34+P1_1_7*P1_2_19*P1_7_34+P1_1_8*P1_2_19*P1_7_34+P1_1_9*P1_2_19*P1_7_34+P1_1_10*P1_2_19*P1_7_34+P1_1_11*P1_2_19*P1_7_34+P1_1_12*P1_2_19*P1_7_34+P1_1_13*P1_2_19*P1_7_34+P1_1_14*P1_2_19*P1_7_34+P1_1_15*P1_2_19*P1_7_34+P1_1_16*P1_2_19*P1_7_34+(-1))); 
prob_f1_s4  =( (P1_0_2)/(1)); 
prob_f1_s5  =( (-1 * ((P1_0_1) * (P1_1_17*P1_2_33*P1_7_36+P1_1_17*P1_2_20*P1_7_36+P1_1_17*P1_2_21*P1_7_36+P1_1_17*P1_2_22*P1_7_36+P1_1_17*P1_2_23*P1_7_36+P1_1_17*P1_2_24*P1_7_36+P1_1_17*P1_2_25*P1_7_36+P1_1_17*P1_2_26*P1_7_36+P1_1_17*P1_2_27*P1_7_36+P1_1_17*P1_2_28*P1_7_36+P1_1_17*P1_2_29*P1_7_36+P1_1_17*P1_2_30*P1_7_36+P1_1_17*P1_2_31*P1_7_36+P1_1_17*P1_2_32*P1_7_36+P1_1_16*P1_2_33*P1_7_36+P1_1_3*P1_2_19*P1_7_36+P1_1_3*P1_2_20*P1_7_36+P1_1_3*P1_2_21*P1_7_36+P1_1_3*P1_2_22*P1_7_36+P1_1_3*P1_2_23*P1_7_36+P1_1_3*P1_2_24*P1_7_36+P1_1_3*P1_2_25*P1_7_36+P1_1_3*P1_2_26*P1_7_36+P1_1_3*P1_2_27*P1_7_36+P1_1_3*P1_2_28*P1_7_36+P1_1_3*P1_2_29*P1_7_36+P1_1_3*P1_2_30*P1_7_36+P1_1_3*P1_2_31*P1_7_36+P1_1_3*P1_2_32*P1_7_36+P1_1_4*P1_2_19*P1_7_36+P1_1_4*P1_2_20*P1_7_36+P1_1_4*P1_2_21*P1_7_36+P1_1_4*P1_2_22*P1_7_36+P1_1_4*P1_2_23*P1_7_36+P1_1_4*P1_2_24*P1_7_36+P1_1_4*P1_2_25*P1_7_36+P1_1_4*P1_2_26*P1_7_36+P1_1_4*P1_2_27*P1_7_36+P1_1_4*P1_2_28*P1_7_36+P1_1_4*P1_2_29*P1_7_36+P1_1_4*P1_2_30*P1_7_36+P1_1_4*P1_2_31*P1_7_36+P1_1_4*P1_2_32*P1_7_36+P1_1_5*P1_2_19*P1_7_36+P1_1_5*P1_2_20*P1_7_36+P1_1_5*P1_2_21*P1_7_36+P1_1_5*P1_2_22*P1_7_36+P1_1_5*P1_2_23*P1_7_36+P1_1_5*P1_2_24*P1_7_36+P1_1_5*P1_2_25*P1_7_36+P1_1_5*P1_2_26*P1_7_36+P1_1_5*P1_2_27*P1_7_36+P1_1_5*P1_2_28*P1_7_36+P1_1_5*P1_2_29*P1_7_36+P1_1_5*P1_2_30*P1_7_36+P1_1_5*P1_2_31*P1_7_36+P1_1_5*P1_2_32*P1_7_36+P1_1_6*P1_2_19*P1_7_36+P1_1_6*P1_2_20*P1_7_36+P1_1_6*P1_2_21*P1_7_36+P1_1_6*P1_2_22*P1_7_36+P1_1_6*P1_2_23*P1_7_36+P1_1_6*P1_2_24*P1_7_36+P1_1_6*P1_2_25*P1_7_36+P1_1_6*P1_2_26*P1_7_36+P1_1_6*P1_2_27*P1_7_36+P1_1_6*P1_2_28*P1_7_36+P1_1_6*P1_2_29*P1_7_36+P1_1_6*P1_2_30*P1_7_36+P1_1_6*P1_2_31*P1_7_36+P1_1_6*P1_2_32*P1_7_36+P1_1_7*P1_2_19*P1_7_36+P1_1_7*P1_2_20*P1_7_36+P1_1_7*P1_2_21*P1_7_36+P1_1_7*P1_2_22*P1_7_36+P1_1_7*P1_2_23*P1_7_36+P1_1_7*P1_2_24*P1_7_36+P1_1_7*P1_2_25*P1_7_36+P1_1_7*P1_2_26*P1_7_36+P1_1_7*P1_2_27*P1_7_36+P1_1_7*P1_2_28*P1_7_36+P1_1_7*P1_2_29*P1_7_36+P1_1_7*P1_2_30*P1_7_36+P1_1_7*P1_2_31*P1_7_36+P1_1_7*P1_2_32*P1_7_36+P1_1_8*P1_2_19*P1_7_36+P1_1_8*P1_2_20*P1_7_36+P1_1_8*P1_2_21*P1_7_36+P1_1_8*P1_2_22*P1_7_36+P1_1_8*P1_2_23*P1_7_36+P1_1_8*P1_2_24*P1_7_36+P1_1_8*P1_2_25*P1_7_36+P1_1_8*P1_2_26*P1_7_36+P1_1_8*P1_2_27*P1_7_36+P1_1_8*P1_2_28*P1_7_36+P1_1_8*P1_2_29*P1_7_36+P1_1_8*P1_2_30*P1_7_36+P1_1_8*P1_2_31*P1_7_36+P1_1_8*P1_2_32*P1_7_36+P1_1_9*P1_2_19*P1_7_36+P1_1_9*P1_2_20*P1_7_36+P1_1_9*P1_2_21*P1_7_36+P1_1_9*P1_2_22*P1_7_36+P1_1_9*P1_2_23*P1_7_36+P1_1_9*P1_2_24*P1_7_36+P1_1_9*P1_2_25*P1_7_36+P1_1_9*P1_2_26*P1_7_36+P1_1_9*P1_2_27*P1_7_36+P1_1_9*P1_2_28*P1_7_36+P1_1_9*P1_2_29*P1_7_36+P1_1_9*P1_2_30*P1_7_36+P1_1_9*P1_2_31*P1_7_36+P1_1_9*P1_2_32*P1_7_36+P1_1_10*P1_2_19*P1_7_36+P1_1_10*P1_2_20*P1_7_36+P1_1_10*P1_2_21*P1_7_36+P1_1_10*P1_2_22*P1_7_36+P1_1_10*P1_2_23*P1_7_36+P1_1_10*P1_2_24*P1_7_36+P1_1_10*P1_2_25*P1_7_36+P1_1_10*P1_2_26*P1_7_36+P1_1_10*P1_2_27*P1_7_36+P1_1_10*P1_2_28*P1_7_36+P1_1_10*P1_2_29*P1_7_36+P1_1_10*P1_2_30*P1_7_36+P1_1_10*P1_2_31*P1_7_36+P1_1_10*P1_2_32*P1_7_36+P1_1_11*P1_2_19*P1_7_36+P1_1_11*P1_2_20*P1_7_36+P1_1_11*P1_2_21*P1_7_36+P1_1_11*P1_2_22*P1_7_36+P1_1_11*P1_2_23*P1_7_36+P1_1_11*P1_2_24*P1_7_36+P1_1_11*P1_2_25*P1_7_36+P1_1_11*P1_2_26*P1_7_36+P1_1_11*P1_2_27*P1_7_36+P1_1_11*P1_2_28*P1_7_36+P1_1_11*P1_2_29*P1_7_36+P1_1_11*P1_2_30*P1_7_36+P1_1_11*P1_2_31*P1_7_36+P1_1_11*P1_2_32*P1_7_36+P1_1_12*P1_2_19*P1_7_36+P1_1_12*P1_2_20*P1_7_36+P1_1_12*P1_2_21*P1_7_36+P1_1_12*P1_2_22*P1_7_36+P1_1_12*P1_2_23*P1_7_36+P1_1_12*P1_2_24*P1_7_36+P1_1_12*P1_2_25*P1_7_36+P1_1_12*P1_2_26*P1_7_36+P1_1_12*P1_2_27*P1_7_36+P1_1_12*P1_2_28*P1_7_36+P1_1_12*P1_2_29*P1_7_36+P1_1_12*P1_2_30*P1_7_36+P1_1_12*P1_2_31*P1_7_36+P1_1_12*P1_2_32*P1_7_36+P1_1_13*P1_2_19*P1_7_36+P1_1_13*P1_2_20*P1_7_36+P1_1_13*P1_2_21*P1_7_36+P1_1_13*P1_2_22*P1_7_36+P1_1_13*P1_2_23*P1_7_36+P1_1_13*P1_2_24*P1_7_36+P1_1_13*P1_2_25*P1_7_36+P1_1_13*P1_2_26*P1_7_36+P1_1_13*P1_2_27*P1_7_36+P1_1_13*P1_2_28*P1_7_36+P1_1_13*P1_2_29*P1_7_36+P1_1_13*P1_2_30*P1_7_36+P1_1_13*P1_2_31*P1_7_36+P1_1_13*P1_2_32*P1_7_36+P1_1_14*P1_2_19*P1_7_36+P1_1_14*P1_2_20*P1_7_36+P1_1_14*P1_2_21*P1_7_36+P1_1_14*P1_2_22*P1_7_36+P1_1_14*P1_2_23*P1_7_36+P1_1_14*P1_2_24*P1_7_36+P1_1_14*P1_2_25*P1_7_36+P1_1_14*P1_2_26*P1_7_36+P1_1_14*P1_2_27*P1_7_36+P1_1_14*P1_2_28*P1_7_36+P1_1_14*P1_2_29*P1_7_36+P1_1_14*P1_2_30*P1_7_36+P1_1_14*P1_2_31*P1_7_36+P1_1_14*P1_2_32*P1_7_36+P1_1_15*P1_2_19*P1_7_36+P1_1_15*P1_2_20*P1_7_36+P1_1_15*P1_2_21*P1_7_36+P1_1_15*P1_2_22*P1_7_36+P1_1_15*P1_2_23*P1_7_36+P1_1_15*P1_2_24*P1_7_36+P1_1_15*P1_2_25*P1_7_36+P1_1_15*P1_2_26*P1_7_36+P1_1_15*P1_2_27*P1_7_36+P1_1_15*P1_2_28*P1_7_36+P1_1_15*P1_2_29*P1_7_36+P1_1_15*P1_2_30*P1_7_36+P1_1_15*P1_2_31*P1_7_36+P1_1_15*P1_2_32*P1_7_36+P1_1_16*P1_2_19*P1_7_36+P1_1_16*P1_2_20*P1_7_36+P1_1_16*P1_2_21*P1_7_36+P1_1_16*P1_2_22*P1_7_36+P1_1_16*P1_2_23*P1_7_36+P1_1_16*P1_2_24*P1_7_36+P1_1_16*P1_2_25*P1_7_36+P1_1_16*P1_2_26*P1_7_36+P1_1_16*P1_2_27*P1_7_36+P1_1_16*P1_2_28*P1_7_36+P1_1_16*P1_2_29*P1_7_36+P1_1_16*P1_2_30*P1_7_36+P1_1_16*P1_2_31*P1_7_36+P1_1_16*P1_2_32*P1_7_36+P1_1_15*P1_2_33*P1_7_36+P1_1_14*P1_2_33*P1_7_36+P1_1_13*P1_2_33*P1_7_36+P1_1_12*P1_2_33*P1_7_36+P1_1_11*P1_2_33*P1_7_36+P1_1_10*P1_2_33*P1_7_36+P1_1_9*P1_2_33*P1_7_36+P1_1_8*P1_2_33*P1_7_36+P1_1_7*P1_2_33*P1_7_36+P1_1_6*P1_2_33*P1_7_36+P1_1_5*P1_2_33*P1_7_36+P1_1_4*P1_2_33*P1_7_36+P1_1_3*P1_2_33*P1_7_36+P1_1_17*P1_2_19*P1_7_36)))/(P1_1_17*P1_2_33*P1_7_34+P1_1_17*P1_2_20*P1_7_34+P1_1_3*P1_2_20*P1_7_34+P1_1_4*P1_2_20*P1_7_34+P1_1_5*P1_2_20*P1_7_34+P1_1_6*P1_2_20*P1_7_34+P1_1_7*P1_2_20*P1_7_34+P1_1_8*P1_2_20*P1_7_34+P1_1_9*P1_2_20*P1_7_34+P1_1_10*P1_2_20*P1_7_34+P1_1_11*P1_2_20*P1_7_34+P1_1_12*P1_2_20*P1_7_34+P1_1_13*P1_2_20*P1_7_34+P1_1_14*P1_2_20*P1_7_34+P1_1_15*P1_2_20*P1_7_34+P1_1_16*P1_2_20*P1_7_34+P1_1_17*P1_2_21*P1_7_34+P1_1_3*P1_2_21*P1_7_34+P1_1_4*P1_2_21*P1_7_34+P1_1_5*P1_2_21*P1_7_34+P1_1_6*P1_2_21*P1_7_34+P1_1_7*P1_2_21*P1_7_34+P1_1_8*P1_2_21*P1_7_34+P1_1_9*P1_2_21*P1_7_34+P1_1_10*P1_2_21*P1_7_34+P1_1_11*P1_2_21*P1_7_34+P1_1_12*P1_2_21*P1_7_34+P1_1_13*P1_2_21*P1_7_34+P1_1_14*P1_2_21*P1_7_34+P1_1_15*P1_2_21*P1_7_34+P1_1_16*P1_2_21*P1_7_34+P1_1_17*P1_2_22*P1_7_34+P1_1_3*P1_2_22*P1_7_34+P1_1_4*P1_2_22*P1_7_34+P1_1_5*P1_2_22*P1_7_34+P1_1_6*P1_2_22*P1_7_34+P1_1_7*P1_2_22*P1_7_34+P1_1_8*P1_2_22*P1_7_34+P1_1_9*P1_2_22*P1_7_34+P1_1_10*P1_2_22*P1_7_34+P1_1_11*P1_2_22*P1_7_34+P1_1_12*P1_2_22*P1_7_34+P1_1_13*P1_2_22*P1_7_34+P1_1_14*P1_2_22*P1_7_34+P1_1_15*P1_2_22*P1_7_34+P1_1_16*P1_2_22*P1_7_34+P1_1_17*P1_2_23*P1_7_34+P1_1_3*P1_2_23*P1_7_34+P1_1_4*P1_2_23*P1_7_34+P1_1_5*P1_2_23*P1_7_34+P1_1_6*P1_2_23*P1_7_34+P1_1_7*P1_2_23*P1_7_34+P1_1_8*P1_2_23*P1_7_34+P1_1_9*P1_2_23*P1_7_34+P1_1_10*P1_2_23*P1_7_34+P1_1_11*P1_2_23*P1_7_34+P1_1_12*P1_2_23*P1_7_34+P1_1_13*P1_2_23*P1_7_34+P1_1_14*P1_2_23*P1_7_34+P1_1_15*P1_2_23*P1_7_34+P1_1_16*P1_2_23*P1_7_34+P1_1_17*P1_2_24*P1_7_34+P1_1_3*P1_2_24*P1_7_34+P1_1_4*P1_2_24*P1_7_34+P1_1_5*P1_2_24*P1_7_34+P1_1_6*P1_2_24*P1_7_34+P1_1_7*P1_2_24*P1_7_34+P1_1_8*P1_2_24*P1_7_34+P1_1_9*P1_2_24*P1_7_34+P1_1_10*P1_2_24*P1_7_34+P1_1_11*P1_2_24*P1_7_34+P1_1_12*P1_2_24*P1_7_34+P1_1_13*P1_2_24*P1_7_34+P1_1_14*P1_2_24*P1_7_34+P1_1_15*P1_2_24*P1_7_34+P1_1_16*P1_2_24*P1_7_34+P1_1_17*P1_2_25*P1_7_34+P1_1_3*P1_2_25*P1_7_34+P1_1_4*P1_2_25*P1_7_34+P1_1_5*P1_2_25*P1_7_34+P1_1_6*P1_2_25*P1_7_34+P1_1_7*P1_2_25*P1_7_34+P1_1_8*P1_2_25*P1_7_34+P1_1_9*P1_2_25*P1_7_34+P1_1_10*P1_2_25*P1_7_34+P1_1_11*P1_2_25*P1_7_34+P1_1_12*P1_2_25*P1_7_34+P1_1_13*P1_2_25*P1_7_34+P1_1_14*P1_2_25*P1_7_34+P1_1_15*P1_2_25*P1_7_34+P1_1_16*P1_2_25*P1_7_34+P1_1_17*P1_2_26*P1_7_34+P1_1_3*P1_2_26*P1_7_34+P1_1_4*P1_2_26*P1_7_34+P1_1_5*P1_2_26*P1_7_34+P1_1_6*P1_2_26*P1_7_34+P1_1_7*P1_2_26*P1_7_34+P1_1_8*P1_2_26*P1_7_34+P1_1_9*P1_2_26*P1_7_34+P1_1_10*P1_2_26*P1_7_34+P1_1_11*P1_2_26*P1_7_34+P1_1_12*P1_2_26*P1_7_34+P1_1_13*P1_2_26*P1_7_34+P1_1_14*P1_2_26*P1_7_34+P1_1_15*P1_2_26*P1_7_34+P1_1_16*P1_2_26*P1_7_34+P1_1_17*P1_2_27*P1_7_34+P1_1_3*P1_2_27*P1_7_34+P1_1_4*P1_2_27*P1_7_34+P1_1_5*P1_2_27*P1_7_34+P1_1_6*P1_2_27*P1_7_34+P1_1_7*P1_2_27*P1_7_34+P1_1_8*P1_2_27*P1_7_34+P1_1_9*P1_2_27*P1_7_34+P1_1_10*P1_2_27*P1_7_34+P1_1_11*P1_2_27*P1_7_34+P1_1_12*P1_2_27*P1_7_34+P1_1_13*P1_2_27*P1_7_34+P1_1_14*P1_2_27*P1_7_34+P1_1_15*P1_2_27*P1_7_34+P1_1_16*P1_2_27*P1_7_34+P1_1_17*P1_2_28*P1_7_34+P1_1_3*P1_2_28*P1_7_34+P1_1_4*P1_2_28*P1_7_34+P1_1_5*P1_2_28*P1_7_34+P1_1_6*P1_2_28*P1_7_34+P1_1_7*P1_2_28*P1_7_34+P1_1_8*P1_2_28*P1_7_34+P1_1_9*P1_2_28*P1_7_34+P1_1_10*P1_2_28*P1_7_34+P1_1_11*P1_2_28*P1_7_34+P1_1_12*P1_2_28*P1_7_34+P1_1_13*P1_2_28*P1_7_34+P1_1_14*P1_2_28*P1_7_34+P1_1_15*P1_2_28*P1_7_34+P1_1_16*P1_2_28*P1_7_34+P1_1_17*P1_2_29*P1_7_34+P1_1_3*P1_2_29*P1_7_34+P1_1_4*P1_2_29*P1_7_34+P1_1_5*P1_2_29*P1_7_34+P1_1_6*P1_2_29*P1_7_34+P1_1_7*P1_2_29*P1_7_34+P1_1_8*P1_2_29*P1_7_34+P1_1_9*P1_2_29*P1_7_34+P1_1_10*P1_2_29*P1_7_34+P1_1_11*P1_2_29*P1_7_34+P1_1_12*P1_2_29*P1_7_34+P1_1_13*P1_2_29*P1_7_34+P1_1_14*P1_2_29*P1_7_34+P1_1_15*P1_2_29*P1_7_34+P1_1_16*P1_2_29*P1_7_34+P1_1_17*P1_2_30*P1_7_34+P1_1_3*P1_2_30*P1_7_34+P1_1_4*P1_2_30*P1_7_34+P1_1_5*P1_2_30*P1_7_34+P1_1_6*P1_2_30*P1_7_34+P1_1_7*P1_2_30*P1_7_34+P1_1_8*P1_2_30*P1_7_34+P1_1_9*P1_2_30*P1_7_34+P1_1_10*P1_2_30*P1_7_34+P1_1_11*P1_2_30*P1_7_34+P1_1_12*P1_2_30*P1_7_34+P1_1_13*P1_2_30*P1_7_34+P1_1_14*P1_2_30*P1_7_34+P1_1_15*P1_2_30*P1_7_34+P1_1_16*P1_2_30*P1_7_34+P1_1_17*P1_2_31*P1_7_34+P1_1_3*P1_2_31*P1_7_34+P1_1_4*P1_2_31*P1_7_34+P1_1_5*P1_2_31*P1_7_34+P1_1_6*P1_2_31*P1_7_34+P1_1_7*P1_2_31*P1_7_34+P1_1_8*P1_2_31*P1_7_34+P1_1_9*P1_2_31*P1_7_34+P1_1_10*P1_2_31*P1_7_34+P1_1_11*P1_2_31*P1_7_34+P1_1_12*P1_2_31*P1_7_34+P1_1_13*P1_2_31*P1_7_34+P1_1_14*P1_2_31*P1_7_34+P1_1_15*P1_2_31*P1_7_34+P1_1_16*P1_2_31*P1_7_34+P1_1_17*P1_2_32*P1_7_34+P1_1_3*P1_2_32*P1_7_34+P1_1_4*P1_2_32*P1_7_34+P1_1_5*P1_2_32*P1_7_34+P1_1_6*P1_2_32*P1_7_34+P1_1_7*P1_2_32*P1_7_34+P1_1_8*P1_2_32*P1_7_34+P1_1_9*P1_2_32*P1_7_34+P1_1_10*P1_2_32*P1_7_34+P1_1_11*P1_2_32*P1_7_34+P1_1_12*P1_2_32*P1_7_34+P1_1_13*P1_2_32*P1_7_34+P1_1_14*P1_2_32*P1_7_34+P1_1_15*P1_2_32*P1_7_34+P1_1_16*P1_2_32*P1_7_34+P1_1_3*P1_2_33*P1_7_34+P1_1_4*P1_2_33*P1_7_34+P1_1_5*P1_2_33*P1_7_34+P1_1_6*P1_2_33*P1_7_34+P1_1_7*P1_2_33*P1_7_34+P1_1_8*P1_2_33*P1_7_34+P1_1_9*P1_2_33*P1_7_34+P1_1_10*P1_2_33*P1_7_34+P1_1_11*P1_2_33*P1_7_34+P1_1_12*P1_2_33*P1_7_34+P1_1_13*P1_2_33*P1_7_34+P1_1_14*P1_2_33*P1_7_34+P1_1_15*P1_2_33*P1_7_34+P1_1_16*P1_2_33*P1_7_34+P1_1_17*P1_2_19*P1_7_34+P1_1_3*P1_2_19*P1_7_34+P1_1_4*P1_2_19*P1_7_34+P1_1_5*P1_2_19*P1_7_34+P1_1_6*P1_2_19*P1_7_34+P1_1_7*P1_2_19*P1_7_34+P1_1_8*P1_2_19*P1_7_34+P1_1_9*P1_2_19*P1_7_34+P1_1_10*P1_2_19*P1_7_34+P1_1_11*P1_2_19*P1_7_34+P1_1_12*P1_2_19*P1_7_34+P1_1_13*P1_2_19*P1_7_34+P1_1_14*P1_2_19*P1_7_34+P1_1_15*P1_2_19*P1_7_34+P1_1_16*P1_2_19*P1_7_34+(-1))); 
prob_f1_s31  =( (-1 * ((P1_0_1) * (P1_1_18)))/(P1_1_17*P1_2_33*P1_7_34+P1_1_17*P1_2_20*P1_7_34+P1_1_3*P1_2_20*P1_7_34+P1_1_4*P1_2_20*P1_7_34+P1_1_5*P1_2_20*P1_7_34+P1_1_6*P1_2_20*P1_7_34+P1_1_7*P1_2_20*P1_7_34+P1_1_8*P1_2_20*P1_7_34+P1_1_9*P1_2_20*P1_7_34+P1_1_10*P1_2_20*P1_7_34+P1_1_11*P1_2_20*P1_7_34+P1_1_12*P1_2_20*P1_7_34+P1_1_13*P1_2_20*P1_7_34+P1_1_14*P1_2_20*P1_7_34+P1_1_15*P1_2_20*P1_7_34+P1_1_16*P1_2_20*P1_7_34+P1_1_17*P1_2_21*P1_7_34+P1_1_3*P1_2_21*P1_7_34+P1_1_4*P1_2_21*P1_7_34+P1_1_5*P1_2_21*P1_7_34+P1_1_6*P1_2_21*P1_7_34+P1_1_7*P1_2_21*P1_7_34+P1_1_8*P1_2_21*P1_7_34+P1_1_9*P1_2_21*P1_7_34+P1_1_10*P1_2_21*P1_7_34+P1_1_11*P1_2_21*P1_7_34+P1_1_12*P1_2_21*P1_7_34+P1_1_13*P1_2_21*P1_7_34+P1_1_14*P1_2_21*P1_7_34+P1_1_15*P1_2_21*P1_7_34+P1_1_16*P1_2_21*P1_7_34+P1_1_17*P1_2_22*P1_7_34+P1_1_3*P1_2_22*P1_7_34+P1_1_4*P1_2_22*P1_7_34+P1_1_5*P1_2_22*P1_7_34+P1_1_6*P1_2_22*P1_7_34+P1_1_7*P1_2_22*P1_7_34+P1_1_8*P1_2_22*P1_7_34+P1_1_9*P1_2_22*P1_7_34+P1_1_10*P1_2_22*P1_7_34+P1_1_11*P1_2_22*P1_7_34+P1_1_12*P1_2_22*P1_7_34+P1_1_13*P1_2_22*P1_7_34+P1_1_14*P1_2_22*P1_7_34+P1_1_15*P1_2_22*P1_7_34+P1_1_16*P1_2_22*P1_7_34+P1_1_17*P1_2_23*P1_7_34+P1_1_3*P1_2_23*P1_7_34+P1_1_4*P1_2_23*P1_7_34+P1_1_5*P1_2_23*P1_7_34+P1_1_6*P1_2_23*P1_7_34+P1_1_7*P1_2_23*P1_7_34+P1_1_8*P1_2_23*P1_7_34+P1_1_9*P1_2_23*P1_7_34+P1_1_10*P1_2_23*P1_7_34+P1_1_11*P1_2_23*P1_7_34+P1_1_12*P1_2_23*P1_7_34+P1_1_13*P1_2_23*P1_7_34+P1_1_14*P1_2_23*P1_7_34+P1_1_15*P1_2_23*P1_7_34+P1_1_16*P1_2_23*P1_7_34+P1_1_17*P1_2_24*P1_7_34+P1_1_3*P1_2_24*P1_7_34+P1_1_4*P1_2_24*P1_7_34+P1_1_5*P1_2_24*P1_7_34+P1_1_6*P1_2_24*P1_7_34+P1_1_7*P1_2_24*P1_7_34+P1_1_8*P1_2_24*P1_7_34+P1_1_9*P1_2_24*P1_7_34+P1_1_10*P1_2_24*P1_7_34+P1_1_11*P1_2_24*P1_7_34+P1_1_12*P1_2_24*P1_7_34+P1_1_13*P1_2_24*P1_7_34+P1_1_14*P1_2_24*P1_7_34+P1_1_15*P1_2_24*P1_7_34+P1_1_16*P1_2_24*P1_7_34+P1_1_17*P1_2_25*P1_7_34+P1_1_3*P1_2_25*P1_7_34+P1_1_4*P1_2_25*P1_7_34+P1_1_5*P1_2_25*P1_7_34+P1_1_6*P1_2_25*P1_7_34+P1_1_7*P1_2_25*P1_7_34+P1_1_8*P1_2_25*P1_7_34+P1_1_9*P1_2_25*P1_7_34+P1_1_10*P1_2_25*P1_7_34+P1_1_11*P1_2_25*P1_7_34+P1_1_12*P1_2_25*P1_7_34+P1_1_13*P1_2_25*P1_7_34+P1_1_14*P1_2_25*P1_7_34+P1_1_15*P1_2_25*P1_7_34+P1_1_16*P1_2_25*P1_7_34+P1_1_17*P1_2_26*P1_7_34+P1_1_3*P1_2_26*P1_7_34+P1_1_4*P1_2_26*P1_7_34+P1_1_5*P1_2_26*P1_7_34+P1_1_6*P1_2_26*P1_7_34+P1_1_7*P1_2_26*P1_7_34+P1_1_8*P1_2_26*P1_7_34+P1_1_9*P1_2_26*P1_7_34+P1_1_10*P1_2_26*P1_7_34+P1_1_11*P1_2_26*P1_7_34+P1_1_12*P1_2_26*P1_7_34+P1_1_13*P1_2_26*P1_7_34+P1_1_14*P1_2_26*P1_7_34+P1_1_15*P1_2_26*P1_7_34+P1_1_16*P1_2_26*P1_7_34+P1_1_17*P1_2_27*P1_7_34+P1_1_3*P1_2_27*P1_7_34+P1_1_4*P1_2_27*P1_7_34+P1_1_5*P1_2_27*P1_7_34+P1_1_6*P1_2_27*P1_7_34+P1_1_7*P1_2_27*P1_7_34+P1_1_8*P1_2_27*P1_7_34+P1_1_9*P1_2_27*P1_7_34+P1_1_10*P1_2_27*P1_7_34+P1_1_11*P1_2_27*P1_7_34+P1_1_12*P1_2_27*P1_7_34+P1_1_13*P1_2_27*P1_7_34+P1_1_14*P1_2_27*P1_7_34+P1_1_15*P1_2_27*P1_7_34+P1_1_16*P1_2_27*P1_7_34+P1_1_17*P1_2_28*P1_7_34+P1_1_3*P1_2_28*P1_7_34+P1_1_4*P1_2_28*P1_7_34+P1_1_5*P1_2_28*P1_7_34+P1_1_6*P1_2_28*P1_7_34+P1_1_7*P1_2_28*P1_7_34+P1_1_8*P1_2_28*P1_7_34+P1_1_9*P1_2_28*P1_7_34+P1_1_10*P1_2_28*P1_7_34+P1_1_11*P1_2_28*P1_7_34+P1_1_12*P1_2_28*P1_7_34+P1_1_13*P1_2_28*P1_7_34+P1_1_14*P1_2_28*P1_7_34+P1_1_15*P1_2_28*P1_7_34+P1_1_16*P1_2_28*P1_7_34+P1_1_17*P1_2_29*P1_7_34+P1_1_3*P1_2_29*P1_7_34+P1_1_4*P1_2_29*P1_7_34+P1_1_5*P1_2_29*P1_7_34+P1_1_6*P1_2_29*P1_7_34+P1_1_7*P1_2_29*P1_7_34+P1_1_8*P1_2_29*P1_7_34+P1_1_9*P1_2_29*P1_7_34+P1_1_10*P1_2_29*P1_7_34+P1_1_11*P1_2_29*P1_7_34+P1_1_12*P1_2_29*P1_7_34+P1_1_13*P1_2_29*P1_7_34+P1_1_14*P1_2_29*P1_7_34+P1_1_15*P1_2_29*P1_7_34+P1_1_16*P1_2_29*P1_7_34+P1_1_17*P1_2_30*P1_7_34+P1_1_3*P1_2_30*P1_7_34+P1_1_4*P1_2_30*P1_7_34+P1_1_5*P1_2_30*P1_7_34+P1_1_6*P1_2_30*P1_7_34+P1_1_7*P1_2_30*P1_7_34+P1_1_8*P1_2_30*P1_7_34+P1_1_9*P1_2_30*P1_7_34+P1_1_10*P1_2_30*P1_7_34+P1_1_11*P1_2_30*P1_7_34+P1_1_12*P1_2_30*P1_7_34+P1_1_13*P1_2_30*P1_7_34+P1_1_14*P1_2_30*P1_7_34+P1_1_15*P1_2_30*P1_7_34+P1_1_16*P1_2_30*P1_7_34+P1_1_17*P1_2_31*P1_7_34+P1_1_3*P1_2_31*P1_7_34+P1_1_4*P1_2_31*P1_7_34+P1_1_5*P1_2_31*P1_7_34+P1_1_6*P1_2_31*P1_7_34+P1_1_7*P1_2_31*P1_7_34+P1_1_8*P1_2_31*P1_7_34+P1_1_9*P1_2_31*P1_7_34+P1_1_10*P1_2_31*P1_7_34+P1_1_11*P1_2_31*P1_7_34+P1_1_12*P1_2_31*P1_7_34+P1_1_13*P1_2_31*P1_7_34+P1_1_14*P1_2_31*P1_7_34+P1_1_15*P1_2_31*P1_7_34+P1_1_16*P1_2_31*P1_7_34+P1_1_17*P1_2_32*P1_7_34+P1_1_3*P1_2_32*P1_7_34+P1_1_4*P1_2_32*P1_7_34+P1_1_5*P1_2_32*P1_7_34+P1_1_6*P1_2_32*P1_7_34+P1_1_7*P1_2_32*P1_7_34+P1_1_8*P1_2_32*P1_7_34+P1_1_9*P1_2_32*P1_7_34+P1_1_10*P1_2_32*P1_7_34+P1_1_11*P1_2_32*P1_7_34+P1_1_12*P1_2_32*P1_7_34+P1_1_13*P1_2_32*P1_7_34+P1_1_14*P1_2_32*P1_7_34+P1_1_15*P1_2_32*P1_7_34+P1_1_16*P1_2_32*P1_7_34+P1_1_3*P1_2_33*P1_7_34+P1_1_4*P1_2_33*P1_7_34+P1_1_5*P1_2_33*P1_7_34+P1_1_6*P1_2_33*P1_7_34+P1_1_7*P1_2_33*P1_7_34+P1_1_8*P1_2_33*P1_7_34+P1_1_9*P1_2_33*P1_7_34+P1_1_10*P1_2_33*P1_7_34+P1_1_11*P1_2_33*P1_7_34+P1_1_12*P1_2_33*P1_7_34+P1_1_13*P1_2_33*P1_7_34+P1_1_14*P1_2_33*P1_7_34+P1_1_15*P1_2_33*P1_7_34+P1_1_16*P1_2_33*P1_7_34+P1_1_17*P1_2_19*P1_7_34+P1_1_3*P1_2_19*P1_7_34+P1_1_4*P1_2_19*P1_7_34+P1_1_5*P1_2_19*P1_7_34+P1_1_6*P1_2_19*P1_7_34+P1_1_7*P1_2_19*P1_7_34+P1_1_8*P1_2_19*P1_7_34+P1_1_9*P1_2_19*P1_7_34+P1_1_10*P1_2_19*P1_7_34+P1_1_11*P1_2_19*P1_7_34+P1_1_12*P1_2_19*P1_7_34+P1_1_13*P1_2_19*P1_7_34+P1_1_14*P1_2_19*P1_7_34+P1_1_15*P1_2_19*P1_7_34+P1_1_16*P1_2_19*P1_7_34+(-1))); 
prob_f1_s112  =( (-1 * ((P1_0_1) * (P1_1_17*P1_2_67+P1_1_15*P1_2_67+P1_1_14*P1_2_67+P1_1_13*P1_2_67+P1_1_12*P1_2_67+P1_1_11*P1_2_67+P1_1_10*P1_2_67+P1_1_9*P1_2_67+P1_1_8*P1_2_67+P1_1_7*P1_2_67+P1_1_6*P1_2_67+P1_1_5*P1_2_67+P1_1_4*P1_2_67+P1_1_3*P1_2_67+P1_1_16*P1_2_67)))/(P1_1_17*P1_2_33*P1_7_34+P1_1_17*P1_2_20*P1_7_34+P1_1_3*P1_2_20*P1_7_34+P1_1_4*P1_2_20*P1_7_34+P1_1_5*P1_2_20*P1_7_34+P1_1_6*P1_2_20*P1_7_34+P1_1_7*P1_2_20*P1_7_34+P1_1_8*P1_2_20*P1_7_34+P1_1_9*P1_2_20*P1_7_34+P1_1_10*P1_2_20*P1_7_34+P1_1_11*P1_2_20*P1_7_34+P1_1_12*P1_2_20*P1_7_34+P1_1_13*P1_2_20*P1_7_34+P1_1_14*P1_2_20*P1_7_34+P1_1_15*P1_2_20*P1_7_34+P1_1_16*P1_2_20*P1_7_34+P1_1_17*P1_2_21*P1_7_34+P1_1_3*P1_2_21*P1_7_34+P1_1_4*P1_2_21*P1_7_34+P1_1_5*P1_2_21*P1_7_34+P1_1_6*P1_2_21*P1_7_34+P1_1_7*P1_2_21*P1_7_34+P1_1_8*P1_2_21*P1_7_34+P1_1_9*P1_2_21*P1_7_34+P1_1_10*P1_2_21*P1_7_34+P1_1_11*P1_2_21*P1_7_34+P1_1_12*P1_2_21*P1_7_34+P1_1_13*P1_2_21*P1_7_34+P1_1_14*P1_2_21*P1_7_34+P1_1_15*P1_2_21*P1_7_34+P1_1_16*P1_2_21*P1_7_34+P1_1_17*P1_2_22*P1_7_34+P1_1_3*P1_2_22*P1_7_34+P1_1_4*P1_2_22*P1_7_34+P1_1_5*P1_2_22*P1_7_34+P1_1_6*P1_2_22*P1_7_34+P1_1_7*P1_2_22*P1_7_34+P1_1_8*P1_2_22*P1_7_34+P1_1_9*P1_2_22*P1_7_34+P1_1_10*P1_2_22*P1_7_34+P1_1_11*P1_2_22*P1_7_34+P1_1_12*P1_2_22*P1_7_34+P1_1_13*P1_2_22*P1_7_34+P1_1_14*P1_2_22*P1_7_34+P1_1_15*P1_2_22*P1_7_34+P1_1_16*P1_2_22*P1_7_34+P1_1_17*P1_2_23*P1_7_34+P1_1_3*P1_2_23*P1_7_34+P1_1_4*P1_2_23*P1_7_34+P1_1_5*P1_2_23*P1_7_34+P1_1_6*P1_2_23*P1_7_34+P1_1_7*P1_2_23*P1_7_34+P1_1_8*P1_2_23*P1_7_34+P1_1_9*P1_2_23*P1_7_34+P1_1_10*P1_2_23*P1_7_34+P1_1_11*P1_2_23*P1_7_34+P1_1_12*P1_2_23*P1_7_34+P1_1_13*P1_2_23*P1_7_34+P1_1_14*P1_2_23*P1_7_34+P1_1_15*P1_2_23*P1_7_34+P1_1_16*P1_2_23*P1_7_34+P1_1_17*P1_2_24*P1_7_34+P1_1_3*P1_2_24*P1_7_34+P1_1_4*P1_2_24*P1_7_34+P1_1_5*P1_2_24*P1_7_34+P1_1_6*P1_2_24*P1_7_34+P1_1_7*P1_2_24*P1_7_34+P1_1_8*P1_2_24*P1_7_34+P1_1_9*P1_2_24*P1_7_34+P1_1_10*P1_2_24*P1_7_34+P1_1_11*P1_2_24*P1_7_34+P1_1_12*P1_2_24*P1_7_34+P1_1_13*P1_2_24*P1_7_34+P1_1_14*P1_2_24*P1_7_34+P1_1_15*P1_2_24*P1_7_34+P1_1_16*P1_2_24*P1_7_34+P1_1_17*P1_2_25*P1_7_34+P1_1_3*P1_2_25*P1_7_34+P1_1_4*P1_2_25*P1_7_34+P1_1_5*P1_2_25*P1_7_34+P1_1_6*P1_2_25*P1_7_34+P1_1_7*P1_2_25*P1_7_34+P1_1_8*P1_2_25*P1_7_34+P1_1_9*P1_2_25*P1_7_34+P1_1_10*P1_2_25*P1_7_34+P1_1_11*P1_2_25*P1_7_34+P1_1_12*P1_2_25*P1_7_34+P1_1_13*P1_2_25*P1_7_34+P1_1_14*P1_2_25*P1_7_34+P1_1_15*P1_2_25*P1_7_34+P1_1_16*P1_2_25*P1_7_34+P1_1_17*P1_2_26*P1_7_34+P1_1_3*P1_2_26*P1_7_34+P1_1_4*P1_2_26*P1_7_34+P1_1_5*P1_2_26*P1_7_34+P1_1_6*P1_2_26*P1_7_34+P1_1_7*P1_2_26*P1_7_34+P1_1_8*P1_2_26*P1_7_34+P1_1_9*P1_2_26*P1_7_34+P1_1_10*P1_2_26*P1_7_34+P1_1_11*P1_2_26*P1_7_34+P1_1_12*P1_2_26*P1_7_34+P1_1_13*P1_2_26*P1_7_34+P1_1_14*P1_2_26*P1_7_34+P1_1_15*P1_2_26*P1_7_34+P1_1_16*P1_2_26*P1_7_34+P1_1_17*P1_2_27*P1_7_34+P1_1_3*P1_2_27*P1_7_34+P1_1_4*P1_2_27*P1_7_34+P1_1_5*P1_2_27*P1_7_34+P1_1_6*P1_2_27*P1_7_34+P1_1_7*P1_2_27*P1_7_34+P1_1_8*P1_2_27*P1_7_34+P1_1_9*P1_2_27*P1_7_34+P1_1_10*P1_2_27*P1_7_34+P1_1_11*P1_2_27*P1_7_34+P1_1_12*P1_2_27*P1_7_34+P1_1_13*P1_2_27*P1_7_34+P1_1_14*P1_2_27*P1_7_34+P1_1_15*P1_2_27*P1_7_34+P1_1_16*P1_2_27*P1_7_34+P1_1_17*P1_2_28*P1_7_34+P1_1_3*P1_2_28*P1_7_34+P1_1_4*P1_2_28*P1_7_34+P1_1_5*P1_2_28*P1_7_34+P1_1_6*P1_2_28*P1_7_34+P1_1_7*P1_2_28*P1_7_34+P1_1_8*P1_2_28*P1_7_34+P1_1_9*P1_2_28*P1_7_34+P1_1_10*P1_2_28*P1_7_34+P1_1_11*P1_2_28*P1_7_34+P1_1_12*P1_2_28*P1_7_34+P1_1_13*P1_2_28*P1_7_34+P1_1_14*P1_2_28*P1_7_34+P1_1_15*P1_2_28*P1_7_34+P1_1_16*P1_2_28*P1_7_34+P1_1_17*P1_2_29*P1_7_34+P1_1_3*P1_2_29*P1_7_34+P1_1_4*P1_2_29*P1_7_34+P1_1_5*P1_2_29*P1_7_34+P1_1_6*P1_2_29*P1_7_34+P1_1_7*P1_2_29*P1_7_34+P1_1_8*P1_2_29*P1_7_34+P1_1_9*P1_2_29*P1_7_34+P1_1_10*P1_2_29*P1_7_34+P1_1_11*P1_2_29*P1_7_34+P1_1_12*P1_2_29*P1_7_34+P1_1_13*P1_2_29*P1_7_34+P1_1_14*P1_2_29*P1_7_34+P1_1_15*P1_2_29*P1_7_34+P1_1_16*P1_2_29*P1_7_34+P1_1_17*P1_2_30*P1_7_34+P1_1_3*P1_2_30*P1_7_34+P1_1_4*P1_2_30*P1_7_34+P1_1_5*P1_2_30*P1_7_34+P1_1_6*P1_2_30*P1_7_34+P1_1_7*P1_2_30*P1_7_34+P1_1_8*P1_2_30*P1_7_34+P1_1_9*P1_2_30*P1_7_34+P1_1_10*P1_2_30*P1_7_34+P1_1_11*P1_2_30*P1_7_34+P1_1_12*P1_2_30*P1_7_34+P1_1_13*P1_2_30*P1_7_34+P1_1_14*P1_2_30*P1_7_34+P1_1_15*P1_2_30*P1_7_34+P1_1_16*P1_2_30*P1_7_34+P1_1_17*P1_2_31*P1_7_34+P1_1_3*P1_2_31*P1_7_34+P1_1_4*P1_2_31*P1_7_34+P1_1_5*P1_2_31*P1_7_34+P1_1_6*P1_2_31*P1_7_34+P1_1_7*P1_2_31*P1_7_34+P1_1_8*P1_2_31*P1_7_34+P1_1_9*P1_2_31*P1_7_34+P1_1_10*P1_2_31*P1_7_34+P1_1_11*P1_2_31*P1_7_34+P1_1_12*P1_2_31*P1_7_34+P1_1_13*P1_2_31*P1_7_34+P1_1_14*P1_2_31*P1_7_34+P1_1_15*P1_2_31*P1_7_34+P1_1_16*P1_2_31*P1_7_34+P1_1_17*P1_2_32*P1_7_34+P1_1_3*P1_2_32*P1_7_34+P1_1_4*P1_2_32*P1_7_34+P1_1_5*P1_2_32*P1_7_34+P1_1_6*P1_2_32*P1_7_34+P1_1_7*P1_2_32*P1_7_34+P1_1_8*P1_2_32*P1_7_34+P1_1_9*P1_2_32*P1_7_34+P1_1_10*P1_2_32*P1_7_34+P1_1_11*P1_2_32*P1_7_34+P1_1_12*P1_2_32*P1_7_34+P1_1_13*P1_2_32*P1_7_34+P1_1_14*P1_2_32*P1_7_34+P1_1_15*P1_2_32*P1_7_34+P1_1_16*P1_2_32*P1_7_34+P1_1_3*P1_2_33*P1_7_34+P1_1_4*P1_2_33*P1_7_34+P1_1_5*P1_2_33*P1_7_34+P1_1_6*P1_2_33*P1_7_34+P1_1_7*P1_2_33*P1_7_34+P1_1_8*P1_2_33*P1_7_34+P1_1_9*P1_2_33*P1_7_34+P1_1_10*P1_2_33*P1_7_34+P1_1_11*P1_2_33*P1_7_34+P1_1_12*P1_2_33*P1_7_34+P1_1_13*P1_2_33*P1_7_34+P1_1_14*P1_2_33*P1_7_34+P1_1_15*P1_2_33*P1_7_34+P1_1_16*P1_2_33*P1_7_34+P1_1_17*P1_2_19*P1_7_34+P1_1_3*P1_2_19*P1_7_34+P1_1_4*P1_2_19*P1_7_34+P1_1_5*P1_2_19*P1_7_34+P1_1_6*P1_2_19*P1_7_34+P1_1_7*P1_2_19*P1_7_34+P1_1_8*P1_2_19*P1_7_34+P1_1_9*P1_2_19*P1_7_34+P1_1_10*P1_2_19*P1_7_34+P1_1_11*P1_2_19*P1_7_34+P1_1_12*P1_2_19*P1_7_34+P1_1_13*P1_2_19*P1_7_34+P1_1_14*P1_2_19*P1_7_34+P1_1_15*P1_2_19*P1_7_34+P1_1_16*P1_2_19*P1_7_34+(-1))); 
P2_6_1 = ((p64*p63*p62*p61)); 
P2_6_2 = (((-1)*p64*p63*p62*p61+p63*p62*p61)); 
P2_6_3 = (((-1)*p64*p63*p62*p61+p64*p62*p61)); 
P2_6_4 = ((p64*p63*p62*p61-p63*p62*p61-p64*p62*p61+p62*p61)); 
P2_6_5 = (((-1)*p64*p63*p62*p61+p64*p63*p61)); 
P2_6_6 = ((p64*p63*p62*p61-p63*p62*p61-p64*p63*p61+p63*p61)); 
P2_6_7 = ((p64*p63*p62*p61-p64*p62*p61-p64*p63*p61+p64*p61)); 
P2_6_8 = (((-1)*p64*p63*p62*p61+p63*p62*p61+p64*p62*p61+p64*p63*p61-p62*p61-p63*p61-p64*p61+p61)); 
P2_6_9 = (((-1)*p64*p63*p62*p61+p64*p63*p62)); 
P2_6_10 = ((p64*p63*p62*p61-p63*p62*p61-p64*p63*p62+p63*p62)); 
P2_6_11 = ((p64*p63*p62*p61-p64*p62*p61-p64*p63*p62+p64*p62)); 
P2_6_12 = (((-1)*p64*p63*p62*p61+p63*p62*p61+p64*p62*p61+p64*p63*p62-p62*p61-p63*p62-p64*p62+p62)); 
P2_6_13 = ((p64*p63*p62*p61-p64*p63*p61-p64*p63*p62+p64*p63)); 
P2_6_14 = (((-1)*p64*p63*p62*p61+p63*p62*p61+p64*p63*p61+p64*p63*p62-p63*p61-p63*p62-p64*p63+p63)); 
P2_6_15 = (((-1)*p64*p63*p62*p61+p64*p62*p61+p64*p63*p61+p64*p63*p62-p64*p61-p64*p62-p64*p63+p64)); 
P2_6_16 = ((p64*p63*p62*p61-p63*p62*p61-p64*p62*p61-p64*p63*p61-p64*p63*p62+p62*p61+p63*p61+p64*p61+p63*p62+p64*p62+p64*p63-p61-p62-p63-p64+(1))); 

prob_f2_s96  =( (P2_6_1)/(1)); 
prob_f2_s97  =( (P2_6_2)/(1)); 
prob_f2_s98  =( (P2_6_3)/(1)); 
prob_f2_s99  =( (P2_6_4)/(1)); 
prob_f2_s100  =( (P2_6_5)/(1)); 
prob_f2_s101  =( (P2_6_6)/(1)); 
prob_f2_s102  =( (P2_6_7)/(1)); 
prob_f2_s103  =( (P2_6_8)/(1)); 
prob_f2_s104  =( (P2_6_9)/(1)); 
prob_f2_s105  =( (P2_6_10)/(1)); 
prob_f2_s106  =( (P2_6_11)/(1)); 
prob_f2_s107  =( (P2_6_12)/(1)); 
prob_f2_s108  =( (P2_6_13)/(1)); 
prob_f2_s109  =( (P2_6_14)/(1)); 
prob_f2_s110  =( (P2_6_15)/(1)); 
prob_f2_s111  =( (P2_6_16)/(1)); 
P3_8_16 = (( ((-1)*z1-z2+(1)) ) * ( (p44*p43*p42*p41) )); 
P3_8_17 = (( ((-1)*z1-z2+(1)) ) * ( ((-1)*p44*p43*p42*p41+p43*p42*p41) )); 
P3_8_18 = (( ((-1)*z1-z2+(1)) ) * ( ((-1)*p44*p43*p42*p41+p44*p42*p41) )); 
P3_8_19 = (( ((-1)*z1-z2+(1)) ) * ( (p44*p43*p42*p41-p43*p42*p41-p44*p42*p41+p42*p41) )); 
P3_8_20 = (( ((-1)*z1-z2+(1)) ) * ( ((-1)*p44*p43*p42*p41+p44*p43*p41) )); 
P3_8_21 = (( ((-1)*z1-z2+(1)) ) * ( (p44*p43*p42*p41-p43*p42*p41-p44*p43*p41+p43*p41) )); 
P3_8_22 = (( ((-1)*z1-z2+(1)) ) * ( (p44*p43*p42*p41-p44*p42*p41-p44*p43*p41+p44*p41) )); 
P3_8_23 = (( ((-1)*z1-z2+(1)) ) * ( ((-1)*p44*p43*p42*p41+p43*p42*p41+p44*p42*p41+p44*p43*p41-p42*p41-p43*p41-p44*p41+p41) )); 
P3_8_24 = (( ((-1)*z1-z2+(1)) ) * ( ((-1)*p44*p43*p42*p41+p44*p43*p42) )); 
P3_8_25 = (( ((-1)*z1-z2+(1)) ) * ( (p44*p43*p42*p41-p43*p42*p41-p44*p43*p42+p43*p42) )); 
P3_8_26 = (( ((-1)*z1-z2+(1)) ) * ( (p44*p43*p42*p41-p44*p42*p41-p44*p43*p42+p44*p42) )); 
P3_8_27 = (( ((-1)*z1-z2+(1)) ) * ( ((-1)*p44*p43*p42*p41+p43*p42*p41+p44*p42*p41+p44*p43*p42-p42*p41-p43*p42-p44*p42+p42) )); 
P3_8_28 = (( ((-1)*z1-z2+(1)) ) * ( (p44*p43*p42*p41-p44*p43*p41-p44*p43*p42+p44*p43) )); 
P3_8_29 = (( ((-1)*z1-z2+(1)) ) * ( ((-1)*p44*p43*p42*p41+p43*p42*p41+p44*p43*p41+p44*p43*p42-p43*p41-p43*p42-p44*p43+p43) )); 
P3_8_30 = (( ((-1)*z1-z2+(1)) ) * ( ((-1)*p44*p43*p42*p41+p44*p42*p41+p44*p43*p41+p44*p43*p42-p44*p41-p44*p42-p44*p43+p44) )); 
P3_8_31 = (( ((-1)*z1-z2+(1)) ) * ( (p44*p43*p42*p41-p43*p42*p41-p44*p42*p41-p44*p43*p41-p44*p43*p42+p42*p41+p43*p41+p44*p41+p43*p42+p44*p42+p44*p43-p41-p42-p43-p44+(1)) )); 
P3_8_32 = (( (z1) ) * ( (p54*p53*p52*p51) )); 
P3_8_33 = (( (z1) ) * ( ((-1)*p54*p53*p52*p51+p53*p52*p51) )); 
P3_8_34 = (( (z1) ) * ( ((-1)*p54*p53*p52*p51+p54*p52*p51) )); 
P3_8_35 = (( (z1) ) * ( (p54*p53*p52*p51-p53*p52*p51-p54*p52*p51+p52*p51) )); 
P3_8_36 = (( (z1) ) * ( ((-1)*p54*p53*p52*p51+p54*p53*p51) )); 
P3_8_37 = (( (z1) ) * ( (p54*p53*p52*p51-p53*p52*p51-p54*p53*p51+p53*p51) )); 
P3_8_38 = (( (z1) ) * ( (p54*p53*p52*p51-p54*p52*p51-p54*p53*p51+p54*p51) )); 
P3_8_39 = (( (z1) ) * ( ((-1)*p54*p53*p52*p51+p53*p52*p51+p54*p52*p51+p54*p53*p51-p52*p51-p53*p51-p54*p51+p51) )); 
P3_8_40 = (( (z1) ) * ( ((-1)*p54*p53*p52*p51+p54*p53*p52) )); 
P3_8_41 = (( (z1) ) * ( (p54*p53*p52*p51-p53*p52*p51-p54*p53*p52+p53*p52) )); 
P3_8_42 = (( (z1) ) * ( (p54*p53*p52*p51-p54*p52*p51-p54*p53*p52+p54*p52) )); 
P3_8_43 = (( (z1) ) * ( ((-1)*p54*p53*p52*p51+p53*p52*p51+p54*p52*p51+p54*p53*p52-p52*p51-p53*p52-p54*p52+p52) )); 
P3_8_44 = (( (z1) ) * ( (p54*p53*p52*p51-p54*p53*p51-p54*p53*p52+p54*p53) )); 
P3_8_45 = (( (z1) ) * ( ((-1)*p54*p53*p52*p51+p53*p52*p51+p54*p53*p51+p54*p53*p52-p53*p51-p53*p52-p54*p53+p53) )); 
P3_8_46 = (( (z1) ) * ( ((-1)*p54*p53*p52*p51+p54*p52*p51+p54*p53*p51+p54*p53*p52-p54*p51-p54*p52-p54*p53+p54) )); 
P3_8_47 = (( (z1) ) * ( (p54*p53*p52*p51-p53*p52*p51-p54*p52*p51-p54*p53*p51-p54*p53*p52+p52*p51+p53*p51+p54*p51+p53*p52+p54*p52+p54*p53-p51-p52-p53-p54+(1)) )); 
P3_8_48 = ((z2)); 
P3_64_1 = ((1)); 
P3_65_2 = ((1)); 
P3_66_3 = ((1)); 
P3_67_4 = ((1)); 
P3_68_5 = ((1)); 
P3_69_6 = ((1)); 
P3_70_7 = ((1)); 
P3_71_8 = ((1)); 
P3_72_9 = ((1)); 
P3_73_10 = ((1)); 
P3_74_11 = ((1)); 
P3_75_12 = ((1)); 
P3_76_13 = ((1)); 
P3_77_14 = ((1)); 
P3_78_15 = ((1)); 

prob_f3_s79  =( (-1 * (P3_8_31))/(P3_8_30+P3_8_29+P3_8_16+P3_8_17+P3_8_18+P3_8_19+P3_8_20+P3_8_21+P3_8_22+P3_8_23+P3_8_24+P3_8_25+P3_8_26+P3_8_27+P3_8_28+(-1))); 
prob_f3_s80  =( (-1 * (P3_8_32))/(P3_8_30+P3_8_29+P3_8_16+P3_8_17+P3_8_18+P3_8_19+P3_8_20+P3_8_21+P3_8_22+P3_8_23+P3_8_24+P3_8_25+P3_8_26+P3_8_27+P3_8_28+(-1))); 
prob_f3_s81  =( (-1 * (P3_8_33))/(P3_8_30+P3_8_29+P3_8_16+P3_8_17+P3_8_18+P3_8_19+P3_8_20+P3_8_21+P3_8_22+P3_8_23+P3_8_24+P3_8_25+P3_8_26+P3_8_27+P3_8_28+(-1))); 
prob_f3_s82  =( (-1 * (P3_8_34))/(P3_8_30+P3_8_29+P3_8_16+P3_8_17+P3_8_18+P3_8_19+P3_8_20+P3_8_21+P3_8_22+P3_8_23+P3_8_24+P3_8_25+P3_8_26+P3_8_27+P3_8_28+(-1))); 
prob_f3_s83  =( (-1 * (P3_8_35))/(P3_8_30+P3_8_29+P3_8_16+P3_8_17+P3_8_18+P3_8_19+P3_8_20+P3_8_21+P3_8_22+P3_8_23+P3_8_24+P3_8_25+P3_8_26+P3_8_27+P3_8_28+(-1))); 
prob_f3_s84  =( (-1 * (P3_8_36))/(P3_8_30+P3_8_29+P3_8_16+P3_8_17+P3_8_18+P3_8_19+P3_8_20+P3_8_21+P3_8_22+P3_8_23+P3_8_24+P3_8_25+P3_8_26+P3_8_27+P3_8_28+(-1))); 
prob_f3_s85  =( (-1 * (P3_8_37))/(P3_8_30+P3_8_29+P3_8_16+P3_8_17+P3_8_18+P3_8_19+P3_8_20+P3_8_21+P3_8_22+P3_8_23+P3_8_24+P3_8_25+P3_8_26+P3_8_27+P3_8_28+(-1))); 
prob_f3_s86  =( (-1 * (P3_8_38))/(P3_8_30+P3_8_29+P3_8_16+P3_8_17+P3_8_18+P3_8_19+P3_8_20+P3_8_21+P3_8_22+P3_8_23+P3_8_24+P3_8_25+P3_8_26+P3_8_27+P3_8_28+(-1))); 
prob_f3_s87  =( (-1 * (P3_8_39))/(P3_8_30+P3_8_29+P3_8_16+P3_8_17+P3_8_18+P3_8_19+P3_8_20+P3_8_21+P3_8_22+P3_8_23+P3_8_24+P3_8_25+P3_8_26+P3_8_27+P3_8_28+(-1))); 
prob_f3_s88  =( (-1 * (P3_8_40))/(P3_8_30+P3_8_29+P3_8_16+P3_8_17+P3_8_18+P3_8_19+P3_8_20+P3_8_21+P3_8_22+P3_8_23+P3_8_24+P3_8_25+P3_8_26+P3_8_27+P3_8_28+(-1))); 
prob_f3_s89  =( (-1 * (P3_8_41))/(P3_8_30+P3_8_29+P3_8_16+P3_8_17+P3_8_18+P3_8_19+P3_8_20+P3_8_21+P3_8_22+P3_8_23+P3_8_24+P3_8_25+P3_8_26+P3_8_27+P3_8_28+(-1))); 
prob_f3_s90  =( (-1 * (P3_8_42))/(P3_8_30+P3_8_29+P3_8_16+P3_8_17+P3_8_18+P3_8_19+P3_8_20+P3_8_21+P3_8_22+P3_8_23+P3_8_24+P3_8_25+P3_8_26+P3_8_27+P3_8_28+(-1))); 
prob_f3_s91  =( (-1 * (P3_8_43))/(P3_8_30+P3_8_29+P3_8_16+P3_8_17+P3_8_18+P3_8_19+P3_8_20+P3_8_21+P3_8_22+P3_8_23+P3_8_24+P3_8_25+P3_8_26+P3_8_27+P3_8_28+(-1))); 
prob_f3_s92  =( (-1 * (P3_8_44))/(P3_8_30+P3_8_29+P3_8_16+P3_8_17+P3_8_18+P3_8_19+P3_8_20+P3_8_21+P3_8_22+P3_8_23+P3_8_24+P3_8_25+P3_8_26+P3_8_27+P3_8_28+(-1))); 
prob_f3_s93  =( (-1 * (P3_8_45))/(P3_8_30+P3_8_29+P3_8_16+P3_8_17+P3_8_18+P3_8_19+P3_8_20+P3_8_21+P3_8_22+P3_8_23+P3_8_24+P3_8_25+P3_8_26+P3_8_27+P3_8_28+(-1))); 
prob_f3_s94  =( (-1 * (P3_8_46))/(P3_8_30+P3_8_29+P3_8_16+P3_8_17+P3_8_18+P3_8_19+P3_8_20+P3_8_21+P3_8_22+P3_8_23+P3_8_24+P3_8_25+P3_8_26+P3_8_27+P3_8_28+(-1))); 
prob_f3_s95  =( (-1 * (P3_8_47))/(P3_8_30+P3_8_29+P3_8_16+P3_8_17+P3_8_18+P3_8_19+P3_8_20+P3_8_21+P3_8_22+P3_8_23+P3_8_24+P3_8_25+P3_8_26+P3_8_27+P3_8_28+(-1))); 
prob_f3_s113  =( (-1 * (P3_8_48))/(P3_8_30+P3_8_29+P3_8_16+P3_8_17+P3_8_18+P3_8_19+P3_8_20+P3_8_21+P3_8_22+P3_8_23+P3_8_24+P3_8_25+P3_8_26+P3_8_27+P3_8_28+(-1))); 
PX_0_1 = (( (p34*p33*p32*p31) ) * ( prob_f1_s3 )); 
PX_0_2 = (( ((-1)*p34*p33*p32*p31+p33*p32*p31) ) * ( prob_f1_s3 ));
PX_0_3 = (( ((-1)*p34*p33*p32*p31+p34*p32*p31) ) * ( prob_f1_s3 ));
PX_0_4 = (( (p34*p33*p32*p31-p33*p32*p31-p34*p32*p31+p32*p31) ) * ( prob_f1_s3 ));
PX_0_5 = (( ((-1)*p34*p33*p32*p31+p34*p33*p31) ) * ( prob_f1_s3 ));
PX_0_6 = (( (p34*p33*p32*p31-p33*p32*p31-p34*p33*p31+p33*p31) ) * ( prob_f1_s3 ));
PX_0_7 = (( (p34*p33*p32*p31-p34*p32*p31-p34*p33*p31+p34*p31) ) * ( prob_f1_s3 ));
PX_0_8 = (( ((-1)*p34*p33*p32*p31+p33*p32*p31+p34*p32*p31+p34*p33*p31-p32*p31-p33*p31-p34*p31+p31) ) * ( prob_f1_s3 ));
PX_0_9 = (( ((-1)*p34*p33*p32*p31+p34*p33*p32) ) * ( prob_f1_s3 ));
PX_0_10 = (( (p34*p33*p32*p31-p33*p32*p31-p34*p33*p32+p33*p32) ) * ( prob_f1_s3 ));
PX_0_11 = (( (p34*p33*p32*p31-p34*p32*p31-p34*p33*p32+p34*p32) ) * ( prob_f1_s3 ));
PX_0_12 = (( ((-1)*p34*p33*p32*p31+p33*p32*p31+p34*p32*p31+p34*p33*p32-p32*p31-p33*p32-p34*p32+p32) ) * ( prob_f1_s3 ));
PX_0_13 = (( (p34*p33*p32*p31-p34*p33*p31-p34*p33*p32+p34*p33) ) * ( prob_f1_s3 ));
PX_0_14 = (( ((-1)*p34*p33*p32*p31+p33*p32*p31+p34*p33*p31+p34*p33*p32-p33*p31-p33*p32-p34*p33+p33) ) * ( prob_f1_s3 ));
PX_0_15 = (( ((-1)*p34*p33*p32*p31+p34*p32*p31+p34*p33*p31+p34*p33*p32-p34*p31-p34*p32-p34*p33+p34) ) * ( prob_f1_s3 ));
PX_0_16 = (( (p34*p33*p32*p31-p33*p32*p31-p34*p32*p31-p34*p33*p31-p34*p33*p32+p32*p31+p33*p31+p34*p31+p33*p32+p34*p32+p34*p33-p31-p32-p33-p34+(1)) ) * ( prob_f1_s3 ));
PX_0_24 = (( (1) ) * ( prob_f1_s31 ));
PX_0_47 = (( 1 ) * ( prob_f1_s112 ));
PX_0_49 = ((               ( (p44*p43*p42*p41) ) * ( (1) ) + ( ((-1)*p44*p43*p42*p41+p43*p42*p41) ) * ( (1) )  + ( ((-1)*p44*p43*p42*p41+p44*p42*p41) ) * ( (1) )  + ( (p44*p43*p42*p41-p43*p42*p41-p44*p42*p41+p42*p41) ) * ( (1) )  + ( ((-1)*p44*p43*p42*p41+p44*p43*p41) ) * ( (1) )  + ( (p44*p43*p42*p41-p43*p42*p41-p44*p43*p41+p43*p41) ) * ( (1) )  + ( (p44*p43*p42*p41-p44*p42*p41-p44*p43*p41+p44*p41) ) * ( (1) )  + ( ((-1)*p44*p43*p42*p41+p43*p42*p41+p44*p42*p41+p44*p43*p41-p42*p41-p43*p41-p44*p41+p41) ) * ( (1) )  + ( ((-1)*p44*p43*p42*p41+p44*p43*p42) ) * ( (1) )  + ( (p44*p43*p42*p41-p43*p42*p41-p44*p43*p42+p43*p42) ) * ( (1) )  + ( (p44*p43*p42*p41-p44*p42*p41-p44*p43*p42+p44*p42) ) * ( (1) )  + ( ((-1)*p44*p43*p42*p41+p43*p42*p41+p44*p42*p41+p44*p43*p42-p42*p41-p43*p42-p44*p42+p42) ) * ( (1) )  + ( (p44*p43*p42*p41-p44*p43*p41-p44*p43*p42+p44*p43) ) * ( (1) )  + ( ((-1)*p44*p43*p42*p41+p43*p42*p41+p44*p43*p41+p44*p43*p42-p43*p41-p43*p42-p44*p43+p43) ) * ( (1) )  + ( ((-1)*p44*p43*p42*p41+p44*p42*p41+p44*p43*p41+p44*p43*p42-p44*p41-p44*p42-p44*p43+p44) ) * ( (1) )  ) * ( prob_f1_s4 ));
PX_0_50 = (( ( (p44*p43*p42*p41-p43*p42*p41-p44*p42*p41-p44*p43*p41-p44*p43*p42+p42*p41+p43*p41+p44*p41+p43*p42+p44*p42+p44*p43-p41-p42-p43-p44+(1)) ) * ( (1) ) ) * ( prob_f1_s4 ));
PX_0_51 = ((               ( (p54*p53*p52*p51) ) * ( (1) ) + ( ((-1)*p54*p53*p52*p51+p53*p52*p51) ) * ( (1) )  + ( ((-1)*p54*p53*p52*p51+p54*p52*p51) ) * ( (1) )  + ( (p54*p53*p52*p51-p53*p52*p51-p54*p52*p51+p52*p51) ) * ( (1) )  + ( ((-1)*p54*p53*p52*p51+p54*p53*p51) ) * ( (1) )  + ( (p54*p53*p52*p51-p53*p52*p51-p54*p53*p51+p53*p51) ) * ( (1) )  + ( (p54*p53*p52*p51-p54*p52*p51-p54*p53*p51+p54*p51) ) * ( (1) )  + ( ((-1)*p54*p53*p52*p51+p53*p52*p51+p54*p52*p51+p54*p53*p51-p52*p51-p53*p51-p54*p51+p51) ) * ( (1) )  + ( ((-1)*p54*p53*p52*p51+p54*p53*p52) ) * ( (1) )  + ( (p54*p53*p52*p51-p53*p52*p51-p54*p53*p52+p53*p52) ) * ( (1) )  + ( (p54*p53*p52*p51-p54*p52*p51-p54*p53*p52+p54*p52) ) * ( (1) )  + ( ((-1)*p54*p53*p52*p51+p53*p52*p51+p54*p52*p51+p54*p53*p52-p52*p51-p53*p52-p54*p52+p52) ) * ( (1) )  + ( (p54*p53*p52*p51-p54*p53*p51-p54*p53*p52+p54*p53) ) * ( (1) )  + ( ((-1)*p54*p53*p52*p51+p53*p52*p51+p54*p53*p51+p54*p53*p52-p53*p51-p53*p52-p54*p53+p53) ) * ( (1) )  + ( ((-1)*p54*p53*p52*p51+p54*p52*p51+p54*p53*p51+p54*p53*p52-p54*p51-p54*p52-p54*p53+p54) ) * ( (1) )  ) * ( prob_f1_s5 ));
PX_0_52 = (( ( (p54*p53*p52*p51-p53*p52*p51-p54*p52*p51-p54*p53*p51-p54*p53*p52+p52*p51+p53*p51+p54*p51+p53*p52+p54*p52+p54*p53-p51-p52-p53-p54+(1)) ) * ( (1) ) ) * ( prob_f1_s5 ));
PX_1_45 = (              ( (1) ) * ( prob_f2_s96 ) + ( (1) ) * ( prob_f2_s97 )  + ( (1) ) * ( prob_f2_s98 )  + ( (1) ) * ( prob_f2_s99 )  + ( (1) ) * ( prob_f2_s100 )  + ( (1) ) * ( prob_f2_s101 )  + ( (1) ) * ( prob_f2_s102 )  + ( (1) ) * ( prob_f2_s103 )  + ( (1) ) * ( prob_f2_s104 )  + ( (1) ) * ( prob_f2_s105 )  + ( (1) ) * ( prob_f2_s106 )  + ( (1) ) * ( prob_f2_s107 )  + ( (1) ) * ( prob_f2_s108 )  + ( (1) ) * ( prob_f2_s109 )  + ( (1) ) * ( prob_f2_s110 ) ); 
PX_1_46 = (( (1) ) * ( prob_f2_s111 ));
PX_2_42 = (( (1) ) * ( prob_f3_s79 )); 
PX_2_43 = (              ( (1) ) * ( prob_f3_s80 ) + ( (1) ) * ( prob_f3_s81 )  + ( (1) ) * ( prob_f3_s82 )  + ( (1) ) * ( prob_f3_s83 )  + ( (1) ) * ( prob_f3_s84 )  + ( (1) ) * ( prob_f3_s85 )  + ( (1) ) * ( prob_f3_s86 )  + ( (1) ) * ( prob_f3_s87 )  + ( (1) ) * ( prob_f3_s88 )  + ( (1) ) * ( prob_f3_s89 )  + ( (1) ) * ( prob_f3_s90 )  + ( (1) ) * ( prob_f3_s91 )  + ( (1) ) * ( prob_f3_s92 )  + ( (1) ) * ( prob_f3_s93 )  + ( (1) ) * ( prob_f3_s94 ) );
PX_2_44 = (( (1) ) * ( prob_f3_s95 ));
PX_2_48 = (( 1 ) * ( prob_f3_s113 ));
PX_3_25 = ((1)); 
PX_4_26 = ((1)); 
PX_5_27 = ((1)); 
PX_6_28 = ((1)); 
PX_7_29 = ((1)); 
PX_8_30 = ((1)); 
PX_9_31 = ((1)); 
PX_10_32 = ((1)); 
PX_11_33 = ((1)); 
PX_12_34 = ((1)); 
PX_13_35 = ((1)); 
PX_14_36 = ((1)); 
PX_15_37 = ((1)); 
PX_16_38 = ((1)); 
PX_17_39 = ((1)); 
PX_18_40 = ((1)); 
PX_19_41 = ((1)); 
PX_20_17 = ((1)); 
PX_21_18 = ((1)); 
PX_22_19 = ((1)); 
PX_23_20 = ((1)); 
PX_24_21 = ((1)); 
PX_25_22 = ((1)); 
PX_26_23 = ((1)); 

Output_abstract_model =( (-1 * ((PX_1_45) * (PX_0_49*PX_2_43+PX_0_8+PX_0_6+PX_0_9+PX_0_5+PX_0_10+PX_0_4+PX_0_11+PX_0_3+PX_0_12+PX_0_2+PX_0_13+PX_0_1+PX_0_14+PX_0_51+PX_0_15+PX_0_7)))/(PX_0_49*PX_2_48+(-1))); 
