WORST_CASE(Omega(1),?)

### Pre-processing the ITS problem ###

Initial linear ITS problem
   Start location: l18
      0: l0 -> l1 : __const_50^0'=__const_50^post_1, i11^0'=i11^post_1, i13^0'=i13^post_1, i15^0'=i15^post_1, i17^0'=i17^post_1, i7^0'=i7^post_1, i9^0'=i9^post_1, i^0'=i^post_1, tmp^0'=tmp^post_1, tmp___0^0'=tmp___0^post_1, [ __const_50^0==__const_50^post_1 && i^0==i^post_1 && i11^0==i11^post_1 && i13^0==i13^post_1 && i15^0==i15^post_1 && i17^0==i17^post_1 && i7^0==i7^post_1 && i9^0==i9^post_1 && tmp^0==tmp^post_1 && tmp___0^0==tmp___0^post_1 ], cost: 1
     22: l1 -> l5 : __const_50^0'=__const_50^post_23, i11^0'=i11^post_23, i13^0'=i13^post_23, i15^0'=i15^post_23, i17^0'=i17^post_23, i7^0'=i7^post_23, i9^0'=i9^post_23, i^0'=i^post_23, tmp^0'=tmp^post_23, tmp___0^0'=tmp___0^post_23, [ __const_50^0<=i7^0 && i9^1_1==0 && i9^post_23==0 && __const_50^0==__const_50^post_23 && i^0==i^post_23 && i11^0==i11^post_23 && i13^0==i13^post_23 && i15^0==i15^post_23 && i17^0==i17^post_23 && i7^0==i7^post_23 && tmp^0==tmp^post_23 && tmp___0^0==tmp___0^post_23 ], cost: 1
     23: l1 -> l0 : __const_50^0'=__const_50^post_24, i11^0'=i11^post_24, i13^0'=i13^post_24, i15^0'=i15^post_24, i17^0'=i17^post_24, i7^0'=i7^post_24, i9^0'=i9^post_24, i^0'=i^post_24, tmp^0'=tmp^post_24, tmp___0^0'=tmp___0^post_24, [ 1+i7^0<=__const_50^0 && i7^post_24==1+i7^0 && __const_50^0==__const_50^post_24 && i^0==i^post_24 && i11^0==i11^post_24 && i13^0==i13^post_24 && i15^0==i15^post_24 && i17^0==i17^post_24 && i9^0==i9^post_24 && tmp^0==tmp^post_24 && tmp___0^0==tmp___0^post_24 ], cost: 1
      1: l2 -> l3 : __const_50^0'=__const_50^post_2, i11^0'=i11^post_2, i13^0'=i13^post_2, i15^0'=i15^post_2, i17^0'=i17^post_2, i7^0'=i7^post_2, i9^0'=i9^post_2, i^0'=i^post_2, tmp^0'=tmp^post_2, tmp___0^0'=tmp___0^post_2, [ __const_50^0<=i^0 && __const_50^0==__const_50^post_2 && i^0==i^post_2 && i11^0==i11^post_2 && i13^0==i13^post_2 && i15^0==i15^post_2 && i17^0==i17^post_2 && i7^0==i7^post_2 && i9^0==i9^post_2 && tmp^0==tmp^post_2 && tmp___0^0==tmp___0^post_2 ], cost: 1
      2: l2 -> l4 : __const_50^0'=__const_50^post_3, i11^0'=i11^post_3, i13^0'=i13^post_3, i15^0'=i15^post_3, i17^0'=i17^post_3, i7^0'=i7^post_3, i9^0'=i9^post_3, i^0'=i^post_3, tmp^0'=tmp^post_3, tmp___0^0'=tmp___0^post_3, [ 1+i^0<=__const_50^0 && i^post_3==1+i^0 && __const_50^0==__const_50^post_3 && i11^0==i11^post_3 && i13^0==i13^post_3 && i15^0==i15^post_3 && i17^0==i17^post_3 && i7^0==i7^post_3 && i9^0==i9^post_3 && tmp^0==tmp^post_3 && tmp___0^0==tmp___0^post_3 ], cost: 1
     21: l4 -> l2 : __const_50^0'=__const_50^post_22, i11^0'=i11^post_22, i13^0'=i13^post_22, i15^0'=i15^post_22, i17^0'=i17^post_22, i7^0'=i7^post_22, i9^0'=i9^post_22, i^0'=i^post_22, tmp^0'=tmp^post_22, tmp___0^0'=tmp___0^post_22, [ __const_50^0==__const_50^post_22 && i^0==i^post_22 && i11^0==i11^post_22 && i13^0==i13^post_22 && i15^0==i15^post_22 && i17^0==i17^post_22 && i7^0==i7^post_22 && i9^0==i9^post_22 && tmp^0==tmp^post_22 && tmp___0^0==tmp___0^post_22 ], cost: 1
      3: l5 -> l6 : __const_50^0'=__const_50^post_4, i11^0'=i11^post_4, i13^0'=i13^post_4, i15^0'=i15^post_4, i17^0'=i17^post_4, i7^0'=i7^post_4, i9^0'=i9^post_4, i^0'=i^post_4, tmp^0'=tmp^post_4, tmp___0^0'=tmp___0^post_4, [ __const_50^0==__const_50^post_4 && i^0==i^post_4 && i11^0==i11^post_4 && i13^0==i13^post_4 && i15^0==i15^post_4 && i17^0==i17^post_4 && i7^0==i7^post_4 && i9^0==i9^post_4 && tmp^0==tmp^post_4 && tmp___0^0==tmp___0^post_4 ], cost: 1
     19: l6 -> l9 : __const_50^0'=__const_50^post_20, i11^0'=i11^post_20, i13^0'=i13^post_20, i15^0'=i15^post_20, i17^0'=i17^post_20, i7^0'=i7^post_20, i9^0'=i9^post_20, i^0'=i^post_20, tmp^0'=tmp^post_20, tmp___0^0'=tmp___0^post_20, [ __const_50^0<=i9^0 && i11^1_1==0 && i11^post_20==0 && __const_50^0==__const_50^post_20 && i^0==i^post_20 && i13^0==i13^post_20 && i15^0==i15^post_20 && i17^0==i17^post_20 && i7^0==i7^post_20 && i9^0==i9^post_20 && tmp^0==tmp^post_20 && tmp___0^0==tmp___0^post_20 ], cost: 1
     20: l6 -> l5 : __const_50^0'=__const_50^post_21, i11^0'=i11^post_21, i13^0'=i13^post_21, i15^0'=i15^post_21, i17^0'=i17^post_21, i7^0'=i7^post_21, i9^0'=i9^post_21, i^0'=i^post_21, tmp^0'=tmp^post_21, tmp___0^0'=tmp___0^post_21, [ 1+i9^0<=__const_50^0 && i9^post_21==1+i9^0 && __const_50^0==__const_50^post_21 && i^0==i^post_21 && i11^0==i11^post_21 && i13^0==i13^post_21 && i15^0==i15^post_21 && i17^0==i17^post_21 && i7^0==i7^post_21 && tmp^0==tmp^post_21 && tmp___0^0==tmp___0^post_21 ], cost: 1
      4: l7 -> l4 : __const_50^0'=__const_50^post_5, i11^0'=i11^post_5, i13^0'=i13^post_5, i15^0'=i15^post_5, i17^0'=i17^post_5, i7^0'=i7^post_5, i9^0'=i9^post_5, i^0'=i^post_5, tmp^0'=tmp^post_5, tmp___0^0'=tmp___0^post_5, [ __const_50^0<=i17^0 && i^post_5==0 && __const_50^0==__const_50^post_5 && i11^0==i11^post_5 && i13^0==i13^post_5 && i15^0==i15^post_5 && i17^0==i17^post_5 && i7^0==i7^post_5 && i9^0==i9^post_5 && tmp^0==tmp^post_5 && tmp___0^0==tmp___0^post_5 ], cost: 1
      5: l7 -> l8 : __const_50^0'=__const_50^post_6, i11^0'=i11^post_6, i13^0'=i13^post_6, i15^0'=i15^post_6, i17^0'=i17^post_6, i7^0'=i7^post_6, i9^0'=i9^post_6, i^0'=i^post_6, tmp^0'=tmp^post_6, tmp___0^0'=tmp___0^post_6, [ 1+i17^0<=__const_50^0 && i17^post_6==1+i17^0 && __const_50^0==__const_50^post_6 && i^0==i^post_6 && i11^0==i11^post_6 && i13^0==i13^post_6 && i15^0==i15^post_6 && i7^0==i7^post_6 && i9^0==i9^post_6 && tmp^0==tmp^post_6 && tmp___0^0==tmp___0^post_6 ], cost: 1
     18: l8 -> l7 : __const_50^0'=__const_50^post_19, i11^0'=i11^post_19, i13^0'=i13^post_19, i15^0'=i15^post_19, i17^0'=i17^post_19, i7^0'=i7^post_19, i9^0'=i9^post_19, i^0'=i^post_19, tmp^0'=tmp^post_19, tmp___0^0'=tmp___0^post_19, [ __const_50^0==__const_50^post_19 && i^0==i^post_19 && i11^0==i11^post_19 && i13^0==i13^post_19 && i15^0==i15^post_19 && i17^0==i17^post_19 && i7^0==i7^post_19 && i9^0==i9^post_19 && tmp^0==tmp^post_19 && tmp___0^0==tmp___0^post_19 ], cost: 1
      6: l9 -> l10 : __const_50^0'=__const_50^post_7, i11^0'=i11^post_7, i13^0'=i13^post_7, i15^0'=i15^post_7, i17^0'=i17^post_7, i7^0'=i7^post_7, i9^0'=i9^post_7, i^0'=i^post_7, tmp^0'=tmp^post_7, tmp___0^0'=tmp___0^post_7, [ __const_50^0==__const_50^post_7 && i^0==i^post_7 && i11^0==i11^post_7 && i13^0==i13^post_7 && i15^0==i15^post_7 && i17^0==i17^post_7 && i7^0==i7^post_7 && i9^0==i9^post_7 && tmp^0==tmp^post_7 && tmp___0^0==tmp___0^post_7 ], cost: 1
     16: l10 -> l13 : __const_50^0'=__const_50^post_17, i11^0'=i11^post_17, i13^0'=i13^post_17, i15^0'=i15^post_17, i17^0'=i17^post_17, i7^0'=i7^post_17, i9^0'=i9^post_17, i^0'=i^post_17, tmp^0'=tmp^post_17, tmp___0^0'=tmp___0^post_17, [ __const_50^0<=i11^0 && i^post_17==0 && __const_50^0==__const_50^post_17 && i11^0==i11^post_17 && i13^0==i13^post_17 && i15^0==i15^post_17 && i17^0==i17^post_17 && i7^0==i7^post_17 && i9^0==i9^post_17 && tmp^0==tmp^post_17 && tmp___0^0==tmp___0^post_17 ], cost: 1
     17: l10 -> l9 : __const_50^0'=__const_50^post_18, i11^0'=i11^post_18, i13^0'=i13^post_18, i15^0'=i15^post_18, i17^0'=i17^post_18, i7^0'=i7^post_18, i9^0'=i9^post_18, i^0'=i^post_18, tmp^0'=tmp^post_18, tmp___0^0'=tmp___0^post_18, [ 1+i11^0<=__const_50^0 && i11^post_18==1+i11^0 && __const_50^0==__const_50^post_18 && i^0==i^post_18 && i13^0==i13^post_18 && i15^0==i15^post_18 && i17^0==i17^post_18 && i7^0==i7^post_18 && i9^0==i9^post_18 && tmp^0==tmp^post_18 && tmp___0^0==tmp___0^post_18 ], cost: 1
      7: l11 -> l8 : __const_50^0'=__const_50^post_8, i11^0'=i11^post_8, i13^0'=i13^post_8, i15^0'=i15^post_8, i17^0'=i17^post_8, i7^0'=i7^post_8, i9^0'=i9^post_8, i^0'=i^post_8, tmp^0'=tmp^post_8, tmp___0^0'=tmp___0^post_8, [ __const_50^0<=i15^0 && i17^1_1==0 && i17^post_8==0 && __const_50^0==__const_50^post_8 && i^0==i^post_8 && i11^0==i11^post_8 && i13^0==i13^post_8 && i15^0==i15^post_8 && i7^0==i7^post_8 && i9^0==i9^post_8 && tmp^0==tmp^post_8 && tmp___0^0==tmp___0^post_8 ], cost: 1
      8: l11 -> l12 : __const_50^0'=__const_50^post_9, i11^0'=i11^post_9, i13^0'=i13^post_9, i15^0'=i15^post_9, i17^0'=i17^post_9, i7^0'=i7^post_9, i9^0'=i9^post_9, i^0'=i^post_9, tmp^0'=tmp^post_9, tmp___0^0'=tmp___0^post_9, [ 1+i15^0<=__const_50^0 && i15^post_9==1+i15^0 && __const_50^0==__const_50^post_9 && i^0==i^post_9 && i11^0==i11^post_9 && i13^0==i13^post_9 && i17^0==i17^post_9 && i7^0==i7^post_9 && i9^0==i9^post_9 && tmp^0==tmp^post_9 && tmp___0^0==tmp___0^post_9 ], cost: 1
     15: l12 -> l11 : __const_50^0'=__const_50^post_16, i11^0'=i11^post_16, i13^0'=i13^post_16, i15^0'=i15^post_16, i17^0'=i17^post_16, i7^0'=i7^post_16, i9^0'=i9^post_16, i^0'=i^post_16, tmp^0'=tmp^post_16, tmp___0^0'=tmp___0^post_16, [ __const_50^0==__const_50^post_16 && i^0==i^post_16 && i11^0==i11^post_16 && i13^0==i13^post_16 && i15^0==i15^post_16 && i17^0==i17^post_16 && i7^0==i7^post_16 && i9^0==i9^post_16 && tmp^0==tmp^post_16 && tmp___0^0==tmp___0^post_16 ], cost: 1
      9: l13 -> l14 : __const_50^0'=__const_50^post_10, i11^0'=i11^post_10, i13^0'=i13^post_10, i15^0'=i15^post_10, i17^0'=i17^post_10, i7^0'=i7^post_10, i9^0'=i9^post_10, i^0'=i^post_10, tmp^0'=tmp^post_10, tmp___0^0'=tmp___0^post_10, [ __const_50^0==__const_50^post_10 && i^0==i^post_10 && i11^0==i11^post_10 && i13^0==i13^post_10 && i15^0==i15^post_10 && i17^0==i17^post_10 && i7^0==i7^post_10 && i9^0==i9^post_10 && tmp^0==tmp^post_10 && tmp___0^0==tmp___0^post_10 ], cost: 1
     13: l14 -> l16 : __const_50^0'=__const_50^post_14, i11^0'=i11^post_14, i13^0'=i13^post_14, i15^0'=i15^post_14, i17^0'=i17^post_14, i7^0'=i7^post_14, i9^0'=i9^post_14, i^0'=i^post_14, tmp^0'=tmp^post_14, tmp___0^0'=tmp___0^post_14, [ __const_50^0<=i^0 && i13^1_1==0 && i13^post_14==0 && __const_50^0==__const_50^post_14 && i^0==i^post_14 && i11^0==i11^post_14 && i15^0==i15^post_14 && i17^0==i17^post_14 && i7^0==i7^post_14 && i9^0==i9^post_14 && tmp^0==tmp^post_14 && tmp___0^0==tmp___0^post_14 ], cost: 1
     14: l14 -> l13 : __const_50^0'=__const_50^post_15, i11^0'=i11^post_15, i13^0'=i13^post_15, i15^0'=i15^post_15, i17^0'=i17^post_15, i7^0'=i7^post_15, i9^0'=i9^post_15, i^0'=i^post_15, tmp^0'=tmp^post_15, tmp___0^0'=tmp___0^post_15, [ 1+i^0<=__const_50^0 && i^post_15==1+i^0 && __const_50^0==__const_50^post_15 && i11^0==i11^post_15 && i13^0==i13^post_15 && i15^0==i15^post_15 && i17^0==i17^post_15 && i7^0==i7^post_15 && i9^0==i9^post_15 && tmp^0==tmp^post_15 && tmp___0^0==tmp___0^post_15 ], cost: 1
     10: l15 -> l12 : __const_50^0'=__const_50^post_11, i11^0'=i11^post_11, i13^0'=i13^post_11, i15^0'=i15^post_11, i17^0'=i17^post_11, i7^0'=i7^post_11, i9^0'=i9^post_11, i^0'=i^post_11, tmp^0'=tmp^post_11, tmp___0^0'=tmp___0^post_11, [ __const_50^0<=i13^0 && i15^1_1==0 && i15^post_11==0 && __const_50^0==__const_50^post_11 && i^0==i^post_11 && i11^0==i11^post_11 && i13^0==i13^post_11 && i17^0==i17^post_11 && i7^0==i7^post_11 && i9^0==i9^post_11 && tmp^0==tmp^post_11 && tmp___0^0==tmp___0^post_11 ], cost: 1
     11: l15 -> l16 : __const_50^0'=__const_50^post_12, i11^0'=i11^post_12, i13^0'=i13^post_12, i15^0'=i15^post_12, i17^0'=i17^post_12, i7^0'=i7^post_12, i9^0'=i9^post_12, i^0'=i^post_12, tmp^0'=tmp^post_12, tmp___0^0'=tmp___0^post_12, [ 1+i13^0<=__const_50^0 && i13^post_12==1+i13^0 && __const_50^0==__const_50^post_12 && i^0==i^post_12 && i11^0==i11^post_12 && i15^0==i15^post_12 && i17^0==i17^post_12 && i7^0==i7^post_12 && i9^0==i9^post_12 && tmp^0==tmp^post_12 && tmp___0^0==tmp___0^post_12 ], cost: 1
     12: l16 -> l15 : __const_50^0'=__const_50^post_13, i11^0'=i11^post_13, i13^0'=i13^post_13, i15^0'=i15^post_13, i17^0'=i17^post_13, i7^0'=i7^post_13, i9^0'=i9^post_13, i^0'=i^post_13, tmp^0'=tmp^post_13, tmp___0^0'=tmp___0^post_13, [ __const_50^0==__const_50^post_13 && i^0==i^post_13 && i11^0==i11^post_13 && i13^0==i13^post_13 && i15^0==i15^post_13 && i17^0==i17^post_13 && i7^0==i7^post_13 && i9^0==i9^post_13 && tmp^0==tmp^post_13 && tmp___0^0==tmp___0^post_13 ], cost: 1
     24: l17 -> l0 : __const_50^0'=__const_50^post_25, i11^0'=i11^post_25, i13^0'=i13^post_25, i15^0'=i15^post_25, i17^0'=i17^post_25, i7^0'=i7^post_25, i9^0'=i9^post_25, i^0'=i^post_25, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ i^post_25==0 && tmp^post_25==tmp^post_25 && tmp___0^post_25==tmp___0^post_25 && i7^1_1==0 && i7^post_25==0 && __const_50^0==__const_50^post_25 && i11^0==i11^post_25 && i13^0==i13^post_25 && i15^0==i15^post_25 && i17^0==i17^post_25 && i9^0==i9^post_25 ], cost: 1
     25: l18 -> l17 : __const_50^0'=__const_50^post_26, i11^0'=i11^post_26, i13^0'=i13^post_26, i15^0'=i15^post_26, i17^0'=i17^post_26, i7^0'=i7^post_26, i9^0'=i9^post_26, i^0'=i^post_26, tmp^0'=tmp^post_26, tmp___0^0'=tmp___0^post_26, [ __const_50^0==__const_50^post_26 && i^0==i^post_26 && i11^0==i11^post_26 && i13^0==i13^post_26 && i15^0==i15^post_26 && i17^0==i17^post_26 && i7^0==i7^post_26 && i9^0==i9^post_26 && tmp^0==tmp^post_26 && tmp___0^0==tmp___0^post_26 ], cost: 1

