WORST_CASE(Omega(1),?)

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

Initial linear ITS problem
   Start location: l15
      0: l0 -> l1 : Index2^0'=Index2^post_1, Index7^0'=Index7^post_1, Sorted5^0'=Sorted5^post_1, Temp6^0'=Temp6^post_1, __const_100^0'=__const_100^post_1, __const_99^0'=__const_99^post_1, fact3^0'=fact3^post_1, factor^0'=factor^post_1, i8^0'=i8^post_1, [ 1+__const_100^0<=Index2^0 && Sorted5^post_1==0 && i8^post_1==1 && Index2^0==Index2^post_1 && Index7^0==Index7^post_1 && Temp6^0==Temp6^post_1 && __const_100^0==__const_100^post_1 && __const_99^0==__const_99^post_1 && fact3^0==fact3^post_1 && factor^0==factor^post_1 ], cost: 1
      1: l0 -> l2 : Index2^0'=Index2^post_2, Index7^0'=Index7^post_2, Sorted5^0'=Sorted5^post_2, Temp6^0'=Temp6^post_2, __const_100^0'=__const_100^post_2, __const_99^0'=__const_99^post_2, fact3^0'=fact3^post_2, factor^0'=factor^post_2, i8^0'=i8^post_2, [ Index2^0<=__const_100^0 && Index2^post_2==1+Index2^0 && Index7^0==Index7^post_2 && Sorted5^0==Sorted5^post_2 && Temp6^0==Temp6^post_2 && __const_100^0==__const_100^post_2 && __const_99^0==__const_99^post_2 && fact3^0==fact3^post_2 && factor^0==factor^post_2 && i8^0==i8^post_2 ], cost: 1
     10: l1 -> l10 : Index2^0'=Index2^post_11, Index7^0'=Index7^post_11, Sorted5^0'=Sorted5^post_11, Temp6^0'=Temp6^post_11, __const_100^0'=__const_100^post_11, __const_99^0'=__const_99^post_11, fact3^0'=fact3^post_11, factor^0'=factor^post_11, i8^0'=i8^post_11, [ Index2^0==Index2^post_11 && Index7^0==Index7^post_11 && Sorted5^0==Sorted5^post_11 && Temp6^0==Temp6^post_11 && __const_100^0==__const_100^post_11 && __const_99^0==__const_99^post_11 && fact3^0==fact3^post_11 && factor^0==factor^post_11 && i8^0==i8^post_11 ], cost: 1
      2: l2 -> l0 : Index2^0'=Index2^post_3, Index7^0'=Index7^post_3, Sorted5^0'=Sorted5^post_3, Temp6^0'=Temp6^post_3, __const_100^0'=__const_100^post_3, __const_99^0'=__const_99^post_3, fact3^0'=fact3^post_3, factor^0'=factor^post_3, i8^0'=i8^post_3, [ Index2^0==Index2^post_3 && Index7^0==Index7^post_3 && Sorted5^0==Sorted5^post_3 && Temp6^0==Temp6^post_3 && __const_100^0==__const_100^post_3 && __const_99^0==__const_99^post_3 && fact3^0==fact3^post_3 && factor^0==factor^post_3 && i8^0==i8^post_3 ], cost: 1
      3: l3 -> l4 : Index2^0'=Index2^post_4, Index7^0'=Index7^post_4, Sorted5^0'=Sorted5^post_4, Temp6^0'=Temp6^post_4, __const_100^0'=__const_100^post_4, __const_99^0'=__const_99^post_4, fact3^0'=fact3^post_4, factor^0'=factor^post_4, i8^0'=i8^post_4, [ Index2^0==Index2^post_4 && Index7^0==Index7^post_4 && Sorted5^0==Sorted5^post_4 && Temp6^0==Temp6^post_4 && __const_100^0==__const_100^post_4 && __const_99^0==__const_99^post_4 && fact3^0==fact3^post_4 && factor^0==factor^post_4 && i8^0==i8^post_4 ], cost: 1
      4: l5 -> l3 : Index2^0'=Index2^post_5, Index7^0'=Index7^post_5, Sorted5^0'=Sorted5^post_5, Temp6^0'=Temp6^post_5, __const_100^0'=__const_100^post_5, __const_99^0'=__const_99^post_5, fact3^0'=fact3^post_5, factor^0'=factor^post_5, i8^0'=i8^post_5, [ Index2^0==Index2^post_5 && Index7^0==Index7^post_5 && Sorted5^0==Sorted5^post_5 && Temp6^0==Temp6^post_5 && __const_100^0==__const_100^post_5 && __const_99^0==__const_99^post_5 && fact3^0==fact3^post_5 && factor^0==factor^post_5 && i8^0==i8^post_5 ], cost: 1
      5: l6 -> l7 : Index2^0'=Index2^post_6, Index7^0'=Index7^post_6, Sorted5^0'=Sorted5^post_6, Temp6^0'=Temp6^post_6, __const_100^0'=__const_100^post_6, __const_99^0'=__const_99^post_6, fact3^0'=fact3^post_6, factor^0'=factor^post_6, i8^0'=i8^post_6, [ Index2^0==Index2^post_6 && Index7^0==Index7^post_6 && Sorted5^0==Sorted5^post_6 && Temp6^0==Temp6^post_6 && __const_100^0==__const_100^post_6 && __const_99^0==__const_99^post_6 && fact3^0==fact3^post_6 && factor^0==factor^post_6 && i8^0==i8^post_6 ], cost: 1
      6: l7 -> l1 : Index2^0'=Index2^post_7, Index7^0'=Index7^post_7, Sorted5^0'=Sorted5^post_7, Temp6^0'=Temp6^post_7, __const_100^0'=__const_100^post_7, __const_99^0'=__const_99^post_7, fact3^0'=fact3^post_7, factor^0'=factor^post_7, i8^0'=i8^post_7, [ Sorted5^0<=0 && 0<=Sorted5^0 && i8^post_7==1+i8^0 && Index2^0==Index2^post_7 && Index7^0==Index7^post_7 && Sorted5^0==Sorted5^post_7 && Temp6^0==Temp6^post_7 && __const_100^0==__const_100^post_7 && __const_99^0==__const_99^post_7 && fact3^0==fact3^post_7 && factor^0==factor^post_7 ], cost: 1
      7: l7 -> l5 : Index2^0'=Index2^post_8, Index7^0'=Index7^post_8, Sorted5^0'=Sorted5^post_8, Temp6^0'=Temp6^post_8, __const_100^0'=__const_100^post_8, __const_99^0'=__const_99^post_8, fact3^0'=fact3^post_8, factor^0'=factor^post_8, i8^0'=i8^post_8, [ 1<=Sorted5^0 && Index2^0==Index2^post_8 && Index7^0==Index7^post_8 && Sorted5^0==Sorted5^post_8 && Temp6^0==Temp6^post_8 && __const_100^0==__const_100^post_8 && __const_99^0==__const_99^post_8 && fact3^0==fact3^post_8 && factor^0==factor^post_8 && i8^0==i8^post_8 ], cost: 1
      8: l7 -> l5 : Index2^0'=Index2^post_9, Index7^0'=Index7^post_9, Sorted5^0'=Sorted5^post_9, Temp6^0'=Temp6^post_9, __const_100^0'=__const_100^post_9, __const_99^0'=__const_99^post_9, fact3^0'=fact3^post_9, factor^0'=factor^post_9, i8^0'=i8^post_9, [ 1+Sorted5^0<=0 && Index2^0==Index2^post_9 && Index7^0==Index7^post_9 && Sorted5^0==Sorted5^post_9 && Temp6^0==Temp6^post_9 && __const_100^0==__const_100^post_9 && __const_99^0==__const_99^post_9 && fact3^0==fact3^post_9 && factor^0==factor^post_9 && i8^0==i8^post_9 ], cost: 1
      9: l8 -> l9 : Index2^0'=Index2^post_10, Index7^0'=Index7^post_10, Sorted5^0'=Sorted5^post_10, Temp6^0'=Temp6^post_10, __const_100^0'=__const_100^post_10, __const_99^0'=__const_99^post_10, fact3^0'=fact3^post_10, factor^0'=factor^post_10, i8^0'=i8^post_10, [ Index7^post_10==1+Index7^0 && Index2^0==Index2^post_10 && Sorted5^0==Sorted5^post_10 && Temp6^0==Temp6^post_10 && __const_100^0==__const_100^post_10 && __const_99^0==__const_99^post_10 && fact3^0==fact3^post_10 && factor^0==factor^post_10 && i8^0==i8^post_10 ], cost: 1
     17: l9 -> l13 : Index2^0'=Index2^post_18, Index7^0'=Index7^post_18, Sorted5^0'=Sorted5^post_18, Temp6^0'=Temp6^post_18, __const_100^0'=__const_100^post_18, __const_99^0'=__const_99^post_18, fact3^0'=fact3^post_18, factor^0'=factor^post_18, i8^0'=i8^post_18, [ Index2^0==Index2^post_18 && Index7^0==Index7^post_18 && Sorted5^0==Sorted5^post_18 && Temp6^0==Temp6^post_18 && __const_100^0==__const_100^post_18 && __const_99^0==__const_99^post_18 && fact3^0==fact3^post_18 && factor^0==factor^post_18 && i8^0==i8^post_18 ], cost: 1
     18: l10 -> l3 : Index2^0'=Index2^post_19, Index7^0'=Index7^post_19, Sorted5^0'=Sorted5^post_19, Temp6^0'=Temp6^post_19, __const_100^0'=__const_100^post_19, __const_99^0'=__const_99^post_19, fact3^0'=fact3^post_19, factor^0'=factor^post_19, i8^0'=i8^post_19, [ 1+__const_99^0<=i8^0 && Index2^0==Index2^post_19 && Index7^0==Index7^post_19 && Sorted5^0==Sorted5^post_19 && Temp6^0==Temp6^post_19 && __const_100^0==__const_100^post_19 && __const_99^0==__const_99^post_19 && fact3^0==fact3^post_19 && factor^0==factor^post_19 && i8^0==i8^post_19 ], cost: 1
     19: l10 -> l9 : Index2^0'=Index2^post_20, Index7^0'=Index7^post_20, Sorted5^0'=Sorted5^post_20, Temp6^0'=Temp6^post_20, __const_100^0'=__const_100^post_20, __const_99^0'=__const_99^post_20, fact3^0'=fact3^post_20, factor^0'=factor^post_20, i8^0'=i8^post_20, [ i8^0<=__const_99^0 && Sorted5^post_20==1 && Index7^post_20==1 && Index2^0==Index2^post_20 && Temp6^0==Temp6^post_20 && __const_100^0==__const_100^post_20 && __const_99^0==__const_99^post_20 && fact3^0==fact3^post_20 && factor^0==factor^post_20 && i8^0==i8^post_20 ], cost: 1
     11: l11 -> l8 : Index2^0'=Index2^post_12, Index7^0'=Index7^post_12, Sorted5^0'=Sorted5^post_12, Temp6^0'=Temp6^post_12, __const_100^0'=__const_100^post_12, __const_99^0'=__const_99^post_12, fact3^0'=fact3^post_12, factor^0'=factor^post_12, i8^0'=i8^post_12, [ Temp6^post_12==Temp6^post_12 && Sorted5^post_12==0 && Index2^0==Index2^post_12 && Index7^0==Index7^post_12 && __const_100^0==__const_100^post_12 && __const_99^0==__const_99^post_12 && fact3^0==fact3^post_12 && factor^0==factor^post_12 && i8^0==i8^post_12 ], cost: 1
     12: l11 -> l8 : Index2^0'=Index2^post_13, Index7^0'=Index7^post_13, Sorted5^0'=Sorted5^post_13, Temp6^0'=Temp6^post_13, __const_100^0'=__const_100^post_13, __const_99^0'=__const_99^post_13, fact3^0'=fact3^post_13, factor^0'=factor^post_13, i8^0'=i8^post_13, [ Index2^0==Index2^post_13 && Index7^0==Index7^post_13 && Sorted5^0==Sorted5^post_13 && Temp6^0==Temp6^post_13 && __const_100^0==__const_100^post_13 && __const_99^0==__const_99^post_13 && fact3^0==fact3^post_13 && factor^0==factor^post_13 && i8^0==i8^post_13 ], cost: 1
     13: l12 -> l11 : Index2^0'=Index2^post_14, Index7^0'=Index7^post_14, Sorted5^0'=Sorted5^post_14, Temp6^0'=Temp6^post_14, __const_100^0'=__const_100^post_14, __const_99^0'=__const_99^post_14, fact3^0'=fact3^post_14, factor^0'=factor^post_14, i8^0'=i8^post_14, [ Index7^0<=__const_100^0-i8^0 && Index2^0==Index2^post_14 && Index7^0==Index7^post_14 && Sorted5^0==Sorted5^post_14 && Temp6^0==Temp6^post_14 && __const_100^0==__const_100^post_14 && __const_99^0==__const_99^post_14 && fact3^0==fact3^post_14 && factor^0==factor^post_14 && i8^0==i8^post_14 ], cost: 1
     14: l12 -> l6 : Index2^0'=Index2^post_15, Index7^0'=Index7^post_15, Sorted5^0'=Sorted5^post_15, Temp6^0'=Temp6^post_15, __const_100^0'=__const_100^post_15, __const_99^0'=__const_99^post_15, fact3^0'=fact3^post_15, factor^0'=factor^post_15, i8^0'=i8^post_15, [ 1+__const_100^0-i8^0<=Index7^0 && Index2^0==Index2^post_15 && Index7^0==Index7^post_15 && Sorted5^0==Sorted5^post_15 && Temp6^0==Temp6^post_15 && __const_100^0==__const_100^post_15 && __const_99^0==__const_99^post_15 && fact3^0==fact3^post_15 && factor^0==factor^post_15 && i8^0==i8^post_15 ], cost: 1
     15: l13 -> l6 : Index2^0'=Index2^post_16, Index7^0'=Index7^post_16, Sorted5^0'=Sorted5^post_16, Temp6^0'=Temp6^post_16, __const_100^0'=__const_100^post_16, __const_99^0'=__const_99^post_16, fact3^0'=fact3^post_16, factor^0'=factor^post_16, i8^0'=i8^post_16, [ 1+__const_99^0<=Index7^0 && Index2^0==Index2^post_16 && Index7^0==Index7^post_16 && Sorted5^0==Sorted5^post_16 && Temp6^0==Temp6^post_16 && __const_100^0==__const_100^post_16 && __const_99^0==__const_99^post_16 && fact3^0==fact3^post_16 && factor^0==factor^post_16 && i8^0==i8^post_16 ], cost: 1
     16: l13 -> l12 : Index2^0'=Index2^post_17, Index7^0'=Index7^post_17, Sorted5^0'=Sorted5^post_17, Temp6^0'=Temp6^post_17, __const_100^0'=__const_100^post_17, __const_99^0'=__const_99^post_17, fact3^0'=fact3^post_17, factor^0'=factor^post_17, i8^0'=i8^post_17, [ Index7^0<=__const_99^0 && Index2^0==Index2^post_17 && Index7^0==Index7^post_17 && Sorted5^0==Sorted5^post_17 && Temp6^0==Temp6^post_17 && __const_100^0==__const_100^post_17 && __const_99^0==__const_99^post_17 && fact3^0==fact3^post_17 && factor^0==factor^post_17 && i8^0==i8^post_17 ], cost: 1
     20: l14 -> l2 : Index2^0'=Index2^post_21, Index7^0'=Index7^post_21, Sorted5^0'=Sorted5^post_21, Temp6^0'=Temp6^post_21, __const_100^0'=__const_100^post_21, __const_99^0'=__const_99^post_21, fact3^0'=fact3^post_21, factor^0'=factor^post_21, i8^0'=i8^post_21, [ factor^post_21==-1 && fact3^post_21==factor^post_21 && Index2^post_21==1 && Index7^0==Index7^post_21 && Sorted5^0==Sorted5^post_21 && Temp6^0==Temp6^post_21 && __const_100^0==__const_100^post_21 && __const_99^0==__const_99^post_21 && i8^0==i8^post_21 ], cost: 1
     21: l15 -> l14 : Index2^0'=Index2^post_22, Index7^0'=Index7^post_22, Sorted5^0'=Sorted5^post_22, Temp6^0'=Temp6^post_22, __const_100^0'=__const_100^post_22, __const_99^0'=__const_99^post_22, fact3^0'=fact3^post_22, factor^0'=factor^post_22, i8^0'=i8^post_22, [ Index2^0==Index2^post_22 && Index7^0==Index7^post_22 && Sorted5^0==Sorted5^post_22 && Temp6^0==Temp6^post_22 && __const_100^0==__const_100^post_22 && __const_99^0==__const_99^post_22 && fact3^0==fact3^post_22 && factor^0==factor^post_22 && i8^0==i8^post_22 ], cost: 1

