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

#### Computed strongly connected components 
0. recursive  : [f48/39,f61/39,f66/39,f77/39,f78/39,f80/39,f84/39,f89/39]
1. non_recursive  : [exit_location/1]
2. recursive  : [f94/1]
3. non_recursive  : [f94_loop_cont/2]
4. non_recursive  : [f48_loop_cont/35]
5. non_recursive  : [f41/34]
6. non_recursive  : [f37/34]
7. non_recursive  : [f0/34]

#### Obtained direct recursion through partial evaluation 
0. SCC is partially evaluated into f48/39
1. SCC is completely evaluated into other SCCs
2. SCC is partially evaluated into f94/1
3. SCC is completely evaluated into other SCCs
4. SCC is partially evaluated into f48_loop_cont/35
5. SCC is partially evaluated into f41/34
6. SCC is partially evaluated into f37/34
7. SCC is partially evaluated into f0/34

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

### Specialization of cost equations f48/39 
* CE 160 is refined into CE [164] 
* CE 159 is refined into CE [165] 
* CE 155 is refined into CE [166] 
* CE 154 is refined into CE [167] 
* CE 161 is refined into CE [168] 
* CE 153 is refined into CE [169] 
* CE 39 is refined into CE [170] 
* CE 73 is refined into CE [171] 
* CE 40 is refined into CE [172] 
* CE 74 is refined into CE [173] 
* CE 107 is refined into CE [174] 
* CE 141 is refined into CE [175] 
* CE 108 is refined into CE [176] 
* CE 142 is refined into CE [177] 
* CE 41 is refined into CE [178] 
* CE 75 is refined into CE [179] 
* CE 42 is refined into CE [180] 
* CE 76 is refined into CE [181] 
* CE 109 is refined into CE [182] 
* CE 143 is refined into CE [183] 
* CE 110 is refined into CE [184] 
* CE 144 is refined into CE [185] 
* CE 43 is refined into CE [186] 
* CE 77 is refined into CE [187] 
* CE 44 is refined into CE [188] 
* CE 78 is refined into CE [189] 
* CE 111 is refined into CE [190] 
* CE 145 is refined into CE [191] 
* CE 112 is refined into CE [192] 
* CE 146 is refined into CE [193] 
* CE 45 is refined into CE [194] 
* CE 79 is refined into CE [195] 
* CE 46 is refined into CE [196] 
* CE 80 is refined into CE [197] 
* CE 113 is refined into CE [198] 
* CE 147 is refined into CE [199] 
* CE 114 is refined into CE [200] 
* CE 148 is refined into CE [201] 
* CE 37 is refined into CE [202] 
* CE 71 is refined into CE [203] 
* CE 38 is refined into CE [204] 
* CE 72 is refined into CE [205] 
* CE 105 is refined into CE [206] 
* CE 139 is refined into CE [207] 
* CE 106 is refined into CE [208] 
* CE 140 is refined into CE [209] 
* CE 36 is refined into CE [210] 
* CE 70 is refined into CE [211] 
* CE 104 is refined into CE [212] 
* CE 138 is refined into CE [213] 
* CE 151 is refined into CE [214] 
* CE 152 is refined into CE [215] 
* CE 34 is refined into CE [216] 
* CE 68 is refined into CE [217] 
* CE 35 is refined into CE [218] 
* CE 69 is refined into CE [219] 
* CE 102 is refined into CE [220] 
* CE 136 is refined into CE [221] 
* CE 103 is refined into CE [222] 
* CE 137 is refined into CE [223] 
* CE 30 is refined into CE [224] 
* CE 64 is refined into CE [225] 
* CE 31 is refined into CE [226] 
* CE 65 is refined into CE [227] 
* CE 98 is refined into CE [228] 
* CE 132 is refined into CE [229] 
* CE 99 is refined into CE [230] 
* CE 133 is refined into CE [231] 
* CE 32 is refined into CE [232] 
* CE 66 is refined into CE [233] 
* CE 33 is refined into CE [234] 
* CE 67 is refined into CE [235] 
* CE 100 is refined into CE [236] 
* CE 134 is refined into CE [237] 
* CE 101 is refined into CE [238] 
* CE 135 is refined into CE [239] 
* CE 158 is refined into CE [240] 
* CE 157 is refined into CE [241] 
* CE 156 is refined into CE [242] 
* CE 22 is refined into CE [243] 
* CE 56 is refined into CE [244] 
* CE 23 is refined into CE [245] 
* CE 57 is refined into CE [246] 
* CE 90 is refined into CE [247] 
* CE 124 is refined into CE [248] 
* CE 91 is refined into CE [249] 
* CE 125 is refined into CE [250] 
* CE 24 is refined into CE [251] 
* CE 58 is refined into CE [252] 
* CE 25 is refined into CE [253] 
* CE 59 is refined into CE [254] 
* CE 92 is refined into CE [255] 
* CE 126 is refined into CE [256] 
* CE 93 is refined into CE [257] 
* CE 127 is refined into CE [258] 
* CE 26 is refined into CE [259] 
* CE 60 is refined into CE [260] 
* CE 27 is refined into CE [261] 
* CE 61 is refined into CE [262] 
* CE 94 is refined into CE [263] 
* CE 128 is refined into CE [264] 
* CE 95 is refined into CE [265] 
* CE 129 is refined into CE [266] 
* CE 28 is refined into CE [267] 
* CE 62 is refined into CE [268] 
* CE 29 is refined into CE [269] 
* CE 63 is refined into CE [270] 
* CE 96 is refined into CE [271] 
* CE 130 is refined into CE [272] 
* CE 97 is refined into CE [273] 
* CE 131 is refined into CE [274] 
* CE 20 is refined into CE [275] 
* CE 54 is refined into CE [276] 
* CE 21 is refined into CE [277] 
* CE 55 is refined into CE [278] 
* CE 88 is refined into CE [279] 
* CE 122 is refined into CE [280] 
* CE 89 is refined into CE [281] 
* CE 123 is refined into CE [282] 
* CE 19 is refined into CE [283] 
* CE 53 is refined into CE [284] 
* CE 87 is refined into CE [285] 
* CE 121 is refined into CE [286] 
* CE 149 is refined into CE [287] 
* CE 150 is refined into CE [288] 
* CE 17 is refined into CE [289] 
* CE 51 is refined into CE [290] 
* CE 18 is refined into CE [291] 
* CE 52 is refined into CE [292] 
* CE 85 is refined into CE [293] 
* CE 119 is refined into CE [294] 
* CE 86 is refined into CE [295] 
* CE 120 is refined into CE [296] 
* CE 13 is refined into CE [297] 
* CE 47 is refined into CE [298] 
* CE 14 is refined into CE [299] 
* CE 48 is refined into CE [300] 
* CE 81 is refined into CE [301] 
* CE 115 is refined into CE [302] 
* CE 82 is refined into CE [303] 
* CE 116 is refined into CE [304] 
* CE 15 is refined into CE [305] 
* CE 49 is refined into CE [306] 
* CE 16 is refined into CE [307] 
* CE 50 is refined into CE [308] 
* CE 83 is refined into CE [309] 
* CE 117 is refined into CE [310] 
* CE 84 is refined into CE [311] 
* CE 118 is refined into CE [312] 