Checking for constant complexity:
   The following rule is satisfiable with cost >= 1, yielding constant complexity:
     25: l18 -> l17 : __const_50^0'=__const_50^post_26, i11^0'=i11^post_26, i13^0'=i13^post_26, i15^0'=i15^post_26, i17^0'=i17^post_26, i7^0'=i7^post_26, i9^0'=i9^post_26, i^0'=i^post_26, tmp^0'=tmp^post_26, tmp___0^0'=tmp___0^post_26, [ __const_50^0==__const_50^post_26 && i^0==i^post_26 && i11^0==i11^post_26 && i13^0==i13^post_26 && i15^0==i15^post_26 && i17^0==i17^post_26 && i7^0==i7^post_26 && i9^0==i9^post_26 && tmp^0==tmp^post_26 && tmp___0^0==tmp___0^post_26 ], cost: 1

Removed unreachable and leaf rules:
   Start location: l18
      0: l0 -> l1 : __const_50^0'=__const_50^post_1, i11^0'=i11^post_1, i13^0'=i13^post_1, i15^0'=i15^post_1, i17^0'=i17^post_1, i7^0'=i7^post_1, i9^0'=i9^post_1, i^0'=i^post_1, tmp^0'=tmp^post_1, tmp___0^0'=tmp___0^post_1, [ __const_50^0==__const_50^post_1 && i^0==i^post_1 && i11^0==i11^post_1 && i13^0==i13^post_1 && i15^0==i15^post_1 && i17^0==i17^post_1 && i7^0==i7^post_1 && i9^0==i9^post_1 && tmp^0==tmp^post_1 && tmp___0^0==tmp___0^post_1 ], cost: 1
     22: l1 -> l5 : __const_50^0'=__const_50^post_23, i11^0'=i11^post_23, i13^0'=i13^post_23, i15^0'=i15^post_23, i17^0'=i17^post_23, i7^0'=i7^post_23, i9^0'=i9^post_23, i^0'=i^post_23, tmp^0'=tmp^post_23, tmp___0^0'=tmp___0^post_23, [ __const_50^0<=i7^0 && i9^1_1==0 && i9^post_23==0 && __const_50^0==__const_50^post_23 && i^0==i^post_23 && i11^0==i11^post_23 && i13^0==i13^post_23 && i15^0==i15^post_23 && i17^0==i17^post_23 && i7^0==i7^post_23 && tmp^0==tmp^post_23 && tmp___0^0==tmp___0^post_23 ], cost: 1
     23: l1 -> l0 : __const_50^0'=__const_50^post_24, i11^0'=i11^post_24, i13^0'=i13^post_24, i15^0'=i15^post_24, i17^0'=i17^post_24, i7^0'=i7^post_24, i9^0'=i9^post_24, i^0'=i^post_24, tmp^0'=tmp^post_24, tmp___0^0'=tmp___0^post_24, [ 1+i7^0<=__const_50^0 && i7^post_24==1+i7^0 && __const_50^0==__const_50^post_24 && i^0==i^post_24 && i11^0==i11^post_24 && i13^0==i13^post_24 && i15^0==i15^post_24 && i17^0==i17^post_24 && i9^0==i9^post_24 && tmp^0==tmp^post_24 && tmp___0^0==tmp___0^post_24 ], cost: 1
      2: l2 -> l4 : __const_50^0'=__const_50^post_3, i11^0'=i11^post_3, i13^0'=i13^post_3, i15^0'=i15^post_3, i17^0'=i17^post_3, i7^0'=i7^post_3, i9^0'=i9^post_3, i^0'=i^post_3, tmp^0'=tmp^post_3, tmp___0^0'=tmp___0^post_3, [ 1+i^0<=__const_50^0 && i^post_3==1+i^0 && __const_50^0==__const_50^post_3 && i11^0==i11^post_3 && i13^0==i13^post_3 && i15^0==i15^post_3 && i17^0==i17^post_3 && i7^0==i7^post_3 && i9^0==i9^post_3 && tmp^0==tmp^post_3 && tmp___0^0==tmp___0^post_3 ], cost: 1
     21: l4 -> l2 : __const_50^0'=__const_50^post_22, i11^0'=i11^post_22, i13^0'=i13^post_22, i15^0'=i15^post_22, i17^0'=i17^post_22, i7^0'=i7^post_22, i9^0'=i9^post_22, i^0'=i^post_22, tmp^0'=tmp^post_22, tmp___0^0'=tmp___0^post_22, [ __const_50^0==__const_50^post_22 && i^0==i^post_22 && i11^0==i11^post_22 && i13^0==i13^post_22 && i15^0==i15^post_22 && i17^0==i17^post_22 && i7^0==i7^post_22 && i9^0==i9^post_22 && tmp^0==tmp^post_22 && tmp___0^0==tmp___0^post_22 ], cost: 1
      3: l5 -> l6 : __const_50^0'=__const_50^post_4, i11^0'=i11^post_4, i13^0'=i13^post_4, i15^0'=i15^post_4, i17^0'=i17^post_4, i7^0'=i7^post_4, i9^0'=i9^post_4, i^0'=i^post_4, tmp^0'=tmp^post_4, tmp___0^0'=tmp___0^post_4, [ __const_50^0==__const_50^post_4 && i^0==i^post_4 && i11^0==i11^post_4 && i13^0==i13^post_4 && i15^0==i15^post_4 && i17^0==i17^post_4 && i7^0==i7^post_4 && i9^0==i9^post_4 && tmp^0==tmp^post_4 && tmp___0^0==tmp___0^post_4 ], cost: 1
     19: l6 -> l9 : __const_50^0'=__const_50^post_20, i11^0'=i11^post_20, i13^0'=i13^post_20, i15^0'=i15^post_20, i17^0'=i17^post_20, i7^0'=i7^post_20, i9^0'=i9^post_20, i^0'=i^post_20, tmp^0'=tmp^post_20, tmp___0^0'=tmp___0^post_20, [ __const_50^0<=i9^0 && i11^1_1==0 && i11^post_20==0 && __const_50^0==__const_50^post_20 && i^0==i^post_20 && i13^0==i13^post_20 && i15^0==i15^post_20 && i17^0==i17^post_20 && i7^0==i7^post_20 && i9^0==i9^post_20 && tmp^0==tmp^post_20 && tmp___0^0==tmp___0^post_20 ], cost: 1
     20: l6 -> l5 : __const_50^0'=__const_50^post_21, i11^0'=i11^post_21, i13^0'=i13^post_21, i15^0'=i15^post_21, i17^0'=i17^post_21, i7^0'=i7^post_21, i9^0'=i9^post_21, i^0'=i^post_21, tmp^0'=tmp^post_21, tmp___0^0'=tmp___0^post_21, [ 1+i9^0<=__const_50^0 && i9^post_21==1+i9^0 && __const_50^0==__const_50^post_21 && i^0==i^post_21 && i11^0==i11^post_21 && i13^0==i13^post_21 && i15^0==i15^post_21 && i17^0==i17^post_21 && i7^0==i7^post_21 && tmp^0==tmp^post_21 && tmp___0^0==tmp___0^post_21 ], cost: 1
      4: l7 -> l4 : __const_50^0'=__const_50^post_5, i11^0'=i11^post_5, i13^0'=i13^post_5, i15^0'=i15^post_5, i17^0'=i17^post_5, i7^0'=i7^post_5, i9^0'=i9^post_5, i^0'=i^post_5, tmp^0'=tmp^post_5, tmp___0^0'=tmp___0^post_5, [ __const_50^0<=i17^0 && i^post_5==0 && __const_50^0==__const_50^post_5 && i11^0==i11^post_5 && i13^0==i13^post_5 && i15^0==i15^post_5 && i17^0==i17^post_5 && i7^0==i7^post_5 && i9^0==i9^post_5 && tmp^0==tmp^post_5 && tmp___0^0==tmp___0^post_5 ], cost: 1
      5: l7 -> l8 : __const_50^0'=__const_50^post_6, i11^0'=i11^post_6, i13^0'=i13^post_6, i15^0'=i15^post_6, i17^0'=i17^post_6, i7^0'=i7^post_6, i9^0'=i9^post_6, i^0'=i^post_6, tmp^0'=tmp^post_6, tmp___0^0'=tmp___0^post_6, [ 1+i17^0<=__const_50^0 && i17^post_6==1+i17^0 && __const_50^0==__const_50^post_6 && i^0==i^post_6 && i11^0==i11^post_6 && i13^0==i13^post_6 && i15^0==i15^post_6 && i7^0==i7^post_6 && i9^0==i9^post_6 && tmp^0==tmp^post_6 && tmp___0^0==tmp___0^post_6 ], cost: 1
     18: l8 -> l7 : __const_50^0'=__const_50^post_19, i11^0'=i11^post_19, i13^0'=i13^post_19, i15^0'=i15^post_19, i17^0'=i17^post_19, i7^0'=i7^post_19, i9^0'=i9^post_19, i^0'=i^post_19, tmp^0'=tmp^post_19, tmp___0^0'=tmp___0^post_19, [ __const_50^0==__const_50^post_19 && i^0==i^post_19 && i11^0==i11^post_19 && i13^0==i13^post_19 && i15^0==i15^post_19 && i17^0==i17^post_19 && i7^0==i7^post_19 && i9^0==i9^post_19 && tmp^0==tmp^post_19 && tmp___0^0==tmp___0^post_19 ], cost: 1
      6: l9 -> l10 : __const_50^0'=__const_50^post_7, i11^0'=i11^post_7, i13^0'=i13^post_7, i15^0'=i15^post_7, i17^0'=i17^post_7, i7^0'=i7^post_7, i9^0'=i9^post_7, i^0'=i^post_7, tmp^0'=tmp^post_7, tmp___0^0'=tmp___0^post_7, [ __const_50^0==__const_50^post_7 && i^0==i^post_7 && i11^0==i11^post_7 && i13^0==i13^post_7 && i15^0==i15^post_7 && i17^0==i17^post_7 && i7^0==i7^post_7 && i9^0==i9^post_7 && tmp^0==tmp^post_7 && tmp___0^0==tmp___0^post_7 ], cost: 1
     16: l10 -> l13 : __const_50^0'=__const_50^post_17, i11^0'=i11^post_17, i13^0'=i13^post_17, i15^0'=i15^post_17, i17^0'=i17^post_17, i7^0'=i7^post_17, i9^0'=i9^post_17, i^0'=i^post_17, tmp^0'=tmp^post_17, tmp___0^0'=tmp___0^post_17, [ __const_50^0<=i11^0 && i^post_17==0 && __const_50^0==__const_50^post_17 && i11^0==i11^post_17 && i13^0==i13^post_17 && i15^0==i15^post_17 && i17^0==i17^post_17 && i7^0==i7^post_17 && i9^0==i9^post_17 && tmp^0==tmp^post_17 && tmp___0^0==tmp___0^post_17 ], cost: 1
     17: l10 -> l9 : __const_50^0'=__const_50^post_18, i11^0'=i11^post_18, i13^0'=i13^post_18, i15^0'=i15^post_18, i17^0'=i17^post_18, i7^0'=i7^post_18, i9^0'=i9^post_18, i^0'=i^post_18, tmp^0'=tmp^post_18, tmp___0^0'=tmp___0^post_18, [ 1+i11^0<=__const_50^0 && i11^post_18==1+i11^0 && __const_50^0==__const_50^post_18 && i^0==i^post_18 && i13^0==i13^post_18 && i15^0==i15^post_18 && i17^0==i17^post_18 && i7^0==i7^post_18 && i9^0==i9^post_18 && tmp^0==tmp^post_18 && tmp___0^0==tmp___0^post_18 ], cost: 1
      7: l11 -> l8 : __const_50^0'=__const_50^post_8, i11^0'=i11^post_8, i13^0'=i13^post_8, i15^0'=i15^post_8, i17^0'=i17^post_8, i7^0'=i7^post_8, i9^0'=i9^post_8, i^0'=i^post_8, tmp^0'=tmp^post_8, tmp___0^0'=tmp___0^post_8, [ __const_50^0<=i15^0 && i17^1_1==0 && i17^post_8==0 && __const_50^0==__const_50^post_8 && i^0==i^post_8 && i11^0==i11^post_8 && i13^0==i13^post_8 && i15^0==i15^post_8 && i7^0==i7^post_8 && i9^0==i9^post_8 && tmp^0==tmp^post_8 && tmp___0^0==tmp___0^post_8 ], cost: 1
      8: l11 -> l12 : __const_50^0'=__const_50^post_9, i11^0'=i11^post_9, i13^0'=i13^post_9, i15^0'=i15^post_9, i17^0'=i17^post_9, i7^0'=i7^post_9, i9^0'=i9^post_9, i^0'=i^post_9, tmp^0'=tmp^post_9, tmp___0^0'=tmp___0^post_9, [ 1+i15^0<=__const_50^0 && i15^post_9==1+i15^0 && __const_50^0==__const_50^post_9 && i^0==i^post_9 && i11^0==i11^post_9 && i13^0==i13^post_9 && i17^0==i17^post_9 && i7^0==i7^post_9 && i9^0==i9^post_9 && tmp^0==tmp^post_9 && tmp___0^0==tmp___0^post_9 ], cost: 1
     15: l12 -> l11 : __const_50^0'=__const_50^post_16, i11^0'=i11^post_16, i13^0'=i13^post_16, i15^0'=i15^post_16, i17^0'=i17^post_16, i7^0'=i7^post_16, i9^0'=i9^post_16, i^0'=i^post_16, tmp^0'=tmp^post_16, tmp___0^0'=tmp___0^post_16, [ __const_50^0==__const_50^post_16 && i^0==i^post_16 && i11^0==i11^post_16 && i13^0==i13^post_16 && i15^0==i15^post_16 && i17^0==i17^post_16 && i7^0==i7^post_16 && i9^0==i9^post_16 && tmp^0==tmp^post_16 && tmp___0^0==tmp___0^post_16 ], cost: 1
      9: l13 -> l14 : __const_50^0'=__const_50^post_10, i11^0'=i11^post_10, i13^0'=i13^post_10, i15^0'=i15^post_10, i17^0'=i17^post_10, i7^0'=i7^post_10, i9^0'=i9^post_10, i^0'=i^post_10, tmp^0'=tmp^post_10, tmp___0^0'=tmp___0^post_10, [ __const_50^0==__const_50^post_10 && i^0==i^post_10 && i11^0==i11^post_10 && i13^0==i13^post_10 && i15^0==i15^post_10 && i17^0==i17^post_10 && i7^0==i7^post_10 && i9^0==i9^post_10 && tmp^0==tmp^post_10 && tmp___0^0==tmp___0^post_10 ], cost: 1
     13: l14 -> l16 : __const_50^0'=__const_50^post_14, i11^0'=i11^post_14, i13^0'=i13^post_14, i15^0'=i15^post_14, i17^0'=i17^post_14, i7^0'=i7^post_14, i9^0'=i9^post_14, i^0'=i^post_14, tmp^0'=tmp^post_14, tmp___0^0'=tmp___0^post_14, [ __const_50^0<=i^0 && i13^1_1==0 && i13^post_14==0 && __const_50^0==__const_50^post_14 && i^0==i^post_14 && i11^0==i11^post_14 && i15^0==i15^post_14 && i17^0==i17^post_14 && i7^0==i7^post_14 && i9^0==i9^post_14 && tmp^0==tmp^post_14 && tmp___0^0==tmp___0^post_14 ], cost: 1
     14: l14 -> l13 : __const_50^0'=__const_50^post_15, i11^0'=i11^post_15, i13^0'=i13^post_15, i15^0'=i15^post_15, i17^0'=i17^post_15, i7^0'=i7^post_15, i9^0'=i9^post_15, i^0'=i^post_15, tmp^0'=tmp^post_15, tmp___0^0'=tmp___0^post_15, [ 1+i^0<=__const_50^0 && i^post_15==1+i^0 && __const_50^0==__const_50^post_15 && i11^0==i11^post_15 && i13^0==i13^post_15 && i15^0==i15^post_15 && i17^0==i17^post_15 && i7^0==i7^post_15 && i9^0==i9^post_15 && tmp^0==tmp^post_15 && tmp___0^0==tmp___0^post_15 ], cost: 1
     10: l15 -> l12 : __const_50^0'=__const_50^post_11, i11^0'=i11^post_11, i13^0'=i13^post_11, i15^0'=i15^post_11, i17^0'=i17^post_11, i7^0'=i7^post_11, i9^0'=i9^post_11, i^0'=i^post_11, tmp^0'=tmp^post_11, tmp___0^0'=tmp___0^post_11, [ __const_50^0<=i13^0 && i15^1_1==0 && i15^post_11==0 && __const_50^0==__const_50^post_11 && i^0==i^post_11 && i11^0==i11^post_11 && i13^0==i13^post_11 && i17^0==i17^post_11 && i7^0==i7^post_11 && i9^0==i9^post_11 && tmp^0==tmp^post_11 && tmp___0^0==tmp___0^post_11 ], cost: 1
     11: l15 -> l16 : __const_50^0'=__const_50^post_12, i11^0'=i11^post_12, i13^0'=i13^post_12, i15^0'=i15^post_12, i17^0'=i17^post_12, i7^0'=i7^post_12, i9^0'=i9^post_12, i^0'=i^post_12, tmp^0'=tmp^post_12, tmp___0^0'=tmp___0^post_12, [ 1+i13^0<=__const_50^0 && i13^post_12==1+i13^0 && __const_50^0==__const_50^post_12 && i^0==i^post_12 && i11^0==i11^post_12 && i15^0==i15^post_12 && i17^0==i17^post_12 && i7^0==i7^post_12 && i9^0==i9^post_12 && tmp^0==tmp^post_12 && tmp___0^0==tmp___0^post_12 ], cost: 1
     12: l16 -> l15 : __const_50^0'=__const_50^post_13, i11^0'=i11^post_13, i13^0'=i13^post_13, i15^0'=i15^post_13, i17^0'=i17^post_13, i7^0'=i7^post_13, i9^0'=i9^post_13, i^0'=i^post_13, tmp^0'=tmp^post_13, tmp___0^0'=tmp___0^post_13, [ __const_50^0==__const_50^post_13 && i^0==i^post_13 && i11^0==i11^post_13 && i13^0==i13^post_13 && i15^0==i15^post_13 && i17^0==i17^post_13 && i7^0==i7^post_13 && i9^0==i9^post_13 && tmp^0==tmp^post_13 && tmp___0^0==tmp___0^post_13 ], cost: 1
     24: l17 -> l0 : __const_50^0'=__const_50^post_25, i11^0'=i11^post_25, i13^0'=i13^post_25, i15^0'=i15^post_25, i17^0'=i17^post_25, i7^0'=i7^post_25, i9^0'=i9^post_25, i^0'=i^post_25, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ i^post_25==0 && tmp^post_25==tmp^post_25 && tmp___0^post_25==tmp___0^post_25 && i7^1_1==0 && i7^post_25==0 && __const_50^0==__const_50^post_25 && i11^0==i11^post_25 && i13^0==i13^post_25 && i15^0==i15^post_25 && i17^0==i17^post_25 && i9^0==i9^post_25 ], cost: 1
     25: l18 -> l17 : __const_50^0'=__const_50^post_26, i11^0'=i11^post_26, i13^0'=i13^post_26, i15^0'=i15^post_26, i17^0'=i17^post_26, i7^0'=i7^post_26, i9^0'=i9^post_26, i^0'=i^post_26, tmp^0'=tmp^post_26, tmp___0^0'=tmp___0^post_26, [ __const_50^0==__const_50^post_26 && i^0==i^post_26 && i11^0==i11^post_26 && i13^0==i13^post_26 && i15^0==i15^post_26 && i17^0==i17^post_26 && i7^0==i7^post_26 && i9^0==i9^post_26 && tmp^0==tmp^post_26 && tmp___0^0==tmp___0^post_26 ], cost: 1