Checking for constant complexity:
   The following rule is satisfiable with cost >= 1, yielding constant complexity:
     21: l15 -> l14 : Index2^0'=Index2^post_22, Index7^0'=Index7^post_22, Sorted5^0'=Sorted5^post_22, Temp6^0'=Temp6^post_22, __const_100^0'=__const_100^post_22, __const_99^0'=__const_99^post_22, fact3^0'=fact3^post_22, factor^0'=factor^post_22, i8^0'=i8^post_22, [ Index2^0==Index2^post_22 && Index7^0==Index7^post_22 && Sorted5^0==Sorted5^post_22 && Temp6^0==Temp6^post_22 && __const_100^0==__const_100^post_22 && __const_99^0==__const_99^post_22 && fact3^0==fact3^post_22 && factor^0==factor^post_22 && i8^0==i8^post_22 ], cost: 1

Removed unreachable and leaf rules:
   Start location: l15
      0: l0 -> l1 : Index2^0'=Index2^post_1, Index7^0'=Index7^post_1, Sorted5^0'=Sorted5^post_1, Temp6^0'=Temp6^post_1, __const_100^0'=__const_100^post_1, __const_99^0'=__const_99^post_1, fact3^0'=fact3^post_1, factor^0'=factor^post_1, i8^0'=i8^post_1, [ 1+__const_100^0<=Index2^0 && Sorted5^post_1==0 && i8^post_1==1 && Index2^0==Index2^post_1 && Index7^0==Index7^post_1 && Temp6^0==Temp6^post_1 && __const_100^0==__const_100^post_1 && __const_99^0==__const_99^post_1 && fact3^0==fact3^post_1 && factor^0==factor^post_1 ], cost: 1
      1: l0 -> l2 : Index2^0'=Index2^post_2, Index7^0'=Index7^post_2, Sorted5^0'=Sorted5^post_2, Temp6^0'=Temp6^post_2, __const_100^0'=__const_100^post_2, __const_99^0'=__const_99^post_2, fact3^0'=fact3^post_2, factor^0'=factor^post_2, i8^0'=i8^post_2, [ Index2^0<=__const_100^0 && Index2^post_2==1+Index2^0 && Index7^0==Index7^post_2 && Sorted5^0==Sorted5^post_2 && Temp6^0==Temp6^post_2 && __const_100^0==__const_100^post_2 && __const_99^0==__const_99^post_2 && fact3^0==fact3^post_2 && factor^0==factor^post_2 && i8^0==i8^post_2 ], cost: 1
     10: l1 -> l10 : Index2^0'=Index2^post_11, Index7^0'=Index7^post_11, Sorted5^0'=Sorted5^post_11, Temp6^0'=Temp6^post_11, __const_100^0'=__const_100^post_11, __const_99^0'=__const_99^post_11, fact3^0'=fact3^post_11, factor^0'=factor^post_11, i8^0'=i8^post_11, [ Index2^0==Index2^post_11 && Index7^0==Index7^post_11 && Sorted5^0==Sorted5^post_11 && Temp6^0==Temp6^post_11 && __const_100^0==__const_100^post_11 && __const_99^0==__const_99^post_11 && fact3^0==fact3^post_11 && factor^0==factor^post_11 && i8^0==i8^post_11 ], cost: 1
      2: l2 -> l0 : Index2^0'=Index2^post_3, Index7^0'=Index7^post_3, Sorted5^0'=Sorted5^post_3, Temp6^0'=Temp6^post_3, __const_100^0'=__const_100^post_3, __const_99^0'=__const_99^post_3, fact3^0'=fact3^post_3, factor^0'=factor^post_3, i8^0'=i8^post_3, [ Index2^0==Index2^post_3 && Index7^0==Index7^post_3 && Sorted5^0==Sorted5^post_3 && Temp6^0==Temp6^post_3 && __const_100^0==__const_100^post_3 && __const_99^0==__const_99^post_3 && fact3^0==fact3^post_3 && factor^0==factor^post_3 && i8^0==i8^post_3 ], cost: 1
      5: l6 -> l7 : Index2^0'=Index2^post_6, Index7^0'=Index7^post_6, Sorted5^0'=Sorted5^post_6, Temp6^0'=Temp6^post_6, __const_100^0'=__const_100^post_6, __const_99^0'=__const_99^post_6, fact3^0'=fact3^post_6, factor^0'=factor^post_6, i8^0'=i8^post_6, [ Index2^0==Index2^post_6 && Index7^0==Index7^post_6 && Sorted5^0==Sorted5^post_6 && Temp6^0==Temp6^post_6 && __const_100^0==__const_100^post_6 && __const_99^0==__const_99^post_6 && fact3^0==fact3^post_6 && factor^0==factor^post_6 && i8^0==i8^post_6 ], cost: 1
      6: l7 -> l1 : Index2^0'=Index2^post_7, Index7^0'=Index7^post_7, Sorted5^0'=Sorted5^post_7, Temp6^0'=Temp6^post_7, __const_100^0'=__const_100^post_7, __const_99^0'=__const_99^post_7, fact3^0'=fact3^post_7, factor^0'=factor^post_7, i8^0'=i8^post_7, [ Sorted5^0<=0 && 0<=Sorted5^0 && i8^post_7==1+i8^0 && Index2^0==Index2^post_7 && Index7^0==Index7^post_7 && Sorted5^0==Sorted5^post_7 && Temp6^0==Temp6^post_7 && __const_100^0==__const_100^post_7 && __const_99^0==__const_99^post_7 && fact3^0==fact3^post_7 && factor^0==factor^post_7 ], cost: 1
      9: l8 -> l9 : Index2^0'=Index2^post_10, Index7^0'=Index7^post_10, Sorted5^0'=Sorted5^post_10, Temp6^0'=Temp6^post_10, __const_100^0'=__const_100^post_10, __const_99^0'=__const_99^post_10, fact3^0'=fact3^post_10, factor^0'=factor^post_10, i8^0'=i8^post_10, [ Index7^post_10==1+Index7^0 && Index2^0==Index2^post_10 && Sorted5^0==Sorted5^post_10 && Temp6^0==Temp6^post_10 && __const_100^0==__const_100^post_10 && __const_99^0==__const_99^post_10 && fact3^0==fact3^post_10 && factor^0==factor^post_10 && i8^0==i8^post_10 ], cost: 1
     17: l9 -> l13 : Index2^0'=Index2^post_18, Index7^0'=Index7^post_18, Sorted5^0'=Sorted5^post_18, Temp6^0'=Temp6^post_18, __const_100^0'=__const_100^post_18, __const_99^0'=__const_99^post_18, fact3^0'=fact3^post_18, factor^0'=factor^post_18, i8^0'=i8^post_18, [ Index2^0==Index2^post_18 && Index7^0==Index7^post_18 && Sorted5^0==Sorted5^post_18 && Temp6^0==Temp6^post_18 && __const_100^0==__const_100^post_18 && __const_99^0==__const_99^post_18 && fact3^0==fact3^post_18 && factor^0==factor^post_18 && i8^0==i8^post_18 ], cost: 1
     19: l10 -> l9 : Index2^0'=Index2^post_20, Index7^0'=Index7^post_20, Sorted5^0'=Sorted5^post_20, Temp6^0'=Temp6^post_20, __const_100^0'=__const_100^post_20, __const_99^0'=__const_99^post_20, fact3^0'=fact3^post_20, factor^0'=factor^post_20, i8^0'=i8^post_20, [ i8^0<=__const_99^0 && Sorted5^post_20==1 && Index7^post_20==1 && Index2^0==Index2^post_20 && Temp6^0==Temp6^post_20 && __const_100^0==__const_100^post_20 && __const_99^0==__const_99^post_20 && fact3^0==fact3^post_20 && factor^0==factor^post_20 && i8^0==i8^post_20 ], cost: 1
     11: l11 -> l8 : Index2^0'=Index2^post_12, Index7^0'=Index7^post_12, Sorted5^0'=Sorted5^post_12, Temp6^0'=Temp6^post_12, __const_100^0'=__const_100^post_12, __const_99^0'=__const_99^post_12, fact3^0'=fact3^post_12, factor^0'=factor^post_12, i8^0'=i8^post_12, [ Temp6^post_12==Temp6^post_12 && Sorted5^post_12==0 && Index2^0==Index2^post_12 && Index7^0==Index7^post_12 && __const_100^0==__const_100^post_12 && __const_99^0==__const_99^post_12 && fact3^0==fact3^post_12 && factor^0==factor^post_12 && i8^0==i8^post_12 ], cost: 1
     12: l11 -> l8 : Index2^0'=Index2^post_13, Index7^0'=Index7^post_13, Sorted5^0'=Sorted5^post_13, Temp6^0'=Temp6^post_13, __const_100^0'=__const_100^post_13, __const_99^0'=__const_99^post_13, fact3^0'=fact3^post_13, factor^0'=factor^post_13, i8^0'=i8^post_13, [ Index2^0==Index2^post_13 && Index7^0==Index7^post_13 && Sorted5^0==Sorted5^post_13 && Temp6^0==Temp6^post_13 && __const_100^0==__const_100^post_13 && __const_99^0==__const_99^post_13 && fact3^0==fact3^post_13 && factor^0==factor^post_13 && i8^0==i8^post_13 ], cost: 1
     13: l12 -> l11 : Index2^0'=Index2^post_14, Index7^0'=Index7^post_14, Sorted5^0'=Sorted5^post_14, Temp6^0'=Temp6^post_14, __const_100^0'=__const_100^post_14, __const_99^0'=__const_99^post_14, fact3^0'=fact3^post_14, factor^0'=factor^post_14, i8^0'=i8^post_14, [ Index7^0<=__const_100^0-i8^0 && Index2^0==Index2^post_14 && Index7^0==Index7^post_14 && Sorted5^0==Sorted5^post_14 && Temp6^0==Temp6^post_14 && __const_100^0==__const_100^post_14 && __const_99^0==__const_99^post_14 && fact3^0==fact3^post_14 && factor^0==factor^post_14 && i8^0==i8^post_14 ], cost: 1
     14: l12 -> l6 : Index2^0'=Index2^post_15, Index7^0'=Index7^post_15, Sorted5^0'=Sorted5^post_15, Temp6^0'=Temp6^post_15, __const_100^0'=__const_100^post_15, __const_99^0'=__const_99^post_15, fact3^0'=fact3^post_15, factor^0'=factor^post_15, i8^0'=i8^post_15, [ 1+__const_100^0-i8^0<=Index7^0 && Index2^0==Index2^post_15 && Index7^0==Index7^post_15 && Sorted5^0==Sorted5^post_15 && Temp6^0==Temp6^post_15 && __const_100^0==__const_100^post_15 && __const_99^0==__const_99^post_15 && fact3^0==fact3^post_15 && factor^0==factor^post_15 && i8^0==i8^post_15 ], cost: 1
     15: l13 -> l6 : Index2^0'=Index2^post_16, Index7^0'=Index7^post_16, Sorted5^0'=Sorted5^post_16, Temp6^0'=Temp6^post_16, __const_100^0'=__const_100^post_16, __const_99^0'=__const_99^post_16, fact3^0'=fact3^post_16, factor^0'=factor^post_16, i8^0'=i8^post_16, [ 1+__const_99^0<=Index7^0 && Index2^0==Index2^post_16 && Index7^0==Index7^post_16 && Sorted5^0==Sorted5^post_16 && Temp6^0==Temp6^post_16 && __const_100^0==__const_100^post_16 && __const_99^0==__const_99^post_16 && fact3^0==fact3^post_16 && factor^0==factor^post_16 && i8^0==i8^post_16 ], cost: 1
     16: l13 -> l12 : Index2^0'=Index2^post_17, Index7^0'=Index7^post_17, Sorted5^0'=Sorted5^post_17, Temp6^0'=Temp6^post_17, __const_100^0'=__const_100^post_17, __const_99^0'=__const_99^post_17, fact3^0'=fact3^post_17, factor^0'=factor^post_17, i8^0'=i8^post_17, [ Index7^0<=__const_99^0 && Index2^0==Index2^post_17 && Index7^0==Index7^post_17 && Sorted5^0==Sorted5^post_17 && Temp6^0==Temp6^post_17 && __const_100^0==__const_100^post_17 && __const_99^0==__const_99^post_17 && fact3^0==fact3^post_17 && factor^0==factor^post_17 && i8^0==i8^post_17 ], cost: 1
     20: l14 -> l2 : Index2^0'=Index2^post_21, Index7^0'=Index7^post_21, Sorted5^0'=Sorted5^post_21, Temp6^0'=Temp6^post_21, __const_100^0'=__const_100^post_21, __const_99^0'=__const_99^post_21, fact3^0'=fact3^post_21, factor^0'=factor^post_21, i8^0'=i8^post_21, [ factor^post_21==-1 && fact3^post_21==factor^post_21 && Index2^post_21==1 && Index7^0==Index7^post_21 && Sorted5^0==Sorted5^post_21 && Temp6^0==Temp6^post_21 && __const_100^0==__const_100^post_21 && __const_99^0==__const_99^post_21 && i8^0==i8^post_21 ], cost: 1
     21: l15 -> l14 : Index2^0'=Index2^post_22, Index7^0'=Index7^post_22, Sorted5^0'=Sorted5^post_22, Temp6^0'=Temp6^post_22, __const_100^0'=__const_100^post_22, __const_99^0'=__const_99^post_22, fact3^0'=fact3^post_22, factor^0'=factor^post_22, i8^0'=i8^post_22, [ Index2^0==Index2^post_22 && Index7^0==Index7^post_22 && Sorted5^0==Sorted5^post_22 && Temp6^0==Temp6^post_22 && __const_100^0==__const_100^post_22 && __const_99^0==__const_99^post_22 && fact3^0==fact3^post_22 && factor^0==factor^post_22 && i8^0==i8^post_22 ], cost: 1