### Cost equations --> "Loop" of f48/39 
* CEs [240] --> Loop 161 
* CEs [241] --> Loop 162 
* CEs [242] --> Loop 163 
* CEs [243] --> Loop 164 
* CEs [244] --> Loop 165 
* CEs [245] --> Loop 166 
* CEs [246] --> Loop 167 
* CEs [247] --> Loop 168 
* CEs [248] --> Loop 169 
* CEs [249] --> Loop 170 
* CEs [250] --> Loop 171 
* CEs [251] --> Loop 172 
* CEs [252] --> Loop 173 
* CEs [253] --> Loop 174 
* CEs [254] --> Loop 175 
* CEs [255] --> Loop 176 
* CEs [256] --> Loop 177 
* CEs [257] --> Loop 178 
* CEs [258] --> Loop 179 
* CEs [259] --> Loop 180 
* CEs [260] --> Loop 181 
* CEs [261] --> Loop 182 
* CEs [262] --> Loop 183 
* CEs [263] --> Loop 184 
* CEs [264] --> Loop 185 
* CEs [265] --> Loop 186 
* CEs [266] --> Loop 187 
* CEs [267] --> Loop 188 
* CEs [268] --> Loop 189 
* CEs [269] --> Loop 190 
* CEs [270] --> Loop 191 
* CEs [271] --> Loop 192 
* CEs [272] --> Loop 193 
* CEs [273] --> Loop 194 
* CEs [274] --> Loop 195 
* CEs [275] --> Loop 196 
* CEs [276] --> Loop 197 
* CEs [277] --> Loop 198 
* CEs [278] --> Loop 199 
* CEs [279] --> Loop 200 
* CEs [280] --> Loop 201 
* CEs [281] --> Loop 202 
* CEs [282] --> Loop 203 
* CEs [283] --> Loop 204 
* CEs [284] --> Loop 205 
* CEs [285] --> Loop 206 
* CEs [286] --> Loop 207 
* CEs [287] --> Loop 208 
* CEs [288] --> Loop 209 
* CEs [289] --> Loop 210 
* CEs [290] --> Loop 211 
* CEs [291] --> Loop 212 
* CEs [292] --> Loop 213 
* CEs [293] --> Loop 214 
* CEs [294] --> Loop 215 
* CEs [295] --> Loop 216 
* CEs [296] --> Loop 217 
* CEs [297] --> Loop 218 
* CEs [298] --> Loop 219 
* CEs [299] --> Loop 220 
* CEs [300] --> Loop 221 
* CEs [301] --> Loop 222 
* CEs [302] --> Loop 223 
* CEs [303] --> Loop 224 
* CEs [304] --> Loop 225 
* CEs [305] --> Loop 226 
* CEs [306] --> Loop 227 
* CEs [307] --> Loop 228 
* CEs [308] --> Loop 229 
* CEs [309] --> Loop 230 
* CEs [310] --> Loop 231 
* CEs [311] --> Loop 232 
* CEs [312] --> Loop 233 
* CEs [164] --> Loop 234 
* CEs [165] --> Loop 235 
* CEs [166] --> Loop 236 
* CEs [167] --> Loop 237 
* CEs [168] --> Loop 238 
* CEs [169] --> Loop 239 
* CEs [170] --> Loop 240 
* CEs [171] --> Loop 241 
* CEs [172] --> Loop 242 
* CEs [173] --> Loop 243 
* CEs [174] --> Loop 244 
* CEs [175] --> Loop 245 
* CEs [176] --> Loop 246 
* CEs [177] --> Loop 247 
* CEs [178] --> Loop 248 
* CEs [179] --> Loop 249 
* CEs [180] --> Loop 250 
* CEs [181] --> Loop 251 
* CEs [182] --> Loop 252 
* CEs [183] --> Loop 253 
* CEs [184] --> Loop 254 
* CEs [185] --> Loop 255 
* CEs [186] --> Loop 256 
* CEs [187] --> Loop 257 
* CEs [188] --> Loop 258 
* CEs [189] --> Loop 259 
* CEs [190] --> Loop 260 
* CEs [191] --> Loop 261 
* CEs [192] --> Loop 262 
* CEs [193] --> Loop 263 
* CEs [194] --> Loop 264 
* CEs [195] --> Loop 265 
* CEs [196] --> Loop 266 
* CEs [197] --> Loop 267 
* CEs [198] --> Loop 268 
* CEs [199] --> Loop 269 
* CEs [200] --> Loop 270 
* CEs [201] --> Loop 271 
* CEs [202] --> Loop 272 
* CEs [203] --> Loop 273 
* CEs [204] --> Loop 274 
* CEs [205] --> Loop 275 
* CEs [206] --> Loop 276 
* CEs [207] --> Loop 277 
* CEs [208] --> Loop 278 
* CEs [209] --> Loop 279 
* CEs [210] --> Loop 280 
* CEs [211] --> Loop 281 
* CEs [212] --> Loop 282 
* CEs [213] --> Loop 283 
* CEs [214] --> Loop 284 
* CEs [215] --> Loop 285 
* CEs [216] --> Loop 286 
* CEs [217] --> Loop 287 
* CEs [218] --> Loop 288 
* CEs [219] --> Loop 289 
* CEs [220] --> Loop 290 
* CEs [221] --> Loop 291 
* CEs [222] --> Loop 292 
* CEs [223] --> Loop 293 
* CEs [224] --> Loop 294 
* CEs [225] --> Loop 295 
* CEs [226] --> Loop 296 
* CEs [227] --> Loop 297 
* CEs [228] --> Loop 298 
* CEs [229] --> Loop 299 
* CEs [230] --> Loop 300 
* CEs [231] --> Loop 301 
* CEs [232] --> Loop 302 
* CEs [233] --> Loop 303 
* CEs [234] --> Loop 304 
* CEs [235] --> Loop 305 
* CEs [236] --> Loop 306 
* CEs [237] --> Loop 307 
* CEs [238] --> Loop 308 
* CEs [239] --> Loop 309 

### Ranking functions of CR f48(A,E,F,G,H,I,J,K,L,N,O,P,Q,R,S,T,U,V,W,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2) 
* RF of phase [161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233]: [E-1]

#### Partial ranking functions of CR f48(A,E,F,G,H,I,J,K,L,N,O,P,Q,R,S,T,U,V,W,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2) 
* Partial RF of phase [161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233]:
  - RF of loop [161:1,162:1,163:1,164:1,165:1,166:1,167:1,168:1,169:1,170:1,171:1,172:1,173:1,174:1,175:1,176:1,177:1,178:1,179:1,180:1,181:1,182:1,183:1,184:1,185:1,186:1,187:1,188:1,189:1,190:1,191:1,192:1,193:1,194:1,195:1,196:1,197:1,198:1,199:1,200:1,201:1,202:1,203:1,204:1,205:1,206:1,207:1,208:1,209:1,210:1,211:1,212:1,213:1,214:1,215:1,216:1,217:1,218:1,219:1,220:1,221:1,222:1,223:1,224:1,225:1,226:1,227:1,228:1,229:1,230:1,231:1,232:1,233:1]:
    E-1


### Specialization of cost equations f94/1 
* CE 9 is refined into CE [313] 
* CE 8 is refined into CE [314] 


### Cost equations --> "Loop" of f94/1 
* CEs [314] --> Loop 310 
* CEs [313] --> Loop 311 

### Ranking functions of CR f94(O1) 

#### Partial ranking functions of CR f94(O1) 


### Specialization of cost equations f48_loop_cont/35 
* CE 163 is refined into CE [315,316] 
* CE 162 is refined into CE [317] 


### Cost equations --> "Loop" of f48_loop_cont/35 
* CEs [315] --> Loop 312 
* CEs [317] --> Loop 313 
* CEs [316] --> Loop 314 

### Ranking functions of CR f48_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,B1,C1,D1,E1,F1,G1,H1,I1) 

#### Partial ranking functions of CR f48_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,B1,C1,D1,E1,F1,G1,H1,I1) 


### Specialization of cost equations f41/34 
* CE 12 is refined into CE [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,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,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] 
* CE 11 is refined into CE [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,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,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,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,907,908,909,910,911,912,913,914,915,916,917,918,919,920,921] 
* CE 10 is refined into CE [922,923] 


### Cost equations --> "Loop" of f41/34 
* CEs [399,401,403,405,407,409,411,413,415,417,419,421,423,425,491,511,513,515,517,519,521,523,525,527,529,531,533,535,537,603,605,607,609,611,613,615,617,619] --> Loop 315 
* CEs [475,477,479,481,483,485,487,489,587,589,591,593,595,597,599,601] --> Loop 316 
* CEs [459,461,463,465,467,469,471,473,571,573,575,577,579,581,583,585] --> Loop 317 
* CEs [701,703,705,707,709,711,713,715,717,719,721,723,725,727,793,813,815,817,819,821,823,825,827,829,831,833,835,837,839,905,907,909,911,913,915,917,919,921] --> Loop 318 
* CEs [777,779,781,783,785,787,789,791,889,891,893,895,897,899,901,903] --> Loop 319 
* CEs [761,763,765,767,769,771,773,775,873,875,877,879,881,883,885,887] --> Loop 320 
* CEs [443,445,447,449,451,453,455,457,555,557,559,561,563,565,567,569] --> Loop 321 
* CEs [427,429,431,433,435,437,439,441,539,541,543,545,547,549,551,553] --> Loop 322 
* CEs [745,747,749,751,753,755,757,759,857,859,861,863,865,867,869,871] --> Loop 323 
* CEs [729,731,733,735,737,739,741,743,841,843,845,847,849,851,853,855] --> Loop 324 
* CEs [383,385,387,389,391,393,395,397,493,495,497,499,501,503,505,507] --> Loop 325 
* CEs [685,687,689,691,693,695,697,699,795,797,799,801,803,805,807,809] --> Loop 326 
* CEs [923] --> Loop 327 
* CEs [335,337,339,341,343,345,347,349,367,369,371,373,375,377,379,381] --> Loop 328 
* CEs [319,321,323,325,327,329,331,333,351,353,355,357,359,361,363,365] --> Loop 329 
* CEs [637,639,641,643,645,647,649,651,669,671,673,675,677,679,681,683] --> Loop 330 
* CEs [621,623,625,627,629,631,633,635,653,655,657,659,661,663,665,667] --> Loop 331 
* CEs [398,400,402,404,406,408,410,412,414,416,418,420,422,424,490,508,509,510,512,514,516,518,520,522,524,526,528,530,532,534,536,602,604,606,608,610,612,614,616,618] --> Loop 332 
* CEs [474,476,478,480,482,484,486,488,586,588,590,592,594,596,598,600] --> Loop 333 
* CEs [458,460,462,464,466,468,470,472,570,572,574,576,578,580,582,584] --> Loop 334 
* CEs [700,702,704,706,708,710,712,714,716,718,720,722,724,726,792,810,811,812,814,816,818,820,822,824,826,828,830,832,834,836,838,904,906,908,910,912,914,916,918,920] --> Loop 335 
* CEs [776,778,780,782,784,786,788,790,888,890,892,894,896,898,900,902] --> Loop 336 
* CEs [760,762,764,766,768,770,772,774,872,874,876,878,880,882,884,886] --> Loop 337 
* CEs [442,444,446,448,450,452,454,456,554,556,558,560,562,564,566,568] --> Loop 338 
* CEs [426,428,430,432,434,436,438,440,538,540,542,544,546,548,550,552] --> Loop 339 
* CEs [744,746,748,750,752,754,756,758,856,858,860,862,864,866,868,870] --> Loop 340 
* CEs [728,730,732,734,736,738,740,742,840,842,844,846,848,850,852,854] --> Loop 341 
* CEs [382,384,386,388,390,392,394,396,492,494,496,498,500,502,504,506] --> Loop 342 
* CEs [684,686,688,690,692,694,696,698,794,796,798,800,802,804,806,808] --> Loop 343 
* CEs [922] --> Loop 344 
* CEs [334,336,338,340,342,344,346,348,366,368,370,372,374,376,378,380] --> Loop 345 
* CEs [318,320,322,324,326,328,330,332,350,352,354,356,358,360,362,364] --> Loop 346 
* CEs [636,638,640,642,644,646,648,650,668,670,672,674,676,678,680,682] --> Loop 347 
* CEs [620,622,624,626,628,630,632,634,652,654,656,658,660,662,664,666] --> Loop 348 

