Min_number = ( 0 ) ; Max_number = ( 5 )
In original model number_of_states = ( 29 ); number_of_transition = ( 64 ) 

Original Transition
0 --- 1  -> (x)
0 --- 4  -> ((-1)*x+(1))
1 --- 26  -> (z11)/(z11+z12+z13)
1 --- 27  -> (z12)/(z11+z12+z13)
1 --- 28  -> (z13)/(z11+z12+z13)
2 --- 23  -> (z21)/(z21+z22+z23)
2 --- 24  -> (z22)/(z21+z22+z23)
2 --- 25  -> (z23)/(z21+z22+z23)
3 --- 20  -> (z31)/(z31+z32+z33)
3 --- 21  -> (z32)/(z31+z32+z33)
3 --- 22  -> (z33)/(z31+z32+z33)
4 --- 17  -> (z41)/(z41+z42+z43)
4 --- 18  -> (z42)/(z41+z42+z43)
4 --- 19  -> (z43)/(z41+z42+z43)
5 --- 14  -> (z51)/(z51+z52+z53)
5 --- 15  -> (z52)/(z51+z52+z53)
5 --- 16  -> (z53)/(z51+z52+z53)
6 --- 11  -> (z61)/(z61+z62+z63)
6 --- 12  -> (z62)/(z61+z62+z63)
6 --- 13  -> (z63)/(z61+z62+z63)
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 --- 0  -> (1)
11 --- 9  -> ((-1)*p61+(1))
11 --- 10  -> (p61)
12 --- 9  -> ((-1)*p62+(1))
12 --- 10  -> (p62)
13 --- 9  -> ((-1)*p63+(1))
13 --- 10  -> (p63)
14 --- 6  -> (p51)
14 --- 9  -> ((-1)*p51+(1))
15 --- 6  -> (p52)
15 --- 9  -> ((-1)*p52+(1))
16 --- 6  -> (p53)
16 --- 9  -> ((-1)*p53+(1))
17 --- 8  -> (p41)
17 --- 9  -> ((-1)*p41+(1))
18 --- 8  -> (p42)
18 --- 9  -> ((-1)*p42+(1))
19 --- 8  -> (p43)
19 --- 9  -> ((-1)*p43+(1))
20 --- 6  -> (p31)
20 --- 9  -> ((-1)*p31+(1))
21 --- 6  -> (p32)
21 --- 9  -> ((-1)*p32+(1))
22 --- 6  -> (p33)
22 --- 9  -> ((-1)*p33+(1))
23 --- 7  -> (p21)
23 --- 9  -> ((-1)*p21+(1))
24 --- 7  -> (p22)
24 --- 9  -> ((-1)*p22+(1))
25 --- 7  -> (p23)
25 --- 9  -> ((-1)*p23+(1))
26 --- 2  -> (p11)
26 --- 9  -> ((-1)*p11+(1))
27 --- 2  -> (p12)
27 --- 9  -> ((-1)*p12+(1))
28 --- 2  -> (p13)
28 --- 9  -> ((-1)*p13+(1))


In New Model number of states = ( 45 ); number of transition = ( 84 ) 

