
Preprocessing Cost Relations
=====================================

#### Computed strongly connected components 
0. recursive  : [f33/6]
1. recursive  : [f26/35,f33_loop_cont/36,f39/35,f52/35,f59/35,f63/35]
2. non_recursive  : [exit_location/1]
3. recursive  : [f71/1]
4. non_recursive  : [f71_loop_cont/2]
5. non_recursive  : [f68/26]
6. non_recursive  : [f26_loop_cont/27]
7. non_recursive  : [f20/26]
8. non_recursive  : [f0/26]

#### Obtained direct recursion through partial evaluation 
0. SCC is partially evaluated into f33/6
1. SCC is partially evaluated into f26/35
2. SCC is completely evaluated into other SCCs
3. SCC is partially evaluated into f71/1
4. SCC is completely evaluated into other SCCs
5. SCC is partially evaluated into f68/26
6. SCC is partially evaluated into f26_loop_cont/27
7. SCC is partially evaluated into f20/26
8. SCC is partially evaluated into f0/26

Control-Flow Refinement of Cost Relations
=====================================

### Specialization of cost equations f33/6 
* CE 59 is refined into CE [64] 
* CE 55 is refined into CE [65] 
* CE 56 is refined into CE [66] 
* CE 58 is refined into CE [67] 
* CE 57 is refined into CE [68] 


### Cost equations --> "Loop" of f33/6 
* CEs [67] --> Loop 64 
* CEs [68] --> Loop 65 
* CEs [64] --> Loop 66 
* CEs [65] --> Loop 67 
* CEs [66] --> Loop 68 

### Ranking functions of CR f33(H,I,J,D1,E1,F1) 

#### Partial ranking functions of CR f33(H,I,J,D1,E1,F1) 


### Specialization of cost equations f26/35 
* CE 48 is refined into CE [69,70,71] 
* CE 47 is refined into CE [72,73,74] 
* CE 50 is refined into CE [75] 
* CE 49 is refined into CE [76,77,78,79,80] 
* CE 52 is refined into CE [81] 
* CE 27 is refined into CE [82,83,84] 
* CE 26 is refined into CE [85,86,87] 
* CE 18 is refined into CE [88,89,90] 
* CE 17 is refined into CE [91,92,93] 
* CE 45 is refined into CE [94,95,96] 
* CE 44 is refined into CE [97,98,99] 
* CE 36 is refined into CE [100,101,102] 
* CE 35 is refined into CE [103,104,105] 
* CE 21 is refined into CE [106,107,108] 
* CE 12 is refined into CE [109,110,111] 
* CE 22 is refined into CE [112,113,114] 
* CE 13 is refined into CE [115,116,117] 
* CE 39 is refined into CE [118,119,120] 
* CE 30 is refined into CE [121,122,123] 
* CE 40 is refined into CE [124,125,126] 
* CE 31 is refined into CE [127,128,129] 
* CE 28 is refined into CE [130,131,132] 
* CE 19 is refined into CE [133,134,135] 
* CE 46 is refined into CE [136,137,138] 
* CE 37 is refined into CE [139,140,141] 
* CE 8 is refined into CE [142,143,144] 
* CE 7 is refined into CE [145,146,147] 
* CE 10 is refined into CE [148,149,150] 
* CE 9 is refined into CE [151,152,153] 
* CE 24 is refined into CE [154,155,156] 
* CE 15 is refined into CE [157,158,159] 
* CE 25 is refined into CE [160,161,162] 
* CE 16 is refined into CE [163,164,165] 
* CE 42 is refined into CE [166,167,168] 
* CE 33 is refined into CE [169,170,171] 
* CE 43 is refined into CE [172,173,174] 
* CE 34 is refined into CE [175,176,177] 
* CE 51 is refined into CE [178] 
* CE 20 is refined into CE [179,180,181] 
* CE 11 is refined into CE [182,183,184] 
* CE 38 is refined into CE [185,186,187] 
* CE 29 is refined into CE [188,189,190] 
* CE 23 is refined into CE [191,192,193] 
* CE 14 is refined into CE [194,195,196] 
* CE 41 is refined into CE [197,198,199] 
* CE 32 is refined into CE [200,201,202] 


### Cost equations --> "Loop" of f26/35 
* CEs [108] --> Loop 69 
* CEs [111] --> Loop 70 
* CEs [114] --> Loop 71 
* CEs [117] --> Loop 72 
* CEs [107] --> Loop 73 
* CEs [110] --> Loop 74 
* CEs [113] --> Loop 75 
* CEs [116] --> Loop 76 
* CEs [120] --> Loop 77 
* CEs [123] --> Loop 78 
* CEs [126] --> Loop 79 
* CEs [129] --> Loop 80 
* CEs [119] --> Loop 81 
* CEs [122] --> Loop 82 
* CEs [125] --> Loop 83 
* CEs [128] --> Loop 84 
* CEs [132] --> Loop 85 
* CEs [135] --> Loop 86 
* CEs [131] --> Loop 87 
* CEs [134] --> Loop 88 
* CEs [138] --> Loop 89 
* CEs [141] --> Loop 90 
* CEs [137] --> Loop 91 
* CEs [140] --> Loop 92 
* CEs [144] --> Loop 93 
* CEs [147] --> Loop 94 
* CEs [143] --> Loop 95 
* CEs [146] --> Loop 96 
* CEs [150] --> Loop 97 
* CEs [153] --> Loop 98 
* CEs [149] --> Loop 99 
* CEs [152] --> Loop 100 
* CEs [156] --> Loop 101 
* CEs [159] --> Loop 102 
* CEs [162] --> Loop 103 
* CEs [165] --> Loop 104 
* CEs [155] --> Loop 105 
* CEs [158] --> Loop 106 
* CEs [161] --> Loop 107 
* CEs [164] --> Loop 108 
* CEs [168] --> Loop 109 
* CEs [171] --> Loop 110 
* CEs [174] --> Loop 111 
* CEs [177] --> Loop 112 
* CEs [167] --> Loop 113 
* CEs [170] --> Loop 114 
* CEs [173] --> Loop 115 
* CEs [176] --> Loop 116 
* CEs [181] --> Loop 117 
* CEs [184] --> Loop 118 
* CEs [180] --> Loop 119 
* CEs [183] --> Loop 120 
* CEs [187] --> Loop 121 
* CEs [190] --> Loop 122 
* CEs [186] --> Loop 123 
* CEs [189] --> Loop 124 
* CEs [193] --> Loop 125 
* CEs [196] --> Loop 126 
* CEs [192] --> Loop 127 
* CEs [195] --> Loop 128 
* CEs [199] --> Loop 129 
* CEs [202] --> Loop 130 
* CEs [198] --> Loop 131 
* CEs [201] --> Loop 132 
* CEs [154] --> Loop 133 
* CEs [157] --> Loop 134 
* CEs [160] --> Loop 135 
* CEs [163] --> Loop 136 
* CEs [166] --> Loop 137 
* CEs [169] --> Loop 138 
* CEs [172] --> Loop 139 
* CEs [175] --> Loop 140 
* CEs [106] --> Loop 141 
* CEs [109] --> Loop 142 
* CEs [112] --> Loop 143 
* CEs [115] --> Loop 144 
* CEs [118] --> Loop 145 
* CEs [121] --> Loop 146 
* CEs [124] --> Loop 147 
* CEs [127] --> Loop 148 
* CEs [130] --> Loop 149 
* CEs [133] --> Loop 150 
* CEs [136] --> Loop 151 
* CEs [139] --> Loop 152 
* CEs [142] --> Loop 153 
* CEs [145] --> Loop 154 
* CEs [148] --> Loop 155 
* CEs [151] --> Loop 156 
* CEs [178] --> Loop 157 
* CEs [191] --> Loop 158 
* CEs [194] --> Loop 159 
* CEs [197] --> Loop 160 
* CEs [200] --> Loop 161 
* CEs [179] --> Loop 162 
* CEs [182] --> Loop 163 
* CEs [185] --> Loop 164 
* CEs [188] --> Loop 165 
* CEs [71] --> Loop 166 
* CEs [74] --> Loop 167 
* CEs [70] --> Loop 168 
* CEs [73] --> Loop 169 
* CEs [80] --> Loop 170 
* CEs [79] --> Loop 171 
* CEs [84] --> Loop 172 
* CEs [87] --> Loop 173 
* CEs [90] --> Loop 174 
* CEs [93] --> Loop 175 
* CEs [83] --> Loop 176 
* CEs [86] --> Loop 177 
* CEs [89] --> Loop 178 
* CEs [92] --> Loop 179 
* CEs [96] --> Loop 180 
* CEs [99] --> Loop 181 
* CEs [102] --> Loop 182 
* CEs [105] --> Loop 183 
* CEs [95] --> Loop 184 
* CEs [98] --> Loop 185 
* CEs [101] --> Loop 186 
* CEs [104] --> Loop 187 
* CEs [75] --> Loop 188 
* CEs [81] --> Loop 189 
* CEs [76] --> Loop 190 
* CEs [78] --> Loop 191 
* CEs [77] --> Loop 192 
* CEs [82] --> Loop 193 
* CEs [85] --> Loop 194 
* CEs [88] --> Loop 195 
* CEs [91] --> Loop 196 
* CEs [94] --> Loop 197 
* CEs [97] --> Loop 198 
* CEs [100] --> Loop 199 
* CEs [103] --> Loop 200 
* CEs [69] --> Loop 201 
* CEs [72] --> Loop 202 

### 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) 
* 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]

#### 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) 
* 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]:
  - 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]:
    -H+I+1
  - 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]:
    -C+E
  - 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]:
    E-U


### Specialization of cost equations f71/1 
* CE 63 is refined into CE [203] 
* CE 62 is refined into CE [204] 


### Cost equations --> "Loop" of f71/1 
* CEs [204] --> Loop 203 
* CEs [203] --> Loop 204 

### Ranking functions of CR f71(D1) 

#### Partial ranking functions of CR f71(D1) 


### Specialization of cost equations f68/26 
* CE 61 is refined into CE [205,206] 
* CE 60 is refined into CE [207,208] 


### Cost equations --> "Loop" of f68/26 
* CEs [206] --> Loop 205 
* CEs [208] --> Loop 206 
* CEs [205] --> Loop 207 
* CEs [207] --> Loop 208 

### 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) 

#### 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) 


### Specialization of cost equations f26_loop_cont/27 
* CE 53 is refined into CE [209,210,211,212] 
* CE 54 is refined into CE [213] 


