WORST_CASE(Omega(1),?)

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

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

Checking for constant complexity:
   The following rule is satisfiable with cost >= 1, yielding constant complexity:
     49: l27 -> l26 : bDomain^0'=bDomain^post_50, bNoCapture^0'=bNoCapture^post_50, nDim^0'=nDim^post_50, ni^0'=ni^post_50, nj^0'=nj^post_50, tmp^0'=tmp^post_50, tmp___0^0'=tmp___0^post_50, tmp___1^0'=tmp___1^post_50, tmp___2^0'=tmp___2^post_50, tmp___3^0'=tmp___3^post_50, [ bDomain^0==bDomain^post_50 && bNoCapture^0==bNoCapture^post_50 && nDim^0==nDim^post_50 && ni^0==ni^post_50 && nj^0==nj^post_50 && tmp^0==tmp^post_50 && tmp___0^0==tmp___0^post_50 && tmp___1^0==tmp___1^post_50 && tmp___2^0==tmp___2^post_50 && tmp___3^0==tmp___3^post_50 ], cost: 1

Removed unreachable and leaf rules:
   Start location: l27
      8: l5 -> l6 : bDomain^0'=bDomain^post_9, bNoCapture^0'=bNoCapture^post_9, nDim^0'=nDim^post_9, ni^0'=ni^post_9, nj^0'=nj^post_9, tmp^0'=tmp^post_9, tmp___0^0'=tmp___0^post_9, tmp___1^0'=tmp___1^post_9, tmp___2^0'=tmp___2^post_9, tmp___3^0'=tmp___3^post_9, [ nj^post_9==1+nj^0 && bDomain^0==bDomain^post_9 && bNoCapture^0==bNoCapture^post_9 && nDim^0==nDim^post_9 && ni^0==ni^post_9 && tmp^0==tmp^post_9 && tmp___0^0==tmp___0^post_9 && tmp___1^0==tmp___1^post_9 && tmp___2^0==tmp___2^post_9 && tmp___3^0==tmp___3^post_9 ], cost: 1
     38: l6 -> l21 : bDomain^0'=bDomain^post_39, bNoCapture^0'=bNoCapture^post_39, nDim^0'=nDim^post_39, ni^0'=ni^post_39, nj^0'=nj^post_39, tmp^0'=tmp^post_39, tmp___0^0'=tmp___0^post_39, tmp___1^0'=tmp___1^post_39, tmp___2^0'=tmp___2^post_39, tmp___3^0'=tmp___3^post_39, [ bDomain^0==bDomain^post_39 && bNoCapture^0==bNoCapture^post_39 && nDim^0==nDim^post_39 && ni^0==ni^post_39 && nj^0==nj^post_39 && tmp^0==tmp^post_39 && tmp___0^0==tmp___0^post_39 && tmp___1^0==tmp___1^post_39 && tmp___2^0==tmp___2^post_39 && tmp___3^0==tmp___3^post_39 ], cost: 1
      9: l7 -> l5 : bDomain^0'=bDomain^post_10, bNoCapture^0'=bNoCapture^post_10, nDim^0'=nDim^post_10, ni^0'=ni^post_10, nj^0'=nj^post_10, tmp^0'=tmp^post_10, tmp___0^0'=tmp___0^post_10, tmp___1^0'=tmp___1^post_10, tmp___2^0'=tmp___2^post_10, tmp___3^0'=tmp___3^post_10, [ bNoCapture^post_10==tmp___2^0 && bDomain^0==bDomain^post_10 && nDim^0==nDim^post_10 && ni^0==ni^post_10 && nj^0==nj^post_10 && tmp^0==tmp^post_10 && tmp___0^0==tmp___0^post_10 && tmp___1^0==tmp___1^post_10 && tmp___2^0==tmp___2^post_10 && tmp___3^0==tmp___3^post_10 ], cost: 1
     10: l8 -> l9 : bDomain^0'=bDomain^post_11, bNoCapture^0'=bNoCapture^post_11, nDim^0'=nDim^post_11, ni^0'=ni^post_11, nj^0'=nj^post_11, tmp^0'=tmp^post_11, tmp___0^0'=tmp___0^post_11, tmp___1^0'=tmp___1^post_11, tmp___2^0'=tmp___2^post_11, tmp___3^0'=tmp___3^post_11, [ bDomain^0==bDomain^post_11 && bNoCapture^0==bNoCapture^post_11 && nDim^0==nDim^post_11 && ni^0==ni^post_11 && nj^0==nj^post_11 && tmp^0==tmp^post_11 && tmp___0^0==tmp___0^post_11 && tmp___1^0==tmp___1^post_11 && tmp___2^0==tmp___2^post_11 && tmp___3^0==tmp___3^post_11 ], cost: 1
     46: l9 -> l18 : bDomain^0'=bDomain^post_47, bNoCapture^0'=bNoCapture^post_47, nDim^0'=nDim^post_47, ni^0'=ni^post_47, nj^0'=nj^post_47, tmp^0'=tmp^post_47, tmp___0^0'=tmp___0^post_47, tmp___1^0'=tmp___1^post_47, tmp___2^0'=tmp___2^post_47, tmp___3^0'=tmp___3^post_47, [ nDim^0<=ni^0 && ni^post_47==0 && bDomain^0==bDomain^post_47 && bNoCapture^0==bNoCapture^post_47 && nDim^0==nDim^post_47 && nj^0==nj^post_47 && tmp^0==tmp^post_47 && tmp___0^0==tmp___0^post_47 && tmp___1^0==tmp___1^post_47 && tmp___2^0==tmp___2^post_47 && tmp___3^0==tmp___3^post_47 ], cost: 1
     47: l9 -> l8 : bDomain^0'=bDomain^post_48, bNoCapture^0'=bNoCapture^post_48, nDim^0'=nDim^post_48, ni^0'=ni^post_48, nj^0'=nj^post_48, tmp^0'=tmp^post_48, tmp___0^0'=tmp___0^post_48, tmp___1^0'=tmp___1^post_48, tmp___2^0'=tmp___2^post_48, tmp___3^0'=tmp___3^post_48, [ 1+ni^0<=nDim^0 && ni^post_48==1+ni^0 && bDomain^0==bDomain^post_48 && bNoCapture^0==bNoCapture^post_48 && nDim^0==nDim^post_48 && nj^0==nj^post_48 && tmp^0==tmp^post_48 && tmp___0^0==tmp___0^post_48 && tmp___1^0==tmp___1^post_48 && tmp___2^0==tmp___2^post_48 && tmp___3^0==tmp___3^post_48 ], cost: 1
     11: l10 -> l7 : bDomain^0'=bDomain^post_12, bNoCapture^0'=bNoCapture^post_12, nDim^0'=nDim^post_12, ni^0'=ni^post_12, nj^0'=nj^post_12, tmp^0'=tmp^post_12, tmp___0^0'=tmp___0^post_12, tmp___1^0'=tmp___1^post_12, tmp___2^0'=tmp___2^post_12, tmp___3^0'=tmp___3^post_12, [ tmp___2^post_12==1 && bDomain^0==bDomain^post_12 && bNoCapture^0==bNoCapture^post_12 && nDim^0==nDim^post_12 && ni^0==ni^post_12 && nj^0==nj^post_12 && tmp^0==tmp^post_12 && tmp___0^0==tmp___0^post_12 && tmp___1^0==tmp___1^post_12 && tmp___3^0==tmp___3^post_12 ], cost: 1
     12: l11 -> l7 : bDomain^0'=bDomain^post_13, bNoCapture^0'=bNoCapture^post_13, nDim^0'=nDim^post_13, ni^0'=ni^post_13, nj^0'=nj^post_13, tmp^0'=tmp^post_13, tmp___0^0'=tmp___0^post_13, tmp___1^0'=tmp___1^post_13, tmp___2^0'=tmp___2^post_13, tmp___3^0'=tmp___3^post_13, [ tmp___2^post_13==0 && bDomain^0==bDomain^post_13 && bNoCapture^0==bNoCapture^post_13 && nDim^0==nDim^post_13 && ni^0==ni^post_13 && nj^0==nj^post_13 && tmp^0==tmp^post_13 && tmp___0^0==tmp___0^post_13 && tmp___1^0==tmp___1^post_13 && tmp___3^0==tmp___3^post_13 ], cost: 1
     13: l11 -> l10 : bDomain^0'=bDomain^post_14, bNoCapture^0'=bNoCapture^post_14, nDim^0'=nDim^post_14, ni^0'=ni^post_14, nj^0'=nj^post_14, tmp^0'=tmp^post_14, tmp___0^0'=tmp___0^post_14, tmp___1^0'=tmp___1^post_14, tmp___2^0'=tmp___2^post_14, tmp___3^0'=tmp___3^post_14, [ bDomain^0==bDomain^post_14 && bNoCapture^0==bNoCapture^post_14 && nDim^0==nDim^post_14 && ni^0==ni^post_14 && nj^0==nj^post_14 && tmp^0==tmp^post_14 && tmp___0^0==tmp___0^post_14 && tmp___1^0==tmp___1^post_14 && tmp___2^0==tmp___2^post_14 && tmp___3^0==tmp___3^post_14 ], cost: 1
     14: l11 -> l10 : bDomain^0'=bDomain^post_15, bNoCapture^0'=bNoCapture^post_15, nDim^0'=nDim^post_15, ni^0'=ni^post_15, nj^0'=nj^post_15, tmp^0'=tmp^post_15, tmp___0^0'=tmp___0^post_15, tmp___1^0'=tmp___1^post_15, tmp___2^0'=tmp___2^post_15, tmp___3^0'=tmp___3^post_15, [ bDomain^0==bDomain^post_15 && bNoCapture^0==bNoCapture^post_15 && nDim^0==nDim^post_15 && ni^0==ni^post_15 && nj^0==nj^post_15 && tmp^0==tmp^post_15 && tmp___0^0==tmp___0^post_15 && tmp___1^0==tmp___1^post_15 && tmp___2^0==tmp___2^post_15 && tmp___3^0==tmp___3^post_15 ], cost: 1
     15: l12 -> l7 : bDomain^0'=bDomain^post_16, bNoCapture^0'=bNoCapture^post_16, nDim^0'=nDim^post_16, ni^0'=ni^post_16, nj^0'=nj^post_16, tmp^0'=tmp^post_16, tmp___0^0'=tmp___0^post_16, tmp___1^0'=tmp___1^post_16, tmp___2^0'=tmp___2^post_16, tmp___3^0'=tmp___3^post_16, [ tmp___2^post_16==0 && bDomain^0==bDomain^post_16 && bNoCapture^0==bNoCapture^post_16 && nDim^0==nDim^post_16 && ni^0==ni^post_16 && nj^0==nj^post_16 && tmp^0==tmp^post_16 && tmp___0^0==tmp___0^post_16 && tmp___1^0==tmp___1^post_16 && tmp___3^0==tmp___3^post_16 ], cost: 1
     16: l12 -> l11 : bDomain^0'=bDomain^post_17, bNoCapture^0'=bNoCapture^post_17, nDim^0'=nDim^post_17, ni^0'=ni^post_17, nj^0'=nj^post_17, tmp^0'=tmp^post_17, tmp___0^0'=tmp___0^post_17, tmp___1^0'=tmp___1^post_17, tmp___2^0'=tmp___2^post_17, tmp___3^0'=tmp___3^post_17, [ bDomain^0==bDomain^post_17 && bNoCapture^0==bNoCapture^post_17 && nDim^0==nDim^post_17 && ni^0==ni^post_17 && nj^0==nj^post_17 && tmp^0==tmp^post_17 && tmp___0^0==tmp___0^post_17 && tmp___1^0==tmp___1^post_17 && tmp___2^0==tmp___2^post_17 && tmp___3^0==tmp___3^post_17 ], cost: 1
     17: l12 -> l11 : bDomain^0'=bDomain^post_18, bNoCapture^0'=bNoCapture^post_18, nDim^0'=nDim^post_18, ni^0'=ni^post_18, nj^0'=nj^post_18, tmp^0'=tmp^post_18, tmp___0^0'=tmp___0^post_18, tmp___1^0'=tmp___1^post_18, tmp___2^0'=tmp___2^post_18, tmp___3^0'=tmp___3^post_18, [ bDomain^0==bDomain^post_18 && bNoCapture^0==bNoCapture^post_18 && nDim^0==nDim^post_18 && ni^0==ni^post_18 && nj^0==nj^post_18 && tmp^0==tmp^post_18 && tmp___0^0==tmp___0^post_18 && tmp___1^0==tmp___1^post_18 && tmp___2^0==tmp___2^post_18 && tmp___3^0==tmp___3^post_18 ], cost: 1
     18: l13 -> l7 : bDomain^0'=bDomain^post_19, bNoCapture^0'=bNoCapture^post_19, nDim^0'=nDim^post_19, ni^0'=ni^post_19, nj^0'=nj^post_19, tmp^0'=tmp^post_19, tmp___0^0'=tmp___0^post_19, tmp___1^0'=tmp___1^post_19, tmp___2^0'=tmp___2^post_19, tmp___3^0'=tmp___3^post_19, [ bNoCapture^0<=0 && 0<=bNoCapture^0 && tmp___2^post_19==0 && bDomain^0==bDomain^post_19 && bNoCapture^0==bNoCapture^post_19 && nDim^0==nDim^post_19 && ni^0==ni^post_19 && nj^0==nj^post_19 && tmp^0==tmp^post_19 && tmp___0^0==tmp___0^post_19 && tmp___1^0==tmp___1^post_19 && tmp___3^0==tmp___3^post_19 ], cost: 1
     19: l13 -> l12 : bDomain^0'=bDomain^post_20, bNoCapture^0'=bNoCapture^post_20, nDim^0'=nDim^post_20, ni^0'=ni^post_20, nj^0'=nj^post_20, tmp^0'=tmp^post_20, tmp___0^0'=tmp___0^post_20, tmp___1^0'=tmp___1^post_20, tmp___2^0'=tmp___2^post_20, tmp___3^0'=tmp___3^post_20, [ 1<=bNoCapture^0 && bDomain^0==bDomain^post_20 && bNoCapture^0==bNoCapture^post_20 && nDim^0==nDim^post_20 && ni^0==ni^post_20 && nj^0==nj^post_20 && tmp^0==tmp^post_20 && tmp___0^0==tmp___0^post_20 && tmp___1^0==tmp___1^post_20 && tmp___2^0==tmp___2^post_20 && tmp___3^0==tmp___3^post_20 ], cost: 1
     20: l13 -> l12 : bDomain^0'=bDomain^post_21, bNoCapture^0'=bNoCapture^post_21, nDim^0'=nDim^post_21, ni^0'=ni^post_21, nj^0'=nj^post_21, tmp^0'=tmp^post_21, tmp___0^0'=tmp___0^post_21, tmp___1^0'=tmp___1^post_21, tmp___2^0'=tmp___2^post_21, tmp___3^0'=tmp___3^post_21, [ 1+bNoCapture^0<=0 && bDomain^0==bDomain^post_21 && bNoCapture^0==bNoCapture^post_21 && nDim^0==nDim^post_21 && ni^0==ni^post_21 && nj^0==nj^post_21 && tmp^0==tmp^post_21 && tmp___0^0==tmp___0^post_21 && tmp___1^0==tmp___1^post_21 && tmp___2^0==tmp___2^post_21 && tmp___3^0==tmp___3^post_21 ], cost: 1
     21: l14 -> l13 : bDomain^0'=bDomain^post_22, bNoCapture^0'=bNoCapture^post_22, nDim^0'=nDim^post_22, ni^0'=ni^post_22, nj^0'=nj^post_22, tmp^0'=tmp^post_22, tmp___0^0'=tmp___0^post_22, tmp___1^0'=tmp___1^post_22, tmp___2^0'=tmp___2^post_22, tmp___3^0'=tmp___3^post_22, [ bNoCapture^post_22==tmp___1^0 && bDomain^0==bDomain^post_22 && nDim^0==nDim^post_22 && ni^0==ni^post_22 && nj^0==nj^post_22 && tmp^0==tmp^post_22 && tmp___0^0==tmp___0^post_22 && tmp___1^0==tmp___1^post_22 && tmp___2^0==tmp___2^post_22 && tmp___3^0==tmp___3^post_22 ], cost: 1
     22: l15 -> l14 : bDomain^0'=bDomain^post_23, bNoCapture^0'=bNoCapture^post_23, nDim^0'=nDim^post_23, ni^0'=ni^post_23, nj^0'=nj^post_23, tmp^0'=tmp^post_23, tmp___0^0'=tmp___0^post_23, tmp___1^0'=tmp___1^post_23, tmp___2^0'=tmp___2^post_23, tmp___3^0'=tmp___3^post_23, [ tmp___1^post_23==1 && bDomain^0==bDomain^post_23 && bNoCapture^0==bNoCapture^post_23 && nDim^0==nDim^post_23 && ni^0==ni^post_23 && nj^0==nj^post_23 && tmp^0==tmp^post_23 && tmp___0^0==tmp___0^post_23 && tmp___2^0==tmp___2^post_23 && tmp___3^0==tmp___3^post_23 ], cost: 1
     23: l16 -> l15 : bDomain^0'=bDomain^post_24, bNoCapture^0'=bNoCapture^post_24, nDim^0'=nDim^post_24, ni^0'=ni^post_24, nj^0'=nj^post_24, tmp^0'=tmp^post_24, tmp___0^0'=tmp___0^post_24, tmp___1^0'=tmp___1^post_24, tmp___2^0'=tmp___2^post_24, tmp___3^0'=tmp___3^post_24, [ bDomain^0==bDomain^post_24 && bNoCapture^0==bNoCapture^post_24 && nDim^0==nDim^post_24 && ni^0==ni^post_24 && nj^0==nj^post_24 && tmp^0==tmp^post_24 && tmp___0^0==tmp___0^post_24 && tmp___1^0==tmp___1^post_24 && tmp___2^0==tmp___2^post_24 && tmp___3^0==tmp___3^post_24 ], cost: 1
     24: l16 -> l14 : bDomain^0'=bDomain^post_25, bNoCapture^0'=bNoCapture^post_25, nDim^0'=nDim^post_25, ni^0'=ni^post_25, nj^0'=nj^post_25, tmp^0'=tmp^post_25, tmp___0^0'=tmp___0^post_25, tmp___1^0'=tmp___1^post_25, tmp___2^0'=tmp___2^post_25, tmp___3^0'=tmp___3^post_25, [ tmp___1^post_25==0 && bDomain^0==bDomain^post_25 && bNoCapture^0==bNoCapture^post_25 && nDim^0==nDim^post_25 && ni^0==ni^post_25 && nj^0==nj^post_25 && tmp^0==tmp^post_25 && tmp___0^0==tmp___0^post_25 && tmp___2^0==tmp___2^post_25 && tmp___3^0==tmp___3^post_25 ], cost: 1
     25: l16 -> l15 : bDomain^0'=bDomain^post_26, bNoCapture^0'=bNoCapture^post_26, nDim^0'=nDim^post_26, ni^0'=ni^post_26, nj^0'=nj^post_26, tmp^0'=tmp^post_26, tmp___0^0'=tmp___0^post_26, tmp___1^0'=tmp___1^post_26, tmp___2^0'=tmp___2^post_26, tmp___3^0'=tmp___3^post_26, [ bDomain^0==bDomain^post_26 && bNoCapture^0==bNoCapture^post_26 && nDim^0==nDim^post_26 && ni^0==ni^post_26 && nj^0==nj^post_26 && tmp^0==tmp^post_26 && tmp___0^0==tmp___0^post_26 && tmp___1^0==tmp___1^post_26 && tmp___2^0==tmp___2^post_26 && tmp___3^0==tmp___3^post_26 ], cost: 1
     26: l17 -> l14 : bDomain^0'=bDomain^post_27, bNoCapture^0'=bNoCapture^post_27, nDim^0'=nDim^post_27, ni^0'=ni^post_27, nj^0'=nj^post_27, tmp^0'=tmp^post_27, tmp___0^0'=tmp___0^post_27, tmp___1^0'=tmp___1^post_27, tmp___2^0'=tmp___2^post_27, tmp___3^0'=tmp___3^post_27, [ bNoCapture^0<=0 && 0<=bNoCapture^0 && tmp___1^post_27==0 && bDomain^0==bDomain^post_27 && bNoCapture^0==bNoCapture^post_27 && nDim^0==nDim^post_27 && ni^0==ni^post_27 && nj^0==nj^post_27 && tmp^0==tmp^post_27 && tmp___0^0==tmp___0^post_27 && tmp___2^0==tmp___2^post_27 && tmp___3^0==tmp___3^post_27 ], cost: 1
     27: l17 -> l16 : bDomain^0'=bDomain^post_28, bNoCapture^0'=bNoCapture^post_28, nDim^0'=nDim^post_28, ni^0'=ni^post_28, nj^0'=nj^post_28, tmp^0'=tmp^post_28, tmp___0^0'=tmp___0^post_28, tmp___1^0'=tmp___1^post_28, tmp___2^0'=tmp___2^post_28, tmp___3^0'=tmp___3^post_28, [ 1<=bNoCapture^0 && bDomain^0==bDomain^post_28 && bNoCapture^0==bNoCapture^post_28 && nDim^0==nDim^post_28 && ni^0==ni^post_28 && nj^0==nj^post_28 && tmp^0==tmp^post_28 && tmp___0^0==tmp___0^post_28 && tmp___1^0==tmp___1^post_28 && tmp___2^0==tmp___2^post_28 && tmp___3^0==tmp___3^post_28 ], cost: 1
     28: l17 -> l16 : bDomain^0'=bDomain^post_29, bNoCapture^0'=bNoCapture^post_29, nDim^0'=nDim^post_29, ni^0'=ni^post_29, nj^0'=nj^post_29, tmp^0'=tmp^post_29, tmp___0^0'=tmp___0^post_29, tmp___1^0'=tmp___1^post_29, tmp___2^0'=tmp___2^post_29, tmp___3^0'=tmp___3^post_29, [ 1+bNoCapture^0<=0 && bDomain^0==bDomain^post_29 && bNoCapture^0==bNoCapture^post_29 && nDim^0==nDim^post_29 && ni^0==ni^post_29 && nj^0==nj^post_29 && tmp^0==tmp^post_29 && tmp___0^0==tmp___0^post_29 && tmp___1^0==tmp___1^post_29 && tmp___2^0==tmp___2^post_29 && tmp___3^0==tmp___3^post_29 ], cost: 1
     29: l18 -> l19 : bDomain^0'=bDomain^post_30, bNoCapture^0'=bNoCapture^post_30, nDim^0'=nDim^post_30, ni^0'=ni^post_30, nj^0'=nj^post_30, tmp^0'=tmp^post_30, tmp___0^0'=tmp___0^post_30, tmp___1^0'=tmp___1^post_30, tmp___2^0'=tmp___2^post_30, tmp___3^0'=tmp___3^post_30, [ bDomain^0==bDomain^post_30 && bNoCapture^0==bNoCapture^post_30 && nDim^0==nDim^post_30 && ni^0==ni^post_30 && nj^0==nj^post_30 && tmp^0==tmp^post_30 && tmp___0^0==tmp___0^post_30 && tmp___1^0==tmp___1^post_30 && tmp___2^0==tmp___2^post_30 && tmp___3^0==tmp___3^post_30 ], cost: 1
     45: l19 -> l25 : bDomain^0'=bDomain^post_46, bNoCapture^0'=bNoCapture^post_46, nDim^0'=nDim^post_46, ni^0'=ni^post_46, nj^0'=nj^post_46, tmp^0'=tmp^post_46, tmp___0^0'=tmp___0^post_46, tmp___1^0'=tmp___1^post_46, tmp___2^0'=tmp___2^post_46, tmp___3^0'=tmp___3^post_46, [ 1+ni^0<=nDim^0 && bDomain^0==bDomain^post_46 && bNoCapture^0==bNoCapture^post_46 && nDim^0==nDim^post_46 && ni^0==ni^post_46 && nj^0==nj^post_46 && tmp^0==tmp^post_46 && tmp___0^0==tmp___0^post_46 && tmp___1^0==tmp___1^post_46 && tmp___2^0==tmp___2^post_46 && tmp___3^0==tmp___3^post_46 ], cost: 1
     30: l20 -> l5 : bDomain^0'=bDomain^post_31, bNoCapture^0'=bNoCapture^post_31, nDim^0'=nDim^post_31, ni^0'=ni^post_31, nj^0'=nj^post_31, tmp^0'=tmp^post_31, tmp___0^0'=tmp___0^post_31, tmp___1^0'=tmp___1^post_31, tmp___2^0'=tmp___2^post_31, tmp___3^0'=tmp___3^post_31, [ ni^0<=nj^0 && nj^0<=ni^0 && bDomain^0==bDomain^post_31 && bNoCapture^0==bNoCapture^post_31 && nDim^0==nDim^post_31 && ni^0==ni^post_31 && nj^0==nj^post_31 && tmp^0==tmp^post_31 && tmp___0^0==tmp___0^post_31 && tmp___1^0==tmp___1^post_31 && tmp___2^0==tmp___2^post_31 && tmp___3^0==tmp___3^post_31 ], cost: 1
     31: l20 -> l17 : bDomain^0'=bDomain^post_32, bNoCapture^0'=bNoCapture^post_32, nDim^0'=nDim^post_32, ni^0'=ni^post_32, nj^0'=nj^post_32, tmp^0'=tmp^post_32, tmp___0^0'=tmp___0^post_32, tmp___1^0'=tmp___1^post_32, tmp___2^0'=tmp___2^post_32, tmp___3^0'=tmp___3^post_32, [ 1+nj^0<=ni^0 && bDomain^0==bDomain^post_32 && bNoCapture^0==bNoCapture^post_32 && nDim^0==nDim^post_32 && ni^0==ni^post_32 && nj^0==nj^post_32 && tmp^0==tmp^post_32 && tmp___0^0==tmp___0^post_32 && tmp___1^0==tmp___1^post_32 && tmp___2^0==tmp___2^post_32 && tmp___3^0==tmp___3^post_32 ], cost: 1
     32: l20 -> l17 : bDomain^0'=bDomain^post_33, bNoCapture^0'=bNoCapture^post_33, nDim^0'=nDim^post_33, ni^0'=ni^post_33, nj^0'=nj^post_33, tmp^0'=tmp^post_33, tmp___0^0'=tmp___0^post_33, tmp___1^0'=tmp___1^post_33, tmp___2^0'=tmp___2^post_33, tmp___3^0'=tmp___3^post_33, [ 1+ni^0<=nj^0 && bDomain^0==bDomain^post_33 && bNoCapture^0==bNoCapture^post_33 && nDim^0==nDim^post_33 && ni^0==ni^post_33 && nj^0==nj^post_33 && tmp^0==tmp^post_33 && tmp___0^0==tmp___0^post_33 && tmp___1^0==tmp___1^post_33 && tmp___2^0==tmp___2^post_33 && tmp___3^0==tmp___3^post_33 ], cost: 1
     33: l21 -> l18 : bDomain^0'=bDomain^post_34, bNoCapture^0'=bNoCapture^post_34, nDim^0'=nDim^post_34, ni^0'=ni^post_34, nj^0'=nj^post_34, tmp^0'=tmp^post_34, tmp___0^0'=tmp___0^post_34, tmp___1^0'=tmp___1^post_34, tmp___2^0'=tmp___2^post_34, tmp___3^0'=tmp___3^post_34, [ nDim^0<=nj^0 && ni^post_34==1+ni^0 && bDomain^0==bDomain^post_34 && bNoCapture^0==bNoCapture^post_34 && nDim^0==nDim^post_34 && nj^0==nj^post_34 && tmp^0==tmp^post_34 && tmp___0^0==tmp___0^post_34 && tmp___1^0==tmp___1^post_34 && tmp___2^0==tmp___2^post_34 && tmp___3^0==tmp___3^post_34 ], cost: 1
     34: l21 -> l20 : bDomain^0'=bDomain^post_35, bNoCapture^0'=bNoCapture^post_35, nDim^0'=nDim^post_35, ni^0'=ni^post_35, nj^0'=nj^post_35, tmp^0'=tmp^post_35, tmp___0^0'=tmp___0^post_35, tmp___1^0'=tmp___1^post_35, tmp___2^0'=tmp___2^post_35, tmp___3^0'=tmp___3^post_35, [ 1+nj^0<=nDim^0 && bDomain^0==bDomain^post_35 && bNoCapture^0==bNoCapture^post_35 && nDim^0==nDim^post_35 && ni^0==ni^post_35 && nj^0==nj^post_35 && tmp^0==tmp^post_35 && tmp___0^0==tmp___0^post_35 && tmp___1^0==tmp___1^post_35 && tmp___2^0==tmp___2^post_35 && tmp___3^0==tmp___3^post_35 ], cost: 1
     35: l22 -> l6 : bDomain^0'=bDomain^post_36, bNoCapture^0'=bNoCapture^post_36, nDim^0'=nDim^post_36, ni^0'=ni^post_36, nj^0'=nj^post_36, tmp^0'=tmp^post_36, tmp___0^0'=tmp___0^post_36, tmp___1^0'=tmp___1^post_36, tmp___2^0'=tmp___2^post_36, tmp___3^0'=tmp___3^post_36, [ bDomain^post_36==tmp___0^0 && nj^post_36==0 && bNoCapture^0==bNoCapture^post_36 && nDim^0==nDim^post_36 && ni^0==ni^post_36 && tmp^0==tmp^post_36 && tmp___0^0==tmp___0^post_36 && tmp___1^0==tmp___1^post_36 && tmp___2^0==tmp___2^post_36 && tmp___3^0==tmp___3^post_36 ], cost: 1
     36: l23 -> l22 : bDomain^0'=bDomain^post_37, bNoCapture^0'=bNoCapture^post_37, nDim^0'=nDim^post_37, ni^0'=ni^post_37, nj^0'=nj^post_37, tmp^0'=tmp^post_37, tmp___0^0'=tmp___0^post_37, tmp___1^0'=tmp___1^post_37, tmp___2^0'=tmp___2^post_37, tmp___3^0'=tmp___3^post_37, [ tmp___0^post_37==1 && bDomain^0==bDomain^post_37 && bNoCapture^0==bNoCapture^post_37 && nDim^0==nDim^post_37 && ni^0==ni^post_37 && nj^0==nj^post_37 && tmp^0==tmp^post_37 && tmp___1^0==tmp___1^post_37 && tmp___2^0==tmp___2^post_37 && tmp___3^0==tmp___3^post_37 ], cost: 1
     37: l23 -> l22 : bDomain^0'=bDomain^post_38, bNoCapture^0'=bNoCapture^post_38, nDim^0'=nDim^post_38, ni^0'=ni^post_38, nj^0'=nj^post_38, tmp^0'=tmp^post_38, tmp___0^0'=tmp___0^post_38, tmp___1^0'=tmp___1^post_38, tmp___2^0'=tmp___2^post_38, tmp___3^0'=tmp___3^post_38, [ tmp___0^post_38==0 && bDomain^0==bDomain^post_38 && bNoCapture^0==bNoCapture^post_38 && nDim^0==nDim^post_38 && ni^0==ni^post_38 && nj^0==nj^post_38 && tmp^0==tmp^post_38 && tmp___1^0==tmp___1^post_38 && tmp___2^0==tmp___2^post_38 && tmp___3^0==tmp___3^post_38 ], cost: 1
     39: l24 -> l22 : bDomain^0'=bDomain^post_40, bNoCapture^0'=bNoCapture^post_40, nDim^0'=nDim^post_40, ni^0'=ni^post_40, nj^0'=nj^post_40, tmp^0'=tmp^post_40, tmp___0^0'=tmp___0^post_40, tmp___1^0'=tmp___1^post_40, tmp___2^0'=tmp___2^post_40, tmp___3^0'=tmp___3^post_40, [ tmp___0^post_40==0 && bDomain^0==bDomain^post_40 && bNoCapture^0==bNoCapture^post_40 && nDim^0==nDim^post_40 && ni^0==ni^post_40 && nj^0==nj^post_40 && tmp^0==tmp^post_40 && tmp___1^0==tmp___1^post_40 && tmp___2^0==tmp___2^post_40 && tmp___3^0==tmp___3^post_40 ], cost: 1
     40: l24 -> l23 : bDomain^0'=bDomain^post_41, bNoCapture^0'=bNoCapture^post_41, nDim^0'=nDim^post_41, ni^0'=ni^post_41, nj^0'=nj^post_41, tmp^0'=tmp^post_41, tmp___0^0'=tmp___0^post_41, tmp___1^0'=tmp___1^post_41, tmp___2^0'=tmp___2^post_41, tmp___3^0'=tmp___3^post_41, [ bDomain^0==bDomain^post_41 && bNoCapture^0==bNoCapture^post_41 && nDim^0==nDim^post_41 && ni^0==ni^post_41 && nj^0==nj^post_41 && tmp^0==tmp^post_41 && tmp___0^0==tmp___0^post_41 && tmp___1^0==tmp___1^post_41 && tmp___2^0==tmp___2^post_41 && tmp___3^0==tmp___3^post_41 ], cost: 1
     41: l25 -> l22 : bDomain^0'=bDomain^post_42, bNoCapture^0'=bNoCapture^post_42, nDim^0'=nDim^post_42, ni^0'=ni^post_42, nj^0'=nj^post_42, tmp^0'=tmp^post_42, tmp___0^0'=tmp___0^post_42, tmp___1^0'=tmp___1^post_42, tmp___2^0'=tmp___2^post_42, tmp___3^0'=tmp___3^post_42, [ bDomain^0<=0 && 0<=bDomain^0 && tmp___0^post_42==0 && bDomain^0==bDomain^post_42 && bNoCapture^0==bNoCapture^post_42 && nDim^0==nDim^post_42 && ni^0==ni^post_42 && nj^0==nj^post_42 && tmp^0==tmp^post_42 && tmp___1^0==tmp___1^post_42 && tmp___2^0==tmp___2^post_42 && tmp___3^0==tmp___3^post_42 ], cost: 1
     42: l25 -> l24 : bDomain^0'=bDomain^post_43, bNoCapture^0'=bNoCapture^post_43, nDim^0'=nDim^post_43, ni^0'=ni^post_43, nj^0'=nj^post_43, tmp^0'=tmp^post_43, tmp___0^0'=tmp___0^post_43, tmp___1^0'=tmp___1^post_43, tmp___2^0'=tmp___2^post_43, tmp___3^0'=tmp___3^post_43, [ 1<=bDomain^0 && bDomain^0==bDomain^post_43 && bNoCapture^0==bNoCapture^post_43 && nDim^0==nDim^post_43 && ni^0==ni^post_43 && nj^0==nj^post_43 && tmp^0==tmp^post_43 && tmp___0^0==tmp___0^post_43 && tmp___1^0==tmp___1^post_43 && tmp___2^0==tmp___2^post_43 && tmp___3^0==tmp___3^post_43 ], cost: 1
     43: l25 -> l24 : bDomain^0'=bDomain^post_44, bNoCapture^0'=bNoCapture^post_44, nDim^0'=nDim^post_44, ni^0'=ni^post_44, nj^0'=nj^post_44, tmp^0'=tmp^post_44, tmp___0^0'=tmp___0^post_44, tmp___1^0'=tmp___1^post_44, tmp___2^0'=tmp___2^post_44, tmp___3^0'=tmp___3^post_44, [ 1+bDomain^0<=0 && bDomain^0==bDomain^post_44 && bNoCapture^0==bNoCapture^post_44 && nDim^0==nDim^post_44 && ni^0==ni^post_44 && nj^0==nj^post_44 && tmp^0==tmp^post_44 && tmp___0^0==tmp___0^post_44 && tmp___1^0==tmp___1^post_44 && tmp___2^0==tmp___2^post_44 && tmp___3^0==tmp___3^post_44 ], cost: 1
     48: l26 -> l8 : bDomain^0'=bDomain^post_49, bNoCapture^0'=bNoCapture^post_49, nDim^0'=nDim^post_49, ni^0'=ni^post_49, nj^0'=nj^post_49, tmp^0'=tmp^post_49, tmp___0^0'=tmp___0^post_49, tmp___1^0'=tmp___1^post_49, tmp___2^0'=tmp___2^post_49, tmp___3^0'=tmp___3^post_49, [ nDim^post_49==9 && bDomain^post_49==1 && bNoCapture^post_49==1 && tmp^post_49==tmp^post_49 && ni^post_49==0 && nj^0==nj^post_49 && tmp___0^0==tmp___0^post_49 && tmp___1^0==tmp___1^post_49 && tmp___2^0==tmp___2^post_49 && tmp___3^0==tmp___3^post_49 ], cost: 1
     49: l27 -> l26 : bDomain^0'=bDomain^post_50, bNoCapture^0'=bNoCapture^post_50, nDim^0'=nDim^post_50, ni^0'=ni^post_50, nj^0'=nj^post_50, tmp^0'=tmp^post_50, tmp___0^0'=tmp___0^post_50, tmp___1^0'=tmp___1^post_50, tmp___2^0'=tmp___2^post_50, tmp___3^0'=tmp___3^post_50, [ bDomain^0==bDomain^post_50 && bNoCapture^0==bNoCapture^post_50 && nDim^0==nDim^post_50 && ni^0==ni^post_50 && nj^0==nj^post_50 && tmp^0==tmp^post_50 && tmp___0^0==tmp___0^post_50 && tmp___1^0==tmp___1^post_50 && tmp___2^0==tmp___2^post_50 && tmp___3^0==tmp___3^post_50 ], cost: 1