New transition
0 --- 1  -> (x)
0 --- 4  -> ((-1)*x+(1))
1 --- 26  -> (z11)/(z11+z12+z13)
1 --- 27  -> (z12)/(z11+z12+z13)
1 --- 28  -> (z13)/(z11+z12+z13)
2 --- 23  -> (z21)/(z21+z22+z23)
2 --- 24  -> (z22)/(z21+z22+z23)
2 --- 25  -> (z23)/(z21+z22+z23)
3 --- 20  -> (z31)/(z31+z32+z33)
3 --- 21  -> (z32)/(z31+z32+z33)
3 --- 22  -> (z33)/(z31+z32+z33)
4 --- 17  -> (z41)/(z41+z42+z43)
4 --- 18  -> (z42)/(z41+z42+z43)
4 --- 19  -> (z43)/(z41+z42+z43)
5 --- 14  -> (z51)/(z51+z52+z53)
5 --- 15  -> (z52)/(z51+z52+z53)
5 --- 16  -> (z53)/(z51+z52+z53)
6 --- 11  -> (z61)/(z61+z62+z63)
6 --- 12  -> (z62)/(z61+z62+z63)
6 --- 13  -> (z63)/(z61+z62+z63)
7 --- 1  -> (y2)
7 --- 3  -> ((-1)*y1-y2+(1))
7 --- 5  -> (y1)
9 --- 9  -> (1)
10 --- 0  -> (1)
42 --- 9  -> ((-1)*p61+(1))
42 --- 10  -> (p61)
43 --- 9  -> ((-1)*p62+(1))
43 --- 10  -> (p62)
44 --- 9  -> ((-1)*p63+(1))
44 --- 10  -> (p63)
14 --- 6  -> (p51)
14 --- 9  -> ((-1)*p51+(1))
15 --- 6  -> (p52)
15 --- 9  -> ((-1)*p52+(1))
16 --- 6  -> (p53)
16 --- 9  -> ((-1)*p53+(1))
17 --- 8  -> (p41)
17 --- 9  -> ((-1)*p41+(1))
18 --- 8  -> (p42)
18 --- 9  -> ((-1)*p42+(1))
19 --- 8  -> (p43)
19 --- 9  -> ((-1)*p43+(1))
20 --- 6  -> (p31)
20 --- 9  -> ((-1)*p31+(1))
21 --- 6  -> (p32)
21 --- 9  -> ((-1)*p32+(1))
22 --- 6  -> (p33)
22 --- 9  -> ((-1)*p33+(1))
23 --- 7  -> (p21)
24 --- 7  -> (p22)
25 --- 7  -> (p23)
26 --- 2  -> (p11)
27 --- 2  -> (p12)
28 --- 2  -> (p13)
24 --- 29  -> ((-1)*p22+(1))
29 --- 9  -> 1
25 --- 30  -> ((-1)*p23+(1))
30 --- 9  -> 1
23 --- 31  -> ((-1)*p21+(1))
31 --- 9  -> 1
26 --- 32  -> ((-1)*p11+(1))
32 --- 9  -> 1
27 --- 33  -> ((-1)*p12+(1))
33 --- 9  -> 1
28 --- 34  -> ((-1)*p13+(1))
34 --- 9  -> 1
8 --- 35  -> (z2)
35 --- 0  -> 1
8 --- 36  -> ( ((-1)*z1-z2+(1)) ) * ( (z41)/(z41+z42+z43) )
36 --- 17  -> 1
8 --- 37  -> ( ((-1)*z1-z2+(1)) ) * ( (z42)/(z41+z42+z43) )
37 --- 18  -> 1
8 --- 38  -> ( ((-1)*z1-z2+(1)) ) * ( (z43)/(z41+z42+z43) )
38 --- 19  -> 1
8 --- 39  -> ( (z1) ) * ( (z51)/(z51+z52+z53) )
39 --- 14  -> 1
8 --- 40  -> ( (z1) ) * ( (z52)/(z51+z52+z53) )
40 --- 15  -> 1
8 --- 41  -> ( (z1) ) * ( (z53)/(z51+z52+z53) )
41 --- 16  -> 1
11 --- 42  -> 1
12 --- 43  -> 1
13 --- 44  -> 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          4          true        true          false
   9          8          true        true          true
   10          9          true        true          true
   11          2          true        false          false
   12          2          true        false          false
   13          2          true        false          false
   14          10          true        true          true
   15          11          true        true          true
   16          12          true        true          true
   17          13          true        true          true
   18          14          true        true          true
   19          15          true        true          true
   20          5          true        true          true
   21          6          true        true          true
   22          7          true        true          true
   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          true
   30          1          true        false          true
   31          1          true        false          true
   32          1          true        false          true
   33          1          true        false          true
   34          1          true        false          true
   35          4          true        false          true
   36          4          true        false          true
   37          4          true        false          true
   38          4          true        false          true
   39          4          true        false          true
   40          4          true        false          true
   41          4          true        false          true
   42          2          true        false          true
   43          2          true        false          true
   44          2          true        false          true

This is transition in Fragment (1) 
    [0, 1]  (x)
    [0, 4]  ((-1)*x+(1))
    [1, 26]  (z11)/(z11+z12+z13)
    [1, 27]  (z12)/(z11+z12+z13)
    [1, 28]  (z13)/(z11+z12+z13)
    [2, 23]  (z21)/(z21+z22+z23)
    [2, 24]  (z22)/(z21+z22+z23)
    [2, 25]  (z23)/(z21+z22+z23)
    [7, 1]  (y2)
    [7, 3]  ((-1)*y1-y2+(1))
    [7, 5]  (y1)
    [23, 7]  (p21)
    [24, 7]  (p22)
    [25, 7]  (p23)
    [26, 2]  (p11)
    [27, 2]  (p12)
    [28, 2]  (p13)
    [24, 29]  ((-1)*p22+(1))
    [25, 30]  ((-1)*p23+(1))
    [23, 31]  ((-1)*p21+(1))
    [26, 32]  ((-1)*p11+(1))
    [27, 33]  ((-1)*p12+(1))
    [28, 34]  ((-1)*p13+(1))
    [3, 3]  1
    [4, 4]  1
    [5, 5]  1
    [29, 29]  1
    [30, 30]  1
    [31, 31]  1
    [32, 32]  1
    [33, 33]  1
    [34, 34]  1

This is transition in Fragment (2) 
    [6, 11]  (z61)/(z61+z62+z63)
    [6, 12]  (z62)/(z61+z62+z63)
    [6, 13]  (z63)/(z61+z62+z63)
    [11, 42]  1
    [12, 43]  1
    [13, 44]  1
    [42, 42]  1
    [43, 43]  1
    [44, 44]  1

