WORST_CASE(Omega(1),?)

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

Initial linear ITS problem
   Start location: l17
      0: l0 -> l1 : c^0'=c^post_1, d^0'=d^post_1, f^0'=f^post_1, n^0'=n^post_1, r^0'=r^post_1, s^0'=s^post_1, [ n^0<=r^0 && c^0==c^post_1 && d^0==d^post_1 && f^0==f^post_1 && n^0==n^post_1 && r^0==r^post_1 && s^0==s^post_1 ], cost: 1
      1: l0 -> l2 : c^0'=c^post_2, d^0'=d^post_2, f^0'=f^post_2, n^0'=n^post_2, r^0'=r^post_2, s^0'=s^post_2, [ 1+r^0<=n^0 && c^0==c^post_2 && d^0==d^post_2 && f^0==f^post_2 && n^0==n^post_2 && r^0==r^post_2 && s^0==s^post_2 ], cost: 1
     20: l1 -> l6 : c^0'=c^post_21, d^0'=d^post_21, f^0'=f^post_21, n^0'=n^post_21, r^0'=r^post_21, s^0'=s^post_21, [ r^0<=n^0 && c^0==c^post_21 && d^0==d^post_21 && f^0==f^post_21 && n^0==n^post_21 && r^0==r^post_21 && s^0==s^post_21 ], cost: 1
     21: l1 -> l12 : c^0'=c^post_22, d^0'=d^post_22, f^0'=f^post_22, n^0'=n^post_22, r^0'=r^post_22, s^0'=s^post_22, [ 1+n^0<=r^0 && c^0==c^post_22 && d^0==d^post_22 && f^0==f^post_22 && n^0==n^post_22 && r^0==r^post_22 && s^0==s^post_22 ], cost: 1
     28: l2 -> l14 : c^0'=c^post_29, d^0'=d^post_29, f^0'=f^post_29, n^0'=n^post_29, r^0'=r^post_29, s^0'=s^post_29, [ 2<=d^0 && c^0==c^post_29 && d^0==d^post_29 && f^0==f^post_29 && n^0==n^post_29 && r^0==r^post_29 && s^0==s^post_29 ], cost: 1
     29: l2 -> l14 : c^0'=c^post_30, d^0'=d^post_30, f^0'=f^post_30, n^0'=n^post_30, r^0'=r^post_30, s^0'=s^post_30, [ 1+d^0<=1 && c^0==c^post_30 && d^0==d^post_30 && f^0==f^post_30 && n^0==n^post_30 && r^0==r^post_30 && s^0==s^post_30 ], cost: 1
     30: l2 -> l15 : c^0'=c^post_31, d^0'=d^post_31, f^0'=f^post_31, n^0'=n^post_31, r^0'=r^post_31, s^0'=s^post_31, [ d^0<=1 && 1<=d^0 && c^0==c^post_31 && d^0==d^post_31 && f^0==f^post_31 && n^0==n^post_31 && r^0==r^post_31 && s^0==s^post_31 ], cost: 1
      2: l3 -> l0 : c^0'=c^post_3, d^0'=d^post_3, f^0'=f^post_3, n^0'=n^post_3, r^0'=r^post_3, s^0'=s^post_3, [ c^post_3==-1+c^0 && d^0==d^post_3 && f^0==f^post_3 && n^0==n^post_3 && r^0==r^post_3 && s^0==s^post_3 ], cost: 1
      3: l4 -> l0 : c^0'=c^post_4, d^0'=d^post_4, f^0'=f^post_4, n^0'=n^post_4, r^0'=r^post_4, s^0'=s^post_4, [ f^0<=0 && 0<=f^0 && c^0==c^post_4 && d^0==d^post_4 && f^0==f^post_4 && n^0==n^post_4 && r^0==r^post_4 && s^0==s^post_4 ], cost: 1
      4: l4 -> l3 : c^0'=c^post_5, d^0'=d^post_5, f^0'=f^post_5, n^0'=n^post_5, r^0'=r^post_5, s^0'=s^post_5, [ 1<=f^0 && c^0==c^post_5 && d^0==d^post_5 && f^0==f^post_5 && n^0==n^post_5 && r^0==r^post_5 && s^0==s^post_5 ], cost: 1
      5: l4 -> l3 : c^0'=c^post_6, d^0'=d^post_6, f^0'=f^post_6, n^0'=n^post_6, r^0'=r^post_6, s^0'=s^post_6, [ 1+f^0<=0 && c^0==c^post_6 && d^0==d^post_6 && f^0==f^post_6 && n^0==n^post_6 && r^0==r^post_6 && s^0==s^post_6 ], cost: 1
      6: l5 -> l4 : c^0'=c^post_7, d^0'=d^post_7, f^0'=f^post_7, n^0'=n^post_7, r^0'=r^post_7, s^0'=s^post_7, [ 2<=c^0 && c^0==c^post_7 && d^0==d^post_7 && f^0==f^post_7 && n^0==n^post_7 && r^0==r^post_7 && s^0==s^post_7 ], cost: 1
      7: l5 -> l4 : c^0'=c^post_8, d^0'=d^post_8, f^0'=f^post_8, n^0'=n^post_8, r^0'=r^post_8, s^0'=s^post_8, [ 1+c^0<=1 && c^0==c^post_8 && d^0==d^post_8 && f^0==f^post_8 && n^0==n^post_8 && r^0==r^post_8 && s^0==s^post_8 ], cost: 1
      8: l5 -> l6 : c^0'=c^post_9, d^0'=d^post_9, f^0'=f^post_9, n^0'=n^post_9, r^0'=r^post_9, s^0'=s^post_9, [ c^0<=1 && 1<=c^0 && c^0==c^post_9 && d^0==d^post_9 && f^0==f^post_9 && n^0==n^post_9 && r^0==r^post_9 && s^0==s^post_9 ], cost: 1
      9: l6 -> l7 : c^0'=c^post_10, d^0'=d^post_10, f^0'=f^post_10, n^0'=n^post_10, r^0'=r^post_10, s^0'=s^post_10, [ c^0==c^post_10 && d^0==d^post_10 && f^0==f^post_10 && n^0==n^post_10 && r^0==r^post_10 && s^0==s^post_10 ], cost: 1
     10: l8 -> l9 : c^0'=c^post_11, d^0'=d^post_11, f^0'=f^post_11, n^0'=n^post_11, r^0'=r^post_11, s^0'=s^post_11, [ 0<=s^0 && c^0==c^post_11 && d^0==d^post_11 && f^0==f^post_11 && n^0==n^post_11 && r^0==r^post_11 && s^0==s^post_11 ], cost: 1
     11: l8 -> l6 : c^0'=c^post_12, d^0'=d^post_12, f^0'=f^post_12, n^0'=n^post_12, r^0'=r^post_12, s^0'=s^post_12, [ 1+s^0<=0 && c^0==c^post_12 && d^0==d^post_12 && f^0==f^post_12 && n^0==n^post_12 && r^0==r^post_12 && s^0==s^post_12 ], cost: 1
     16: l9 -> l5 : c^0'=c^post_17, d^0'=d^post_17, f^0'=f^post_17, n^0'=n^post_17, r^0'=r^post_17, s^0'=s^post_17, [ n^post_17==n^post_17 && c^0==c^post_17 && d^0==d^post_17 && f^0==f^post_17 && r^0==r^post_17 && s^0==s^post_17 ], cost: 1
     12: l10 -> l8 : c^0'=c^post_13, d^0'=d^post_13, f^0'=f^post_13, n^0'=n^post_13, r^0'=r^post_13, s^0'=s^post_13, [ d^post_13==1 && s^post_13==s^0-c^0 && c^0==c^post_13 && f^0==f^post_13 && n^0==n^post_13 && r^0==r^post_13 ], cost: 1
     13: l11 -> l10 : c^0'=c^post_14, d^0'=d^post_14, f^0'=f^post_14, n^0'=n^post_14, r^0'=r^post_14, s^0'=s^post_14, [ 1<=f^0 && c^0==c^post_14 && d^0==d^post_14 && f^0==f^post_14 && n^0==n^post_14 && r^0==r^post_14 && s^0==s^post_14 ], cost: 1
     14: l11 -> l10 : c^0'=c^post_15, d^0'=d^post_15, f^0'=f^post_15, n^0'=n^post_15, r^0'=r^post_15, s^0'=s^post_15, [ 1+f^0<=0 && c^0==c^post_15 && d^0==d^post_15 && f^0==f^post_15 && n^0==n^post_15 && r^0==r^post_15 && s^0==s^post_15 ], cost: 1
     15: l11 -> l10 : c^0'=c^post_16, d^0'=d^post_16, f^0'=f^post_16, n^0'=n^post_16, r^0'=r^post_16, s^0'=s^post_16, [ f^0<=0 && 0<=f^0 && f^post_16==1 && c^post_16==-1+c^0 && d^0==d^post_16 && n^0==n^post_16 && r^0==r^post_16 && s^0==s^post_16 ], cost: 1
     17: l12 -> l10 : c^0'=c^post_18, d^0'=d^post_18, f^0'=f^post_18, n^0'=n^post_18, r^0'=r^post_18, s^0'=s^post_18, [ 3<=d^0 && c^0==c^post_18 && d^0==d^post_18 && f^0==f^post_18 && n^0==n^post_18 && r^0==r^post_18 && s^0==s^post_18 ], cost: 1
     18: l12 -> l10 : c^0'=c^post_19, d^0'=d^post_19, f^0'=f^post_19, n^0'=n^post_19, r^0'=r^post_19, s^0'=s^post_19, [ 1+d^0<=2 && c^0==c^post_19 && d^0==d^post_19 && f^0==f^post_19 && n^0==n^post_19 && r^0==r^post_19 && s^0==s^post_19 ], cost: 1
     19: l12 -> l11 : c^0'=c^post_20, d^0'=d^post_20, f^0'=f^post_20, n^0'=n^post_20, r^0'=r^post_20, s^0'=s^post_20, [ d^0<=2 && 2<=d^0 && c^0==c^post_20 && d^0==d^post_20 && f^0==f^post_20 && n^0==n^post_20 && r^0==r^post_20 && s^0==s^post_20 ], cost: 1
     22: l13 -> l9 : c^0'=c^post_23, d^0'=d^post_23, f^0'=f^post_23, n^0'=n^post_23, r^0'=r^post_23, s^0'=s^post_23, [ s^0<=255 && c^0==c^post_23 && d^0==d^post_23 && f^0==f^post_23 && n^0==n^post_23 && r^0==r^post_23 && s^0==s^post_23 ], cost: 1
     23: l13 -> l6 : c^0'=c^post_24, d^0'=d^post_24, f^0'=f^post_24, n^0'=n^post_24, r^0'=r^post_24, s^0'=s^post_24, [ 256<=s^0 && c^0==c^post_24 && d^0==d^post_24 && f^0==f^post_24 && n^0==n^post_24 && r^0==r^post_24 && s^0==s^post_24 ], cost: 1
     24: l14 -> l13 : c^0'=c^post_25, d^0'=d^post_25, f^0'=f^post_25, n^0'=n^post_25, r^0'=r^post_25, s^0'=s^post_25, [ d^post_25==2 && s^post_25==s^0+c^0 && c^0==c^post_25 && f^0==f^post_25 && n^0==n^post_25 && r^0==r^post_25 ], cost: 1
     25: l15 -> l14 : c^0'=c^post_26, d^0'=d^post_26, f^0'=f^post_26, n^0'=n^post_26, r^0'=r^post_26, s^0'=s^post_26, [ 1<=f^0 && c^0==c^post_26 && d^0==d^post_26 && f^0==f^post_26 && n^0==n^post_26 && r^0==r^post_26 && s^0==s^post_26 ], cost: 1
     26: l15 -> l14 : c^0'=c^post_27, d^0'=d^post_27, f^0'=f^post_27, n^0'=n^post_27, r^0'=r^post_27, s^0'=s^post_27, [ 1+f^0<=0 && c^0==c^post_27 && d^0==d^post_27 && f^0==f^post_27 && n^0==n^post_27 && r^0==r^post_27 && s^0==s^post_27 ], cost: 1
     27: l15 -> l14 : c^0'=c^post_28, d^0'=d^post_28, f^0'=f^post_28, n^0'=n^post_28, r^0'=r^post_28, s^0'=s^post_28, [ f^0<=0 && 0<=f^0 && f^post_28==1 && c^post_28==-1+c^0 && d^0==d^post_28 && n^0==n^post_28 && r^0==r^post_28 && s^0==s^post_28 ], cost: 1
     31: l16 -> l9 : c^0'=c^post_32, d^0'=d^post_32, f^0'=f^post_32, n^0'=n^post_32, r^0'=r^post_32, s^0'=s^post_32, [ c^post_32==4 && f^post_32==0 && d^post_32==0 && n^0==n^post_32 && r^0==r^post_32 && s^0==s^post_32 ], cost: 1
     32: l17 -> l16 : c^0'=c^post_33, d^0'=d^post_33, f^0'=f^post_33, n^0'=n^post_33, r^0'=r^post_33, s^0'=s^post_33, [ c^0==c^post_33 && d^0==d^post_33 && f^0==f^post_33 && n^0==n^post_33 && r^0==r^post_33 && s^0==s^post_33 ], cost: 1