Simplified all rules, resulting in:
   Start location: l18
      0: l0 -> l1 : [], cost: 1
     22: l1 -> l5 : i9^0'=0, [ __const_50^0<=i7^0 ], cost: 1
     23: l1 -> l0 : i7^0'=1+i7^0, [ 1+i7^0<=__const_50^0 ], cost: 1
      2: l2 -> l4 : i^0'=1+i^0, [ 1+i^0<=__const_50^0 ], cost: 1
     21: l4 -> l2 : [], cost: 1
      3: l5 -> l6 : [], cost: 1
     19: l6 -> l9 : i11^0'=0, [ __const_50^0<=i9^0 ], cost: 1
     20: l6 -> l5 : i9^0'=1+i9^0, [ 1+i9^0<=__const_50^0 ], cost: 1
      4: l7 -> l4 : i^0'=0, [ __const_50^0<=i17^0 ], cost: 1
      5: l7 -> l8 : i17^0'=1+i17^0, [ 1+i17^0<=__const_50^0 ], cost: 1
     18: l8 -> l7 : [], cost: 1
      6: l9 -> l10 : [], cost: 1
     16: l10 -> l13 : i^0'=0, [ __const_50^0<=i11^0 ], cost: 1
     17: l10 -> l9 : i11^0'=1+i11^0, [ 1+i11^0<=__const_50^0 ], cost: 1
      7: l11 -> l8 : i17^0'=0, [ __const_50^0<=i15^0 ], cost: 1
      8: l11 -> l12 : i15^0'=1+i15^0, [ 1+i15^0<=__const_50^0 ], cost: 1
     15: l12 -> l11 : [], cost: 1
      9: l13 -> l14 : [], cost: 1
     13: l14 -> l16 : i13^0'=0, [ __const_50^0<=i^0 ], cost: 1
     14: l14 -> l13 : i^0'=1+i^0, [ 1+i^0<=__const_50^0 ], cost: 1
     10: l15 -> l12 : i15^0'=0, [ __const_50^0<=i13^0 ], cost: 1
     11: l15 -> l16 : i13^0'=1+i13^0, [ 1+i13^0<=__const_50^0 ], cost: 1
     12: l16 -> l15 : [], cost: 1
     24: l17 -> l0 : i7^0'=0, i^0'=0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [], cost: 1
     25: l18 -> l17 : [], cost: 1