Simplified all rules, resulting in:
   Start location: l27
      8: l5 -> l6 : nj^0'=1+nj^0, [], cost: 1
     38: l6 -> l21 : [], cost: 1
      9: l7 -> l5 : bNoCapture^0'=tmp___2^0, [], cost: 1
     10: l8 -> l9 : [], cost: 1
     46: l9 -> l18 : ni^0'=0, [ nDim^0<=ni^0 ], cost: 1
     47: l9 -> l8 : ni^0'=1+ni^0, [ 1+ni^0<=nDim^0 ], cost: 1
     11: l10 -> l7 : tmp___2^0'=1, [], cost: 1
     12: l11 -> l7 : tmp___2^0'=0, [], cost: 1
     14: l11 -> l10 : [], cost: 1
     15: l12 -> l7 : tmp___2^0'=0, [], cost: 1
     17: l12 -> l11 : [], cost: 1
     18: l13 -> l7 : tmp___2^0'=0, [ bNoCapture^0==0 ], cost: 1
     19: l13 -> l12 : [ 1<=bNoCapture^0 ], cost: 1
     20: l13 -> l12 : [ 1+bNoCapture^0<=0 ], cost: 1
     21: l14 -> l13 : bNoCapture^0'=tmp___1^0, [], cost: 1
     22: l15 -> l14 : tmp___1^0'=1, [], cost: 1
     24: l16 -> l14 : tmp___1^0'=0, [], cost: 1
     25: l16 -> l15 : [], cost: 1
     26: l17 -> l14 : tmp___1^0'=0, [ bNoCapture^0==0 ], cost: 1
     27: l17 -> l16 : [ 1<=bNoCapture^0 ], cost: 1
     28: l17 -> l16 : [ 1+bNoCapture^0<=0 ], cost: 1
     29: l18 -> l19 : [], cost: 1
     45: l19 -> l25 : [ 1+ni^0<=nDim^0 ], cost: 1
     30: l20 -> l5 : [ -nj^0+ni^0==0 ], cost: 1
     31: l20 -> l17 : [ 1+nj^0<=ni^0 ], cost: 1
     32: l20 -> l17 : [ 1+ni^0<=nj^0 ], cost: 1
     33: l21 -> l18 : ni^0'=1+ni^0, [ nDim^0<=nj^0 ], cost: 1
     34: l21 -> l20 : [ 1+nj^0<=nDim^0 ], cost: 1
     35: l22 -> l6 : bDomain^0'=tmp___0^0, nj^0'=0, [], cost: 1
     36: l23 -> l22 : tmp___0^0'=1, [], cost: 1
     37: l23 -> l22 : tmp___0^0'=0, [], cost: 1
     39: l24 -> l22 : tmp___0^0'=0, [], cost: 1
     40: l24 -> l23 : [], cost: 1
     41: l25 -> l22 : tmp___0^0'=0, [ bDomain^0==0 ], cost: 1
     42: l25 -> l24 : [ 1<=bDomain^0 ], cost: 1
     43: l25 -> l24 : [ 1+bDomain^0<=0 ], cost: 1
     48: l26 -> l8 : bDomain^0'=1, bNoCapture^0'=1, nDim^0'=9, ni^0'=0, tmp^0'=tmp^post_49, [], cost: 1
     49: l27 -> l26 : [], cost: 1