### Ranking functions of CR f41(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,B1,C1,D1,E1,F1,G1,O1) 

#### Partial ranking functions of CR f41(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,B1,C1,D1,E1,F1,G1,O1) 


### Specialization of cost equations f37/34 
* CE 6 is refined into CE [924,925,926,927,928,929,930,931,932,933,934,935,936,937,938,939,940,941,942,943,944,945,946,947,948,949,950,951,952,953,954,955,956,957] 
* CE 5 is refined into CE [958,959,960,961,962,963,964,965,966,967,968,969,970,971,972,973,974,975,976,977,978,979,980,981,982,983,984,985,986,987,988,989,990,991] 
* CE 7 is refined into CE [992,993] 


### Cost equations --> "Loop" of f37/34 
* CEs [945,954,957] --> Loop 349 
* CEs [953,956] --> Loop 350 
* CEs [952,955] --> Loop 351 
* CEs [979,988,991] --> Loop 352 
* CEs [987,990] --> Loop 353 
* CEs [986,989] --> Loop 354 
* CEs [949,951] --> Loop 355 
* CEs [948,950] --> Loop 356 
* CEs [983,985] --> Loop 357 
* CEs [982,984] --> Loop 358 
* CEs [946,947] --> Loop 359 
* CEs [980,981] --> Loop 360 
* CEs [993] --> Loop 361 
* CEs [942,944] --> Loop 362 
* CEs [941,943] --> Loop 363 
* CEs [976,978] --> Loop 364 
* CEs [975,977] --> Loop 365 
* CEs [928,937,940] --> Loop 366 
* CEs [936,939] --> Loop 367 
* CEs [935,938] --> Loop 368 
* CEs [962,971,974] --> Loop 369 
* CEs [970,973] --> Loop 370 
* CEs [969,972] --> Loop 371 
* CEs [932,934] --> Loop 372 
* CEs [931,933] --> Loop 373 
* CEs [966,968] --> Loop 374 
* CEs [965,967] --> Loop 375 
* CEs [929,930] --> Loop 376 
* CEs [963,964] --> Loop 377 
* CEs [992] --> Loop 378 
* CEs [925,927] --> Loop 379 
* CEs [924,926] --> Loop 380 
* CEs [959,961] --> Loop 381 
* CEs [958,960] --> Loop 382 

### Ranking functions of CR f37(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,B1,C1,D1,E1,F1,G1,O1) 

#### Partial ranking functions of CR f37(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,B1,C1,D1,E1,F1,G1,O1) 


### Specialization of cost equations f0/34 
* CE 1 is refined into CE [994,995,996,997,998,999,1000,1001,1002,1003,1004,1005,1006,1007,1008,1009,1010,1011,1012,1013,1014,1015,1016,1017,1018,1019,1020,1021,1022,1023,1024,1025,1026,1027] 
* CE 2 is refined into CE [1028,1029,1030,1031,1032,1033,1034,1035,1036,1037,1038,1039,1040,1041,1042,1043,1044,1045,1046,1047,1048,1049,1050,1051,1052,1053,1054,1055,1056,1057,1058,1059,1060,1061] 
* CE 3 is refined into CE [1062,1063,1064,1065,1066,1067,1068,1069,1070,1071,1072,1073,1074,1075,1076,1077,1078,1079,1080,1081,1082,1083,1084,1085,1086,1087,1088,1089,1090,1091,1092,1093,1094,1095] 
* CE 4 is refined into CE [1096,1097] 


### Cost equations --> "Loop" of f0/34 
* CEs [1023,1026,1057,1060,1091,1094] --> Loop 383 
* CEs [1022,1025,1056,1059,1090,1093] --> Loop 384 
* CEs [1019,1021,1053,1055,1087,1089] --> Loop 385 
* CEs [1018,1020,1052,1054,1086,1088] --> Loop 386 
* CEs [1016,1017,1050,1051,1084,1085] --> Loop 387 
* CEs [1012,1014,1046,1048,1080,1082] --> Loop 388 
* CEs [1011,1013,1045,1047,1079,1081] --> Loop 389 
* CEs [1015,1024,1027,1049,1058,1061,1083,1092,1095,1097] --> Loop 390 
* CEs [1006,1009,1040,1043,1074,1077] --> Loop 391 
* CEs [1005,1008,1039,1042,1073,1076] --> Loop 392 
* CEs [1002,1004,1036,1038,1070,1072] --> Loop 393 
* CEs [1001,1003,1035,1037,1069,1071] --> Loop 394 
* CEs [999,1000,1033,1034,1067,1068] --> Loop 395 
* CEs [995,997,1029,1031,1063,1065] --> Loop 396 
* CEs [994,996,1028,1030,1062,1064] --> Loop 397 
* CEs [998,1007,1010,1032,1041,1044,1066,1075,1078,1096] --> Loop 398 

### 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,Z,A1,B1,C1,D1,E1,F1,G1,O1) 

#### 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,Z,A1,B1,C1,D1,E1,F1,G1,O1) 


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

#### Cost of chains of f48(A,E,F,G,H,I,J,K,L,N,O,P,Q,R,S,T,U,V,W,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2):
* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],309]: 73*it(161)+0
  Such that:aux(3) =< E
it(161) =< aux(3)

  with precondition: [A=0,O1=3,P1=0,Q1=0,R1+1=0,U1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=K+1,0>=S1+1,0>=B2+1,0>=G2+1,E>=2] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],308]: 73*it(161)+0
  Such that:aux(4) =< E
it(161) =< aux(4)

  with precondition: [A=0,O1=3,P1=0,Q1=0,R1+1=0,U1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=K+1,0>=S1+1,0>=B2+1,E>=2,G2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],307]: 73*it(161)+0
  Such that:aux(5) =< E
it(161) =< aux(5)

  with precondition: [A=0,O1=3,P1=0,Q1=0,R1+1=0,U1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=K+1,0>=S1+1,0>=G2+1,E>=2,B2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],306]: 73*it(161)+0
  Such that:aux(6) =< E
it(161) =< aux(6)

  with precondition: [A=0,O1=3,P1=0,Q1=0,R1+1=0,U1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=K+1,0>=S1+1,E>=2,B2>=1,G2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],305]: 73*it(161)+0
  Such that:aux(7) =< E
it(161) =< aux(7)

  with precondition: [A=0,O1=3,P1=0,Q1=0,R1+1=0,U1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=K+1,0>=B2+1,0>=G2+1,E>=2,S1>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],304]: 73*it(161)+0
  Such that:aux(8) =< E
it(161) =< aux(8)

  with precondition: [A=0,O1=3,P1=0,Q1=0,R1+1=0,U1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=K+1,0>=B2+1,E>=2,S1>=1,G2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],303]: 73*it(161)+0
  Such that:aux(9) =< E
it(161) =< aux(9)

  with precondition: [A=0,O1=3,P1=0,Q1=0,R1+1=0,U1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=K+1,0>=G2+1,E>=2,S1>=1,B2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],302]: 73*it(161)+0
  Such that:aux(10) =< E
it(161) =< aux(10)

  with precondition: [A=0,O1=3,P1=0,Q1=0,R1+1=0,U1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=K+1,E>=2,S1>=1,B2>=1,G2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],301]: 73*it(161)+0
  Such that:aux(11) =< E
it(161) =< aux(11)

  with precondition: [A=0,O1=3,P1=0,Q1=0,R1+1=0,U1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=S1+1,0>=B2+1,0>=G2+1,E>=2,K>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],300]: 73*it(161)+0
  Such that:aux(12) =< E
it(161) =< aux(12)

  with precondition: [A=0,O1=3,P1=0,Q1=0,R1+1=0,U1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=S1+1,0>=B2+1,E>=2,K>=1,G2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],299]: 73*it(161)+0
  Such that:aux(13) =< E
it(161) =< aux(13)

  with precondition: [A=0,O1=3,P1=0,Q1=0,R1+1=0,U1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=S1+1,0>=G2+1,E>=2,K>=1,B2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],298]: 73*it(161)+0
  Such that:aux(14) =< E
it(161) =< aux(14)

  with precondition: [A=0,O1=3,P1=0,Q1=0,R1+1=0,U1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=S1+1,E>=2,K>=1,B2>=1,G2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],297]: 73*it(161)+0
  Such that:aux(15) =< E
it(161) =< aux(15)

  with precondition: [A=0,O1=3,P1=0,Q1=0,R1+1=0,U1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=B2+1,0>=G2+1,E>=2,K>=1,S1>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],296]: 73*it(161)+0
  Such that:aux(16) =< E
it(161) =< aux(16)

  with precondition: [A=0,O1=3,P1=0,Q1=0,R1+1=0,U1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=B2+1,E>=2,K>=1,S1>=1,G2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],295]: 73*it(161)+0
  Such that:aux(17) =< E
