NO

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

Initial linear ITS problem
   Start location: l26
      0: l0 -> l1 : __const_10^0'=__const_10^post_1, __const_20^0'=__const_20^post_1, a8^0'=a8^post_1, flag10^0'=flag10^post_1, flag211^0'=flag211^post_1, i3^0'=i3^post_1, ir4^0'=ir4^post_1, j5^0'=j5^post_1, k1^0'=k1^post_1, l6^0'=l6^post_1, mid7^0'=mid7^post_1, n2^0'=n2^post_1, temp9^0'=temp9^post_1, [ 1+k1^0<=j5^0 && __const_10^0==__const_10^post_1 && __const_20^0==__const_20^post_1 && a8^0==a8^post_1 && flag10^0==flag10^post_1 && flag211^0==flag211^post_1 && i3^0==i3^post_1 && ir4^0==ir4^post_1 && j5^0==j5^post_1 && k1^0==k1^post_1 && l6^0==l6^post_1 && mid7^0==mid7^post_1 && n2^0==n2^post_1 && temp9^0==temp9^post_1 ], cost: 1
      1: l0 -> l1 : __const_10^0'=__const_10^post_2, __const_20^0'=__const_20^post_2, a8^0'=a8^post_2, flag10^0'=flag10^post_2, flag211^0'=flag211^post_2, i3^0'=i3^post_2, ir4^0'=ir4^post_2, j5^0'=j5^post_2, k1^0'=k1^post_2, l6^0'=l6^post_2, mid7^0'=mid7^post_2, n2^0'=n2^post_2, temp9^0'=temp9^post_2, [ j5^0<=k1^0 && l6^post_2==i3^0 && __const_10^0==__const_10^post_2 && __const_20^0==__const_20^post_2 && a8^0==a8^post_2 && flag10^0==flag10^post_2 && flag211^0==flag211^post_2 && i3^0==i3^post_2 && ir4^0==ir4^post_2 && j5^0==j5^post_2 && k1^0==k1^post_2 && mid7^0==mid7^post_2 && n2^0==n2^post_2 && temp9^0==temp9^post_2 ], cost: 1
     10: l1 -> l7 : __const_10^0'=__const_10^post_11, __const_20^0'=__const_20^post_11, a8^0'=a8^post_11, flag10^0'=flag10^post_11, flag211^0'=flag211^post_11, i3^0'=i3^post_11, ir4^0'=ir4^post_11, j5^0'=j5^post_11, k1^0'=k1^post_11, l6^0'=l6^post_11, mid7^0'=mid7^post_11, n2^0'=n2^post_11, temp9^0'=temp9^post_11, [ __const_10^0==__const_10^post_11 && __const_20^0==__const_20^post_11 && a8^0==a8^post_11 && flag10^0==flag10^post_11 && flag211^0==flag211^post_11 && i3^0==i3^post_11 && ir4^0==ir4^post_11 && j5^0==j5^post_11 && k1^0==k1^post_11 && l6^0==l6^post_11 && mid7^0==mid7^post_11 && n2^0==n2^post_11 && temp9^0==temp9^post_11 ], cost: 1
      2: l2 -> l0 : __const_10^0'=__const_10^post_3, __const_20^0'=__const_20^post_3, a8^0'=a8^post_3, flag10^0'=flag10^post_3, flag211^0'=flag211^post_3, i3^0'=i3^post_3, ir4^0'=ir4^post_3, j5^0'=j5^post_3, k1^0'=k1^post_3, l6^0'=l6^post_3, mid7^0'=mid7^post_3, n2^0'=n2^post_3, temp9^0'=temp9^post_3, [ 1+j5^0<=k1^0 && __const_10^0==__const_10^post_3 && __const_20^0==__const_20^post_3 && a8^0==a8^post_3 && flag10^0==flag10^post_3 && flag211^0==flag211^post_3 && i3^0==i3^post_3 && ir4^0==ir4^post_3 && j5^0==j5^post_3 && k1^0==k1^post_3 && l6^0==l6^post_3 && mid7^0==mid7^post_3 && n2^0==n2^post_3 && temp9^0==temp9^post_3 ], cost: 1
      3: l2 -> l0 : __const_10^0'=__const_10^post_4, __const_20^0'=__const_20^post_4, a8^0'=a8^post_4, flag10^0'=flag10^post_4, flag211^0'=flag211^post_4, i3^0'=i3^post_4, ir4^0'=ir4^post_4, j5^0'=j5^post_4, k1^0'=k1^post_4, l6^0'=l6^post_4, mid7^0'=mid7^post_4, n2^0'=n2^post_4, temp9^0'=temp9^post_4, [ k1^0<=j5^0 && ir4^post_4==-1+j5^0 && __const_10^0==__const_10^post_4 && __const_20^0==__const_20^post_4 && a8^0==a8^post_4 && flag10^0==flag10^post_4 && flag211^0==flag211^post_4 && i3^0==i3^post_4 && j5^0==j5^post_4 && k1^0==k1^post_4 && l6^0==l6^post_4 && mid7^0==mid7^post_4 && n2^0==n2^post_4 && temp9^0==temp9^post_4 ], cost: 1
      4: l3 -> l4 : __const_10^0'=__const_10^post_5, __const_20^0'=__const_20^post_5, a8^0'=a8^post_5, flag10^0'=flag10^post_5, flag211^0'=flag211^post_5, i3^0'=i3^post_5, ir4^0'=ir4^post_5, j5^0'=j5^post_5, k1^0'=k1^post_5, l6^0'=l6^post_5, mid7^0'=mid7^post_5, n2^0'=n2^post_5, temp9^0'=temp9^post_5, [ __const_10^0==__const_10^post_5 && __const_20^0==__const_20^post_5 && a8^0==a8^post_5 && flag10^0==flag10^post_5 && flag211^0==flag211^post_5 && i3^0==i3^post_5 && ir4^0==ir4^post_5 && j5^0==j5^post_5 && k1^0==k1^post_5 && l6^0==l6^post_5 && mid7^0==mid7^post_5 && n2^0==n2^post_5 && temp9^0==temp9^post_5 ], cost: 1
     19: l4 -> l13 : __const_10^0'=__const_10^post_20, __const_20^0'=__const_20^post_20, a8^0'=a8^post_20, flag10^0'=flag10^post_20, flag211^0'=flag211^post_20, i3^0'=i3^post_20, ir4^0'=ir4^post_20, j5^0'=j5^post_20, k1^0'=k1^post_20, l6^0'=l6^post_20, mid7^0'=mid7^post_20, n2^0'=n2^post_20, temp9^0'=temp9^post_20, [ __const_10^0==__const_10^post_20 && __const_20^0==__const_20^post_20 && a8^0==a8^post_20 && flag10^0==flag10^post_20 && flag211^0==flag211^post_20 && i3^0==i3^post_20 && ir4^0==ir4^post_20 && j5^0==j5^post_20 && k1^0==k1^post_20 && l6^0==l6^post_20 && mid7^0==mid7^post_20 && n2^0==n2^post_20 && temp9^0==temp9^post_20 ], cost: 1
      5: l5 -> l3 : __const_10^0'=__const_10^post_6, __const_20^0'=__const_20^post_6, a8^0'=a8^post_6, flag10^0'=flag10^post_6, flag211^0'=flag211^post_6, i3^0'=i3^post_6, ir4^0'=ir4^post_6, j5^0'=j5^post_6, k1^0'=k1^post_6, l6^0'=l6^post_6, mid7^0'=mid7^post_6, n2^0'=n2^post_6, temp9^0'=temp9^post_6, [ 1<=flag211^0 && __const_10^0==__const_10^post_6 && __const_20^0==__const_20^post_6 && a8^0==a8^post_6 && flag10^0==flag10^post_6 && flag211^0==flag211^post_6 && i3^0==i3^post_6 && ir4^0==ir4^post_6 && j5^0==j5^post_6 && k1^0==k1^post_6 && l6^0==l6^post_6 && mid7^0==mid7^post_6 && n2^0==n2^post_6 && temp9^0==temp9^post_6 ], cost: 1
      6: l5 -> l3 : __const_10^0'=__const_10^post_7, __const_20^0'=__const_20^post_7, a8^0'=a8^post_7, flag10^0'=flag10^post_7, flag211^0'=flag211^post_7, i3^0'=i3^post_7, ir4^0'=ir4^post_7, j5^0'=j5^post_7, k1^0'=k1^post_7, l6^0'=l6^post_7, mid7^0'=mid7^post_7, n2^0'=n2^post_7, temp9^0'=temp9^post_7, [ 1+flag211^0<=0 && __const_10^0==__const_10^post_7 && __const_20^0==__const_20^post_7 && a8^0==a8^post_7 && flag10^0==flag10^post_7 && flag211^0==flag211^post_7 && i3^0==i3^post_7 && ir4^0==ir4^post_7 && j5^0==j5^post_7 && k1^0==k1^post_7 && l6^0==l6^post_7 && mid7^0==mid7^post_7 && n2^0==n2^post_7 && temp9^0==temp9^post_7 ], cost: 1
      7: l5 -> l3 : __const_10^0'=__const_10^post_8, __const_20^0'=__const_20^post_8, a8^0'=a8^post_8, flag10^0'=flag10^post_8, flag211^0'=flag211^post_8, i3^0'=i3^post_8, ir4^0'=ir4^post_8, j5^0'=j5^post_8, k1^0'=k1^post_8, l6^0'=l6^post_8, mid7^0'=mid7^post_8, n2^0'=n2^post_8, temp9^0'=temp9^post_8, [ flag211^0<=0 && 0<=flag211^0 && temp9^post_8==temp9^post_8 && __const_10^0==__const_10^post_8 && __const_20^0==__const_20^post_8 && a8^0==a8^post_8 && flag10^0==flag10^post_8 && flag211^0==flag211^post_8 && i3^0==i3^post_8 && ir4^0==ir4^post_8 && j5^0==j5^post_8 && k1^0==k1^post_8 && l6^0==l6^post_8 && mid7^0==mid7^post_8 && n2^0==n2^post_8 ], cost: 1
      8: l6 -> l5 : __const_10^0'=__const_10^post_9, __const_20^0'=__const_20^post_9, a8^0'=a8^post_9, flag10^0'=flag10^post_9, flag211^0'=flag211^post_9, i3^0'=i3^post_9, ir4^0'=ir4^post_9, j5^0'=j5^post_9, k1^0'=k1^post_9, l6^0'=l6^post_9, mid7^0'=mid7^post_9, n2^0'=n2^post_9, temp9^0'=temp9^post_9, [ i3^0<=j5^0 && __const_10^0==__const_10^post_9 && __const_20^0==__const_20^post_9 && a8^0==a8^post_9 && flag10^0==flag10^post_9 && flag211^0==flag211^post_9 && i3^0==i3^post_9 && ir4^0==ir4^post_9 && j5^0==j5^post_9 && k1^0==k1^post_9 && l6^0==l6^post_9 && mid7^0==mid7^post_9 && n2^0==n2^post_9 && temp9^0==temp9^post_9 ], cost: 1
      9: l6 -> l5 : __const_10^0'=__const_10^post_10, __const_20^0'=__const_20^post_10, a8^0'=a8^post_10, flag10^0'=flag10^post_10, flag211^0'=flag211^post_10, i3^0'=i3^post_10, ir4^0'=ir4^post_10, j5^0'=j5^post_10, k1^0'=k1^post_10, l6^0'=l6^post_10, mid7^0'=mid7^post_10, n2^0'=n2^post_10, temp9^0'=temp9^post_10, [ 1+j5^0<=i3^0 && flag211^post_10==1 && __const_10^0==__const_10^post_10 && __const_20^0==__const_20^post_10 && a8^0==a8^post_10 && flag10^0==flag10^post_10 && i3^0==i3^post_10 && ir4^0==ir4^post_10 && j5^0==j5^post_10 && k1^0==k1^post_10 && l6^0==l6^post_10 && mid7^0==mid7^post_10 && n2^0==n2^post_10 && temp9^0==temp9^post_10 ], cost: 1
     41: l7 -> l22 : __const_10^0'=__const_10^post_42, __const_20^0'=__const_20^post_42, a8^0'=a8^post_42, flag10^0'=flag10^post_42, flag211^0'=flag211^post_42, i3^0'=i3^post_42, ir4^0'=ir4^post_42, j5^0'=j5^post_42, k1^0'=k1^post_42, l6^0'=l6^post_42, mid7^0'=mid7^post_42, n2^0'=n2^post_42, temp9^0'=temp9^post_42, [ 1<=flag10^0 && __const_10^0==__const_10^post_42 && __const_20^0==__const_20^post_42 && a8^0==a8^post_42 && flag10^0==flag10^post_42 && flag211^0==flag211^post_42 && i3^0==i3^post_42 && ir4^0==ir4^post_42 && j5^0==j5^post_42 && k1^0==k1^post_42 && l6^0==l6^post_42 && mid7^0==mid7^post_42 && n2^0==n2^post_42 && temp9^0==temp9^post_42 ], cost: 1
     42: l7 -> l22 : __const_10^0'=__const_10^post_43, __const_20^0'=__const_20^post_43, a8^0'=a8^post_43, flag10^0'=flag10^post_43, flag211^0'=flag211^post_43, i3^0'=i3^post_43, ir4^0'=ir4^post_43, j5^0'=j5^post_43, k1^0'=k1^post_43, l6^0'=l6^post_43, mid7^0'=mid7^post_43, n2^0'=n2^post_43, temp9^0'=temp9^post_43, [ 1+flag10^0<=0 && __const_10^0==__const_10^post_43 && __const_20^0==__const_20^post_43 && a8^0==a8^post_43 && flag10^0==flag10^post_43 && flag211^0==flag211^post_43 && i3^0==i3^post_43 && ir4^0==ir4^post_43 && j5^0==j5^post_43 && k1^0==k1^post_43 && l6^0==l6^post_43 && mid7^0==mid7^post_43 && n2^0==n2^post_43 && temp9^0==temp9^post_43 ], cost: 1
     43: l7 -> l24 : __const_10^0'=__const_10^post_44, __const_20^0'=__const_20^post_44, a8^0'=a8^post_44, flag10^0'=flag10^post_44, flag211^0'=flag211^post_44, i3^0'=i3^post_44, ir4^0'=ir4^post_44, j5^0'=j5^post_44, k1^0'=k1^post_44, l6^0'=l6^post_44, mid7^0'=mid7^post_44, n2^0'=n2^post_44, temp9^0'=temp9^post_44, [ flag10^0<=0 && 0<=flag10^0 && __const_10^0==__const_10^post_44 && __const_20^0==__const_20^post_44 && a8^0==a8^post_44 && flag10^0==flag10^post_44 && flag211^0==flag211^post_44 && i3^0==i3^post_44 && ir4^0==ir4^post_44 && j5^0==j5^post_44 && k1^0==k1^post_44 && l6^0==l6^post_44 && mid7^0==mid7^post_44 && n2^0==n2^post_44 && temp9^0==temp9^post_44 ], cost: 1
     11: l8 -> l9 : __const_10^0'=__const_10^post_12, __const_20^0'=__const_20^post_12, a8^0'=a8^post_12, flag10^0'=flag10^post_12, flag211^0'=flag211^post_12, i3^0'=i3^post_12, ir4^0'=ir4^post_12, j5^0'=j5^post_12, k1^0'=k1^post_12, l6^0'=l6^post_12, mid7^0'=mid7^post_12, n2^0'=n2^post_12, temp9^0'=temp9^post_12, [ j5^post_12==-1+j5^0 && __const_10^0==__const_10^post_12 && __const_20^0==__const_20^post_12 && a8^0==a8^post_12 && flag10^0==flag10^post_12 && flag211^0==flag211^post_12 && i3^0==i3^post_12 && ir4^0==ir4^post_12 && k1^0==k1^post_12 && l6^0==l6^post_12 && mid7^0==mid7^post_12 && n2^0==n2^post_12 && temp9^0==temp9^post_12 ], cost: 1
     12: l8 -> l6 : __const_10^0'=__const_10^post_13, __const_20^0'=__const_20^post_13, a8^0'=a8^post_13, flag10^0'=flag10^post_13, flag211^0'=flag211^post_13, i3^0'=i3^post_13, ir4^0'=ir4^post_13, j5^0'=j5^post_13, k1^0'=k1^post_13, l6^0'=l6^post_13, mid7^0'=mid7^post_13, n2^0'=n2^post_13, temp9^0'=temp9^post_13, [ __const_10^0==__const_10^post_13 && __const_20^0==__const_20^post_13 && a8^0==a8^post_13 && flag10^0==flag10^post_13 && flag211^0==flag211^post_13 && i3^0==i3^post_13 && ir4^0==ir4^post_13 && j5^0==j5^post_13 && k1^0==k1^post_13 && l6^0==l6^post_13 && mid7^0==mid7^post_13 && n2^0==n2^post_13 && temp9^0==temp9^post_13 ], cost: 1
     31: l9 -> l8 : __const_10^0'=__const_10^post_32, __const_20^0'=__const_20^post_32, a8^0'=a8^post_32, flag10^0'=flag10^post_32, flag211^0'=flag211^post_32, i3^0'=i3^post_32, ir4^0'=ir4^post_32, j5^0'=j5^post_32, k1^0'=k1^post_32, l6^0'=l6^post_32, mid7^0'=mid7^post_32, n2^0'=n2^post_32, temp9^0'=temp9^post_32, [ __const_10^0==__const_10^post_32 && __const_20^0==__const_20^post_32 && a8^0==a8^post_32 && flag10^0==flag10^post_32 && flag211^0==flag211^post_32 && i3^0==i3^post_32 && ir4^0==ir4^post_32 && j5^0==j5^post_32 && k1^0==k1^post_32 && l6^0==l6^post_32 && mid7^0==mid7^post_32 && n2^0==n2^post_32 && temp9^0==temp9^post_32 ], cost: 1
     13: l10 -> l11 : __const_10^0'=__const_10^post_14, __const_20^0'=__const_20^post_14, a8^0'=a8^post_14, flag10^0'=flag10^post_14, flag211^0'=flag211^post_14, i3^0'=i3^post_14, ir4^0'=ir4^post_14, j5^0'=j5^post_14, k1^0'=k1^post_14, l6^0'=l6^post_14, mid7^0'=mid7^post_14, n2^0'=n2^post_14, temp9^0'=temp9^post_14, [ i3^post_14==1+i3^0 && __const_10^0==__const_10^post_14 && __const_20^0==__const_20^post_14 && a8^0==a8^post_14 && flag10^0==flag10^post_14 && flag211^0==flag211^post_14 && ir4^0==ir4^post_14 && j5^0==j5^post_14 && k1^0==k1^post_14 && l6^0==l6^post_14 && mid7^0==mid7^post_14 && n2^0==n2^post_14 && temp9^0==temp9^post_14 ], cost: 1
     14: l10 -> l9 : __const_10^0'=__const_10^post_15, __const_20^0'=__const_20^post_15, a8^0'=a8^post_15, flag10^0'=flag10^post_15, flag211^0'=flag211^post_15, i3^0'=i3^post_15, ir4^0'=ir4^post_15, j5^0'=j5^post_15, k1^0'=k1^post_15, l6^0'=l6^post_15, mid7^0'=mid7^post_15, n2^0'=n2^post_15, temp9^0'=temp9^post_15, [ j5^post_15==-1+j5^0 && __const_10^0==__const_10^post_15 && __const_20^0==__const_20^post_15 && a8^0==a8^post_15 && flag10^0==flag10^post_15 && flag211^0==flag211^post_15 && i3^0==i3^post_15 && ir4^0==ir4^post_15 && k1^0==k1^post_15 && l6^0==l6^post_15 && mid7^0==mid7^post_15 && n2^0==n2^post_15 && temp9^0==temp9^post_15 ], cost: 1
     23: l11 -> l10 : __const_10^0'=__const_10^post_24, __const_20^0'=__const_20^post_24, a8^0'=a8^post_24, flag10^0'=flag10^post_24, flag211^0'=flag211^post_24, i3^0'=i3^post_24, ir4^0'=ir4^post_24, j5^0'=j5^post_24, k1^0'=k1^post_24, l6^0'=l6^post_24, mid7^0'=mid7^post_24, n2^0'=n2^post_24, temp9^0'=temp9^post_24, [ __const_10^0==__const_10^post_24 && __const_20^0==__const_20^post_24 && a8^0==a8^post_24 && flag10^0==flag10^post_24 && flag211^0==flag211^post_24 && i3^0==i3^post_24 && ir4^0==ir4^post_24 && j5^0==j5^post_24 && k1^0==k1^post_24 && l6^0==l6^post_24 && mid7^0==mid7^post_24 && n2^0==n2^post_24 && temp9^0==temp9^post_24 ], cost: 1
     15: l12 -> l2 : __const_10^0'=__const_10^post_16, __const_20^0'=__const_20^post_16, a8^0'=a8^post_16, flag10^0'=flag10^post_16, flag211^0'=flag211^post_16, i3^0'=i3^post_16, ir4^0'=ir4^post_16, j5^0'=j5^post_16, k1^0'=k1^post_16, l6^0'=l6^post_16, mid7^0'=mid7^post_16, n2^0'=n2^post_16, temp9^0'=temp9^post_16, [ __const_10^0==__const_10^post_16 && __const_20^0==__const_20^post_16 && a8^0==a8^post_16 && flag10^0==flag10^post_16 && flag211^0==flag211^post_16 && i3^0==i3^post_16 && ir4^0==ir4^post_16 && j5^0==j5^post_16 && k1^0==k1^post_16 && l6^0==l6^post_16 && mid7^0==mid7^post_16 && n2^0==n2^post_16 && temp9^0==temp9^post_16 ], cost: 1
     16: l13 -> l12 : __const_10^0'=__const_10^post_17, __const_20^0'=__const_20^post_17, a8^0'=a8^post_17, flag10^0'=flag10^post_17, flag211^0'=flag211^post_17, i3^0'=i3^post_17, ir4^0'=ir4^post_17, j5^0'=j5^post_17, k1^0'=k1^post_17, l6^0'=l6^post_17, mid7^0'=mid7^post_17, n2^0'=n2^post_17, temp9^0'=temp9^post_17, [ 1<=flag211^0 && __const_10^0==__const_10^post_17 && __const_20^0==__const_20^post_17 && a8^0==a8^post_17 && flag10^0==flag10^post_17 && flag211^0==flag211^post_17 && i3^0==i3^post_17 && ir4^0==ir4^post_17 && j5^0==j5^post_17 && k1^0==k1^post_17 && l6^0==l6^post_17 && mid7^0==mid7^post_17 && n2^0==n2^post_17 && temp9^0==temp9^post_17 ], cost: 1
     17: l13 -> l12 : __const_10^0'=__const_10^post_18, __const_20^0'=__const_20^post_18, a8^0'=a8^post_18, flag10^0'=flag10^post_18, flag211^0'=flag211^post_18, i3^0'=i3^post_18, ir4^0'=ir4^post_18, j5^0'=j5^post_18, k1^0'=k1^post_18, l6^0'=l6^post_18, mid7^0'=mid7^post_18, n2^0'=n2^post_18, temp9^0'=temp9^post_18, [ 1+flag211^0<=0 && __const_10^0==__const_10^post_18 && __const_20^0==__const_20^post_18 && a8^0==a8^post_18 && flag10^0==flag10^post_18 && flag211^0==flag211^post_18 && i3^0==i3^post_18 && ir4^0==ir4^post_18 && j5^0==j5^post_18 && k1^0==k1^post_18 && l6^0==l6^post_18 && mid7^0==mid7^post_18 && n2^0==n2^post_18 && temp9^0==temp9^post_18 ], cost: 1
     18: l13 -> l11 : __const_10^0'=__const_10^post_19, __const_20^0'=__const_20^post_19, a8^0'=a8^post_19, flag10^0'=flag10^post_19, flag211^0'=flag211^post_19, i3^0'=i3^post_19, ir4^0'=ir4^post_19, j5^0'=j5^post_19, k1^0'=k1^post_19, l6^0'=l6^post_19, mid7^0'=mid7^post_19, n2^0'=n2^post_19, temp9^0'=temp9^post_19, [ flag211^0<=0 && 0<=flag211^0 && i3^post_19==1+i3^0 && __const_10^0==__const_10^post_19 && __const_20^0==__const_20^post_19 && a8^0==a8^post_19 && flag10^0==flag10^post_19 && flag211^0==flag211^post_19 && ir4^0==ir4^post_19 && j5^0==j5^post_19 && k1^0==k1^post_19 && l6^0==l6^post_19 && mid7^0==mid7^post_19 && n2^0==n2^post_19 && temp9^0==temp9^post_19 ], cost: 1
     20: l14 -> l4 : __const_10^0'=__const_10^post_21, __const_20^0'=__const_20^post_21, a8^0'=a8^post_21, flag10^0'=flag10^post_21, flag211^0'=flag211^post_21, i3^0'=i3^post_21, ir4^0'=ir4^post_21, j5^0'=j5^post_21, k1^0'=k1^post_21, l6^0'=l6^post_21, mid7^0'=mid7^post_21, n2^0'=n2^post_21, temp9^0'=temp9^post_21, [ i3^post_21==1+l6^0 && j5^post_21==ir4^0 && a8^post_21==a8^post_21 && __const_10^0==__const_10^post_21 && __const_20^0==__const_20^post_21 && flag10^0==flag10^post_21 && flag211^0==flag211^post_21 && ir4^0==ir4^post_21 && k1^0==k1^post_21 && l6^0==l6^post_21 && mid7^0==mid7^post_21 && n2^0==n2^post_21 && temp9^0==temp9^post_21 ], cost: 1
     21: l15 -> l14 : __const_10^0'=__const_10^post_22, __const_20^0'=__const_20^post_22, a8^0'=a8^post_22, flag10^0'=flag10^post_22, flag211^0'=flag211^post_22, i3^0'=i3^post_22, ir4^0'=ir4^post_22, j5^0'=j5^post_22, k1^0'=k1^post_22, l6^0'=l6^post_22, mid7^0'=mid7^post_22, n2^0'=n2^post_22, temp9^0'=temp9^post_22, [ temp9^post_22==temp9^post_22 && __const_10^0==__const_10^post_22 && __const_20^0==__const_20^post_22 && a8^0==a8^post_22 && flag10^0==flag10^post_22 && flag211^0==flag211^post_22 && i3^0==i3^post_22 && ir4^0==ir4^post_22 && j5^0==j5^post_22 && k1^0==k1^post_22 && l6^0==l6^post_22 && mid7^0==mid7^post_22 && n2^0==n2^post_22 ], cost: 1
     22: l15 -> l14 : __const_10^0'=__const_10^post_23, __const_20^0'=__const_20^post_23, a8^0'=a8^post_23, flag10^0'=flag10^post_23, flag211^0'=flag211^post_23, i3^0'=i3^post_23, ir4^0'=ir4^post_23, j5^0'=j5^post_23, k1^0'=k1^post_23, l6^0'=l6^post_23, mid7^0'=mid7^post_23, n2^0'=n2^post_23, temp9^0'=temp9^post_23, [ __const_10^0==__const_10^post_23 && __const_20^0==__const_20^post_23 && a8^0==a8^post_23 && flag10^0==flag10^post_23 && flag211^0==flag211^post_23 && i3^0==i3^post_23 && ir4^0==ir4^post_23 && j5^0==j5^post_23 && k1^0==k1^post_23 && l6^0==l6^post_23 && mid7^0==mid7^post_23 && n2^0==n2^post_23 && temp9^0==temp9^post_23 ], cost: 1
     24: l16 -> l15 : __const_10^0'=__const_10^post_25, __const_20^0'=__const_20^post_25, a8^0'=a8^post_25, flag10^0'=flag10^post_25, flag211^0'=flag211^post_25, i3^0'=i3^post_25, ir4^0'=ir4^post_25, j5^0'=j5^post_25, k1^0'=k1^post_25, l6^0'=l6^post_25, mid7^0'=mid7^post_25, n2^0'=n2^post_25, temp9^0'=temp9^post_25, [ temp9^post_25==temp9^post_25 && __const_10^0==__const_10^post_25 && __const_20^0==__const_20^post_25 && a8^0==a8^post_25 && flag10^0==flag10^post_25 && flag211^0==flag211^post_25 && i3^0==i3^post_25 && ir4^0==ir4^post_25 && j5^0==j5^post_25 && k1^0==k1^post_25 && l6^0==l6^post_25 && mid7^0==mid7^post_25 && n2^0==n2^post_25 ], cost: 1
     25: l16 -> l15 : __const_10^0'=__const_10^post_26, __const_20^0'=__const_20^post_26, a8^0'=a8^post_26, flag10^0'=flag10^post_26, flag211^0'=flag211^post_26, i3^0'=i3^post_26, ir4^0'=ir4^post_26, j5^0'=j5^post_26, k1^0'=k1^post_26, l6^0'=l6^post_26, mid7^0'=mid7^post_26, n2^0'=n2^post_26, temp9^0'=temp9^post_26, [ __const_10^0==__const_10^post_26 && __const_20^0==__const_20^post_26 && a8^0==a8^post_26 && flag10^0==flag10^post_26 && flag211^0==flag211^post_26 && i3^0==i3^post_26 && ir4^0==ir4^post_26 && j5^0==j5^post_26 && k1^0==k1^post_26 && l6^0==l6^post_26 && mid7^0==mid7^post_26 && n2^0==n2^post_26 && temp9^0==temp9^post_26 ], cost: 1
     26: l17 -> l16 : __const_10^0'=__const_10^post_27, __const_20^0'=__const_20^post_27, a8^0'=a8^post_27, flag10^0'=flag10^post_27, flag211^0'=flag211^post_27, i3^0'=i3^post_27, ir4^0'=ir4^post_27, j5^0'=j5^post_27, k1^0'=k1^post_27, l6^0'=l6^post_27, mid7^0'=mid7^post_27, n2^0'=n2^post_27, temp9^0'=temp9^post_27, [ temp9^post_27==temp9^post_27 && __const_10^0==__const_10^post_27 && __const_20^0==__const_20^post_27 && a8^0==a8^post_27 && flag10^0==flag10^post_27 && flag211^0==flag211^post_27 && i3^0==i3^post_27 && ir4^0==ir4^post_27 && j5^0==j5^post_27 && k1^0==k1^post_27 && l6^0==l6^post_27 && mid7^0==mid7^post_27 && n2^0==n2^post_27 ], cost: 1
     27: l17 -> l16 : __const_10^0'=__const_10^post_28, __const_20^0'=__const_20^post_28, a8^0'=a8^post_28, flag10^0'=flag10^post_28, flag211^0'=flag211^post_28, i3^0'=i3^post_28, ir4^0'=ir4^post_28, j5^0'=j5^post_28, k1^0'=k1^post_28, l6^0'=l6^post_28, mid7^0'=mid7^post_28, n2^0'=n2^post_28, temp9^0'=temp9^post_28, [ __const_10^0==__const_10^post_28 && __const_20^0==__const_20^post_28 && a8^0==a8^post_28 && flag10^0==flag10^post_28 && flag211^0==flag211^post_28 && i3^0==i3^post_28 && ir4^0==ir4^post_28 && j5^0==j5^post_28 && k1^0==k1^post_28 && l6^0==l6^post_28 && mid7^0==mid7^post_28 && n2^0==n2^post_28 && temp9^0==temp9^post_28 ], cost: 1
     28: l18 -> l1 : __const_10^0'=__const_10^post_29, __const_20^0'=__const_20^post_29, a8^0'=a8^post_29, flag10^0'=flag10^post_29, flag211^0'=flag211^post_29, i3^0'=i3^post_29, ir4^0'=ir4^post_29, j5^0'=j5^post_29, k1^0'=k1^post_29, l6^0'=l6^post_29, mid7^0'=mid7^post_29, n2^0'=n2^post_29, temp9^0'=temp9^post_29, [ 1<=flag10^0 && __const_10^0==__const_10^post_29 && __const_20^0==__const_20^post_29 && a8^0==a8^post_29 && flag10^0==flag10^post_29 && flag211^0==flag211^post_29 && i3^0==i3^post_29 && ir4^0==ir4^post_29 && j5^0==j5^post_29 && k1^0==k1^post_29 && l6^0==l6^post_29 && mid7^0==mid7^post_29 && n2^0==n2^post_29 && temp9^0==temp9^post_29 ], cost: 1
     29: l18 -> l1 : __const_10^0'=__const_10^post_30, __const_20^0'=__const_20^post_30, a8^0'=a8^post_30, flag10^0'=flag10^post_30, flag211^0'=flag211^post_30, i3^0'=i3^post_30, ir4^0'=ir4^post_30, j5^0'=j5^post_30, k1^0'=k1^post_30, l6^0'=l6^post_30, mid7^0'=mid7^post_30, n2^0'=n2^post_30, temp9^0'=temp9^post_30, [ 1+flag10^0<=0 && __const_10^0==__const_10^post_30 && __const_20^0==__const_20^post_30 && a8^0==a8^post_30 && flag10^0==flag10^post_30 && flag211^0==flag211^post_30 && i3^0==i3^post_30 && ir4^0==ir4^post_30 && j5^0==j5^post_30 && k1^0==k1^post_30 && l6^0==l6^post_30 && mid7^0==mid7^post_30 && n2^0==n2^post_30 && temp9^0==temp9^post_30 ], cost: 1
     30: l18 -> l17 : __const_10^0'=__const_10^post_31, __const_20^0'=__const_20^post_31, a8^0'=a8^post_31, flag10^0'=flag10^post_31, flag211^0'=flag211^post_31, i3^0'=i3^post_31, ir4^0'=ir4^post_31, j5^0'=j5^post_31, k1^0'=k1^post_31, l6^0'=l6^post_31, mid7^0'=mid7^post_31, n2^0'=n2^post_31, temp9^0'=temp9^post_31, [ flag10^0<=0 && 0<=flag10^0 && mid7^post_31==mid7^post_31 && temp9^post_31==temp9^post_31 && __const_10^0==__const_10^post_31 && __const_20^0==__const_20^post_31 && a8^0==a8^post_31 && flag10^0==flag10^post_31 && flag211^0==flag211^post_31 && i3^0==i3^post_31 && ir4^0==ir4^post_31 && j5^0==j5^post_31 && k1^0==k1^post_31 && l6^0==l6^post_31 && n2^0==n2^post_31 ], cost: 1
     32: l19 -> l1 : __const_10^0'=__const_10^post_33, __const_20^0'=__const_20^post_33, a8^0'=a8^post_33, flag10^0'=flag10^post_33, flag211^0'=flag211^post_33, i3^0'=i3^post_33, ir4^0'=ir4^post_33, j5^0'=j5^post_33, k1^0'=k1^post_33, l6^0'=l6^post_33, mid7^0'=mid7^post_33, n2^0'=n2^post_33, temp9^0'=temp9^post_33, [ flag10^post_33==1 && __const_10^0==__const_10^post_33 && __const_20^0==__const_20^post_33 && a8^0==a8^post_33 && flag211^0==flag211^post_33 && i3^0==i3^post_33 && ir4^0==ir4^post_33 && j5^0==j5^post_33 && k1^0==k1^post_33 && l6^0==l6^post_33 && mid7^0==mid7^post_33 && n2^0==n2^post_33 && temp9^0==temp9^post_33 ], cost: 1
     33: l20 -> l19 : __const_10^0'=__const_10^post_34, __const_20^0'=__const_20^post_34, a8^0'=a8^post_34, flag10^0'=flag10^post_34, flag211^0'=flag211^post_34, i3^0'=i3^post_34, ir4^0'=ir4^post_34, j5^0'=j5^post_34, k1^0'=k1^post_34, l6^0'=l6^post_34, mid7^0'=mid7^post_34, n2^0'=n2^post_34, temp9^0'=temp9^post_34, [ temp9^post_34==temp9^post_34 && __const_10^0==__const_10^post_34 && __const_20^0==__const_20^post_34 && a8^0==a8^post_34 && flag10^0==flag10^post_34 && flag211^0==flag211^post_34 && i3^0==i3^post_34 && ir4^0==ir4^post_34 && j5^0==j5^post_34 && k1^0==k1^post_34 && l6^0==l6^post_34 && mid7^0==mid7^post_34 && n2^0==n2^post_34 ], cost: 1
     34: l20 -> l19 : __const_10^0'=__const_10^post_35, __const_20^0'=__const_20^post_35, a8^0'=a8^post_35, flag10^0'=flag10^post_35, flag211^0'=flag211^post_35, i3^0'=i3^post_35, ir4^0'=ir4^post_35, j5^0'=j5^post_35, k1^0'=k1^post_35, l6^0'=l6^post_35, mid7^0'=mid7^post_35, n2^0'=n2^post_35, temp9^0'=temp9^post_35, [ __const_10^0==__const_10^post_35 && __const_20^0==__const_20^post_35 && a8^0==a8^post_35 && flag10^0==flag10^post_35 && flag211^0==flag211^post_35 && i3^0==i3^post_35 && ir4^0==ir4^post_35 && j5^0==j5^post_35 && k1^0==k1^post_35 && l6^0==l6^post_35 && mid7^0==mid7^post_35 && n2^0==n2^post_35 && temp9^0==temp9^post_35 ], cost: 1
     35: l21 -> l19 : __const_10^0'=__const_10^post_36, __const_20^0'=__const_20^post_36, a8^0'=a8^post_36, flag10^0'=flag10^post_36, flag211^0'=flag211^post_36, i3^0'=i3^post_36, ir4^0'=ir4^post_36, j5^0'=j5^post_36, k1^0'=k1^post_36, l6^0'=l6^post_36, mid7^0'=mid7^post_36, n2^0'=n2^post_36, temp9^0'=temp9^post_36, [ 2+l6^0<=ir4^0 && __const_10^0==__const_10^post_36 && __const_20^0==__const_20^post_36 && a8^0==a8^post_36 && flag10^0==flag10^post_36 && flag211^0==flag211^post_36 && i3^0==i3^post_36 && ir4^0==ir4^post_36 && j5^0==j5^post_36 && k1^0==k1^post_36 && l6^0==l6^post_36 && mid7^0==mid7^post_36 && n2^0==n2^post_36 && temp9^0==temp9^post_36 ], cost: 1
     36: l21 -> l19 : __const_10^0'=__const_10^post_37, __const_20^0'=__const_20^post_37, a8^0'=a8^post_37, flag10^0'=flag10^post_37, flag211^0'=flag211^post_37, i3^0'=i3^post_37, ir4^0'=ir4^post_37, j5^0'=j5^post_37, k1^0'=k1^post_37, l6^0'=l6^post_37, mid7^0'=mid7^post_37, n2^0'=n2^post_37, temp9^0'=temp9^post_37, [ 1+ir4^0<=1+l6^0 && __const_10^0==__const_10^post_37 && __const_20^0==__const_20^post_37 && a8^0==a8^post_37 && flag10^0==flag10^post_37 && flag211^0==flag211^post_37 && i3^0==i3^post_37 && ir4^0==ir4^post_37 && j5^0==j5^post_37 && k1^0==k1^post_37 && l6^0==l6^post_37 && mid7^0==mid7^post_37 && n2^0==n2^post_37 && temp9^0==temp9^post_37 ], cost: 1
     37: l21 -> l20 : __const_10^0'=__const_10^post_38, __const_20^0'=__const_20^post_38, a8^0'=a8^post_38, flag10^0'=flag10^post_38, flag211^0'=flag211^post_38, i3^0'=i3^post_38, ir4^0'=ir4^post_38, j5^0'=j5^post_38, k1^0'=k1^post_38, l6^0'=l6^post_38, mid7^0'=mid7^post_38, n2^0'=n2^post_38, temp9^0'=temp9^post_38, [ ir4^0<=1+l6^0 && 1+l6^0<=ir4^0 && __const_10^0==__const_10^post_38 && __const_20^0==__const_20^post_38 && a8^0==a8^post_38 && flag10^0==flag10^post_38 && flag211^0==flag211^post_38 && i3^0==i3^post_38 && ir4^0==ir4^post_38 && j5^0==j5^post_38 && k1^0==k1^post_38 && l6^0==l6^post_38 && mid7^0==mid7^post_38 && n2^0==n2^post_38 && temp9^0==temp9^post_38 ], cost: 1
     38: l22 -> l23 : __const_10^0'=__const_10^post_39, __const_20^0'=__const_20^post_39, a8^0'=a8^post_39, flag10^0'=flag10^post_39, flag211^0'=flag211^post_39, i3^0'=i3^post_39, ir4^0'=ir4^post_39, j5^0'=j5^post_39, k1^0'=k1^post_39, l6^0'=l6^post_39, mid7^0'=mid7^post_39, n2^0'=n2^post_39, temp9^0'=temp9^post_39, [ __const_10^0==__const_10^post_39 && __const_20^0==__const_20^post_39 && a8^0==a8^post_39 && flag10^0==flag10^post_39 && flag211^0==flag211^post_39 && i3^0==i3^post_39 && ir4^0==ir4^post_39 && j5^0==j5^post_39 && k1^0==k1^post_39 && l6^0==l6^post_39 && mid7^0==mid7^post_39 && n2^0==n2^post_39 && temp9^0==temp9^post_39 ], cost: 1
     39: l24 -> l18 : __const_10^0'=__const_10^post_40, __const_20^0'=__const_20^post_40, a8^0'=a8^post_40, flag10^0'=flag10^post_40, flag211^0'=flag211^post_40, i3^0'=i3^post_40, ir4^0'=ir4^post_40, j5^0'=j5^post_40, k1^0'=k1^post_40, l6^0'=l6^post_40, mid7^0'=mid7^post_40, n2^0'=n2^post_40, temp9^0'=temp9^post_40, [ 2+l6^0<=ir4^0 && __const_10^0==__const_10^post_40 && __const_20^0==__const_20^post_40 && a8^0==a8^post_40 && flag10^0==flag10^post_40 && flag211^0==flag211^post_40 && i3^0==i3^post_40 && ir4^0==ir4^post_40 && j5^0==j5^post_40 && k1^0==k1^post_40 && l6^0==l6^post_40 && mid7^0==mid7^post_40 && n2^0==n2^post_40 && temp9^0==temp9^post_40 ], cost: 1
     40: l24 -> l21 : __const_10^0'=__const_10^post_41, __const_20^0'=__const_20^post_41, a8^0'=a8^post_41, flag10^0'=flag10^post_41, flag211^0'=flag211^post_41, i3^0'=i3^post_41, ir4^0'=ir4^post_41, j5^0'=j5^post_41, k1^0'=k1^post_41, l6^0'=l6^post_41, mid7^0'=mid7^post_41, n2^0'=n2^post_41, temp9^0'=temp9^post_41, [ ir4^0<=1+l6^0 && __const_10^0==__const_10^post_41 && __const_20^0==__const_20^post_41 && a8^0==a8^post_41 && flag10^0==flag10^post_41 && flag211^0==flag211^post_41 && i3^0==i3^post_41 && ir4^0==ir4^post_41 && j5^0==j5^post_41 && k1^0==k1^post_41 && l6^0==l6^post_41 && mid7^0==mid7^post_41 && n2^0==n2^post_41 && temp9^0==temp9^post_41 ], cost: 1
     44: l25 -> l1 : __const_10^0'=__const_10^post_45, __const_20^0'=__const_20^post_45, a8^0'=a8^post_45, flag10^0'=flag10^post_45, flag211^0'=flag211^post_45, i3^0'=i3^post_45, ir4^0'=ir4^post_45, j5^0'=j5^post_45, k1^0'=k1^post_45, l6^0'=l6^post_45, mid7^0'=mid7^post_45, n2^0'=n2^post_45, temp9^0'=temp9^post_45, [ k1^post_45==__const_10^0 && n2^post_45==__const_20^0 && l6^post_45==1 && ir4^post_45==n2^post_45 && flag211^post_45==0 && flag10^post_45==flag211^post_45 && __const_10^0==__const_10^post_45 && __const_20^0==__const_20^post_45 && a8^0==a8^post_45 && i3^0==i3^post_45 && j5^0==j5^post_45 && mid7^0==mid7^post_45 && temp9^0==temp9^post_45 ], cost: 1
     45: l26 -> l25 : __const_10^0'=__const_10^post_46, __const_20^0'=__const_20^post_46, a8^0'=a8^post_46, flag10^0'=flag10^post_46, flag211^0'=flag211^post_46, i3^0'=i3^post_46, ir4^0'=ir4^post_46, j5^0'=j5^post_46, k1^0'=k1^post_46, l6^0'=l6^post_46, mid7^0'=mid7^post_46, n2^0'=n2^post_46, temp9^0'=temp9^post_46, [ __const_10^0==__const_10^post_46 && __const_20^0==__const_20^post_46 && a8^0==a8^post_46 && flag10^0==flag10^post_46 && flag211^0==flag211^post_46 && i3^0==i3^post_46 && ir4^0==ir4^post_46 && j5^0==j5^post_46 && k1^0==k1^post_46 && l6^0==l6^post_46 && mid7^0==mid7^post_46 && n2^0==n2^post_46 && temp9^0==temp9^post_46 ], cost: 1