### Simplification by acceleration and chaining ###

Eliminated locations (on linear paths):
   Start location: l18
      0: l0 -> l1 : [], cost: 1
     22: l1 -> l5 : i9^0'=0, [ __const_50^0<=i7^0 ], cost: 1
     23: l1 -> l0 : i7^0'=1+i7^0, [ 1+i7^0<=__const_50^0 ], cost: 1
     27: l4 -> l4 : i^0'=1+i^0, [ 1+i^0<=__const_50^0 ], cost: 2
      3: l5 -> l6 : [], cost: 1
     19: l6 -> l9 : i11^0'=0, [ __const_50^0<=i9^0 ], cost: 1
     20: l6 -> l5 : i9^0'=1+i9^0, [ 1+i9^0<=__const_50^0 ], cost: 1
      4: l7 -> l4 : i^0'=0, [ __const_50^0<=i17^0 ], cost: 1
      5: l7 -> l8 : i17^0'=1+i17^0, [ 1+i17^0<=__const_50^0 ], cost: 1
     18: l8 -> l7 : [], cost: 1
      6: l9 -> l10 : [], cost: 1
     16: l10 -> l13 : i^0'=0, [ __const_50^0<=i11^0 ], cost: 1
     17: l10 -> l9 : i11^0'=1+i11^0, [ 1+i11^0<=__const_50^0 ], cost: 1
      7: l11 -> l8 : i17^0'=0, [ __const_50^0<=i15^0 ], cost: 1
      8: l11 -> l12 : i15^0'=1+i15^0, [ 1+i15^0<=__const_50^0 ], cost: 1
     15: l12 -> l11 : [], cost: 1
      9: l13 -> l14 : [], cost: 1
     13: l14 -> l16 : i13^0'=0, [ __const_50^0<=i^0 ], cost: 1
     14: l14 -> l13 : i^0'=1+i^0, [ 1+i^0<=__const_50^0 ], cost: 1
     10: l15 -> l12 : i15^0'=0, [ __const_50^0<=i13^0 ], cost: 1
     11: l15 -> l16 : i13^0'=1+i13^0, [ 1+i13^0<=__const_50^0 ], cost: 1
     12: l16 -> l15 : [], cost: 1
     26: l18 -> l0 : i7^0'=0, i^0'=0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [], cost: 2