Simplified all rules, resulting in:
   Start location: l15
      0: l0 -> l1 : Sorted5^0'=0, i8^0'=1, [ 1+__const_100^0<=Index2^0 ], cost: 1
      1: l0 -> l2 : Index2^0'=1+Index2^0, [ Index2^0<=__const_100^0 ], cost: 1
     10: l1 -> l10 : [], cost: 1
      2: l2 -> l0 : [], cost: 1
      5: l6 -> l7 : [], cost: 1
      6: l7 -> l1 : i8^0'=1+i8^0, [ Sorted5^0==0 ], cost: 1
      9: l8 -> l9 : Index7^0'=1+Index7^0, [], cost: 1
     17: l9 -> l13 : [], cost: 1
     19: l10 -> l9 : Index7^0'=1, Sorted5^0'=1, [ i8^0<=__const_99^0 ], cost: 1
     11: l11 -> l8 : Sorted5^0'=0, Temp6^0'=Temp6^post_12, [], cost: 1
     12: l11 -> l8 : [], cost: 1
     13: l12 -> l11 : [ Index7^0<=__const_100^0-i8^0 ], cost: 1
     14: l12 -> l6 : [ 1+__const_100^0-i8^0<=Index7^0 ], cost: 1
     15: l13 -> l6 : [ 1+__const_99^0<=Index7^0 ], cost: 1
     16: l13 -> l12 : [ Index7^0<=__const_99^0 ], cost: 1
     20: l14 -> l2 : Index2^0'=1, fact3^0'=-1, factor^0'=-1, [], cost: 1
     21: l15 -> l14 : [], cost: 1

