488: l

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

Initial linear ITS problem
   Start location: l18
      0: l0 -> l1 : x^0'=x^post_1, y^0'=y^post_1, z0^0'=z0^post_1, z10^0'=z10^post_1, z11^0'=z11^post_1, z12^0'=z12^post_1, z13^0'=z13^post_1, z1^0'=z1^post_1, z2^0'=z2^post_1, z3^0'=z3^post_1, z4^0'=z4^post_1, z5^0'=z5^post_1, z6^0'=z6^post_1, z7^0'=z7^post_1, z8^0'=z8^post_1, z9^0'=z9^post_1, [ x^0==x^post_1 && y^0==y^post_1 && z0^0==z0^post_1 && z1^0==z1^post_1 && z10^0==z10^post_1 && z11^0==z11^post_1 && z12^0==z12^post_1 && z13^0==z13^post_1 && z2^0==z2^post_1 && z3^0==z3^post_1 && z4^0==z4^post_1 && z5^0==z5^post_1 && z6^0==z6^post_1 && z7^0==z7^post_1 && z8^0==z8^post_1 && z9^0==z9^post_1 ], cost: 1
      1: l1 -> l3 : x^0'=x^post_2, y^0'=y^post_2, z0^0'=z0^post_2, z10^0'=z10^post_2, z11^0'=z11^post_2, z12^0'=z12^post_2, z13^0'=z13^post_2, z1^0'=z1^post_2, z2^0'=z2^post_2, z3^0'=z3^post_2, z4^0'=z4^post_2, z5^0'=z5^post_2, z6^0'=z6^post_2, z7^0'=z7^post_2, z8^0'=z8^post_2, z9^0'=z9^post_2, [ 1+y^0<=0 && x^0==x^post_2 && y^0==y^post_2 && z0^0==z0^post_2 && z1^0==z1^post_2 && z10^0==z10^post_2 && z11^0==z11^post_2 && z12^0==z12^post_2 && z13^0==z13^post_2 && z2^0==z2^post_2 && z3^0==z3^post_2 && z4^0==z4^post_2 && z5^0==z5^post_2 && z6^0==z6^post_2 && z7^0==z7^post_2 && z8^0==z8^post_2 && z9^0==z9^post_2 ], cost: 1
      2: l1 -> l3 : x^0'=x^post_3, y^0'=y^post_3, z0^0'=z0^post_3, z10^0'=z10^post_3, z11^0'=z11^post_3, z12^0'=z12^post_3, z13^0'=z13^post_3, z1^0'=z1^post_3, z2^0'=z2^post_3, z3^0'=z3^post_3, z4^0'=z4^post_3, z5^0'=z5^post_3, z6^0'=z6^post_3, z7^0'=z7^post_3, z8^0'=z8^post_3, z9^0'=z9^post_3, [ 1<=y^0 && x^0==x^post_3 && y^0==y^post_3 && z0^0==z0^post_3 && z1^0==z1^post_3 && z10^0==z10^post_3 && z11^0==z11^post_3 && z12^0==z12^post_3 && z13^0==z13^post_3 && z2^0==z2^post_3 && z3^0==z3^post_3 && z4^0==z4^post_3 && z5^0==z5^post_3 && z6^0==z6^post_3 && z7^0==z7^post_3 && z8^0==z8^post_3 && z9^0==z9^post_3 ], cost: 1
      3: l3 -> l4 : x^0'=x^post_4, y^0'=y^post_4, z0^0'=z0^post_4, z10^0'=z10^post_4, z11^0'=z11^post_4, z12^0'=z12^post_4, z13^0'=z13^post_4, z1^0'=z1^post_4, z2^0'=z2^post_4, z3^0'=z3^post_4, z4^0'=z4^post_4, z5^0'=z5^post_4, z6^0'=z6^post_4, z7^0'=z7^post_4, z8^0'=z8^post_4, z9^0'=z9^post_4, [ x^0<=0 && 0<=x^0 && x^post_4==y^0 && y^0==y^post_4 && z0^0==z0^post_4 && z1^0==z1^post_4 && z10^0==z10^post_4 && z11^0==z11^post_4 && z12^0==z12^post_4 && z13^0==z13^post_4 && z2^0==z2^post_4 && z3^0==z3^post_4 && z4^0==z4^post_4 && z5^0==z5^post_4 && z6^0==z6^post_4 && z7^0==z7^post_4 && z8^0==z8^post_4 && z9^0==z9^post_4 ], cost: 1
      4: l4 -> l5 : x^0'=x^post_5, y^0'=y^post_5, z0^0'=z0^post_5, z10^0'=z10^post_5, z11^0'=z11^post_5, z12^0'=z12^post_5, z13^0'=z13^post_5, z1^0'=z1^post_5, z2^0'=z2^post_5, z3^0'=z3^post_5, z4^0'=z4^post_5, z5^0'=z5^post_5, z6^0'=z6^post_5, z7^0'=z7^post_5, z8^0'=z8^post_5, z9^0'=z9^post_5, [ 1+x^0<=z0^0 && x^0==x^post_5 && y^0==y^post_5 && z0^0==z0^post_5 && z1^0==z1^post_5 && z10^0==z10^post_5 && z11^0==z11^post_5 && z12^0==z12^post_5 && z13^0==z13^post_5 && z2^0==z2^post_5 && z3^0==z3^post_5 && z4^0==z4^post_5 && z5^0==z5^post_5 && z6^0==z6^post_5 && z7^0==z7^post_5 && z8^0==z8^post_5 && z9^0==z9^post_5 ], cost: 1
      5: l4 -> l5 : x^0'=x^post_6, y^0'=y^post_6, z0^0'=z0^post_6, z10^0'=z10^post_6, z11^0'=z11^post_6, z12^0'=z12^post_6, z13^0'=z13^post_6, z1^0'=z1^post_6, z2^0'=z2^post_6, z3^0'=z3^post_6, z4^0'=z4^post_6, z5^0'=z5^post_6, z6^0'=z6^post_6, z7^0'=z7^post_6, z8^0'=z8^post_6, z9^0'=z9^post_6, [ 1+z0^0<=x^0 && x^0==x^post_6 && y^0==y^post_6 && z0^0==z0^post_6 && z1^0==z1^post_6 && z10^0==z10^post_6 && z11^0==z11^post_6 && z12^0==z12^post_6 && z13^0==z13^post_6 && z2^0==z2^post_6 && z3^0==z3^post_6 && z4^0==z4^post_6 && z5^0==z5^post_6 && z6^0==z6^post_6 && z7^0==z7^post_6 && z8^0==z8^post_6 && z9^0==z9^post_6 ], cost: 1
      6: l5 -> l6 : x^0'=x^post_7, y^0'=y^post_7, z0^0'=z0^post_7, z10^0'=z10^post_7, z11^0'=z11^post_7, z12^0'=z12^post_7, z13^0'=z13^post_7, z1^0'=z1^post_7, z2^0'=z2^post_7, z3^0'=z3^post_7, z4^0'=z4^post_7, z5^0'=z5^post_7, z6^0'=z6^post_7, z7^0'=z7^post_7, z8^0'=z8^post_7, z9^0'=z9^post_7, [ 1+x^0<=z1^0 && x^0==x^post_7 && y^0==y^post_7 && z0^0==z0^post_7 && z1^0==z1^post_7 && z10^0==z10^post_7 && z11^0==z11^post_7 && z12^0==z12^post_7 && z13^0==z13^post_7 && z2^0==z2^post_7 && z3^0==z3^post_7 && z4^0==z4^post_7 && z5^0==z5^post_7 && z6^0==z6^post_7 && z7^0==z7^post_7 && z8^0==z8^post_7 && z9^0==z9^post_7 ], cost: 1
      7: l5 -> l6 : x^0'=x^post_8, y^0'=y^post_8, z0^0'=z0^post_8, z10^0'=z10^post_8, z11^0'=z11^post_8, z12^0'=z12^post_8, z13^0'=z13^post_8, z1^0'=z1^post_8, z2^0'=z2^post_8, z3^0'=z3^post_8, z4^0'=z4^post_8, z5^0'=z5^post_8, z6^0'=z6^post_8, z7^0'=z7^post_8, z8^0'=z8^post_8, z9^0'=z9^post_8, [ 1+z1^0<=x^0 && x^0==x^post_8 && y^0==y^post_8 && z0^0==z0^post_8 && z1^0==z1^post_8 && z10^0==z10^post_8 && z11^0==z11^post_8 && z12^0==z12^post_8 && z13^0==z13^post_8 && z2^0==z2^post_8 && z3^0==z3^post_8 && z4^0==z4^post_8 && z5^0==z5^post_8 && z6^0==z6^post_8 && z7^0==z7^post_8 && z8^0==z8^post_8 && z9^0==z9^post_8 ], cost: 1
      8: l6 -> l7 : x^0'=x^post_9, y^0'=y^post_9, z0^0'=z0^post_9, z10^0'=z10^post_9, z11^0'=z11^post_9, z12^0'=z12^post_9, z13^0'=z13^post_9, z1^0'=z1^post_9, z2^0'=z2^post_9, z3^0'=z3^post_9, z4^0'=z4^post_9, z5^0'=z5^post_9, z6^0'=z6^post_9, z7^0'=z7^post_9, z8^0'=z8^post_9, z9^0'=z9^post_9, [ 1+x^0<=z2^0 && x^0==x^post_9 && y^0==y^post_9 && z0^0==z0^post_9 && z1^0==z1^post_9 && z10^0==z10^post_9 && z11^0==z11^post_9 && z12^0==z12^post_9 && z13^0==z13^post_9 && z2^0==z2^post_9 && z3^0==z3^post_9 && z4^0==z4^post_9 && z5^0==z5^post_9 && z6^0==z6^post_9 && z7^0==z7^post_9 && z8^0==z8^post_9 && z9^0==z9^post_9 ], cost: 1
      9: l6 -> l7 : x^0'=x^post_10, y^0'=y^post_10, z0^0'=z0^post_10, z10^0'=z10^post_10, z11^0'=z11^post_10, z12^0'=z12^post_10, z13^0'=z13^post_10, z1^0'=z1^post_10, z2^0'=z2^post_10, z3^0'=z3^post_10, z4^0'=z4^post_10, z5^0'=z5^post_10, z6^0'=z6^post_10, z7^0'=z7^post_10, z8^0'=z8^post_10, z9^0'=z9^post_10, [ 1+z2^0<=x^0 && x^0==x^post_10 && y^0==y^post_10 && z0^0==z0^post_10 && z1^0==z1^post_10 && z10^0==z10^post_10 && z11^0==z11^post_10 && z12^0==z12^post_10 && z13^0==z13^post_10 && z2^0==z2^post_10 && z3^0==z3^post_10 && z4^0==z4^post_10 && z5^0==z5^post_10 && z6^0==z6^post_10 && z7^0==z7^post_10 && z8^0==z8^post_10 && z9^0==z9^post_10 ], cost: 1
     10: l7 -> l8 : x^0'=x^post_11, y^0'=y^post_11, z0^0'=z0^post_11, z10^0'=z10^post_11, z11^0'=z11^post_11, z12^0'=z12^post_11, z13^0'=z13^post_11, z1^0'=z1^post_11, z2^0'=z2^post_11, z3^0'=z3^post_11, z4^0'=z4^post_11, z5^0'=z5^post_11, z6^0'=z6^post_11, z7^0'=z7^post_11, z8^0'=z8^post_11, z9^0'=z9^post_11, [ 1+x^0<=z3^0 && x^0==x^post_11 && y^0==y^post_11 && z0^0==z0^post_11 && z1^0==z1^post_11 && z10^0==z10^post_11 && z11^0==z11^post_11 && z12^0==z12^post_11 && z13^0==z13^post_11 && z2^0==z2^post_11 && z3^0==z3^post_11 && z4^0==z4^post_11 && z5^0==z5^post_11 && z6^0==z6^post_11 && z7^0==z7^post_11 && z8^0==z8^post_11 && z9^0==z9^post_11 ], cost: 1
     11: l7 -> l8 : x^0'=x^post_12, y^0'=y^post_12, z0^0'=z0^post_12, z10^0'=z10^post_12, z11^0'=z11^post_12, z12^0'=z12^post_12, z13^0'=z13^post_12, z1^0'=z1^post_12, z2^0'=z2^post_12, z3^0'=z3^post_12, z4^0'=z4^post_12, z5^0'=z5^post_12, z6^0'=z6^post_12, z7^0'=z7^post_12, z8^0'=z8^post_12, z9^0'=z9^post_12, [ 1+z3^0<=x^0 && x^0==x^post_12 && y^0==y^post_12 && z0^0==z0^post_12 && z1^0==z1^post_12 && z10^0==z10^post_12 && z11^0==z11^post_12 && z12^0==z12^post_12 && z13^0==z13^post_12 && z2^0==z2^post_12 && z3^0==z3^post_12 && z4^0==z4^post_12 && z5^0==z5^post_12 && z6^0==z6^post_12 && z7^0==z7^post_12 && z8^0==z8^post_12 && z9^0==z9^post_12 ], cost: 1
     12: l8 -> l9 : x^0'=x^post_13, y^0'=y^post_13, z0^0'=z0^post_13, z10^0'=z10^post_13, z11^0'=z11^post_13, z12^0'=z12^post_13, z13^0'=z13^post_13, z1^0'=z1^post_13, z2^0'=z2^post_13, z3^0'=z3^post_13, z4^0'=z4^post_13, z5^0'=z5^post_13, z6^0'=z6^post_13, z7^0'=z7^post_13, z8^0'=z8^post_13, z9^0'=z9^post_13, [ 1+x^0<=z4^0 && x^0==x^post_13 && y^0==y^post_13 && z0^0==z0^post_13 && z1^0==z1^post_13 && z10^0==z10^post_13 && z11^0==z11^post_13 && z12^0==z12^post_13 && z13^0==z13^post_13 && z2^0==z2^post_13 && z3^0==z3^post_13 && z4^0==z4^post_13 && z5^0==z5^post_13 && z6^0==z6^post_13 && z7^0==z7^post_13 && z8^0==z8^post_13 && z9^0==z9^post_13 ], cost: 1
     13: l8 -> l9 : x^0'=x^post_14, y^0'=y^post_14, z0^0'=z0^post_14, z10^0'=z10^post_14, z11^0'=z11^post_14, z12^0'=z12^post_14, z13^0'=z13^post_14, z1^0'=z1^post_14, z2^0'=z2^post_14, z3^0'=z3^post_14, z4^0'=z4^post_14, z5^0'=z5^post_14, z6^0'=z6^post_14, z7^0'=z7^post_14, z8^0'=z8^post_14, z9^0'=z9^post_14, [ 1+z4^0<=x^0 && x^0==x^post_14 && y^0==y^post_14 && z0^0==z0^post_14 && z1^0==z1^post_14 && z10^0==z10^post_14 && z11^0==z11^post_14 && z12^0==z12^post_14 && z13^0==z13^post_14 && z2^0==z2^post_14 && z3^0==z3^post_14 && z4^0==z4^post_14 && z5^0==z5^post_14 && z6^0==z6^post_14 && z7^0==z7^post_14 && z8^0==z8^post_14 && z9^0==z9^post_14 ], cost: 1
     14: l9 -> l10 : x^0'=x^post_15, y^0'=y^post_15, z0^0'=z0^post_15, z10^0'=z10^post_15, z11^0'=z11^post_15, z12^0'=z12^post_15, z13^0'=z13^post_15, z1^0'=z1^post_15, z2^0'=z2^post_15, z3^0'=z3^post_15, z4^0'=z4^post_15, z5^0'=z5^post_15, z6^0'=z6^post_15, z7^0'=z7^post_15, z8^0'=z8^post_15, z9^0'=z9^post_15, [ 1+x^0<=z5^0 && x^0==x^post_15 && y^0==y^post_15 && z0^0==z0^post_15 && z1^0==z1^post_15 && z10^0==z10^post_15 && z11^0==z11^post_15 && z12^0==z12^post_15 && z13^0==z13^post_15 && z2^0==z2^post_15 && z3^0==z3^post_15 && z4^0==z4^post_15 && z5^0==z5^post_15 && z6^0==z6^post_15 && z7^0==z7^post_15 && z8^0==z8^post_15 && z9^0==z9^post_15 ], cost: 1
     15: l9 -> l10 : x^0'=x^post_16, y^0'=y^post_16, z0^0'=z0^post_16, z10^0'=z10^post_16, z11^0'=z11^post_16, z12^0'=z12^post_16, z13^0'=z13^post_16, z1^0'=z1^post_16, z2^0'=z2^post_16, z3^0'=z3^post_16, z4^0'=z4^post_16, z5^0'=z5^post_16, z6^0'=z6^post_16, z7^0'=z7^post_16, z8^0'=z8^post_16, z9^0'=z9^post_16, [ 1+z5^0<=x^0 && x^0==x^post_16 && y^0==y^post_16 && z0^0==z0^post_16 && z1^0==z1^post_16 && z10^0==z10^post_16 && z11^0==z11^post_16 && z12^0==z12^post_16 && z13^0==z13^post_16 && z2^0==z2^post_16 && z3^0==z3^post_16 && z4^0==z4^post_16 && z5^0==z5^post_16 && z6^0==z6^post_16 && z7^0==z7^post_16 && z8^0==z8^post_16 && z9^0==z9^post_16 ], cost: 1
     16: l10 -> l11 : x^0'=x^post_17, y^0'=y^post_17, z0^0'=z0^post_17, z10^0'=z10^post_17, z11^0'=z11^post_17, z12^0'=z12^post_17, z13^0'=z13^post_17, z1^0'=z1^post_17, z2^0'=z2^post_17, z3^0'=z3^post_17, z4^0'=z4^post_17, z5^0'=z5^post_17, z6^0'=z6^post_17, z7^0'=z7^post_17, z8^0'=z8^post_17, z9^0'=z9^post_17, [ 1+x^0<=z6^0 && x^0==x^post_17 && y^0==y^post_17 && z0^0==z0^post_17 && z1^0==z1^post_17 && z10^0==z10^post_17 && z11^0==z11^post_17 && z12^0==z12^post_17 && z13^0==z13^post_17 && z2^0==z2^post_17 && z3^0==z3^post_17 && z4^0==z4^post_17 && z5^0==z5^post_17 && z6^0==z6^post_17 && z7^0==z7^post_17 && z8^0==z8^post_17 && z9^0==z9^post_17 ], cost: 1
     17: l10 -> l11 : x^0'=x^post_18, y^0'=y^post_18, z0^0'=z0^post_18, z10^0'=z10^post_18, z11^0'=z11^post_18, z12^0'=z12^post_18, z13^0'=z13^post_18, z1^0'=z1^post_18, z2^0'=z2^post_18, z3^0'=z3^post_18, z4^0'=z4^post_18, z5^0'=z5^post_18, z6^0'=z6^post_18, z7^0'=z7^post_18, z8^0'=z8^post_18, z9^0'=z9^post_18, [ 1+z6^0<=x^0 && x^0==x^post_18 && y^0==y^post_18 && z0^0==z0^post_18 && z1^0==z1^post_18 && z10^0==z10^post_18 && z11^0==z11^post_18 && z12^0==z12^post_18 && z13^0==z13^post_18 && z2^0==z2^post_18 && z3^0==z3^post_18 && z4^0==z4^post_18 && z5^0==z5^post_18 && z6^0==z6^post_18 && z7^0==z7^post_18 && z8^0==z8^post_18 && z9^0==z9^post_18 ], cost: 1
     18: l11 -> l12 : x^0'=x^post_19, y^0'=y^post_19, z0^0'=z0^post_19, z10^0'=z10^post_19, z11^0'=z11^post_19, z12^0'=z12^post_19, z13^0'=z13^post_19, z1^0'=z1^post_19, z2^0'=z2^post_19, z3^0'=z3^post_19, z4^0'=z4^post_19, z5^0'=z5^post_19, z6^0'=z6^post_19, z7^0'=z7^post_19, z8^0'=z8^post_19, z9^0'=z9^post_19, [ 1+x^0<=z7^0 && x^0==x^post_19 && y^0==y^post_19 && z0^0==z0^post_19 && z1^0==z1^post_19 && z10^0==z10^post_19 && z11^0==z11^post_19 && z12^0==z12^post_19 && z13^0==z13^post_19 && z2^0==z2^post_19 && z3^0==z3^post_19 && z4^0==z4^post_19 && z5^0==z5^post_19 && z6^0==z6^post_19 && z7^0==z7^post_19 && z8^0==z8^post_19 && z9^0==z9^post_19 ], cost: 1
     19: l11 -> l12 : x^0'=x^post_20, y^0'=y^post_20, z0^0'=z0^post_20, z10^0'=z10^post_20, z11^0'=z11^post_20, z12^0'=z12^post_20, z13^0'=z13^post_20, z1^0'=z1^post_20, z2^0'=z2^post_20, z3^0'=z3^post_20, z4^0'=z4^post_20, z5^0'=z5^post_20, z6^0'=z6^post_20, z7^0'=z7^post_20, z8^0'=z8^post_20, z9^0'=z9^post_20, [ 1+z7^0<=x^0 && x^0==x^post_20 && y^0==y^post_20 && z0^0==z0^post_20 && z1^0==z1^post_20 && z10^0==z10^post_20 && z11^0==z11^post_20 && z12^0==z12^post_20 && z13^0==z13^post_20 && z2^0==z2^post_20 && z3^0==z3^post_20 && z4^0==z4^post_20 && z5^0==z5^post_20 && z6^0==z6^post_20 && z7^0==z7^post_20 && z8^0==z8^post_20 && z9^0==z9^post_20 ], cost: 1
     20: l12 -> l13 : x^0'=x^post_21, y^0'=y^post_21, z0^0'=z0^post_21, z10^0'=z10^post_21, z11^0'=z11^post_21, z12^0'=z12^post_21, z13^0'=z13^post_21, z1^0'=z1^post_21, z2^0'=z2^post_21, z3^0'=z3^post_21, z4^0'=z4^post_21, z5^0'=z5^post_21, z6^0'=z6^post_21, z7^0'=z7^post_21, z8^0'=z8^post_21, z9^0'=z9^post_21, [ 1+x^0<=z8^0 && x^0==x^post_21 && y^0==y^post_21 && z0^0==z0^post_21 && z1^0==z1^post_21 && z10^0==z10^post_21 && z11^0==z11^post_21 && z12^0==z12^post_21 && z13^0==z13^post_21 && z2^0==z2^post_21 && z3^0==z3^post_21 && z4^0==z4^post_21 && z5^0==z5^post_21 && z6^0==z6^post_21 && z7^0==z7^post_21 && z8^0==z8^post_21 && z9^0==z9^post_21 ], cost: 1
     21: l12 -> l13 : x^0'=x^post_22, y^0'=y^post_22, z0^0'=z0^post_22, z10^0'=z10^post_22, z11^0'=z11^post_22, z12^0'=z12^post_22, z13^0'=z13^post_22, z1^0'=z1^post_22, z2^0'=z2^post_22, z3^0'=z3^post_22, z4^0'=z4^post_22, z5^0'=z5^post_22, z6^0'=z6^post_22, z7^0'=z7^post_22, z8^0'=z8^post_22, z9^0'=z9^post_22, [ 1+z8^0<=x^0 && x^0==x^post_22 && y^0==y^post_22 && z0^0==z0^post_22 && z1^0==z1^post_22 && z10^0==z10^post_22 && z11^0==z11^post_22 && z12^0==z12^post_22 && z13^0==z13^post_22 && z2^0==z2^post_22 && z3^0==z3^post_22 && z4^0==z4^post_22 && z5^0==z5^post_22 && z6^0==z6^post_22 && z7^0==z7^post_22 && z8^0==z8^post_22 && z9^0==z9^post_22 ], cost: 1
     22: l13 -> l14 : x^0'=x^post_23, y^0'=y^post_23, z0^0'=z0^post_23, z10^0'=z10^post_23, z11^0'=z11^post_23, z12^0'=z12^post_23, z13^0'=z13^post_23, z1^0'=z1^post_23, z2^0'=z2^post_23, z3^0'=z3^post_23, z4^0'=z4^post_23, z5^0'=z5^post_23, z6^0'=z6^post_23, z7^0'=z7^post_23, z8^0'=z8^post_23, z9^0'=z9^post_23, [ 1+x^0<=z9^0 && x^0==x^post_23 && y^0==y^post_23 && z0^0==z0^post_23 && z1^0==z1^post_23 && z10^0==z10^post_23 && z11^0==z11^post_23 && z12^0==z12^post_23 && z13^0==z13^post_23 && z2^0==z2^post_23 && z3^0==z3^post_23 && z4^0==z4^post_23 && z5^0==z5^post_23 && z6^0==z6^post_23 && z7^0==z7^post_23 && z8^0==z8^post_23 && z9^0==z9^post_23 ], cost: 1
     23: l13 -> l14 : x^0'=x^post_24, y^0'=y^post_24, z0^0'=z0^post_24, z10^0'=z10^post_24, z11^0'=z11^post_24, z12^0'=z12^post_24, z13^0'=z13^post_24, z1^0'=z1^post_24, z2^0'=z2^post_24, z3^0'=z3^post_24, z4^0'=z4^post_24, z5^0'=z5^post_24, z6^0'=z6^post_24, z7^0'=z7^post_24, z8^0'=z8^post_24, z9^0'=z9^post_24, [ 1+z9^0<=x^0 && x^0==x^post_24 && y^0==y^post_24 && z0^0==z0^post_24 && z1^0==z1^post_24 && z10^0==z10^post_24 && z11^0==z11^post_24 && z12^0==z12^post_24 && z13^0==z13^post_24 && z2^0==z2^post_24 && z3^0==z3^post_24 && z4^0==z4^post_24 && z5^0==z5^post_24 && z6^0==z6^post_24 && z7^0==z7^post_24 && z8^0==z8^post_24 && z9^0==z9^post_24 ], cost: 1
     24: l14 -> l15 : x^0'=x^post_25, y^0'=y^post_25, z0^0'=z0^post_25, z10^0'=z10^post_25, z11^0'=z11^post_25, z12^0'=z12^post_25, z13^0'=z13^post_25, z1^0'=z1^post_25, z2^0'=z2^post_25, z3^0'=z3^post_25, z4^0'=z4^post_25, z5^0'=z5^post_25, z6^0'=z6^post_25, z7^0'=z7^post_25, z8^0'=z8^post_25, z9^0'=z9^post_25, [ 1+x^0<=z10^0 && x^0==x^post_25 && y^0==y^post_25 && z0^0==z0^post_25 && z1^0==z1^post_25 && z10^0==z10^post_25 && z11^0==z11^post_25 && z12^0==z12^post_25 && z13^0==z13^post_25 && z2^0==z2^post_25 && z3^0==z3^post_25 && z4^0==z4^post_25 && z5^0==z5^post_25 && z6^0==z6^post_25 && z7^0==z7^post_25 && z8^0==z8^post_25 && z9^0==z9^post_25 ], cost: 1
     25: l14 -> l15 : x^0'=x^post_26, y^0'=y^post_26, z0^0'=z0^post_26, z10^0'=z10^post_26, z11^0'=z11^post_26, z12^0'=z12^post_26, z13^0'=z13^post_26, z1^0'=z1^post_26, z2^0'=z2^post_26, z3^0'=z3^post_26, z4^0'=z4^post_26, z5^0'=z5^post_26, z6^0'=z6^post_26, z7^0'=z7^post_26, z8^0'=z8^post_26, z9^0'=z9^post_26, [ 1+z10^0<=x^0 && x^0==x^post_26 && y^0==y^post_26 && z0^0==z0^post_26 && z1^0==z1^post_26 && z10^0==z10^post_26 && z11^0==z11^post_26 && z12^0==z12^post_26 && z13^0==z13^post_26 && z2^0==z2^post_26 && z3^0==z3^post_26 && z4^0==z4^post_26 && z5^0==z5^post_26 && z6^0==z6^post_26 && z7^0==z7^post_26 && z8^0==z8^post_26 && z9^0==z9^post_26 ], cost: 1
     26: l15 -> l16 : x^0'=x^post_27, y^0'=y^post_27, z0^0'=z0^post_27, z10^0'=z10^post_27, z11^0'=z11^post_27, z12^0'=z12^post_27, z13^0'=z13^post_27, z1^0'=z1^post_27, z2^0'=z2^post_27, z3^0'=z3^post_27, z4^0'=z4^post_27, z5^0'=z5^post_27, z6^0'=z6^post_27, z7^0'=z7^post_27, z8^0'=z8^post_27, z9^0'=z9^post_27, [ 1+x^0<=z11^0 && x^0==x^post_27 && y^0==y^post_27 && z0^0==z0^post_27 && z1^0==z1^post_27 && z10^0==z10^post_27 && z11^0==z11^post_27 && z12^0==z12^post_27 && z13^0==z13^post_27 && z2^0==z2^post_27 && z3^0==z3^post_27 && z4^0==z4^post_27 && z5^0==z5^post_27 && z6^0==z6^post_27 && z7^0==z7^post_27 && z8^0==z8^post_27 && z9^0==z9^post_27 ], cost: 1
     27: l15 -> l16 : x^0'=x^post_28, y^0'=y^post_28, z0^0'=z0^post_28, z10^0'=z10^post_28, z11^0'=z11^post_28, z12^0'=z12^post_28, z13^0'=z13^post_28, z1^0'=z1^post_28, z2^0'=z2^post_28, z3^0'=z3^post_28, z4^0'=z4^post_28, z5^0'=z5^post_28, z6^0'=z6^post_28, z7^0'=z7^post_28, z8^0'=z8^post_28, z9^0'=z9^post_28, [ 1+z11^0<=x^0 && x^0==x^post_28 && y^0==y^post_28 && z0^0==z0^post_28 && z1^0==z1^post_28 && z10^0==z10^post_28 && z11^0==z11^post_28 && z12^0==z12^post_28 && z13^0==z13^post_28 && z2^0==z2^post_28 && z3^0==z3^post_28 && z4^0==z4^post_28 && z5^0==z5^post_28 && z6^0==z6^post_28 && z7^0==z7^post_28 && z8^0==z8^post_28 && z9^0==z9^post_28 ], cost: 1
     28: l16 -> l17 : x^0'=x^post_29, y^0'=y^post_29, z0^0'=z0^post_29, z10^0'=z10^post_29, z11^0'=z11^post_29, z12^0'=z12^post_29, z13^0'=z13^post_29, z1^0'=z1^post_29, z2^0'=z2^post_29, z3^0'=z3^post_29, z4^0'=z4^post_29, z5^0'=z5^post_29, z6^0'=z6^post_29, z7^0'=z7^post_29, z8^0'=z8^post_29, z9^0'=z9^post_29, [ 1+x^0<=z12^0 && x^0==x^post_29 && y^0==y^post_29 && z0^0==z0^post_29 && z1^0==z1^post_29 && z10^0==z10^post_29 && z11^0==z11^post_29 && z12^0==z12^post_29 && z13^0==z13^post_29 && z2^0==z2^post_29 && z3^0==z3^post_29 && z4^0==z4^post_29 && z5^0==z5^post_29 && z6^0==z6^post_29 && z7^0==z7^post_29 && z8^0==z8^post_29 && z9^0==z9^post_29 ], cost: 1
     29: l16 -> l17 : x^0'=x^post_30, y^0'=y^post_30, z0^0'=z0^post_30, z10^0'=z10^post_30, z11^0'=z11^post_30, z12^0'=z12^post_30, z13^0'=z13^post_30, z1^0'=z1^post_30, z2^0'=z2^post_30, z3^0'=z3^post_30, z4^0'=z4^post_30, z5^0'=z5^post_30, z6^0'=z6^post_30, z7^0'=z7^post_30, z8^0'=z8^post_30, z9^0'=z9^post_30, [ 1+z12^0<=x^0 && x^0==x^post_30 && y^0==y^post_30 && z0^0==z0^post_30 && z1^0==z1^post_30 && z10^0==z10^post_30 && z11^0==z11^post_30 && z12^0==z12^post_30 && z13^0==z13^post_30 && z2^0==z2^post_30 && z3^0==z3^post_30 && z4^0==z4^post_30 && z5^0==z5^post_30 && z6^0==z6^post_30 && z7^0==z7^post_30 && z8^0==z8^post_30 && z9^0==z9^post_30 ], cost: 1
     30: l17 -> l2 : x^0'=x^post_31, y^0'=y^post_31, z0^0'=z0^post_31, z10^0'=z10^post_31, z11^0'=z11^post_31, z12^0'=z12^post_31, z13^0'=z13^post_31, z1^0'=z1^post_31, z2^0'=z2^post_31, z3^0'=z3^post_31, z4^0'=z4^post_31, z5^0'=z5^post_31, z6^0'=z6^post_31, z7^0'=z7^post_31, z8^0'=z8^post_31, z9^0'=z9^post_31, [ 1+x^0<=z13^0 && x^0==x^post_31 && y^0==y^post_31 && z0^0==z0^post_31 && z1^0==z1^post_31 && z10^0==z10^post_31 && z11^0==z11^post_31 && z12^0==z12^post_31 && z13^0==z13^post_31 && z2^0==z2^post_31 && z3^0==z3^post_31 && z4^0==z4^post_31 && z5^0==z5^post_31 && z6^0==z6^post_31 && z7^0==z7^post_31 && z8^0==z8^post_31 && z9^0==z9^post_31 ], cost: 1
     31: l17 -> l2 : x^0'=x^post_32, y^0'=y^post_32, z0^0'=z0^post_32, z10^0'=z10^post_32, z11^0'=z11^post_32, z12^0'=z12^post_32, z13^0'=z13^post_32, z1^0'=z1^post_32, z2^0'=z2^post_32, z3^0'=z3^post_32, z4^0'=z4^post_32, z5^0'=z5^post_32, z6^0'=z6^post_32, z7^0'=z7^post_32, z8^0'=z8^post_32, z9^0'=z9^post_32, [ 1+z13^0<=x^0 && x^0==x^post_32 && y^0==y^post_32 && z0^0==z0^post_32 && z1^0==z1^post_32 && z10^0==z10^post_32 && z11^0==z11^post_32 && z12^0==z12^post_32 && z13^0==z13^post_32 && z2^0==z2^post_32 && z3^0==z3^post_32 && z4^0==z4^post_32 && z5^0==z5^post_32 && z6^0==z6^post_32 && z7^0==z7^post_32 && z8^0==z8^post_32 && z9^0==z9^post_32 ], cost: 1
     32: l2 -> l1 : x^0'=x^post_33, y^0'=y^post_33, z0^0'=z0^post_33, z10^0'=z10^post_33, z11^0'=z11^post_33, z12^0'=z12^post_33, z13^0'=z13^post_33, z1^0'=z1^post_33, z2^0'=z2^post_33, z3^0'=z3^post_33, z4^0'=z4^post_33, z5^0'=z5^post_33, z6^0'=z6^post_33, z7^0'=z7^post_33, z8^0'=z8^post_33, z9^0'=z9^post_33, [ x^0==x^post_33 && y^0==y^post_33 && z0^0==z0^post_33 && z1^0==z1^post_33 && z10^0==z10^post_33 && z11^0==z11^post_33 && z12^0==z12^post_33 && z13^0==z13^post_33 && z2^0==z2^post_33 && z3^0==z3^post_33 && z4^0==z4^post_33 && z5^0==z5^post_33 && z6^0==z6^post_33 && z7^0==z7^post_33 && z8^0==z8^post_33 && z9^0==z9^post_33 ], cost: 1
     33: l18 -> l0 : x^0'=x^post_34, y^0'=y^post_34, z0^0'=z0^post_34, z10^0'=z10^post_34, z11^0'=z11^post_34, z12^0'=z12^post_34, z13^0'=z13^post_34, z1^0'=z1^post_34, z2^0'=z2^post_34, z3^0'=z3^post_34, z4^0'=z4^post_34, z5^0'=z5^post_34, z6^0'=z6^post_34, z7^0'=z7^post_34, z8^0'=z8^post_34, z9^0'=z9^post_34, [ x^0==x^post_34 && y^0==y^post_34 && z0^0==z0^post_34 && z1^0==z1^post_34 && z10^0==z10^post_34 && z11^0==z11^post_34 && z12^0==z12^post_34 && z13^0==z13^post_34 && z2^0==z2^post_34 && z3^0==z3^post_34 && z4^0==z4^post_34 && z5^0==z5^post_34 && z6^0==z6^post_34 && z7^0==z7^post_34 && z8^0==z8^post_34 && z9^0==z9^post_34 ], cost: 1