Checking for constant complexity:
   The following rule is satisfiable with cost >= 1, yielding constant complexity:
     32: l17 -> l16 : c^0'=c^post_33, d^0'=d^post_33, f^0'=f^post_33, n^0'=n^post_33, r^0'=r^post_33, s^0'=s^post_33, [ c^0==c^post_33 && d^0==d^post_33 && f^0==f^post_33 && n^0==n^post_33 && r^0==r^post_33 && s^0==s^post_33 ], cost: 1

Removed unreachable and leaf rules:
   Start location: l17
      0: l0 -> l1 : c^0'=c^post_1, d^0'=d^post_1, f^0'=f^post_1, n^0'=n^post_1, r^0'=r^post_1, s^0'=s^post_1, [ n^0<=r^0 && c^0==c^post_1 && d^0==d^post_1 && f^0==f^post_1 && n^0==n^post_1 && r^0==r^post_1 && s^0==s^post_1 ], cost: 1
      1: l0 -> l2 : c^0'=c^post_2, d^0'=d^post_2, f^0'=f^post_2, n^0'=n^post_2, r^0'=r^post_2, s^0'=s^post_2, [ 1+r^0<=n^0 && c^0==c^post_2 && d^0==d^post_2 && f^0==f^post_2 && n^0==n^post_2 && r^0==r^post_2 && s^0==s^post_2 ], cost: 1
     21: l1 -> l12 : c^0'=c^post_22, d^0'=d^post_22, f^0'=f^post_22, n^0'=n^post_22, r^0'=r^post_22, s^0'=s^post_22, [ 1+n^0<=r^0 && c^0==c^post_22 && d^0==d^post_22 && f^0==f^post_22 && n^0==n^post_22 && r^0==r^post_22 && s^0==s^post_22 ], cost: 1
     28: l2 -> l14 : c^0'=c^post_29, d^0'=d^post_29, f^0'=f^post_29, n^0'=n^post_29, r^0'=r^post_29, s^0'=s^post_29, [ 2<=d^0 && c^0==c^post_29 && d^0==d^post_29 && f^0==f^post_29 && n^0==n^post_29 && r^0==r^post_29 && s^0==s^post_29 ], cost: 1
     29: l2 -> l14 : c^0'=c^post_30, d^0'=d^post_30, f^0'=f^post_30, n^0'=n^post_30, r^0'=r^post_30, s^0'=s^post_30, [ 1+d^0<=1 && c^0==c^post_30 && d^0==d^post_30 && f^0==f^post_30 && n^0==n^post_30 && r^0==r^post_30 && s^0==s^post_30 ], cost: 1
     30: l2 -> l15 : c^0'=c^post_31, d^0'=d^post_31, f^0'=f^post_31, n^0'=n^post_31, r^0'=r^post_31, s^0'=s^post_31, [ d^0<=1 && 1<=d^0 && c^0==c^post_31 && d^0==d^post_31 && f^0==f^post_31 && n^0==n^post_31 && r^0==r^post_31 && s^0==s^post_31 ], cost: 1
      2: l3 -> l0 : c^0'=c^post_3, d^0'=d^post_3, f^0'=f^post_3, n^0'=n^post_3, r^0'=r^post_3, s^0'=s^post_3, [ c^post_3==-1+c^0 && d^0==d^post_3 && f^0==f^post_3 && n^0==n^post_3 && r^0==r^post_3 && s^0==s^post_3 ], cost: 1
      3: l4 -> l0 : c^0'=c^post_4, d^0'=d^post_4, f^0'=f^post_4, n^0'=n^post_4, r^0'=r^post_4, s^0'=s^post_4, [ f^0<=0 && 0<=f^0 && c^0==c^post_4 && d^0==d^post_4 && f^0==f^post_4 && n^0==n^post_4 && r^0==r^post_4 && s^0==s^post_4 ], cost: 1
      4: l4 -> l3 : c^0'=c^post_5, d^0'=d^post_5, f^0'=f^post_5, n^0'=n^post_5, r^0'=r^post_5, s^0'=s^post_5, [ 1<=f^0 && c^0==c^post_5 && d^0==d^post_5 && f^0==f^post_5 && n^0==n^post_5 && r^0==r^post_5 && s^0==s^post_5 ], cost: 1
      5: l4 -> l3 : c^0'=c^post_6, d^0'=d^post_6, f^0'=f^post_6, n^0'=n^post_6, r^0'=r^post_6, s^0'=s^post_6, [ 1+f^0<=0 && c^0==c^post_6 && d^0==d^post_6 && f^0==f^post_6 && n^0==n^post_6 && r^0==r^post_6 && s^0==s^post_6 ], cost: 1
      6: l5 -> l4 : c^0'=c^post_7, d^0'=d^post_7, f^0'=f^post_7, n^0'=n^post_7, r^0'=r^post_7, s^0'=s^post_7, [ 2<=c^0 && c^0==c^post_7 && d^0==d^post_7 && f^0==f^post_7 && n^0==n^post_7 && r^0==r^post_7 && s^0==s^post_7 ], cost: 1
      7: l5 -> l4 : c^0'=c^post_8, d^0'=d^post_8, f^0'=f^post_8, n^0'=n^post_8, r^0'=r^post_8, s^0'=s^post_8, [ 1+c^0<=1 && c^0==c^post_8 && d^0==d^post_8 && f^0==f^post_8 && n^0==n^post_8 && r^0==r^post_8 && s^0==s^post_8 ], cost: 1
     10: l8 -> l9 : c^0'=c^post_11, d^0'=d^post_11, f^0'=f^post_11, n^0'=n^post_11, r^0'=r^post_11, s^0'=s^post_11, [ 0<=s^0 && c^0==c^post_11 && d^0==d^post_11 && f^0==f^post_11 && n^0==n^post_11 && r^0==r^post_11 && s^0==s^post_11 ], cost: 1
     16: l9 -> l5 : c^0'=c^post_17, d^0'=d^post_17, f^0'=f^post_17, n^0'=n^post_17, r^0'=r^post_17, s^0'=s^post_17, [ n^post_17==n^post_17 && c^0==c^post_17 && d^0==d^post_17 && f^0==f^post_17 && r^0==r^post_17 && s^0==s^post_17 ], cost: 1
     12: l10 -> l8 : c^0'=c^post_13, d^0'=d^post_13, f^0'=f^post_13, n^0'=n^post_13, r^0'=r^post_13, s^0'=s^post_13, [ d^post_13==1 && s^post_13==s^0-c^0 && c^0==c^post_13 && f^0==f^post_13 && n^0==n^post_13 && r^0==r^post_13 ], cost: 1
     13: l11 -> l10 : c^0'=c^post_14, d^0'=d^post_14, f^0'=f^post_14, n^0'=n^post_14, r^0'=r^post_14, s^0'=s^post_14, [ 1<=f^0 && c^0==c^post_14 && d^0==d^post_14 && f^0==f^post_14 && n^0==n^post_14 && r^0==r^post_14 && s^0==s^post_14 ], cost: 1
     14: l11 -> l10 : c^0'=c^post_15, d^0'=d^post_15, f^0'=f^post_15, n^0'=n^post_15, r^0'=r^post_15, s^0'=s^post_15, [ 1+f^0<=0 && c^0==c^post_15 && d^0==d^post_15 && f^0==f^post_15 && n^0==n^post_15 && r^0==r^post_15 && s^0==s^post_15 ], cost: 1
     15: l11 -> l10 : c^0'=c^post_16, d^0'=d^post_16, f^0'=f^post_16, n^0'=n^post_16, r^0'=r^post_16, s^0'=s^post_16, [ f^0<=0 && 0<=f^0 && f^post_16==1 && c^post_16==-1+c^0 && d^0==d^post_16 && n^0==n^post_16 && r^0==r^post_16 && s^0==s^post_16 ], cost: 1
     17: l12 -> l10 : c^0'=c^post_18, d^0'=d^post_18, f^0'=f^post_18, n^0'=n^post_18, r^0'=r^post_18, s^0'=s^post_18, [ 3<=d^0 && c^0==c^post_18 && d^0==d^post_18 && f^0==f^post_18 && n^0==n^post_18 && r^0==r^post_18 && s^0==s^post_18 ], cost: 1
     18: l12 -> l10 : c^0'=c^post_19, d^0'=d^post_19, f^0'=f^post_19, n^0'=n^post_19, r^0'=r^post_19, s^0'=s^post_19, [ 1+d^0<=2 && c^0==c^post_19 && d^0==d^post_19 && f^0==f^post_19 && n^0==n^post_19 && r^0==r^post_19 && s^0==s^post_19 ], cost: 1
     19: l12 -> l11 : c^0'=c^post_20, d^0'=d^post_20, f^0'=f^post_20, n^0'=n^post_20, r^0'=r^post_20, s^0'=s^post_20, [ d^0<=2 && 2<=d^0 && c^0==c^post_20 && d^0==d^post_20 && f^0==f^post_20 && n^0==n^post_20 && r^0==r^post_20 && s^0==s^post_20 ], cost: 1
     22: l13 -> l9 : c^0'=c^post_23, d^0'=d^post_23, f^0'=f^post_23, n^0'=n^post_23, r^0'=r^post_23, s^0'=s^post_23, [ s^0<=255 && c^0==c^post_23 && d^0==d^post_23 && f^0==f^post_23 && n^0==n^post_23 && r^0==r^post_23 && s^0==s^post_23 ], cost: 1
     24: l14 -> l13 : c^0'=c^post_25, d^0'=d^post_25, f^0'=f^post_25, n^0'=n^post_25, r^0'=r^post_25, s^0'=s^post_25, [ d^post_25==2 && s^post_25==s^0+c^0 && c^0==c^post_25 && f^0==f^post_25 && n^0==n^post_25 && r^0==r^post_25 ], cost: 1
     25: l15 -> l14 : c^0'=c^post_26, d^0'=d^post_26, f^0'=f^post_26, n^0'=n^post_26, r^0'=r^post_26, s^0'=s^post_26, [ 1<=f^0 && c^0==c^post_26 && d^0==d^post_26 && f^0==f^post_26 && n^0==n^post_26 && r^0==r^post_26 && s^0==s^post_26 ], cost: 1
     26: l15 -> l14 : c^0'=c^post_27, d^0'=d^post_27, f^0'=f^post_27, n^0'=n^post_27, r^0'=r^post_27, s^0'=s^post_27, [ 1+f^0<=0 && c^0==c^post_27 && d^0==d^post_27 && f^0==f^post_27 && n^0==n^post_27 && r^0==r^post_27 && s^0==s^post_27 ], cost: 1
     27: l15 -> l14 : c^0'=c^post_28, d^0'=d^post_28, f^0'=f^post_28, n^0'=n^post_28, r^0'=r^post_28, s^0'=s^post_28, [ f^0<=0 && 0<=f^0 && f^post_28==1 && c^post_28==-1+c^0 && d^0==d^post_28 && n^0==n^post_28 && r^0==r^post_28 && s^0==s^post_28 ], cost: 1
     31: l16 -> l9 : c^0'=c^post_32, d^0'=d^post_32, f^0'=f^post_32, n^0'=n^post_32, r^0'=r^post_32, s^0'=s^post_32, [ c^post_32==4 && f^post_32==0 && d^post_32==0 && n^0==n^post_32 && r^0==r^post_32 && s^0==s^post_32 ], cost: 1
     32: l17 -> l16 : c^0'=c^post_33, d^0'=d^post_33, f^0'=f^post_33, n^0'=n^post_33, r^0'=r^post_33, s^0'=s^post_33, [ c^0==c^post_33 && d^0==d^post_33 && f^0==f^post_33 && n^0==n^post_33 && r^0==r^post_33 && s^0==s^post_33 ], cost: 1