### Simplification by acceleration and chaining ###

Eliminated locations (on linear paths):
   Start location: l15
      0: l0 -> l1 : Sorted5^0'=0, i8^0'=1, [ 1+__const_100^0<=Index2^0 ], cost: 1
      1: l0 -> l2 : Index2^0'=1+Index2^0, [ Index2^0<=__const_100^0 ], cost: 1
     23: l1 -> l9 : Index7^0'=1, Sorted5^0'=1, [ i8^0<=__const_99^0 ], cost: 2
      2: l2 -> l0 : [], cost: 1
     24: l6 -> l1 : i8^0'=1+i8^0, [ Sorted5^0==0 ], cost: 2
      9: l8 -> l9 : Index7^0'=1+Index7^0, [], cost: 1
     17: l9 -> l13 : [], cost: 1
     11: l11 -> l8 : Sorted5^0'=0, Temp6^0'=Temp6^post_12, [], cost: 1
     12: l11 -> l8 : [], cost: 1
     13: l12 -> l11 : [ Index7^0<=__const_100^0-i8^0 ], cost: 1
     14: l12 -> l6 : [ 1+__const_100^0-i8^0<=Index7^0 ], cost: 1
     15: l13 -> l6 : [ 1+__const_99^0<=Index7^0 ], cost: 1
     16: l13 -> l12 : [ Index7^0<=__const_99^0 ], cost: 1
     22: l15 -> l2 : Index2^0'=1, fact3^0'=-1, factor^0'=-1, [], cost: 2