Checking for constant complexity:
   The following rule is satisfiable with cost >= 1, yielding constant complexity:
     45: l26 -> l25 : __const_10^0'=__const_10^post_46, __const_20^0'=__const_20^post_46, a8^0'=a8^post_46, flag10^0'=flag10^post_46, flag211^0'=flag211^post_46, i3^0'=i3^post_46, ir4^0'=ir4^post_46, j5^0'=j5^post_46, k1^0'=k1^post_46, l6^0'=l6^post_46, mid7^0'=mid7^post_46, n2^0'=n2^post_46, temp9^0'=temp9^post_46, [ __const_10^0==__const_10^post_46 && __const_20^0==__const_20^post_46 && a8^0==a8^post_46 && flag10^0==flag10^post_46 && flag211^0==flag211^post_46 && i3^0==i3^post_46 && ir4^0==ir4^post_46 && j5^0==j5^post_46 && k1^0==k1^post_46 && l6^0==l6^post_46 && mid7^0==mid7^post_46 && n2^0==n2^post_46 && temp9^0==temp9^post_46 ], cost: 1

Removed unreachable and leaf rules:
   Start location: l26
      0: l0 -> l1 : __const_10^0'=__const_10^post_1, __const_20^0'=__const_20^post_1, a8^0'=a8^post_1, flag10^0'=flag10^post_1, flag211^0'=flag211^post_1, i3^0'=i3^post_1, ir4^0'=ir4^post_1, j5^0'=j5^post_1, k1^0'=k1^post_1, l6^0'=l6^post_1, mid7^0'=mid7^post_1, n2^0'=n2^post_1, temp9^0'=temp9^post_1, [ 1+k1^0<=j5^0 && __const_10^0==__const_10^post_1 && __const_20^0==__const_20^post_1 && a8^0==a8^post_1 && flag10^0==flag10^post_1 && flag211^0==flag211^post_1 && i3^0==i3^post_1 && ir4^0==ir4^post_1 && j5^0==j5^post_1 && k1^0==k1^post_1 && l6^0==l6^post_1 && mid7^0==mid7^post_1 && n2^0==n2^post_1 && temp9^0==temp9^post_1 ], cost: 1
      1: l0 -> l1 : __const_10^0'=__const_10^post_2, __const_20^0'=__const_20^post_2, a8^0'=a8^post_2, flag10^0'=flag10^post_2, flag211^0'=flag211^post_2, i3^0'=i3^post_2, ir4^0'=ir4^post_2, j5^0'=j5^post_2, k1^0'=k1^post_2, l6^0'=l6^post_2, mid7^0'=mid7^post_2, n2^0'=n2^post_2, temp9^0'=temp9^post_2, [ j5^0<=k1^0 && l6^post_2==i3^0 && __const_10^0==__const_10^post_2 && __const_20^0==__const_20^post_2 && a8^0==a8^post_2 && flag10^0==flag10^post_2 && flag211^0==flag211^post_2 && i3^0==i3^post_2 && ir4^0==ir4^post_2 && j5^0==j5^post_2 && k1^0==k1^post_2 && mid7^0==mid7^post_2 && n2^0==n2^post_2 && temp9^0==temp9^post_2 ], cost: 1
     10: l1 -> l7 : __const_10^0'=__const_10^post_11, __const_20^0'=__const_20^post_11, a8^0'=a8^post_11, flag10^0'=flag10^post_11, flag211^0'=flag211^post_11, i3^0'=i3^post_11, ir4^0'=ir4^post_11, j5^0'=j5^post_11, k1^0'=k1^post_11, l6^0'=l6^post_11, mid7^0'=mid7^post_11, n2^0'=n2^post_11, temp9^0'=temp9^post_11, [ __const_10^0==__const_10^post_11 && __const_20^0==__const_20^post_11 && a8^0==a8^post_11 && flag10^0==flag10^post_11 && flag211^0==flag211^post_11 && i3^0==i3^post_11 && ir4^0==ir4^post_11 && j5^0==j5^post_11 && k1^0==k1^post_11 && l6^0==l6^post_11 && mid7^0==mid7^post_11 && n2^0==n2^post_11 && temp9^0==temp9^post_11 ], cost: 1
      2: l2 -> l0 : __const_10^0'=__const_10^post_3, __const_20^0'=__const_20^post_3, a8^0'=a8^post_3, flag10^0'=flag10^post_3, flag211^0'=flag211^post_3, i3^0'=i3^post_3, ir4^0'=ir4^post_3, j5^0'=j5^post_3, k1^0'=k1^post_3, l6^0'=l6^post_3, mid7^0'=mid7^post_3, n2^0'=n2^post_3, temp9^0'=temp9^post_3, [ 1+j5^0<=k1^0 && __const_10^0==__const_10^post_3 && __const_20^0==__const_20^post_3 && a8^0==a8^post_3 && flag10^0==flag10^post_3 && flag211^0==flag211^post_3 && i3^0==i3^post_3 && ir4^0==ir4^post_3 && j5^0==j5^post_3 && k1^0==k1^post_3 && l6^0==l6^post_3 && mid7^0==mid7^post_3 && n2^0==n2^post_3 && temp9^0==temp9^post_3 ], cost: 1
      3: l2 -> l0 : __const_10^0'=__const_10^post_4, __const_20^0'=__const_20^post_4, a8^0'=a8^post_4, flag10^0'=flag10^post_4, flag211^0'=flag211^post_4, i3^0'=i3^post_4, ir4^0'=ir4^post_4, j5^0'=j5^post_4, k1^0'=k1^post_4, l6^0'=l6^post_4, mid7^0'=mid7^post_4, n2^0'=n2^post_4, temp9^0'=temp9^post_4, [ k1^0<=j5^0 && ir4^post_4==-1+j5^0 && __const_10^0==__const_10^post_4 && __const_20^0==__const_20^post_4 && a8^0==a8^post_4 && flag10^0==flag10^post_4 && flag211^0==flag211^post_4 && i3^0==i3^post_4 && j5^0==j5^post_4 && k1^0==k1^post_4 && l6^0==l6^post_4 && mid7^0==mid7^post_4 && n2^0==n2^post_4 && temp9^0==temp9^post_4 ], cost: 1
      4: l3 -> l4 : __const_10^0'=__const_10^post_5, __const_20^0'=__const_20^post_5, a8^0'=a8^post_5, flag10^0'=flag10^post_5, flag211^0'=flag211^post_5, i3^0'=i3^post_5, ir4^0'=ir4^post_5, j5^0'=j5^post_5, k1^0'=k1^post_5, l6^0'=l6^post_5, mid7^0'=mid7^post_5, n2^0'=n2^post_5, temp9^0'=temp9^post_5, [ __const_10^0==__const_10^post_5 && __const_20^0==__const_20^post_5 && a8^0==a8^post_5 && flag10^0==flag10^post_5 && flag211^0==flag211^post_5 && i3^0==i3^post_5 && ir4^0==ir4^post_5 && j5^0==j5^post_5 && k1^0==k1^post_5 && l6^0==l6^post_5 && mid7^0==mid7^post_5 && n2^0==n2^post_5 && temp9^0==temp9^post_5 ], cost: 1
     19: l4 -> l13 : __const_10^0'=__const_10^post_20, __const_20^0'=__const_20^post_20, a8^0'=a8^post_20, flag10^0'=flag10^post_20, flag211^0'=flag211^post_20, i3^0'=i3^post_20, ir4^0'=ir4^post_20, j5^0'=j5^post_20, k1^0'=k1^post_20, l6^0'=l6^post_20, mid7^0'=mid7^post_20, n2^0'=n2^post_20, temp9^0'=temp9^post_20, [ __const_10^0==__const_10^post_20 && __const_20^0==__const_20^post_20 && a8^0==a8^post_20 && flag10^0==flag10^post_20 && flag211^0==flag211^post_20 && i3^0==i3^post_20 && ir4^0==ir4^post_20 && j5^0==j5^post_20 && k1^0==k1^post_20 && l6^0==l6^post_20 && mid7^0==mid7^post_20 && n2^0==n2^post_20 && temp9^0==temp9^post_20 ], cost: 1
      5: l5 -> l3 : __const_10^0'=__const_10^post_6, __const_20^0'=__const_20^post_6, a8^0'=a8^post_6, flag10^0'=flag10^post_6, flag211^0'=flag211^post_6, i3^0'=i3^post_6, ir4^0'=ir4^post_6, j5^0'=j5^post_6, k1^0'=k1^post_6, l6^0'=l6^post_6, mid7^0'=mid7^post_6, n2^0'=n2^post_6, temp9^0'=temp9^post_6, [ 1<=flag211^0 && __const_10^0==__const_10^post_6 && __const_20^0==__const_20^post_6 && a8^0==a8^post_6 && flag10^0==flag10^post_6 && flag211^0==flag211^post_6 && i3^0==i3^post_6 && ir4^0==ir4^post_6 && j5^0==j5^post_6 && k1^0==k1^post_6 && l6^0==l6^post_6 && mid7^0==mid7^post_6 && n2^0==n2^post_6 && temp9^0==temp9^post_6 ], cost: 1
      6: l5 -> l3 : __const_10^0'=__const_10^post_7, __const_20^0'=__const_20^post_7, a8^0'=a8^post_7, flag10^0'=flag10^post_7, flag211^0'=flag211^post_7, i3^0'=i3^post_7, ir4^0'=ir4^post_7, j5^0'=j5^post_7, k1^0'=k1^post_7, l6^0'=l6^post_7, mid7^0'=mid7^post_7, n2^0'=n2^post_7, temp9^0'=temp9^post_7, [ 1+flag211^0<=0 && __const_10^0==__const_10^post_7 && __const_20^0==__const_20^post_7 && a8^0==a8^post_7 && flag10^0==flag10^post_7 && flag211^0==flag211^post_7 && i3^0==i3^post_7 && ir4^0==ir4^post_7 && j5^0==j5^post_7 && k1^0==k1^post_7 && l6^0==l6^post_7 && mid7^0==mid7^post_7 && n2^0==n2^post_7 && temp9^0==temp9^post_7 ], cost: 1
      7: l5 -> l3 : __const_10^0'=__const_10^post_8, __const_20^0'=__const_20^post_8, a8^0'=a8^post_8, flag10^0'=flag10^post_8, flag211^0'=flag211^post_8, i3^0'=i3^post_8, ir4^0'=ir4^post_8, j5^0'=j5^post_8, k1^0'=k1^post_8, l6^0'=l6^post_8, mid7^0'=mid7^post_8, n2^0'=n2^post_8, temp9^0'=temp9^post_8, [ flag211^0<=0 && 0<=flag211^0 && temp9^post_8==temp9^post_8 && __const_10^0==__const_10^post_8 && __const_20^0==__const_20^post_8 && a8^0==a8^post_8 && flag10^0==flag10^post_8 && flag211^0==flag211^post_8 && i3^0==i3^post_8 && ir4^0==ir4^post_8 && j5^0==j5^post_8 && k1^0==k1^post_8 && l6^0==l6^post_8 && mid7^0==mid7^post_8 && n2^0==n2^post_8 ], cost: 1
      8: l6 -> l5 : __const_10^0'=__const_10^post_9, __const_20^0'=__const_20^post_9, a8^0'=a8^post_9, flag10^0'=flag10^post_9, flag211^0'=flag211^post_9, i3^0'=i3^post_9, ir4^0'=ir4^post_9, j5^0'=j5^post_9, k1^0'=k1^post_9, l6^0'=l6^post_9, mid7^0'=mid7^post_9, n2^0'=n2^post_9, temp9^0'=temp9^post_9, [ i3^0<=j5^0 && __const_10^0==__const_10^post_9 && __const_20^0==__const_20^post_9 && a8^0==a8^post_9 && flag10^0==flag10^post_9 && flag211^0==flag211^post_9 && i3^0==i3^post_9 && ir4^0==ir4^post_9 && j5^0==j5^post_9 && k1^0==k1^post_9 && l6^0==l6^post_9 && mid7^0==mid7^post_9 && n2^0==n2^post_9 && temp9^0==temp9^post_9 ], cost: 1
      9: l6 -> l5 : __const_10^0'=__const_10^post_10, __const_20^0'=__const_20^post_10, a8^0'=a8^post_10, flag10^0'=flag10^post_10, flag211^0'=flag211^post_10, i3^0'=i3^post_10, ir4^0'=ir4^post_10, j5^0'=j5^post_10, k1^0'=k1^post_10, l6^0'=l6^post_10, mid7^0'=mid7^post_10, n2^0'=n2^post_10, temp9^0'=temp9^post_10, [ 1+j5^0<=i3^0 && flag211^post_10==1 && __const_10^0==__const_10^post_10 && __const_20^0==__const_20^post_10 && a8^0==a8^post_10 && flag10^0==flag10^post_10 && i3^0==i3^post_10 && ir4^0==ir4^post_10 && j5^0==j5^post_10 && k1^0==k1^post_10 && l6^0==l6^post_10 && mid7^0==mid7^post_10 && n2^0==n2^post_10 && temp9^0==temp9^post_10 ], cost: 1
     43: l7 -> l24 : __const_10^0'=__const_10^post_44, __const_20^0'=__const_20^post_44, a8^0'=a8^post_44, flag10^0'=flag10^post_44, flag211^0'=flag211^post_44, i3^0'=i3^post_44, ir4^0'=ir4^post_44, j5^0'=j5^post_44, k1^0'=k1^post_44, l6^0'=l6^post_44, mid7^0'=mid7^post_44, n2^0'=n2^post_44, temp9^0'=temp9^post_44, [ flag10^0<=0 && 0<=flag10^0 && __const_10^0==__const_10^post_44 && __const_20^0==__const_20^post_44 && a8^0==a8^post_44 && flag10^0==flag10^post_44 && flag211^0==flag211^post_44 && i3^0==i3^post_44 && ir4^0==ir4^post_44 && j5^0==j5^post_44 && k1^0==k1^post_44 && l6^0==l6^post_44 && mid7^0==mid7^post_44 && n2^0==n2^post_44 && temp9^0==temp9^post_44 ], cost: 1
     11: l8 -> l9 : __const_10^0'=__const_10^post_12, __const_20^0'=__const_20^post_12, a8^0'=a8^post_12, flag10^0'=flag10^post_12, flag211^0'=flag211^post_12, i3^0'=i3^post_12, ir4^0'=ir4^post_12, j5^0'=j5^post_12, k1^0'=k1^post_12, l6^0'=l6^post_12, mid7^0'=mid7^post_12, n2^0'=n2^post_12, temp9^0'=temp9^post_12, [ j5^post_12==-1+j5^0 && __const_10^0==__const_10^post_12 && __const_20^0==__const_20^post_12 && a8^0==a8^post_12 && flag10^0==flag10^post_12 && flag211^0==flag211^post_12 && i3^0==i3^post_12 && ir4^0==ir4^post_12 && k1^0==k1^post_12 && l6^0==l6^post_12 && mid7^0==mid7^post_12 && n2^0==n2^post_12 && temp9^0==temp9^post_12 ], cost: 1
     12: l8 -> l6 : __const_10^0'=__const_10^post_13, __const_20^0'=__const_20^post_13, a8^0'=a8^post_13, flag10^0'=flag10^post_13, flag211^0'=flag211^post_13, i3^0'=i3^post_13, ir4^0'=ir4^post_13, j5^0'=j5^post_13, k1^0'=k1^post_13, l6^0'=l6^post_13, mid7^0'=mid7^post_13, n2^0'=n2^post_13, temp9^0'=temp9^post_13, [ __const_10^0==__const_10^post_13 && __const_20^0==__const_20^post_13 && a8^0==a8^post_13 && flag10^0==flag10^post_13 && flag211^0==flag211^post_13 && i3^0==i3^post_13 && ir4^0==ir4^post_13 && j5^0==j5^post_13 && k1^0==k1^post_13 && l6^0==l6^post_13 && mid7^0==mid7^post_13 && n2^0==n2^post_13 && temp9^0==temp9^post_13 ], cost: 1
     31: l9 -> l8 : __const_10^0'=__const_10^post_32, __const_20^0'=__const_20^post_32, a8^0'=a8^post_32, flag10^0'=flag10^post_32, flag211^0'=flag211^post_32, i3^0'=i3^post_32, ir4^0'=ir4^post_32, j5^0'=j5^post_32, k1^0'=k1^post_32, l6^0'=l6^post_32, mid7^0'=mid7^post_32, n2^0'=n2^post_32, temp9^0'=temp9^post_32, [ __const_10^0==__const_10^post_32 && __const_20^0==__const_20^post_32 && a8^0==a8^post_32 && flag10^0==flag10^post_32 && flag211^0==flag211^post_32 && i3^0==i3^post_32 && ir4^0==ir4^post_32 && j5^0==j5^post_32 && k1^0==k1^post_32 && l6^0==l6^post_32 && mid7^0==mid7^post_32 && n2^0==n2^post_32 && temp9^0==temp9^post_32 ], cost: 1
     13: l10 -> l11 : __const_10^0'=__const_10^post_14, __const_20^0'=__const_20^post_14, a8^0'=a8^post_14, flag10^0'=flag10^post_14, flag211^0'=flag211^post_14, i3^0'=i3^post_14, ir4^0'=ir4^post_14, j5^0'=j5^post_14, k1^0'=k1^post_14, l6^0'=l6^post_14, mid7^0'=mid7^post_14, n2^0'=n2^post_14, temp9^0'=temp9^post_14, [ i3^post_14==1+i3^0 && __const_10^0==__const_10^post_14 && __const_20^0==__const_20^post_14 && a8^0==a8^post_14 && flag10^0==flag10^post_14 && flag211^0==flag211^post_14 && ir4^0==ir4^post_14 && j5^0==j5^post_14 && k1^0==k1^post_14 && l6^0==l6^post_14 && mid7^0==mid7^post_14 && n2^0==n2^post_14 && temp9^0==temp9^post_14 ], cost: 1
     14: l10 -> l9 : __const_10^0'=__const_10^post_15, __const_20^0'=__const_20^post_15, a8^0'=a8^post_15, flag10^0'=flag10^post_15, flag211^0'=flag211^post_15, i3^0'=i3^post_15, ir4^0'=ir4^post_15, j5^0'=j5^post_15, k1^0'=k1^post_15, l6^0'=l6^post_15, mid7^0'=mid7^post_15, n2^0'=n2^post_15, temp9^0'=temp9^post_15, [ j5^post_15==-1+j5^0 && __const_10^0==__const_10^post_15 && __const_20^0==__const_20^post_15 && a8^0==a8^post_15 && flag10^0==flag10^post_15 && flag211^0==flag211^post_15 && i3^0==i3^post_15 && ir4^0==ir4^post_15 && k1^0==k1^post_15 && l6^0==l6^post_15 && mid7^0==mid7^post_15 && n2^0==n2^post_15 && temp9^0==temp9^post_15 ], cost: 1
     23: l11 -> l10 : __const_10^0'=__const_10^post_24, __const_20^0'=__const_20^post_24, a8^0'=a8^post_24, flag10^0'=flag10^post_24, flag211^0'=flag211^post_24, i3^0'=i3^post_24, ir4^0'=ir4^post_24, j5^0'=j5^post_24, k1^0'=k1^post_24, l6^0'=l6^post_24, mid7^0'=mid7^post_24, n2^0'=n2^post_24, temp9^0'=temp9^post_24, [ __const_10^0==__const_10^post_24 && __const_20^0==__const_20^post_24 && a8^0==a8^post_24 && flag10^0==flag10^post_24 && flag211^0==flag211^post_24 && i3^0==i3^post_24 && ir4^0==ir4^post_24 && j5^0==j5^post_24 && k1^0==k1^post_24 && l6^0==l6^post_24 && mid7^0==mid7^post_24 && n2^0==n2^post_24 && temp9^0==temp9^post_24 ], cost: 1
     15: l12 -> l2 : __const_10^0'=__const_10^post_16, __const_20^0'=__const_20^post_16, a8^0'=a8^post_16, flag10^0'=flag10^post_16, flag211^0'=flag211^post_16, i3^0'=i3^post_16, ir4^0'=ir4^post_16, j5^0'=j5^post_16, k1^0'=k1^post_16, l6^0'=l6^post_16, mid7^0'=mid7^post_16, n2^0'=n2^post_16, temp9^0'=temp9^post_16, [ __const_10^0==__const_10^post_16 && __const_20^0==__const_20^post_16 && a8^0==a8^post_16 && flag10^0==flag10^post_16 && flag211^0==flag211^post_16 && i3^0==i3^post_16 && ir4^0==ir4^post_16 && j5^0==j5^post_16 && k1^0==k1^post_16 && l6^0==l6^post_16 && mid7^0==mid7^post_16 && n2^0==n2^post_16 && temp9^0==temp9^post_16 ], cost: 1
     16: l13 -> l12 : __const_10^0'=__const_10^post_17, __const_20^0'=__const_20^post_17, a8^0'=a8^post_17, flag10^0'=flag10^post_17, flag211^0'=flag211^post_17, i3^0'=i3^post_17, ir4^0'=ir4^post_17, j5^0'=j5^post_17, k1^0'=k1^post_17, l6^0'=l6^post_17, mid7^0'=mid7^post_17, n2^0'=n2^post_17, temp9^0'=temp9^post_17, [ 1<=flag211^0 && __const_10^0==__const_10^post_17 && __const_20^0==__const_20^post_17 && a8^0==a8^post_17 && flag10^0==flag10^post_17 && flag211^0==flag211^post_17 && i3^0==i3^post_17 && ir4^0==ir4^post_17 && j5^0==j5^post_17 && k1^0==k1^post_17 && l6^0==l6^post_17 && mid7^0==mid7^post_17 && n2^0==n2^post_17 && temp9^0==temp9^post_17 ], cost: 1
     17: l13 -> l12 : __const_10^0'=__const_10^post_18, __const_20^0'=__const_20^post_18, a8^0'=a8^post_18, flag10^0'=flag10^post_18, flag211^0'=flag211^post_18, i3^0'=i3^post_18, ir4^0'=ir4^post_18, j5^0'=j5^post_18, k1^0'=k1^post_18, l6^0'=l6^post_18, mid7^0'=mid7^post_18, n2^0'=n2^post_18, temp9^0'=temp9^post_18, [ 1+flag211^0<=0 && __const_10^0==__const_10^post_18 && __const_20^0==__const_20^post_18 && a8^0==a8^post_18 && flag10^0==flag10^post_18 && flag211^0==flag211^post_18 && i3^0==i3^post_18 && ir4^0==ir4^post_18 && j5^0==j5^post_18 && k1^0==k1^post_18 && l6^0==l6^post_18 && mid7^0==mid7^post_18 && n2^0==n2^post_18 && temp9^0==temp9^post_18 ], cost: 1
     18: l13 -> l11 : __const_10^0'=__const_10^post_19, __const_20^0'=__const_20^post_19, a8^0'=a8^post_19, flag10^0'=flag10^post_19, flag211^0'=flag211^post_19, i3^0'=i3^post_19, ir4^0'=ir4^post_19, j5^0'=j5^post_19, k1^0'=k1^post_19, l6^0'=l6^post_19, mid7^0'=mid7^post_19, n2^0'=n2^post_19, temp9^0'=temp9^post_19, [ flag211^0<=0 && 0<=flag211^0 && i3^post_19==1+i3^0 && __const_10^0==__const_10^post_19 && __const_20^0==__const_20^post_19 && a8^0==a8^post_19 && flag10^0==flag10^post_19 && flag211^0==flag211^post_19 && ir4^0==ir4^post_19 && j5^0==j5^post_19 && k1^0==k1^post_19 && l6^0==l6^post_19 && mid7^0==mid7^post_19 && n2^0==n2^post_19 && temp9^0==temp9^post_19 ], cost: 1
     20: l14 -> l4 : __const_10^0'=__const_10^post_21, __const_20^0'=__const_20^post_21, a8^0'=a8^post_21, flag10^0'=flag10^post_21, flag211^0'=flag211^post_21, i3^0'=i3^post_21, ir4^0'=ir4^post_21, j5^0'=j5^post_21, k1^0'=k1^post_21, l6^0'=l6^post_21, mid7^0'=mid7^post_21, n2^0'=n2^post_21, temp9^0'=temp9^post_21, [ i3^post_21==1+l6^0 && j5^post_21==ir4^0 && a8^post_21==a8^post_21 && __const_10^0==__const_10^post_21 && __const_20^0==__const_20^post_21 && flag10^0==flag10^post_21 && flag211^0==flag211^post_21 && ir4^0==ir4^post_21 && k1^0==k1^post_21 && l6^0==l6^post_21 && mid7^0==mid7^post_21 && n2^0==n2^post_21 && temp9^0==temp9^post_21 ], cost: 1
     21: l15 -> l14 : __const_10^0'=__const_10^post_22, __const_20^0'=__const_20^post_22, a8^0'=a8^post_22, flag10^0'=flag10^post_22, flag211^0'=flag211^post_22, i3^0'=i3^post_22, ir4^0'=ir4^post_22, j5^0'=j5^post_22, k1^0'=k1^post_22, l6^0'=l6^post_22, mid7^0'=mid7^post_22, n2^0'=n2^post_22, temp9^0'=temp9^post_22, [ temp9^post_22==temp9^post_22 && __const_10^0==__const_10^post_22 && __const_20^0==__const_20^post_22 && a8^0==a8^post_22 && flag10^0==flag10^post_22 && flag211^0==flag211^post_22 && i3^0==i3^post_22 && ir4^0==ir4^post_22 && j5^0==j5^post_22 && k1^0==k1^post_22 && l6^0==l6^post_22 && mid7^0==mid7^post_22 && n2^0==n2^post_22 ], cost: 1
     22: l15 -> l14 : __const_10^0'=__const_10^post_23, __const_20^0'=__const_20^post_23, a8^0'=a8^post_23, flag10^0'=flag10^post_23, flag211^0'=flag211^post_23, i3^0'=i3^post_23, ir4^0'=ir4^post_23, j5^0'=j5^post_23, k1^0'=k1^post_23, l6^0'=l6^post_23, mid7^0'=mid7^post_23, n2^0'=n2^post_23, temp9^0'=temp9^post_23, [ __const_10^0==__const_10^post_23 && __const_20^0==__const_20^post_23 && a8^0==a8^post_23 && flag10^0==flag10^post_23 && flag211^0==flag211^post_23 && i3^0==i3^post_23 && ir4^0==ir4^post_23 && j5^0==j5^post_23 && k1^0==k1^post_23 && l6^0==l6^post_23 && mid7^0==mid7^post_23 && n2^0==n2^post_23 && temp9^0==temp9^post_23 ], cost: 1
     24: l16 -> l15 : __const_10^0'=__const_10^post_25, __const_20^0'=__const_20^post_25, a8^0'=a8^post_25, flag10^0'=flag10^post_25, flag211^0'=flag211^post_25, i3^0'=i3^post_25, ir4^0'=ir4^post_25, j5^0'=j5^post_25, k1^0'=k1^post_25, l6^0'=l6^post_25, mid7^0'=mid7^post_25, n2^0'=n2^post_25, temp9^0'=temp9^post_25, [ temp9^post_25==temp9^post_25 && __const_10^0==__const_10^post_25 && __const_20^0==__const_20^post_25 && a8^0==a8^post_25 && flag10^0==flag10^post_25 && flag211^0==flag211^post_25 && i3^0==i3^post_25 && ir4^0==ir4^post_25 && j5^0==j5^post_25 && k1^0==k1^post_25 && l6^0==l6^post_25 && mid7^0==mid7^post_25 && n2^0==n2^post_25 ], cost: 1
     25: l16 -> l15 : __const_10^0'=__const_10^post_26, __const_20^0'=__const_20^post_26, a8^0'=a8^post_26, flag10^0'=flag10^post_26, flag211^0'=flag211^post_26, i3^0'=i3^post_26, ir4^0'=ir4^post_26, j5^0'=j5^post_26, k1^0'=k1^post_26, l6^0'=l6^post_26, mid7^0'=mid7^post_26, n2^0'=n2^post_26, temp9^0'=temp9^post_26, [ __const_10^0==__const_10^post_26 && __const_20^0==__const_20^post_26 && a8^0==a8^post_26 && flag10^0==flag10^post_26 && flag211^0==flag211^post_26 && i3^0==i3^post_26 && ir4^0==ir4^post_26 && j5^0==j5^post_26 && k1^0==k1^post_26 && l6^0==l6^post_26 && mid7^0==mid7^post_26 && n2^0==n2^post_26 && temp9^0==temp9^post_26 ], cost: 1
     26: l17 -> l16 : __const_10^0'=__const_10^post_27, __const_20^0'=__const_20^post_27, a8^0'=a8^post_27, flag10^0'=flag10^post_27, flag211^0'=flag211^post_27, i3^0'=i3^post_27, ir4^0'=ir4^post_27, j5^0'=j5^post_27, k1^0'=k1^post_27, l6^0'=l6^post_27, mid7^0'=mid7^post_27, n2^0'=n2^post_27, temp9^0'=temp9^post_27, [ temp9^post_27==temp9^post_27 && __const_10^0==__const_10^post_27 && __const_20^0==__const_20^post_27 && a8^0==a8^post_27 && flag10^0==flag10^post_27 && flag211^0==flag211^post_27 && i3^0==i3^post_27 && ir4^0==ir4^post_27 && j5^0==j5^post_27 && k1^0==k1^post_27 && l6^0==l6^post_27 && mid7^0==mid7^post_27 && n2^0==n2^post_27 ], cost: 1
     27: l17 -> l16 : __const_10^0'=__const_10^post_28, __const_20^0'=__const_20^post_28, a8^0'=a8^post_28, flag10^0'=flag10^post_28, flag211^0'=flag211^post_28, i3^0'=i3^post_28, ir4^0'=ir4^post_28, j5^0'=j5^post_28, k1^0'=k1^post_28, l6^0'=l6^post_28, mid7^0'=mid7^post_28, n2^0'=n2^post_28, temp9^0'=temp9^post_28, [ __const_10^0==__const_10^post_28 && __const_20^0==__const_20^post_28 && a8^0==a8^post_28 && flag10^0==flag10^post_28 && flag211^0==flag211^post_28 && i3^0==i3^post_28 && ir4^0==ir4^post_28 && j5^0==j5^post_28 && k1^0==k1^post_28 && l6^0==l6^post_28 && mid7^0==mid7^post_28 && n2^0==n2^post_28 && temp9^0==temp9^post_28 ], cost: 1
     28: l18 -> l1 : __const_10^0'=__const_10^post_29, __const_20^0'=__const_20^post_29, a8^0'=a8^post_29, flag10^0'=flag10^post_29, flag211^0'=flag211^post_29, i3^0'=i3^post_29, ir4^0'=ir4^post_29, j5^0'=j5^post_29, k1^0'=k1^post_29, l6^0'=l6^post_29, mid7^0'=mid7^post_29, n2^0'=n2^post_29, temp9^0'=temp9^post_29, [ 1<=flag10^0 && __const_10^0==__const_10^post_29 && __const_20^0==__const_20^post_29 && a8^0==a8^post_29 && flag10^0==flag10^post_29 && flag211^0==flag211^post_29 && i3^0==i3^post_29 && ir4^0==ir4^post_29 && j5^0==j5^post_29 && k1^0==k1^post_29 && l6^0==l6^post_29 && mid7^0==mid7^post_29 && n2^0==n2^post_29 && temp9^0==temp9^post_29 ], cost: 1
     29: l18 -> l1 : __const_10^0'=__const_10^post_30, __const_20^0'=__const_20^post_30, a8^0'=a8^post_30, flag10^0'=flag10^post_30, flag211^0'=flag211^post_30, i3^0'=i3^post_30, ir4^0'=ir4^post_30, j5^0'=j5^post_30, k1^0'=k1^post_30, l6^0'=l6^post_30, mid7^0'=mid7^post_30, n2^0'=n2^post_30, temp9^0'=temp9^post_30, [ 1+flag10^0<=0 && __const_10^0==__const_10^post_30 && __const_20^0==__const_20^post_30 && a8^0==a8^post_30 && flag10^0==flag10^post_30 && flag211^0==flag211^post_30 && i3^0==i3^post_30 && ir4^0==ir4^post_30 && j5^0==j5^post_30 && k1^0==k1^post_30 && l6^0==l6^post_30 && mid7^0==mid7^post_30 && n2^0==n2^post_30 && temp9^0==temp9^post_30 ], cost: 1
     30: l18 -> l17 : __const_10^0'=__const_10^post_31, __const_20^0'=__const_20^post_31, a8^0'=a8^post_31, flag10^0'=flag10^post_31, flag211^0'=flag211^post_31, i3^0'=i3^post_31, ir4^0'=ir4^post_31, j5^0'=j5^post_31, k1^0'=k1^post_31, l6^0'=l6^post_31, mid7^0'=mid7^post_31, n2^0'=n2^post_31, temp9^0'=temp9^post_31, [ flag10^0<=0 && 0<=flag10^0 && mid7^post_31==mid7^post_31 && temp9^post_31==temp9^post_31 && __const_10^0==__const_10^post_31 && __const_20^0==__const_20^post_31 && a8^0==a8^post_31 && flag10^0==flag10^post_31 && flag211^0==flag211^post_31 && i3^0==i3^post_31 && ir4^0==ir4^post_31 && j5^0==j5^post_31 && k1^0==k1^post_31 && l6^0==l6^post_31 && n2^0==n2^post_31 ], cost: 1
     32: l19 -> l1 : __const_10^0'=__const_10^post_33, __const_20^0'=__const_20^post_33, a8^0'=a8^post_33, flag10^0'=flag10^post_33, flag211^0'=flag211^post_33, i3^0'=i3^post_33, ir4^0'=ir4^post_33, j5^0'=j5^post_33, k1^0'=k1^post_33, l6^0'=l6^post_33, mid7^0'=mid7^post_33, n2^0'=n2^post_33, temp9^0'=temp9^post_33, [ flag10^post_33==1 && __const_10^0==__const_10^post_33 && __const_20^0==__const_20^post_33 && a8^0==a8^post_33 && flag211^0==flag211^post_33 && i3^0==i3^post_33 && ir4^0==ir4^post_33 && j5^0==j5^post_33 && k1^0==k1^post_33 && l6^0==l6^post_33 && mid7^0==mid7^post_33 && n2^0==n2^post_33 && temp9^0==temp9^post_33 ], cost: 1
     33: l20 -> l19 : __const_10^0'=__const_10^post_34, __const_20^0'=__const_20^post_34, a8^0'=a8^post_34, flag10^0'=flag10^post_34, flag211^0'=flag211^post_34, i3^0'=i3^post_34, ir4^0'=ir4^post_34, j5^0'=j5^post_34, k1^0'=k1^post_34, l6^0'=l6^post_34, mid7^0'=mid7^post_34, n2^0'=n2^post_34, temp9^0'=temp9^post_34, [ temp9^post_34==temp9^post_34 && __const_10^0==__const_10^post_34 && __const_20^0==__const_20^post_34 && a8^0==a8^post_34 && flag10^0==flag10^post_34 && flag211^0==flag211^post_34 && i3^0==i3^post_34 && ir4^0==ir4^post_34 && j5^0==j5^post_34 && k1^0==k1^post_34 && l6^0==l6^post_34 && mid7^0==mid7^post_34 && n2^0==n2^post_34 ], cost: 1
     34: l20 -> l19 : __const_10^0'=__const_10^post_35, __const_20^0'=__const_20^post_35, a8^0'=a8^post_35, flag10^0'=flag10^post_35, flag211^0'=flag211^post_35, i3^0'=i3^post_35, ir4^0'=ir4^post_35, j5^0'=j5^post_35, k1^0'=k1^post_35, l6^0'=l6^post_35, mid7^0'=mid7^post_35, n2^0'=n2^post_35, temp9^0'=temp9^post_35, [ __const_10^0==__const_10^post_35 && __const_20^0==__const_20^post_35 && a8^0==a8^post_35 && flag10^0==flag10^post_35 && flag211^0==flag211^post_35 && i3^0==i3^post_35 && ir4^0==ir4^post_35 && j5^0==j5^post_35 && k1^0==k1^post_35 && l6^0==l6^post_35 && mid7^0==mid7^post_35 && n2^0==n2^post_35 && temp9^0==temp9^post_35 ], cost: 1
     35: l21 -> l19 : __const_10^0'=__const_10^post_36, __const_20^0'=__const_20^post_36, a8^0'=a8^post_36, flag10^0'=flag10^post_36, flag211^0'=flag211^post_36, i3^0'=i3^post_36, ir4^0'=ir4^post_36, j5^0'=j5^post_36, k1^0'=k1^post_36, l6^0'=l6^post_36, mid7^0'=mid7^post_36, n2^0'=n2^post_36, temp9^0'=temp9^post_36, [ 2+l6^0<=ir4^0 && __const_10^0==__const_10^post_36 && __const_20^0==__const_20^post_36 && a8^0==a8^post_36 && flag10^0==flag10^post_36 && flag211^0==flag211^post_36 && i3^0==i3^post_36 && ir4^0==ir4^post_36 && j5^0==j5^post_36 && k1^0==k1^post_36 && l6^0==l6^post_36 && mid7^0==mid7^post_36 && n2^0==n2^post_36 && temp9^0==temp9^post_36 ], cost: 1
     36: l21 -> l19 : __const_10^0'=__const_10^post_37, __const_20^0'=__const_20^post_37, a8^0'=a8^post_37, flag10^0'=flag10^post_37, flag211^0'=flag211^post_37, i3^0'=i3^post_37, ir4^0'=ir4^post_37, j5^0'=j5^post_37, k1^0'=k1^post_37, l6^0'=l6^post_37, mid7^0'=mid7^post_37, n2^0'=n2^post_37, temp9^0'=temp9^post_37, [ 1+ir4^0<=1+l6^0 && __const_10^0==__const_10^post_37 && __const_20^0==__const_20^post_37 && a8^0==a8^post_37 && flag10^0==flag10^post_37 && flag211^0==flag211^post_37 && i3^0==i3^post_37 && ir4^0==ir4^post_37 && j5^0==j5^post_37 && k1^0==k1^post_37 && l6^0==l6^post_37 && mid7^0==mid7^post_37 && n2^0==n2^post_37 && temp9^0==temp9^post_37 ], cost: 1
     37: l21 -> l20 : __const_10^0'=__const_10^post_38, __const_20^0'=__const_20^post_38, a8^0'=a8^post_38, flag10^0'=flag10^post_38, flag211^0'=flag211^post_38, i3^0'=i3^post_38, ir4^0'=ir4^post_38, j5^0'=j5^post_38, k1^0'=k1^post_38, l6^0'=l6^post_38, mid7^0'=mid7^post_38, n2^0'=n2^post_38, temp9^0'=temp9^post_38, [ ir4^0<=1+l6^0 && 1+l6^0<=ir4^0 && __const_10^0==__const_10^post_38 && __const_20^0==__const_20^post_38 && a8^0==a8^post_38 && flag10^0==flag10^post_38 && flag211^0==flag211^post_38 && i3^0==i3^post_38 && ir4^0==ir4^post_38 && j5^0==j5^post_38 && k1^0==k1^post_38 && l6^0==l6^post_38 && mid7^0==mid7^post_38 && n2^0==n2^post_38 && temp9^0==temp9^post_38 ], cost: 1
     39: l24 -> l18 : __const_10^0'=__const_10^post_40, __const_20^0'=__const_20^post_40, a8^0'=a8^post_40, flag10^0'=flag10^post_40, flag211^0'=flag211^post_40, i3^0'=i3^post_40, ir4^0'=ir4^post_40, j5^0'=j5^post_40, k1^0'=k1^post_40, l6^0'=l6^post_40, mid7^0'=mid7^post_40, n2^0'=n2^post_40, temp9^0'=temp9^post_40, [ 2+l6^0<=ir4^0 && __const_10^0==__const_10^post_40 && __const_20^0==__const_20^post_40 && a8^0==a8^post_40 && flag10^0==flag10^post_40 && flag211^0==flag211^post_40 && i3^0==i3^post_40 && ir4^0==ir4^post_40 && j5^0==j5^post_40 && k1^0==k1^post_40 && l6^0==l6^post_40 && mid7^0==mid7^post_40 && n2^0==n2^post_40 && temp9^0==temp9^post_40 ], cost: 1
     40: l24 -> l21 : __const_10^0'=__const_10^post_41, __const_20^0'=__const_20^post_41, a8^0'=a8^post_41, flag10^0'=flag10^post_41, flag211^0'=flag211^post_41, i3^0'=i3^post_41, ir4^0'=ir4^post_41, j5^0'=j5^post_41, k1^0'=k1^post_41, l6^0'=l6^post_41, mid7^0'=mid7^post_41, n2^0'=n2^post_41, temp9^0'=temp9^post_41, [ ir4^0<=1+l6^0 && __const_10^0==__const_10^post_41 && __const_20^0==__const_20^post_41 && a8^0==a8^post_41 && flag10^0==flag10^post_41 && flag211^0==flag211^post_41 && i3^0==i3^post_41 && ir4^0==ir4^post_41 && j5^0==j5^post_41 && k1^0==k1^post_41 && l6^0==l6^post_41 && mid7^0==mid7^post_41 && n2^0==n2^post_41 && temp9^0==temp9^post_41 ], cost: 1
     44: l25 -> l1 : __const_10^0'=__const_10^post_45, __const_20^0'=__const_20^post_45, a8^0'=a8^post_45, flag10^0'=flag10^post_45, flag211^0'=flag211^post_45, i3^0'=i3^post_45, ir4^0'=ir4^post_45, j5^0'=j5^post_45, k1^0'=k1^post_45, l6^0'=l6^post_45, mid7^0'=mid7^post_45, n2^0'=n2^post_45, temp9^0'=temp9^post_45, [ k1^post_45==__const_10^0 && n2^post_45==__const_20^0 && l6^post_45==1 && ir4^post_45==n2^post_45 && flag211^post_45==0 && flag10^post_45==flag211^post_45 && __const_10^0==__const_10^post_45 && __const_20^0==__const_20^post_45 && a8^0==a8^post_45 && i3^0==i3^post_45 && j5^0==j5^post_45 && mid7^0==mid7^post_45 && temp9^0==temp9^post_45 ], cost: 1
     45: l26 -> l25 : __const_10^0'=__const_10^post_46, __const_20^0'=__const_20^post_46, a8^0'=a8^post_46, flag10^0'=flag10^post_46, flag211^0'=flag211^post_46, i3^0'=i3^post_46, ir4^0'=ir4^post_46, j5^0'=j5^post_46, k1^0'=k1^post_46, l6^0'=l6^post_46, mid7^0'=mid7^post_46, n2^0'=n2^post_46, temp9^0'=temp9^post_46, [ __const_10^0==__const_10^post_46 && __const_20^0==__const_20^post_46 && a8^0==a8^post_46 && flag10^0==flag10^post_46 && flag211^0==flag211^post_46 && i3^0==i3^post_46 && ir4^0==ir4^post_46 && j5^0==j5^post_46 && k1^0==k1^post_46 && l6^0==l6^post_46 && mid7^0==mid7^post_46 && n2^0==n2^post_46 && temp9^0==temp9^post_46 ], cost: 1