### Cost equations --> "Loop" of f26_loop_cont/27 
* CEs [210] --> Loop 209 
* CEs [209] --> Loop 210 
* CEs [213] --> Loop 211 
* CEs [212] --> Loop 212 
* CEs [211] --> Loop 213 

### 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) 

#### 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) 


### Specialization of cost equations f20/26 
* 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] 
* 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] 
* 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] 


### Cost equations --> "Loop" of f20/26 
* CEs [278] --> Loop 214 
* CEs [281,282] --> Loop 215 
* CEs [350,363,364,365,366] --> Loop 216 
* CEs [349,355,356,357,358] --> Loop 217 
* CEs [348,359,360,361,362] --> Loop 218 
* CEs [347,351,352,353,354] --> Loop 219 
* CEs [431] --> Loop 220 
* CEs [434,435] --> Loop 221 
* CEs [503,516,517,518,519] --> Loop 222 
* CEs [502,508,509,510,511] --> Loop 223 
* CEs [501,512,513,514,515] --> Loop 224 
* CEs [500,504,505,506,507] --> Loop 225 
* CEs [240,241,244,245,248,249,252,253,256,257,260,261,264,265,268,269] --> Loop 226 
* CEs [223,225,227,229,231,233,235,237] --> Loop 227 
* CEs [323,324,325,326,327,328,329,330,339,340,341,342,343,344,345,346] --> Loop 228 
* CEs [291,292,293,294,295,296,297,298,307,308,309,310,311,312,313,314] --> Loop 229 
* CEs [315,316,317,318,319,320,321,322,331,332,333,334,335,336,337,338] --> Loop 230 
* CEs [283,284,285,286,287,288,289,290,299,300,301,302,303,304,305,306] --> Loop 231 
* CEs [393,394,397,398,401,402,405,406,409,410,413,414,417,418,421,422] --> Loop 232 
* CEs [376,378,380,382,384,386,388,390] --> Loop 233 
* CEs [476,477,478,479,480,481,482,483,492,493,494,495,496,497,498,499] --> Loop 234 
* CEs [444,445,446,447,448,449,450,451,460,461,462,463,464,465,466,467] --> Loop 235 
* CEs [468,469,470,471,472,473,474,475,484,485,486,487,488,489,490,491] --> Loop 236 
* CEs [436,437,438,439,440,441,442,443,452,453,454,455,456,457,458,459] --> Loop 237 
* CEs [219,221] --> Loop 238 
* CEs [215,217] --> Loop 239 
* CEs [372,374] --> Loop 240 
* CEs [368,370] --> Loop 241 
* CEs [587,588] --> Loop 242 
* CEs [656,669,670,671,672] --> Loop 243 
* CEs [655,661,662,663,664] --> Loop 244 
* CEs [654,665,666,667,668] --> Loop 245 
* CEs [653,657,658,659,660] --> Loop 246 
* CEs [584] --> Loop 247 
* CEs [546,547,550,551,554,555,558,559,562,563,566,567,570,571,574,575] --> Loop 248 
* CEs [529,531,533,535,537,539,541,543] --> Loop 249 
* CEs [629,630,631,632,633,634,635,636,645,646,647,648,649,650,651,652] --> Loop 250 
* CEs [597,598,599,600,601,602,603,604,613,614,615,616,617,618,619,620] --> Loop 251 
* CEs [621,622,623,624,625,626,627,628,637,638,639,640,641,642,643,644] --> Loop 252 
* CEs [589,590,591,592,593,594,595,596,605,606,607,608,609,610,611,612] --> Loop 253 
* CEs [525,527] --> Loop 254 
* CEs [521,523] --> Loop 255 
* CEs [277] --> Loop 256 
* CEs [275] --> Loop 257 
* CEs [274,279,280] --> Loop 258 
* CEs [276] --> Loop 259 
* CEs [273] --> Loop 260 
* CEs [272] --> Loop 261 
* CEs [271] --> Loop 262 
* CEs [270] --> Loop 263 
* CEs [430] --> Loop 264 
* CEs [428] --> Loop 265 
* CEs [427,432,433] --> Loop 266 
* CEs [429] --> Loop 267 
* CEs [426] --> Loop 268 
* CEs [425] --> Loop 269 
* CEs [424] --> Loop 270 
* CEs [423] --> Loop 271 
* CEs [238,239,242,243,246,247,250,251,254,255,258,259,262,263,266,267] --> Loop 272 
* CEs [222,224,226,228,230,232,234,236] --> Loop 273 
* CEs [391,392,395,396,399,400,403,404,407,408,411,412,415,416,419,420] --> Loop 274 
* CEs [375,377,379,381,383,385,387,389] --> Loop 275 
* CEs [218,220] --> Loop 276 
* CEs [214,216] --> Loop 277 
* CEs [371,373] --> Loop 278 
* CEs [367,369] --> Loop 279 
* CEs [582] --> Loop 280 
* CEs [581] --> Loop 281 
* CEs [580,585,586] --> Loop 282 
* CEs [579] --> Loop 283 
* CEs [578] --> Loop 284 
* CEs [577] --> Loop 285 
* CEs [576] --> Loop 286 
* CEs [583] --> Loop 287 
* CEs [544,545,548,549,552,553,556,557,560,561,564,565,568,569,572,573] --> Loop 288 
* CEs [528,530,532,534,536,538,540,542] --> Loop 289 
* CEs [524,526] --> Loop 290 
* CEs [520,522] --> Loop 291 

### 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) 

#### 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) 


### Specialization of cost equations f0/26 
* 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] 
* 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] 
* 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] 


### Cost equations --> "Loop" of f0/26 
* CEs [717,722,747,748,749,750] --> Loop 292 
* CEs [795,800,825,826,827,828] --> Loop 293 
* CEs [720,721,743,744,745,746] --> Loop 294 
* CEs [798,799,821,822,823,824] --> Loop 295 
* CEs [718,719,739,740,741,742] --> Loop 296 
* CEs [796,797,817,818,819,820] --> Loop 297 
* CEs [876,877,899,900,901,902] --> Loop 298 
* CEs [874,875,895,896,897,898] --> Loop 299 
* CEs [873,878,903,904,905,906] --> Loop 300 
* CEs [716,736,738] --> Loop 301 
* CEs [715,735,737] --> Loop 302 
* CEs [793,813,815] --> Loop 303 
* CEs [794,814,816] --> Loop 304 
* CEs [713,714,731,732,733,734] --> Loop 305 
* CEs [791,792,809,810,811,812] --> Loop 306 
* CEs [711,712,727,728,729,730] --> Loop 307 
* CEs [789,790,805,806,807,808] --> Loop 308 
* CEs [871,891,893] --> Loop 309 
* CEs [869,870,887,888,889,890] --> Loop 310 
* CEs [867,868,883,884,885,886] --> Loop 311 
* CEs [872,892,894] --> Loop 312 
* CEs [709,710,723,724,725,726] --> Loop 313 
* CEs [787,788,801,802,803,804] --> Loop 314 
* CEs [865,866,879,880,881,882] --> Loop 315 
* CEs [677,682,683,684,701,702,703,704,705,706,707,708] --> Loop 316 
* CEs [755,760,761,762,779,780,781,782,783,784,785,786] --> Loop 317 
* CEs [680,681,697,698,699,700] --> Loop 318 
* CEs [758,759,775,776,777,778] --> Loop 319 
* CEs [678,679,693,694,695,696] --> Loop 320 
* CEs [756,757,771,772,773,774] --> Loop 321 
* CEs [836,837,853,854,855,856] --> Loop 322 
* CEs [834,835,849,850,851,852] --> Loop 323 
* CEs [833,838,839,840,857,858,859,860,861,862,863,864] --> Loop 324 
* CEs [676,690,692] --> Loop 325 
* CEs [675,689,691] --> Loop 326 
* CEs [753,767,769] --> Loop 327 
* CEs [754,768,770] --> Loop 328 
* CEs [831,845,847] --> Loop 329 
* CEs [832,846,848] --> Loop 330 
* CEs [673,674,685,686,687,688] --> Loop 331 
* CEs [751,752,763,764,765,766] --> Loop 332 
* CEs [829,830,841,842,843,844] --> Loop 333 

### 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) 

#### 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) 


Computing Bounds
=====================================

#### Cost of chains of f33(H,I,J,D1,E1,F1):
* Chain [[65]]...: 1*it(65)+0
  with precondition: [I>=H,0>=J+2,D1>=2,3>=D1] 

* Chain [[65],66]: 1*it(65)+0
  with precondition: [D1=3,0>=J+2,I>=H] 

* Chain [[64]]...: 1*it(64)+0
  with precondition: [I>=H,J>=0,D1>=2,3>=D1] 

* Chain [[64],66]: 1*it(64)+0
  with precondition: [D1=3,J>=0,I>=H] 

* Chain [68]: 0
  with precondition: [J+1=0,D1=2,F1+1=0,I=E1,I>=H] 

* Chain [67]: 0
  with precondition: [D1=2,F1=J,I=E1,H>=I+1] 

* Chain [66]: 0
  with precondition: [D1=3] 


#### 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):
* 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
  Such that:aux(1) =< -C+E
aux(2) =< -C+E1
aux(3) =< E-U
aux(5) =< -H+I+1
aux(6) =< I-H1
aux(4) =< -U+T1
it(69) =< aux(1)
it(101) =< aux(1)
it(133) =< aux(1)
it(141) =< aux(1)
it(69) =< aux(2)
it(101) =< aux(2)
it(133) =< aux(2)
it(141) =< aux(2)
it(101) =< aux(3)
it(133) =< aux(3)
it(101) =< aux(4)
it(133) =< aux(4)
it(69) =< aux(5)
it(101) =< aux(5)
it(69) =< aux(6)
it(101) =< aux(6)

  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] 

* 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
  Such that:aux(1) =< -C+E
aux(2) =< -C+E1
aux(3) =< E-U
aux(5) =< -H+I+1
aux(6) =< I-H1
aux(4) =< -U+T1
it(69) =< aux(1)
it(101) =< aux(1)
it(133) =< aux(1)
it(141) =< aux(1)
it(69) =< aux(2)
it(101) =< aux(2)
it(133) =< aux(2)
it(141) =< aux(2)
it(101) =< aux(3)
it(133) =< aux(3)
it(101) =< aux(4)
it(133) =< aux(4)
it(69) =< aux(5)
it(101) =< aux(5)
it(69) =< aux(6)
it(101) =< aux(6)

  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] 

* 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
  Such that:aux(1) =< -C+E