This is transition in Fragment (3) 

This is transition in Fragment (4) 
    [8, 35]  (z2)
    [8, 36]  ( ((-1)*z1-z2+(1)) ) * ( (z41)/(z41+z42+z43) )
    [8, 37]  ( ((-1)*z1-z2+(1)) ) * ( (z42)/(z41+z42+z43) )
    [8, 38]  ( ((-1)*z1-z2+(1)) ) * ( (z43)/(z41+z42+z43) )
    [8, 39]  ( (z1) ) * ( (z51)/(z51+z52+z53) )
    [8, 40]  ( (z1) ) * ( (z52)/(z51+z52+z53) )
    [8, 41]  ( (z1) ) * ( (z53)/(z51+z52+z53) )
    [35, 35]  1
    [36, 36]  1
    [37, 37]  1
    [38, 38]  1
    [39, 39]  1
    [40, 40]  1
    [41, 41]  1

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

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

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

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

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

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

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

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

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

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

This is transition for abstract model 
    [3, 20]  ( (z31)/(z31+z32+z33) ) * ( prob_f1_s3 )
    [3, 21]  ( (z32)/(z31+z32+z33) ) * ( prob_f1_s3 )
    [3, 22]  ( (z33)/(z31+z32+z33) ) * ( prob_f1_s3 )
    [4, 17]  ( (z41)/(z41+z42+z43) ) * ( prob_f1_s4 )
    [4, 18]  ( (z42)/(z41+z42+z43) ) * ( prob_f1_s4 )
    [4, 19]  ( (z43)/(z41+z42+z43) ) * ( prob_f1_s4 )
    [5, 14]  ( (z51)/(z51+z52+z53) ) * ( prob_f1_s5 )
    [5, 15]  ( (z52)/(z51+z52+z53) ) * ( prob_f1_s5 )
    [5, 16]  ( (z53)/(z51+z52+z53) ) * ( prob_f1_s5 )
    [9, 9]  (1)
    [10, 0]  (1)
    [42, 9]  ( ((-1)*p61+(1)) ) * ( prob_f2_s42 )
    [42, 10]  ( (p61) ) * ( prob_f2_s42 )
    [43, 9]  ( ((-1)*p62+(1)) ) * ( prob_f2_s43 )
    [43, 10]  ( (p62) ) * ( prob_f2_s43 )
    [44, 9]  ( ((-1)*p63+(1)) ) * ( prob_f2_s44 )
    [44, 10]  ( (p63) ) * ( prob_f2_s44 )
    [14, 6]  (p51)
    [14, 9]  ((-1)*p51+(1))
    [15, 6]  (p52)
    [15, 9]  ((-1)*p52+(1))
    [16, 6]  (p53)
    [16, 9]  ((-1)*p53+(1))
    [17, 8]  (p41)
    [17, 9]  ((-1)*p41+(1))
    [18, 8]  (p42)
    [18, 9]  ((-1)*p42+(1))
    [19, 8]  (p43)
    [19, 9]  ((-1)*p43+(1))
    [20, 6]  (p31)
    [20, 9]  ((-1)*p31+(1))
    [21, 6]  (p32)
    [21, 9]  ((-1)*p32+(1))
    [22, 6]  (p33)
    [22, 9]  ((-1)*p33+(1))
    [29, 9]  ( 1 ) * ( prob_f1_s29 )
    [30, 9]  ( 1 ) * ( prob_f1_s30 )
    [31, 9]  ( 1 ) * ( prob_f1_s31 )
    [32, 9]  ( 1 ) * ( prob_f1_s32 )
    [33, 9]  ( 1 ) * ( prob_f1_s33 )
    [34, 9]  ( 1 ) * ( prob_f1_s34 )
    [35, 0]  ( 1 ) * ( prob_f4_s35 )
    [36, 17]  ( 1 ) * ( prob_f4_s36 )
    [37, 18]  ( 1 ) * ( prob_f4_s37 )
    [38, 19]  ( 1 ) * ( prob_f4_s38 )
    [39, 14]  ( 1 ) * ( prob_f4_s39 )
    [40, 15]  ( 1 ) * ( prob_f4_s40 )
    [41, 16]  ( 1 ) * ( prob_f4_s41 )
****************************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 = ((z11)/(z11+z12+z13)); 
P1_1_4 = ((z12)/(z11+z12+z13)); 
P1_1_5 = ((z13)/(z11+z12+z13)); 
P1_2_6 = ((z21)/(z21+z22+z23)); 
P1_2_7 = ((z22)/(z21+z22+z23)); 
P1_2_8 = ((z23)/(z21+z22+z23)); 
P1_7_9 = ((y2)); 
P1_7_10 = (((-1)*y1-y2+(1))); 
P1_7_11 = ((y1)); 
P1_23_12 = ((p21)); 
P1_23_20 = (((-1)*p21+(1))); 
P1_24_13 = ((p22)); 
P1_24_18 = (((-1)*p22+(1))); 
P1_25_14 = ((p23)); 
P1_25_19 = (((-1)*p23+(1))); 
P1_26_15 = ((p11)); 
P1_26_21 = (((-1)*p11+(1))); 
P1_27_16 = ((p12)); 
P1_27_22 = (((-1)*p12+(1))); 
P1_28_17 = ((p13)); 
P1_28_23 = (((-1)*p13+(1))); 