Eliminated locations (on tree-shaped paths):
   Start location: l15
     23: l1 -> l9 : Index7^0'=1, Sorted5^0'=1, [ i8^0<=__const_99^0 ], cost: 2
     25: l2 -> l1 : Sorted5^0'=0, i8^0'=1, [ 1+__const_100^0<=Index2^0 ], cost: 2
     26: l2 -> l2 : Index2^0'=1+Index2^0, [ Index2^0<=__const_100^0 ], cost: 2
     24: l6 -> l1 : i8^0'=1+i8^0, [ Sorted5^0==0 ], cost: 2
      9: l8 -> l9 : Index7^0'=1+Index7^0, [], cost: 1
     27: l9 -> l6 : [ 1+__const_99^0<=Index7^0 ], cost: 2
     28: l9 -> l12 : [ Index7^0<=__const_99^0 ], cost: 2
     14: l12 -> l6 : [ 1+__const_100^0-i8^0<=Index7^0 ], cost: 1
     29: l12 -> l8 : Sorted5^0'=0, Temp6^0'=Temp6^post_12, [ Index7^0<=__const_100^0-i8^0 ], cost: 2
     30: l12 -> l8 : [ Index7^0<=__const_100^0-i8^0 ], cost: 2
     22: l15 -> l2 : Index2^0'=1, fact3^0'=-1, factor^0'=-1, [], cost: 2

Accelerating simple loops of location 2.
   Accelerating the following rules:
     26: l2 -> l2 : Index2^0'=1+Index2^0, [ Index2^0<=__const_100^0 ], cost: 2

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

Accelerated all simple loops using metering functions (where possible):
   Start location: l15
     23: l1 -> l9 : Index7^0'=1, Sorted5^0'=1, [ i8^0<=__const_99^0 ], cost: 2
     25: l2 -> l1 : Sorted5^0'=0, i8^0'=1, [ 1+__const_100^0<=Index2^0 ], cost: 2
     31: l2 -> l2 : Index2^0'=1+__const_100^0, [ 1+__const_100^0-Index2^0>=0 ], cost: 2+2*__const_100^0-2*Index2^0
     24: l6 -> l1 : i8^0'=1+i8^0, [ Sorted5^0==0 ], cost: 2
      9: l8 -> l9 : Index7^0'=1+Index7^0, [], cost: 1
     27: l9 -> l6 : [ 1+__const_99^0<=Index7^0 ], cost: 2
     28: l9 -> l12 : [ Index7^0<=__const_99^0 ], cost: 2
     14: l12 -> l6 : [ 1+__const_100^0-i8^0<=Index7^0 ], cost: 1
     29: l12 -> l8 : Sorted5^0'=0, Temp6^0'=Temp6^post_12, [ Index7^0<=__const_100^0-i8^0 ], cost: 2
     30: l12 -> l8 : [ Index7^0<=__const_100^0-i8^0 ], cost: 2
     22: l15 -> l2 : Index2^0'=1, fact3^0'=-1, factor^0'=-1, [], cost: 2

Chained accelerated rules (with incoming rules):
   Start location: l15
     23: l1 -> l9 : Index7^0'=1, Sorted5^0'=1, [ i8^0<=__const_99^0 ], cost: 2
     25: l2 -> l1 : Sorted5^0'=0, i8^0'=1, [ 1+__const_100^0<=Index2^0 ], cost: 2
     24: l6 -> l1 : i8^0'=1+i8^0, [ Sorted5^0==0 ], cost: 2
      9: l8 -> l9 : Index7^0'=1+Index7^0, [], cost: 1
     27: l9 -> l6 : [ 1+__const_99^0<=Index7^0 ], cost: 2
     28: l9 -> l12 : [ Index7^0<=__const_99^0 ], cost: 2
     14: l12 -> l6 : [ 1+__const_100^0-i8^0<=Index7^0 ], cost: 1
     29: l12 -> l8 : Sorted5^0'=0, Temp6^0'=Temp6^post_12, [ Index7^0<=__const_100^0-i8^0 ], cost: 2
     30: l12 -> l8 : [ Index7^0<=__const_100^0-i8^0 ], cost: 2
     22: l15 -> l2 : Index2^0'=1, fact3^0'=-1, factor^0'=-1, [], cost: 2
     32: l15 -> l2 : Index2^0'=1+__const_100^0, fact3^0'=-1, factor^0'=-1, [ __const_100^0>=0 ], cost: 2+2*__const_100^0

Eliminated locations (on tree-shaped paths):
   Start location: l15
     23: l1 -> l9 : Index7^0'=1, Sorted5^0'=1, [ i8^0<=__const_99^0 ], cost: 2
     24: l6 -> l1 : i8^0'=1+i8^0, [ Sorted5^0==0 ], cost: 2
      9: l8 -> l9 : Index7^0'=1+Index7^0, [], cost: 1
     27: l9 -> l6 : [ 1+__const_99^0<=Index7^0 ], cost: 2
     35: l9 -> l6 : [ Index7^0<=__const_99^0 && 1+__const_100^0-i8^0<=Index7^0 ], cost: 3
     36: l9 -> l8 : Sorted5^0'=0, Temp6^0'=Temp6^post_12, [ Index7^0<=__const_99^0 && Index7^0<=__const_100^0-i8^0 ], cost: 4
     37: l9 -> l8 : [ Index7^0<=__const_99^0 && Index7^0<=__const_100^0-i8^0 ], cost: 4
     33: l15 -> l1 : Index2^0'=1, Sorted5^0'=0, fact3^0'=-1, factor^0'=-1, i8^0'=1, [ 1+__const_100^0<=1 ], cost: 4
     34: l15 -> l1 : Index2^0'=1+__const_100^0, Sorted5^0'=0, fact3^0'=-1, factor^0'=-1, i8^0'=1, [ __const_100^0>=0 ], cost: 4+2*__const_100^0

Eliminated locations (on tree-shaped paths):
   Start location: l15
     23: l1 -> l9 : Index7^0'=1, Sorted5^0'=1, [ i8^0<=__const_99^0 ], cost: 2
     38: l9 -> l1 : i8^0'=1+i8^0, [ 1+__const_99^0<=Index7^0 && Sorted5^0==0 ], cost: 4
     39: l9 -> l1 : i8^0'=1+i8^0, [ Index7^0<=__const_99^0 && 1+__const_100^0-i8^0<=Index7^0 && Sorted5^0==0 ], cost: 5
     40: l9 -> l9 : Index7^0'=1+Index7^0, Sorted5^0'=0, Temp6^0'=Temp6^post_12, [ Index7^0<=__const_99^0 && Index7^0<=__const_100^0-i8^0 ], cost: 5
     41: l9 -> l9 : Index7^0'=1+Index7^0, [ Index7^0<=__const_99^0 && Index7^0<=__const_100^0-i8^0 ], cost: 5
     33: l15 -> l1 : Index2^0'=1, Sorted5^0'=0, fact3^0'=-1, factor^0'=-1, i8^0'=1, [ 1+__const_100^0<=1 ], cost: 4
     34: l15 -> l1 : Index2^0'=1+__const_100^0, Sorted5^0'=0, fact3^0'=-1, factor^0'=-1, i8^0'=1, [ __const_100^0>=0 ], cost: 4+2*__const_100^0