it(161) =< aux(17)

  with precondition: [A=0,O1=3,P1=0,Q1=0,R1+1=0,U1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=G2+1,E>=2,K>=1,S1>=1,B2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],294]: 73*it(161)+0
  Such that:aux(18) =< E
it(161) =< aux(18)

  with precondition: [A=0,O1=3,P1=0,Q1=0,R1+1=0,U1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,E>=2,K>=1,S1>=1,B2>=1,G2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],293]: 73*it(161)+0
  Such that:aux(19) =< E
it(161) =< aux(19)

  with precondition: [K=0,O1=3,Q1=0,R1+1=0,U1=0,W1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,V1=Y1,B2=C2,G2=H2,0>=S1+1,0>=B2+1,0>=G2+1,E>=2] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],292]: 73*it(161)+0
  Such that:aux(20) =< E
it(161) =< aux(20)

  with precondition: [K=0,O1=3,Q1=0,R1+1=0,U1=0,W1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,V1=Y1,B2=C2,G2=H2,0>=S1+1,0>=B2+1,E>=2,G2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],291]: 73*it(161)+0
  Such that:aux(21) =< E
it(161) =< aux(21)

  with precondition: [K=0,O1=3,Q1=0,R1+1=0,U1=0,W1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,V1=Y1,B2=C2,G2=H2,0>=S1+1,0>=G2+1,E>=2,B2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],290]: 73*it(161)+0
  Such that:aux(22) =< E
it(161) =< aux(22)

  with precondition: [K=0,O1=3,Q1=0,R1+1=0,U1=0,W1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,V1=Y1,B2=C2,G2=H2,0>=S1+1,E>=2,B2>=1,G2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],289]: 73*it(161)+0
  Such that:aux(23) =< E
it(161) =< aux(23)

  with precondition: [K=0,O1=3,Q1=0,R1+1=0,U1=0,W1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,V1=Y1,B2=C2,G2=H2,0>=B2+1,0>=G2+1,E>=2,S1>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],288]: 73*it(161)+0
  Such that:aux(24) =< E
it(161) =< aux(24)

  with precondition: [K=0,O1=3,Q1=0,R1+1=0,U1=0,W1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,V1=Y1,B2=C2,G2=H2,0>=B2+1,E>=2,S1>=1,G2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],287]: 73*it(161)+0
  Such that:aux(25) =< E
it(161) =< aux(25)

  with precondition: [K=0,O1=3,Q1=0,R1+1=0,U1=0,W1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,V1=Y1,B2=C2,G2=H2,0>=G2+1,E>=2,S1>=1,B2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],286]: 73*it(161)+0
  Such that:aux(26) =< E
it(161) =< aux(26)

  with precondition: [K=0,O1=3,Q1=0,R1+1=0,U1=0,W1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,V1=Y1,B2=C2,G2=H2,E>=2,S1>=1,B2>=1,G2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],285]: 73*it(161)+0
  Such that:aux(27) =< E
it(161) =< aux(27)

  with precondition: [O1=3,Q1=0,R1+1=0,S1=0,T1=0,X1=1,D2+1=0,E2=0,F2=0,A=P1,K=W1,G2=H2,0>=G2+1,E>=2] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],284]: 73*it(161)+0
  Such that:aux(28) =< E
it(161) =< aux(28)

  with precondition: [O1=3,Q1=0,R1+1=0,S1=0,T1=0,X1=1,D2+1=0,E2=0,F2=0,A=P1,K=W1,G2=H2,E>=2,G2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],283]: 73*it(161)+0
  Such that:aux(29) =< E
it(161) =< aux(29)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=0,X1=1,Z1=0,A2=0,B2=0,C2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,G2=H2,0>=S1+1,0>=G2+1,E>=2] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],282]: 73*it(161)+0
  Such that:aux(30) =< E
it(161) =< aux(30)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=0,X1=1,Z1=0,A2=0,B2=0,C2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,G2=H2,0>=S1+1,E>=2,G2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],281]: 73*it(161)+0
  Such that:aux(31) =< E
it(161) =< aux(31)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=0,X1=1,Z1=0,A2=0,B2=0,C2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,G2=H2,0>=G2+1,E>=2,S1>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],280]: 73*it(161)+0
  Such that:aux(32) =< E
it(161) =< aux(32)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=0,X1=1,Z1=0,A2=0,B2=0,C2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,G2=H2,E>=2,S1>=1,G2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],279]: 73*it(161)+0
  Such that:aux(33) =< E
it(161) =< aux(33)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=0,X1=1,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,Z1=A2,G2=H2,0>=S1+1,0>=Z1+1,0>=G2+1,E>=2] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],278]: 73*it(161)+0
  Such that:aux(34) =< E
it(161) =< aux(34)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=0,X1=1,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,Z1=A2,G2=H2,0>=S1+1,0>=Z1+1,E>=2,G2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],277]: 73*it(161)+0
  Such that:aux(35) =< E
it(161) =< aux(35)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=0,X1=1,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,Z1=A2,G2=H2,0>=S1+1,0>=G2+1,E>=2,Z1>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],276]: 73*it(161)+0
  Such that:aux(36) =< E
it(161) =< aux(36)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=0,X1=1,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,Z1=A2,G2=H2,0>=S1+1,E>=2,Z1>=1,G2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],275]: 73*it(161)+0
  Such that:aux(37) =< E
it(161) =< aux(37)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=0,X1=1,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,Z1=A2,G2=H2,0>=Z1+1,0>=G2+1,E>=2,S1>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],274]: 73*it(161)+0
  Such that:aux(38) =< E
it(161) =< aux(38)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=0,X1=1,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,Z1=A2,G2=H2,0>=Z1+1,E>=2,S1>=1,G2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],273]: 73*it(161)+0
  Such that:aux(39) =< E
it(161) =< aux(39)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=0,X1=1,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,Z1=A2,G2=H2,0>=G2+1,E>=2,S1>=1,Z1>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],272]: 73*it(161)+0
  Such that:aux(40) =< E
it(161) =< aux(40)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=0,X1=1,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,Z1=A2,G2=H2,E>=2,S1>=1,Z1>=1,G2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],271]: 73*it(161)+0
  Such that:aux(41) =< E
it(161) =< aux(41)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=A+1,0>=K+1,0>=S1+1,0>=B2+1,0>=G2+1,E>=2] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],270]: 73*it(161)+0
  Such that:aux(42) =< E
it(161) =< aux(42)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=A+1,0>=K+1,0>=S1+1,0>=B2+1,E>=2,G2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],269]: 73*it(161)+0
  Such that:aux(43) =< E
it(161) =< aux(43)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=A+1,0>=K+1,0>=S1+1,0>=G2+1,E>=2,B2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],268]: 73*it(161)+0
  Such that:aux(44) =< E
it(161) =< aux(44)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=A+1,0>=K+1,0>=S1+1,E>=2,B2>=1,G2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],267]: 73*it(161)+0
  Such that:aux(45) =< E
it(161) =< aux(45)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=A+1,0>=K+1,0>=B2+1,0>=G2+1,E>=2,S1>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],266]: 73*it(161)+0
  Such that:aux(46) =< E
it(161) =< aux(46)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=A+1,0>=K+1,0>=B2+1,E>=2,S1>=1,G2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],265]: 73*it(161)+0
  Such that:aux(47) =< E
it(161) =< aux(47)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=A+1,0>=K+1,0>=G2+1,E>=2,S1>=1,B2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],264]: 73*it(161)+0
  Such that:aux(48) =< E
it(161) =< aux(48)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=A+1,0>=K+1,E>=2,S1>=1,B2>=1,G2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],263]: 73*it(161)+0
  Such that:aux(49) =< E
it(161) =< aux(49)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=A+1,0>=S1+1,0>=B2+1,0>=G2+1,E>=2,K>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],262]: 73*it(161)+0
  Such that:aux(50) =< E
it(161) =< aux(50)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=A+1,0>=S1+1,0>=B2+1,E>=2,K>=1,G2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],261]: 73*it(161)+0
  Such that:aux(51) =< E
it(161) =< aux(51)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=A+1,0>=S1+1,0>=G2+1,E>=2,K>=1,B2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],260]: 73*it(161)+0
  Such that:aux(52) =< E
it(161) =< aux(52)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=A+1,0>=S1+1,E>=2,K>=1,B2>=1,G2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],259]: 73*it(161)+0
  Such that:aux(53) =< E
it(161) =< aux(53)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=A+1,0>=B2+1,0>=G2+1,E>=2,K>=1,S1>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],258]: 73*it(161)+0
  Such that:aux(54) =< E
it(161) =< aux(54)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=A+1,0>=B2+1,E>=2,K>=1,S1>=1,G2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],257]: 73*it(161)+0
  Such that:aux(55) =< E
it(161) =< aux(55)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=A+1,0>=G2+1,E>=2,K>=1,S1>=1,B2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],256]: 73*it(161)+0
  Such that:aux(56) =< E
it(161) =< aux(56)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=A+1,E>=2,K>=1,S1>=1,B2>=1,G2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],255]: 73*it(161)+0
  Such that:aux(57) =< E
it(161) =< aux(57)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=K+1,0>=S1+1,0>=B2+1,0>=G2+1,A>=1,E>=2] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],254]: 73*it(161)+0
  Such that:aux(58) =< E
it(161) =< aux(58)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=K+1,0>=S1+1,0>=B2+1,A>=1,E>=2,G2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],253]: 73*it(161)+0
  Such that:aux(59) =< E