Simplified all rules, resulting in:
   Start location: l26
      0: l0 -> l1 : [ 1+k1^0<=j5^0 ], cost: 1
      1: l0 -> l1 : l6^0'=i3^0, [ j5^0<=k1^0 ], cost: 1
     10: l1 -> l7 : [], cost: 1
      2: l2 -> l0 : [ 1+j5^0<=k1^0 ], cost: 1
      3: l2 -> l0 : ir4^0'=-1+j5^0, [ k1^0<=j5^0 ], cost: 1
      4: l3 -> l4 : [], cost: 1
     19: l4 -> l13 : [], cost: 1
      5: l5 -> l3 : [ 1<=flag211^0 ], cost: 1
      6: l5 -> l3 : [ 1+flag211^0<=0 ], cost: 1
      7: l5 -> l3 : temp9^0'=temp9^post_8, [ flag211^0==0 ], cost: 1
      8: l6 -> l5 : [ i3^0<=j5^0 ], cost: 1
      9: l6 -> l5 : flag211^0'=1, [ 1+j5^0<=i3^0 ], cost: 1
     43: l7 -> l24 : [ flag10^0==0 ], cost: 1
     11: l8 -> l9 : j5^0'=-1+j5^0, [], cost: 1
     12: l8 -> l6 : [], cost: 1
     31: l9 -> l8 : [], cost: 1
     13: l10 -> l11 : i3^0'=1+i3^0, [], cost: 1
     14: l10 -> l9 : j5^0'=-1+j5^0, [], cost: 1
     23: l11 -> l10 : [], cost: 1
     15: l12 -> l2 : [], cost: 1
     16: l13 -> l12 : [ 1<=flag211^0 ], cost: 1
     17: l13 -> l12 : [ 1+flag211^0<=0 ], cost: 1
     18: l13 -> l11 : i3^0'=1+i3^0, [ flag211^0==0 ], cost: 1
     20: l14 -> l4 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, [], cost: 1
     21: l15 -> l14 : temp9^0'=temp9^post_22, [], cost: 1
     22: l15 -> l14 : [], cost: 1
     24: l16 -> l15 : temp9^0'=temp9^post_25, [], cost: 1
     25: l16 -> l15 : [], cost: 1
     26: l17 -> l16 : temp9^0'=temp9^post_27, [], cost: 1
     27: l17 -> l16 : [], cost: 1
     28: l18 -> l1 : [ 1<=flag10^0 ], cost: 1
     29: l18 -> l1 : [ 1+flag10^0<=0 ], cost: 1
     30: l18 -> l17 : mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 ], cost: 1
     32: l19 -> l1 : flag10^0'=1, [], cost: 1
     33: l20 -> l19 : temp9^0'=temp9^post_34, [], cost: 1
     34: l20 -> l19 : [], cost: 1
     35: l21 -> l19 : [ 2+l6^0<=ir4^0 ], cost: 1
     36: l21 -> l19 : [ 1+ir4^0<=1+l6^0 ], cost: 1
     37: l21 -> l20 : [ -1-l6^0+ir4^0==0 ], cost: 1
     39: l24 -> l18 : [ 2+l6^0<=ir4^0 ], cost: 1
     40: l24 -> l21 : [ ir4^0<=1+l6^0 ], cost: 1
     44: l25 -> l1 : flag10^0'=0, flag211^0'=0, ir4^0'=__const_20^0, k1^0'=__const_10^0, l6^0'=1, n2^0'=__const_20^0, [], cost: 1
     45: l26 -> l25 : [], cost: 1