Accelerating simple loops of location 9.
   Accelerating the following rules:
     40: l9 -> l9 : Index7^0'=1+Index7^0, Sorted5^0'=0, Temp6^0'=Temp6^post_12, [ Index7^0<=__const_99^0 && Index7^0<=__const_100^0-i8^0 ], cost: 5
     41: l9 -> l9 : Index7^0'=1+Index7^0, [ Index7^0<=__const_99^0 && Index7^0<=__const_100^0-i8^0 ], cost: 5

   Accelerated rule 40 with backward acceleration, yielding the new rule 42.
   Accelerated rule 40 with backward acceleration, yielding the new rule 43.
   Accelerated rule 41 with backward acceleration, yielding the new rule 44.
   Accelerated rule 41 with backward acceleration, yielding the new rule 45.
[accelerate] Nesting with 4 inner and 2 outer candidates
   Removing the simple loops: 40 41.

Accelerated all simple loops using metering functions (where possible):
   Start location: l15
     23: l1 -> l9 : Index7^0'=1, Sorted5^0'=1, [ i8^0<=__const_99^0 ], cost: 2
     38: l9 -> l1 : i8^0'=1+i8^0, [ 1+__const_99^0<=Index7^0 && Sorted5^0==0 ], cost: 4
     39: l9 -> l1 : i8^0'=1+i8^0, [ Index7^0<=__const_99^0 && 1+__const_100^0-i8^0<=Index7^0 && Sorted5^0==0 ], cost: 5
     42: l9 -> l9 : Index7^0'=1+__const_99^0, Sorted5^0'=0, Temp6^0'=Temp6^post_12, [ 1-Index7^0+__const_99^0>=1 && __const_99^0<=__const_100^0-i8^0 ], cost: 5-5*Index7^0+5*__const_99^0
     43: l9 -> l9 : Index7^0'=1+__const_100^0-i8^0, Sorted5^0'=0, Temp6^0'=Temp6^post_12, [ 1+__const_100^0-Index7^0-i8^0>=1 && __const_100^0-i8^0<=__const_99^0 ], cost: 5+5*__const_100^0-5*Index7^0-5*i8^0
     44: l9 -> l9 : Index7^0'=1+__const_99^0, [ 1-Index7^0+__const_99^0>=0 && __const_99^0<=__const_100^0-i8^0 ], cost: 5-5*Index7^0+5*__const_99^0
     45: l9 -> l9 : Index7^0'=1+__const_100^0-i8^0, [ 1+__const_100^0-Index7^0-i8^0>=0 && __const_100^0-i8^0<=__const_99^0 ], cost: 5+5*__const_100^0-5*Index7^0-5*i8^0
     33: l15 -> l1 : Index2^0'=1, Sorted5^0'=0, fact3^0'=-1, factor^0'=-1, i8^0'=1, [ 1+__const_100^0<=1 ], cost: 4
     34: l15 -> l1 : Index2^0'=1+__const_100^0, Sorted5^0'=0, fact3^0'=-1, factor^0'=-1, i8^0'=1, [ __const_100^0>=0 ], cost: 4+2*__const_100^0

Chained accelerated rules (with incoming rules):
   Start location: l15
     23: l1 -> l9 : Index7^0'=1, Sorted5^0'=1, [ i8^0<=__const_99^0 ], cost: 2
     46: l1 -> l9 : Index7^0'=1+__const_99^0, Sorted5^0'=0, Temp6^0'=Temp6^post_12, [ i8^0<=__const_99^0 && __const_99^0>=1 && __const_99^0<=__const_100^0-i8^0 ], cost: 2+5*__const_99^0
     47: l1 -> l9 : Index7^0'=1+__const_100^0-i8^0, Sorted5^0'=0, Temp6^0'=Temp6^post_12, [ i8^0<=__const_99^0 && __const_100^0-i8^0>=1 && __const_100^0-i8^0<=__const_99^0 ], cost: 2+5*__const_100^0-5*i8^0
     48: l1 -> l9 : Index7^0'=1+__const_99^0, Sorted5^0'=1, [ i8^0<=__const_99^0 && __const_99^0>=0 && __const_99^0<=__const_100^0-i8^0 ], cost: 2+5*__const_99^0
     49: l1 -> l9 : Index7^0'=1+__const_100^0-i8^0, Sorted5^0'=1, [ i8^0<=__const_99^0 && __const_100^0-i8^0>=0 && __const_100^0-i8^0<=__const_99^0 ], cost: 2+5*__const_100^0-5*i8^0
     38: l9 -> l1 : i8^0'=1+i8^0, [ 1+__const_99^0<=Index7^0 && Sorted5^0==0 ], cost: 4
     39: l9 -> l1 : i8^0'=1+i8^0, [ Index7^0<=__const_99^0 && 1+__const_100^0-i8^0<=Index7^0 && Sorted5^0==0 ], cost: 5
     33: l15 -> l1 : Index2^0'=1, Sorted5^0'=0, fact3^0'=-1, factor^0'=-1, i8^0'=1, [ 1+__const_100^0<=1 ], cost: 4
     34: l15 -> l1 : Index2^0'=1+__const_100^0, Sorted5^0'=0, fact3^0'=-1, factor^0'=-1, i8^0'=1, [ __const_100^0>=0 ], cost: 4+2*__const_100^0

Eliminated locations (on tree-shaped paths):
   Start location: l15
     50: l1 -> l1 : Index7^0'=1+__const_99^0, Sorted5^0'=0, Temp6^0'=Temp6^post_12, i8^0'=1+i8^0, [ i8^0<=__const_99^0 && __const_99^0>=1 && __const_99^0<=__const_100^0-i8^0 ], cost: 6+5*__const_99^0
     51: l1 -> l1 : Index7^0'=1+__const_100^0-i8^0, Sorted5^0'=0, Temp6^0'=Temp6^post_12, i8^0'=1+i8^0, [ i8^0<=__const_99^0 && __const_100^0-i8^0>=1 && __const_100^0-i8^0<=__const_99^0 && 1+__const_99^0<=1+__const_100^0-i8^0 ], cost: 6+5*__const_100^0-5*i8^0
     52: l1 -> l1 : Index7^0'=1+__const_100^0-i8^0, Sorted5^0'=0, Temp6^0'=Temp6^post_12, i8^0'=1+i8^0, [ i8^0<=__const_99^0 && __const_100^0-i8^0>=1 && 1+__const_100^0-i8^0<=__const_99^0 ], cost: 7+5*__const_100^0-5*i8^0
     53: l1 -> [18] : [ i8^0<=__const_99^0 && __const_99^0>=1 && __const_99^0<=__const_100^0-i8^0 ], cost: 2+5*__const_99^0
     54: l1 -> [18] : [ i8^0<=__const_99^0 && __const_99^0>=0 && __const_99^0<=__const_100^0-i8^0 ], cost: 2+5*__const_99^0
     55: l1 -> [18] : [ i8^0<=__const_99^0 && __const_100^0-i8^0>=0 && __const_100^0-i8^0<=__const_99^0 ], cost: 2+5*__const_100^0-5*i8^0
     33: l15 -> l1 : Index2^0'=1, Sorted5^0'=0, fact3^0'=-1, factor^0'=-1, i8^0'=1, [ 1+__const_100^0<=1 ], cost: 4
     34: l15 -> l1 : Index2^0'=1+__const_100^0, Sorted5^0'=0, fact3^0'=-1, factor^0'=-1, i8^0'=1, [ __const_100^0>=0 ], cost: 4+2*__const_100^0

Accelerating simple loops of location 1.
   Simplified some of the simple loops (and removed duplicate rules).
   Accelerating the following rules:
     50: l1 -> l1 : Index7^0'=1+__const_99^0, Sorted5^0'=0, Temp6^0'=Temp6^post_12, i8^0'=1+i8^0, [ i8^0<=__const_99^0 && __const_99^0>=1 && __const_99^0<=__const_100^0-i8^0 ], cost: 6+5*__const_99^0
     51: l1 -> l1 : Index7^0'=1+__const_100^0-i8^0, Sorted5^0'=0, Temp6^0'=Temp6^post_12, i8^0'=1+i8^0, [ i8^0<=__const_99^0 && __const_100^0-i8^0>=1 && __const_100^0-i8^0-__const_99^0==0 ], cost: 6+5*__const_100^0-5*i8^0
     52: l1 -> l1 : Index7^0'=1+__const_100^0-i8^0, Sorted5^0'=0, Temp6^0'=Temp6^post_12, i8^0'=1+i8^0, [ i8^0<=__const_99^0 && __const_100^0-i8^0>=1 && 1+__const_100^0-i8^0<=__const_99^0 ], cost: 7+5*__const_100^0-5*i8^0

   Accelerated rule 50 with backward acceleration, yielding the new rule 56.
   Accelerated rule 50 with backward acceleration, yielding the new rule 57.
   Failed to prove monotonicity of the guard of rule 51.
   Accelerated rule 52 with backward acceleration, yielding the new rule 58.
   Accelerated rule 52 with backward acceleration, yielding the new rule 59.