Checking for constant complexity:
   The following rule is satisfiable with cost >= 1, yielding constant complexity:
     33: l18 -> l0 : x^0'=x^post_34, y^0'=y^post_34, z0^0'=z0^post_34, z10^0'=z10^post_34, z11^0'=z11^post_34, z12^0'=z12^post_34, z13^0'=z13^post_34, z1^0'=z1^post_34, z2^0'=z2^post_34, z3^0'=z3^post_34, z4^0'=z4^post_34, z5^0'=z5^post_34, z6^0'=z6^post_34, z7^0'=z7^post_34, z8^0'=z8^post_34, z9^0'=z9^post_34, [ x^0==x^post_34 && y^0==y^post_34 && z0^0==z0^post_34 && z1^0==z1^post_34 && z10^0==z10^post_34 && z11^0==z11^post_34 && z12^0==z12^post_34 && z13^0==z13^post_34 && z2^0==z2^post_34 && z3^0==z3^post_34 && z4^0==z4^post_34 && z5^0==z5^post_34 && z6^0==z6^post_34 && z7^0==z7^post_34 && z8^0==z8^post_34 && z9^0==z9^post_34 ], cost: 1

Simplified all rules, resulting in:
   Start location: l18
      0: l0 -> l1 : [], cost: 1
      1: l1 -> l3 : [ 1+y^0<=0 ], cost: 1
      2: l1 -> l3 : [ 1<=y^0 ], cost: 1
      3: l3 -> l4 : x^0'=y^0, [ x^0==0 ], cost: 1
      4: l4 -> l5 : [ 1+x^0<=z0^0 ], cost: 1
      5: l4 -> l5 : [ 1+z0^0<=x^0 ], cost: 1
      6: l5 -> l6 : [ 1+x^0<=z1^0 ], cost: 1
      7: l5 -> l6 : [ 1+z1^0<=x^0 ], cost: 1
      8: l6 -> l7 : [ 1+x^0<=z2^0 ], cost: 1
      9: l6 -> l7 : [ 1+z2^0<=x^0 ], cost: 1
     10: l7 -> l8 : [ 1+x^0<=z3^0 ], cost: 1
     11: l7 -> l8 : [ 1+z3^0<=x^0 ], cost: 1
     12: l8 -> l9 : [ 1+x^0<=z4^0 ], cost: 1
     13: l8 -> l9 : [ 1+z4^0<=x^0 ], cost: 1
     14: l9 -> l10 : [ 1+x^0<=z5^0 ], cost: 1
     15: l9 -> l10 : [ 1+z5^0<=x^0 ], cost: 1
     16: l10 -> l11 : [ 1+x^0<=z6^0 ], cost: 1
     17: l10 -> l11 : [ 1+z6^0<=x^0 ], cost: 1
     18: l11 -> l12 : [ 1+x^0<=z7^0 ], cost: 1
     19: l11 -> l12 : [ 1+z7^0<=x^0 ], cost: 1
     20: l12 -> l13 : [ 1+x^0<=z8^0 ], cost: 1
     21: l12 -> l13 : [ 1+z8^0<=x^0 ], cost: 1
     22: l13 -> l14 : [ 1+x^0<=z9^0 ], cost: 1
     23: l13 -> l14 : [ 1+z9^0<=x^0 ], cost: 1
     24: l14 -> l15 : [ 1+x^0<=z10^0 ], cost: 1
     25: l14 -> l15 : [ 1+z10^0<=x^0 ], cost: 1
     26: l15 -> l16 : [ 1+x^0<=z11^0 ], cost: 1
     27: l15 -> l16 : [ 1+z11^0<=x^0 ], cost: 1
     28: l16 -> l17 : [ 1+x^0<=z12^0 ], cost: 1
     29: l16 -> l17 : [ 1+z12^0<=x^0 ], cost: 1
     30: l17 -> l2 : [ 1+x^0<=z13^0 ], cost: 1
     31: l17 -> l2 : [ 1+z13^0<=x^0 ], cost: 1
     32: l2 -> l1 : [], cost: 1
     33: l18 -> l0 : [], cost: 1