Accelerating simple loops of location 4.
   Accelerating the following rules:
     27: l4 -> l4 : i^0'=1+i^0, [ 1+i^0<=__const_50^0 ], cost: 2

   Accelerated rule 27 with backward acceleration, yielding the new rule 28.
[accelerate] Nesting with 1 inner and 1 outer candidates
   Removing the simple loops: 27.

Accelerated all simple loops using metering functions (where possible):
   Start location: l18
      0: l0 -> l1 : [], cost: 1
     22: l1 -> l5 : i9^0'=0, [ __const_50^0<=i7^0 ], cost: 1
     23: l1 -> l0 : i7^0'=1+i7^0, [ 1+i7^0<=__const_50^0 ], cost: 1
     28: l4 -> l4 : i^0'=__const_50^0, [ -i^0+__const_50^0>=0 ], cost: -2*i^0+2*__const_50^0
      3: l5 -> l6 : [], cost: 1
     19: l6 -> l9 : i11^0'=0, [ __const_50^0<=i9^0 ], cost: 1
     20: l6 -> l5 : i9^0'=1+i9^0, [ 1+i9^0<=__const_50^0 ], cost: 1
      4: l7 -> l4 : i^0'=0, [ __const_50^0<=i17^0 ], cost: 1
      5: l7 -> l8 : i17^0'=1+i17^0, [ 1+i17^0<=__const_50^0 ], cost: 1
     18: l8 -> l7 : [], cost: 1
      6: l9 -> l10 : [], cost: 1
     16: l10 -> l13 : i^0'=0, [ __const_50^0<=i11^0 ], cost: 1
     17: l10 -> l9 : i11^0'=1+i11^0, [ 1+i11^0<=__const_50^0 ], cost: 1
      7: l11 -> l8 : i17^0'=0, [ __const_50^0<=i15^0 ], cost: 1
      8: l11 -> l12 : i15^0'=1+i15^0, [ 1+i15^0<=__const_50^0 ], cost: 1
     15: l12 -> l11 : [], cost: 1
      9: l13 -> l14 : [], cost: 1
     13: l14 -> l16 : i13^0'=0, [ __const_50^0<=i^0 ], cost: 1
     14: l14 -> l13 : i^0'=1+i^0, [ 1+i^0<=__const_50^0 ], cost: 1
     10: l15 -> l12 : i15^0'=0, [ __const_50^0<=i13^0 ], cost: 1
     11: l15 -> l16 : i13^0'=1+i13^0, [ 1+i13^0<=__const_50^0 ], cost: 1
     12: l16 -> l15 : [], cost: 1
     26: l18 -> l0 : i7^0'=0, i^0'=0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [], cost: 2

Chained accelerated rules (with incoming rules):
   Start location: l18
      0: l0 -> l1 : [], cost: 1
     22: l1 -> l5 : i9^0'=0, [ __const_50^0<=i7^0 ], cost: 1
     23: l1 -> l0 : i7^0'=1+i7^0, [ 1+i7^0<=__const_50^0 ], cost: 1
      3: l5 -> l6 : [], cost: 1
     19: l6 -> l9 : i11^0'=0, [ __const_50^0<=i9^0 ], cost: 1
     20: l6 -> l5 : i9^0'=1+i9^0, [ 1+i9^0<=__const_50^0 ], cost: 1
      4: l7 -> l4 : i^0'=0, [ __const_50^0<=i17^0 ], cost: 1
      5: l7 -> l8 : i17^0'=1+i17^0, [ 1+i17^0<=__const_50^0 ], cost: 1
     29: l7 -> l4 : i^0'=__const_50^0, [ __const_50^0<=i17^0 && __const_50^0>=0 ], cost: 1+2*__const_50^0
     18: l8 -> l7 : [], cost: 1
      6: l9 -> l10 : [], cost: 1
     16: l10 -> l13 : i^0'=0, [ __const_50^0<=i11^0 ], cost: 1
     17: l10 -> l9 : i11^0'=1+i11^0, [ 1+i11^0<=__const_50^0 ], cost: 1
      7: l11 -> l8 : i17^0'=0, [ __const_50^0<=i15^0 ], cost: 1
      8: l11 -> l12 : i15^0'=1+i15^0, [ 1+i15^0<=__const_50^0 ], cost: 1
     15: l12 -> l11 : [], cost: 1
      9: l13 -> l14 : [], cost: 1
     13: l14 -> l16 : i13^0'=0, [ __const_50^0<=i^0 ], cost: 1
     14: l14 -> l13 : i^0'=1+i^0, [ 1+i^0<=__const_50^0 ], cost: 1
     10: l15 -> l12 : i15^0'=0, [ __const_50^0<=i13^0 ], cost: 1
     11: l15 -> l16 : i13^0'=1+i13^0, [ 1+i13^0<=__const_50^0 ], cost: 1
     12: l16 -> l15 : [], cost: 1
     26: l18 -> l0 : i7^0'=0, i^0'=0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [], cost: 2

Removed unreachable locations (and leaf rules with constant cost):
   Start location: l18
      0: l0 -> l1 : [], cost: 1
     22: l1 -> l5 : i9^0'=0, [ __const_50^0<=i7^0 ], cost: 1
     23: l1 -> l0 : i7^0'=1+i7^0, [ 1+i7^0<=__const_50^0 ], cost: 1
      3: l5 -> l6 : [], cost: 1
     19: l6 -> l9 : i11^0'=0, [ __const_50^0<=i9^0 ], cost: 1
     20: l6 -> l5 : i9^0'=1+i9^0, [ 1+i9^0<=__const_50^0 ], cost: 1
      5: l7 -> l8 : i17^0'=1+i17^0, [ 1+i17^0<=__const_50^0 ], cost: 1
     29: l7 -> l4 : i^0'=__const_50^0, [ __const_50^0<=i17^0 && __const_50^0>=0 ], cost: 1+2*__const_50^0
     18: l8 -> l7 : [], cost: 1
      6: l9 -> l10 : [], cost: 1
     16: l10 -> l13 : i^0'=0, [ __const_50^0<=i11^0 ], cost: 1
     17: l10 -> l9 : i11^0'=1+i11^0, [ 1+i11^0<=__const_50^0 ], cost: 1
      7: l11 -> l8 : i17^0'=0, [ __const_50^0<=i15^0 ], cost: 1
      8: l11 -> l12 : i15^0'=1+i15^0, [ 1+i15^0<=__const_50^0 ], cost: 1
     15: l12 -> l11 : [], cost: 1
      9: l13 -> l14 : [], cost: 1
     13: l14 -> l16 : i13^0'=0, [ __const_50^0<=i^0 ], cost: 1
     14: l14 -> l13 : i^0'=1+i^0, [ 1+i^0<=__const_50^0 ], cost: 1
     10: l15 -> l12 : i15^0'=0, [ __const_50^0<=i13^0 ], cost: 1
     11: l15 -> l16 : i13^0'=1+i13^0, [ 1+i13^0<=__const_50^0 ], cost: 1
     12: l16 -> l15 : [], cost: 1
     26: l18 -> l0 : i7^0'=0, i^0'=0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [], cost: 2