### Simplification by acceleration and chaining ###

Eliminated locations (on linear paths):
   Start location: l27
      8: l5 -> l6 : nj^0'=1+nj^0, [], cost: 1
     38: l6 -> l21 : [], cost: 1
      9: l7 -> l5 : bNoCapture^0'=tmp___2^0, [], cost: 1
     10: l8 -> l9 : [], cost: 1
     46: l9 -> l18 : ni^0'=0, [ nDim^0<=ni^0 ], cost: 1
     47: l9 -> l8 : ni^0'=1+ni^0, [ 1+ni^0<=nDim^0 ], cost: 1
     12: l11 -> l7 : tmp___2^0'=0, [], cost: 1
     52: l11 -> l7 : tmp___2^0'=1, [], cost: 2
     15: l12 -> l7 : tmp___2^0'=0, [], cost: 1
     17: l12 -> l11 : [], cost: 1
     18: l13 -> l7 : tmp___2^0'=0, [ bNoCapture^0==0 ], cost: 1
     19: l13 -> l12 : [ 1<=bNoCapture^0 ], cost: 1
     20: l13 -> l12 : [ 1+bNoCapture^0<=0 ], cost: 1
     21: l14 -> l13 : bNoCapture^0'=tmp___1^0, [], cost: 1
     24: l16 -> l14 : tmp___1^0'=0, [], cost: 1
     53: l16 -> l14 : tmp___1^0'=1, [], cost: 2
     26: l17 -> l14 : tmp___1^0'=0, [ bNoCapture^0==0 ], cost: 1
     27: l17 -> l16 : [ 1<=bNoCapture^0 ], cost: 1
     28: l17 -> l16 : [ 1+bNoCapture^0<=0 ], cost: 1
     51: l18 -> l25 : [ 1+ni^0<=nDim^0 ], cost: 2
     30: l20 -> l5 : [ -nj^0+ni^0==0 ], cost: 1
     31: l20 -> l17 : [ 1+nj^0<=ni^0 ], cost: 1
     32: l20 -> l17 : [ 1+ni^0<=nj^0 ], cost: 1
     33: l21 -> l18 : ni^0'=1+ni^0, [ nDim^0<=nj^0 ], cost: 1
     34: l21 -> l20 : [ 1+nj^0<=nDim^0 ], cost: 1
     35: l22 -> l6 : bDomain^0'=tmp___0^0, nj^0'=0, [], cost: 1
     36: l23 -> l22 : tmp___0^0'=1, [], cost: 1
     37: l23 -> l22 : tmp___0^0'=0, [], cost: 1
     39: l24 -> l22 : tmp___0^0'=0, [], cost: 1
     40: l24 -> l23 : [], cost: 1
     41: l25 -> l22 : tmp___0^0'=0, [ bDomain^0==0 ], cost: 1
     42: l25 -> l24 : [ 1<=bDomain^0 ], cost: 1
     43: l25 -> l24 : [ 1+bDomain^0<=0 ], cost: 1
     50: l27 -> l8 : bDomain^0'=1, bNoCapture^0'=1, nDim^0'=9, ni^0'=0, tmp^0'=tmp^post_49, [], cost: 2