Simplified all rules, resulting in:
   Start location: l17
      0: l0 -> l1 : [ n^0<=r^0 ], cost: 1
      1: l0 -> l2 : [ 1+r^0<=n^0 ], cost: 1
     21: l1 -> l12 : [ 1+n^0<=r^0 ], cost: 1
     28: l2 -> l14 : [ 2<=d^0 ], cost: 1
     29: l2 -> l14 : [ 1+d^0<=1 ], cost: 1
     30: l2 -> l15 : [ -1+d^0==0 ], cost: 1
      2: l3 -> l0 : c^0'=-1+c^0, [], cost: 1
      3: l4 -> l0 : [ f^0==0 ], cost: 1
      4: l4 -> l3 : [ 1<=f^0 ], cost: 1
      5: l4 -> l3 : [ 1+f^0<=0 ], cost: 1
      6: l5 -> l4 : [ 2<=c^0 ], cost: 1
      7: l5 -> l4 : [ 1+c^0<=1 ], cost: 1
     10: l8 -> l9 : [ 0<=s^0 ], cost: 1
     16: l9 -> l5 : n^0'=n^post_17, [], cost: 1
     12: l10 -> l8 : d^0'=1, s^0'=s^0-c^0, [], cost: 1
     13: l11 -> l10 : [ 1<=f^0 ], cost: 1
     14: l11 -> l10 : [ 1+f^0<=0 ], cost: 1
     15: l11 -> l10 : c^0'=-1+c^0, f^0'=1, [ f^0==0 ], cost: 1
     17: l12 -> l10 : [ 3<=d^0 ], cost: 1
     18: l12 -> l10 : [ 1+d^0<=2 ], cost: 1
     19: l12 -> l11 : [ -2+d^0==0 ], cost: 1
     22: l13 -> l9 : [ s^0<=255 ], cost: 1
     24: l14 -> l13 : d^0'=2, s^0'=s^0+c^0, [], cost: 1
     25: l15 -> l14 : [ 1<=f^0 ], cost: 1
     26: l15 -> l14 : [ 1+f^0<=0 ], cost: 1
     27: l15 -> l14 : c^0'=-1+c^0, f^0'=1, [ f^0==0 ], cost: 1
     31: l16 -> l9 : c^0'=4, d^0'=0, f^0'=0, [], cost: 1
     32: l17 -> l16 : [], cost: 1

### Simplification by acceleration and chaining ###

Eliminated locations (on linear paths):
   Start location: l17
      1: l0 -> l2 : [ 1+r^0<=n^0 ], cost: 1
     34: l0 -> l12 : [ 1+n^0<=r^0 ], cost: 2
     28: l2 -> l14 : [ 2<=d^0 ], cost: 1
     29: l2 -> l14 : [ 1+d^0<=1 ], cost: 1
     30: l2 -> l15 : [ -1+d^0==0 ], cost: 1
      2: l3 -> l0 : c^0'=-1+c^0, [], cost: 1
      3: l4 -> l0 : [ f^0==0 ], cost: 1
      4: l4 -> l3 : [ 1<=f^0 ], cost: 1
      5: l4 -> l3 : [ 1+f^0<=0 ], cost: 1
      6: l5 -> l4 : [ 2<=c^0 ], cost: 1
      7: l5 -> l4 : [ 1+c^0<=1 ], cost: 1
     16: l9 -> l5 : n^0'=n^post_17, [], cost: 1
     36: l10 -> l9 : d^0'=1, s^0'=s^0-c^0, [ 0<=s^0-c^0 ], cost: 2
     13: l11 -> l10 : [ 1<=f^0 ], cost: 1
     14: l11 -> l10 : [ 1+f^0<=0 ], cost: 1
     15: l11 -> l10 : c^0'=-1+c^0, f^0'=1, [ f^0==0 ], cost: 1
     17: l12 -> l10 : [ 3<=d^0 ], cost: 1
     18: l12 -> l10 : [ 1+d^0<=2 ], cost: 1
     19: l12 -> l11 : [ -2+d^0==0 ], cost: 1
     35: l14 -> l9 : d^0'=2, s^0'=s^0+c^0, [ s^0+c^0<=255 ], cost: 2
     25: l15 -> l14 : [ 1<=f^0 ], cost: 1
     26: l15 -> l14 : [ 1+f^0<=0 ], cost: 1
     27: l15 -> l14 : c^0'=-1+c^0, f^0'=1, [ f^0==0 ], cost: 1
     33: l17 -> l9 : c^0'=4, d^0'=0, f^0'=0, [], cost: 2