### Simplification by acceleration and chaining ###

Eliminated locations (on linear paths):
   Start location: l18
      1: l1 -> l3 : [ 1+y^0<=0 ], cost: 1
      2: l1 -> l3 : [ 1<=y^0 ], cost: 1
      3: l3 -> l4 : x^0'=y^0, [ x^0==0 ], cost: 1
      4: l4 -> l5 : [ 1+x^0<=z0^0 ], cost: 1
      5: l4 -> l5 : [ 1+z0^0<=x^0 ], cost: 1
      6: l5 -> l6 : [ 1+x^0<=z1^0 ], cost: 1
      7: l5 -> l6 : [ 1+z1^0<=x^0 ], cost: 1
      8: l6 -> l7 : [ 1+x^0<=z2^0 ], cost: 1
      9: l6 -> l7 : [ 1+z2^0<=x^0 ], cost: 1
     10: l7 -> l8 : [ 1+x^0<=z3^0 ], cost: 1
     11: l7 -> l8 : [ 1+z3^0<=x^0 ], cost: 1
     12: l8 -> l9 : [ 1+x^0<=z4^0 ], cost: 1
     13: l8 -> l9 : [ 1+z4^0<=x^0 ], cost: 1
     14: l9 -> l10 : [ 1+x^0<=z5^0 ], cost: 1
     15: l9 -> l10 : [ 1+z5^0<=x^0 ], cost: 1
     16: l10 -> l11 : [ 1+x^0<=z6^0 ], cost: 1
     17: l10 -> l11 : [ 1+z6^0<=x^0 ], cost: 1
     18: l11 -> l12 : [ 1+x^0<=z7^0 ], cost: 1
     19: l11 -> l12 : [ 1+z7^0<=x^0 ], cost: 1
     20: l12 -> l13 : [ 1+x^0<=z8^0 ], cost: 1
     21: l12 -> l13 : [ 1+z8^0<=x^0 ], cost: 1
     22: l13 -> l14 : [ 1+x^0<=z9^0 ], cost: 1
     23: l13 -> l14 : [ 1+z9^0<=x^0 ], cost: 1
     24: l14 -> l15 : [ 1+x^0<=z10^0 ], cost: 1
     25: l14 -> l15 : [ 1+z10^0<=x^0 ], cost: 1
     26: l15 -> l16 : [ 1+x^0<=z11^0 ], cost: 1
     27: l15 -> l16 : [ 1+z11^0<=x^0 ], cost: 1
     28: l16 -> l17 : [ 1+x^0<=z12^0 ], cost: 1
     29: l16 -> l17 : [ 1+z12^0<=x^0 ], cost: 1
     30: l17 -> l2 : [ 1+x^0<=z13^0 ], cost: 1
     31: l17 -> l2 : [ 1+z13^0<=x^0 ], cost: 1
     32: l2 -> l1 : [], cost: 1
     34: l18 -> l1 : [], cost: 2