Eliminated locations (on tree-shaped paths):
   Start location: l18
     30: l0 -> l5 : i9^0'=0, [ __const_50^0<=i7^0 ], cost: 2
     31: l0 -> l0 : i7^0'=1+i7^0, [ 1+i7^0<=__const_50^0 ], cost: 2
     32: l5 -> l9 : i11^0'=0, [ __const_50^0<=i9^0 ], cost: 2
     33: l5 -> l5 : i9^0'=1+i9^0, [ 1+i9^0<=__const_50^0 ], cost: 2
     42: l8 -> l8 : i17^0'=1+i17^0, [ 1+i17^0<=__const_50^0 ], cost: 2
     43: l8 -> l4 : i^0'=__const_50^0, [ __const_50^0<=i17^0 && __const_50^0>=0 ], cost: 2+2*__const_50^0
     34: l9 -> l13 : i^0'=0, [ __const_50^0<=i11^0 ], cost: 2
     35: l9 -> l9 : i11^0'=1+i11^0, [ 1+i11^0<=__const_50^0 ], cost: 2
     40: l12 -> l8 : i17^0'=0, [ __const_50^0<=i15^0 ], cost: 2
     41: l12 -> l12 : i15^0'=1+i15^0, [ 1+i15^0<=__const_50^0 ], cost: 2
     36: l13 -> l16 : i13^0'=0, [ __const_50^0<=i^0 ], cost: 2
     37: l13 -> l13 : i^0'=1+i^0, [ 1+i^0<=__const_50^0 ], cost: 2
     38: l16 -> l12 : i15^0'=0, [ __const_50^0<=i13^0 ], cost: 2
     39: l16 -> l16 : i13^0'=1+i13^0, [ 1+i13^0<=__const_50^0 ], cost: 2
     26: l18 -> l0 : i7^0'=0, i^0'=0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [], cost: 2

Accelerating simple loops of location 0.
   Accelerating the following rules:
     31: l0 -> l0 : i7^0'=1+i7^0, [ 1+i7^0<=__const_50^0 ], cost: 2

   Accelerated rule 31 with backward acceleration, yielding the new rule 44.
[accelerate] Nesting with 1 inner and 1 outer candidates
   Removing the simple loops: 31.

Accelerating simple loops of location 5.
   Accelerating the following rules:
     33: l5 -> l5 : i9^0'=1+i9^0, [ 1+i9^0<=__const_50^0 ], cost: 2

   Accelerated rule 33 with backward acceleration, yielding the new rule 45.
[accelerate] Nesting with 1 inner and 1 outer candidates
   Removing the simple loops: 33.

Accelerating simple loops of location 8.
   Accelerating the following rules:
     42: l8 -> l8 : i17^0'=1+i17^0, [ 1+i17^0<=__const_50^0 ], cost: 2

   Accelerated rule 42 with backward acceleration, yielding the new rule 46.
[accelerate] Nesting with 1 inner and 1 outer candidates
   Removing the simple loops: 42.

Accelerating simple loops of location 9.
   Accelerating the following rules:
     35: l9 -> l9 : i11^0'=1+i11^0, [ 1+i11^0<=__const_50^0 ], cost: 2

   Accelerated rule 35 with backward acceleration, yielding the new rule 47.
[accelerate] Nesting with 1 inner and 1 outer candidates
   Removing the simple loops: 35.

Accelerating simple loops of location 12.
   Accelerating the following rules:
     41: l12 -> l12 : i15^0'=1+i15^0, [ 1+i15^0<=__const_50^0 ], cost: 2

   Accelerated rule 41 with backward acceleration, yielding the new rule 48.
[accelerate] Nesting with 1 inner and 1 outer candidates
   Removing the simple loops: 41.

Accelerating simple loops of location 13.
   Accelerating the following rules:
     37: l13 -> l13 : i^0'=1+i^0, [ 1+i^0<=__const_50^0 ], cost: 2

   Accelerated rule 37 with backward acceleration, yielding the new rule 49.
[accelerate] Nesting with 1 inner and 1 outer candidates
   Removing the simple loops: 37.

Accelerating simple loops of location 16.
   Accelerating the following rules:
     39: l16 -> l16 : i13^0'=1+i13^0, [ 1+i13^0<=__const_50^0 ], cost: 2

   Accelerated rule 39 with backward acceleration, yielding the new rule 50.
[accelerate] Nesting with 1 inner and 1 outer candidates
   Removing the simple loops: 39.

Accelerated all simple loops using metering functions (where possible):
   Start location: l18
     30: l0 -> l5 : i9^0'=0, [ __const_50^0<=i7^0 ], cost: 2
     44: l0 -> l0 : i7^0'=__const_50^0, [ -i7^0+__const_50^0>=0 ], cost: -2*i7^0+2*__const_50^0
     32: l5 -> l9 : i11^0'=0, [ __const_50^0<=i9^0 ], cost: 2
     45: l5 -> l5 : i9^0'=__const_50^0, [ -i9^0+__const_50^0>=0 ], cost: -2*i9^0+2*__const_50^0
     43: l8 -> l4 : i^0'=__const_50^0, [ __const_50^0<=i17^0 && __const_50^0>=0 ], cost: 2+2*__const_50^0
     46: l8 -> l8 : i17^0'=__const_50^0, [ -i17^0+__const_50^0>=0 ], cost: -2*i17^0+2*__const_50^0
     34: l9 -> l13 : i^0'=0, [ __const_50^0<=i11^0 ], cost: 2
     47: l9 -> l9 : i11^0'=__const_50^0, [ -i11^0+__const_50^0>=0 ], cost: -2*i11^0+2*__const_50^0
     40: l12 -> l8 : i17^0'=0, [ __const_50^0<=i15^0 ], cost: 2
     48: l12 -> l12 : i15^0'=__const_50^0, [ -i15^0+__const_50^0>=0 ], cost: -2*i15^0+2*__const_50^0
     36: l13 -> l16 : i13^0'=0, [ __const_50^0<=i^0 ], cost: 2
     49: l13 -> l13 : i^0'=__const_50^0, [ -i^0+__const_50^0>=0 ], cost: -2*i^0+2*__const_50^0
     38: l16 -> l12 : i15^0'=0, [ __const_50^0<=i13^0 ], cost: 2
     50: l16 -> l16 : i13^0'=__const_50^0, [ -i13^0+__const_50^0>=0 ], cost: -2*i13^0+2*__const_50^0
     26: l18 -> l0 : i7^0'=0, i^0'=0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [], cost: 2

Chained accelerated rules (with incoming rules):
   Start location: l18
     30: l0 -> l5 : i9^0'=0, [ __const_50^0<=i7^0 ], cost: 2
     52: l0 -> l5 : i9^0'=__const_50^0, [ __const_50^0<=i7^0 && __const_50^0>=0 ], cost: 2+2*__const_50^0
     32: l5 -> l9 : i11^0'=0, [ __const_50^0<=i9^0 ], cost: 2
     54: l5 -> l9 : i11^0'=__const_50^0, [ __const_50^0<=i9^0 && __const_50^0>=0 ], cost: 2+2*__const_50^0
     43: l8 -> l4 : i^0'=__const_50^0, [ __const_50^0<=i17^0 && __const_50^0>=0 ], cost: 2+2*__const_50^0
     34: l9 -> l13 : i^0'=0, [ __const_50^0<=i11^0 ], cost: 2
     56: l9 -> l13 : i^0'=__const_50^0, [ __const_50^0<=i11^0 && __const_50^0>=0 ], cost: 2+2*__const_50^0
     40: l12 -> l8 : i17^0'=0, [ __const_50^0<=i15^0 ], cost: 2
     53: l12 -> l8 : i17^0'=__const_50^0, [ __const_50^0<=i15^0 && __const_50^0>=0 ], cost: 2+2*__const_50^0
     36: l13 -> l16 : i13^0'=0, [ __const_50^0<=i^0 ], cost: 2
     57: l13 -> l16 : i13^0'=__const_50^0, [ __const_50^0<=i^0 && __const_50^0>=0 ], cost: 2+2*__const_50^0
     38: l16 -> l12 : i15^0'=0, [ __const_50^0<=i13^0 ], cost: 2
     55: l16 -> l12 : i15^0'=__const_50^0, [ __const_50^0<=i13^0 && __const_50^0>=0 ], cost: 2+2*__const_50^0
     26: l18 -> l0 : i7^0'=0, i^0'=0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [], cost: 2
     51: l18 -> l0 : i7^0'=__const_50^0, i^0'=0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0>=0 ], cost: 2+2*__const_50^0