Eliminated locations (on tree-shaped paths):
   Start location: l17
     41: l0 -> l14 : [ 1+r^0<=n^0 && 2<=d^0 ], cost: 2
     42: l0 -> l14 : [ 1+r^0<=n^0 && 1+d^0<=1 ], cost: 2
     43: l0 -> l15 : [ 1+r^0<=n^0 && -1+d^0==0 ], cost: 2
     44: l0 -> l10 : [ 1+n^0<=r^0 && 3<=d^0 ], cost: 3
     45: l0 -> l10 : [ 1+n^0<=r^0 && 1+d^0<=2 ], cost: 3
     46: l0 -> l11 : [ 1+n^0<=r^0 && -2+d^0==0 ], cost: 3
      3: l4 -> l0 : [ f^0==0 ], cost: 1
     39: l4 -> l0 : c^0'=-1+c^0, [ 1<=f^0 ], cost: 2
     40: l4 -> l0 : c^0'=-1+c^0, [ 1+f^0<=0 ], cost: 2
     37: l9 -> l4 : n^0'=n^post_17, [ 2<=c^0 ], cost: 2
     38: l9 -> l4 : n^0'=n^post_17, [ 1+c^0<=1 ], cost: 2
     36: l10 -> l9 : d^0'=1, s^0'=s^0-c^0, [ 0<=s^0-c^0 ], cost: 2
     13: l11 -> l10 : [ 1<=f^0 ], cost: 1
     14: l11 -> l10 : [ 1+f^0<=0 ], cost: 1
     15: l11 -> l10 : c^0'=-1+c^0, f^0'=1, [ f^0==0 ], cost: 1
     35: l14 -> l9 : d^0'=2, s^0'=s^0+c^0, [ s^0+c^0<=255 ], cost: 2
     25: l15 -> l14 : [ 1<=f^0 ], cost: 1
     26: l15 -> l14 : [ 1+f^0<=0 ], cost: 1
     27: l15 -> l14 : c^0'=-1+c^0, f^0'=1, [ f^0==0 ], cost: 1
     33: l17 -> l9 : c^0'=4, d^0'=0, f^0'=0, [], cost: 2

Eliminated locations (on tree-shaped paths):
   Start location: l17
     41: l0 -> l14 : [ 1+r^0<=n^0 && 2<=d^0 ], cost: 2
     42: l0 -> l14 : [ 1+r^0<=n^0 && 1+d^0<=1 ], cost: 2
     44: l0 -> l10 : [ 1+n^0<=r^0 && 3<=d^0 ], cost: 3
     45: l0 -> l10 : [ 1+n^0<=r^0 && 1+d^0<=2 ], cost: 3
     53: l0 -> l10 : [ 1+n^0<=r^0 && -2+d^0==0 && 1<=f^0 ], cost: 4
     54: l0 -> l10 : [ 1+n^0<=r^0 && -2+d^0==0 && 1+f^0<=0 ], cost: 4
     55: l0 -> l10 : c^0'=-1+c^0, f^0'=1, [ 1+n^0<=r^0 && -2+d^0==0 && f^0==0 ], cost: 4
     56: l0 -> l14 : [ 1+r^0<=n^0 && -1+d^0==0 && 1<=f^0 ], cost: 3
     57: l0 -> l14 : [ 1+r^0<=n^0 && -1+d^0==0 && 1+f^0<=0 ], cost: 3
     58: l0 -> l14 : c^0'=-1+c^0, f^0'=1, [ 1+r^0<=n^0 && -1+d^0==0 && f^0==0 ], cost: 3
     47: l9 -> l0 : n^0'=n^post_17, [ 2<=c^0 && f^0==0 ], cost: 3
     48: l9 -> l0 : c^0'=-1+c^0, n^0'=n^post_17, [ 2<=c^0 && 1<=f^0 ], cost: 4
     49: l9 -> l0 : c^0'=-1+c^0, n^0'=n^post_17, [ 2<=c^0 && 1+f^0<=0 ], cost: 4
     50: l9 -> l0 : n^0'=n^post_17, [ 1+c^0<=1 && f^0==0 ], cost: 3
     51: l9 -> l0 : c^0'=-1+c^0, n^0'=n^post_17, [ 1+c^0<=1 && 1<=f^0 ], cost: 4
     52: l9 -> l0 : c^0'=-1+c^0, n^0'=n^post_17, [ 1+c^0<=1 && 1+f^0<=0 ], cost: 4
     36: l10 -> l9 : d^0'=1, s^0'=s^0-c^0, [ 0<=s^0-c^0 ], cost: 2
     35: l14 -> l9 : d^0'=2, s^0'=s^0+c^0, [ s^0+c^0<=255 ], cost: 2
     33: l17 -> l9 : c^0'=4, d^0'=0, f^0'=0, [], cost: 2

Eliminated locations (on tree-shaped paths):
   Start location: l17
     59: l9 -> l14 : n^0'=n^post_17, [ 2<=c^0 && f^0==0 && 1+r^0<=n^post_17 && 2<=d^0 ], cost: 5
     60: l9 -> l14 : n^0'=n^post_17, [ 2<=c^0 && f^0==0 && 1+r^0<=n^post_17 && 1+d^0<=1 ], cost: 5
     61: l9 -> l10 : n^0'=n^post_17, [ 2<=c^0 && f^0==0 && 1+n^post_17<=r^0 && 3<=d^0 ], cost: 6
     62: l9 -> l10 : n^0'=n^post_17, [ 2<=c^0 && f^0==0 && 1+n^post_17<=r^0 && 1+d^0<=2 ], cost: 6
     63: l9 -> l10 : c^0'=-1+c^0, f^0'=1, n^0'=n^post_17, [ 2<=c^0 && f^0==0 && 1+n^post_17<=r^0 && -2+d^0==0 ], cost: 7
     64: l9 -> l14 : c^0'=-1+c^0, f^0'=1, n^0'=n^post_17, [ 2<=c^0 && f^0==0 && 1+r^0<=n^post_17 && -1+d^0==0 ], cost: 6
     65: l9 -> l14 : c^0'=-1+c^0, n^0'=n^post_17, [ 2<=c^0 && 1<=f^0 && 1+r^0<=n^post_17 && 2<=d^0 ], cost: 6
     66: l9 -> l14 : c^0'=-1+c^0, n^0'=n^post_17, [ 2<=c^0 && 1<=f^0 && 1+r^0<=n^post_17 && 1+d^0<=1 ], cost: 6
     67: l9 -> l10 : c^0'=-1+c^0, n^0'=n^post_17, [ 2<=c^0 && 1<=f^0 && 1+n^post_17<=r^0 && 3<=d^0 ], cost: 7
     68: l9 -> l10 : c^0'=-1+c^0, n^0'=n^post_17, [ 2<=c^0 && 1<=f^0 && 1+n^post_17<=r^0 && 1+d^0<=2 ], cost: 7
     69: l9 -> l10 : c^0'=-1+c^0, n^0'=n^post_17, [ 2<=c^0 && 1<=f^0 && 1+n^post_17<=r^0 && -2+d^0==0 ], cost: 8
     70: l9 -> l14 : c^0'=-1+c^0, n^0'=n^post_17, [ 2<=c^0 && 1<=f^0 && 1+r^0<=n^post_17 && -1+d^0==0 ], cost: 7
     71: l9 -> l14 : c^0'=-1+c^0, n^0'=n^post_17, [ 2<=c^0 && 1+f^0<=0 && 1+r^0<=n^post_17 && 2<=d^0 ], cost: 6
     72: l9 -> l14 : c^0'=-1+c^0, n^0'=n^post_17, [ 2<=c^0 && 1+f^0<=0 && 1+r^0<=n^post_17 && 1+d^0<=1 ], cost: 6
     73: l9 -> l10 : c^0'=-1+c^0, n^0'=n^post_17, [ 2<=c^0 && 1+f^0<=0 && 1+n^post_17<=r^0 && 3<=d^0 ], cost: 7
     74: l9 -> l10 : c^0'=-1+c^0, n^0'=n^post_17, [ 2<=c^0 && 1+f^0<=0 && 1+n^post_17<=r^0 && 1+d^0<=2 ], cost: 7
     75: l9 -> l10 : c^0'=-1+c^0, n^0'=n^post_17, [ 2<=c^0 && 1+f^0<=0 && 1+n^post_17<=r^0 && -2+d^0==0 ], cost: 8
     76: l9 -> l14 : c^0'=-1+c^0, n^0'=n^post_17, [ 2<=c^0 && 1+f^0<=0 && 1+r^0<=n^post_17 && -1+d^0==0 ], cost: 7
     77: l9 -> l14 : n^0'=n^post_17, [ 1+c^0<=1 && f^0==0 && 1+r^0<=n^post_17 && 2<=d^0 ], cost: 5
     78: l9 -> l14 : n^0'=n^post_17, [ 1+c^0<=1 && f^0==0 && 1+r^0<=n^post_17 && 1+d^0<=1 ], cost: 5
     79: l9 -> l10 : n^0'=n^post_17, [ 1+c^0<=1 && f^0==0 && 1+n^post_17<=r^0 && 3<=d^0 ], cost: 6
     80: l9 -> l10 : n^0'=n^post_17, [ 1+c^0<=1 && f^0==0 && 1+n^post_17<=r^0 && 1+d^0<=2 ], cost: 6
     81: l9 -> l10 : c^0'=-1+c^0, f^0'=1, n^0'=n^post_17, [ 1+c^0<=1 && f^0==0 && 1+n^post_17<=r^0 && -2+d^0==0 ], cost: 7
     82: l9 -> l14 : c^0'=-1+c^0, f^0'=1, n^0'=n^post_17, [ 1+c^0<=1 && f^0==0 && 1+r^0<=n^post_17 && -1+d^0==0 ], cost: 6
     83: l9 -> l14 : c^0'=-1+c^0, n^0'=n^post_17, [ 1+c^0<=1 && 1<=f^0 && 1+r^0<=n^post_17 && 2<=d^0 ], cost: 6
     84: l9 -> l14 : c^0'=-1+c^0, n^0'=n^post_17, [ 1+c^0<=1 && 1<=f^0 && 1+r^0<=n^post_17 && 1+d^0<=1 ], cost: 6
     85: l9 -> l10 : c^0'=-1+c^0, n^0'=n^post_17, [ 1+c^0<=1 && 1<=f^0 && 1+n^post_17<=r^0 && 3<=d^0 ], cost: 7
     86: l9 -> l10 : c^0'=-1+c^0, n^0'=n^post_17, [ 1+c^0<=1 && 1<=f^0 && 1+n^post_17<=r^0 && 1+d^0<=2 ], cost: 7
     87: l9 -> l10 : c^0'=-1+c^0, n^0'=n^post_17, [ 1+c^0<=1 && 1<=f^0 && 1+n^post_17<=r^0 && -2+d^0==0 ], cost: 8
     88: l9 -> l14 : c^0'=-1+c^0, n^0'=n^post_17, [ 1+c^0<=1 && 1<=f^0 && 1+r^0<=n^post_17 && -1+d^0==0 ], cost: 7
     89: l9 -> l14 : c^0'=-1+c^0, n^0'=n^post_17, [ 1+c^0<=1 && 1+f^0<=0 && 1+r^0<=n^post_17 && 2<=d^0 ], cost: 6
     90: l9 -> l14 : c^0'=-1+c^0, n^0'=n^post_17, [ 1+c^0<=1 && 1+f^0<=0 && 1+r^0<=n^post_17 && 1+d^0<=1 ], cost: 6
     91: l9 -> l10 : c^0'=-1+c^0, n^0'=n^post_17, [ 1+c^0<=1 && 1+f^0<=0 && 1+n^post_17<=r^0 && 3<=d^0 ], cost: 7
     92: l9 -> l10 : c^0'=-1+c^0, n^0'=n^post_17, [ 1+c^0<=1 && 1+f^0<=0 && 1+n^post_17<=r^0 && 1+d^0<=2 ], cost: 7
     93: l9 -> l10 : c^0'=-1+c^0, n^0'=n^post_17, [ 1+c^0<=1 && 1+f^0<=0 && 1+n^post_17<=r^0 && -2+d^0==0 ], cost: 8
     94: l9 -> l14 : c^0'=-1+c^0, n^0'=n^post_17, [ 1+c^0<=1 && 1+f^0<=0 && 1+r^0<=n^post_17 && -1+d^0==0 ], cost: 7
     36: l10 -> l9 : d^0'=1, s^0'=s^0-c^0, [ 0<=s^0-c^0 ], cost: 2
     35: l14 -> l9 : d^0'=2, s^0'=s^0+c^0, [ s^0+c^0<=255 ], cost: 2
     33: l17 -> l9 : c^0'=4, d^0'=0, f^0'=0, [], cost: 2