it(161) =< aux(59)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=K+1,0>=S1+1,0>=G2+1,A>=1,E>=2,B2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],252]: 73*it(161)+0
  Such that:aux(60) =< E
it(161) =< aux(60)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=K+1,0>=S1+1,A>=1,E>=2,B2>=1,G2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],251]: 73*it(161)+0
  Such that:aux(61) =< E
it(161) =< aux(61)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=K+1,0>=B2+1,0>=G2+1,A>=1,E>=2,S1>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],250]: 73*it(161)+0
  Such that:aux(62) =< E
it(161) =< aux(62)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=K+1,0>=B2+1,A>=1,E>=2,S1>=1,G2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],249]: 73*it(161)+0
  Such that:aux(63) =< E
it(161) =< aux(63)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=K+1,0>=G2+1,A>=1,E>=2,S1>=1,B2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],248]: 73*it(161)+0
  Such that:aux(64) =< E
it(161) =< aux(64)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=K+1,A>=1,E>=2,S1>=1,B2>=1,G2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],247]: 73*it(161)+0
  Such that:aux(65) =< E
it(161) =< aux(65)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=S1+1,0>=B2+1,0>=G2+1,A>=1,E>=2,K>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],246]: 73*it(161)+0
  Such that:aux(66) =< E
it(161) =< aux(66)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=S1+1,0>=B2+1,A>=1,E>=2,K>=1,G2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],245]: 73*it(161)+0
  Such that:aux(67) =< E
it(161) =< aux(67)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=S1+1,0>=G2+1,A>=1,E>=2,K>=1,B2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],244]: 73*it(161)+0
  Such that:aux(68) =< E
it(161) =< aux(68)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=S1+1,A>=1,E>=2,K>=1,B2>=1,G2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],243]: 73*it(161)+0
  Such that:aux(69) =< E
it(161) =< aux(69)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=B2+1,0>=G2+1,A>=1,E>=2,K>=1,S1>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],242]: 73*it(161)+0
  Such that:aux(70) =< E
it(161) =< aux(70)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=B2+1,A>=1,E>=2,K>=1,S1>=1,G2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],241]: 73*it(161)+0
  Such that:aux(71) =< E
it(161) =< aux(71)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,0>=G2+1,A>=1,E>=2,K>=1,S1>=1,B2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],240]: 73*it(161)+0
  Such that:aux(72) =< E
it(161) =< aux(72)

  with precondition: [O1=3,Q1=0,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,A=P1,S1=T1,K=W1,V1=Y1,B2=C2,G2=H2,A>=1,E>=2,K>=1,S1>=1,B2>=1,G2>=1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],239]: 73*it(161)+0
  Such that:aux(73) =< E
it(161) =< aux(73)

  with precondition: [O1=3,Q1=0,R1+1=0,X1=1,D2+1=0,E2=0,F2=0,G2=0,H2=0,A=P1,K=W1,E>=2] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],238]: 73*it(161)+0
  Such that:aux(74) =< E
it(161) =< aux(74)

  with precondition: [O1=2,E>=2] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],237]: 73*it(161)+0
  Such that:aux(75) =< E
it(161) =< aux(75)

  with precondition: [O1=3,Q1=0,X1=1,E2=0,F2=0,A=P1,K=W1,R1=D2,0>=R1+2,E>=2] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],236]: 73*it(161)+0
  Such that:aux(76) =< E
it(161) =< aux(76)

  with precondition: [O1=3,Q1=0,X1=1,E2=0,F2=0,A=P1,K=W1,R1=D2,E>=2,R1>=0] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],235]: 73*it(161)+0
  Such that:aux(1) =< E
aux(2) =< E-Q1
it(161) =< aux(1)
it(161) =< aux(2)

  with precondition: [O1=3,X1=1,A=P1,K=W1,R1=D2,E2=F2,0>=E2+1,Q1>=1,E>=Q1+1] 

* Chain [[161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233],234]: 73*it(161)+0
  Such that:aux(1) =< E
aux(2) =< E-Q1
it(161) =< aux(1)
it(161) =< aux(2)

  with precondition: [O1=3,X1=1,A=P1,K=W1,R1=D2,E2=F2,Q1>=1,E2>=1,E>=Q1+1] 

* Chain [309]: 0
  with precondition: [A=0,F+1=0,O1=3,P1=0,R1+1=0,U1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=K+1,0>=Q1,0>=S1+1,0>=B2+1,0>=G2+1] 

* Chain [308]: 0
  with precondition: [A=0,F+1=0,O1=3,P1=0,R1+1=0,U1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=K+1,0>=Q1,0>=S1+1,0>=B2+1,G2>=1] 

* Chain [307]: 0
  with precondition: [A=0,F+1=0,O1=3,P1=0,R1+1=0,U1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=K+1,0>=Q1,0>=S1+1,0>=G2+1,B2>=1] 

* Chain [306]: 0
  with precondition: [A=0,F+1=0,O1=3,P1=0,R1+1=0,U1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=K+1,0>=Q1,0>=S1+1,B2>=1,G2>=1] 

* Chain [305]: 0
  with precondition: [A=0,F+1=0,O1=3,P1=0,R1+1=0,U1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=K+1,0>=Q1,0>=B2+1,0>=G2+1,S1>=1] 

* Chain [304]: 0
  with precondition: [A=0,F+1=0,O1=3,P1=0,R1+1=0,U1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=K+1,0>=Q1,0>=B2+1,S1>=1,G2>=1] 

* Chain [303]: 0
  with precondition: [A=0,F+1=0,O1=3,P1=0,R1+1=0,U1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=K+1,0>=Q1,0>=G2+1,S1>=1,B2>=1] 

* Chain [302]: 0
  with precondition: [A=0,F+1=0,O1=3,P1=0,R1+1=0,U1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=K+1,0>=Q1,S1>=1,B2>=1,G2>=1] 

* Chain [301]: 0
  with precondition: [A=0,F+1=0,O1=3,P1=0,R1+1=0,U1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=Q1,0>=S1+1,0>=B2+1,0>=G2+1,K>=1] 

* Chain [300]: 0
  with precondition: [A=0,F+1=0,O1=3,P1=0,R1+1=0,U1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=Q1,0>=S1+1,0>=B2+1,K>=1,G2>=1] 

* Chain [299]: 0
  with precondition: [A=0,F+1=0,O1=3,P1=0,R1+1=0,U1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=Q1,0>=S1+1,0>=G2+1,K>=1,B2>=1] 

* Chain [298]: 0
  with precondition: [A=0,F+1=0,O1=3,P1=0,R1+1=0,U1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=Q1,0>=S1+1,K>=1,B2>=1,G2>=1] 

* Chain [297]: 0
  with precondition: [A=0,F+1=0,O1=3,P1=0,R1+1=0,U1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=Q1,0>=B2+1,0>=G2+1,K>=1,S1>=1] 

* Chain [296]: 0
  with precondition: [A=0,F+1=0,O1=3,P1=0,R1+1=0,U1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=Q1,0>=B2+1,K>=1,S1>=1,G2>=1] 

* Chain [295]: 0
  with precondition: [A=0,F+1=0,O1=3,P1=0,R1+1=0,U1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=Q1,0>=G2+1,K>=1,S1>=1,B2>=1] 

* Chain [294]: 0
  with precondition: [A=0,F+1=0,O1=3,P1=0,R1+1=0,U1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=Q1,K>=1,S1>=1,B2>=1,G2>=1] 

* Chain [293]: 0
  with precondition: [F+1=0,K=0,O1=3,R1+1=0,U1=0,W1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,P1=A,Q1+1=E,S1=T1,Y1=V1,B2=C2,G2=H2,0>=Q1,0>=S1+1,0>=B2+1,0>=G2+1] 

* Chain [292]: 0
  with precondition: [F+1=0,K=0,O1=3,R1+1=0,U1=0,W1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,P1=A,Q1+1=E,S1=T1,Y1=V1,B2=C2,G2=H2,0>=Q1,0>=S1+1,0>=B2+1,G2>=1] 

* Chain [291]: 0
  with precondition: [F+1=0,K=0,O1=3,R1+1=0,U1=0,W1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,P1=A,Q1+1=E,S1=T1,Y1=V1,B2=C2,G2=H2,0>=Q1,0>=S1+1,0>=G2+1,B2>=1] 

* Chain [290]: 0
  with precondition: [F+1=0,K=0,O1=3,R1+1=0,U1=0,W1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,P1=A,Q1+1=E,S1=T1,Y1=V1,B2=C2,G2=H2,0>=Q1,0>=S1+1,B2>=1,G2>=1] 

* Chain [289]: 0
  with precondition: [F+1=0,K=0,O1=3,R1+1=0,U1=0,W1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,P1=A,Q1+1=E,S1=T1,Y1=V1,B2=C2,G2=H2,0>=Q1,0>=B2+1,0>=G2+1,S1>=1] 

* Chain [288]: 0
  with precondition: [F+1=0,K=0,O1=3,R1+1=0,U1=0,W1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,P1=A,Q1+1=E,S1=T1,Y1=V1,B2=C2,G2=H2,0>=Q1,0>=B2+1,S1>=1,G2>=1] 

* Chain [287]: 0
  with precondition: [F+1=0,K=0,O1=3,R1+1=0,U1=0,W1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,P1=A,Q1+1=E,S1=T1,Y1=V1,B2=C2,G2=H2,0>=Q1,0>=G2+1,S1>=1,B2>=1] 

