|
149 | 149 | (runtime u200)) |
150 | 150 |
|
151 | 151 | (define-read-only (cost_asserts (n uint)) |
152 | | - (runtime u158)) |
| 152 | + (runtime u170)) |
153 | 153 |
|
154 | 154 | (define-read-only (cost_map (n uint)) |
155 | 155 | (runtime (linear n u1210 u3314))) |
|
185 | 185 | (runtime (nlogn n u11 u1101))) |
186 | 186 |
|
187 | 187 | (define-read-only (cost_add (n uint)) |
188 | | - (runtime (linear n u12 u156))) |
| 188 | + (runtime (linear n u14 u157))) |
189 | 189 |
|
190 | 190 | (define-read-only (cost_sub (n uint)) |
191 | | - (runtime (linear n u12 u156))) |
| 191 | + (runtime (linear n u14 u157))) |
192 | 192 |
|
193 | 193 | (define-read-only (cost_mul (n uint)) |
194 | 194 | (runtime (linear n u14 u157))) |
|
197 | 197 | (runtime (linear n u14 u157))) |
198 | 198 |
|
199 | 199 | (define-read-only (cost_geq (n uint)) |
200 | | - (runtime u166)) |
| 200 | + (runtime u170)) |
201 | 201 |
|
202 | 202 | (define-read-only (cost_leq (n uint)) |
203 | | - (runtime u166)) |
| 203 | + (runtime u170)) |
204 | 204 |
|
205 | 205 | (define-read-only (cost_le (n uint)) |
206 | | - (runtime u166)) |
| 206 | + (runtime u170)) |
207 | 207 |
|
208 | 208 | (define-read-only (cost_ge (n uint)) |
209 | | - (runtime u166)) |
| 209 | + (runtime u170)) |
210 | 210 |
|
211 | 211 | (define-read-only (cost_int_cast (n uint)) |
212 | | - (runtime u164)) |
| 212 | + (runtime u170)) |
213 | 213 |
|
214 | 214 | (define-read-only (cost_mod (n uint)) |
215 | | - (runtime u168)) |
| 215 | + (runtime u170)) |
216 | 216 |
|
217 | 217 | (define-read-only (cost_pow (n uint)) |
218 | 218 | (runtime u170)) |
219 | 219 |
|
220 | 220 | (define-read-only (cost_sqrti (n uint)) |
221 | | - (runtime u167)) |
| 221 | + (runtime u170)) |
222 | 222 |
|
223 | 223 | (define-read-only (cost_log2 (n uint)) |
224 | | - (runtime u161)) |
| 224 | + (runtime u170)) |
225 | 225 |
|
226 | 226 | (define-read-only (cost_xor (n uint)) |
227 | | - (runtime u167)) |
| 227 | + (runtime u170)) |
228 | 228 |
|
229 | 229 | (define-read-only (cost_not (n uint)) |
230 | | - (runtime u162)) |
| 230 | + (runtime u170)) |
231 | 231 |
|
232 | 232 | (define-read-only (cost_eq (n uint)) |
233 | 233 | (runtime (linear n u7 u172))) |
|
269 | 269 | (runtime u230)) |
270 | 270 |
|
271 | 271 | (define-read-only (cost_default_to (n uint)) |
272 | | - (runtime u249)) |
| 272 | + (runtime u287)) |
273 | 273 |
|
274 | 274 | (define-read-only (cost_unwrap_ret (n uint)) |
275 | | - (runtime u299)) |
| 275 | + (runtime u339)) |
276 | 276 |
|
277 | 277 | (define-read-only (cost_unwrap_err_or_ret (n uint)) |
278 | 278 | (runtime u339)) |
|
290 | 290 | (runtime u287)) |
291 | 291 |
|
292 | 292 | (define-read-only (cost_unwrap (n uint)) |
293 | | - (runtime u284)) |
| 293 | + (runtime u287)) |
294 | 294 |
|
295 | 295 | (define-read-only (cost_unwrap_err (n uint)) |
296 | | - (runtime u264)) |
| 296 | + (runtime u287)) |
297 | 297 |
|
298 | 298 | (define-read-only (cost_try_ret (n uint)) |
299 | | - (runtime u256)) |
| 299 | + (runtime u287)) |
300 | 300 |
|
301 | 301 | (define-read-only (cost_match (n uint)) |
302 | | - (runtime u286)) |
| 302 | + (runtime u287)) |
303 | 303 |
|
304 | 304 | (define-read-only (cost_or (n uint)) |
305 | 305 | (runtime (linear n u3 u149))) |
|
323 | 323 | (runtime u13400)) |
324 | 324 |
|
325 | 325 | (define-read-only (cost_principal_of (n uint)) |
326 | | - (runtime u39)) |
| 326 | + (runtime u235)) |
327 | 327 |
|
328 | 328 |
|
329 | 329 | (define-read-only (cost_at_block (n uint)) |
|
0 commit comments