### Simplification by acceleration and chaining ###

Eliminated locations (on linear paths):
   Start location: l26
      0: l0 -> l1 : [ 1+k1^0<=j5^0 ], cost: 1
      1: l0 -> l1 : l6^0'=i3^0, [ j5^0<=k1^0 ], cost: 1
     47: l1 -> l24 : [ flag10^0==0 ], cost: 2
      2: l2 -> l0 : [ 1+j5^0<=k1^0 ], cost: 1
      3: l2 -> l0 : ir4^0'=-1+j5^0, [ k1^0<=j5^0 ], cost: 1
      4: l3 -> l4 : [], cost: 1
     19: l4 -> l13 : [], cost: 1
      5: l5 -> l3 : [ 1<=flag211^0 ], cost: 1
      6: l5 -> l3 : [ 1+flag211^0<=0 ], cost: 1
      7: l5 -> l3 : temp9^0'=temp9^post_8, [ flag211^0==0 ], cost: 1
      8: l6 -> l5 : [ i3^0<=j5^0 ], cost: 1
      9: l6 -> l5 : flag211^0'=1, [ 1+j5^0<=i3^0 ], cost: 1
     11: l8 -> l9 : j5^0'=-1+j5^0, [], cost: 1
     12: l8 -> l6 : [], cost: 1
     31: l9 -> l8 : [], cost: 1
     13: l10 -> l11 : i3^0'=1+i3^0, [], cost: 1
     14: l10 -> l9 : j5^0'=-1+j5^0, [], cost: 1
     23: l11 -> l10 : [], cost: 1
     15: l12 -> l2 : [], cost: 1
     16: l13 -> l12 : [ 1<=flag211^0 ], cost: 1
     17: l13 -> l12 : [ 1+flag211^0<=0 ], cost: 1
     18: l13 -> l11 : i3^0'=1+i3^0, [ flag211^0==0 ], cost: 1
     20: l14 -> l4 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, [], cost: 1
     21: l15 -> l14 : temp9^0'=temp9^post_22, [], cost: 1
     22: l15 -> l14 : [], cost: 1
     24: l16 -> l15 : temp9^0'=temp9^post_25, [], cost: 1
     25: l16 -> l15 : [], cost: 1
     26: l17 -> l16 : temp9^0'=temp9^post_27, [], cost: 1
     27: l17 -> l16 : [], cost: 1
     28: l18 -> l1 : [ 1<=flag10^0 ], cost: 1
     29: l18 -> l1 : [ 1+flag10^0<=0 ], cost: 1
     30: l18 -> l17 : mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 ], cost: 1
     32: l19 -> l1 : flag10^0'=1, [], cost: 1
     33: l20 -> l19 : temp9^0'=temp9^post_34, [], cost: 1
     34: l20 -> l19 : [], cost: 1
     35: l21 -> l19 : [ 2+l6^0<=ir4^0 ], cost: 1
     36: l21 -> l19 : [ 1+ir4^0<=1+l6^0 ], cost: 1
     37: l21 -> l20 : [ -1-l6^0+ir4^0==0 ], cost: 1
     39: l24 -> l18 : [ 2+l6^0<=ir4^0 ], cost: 1
     40: l24 -> l21 : [ ir4^0<=1+l6^0 ], cost: 1
     46: l26 -> l1 : flag10^0'=0, flag211^0'=0, ir4^0'=__const_20^0, k1^0'=__const_10^0, l6^0'=1, n2^0'=__const_20^0, [], cost: 2