prob_f1_s3  =( (-1 * ((P1_0_1) * (P1_1_5*P1_28_17*P1_2_8*P1_25_14*P1_7_10+P1_1_5*P1_28_17*P1_2_7*P1_24_13*P1_7_10+P1_1_4*P1_27_16*P1_2_8*P1_25_14*P1_7_10+P1_1_3*P1_26_15*P1_2_6*P1_23_12*P1_7_10+P1_1_3*P1_26_15*P1_2_7*P1_24_13*P1_7_10+P1_1_4*P1_27_16*P1_2_6*P1_23_12*P1_7_10+P1_1_4*P1_27_16*P1_2_7*P1_24_13*P1_7_10+P1_1_3*P1_26_15*P1_2_8*P1_25_14*P1_7_10+P1_1_5*P1_28_17*P1_2_6*P1_23_12*P1_7_10)))/(P1_1_5*P1_28_17*P1_2_8*P1_25_14*P1_7_9+P1_1_4*P1_27_16*P1_2_8*P1_25_14*P1_7_9+P1_1_3*P1_26_15*P1_2_8*P1_25_14*P1_7_9+P1_1_5*P1_28_17*P1_2_7*P1_24_13*P1_7_9+P1_1_4*P1_27_16*P1_2_7*P1_24_13*P1_7_9+P1_1_3*P1_26_15*P1_2_7*P1_24_13*P1_7_9+P1_1_5*P1_28_17*P1_2_6*P1_23_12*P1_7_9+P1_1_4*P1_27_16*P1_2_6*P1_23_12*P1_7_9+P1_1_3*P1_26_15*P1_2_6*P1_23_12*P1_7_9+(-1))); 
prob_f1_s4  =( (P1_0_2)/(1)); 
prob_f1_s5  =( (-1 * ((P1_0_1) * (P1_1_5*P1_28_17*P1_2_8*P1_25_14*P1_7_11+P1_1_5*P1_28_17*P1_2_7*P1_24_13*P1_7_11+P1_1_4*P1_27_16*P1_2_8*P1_25_14*P1_7_11+P1_1_3*P1_26_15*P1_2_6*P1_23_12*P1_7_11+P1_1_3*P1_26_15*P1_2_7*P1_24_13*P1_7_11+P1_1_4*P1_27_16*P1_2_6*P1_23_12*P1_7_11+P1_1_4*P1_27_16*P1_2_7*P1_24_13*P1_7_11+P1_1_3*P1_26_15*P1_2_8*P1_25_14*P1_7_11+P1_1_5*P1_28_17*P1_2_6*P1_23_12*P1_7_11)))/(P1_1_5*P1_28_17*P1_2_8*P1_25_14*P1_7_9+P1_1_4*P1_27_16*P1_2_8*P1_25_14*P1_7_9+P1_1_3*P1_26_15*P1_2_8*P1_25_14*P1_7_9+P1_1_5*P1_28_17*P1_2_7*P1_24_13*P1_7_9+P1_1_4*P1_27_16*P1_2_7*P1_24_13*P1_7_9+P1_1_3*P1_26_15*P1_2_7*P1_24_13*P1_7_9+P1_1_5*P1_28_17*P1_2_6*P1_23_12*P1_7_9+P1_1_4*P1_27_16*P1_2_6*P1_23_12*P1_7_9+P1_1_3*P1_26_15*P1_2_6*P1_23_12*P1_7_9+(-1))); 
prob_f1_s29  =( (-1 * ((P1_0_1) * (P1_1_5*P1_28_17*P1_2_7*P1_24_18+P1_1_3*P1_26_15*P1_2_7*P1_24_18+P1_1_4*P1_27_16*P1_2_7*P1_24_18)))/(P1_1_5*P1_28_17*P1_2_8*P1_25_14*P1_7_9+P1_1_5*P1_28_17*P1_2_7*P1_24_13*P1_7_9+P1_1_5*P1_28_17*P1_2_6*P1_23_12*P1_7_9+P1_1_4*P1_27_16*P1_2_8*P1_25_14*P1_7_9+P1_1_4*P1_27_16*P1_2_7*P1_24_13*P1_7_9+P1_1_4*P1_27_16*P1_2_6*P1_23_12*P1_7_9+P1_1_3*P1_26_15*P1_2_8*P1_25_14*P1_7_9+P1_1_3*P1_26_15*P1_2_7*P1_24_13*P1_7_9+P1_1_3*P1_26_15*P1_2_6*P1_23_12*P1_7_9+(-1))); 
prob_f1_s30  =( (-1 * ((P1_0_1) * (P1_1_5*P1_28_17*P1_2_8*P1_25_19+P1_1_3*P1_26_15*P1_2_8*P1_25_19+P1_1_4*P1_27_16*P1_2_8*P1_25_19)))/(P1_1_5*P1_28_17*P1_2_8*P1_25_14*P1_7_9+P1_1_4*P1_27_16*P1_2_8*P1_25_14*P1_7_9+P1_1_3*P1_26_15*P1_2_8*P1_25_14*P1_7_9+P1_1_5*P1_28_17*P1_2_7*P1_24_13*P1_7_9+P1_1_4*P1_27_16*P1_2_7*P1_24_13*P1_7_9+P1_1_3*P1_26_15*P1_2_7*P1_24_13*P1_7_9+P1_1_5*P1_28_17*P1_2_6*P1_23_12*P1_7_9+P1_1_4*P1_27_16*P1_2_6*P1_23_12*P1_7_9+P1_1_3*P1_26_15*P1_2_6*P1_23_12*P1_7_9+(-1))); 
prob_f1_s31  =( (-1 * ((P1_0_1) * (P1_1_5*P1_28_17*P1_2_6*P1_23_20+P1_1_3*P1_26_15*P1_2_6*P1_23_20+P1_1_4*P1_27_16*P1_2_6*P1_23_20)))/(P1_1_5*P1_28_17*P1_2_8*P1_25_14*P1_7_9+P1_1_5*P1_28_17*P1_2_7*P1_24_13*P1_7_9+P1_1_5*P1_28_17*P1_2_6*P1_23_12*P1_7_9+P1_1_4*P1_27_16*P1_2_8*P1_25_14*P1_7_9+P1_1_4*P1_27_16*P1_2_7*P1_24_13*P1_7_9+P1_1_4*P1_27_16*P1_2_6*P1_23_12*P1_7_9+P1_1_3*P1_26_15*P1_2_8*P1_25_14*P1_7_9+P1_1_3*P1_26_15*P1_2_7*P1_24_13*P1_7_9+P1_1_3*P1_26_15*P1_2_6*P1_23_12*P1_7_9+(-1))); 
prob_f1_s32  =( (-1 * ((P1_0_1) * (P1_1_3*P1_26_21)))/(P1_1_5*P1_28_17*P1_2_8*P1_25_14*P1_7_9+P1_1_5*P1_28_17*P1_2_7*P1_24_13*P1_7_9+P1_1_5*P1_28_17*P1_2_6*P1_23_12*P1_7_9+P1_1_4*P1_27_16*P1_2_8*P1_25_14*P1_7_9+P1_1_4*P1_27_16*P1_2_7*P1_24_13*P1_7_9+P1_1_4*P1_27_16*P1_2_6*P1_23_12*P1_7_9+P1_1_3*P1_26_15*P1_2_8*P1_25_14*P1_7_9+P1_1_3*P1_26_15*P1_2_7*P1_24_13*P1_7_9+P1_1_3*P1_26_15*P1_2_6*P1_23_12*P1_7_9+(-1))); 
prob_f1_s33  =( (-1 * ((P1_0_1) * (P1_1_4*P1_27_22)))/(P1_1_5*P1_28_17*P1_2_8*P1_25_14*P1_7_9+P1_1_5*P1_28_17*P1_2_7*P1_24_13*P1_7_9+P1_1_5*P1_28_17*P1_2_6*P1_23_12*P1_7_9+P1_1_4*P1_27_16*P1_2_8*P1_25_14*P1_7_9+P1_1_4*P1_27_16*P1_2_7*P1_24_13*P1_7_9+P1_1_4*P1_27_16*P1_2_6*P1_23_12*P1_7_9+P1_1_3*P1_26_15*P1_2_8*P1_25_14*P1_7_9+P1_1_3*P1_26_15*P1_2_7*P1_24_13*P1_7_9+P1_1_3*P1_26_15*P1_2_6*P1_23_12*P1_7_9+(-1))); 
prob_f1_s34  =( (-1 * ((P1_0_1) * (P1_1_5*P1_28_23)))/(P1_1_5*P1_28_17*P1_2_8*P1_25_14*P1_7_9+P1_1_4*P1_27_16*P1_2_8*P1_25_14*P1_7_9+P1_1_3*P1_26_15*P1_2_8*P1_25_14*P1_7_9+P1_1_5*P1_28_17*P1_2_7*P1_24_13*P1_7_9+P1_1_4*P1_27_16*P1_2_7*P1_24_13*P1_7_9+P1_1_3*P1_26_15*P1_2_7*P1_24_13*P1_7_9+P1_1_5*P1_28_17*P1_2_6*P1_23_12*P1_7_9+P1_1_4*P1_27_16*P1_2_6*P1_23_12*P1_7_9+P1_1_3*P1_26_15*P1_2_6*P1_23_12*P1_7_9+(-1))); 
P1_0_1 = ((x)); 
P1_0_2 = (((-1)*x+(1))); 
P1_1_3 = ((z11)/(z11+z12+z13)); 
P1_1_4 = ((z12)/(z11+z12+z13)); 
P1_1_5 = ((z13)/(z11+z12+z13)); 
P1_2_6 = ((z21)/(z21+z22+z23)); 
P1_2_7 = ((z22)/(z21+z22+z23)); 
P1_2_8 = ((z23)/(z21+z22+z23)); 
P1_7_9 = ((y2)); 
P1_7_10 = (((-1)*y1-y2+(1))); 
P1_7_11 = ((y1)); 
P1_23_12 = ((p21)); 
P1_23_20 = (((-1)*p21+(1))); 
P1_24_13 = ((p22)); 
P1_24_18 = (((-1)*p22+(1))); 
P1_25_14 = ((p23)); 
P1_25_19 = (((-1)*p23+(1))); 
P1_26_15 = ((p11)); 
P1_26_21 = (((-1)*p11+(1))); 
P1_27_16 = ((p12)); 
P1_27_22 = (((-1)*p12+(1))); 
P1_28_17 = ((p13)); 
P1_28_23 = (((-1)*p13+(1))); 