Eliminated locations (on tree-shaped paths):
   Start location: l17
     95: l9 -> l9 : d^0'=1, n^0'=n^post_17, s^0'=s^0-c^0, [ 2<=c^0 && f^0==0 && 1+n^post_17<=r^0 && 3<=d^0 && 0<=s^0-c^0 ], cost: 8
     96: l9 -> l9 : d^0'=1, n^0'=n^post_17, s^0'=s^0-c^0, [ 2<=c^0 && f^0==0 && 1+n^post_17<=r^0 && 1+d^0<=2 && 0<=s^0-c^0 ], cost: 8
     97: l9 -> l9 : c^0'=-1+c^0, d^0'=1, f^0'=1, n^0'=n^post_17, s^0'=1+s^0-c^0, [ 2<=c^0 && f^0==0 && 1+n^post_17<=r^0 && -2+d^0==0 && 0<=1+s^0-c^0 ], cost: 9
     98: l9 -> l9 : c^0'=-1+c^0, d^0'=1, n^0'=n^post_17, s^0'=1+s^0-c^0, [ 2<=c^0 && 1<=f^0 && 1+n^post_17<=r^0 && 3<=d^0 && 0<=1+s^0-c^0 ], cost: 9
     99: l9 -> l9 : c^0'=-1+c^0, d^0'=1, n^0'=n^post_17, s^0'=1+s^0-c^0, [ 2<=c^0 && 1<=f^0 && 1+n^post_17<=r^0 && 1+d^0<=2 && 0<=1+s^0-c^0 ], cost: 9
    100: l9 -> l9 : c^0'=-1+c^0, d^0'=1, n^0'=n^post_17, s^0'=1+s^0-c^0, [ 2<=c^0 && 1<=f^0 && 1+n^post_17<=r^0 && -2+d^0==0 && 0<=1+s^0-c^0 ], cost: 10
    101: l9 -> l9 : c^0'=-1+c^0, d^0'=1, n^0'=n^post_17, s^0'=1+s^0-c^0, [ 2<=c^0 && 1+f^0<=0 && 1+n^post_17<=r^0 && 3<=d^0 && 0<=1+s^0-c^0 ], cost: 9
    102: l9 -> l9 : c^0'=-1+c^0, d^0'=1, n^0'=n^post_17, s^0'=1+s^0-c^0, [ 2<=c^0 && 1+f^0<=0 && 1+n^post_17<=r^0 && 1+d^0<=2 && 0<=1+s^0-c^0 ], cost: 9
    103: l9 -> l9 : c^0'=-1+c^0, d^0'=1, n^0'=n^post_17, s^0'=1+s^0-c^0, [ 2<=c^0 && 1+f^0<=0 && 1+n^post_17<=r^0 && -2+d^0==0 && 0<=1+s^0-c^0 ], cost: 10
    104: l9 -> l9 : d^0'=1, n^0'=n^post_17, s^0'=s^0-c^0, [ 1+c^0<=1 && f^0==0 && 1+n^post_17<=r^0 && 3<=d^0 && 0<=s^0-c^0 ], cost: 8
    105: l9 -> l9 : d^0'=1, n^0'=n^post_17, s^0'=s^0-c^0, [ 1+c^0<=1 && f^0==0 && 1+n^post_17<=r^0 && 1+d^0<=2 && 0<=s^0-c^0 ], cost: 8
    106: l9 -> l9 : c^0'=-1+c^0, d^0'=1, f^0'=1, n^0'=n^post_17, s^0'=1+s^0-c^0, [ 1+c^0<=1 && f^0==0 && 1+n^post_17<=r^0 && -2+d^0==0 && 0<=1+s^0-c^0 ], cost: 9
    107: l9 -> l9 : c^0'=-1+c^0, d^0'=1, n^0'=n^post_17, s^0'=1+s^0-c^0, [ 1+c^0<=1 && 1<=f^0 && 1+n^post_17<=r^0 && 3<=d^0 && 0<=1+s^0-c^0 ], cost: 9
    108: l9 -> l9 : c^0'=-1+c^0, d^0'=1, n^0'=n^post_17, s^0'=1+s^0-c^0, [ 1+c^0<=1 && 1<=f^0 && 1+n^post_17<=r^0 && 1+d^0<=2 && 0<=1+s^0-c^0 ], cost: 9
    109: l9 -> l9 : c^0'=-1+c^0, d^0'=1, n^0'=n^post_17, s^0'=1+s^0-c^0, [ 1+c^0<=1 && 1<=f^0 && 1+n^post_17<=r^0 && -2+d^0==0 && 0<=1+s^0-c^0 ], cost: 10
    110: l9 -> l9 : c^0'=-1+c^0, d^0'=1, n^0'=n^post_17, s^0'=1+s^0-c^0, [ 1+c^0<=1 && 1+f^0<=0 && 1+n^post_17<=r^0 && 3<=d^0 && 0<=1+s^0-c^0 ], cost: 9
    111: l9 -> l9 : c^0'=-1+c^0, d^0'=1, n^0'=n^post_17, s^0'=1+s^0-c^0, [ 1+c^0<=1 && 1+f^0<=0 && 1+n^post_17<=r^0 && 1+d^0<=2 && 0<=1+s^0-c^0 ], cost: 9
    112: l9 -> l9 : c^0'=-1+c^0, d^0'=1, n^0'=n^post_17, s^0'=1+s^0-c^0, [ 1+c^0<=1 && 1+f^0<=0 && 1+n^post_17<=r^0 && -2+d^0==0 && 0<=1+s^0-c^0 ], cost: 10
    113: l9 -> l9 : d^0'=2, n^0'=n^post_17, s^0'=s^0+c^0, [ 2<=c^0 && f^0==0 && 1+r^0<=n^post_17 && 2<=d^0 && s^0+c^0<=255 ], cost: 7
    114: l9 -> l9 : d^0'=2, n^0'=n^post_17, s^0'=s^0+c^0, [ 2<=c^0 && f^0==0 && 1+r^0<=n^post_17 && 1+d^0<=1 && s^0+c^0<=255 ], cost: 7
    115: l9 -> l9 : c^0'=-1+c^0, d^0'=2, f^0'=1, n^0'=n^post_17, s^0'=-1+s^0+c^0, [ 2<=c^0 && f^0==0 && 1+r^0<=n^post_17 && -1+d^0==0 && -1+s^0+c^0<=255 ], cost: 8
    116: l9 -> l9 : c^0'=-1+c^0, d^0'=2, n^0'=n^post_17, s^0'=-1+s^0+c^0, [ 2<=c^0 && 1<=f^0 && 1+r^0<=n^post_17 && 2<=d^0 && -1+s^0+c^0<=255 ], cost: 8
    117: l9 -> l9 : c^0'=-1+c^0, d^0'=2, n^0'=n^post_17, s^0'=-1+s^0+c^0, [ 2<=c^0 && 1<=f^0 && 1+r^0<=n^post_17 && 1+d^0<=1 && -1+s^0+c^0<=255 ], cost: 8
    118: l9 -> l9 : c^0'=-1+c^0, d^0'=2, n^0'=n^post_17, s^0'=-1+s^0+c^0, [ 2<=c^0 && 1<=f^0 && 1+r^0<=n^post_17 && -1+d^0==0 && -1+s^0+c^0<=255 ], cost: 9
    119: l9 -> l9 : c^0'=-1+c^0, d^0'=2, n^0'=n^post_17, s^0'=-1+s^0+c^0, [ 2<=c^0 && 1+f^0<=0 && 1+r^0<=n^post_17 && 2<=d^0 && -1+s^0+c^0<=255 ], cost: 8
    120: l9 -> l9 : c^0'=-1+c^0, d^0'=2, n^0'=n^post_17, s^0'=-1+s^0+c^0, [ 2<=c^0 && 1+f^0<=0 && 1+r^0<=n^post_17 && 1+d^0<=1 && -1+s^0+c^0<=255 ], cost: 8
    121: l9 -> l9 : c^0'=-1+c^0, d^0'=2, n^0'=n^post_17, s^0'=-1+s^0+c^0, [ 2<=c^0 && 1+f^0<=0 && 1+r^0<=n^post_17 && -1+d^0==0 && -1+s^0+c^0<=255 ], cost: 9
    122: l9 -> l9 : d^0'=2, n^0'=n^post_17, s^0'=s^0+c^0, [ 1+c^0<=1 && f^0==0 && 1+r^0<=n^post_17 && 2<=d^0 && s^0+c^0<=255 ], cost: 7
    123: l9 -> l9 : d^0'=2, n^0'=n^post_17, s^0'=s^0+c^0, [ 1+c^0<=1 && f^0==0 && 1+r^0<=n^post_17 && 1+d^0<=1 && s^0+c^0<=255 ], cost: 7
    124: l9 -> l9 : c^0'=-1+c^0, d^0'=2, f^0'=1, n^0'=n^post_17, s^0'=-1+s^0+c^0, [ 1+c^0<=1 && f^0==0 && 1+r^0<=n^post_17 && -1+d^0==0 && -1+s^0+c^0<=255 ], cost: 8
    125: l9 -> l9 : c^0'=-1+c^0, d^0'=2, n^0'=n^post_17, s^0'=-1+s^0+c^0, [ 1+c^0<=1 && 1<=f^0 && 1+r^0<=n^post_17 && 2<=d^0 && -1+s^0+c^0<=255 ], cost: 8
    126: l9 -> l9 : c^0'=-1+c^0, d^0'=2, n^0'=n^post_17, s^0'=-1+s^0+c^0, [ 1+c^0<=1 && 1<=f^0 && 1+r^0<=n^post_17 && 1+d^0<=1 && -1+s^0+c^0<=255 ], cost: 8
    127: l9 -> l9 : c^0'=-1+c^0, d^0'=2, n^0'=n^post_17, s^0'=-1+s^0+c^0, [ 1+c^0<=1 && 1<=f^0 && 1+r^0<=n^post_17 && -1+d^0==0 && -1+s^0+c^0<=255 ], cost: 9
    128: l9 -> l9 : c^0'=-1+c^0, d^0'=2, n^0'=n^post_17, s^0'=-1+s^0+c^0, [ 1+c^0<=1 && 1+f^0<=0 && 1+r^0<=n^post_17 && 2<=d^0 && -1+s^0+c^0<=255 ], cost: 8
    129: l9 -> l9 : c^0'=-1+c^0, d^0'=2, n^0'=n^post_17, s^0'=-1+s^0+c^0, [ 1+c^0<=1 && 1+f^0<=0 && 1+r^0<=n^post_17 && 1+d^0<=1 && -1+s^0+c^0<=255 ], cost: 8
    130: l9 -> l9 : c^0'=-1+c^0, d^0'=2, n^0'=n^post_17, s^0'=-1+s^0+c^0, [ 1+c^0<=1 && 1+f^0<=0 && 1+r^0<=n^post_17 && -1+d^0==0 && -1+s^0+c^0<=255 ], cost: 9
     33: l17 -> l9 : c^0'=4, d^0'=0, f^0'=0, [], cost: 2