Eliminated locations (on tree-shaped paths):
   Start location: l18
     35: l1 -> l4 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 ], cost: 2
     36: l1 -> l4 : x^0'=y^0, [ 1<=y^0 && x^0==0 ], cost: 2
     37: l4 -> l6 : [ 1+x^0<=z0^0 && 1+x^0<=z1^0 ], cost: 2
     38: l4 -> l6 : [ 1+x^0<=z0^0 && 1+z1^0<=x^0 ], cost: 2
     39: l4 -> l6 : [ 1+z0^0<=x^0 && 1+x^0<=z1^0 ], cost: 2
     40: l4 -> l6 : [ 1+z0^0<=x^0 && 1+z1^0<=x^0 ], cost: 2
     41: l6 -> l8 : [ 1+x^0<=z2^0 && 1+x^0<=z3^0 ], cost: 2
     42: l6 -> l8 : [ 1+x^0<=z2^0 && 1+z3^0<=x^0 ], cost: 2
     43: l6 -> l8 : [ 1+z2^0<=x^0 && 1+x^0<=z3^0 ], cost: 2
     44: l6 -> l8 : [ 1+z2^0<=x^0 && 1+z3^0<=x^0 ], cost: 2
     45: l8 -> l10 : [ 1+x^0<=z4^0 && 1+x^0<=z5^0 ], cost: 2
     46: l8 -> l10 : [ 1+x^0<=z4^0 && 1+z5^0<=x^0 ], cost: 2
     47: l8 -> l10 : [ 1+z4^0<=x^0 && 1+x^0<=z5^0 ], cost: 2
     48: l8 -> l10 : [ 1+z4^0<=x^0 && 1+z5^0<=x^0 ], cost: 2
     49: l10 -> l12 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 ], cost: 2
     50: l10 -> l12 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 ], cost: 2
     51: l10 -> l12 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 ], cost: 2
     52: l10 -> l12 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 ], cost: 2
     53: l12 -> l14 : [ 1+x^0<=z8^0 && 1+x^0<=z9^0 ], cost: 2
     54: l12 -> l14 : [ 1+x^0<=z8^0 && 1+z9^0<=x^0 ], cost: 2
     55: l12 -> l14 : [ 1+z8^0<=x^0 && 1+x^0<=z9^0 ], cost: 2
     56: l12 -> l14 : [ 1+z8^0<=x^0 && 1+z9^0<=x^0 ], cost: 2
     57: l14 -> l16 : [ 1+x^0<=z10^0 && 1+x^0<=z11^0 ], cost: 2
     58: l14 -> l16 : [ 1+x^0<=z10^0 && 1+z11^0<=x^0 ], cost: 2
     59: l14 -> l16 : [ 1+z10^0<=x^0 && 1+x^0<=z11^0 ], cost: 2
     60: l14 -> l16 : [ 1+z10^0<=x^0 && 1+z11^0<=x^0 ], cost: 2
     61: l16 -> l2 : [ 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 2
     62: l16 -> l2 : [ 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 2
     63: l16 -> l2 : [ 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 2
     64: l16 -> l2 : [ 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 2
     32: l2 -> l1 : [], cost: 1
     34: l18 -> l1 : [], cost: 2

Eliminated locations (on tree-shaped paths):
   Start location: l18
     65: l1 -> l6 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+y^0<=z0^0 && 1+y^0<=z1^0 ], cost: 4
     66: l1 -> l6 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+y^0<=z0^0 && 1+z1^0<=y^0 ], cost: 4
     67: l1 -> l6 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+z0^0<=y^0 && 1+y^0<=z1^0 ], cost: 4
     68: l1 -> l6 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+z0^0<=y^0 && 1+z1^0<=y^0 ], cost: 4
     69: l1 -> l6 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+y^0<=z0^0 && 1+y^0<=z1^0 ], cost: 4
     70: l1 -> l6 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+y^0<=z0^0 && 1+z1^0<=y^0 ], cost: 4
     71: l1 -> l6 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+z0^0<=y^0 && 1+y^0<=z1^0 ], cost: 4
     72: l1 -> l6 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+z0^0<=y^0 && 1+z1^0<=y^0 ], cost: 4
     73: l6 -> l10 : [ 1+x^0<=z2^0 && 1+x^0<=z3^0 && 1+x^0<=z4^0 && 1+x^0<=z5^0 ], cost: 4
     74: l6 -> l10 : [ 1+x^0<=z2^0 && 1+x^0<=z3^0 && 1+x^0<=z4^0 && 1+z5^0<=x^0 ], cost: 4
     75: l6 -> l10 : [ 1+x^0<=z2^0 && 1+x^0<=z3^0 && 1+z4^0<=x^0 && 1+x^0<=z5^0 ], cost: 4
     76: l6 -> l10 : [ 1+x^0<=z2^0 && 1+x^0<=z3^0 && 1+z4^0<=x^0 && 1+z5^0<=x^0 ], cost: 4
     77: l6 -> l10 : [ 1+x^0<=z2^0 && 1+z3^0<=x^0 && 1+x^0<=z4^0 && 1+x^0<=z5^0 ], cost: 4
     78: l6 -> l10 : [ 1+x^0<=z2^0 && 1+z3^0<=x^0 && 1+x^0<=z4^0 && 1+z5^0<=x^0 ], cost: 4
     79: l6 -> l10 : [ 1+x^0<=z2^0 && 1+z3^0<=x^0 && 1+z4^0<=x^0 && 1+x^0<=z5^0 ], cost: 4
     80: l6 -> l10 : [ 1+x^0<=z2^0 && 1+z3^0<=x^0 && 1+z4^0<=x^0 && 1+z5^0<=x^0 ], cost: 4
     81: l6 -> l10 : [ 1+z2^0<=x^0 && 1+x^0<=z3^0 && 1+x^0<=z4^0 && 1+x^0<=z5^0 ], cost: 4
     82: l6 -> l10 : [ 1+z2^0<=x^0 && 1+x^0<=z3^0 && 1+x^0<=z4^0 && 1+z5^0<=x^0 ], cost: 4
     83: l6 -> l10 : [ 1+z2^0<=x^0 && 1+x^0<=z3^0 && 1+z4^0<=x^0 && 1+x^0<=z5^0 ], cost: 4
     84: l6 -> l10 : [ 1+z2^0<=x^0 && 1+x^0<=z3^0 && 1+z4^0<=x^0 && 1+z5^0<=x^0 ], cost: 4
     85: l6 -> l10 : [ 1+z2^0<=x^0 && 1+z3^0<=x^0 && 1+x^0<=z4^0 && 1+x^0<=z5^0 ], cost: 4
     86: l6 -> l10 : [ 1+z2^0<=x^0 && 1+z3^0<=x^0 && 1+x^0<=z4^0 && 1+z5^0<=x^0 ], cost: 4
     87: l6 -> l10 : [ 1+z2^0<=x^0 && 1+z3^0<=x^0 && 1+z4^0<=x^0 && 1+x^0<=z5^0 ], cost: 4
     88: l6 -> l10 : [ 1+z2^0<=x^0 && 1+z3^0<=x^0 && 1+z4^0<=x^0 && 1+z5^0<=x^0 ], cost: 4
     89: l10 -> l14 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 ], cost: 4
     90: l10 -> l14 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 ], cost: 4
     91: l10 -> l14 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 ], cost: 4
     92: l10 -> l14 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 ], cost: 4
     93: l10 -> l14 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 ], cost: 4
     94: l10 -> l14 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 ], cost: 4
     95: l10 -> l14 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 ], cost: 4
     96: l10 -> l14 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 ], cost: 4
     97: l10 -> l14 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 ], cost: 4
     98: l10 -> l14 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 ], cost: 4
     99: l10 -> l14 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 ], cost: 4
    100: l10 -> l14 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 ], cost: 4
    101: l10 -> l14 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 ], cost: 4
    102: l10 -> l14 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 ], cost: 4
    103: l10 -> l14 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 ], cost: 4
    104: l10 -> l14 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 ], cost: 4
    105: l14 -> l2 : [ 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 4
    106: l14 -> l2 : [ 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 4
    107: l14 -> l2 : [ 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 4
    108: l14 -> l2 : [ 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 4
    109: l14 -> l2 : [ 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 4
    110: l14 -> l2 : [ 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 4
    111: l14 -> l2 : [ 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 4
    112: l14 -> l2 : [ 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 4
    113: l14 -> l2 : [ 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 4
    114: l14 -> l2 : [ 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 4
    115: l14 -> l2 : [ 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 4
    116: l14 -> l2 : [ 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 4
    117: l14 -> l2 : [ 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 4
    118: l14 -> l2 : [ 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 4
    119: l14 -> l2 : [ 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 4
    120: l14 -> l2 : [ 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 4
     32: l2 -> l1 : [], cost: 1
     34: l18 -> l1 : [], cost: 2

Eliminated locations (on tree-shaped paths):
   Start location: l18
    121: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+y^0<=z0^0 && 1+y^0<=z1^0 && 1+y^0<=z2^0 && 1+y^0<=z3^0 && 1+y^0<=z4^0 && 1+y^0<=z5^0 ], cost: 8
    122: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+y^0<=z0^0 && 1+y^0<=z1^0 && 1+y^0<=z2^0 && 1+y^0<=z3^0 && 1+y^0<=z4^0 && 1+z5^0<=y^0 ], cost: 8
    123: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+y^0<=z0^0 && 1+y^0<=z1^0 && 1+y^0<=z2^0 && 1+y^0<=z3^0 && 1+z4^0<=y^0 && 1+y^0<=z5^0 ], cost: 8
    124: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+y^0<=z0^0 && 1+y^0<=z1^0 && 1+y^0<=z2^0 && 1+y^0<=z3^0 && 1+z4^0<=y^0 && 1+z5^0<=y^0 ], cost: 8
    125: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+y^0<=z0^0 && 1+y^0<=z1^0 && 1+y^0<=z2^0 && 1+z3^0<=y^0 && 1+y^0<=z4^0 && 1+y^0<=z5^0 ], cost: 8
    126: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+y^0<=z0^0 && 1+y^0<=z1^0 && 1+y^0<=z2^0 && 1+z3^0<=y^0 && 1+y^0<=z4^0 && 1+z5^0<=y^0 ], cost: 8
    127: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+y^0<=z0^0 && 1+y^0<=z1^0 && 1+y^0<=z2^0 && 1+z3^0<=y^0 && 1+z4^0<=y^0 && 1+y^0<=z5^0 ], cost: 8
    128: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+y^0<=z0^0 && 1+y^0<=z1^0 && 1+y^0<=z2^0 && 1+z3^0<=y^0 && 1+z4^0<=y^0 && 1+z5^0<=y^0 ], cost: 8
    129: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+y^0<=z0^0 && 1+y^0<=z1^0 && 1+z2^0<=y^0 && 1+y^0<=z3^0 && 1+y^0<=z4^0 && 1+y^0<=z5^0 ], cost: 8
    130: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+y^0<=z0^0 && 1+y^0<=z1^0 && 1+z2^0<=y^0 && 1+y^0<=z3^0 && 1+y^0<=z4^0 && 1+z5^0<=y^0 ], cost: 8
    131: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+y^0<=z0^0 && 1+y^0<=z1^0 && 1+z2^0<=y^0 && 1+y^0<=z3^0 && 1+z4^0<=y^0 && 1+y^0<=z5^0 ], cost: 8
    132: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+y^0<=z0^0 && 1+y^0<=z1^0 && 1+z2^0<=y^0 && 1+y^0<=z3^0 && 1+z4^0<=y^0 && 1+z5^0<=y^0 ], cost: 8
    133: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+y^0<=z0^0 && 1+y^0<=z1^0 && 1+z2^0<=y^0 && 1+z3^0<=y^0 && 1+y^0<=z4^0 && 1+y^0<=z5^0 ], cost: 8
    134: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+y^0<=z0^0 && 1+y^0<=z1^0 && 1+z2^0<=y^0 && 1+z3^0<=y^0 && 1+y^0<=z4^0 && 1+z5^0<=y^0 ], cost: 8
    135: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+y^0<=z0^0 && 1+y^0<=z1^0 && 1+z2^0<=y^0 && 1+z3^0<=y^0 && 1+z4^0<=y^0 && 1+y^0<=z5^0 ], cost: 8
    136: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+y^0<=z0^0 && 1+y^0<=z1^0 && 1+z2^0<=y^0 && 1+z3^0<=y^0 && 1+z4^0<=y^0 && 1+z5^0<=y^0 ], cost: 8
    137: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+y^0<=z0^0 && 1+z1^0<=y^0 && 1+y^0<=z2^0 && 1+y^0<=z3^0 && 1+y^0<=z4^0 && 1+y^0<=z5^0 ], cost: 8
    138: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+y^0<=z0^0 && 1+z1^0<=y^0 && 1+y^0<=z2^0 && 1+y^0<=z3^0 && 1+y^0<=z4^0 && 1+z5^0<=y^0 ], cost: 8
    139: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+y^0<=z0^0 && 1+z1^0<=y^0 && 1+y^0<=z2^0 && 1+y^0<=z3^0 && 1+z4^0<=y^0 && 1+y^0<=z5^0 ], cost: 8
    140: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+y^0<=z0^0 && 1+z1^0<=y^0 && 1+y^0<=z2^0 && 1+y^0<=z3^0 && 1+z4^0<=y^0 && 1+z5^0<=y^0 ], cost: 8
    141: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+y^0<=z0^0 && 1+z1^0<=y^0 && 1+y^0<=z2^0 && 1+z3^0<=y^0 && 1+y^0<=z4^0 && 1+y^0<=z5^0 ], cost: 8
    142: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+y^0<=z0^0 && 1+z1^0<=y^0 && 1+y^0<=z2^0 && 1+z3^0<=y^0 && 1+y^0<=z4^0 && 1+z5^0<=y^0 ], cost: 8
    143: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+y^0<=z0^0 && 1+z1^0<=y^0 && 1+y^0<=z2^0 && 1+z3^0<=y^0 && 1+z4^0<=y^0 && 1+y^0<=z5^0 ], cost: 8
    144: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+y^0<=z0^0 && 1+z1^0<=y^0 && 1+y^0<=z2^0 && 1+z3^0<=y^0 && 1+z4^0<=y^0 && 1+z5^0<=y^0 ], cost: 8
    145: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+y^0<=z0^0 && 1+z1^0<=y^0 && 1+z2^0<=y^0 && 1+y^0<=z3^0 && 1+y^0<=z4^0 && 1+y^0<=z5^0 ], cost: 8
    146: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+y^0<=z0^0 && 1+z1^0<=y^0 && 1+z2^0<=y^0 && 1+y^0<=z3^0 && 1+y^0<=z4^0 && 1+z5^0<=y^0 ], cost: 8
    147: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+y^0<=z0^0 && 1+z1^0<=y^0 && 1+z2^0<=y^0 && 1+y^0<=z3^0 && 1+z4^0<=y^0 && 1+y^0<=z5^0 ], cost: 8
    148: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+y^0<=z0^0 && 1+z1^0<=y^0 && 1+z2^0<=y^0 && 1+y^0<=z3^0 && 1+z4^0<=y^0 && 1+z5^0<=y^0 ], cost: 8
    149: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+y^0<=z0^0 && 1+z1^0<=y^0 && 1+z2^0<=y^0 && 1+z3^0<=y^0 && 1+y^0<=z4^0 && 1+y^0<=z5^0 ], cost: 8
    150: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+y^0<=z0^0 && 1+z1^0<=y^0 && 1+z2^0<=y^0 && 1+z3^0<=y^0 && 1+y^0<=z4^0 && 1+z5^0<=y^0 ], cost: 8
    151: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+y^0<=z0^0 && 1+z1^0<=y^0 && 1+z2^0<=y^0 && 1+z3^0<=y^0 && 1+z4^0<=y^0 && 1+y^0<=z5^0 ], cost: 8
    152: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+y^0<=z0^0 && 1+z1^0<=y^0 && 1+z2^0<=y^0 && 1+z3^0<=y^0 && 1+z4^0<=y^0 && 1+z5^0<=y^0 ], cost: 8
    153: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+z0^0<=y^0 && 1+y^0<=z1^0 && 1+y^0<=z2^0 && 1+y^0<=z3^0 && 1+y^0<=z4^0 && 1+y^0<=z5^0 ], cost: 8
    154: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+z0^0<=y^0 && 1+y^0<=z1^0 && 1+y^0<=z2^0 && 1+y^0<=z3^0 && 1+y^0<=z4^0 && 1+z5^0<=y^0 ], cost: 8
    155: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+z0^0<=y^0 && 1+y^0<=z1^0 && 1+y^0<=z2^0 && 1+y^0<=z3^0 && 1+z4^0<=y^0 && 1+y^0<=z5^0 ], cost: 8
    156: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+z0^0<=y^0 && 1+y^0<=z1^0 && 1+y^0<=z2^0 && 1+y^0<=z3^0 && 1+z4^0<=y^0 && 1+z5^0<=y^0 ], cost: 8
    157: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+z0^0<=y^0 && 1+y^0<=z1^0 && 1+y^0<=z2^0 && 1+z3^0<=y^0 && 1+y^0<=z4^0 && 1+y^0<=z5^0 ], cost: 8
    158: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+z0^0<=y^0 && 1+y^0<=z1^0 && 1+y^0<=z2^0 && 1+z3^0<=y^0 && 1+y^0<=z4^0 && 1+z5^0<=y^0 ], cost: 8
    159: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+z0^0<=y^0 && 1+y^0<=z1^0 && 1+y^0<=z2^0 && 1+z3^0<=y^0 && 1+z4^0<=y^0 && 1+y^0<=z5^0 ], cost: 8
    160: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+z0^0<=y^0 && 1+y^0<=z1^0 && 1+y^0<=z2^0 && 1+z3^0<=y^0 && 1+z4^0<=y^0 && 1+z5^0<=y^0 ], cost: 8
    161: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+z0^0<=y^0 && 1+y^0<=z1^0 && 1+z2^0<=y^0 && 1+y^0<=z3^0 && 1+y^0<=z4^0 && 1+y^0<=z5^0 ], cost: 8
    162: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+z0^0<=y^0 && 1+y^0<=z1^0 && 1+z2^0<=y^0 && 1+y^0<=z3^0 && 1+y^0<=z4^0 && 1+z5^0<=y^0 ], cost: 8
    163: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+z0^0<=y^0 && 1+y^0<=z1^0 && 1+z2^0<=y^0 && 1+y^0<=z3^0 && 1+z4^0<=y^0 && 1+y^0<=z5^0 ], cost: 8
    164: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+z0^0<=y^0 && 1+y^0<=z1^0 && 1+z2^0<=y^0 && 1+y^0<=z3^0 && 1+z4^0<=y^0 && 1+z5^0<=y^0 ], cost: 8
    165: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+z0^0<=y^0 && 1+y^0<=z1^0 && 1+z2^0<=y^0 && 1+z3^0<=y^0 && 1+y^0<=z4^0 && 1+y^0<=z5^0 ], cost: 8
    166: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+z0^0<=y^0 && 1+y^0<=z1^0 && 1+z2^0<=y^0 && 1+z3^0<=y^0 && 1+y^0<=z4^0 && 1+z5^0<=y^0 ], cost: 8
    167: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+z0^0<=y^0 && 1+y^0<=z1^0 && 1+z2^0<=y^0 && 1+z3^0<=y^0 && 1+z4^0<=y^0 && 1+y^0<=z5^0 ], cost: 8
    168: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+z0^0<=y^0 && 1+y^0<=z1^0 && 1+z2^0<=y^0 && 1+z3^0<=y^0 && 1+z4^0<=y^0 && 1+z5^0<=y^0 ], cost: 8
    169: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+z0^0<=y^0 && 1+z1^0<=y^0 && 1+y^0<=z2^0 && 1+y^0<=z3^0 && 1+y^0<=z4^0 && 1+y^0<=z5^0 ], cost: 8
    170: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+z0^0<=y^0 && 1+z1^0<=y^0 && 1+y^0<=z2^0 && 1+y^0<=z3^0 && 1+y^0<=z4^0 && 1+z5^0<=y^0 ], cost: 8
    171: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+z0^0<=y^0 && 1+z1^0<=y^0 && 1+y^0<=z2^0 && 1+y^0<=z3^0 && 1+z4^0<=y^0 && 1+y^0<=z5^0 ], cost: 8
    172: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+z0^0<=y^0 && 1+z1^0<=y^0 && 1+y^0<=z2^0 && 1+y^0<=z3^0 && 1+z4^0<=y^0 && 1+z5^0<=y^0 ], cost: 8
    173: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+z0^0<=y^0 && 1+z1^0<=y^0 && 1+y^0<=z2^0 && 1+z3^0<=y^0 && 1+y^0<=z4^0 && 1+y^0<=z5^0 ], cost: 8
    174: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+z0^0<=y^0 && 1+z1^0<=y^0 && 1+y^0<=z2^0 && 1+z3^0<=y^0 && 1+y^0<=z4^0 && 1+z5^0<=y^0 ], cost: 8
    175: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+z0^0<=y^0 && 1+z1^0<=y^0 && 1+y^0<=z2^0 && 1+z3^0<=y^0 && 1+z4^0<=y^0 && 1+y^0<=z5^0 ], cost: 8
    176: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+z0^0<=y^0 && 1+z1^0<=y^0 && 1+y^0<=z2^0 && 1+z3^0<=y^0 && 1+z4^0<=y^0 && 1+z5^0<=y^0 ], cost: 8
    177: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+z0^0<=y^0 && 1+z1^0<=y^0 && 1+z2^0<=y^0 && 1+y^0<=z3^0 && 1+y^0<=z4^0 && 1+y^0<=z5^0 ], cost: 8
    178: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+z0^0<=y^0 && 1+z1^0<=y^0 && 1+z2^0<=y^0 && 1+y^0<=z3^0 && 1+y^0<=z4^0 && 1+z5^0<=y^0 ], cost: 8
    179: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+z0^0<=y^0 && 1+z1^0<=y^0 && 1+z2^0<=y^0 && 1+y^0<=z3^0 && 1+z4^0<=y^0 && 1+y^0<=z5^0 ], cost: 8
    180: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+z0^0<=y^0 && 1+z1^0<=y^0 && 1+z2^0<=y^0 && 1+y^0<=z3^0 && 1+z4^0<=y^0 && 1+z5^0<=y^0 ], cost: 8
    181: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+z0^0<=y^0 && 1+z1^0<=y^0 && 1+z2^0<=y^0 && 1+z3^0<=y^0 && 1+y^0<=z4^0 && 1+y^0<=z5^0 ], cost: 8
    182: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+z0^0<=y^0 && 1+z1^0<=y^0 && 1+z2^0<=y^0 && 1+z3^0<=y^0 && 1+y^0<=z4^0 && 1+z5^0<=y^0 ], cost: 8
    183: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+z0^0<=y^0 && 1+z1^0<=y^0 && 1+z2^0<=y^0 && 1+z3^0<=y^0 && 1+z4^0<=y^0 && 1+y^0<=z5^0 ], cost: 8
    184: l1 -> l10 : x^0'=y^0, [ 1+y^0<=0 && x^0==0 && 1+z0^0<=y^0 && 1+z1^0<=y^0 && 1+z2^0<=y^0 && 1+z3^0<=y^0 && 1+z4^0<=y^0 && 1+z5^0<=y^0 ], cost: 8
    185: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+y^0<=z0^0 && 1+y^0<=z1^0 && 1+y^0<=z2^0 && 1+y^0<=z3^0 && 1+y^0<=z4^0 && 1+y^0<=z5^0 ], cost: 8
    186: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+y^0<=z0^0 && 1+y^0<=z1^0 && 1+y^0<=z2^0 && 1+y^0<=z3^0 && 1+y^0<=z4^0 && 1+z5^0<=y^0 ], cost: 8
    187: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+y^0<=z0^0 && 1+y^0<=z1^0 && 1+y^0<=z2^0 && 1+y^0<=z3^0 && 1+z4^0<=y^0 && 1+y^0<=z5^0 ], cost: 8
    188: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+y^0<=z0^0 && 1+y^0<=z1^0 && 1+y^0<=z2^0 && 1+y^0<=z3^0 && 1+z4^0<=y^0 && 1+z5^0<=y^0 ], cost: 8
    189: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+y^0<=z0^0 && 1+y^0<=z1^0 && 1+y^0<=z2^0 && 1+z3^0<=y^0 && 1+y^0<=z4^0 && 1+y^0<=z5^0 ], cost: 8
    190: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+y^0<=z0^0 && 1+y^0<=z1^0 && 1+y^0<=z2^0 && 1+z3^0<=y^0 && 1+y^0<=z4^0 && 1+z5^0<=y^0 ], cost: 8
    191: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+y^0<=z0^0 && 1+y^0<=z1^0 && 1+y^0<=z2^0 && 1+z3^0<=y^0 && 1+z4^0<=y^0 && 1+y^0<=z5^0 ], cost: 8
    192: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+y^0<=z0^0 && 1+y^0<=z1^0 && 1+y^0<=z2^0 && 1+z3^0<=y^0 && 1+z4^0<=y^0 && 1+z5^0<=y^0 ], cost: 8
    193: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+y^0<=z0^0 && 1+y^0<=z1^0 && 1+z2^0<=y^0 && 1+y^0<=z3^0 && 1+y^0<=z4^0 && 1+y^0<=z5^0 ], cost: 8
    194: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+y^0<=z0^0 && 1+y^0<=z1^0 && 1+z2^0<=y^0 && 1+y^0<=z3^0 && 1+y^0<=z4^0 && 1+z5^0<=y^0 ], cost: 8
    195: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+y^0<=z0^0 && 1+y^0<=z1^0 && 1+z2^0<=y^0 && 1+y^0<=z3^0 && 1+z4^0<=y^0 && 1+y^0<=z5^0 ], cost: 8
    196: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+y^0<=z0^0 && 1+y^0<=z1^0 && 1+z2^0<=y^0 && 1+y^0<=z3^0 && 1+z4^0<=y^0 && 1+z5^0<=y^0 ], cost: 8
    197: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+y^0<=z0^0 && 1+y^0<=z1^0 && 1+z2^0<=y^0 && 1+z3^0<=y^0 && 1+y^0<=z4^0 && 1+y^0<=z5^0 ], cost: 8
    198: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+y^0<=z0^0 && 1+y^0<=z1^0 && 1+z2^0<=y^0 && 1+z3^0<=y^0 && 1+y^0<=z4^0 && 1+z5^0<=y^0 ], cost: 8
    199: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+y^0<=z0^0 && 1+y^0<=z1^0 && 1+z2^0<=y^0 && 1+z3^0<=y^0 && 1+z4^0<=y^0 && 1+y^0<=z5^0 ], cost: 8
    200: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+y^0<=z0^0 && 1+y^0<=z1^0 && 1+z2^0<=y^0 && 1+z3^0<=y^0 && 1+z4^0<=y^0 && 1+z5^0<=y^0 ], cost: 8
    201: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+y^0<=z0^0 && 1+z1^0<=y^0 && 1+y^0<=z2^0 && 1+y^0<=z3^0 && 1+y^0<=z4^0 && 1+y^0<=z5^0 ], cost: 8
    202: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+y^0<=z0^0 && 1+z1^0<=y^0 && 1+y^0<=z2^0 && 1+y^0<=z3^0 && 1+y^0<=z4^0 && 1+z5^0<=y^0 ], cost: 8
    203: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+y^0<=z0^0 && 1+z1^0<=y^0 && 1+y^0<=z2^0 && 1+y^0<=z3^0 && 1+z4^0<=y^0 && 1+y^0<=z5^0 ], cost: 8
    204: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+y^0<=z0^0 && 1+z1^0<=y^0 && 1+y^0<=z2^0 && 1+y^0<=z3^0 && 1+z4^0<=y^0 && 1+z5^0<=y^0 ], cost: 8
    205: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+y^0<=z0^0 && 1+z1^0<=y^0 && 1+y^0<=z2^0 && 1+z3^0<=y^0 && 1+y^0<=z4^0 && 1+y^0<=z5^0 ], cost: 8
    206: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+y^0<=z0^0 && 1+z1^0<=y^0 && 1+y^0<=z2^0 && 1+z3^0<=y^0 && 1+y^0<=z4^0 && 1+z5^0<=y^0 ], cost: 8
    207: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+y^0<=z0^0 && 1+z1^0<=y^0 && 1+y^0<=z2^0 && 1+z3^0<=y^0 && 1+z4^0<=y^0 && 1+y^0<=z5^0 ], cost: 8
    208: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+y^0<=z0^0 && 1+z1^0<=y^0 && 1+y^0<=z2^0 && 1+z3^0<=y^0 && 1+z4^0<=y^0 && 1+z5^0<=y^0 ], cost: 8
    209: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+y^0<=z0^0 && 1+z1^0<=y^0 && 1+z2^0<=y^0 && 1+y^0<=z3^0 && 1+y^0<=z4^0 && 1+y^0<=z5^0 ], cost: 8
    210: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+y^0<=z0^0 && 1+z1^0<=y^0 && 1+z2^0<=y^0 && 1+y^0<=z3^0 && 1+y^0<=z4^0 && 1+z5^0<=y^0 ], cost: 8
    211: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+y^0<=z0^0 && 1+z1^0<=y^0 && 1+z2^0<=y^0 && 1+y^0<=z3^0 && 1+z4^0<=y^0 && 1+y^0<=z5^0 ], cost: 8
    212: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+y^0<=z0^0 && 1+z1^0<=y^0 && 1+z2^0<=y^0 && 1+y^0<=z3^0 && 1+z4^0<=y^0 && 1+z5^0<=y^0 ], cost: 8
    213: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+y^0<=z0^0 && 1+z1^0<=y^0 && 1+z2^0<=y^0 && 1+z3^0<=y^0 && 1+y^0<=z4^0 && 1+y^0<=z5^0 ], cost: 8
    214: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+y^0<=z0^0 && 1+z1^0<=y^0 && 1+z2^0<=y^0 && 1+z3^0<=y^0 && 1+y^0<=z4^0 && 1+z5^0<=y^0 ], cost: 8
    215: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+y^0<=z0^0 && 1+z1^0<=y^0 && 1+z2^0<=y^0 && 1+z3^0<=y^0 && 1+z4^0<=y^0 && 1+y^0<=z5^0 ], cost: 8
    216: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+y^0<=z0^0 && 1+z1^0<=y^0 && 1+z2^0<=y^0 && 1+z3^0<=y^0 && 1+z4^0<=y^0 && 1+z5^0<=y^0 ], cost: 8
    217: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+z0^0<=y^0 && 1+y^0<=z1^0 && 1+y^0<=z2^0 && 1+y^0<=z3^0 && 1+y^0<=z4^0 && 1+y^0<=z5^0 ], cost: 8
    218: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+z0^0<=y^0 && 1+y^0<=z1^0 && 1+y^0<=z2^0 && 1+y^0<=z3^0 && 1+y^0<=z4^0 && 1+z5^0<=y^0 ], cost: 8
    219: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+z0^0<=y^0 && 1+y^0<=z1^0 && 1+y^0<=z2^0 && 1+y^0<=z3^0 && 1+z4^0<=y^0 && 1+y^0<=z5^0 ], cost: 8
    220: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+z0^0<=y^0 && 1+y^0<=z1^0 && 1+y^0<=z2^0 && 1+y^0<=z3^0 && 1+z4^0<=y^0 && 1+z5^0<=y^0 ], cost: 8
    221: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+z0^0<=y^0 && 1+y^0<=z1^0 && 1+y^0<=z2^0 && 1+z3^0<=y^0 && 1+y^0<=z4^0 && 1+y^0<=z5^0 ], cost: 8
    222: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+z0^0<=y^0 && 1+y^0<=z1^0 && 1+y^0<=z2^0 && 1+z3^0<=y^0 && 1+y^0<=z4^0 && 1+z5^0<=y^0 ], cost: 8
    223: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+z0^0<=y^0 && 1+y^0<=z1^0 && 1+y^0<=z2^0 && 1+z3^0<=y^0 && 1+z4^0<=y^0 && 1+y^0<=z5^0 ], cost: 8
    224: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+z0^0<=y^0 && 1+y^0<=z1^0 && 1+y^0<=z2^0 && 1+z3^0<=y^0 && 1+z4^0<=y^0 && 1+z5^0<=y^0 ], cost: 8
    225: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+z0^0<=y^0 && 1+y^0<=z1^0 && 1+z2^0<=y^0 && 1+y^0<=z3^0 && 1+y^0<=z4^0 && 1+y^0<=z5^0 ], cost: 8
    226: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+z0^0<=y^0 && 1+y^0<=z1^0 && 1+z2^0<=y^0 && 1+y^0<=z3^0 && 1+y^0<=z4^0 && 1+z5^0<=y^0 ], cost: 8
    227: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+z0^0<=y^0 && 1+y^0<=z1^0 && 1+z2^0<=y^0 && 1+y^0<=z3^0 && 1+z4^0<=y^0 && 1+y^0<=z5^0 ], cost: 8
    228: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+z0^0<=y^0 && 1+y^0<=z1^0 && 1+z2^0<=y^0 && 1+y^0<=z3^0 && 1+z4^0<=y^0 && 1+z5^0<=y^0 ], cost: 8
    229: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+z0^0<=y^0 && 1+y^0<=z1^0 && 1+z2^0<=y^0 && 1+z3^0<=y^0 && 1+y^0<=z4^0 && 1+y^0<=z5^0 ], cost: 8
    230: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+z0^0<=y^0 && 1+y^0<=z1^0 && 1+z2^0<=y^0 && 1+z3^0<=y^0 && 1+y^0<=z4^0 && 1+z5^0<=y^0 ], cost: 8
    231: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+z0^0<=y^0 && 1+y^0<=z1^0 && 1+z2^0<=y^0 && 1+z3^0<=y^0 && 1+z4^0<=y^0 && 1+y^0<=z5^0 ], cost: 8
    232: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+z0^0<=y^0 && 1+y^0<=z1^0 && 1+z2^0<=y^0 && 1+z3^0<=y^0 && 1+z4^0<=y^0 && 1+z5^0<=y^0 ], cost: 8
    233: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+z0^0<=y^0 && 1+z1^0<=y^0 && 1+y^0<=z2^0 && 1+y^0<=z3^0 && 1+y^0<=z4^0 && 1+y^0<=z5^0 ], cost: 8
    234: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+z0^0<=y^0 && 1+z1^0<=y^0 && 1+y^0<=z2^0 && 1+y^0<=z3^0 && 1+y^0<=z4^0 && 1+z5^0<=y^0 ], cost: 8
    235: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+z0^0<=y^0 && 1+z1^0<=y^0 && 1+y^0<=z2^0 && 1+y^0<=z3^0 && 1+z4^0<=y^0 && 1+y^0<=z5^0 ], cost: 8
    236: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+z0^0<=y^0 && 1+z1^0<=y^0 && 1+y^0<=z2^0 && 1+y^0<=z3^0 && 1+z4^0<=y^0 && 1+z5^0<=y^0 ], cost: 8
    237: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+z0^0<=y^0 && 1+z1^0<=y^0 && 1+y^0<=z2^0 && 1+z3^0<=y^0 && 1+y^0<=z4^0 && 1+y^0<=z5^0 ], cost: 8
    238: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+z0^0<=y^0 && 1+z1^0<=y^0 && 1+y^0<=z2^0 && 1+z3^0<=y^0 && 1+y^0<=z4^0 && 1+z5^0<=y^0 ], cost: 8
    239: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+z0^0<=y^0 && 1+z1^0<=y^0 && 1+y^0<=z2^0 && 1+z3^0<=y^0 && 1+z4^0<=y^0 && 1+y^0<=z5^0 ], cost: 8
    240: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+z0^0<=y^0 && 1+z1^0<=y^0 && 1+y^0<=z2^0 && 1+z3^0<=y^0 && 1+z4^0<=y^0 && 1+z5^0<=y^0 ], cost: 8
    241: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+z0^0<=y^0 && 1+z1^0<=y^0 && 1+z2^0<=y^0 && 1+y^0<=z3^0 && 1+y^0<=z4^0 && 1+y^0<=z5^0 ], cost: 8
    242: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+z0^0<=y^0 && 1+z1^0<=y^0 && 1+z2^0<=y^0 && 1+y^0<=z3^0 && 1+y^0<=z4^0 && 1+z5^0<=y^0 ], cost: 8
    243: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+z0^0<=y^0 && 1+z1^0<=y^0 && 1+z2^0<=y^0 && 1+y^0<=z3^0 && 1+z4^0<=y^0 && 1+y^0<=z5^0 ], cost: 8
    244: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+z0^0<=y^0 && 1+z1^0<=y^0 && 1+z2^0<=y^0 && 1+y^0<=z3^0 && 1+z4^0<=y^0 && 1+z5^0<=y^0 ], cost: 8
    245: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+z0^0<=y^0 && 1+z1^0<=y^0 && 1+z2^0<=y^0 && 1+z3^0<=y^0 && 1+y^0<=z4^0 && 1+y^0<=z5^0 ], cost: 8
    246: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+z0^0<=y^0 && 1+z1^0<=y^0 && 1+z2^0<=y^0 && 1+z3^0<=y^0 && 1+y^0<=z4^0 && 1+z5^0<=y^0 ], cost: 8
    247: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+z0^0<=y^0 && 1+z1^0<=y^0 && 1+z2^0<=y^0 && 1+z3^0<=y^0 && 1+z4^0<=y^0 && 1+y^0<=z5^0 ], cost: 8
    248: l1 -> l10 : x^0'=y^0, [ 1<=y^0 && x^0==0 && 1+z0^0<=y^0 && 1+z1^0<=y^0 && 1+z2^0<=y^0 && 1+z3^0<=y^0 && 1+z4^0<=y^0 && 1+z5^0<=y^0 ], cost: 8
    249: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    250: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    251: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    252: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    253: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    254: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    255: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    256: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    257: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    258: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    259: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    260: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    261: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    262: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    263: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    264: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    265: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    266: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    267: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    268: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    269: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    270: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    271: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    272: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    273: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    274: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    275: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    276: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    277: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    278: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    279: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    280: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    281: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    282: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    283: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    284: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    285: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    286: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    287: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    288: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    289: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    290: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    291: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    292: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    293: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    294: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    295: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    296: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    297: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    298: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    299: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    300: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    301: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    302: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    303: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    304: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    305: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    306: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    307: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    308: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    309: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    310: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    311: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    312: l10 -> l2 : [ 1+x^0<=z6^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    313: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    314: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    315: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    316: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    317: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    318: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    319: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    320: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    321: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    322: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    323: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    324: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    325: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    326: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    327: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    328: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    329: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    330: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    331: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    332: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    333: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    334: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    335: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    336: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    337: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    338: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    339: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    340: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    341: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    342: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    343: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    344: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    345: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    346: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    347: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    348: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    349: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    350: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    351: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    352: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    353: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    354: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    355: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    356: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    357: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    358: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    359: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    360: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    361: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    362: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    363: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    364: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    365: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    366: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    367: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    368: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    369: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    370: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    371: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    372: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    373: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    374: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    375: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    376: l10 -> l2 : [ 1+x^0<=z6^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    377: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    378: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    379: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    380: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    381: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    382: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    383: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    384: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    385: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    386: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    387: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    388: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    389: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    390: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    391: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    392: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    393: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    394: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    395: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    396: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    397: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    398: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    399: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    400: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    401: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    402: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    403: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    404: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    405: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    406: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    407: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    408: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    409: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    410: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    411: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    412: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    413: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    414: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    415: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    416: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    417: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    418: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    419: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    420: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    421: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    422: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    423: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    424: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    425: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    426: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    427: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    428: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    429: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    430: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    431: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    432: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    433: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    434: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    435: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    436: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    437: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    438: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    439: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    440: l10 -> l2 : [ 1+z6^0<=x^0 && 1+x^0<=z7^0 && 1+z8^0<=x^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    441: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    442: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    443: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    444: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    445: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    446: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    447: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    448: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    449: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    450: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    451: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    452: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    453: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    454: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    455: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    456: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    457: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    458: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    459: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    460: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    461: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    462: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    463: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    464: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    465: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    466: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    467: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    468: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    469: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    470: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    471: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    472: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+x^0<=z8^0 && 1+z9^0<=x^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    473: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    474: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    475: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    476: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    477: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    478: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    479: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    480: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+x^0<=z10^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    481: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    482: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    483: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    484: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+x^0<=z11^0 && 1+z12^0<=x^0 && 1+z13^0<=x^0 ], cost: 8
    485: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+x^0<=z13^0 ], cost: 8
    486: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+x^0<=z12^0 && 1+z13^0<=x^0 ], cost: 8
    487: l10 -> l2 : [ 1+z6^0<=x^0 && 1+z7^0<=x^0 && 1+z8^0<=x^0 && 1+x^0<=z9^0 && 1+z10^0<=x^0 && 1+z11^0<=x^0 && 1+z12^0<=x^0 && 1+x^0<=z13^0 ], cost: 8
    488: l