ab0 =( (-1 * ((P1_0_1) * (P1_1_5*P1_28_17*P1_2_8*c23+P1_1_5*c13+P1_1_3*P1_26_15*P1_2_8*c23+P1_1_5*P1_28_17*P1_2_6*c21+P1_1_5*P1_28_17*P1_2_7*c22+P1_1_3*c11+P1_1_4*P1_27_16*P1_2_6*c21+P1_1_4*P1_27_16*P1_2_7*c22+P1_1_4*P1_27_16*P1_2_8*c23+P1_1_3*P1_26_15*P1_2_6*c21+P1_1_4*c12+P1_1_3*P1_26_15*P1_2_7*c22)))/(P1_1_5*P1_28_17*P1_2_8*P1_25_14*P1_7_9+P1_1_4*P1_27_16*P1_2_8*P1_25_14*P1_7_9+P1_1_3*P1_26_15*P1_2_8*P1_25_14*P1_7_9+P1_1_5*P1_28_17*P1_2_7*P1_24_13*P1_7_9+P1_1_4*P1_27_16*P1_2_7*P1_24_13*P1_7_9+P1_1_3*P1_26_15*P1_2_7*P1_24_13*P1_7_9+P1_1_5*P1_28_17*P1_2_6*P1_23_12*P1_7_9+P1_1_4*P1_27_16*P1_2_6*P1_23_12*P1_7_9+P1_1_3*P1_26_15*P1_2_6*P1_23_12*P1_7_9+(-1))); 
P2_6_1 = ((z61)/(z61+z62+z63)); 
P2_6_2 = ((z62)/(z61+z62+z63)); 
P2_6_3 = ((z63)/(z61+z62+z63)); 
P2_11_4 = (1); 
P2_12_5 = (1); 
P2_13_6 = (1); 