Eliminated locations (on tree-shaped paths):
   Start location: l26
      0: l0 -> l1 : [ 1+k1^0<=j5^0 ], cost: 1
      1: l0 -> l1 : l6^0'=i3^0, [ j5^0<=k1^0 ], cost: 1
     48: l1 -> l18 : [ flag10^0==0 && 2+l6^0<=ir4^0 ], cost: 3
     49: l1 -> l21 : [ flag10^0==0 && ir4^0<=1+l6^0 ], cost: 3
      4: l3 -> l4 : [], cost: 1
     56: l4 -> l12 : [ 1<=flag211^0 ], cost: 2
     57: l4 -> l12 : [ 1+flag211^0<=0 ], cost: 2
     58: l4 -> l11 : i3^0'=1+i3^0, [ flag211^0==0 ], cost: 2
     63: l6 -> l3 : [ i3^0<=j5^0 && 1<=flag211^0 ], cost: 2
     64: l6 -> l3 : [ i3^0<=j5^0 && 1+flag211^0<=0 ], cost: 2
     65: l6 -> l3 : temp9^0'=temp9^post_8, [ i3^0<=j5^0 && flag211^0==0 ], cost: 2
     66: l6 -> l3 : flag211^0'=1, [ 1+j5^0<=i3^0 ], cost: 2
     61: l9 -> l9 : j5^0'=-1+j5^0, [], cost: 2
     62: l9 -> l6 : [], cost: 2
     59: l11 -> l11 : i3^0'=1+i3^0, [], cost: 2
     60: l11 -> l9 : j5^0'=-1+j5^0, [], cost: 2
     67: l12 -> l0 : [ 1+j5^0<=k1^0 ], cost: 2
     68: l12 -> l0 : ir4^0'=-1+j5^0, [ k1^0<=j5^0 ], cost: 2
     20: l14 -> l4 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, [], cost: 1
     52: l16 -> l14 : temp9^0'=temp9^post_22, [], cost: 2
     53: l16 -> l14 : temp9^0'=temp9^post_25, [], cost: 2
     54: l16 -> l14 : temp9^0'=temp9^post_22, [], cost: 2
     55: l16 -> l14 : [], cost: 2
     28: l18 -> l1 : [ 1<=flag10^0 ], cost: 1
     29: l18 -> l1 : [ 1+flag10^0<=0 ], cost: 1
     50: l18 -> l16 : mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 ], cost: 2
     51: l18 -> l16 : mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 ], cost: 2
     32: l19 -> l1 : flag10^0'=1, [], cost: 1
     35: l21 -> l19 : [ 2+l6^0<=ir4^0 ], cost: 1
     36: l21 -> l19 : [ 1+ir4^0<=1+l6^0 ], cost: 1
     69: l21 -> l19 : temp9^0'=temp9^post_34, [ -1-l6^0+ir4^0==0 ], cost: 2
     70: l21 -> l19 : [ -1-l6^0+ir4^0==0 ], cost: 2
     46: l26 -> l1 : flag10^0'=0, flag211^0'=0, ir4^0'=__const_20^0, k1^0'=__const_10^0, l6^0'=1, n2^0'=__const_20^0, [], cost: 2

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

   Accelerated rule 61 with non-termination, yielding the new rule 71.
[accelerate] Nesting with 0 inner and 0 outer candidates
   Removing the simple loops: 61.

Accelerating simple loops of location 11.
   Accelerating the following rules:
     59: l11 -> l11 : i3^0'=1+i3^0, [], cost: 2

   Accelerated rule 59 with non-termination, yielding the new rule 72.
[accelerate] Nesting with 0 inner and 0 outer candidates
   Removing the simple loops: 59.

Accelerated all simple loops using metering functions (where possible):
   Start location: l26
      0: l0 -> l1 : [ 1+k1^0<=j5^0 ], cost: 1
      1: l0 -> l1 : l6^0'=i3^0, [ j5^0<=k1^0 ], cost: 1
     48: l1 -> l18 : [ flag10^0==0 && 2+l6^0<=ir4^0 ], cost: 3
     49: l1 -> l21 : [ flag10^0==0 && ir4^0<=1+l6^0 ], cost: 3
      4: l3 -> l4 : [], cost: 1
     56: l4 -> l12 : [ 1<=flag211^0 ], cost: 2
     57: l4 -> l12 : [ 1+flag211^0<=0 ], cost: 2
     58: l4 -> l11 : i3^0'=1+i3^0, [ flag211^0==0 ], cost: 2
     63: l6 -> l3 : [ i3^0<=j5^0 && 1<=flag211^0 ], cost: 2
     64: l6 -> l3 : [ i3^0<=j5^0 && 1+flag211^0<=0 ], cost: 2
     65: l6 -> l3 : temp9^0'=temp9^post_8, [ i3^0<=j5^0 && flag211^0==0 ], cost: 2
     66: l6 -> l3 : flag211^0'=1, [ 1+j5^0<=i3^0 ], cost: 2
     62: l9 -> l6 : [], cost: 2
     71: l9 -> [27] : [], cost: NONTERM
     60: l11 -> l9 : j5^0'=-1+j5^0, [], cost: 2
     72: l11 -> [28] : [], cost: NONTERM
     67: l12 -> l0 : [ 1+j5^0<=k1^0 ], cost: 2
     68: l12 -> l0 : ir4^0'=-1+j5^0, [ k1^0<=j5^0 ], cost: 2
     20: l14 -> l4 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, [], cost: 1
     52: l16 -> l14 : temp9^0'=temp9^post_22, [], cost: 2
     53: l16 -> l14 : temp9^0'=temp9^post_25, [], cost: 2
     54: l16 -> l14 : temp9^0'=temp9^post_22, [], cost: 2
     55: l16 -> l14 : [], cost: 2
     28: l18 -> l1 : [ 1<=flag10^0 ], cost: 1
     29: l18 -> l1 : [ 1+flag10^0<=0 ], cost: 1
     50: l18 -> l16 : mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 ], cost: 2
     51: l18 -> l16 : mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 ], cost: 2
     32: l19 -> l1 : flag10^0'=1, [], cost: 1
     35: l21 -> l19 : [ 2+l6^0<=ir4^0 ], cost: 1
     36: l21 -> l19 : [ 1+ir4^0<=1+l6^0 ], cost: 1
     69: l21 -> l19 : temp9^0'=temp9^post_34, [ -1-l6^0+ir4^0==0 ], cost: 2
     70: l21 -> l19 : [ -1-l6^0+ir4^0==0 ], cost: 2
     46: l26 -> l1 : flag10^0'=0, flag211^0'=0, ir4^0'=__const_20^0, k1^0'=__const_10^0, l6^0'=1, n2^0'=__const_20^0, [], cost: 2

Chained accelerated rules (with incoming rules):
   Start location: l26
      0: l0 -> l1 : [ 1+k1^0<=j5^0 ], cost: 1
      1: l0 -> l1 : l6^0'=i3^0, [ j5^0<=k1^0 ], cost: 1
     48: l1 -> l18 : [ flag10^0==0 && 2+l6^0<=ir4^0 ], cost: 3
     49: l1 -> l21 : [ flag10^0==0 && ir4^0<=1+l6^0 ], cost: 3
      4: l3 -> l4 : [], cost: 1
     56: l4 -> l12 : [ 1<=flag211^0 ], cost: 2
     57: l4 -> l12 : [ 1+flag211^0<=0 ], cost: 2
     58: l4 -> l11 : i3^0'=1+i3^0, [ flag211^0==0 ], cost: 2
     74: l4 -> [28] : [ flag211^0==0 ], cost: NONTERM
     63: l6 -> l3 : [ i3^0<=j5^0 && 1<=flag211^0 ], cost: 2
     64: l6 -> l3 : [ i3^0<=j5^0 && 1+flag211^0<=0 ], cost: 2
     65: l6 -> l3 : temp9^0'=temp9^post_8, [ i3^0<=j5^0 && flag211^0==0 ], cost: 2
     66: l6 -> l3 : flag211^0'=1, [ 1+j5^0<=i3^0 ], cost: 2
     62: l9 -> l6 : [], cost: 2
     60: l11 -> l9 : j5^0'=-1+j5^0, [], cost: 2
     73: l11 -> [27] : [], cost: NONTERM
     67: l12 -> l0 : [ 1+j5^0<=k1^0 ], cost: 2
     68: l12 -> l0 : ir4^0'=-1+j5^0, [ k1^0<=j5^0 ], cost: 2
     20: l14 -> l4 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, [], cost: 1
     52: l16 -> l14 : temp9^0'=temp9^post_22, [], cost: 2
     53: l16 -> l14 : temp9^0'=temp9^post_25, [], cost: 2
     54: l16 -> l14 : temp9^0'=temp9^post_22, [], cost: 2
     55: l16 -> l14 : [], cost: 2
     28: l18 -> l1 : [ 1<=flag10^0 ], cost: 1
     29: l18 -> l1 : [ 1+flag10^0<=0 ], cost: 1
     50: l18 -> l16 : mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 ], cost: 2
     51: l18 -> l16 : mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 ], cost: 2
     32: l19 -> l1 : flag10^0'=1, [], cost: 1
     35: l21 -> l19 : [ 2+l6^0<=ir4^0 ], cost: 1
     36: l21 -> l19 : [ 1+ir4^0<=1+l6^0 ], cost: 1
     69: l21 -> l19 : temp9^0'=temp9^post_34, [ -1-l6^0+ir4^0==0 ], cost: 2
     70: l21 -> l19 : [ -1-l6^0+ir4^0==0 ], cost: 2
     46: l26 -> l1 : flag10^0'=0, flag211^0'=0, ir4^0'=__const_20^0, k1^0'=__const_10^0, l6^0'=1, n2^0'=__const_20^0, [], cost: 2

Eliminated locations (on linear paths):
   Start location: l26
      0: l0 -> l1 : [ 1+k1^0<=j5^0 ], cost: 1
      1: l0 -> l1 : l6^0'=i3^0, [ j5^0<=k1^0 ], cost: 1
     48: l1 -> l18 : [ flag10^0==0 && 2+l6^0<=ir4^0 ], cost: 3
     49: l1 -> l21 : [ flag10^0==0 && ir4^0<=1+l6^0 ], cost: 3
      4: l3 -> l4 : [], cost: 1
     56: l4 -> l12 : [ 1<=flag211^0 ], cost: 2
     57: l4 -> l12 : [ 1+flag211^0<=0 ], cost: 2
     58: l4 -> l11 : i3^0'=1+i3^0, [ flag211^0==0 ], cost: 2
     74: l4 -> [28] : [ flag211^0==0 ], cost: NONTERM
     63: l6 -> l3 : [ i3^0<=j5^0 && 1<=flag211^0 ], cost: 2
     64: l6 -> l3 : [ i3^0<=j5^0 && 1+flag211^0<=0 ], cost: 2
     65: l6 -> l3 : temp9^0'=temp9^post_8, [ i3^0<=j5^0 && flag211^0==0 ], cost: 2
     66: l6 -> l3 : flag211^0'=1, [ 1+j5^0<=i3^0 ], cost: 2
     73: l11 -> [27] : [], cost: NONTERM
     75: l11 -> l6 : j5^0'=-1+j5^0, [], cost: 4
     67: l12 -> l0 : [ 1+j5^0<=k1^0 ], cost: 2
     68: l12 -> l0 : ir4^0'=-1+j5^0, [ k1^0<=j5^0 ], cost: 2
     20: l14 -> l4 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, [], cost: 1
     52: l16 -> l14 : temp9^0'=temp9^post_22, [], cost: 2
     53: l16 -> l14 : temp9^0'=temp9^post_25, [], cost: 2
     54: l16 -> l14 : temp9^0'=temp9^post_22, [], cost: 2
     55: l16 -> l14 : [], cost: 2
     28: l18 -> l1 : [ 1<=flag10^0 ], cost: 1
     29: l18 -> l1 : [ 1+flag10^0<=0 ], cost: 1
     50: l18 -> l16 : mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 ], cost: 2
     51: l18 -> l16 : mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 ], cost: 2
     32: l19 -> l1 : flag10^0'=1, [], cost: 1
     35: l21 -> l19 : [ 2+l6^0<=ir4^0 ], cost: 1
     36: l21 -> l19 : [ 1+ir4^0<=1+l6^0 ], cost: 1
     69: l21 -> l19 : temp9^0'=temp9^post_34, [ -1-l6^0+ir4^0==0 ], cost: 2
     70: l21 -> l19 : [ -1-l6^0+ir4^0==0 ], cost: 2
     46: l26 -> l1 : flag10^0'=0, flag211^0'=0, ir4^0'=__const_20^0, k1^0'=__const_10^0, l6^0'=1, n2^0'=__const_20^0, [], cost: 2

Eliminated locations (on tree-shaped paths):
   Start location: l26
      0: l0 -> l1 : [ 1+k1^0<=j5^0 ], cost: 1
      1: l0 -> l1 : l6^0'=i3^0, [ j5^0<=k1^0 ], cost: 1
     76: l1 -> l16 : mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0<=ir4^0 ], cost: 5
     77: l1 -> l16 : mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 2+l6^0<=ir4^0 ], cost: 5
     78: l1 -> l19 : [ flag10^0==0 && 1+ir4^0<=1+l6^0 ], cost: 4
     79: l1 -> l19 : temp9^0'=temp9^post_34, [ flag10^0==0 && -1-l6^0+ir4^0==0 ], cost: 5
     80: l1 -> l19 : [ flag10^0==0 && -1-l6^0+ir4^0==0 ], cost: 5
     74: l4 -> [28] : [ flag211^0==0 ], cost: NONTERM
     85: l4 -> [27] : [ flag211^0==0 ], cost: NONTERM
     86: l4 -> l6 : i3^0'=1+i3^0, j5^0'=-1+j5^0, [ flag211^0==0 ], cost: 6
     87: l4 -> l0 : [ 1<=flag211^0 && 1+j5^0<=k1^0 ], cost: 4
     88: l4 -> l0 : ir4^0'=-1+j5^0, [ 1<=flag211^0 && k1^0<=j5^0 ], cost: 4
     89: l4 -> l0 : [ 1+flag211^0<=0 && 1+j5^0<=k1^0 ], cost: 4
     90: l4 -> l0 : ir4^0'=-1+j5^0, [ 1+flag211^0<=0 && k1^0<=j5^0 ], cost: 4
     91: l6 -> l4 : [ i3^0<=j5^0 && 1<=flag211^0 ], cost: 3
     92: l6 -> l4 : [ i3^0<=j5^0 && 1+flag211^0<=0 ], cost: 3
     93: l6 -> l4 : temp9^0'=temp9^post_8, [ i3^0<=j5^0 && flag211^0==0 ], cost: 3
     94: l6 -> l4 : flag211^0'=1, [ 1+j5^0<=i3^0 ], cost: 3
     81: l16 -> l4 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, temp9^0'=temp9^post_22, [], cost: 3
     82: l16 -> l4 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, temp9^0'=temp9^post_25, [], cost: 3
     83: l16 -> l4 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, temp9^0'=temp9^post_22, [], cost: 3
     84: l16 -> l4 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, [], cost: 3
     32: l19 -> l1 : flag10^0'=1, [], cost: 1
     46: l26 -> l1 : flag10^0'=0, flag211^0'=0, ir4^0'=__const_20^0, k1^0'=__const_10^0, l6^0'=1, n2^0'=__const_20^0, [], cost: 2