Eliminated locations (on tree-shaped paths):
   Start location: l27
      8: l5 -> l6 : nj^0'=1+nj^0, [], cost: 1
     59: l6 -> l18 : ni^0'=1+ni^0, [ nDim^0<=nj^0 ], cost: 2
     60: l6 -> l20 : [ 1+nj^0<=nDim^0 ], cost: 2
      9: l7 -> l5 : bNoCapture^0'=tmp___2^0, [], cost: 1
     54: l8 -> l18 : ni^0'=0, [ nDim^0<=ni^0 ], cost: 2
     55: l8 -> l8 : ni^0'=1+ni^0, [ 1+ni^0<=nDim^0 ], cost: 2
     15: l12 -> l7 : tmp___2^0'=0, [], cost: 1
     70: l12 -> l7 : tmp___2^0'=0, [], cost: 2
     71: l12 -> l7 : tmp___2^0'=1, [], cost: 3
     67: l14 -> l7 : bNoCapture^0'=tmp___1^0, tmp___2^0'=0, [ tmp___1^0==0 ], cost: 2
     68: l14 -> l12 : bNoCapture^0'=tmp___1^0, [ 1<=tmp___1^0 ], cost: 2
     69: l14 -> l12 : bNoCapture^0'=tmp___1^0, [ 1+tmp___1^0<=0 ], cost: 2
     24: l16 -> l14 : tmp___1^0'=0, [], cost: 1
     53: l16 -> l14 : tmp___1^0'=1, [], cost: 2
     56: l18 -> l22 : tmp___0^0'=0, [ 1+ni^0<=nDim^0 && bDomain^0==0 ], cost: 3
     57: l18 -> l24 : [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 3
     58: l18 -> l24 : [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 3
     30: l20 -> l5 : [ -nj^0+ni^0==0 ], cost: 1
     61: l20 -> l14 : tmp___1^0'=0, [ 1+nj^0<=ni^0 && bNoCapture^0==0 ], cost: 2
     62: l20 -> l16 : [ 1+nj^0<=ni^0 && 1<=bNoCapture^0 ], cost: 2
     63: l20 -> l16 : [ 1+nj^0<=ni^0 && 1+bNoCapture^0<=0 ], cost: 2
     64: l20 -> l14 : tmp___1^0'=0, [ 1+ni^0<=nj^0 && bNoCapture^0==0 ], cost: 2
     65: l20 -> l16 : [ 1+ni^0<=nj^0 && 1<=bNoCapture^0 ], cost: 2
     66: l20 -> l16 : [ 1+ni^0<=nj^0 && 1+bNoCapture^0<=0 ], cost: 2
     35: l22 -> l6 : bDomain^0'=tmp___0^0, nj^0'=0, [], cost: 1
     39: l24 -> l22 : tmp___0^0'=0, [], cost: 1
     72: l24 -> l22 : tmp___0^0'=1, [], cost: 2
     73: l24 -> l22 : tmp___0^0'=0, [], cost: 2
     50: l27 -> l8 : bDomain^0'=1, bNoCapture^0'=1, nDim^0'=9, ni^0'=0, tmp^0'=tmp^post_49, [], cost: 2

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

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

Accelerated all simple loops using metering functions (where possible):
   Start location: l27
      8: l5 -> l6 : nj^0'=1+nj^0, [], cost: 1
     59: l6 -> l18 : ni^0'=1+ni^0, [ nDim^0<=nj^0 ], cost: 2
     60: l6 -> l20 : [ 1+nj^0<=nDim^0 ], cost: 2
      9: l7 -> l5 : bNoCapture^0'=tmp___2^0, [], cost: 1
     54: l8 -> l18 : ni^0'=0, [ nDim^0<=ni^0 ], cost: 2
     74: l8 -> l8 : ni^0'=nDim^0, [ nDim^0-ni^0>=0 ], cost: 2*nDim^0-2*ni^0
     15: l12 -> l7 : tmp___2^0'=0, [], cost: 1
     70: l12 -> l7 : tmp___2^0'=0, [], cost: 2
     71: l12 -> l7 : tmp___2^0'=1, [], cost: 3
     67: l14 -> l7 : bNoCapture^0'=tmp___1^0, tmp___2^0'=0, [ tmp___1^0==0 ], cost: 2
     68: l14 -> l12 : bNoCapture^0'=tmp___1^0, [ 1<=tmp___1^0 ], cost: 2
     69: l14 -> l12 : bNoCapture^0'=tmp___1^0, [ 1+tmp___1^0<=0 ], cost: 2
     24: l16 -> l14 : tmp___1^0'=0, [], cost: 1
     53: l16 -> l14 : tmp___1^0'=1, [], cost: 2
     56: l18 -> l22 : tmp___0^0'=0, [ 1+ni^0<=nDim^0 && bDomain^0==0 ], cost: 3
     57: l18 -> l24 : [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 3
     58: l18 -> l24 : [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 3
     30: l20 -> l5 : [ -nj^0+ni^0==0 ], cost: 1
     61: l20 -> l14 : tmp___1^0'=0, [ 1+nj^0<=ni^0 && bNoCapture^0==0 ], cost: 2
     62: l20 -> l16 : [ 1+nj^0<=ni^0 && 1<=bNoCapture^0 ], cost: 2
     63: l20 -> l16 : [ 1+nj^0<=ni^0 && 1+bNoCapture^0<=0 ], cost: 2
     64: l20 -> l14 : tmp___1^0'=0, [ 1+ni^0<=nj^0 && bNoCapture^0==0 ], cost: 2
     65: l20 -> l16 : [ 1+ni^0<=nj^0 && 1<=bNoCapture^0 ], cost: 2
     66: l20 -> l16 : [ 1+ni^0<=nj^0 && 1+bNoCapture^0<=0 ], cost: 2
     35: l22 -> l6 : bDomain^0'=tmp___0^0, nj^0'=0, [], cost: 1
     39: l24 -> l22 : tmp___0^0'=0, [], cost: 1
     72: l24 -> l22 : tmp___0^0'=1, [], cost: 2
     73: l24 -> l22 : tmp___0^0'=0, [], cost: 2
     50: l27 -> l8 : bDomain^0'=1, bNoCapture^0'=1, nDim^0'=9, ni^0'=0, tmp^0'=tmp^post_49, [], cost: 2

Chained accelerated rules (with incoming rules):
   Start location: l27
      8: l5 -> l6 : nj^0'=1+nj^0, [], cost: 1
     59: l6 -> l18 : ni^0'=1+ni^0, [ nDim^0<=nj^0 ], cost: 2
     60: l6 -> l20 : [ 1+nj^0<=nDim^0 ], cost: 2
      9: l7 -> l5 : bNoCapture^0'=tmp___2^0, [], cost: 1
     54: l8 -> l18 : ni^0'=0, [ nDim^0<=ni^0 ], cost: 2
     15: l12 -> l7 : tmp___2^0'=0, [], cost: 1
     70: l12 -> l7 : tmp___2^0'=0, [], cost: 2
     71: l12 -> l7 : tmp___2^0'=1, [], cost: 3
     67: l14 -> l7 : bNoCapture^0'=tmp___1^0, tmp___2^0'=0, [ tmp___1^0==0 ], cost: 2
     68: l14 -> l12 : bNoCapture^0'=tmp___1^0, [ 1<=tmp___1^0 ], cost: 2
     69: l14 -> l12 : bNoCapture^0'=tmp___1^0, [ 1+tmp___1^0<=0 ], cost: 2
     24: l16 -> l14 : tmp___1^0'=0, [], cost: 1
     53: l16 -> l14 : tmp___1^0'=1, [], cost: 2
     56: l18 -> l22 : tmp___0^0'=0, [ 1+ni^0<=nDim^0 && bDomain^0==0 ], cost: 3
     57: l18 -> l24 : [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 3
     58: l18 -> l24 : [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 3
     30: l20 -> l5 : [ -nj^0+ni^0==0 ], cost: 1
     61: l20 -> l14 : tmp___1^0'=0, [ 1+nj^0<=ni^0 && bNoCapture^0==0 ], cost: 2
     62: l20 -> l16 : [ 1+nj^0<=ni^0 && 1<=bNoCapture^0 ], cost: 2
     63: l20 -> l16 : [ 1+nj^0<=ni^0 && 1+bNoCapture^0<=0 ], cost: 2
     64: l20 -> l14 : tmp___1^0'=0, [ 1+ni^0<=nj^0 && bNoCapture^0==0 ], cost: 2
     65: l20 -> l16 : [ 1+ni^0<=nj^0 && 1<=bNoCapture^0 ], cost: 2
     66: l20 -> l16 : [ 1+ni^0<=nj^0 && 1+bNoCapture^0<=0 ], cost: 2
     35: l22 -> l6 : bDomain^0'=tmp___0^0, nj^0'=0, [], cost: 1
     39: l24 -> l22 : tmp___0^0'=0, [], cost: 1
     72: l24 -> l22 : tmp___0^0'=1, [], cost: 2
     73: l24 -> l22 : tmp___0^0'=0, [], cost: 2
     50: l27 -> l8 : bDomain^0'=1, bNoCapture^0'=1, nDim^0'=9, ni^0'=0, tmp^0'=tmp^post_49, [], cost: 2
     75: l27 -> l8 : bDomain^0'=1, bNoCapture^0'=1, nDim^0'=9, ni^0'=9, tmp^0'=tmp^post_49, [], cost: 20

Eliminated locations (on tree-shaped paths):
   Start location: l27
      8: l5 -> l6 : nj^0'=1+nj^0, [], cost: 1
     59: l6 -> l18 : ni^0'=1+ni^0, [ nDim^0<=nj^0 ], cost: 2
     83: l6 -> l5 : [ 1+nj^0<=nDim^0 && -nj^0+ni^0==0 ], cost: 3
     84: l6 -> l14 : tmp___1^0'=0, [ 1+nj^0<=nDim^0 && 1+nj^0<=ni^0 && bNoCapture^0==0 ], cost: 4
     85: l6 -> l16 : [ 1+nj^0<=nDim^0 && 1+nj^0<=ni^0 && 1<=bNoCapture^0 ], cost: 4
     86: l6 -> l16 : [ 1+nj^0<=nDim^0 && 1+nj^0<=ni^0 && 1+bNoCapture^0<=0 ], cost: 4
     87: l6 -> l14 : tmp___1^0'=0, [ 1+nj^0<=nDim^0 && 1+ni^0<=nj^0 && bNoCapture^0==0 ], cost: 4
     88: l6 -> l16 : [ 1+nj^0<=nDim^0 && 1+ni^0<=nj^0 && 1<=bNoCapture^0 ], cost: 4
     89: l6 -> l16 : [ 1+nj^0<=nDim^0 && 1+ni^0<=nj^0 && 1+bNoCapture^0<=0 ], cost: 4
      9: l7 -> l5 : bNoCapture^0'=tmp___2^0, [], cost: 1
     67: l14 -> l7 : bNoCapture^0'=tmp___1^0, tmp___2^0'=0, [ tmp___1^0==0 ], cost: 2
     90: l14 -> l7 : bNoCapture^0'=tmp___1^0, tmp___2^0'=0, [ 1<=tmp___1^0 ], cost: 3
     91: l14 -> l7 : bNoCapture^0'=tmp___1^0, tmp___2^0'=0, [ 1<=tmp___1^0 ], cost: 4
     92: l14 -> l7 : bNoCapture^0'=tmp___1^0, tmp___2^0'=1, [ 1<=tmp___1^0 ], cost: 5
     93: l14 -> l7 : bNoCapture^0'=tmp___1^0, tmp___2^0'=0, [ 1+tmp___1^0<=0 ], cost: 3
     94: l14 -> l7 : bNoCapture^0'=tmp___1^0, tmp___2^0'=0, [ 1+tmp___1^0<=0 ], cost: 4
     95: l14 -> l7 : bNoCapture^0'=tmp___1^0, tmp___2^0'=1, [ 1+tmp___1^0<=0 ], cost: 5
     24: l16 -> l14 : tmp___1^0'=0, [], cost: 1
     53: l16 -> l14 : tmp___1^0'=1, [], cost: 2
     56: l18 -> l22 : tmp___0^0'=0, [ 1+ni^0<=nDim^0 && bDomain^0==0 ], cost: 3
     77: l18 -> l22 : tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 4
     78: l18 -> l22 : tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 5
     79: l18 -> l22 : tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 5
     80: l18 -> l22 : tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 4
     81: l18 -> l22 : tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 5
     82: l18 -> l22 : tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 5
     35: l22 -> l6 : bDomain^0'=tmp___0^0, nj^0'=0, [], cost: 1
     76: l27 -> l18 : bDomain^0'=1, bNoCapture^0'=1, nDim^0'=9, ni^0'=0, tmp^0'=tmp^post_49, [], cost: 22

Merged rules:
   Start location: l27
      8: l5 -> l6 : nj^0'=1+nj^0, [], cost: 1
     59: l6 -> l18 : ni^0'=1+ni^0, [ nDim^0<=nj^0 ], cost: 2
     83: l6 -> l5 : [ 1+nj^0<=nDim^0 && -nj^0+ni^0==0 ], cost: 3
     84: l6 -> l14 : tmp___1^0'=0, [ 1+nj^0<=nDim^0 && 1+nj^0<=ni^0 && bNoCapture^0==0 ], cost: 4
     85: l6 -> l16 : [ 1+nj^0<=nDim^0 && 1+nj^0<=ni^0 && 1<=bNoCapture^0 ], cost: 4
     86: l6 -> l16 : [ 1+nj^0<=nDim^0 && 1+nj^0<=ni^0 && 1+bNoCapture^0<=0 ], cost: 4
     87: l6 -> l14 : tmp___1^0'=0, [ 1+nj^0<=nDim^0 && 1+ni^0<=nj^0 && bNoCapture^0==0 ], cost: 4
     88: l6 -> l16 : [ 1+nj^0<=nDim^0 && 1+ni^0<=nj^0 && 1<=bNoCapture^0 ], cost: 4
     89: l6 -> l16 : [ 1+nj^0<=nDim^0 && 1+ni^0<=nj^0 && 1+bNoCapture^0<=0 ], cost: 4
      9: l7 -> l5 : bNoCapture^0'=tmp___2^0, [], cost: 1
     67: l14 -> l7 : bNoCapture^0'=tmp___1^0, tmp___2^0'=0, [ tmp___1^0==0 ], cost: 2
     92: l14 -> l7 : bNoCapture^0'=tmp___1^0, tmp___2^0'=1, [ 1<=tmp___1^0 ], cost: 5
     95: l14 -> l7 : bNoCapture^0'=tmp___1^0, tmp___2^0'=1, [ 1+tmp___1^0<=0 ], cost: 5
     96: l14 -> l7 : bNoCapture^0'=tmp___1^0, tmp___2^0'=0, [ 1<=tmp___1^0 ], cost: 4
     97: l14 -> l7 : bNoCapture^0'=tmp___1^0, tmp___2^0'=0, [ 1+tmp___1^0<=0 ], cost: 4
     24: l16 -> l14 : tmp___1^0'=0, [], cost: 1
     53: l16 -> l14 : tmp___1^0'=1, [], cost: 2
     56: l18 -> l22 : tmp___0^0'=0, [ 1+ni^0<=nDim^0 && bDomain^0==0 ], cost: 3
     78: l18 -> l22 : tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 5
     81: l18 -> l22 : tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 5
     98: l18 -> l22 : tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 5
     99: l18 -> l22 : tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 5
     35: l22 -> l6 : bDomain^0'=tmp___0^0, nj^0'=0, [], cost: 1
     76: l27 -> l18 : bDomain^0'=1, bNoCapture^0'=1, nDim^0'=9, ni^0'=0, tmp^0'=tmp^post_49, [], cost: 22

Eliminated locations (on tree-shaped paths):
   Start location: l27
      8: l5 -> l6 : nj^0'=1+nj^0, [], cost: 1
     59: l6 -> l18 : ni^0'=1+ni^0, [ nDim^0<=nj^0 ], cost: 2
     83: l6 -> l5 : [ 1+nj^0<=nDim^0 && -nj^0+ni^0==0 ], cost: 3
     84: l6 -> l14 : tmp___1^0'=0, [ 1+nj^0<=nDim^0 && 1+nj^0<=ni^0 && bNoCapture^0==0 ], cost: 4
     87: l6 -> l14 : tmp___1^0'=0, [ 1+nj^0<=nDim^0 && 1+ni^0<=nj^0 && bNoCapture^0==0 ], cost: 4
    105: l6 -> l14 : tmp___1^0'=0, [ 1+nj^0<=nDim^0 && 1+nj^0<=ni^0 && 1<=bNoCapture^0 ], cost: 5
    106: l6 -> l14 : tmp___1^0'=1, [ 1+nj^0<=nDim^0 && 1+nj^0<=ni^0 && 1<=bNoCapture^0 ], cost: 6
    107: l6 -> l14 : tmp___1^0'=0, [ 1+nj^0<=nDim^0 && 1+nj^0<=ni^0 && 1+bNoCapture^0<=0 ], cost: 5
    108: l6 -> l14 : tmp___1^0'=1, [ 1+nj^0<=nDim^0 && 1+nj^0<=ni^0 && 1+bNoCapture^0<=0 ], cost: 6
    109: l6 -> l14 : tmp___1^0'=0, [ 1+nj^0<=nDim^0 && 1+ni^0<=nj^0 && 1<=bNoCapture^0 ], cost: 5
    110: l6 -> l14 : tmp___1^0'=1, [ 1+nj^0<=nDim^0 && 1+ni^0<=nj^0 && 1<=bNoCapture^0 ], cost: 6
    111: l6 -> l14 : tmp___1^0'=0, [ 1+nj^0<=nDim^0 && 1+ni^0<=nj^0 && 1+bNoCapture^0<=0 ], cost: 5
    112: l6 -> l14 : tmp___1^0'=1, [ 1+nj^0<=nDim^0 && 1+ni^0<=nj^0 && 1+bNoCapture^0<=0 ], cost: 6
    113: l14 -> l5 : bNoCapture^0'=0, tmp___2^0'=0, [ tmp___1^0==0 ], cost: 3
    114: l14 -> l5 : bNoCapture^0'=1, tmp___2^0'=1, [ 1<=tmp___1^0 ], cost: 6
    115: l14 -> l5 : bNoCapture^0'=1, tmp___2^0'=1, [ 1+tmp___1^0<=0 ], cost: 6
    116: l14 -> l5 : bNoCapture^0'=0, tmp___2^0'=0, [ 1<=tmp___1^0 ], cost: 5
    117: l14 -> l5 : bNoCapture^0'=0, tmp___2^0'=0, [ 1+tmp___1^0<=0 ], cost: 5
    100: l18 -> l6 : bDomain^0'=0, nj^0'=0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && bDomain^0==0 ], cost: 4
    101: l18 -> l6 : bDomain^0'=1, nj^0'=0, tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 6
    102: l18 -> l6 : bDomain^0'=1, nj^0'=0, tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 6
    103: l18 -> l6 : bDomain^0'=0, nj^0'=0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 6
    104: l18 -> l6 : bDomain^0'=0, nj^0'=0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 6
     76: l27 -> l18 : bDomain^0'=1, bNoCapture^0'=1, nDim^0'=9, ni^0'=0, tmp^0'=tmp^post_49, [], cost: 22

Applied pruning (of leafs and parallel rules):
   Start location: l27
      8: l5 -> l6 : nj^0'=1+nj^0, [], cost: 1
     59: l6 -> l18 : ni^0'=1+ni^0, [ nDim^0<=nj^0 ], cost: 2
     83: l6 -> l5 : [ 1+nj^0<=nDim^0 && -nj^0+ni^0==0 ], cost: 3
     84: l6 -> l14 : tmp___1^0'=0, [ 1+nj^0<=nDim^0 && 1+nj^0<=ni^0 && bNoCapture^0==0 ], cost: 4
     87: l6 -> l14 : tmp___1^0'=0, [ 1+nj^0<=nDim^0 && 1+ni^0<=nj^0 && bNoCapture^0==0 ], cost: 4
    106: l6 -> l14 : tmp___1^0'=1, [ 1+nj^0<=nDim^0 && 1+nj^0<=ni^0 && 1<=bNoCapture^0 ], cost: 6
    107: l6 -> l14 : tmp___1^0'=0, [ 1+nj^0<=nDim^0 && 1+nj^0<=ni^0 && 1+bNoCapture^0<=0 ], cost: 5
    108: l6 -> l14 : tmp___1^0'=1, [ 1+nj^0<=nDim^0 && 1+nj^0<=ni^0 && 1+bNoCapture^0<=0 ], cost: 6
    113: l14 -> l5 : bNoCapture^0'=0, tmp___2^0'=0, [ tmp___1^0==0 ], cost: 3
    114: l14 -> l5 : bNoCapture^0'=1, tmp___2^0'=1, [ 1<=tmp___1^0 ], cost: 6
    115: l14 -> l5 : bNoCapture^0'=1, tmp___2^0'=1, [ 1+tmp___1^0<=0 ], cost: 6
    116: l14 -> l5 : bNoCapture^0'=0, tmp___2^0'=0, [ 1<=tmp___1^0 ], cost: 5
    117: l14 -> l5 : bNoCapture^0'=0, tmp___2^0'=0, [ 1+tmp___1^0<=0 ], cost: 5
    100: l18 -> l6 : bDomain^0'=0, nj^0'=0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && bDomain^0==0 ], cost: 4
    101: l18 -> l6 : bDomain^0'=1, nj^0'=0, tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 6
    102: l18 -> l6 : bDomain^0'=1, nj^0'=0, tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 6
    103: l18 -> l6 : bDomain^0'=0, nj^0'=0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 6
    104: l18 -> l6 : bDomain^0'=0, nj^0'=0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 6
     76: l27 -> l18 : bDomain^0'=1, bNoCapture^0'=1, nDim^0'=9, ni^0'=0, tmp^0'=tmp^post_49, [], cost: 22

Eliminated locations (on tree-shaped paths):
   Start location: l27
      8: l5 -> l6 : nj^0'=1+nj^0, [], cost: 1
     59: l6 -> l18 : ni^0'=1+ni^0, [ nDim^0<=nj^0 ], cost: 2
     83: l6 -> l5 : [ 1+nj^0<=nDim^0 && -nj^0+ni^0==0 ], cost: 3
    118: l6 -> l5 : bNoCapture^0'=0, tmp___1^0'=0, tmp___2^0'=0, [ 1+nj^0<=nDim^0 && 1+nj^0<=ni^0 && bNoCapture^0==0 ], cost: 7
    119: l6 -> l5 : bNoCapture^0'=0, tmp___1^0'=0, tmp___2^0'=0, [ 1+nj^0<=nDim^0 && 1+ni^0<=nj^0 && bNoCapture^0==0 ], cost: 7
    120: l6 -> l5 : bNoCapture^0'=1, tmp___1^0'=1, tmp___2^0'=1, [ 1+nj^0<=nDim^0 && 1+nj^0<=ni^0 && 1<=bNoCapture^0 ], cost: 12
    121: l6 -> l5 : bNoCapture^0'=0, tmp___1^0'=1, tmp___2^0'=0, [ 1+nj^0<=nDim^0 && 1+nj^0<=ni^0 && 1<=bNoCapture^0 ], cost: 11
    122: l6 -> l5 : bNoCapture^0'=0, tmp___1^0'=0, tmp___2^0'=0, [ 1+nj^0<=nDim^0 && 1+nj^0<=ni^0 && 1+bNoCapture^0<=0 ], cost: 8
    123: l6 -> l5 : bNoCapture^0'=1, tmp___1^0'=1, tmp___2^0'=1, [ 1+nj^0<=nDim^0 && 1+nj^0<=ni^0 && 1+bNoCapture^0<=0 ], cost: 12
    124: l6 -> l5 : bNoCapture^0'=0, tmp___1^0'=1, tmp___2^0'=0, [ 1+nj^0<=nDim^0 && 1+nj^0<=ni^0 && 1+bNoCapture^0<=0 ], cost: 11
    100: l18 -> l6 : bDomain^0'=0, nj^0'=0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && bDomain^0==0 ], cost: 4
    101: l18 -> l6 : bDomain^0'=1, nj^0'=0, tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 6
    102: l18 -> l6 : bDomain^0'=1, nj^0'=0, tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 6
    103: l18 -> l6 : bDomain^0'=0, nj^0'=0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 6
    104: l18 -> l6 : bDomain^0'=0, nj^0'=0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 6
     76: l27 -> l18 : bDomain^0'=1, bNoCapture^0'=1, nDim^0'=9, ni^0'=0, tmp^0'=tmp^post_49, [], cost: 22

Applied pruning (of leafs and parallel rules):
   Start location: l27
      8: l5 -> l6 : nj^0'=1+nj^0, [], cost: 1
     59: l6 -> l18 : ni^0'=1+ni^0, [ nDim^0<=nj^0 ], cost: 2
     83: l6 -> l5 : [ 1+nj^0<=nDim^0 && -nj^0+ni^0==0 ], cost: 3
    118: l6 -> l5 : bNoCapture^0'=0, tmp___1^0'=0, tmp___2^0'=0, [ 1+nj^0<=nDim^0 && 1+nj^0<=ni^0 && bNoCapture^0==0 ], cost: 7
    120: l6 -> l5 : bNoCapture^0'=1, tmp___1^0'=1, tmp___2^0'=1, [ 1+nj^0<=nDim^0 && 1+nj^0<=ni^0 && 1<=bNoCapture^0 ], cost: 12
    121: l6 -> l5 : bNoCapture^0'=0, tmp___1^0'=1, tmp___2^0'=0, [ 1+nj^0<=nDim^0 && 1+nj^0<=ni^0 && 1<=bNoCapture^0 ], cost: 11
    122: l6 -> l5 : bNoCapture^0'=0, tmp___1^0'=0, tmp___2^0'=0, [ 1+nj^0<=nDim^0 && 1+nj^0<=ni^0 && 1+bNoCapture^0<=0 ], cost: 8
    100: l18 -> l6 : bDomain^0'=0, nj^0'=0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && bDomain^0==0 ], cost: 4
    101: l18 -> l6 : bDomain^0'=1, nj^0'=0, tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 6
    102: l18 -> l6 : bDomain^0'=1, nj^0'=0, tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 6
    103: l18 -> l6 : bDomain^0'=0, nj^0'=0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 6
    104: l18 -> l6 : bDomain^0'=0, nj^0'=0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 6
     76: l27 -> l18 : bDomain^0'=1, bNoCapture^0'=1, nDim^0'=9, ni^0'=0, tmp^0'=tmp^post_49, [], cost: 22

Eliminated locations (on tree-shaped paths):
   Start location: l27
     59: l6 -> l18 : ni^0'=1+ni^0, [ nDim^0<=nj^0 ], cost: 2
    125: l6 -> l6 : nj^0'=1+nj^0, [ 1+nj^0<=nDim^0 && -nj^0+ni^0==0 ], cost: 4
    126: l6 -> l6 : bNoCapture^0'=0, nj^0'=1+nj^0, tmp___1^0'=0, tmp___2^0'=0, [ 1+nj^0<=nDim^0 && 1+nj^0<=ni^0 && bNoCapture^0==0 ], cost: 8
    127: l6 -> l6 : bNoCapture^0'=1, nj^0'=1+nj^0, tmp___1^0'=1, tmp___2^0'=1, [ 1+nj^0<=nDim^0 && 1+nj^0<=ni^0 && 1<=bNoCapture^0 ], cost: 13
    128: l6 -> l6 : bNoCapture^0'=0, nj^0'=1+nj^0, tmp___1^0'=1, tmp___2^0'=0, [ 1+nj^0<=nDim^0 && 1+nj^0<=ni^0 && 1<=bNoCapture^0 ], cost: 12
    129: l6 -> l6 : bNoCapture^0'=0, nj^0'=1+nj^0, tmp___1^0'=0, tmp___2^0'=0, [ 1+nj^0<=nDim^0 && 1+nj^0<=ni^0 && 1+bNoCapture^0<=0 ], cost: 9
    100: l18 -> l6 : bDomain^0'=0, nj^0'=0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && bDomain^0==0 ], cost: 4
    101: l18 -> l6 : bDomain^0'=1, nj^0'=0, tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 6
    102: l18 -> l6 : bDomain^0'=1, nj^0'=0, tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 6
    103: l18 -> l6 : bDomain^0'=0, nj^0'=0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 6
    104: l18 -> l6 : bDomain^0'=0, nj^0'=0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 6
     76: l27 -> l18 : bDomain^0'=1, bNoCapture^0'=1, nDim^0'=9, ni^0'=0, tmp^0'=tmp^post_49, [], cost: 22

Accelerating simple loops of location 6.
   Accelerating the following rules:
    125: l6 -> l6 : nj^0'=1+nj^0, [ 1+nj^0<=nDim^0 && -nj^0+ni^0==0 ], cost: 4
    126: l6 -> l6 : bNoCapture^0'=0, nj^0'=1+nj^0, tmp___1^0'=0, tmp___2^0'=0, [ 1+nj^0<=nDim^0 && 1+nj^0<=ni^0 && bNoCapture^0==0 ], cost: 8
    127: l6 -> l6 : bNoCapture^0'=1, nj^0'=1+nj^0, tmp___1^0'=1, tmp___2^0'=1, [ 1+nj^0<=nDim^0 && 1+nj^0<=ni^0 && 1<=bNoCapture^0 ], cost: 13
    128: l6 -> l6 : bNoCapture^0'=0, nj^0'=1+nj^0, tmp___1^0'=1, tmp___2^0'=0, [ 1+nj^0<=nDim^0 && 1+nj^0<=ni^0 && 1<=bNoCapture^0 ], cost: 12
    129: l6 -> l6 : bNoCapture^0'=0, nj^0'=1+nj^0, tmp___1^0'=0, tmp___2^0'=0, [ 1+nj^0<=nDim^0 && 1+nj^0<=ni^0 && 1+bNoCapture^0<=0 ], cost: 9

   Failed to prove monotonicity of the guard of rule 125.
   Accelerated rule 126 with backward acceleration, yielding the new rule 130.
   Accelerated rule 126 with backward acceleration, yielding the new rule 131.
   Accelerated rule 127 with backward acceleration, yielding the new rule 132.
   Accelerated rule 127 with backward acceleration, yielding the new rule 133.
   Failed to prove monotonicity of the guard of rule 128.
   Failed to prove monotonicity of the guard of rule 129.
[accelerate] Nesting with 7 inner and 5 outer candidates
   Removing the simple loops: 126 127.

Accelerated all simple loops using metering functions (where possible):
   Start location: l27
     59: l6 -> l18 : ni^0'=1+ni^0, [ nDim^0<=nj^0 ], cost: 2
    125: l6 -> l6 : nj^0'=1+nj^0, [ 1+nj^0<=nDim^0 && -nj^0+ni^0==0 ], cost: 4
    128: l6 -> l6 : bNoCapture^0'=0, nj^0'=1+nj^0, tmp___1^0'=1, tmp___2^0'=0, [ 1+nj^0<=nDim^0 && 1+nj^0<=ni^0 && 1<=bNoCapture^0 ], cost: 12
    129: l6 -> l6 : bNoCapture^0'=0, nj^0'=1+nj^0, tmp___1^0'=0, tmp___2^0'=0, [ 1+nj^0<=nDim^0 && 1+nj^0<=ni^0 && 1+bNoCapture^0<=0 ], cost: 9
    130: l6 -> l6 : bNoCapture^0'=0, nj^0'=nDim^0, tmp___1^0'=0, tmp___2^0'=0, [ bNoCapture^0==0 && -nj^0+nDim^0>=1 && nDim^0<=ni^0 ], cost: -8*nj^0+8*nDim^0
    131: l6 -> l6 : bNoCapture^0'=0, nj^0'=ni^0, tmp___1^0'=0, tmp___2^0'=0, [ bNoCapture^0==0 && -nj^0+ni^0>=1 && ni^0<=nDim^0 ], cost: -8*nj^0+8*ni^0
    132: l6 -> l6 : bNoCapture^0'=1, nj^0'=nDim^0, tmp___1^0'=1, tmp___2^0'=1, [ 1<=bNoCapture^0 && -nj^0+nDim^0>=1 && nDim^0<=ni^0 ], cost: -13*nj^0+13*nDim^0
    133: l6 -> l6 : bNoCapture^0'=1, nj^0'=ni^0, tmp___1^0'=1, tmp___2^0'=1, [ 1<=bNoCapture^0 && -nj^0+ni^0>=1 && ni^0<=nDim^0 ], cost: -13*nj^0+13*ni^0
    100: l18 -> l6 : bDomain^0'=0, nj^0'=0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && bDomain^0==0 ], cost: 4
    101: l18 -> l6 : bDomain^0'=1, nj^0'=0, tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 6
    102: l18 -> l6 : bDomain^0'=1, nj^0'=0, tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 6
    103: l18 -> l6 : bDomain^0'=0, nj^0'=0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 6
    104: l18 -> l6 : bDomain^0'=0, nj^0'=0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 6
     76: l27 -> l18 : bDomain^0'=1, bNoCapture^0'=1, nDim^0'=9, ni^0'=0, tmp^0'=tmp^post_49, [], cost: 22