prob_f2_s42  =( (P2_6_1)/(1)); 
prob_f2_s43  =( (P2_6_2)/(1)); 
prob_f2_s44  =( (P2_6_3)/(1)); 
P2_6_1 = ((z61)/(z61+z62+z63)); 
P2_6_2 = ((z62)/(z61+z62+z63)); 
P2_6_3 = ((z63)/(z61+z62+z63)); 
P2_11_4 = (1); 
P2_12_5 = (1); 
P2_13_6 = (1); 

ab1 =( (P2_6_3*c63+P2_6_1*c61+P2_6_2*c62)/(1)); 
P4_8_1 = ((z2)); 
P4_8_2 = (( ((-1)*z1-z2+(1)) ) * ( (z41)/(z41+z42+z43) )); 
P4_8_3 = (( ((-1)*z1-z2+(1)) ) * ( (z42)/(z41+z42+z43) )); 
P4_8_4 = (( ((-1)*z1-z2+(1)) ) * ( (z43)/(z41+z42+z43) )); 
P4_8_5 = (( (z1) ) * ( (z51)/(z51+z52+z53) )); 
P4_8_6 = (( (z1) ) * ( (z52)/(z51+z52+z53) )); 
P4_8_7 = (( (z1) ) * ( (z53)/(z51+z52+z53) )); 

