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

Original Transition
0 --- 1  -> (x)
0 --- 4  -> ((-1)*x+(1))
1 --- 16  -> (p13*p12*p11)
1 --- 17  -> ((-1)*p13*p12*p11+p12*p11)
1 --- 18  -> ((-1)*p13*p12*p11+p13*p11)
1 --- 19  -> (p13*p12*p11-p12*p11-p13*p11+p11)
1 --- 20  -> ((-1)*p13*p12*p11+p13*p12)
1 --- 21  -> (p13*p12*p11-p12*p11-p13*p12+p12)
1 --- 22  -> (p13*p12*p11-p13*p11-p13*p12+p13)
1 --- 23  -> ((-1)*p13*p12*p11+p12*p11+p13*p11+p13*p12-p11-p12-p13+(1))
2 --- 24  -> (p23*p22*p21)
2 --- 25  -> ((-1)*p23*p22*p21+p22*p21)
2 --- 26  -> ((-1)*p23*p22*p21+p23*p21)
2 --- 27  -> (p23*p22*p21-p22*p21-p23*p21+p21)
2 --- 28  -> ((-1)*p23*p22*p21+p23*p22)
2 --- 29  -> (p23*p22*p21-p22*p21-p23*p22+p22)
2 --- 30  -> (p23*p22*p21-p23*p21-p23*p22+p23)
2 --- 31  -> ((-1)*p23*p22*p21+p22*p21+p23*p21+p23*p22-p21-p22-p23+(1))
3 --- 32  -> (p33*p32*p31)
3 --- 33  -> ((-1)*p33*p32*p31+p32*p31)
3 --- 34  -> ((-1)*p33*p32*p31+p33*p31)
3 --- 35  -> (p33*p32*p31-p32*p31-p33*p31+p31)
3 --- 36  -> ((-1)*p33*p32*p31+p33*p32)
3 --- 37  -> (p33*p32*p31-p32*p31-p33*p32+p32)
3 --- 38  -> (p33*p32*p31-p33*p31-p33*p32+p33)
3 --- 39  -> ((-1)*p33*p32*p31+p32*p31+p33*p31+p33*p32-p31-p32-p33+(1))
4 --- 40  -> (p43*p42*p41)
4 --- 41  -> ((-1)*p43*p42*p41+p42*p41)
4 --- 42  -> ((-1)*p43*p42*p41+p43*p41)
4 --- 43  -> (p43*p42*p41-p42*p41-p43*p41+p41)
4 --- 44  -> ((-1)*p43*p42*p41+p43*p42)
4 --- 45  -> (p43*p42*p41-p42*p41-p43*p42+p42)
4 --- 46  -> (p43*p42*p41-p43*p41-p43*p42+p43)
4 --- 47  -> ((-1)*p43*p42*p41+p42*p41+p43*p41+p43*p42-p41-p42-p43+(1))
5 --- 48  -> (p53*p52*p51)
5 --- 49  -> ((-1)*p53*p52*p51+p52*p51)
5 --- 50  -> ((-1)*p53*p52*p51+p53*p51)
5 --- 51  -> (p53*p52*p51-p52*p51-p53*p51+p51)
5 --- 52  -> ((-1)*p53*p52*p51+p53*p52)
5 --- 53  -> (p53*p52*p51-p52*p51-p53*p52+p52)
5 --- 54  -> (p53*p52*p51-p53*p51-p53*p52+p53)
5 --- 55  -> ((-1)*p53*p52*p51+p52*p51+p53*p51+p53*p52-p51-p52-p53+(1))
6 --- 56  -> (p63*p62*p61)
6 --- 57  -> ((-1)*p63*p62*p61+p62*p61)
6 --- 58  -> ((-1)*p63*p62*p61+p63*p61)
6 --- 59  -> (p63*p62*p61-p62*p61-p63*p61+p61)
6 --- 60  -> ((-1)*p63*p62*p61+p63*p62)
6 --- 61  -> (p63*p62*p61-p62*p61-p63*p62+p62)
6 --- 62  -> (p63*p62*p61-p63*p61-p63*p62+p63)
6 --- 63  -> ((-1)*p63*p62*p61+p62*p61+p63*p61+p63*p62-p61-p62-p63+(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 --- 14  -> (1)
24 --- 7  -> (1)
25 --- 7  -> (1)
26 --- 7  -> (1)
27 --- 7  -> (1)
28 --- 7  -> (1)
29 --- 7  -> (1)
30 --- 7  -> (1)
31 --- 13  -> (1)
32 --- 6  -> (1)
33 --- 6  -> (1)
34 --- 6  -> (1)
35 --- 6  -> (1)
36 --- 6  -> (1)
37 --- 6  -> (1)
38 --- 6  -> (1)
39 --- 12  -> (1)
40 --- 8  -> (1)
41 --- 8  -> (1)
42 --- 8  -> (1)
43 --- 8  -> (1)
44 --- 8  -> (1)
45 --- 8  -> (1)
46 --- 8  -> (1)
47 --- 11  -> (1)
48 --- 6  -> (1)
49 --- 6  -> (1)
50 --- 6  -> (1)
51 --- 6  -> (1)
52 --- 6  -> (1)
53 --- 6  -> (1)
54 --- 6  -> (1)
55 --- 10  -> (1)
56 --- 15  -> (1)
57 --- 15  -> (1)
58 --- 15  -> (1)
59 --- 15  -> (1)
60 --- 15  -> (1)
61 --- 15  -> (1)
62 --- 15  -> (1)
63 --- 9  -> (1)


In New Model number of states = ( 69 ); number of transition = ( 116 ) 

New transition
0 --- 1  -> (x)
1 --- 16  -> (p13*p12*p11)
1 --- 17  -> ((-1)*p13*p12*p11+p12*p11)
1 --- 18  -> ((-1)*p13*p12*p11+p13*p11)
1 --- 19  -> (p13*p12*p11-p12*p11-p13*p11+p11)
1 --- 20  -> ((-1)*p13*p12*p11+p13*p12)
1 --- 21  -> (p13*p12*p11-p12*p11-p13*p12+p12)
1 --- 22  -> (p13*p12*p11-p13*p11-p13*p12+p13)
1 --- 23  -> ((-1)*p13*p12*p11+p12*p11+p13*p11+p13*p12-p11-p12-p13+(1))
2 --- 24  -> (p23*p22*p21)
2 --- 25  -> ((-1)*p23*p22*p21+p22*p21)
2 --- 26  -> ((-1)*p23*p22*p21+p23*p21)
2 --- 27  -> (p23*p22*p21-p22*p21-p23*p21+p21)
2 --- 28  -> ((-1)*p23*p22*p21+p23*p22)
2 --- 29  -> (p23*p22*p21-p22*p21-p23*p22+p22)
2 --- 30  -> (p23*p22*p21-p23*p21-p23*p22+p23)
68 --- 32  -> (p33*p32*p31)
68 --- 33  -> ((-1)*p33*p32*p31+p32*p31)
68 --- 34  -> ((-1)*p33*p32*p31+p33*p31)
68 --- 35  -> (p33*p32*p31-p32*p31-p33*p31+p31)
68 --- 36  -> ((-1)*p33*p32*p31+p33*p32)
68 --- 37  -> (p33*p32*p31-p32*p31-p33*p32+p32)
68 --- 38  -> (p33*p32*p31-p33*p31-p33*p32+p33)
68 --- 39  -> ((-1)*p33*p32*p31+p32*p31+p33*p31+p33*p32-p31-p32-p33+(1))
4 --- 40  -> (p43*p42*p41)
4 --- 41  -> ((-1)*p43*p42*p41+p42*p41)
4 --- 42  -> ((-1)*p43*p42*p41+p43*p41)
4 --- 43  -> (p43*p42*p41-p42*p41-p43*p41+p41)
4 --- 44  -> ((-1)*p43*p42*p41+p43*p42)
4 --- 45  -> (p43*p42*p41-p42*p41-p43*p42+p42)
4 --- 46  -> (p43*p42*p41-p43*p41-p43*p42+p43)
4 --- 47  -> ((-1)*p43*p42*p41+p42*p41+p43*p41+p43*p42-p41-p42-p43+(1))
5 --- 48  -> (p53*p52*p51)
5 --- 49  -> ((-1)*p53*p52*p51+p52*p51)
5 --- 50  -> ((-1)*p53*p52*p51+p53*p51)
5 --- 51  -> (p53*p52*p51-p52*p51-p53*p51+p51)
5 --- 52  -> ((-1)*p53*p52*p51+p53*p52)
5 --- 53  -> (p53*p52*p51-p52*p51-p53*p52+p52)
5 --- 54  -> (p53*p52*p51-p53*p51-p53*p52+p53)
5 --- 55  -> ((-1)*p53*p52*p51+p52*p51+p53*p51+p53*p52-p51-p52-p53+(1))
6 --- 56  -> (p63*p62*p61)
6 --- 57  -> ((-1)*p63*p62*p61+p62*p61)
6 --- 58  -> ((-1)*p63*p62*p61+p63*p61)
6 --- 59  -> (p63*p62*p61-p62*p61-p63*p61+p61)
6 --- 60  -> ((-1)*p63*p62*p61+p63*p62)
6 --- 61  -> (p63*p62*p61-p62*p61-p63*p62+p62)
6 --- 62  -> (p63*p62*p61-p63*p61-p63*p62+p63)
6 --- 63  -> ((-1)*p63*p62*p61+p62*p61+p63*p61+p63*p62-p61-p62-p63+(1))
7 --- 1  -> (y2)
7 --- 3  -> ((-1)*y1-y2+(1))
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 --- 14  -> (1)
24 --- 7  -> (1)
25 --- 7  -> (1)
26 --- 7  -> (1)
27 --- 7  -> (1)
28 --- 7  -> (1)
29 --- 7  -> (1)
30 --- 7  -> (1)
31 --- 13  -> (1)
32 --- 6  -> (1)
33 --- 6  -> (1)
34 --- 6  -> (1)
35 --- 6  -> (1)
36 --- 6  -> (1)
37 --- 6  -> (1)
38 --- 6  -> (1)
39 --- 12  -> (1)
40 --- 8  -> (1)
41 --- 8  -> (1)
42 --- 8  -> (1)
43 --- 8  -> (1)
44 --- 8  -> (1)
45 --- 8  -> (1)
46 --- 8  -> (1)
47 --- 11  -> (1)
48 --- 6  -> (1)
49 --- 6  -> (1)
50 --- 6  -> (1)
51 --- 6  -> (1)
52 --- 6  -> (1)
53 --- 6  -> (1)
54 --- 6  -> (1)
55 --- 10  -> (1)
56 --- 15  -> (1)
57 --- 15  -> (1)
58 --- 15  -> (1)
59 --- 15  -> (1)
60 --- 15  -> (1)
61 --- 15  -> (1)
62 --- 15  -> (1)
63 --- 9  -> (1)
64 --- 31  -> 1
0 --- 65  -> ((-1)*x+(1))
65 --- 4  -> 1
7 --- 66  -> (y1)
66 --- 5  -> 1
2 --- 67  -> ((-1)*p23*p22*p21+p22*p21+p23*p21+p23*p22-p21-p22-p23+(1))
67 --- 64  -> 1
3 --- 68  -> 1


State--Fragment Number--visited--startingPoint--endingPoint
   0          2          true        true          false
   1          2          true        false          false
   2          2          true        false          false
   3          2          true        false          false
   4          31          true        true          true
   5          32          true        true          true
   6          3          true        true          false
   7          2          true        false          false
   8          4          true        true          true
   9          33          true        true          true
   10          34          true        true          true
   11          35          true        true          true
   12          36          true        true          true
   13          37          true        true          true
   14          38          true        true          true
   15          39          true        true          true
   16          2          true        false          false
   17          2          true        false          false
   18          2          true        false          false
   19          2          true        false          false
   20          2          true        false          false
   21          2          true        false          false
   22          2          true        false          false
   23          2          true        false          true
   24          2          true        false          false
   25          2          true        false          false
   26          2          true        false          false
   27          2          true        false          false
   28          2          true        false          false
   29          2          true        false          false
   30          2          true        false          false
   31          5          true        true          true
   32          6          true        true          true
   33          7          true        true          true
   34          8          true        true          true
   35          9          true        true          true
   36          10          true        true          true
   37          11          true        true          true
   38          12          true        true          true
   39          13          true        true          true
   40          14          true        true          true
   41          15          true        true          true
   42          16          true        true          true
   43          17          true        true          true
   44          18          true        true          true
   45          19          true        true          true
   46          20          true        true          true
   47          21          true        true          true
   48          22          true        true          true
   49          23          true        true          true
   50          24          true        true          true
   51          25          true        true          true
   52          26          true        true          true
   53          27          true        true          true
   54          28          true        true          true
   55          29          true        true          true
   56          3          true        false          true
   57          3          true        false          true
   58          3          true        false          true
   59          3          true        false          true
   60          3          true        false          true
   61          3          true        false          true
   62          3          true        false          true
   63          3          true        false          true
   64          30          true        true          true
   65          2          true        false          true
   66          2          true        false          true
   67          2          true        false          true
   68          2          true        false          true

This is transition in Fragment (1) 

This is transition in Fragment (2) 
    [0, 1]  (x)
    [1, 16]  (p13*p12*p11)
    [1, 17]  ((-1)*p13*p12*p11+p12*p11)
    [1, 18]  ((-1)*p13*p12*p11+p13*p11)
    [1, 19]  (p13*p12*p11-p12*p11-p13*p11+p11)
    [1, 20]  ((-1)*p13*p12*p11+p13*p12)
    [1, 21]  (p13*p12*p11-p12*p11-p13*p12+p12)
    [1, 22]  (p13*p12*p11-p13*p11-p13*p12+p13)
    [1, 23]  ((-1)*p13*p12*p11+p12*p11+p13*p11+p13*p12-p11-p12-p13+(1))
    [2, 24]  (p23*p22*p21)
    [2, 25]  ((-1)*p23*p22*p21+p22*p21)
    [2, 26]  ((-1)*p23*p22*p21+p23*p21)
    [2, 27]  (p23*p22*p21-p22*p21-p23*p21+p21)
    [2, 28]  ((-1)*p23*p22*p21+p23*p22)
    [2, 29]  (p23*p22*p21-p22*p21-p23*p22+p22)
    [2, 30]  (p23*p22*p21-p23*p21-p23*p22+p23)
    [7, 1]  (y2)
    [7, 3]  ((-1)*y1-y2+(1))
    [16, 2]  (1)
    [17, 2]  (1)
    [18, 2]  (1)
    [19, 2]  (1)
    [20, 2]  (1)
    [21, 2]  (1)
    [22, 2]  (1)
    [24, 7]  (1)
    [25, 7]  (1)
    [26, 7]  (1)
    [27, 7]  (1)
    [28, 7]  (1)
    [29, 7]  (1)
    [30, 7]  (1)
    [0, 65]  ((-1)*x+(1))
    [7, 66]  (y1)
    [2, 67]  ((-1)*p23*p22*p21+p22*p21+p23*p21+p23*p22-p21-p22-p23+(1))
    [3, 68]  1
    [23, 23]  1
    [65, 65]  1
    [66, 66]  1
    [67, 67]  1
    [68, 68]  1

This is transition in Fragment (3) 
    [6, 56]  (p63*p62*p61)
    [6, 57]  ((-1)*p63*p62*p61+p62*p61)
    [6, 58]  ((-1)*p63*p62*p61+p63*p61)
    [6, 59]  (p63*p62*p61-p62*p61-p63*p61+p61)
    [6, 60]  ((-1)*p63*p62*p61+p63*p62)
    [6, 61]  (p63*p62*p61-p62*p61-p63*p62+p62)
    [6, 62]  (p63*p62*p61-p63*p61-p63*p62+p63)
    [6, 63]  ((-1)*p63*p62*p61+p62*p61+p63*p61+p63*p62-p61-p62-p63+(1))
    [56, 56]  1
    [57, 57]  1
    [58, 58]  1
    [59, 59]  1
    [60, 60]  1
    [61, 61]  1
    [62, 62]  1
    [63, 63]  1

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

This is transition in Fragment (30) 
    [64, 64]  1

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

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

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

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

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

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

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

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

This is transition for abstract model 
    [68, 32]  ( (p33*p32*p31) ) * ( prob_f2_s68 )
    [68, 33]  ( ((-1)*p33*p32*p31+p32*p31) ) * ( prob_f2_s68 )
    [68, 34]  ( ((-1)*p33*p32*p31+p33*p31) ) * ( prob_f2_s68 )
    [68, 35]  ( (p33*p32*p31-p32*p31-p33*p31+p31) ) * ( prob_f2_s68 )
    [68, 36]  ( ((-1)*p33*p32*p31+p33*p32) ) * ( prob_f2_s68 )
    [68, 37]  ( (p33*p32*p31-p32*p31-p33*p32+p32) ) * ( prob_f2_s68 )
    [68, 38]  ( (p33*p32*p31-p33*p31-p33*p32+p33) ) * ( prob_f2_s68 )
    [68, 39]  ( ((-1)*p33*p32*p31+p32*p31+p33*p31+p33*p32-p31-p32-p33+(1)) ) * ( prob_f2_s68 )
    [4, 40]  (p43*p42*p41)
    [4, 41]  ((-1)*p43*p42*p41+p42*p41)
    [4, 42]  ((-1)*p43*p42*p41+p43*p41)
    [4, 43]  (p43*p42*p41-p42*p41-p43*p41+p41)
    [4, 44]  ((-1)*p43*p42*p41+p43*p42)
    [4, 45]  (p43*p42*p41-p42*p41-p43*p42+p42)
    [4, 46]  (p43*p42*p41-p43*p41-p43*p42+p43)
    [4, 47]  ((-1)*p43*p42*p41+p42*p41+p43*p41+p43*p42-p41-p42-p43+(1))
    [5, 48]  (p53*p52*p51)
    [5, 49]  ((-1)*p53*p52*p51+p52*p51)
    [5, 50]  ((-1)*p53*p52*p51+p53*p51)
    [5, 51]  (p53*p52*p51-p52*p51-p53*p51+p51)
    [5, 52]  ((-1)*p53*p52*p51+p53*p52)
    [5, 53]  (p53*p52*p51-p52*p51-p53*p52+p52)
    [5, 54]  (p53*p52*p51-p53*p51-p53*p52+p53)
    [5, 55]  ((-1)*p53*p52*p51+p52*p51+p53*p51+p53*p52-p51-p52-p53+(1))
    [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)
    [23, 14]  ( (1) ) * ( prob_f2_s23 )
    [31, 13]  (1)
    [32, 6]  (1)
    [33, 6]  (1)
    [34, 6]  (1)
    [35, 6]  (1)
    [36, 6]  (1)
    [37, 6]  (1)
    [38, 6]  (1)
    [39, 12]  (1)
    [40, 8]  (1)
    [41, 8]  (1)
    [42, 8]  (1)
    [43, 8]  (1)
    [44, 8]  (1)
    [45, 8]  (1)
    [46, 8]  (1)
    [47, 11]  (1)
    [48, 6]  (1)
    [49, 6]  (1)
    [50, 6]  (1)
    [51, 6]  (1)
    [52, 6]  (1)
    [53, 6]  (1)
    [54, 6]  (1)
    [55, 10]  (1)
    [56, 15]  ( (1) ) * ( prob_f3_s56 )
    [57, 15]  ( (1) ) * ( prob_f3_s57 )
    [58, 15]  ( (1) ) * ( prob_f3_s58 )
    [59, 15]  ( (1) ) * ( prob_f3_s59 )
    [60, 15]  ( (1) ) * ( prob_f3_s60 )
    [61, 15]  ( (1) ) * ( prob_f3_s61 )
    [62, 15]  ( (1) ) * ( prob_f3_s62 )
    [63, 9]  ( (1) ) * ( prob_f3_s63 )
    [64, 31]  1
    [65, 4]  ( 1 ) * ( prob_f2_s65 )
    [66, 5]  ( 1 ) * ( prob_f2_s66 )
    [67, 64]  ( 1 ) * ( prob_f2_s67 )
****************************The expressions start from here; Copying following expressions to MATLAB; Providing values for the parameters needed; Checking the result of <Output_abstract_model> ******
P2_0_1 = ((x)); 
P2_0_33 = (((-1)*x+(1))); 
P2_1_2 = ((p13*p12*p11)); 
P2_1_3 = (((-1)*p13*p12*p11+p12*p11)); 
P2_1_4 = (((-1)*p13*p12*p11+p13*p11)); 
P2_1_5 = ((p13*p12*p11-p12*p11-p13*p11+p11)); 
P2_1_6 = (((-1)*p13*p12*p11+p13*p12)); 
P2_1_7 = ((p13*p12*p11-p12*p11-p13*p12+p12)); 
P2_1_8 = ((p13*p12*p11-p13*p11-p13*p12+p13)); 
P2_1_9 = (((-1)*p13*p12*p11+p12*p11+p13*p11+p13*p12-p11-p12-p13+(1))); 
P2_2_10 = ((p23*p22*p21)); 
P2_2_11 = (((-1)*p23*p22*p21+p22*p21)); 
P2_2_12 = (((-1)*p23*p22*p21+p23*p21)); 
P2_2_13 = ((p23*p22*p21-p22*p21-p23*p21+p21)); 
P2_2_14 = (((-1)*p23*p22*p21+p23*p22)); 
P2_2_15 = ((p23*p22*p21-p22*p21-p23*p22+p22)); 
P2_2_16 = ((p23*p22*p21-p23*p21-p23*p22+p23)); 
P2_2_35 = (((-1)*p23*p22*p21+p22*p21+p23*p21+p23*p22-p21-p22-p23+(1))); 
P2_3_36 = (1); 
P2_7_17 = ((y2)); 
P2_7_18 = (((-1)*y1-y2+(1))); 
P2_7_34 = ((y1)); 
P2_16_19 = ((1)); 
P2_17_20 = ((1)); 
P2_18_21 = ((1)); 
P2_19_22 = ((1)); 
P2_20_23 = ((1)); 
P2_21_24 = ((1)); 
P2_22_25 = ((1)); 
P2_24_26 = ((1)); 
P2_25_27 = ((1)); 
P2_26_28 = ((1)); 
P2_27_29 = ((1)); 
P2_28_30 = ((1)); 
P2_29_31 = ((1)); 
P2_30_32 = ((1)); 

prob_f2_s23  =( (-1 * ((P2_0_1) * (P2_1_9)))/(P2_1_8*P2_2_16*P2_7_17+P2_1_8*P2_2_11*P2_7_17+P2_1_2*P2_2_11*P2_7_17+P2_1_3*P2_2_11*P2_7_17+P2_1_4*P2_2_11*P2_7_17+P2_1_5*P2_2_11*P2_7_17+P2_1_6*P2_2_11*P2_7_17+P2_1_7*P2_2_11*P2_7_17+P2_1_8*P2_2_12*P2_7_17+P2_1_2*P2_2_12*P2_7_17+P2_1_3*P2_2_12*P2_7_17+P2_1_4*P2_2_12*P2_7_17+P2_1_5*P2_2_12*P2_7_17+P2_1_6*P2_2_12*P2_7_17+P2_1_7*P2_2_12*P2_7_17+P2_1_8*P2_2_13*P2_7_17+P2_1_2*P2_2_13*P2_7_17+P2_1_3*P2_2_13*P2_7_17+P2_1_4*P2_2_13*P2_7_17+P2_1_5*P2_2_13*P2_7_17+P2_1_6*P2_2_13*P2_7_17+P2_1_7*P2_2_13*P2_7_17+P2_1_8*P2_2_14*P2_7_17+P2_1_2*P2_2_14*P2_7_17+P2_1_3*P2_2_14*P2_7_17+P2_1_4*P2_2_14*P2_7_17+P2_1_5*P2_2_14*P2_7_17+P2_1_6*P2_2_14*P2_7_17+P2_1_7*P2_2_14*P2_7_17+P2_1_8*P2_2_15*P2_7_17+P2_1_2*P2_2_15*P2_7_17+P2_1_3*P2_2_15*P2_7_17+P2_1_4*P2_2_15*P2_7_17+P2_1_5*P2_2_15*P2_7_17+P2_1_6*P2_2_15*P2_7_17+P2_1_7*P2_2_15*P2_7_17+P2_1_2*P2_2_16*P2_7_17+P2_1_3*P2_2_16*P2_7_17+P2_1_4*P2_2_16*P2_7_17+P2_1_5*P2_2_16*P2_7_17+P2_1_6*P2_2_16*P2_7_17+P2_1_7*P2_2_16*P2_7_17+P2_1_8*P2_2_10*P2_7_17+P2_1_2*P2_2_10*P2_7_17+P2_1_3*P2_2_10*P2_7_17+P2_1_4*P2_2_10*P2_7_17+P2_1_5*P2_2_10*P2_7_17+P2_1_6*P2_2_10*P2_7_17+P2_1_7*P2_2_10*P2_7_17+(-1))); 
prob_f2_s65  =( (P2_0_33)/(1)); 
prob_f2_s66  =( (-1 * ((P2_0_1) * (P2_1_8*P2_2_16*P2_7_34+P2_1_8*P2_2_11*P2_7_34+P2_1_8*P2_2_12*P2_7_34+P2_1_8*P2_2_13*P2_7_34+P2_1_8*P2_2_14*P2_7_34+P2_1_8*P2_2_15*P2_7_34+P2_1_7*P2_2_16*P2_7_34+P2_1_2*P2_2_10*P2_7_34+P2_1_2*P2_2_11*P2_7_34+P2_1_2*P2_2_12*P2_7_34+P2_1_2*P2_2_13*P2_7_34+P2_1_2*P2_2_14*P2_7_34+P2_1_2*P2_2_15*P2_7_34+P2_1_3*P2_2_10*P2_7_34+P2_1_3*P2_2_11*P2_7_34+P2_1_3*P2_2_12*P2_7_34+P2_1_3*P2_2_13*P2_7_34+P2_1_3*P2_2_14*P2_7_34+P2_1_3*P2_2_15*P2_7_34+P2_1_4*P2_2_10*P2_7_34+P2_1_4*P2_2_11*P2_7_34+P2_1_4*P2_2_12*P2_7_34+P2_1_4*P2_2_13*P2_7_34+P2_1_4*P2_2_14*P2_7_34+P2_1_4*P2_2_15*P2_7_34+P2_1_5*P2_2_10*P2_7_34+P2_1_5*P2_2_11*P2_7_34+P2_1_5*P2_2_12*P2_7_34+P2_1_5*P2_2_13*P2_7_34+P2_1_5*P2_2_14*P2_7_34+P2_1_5*P2_2_15*P2_7_34+P2_1_6*P2_2_10*P2_7_34+P2_1_6*P2_2_11*P2_7_34+P2_1_6*P2_2_12*P2_7_34+P2_1_6*P2_2_13*P2_7_34+P2_1_6*P2_2_14*P2_7_34+P2_1_6*P2_2_15*P2_7_34+P2_1_7*P2_2_10*P2_7_34+P2_1_7*P2_2_11*P2_7_34+P2_1_7*P2_2_12*P2_7_34+P2_1_7*P2_2_13*P2_7_34+P2_1_7*P2_2_14*P2_7_34+P2_1_7*P2_2_15*P2_7_34+P2_1_6*P2_2_16*P2_7_34+P2_1_5*P2_2_16*P2_7_34+P2_1_4*P2_2_16*P2_7_34+P2_1_3*P2_2_16*P2_7_34+P2_1_2*P2_2_16*P2_7_34+P2_1_8*P2_2_10*P2_7_34)))/(P2_1_8*P2_2_16*P2_7_17+P2_1_8*P2_2_11*P2_7_17+P2_1_2*P2_2_11*P2_7_17+P2_1_3*P2_2_11*P2_7_17+P2_1_4*P2_2_11*P2_7_17+P2_1_5*P2_2_11*P2_7_17+P2_1_6*P2_2_11*P2_7_17+P2_1_7*P2_2_11*P2_7_17+P2_1_8*P2_2_12*P2_7_17+P2_1_2*P2_2_12*P2_7_17+P2_1_3*P2_2_12*P2_7_17+P2_1_4*P2_2_12*P2_7_17+P2_1_5*P2_2_12*P2_7_17+P2_1_6*P2_2_12*P2_7_17+P2_1_7*P2_2_12*P2_7_17+P2_1_8*P2_2_13*P2_7_17+P2_1_2*P2_2_13*P2_7_17+P2_1_3*P2_2_13*P2_7_17+P2_1_4*P2_2_13*P2_7_17+P2_1_5*P2_2_13*P2_7_17+P2_1_6*P2_2_13*P2_7_17+P2_1_7*P2_2_13*P2_7_17+P2_1_8*P2_2_14*P2_7_17+P2_1_2*P2_2_14*P2_7_17+P2_1_3*P2_2_14*P2_7_17+P2_1_4*P2_2_14*P2_7_17+P2_1_5*P2_2_14*P2_7_17+P2_1_6*P2_2_14*P2_7_17+P2_1_7*P2_2_14*P2_7_17+P2_1_8*P2_2_15*P2_7_17+P2_1_2*P2_2_15*P2_7_17+P2_1_3*P2_2_15*P2_7_17+P2_1_4*P2_2_15*P2_7_17+P2_1_5*P2_2_15*P2_7_17+P2_1_6*P2_2_15*P2_7_17+P2_1_7*P2_2_15*P2_7_17+P2_1_2*P2_2_16*P2_7_17+P2_1_3*P2_2_16*P2_7_17+P2_1_4*P2_2_16*P2_7_17+P2_1_5*P2_2_16*P2_7_17+P2_1_6*P2_2_16*P2_7_17+P2_1_7*P2_2_16*P2_7_17+P2_1_8*P2_2_10*P2_7_17+P2_1_2*P2_2_10*P2_7_17+P2_1_3*P2_2_10*P2_7_17+P2_1_4*P2_2_10*P2_7_17+P2_1_5*P2_2_10*P2_7_17+P2_1_6*P2_2_10*P2_7_17+P2_1_7*P2_2_10*P2_7_17+(-1))); 
prob_f2_s67  =( (-1 * ((P2_0_1) * (P2_1_8*P2_2_35+P2_1_6*P2_2_35+P2_1_5*P2_2_35+P2_1_4*P2_2_35+P2_1_3*P2_2_35+P2_1_2*P2_2_35+P2_1_7*P2_2_35)))/(P2_1_8*P2_2_16*P2_7_17+P2_1_8*P2_2_11*P2_7_17+P2_1_2*P2_2_11*P2_7_17+P2_1_3*P2_2_11*P2_7_17+P2_1_4*P2_2_11*P2_7_17+P2_1_5*P2_2_11*P2_7_17+P2_1_6*P2_2_11*P2_7_17+P2_1_7*P2_2_11*P2_7_17+P2_1_8*P2_2_12*P2_7_17+P2_1_2*P2_2_12*P2_7_17+P2_1_3*P2_2_12*P2_7_17+P2_1_4*P2_2_12*P2_7_17+P2_1_5*P2_2_12*P2_7_17+P2_1_6*P2_2_12*P2_7_17+P2_1_7*P2_2_12*P2_7_17+P2_1_8*P2_2_13*P2_7_17+P2_1_2*P2_2_13*P2_7_17+P2_1_3*P2_2_13*P2_7_17+P2_1_4*P2_2_13*P2_7_17+P2_1_5*P2_2_13*P2_7_17+P2_1_6*P2_2_13*P2_7_17+P2_1_7*P2_2_13*P2_7_17+P2_1_8*P2_2_14*P2_7_17+P2_1_2*P2_2_14*P2_7_17+P2_1_3*P2_2_14*P2_7_17+P2_1_4*P2_2_14*P2_7_17+P2_1_5*P2_2_14*P2_7_17+P2_1_6*P2_2_14*P2_7_17+P2_1_7*P2_2_14*P2_7_17+P2_1_8*P2_2_15*P2_7_17+P2_1_2*P2_2_15*P2_7_17+P2_1_3*P2_2_15*P2_7_17+P2_1_4*P2_2_15*P2_7_17+P2_1_5*P2_2_15*P2_7_17+P2_1_6*P2_2_15*P2_7_17+P2_1_7*P2_2_15*P2_7_17+P2_1_2*P2_2_16*P2_7_17+P2_1_3*P2_2_16*P2_7_17+P2_1_4*P2_2_16*P2_7_17+P2_1_5*P2_2_16*P2_7_17+P2_1_6*P2_2_16*P2_7_17+P2_1_7*P2_2_16*P2_7_17+P2_1_8*P2_2_10*P2_7_17+P2_1_2*P2_2_10*P2_7_17+P2_1_3*P2_2_10*P2_7_17+P2_1_4*P2_2_10*P2_7_17+P2_1_5*P2_2_10*P2_7_17+P2_1_6*P2_2_10*P2_7_17+P2_1_7*P2_2_10*P2_7_17+(-1))); 
prob_f2_s68  =( (-1 * ((P2_0_1) * (P2_1_8*P2_2_16*P2_7_18+P2_1_8*P2_2_11*P2_7_18+P2_1_8*P2_2_12*P2_7_18+P2_1_8*P2_2_13*P2_7_18+P2_1_8*P2_2_14*P2_7_18+P2_1_8*P2_2_15*P2_7_18+P2_1_7*P2_2_16*P2_7_18+P2_1_2*P2_2_10*P2_7_18+P2_1_2*P2_2_11*P2_7_18+P2_1_2*P2_2_12*P2_7_18+P2_1_2*P2_2_13*P2_7_18+P2_1_2*P2_2_14*P2_7_18+P2_1_2*P2_2_15*P2_7_18+P2_1_3*P2_2_10*P2_7_18+P2_1_3*P2_2_11*P2_7_18+P2_1_3*P2_2_12*P2_7_18+P2_1_3*P2_2_13*P2_7_18+P2_1_3*P2_2_14*P2_7_18+P2_1_3*P2_2_15*P2_7_18+P2_1_4*P2_2_10*P2_7_18+P2_1_4*P2_2_11*P2_7_18+P2_1_4*P2_2_12*P2_7_18+P2_1_4*P2_2_13*P2_7_18+P2_1_4*P2_2_14*P2_7_18+P2_1_4*P2_2_15*P2_7_18+P2_1_5*P2_2_10*P2_7_18+P2_1_5*P2_2_11*P2_7_18+P2_1_5*P2_2_12*P2_7_18+P2_1_5*P2_2_13*P2_7_18+P2_1_5*P2_2_14*P2_7_18+P2_1_5*P2_2_15*P2_7_18+P2_1_6*P2_2_10*P2_7_18+P2_1_6*P2_2_11*P2_7_18+P2_1_6*P2_2_12*P2_7_18+P2_1_6*P2_2_13*P2_7_18+P2_1_6*P2_2_14*P2_7_18+P2_1_6*P2_2_15*P2_7_18+P2_1_7*P2_2_10*P2_7_18+P2_1_7*P2_2_11*P2_7_18+P2_1_7*P2_2_12*P2_7_18+P2_1_7*P2_2_13*P2_7_18+P2_1_7*P2_2_14*P2_7_18+P2_1_7*P2_2_15*P2_7_18+P2_1_6*P2_2_16*P2_7_18+P2_1_5*P2_2_16*P2_7_18+P2_1_4*P2_2_16*P2_7_18+P2_1_3*P2_2_16*P2_7_18+P2_1_2*P2_2_16*P2_7_18+P2_1_8*P2_2_10*P2_7_18)))/(P2_1_8*P2_2_16*P2_7_17+P2_1_8*P2_2_11*P2_7_17+P2_1_2*P2_2_11*P2_7_17+P2_1_3*P2_2_11*P2_7_17+P2_1_4*P2_2_11*P2_7_17+P2_1_5*P2_2_11*P2_7_17+P2_1_6*P2_2_11*P2_7_17+P2_1_7*P2_2_11*P2_7_17+P2_1_8*P2_2_12*P2_7_17+P2_1_2*P2_2_12*P2_7_17+P2_1_3*P2_2_12*P2_7_17+P2_1_4*P2_2_12*P2_7_17+P2_1_5*P2_2_12*P2_7_17+P2_1_6*P2_2_12*P2_7_17+P2_1_7*P2_2_12*P2_7_17+P2_1_8*P2_2_13*P2_7_17+P2_1_2*P2_2_13*P2_7_17+P2_1_3*P2_2_13*P2_7_17+P2_1_4*P2_2_13*P2_7_17+P2_1_5*P2_2_13*P2_7_17+P2_1_6*P2_2_13*P2_7_17+P2_1_7*P2_2_13*P2_7_17+P2_1_8*P2_2_14*P2_7_17+P2_1_2*P2_2_14*P2_7_17+P2_1_3*P2_2_14*P2_7_17+P2_1_4*P2_2_14*P2_7_17+P2_1_5*P2_2_14*P2_7_17+P2_1_6*P2_2_14*P2_7_17+P2_1_7*P2_2_14*P2_7_17+P2_1_8*P2_2_15*P2_7_17+P2_1_2*P2_2_15*P2_7_17+P2_1_3*P2_2_15*P2_7_17+P2_1_4*P2_2_15*P2_7_17+P2_1_5*P2_2_15*P2_7_17+P2_1_6*P2_2_15*P2_7_17+P2_1_7*P2_2_15*P2_7_17+P2_1_2*P2_2_16*P2_7_17+P2_1_3*P2_2_16*P2_7_17+P2_1_4*P2_2_16*P2_7_17+P2_1_5*P2_2_16*P2_7_17+P2_1_6*P2_2_16*P2_7_17+P2_1_7*P2_2_16*P2_7_17+P2_1_8*P2_2_10*P2_7_17+P2_1_2*P2_2_10*P2_7_17+P2_1_3*P2_2_10*P2_7_17+P2_1_4*P2_2_10*P2_7_17+P2_1_5*P2_2_10*P2_7_17+P2_1_6*P2_2_10*P2_7_17+P2_1_7*P2_2_10*P2_7_17+(-1))); 
P2_0_1 = ((x)); 
P2_0_33 = (((-1)*x+(1))); 
P2_1_2 = ((p13*p12*p11)); 
P2_1_3 = (((-1)*p13*p12*p11+p12*p11)); 
P2_1_4 = (((-1)*p13*p12*p11+p13*p11)); 
P2_1_5 = ((p13*p12*p11-p12*p11-p13*p11+p11)); 
P2_1_6 = (((-1)*p13*p12*p11+p13*p12)); 
P2_1_7 = ((p13*p12*p11-p12*p11-p13*p12+p12)); 
P2_1_8 = ((p13*p12*p11-p13*p11-p13*p12+p13)); 
P2_1_9 = (((-1)*p13*p12*p11+p12*p11+p13*p11+p13*p12-p11-p12-p13+(1))); 
P2_2_10 = ((p23*p22*p21)); 
P2_2_11 = (((-1)*p23*p22*p21+p22*p21)); 
P2_2_12 = (((-1)*p23*p22*p21+p23*p21)); 
P2_2_13 = ((p23*p22*p21-p22*p21-p23*p21+p21)); 
P2_2_14 = (((-1)*p23*p22*p21+p23*p22)); 
P2_2_15 = ((p23*p22*p21-p22*p21-p23*p22+p22)); 
P2_2_16 = ((p23*p22*p21-p23*p21-p23*p22+p23)); 
P2_2_35 = (((-1)*p23*p22*p21+p22*p21+p23*p21+p23*p22-p21-p22-p23+(1))); 
P2_3_36 = (1); 
P2_7_17 = ((y2)); 
P2_7_18 = (((-1)*y1-y2+(1))); 
P2_7_34 = ((y1)); 
P2_16_19 = ((1)); 
P2_17_20 = ((1)); 
P2_18_21 = ((1)); 
P2_19_22 = ((1)); 
P2_20_23 = ((1)); 
P2_21_24 = ((1)); 
P2_22_25 = ((1)); 
P2_24_26 = ((1)); 
P2_25_27 = ((1)); 
P2_26_28 = ((1)); 
P2_27_29 = ((1)); 
P2_28_30 = ((1)); 
P2_29_31 = ((1)); 
P2_30_32 = ((1)); 

ab1 =( (-1 * ((P2_0_1) * (P2_1_8*P2_2_16*P2_7_18*c33+P2_1_8*P2_2_16*P2_7_18*c32+P2_1_7*P2_2_16*P2_7_18*c33+P2_1_2*P2_2_16*P2_7_18*c31+P2_1_2*P2_2_16*P2_7_18*c32+P2_1_3*P2_2_16*P2_7_18*c31+P2_1_3*P2_2_16*P2_7_18*c32+P2_1_4*P2_2_16*P2_7_18*c31+P2_1_4*P2_2_16*P2_7_18*c32+P2_1_5*P2_2_16*P2_7_18*c31+P2_1_5*P2_2_16*P2_7_18*c32+P2_1_6*P2_2_16*P2_7_18*c31+P2_1_6*P2_2_16*P2_7_18*c32+P2_1_7*P2_2_16*P2_7_18*c32+P2_1_8*P2_2_16*P2_7_18*c31+P2_1_7*P2_2_16*P2_7_18*c31+P2_1_6*P2_2_15*P2_7_18*c33+P2_1_5*P2_2_15*P2_7_18*c33+P2_1_4*P2_2_15*P2_7_18*c33+P2_1_3*P2_2_15*P2_7_18*c33+P2_1_2*P2_2_15*P2_7_18*c33+P2_1_8*P2_2_15*P2_7_18*c33+P2_1_7*P2_2_15*P2_7_18*c33+P2_1_6*P2_2_15*P2_7_18*c31+P2_1_5*P2_2_15*P2_7_18*c31+P2_1_4*P2_2_15*P2_7_18*c31+P2_1_3*P2_2_15*P2_7_18*c31+P2_1_2*P2_2_15*P2_7_18*c31+P2_1_7*P2_2_15*P2_7_18*c31+P2_1_6*P2_2_14*P2_7_18*c33+P2_1_5*P2_2_14*P2_7_18*c33+P2_1_4*P2_2_14*P2_7_18*c33+P2_1_3*P2_2_14*P2_7_18*c33+P2_1_2*P2_2_14*P2_7_18*c33+P2_1_8*P2_2_15*P2_7_18*c31+P2_1_7*P2_2_14*P2_7_18*c33+P2_1_6*P2_2_14*P2_7_18*c31+P2_1_5*P2_2_14*P2_7_18*c31+P2_1_4*P2_2_14*P2_7_18*c31+P2_1_3*P2_2_14*P2_7_18*c31+P2_1_2*P2_2_14*P2_7_18*c31+P2_1_8*P2_2_14*P2_7_18*c33+P2_1_7*P2_2_14*P2_7_18*c31+P2_1_6*P2_2_13*P2_7_18*c33+P2_1_5*P2_2_13*P2_7_18*c33+P2_1_4*P2_2_13*P2_7_18*c33+P2_1_3*P2_2_13*P2_7_18*c33+P2_1_2*P2_2_13*P2_7_18*c33+P2_1_8*P2_2_14*P2_7_18*c31+P2_1_7*P2_2_13*P2_7_18*c33+P2_1_6*P2_2_13*P2_7_18*c31+P2_1_5*P2_2_13*P2_7_18*c31+P2_1_4*P2_2_13*P2_7_18*c31+P2_1_3*P2_2_13*P2_7_18*c31+P2_1_2*P2_2_13*P2_7_18*c31+P2_1_8*P2_2_13*P2_7_18*c33+P2_1_7*P2_2_13*P2_7_18*c31+P2_1_6*P2_2_12*P2_7_18*c33+P2_1_5*P2_2_12*P2_7_18*c33+P2_1_4*P2_2_12*P2_7_18*c33+P2_1_3*P2_2_12*P2_7_18*c33+P2_1_2*P2_2_12*P2_7_18*c33+P2_1_8*P2_2_13*P2_7_18*c31+P2_1_8*P2_2_12*P2_7_18*c33+c11+P2_1_7*P2_2_12*P2_7_18*c33+P2_1_6*P2_2_12*P2_7_18*c31+P2_1_5*P2_2_12*P2_7_18*c31+P2_1_4*P2_2_12*P2_7_18*c31+P2_1_3*P2_2_12*P2_7_18*c31+P2_1_2*P2_2_12*P2_7_18*c31+P2_1_8*P2_2_12*P2_7_18*c31+P2_1_7*P2_2_12*P2_7_18*c31+P2_1_6*P2_2_11*P2_7_18*c33+P2_1_5*P2_2_11*P2_7_18*c33+P2_1_4*P2_2_11*P2_7_18*c33+P2_1_3*P2_2_11*P2_7_18*c33+P2_1_2*P2_2_11*P2_7_18*c33+P2_1_7*P2_2_11*P2_7_18*c33+P2_1_6*P2_2_11*P2_7_18*c31+P2_1_5*P2_2_11*P2_7_18*c31+P2_1_4*P2_2_11*P2_7_18*c31+P2_1_3*P2_2_11*P2_7_18*c31+P2_1_2*P2_2_11*P2_7_18*c31+P2_1_8*P2_2_11*P2_7_18*c33+P2_1_7*P2_2_11*P2_7_18*c31+P2_1_6*P2_2_10*P2_7_18*c33+P2_1_5*P2_2_10*P2_7_18*c33+P2_1_4*P2_2_10*P2_7_18*c33+P2_1_3*P2_2_10*P2_7_18*c33+P2_1_2*P2_2_10*P2_7_18*c33+P2_1_8*P2_2_11*P2_7_18*c31+P2_1_7*P2_2_10*P2_7_18*c33+P2_1_6*P2_2_10*P2_7_18*c31+P2_1_5*P2_2_10*P2_7_18*c31+P2_1_4*P2_2_10*P2_7_18*c31+P2_1_3*P2_2_10*P2_7_18*c31+P2_1_2*P2_2_10*P2_7_18*c31+P2_1_8*P2_2_10*P2_7_18*c33+P2_1_7*P2_2_10*P2_7_18*c31+P2_1_6*c23+P2_1_5*c23+P2_1_4*c23+P2_1_3*c23+P2_1_2*c23+P2_1_8*P2_2_10*P2_7_18*c31+P2_1_7*c23+P2_1_6*c21+P2_1_5*c21+P2_1_4*c21+P2_1_3*c21+P2_1_2*c21+P2_1_8*c23+P2_1_8*c21+c13+P2_1_7*c21+P2_1_6*c22+P2_1_5*c22+P2_1_4*c22+P2_1_3*c22+P2_1_2*c22+P2_1_8*c22+P2_1_7*c22+P2_1_6*P2_2_10*P2_7_18*c32+P2_1_5*P2_2_10*P2_7_18*c32+P2_1_4*P2_2_10*P2_7_18*c32+P2_1_3*P2_2_10*P2_7_18*c32+P2_1_2*P2_2_10*P2_7_18*c32+P2_1_7*P2_2_10*P2_7_18*c32+P2_1_6*P2_2_11*P2_7_18*c32+P2_1_5*P2_2_11*P2_7_18*c32+P2_1_4*P2_2_11*P2_7_18*c32+P2_1_3*P2_2_11*P2_7_18*c32+P2_1_2*P2_2_11*P2_7_18*c32+P2_1_8*P2_2_10*P2_7_18*c32+P2_1_7*P2_2_11*P2_7_18*c32+P2_1_6*P2_2_12*P2_7_18*c32+P2_1_5*P2_2_12*P2_7_18*c32+P2_1_4*P2_2_12*P2_7_18*c32+P2_1_3*P2_2_12*P2_7_18*c32+P2_1_2*P2_2_12*P2_7_18*c32+P2_1_8*P2_2_11*P2_7_18*c32+P2_1_7*P2_2_12*P2_7_18*c32+P2_1_6*P2_2_13*P2_7_18*c32+P2_1_5*P2_2_13*P2_7_18*c32+P2_1_4*P2_2_13*P2_7_18*c32+P2_1_3*P2_2_13*P2_7_18*c32+P2_1_2*P2_2_13*P2_7_18*c32+P2_1_8*P2_2_12*P2_7_18*c32+P2_1_7*P2_2_13*P2_7_18*c32+P2_1_6*P2_2_14*P2_7_18*c32+P2_1_5*P2_2_14*P2_7_18*c32+P2_1_4*P2_2_14*P2_7_18*c32+P2_1_3*P2_2_14*P2_7_18*c32+P2_1_2*P2_2_14*P2_7_18*c32+P2_1_8*P2_2_13*P2_7_18*c32+P2_1_7*P2_2_14*P2_7_18*c32+P2_1_6*P2_2_15*P2_7_18*c32+P2_1_5*P2_2_15*P2_7_18*c32+P2_1_4*P2_2_15*P2_7_18*c32+P2_1_3*P2_2_15*P2_7_18*c32+P2_1_2*P2_2_15*P2_7_18*c32+P2_1_8*P2_2_14*P2_7_18*c32+c12+P2_1_7*P2_2_15*P2_7_18*c32+P2_1_6*P2_2_16*P2_7_18*c33+P2_1_5*P2_2_16*P2_7_18*c33+P2_1_4*P2_2_16*P2_7_18*c33+P2_1_3*P2_2_16*P2_7_18*c33+P2_1_2*P2_2_16*P2_7_18*c33+P2_1_8*P2_2_15*P2_7_18*c32)))/(P2_1_8*P2_2_16*P2_7_17+P2_1_8*P2_2_11*P2_7_17+P2_1_2*P2_2_11*P2_7_17+P2_1_3*P2_2_11*P2_7_17+P2_1_4*P2_2_11*P2_7_17+P2_1_5*P2_2_11*P2_7_17+P2_1_6*P2_2_11*P2_7_17+P2_1_7*P2_2_11*P2_7_17+P2_1_8*P2_2_12*P2_7_17+P2_1_2*P2_2_12*P2_7_17+P2_1_3*P2_2_12*P2_7_17+P2_1_4*P2_2_12*P2_7_17+P2_1_5*P2_2_12*P2_7_17+P2_1_6*P2_2_12*P2_7_17+P2_1_7*P2_2_12*P2_7_17+P2_1_8*P2_2_13*P2_7_17+P2_1_2*P2_2_13*P2_7_17+P2_1_3*P2_2_13*P2_7_17+P2_1_4*P2_2_13*P2_7_17+P2_1_5*P2_2_13*P2_7_17+P2_1_6*P2_2_13*P2_7_17+P2_1_7*P2_2_13*P2_7_17+P2_1_8*P2_2_14*P2_7_17+P2_1_2*P2_2_14*P2_7_17+P2_1_3*P2_2_14*P2_7_17+P2_1_4*P2_2_14*P2_7_17+P2_1_5*P2_2_14*P2_7_17+P2_1_6*P2_2_14*P2_7_17+P2_1_7*P2_2_14*P2_7_17+P2_1_8*P2_2_15*P2_7_17+P2_1_2*P2_2_15*P2_7_17+P2_1_3*P2_2_15*P2_7_17+P2_1_4*P2_2_15*P2_7_17+P2_1_5*P2_2_15*P2_7_17+P2_1_6*P2_2_15*P2_7_17+P2_1_7*P2_2_15*P2_7_17+P2_1_2*P2_2_16*P2_7_17+P2_1_3*P2_2_16*P2_7_17+P2_1_4*P2_2_16*P2_7_17+P2_1_5*P2_2_16*P2_7_17+P2_1_6*P2_2_16*P2_7_17+P2_1_7*P2_2_16*P2_7_17+P2_1_8*P2_2_10*P2_7_17+P2_1_2*P2_2_10*P2_7_17+P2_1_3*P2_2_10*P2_7_17+P2_1_4*P2_2_10*P2_7_17+P2_1_5*P2_2_10*P2_7_17+P2_1_6*P2_2_10*P2_7_17+P2_1_7*P2_2_10*P2_7_17+(-1))); 
P3_6_1 = ((p63*p62*p61)); 
P3_6_2 = (((-1)*p63*p62*p61+p62*p61)); 
P3_6_3 = (((-1)*p63*p62*p61+p63*p61)); 
P3_6_4 = ((p63*p62*p61-p62*p61-p63*p61+p61)); 
P3_6_5 = (((-1)*p63*p62*p61+p63*p62)); 
P3_6_6 = ((p63*p62*p61-p62*p61-p63*p62+p62)); 
P3_6_7 = ((p63*p62*p61-p63*p61-p63*p62+p63)); 
P3_6_8 = (((-1)*p63*p62*p61+p62*p61+p63*p61+p63*p62-p61-p62-p63+(1))); 

prob_f3_s56  =( (P3_6_1)/(1)); 
prob_f3_s57  =( (P3_6_2)/(1)); 
prob_f3_s58  =( (P3_6_3)/(1)); 
prob_f3_s59  =( (P3_6_4)/(1)); 
prob_f3_s60  =( (P3_6_5)/(1)); 
prob_f3_s61  =( (P3_6_6)/(1)); 
prob_f3_s62  =( (P3_6_7)/(1)); 
prob_f3_s63  =( (P3_6_8)/(1)); 
P3_6_1 = ((p63*p62*p61)); 
P3_6_2 = (((-1)*p63*p62*p61+p62*p61)); 
P3_6_3 = (((-1)*p63*p62*p61+p63*p61)); 
P3_6_4 = ((p63*p62*p61-p62*p61-p63*p61+p61)); 
P3_6_5 = (((-1)*p63*p62*p61+p63*p62)); 
P3_6_6 = ((p63*p62*p61-p62*p61-p63*p62+p62)); 
P3_6_7 = ((p63*p62*p61-p63*p61-p63*p62+p63)); 
P3_6_8 = (((-1)*p63*p62*p61+p62*p61+p63*p61+p63*p62-p61-p62-p63+(1))); 

ab2 =( (c63+c61+c62)/(1)); 
PX_1_1 = (( (p33*p32*p31) ) * ( prob_f2_s68 )); 
PX_1_2 = (( ((-1)*p33*p32*p31+p32*p31) ) * ( prob_f2_s68 ));
PX_1_3 = (( ((-1)*p33*p32*p31+p33*p31) ) * ( prob_f2_s68 ));
PX_1_4 = (( (p33*p32*p31-p32*p31-p33*p31+p31) ) * ( prob_f2_s68 ));
PX_1_5 = (( ((-1)*p33*p32*p31+p33*p32) ) * ( prob_f2_s68 ));
PX_1_6 = (( (p33*p32*p31-p32*p31-p33*p32+p32) ) * ( prob_f2_s68 ));
PX_1_7 = (( (p33*p32*p31-p33*p31-p33*p32+p33) ) * ( prob_f2_s68 ));
PX_1_8 = (( ((-1)*p33*p32*p31+p32*p31+p33*p31+p33*p32-p31-p32-p33+(1)) ) * ( prob_f2_s68 ));
PX_1_35 = (( (1) ) * ( prob_f2_s23 ));
PX_1_64 = (( 1 ) * ( prob_f2_s65 ));
PX_1_65 = (( 1 ) * ( prob_f2_s66 ));
PX_1_66 = (( 1 ) * ( prob_f2_s67 ));
PX_2_61 = (      ( (1) ) * ( prob_f3_s56 ) + ( (1) ) * ( prob_f3_s57 )  + ( (1) ) * ( prob_f3_s58 )  + ( (1) ) * ( prob_f3_s59 )  + ( (1) ) * ( prob_f3_s60 )  + ( (1) ) * ( prob_f3_s61 )  + ( (1) ) * ( prob_f3_s62 ) ); 
PX_2_62 = (( (1) ) * ( prob_f3_s63 ));
PX_3_25 = ((z2)); 
PX_3_26 = (((-1)*z1-z2+(1)));
PX_3_27 = ((z1));
PX_4_36 = ((1)); 
PX_5_37 = ((1)); 
PX_6_38 = ((1)); 
PX_7_39 = ((1)); 
PX_8_40 = ((1)); 
PX_9_41 = ((1)); 
PX_10_42 = ((1)); 
PX_11_43 = ((1)); 
PX_12_44 = ((1)); 
PX_13_45 = ((1)); 
PX_14_46 = ((1)); 
PX_15_47 = ((1)); 
PX_16_48 = ((1)); 
PX_17_49 = ((1)); 
PX_18_50 = ((1)); 
PX_19_51 = ((1)); 
PX_20_52 = ((1)); 
PX_21_53 = ((1)); 
PX_22_54 = ((1)); 
PX_23_55 = ((1)); 
PX_24_56 = ((1)); 
PX_25_57 = ((1)); 
PX_26_58 = ((1)); 
PX_27_59 = ((1)); 
PX_28_60 = ((1)); 
PX_29_63 = (1); 
PX_30_9 = ((p43*p42*p41)); 
PX_30_10 = (((-1)*p43*p42*p41+p42*p41));
PX_30_11 = (((-1)*p43*p42*p41+p43*p41));
PX_30_12 = ((p43*p42*p41-p42*p41-p43*p41+p41));
PX_30_13 = (((-1)*p43*p42*p41+p43*p42));
PX_30_14 = ((p43*p42*p41-p42*p41-p43*p42+p42));
PX_30_15 = ((p43*p42*p41-p43*p41-p43*p42+p43));
PX_30_16 = (((-1)*p43*p42*p41+p42*p41+p43*p41+p43*p42-p41-p42-p43+(1)));
PX_31_17 = ((p53*p52*p51)); 
PX_31_18 = (((-1)*p53*p52*p51+p52*p51));
PX_31_19 = (((-1)*p53*p52*p51+p53*p51));
PX_31_20 = ((p53*p52*p51-p52*p51-p53*p51+p51));
PX_31_21 = (((-1)*p53*p52*p51+p53*p52));
PX_31_22 = ((p53*p52*p51-p52*p51-p53*p52+p52));
PX_31_23 = ((p53*p52*p51-p53*p51-p53*p52+p53));
PX_31_24 = (((-1)*p53*p52*p51+p52*p51+p53*p51+p53*p52-p51-p52-p53+(1)));
PX_32_28 = ((1)); 
PX_33_29 = ((1)); 
PX_34_30 = ((1)); 
PX_35_31 = ((1)); 
PX_36_32 = ((1)); 
PX_37_33 = ((1)); 
PX_38_34 = ((1)); 

Output_abstract_model =( (PX_1_65*PX_30_15*PX_31_23*ab2*PX_3_26+PX_1_65*PX_30_15*PX_31_20*ab2*PX_3_26+PX_1_65*PX_30_15*PX_31_19*ab2*PX_3_26+PX_1_65*PX_30_15*PX_31_18*ab2*PX_3_26+PX_1_65*PX_30_15*PX_31_17*ab2*PX_3_26+PX_1_65*PX_30_15*c53*PX_3_26+PX_1_65*PX_30_15*c52*PX_3_26+PX_1_65*PX_30_15*c51*PX_3_26+PX_1_65*PX_30_15*PX_31_22*ab2*PX_3_26+PX_1_7*PX_30_15*ab2*PX_3_26+ab1*PX_30_15*PX_3_26+PX_1_1*PX_30_15*ab2*PX_3_26+PX_1_2*PX_30_15*ab2*PX_3_26+PX_1_3*PX_30_15*ab2*PX_3_26+PX_1_4*PX_30_15*ab2*PX_3_26+PX_1_5*PX_30_15*ab2*PX_3_26+PX_1_6*PX_30_15*ab2*PX_3_26+PX_1_65*PX_30_15*PX_31_21*ab2*PX_3_26+PX_1_65*PX_30_9*PX_31_21*ab2*PX_3_26+PX_1_6*PX_30_9*ab2*PX_3_26+PX_1_5*PX_30_9*ab2*PX_3_26+PX_1_4*PX_30_9*ab2*PX_3_26+PX_1_3*PX_30_9*ab2*PX_3_26+PX_1_2*PX_30_9*ab2*PX_3_26+PX_1_1*PX_30_9*ab2*PX_3_26+ab1*PX_30_9*PX_3_26+PX_1_7*PX_30_9*ab2*PX_3_26+PX_1_65*PX_30_9*PX_31_22*ab2*PX_3_26+PX_1_65*PX_30_9*c51*PX_3_26+PX_1_65*PX_30_9*c52*PX_3_26+PX_1_65*PX_30_9*c53*PX_3_26+PX_1_65*PX_30_9*PX_31_17*ab2*PX_3_26+PX_1_65*PX_30_9*PX_31_18*ab2*PX_3_26+PX_1_65*PX_30_9*PX_31_19*ab2*PX_3_26+PX_1_65*PX_30_9*PX_31_20*ab2*PX_3_26+PX_1_65*PX_30_9*PX_31_23*ab2*PX_3_26+PX_1_65*PX_30_14*PX_31_23*ab2*PX_3_26+PX_1_65*PX_30_14*PX_31_20*ab2*PX_3_26+PX_1_65*PX_30_14*PX_31_19*ab2*PX_3_26+PX_1_65*PX_30_14*PX_31_18*ab2*PX_3_26+PX_1_65*PX_30_14*PX_31_17*ab2*PX_3_26+PX_1_65*PX_30_14*c53*PX_3_26+PX_1_65*PX_30_14*c52*PX_3_26+PX_1_65*PX_30_14*c51*PX_3_26+PX_1_65*PX_30_14*PX_31_22*ab2*PX_3_26+PX_1_7*PX_30_14*ab2*PX_3_26+ab1*PX_30_14*PX_3_26+PX_1_1*PX_30_14*ab2*PX_3_26+PX_1_2*PX_30_14*ab2*PX_3_26+PX_1_3*PX_30_14*ab2*PX_3_26+PX_1_4*PX_30_14*ab2*PX_3_26+PX_1_5*PX_30_14*ab2*PX_3_26+PX_1_6*PX_30_14*ab2*PX_3_26+PX_1_65*PX_30_14*PX_31_21*ab2*PX_3_26+PX_1_65*PX_30_10*PX_31_21*ab2*PX_3_26+PX_1_6*PX_30_10*ab2*PX_3_26+PX_1_5*PX_30_10*ab2*PX_3_26+PX_1_4*PX_30_10*ab2*PX_3_26+PX_1_3*PX_30_10*ab2*PX_3_26+PX_1_2*PX_30_10*ab2*PX_3_26+PX_1_1*PX_30_10*ab2*PX_3_26+ab1*PX_30_10*PX_3_26+PX_1_7*PX_30_10*ab2*PX_3_26+PX_1_65*PX_30_10*PX_31_22*ab2*PX_3_26+PX_1_65*PX_30_10*c51*PX_3_26+PX_1_65*PX_30_10*c52*PX_3_26+PX_1_65*PX_30_10*c53*PX_3_26+PX_1_65*PX_30_10*PX_31_17*ab2*PX_3_26+PX_1_65*PX_30_10*PX_31_18*ab2*PX_3_26+PX_1_65*PX_30_10*PX_31_19*ab2*PX_3_26+PX_1_65*PX_30_10*PX_31_20*ab2*PX_3_26+PX_1_65*PX_30_10*PX_31_23*ab2*PX_3_26+(-1)*PX_1_65*PX_31_23*ab2+(-1)*PX_1_65*PX_31_20*ab2+(-1)*PX_1_65*PX_31_19*ab2+(-1)*PX_1_65*PX_31_18*ab2+(-1)*PX_1_65*PX_31_17*ab2+(-1)*PX_1_65*c53+(-1)*PX_1_65*c52+(-1)*PX_1_65*c51+(-1)*PX_1_65*PX_31_22*ab2+(-1)*PX_1_7*ab2+(-1)*ab1+(-1)*PX_1_1*ab2+(-1)*PX_1_2*ab2+(-1)*PX_1_3*ab2+(-1)*PX_1_4*ab2+(-1)*PX_1_5*ab2+(-1)*PX_1_6*ab2+(-1)*PX_1_64*PX_30_12*PX_31_22*ab2*PX_3_27+PX_1_65*PX_30_11*PX_31_21*ab2*PX_3_26+PX_1_6*PX_30_11*ab2*PX_3_26+PX_1_5*PX_30_11*ab2*PX_3_26+PX_1_4*PX_30_11*ab2*PX_3_26+PX_1_3*PX_30_11*ab2*PX_3_26+PX_1_2*PX_30_11*ab2*PX_3_26+PX_1_1*PX_30_11*ab2*PX_3_26+ab1*PX_30_11*PX_3_26+PX_1_7*PX_30_11*ab2*PX_3_26+PX_1_65*PX_30_11*PX_31_22*ab2*PX_3_26+PX_1_65*PX_30_11*c51*PX_3_26+PX_1_65*PX_30_11*c52*PX_3_26+PX_1_65*PX_30_11*c53*PX_3_26+PX_1_65*PX_30_11*PX_31_17*ab2*PX_3_26+PX_1_65*PX_30_11*PX_31_18*ab2*PX_3_26+PX_1_65*PX_30_11*PX_31_19*ab2*PX_3_26+PX_1_65*PX_30_11*PX_31_20*ab2*PX_3_26+PX_1_65*PX_30_11*PX_31_23*ab2*PX_3_26+(-1)*PX_1_64*PX_30_12*c51*PX_3_27+(-1)*PX_1_64*PX_30_12*c52*PX_3_27+(-1)*PX_1_64*PX_30_12*c53*PX_3_27+(-1)*PX_1_64*PX_30_12*PX_31_17*ab2*PX_3_27+(-1)*PX_1_64*PX_30_12*PX_31_18*ab2*PX_3_27+(-1)*PX_1_64*PX_30_12*PX_31_19*ab2*PX_3_27+(-1)*PX_1_64*PX_30_12*PX_31_20*ab2*PX_3_27+(-1)*PX_1_64*PX_30_12*PX_31_21*ab2*PX_3_27+(-1)*PX_1_64*PX_30_12*PX_31_23*ab2*PX_3_27+(-1)*PX_1_64*PX_30_11*PX_31_22*ab2*PX_3_27+(-1)*PX_1_64*PX_30_11*c51*PX_3_27+(-1)*PX_1_64*PX_30_11*c52*PX_3_27+(-1)*PX_1_64*PX_30_11*c53*PX_3_27+(-1)*PX_1_64*PX_30_11*PX_31_17*ab2*PX_3_27+(-1)*PX_1_64*PX_30_11*PX_31_18*ab2*PX_3_27+(-1)*PX_1_64*PX_30_11*PX_31_19*ab2*PX_3_27+(-1)*PX_1_64*PX_30_11*PX_31_20*ab2*PX_3_27+(-1)*PX_1_64*PX_30_11*PX_31_21*ab2*PX_3_27+PX_1_65*PX_30_12*PX_31_21*ab2*PX_3_26+PX_1_6*PX_30_12*ab2*PX_3_26+PX_1_5*PX_30_12*ab2*PX_3_26+PX_1_4*PX_30_12*ab2*PX_3_26+PX_1_3*PX_30_12*ab2*PX_3_26+PX_1_2*PX_30_12*ab2*PX_3_26+PX_1_1*PX_30_12*ab2*PX_3_26+ab1*PX_30_12*PX_3_26+PX_1_7*PX_30_12*ab2*PX_3_26+PX_1_65*PX_30_12*PX_31_22*ab2*PX_3_26+PX_1_65*PX_30_12*c51*PX_3_26+PX_1_65*PX_30_12*c52*PX_3_26+PX_1_65*PX_30_12*c53*PX_3_26+PX_1_65*PX_30_12*PX_31_17*ab2*PX_3_26+PX_1_65*PX_30_12*PX_31_18*ab2*PX_3_26+PX_1_65*PX_30_12*PX_31_19*ab2*PX_3_26+PX_1_65*PX_30_12*PX_31_20*ab2*PX_3_26+PX_1_65*PX_30_12*PX_31_23*ab2*PX_3_26+(-1)*PX_1_64*PX_30_11*PX_31_23*ab2*PX_3_27+(-1)*PX_1_64*PX_30_10*PX_31_22*ab2*PX_3_27+(-1)*PX_1_64*PX_30_10*c51*PX_3_27+(-1)*PX_1_64*PX_30_10*c52*PX_3_27+(-1)*PX_1_64*PX_30_10*c53*PX_3_27+(-1)*PX_1_64*PX_30_10*PX_31_17*ab2*PX_3_27+(-1)*PX_1_64*PX_30_10*PX_31_18*ab2*PX_3_27+(-1)*PX_1_64*PX_30_10*PX_31_19*ab2*PX_3_27+(-1)*PX_1_64*PX_30_10*PX_31_20*ab2*PX_3_27+(-1)*PX_1_64*PX_30_10*PX_31_21*ab2*PX_3_27+(-1)*PX_1_64*PX_30_10*PX_31_23*ab2*PX_3_27+(-1)*PX_1_64*PX_30_9*PX_31_22*ab2*PX_3_27+(-1)*PX_1_64*PX_30_9*c51*PX_3_27+(-1)*PX_1_64*PX_30_9*c52*PX_3_27+(-1)*PX_1_64*PX_30_9*c53*PX_3_27+(-1)*PX_1_64*PX_30_9*PX_31_17*ab2*PX_3_27+(-1)*PX_1_64*PX_30_9*PX_31_18*ab2*PX_3_27+(-1)*PX_1_64*PX_30_9*PX_31_19*ab2*PX_3_27+PX_1_65*PX_30_13*PX_31_21*ab2*PX_3_26+PX_1_6*PX_30_13*ab2*PX_3_26+PX_1_5*PX_30_13*ab2*PX_3_26+PX_1_4*PX_30_13*ab2*PX_3_26+PX_1_3*PX_30_13*ab2*PX_3_26+PX_1_2*PX_30_13*ab2*PX_3_26+PX_1_1*PX_30_13*ab2*PX_3_26+ab1*PX_30_13*PX_3_26+PX_1_7*PX_30_13*ab2*PX_3_26+PX_1_65*PX_30_13*PX_31_22*ab2*PX_3_26+PX_1_65*PX_30_13*c51*PX_3_26+PX_1_65*PX_30_13*c52*PX_3_26+PX_1_65*PX_30_13*c53*PX_3_26+PX_1_65*PX_30_13*PX_31_17*ab2*PX_3_26+PX_1_65*PX_30_13*PX_31_18*ab2*PX_3_26+PX_1_65*PX_30_13*PX_31_19*ab2*PX_3_26+PX_1_65*PX_30_13*PX_31_20*ab2*PX_3_26+PX_1_65*PX_30_13*PX_31_23*ab2*PX_3_26+(-1)*PX_1_64*PX_30_9*PX_31_20*ab2*PX_3_27+(-1)*PX_1_64*PX_30_9*PX_31_21*ab2*PX_3_27+(-1)*PX_1_64*PX_30_9*PX_31_23*ab2*PX_3_27+(-1)*PX_1_64*PX_30_15*PX_31_22*ab2*PX_3_27+(-1)*PX_1_64*PX_30_15*c51*PX_3_27+(-1)*PX_1_64*PX_30_15*c52*PX_3_27+(-1)*PX_1_64*PX_30_15*c53*PX_3_27+(-1)*PX_1_64*PX_30_15*PX_31_17*ab2*PX_3_27+(-1)*PX_1_64*PX_30_15*PX_31_18*ab2*PX_3_27+(-1)*PX_1_64*PX_30_15*PX_31_19*ab2*PX_3_27+(-1)*PX_1_64*PX_30_15*PX_31_20*ab2*PX_3_27+(-1)*PX_1_64*PX_30_15*PX_31_21*ab2*PX_3_27+(-1)*PX_1_64*PX_30_15*PX_31_23*ab2*PX_3_27+(-1)*PX_1_64*PX_30_13*PX_31_23*ab2*PX_3_27+(-1)*PX_1_64*PX_30_13*PX_31_21*ab2*PX_3_27+(-1)*PX_1_64*PX_30_13*PX_31_20*ab2*PX_3_27+(-1)*PX_1_64*PX_30_13*PX_31_19*ab2*PX_3_27+(-1)*PX_1_64*PX_30_13*PX_31_18*ab2*PX_3_27+(-1)*PX_1_64*PX_30_13*PX_31_17*ab2*PX_3_27+(-1)*PX_1_64*PX_30_13*c53*PX_3_27+(-1)*PX_1_64*PX_30_13*c52*PX_3_27+(-1)*PX_1_64*PX_30_13*c51*PX_3_27+(-1)*PX_1_64*PX_30_13*PX_31_22*ab2*PX_3_27+(-1)*PX_1_64*c41+(-1)*PX_1_64*c43+(-1)*PX_1_64*PX_30_14*PX_31_23*ab2*PX_3_27+(-1)*PX_1_64*PX_30_14*PX_31_21*ab2*PX_3_27+(-1)*PX_1_64*PX_30_14*PX_31_20*ab2*PX_3_27+(-1)*PX_1_64*PX_30_14*PX_31_19*ab2*PX_3_27+(-1)*PX_1_64*PX_30_14*PX_31_18*ab2*PX_3_27+(-1)*PX_1_64*PX_30_14*PX_31_17*ab2*PX_3_27+(-1)*PX_1_64*PX_30_14*c53*PX_3_27+(-1)*PX_1_64*PX_30_14*c52*PX_3_27+(-1)*PX_1_64*PX_30_14*c51*PX_3_27+(-1)*PX_1_64*PX_30_14*PX_31_22*ab2*PX_3_27+(-1)*PX_1_65*PX_31_21*ab2+(-1)*PX_1_64*c42)/(PX_1_64*PX_30_15*PX_3_25+PX_1_64*PX_30_14*PX_3_25+PX_30_13*PX_3_26+PX_1_64*PX_30_13*PX_3_25+PX_30_12*PX_3_26+PX_1_64*PX_30_12*PX_3_25+PX_30_11*PX_3_26+PX_1_64*PX_30_11*PX_3_25+PX_30_10*PX_3_26+PX_1_64*PX_30_10*PX_3_25+PX_30_9*PX_3_26+PX_1_64*PX_30_9*PX_3_25+PX_30_15*PX_3_26+PX_30_14*PX_3_26+(-1))); 