* Chain [286]: 0
  with precondition: [F+1=0,K=0,O1=3,R1+1=0,U1=0,W1=0,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,P1=A,Q1+1=E,S1=T1,Y1=V1,B2=C2,G2=H2,0>=Q1,S1>=1,B2>=1,G2>=1] 

* Chain [285]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,S1=0,T1=0,X1=1,D2+1=0,E2=0,F2=0,P1=A,Q1+1=E,U1=I,V1=J,W1=K,Y1=N,Z1=O,A2=P,B2=Q,C2=R,G2=H2,0>=Q1,0>=G2+1] 

* Chain [284]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,S1=0,T1=0,X1=1,D2+1=0,E2=0,F2=0,P1=A,Q1+1=E,U1=I,V1=J,W1=K,Y1=N,Z1=O,A2=P,B2=Q,C2=R,G2=H2,0>=Q1,G2>=1] 

* Chain [283]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=0,X1=1,Z1=0,A2=0,B2=0,C2=0,D2+1=0,E2=0,F2=0,P1=A,Q1+1=E,W1=K,S1=T1,Y1=V1,G2=H2,0>=Q1,0>=S1+1,0>=G2+1] 

* Chain [282]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=0,X1=1,Z1=0,A2=0,B2=0,C2=0,D2+1=0,E2=0,F2=0,P1=A,Q1+1=E,W1=K,S1=T1,Y1=V1,G2=H2,0>=Q1,0>=S1+1,G2>=1] 

* Chain [281]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=0,X1=1,Z1=0,A2=0,B2=0,C2=0,D2+1=0,E2=0,F2=0,P1=A,Q1+1=E,W1=K,S1=T1,Y1=V1,G2=H2,0>=Q1,0>=G2+1,S1>=1] 

* Chain [280]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=0,X1=1,Z1=0,A2=0,B2=0,C2=0,D2+1=0,E2=0,F2=0,P1=A,Q1+1=E,W1=K,S1=T1,Y1=V1,G2=H2,0>=Q1,S1>=1,G2>=1] 

* Chain [279]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=0,X1=1,D2+1=0,E2=0,F2=0,P1=A,Q1+1=E,W1=K,B2=Q,C2=R,S1=T1,Y1=V1,Z1=A2,G2=H2,0>=Q1,0>=S1+1,0>=Z1+1,0>=G2+1] 

* Chain [278]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=0,X1=1,D2+1=0,E2=0,F2=0,P1=A,Q1+1=E,W1=K,B2=Q,C2=R,S1=T1,Y1=V1,Z1=A2,G2=H2,0>=Q1,0>=S1+1,0>=Z1+1,G2>=1] 

* Chain [277]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=0,X1=1,D2+1=0,E2=0,F2=0,P1=A,Q1+1=E,W1=K,B2=Q,C2=R,S1=T1,Y1=V1,Z1=A2,G2=H2,0>=Q1,0>=S1+1,0>=G2+1,Z1>=1] 

* Chain [276]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=0,X1=1,D2+1=0,E2=0,F2=0,P1=A,Q1+1=E,W1=K,B2=Q,C2=R,S1=T1,Y1=V1,Z1=A2,G2=H2,0>=Q1,0>=S1+1,Z1>=1,G2>=1] 

* Chain [275]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=0,X1=1,D2+1=0,E2=0,F2=0,P1=A,Q1+1=E,W1=K,B2=Q,C2=R,S1=T1,Y1=V1,Z1=A2,G2=H2,0>=Q1,0>=Z1+1,0>=G2+1,S1>=1] 

* Chain [274]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=0,X1=1,D2+1=0,E2=0,F2=0,P1=A,Q1+1=E,W1=K,B2=Q,C2=R,S1=T1,Y1=V1,Z1=A2,G2=H2,0>=Q1,0>=Z1+1,S1>=1,G2>=1] 

* Chain [273]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=0,X1=1,D2+1=0,E2=0,F2=0,P1=A,Q1+1=E,W1=K,B2=Q,C2=R,S1=T1,Y1=V1,Z1=A2,G2=H2,0>=Q1,0>=G2+1,S1>=1,Z1>=1] 

* Chain [272]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=0,X1=1,D2+1=0,E2=0,F2=0,P1=A,Q1+1=E,W1=K,B2=Q,C2=R,S1=T1,Y1=V1,Z1=A2,G2=H2,0>=Q1,S1>=1,Z1>=1,G2>=1] 

* Chain [271]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,A=P1,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=A+1,0>=K+1,0>=Q1,0>=S1+1,0>=B2+1,0>=G2+1] 

* Chain [270]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,A=P1,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=A+1,0>=K+1,0>=Q1,0>=S1+1,0>=B2+1,G2>=1] 

* Chain [269]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,A=P1,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=A+1,0>=K+1,0>=Q1,0>=S1+1,0>=G2+1,B2>=1] 

* Chain [268]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,A=P1,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=A+1,0>=K+1,0>=Q1,0>=S1+1,B2>=1,G2>=1] 

* Chain [267]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,A=P1,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=A+1,0>=K+1,0>=Q1,0>=B2+1,0>=G2+1,S1>=1] 

* Chain [266]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,A=P1,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=A+1,0>=K+1,0>=Q1,0>=B2+1,S1>=1,G2>=1] 

* Chain [265]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,A=P1,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=A+1,0>=K+1,0>=Q1,0>=G2+1,S1>=1,B2>=1] 

* Chain [264]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,A=P1,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=A+1,0>=K+1,0>=Q1,S1>=1,B2>=1,G2>=1] 

* Chain [263]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,A=P1,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=A+1,0>=Q1,0>=S1+1,0>=B2+1,0>=G2+1,K>=1] 

* Chain [262]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,A=P1,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=A+1,0>=Q1,0>=S1+1,0>=B2+1,K>=1,G2>=1] 

* Chain [261]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,A=P1,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=A+1,0>=Q1,0>=S1+1,0>=G2+1,K>=1,B2>=1] 

* Chain [260]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,A=P1,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=A+1,0>=Q1,0>=S1+1,K>=1,B2>=1,G2>=1] 

* Chain [259]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,A=P1,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=A+1,0>=Q1,0>=B2+1,0>=G2+1,K>=1,S1>=1] 

* Chain [258]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,A=P1,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=A+1,0>=Q1,0>=B2+1,K>=1,S1>=1,G2>=1] 

* Chain [257]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,A=P1,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=A+1,0>=Q1,0>=G2+1,K>=1,S1>=1,B2>=1] 

* Chain [256]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,A=P1,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=A+1,0>=Q1,K>=1,S1>=1,B2>=1,G2>=1] 

* Chain [255]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,A=P1,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=K+1,0>=Q1,0>=S1+1,0>=B2+1,0>=G2+1,A>=1] 

* Chain [254]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,A=P1,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=K+1,0>=Q1,0>=S1+1,0>=B2+1,A>=1,G2>=1] 

* Chain [253]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,A=P1,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=K+1,0>=Q1,0>=S1+1,0>=G2+1,A>=1,B2>=1] 

* Chain [252]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,A=P1,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=K+1,0>=Q1,0>=S1+1,A>=1,B2>=1,G2>=1] 

* Chain [251]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,A=P1,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=K+1,0>=Q1,0>=B2+1,0>=G2+1,A>=1,S1>=1] 

* Chain [250]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,A=P1,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=K+1,0>=Q1,0>=B2+1,A>=1,S1>=1,G2>=1] 

* Chain [249]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,A=P1,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=K+1,0>=Q1,0>=G2+1,A>=1,S1>=1,B2>=1] 

* Chain [248]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,A=P1,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=K+1,0>=Q1,A>=1,S1>=1,B2>=1,G2>=1] 

* Chain [247]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,A=P1,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=Q1,0>=S1+1,0>=B2+1,0>=G2+1,A>=1,K>=1] 

* Chain [246]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,A=P1,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=Q1,0>=S1+1,0>=B2+1,A>=1,K>=1,G2>=1] 

* Chain [245]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,A=P1,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=Q1,0>=S1+1,0>=G2+1,A>=1,K>=1,B2>=1] 

* Chain [244]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,A=P1,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=Q1,0>=S1+1,A>=1,K>=1,B2>=1,G2>=1] 

* Chain [243]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,A=P1,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=Q1,0>=B2+1,0>=G2+1,A>=1,K>=1,S1>=1] 

* Chain [242]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,A=P1,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=Q1,0>=B2+1,A>=1,K>=1,S1>=1,G2>=1] 

* Chain [241]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,A=P1,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=Q1,0>=G2+1,A>=1,K>=1,S1>=1,B2>=1] 

* Chain [240]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,U1=1,X1=1,Z1=0,A2=0,D2+1=0,E2=0,F2=0,Q1+1=E,A=P1,S1=T1,Y1=V1,K=W1,B2=C2,G2=H2,0>=Q1,A>=1,K>=1,S1>=1,B2>=1,G2>=1] 

* Chain [239]: 0
  with precondition: [F+1=0,O1=3,R1+1=0,X1=1,D2+1=0,E2=0,F2=0,G2=0,H2=0,P1=A,Q1+1=E,S1=G,T1=H,U1=I,V1=J,W1=K,Y1=N,Z1=O,A2=P,B2=Q,C2=R,0>=Q1] 

* Chain [238]: 0
  with precondition: [O1=2] 

* Chain [237]: 0
  with precondition: [O1=3,X1=1,E2=0,F2=0,P1=A,Q1+1=E,S1=G,T1=H,U1=I,V1=J,W1=K,Y1=N,Z1=O,A2=P,B2=Q,C2=R,G2=V,H2=W,F=R1,F=D2,0>=F+2,0>=Q1] 