aux(2) =< -C+E1
aux(3) =< E-U
aux(5) =< -H+I+1
aux(6) =< I-H1
aux(4) =< -U+T1
it(69) =< aux(1)
it(101) =< aux(1)
it(133) =< aux(1)
it(141) =< aux(1)
it(69) =< aux(2)
it(101) =< aux(2)
it(133) =< aux(2)
it(141) =< aux(2)
it(101) =< aux(3)
it(133) =< aux(3)
it(101) =< aux(4)
it(133) =< aux(4)
it(69) =< aux(5)
it(101) =< aux(5)
it(69) =< aux(6)
it(101) =< aux(6)

  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] 

* 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
  Such that:aux(1) =< -C+E
aux(2) =< -C+E1
aux(3) =< E-U
aux(5) =< -H+I+1
aux(6) =< I-H1
aux(4) =< -U+T1
it(69) =< aux(1)
it(101) =< aux(1)
it(133) =< aux(1)
it(141) =< aux(1)
it(69) =< aux(2)
it(101) =< aux(2)
it(133) =< aux(2)
it(141) =< aux(2)
it(101) =< aux(3)
it(133) =< aux(3)
it(101) =< aux(4)
it(133) =< aux(4)
it(69) =< aux(5)
it(101) =< aux(5)
it(69) =< aux(6)
it(101) =< aux(6)

  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] 

* 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
  Such that:aux(1) =< -C+E
aux(2) =< -C+E1
aux(3) =< E-U
aux(5) =< -H+I+1
aux(6) =< I-H1
aux(4) =< -U+T1
it(69) =< aux(1)
it(101) =< aux(1)
it(133) =< aux(1)
it(141) =< aux(1)
it(69) =< aux(2)
it(101) =< aux(2)
it(133) =< aux(2)
it(141) =< aux(2)
it(101) =< aux(3)
it(133) =< aux(3)
it(101) =< aux(4)
it(133) =< aux(4)
it(69) =< aux(5)
it(101) =< aux(5)
it(69) =< aux(6)
it(101) =< aux(6)

  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] 

* 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
  Such that:aux(1) =< -C+E
aux(2) =< -C+E1
aux(3) =< E-U
aux(5) =< -H+I+1
aux(6) =< I-H1
aux(4) =< -U+T1
it(69) =< aux(1)
it(101) =< aux(1)
it(133) =< aux(1)
it(141) =< aux(1)
it(69) =< aux(2)
it(101) =< aux(2)
it(133) =< aux(2)
it(141) =< aux(2)
it(101) =< aux(3)
it(133) =< aux(3)
it(101) =< aux(4)
it(133) =< aux(4)
it(69) =< aux(5)
it(101) =< aux(5)
it(69) =< aux(6)
it(101) =< aux(6)

  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] 

* 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
  Such that:aux(1) =< -C+E
aux(2) =< -C+E1
aux(3) =< E-U
aux(5) =< -H+I+1
aux(6) =< I-H1
aux(4) =< -U+T1
it(69) =< aux(1)
it(101) =< aux(1)
it(133) =< aux(1)
it(141) =< aux(1)
it(69) =< aux(2)
it(101) =< aux(2)
it(133) =< aux(2)
it(141) =< aux(2)
it(101) =< aux(3)
it(133) =< aux(3)
it(101) =< aux(4)
it(133) =< aux(4)
it(69) =< aux(5)
it(101) =< aux(5)
it(69) =< aux(6)
it(101) =< aux(6)

  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] 

* 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
  Such that:aux(1) =< -C+E
aux(2) =< -C+E1
aux(3) =< E-U
aux(5) =< -H+I+1
aux(6) =< I-H1
aux(4) =< -U+T1
it(69) =< aux(1)
it(101) =< aux(1)
it(133) =< aux(1)
it(141) =< aux(1)
it(69) =< aux(2)
it(101) =< aux(2)
it(133) =< aux(2)
it(141) =< aux(2)
it(101) =< aux(3)
it(133) =< aux(3)
it(101) =< aux(4)
it(133) =< aux(4)
it(69) =< aux(5)
it(101) =< aux(5)
it(69) =< aux(6)
it(101) =< aux(6)

  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] 

* 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
  Such that:aux(1) =< -C+E
aux(2) =< -C+E1
aux(3) =< E-U
aux(5) =< -H+I+1
aux(6) =< I-H1
aux(4) =< -U+T1
it(69) =< aux(1)
it(101) =< aux(1)
it(133) =< aux(1)
it(141) =< aux(1)
it(69) =< aux(2)
it(101) =< aux(2)
it(133) =< aux(2)
it(141) =< aux(2)
it(101) =< aux(3)
it(133) =< aux(3)
it(101) =< aux(4)
it(133) =< aux(4)
it(69) =< aux(5)
it(101) =< aux(5)
it(69) =< aux(6)
it(101) =< aux(6)

  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] 

* 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
  Such that:aux(1) =< -C+E
aux(2) =< -C+E1
aux(3) =< E-U
aux(5) =< -H+I+1
aux(6) =< I-H1
aux(4) =< -U+T1
it(69) =< aux(1)
it(101) =< aux(1)
it(133) =< aux(1)
it(141) =< aux(1)
it(69) =< aux(2)
it(101) =< aux(2)
it(133) =< aux(2)
it(141) =< aux(2)
it(101) =< aux(3)
it(133) =< aux(3)
it(101) =< aux(4)
it(133) =< aux(4)
it(69) =< aux(5)
it(101) =< aux(5)
it(69) =< aux(6)
it(101) =< aux(6)

  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] 

* 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
  Such that:aux(3) =< E-U
aux(6) =< -H+I
aux(5) =< -H+I+1
aux(7) =< -C+E
it(69) =< aux(7)
it(101) =< aux(7)
it(133) =< aux(7)
it(141) =< aux(7)
it(101) =< aux(3)
it(133) =< aux(3)
it(69) =< aux(5)
it(101) =< aux(5)
it(69) =< aux(6)
it(101) =< aux(6)

  with precondition: [D1=3,0>=I,0>=J+2,U>=0,E>=C+2,I>=H,C>=U] 

* 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
  Such that:aux(3) =< E-U
aux(6) =< -H+I
aux(5) =< -H+I+1
aux(8) =< -C+E
it(69) =< aux(8)
it(101) =< aux(8)
it(133) =< aux(8)
it(141) =< aux(8)
it(101) =< aux(3)
it(133) =< aux(3)
it(69) =< aux(5)
it(101) =< aux(5)
it(69) =< aux(6)
it(101) =< aux(6)

  with precondition: [D1=3,0>=I,J>=0,U>=0,E>=C+2,I>=H,C>=U] 

* 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
  Such that:aux(3) =< E-U
aux(5) =< -H+I+1
aux(9) =< -C+E
it(69) =< aux(9)
it(101) =< aux(9)
it(133) =< aux(9)
it(141) =< aux(9)
it(101) =< aux(3)
it(133) =< aux(3)
it(69) =< aux(5)
it(101) =< aux(5)

  with precondition: [D1=3,0>=I,U>=0,E>=C+2,C>=U] 

* 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
  Such that:aux(3) =< E-U
aux(5) =< -H+I+1
aux(10) =< -C+E
it(69) =< aux(10)
it(101) =< aux(10)
it(133) =< aux(10)
it(141) =< aux(10)
it(101) =< aux(3)
it(133) =< aux(3)
it(69) =< aux(5)
it(101) =< aux(5)

  with precondition: [D1=3,0>=I,U>=0,E>=C+1,C>=U] 

* 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
  Such that:aux(5) =< -H+I+1
aux(6) =< I-H1
aux(3) =< -U+E1
aux(4) =< -U+T1
aux(11) =< -C+E1
it(69) =< aux(11)
it(101) =< aux(11)
it(133) =< aux(11)
it(141) =< aux(11)
it(101) =< aux(3)
it(133) =< aux(3)
it(101) =< aux(4)
it(133) =< aux(4)
it(69) =< aux(5)
it(101) =< aux(5)
it(69) =< aux(6)
it(101) =< aux(6)

  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] 

* 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
  Such that:aux(1) =< -C+E
aux(2) =< -C+E1
aux(3) =< E-U
aux(6) =< -H+I
aux(5) =< -H+I+1
aux(4) =< -U+T1
it(69) =< aux(1)
it(101) =< aux(1)
it(133) =< aux(1)
it(141) =< aux(1)
it(69) =< aux(2)
it(101) =< aux(2)
it(133) =< aux(2)
it(141) =< aux(2)
it(101) =< aux(3)
it(133) =< aux(3)
it(101) =< aux(4)
it(133) =< aux(4)
it(69) =< aux(5)
it(101) =< aux(5)
it(69) =< aux(6)
it(101) =< aux(6)

  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] 

* 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
  Such that:aux(1) =< -C+E
aux(2) =< -C+E1
aux(3) =< E-U
aux(6) =< -H+I
aux(5) =< -H+I+1
aux(4) =< -U+T1
it(69) =< aux(1)
it(101) =< aux(1)
it(133) =< aux(1)
it(141) =< aux(1)
it(69) =< aux(2)
it(101) =< aux(2)
it(133) =< aux(2)
it(141) =< aux(2)
it(101) =< aux(3)
it(133) =< aux(3)
it(101) =< aux(4)
it(133) =< aux(4)
it(69) =< aux(5)
it(101) =< aux(5)
it(69) =< aux(6)
it(101) =< aux(6)

  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] 

* 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
  Such that:aux(1) =< -C+E
aux(2) =< -C+E1
aux(3) =< E-U
aux(6) =< -H+I
aux(5) =< -H+I+1
aux(4) =< -U+T1
it(69) =< aux(1)
it(101) =< aux(1)
it(133) =< aux(1)
it(141) =< aux(1)
it(69) =< aux(2)
it(101) =< aux(2)
it(133) =< aux(2)
it(141) =< aux(2)
it(101) =< aux(3)
it(133) =< aux(3)
it(101) =< aux(4)
it(133) =< aux(4)
it(69) =< aux(5)
it(101) =< aux(5)
it(69) =< aux(6)
it(101) =< aux(6)

  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] 

* 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
  Such that:aux(1) =< -C+E
aux(2) =< -C+E1
aux(3) =< E-U
aux(6) =< -H+I
aux(5) =< -H+I+1
aux(4) =< -U+T1
it(69) =< aux(1)
it(101) =< aux(1)
it(133) =< aux(1)
it(141) =< aux(1)
it(69) =< aux(2)
it(101) =< aux(2)
it(133) =< aux(2)
it(141) =< aux(2)
it(101) =< aux(3)
it(133) =< aux(3)
it(101) =< aux(4)
it(133) =< aux(4)
it(69) =< aux(5)
it(101) =< aux(5)
it(69) =< aux(6)
it(101) =< aux(6)

  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] 