Eliminated locations (on tree-shaped paths):
   Start location: l18
     62: l5 -> l13 : i11^0'=0, i^0'=0, [ __const_50^0<=i9^0 && __const_50^0<=0 ], cost: 4
     63: l5 -> l13 : i11^0'=0, i^0'=__const_50^0, [ __const_50^0<=i9^0 && __const_50^0<=0 && __const_50^0>=0 ], cost: 4+2*__const_50^0
     64: l5 -> l13 : i11^0'=__const_50^0, i^0'=0, [ __const_50^0<=i9^0 && __const_50^0>=0 ], cost: 4+2*__const_50^0
     65: l5 -> l13 : i11^0'=__const_50^0, i^0'=__const_50^0, [ __const_50^0<=i9^0 && __const_50^0>=0 ], cost: 4+4*__const_50^0
     70: l12 -> l4 : i17^0'=0, i^0'=__const_50^0, [ __const_50^0<=i15^0 && __const_50^0<=0 && __const_50^0>=0 ], cost: 4+2*__const_50^0
     71: l12 -> l4 : i17^0'=__const_50^0, i^0'=__const_50^0, [ __const_50^0<=i15^0 && __const_50^0>=0 ], cost: 4+4*__const_50^0
     66: l13 -> l12 : i13^0'=0, i15^0'=0, [ __const_50^0<=i^0 && __const_50^0<=0 ], cost: 4
     67: l13 -> l12 : i13^0'=0, i15^0'=__const_50^0, [ __const_50^0<=i^0 && __const_50^0<=0 && __const_50^0>=0 ], cost: 4+2*__const_50^0
     68: l13 -> l12 : i13^0'=__const_50^0, i15^0'=0, [ __const_50^0<=i^0 && __const_50^0>=0 ], cost: 4+2*__const_50^0
     69: l13 -> l12 : i13^0'=__const_50^0, i15^0'=__const_50^0, [ __const_50^0<=i^0 && __const_50^0>=0 ], cost: 4+4*__const_50^0
     58: l18 -> l5 : i7^0'=0, i9^0'=0, i^0'=0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0<=0 ], cost: 4
     59: l18 -> l5 : i7^0'=0, i9^0'=__const_50^0, i^0'=0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0<=0 && __const_50^0>=0 ], cost: 4+2*__const_50^0
     60: l18 -> l5 : i7^0'=__const_50^0, i9^0'=0, i^0'=0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0>=0 ], cost: 4+2*__const_50^0
     61: l18 -> l5 : i7^0'=__const_50^0, i9^0'=__const_50^0, i^0'=0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0>=0 ], cost: 4+4*__const_50^0

Eliminated locations (on tree-shaped paths):
   Start location: l18
     88: l13 -> l4 : i13^0'=0, i15^0'=0, i17^0'=0, i^0'=__const_50^0, [ __const_50^0<=i^0 && __const_50^0<=0 && __const_50^0>=0 ], cost: 8+2*__const_50^0
     89: l13 -> l4 : i13^0'=0, i15^0'=0, i17^0'=__const_50^0, i^0'=__const_50^0, [ __const_50^0<=i^0 && __const_50^0<=0 && __const_50^0>=0 ], cost: 8+4*__const_50^0
     90: l13 -> l4 : i13^0'=0, i15^0'=__const_50^0, i17^0'=0, i^0'=__const_50^0, [ __const_50^0<=i^0 && __const_50^0<=0 && __const_50^0>=0 ], cost: 8+4*__const_50^0
     91: l13 -> l4 : i13^0'=0, i15^0'=__const_50^0, i17^0'=__const_50^0, i^0'=__const_50^0, [ __const_50^0<=i^0 && __const_50^0<=0 && __const_50^0>=0 ], cost: 8+6*__const_50^0
     92: l13 -> l4 : i13^0'=__const_50^0, i15^0'=0, i17^0'=0, i^0'=__const_50^0, [ __const_50^0<=i^0 && __const_50^0>=0 && __const_50^0<=0 ], cost: 8+4*__const_50^0
     93: l13 -> l4 : i13^0'=__const_50^0, i15^0'=0, i17^0'=__const_50^0, i^0'=__const_50^0, [ __const_50^0<=i^0 && __const_50^0>=0 && __const_50^0<=0 ], cost: 8+6*__const_50^0
     94: l13 -> l4 : i13^0'=__const_50^0, i15^0'=__const_50^0, i17^0'=0, i^0'=__const_50^0, [ __const_50^0<=i^0 && __const_50^0>=0 && __const_50^0<=0 ], cost: 8+6*__const_50^0
     95: l13 -> l4 : i13^0'=__const_50^0, i15^0'=__const_50^0, i17^0'=__const_50^0, i^0'=__const_50^0, [ __const_50^0<=i^0 && __const_50^0>=0 ], cost: 8+8*__const_50^0
     72: l18 -> l13 : i11^0'=0, i7^0'=0, i9^0'=0, i^0'=0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0<=0 ], cost: 8
     73: l18 -> l13 : i11^0'=0, i7^0'=0, i9^0'=0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0<=0 && __const_50^0>=0 ], cost: 8+2*__const_50^0
     74: l18 -> l13 : i11^0'=__const_50^0, i7^0'=0, i9^0'=0, i^0'=0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0<=0 && __const_50^0>=0 ], cost: 8+2*__const_50^0
     75: l18 -> l13 : i11^0'=__const_50^0, i7^0'=0, i9^0'=0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0<=0 && __const_50^0>=0 ], cost: 8+4*__const_50^0
     76: l18 -> l13 : i11^0'=0, i7^0'=0, i9^0'=__const_50^0, i^0'=0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0<=0 && __const_50^0>=0 ], cost: 8+2*__const_50^0
     77: l18 -> l13 : i11^0'=0, i7^0'=0, i9^0'=__const_50^0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0<=0 && __const_50^0>=0 ], cost: 8+4*__const_50^0
     78: l18 -> l13 : i11^0'=__const_50^0, i7^0'=0, i9^0'=__const_50^0, i^0'=0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0<=0 && __const_50^0>=0 ], cost: 8+4*__const_50^0
     79: l18 -> l13 : i11^0'=__const_50^0, i7^0'=0, i9^0'=__const_50^0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0<=0 && __const_50^0>=0 ], cost: 8+6*__const_50^0
     80: l18 -> l13 : i11^0'=0, i7^0'=__const_50^0, i9^0'=0, i^0'=0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0>=0 && __const_50^0<=0 ], cost: 8+2*__const_50^0
     81: l18 -> l13 : i11^0'=0, i7^0'=__const_50^0, i9^0'=0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0>=0 && __const_50^0<=0 ], cost: 8+4*__const_50^0
     82: l18 -> l13 : i11^0'=__const_50^0, i7^0'=__const_50^0, i9^0'=0, i^0'=0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0>=0 && __const_50^0<=0 ], cost: 8+4*__const_50^0
     83: l18 -> l13 : i11^0'=__const_50^0, i7^0'=__const_50^0, i9^0'=0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0>=0 && __const_50^0<=0 ], cost: 8+6*__const_50^0
     84: l18 -> l13 : i11^0'=0, i7^0'=__const_50^0, i9^0'=__const_50^0, i^0'=0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0>=0 && __const_50^0<=0 ], cost: 8+4*__const_50^0
     85: l18 -> l13 : i11^0'=0, i7^0'=__const_50^0, i9^0'=__const_50^0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0>=0 && __const_50^0<=0 ], cost: 8+6*__const_50^0
     86: l18 -> l13 : i11^0'=__const_50^0, i7^0'=__const_50^0, i9^0'=__const_50^0, i^0'=0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0>=0 ], cost: 8+6*__const_50^0
     87: l18 -> l13 : i11^0'=__const_50^0, i7^0'=__const_50^0, i9^0'=__const_50^0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0>=0 ], cost: 8+8*__const_50^0

Applied pruning (of leafs and parallel rules):
   Start location: l18
     89: l13 -> l4 : i13^0'=0, i15^0'=0, i17^0'=__const_50^0, i^0'=__const_50^0, [ __const_50^0<=i^0 && __const_50^0<=0 && __const_50^0>=0 ], cost: 8+4*__const_50^0
     91: l13 -> l4 : i13^0'=0, i15^0'=__const_50^0, i17^0'=__const_50^0, i^0'=__const_50^0, [ __const_50^0<=i^0 && __const_50^0<=0 && __const_50^0>=0 ], cost: 8+6*__const_50^0
     92: l13 -> l4 : i13^0'=__const_50^0, i15^0'=0, i17^0'=0, i^0'=__const_50^0, [ __const_50^0<=i^0 && __const_50^0>=0 && __const_50^0<=0 ], cost: 8+4*__const_50^0
     93: l13 -> l4 : i13^0'=__const_50^0, i15^0'=0, i17^0'=__const_50^0, i^0'=__const_50^0, [ __const_50^0<=i^0 && __const_50^0>=0 && __const_50^0<=0 ], cost: 8+6*__const_50^0
     95: l13 -> l4 : i13^0'=__const_50^0, i15^0'=__const_50^0, i17^0'=__const_50^0, i^0'=__const_50^0, [ __const_50^0<=i^0 && __const_50^0>=0 ], cost: 8+8*__const_50^0
     73: l18 -> l13 : i11^0'=0, i7^0'=0, i9^0'=0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0<=0 && __const_50^0>=0 ], cost: 8+2*__const_50^0
     75: l18 -> l13 : i11^0'=__const_50^0, i7^0'=0, i9^0'=0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0<=0 && __const_50^0>=0 ], cost: 8+4*__const_50^0
     81: l18 -> l13 : i11^0'=0, i7^0'=__const_50^0, i9^0'=0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0>=0 && __const_50^0<=0 ], cost: 8+4*__const_50^0
     86: l18 -> l13 : i11^0'=__const_50^0, i7^0'=__const_50^0, i9^0'=__const_50^0, i^0'=0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0>=0 ], cost: 8+6*__const_50^0
     87: l18 -> l13 : i11^0'=__const_50^0, i7^0'=__const_50^0, i9^0'=__const_50^0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0>=0 ], cost: 8+8*__const_50^0