* Chain [236]: 0
  with precondition: [O1=3,X1=1,E2=0,F2=0,P1=A,Q1+1=E,S1=G,T1=H,U1=I,V1=J,W1=K,Y1=N,Z1=O,A2=P,B2=Q,C2=R,G2=V,H2=W,F=R1,F=D2,0>=Q1,F>=0] 

* Chain [235]: 0
  with precondition: [O1=3,X1=1,P1=A,Q1=E,S1=G,T1=H,U1=I,V1=J,W1=K,Y1=N,Z1=O,A2=P,B2=Q,C2=R,G2=V,H2=W,F=R1,F=D2,E2=F2,0>=E2+1] 

* Chain [234]: 0
  with precondition: [O1=3,X1=1,P1=A,Q1=E,S1=G,T1=H,U1=I,V1=J,W1=K,Y1=N,Z1=O,A2=P,B2=Q,C2=R,G2=V,H2=W,F=R1,F=D2,E2=F2,E2>=1] 


#### Cost of chains of f94(O1):
* Chain [[310]]...: 1*it(310)+0
  with precondition: [O1=2] 

* Chain [[310],311]: 1*it(310)+0
  with precondition: [O1=2] 

* Chain [311]: 0
  with precondition: [O1=2] 


#### Cost of chains of f48_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,B1,C1,D1,E1,F1,G1,H1,I1):
* Chain [314]...: 1*s(2)+0
  with precondition: [A=3,D=C,N=E,C1=B1,F1=E1,20>=A1,A1>=5,C1>=1] 

* Chain [313]: 0
  with precondition: [A=2,D=C,N=E,C1=B1,F1=E1,20>=A1,A1>=5,C1>=1] 

* Chain [312]: 1*s(3)+0
  with precondition: [A=3,D=C,N=E,C1=B1,F1=E1,20>=A1,A1>=5,C1>=1] 


#### Cost of chains of f41(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,B1,C1,D1,E1,F1,G1,O1):
* Chain [348]: 1*aux(78)+0
  with precondition: [A=0,C=B,F1=E,C1=L,B1=A1,E1=D1,0>=D+1,0>=K+1,20>=Z,Z>=5,B1>=1] 

* Chain [347]: 1*aux(79)+0
  with precondition: [A=0,C=B,F1=E,C1=L,B1=A1,E1=D1,0>=D+1,20>=Z,K>=1,Z>=5,B1>=1] 

* Chain [346]: 1*aux(80)+0
  with precondition: [A=0,C=B,F1=E,C1=L,B1=A1,E1=D1,0>=K+1,20>=Z,D>=1,Z>=5,B1>=1] 

* Chain [345]: 1*aux(81)+0
  with precondition: [A=0,C=B,F1=E,C1=L,B1=A1,E1=D1,20>=Z,D>=1,K>=1,Z>=5,B1>=1] 

* Chain [344]: 1*s(132)+0
  with precondition: [D=0,C=B,F1=E,C1=L,B1=A1,E1=D1,20>=Z,Z>=5,B1>=1] 

* Chain [343]: 1*aux(82)+0
  with precondition: [K=0,C=B,F1=E,C1=L,B1=A1,E1=D1,0>=D+1,20>=Z,Z>=5,B1>=1] 

* Chain [342]: 1*aux(83)+0
  with precondition: [K=0,C=B,F1=E,C1=L,B1=A1,E1=D1,20>=Z,D>=1,Z>=5,B1>=1] 

* Chain [341]: 1*aux(84)+0
  with precondition: [C=B,F1=E,C1=L,B1=A1,E1=D1,0>=A+1,0>=D+1,0>=K+1,20>=Z,Z>=5,B1>=1] 

* Chain [340]: 1*aux(85)+0
  with precondition: [C=B,F1=E,C1=L,B1=A1,E1=D1,0>=A+1,0>=D+1,20>=Z,K>=1,Z>=5,B1>=1] 

* Chain [339]: 1*aux(86)+0
  with precondition: [C=B,F1=E,C1=L,B1=A1,E1=D1,0>=A+1,0>=K+1,20>=Z,D>=1,Z>=5,B1>=1] 

* Chain [338]: 1*aux(87)+0
  with precondition: [C=B,F1=E,C1=L,B1=A1,E1=D1,0>=A+1,20>=Z,D>=1,K>=1,Z>=5,B1>=1] 

* Chain [337]: 1*aux(88)+0
  with precondition: [C=B,F1=E,C1=L,B1=A1,E1=D1,0>=D+1,0>=K+1,20>=Z,A>=1,Z>=5,B1>=1] 

* Chain [336]: 1*aux(89)+0
  with precondition: [C=B,F1=E,C1=L,B1=A1,E1=D1,0>=D+1,20>=Z,A>=1,K>=1,Z>=5,B1>=1] 

* Chain [335]: 1*aux(90)+0
  with precondition: [C=B,F1=E,C1=L,B1=A1,E1=D1,0>=D+1,20>=Z,Z>=5,B1>=1] 

* Chain [334]: 1*aux(91)+0
  with precondition: [C=B,F1=E,C1=L,B1=A1,E1=D1,0>=K+1,20>=Z,A>=1,D>=1,Z>=5,B1>=1] 

* Chain [333]: 1*aux(92)+0
  with precondition: [C=B,F1=E,C1=L,B1=A1,E1=D1,20>=Z,A>=1,D>=1,K>=1,Z>=5,B1>=1] 

* Chain [332]: 1*aux(93)+0
  with precondition: [C=B,F1=E,C1=L,B1=A1,E1=D1,20>=Z,D>=1,Z>=5,B1>=1] 

* Chain [331]...: 1*aux(94)+0
  with precondition: [A=0,C=B,F1=E,C1=L,B1=A1,E1=D1,0>=D+1,0>=K+1,20>=Z,Z>=5,B1>=1] 

* Chain [330]...: 1*aux(95)+0
  with precondition: [A=0,C=B,F1=E,C1=L,B1=A1,E1=D1,0>=D+1,20>=Z,K>=1,Z>=5,B1>=1] 

* Chain [329]...: 1*aux(96)+0
  with precondition: [A=0,C=B,F1=E,C1=L,B1=A1,E1=D1,0>=K+1,20>=Z,D>=1,Z>=5,B1>=1] 

* Chain [328]...: 1*aux(97)+0
  with precondition: [A=0,C=B,F1=E,C1=L,B1=A1,E1=D1,20>=Z,D>=1,K>=1,Z>=5,B1>=1] 

* Chain [327]...: 1*s(741)+0
  with precondition: [D=0,C=B,F1=E,C1=L,B1=A1,E1=D1,20>=Z,Z>=5,B1>=1] 

* Chain [326]...: 1*aux(98)+0
  with precondition: [K=0,C=B,F1=E,C1=L,B1=A1,E1=D1,0>=D+1,20>=Z,Z>=5,B1>=1] 

* Chain [325]...: 1*aux(99)+0
  with precondition: [K=0,C=B,F1=E,C1=L,B1=A1,E1=D1,20>=Z,D>=1,Z>=5,B1>=1] 

* Chain [324]...: 1*aux(100)+0
  with precondition: [C=B,F1=E,C1=L,B1=A1,E1=D1,0>=A+1,0>=D+1,0>=K+1,20>=Z,Z>=5,B1>=1] 

* Chain [323]...: 1*aux(101)+0
  with precondition: [C=B,F1=E,C1=L,B1=A1,E1=D1,0>=A+1,0>=D+1,20>=Z,K>=1,Z>=5,B1>=1] 

* Chain [322]...: 1*aux(102)+0
  with precondition: [C=B,F1=E,C1=L,B1=A1,E1=D1,0>=A+1,0>=K+1,20>=Z,D>=1,Z>=5,B1>=1] 

* Chain [321]...: 1*aux(103)+0
  with precondition: [C=B,F1=E,C1=L,B1=A1,E1=D1,0>=A+1,20>=Z,D>=1,K>=1,Z>=5,B1>=1] 

* Chain [320]...: 1*aux(104)+0
  with precondition: [C=B,F1=E,C1=L,B1=A1,E1=D1,0>=D+1,0>=K+1,20>=Z,A>=1,Z>=5,B1>=1] 

* Chain [319]...: 1*aux(105)+0
  with precondition: [C=B,F1=E,C1=L,B1=A1,E1=D1,0>=D+1,20>=Z,A>=1,K>=1,Z>=5,B1>=1] 

* Chain [318]...: 1*aux(106)+0
  with precondition: [C=B,F1=E,C1=L,B1=A1,E1=D1,0>=D+1,20>=Z,Z>=5,B1>=1] 

* Chain [317]...: 1*aux(107)+0
  with precondition: [C=B,F1=E,C1=L,B1=A1,E1=D1,0>=K+1,20>=Z,A>=1,D>=1,Z>=5,B1>=1] 

* Chain [316]...: 1*aux(108)+0
  with precondition: [C=B,F1=E,C1=L,B1=A1,E1=D1,20>=Z,A>=1,D>=1,K>=1,Z>=5,B1>=1] 

* Chain [315]...: 1*aux(109)+0
  with precondition: [C=B,F1=E,C1=L,B1=A1,E1=D1,20>=Z,D>=1,Z>=5,B1>=1] 


#### Cost of chains of f37(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,B1,C1,D1,E1,F1,G1,O1):
* Chain [382]: 1*aux(110)+0
  with precondition: [A=0,F1=E,C1=L,B1=A1,E1=D1,0>=B+1,0>=K+1,20>=Z,Z>=5,B1>=1] 