Chained accelerated rules (with incoming rules):
   Start location: l27
     59: l6 -> l18 : ni^0'=1+ni^0, [ nDim^0<=nj^0 ], cost: 2
    100: l18 -> l6 : bDomain^0'=0, nj^0'=0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && bDomain^0==0 ], cost: 4
    101: l18 -> l6 : bDomain^0'=1, nj^0'=0, tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 6
    102: l18 -> l6 : bDomain^0'=1, nj^0'=0, tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 6
    103: l18 -> l6 : bDomain^0'=0, nj^0'=0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 6
    104: l18 -> l6 : bDomain^0'=0, nj^0'=0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 6
    134: l18 -> l6 : bDomain^0'=0, nj^0'=1, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && bDomain^0==0 && 1<=nDim^0 && ni^0==0 ], cost: 8
    135: l18 -> l6 : bDomain^0'=1, nj^0'=1, tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 && 1<=nDim^0 && ni^0==0 ], cost: 10
    136: l18 -> l6 : bDomain^0'=1, nj^0'=1, tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 && 1<=nDim^0 && ni^0==0 ], cost: 10
    137: l18 -> l6 : bDomain^0'=0, nj^0'=1, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 && 1<=nDim^0 && ni^0==0 ], cost: 10
    138: l18 -> l6 : bDomain^0'=0, nj^0'=1, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 && 1<=nDim^0 && ni^0==0 ], cost: 10
    139: l18 -> l6 : bDomain^0'=0, bNoCapture^0'=0, nj^0'=1, tmp___0^0'=0, tmp___1^0'=1, tmp___2^0'=0, [ 1+ni^0<=nDim^0 && bDomain^0==0 && 1<=nDim^0 && 1<=ni^0 && 1<=bNoCapture^0 ], cost: 16
    140: l18 -> l6 : bDomain^0'=1, bNoCapture^0'=0, nj^0'=1, tmp___0^0'=1, tmp___1^0'=1, tmp___2^0'=0, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 && 1<=nDim^0 && 1<=ni^0 && 1<=bNoCapture^0 ], cost: 18
    141: l18 -> l6 : bDomain^0'=1, bNoCapture^0'=0, nj^0'=1, tmp___0^0'=1, tmp___1^0'=1, tmp___2^0'=0, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 && 1<=nDim^0 && 1<=ni^0 && 1<=bNoCapture^0 ], cost: 18
    142: l18 -> l6 : bDomain^0'=0, bNoCapture^0'=0, nj^0'=1, tmp___0^0'=0, tmp___1^0'=1, tmp___2^0'=0, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 && 1<=nDim^0 && 1<=ni^0 && 1<=bNoCapture^0 ], cost: 18
    143: l18 -> l6 : bDomain^0'=0, bNoCapture^0'=0, nj^0'=1, tmp___0^0'=0, tmp___1^0'=1, tmp___2^0'=0, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 && 1<=nDim^0 && 1<=ni^0 && 1<=bNoCapture^0 ], cost: 18
    144: l18 -> l6 : bDomain^0'=0, bNoCapture^0'=0, nj^0'=1, tmp___0^0'=0, tmp___1^0'=0, tmp___2^0'=0, [ 1+ni^0<=nDim^0 && bDomain^0==0 && 1<=nDim^0 && 1<=ni^0 && 1+bNoCapture^0<=0 ], cost: 13
    145: l18 -> l6 : bDomain^0'=1, bNoCapture^0'=0, nj^0'=1, tmp___0^0'=1, tmp___1^0'=0, tmp___2^0'=0, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 && 1<=nDim^0 && 1<=ni^0 && 1+bNoCapture^0<=0 ], cost: 15
    146: l18 -> l6 : bDomain^0'=1, bNoCapture^0'=0, nj^0'=1, tmp___0^0'=1, tmp___1^0'=0, tmp___2^0'=0, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 && 1<=nDim^0 && 1<=ni^0 && 1+bNoCapture^0<=0 ], cost: 15
    147: l18 -> l6 : bDomain^0'=0, bNoCapture^0'=0, nj^0'=1, tmp___0^0'=0, tmp___1^0'=0, tmp___2^0'=0, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 && 1<=nDim^0 && 1<=ni^0 && 1+bNoCapture^0<=0 ], cost: 15
    148: l18 -> l6 : bDomain^0'=0, bNoCapture^0'=0, nj^0'=1, tmp___0^0'=0, tmp___1^0'=0, tmp___2^0'=0, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 && 1<=nDim^0 && 1<=ni^0 && 1+bNoCapture^0<=0 ], cost: 15
    149: l18 -> l6 : bDomain^0'=0, bNoCapture^0'=0, nj^0'=ni^0, tmp___0^0'=0, tmp___1^0'=0, tmp___2^0'=0, [ 1+ni^0<=nDim^0 && bDomain^0==0 && bNoCapture^0==0 && ni^0>=1 ], cost: 4+8*ni^0
    150: l18 -> l6 : bDomain^0'=1, bNoCapture^0'=0, nj^0'=ni^0, tmp___0^0'=1, tmp___1^0'=0, tmp___2^0'=0, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 && bNoCapture^0==0 && ni^0>=1 ], cost: 6+8*ni^0
    151: l18 -> l6 : bDomain^0'=1, bNoCapture^0'=0, nj^0'=ni^0, tmp___0^0'=1, tmp___1^0'=0, tmp___2^0'=0, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 && bNoCapture^0==0 && ni^0>=1 ], cost: 6+8*ni^0
    152: l18 -> l6 : bDomain^0'=0, bNoCapture^0'=0, nj^0'=ni^0, tmp___0^0'=0, tmp___1^0'=0, tmp___2^0'=0, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 && bNoCapture^0==0 && ni^0>=1 ], cost: 6+8*ni^0
    153: l18 -> l6 : bDomain^0'=0, bNoCapture^0'=0, nj^0'=ni^0, tmp___0^0'=0, tmp___1^0'=0, tmp___2^0'=0, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 && bNoCapture^0==0 && ni^0>=1 ], cost: 6+8*ni^0
    154: l18 -> l6 : bDomain^0'=0, bNoCapture^0'=1, nj^0'=ni^0, tmp___0^0'=0, tmp___1^0'=1, tmp___2^0'=1, [ 1+ni^0<=nDim^0 && bDomain^0==0 && 1<=bNoCapture^0 && ni^0>=1 ], cost: 4+13*ni^0
    155: l18 -> l6 : bDomain^0'=1, bNoCapture^0'=1, nj^0'=ni^0, tmp___0^0'=1, tmp___1^0'=1, tmp___2^0'=1, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 && 1<=bNoCapture^0 && ni^0>=1 ], cost: 6+13*ni^0
    156: l18 -> l6 : bDomain^0'=1, bNoCapture^0'=1, nj^0'=ni^0, tmp___0^0'=1, tmp___1^0'=1, tmp___2^0'=1, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 && 1<=bNoCapture^0 && ni^0>=1 ], cost: 6+13*ni^0
    157: l18 -> l6 : bDomain^0'=0, bNoCapture^0'=1, nj^0'=ni^0, tmp___0^0'=0, tmp___1^0'=1, tmp___2^0'=1, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 && 1<=bNoCapture^0 && ni^0>=1 ], cost: 6+13*ni^0
    158: l18 -> l6 : bDomain^0'=0, bNoCapture^0'=1, nj^0'=ni^0, tmp___0^0'=0, tmp___1^0'=1, tmp___2^0'=1, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 && 1<=bNoCapture^0 && ni^0>=1 ], cost: 6+13*ni^0
     76: l27 -> l18 : bDomain^0'=1, bNoCapture^0'=1, nDim^0'=9, ni^0'=0, tmp^0'=tmp^post_49, [], cost: 22

