177.89/177.91 MAYBE 177.89/177.91 177.89/177.91 Preprocessing Cost Relations 177.89/177.91 ===================================== 177.89/177.91 177.89/177.91 #### Computed strongly connected components 177.89/177.91 0. recursive : [f33/6] 177.89/177.91 1. recursive : [f26/35,f33_loop_cont/36,f39/35,f52/35,f59/35,f63/35] 177.89/177.91 2. non_recursive : [exit_location/1] 177.89/177.91 3. recursive : [f71/1] 177.89/177.91 4. non_recursive : [f71_loop_cont/2] 177.89/177.91 5. non_recursive : [f68/26] 177.89/177.91 6. non_recursive : [f26_loop_cont/27] 177.89/177.91 7. non_recursive : [f20/26] 177.89/177.91 8. non_recursive : [f0/26] 177.89/177.91 177.89/177.91 #### Obtained direct recursion through partial evaluation 177.89/177.91 0. SCC is partially evaluated into f33/6 177.89/177.91 1. SCC is partially evaluated into f26/35 177.89/177.91 2. SCC is completely evaluated into other SCCs 177.89/177.91 3. SCC is partially evaluated into f71/1 177.89/177.91 4. SCC is completely evaluated into other SCCs 177.89/177.91 5. SCC is partially evaluated into f68/26 177.89/177.91 6. SCC is partially evaluated into f26_loop_cont/27 177.89/177.91 7. SCC is partially evaluated into f20/26 177.89/177.91 8. SCC is partially evaluated into f0/26 177.89/177.91 177.89/177.91 Control-Flow Refinement of Cost Relations 177.89/177.91 ===================================== 177.89/177.91 177.89/177.91 ### Specialization of cost equations f33/6 177.89/177.91 * CE 59 is refined into CE [64] 177.89/177.91 * CE 55 is refined into CE [65] 177.89/177.91 * CE 56 is refined into CE [66] 177.89/177.91 * CE 58 is refined into CE [67] 177.89/177.91 * CE 57 is refined into CE [68] 177.89/177.91 177.89/177.91 177.89/177.91 ### Cost equations --> "Loop" of f33/6 177.89/177.91 * CEs [67] --> Loop 64 177.89/177.91 * CEs [68] --> Loop 65 177.89/177.91 * CEs [64] --> Loop 66 177.89/177.91 * CEs [65] --> Loop 67 177.89/177.91 * CEs [66] --> Loop 68 177.89/177.91 177.89/177.91 ### Ranking functions of CR f33(H,I,J,D1,E1,F1) 177.89/177.91 177.89/177.91 #### Partial ranking functions of CR f33(H,I,J,D1,E1,F1) 177.89/177.91 177.89/177.91 177.89/177.91 ### Specialization of cost equations f26/35 177.89/177.91 * CE 48 is refined into CE [69,70,71] 177.89/177.91 * CE 47 is refined into CE [72,73,74] 177.89/177.91 * CE 50 is refined into CE [75] 177.89/177.91 * CE 49 is refined into CE [76,77,78,79,80] 177.89/177.91 * CE 52 is refined into CE [81] 177.89/177.91 * CE 27 is refined into CE [82,83,84] 177.89/177.91 * CE 26 is refined into CE [85,86,87] 177.89/177.91 * CE 18 is refined into CE [88,89,90] 177.89/177.91 * CE 17 is refined into CE [91,92,93] 177.89/177.91 * CE 45 is refined into CE [94,95,96] 177.89/177.91 * CE 44 is refined into CE [97,98,99] 177.89/177.91 * CE 36 is refined into CE [100,101,102] 177.89/177.91 * CE 35 is refined into CE [103,104,105] 177.89/177.91 * CE 21 is refined into CE [106,107,108] 177.89/177.91 * CE 12 is refined into CE [109,110,111] 177.89/177.91 * CE 22 is refined into CE [112,113,114] 177.89/177.91 * CE 13 is refined into CE [115,116,117] 177.89/177.91 * CE 39 is refined into CE [118,119,120] 177.89/177.91 * CE 30 is refined into CE [121,122,123] 177.89/177.91 * CE 40 is refined into CE [124,125,126] 177.89/177.91 * CE 31 is refined into CE [127,128,129] 177.89/177.91 * CE 28 is refined into CE [130,131,132] 177.89/177.91 * CE 19 is refined into CE [133,134,135] 177.89/177.91 * CE 46 is refined into CE [136,137,138] 177.89/177.91 * CE 37 is refined into CE [139,140,141] 177.89/177.91 * CE 8 is refined into CE [142,143,144] 177.89/177.91 * CE 7 is refined into CE [145,146,147] 177.89/177.91 * CE 10 is refined into CE [148,149,150] 177.89/177.91 * CE 9 is refined into CE [151,152,153] 177.89/177.91 * CE 24 is refined into CE [154,155,156] 177.89/177.91 * CE 15 is refined into CE [157,158,159] 177.89/177.91 * CE 25 is refined into CE [160,161,162] 177.89/177.91 * CE 16 is refined into CE [163,164,165] 177.89/177.91 * CE 42 is refined into CE [166,167,168] 177.89/177.91 * CE 33 is refined into CE [169,170,171] 177.89/177.91 * CE 43 is refined into CE [172,173,174] 177.89/177.91 * CE 34 is refined into CE [175,176,177] 177.89/177.91 * CE 51 is refined into CE [178] 177.89/177.91 * CE 20 is refined into CE [179,180,181] 177.89/177.91 * CE 11 is refined into CE [182,183,184] 177.89/177.91 * CE 38 is refined into CE [185,186,187] 177.89/177.91 * CE 29 is refined into CE [188,189,190] 177.89/177.91 * CE 23 is refined into CE [191,192,193] 177.89/177.91 * CE 14 is refined into CE [194,195,196] 177.89/177.91 * CE 41 is refined into CE [197,198,199] 177.89/177.91 * CE 32 is refined into CE [200,201,202] 177.89/177.91 177.89/177.91 177.89/177.91 ### Cost equations --> "Loop" of f26/35 177.89/177.91 * CEs [108] --> Loop 69 177.89/177.91 * CEs [111] --> Loop 70 177.89/177.91 * CEs [114] --> Loop 71 177.89/177.91 * CEs [117] --> Loop 72 177.89/177.91 * CEs [107] --> Loop 73 177.89/177.91 * CEs [110] --> Loop 74 177.89/177.91 * CEs [113] --> Loop 75 177.89/177.91 * CEs [116] --> Loop 76 177.89/177.91 * CEs [120] --> Loop 77 177.89/177.91 * CEs [123] --> Loop 78 177.89/177.91 * CEs [126] --> Loop 79 177.89/177.91 * CEs [129] --> Loop 80 177.89/177.91 * CEs [119] --> Loop 81 177.89/177.91 * CEs [122] --> Loop 82 177.89/177.91 * CEs [125] --> Loop 83 177.89/177.91 * CEs [128] --> Loop 84 177.89/177.91 * CEs [132] --> Loop 85 177.89/177.91 * CEs [135] --> Loop 86 177.89/177.91 * CEs [131] --> Loop 87 177.89/177.91 * CEs [134] --> Loop 88 177.89/177.91 * CEs [138] --> Loop 89 177.89/177.91 * CEs [141] --> Loop 90 177.89/177.91 * CEs [137] --> Loop 91 177.89/177.91 * CEs [140] --> Loop 92 177.89/177.91 * CEs [144] --> Loop 93 177.89/177.91 * CEs [147] --> Loop 94 177.89/177.91 * CEs [143] --> Loop 95 177.89/177.91 * CEs [146] --> Loop 96 177.89/177.91 * CEs [150] --> Loop 97 177.89/177.91 * CEs [153] --> Loop 98 177.89/177.91 * CEs [149] --> Loop 99 177.89/177.91 * CEs [152] --> Loop 100 177.89/177.91 * CEs [156] --> Loop 101 177.89/177.91 * CEs [159] --> Loop 102 177.89/177.91 * CEs [162] --> Loop 103 177.89/177.91 * CEs [165] --> Loop 104 177.89/177.91 * CEs [155] --> Loop 105 177.89/177.91 * CEs [158] --> Loop 106 177.89/177.91 * CEs [161] --> Loop 107 177.89/177.91 * CEs [164] --> Loop 108 177.89/177.91 * CEs [168] --> Loop 109 177.89/177.91 * CEs [171] --> Loop 110 177.89/177.91 * CEs [174] --> Loop 111 177.89/177.91 * CEs [177] --> Loop 112 177.89/177.91 * CEs [167] --> Loop 113 177.89/177.91 * CEs [170] --> Loop 114 177.89/177.91 * CEs [173] --> Loop 115 177.89/177.91 * CEs [176] --> Loop 116 177.89/177.91 * CEs [181] --> Loop 117 177.89/177.91 * CEs [184] --> Loop 118 177.89/177.91 * CEs [180] --> Loop 119 177.89/177.91 * CEs [183] --> Loop 120 177.89/177.91 * CEs [187] --> Loop 121 177.89/177.91 * CEs [190] --> Loop 122 177.89/177.91 * CEs [186] --> Loop 123 177.89/177.91 * CEs [189] --> Loop 124 177.89/177.91 * CEs [193] --> Loop 125 177.89/177.91 * CEs [196] --> Loop 126 177.89/177.91 * CEs [192] --> Loop 127 177.89/177.91 * CEs [195] --> Loop 128 177.89/177.91 * CEs [199] --> Loop 129 177.89/177.91 * CEs [202] --> Loop 130 177.89/177.91 * CEs [198] --> Loop 131 177.89/177.91 * CEs [201] --> Loop 132 177.89/177.91 * CEs [154] --> Loop 133 177.89/177.91 * CEs [157] --> Loop 134 177.89/177.91 * CEs [160] --> Loop 135 177.89/177.91 * CEs [163] --> Loop 136 177.89/177.91 * CEs [166] --> Loop 137 177.89/177.91 * CEs [169] --> Loop 138 177.89/177.91 * CEs [172] --> Loop 139 177.89/177.91 * CEs [175] --> Loop 140 177.89/177.91 * CEs [106] --> Loop 141 177.89/177.91 * CEs [109] --> Loop 142 177.89/177.91 * CEs [112] --> Loop 143 177.89/177.91 * CEs [115] --> Loop 144 177.89/177.91 * CEs [118] --> Loop 145 177.89/177.91 * CEs [121] --> Loop 146 177.89/177.91 * CEs [124] --> Loop 147 177.89/177.91 * CEs [127] --> Loop 148 177.89/177.91 * CEs [130] --> Loop 149 177.89/177.91 * CEs [133] --> Loop 150 177.89/177.91 * CEs [136] --> Loop 151 177.89/177.91 * CEs [139] --> Loop 152 177.89/177.91 * CEs [142] --> Loop 153 177.89/177.91 * CEs [145] --> Loop 154 177.89/177.91 * CEs [148] --> Loop 155 177.89/177.91 * CEs [151] --> Loop 156 177.89/177.91 * CEs [178] --> Loop 157 177.89/177.91 * CEs [191] --> Loop 158 177.89/177.91 * CEs [194] --> Loop 159 177.89/177.91 * CEs [197] --> Loop 160 177.89/177.91 * CEs [200] --> Loop 161 177.89/177.91 * CEs [179] --> Loop 162 177.89/177.91 * CEs [182] --> Loop 163 177.89/177.91 * CEs [185] --> Loop 164 177.89/177.91 * CEs [188] --> Loop 165 177.89/177.91 * CEs [71] --> Loop 166 177.89/177.91 * CEs [74] --> Loop 167 177.89/177.91 * CEs [70] --> Loop 168 177.89/177.91 * CEs [73] --> Loop 169 177.89/177.91 * CEs [80] --> Loop 170 177.89/177.91 * CEs [79] --> Loop 171 177.89/177.91 * CEs [84] --> Loop 172 177.89/177.91 * CEs [87] --> Loop 173 177.89/177.91 * CEs [90] --> Loop 174 177.89/177.91 * CEs [93] --> Loop 175 177.89/177.91 * CEs [83] --> Loop 176 177.89/177.91 * CEs [86] --> Loop 177 177.89/177.91 * CEs [89] --> Loop 178 177.89/177.91 * CEs [92] --> Loop 179 177.89/177.91 * CEs [96] --> Loop 180 177.89/177.91 * CEs [99] --> Loop 181 177.89/177.91 * CEs [102] --> Loop 182 177.89/177.91 * CEs [105] --> Loop 183 177.89/177.91 * CEs [95] --> Loop 184 177.89/177.91 * CEs [98] --> Loop 185 177.89/177.91 * CEs [101] --> Loop 186 177.89/177.91 * CEs [104] --> Loop 187 177.89/177.91 * CEs [75] --> Loop 188 177.89/177.91 * CEs [81] --> Loop 189 177.89/177.91 * CEs [76] --> Loop 190 177.89/177.91 * CEs [78] --> Loop 191 177.89/177.91 * CEs [77] --> Loop 192 177.89/177.91 * CEs [82] --> Loop 193 177.89/177.91 * CEs [85] --> Loop 194 177.89/177.91 * CEs [88] --> Loop 195 177.89/177.91 * CEs [91] --> Loop 196 177.89/177.91 * CEs [94] --> Loop 197 177.89/177.91 * CEs [97] --> Loop 198 177.89/177.91 * CEs [100] --> Loop 199 177.89/177.91 * CEs [103] --> Loop 200 177.89/177.91 * CEs [69] --> Loop 201 177.89/177.91 * CEs [72] --> Loop 202 177.89/177.91 177.89/177.91 ### Ranking functions of CR f26(C,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1) 177.89/177.91 * RF of phase [69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165]: [-C+E] 177.89/177.91 177.89/177.91 #### Partial ranking functions of CR f26(C,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1) 177.89/177.91 * Partial RF of phase [69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165]: 177.89/177.91 - RF of loop [69:1,70:1,71:1,72:1,73:1,74:1,75:1,76:1,77:1,78:1,79:1,80:1,81:1,82:1,83:1,84:1,85:1,86:1,87:1,88:1,89:1,90:1,91:1,92:1,93:1,94:1,95:1,96:1,97:1,98:1,99:1,100:1,101:1,102:1,103:1,104:1,105:1,106:1,107:1,108:1,109:1,110:1,111:1,112:1,113:1,114:1,115:1,116:1,117:1,118:1,119:1,120:1,121:1,122:1,123:1,124:1,125:1,126:1,127:1,128:1,129:1,130:1,131:1,132:1]: 177.89/177.91 -H+I+1 177.89/177.91 - RF of loop [69:1,70:1,71:1,72:1,73:1,74:1,75:1,76:1,77:1,78:1,79:1,80:1,81:1,82:1,83:1,84:1,85:1,86:1,87:1,88:1,89:1,90:1,91:1,92:1,93:1,94:1,95:1,96:1,97:1,98:1,99:1,100:1,101:1,102:1,103:1,104:1,105:1,106:1,107:1,108:1,109:1,110:1,111:1,112:1,113:1,114:1,115:1,116:1,117:1,118:1,119:1,120:1,121:1,122:1,123:1,124:1,125:1,126:1,127:1,128:1,129:1,130:1,131:1,132:1,133:1,134:1,135:1,136:1,137:1,138:1,139:1,140:1,141:1,142:1,143:1,144:1,145:1,146:1,147:1,148:1,149:1,150:1,151:1,152:1,153:1,154:1,155:1,156:1,157:1,158:1,159:1,160:1,161:1,162:1,163:1,164:1,165:1]: 177.89/177.91 -C+E 177.89/177.91 - RF of loop [101:1,102:1,103:1,104:1,105:1,106:1,107:1,108:1,109:1,110:1,111:1,112:1,113:1,114:1,115:1,116:1,125:1,126:1,127:1,128:1,129:1,130:1,131:1,132:1,133:1,134:1,135:1,136:1,137:1,138:1,139:1,140:1,158:1,159:1,160:1,161:1]: 177.89/177.91 E-U 177.89/177.91 177.89/177.91 177.89/177.91 ### Specialization of cost equations f71/1 177.89/177.91 * CE 63 is refined into CE [203] 177.89/177.91 * CE 62 is refined into CE [204] 177.89/177.91 177.89/177.91 177.89/177.91 ### Cost equations --> "Loop" of f71/1 177.89/177.91 * CEs [204] --> Loop 203 177.89/177.91 * CEs [203] --> Loop 204 177.89/177.91 177.89/177.91 ### Ranking functions of CR f71(D1) 177.89/177.91 177.89/177.91 #### Partial ranking functions of CR f71(D1) 177.89/177.91 177.89/177.91 177.89/177.91 ### Specialization of cost equations f68/26 177.89/177.91 * CE 61 is refined into CE [205,206] 177.89/177.91 * CE 60 is refined into CE [207,208] 177.89/177.91 177.89/177.91 177.89/177.91 ### Cost equations --> "Loop" of f68/26 177.89/177.91 * CEs [206] --> Loop 205 177.89/177.91 * CEs [208] --> Loop 206 177.89/177.91 * CEs [205] --> Loop 207 177.89/177.91 * CEs [207] --> Loop 208 177.89/177.91 177.89/177.91 ### Ranking functions of CR f68(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,D1) 177.89/177.91 177.89/177.91 #### Partial ranking functions of CR f68(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,D1) 177.89/177.91 177.89/177.91 177.89/177.91 ### Specialization of cost equations f26_loop_cont/27 177.89/177.91 * CE 53 is refined into CE [209,210,211,212] 177.89/177.91 * CE 54 is refined into CE [213] 177.89/177.91 177.89/177.91 177.89/177.91 ### Cost equations --> "Loop" of f26_loop_cont/27 177.89/177.91 * CEs [210] --> Loop 209 177.89/177.91 * CEs [209] --> Loop 210 177.89/177.91 * CEs [213] --> Loop 211 177.89/177.91 * CEs [212] --> Loop 212 177.89/177.91 * CEs [211] --> Loop 213 177.89/177.91 177.89/177.91 ### Ranking functions of CR f26_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) 177.89/177.91 177.89/177.91 #### Partial ranking functions of CR f26_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1) 177.89/177.91 177.89/177.91 177.89/177.91 ### Specialization of cost equations f20/26 177.89/177.91 * CE 4 is refined into CE [214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,272,273,274,275,276,277,278,279,280,281,282,283,284,285,286,287,288,289,290,291,292,293,294,295,296,297,298,299,300,301,302,303,304,305,306,307,308,309,310,311,312,313,314,315,316,317,318,319,320,321,322,323,324,325,326,327,328,329,330,331,332,333,334,335,336,337,338,339,340,341,342,343,344,345,346,347,348,349,350,351,352,353,354,355,356,357,358,359,360,361,362,363,364,365,366] 177.89/177.91 * CE 6 is refined into CE [367,368,369,370,371,372,373,374,375,376,377,378,379,380,381,382,383,384,385,386,387,388,389,390,391,392,393,394,395,396,397,398,399,400,401,402,403,404,405,406,407,408,409,410,411,412,413,414,415,416,417,418,419,420,421,422,423,424,425,426,427,428,429,430,431,432,433,434,435,436,437,438,439,440,441,442,443,444,445,446,447,448,449,450,451,452,453,454,455,456,457,458,459,460,461,462,463,464,465,466,467,468,469,470,471,472,473,474,475,476,477,478,479,480,481,482,483,484,485,486,487,488,489,490,491,492,493,494,495,496,497,498,499,500,501,502,503,504,505,506,507,508,509,510,511,512,513,514,515,516,517,518,519] 177.89/177.91 * CE 5 is refined into CE [520,521,522,523,524,525,526,527,528,529,530,531,532,533,534,535,536,537,538,539,540,541,542,543,544,545,546,547,548,549,550,551,552,553,554,555,556,557,558,559,560,561,562,563,564,565,566,567,568,569,570,571,572,573,574,575,576,577,578,579,580,581,582,583,584,585,586,587,588,589,590,591,592,593,594,595,596,597,598,599,600,601,602,603,604,605,606,607,608,609,610,611,612,613,614,615,616,617,618,619,620,621,622,623,624,625,626,627,628,629,630,631,632,633,634,635,636,637,638,639,640,641,642,643,644,645,646,647,648,649,650,651,652,653,654,655,656,657,658,659,660,661,662,663,664,665,666,667,668,669,670,671,672] 177.89/177.91 177.89/177.91 177.89/177.91 ### Cost equations --> "Loop" of f20/26 177.89/177.91 * CEs [278] --> Loop 214 177.89/177.91 * CEs [281,282] --> Loop 215 177.89/177.91 * CEs [350,363,364,365,366] --> Loop 216 177.89/177.91 * CEs [349,355,356,357,358] --> Loop 217 177.89/177.91 * CEs [348,359,360,361,362] --> Loop 218 177.89/177.91 * CEs [347,351,352,353,354] --> Loop 219 177.89/177.91 * CEs [431] --> Loop 220 177.89/177.91 * CEs [434,435] --> Loop 221 177.89/177.91 * CEs [503,516,517,518,519] --> Loop 222 177.89/177.91 * CEs [502,508,509,510,511] --> Loop 223 177.89/177.91 * CEs [501,512,513,514,515] --> Loop 224 177.89/177.91 * CEs [500,504,505,506,507] --> Loop 225 177.89/177.91 * CEs [240,241,244,245,248,249,252,253,256,257,260,261,264,265,268,269] --> Loop 226 177.89/177.91 * CEs [223,225,227,229,231,233,235,237] --> Loop 227 177.89/177.91 * CEs [323,324,325,326,327,328,329,330,339,340,341,342,343,344,345,346] --> Loop 228 177.89/177.91 * CEs [291,292,293,294,295,296,297,298,307,308,309,310,311,312,313,314] --> Loop 229 177.89/177.91 * CEs [315,316,317,318,319,320,321,322,331,332,333,334,335,336,337,338] --> Loop 230 177.89/177.91 * CEs [283,284,285,286,287,288,289,290,299,300,301,302,303,304,305,306] --> Loop 231 177.89/177.91 * CEs [393,394,397,398,401,402,405,406,409,410,413,414,417,418,421,422] --> Loop 232 177.89/177.91 * CEs [376,378,380,382,384,386,388,390] --> Loop 233 177.89/177.91 * CEs [476,477,478,479,480,481,482,483,492,493,494,495,496,497,498,499] --> Loop 234 177.89/177.91 * CEs [444,445,446,447,448,449,450,451,460,461,462,463,464,465,466,467] --> Loop 235 177.89/177.91 * CEs [468,469,470,471,472,473,474,475,484,485,486,487,488,489,490,491] --> Loop 236 177.89/177.91 * CEs [436,437,438,439,440,441,442,443,452,453,454,455,456,457,458,459] --> Loop 237 177.89/177.91 * CEs [219,221] --> Loop 238 177.89/177.91 * CEs [215,217] --> Loop 239 177.89/177.91 * CEs [372,374] --> Loop 240 177.89/177.91 * CEs [368,370] --> Loop 241 177.89/177.91 * CEs [587,588] --> Loop 242 177.89/177.91 * CEs [656,669,670,671,672] --> Loop 243 177.89/177.91 * CEs [655,661,662,663,664] --> Loop 244 177.89/177.91 * CEs [654,665,666,667,668] --> Loop 245 177.89/177.91 * CEs [653,657,658,659,660] --> Loop 246 177.89/177.91 * CEs [584] --> Loop 247 177.89/177.91 * CEs [546,547,550,551,554,555,558,559,562,563,566,567,570,571,574,575] --> Loop 248 177.89/177.91 * CEs [529,531,533,535,537,539,541,543] --> Loop 249 177.89/177.91 * CEs [629,630,631,632,633,634,635,636,645,646,647,648,649,650,651,652] --> Loop 250 177.89/177.91 * CEs [597,598,599,600,601,602,603,604,613,614,615,616,617,618,619,620] --> Loop 251 177.89/177.91 * CEs [621,622,623,624,625,626,627,628,637,638,639,640,641,642,643,644] --> Loop 252 177.89/177.91 * CEs [589,590,591,592,593,594,595,596,605,606,607,608,609,610,611,612] --> Loop 253 177.89/177.91 * CEs [525,527] --> Loop 254 177.89/177.91 * CEs [521,523] --> Loop 255 177.89/177.91 * CEs [277] --> Loop 256 177.89/177.91 * CEs [275] --> Loop 257 177.89/177.91 * CEs [274,279,280] --> Loop 258 177.89/177.91 * CEs [276] --> Loop 259 177.89/177.91 * CEs [273] --> Loop 260 177.89/177.91 * CEs [272] --> Loop 261 177.89/177.91 * CEs [271] --> Loop 262 177.89/177.91 * CEs [270] --> Loop 263 177.89/177.91 * CEs [430] --> Loop 264 177.89/177.91 * CEs [428] --> Loop 265 177.89/177.91 * CEs [427,432,433] --> Loop 266 177.89/177.91 * CEs [429] --> Loop 267 177.89/177.91 * CEs [426] --> Loop 268 177.89/177.91 * CEs [425] --> Loop 269 177.89/177.91 * CEs [424] --> Loop 270 177.89/177.91 * CEs [423] --> Loop 271 177.89/177.91 * CEs [238,239,242,243,246,247,250,251,254,255,258,259,262,263,266,267] --> Loop 272 177.89/177.91 * CEs [222,224,226,228,230,232,234,236] --> Loop 273 177.89/177.91 * CEs [391,392,395,396,399,400,403,404,407,408,411,412,415,416,419,420] --> Loop 274 177.89/177.91 * CEs [375,377,379,381,383,385,387,389] --> Loop 275 177.89/177.91 * CEs [218,220] --> Loop 276 177.89/177.91 * CEs [214,216] --> Loop 277 177.89/177.91 * CEs [371,373] --> Loop 278 177.89/177.91 * CEs [367,369] --> Loop 279 177.89/177.91 * CEs [582] --> Loop 280 177.89/177.91 * CEs [581] --> Loop 281 177.89/177.91 * CEs [580,585,586] --> Loop 282 177.89/177.91 * CEs [579] --> Loop 283 177.89/177.91 * CEs [578] --> Loop 284 177.89/177.91 * CEs [577] --> Loop 285 177.89/177.91 * CEs [576] --> Loop 286 177.89/177.91 * CEs [583] --> Loop 287 177.89/177.91 * CEs [544,545,548,549,552,553,556,557,560,561,564,565,568,569,572,573] --> Loop 288 177.89/177.91 * CEs [528,530,532,534,536,538,540,542] --> Loop 289 177.89/177.91 * CEs [524,526] --> Loop 290 177.89/177.91 * CEs [520,522] --> Loop 291 177.89/177.91 177.89/177.91 ### Ranking functions of CR f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,D1) 177.89/177.91 177.89/177.91 #### Partial ranking functions of CR f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,D1) 177.89/177.91 177.89/177.91 177.89/177.91 ### Specialization of cost equations f0/26 177.89/177.91 * CE 3 is refined into CE [673,674,675,676,677,678,679,680,681,682,683,684,685,686,687,688,689,690,691,692,693,694,695,696,697,698,699,700,701,702,703,704,705,706,707,708,709,710,711,712,713,714,715,716,717,718,719,720,721,722,723,724,725,726,727,728,729,730,731,732,733,734,735,736,737,738,739,740,741,742,743,744,745,746,747,748,749,750] 177.89/177.91 * CE 2 is refined into CE [751,752,753,754,755,756,757,758,759,760,761,762,763,764,765,766,767,768,769,770,771,772,773,774,775,776,777,778,779,780,781,782,783,784,785,786,787,788,789,790,791,792,793,794,795,796,797,798,799,800,801,802,803,804,805,806,807,808,809,810,811,812,813,814,815,816,817,818,819,820,821,822,823,824,825,826,827,828] 177.89/177.91 * CE 1 is refined into CE [829,830,831,832,833,834,835,836,837,838,839,840,841,842,843,844,845,846,847,848,849,850,851,852,853,854,855,856,857,858,859,860,861,862,863,864,865,866,867,868,869,870,871,872,873,874,875,876,877,878,879,880,881,882,883,884,885,886,887,888,889,890,891,892,893,894,895,896,897,898,899,900,901,902,903,904,905,906] 177.89/177.91 177.89/177.91 177.89/177.91 ### Cost equations --> "Loop" of f0/26 177.89/177.91 * CEs [717,722,747,748,749,750] --> Loop 292 177.89/177.91 * CEs [795,800,825,826,827,828] --> Loop 293 177.89/177.91 * CEs [720,721,743,744,745,746] --> Loop 294 177.89/177.91 * CEs [798,799,821,822,823,824] --> Loop 295 177.89/177.91 * CEs [718,719,739,740,741,742] --> Loop 296 177.89/177.91 * CEs [796,797,817,818,819,820] --> Loop 297 177.89/177.91 * CEs [876,877,899,900,901,902] --> Loop 298 177.89/177.91 * CEs [874,875,895,896,897,898] --> Loop 299 177.89/177.91 * CEs [873,878,903,904,905,906] --> Loop 300 177.89/177.91 * CEs [716,736,738] --> Loop 301 177.89/177.91 * CEs [715,735,737] --> Loop 302 177.89/177.91 * CEs [793,813,815] --> Loop 303 177.89/177.91 * CEs [794,814,816] --> Loop 304 177.89/177.91 * CEs [713,714,731,732,733,734] --> Loop 305 177.89/177.91 * CEs [791,792,809,810,811,812] --> Loop 306 177.89/177.91 * CEs [711,712,727,728,729,730] --> Loop 307 177.89/177.91 * CEs [789,790,805,806,807,808] --> Loop 308 177.89/177.91 * CEs [871,891,893] --> Loop 309 177.89/177.91 * CEs [869,870,887,888,889,890] --> Loop 310 177.89/177.91 * CEs [867,868,883,884,885,886] --> Loop 311 177.89/177.91 * CEs [872,892,894] --> Loop 312 177.89/177.91 * CEs [709,710,723,724,725,726] --> Loop 313 177.89/177.91 * CEs [787,788,801,802,803,804] --> Loop 314 177.89/177.91 * CEs [865,866,879,880,881,882] --> Loop 315 177.89/177.91 * CEs [677,682,683,684,701,702,703,704,705,706,707,708] --> Loop 316 177.89/177.91 * CEs [755,760,761,762,779,780,781,782,783,784,785,786] --> Loop 317 177.89/177.91 * CEs [680,681,697,698,699,700] --> Loop 318 177.89/177.91 * CEs [758,759,775,776,777,778] --> Loop 319 177.89/177.91 * CEs [678,679,693,694,695,696] --> Loop 320 177.89/177.91 * CEs [756,757,771,772,773,774] --> Loop 321 177.89/177.91 * CEs [836,837,853,854,855,856] --> Loop 322 177.89/177.91 * CEs [834,835,849,850,851,852] --> Loop 323 177.89/177.91 * CEs [833,838,839,840,857,858,859,860,861,862,863,864] --> Loop 324 177.89/177.91 * CEs [676,690,692] --> Loop 325 177.89/177.91 * CEs [675,689,691] --> Loop 326 177.89/177.91 * CEs [753,767,769] --> Loop 327 177.89/177.91 * CEs [754,768,770] --> Loop 328 177.89/177.91 * CEs [831,845,847] --> Loop 329 177.89/177.91 * CEs [832,846,848] --> Loop 330 177.89/177.91 * CEs [673,674,685,686,687,688] --> Loop 331 177.89/177.91 * CEs [751,752,763,764,765,766] --> Loop 332 177.89/177.91 * CEs [829,830,841,842,843,844] --> Loop 333 177.89/177.91 177.89/177.91 ### Ranking functions of CR f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,D1) 177.89/177.91 177.89/177.91 #### Partial ranking functions of CR f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,D1) 177.89/177.91 177.89/177.91 177.89/177.91 Computing Bounds 177.89/177.91 ===================================== 177.89/177.91 177.89/177.91 #### Cost of chains of f33(H,I,J,D1,E1,F1): 177.89/177.91 * Chain [[65]]...: 1*it(65)+0 177.89/177.91 with precondition: [I>=H,0>=J+2,D1>=2,3>=D1] 177.89/177.91 177.89/177.91 * Chain [[65],66]: 1*it(65)+0 177.89/177.91 with precondition: [D1=3,0>=J+2,I>=H] 177.89/177.91 177.89/177.91 * Chain [[64]]...: 1*it(64)+0 177.89/177.91 with precondition: [I>=H,J>=0,D1>=2,3>=D1] 177.89/177.91 177.89/177.91 * Chain [[64],66]: 1*it(64)+0 177.89/177.91 with precondition: [D1=3,J>=0,I>=H] 177.89/177.91 177.89/177.91 * Chain [68]: 0 177.89/177.91 with precondition: [J+1=0,D1=2,F1+1=0,I=E1,I>=H] 177.89/177.91 177.89/177.91 * Chain [67]: 0 177.89/177.91 with precondition: [D1=2,F1=J,I=E1,H>=I+1] 177.89/177.91 177.89/177.91 * Chain [66]: 0 177.89/177.91 with precondition: [D1=3] 177.89/177.91 177.89/177.91 177.89/177.91 #### Cost of chains of f26(C,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1): 177.89/177.91 * Chain [[69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165],202]: 40*it(69)+24*it(101)+12*it(133)+21*it(141)+64*s(129)+0 177.89/177.91 Such that:aux(1) =< -C+E 177.89/177.91 aux(2) =< -C+E1 177.89/177.91 aux(3) =< E-U 177.89/177.91 aux(5) =< -H+I+1 177.89/177.91 aux(6) =< I-H1 177.89/177.91 aux(4) =< -U+T1 177.89/177.91 it(69) =< aux(1) 177.89/177.91 it(101) =< aux(1) 177.89/177.91 it(133) =< aux(1) 177.89/177.91 it(141) =< aux(1) 177.89/177.91 it(69) =< aux(2) 177.89/177.91 it(101) =< aux(2) 177.89/177.91 it(133) =< aux(2) 177.89/177.91 it(141) =< aux(2) 177.89/177.91 it(101) =< aux(3) 177.89/177.91 it(133) =< aux(3) 177.89/177.91 it(101) =< aux(4) 177.89/177.91 it(133) =< aux(4) 177.89/177.91 it(69) =< aux(5) 177.89/177.91 it(101) =< aux(5) 177.89/177.92 it(69) =< aux(6) 177.89/177.92 it(101) =< aux(6) 177.89/177.92 177.89/177.92 with precondition: [J+1=0,D1=4,I1+1=0,I=H1,K=J1,L=K1,M=L1,N=M1,O=N1,P=O1,Q=P1,R=Q1,S=R1,T=S1,U=T1,0>=I,0>=F1,0>=G1,U>=0,E1>=C+1,I>=H,C>=U,E>=E1+1] 177.89/177.92 177.89/177.92 * Chain [[69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165],201]: 40*it(69)+24*it(101)+12*it(133)+21*it(141)+64*s(129)+0 177.89/177.92 Such that:aux(1) =< -C+E 177.89/177.92 aux(2) =< -C+E1 177.89/177.92 aux(3) =< E-U 177.89/177.92 aux(5) =< -H+I+1 177.89/177.92 aux(6) =< I-H1 177.89/177.92 aux(4) =< -U+T1 177.89/177.92 it(69) =< aux(1) 177.89/177.92 it(101) =< aux(1) 177.89/177.92 it(133) =< aux(1) 177.89/177.92 it(141) =< aux(1) 177.89/177.92 it(69) =< aux(2) 177.89/177.92 it(101) =< aux(2) 177.89/177.92 it(133) =< aux(2) 177.89/177.92 it(141) =< aux(2) 177.89/177.92 it(101) =< aux(3) 177.89/177.92 it(133) =< aux(3) 177.89/177.92 it(101) =< aux(4) 177.89/177.92 it(133) =< aux(4) 177.89/177.92 it(69) =< aux(5) 177.89/177.92 it(101) =< aux(5) 177.89/177.92 it(69) =< aux(6) 177.89/177.92 it(101) =< aux(6) 177.89/177.92 177.89/177.92 with precondition: [J+1=0,D1=4,I1+1=0,I=H1,K=J1,L=K1,M=L1,N=M1,O=N1,P=O1,Q=P1,R=Q1,S=R1,T=S1,U=T1,0>=I,U>=0,F1>=1,E1>=C+1,I>=H,C>=U,E>=E1+1] 177.89/177.92 177.89/177.92 * Chain [[69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165],200]: 40*it(69)+24*it(101)+12*it(133)+21*it(141)+64*s(129)+0 177.89/177.92 Such that:aux(1) =< -C+E 177.89/177.92 aux(2) =< -C+E1 177.89/177.92 aux(3) =< E-U 177.89/177.92 aux(5) =< -H+I+1 177.89/177.92 aux(6) =< I-H1 177.89/177.92 aux(4) =< -U+T1 177.89/177.92 it(69) =< aux(1) 177.89/177.92 it(101) =< aux(1) 177.89/177.92 it(133) =< aux(1) 177.89/177.92 it(141) =< aux(1) 177.89/177.92 it(69) =< aux(2) 177.89/177.92 it(101) =< aux(2) 177.89/177.92 it(133) =< aux(2) 177.89/177.92 it(141) =< aux(2) 177.89/177.92 it(101) =< aux(3) 177.89/177.92 it(133) =< aux(3) 177.89/177.92 it(101) =< aux(4) 177.89/177.92 it(133) =< aux(4) 177.89/177.92 it(69) =< aux(5) 177.89/177.92 it(101) =< aux(5) 177.89/177.92 it(69) =< aux(6) 177.89/177.92 it(101) =< aux(6) 177.89/177.92 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,J1=K1,M1=N1,0>=I,0>=F1,0>=G1,0>=J1,0>=L1,0>=Q1,U>=0,M1>=0,E1>=C+1,C>=U,T1>=U,E>=E1+1,H>=H1+1,I>=H1,U+E1>=C+T1] 177.89/177.92 177.89/177.92 * Chain [[69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165],199]: 40*it(69)+24*it(101)+12*it(133)+21*it(141)+64*s(129)+0 177.89/177.92 Such that:aux(1) =< -C+E 177.89/177.92 aux(2) =< -C+E1 177.89/177.92 aux(3) =< E-U 177.89/177.92 aux(5) =< -H+I+1 177.89/177.92 aux(6) =< I-H1 177.89/177.92 aux(4) =< -U+T1 177.89/177.92 it(69) =< aux(1) 177.89/177.92 it(101) =< aux(1) 177.89/177.92 it(133) =< aux(1) 177.89/177.92 it(141) =< aux(1) 177.89/177.92 it(69) =< aux(2) 177.89/177.92 it(101) =< aux(2) 177.89/177.92 it(133) =< aux(2) 177.89/177.92 it(141) =< aux(2) 177.89/177.92 it(101) =< aux(3) 177.89/177.92 it(133) =< aux(3) 177.89/177.92 it(101) =< aux(4) 177.89/177.92 it(133) =< aux(4) 177.89/177.92 it(69) =< aux(5) 177.89/177.92 it(101) =< aux(5) 177.89/177.92 it(69) =< aux(6) 177.89/177.92 it(101) =< aux(6) 177.89/177.92 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,J1=K1,M1=N1,0>=I,0>=F1,0>=G1,0>=J1,0>=L1,U>=0,M1>=0,Q1>=2,E1>=C+1,C>=U,T1>=U,E>=E1+1,H>=H1+1,I>=H1,U+E1>=C+T1] 177.89/177.92 177.89/177.92 * Chain [[69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165],198]: 40*it(69)+24*it(101)+12*it(133)+21*it(141)+64*s(129)+0 177.89/177.92 Such that:aux(1) =< -C+E 177.89/177.92 aux(2) =< -C+E1 177.89/177.92 aux(3) =< E-U 177.89/177.92 aux(5) =< -H+I+1 177.89/177.92 aux(6) =< I-H1 177.89/177.92 aux(4) =< -U+T1 177.89/177.92 it(69) =< aux(1) 177.89/177.92 it(101) =< aux(1) 177.89/177.92 it(133) =< aux(1) 177.89/177.92 it(141) =< aux(1) 177.89/177.92 it(69) =< aux(2) 177.89/177.92 it(101) =< aux(2) 177.89/177.92 it(133) =< aux(2) 177.89/177.92 it(141) =< aux(2) 177.89/177.92 it(101) =< aux(3) 177.89/177.92 it(133) =< aux(3) 177.89/177.92 it(101) =< aux(4) 177.89/177.92 it(133) =< aux(4) 177.89/177.92 it(69) =< aux(5) 177.89/177.92 it(101) =< aux(5) 177.89/177.92 it(69) =< aux(6) 177.89/177.92 it(101) =< aux(6) 177.89/177.92 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,J1=K1,M1=N1,0>=I,0>=J1,0>=L1,0>=Q1,U>=0,F1>=1,M1>=0,E1>=C+1,C>=U,T1>=U,E>=E1+1,H>=H1+1,I>=H1,U+E1>=C+T1] 177.89/177.92 177.89/177.92 * Chain [[69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165],197]: 40*it(69)+24*it(101)+12*it(133)+21*it(141)+64*s(129)+0 177.89/177.92 Such that:aux(1) =< -C+E 177.89/177.92 aux(2) =< -C+E1 177.89/177.92 aux(3) =< E-U 177.89/177.92 aux(5) =< -H+I+1 177.89/177.92 aux(6) =< I-H1 177.89/177.92 aux(4) =< -U+T1 177.89/177.92 it(69) =< aux(1) 177.89/177.92 it(101) =< aux(1) 177.89/177.92 it(133) =< aux(1) 177.89/177.92 it(141) =< aux(1) 177.89/177.92 it(69) =< aux(2) 177.89/177.92 it(101) =< aux(2) 177.89/177.92 it(133) =< aux(2) 177.89/177.92 it(141) =< aux(2) 177.89/177.92 it(101) =< aux(3) 177.89/177.92 it(133) =< aux(3) 177.89/177.92 it(101) =< aux(4) 177.89/177.92 it(133) =< aux(4) 177.89/177.92 it(69) =< aux(5) 177.89/177.92 it(101) =< aux(5) 177.89/177.92 it(69) =< aux(6) 177.89/177.92 it(101) =< aux(6) 177.89/177.92 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,J1=K1,M1=N1,0>=I,0>=J1,0>=L1,U>=0,F1>=1,M1>=0,Q1>=2,E1>=C+1,C>=U,T1>=U,E>=E1+1,H>=H1+1,I>=H1,U+E1>=C+T1] 177.89/177.92 177.89/177.92 * Chain [[69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165],196]: 40*it(69)+24*it(101)+12*it(133)+21*it(141)+64*s(129)+0 177.89/177.92 Such that:aux(1) =< -C+E 177.89/177.92 aux(2) =< -C+E1 177.89/177.92 aux(3) =< E-U 177.89/177.92 aux(5) =< -H+I+1 177.89/177.92 aux(6) =< I-H1 177.89/177.92 aux(4) =< -U+T1 177.89/177.92 it(69) =< aux(1) 177.89/177.92 it(101) =< aux(1) 177.89/177.92 it(133) =< aux(1) 177.89/177.92 it(141) =< aux(1) 177.89/177.92 it(69) =< aux(2) 177.89/177.92 it(101) =< aux(2) 177.89/177.92 it(133) =< aux(2) 177.89/177.92 it(141) =< aux(2) 177.89/177.92 it(101) =< aux(3) 177.89/177.92 it(133) =< aux(3) 177.89/177.92 it(101) =< aux(4) 177.89/177.92 it(133) =< aux(4) 177.89/177.92 it(69) =< aux(5) 177.89/177.92 it(101) =< aux(5) 177.89/177.92 it(69) =< aux(6) 177.89/177.92 it(101) =< aux(6) 177.89/177.92 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,J1=K1,M1=N1,0>=I,0>=F1,0>=G1,0>=J1,0>=O1,0>=Q1,U>=0,L1>=1,M1>=0,E1>=C+1,C>=U,T1>=U,E>=E1+1,H>=H1+1,I>=H1,U+E1>=C+T1] 177.89/177.92 177.89/177.92 * Chain [[69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165],195]: 40*it(69)+24*it(101)+12*it(133)+21*it(141)+64*s(129)+0 177.89/177.92 Such that:aux(1) =< -C+E 177.89/177.92 aux(2) =< -C+E1 177.89/177.92 aux(3) =< E-U 177.89/177.92 aux(5) =< -H+I+1 177.89/177.92 aux(6) =< I-H1 177.89/177.92 aux(4) =< -U+T1 177.89/177.92 it(69) =< aux(1) 177.89/177.92 it(101) =< aux(1) 177.89/177.92 it(133) =< aux(1) 177.89/177.92 it(141) =< aux(1) 177.89/177.92 it(69) =< aux(2) 177.89/177.92 it(101) =< aux(2) 177.89/177.92 it(133) =< aux(2) 177.89/177.92 it(141) =< aux(2) 177.89/177.92 it(101) =< aux(3) 177.89/177.92 it(133) =< aux(3) 177.89/177.92 it(101) =< aux(4) 177.89/177.92 it(133) =< aux(4) 177.89/177.92 it(69) =< aux(5) 177.89/177.92 it(101) =< aux(5) 177.89/177.92 it(69) =< aux(6) 177.89/177.92 it(101) =< aux(6) 177.89/177.92 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,J1=K1,M1=N1,0>=I,0>=F1,0>=G1,0>=J1,0>=O1,U>=0,L1>=1,M1>=0,Q1>=2,E1>=C+1,C>=U,T1>=U,E>=E1+1,H>=H1+1,I>=H1,U+E1>=C+T1] 177.89/177.92 177.89/177.92 * Chain [[69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165],194]: 40*it(69)+24*it(101)+12*it(133)+21*it(141)+64*s(129)+0 177.89/177.92 Such that:aux(1) =< -C+E 177.89/177.92 aux(2) =< -C+E1 177.89/177.92 aux(3) =< E-U 177.89/177.92 aux(5) =< -H+I+1 177.89/177.92 aux(6) =< I-H1 177.89/177.92 aux(4) =< -U+T1 177.89/177.92 it(69) =< aux(1) 177.89/177.92 it(101) =< aux(1) 177.89/177.92 it(133) =< aux(1) 177.89/177.92 it(141) =< aux(1) 177.89/177.92 it(69) =< aux(2) 177.89/177.92 it(101) =< aux(2) 177.89/177.92 it(133) =< aux(2) 177.89/177.92 it(141) =< aux(2) 177.89/177.92 it(101) =< aux(3) 177.89/177.92 it(133) =< aux(3) 177.89/177.92 it(101) =< aux(4) 177.89/177.92 it(133) =< aux(4) 177.89/177.92 it(69) =< aux(5) 177.89/177.92 it(101) =< aux(5) 177.89/177.92 it(69) =< aux(6) 177.89/177.92 it(101) =< aux(6) 177.89/177.92 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,J1=K1,M1=N1,0>=I,0>=J1,0>=O1,0>=Q1,U>=0,F1>=1,L1>=1,M1>=0,E1>=C+1,C>=U,T1>=U,E>=E1+1,H>=H1+1,I>=H1,U+E1>=C+T1] 177.89/177.92 177.89/177.92 * Chain [[69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165],193]: 40*it(69)+24*it(101)+12*it(133)+21*it(141)+64*s(129)+0 177.89/177.92 Such that:aux(1) =< -C+E 177.89/177.92 aux(2) =< -C+E1 177.89/177.92 aux(3) =< E-U 177.89/177.92 aux(5) =< -H+I+1 177.89/177.92 aux(6) =< I-H1 177.89/177.92 aux(4) =< -U+T1 177.89/177.92 it(69) =< aux(1) 177.89/177.92 it(101) =< aux(1) 177.89/177.92 it(133) =< aux(1) 177.89/177.92 it(141) =< aux(1) 177.89/177.92 it(69) =< aux(2) 177.89/177.92 it(101) =< aux(2) 177.89/177.92 it(133) =< aux(2) 177.89/177.92 it(141) =< aux(2) 177.89/177.92 it(101) =< aux(3) 177.89/177.92 it(133) =< aux(3) 177.89/177.92 it(101) =< aux(4) 177.89/177.92 it(133) =< aux(4) 177.89/177.92 it(69) =< aux(5) 177.89/177.92 it(101) =< aux(5) 177.89/177.92 it(69) =< aux(6) 177.89/177.92 it(101) =< aux(6) 177.89/177.92 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,J1=K1,M1=N1,0>=I,0>=J1,0>=O1,U>=0,F1>=1,L1>=1,M1>=0,Q1>=2,E1>=C+1,C>=U,T1>=U,E>=E1+1,H>=H1+1,I>=H1,U+E1>=C+T1] 177.89/177.92 177.89/177.92 * Chain [[69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165],192]: 40*it(69)+24*it(101)+12*it(133)+21*it(141)+65*s(129)+0 177.89/177.92 Such that:aux(3) =< E-U 177.89/177.92 aux(6) =< -H+I 177.89/177.92 aux(5) =< -H+I+1 177.89/177.92 aux(7) =< -C+E 177.89/177.92 it(69) =< aux(7) 177.89/177.92 it(101) =< aux(7) 177.89/177.92 it(133) =< aux(7) 177.89/177.92 it(141) =< aux(7) 177.89/177.92 it(101) =< aux(3) 177.89/177.92 it(133) =< aux(3) 177.89/177.92 it(69) =< aux(5) 177.89/177.92 it(101) =< aux(5) 177.89/177.92 it(69) =< aux(6) 177.89/177.92 it(101) =< aux(6) 177.89/177.92 177.89/177.92 with precondition: [D1=3,0>=I,0>=J+2,U>=0,E>=C+2,I>=H,C>=U] 177.89/177.92 177.89/177.92 * Chain [[69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165],191]: 40*it(69)+24*it(101)+12*it(133)+21*it(141)+65*s(129)+0 177.89/177.92 Such that:aux(3) =< E-U 177.89/177.92 aux(6) =< -H+I 177.89/177.92 aux(5) =< -H+I+1 177.89/177.92 aux(8) =< -C+E 177.89/177.92 it(69) =< aux(8) 177.89/177.92 it(101) =< aux(8) 177.89/177.92 it(133) =< aux(8) 177.89/177.92 it(141) =< aux(8) 177.89/177.92 it(101) =< aux(3) 177.89/177.92 it(133) =< aux(3) 177.89/177.92 it(69) =< aux(5) 177.89/177.92 it(101) =< aux(5) 177.89/177.92 it(69) =< aux(6) 177.89/177.92 it(101) =< aux(6) 177.89/177.92 177.89/177.92 with precondition: [D1=3,0>=I,J>=0,U>=0,E>=C+2,I>=H,C>=U] 177.89/177.92 177.89/177.92 * Chain [[69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165],190]: 40*it(69)+24*it(101)+12*it(133)+21*it(141)+64*s(129)+0 177.89/177.92 Such that:aux(3) =< E-U 177.89/177.92 aux(5) =< -H+I+1 177.89/177.92 aux(9) =< -C+E 177.89/177.92 it(69) =< aux(9) 177.89/177.92 it(101) =< aux(9) 177.89/177.92 it(133) =< aux(9) 177.89/177.92 it(141) =< aux(9) 177.89/177.92 it(101) =< aux(3) 177.89/177.92 it(133) =< aux(3) 177.89/177.92 it(69) =< aux(5) 177.89/177.92 it(101) =< aux(5) 177.89/177.92 177.89/177.92 with precondition: [D1=3,0>=I,U>=0,E>=C+2,C>=U] 177.89/177.92 177.89/177.92 * Chain [[69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165],189]: 40*it(69)+24*it(101)+12*it(133)+21*it(141)+64*s(129)+0 177.89/177.92 Such that:aux(3) =< E-U 177.89/177.92 aux(5) =< -H+I+1 177.89/177.92 aux(10) =< -C+E 177.89/177.92 it(69) =< aux(10) 177.89/177.92 it(101) =< aux(10) 177.89/177.92 it(133) =< aux(10) 177.89/177.92 it(141) =< aux(10) 177.89/177.92 it(101) =< aux(3) 177.89/177.92 it(133) =< aux(3) 177.89/177.92 it(69) =< aux(5) 177.89/177.92 it(101) =< aux(5) 177.89/177.92 177.89/177.92 with precondition: [D1=3,0>=I,U>=0,E>=C+1,C>=U] 177.89/177.92 177.89/177.92 * Chain [[69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165],188]: 40*it(69)+24*it(101)+12*it(133)+21*it(141)+64*s(129)+0 177.89/177.92 Such that:aux(5) =< -H+I+1 177.89/177.92 aux(6) =< I-H1 177.89/177.92 aux(3) =< -U+E1 177.89/177.92 aux(4) =< -U+T1 177.89/177.92 aux(11) =< -C+E1 177.89/177.92 it(69) =< aux(11) 177.89/177.92 it(101) =< aux(11) 177.89/177.92 it(133) =< aux(11) 177.89/177.92 it(141) =< aux(11) 177.89/177.92 it(101) =< aux(3) 177.89/177.92 it(133) =< aux(3) 177.89/177.92 it(101) =< aux(4) 177.89/177.92 it(133) =< aux(4) 177.89/177.92 it(69) =< aux(5) 177.89/177.92 it(101) =< aux(5) 177.89/177.92 it(69) =< aux(6) 177.89/177.92 it(101) =< aux(6) 177.89/177.92 177.89/177.92 with precondition: [D1=4,E=E1,Q=P1,0>=I,U>=0,E>=C+1,C>=U,T1>=U,I>=H1,E+U>=C+T1] 177.89/177.92 177.89/177.92 * Chain [[69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165],187]...: 40*it(69)+24*it(101)+12*it(133)+21*it(141)+65*s(129)+0 177.89/177.92 Such that:aux(1) =< -C+E 177.89/177.92 aux(2) =< -C+E1 177.89/177.92 aux(3) =< E-U 177.89/177.92 aux(6) =< -H+I 177.89/177.92 aux(5) =< -H+I+1 177.89/177.92 aux(4) =< -U+T1 177.89/177.92 it(69) =< aux(1) 177.89/177.92 it(101) =< aux(1) 177.89/177.92 it(133) =< aux(1) 177.89/177.92 it(141) =< aux(1) 177.89/177.92 it(69) =< aux(2) 177.89/177.92 it(101) =< aux(2) 177.89/177.92 it(133) =< aux(2) 177.89/177.92 it(141) =< aux(2) 177.89/177.92 it(101) =< aux(3) 177.89/177.92 it(133) =< aux(3) 177.89/177.92 it(101) =< aux(4) 177.89/177.92 it(133) =< aux(4) 177.89/177.92 it(69) =< aux(5) 177.89/177.92 it(101) =< aux(5) 177.89/177.92 it(69) =< aux(6) 177.89/177.92 it(101) =< aux(6) 177.89/177.92 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,J1=K1,M1=N1,P=O1,S=R1,T=S1,U=T1,0>=I,0>=J+2,0>=F1,0>=G1,0>=J1,0>=L1,0>=Q1,U>=0,M1>=0,E1>=C+1,I>=H,C>=U,E>=E1+1,H>=H1+1] 177.89/177.92 177.89/177.92 * Chain [[69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165],186]...: 40*it(69)+24*it(101)+12*it(133)+21*it(141)+65*s(129)+0 177.89/177.92 Such that:aux(1) =< -C+E 177.89/177.92 aux(2) =< -C+E1 177.89/177.92 aux(3) =< E-U 177.89/177.92 aux(6) =< -H+I 177.89/177.92 aux(5) =< -H+I+1 177.89/177.92 aux(4) =< -U+T1 177.89/177.92 it(69) =< aux(1) 177.89/177.92 it(101) =< aux(1) 177.89/177.92 it(133) =< aux(1) 177.89/177.92 it(141) =< aux(1) 177.89/177.92 it(69) =< aux(2) 177.89/177.92 it(101) =< aux(2) 177.89/177.92 it(133) =< aux(2) 177.89/177.92 it(141) =< aux(2) 177.89/177.92 it(101) =< aux(3) 177.89/177.92 it(133) =< aux(3) 177.89/177.92 it(101) =< aux(4) 177.89/177.92 it(133) =< aux(4) 177.89/177.92 it(69) =< aux(5) 177.89/177.92 it(101) =< aux(5) 177.89/177.92 it(69) =< aux(6) 177.89/177.92 it(101) =< aux(6) 177.89/177.92 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,J1=K1,M1=N1,P=O1,S=R1,T=S1,U=T1,0>=I,0>=J+2,0>=F1,0>=G1,0>=J1,0>=L1,U>=0,M1>=0,Q1>=2,E1>=C+1,I>=H,C>=U,E>=E1+1,H>=H1+1] 177.89/177.92 177.89/177.92 * Chain [[69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165],185]...: 40*it(69)+24*it(101)+12*it(133)+21*it(141)+65*s(129)+0 177.89/177.92 Such that:aux(1) =< -C+E 177.89/177.92 aux(2) =< -C+E1 177.89/177.92 aux(3) =< E-U 177.89/177.92 aux(6) =< -H+I 177.89/177.92 aux(5) =< -H+I+1 177.89/177.92 aux(4) =< -U+T1 177.89/177.92 it(69) =< aux(1) 177.89/177.92 it(101) =< aux(1) 177.89/177.92 it(133) =< aux(1) 177.89/177.92 it(141) =< aux(1) 177.89/177.92 it(69) =< aux(2) 177.89/177.92 it(101) =< aux(2) 177.89/177.92 it(133) =< aux(2) 177.89/177.92 it(141) =< aux(2) 177.89/177.92 it(101) =< aux(3) 177.89/177.92 it(133) =< aux(3) 177.89/177.92 it(101) =< aux(4) 177.89/177.92 it(133) =< aux(4) 177.89/177.92 it(69) =< aux(5) 177.89/177.92 it(101) =< aux(5) 177.89/177.92 it(69) =< aux(6) 177.89/177.92 it(101) =< aux(6) 177.89/177.92 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,J1=K1,M1=N1,P=O1,S=R1,T=S1,U=T1,0>=I,0>=J+2,0>=J1,0>=L1,0>=Q1,U>=0,F1>=1,M1>=0,E1>=C+1,I>=H,C>=U,E>=E1+1,H>=H1+1] 177.89/177.92 177.89/177.92 * Chain [[69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165],184]...: 40*it(69)+24*it(101)+12*it(133)+21*it(141)+65*s(129)+0 177.89/177.92 Such that:aux(1) =< -C+E 177.89/177.92 aux(2) =< -C+E1 177.89/177.92 aux(3) =< E-U 177.89/177.92 aux(6) =< -H+I 177.89/177.92 aux(5) =< -H+I+1 177.89/177.92 aux(4) =< -U+T1 177.89/177.92 it(69) =< aux(1) 177.89/177.92 it(101) =< aux(1) 177.89/177.92 it(133) =< aux(1) 177.89/177.92 it(141) =< aux(1) 177.89/177.92 it(69) =< aux(2) 177.89/177.92 it(101) =< aux(2) 177.89/177.92 it(133) =< aux(2) 177.89/177.92 it(141) =< aux(2) 177.89/177.92 it(101) =< aux(3) 177.89/177.92 it(133) =< aux(3) 177.89/177.92 it(101) =< aux(4) 177.89/177.92 it(133) =< aux(4) 177.89/177.92 it(69) =< aux(5) 177.89/177.92 it(101) =< aux(5) 177.89/177.92 it(69) =< aux(6) 177.89/177.92 it(101) =< aux(6) 177.89/177.92 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,J1=K1,M1=N1,P=O1,S=R1,T=S1,U=T1,0>=I,0>=J+2,0>=J1,0>=L1,U>=0,F1>=1,M1>=0,Q1>=2,E1>=C+1,I>=H,C>=U,E>=E1+1,H>=H1+1] 177.89/177.92 177.89/177.92 * Chain [[69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165],183]...: 40*it(69)+24*it(101)+12*it(133)+21*it(141)+65*s(129)+0 177.89/177.92 Such that:aux(1) =< -C+E 177.89/177.92 aux(2) =< -C+E1 177.89/177.92 aux(3) =< E-U 177.89/177.92 aux(6) =< -H+I 177.89/177.92 aux(5) =< -H+I+1 177.89/177.92 aux(4) =< -U+T1 177.89/177.92 it(69) =< aux(1) 177.89/177.92 it(101) =< aux(1) 177.89/177.92 it(133) =< aux(1) 177.89/177.92 it(141) =< aux(1) 177.89/177.92 it(69) =< aux(2) 177.89/177.92 it(101) =< aux(2) 177.89/177.92 it(133) =< aux(2) 177.89/177.92 it(141) =< aux(2) 177.89/177.92 it(101) =< aux(3) 177.89/177.92 it(133) =< aux(3) 177.89/177.92 it(101) =< aux(4) 177.89/177.92 it(133) =< aux(4) 177.89/177.92 it(69) =< aux(5) 177.89/177.92 it(101) =< aux(5) 177.89/177.92 it(69) =< aux(6) 177.89/177.92 it(101) =< aux(6) 177.89/177.92 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,J1=K1,M1=N1,P=O1,S=R1,T=S1,U=T1,0>=I,0>=F1,0>=G1,0>=J1,0>=L1,0>=Q1,J>=0,U>=0,M1>=0,E1>=C+1,I>=H,C>=U,E>=E1+1,H>=H1+1] 177.89/177.92 177.89/177.92 * Chain [[69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165],182]...: 40*it(69)+24*it(101)+12*it(133)+21*it(141)+65*s(129)+0 177.89/177.92 Such that:aux(1) =< -C+E 177.89/177.92 aux(2) =< -C+E1 177.89/177.92 aux(3) =< E-U 177.89/177.92 aux(6) =< -H+I 177.89/177.92 aux(5) =< -H+I+1 177.89/177.92 aux(4) =< -U+T1 177.89/177.92 it(69) =< aux(1) 177.89/177.92 it(101) =< aux(1) 177.89/177.92 it(133) =< aux(1) 177.89/177.92 it(141) =< aux(1) 177.89/177.92 it(69) =< aux(2) 177.89/177.92 it(101) =< aux(2) 177.89/177.92 it(133) =< aux(2) 177.89/177.92 it(141) =< aux(2) 177.89/177.92 it(101) =< aux(3) 177.89/177.92 it(133) =< aux(3) 177.89/177.92 it(101) =< aux(4) 177.89/177.92 it(133) =< aux(4) 177.89/177.92 it(69) =< aux(5) 177.89/177.92 it(101) =< aux(5) 177.89/177.92 it(69) =< aux(6) 177.89/177.92 it(101) =< aux(6) 177.89/177.92 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,J1=K1,M1=N1,P=O1,S=R1,T=S1,U=T1,0>=I,0>=F1,0>=G1,0>=J1,0>=L1,J>=0,U>=0,M1>=0,Q1>=2,E1>=C+1,I>=H,C>=U,E>=E1+1,H>=H1+1] 177.89/177.92 177.89/177.92 * Chain [[69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165],181]...: 40*it(69)+24*it(101)+12*it(133)+21*it(141)+65*s(129)+0 177.89/177.92 Such that:aux(1) =< -C+E 177.89/177.92 aux(2) =< -C+E1 177.89/177.92 aux(3) =< E-U 177.89/177.92 aux(6) =< -H+I 177.89/177.92 aux(5) =< -H+I+1 177.89/177.92 aux(4) =< -U+T1 177.89/177.92 it(69) =< aux(1) 177.89/177.92 it(101) =< aux(1) 177.89/177.92 it(133) =< aux(1) 177.89/177.92 it(141) =< aux(1) 177.89/177.92 it(69) =< aux(2) 177.89/177.92 it(101) =< aux(2) 177.89/177.92 it(133) =< aux(2) 177.89/177.92 it(141) =< aux(2) 177.89/177.92 it(101) =< aux(3) 177.89/177.92 it(133) =< aux(3) 177.89/177.92 it(101) =< aux(4) 177.89/177.92 it(133) =< aux(4) 177.89/177.92 it(69) =< aux(5) 177.89/177.92 it(101) =< aux(5) 177.89/177.92 it(69) =< aux(6) 177.89/177.92 it(101) =< aux(6) 177.89/177.92 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,J1=K1,M1=N1,P=O1,S=R1,T=S1,U=T1,0>=I,0>=J1,0>=L1,0>=Q1,J>=0,U>=0,F1>=1,M1>=0,E1>=C+1,I>=H,C>=U,E>=E1+1,H>=H1+1] 177.89/177.92 177.89/177.92 * Chain [[69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165],180]...: 40*it(69)+24*it(101)+12*it(133)+21*it(141)+65*s(129)+0 177.89/177.92 Such that:aux(1) =< -C+E 177.89/177.92 aux(2) =< -C+E1 177.89/177.92 aux(3) =< E-U 177.89/177.92 aux(6) =< -H+I 177.89/177.92 aux(5) =< -H+I+1 177.89/177.92 aux(4) =< -U+T1 177.89/177.92 it(69) =< aux(1) 177.89/177.92 it(101) =< aux(1) 177.89/177.92 it(133) =< aux(1) 177.89/177.92 it(141) =< aux(1) 177.89/177.92 it(69) =< aux(2) 177.89/177.92 it(101) =< aux(2) 177.89/177.92 it(133) =< aux(2) 177.89/177.92 it(141) =< aux(2) 177.89/177.92 it(101) =< aux(3) 177.89/177.92 it(133) =< aux(3) 177.89/177.92 it(101) =< aux(4) 177.89/177.92 it(133) =< aux(4) 177.89/177.92 it(69) =< aux(5) 177.89/177.92 it(101) =< aux(5) 177.89/177.92 it(69) =< aux(6) 177.89/177.92 it(101) =< aux(6) 177.89/177.92 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,J1=K1,M1=N1,P=O1,S=R1,T=S1,U=T1,0>=I,0>=J1,0>=L1,J>=0,U>=0,F1>=1,M1>=0,Q1>=2,E1>=C+1,I>=H,C>=U,E>=E1+1,H>=H1+1] 177.89/177.92 177.89/177.92 * Chain [[69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165],179]...: 40*it(69)+24*it(101)+12*it(133)+21*it(141)+65*s(129)+0 177.89/177.92 Such that:aux(1) =< -C+E 177.89/177.92 aux(2) =< -C+E1 177.89/177.92 aux(3) =< E-U 177.89/177.92 aux(6) =< -H+I 177.89/177.92 aux(5) =< -H+I+1 177.89/177.92 aux(4) =< -U+T1 177.89/177.92 it(69) =< aux(1) 177.89/177.92 it(101) =< aux(1) 177.89/177.92 it(133) =< aux(1) 177.89/177.92 it(141) =< aux(1) 177.89/177.92 it(69) =< aux(2) 177.89/177.92 it(101) =< aux(2) 177.89/177.92 it(133) =< aux(2) 177.89/177.92 it(141) =< aux(2) 177.89/177.92 it(101) =< aux(3) 177.89/177.92 it(133) =< aux(3) 177.89/177.92 it(101) =< aux(4) 177.89/177.92 it(133) =< aux(4) 177.89/177.92 it(69) =< aux(5) 177.89/177.92 it(101) =< aux(5) 177.89/177.92 it(69) =< aux(6) 177.89/177.92 it(101) =< aux(6) 177.89/177.92 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,J1=K1,M1=N1,S=R1,T=S1,U=T1,0>=I,0>=J+2,0>=F1,0>=G1,0>=J1,0>=O1,0>=Q1,U>=0,L1>=1,M1>=0,E1>=C+1,I>=H,C>=U,E>=E1+1,H>=H1+1] 177.89/177.92 177.89/177.92 * Chain [[69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165],178]...: 40*it(69)+24*it(101)+12*it(133)+21*it(141)+65*s(129)+0 177.89/177.92 Such that:aux(1) =< -C+E 177.89/177.92 aux(2) =< -C+E1 177.89/177.92 aux(3) =< E-U 177.89/177.92 aux(6) =< -H+I 177.89/177.92 aux(5) =< -H+I+1 177.89/177.92 aux(4) =< -U+T1 177.89/177.92 it(69) =< aux(1) 177.89/177.92 it(101) =< aux(1) 177.89/177.92 it(133) =< aux(1) 177.89/177.92 it(141) =< aux(1) 177.89/177.92 it(69) =< aux(2) 177.89/177.92 it(101) =< aux(2) 177.89/177.92 it(133) =< aux(2) 177.89/177.92 it(141) =< aux(2) 177.89/177.92 it(101) =< aux(3) 177.89/177.92 it(133) =< aux(3) 177.89/177.92 it(101) =< aux(4) 177.89/177.92 it(133) =< aux(4) 177.89/177.92 it(69) =< aux(5) 177.89/177.92 it(101) =< aux(5) 177.89/177.92 it(69) =< aux(6) 177.89/177.92 it(101) =< aux(6) 177.89/177.92 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,J1=K1,M1=N1,S=R1,T=S1,U=T1,0>=I,0>=J+2,0>=F1,0>=G1,0>=J1,0>=O1,U>=0,L1>=1,M1>=0,Q1>=2,E1>=C+1,I>=H,C>=U,E>=E1+1,H>=H1+1] 177.89/177.92 177.89/177.92 * Chain [[69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165],177]...: 40*it(69)+24*it(101)+12*it(133)+21*it(141)+65*s(129)+0 177.89/177.92 Such that:aux(1) =< -C+E 177.89/177.92 aux(2) =< -C+E1 177.89/177.92 aux(3) =< E-U 177.89/177.92 aux(6) =< -H+I 177.89/177.92 aux(5) =< -H+I+1 177.89/177.92 aux(4) =< -U+T1 177.89/177.92 it(69) =< aux(1) 177.89/177.92 it(101) =< aux(1) 177.89/177.92 it(133) =< aux(1) 177.89/177.92 it(141) =< aux(1) 177.89/177.92 it(69) =< aux(2) 177.89/177.92 it(101) =< aux(2) 177.89/177.92 it(133) =< aux(2) 177.89/177.92 it(141) =< aux(2) 177.89/177.92 it(101) =< aux(3) 177.89/177.92 it(133) =< aux(3) 177.89/177.92 it(101) =< aux(4) 177.89/177.92 it(133) =< aux(4) 177.89/177.92 it(69) =< aux(5) 177.89/177.92 it(101) =< aux(5) 177.89/177.92 it(69) =< aux(6) 177.89/177.92 it(101) =< aux(6) 177.89/177.92 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,J1=K1,M1=N1,S=R1,T=S1,U=T1,0>=I,0>=J+2,0>=J1,0>=O1,0>=Q1,U>=0,F1>=1,L1>=1,M1>=0,E1>=C+1,I>=H,C>=U,E>=E1+1,H>=H1+1] 177.89/177.92 177.89/177.92 * Chain [[69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165],176]...: 40*it(69)+24*it(101)+12*it(133)+21*it(141)+65*s(129)+0 177.89/177.92 Such that:aux(1) =< -C+E 177.89/177.92 aux(2) =< -C+E1 177.89/177.92 aux(3) =< E-U 177.89/177.92 aux(6) =< -H+I 177.89/177.92 aux(5) =< -H+I+1 177.89/177.92 aux(4) =< -U+T1 177.89/177.92 it(69) =< aux(1) 177.89/177.92 it(101) =< aux(1) 177.89/177.92 it(133) =< aux(1) 177.89/177.92 it(141) =< aux(1) 177.89/177.92 it(69) =< aux(2) 177.89/177.92 it(101) =< aux(2) 177.89/177.92 it(133) =< aux(2) 177.89/177.92 it(141) =< aux(2) 177.89/177.92 it(101) =< aux(3) 177.89/177.92 it(133) =< aux(3) 177.89/177.92 it(101) =< aux(4) 177.89/177.92 it(133) =< aux(4) 177.89/177.92 it(69) =< aux(5) 177.89/177.92 it(101) =< aux(5) 177.89/177.92 it(69) =< aux(6) 177.89/177.92 it(101) =< aux(6) 177.89/177.92 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,J1=K1,M1=N1,S=R1,T=S1,U=T1,0>=I,0>=J+2,0>=J1,0>=O1,U>=0,F1>=1,L1>=1,M1>=0,Q1>=2,E1>=C+1,I>=H,C>=U,E>=E1+1,H>=H1+1] 177.89/177.92 177.89/177.92 * Chain [[69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165],175]...: 40*it(69)+24*it(101)+12*it(133)+21*it(141)+65*s(129)+0 177.89/177.92 Such that:aux(1) =< -C+E 177.89/177.92 aux(2) =< -C+E1 177.89/177.92 aux(3) =< E-U 177.89/177.92 aux(6) =< -H+I 177.89/177.92 aux(5) =< -H+I+1 177.89/177.92 aux(4) =< -U+T1 177.89/177.92 it(69) =< aux(1) 177.89/177.92 it(101) =< aux(1) 177.89/177.92 it(133) =< aux(1) 177.89/177.92 it(141) =< aux(1) 177.89/177.92 it(69) =< aux(2) 177.89/177.92 it(101) =< aux(2) 177.89/177.92 it(133) =< aux(2) 177.89/177.92 it(141) =< aux(2) 177.89/177.92 it(101) =< aux(3) 177.89/177.92 it(133) =< aux(3) 177.89/177.92 it(101) =< aux(4) 177.89/177.92 it(133) =< aux(4) 177.89/177.92 it(69) =< aux(5) 177.89/177.92 it(101) =< aux(5) 177.89/177.92 it(69) =< aux(6) 177.89/177.92 it(101) =< aux(6) 177.89/177.92 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,J1=K1,M1=N1,S=R1,T=S1,U=T1,0>=I,0>=F1,0>=G1,0>=J1,0>=O1,0>=Q1,J>=0,U>=0,L1>=1,M1>=0,E1>=C+1,I>=H,C>=U,E>=E1+1,H>=H1+1] 177.89/177.92 177.89/177.92 * Chain [[69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165],174]...: 40*it(69)+24*it(101)+12*it(133)+21*it(141)+65*s(129)+0 177.89/177.92 Such that:aux(1) =< -C+E 177.89/177.92 aux(2) =< -C+E1 177.89/177.92 aux(3) =< E-U 177.89/177.92 aux(6) =< -H+I 177.89/177.92 aux(5) =< -H+I+1 177.89/177.92 aux(4) =< -U+T1 177.89/177.92 it(69) =< aux(1) 177.89/177.92 it(101) =< aux(1) 177.89/177.92 it(133) =< aux(1) 177.89/177.92 it(141) =< aux(1) 177.89/177.92 it(69) =< aux(2) 177.89/177.92 it(101) =< aux(2) 177.89/177.92 it(133) =< aux(2) 177.89/177.92 it(141) =< aux(2) 177.89/177.92 it(101) =< aux(3) 177.89/177.92 it(133) =< aux(3) 177.89/177.92 it(101) =< aux(4) 177.89/177.92 it(133) =< aux(4) 177.89/177.92 it(69) =< aux(5) 177.89/177.92 it(101) =< aux(5) 177.89/177.92 it(69) =< aux(6) 177.89/177.92 it(101) =< aux(6) 177.89/177.92 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,J1=K1,M1=N1,S=R1,T=S1,U=T1,0>=I,0>=F1,0>=G1,0>=J1,0>=O1,J>=0,U>=0,L1>=1,M1>=0,Q1>=2,E1>=C+1,I>=H,C>=U,E>=E1+1,H>=H1+1] 177.89/177.92 177.89/177.92 * Chain [[69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165],173]...: 40*it(69)+24*it(101)+12*it(133)+21*it(141)+65*s(129)+0 177.89/177.92 Such that:aux(1) =< -C+E 177.89/177.92 aux(2) =< -C+E1 177.89/177.92 aux(3) =< E-U 177.89/177.92 aux(6) =< -H+I 177.89/177.92 aux(5) =< -H+I+1 177.89/177.92 aux(4) =< -U+T1 177.89/177.92 it(69) =< aux(1) 177.89/177.92 it(101) =< aux(1) 177.89/177.92 it(133) =< aux(1) 177.89/177.92 it(141) =< aux(1) 177.89/177.92 it(69) =< aux(2) 177.89/177.92 it(101) =< aux(2) 177.89/177.92 it(133) =< aux(2) 177.89/177.92 it(141) =< aux(2) 177.89/177.92 it(101) =< aux(3) 177.89/177.92 it(133) =< aux(3) 177.89/177.92 it(101) =< aux(4) 177.89/177.92 it(133) =< aux(4) 177.89/177.92 it(69) =< aux(5) 177.89/177.92 it(101) =< aux(5) 177.89/177.92 it(69) =< aux(6) 177.89/177.92 it(101) =< aux(6) 177.89/177.92 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,J1=K1,M1=N1,S=R1,T=S1,U=T1,0>=I,0>=J1,0>=O1,0>=Q1,J>=0,U>=0,F1>=1,L1>=1,M1>=0,E1>=C+1,I>=H,C>=U,E>=E1+1,H>=H1+1] 177.89/177.92 177.89/177.92 * Chain [[69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165],172]...: 40*it(69)+24*it(101)+12*it(133)+21*it(141)+65*s(129)+0 177.89/177.92 Such that:aux(1) =< -C+E 177.89/177.92 aux(2) =< -C+E1 177.89/177.92 aux(3) =< E-U 177.89/177.92 aux(6) =< -H+I 177.89/177.92 aux(5) =< -H+I+1 177.89/177.92 aux(4) =< -U+T1 177.89/177.92 it(69) =< aux(1) 177.89/177.92 it(101) =< aux(1) 177.89/177.92 it(133) =< aux(1) 177.89/177.92 it(141) =< aux(1) 177.89/177.92 it(69) =< aux(2) 177.89/177.92 it(101) =< aux(2) 177.89/177.92 it(133) =< aux(2) 177.89/177.92 it(141) =< aux(2) 177.89/177.92 it(101) =< aux(3) 177.89/177.92 it(133) =< aux(3) 177.89/177.92 it(101) =< aux(4) 177.89/177.92 it(133) =< aux(4) 177.89/177.92 it(69) =< aux(5) 177.89/177.92 it(101) =< aux(5) 177.89/177.92 it(69) =< aux(6) 177.89/177.92 it(101) =< aux(6) 177.89/177.92 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,J1=K1,M1=N1,S=R1,T=S1,U=T1,0>=I,0>=J1,0>=O1,J>=0,U>=0,F1>=1,L1>=1,M1>=0,Q1>=2,E1>=C+1,I>=H,C>=U,E>=E1+1,H>=H1+1] 177.89/177.92 177.89/177.92 * Chain [[69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165],171]...: 40*it(69)+24*it(101)+12*it(133)+21*it(141)+65*s(129)+0 177.89/177.92 Such that:aux(3) =< E-U 177.89/177.92 aux(6) =< -H+I 177.89/177.92 aux(5) =< -H+I+1 177.89/177.92 aux(12) =< -C+E 177.89/177.92 it(69) =< aux(12) 177.89/177.92 it(101) =< aux(12) 177.89/177.92 it(133) =< aux(12) 177.89/177.92 it(141) =< aux(12) 177.89/177.92 it(101) =< aux(3) 177.89/177.92 it(133) =< aux(3) 177.89/177.92 it(69) =< aux(5) 177.89/177.92 it(101) =< aux(5) 177.89/177.92 it(69) =< aux(6) 177.89/177.92 it(101) =< aux(6) 177.89/177.92 177.89/177.92 with precondition: [D1=3,0>=I,0>=J+2,U>=0,E>=C+2,I>=H,C>=U] 177.89/177.92 177.89/177.92 * Chain [[69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165],170]...: 40*it(69)+24*it(101)+12*it(133)+21*it(141)+65*s(129)+0 177.89/177.92 Such that:aux(3) =< E-U 177.89/177.92 aux(6) =< -H+I 177.89/177.92 aux(5) =< -H+I+1 177.89/177.92 aux(13) =< -C+E 177.89/177.92 it(69) =< aux(13) 177.89/177.92 it(101) =< aux(13) 177.89/177.92 it(133) =< aux(13) 177.89/177.92 it(141) =< aux(13) 177.89/177.92 it(101) =< aux(3) 177.89/177.92 it(133) =< aux(3) 177.89/177.92 it(69) =< aux(5) 177.89/177.92 it(101) =< aux(5) 177.89/177.92 it(69) =< aux(6) 177.89/177.92 it(101) =< aux(6) 177.89/177.92 177.89/177.92 with precondition: [D1=3,0>=I,J>=0,U>=0,E>=C+2,I>=H,C>=U] 177.89/177.92 177.89/177.92 * Chain [[69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165],169]...: 40*it(69)+24*it(101)+12*it(133)+21*it(141)+65*s(129)+0 177.89/177.92 Such that:aux(1) =< -C+E 177.89/177.92 aux(2) =< -C+E1 177.89/177.92 aux(3) =< E-U 177.89/177.92 aux(6) =< -H+I 177.89/177.92 aux(5) =< -H+I+1 177.89/177.92 aux(4) =< -U+T1 177.89/177.92 it(69) =< aux(1) 177.89/177.92 it(101) =< aux(1) 177.89/177.92 it(133) =< aux(1) 177.89/177.92 it(141) =< aux(1) 177.89/177.92 it(69) =< aux(2) 177.89/177.92 it(101) =< aux(2) 177.89/177.92 it(133) =< aux(2) 177.89/177.92 it(141) =< aux(2) 177.89/177.92 it(101) =< aux(3) 177.89/177.92 it(133) =< aux(3) 177.89/177.92 it(101) =< aux(4) 177.89/177.92 it(133) =< aux(4) 177.89/177.92 it(69) =< aux(5) 177.89/177.92 it(101) =< aux(5) 177.89/177.92 it(69) =< aux(6) 177.89/177.92 it(101) =< aux(6) 177.89/177.92 177.89/177.92 with precondition: [D1=4,K=J1,L=K1,M=L1,N=M1,O=N1,P=O1,Q=P1,R=Q1,S=R1,T=S1,U=T1,0>=I,0>=J+2,0>=F1,0>=G1,U>=0,E1>=C+1,I>=H,H1>=H,C>=U,E>=E1+1] 177.89/177.92 177.89/177.92 * Chain [[69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165],168]...: 40*it(69)+24*it(101)+12*it(133)+21*it(141)+65*s(129)+0 177.89/177.92 Such that:aux(1) =< -C+E 177.89/177.92 aux(2) =< -C+E1 177.89/177.92 aux(3) =< E-U 177.89/177.92 aux(6) =< -H+I 177.89/177.92 aux(5) =< -H+I+1 177.89/177.92 aux(4) =< -U+T1 177.89/177.92 it(69) =< aux(1) 177.89/177.92 it(101) =< aux(1) 177.89/177.92 it(133) =< aux(1) 177.89/177.92 it(141) =< aux(1) 177.89/177.92 it(69) =< aux(2) 177.89/177.92 it(101) =< aux(2) 177.89/177.92 it(133) =< aux(2) 177.89/177.92 it(141) =< aux(2) 177.89/177.92 it(101) =< aux(3) 177.89/177.92 it(133) =< aux(3) 177.89/177.92 it(101) =< aux(4) 177.89/177.92 it(133) =< aux(4) 177.89/177.92 it(69) =< aux(5) 177.89/177.92 it(101) =< aux(5) 177.89/177.92 it(69) =< aux(6) 177.89/177.92 it(101) =< aux(6) 177.89/177.92 177.89/177.92 with precondition: [D1=4,K=J1,L=K1,M=L1,N=M1,O=N1,P=O1,Q=P1,R=Q1,S=R1,T=S1,U=T1,0>=I,0>=J+2,U>=0,F1>=1,E1>=C+1,I>=H,H1>=H,C>=U,E>=E1+1] 177.89/177.92 177.89/177.92 * Chain [[69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165],167]...: 40*it(69)+24*it(101)+12*it(133)+21*it(141)+65*s(129)+0 177.89/177.92 Such that:aux(1) =< -C+E 177.89/177.92 aux(2) =< -C+E1 177.89/177.92 aux(3) =< E-U 177.89/177.92 aux(6) =< -H+I 177.89/177.92 aux(5) =< -H+I+1 177.89/177.92 aux(4) =< -U+T1 177.89/177.92 it(69) =< aux(1) 177.89/177.92 it(101) =< aux(1) 177.89/177.92 it(133) =< aux(1) 177.89/177.92 it(141) =< aux(1) 177.89/177.92 it(69) =< aux(2) 177.89/177.92 it(101) =< aux(2) 177.89/177.92 it(133) =< aux(2) 177.89/177.92 it(141) =< aux(2) 177.89/177.92 it(101) =< aux(3) 177.89/177.92 it(133) =< aux(3) 177.89/177.92 it(101) =< aux(4) 177.89/177.92 it(133) =< aux(4) 177.89/177.92 it(69) =< aux(5) 177.89/177.92 it(101) =< aux(5) 177.89/177.92 it(69) =< aux(6) 177.89/177.92 it(101) =< aux(6) 177.89/177.92 177.89/177.92 with precondition: [D1=4,K=J1,L=K1,M=L1,N=M1,O=N1,P=O1,Q=P1,R=Q1,S=R1,T=S1,U=T1,0>=I,0>=F1,0>=G1,J>=0,U>=0,E1>=C+1,I>=H,H1>=H,C>=U,E>=E1+1] 177.89/177.92 177.89/177.92 * Chain [[69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165],166]...: 40*it(69)+24*it(101)+12*it(133)+21*it(141)+65*s(129)+0 177.89/177.92 Such that:aux(1) =< -C+E 177.89/177.92 aux(2) =< -C+E1 177.89/177.92 aux(3) =< E-U 177.89/177.92 aux(6) =< -H+I 177.89/177.92 aux(5) =< -H+I+1 177.89/177.92 aux(4) =< -U+T1 177.89/177.92 it(69) =< aux(1) 177.89/177.92 it(101) =< aux(1) 177.89/177.92 it(133) =< aux(1) 177.89/177.92 it(141) =< aux(1) 177.89/177.92 it(69) =< aux(2) 177.89/177.92 it(101) =< aux(2) 177.89/177.92 it(133) =< aux(2) 177.89/177.92 it(141) =< aux(2) 177.89/177.92 it(101) =< aux(3) 177.89/177.92 it(133) =< aux(3) 177.89/177.92 it(101) =< aux(4) 177.89/177.92 it(133) =< aux(4) 177.89/177.92 it(69) =< aux(5) 177.89/177.92 it(101) =< aux(5) 177.89/177.92 it(69) =< aux(6) 177.89/177.92 it(101) =< aux(6) 177.89/177.92 177.89/177.92 with precondition: [D1=4,K=J1,L=K1,M=L1,N=M1,O=N1,P=O1,Q=P1,R=Q1,S=R1,T=S1,U=T1,0>=I,J>=0,U>=0,F1>=1,E1>=C+1,I>=H,H1>=H,C>=U,E>=E1+1] 177.89/177.92 177.89/177.92 * Chain [202]: 0 177.89/177.92 with precondition: [J+1=0,D1=4,I1+1=0,J1=K,K1=L,L1=M,M1=N,N1=O,O1=P,P1=Q,Q1=R,R1=S,S1=T,C=E1,I=H1,U=T1,0>=I,0>=F1,0>=G1,U>=0,E>=C+1,I>=H,C>=U] 177.89/177.92 177.89/177.92 * Chain [201]: 0 177.89/177.92 with precondition: [J+1=0,D1=4,I1+1=0,J1=K,K1=L,L1=M,M1=N,N1=O,O1=P,P1=Q,Q1=R,R1=S,S1=T,C=E1,I=H1,U=T1,0>=I,U>=0,F1>=1,E>=C+1,I>=H,C>=U] 177.89/177.92 177.89/177.92 * Chain [200]: 0 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,I1=J,O1=P,R1=S,S1=T,C=E1,I=H1,J1=K1,M1=N1,U=T1,0>=I,0>=F1,0>=G1,0>=J1,0>=L1,0>=Q1,U>=0,M1>=0,E>=C+1,H>=I+1,C>=U] 177.89/177.92 177.89/177.92 * Chain [199]: 0 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,I1=J,O1=P,R1=S,S1=T,C=E1,I=H1,J1=K1,M1=N1,U=T1,0>=I,0>=F1,0>=G1,0>=J1,0>=L1,U>=0,M1>=0,Q1>=2,E>=C+1,H>=I+1,C>=U] 177.89/177.92 177.89/177.92 * Chain [198]: 0 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,I1=J,O1=P,R1=S,S1=T,C=E1,I=H1,J1=K1,M1=N1,U=T1,0>=I,0>=J1,0>=L1,0>=Q1,U>=0,F1>=1,M1>=0,E>=C+1,H>=I+1,C>=U] 177.89/177.92 177.89/177.92 * Chain [197]: 0 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,I1=J,O1=P,R1=S,S1=T,C=E1,I=H1,J1=K1,M1=N1,U=T1,0>=I,0>=J1,0>=L1,U>=0,F1>=1,M1>=0,Q1>=2,E>=C+1,H>=I+1,C>=U] 177.89/177.92 177.89/177.92 * Chain [196]: 0 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,I1=J,R1=S,S1=T,C=E1,I=H1,J1=K1,M1=N1,U=T1,0>=I,0>=F1,0>=G1,0>=J1,0>=O1,0>=Q1,U>=0,L1>=1,M1>=0,E>=C+1,H>=I+1,C>=U] 177.89/177.92 177.89/177.92 * Chain [195]: 0 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,I1=J,R1=S,S1=T,C=E1,I=H1,J1=K1,M1=N1,U=T1,0>=I,0>=F1,0>=G1,0>=J1,0>=O1,U>=0,L1>=1,M1>=0,Q1>=2,E>=C+1,H>=I+1,C>=U] 177.89/177.92 177.89/177.92 * Chain [194]: 0 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,I1=J,R1=S,S1=T,C=E1,I=H1,J1=K1,M1=N1,U=T1,0>=I,0>=J1,0>=O1,0>=Q1,U>=0,F1>=1,L1>=1,M1>=0,E>=C+1,H>=I+1,C>=U] 177.89/177.92 177.89/177.92 * Chain [193]: 0 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,I1=J,R1=S,S1=T,C=E1,I=H1,J1=K1,M1=N1,U=T1,0>=I,0>=J1,0>=O1,U>=0,F1>=1,L1>=1,M1>=0,Q1>=2,E>=C+1,H>=I+1,C>=U] 177.89/177.92 177.89/177.92 * Chain [192]: 1*s(193)+0 177.89/177.92 with precondition: [D1=3,0>=I,0>=J+2,U>=0,E>=C+1,I>=H,C>=U] 177.89/177.92 177.89/177.92 * Chain [191]: 1*s(194)+0 177.89/177.92 with precondition: [D1=3,0>=I,J>=0,U>=0,E>=C+1,I>=H,C>=U] 177.89/177.92 177.89/177.92 * Chain [190]: 0 177.89/177.92 with precondition: [D1=3,0>=I,U>=0,E>=C+1,C>=U] 177.89/177.92 177.89/177.92 * Chain [189]: 0 177.89/177.92 with precondition: [D1=3,0>=I,U>=0,C>=U] 177.89/177.92 177.89/177.92 * Chain [188]: 0 177.89/177.92 with precondition: [D1=4,F1=F,G1=G,I1=J,J1=K,K1=L,L1=M,M1=N,N1=O,O1=P,P1=Q,Q1=R,R1=S,S1=T,C=E1,I=H1,U=T1,0>=I,U>=0,C>=E,C>=U] 177.89/177.92 177.89/177.92 * Chain [187]...: 1*s(195)+0 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,O1=P,R1=S,S1=T,C=E1,J1=K1,M1=N1,U=T1,0>=I,0>=J+2,0>=F1,0>=G1,0>=J1,0>=L1,0>=Q1,U>=0,M1>=0,E>=C+1,I>=H,C>=U,H>=H1+1] 177.89/177.92 177.89/177.92 * Chain [186]...: 1*s(196)+0 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,O1=P,R1=S,S1=T,C=E1,J1=K1,M1=N1,U=T1,0>=I,0>=J+2,0>=F1,0>=G1,0>=J1,0>=L1,U>=0,M1>=0,Q1>=2,E>=C+1,I>=H,C>=U,H>=H1+1] 177.89/177.92 177.89/177.92 * Chain [185]...: 1*s(197)+0 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,O1=P,R1=S,S1=T,C=E1,J1=K1,M1=N1,U=T1,0>=I,0>=J+2,0>=J1,0>=L1,0>=Q1,U>=0,F1>=1,M1>=0,E>=C+1,I>=H,C>=U,H>=H1+1] 177.89/177.92 177.89/177.92 * Chain [184]...: 1*s(198)+0 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,O1=P,R1=S,S1=T,C=E1,J1=K1,M1=N1,U=T1,0>=I,0>=J+2,0>=J1,0>=L1,U>=0,F1>=1,M1>=0,Q1>=2,E>=C+1,I>=H,C>=U,H>=H1+1] 177.89/177.92 177.89/177.92 * Chain [183]...: 1*s(199)+0 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,O1=P,R1=S,S1=T,C=E1,J1=K1,M1=N1,U=T1,0>=I,0>=F1,0>=G1,0>=J1,0>=L1,0>=Q1,J>=0,U>=0,M1>=0,E>=C+1,I>=H,C>=U,H>=H1+1] 177.89/177.92 177.89/177.92 * Chain [182]...: 1*s(200)+0 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,O1=P,R1=S,S1=T,C=E1,J1=K1,M1=N1,U=T1,0>=I,0>=F1,0>=G1,0>=J1,0>=L1,J>=0,U>=0,M1>=0,Q1>=2,E>=C+1,I>=H,C>=U,H>=H1+1] 177.89/177.92 177.89/177.92 * Chain [181]...: 1*s(201)+0 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,O1=P,R1=S,S1=T,C=E1,J1=K1,M1=N1,U=T1,0>=I,0>=J1,0>=L1,0>=Q1,J>=0,U>=0,F1>=1,M1>=0,E>=C+1,I>=H,C>=U,H>=H1+1] 177.89/177.92 177.89/177.92 * Chain [180]...: 1*s(202)+0 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,O1=P,R1=S,S1=T,C=E1,J1=K1,M1=N1,U=T1,0>=I,0>=J1,0>=L1,J>=0,U>=0,F1>=1,M1>=0,Q1>=2,E>=C+1,I>=H,C>=U,H>=H1+1] 177.89/177.92 177.89/177.92 * Chain [179]...: 1*s(203)+0 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,R1=S,S1=T,C=E1,J1=K1,M1=N1,U=T1,0>=I,0>=J+2,0>=F1,0>=G1,0>=J1,0>=O1,0>=Q1,U>=0,L1>=1,M1>=0,E>=C+1,I>=H,C>=U,H>=H1+1] 177.89/177.92 177.89/177.92 * Chain [178]...: 1*s(204)+0 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,R1=S,S1=T,C=E1,J1=K1,M1=N1,U=T1,0>=I,0>=J+2,0>=F1,0>=G1,0>=J1,0>=O1,U>=0,L1>=1,M1>=0,Q1>=2,E>=C+1,I>=H,C>=U,H>=H1+1] 177.89/177.92 177.89/177.92 * Chain [177]...: 1*s(205)+0 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,R1=S,S1=T,C=E1,J1=K1,M1=N1,U=T1,0>=I,0>=J+2,0>=J1,0>=O1,0>=Q1,U>=0,F1>=1,L1>=1,M1>=0,E>=C+1,I>=H,C>=U,H>=H1+1] 177.89/177.92 177.89/177.92 * Chain [176]...: 1*s(206)+0 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,R1=S,S1=T,C=E1,J1=K1,M1=N1,U=T1,0>=I,0>=J+2,0>=J1,0>=O1,U>=0,F1>=1,L1>=1,M1>=0,Q1>=2,E>=C+1,I>=H,C>=U,H>=H1+1] 177.89/177.92 177.89/177.92 * Chain [175]...: 1*s(207)+0 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,R1=S,S1=T,C=E1,J1=K1,M1=N1,U=T1,0>=I,0>=F1,0>=G1,0>=J1,0>=O1,0>=Q1,J>=0,U>=0,L1>=1,M1>=0,E>=C+1,I>=H,C>=U,H>=H1+1] 177.89/177.92 177.89/177.92 * Chain [174]...: 1*s(208)+0 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,R1=S,S1=T,C=E1,J1=K1,M1=N1,U=T1,0>=I,0>=F1,0>=G1,0>=J1,0>=O1,J>=0,U>=0,L1>=1,M1>=0,Q1>=2,E>=C+1,I>=H,C>=U,H>=H1+1] 177.89/177.92 177.89/177.92 * Chain [173]...: 1*s(209)+0 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,R1=S,S1=T,C=E1,J1=K1,M1=N1,U=T1,0>=I,0>=J1,0>=O1,0>=Q1,J>=0,U>=0,F1>=1,L1>=1,M1>=0,E>=C+1,I>=H,C>=U,H>=H1+1] 177.89/177.92 177.89/177.92 * Chain [172]...: 1*s(210)+0 177.89/177.92 with precondition: [Q=3,D1=4,P1=3,R1=S,S1=T,C=E1,J1=K1,M1=N1,U=T1,0>=I,0>=J1,0>=O1,J>=0,U>=0,F1>=1,L1>=1,M1>=0,Q1>=2,E>=C+1,I>=H,C>=U,H>=H1+1] 177.89/177.92 177.89/177.92 * Chain [171]...: 1*s(211)+0 177.89/177.92 with precondition: [D1=3,0>=I,0>=J+2,U>=0,E>=C+1,I>=H,C>=U] 177.89/177.92 177.89/177.92 * Chain [170]...: 1*s(212)+0 177.89/177.92 with precondition: [D1=3,0>=I,J>=0,U>=0,E>=C+1,I>=H,C>=U] 177.89/177.92 177.89/177.92 * Chain [169]...: 1*s(213)+0 177.89/177.92 with precondition: [D1=4,J1=K,K1=L,L1=M,M1=N,N1=O,O1=P,P1=Q,Q1=R,R1=S,S1=T,C=E1,U=T1,0>=I,0>=J+2,0>=F1,0>=G1,U>=0,E>=C+1,I>=H,H1>=H,C>=U] 177.89/177.92 177.89/177.92 * Chain [168]...: 1*s(214)+0 177.89/177.92 with precondition: [D1=4,J1=K,K1=L,L1=M,M1=N,N1=O,O1=P,P1=Q,Q1=R,R1=S,S1=T,C=E1,U=T1,0>=I,0>=J+2,U>=0,F1>=1,E>=C+1,I>=H,H1>=H,C>=U] 177.89/177.92 177.89/177.92 * Chain [167]...: 1*s(215)+0 177.89/177.92 with precondition: [D1=4,J1=K,K1=L,L1=M,M1=N,N1=O,O1=P,P1=Q,Q1=R,R1=S,S1=T,C=E1,U=T1,0>=I,0>=F1,0>=G1,J>=0,U>=0,E>=C+1,I>=H,H1>=H,C>=U] 177.89/177.92 177.89/177.92 * Chain [166]...: 1*s(216)+0 177.89/177.92 with precondition: [D1=4,J1=K,K1=L,L1=M,M1=N,N1=O,O1=P,P1=Q,Q1=R,R1=S,S1=T,C=E1,U=T1,0>=I,J>=0,U>=0,F1>=1,E>=C+1,I>=H,H1>=H,C>=U] 177.89/177.92 177.89/177.92 177.89/177.92 #### Cost of chains of f71(D1): 177.89/177.92 * Chain [[203]]...: 1*it(203)+0 177.89/177.92 with precondition: [D1=3] 177.89/177.92 177.89/177.92 * Chain [[203],204]: 1*it(203)+0 177.89/177.92 with precondition: [D1=3] 177.89/177.92 177.89/177.92 * Chain [204]: 0 177.89/177.92 with precondition: [D1=3] 177.89/177.92 177.89/177.92 177.89/177.92 #### Cost of chains of f68(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,D1): 177.89/177.92 * Chain [208]: 1*s(226)+0 177.89/177.92 with precondition: [W=1,Y=A,1>=B,0>=U,B>=0,X>=1,B+D>=1] 177.89/177.92 177.89/177.92 * Chain [207]: 1*s(227)+0 177.89/177.92 with precondition: [W=1,Y=A,1>=B,B>=0,U>=1,X>=1,B+D>=1] 177.89/177.92 177.89/177.92 * Chain [206]...: 1*s(228)+0 177.89/177.92 with precondition: [W=1,Y=A,1>=B,0>=U,B>=0,X>=1,B+D>=1] 177.89/177.92 177.89/177.92 * Chain [205]...: 1*s(229)+0 177.89/177.92 with precondition: [W=1,Y=A,1>=B,B>=0,U>=1,X>=1,B+D>=1] 177.89/177.92 177.89/177.92 177.89/177.92 #### Cost of chains of f26_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1): 177.89/177.92 * Chain [213]...: 1*s(230)+0 177.89/177.92 with precondition: [A=4,X=1,Z=B,1>=C,0>=V,C>=0,Y>=1,C+E>=1] 177.89/177.92 177.89/177.92 * Chain [212]...: 1*s(231)+0 177.89/177.92 with precondition: [A=4,X=1,Z=B,1>=C,C>=0,V>=1,Y>=1,C+E>=1] 177.89/177.92 177.89/177.92 * Chain [211]: 0 177.89/177.92 with precondition: [A=3,X=1,Z=B,1>=C,C>=0,Y>=1,C+E>=1] 177.89/177.92 177.89/177.92 * Chain [210]: 1*s(232)+0 177.89/177.92 with precondition: [A=4,X=1,Z=B,1>=C,0>=V,C>=0,Y>=1,C+E>=1] 177.89/177.92 177.89/177.92 * Chain [209]: 1*s(233)+0 177.89/177.92 with precondition: [A=4,X=1,Z=B,1>=C,C>=0,V>=1,Y>=1,C+E>=1] 177.89/177.92 177.89/177.92 177.89/177.92 #### Cost of chains of f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,D1): 177.89/177.92 * Chain [291]: 1*aux(15)+0 177.89/177.92 with precondition: [D=0,I=0,J+1=0,U=0,W=1,Y=A,0>=H,0>=Y,E>=1,X>=1] 177.89/177.92 177.89/177.93 * Chain [290]: 42*s(245)+130*s(246)+0 177.89/177.93 Such that:aux(20) =< E 177.89/177.93 s(245) =< aux(20) 177.89/177.93 177.89/177.93 with precondition: [D=0,I=0,J+1=0,U=0,W=1,Y=A,0>=H,0>=Y,E>=2,X>=1] 177.89/177.93 177.89/177.93 * Chain [289]: 1*aux(21)+0 177.89/177.93 with precondition: [D=0,I=0,Q=3,U=0,W=1,Y=A,0>=Y,E>=1,H>=1,X>=1] 177.89/177.93 177.89/177.93 * Chain [288]: 832*s(274)+432*s(277)+1040*s(278)+0 177.89/177.93 Such that:aux(38) =< E 177.89/177.93 aux(39) =< -H+1 177.89/177.93 s(274) =< aux(38) 177.89/177.93 s(277) =< aux(38) 177.89/177.93 s(274) =< aux(39) 177.89/177.93 177.89/177.93 with precondition: [D=0,I=0,Q=3,U=0,W=1,Y=A,0>=Y,E>=2,X>=1] 177.89/177.93 177.89/177.93 * Chain [287]: 1*s(460)+0 177.89/177.93 with precondition: [D=0,I=0,U=0,W=1,Y=A,0>=E,0>=Y,X>=1] 177.89/177.93 177.89/177.93 * Chain [286]: 1*s(461)+0 177.89/177.93 with precondition: [D=0,I=0,U=0,W=1,Y=A,0>=H,0>=J+2,0>=Y,E>=1,X>=1] 177.89/177.93 177.89/177.93 * Chain [285]: 64*s(466)+33*s(468)+65*s(470)+0 177.89/177.93 Such that:s(463) =< -H 177.89/177.93 s(464) =< -H+1 177.89/177.93 aux(40) =< E 177.89/177.93 s(466) =< aux(40) 177.89/177.93 s(468) =< aux(40) 177.89/177.93 s(466) =< s(464) 177.89/177.93 s(466) =< s(463) 177.89/177.93 177.89/177.93 with precondition: [D=0,I=0,U=0,W=1,Y=A,0>=H,0>=J+2,0>=Y,E>=2,X>=1] 177.89/177.93 177.89/177.93 * Chain [284]: 1*s(471)+0 177.89/177.93 with precondition: [D=0,I=0,U=0,W=1,Y=A,0>=H,0>=Y,E>=1,J>=0,X>=1] 177.89/177.93 177.89/177.93 * Chain [283]: 64*s(476)+33*s(478)+65*s(480)+0 177.89/177.93 Such that:s(473) =< -H 177.89/177.93 s(474) =< -H+1 177.89/177.93 aux(41) =< E 177.89/177.93 s(476) =< aux(41) 177.89/177.93 s(478) =< aux(41) 177.89/177.93 s(476) =< s(474) 177.89/177.93 s(476) =< s(473) 177.89/177.93 177.89/177.93 with precondition: [D=0,I=0,U=0,W=1,Y=A,0>=H,0>=Y,E>=2,J>=0,X>=1] 177.89/177.93 177.89/177.93 * Chain [282]: 168*s(484)+87*s(486)+194*s(488)+0 177.89/177.93 Such that:aux(45) =< E 177.89/177.93 aux(46) =< -H+1 177.89/177.93 s(484) =< aux(45) 177.89/177.93 s(486) =< aux(45) 177.89/177.93 s(484) =< aux(46) 177.89/177.93 177.89/177.93 with precondition: [D=0,I=0,U=0,W=1,Y=A,0>=Y,E>=1,X>=1] 177.89/177.93 177.89/177.93 * Chain [281]: 64*s(514)+33*s(516)+64*s(518)+0 177.89/177.93 Such that:s(512) =< -H+1 177.89/177.93 aux(47) =< E 177.89/177.93 s(514) =< aux(47) 177.89/177.93 s(516) =< aux(47) 177.89/177.93 s(514) =< s(512) 177.89/177.93 177.89/177.93 with precondition: [D=0,I=0,U=0,W=1,Y=A,0>=Y,E>=2,X>=1] 177.89/177.93 177.89/177.93 * Chain [280]: 0 177.89/177.93 with precondition: [D=0,I=0,U=0,W=1,Y=A,0>=Y,X>=1] 177.89/177.93 177.89/177.93 * Chain [279]: 1*aux(48)+0 177.89/177.93 with precondition: [I=0,J+1=0,U=0,W=1,Y=A,0>=H,0>=Y,D>=1,X>=1,E>=D+1] 177.89/177.93 177.89/177.93 * Chain [278]: 42*s(530)+130*s(531)+0 177.89/177.93 Such that:aux(53) =< -D+E 177.89/177.93 s(530) =< aux(53) 177.89/177.93 177.89/177.93 with precondition: [I=0,J+1=0,U=0,W=1,Y=A,0>=H,0>=Y,D>=1,X>=1,E>=D+2] 177.89/177.93 177.89/177.93 * Chain [277]: 1*aux(54)+0 177.89/177.93 with precondition: [I=0,J+1=0,U=0,W=1,Y=A,0>=H,D>=0,X>=1,Y>=1,E>=D+1] 177.89/177.93 177.89/177.93 * Chain [276]: 42*s(556)+130*s(557)+0 177.89/177.93 Such that:aux(59) =< -D+E 177.89/177.93 s(556) =< aux(59) 177.89/177.93 177.89/177.93 with precondition: [I=0,J+1=0,U=0,W=1,Y=A,0>=H,D>=0,X>=1,Y>=1,E>=D+2] 177.89/177.93 177.89/177.93 * Chain [275]: 1*aux(60)+0 177.89/177.93 with precondition: [I=0,Q=3,U=0,W=1,Y=A,0>=Y,D>=1,H>=1,X>=1,E>=D+1] 177.89/177.93 177.89/177.93 * Chain [274]: 640*s(585)+336*s(588)+1040*s(589)+192*s(598)+96*s(599)+0 177.89/177.93 Such that:aux(77) =< -D+E 177.89/177.93 aux(78) =< E 177.89/177.93 aux(79) =< -H+1 177.89/177.93 s(585) =< aux(77) 177.89/177.93 s(598) =< aux(77) 177.89/177.93 s(599) =< aux(77) 177.89/177.93 s(588) =< aux(77) 177.89/177.93 s(598) =< aux(78) 177.89/177.93 s(599) =< aux(78) 177.89/177.93 s(585) =< aux(79) 177.89/177.93 s(598) =< aux(79) 177.89/177.93 177.89/177.93 with precondition: [I=0,Q=3,U=0,W=1,Y=A,0>=Y,D>=1,X>=1,E>=D+2] 177.89/177.93 177.89/177.93 * Chain [273]: 1*aux(80)+0 177.89/177.93 with precondition: [I=0,Q=3,U=0,W=1,Y=A,D>=0,H>=1,X>=1,Y>=1,E>=D+1] 177.89/177.93 177.89/177.93 * Chain [272]: 640*s(785)+336*s(788)+1040*s(789)+192*s(798)+96*s(799)+0 177.89/177.93 Such that:aux(97) =< -D+E 177.89/177.93 aux(98) =< E 177.89/177.93 aux(99) =< -H+1 177.89/177.93 s(785) =< aux(97) 177.89/177.93 s(798) =< aux(97) 177.89/177.93 s(799) =< aux(97) 177.89/177.93 s(788) =< aux(97) 177.89/177.93 s(798) =< aux(98) 177.89/177.93 s(799) =< aux(98) 177.89/177.93 s(785) =< aux(99) 177.89/177.93 s(798) =< aux(99) 177.89/177.93 177.89/177.93 with precondition: [I=0,Q=3,U=0,W=1,Y=A,D>=0,X>=1,Y>=1,E>=D+2] 177.89/177.93 177.89/177.93 * Chain [271]: 1*s(971)+0 177.89/177.93 with precondition: [I=0,U=0,W=1,Y=A,0>=H,0>=J+2,0>=Y,D>=1,X>=1,E>=D+1] 177.89/177.93 177.89/177.93 * Chain [270]: 40*s(976)+24*s(977)+12*s(978)+21*s(979)+65*s(980)+0 177.89/177.93 Such that:s(975) =< -D+E 177.89/177.93 s(972) =< E 177.89/177.93 s(973) =< -H 177.89/177.93 s(974) =< -H+1 177.89/177.93 s(976) =< s(975) 177.89/177.93 s(977) =< s(975) 177.89/177.93 s(978) =< s(975) 177.89/177.93 s(979) =< s(975) 177.89/177.93 s(977) =< s(972) 177.89/177.93 s(978) =< s(972) 177.89/177.93 s(976) =< s(974) 177.89/177.93 s(977) =< s(974) 177.89/177.93 s(976) =< s(973) 177.89/177.93 s(977) =< s(973) 177.89/177.93 177.89/177.93 with precondition: [I=0,U=0,W=1,Y=A,0>=H,0>=J+2,0>=Y,D>=1,X>=1,E>=D+2] 177.89/177.93 177.89/177.93 * Chain [269]: 1*s(981)+0 177.89/177.93 with precondition: [I=0,U=0,W=1,Y=A,0>=H,0>=Y,D>=1,J>=0,X>=1,E>=D+1] 177.89/177.93 177.89/177.93 * Chain [268]: 40*s(986)+24*s(987)+12*s(988)+21*s(989)+65*s(990)+0 177.89/177.93 Such that:s(985) =< -D+E 177.89/177.93 s(982) =< E 177.89/177.93 s(983) =< -H 177.89/177.93 s(984) =< -H+1 177.89/177.93 s(986) =< s(985) 177.89/177.93 s(987) =< s(985) 177.89/177.93 s(988) =< s(985) 177.89/177.93 s(989) =< s(985) 177.89/177.93 s(987) =< s(982) 177.89/177.93 s(988) =< s(982) 177.89/177.93 s(986) =< s(984) 177.89/177.93 s(987) =< s(984) 177.89/177.93 s(986) =< s(983) 177.89/177.93 s(987) =< s(983) 177.89/177.93 177.89/177.93 with precondition: [I=0,U=0,W=1,Y=A,0>=H,0>=Y,D>=1,J>=0,X>=1,E>=D+2] 177.89/177.93 177.89/177.93 * Chain [267]: 0 177.89/177.93 with precondition: [I=0,U=0,W=1,Y=A,0>=Y,D>=1,X>=1] 177.89/177.93 177.89/177.93 * Chain [266]: 120*s(994)+48*s(995)+24*s(996)+63*s(997)+194*s(998)+0 177.89/177.93 Such that:aux(101) =< -D+E 177.89/177.93 aux(102) =< E 177.89/177.93 aux(103) =< -H+1 177.89/177.93 s(994) =< aux(101) 177.89/177.93 s(995) =< aux(101) 177.89/177.93 s(996) =< aux(101) 177.89/177.93 s(997) =< aux(101) 177.89/177.93 s(995) =< aux(102) 177.89/177.93 s(996) =< aux(102) 177.89/177.93 s(994) =< aux(103) 177.89/177.93 s(995) =< aux(103) 177.89/177.93 177.89/177.93 with precondition: [I=0,U=0,W=1,Y=A,0>=Y,D>=1,X>=1,E>=D+1] 177.89/177.93 177.89/177.93 * Chain [265]: 40*s(1024)+24*s(1025)+12*s(1026)+21*s(1027)+64*s(1028)+0 177.89/177.93 Such that:s(1023) =< -D+E 177.89/177.93 s(1021) =< E 177.89/177.93 s(1022) =< -H+1 177.89/177.93 s(1024) =< s(1023) 177.89/177.93 s(1025) =< s(1023) 177.89/177.93 s(1026) =< s(1023) 177.89/177.93 s(1027) =< s(1023) 177.89/177.93 s(1025) =< s(1021) 177.89/177.93 s(1026) =< s(1021) 177.89/177.93 s(1024) =< s(1022) 177.89/177.93 s(1025) =< s(1022) 177.89/177.93 177.89/177.93 with precondition: [I=0,U=0,W=1,Y=A,0>=Y,D>=1,X>=1,E>=D+2] 177.89/177.93 177.89/177.93 * Chain [264]: 1*s(1029)+0 177.89/177.93 with precondition: [I=0,U=0,W=1,Y=A,0>=Y,D>=1,X>=1,D>=E] 177.89/177.93 177.89/177.93 * Chain [263]: 1*s(1030)+0 177.89/177.93 with precondition: [I=0,U=0,W=1,Y=A,0>=H,0>=J+2,D>=0,X>=1,Y>=1,E>=D+1] 177.89/177.93 177.89/177.93 * Chain [262]: 40*s(1035)+24*s(1036)+12*s(1037)+21*s(1038)+65*s(1039)+0 177.89/177.93 Such that:s(1034) =< -D+E 177.89/177.93 s(1031) =< E 177.89/177.93 s(1032) =< -H 177.89/177.93 s(1033) =< -H+1 177.89/177.93 s(1035) =< s(1034) 177.89/177.93 s(1036) =< s(1034) 177.89/177.93 s(1037) =< s(1034) 177.89/177.93 s(1038) =< s(1034) 177.89/177.93 s(1036) =< s(1031) 177.89/177.93 s(1037) =< s(1031) 177.89/177.93 s(1035) =< s(1033) 177.89/177.93 s(1036) =< s(1033) 177.89/177.93 s(1035) =< s(1032) 177.89/177.93 s(1036) =< s(1032) 177.89/177.93 177.89/177.93 with precondition: [I=0,U=0,W=1,Y=A,0>=H,0>=J+2,D>=0,X>=1,Y>=1,E>=D+2] 177.89/177.93 177.89/177.93 * Chain [261]: 1*s(1040)+0 177.89/177.93 with precondition: [I=0,U=0,W=1,Y=A,0>=H,D>=0,J>=0,X>=1,Y>=1,E>=D+1] 177.89/177.93 177.89/177.93 * Chain [260]: 40*s(1045)+24*s(1046)+12*s(1047)+21*s(1048)+65*s(1049)+0 177.89/177.93 Such that:s(1044) =< -D+E 177.89/177.93 s(1041) =< E 177.89/177.93 s(1042) =< -H 177.89/177.93 s(1043) =< -H+1 177.89/177.93 s(1045) =< s(1044) 177.89/177.93 s(1046) =< s(1044) 177.89/177.93 s(1047) =< s(1044) 177.89/177.93 s(1048) =< s(1044) 177.89/177.93 s(1046) =< s(1041) 177.89/177.93 s(1047) =< s(1041) 177.89/177.93 s(1045) =< s(1043) 177.89/177.93 s(1046) =< s(1043) 177.89/177.93 s(1045) =< s(1042) 177.89/177.93 s(1046) =< s(1042) 177.89/177.93 177.89/177.93 with precondition: [I=0,U=0,W=1,Y=A,0>=H,D>=0,J>=0,X>=1,Y>=1,E>=D+2] 177.89/177.93 177.89/177.93 * Chain [259]: 0 177.89/177.93 with precondition: [I=0,U=0,W=1,Y=A,D>=0,X>=1,Y>=1] 177.89/177.93 177.89/177.93 * Chain [258]: 120*s(1053)+48*s(1054)+24*s(1055)+63*s(1056)+194*s(1057)+0 177.89/177.93 Such that:aux(105) =< -D+E 177.89/177.93 aux(106) =< E 177.89/177.93 aux(107) =< -H+1 177.89/177.93 s(1053) =< aux(105) 177.89/177.93 s(1054) =< aux(105) 177.89/177.93 s(1055) =< aux(105) 177.89/177.93 s(1056) =< aux(105) 177.89/177.93 s(1054) =< aux(106) 177.89/177.93 s(1055) =< aux(106) 177.89/177.93 s(1053) =< aux(107) 177.89/177.93 s(1054) =< aux(107) 177.89/177.93 177.89/177.93 with precondition: [I=0,U=0,W=1,Y=A,D>=0,X>=1,Y>=1,E>=D+1] 177.89/177.93 177.89/177.93 * Chain [257]: 40*s(1083)+24*s(1084)+12*s(1085)+21*s(1086)+64*s(1087)+0 177.89/177.93 Such that:s(1082) =< -D+E 177.89/177.93 s(1080) =< E 177.89/177.93 s(1081) =< -H+1 177.89/177.93 s(1083) =< s(1082) 177.89/177.93 s(1084) =< s(1082) 177.89/177.93 s(1085) =< s(1082) 177.89/177.93 s(1086) =< s(1082) 177.89/177.93 s(1084) =< s(1080) 177.89/177.93 s(1085) =< s(1080) 177.89/177.93 s(1083) =< s(1081) 177.89/177.93 s(1084) =< s(1081) 177.89/177.93 177.89/177.93 with precondition: [I=0,U=0,W=1,Y=A,D>=0,X>=1,Y>=1,E>=D+2] 177.89/177.93 177.89/177.93 * Chain [256]: 1*s(1088)+0 177.89/177.93 with precondition: [I=0,U=0,W=1,Y=A,D>=0,X>=1,Y>=1,D>=E] 177.89/177.93 177.89/177.93 * Chain [255]...: 1*aux(108)+0 177.89/177.93 with precondition: [D=0,I=0,J+1=0,U=0,W=1,Y=A,0>=H,0>=Y,E>=1,X>=1] 177.89/177.93 177.89/177.93 * Chain [254]...: 42*s(1100)+130*s(1101)+0 177.89/177.93 Such that:aux(113) =< E 177.89/177.93 s(1100) =< aux(113) 177.89/177.93 177.89/177.93 with precondition: [D=0,I=0,J+1=0,U=0,W=1,Y=A,0>=H,0>=Y,E>=2,X>=1] 177.89/177.93 177.89/177.93 * Chain [253]...: 1*aux(114)+0 177.89/177.93 with precondition: [D=0,I=0,Q=3,U=0,W=1,Y=A,0>=H,0>=J+2,0>=Y,E>=1,X>=1] 177.89/177.93 177.89/177.93 * Chain [252]...: 640*s(1153)+336*s(1156)+1056*s(1157)+0 177.89/177.93 Such that:aux(131) =< E 177.89/177.93 aux(132) =< -H 177.89/177.93 aux(133) =< -H+1 177.89/177.93 s(1153) =< aux(131) 177.89/177.93 s(1156) =< aux(131) 177.89/177.93 s(1153) =< aux(133) 177.89/177.93 s(1153) =< aux(132) 177.89/177.93 177.89/177.93 with precondition: [D=0,I=0,Q=3,U=0,W=1,Y=A,0>=H,0>=J+2,0>=Y,E>=2,X>=1] 177.89/177.93 177.89/177.93 * Chain [251]...: 1*aux(134)+0 177.89/177.93 with precondition: [D=0,I=0,Q=3,U=0,W=1,Y=A,0>=H,0>=Y,E>=1,J>=0,X>=1] 177.89/177.93 177.89/177.93 * Chain [250]...: 640*s(1377)+336*s(1380)+1056*s(1381)+0 177.89/177.93 Such that:aux(151) =< E 177.89/177.93 aux(152) =< -H 177.89/177.93 aux(153) =< -H+1 177.89/177.93 s(1377) =< aux(151) 177.89/177.93 s(1380) =< aux(151) 177.89/177.93 s(1377) =< aux(153) 177.89/177.93 s(1377) =< aux(152) 177.89/177.93 177.89/177.93 with precondition: [D=0,I=0,Q=3,U=0,W=1,Y=A,0>=H,0>=Y,E>=2,J>=0,X>=1] 177.89/177.93 177.89/177.93 * Chain [249]...: 1*aux(154)+0 177.89/177.93 with precondition: [D=0,I=0,Q=3,U=0,W=1,Y=A,0>=Y,E>=1,H>=1,X>=1] 177.89/177.93 177.89/177.93 * Chain [248]...: 832*s(1577)+432*s(1580)+1040*s(1581)+0 177.89/177.93 Such that:aux(171) =< E 177.89/177.93 aux(172) =< -H+1 177.89/177.93 s(1577) =< aux(171) 177.89/177.93 s(1580) =< aux(171) 177.89/177.93 s(1577) =< aux(172) 177.89/177.93 177.89/177.93 with precondition: [D=0,I=0,Q=3,U=0,W=1,Y=A,0>=Y,E>=2,X>=1] 177.89/177.93 177.89/177.93 * Chain [247]...: 1*s(1763)+0 177.89/177.93 with precondition: [D=0,I=0,U=0,W=1,Y=A,0>=E,0>=Y,X>=1] 177.89/177.93 177.89/177.93 * Chain [246]...: 1*aux(173)+0 177.89/177.93 with precondition: [D=0,I=0,U=0,W=1,Y=A,0>=H,0>=J+2,0>=Y,E>=1,X>=1] 177.89/177.93 177.89/177.93 * Chain [245]...: 224*s(1777)+117*s(1779)+329*s(1781)+0 177.89/177.93 Such that:aux(179) =< E 177.89/177.93 aux(180) =< -H 177.89/177.93 aux(181) =< -H+1 177.89/177.93 s(1777) =< aux(179) 177.89/177.93 s(1779) =< aux(179) 177.89/177.93 s(1777) =< aux(181) 177.89/177.93 s(1777) =< aux(180) 177.89/177.93 177.89/177.93 with precondition: [D=0,I=0,U=0,W=1,Y=A,0>=H,0>=J+2,0>=Y,E>=2,X>=1] 177.89/177.93 177.89/177.93 * Chain [244]...: 1*aux(182)+0 177.89/177.93 with precondition: [D=0,I=0,U=0,W=1,Y=A,0>=H,0>=Y,E>=1,J>=0,X>=1] 177.89/177.93 177.89/177.93 * Chain [243]...: 224*s(1843)+117*s(1845)+329*s(1847)+0 177.89/177.93 Such that:aux(188) =< E 177.89/177.93 aux(189) =< -H 177.89/177.93 aux(190) =< -H+1 177.89/177.93 s(1843) =< aux(188) 177.89/177.93 s(1845) =< aux(188) 177.89/177.93 s(1843) =< aux(190) 177.89/177.93 s(1843) =< aux(189) 177.89/177.93 177.89/177.93 with precondition: [D=0,I=0,U=0,W=1,Y=A,0>=H,0>=Y,E>=2,J>=0,X>=1] 177.89/177.93 177.89/177.93 * Chain [242]...: 104*s(1901)+54*s(1904)+130*s(1905)+0 177.89/177.93 Such that:aux(193) =< E 177.89/177.93 aux(194) =< -H+1 177.89/177.93 s(1901) =< aux(193) 177.89/177.93 s(1904) =< aux(193) 177.89/177.93 s(1901) =< aux(194) 177.89/177.93 177.89/177.93 with precondition: [D=0,I=0,U=0,W=1,Y=A,0>=Y,E>=1,X>=1] 177.89/177.93 177.89/177.93 * Chain [241]...: 1*aux(195)+0 177.89/177.93 with precondition: [I=0,J+1=0,U=0,W=1,Y=A,0>=H,0>=Y,D>=1,X>=1,E>=D+1] 177.89/177.93 177.89/177.93 * Chain [240]...: 42*s(1929)+130*s(1930)+0 177.89/177.93 Such that:aux(200) =< -D+E 177.89/177.93 s(1929) =< aux(200) 177.89/177.93 177.89/177.93 with precondition: [I=0,J+1=0,U=0,W=1,Y=A,0>=H,0>=Y,D>=1,X>=1,E>=D+2] 177.89/177.93 177.89/177.93 * Chain [239]...: 1*aux(201)+0 177.89/177.93 with precondition: [I=0,J+1=0,U=0,W=1,Y=A,0>=H,D>=0,X>=1,Y>=1,E>=D+1] 177.89/177.93 177.89/177.93 * Chain [238]...: 42*s(1955)+130*s(1956)+0 177.89/177.93 Such that:aux(206) =< -D+E 177.89/177.93 s(1955) =< aux(206) 177.89/177.93 177.89/177.93 with precondition: [I=0,J+1=0,U=0,W=1,Y=A,0>=H,D>=0,X>=1,Y>=1,E>=D+2] 177.89/177.93 177.89/177.93 * Chain [237]...: 1*aux(207)+0 177.89/177.93 with precondition: [I=0,Q=3,U=0,W=1,Y=A,0>=H,0>=J+2,0>=Y,D>=1,X>=1,E>=D+1] 177.89/177.93 177.89/177.93 * Chain [236]...: 640*s(2008)+336*s(2011)+1056*s(2012)+0 177.89/177.93 Such that:aux(224) =< -D+E 177.89/177.93 aux(225) =< -H 177.89/177.93 aux(226) =< -H+1 177.89/177.93 s(2008) =< aux(224) 177.89/177.93 s(2011) =< aux(224) 177.89/177.93 s(2008) =< aux(226) 177.89/177.93 s(2008) =< aux(225) 177.89/177.93 177.89/177.93 with precondition: [I=0,Q=3,U=0,W=1,Y=A,0>=H,0>=J+2,0>=Y,D>=1,X>=1,E>=D+2] 177.89/177.93 177.89/177.93 * Chain [235]...: 1*aux(227)+0 177.89/177.93 with precondition: [I=0,Q=3,U=0,W=1,Y=A,0>=H,0>=Y,D>=1,J>=0,X>=1,E>=D+1] 177.89/177.93 177.89/177.93 * Chain [234]...: 640*s(2232)+336*s(2235)+1056*s(2236)+0 177.89/177.93 Such that:aux(244) =< -D+E 177.89/177.93 aux(245) =< -H 177.89/177.93 aux(246) =< -H+1 177.89/177.93 s(2232) =< aux(244) 177.89/177.93 s(2235) =< aux(244) 177.89/177.93 s(2232) =< aux(246) 177.89/177.93 s(2232) =< aux(245) 177.89/177.93 177.89/177.93 with precondition: [I=0,Q=3,U=0,W=1,Y=A,0>=H,0>=Y,D>=1,J>=0,X>=1,E>=D+2] 177.89/177.93 177.89/177.93 * Chain [233]...: 1*aux(247)+0 177.89/177.93 with precondition: [I=0,Q=3,U=0,W=1,Y=A,0>=Y,D>=1,H>=1,X>=1,E>=D+1] 177.89/177.93 177.89/177.93 * Chain [232]...: 640*s(2432)+336*s(2435)+1040*s(2436)+192*s(2445)+96*s(2446)+0 177.89/177.93 Such that:aux(264) =< -D+E 177.89/177.93 aux(265) =< E 177.89/177.93 aux(266) =< -H+1 177.89/177.93 s(2432) =< aux(264) 177.89/177.93 s(2445) =< aux(264) 177.89/177.93 s(2446) =< aux(264) 177.89/177.93 s(2435) =< aux(264) 177.89/177.93 s(2445) =< aux(265) 177.89/177.93 s(2446) =< aux(265) 177.89/177.93 s(2432) =< aux(266) 177.89/177.93 s(2445) =< aux(266) 177.89/177.93 177.89/177.93 with precondition: [I=0,Q=3,U=0,W=1,Y=A,0>=Y,D>=1,X>=1,E>=D+2] 177.89/177.93 177.89/177.93 * Chain [231]...: 1*aux(267)+0 177.89/177.93 with precondition: [I=0,Q=3,U=0,W=1,Y=A,0>=H,0>=J+2,D>=0,X>=1,Y>=1,E>=D+1] 177.89/177.93 177.89/177.93 * Chain [230]...: 640*s(2656)+336*s(2659)+1056*s(2660)+0 177.89/177.93 Such that:aux(284) =< -D+E 177.89/177.93 aux(285) =< -H 177.89/177.93 aux(286) =< -H+1 177.89/177.93 s(2656) =< aux(284) 177.89/177.93 s(2659) =< aux(284) 177.89/177.93 s(2656) =< aux(286) 177.89/177.93 s(2656) =< aux(285) 177.89/177.93 177.89/177.93 with precondition: [I=0,Q=3,U=0,W=1,Y=A,0>=H,0>=J+2,D>=0,X>=1,Y>=1,E>=D+2] 177.89/177.93 177.89/177.93 * Chain [229]...: 1*aux(287)+0 177.89/177.93 with precondition: [I=0,Q=3,U=0,W=1,Y=A,0>=H,D>=0,J>=0,X>=1,Y>=1,E>=D+1] 177.89/177.93 177.89/177.93 * Chain [228]...: 640*s(2880)+336*s(2883)+1056*s(2884)+0 177.89/177.93 Such that:aux(304) =< -D+E 177.89/177.93 aux(305) =< -H 177.89/177.93 aux(306) =< -H+1 177.89/177.93 s(2880) =< aux(304) 177.89/177.93 s(2883) =< aux(304) 177.89/177.93 s(2880) =< aux(306) 177.89/177.93 s(2880) =< aux(305) 177.89/177.93 177.89/177.93 with precondition: [I=0,Q=3,U=0,W=1,Y=A,0>=H,D>=0,J>=0,X>=1,Y>=1,E>=D+2] 177.89/177.93 177.89/177.93 * Chain [227]...: 1*aux(307)+0 177.89/177.93 with precondition: [I=0,Q=3,U=0,W=1,Y=A,D>=0,H>=1,X>=1,Y>=1,E>=D+1] 177.89/177.93 177.89/177.93 * Chain [226]...: 640*s(3080)+336*s(3083)+1040*s(3084)+192*s(3093)+96*s(3094)+0 177.89/177.93 Such that:aux(324) =< -D+E 177.89/177.93 aux(325) =< E 177.89/177.93 aux(326) =< -H+1 177.89/177.93 s(3080) =< aux(324) 177.89/177.93 s(3093) =< aux(324) 177.89/177.93 s(3094) =< aux(324) 177.89/177.93 s(3083) =< aux(324) 177.89/177.93 s(3093) =< aux(325) 177.89/177.93 s(3094) =< aux(325) 177.89/177.93 s(3080) =< aux(326) 177.89/177.93 s(3093) =< aux(326) 177.89/177.93 177.89/177.93 with precondition: [I=0,Q=3,U=0,W=1,Y=A,D>=0,X>=1,Y>=1,E>=D+2] 177.89/177.93 177.89/177.93 * Chain [225]...: 1*aux(327)+0 177.89/177.93 with precondition: [I=0,U=0,W=1,Y=A,0>=H,0>=J+2,0>=Y,D>=1,X>=1,E>=D+1] 177.89/177.93 177.89/177.93 * Chain [224]...: 200*s(3279)+24*s(3280)+12*s(3281)+105*s(3282)+329*s(3283)+0 177.89/177.93 Such that:s(3275) =< E 177.89/177.93 aux(332) =< -D+E 177.89/177.93 aux(333) =< -H 177.89/177.93 aux(334) =< -H+1 177.89/177.93 s(3279) =< aux(332) 177.89/177.93 s(3280) =< aux(332) 177.89/177.93 s(3281) =< aux(332) 177.89/177.93 s(3282) =< aux(332) 177.89/177.93 s(3280) =< s(3275) 177.89/177.93 s(3281) =< s(3275) 177.89/177.93 s(3279) =< aux(334) 177.89/177.93 s(3280) =< aux(334) 177.89/177.93 s(3279) =< aux(333) 177.89/177.93 s(3280) =< aux(333) 177.89/177.93 177.89/177.93 with precondition: [I=0,U=0,W=1,Y=A,0>=H,0>=J+2,0>=Y,D>=1,X>=1,E>=D+2] 177.89/177.93 177.89/177.93 * Chain [223]...: 1*aux(335)+0 177.89/177.93 with precondition: [I=0,U=0,W=1,Y=A,0>=H,0>=Y,D>=1,J>=0,X>=1,E>=D+1] 177.89/177.93 177.89/177.93 * Chain [222]...: 200*s(3345)+24*s(3346)+12*s(3347)+105*s(3348)+329*s(3349)+0 177.89/177.93 Such that:s(3341) =< E 177.89/177.93 aux(340) =< -D+E 177.89/177.93 aux(341) =< -H 177.89/177.93 aux(342) =< -H+1 177.89/177.93 s(3345) =< aux(340) 177.89/177.93 s(3346) =< aux(340) 177.89/177.93 s(3347) =< aux(340) 177.89/177.93 s(3348) =< aux(340) 177.89/177.93 s(3346) =< s(3341) 177.89/177.93 s(3347) =< s(3341) 177.89/177.93 s(3345) =< aux(342) 177.89/177.93 s(3346) =< aux(342) 177.89/177.93 s(3345) =< aux(341) 177.89/177.93 s(3346) =< aux(341) 177.89/177.93 177.89/177.93 with precondition: [I=0,U=0,W=1,Y=A,0>=H,0>=Y,D>=1,J>=0,X>=1,E>=D+2] 177.89/177.93 177.89/177.93 * Chain [221]...: 80*s(3403)+42*s(3406)+130*s(3407)+24*s(3415)+12*s(3416)+0 177.89/177.93 Such that:s(3411) =< E 177.89/177.93 aux(344) =< -D+E 177.89/177.93 aux(345) =< -H+1 177.89/177.93 s(3403) =< aux(344) 177.89/177.93 s(3406) =< aux(344) 177.89/177.93 s(3403) =< aux(345) 177.89/177.93 s(3415) =< aux(344) 177.89/177.93 s(3416) =< aux(344) 177.89/177.93 s(3415) =< s(3411) 177.89/177.93 s(3416) =< s(3411) 177.89/177.93 s(3415) =< aux(345) 177.89/177.93 177.89/177.93 with precondition: [I=0,U=0,W=1,Y=A,0>=Y,D>=1,X>=1,E>=D+1] 177.89/177.93 177.89/177.93 * Chain [220]...: 1*s(3420)+0 177.89/177.93 with precondition: [I=0,U=0,W=1,Y=A,0>=Y,D>=1,X>=1,D>=E] 177.89/177.93 177.89/177.93 * Chain [219]...: 1*aux(346)+0 177.89/177.93 with precondition: [I=0,U=0,W=1,Y=A,0>=H,0>=J+2,D>=0,X>=1,Y>=1,E>=D+1] 177.89/177.93 177.89/177.93 * Chain [218]...: 200*s(3434)+24*s(3435)+12*s(3436)+105*s(3437)+329*s(3438)+0 177.89/177.93 Such that:s(3430) =< E 177.89/177.93 aux(351) =< -D+E 177.89/177.93 aux(352) =< -H 177.89/177.93 aux(353) =< -H+1 177.89/177.93 s(3434) =< aux(351) 177.89/177.93 s(3435) =< aux(351) 177.89/177.93 s(3436) =< aux(351) 177.89/177.93 s(3437) =< aux(351) 177.89/177.93 s(3435) =< s(3430) 177.89/177.93 s(3436) =< s(3430) 177.89/177.93 s(3434) =< aux(353) 177.89/177.93 s(3435) =< aux(353) 177.89/177.93 s(3434) =< aux(352) 177.89/177.93 s(3435) =< aux(352) 177.89/177.93 177.89/177.93 with precondition: [I=0,U=0,W=1,Y=A,0>=H,0>=J+2,D>=0,X>=1,Y>=1,E>=D+2] 177.89/177.93 177.89/177.93 * Chain [217]...: 1*aux(354)+0 177.89/177.93 with precondition: [I=0,U=0,W=1,Y=A,0>=H,D>=0,J>=0,X>=1,Y>=1,E>=D+1] 177.89/177.93 177.89/177.93 * Chain [216]...: 200*s(3500)+24*s(3501)+12*s(3502)+105*s(3503)+329*s(3504)+0 177.89/177.93 Such that:s(3496) =< E 177.89/177.93 aux(359) =< -D+E 177.89/177.93 aux(360) =< -H 177.89/177.93 aux(361) =< -H+1 177.89/177.93 s(3500) =< aux(359) 177.89/177.93 s(3501) =< aux(359) 177.89/177.93 s(3502) =< aux(359) 177.89/177.93 s(3503) =< aux(359) 177.89/177.93 s(3501) =< s(3496) 177.89/177.93 s(3502) =< s(3496) 177.89/177.93 s(3500) =< aux(361) 177.89/177.93 s(3501) =< aux(361) 177.89/177.93 s(3500) =< aux(360) 177.89/177.93 s(3501) =< aux(360) 177.89/177.93 177.89/177.93 with precondition: [I=0,U=0,W=1,Y=A,0>=H,D>=0,J>=0,X>=1,Y>=1,E>=D+2] 177.89/177.93 177.89/177.93 * Chain [215]...: 80*s(3558)+42*s(3561)+130*s(3562)+24*s(3570)+12*s(3571)+0 177.89/177.93 Such that:s(3566) =< E 177.89/177.93 aux(363) =< -D+E 177.89/177.93 aux(364) =< -H+1 177.89/177.93 s(3558) =< aux(363) 177.89/177.93 s(3561) =< aux(363) 177.89/177.93 s(3558) =< aux(364) 177.89/177.93 s(3570) =< aux(363) 177.89/177.93 s(3571) =< aux(363) 177.89/177.93 s(3570) =< s(3566) 177.89/177.93 s(3571) =< s(3566) 177.89/177.93 s(3570) =< aux(364) 177.89/177.93 177.89/177.93 with precondition: [I=0,U=0,W=1,Y=A,D>=0,X>=1,Y>=1,E>=D+1] 177.89/177.93 177.89/177.93 * Chain [214]...: 1*s(3575)+0 177.89/177.93 with precondition: [I=0,U=0,W=1,Y=A,D>=0,X>=1,Y>=1,D>=E] 177.89/177.93 177.89/177.93 177.89/177.93 #### Cost of chains of f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,D1): 177.89/177.93 * Chain [333]: 1*aux(365)+0 177.89/177.93 with precondition: [J+1=0,V=3,0>=H] 177.89/177.93 177.89/177.93 * Chain [332]: 1*aux(366)+0 177.89/177.93 with precondition: [J+1=0,0>=H,2>=V] 177.89/177.93 177.89/177.93 * Chain [331]: 1*aux(367)+0 177.89/177.93 with precondition: [J+1=0,0>=H,V>=4] 177.89/177.93 177.89/177.93 * Chain [330]: 2496*s(3614)+4416*s(3615)+0 177.89/177.93 Such that:aux(368) =< -H+1 177.89/177.93 s(3614) =< aux(368) 177.89/177.93 177.89/177.93 with precondition: [Q=3,V=3] 177.89/177.93 177.89/177.93 * Chain [329]: 1*aux(369)+0 177.89/177.93 with precondition: [Q=3,V=3,H>=1] 177.89/177.93 177.89/177.93 * Chain [328]: 2496*s(3638)+4416*s(3639)+0 177.89/177.93 Such that:aux(370) =< -H+1 177.89/177.93 s(3638) =< aux(370) 177.89/177.93 177.89/177.93 with precondition: [Q=3,2>=V] 177.89/177.93 177.89/177.93 * Chain [327]: 1*aux(371)+0 177.89/177.93 with precondition: [Q=3,2>=V,H>=1] 177.89/177.93 177.89/177.93 * Chain [326]: 1*aux(372)+0 177.89/177.93 with precondition: [Q=3,H>=1,V>=4] 177.89/177.93 177.89/177.93 * Chain [325]: 2496*s(3665)+4416*s(3666)+0 177.89/177.93 Such that:aux(373) =< -H+1 177.89/177.93 s(3665) =< aux(373) 177.89/177.93 177.89/177.93 with precondition: [Q=3,V>=4] 177.89/177.93 177.89/177.93 * Chain [324]: 1137*s(3684)+696*s(3687)+0 177.89/177.93 Such that:aux(374) =< -H+1 177.89/177.93 s(3687) =< aux(374) 177.89/177.93 177.89/177.93 with precondition: [V=3] 177.89/177.93 177.89/177.93 * Chain [323]: 297*s(3729)+192*s(3733)+0 177.89/177.93 Such that:aux(375) =< -H 177.89/177.93 aux(376) =< -H+1 177.89/177.93 s(3733) =< aux(376) 177.89/177.93 s(3733) =< aux(375) 177.89/177.93 177.89/177.93 with precondition: [V=3,0>=H,0>=J+2] 177.89/177.93 177.89/177.93 * Chain [322]: 297*s(3756)+192*s(3760)+0 177.89/177.93 Such that:aux(377) =< -H 177.89/177.93 aux(378) =< -H+1 177.89/177.93 s(3760) =< aux(378) 177.89/177.93 s(3760) =< aux(377) 177.89/177.93 177.89/177.93 with precondition: [V=3,0>=H,J>=0] 177.89/177.93 177.89/177.93 * Chain [321]: 297*s(3783)+192*s(3787)+0 177.89/177.93 Such that:aux(379) =< -H 177.89/177.93 aux(380) =< -H+1 177.89/177.93 s(3787) =< aux(380) 177.89/177.93 s(3787) =< aux(379) 177.89/177.93 177.89/177.93 with precondition: [0>=H,0>=J+2,2>=V] 177.89/177.93 177.89/177.93 * Chain [320]: 297*s(3810)+192*s(3814)+0 177.89/177.93 Such that:aux(381) =< -H 177.89/177.93 aux(382) =< -H+1 177.89/177.93 s(3814) =< aux(382) 177.89/177.93 s(3814) =< aux(381) 177.89/177.93 177.89/177.93 with precondition: [0>=H,0>=J+2,V>=4] 177.89/177.93 177.89/177.93 * Chain [319]: 297*s(3837)+192*s(3841)+0 177.89/177.93 Such that:aux(383) =< -H 177.89/177.93 aux(384) =< -H+1 177.89/177.93 s(3841) =< aux(384) 177.89/177.93 s(3841) =< aux(383) 177.89/177.93 177.89/177.93 with precondition: [0>=H,2>=V,J>=0] 177.89/177.93 177.89/177.93 * Chain [318]: 297*s(3864)+192*s(3868)+0 177.89/177.93 Such that:aux(385) =< -H 177.89/177.93 aux(386) =< -H+1 177.89/177.93 s(3868) =< aux(386) 177.89/177.93 s(3868) =< aux(385) 177.89/177.93 177.89/177.93 with precondition: [0>=H,J>=0,V>=4] 177.89/177.93 177.89/177.93 * Chain [317]: 1137*s(3891)+696*s(3894)+0 177.89/177.93 Such that:aux(387) =< -H+1 177.89/177.93 s(3894) =< aux(387) 177.89/177.93 177.89/177.93 with precondition: [2>=V] 177.89/177.93 177.89/177.93 * Chain [316]: 1137*s(3936)+696*s(3939)+0 177.89/177.93 Such that:aux(388) =< -H+1 177.89/177.93 s(3939) =< aux(388) 177.89/177.93 177.89/177.93 with precondition: [V>=4] 177.89/177.93 177.89/177.93 * Chain [315]...: 1*aux(389)+0 177.89/177.93 with precondition: [J+1=0,V=3,0>=H] 177.89/177.93 177.89/177.93 * Chain [314]...: 1*aux(390)+0 177.89/177.93 with precondition: [J+1=0,0>=H,2>=V] 177.89/177.93 177.89/177.93 * Chain [313]...: 1*aux(391)+0 177.89/177.93 with precondition: [J+1=0,0>=H,V>=4] 177.89/177.93 177.89/177.93 * Chain [312]...: 2496*s(4019)+4416*s(4020)+0 177.89/177.93 Such that:aux(392) =< -H+1 177.89/177.93 s(4019) =< aux(392) 177.89/177.93 177.89/177.93 with precondition: [Q=3,V=3] 177.89/177.93 177.89/177.93 * Chain [311]...: 4179*s(4038)+1920*s(4042)+0 177.89/177.93 Such that:aux(393) =< -H 177.89/177.93 aux(394) =< -H+1 177.89/177.93 s(4042) =< aux(394) 177.89/177.93 s(4042) =< aux(393) 177.89/177.93 177.89/177.93 with precondition: [Q=3,V=3,0>=H,0>=J+2] 177.89/177.93 177.89/177.93 * Chain [310]...: 4179*s(4059)+1920*s(4063)+0 177.89/177.93 Such that:aux(395) =< -H 177.89/177.93 aux(396) =< -H+1 177.89/177.93 s(4063) =< aux(396) 177.89/177.93 s(4063) =< aux(395) 177.89/177.93 177.89/177.93 with precondition: [Q=3,V=3,0>=H,J>=0] 177.89/177.93 177.89/177.93 * Chain [309]...: 1*aux(397)+0 177.89/177.93 with precondition: [Q=3,V=3,H>=1] 177.89/177.93 177.89/177.93 * Chain [308]...: 4179*s(4083)+1920*s(4087)+0 177.89/177.93 Such that:aux(398) =< -H 177.89/177.93 aux(399) =< -H+1 177.89/177.93 s(4087) =< aux(399) 177.89/177.93 s(4087) =< aux(398) 177.89/177.93 177.89/177.93 with precondition: [Q=3,0>=H,0>=J+2,2>=V] 177.89/177.93 177.89/177.93 * Chain [307]...: 4179*s(4104)+1920*s(4108)+0 177.89/177.93 Such that:aux(400) =< -H 177.89/177.93 aux(401) =< -H+1 177.89/177.93 s(4108) =< aux(401) 177.89/177.93 s(4108) =< aux(400) 177.89/177.93 177.89/177.93 with precondition: [Q=3,0>=H,0>=J+2,V>=4] 177.89/177.93 177.89/177.93 * Chain [306]...: 4179*s(4125)+1920*s(4129)+0 177.89/177.93 Such that:aux(402) =< -H 177.89/177.93 aux(403) =< -H+1 177.89/177.93 s(4129) =< aux(403) 177.89/177.93 s(4129) =< aux(402) 177.89/177.93 177.89/177.93 with precondition: [Q=3,0>=H,2>=V,J>=0] 177.89/177.93 177.89/177.93 * Chain [305]...: 4179*s(4146)+1920*s(4150)+0 177.89/177.93 Such that:aux(404) =< -H 177.89/177.93 aux(405) =< -H+1 177.89/177.93 s(4150) =< aux(405) 177.89/177.93 s(4150) =< aux(404) 177.89/177.93 177.89/177.93 with precondition: [Q=3,0>=H,J>=0,V>=4] 177.89/177.93 177.89/177.93 * Chain [304]...: 2496*s(4169)+4416*s(4170)+0 177.89/177.93 Such that:aux(406) =< -H+1 177.89/177.93 s(4169) =< aux(406) 177.89/177.93 177.89/177.93 with precondition: [Q=3,2>=V] 177.89/177.93 177.89/177.93 * Chain [303]...: 1*aux(407)+0 177.89/177.93 with precondition: [Q=3,2>=V,H>=1] 177.89/177.93 177.89/177.93 * Chain [302]...: 1*aux(408)+0 177.89/177.93 with precondition: [Q=3,H>=1,V>=4] 177.89/177.93 177.89/177.93 * Chain [301]...: 2496*s(4196)+4416*s(4197)+0 177.89/177.93 Such that:aux(409) =< -H+1 177.89/177.93 s(4196) =< aux(409) 177.89/177.93 177.89/177.93 with precondition: [Q=3,V>=4] 177.89/177.93 177.89/177.93 * Chain [300]...: 555*s(4215)+312*s(4218)+0 177.89/177.93 Such that:aux(410) =< -H+1 177.89/177.93 s(4218) =< aux(410) 177.89/177.93 177.89/177.93 with precondition: [V=3] 177.89/177.93 177.89/177.93 * Chain [299]...: 1341*s(4239)+672*s(4243)+0 177.89/177.93 Such that:aux(411) =< -H 177.89/177.93 aux(412) =< -H+1 177.89/177.93 s(4243) =< aux(412) 177.89/177.93 s(4243) =< aux(411) 177.89/177.93 177.89/177.93 with precondition: [V=3,0>=H,0>=J+2] 177.89/177.93 177.89/177.93 * Chain [298]...: 1341*s(4266)+672*s(4270)+0 177.89/177.93 Such that:aux(413) =< -H 177.89/177.93 aux(414) =< -H+1 177.89/177.93 s(4270) =< aux(414) 177.89/177.93 s(4270) =< aux(413) 177.89/177.93 177.89/177.93 with precondition: [V=3,0>=H,J>=0] 177.89/177.93 177.89/177.93 * Chain [297]...: 1341*s(4293)+672*s(4297)+0 177.89/177.93 Such that:aux(415) =< -H 177.89/177.93 aux(416) =< -H+1 177.89/177.93 s(4297) =< aux(416) 177.89/177.93 s(4297) =< aux(415) 177.89/177.93 177.89/177.93 with precondition: [0>=H,0>=J+2,2>=V] 177.89/177.93 177.89/177.93 * Chain [296]...: 1341*s(4320)+672*s(4324)+0 177.89/177.93 Such that:aux(417) =< -H 177.89/177.93 aux(418) =< -H+1 177.89/177.93 s(4324) =< aux(418) 177.89/177.93 s(4324) =< aux(417) 177.89/177.93 177.89/177.93 with precondition: [0>=H,0>=J+2,V>=4] 177.89/177.93 177.89/177.93 * Chain [295]...: 1341*s(4347)+672*s(4351)+0 177.89/177.93 Such that:aux(419) =< -H 177.89/177.93 aux(420) =< -H+1 177.89/177.93 s(4351) =< aux(420) 177.89/177.93 s(4351) =< aux(419) 177.89/177.93 177.89/177.93 with precondition: [0>=H,2>=V,J>=0] 177.89/177.93 177.89/177.93 * Chain [294]...: 1341*s(4374)+672*s(4378)+0 177.89/177.93 Such that:aux(421) =< -H 177.89/177.93 aux(422) =< -H+1 177.89/177.93 s(4378) =< aux(422) 177.89/177.93 s(4378) =< aux(421) 177.89/177.93 177.89/177.93 with precondition: [0>=H,J>=0,V>=4] 177.89/177.93 177.89/177.93 * Chain [293]...: 555*s(4401)+312*s(4404)+0 177.89/177.93 Such that:aux(423) =< -H+1 177.89/177.93 s(4404) =< aux(423) 177.89/177.93 177.89/177.93 with precondition: [2>=V] 177.89/177.93 177.89/177.93 * Chain [292]...: 555*s(4425)+312*s(4428)+0 177.89/177.93 Such that:aux(424) =< -H+1 177.89/177.93 s(4428) =< aux(424) 177.89/177.93 177.89/177.93 with precondition: [V>=4] 177.89/177.93 177.89/177.93 177.89/177.93 Closed-form bounds of f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,D1): 177.89/177.93 ------------------------------------- 177.89/177.93 * Chain [333] with precondition: [J+1=0,V=3,0>=H] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [332] with precondition: [J+1=0,0>=H,2>=V] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [331] with precondition: [J+1=0,0>=H,V>=4] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [330] with precondition: [Q=3,V=3] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [329] with precondition: [Q=3,V=3,H>=1] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [328] with precondition: [Q=3,2>=V] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [327] with precondition: [Q=3,2>=V,H>=1] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [326] with precondition: [Q=3,H>=1,V>=4] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [325] with precondition: [Q=3,V>=4] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [324] with precondition: [V=3] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [323] with precondition: [V=3,0>=H,0>=J+2] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [322] with precondition: [V=3,0>=H,J>=0] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [321] with precondition: [0>=H,0>=J+2,2>=V] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [320] with precondition: [0>=H,0>=J+2,V>=4] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [319] with precondition: [0>=H,2>=V,J>=0] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [318] with precondition: [0>=H,J>=0,V>=4] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [317] with precondition: [2>=V] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [316] with precondition: [V>=4] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [315]... with precondition: [J+1=0,V=3,0>=H] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [314]... with precondition: [J+1=0,0>=H,2>=V] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [313]... with precondition: [J+1=0,0>=H,V>=4] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [312]... with precondition: [Q=3,V=3] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [311]... with precondition: [Q=3,V=3,0>=H,0>=J+2] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [310]... with precondition: [Q=3,V=3,0>=H,J>=0] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [309]... with precondition: [Q=3,V=3,H>=1] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [308]... with precondition: [Q=3,0>=H,0>=J+2,2>=V] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [307]... with precondition: [Q=3,0>=H,0>=J+2,V>=4] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [306]... with precondition: [Q=3,0>=H,2>=V,J>=0] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [305]... with precondition: [Q=3,0>=H,J>=0,V>=4] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [304]... with precondition: [Q=3,2>=V] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [303]... with precondition: [Q=3,2>=V,H>=1] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [302]... with precondition: [Q=3,H>=1,V>=4] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [301]... with precondition: [Q=3,V>=4] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [300]... with precondition: [V=3] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [299]... with precondition: [V=3,0>=H,0>=J+2] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [298]... with precondition: [V=3,0>=H,J>=0] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [297]... with precondition: [0>=H,0>=J+2,2>=V] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [296]... with precondition: [0>=H,0>=J+2,V>=4] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [295]... with precondition: [0>=H,2>=V,J>=0] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [294]... with precondition: [0>=H,J>=0,V>=4] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [293]... with precondition: [2>=V] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 * Chain [292]... with precondition: [V>=4] 177.89/177.93 - Upper bound: inf 177.89/177.93 - Complexity: infinity 177.89/177.93 177.89/177.93 ### Maximum cost of f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,D1): inf 177.89/177.93 Asymptotic class: infinity 177.89/177.93 * Total analysis performed in 175994 ms. 177.89/177.93 177.96/178.04 EOF