* 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
  Such that:aux(1) =< -C+E
aux(2) =< -C+E1
aux(3) =< E-U
aux(6) =< -H+I
aux(5) =< -H+I+1
aux(4) =< -U+T1
it(69) =< aux(1)
it(101) =< aux(1)
it(133) =< aux(1)
it(141) =< aux(1)
it(69) =< aux(2)
it(101) =< aux(2)
it(133) =< aux(2)
it(141) =< aux(2)
it(101) =< aux(3)
it(133) =< aux(3)
it(101) =< aux(4)
it(133) =< aux(4)
it(69) =< aux(5)
it(101) =< aux(5)
it(69) =< aux(6)
it(101) =< aux(6)

  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] 

* 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
  Such that:aux(1) =< -C+E
aux(2) =< -C+E1
aux(3) =< E-U
aux(6) =< -H+I
aux(5) =< -H+I+1
aux(4) =< -U+T1
it(69) =< aux(1)
it(101) =< aux(1)
it(133) =< aux(1)
it(141) =< aux(1)
it(69) =< aux(2)
it(101) =< aux(2)
it(133) =< aux(2)
it(141) =< aux(2)
it(101) =< aux(3)
it(133) =< aux(3)
it(101) =< aux(4)
it(133) =< aux(4)
it(69) =< aux(5)
it(101) =< aux(5)
it(69) =< aux(6)
it(101) =< aux(6)

  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] 

* 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
  Such that:aux(1) =< -C+E
aux(2) =< -C+E1
aux(3) =< E-U
aux(6) =< -H+I
aux(5) =< -H+I+1
aux(4) =< -U+T1
it(69) =< aux(1)
it(101) =< aux(1)
it(133) =< aux(1)
it(141) =< aux(1)
it(69) =< aux(2)
it(101) =< aux(2)
it(133) =< aux(2)
it(141) =< aux(2)
it(101) =< aux(3)
it(133) =< aux(3)
it(101) =< aux(4)
it(133) =< aux(4)
it(69) =< aux(5)
it(101) =< aux(5)
it(69) =< aux(6)
it(101) =< aux(6)

  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] 

* 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
  Such that:aux(1) =< -C+E
aux(2) =< -C+E1
aux(3) =< E-U
aux(6) =< -H+I
aux(5) =< -H+I+1
aux(4) =< -U+T1
it(69) =< aux(1)
it(101) =< aux(1)
it(133) =< aux(1)
it(141) =< aux(1)
it(69) =< aux(2)
it(101) =< aux(2)
it(133) =< aux(2)
it(141) =< aux(2)
it(101) =< aux(3)
it(133) =< aux(3)
it(101) =< aux(4)
it(133) =< aux(4)
it(69) =< aux(5)
it(101) =< aux(5)
it(69) =< aux(6)
it(101) =< aux(6)

  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] 

* 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
  Such that:aux(1) =< -C+E
aux(2) =< -C+E1
aux(3) =< E-U
aux(6) =< -H+I
aux(5) =< -H+I+1
aux(4) =< -U+T1
it(69) =< aux(1)
it(101) =< aux(1)
it(133) =< aux(1)
it(141) =< aux(1)
it(69) =< aux(2)
it(101) =< aux(2)
it(133) =< aux(2)
it(141) =< aux(2)
it(101) =< aux(3)
it(133) =< aux(3)
it(101) =< aux(4)
it(133) =< aux(4)
it(69) =< aux(5)
it(101) =< aux(5)
it(69) =< aux(6)
it(101) =< aux(6)

  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] 

* 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
  Such that:aux(1) =< -C+E
aux(2) =< -C+E1
aux(3) =< E-U
aux(6) =< -H+I
aux(5) =< -H+I+1
aux(4) =< -U+T1
it(69) =< aux(1)
it(101) =< aux(1)
it(133) =< aux(1)
it(141) =< aux(1)
it(69) =< aux(2)
it(101) =< aux(2)
it(133) =< aux(2)
it(141) =< aux(2)
it(101) =< aux(3)
it(133) =< aux(3)
it(101) =< aux(4)
it(133) =< aux(4)
it(69) =< aux(5)
it(101) =< aux(5)
it(69) =< aux(6)
it(101) =< aux(6)

  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] 

* 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
  Such that:aux(1) =< -C+E
aux(2) =< -C+E1
aux(3) =< E-U
aux(6) =< -H+I
aux(5) =< -H+I+1
aux(4) =< -U+T1
it(69) =< aux(1)
it(101) =< aux(1)
it(133) =< aux(1)
it(141) =< aux(1)
it(69) =< aux(2)
it(101) =< aux(2)
it(133) =< aux(2)
it(141) =< aux(2)
it(101) =< aux(3)
it(133) =< aux(3)
it(101) =< aux(4)
it(133) =< aux(4)
it(69) =< aux(5)
it(101) =< aux(5)
it(69) =< aux(6)
it(101) =< aux(6)

  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] 

* 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
  Such that:aux(1) =< -C+E
aux(2) =< -C+E1
aux(3) =< E-U
aux(6) =< -H+I
aux(5) =< -H+I+1
aux(4) =< -U+T1
it(69) =< aux(1)
it(101) =< aux(1)
it(133) =< aux(1)
it(141) =< aux(1)
it(69) =< aux(2)
it(101) =< aux(2)
it(133) =< aux(2)
it(141) =< aux(2)
it(101) =< aux(3)
it(133) =< aux(3)
it(101) =< aux(4)
it(133) =< aux(4)
it(69) =< aux(5)
it(101) =< aux(5)
it(69) =< aux(6)
it(101) =< aux(6)

  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] 

* 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
  Such that:aux(1) =< -C+E
aux(2) =< -C+E1
aux(3) =< E-U
aux(6) =< -H+I
aux(5) =< -H+I+1
aux(4) =< -U+T1
it(69) =< aux(1)
it(101) =< aux(1)
it(133) =< aux(1)
it(141) =< aux(1)
it(69) =< aux(2)
it(101) =< aux(2)
it(133) =< aux(2)
it(141) =< aux(2)
it(101) =< aux(3)
it(133) =< aux(3)
it(101) =< aux(4)
it(133) =< aux(4)
it(69) =< aux(5)
it(101) =< aux(5)
it(69) =< aux(6)
it(101) =< aux(6)

  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] 

* 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
  Such that:aux(1) =< -C+E
aux(2) =< -C+E1
aux(3) =< E-U
aux(6) =< -H+I
aux(5) =< -H+I+1
aux(4) =< -U+T1
it(69) =< aux(1)
it(101) =< aux(1)
it(133) =< aux(1)
it(141) =< aux(1)
it(69) =< aux(2)
it(101) =< aux(2)
it(133) =< aux(2)
it(141) =< aux(2)
it(101) =< aux(3)
it(133) =< aux(3)
it(101) =< aux(4)
it(133) =< aux(4)
it(69) =< aux(5)
it(101) =< aux(5)
it(69) =< aux(6)
it(101) =< aux(6)

  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] 

* 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
  Such that:aux(1) =< -C+E
aux(2) =< -C+E1
aux(3) =< E-U
aux(6) =< -H+I
aux(5) =< -H+I+1
aux(4) =< -U+T1
it(69) =< aux(1)
it(101) =< aux(1)
it(133) =< aux(1)
it(141) =< aux(1)
it(69) =< aux(2)
it(101) =< aux(2)
it(133) =< aux(2)
it(141) =< aux(2)
it(101) =< aux(3)
it(133) =< aux(3)
it(101) =< aux(4)
it(133) =< aux(4)
it(69) =< aux(5)
it(101) =< aux(5)
it(69) =< aux(6)
it(101) =< aux(6)

  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] 

* 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
  Such that:aux(1) =< -C+E
aux(2) =< -C+E1
aux(3) =< E-U
aux(6) =< -H+I
aux(5) =< -H+I+1
aux(4) =< -U+T1
it(69) =< aux(1)
it(101) =< aux(1)
it(133) =< aux(1)
it(141) =< aux(1)
it(69) =< aux(2)
it(101) =< aux(2)
it(133) =< aux(2)
it(141) =< aux(2)
it(101) =< aux(3)
it(133) =< aux(3)
it(101) =< aux(4)
it(133) =< aux(4)
it(69) =< aux(5)
it(101) =< aux(5)
it(69) =< aux(6)
it(101) =< aux(6)

  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] 

* 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
  Such that:aux(3) =< E-U
aux(6) =< -H+I
aux(5) =< -H+I+1
aux(12) =< -C+E
it(69) =< aux(12)
it(101) =< aux(12)
it(133) =< aux(12)
it(141) =< aux(12)
it(101) =< aux(3)
it(133) =< aux(3)
it(69) =< aux(5)
it(101) =< aux(5)
it(69) =< aux(6)
it(101) =< aux(6)

  with precondition: [D1=3,0>=I,0>=J+2,U>=0,E>=C+2,I>=H,C>=U] 

* 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
  Such that:aux(3) =< E-U
aux(6) =< -H+I
aux(5) =< -H+I+1
aux(13) =< -C+E
it(69) =< aux(13)
it(101) =< aux(13)
it(133) =< aux(13)
it(141) =< aux(13)
it(101) =< aux(3)
it(133) =< aux(3)
it(69) =< aux(5)
it(101) =< aux(5)
it(69) =< aux(6)
it(101) =< aux(6)

  with precondition: [D1=3,0>=I,J>=0,U>=0,E>=C+2,I>=H,C>=U] 

* 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
  Such that:aux(1) =< -C+E
aux(2) =< -C+E1
aux(3) =< E-U
aux(6) =< -H+I
aux(5) =< -H+I+1
aux(4) =< -U+T1
it(69) =< aux(1)
it(101) =< aux(1)
it(133) =< aux(1)
it(141) =< aux(1)
it(69) =< aux(2)
it(101) =< aux(2)
it(133) =< aux(2)
it(141) =< aux(2)
it(101) =< aux(3)
it(133) =< aux(3)
it(101) =< aux(4)
it(133) =< aux(4)
it(69) =< aux(5)
it(101) =< aux(5)
it(69) =< aux(6)
it(101) =< aux(6)

  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] 

* 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
  Such that:aux(1) =< -C+E