Eliminated locations (on tree-shaped paths):
   Start location: l27
    159: l18 -> l18 : bDomain^0'=0, ni^0'=1+ni^0, nj^0'=0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && bDomain^0==0 && nDim^0<=0 ], cost: 6
    160: l18 -> l18 : bDomain^0'=1, ni^0'=1+ni^0, nj^0'=0, tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 && nDim^0<=0 ], cost: 8
    161: l18 -> l18 : bDomain^0'=1, ni^0'=1+ni^0, nj^0'=0, tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 && nDim^0<=0 ], cost: 8
    162: l18 -> l18 : bDomain^0'=0, ni^0'=1+ni^0, nj^0'=0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 && nDim^0<=0 ], cost: 8
    163: l18 -> l18 : bDomain^0'=0, ni^0'=1+ni^0, nj^0'=0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 && nDim^0<=0 ], cost: 8
    164: l18 -> l18 : bDomain^0'=0, ni^0'=1+ni^0, nj^0'=1, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && bDomain^0==0 && 1<=nDim^0 && ni^0==0 && nDim^0<=1 ], cost: 10
    165: l18 -> l18 : bDomain^0'=1, ni^0'=1+ni^0, nj^0'=1, tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 && 1<=nDim^0 && ni^0==0 && nDim^0<=1 ], cost: 12
    166: l18 -> l18 : bDomain^0'=1, ni^0'=1+ni^0, nj^0'=1, tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 && 1<=nDim^0 && ni^0==0 && nDim^0<=1 ], cost: 12
    167: l18 -> l18 : bDomain^0'=0, ni^0'=1+ni^0, nj^0'=1, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 && 1<=nDim^0 && ni^0==0 && nDim^0<=1 ], cost: 12
    168: l18 -> l18 : bDomain^0'=0, ni^0'=1+ni^0, nj^0'=1, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 && 1<=nDim^0 && ni^0==0 && nDim^0<=1 ], cost: 12
    169: l18 -> [30] : [ 1+ni^0<=nDim^0 && bDomain^0==0 && bNoCapture^0==0 && ni^0>=1 ], cost: 4+8*ni^0
    170: l18 -> [30] : [ 1+ni^0<=nDim^0 && 1<=bDomain^0 && bNoCapture^0==0 && ni^0>=1 ], cost: 6+8*ni^0
    171: l18 -> [30] : [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 && bNoCapture^0==0 && ni^0>=1 ], cost: 6+8*ni^0
    172: l18 -> [30] : [ 1+ni^0<=nDim^0 && 1<=bDomain^0 && bNoCapture^0==0 && ni^0>=1 ], cost: 6+8*ni^0
    173: l18 -> [30] : [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 && bNoCapture^0==0 && ni^0>=1 ], cost: 6+8*ni^0
    174: l18 -> [30] : [ 1+ni^0<=nDim^0 && bDomain^0==0 && 1<=bNoCapture^0 && ni^0>=1 ], cost: 4+13*ni^0
    175: l18 -> [30] : [ 1+ni^0<=nDim^0 && 1<=bDomain^0 && 1<=bNoCapture^0 && ni^0>=1 ], cost: 6+13*ni^0
    176: l18 -> [30] : [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 && 1<=bNoCapture^0 && ni^0>=1 ], cost: 6+13*ni^0
    177: l18 -> [30] : [ 1+ni^0<=nDim^0 && 1<=bDomain^0 && 1<=bNoCapture^0 && ni^0>=1 ], cost: 6+13*ni^0
    178: l18 -> [30] : [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 && 1<=bNoCapture^0 && ni^0>=1 ], cost: 6+13*ni^0
     76: l27 -> l18 : bDomain^0'=1, bNoCapture^0'=1, nDim^0'=9, ni^0'=0, tmp^0'=tmp^post_49, [], cost: 22