prob_f4_s35  =( (P4_8_1)/(1)); 
prob_f4_s36  =( (P4_8_2)/(1)); 
prob_f4_s37  =( (P4_8_3)/(1)); 
prob_f4_s38  =( (P4_8_4)/(1)); 
prob_f4_s39  =( (P4_8_5)/(1)); 
prob_f4_s40  =( (P4_8_6)/(1)); 
prob_f4_s41  =( (P4_8_7)/(1)); 
P4_8_1 = ((z2)); 
P4_8_2 = (( ((-1)*z1-z2+(1)) ) * ( (z41)/(z41+z42+z43) )); 
P4_8_3 = (( ((-1)*z1-z2+(1)) ) * ( (z42)/(z41+z42+z43) )); 
P4_8_4 = (( ((-1)*z1-z2+(1)) ) * ( (z43)/(z41+z42+z43) )); 
P4_8_5 = (( (z1) ) * ( (z51)/(z51+z52+z53) )); 
P4_8_6 = (( (z1) ) * ( (z52)/(z51+z52+z53) )); 
P4_8_7 = (( (z1) ) * ( (z53)/(z51+z52+z53) )); 

ab3 =( 0); 
PX_0_1 = (( (z31)/(z31+z32+z33) ) * ( prob_f1_s3 )); 
PX_0_2 = (( (z32)/(z31+z32+z33) ) * ( prob_f1_s3 ));
PX_0_3 = (( (z33)/(z31+z32+z33) ) * ( prob_f1_s3 ));
PX_0_4 = (( (z41)/(z41+z42+z43) ) * ( prob_f1_s4 ));
PX_0_5 = (( (z42)/(z41+z42+z43) ) * ( prob_f1_s4 ));
PX_0_6 = (( (z43)/(z41+z42+z43) ) * ( prob_f1_s4 ));
PX_0_7 = (( (z51)/(z51+z52+z53) ) * ( prob_f1_s5 ));
PX_0_8 = (( (z52)/(z51+z52+z53) ) * ( prob_f1_s5 ));
PX_0_9 = (( (z53)/(z51+z52+z53) ) * ( prob_f1_s5 ));
PX_0_32 = (     ( 1 ) * ( prob_f1_s29 ) + ( 1 ) * ( prob_f1_s30 )  + ( 1 ) * ( prob_f1_s31 )  + ( 1 ) * ( prob_f1_s32 )  + ( 1 ) * ( prob_f1_s33 )  + ( 1 ) * ( prob_f1_s34 ) );
PX_1_12 = (  ( ((-1)*p61+(1)) ) * ( prob_f2_s42 ) + ( ((-1)*p62+(1)) ) * ( prob_f2_s43 )  + ( ((-1)*p63+(1)) ) * ( prob_f2_s44 ) ); 
PX_1_13 = (  ( (p61) ) * ( prob_f2_s42 ) + ( (p62) ) * ( prob_f2_s43 )  + ( (p63) ) * ( prob_f2_s44 ) );
PX_3_33 = (( 1 ) * ( prob_f4_s35 )); 
PX_3_34 = (( 1 ) * ( prob_f4_s36 ));
PX_3_35 = (( 1 ) * ( prob_f4_s37 ));
PX_3_36 = (( 1 ) * ( prob_f4_s38 ));
PX_3_37 = (( 1 ) * ( prob_f4_s39 ));
PX_3_38 = (( 1 ) * ( prob_f4_s40 ));
PX_3_39 = (( 1 ) * ( prob_f4_s41 ));
PX_4_26 = ((p31)); 
PX_4_27 = (((-1)*p31+(1)));
PX_5_28 = ((p32)); 
PX_5_29 = (((-1)*p32+(1)));
PX_6_30 = ((p33)); 
PX_6_31 = (((-1)*p33+(1)));
PX_7_10 = ((1)); 
PX_8_11 = ((1)); 
PX_9_14 = ((p51)); 
PX_9_15 = (((-1)*p51+(1)));
PX_10_16 = ((p52)); 
PX_10_17 = (((-1)*p52+(1)));
PX_11_18 = ((p53)); 
PX_11_19 = (((-1)*p53+(1)));
PX_12_20 = ((p41)); 
PX_12_21 = (((-1)*p41+(1)));
PX_13_22 = ((p42)); 
PX_13_23 = (((-1)*p42+(1)));
PX_14_24 = ((p43)); 
PX_14_25 = (((-1)*p43+(1)));