aux(2) =< -C+E1
aux(3) =< E-U
aux(6) =< -H+I
aux(5) =< -H+I+1
aux(4) =< -U+T1
it(69) =< aux(1)
it(101) =< aux(1)
it(133) =< aux(1)
it(141) =< aux(1)
it(69) =< aux(2)
it(101) =< aux(2)
it(133) =< aux(2)
it(141) =< aux(2)
it(101) =< aux(3)
it(133) =< aux(3)
it(101) =< aux(4)
it(133) =< aux(4)
it(69) =< aux(5)
it(101) =< aux(5)
it(69) =< aux(6)
it(101) =< aux(6)

  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] 

* 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
  Such that:aux(1) =< -C+E
aux(2) =< -C+E1
aux(3) =< E-U
aux(6) =< -H+I
aux(5) =< -H+I+1
aux(4) =< -U+T1
it(69) =< aux(1)
it(101) =< aux(1)
it(133) =< aux(1)
it(141) =< aux(1)
it(69) =< aux(2)
it(101) =< aux(2)
it(133) =< aux(2)
it(141) =< aux(2)
it(101) =< aux(3)
it(133) =< aux(3)
it(101) =< aux(4)
it(133) =< aux(4)
it(69) =< aux(5)
it(101) =< aux(5)
it(69) =< aux(6)
it(101) =< aux(6)

  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] 

* 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
  Such that:aux(1) =< -C+E
aux(2) =< -C+E1
aux(3) =< E-U
aux(6) =< -H+I
aux(5) =< -H+I+1
aux(4) =< -U+T1
it(69) =< aux(1)
it(101) =< aux(1)
it(133) =< aux(1)
it(141) =< aux(1)
it(69) =< aux(2)
it(101) =< aux(2)
it(133) =< aux(2)
it(141) =< aux(2)
it(101) =< aux(3)
it(133) =< aux(3)
it(101) =< aux(4)
it(133) =< aux(4)
it(69) =< aux(5)
it(101) =< aux(5)
it(69) =< aux(6)
it(101) =< aux(6)

  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] 

* Chain [202]: 0
  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] 

* Chain [201]: 0
  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] 

* Chain [200]: 0
  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] 

* Chain [199]: 0
  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] 

* Chain [198]: 0
  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] 

* Chain [197]: 0
  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] 

* Chain [196]: 0
  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] 

* Chain [195]: 0
  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] 

* Chain [194]: 0
  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] 

* Chain [193]: 0
  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] 

* Chain [192]: 1*s(193)+0
  with precondition: [D1=3,0>=I,0>=J+2,U>=0,E>=C+1,I>=H,C>=U] 

* Chain [191]: 1*s(194)+0
  with precondition: [D1=3,0>=I,J>=0,U>=0,E>=C+1,I>=H,C>=U] 

* Chain [190]: 0
  with precondition: [D1=3,0>=I,U>=0,E>=C+1,C>=U] 

* Chain [189]: 0
  with precondition: [D1=3,0>=I,U>=0,C>=U] 

* Chain [188]: 0
  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] 

* Chain [187]...: 1*s(195)+0
  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] 

* Chain [186]...: 1*s(196)+0
  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] 

* Chain [185]...: 1*s(197)+0
  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] 

* Chain [184]...: 1*s(198)+0
  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] 

* Chain [183]...: 1*s(199)+0
  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] 

* Chain [182]...: 1*s(200)+0
  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] 

* Chain [181]...: 1*s(201)+0
  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] 

* Chain [180]...: 1*s(202)+0
  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] 

* Chain [179]...: 1*s(203)+0
  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] 

* Chain [178]...: 1*s(204)+0
  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] 

* Chain [177]...: 1*s(205)+0
  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] 

* Chain [176]...: 1*s(206)+0
  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] 

* Chain [175]...: 1*s(207)+0
  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] 

* Chain [174]...: 1*s(208)+0
  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] 

* Chain [173]...: 1*s(209)+0
  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] 

* Chain [172]...: 1*s(210)+0
  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] 

* Chain [171]...: 1*s(211)+0
  with precondition: [D1=3,0>=I,0>=J+2,U>=0,E>=C+1,I>=H,C>=U] 

* Chain [170]...: 1*s(212)+0
  with precondition: [D1=3,0>=I,J>=0,U>=0,E>=C+1,I>=H,C>=U] 

* Chain [169]...: 1*s(213)+0
  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] 

* Chain [168]...: 1*s(214)+0
  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] 

* Chain [167]...: 1*s(215)+0
  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] 

* Chain [166]...: 1*s(216)+0
  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] 


#### Cost of chains of f71(D1):
* Chain [[203]]...: 1*it(203)+0
  with precondition: [D1=3] 

* Chain [[203],204]: 1*it(203)+0
  with precondition: [D1=3] 

* Chain [204]: 0
  with precondition: [D1=3] 


#### 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):
* Chain [208]: 1*s(226)+0
  with precondition: [W=1,Y=A,1>=B,0>=U,B>=0,X>=1,B+D>=1] 

* Chain [207]: 1*s(227)+0
  with precondition: [W=1,Y=A,1>=B,B>=0,U>=1,X>=1,B+D>=1] 

* Chain [206]...: 1*s(228)+0
  with precondition: [W=1,Y=A,1>=B,0>=U,B>=0,X>=1,B+D>=1] 

* Chain [205]...: 1*s(229)+0
  with precondition: [W=1,Y=A,1>=B,B>=0,U>=1,X>=1,B+D>=1] 


#### 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):
* Chain [213]...: 1*s(230)+0
  with precondition: [A=4,X=1,Z=B,1>=C,0>=V,C>=0,Y>=1,C+E>=1] 

* Chain [212]...: 1*s(231)+0
  with precondition: [A=4,X=1,Z=B,1>=C,C>=0,V>=1,Y>=1,C+E>=1] 

* Chain [211]: 0
  with precondition: [A=3,X=1,Z=B,1>=C,C>=0,Y>=1,C+E>=1] 

* Chain [210]: 1*s(232)+0
  with precondition: [A=4,X=1,Z=B,1>=C,0>=V,C>=0,Y>=1,C+E>=1] 

* Chain [209]: 1*s(233)+0
  with precondition: [A=4,X=1,Z=B,1>=C,C>=0,V>=1,Y>=1,C+E>=1] 


#### 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):
* Chain [291]: 1*aux(15)+0
  with precondition: [D=0,I=0,J+1=0,U=0,W=1,Y=A,0>=H,0>=Y,E>=1,X>=1] 

* Chain [290]: 42*s(245)+130*s(246)+0
  Such that:aux(20) =< E
s(245) =< aux(20)

  with precondition: [D=0,I=0,J+1=0,U=0,W=1,Y=A,0>=H,0>=Y,E>=2,X>=1] 

* Chain [289]: 1*aux(21)+0
  with precondition: [D=0,I=0,Q=3,U=0,W=1,Y=A,0>=Y,E>=1,H>=1,X>=1] 

* Chain [288]: 832*s(274)+432*s(277)+1040*s(278)+0
  Such that:aux(38) =< E
aux(39) =< -H+1
s(274) =< aux(38)
s(277) =< aux(38)
s(274) =< aux(39)

  with precondition: [D=0,I=0,Q=3,U=0,W=1,Y=A,0>=Y,E>=2,X>=1] 

* Chain [287]: 1*s(460)+0
  with precondition: [D=0,I=0,U=0,W=1,Y=A,0>=E,0>=Y,X>=1] 

* Chain [286]: 1*s(461)+0
  with precondition: [D=0,I=0,U=0,W=1,Y=A,0>=H,0>=J+2,0>=Y,E>=1,X>=1] 

* Chain [285]: 64*s(466)+33*s(468)+65*s(470)+0
  Such that:s(463) =< -H
s(464) =< -H+1
aux(40) =< E
s(466) =< aux(40)
s(468) =< aux(40)
s(466) =< s(464)
s(466) =< s(463)

  with precondition: [D=0,I=0,U=0,W=1,Y=A,0>=H,0>=J+2,0>=Y,E>=2,X>=1] 

* Chain [284]: 1*s(471)+0
  with precondition: [D=0,I=0,U=0,W=1,Y=A,0>=H,0>=Y,E>=1,J>=0,X>=1] 

* Chain [283]: 64*s(476)+33*s(478)+65*s(480)+0
  Such that:s(473) =< -H
s(474) =< -H+1
aux(41) =< E
s(476) =< aux(41)
s(478) =< aux(41)
s(476) =< s(474)
s(476) =< s(473)

  with precondition: [D=0,I=0,U=0,W=1,Y=A,0>=H,0>=Y,E>=2,J>=0,X>=1] 

* Chain [282]: 168*s(484)+87*s(486)+194*s(488)+0
  Such that:aux(45) =< E
aux(46) =< -H+1
s(484) =< aux(45)
s(486) =< aux(45)
s(484) =< aux(46)

  with precondition: [D=0,I=0,U=0,W=1,Y=A,0>=Y,E>=1,X>=1] 

* Chain [281]: 64*s(514)+33*s(516)+64*s(518)+0
  Such that:s(512) =< -H+1
aux(47) =< E
s(514) =< aux(47)
s(516) =< aux(47)
s(514) =< s(512)

  with precondition: [D=0,I=0,U=0,W=1,Y=A,0>=Y,E>=2,X>=1] 

* Chain [280]: 0
  with precondition: [D=0,I=0,U=0,W=1,Y=A,0>=Y,X>=1] 

* Chain [279]: 1*aux(48)+0
  with precondition: [I=0,J+1=0,U=0,W=1,Y=A,0>=H,0>=Y,D>=1,X>=1,E>=D+1] 

* Chain [278]: 42*s(530)+130*s(531)+0
  Such that:aux(53) =< -D+E
s(530) =< aux(53)

  with precondition: [I=0,J+1=0,U=0,W=1,Y=A,0>=H,0>=Y,D>=1,X>=1,E>=D+2] 

* Chain [277]: 1*aux(54)+0
  with precondition: [I=0,J+1=0,U=0,W=1,Y=A,0>=H,D>=0,X>=1,Y>=1,E>=D+1] 

* Chain [276]: 42*s(556)+130*s(557)+0
  Such that:aux(59) =< -D+E
s(556) =< aux(59)

  with precondition: [I=0,J+1=0,U=0,W=1,Y=A,0>=H,D>=0,X>=1,Y>=1,E>=D+2] 

* Chain [275]: 1*aux(60)+0
  with precondition: [I=0,Q=3,U=0,W=1,Y=A,0>=Y,D>=1,H>=1,X>=1,E>=D+1] 

* Chain [274]: 640*s(585)+336*s(588)+1040*s(589)+192*s(598)+96*s(599)+0
  Such that:aux(77) =< -D+E