Merged rules:
   Start location: l27
    159: l18 -> l18 : bDomain^0'=0, ni^0'=1+ni^0, nj^0'=0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && bDomain^0==0 && nDim^0<=0 ], cost: 6
    160: l18 -> l18 : bDomain^0'=1, ni^0'=1+ni^0, nj^0'=0, tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 && nDim^0<=0 ], cost: 8
    161: l18 -> l18 : bDomain^0'=1, ni^0'=1+ni^0, nj^0'=0, tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 && nDim^0<=0 ], cost: 8
    162: l18 -> l18 : bDomain^0'=0, ni^0'=1+ni^0, nj^0'=0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 && nDim^0<=0 ], cost: 8
    163: l18 -> l18 : bDomain^0'=0, ni^0'=1+ni^0, nj^0'=0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 && nDim^0<=0 ], cost: 8
    164: l18 -> l18 : bDomain^0'=0, ni^0'=1+ni^0, nj^0'=1, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && bDomain^0==0 && 1<=nDim^0 && ni^0==0 && nDim^0<=1 ], cost: 10
    165: l18 -> l18 : bDomain^0'=1, ni^0'=1+ni^0, nj^0'=1, tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 && 1<=nDim^0 && ni^0==0 && nDim^0<=1 ], cost: 12
    166: l18 -> l18 : bDomain^0'=1, ni^0'=1+ni^0, nj^0'=1, tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 && 1<=nDim^0 && ni^0==0 && nDim^0<=1 ], cost: 12
    167: l18 -> l18 : bDomain^0'=0, ni^0'=1+ni^0, nj^0'=1, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 && 1<=nDim^0 && ni^0==0 && nDim^0<=1 ], cost: 12
    168: l18 -> l18 : bDomain^0'=0, ni^0'=1+ni^0, nj^0'=1, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 && 1<=nDim^0 && ni^0==0 && nDim^0<=1 ], cost: 12
    169: l18 -> [30] : [ 1+ni^0<=nDim^0 && bDomain^0==0 && bNoCapture^0==0 && ni^0>=1 ], cost: 4+8*ni^0
    174: l18 -> [30] : [ 1+ni^0<=nDim^0 && bDomain^0==0 && 1<=bNoCapture^0 && ni^0>=1 ], cost: 4+13*ni^0
    179: l18 -> [30] : [ 1+ni^0<=nDim^0 && 1<=bDomain^0 && bNoCapture^0==0 && ni^0>=1 ], cost: 6+8*ni^0
    180: l18 -> [30] : [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 && bNoCapture^0==0 && ni^0>=1 ], cost: 6+8*ni^0
    181: l18 -> [30] : [ 1+ni^0<=nDim^0 && 1<=bDomain^0 && 1<=bNoCapture^0 && ni^0>=1 ], cost: 6+13*ni^0
    182: l18 -> [30] : [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 && 1<=bNoCapture^0 && ni^0>=1 ], cost: 6+13*ni^0
     76: l27 -> l18 : bDomain^0'=1, bNoCapture^0'=1, nDim^0'=9, ni^0'=0, tmp^0'=tmp^post_49, [], cost: 22