Output_abstract_model =( (PX_0_9*PX_14_24*PX_11_18*ab1*PX_3_36+(-1)*PX_0_7*PX_9_14*ab1+(-1)*PX_0_8*PX_10_16*ab1+(-1)*PX_0_9*PX_11_18*ab1+PX_0_9*PX_13_22*c53*PX_3_35+PX_0_8*PX_13_22*c52*PX_3_35+PX_0_7*PX_13_22*c51*PX_3_35+PX_0_3*c33*PX_13_22*PX_3_35+PX_0_2*c32*PX_13_22*PX_3_35+PX_0_1*c31*PX_13_22*PX_3_35+ab0*PX_13_22*PX_3_35+PX_0_1*PX_4_26*PX_13_22*ab1*PX_3_35+PX_0_2*PX_5_28*PX_13_22*ab1*PX_3_35+PX_0_3*PX_6_30*PX_13_22*ab1*PX_3_35+PX_0_7*PX_13_22*PX_9_14*ab1*PX_3_35+PX_0_8*PX_13_22*PX_10_16*ab1*PX_3_35+PX_0_9*PX_13_22*PX_11_18*ab1*PX_3_35+PX_0_9*PX_12_20*c53*PX_3_34+PX_0_8*PX_12_20*c52*PX_3_34+PX_0_7*PX_12_20*c51*PX_3_34+PX_0_3*c33*PX_12_20*PX_3_34+PX_0_2*c32*PX_12_20*PX_3_34+PX_0_1*c31*PX_12_20*PX_3_34+ab0*PX_12_20*PX_3_34+PX_0_1*PX_4_26*PX_12_20*ab1*PX_3_34+PX_0_2*PX_5_28*PX_12_20*ab1*PX_3_34+PX_0_3*PX_6_30*PX_12_20*ab1*PX_3_34+PX_0_7*PX_12_20*PX_9_14*ab1*PX_3_34+PX_0_8*PX_12_20*PX_10_16*ab1*PX_3_34+PX_0_9*PX_12_20*PX_11_18*ab1*PX_3_34+(-1)*PX_0_2*PX_5_28*ab1+(-1)*PX_0_1*PX_4_26*ab1+(-1)*ab0+(-1)*PX_0_1*c31+(-1)*PX_0_2*c32+(-1)*PX_0_3*c33+(-1)*PX_0_4*PX_12_20*c52*PX_3_38+(-1)*PX_0_4*PX_12_20*c51*PX_3_37+(-1)*PX_0_4*PX_12_20*PX_9_14*ab1*PX_3_37+(-1)*PX_0_4*PX_12_20*PX_10_16*ab1*PX_3_38+(-1)*PX_0_4*PX_12_20*PX_11_18*ab1*PX_3_39+(-1)*PX_0_4*PX_12_20*c42*PX_3_35+(-1)*PX_0_7*c51+(-1)*PX_0_8*c52+(-1)*PX_0_4*PX_12_20*c43*PX_3_36+(-1)*PX_0_5*PX_13_22*c52*PX_3_38+(-1)*PX_0_5*PX_13_22*c51*PX_3_37+(-1)*PX_0_5*PX_13_22*PX_9_14*ab1*PX_3_37+(-1)*PX_0_5*PX_13_22*PX_10_16*ab1*PX_3_38+(-1)*PX_0_5*PX_13_22*PX_11_18*ab1*PX_3_39+(-1)*PX_0_5*c41*PX_13_22*PX_3_34+(-1)*PX_0_5*PX_13_22*c43*PX_3_36+(-1)*PX_0_5*PX_13_22*c53*PX_3_39+PX_0_5*PX_12_20*c42*PX_3_34+PX_0_4*c41*PX_13_22*PX_3_35+(-1)*PX_0_6*PX_14_24*c53*PX_3_39+PX_0_9*PX_14_24*c53*PX_3_36+PX_0_8*PX_14_24*c52*PX_3_36+PX_0_7*PX_14_24*c51*PX_3_36+PX_0_3*c33*PX_14_24*PX_3_36+PX_0_2*c32*PX_14_24*PX_3_36+PX_0_1*c31*PX_14_24*PX_3_36+ab0*PX_14_24*PX_3_36+PX_0_1*PX_4_26*PX_14_24*ab1*PX_3_36+PX_0_2*PX_5_28*PX_14_24*ab1*PX_3_36+PX_0_3*PX_6_30*PX_14_24*ab1*PX_3_36+PX_0_7*PX_14_24*PX_9_14*ab1*PX_3_36+PX_0_8*PX_14_24*PX_10_16*ab1*PX_3_36+(-1)*PX_0_3*PX_6_30*ab1+(-1)*PX_0_6*PX_14_24*c52*PX_3_38+(-1)*PX_0_6*PX_14_24*c51*PX_3_37+(-1)*PX_0_6*PX_14_24*PX_9_14*ab1*PX_3_37+(-1)*PX_0_6*PX_14_24*PX_10_16*ab1*PX_3_38+(-1)*PX_0_6*PX_14_24*PX_11_18*ab1*PX_3_39+(-1)*PX_0_6*c41*PX_14_24*PX_3_34+(-1)*PX_0_6*c42*PX_14_24*PX_3_35+PX_0_6*PX_13_22*c43*PX_3_35+PX_0_6*PX_12_20*c43*PX_3_34+(-1)*PX_0_4*PX_12_20*c53*PX_3_39+PX_0_5*c42*PX_14_24*PX_3_36+PX_0_4*c41*PX_14_24*PX_3_36+(-1)*PX_0_9*c53+(-1)*PX_0_6*c43+(-1)*PX_0_5*c42+(-1)*PX_0_4*c41)/(PX_0_6*PX_14_24*PX_3_33+PX_14_24*PX_3_36+PX_0_5*PX_13_22*PX_3_33+PX_0_4*PX_12_20*PX_3_33+PX_12_20*PX_3_34+PX_13_22*PX_3_35+(-1))); 