Accelerating simple loops of location 9.
   Accelerating the following rules:
     95: l9 -> l9 : d^0'=1, n^0'=n^post_17, s^0'=s^0-c^0, [ 2<=c^0 && f^0==0 && 1+n^post_17<=r^0 && 3<=d^0 && 0<=s^0-c^0 ], cost: 8
     96: l9 -> l9 : d^0'=1, n^0'=n^post_17, s^0'=s^0-c^0, [ 2<=c^0 && f^0==0 && 1+n^post_17<=r^0 && 1+d^0<=2 && 0<=s^0-c^0 ], cost: 8
     97: l9 -> l9 : c^0'=-1+c^0, d^0'=1, f^0'=1, n^0'=n^post_17, s^0'=1+s^0-c^0, [ 2<=c^0 && f^0==0 && 1+n^post_17<=r^0 && -2+d^0==0 && 0<=1+s^0-c^0 ], cost: 9
     98: l9 -> l9 : c^0'=-1+c^0, d^0'=1, n^0'=n^post_17, s^0'=1+s^0-c^0, [ 2<=c^0 && 1<=f^0 && 1+n^post_17<=r^0 && 3<=d^0 && 0<=1+s^0-c^0 ], cost: 9
     99: l9 -> l9 : c^0'=-1+c^0, d^0'=1, n^0'=n^post_17, s^0'=1+s^0-c^0, [ 2<=c^0 && 1<=f^0 && 1+n^post_17<=r^0 && 1+d^0<=2 && 0<=1+s^0-c^0 ], cost: 9
    100: l9 -> l9 : c^0'=-1+c^0, d^0'=1, n^0'=n^post_17, s^0'=1+s^0-c^0, [ 2<=c^0 && 1<=f^0 && 1+n^post_17<=r^0 && -2+d^0==0 && 0<=1+s^0-c^0 ], cost: 10
    101: l9 -> l9 : c^0'=-1+c^0, d^0'=1, n^0'=n^post_17, s^0'=1+s^0-c^0, [ 2<=c^0 && 1+f^0<=0 && 1+n^post_17<=r^0 && 3<=d^0 && 0<=1+s^0-c^0 ], cost: 9
    102: l9 -> l9 : c^0'=-1+c^0, d^0'=1, n^0'=n^post_17, s^0'=1+s^0-c^0, [ 2<=c^0 && 1+f^0<=0 && 1+n^post_17<=r^0 && 1+d^0<=2 && 0<=1+s^0-c^0 ], cost: 9
    103: l9 -> l9 : c^0'=-1+c^0, d^0'=1, n^0'=n^post_17, s^0'=1+s^0-c^0, [ 2<=c^0 && 1+f^0<=0 && 1+n^post_17<=r^0 && -2+d^0==0 && 0<=1+s^0-c^0 ], cost: 10
    104: l9 -> l9 : d^0'=1, n^0'=n^post_17, s^0'=s^0-c^0, [ 1+c^0<=1 && f^0==0 && 1+n^post_17<=r^0 && 3<=d^0 && 0<=s^0-c^0 ], cost: 8
    105: l9 -> l9 : d^0'=1, n^0'=n^post_17, s^0'=s^0-c^0, [ 1+c^0<=1 && f^0==0 && 1+n^post_17<=r^0 && 1+d^0<=2 && 0<=s^0-c^0 ], cost: 8
    106: l9 -> l9 : c^0'=-1+c^0, d^0'=1, f^0'=1, n^0'=n^post_17, s^0'=1+s^0-c^0, [ 1+c^0<=1 && f^0==0 && 1+n^post_17<=r^0 && -2+d^0==0 && 0<=1+s^0-c^0 ], cost: 9
    107: l9 -> l9 : c^0'=-1+c^0, d^0'=1, n^0'=n^post_17, s^0'=1+s^0-c^0, [ 1+c^0<=1 && 1<=f^0 && 1+n^post_17<=r^0 && 3<=d^0 && 0<=1+s^0-c^0 ], cost: 9
    108: l9 -> l9 : c^0'=-1+c^0, d^0'=1, n^0'=n^post_17, s^0'=1+s^0-c^0, [ 1+c^0<=1 && 1<=f^0 && 1+n^post_17<=r^0 && 1+d^0<=2 && 0<=1+s^0-c^0 ], cost: 9
    109: l9 -> l9 : c^0'=-1+c^0, d^0'=1, n^0'=n^post_17, s^0'=1+s^0-c^0, [ 1+c^0<=1 && 1<=f^0 && 1+n^post_17<=r^0 && -2+d^0==0 && 0<=1+s^0-c^0 ], cost: 10
    110: l9 -> l9 : c^0'=-1+c^0, d^0'=1, n^0'=n^post_17, s^0'=1+s^0-c^0, [ 1+c^0<=1 && 1+f^0<=0 && 1+n^post_17<=r^0 && 3<=d^0 && 0<=1+s^0-c^0 ], cost: 9
    111: l9 -> l9 : c^0'=-1+c^0, d^0'=1, n^0'=n^post_17, s^0'=1+s^0-c^0, [ 1+c^0<=1 && 1+f^0<=0 && 1+n^post_17<=r^0 && 1+d^0<=2 && 0<=1+s^0-c^0 ], cost: 9
    112: l9 -> l9 : c^0'=-1+c^0, d^0'=1, n^0'=n^post_17, s^0'=1+s^0-c^0, [ 1+c^0<=1 && 1+f^0<=0 && 1+n^post_17<=r^0 && -2+d^0==0 && 0<=1+s^0-c^0 ], cost: 10
    113: l9 -> l9 : d^0'=2, n^0'=n^post_17, s^0'=s^0+c^0, [ 2<=c^0 && f^0==0 && 1+r^0<=n^post_17 && 2<=d^0 && s^0+c^0<=255 ], cost: 7
    114: l9 -> l9 : d^0'=2, n^0'=n^post_17, s^0'=s^0+c^0, [ 2<=c^0 && f^0==0 && 1+r^0<=n^post_17 && 1+d^0<=1 && s^0+c^0<=255 ], cost: 7
    115: l9 -> l9 : c^0'=-1+c^0, d^0'=2, f^0'=1, n^0'=n^post_17, s^0'=-1+s^0+c^0, [ 2<=c^0 && f^0==0 && 1+r^0<=n^post_17 && -1+d^0==0 && -1+s^0+c^0<=255 ], cost: 8
    116: l9 -> l9 : c^0'=-1+c^0, d^0'=2, n^0'=n^post_17, s^0'=-1+s^0+c^0, [ 2<=c^0 && 1<=f^0 && 1+r^0<=n^post_17 && 2<=d^0 && -1+s^0+c^0<=255 ], cost: 8
    117: l9 -> l9 : c^0'=-1+c^0, d^0'=2, n^0'=n^post_17, s^0'=-1+s^0+c^0, [ 2<=c^0 && 1<=f^0 && 1+r^0<=n^post_17 && 1+d^0<=1 && -1+s^0+c^0<=255 ], cost: 8
    118: l9 -> l9 : c^0'=-1+c^0, d^0'=2, n^0'=n^post_17, s^0'=-1+s^0+c^0, [ 2<=c^0 && 1<=f^0 && 1+r^0<=n^post_17 && -1+d^0==0 && -1+s^0+c^0<=255 ], cost: 9
    119: l9 -> l9 : c^0'=-1+c^0, d^0'=2, n^0'=n^post_17, s^0'=-1+s^0+c^0, [ 2<=c^0 && 1+f^0<=0 && 1+r^0<=n^post_17 && 2<=d^0 && -1+s^0+c^0<=255 ], cost: 8
    120: l9 -> l9 : c^0'=-1+c^0, d^0'=2, n^0'=n^post_17, s^0'=-1+s^0+c^0, [ 2<=c^0 && 1+f^0<=0 && 1+r^0<=n^post_17 && 1+d^0<=1 && -1+s^0+c^0<=255 ], cost: 8
    121: l9 -> l9 : c^0'=-1+c^0, d^0'=2, n^0'=n^post_17, s^0'=-1+s^0+c^0, [ 2<=c^0 && 1+f^0<=0 && 1+r^0<=n^post_17 && -1+d^0==0 && -1+s^0+c^0<=255 ], cost: 9
    122: l9 -> l9 : d^0'=2, n^0'=n^post_17, s^0'=s^0+c^0, [ 1+c^0<=1 && f^0==0 && 1+r^0<=n^post_17 && 2<=d^0 && s^0+c^0<=255 ], cost: 7
    123: l9 -> l9 : d^0'=2, n^0'=n^post_17, s^0'=s^0+c^0, [ 1+c^0<=1 && f^0==0 && 1+r^0<=n^post_17 && 1+d^0<=1 && s^0+c^0<=255 ], cost: 7
    124: l9 -> l9 : c^0'=-1+c^0, d^0'=2, f^0'=1, n^0'=n^post_17, s^0'=-1+s^0+c^0, [ 1+c^0<=1 && f^0==0 && 1+r^0<=n^post_17 && -1+d^0==0 && -1+s^0+c^0<=255 ], cost: 8
    125: l9 -> l9 : c^0'=-1+c^0, d^0'=2, n^0'=n^post_17, s^0'=-1+s^0+c^0, [ 1+c^0<=1 && 1<=f^0 && 1+r^0<=n^post_17 && 2<=d^0 && -1+s^0+c^0<=255 ], cost: 8
    126: l9 -> l9 : c^0'=-1+c^0, d^0'=2, n^0'=n^post_17, s^0'=-1+s^0+c^0, [ 1+c^0<=1 && 1<=f^0 && 1+r^0<=n^post_17 && 1+d^0<=1 && -1+s^0+c^0<=255 ], cost: 8
    127: l9 -> l9 : c^0'=-1+c^0, d^0'=2, n^0'=n^post_17, s^0'=-1+s^0+c^0, [ 1+c^0<=1 && 1<=f^0 && 1+r^0<=n^post_17 && -1+d^0==0 && -1+s^0+c^0<=255 ], cost: 9
    128: l9 -> l9 : c^0'=-1+c^0, d^0'=2, n^0'=n^post_17, s^0'=-1+s^0+c^0, [ 1+c^0<=1 && 1+f^0<=0 && 1+r^0<=n^post_17 && 2<=d^0 && -1+s^0+c^0<=255 ], cost: 8
    129: l9 -> l9 : c^0'=-1+c^0, d^0'=2, n^0'=n^post_17, s^0'=-1+s^0+c^0, [ 1+c^0<=1 && 1+f^0<=0 && 1+r^0<=n^post_17 && 1+d^0<=1 && -1+s^0+c^0<=255 ], cost: 8
    130: l9 -> l9 : c^0'=-1+c^0, d^0'=2, n^0'=n^post_17, s^0'=-1+s^0+c^0, [ 1+c^0<=1 && 1+f^0<=0 && 1+r^0<=n^post_17 && -1+d^0==0 && -1+s^0+c^0<=255 ], cost: 9

   Failed to prove monotonicity of the guard of rule 95.
   Accelerated rule 96 with backward acceleration, yielding the new rule 131.
   Failed to prove monotonicity of the guard of rule 97.
   Failed to prove monotonicity of the guard of rule 98.
   Accelerated rule 99 with backward acceleration, yielding the new rule 132.
   Failed to prove monotonicity of the guard of rule 100.
   Failed to prove monotonicity of the guard of rule 101.
   Accelerated rule 102 with backward acceleration, yielding the new rule 133.
   Failed to prove monotonicity of the guard of rule 103.
   Failed to prove monotonicity of the guard of rule 104.
   Accelerated rule 105 with non-termination, yielding the new rule 134.
   Failed to prove monotonicity of the guard of rule 106.
   Failed to prove monotonicity of the guard of rule 107.
   Accelerated rule 108 with non-termination, yielding the new rule 135.
   Failed to prove monotonicity of the guard of rule 109.
   Failed to prove monotonicity of the guard of rule 110.
   Accelerated rule 111 with non-termination, yielding the new rule 136.
   Failed to prove monotonicity of the guard of rule 112.
   Accelerated rule 113 with backward acceleration, yielding the new rule 137.
   Failed to prove monotonicity of the guard of rule 114.
   Failed to prove monotonicity of the guard of rule 115.
   Accelerated rule 116 with backward acceleration, yielding the new rule 138.
   Failed to prove monotonicity of the guard of rule 117.
   Failed to prove monotonicity of the guard of rule 118.
   Accelerated rule 119 with backward acceleration, yielding the new rule 139.
   Failed to prove monotonicity of the guard of rule 120.
   Failed to prove monotonicity of the guard of rule 121.
   Accelerated rule 122 with non-termination, yielding the new rule 140.
   Failed to prove monotonicity of the guard of rule 123.
   Failed to prove monotonicity of the guard of rule 124.
   Accelerated rule 125 with non-termination, yielding the new rule 141.
   Failed to prove monotonicity of the guard of rule 126.
   Failed to prove monotonicity of the guard of rule 127.
   Accelerated rule 128 with non-termination, yielding the new rule 142.
   Failed to prove monotonicity of the guard of rule 129.
   Failed to prove monotonicity of the guard of rule 130.