Eliminated locations (on tree-shaped paths):
   Start location: l18
     96: l18 -> l4 : i11^0'=0, i13^0'=0, i15^0'=0, i17^0'=__const_50^0, i7^0'=0, i9^0'=0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0<=0 && __const_50^0>=0 ], cost: 16+6*__const_50^0
     97: l18 -> l4 : i11^0'=0, i13^0'=0, i15^0'=__const_50^0, i17^0'=__const_50^0, i7^0'=0, i9^0'=0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0<=0 && __const_50^0>=0 ], cost: 16+8*__const_50^0
     98: l18 -> l4 : i11^0'=0, i13^0'=__const_50^0, i15^0'=0, i17^0'=0, i7^0'=0, i9^0'=0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0<=0 && __const_50^0>=0 ], cost: 16+6*__const_50^0
     99: l18 -> l4 : i11^0'=0, i13^0'=__const_50^0, i15^0'=0, i17^0'=__const_50^0, i7^0'=0, i9^0'=0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0<=0 && __const_50^0>=0 ], cost: 16+8*__const_50^0
    100: l18 -> l4 : i11^0'=0, i13^0'=__const_50^0, i15^0'=__const_50^0, i17^0'=__const_50^0, i7^0'=0, i9^0'=0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0<=0 && __const_50^0>=0 ], cost: 16+10*__const_50^0
    101: l18 -> l4 : i11^0'=__const_50^0, i13^0'=0, i15^0'=0, i17^0'=__const_50^0, i7^0'=0, i9^0'=0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0<=0 && __const_50^0>=0 ], cost: 16+8*__const_50^0
    102: l18 -> l4 : i11^0'=__const_50^0, i13^0'=0, i15^0'=__const_50^0, i17^0'=__const_50^0, i7^0'=0, i9^0'=0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0<=0 && __const_50^0>=0 ], cost: 16+10*__const_50^0
    103: l18 -> l4 : i11^0'=__const_50^0, i13^0'=__const_50^0, i15^0'=0, i17^0'=0, i7^0'=0, i9^0'=0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0<=0 && __const_50^0>=0 ], cost: 16+8*__const_50^0
    104: l18 -> l4 : i11^0'=__const_50^0, i13^0'=__const_50^0, i15^0'=0, i17^0'=__const_50^0, i7^0'=0, i9^0'=0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0<=0 && __const_50^0>=0 ], cost: 16+10*__const_50^0
    105: l18 -> l4 : i11^0'=__const_50^0, i13^0'=__const_50^0, i15^0'=__const_50^0, i17^0'=__const_50^0, i7^0'=0, i9^0'=0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0<=0 && __const_50^0>=0 ], cost: 16+12*__const_50^0
    106: l18 -> l4 : i11^0'=0, i13^0'=0, i15^0'=0, i17^0'=__const_50^0, i7^0'=__const_50^0, i9^0'=0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0>=0 && __const_50^0<=0 ], cost: 16+8*__const_50^0
    107: l18 -> l4 : i11^0'=0, i13^0'=0, i15^0'=__const_50^0, i17^0'=__const_50^0, i7^0'=__const_50^0, i9^0'=0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0>=0 && __const_50^0<=0 ], cost: 16+10*__const_50^0
    108: l18 -> l4 : i11^0'=0, i13^0'=__const_50^0, i15^0'=0, i17^0'=0, i7^0'=__const_50^0, i9^0'=0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0>=0 && __const_50^0<=0 ], cost: 16+8*__const_50^0
    109: l18 -> l4 : i11^0'=0, i13^0'=__const_50^0, i15^0'=0, i17^0'=__const_50^0, i7^0'=__const_50^0, i9^0'=0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0>=0 && __const_50^0<=0 ], cost: 16+10*__const_50^0
    110: l18 -> l4 : i11^0'=0, i13^0'=__const_50^0, i15^0'=__const_50^0, i17^0'=__const_50^0, i7^0'=__const_50^0, i9^0'=0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0>=0 && __const_50^0<=0 ], cost: 16+12*__const_50^0
    111: l18 -> l4 : i11^0'=__const_50^0, i13^0'=0, i15^0'=0, i17^0'=__const_50^0, i7^0'=__const_50^0, i9^0'=__const_50^0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0>=0 && __const_50^0<=0 ], cost: 16+10*__const_50^0
    112: l18 -> l4 : i11^0'=__const_50^0, i13^0'=0, i15^0'=__const_50^0, i17^0'=__const_50^0, i7^0'=__const_50^0, i9^0'=__const_50^0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0>=0 && __const_50^0<=0 ], cost: 16+12*__const_50^0
    113: l18 -> l4 : i11^0'=__const_50^0, i13^0'=__const_50^0, i15^0'=0, i17^0'=0, i7^0'=__const_50^0, i9^0'=__const_50^0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0>=0 && __const_50^0<=0 ], cost: 16+10*__const_50^0
    114: l18 -> l4 : i11^0'=__const_50^0, i13^0'=__const_50^0, i15^0'=0, i17^0'=__const_50^0, i7^0'=__const_50^0, i9^0'=__const_50^0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0>=0 && __const_50^0<=0 ], cost: 16+12*__const_50^0
    115: l18 -> l4 : i11^0'=__const_50^0, i13^0'=__const_50^0, i15^0'=__const_50^0, i17^0'=__const_50^0, i7^0'=__const_50^0, i9^0'=__const_50^0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0>=0 && __const_50^0<=0 ], cost: 16+14*__const_50^0
    116: l18 -> l4 : i11^0'=__const_50^0, i13^0'=0, i15^0'=0, i17^0'=__const_50^0, i7^0'=__const_50^0, i9^0'=__const_50^0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0>=0 && __const_50^0<=0 ], cost: 16+12*__const_50^0
    117: l18 -> l4 : i11^0'=__const_50^0, i13^0'=0, i15^0'=__const_50^0, i17^0'=__const_50^0, i7^0'=__const_50^0, i9^0'=__const_50^0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0>=0 && __const_50^0<=0 ], cost: 16+14*__const_50^0
    118: l18 -> l4 : i11^0'=__const_50^0, i13^0'=__const_50^0, i15^0'=0, i17^0'=0, i7^0'=__const_50^0, i9^0'=__const_50^0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0>=0 && __const_50^0<=0 ], cost: 16+12*__const_50^0
    119: l18 -> l4 : i11^0'=__const_50^0, i13^0'=__const_50^0, i15^0'=0, i17^0'=__const_50^0, i7^0'=__const_50^0, i9^0'=__const_50^0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0>=0 && __const_50^0<=0 ], cost: 16+14*__const_50^0
    120: l18 -> l4 : i11^0'=__const_50^0, i13^0'=__const_50^0, i15^0'=__const_50^0, i17^0'=__const_50^0, i7^0'=__const_50^0, i9^0'=__const_50^0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0>=0 ], cost: 16+16*__const_50^0

### Computing asymptotic complexity ###

Fully simplified ITS problem
   Start location: l18
     98: l18 -> l4 : i11^0'=0, i13^0'=__const_50^0, i15^0'=0, i17^0'=0, i7^0'=0, i9^0'=0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0<=0 && __const_50^0>=0 ], cost: 16+6*__const_50^0
    103: l18 -> l4 : i11^0'=__const_50^0, i13^0'=__const_50^0, i15^0'=0, i17^0'=0, i7^0'=0, i9^0'=0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0<=0 && __const_50^0>=0 ], cost: 16+8*__const_50^0
    104: l18 -> l4 : i11^0'=__const_50^0, i13^0'=__const_50^0, i15^0'=0, i17^0'=__const_50^0, i7^0'=0, i9^0'=0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0<=0 && __const_50^0>=0 ], cost: 16+10*__const_50^0
    105: l18 -> l4 : i11^0'=__const_50^0, i13^0'=__const_50^0, i15^0'=__const_50^0, i17^0'=__const_50^0, i7^0'=0, i9^0'=0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0<=0 && __const_50^0>=0 ], cost: 16+12*__const_50^0
    108: l18 -> l4 : i11^0'=0, i13^0'=__const_50^0, i15^0'=0, i17^0'=0, i7^0'=__const_50^0, i9^0'=0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0>=0 && __const_50^0<=0 ], cost: 16+8*__const_50^0
    113: l18 -> l4 : i11^0'=__const_50^0, i13^0'=__const_50^0, i15^0'=0, i17^0'=0, i7^0'=__const_50^0, i9^0'=__const_50^0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0>=0 && __const_50^0<=0 ], cost: 16+10*__const_50^0
    118: l18 -> l4 : i11^0'=__const_50^0, i13^0'=__const_50^0, i15^0'=0, i17^0'=0, i7^0'=__const_50^0, i9^0'=__const_50^0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0>=0 && __const_50^0<=0 ], cost: 16+12*__const_50^0
    119: l18 -> l4 : i11^0'=__const_50^0, i13^0'=__const_50^0, i15^0'=0, i17^0'=__const_50^0, i7^0'=__const_50^0, i9^0'=__const_50^0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0>=0 && __const_50^0<=0 ], cost: 16+14*__const_50^0
    120: l18 -> l4 : i11^0'=__const_50^0, i13^0'=__const_50^0, i15^0'=__const_50^0, i17^0'=__const_50^0, i7^0'=__const_50^0, i9^0'=__const_50^0, i^0'=__const_50^0, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, [ __const_50^0>=0 ], cost: 16+16*__const_50^0

Computing asymptotic complexity for rule 120
   Resulting cost 0 has complexity: Unknown

Computing asymptotic complexity for rule 98
   Resulting cost 0 has complexity: Unknown

Computing asymptotic complexity for rule 103
   Resulting cost 0 has complexity: Unknown

Computing asymptotic complexity for rule 104
   Resulting cost 0 has complexity: Unknown

Computing asymptotic complexity for rule 105
   Resulting cost 0 has complexity: Unknown

Computing asymptotic complexity for rule 108
   Resulting cost 0 has complexity: Unknown

Computing asymptotic complexity for rule 113
   Resulting cost 0 has complexity: Unknown

Computing asymptotic complexity for rule 118
   Resulting cost 0 has complexity: Unknown

Computing asymptotic complexity for rule 119
   Resulting cost 0 has complexity: Unknown

Obtained the following overall complexity (w.r.t. the length of the input n):
   Complexity:  Constant
   Cpx degree:  0
   Solved cost: 1
   Rule cost:   1
   Rule guard:  [ __const_50^0==__const_50^post_26 && i^0==i^post_26 && i11^0==i11^post_26 && i13^0==i13^post_26 && i15^0==i15^post_26 && i17^0==i17^post_26 && i7^0==i7^post_26 && i9^0==i9^post_26 && tmp^0==tmp^post_26 && tmp___0^0==tmp___0^post_26 ]

WORST_CASE(Omega(1),?)