* Chain [381]: 1*aux(111)+0
  with precondition: [A=0,F1=E,C1=L,B1=A1,E1=D1,0>=B+1,20>=Z,K>=1,Z>=5,B1>=1] 

* Chain [380]: 1*aux(112)+0
  with precondition: [A=0,F1=E,C1=L,B1=A1,E1=D1,0>=K+1,20>=Z,B>=1,Z>=5,B1>=1] 

* Chain [379]: 1*aux(113)+0
  with precondition: [A=0,F1=E,C1=L,B1=A1,E1=D1,20>=Z,B>=1,K>=1,Z>=5,B1>=1] 

* Chain [378]: 1*s(1226)+0
  with precondition: [B=0,F1=E,C1=L,B1=A1,E1=D1,20>=Z,Z>=5,B1>=1] 

* Chain [377]: 1*aux(114)+0
  with precondition: [K=0,F1=E,C1=L,B1=A1,E1=D1,0>=B+1,20>=Z,Z>=5,B1>=1] 

* Chain [376]: 1*aux(115)+0
  with precondition: [K=0,F1=E,C1=L,B1=A1,E1=D1,20>=Z,B>=1,Z>=5,B1>=1] 

* Chain [375]: 1*aux(116)+0
  with precondition: [F1=E,C1=L,B1=A1,E1=D1,0>=A+1,0>=B+1,0>=K+1,20>=Z,Z>=5,B1>=1] 

* Chain [374]: 1*aux(117)+0
  with precondition: [F1=E,C1=L,B1=A1,E1=D1,0>=A+1,0>=B+1,20>=Z,K>=1,Z>=5,B1>=1] 

* Chain [373]: 1*aux(118)+0
  with precondition: [F1=E,C1=L,B1=A1,E1=D1,0>=A+1,0>=K+1,20>=Z,B>=1,Z>=5,B1>=1] 

* Chain [372]: 1*aux(119)+0
  with precondition: [F1=E,C1=L,B1=A1,E1=D1,0>=A+1,20>=Z,B>=1,K>=1,Z>=5,B1>=1] 

* Chain [371]: 1*aux(120)+0
  with precondition: [F1=E,C1=L,B1=A1,E1=D1,0>=B+1,0>=K+1,20>=Z,A>=1,Z>=5,B1>=1] 

* Chain [370]: 1*aux(121)+0
  with precondition: [F1=E,C1=L,B1=A1,E1=D1,0>=B+1,20>=Z,A>=1,K>=1,Z>=5,B1>=1] 

* Chain [369]: 1*aux(122)+0
  with precondition: [F1=E,C1=L,B1=A1,E1=D1,0>=B+1,20>=Z,Z>=5,B1>=1] 

* Chain [368]: 1*aux(123)+0
  with precondition: [F1=E,C1=L,B1=A1,E1=D1,0>=K+1,20>=Z,A>=1,B>=1,Z>=5,B1>=1] 

* Chain [367]: 1*aux(124)+0
  with precondition: [F1=E,C1=L,B1=A1,E1=D1,20>=Z,A>=1,B>=1,K>=1,Z>=5,B1>=1] 

* Chain [366]: 1*aux(125)+0
  with precondition: [F1=E,C1=L,B1=A1,E1=D1,20>=Z,B>=1,Z>=5,B1>=1] 

* Chain [365]...: 1*aux(126)+0
  with precondition: [A=0,F1=E,C1=L,B1=A1,E1=D1,0>=B+1,0>=K+1,20>=Z,Z>=5,B1>=1] 

* Chain [364]...: 1*aux(127)+0
  with precondition: [A=0,F1=E,C1=L,B1=A1,E1=D1,0>=B+1,20>=Z,K>=1,Z>=5,B1>=1] 

* Chain [363]...: 1*aux(128)+0
  with precondition: [A=0,F1=E,C1=L,B1=A1,E1=D1,0>=K+1,20>=Z,B>=1,Z>=5,B1>=1] 

* Chain [362]...: 1*aux(129)+0
  with precondition: [A=0,F1=E,C1=L,B1=A1,E1=D1,20>=Z,B>=1,K>=1,Z>=5,B1>=1] 

* Chain [361]...: 1*s(1261)+0
  with precondition: [B=0,F1=E,C1=L,B1=A1,E1=D1,20>=Z,Z>=5,B1>=1] 

* Chain [360]...: 1*aux(130)+0
  with precondition: [K=0,F1=E,C1=L,B1=A1,E1=D1,0>=B+1,20>=Z,Z>=5,B1>=1] 

* Chain [359]...: 1*aux(131)+0
  with precondition: [K=0,F1=E,C1=L,B1=A1,E1=D1,20>=Z,B>=1,Z>=5,B1>=1] 

* Chain [358]...: 1*aux(132)+0
  with precondition: [F1=E,C1=L,B1=A1,E1=D1,0>=A+1,0>=B+1,0>=K+1,20>=Z,Z>=5,B1>=1] 

* Chain [357]...: 1*aux(133)+0
  with precondition: [F1=E,C1=L,B1=A1,E1=D1,0>=A+1,0>=B+1,20>=Z,K>=1,Z>=5,B1>=1] 

* Chain [356]...: 1*aux(134)+0
  with precondition: [F1=E,C1=L,B1=A1,E1=D1,0>=A+1,0>=K+1,20>=Z,B>=1,Z>=5,B1>=1] 

* Chain [355]...: 1*aux(135)+0
  with precondition: [F1=E,C1=L,B1=A1,E1=D1,0>=A+1,20>=Z,B>=1,K>=1,Z>=5,B1>=1] 

* Chain [354]...: 1*aux(136)+0
  with precondition: [F1=E,C1=L,B1=A1,E1=D1,0>=B+1,0>=K+1,20>=Z,A>=1,Z>=5,B1>=1] 

* Chain [353]...: 1*aux(137)+0
  with precondition: [F1=E,C1=L,B1=A1,E1=D1,0>=B+1,20>=Z,A>=1,K>=1,Z>=5,B1>=1] 

* Chain [352]...: 1*aux(138)+0
  with precondition: [F1=E,C1=L,B1=A1,E1=D1,0>=B+1,20>=Z,Z>=5,B1>=1] 

* Chain [351]...: 1*aux(139)+0
  with precondition: [F1=E,C1=L,B1=A1,E1=D1,0>=K+1,20>=Z,A>=1,B>=1,Z>=5,B1>=1] 

* Chain [350]...: 1*aux(140)+0
  with precondition: [F1=E,C1=L,B1=A1,E1=D1,20>=Z,A>=1,B>=1,K>=1,Z>=5,B1>=1] 

* Chain [349]...: 1*aux(141)+0
  with precondition: [F1=E,C1=L,B1=A1,E1=D1,20>=Z,B>=1,Z>=5,B1>=1] 


#### 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,Z,A1,B1,C1,D1,E1,F1,G1,O1):
* Chain [398]: 1*aux(142)+0
  with precondition: [] 

* Chain [397]: 1*aux(143)+0
  with precondition: [A=0,0>=K+1] 

* Chain [396]: 1*aux(144)+0
  with precondition: [A=0,K>=1] 

* Chain [395]: 1*aux(145)+0
  with precondition: [K=0] 

* Chain [394]: 1*aux(146)+0
  with precondition: [0>=A+1,0>=K+1] 

* Chain [393]: 1*aux(147)+0
  with precondition: [0>=A+1,K>=1] 

* Chain [392]: 1*aux(148)+0
  with precondition: [0>=K+1,A>=1] 

* Chain [391]: 1*aux(149)+0
  with precondition: [A>=1,K>=1] 

* Chain [390]...: 1*aux(150)+0
  with precondition: [] 

* Chain [389]...: 1*aux(151)+0
  with precondition: [A=0,0>=K+1] 

* Chain [388]...: 1*aux(152)+0
  with precondition: [A=0,K>=1] 

* Chain [387]...: 1*aux(153)+0
  with precondition: [K=0] 

* Chain [386]...: 1*aux(154)+0
  with precondition: [0>=A+1,0>=K+1] 

* Chain [385]...: 1*aux(155)+0
  with precondition: [0>=A+1,K>=1] 

* Chain [384]...: 1*aux(156)+0
  with precondition: [0>=K+1,A>=1] 

* Chain [383]...: 1*aux(157)+0
  with precondition: [A>=1,K>=1] 


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,Z,A1,B1,C1,D1,E1,F1,G1,O1): 
-------------------------------------
* Chain [398] with precondition: [] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [397] with precondition: [A=0,0>=K+1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [396] with precondition: [A=0,K>=1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [395] with precondition: [K=0] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [394] with precondition: [0>=A+1,0>=K+1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [393] with precondition: [0>=A+1,K>=1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [392] with precondition: [0>=K+1,A>=1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [391] with precondition: [A>=1,K>=1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [390]... with precondition: [] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [389]... with precondition: [A=0,0>=K+1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [388]... with precondition: [A=0,K>=1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [387]... with precondition: [K=0] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [386]... with precondition: [0>=A+1,0>=K+1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [385]... with precondition: [0>=A+1,K>=1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [384]... with precondition: [0>=K+1,A>=1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [383]... with precondition: [A>=1,K>=1] 
    - 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,Z,A1,B1,C1,D1,E1,F1,G1,O1): inf 
Asymptotic class: infinity 
* Total analysis performed in 76501 ms.