[accelerate] Nesting with 30 inner and 30 outer candidates
   Removing the simple loops: 96 99 102 105 108 111 113 116 119 122 125 128.

Accelerated all simple loops using metering functions (where possible):
   Start location: l17
     95: l9 -> l9 : d^0'=1, n^0'=n^post_17, s^0'=s^0-c^0, [ 2<=c^0 && f^0==0 && 1+n^post_17<=r^0 && 3<=d^0 && 0<=s^0-c^0 ], cost: 8
     97: l9 -> l9 : c^0'=-1+c^0, d^0'=1, f^0'=1, n^0'=n^post_17, s^0'=1+s^0-c^0, [ 2<=c^0 && f^0==0 && 1+n^post_17<=r^0 && -2+d^0==0 && 0<=1+s^0-c^0 ], cost: 9
     98: l9 -> l9 : c^0'=-1+c^0, d^0'=1, n^0'=n^post_17, s^0'=1+s^0-c^0, [ 2<=c^0 && 1<=f^0 && 1+n^post_17<=r^0 && 3<=d^0 && 0<=1+s^0-c^0 ], cost: 9
    100: l9 -> l9 : c^0'=-1+c^0, d^0'=1, n^0'=n^post_17, s^0'=1+s^0-c^0, [ 2<=c^0 && 1<=f^0 && 1+n^post_17<=r^0 && -2+d^0==0 && 0<=1+s^0-c^0 ], cost: 10
    101: l9 -> l9 : c^0'=-1+c^0, d^0'=1, n^0'=n^post_17, s^0'=1+s^0-c^0, [ 2<=c^0 && 1+f^0<=0 && 1+n^post_17<=r^0 && 3<=d^0 && 0<=1+s^0-c^0 ], cost: 9
    103: l9 -> l9 : c^0'=-1+c^0, d^0'=1, n^0'=n^post_17, s^0'=1+s^0-c^0, [ 2<=c^0 && 1+f^0<=0 && 1+n^post_17<=r^0 && -2+d^0==0 && 0<=1+s^0-c^0 ], cost: 10
    104: l9 -> l9 : d^0'=1, n^0'=n^post_17, s^0'=s^0-c^0, [ 1+c^0<=1 && f^0==0 && 1+n^post_17<=r^0 && 3<=d^0 && 0<=s^0-c^0 ], cost: 8
    106: l9 -> l9 : c^0'=-1+c^0, d^0'=1, f^0'=1, n^0'=n^post_17, s^0'=1+s^0-c^0, [ 1+c^0<=1 && f^0==0 && 1+n^post_17<=r^0 && -2+d^0==0 && 0<=1+s^0-c^0 ], cost: 9
    107: l9 -> l9 : c^0'=-1+c^0, d^0'=1, n^0'=n^post_17, s^0'=1+s^0-c^0, [ 1+c^0<=1 && 1<=f^0 && 1+n^post_17<=r^0 && 3<=d^0 && 0<=1+s^0-c^0 ], cost: 9
    109: l9 -> l9 : c^0'=-1+c^0, d^0'=1, n^0'=n^post_17, s^0'=1+s^0-c^0, [ 1+c^0<=1 && 1<=f^0 && 1+n^post_17<=r^0 && -2+d^0==0 && 0<=1+s^0-c^0 ], cost: 10
    110: l9 -> l9 : c^0'=-1+c^0, d^0'=1, n^0'=n^post_17, s^0'=1+s^0-c^0, [ 1+c^0<=1 && 1+f^0<=0 && 1+n^post_17<=r^0 && 3<=d^0 && 0<=1+s^0-c^0 ], cost: 9
    112: l9 -> l9 : c^0'=-1+c^0, d^0'=1, n^0'=n^post_17, s^0'=1+s^0-c^0, [ 1+c^0<=1 && 1+f^0<=0 && 1+n^post_17<=r^0 && -2+d^0==0 && 0<=1+s^0-c^0 ], cost: 10
    114: l9 -> l9 : d^0'=2, n^0'=n^post_17, s^0'=s^0+c^0, [ 2<=c^0 && f^0==0 && 1+r^0<=n^post_17 && 1+d^0<=1 && s^0+c^0<=255 ], cost: 7
    115: l9 -> l9 : c^0'=-1+c^0, d^0'=2, f^0'=1, n^0'=n^post_17, s^0'=-1+s^0+c^0, [ 2<=c^0 && f^0==0 && 1+r^0<=n^post_17 && -1+d^0==0 && -1+s^0+c^0<=255 ], cost: 8
    117: l9 -> l9 : c^0'=-1+c^0, d^0'=2, n^0'=n^post_17, s^0'=-1+s^0+c^0, [ 2<=c^0 && 1<=f^0 && 1+r^0<=n^post_17 && 1+d^0<=1 && -1+s^0+c^0<=255 ], cost: 8
    118: l9 -> l9 : c^0'=-1+c^0, d^0'=2, n^0'=n^post_17, s^0'=-1+s^0+c^0, [ 2<=c^0 && 1<=f^0 && 1+r^0<=n^post_17 && -1+d^0==0 && -1+s^0+c^0<=255 ], cost: 9
    120: l9 -> l9 : c^0'=-1+c^0, d^0'=2, n^0'=n^post_17, s^0'=-1+s^0+c^0, [ 2<=c^0 && 1+f^0<=0 && 1+r^0<=n^post_17 && 1+d^0<=1 && -1+s^0+c^0<=255 ], cost: 8
    121: l9 -> l9 : c^0'=-1+c^0, d^0'=2, n^0'=n^post_17, s^0'=-1+s^0+c^0, [ 2<=c^0 && 1+f^0<=0 && 1+r^0<=n^post_17 && -1+d^0==0 && -1+s^0+c^0<=255 ], cost: 9
    123: l9 -> l9 : d^0'=2, n^0'=n^post_17, s^0'=s^0+c^0, [ 1+c^0<=1 && f^0==0 && 1+r^0<=n^post_17 && 1+d^0<=1 && s^0+c^0<=255 ], cost: 7
    124: l9 -> l9 : c^0'=-1+c^0, d^0'=2, f^0'=1, n^0'=n^post_17, s^0'=-1+s^0+c^0, [ 1+c^0<=1 && f^0==0 && 1+r^0<=n^post_17 && -1+d^0==0 && -1+s^0+c^0<=255 ], cost: 8
    126: l9 -> l9 : c^0'=-1+c^0, d^0'=2, n^0'=n^post_17, s^0'=-1+s^0+c^0, [ 1+c^0<=1 && 1<=f^0 && 1+r^0<=n^post_17 && 1+d^0<=1 && -1+s^0+c^0<=255 ], cost: 8
    127: l9 -> l9 : c^0'=-1+c^0, d^0'=2, n^0'=n^post_17, s^0'=-1+s^0+c^0, [ 1+c^0<=1 && 1<=f^0 && 1+r^0<=n^post_17 && -1+d^0==0 && -1+s^0+c^0<=255 ], cost: 9
    129: l9 -> l9 : c^0'=-1+c^0, d^0'=2, n^0'=n^post_17, s^0'=-1+s^0+c^0, [ 1+c^0<=1 && 1+f^0<=0 && 1+r^0<=n^post_17 && 1+d^0<=1 && -1+s^0+c^0<=255 ], cost: 8
    130: l9 -> l9 : c^0'=-1+c^0, d^0'=2, n^0'=n^post_17, s^0'=-1+s^0+c^0, [ 1+c^0<=1 && 1+f^0<=0 && 1+r^0<=n^post_17 && -1+d^0==0 && -1+s^0+c^0<=255 ], cost: 9
    131: l9 -> l9 : d^0'=1, n^0'=n^post_17, s^0'=s^0-k*c^0, [ 2<=c^0 && f^0==0 && 1+n^post_17<=r^0 && 1+d^0<=2 && k>=1 && 0<=s^0-(-1+k)*c^0-c^0 ], cost: 8*k
    132: l9 -> l9 : c^0'=1, d^0'=1, n^0'=n^post_17, s^0'=-1/2+s^0+1/2*(-1+c^0)^2+1/2*c^0-(-1+c^0)*c^0, [ 1<=f^0 && 1+n^post_17<=r^0 && 1+d^0<=2 && -1+c^0>=1 && 0<=-2-(-2+c^0)*c^0+s^0+1/2*(-2+c^0)^2+1/2*c^0 ], cost: -9+9*c^0
    133: l9 -> l9 : c^0'=1, d^0'=1, n^0'=n^post_17, s^0'=-1/2+s^0+1/2*(-1+c^0)^2+1/2*c^0-(-1+c^0)*c^0, [ 1+f^0<=0 && 1+n^post_17<=r^0 && 1+d^0<=2 && -1+c^0>=1 && 0<=-2-(-2+c^0)*c^0+s^0+1/2*(-2+c^0)^2+1/2*c^0 ], cost: -9+9*c^0
    134: l9 -> [18] : [ 1+c^0<=1 && f^0==0 && 1+n^post_17<=r^0 && 1+d^0<=2 && 0<=s^0-c^0 ], cost: NONTERM
    135: l9 -> [18] : [ 1+c^0<=1 && 1<=f^0 && 1+n^post_17<=r^0 && 1+d^0<=2 && 0<=1+s^0-c^0 ], cost: NONTERM
    136: l9 -> [18] : [ 1+c^0<=1 && 1+f^0<=0 && 1+n^post_17<=r^0 && 1+d^0<=2 && 0<=1+s^0-c^0 ], cost: NONTERM
    137: l9 -> l9 : d^0'=2, n^0'=n^post_17, s^0'=k_14*c^0+s^0, [ 2<=c^0 && f^0==0 && 1+r^0<=n^post_17 && 2<=d^0 && k_14>=1 && (-1+k_14)*c^0+s^0+c^0<=255 ], cost: 7*k_14
    138: l9 -> l9 : c^0'=1, d^0'=2, n^0'=n^post_17, s^0'=1/2+s^0-1/2*(-1+c^0)^2-1/2*c^0+(-1+c^0)*c^0, [ 1<=f^0 && 1+r^0<=n^post_17 && 2<=d^0 && -1+c^0>=1 && 2+(-2+c^0)*c^0+s^0-1/2*(-2+c^0)^2-1/2*c^0<=255 ], cost: -8+8*c^0
    139: l9 -> l9 : c^0'=1, d^0'=2, n^0'=n^post_17, s^0'=1/2+s^0-1/2*(-1+c^0)^2-1/2*c^0+(-1+c^0)*c^0, [ 1+f^0<=0 && 1+r^0<=n^post_17 && 2<=d^0 && -1+c^0>=1 && 2+(-2+c^0)*c^0+s^0-1/2*(-2+c^0)^2-1/2*c^0<=255 ], cost: -8+8*c^0
    140: l9 -> [18] : [ 1+c^0<=1 && f^0==0 && 1+r^0<=n^post_17 && 2<=d^0 && s^0+c^0<=255 ], cost: NONTERM
    141: l9 -> [18] : [ 1+c^0<=1 && 1<=f^0 && 1+r^0<=n^post_17 && 2<=d^0 && -1+s^0+c^0<=255 ], cost: NONTERM
    142: l9 -> [18] : [ 1+c^0<=1 && 1+f^0<=0 && 1+r^0<=n^post_17 && 2<=d^0 && -1+s^0+c^0<=255 ], cost: NONTERM
     33: l17 -> l9 : c^0'=4, d^0'=0, f^0'=0, [], cost: 2