Applied pruning (of leafs and parallel rules):
   Start location: l27
    159: l18 -> l18 : bDomain^0'=0, ni^0'=1+ni^0, nj^0'=0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && bDomain^0==0 && nDim^0<=0 ], cost: 6
    160: l18 -> l18 : bDomain^0'=1, ni^0'=1+ni^0, nj^0'=0, tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 && nDim^0<=0 ], cost: 8
    162: l18 -> l18 : bDomain^0'=0, ni^0'=1+ni^0, nj^0'=0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 && nDim^0<=0 ], cost: 8
    163: l18 -> l18 : bDomain^0'=0, ni^0'=1+ni^0, nj^0'=0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 && nDim^0<=0 ], cost: 8
    164: l18 -> l18 : bDomain^0'=0, ni^0'=1+ni^0, nj^0'=1, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && bDomain^0==0 && 1<=nDim^0 && ni^0==0 && nDim^0<=1 ], cost: 10
    174: l18 -> [30] : [ 1+ni^0<=nDim^0 && bDomain^0==0 && 1<=bNoCapture^0 && ni^0>=1 ], cost: 4+13*ni^0
    179: l18 -> [30] : [ 1+ni^0<=nDim^0 && 1<=bDomain^0 && bNoCapture^0==0 && ni^0>=1 ], cost: 6+8*ni^0
    180: l18 -> [30] : [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 && bNoCapture^0==0 && ni^0>=1 ], cost: 6+8*ni^0
    181: l18 -> [30] : [ 1+ni^0<=nDim^0 && 1<=bDomain^0 && 1<=bNoCapture^0 && ni^0>=1 ], cost: 6+13*ni^0
    182: l18 -> [30] : [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 && 1<=bNoCapture^0 && ni^0>=1 ], cost: 6+13*ni^0
     76: l27 -> l18 : bDomain^0'=1, bNoCapture^0'=1, nDim^0'=9, ni^0'=0, tmp^0'=tmp^post_49, [], cost: 22

Accelerating simple loops of location 18.
   Simplified some of the simple loops (and removed duplicate rules).
   Accelerating the following rules:
    159: l18 -> l18 : bDomain^0'=0, ni^0'=1+ni^0, nj^0'=0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && bDomain^0==0 && nDim^0<=0 ], cost: 6
    160: l18 -> l18 : bDomain^0'=1, ni^0'=1+ni^0, nj^0'=0, tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 && nDim^0<=0 ], cost: 8
    162: l18 -> l18 : bDomain^0'=0, ni^0'=1+ni^0, nj^0'=0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 && nDim^0<=0 ], cost: 8
    163: l18 -> l18 : bDomain^0'=0, ni^0'=1+ni^0, nj^0'=0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 && nDim^0<=0 ], cost: 8
    164: l18 -> l18 : bDomain^0'=0, ni^0'=1+ni^0, nj^0'=1, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && bDomain^0==0 && 1-nDim^0==0 && ni^0==0 ], cost: 10

   Accelerated rule 159 with backward acceleration, yielding the new rule 183.
   Accelerated rule 160 with backward acceleration, yielding the new rule 184.
   Failed to prove monotonicity of the guard of rule 162.
   Failed to prove monotonicity of the guard of rule 163.
   Failed to prove monotonicity of the guard of rule 164.
[accelerate] Nesting with 5 inner and 5 outer candidates
   Removing the simple loops: 159 160.

Accelerated all simple loops using metering functions (where possible):
   Start location: l27
    162: l18 -> l18 : bDomain^0'=0, ni^0'=1+ni^0, nj^0'=0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 && nDim^0<=0 ], cost: 8
    163: l18 -> l18 : bDomain^0'=0, ni^0'=1+ni^0, nj^0'=0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 && nDim^0<=0 ], cost: 8
    164: l18 -> l18 : bDomain^0'=0, ni^0'=1+ni^0, nj^0'=1, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && bDomain^0==0 && 1-nDim^0==0 && ni^0==0 ], cost: 10
    174: l18 -> [30] : [ 1+ni^0<=nDim^0 && bDomain^0==0 && 1<=bNoCapture^0 && ni^0>=1 ], cost: 4+13*ni^0
    179: l18 -> [30] : [ 1+ni^0<=nDim^0 && 1<=bDomain^0 && bNoCapture^0==0 && ni^0>=1 ], cost: 6+8*ni^0
    180: l18 -> [30] : [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 && bNoCapture^0==0 && ni^0>=1 ], cost: 6+8*ni^0
    181: l18 -> [30] : [ 1+ni^0<=nDim^0 && 1<=bDomain^0 && 1<=bNoCapture^0 && ni^0>=1 ], cost: 6+13*ni^0
    182: l18 -> [30] : [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 && 1<=bNoCapture^0 && ni^0>=1 ], cost: 6+13*ni^0
    183: l18 -> l18 : bDomain^0'=0, ni^0'=nDim^0, nj^0'=0, tmp___0^0'=0, [ bDomain^0==0 && nDim^0<=0 && nDim^0-ni^0>=1 ], cost: 6*nDim^0-6*ni^0
    184: l18 -> l18 : bDomain^0'=1, ni^0'=nDim^0, nj^0'=0, tmp___0^0'=1, [ 1<=bDomain^0 && nDim^0<=0 && nDim^0-ni^0>=1 ], cost: 8*nDim^0-8*ni^0
     76: l27 -> l18 : bDomain^0'=1, bNoCapture^0'=1, nDim^0'=9, ni^0'=0, tmp^0'=tmp^post_49, [], cost: 22

Chained accelerated rules (with incoming rules):
   Start location: l27
    174: l18 -> [30] : [ 1+ni^0<=nDim^0 && bDomain^0==0 && 1<=bNoCapture^0 && ni^0>=1 ], cost: 4+13*ni^0
    179: l18 -> [30] : [ 1+ni^0<=nDim^0 && 1<=bDomain^0 && bNoCapture^0==0 && ni^0>=1 ], cost: 6+8*ni^0
    180: l18 -> [30] : [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 && bNoCapture^0==0 && ni^0>=1 ], cost: 6+8*ni^0
    181: l18 -> [30] : [ 1+ni^0<=nDim^0 && 1<=bDomain^0 && 1<=bNoCapture^0 && ni^0>=1 ], cost: 6+13*ni^0
    182: l18 -> [30] : [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 && 1<=bNoCapture^0 && ni^0>=1 ], cost: 6+13*ni^0
     76: l27 -> l18 : bDomain^0'=1, bNoCapture^0'=1, nDim^0'=9, ni^0'=0, tmp^0'=tmp^post_49, [], cost: 22

Eliminated locations (on tree-shaped paths):
   Start location: l27
     <empty>

### Computing asymptotic complexity ###

Fully simplified ITS problem
   Start location: l27
     <empty>

Obtained the following overall complexity (w.r.t. the length of the input n):
   Complexity:  Constant
   Cpx degree:  0
   Solved cost: 1
   Rule cost:   1
   Rule guard:  [ bDomain^0==bDomain^post_50 && bNoCapture^0==bNoCapture^post_50 && nDim^0==nDim^post_50 && ni^0==ni^post_50 && nj^0==nj^post_50 && tmp^0==tmp^post_50 && tmp___0^0==tmp___0^post_50 && tmp___1^0==tmp___1^post_50 && tmp___2^0==tmp___2^post_50 && tmp___3^0==tmp___3^post_50 ]

WORST_CASE(Omega(1),?)