aux(78) =< E
aux(79) =< -H+1
s(585) =< aux(77)
s(598) =< aux(77)
s(599) =< aux(77)
s(588) =< aux(77)
s(598) =< aux(78)
s(599) =< aux(78)
s(585) =< aux(79)
s(598) =< aux(79)

  with precondition: [I=0,Q=3,U=0,W=1,Y=A,0>=Y,D>=1,X>=1,E>=D+2] 

* Chain [273]: 1*aux(80)+0
  with precondition: [I=0,Q=3,U=0,W=1,Y=A,D>=0,H>=1,X>=1,Y>=1,E>=D+1] 

* Chain [272]: 640*s(785)+336*s(788)+1040*s(789)+192*s(798)+96*s(799)+0
  Such that:aux(97) =< -D+E
aux(98) =< E
aux(99) =< -H+1
s(785) =< aux(97)
s(798) =< aux(97)
s(799) =< aux(97)
s(788) =< aux(97)
s(798) =< aux(98)
s(799) =< aux(98)
s(785) =< aux(99)
s(798) =< aux(99)

  with precondition: [I=0,Q=3,U=0,W=1,Y=A,D>=0,X>=1,Y>=1,E>=D+2] 

* Chain [271]: 1*s(971)+0
  with precondition: [I=0,U=0,W=1,Y=A,0>=H,0>=J+2,0>=Y,D>=1,X>=1,E>=D+1] 

* Chain [270]: 40*s(976)+24*s(977)+12*s(978)+21*s(979)+65*s(980)+0
  Such that:s(975) =< -D+E
s(972) =< E
s(973) =< -H
s(974) =< -H+1
s(976) =< s(975)
s(977) =< s(975)
s(978) =< s(975)
s(979) =< s(975)
s(977) =< s(972)
s(978) =< s(972)
s(976) =< s(974)
s(977) =< s(974)
s(976) =< s(973)
s(977) =< s(973)

  with precondition: [I=0,U=0,W=1,Y=A,0>=H,0>=J+2,0>=Y,D>=1,X>=1,E>=D+2] 

* Chain [269]: 1*s(981)+0
  with precondition: [I=0,U=0,W=1,Y=A,0>=H,0>=Y,D>=1,J>=0,X>=1,E>=D+1] 

* Chain [268]: 40*s(986)+24*s(987)+12*s(988)+21*s(989)+65*s(990)+0
  Such that:s(985) =< -D+E
s(982) =< E
s(983) =< -H
s(984) =< -H+1
s(986) =< s(985)
s(987) =< s(985)
s(988) =< s(985)
s(989) =< s(985)
s(987) =< s(982)
s(988) =< s(982)
s(986) =< s(984)
s(987) =< s(984)
s(986) =< s(983)
s(987) =< s(983)

  with precondition: [I=0,U=0,W=1,Y=A,0>=H,0>=Y,D>=1,J>=0,X>=1,E>=D+2] 

* Chain [267]: 0
  with precondition: [I=0,U=0,W=1,Y=A,0>=Y,D>=1,X>=1] 

* Chain [266]: 120*s(994)+48*s(995)+24*s(996)+63*s(997)+194*s(998)+0
  Such that:aux(101) =< -D+E
aux(102) =< E
aux(103) =< -H+1
s(994) =< aux(101)
s(995) =< aux(101)
s(996) =< aux(101)
s(997) =< aux(101)
s(995) =< aux(102)
s(996) =< aux(102)
s(994) =< aux(103)
s(995) =< aux(103)

  with precondition: [I=0,U=0,W=1,Y=A,0>=Y,D>=1,X>=1,E>=D+1] 

* Chain [265]: 40*s(1024)+24*s(1025)+12*s(1026)+21*s(1027)+64*s(1028)+0
  Such that:s(1023) =< -D+E
s(1021) =< E
s(1022) =< -H+1
s(1024) =< s(1023)
s(1025) =< s(1023)
s(1026) =< s(1023)
s(1027) =< s(1023)
s(1025) =< s(1021)
s(1026) =< s(1021)
s(1024) =< s(1022)
s(1025) =< s(1022)

  with precondition: [I=0,U=0,W=1,Y=A,0>=Y,D>=1,X>=1,E>=D+2] 

* Chain [264]: 1*s(1029)+0
  with precondition: [I=0,U=0,W=1,Y=A,0>=Y,D>=1,X>=1,D>=E] 

* Chain [263]: 1*s(1030)+0
  with precondition: [I=0,U=0,W=1,Y=A,0>=H,0>=J+2,D>=0,X>=1,Y>=1,E>=D+1] 

* Chain [262]: 40*s(1035)+24*s(1036)+12*s(1037)+21*s(1038)+65*s(1039)+0
  Such that:s(1034) =< -D+E
s(1031) =< E
s(1032) =< -H
s(1033) =< -H+1
s(1035) =< s(1034)
s(1036) =< s(1034)
s(1037) =< s(1034)
s(1038) =< s(1034)
s(1036) =< s(1031)
s(1037) =< s(1031)
s(1035) =< s(1033)
s(1036) =< s(1033)
s(1035) =< s(1032)
s(1036) =< s(1032)

  with precondition: [I=0,U=0,W=1,Y=A,0>=H,0>=J+2,D>=0,X>=1,Y>=1,E>=D+2] 

* Chain [261]: 1*s(1040)+0
  with precondition: [I=0,U=0,W=1,Y=A,0>=H,D>=0,J>=0,X>=1,Y>=1,E>=D+1] 

* Chain [260]: 40*s(1045)+24*s(1046)+12*s(1047)+21*s(1048)+65*s(1049)+0
  Such that:s(1044) =< -D+E
s(1041) =< E
s(1042) =< -H
s(1043) =< -H+1
s(1045) =< s(1044)
s(1046) =< s(1044)
s(1047) =< s(1044)
s(1048) =< s(1044)
s(1046) =< s(1041)
s(1047) =< s(1041)
s(1045) =< s(1043)
s(1046) =< s(1043)
s(1045) =< s(1042)
s(1046) =< s(1042)

  with precondition: [I=0,U=0,W=1,Y=A,0>=H,D>=0,J>=0,X>=1,Y>=1,E>=D+2] 

* Chain [259]: 0
  with precondition: [I=0,U=0,W=1,Y=A,D>=0,X>=1,Y>=1] 

* Chain [258]: 120*s(1053)+48*s(1054)+24*s(1055)+63*s(1056)+194*s(1057)+0
  Such that:aux(105) =< -D+E
aux(106) =< E
aux(107) =< -H+1
s(1053) =< aux(105)
s(1054) =< aux(105)
s(1055) =< aux(105)
s(1056) =< aux(105)
s(1054) =< aux(106)
s(1055) =< aux(106)
s(1053) =< aux(107)
s(1054) =< aux(107)

  with precondition: [I=0,U=0,W=1,Y=A,D>=0,X>=1,Y>=1,E>=D+1] 

* Chain [257]: 40*s(1083)+24*s(1084)+12*s(1085)+21*s(1086)+64*s(1087)+0
  Such that:s(1082) =< -D+E
s(1080) =< E
s(1081) =< -H+1
s(1083) =< s(1082)
s(1084) =< s(1082)
s(1085) =< s(1082)
s(1086) =< s(1082)
s(1084) =< s(1080)
s(1085) =< s(1080)
s(1083) =< s(1081)
s(1084) =< s(1081)

  with precondition: [I=0,U=0,W=1,Y=A,D>=0,X>=1,Y>=1,E>=D+2] 

* Chain [256]: 1*s(1088)+0
  with precondition: [I=0,U=0,W=1,Y=A,D>=0,X>=1,Y>=1,D>=E] 

* Chain [255]...: 1*aux(108)+0
  with precondition: [D=0,I=0,J+1=0,U=0,W=1,Y=A,0>=H,0>=Y,E>=1,X>=1] 

* Chain [254]...: 42*s(1100)+130*s(1101)+0
  Such that:aux(113) =< E
s(1100) =< aux(113)

  with precondition: [D=0,I=0,J+1=0,U=0,W=1,Y=A,0>=H,0>=Y,E>=2,X>=1] 

* Chain [253]...: 1*aux(114)+0
  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] 

* Chain [252]...: 640*s(1153)+336*s(1156)+1056*s(1157)+0
  Such that:aux(131) =< E
aux(132) =< -H
aux(133) =< -H+1
s(1153) =< aux(131)
s(1156) =< aux(131)
s(1153) =< aux(133)
s(1153) =< aux(132)

  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] 

* Chain [251]...: 1*aux(134)+0
  with precondition: [D=0,I=0,Q=3,U=0,W=1,Y=A,0>=H,0>=Y,E>=1,J>=0,X>=1] 

* Chain [250]...: 640*s(1377)+336*s(1380)+1056*s(1381)+0
  Such that:aux(151) =< E
aux(152) =< -H
aux(153) =< -H+1
s(1377) =< aux(151)
s(1380) =< aux(151)
s(1377) =< aux(153)
s(1377) =< aux(152)

  with precondition: [D=0,I=0,Q=3,U=0,W=1,Y=A,0>=H,0>=Y,E>=2,J>=0,X>=1] 

* Chain [249]...: 1*aux(154)+0
  with precondition: [D=0,I=0,Q=3,U=0,W=1,Y=A,0>=Y,E>=1,H>=1,X>=1] 

* Chain [248]...: 832*s(1577)+432*s(1580)+1040*s(1581)+0
  Such that:aux(171) =< E
aux(172) =< -H+1
s(1577) =< aux(171)
s(1580) =< aux(171)
s(1577) =< aux(172)

  with precondition: [D=0,I=0,Q=3,U=0,W=1,Y=A,0>=Y,E>=2,X>=1] 

* Chain [247]...: 1*s(1763)+0
  with precondition: [D=0,I=0,U=0,W=1,Y=A,0>=E,0>=Y,X>=1] 

* Chain [246]...: 1*aux(173)+0
  with precondition: [D=0,I=0,U=0,W=1,Y=A,0>=H,0>=J+2,0>=Y,E>=1,X>=1] 

* Chain [245]...: 224*s(1777)+117*s(1779)+329*s(1781)+0
  Such that:aux(179) =< E
aux(180) =< -H
aux(181) =< -H+1
s(1777) =< aux(179)
s(1779) =< aux(179)
s(1777) =< aux(181)
s(1777) =< aux(180)

  with precondition: [D=0,I=0,U=0,W=1,Y=A,0>=H,0>=J+2,0>=Y,E>=2,X>=1] 

* Chain [244]...: 1*aux(182)+0
  with precondition: [D=0,I=0,U=0,W=1,Y=A,0>=H,0>=Y,E>=1,J>=0,X>=1] 

