117.68/117.72	MAYBE
117.68/117.72	
117.68/117.72	Preprocessing Cost Relations
117.68/117.72	=====================================
117.68/117.72	
117.68/117.72	#### Computed strongly connected components 
117.68/117.72	0. recursive  : [f33/6]
117.68/117.72	1. recursive  : [f26/31,f33_loop_cont/32,f39/31,f47/31,f50/31,f59/31,f62/31]
117.68/117.72	2. non_recursive  : [exit_location/1]
117.68/117.72	3. recursive  : [f71/1]
117.68/117.72	4. non_recursive  : [f71_loop_cont/2]
117.68/117.72	5. recursive  : [f74/1]
117.68/117.72	6. non_recursive  : [f74_loop_cont/2]
117.68/117.72	7. non_recursive  : [f69/23]
117.68/117.72	8. non_recursive  : [f26_loop_cont/24]
117.68/117.72	9. non_recursive  : [f20/23]
117.68/117.72	10. non_recursive  : [f0/23]
117.68/117.72	
117.68/117.72	#### Obtained direct recursion through partial evaluation 
117.68/117.72	0. SCC is partially evaluated into f33/6
117.68/117.72	1. SCC is partially evaluated into f26/31
117.68/117.72	2. SCC is completely evaluated into other SCCs
117.68/117.72	3. SCC is partially evaluated into f71/1
117.68/117.72	4. SCC is completely evaluated into other SCCs
117.68/117.72	5. SCC is partially evaluated into f74/1
117.68/117.72	6. SCC is completely evaluated into other SCCs
117.68/117.72	7. SCC is partially evaluated into f69/23
117.68/117.72	8. SCC is partially evaluated into f26_loop_cont/24
117.68/117.72	9. SCC is partially evaluated into f20/23
117.68/117.72	10. SCC is partially evaluated into f0/23
117.68/117.72	
117.68/117.72	Control-Flow Refinement of Cost Relations
117.68/117.72	=====================================
117.68/117.72	
117.68/117.72	### Specialization of cost equations f33/6 
117.68/117.72	* CE 122 is refined into CE [130] 
117.68/117.72	* CE 118 is refined into CE [131] 
117.68/117.72	* CE 119 is refined into CE [132] 
117.68/117.72	* CE 121 is refined into CE [133] 
117.68/117.72	* CE 120 is refined into CE [134] 
117.68/117.72	
117.68/117.72	
117.68/117.72	### Cost equations --> "Loop" of f33/6 
117.68/117.72	* CEs [133] --> Loop 130 
117.68/117.72	* CEs [134] --> Loop 131 
117.68/117.72	* CEs [130] --> Loop 132 
117.68/117.72	* CEs [131] --> Loop 133 
117.68/117.72	* CEs [132] --> Loop 134 
117.68/117.72	
117.68/117.72	### Ranking functions of CR f33(H,I,J,A1,B1,C1) 
117.68/117.72	* RF of phase [130]: [-H+I]
117.68/117.72	* RF of phase [131]: [-H+I]
117.68/117.72	
117.68/117.72	#### Partial ranking functions of CR f33(H,I,J,A1,B1,C1) 
117.68/117.72	* Partial RF of phase [130]:
117.68/117.72	  - RF of loop [130:1]:
117.68/117.72	    -H+I
117.68/117.72	* Partial RF of phase [131]:
117.68/117.72	  - RF of loop [131:1]:
117.68/117.72	    -H+I
117.68/117.72	
117.68/117.72	
117.68/117.72	### Specialization of cost equations f26/31 
117.68/117.72	* CE 43 is refined into CE [135,136,137] 
117.68/117.72	* CE 44 is refined into CE [138,139,140] 
117.68/117.72	* CE 112 is refined into CE [141] 
117.68/117.72	* CE 42 is refined into CE [142,143,144] 
117.68/117.72	* CE 111 is refined into CE [145,146,147] 
117.68/117.72	* CE 115 is refined into CE [148] 
117.68/117.72	* CE 88 is refined into CE [149] 
117.68/117.72	* CE 87 is refined into CE [150] 
117.68/117.72	* CE 61 is refined into CE [151] 
117.68/117.72	* CE 60 is refined into CE [152] 
117.68/117.72	* CE 97 is refined into CE [153] 
117.68/117.72	* CE 96 is refined into CE [154] 
117.68/117.72	* CE 70 is refined into CE [155] 
117.68/117.72	* CE 69 is refined into CE [156] 
117.68/117.72	* CE 31 is refined into CE [157] 
117.68/117.72	* CE 30 is refined into CE [158] 
117.68/117.72	* CE 40 is refined into CE [159] 
117.68/117.72	* CE 39 is refined into CE [160] 
117.68/117.72	* CE 79 is refined into CE [161] 
117.68/117.72	* CE 78 is refined into CE [162] 
117.68/117.72	* CE 52 is refined into CE [163] 
117.68/117.72	* CE 51 is refined into CE [164] 
117.68/117.72	* CE 22 is refined into CE [165] 
117.68/117.72	* CE 21 is refined into CE [166] 
117.68/117.72	* CE 10 is refined into CE [167] 
117.68/117.72	* CE 13 is refined into CE [168] 
117.68/117.72	* CE 11 is refined into CE [169] 
117.68/117.72	* CE 14 is refined into CE [170] 
117.68/117.72	* CE 109 is refined into CE [171] 
117.68/117.72	* CE 103 is refined into CE [172] 
117.68/117.72	* CE 106 is refined into CE [173] 
117.68/117.72	* CE 100 is refined into CE [174] 
117.68/117.72	* CE 110 is refined into CE [175] 
117.68/117.72	* CE 104 is refined into CE [176] 
117.68/117.72	* CE 107 is refined into CE [177] 
117.68/117.72	* CE 101 is refined into CE [178] 
117.68/117.72	* CE 82 is refined into CE [179] 
117.68/117.72	* CE 55 is refined into CE [180] 
117.68/117.72	* CE 91 is refined into CE [181] 
117.68/117.72	* CE 64 is refined into CE [182] 
117.68/117.72	* CE 83 is refined into CE [183] 
117.68/117.72	* CE 56 is refined into CE [184] 
117.68/117.72	* CE 92 is refined into CE [185] 
117.68/117.72	* CE 65 is refined into CE [186] 
117.68/117.72	* CE 89 is refined into CE [187] 
117.68/117.72	* CE 62 is refined into CE [188] 
117.68/117.72	* CE 98 is refined into CE [189] 
117.68/117.72	* CE 71 is refined into CE [190] 
117.68/117.72	* CE 25 is refined into CE [191] 
117.68/117.72	* CE 34 is refined into CE [192] 
117.68/117.72	* CE 26 is refined into CE [193] 
117.68/117.72	* CE 35 is refined into CE [194] 
117.68/117.72	* CE 32 is refined into CE [195] 
117.68/117.72	* CE 41 is refined into CE [196] 
117.68/117.72	* CE 85 is refined into CE [197] 
117.68/117.72	* CE 58 is refined into CE [198] 
117.68/117.72	* CE 94 is refined into CE [199] 
117.68/117.72	* CE 67 is refined into CE [200] 
117.68/117.72	* CE 86 is refined into CE [201] 
117.68/117.72	* CE 59 is refined into CE [202] 
117.68/117.72	* CE 95 is refined into CE [203] 
117.68/117.72	* CE 68 is refined into CE [204] 
117.68/117.72	* CE 28 is refined into CE [205] 
117.68/117.72	* CE 37 is refined into CE [206] 
117.68/117.72	* CE 29 is refined into CE [207] 
117.68/117.72	* CE 38 is refined into CE [208] 
117.68/117.72	* CE 114 is refined into CE [209] 
117.68/117.72	* CE 113 is refined into CE [210] 
117.68/117.72	* CE 9 is refined into CE [211] 
117.68/117.72	* CE 12 is refined into CE [212] 
117.68/117.72	* CE 108 is refined into CE [213] 
117.68/117.72	* CE 102 is refined into CE [214] 
117.68/117.72	* CE 105 is refined into CE [215] 
117.68/117.72	* CE 99 is refined into CE [216] 
117.68/117.72	* CE 73 is refined into CE [217] 
117.68/117.72	* CE 46 is refined into CE [218] 
117.68/117.72	* CE 74 is refined into CE [219] 
117.68/117.72	* CE 47 is refined into CE [220] 
117.68/117.72	* CE 80 is refined into CE [221] 
117.68/117.72	* CE 53 is refined into CE [222] 
117.68/117.72	* CE 16 is refined into CE [223] 
117.68/117.72	* CE 17 is refined into CE [224] 
117.68/117.72	* CE 23 is refined into CE [225] 
117.68/117.72	* CE 76 is refined into CE [226] 
117.68/117.72	* CE 49 is refined into CE [227] 
117.68/117.72	* CE 77 is refined into CE [228] 
117.68/117.72	* CE 50 is refined into CE [229] 
117.68/117.72	* CE 19 is refined into CE [230] 
117.68/117.72	* CE 20 is refined into CE [231] 
117.68/117.72	* CE 81 is refined into CE [232] 
117.68/117.72	* CE 54 is refined into CE [233] 
117.68/117.72	* CE 90 is refined into CE [234] 
117.68/117.72	* CE 63 is refined into CE [235] 
117.68/117.72	* CE 24 is refined into CE [236] 
117.68/117.72	* CE 33 is refined into CE [237] 
117.68/117.72	* CE 84 is refined into CE [238] 
117.68/117.72	* CE 57 is refined into CE [239] 
117.68/117.72	* CE 93 is refined into CE [240] 
117.68/117.72	* CE 66 is refined into CE [241] 
117.68/117.72	* CE 27 is refined into CE [242] 
117.68/117.72	* CE 36 is refined into CE [243] 
117.68/117.72	* CE 72 is refined into CE [244] 
117.68/117.72	* CE 45 is refined into CE [245] 
117.68/117.72	* CE 15 is refined into CE [246] 
117.68/117.72	* CE 75 is refined into CE [247] 
117.68/117.72	* CE 48 is refined into CE [248] 
117.68/117.72	* CE 18 is refined into CE [249] 
117.68/117.72	
117.68/117.72	
117.68/117.72	### Cost equations --> "Loop" of f26/31 
117.68/117.72	* CEs [209] --> Loop 135 
117.68/117.72	* CEs [210] --> Loop 136 
117.68/117.72	* CEs [197] --> Loop 137 
117.68/117.72	* CEs [198] --> Loop 138 
117.68/117.72	* CEs [199] --> Loop 139 
117.68/117.72	* CEs [200] --> Loop 140 
117.68/117.72	* CEs [201] --> Loop 141 
117.68/117.72	* CEs [202] --> Loop 142 
117.68/117.72	* CEs [203] --> Loop 143 
117.68/117.72	* CEs [204] --> Loop 144 
117.68/117.72	* CEs [205] --> Loop 145 
117.68/117.72	* CEs [206] --> Loop 146 
117.68/117.72	* CEs [207] --> Loop 147 
117.68/117.72	* CEs [208] --> Loop 148 
117.68/117.72	* CEs [167] --> Loop 149 
117.68/117.72	* CEs [168] --> Loop 150 
117.68/117.72	* CEs [169] --> Loop 151 
117.68/117.72	* CEs [170] --> Loop 152 
117.68/117.72	* CEs [171] --> Loop 153 
117.68/117.72	* CEs [172] --> Loop 154 
117.68/117.72	* CEs [173] --> Loop 155 
117.68/117.72	* CEs [174] --> Loop 156 
117.68/117.72	* CEs [175] --> Loop 157 
117.68/117.72	* CEs [176] --> Loop 158 
117.68/117.72	* CEs [177] --> Loop 159 
117.68/117.72	* CEs [178] --> Loop 160 
117.68/117.72	* CEs [179] --> Loop 161 
117.68/117.72	* CEs [180] --> Loop 162 
117.68/117.72	* CEs [181] --> Loop 163 
117.68/117.72	* CEs [182] --> Loop 164 
117.68/117.72	* CEs [183] --> Loop 165 
117.68/117.72	* CEs [184] --> Loop 166 
117.68/117.72	* CEs [185] --> Loop 167 
117.68/117.72	* CEs [186] --> Loop 168 
117.68/117.72	* CEs [187] --> Loop 169 
117.68/117.72	* CEs [188] --> Loop 170 
117.68/117.72	* CEs [189] --> Loop 171 
117.68/117.72	* CEs [190] --> Loop 172 
117.68/117.72	* CEs [191] --> Loop 173 
117.68/117.72	* CEs [192] --> Loop 174 
117.68/117.72	* CEs [193] --> Loop 175 
117.68/117.72	* CEs [194] --> Loop 176 
117.68/117.72	* CEs [195] --> Loop 177 
117.68/117.72	* CEs [196] --> Loop 178 
117.68/117.72	* CEs [226] --> Loop 179 
117.68/117.72	* CEs [227] --> Loop 180 
117.68/117.72	* CEs [228] --> Loop 181 
117.68/117.72	* CEs [229] --> Loop 182 
117.68/117.72	* CEs [230] --> Loop 183 
117.68/117.72	* CEs [231] --> Loop 184 
117.68/117.72	* CEs [211] --> Loop 185 
117.68/117.72	* CEs [212] --> Loop 186 
117.68/117.72	* CEs [213] --> Loop 187 
117.68/117.72	* CEs [214] --> Loop 188 
117.68/117.72	* CEs [215] --> Loop 189 
117.68/117.72	* CEs [216] --> Loop 190 
117.68/117.72	* CEs [217] --> Loop 191 
117.68/117.72	* CEs [218] --> Loop 192 
117.68/117.72	* CEs [219] --> Loop 193 
117.68/117.72	* CEs [220] --> Loop 194 
117.68/117.72	* CEs [221] --> Loop 195 
117.68/117.72	* CEs [222] --> Loop 196 
117.68/117.72	* CEs [223] --> Loop 197 
117.68/117.72	* CEs [224] --> Loop 198 
117.68/117.72	* CEs [225] --> Loop 199 
117.68/117.72	* CEs [238] --> Loop 200 
117.68/117.72	* CEs [239] --> Loop 201 
117.68/117.72	* CEs [240] --> Loop 202 
117.68/117.72	* CEs [241] --> Loop 203 
117.68/117.72	* CEs [242] --> Loop 204 
117.68/117.72	* CEs [243] --> Loop 205 
117.68/117.72	* CEs [232] --> Loop 206 
117.68/117.72	* CEs [233] --> Loop 207 
117.68/117.72	* CEs [234] --> Loop 208 
117.68/117.72	* CEs [235] --> Loop 209 
117.68/117.72	* CEs [236] --> Loop 210 
117.68/117.72	* CEs [237] --> Loop 211 
117.68/117.72	* CEs [247] --> Loop 212 
117.68/117.72	* CEs [248] --> Loop 213 
117.68/117.72	* CEs [249] --> Loop 214 
117.68/117.72	* CEs [244] --> Loop 215 
117.68/117.72	* CEs [245] --> Loop 216 
117.68/117.72	* CEs [246] --> Loop 217 
117.68/117.72	* CEs [137] --> Loop 218 
117.68/117.72	* CEs [140] --> Loop 219 
117.68/117.72	* CEs [136] --> Loop 220 
117.68/117.72	* CEs [139] --> Loop 221 
117.68/117.72	* CEs [135] --> Loop 222 
117.68/117.72	* CEs [138] --> Loop 223 
117.68/117.72	* CEs [141] --> Loop 224 
117.68/117.72	* CEs [144] --> Loop 225 
117.68/117.72	* CEs [143] --> Loop 226 
117.68/117.72	* CEs [142] --> Loop 227 
117.68/117.72	* CEs [148] --> Loop 228 
117.68/117.72	* CEs [145] --> Loop 229 
117.68/117.72	* CEs [147] --> Loop 230 
117.68/117.72	* CEs [146] --> Loop 231 
117.68/117.72	* CEs [149] --> Loop 232 
117.68/117.72	* CEs [150] --> Loop 233 
117.68/117.72	* CEs [151] --> Loop 234 
117.68/117.72	* CEs [152] --> Loop 235 
117.68/117.72	* CEs [153] --> Loop 236 
117.68/117.72	* CEs [154] --> Loop 237 
117.68/117.72	* CEs [155] --> Loop 238 
117.68/117.72	* CEs [156] --> Loop 239 
117.68/117.72	* CEs [157] --> Loop 240 
117.68/117.72	* CEs [158] --> Loop 241 
117.68/117.72	* CEs [159] --> Loop 242 
117.68/117.72	* CEs [160] --> Loop 243 
117.68/117.72	* CEs [161] --> Loop 244 
117.68/117.72	* CEs [162] --> Loop 245 
117.68/117.72	* CEs [163] --> Loop 246 
117.68/117.72	* CEs [164] --> Loop 247 
117.68/117.72	* CEs [165] --> Loop 248 
117.68/117.72	* CEs [166] --> Loop 249 
117.68/117.72	
117.68/117.72	### Ranking functions of CR f26(C,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1) 
117.68/117.72	* RF of phase [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,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]: [-C+E]
117.68/117.72	
117.68/117.72	#### Partial ranking functions of CR f26(C,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1) 
117.68/117.72	* Partial RF of phase [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,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]:
117.68/117.72	  - RF of loop [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,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]:
117.68/117.72	    -C+E
117.68/117.72	  - RF of loop [137:1,138:1,139:1,140:1,141:1,142:1,143:1,144:1,145:1,146:1,147:1,148:1,179:1,180:1,181:1,182:1,183:1,184:1,200:1,201:1,202:1,203:1,204:1,205:1,212:1,213:1,214:1]:
117.68/117.72	    E-S
117.68/117.72	    -J
117.68/117.72	
117.68/117.72	
117.68/117.72	### Specialization of cost equations f71/1 
117.68/117.72	* CE 127 is refined into CE [250] 
117.68/117.72	* CE 126 is refined into CE [251] 
117.68/117.72	
117.68/117.72	
117.68/117.72	### Cost equations --> "Loop" of f71/1 
117.68/117.72	* CEs [251] --> Loop 250 
117.68/117.72	* CEs [250] --> Loop 251 
117.68/117.72	
117.68/117.72	### Ranking functions of CR f71(A1) 
117.68/117.72	
117.68/117.72	#### Partial ranking functions of CR f71(A1) 
117.68/117.72	
117.68/117.72	
117.68/117.72	### Specialization of cost equations f74/1 
117.68/117.72	* CE 129 is refined into CE [252] 
117.68/117.72	* CE 128 is refined into CE [253] 
117.68/117.72	
117.68/117.72	
117.68/117.72	### Cost equations --> "Loop" of f74/1 
117.68/117.72	* CEs [253] --> Loop 252 
117.68/117.72	* CEs [252] --> Loop 253 
117.68/117.72	
117.68/117.72	### Ranking functions of CR f74(A1) 
117.68/117.72	
117.68/117.72	#### Partial ranking functions of CR f74(A1) 
117.68/117.72	
117.68/117.72	
117.68/117.72	### Specialization of cost equations f69/23 
117.68/117.72	* CE 125 is refined into CE [254,255] 
117.68/117.72	* CE 124 is refined into CE [256,257] 
117.68/117.72	* CE 123 is refined into CE [258,259] 
117.68/117.72	
117.68/117.72	
117.68/117.72	### Cost equations --> "Loop" of f69/23 
117.68/117.72	* CEs [255] --> Loop 254 
117.68/117.72	* CEs [257] --> Loop 255 
117.68/117.72	* CEs [259] --> Loop 256 
117.68/117.72	* CEs [254] --> Loop 257 
117.68/117.72	* CEs [256] --> Loop 258 
117.68/117.72	* CEs [258] --> Loop 259 
117.68/117.72	
117.68/117.72	### Ranking functions of CR f69(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,A1) 
117.68/117.72	
117.68/117.72	#### Partial ranking functions of CR f69(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,A1) 
117.68/117.72	
117.68/117.72	
117.68/117.72	### Specialization of cost equations f26_loop_cont/24 
117.68/117.72	* CE 116 is refined into CE [260,261,262,263,264,265] 
117.68/117.72	* CE 117 is refined into CE [266] 
117.68/117.72	
117.68/117.72	
117.68/117.72	### Cost equations --> "Loop" of f26_loop_cont/24 
117.68/117.72	* CEs [262] --> Loop 260 
117.68/117.72	* CEs [261] --> Loop 261 
117.68/117.72	* CEs [260] --> Loop 262 
117.68/117.72	* CEs [266] --> Loop 263 
117.68/117.72	* CEs [265] --> Loop 264 
117.68/117.72	* CEs [264] --> Loop 265 
117.68/117.72	* CEs [263] --> Loop 266 
117.68/117.72	
117.68/117.72	### 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) 
117.68/117.72	
117.68/117.72	#### 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) 
117.68/117.72	
117.68/117.72	
117.68/117.72	### Specialization of cost equations f20/23 
117.68/117.72	* CE 5 is refined into CE [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,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] 
117.68/117.72	* CE 4 is refined into CE [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] 
117.68/117.72	* CE 8 is refined into CE [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] 
117.68/117.72	* CE 7 is discarded (unfeasible) 
117.68/117.72	* CE 6 is refined into CE [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] 
117.68/117.72	
117.68/117.72	
117.68/117.72	### Cost equations --> "Loop" of f20/23 
117.68/117.72	* CEs [361] --> Loop 267 
117.68/117.72	* CEs [368,369] --> Loop 268 
117.68/117.72	* CEs [358,388,392] --> Loop 269 
117.68/117.72	* CEs [353,379,381] --> Loop 270 
117.68/117.72	* CEs [359,389,393] --> Loop 271 
117.68/117.72	* CEs [355,383,385] --> Loop 272 
117.68/117.72	* CEs [351,375,377] --> Loop 273 
117.68/117.72	* CEs [349,371,373] --> Loop 274 
117.68/117.72	* CEs [347,363,365] --> Loop 275 
117.68/117.72	* CEs [488] --> Loop 276 
117.68/117.72	* CEs [495,496] --> Loop 277 
117.68/117.72	* CEs [485,515,519] --> Loop 278 
117.68/117.72	* CEs [480,506,508] --> Loop 279 
117.68/117.72	* CEs [486,516,520] --> Loop 280 
117.68/117.72	* CEs [482,510,512] --> Loop 281 
117.68/117.72	* CEs [478,502,504] --> Loop 282 
117.68/117.72	* CEs [476,498,500] --> Loop 283 
117.68/117.72	* CEs [474,490,492] --> Loop 284 
117.68/117.72	* CEs [272,274,284,286,288,290,300,302,304,306,324,326,328,330,332,334,336,338] --> Loop 285 
117.68/117.72	* CEs [268,270,276,278,280,282,292,294,296,298,308,310,312,314,316,318,320,322] --> Loop 286 
117.68/117.72	* CEs [399,401,411,413,415,417,427,429,431,433,451,453,455,457,459,461,463,465] --> Loop 287 
117.68/117.72	* CEs [395,397,403,405,407,409,419,421,423,425,435,437,439,441,443,445,447,449] --> Loop 288 
117.68/117.72	* CEs [615] --> Loop 289 
117.68/117.72	* CEs [622,623] --> Loop 290 
117.68/117.72	* CEs [612,642,646] --> Loop 291 
117.68/117.72	* CEs [607,633,635] --> Loop 292 
117.68/117.72	* CEs [613,643,647] --> Loop 293 
117.68/117.72	* CEs [609,637,639] --> Loop 294 
117.68/117.72	* CEs [605,629,631] --> Loop 295 
117.68/117.72	* CEs [603,625,627] --> Loop 296 
117.68/117.72	* CEs [601,617,619] --> Loop 297 
117.68/117.72	* CEs [526,528,538,540,542,544,554,556,558,560,578,580,582,584,586,588,590,592] --> Loop 298 
117.68/117.72	* CEs [522,524,530,532,534,536,546,548,550,552,562,564,566,568,570,572,574,576] --> Loop 299 
117.68/117.72	* CEs [739,769,773] --> Loop 300 
117.68/117.72	* CEs [740,770,774] --> Loop 301 
117.68/117.72	* CEs [749,750] --> Loop 302 
117.68/117.72	* CEs [734,760,762] --> Loop 303 
117.68/117.72	* CEs [736,764,766] --> Loop 304 
117.68/117.72	* CEs [732,756,758] --> Loop 305 
117.68/117.72	* CEs [730,752,754] --> Loop 306 
117.68/117.72	* CEs [728,744,746] --> Loop 307 
117.68/117.72	* CEs [742] --> Loop 308 
117.68/117.72	* CEs [653,655,665,667,669,671,681,683,685,687,705,707,709,711,713,715,717,719] --> Loop 309 
117.68/117.72	* CEs [649,651,657,659,661,663,673,675,677,679,689,691,693,695,697,699,701,703] --> Loop 310 
117.68/117.72	* CEs [360] --> Loop 311 
117.68/117.72	* CEs [344] --> Loop 312 
117.68/117.72	* CEs [343,366,367] --> Loop 313 
117.68/117.72	* CEs [345] --> Loop 314 
117.68/117.72	* CEs [356,386,390] --> Loop 315 
117.68/117.72	* CEs [342,352,378,380] --> Loop 316 
117.68/117.72	* CEs [341,357,387,391] --> Loop 317 
117.68/117.72	* CEs [340,354,382,384] --> Loop 318 
117.68/117.72	* CEs [339,350,374,376] --> Loop 319 
117.68/117.72	* CEs [348,370,372] --> Loop 320 
117.68/117.72	* CEs [346,362,364] --> Loop 321 
117.68/117.72	* CEs [487] --> Loop 322 
117.68/117.72	* CEs [471] --> Loop 323 
117.68/117.72	* CEs [470,493,494] --> Loop 324 
117.68/117.72	* CEs [472] --> Loop 325 
117.68/117.72	* CEs [483,513,517] --> Loop 326 
117.68/117.72	* CEs [469,479,505,507] --> Loop 327 
117.68/117.72	* CEs [468,484,514,518] --> Loop 328 
117.68/117.72	* CEs [467,481,509,511] --> Loop 329 
117.68/117.72	* CEs [466,477,501,503] --> Loop 330 
117.68/117.72	* CEs [475,497,499] --> Loop 331 
117.68/117.72	* CEs [473,489,491] --> Loop 332 
117.68/117.72	* CEs [271,273,283,285,287,289,299,301,303,305,323,325,327,329,331,333,335,337] --> Loop 333 
117.68/117.72	* CEs [267,269,275,277,279,281,291,293,295,297,307,309,311,313,315,317,319,321] --> Loop 334 
117.68/117.72	* CEs [398,400,410,412,414,416,426,428,430,432,450,452,454,456,458,460,462,464] --> Loop 335 
117.68/117.72	* CEs [394,396,402,404,406,408,418,420,422,424,434,436,438,440,442,444,446,448] --> Loop 336 
117.68/117.72	* CEs [614] --> Loop 337 
117.68/117.72	* CEs [598] --> Loop 338 
117.68/117.72	* CEs [597,620,621] --> Loop 339 
117.68/117.72	* CEs [599] --> Loop 340 
117.68/117.72	* CEs [610,640,644] --> Loop 341 
117.68/117.72	* CEs [596,606,632,634] --> Loop 342 
117.68/117.72	* CEs [595,611,641,645] --> Loop 343 
117.68/117.72	* CEs [594,608,636,638] --> Loop 344 
117.68/117.72	* CEs [593,604,628,630] --> Loop 345 
117.68/117.72	* CEs [602,624,626] --> Loop 346 
117.68/117.72	* CEs [600,616,618] --> Loop 347 
117.68/117.72	* CEs [525,527,537,539,541,543,553,555,557,559,577,579,581,583,585,587,589,591] --> Loop 348 
117.68/117.72	* CEs [521,523,529,531,533,535,545,547,549,551,561,563,565,567,569,571,573,575] --> Loop 349 
117.68/117.72	* CEs [726] --> Loop 350 
117.68/117.72	* CEs [725] --> Loop 351 
117.68/117.72	* CEs [737,767,771] --> Loop 352 
117.68/117.72	* CEs [722,738,768,772] --> Loop 353 
117.68/117.72	* CEs [724,747,748] --> Loop 354 
117.68/117.72	* CEs [723,733,759,761] --> Loop 355 
117.68/117.72	* CEs [721,735,763,765] --> Loop 356 
117.68/117.72	* CEs [720,731,755,757] --> Loop 357 
117.68/117.72	* CEs [729,751,753] --> Loop 358 
117.68/117.72	* CEs [727,743,745] --> Loop 359 
117.68/117.72	* CEs [741] --> Loop 360 
117.68/117.72	* CEs [652,654,664,666,668,670,680,682,684,686,704,706,708,710,712,714,716,718] --> Loop 361 
117.68/117.72	* CEs [648,650,656,658,660,662,672,674,676,678,688,690,692,694,696,698,700,702] --> Loop 362 
117.68/117.72	
117.68/117.72	### 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,A1) 
117.68/117.72	
117.68/117.72	#### 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,A1) 
117.68/117.72	
117.68/117.72	
117.68/117.72	### Specialization of cost equations f0/23 
117.68/117.72	* CE 3 is refined into CE [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] 
117.68/117.72	* CE 2 is refined into CE [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,922,923,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,958,959,960,961,962,963,964,965,966] 
117.68/117.72	* CE 1 is refined into CE [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,992,993,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,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,1062] 
117.68/117.72	
117.68/117.72	
117.68/117.72	### Cost equations --> "Loop" of f0/23 
117.68/117.72	* CEs [829,835,847,848,860,861,869,870] --> Loop 363 
117.68/117.72	* CEs [834,837,845,846,858,859,867,868] --> Loop 364 
117.68/117.72	* CEs [836,844,857,866] --> Loop 365 
117.68/117.72	* CEs [930,933,941,942,954,955,963,964] --> Loop 366 
117.68/117.72	* CEs [932,940,953,962] --> Loop 367 
117.68/117.72	* CEs [925,931,943,944,956,957,965,966] --> Loop 368 
117.68/117.72	* CEs [832,833,842,843,855,856,864,865] --> Loop 369 
117.68/117.72	* CEs [928,929,938,939,951,952,960,961] --> Loop 370 
117.68/117.72	* CEs [830,831,840,841,853,854,862,863] --> Loop 371 
117.68/117.72	* CEs [926,927,936,937,949,950,958,959] --> Loop 372 
117.68/117.72	* CEs [1026,1029,1037,1038,1050,1051,1059,1060] --> Loop 373 
117.68/117.72	* CEs [1028,1036,1049,1058] --> Loop 374 
117.68/117.72	* CEs [1024,1025,1034,1035,1047,1048,1056,1057] --> Loop 375 
117.68/117.72	* CEs [1022,1023,1032,1033,1045,1046,1054,1055] --> Loop 376 
117.68/117.72	* CEs [1021,1027,1039,1040,1052,1053,1061,1062] --> Loop 377 
117.68/117.72	* CEs [827,828,838,839,849,850,851,852] --> Loop 378 
117.68/117.72	* CEs [923,924,934,935,945,946,947,948] --> Loop 379 
117.68/117.72	* CEs [1019,1020,1030,1031,1041,1042,1043,1044] --> Loop 380 
117.68/117.72	* CEs [777,783,786,787,797,798,799,800,812,813,814,815,823,824,825,826] --> Loop 381 
117.68/117.72	* CEs [782,785,795,796,810,811,821,822] --> Loop 382 
117.68/117.72	* CEs [784,794,809,820] --> Loop 383 
117.68/117.72	* CEs [878,881,891,892,906,907,917,918] --> Loop 384 
117.68/117.72	* CEs [880,890,905,916] --> Loop 385 
117.68/117.72	* CEs [873,879,882,883,893,894,895,896,908,909,910,911,919,920,921,922] --> Loop 386 
117.68/117.73	* CEs [780,781,792,793,807,808,818,819] --> Loop 387 
117.68/117.73	* CEs [876,877,888,889,903,904,914,915] --> Loop 388 
117.68/117.73	* CEs [778,779,790,791,805,806,816,817] --> Loop 389 
117.68/117.73	* CEs [874,875,886,887,901,902,912,913] --> Loop 390 
117.68/117.73	* CEs [974,977,987,988,1002,1003,1013,1014] --> Loop 391 
117.68/117.73	* CEs [976,986,1001,1012] --> Loop 392 
117.68/117.73	* CEs [972,973,984,985,999,1000,1010,1011] --> Loop 393 
117.68/117.73	* CEs [970,971,982,983,997,998,1008,1009] --> Loop 394 
117.68/117.73	* CEs [969,975,978,979,989,990,991,992,1004,1005,1006,1007,1015,1016,1017,1018] --> Loop 395 
117.68/117.73	* CEs [775,776,788,789,801,802,803,804] --> Loop 396 
117.68/117.73	* CEs [871,872,884,885,897,898,899,900] --> Loop 397 
117.68/117.73	* CEs [967,968,980,981,993,994,995,996] --> Loop 398 
117.68/117.73	
117.68/117.73	### 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,A1) 
117.68/117.73	
117.68/117.73	#### 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,A1) 
117.68/117.73	
117.68/117.73	
117.68/117.73	Computing Bounds
117.68/117.73	=====================================
117.68/117.73	
117.68/117.73	#### Cost of chains of f33(H,I,J,A1,B1,C1):
117.68/117.73	* Chain [[131],133]: 1*it(131)+0
117.68/117.73	  Such that:it(131) =< -H+B1
117.68/117.73	
117.68/117.73	  with precondition: [A1=2,I=B1,J=C1,0>=J+2,I>=H+1] 
117.68/117.73	
117.68/117.73	* Chain [[131],132]: 1*it(131)+0
117.68/117.73	  Such that:it(131) =< -H+I
117.68/117.73	
117.68/117.73	  with precondition: [A1=3,0>=J+2,I>=H+1] 
117.68/117.73	
117.68/117.73	* Chain [[130],133]: 1*it(130)+0
117.68/117.73	  Such that:it(130) =< -H+B1
117.68/117.73	
117.68/117.73	  with precondition: [A1=2,I=B1,J=C1,J>=0,I>=H+1] 
117.68/117.73	
117.68/117.73	* Chain [[130],132]: 1*it(130)+0
117.68/117.73	  Such that:it(130) =< -H+I
117.68/117.73	
117.68/117.73	  with precondition: [A1=3,J>=0,I>=H+1] 
117.68/117.73	
117.68/117.73	* Chain [134]: 0
117.68/117.73	  with precondition: [J+1=0,A1=2,C1+1=0,H=B1,I>=H+1] 
117.68/117.73	
117.68/117.73	* Chain [133]: 0
117.68/117.73	  with precondition: [A1=2,C1=J,H=B1,H>=I] 
117.68/117.73	
117.68/117.73	* Chain [132]: 0
117.68/117.73	  with precondition: [A1=3] 
117.68/117.73	
117.68/117.73	
117.68/117.73	#### Cost of chains of f26(C,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1):
117.68/117.73	* Chain [[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,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],249]: 56*it(135)+27*it(137)+0
117.68/117.73	  Such that:aux(1) =< -C+E
117.68/117.73	aux(2) =< -C+B1
117.68/117.73	aux(3) =< E-S
117.68/117.73	aux(5) =< -S+O1+1
117.68/117.73	aux(7) =< -S+O1
117.68/117.73	it(135) =< aux(1)
117.75/117.73	it(137) =< aux(1)
117.75/117.73	it(135) =< aux(2)
117.75/117.73	it(137) =< aux(2)
117.75/117.73	it(137) =< aux(3)
117.75/117.73	it(137) =< aux(7)
117.75/117.73	it(137) =< aux(5)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,A1=4,C1=0,D1=0,E1=0,F1+1=0,G1=0,H1=0,K1=3,L1=1,S=O1,0>=M1,I>=1,S>=0,J1>=0,B1>=C+1,C>=S,E>=B1+1] 
117.75/117.73	
117.75/117.73	* Chain [[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,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],248]: 56*it(135)+27*it(137)+0
117.75/117.73	  Such that:aux(1) =< -C+E
117.75/117.73	aux(2) =< -C+B1
117.75/117.73	aux(3) =< E-S
117.75/117.73	aux(5) =< -S+O1+1
117.75/117.73	aux(8) =< -S+O1
117.75/117.73	it(135) =< aux(1)
117.75/117.73	it(137) =< aux(1)
117.75/117.73	it(135) =< aux(2)
117.75/117.73	it(137) =< aux(2)
117.75/117.73	it(137) =< aux(3)
117.75/117.73	it(137) =< aux(8)
117.75/117.73	it(137) =< aux(5)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,A1=4,C1=0,D1=0,E1=0,F1+1=0,G1=0,H1=0,K1=3,L1=1,S=O1,I>=1,S>=0,J1>=0,M1>=2,B1>=C+1,C>=S,E>=B1+1] 
117.75/117.73	
117.75/117.73	* Chain [[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,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],247]: 56*it(135)+27*it(137)+0
117.75/117.73	  Such that:aux(1) =< -C+E
117.75/117.73	aux(2) =< -C+B1
117.75/117.73	aux(3) =< E-S
117.75/117.73	aux(5) =< -S+O1+1
117.75/117.73	aux(9) =< -S+O1
117.75/117.73	it(135) =< aux(1)
117.75/117.73	it(137) =< aux(1)
117.75/117.73	it(135) =< aux(2)
117.75/117.73	it(137) =< aux(2)
117.75/117.73	it(137) =< aux(3)
117.75/117.73	it(137) =< aux(9)
117.75/117.73	it(137) =< aux(5)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,A1=4,C1=0,D1=0,E1=0,F1+1=0,G1=0,I1=0,K1=3,L1=1,S=O1,0>=H1+1,0>=M1,I>=1,S>=0,J1>=0,B1>=C+1,C>=S,E>=B1+1] 
117.75/117.73	
117.75/117.73	* Chain [[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,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],246]: 56*it(135)+27*it(137)+0
117.75/117.73	  Such that:aux(1) =< -C+E
117.75/117.73	aux(2) =< -C+B1
117.75/117.73	aux(3) =< E-S
117.75/117.73	aux(5) =< -S+O1+1
117.75/117.73	aux(10) =< -S+O1
117.75/117.73	it(135) =< aux(1)
117.75/117.73	it(137) =< aux(1)
117.75/117.73	it(135) =< aux(2)
117.75/117.73	it(137) =< aux(2)
117.75/117.73	it(137) =< aux(3)
117.75/117.73	it(137) =< aux(10)
117.75/117.73	it(137) =< aux(5)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,A1=4,C1=0,D1=0,E1=0,F1+1=0,G1=0,I1=0,K1=3,L1=1,S=O1,0>=H1+1,I>=1,S>=0,J1>=0,M1>=2,B1>=C+1,C>=S,E>=B1+1] 
117.75/117.73	
117.75/117.73	* Chain [[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,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],245]: 56*it(135)+27*it(137)+0
117.75/117.73	  Such that:aux(1) =< -C+E
117.75/117.73	aux(2) =< -C+B1
117.75/117.73	aux(3) =< E-S
117.75/117.73	aux(5) =< -S+O1+1
117.75/117.73	aux(11) =< -S+O1
117.75/117.73	it(135) =< aux(1)
117.75/117.73	it(137) =< aux(1)
117.75/117.73	it(135) =< aux(2)
117.75/117.73	it(137) =< aux(2)
117.75/117.73	it(137) =< aux(3)
117.75/117.73	it(137) =< aux(11)
117.75/117.73	it(137) =< aux(5)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,A1=4,C1=0,D1=0,E1=0,F1+1=0,G1=0,I1=0,K1=3,L1=1,S=O1,0>=M1,I>=1,S>=0,H1>=1,J1>=0,B1>=C+1,C>=S,E>=B1+1] 
117.75/117.73	
117.75/117.73	* Chain [[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,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],244]: 56*it(135)+27*it(137)+0
117.75/117.73	  Such that:aux(1) =< -C+E
117.75/117.73	aux(2) =< -C+B1
117.75/117.73	aux(3) =< E-S
117.75/117.73	aux(5) =< -S+O1+1
117.75/117.73	aux(12) =< -S+O1
117.75/117.73	it(135) =< aux(1)
117.75/117.73	it(137) =< aux(1)
117.75/117.73	it(135) =< aux(2)
117.75/117.73	it(137) =< aux(2)
117.75/117.73	it(137) =< aux(3)
117.75/117.73	it(137) =< aux(12)
117.75/117.73	it(137) =< aux(5)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,A1=4,C1=0,D1=0,E1=0,F1+1=0,G1=0,I1=0,K1=3,L1=1,S=O1,I>=1,S>=0,H1>=1,J1>=0,M1>=2,B1>=C+1,C>=S,E>=B1+1] 
117.75/117.73	
117.75/117.73	* Chain [[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,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],243]: 56*it(135)+27*it(137)+0
117.75/117.73	  Such that:aux(1) =< -C+E
117.75/117.73	aux(2) =< -C+B1
117.75/117.73	aux(3) =< E-S
117.75/117.73	aux(5) =< -S+O1+1
117.75/117.73	aux(13) =< -S+O1
117.75/117.73	it(135) =< aux(1)
117.75/117.73	it(137) =< aux(1)
117.75/117.73	it(135) =< aux(2)
117.75/117.73	it(137) =< aux(2)
117.75/117.73	it(137) =< aux(3)
117.75/117.73	it(137) =< aux(13)
117.75/117.73	it(137) =< aux(5)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,A1=4,E1=0,F1+1=0,G1=0,H1=0,K1=3,L1=1,S=O1,0>=C1+1,0>=M1,I>=1,S>=0,J1>=0,B1>=C+1,C>=S,E>=B1+1] 
117.75/117.73	
117.75/117.73	* Chain [[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,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],242]: 56*it(135)+27*it(137)+0
117.75/117.73	  Such that:aux(1) =< -C+E
117.75/117.73	aux(2) =< -C+B1
117.75/117.73	aux(3) =< E-S
117.75/117.73	aux(5) =< -S+O1+1
117.75/117.73	aux(14) =< -S+O1
117.75/117.73	it(135) =< aux(1)
117.75/117.73	it(137) =< aux(1)
117.75/117.73	it(135) =< aux(2)
117.75/117.73	it(137) =< aux(2)
117.75/117.73	it(137) =< aux(3)
117.75/117.73	it(137) =< aux(14)
117.75/117.73	it(137) =< aux(5)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,A1=4,E1=0,F1+1=0,G1=0,H1=0,K1=3,L1=1,S=O1,0>=C1+1,I>=1,S>=0,J1>=0,M1>=2,B1>=C+1,C>=S,E>=B1+1] 
117.75/117.73	
117.75/117.73	* Chain [[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,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],241]: 56*it(135)+27*it(137)+0
117.75/117.73	  Such that:aux(1) =< -C+E
117.75/117.73	aux(2) =< -C+B1
117.75/117.73	aux(3) =< E-S
117.75/117.73	aux(5) =< -S+O1+1
117.75/117.73	aux(15) =< -S+O1
117.75/117.73	it(135) =< aux(1)
117.75/117.73	it(137) =< aux(1)
117.75/117.73	it(135) =< aux(2)
117.75/117.73	it(137) =< aux(2)
117.75/117.73	it(137) =< aux(3)
117.75/117.73	it(137) =< aux(15)
117.75/117.73	it(137) =< aux(5)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,A1=4,E1=0,F1+1=0,G1=0,H1=0,K1=3,L1=1,S=O1,0>=M1,I>=1,S>=0,C1>=1,J1>=0,B1>=C+1,C>=S,E>=B1+1] 
117.75/117.73	
117.75/117.73	* Chain [[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,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],240]: 56*it(135)+27*it(137)+0
117.75/117.73	  Such that:aux(1) =< -C+E
117.75/117.73	aux(2) =< -C+B1
117.75/117.73	aux(3) =< E-S
117.75/117.73	aux(5) =< -S+O1+1
117.75/117.73	aux(16) =< -S+O1
117.75/117.73	it(135) =< aux(1)
117.75/117.73	it(137) =< aux(1)
117.75/117.73	it(135) =< aux(2)
117.75/117.73	it(137) =< aux(2)
117.75/117.73	it(137) =< aux(3)
117.75/117.73	it(137) =< aux(16)
117.75/117.73	it(137) =< aux(5)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,A1=4,E1=0,F1+1=0,G1=0,H1=0,K1=3,L1=1,S=O1,I>=1,S>=0,C1>=1,J1>=0,M1>=2,B1>=C+1,C>=S,E>=B1+1] 
117.75/117.73	
117.75/117.73	* Chain [[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,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],239]: 56*it(135)+27*it(137)+0
117.75/117.73	  Such that:aux(1) =< -C+E
117.75/117.73	aux(2) =< -C+B1
117.75/117.73	aux(3) =< E-S
117.75/117.73	aux(5) =< -S+O1+1
117.75/117.73	aux(17) =< -S+O1
117.75/117.73	it(135) =< aux(1)
117.75/117.73	it(137) =< aux(1)
117.75/117.73	it(135) =< aux(2)
117.75/117.73	it(137) =< aux(2)
117.75/117.73	it(137) =< aux(3)
117.75/117.73	it(137) =< aux(17)
117.75/117.73	it(137) =< aux(5)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,A1=4,E1=0,F1+1=0,G1=0,I1=0,K1=3,L1=1,S=O1,0>=C1+1,0>=H1+1,0>=M1,I>=1,S>=0,J1>=0,B1>=C+1,C>=S,E>=B1+1] 
117.75/117.73	
117.75/117.73	* Chain [[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,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],238]: 56*it(135)+27*it(137)+0
117.75/117.73	  Such that:aux(1) =< -C+E
117.75/117.73	aux(2) =< -C+B1
117.75/117.73	aux(3) =< E-S
117.75/117.73	aux(5) =< -S+O1+1
117.75/117.73	aux(18) =< -S+O1
117.75/117.73	it(135) =< aux(1)
117.75/117.73	it(137) =< aux(1)
117.75/117.73	it(135) =< aux(2)
117.75/117.73	it(137) =< aux(2)
117.75/117.73	it(137) =< aux(3)
117.75/117.73	it(137) =< aux(18)
117.75/117.73	it(137) =< aux(5)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,A1=4,E1=0,F1+1=0,G1=0,I1=0,K1=3,L1=1,S=O1,0>=C1+1,0>=H1+1,I>=1,S>=0,J1>=0,M1>=2,B1>=C+1,C>=S,E>=B1+1] 
117.75/117.73	
117.75/117.73	* Chain [[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,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],237]: 56*it(135)+27*it(137)+0
117.75/117.73	  Such that:aux(1) =< -C+E
117.75/117.73	aux(2) =< -C+B1
117.75/117.73	aux(3) =< E-S
117.75/117.73	aux(5) =< -S+O1+1
117.75/117.73	aux(19) =< -S+O1
117.75/117.73	it(135) =< aux(1)
117.75/117.73	it(137) =< aux(1)
117.75/117.73	it(135) =< aux(2)
117.75/117.73	it(137) =< aux(2)
117.75/117.73	it(137) =< aux(3)
117.75/117.73	it(137) =< aux(19)
117.75/117.73	it(137) =< aux(5)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,A1=4,E1=0,F1+1=0,G1=0,I1=0,K1=3,L1=1,S=O1,0>=C1+1,0>=M1,I>=1,S>=0,H1>=1,J1>=0,B1>=C+1,C>=S,E>=B1+1] 
117.75/117.73	
117.75/117.73	* Chain [[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,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],236]: 56*it(135)+27*it(137)+0
117.75/117.73	  Such that:aux(1) =< -C+E
117.75/117.73	aux(2) =< -C+B1
117.75/117.73	aux(3) =< E-S
117.75/117.73	aux(5) =< -S+O1+1
117.75/117.73	aux(20) =< -S+O1
117.75/117.73	it(135) =< aux(1)
117.75/117.73	it(137) =< aux(1)
117.75/117.73	it(135) =< aux(2)
117.75/117.73	it(137) =< aux(2)
117.75/117.73	it(137) =< aux(3)
117.75/117.73	it(137) =< aux(20)
117.75/117.73	it(137) =< aux(5)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,A1=4,E1=0,F1+1=0,G1=0,I1=0,K1=3,L1=1,S=O1,0>=C1+1,I>=1,S>=0,H1>=1,J1>=0,M1>=2,B1>=C+1,C>=S,E>=B1+1] 
117.75/117.73	
117.75/117.73	* Chain [[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,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],235]: 56*it(135)+27*it(137)+0
117.75/117.73	  Such that:aux(1) =< -C+E
117.75/117.73	aux(2) =< -C+B1
117.75/117.73	aux(3) =< E-S
117.75/117.73	aux(5) =< -S+O1+1
117.75/117.73	aux(21) =< -S+O1
117.75/117.73	it(135) =< aux(1)
117.75/117.73	it(137) =< aux(1)
117.75/117.73	it(135) =< aux(2)
117.75/117.73	it(137) =< aux(2)
117.75/117.73	it(137) =< aux(3)
117.75/117.73	it(137) =< aux(21)
117.75/117.73	it(137) =< aux(5)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,A1=4,E1=0,F1+1=0,G1=0,I1=0,K1=3,L1=1,S=O1,0>=H1+1,0>=M1,I>=1,S>=0,C1>=1,J1>=0,B1>=C+1,C>=S,E>=B1+1] 
117.75/117.73	
117.75/117.73	* Chain [[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,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],234]: 56*it(135)+27*it(137)+0
117.75/117.73	  Such that:aux(1) =< -C+E
117.75/117.73	aux(2) =< -C+B1
117.75/117.73	aux(3) =< E-S
117.75/117.73	aux(5) =< -S+O1+1
117.75/117.73	aux(22) =< -S+O1
117.75/117.73	it(135) =< aux(1)
117.75/117.73	it(137) =< aux(1)
117.75/117.73	it(135) =< aux(2)
117.75/117.73	it(137) =< aux(2)
117.75/117.73	it(137) =< aux(3)
117.75/117.73	it(137) =< aux(22)
117.75/117.73	it(137) =< aux(5)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,A1=4,E1=0,F1+1=0,G1=0,I1=0,K1=3,L1=1,S=O1,0>=H1+1,I>=1,S>=0,C1>=1,J1>=0,M1>=2,B1>=C+1,C>=S,E>=B1+1] 
117.75/117.73	
117.75/117.73	* Chain [[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,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],233]: 56*it(135)+27*it(137)+0
117.75/117.73	  Such that:aux(1) =< -C+E
117.75/117.73	aux(2) =< -C+B1
117.75/117.73	aux(3) =< E-S
117.75/117.73	aux(5) =< -S+O1+1
117.75/117.73	aux(23) =< -S+O1
117.75/117.73	it(135) =< aux(1)
117.75/117.73	it(137) =< aux(1)
117.75/117.73	it(135) =< aux(2)
117.75/117.73	it(137) =< aux(2)
117.75/117.73	it(137) =< aux(3)
117.75/117.73	it(137) =< aux(23)
117.75/117.73	it(137) =< aux(5)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,A1=4,E1=0,F1+1=0,G1=0,I1=0,K1=3,L1=1,S=O1,0>=M1,I>=1,S>=0,C1>=1,H1>=1,J1>=0,B1>=C+1,C>=S,E>=B1+1] 
117.75/117.73	
117.75/117.73	* Chain [[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,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],232]: 56*it(135)+27*it(137)+0
117.75/117.73	  Such that:aux(1) =< -C+E
117.75/117.73	aux(2) =< -C+B1
117.75/117.73	aux(3) =< E-S
117.75/117.73	aux(5) =< -S+O1+1
117.75/117.73	aux(24) =< -S+O1
117.75/117.73	it(135) =< aux(1)
117.75/117.73	it(137) =< aux(1)
117.75/117.73	it(135) =< aux(2)
117.75/117.73	it(137) =< aux(2)
117.75/117.73	it(137) =< aux(3)
117.75/117.73	it(137) =< aux(24)
117.75/117.73	it(137) =< aux(5)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,A1=4,E1=0,F1+1=0,G1=0,I1=0,K1=3,L1=1,S=O1,I>=1,S>=0,C1>=1,H1>=1,J1>=0,M1>=2,B1>=C+1,C>=S,E>=B1+1] 
117.75/117.73	
117.75/117.73	* Chain [[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,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],231]: 56*it(135)+27*it(137)+1*s(1)+0
117.75/117.73	  Such that:aux(3) =< E-S
117.75/117.73	s(1) =< I
117.75/117.73	aux(25) =< -C+E
117.75/117.73	aux(26) =< -J
117.75/117.73	aux(4) =< aux(25)
117.75/117.73	aux(4) =< aux(26)
117.75/117.73	it(135) =< aux(25)
117.75/117.73	it(137) =< aux(25)
117.75/117.73	it(137) =< aux(3)
117.75/117.73	it(137) =< aux(4)
117.75/117.73	it(137) =< aux(26)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,A1=3,0>=J+2,I>=1,S>=0,E>=C+2,C>=S] 
117.75/117.73	
117.75/117.73	* Chain [[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,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],230]: 56*it(135)+27*it(137)+1*s(2)+0
117.75/117.73	  Such that:aux(3) =< E-S
117.75/117.73	s(2) =< I
117.75/117.73	aux(5) =< -J
117.75/117.73	aux(27) =< -C+E
117.75/117.73	it(135) =< aux(27)
117.75/117.73	it(137) =< aux(27)
117.75/117.73	it(137) =< aux(3)
117.75/117.73	it(137) =< aux(5)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,A1=3,I>=1,J+1>=0,S>=0,E>=C+2,C>=S] 
117.75/117.73	
117.75/117.73	* Chain [[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,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],229]: 56*it(135)+27*it(137)+0
117.75/117.73	  Such that:aux(3) =< E-S
117.75/117.73	aux(5) =< -J
117.75/117.73	aux(28) =< -C+E
117.75/117.73	it(135) =< aux(28)
117.75/117.73	it(137) =< aux(28)
117.75/117.73	it(137) =< aux(3)
117.75/117.73	it(137) =< aux(5)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,A1=3,S>=0,E>=C+2,C>=S] 
117.75/117.73	
117.75/117.73	* Chain [[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,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],228]: 56*it(135)+27*it(137)+0
117.75/117.73	  Such that:aux(3) =< E-S
117.75/117.73	aux(5) =< -J
117.75/117.73	aux(29) =< -C+E
117.75/117.73	it(135) =< aux(29)
117.75/117.73	it(137) =< aux(29)
117.75/117.73	it(137) =< aux(3)
117.75/117.73	it(137) =< aux(5)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,A1=3,S>=0,E>=C+1,C>=S] 
117.75/117.73	
117.75/117.73	* Chain [[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,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],227]: 56*it(135)+27*it(137)+0
117.75/117.73	  Such that:aux(1) =< -C+E
117.75/117.73	aux(2) =< -C+B1
117.75/117.73	aux(3) =< E-S
117.75/117.73	aux(5) =< -J
117.75/117.73	aux(30) =< -J+F1
117.75/117.73	it(135) =< aux(1)
117.75/117.73	it(137) =< aux(1)
117.75/117.73	it(135) =< aux(2)
117.75/117.73	it(137) =< aux(2)
117.75/117.73	it(137) =< aux(3)
117.75/117.73	it(137) =< aux(30)
117.75/117.73	it(137) =< aux(5)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,A1=4,C1=0,D1=0,E1=0,J=F1,K=G1,L=H1,M=I1,N=J1,O=K1,P=L1,Q=M1,R=N1,S=O1,0>=I,S>=0,B1>=C+1,C>=S,E>=B1+1] 
117.75/117.73	
117.75/117.73	* Chain [[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,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],226]: 56*it(135)+27*it(137)+1*s(3)+0
117.75/117.73	  Such that:aux(1) =< -C+E
117.75/117.73	aux(2) =< -C+B1
117.75/117.73	aux(3) =< E-J+F1-O1
117.75/117.73	aux(5) =< -J
117.75/117.73	s(3) =< E1
117.75/117.73	aux(31) =< -J+F1
117.75/117.73	it(135) =< aux(1)
117.75/117.73	it(137) =< aux(1)
117.75/117.73	it(135) =< aux(2)
117.75/117.73	it(137) =< aux(2)
117.75/117.73	it(137) =< aux(3)
117.75/117.73	it(137) =< aux(31)
117.75/117.73	it(137) =< aux(5)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,A1=4,C1=0,D1=0,I=E1,J=F1,K=G1,L=H1,M=I1,N=J1,O=K1,P=L1,Q=M1,R=N1,S=O1,0>=J+2,I>=1,S>=0,B1>=C+1,C>=S,E>=B1+1] 
117.75/117.73	
117.75/117.73	* Chain [[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,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],225]: 56*it(135)+27*it(137)+1*s(4)+0
117.75/117.73	  Such that:aux(1) =< -C+E
117.75/117.73	aux(2) =< -C+B1
117.75/117.73	aux(3) =< E-J+F1-O1
117.75/117.73	aux(5) =< -J
117.75/117.73	s(4) =< E1
117.75/117.73	aux(32) =< -J+F1
117.75/117.73	it(135) =< aux(1)
117.75/117.73	it(137) =< aux(1)
117.75/117.73	it(135) =< aux(2)
117.75/117.73	it(137) =< aux(2)
117.75/117.73	it(137) =< aux(3)
117.75/117.73	it(137) =< aux(32)
117.75/117.73	it(137) =< aux(5)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,A1=4,C1=0,D1=0,I=E1,O=K1,S+F1=J+O1,I>=1,J+1>=0,S>=0,F1>=0,B1>=C+1,F1>=J,C>=S,E>=B1+1,J+B1>=C+F1] 
117.75/117.73	
117.75/117.73	* Chain [[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,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],224]: 56*it(135)+27*it(137)+0
117.75/117.73	  Such that:aux(5) =< -J
117.75/117.73	aux(3) =< -S+B1
117.75/117.73	aux(33) =< -C+B1
117.75/117.73	aux(34) =< -J+F1
117.75/117.73	it(135) =< aux(33)
117.75/117.73	it(137) =< aux(33)
117.75/117.73	it(137) =< aux(3)
117.75/117.73	it(137) =< aux(34)
117.75/117.73	it(137) =< aux(5)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,A1=4,E1=0,E=B1,O=K1,S+F1=J+O1,S>=0,E>=C+1,F1>=J,C>=S,E+J>=C+F1] 
117.75/117.73	
117.75/117.73	* Chain [[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,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],223]: 56*it(135)+27*it(137)+0
117.75/117.73	  Such that:aux(1) =< -C+E
117.75/117.73	aux(2) =< -C+B1
117.75/117.73	aux(3) =< E-S
117.75/117.73	aux(5) =< -J
117.75/117.73	aux(35) =< -J+F1
117.75/117.73	it(135) =< aux(1)
117.75/117.73	it(137) =< aux(1)
117.75/117.73	it(135) =< aux(2)
117.75/117.73	it(137) =< aux(2)
117.75/117.73	it(137) =< aux(3)
117.75/117.73	it(137) =< aux(35)
117.75/117.73	it(137) =< aux(5)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,A1=4,E1=0,J=F1,K=G1,L=H1,M=I1,N=J1,O=K1,P=L1,Q=M1,R=N1,S=O1,0>=I,0>=C1+1,S>=0,B1>=C+1,C>=S,E>=B1+1] 
117.75/117.73	
117.75/117.73	* Chain [[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,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],222]: 56*it(135)+27*it(137)+0
117.75/117.73	  Such that:aux(1) =< -C+E
117.75/117.73	aux(2) =< -C+B1
117.75/117.73	aux(3) =< E-S
117.75/117.73	aux(5) =< -J
117.75/117.73	aux(36) =< -J+F1
117.75/117.73	it(135) =< aux(1)
117.75/117.73	it(137) =< aux(1)
117.75/117.73	it(135) =< aux(2)
117.75/117.73	it(137) =< aux(2)
117.75/117.73	it(137) =< aux(3)
117.75/117.73	it(137) =< aux(36)
117.75/117.73	it(137) =< aux(5)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,A1=4,E1=0,J=F1,K=G1,L=H1,M=I1,N=J1,O=K1,P=L1,Q=M1,R=N1,S=O1,0>=I,S>=0,C1>=1,B1>=C+1,C>=S,E>=B1+1] 
117.75/117.73	
117.75/117.73	* Chain [[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,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],221]: 56*it(135)+27*it(137)+1*s(5)+0
117.75/117.73	  Such that:aux(1) =< -C+E
117.75/117.73	aux(2) =< -C+B1
117.75/117.73	aux(3) =< E-J+F1-O1
117.75/117.73	aux(5) =< -J
117.75/117.73	s(5) =< E1
117.75/117.73	aux(37) =< -J+F1
117.75/117.73	it(135) =< aux(1)
117.75/117.73	it(137) =< aux(1)
117.75/117.73	it(135) =< aux(2)
117.75/117.73	it(137) =< aux(2)
117.75/117.73	it(137) =< aux(3)
117.75/117.73	it(137) =< aux(37)
117.75/117.73	it(137) =< aux(5)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,A1=4,I=E1,J=F1,K=G1,L=H1,M=I1,N=J1,O=K1,P=L1,Q=M1,R=N1,S=O1,0>=J+2,0>=C1+1,I>=1,S>=0,B1>=C+1,C>=S,E>=B1+1] 
117.75/117.73	
117.75/117.73	* Chain [[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,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],220]: 56*it(135)+27*it(137)+1*s(6)+0
117.75/117.73	  Such that:aux(1) =< -C+E
117.75/117.73	aux(2) =< -C+B1
117.75/117.73	aux(3) =< E-J+F1-O1
117.75/117.73	aux(5) =< -J
117.75/117.73	s(6) =< E1
117.75/117.73	aux(38) =< -J+F1
117.75/117.73	it(135) =< aux(1)
117.75/117.73	it(137) =< aux(1)
117.75/117.73	it(135) =< aux(2)
117.75/117.73	it(137) =< aux(2)
117.75/117.73	it(137) =< aux(3)
117.75/117.73	it(137) =< aux(38)
117.75/117.73	it(137) =< aux(5)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,A1=4,I=E1,J=F1,K=G1,L=H1,M=I1,N=J1,O=K1,P=L1,Q=M1,R=N1,S=O1,0>=J+2,I>=1,S>=0,C1>=1,B1>=C+1,C>=S,E>=B1+1] 
117.75/117.73	
117.75/117.73	* Chain [[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,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],219]: 56*it(135)+27*it(137)+1*s(7)+0
117.75/117.73	  Such that:aux(1) =< -C+E
117.75/117.73	aux(2) =< -C+B1
117.75/117.73	aux(3) =< E-J+F1-O1
117.75/117.73	s(7) =< I
117.75/117.73	aux(5) =< -J
117.75/117.73	aux(39) =< -J+F1
117.75/117.73	it(135) =< aux(1)
117.75/117.73	it(137) =< aux(1)
117.75/117.73	it(135) =< aux(2)
117.75/117.73	it(137) =< aux(2)
117.75/117.73	it(137) =< aux(3)
117.75/117.73	it(137) =< aux(39)
117.75/117.73	it(137) =< aux(5)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,A1=4,I=E1,O=K1,S+F1=J+O1,0>=C1+1,I>=1,J+1>=0,S>=0,F1>=0,B1>=C+1,F1>=J,C>=S,E>=B1+1,J+B1>=C+F1] 
117.75/117.73	
117.75/117.73	* Chain [[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,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]: 56*it(135)+27*it(137)+1*s(8)+0
117.75/117.73	  Such that:aux(1) =< -C+E
117.75/117.73	aux(2) =< -C+B1
117.75/117.73	aux(3) =< E-J+F1-O1
117.75/117.73	s(8) =< I
117.75/117.73	aux(5) =< -J
117.75/117.73	aux(40) =< -J+F1
117.75/117.73	it(135) =< aux(1)
117.75/117.73	it(137) =< aux(1)
117.75/117.73	it(135) =< aux(2)
117.75/117.73	it(137) =< aux(2)
117.75/117.73	it(137) =< aux(3)
117.75/117.73	it(137) =< aux(40)
117.75/117.73	it(137) =< aux(5)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,A1=4,I=E1,O=K1,S+F1=J+O1,I>=1,J+1>=0,S>=0,C1>=1,F1>=0,B1>=C+1,F1>=J,C>=S,E>=B1+1,J+B1>=C+F1] 
117.75/117.73	
117.75/117.73	* Chain [249]: 0
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,A1=4,C1=0,D1=0,E1=0,F1+1=0,G1=0,H1=0,K1=3,L1=1,I1=M,N1=R,C=B1,S=O1,0>=M1,I>=1,S>=0,J1>=0,E>=C+1,C>=S] 
117.75/117.73	
117.75/117.73	* Chain [248]: 0
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,A1=4,C1=0,D1=0,E1=0,F1+1=0,G1=0,H1=0,K1=3,L1=1,I1=M,N1=R,C=B1,S=O1,I>=1,S>=0,J1>=0,M1>=2,E>=C+1,C>=S] 
117.75/117.73	
117.75/117.73	* Chain [247]: 0
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,A1=4,C1=0,D1=0,E1=0,F1+1=0,G1=0,I1=0,K1=3,L1=1,N1=R,C=B1,S=O1,0>=H1+1,0>=M1,I>=1,S>=0,J1>=0,E>=C+1,C>=S] 
117.75/117.73	
117.75/117.73	* Chain [246]: 0
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,A1=4,C1=0,D1=0,E1=0,F1+1=0,G1=0,I1=0,K1=3,L1=1,N1=R,C=B1,S=O1,0>=H1+1,I>=1,S>=0,J1>=0,M1>=2,E>=C+1,C>=S] 
117.75/117.73	
117.75/117.73	* Chain [245]: 0
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,A1=4,C1=0,D1=0,E1=0,F1+1=0,G1=0,I1=0,K1=3,L1=1,N1=R,C=B1,S=O1,0>=M1,I>=1,S>=0,H1>=1,J1>=0,E>=C+1,C>=S] 
117.75/117.73	
117.75/117.73	* Chain [244]: 0
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,A1=4,C1=0,D1=0,E1=0,F1+1=0,G1=0,I1=0,K1=3,L1=1,N1=R,C=B1,S=O1,I>=1,S>=0,H1>=1,J1>=0,M1>=2,E>=C+1,C>=S] 
117.75/117.73	
117.75/117.73	* Chain [243]: 0
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,A1=4,E1=0,F1+1=0,G1=0,H1=0,K1=3,L1=1,D1=G,I1=M,N1=R,C=B1,S=O1,0>=C1+1,0>=M1,I>=1,S>=0,J1>=0,E>=C+1,C>=S] 
117.75/117.73	
117.75/117.73	* Chain [242]: 0
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,A1=4,E1=0,F1+1=0,G1=0,H1=0,K1=3,L1=1,D1=G,I1=M,N1=R,C=B1,S=O1,0>=C1+1,I>=1,S>=0,J1>=0,M1>=2,E>=C+1,C>=S] 
117.75/117.73	
117.75/117.73	* Chain [241]: 0
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,A1=4,E1=0,F1+1=0,G1=0,H1=0,K1=3,L1=1,D1=G,I1=M,N1=R,C=B1,S=O1,0>=M1,I>=1,S>=0,C1>=1,J1>=0,E>=C+1,C>=S] 
117.75/117.73	
117.75/117.73	* Chain [240]: 0
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,A1=4,E1=0,F1+1=0,G1=0,H1=0,K1=3,L1=1,D1=G,I1=M,N1=R,C=B1,S=O1,I>=1,S>=0,C1>=1,J1>=0,M1>=2,E>=C+1,C>=S] 
117.75/117.73	
117.75/117.73	* Chain [239]: 0
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,A1=4,E1=0,F1+1=0,G1=0,I1=0,K1=3,L1=1,D1=G,N1=R,C=B1,S=O1,0>=C1+1,0>=H1+1,0>=M1,I>=1,S>=0,J1>=0,E>=C+1,C>=S] 
117.75/117.73	
117.75/117.73	* Chain [238]: 0
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,A1=4,E1=0,F1+1=0,G1=0,I1=0,K1=3,L1=1,D1=G,N1=R,C=B1,S=O1,0>=C1+1,0>=H1+1,I>=1,S>=0,J1>=0,M1>=2,E>=C+1,C>=S] 
117.75/117.73	
117.75/117.73	* Chain [237]: 0
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,A1=4,E1=0,F1+1=0,G1=0,I1=0,K1=3,L1=1,D1=G,N1=R,C=B1,S=O1,0>=C1+1,0>=M1,I>=1,S>=0,H1>=1,J1>=0,E>=C+1,C>=S] 
117.75/117.73	
117.75/117.73	* Chain [236]: 0
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,A1=4,E1=0,F1+1=0,G1=0,I1=0,K1=3,L1=1,D1=G,N1=R,C=B1,S=O1,0>=C1+1,I>=1,S>=0,H1>=1,J1>=0,M1>=2,E>=C+1,C>=S] 
117.75/117.73	
117.75/117.73	* Chain [235]: 0
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,A1=4,E1=0,F1+1=0,G1=0,I1=0,K1=3,L1=1,D1=G,N1=R,C=B1,S=O1,0>=H1+1,0>=M1,I>=1,S>=0,C1>=1,J1>=0,E>=C+1,C>=S] 
117.75/117.73	
117.75/117.73	* Chain [234]: 0
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,A1=4,E1=0,F1+1=0,G1=0,I1=0,K1=3,L1=1,D1=G,N1=R,C=B1,S=O1,0>=H1+1,I>=1,S>=0,C1>=1,J1>=0,M1>=2,E>=C+1,C>=S] 
117.75/117.73	
117.75/117.73	* Chain [233]: 0
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,A1=4,E1=0,F1+1=0,G1=0,I1=0,K1=3,L1=1,D1=G,N1=R,C=B1,S=O1,0>=M1,I>=1,S>=0,C1>=1,H1>=1,J1>=0,E>=C+1,C>=S] 
117.75/117.73	
117.75/117.73	* Chain [232]: 0
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,A1=4,E1=0,F1+1=0,G1=0,I1=0,K1=3,L1=1,D1=G,N1=R,C=B1,S=O1,I>=1,S>=0,C1>=1,H1>=1,J1>=0,M1>=2,E>=C+1,C>=S] 
117.75/117.73	
117.75/117.73	* Chain [231]: 1*s(1)+0
117.75/117.73	  Such that:s(1) =< I
117.75/117.73	
117.75/117.73	  with precondition: [H=0,A1=3,0>=J+2,I>=1,S>=0,E>=C+1,C>=S] 
117.75/117.73	
117.75/117.73	* Chain [230]: 1*s(2)+0
117.75/117.73	  Such that:s(2) =< I
117.75/117.73	
117.75/117.73	  with precondition: [H=0,A1=3,I>=1,J>=0,S>=0,E>=C+1,C>=S] 
117.75/117.73	
117.75/117.73	* Chain [229]: 0
117.75/117.73	  with precondition: [H=0,A1=3,S>=0,E>=C+1,C>=S] 
117.75/117.73	
117.75/117.73	* Chain [228]: 0
117.75/117.73	  with precondition: [H=0,A1=3,S>=0,C>=S] 
117.75/117.73	
117.75/117.73	* Chain [227]: 0
117.75/117.73	  with precondition: [H=0,A1=4,C1=0,D1=0,E1=0,F1=J,G1=K,H1=L,I1=M,J1=N,K1=O,L1=P,M1=Q,N1=R,C=B1,S=O1,0>=I,S>=0,E>=C+1,C>=S] 
117.75/117.73	
117.75/117.73	* Chain [226]: 1*s(3)+0
117.75/117.73	  Such that:s(3) =< I
117.75/117.73	
117.75/117.73	  with precondition: [H=0,A1=4,C1=0,D1=0,G1=K,H1=L,I1=M,J1=N,K1=O,L1=P,M1=Q,N1=R,C=B1,I=E1,J=F1,S=O1,0>=J+2,I>=1,S>=0,E>=C+1,C>=S] 
117.75/117.73	
117.75/117.73	* Chain [225]: 1*s(4)+0
117.75/117.73	  Such that:s(4) =< I
117.75/117.73	
117.75/117.73	  with precondition: [H=0,A1=4,C1=0,D1=0,G1=K,H1=L,I1=M,J1=N,K1=O,L1=P,M1=Q,N1=R,C=B1,I=E1,J=F1,S=O1,I>=1,J>=0,S>=0,E>=C+1,C>=S] 
117.75/117.73	
117.75/117.73	* Chain [224]: 0
117.75/117.73	  with precondition: [H=0,A1=4,E1=0,C1=F,D1=G,F1=J,G1=K,H1=L,I1=M,J1=N,K1=O,L1=P,M1=Q,N1=R,C=B1,S=O1,S>=0,C>=E,C>=S] 
117.75/117.73	
117.75/117.73	* Chain [223]: 0
117.75/117.73	  with precondition: [H=0,A1=4,E1=0,D1=G,F1=J,G1=K,H1=L,I1=M,J1=N,K1=O,L1=P,M1=Q,N1=R,C=B1,S=O1,0>=I,0>=C1+1,S>=0,E>=C+1,C>=S] 
117.75/117.73	
117.75/117.73	* Chain [222]: 0
117.75/117.73	  with precondition: [H=0,A1=4,E1=0,D1=G,F1=J,G1=K,H1=L,I1=M,J1=N,K1=O,L1=P,M1=Q,N1=R,C=B1,S=O1,0>=I,S>=0,C1>=1,E>=C+1,C>=S] 
117.75/117.73	
117.75/117.73	* Chain [221]: 1*s(5)+0
117.75/117.73	  Such that:s(5) =< I
117.75/117.73	
117.75/117.73	  with precondition: [H=0,A1=4,D1=G,G1=K,H1=L,I1=M,J1=N,K1=O,L1=P,M1=Q,N1=R,C=B1,I=E1,J=F1,S=O1,0>=J+2,0>=C1+1,I>=1,S>=0,E>=C+1,C>=S] 
117.75/117.73	
117.75/117.73	* Chain [220]: 1*s(6)+0
117.75/117.73	  Such that:s(6) =< I
117.75/117.73	
117.75/117.73	  with precondition: [H=0,A1=4,D1=G,G1=K,H1=L,I1=M,J1=N,K1=O,L1=P,M1=Q,N1=R,C=B1,I=E1,J=F1,S=O1,0>=J+2,I>=1,S>=0,C1>=1,E>=C+1,C>=S] 
117.75/117.73	
117.75/117.73	* Chain [219]: 1*s(7)+0
117.75/117.73	  Such that:s(7) =< I
117.75/117.73	
117.75/117.73	  with precondition: [H=0,A1=4,D1=G,G1=K,H1=L,I1=M,J1=N,K1=O,L1=P,M1=Q,N1=R,C=B1,I=E1,J=F1,S=O1,0>=C1+1,I>=1,J>=0,S>=0,E>=C+1,C>=S] 
117.75/117.73	
117.75/117.73	* Chain [218]: 1*s(8)+0
117.75/117.73	  Such that:s(8) =< I
117.75/117.73	
117.75/117.73	  with precondition: [H=0,A1=4,D1=G,G1=K,H1=L,I1=M,J1=N,K1=O,L1=P,M1=Q,N1=R,C=B1,I=E1,J=F1,S=O1,I>=1,J>=0,S>=0,C1>=1,E>=C+1,C>=S] 
117.75/117.73	
117.75/117.73	
117.75/117.73	#### Cost of chains of f71(A1):
117.75/117.73	* Chain [[250]]...: 1*it(250)+0
117.75/117.73	  with precondition: [A1=3] 
117.75/117.73	
117.75/117.73	* Chain [[250],251]: 1*it(250)+0
117.75/117.73	  with precondition: [A1=3] 
117.75/117.73	
117.75/117.73	* Chain [251]: 0
117.75/117.73	  with precondition: [A1=3] 
117.75/117.73	
117.75/117.73	
117.75/117.73	#### Cost of chains of f74(A1):
117.75/117.73	* Chain [[252]]...: 1*it(252)+0
117.75/117.73	  with precondition: [A1=3] 
117.75/117.73	
117.75/117.73	* Chain [[252],253]: 1*it(252)+0
117.75/117.73	  with precondition: [A1=3] 
117.75/117.73	
117.75/117.73	* Chain [253]: 0
117.75/117.73	  with precondition: [A1=3] 
117.75/117.73	
117.75/117.73	
117.75/117.73	#### Cost of chains of f69(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,A1):
117.75/117.73	* Chain [259]: 1*s(16)+0
117.75/117.73	  with precondition: [S=0,U=1,1>=B,B>=0,V>=1,B+D>=1] 
117.75/117.73	
117.75/117.73	* Chain [258]: 1*s(17)+0
117.75/117.73	  with precondition: [U=1,1>=B,0>=S+1,B>=0,V>=1,B+D>=1] 
117.75/117.73	
117.75/117.73	* Chain [257]: 1*s(18)+0
117.75/117.73	  with precondition: [U=1,1>=B,B>=0,S>=1,V>=1,B+D>=1] 
117.75/117.73	
117.75/117.73	* Chain [256]...: 1*s(19)+0
117.75/117.73	  with precondition: [S=0,U=1,1>=B,B>=0,V>=1,B+D>=1] 
117.75/117.73	
117.75/117.73	* Chain [255]...: 1*s(20)+0
117.75/117.73	  with precondition: [U=1,1>=B,0>=S+1,B>=0,V>=1,B+D>=1] 
117.75/117.73	
117.75/117.73	* Chain [254]...: 1*s(21)+0
117.75/117.73	  with precondition: [U=1,1>=B,B>=0,S>=1,V>=1,B+D>=1] 
117.75/117.73	
117.75/117.73	
117.75/117.73	#### 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):
117.75/117.73	* Chain [266]...: 1*s(22)+0
117.75/117.73	  with precondition: [A=4,T=0,V=1,1>=C,C>=0,W>=1,C+E>=1] 
117.75/117.73	
117.75/117.73	* Chain [265]...: 1*s(23)+0
117.75/117.73	  with precondition: [A=4,V=1,1>=C,0>=T+1,C>=0,W>=1,C+E>=1] 
117.75/117.73	
117.75/117.73	* Chain [264]...: 1*s(24)+0
117.75/117.73	  with precondition: [A=4,V=1,1>=C,C>=0,T>=1,W>=1,C+E>=1] 
117.75/117.73	
117.75/117.73	* Chain [263]: 0
117.75/117.73	  with precondition: [A=3,V=1,1>=C,C>=0,W>=1,C+E>=1] 
117.75/117.73	
117.75/117.73	* Chain [262]: 1*s(25)+0
117.75/117.73	  with precondition: [A=4,T=0,V=1,1>=C,C>=0,W>=1,C+E>=1] 
117.75/117.73	
117.75/117.73	* Chain [261]: 1*s(26)+0
117.75/117.73	  with precondition: [A=4,V=1,1>=C,0>=T+1,C>=0,W>=1,C+E>=1] 
117.75/117.73	
117.75/117.73	* Chain [260]: 1*s(27)+0
117.75/117.73	  with precondition: [A=4,V=1,1>=C,C>=0,T>=1,W>=1,C+E>=1] 
117.75/117.73	
117.75/117.73	
117.75/117.73	#### 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,A1):
117.75/117.73	* Chain [362]: 1*aux(43)+0
117.75/117.73	  with precondition: [A=0,D=0,H=0,J+1=0,O=3,S=0,U=1,E>=1,I>=1,V>=1] 
117.75/117.73	
117.75/117.73	* Chain [361]: 1008*s(51)+18*s(53)+0
117.75/117.73	  Such that:aux(62) =< E
117.75/117.73	s(51) =< aux(62)
117.75/117.73	
117.75/117.73	  with precondition: [A=0,D=0,H=0,J+1=0,O=3,S=0,U=1,E>=2,I>=1,V>=1] 
117.75/117.73	
117.75/117.73	* Chain [360]: 1*s(190)+0
117.75/117.73	  with precondition: [A=0,D=0,H=0,S=0,U=1,0>=E,V>=1] 
117.75/117.73	
117.75/117.73	* Chain [359]: 1*aux(63)+0
117.75/117.73	  with precondition: [A=0,D=0,H=0,S=0,U=1,0>=I,E>=1,V>=1] 
117.75/117.73	
117.75/117.73	* Chain [358]: 168*s(199)+3*s(201)+0
117.75/117.73	  Such that:aux(67) =< E
117.75/117.73	s(199) =< aux(67)
117.75/117.73	
117.75/117.73	  with precondition: [A=0,D=0,H=0,S=0,U=1,0>=I,E>=2,V>=1] 
117.75/117.73	
117.75/117.73	* Chain [357]: 4*s(218)+3*s(220)+0
117.75/117.73	  Such that:aux(68) =< I
117.75/117.73	s(218) =< aux(68)
117.75/117.73	
117.75/117.73	  with precondition: [A=0,D=0,H=0,S=0,U=1,0>=J+2,E>=1,I>=1,V>=1] 
117.75/117.73	
117.75/117.73	* Chain [356]: 4*s(226)+224*s(230)+27*s(231)+3*s(240)+0
117.75/117.73	  Such that:s(228) =< -J
117.75/117.73	aux(73) =< E
117.75/117.73	aux(74) =< I
117.75/117.73	s(226) =< aux(74)
117.75/117.73	s(229) =< aux(73)
117.75/117.73	s(229) =< s(228)
117.75/117.73	s(230) =< aux(73)
117.75/117.73	s(231) =< aux(73)
117.75/117.73	s(231) =< s(229)
117.75/117.73	s(231) =< s(228)
117.75/117.73	
117.75/117.73	  with precondition: [A=0,D=0,H=0,S=0,U=1,0>=J+2,E>=2,I>=1,V>=1] 
117.75/117.73	
117.75/117.73	* Chain [355]: 4*s(259)+3*s(261)+0
117.75/117.73	  Such that:aux(75) =< I
117.75/117.73	s(259) =< aux(75)
117.75/117.73	
117.75/117.73	  with precondition: [A=0,D=0,H=0,S=0,U=1,E>=1,I>=1,J>=0,V>=1] 
117.75/117.73	
117.75/117.73	* Chain [354]: 168*s(269)+54*s(270)+2*s(277)+0
117.75/117.73	  Such that:aux(79) =< E
117.75/117.73	aux(80) =< -J
117.75/117.73	s(269) =< aux(79)
117.75/117.73	s(270) =< aux(79)
117.75/117.73	s(270) =< aux(80)
117.75/117.73	
117.75/117.73	  with precondition: [A=0,D=0,H=0,S=0,U=1,E>=1,V>=1] 
117.75/117.73	
117.75/117.73	* Chain [353]: 4*s(286)+224*s(289)+108*s(290)+3*s(299)+0
117.75/117.73	  Such that:aux(85) =< 1
117.75/117.73	aux(86) =< E
117.75/117.73	aux(87) =< I
117.75/117.73	aux(88) =< -J
117.75/117.73	s(287) =< aux(85)
117.75/117.73	s(286) =< aux(87)
117.75/117.73	s(287) =< aux(88)
117.75/117.73	s(289) =< aux(86)
117.75/117.73	s(290) =< aux(86)
117.75/117.73	s(290) =< s(287)
117.75/117.73	
117.75/117.73	  with precondition: [A=0,D=0,H=0,S=0,U=1,E>=2,I>=1,J+1>=0,V>=1] 
117.75/117.73	
117.75/117.73	* Chain [352]: 3*s(322)+168*s(324)+3*s(326)+0
117.75/117.73	  Such that:aux(95) =< E
117.75/117.73	aux(96) =< I
117.75/117.73	s(322) =< aux(96)
117.75/117.73	s(324) =< aux(95)
117.75/117.73	
117.75/117.73	  with precondition: [A=0,D=0,H=0,S=0,U=1,E>=2,I>=1,J>=0,V>=1] 
117.75/117.73	
117.75/117.73	* Chain [351]: 56*s(348)+27*s(349)+0
117.75/117.73	  Such that:s(346) =< -J
117.75/117.73	aux(97) =< E
117.75/117.73	s(348) =< aux(97)
117.75/117.73	s(349) =< aux(97)
117.75/117.73	s(349) =< s(346)
117.75/117.73	
117.75/117.73	  with precondition: [A=0,D=0,H=0,S=0,U=1,E>=2,V>=1] 
117.75/117.73	
117.75/117.73	* Chain [350]: 0
117.75/117.73	  with precondition: [A=0,D=0,H=0,S=0,U=1,V>=1] 
117.75/117.73	
117.75/117.73	* Chain [349]: 1*aux(98)+0
117.75/117.73	  with precondition: [A=0,H=0,J+1=0,O=3,S=0,U=1,D>=1,I>=1,V>=1,E>=D+1] 
117.75/117.73	
117.75/117.73	* Chain [348]: 1008*s(373)+18*s(375)+0
117.75/117.73	  Such that:aux(117) =< -D+E
117.75/117.73	s(373) =< aux(117)
117.75/117.73	
117.75/117.73	  with precondition: [A=0,H=0,J+1=0,O=3,S=0,U=1,D>=1,I>=1,V>=1,E>=D+2] 
117.75/117.73	
117.75/117.73	* Chain [347]: 1*aux(118)+0
117.75/117.73	  with precondition: [A=0,H=0,S=0,U=1,0>=I,D>=1,V>=1,E>=D+1] 
117.75/117.73	
117.75/117.73	* Chain [346]: 168*s(520)+3*s(522)+0
117.75/117.73	  Such that:aux(122) =< -D+E
117.75/117.73	s(520) =< aux(122)
117.75/117.73	
117.75/117.73	  with precondition: [A=0,H=0,S=0,U=1,0>=I,D>=1,V>=1,E>=D+2] 
117.75/117.73	
117.75/117.73	* Chain [345]: 4*s(539)+3*s(541)+0
117.75/117.73	  Such that:aux(123) =< I
117.75/117.73	s(539) =< aux(123)
117.75/117.73	
117.75/117.73	  with precondition: [A=0,H=0,S=0,U=1,0>=J+2,D>=1,I>=1,V>=1,E>=D+1] 
117.75/117.73	
117.75/117.73	* Chain [344]: 4*s(547)+224*s(551)+27*s(552)+3*s(561)+0
117.75/117.73	  Such that:s(546) =< E
117.75/117.73	s(549) =< -J
117.75/117.73	aux(127) =< -D+E
117.75/117.73	aux(128) =< I
117.75/117.73	s(547) =< aux(128)
117.75/117.73	s(550) =< aux(127)
117.75/117.73	s(550) =< s(549)
117.75/117.73	s(551) =< aux(127)
117.75/117.73	s(552) =< aux(127)
117.75/117.73	s(552) =< s(546)
117.75/117.73	s(552) =< s(550)
117.75/117.73	s(552) =< s(549)
117.75/117.73	
117.75/117.73	  with precondition: [A=0,H=0,S=0,U=1,0>=J+2,D>=1,I>=1,V>=1,E>=D+2] 
117.75/117.73	
117.75/117.73	* Chain [343]: 4*s(581)+224*s(584)+108*s(585)+3*s(594)+0
117.75/117.73	  Such that:aux(132) =< 1
117.75/117.73	aux(133) =< -D+E
117.75/117.73	aux(134) =< E
117.75/117.73	aux(135) =< I
117.75/117.73	aux(136) =< -J
117.75/117.73	s(582) =< aux(132)
117.75/117.73	s(581) =< aux(135)
117.75/117.73	s(582) =< aux(136)
117.75/117.73	s(584) =< aux(133)
117.75/117.73	s(585) =< aux(133)
117.75/117.73	s(585) =< aux(134)
117.75/117.73	s(585) =< s(582)
117.75/117.73	
117.75/117.73	  with precondition: [A=0,H=0,S=0,U=1,D>=1,I>=1,J+1>=0,V>=1,E>=D+2] 
117.75/117.73	
117.75/117.73	* Chain [342]: 4*s(613)+3*s(615)+0
117.75/117.73	  Such that:aux(137) =< I
117.75/117.73	s(613) =< aux(137)
117.75/117.73	
117.75/117.73	  with precondition: [A=0,H=0,S=0,U=1,D>=1,I>=1,J>=0,V>=1,E>=D+1] 
117.75/117.73	
117.75/117.73	* Chain [341]: 3*s(624)+168*s(626)+3*s(628)+0
117.75/117.73	  Such that:aux(144) =< -D+E
117.75/117.73	aux(145) =< I
117.75/117.73	s(624) =< aux(145)
117.75/117.73	s(626) =< aux(144)
117.75/117.73	
117.75/117.73	  with precondition: [A=0,H=0,S=0,U=1,D>=1,I>=1,J>=0,V>=1,E>=D+2] 
117.75/117.73	
117.75/117.73	* Chain [340]: 0
117.75/117.73	  with precondition: [A=0,H=0,S=0,U=1,D>=1,V>=1] 
117.75/117.73	
117.75/117.73	* Chain [339]: 168*s(650)+54*s(651)+2*s(658)+0
117.75/117.73	  Such that:aux(147) =< -D+E
117.75/117.73	aux(148) =< E
117.75/117.73	aux(149) =< -J
117.75/117.73	s(650) =< aux(147)
117.75/117.73	s(651) =< aux(147)
117.75/117.73	s(651) =< aux(148)
117.75/117.73	s(651) =< aux(149)
117.75/117.73	
117.75/117.73	  with precondition: [A=0,H=0,S=0,U=1,D>=1,V>=1,E>=D+1] 
117.75/117.73	
117.75/117.73	* Chain [338]: 56*s(669)+27*s(670)+0
117.75/117.73	  Such that:s(668) =< -D+E
117.75/117.73	s(666) =< E
117.75/117.73	s(667) =< -J
117.75/117.73	s(669) =< s(668)
117.75/117.73	s(670) =< s(668)
117.75/117.73	s(670) =< s(666)
117.75/117.73	s(670) =< s(667)
117.75/117.73	
117.75/117.73	  with precondition: [A=0,H=0,S=0,U=1,D>=1,V>=1,E>=D+2] 
117.75/117.73	
117.75/117.73	* Chain [337]: 1*s(671)+0
117.75/117.73	  with precondition: [A=0,H=0,S=0,U=1,D>=1,V>=1,D>=E] 
117.75/117.73	
117.75/117.73	* Chain [336]: 1*aux(150)+0
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,S=0,U=1,0>=A+1,D>=0,I>=1,V>=1,E>=D+1] 
117.75/117.73	
117.75/117.73	* Chain [335]: 1008*s(695)+18*s(697)+0
117.75/117.73	  Such that:aux(169) =< -D+E
117.75/117.73	s(695) =< aux(169)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,S=0,U=1,0>=A+1,D>=0,I>=1,V>=1,E>=D+2] 
117.75/117.73	
117.75/117.73	* Chain [334]: 1*aux(170)+0
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,S=0,U=1,A>=1,D>=0,I>=1,V>=1,E>=D+1] 
117.75/117.73	
117.75/117.73	* Chain [333]: 1008*s(857)+18*s(859)+0
117.75/117.73	  Such that:aux(189) =< -D+E
117.75/117.73	s(857) =< aux(189)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,J+1=0,O=3,S=0,U=1,A>=1,D>=0,I>=1,V>=1,E>=D+2] 
117.75/117.73	
117.75/117.73	* Chain [332]: 1*aux(190)+0
117.75/117.73	  with precondition: [H=0,S=0,U=1,0>=A+1,0>=I,D>=0,V>=1,E>=D+1] 
117.75/117.73	
117.75/117.73	* Chain [331]: 168*s(1004)+3*s(1006)+0
117.75/117.73	  Such that:aux(194) =< -D+E
117.75/117.73	s(1004) =< aux(194)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,S=0,U=1,0>=A+1,0>=I,D>=0,V>=1,E>=D+2] 
117.75/117.73	
117.75/117.73	* Chain [330]: 4*s(1023)+3*s(1025)+0
117.75/117.73	  Such that:aux(195) =< I
117.75/117.73	s(1023) =< aux(195)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,S=0,U=1,0>=A+1,0>=J+2,D>=0,I>=1,V>=1,E>=D+1] 
117.75/117.73	
117.75/117.73	* Chain [329]: 4*s(1031)+224*s(1035)+27*s(1036)+3*s(1045)+0
117.75/117.73	  Such that:s(1030) =< E
117.75/117.73	s(1033) =< -J
117.75/117.73	aux(199) =< -D+E
117.75/117.73	aux(200) =< I
117.75/117.73	s(1031) =< aux(200)
117.75/117.73	s(1034) =< aux(199)
117.75/117.73	s(1034) =< s(1033)
117.75/117.73	s(1035) =< aux(199)
117.75/117.73	s(1036) =< aux(199)
117.75/117.73	s(1036) =< s(1030)
117.75/117.73	s(1036) =< s(1034)
117.75/117.73	s(1036) =< s(1033)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,S=0,U=1,0>=A+1,0>=J+2,D>=0,I>=1,V>=1,E>=D+2] 
117.75/117.73	
117.75/117.73	* Chain [328]: 4*s(1065)+224*s(1068)+108*s(1069)+3*s(1078)+0
117.75/117.73	  Such that:aux(204) =< 1
117.75/117.73	aux(205) =< -D+E
117.75/117.73	aux(206) =< E
117.75/117.73	aux(207) =< I
117.75/117.73	aux(208) =< -J
117.75/117.73	s(1066) =< aux(204)
117.75/117.73	s(1065) =< aux(207)
117.75/117.73	s(1066) =< aux(208)
117.75/117.73	s(1068) =< aux(205)
117.75/117.73	s(1069) =< aux(205)
117.75/117.73	s(1069) =< aux(206)
117.75/117.73	s(1069) =< s(1066)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,S=0,U=1,0>=A+1,D>=0,I>=1,J+1>=0,V>=1,E>=D+2] 
117.75/117.73	
117.75/117.73	* Chain [327]: 4*s(1097)+3*s(1099)+0
117.75/117.73	  Such that:aux(209) =< I
117.75/117.73	s(1097) =< aux(209)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,S=0,U=1,0>=A+1,D>=0,I>=1,J>=0,V>=1,E>=D+1] 
117.75/117.73	
117.75/117.73	* Chain [326]: 3*s(1108)+168*s(1110)+3*s(1112)+0
117.75/117.73	  Such that:aux(216) =< -D+E
117.75/117.73	aux(217) =< I
117.75/117.73	s(1108) =< aux(217)
117.75/117.73	s(1110) =< aux(216)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,S=0,U=1,0>=A+1,D>=0,I>=1,J>=0,V>=1,E>=D+2] 
117.75/117.73	
117.75/117.73	* Chain [325]: 0
117.75/117.73	  with precondition: [H=0,S=0,U=1,0>=A+1,D>=0,V>=1] 
117.75/117.73	
117.75/117.73	* Chain [324]: 168*s(1134)+54*s(1135)+2*s(1142)+0
117.75/117.73	  Such that:aux(219) =< -D+E
117.75/117.73	aux(220) =< E
117.75/117.73	aux(221) =< -J
117.75/117.73	s(1134) =< aux(219)
117.75/117.73	s(1135) =< aux(219)
117.75/117.73	s(1135) =< aux(220)
117.75/117.73	s(1135) =< aux(221)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,S=0,U=1,0>=A+1,D>=0,V>=1,E>=D+1] 
117.75/117.73	
117.75/117.73	* Chain [323]: 56*s(1153)+27*s(1154)+0
117.75/117.73	  Such that:s(1152) =< -D+E
117.75/117.73	s(1150) =< E
117.75/117.73	s(1151) =< -J
117.75/117.73	s(1153) =< s(1152)
117.75/117.73	s(1154) =< s(1152)
117.75/117.73	s(1154) =< s(1150)
117.75/117.73	s(1154) =< s(1151)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,S=0,U=1,0>=A+1,D>=0,V>=1,E>=D+2] 
117.75/117.73	
117.75/117.73	* Chain [322]: 1*s(1155)+0
117.75/117.73	  with precondition: [H=0,S=0,U=1,0>=A+1,D>=0,V>=1,D>=E] 
117.75/117.73	
117.75/117.73	* Chain [321]: 1*aux(222)+0
117.75/117.73	  with precondition: [H=0,S=0,U=1,0>=I,A>=1,D>=0,V>=1,E>=D+1] 
117.75/117.73	
117.75/117.73	* Chain [320]: 168*s(1164)+3*s(1166)+0
117.75/117.73	  Such that:aux(226) =< -D+E
117.75/117.73	s(1164) =< aux(226)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,S=0,U=1,0>=I,A>=1,D>=0,V>=1,E>=D+2] 
117.75/117.73	
117.75/117.73	* Chain [319]: 4*s(1183)+3*s(1185)+0
117.75/117.73	  Such that:aux(227) =< I
117.75/117.73	s(1183) =< aux(227)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,S=0,U=1,0>=J+2,A>=1,D>=0,I>=1,V>=1,E>=D+1] 
117.75/117.73	
117.75/117.73	* Chain [318]: 4*s(1191)+224*s(1195)+27*s(1196)+3*s(1205)+0
117.75/117.73	  Such that:s(1190) =< E
117.75/117.73	s(1193) =< -J
117.75/117.73	aux(231) =< -D+E
117.75/117.73	aux(232) =< I
117.75/117.73	s(1191) =< aux(232)
117.75/117.73	s(1194) =< aux(231)
117.75/117.73	s(1194) =< s(1193)
117.75/117.73	s(1195) =< aux(231)
117.75/117.73	s(1196) =< aux(231)
117.75/117.73	s(1196) =< s(1190)
117.75/117.73	s(1196) =< s(1194)
117.75/117.73	s(1196) =< s(1193)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,S=0,U=1,0>=J+2,A>=1,D>=0,I>=1,V>=1,E>=D+2] 
117.75/117.73	
117.75/117.73	* Chain [317]: 4*s(1225)+224*s(1228)+108*s(1229)+3*s(1238)+0
117.75/117.73	  Such that:aux(236) =< 1
117.75/117.73	aux(237) =< -D+E
117.75/117.73	aux(238) =< E
117.75/117.73	aux(239) =< I
117.75/117.73	aux(240) =< -J
117.75/117.73	s(1226) =< aux(236)
117.75/117.73	s(1225) =< aux(239)
117.75/117.73	s(1226) =< aux(240)
117.75/117.73	s(1228) =< aux(237)
117.75/117.73	s(1229) =< aux(237)
117.75/117.73	s(1229) =< aux(238)
117.75/117.73	s(1229) =< s(1226)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,S=0,U=1,A>=1,D>=0,I>=1,J+1>=0,V>=1,E>=D+2] 
117.75/117.73	
117.75/117.73	* Chain [316]: 4*s(1257)+3*s(1259)+0
117.75/117.73	  Such that:aux(241) =< I
117.75/117.73	s(1257) =< aux(241)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,S=0,U=1,A>=1,D>=0,I>=1,J>=0,V>=1,E>=D+1] 
117.75/117.73	
117.75/117.73	* Chain [315]: 3*s(1268)+168*s(1270)+3*s(1272)+0
117.75/117.73	  Such that:aux(248) =< -D+E
117.75/117.73	aux(249) =< I
117.75/117.73	s(1268) =< aux(249)
117.75/117.73	s(1270) =< aux(248)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,S=0,U=1,A>=1,D>=0,I>=1,J>=0,V>=1,E>=D+2] 
117.75/117.73	
117.75/117.73	* Chain [314]: 0
117.75/117.73	  with precondition: [H=0,S=0,U=1,A>=1,D>=0,V>=1] 
117.75/117.73	
117.75/117.73	* Chain [313]: 168*s(1294)+54*s(1295)+2*s(1302)+0
117.75/117.73	  Such that:aux(251) =< -D+E
117.75/117.73	aux(252) =< E
117.75/117.73	aux(253) =< -J
117.75/117.73	s(1294) =< aux(251)
117.75/117.73	s(1295) =< aux(251)
117.75/117.73	s(1295) =< aux(252)
117.75/117.73	s(1295) =< aux(253)
117.75/117.73	
117.75/117.73	  with precondition: [H=0,S=0,U=1,A>=1,D>=0,V>=1,E>=D+1] 
117.75/117.73	
117.75/117.73	* Chain [312]: 56*s(1313)+27*s(1314)+0
117.75/117.73	  Such that:s(1312) =< -D+E
117.75/117.73	s(1310) =< E
117.75/117.73	s(1311) =< -J
117.75/117.73	s(1313) =< s(1312)
117.75/117.73	s(1314) =< s(1312)
117.75/117.73	s(1314) =< s(1310)
117.75/117.73	s(1314) =< s(1311)
117.75/117.73	
117.75/117.74	  with precondition: [H=0,S=0,U=1,A>=1,D>=0,V>=1,E>=D+2] 
117.75/117.74	
117.75/117.74	* Chain [311]: 1*s(1315)+0
117.75/117.74	  with precondition: [H=0,S=0,U=1,A>=1,D>=0,V>=1,D>=E] 
117.75/117.74	
117.75/117.74	* Chain [310]...: 1*aux(254)+0
117.75/117.74	  with precondition: [A=0,D=0,H=0,J+1=0,O=3,S=0,U=1,E>=1,I>=1,V>=1] 
117.75/117.74	
117.75/117.74	* Chain [309]...: 1008*s(1339)+18*s(1341)+0
117.75/117.74	  Such that:aux(273) =< E
117.75/117.74	s(1339) =< aux(273)
117.75/117.74	
117.75/117.74	  with precondition: [A=0,D=0,H=0,J+1=0,O=3,S=0,U=1,E>=2,I>=1,V>=1] 
117.75/117.74	
117.75/117.74	* Chain [308]...: 1*s(1478)+0
117.75/117.74	  with precondition: [A=0,D=0,H=0,S=0,U=1,0>=E,V>=1] 
117.75/117.74	
117.75/117.74	* Chain [307]...: 1*aux(274)+0
117.75/117.74	  with precondition: [A=0,D=0,H=0,S=0,U=1,0>=I,E>=1,V>=1] 
117.75/117.74	
117.75/117.74	* Chain [306]...: 168*s(1487)+3*s(1489)+0
117.75/117.74	  Such that:aux(278) =< E
117.75/117.74	s(1487) =< aux(278)
117.75/117.74	
117.75/117.74	  with precondition: [A=0,D=0,H=0,S=0,U=1,0>=I,E>=2,V>=1] 
117.75/117.74	
117.75/117.74	* Chain [305]...: 3*s(1506)+3*s(1507)+0
117.75/117.74	  Such that:aux(279) =< I
117.75/117.74	s(1506) =< aux(279)
117.75/117.74	
117.75/117.74	  with precondition: [A=0,D=0,H=0,S=0,U=1,0>=J+2,E>=1,I>=1,V>=1] 
117.75/117.74	
117.75/117.74	* Chain [304]...: 3*s(1516)+168*s(1518)+3*s(1520)+0
117.75/117.74	  Such that:aux(283) =< E
117.75/117.74	aux(284) =< I
117.75/117.74	s(1516) =< aux(284)
117.75/117.74	s(1518) =< aux(283)
117.75/117.74	
117.75/117.74	  with precondition: [A=0,D=0,H=0,S=0,U=1,0>=J+2,E>=2,I>=1,V>=1] 
117.75/117.74	
117.75/117.74	* Chain [303]...: 3*s(1539)+3*s(1540)+0
117.75/117.74	  Such that:aux(285) =< I
117.75/117.74	s(1539) =< aux(285)
117.75/117.74	
117.75/117.74	  with precondition: [A=0,D=0,H=0,S=0,U=1,E>=1,I>=1,J>=0,V>=1] 
117.75/117.74	
117.75/117.74	* Chain [302]...: 112*s(1549)+2*s(1551)+27*s(1557)+0
117.75/117.74	  Such that:s(1552) =< -J
117.75/117.74	aux(288) =< E
117.75/117.74	s(1549) =< aux(288)
117.75/117.74	s(1557) =< aux(288)
117.75/117.74	s(1557) =< s(1552)
117.75/117.74	
117.75/117.74	  with precondition: [A=0,D=0,H=0,S=0,U=1,E>=1,V>=1] 
117.75/117.74	
117.75/117.74	* Chain [301]...: 3*s(1563)+168*s(1565)+81*s(1566)+3*s(1567)+0
117.75/117.74	  Such that:aux(292) =< 1
117.75/117.74	aux(293) =< E
117.75/117.74	aux(294) =< I
117.75/117.74	aux(295) =< -J
117.75/117.74	s(1562) =< aux(292)
117.75/117.74	s(1563) =< aux(294)
117.75/117.74	s(1562) =< aux(295)
117.75/117.74	s(1565) =< aux(293)
117.75/117.74	s(1566) =< aux(293)
117.75/117.74	s(1566) =< s(1562)
117.75/117.74	
117.75/117.74	  with precondition: [A=0,D=0,H=0,S=0,U=1,E>=2,I>=1,J+1>=0,V>=1] 
117.75/117.74	
117.75/117.74	* Chain [300]...: 3*s(1590)+168*s(1592)+3*s(1594)+0
117.75/117.74	  Such that:aux(302) =< E
117.75/117.74	aux(303) =< I
117.75/117.74	s(1590) =< aux(303)
117.75/117.74	s(1592) =< aux(302)
117.75/117.74	
117.75/117.74	  with precondition: [A=0,D=0,H=0,S=0,U=1,E>=2,I>=1,J>=0,V>=1] 
117.75/117.74	
117.75/117.74	* Chain [299]...: 1*aux(304)+0
117.75/117.74	  with precondition: [A=0,H=0,J+1=0,O=3,S=0,U=1,D>=1,I>=1,V>=1,E>=D+1] 
117.75/117.74	
117.75/117.74	* Chain [298]...: 1008*s(1636)+18*s(1638)+0
117.75/117.74	  Such that:aux(323) =< -D+E
117.75/117.74	s(1636) =< aux(323)
117.75/117.74	
117.75/117.74	  with precondition: [A=0,H=0,J+1=0,O=3,S=0,U=1,D>=1,I>=1,V>=1,E>=D+2] 
117.75/117.74	
117.75/117.74	* Chain [297]...: 1*aux(324)+0
117.75/117.74	  with precondition: [A=0,H=0,S=0,U=1,0>=I,D>=1,V>=1,E>=D+1] 
117.75/117.74	
117.75/117.74	* Chain [296]...: 168*s(1783)+3*s(1785)+0
117.75/117.74	  Such that:aux(328) =< -D+E
117.75/117.74	s(1783) =< aux(328)
117.75/117.74	
117.75/117.74	  with precondition: [A=0,H=0,S=0,U=1,0>=I,D>=1,V>=1,E>=D+2] 
117.75/117.74	
117.75/117.74	* Chain [295]...: 3*s(1802)+3*s(1803)+0
117.75/117.74	  Such that:aux(329) =< I
117.75/117.74	s(1802) =< aux(329)
117.75/117.74	
117.75/117.74	  with precondition: [A=0,H=0,S=0,U=1,0>=J+2,D>=1,I>=1,V>=1,E>=D+1] 
117.75/117.74	
117.75/117.74	* Chain [294]...: 3*s(1812)+168*s(1814)+3*s(1816)+0
117.75/117.74	  Such that:aux(333) =< -D+E
117.75/117.74	aux(334) =< I
117.75/117.74	s(1812) =< aux(334)
117.75/117.74	s(1814) =< aux(333)
117.75/117.74	
117.75/117.74	  with precondition: [A=0,H=0,S=0,U=1,0>=J+2,D>=1,I>=1,V>=1,E>=D+2] 
117.75/117.74	
117.75/117.74	* Chain [293]...: 3*s(1839)+168*s(1841)+81*s(1842)+3*s(1843)+0
117.75/117.74	  Such that:aux(338) =< 1
117.75/117.74	aux(339) =< -D+E
117.75/117.74	aux(340) =< E
117.75/117.74	aux(341) =< I
117.75/117.74	aux(342) =< -J
117.75/117.74	s(1838) =< aux(338)
117.75/117.74	s(1839) =< aux(341)
117.75/117.74	s(1838) =< aux(342)
117.75/117.74	s(1841) =< aux(339)
117.75/117.74	s(1842) =< aux(339)
117.75/117.74	s(1842) =< aux(340)
117.75/117.74	s(1842) =< s(1838)
117.75/117.74	
117.75/117.74	  with precondition: [A=0,H=0,S=0,U=1,D>=1,I>=1,J+1>=0,V>=1,E>=D+2] 
117.75/117.74	
117.75/117.74	* Chain [292]...: 3*s(1862)+3*s(1863)+0
117.75/117.74	  Such that:aux(343) =< I
117.75/117.74	s(1862) =< aux(343)
117.75/117.74	
117.75/117.74	  with precondition: [A=0,H=0,S=0,U=1,D>=1,I>=1,J>=0,V>=1,E>=D+1] 
117.75/117.74	
117.75/117.74	* Chain [291]...: 3*s(1872)+168*s(1874)+3*s(1876)+0
117.75/117.74	  Such that:aux(350) =< -D+E
117.75/117.74	aux(351) =< I
117.75/117.74	s(1872) =< aux(351)
117.75/117.74	s(1874) =< aux(350)
117.75/117.74	
117.75/117.74	  with precondition: [A=0,H=0,S=0,U=1,D>=1,I>=1,J>=0,V>=1,E>=D+2] 
117.75/117.74	
117.75/117.74	* Chain [290]...: 112*s(1899)+2*s(1901)+27*s(1907)+0
117.75/117.74	  Such that:s(1903) =< E
117.75/117.74	s(1902) =< -J
117.75/117.74	aux(353) =< -D+E
117.75/117.74	s(1899) =< aux(353)
117.75/117.74	s(1907) =< aux(353)
117.75/117.74	s(1907) =< s(1903)
117.75/117.74	s(1907) =< s(1902)
117.75/117.74	
117.75/117.74	  with precondition: [A=0,H=0,S=0,U=1,D>=1,V>=1,E>=D+1] 
117.75/117.74	
117.75/117.74	* Chain [289]...: 1*s(1909)+0
117.75/117.74	  with precondition: [A=0,H=0,S=0,U=1,D>=1,V>=1,D>=E] 
117.75/117.74	
117.75/117.74	* Chain [288]...: 1*aux(354)+0
117.75/117.74	  with precondition: [H=0,J+1=0,O=3,S=0,U=1,0>=A+1,D>=0,I>=1,V>=1,E>=D+1] 
117.75/117.74	
117.75/117.74	* Chain [287]...: 1008*s(1933)+18*s(1935)+0
117.75/117.74	  Such that:aux(373) =< -D+E
117.75/117.74	s(1933) =< aux(373)
117.75/117.74	
117.75/117.74	  with precondition: [H=0,J+1=0,O=3,S=0,U=1,0>=A+1,D>=0,I>=1,V>=1,E>=D+2] 
117.75/117.74	
117.75/117.74	* Chain [286]...: 1*aux(374)+0
117.75/117.74	  with precondition: [H=0,J+1=0,O=3,S=0,U=1,A>=1,D>=0,I>=1,V>=1,E>=D+1] 
117.75/117.74	
117.75/117.74	* Chain [285]...: 1008*s(2095)+18*s(2097)+0
117.75/117.74	  Such that:aux(393) =< -D+E
117.75/117.74	s(2095) =< aux(393)
117.75/117.74	
117.75/117.74	  with precondition: [H=0,J+1=0,O=3,S=0,U=1,A>=1,D>=0,I>=1,V>=1,E>=D+2] 
117.75/117.74	
117.75/117.74	* Chain [284]...: 1*aux(394)+0
117.75/117.74	  with precondition: [H=0,S=0,U=1,0>=A+1,0>=I,D>=0,V>=1,E>=D+1] 
117.75/117.74	
117.75/117.74	* Chain [283]...: 168*s(2242)+3*s(2244)+0
117.75/117.74	  Such that:aux(398) =< -D+E
117.75/117.74	s(2242) =< aux(398)
117.75/117.74	
117.75/117.74	  with precondition: [H=0,S=0,U=1,0>=A+1,0>=I,D>=0,V>=1,E>=D+2] 
117.75/117.74	
117.75/117.74	* Chain [282]...: 3*s(2261)+3*s(2262)+0
117.75/117.74	  Such that:aux(399) =< I
117.75/117.74	s(2261) =< aux(399)
117.75/117.74	
117.75/117.74	  with precondition: [H=0,S=0,U=1,0>=A+1,0>=J+2,D>=0,I>=1,V>=1,E>=D+1] 
117.75/117.74	
117.75/117.74	* Chain [281]...: 3*s(2271)+168*s(2273)+3*s(2275)+0
117.75/117.74	  Such that:aux(403) =< -D+E
117.75/117.74	aux(404) =< I
117.75/117.74	s(2271) =< aux(404)
117.75/117.74	s(2273) =< aux(403)
117.75/117.74	
117.75/117.74	  with precondition: [H=0,S=0,U=1,0>=A+1,0>=J+2,D>=0,I>=1,V>=1,E>=D+2] 
117.75/117.74	
117.75/117.74	* Chain [280]...: 3*s(2298)+168*s(2300)+81*s(2301)+3*s(2302)+0
117.75/117.74	  Such that:aux(408) =< 1
117.75/117.74	aux(409) =< -D+E
117.75/117.74	aux(410) =< E
117.75/117.74	aux(411) =< I
117.75/117.74	aux(412) =< -J
117.75/117.74	s(2297) =< aux(408)
117.75/117.74	s(2298) =< aux(411)
117.75/117.74	s(2297) =< aux(412)
117.75/117.74	s(2300) =< aux(409)
117.75/117.74	s(2301) =< aux(409)
117.75/117.74	s(2301) =< aux(410)
117.75/117.74	s(2301) =< s(2297)
117.75/117.74	
117.75/117.74	  with precondition: [H=0,S=0,U=1,0>=A+1,D>=0,I>=1,J+1>=0,V>=1,E>=D+2] 
117.75/117.74	
117.75/117.74	* Chain [279]...: 3*s(2321)+3*s(2322)+0
117.75/117.74	  Such that:aux(413) =< I
117.75/117.74	s(2321) =< aux(413)
117.75/117.74	
117.75/117.74	  with precondition: [H=0,S=0,U=1,0>=A+1,D>=0,I>=1,J>=0,V>=1,E>=D+1] 
117.75/117.74	
117.75/117.74	* Chain [278]...: 3*s(2331)+168*s(2333)+3*s(2335)+0
117.75/117.74	  Such that:aux(420) =< -D+E
117.75/117.74	aux(421) =< I
117.75/117.74	s(2331) =< aux(421)
117.75/117.74	s(2333) =< aux(420)
117.75/117.74	
117.75/117.74	  with precondition: [H=0,S=0,U=1,0>=A+1,D>=0,I>=1,J>=0,V>=1,E>=D+2] 
117.75/117.74	
117.75/117.74	* Chain [277]...: 112*s(2358)+2*s(2360)+27*s(2366)+0
117.75/117.74	  Such that:s(2362) =< E
117.75/117.74	s(2361) =< -J
117.75/117.74	aux(423) =< -D+E
117.75/117.74	s(2358) =< aux(423)
117.75/117.74	s(2366) =< aux(423)
117.75/117.74	s(2366) =< s(2362)
117.75/117.74	s(2366) =< s(2361)
117.75/117.74	
117.75/117.74	  with precondition: [H=0,S=0,U=1,0>=A+1,D>=0,V>=1,E>=D+1] 
117.75/117.74	
117.75/117.74	* Chain [276]...: 1*s(2368)+0
117.75/117.74	  with precondition: [H=0,S=0,U=1,0>=A+1,D>=0,V>=1,D>=E] 
117.75/117.74	
117.75/117.74	* Chain [275]...: 1*aux(424)+0
117.75/117.74	  with precondition: [H=0,S=0,U=1,0>=I,A>=1,D>=0,V>=1,E>=D+1] 
117.75/117.74	
117.75/117.74	* Chain [274]...: 168*s(2377)+3*s(2379)+0
117.75/117.74	  Such that:aux(428) =< -D+E
117.75/117.74	s(2377) =< aux(428)
117.75/117.74	
117.75/117.74	  with precondition: [H=0,S=0,U=1,0>=I,A>=1,D>=0,V>=1,E>=D+2] 
117.75/117.74	
117.75/117.74	* Chain [273]...: 3*s(2396)+3*s(2397)+0
117.75/117.74	  Such that:aux(429) =< I
117.75/117.74	s(2396) =< aux(429)
117.75/117.74	
117.75/117.74	  with precondition: [H=0,S=0,U=1,0>=J+2,A>=1,D>=0,I>=1,V>=1,E>=D+1] 
117.75/117.74	
117.75/117.74	* Chain [272]...: 3*s(2406)+168*s(2408)+3*s(2410)+0
117.75/117.74	  Such that:aux(433) =< -D+E
117.75/117.74	aux(434) =< I
117.75/117.74	s(2406) =< aux(434)
117.75/117.74	s(2408) =< aux(433)
117.75/117.74	
117.75/117.74	  with precondition: [H=0,S=0,U=1,0>=J+2,A>=1,D>=0,I>=1,V>=1,E>=D+2] 
117.75/117.74	
117.75/117.74	* Chain [271]...: 3*s(2433)+168*s(2435)+81*s(2436)+3*s(2437)+0
117.75/117.74	  Such that:aux(438) =< 1
117.75/117.74	aux(439) =< -D+E
117.75/117.74	aux(440) =< E
117.75/117.74	aux(441) =< I
117.75/117.74	aux(442) =< -J
117.75/117.74	s(2432) =< aux(438)
117.75/117.74	s(2433) =< aux(441)
117.75/117.74	s(2432) =< aux(442)
117.75/117.74	s(2435) =< aux(439)
117.75/117.74	s(2436) =< aux(439)
117.75/117.74	s(2436) =< aux(440)
117.75/117.74	s(2436) =< s(2432)
117.75/117.74	
117.75/117.74	  with precondition: [H=0,S=0,U=1,A>=1,D>=0,I>=1,J+1>=0,V>=1,E>=D+2] 
117.75/117.74	
117.75/117.74	* Chain [270]...: 3*s(2456)+3*s(2457)+0
117.75/117.74	  Such that:aux(443) =< I
117.75/117.74	s(2456) =< aux(443)
117.75/117.74	
117.75/117.74	  with precondition: [H=0,S=0,U=1,A>=1,D>=0,I>=1,J>=0,V>=1,E>=D+1] 
117.75/117.74	
117.75/117.74	* Chain [269]...: 3*s(2466)+168*s(2468)+3*s(2470)+0
117.75/117.74	  Such that:aux(450) =< -D+E
117.75/117.74	aux(451) =< I
117.75/117.74	s(2466) =< aux(451)
117.75/117.74	s(2468) =< aux(450)
117.75/117.74	
117.75/117.74	  with precondition: [H=0,S=0,U=1,A>=1,D>=0,I>=1,J>=0,V>=1,E>=D+2] 
117.75/117.74	
117.75/117.74	* Chain [268]...: 112*s(2493)+2*s(2495)+27*s(2501)+0
117.75/117.74	  Such that:s(2497) =< E
117.75/117.74	s(2496) =< -J
117.75/117.74	aux(453) =< -D+E
117.75/117.74	s(2493) =< aux(453)
117.75/117.74	s(2501) =< aux(453)
117.75/117.74	s(2501) =< s(2497)
117.75/117.74	s(2501) =< s(2496)
117.75/117.74	
117.75/117.74	  with precondition: [H=0,S=0,U=1,A>=1,D>=0,V>=1,E>=D+1] 
117.75/117.74	
117.75/117.74	* Chain [267]...: 1*s(2503)+0
117.75/117.74	  with precondition: [H=0,S=0,U=1,A>=1,D>=0,V>=1,D>=E] 
117.75/117.74	
117.75/117.74	
117.75/117.74	#### 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,A1):
117.75/117.74	* Chain [398]: 1*aux(454)+0
117.75/117.74	  with precondition: [J+1=0,O=3,T=3,I>=1] 
117.75/117.74	
117.75/117.74	* Chain [397]: 1*aux(455)+0
117.75/117.74	  with precondition: [J+1=0,O=3,2>=T,I>=1] 
117.75/117.74	
117.75/117.74	* Chain [396]: 1*aux(456)+0
117.75/117.74	  with precondition: [J+1=0,O=3,I>=1,T>=4] 
117.75/117.74	
117.75/117.74	* Chain [395]: 908*s(2552)+324*s(2556)+0
117.75/117.74	  Such that:aux(457) =< -J
117.75/117.74	s(2556) =< aux(457)
117.75/117.74	
117.75/117.74	  with precondition: [T=3] 
117.75/117.74	
117.75/117.74	* Chain [394]: 1*aux(458)+0
117.75/117.74	  with precondition: [T=3,0>=I] 
117.75/117.74	
117.75/117.74	* Chain [393]: 32*s(2615)+920*s(2616)+108*s(2623)+0
117.75/117.74	  Such that:aux(459) =< I
117.75/117.74	aux(460) =< -J
117.75/117.74	s(2615) =< aux(459)
117.75/117.74	s(2623) =< aux(460)
117.75/117.74	
117.75/117.74	  with precondition: [T=3,0>=J+2,I>=1] 
117.75/117.74	
117.75/117.74	* Chain [392]: 16*s(2666)+908*s(2667)+432*s(2668)+0
117.75/117.74	  Such that:aux(465) =< 1
117.75/117.74	aux(466) =< I
117.75/117.74	aux(467) =< -J
117.75/117.74	s(2664) =< aux(467)
117.75/117.74	s(2664) =< aux(465)
117.75/117.74	s(2665) =< aux(465)
117.75/117.74	s(2666) =< aux(466)
117.75/117.74	s(2665) =< s(2664)
117.75/117.74	s(2668) =< s(2665)
117.75/117.74	
117.75/117.74	  with precondition: [T=3,I>=1,J+1>=0] 
117.75/117.74	
117.75/117.74	* Chain [391]: 28*s(2701)+696*s(2702)+0
117.75/117.74	  Such that:aux(468) =< I
117.75/117.74	s(2701) =< aux(468)
117.75/117.74	
117.75/117.74	  with precondition: [T=3,I>=1,J>=0] 
117.75/117.74	
117.75/117.74	* Chain [390]: 1*aux(469)+0
117.75/117.74	  with precondition: [0>=I,2>=T] 
117.75/117.74	
117.75/117.74	* Chain [389]: 1*aux(470)+0
117.75/117.74	  with precondition: [0>=I,T>=4] 
117.75/117.74	
117.75/117.74	* Chain [388]: 32*s(2765)+920*s(2766)+108*s(2773)+0
117.75/117.74	  Such that:aux(471) =< I
117.75/117.74	aux(472) =< -J
117.75/117.74	s(2765) =< aux(471)
117.75/117.74	s(2773) =< aux(472)
117.75/117.74	
117.75/117.74	  with precondition: [0>=J+2,2>=T,I>=1] 
117.75/117.74	
117.75/117.74	* Chain [387]: 32*s(2812)+920*s(2813)+108*s(2820)+0
117.75/117.74	  Such that:aux(473) =< I
117.75/117.74	aux(474) =< -J
117.75/117.74	s(2812) =< aux(473)
117.75/117.74	s(2820) =< aux(474)
117.75/117.74	
117.75/117.74	  with precondition: [0>=J+2,I>=1,T>=4] 
117.75/117.74	
117.75/117.74	* Chain [386]: 908*s(2858)+324*s(2862)+0
117.75/117.74	  Such that:aux(475) =< -J
117.75/117.74	s(2862) =< aux(475)
117.75/117.74	
117.75/117.74	  with precondition: [2>=T] 
117.75/117.74	
117.75/117.74	* Chain [385]: 16*s(2909)+908*s(2910)+432*s(2911)+0
117.75/117.74	  Such that:aux(480) =< 1
117.75/117.74	aux(481) =< I
117.75/117.74	aux(482) =< -J
117.75/117.74	s(2907) =< aux(482)
117.75/117.74	s(2907) =< aux(480)
117.75/117.74	s(2908) =< aux(480)
117.75/117.74	s(2909) =< aux(481)
117.75/117.74	s(2908) =< s(2907)
117.75/117.74	s(2911) =< s(2908)
117.75/117.74	
117.75/117.74	  with precondition: [2>=T,I>=1,J+1>=0] 
117.75/117.74	
117.75/117.74	* Chain [384]: 28*s(2944)+696*s(2945)+0
117.75/117.74	  Such that:aux(483) =< I
117.75/117.74	s(2944) =< aux(483)
117.75/117.74	
117.75/117.74	  with precondition: [2>=T,I>=1,J>=0] 
117.75/117.74	
117.75/117.74	* Chain [383]: 16*s(2980)+908*s(2981)+432*s(2982)+0
117.75/117.74	  Such that:aux(488) =< 1
117.75/117.74	aux(489) =< I
117.75/117.74	aux(490) =< -J
117.75/117.74	s(2978) =< aux(490)
117.75/117.74	s(2978) =< aux(488)
117.75/117.74	s(2979) =< aux(488)
117.75/117.74	s(2980) =< aux(489)
117.75/117.74	s(2979) =< s(2978)
117.75/117.74	s(2982) =< s(2979)
117.75/117.74	
117.75/117.74	  with precondition: [I>=1,J+1>=0,T>=4] 
117.75/117.74	
117.75/117.74	* Chain [382]: 28*s(3015)+696*s(3016)+0
117.75/117.74	  Such that:aux(491) =< I
117.75/117.74	s(3015) =< aux(491)
117.75/117.74	
117.75/117.74	  with precondition: [I>=1,J>=0,T>=4] 
117.75/117.74	
117.75/117.74	* Chain [381]: 908*s(3046)+324*s(3050)+0
117.75/117.74	  Such that:aux(492) =< -J
117.75/117.74	s(3050) =< aux(492)
117.75/117.74	
117.75/117.74	  with precondition: [T>=4] 
117.75/117.74	
117.75/117.74	* Chain [380]...: 1*aux(493)+0
117.75/117.74	  with precondition: [J+1=0,O=3,T=3,I>=1] 
117.75/117.74	
117.75/117.74	* Chain [379]...: 1*aux(494)+0
117.75/117.74	  with precondition: [J+1=0,O=3,2>=T,I>=1] 
117.75/117.74	
117.75/117.74	* Chain [378]...: 1*aux(495)+0
117.75/117.74	  with precondition: [J+1=0,O=3,I>=1,T>=4] 
117.75/117.74	
117.75/117.74	* Chain [377]...: 460*s(3140)+108*s(3144)+0
117.75/117.74	  Such that:aux(496) =< -J
117.75/117.74	s(3144) =< aux(496)
117.75/117.74	
117.75/117.74	  with precondition: [T=3] 
117.75/117.74	
117.75/117.74	* Chain [376]...: 1*aux(497)+0
117.75/117.74	  with precondition: [T=3,0>=I] 
117.75/117.74	
117.75/117.74	* Chain [375]...: 24*s(3184)+696*s(3185)+0
117.75/117.74	  Such that:aux(498) =< I
117.75/117.74	s(3184) =< aux(498)
117.75/117.74	
117.75/117.74	  with precondition: [T=3,0>=J+2,I>=1] 
117.75/117.74	
117.75/117.74	* Chain [374]...: 12*s(3220)+684*s(3221)+324*s(3222)+0
117.75/117.74	  Such that:aux(503) =< 1
117.75/117.74	aux(504) =< I
117.75/117.74	aux(505) =< -J
117.75/117.74	s(3218) =< aux(505)
117.75/117.74	s(3218) =< aux(503)
117.75/117.74	s(3219) =< aux(503)
117.75/117.74	s(3220) =< aux(504)
117.75/117.74	s(3219) =< s(3218)
117.75/117.74	s(3222) =< s(3219)
117.75/117.74	
117.75/117.74	  with precondition: [T=3,I>=1,J+1>=0] 
117.75/117.74	
117.75/117.74	* Chain [373]...: 24*s(3255)+696*s(3256)+0
117.75/117.74	  Such that:aux(506) =< I
117.75/117.74	s(3255) =< aux(506)
117.75/117.74	
117.75/117.74	  with precondition: [T=3,I>=1,J>=0] 
117.75/117.74	
117.75/117.74	* Chain [372]...: 1*aux(507)+0
117.75/117.74	  with precondition: [0>=I,2>=T] 
117.75/117.74	
117.75/117.74	* Chain [371]...: 1*aux(508)+0
117.75/117.74	  with precondition: [0>=I,T>=4] 
117.75/117.74	
117.75/117.74	* Chain [370]...: 24*s(3319)+696*s(3320)+0
117.75/117.74	  Such that:aux(509) =< I
117.75/117.74	s(3319) =< aux(509)
117.75/117.74	
117.75/117.74	  with precondition: [0>=J+2,2>=T,I>=1] 
117.75/117.74	
117.75/117.74	* Chain [369]...: 24*s(3351)+696*s(3352)+0
117.75/117.74	  Such that:aux(510) =< I
117.75/117.74	s(3351) =< aux(510)
117.75/117.74	
117.75/117.74	  with precondition: [0>=J+2,I>=1,T>=4] 
117.75/117.74	
117.75/117.74	* Chain [368]...: 460*s(3382)+108*s(3386)+0
117.75/117.74	  Such that:aux(511) =< -J
117.75/117.74	s(3386) =< aux(511)
117.75/117.74	
117.75/117.74	  with precondition: [2>=T] 
117.75/117.74	
117.75/117.74	* Chain [367]...: 12*s(3414)+684*s(3415)+324*s(3416)+0
117.75/117.74	  Such that:aux(516) =< 1
117.75/117.74	aux(517) =< I
117.75/117.74	aux(518) =< -J
117.75/117.74	s(3412) =< aux(518)
117.75/117.74	s(3412) =< aux(516)
117.75/117.74	s(3413) =< aux(516)
117.75/117.74	s(3414) =< aux(517)
117.75/117.74	s(3413) =< s(3412)
117.75/117.74	s(3416) =< s(3413)
117.75/117.74	
117.75/117.74	  with precondition: [2>=T,I>=1,J+1>=0] 
117.75/117.74	
117.75/117.74	* Chain [366]...: 24*s(3449)+696*s(3450)+0
117.75/117.74	  Such that:aux(519) =< I
117.75/117.74	s(3449) =< aux(519)
117.75/117.74	
117.75/117.74	  with precondition: [2>=T,I>=1,J>=0] 
117.75/117.74	
117.75/117.74	* Chain [365]...: 12*s(3485)+684*s(3486)+324*s(3487)+0
117.75/117.74	  Such that:aux(524) =< 1
117.75/117.74	aux(525) =< I
117.75/117.74	aux(526) =< -J
117.75/117.74	s(3483) =< aux(526)
117.75/117.74	s(3483) =< aux(524)
117.75/117.74	s(3484) =< aux(524)
117.75/117.74	s(3485) =< aux(525)
117.75/117.74	s(3484) =< s(3483)
117.75/117.74	s(3487) =< s(3484)
117.75/117.74	
117.75/117.74	  with precondition: [I>=1,J+1>=0,T>=4] 
117.75/117.74	
117.75/117.74	* Chain [364]...: 24*s(3520)+696*s(3521)+0
117.75/117.74	  Such that:aux(527) =< I
117.75/117.74	s(3520) =< aux(527)
117.75/117.74	
117.75/117.74	  with precondition: [I>=1,J>=0,T>=4] 
117.75/117.74	
117.75/117.74	* Chain [363]...: 460*s(3551)+108*s(3555)+0
117.75/117.74	  Such that:aux(528) =< -J
117.75/117.74	s(3555) =< aux(528)
117.75/117.74	
117.75/117.74	  with precondition: [T>=4] 
117.75/117.74	
117.75/117.74	
117.75/117.74	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,A1): 
117.75/117.74	-------------------------------------
117.75/117.74	* Chain [398] with precondition: [J+1=0,O=3,T=3,I>=1] 
117.75/117.74	    - Upper bound: inf 
117.75/117.74	    - Complexity: infinity 
117.75/117.74	* Chain [397] with precondition: [J+1=0,O=3,2>=T,I>=1] 
117.75/117.74	    - Upper bound: inf 
117.75/117.74	    - Complexity: infinity 
117.75/117.74	* Chain [396] with precondition: [J+1=0,O=3,I>=1,T>=4] 
117.75/117.74	    - Upper bound: inf 
117.75/117.74	    - Complexity: infinity 
117.75/117.74	* Chain [395] with precondition: [T=3] 
117.75/117.74	    - Upper bound: inf 
117.75/117.74	    - Complexity: infinity 
117.75/117.74	* Chain [394] with precondition: [T=3,0>=I] 
117.75/117.74	    - Upper bound: inf 
117.75/117.74	    - Complexity: infinity 
117.75/117.74	* Chain [393] with precondition: [T=3,0>=J+2,I>=1] 
117.75/117.74	    - Upper bound: inf 
117.75/117.74	    - Complexity: infinity 
117.75/117.74	* Chain [392] with precondition: [T=3,I>=1,J+1>=0] 
117.75/117.74	    - Upper bound: inf 
117.75/117.74	    - Complexity: infinity 
117.75/117.74	* Chain [391] with precondition: [T=3,I>=1,J>=0] 
117.75/117.74	    - Upper bound: inf 
117.75/117.74	    - Complexity: infinity 
117.75/117.74	* Chain [390] with precondition: [0>=I,2>=T] 
117.75/117.74	    - Upper bound: inf 
117.75/117.74	    - Complexity: infinity 
117.75/117.74	* Chain [389] with precondition: [0>=I,T>=4] 
117.75/117.74	    - Upper bound: inf 
117.75/117.74	    - Complexity: infinity 
117.75/117.74	* Chain [388] with precondition: [0>=J+2,2>=T,I>=1] 
117.75/117.74	    - Upper bound: inf 
117.75/117.74	    - Complexity: infinity 
117.75/117.74	* Chain [387] with precondition: [0>=J+2,I>=1,T>=4] 
117.75/117.74	    - Upper bound: inf 
117.75/117.74	    - Complexity: infinity 
117.75/117.74	* Chain [386] with precondition: [2>=T] 
117.75/117.74	    - Upper bound: inf 
117.75/117.74	    - Complexity: infinity 
117.75/117.74	* Chain [385] with precondition: [2>=T,I>=1,J+1>=0] 
117.75/117.74	    - Upper bound: inf 
117.75/117.74	    - Complexity: infinity 
117.75/117.74	* Chain [384] with precondition: [2>=T,I>=1,J>=0] 
117.75/117.74	    - Upper bound: inf 
117.75/117.74	    - Complexity: infinity 
117.75/117.74	* Chain [383] with precondition: [I>=1,J+1>=0,T>=4] 
117.75/117.74	    - Upper bound: inf 
117.75/117.74	    - Complexity: infinity 
117.75/117.74	* Chain [382] with precondition: [I>=1,J>=0,T>=4] 
117.75/117.74	    - Upper bound: inf 
117.75/117.74	    - Complexity: infinity 
117.75/117.74	* Chain [381] with precondition: [T>=4] 
117.75/117.74	    - Upper bound: inf 
117.75/117.74	    - Complexity: infinity 
117.75/117.74	* Chain [380]... with precondition: [J+1=0,O=3,T=3,I>=1] 
117.75/117.74	    - Upper bound: inf 
117.75/117.74	    - Complexity: infinity 
117.75/117.74	* Chain [379]... with precondition: [J+1=0,O=3,2>=T,I>=1] 
117.75/117.74	    - Upper bound: inf 
117.75/117.74	    - Complexity: infinity 
117.75/117.74	* Chain [378]... with precondition: [J+1=0,O=3,I>=1,T>=4] 
117.75/117.74	    - Upper bound: inf 
117.75/117.74	    - Complexity: infinity 
117.75/117.74	* Chain [377]... with precondition: [T=3] 
117.75/117.74	    - Upper bound: inf 
117.75/117.74	    - Complexity: infinity 
117.75/117.74	* Chain [376]... with precondition: [T=3,0>=I] 
117.75/117.74	    - Upper bound: inf 
117.75/117.74	    - Complexity: infinity 
117.75/117.74	* Chain [375]... with precondition: [T=3,0>=J+2,I>=1] 
117.75/117.74	    - Upper bound: inf 
117.75/117.74	    - Complexity: infinity 
117.75/117.74	* Chain [374]... with precondition: [T=3,I>=1,J+1>=0] 
117.75/117.74	    - Upper bound: inf 
117.75/117.74	    - Complexity: infinity 
117.75/117.74	* Chain [373]... with precondition: [T=3,I>=1,J>=0] 
117.75/117.74	    - Upper bound: inf 
117.75/117.74	    - Complexity: infinity 
117.75/117.74	* Chain [372]... with precondition: [0>=I,2>=T] 
117.75/117.74	    - Upper bound: inf 
117.75/117.74	    - Complexity: infinity 
117.75/117.74	* Chain [371]... with precondition: [0>=I,T>=4] 
117.75/117.74	    - Upper bound: inf 
117.75/117.74	    - Complexity: infinity 
117.75/117.74	* Chain [370]... with precondition: [0>=J+2,2>=T,I>=1] 
117.75/117.74	    - Upper bound: inf 
117.75/117.74	    - Complexity: infinity 
117.75/117.74	* Chain [369]... with precondition: [0>=J+2,I>=1,T>=4] 
117.75/117.74	    - Upper bound: inf 
117.75/117.74	    - Complexity: infinity 
117.75/117.74	* Chain [368]... with precondition: [2>=T] 
117.75/117.74	    - Upper bound: inf 
117.75/117.74	    - Complexity: infinity 
117.75/117.74	* Chain [367]... with precondition: [2>=T,I>=1,J+1>=0] 
117.75/117.74	    - Upper bound: inf 
117.75/117.74	    - Complexity: infinity 
117.75/117.74	* Chain [366]... with precondition: [2>=T,I>=1,J>=0] 
117.75/117.74	    - Upper bound: inf 
117.75/117.74	    - Complexity: infinity 
117.75/117.74	* Chain [365]... with precondition: [I>=1,J+1>=0,T>=4] 
117.75/117.74	    - Upper bound: inf 
117.75/117.74	    - Complexity: infinity 
117.75/117.74	* Chain [364]... with precondition: [I>=1,J>=0,T>=4] 
117.75/117.74	    - Upper bound: inf 
117.75/117.74	    - Complexity: infinity 
117.75/117.74	* Chain [363]... with precondition: [T>=4] 
117.75/117.74	    - Upper bound: inf 
117.75/117.74	    - Complexity: infinity 
117.75/117.74	
117.75/117.74	### 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,A1): inf 
117.75/117.74	Asymptotic class: infinity 
117.75/117.74	* Total analysis performed in 116208 ms.
117.75/117.74	
117.76/117.85	EOF