Merged rules:
   Start location: l26
      0: l0 -> l1 : [ 1+k1^0<=j5^0 ], cost: 1
      1: l0 -> l1 : l6^0'=i3^0, [ j5^0<=k1^0 ], cost: 1
     76: l1 -> l16 : mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0<=ir4^0 ], cost: 5
     77: l1 -> l16 : mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 2+l6^0<=ir4^0 ], cost: 5
     78: l1 -> l19 : [ flag10^0==0 && 1+ir4^0<=1+l6^0 ], cost: 4
     79: l1 -> l19 : temp9^0'=temp9^post_34, [ flag10^0==0 && -1-l6^0+ir4^0==0 ], cost: 5
     80: l1 -> l19 : [ flag10^0==0 && -1-l6^0+ir4^0==0 ], cost: 5
     74: l4 -> [28] : [ flag211^0==0 ], cost: NONTERM
     85: l4 -> [27] : [ flag211^0==0 ], cost: NONTERM
     86: l4 -> l6 : i3^0'=1+i3^0, j5^0'=-1+j5^0, [ flag211^0==0 ], cost: 6
     87: l4 -> l0 : [ 1<=flag211^0 && 1+j5^0<=k1^0 ], cost: 4
     88: l4 -> l0 : ir4^0'=-1+j5^0, [ 1<=flag211^0 && k1^0<=j5^0 ], cost: 4
     89: l4 -> l0 : [ 1+flag211^0<=0 && 1+j5^0<=k1^0 ], cost: 4
     90: l4 -> l0 : ir4^0'=-1+j5^0, [ 1+flag211^0<=0 && k1^0<=j5^0 ], cost: 4
     91: l6 -> l4 : [ i3^0<=j5^0 && 1<=flag211^0 ], cost: 3
     92: l6 -> l4 : [ i3^0<=j5^0 && 1+flag211^0<=0 ], cost: 3
     93: l6 -> l4 : temp9^0'=temp9^post_8, [ i3^0<=j5^0 && flag211^0==0 ], cost: 3
     94: l6 -> l4 : flag211^0'=1, [ 1+j5^0<=i3^0 ], cost: 3
     82: l16 -> l4 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, temp9^0'=temp9^post_25, [], cost: 3
     84: l16 -> l4 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, [], cost: 3
     95: l16 -> l4 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, temp9^0'=temp9^post_22, [], cost: 3
     32: l19 -> l1 : flag10^0'=1, [], cost: 1
     46: l26 -> l1 : flag10^0'=0, flag211^0'=0, ir4^0'=__const_20^0, k1^0'=__const_10^0, l6^0'=1, n2^0'=__const_20^0, [], cost: 2

Eliminated locations (on tree-shaped paths):
   Start location: l26
     96: l1 -> l4 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 2+l6^0<=ir4^0 ], cost: 8
     97: l1 -> l4 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0<=ir4^0 ], cost: 8
     98: l1 -> l4 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 2+l6^0<=ir4^0 ], cost: 8
     99: l1 -> l4 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 2+l6^0<=ir4^0 ], cost: 8
    100: l1 -> l4 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 2+l6^0<=ir4^0 ], cost: 8
    101: l1 -> l4 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 2+l6^0<=ir4^0 ], cost: 8
    102: l1 -> l1 : flag10^0'=1, [ flag10^0==0 && 1+ir4^0<=1+l6^0 ], cost: 5
    103: l1 -> l1 : flag10^0'=1, temp9^0'=temp9^post_34, [ flag10^0==0 && -1-l6^0+ir4^0==0 ], cost: 6
    104: l1 -> l1 : flag10^0'=1, [ flag10^0==0 && -1-l6^0+ir4^0==0 ], cost: 6
     74: l4 -> [28] : [ flag211^0==0 ], cost: NONTERM
     85: l4 -> [27] : [ flag211^0==0 ], cost: NONTERM
    105: l4 -> l1 : l6^0'=i3^0, [ 1<=flag211^0 && 1+j5^0<=k1^0 ], cost: 5
    106: l4 -> l1 : ir4^0'=-1+j5^0, [ 1<=flag211^0 && 1+k1^0<=j5^0 ], cost: 5
    107: l4 -> l1 : ir4^0'=-1+j5^0, l6^0'=i3^0, [ 1<=flag211^0 && k1^0<=j5^0 && j5^0<=k1^0 ], cost: 5
    108: l4 -> l1 : l6^0'=i3^0, [ 1+flag211^0<=0 && 1+j5^0<=k1^0 ], cost: 5
    109: l4 -> l1 : ir4^0'=-1+j5^0, [ 1+flag211^0<=0 && 1+k1^0<=j5^0 ], cost: 5
    110: l4 -> l1 : ir4^0'=-1+j5^0, l6^0'=i3^0, [ 1+flag211^0<=0 && k1^0<=j5^0 && j5^0<=k1^0 ], cost: 5
    111: l4 -> l4 : i3^0'=1+i3^0, j5^0'=-1+j5^0, temp9^0'=temp9^post_8, [ flag211^0==0 && 1+i3^0<=-1+j5^0 ], cost: 9
    112: l4 -> l4 : flag211^0'=1, i3^0'=1+i3^0, j5^0'=-1+j5^0, [ flag211^0==0 && j5^0<=1+i3^0 ], cost: 9
     46: l26 -> l1 : flag10^0'=0, flag211^0'=0, ir4^0'=__const_20^0, k1^0'=__const_10^0, l6^0'=1, n2^0'=__const_20^0, [], cost: 2

Merged rules:
   Start location: l26
     97: l1 -> l4 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0<=ir4^0 ], cost: 8
    100: l1 -> l4 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 2+l6^0<=ir4^0 ], cost: 8
    102: l1 -> l1 : flag10^0'=1, [ flag10^0==0 && 1+ir4^0<=1+l6^0 ], cost: 5
    103: l1 -> l1 : flag10^0'=1, temp9^0'=temp9^post_34, [ flag10^0==0 && -1-l6^0+ir4^0==0 ], cost: 6
    104: l1 -> l1 : flag10^0'=1, [ flag10^0==0 && -1-l6^0+ir4^0==0 ], cost: 6
    113: l1 -> l4 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 2+l6^0<=ir4^0 ], cost: 8
    114: l1 -> l4 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 2+l6^0<=ir4^0 ], cost: 8
     74: l4 -> [28] : [ flag211^0==0 ], cost: NONTERM
     85: l4 -> [27] : [ flag211^0==0 ], cost: NONTERM
    105: l4 -> l1 : l6^0'=i3^0, [ 1<=flag211^0 && 1+j5^0<=k1^0 ], cost: 5
    106: l4 -> l1 : ir4^0'=-1+j5^0, [ 1<=flag211^0 && 1+k1^0<=j5^0 ], cost: 5
    107: l4 -> l1 : ir4^0'=-1+j5^0, l6^0'=i3^0, [ 1<=flag211^0 && k1^0<=j5^0 && j5^0<=k1^0 ], cost: 5
    108: l4 -> l1 : l6^0'=i3^0, [ 1+flag211^0<=0 && 1+j5^0<=k1^0 ], cost: 5
    109: l4 -> l1 : ir4^0'=-1+j5^0, [ 1+flag211^0<=0 && 1+k1^0<=j5^0 ], cost: 5
    110: l4 -> l1 : ir4^0'=-1+j5^0, l6^0'=i3^0, [ 1+flag211^0<=0 && k1^0<=j5^0 && j5^0<=k1^0 ], cost: 5
    111: l4 -> l4 : i3^0'=1+i3^0, j5^0'=-1+j5^0, temp9^0'=temp9^post_8, [ flag211^0==0 && 1+i3^0<=-1+j5^0 ], cost: 9
    112: l4 -> l4 : flag211^0'=1, i3^0'=1+i3^0, j5^0'=-1+j5^0, [ flag211^0==0 && j5^0<=1+i3^0 ], cost: 9
     46: l26 -> l1 : flag10^0'=0, flag211^0'=0, ir4^0'=__const_20^0, k1^0'=__const_10^0, l6^0'=1, n2^0'=__const_20^0, [], cost: 2

Applied pruning (of leafs and parallel rules):
   Start location: l26
     97: l1 -> l4 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0<=ir4^0 ], cost: 8
    100: l1 -> l4 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 2+l6^0<=ir4^0 ], cost: 8
    102: l1 -> l1 : flag10^0'=1, [ flag10^0==0 && 1+ir4^0<=1+l6^0 ], cost: 5
    103: l1 -> l1 : flag10^0'=1, temp9^0'=temp9^post_34, [ flag10^0==0 && -1-l6^0+ir4^0==0 ], cost: 6
    104: l1 -> l1 : flag10^0'=1, [ flag10^0==0 && -1-l6^0+ir4^0==0 ], cost: 6
    113: l1 -> l4 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 2+l6^0<=ir4^0 ], cost: 8
    114: l1 -> l4 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 2+l6^0<=ir4^0 ], cost: 8
     74: l4 -> [28] : [ flag211^0==0 ], cost: NONTERM
     85: l4 -> [27] : [ flag211^0==0 ], cost: NONTERM
    105: l4 -> l1 : l6^0'=i3^0, [ 1<=flag211^0 && 1+j5^0<=k1^0 ], cost: 5
    106: l4 -> l1 : ir4^0'=-1+j5^0, [ 1<=flag211^0 && 1+k1^0<=j5^0 ], cost: 5
    107: l4 -> l1 : ir4^0'=-1+j5^0, l6^0'=i3^0, [ 1<=flag211^0 && k1^0<=j5^0 && j5^0<=k1^0 ], cost: 5
    108: l4 -> l1 : l6^0'=i3^0, [ 1+flag211^0<=0 && 1+j5^0<=k1^0 ], cost: 5
    110: l4 -> l1 : ir4^0'=-1+j5^0, l6^0'=i3^0, [ 1+flag211^0<=0 && k1^0<=j5^0 && j5^0<=k1^0 ], cost: 5
    111: l4 -> l4 : i3^0'=1+i3^0, j5^0'=-1+j5^0, temp9^0'=temp9^post_8, [ flag211^0==0 && 1+i3^0<=-1+j5^0 ], cost: 9
    112: l4 -> l4 : flag211^0'=1, i3^0'=1+i3^0, j5^0'=-1+j5^0, [ flag211^0==0 && j5^0<=1+i3^0 ], cost: 9
     46: l26 -> l1 : flag10^0'=0, flag211^0'=0, ir4^0'=__const_20^0, k1^0'=__const_10^0, l6^0'=1, n2^0'=__const_20^0, [], cost: 2

Accelerating simple loops of location 1.
   Accelerating the following rules:
    102: l1 -> l1 : flag10^0'=1, [ flag10^0==0 && 1+ir4^0<=1+l6^0 ], cost: 5
    103: l1 -> l1 : flag10^0'=1, temp9^0'=temp9^post_34, [ flag10^0==0 && -1-l6^0+ir4^0==0 ], cost: 6
    104: l1 -> l1 : flag10^0'=1, [ flag10^0==0 && -1-l6^0+ir4^0==0 ], cost: 6

   Failed to prove monotonicity of the guard of rule 102.
   Failed to prove monotonicity of the guard of rule 103.
   Failed to prove monotonicity of the guard of rule 104.
[accelerate] Nesting with 3 inner and 3 outer candidates

Accelerating simple loops of location 4.
   Accelerating the following rules:
    111: l4 -> l4 : i3^0'=1+i3^0, j5^0'=-1+j5^0, temp9^0'=temp9^post_8, [ flag211^0==0 && 1+i3^0<=-1+j5^0 ], cost: 9
    112: l4 -> l4 : flag211^0'=1, i3^0'=1+i3^0, j5^0'=-1+j5^0, [ flag211^0==0 && j5^0<=1+i3^0 ], cost: 9

   Accelerated rule 111 with backward acceleration, yielding the new rule 115.
   Failed to prove monotonicity of the guard of rule 112.
[accelerate] Nesting with 2 inner and 2 outer candidates
   Removing the simple loops: 111.

Accelerated all simple loops using metering functions (where possible):
   Start location: l26
     97: l1 -> l4 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0<=ir4^0 ], cost: 8
    100: l1 -> l4 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 2+l6^0<=ir4^0 ], cost: 8
    102: l1 -> l1 : flag10^0'=1, [ flag10^0==0 && 1+ir4^0<=1+l6^0 ], cost: 5
    103: l1 -> l1 : flag10^0'=1, temp9^0'=temp9^post_34, [ flag10^0==0 && -1-l6^0+ir4^0==0 ], cost: 6
    104: l1 -> l1 : flag10^0'=1, [ flag10^0==0 && -1-l6^0+ir4^0==0 ], cost: 6
    113: l1 -> l4 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 2+l6^0<=ir4^0 ], cost: 8
    114: l1 -> l4 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 2+l6^0<=ir4^0 ], cost: 8
     74: l4 -> [28] : [ flag211^0==0 ], cost: NONTERM
     85: l4 -> [27] : [ flag211^0==0 ], cost: NONTERM
    105: l4 -> l1 : l6^0'=i3^0, [ 1<=flag211^0 && 1+j5^0<=k1^0 ], cost: 5
    106: l4 -> l1 : ir4^0'=-1+j5^0, [ 1<=flag211^0 && 1+k1^0<=j5^0 ], cost: 5
    107: l4 -> l1 : ir4^0'=-1+j5^0, l6^0'=i3^0, [ 1<=flag211^0 && k1^0<=j5^0 && j5^0<=k1^0 ], cost: 5
    108: l4 -> l1 : l6^0'=i3^0, [ 1+flag211^0<=0 && 1+j5^0<=k1^0 ], cost: 5
    110: l4 -> l1 : ir4^0'=-1+j5^0, l6^0'=i3^0, [ 1+flag211^0<=0 && k1^0<=j5^0 && j5^0<=k1^0 ], cost: 5
    112: l4 -> l4 : flag211^0'=1, i3^0'=1+i3^0, j5^0'=-1+j5^0, [ flag211^0==0 && j5^0<=1+i3^0 ], cost: 9
    115: l4 -> l4 : i3^0'=i3^0+k, j5^0'=j5^0-k, temp9^0'=temp9^post_8, [ flag211^0==0 && k>=1 && i3^0+k<=j5^0-k ], cost: 9*k
     46: l26 -> l1 : flag10^0'=0, flag211^0'=0, ir4^0'=__const_20^0, k1^0'=__const_10^0, l6^0'=1, n2^0'=__const_20^0, [], cost: 2

Chained accelerated rules (with incoming rules):
   Start location: l26
     97: l1 -> l4 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0<=ir4^0 ], cost: 8
    100: l1 -> l4 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 2+l6^0<=ir4^0 ], cost: 8
    113: l1 -> l4 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 2+l6^0<=ir4^0 ], cost: 8
    114: l1 -> l4 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 2+l6^0<=ir4^0 ], cost: 8
    134: l1 -> l4 : a8^0'=a8^post_21, flag211^0'=1, i3^0'=2+l6^0, j5^0'=-1+ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 ], cost: 17
    135: l1 -> l4 : a8^0'=a8^post_21, flag211^0'=1, i3^0'=2+l6^0, j5^0'=-1+ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 ], cost: 17
    136: l1 -> l4 : a8^0'=a8^post_21, flag211^0'=1, i3^0'=2+l6^0, j5^0'=-1+ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 ], cost: 17
    137: l1 -> l4 : a8^0'=a8^post_21, flag211^0'=1, i3^0'=2+l6^0, j5^0'=-1+ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 ], cost: 17
    138: l1 -> l4 : a8^0'=a8^post_21, i3^0'=1+k+l6^0, j5^0'=-k+ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_8, [ flag10^0==0 && 2+l6^0<=ir4^0 && flag211^0==0 && k>=1 && 1+k+l6^0<=-k+ir4^0 ], cost: 8+9*k
    139: l1 -> l4 : a8^0'=a8^post_21, i3^0'=1+k+l6^0, j5^0'=-k+ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_8, [ flag10^0==0 && 2+l6^0<=ir4^0 && flag211^0==0 && k>=1 && 1+k+l6^0<=-k+ir4^0 ], cost: 8+9*k
    140: l1 -> l4 : a8^0'=a8^post_21, i3^0'=1+k+l6^0, j5^0'=-k+ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_8, [ flag10^0==0 && 2+l6^0<=ir4^0 && flag211^0==0 && k>=1 && 1+k+l6^0<=-k+ir4^0 ], cost: 8+9*k
    141: l1 -> l4 : a8^0'=a8^post_21, i3^0'=1+k+l6^0, j5^0'=-k+ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_8, [ flag10^0==0 && 2+l6^0<=ir4^0 && flag211^0==0 && k>=1 && 1+k+l6^0<=-k+ir4^0 ], cost: 8+9*k
     74: l4 -> [28] : [ flag211^0==0 ], cost: NONTERM
     85: l4 -> [27] : [ flag211^0==0 ], cost: NONTERM
    105: l4 -> l1 : l6^0'=i3^0, [ 1<=flag211^0 && 1+j5^0<=k1^0 ], cost: 5
    106: l4 -> l1 : ir4^0'=-1+j5^0, [ 1<=flag211^0 && 1+k1^0<=j5^0 ], cost: 5
    107: l4 -> l1 : ir4^0'=-1+j5^0, l6^0'=i3^0, [ 1<=flag211^0 && k1^0<=j5^0 && j5^0<=k1^0 ], cost: 5
    108: l4 -> l1 : l6^0'=i3^0, [ 1+flag211^0<=0 && 1+j5^0<=k1^0 ], cost: 5
    110: l4 -> l1 : ir4^0'=-1+j5^0, l6^0'=i3^0, [ 1+flag211^0<=0 && k1^0<=j5^0 && j5^0<=k1^0 ], cost: 5
    117: l4 -> l1 : flag10^0'=1, l6^0'=i3^0, [ 1<=flag211^0 && 1+j5^0<=k1^0 && flag10^0==0 && 1+ir4^0<=1+i3^0 ], cost: 10
    118: l4 -> l1 : flag10^0'=1, ir4^0'=-1+j5^0, [ 1<=flag211^0 && 1+k1^0<=j5^0 && flag10^0==0 && j5^0<=1+l6^0 ], cost: 10
    119: l4 -> l1 : flag10^0'=1, ir4^0'=-1+j5^0, l6^0'=i3^0, [ 1<=flag211^0 && -j5^0+k1^0==0 && flag10^0==0 && j5^0<=1+i3^0 ], cost: 10
    120: l4 -> l1 : flag10^0'=1, l6^0'=i3^0, [ 1+flag211^0<=0 && 1+j5^0<=k1^0 && flag10^0==0 && 1+ir4^0<=1+i3^0 ], cost: 10
    121: l4 -> l1 : flag10^0'=1, ir4^0'=-1+j5^0, l6^0'=i3^0, [ 1+flag211^0<=0 && -j5^0+k1^0==0 && flag10^0==0 && j5^0<=1+i3^0 ], cost: 10
    123: l4 -> l1 : flag10^0'=1, l6^0'=i3^0, temp9^0'=temp9^post_34, [ 1<=flag211^0 && 1+j5^0<=k1^0 && flag10^0==0 && -1-i3^0+ir4^0==0 ], cost: 11
    124: l4 -> l1 : flag10^0'=1, ir4^0'=-1+j5^0, temp9^0'=temp9^post_34, [ 1<=flag211^0 && 1+k1^0<=j5^0 && flag10^0==0 && -2+j5^0-l6^0==0 ], cost: 11
    125: l4 -> l1 : flag10^0'=1, ir4^0'=-1+j5^0, l6^0'=i3^0, temp9^0'=temp9^post_34, [ 1<=flag211^0 && -j5^0+k1^0==0 && flag10^0==0 && -2+j5^0-i3^0==0 ], cost: 11
    126: l4 -> l1 : flag10^0'=1, l6^0'=i3^0, temp9^0'=temp9^post_34, [ 1+flag211^0<=0 && 1+j5^0<=k1^0 && flag10^0==0 && -1-i3^0+ir4^0==0 ], cost: 11
    127: l4 -> l1 : flag10^0'=1, ir4^0'=-1+j5^0, l6^0'=i3^0, temp9^0'=temp9^post_34, [ 1+flag211^0<=0 && -j5^0+k1^0==0 && flag10^0==0 && -2+j5^0-i3^0==0 ], cost: 11
    129: l4 -> l1 : flag10^0'=1, l6^0'=i3^0, [ 1<=flag211^0 && 1+j5^0<=k1^0 && flag10^0==0 && -1-i3^0+ir4^0==0 ], cost: 11
    130: l4 -> l1 : flag10^0'=1, ir4^0'=-1+j5^0, [ 1<=flag211^0 && 1+k1^0<=j5^0 && flag10^0==0 && -2+j5^0-l6^0==0 ], cost: 11
    131: l4 -> l1 : flag10^0'=1, ir4^0'=-1+j5^0, l6^0'=i3^0, [ 1<=flag211^0 && -j5^0+k1^0==0 && flag10^0==0 && -2+j5^0-i3^0==0 ], cost: 11
    132: l4 -> l1 : flag10^0'=1, l6^0'=i3^0, [ 1+flag211^0<=0 && 1+j5^0<=k1^0 && flag10^0==0 && -1-i3^0+ir4^0==0 ], cost: 11
    133: l4 -> l1 : flag10^0'=1, ir4^0'=-1+j5^0, l6^0'=i3^0, [ 1+flag211^0<=0 && -j5^0+k1^0==0 && flag10^0==0 && -2+j5^0-i3^0==0 ], cost: 11
     46: l26 -> l1 : flag10^0'=0, flag211^0'=0, ir4^0'=__const_20^0, k1^0'=__const_10^0, l6^0'=1, n2^0'=__const_20^0, [], cost: 2
    116: l26 -> l1 : flag10^0'=1, flag211^0'=0, ir4^0'=__const_20^0, k1^0'=__const_10^0, l6^0'=1, n2^0'=__const_20^0, [ 1+__const_20^0<=2 ], cost: 7
    122: l26 -> l1 : flag10^0'=1, flag211^0'=0, ir4^0'=__const_20^0, k1^0'=__const_10^0, l6^0'=1, n2^0'=__const_20^0, temp9^0'=temp9^post_34, [ -2+__const_20^0==0 ], cost: 8
    128: l26 -> l1 : flag10^0'=1, flag211^0'=0, ir4^0'=__const_20^0, k1^0'=__const_10^0, l6^0'=1, n2^0'=__const_20^0, [ -2+__const_20^0==0 ], cost: 8