* Chain [243]...: 224*s(1843)+117*s(1845)+329*s(1847)+0
  Such that:aux(188) =< E
aux(189) =< -H
aux(190) =< -H+1
s(1843) =< aux(188)
s(1845) =< aux(188)
s(1843) =< aux(190)
s(1843) =< aux(189)

  with precondition: [D=0,I=0,U=0,W=1,Y=A,0>=H,0>=Y,E>=2,J>=0,X>=1] 

* Chain [242]...: 104*s(1901)+54*s(1904)+130*s(1905)+0
  Such that:aux(193) =< E
aux(194) =< -H+1
s(1901) =< aux(193)
s(1904) =< aux(193)
s(1901) =< aux(194)

  with precondition: [D=0,I=0,U=0,W=1,Y=A,0>=Y,E>=1,X>=1] 

* Chain [241]...: 1*aux(195)+0
  with precondition: [I=0,J+1=0,U=0,W=1,Y=A,0>=H,0>=Y,D>=1,X>=1,E>=D+1] 

* Chain [240]...: 42*s(1929)+130*s(1930)+0
  Such that:aux(200) =< -D+E
s(1929) =< aux(200)

  with precondition: [I=0,J+1=0,U=0,W=1,Y=A,0>=H,0>=Y,D>=1,X>=1,E>=D+2] 

* Chain [239]...: 1*aux(201)+0
  with precondition: [I=0,J+1=0,U=0,W=1,Y=A,0>=H,D>=0,X>=1,Y>=1,E>=D+1] 

* Chain [238]...: 42*s(1955)+130*s(1956)+0
  Such that:aux(206) =< -D+E
s(1955) =< aux(206)

  with precondition: [I=0,J+1=0,U=0,W=1,Y=A,0>=H,D>=0,X>=1,Y>=1,E>=D+2] 

* Chain [237]...: 1*aux(207)+0
  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] 

* Chain [236]...: 640*s(2008)+336*s(2011)+1056*s(2012)+0
  Such that:aux(224) =< -D+E
aux(225) =< -H
aux(226) =< -H+1
s(2008) =< aux(224)
s(2011) =< aux(224)
s(2008) =< aux(226)
s(2008) =< aux(225)

  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] 

* Chain [235]...: 1*aux(227)+0
  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] 

* Chain [234]...: 640*s(2232)+336*s(2235)+1056*s(2236)+0
  Such that:aux(244) =< -D+E
aux(245) =< -H
aux(246) =< -H+1
s(2232) =< aux(244)
s(2235) =< aux(244)
s(2232) =< aux(246)
s(2232) =< aux(245)

  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] 

* Chain [233]...: 1*aux(247)+0
  with precondition: [I=0,Q=3,U=0,W=1,Y=A,0>=Y,D>=1,H>=1,X>=1,E>=D+1] 

* Chain [232]...: 640*s(2432)+336*s(2435)+1040*s(2436)+192*s(2445)+96*s(2446)+0
  Such that:aux(264) =< -D+E
aux(265) =< E
aux(266) =< -H+1
s(2432) =< aux(264)
s(2445) =< aux(264)
s(2446) =< aux(264)
s(2435) =< aux(264)
s(2445) =< aux(265)
s(2446) =< aux(265)
s(2432) =< aux(266)
s(2445) =< aux(266)

  with precondition: [I=0,Q=3,U=0,W=1,Y=A,0>=Y,D>=1,X>=1,E>=D+2] 

* Chain [231]...: 1*aux(267)+0
  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] 

* Chain [230]...: 640*s(2656)+336*s(2659)+1056*s(2660)+0
  Such that:aux(284) =< -D+E
aux(285) =< -H
aux(286) =< -H+1
s(2656) =< aux(284)
s(2659) =< aux(284)
s(2656) =< aux(286)
s(2656) =< aux(285)

  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] 

* Chain [229]...: 1*aux(287)+0
  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] 

* Chain [228]...: 640*s(2880)+336*s(2883)+1056*s(2884)+0
  Such that:aux(304) =< -D+E
aux(305) =< -H
aux(306) =< -H+1
s(2880) =< aux(304)
s(2883) =< aux(304)
s(2880) =< aux(306)
s(2880) =< aux(305)

  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] 

* Chain [227]...: 1*aux(307)+0
  with precondition: [I=0,Q=3,U=0,W=1,Y=A,D>=0,H>=1,X>=1,Y>=1,E>=D+1] 

* Chain [226]...: 640*s(3080)+336*s(3083)+1040*s(3084)+192*s(3093)+96*s(3094)+0
  Such that:aux(324) =< -D+E
aux(325) =< E
aux(326) =< -H+1
s(3080) =< aux(324)
s(3093) =< aux(324)
s(3094) =< aux(324)
s(3083) =< aux(324)
s(3093) =< aux(325)
s(3094) =< aux(325)
s(3080) =< aux(326)
s(3093) =< aux(326)

  with precondition: [I=0,Q=3,U=0,W=1,Y=A,D>=0,X>=1,Y>=1,E>=D+2] 

* Chain [225]...: 1*aux(327)+0
  with precondition: [I=0,U=0,W=1,Y=A,0>=H,0>=J+2,0>=Y,D>=1,X>=1,E>=D+1] 

* Chain [224]...: 200*s(3279)+24*s(3280)+12*s(3281)+105*s(3282)+329*s(3283)+0
  Such that:s(3275) =< E
aux(332) =< -D+E
aux(333) =< -H
aux(334) =< -H+1
s(3279) =< aux(332)
s(3280) =< aux(332)
s(3281) =< aux(332)
s(3282) =< aux(332)
s(3280) =< s(3275)
s(3281) =< s(3275)
s(3279) =< aux(334)
s(3280) =< aux(334)
s(3279) =< aux(333)
s(3280) =< aux(333)

  with precondition: [I=0,U=0,W=1,Y=A,0>=H,0>=J+2,0>=Y,D>=1,X>=1,E>=D+2] 

* Chain [223]...: 1*aux(335)+0
  with precondition: [I=0,U=0,W=1,Y=A,0>=H,0>=Y,D>=1,J>=0,X>=1,E>=D+1] 

* Chain [222]...: 200*s(3345)+24*s(3346)+12*s(3347)+105*s(3348)+329*s(3349)+0
  Such that:s(3341) =< E
aux(340) =< -D+E
aux(341) =< -H
aux(342) =< -H+1
s(3345) =< aux(340)
s(3346) =< aux(340)
s(3347) =< aux(340)
s(3348) =< aux(340)
s(3346) =< s(3341)
s(3347) =< s(3341)
s(3345) =< aux(342)
s(3346) =< aux(342)
s(3345) =< aux(341)
s(3346) =< aux(341)

  with precondition: [I=0,U=0,W=1,Y=A,0>=H,0>=Y,D>=1,J>=0,X>=1,E>=D+2] 

* Chain [221]...: 80*s(3403)+42*s(3406)+130*s(3407)+24*s(3415)+12*s(3416)+0
  Such that:s(3411) =< E
aux(344) =< -D+E
aux(345) =< -H+1
s(3403) =< aux(344)
s(3406) =< aux(344)
s(3403) =< aux(345)
s(3415) =< aux(344)
s(3416) =< aux(344)
s(3415) =< s(3411)
s(3416) =< s(3411)
s(3415) =< aux(345)

  with precondition: [I=0,U=0,W=1,Y=A,0>=Y,D>=1,X>=1,E>=D+1] 

* Chain [220]...: 1*s(3420)+0
  with precondition: [I=0,U=0,W=1,Y=A,0>=Y,D>=1,X>=1,D>=E] 

* Chain [219]...: 1*aux(346)+0
  with precondition: [I=0,U=0,W=1,Y=A,0>=H,0>=J+2,D>=0,X>=1,Y>=1,E>=D+1] 

* Chain [218]...: 200*s(3434)+24*s(3435)+12*s(3436)+105*s(3437)+329*s(3438)+0
  Such that:s(3430) =< E
aux(351) =< -D+E
aux(352) =< -H
aux(353) =< -H+1
s(3434) =< aux(351)
s(3435) =< aux(351)
s(3436) =< aux(351)
s(3437) =< aux(351)
s(3435) =< s(3430)
s(3436) =< s(3430)
s(3434) =< aux(353)
s(3435) =< aux(353)
s(3434) =< aux(352)
s(3435) =< aux(352)

  with precondition: [I=0,U=0,W=1,Y=A,0>=H,0>=J+2,D>=0,X>=1,Y>=1,E>=D+2] 

* Chain [217]...: 1*aux(354)+0
  with precondition: [I=0,U=0,W=1,Y=A,0>=H,D>=0,J>=0,X>=1,Y>=1,E>=D+1] 

* Chain [216]...: 200*s(3500)+24*s(3501)+12*s(3502)+105*s(3503)+329*s(3504)+0
  Such that:s(3496) =< E
aux(359) =< -D+E
aux(360) =< -H
aux(361) =< -H+1
s(3500) =< aux(359)
s(3501) =< aux(359)
s(3502) =< aux(359)
s(3503) =< aux(359)
s(3501) =< s(3496)
s(3502) =< s(3496)
s(3500) =< aux(361)
s(3501) =< aux(361)
s(3500) =< aux(360)
s(3501) =< aux(360)

  with precondition: [I=0,U=0,W=1,Y=A,0>=H,D>=0,J>=0,X>=1,Y>=1,E>=D+2] 

* Chain [215]...: 80*s(3558)+42*s(3561)+130*s(3562)+24*s(3570)+12*s(3571)+0
  Such that:s(3566) =< E
aux(363) =< -D+E
aux(364) =< -H+1
s(3558) =< aux(363)
s(3561) =< aux(363)
s(3558) =< aux(364)
s(3570) =< aux(363)
s(3571) =< aux(363)
s(3570) =< s(3566)
s(3571) =< s(3566)
s(3570) =< aux(364)

  with precondition: [I=0,U=0,W=1,Y=A,D>=0,X>=1,Y>=1,E>=D+1] 

* Chain [214]...: 1*s(3575)+0
  with precondition: [I=0,U=0,W=1,Y=A,D>=0,X>=1,Y>=1,D>=E] 


#### 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):
* Chain [333]: 1*aux(365)+0
  with precondition: [J+1=0,V=3,0>=H] 

* Chain [332]: 1*aux(366)+0
  with precondition: [J+1=0,0>=H,2>=V] 

* Chain [331]: 1*aux(367)+0
  with precondition: [J+1=0,0>=H,V>=4] 

* Chain [330]: 2496*s(3614)+4416*s(3615)+0
  Such that:aux(368) =< -H+1