[accelerate] Nesting with 5 inner and 3 outer candidates
   Removing the simple loops: 50 52.

Accelerated all simple loops using metering functions (where possible):
   Start location: l15
     51: l1 -> l1 : Index7^0'=1+__const_100^0-i8^0, Sorted5^0'=0, Temp6^0'=Temp6^post_12, i8^0'=1+i8^0, [ i8^0<=__const_99^0 && __const_100^0-i8^0>=1 && __const_100^0-i8^0-__const_99^0==0 ], cost: 6+5*__const_100^0-5*i8^0
     53: l1 -> [18] : [ i8^0<=__const_99^0 && __const_99^0>=1 && __const_99^0<=__const_100^0-i8^0 ], cost: 2+5*__const_99^0
     54: l1 -> [18] : [ i8^0<=__const_99^0 && __const_99^0>=0 && __const_99^0<=__const_100^0-i8^0 ], cost: 2+5*__const_99^0
     55: l1 -> [18] : [ i8^0<=__const_99^0 && __const_100^0-i8^0>=0 && __const_100^0-i8^0<=__const_99^0 ], cost: 2+5*__const_100^0-5*i8^0
     56: l1 -> l1 : Index7^0'=1+__const_99^0, Sorted5^0'=0, Temp6^0'=Temp6^post_12, i8^0'=1+__const_99^0, [ __const_99^0>=1 && 1-i8^0+__const_99^0>=1 && __const_99^0<=__const_100^0-__const_99^0 ], cost: 6-6*i8^0+6*__const_99^0-5*(-1+i8^0-__const_99^0)*__const_99^0
     57: l1 -> l1 : Index7^0'=1+__const_99^0, Sorted5^0'=0, Temp6^0'=Temp6^post_12, i8^0'=1+__const_100^0-__const_99^0, [ __const_99^0>=1 && 1+__const_100^0-i8^0-__const_99^0>=1 && __const_100^0-__const_99^0<=__const_99^0 ], cost: 6+5*__const_99^0*(1+__const_100^0-i8^0-__const_99^0)+6*__const_100^0-6*i8^0-6*__const_99^0
     58: l1 -> l1 : Index7^0'=1+__const_100^0-__const_99^0, Sorted5^0'=0, Temp6^0'=Temp6^post_12, i8^0'=1+__const_99^0, [ 1+__const_100^0-i8^0<=__const_99^0 && 1-i8^0+__const_99^0>=1 && __const_100^0-__const_99^0>=1 ], cost: 19/2-5*__const_100^0*(-1+i8^0-__const_99^0)-19/2*i8^0-5/2*(-1+i8^0-__const_99^0)^2+19/2*__const_99^0+5*(-1+i8^0-__const_99^0)*i8^0
     59: l1 -> l1 : Index7^0'=2, Sorted5^0'=0, Temp6^0'=Temp6^post_12, i8^0'=__const_100^0, [ 1+__const_100^0-i8^0<=__const_99^0 && __const_100^0-i8^0>=1 && -1+__const_100^0<=__const_99^0 ], cost: 19/2*__const_100^0-19/2*i8^0-5/2*(__const_100^0-i8^0)^2+5*__const_100^0*(__const_100^0-i8^0)-5*i8^0*(__const_100^0-i8^0)
     33: l15 -> l1 : Index2^0'=1, Sorted5^0'=0, fact3^0'=-1, factor^0'=-1, i8^0'=1, [ 1+__const_100^0<=1 ], cost: 4
     34: l15 -> l1 : Index2^0'=1+__const_100^0, Sorted5^0'=0, fact3^0'=-1, factor^0'=-1, i8^0'=1, [ __const_100^0>=0 ], cost: 4+2*__const_100^0

Chained accelerated rules (with incoming rules):
   Start location: l15
     53: l1 -> [18] : [ i8^0<=__const_99^0 && __const_99^0>=1 && __const_99^0<=__const_100^0-i8^0 ], cost: 2+5*__const_99^0
     54: l1 -> [18] : [ i8^0<=__const_99^0 && __const_99^0>=0 && __const_99^0<=__const_100^0-i8^0 ], cost: 2+5*__const_99^0
     55: l1 -> [18] : [ i8^0<=__const_99^0 && __const_100^0-i8^0>=0 && __const_100^0-i8^0<=__const_99^0 ], cost: 2+5*__const_100^0-5*i8^0
     33: l15 -> l1 : Index2^0'=1, Sorted5^0'=0, fact3^0'=-1, factor^0'=-1, i8^0'=1, [ 1+__const_100^0<=1 ], cost: 4
     34: l15 -> l1 : Index2^0'=1+__const_100^0, Sorted5^0'=0, fact3^0'=-1, factor^0'=-1, i8^0'=1, [ __const_100^0>=0 ], cost: 4+2*__const_100^0
     60: l15 -> l1 : Index2^0'=1+__const_100^0, Index7^0'=__const_100^0, Sorted5^0'=0, Temp6^0'=Temp6^post_12, fact3^0'=-1, factor^0'=-1, i8^0'=2, [ 1<=__const_99^0 && -1+__const_100^0>=1 && -1+__const_100^0-__const_99^0==0 ], cost: 5+7*__const_100^0
     61: l15 -> l1 : Index2^0'=1+__const_100^0, Index7^0'=1+__const_99^0, Sorted5^0'=0, Temp6^0'=Temp6^post_12, fact3^0'=-1, factor^0'=-1, i8^0'=1+__const_99^0, [ __const_100^0>=0 && __const_99^0>=1 && __const_99^0<=__const_100^0-__const_99^0 ], cost: 4+2*__const_100^0+6*__const_99^0+5*__const_99^0^2
     62: l15 -> l1 : Index2^0'=1+__const_100^0, Index7^0'=1+__const_99^0, Sorted5^0'=0, Temp6^0'=Temp6^post_12, fact3^0'=-1, factor^0'=-1, i8^0'=1+__const_100^0-__const_99^0, [ __const_100^0>=0 && __const_99^0>=1 && __const_100^0-__const_99^0>=1 && __const_100^0-__const_99^0<=__const_99^0 ], cost: 4+8*__const_100^0-6*__const_99^0+5*__const_99^0*(__const_100^0-__const_99^0)
     63: l15 -> l1 : Index2^0'=1+__const_100^0, Index7^0'=2, Sorted5^0'=0, Temp6^0'=Temp6^post_12, fact3^0'=-1, factor^0'=-1, i8^0'=__const_100^0, [ __const_100^0<=__const_99^0 && -1+__const_100^0>=1 ], cost: -1/2+5*__const_100^0*(-1+__const_100^0)+13/2*__const_100^0-5/2*(-1+__const_100^0)^2