Eliminated locations (on tree-shaped paths):
   Start location: l26
    142: l1 -> [28] : [ flag10^0==0 && 2+l6^0<=ir4^0 && flag211^0==0 ], cost: NONTERM
    143: l1 -> [27] : [ flag10^0==0 && 2+l6^0<=ir4^0 && flag211^0==0 ], cost: NONTERM
    144: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1<=flag211^0 && 1+ir4^0<=k1^0 ], cost: 13
    145: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1<=flag211^0 && 1+k1^0<=ir4^0 ], cost: 13
    146: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1<=flag211^0 && k1^0<=ir4^0 && ir4^0<=k1^0 ], cost: 13
    147: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1+flag211^0<=0 && 1+ir4^0<=k1^0 ], cost: 13
    148: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1+flag211^0<=0 && k1^0<=ir4^0 && ir4^0<=k1^0 ], cost: 13
    149: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1<=flag211^0 && k1^0-ir4^0==0 && ir4^0<=2+l6^0 ], cost: 18
    150: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1+flag211^0<=0 && k1^0-ir4^0==0 && ir4^0<=2+l6^0 ], cost: 18
    151: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_34, [ flag10^0==0 && 1<=flag211^0 && 1+ir4^0<=k1^0 && -2-l6^0+ir4^0==0 ], cost: 19
    152: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_34, [ flag10^0==0 && 1<=flag211^0 && 1+k1^0<=ir4^0 && -2-l6^0+ir4^0==0 ], cost: 19
    153: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_34, [ flag10^0==0 && 1<=flag211^0 && k1^0-ir4^0==0 && -3-l6^0+ir4^0==0 ], cost: 19
    154: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_34, [ flag10^0==0 && 1+flag211^0<=0 && 1+ir4^0<=k1^0 && -2-l6^0+ir4^0==0 ], cost: 19
    155: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_34, [ flag10^0==0 && 1+flag211^0<=0 && k1^0-ir4^0==0 && -3-l6^0+ir4^0==0 ], cost: 19
    156: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 1<=flag211^0 && 1+ir4^0<=k1^0 && -2-l6^0+ir4^0==0 ], cost: 19
    157: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 1<=flag211^0 && 1+k1^0<=ir4^0 && -2-l6^0+ir4^0==0 ], cost: 19
    158: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 1<=flag211^0 && k1^0-ir4^0==0 && -3-l6^0+ir4^0==0 ], cost: 19
    159: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 1+flag211^0<=0 && 1+ir4^0<=k1^0 && -2-l6^0+ir4^0==0 ], cost: 19
    160: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 1+flag211^0<=0 && k1^0-ir4^0==0 && -3-l6^0+ir4^0==0 ], cost: 19
    161: l1 -> [28] : [ flag10^0==0 && 2+l6^0<=ir4^0 && flag211^0==0 ], cost: NONTERM
    162: l1 -> [27] : [ flag10^0==0 && 2+l6^0<=ir4^0 && flag211^0==0 ], cost: NONTERM
    163: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1<=flag211^0 && 1+ir4^0<=k1^0 ], cost: 13
    164: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1<=flag211^0 && 1+k1^0<=ir4^0 ], cost: 13
    165: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1<=flag211^0 && k1^0<=ir4^0 && ir4^0<=k1^0 ], cost: 13
    166: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1+flag211^0<=0 && 1+ir4^0<=k1^0 ], cost: 13
    167: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1+flag211^0<=0 && k1^0<=ir4^0 && ir4^0<=k1^0 ], cost: 13
    168: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1<=flag211^0 && k1^0-ir4^0==0 && ir4^0<=2+l6^0 ], cost: 18
    169: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1+flag211^0<=0 && k1^0-ir4^0==0 && ir4^0<=2+l6^0 ], cost: 18
    170: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_34, [ flag10^0==0 && 1<=flag211^0 && 1+ir4^0<=k1^0 && -2-l6^0+ir4^0==0 ], cost: 19
    171: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_34, [ flag10^0==0 && 1<=flag211^0 && 1+k1^0<=ir4^0 && -2-l6^0+ir4^0==0 ], cost: 19
    172: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_34, [ flag10^0==0 && 1<=flag211^0 && k1^0-ir4^0==0 && -3-l6^0+ir4^0==0 ], cost: 19
    173: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_34, [ flag10^0==0 && 1+flag211^0<=0 && 1+ir4^0<=k1^0 && -2-l6^0+ir4^0==0 ], cost: 19
    174: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_34, [ flag10^0==0 && 1+flag211^0<=0 && k1^0-ir4^0==0 && -3-l6^0+ir4^0==0 ], cost: 19
    175: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 1<=flag211^0 && 1+ir4^0<=k1^0 && -2-l6^0+ir4^0==0 ], cost: 19
    176: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 1<=flag211^0 && 1+k1^0<=ir4^0 && -2-l6^0+ir4^0==0 ], cost: 19
    177: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 1<=flag211^0 && k1^0-ir4^0==0 && -3-l6^0+ir4^0==0 ], cost: 19
    178: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 1+flag211^0<=0 && 1+ir4^0<=k1^0 && -2-l6^0+ir4^0==0 ], cost: 19
    179: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 1+flag211^0<=0 && k1^0-ir4^0==0 && -3-l6^0+ir4^0==0 ], cost: 19
    180: l1 -> [28] : [ flag10^0==0 && 2+l6^0<=ir4^0 && flag211^0==0 ], cost: NONTERM
    181: l1 -> [27] : [ flag10^0==0 && 2+l6^0<=ir4^0 && flag211^0==0 ], cost: NONTERM
    182: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1<=flag211^0 && 1+ir4^0<=k1^0 ], cost: 13
    183: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1<=flag211^0 && 1+k1^0<=ir4^0 ], cost: 13
    184: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1<=flag211^0 && k1^0<=ir4^0 && ir4^0<=k1^0 ], cost: 13
    185: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1+flag211^0<=0 && 1+ir4^0<=k1^0 ], cost: 13
    186: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1+flag211^0<=0 && k1^0<=ir4^0 && ir4^0<=k1^0 ], cost: 13
    187: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1<=flag211^0 && k1^0-ir4^0==0 && ir4^0<=2+l6^0 ], cost: 18
    188: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1+flag211^0<=0 && k1^0-ir4^0==0 && ir4^0<=2+l6^0 ], cost: 18
    189: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_34, [ flag10^0==0 && 1<=flag211^0 && 1+ir4^0<=k1^0 && -2-l6^0+ir4^0==0 ], cost: 19
    190: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_34, [ flag10^0==0 && 1<=flag211^0 && 1+k1^0<=ir4^0 && -2-l6^0+ir4^0==0 ], cost: 19
    191: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_34, [ flag10^0==0 && 1<=flag211^0 && k1^0-ir4^0==0 && -3-l6^0+ir4^0==0 ], cost: 19
    192: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_34, [ flag10^0==0 && 1+flag211^0<=0 && 1+ir4^0<=k1^0 && -2-l6^0+ir4^0==0 ], cost: 19
    193: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_34, [ flag10^0==0 && 1+flag211^0<=0 && k1^0-ir4^0==0 && -3-l6^0+ir4^0==0 ], cost: 19
    194: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 1<=flag211^0 && 1+ir4^0<=k1^0 && -2-l6^0+ir4^0==0 ], cost: 19
    195: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 1<=flag211^0 && 1+k1^0<=ir4^0 && -2-l6^0+ir4^0==0 ], cost: 19
    196: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 1<=flag211^0 && k1^0-ir4^0==0 && -3-l6^0+ir4^0==0 ], cost: 19
    197: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 1+flag211^0<=0 && 1+ir4^0<=k1^0 && -2-l6^0+ir4^0==0 ], cost: 19
    198: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 1+flag211^0<=0 && k1^0-ir4^0==0 && -3-l6^0+ir4^0==0 ], cost: 19
    199: l1 -> [28] : [ flag10^0==0 && 2+l6^0<=ir4^0 && flag211^0==0 ], cost: NONTERM
    200: l1 -> [27] : [ flag10^0==0 && 2+l6^0<=ir4^0 && flag211^0==0 ], cost: NONTERM
    201: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1<=flag211^0 && 1+ir4^0<=k1^0 ], cost: 13
    202: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1<=flag211^0 && 1+k1^0<=ir4^0 ], cost: 13
    203: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1<=flag211^0 && k1^0<=ir4^0 && ir4^0<=k1^0 ], cost: 13
    204: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1+flag211^0<=0 && 1+ir4^0<=k1^0 ], cost: 13
    205: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1+flag211^0<=0 && k1^0<=ir4^0 && ir4^0<=k1^0 ], cost: 13
    206: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1<=flag211^0 && k1^0-ir4^0==0 && ir4^0<=2+l6^0 ], cost: 18
    207: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1+flag211^0<=0 && k1^0-ir4^0==0 && ir4^0<=2+l6^0 ], cost: 18
    208: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_34, [ flag10^0==0 && 1<=flag211^0 && 1+ir4^0<=k1^0 && -2-l6^0+ir4^0==0 ], cost: 19
    209: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_34, [ flag10^0==0 && 1<=flag211^0 && 1+k1^0<=ir4^0 && -2-l6^0+ir4^0==0 ], cost: 19
    210: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_34, [ flag10^0==0 && 1<=flag211^0 && k1^0-ir4^0==0 && -3-l6^0+ir4^0==0 ], cost: 19
    211: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_34, [ flag10^0==0 && 1+flag211^0<=0 && 1+ir4^0<=k1^0 && -2-l6^0+ir4^0==0 ], cost: 19
    212: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_34, [ flag10^0==0 && 1+flag211^0<=0 && k1^0-ir4^0==0 && -3-l6^0+ir4^0==0 ], cost: 19
    213: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 1<=flag211^0 && 1+ir4^0<=k1^0 && -2-l6^0+ir4^0==0 ], cost: 19
    214: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 1<=flag211^0 && 1+k1^0<=ir4^0 && -2-l6^0+ir4^0==0 ], cost: 19
    215: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 1<=flag211^0 && k1^0-ir4^0==0 && -3-l6^0+ir4^0==0 ], cost: 19
    216: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 1+flag211^0<=0 && 1+ir4^0<=k1^0 && -2-l6^0+ir4^0==0 ], cost: 19
    217: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 1+flag211^0<=0 && k1^0-ir4^0==0 && -3-l6^0+ir4^0==0 ], cost: 19
    218: l1 -> l1 : a8^0'=a8^post_21, flag211^0'=1, i3^0'=2+l6^0, j5^0'=-1+ir4^0, l6^0'=2+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && ir4^0<=k1^0 ], cost: 22
    219: l1 -> l1 : a8^0'=a8^post_21, flag211^0'=1, i3^0'=2+l6^0, ir4^0'=-2+ir4^0, j5^0'=-1+ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && 1+k1^0<=-1+ir4^0 ], cost: 22
    220: l1 -> l1 : a8^0'=a8^post_21, flag211^0'=1, i3^0'=2+l6^0, ir4^0'=-2+ir4^0, j5^0'=-1+ir4^0, l6^0'=2+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && k1^0<=-1+ir4^0 && -1+ir4^0<=k1^0 ], cost: 22
    221: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, flag211^0'=1, i3^0'=2+l6^0, j5^0'=-1+ir4^0, l6^0'=2+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && ir4^0<=k1^0 ], cost: 27
    222: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, flag211^0'=1, i3^0'=2+l6^0, ir4^0'=-2+ir4^0, j5^0'=-1+ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && 1+k1^0<=-1+ir4^0 ], cost: 27
    223: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, flag211^0'=1, i3^0'=2+l6^0, ir4^0'=-2+ir4^0, j5^0'=-1+ir4^0, l6^0'=2+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && 1+k1^0-ir4^0==0 ], cost: 27
    224: l1 -> l1 : a8^0'=a8^post_21, flag211^0'=1, i3^0'=2+l6^0, j5^0'=-1+ir4^0, l6^0'=2+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && ir4^0<=k1^0 ], cost: 22
    225: l1 -> l1 : a8^0'=a8^post_21, flag211^0'=1, i3^0'=2+l6^0, ir4^0'=-2+ir4^0, j5^0'=-1+ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && 1+k1^0<=-1+ir4^0 ], cost: 22
    226: l1 -> l1 : a8^0'=a8^post_21, flag211^0'=1, i3^0'=2+l6^0, ir4^0'=-2+ir4^0, j5^0'=-1+ir4^0, l6^0'=2+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && k1^0<=-1+ir4^0 && -1+ir4^0<=k1^0 ], cost: 22
    227: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, flag211^0'=1, i3^0'=2+l6^0, j5^0'=-1+ir4^0, l6^0'=2+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && ir4^0<=k1^0 ], cost: 27
    228: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, flag211^0'=1, i3^0'=2+l6^0, ir4^0'=-2+ir4^0, j5^0'=-1+ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && 1+k1^0<=-1+ir4^0 ], cost: 27
    229: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, flag211^0'=1, i3^0'=2+l6^0, ir4^0'=-2+ir4^0, j5^0'=-1+ir4^0, l6^0'=2+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && 1+k1^0-ir4^0==0 ], cost: 27
    230: l1 -> l1 : a8^0'=a8^post_21, flag211^0'=1, i3^0'=2+l6^0, j5^0'=-1+ir4^0, l6^0'=2+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && ir4^0<=k1^0 ], cost: 22
    231: l1 -> l1 : a8^0'=a8^post_21, flag211^0'=1, i3^0'=2+l6^0, ir4^0'=-2+ir4^0, j5^0'=-1+ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && 1+k1^0<=-1+ir4^0 ], cost: 22
    232: l1 -> l1 : a8^0'=a8^post_21, flag211^0'=1, i3^0'=2+l6^0, ir4^0'=-2+ir4^0, j5^0'=-1+ir4^0, l6^0'=2+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && k1^0<=-1+ir4^0 && -1+ir4^0<=k1^0 ], cost: 22
    233: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, flag211^0'=1, i3^0'=2+l6^0, j5^0'=-1+ir4^0, l6^0'=2+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && ir4^0<=k1^0 ], cost: 27
    234: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, flag211^0'=1, i3^0'=2+l6^0, ir4^0'=-2+ir4^0, j5^0'=-1+ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && 1+k1^0<=-1+ir4^0 ], cost: 27
    235: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, flag211^0'=1, i3^0'=2+l6^0, ir4^0'=-2+ir4^0, j5^0'=-1+ir4^0, l6^0'=2+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && 1+k1^0-ir4^0==0 ], cost: 27
    236: l1 -> l1 : a8^0'=a8^post_21, flag211^0'=1, i3^0'=2+l6^0, j5^0'=-1+ir4^0, l6^0'=2+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && ir4^0<=k1^0 ], cost: 22
    237: l1 -> l1 : a8^0'=a8^post_21, flag211^0'=1, i3^0'=2+l6^0, ir4^0'=-2+ir4^0, j5^0'=-1+ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && 1+k1^0<=-1+ir4^0 ], cost: 22
    238: l1 -> l1 : a8^0'=a8^post_21, flag211^0'=1, i3^0'=2+l6^0, ir4^0'=-2+ir4^0, j5^0'=-1+ir4^0, l6^0'=2+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && k1^0<=-1+ir4^0 && -1+ir4^0<=k1^0 ], cost: 22
    239: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, flag211^0'=1, i3^0'=2+l6^0, j5^0'=-1+ir4^0, l6^0'=2+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && ir4^0<=k1^0 ], cost: 27
    240: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, flag211^0'=1, i3^0'=2+l6^0, ir4^0'=-2+ir4^0, j5^0'=-1+ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && 1+k1^0<=-1+ir4^0 ], cost: 27
    241: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, flag211^0'=1, i3^0'=2+l6^0, ir4^0'=-2+ir4^0, j5^0'=-1+ir4^0, l6^0'=2+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && 1+k1^0-ir4^0==0 ], cost: 27
    242: l1 -> [28] : [ flag10^0==0 && 2+l6^0<=ir4^0 && flag211^0==0 && k>=1 && 1+k+l6^0<=-k+ir4^0 ], cost: NONTERM
    243: l1 -> [27] : [ flag10^0==0 && 2+l6^0<=ir4^0 && flag211^0==0 && k>=1 && 1+k+l6^0<=-k+ir4^0 ], cost: NONTERM
    244: l1 -> [28] : [ flag10^0==0 && 2+l6^0<=ir4^0 && flag211^0==0 && k>=1 && 1+k+l6^0<=-k+ir4^0 ], cost: NONTERM
    245: l1 -> [27] : [ flag10^0==0 && 2+l6^0<=ir4^0 && flag211^0==0 && k>=1 && 1+k+l6^0<=-k+ir4^0 ], cost: NONTERM
    246: l1 -> [28] : [ flag10^0==0 && 2+l6^0<=ir4^0 && flag211^0==0 && k>=1 && 1+k+l6^0<=-k+ir4^0 ], cost: NONTERM
    247: l1 -> [27] : [ flag10^0==0 && 2+l6^0<=ir4^0 && flag211^0==0 && k>=1 && 1+k+l6^0<=-k+ir4^0 ], cost: NONTERM
    248: l1 -> [28] : [ flag10^0==0 && 2+l6^0<=ir4^0 && flag211^0==0 && k>=1 && 1+k+l6^0<=-k+ir4^0 ], cost: NONTERM
    249: l1 -> [27] : [ flag10^0==0 && 2+l6^0<=ir4^0 && flag211^0==0 && k>=1 && 1+k+l6^0<=-k+ir4^0 ], cost: NONTERM
    250: l1 -> [31] : [ flag10^0==0 && 2+l6^0<=ir4^0 && flag211^0==0 && k>=1 && 1+k+l6^0<=-k+ir4^0 ], cost: 8+9*k
    251: l1 -> [31] : [ flag10^0==0 && 2+l6^0<=ir4^0 && flag211^0==0 && k>=1 && 1+k+l6^0<=-k+ir4^0 ], cost: 8+9*k
    252: l1 -> [31] : [ flag10^0==0 && 2+l6^0<=ir4^0 && flag211^0==0 && k>=1 && 1+k+l6^0<=-k+ir4^0 ], cost: 8+9*k
    253: l1 -> [31] : [ flag10^0==0 && 2+l6^0<=ir4^0 && flag211^0==0 && k>=1 && 1+k+l6^0<=-k+ir4^0 ], cost: 8+9*k
     46: l26 -> l1 : flag10^0'=0, flag211^0'=0, ir4^0'=__const_20^0, k1^0'=__const_10^0, l6^0'=1, n2^0'=__const_20^0, [], cost: 2
    116: l26 -> l1 : flag10^0'=1, flag211^0'=0, ir4^0'=__const_20^0, k1^0'=__const_10^0, l6^0'=1, n2^0'=__const_20^0, [ 1+__const_20^0<=2 ], cost: 7
    122: l26 -> l1 : flag10^0'=1, flag211^0'=0, ir4^0'=__const_20^0, k1^0'=__const_10^0, l6^0'=1, n2^0'=__const_20^0, temp9^0'=temp9^post_34, [ -2+__const_20^0==0 ], cost: 8
    128: l26 -> l1 : flag10^0'=1, flag211^0'=0, ir4^0'=__const_20^0, k1^0'=__const_10^0, l6^0'=1, n2^0'=__const_20^0, [ -2+__const_20^0==0 ], cost: 8