Chained accelerated rules (with incoming rules):
   Start location: l17
     33: l17 -> l9 : c^0'=4, d^0'=0, f^0'=0, [], cost: 2
    143: l17 -> l9 : c^0'=4, d^0'=2, f^0'=0, n^0'=n^post_17, s^0'=4+s^0, [ 1+r^0<=n^post_17 && 4+s^0<=255 ], cost: 9
    144: l17 -> l9 : c^0'=4, d^0'=1, f^0'=0, n^0'=n^post_17, s^0'=s^0-4*k, [ 1+n^post_17<=r^0 && k>=1 && 0<=s^0-4*k ], cost: 2+8*k

Removed unreachable locations (and leaf rules with constant cost):
   Start location: l17
    144: l17 -> l9 : c^0'=4, d^0'=1, f^0'=0, n^0'=n^post_17, s^0'=s^0-4*k, [ 1+n^post_17<=r^0 && k>=1 && 0<=s^0-4*k ], cost: 2+8*k

### Computing asymptotic complexity ###

Fully simplified ITS problem
   Start location: l17
    144: l17 -> l9 : c^0'=4, d^0'=1, f^0'=0, n^0'=n^post_17, s^0'=s^0-4*k, [ 1+n^post_17<=r^0 && k>=1 && 0<=s^0-4*k ], cost: 2+8*k

Computing asymptotic complexity for rule 144
   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:  [ c^0==c^post_33 && d^0==d^post_33 && f^0==f^post_33 && n^0==n^post_33 && r^0==r^post_33 && s^0==s^post_33 ]

WORST_CASE(Omega(1),?)