Eliminated locations (on tree-shaped paths):
   Start location: l15
     64: l15 -> [18] : Index2^0'=1+__const_100^0, Sorted5^0'=0, fact3^0'=-1, factor^0'=-1, i8^0'=1, [ __const_100^0>=0 && 1<=__const_99^0 && __const_99^0<=-1+__const_100^0 ], cost: 6+2*__const_100^0+5*__const_99^0
     65: l15 -> [18] : Index2^0'=1+__const_100^0, Sorted5^0'=0, fact3^0'=-1, factor^0'=-1, i8^0'=1, [ __const_100^0>=0 && 1<=__const_99^0 && __const_99^0<=-1+__const_100^0 ], cost: 6+2*__const_100^0+5*__const_99^0
     66: l15 -> [18] : Index2^0'=1+__const_100^0, Sorted5^0'=0, fact3^0'=-1, factor^0'=-1, i8^0'=1, [ 1<=__const_99^0 && -1+__const_100^0>=0 && -1+__const_100^0<=__const_99^0 ], cost: 1+7*__const_100^0
     67: l15 -> [18] : Index2^0'=1+__const_100^0, Index7^0'=__const_100^0, Sorted5^0'=0, Temp6^0'=Temp6^post_12, fact3^0'=-1, factor^0'=-1, i8^0'=2, [ -1+__const_100^0>=1 && -1+__const_100^0-__const_99^0==0 && 2<=__const_99^0 ], cost: -3+12*__const_100^0
     68: l15 -> [18] : Index2^0'=1+__const_100^0, Index7^0'=1+__const_99^0, Sorted5^0'=0, Temp6^0'=Temp6^post_12, fact3^0'=-1, factor^0'=-1, i8^0'=1+__const_100^0-__const_99^0, [ __const_100^0>=0 && __const_99^0>=1 && __const_100^0-__const_99^0>=1 && 1+__const_100^0-__const_99^0<=__const_99^0 ], cost: 1+8*__const_100^0-__const_99^0+5*__const_99^0*(__const_100^0-__const_99^0)
     69: l15 -> [18] : Index2^0'=1+__const_100^0, Index7^0'=2, Sorted5^0'=0, Temp6^0'=Temp6^post_12, fact3^0'=-1, factor^0'=-1, i8^0'=__const_100^0, [ __const_100^0<=__const_99^0 && -1+__const_100^0>=1 && 0<=__const_99^0 ], cost: 3/2+5*__const_100^0*(-1+__const_100^0)+13/2*__const_100^0-5/2*(-1+__const_100^0)^2
     70: l15 -> [20] : [ 1<=__const_99^0 && -1+__const_100^0>=1 && -1+__const_100^0-__const_99^0==0 ], cost: 5+7*__const_100^0
     71: l15 -> [20] : [ __const_100^0>=0 && __const_99^0>=1 && __const_99^0<=__const_100^0-__const_99^0 ], cost: 4+2*__const_100^0+6*__const_99^0+5*__const_99^0^2
     72: l15 -> [20] : [ __const_100^0>=0 && __const_99^0>=1 && __const_100^0-__const_99^0>=1 && __const_100^0-__const_99^0<=__const_99^0 ], cost: 4+8*__const_100^0-6*__const_99^0+5*__const_99^0*(__const_100^0-__const_99^0)
     73: l15 -> [20] : [ __const_100^0<=__const_99^0 && -1+__const_100^0>=1 ], cost: -1/2+5*__const_100^0*(-1+__const_100^0)+13/2*__const_100^0-5/2*(-1+__const_100^0)^2

### Computing asymptotic complexity ###

Fully simplified ITS problem
   Start location: l15
     65: l15 -> [18] : Index2^0'=1+__const_100^0, Sorted5^0'=0, fact3^0'=-1, factor^0'=-1, i8^0'=1, [ __const_100^0>=0 && 1<=__const_99^0 && __const_99^0<=-1+__const_100^0 ], cost: 6+2*__const_100^0+5*__const_99^0
     66: l15 -> [18] : Index2^0'=1+__const_100^0, Sorted5^0'=0, fact3^0'=-1, factor^0'=-1, i8^0'=1, [ 1<=__const_99^0 && -1+__const_100^0>=0 && -1+__const_100^0<=__const_99^0 ], cost: 1+7*__const_100^0
     67: l15 -> [18] : Index2^0'=1+__const_100^0, Index7^0'=__const_100^0, Sorted5^0'=0, Temp6^0'=Temp6^post_12, fact3^0'=-1, factor^0'=-1, i8^0'=2, [ -1+__const_100^0>=1 && -1+__const_100^0-__const_99^0==0 && 2<=__const_99^0 ], cost: -3+12*__const_100^0
     68: l15 -> [18] : Index2^0'=1+__const_100^0, Index7^0'=1+__const_99^0, Sorted5^0'=0, Temp6^0'=Temp6^post_12, fact3^0'=-1, factor^0'=-1, i8^0'=1+__const_100^0-__const_99^0, [ __const_100^0>=0 && __const_99^0>=1 && __const_100^0-__const_99^0>=1 && 1+__const_100^0-__const_99^0<=__const_99^0 ], cost: 1+8*__const_100^0-__const_99^0+5*__const_99^0*(__const_100^0-__const_99^0)
     69: l15 -> [18] : Index2^0'=1+__const_100^0, Index7^0'=2, Sorted5^0'=0, Temp6^0'=Temp6^post_12, fact3^0'=-1, factor^0'=-1, i8^0'=__const_100^0, [ __const_100^0<=__const_99^0 && -1+__const_100^0>=1 && 0<=__const_99^0 ], cost: 3/2+5*__const_100^0*(-1+__const_100^0)+13/2*__const_100^0-5/2*(-1+__const_100^0)^2
     70: l15 -> [20] : [ 1<=__const_99^0 && -1+__const_100^0>=1 && -1+__const_100^0-__const_99^0==0 ], cost: 5+7*__const_100^0
     71: l15 -> [20] : [ __const_100^0>=0 && __const_99^0>=1 && __const_99^0<=__const_100^0-__const_99^0 ], cost: 4+2*__const_100^0+6*__const_99^0+5*__const_99^0^2
     72: l15 -> [20] : [ __const_100^0>=0 && __const_99^0>=1 && __const_100^0-__const_99^0>=1 && __const_100^0-__const_99^0<=__const_99^0 ], cost: 4+8*__const_100^0-6*__const_99^0+5*__const_99^0*(__const_100^0-__const_99^0)
     73: l15 -> [20] : [ __const_100^0<=__const_99^0 && -1+__const_100^0>=1 ], cost: -1/2+5*__const_100^0*(-1+__const_100^0)+13/2*__const_100^0-5/2*(-1+__const_100^0)^2

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

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

Computing asymptotic complexity for rule 71
   Simplified the guard:
     71: l15 -> [20] : [ __const_99^0>=1 && __const_99^0<=__const_100^0-__const_99^0 ], cost: 4+2*__const_100^0+6*__const_99^0+5*__const_99^0^2
   Resulting cost 0 has complexity: Unknown

Computing asymptotic complexity for rule 68
   Simplified the guard:
     68: l15 -> [18] : Index2^0'=1+__const_100^0, Index7^0'=1+__const_99^0, Sorted5^0'=0, Temp6^0'=Temp6^post_12, fact3^0'=-1, factor^0'=-1, i8^0'=1+__const_100^0-__const_99^0, [ __const_100^0-__const_99^0>=1 && 1+__const_100^0-__const_99^0<=__const_99^0 ], cost: 1+8*__const_100^0-__const_99^0+5*__const_99^0*(__const_100^0-__const_99^0)
   Resulting cost 0 has complexity: Unknown

Computing asymptotic complexity for rule 72
   Simplified the guard:
     72: l15 -> [20] : [ __const_100^0-__const_99^0>=1 && __const_100^0-__const_99^0<=__const_99^0 ], cost: 4+8*__const_100^0-6*__const_99^0+5*__const_99^0*(__const_100^0-__const_99^0)
   Resulting cost 0 has complexity: Unknown

Computing asymptotic complexity for rule 65
   Simplified the guard:
     65: l15 -> [18] : Index2^0'=1+__const_100^0, Sorted5^0'=0, fact3^0'=-1, factor^0'=-1, i8^0'=1, [ 1<=__const_99^0 && __const_99^0<=-1+__const_100^0 ], cost: 6+2*__const_100^0+5*__const_99^0
   Resulting cost 0 has complexity: Unknown

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

Computing asymptotic complexity for rule 67
   Simplified the guard:
     67: l15 -> [18] : Index2^0'=1+__const_100^0, Index7^0'=__const_100^0, Sorted5^0'=0, Temp6^0'=Temp6^post_12, fact3^0'=-1, factor^0'=-1, i8^0'=2, [ -1+__const_100^0-__const_99^0==0 && 2<=__const_99^0 ], cost: -3+12*__const_100^0
   Resulting cost 0 has complexity: Unknown

Computing asymptotic complexity for rule 70
   Simplified the guard:
     70: l15 -> [20] : [ -1+__const_100^0>=1 && -1+__const_100^0-__const_99^0==0 ], cost: 5+7*__const_100^0
   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:  [ Index2^0==Index2^post_22 && Index7^0==Index7^post_22 && Sorted5^0==Sorted5^post_22 && Temp6^0==Temp6^post_22 && __const_100^0==__const_100^post_22 && __const_99^0==__const_99^post_22 && fact3^0==fact3^post_22 && factor^0==factor^post_22 && i8^0==i8^post_22 ]

WORST_CASE(Omega(1),?)