Merged rules:
   Start location: l26
    144: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1<=flag211^0 && 1+ir4^0<=k1^0 ], cost: 13
    145: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1<=flag211^0 && 1+k1^0<=ir4^0 ], cost: 13
    146: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1<=flag211^0 && k1^0<=ir4^0 && ir4^0<=k1^0 ], cost: 13
    147: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1+flag211^0<=0 && 1+ir4^0<=k1^0 ], cost: 13
    148: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1+flag211^0<=0 && k1^0<=ir4^0 && ir4^0<=k1^0 ], cost: 13
    149: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1<=flag211^0 && k1^0-ir4^0==0 && ir4^0<=2+l6^0 ], cost: 18
    150: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1+flag211^0<=0 && k1^0-ir4^0==0 && ir4^0<=2+l6^0 ], cost: 18
    156: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 1<=flag211^0 && 1+ir4^0<=k1^0 && -2-l6^0+ir4^0==0 ], cost: 19
    157: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 1<=flag211^0 && 1+k1^0<=ir4^0 && -2-l6^0+ir4^0==0 ], cost: 19
    158: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 1<=flag211^0 && k1^0-ir4^0==0 && -3-l6^0+ir4^0==0 ], cost: 19
    159: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 1+flag211^0<=0 && 1+ir4^0<=k1^0 && -2-l6^0+ir4^0==0 ], cost: 19
    160: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 1+flag211^0<=0 && k1^0-ir4^0==0 && -3-l6^0+ir4^0==0 ], cost: 19
    163: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1<=flag211^0 && 1+ir4^0<=k1^0 ], cost: 13
    164: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1<=flag211^0 && 1+k1^0<=ir4^0 ], cost: 13
    165: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1<=flag211^0 && k1^0<=ir4^0 && ir4^0<=k1^0 ], cost: 13
    166: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1+flag211^0<=0 && 1+ir4^0<=k1^0 ], cost: 13
    167: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1+flag211^0<=0 && k1^0<=ir4^0 && ir4^0<=k1^0 ], cost: 13
    168: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1<=flag211^0 && k1^0-ir4^0==0 && ir4^0<=2+l6^0 ], cost: 18
    169: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1+flag211^0<=0 && k1^0-ir4^0==0 && ir4^0<=2+l6^0 ], cost: 18
    175: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 1<=flag211^0 && 1+ir4^0<=k1^0 && -2-l6^0+ir4^0==0 ], cost: 19
    176: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 1<=flag211^0 && 1+k1^0<=ir4^0 && -2-l6^0+ir4^0==0 ], cost: 19
    177: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 1<=flag211^0 && k1^0-ir4^0==0 && -3-l6^0+ir4^0==0 ], cost: 19
    178: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 1+flag211^0<=0 && 1+ir4^0<=k1^0 && -2-l6^0+ir4^0==0 ], cost: 19
    179: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 1+flag211^0<=0 && k1^0-ir4^0==0 && -3-l6^0+ir4^0==0 ], cost: 19
    182: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1<=flag211^0 && 1+ir4^0<=k1^0 ], cost: 13
    183: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1<=flag211^0 && 1+k1^0<=ir4^0 ], cost: 13
    184: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1<=flag211^0 && k1^0<=ir4^0 && ir4^0<=k1^0 ], cost: 13
    185: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1+flag211^0<=0 && 1+ir4^0<=k1^0 ], cost: 13
    186: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1+flag211^0<=0 && k1^0<=ir4^0 && ir4^0<=k1^0 ], cost: 13
    187: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1<=flag211^0 && k1^0-ir4^0==0 && ir4^0<=2+l6^0 ], cost: 18
    188: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1+flag211^0<=0 && k1^0-ir4^0==0 && ir4^0<=2+l6^0 ], cost: 18
    194: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 1<=flag211^0 && 1+ir4^0<=k1^0 && -2-l6^0+ir4^0==0 ], cost: 19
    195: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 1<=flag211^0 && 1+k1^0<=ir4^0 && -2-l6^0+ir4^0==0 ], cost: 19
    196: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 1<=flag211^0 && k1^0-ir4^0==0 && -3-l6^0+ir4^0==0 ], cost: 19
    197: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 1+flag211^0<=0 && 1+ir4^0<=k1^0 && -2-l6^0+ir4^0==0 ], cost: 19
    198: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 1+flag211^0<=0 && k1^0-ir4^0==0 && -3-l6^0+ir4^0==0 ], cost: 19
    201: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1<=flag211^0 && 1+ir4^0<=k1^0 ], cost: 13
    202: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1<=flag211^0 && 1+k1^0<=ir4^0 ], cost: 13
    203: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1<=flag211^0 && k1^0<=ir4^0 && ir4^0<=k1^0 ], cost: 13
    204: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1+flag211^0<=0 && 1+ir4^0<=k1^0 ], cost: 13
    205: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1+flag211^0<=0 && k1^0<=ir4^0 && ir4^0<=k1^0 ], cost: 13
    206: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1<=flag211^0 && k1^0-ir4^0==0 && ir4^0<=2+l6^0 ], cost: 18
    207: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1+flag211^0<=0 && k1^0-ir4^0==0 && ir4^0<=2+l6^0 ], cost: 18
    213: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 1<=flag211^0 && 1+ir4^0<=k1^0 && -2-l6^0+ir4^0==0 ], cost: 19
    214: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 1<=flag211^0 && 1+k1^0<=ir4^0 && -2-l6^0+ir4^0==0 ], cost: 19
    215: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 1<=flag211^0 && k1^0-ir4^0==0 && -3-l6^0+ir4^0==0 ], cost: 19
    216: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 1+flag211^0<=0 && 1+ir4^0<=k1^0 && -2-l6^0+ir4^0==0 ], cost: 19
    217: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 1+flag211^0<=0 && k1^0-ir4^0==0 && -3-l6^0+ir4^0==0 ], cost: 19
    218: l1 -> l1 : a8^0'=a8^post_21, flag211^0'=1, i3^0'=2+l6^0, j5^0'=-1+ir4^0, l6^0'=2+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && ir4^0<=k1^0 ], cost: 22
    219: l1 -> l1 : a8^0'=a8^post_21, flag211^0'=1, i3^0'=2+l6^0, ir4^0'=-2+ir4^0, j5^0'=-1+ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && 1+k1^0<=-1+ir4^0 ], cost: 22
    220: l1 -> l1 : a8^0'=a8^post_21, flag211^0'=1, i3^0'=2+l6^0, ir4^0'=-2+ir4^0, j5^0'=-1+ir4^0, l6^0'=2+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && k1^0<=-1+ir4^0 && -1+ir4^0<=k1^0 ], cost: 22
    221: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, flag211^0'=1, i3^0'=2+l6^0, j5^0'=-1+ir4^0, l6^0'=2+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && ir4^0<=k1^0 ], cost: 27
    222: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, flag211^0'=1, i3^0'=2+l6^0, ir4^0'=-2+ir4^0, j5^0'=-1+ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && 1+k1^0<=-1+ir4^0 ], cost: 27
    223: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, flag211^0'=1, i3^0'=2+l6^0, ir4^0'=-2+ir4^0, j5^0'=-1+ir4^0, l6^0'=2+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && 1+k1^0-ir4^0==0 ], cost: 27
    224: l1 -> l1 : a8^0'=a8^post_21, flag211^0'=1, i3^0'=2+l6^0, j5^0'=-1+ir4^0, l6^0'=2+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && ir4^0<=k1^0 ], cost: 22
    225: l1 -> l1 : a8^0'=a8^post_21, flag211^0'=1, i3^0'=2+l6^0, ir4^0'=-2+ir4^0, j5^0'=-1+ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && 1+k1^0<=-1+ir4^0 ], cost: 22
    226: l1 -> l1 : a8^0'=a8^post_21, flag211^0'=1, i3^0'=2+l6^0, ir4^0'=-2+ir4^0, j5^0'=-1+ir4^0, l6^0'=2+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && k1^0<=-1+ir4^0 && -1+ir4^0<=k1^0 ], cost: 22
    227: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, flag211^0'=1, i3^0'=2+l6^0, j5^0'=-1+ir4^0, l6^0'=2+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && ir4^0<=k1^0 ], cost: 27
    228: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, flag211^0'=1, i3^0'=2+l6^0, ir4^0'=-2+ir4^0, j5^0'=-1+ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && 1+k1^0<=-1+ir4^0 ], cost: 27
    229: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, flag211^0'=1, i3^0'=2+l6^0, ir4^0'=-2+ir4^0, j5^0'=-1+ir4^0, l6^0'=2+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && 1+k1^0-ir4^0==0 ], cost: 27
    230: l1 -> l1 : a8^0'=a8^post_21, flag211^0'=1, i3^0'=2+l6^0, j5^0'=-1+ir4^0, l6^0'=2+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && ir4^0<=k1^0 ], cost: 22
    231: l1 -> l1 : a8^0'=a8^post_21, flag211^0'=1, i3^0'=2+l6^0, ir4^0'=-2+ir4^0, j5^0'=-1+ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && 1+k1^0<=-1+ir4^0 ], cost: 22
    232: l1 -> l1 : a8^0'=a8^post_21, flag211^0'=1, i3^0'=2+l6^0, ir4^0'=-2+ir4^0, j5^0'=-1+ir4^0, l6^0'=2+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && k1^0<=-1+ir4^0 && -1+ir4^0<=k1^0 ], cost: 22
    233: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, flag211^0'=1, i3^0'=2+l6^0, j5^0'=-1+ir4^0, l6^0'=2+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && ir4^0<=k1^0 ], cost: 27
    234: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, flag211^0'=1, i3^0'=2+l6^0, ir4^0'=-2+ir4^0, j5^0'=-1+ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && 1+k1^0<=-1+ir4^0 ], cost: 27
    235: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, flag211^0'=1, i3^0'=2+l6^0, ir4^0'=-2+ir4^0, j5^0'=-1+ir4^0, l6^0'=2+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_25, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && 1+k1^0-ir4^0==0 ], cost: 27
    236: l1 -> l1 : a8^0'=a8^post_21, flag211^0'=1, i3^0'=2+l6^0, j5^0'=-1+ir4^0, l6^0'=2+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && ir4^0<=k1^0 ], cost: 22
    237: l1 -> l1 : a8^0'=a8^post_21, flag211^0'=1, i3^0'=2+l6^0, ir4^0'=-2+ir4^0, j5^0'=-1+ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && 1+k1^0<=-1+ir4^0 ], cost: 22
    238: l1 -> l1 : a8^0'=a8^post_21, flag211^0'=1, i3^0'=2+l6^0, ir4^0'=-2+ir4^0, j5^0'=-1+ir4^0, l6^0'=2+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && k1^0<=-1+ir4^0 && -1+ir4^0<=k1^0 ], cost: 22
    239: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, flag211^0'=1, i3^0'=2+l6^0, j5^0'=-1+ir4^0, l6^0'=2+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && ir4^0<=k1^0 ], cost: 27
    240: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, flag211^0'=1, i3^0'=2+l6^0, ir4^0'=-2+ir4^0, j5^0'=-1+ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && 1+k1^0<=-1+ir4^0 ], cost: 27
    241: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, flag211^0'=1, i3^0'=2+l6^0, ir4^0'=-2+ir4^0, j5^0'=-1+ir4^0, l6^0'=2+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_22, [ flag10^0==0 && 2+l6^0-ir4^0==0 && flag211^0==0 && 1+k1^0-ir4^0==0 ], cost: 27
    260: l1 -> [28] : [ flag10^0==0 && 2+l6^0<=ir4^0 && flag211^0==0 ], cost: NONTERM
    267: l1 -> [27] : [ flag10^0==0 && 2+l6^0<=ir4^0 && flag211^0==0 ], cost: NONTERM
    272: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_34, [ flag10^0==0 && 1<=flag211^0 && 1+ir4^0<=k1^0 && -2-l6^0+ir4^0==0 ], cost: 19
    273: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_34, [ flag10^0==0 && 1+flag211^0<=0 && 1+ir4^0<=k1^0 && -2-l6^0+ir4^0==0 ], cost: 19
    276: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_34, [ flag10^0==0 && 1<=flag211^0 && 1+k1^0<=ir4^0 && -2-l6^0+ir4^0==0 ], cost: 19
    281: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_34, [ flag10^0==0 && 1<=flag211^0 && k1^0-ir4^0==0 && -3-l6^0+ir4^0==0 ], cost: 19
    282: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_34, [ flag10^0==0 && 1+flag211^0<=0 && k1^0-ir4^0==0 && -3-l6^0+ir4^0==0 ], cost: 19
    285: l1 -> [31] : [ flag10^0==0 && 2+l6^0<=ir4^0 && flag211^0==0 && k>=1 && 1+k+l6^0<=-k+ir4^0 ], cost: 8+9*k
     46: l26 -> l1 : flag10^0'=0, flag211^0'=0, ir4^0'=__const_20^0, k1^0'=__const_10^0, l6^0'=1, n2^0'=__const_20^0, [], cost: 2
    116: l26 -> l1 : flag10^0'=1, flag211^0'=0, ir4^0'=__const_20^0, k1^0'=__const_10^0, l6^0'=1, n2^0'=__const_20^0, [ 1+__const_20^0<=2 ], cost: 7
    122: l26 -> l1 : flag10^0'=1, flag211^0'=0, ir4^0'=__const_20^0, k1^0'=__const_10^0, l6^0'=1, n2^0'=__const_20^0, temp9^0'=temp9^post_34, [ -2+__const_20^0==0 ], cost: 8
    128: l26 -> l1 : flag10^0'=1, flag211^0'=0, ir4^0'=__const_20^0, k1^0'=__const_10^0, l6^0'=1, n2^0'=__const_20^0, [ -2+__const_20^0==0 ], cost: 8

Applied pruning (of leafs and parallel rules):
   Start location: l26
    144: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1<=flag211^0 && 1+ir4^0<=k1^0 ], cost: 13
    145: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1<=flag211^0 && 1+k1^0<=ir4^0 ], cost: 13
    147: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1+flag211^0<=0 && 1+ir4^0<=k1^0 ], cost: 13
    156: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 1<=flag211^0 && 1+ir4^0<=k1^0 && -2-l6^0+ir4^0==0 ], cost: 19
    166: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1+flag211^0<=0 && 1+ir4^0<=k1^0 ], cost: 13
    260: l1 -> [28] : [ flag10^0==0 && 2+l6^0<=ir4^0 && flag211^0==0 ], cost: NONTERM
    267: l1 -> [27] : [ flag10^0==0 && 2+l6^0<=ir4^0 && flag211^0==0 ], cost: NONTERM
    285: l1 -> [31] : [ flag10^0==0 && 2+l6^0<=ir4^0 && flag211^0==0 && k>=1 && 1+k+l6^0<=-k+ir4^0 ], cost: 8+9*k
     46: l26 -> l1 : flag10^0'=0, flag211^0'=0, ir4^0'=__const_20^0, k1^0'=__const_10^0, l6^0'=1, n2^0'=__const_20^0, [], cost: 2
    116: l26 -> l1 : flag10^0'=1, flag211^0'=0, ir4^0'=__const_20^0, k1^0'=__const_10^0, l6^0'=1, n2^0'=__const_20^0, [ 1+__const_20^0<=2 ], cost: 7
    122: l26 -> l1 : flag10^0'=1, flag211^0'=0, ir4^0'=__const_20^0, k1^0'=__const_10^0, l6^0'=1, n2^0'=__const_20^0, temp9^0'=temp9^post_34, [ -2+__const_20^0==0 ], cost: 8
    128: l26 -> l1 : flag10^0'=1, flag211^0'=0, ir4^0'=__const_20^0, k1^0'=__const_10^0, l6^0'=1, n2^0'=__const_20^0, [ -2+__const_20^0==0 ], cost: 8

Accelerating simple loops of location 1.
   Accelerating the following rules:
    144: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1<=flag211^0 && 1+ir4^0<=k1^0 ], cost: 13
    145: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, ir4^0'=-1+ir4^0, j5^0'=ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1<=flag211^0 && 1+k1^0<=ir4^0 ], cost: 13
    147: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1+flag211^0<=0 && 1+ir4^0<=k1^0 ], cost: 13
    156: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 1<=flag211^0 && 1+ir4^0<=k1^0 && -2-l6^0+ir4^0==0 ], cost: 19
    166: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 2+l6^0<=ir4^0 && 1+flag211^0<=0 && 1+ir4^0<=k1^0 ], cost: 13

   Accelerated rule 144 with backward acceleration, yielding the new rule 286.
   Accelerated rule 145 with backward acceleration, yielding the new rule 287.
   Accelerated rule 145 with backward acceleration, yielding the new rule 288.
   Accelerated rule 147 with backward acceleration, yielding the new rule 289.
   Failed to prove monotonicity of the guard of rule 156.
   Accelerated rule 166 with backward acceleration, yielding the new rule 290.
[accelerate] Nesting with 6 inner and 5 outer candidates
   Removing the simple loops: 144 145 147 166.

Accelerated all simple loops using metering functions (where possible):
   Start location: l26
    156: l1 -> l1 : a8^0'=a8^post_21, flag10^0'=1, i3^0'=1+l6^0, j5^0'=ir4^0, l6^0'=1+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 1<=flag211^0 && 1+ir4^0<=k1^0 && -2-l6^0+ir4^0==0 ], cost: 19
    260: l1 -> [28] : [ flag10^0==0 && 2+l6^0<=ir4^0 && flag211^0==0 ], cost: NONTERM
    267: l1 -> [27] : [ flag10^0==0 && 2+l6^0<=ir4^0 && flag211^0==0 ], cost: NONTERM
    285: l1 -> [31] : [ flag10^0==0 && 2+l6^0<=ir4^0 && flag211^0==0 && k>=1 && 1+k+l6^0<=-k+ir4^0 ], cost: 8+9*k
    286: l1 -> l1 : a8^0'=a8^post_21, i3^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=-1+ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 1<=flag211^0 && 1+ir4^0<=k1^0 && -1-l6^0+ir4^0>=1 ], cost: -13-13*l6^0+13*ir4^0
    287: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, ir4^0'=1+l6^0, j5^0'=2+l6^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 1<=flag211^0 && -1-l6^0+ir4^0>=1 && 1+k1^0<=2+l6^0 ], cost: -13-13*l6^0+13*ir4^0
    288: l1 -> l1 : a8^0'=a8^post_21, i3^0'=1+l6^0, ir4^0'=k1^0, j5^0'=1+k1^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 1<=flag211^0 && -k1^0+ir4^0>=1 && 2+l6^0<=1+k1^0 ], cost: -13*k1^0+13*ir4^0
    289: l1 -> l1 : a8^0'=a8^post_21, i3^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=-1+ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_27, [ flag10^0==0 && 1+flag211^0<=0 && 1+ir4^0<=k1^0 && -1-l6^0+ir4^0>=1 ], cost: -13-13*l6^0+13*ir4^0
    290: l1 -> l1 : a8^0'=a8^post_21, i3^0'=-1+ir4^0, j5^0'=ir4^0, l6^0'=-1+ir4^0, mid7^0'=mid7^post_31, temp9^0'=temp9^post_31, [ flag10^0==0 && 1+flag211^0<=0 && 1+ir4^0<=k1^0 && -1-l6^0+ir4^0>=1 ], cost: -13-13*l6^0+13*ir4^0
     46: l26 -> l1 : flag10^0'=0, flag211^0'=0, ir4^0'=__const_20^0, k1^0'=__const_10^0, l6^0'=1, n2^0'=__const_20^0, [], cost: 2
    116: l26 -> l1 : flag10^0'=1, flag211^0'=0, ir4^0'=__const_20^0, k1^0'=__const_10^0, l6^0'=1, n2^0'=__const_20^0, [ 1+__const_20^0<=2 ], cost: 7
    122: l26 -> l1 : flag10^0'=1, flag211^0'=0, ir4^0'=__const_20^0, k1^0'=__const_10^0, l6^0'=1, n2^0'=__const_20^0, temp9^0'=temp9^post_34, [ -2+__const_20^0==0 ], cost: 8
    128: l26 -> l1 : flag10^0'=1, flag211^0'=0, ir4^0'=__const_20^0, k1^0'=__const_10^0, l6^0'=1, n2^0'=__const_20^0, [ -2+__const_20^0==0 ], cost: 8

Chained accelerated rules (with incoming rules):
   Start location: l26
    260: l1 -> [28] : [ flag10^0==0 && 2+l6^0<=ir4^0 && flag211^0==0 ], cost: NONTERM
    267: l1 -> [27] : [ flag10^0==0 && 2+l6^0<=ir4^0 && flag211^0==0 ], cost: NONTERM
    285: l1 -> [31] : [ flag10^0==0 && 2+l6^0<=ir4^0 && flag211^0==0 && k>=1 && 1+k+l6^0<=-k+ir4^0 ], cost: 8+9*k
     46: l26 -> l1 : flag10^0'=0, flag211^0'=0, ir4^0'=__const_20^0, k1^0'=__const_10^0, l6^0'=1, n2^0'=__const_20^0, [], cost: 2
    116: l26 -> l1 : flag10^0'=1, flag211^0'=0, ir4^0'=__const_20^0, k1^0'=__const_10^0, l6^0'=1, n2^0'=__const_20^0, [ 1+__const_20^0<=2 ], cost: 7
    122: l26 -> l1 : flag10^0'=1, flag211^0'=0, ir4^0'=__const_20^0, k1^0'=__const_10^0, l6^0'=1, n2^0'=__const_20^0, temp9^0'=temp9^post_34, [ -2+__const_20^0==0 ], cost: 8
    128: l26 -> l1 : flag10^0'=1, flag211^0'=0, ir4^0'=__const_20^0, k1^0'=__const_10^0, l6^0'=1, n2^0'=__const_20^0, [ -2+__const_20^0==0 ], cost: 8

Eliminated locations (on tree-shaped paths):
   Start location: l26
    291: l26 -> [28] : [ 3<=__const_20^0 ], cost: NONTERM
    292: l26 -> [27] : [ 3<=__const_20^0 ], cost: NONTERM
    293: l26 -> [31] : flag10^0'=0, flag211^0'=0, ir4^0'=__const_20^0, k1^0'=__const_10^0, l6^0'=1, n2^0'=__const_20^0, [ 3<=__const_20^0 && k>=1 && 2+k<=__const_20^0-k ], cost: 10+9*k

### Computing asymptotic complexity ###

Fully simplified ITS problem
   Start location: l26
    292: l26 -> [27] : [ 3<=__const_20^0 ], cost: NONTERM
    293: l26 -> [31] : flag10^0'=0, flag211^0'=0, ir4^0'=__const_20^0, k1^0'=__const_10^0, l6^0'=1, n2^0'=__const_20^0, [ 3<=__const_20^0 && k>=1 && 2+k<=__const_20^0-k ], cost: 10+9*k

Computing asymptotic complexity for rule 292
   Guard is satisfiable, yielding nontermination
   Resulting cost NONTERM has complexity: Nonterm

Found new complexity Nonterm.

Obtained the following overall complexity (w.r.t. the length of the input n):
   Complexity:  Nonterm
   Cpx degree:  Nonterm
   Solved cost: NONTERM
   Rule cost:   NONTERM
   Rule guard:  [ 3<=__const_20^0 ]

NO