WORST_CASE(Omega(1),?)

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

Initial linear ITS problem
   Start location: l30
      0: l0 -> l1 : __const_12^0'=__const_12^post_1, bAllDiff^0'=bAllDiff^post_1, bDomain^0'=bDomain^post_1, bGray^0'=bGray^post_1, nDiff^0'=nDiff^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, [ __const_12^0==__const_12^post_1 && bAllDiff^0==bAllDiff^post_1 && bDomain^0==bDomain^post_1 && bGray^0==bGray^post_1 && nDiff^0==nDiff^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 : __const_12^0'=__const_12^post_2, bAllDiff^0'=bAllDiff^post_2, bDomain^0'=bDomain^post_2, bGray^0'=bGray^post_2, nDiff^0'=nDiff^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 && __const_12^0==__const_12^post_2 && bAllDiff^0==bAllDiff^post_2 && bDomain^0==bDomain^post_2 && bGray^0==bGray^post_2 && nDiff^0==nDiff^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 : __const_12^0'=__const_12^post_3, bAllDiff^0'=bAllDiff^post_3, bDomain^0'=bDomain^post_3, bGray^0'=bGray^post_3, nDiff^0'=nDiff^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, [ bGray^0<=0 && 0<=bGray^0 && tmp___3^post_3==1 && __const_12^0==__const_12^post_3 && bAllDiff^0==bAllDiff^post_3 && bDomain^0==bDomain^post_3 && bGray^0==bGray^post_3 && nDiff^0==nDiff^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 : __const_12^0'=__const_12^post_4, bAllDiff^0'=bAllDiff^post_4, bDomain^0'=bDomain^post_4, bGray^0'=bGray^post_4, nDiff^0'=nDiff^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<=bGray^0 && __const_12^0==__const_12^post_4 && bAllDiff^0==bAllDiff^post_4 && bDomain^0==bDomain^post_4 && bGray^0==bGray^post_4 && nDiff^0==nDiff^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 : __const_12^0'=__const_12^post_5, bAllDiff^0'=bAllDiff^post_5, bDomain^0'=bDomain^post_5, bGray^0'=bGray^post_5, nDiff^0'=nDiff^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+bGray^0<=0 && __const_12^0==__const_12^post_5 && bAllDiff^0==bAllDiff^post_5 && bDomain^0==bDomain^post_5 && bGray^0==bGray^post_5 && nDiff^0==nDiff^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 : __const_12^0'=__const_12^post_6, bAllDiff^0'=bAllDiff^post_6, bDomain^0'=bDomain^post_6, bGray^0'=bGray^post_6, nDiff^0'=nDiff^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, [ bAllDiff^0<=0 && 0<=bAllDiff^0 && tmp___3^post_6==1 && __const_12^0==__const_12^post_6 && bAllDiff^0==bAllDiff^post_6 && bDomain^0==bDomain^post_6 && bGray^0==bGray^post_6 && nDiff^0==nDiff^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 : __const_12^0'=__const_12^post_7, bAllDiff^0'=bAllDiff^post_7, bDomain^0'=bDomain^post_7, bGray^0'=bGray^post_7, nDiff^0'=nDiff^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<=bAllDiff^0 && __const_12^0==__const_12^post_7 && bAllDiff^0==bAllDiff^post_7 && bDomain^0==bDomain^post_7 && bGray^0==bGray^post_7 && nDiff^0==nDiff^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 : __const_12^0'=__const_12^post_8, bAllDiff^0'=bAllDiff^post_8, bDomain^0'=bDomain^post_8, bGray^0'=bGray^post_8, nDiff^0'=nDiff^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+bAllDiff^0<=0 && __const_12^0==__const_12^post_8 && bAllDiff^0==bAllDiff^post_8 && bDomain^0==bDomain^post_8 && bGray^0==bGray^post_8 && nDiff^0==nDiff^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 -> l0 : __const_12^0'=__const_12^post_9, bAllDiff^0'=bAllDiff^post_9, bDomain^0'=bDomain^post_9, bGray^0'=bGray^post_9, nDiff^0'=nDiff^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, [ bDomain^0<=0 && 0<=bDomain^0 && tmp___3^post_9==1 && __const_12^0==__const_12^post_9 && bAllDiff^0==bAllDiff^post_9 && bDomain^0==bDomain^post_9 && bGray^0==bGray^post_9 && nDiff^0==nDiff^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 ], cost: 1
      9: l5 -> l4 : __const_12^0'=__const_12^post_10, bAllDiff^0'=bAllDiff^post_10, bDomain^0'=bDomain^post_10, bGray^0'=bGray^post_10, nDiff^0'=nDiff^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, [ 1<=bDomain^0 && __const_12^0==__const_12^post_10 && bAllDiff^0==bAllDiff^post_10 && bDomain^0==bDomain^post_10 && bGray^0==bGray^post_10 && nDiff^0==nDiff^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: l5 -> l4 : __const_12^0'=__const_12^post_11, bAllDiff^0'=bAllDiff^post_11, bDomain^0'=bDomain^post_11, bGray^0'=bGray^post_11, nDiff^0'=nDiff^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, [ 1+bDomain^0<=0 && __const_12^0==__const_12^post_11 && bAllDiff^0==bAllDiff^post_11 && bDomain^0==bDomain^post_11 && bGray^0==bGray^post_11 && nDiff^0==nDiff^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
     11: l6 -> l7 : __const_12^0'=__const_12^post_12, bAllDiff^0'=bAllDiff^post_12, bDomain^0'=bDomain^post_12, bGray^0'=bGray^post_12, nDiff^0'=nDiff^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, [ __const_12^0==__const_12^post_12 && bAllDiff^0==bAllDiff^post_12 && bDomain^0==bDomain^post_12 && bGray^0==bGray^post_12 && nDiff^0==nDiff^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 ], cost: 1
     50: l7 -> l14 : __const_12^0'=__const_12^post_51, bAllDiff^0'=bAllDiff^post_51, bDomain^0'=bDomain^post_51, bGray^0'=bGray^post_51, nDiff^0'=nDiff^post_51, nDim^0'=nDim^post_51, ni^0'=ni^post_51, nj^0'=nj^post_51, tmp^0'=tmp^post_51, tmp___0^0'=tmp___0^post_51, tmp___1^0'=tmp___1^post_51, tmp___2^0'=tmp___2^post_51, tmp___3^0'=tmp___3^post_51, [ nDim^0<=ni^0 && ni^post_51==0 && __const_12^0==__const_12^post_51 && bAllDiff^0==bAllDiff^post_51 && bDomain^0==bDomain^post_51 && bGray^0==bGray^post_51 && nDiff^0==nDiff^post_51 && nDim^0==nDim^post_51 && nj^0==nj^post_51 && tmp^0==tmp^post_51 && tmp___0^0==tmp___0^post_51 && tmp___1^0==tmp___1^post_51 && tmp___2^0==tmp___2^post_51 && tmp___3^0==tmp___3^post_51 ], cost: 1
     51: l7 -> l6 : __const_12^0'=__const_12^post_52, bAllDiff^0'=bAllDiff^post_52, bDomain^0'=bDomain^post_52, bGray^0'=bGray^post_52, nDiff^0'=nDiff^post_52, nDim^0'=nDim^post_52, ni^0'=ni^post_52, nj^0'=nj^post_52, tmp^0'=tmp^post_52, tmp___0^0'=tmp___0^post_52, tmp___1^0'=tmp___1^post_52, tmp___2^0'=tmp___2^post_52, tmp___3^0'=tmp___3^post_52, [ 1+ni^0<=nDim^0 && ni^post_52==1+ni^0 && __const_12^0==__const_12^post_52 && bAllDiff^0==bAllDiff^post_52 && bDomain^0==bDomain^post_52 && bGray^0==bGray^post_52 && nDiff^0==nDiff^post_52 && nDim^0==nDim^post_52 && nj^0==nj^post_52 && tmp^0==tmp^post_52 && tmp___0^0==tmp___0^post_52 && tmp___1^0==tmp___1^post_52 && tmp___2^0==tmp___2^post_52 && tmp___3^0==tmp___3^post_52 ], cost: 1
     12: l8 -> l9 : __const_12^0'=__const_12^post_13, bAllDiff^0'=bAllDiff^post_13, bDomain^0'=bDomain^post_13, bGray^0'=bGray^post_13, nDiff^0'=nDiff^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, [ bGray^post_13==tmp___2^0 && ni^post_13==1+ni^0 && __const_12^0==__const_12^post_13 && bAllDiff^0==bAllDiff^post_13 && bDomain^0==bDomain^post_13 && nDiff^0==nDiff^post_13 && nDim^0==nDim^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 ], cost: 1
     47: l9 -> l16 : __const_12^0'=__const_12^post_48, bAllDiff^0'=bAllDiff^post_48, bDomain^0'=bDomain^post_48, bGray^0'=bGray^post_48, nDiff^0'=nDiff^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, [ __const_12^0==__const_12^post_48 && bAllDiff^0==bAllDiff^post_48 && bDomain^0==bDomain^post_48 && bGray^0==bGray^post_48 && nDiff^0==nDiff^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 ], cost: 1
     13: l10 -> l8 : __const_12^0'=__const_12^post_14, bAllDiff^0'=bAllDiff^post_14, bDomain^0'=bDomain^post_14, bGray^0'=bGray^post_14, nDiff^0'=nDiff^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, [ tmp___2^post_14==1 && __const_12^0==__const_12^post_14 && bAllDiff^0==bAllDiff^post_14 && bDomain^0==bDomain^post_14 && bGray^0==bGray^post_14 && nDiff^0==nDiff^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___3^0==tmp___3^post_14 ], cost: 1
     14: l11 -> l8 : __const_12^0'=__const_12^post_15, bAllDiff^0'=bAllDiff^post_15, bDomain^0'=bDomain^post_15, bGray^0'=bGray^post_15, nDiff^0'=nDiff^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, [ nDiff^0<=0 && 0<=nDiff^0 && tmp___2^post_15==0 && __const_12^0==__const_12^post_15 && bAllDiff^0==bAllDiff^post_15 && bDomain^0==bDomain^post_15 && bGray^0==bGray^post_15 && nDiff^0==nDiff^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___3^0==tmp___3^post_15 ], cost: 1
     15: l11 -> l10 : __const_12^0'=__const_12^post_16, bAllDiff^0'=bAllDiff^post_16, bDomain^0'=bDomain^post_16, bGray^0'=bGray^post_16, nDiff^0'=nDiff^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, [ 1<=nDiff^0 && __const_12^0==__const_12^post_16 && bAllDiff^0==bAllDiff^post_16 && bDomain^0==bDomain^post_16 && bGray^0==bGray^post_16 && nDiff^0==nDiff^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 ], cost: 1
     16: l11 -> l10 : __const_12^0'=__const_12^post_17, bAllDiff^0'=bAllDiff^post_17, bDomain^0'=bDomain^post_17, bGray^0'=bGray^post_17, nDiff^0'=nDiff^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, [ 1+nDiff^0<=0 && __const_12^0==__const_12^post_17 && bAllDiff^0==bAllDiff^post_17 && bDomain^0==bDomain^post_17 && bGray^0==bGray^post_17 && nDiff^0==nDiff^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 -> l8 : __const_12^0'=__const_12^post_18, bAllDiff^0'=bAllDiff^post_18, bDomain^0'=bDomain^post_18, bGray^0'=bGray^post_18, nDiff^0'=nDiff^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, [ tmp___2^post_18==0 && __const_12^0==__const_12^post_18 && bAllDiff^0==bAllDiff^post_18 && bDomain^0==bDomain^post_18 && bGray^0==bGray^post_18 && nDiff^0==nDiff^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___3^0==tmp___3^post_18 ], cost: 1
     18: l12 -> l11 : __const_12^0'=__const_12^post_19, bAllDiff^0'=bAllDiff^post_19, bDomain^0'=bDomain^post_19, bGray^0'=bGray^post_19, nDiff^0'=nDiff^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, [ __const_12^0==__const_12^post_19 && bAllDiff^0==bAllDiff^post_19 && bDomain^0==bDomain^post_19 && bGray^0==bGray^post_19 && nDiff^0==nDiff^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 ], cost: 1
     19: l13 -> l8 : __const_12^0'=__const_12^post_20, bAllDiff^0'=bAllDiff^post_20, bDomain^0'=bDomain^post_20, bGray^0'=bGray^post_20, nDiff^0'=nDiff^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, [ bGray^0<=0 && 0<=bGray^0 && tmp___2^post_20==0 && __const_12^0==__const_12^post_20 && bAllDiff^0==bAllDiff^post_20 && bDomain^0==bDomain^post_20 && bGray^0==bGray^post_20 && nDiff^0==nDiff^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___3^0==tmp___3^post_20 ], cost: 1
     20: l13 -> l12 : __const_12^0'=__const_12^post_21, bAllDiff^0'=bAllDiff^post_21, bDomain^0'=bDomain^post_21, bGray^0'=bGray^post_21, nDiff^0'=nDiff^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<=bGray^0 && __const_12^0==__const_12^post_21 && bAllDiff^0==bAllDiff^post_21 && bDomain^0==bDomain^post_21 && bGray^0==bGray^post_21 && nDiff^0==nDiff^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: l13 -> l12 : __const_12^0'=__const_12^post_22, bAllDiff^0'=bAllDiff^post_22, bDomain^0'=bDomain^post_22, bGray^0'=bGray^post_22, nDiff^0'=nDiff^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, [ 1+bGray^0<=0 && __const_12^0==__const_12^post_22 && bAllDiff^0==bAllDiff^post_22 && bDomain^0==bDomain^post_22 && bGray^0==bGray^post_22 && nDiff^0==nDiff^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: l14 -> l15 : __const_12^0'=__const_12^post_23, bAllDiff^0'=bAllDiff^post_23, bDomain^0'=bDomain^post_23, bGray^0'=bGray^post_23, nDiff^0'=nDiff^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, [ __const_12^0==__const_12^post_23 && bAllDiff^0==bAllDiff^post_23 && bDomain^0==bDomain^post_23 && bGray^0==bGray^post_23 && nDiff^0==nDiff^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 ], cost: 1
     48: l15 -> l19 : __const_12^0'=__const_12^post_49, bAllDiff^0'=bAllDiff^post_49, bDomain^0'=bDomain^post_49, bGray^0'=bGray^post_49, nDiff^0'=nDiff^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^0<=ni^0 && ni^post_49==0 && __const_12^0==__const_12^post_49 && bAllDiff^0==bAllDiff^post_49 && bDomain^0==bDomain^post_49 && bGray^0==bGray^post_49 && nDiff^0==nDiff^post_49 && nDim^0==nDim^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 ], cost: 1
     49: l15 -> l28 : __const_12^0'=__const_12^post_50, bAllDiff^0'=bAllDiff^post_50, bDomain^0'=bDomain^post_50, bGray^0'=bGray^post_50, nDiff^0'=nDiff^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, [ 1+ni^0<=nDim^0 && __const_12^0==__const_12^post_50 && bAllDiff^0==bAllDiff^post_50 && bDomain^0==bDomain^post_50 && bGray^0==bGray^post_50 && nDiff^0==nDiff^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
     23: l16 -> l5 : __const_12^0'=__const_12^post_24, bAllDiff^0'=bAllDiff^post_24, bDomain^0'=bDomain^post_24, bGray^0'=bGray^post_24, nDiff^0'=nDiff^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, [ -1+nDim^0<=ni^0 && __const_12^0==__const_12^post_24 && bAllDiff^0==bAllDiff^post_24 && bDomain^0==bDomain^post_24 && bGray^0==bGray^post_24 && nDiff^0==nDiff^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 -> l13 : __const_12^0'=__const_12^post_25, bAllDiff^0'=bAllDiff^post_25, bDomain^0'=bDomain^post_25, bGray^0'=bGray^post_25, nDiff^0'=nDiff^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, [ 1+ni^0<=-1+nDim^0 && nDiff^post_25==nDiff^post_25 && __const_12^0==__const_12^post_25 && bAllDiff^0==bAllDiff^post_25 && bDomain^0==bDomain^post_25 && bGray^0==bGray^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 ], cost: 1
     25: l17 -> l18 : __const_12^0'=__const_12^post_26, bAllDiff^0'=bAllDiff^post_26, bDomain^0'=bDomain^post_26, bGray^0'=bGray^post_26, nDiff^0'=nDiff^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, [ bAllDiff^post_26==tmp___1^0 && nj^post_26==1+nj^0 && __const_12^0==__const_12^post_26 && bDomain^0==bDomain^post_26 && bGray^0==bGray^post_26 && nDiff^0==nDiff^post_26 && nDim^0==nDim^post_26 && ni^0==ni^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
     38: l18 -> l24 : __const_12^0'=__const_12^post_39, bAllDiff^0'=bAllDiff^post_39, bDomain^0'=bDomain^post_39, bGray^0'=bGray^post_39, nDiff^0'=nDiff^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, [ __const_12^0==__const_12^post_39 && bAllDiff^0==bAllDiff^post_39 && bDomain^0==bDomain^post_39 && bGray^0==bGray^post_39 && nDiff^0==nDiff^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
     26: l19 -> l20 : __const_12^0'=__const_12^post_27, bAllDiff^0'=bAllDiff^post_27, bDomain^0'=bDomain^post_27, bGray^0'=bGray^post_27, nDiff^0'=nDiff^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, [ __const_12^0==__const_12^post_27 && bAllDiff^0==bAllDiff^post_27 && bDomain^0==bDomain^post_27 && bGray^0==bGray^post_27 && nDiff^0==nDiff^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 ], cost: 1
     36: l20 -> l9 : __const_12^0'=__const_12^post_37, bAllDiff^0'=bAllDiff^post_37, bDomain^0'=bDomain^post_37, bGray^0'=bGray^post_37, nDiff^0'=nDiff^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, [ -1+nDim^0<=ni^0 && ni^post_37==0 && __const_12^0==__const_12^post_37 && bAllDiff^0==bAllDiff^post_37 && bDomain^0==bDomain^post_37 && bGray^0==bGray^post_37 && nDiff^0==nDiff^post_37 && nDim^0==nDim^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 ], cost: 1
     37: l20 -> l18 : __const_12^0'=__const_12^post_38, bAllDiff^0'=bAllDiff^post_38, bDomain^0'=bDomain^post_38, bGray^0'=bGray^post_38, nDiff^0'=nDiff^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, [ 1+ni^0<=-1+nDim^0 && nj^post_38==1+ni^0 && __const_12^0==__const_12^post_38 && bAllDiff^0==bAllDiff^post_38 && bDomain^0==bDomain^post_38 && bGray^0==bGray^post_38 && nDiff^0==nDiff^post_38 && nDim^0==nDim^post_38 && ni^0==ni^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 ], cost: 1
     27: l21 -> l17 : __const_12^0'=__const_12^post_28, bAllDiff^0'=bAllDiff^post_28, bDomain^0'=bDomain^post_28, bGray^0'=bGray^post_28, nDiff^0'=nDiff^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, [ tmp___1^post_28==1 && __const_12^0==__const_12^post_28 && bAllDiff^0==bAllDiff^post_28 && bDomain^0==bDomain^post_28 && bGray^0==bGray^post_28 && nDiff^0==nDiff^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___2^0==tmp___2^post_28 && tmp___3^0==tmp___3^post_28 ], cost: 1
     28: l22 -> l21 : __const_12^0'=__const_12^post_29, bAllDiff^0'=bAllDiff^post_29, bDomain^0'=bDomain^post_29, bGray^0'=bGray^post_29, nDiff^0'=nDiff^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, [ __const_12^0==__const_12^post_29 && bAllDiff^0==bAllDiff^post_29 && bDomain^0==bDomain^post_29 && bGray^0==bGray^post_29 && nDiff^0==nDiff^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: l22 -> l17 : __const_12^0'=__const_12^post_30, bAllDiff^0'=bAllDiff^post_30, bDomain^0'=bDomain^post_30, bGray^0'=bGray^post_30, nDiff^0'=nDiff^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, [ tmp___1^post_30==0 && __const_12^0==__const_12^post_30 && bAllDiff^0==bAllDiff^post_30 && bDomain^0==bDomain^post_30 && bGray^0==bGray^post_30 && nDiff^0==nDiff^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___2^0==tmp___2^post_30 && tmp___3^0==tmp___3^post_30 ], cost: 1
     30: l22 -> l21 : __const_12^0'=__const_12^post_31, bAllDiff^0'=bAllDiff^post_31, bDomain^0'=bDomain^post_31, bGray^0'=bGray^post_31, nDiff^0'=nDiff^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, [ __const_12^0==__const_12^post_31 && bAllDiff^0==bAllDiff^post_31 && bDomain^0==bDomain^post_31 && bGray^0==bGray^post_31 && nDiff^0==nDiff^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: l23 -> l17 : __const_12^0'=__const_12^post_32, bAllDiff^0'=bAllDiff^post_32, bDomain^0'=bDomain^post_32, bGray^0'=bGray^post_32, nDiff^0'=nDiff^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, [ bAllDiff^0<=0 && 0<=bAllDiff^0 && tmp___1^post_32==0 && __const_12^0==__const_12^post_32 && bAllDiff^0==bAllDiff^post_32 && bDomain^0==bDomain^post_32 && bGray^0==bGray^post_32 && nDiff^0==nDiff^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___2^0==tmp___2^post_32 && tmp___3^0==tmp___3^post_32 ], cost: 1
     32: l23 -> l22 : __const_12^0'=__const_12^post_33, bAllDiff^0'=bAllDiff^post_33, bDomain^0'=bDomain^post_33, bGray^0'=bGray^post_33, nDiff^0'=nDiff^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<=bAllDiff^0 && __const_12^0==__const_12^post_33 && bAllDiff^0==bAllDiff^post_33 && bDomain^0==bDomain^post_33 && bGray^0==bGray^post_33 && nDiff^0==nDiff^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: l23 -> l22 : __const_12^0'=__const_12^post_34, bAllDiff^0'=bAllDiff^post_34, bDomain^0'=bDomain^post_34, bGray^0'=bGray^post_34, nDiff^0'=nDiff^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, [ 1+bAllDiff^0<=0 && __const_12^0==__const_12^post_34 && bAllDiff^0==bAllDiff^post_34 && bDomain^0==bDomain^post_34 && bGray^0==bGray^post_34 && nDiff^0==nDiff^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 ], cost: 1
     34: l24 -> l19 : __const_12^0'=__const_12^post_35, bAllDiff^0'=bAllDiff^post_35, bDomain^0'=bDomain^post_35, bGray^0'=bGray^post_35, nDiff^0'=nDiff^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, [ nDim^0<=nj^0 && ni^post_35==1+ni^0 && __const_12^0==__const_12^post_35 && bAllDiff^0==bAllDiff^post_35 && bDomain^0==bDomain^post_35 && bGray^0==bGray^post_35 && nDiff^0==nDiff^post_35 && nDim^0==nDim^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: l24 -> l23 : __const_12^0'=__const_12^post_36, bAllDiff^0'=bAllDiff^post_36, bDomain^0'=bDomain^post_36, bGray^0'=bGray^post_36, nDiff^0'=nDiff^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, [ 1+nj^0<=nDim^0 && __const_12^0==__const_12^post_36 && bAllDiff^0==bAllDiff^post_36 && bDomain^0==bDomain^post_36 && bGray^0==bGray^post_36 && nDiff^0==nDiff^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 ], cost: 1
     39: l25 -> l14 : __const_12^0'=__const_12^post_40, bAllDiff^0'=bAllDiff^post_40, bDomain^0'=bDomain^post_40, bGray^0'=bGray^post_40, nDiff^0'=nDiff^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, [ bDomain^post_40==tmp___0^0 && ni^post_40==1+ni^0 && __const_12^0==__const_12^post_40 && bAllDiff^0==bAllDiff^post_40 && bGray^0==bGray^post_40 && nDiff^0==nDiff^post_40 && nDim^0==nDim^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 ], cost: 1
     40: l26 -> l25 : __const_12^0'=__const_12^post_41, bAllDiff^0'=bAllDiff^post_41, bDomain^0'=bDomain^post_41, bGray^0'=bGray^post_41, nDiff^0'=nDiff^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, [ tmp___0^post_41==1 && __const_12^0==__const_12^post_41 && bAllDiff^0==bAllDiff^post_41 && bDomain^0==bDomain^post_41 && bGray^0==bGray^post_41 && nDiff^0==nDiff^post_41 && nDim^0==nDim^post_41 && ni^0==ni^post_41 && nj^0==nj^post_41 && tmp^0==tmp^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: l26 -> l25 : __const_12^0'=__const_12^post_42, bAllDiff^0'=bAllDiff^post_42, bDomain^0'=bDomain^post_42, bGray^0'=bGray^post_42, nDiff^0'=nDiff^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, [ tmp___0^post_42==0 && __const_12^0==__const_12^post_42 && bAllDiff^0==bAllDiff^post_42 && bDomain^0==bDomain^post_42 && bGray^0==bGray^post_42 && nDiff^0==nDiff^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: l27 -> l25 : __const_12^0'=__const_12^post_43, bAllDiff^0'=bAllDiff^post_43, bDomain^0'=bDomain^post_43, bGray^0'=bGray^post_43, nDiff^0'=nDiff^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, [ tmp___0^post_43==0 && __const_12^0==__const_12^post_43 && bAllDiff^0==bAllDiff^post_43 && bDomain^0==bDomain^post_43 && bGray^0==bGray^post_43 && nDiff^0==nDiff^post_43 && nDim^0==nDim^post_43 && ni^0==ni^post_43 && nj^0==nj^post_43 && tmp^0==tmp^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: l27 -> l26 : __const_12^0'=__const_12^post_44, bAllDiff^0'=bAllDiff^post_44, bDomain^0'=bDomain^post_44, bGray^0'=bGray^post_44, nDiff^0'=nDiff^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, [ __const_12^0==__const_12^post_44 && bAllDiff^0==bAllDiff^post_44 && bDomain^0==bDomain^post_44 && bGray^0==bGray^post_44 && nDiff^0==nDiff^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
     44: l28 -> l25 : __const_12^0'=__const_12^post_45, bAllDiff^0'=bAllDiff^post_45, bDomain^0'=bDomain^post_45, bGray^0'=bGray^post_45, nDiff^0'=nDiff^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, [ bDomain^0<=0 && 0<=bDomain^0 && tmp___0^post_45==0 && __const_12^0==__const_12^post_45 && bAllDiff^0==bAllDiff^post_45 && bDomain^0==bDomain^post_45 && bGray^0==bGray^post_45 && nDiff^0==nDiff^post_45 && nDim^0==nDim^post_45 && ni^0==ni^post_45 && nj^0==nj^post_45 && tmp^0==tmp^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: l28 -> l27 : __const_12^0'=__const_12^post_46, bAllDiff^0'=bAllDiff^post_46, bDomain^0'=bDomain^post_46, bGray^0'=bGray^post_46, nDiff^0'=nDiff^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<=bDomain^0 && __const_12^0==__const_12^post_46 && bAllDiff^0==bAllDiff^post_46 && bDomain^0==bDomain^post_46 && bGray^0==bGray^post_46 && nDiff^0==nDiff^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
     46: l28 -> l27 : __const_12^0'=__const_12^post_47, bAllDiff^0'=bAllDiff^post_47, bDomain^0'=bDomain^post_47, bGray^0'=bGray^post_47, nDiff^0'=nDiff^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, [ 1+bDomain^0<=0 && __const_12^0==__const_12^post_47 && bAllDiff^0==bAllDiff^post_47 && bDomain^0==bDomain^post_47 && bGray^0==bGray^post_47 && nDiff^0==nDiff^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 ], cost: 1
     52: l29 -> l6 : __const_12^0'=__const_12^post_53, bAllDiff^0'=bAllDiff^post_53, bDomain^0'=bDomain^post_53, bGray^0'=bGray^post_53, nDiff^0'=nDiff^post_53, nDim^0'=nDim^post_53, ni^0'=ni^post_53, nj^0'=nj^post_53, tmp^0'=tmp^post_53, tmp___0^0'=tmp___0^post_53, tmp___1^0'=tmp___1^post_53, tmp___2^0'=tmp___2^post_53, tmp___3^0'=tmp___3^post_53, [ nDim^post_53==__const_12^0 && bDomain^post_53==1 && bAllDiff^post_53==1 && bGray^post_53==1 && tmp^post_53==tmp^post_53 && ni^post_53==0 && __const_12^0==__const_12^post_53 && nDiff^0==nDiff^post_53 && nj^0==nj^post_53 && tmp___0^0==tmp___0^post_53 && tmp___1^0==tmp___1^post_53 && tmp___2^0==tmp___2^post_53 && tmp___3^0==tmp___3^post_53 ], cost: 1
     53: l30 -> l29 : __const_12^0'=__const_12^post_54, bAllDiff^0'=bAllDiff^post_54, bDomain^0'=bDomain^post_54, bGray^0'=bGray^post_54, nDiff^0'=nDiff^post_54, nDim^0'=nDim^post_54, ni^0'=ni^post_54, nj^0'=nj^post_54, tmp^0'=tmp^post_54, tmp___0^0'=tmp___0^post_54, tmp___1^0'=tmp___1^post_54, tmp___2^0'=tmp___2^post_54, tmp___3^0'=tmp___3^post_54, [ __const_12^0==__const_12^post_54 && bAllDiff^0==bAllDiff^post_54 && bDomain^0==bDomain^post_54 && bGray^0==bGray^post_54 && nDiff^0==nDiff^post_54 && nDim^0==nDim^post_54 && ni^0==ni^post_54 && nj^0==nj^post_54 && tmp^0==tmp^post_54 && tmp___0^0==tmp___0^post_54 && tmp___1^0==tmp___1^post_54 && tmp___2^0==tmp___2^post_54 && tmp___3^0==tmp___3^post_54 ], cost: 1

Checking for constant complexity:
   The following rule is satisfiable with cost >= 1, yielding constant complexity:
     53: l30 -> l29 : __const_12^0'=__const_12^post_54, bAllDiff^0'=bAllDiff^post_54, bDomain^0'=bDomain^post_54, bGray^0'=bGray^post_54, nDiff^0'=nDiff^post_54, nDim^0'=nDim^post_54, ni^0'=ni^post_54, nj^0'=nj^post_54, tmp^0'=tmp^post_54, tmp___0^0'=tmp___0^post_54, tmp___1^0'=tmp___1^post_54, tmp___2^0'=tmp___2^post_54, tmp___3^0'=tmp___3^post_54, [ __const_12^0==__const_12^post_54 && bAllDiff^0==bAllDiff^post_54 && bDomain^0==bDomain^post_54 && bGray^0==bGray^post_54 && nDiff^0==nDiff^post_54 && nDim^0==nDim^post_54 && ni^0==ni^post_54 && nj^0==nj^post_54 && tmp^0==tmp^post_54 && tmp___0^0==tmp___0^post_54 && tmp___1^0==tmp___1^post_54 && tmp___2^0==tmp___2^post_54 && tmp___3^0==tmp___3^post_54 ], cost: 1

Removed unreachable and leaf rules:
   Start location: l30
     11: l6 -> l7 : __const_12^0'=__const_12^post_12, bAllDiff^0'=bAllDiff^post_12, bDomain^0'=bDomain^post_12, bGray^0'=bGray^post_12, nDiff^0'=nDiff^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, [ __const_12^0==__const_12^post_12 && bAllDiff^0==bAllDiff^post_12 && bDomain^0==bDomain^post_12 && bGray^0==bGray^post_12 && nDiff^0==nDiff^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 ], cost: 1
     50: l7 -> l14 : __const_12^0'=__const_12^post_51, bAllDiff^0'=bAllDiff^post_51, bDomain^0'=bDomain^post_51, bGray^0'=bGray^post_51, nDiff^0'=nDiff^post_51, nDim^0'=nDim^post_51, ni^0'=ni^post_51, nj^0'=nj^post_51, tmp^0'=tmp^post_51, tmp___0^0'=tmp___0^post_51, tmp___1^0'=tmp___1^post_51, tmp___2^0'=tmp___2^post_51, tmp___3^0'=tmp___3^post_51, [ nDim^0<=ni^0 && ni^post_51==0 && __const_12^0==__const_12^post_51 && bAllDiff^0==bAllDiff^post_51 && bDomain^0==bDomain^post_51 && bGray^0==bGray^post_51 && nDiff^0==nDiff^post_51 && nDim^0==nDim^post_51 && nj^0==nj^post_51 && tmp^0==tmp^post_51 && tmp___0^0==tmp___0^post_51 && tmp___1^0==tmp___1^post_51 && tmp___2^0==tmp___2^post_51 && tmp___3^0==tmp___3^post_51 ], cost: 1
     51: l7 -> l6 : __const_12^0'=__const_12^post_52, bAllDiff^0'=bAllDiff^post_52, bDomain^0'=bDomain^post_52, bGray^0'=bGray^post_52, nDiff^0'=nDiff^post_52, nDim^0'=nDim^post_52, ni^0'=ni^post_52, nj^0'=nj^post_52, tmp^0'=tmp^post_52, tmp___0^0'=tmp___0^post_52, tmp___1^0'=tmp___1^post_52, tmp___2^0'=tmp___2^post_52, tmp___3^0'=tmp___3^post_52, [ 1+ni^0<=nDim^0 && ni^post_52==1+ni^0 && __const_12^0==__const_12^post_52 && bAllDiff^0==bAllDiff^post_52 && bDomain^0==bDomain^post_52 && bGray^0==bGray^post_52 && nDiff^0==nDiff^post_52 && nDim^0==nDim^post_52 && nj^0==nj^post_52 && tmp^0==tmp^post_52 && tmp___0^0==tmp___0^post_52 && tmp___1^0==tmp___1^post_52 && tmp___2^0==tmp___2^post_52 && tmp___3^0==tmp___3^post_52 ], cost: 1
     12: l8 -> l9 : __const_12^0'=__const_12^post_13, bAllDiff^0'=bAllDiff^post_13, bDomain^0'=bDomain^post_13, bGray^0'=bGray^post_13, nDiff^0'=nDiff^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, [ bGray^post_13==tmp___2^0 && ni^post_13==1+ni^0 && __const_12^0==__const_12^post_13 && bAllDiff^0==bAllDiff^post_13 && bDomain^0==bDomain^post_13 && nDiff^0==nDiff^post_13 && nDim^0==nDim^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 ], cost: 1
     47: l9 -> l16 : __const_12^0'=__const_12^post_48, bAllDiff^0'=bAllDiff^post_48, bDomain^0'=bDomain^post_48, bGray^0'=bGray^post_48, nDiff^0'=nDiff^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, [ __const_12^0==__const_12^post_48 && bAllDiff^0==bAllDiff^post_48 && bDomain^0==bDomain^post_48 && bGray^0==bGray^post_48 && nDiff^0==nDiff^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 ], cost: 1
     13: l10 -> l8 : __const_12^0'=__const_12^post_14, bAllDiff^0'=bAllDiff^post_14, bDomain^0'=bDomain^post_14, bGray^0'=bGray^post_14, nDiff^0'=nDiff^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, [ tmp___2^post_14==1 && __const_12^0==__const_12^post_14 && bAllDiff^0==bAllDiff^post_14 && bDomain^0==bDomain^post_14 && bGray^0==bGray^post_14 && nDiff^0==nDiff^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___3^0==tmp___3^post_14 ], cost: 1
     14: l11 -> l8 : __const_12^0'=__const_12^post_15, bAllDiff^0'=bAllDiff^post_15, bDomain^0'=bDomain^post_15, bGray^0'=bGray^post_15, nDiff^0'=nDiff^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, [ nDiff^0<=0 && 0<=nDiff^0 && tmp___2^post_15==0 && __const_12^0==__const_12^post_15 && bAllDiff^0==bAllDiff^post_15 && bDomain^0==bDomain^post_15 && bGray^0==bGray^post_15 && nDiff^0==nDiff^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___3^0==tmp___3^post_15 ], cost: 1
     15: l11 -> l10 : __const_12^0'=__const_12^post_16, bAllDiff^0'=bAllDiff^post_16, bDomain^0'=bDomain^post_16, bGray^0'=bGray^post_16, nDiff^0'=nDiff^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, [ 1<=nDiff^0 && __const_12^0==__const_12^post_16 && bAllDiff^0==bAllDiff^post_16 && bDomain^0==bDomain^post_16 && bGray^0==bGray^post_16 && nDiff^0==nDiff^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 ], cost: 1
     16: l11 -> l10 : __const_12^0'=__const_12^post_17, bAllDiff^0'=bAllDiff^post_17, bDomain^0'=bDomain^post_17, bGray^0'=bGray^post_17, nDiff^0'=nDiff^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, [ 1+nDiff^0<=0 && __const_12^0==__const_12^post_17 && bAllDiff^0==bAllDiff^post_17 && bDomain^0==bDomain^post_17 && bGray^0==bGray^post_17 && nDiff^0==nDiff^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 -> l8 : __const_12^0'=__const_12^post_18, bAllDiff^0'=bAllDiff^post_18, bDomain^0'=bDomain^post_18, bGray^0'=bGray^post_18, nDiff^0'=nDiff^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, [ tmp___2^post_18==0 && __const_12^0==__const_12^post_18 && bAllDiff^0==bAllDiff^post_18 && bDomain^0==bDomain^post_18 && bGray^0==bGray^post_18 && nDiff^0==nDiff^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___3^0==tmp___3^post_18 ], cost: 1
     18: l12 -> l11 : __const_12^0'=__const_12^post_19, bAllDiff^0'=bAllDiff^post_19, bDomain^0'=bDomain^post_19, bGray^0'=bGray^post_19, nDiff^0'=nDiff^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, [ __const_12^0==__const_12^post_19 && bAllDiff^0==bAllDiff^post_19 && bDomain^0==bDomain^post_19 && bGray^0==bGray^post_19 && nDiff^0==nDiff^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 ], cost: 1
     19: l13 -> l8 : __const_12^0'=__const_12^post_20, bAllDiff^0'=bAllDiff^post_20, bDomain^0'=bDomain^post_20, bGray^0'=bGray^post_20, nDiff^0'=nDiff^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, [ bGray^0<=0 && 0<=bGray^0 && tmp___2^post_20==0 && __const_12^0==__const_12^post_20 && bAllDiff^0==bAllDiff^post_20 && bDomain^0==bDomain^post_20 && bGray^0==bGray^post_20 && nDiff^0==nDiff^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___3^0==tmp___3^post_20 ], cost: 1
     20: l13 -> l12 : __const_12^0'=__const_12^post_21, bAllDiff^0'=bAllDiff^post_21, bDomain^0'=bDomain^post_21, bGray^0'=bGray^post_21, nDiff^0'=nDiff^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<=bGray^0 && __const_12^0==__const_12^post_21 && bAllDiff^0==bAllDiff^post_21 && bDomain^0==bDomain^post_21 && bGray^0==bGray^post_21 && nDiff^0==nDiff^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: l13 -> l12 : __const_12^0'=__const_12^post_22, bAllDiff^0'=bAllDiff^post_22, bDomain^0'=bDomain^post_22, bGray^0'=bGray^post_22, nDiff^0'=nDiff^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, [ 1+bGray^0<=0 && __const_12^0==__const_12^post_22 && bAllDiff^0==bAllDiff^post_22 && bDomain^0==bDomain^post_22 && bGray^0==bGray^post_22 && nDiff^0==nDiff^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: l14 -> l15 : __const_12^0'=__const_12^post_23, bAllDiff^0'=bAllDiff^post_23, bDomain^0'=bDomain^post_23, bGray^0'=bGray^post_23, nDiff^0'=nDiff^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, [ __const_12^0==__const_12^post_23 && bAllDiff^0==bAllDiff^post_23 && bDomain^0==bDomain^post_23 && bGray^0==bGray^post_23 && nDiff^0==nDiff^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 ], cost: 1
     48: l15 -> l19 : __const_12^0'=__const_12^post_49, bAllDiff^0'=bAllDiff^post_49, bDomain^0'=bDomain^post_49, bGray^0'=bGray^post_49, nDiff^0'=nDiff^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^0<=ni^0 && ni^post_49==0 && __const_12^0==__const_12^post_49 && bAllDiff^0==bAllDiff^post_49 && bDomain^0==bDomain^post_49 && bGray^0==bGray^post_49 && nDiff^0==nDiff^post_49 && nDim^0==nDim^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 ], cost: 1
     49: l15 -> l28 : __const_12^0'=__const_12^post_50, bAllDiff^0'=bAllDiff^post_50, bDomain^0'=bDomain^post_50, bGray^0'=bGray^post_50, nDiff^0'=nDiff^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, [ 1+ni^0<=nDim^0 && __const_12^0==__const_12^post_50 && bAllDiff^0==bAllDiff^post_50 && bDomain^0==bDomain^post_50 && bGray^0==bGray^post_50 && nDiff^0==nDiff^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
     24: l16 -> l13 : __const_12^0'=__const_12^post_25, bAllDiff^0'=bAllDiff^post_25, bDomain^0'=bDomain^post_25, bGray^0'=bGray^post_25, nDiff^0'=nDiff^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, [ 1+ni^0<=-1+nDim^0 && nDiff^post_25==nDiff^post_25 && __const_12^0==__const_12^post_25 && bAllDiff^0==bAllDiff^post_25 && bDomain^0==bDomain^post_25 && bGray^0==bGray^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 ], cost: 1
     25: l17 -> l18 : __const_12^0'=__const_12^post_26, bAllDiff^0'=bAllDiff^post_26, bDomain^0'=bDomain^post_26, bGray^0'=bGray^post_26, nDiff^0'=nDiff^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, [ bAllDiff^post_26==tmp___1^0 && nj^post_26==1+nj^0 && __const_12^0==__const_12^post_26 && bDomain^0==bDomain^post_26 && bGray^0==bGray^post_26 && nDiff^0==nDiff^post_26 && nDim^0==nDim^post_26 && ni^0==ni^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
     38: l18 -> l24 : __const_12^0'=__const_12^post_39, bAllDiff^0'=bAllDiff^post_39, bDomain^0'=bDomain^post_39, bGray^0'=bGray^post_39, nDiff^0'=nDiff^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, [ __const_12^0==__const_12^post_39 && bAllDiff^0==bAllDiff^post_39 && bDomain^0==bDomain^post_39 && bGray^0==bGray^post_39 && nDiff^0==nDiff^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
     26: l19 -> l20 : __const_12^0'=__const_12^post_27, bAllDiff^0'=bAllDiff^post_27, bDomain^0'=bDomain^post_27, bGray^0'=bGray^post_27, nDiff^0'=nDiff^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, [ __const_12^0==__const_12^post_27 && bAllDiff^0==bAllDiff^post_27 && bDomain^0==bDomain^post_27 && bGray^0==bGray^post_27 && nDiff^0==nDiff^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 ], cost: 1
     36: l20 -> l9 : __const_12^0'=__const_12^post_37, bAllDiff^0'=bAllDiff^post_37, bDomain^0'=bDomain^post_37, bGray^0'=bGray^post_37, nDiff^0'=nDiff^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, [ -1+nDim^0<=ni^0 && ni^post_37==0 && __const_12^0==__const_12^post_37 && bAllDiff^0==bAllDiff^post_37 && bDomain^0==bDomain^post_37 && bGray^0==bGray^post_37 && nDiff^0==nDiff^post_37 && nDim^0==nDim^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 ], cost: 1
     37: l20 -> l18 : __const_12^0'=__const_12^post_38, bAllDiff^0'=bAllDiff^post_38, bDomain^0'=bDomain^post_38, bGray^0'=bGray^post_38, nDiff^0'=nDiff^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, [ 1+ni^0<=-1+nDim^0 && nj^post_38==1+ni^0 && __const_12^0==__const_12^post_38 && bAllDiff^0==bAllDiff^post_38 && bDomain^0==bDomain^post_38 && bGray^0==bGray^post_38 && nDiff^0==nDiff^post_38 && nDim^0==nDim^post_38 && ni^0==ni^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 ], cost: 1
     27: l21 -> l17 : __const_12^0'=__const_12^post_28, bAllDiff^0'=bAllDiff^post_28, bDomain^0'=bDomain^post_28, bGray^0'=bGray^post_28, nDiff^0'=nDiff^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, [ tmp___1^post_28==1 && __const_12^0==__const_12^post_28 && bAllDiff^0==bAllDiff^post_28 && bDomain^0==bDomain^post_28 && bGray^0==bGray^post_28 && nDiff^0==nDiff^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___2^0==tmp___2^post_28 && tmp___3^0==tmp___3^post_28 ], cost: 1
     28: l22 -> l21 : __const_12^0'=__const_12^post_29, bAllDiff^0'=bAllDiff^post_29, bDomain^0'=bDomain^post_29, bGray^0'=bGray^post_29, nDiff^0'=nDiff^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, [ __const_12^0==__const_12^post_29 && bAllDiff^0==bAllDiff^post_29 && bDomain^0==bDomain^post_29 && bGray^0==bGray^post_29 && nDiff^0==nDiff^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: l22 -> l17 : __const_12^0'=__const_12^post_30, bAllDiff^0'=bAllDiff^post_30, bDomain^0'=bDomain^post_30, bGray^0'=bGray^post_30, nDiff^0'=nDiff^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, [ tmp___1^post_30==0 && __const_12^0==__const_12^post_30 && bAllDiff^0==bAllDiff^post_30 && bDomain^0==bDomain^post_30 && bGray^0==bGray^post_30 && nDiff^0==nDiff^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___2^0==tmp___2^post_30 && tmp___3^0==tmp___3^post_30 ], cost: 1
     30: l22 -> l21 : __const_12^0'=__const_12^post_31, bAllDiff^0'=bAllDiff^post_31, bDomain^0'=bDomain^post_31, bGray^0'=bGray^post_31, nDiff^0'=nDiff^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, [ __const_12^0==__const_12^post_31 && bAllDiff^0==bAllDiff^post_31 && bDomain^0==bDomain^post_31 && bGray^0==bGray^post_31 && nDiff^0==nDiff^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: l23 -> l17 : __const_12^0'=__const_12^post_32, bAllDiff^0'=bAllDiff^post_32, bDomain^0'=bDomain^post_32, bGray^0'=bGray^post_32, nDiff^0'=nDiff^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, [ bAllDiff^0<=0 && 0<=bAllDiff^0 && tmp___1^post_32==0 && __const_12^0==__const_12^post_32 && bAllDiff^0==bAllDiff^post_32 && bDomain^0==bDomain^post_32 && bGray^0==bGray^post_32 && nDiff^0==nDiff^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___2^0==tmp___2^post_32 && tmp___3^0==tmp___3^post_32 ], cost: 1
     32: l23 -> l22 : __const_12^0'=__const_12^post_33, bAllDiff^0'=bAllDiff^post_33, bDomain^0'=bDomain^post_33, bGray^0'=bGray^post_33, nDiff^0'=nDiff^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<=bAllDiff^0 && __const_12^0==__const_12^post_33 && bAllDiff^0==bAllDiff^post_33 && bDomain^0==bDomain^post_33 && bGray^0==bGray^post_33 && nDiff^0==nDiff^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: l23 -> l22 : __const_12^0'=__const_12^post_34, bAllDiff^0'=bAllDiff^post_34, bDomain^0'=bDomain^post_34, bGray^0'=bGray^post_34, nDiff^0'=nDiff^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, [ 1+bAllDiff^0<=0 && __const_12^0==__const_12^post_34 && bAllDiff^0==bAllDiff^post_34 && bDomain^0==bDomain^post_34 && bGray^0==bGray^post_34 && nDiff^0==nDiff^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 ], cost: 1
     34: l24 -> l19 : __const_12^0'=__const_12^post_35, bAllDiff^0'=bAllDiff^post_35, bDomain^0'=bDomain^post_35, bGray^0'=bGray^post_35, nDiff^0'=nDiff^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, [ nDim^0<=nj^0 && ni^post_35==1+ni^0 && __const_12^0==__const_12^post_35 && bAllDiff^0==bAllDiff^post_35 && bDomain^0==bDomain^post_35 && bGray^0==bGray^post_35 && nDiff^0==nDiff^post_35 && nDim^0==nDim^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: l24 -> l23 : __const_12^0'=__const_12^post_36, bAllDiff^0'=bAllDiff^post_36, bDomain^0'=bDomain^post_36, bGray^0'=bGray^post_36, nDiff^0'=nDiff^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, [ 1+nj^0<=nDim^0 && __const_12^0==__const_12^post_36 && bAllDiff^0==bAllDiff^post_36 && bDomain^0==bDomain^post_36 && bGray^0==bGray^post_36 && nDiff^0==nDiff^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 ], cost: 1
     39: l25 -> l14 : __const_12^0'=__const_12^post_40, bAllDiff^0'=bAllDiff^post_40, bDomain^0'=bDomain^post_40, bGray^0'=bGray^post_40, nDiff^0'=nDiff^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, [ bDomain^post_40==tmp___0^0 && ni^post_40==1+ni^0 && __const_12^0==__const_12^post_40 && bAllDiff^0==bAllDiff^post_40 && bGray^0==bGray^post_40 && nDiff^0==nDiff^post_40 && nDim^0==nDim^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 ], cost: 1
     40: l26 -> l25 : __const_12^0'=__const_12^post_41, bAllDiff^0'=bAllDiff^post_41, bDomain^0'=bDomain^post_41, bGray^0'=bGray^post_41, nDiff^0'=nDiff^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, [ tmp___0^post_41==1 && __const_12^0==__const_12^post_41 && bAllDiff^0==bAllDiff^post_41 && bDomain^0==bDomain^post_41 && bGray^0==bGray^post_41 && nDiff^0==nDiff^post_41 && nDim^0==nDim^post_41 && ni^0==ni^post_41 && nj^0==nj^post_41 && tmp^0==tmp^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: l26 -> l25 : __const_12^0'=__const_12^post_42, bAllDiff^0'=bAllDiff^post_42, bDomain^0'=bDomain^post_42, bGray^0'=bGray^post_42, nDiff^0'=nDiff^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, [ tmp___0^post_42==0 && __const_12^0==__const_12^post_42 && bAllDiff^0==bAllDiff^post_42 && bDomain^0==bDomain^post_42 && bGray^0==bGray^post_42 && nDiff^0==nDiff^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: l27 -> l25 : __const_12^0'=__const_12^post_43, bAllDiff^0'=bAllDiff^post_43, bDomain^0'=bDomain^post_43, bGray^0'=bGray^post_43, nDiff^0'=nDiff^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, [ tmp___0^post_43==0 && __const_12^0==__const_12^post_43 && bAllDiff^0==bAllDiff^post_43 && bDomain^0==bDomain^post_43 && bGray^0==bGray^post_43 && nDiff^0==nDiff^post_43 && nDim^0==nDim^post_43 && ni^0==ni^post_43 && nj^0==nj^post_43 && tmp^0==tmp^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: l27 -> l26 : __const_12^0'=__const_12^post_44, bAllDiff^0'=bAllDiff^post_44, bDomain^0'=bDomain^post_44, bGray^0'=bGray^post_44, nDiff^0'=nDiff^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, [ __const_12^0==__const_12^post_44 && bAllDiff^0==bAllDiff^post_44 && bDomain^0==bDomain^post_44 && bGray^0==bGray^post_44 && nDiff^0==nDiff^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
     44: l28 -> l25 : __const_12^0'=__const_12^post_45, bAllDiff^0'=bAllDiff^post_45, bDomain^0'=bDomain^post_45, bGray^0'=bGray^post_45, nDiff^0'=nDiff^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, [ bDomain^0<=0 && 0<=bDomain^0 && tmp___0^post_45==0 && __const_12^0==__const_12^post_45 && bAllDiff^0==bAllDiff^post_45 && bDomain^0==bDomain^post_45 && bGray^0==bGray^post_45 && nDiff^0==nDiff^post_45 && nDim^0==nDim^post_45 && ni^0==ni^post_45 && nj^0==nj^post_45 && tmp^0==tmp^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: l28 -> l27 : __const_12^0'=__const_12^post_46, bAllDiff^0'=bAllDiff^post_46, bDomain^0'=bDomain^post_46, bGray^0'=bGray^post_46, nDiff^0'=nDiff^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<=bDomain^0 && __const_12^0==__const_12^post_46 && bAllDiff^0==bAllDiff^post_46 && bDomain^0==bDomain^post_46 && bGray^0==bGray^post_46 && nDiff^0==nDiff^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
     46: l28 -> l27 : __const_12^0'=__const_12^post_47, bAllDiff^0'=bAllDiff^post_47, bDomain^0'=bDomain^post_47, bGray^0'=bGray^post_47, nDiff^0'=nDiff^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, [ 1+bDomain^0<=0 && __const_12^0==__const_12^post_47 && bAllDiff^0==bAllDiff^post_47 && bDomain^0==bDomain^post_47 && bGray^0==bGray^post_47 && nDiff^0==nDiff^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 ], cost: 1
     52: l29 -> l6 : __const_12^0'=__const_12^post_53, bAllDiff^0'=bAllDiff^post_53, bDomain^0'=bDomain^post_53, bGray^0'=bGray^post_53, nDiff^0'=nDiff^post_53, nDim^0'=nDim^post_53, ni^0'=ni^post_53, nj^0'=nj^post_53, tmp^0'=tmp^post_53, tmp___0^0'=tmp___0^post_53, tmp___1^0'=tmp___1^post_53, tmp___2^0'=tmp___2^post_53, tmp___3^0'=tmp___3^post_53, [ nDim^post_53==__const_12^0 && bDomain^post_53==1 && bAllDiff^post_53==1 && bGray^post_53==1 && tmp^post_53==tmp^post_53 && ni^post_53==0 && __const_12^0==__const_12^post_53 && nDiff^0==nDiff^post_53 && nj^0==nj^post_53 && tmp___0^0==tmp___0^post_53 && tmp___1^0==tmp___1^post_53 && tmp___2^0==tmp___2^post_53 && tmp___3^0==tmp___3^post_53 ], cost: 1
     53: l30 -> l29 : __const_12^0'=__const_12^post_54, bAllDiff^0'=bAllDiff^post_54, bDomain^0'=bDomain^post_54, bGray^0'=bGray^post_54, nDiff^0'=nDiff^post_54, nDim^0'=nDim^post_54, ni^0'=ni^post_54, nj^0'=nj^post_54, tmp^0'=tmp^post_54, tmp___0^0'=tmp___0^post_54, tmp___1^0'=tmp___1^post_54, tmp___2^0'=tmp___2^post_54, tmp___3^0'=tmp___3^post_54, [ __const_12^0==__const_12^post_54 && bAllDiff^0==bAllDiff^post_54 && bDomain^0==bDomain^post_54 && bGray^0==bGray^post_54 && nDiff^0==nDiff^post_54 && nDim^0==nDim^post_54 && ni^0==ni^post_54 && nj^0==nj^post_54 && tmp^0==tmp^post_54 && tmp___0^0==tmp___0^post_54 && tmp___1^0==tmp___1^post_54 && tmp___2^0==tmp___2^post_54 && tmp___3^0==tmp___3^post_54 ], cost: 1

Simplified all rules, resulting in:
   Start location: l30
     11: l6 -> l7 : [], cost: 1
     50: l7 -> l14 : ni^0'=0, [ nDim^0<=ni^0 ], cost: 1
     51: l7 -> l6 : ni^0'=1+ni^0, [ 1+ni^0<=nDim^0 ], cost: 1
     12: l8 -> l9 : bGray^0'=tmp___2^0, ni^0'=1+ni^0, [], cost: 1
     47: l9 -> l16 : [], cost: 1
     13: l10 -> l8 : tmp___2^0'=1, [], cost: 1
     14: l11 -> l8 : tmp___2^0'=0, [ nDiff^0==0 ], cost: 1
     15: l11 -> l10 : [ 1<=nDiff^0 ], cost: 1
     16: l11 -> l10 : [ 1+nDiff^0<=0 ], cost: 1
     17: l12 -> l8 : tmp___2^0'=0, [], cost: 1
     18: l12 -> l11 : [], cost: 1
     19: l13 -> l8 : tmp___2^0'=0, [ bGray^0==0 ], cost: 1
     20: l13 -> l12 : [ 1<=bGray^0 ], cost: 1
     21: l13 -> l12 : [ 1+bGray^0<=0 ], cost: 1
     22: l14 -> l15 : [], cost: 1
     48: l15 -> l19 : ni^0'=0, [ nDim^0<=ni^0 ], cost: 1
     49: l15 -> l28 : [ 1+ni^0<=nDim^0 ], cost: 1
     24: l16 -> l13 : nDiff^0'=nDiff^post_25, [ 1+ni^0<=-1+nDim^0 ], cost: 1
     25: l17 -> l18 : bAllDiff^0'=tmp___1^0, nj^0'=1+nj^0, [], cost: 1
     38: l18 -> l24 : [], cost: 1
     26: l19 -> l20 : [], cost: 1
     36: l20 -> l9 : ni^0'=0, [ -1+nDim^0<=ni^0 ], cost: 1
     37: l20 -> l18 : nj^0'=1+ni^0, [ 1+ni^0<=-1+nDim^0 ], cost: 1
     27: l21 -> l17 : tmp___1^0'=1, [], cost: 1
     29: l22 -> l17 : tmp___1^0'=0, [], cost: 1
     30: l22 -> l21 : [], cost: 1
     31: l23 -> l17 : tmp___1^0'=0, [ bAllDiff^0==0 ], cost: 1
     32: l23 -> l22 : [ 1<=bAllDiff^0 ], cost: 1
     33: l23 -> l22 : [ 1+bAllDiff^0<=0 ], cost: 1
     34: l24 -> l19 : ni^0'=1+ni^0, [ nDim^0<=nj^0 ], cost: 1
     35: l24 -> l23 : [ 1+nj^0<=nDim^0 ], cost: 1
     39: l25 -> l14 : bDomain^0'=tmp___0^0, ni^0'=1+ni^0, [], cost: 1
     40: l26 -> l25 : tmp___0^0'=1, [], cost: 1
     41: l26 -> l25 : tmp___0^0'=0, [], cost: 1
     42: l27 -> l25 : tmp___0^0'=0, [], cost: 1
     43: l27 -> l26 : [], cost: 1
     44: l28 -> l25 : tmp___0^0'=0, [ bDomain^0==0 ], cost: 1
     45: l28 -> l27 : [ 1<=bDomain^0 ], cost: 1
     46: l28 -> l27 : [ 1+bDomain^0<=0 ], cost: 1
     52: l29 -> l6 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=0, tmp^0'=tmp^post_53, [], cost: 1
     53: l30 -> l29 : [], cost: 1

### Simplification by acceleration and chaining ###

Eliminated locations (on linear paths):
   Start location: l30
     11: l6 -> l7 : [], cost: 1
     50: l7 -> l14 : ni^0'=0, [ nDim^0<=ni^0 ], cost: 1
     51: l7 -> l6 : ni^0'=1+ni^0, [ 1+ni^0<=nDim^0 ], cost: 1
     12: l8 -> l9 : bGray^0'=tmp___2^0, ni^0'=1+ni^0, [], cost: 1
     55: l9 -> l13 : nDiff^0'=nDiff^post_25, [ 1+ni^0<=-1+nDim^0 ], cost: 2
     13: l10 -> l8 : tmp___2^0'=1, [], cost: 1
     14: l11 -> l8 : tmp___2^0'=0, [ nDiff^0==0 ], cost: 1
     15: l11 -> l10 : [ 1<=nDiff^0 ], cost: 1
     16: l11 -> l10 : [ 1+nDiff^0<=0 ], cost: 1
     17: l12 -> l8 : tmp___2^0'=0, [], cost: 1
     18: l12 -> l11 : [], cost: 1
     19: l13 -> l8 : tmp___2^0'=0, [ bGray^0==0 ], cost: 1
     20: l13 -> l12 : [ 1<=bGray^0 ], cost: 1
     21: l13 -> l12 : [ 1+bGray^0<=0 ], cost: 1
     22: l14 -> l15 : [], cost: 1
     48: l15 -> l19 : ni^0'=0, [ nDim^0<=ni^0 ], cost: 1
     49: l15 -> l28 : [ 1+ni^0<=nDim^0 ], cost: 1
     25: l17 -> l18 : bAllDiff^0'=tmp___1^0, nj^0'=1+nj^0, [], cost: 1
     38: l18 -> l24 : [], cost: 1
     26: l19 -> l20 : [], cost: 1
     36: l20 -> l9 : ni^0'=0, [ -1+nDim^0<=ni^0 ], cost: 1
     37: l20 -> l18 : nj^0'=1+ni^0, [ 1+ni^0<=-1+nDim^0 ], cost: 1
     29: l22 -> l17 : tmp___1^0'=0, [], cost: 1
     56: l22 -> l17 : tmp___1^0'=1, [], cost: 2
     31: l23 -> l17 : tmp___1^0'=0, [ bAllDiff^0==0 ], cost: 1
     32: l23 -> l22 : [ 1<=bAllDiff^0 ], cost: 1
     33: l23 -> l22 : [ 1+bAllDiff^0<=0 ], cost: 1
     34: l24 -> l19 : ni^0'=1+ni^0, [ nDim^0<=nj^0 ], cost: 1
     35: l24 -> l23 : [ 1+nj^0<=nDim^0 ], cost: 1
     39: l25 -> l14 : bDomain^0'=tmp___0^0, ni^0'=1+ni^0, [], cost: 1
     40: l26 -> l25 : tmp___0^0'=1, [], cost: 1
     41: l26 -> l25 : tmp___0^0'=0, [], cost: 1
     42: l27 -> l25 : tmp___0^0'=0, [], cost: 1
     43: l27 -> l26 : [], cost: 1
     44: l28 -> l25 : tmp___0^0'=0, [ bDomain^0==0 ], cost: 1
     45: l28 -> l27 : [ 1<=bDomain^0 ], cost: 1
     46: l28 -> l27 : [ 1+bDomain^0<=0 ], cost: 1
     54: l30 -> l6 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=0, tmp^0'=tmp^post_53, [], cost: 2

Eliminated locations (on tree-shaped paths):
   Start location: l30
     57: l6 -> l14 : ni^0'=0, [ nDim^0<=ni^0 ], cost: 2
     58: l6 -> l6 : ni^0'=1+ni^0, [ 1+ni^0<=nDim^0 ], cost: 2
     12: l8 -> l9 : bGray^0'=tmp___2^0, ni^0'=1+ni^0, [], cost: 1
     63: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=0, [ 1+ni^0<=-1+nDim^0 && bGray^0==0 ], cost: 3
     64: l9 -> l12 : nDiff^0'=nDiff^post_25, [ 1+ni^0<=-1+nDim^0 && 1<=bGray^0 ], cost: 3
     65: l9 -> l12 : nDiff^0'=nDiff^post_25, [ 1+ni^0<=-1+nDim^0 && 1+bGray^0<=0 ], cost: 3
     13: l10 -> l8 : tmp___2^0'=1, [], cost: 1
     17: l12 -> l8 : tmp___2^0'=0, [], cost: 1
     66: l12 -> l8 : tmp___2^0'=0, [ nDiff^0==0 ], cost: 2
     67: l12 -> l10 : [ 1<=nDiff^0 ], cost: 2
     68: l12 -> l10 : [ 1+nDiff^0<=0 ], cost: 2
     59: l14 -> l19 : ni^0'=0, [ nDim^0<=ni^0 ], cost: 2
     60: l14 -> l28 : [ 1+ni^0<=nDim^0 ], cost: 2
     25: l17 -> l18 : bAllDiff^0'=tmp___1^0, nj^0'=1+nj^0, [], cost: 1
     69: l18 -> l19 : ni^0'=1+ni^0, [ nDim^0<=nj^0 ], cost: 2
     70: l18 -> l23 : [ 1+nj^0<=nDim^0 ], cost: 2
     61: l19 -> l9 : ni^0'=0, [ -1+nDim^0<=ni^0 ], cost: 2
     62: l19 -> l18 : nj^0'=1+ni^0, [ 1+ni^0<=-1+nDim^0 ], cost: 2
     31: l23 -> l17 : tmp___1^0'=0, [ bAllDiff^0==0 ], cost: 1
     71: l23 -> l17 : tmp___1^0'=0, [ 1<=bAllDiff^0 ], cost: 2
     72: l23 -> l17 : tmp___1^0'=1, [ 1<=bAllDiff^0 ], cost: 3
     73: l23 -> l17 : tmp___1^0'=0, [ 1+bAllDiff^0<=0 ], cost: 2
     74: l23 -> l17 : tmp___1^0'=1, [ 1+bAllDiff^0<=0 ], cost: 3
     39: l25 -> l14 : bDomain^0'=tmp___0^0, ni^0'=1+ni^0, [], cost: 1
     40: l26 -> l25 : tmp___0^0'=1, [], cost: 1
     41: l26 -> l25 : tmp___0^0'=0, [], cost: 1
     44: l28 -> l25 : tmp___0^0'=0, [ bDomain^0==0 ], cost: 1
     75: l28 -> l25 : tmp___0^0'=0, [ 1<=bDomain^0 ], cost: 2
     76: l28 -> l26 : [ 1<=bDomain^0 ], cost: 2
     77: l28 -> l25 : tmp___0^0'=0, [ 1+bDomain^0<=0 ], cost: 2
     78: l28 -> l26 : [ 1+bDomain^0<=0 ], cost: 2
     54: l30 -> l6 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=0, tmp^0'=tmp^post_53, [], cost: 2

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

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

Accelerated all simple loops using metering functions (where possible):
   Start location: l30
     57: l6 -> l14 : ni^0'=0, [ nDim^0<=ni^0 ], cost: 2
     79: l6 -> l6 : ni^0'=nDim^0, [ nDim^0-ni^0>=0 ], cost: 2*nDim^0-2*ni^0
     12: l8 -> l9 : bGray^0'=tmp___2^0, ni^0'=1+ni^0, [], cost: 1
     63: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=0, [ 1+ni^0<=-1+nDim^0 && bGray^0==0 ], cost: 3
     64: l9 -> l12 : nDiff^0'=nDiff^post_25, [ 1+ni^0<=-1+nDim^0 && 1<=bGray^0 ], cost: 3
     65: l9 -> l12 : nDiff^0'=nDiff^post_25, [ 1+ni^0<=-1+nDim^0 && 1+bGray^0<=0 ], cost: 3
     13: l10 -> l8 : tmp___2^0'=1, [], cost: 1
     17: l12 -> l8 : tmp___2^0'=0, [], cost: 1
     66: l12 -> l8 : tmp___2^0'=0, [ nDiff^0==0 ], cost: 2
     67: l12 -> l10 : [ 1<=nDiff^0 ], cost: 2
     68: l12 -> l10 : [ 1+nDiff^0<=0 ], cost: 2
     59: l14 -> l19 : ni^0'=0, [ nDim^0<=ni^0 ], cost: 2
     60: l14 -> l28 : [ 1+ni^0<=nDim^0 ], cost: 2
     25: l17 -> l18 : bAllDiff^0'=tmp___1^0, nj^0'=1+nj^0, [], cost: 1
     69: l18 -> l19 : ni^0'=1+ni^0, [ nDim^0<=nj^0 ], cost: 2
     70: l18 -> l23 : [ 1+nj^0<=nDim^0 ], cost: 2
     61: l19 -> l9 : ni^0'=0, [ -1+nDim^0<=ni^0 ], cost: 2
     62: l19 -> l18 : nj^0'=1+ni^0, [ 1+ni^0<=-1+nDim^0 ], cost: 2
     31: l23 -> l17 : tmp___1^0'=0, [ bAllDiff^0==0 ], cost: 1
     71: l23 -> l17 : tmp___1^0'=0, [ 1<=bAllDiff^0 ], cost: 2
     72: l23 -> l17 : tmp___1^0'=1, [ 1<=bAllDiff^0 ], cost: 3
     73: l23 -> l17 : tmp___1^0'=0, [ 1+bAllDiff^0<=0 ], cost: 2
     74: l23 -> l17 : tmp___1^0'=1, [ 1+bAllDiff^0<=0 ], cost: 3
     39: l25 -> l14 : bDomain^0'=tmp___0^0, ni^0'=1+ni^0, [], cost: 1
     40: l26 -> l25 : tmp___0^0'=1, [], cost: 1
     41: l26 -> l25 : tmp___0^0'=0, [], cost: 1
     44: l28 -> l25 : tmp___0^0'=0, [ bDomain^0==0 ], cost: 1
     75: l28 -> l25 : tmp___0^0'=0, [ 1<=bDomain^0 ], cost: 2
     76: l28 -> l26 : [ 1<=bDomain^0 ], cost: 2
     77: l28 -> l25 : tmp___0^0'=0, [ 1+bDomain^0<=0 ], cost: 2
     78: l28 -> l26 : [ 1+bDomain^0<=0 ], cost: 2
     54: l30 -> l6 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=0, tmp^0'=tmp^post_53, [], cost: 2

Chained accelerated rules (with incoming rules):
   Start location: l30
     57: l6 -> l14 : ni^0'=0, [ nDim^0<=ni^0 ], cost: 2
     12: l8 -> l9 : bGray^0'=tmp___2^0, ni^0'=1+ni^0, [], cost: 1
     63: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=0, [ 1+ni^0<=-1+nDim^0 && bGray^0==0 ], cost: 3
     64: l9 -> l12 : nDiff^0'=nDiff^post_25, [ 1+ni^0<=-1+nDim^0 && 1<=bGray^0 ], cost: 3
     65: l9 -> l12 : nDiff^0'=nDiff^post_25, [ 1+ni^0<=-1+nDim^0 && 1+bGray^0<=0 ], cost: 3
     13: l10 -> l8 : tmp___2^0'=1, [], cost: 1
     17: l12 -> l8 : tmp___2^0'=0, [], cost: 1
     66: l12 -> l8 : tmp___2^0'=0, [ nDiff^0==0 ], cost: 2
     67: l12 -> l10 : [ 1<=nDiff^0 ], cost: 2
     68: l12 -> l10 : [ 1+nDiff^0<=0 ], cost: 2
     59: l14 -> l19 : ni^0'=0, [ nDim^0<=ni^0 ], cost: 2
     60: l14 -> l28 : [ 1+ni^0<=nDim^0 ], cost: 2
     25: l17 -> l18 : bAllDiff^0'=tmp___1^0, nj^0'=1+nj^0, [], cost: 1
     69: l18 -> l19 : ni^0'=1+ni^0, [ nDim^0<=nj^0 ], cost: 2
     70: l18 -> l23 : [ 1+nj^0<=nDim^0 ], cost: 2
     61: l19 -> l9 : ni^0'=0, [ -1+nDim^0<=ni^0 ], cost: 2
     62: l19 -> l18 : nj^0'=1+ni^0, [ 1+ni^0<=-1+nDim^0 ], cost: 2
     31: l23 -> l17 : tmp___1^0'=0, [ bAllDiff^0==0 ], cost: 1
     71: l23 -> l17 : tmp___1^0'=0, [ 1<=bAllDiff^0 ], cost: 2
     72: l23 -> l17 : tmp___1^0'=1, [ 1<=bAllDiff^0 ], cost: 3
     73: l23 -> l17 : tmp___1^0'=0, [ 1+bAllDiff^0<=0 ], cost: 2
     74: l23 -> l17 : tmp___1^0'=1, [ 1+bAllDiff^0<=0 ], cost: 3
     39: l25 -> l14 : bDomain^0'=tmp___0^0, ni^0'=1+ni^0, [], cost: 1
     40: l26 -> l25 : tmp___0^0'=1, [], cost: 1
     41: l26 -> l25 : tmp___0^0'=0, [], cost: 1
     44: l28 -> l25 : tmp___0^0'=0, [ bDomain^0==0 ], cost: 1
     75: l28 -> l25 : tmp___0^0'=0, [ 1<=bDomain^0 ], cost: 2
     76: l28 -> l26 : [ 1<=bDomain^0 ], cost: 2
     77: l28 -> l25 : tmp___0^0'=0, [ 1+bDomain^0<=0 ], cost: 2
     78: l28 -> l26 : [ 1+bDomain^0<=0 ], cost: 2
     54: l30 -> l6 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=0, tmp^0'=tmp^post_53, [], cost: 2
     80: l30 -> l6 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=__const_12^0, tmp^0'=tmp^post_53, [ __const_12^0>=0 ], cost: 2+2*__const_12^0

Eliminated locations (on tree-shaped paths):
   Start location: l30
     12: l8 -> l9 : bGray^0'=tmp___2^0, ni^0'=1+ni^0, [], cost: 1
     63: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=0, [ 1+ni^0<=-1+nDim^0 && bGray^0==0 ], cost: 3
     88: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=0, [ 1+ni^0<=-1+nDim^0 && 1<=bGray^0 ], cost: 4
     89: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=0, [ 1+ni^0<=-1+nDim^0 && 1<=bGray^0 && nDiff^post_25==0 ], cost: 5
     90: l9 -> l10 : nDiff^0'=nDiff^post_25, [ 1+ni^0<=-1+nDim^0 && 1<=bGray^0 && 1<=nDiff^post_25 ], cost: 5
     91: l9 -> l10 : nDiff^0'=nDiff^post_25, [ 1+ni^0<=-1+nDim^0 && 1<=bGray^0 && 1+nDiff^post_25<=0 ], cost: 5
     92: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=0, [ 1+ni^0<=-1+nDim^0 && 1+bGray^0<=0 ], cost: 4
     93: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=0, [ 1+ni^0<=-1+nDim^0 && 1+bGray^0<=0 && nDiff^post_25==0 ], cost: 5
     94: l9 -> l10 : nDiff^0'=nDiff^post_25, [ 1+ni^0<=-1+nDim^0 && 1+bGray^0<=0 && 1<=nDiff^post_25 ], cost: 5
     95: l9 -> l10 : nDiff^0'=nDiff^post_25, [ 1+ni^0<=-1+nDim^0 && 1+bGray^0<=0 && 1+nDiff^post_25<=0 ], cost: 5
     13: l10 -> l8 : tmp___2^0'=1, [], cost: 1
     59: l14 -> l19 : ni^0'=0, [ nDim^0<=ni^0 ], cost: 2
     83: l14 -> l25 : tmp___0^0'=0, [ 1+ni^0<=nDim^0 && bDomain^0==0 ], cost: 3
     84: l14 -> l25 : tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 4
     85: l14 -> l26 : [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 4
     86: l14 -> l25 : tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 4
     87: l14 -> l26 : [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 4
     25: l17 -> l18 : bAllDiff^0'=tmp___1^0, nj^0'=1+nj^0, [], cost: 1
     69: l18 -> l19 : ni^0'=1+ni^0, [ nDim^0<=nj^0 ], cost: 2
     96: l18 -> l17 : tmp___1^0'=0, [ 1+nj^0<=nDim^0 && bAllDiff^0==0 ], cost: 3
     97: l18 -> l17 : tmp___1^0'=0, [ 1+nj^0<=nDim^0 && 1<=bAllDiff^0 ], cost: 4
     98: l18 -> l17 : tmp___1^0'=1, [ 1+nj^0<=nDim^0 && 1<=bAllDiff^0 ], cost: 5
     99: l18 -> l17 : tmp___1^0'=0, [ 1+nj^0<=nDim^0 && 1+bAllDiff^0<=0 ], cost: 4
    100: l18 -> l17 : tmp___1^0'=1, [ 1+nj^0<=nDim^0 && 1+bAllDiff^0<=0 ], cost: 5
     61: l19 -> l9 : ni^0'=0, [ -1+nDim^0<=ni^0 ], cost: 2
     62: l19 -> l18 : nj^0'=1+ni^0, [ 1+ni^0<=-1+nDim^0 ], cost: 2
     39: l25 -> l14 : bDomain^0'=tmp___0^0, ni^0'=1+ni^0, [], cost: 1
     40: l26 -> l25 : tmp___0^0'=1, [], cost: 1
     41: l26 -> l25 : tmp___0^0'=0, [], cost: 1
     81: l30 -> l14 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=0, tmp^0'=tmp^post_53, [ __const_12^0<=0 ], cost: 4
     82: l30 -> l14 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=0, tmp^0'=tmp^post_53, [ __const_12^0>=0 ], cost: 4+2*__const_12^0

Merged rules:
   Start location: l30
     12: l8 -> l9 : bGray^0'=tmp___2^0, ni^0'=1+ni^0, [], cost: 1
     63: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=0, [ 1+ni^0<=-1+nDim^0 && bGray^0==0 ], cost: 3
     90: l9 -> l10 : nDiff^0'=nDiff^post_25, [ 1+ni^0<=-1+nDim^0 && 1<=bGray^0 && 1<=nDiff^post_25 ], cost: 5
     91: l9 -> l10 : nDiff^0'=nDiff^post_25, [ 1+ni^0<=-1+nDim^0 && 1<=bGray^0 && 1+nDiff^post_25<=0 ], cost: 5
     94: l9 -> l10 : nDiff^0'=nDiff^post_25, [ 1+ni^0<=-1+nDim^0 && 1+bGray^0<=0 && 1<=nDiff^post_25 ], cost: 5
     95: l9 -> l10 : nDiff^0'=nDiff^post_25, [ 1+ni^0<=-1+nDim^0 && 1+bGray^0<=0 && 1+nDiff^post_25<=0 ], cost: 5
    101: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=0, [ 1+ni^0<=-1+nDim^0 && 1<=bGray^0 ], cost: 5
    102: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=0, [ 1+ni^0<=-1+nDim^0 && 1+bGray^0<=0 ], cost: 5
     13: l10 -> l8 : tmp___2^0'=1, [], cost: 1
     59: l14 -> l19 : ni^0'=0, [ nDim^0<=ni^0 ], cost: 2
     83: l14 -> l25 : tmp___0^0'=0, [ 1+ni^0<=nDim^0 && bDomain^0==0 ], cost: 3
     84: l14 -> l25 : tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 4
     85: l14 -> l26 : [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 4
     86: l14 -> l25 : tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 4
     87: l14 -> l26 : [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 4
     25: l17 -> l18 : bAllDiff^0'=tmp___1^0, nj^0'=1+nj^0, [], cost: 1
     69: l18 -> l19 : ni^0'=1+ni^0, [ nDim^0<=nj^0 ], cost: 2
     96: l18 -> l17 : tmp___1^0'=0, [ 1+nj^0<=nDim^0 && bAllDiff^0==0 ], cost: 3
     97: l18 -> l17 : tmp___1^0'=0, [ 1+nj^0<=nDim^0 && 1<=bAllDiff^0 ], cost: 4
     98: l18 -> l17 : tmp___1^0'=1, [ 1+nj^0<=nDim^0 && 1<=bAllDiff^0 ], cost: 5
     99: l18 -> l17 : tmp___1^0'=0, [ 1+nj^0<=nDim^0 && 1+bAllDiff^0<=0 ], cost: 4
    100: l18 -> l17 : tmp___1^0'=1, [ 1+nj^0<=nDim^0 && 1+bAllDiff^0<=0 ], cost: 5
     61: l19 -> l9 : ni^0'=0, [ -1+nDim^0<=ni^0 ], cost: 2
     62: l19 -> l18 : nj^0'=1+ni^0, [ 1+ni^0<=-1+nDim^0 ], cost: 2
     39: l25 -> l14 : bDomain^0'=tmp___0^0, ni^0'=1+ni^0, [], cost: 1
     40: l26 -> l25 : tmp___0^0'=1, [], cost: 1
     41: l26 -> l25 : tmp___0^0'=0, [], cost: 1
     81: l30 -> l14 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=0, tmp^0'=tmp^post_53, [ __const_12^0<=0 ], cost: 4
     82: l30 -> l14 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=0, tmp^0'=tmp^post_53, [ __const_12^0>=0 ], cost: 4+2*__const_12^0

Eliminated locations (on tree-shaped paths):
   Start location: l30
     12: l8 -> l9 : bGray^0'=tmp___2^0, ni^0'=1+ni^0, [], cost: 1
     63: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=0, [ 1+ni^0<=-1+nDim^0 && bGray^0==0 ], cost: 3
    101: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=0, [ 1+ni^0<=-1+nDim^0 && 1<=bGray^0 ], cost: 5
    102: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=0, [ 1+ni^0<=-1+nDim^0 && 1+bGray^0<=0 ], cost: 5
    107: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=1, [ 1+ni^0<=-1+nDim^0 && 1<=bGray^0 && 1<=nDiff^post_25 ], cost: 6
    108: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=1, [ 1+ni^0<=-1+nDim^0 && 1<=bGray^0 && 1+nDiff^post_25<=0 ], cost: 6
    109: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=1, [ 1+ni^0<=-1+nDim^0 && 1+bGray^0<=0 && 1<=nDiff^post_25 ], cost: 6
    110: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=1, [ 1+ni^0<=-1+nDim^0 && 1+bGray^0<=0 && 1+nDiff^post_25<=0 ], cost: 6
     59: l14 -> l19 : ni^0'=0, [ nDim^0<=ni^0 ], cost: 2
     83: l14 -> l25 : tmp___0^0'=0, [ 1+ni^0<=nDim^0 && bDomain^0==0 ], cost: 3
     84: l14 -> l25 : tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 4
     86: l14 -> l25 : tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 4
    103: l14 -> l25 : tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 5
    104: l14 -> l25 : tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 5
    105: l14 -> l25 : tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 5
    106: l14 -> l25 : tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 5
     69: l18 -> l19 : ni^0'=1+ni^0, [ nDim^0<=nj^0 ], cost: 2
    111: l18 -> l18 : bAllDiff^0'=0, nj^0'=1+nj^0, tmp___1^0'=0, [ 1+nj^0<=nDim^0 && bAllDiff^0==0 ], cost: 4
    112: l18 -> l18 : bAllDiff^0'=0, nj^0'=1+nj^0, tmp___1^0'=0, [ 1+nj^0<=nDim^0 && 1<=bAllDiff^0 ], cost: 5
    113: l18 -> l18 : bAllDiff^0'=1, nj^0'=1+nj^0, tmp___1^0'=1, [ 1+nj^0<=nDim^0 && 1<=bAllDiff^0 ], cost: 6
    114: l18 -> l18 : bAllDiff^0'=0, nj^0'=1+nj^0, tmp___1^0'=0, [ 1+nj^0<=nDim^0 && 1+bAllDiff^0<=0 ], cost: 5
    115: l18 -> l18 : bAllDiff^0'=1, nj^0'=1+nj^0, tmp___1^0'=1, [ 1+nj^0<=nDim^0 && 1+bAllDiff^0<=0 ], cost: 6
     61: l19 -> l9 : ni^0'=0, [ -1+nDim^0<=ni^0 ], cost: 2
     62: l19 -> l18 : nj^0'=1+ni^0, [ 1+ni^0<=-1+nDim^0 ], cost: 2
     39: l25 -> l14 : bDomain^0'=tmp___0^0, ni^0'=1+ni^0, [], cost: 1
     81: l30 -> l14 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=0, tmp^0'=tmp^post_53, [ __const_12^0<=0 ], cost: 4
     82: l30 -> l14 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=0, tmp^0'=tmp^post_53, [ __const_12^0>=0 ], cost: 4+2*__const_12^0

Merged rules:
   Start location: l30
     12: l8 -> l9 : bGray^0'=tmp___2^0, ni^0'=1+ni^0, [], cost: 1
     63: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=0, [ 1+ni^0<=-1+nDim^0 && bGray^0==0 ], cost: 3
    101: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=0, [ 1+ni^0<=-1+nDim^0 && 1<=bGray^0 ], cost: 5
    102: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=0, [ 1+ni^0<=-1+nDim^0 && 1+bGray^0<=0 ], cost: 5
    107: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=1, [ 1+ni^0<=-1+nDim^0 && 1<=bGray^0 && 1<=nDiff^post_25 ], cost: 6
    108: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=1, [ 1+ni^0<=-1+nDim^0 && 1<=bGray^0 && 1+nDiff^post_25<=0 ], cost: 6
    109: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=1, [ 1+ni^0<=-1+nDim^0 && 1+bGray^0<=0 && 1<=nDiff^post_25 ], cost: 6
    110: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=1, [ 1+ni^0<=-1+nDim^0 && 1+bGray^0<=0 && 1+nDiff^post_25<=0 ], cost: 6
     59: l14 -> l19 : ni^0'=0, [ nDim^0<=ni^0 ], cost: 2
     83: l14 -> l25 : tmp___0^0'=0, [ 1+ni^0<=nDim^0 && bDomain^0==0 ], cost: 3
    103: l14 -> l25 : tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 5
    105: l14 -> l25 : tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 5
    116: l14 -> l25 : tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 5
    117: l14 -> l25 : tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 5
     69: l18 -> l19 : ni^0'=1+ni^0, [ nDim^0<=nj^0 ], cost: 2
    111: l18 -> l18 : bAllDiff^0'=0, nj^0'=1+nj^0, tmp___1^0'=0, [ 1+nj^0<=nDim^0 && bAllDiff^0==0 ], cost: 4
    112: l18 -> l18 : bAllDiff^0'=0, nj^0'=1+nj^0, tmp___1^0'=0, [ 1+nj^0<=nDim^0 && 1<=bAllDiff^0 ], cost: 5
    113: l18 -> l18 : bAllDiff^0'=1, nj^0'=1+nj^0, tmp___1^0'=1, [ 1+nj^0<=nDim^0 && 1<=bAllDiff^0 ], cost: 6
    114: l18 -> l18 : bAllDiff^0'=0, nj^0'=1+nj^0, tmp___1^0'=0, [ 1+nj^0<=nDim^0 && 1+bAllDiff^0<=0 ], cost: 5
    115: l18 -> l18 : bAllDiff^0'=1, nj^0'=1+nj^0, tmp___1^0'=1, [ 1+nj^0<=nDim^0 && 1+bAllDiff^0<=0 ], cost: 6
     61: l19 -> l9 : ni^0'=0, [ -1+nDim^0<=ni^0 ], cost: 2
     62: l19 -> l18 : nj^0'=1+ni^0, [ 1+ni^0<=-1+nDim^0 ], cost: 2
     39: l25 -> l14 : bDomain^0'=tmp___0^0, ni^0'=1+ni^0, [], cost: 1
     81: l30 -> l14 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=0, tmp^0'=tmp^post_53, [ __const_12^0<=0 ], cost: 4
     82: l30 -> l14 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=0, tmp^0'=tmp^post_53, [ __const_12^0>=0 ], cost: 4+2*__const_12^0

Applied pruning (of leafs and parallel rules):
   Start location: l30
     12: l8 -> l9 : bGray^0'=tmp___2^0, ni^0'=1+ni^0, [], cost: 1
     63: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=0, [ 1+ni^0<=-1+nDim^0 && bGray^0==0 ], cost: 3
    101: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=0, [ 1+ni^0<=-1+nDim^0 && 1<=bGray^0 ], cost: 5
    102: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=0, [ 1+ni^0<=-1+nDim^0 && 1+bGray^0<=0 ], cost: 5
    107: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=1, [ 1+ni^0<=-1+nDim^0 && 1<=bGray^0 && 1<=nDiff^post_25 ], cost: 6
    108: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=1, [ 1+ni^0<=-1+nDim^0 && 1<=bGray^0 && 1+nDiff^post_25<=0 ], cost: 6
     59: l14 -> l19 : ni^0'=0, [ nDim^0<=ni^0 ], cost: 2
     83: l14 -> l25 : tmp___0^0'=0, [ 1+ni^0<=nDim^0 && bDomain^0==0 ], cost: 3
    103: l14 -> l25 : tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 5
    105: l14 -> l25 : tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 5
    116: l14 -> l25 : tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 5
    117: l14 -> l25 : tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 5
     69: l18 -> l19 : ni^0'=1+ni^0, [ nDim^0<=nj^0 ], cost: 2
    111: l18 -> l18 : bAllDiff^0'=0, nj^0'=1+nj^0, tmp___1^0'=0, [ 1+nj^0<=nDim^0 && bAllDiff^0==0 ], cost: 4
    112: l18 -> l18 : bAllDiff^0'=0, nj^0'=1+nj^0, tmp___1^0'=0, [ 1+nj^0<=nDim^0 && 1<=bAllDiff^0 ], cost: 5
    113: l18 -> l18 : bAllDiff^0'=1, nj^0'=1+nj^0, tmp___1^0'=1, [ 1+nj^0<=nDim^0 && 1<=bAllDiff^0 ], cost: 6
    114: l18 -> l18 : bAllDiff^0'=0, nj^0'=1+nj^0, tmp___1^0'=0, [ 1+nj^0<=nDim^0 && 1+bAllDiff^0<=0 ], cost: 5
    115: l18 -> l18 : bAllDiff^0'=1, nj^0'=1+nj^0, tmp___1^0'=1, [ 1+nj^0<=nDim^0 && 1+bAllDiff^0<=0 ], cost: 6
     61: l19 -> l9 : ni^0'=0, [ -1+nDim^0<=ni^0 ], cost: 2
     62: l19 -> l18 : nj^0'=1+ni^0, [ 1+ni^0<=-1+nDim^0 ], cost: 2
     39: l25 -> l14 : bDomain^0'=tmp___0^0, ni^0'=1+ni^0, [], cost: 1
     81: l30 -> l14 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=0, tmp^0'=tmp^post_53, [ __const_12^0<=0 ], cost: 4
     82: l30 -> l14 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=0, tmp^0'=tmp^post_53, [ __const_12^0>=0 ], cost: 4+2*__const_12^0

Accelerating simple loops of location 18.
   Accelerating the following rules:
    111: l18 -> l18 : bAllDiff^0'=0, nj^0'=1+nj^0, tmp___1^0'=0, [ 1+nj^0<=nDim^0 && bAllDiff^0==0 ], cost: 4
    112: l18 -> l18 : bAllDiff^0'=0, nj^0'=1+nj^0, tmp___1^0'=0, [ 1+nj^0<=nDim^0 && 1<=bAllDiff^0 ], cost: 5
    113: l18 -> l18 : bAllDiff^0'=1, nj^0'=1+nj^0, tmp___1^0'=1, [ 1+nj^0<=nDim^0 && 1<=bAllDiff^0 ], cost: 6
    114: l18 -> l18 : bAllDiff^0'=0, nj^0'=1+nj^0, tmp___1^0'=0, [ 1+nj^0<=nDim^0 && 1+bAllDiff^0<=0 ], cost: 5
    115: l18 -> l18 : bAllDiff^0'=1, nj^0'=1+nj^0, tmp___1^0'=1, [ 1+nj^0<=nDim^0 && 1+bAllDiff^0<=0 ], cost: 6

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

Accelerated all simple loops using metering functions (where possible):
   Start location: l30
     12: l8 -> l9 : bGray^0'=tmp___2^0, ni^0'=1+ni^0, [], cost: 1
     63: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=0, [ 1+ni^0<=-1+nDim^0 && bGray^0==0 ], cost: 3
    101: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=0, [ 1+ni^0<=-1+nDim^0 && 1<=bGray^0 ], cost: 5
    102: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=0, [ 1+ni^0<=-1+nDim^0 && 1+bGray^0<=0 ], cost: 5
    107: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=1, [ 1+ni^0<=-1+nDim^0 && 1<=bGray^0 && 1<=nDiff^post_25 ], cost: 6
    108: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=1, [ 1+ni^0<=-1+nDim^0 && 1<=bGray^0 && 1+nDiff^post_25<=0 ], cost: 6
     59: l14 -> l19 : ni^0'=0, [ nDim^0<=ni^0 ], cost: 2
     83: l14 -> l25 : tmp___0^0'=0, [ 1+ni^0<=nDim^0 && bDomain^0==0 ], cost: 3
    103: l14 -> l25 : tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 5
    105: l14 -> l25 : tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 5
    116: l14 -> l25 : tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 5
    117: l14 -> l25 : tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 5
     69: l18 -> l19 : ni^0'=1+ni^0, [ nDim^0<=nj^0 ], cost: 2
    112: l18 -> l18 : bAllDiff^0'=0, nj^0'=1+nj^0, tmp___1^0'=0, [ 1+nj^0<=nDim^0 && 1<=bAllDiff^0 ], cost: 5
    114: l18 -> l18 : bAllDiff^0'=0, nj^0'=1+nj^0, tmp___1^0'=0, [ 1+nj^0<=nDim^0 && 1+bAllDiff^0<=0 ], cost: 5
    115: l18 -> l18 : bAllDiff^0'=1, nj^0'=1+nj^0, tmp___1^0'=1, [ 1+nj^0<=nDim^0 && 1+bAllDiff^0<=0 ], cost: 6
    118: l18 -> l18 : bAllDiff^0'=0, nj^0'=nDim^0, tmp___1^0'=0, [ bAllDiff^0==0 && -nj^0+nDim^0>=1 ], cost: -4*nj^0+4*nDim^0
    119: l18 -> l18 : bAllDiff^0'=1, nj^0'=nDim^0, tmp___1^0'=1, [ 1<=bAllDiff^0 && -nj^0+nDim^0>=1 ], cost: -6*nj^0+6*nDim^0
     61: l19 -> l9 : ni^0'=0, [ -1+nDim^0<=ni^0 ], cost: 2
     62: l19 -> l18 : nj^0'=1+ni^0, [ 1+ni^0<=-1+nDim^0 ], cost: 2
     39: l25 -> l14 : bDomain^0'=tmp___0^0, ni^0'=1+ni^0, [], cost: 1
     81: l30 -> l14 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=0, tmp^0'=tmp^post_53, [ __const_12^0<=0 ], cost: 4
     82: l30 -> l14 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=0, tmp^0'=tmp^post_53, [ __const_12^0>=0 ], cost: 4+2*__const_12^0

Chained accelerated rules (with incoming rules):
   Start location: l30
     12: l8 -> l9 : bGray^0'=tmp___2^0, ni^0'=1+ni^0, [], cost: 1
     63: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=0, [ 1+ni^0<=-1+nDim^0 && bGray^0==0 ], cost: 3
    101: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=0, [ 1+ni^0<=-1+nDim^0 && 1<=bGray^0 ], cost: 5
    102: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=0, [ 1+ni^0<=-1+nDim^0 && 1+bGray^0<=0 ], cost: 5
    107: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=1, [ 1+ni^0<=-1+nDim^0 && 1<=bGray^0 && 1<=nDiff^post_25 ], cost: 6
    108: l9 -> l8 : nDiff^0'=nDiff^post_25, tmp___2^0'=1, [ 1+ni^0<=-1+nDim^0 && 1<=bGray^0 && 1+nDiff^post_25<=0 ], cost: 6
     59: l14 -> l19 : ni^0'=0, [ nDim^0<=ni^0 ], cost: 2
     83: l14 -> l25 : tmp___0^0'=0, [ 1+ni^0<=nDim^0 && bDomain^0==0 ], cost: 3
    103: l14 -> l25 : tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 5
    105: l14 -> l25 : tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 5
    116: l14 -> l25 : tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 5
    117: l14 -> l25 : tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 5
     69: l18 -> l19 : ni^0'=1+ni^0, [ nDim^0<=nj^0 ], cost: 2
     61: l19 -> l9 : ni^0'=0, [ -1+nDim^0<=ni^0 ], cost: 2
     62: l19 -> l18 : nj^0'=1+ni^0, [ 1+ni^0<=-1+nDim^0 ], cost: 2
    120: l19 -> l18 : bAllDiff^0'=0, nj^0'=2+ni^0, tmp___1^0'=0, [ 1+ni^0<=-1+nDim^0 && 1<=bAllDiff^0 ], cost: 7
    121: l19 -> l18 : bAllDiff^0'=0, nj^0'=2+ni^0, tmp___1^0'=0, [ 1+ni^0<=-1+nDim^0 && 1+bAllDiff^0<=0 ], cost: 7
    122: l19 -> l18 : bAllDiff^0'=1, nj^0'=2+ni^0, tmp___1^0'=1, [ 1+ni^0<=-1+nDim^0 && 1+bAllDiff^0<=0 ], cost: 8
    123: l19 -> l18 : bAllDiff^0'=0, nj^0'=nDim^0, tmp___1^0'=0, [ 1+ni^0<=-1+nDim^0 && bAllDiff^0==0 ], cost: -2+4*nDim^0-4*ni^0
    124: l19 -> l18 : bAllDiff^0'=1, nj^0'=nDim^0, tmp___1^0'=1, [ 1+ni^0<=-1+nDim^0 && 1<=bAllDiff^0 ], cost: -4+6*nDim^0-6*ni^0
     39: l25 -> l14 : bDomain^0'=tmp___0^0, ni^0'=1+ni^0, [], cost: 1
     81: l30 -> l14 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=0, tmp^0'=tmp^post_53, [ __const_12^0<=0 ], cost: 4
     82: l30 -> l14 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=0, tmp^0'=tmp^post_53, [ __const_12^0>=0 ], cost: 4+2*__const_12^0

Eliminated locations (on tree-shaped paths):
   Start location: l30
    135: l9 -> l9 : bGray^0'=0, nDiff^0'=nDiff^post_25, ni^0'=1+ni^0, tmp___2^0'=0, [ 1+ni^0<=-1+nDim^0 && bGray^0==0 ], cost: 4
    136: l9 -> l9 : bGray^0'=0, nDiff^0'=nDiff^post_25, ni^0'=1+ni^0, tmp___2^0'=0, [ 1+ni^0<=-1+nDim^0 && 1<=bGray^0 ], cost: 6
    137: l9 -> l9 : bGray^0'=0, nDiff^0'=nDiff^post_25, ni^0'=1+ni^0, tmp___2^0'=0, [ 1+ni^0<=-1+nDim^0 && 1+bGray^0<=0 ], cost: 6
    138: l9 -> l9 : bGray^0'=1, nDiff^0'=nDiff^post_25, ni^0'=1+ni^0, tmp___2^0'=1, [ 1+ni^0<=-1+nDim^0 && 1<=bGray^0 && 1<=nDiff^post_25 ], cost: 7
    139: l9 -> l9 : bGray^0'=1, nDiff^0'=nDiff^post_25, ni^0'=1+ni^0, tmp___2^0'=1, [ 1+ni^0<=-1+nDim^0 && 1<=bGray^0 && 1+nDiff^post_25<=0 ], cost: 7
     59: l14 -> l19 : ni^0'=0, [ nDim^0<=ni^0 ], cost: 2
    125: l14 -> l14 : bDomain^0'=0, ni^0'=1+ni^0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && bDomain^0==0 ], cost: 4
    126: l14 -> l14 : bDomain^0'=1, ni^0'=1+ni^0, tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 6
    127: l14 -> l14 : bDomain^0'=1, ni^0'=1+ni^0, tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 6
    128: l14 -> l14 : bDomain^0'=0, ni^0'=1+ni^0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 6
    129: l14 -> l14 : bDomain^0'=0, ni^0'=1+ni^0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 6
     61: l19 -> l9 : ni^0'=0, [ -1+nDim^0<=ni^0 ], cost: 2
    130: l19 -> l19 : bAllDiff^0'=0, ni^0'=1+ni^0, nj^0'=2+ni^0, tmp___1^0'=0, [ 1+ni^0<=-1+nDim^0 && 1<=bAllDiff^0 && nDim^0<=2+ni^0 ], cost: 9
    131: l19 -> l19 : bAllDiff^0'=0, ni^0'=1+ni^0, nj^0'=2+ni^0, tmp___1^0'=0, [ 1+ni^0<=-1+nDim^0 && 1+bAllDiff^0<=0 && nDim^0<=2+ni^0 ], cost: 9
    132: l19 -> l19 : bAllDiff^0'=1, ni^0'=1+ni^0, nj^0'=2+ni^0, tmp___1^0'=1, [ 1+ni^0<=-1+nDim^0 && 1+bAllDiff^0<=0 && nDim^0<=2+ni^0 ], cost: 10
    133: l19 -> l19 : bAllDiff^0'=0, ni^0'=1+ni^0, nj^0'=nDim^0, tmp___1^0'=0, [ 1+ni^0<=-1+nDim^0 && bAllDiff^0==0 ], cost: 4*nDim^0-4*ni^0
    134: l19 -> l19 : bAllDiff^0'=1, ni^0'=1+ni^0, nj^0'=nDim^0, tmp___1^0'=1, [ 1+ni^0<=-1+nDim^0 && 1<=bAllDiff^0 ], cost: -2+6*nDim^0-6*ni^0
     81: l30 -> l14 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=0, tmp^0'=tmp^post_53, [ __const_12^0<=0 ], cost: 4
     82: l30 -> l14 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=0, tmp^0'=tmp^post_53, [ __const_12^0>=0 ], cost: 4+2*__const_12^0

Accelerating simple loops of location 9.
   Accelerating the following rules:
    135: l9 -> l9 : bGray^0'=0, nDiff^0'=nDiff^post_25, ni^0'=1+ni^0, tmp___2^0'=0, [ 1+ni^0<=-1+nDim^0 && bGray^0==0 ], cost: 4
    136: l9 -> l9 : bGray^0'=0, nDiff^0'=nDiff^post_25, ni^0'=1+ni^0, tmp___2^0'=0, [ 1+ni^0<=-1+nDim^0 && 1<=bGray^0 ], cost: 6
    137: l9 -> l9 : bGray^0'=0, nDiff^0'=nDiff^post_25, ni^0'=1+ni^0, tmp___2^0'=0, [ 1+ni^0<=-1+nDim^0 && 1+bGray^0<=0 ], cost: 6
    138: l9 -> l9 : bGray^0'=1, nDiff^0'=nDiff^post_25, ni^0'=1+ni^0, tmp___2^0'=1, [ 1+ni^0<=-1+nDim^0 && 1<=bGray^0 && 1<=nDiff^post_25 ], cost: 7
    139: l9 -> l9 : bGray^0'=1, nDiff^0'=nDiff^post_25, ni^0'=1+ni^0, tmp___2^0'=1, [ 1+ni^0<=-1+nDim^0 && 1<=bGray^0 && 1+nDiff^post_25<=0 ], cost: 7

   Accelerated rule 135 with backward acceleration, yielding the new rule 140.
   Failed to prove monotonicity of the guard of rule 136.
   Failed to prove monotonicity of the guard of rule 137.
   Accelerated rule 138 with backward acceleration, yielding the new rule 141.
   Accelerated rule 139 with backward acceleration, yielding the new rule 142.
[accelerate] Nesting with 5 inner and 5 outer candidates
   Removing the simple loops: 135 138 139.

Accelerating simple loops of location 14.
   Accelerating the following rules:
    125: l14 -> l14 : bDomain^0'=0, ni^0'=1+ni^0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && bDomain^0==0 ], cost: 4
    126: l14 -> l14 : bDomain^0'=1, ni^0'=1+ni^0, tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 6
    127: l14 -> l14 : bDomain^0'=1, ni^0'=1+ni^0, tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 6
    128: l14 -> l14 : bDomain^0'=0, ni^0'=1+ni^0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 6
    129: l14 -> l14 : bDomain^0'=0, ni^0'=1+ni^0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 6

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

Accelerating simple loops of location 19.
   Simplified some of the simple loops (and removed duplicate rules).
   Accelerating the following rules:
    130: l19 -> l19 : bAllDiff^0'=0, ni^0'=1+ni^0, nj^0'=2+ni^0, tmp___1^0'=0, [ 2-nDim^0+ni^0==0 && 1<=bAllDiff^0 ], cost: 9
    131: l19 -> l19 : bAllDiff^0'=0, ni^0'=1+ni^0, nj^0'=2+ni^0, tmp___1^0'=0, [ 2-nDim^0+ni^0==0 && 1+bAllDiff^0<=0 ], cost: 9
    132: l19 -> l19 : bAllDiff^0'=1, ni^0'=1+ni^0, nj^0'=2+ni^0, tmp___1^0'=1, [ 2-nDim^0+ni^0==0 && 1+bAllDiff^0<=0 ], cost: 10
    133: l19 -> l19 : bAllDiff^0'=0, ni^0'=1+ni^0, nj^0'=nDim^0, tmp___1^0'=0, [ 1+ni^0<=-1+nDim^0 && bAllDiff^0==0 ], cost: 4*nDim^0-4*ni^0
    134: l19 -> l19 : bAllDiff^0'=1, ni^0'=1+ni^0, nj^0'=nDim^0, tmp___1^0'=1, [ 1+ni^0<=-1+nDim^0 && 1<=bAllDiff^0 ], cost: -2+6*nDim^0-6*ni^0

   Failed to prove monotonicity of the guard of rule 130.
   Failed to prove monotonicity of the guard of rule 131.
   Failed to prove monotonicity of the guard of rule 132.
   Accelerated rule 133 with backward acceleration, yielding the new rule 145.
   Accelerated rule 134 with backward acceleration, yielding the new rule 146.
[accelerate] Nesting with 5 inner and 5 outer candidates
   Removing the simple loops: 133 134.

Accelerated all simple loops using metering functions (where possible):
   Start location: l30
    136: l9 -> l9 : bGray^0'=0, nDiff^0'=nDiff^post_25, ni^0'=1+ni^0, tmp___2^0'=0, [ 1+ni^0<=-1+nDim^0 && 1<=bGray^0 ], cost: 6
    137: l9 -> l9 : bGray^0'=0, nDiff^0'=nDiff^post_25, ni^0'=1+ni^0, tmp___2^0'=0, [ 1+ni^0<=-1+nDim^0 && 1+bGray^0<=0 ], cost: 6
    140: l9 -> l9 : bGray^0'=0, nDiff^0'=nDiff^post_25, ni^0'=-1+nDim^0, tmp___2^0'=0, [ bGray^0==0 && -1+nDim^0-ni^0>=1 ], cost: -4+4*nDim^0-4*ni^0
    141: l9 -> l9 : bGray^0'=1, nDiff^0'=nDiff^post_25, ni^0'=-1+nDim^0, tmp___2^0'=1, [ 1<=bGray^0 && 1<=nDiff^post_25 && -1+nDim^0-ni^0>=1 ], cost: -7+7*nDim^0-7*ni^0
    142: l9 -> l9 : bGray^0'=1, nDiff^0'=nDiff^post_25, ni^0'=-1+nDim^0, tmp___2^0'=1, [ 1<=bGray^0 && 1+nDiff^post_25<=0 && -1+nDim^0-ni^0>=1 ], cost: -7+7*nDim^0-7*ni^0
     59: l14 -> l19 : ni^0'=0, [ nDim^0<=ni^0 ], cost: 2
    127: l14 -> l14 : bDomain^0'=1, ni^0'=1+ni^0, tmp___0^0'=1, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 6
    128: l14 -> l14 : bDomain^0'=0, ni^0'=1+ni^0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1<=bDomain^0 ], cost: 6
    129: l14 -> l14 : bDomain^0'=0, ni^0'=1+ni^0, tmp___0^0'=0, [ 1+ni^0<=nDim^0 && 1+bDomain^0<=0 ], cost: 6
    143: l14 -> l14 : bDomain^0'=0, ni^0'=nDim^0, tmp___0^0'=0, [ bDomain^0==0 && nDim^0-ni^0>=1 ], cost: 4*nDim^0-4*ni^0
    144: l14 -> l14 : bDomain^0'=1, ni^0'=nDim^0, tmp___0^0'=1, [ 1<=bDomain^0 && nDim^0-ni^0>=1 ], cost: 6*nDim^0-6*ni^0
     61: l19 -> l9 : ni^0'=0, [ -1+nDim^0<=ni^0 ], cost: 2
    130: l19 -> l19 : bAllDiff^0'=0, ni^0'=1+ni^0, nj^0'=2+ni^0, tmp___1^0'=0, [ 2-nDim^0+ni^0==0 && 1<=bAllDiff^0 ], cost: 9
    131: l19 -> l19 : bAllDiff^0'=0, ni^0'=1+ni^0, nj^0'=2+ni^0, tmp___1^0'=0, [ 2-nDim^0+ni^0==0 && 1+bAllDiff^0<=0 ], cost: 9
    132: l19 -> l19 : bAllDiff^0'=1, ni^0'=1+ni^0, nj^0'=2+ni^0, tmp___1^0'=1, [ 2-nDim^0+ni^0==0 && 1+bAllDiff^0<=0 ], cost: 10
    145: l19 -> l19 : bAllDiff^0'=0, ni^0'=-1+nDim^0, nj^0'=nDim^0, tmp___1^0'=0, [ bAllDiff^0==0 && -1+nDim^0-ni^0>=1 ], cost: -2-4*(-1+nDim^0-ni^0)*ni^0-2*(-1+nDim^0-ni^0)^2+4*(-1+nDim^0-ni^0)*nDim^0+2*nDim^0-2*ni^0
    146: l19 -> l19 : bAllDiff^0'=1, ni^0'=-1+nDim^0, nj^0'=nDim^0, tmp___1^0'=1, [ 1<=bAllDiff^0 && -1+nDim^0-ni^0>=1 ], cost: -1-6*(-1+nDim^0-ni^0)*ni^0-3*(-1+nDim^0-ni^0)^2+6*(-1+nDim^0-ni^0)*nDim^0+nDim^0-ni^0
     81: l30 -> l14 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=0, tmp^0'=tmp^post_53, [ __const_12^0<=0 ], cost: 4
     82: l30 -> l14 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=0, tmp^0'=tmp^post_53, [ __const_12^0>=0 ], cost: 4+2*__const_12^0

Chained accelerated rules (with incoming rules):
   Start location: l30
     59: l14 -> l19 : ni^0'=0, [ nDim^0<=ni^0 ], cost: 2
    154: l14 -> l19 : bAllDiff^0'=0, ni^0'=1, nj^0'=2, tmp___1^0'=0, [ nDim^0<=ni^0 && 2-nDim^0==0 && 1<=bAllDiff^0 ], cost: 11
    155: l14 -> l19 : bAllDiff^0'=0, ni^0'=1, nj^0'=2, tmp___1^0'=0, [ nDim^0<=ni^0 && 2-nDim^0==0 && 1+bAllDiff^0<=0 ], cost: 11
    156: l14 -> l19 : bAllDiff^0'=1, ni^0'=1, nj^0'=2, tmp___1^0'=1, [ nDim^0<=ni^0 && 2-nDim^0==0 && 1+bAllDiff^0<=0 ], cost: 12
    157: l14 -> l19 : bAllDiff^0'=0, ni^0'=-1+nDim^0, nj^0'=nDim^0, tmp___1^0'=0, [ nDim^0<=ni^0 && bAllDiff^0==0 && -1+nDim^0>=1 ], cost: 4*nDim^0*(-1+nDim^0)-2*(-1+nDim^0)^2+2*nDim^0
    158: l14 -> l19 : bAllDiff^0'=1, ni^0'=-1+nDim^0, nj^0'=nDim^0, tmp___1^0'=1, [ nDim^0<=ni^0 && 1<=bAllDiff^0 && -1+nDim^0>=1 ], cost: 1+6*nDim^0*(-1+nDim^0)-3*(-1+nDim^0)^2+nDim^0
     61: l19 -> l9 : ni^0'=0, [ -1+nDim^0<=ni^0 ], cost: 2
    147: l19 -> l9 : bGray^0'=0, nDiff^0'=nDiff^post_25, ni^0'=1, tmp___2^0'=0, [ -1+nDim^0<=ni^0 && 1<=-1+nDim^0 && 1<=bGray^0 ], cost: 8
    148: l19 -> l9 : bGray^0'=0, nDiff^0'=nDiff^post_25, ni^0'=1, tmp___2^0'=0, [ -1+nDim^0<=ni^0 && 1<=-1+nDim^0 && 1+bGray^0<=0 ], cost: 8
    149: l19 -> l9 : bGray^0'=0, nDiff^0'=nDiff^post_25, ni^0'=-1+nDim^0, tmp___2^0'=0, [ -1+nDim^0<=ni^0 && bGray^0==0 && -1+nDim^0>=1 ], cost: -2+4*nDim^0
    150: l19 -> l9 : bGray^0'=1, nDiff^0'=nDiff^post_25, ni^0'=-1+nDim^0, tmp___2^0'=1, [ -1+nDim^0<=ni^0 && 1<=bGray^0 && 1<=nDiff^post_25 && -1+nDim^0>=1 ], cost: -5+7*nDim^0
    151: l19 -> l9 : bGray^0'=1, nDiff^0'=nDiff^post_25, ni^0'=-1+nDim^0, tmp___2^0'=1, [ -1+nDim^0<=ni^0 && 1<=bGray^0 && 1+nDiff^post_25<=0 && -1+nDim^0>=1 ], cost: -5+7*nDim^0
     81: l30 -> l14 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=0, tmp^0'=tmp^post_53, [ __const_12^0<=0 ], cost: 4
     82: l30 -> l14 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=0, tmp^0'=tmp^post_53, [ __const_12^0>=0 ], cost: 4+2*__const_12^0
    152: l30 -> l14 : bAllDiff^0'=1, bDomain^0'=0, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=1, tmp^0'=tmp^post_53, tmp___0^0'=0, [ 1<=__const_12^0 ], cost: 10+2*__const_12^0
    153: l30 -> l14 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=__const_12^0, tmp^0'=tmp^post_53, tmp___0^0'=1, [ __const_12^0>=1 ], cost: 4+8*__const_12^0

Removed unreachable locations (and leaf rules with constant cost):
   Start location: l30
     59: l14 -> l19 : ni^0'=0, [ nDim^0<=ni^0 ], cost: 2
    154: l14 -> l19 : bAllDiff^0'=0, ni^0'=1, nj^0'=2, tmp___1^0'=0, [ nDim^0<=ni^0 && 2-nDim^0==0 && 1<=bAllDiff^0 ], cost: 11
    155: l14 -> l19 : bAllDiff^0'=0, ni^0'=1, nj^0'=2, tmp___1^0'=0, [ nDim^0<=ni^0 && 2-nDim^0==0 && 1+bAllDiff^0<=0 ], cost: 11
    156: l14 -> l19 : bAllDiff^0'=1, ni^0'=1, nj^0'=2, tmp___1^0'=1, [ nDim^0<=ni^0 && 2-nDim^0==0 && 1+bAllDiff^0<=0 ], cost: 12
    157: l14 -> l19 : bAllDiff^0'=0, ni^0'=-1+nDim^0, nj^0'=nDim^0, tmp___1^0'=0, [ nDim^0<=ni^0 && bAllDiff^0==0 && -1+nDim^0>=1 ], cost: 4*nDim^0*(-1+nDim^0)-2*(-1+nDim^0)^2+2*nDim^0
    158: l14 -> l19 : bAllDiff^0'=1, ni^0'=-1+nDim^0, nj^0'=nDim^0, tmp___1^0'=1, [ nDim^0<=ni^0 && 1<=bAllDiff^0 && -1+nDim^0>=1 ], cost: 1+6*nDim^0*(-1+nDim^0)-3*(-1+nDim^0)^2+nDim^0
    149: l19 -> l9 : bGray^0'=0, nDiff^0'=nDiff^post_25, ni^0'=-1+nDim^0, tmp___2^0'=0, [ -1+nDim^0<=ni^0 && bGray^0==0 && -1+nDim^0>=1 ], cost: -2+4*nDim^0
    150: l19 -> l9 : bGray^0'=1, nDiff^0'=nDiff^post_25, ni^0'=-1+nDim^0, tmp___2^0'=1, [ -1+nDim^0<=ni^0 && 1<=bGray^0 && 1<=nDiff^post_25 && -1+nDim^0>=1 ], cost: -5+7*nDim^0
    151: l19 -> l9 : bGray^0'=1, nDiff^0'=nDiff^post_25, ni^0'=-1+nDim^0, tmp___2^0'=1, [ -1+nDim^0<=ni^0 && 1<=bGray^0 && 1+nDiff^post_25<=0 && -1+nDim^0>=1 ], cost: -5+7*nDim^0
     81: l30 -> l14 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=0, tmp^0'=tmp^post_53, [ __const_12^0<=0 ], cost: 4
     82: l30 -> l14 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=0, tmp^0'=tmp^post_53, [ __const_12^0>=0 ], cost: 4+2*__const_12^0
    152: l30 -> l14 : bAllDiff^0'=1, bDomain^0'=0, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=1, tmp^0'=tmp^post_53, tmp___0^0'=0, [ 1<=__const_12^0 ], cost: 10+2*__const_12^0
    153: l30 -> l14 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=__const_12^0, tmp^0'=tmp^post_53, tmp___0^0'=1, [ __const_12^0>=1 ], cost: 4+8*__const_12^0

Eliminated locations (on tree-shaped paths):
   Start location: l30
    149: l19 -> l9 : bGray^0'=0, nDiff^0'=nDiff^post_25, ni^0'=-1+nDim^0, tmp___2^0'=0, [ -1+nDim^0<=ni^0 && bGray^0==0 && -1+nDim^0>=1 ], cost: -2+4*nDim^0
    150: l19 -> l9 : bGray^0'=1, nDiff^0'=nDiff^post_25, ni^0'=-1+nDim^0, tmp___2^0'=1, [ -1+nDim^0<=ni^0 && 1<=bGray^0 && 1<=nDiff^post_25 && -1+nDim^0>=1 ], cost: -5+7*nDim^0
    151: l19 -> l9 : bGray^0'=1, nDiff^0'=nDiff^post_25, ni^0'=-1+nDim^0, tmp___2^0'=1, [ -1+nDim^0<=ni^0 && 1<=bGray^0 && 1+nDiff^post_25<=0 && -1+nDim^0>=1 ], cost: -5+7*nDim^0
    159: l30 -> l19 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=0, tmp^0'=tmp^post_53, [ __const_12^0<=0 ], cost: 6
    160: l30 -> l19 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=0, tmp^0'=tmp^post_53, [ __const_12^0>=0 && __const_12^0<=0 ], cost: 6+2*__const_12^0
    161: l30 -> l19 : bAllDiff^0'=1, bDomain^0'=0, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=0, tmp^0'=tmp^post_53, tmp___0^0'=0, [ 1<=__const_12^0 && __const_12^0<=1 ], cost: 12+2*__const_12^0
    162: l30 -> l19 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=0, tmp^0'=tmp^post_53, tmp___0^0'=1, [ __const_12^0>=1 ], cost: 6+8*__const_12^0
    163: l30 -> l19 : bAllDiff^0'=0, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=1, nj^0'=2, tmp^0'=tmp^post_53, tmp___0^0'=1, tmp___1^0'=0, [ 2-__const_12^0==0 ], cost: 15+8*__const_12^0
    164: l30 -> l19 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=-1+__const_12^0, nj^0'=__const_12^0, tmp^0'=tmp^post_53, tmp___0^0'=1, tmp___1^0'=1, [ -1+__const_12^0>=1 ], cost: 5-3*(-1+__const_12^0)^2+9*__const_12^0+6*(-1+__const_12^0)*__const_12^0
    165: l30 -> [36] : [ __const_12^0>=0 ], cost: 4+2*__const_12^0
    166: l30 -> [36] : [ 1<=__const_12^0 ], cost: 10+2*__const_12^0
    167: l30 -> [36] : [ __const_12^0>=1 ], cost: 4+8*__const_12^0

Applied pruning (of leafs and parallel rules):
   Start location: l30
    149: l19 -> l9 : bGray^0'=0, nDiff^0'=nDiff^post_25, ni^0'=-1+nDim^0, tmp___2^0'=0, [ -1+nDim^0<=ni^0 && bGray^0==0 && -1+nDim^0>=1 ], cost: -2+4*nDim^0
    150: l19 -> l9 : bGray^0'=1, nDiff^0'=nDiff^post_25, ni^0'=-1+nDim^0, tmp___2^0'=1, [ -1+nDim^0<=ni^0 && 1<=bGray^0 && 1<=nDiff^post_25 && -1+nDim^0>=1 ], cost: -5+7*nDim^0
    151: l19 -> l9 : bGray^0'=1, nDiff^0'=nDiff^post_25, ni^0'=-1+nDim^0, tmp___2^0'=1, [ -1+nDim^0<=ni^0 && 1<=bGray^0 && 1+nDiff^post_25<=0 && -1+nDim^0>=1 ], cost: -5+7*nDim^0
    159: l30 -> l19 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=0, tmp^0'=tmp^post_53, [ __const_12^0<=0 ], cost: 6
    160: l30 -> l19 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=0, tmp^0'=tmp^post_53, [ __const_12^0>=0 && __const_12^0<=0 ], cost: 6+2*__const_12^0
    161: l30 -> l19 : bAllDiff^0'=1, bDomain^0'=0, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=0, tmp^0'=tmp^post_53, tmp___0^0'=0, [ 1<=__const_12^0 && __const_12^0<=1 ], cost: 12+2*__const_12^0
    162: l30 -> l19 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=0, tmp^0'=tmp^post_53, tmp___0^0'=1, [ __const_12^0>=1 ], cost: 6+8*__const_12^0
    164: l30 -> l19 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDim^0'=__const_12^0, ni^0'=-1+__const_12^0, nj^0'=__const_12^0, tmp^0'=tmp^post_53, tmp___0^0'=1, tmp___1^0'=1, [ -1+__const_12^0>=1 ], cost: 5-3*(-1+__const_12^0)^2+9*__const_12^0+6*(-1+__const_12^0)*__const_12^0
    165: l30 -> [36] : [ __const_12^0>=0 ], cost: 4+2*__const_12^0
    166: l30 -> [36] : [ 1<=__const_12^0 ], cost: 10+2*__const_12^0
    167: l30 -> [36] : [ __const_12^0>=1 ], cost: 4+8*__const_12^0

Eliminated locations (on tree-shaped paths):
   Start location: l30
    165: l30 -> [36] : [ __const_12^0>=0 ], cost: 4+2*__const_12^0
    166: l30 -> [36] : [ 1<=__const_12^0 ], cost: 10+2*__const_12^0
    167: l30 -> [36] : [ __const_12^0>=1 ], cost: 4+8*__const_12^0
    168: l30 -> l9 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDiff^0'=nDiff^post_25, nDim^0'=__const_12^0, ni^0'=-1+__const_12^0, nj^0'=__const_12^0, tmp^0'=tmp^post_53, tmp___0^0'=1, tmp___1^0'=1, tmp___2^0'=1, [ -1+__const_12^0>=1 && 1<=nDiff^post_25 ], cost: -3*(-1+__const_12^0)^2+16*__const_12^0+6*(-1+__const_12^0)*__const_12^0
    169: l30 -> l9 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDiff^0'=nDiff^post_25, nDim^0'=__const_12^0, ni^0'=-1+__const_12^0, nj^0'=__const_12^0, tmp^0'=tmp^post_53, tmp___0^0'=1, tmp___1^0'=1, tmp___2^0'=1, [ -1+__const_12^0>=1 && 1+nDiff^post_25<=0 ], cost: -3*(-1+__const_12^0)^2+16*__const_12^0+6*(-1+__const_12^0)*__const_12^0
    170: l30 -> [37] : [ __const_12^0>=0 && __const_12^0<=0 ], cost: 6+2*__const_12^0
    171: l30 -> [37] : [ 1<=__const_12^0 && __const_12^0<=1 ], cost: 12+2*__const_12^0
    172: l30 -> [37] : [ __const_12^0>=1 ], cost: 6+8*__const_12^0
    173: l30 -> [37] : [ -1+__const_12^0>=1 ], cost: 5-3*(-1+__const_12^0)^2+9*__const_12^0+6*(-1+__const_12^0)*__const_12^0

### Computing asymptotic complexity ###

Fully simplified ITS problem
   Start location: l30
    165: l30 -> [36] : [ __const_12^0>=0 ], cost: 4+2*__const_12^0
    166: l30 -> [36] : [ 1<=__const_12^0 ], cost: 10+2*__const_12^0
    168: l30 -> l9 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDiff^0'=nDiff^post_25, nDim^0'=__const_12^0, ni^0'=-1+__const_12^0, nj^0'=__const_12^0, tmp^0'=tmp^post_53, tmp___0^0'=1, tmp___1^0'=1, tmp___2^0'=1, [ -1+__const_12^0>=1 && 1<=nDiff^post_25 ], cost: -3*(-1+__const_12^0)^2+16*__const_12^0+6*(-1+__const_12^0)*__const_12^0
    169: l30 -> l9 : bAllDiff^0'=1, bDomain^0'=1, bGray^0'=1, nDiff^0'=nDiff^post_25, nDim^0'=__const_12^0, ni^0'=-1+__const_12^0, nj^0'=__const_12^0, tmp^0'=tmp^post_53, tmp___0^0'=1, tmp___1^0'=1, tmp___2^0'=1, [ -1+__const_12^0>=1 && 1+nDiff^post_25<=0 ], cost: -3*(-1+__const_12^0)^2+16*__const_12^0+6*(-1+__const_12^0)*__const_12^0
    170: l30 -> [37] : [ __const_12^0>=0 && __const_12^0<=0 ], cost: 6+2*__const_12^0
    171: l30 -> [37] : [ 1<=__const_12^0 && __const_12^0<=1 ], cost: 12+2*__const_12^0
    172: l30 -> [37] : [ __const_12^0>=1 ], cost: 6+8*__const_12^0
    173: l30 -> [37] : [ -1+__const_12^0>=1 ], cost: 5-3*(-1+__const_12^0)^2+9*__const_12^0+6*(-1+__const_12^0)*__const_12^0

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

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

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

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

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

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

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

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

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

WORST_CASE(Omega(1),?)