s(3614) =< aux(368)

  with precondition: [Q=3,V=3] 

* Chain [329]: 1*aux(369)+0
  with precondition: [Q=3,V=3,H>=1] 

* Chain [328]: 2496*s(3638)+4416*s(3639)+0
  Such that:aux(370) =< -H+1
s(3638) =< aux(370)

  with precondition: [Q=3,2>=V] 

* Chain [327]: 1*aux(371)+0
  with precondition: [Q=3,2>=V,H>=1] 

* Chain [326]: 1*aux(372)+0
  with precondition: [Q=3,H>=1,V>=4] 

* Chain [325]: 2496*s(3665)+4416*s(3666)+0
  Such that:aux(373) =< -H+1
s(3665) =< aux(373)

  with precondition: [Q=3,V>=4] 

* Chain [324]: 1137*s(3684)+696*s(3687)+0
  Such that:aux(374) =< -H+1
s(3687) =< aux(374)

  with precondition: [V=3] 

* Chain [323]: 297*s(3729)+192*s(3733)+0
  Such that:aux(375) =< -H
aux(376) =< -H+1
s(3733) =< aux(376)
s(3733) =< aux(375)

  with precondition: [V=3,0>=H,0>=J+2] 

* Chain [322]: 297*s(3756)+192*s(3760)+0
  Such that:aux(377) =< -H
aux(378) =< -H+1
s(3760) =< aux(378)
s(3760) =< aux(377)

  with precondition: [V=3,0>=H,J>=0] 

* Chain [321]: 297*s(3783)+192*s(3787)+0
  Such that:aux(379) =< -H
aux(380) =< -H+1
s(3787) =< aux(380)
s(3787) =< aux(379)

  with precondition: [0>=H,0>=J+2,2>=V] 

* Chain [320]: 297*s(3810)+192*s(3814)+0
  Such that:aux(381) =< -H
aux(382) =< -H+1
s(3814) =< aux(382)
s(3814) =< aux(381)

  with precondition: [0>=H,0>=J+2,V>=4] 

* Chain [319]: 297*s(3837)+192*s(3841)+0
  Such that:aux(383) =< -H
aux(384) =< -H+1
s(3841) =< aux(384)
s(3841) =< aux(383)

  with precondition: [0>=H,2>=V,J>=0] 

* Chain [318]: 297*s(3864)+192*s(3868)+0
  Such that:aux(385) =< -H
aux(386) =< -H+1
s(3868) =< aux(386)
s(3868) =< aux(385)

  with precondition: [0>=H,J>=0,V>=4] 

* Chain [317]: 1137*s(3891)+696*s(3894)+0
  Such that:aux(387) =< -H+1
s(3894) =< aux(387)

  with precondition: [2>=V] 

* Chain [316]: 1137*s(3936)+696*s(3939)+0
  Such that:aux(388) =< -H+1
s(3939) =< aux(388)

  with precondition: [V>=4] 

* Chain [315]...: 1*aux(389)+0
  with precondition: [J+1=0,V=3,0>=H] 

* Chain [314]...: 1*aux(390)+0
  with precondition: [J+1=0,0>=H,2>=V] 

* Chain [313]...: 1*aux(391)+0
  with precondition: [J+1=0,0>=H,V>=4] 

* Chain [312]...: 2496*s(4019)+4416*s(4020)+0
  Such that:aux(392) =< -H+1
s(4019) =< aux(392)

  with precondition: [Q=3,V=3] 

* Chain [311]...: 4179*s(4038)+1920*s(4042)+0
  Such that:aux(393) =< -H
aux(394) =< -H+1
s(4042) =< aux(394)
s(4042) =< aux(393)

  with precondition: [Q=3,V=3,0>=H,0>=J+2] 

* Chain [310]...: 4179*s(4059)+1920*s(4063)+0
  Such that:aux(395) =< -H
aux(396) =< -H+1
s(4063) =< aux(396)
s(4063) =< aux(395)

  with precondition: [Q=3,V=3,0>=H,J>=0] 

* Chain [309]...: 1*aux(397)+0
  with precondition: [Q=3,V=3,H>=1] 

* Chain [308]...: 4179*s(4083)+1920*s(4087)+0
  Such that:aux(398) =< -H
aux(399) =< -H+1
s(4087) =< aux(399)
s(4087) =< aux(398)

  with precondition: [Q=3,0>=H,0>=J+2,2>=V] 

* Chain [307]...: 4179*s(4104)+1920*s(4108)+0
  Such that:aux(400) =< -H
aux(401) =< -H+1
s(4108) =< aux(401)
s(4108) =< aux(400)

  with precondition: [Q=3,0>=H,0>=J+2,V>=4] 

* Chain [306]...: 4179*s(4125)+1920*s(4129)+0
  Such that:aux(402) =< -H
aux(403) =< -H+1
s(4129) =< aux(403)
s(4129) =< aux(402)

  with precondition: [Q=3,0>=H,2>=V,J>=0] 

* Chain [305]...: 4179*s(4146)+1920*s(4150)+0
  Such that:aux(404) =< -H
aux(405) =< -H+1
s(4150) =< aux(405)
s(4150) =< aux(404)

  with precondition: [Q=3,0>=H,J>=0,V>=4] 

* Chain [304]...: 2496*s(4169)+4416*s(4170)+0
  Such that:aux(406) =< -H+1
s(4169) =< aux(406)

  with precondition: [Q=3,2>=V] 

* Chain [303]...: 1*aux(407)+0
  with precondition: [Q=3,2>=V,H>=1] 

* Chain [302]...: 1*aux(408)+0
  with precondition: [Q=3,H>=1,V>=4] 

* Chain [301]...: 2496*s(4196)+4416*s(4197)+0
  Such that:aux(409) =< -H+1
s(4196) =< aux(409)

  with precondition: [Q=3,V>=4] 

* Chain [300]...: 555*s(4215)+312*s(4218)+0
  Such that:aux(410) =< -H+1
s(4218) =< aux(410)

  with precondition: [V=3] 

* Chain [299]...: 1341*s(4239)+672*s(4243)+0
  Such that:aux(411) =< -H
aux(412) =< -H+1
s(4243) =< aux(412)
s(4243) =< aux(411)

  with precondition: [V=3,0>=H,0>=J+2] 

* Chain [298]...: 1341*s(4266)+672*s(4270)+0
  Such that:aux(413) =< -H
aux(414) =< -H+1
s(4270) =< aux(414)
s(4270) =< aux(413)

  with precondition: [V=3,0>=H,J>=0] 

* Chain [297]...: 1341*s(4293)+672*s(4297)+0
  Such that:aux(415) =< -H
aux(416) =< -H+1
s(4297) =< aux(416)
s(4297) =< aux(415)

  with precondition: [0>=H,0>=J+2,2>=V] 

* Chain [296]...: 1341*s(4320)+672*s(4324)+0
  Such that:aux(417) =< -H
aux(418) =< -H+1
s(4324) =< aux(418)
s(4324) =< aux(417)

  with precondition: [0>=H,0>=J+2,V>=4] 

* Chain [295]...: 1341*s(4347)+672*s(4351)+0
  Such that:aux(419) =< -H
aux(420) =< -H+1
s(4351) =< aux(420)
s(4351) =< aux(419)

  with precondition: [0>=H,2>=V,J>=0] 

* Chain [294]...: 1341*s(4374)+672*s(4378)+0
  Such that:aux(421) =< -H
aux(422) =< -H+1
s(4378) =< aux(422)
s(4378) =< aux(421)

  with precondition: [0>=H,J>=0,V>=4] 

* Chain [293]...: 555*s(4401)+312*s(4404)+0
  Such that:aux(423) =< -H+1
s(4404) =< aux(423)

  with precondition: [2>=V] 

* Chain [292]...: 555*s(4425)+312*s(4428)+0
  Such that:aux(424) =< -H+1
s(4428) =< aux(424)

  with precondition: [V>=4] 


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): 
-------------------------------------
* Chain [333] with precondition: [J+1=0,V=3,0>=H] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [332] with precondition: [J+1=0,0>=H,2>=V] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [331] with precondition: [J+1=0,0>=H,V>=4] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [330] with precondition: [Q=3,V=3] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [329] with precondition: [Q=3,V=3,H>=1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [328] with precondition: [Q=3,2>=V] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [327] with precondition: [Q=3,2>=V,H>=1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [326] with precondition: [Q=3,H>=1,V>=4] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [325] with precondition: [Q=3,V>=4] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [324] with precondition: [V=3] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [323] with precondition: [V=3,0>=H,0>=J+2] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [322] with precondition: [V=3,0>=H,J>=0] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [321] with precondition: [0>=H,0>=J+2,2>=V] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [320] with precondition: [0>=H,0>=J+2,V>=4] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [319] with precondition: [0>=H,2>=V,J>=0] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [318] with precondition: [0>=H,J>=0,V>=4] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [317] with precondition: [2>=V] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [316] with precondition: [V>=4] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [315]... with precondition: [J+1=0,V=3,0>=H] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [314]... with precondition: [J+1=0,0>=H,2>=V] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [313]... with precondition: [J+1=0,0>=H,V>=4] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [312]... with precondition: [Q=3,V=3] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [311]... with precondition: [Q=3,V=3,0>=H,0>=J+2] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [310]... with precondition: [Q=3,V=3,0>=H,J>=0] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [309]... with precondition: [Q=3,V=3,H>=1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [308]... with precondition: [Q=3,0>=H,0>=J+2,2>=V] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [307]... with precondition: [Q=3,0>=H,0>=J+2,V>=4] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [306]... with precondition: [Q=3,0>=H,2>=V,J>=0] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [305]... with precondition: [Q=3,0>=H,J>=0,V>=4] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [304]... with precondition: [Q=3,2>=V] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [303]... with precondition: [Q=3,2>=V,H>=1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [302]... with precondition: [Q=3,H>=1,V>=4] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [301]... with precondition: [Q=3,V>=4] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [300]... with precondition: [V=3] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [299]... with precondition: [V=3,0>=H,0>=J+2] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [298]... with precondition: [V=3,0>=H,J>=0] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [297]... with precondition: [0>=H,0>=J+2,2>=V] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [296]... with precondition: [0>=H,0>=J+2,V>=4] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [295]... with precondition: [0>=H,2>=V,J>=0] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [294]... with precondition: [0>=H,J>=0,V>=4] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [293]... with precondition: [2>=V] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [292]... with precondition: [V>=4] 
    - Upper bound: inf 
    - Complexity: infinity 

### 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 
Asymptotic class: infinity 
* Total analysis performed in 83280 ms.

