WORST_CASE(INF,?)

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

Initial linear ITS problem
   Start location: __init
      0: f1_0_main_New -> f155_0_main_ArrayAccess : arg1'=arg1P_1, arg2'=arg2P_1, arg3'=arg3P_1, arg4'=arg4P_1, arg5'=arg5P_1, [ x4_1>-1 && arg2>0 && arg2P_1<=arg1 && arg1>0 && arg1P_1>2 && arg2P_1>0 && arg2==arg3P_1 ], cost: 1
      1: f1_0_main_New -> f155_0_main_ArrayAccess : arg1'=arg1P_2, arg2'=arg2P_2, arg3'=arg3P_2, arg4'=arg4P_2, arg5'=arg5P_2, [ -1+arg1P_2<=arg1 && arg2>0 && arg2P_2<=arg1 && arg1>0 && arg1P_2>1 && arg2P_2>0 && arg2==arg3P_2 ], cost: 1
      4: f1_0_main_New -> f69_0__init__GT : arg1'=arg1P_5, arg2'=arg2P_5, arg3'=arg3P_5, arg4'=arg4P_5, arg5'=arg5P_5, [ arg1P_5>-1 && arg2>0 && arg1>0 ], cost: 1
      2: f155_0_main_ArrayAccess -> f201_0_main_InvokeMethod : arg1'=arg1P_3, arg2'=arg2P_3, arg3'=arg3P_3, arg4'=arg4P_3, arg5'=arg5P_3, [ arg1>=arg1P_3 && arg3>1 && arg1P_3<=arg2 && arg1>=arg2P_3 && arg1>=-1+arg3P_3 && -1+arg3P_3<=arg2 && arg1>0 && arg2>0 && arg1P_3>0 && arg2P_3>0 && arg3P_3>1 && arg1>=2+arg5P_3 && arg3==arg4P_3 ], cost: 1
      3: f155_0_main_ArrayAccess -> f201_0_main_InvokeMethod : arg1'=arg1P_4, arg2'=arg2P_4, arg3'=arg3P_4, arg4'=arg4P_4, arg5'=arg5P_4, [ x23_1>-1 && arg3>1 && arg1P_4<=arg1 && arg1P_4<=arg2 && arg2P_4<=arg1 && arg1>0 && arg2>0 && arg1P_4>0 && arg2P_4>0 && arg3P_4>2 && 2+arg5P_4<=arg1 && arg3==arg4P_4 ], cost: 1
      5: f155_0_main_ArrayAccess -> f69_0__init__GT : arg1'=arg1P_6, arg2'=arg2P_6, arg3'=arg3P_6, arg4'=arg4P_6, arg5'=arg5P_6, [ arg1P_6>-1 && arg3>1 && arg1>0 && arg2>0 ], cost: 1
      7: f201_0_main_InvokeMethod -> f226_0_isZero_NONNULL : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ arg1P_8<=arg2 && arg4>1 && arg2P_8<=arg3 && 1+arg3P_8<=arg3 && arg1>0 && arg2>0 && arg3>0 && arg1P_8>0 && arg2P_8>0 && arg3P_8>-1 && 2+arg5<=arg2 ], cost: 1
      6: f69_0__init__GT -> f69_0__init__GT : arg1'=arg1P_7, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ arg1>0 && -1+arg1<arg1 && -1+arg1==arg1P_7 ], cost: 1
      8: f226_0_isZero_NONNULL -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ 1+arg1P_9<=arg1 && 3+arg1P_9<=arg2 && 1+arg1P_9<=arg3 && arg2P_9<=arg2 && -2+arg2P_9<=arg3 && 2+arg3P_9<=arg2 && arg3P_9<=arg3 && arg1>2 && arg2>4 && arg3>2 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 ], cost: 1
      9: f226_0_isZero_NONNULL -> f534_0_div_InvokeMethod : arg1'=arg1P_10, arg2'=arg2P_10, arg3'=arg3P_10, arg4'=arg4P_10, arg5'=arg5P_10, [ arg1>2 && arg2>3 && arg3>1 && arg1P_10>2 ], cost: 1
     10: f226_0_isZero_NONNULL -> f534_0_div_InvokeMethod : arg1'=arg1P_11, arg2'=arg2P_11, arg3'=arg3P_11, arg4'=arg4P_11, arg5'=arg5P_11, [ 1+arg1P_11<=arg1 && 2+arg1P_11<=arg2 && arg1P_11<=arg3 && arg1>2 && arg2>3 && arg3>1 && arg1P_11>1 ], cost: 1
     12: f226_0_isZero_NONNULL -> f555_0_div_InvokeMethod : arg1'=arg1P_13, arg2'=arg2P_13, arg3'=arg3P_13, arg4'=arg4P_13, arg5'=arg5P_13, [ -3+arg2P_13<=arg1 && arg2P_13<=arg2 && -2+arg2P_13<=arg3 && arg1>2 && arg2>5 && arg3>3 && arg1P_13>0 && arg2P_13>5 ], cost: 1
     13: f226_0_isZero_NONNULL -> f555_0_div_InvokeMethod : arg1'=arg1P_14, arg2'=arg2P_14, arg3'=arg3P_14, arg4'=arg4P_14, arg5'=arg5P_14, [ arg2P_14<=arg2 && -2+arg2P_14<=arg3 && arg1>2 && arg2>6 && arg3>4 && arg1P_14>0 && arg2P_14>6 ], cost: 1
     14: f226_0_isZero_NONNULL -> f555_0_div_InvokeMethod : arg1'=arg1P_15, arg2'=arg2P_15, arg3'=arg3P_15, arg4'=arg4P_15, arg5'=arg5P_15, [ 1+arg1P_15<=arg1 && 5+arg1P_15<=arg2 && 3+arg1P_15<=arg3 && arg2P_15<=arg2 && -2+arg2P_15<=arg3 && arg1>2 && arg2>6 && arg3>4 && arg1P_15>1 && arg2P_15>6 ], cost: 1
     16: f226_0_isZero_NONNULL -> f287_0_isZero_NONNULL : arg1'=arg1P_17, arg2'=arg2P_17, arg3'=arg3P_17, arg4'=arg4P_17, arg5'=arg5P_17, [ 2+arg1P_17<=arg1 && 2+arg2P_17<=arg2 && arg2P_17<=arg3 && 3+arg3P_17<=arg2 && 1+arg3P_17<=arg3 && arg1>2 && arg2>2 && arg3>0 && arg1P_17>0 && arg2P_17>0 && arg3P_17>-1 ], cost: 1
     11: f534_0_div_InvokeMethod -> f226_0_isZero_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg1P_12<=arg1 && -3+arg2P_12<=arg1 && -1+arg3P_12<=arg1 && arg1>0 && arg1P_12>0 && arg2P_12>3 && arg3P_12>1 ], cost: 1
     15: f555_0_div_InvokeMethod -> f226_0_isZero_NONNULL : arg1'=arg1P_16, arg2'=arg2P_16, arg3'=arg3P_16, arg4'=arg4P_16, arg5'=arg5P_16, [ arg1P_16<=arg1 && arg2P_16<=arg2 && 2+arg3P_16<=arg2 && arg1>0 && arg2>4 && arg1P_16>0 && arg2P_16>4 && arg3P_16>2 ], cost: 1
     17: f287_0_isZero_NONNULL -> f287_0_isZero_NONNULL : arg1'=arg1P_18, arg2'=arg2P_18, arg3'=arg3P_18, arg4'=arg4P_18, arg5'=arg5P_18, [ 2+arg1P_18<=arg1 && 2+arg2P_18<=arg2 && arg2P_18<=arg3 && 3+arg3P_18<=arg2 && 1+arg3P_18<=arg3 && arg1>2 && arg2>2 && arg3>0 && arg1P_18>0 && arg2P_18>0 && arg3P_18>-1 ], cost: 1
     18: f287_0_isZero_NONNULL -> f321_0_copy_NONNULL : arg1'=arg1P_19, arg2'=arg2P_19, arg3'=arg3P_19, arg4'=arg4P_19, arg5'=arg5P_19, [ arg1P_19<=arg1 && 1+arg2P_19<=arg1 && arg1>0 && arg2>1 && arg3>-1 && arg1P_19>0 && arg2P_19>-1 ], cost: 1
     19: f321_0_copy_NONNULL -> f321_0_copy_NONNULL : arg1'=arg1P_20, arg2'=arg2P_20, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ 2+arg1P_20<=arg1 && arg1P_20<=arg2 && 3+arg2P_20<=arg1 && 1+arg2P_20<=arg2 && arg1>2 && arg2>0 && arg1P_20>0 && arg2P_20>-1 ], cost: 1
     20: __init -> f1_0_main_New : arg1'=arg1P_21, arg2'=arg2P_21, arg3'=arg3P_21, arg4'=arg4P_21, arg5'=arg5P_21, [], cost: 1

Checking for constant complexity:
   The following rule is satisfiable with cost >= 1, yielding constant complexity:
     20: __init -> f1_0_main_New : arg1'=arg1P_21, arg2'=arg2P_21, arg3'=arg3P_21, arg4'=arg4P_21, arg5'=arg5P_21, [], cost: 1

Simplified all rules, resulting in:
   Start location: __init
      0: f1_0_main_New -> f155_0_main_ArrayAccess : arg1'=arg1P_1, arg2'=arg2P_1, arg3'=arg2, arg4'=arg4P_1, arg5'=arg5P_1, [ arg2>0 && arg2P_1<=arg1 && arg1>0 && arg1P_1>2 && arg2P_1>0 ], cost: 1
      1: f1_0_main_New -> f155_0_main_ArrayAccess : arg1'=arg1P_2, arg2'=arg2P_2, arg3'=arg2, arg4'=arg4P_2, arg5'=arg5P_2, [ -1+arg1P_2<=arg1 && arg2>0 && arg2P_2<=arg1 && arg1>0 && arg1P_2>1 && arg2P_2>0 ], cost: 1
      4: f1_0_main_New -> f69_0__init__GT : arg1'=arg1P_5, arg2'=arg2P_5, arg3'=arg3P_5, arg4'=arg4P_5, arg5'=arg5P_5, [ arg1P_5>-1 && arg2>0 && arg1>0 ], cost: 1
      2: f155_0_main_ArrayAccess -> f201_0_main_InvokeMethod : arg1'=arg1P_3, arg2'=arg2P_3, arg3'=arg3P_3, arg4'=arg3, arg5'=arg5P_3, [ arg1>=arg1P_3 && arg3>1 && arg1P_3<=arg2 && arg1>=arg2P_3 && arg1>=-1+arg3P_3 && -1+arg3P_3<=arg2 && arg1>0 && arg2>0 && arg1P_3>0 && arg2P_3>0 && arg3P_3>1 && arg1>=2+arg5P_3 ], cost: 1
      3: f155_0_main_ArrayAccess -> f201_0_main_InvokeMethod : arg1'=arg1P_4, arg2'=arg2P_4, arg3'=arg3P_4, arg4'=arg3, arg5'=arg5P_4, [ arg3>1 && arg1P_4<=arg1 && arg1P_4<=arg2 && arg2P_4<=arg1 && arg1>0 && arg2>0 && arg1P_4>0 && arg2P_4>0 && arg3P_4>2 && 2+arg5P_4<=arg1 ], cost: 1
      5: f155_0_main_ArrayAccess -> f69_0__init__GT : arg1'=arg1P_6, arg2'=arg2P_6, arg3'=arg3P_6, arg4'=arg4P_6, arg5'=arg5P_6, [ arg1P_6>-1 && arg3>1 && arg1>0 && arg2>0 ], cost: 1
      7: f201_0_main_InvokeMethod -> f226_0_isZero_NONNULL : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ arg1P_8<=arg2 && arg4>1 && arg2P_8<=arg3 && 1+arg3P_8<=arg3 && arg1>0 && arg2>0 && arg3>0 && arg1P_8>0 && arg2P_8>0 && arg3P_8>-1 && 2+arg5<=arg2 ], cost: 1
      6: f69_0__init__GT -> f69_0__init__GT : arg1'=-1+arg1, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ arg1>0 ], cost: 1
      8: f226_0_isZero_NONNULL -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ 1+arg1P_9<=arg1 && 3+arg1P_9<=arg2 && 1+arg1P_9<=arg3 && arg2P_9<=arg2 && -2+arg2P_9<=arg3 && 2+arg3P_9<=arg2 && arg3P_9<=arg3 && arg1>2 && arg2>4 && arg3>2 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 ], cost: 1
      9: f226_0_isZero_NONNULL -> f534_0_div_InvokeMethod : arg1'=arg1P_10, arg2'=arg2P_10, arg3'=arg3P_10, arg4'=arg4P_10, arg5'=arg5P_10, [ arg1>2 && arg2>3 && arg3>1 && arg1P_10>2 ], cost: 1
     10: f226_0_isZero_NONNULL -> f534_0_div_InvokeMethod : arg1'=arg1P_11, arg2'=arg2P_11, arg3'=arg3P_11, arg4'=arg4P_11, arg5'=arg5P_11, [ 1+arg1P_11<=arg1 && 2+arg1P_11<=arg2 && arg1P_11<=arg3 && arg1>2 && arg2>3 && arg3>1 && arg1P_11>1 ], cost: 1
     12: f226_0_isZero_NONNULL -> f555_0_div_InvokeMethod : arg1'=arg1P_13, arg2'=arg2P_13, arg3'=arg3P_13, arg4'=arg4P_13, arg5'=arg5P_13, [ -3+arg2P_13<=arg1 && arg2P_13<=arg2 && -2+arg2P_13<=arg3 && arg1>2 && arg2>5 && arg3>3 && arg1P_13>0 && arg2P_13>5 ], cost: 1
     13: f226_0_isZero_NONNULL -> f555_0_div_InvokeMethod : arg1'=arg1P_14, arg2'=arg2P_14, arg3'=arg3P_14, arg4'=arg4P_14, arg5'=arg5P_14, [ arg2P_14<=arg2 && -2+arg2P_14<=arg3 && arg1>2 && arg2>6 && arg3>4 && arg1P_14>0 && arg2P_14>6 ], cost: 1
     14: f226_0_isZero_NONNULL -> f555_0_div_InvokeMethod : arg1'=arg1P_15, arg2'=arg2P_15, arg3'=arg3P_15, arg4'=arg4P_15, arg5'=arg5P_15, [ 1+arg1P_15<=arg1 && 5+arg1P_15<=arg2 && 3+arg1P_15<=arg3 && arg2P_15<=arg2 && -2+arg2P_15<=arg3 && arg1>2 && arg2>6 && arg3>4 && arg1P_15>1 && arg2P_15>6 ], cost: 1
     16: f226_0_isZero_NONNULL -> f287_0_isZero_NONNULL : arg1'=arg1P_17, arg2'=arg2P_17, arg3'=arg3P_17, arg4'=arg4P_17, arg5'=arg5P_17, [ 2+arg1P_17<=arg1 && 2+arg2P_17<=arg2 && arg2P_17<=arg3 && 3+arg3P_17<=arg2 && 1+arg3P_17<=arg3 && arg1>2 && arg2>2 && arg3>0 && arg1P_17>0 && arg2P_17>0 && arg3P_17>-1 ], cost: 1
     11: f534_0_div_InvokeMethod -> f226_0_isZero_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg1P_12<=arg1 && -3+arg2P_12<=arg1 && -1+arg3P_12<=arg1 && arg1>0 && arg1P_12>0 && arg2P_12>3 && arg3P_12>1 ], cost: 1
     15: f555_0_div_InvokeMethod -> f226_0_isZero_NONNULL : arg1'=arg1P_16, arg2'=arg2P_16, arg3'=arg3P_16, arg4'=arg4P_16, arg5'=arg5P_16, [ arg1P_16<=arg1 && arg2P_16<=arg2 && 2+arg3P_16<=arg2 && arg1>0 && arg2>4 && arg1P_16>0 && arg2P_16>4 && arg3P_16>2 ], cost: 1
     17: f287_0_isZero_NONNULL -> f287_0_isZero_NONNULL : arg1'=arg1P_18, arg2'=arg2P_18, arg3'=arg3P_18, arg4'=arg4P_18, arg5'=arg5P_18, [ 2+arg1P_18<=arg1 && 2+arg2P_18<=arg2 && arg2P_18<=arg3 && 3+arg3P_18<=arg2 && 1+arg3P_18<=arg3 && arg1>2 && arg2>2 && arg3>0 && arg1P_18>0 && arg2P_18>0 && arg3P_18>-1 ], cost: 1
     18: f287_0_isZero_NONNULL -> f321_0_copy_NONNULL : arg1'=arg1P_19, arg2'=arg2P_19, arg3'=arg3P_19, arg4'=arg4P_19, arg5'=arg5P_19, [ arg1P_19<=arg1 && 1+arg2P_19<=arg1 && arg1>0 && arg2>1 && arg3>-1 && arg1P_19>0 && arg2P_19>-1 ], cost: 1
     19: f321_0_copy_NONNULL -> f321_0_copy_NONNULL : arg1'=arg1P_20, arg2'=arg2P_20, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ 2+arg1P_20<=arg1 && arg1P_20<=arg2 && 3+arg2P_20<=arg1 && 1+arg2P_20<=arg2 && arg1>2 && arg2>0 && arg1P_20>0 && arg2P_20>-1 ], cost: 1
     20: __init -> f1_0_main_New : arg1'=arg1P_21, arg2'=arg2P_21, arg3'=arg3P_21, arg4'=arg4P_21, arg5'=arg5P_21, [], cost: 1

### Simplification by acceleration and chaining ###

Accelerating simple loops of location 3.
   Accelerating the following rules:
      6: f69_0__init__GT -> f69_0__init__GT : arg1'=-1+arg1, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ arg1>0 ], cost: 1

   Accelerated rule 6 with metering function arg1, yielding the new rule 21.
   Removing the simple loops: 6.

Accelerating simple loops of location 4.
   Accelerating the following rules:
      8: f226_0_isZero_NONNULL -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ 1+arg1P_9<=arg1 && 3+arg1P_9<=arg2 && 1+arg1P_9<=arg3 && arg2P_9<=arg2 && -2+arg2P_9<=arg3 && 2+arg3P_9<=arg2 && arg3P_9<=arg3 && arg1>2 && arg2>4 && arg3>2 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 ], cost: 1

      During metering: Instantiating temporary variables by {arg3P_9==-2+arg2,arg1P_9==-3+arg2,arg2P_9==2+arg3}
   Found no metering function for rule 8 (rule is too complicated).
   Removing the simple loops:.

Accelerating simple loops of location 7.
   Accelerating the following rules:
     17: f287_0_isZero_NONNULL -> f287_0_isZero_NONNULL : arg1'=arg1P_18, arg2'=arg2P_18, arg3'=arg3P_18, arg4'=arg4P_18, arg5'=arg5P_18, [ 2+arg1P_18<=arg1 && 2+arg2P_18<=arg2 && arg2P_18<=arg3 && 3+arg3P_18<=arg2 && 1+arg3P_18<=arg3 && arg1>2 && arg2>2 && arg3>0 && arg1P_18>0 && arg2P_18>0 && arg3P_18>-1 ], cost: 1

      During metering: Instantiating temporary variables by {arg3P_18==-3+arg2,arg1P_18==-2+arg1,arg2P_18==arg3}
   Found no metering function for rule 17 (rule is too complicated).
   Removing the simple loops:.

Accelerating simple loops of location 8.
   Accelerating the following rules:
     19: f321_0_copy_NONNULL -> f321_0_copy_NONNULL : arg1'=arg1P_20, arg2'=arg2P_20, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ 2+arg1P_20<=arg1 && arg1P_20<=arg2 && 3+arg2P_20<=arg1 && 1+arg2P_20<=arg2 && arg1>2 && arg2>0 && arg1P_20>0 && arg2P_20>-1 ], cost: 1

      During metering: Instantiating temporary variables by {arg1P_20==-2+arg1,arg2P_20==-3+arg1}
   Accelerated rule 19 with metering function meter (where 2*meter==-2+arg1), yielding the new rule 22.
   Removing the simple loops: 19.

Accelerated all simple loops using metering functions (where possible):
   Start location: __init
      0: f1_0_main_New -> f155_0_main_ArrayAccess : arg1'=arg1P_1, arg2'=arg2P_1, arg3'=arg2, arg4'=arg4P_1, arg5'=arg5P_1, [ arg2>0 && arg2P_1<=arg1 && arg1>0 && arg1P_1>2 && arg2P_1>0 ], cost: 1
      1: f1_0_main_New -> f155_0_main_ArrayAccess : arg1'=arg1P_2, arg2'=arg2P_2, arg3'=arg2, arg4'=arg4P_2, arg5'=arg5P_2, [ -1+arg1P_2<=arg1 && arg2>0 && arg2P_2<=arg1 && arg1>0 && arg1P_2>1 && arg2P_2>0 ], cost: 1
      4: f1_0_main_New -> f69_0__init__GT : arg1'=arg1P_5, arg2'=arg2P_5, arg3'=arg3P_5, arg4'=arg4P_5, arg5'=arg5P_5, [ arg1P_5>-1 && arg2>0 && arg1>0 ], cost: 1
      2: f155_0_main_ArrayAccess -> f201_0_main_InvokeMethod : arg1'=arg1P_3, arg2'=arg2P_3, arg3'=arg3P_3, arg4'=arg3, arg5'=arg5P_3, [ arg1>=arg1P_3 && arg3>1 && arg1P_3<=arg2 && arg1>=arg2P_3 && arg1>=-1+arg3P_3 && -1+arg3P_3<=arg2 && arg1>0 && arg2>0 && arg1P_3>0 && arg2P_3>0 && arg3P_3>1 && arg1>=2+arg5P_3 ], cost: 1
      3: f155_0_main_ArrayAccess -> f201_0_main_InvokeMethod : arg1'=arg1P_4, arg2'=arg2P_4, arg3'=arg3P_4, arg4'=arg3, arg5'=arg5P_4, [ arg3>1 && arg1P_4<=arg1 && arg1P_4<=arg2 && arg2P_4<=arg1 && arg1>0 && arg2>0 && arg1P_4>0 && arg2P_4>0 && arg3P_4>2 && 2+arg5P_4<=arg1 ], cost: 1
      5: f155_0_main_ArrayAccess -> f69_0__init__GT : arg1'=arg1P_6, arg2'=arg2P_6, arg3'=arg3P_6, arg4'=arg4P_6, arg5'=arg5P_6, [ arg1P_6>-1 && arg3>1 && arg1>0 && arg2>0 ], cost: 1
      7: f201_0_main_InvokeMethod -> f226_0_isZero_NONNULL : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ arg1P_8<=arg2 && arg4>1 && arg2P_8<=arg3 && 1+arg3P_8<=arg3 && arg1>0 && arg2>0 && arg3>0 && arg1P_8>0 && arg2P_8>0 && arg3P_8>-1 && 2+arg5<=arg2 ], cost: 1
     21: f69_0__init__GT -> f69_0__init__GT : arg1'=0, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ arg1>0 ], cost: arg1
      8: f226_0_isZero_NONNULL -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ 1+arg1P_9<=arg1 && 3+arg1P_9<=arg2 && 1+arg1P_9<=arg3 && arg2P_9<=arg2 && -2+arg2P_9<=arg3 && 2+arg3P_9<=arg2 && arg3P_9<=arg3 && arg1>2 && arg2>4 && arg3>2 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 ], cost: 1
      9: f226_0_isZero_NONNULL -> f534_0_div_InvokeMethod : arg1'=arg1P_10, arg2'=arg2P_10, arg3'=arg3P_10, arg4'=arg4P_10, arg5'=arg5P_10, [ arg1>2 && arg2>3 && arg3>1 && arg1P_10>2 ], cost: 1
     10: f226_0_isZero_NONNULL -> f534_0_div_InvokeMethod : arg1'=arg1P_11, arg2'=arg2P_11, arg3'=arg3P_11, arg4'=arg4P_11, arg5'=arg5P_11, [ 1+arg1P_11<=arg1 && 2+arg1P_11<=arg2 && arg1P_11<=arg3 && arg1>2 && arg2>3 && arg3>1 && arg1P_11>1 ], cost: 1
     12: f226_0_isZero_NONNULL -> f555_0_div_InvokeMethod : arg1'=arg1P_13, arg2'=arg2P_13, arg3'=arg3P_13, arg4'=arg4P_13, arg5'=arg5P_13, [ -3+arg2P_13<=arg1 && arg2P_13<=arg2 && -2+arg2P_13<=arg3 && arg1>2 && arg2>5 && arg3>3 && arg1P_13>0 && arg2P_13>5 ], cost: 1
     13: f226_0_isZero_NONNULL -> f555_0_div_InvokeMethod : arg1'=arg1P_14, arg2'=arg2P_14, arg3'=arg3P_14, arg4'=arg4P_14, arg5'=arg5P_14, [ arg2P_14<=arg2 && -2+arg2P_14<=arg3 && arg1>2 && arg2>6 && arg3>4 && arg1P_14>0 && arg2P_14>6 ], cost: 1
     14: f226_0_isZero_NONNULL -> f555_0_div_InvokeMethod : arg1'=arg1P_15, arg2'=arg2P_15, arg3'=arg3P_15, arg4'=arg4P_15, arg5'=arg5P_15, [ 1+arg1P_15<=arg1 && 5+arg1P_15<=arg2 && 3+arg1P_15<=arg3 && arg2P_15<=arg2 && -2+arg2P_15<=arg3 && arg1>2 && arg2>6 && arg3>4 && arg1P_15>1 && arg2P_15>6 ], cost: 1
     16: f226_0_isZero_NONNULL -> f287_0_isZero_NONNULL : arg1'=arg1P_17, arg2'=arg2P_17, arg3'=arg3P_17, arg4'=arg4P_17, arg5'=arg5P_17, [ 2+arg1P_17<=arg1 && 2+arg2P_17<=arg2 && arg2P_17<=arg3 && 3+arg3P_17<=arg2 && 1+arg3P_17<=arg3 && arg1>2 && arg2>2 && arg3>0 && arg1P_17>0 && arg2P_17>0 && arg3P_17>-1 ], cost: 1
     11: f534_0_div_InvokeMethod -> f226_0_isZero_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg1P_12<=arg1 && -3+arg2P_12<=arg1 && -1+arg3P_12<=arg1 && arg1>0 && arg1P_12>0 && arg2P_12>3 && arg3P_12>1 ], cost: 1
     15: f555_0_div_InvokeMethod -> f226_0_isZero_NONNULL : arg1'=arg1P_16, arg2'=arg2P_16, arg3'=arg3P_16, arg4'=arg4P_16, arg5'=arg5P_16, [ arg1P_16<=arg1 && arg2P_16<=arg2 && 2+arg3P_16<=arg2 && arg1>0 && arg2>4 && arg1P_16>0 && arg2P_16>4 && arg3P_16>2 ], cost: 1
     17: f287_0_isZero_NONNULL -> f287_0_isZero_NONNULL : arg1'=arg1P_18, arg2'=arg2P_18, arg3'=arg3P_18, arg4'=arg4P_18, arg5'=arg5P_18, [ 2+arg1P_18<=arg1 && 2+arg2P_18<=arg2 && arg2P_18<=arg3 && 3+arg3P_18<=arg2 && 1+arg3P_18<=arg3 && arg1>2 && arg2>2 && arg3>0 && arg1P_18>0 && arg2P_18>0 && arg3P_18>-1 ], cost: 1
     18: f287_0_isZero_NONNULL -> f321_0_copy_NONNULL : arg1'=arg1P_19, arg2'=arg2P_19, arg3'=arg3P_19, arg4'=arg4P_19, arg5'=arg5P_19, [ arg1P_19<=arg1 && 1+arg2P_19<=arg1 && arg1>0 && arg2>1 && arg3>-1 && arg1P_19>0 && arg2P_19>-1 ], cost: 1
     22: f321_0_copy_NONNULL -> f321_0_copy_NONNULL : arg1'=arg1-2*meter, arg2'=-1+arg1-2*meter, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ -2+arg1<=arg2 && arg1>2 && arg2>0 && 2*meter==-2+arg1 && meter>=1 ], cost: meter
     20: __init -> f1_0_main_New : arg1'=arg1P_21, arg2'=arg2P_21, arg3'=arg3P_21, arg4'=arg4P_21, arg5'=arg5P_21, [], cost: 1

Chained accelerated rules (with incoming rules):
   Start location: __init
      0: f1_0_main_New -> f155_0_main_ArrayAccess : arg1'=arg1P_1, arg2'=arg2P_1, arg3'=arg2, arg4'=arg4P_1, arg5'=arg5P_1, [ arg2>0 && arg2P_1<=arg1 && arg1>0 && arg1P_1>2 && arg2P_1>0 ], cost: 1
      1: f1_0_main_New -> f155_0_main_ArrayAccess : arg1'=arg1P_2, arg2'=arg2P_2, arg3'=arg2, arg4'=arg4P_2, arg5'=arg5P_2, [ -1+arg1P_2<=arg1 && arg2>0 && arg2P_2<=arg1 && arg1>0 && arg1P_2>1 && arg2P_2>0 ], cost: 1
      4: f1_0_main_New -> f69_0__init__GT : arg1'=arg1P_5, arg2'=arg2P_5, arg3'=arg3P_5, arg4'=arg4P_5, arg5'=arg5P_5, [ arg1P_5>-1 && arg2>0 && arg1>0 ], cost: 1
     23: f1_0_main_New -> f69_0__init__GT : arg1'=0, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ arg2>0 && arg1>0 && arg1P_5>0 ], cost: 1+arg1P_5
      2: f155_0_main_ArrayAccess -> f201_0_main_InvokeMethod : arg1'=arg1P_3, arg2'=arg2P_3, arg3'=arg3P_3, arg4'=arg3, arg5'=arg5P_3, [ arg1>=arg1P_3 && arg3>1 && arg1P_3<=arg2 && arg1>=arg2P_3 && arg1>=-1+arg3P_3 && -1+arg3P_3<=arg2 && arg1>0 && arg2>0 && arg1P_3>0 && arg2P_3>0 && arg3P_3>1 && arg1>=2+arg5P_3 ], cost: 1
      3: f155_0_main_ArrayAccess -> f201_0_main_InvokeMethod : arg1'=arg1P_4, arg2'=arg2P_4, arg3'=arg3P_4, arg4'=arg3, arg5'=arg5P_4, [ arg3>1 && arg1P_4<=arg1 && arg1P_4<=arg2 && arg2P_4<=arg1 && arg1>0 && arg2>0 && arg1P_4>0 && arg2P_4>0 && arg3P_4>2 && 2+arg5P_4<=arg1 ], cost: 1
      5: f155_0_main_ArrayAccess -> f69_0__init__GT : arg1'=arg1P_6, arg2'=arg2P_6, arg3'=arg3P_6, arg4'=arg4P_6, arg5'=arg5P_6, [ arg1P_6>-1 && arg3>1 && arg1>0 && arg2>0 ], cost: 1
     24: f155_0_main_ArrayAccess -> f69_0__init__GT : arg1'=0, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ arg3>1 && arg1>0 && arg2>0 && arg1P_6>0 ], cost: 1+arg1P_6
      7: f201_0_main_InvokeMethod -> f226_0_isZero_NONNULL : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ arg1P_8<=arg2 && arg4>1 && arg2P_8<=arg3 && 1+arg3P_8<=arg3 && arg1>0 && arg2>0 && arg3>0 && arg1P_8>0 && arg2P_8>0 && arg3P_8>-1 && 2+arg5<=arg2 ], cost: 1
     25: f201_0_main_InvokeMethod -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg4>1 && arg1>0 && 2+arg5<=arg2 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && 3+arg1P_9<=arg3 && arg2P_9<=arg3 && 2+arg3P_9<=arg3 && 5<=arg3 && 1+arg1P_9<=arg2 && 3<=arg2 ], cost: 2
      9: f226_0_isZero_NONNULL -> f534_0_div_InvokeMethod : arg1'=arg1P_10, arg2'=arg2P_10, arg3'=arg3P_10, arg4'=arg4P_10, arg5'=arg5P_10, [ arg1>2 && arg2>3 && arg3>1 && arg1P_10>2 ], cost: 1
     10: f226_0_isZero_NONNULL -> f534_0_div_InvokeMethod : arg1'=arg1P_11, arg2'=arg2P_11, arg3'=arg3P_11, arg4'=arg4P_11, arg5'=arg5P_11, [ 1+arg1P_11<=arg1 && 2+arg1P_11<=arg2 && arg1P_11<=arg3 && arg1>2 && arg2>3 && arg3>1 && arg1P_11>1 ], cost: 1
     12: f226_0_isZero_NONNULL -> f555_0_div_InvokeMethod : arg1'=arg1P_13, arg2'=arg2P_13, arg3'=arg3P_13, arg4'=arg4P_13, arg5'=arg5P_13, [ -3+arg2P_13<=arg1 && arg2P_13<=arg2 && -2+arg2P_13<=arg3 && arg1>2 && arg2>5 && arg3>3 && arg1P_13>0 && arg2P_13>5 ], cost: 1
     13: f226_0_isZero_NONNULL -> f555_0_div_InvokeMethod : arg1'=arg1P_14, arg2'=arg2P_14, arg3'=arg3P_14, arg4'=arg4P_14, arg5'=arg5P_14, [ arg2P_14<=arg2 && -2+arg2P_14<=arg3 && arg1>2 && arg2>6 && arg3>4 && arg1P_14>0 && arg2P_14>6 ], cost: 1
     14: f226_0_isZero_NONNULL -> f555_0_div_InvokeMethod : arg1'=arg1P_15, arg2'=arg2P_15, arg3'=arg3P_15, arg4'=arg4P_15, arg5'=arg5P_15, [ 1+arg1P_15<=arg1 && 5+arg1P_15<=arg2 && 3+arg1P_15<=arg3 && arg2P_15<=arg2 && -2+arg2P_15<=arg3 && arg1>2 && arg2>6 && arg3>4 && arg1P_15>1 && arg2P_15>6 ], cost: 1
     16: f226_0_isZero_NONNULL -> f287_0_isZero_NONNULL : arg1'=arg1P_17, arg2'=arg2P_17, arg3'=arg3P_17, arg4'=arg4P_17, arg5'=arg5P_17, [ 2+arg1P_17<=arg1 && 2+arg2P_17<=arg2 && arg2P_17<=arg3 && 3+arg3P_17<=arg2 && 1+arg3P_17<=arg3 && arg1>2 && arg2>2 && arg3>0 && arg1P_17>0 && arg2P_17>0 && arg3P_17>-1 ], cost: 1
     28: f226_0_isZero_NONNULL -> f287_0_isZero_NONNULL : arg1'=arg1P_18, arg2'=arg2P_18, arg3'=arg3P_18, arg4'=arg4P_18, arg5'=arg5P_18, [ arg1P_18>0 && arg2P_18>0 && arg3P_18>-1 && 2+arg2P_18<=-2+arg2 && 3+arg3P_18<=-2+arg2 && 3<=-2+arg2 && 2+arg2P_18<=arg3 && 3+arg3P_18<=arg3 && 3<=arg3 && 2+arg1P_18<=-2+arg1 && 3<=-2+arg1 ], cost: 2
     11: f534_0_div_InvokeMethod -> f226_0_isZero_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg1P_12<=arg1 && -3+arg2P_12<=arg1 && -1+arg3P_12<=arg1 && arg1>0 && arg1P_12>0 && arg2P_12>3 && arg3P_12>1 ], cost: 1
     26: f534_0_div_InvokeMethod -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && arg2P_9<=3+arg1 && 2+arg3P_9<=3+arg1 && 1+arg1P_9<=arg1 && 3<=arg1 ], cost: 2
     15: f555_0_div_InvokeMethod -> f226_0_isZero_NONNULL : arg1'=arg1P_16, arg2'=arg2P_16, arg3'=arg3P_16, arg4'=arg4P_16, arg5'=arg5P_16, [ arg1P_16<=arg1 && arg2P_16<=arg2 && 2+arg3P_16<=arg2 && arg1>0 && arg2>4 && arg1P_16>0 && arg2P_16>4 && arg3P_16>2 ], cost: 1
     27: f555_0_div_InvokeMethod -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg2>4 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && 1+arg1P_9<=arg1 && 3<=arg1 && 3+arg1P_9<=arg2 && arg2P_9<=arg2 && 2+arg3P_9<=arg2 ], cost: 2
     18: f287_0_isZero_NONNULL -> f321_0_copy_NONNULL : arg1'=arg1P_19, arg2'=arg2P_19, arg3'=arg3P_19, arg4'=arg4P_19, arg5'=arg5P_19, [ arg1P_19<=arg1 && 1+arg2P_19<=arg1 && arg1>0 && arg2>1 && arg3>-1 && arg1P_19>0 && arg2P_19>-1 ], cost: 1
     29: f287_0_isZero_NONNULL -> f321_0_copy_NONNULL : arg1'=2, arg2'=1, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ 2+2*meter<=arg1 && arg2>1 && arg3>-1 && 2+2*meter>2 && meter>=1 && 1<=-1+arg1 ], cost: 1+meter
     20: __init -> f1_0_main_New : arg1'=arg1P_21, arg2'=arg2P_21, arg3'=arg3P_21, arg4'=arg4P_21, arg5'=arg5P_21, [], cost: 1

Removed unreachable locations (and leaf rules with constant cost):
   Start location: __init
      0: f1_0_main_New -> f155_0_main_ArrayAccess : arg1'=arg1P_1, arg2'=arg2P_1, arg3'=arg2, arg4'=arg4P_1, arg5'=arg5P_1, [ arg2>0 && arg2P_1<=arg1 && arg1>0 && arg1P_1>2 && arg2P_1>0 ], cost: 1
      1: f1_0_main_New -> f155_0_main_ArrayAccess : arg1'=arg1P_2, arg2'=arg2P_2, arg3'=arg2, arg4'=arg4P_2, arg5'=arg5P_2, [ -1+arg1P_2<=arg1 && arg2>0 && arg2P_2<=arg1 && arg1>0 && arg1P_2>1 && arg2P_2>0 ], cost: 1
     23: f1_0_main_New -> f69_0__init__GT : arg1'=0, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ arg2>0 && arg1>0 && arg1P_5>0 ], cost: 1+arg1P_5
      2: f155_0_main_ArrayAccess -> f201_0_main_InvokeMethod : arg1'=arg1P_3, arg2'=arg2P_3, arg3'=arg3P_3, arg4'=arg3, arg5'=arg5P_3, [ arg1>=arg1P_3 && arg3>1 && arg1P_3<=arg2 && arg1>=arg2P_3 && arg1>=-1+arg3P_3 && -1+arg3P_3<=arg2 && arg1>0 && arg2>0 && arg1P_3>0 && arg2P_3>0 && arg3P_3>1 && arg1>=2+arg5P_3 ], cost: 1
      3: f155_0_main_ArrayAccess -> f201_0_main_InvokeMethod : arg1'=arg1P_4, arg2'=arg2P_4, arg3'=arg3P_4, arg4'=arg3, arg5'=arg5P_4, [ arg3>1 && arg1P_4<=arg1 && arg1P_4<=arg2 && arg2P_4<=arg1 && arg1>0 && arg2>0 && arg1P_4>0 && arg2P_4>0 && arg3P_4>2 && 2+arg5P_4<=arg1 ], cost: 1
     24: f155_0_main_ArrayAccess -> f69_0__init__GT : arg1'=0, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ arg3>1 && arg1>0 && arg2>0 && arg1P_6>0 ], cost: 1+arg1P_6
      7: f201_0_main_InvokeMethod -> f226_0_isZero_NONNULL : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ arg1P_8<=arg2 && arg4>1 && arg2P_8<=arg3 && 1+arg3P_8<=arg3 && arg1>0 && arg2>0 && arg3>0 && arg1P_8>0 && arg2P_8>0 && arg3P_8>-1 && 2+arg5<=arg2 ], cost: 1
     25: f201_0_main_InvokeMethod -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg4>1 && arg1>0 && 2+arg5<=arg2 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && 3+arg1P_9<=arg3 && arg2P_9<=arg3 && 2+arg3P_9<=arg3 && 5<=arg3 && 1+arg1P_9<=arg2 && 3<=arg2 ], cost: 2
      9: f226_0_isZero_NONNULL -> f534_0_div_InvokeMethod : arg1'=arg1P_10, arg2'=arg2P_10, arg3'=arg3P_10, arg4'=arg4P_10, arg5'=arg5P_10, [ arg1>2 && arg2>3 && arg3>1 && arg1P_10>2 ], cost: 1
     10: f226_0_isZero_NONNULL -> f534_0_div_InvokeMethod : arg1'=arg1P_11, arg2'=arg2P_11, arg3'=arg3P_11, arg4'=arg4P_11, arg5'=arg5P_11, [ 1+arg1P_11<=arg1 && 2+arg1P_11<=arg2 && arg1P_11<=arg3 && arg1>2 && arg2>3 && arg3>1 && arg1P_11>1 ], cost: 1
     12: f226_0_isZero_NONNULL -> f555_0_div_InvokeMethod : arg1'=arg1P_13, arg2'=arg2P_13, arg3'=arg3P_13, arg4'=arg4P_13, arg5'=arg5P_13, [ -3+arg2P_13<=arg1 && arg2P_13<=arg2 && -2+arg2P_13<=arg3 && arg1>2 && arg2>5 && arg3>3 && arg1P_13>0 && arg2P_13>5 ], cost: 1
     13: f226_0_isZero_NONNULL -> f555_0_div_InvokeMethod : arg1'=arg1P_14, arg2'=arg2P_14, arg3'=arg3P_14, arg4'=arg4P_14, arg5'=arg5P_14, [ arg2P_14<=arg2 && -2+arg2P_14<=arg3 && arg1>2 && arg2>6 && arg3>4 && arg1P_14>0 && arg2P_14>6 ], cost: 1
     14: f226_0_isZero_NONNULL -> f555_0_div_InvokeMethod : arg1'=arg1P_15, arg2'=arg2P_15, arg3'=arg3P_15, arg4'=arg4P_15, arg5'=arg5P_15, [ 1+arg1P_15<=arg1 && 5+arg1P_15<=arg2 && 3+arg1P_15<=arg3 && arg2P_15<=arg2 && -2+arg2P_15<=arg3 && arg1>2 && arg2>6 && arg3>4 && arg1P_15>1 && arg2P_15>6 ], cost: 1
     16: f226_0_isZero_NONNULL -> f287_0_isZero_NONNULL : arg1'=arg1P_17, arg2'=arg2P_17, arg3'=arg3P_17, arg4'=arg4P_17, arg5'=arg5P_17, [ 2+arg1P_17<=arg1 && 2+arg2P_17<=arg2 && arg2P_17<=arg3 && 3+arg3P_17<=arg2 && 1+arg3P_17<=arg3 && arg1>2 && arg2>2 && arg3>0 && arg1P_17>0 && arg2P_17>0 && arg3P_17>-1 ], cost: 1
     28: f226_0_isZero_NONNULL -> f287_0_isZero_NONNULL : arg1'=arg1P_18, arg2'=arg2P_18, arg3'=arg3P_18, arg4'=arg4P_18, arg5'=arg5P_18, [ arg1P_18>0 && arg2P_18>0 && arg3P_18>-1 && 2+arg2P_18<=-2+arg2 && 3+arg3P_18<=-2+arg2 && 3<=-2+arg2 && 2+arg2P_18<=arg3 && 3+arg3P_18<=arg3 && 3<=arg3 && 2+arg1P_18<=-2+arg1 && 3<=-2+arg1 ], cost: 2
     11: f534_0_div_InvokeMethod -> f226_0_isZero_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg1P_12<=arg1 && -3+arg2P_12<=arg1 && -1+arg3P_12<=arg1 && arg1>0 && arg1P_12>0 && arg2P_12>3 && arg3P_12>1 ], cost: 1
     26: f534_0_div_InvokeMethod -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && arg2P_9<=3+arg1 && 2+arg3P_9<=3+arg1 && 1+arg1P_9<=arg1 && 3<=arg1 ], cost: 2
     15: f555_0_div_InvokeMethod -> f226_0_isZero_NONNULL : arg1'=arg1P_16, arg2'=arg2P_16, arg3'=arg3P_16, arg4'=arg4P_16, arg5'=arg5P_16, [ arg1P_16<=arg1 && arg2P_16<=arg2 && 2+arg3P_16<=arg2 && arg1>0 && arg2>4 && arg1P_16>0 && arg2P_16>4 && arg3P_16>2 ], cost: 1
     27: f555_0_div_InvokeMethod -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg2>4 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && 1+arg1P_9<=arg1 && 3<=arg1 && 3+arg1P_9<=arg2 && arg2P_9<=arg2 && 2+arg3P_9<=arg2 ], cost: 2
     29: f287_0_isZero_NONNULL -> f321_0_copy_NONNULL : arg1'=2, arg2'=1, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ 2+2*meter<=arg1 && arg2>1 && arg3>-1 && 2+2*meter>2 && meter>=1 && 1<=-1+arg1 ], cost: 1+meter
     20: __init -> f1_0_main_New : arg1'=arg1P_21, arg2'=arg2P_21, arg3'=arg3P_21, arg4'=arg4P_21, arg5'=arg5P_21, [], cost: 1

Eliminated locations (on tree-shaped paths):
   Start location: __init
     24: f155_0_main_ArrayAccess -> f69_0__init__GT : arg1'=0, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ arg3>1 && arg1>0 && arg2>0 && arg1P_6>0 ], cost: 1+arg1P_6
     33: f155_0_main_ArrayAccess -> f226_0_isZero_NONNULL : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ arg1>=arg1P_3 && arg3>1 && arg1P_3<=arg2 && arg1>=arg2P_3 && arg1>=-1+arg3P_3 && -1+arg3P_3<=arg2 && arg1>0 && arg2>0 && arg1P_3>0 && arg2P_3>0 && arg3P_3>1 && arg1>=2+arg5P_3 && arg1P_8<=arg2P_3 && arg2P_8<=arg3P_3 && 1+arg3P_8<=arg3P_3 && arg1P_8>0 && arg2P_8>0 && arg3P_8>-1 && 2+arg5P_3<=arg2P_3 ], cost: 2
     34: f155_0_main_ArrayAccess -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg1>=arg1P_3 && arg3>1 && arg1P_3<=arg2 && arg1>=arg2P_3 && arg1>=-1+arg3P_3 && -1+arg3P_3<=arg2 && arg1>0 && arg2>0 && arg1P_3>0 && arg1>=2+arg5P_3 && 2+arg5P_3<=arg2P_3 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && 3+arg1P_9<=arg3P_3 && arg2P_9<=arg3P_3 && 2+arg3P_9<=arg3P_3 && 5<=arg3P_3 && 1+arg1P_9<=arg2P_3 && 3<=arg2P_3 ], cost: 3
     35: f155_0_main_ArrayAccess -> f226_0_isZero_NONNULL : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ arg3>1 && arg1P_4<=arg1 && arg1P_4<=arg2 && arg2P_4<=arg1 && arg1>0 && arg2>0 && arg1P_4>0 && arg2P_4>0 && arg3P_4>2 && 2+arg5P_4<=arg1 && arg1P_8<=arg2P_4 && arg2P_8<=arg3P_4 && 1+arg3P_8<=arg3P_4 && arg1P_8>0 && arg2P_8>0 && arg3P_8>-1 && 2+arg5P_4<=arg2P_4 ], cost: 2
     36: f155_0_main_ArrayAccess -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg3>1 && arg1P_4<=arg1 && arg1P_4<=arg2 && arg2P_4<=arg1 && arg1>0 && arg2>0 && arg1P_4>0 && 2+arg5P_4<=arg1 && 2+arg5P_4<=arg2P_4 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && 3+arg1P_9<=arg3P_4 && arg2P_9<=arg3P_4 && 2+arg3P_9<=arg3P_4 && 5<=arg3P_4 && 1+arg1P_9<=arg2P_4 && 3<=arg2P_4 ], cost: 3
     37: f226_0_isZero_NONNULL -> f226_0_isZero_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg1>2 && arg2>3 && arg3>1 && arg1P_10>2 && arg1P_12<=arg1P_10 && -3+arg2P_12<=arg1P_10 && -1+arg3P_12<=arg1P_10 && arg1P_12>0 && arg2P_12>3 && arg3P_12>1 ], cost: 2
     38: f226_0_isZero_NONNULL -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg1>2 && arg2>3 && arg3>1 && arg1P_10>2 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && arg2P_9<=3+arg1P_10 && 2+arg3P_9<=3+arg1P_10 && 1+arg1P_9<=arg1P_10 ], cost: 3
     39: f226_0_isZero_NONNULL -> f226_0_isZero_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ 1+arg1P_11<=arg1 && 2+arg1P_11<=arg2 && arg1P_11<=arg3 && arg1>2 && arg2>3 && arg3>1 && arg1P_11>1 && arg1P_12<=arg1P_11 && -3+arg2P_12<=arg1P_11 && -1+arg3P_12<=arg1P_11 && arg1P_12>0 && arg2P_12>3 && arg3P_12>1 ], cost: 2
     40: f226_0_isZero_NONNULL -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ 1+arg1P_11<=arg1 && 2+arg1P_11<=arg2 && arg1P_11<=arg3 && arg1>2 && arg2>3 && arg3>1 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && arg2P_9<=3+arg1P_11 && 2+arg3P_9<=3+arg1P_11 && 1+arg1P_9<=arg1P_11 && 3<=arg1P_11 ], cost: 3
     41: f226_0_isZero_NONNULL -> f226_0_isZero_NONNULL : arg1'=arg1P_16, arg2'=arg2P_16, arg3'=arg3P_16, arg4'=arg4P_16, arg5'=arg5P_16, [ -3+arg2P_13<=arg1 && arg2P_13<=arg2 && -2+arg2P_13<=arg3 && arg1>2 && arg2>5 && arg3>3 && arg1P_13>0 && arg2P_13>5 && arg1P_16<=arg1P_13 && arg2P_16<=arg2P_13 && 2+arg3P_16<=arg2P_13 && arg1P_16>0 && arg2P_16>4 && arg3P_16>2 ], cost: 2
     42: f226_0_isZero_NONNULL -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ -3+arg2P_13<=arg1 && arg2P_13<=arg2 && -2+arg2P_13<=arg3 && arg1>2 && arg2>5 && arg3>3 && arg2P_13>5 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && 1+arg1P_9<=arg1P_13 && 3<=arg1P_13 && 3+arg1P_9<=arg2P_13 && arg2P_9<=arg2P_13 && 2+arg3P_9<=arg2P_13 ], cost: 3
     43: f226_0_isZero_NONNULL -> f226_0_isZero_NONNULL : arg1'=arg1P_16, arg2'=arg2P_16, arg3'=arg3P_16, arg4'=arg4P_16, arg5'=arg5P_16, [ arg2P_14<=arg2 && -2+arg2P_14<=arg3 && arg1>2 && arg2>6 && arg3>4 && arg1P_14>0 && arg2P_14>6 && arg1P_16<=arg1P_14 && arg2P_16<=arg2P_14 && 2+arg3P_16<=arg2P_14 && arg1P_16>0 && arg2P_16>4 && arg3P_16>2 ], cost: 2
     44: f226_0_isZero_NONNULL -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg2P_14<=arg2 && -2+arg2P_14<=arg3 && arg1>2 && arg2>6 && arg3>4 && arg2P_14>6 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && 1+arg1P_9<=arg1P_14 && 3<=arg1P_14 && 3+arg1P_9<=arg2P_14 && arg2P_9<=arg2P_14 && 2+arg3P_9<=arg2P_14 ], cost: 3
     45: f226_0_isZero_NONNULL -> f226_0_isZero_NONNULL : arg1'=arg1P_16, arg2'=arg2P_16, arg3'=arg3P_16, arg4'=arg4P_16, arg5'=arg5P_16, [ 1+arg1P_15<=arg1 && 5+arg1P_15<=arg2 && 3+arg1P_15<=arg3 && arg2P_15<=arg2 && -2+arg2P_15<=arg3 && arg1>2 && arg2>6 && arg3>4 && arg1P_15>1 && arg2P_15>6 && arg1P_16<=arg1P_15 && arg2P_16<=arg2P_15 && 2+arg3P_16<=arg2P_15 && arg1P_16>0 && arg2P_16>4 && arg3P_16>2 ], cost: 2
     46: f226_0_isZero_NONNULL -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ 1+arg1P_15<=arg1 && 5+arg1P_15<=arg2 && 3+arg1P_15<=arg3 && arg2P_15<=arg2 && -2+arg2P_15<=arg3 && arg1>2 && arg2>6 && arg3>4 && arg2P_15>6 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && 1+arg1P_9<=arg1P_15 && 3<=arg1P_15 && 3+arg1P_9<=arg2P_15 && arg2P_9<=arg2P_15 && 2+arg3P_9<=arg2P_15 ], cost: 3
     47: f226_0_isZero_NONNULL -> f321_0_copy_NONNULL : arg1'=2, arg2'=1, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ 2+arg1P_17<=arg1 && 2+arg2P_17<=arg2 && arg2P_17<=arg3 && 3+arg3P_17<=arg2 && 1+arg3P_17<=arg3 && arg1>2 && arg2>2 && arg3>0 && arg3P_17>-1 && 2+2*meter<=arg1P_17 && arg2P_17>1 && 2+2*meter>2 && meter>=1 && 1<=-1+arg1P_17 ], cost: 2+meter
     48: f226_0_isZero_NONNULL -> f321_0_copy_NONNULL : arg1'=2, arg2'=1, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ arg3P_18>-1 && 2+arg2P_18<=-2+arg2 && 3+arg3P_18<=-2+arg2 && 3<=-2+arg2 && 2+arg2P_18<=arg3 && 3+arg3P_18<=arg3 && 3<=arg3 && 2+arg1P_18<=-2+arg1 && 3<=-2+arg1 && 2+2*meter<=arg1P_18 && arg2P_18>1 && 2+2*meter>2 && meter>=1 && 1<=-1+arg1P_18 ], cost: 3+meter
     30: __init -> f155_0_main_ArrayAccess : arg1'=arg1P_1, arg2'=arg2P_1, arg3'=arg2P_21, arg4'=arg4P_1, arg5'=arg5P_1, [ arg2P_21>0 && arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 ], cost: 2
     31: __init -> f155_0_main_ArrayAccess : arg1'=arg1P_2, arg2'=arg2P_2, arg3'=arg2P_21, arg4'=arg4P_2, arg5'=arg5P_2, [ -1+arg1P_2<=arg1P_21 && arg2P_21>0 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg1P_2>1 && arg2P_2>0 ], cost: 2
     32: __init -> f69_0__init__GT : arg1'=0, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ arg2P_21>0 && arg1P_21>0 && arg1P_5>0 ], cost: 2+arg1P_5

Applied pruning (of leafs and parallel rules):
   Start location: __init
     24: f155_0_main_ArrayAccess -> f69_0__init__GT : arg1'=0, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ arg3>1 && arg1>0 && arg2>0 && arg1P_6>0 ], cost: 1+arg1P_6
     33: f155_0_main_ArrayAccess -> f226_0_isZero_NONNULL : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ arg1>=arg1P_3 && arg3>1 && arg1P_3<=arg2 && arg1>=arg2P_3 && arg1>=-1+arg3P_3 && -1+arg3P_3<=arg2 && arg1>0 && arg2>0 && arg1P_3>0 && arg2P_3>0 && arg3P_3>1 && arg1>=2+arg5P_3 && arg1P_8<=arg2P_3 && arg2P_8<=arg3P_3 && 1+arg3P_8<=arg3P_3 && arg1P_8>0 && arg2P_8>0 && arg3P_8>-1 && 2+arg5P_3<=arg2P_3 ], cost: 2
     34: f155_0_main_ArrayAccess -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg1>=arg1P_3 && arg3>1 && arg1P_3<=arg2 && arg1>=arg2P_3 && arg1>=-1+arg3P_3 && -1+arg3P_3<=arg2 && arg1>0 && arg2>0 && arg1P_3>0 && arg1>=2+arg5P_3 && 2+arg5P_3<=arg2P_3 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && 3+arg1P_9<=arg3P_3 && arg2P_9<=arg3P_3 && 2+arg3P_9<=arg3P_3 && 5<=arg3P_3 && 1+arg1P_9<=arg2P_3 && 3<=arg2P_3 ], cost: 3
     35: f155_0_main_ArrayAccess -> f226_0_isZero_NONNULL : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ arg3>1 && arg1P_4<=arg1 && arg1P_4<=arg2 && arg2P_4<=arg1 && arg1>0 && arg2>0 && arg1P_4>0 && arg2P_4>0 && arg3P_4>2 && 2+arg5P_4<=arg1 && arg1P_8<=arg2P_4 && arg2P_8<=arg3P_4 && 1+arg3P_8<=arg3P_4 && arg1P_8>0 && arg2P_8>0 && arg3P_8>-1 && 2+arg5P_4<=arg2P_4 ], cost: 2
     36: f155_0_main_ArrayAccess -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg3>1 && arg1P_4<=arg1 && arg1P_4<=arg2 && arg2P_4<=arg1 && arg1>0 && arg2>0 && arg1P_4>0 && 2+arg5P_4<=arg1 && 2+arg5P_4<=arg2P_4 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && 3+arg1P_9<=arg3P_4 && arg2P_9<=arg3P_4 && 2+arg3P_9<=arg3P_4 && 5<=arg3P_4 && 1+arg1P_9<=arg2P_4 && 3<=arg2P_4 ], cost: 3
     37: f226_0_isZero_NONNULL -> f226_0_isZero_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg1>2 && arg2>3 && arg3>1 && arg1P_10>2 && arg1P_12<=arg1P_10 && -3+arg2P_12<=arg1P_10 && -1+arg3P_12<=arg1P_10 && arg1P_12>0 && arg2P_12>3 && arg3P_12>1 ], cost: 2
     38: f226_0_isZero_NONNULL -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg1>2 && arg2>3 && arg3>1 && arg1P_10>2 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && arg2P_9<=3+arg1P_10 && 2+arg3P_9<=3+arg1P_10 && 1+arg1P_9<=arg1P_10 ], cost: 3
     40: f226_0_isZero_NONNULL -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ 1+arg1P_11<=arg1 && 2+arg1P_11<=arg2 && arg1P_11<=arg3 && arg1>2 && arg2>3 && arg3>1 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && arg2P_9<=3+arg1P_11 && 2+arg3P_9<=3+arg1P_11 && 1+arg1P_9<=arg1P_11 && 3<=arg1P_11 ], cost: 3
     41: f226_0_isZero_NONNULL -> f226_0_isZero_NONNULL : arg1'=arg1P_16, arg2'=arg2P_16, arg3'=arg3P_16, arg4'=arg4P_16, arg5'=arg5P_16, [ -3+arg2P_13<=arg1 && arg2P_13<=arg2 && -2+arg2P_13<=arg3 && arg1>2 && arg2>5 && arg3>3 && arg1P_13>0 && arg2P_13>5 && arg1P_16<=arg1P_13 && arg2P_16<=arg2P_13 && 2+arg3P_16<=arg2P_13 && arg1P_16>0 && arg2P_16>4 && arg3P_16>2 ], cost: 2
     42: f226_0_isZero_NONNULL -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ -3+arg2P_13<=arg1 && arg2P_13<=arg2 && -2+arg2P_13<=arg3 && arg1>2 && arg2>5 && arg3>3 && arg2P_13>5 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && 1+arg1P_9<=arg1P_13 && 3<=arg1P_13 && 3+arg1P_9<=arg2P_13 && arg2P_9<=arg2P_13 && 2+arg3P_9<=arg2P_13 ], cost: 3
     47: f226_0_isZero_NONNULL -> f321_0_copy_NONNULL : arg1'=2, arg2'=1, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ 2+arg1P_17<=arg1 && 2+arg2P_17<=arg2 && arg2P_17<=arg3 && 3+arg3P_17<=arg2 && 1+arg3P_17<=arg3 && arg1>2 && arg2>2 && arg3>0 && arg3P_17>-1 && 2+2*meter<=arg1P_17 && arg2P_17>1 && 2+2*meter>2 && meter>=1 && 1<=-1+arg1P_17 ], cost: 2+meter
     48: f226_0_isZero_NONNULL -> f321_0_copy_NONNULL : arg1'=2, arg2'=1, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ arg3P_18>-1 && 2+arg2P_18<=-2+arg2 && 3+arg3P_18<=-2+arg2 && 3<=-2+arg2 && 2+arg2P_18<=arg3 && 3+arg3P_18<=arg3 && 3<=arg3 && 2+arg1P_18<=-2+arg1 && 3<=-2+arg1 && 2+2*meter<=arg1P_18 && arg2P_18>1 && 2+2*meter>2 && meter>=1 && 1<=-1+arg1P_18 ], cost: 3+meter
     30: __init -> f155_0_main_ArrayAccess : arg1'=arg1P_1, arg2'=arg2P_1, arg3'=arg2P_21, arg4'=arg4P_1, arg5'=arg5P_1, [ arg2P_21>0 && arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 ], cost: 2
     31: __init -> f155_0_main_ArrayAccess : arg1'=arg1P_2, arg2'=arg2P_2, arg3'=arg2P_21, arg4'=arg4P_2, arg5'=arg5P_2, [ -1+arg1P_2<=arg1P_21 && arg2P_21>0 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg1P_2>1 && arg2P_2>0 ], cost: 2
     32: __init -> f69_0__init__GT : arg1'=0, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ arg2P_21>0 && arg1P_21>0 && arg1P_5>0 ], cost: 2+arg1P_5

Accelerating simple loops of location 4.
   Simplified some of the simple loops (and removed duplicate rules).
   Accelerating the following rules:
     37: f226_0_isZero_NONNULL -> f226_0_isZero_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg1>2 && arg2>3 && arg3>1 && arg1P_12>0 && arg2P_12>3 && arg3P_12>1 ], cost: 2
     38: f226_0_isZero_NONNULL -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg1>2 && arg2>3 && arg3>1 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 ], cost: 3
     40: f226_0_isZero_NONNULL -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && -3+arg2P_9<=-1+arg1 && -1+arg3P_9<=-1+arg1 && 1+arg1P_9<=-1+arg1 && 3<=-1+arg1 && -3+arg2P_9<=-2+arg2 && -1+arg3P_9<=-2+arg2 && 1+arg1P_9<=-2+arg2 && 3<=-2+arg2 && -3+arg2P_9<=arg3 && -1+arg3P_9<=arg3 && 1+arg1P_9<=arg3 && 3<=arg3 ], cost: 3
     41: f226_0_isZero_NONNULL -> f226_0_isZero_NONNULL : arg1'=arg1P_16, arg2'=arg2P_16, arg3'=arg3P_16, arg4'=arg4P_16, arg5'=arg5P_16, [ arg1>2 && arg2>5 && arg3>3 && arg1P_16>0 && arg2P_16>4 && arg3P_16>2 && arg2P_16<=3+arg1 && 2+arg3P_16<=3+arg1 && arg2P_16<=arg2 && 2+arg3P_16<=arg2 && arg2P_16<=2+arg3 && 2+arg3P_16<=2+arg3 ], cost: 2
     42: f226_0_isZero_NONNULL -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg1>2 && arg2>5 && arg3>3 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && 3+arg1P_9<=3+arg1 && arg2P_9<=3+arg1 && 2+arg3P_9<=3+arg1 && 3+arg1P_9<=arg2 && arg2P_9<=arg2 && 2+arg3P_9<=arg2 && 3+arg1P_9<=2+arg3 && arg2P_9<=2+arg3 && 2+arg3P_9<=2+arg3 ], cost: 3

   Accelerated rule 37 with NONTERM (after strengthening guard), yielding the new rule 49.
   Accelerated rule 38 with NONTERM (after strengthening guard), yielding the new rule 50.
      During metering: Instantiating temporary variables by {arg3P_9==arg1,arg1P_9==-3+arg2,arg2P_9==1+arg2}
   Accelerated rule 40 with metering function meter_1 (where 3*meter_1==2+arg1-arg2), yielding the new rule 51.
   Accelerated rule 41 with NONTERM (after strengthening guard), yielding the new rule 52.
      During metering: Instantiating temporary variables by {arg3P_9==3,arg1P_9==-3+arg2,arg2P_9==3+arg1}
   Found no metering function for rule 42 (rule is too complicated).
   Removing the simple loops: 40.

Accelerated all simple loops using metering functions (where possible):
   Start location: __init
     24: f155_0_main_ArrayAccess -> f69_0__init__GT : arg1'=0, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ arg3>1 && arg1>0 && arg2>0 && arg1P_6>0 ], cost: 1+arg1P_6
     33: f155_0_main_ArrayAccess -> f226_0_isZero_NONNULL : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ arg1>=arg1P_3 && arg3>1 && arg1P_3<=arg2 && arg1>=arg2P_3 && arg1>=-1+arg3P_3 && -1+arg3P_3<=arg2 && arg1>0 && arg2>0 && arg1P_3>0 && arg2P_3>0 && arg3P_3>1 && arg1>=2+arg5P_3 && arg1P_8<=arg2P_3 && arg2P_8<=arg3P_3 && 1+arg3P_8<=arg3P_3 && arg1P_8>0 && arg2P_8>0 && arg3P_8>-1 && 2+arg5P_3<=arg2P_3 ], cost: 2
     34: f155_0_main_ArrayAccess -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg1>=arg1P_3 && arg3>1 && arg1P_3<=arg2 && arg1>=arg2P_3 && arg1>=-1+arg3P_3 && -1+arg3P_3<=arg2 && arg1>0 && arg2>0 && arg1P_3>0 && arg1>=2+arg5P_3 && 2+arg5P_3<=arg2P_3 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && 3+arg1P_9<=arg3P_3 && arg2P_9<=arg3P_3 && 2+arg3P_9<=arg3P_3 && 5<=arg3P_3 && 1+arg1P_9<=arg2P_3 && 3<=arg2P_3 ], cost: 3
     35: f155_0_main_ArrayAccess -> f226_0_isZero_NONNULL : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ arg3>1 && arg1P_4<=arg1 && arg1P_4<=arg2 && arg2P_4<=arg1 && arg1>0 && arg2>0 && arg1P_4>0 && arg2P_4>0 && arg3P_4>2 && 2+arg5P_4<=arg1 && arg1P_8<=arg2P_4 && arg2P_8<=arg3P_4 && 1+arg3P_8<=arg3P_4 && arg1P_8>0 && arg2P_8>0 && arg3P_8>-1 && 2+arg5P_4<=arg2P_4 ], cost: 2
     36: f155_0_main_ArrayAccess -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg3>1 && arg1P_4<=arg1 && arg1P_4<=arg2 && arg2P_4<=arg1 && arg1>0 && arg2>0 && arg1P_4>0 && 2+arg5P_4<=arg1 && 2+arg5P_4<=arg2P_4 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && 3+arg1P_9<=arg3P_4 && arg2P_9<=arg3P_4 && 2+arg3P_9<=arg3P_4 && 5<=arg3P_4 && 1+arg1P_9<=arg2P_4 && 3<=arg2P_4 ], cost: 3
     37: f226_0_isZero_NONNULL -> f226_0_isZero_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg1>2 && arg2>3 && arg3>1 && arg1P_12>0 && arg2P_12>3 && arg3P_12>1 ], cost: 2
     38: f226_0_isZero_NONNULL -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg1>2 && arg2>3 && arg3>1 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 ], cost: 3
     41: f226_0_isZero_NONNULL -> f226_0_isZero_NONNULL : arg1'=arg1P_16, arg2'=arg2P_16, arg3'=arg3P_16, arg4'=arg4P_16, arg5'=arg5P_16, [ arg1>2 && arg2>5 && arg3>3 && arg1P_16>0 && arg2P_16>4 && arg3P_16>2 && arg2P_16<=3+arg1 && 2+arg3P_16<=3+arg1 && arg2P_16<=arg2 && 2+arg3P_16<=arg2 && arg2P_16<=2+arg3 && 2+arg3P_16<=2+arg3 ], cost: 2
     42: f226_0_isZero_NONNULL -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg1>2 && arg2>5 && arg3>3 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && 3+arg1P_9<=3+arg1 && arg2P_9<=3+arg1 && 2+arg3P_9<=3+arg1 && 3+arg1P_9<=arg2 && arg2P_9<=arg2 && 2+arg3P_9<=arg2 && 3+arg1P_9<=2+arg3 && arg2P_9<=2+arg3 && 2+arg3P_9<=2+arg3 ], cost: 3
     47: f226_0_isZero_NONNULL -> f321_0_copy_NONNULL : arg1'=2, arg2'=1, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ 2+arg1P_17<=arg1 && 2+arg2P_17<=arg2 && arg2P_17<=arg3 && 3+arg3P_17<=arg2 && 1+arg3P_17<=arg3 && arg1>2 && arg2>2 && arg3>0 && arg3P_17>-1 && 2+2*meter<=arg1P_17 && arg2P_17>1 && 2+2*meter>2 && meter>=1 && 1<=-1+arg1P_17 ], cost: 2+meter
     48: f226_0_isZero_NONNULL -> f321_0_copy_NONNULL : arg1'=2, arg2'=1, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ arg3P_18>-1 && 2+arg2P_18<=-2+arg2 && 3+arg3P_18<=-2+arg2 && 3<=-2+arg2 && 2+arg2P_18<=arg3 && 3+arg3P_18<=arg3 && 3<=arg3 && 2+arg1P_18<=-2+arg1 && 3<=-2+arg1 && 2+2*meter<=arg1P_18 && arg2P_18>1 && 2+2*meter>2 && meter>=1 && 1<=-1+arg1P_18 ], cost: 3+meter
     49: f226_0_isZero_NONNULL -> [14] : [ arg1>2 && arg2>3 && arg3>1 && arg2P_12>3 && arg3P_12>1 && arg1P_12>2 ], cost: NONTERM
     50: f226_0_isZero_NONNULL -> [14] : [ arg1>2 && arg2>3 && arg3>1 && arg2P_9>4 && arg3P_9>2 && arg1P_9>2 ], cost: NONTERM
     51: f226_0_isZero_NONNULL -> f226_0_isZero_NONNULL : arg1'=-4+meter_1+arg2, arg2'=meter_1+arg2, arg3'=-5+meter_1+arg2, arg4'=arg4P_9, arg5'=arg5P_9, [ -3+arg2>1 && -2+arg2<=-1+arg1 && 3<=-1+arg1 && -1+arg1<=-2+arg2 && -2+arg2<=arg3 && -1+arg1<=arg3 && 3<=arg3 && 3*meter_1==2+arg1-arg2 && meter_1>=1 ], cost: 3*meter_1
     52: f226_0_isZero_NONNULL -> [14] : [ arg1>2 && arg2>5 && arg3>3 && arg2P_16<=3+arg1 && 2+arg3P_16<=3+arg1 && arg2P_16<=arg2 && 2+arg3P_16<=arg2 && arg2P_16<=2+arg3 && 2+arg3P_16<=2+arg3 && arg1P_16>2 && arg2P_16<=3+arg1P_16 && 2+arg3P_16<=3+arg1P_16 && arg2P_16>5 && 2+arg3P_16<=arg2P_16 && arg3P_16>3 && arg2P_16<=2+arg3P_16 ], cost: NONTERM
     30: __init -> f155_0_main_ArrayAccess : arg1'=arg1P_1, arg2'=arg2P_1, arg3'=arg2P_21, arg4'=arg4P_1, arg5'=arg5P_1, [ arg2P_21>0 && arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 ], cost: 2
     31: __init -> f155_0_main_ArrayAccess : arg1'=arg1P_2, arg2'=arg2P_2, arg3'=arg2P_21, arg4'=arg4P_2, arg5'=arg5P_2, [ -1+arg1P_2<=arg1P_21 && arg2P_21>0 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg1P_2>1 && arg2P_2>0 ], cost: 2
     32: __init -> f69_0__init__GT : arg1'=0, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ arg2P_21>0 && arg1P_21>0 && arg1P_5>0 ], cost: 2+arg1P_5

Chained accelerated rules (with incoming rules):
   Start location: __init
     24: f155_0_main_ArrayAccess -> f69_0__init__GT : arg1'=0, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ arg3>1 && arg1>0 && arg2>0 && arg1P_6>0 ], cost: 1+arg1P_6
     33: f155_0_main_ArrayAccess -> f226_0_isZero_NONNULL : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ arg1>=arg1P_3 && arg3>1 && arg1P_3<=arg2 && arg1>=arg2P_3 && arg1>=-1+arg3P_3 && -1+arg3P_3<=arg2 && arg1>0 && arg2>0 && arg1P_3>0 && arg2P_3>0 && arg3P_3>1 && arg1>=2+arg5P_3 && arg1P_8<=arg2P_3 && arg2P_8<=arg3P_3 && 1+arg3P_8<=arg3P_3 && arg1P_8>0 && arg2P_8>0 && arg3P_8>-1 && 2+arg5P_3<=arg2P_3 ], cost: 2
     34: f155_0_main_ArrayAccess -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg1>=arg1P_3 && arg3>1 && arg1P_3<=arg2 && arg1>=arg2P_3 && arg1>=-1+arg3P_3 && -1+arg3P_3<=arg2 && arg1>0 && arg2>0 && arg1P_3>0 && arg1>=2+arg5P_3 && 2+arg5P_3<=arg2P_3 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && 3+arg1P_9<=arg3P_3 && arg2P_9<=arg3P_3 && 2+arg3P_9<=arg3P_3 && 5<=arg3P_3 && 1+arg1P_9<=arg2P_3 && 3<=arg2P_3 ], cost: 3
     35: f155_0_main_ArrayAccess -> f226_0_isZero_NONNULL : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ arg3>1 && arg1P_4<=arg1 && arg1P_4<=arg2 && arg2P_4<=arg1 && arg1>0 && arg2>0 && arg1P_4>0 && arg2P_4>0 && arg3P_4>2 && 2+arg5P_4<=arg1 && arg1P_8<=arg2P_4 && arg2P_8<=arg3P_4 && 1+arg3P_8<=arg3P_4 && arg1P_8>0 && arg2P_8>0 && arg3P_8>-1 && 2+arg5P_4<=arg2P_4 ], cost: 2
     36: f155_0_main_ArrayAccess -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg3>1 && arg1P_4<=arg1 && arg1P_4<=arg2 && arg2P_4<=arg1 && arg1>0 && arg2>0 && arg1P_4>0 && 2+arg5P_4<=arg1 && 2+arg5P_4<=arg2P_4 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && 3+arg1P_9<=arg3P_4 && arg2P_9<=arg3P_4 && 2+arg3P_9<=arg3P_4 && 5<=arg3P_4 && 1+arg1P_9<=arg2P_4 && 3<=arg2P_4 ], cost: 3
     53: f155_0_main_ArrayAccess -> f226_0_isZero_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg3>1 && arg1P_12>0 && arg2P_12>3 && arg3P_12>1 && 4<=1+arg1 && 4<=1+arg2 ], cost: 4
     54: f155_0_main_ArrayAccess -> f226_0_isZero_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg3>1 && arg1P_12>0 && arg2P_12>3 && arg3P_12>1 && 6<=1+arg1 && 6<=1+arg2 ], cost: 5
     55: f155_0_main_ArrayAccess -> f226_0_isZero_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg3>1 && arg2>0 && arg1P_12>0 && arg2P_12>3 && arg3P_12>1 && 3<=arg1 ], cost: 4
     56: f155_0_main_ArrayAccess -> f226_0_isZero_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg3>1 && arg2>0 && arg1P_12>0 && arg2P_12>3 && arg3P_12>1 && 4<=arg1 ], cost: 5
     57: f155_0_main_ArrayAccess -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg3>1 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && 4<=1+arg1 && 4<=1+arg2 ], cost: 5
     58: f155_0_main_ArrayAccess -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg3>1 && arg2P_9>4 && arg3P_9>2 && arg1P_9>2 && 3+arg1P_9<=1+arg1 && arg2P_9<=1+arg1 && 2+arg3P_9<=1+arg1 && 5<=1+arg1 && 3+arg1P_9<=1+arg2 && arg2P_9<=1+arg2 && 2+arg3P_9<=1+arg2 && 5<=1+arg2 ], cost: 6
     59: f155_0_main_ArrayAccess -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg3>1 && arg2>0 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && 3<=arg1 ], cost: 5
     60: f155_0_main_ArrayAccess -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg3>1 && arg2>0 && arg2P_9>4 && arg3P_9>2 && arg1P_9>2 && 1+arg1P_9<=arg1 && 3<=arg1 ], cost: 6
     61: f155_0_main_ArrayAccess -> f226_0_isZero_NONNULL : arg1'=arg1P_16, arg2'=arg2P_16, arg3'=arg3P_16, arg4'=arg4P_16, arg5'=arg5P_16, [ arg3>1 && arg1P_16>0 && arg2P_16>4 && arg3P_16>2 && 6<=1+arg1 && arg2P_16<=1+arg1 && 2+arg3P_16<=1+arg1 && 6<=1+arg2 && arg2P_16<=1+arg2 && 2+arg3P_16<=1+arg2 ], cost: 4
     62: f155_0_main_ArrayAccess -> f226_0_isZero_NONNULL : arg1'=arg1P_16, arg2'=arg2P_16, arg3'=arg3P_16, arg4'=arg4P_16, arg5'=arg5P_16, [ arg3>1 && arg1P_16>0 && arg2P_16>4 && arg3P_16>2 && 6<=1+arg1 && arg2P_16<=1+arg1 && 2+arg3P_16<=1+arg1 && 6<=1+arg2 && arg2P_16<=1+arg2 && 2+arg3P_16<=1+arg2 ], cost: 5
     63: f155_0_main_ArrayAccess -> f226_0_isZero_NONNULL : arg1'=arg1P_16, arg2'=arg2P_16, arg3'=arg3P_16, arg4'=arg4P_16, arg5'=arg5P_16, [ arg3>1 && arg2>0 && arg1P_16>0 && arg2P_16>4 && arg3P_16>2 && 3<=arg1 && -3+arg2P_16<=arg1 && -1+arg3P_16<=arg1 ], cost: 4
     64: f155_0_main_ArrayAccess -> f226_0_isZero_NONNULL : arg1'=arg1P_16, arg2'=arg2P_16, arg3'=arg3P_16, arg4'=arg4P_16, arg5'=arg5P_16, [ arg3>1 && arg2>0 && arg1P_16>0 && arg2P_16>4 && arg3P_16>2 && 4<=arg1 && -2+arg2P_16<=arg1 && arg3P_16<=arg1 ], cost: 5
     65: f155_0_main_ArrayAccess -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg3>1 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && 6<=1+arg1 && 3+arg1P_9<=1+arg1 && arg2P_9<=1+arg1 && 2+arg3P_9<=1+arg1 && 6<=1+arg2 && 3+arg1P_9<=1+arg2 && arg2P_9<=1+arg2 && 2+arg3P_9<=1+arg2 ], cost: 5
     66: f155_0_main_ArrayAccess -> f226_0_isZero_NONNULL : arg1'=-3+arg2P_9, arg2'=arg2P_9, arg3'=-2+arg2P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg3>1 && -3+arg2P_9>2 && arg2P_9<=1+arg1 && 5<=1+arg1 && arg2P_9<=1+arg2 && 5<=1+arg2 ], cost: 6
     67: f155_0_main_ArrayAccess -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg3>1 && arg2>0 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && 3<=arg1 && arg1P_9<=arg1 && -3+arg2P_9<=arg1 && -1+arg3P_9<=arg1 ], cost: 5
     68: f155_0_main_ArrayAccess -> f226_0_isZero_NONNULL : arg1'=-3+arg2P_9, arg2'=arg2P_9, arg3'=-2+arg2P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg3>1 && arg2>0 && -3+arg2P_9>2 && -2+arg2P_9<=arg1 && 3<=arg1 ], cost: 6
     69: f155_0_main_ArrayAccess -> [14] : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ arg3>1 && arg1>0 && arg2>0 && arg1P_8>2 && arg2P_8>3 && arg3P_8>1 && arg2P_8<=1+arg1 && 1+arg3P_8<=1+arg1 && arg2P_8<=1+arg2 && 1+arg3P_8<=1+arg2 && arg1P_8<=arg1 ], cost: NONTERM
     70: f155_0_main_ArrayAccess -> [14] : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg3>1 && arg2P_9>4 && arg3P_9>2 && arg1P_9>2 && 3+arg1P_9<=1+arg1 && arg2P_9<=1+arg1 && 2+arg3P_9<=1+arg1 && 5<=1+arg1 && 3+arg1P_9<=1+arg2 && arg2P_9<=1+arg2 && 2+arg3P_9<=1+arg2 && 5<=1+arg2 ], cost: NONTERM
     71: f155_0_main_ArrayAccess -> [14] : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ arg3>1 && arg1>0 && arg2>0 && arg1P_8>2 && arg2P_8>3 && arg3P_8>1 && arg1P_8<=arg1 ], cost: NONTERM
     72: f155_0_main_ArrayAccess -> [14] : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg3>1 && arg2>0 && arg2P_9>4 && arg3P_9>2 && arg1P_9>2 && 1+arg1P_9<=arg1 && 3<=arg1 ], cost: NONTERM
     73: f155_0_main_ArrayAccess -> [14] : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ arg3>1 && arg1>0 && arg2>0 && arg1P_8>2 && arg2P_8>3 && arg3P_8>1 && arg2P_8<=1+arg1 && 1+arg3P_8<=1+arg1 && arg2P_8<=1+arg2 && 1+arg3P_8<=1+arg2 && arg1P_8<=arg1 ], cost: NONTERM
     74: f155_0_main_ArrayAccess -> [14] : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg3>1 && arg2P_9>4 && arg3P_9>2 && arg1P_9>2 && 3+arg1P_9<=1+arg1 && arg2P_9<=1+arg1 && 2+arg3P_9<=1+arg1 && 5<=1+arg1 && 3+arg1P_9<=1+arg2 && arg2P_9<=1+arg2 && 2+arg3P_9<=1+arg2 && 5<=1+arg2 ], cost: NONTERM
     75: f155_0_main_ArrayAccess -> [14] : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ arg3>1 && arg1>0 && arg2>0 && arg1P_8>2 && arg2P_8>3 && arg3P_8>1 && arg1P_8<=arg1 ], cost: NONTERM
     76: f155_0_main_ArrayAccess -> [14] : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg3>1 && arg2>0 && arg2P_9>4 && arg3P_9>2 && arg1P_9>2 && 1+arg1P_9<=arg1 && 3<=arg1 ], cost: NONTERM
     77: f155_0_main_ArrayAccess -> [14] : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ arg3>1 && arg1>0 && arg2>0 && arg1P_8>2 && arg2P_8>5 && arg3P_8>3 && arg2P_8<=1+arg1 && 1+arg3P_8<=1+arg1 && arg2P_8<=1+arg2 && 1+arg3P_8<=1+arg2 && arg1P_8<=arg1 ], cost: NONTERM
     78: f155_0_main_ArrayAccess -> [14] : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg3>1 && arg1P_9>2 && arg2P_9>5 && arg3P_9>3 && 3+arg1P_9<=1+arg1 && arg2P_9<=1+arg1 && 2+arg3P_9<=1+arg1 && 5<=1+arg1 && 3+arg1P_9<=1+arg2 && arg2P_9<=1+arg2 && 2+arg3P_9<=1+arg2 && 5<=1+arg2 ], cost: NONTERM
     79: f155_0_main_ArrayAccess -> [14] : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ arg3>1 && arg1>0 && arg2>0 && arg1P_8>2 && arg2P_8>5 && arg3P_8>3 && arg1P_8<=arg1 ], cost: NONTERM
     80: f155_0_main_ArrayAccess -> [14] : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg3>1 && arg2>0 && arg1P_9>2 && arg2P_9>5 && arg3P_9>3 && 1+arg1P_9<=arg1 && 3<=arg1 ], cost: NONTERM
     47: f226_0_isZero_NONNULL -> f321_0_copy_NONNULL : arg1'=2, arg2'=1, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ 2+arg1P_17<=arg1 && 2+arg2P_17<=arg2 && arg2P_17<=arg3 && 3+arg3P_17<=arg2 && 1+arg3P_17<=arg3 && arg1>2 && arg2>2 && arg3>0 && arg3P_17>-1 && 2+2*meter<=arg1P_17 && arg2P_17>1 && 2+2*meter>2 && meter>=1 && 1<=-1+arg1P_17 ], cost: 2+meter
     48: f226_0_isZero_NONNULL -> f321_0_copy_NONNULL : arg1'=2, arg2'=1, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ arg3P_18>-1 && 2+arg2P_18<=-2+arg2 && 3+arg3P_18<=-2+arg2 && 3<=-2+arg2 && 2+arg2P_18<=arg3 && 3+arg3P_18<=arg3 && 3<=arg3 && 2+arg1P_18<=-2+arg1 && 3<=-2+arg1 && 2+2*meter<=arg1P_18 && arg2P_18>1 && 2+2*meter>2 && meter>=1 && 1<=-1+arg1P_18 ], cost: 3+meter
     30: __init -> f155_0_main_ArrayAccess : arg1'=arg1P_1, arg2'=arg2P_1, arg3'=arg2P_21, arg4'=arg4P_1, arg5'=arg5P_1, [ arg2P_21>0 && arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 ], cost: 2
     31: __init -> f155_0_main_ArrayAccess : arg1'=arg1P_2, arg2'=arg2P_2, arg3'=arg2P_21, arg4'=arg4P_2, arg5'=arg5P_2, [ -1+arg1P_2<=arg1P_21 && arg2P_21>0 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg1P_2>1 && arg2P_2>0 ], cost: 2
     32: __init -> f69_0__init__GT : arg1'=0, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ arg2P_21>0 && arg1P_21>0 && arg1P_5>0 ], cost: 2+arg1P_5

Eliminated locations (on tree-shaped paths):
   Start location: __init
     47: f226_0_isZero_NONNULL -> f321_0_copy_NONNULL : arg1'=2, arg2'=1, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ 2+arg1P_17<=arg1 && 2+arg2P_17<=arg2 && arg2P_17<=arg3 && 3+arg3P_17<=arg2 && 1+arg3P_17<=arg3 && arg1>2 && arg2>2 && arg3>0 && arg3P_17>-1 && 2+2*meter<=arg1P_17 && arg2P_17>1 && 2+2*meter>2 && meter>=1 && 1<=-1+arg1P_17 ], cost: 2+meter
     48: f226_0_isZero_NONNULL -> f321_0_copy_NONNULL : arg1'=2, arg2'=1, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ arg3P_18>-1 && 2+arg2P_18<=-2+arg2 && 3+arg3P_18<=-2+arg2 && 3<=-2+arg2 && 2+arg2P_18<=arg3 && 3+arg3P_18<=arg3 && 3<=arg3 && 2+arg1P_18<=-2+arg1 && 3<=-2+arg1 && 2+2*meter<=arg1P_18 && arg2P_18>1 && 2+2*meter>2 && meter>=1 && 1<=-1+arg1P_18 ], cost: 3+meter
     32: __init -> f69_0__init__GT : arg1'=0, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ arg2P_21>0 && arg1P_21>0 && arg1P_5>0 ], cost: 2+arg1P_5
     81: __init -> f69_0__init__GT : arg1'=0, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && arg1P_6>0 ], cost: 3+arg1P_6
     82: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg1P_1>=arg1P_3 && arg2P_21>1 && arg1P_3<=arg2P_1 && arg1P_1>=arg2P_3 && arg1P_1>=-1+arg3P_3 && -1+arg3P_3<=arg2P_1 && arg1P_3>0 && arg2P_3>0 && arg3P_3>1 && arg1P_1>=2+arg5P_3 && arg1P_8<=arg2P_3 && arg2P_8<=arg3P_3 && 1+arg3P_8<=arg3P_3 && arg1P_8>0 && arg2P_8>0 && arg3P_8>-1 && 2+arg5P_3<=arg2P_3 ], cost: 4
     83: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg1P_1>=arg1P_3 && arg2P_21>1 && arg1P_3<=arg2P_1 && arg1P_1>=arg2P_3 && arg1P_1>=-1+arg3P_3 && -1+arg3P_3<=arg2P_1 && arg1P_3>0 && arg1P_1>=2+arg5P_3 && 2+arg5P_3<=arg2P_3 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && 3+arg1P_9<=arg3P_3 && arg2P_9<=arg3P_3 && 2+arg3P_9<=arg3P_3 && 5<=arg3P_3 && 1+arg1P_9<=arg2P_3 && 3<=arg2P_3 ], cost: 5
     84: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && arg1P_4<=arg1P_1 && arg1P_4<=arg2P_1 && arg2P_4<=arg1P_1 && arg1P_4>0 && arg2P_4>0 && arg3P_4>2 && 2+arg5P_4<=arg1P_1 && arg1P_8<=arg2P_4 && arg2P_8<=arg3P_4 && 1+arg3P_8<=arg3P_4 && arg1P_8>0 && arg2P_8>0 && arg3P_8>-1 && 2+arg5P_4<=arg2P_4 ], cost: 4
     85: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && arg1P_4<=arg1P_1 && arg1P_4<=arg2P_1 && arg2P_4<=arg1P_1 && arg1P_4>0 && 2+arg5P_4<=arg1P_1 && 2+arg5P_4<=arg2P_4 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && 3+arg1P_9<=arg3P_4 && arg2P_9<=arg3P_4 && 2+arg3P_9<=arg3P_4 && 5<=arg3P_4 && 1+arg1P_9<=arg2P_4 && 3<=arg2P_4 ], cost: 5
     86: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_21>1 && arg1P_12>0 && arg2P_12>3 && arg3P_12>1 && 4<=1+arg2P_1 ], cost: 6
     87: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg2P_21>1 && arg1P_12>0 && arg2P_12>3 && arg3P_12>1 && 6<=1+arg1P_1 && 6<=1+arg2P_1 ], cost: 7
     88: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && arg1P_12>0 && arg2P_12>3 && arg3P_12>1 ], cost: 6
     89: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg2P_1>0 && arg2P_21>1 && arg1P_12>0 && arg2P_12>3 && arg3P_12>1 && 4<=arg1P_1 ], cost: 7
     90: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_21>1 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && 4<=1+arg2P_1 ], cost: 7
     91: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg2P_21>1 && arg2P_9>4 && arg3P_9>2 && arg1P_9>2 && 3+arg1P_9<=1+arg1P_1 && arg2P_9<=1+arg1P_1 && 2+arg3P_9<=1+arg1P_1 && 5<=1+arg1P_1 && 3+arg1P_9<=1+arg2P_1 && arg2P_9<=1+arg2P_1 && 2+arg3P_9<=1+arg2P_1 && 5<=1+arg2P_1 ], cost: 8
     92: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 ], cost: 7
     93: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && arg2P_9>4 && arg3P_9>2 && arg1P_9>2 && 1+arg1P_9<=arg1P_1 ], cost: 8
     94: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_16, arg2'=arg2P_16, arg3'=arg3P_16, arg4'=arg4P_16, arg5'=arg5P_16, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg2P_21>1 && arg1P_16>0 && arg2P_16>4 && arg3P_16>2 && 6<=1+arg1P_1 && arg2P_16<=1+arg1P_1 && 2+arg3P_16<=1+arg1P_1 && 6<=1+arg2P_1 && arg2P_16<=1+arg2P_1 && 2+arg3P_16<=1+arg2P_1 ], cost: 6
     95: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_16, arg2'=arg2P_16, arg3'=arg3P_16, arg4'=arg4P_16, arg5'=arg5P_16, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg2P_21>1 && arg1P_16>0 && arg2P_16>4 && arg3P_16>2 && 6<=1+arg1P_1 && arg2P_16<=1+arg1P_1 && 2+arg3P_16<=1+arg1P_1 && 6<=1+arg2P_1 && arg2P_16<=1+arg2P_1 && 2+arg3P_16<=1+arg2P_1 ], cost: 7
     96: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_16, arg2'=arg2P_16, arg3'=arg3P_16, arg4'=arg4P_16, arg5'=arg5P_16, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && arg1P_16>0 && arg2P_16>4 && arg3P_16>2 && -3+arg2P_16<=arg1P_1 && -1+arg3P_16<=arg1P_1 ], cost: 6
     97: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_16, arg2'=arg2P_16, arg3'=arg3P_16, arg4'=arg4P_16, arg5'=arg5P_16, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg2P_1>0 && arg2P_21>1 && arg1P_16>0 && arg2P_16>4 && arg3P_16>2 && 4<=arg1P_1 && -2+arg2P_16<=arg1P_1 && arg3P_16<=arg1P_1 ], cost: 7
     98: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg2P_21>1 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && 6<=1+arg1P_1 && 3+arg1P_9<=1+arg1P_1 && arg2P_9<=1+arg1P_1 && 2+arg3P_9<=1+arg1P_1 && 6<=1+arg2P_1 && 3+arg1P_9<=1+arg2P_1 && arg2P_9<=1+arg2P_1 && 2+arg3P_9<=1+arg2P_1 ], cost: 7
     99: __init -> f226_0_isZero_NONNULL : arg1'=-3+arg2P_9, arg2'=arg2P_9, arg3'=-2+arg2P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg2P_21>1 && -3+arg2P_9>2 && arg2P_9<=1+arg1P_1 && 5<=1+arg1P_1 && arg2P_9<=1+arg2P_1 && 5<=1+arg2P_1 ], cost: 8
    100: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && arg1P_9<=arg1P_1 && -3+arg2P_9<=arg1P_1 && -1+arg3P_9<=arg1P_1 ], cost: 7
    101: __init -> f226_0_isZero_NONNULL : arg1'=-3+arg2P_9, arg2'=arg2P_9, arg3'=-2+arg2P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && -3+arg2P_9>2 && -2+arg2P_9<=arg1P_1 ], cost: 8
    102: __init -> [14] : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && arg1P_8>2 && arg2P_8>3 && arg3P_8>1 && arg2P_8<=1+arg1P_1 && 1+arg3P_8<=1+arg1P_1 && arg2P_8<=1+arg2P_1 && 1+arg3P_8<=1+arg2P_1 && arg1P_8<=arg1P_1 ], cost: NONTERM
    103: __init -> [14] : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg2P_21>1 && arg2P_9>4 && arg3P_9>2 && arg1P_9>2 && 3+arg1P_9<=1+arg1P_1 && arg2P_9<=1+arg1P_1 && 2+arg3P_9<=1+arg1P_1 && 5<=1+arg1P_1 && 3+arg1P_9<=1+arg2P_1 && arg2P_9<=1+arg2P_1 && 2+arg3P_9<=1+arg2P_1 && 5<=1+arg2P_1 ], cost: NONTERM
    104: __init -> [14] : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && arg1P_8>2 && arg2P_8>3 && arg3P_8>1 && arg1P_8<=arg1P_1 ], cost: NONTERM
    105: __init -> [14] : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && arg2P_9>4 && arg3P_9>2 && arg1P_9>2 && 1+arg1P_9<=arg1P_1 ], cost: NONTERM
    106: __init -> [14] : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && arg1P_8>2 && arg2P_8>3 && arg3P_8>1 && arg2P_8<=1+arg1P_1 && 1+arg3P_8<=1+arg1P_1 && arg2P_8<=1+arg2P_1 && 1+arg3P_8<=1+arg2P_1 && arg1P_8<=arg1P_1 ], cost: NONTERM
    107: __init -> [14] : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg2P_21>1 && arg2P_9>4 && arg3P_9>2 && arg1P_9>2 && 3+arg1P_9<=1+arg1P_1 && arg2P_9<=1+arg1P_1 && 2+arg3P_9<=1+arg1P_1 && 5<=1+arg1P_1 && 3+arg1P_9<=1+arg2P_1 && arg2P_9<=1+arg2P_1 && 2+arg3P_9<=1+arg2P_1 && 5<=1+arg2P_1 ], cost: NONTERM
    108: __init -> [14] : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && arg1P_8>2 && arg2P_8>3 && arg3P_8>1 && arg1P_8<=arg1P_1 ], cost: NONTERM
    109: __init -> [14] : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && arg2P_9>4 && arg3P_9>2 && arg1P_9>2 && 1+arg1P_9<=arg1P_1 ], cost: NONTERM
    110: __init -> [14] : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && arg1P_8>2 && arg2P_8>5 && arg3P_8>3 && arg2P_8<=1+arg1P_1 && 1+arg3P_8<=1+arg1P_1 && arg2P_8<=1+arg2P_1 && 1+arg3P_8<=1+arg2P_1 && arg1P_8<=arg1P_1 ], cost: NONTERM
    111: __init -> [14] : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg2P_21>1 && arg1P_9>2 && arg2P_9>5 && arg3P_9>3 && 3+arg1P_9<=1+arg1P_1 && arg2P_9<=1+arg1P_1 && 2+arg3P_9<=1+arg1P_1 && 5<=1+arg1P_1 && 3+arg1P_9<=1+arg2P_1 && arg2P_9<=1+arg2P_1 && 2+arg3P_9<=1+arg2P_1 && 5<=1+arg2P_1 ], cost: NONTERM
    112: __init -> [14] : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && arg1P_8>2 && arg2P_8>5 && arg3P_8>3 && arg1P_8<=arg1P_1 ], cost: NONTERM
    113: __init -> [14] : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && arg1P_9>2 && arg2P_9>5 && arg3P_9>3 && 1+arg1P_9<=arg1P_1 ], cost: NONTERM
    114: __init -> f69_0__init__GT : arg1'=0, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg1P_2>1 && arg2P_2>0 && arg2P_21>1 && arg1P_6>0 ], cost: 3+arg1P_6
    115: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg1P_2>1 && arg2P_2>0 && arg1P_2>=arg1P_3 && arg2P_21>1 && arg1P_3<=arg2P_2 && arg1P_2>=arg2P_3 && arg1P_2>=-1+arg3P_3 && -1+arg3P_3<=arg2P_2 && arg1P_3>0 && arg2P_3>0 && arg3P_3>1 && arg1P_2>=2+arg5P_3 && arg1P_8<=arg2P_3 && arg2P_8<=arg3P_3 && 1+arg3P_8<=arg3P_3 && arg1P_8>0 && arg2P_8>0 && arg3P_8>-1 && 2+arg5P_3<=arg2P_3 ], cost: 4
    116: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg1P_2>1 && arg2P_2>0 && arg1P_2>=arg1P_3 && arg2P_21>1 && arg1P_3<=arg2P_2 && arg1P_2>=arg2P_3 && arg1P_2>=-1+arg3P_3 && -1+arg3P_3<=arg2P_2 && arg1P_3>0 && arg1P_2>=2+arg5P_3 && 2+arg5P_3<=arg2P_3 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && 3+arg1P_9<=arg3P_3 && arg2P_9<=arg3P_3 && 2+arg3P_9<=arg3P_3 && 5<=arg3P_3 && 1+arg1P_9<=arg2P_3 && 3<=arg2P_3 ], cost: 5
    117: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg1P_2>1 && arg2P_2>0 && arg2P_21>1 && arg1P_4<=arg1P_2 && arg1P_4<=arg2P_2 && arg2P_4<=arg1P_2 && arg1P_4>0 && arg2P_4>0 && arg3P_4>2 && 2+arg5P_4<=arg1P_2 && arg1P_8<=arg2P_4 && arg2P_8<=arg3P_4 && 1+arg3P_8<=arg3P_4 && arg1P_8>0 && arg2P_8>0 && arg3P_8>-1 && 2+arg5P_4<=arg2P_4 ], cost: 4
    118: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg1P_2>1 && arg2P_2>0 && arg2P_21>1 && arg1P_4<=arg1P_2 && arg1P_4<=arg2P_2 && arg2P_4<=arg1P_2 && arg1P_4>0 && 2+arg5P_4<=arg1P_2 && 2+arg5P_4<=arg2P_4 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && 3+arg1P_9<=arg3P_4 && arg2P_9<=arg3P_4 && 2+arg3P_9<=arg3P_4 && 5<=arg3P_4 && 1+arg1P_9<=arg2P_4 && 3<=arg2P_4 ], cost: 5
    119: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg2P_21>1 && arg1P_12>0 && arg2P_12>3 && arg3P_12>1 && 4<=1+arg1P_2 && 4<=1+arg2P_2 ], cost: 6
    120: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg2P_21>1 && arg1P_12>0 && arg2P_12>3 && arg3P_12>1 && 6<=1+arg1P_2 && 6<=1+arg2P_2 ], cost: 7
    121: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg2P_2>0 && arg2P_21>1 && arg1P_12>0 && arg2P_12>3 && arg3P_12>1 && 3<=arg1P_2 ], cost: 6
    122: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg2P_2>0 && arg2P_21>1 && arg1P_12>0 && arg2P_12>3 && arg3P_12>1 && 4<=arg1P_2 ], cost: 7
    123: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg2P_21>1 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && 4<=1+arg1P_2 && 4<=1+arg2P_2 ], cost: 7
    124: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg2P_21>1 && arg2P_9>4 && arg3P_9>2 && arg1P_9>2 && 3+arg1P_9<=1+arg1P_2 && arg2P_9<=1+arg1P_2 && 2+arg3P_9<=1+arg1P_2 && 5<=1+arg1P_2 && 3+arg1P_9<=1+arg2P_2 && arg2P_9<=1+arg2P_2 && 2+arg3P_9<=1+arg2P_2 && 5<=1+arg2P_2 ], cost: 8
    125: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg2P_2>0 && arg2P_21>1 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && 3<=arg1P_2 ], cost: 7
    126: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg2P_2>0 && arg2P_21>1 && arg2P_9>4 && arg3P_9>2 && arg1P_9>2 && 1+arg1P_9<=arg1P_2 && 3<=arg1P_2 ], cost: 8
    127: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_16, arg2'=arg2P_16, arg3'=arg3P_16, arg4'=arg4P_16, arg5'=arg5P_16, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg2P_21>1 && arg1P_16>0 && arg2P_16>4 && arg3P_16>2 && 6<=1+arg1P_2 && arg2P_16<=1+arg1P_2 && 2+arg3P_16<=1+arg1P_2 && 6<=1+arg2P_2 && arg2P_16<=1+arg2P_2 && 2+arg3P_16<=1+arg2P_2 ], cost: 6
    128: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_16, arg2'=arg2P_16, arg3'=arg3P_16, arg4'=arg4P_16, arg5'=arg5P_16, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg2P_21>1 && arg1P_16>0 && arg2P_16>4 && arg3P_16>2 && 6<=1+arg1P_2 && arg2P_16<=1+arg1P_2 && 2+arg3P_16<=1+arg1P_2 && 6<=1+arg2P_2 && arg2P_16<=1+arg2P_2 && 2+arg3P_16<=1+arg2P_2 ], cost: 7
    129: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_16, arg2'=arg2P_16, arg3'=arg3P_16, arg4'=arg4P_16, arg5'=arg5P_16, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg2P_2>0 && arg2P_21>1 && arg1P_16>0 && arg2P_16>4 && arg3P_16>2 && 3<=arg1P_2 && -3+arg2P_16<=arg1P_2 && -1+arg3P_16<=arg1P_2 ], cost: 6
    130: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_16, arg2'=arg2P_16, arg3'=arg3P_16, arg4'=arg4P_16, arg5'=arg5P_16, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg2P_2>0 && arg2P_21>1 && arg1P_16>0 && arg2P_16>4 && arg3P_16>2 && 4<=arg1P_2 && -2+arg2P_16<=arg1P_2 && arg3P_16<=arg1P_2 ], cost: 7
    131: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg2P_21>1 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && 6<=1+arg1P_2 && 3+arg1P_9<=1+arg1P_2 && arg2P_9<=1+arg1P_2 && 2+arg3P_9<=1+arg1P_2 && 6<=1+arg2P_2 && 3+arg1P_9<=1+arg2P_2 && arg2P_9<=1+arg2P_2 && 2+arg3P_9<=1+arg2P_2 ], cost: 7
    132: __init -> f226_0_isZero_NONNULL : arg1'=-3+arg2P_9, arg2'=arg2P_9, arg3'=-2+arg2P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg2P_21>1 && -3+arg2P_9>2 && arg2P_9<=1+arg1P_2 && 5<=1+arg1P_2 && arg2P_9<=1+arg2P_2 && 5<=1+arg2P_2 ], cost: 8
    133: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg2P_2>0 && arg2P_21>1 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && 3<=arg1P_2 && arg1P_9<=arg1P_2 && -3+arg2P_9<=arg1P_2 && -1+arg3P_9<=arg1P_2 ], cost: 7
    134: __init -> f226_0_isZero_NONNULL : arg1'=-3+arg2P_9, arg2'=arg2P_9, arg3'=-2+arg2P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg2P_2>0 && arg2P_21>1 && -3+arg2P_9>2 && -2+arg2P_9<=arg1P_2 && 3<=arg1P_2 ], cost: 8
    135: __init -> [14] : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg1P_2>1 && arg2P_2>0 && arg2P_21>1 && arg1P_8>2 && arg2P_8>3 && arg3P_8>1 && arg2P_8<=1+arg1P_2 && 1+arg3P_8<=1+arg1P_2 && arg2P_8<=1+arg2P_2 && 1+arg3P_8<=1+arg2P_2 && arg1P_8<=arg1P_2 ], cost: NONTERM
    136: __init -> [14] : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg2P_21>1 && arg2P_9>4 && arg3P_9>2 && arg1P_9>2 && 3+arg1P_9<=1+arg1P_2 && arg2P_9<=1+arg1P_2 && 2+arg3P_9<=1+arg1P_2 && 5<=1+arg1P_2 && 3+arg1P_9<=1+arg2P_2 && arg2P_9<=1+arg2P_2 && 2+arg3P_9<=1+arg2P_2 && 5<=1+arg2P_2 ], cost: NONTERM
    137: __init -> [14] : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg1P_2>1 && arg2P_2>0 && arg2P_21>1 && arg1P_8>2 && arg2P_8>3 && arg3P_8>1 && arg1P_8<=arg1P_2 ], cost: NONTERM
    138: __init -> [14] : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg2P_2>0 && arg2P_21>1 && arg2P_9>4 && arg3P_9>2 && arg1P_9>2 && 1+arg1P_9<=arg1P_2 && 3<=arg1P_2 ], cost: NONTERM
    139: __init -> [14] : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg1P_2>1 && arg2P_2>0 && arg2P_21>1 && arg1P_8>2 && arg2P_8>3 && arg3P_8>1 && arg2P_8<=1+arg1P_2 && 1+arg3P_8<=1+arg1P_2 && arg2P_8<=1+arg2P_2 && 1+arg3P_8<=1+arg2P_2 && arg1P_8<=arg1P_2 ], cost: NONTERM
    140: __init -> [14] : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg2P_21>1 && arg2P_9>4 && arg3P_9>2 && arg1P_9>2 && 3+arg1P_9<=1+arg1P_2 && arg2P_9<=1+arg1P_2 && 2+arg3P_9<=1+arg1P_2 && 5<=1+arg1P_2 && 3+arg1P_9<=1+arg2P_2 && arg2P_9<=1+arg2P_2 && 2+arg3P_9<=1+arg2P_2 && 5<=1+arg2P_2 ], cost: NONTERM
    141: __init -> [14] : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg1P_2>1 && arg2P_2>0 && arg2P_21>1 && arg1P_8>2 && arg2P_8>3 && arg3P_8>1 && arg1P_8<=arg1P_2 ], cost: NONTERM
    142: __init -> [14] : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg2P_2>0 && arg2P_21>1 && arg2P_9>4 && arg3P_9>2 && arg1P_9>2 && 1+arg1P_9<=arg1P_2 && 3<=arg1P_2 ], cost: NONTERM
    143: __init -> [14] : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg1P_2>1 && arg2P_2>0 && arg2P_21>1 && arg1P_8>2 && arg2P_8>5 && arg3P_8>3 && arg2P_8<=1+arg1P_2 && 1+arg3P_8<=1+arg1P_2 && arg2P_8<=1+arg2P_2 && 1+arg3P_8<=1+arg2P_2 && arg1P_8<=arg1P_2 ], cost: NONTERM
    144: __init -> [14] : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg2P_21>1 && arg1P_9>2 && arg2P_9>5 && arg3P_9>3 && 3+arg1P_9<=1+arg1P_2 && arg2P_9<=1+arg1P_2 && 2+arg3P_9<=1+arg1P_2 && 5<=1+arg1P_2 && 3+arg1P_9<=1+arg2P_2 && arg2P_9<=1+arg2P_2 && 2+arg3P_9<=1+arg2P_2 && 5<=1+arg2P_2 ], cost: NONTERM
    145: __init -> [14] : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg1P_2>1 && arg2P_2>0 && arg2P_21>1 && arg1P_8>2 && arg2P_8>5 && arg3P_8>3 && arg1P_8<=arg1P_2 ], cost: NONTERM
    146: __init -> [14] : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg2P_2>0 && arg2P_21>1 && arg1P_9>2 && arg2P_9>5 && arg3P_9>3 && 1+arg1P_9<=arg1P_2 && 3<=arg1P_2 ], cost: NONTERM

Applied pruning (of leafs and parallel rules):
   Start location: __init
     47: f226_0_isZero_NONNULL -> f321_0_copy_NONNULL : arg1'=2, arg2'=1, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ 2+arg1P_17<=arg1 && 2+arg2P_17<=arg2 && arg2P_17<=arg3 && 3+arg3P_17<=arg2 && 1+arg3P_17<=arg3 && arg1>2 && arg2>2 && arg3>0 && arg3P_17>-1 && 2+2*meter<=arg1P_17 && arg2P_17>1 && 2+2*meter>2 && meter>=1 && 1<=-1+arg1P_17 ], cost: 2+meter
     48: f226_0_isZero_NONNULL -> f321_0_copy_NONNULL : arg1'=2, arg2'=1, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ arg3P_18>-1 && 2+arg2P_18<=-2+arg2 && 3+arg3P_18<=-2+arg2 && 3<=-2+arg2 && 2+arg2P_18<=arg3 && 3+arg3P_18<=arg3 && 3<=arg3 && 2+arg1P_18<=-2+arg1 && 3<=-2+arg1 && 2+2*meter<=arg1P_18 && arg2P_18>1 && 2+2*meter>2 && meter>=1 && 1<=-1+arg1P_18 ], cost: 3+meter
     32: __init -> f69_0__init__GT : arg1'=0, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ arg2P_21>0 && arg1P_21>0 && arg1P_5>0 ], cost: 2+arg1P_5
     81: __init -> f69_0__init__GT : arg1'=0, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && arg1P_6>0 ], cost: 3+arg1P_6
     82: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg1P_1>=arg1P_3 && arg2P_21>1 && arg1P_3<=arg2P_1 && arg1P_1>=arg2P_3 && arg1P_1>=-1+arg3P_3 && -1+arg3P_3<=arg2P_1 && arg1P_3>0 && arg2P_3>0 && arg3P_3>1 && arg1P_1>=2+arg5P_3 && arg1P_8<=arg2P_3 && arg2P_8<=arg3P_3 && 1+arg3P_8<=arg3P_3 && arg1P_8>0 && arg2P_8>0 && arg3P_8>-1 && 2+arg5P_3<=arg2P_3 ], cost: 4
     83: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg1P_1>=arg1P_3 && arg2P_21>1 && arg1P_3<=arg2P_1 && arg1P_1>=arg2P_3 && arg1P_1>=-1+arg3P_3 && -1+arg3P_3<=arg2P_1 && arg1P_3>0 && arg1P_1>=2+arg5P_3 && 2+arg5P_3<=arg2P_3 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && 3+arg1P_9<=arg3P_3 && arg2P_9<=arg3P_3 && 2+arg3P_9<=arg3P_3 && 5<=arg3P_3 && 1+arg1P_9<=arg2P_3 && 3<=arg2P_3 ], cost: 5
     85: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && arg1P_4<=arg1P_1 && arg1P_4<=arg2P_1 && arg2P_4<=arg1P_1 && arg1P_4>0 && 2+arg5P_4<=arg1P_1 && 2+arg5P_4<=arg2P_4 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && 3+arg1P_9<=arg3P_4 && arg2P_9<=arg3P_4 && 2+arg3P_9<=arg3P_4 && 5<=arg3P_4 && 1+arg1P_9<=arg2P_4 && 3<=arg2P_4 ], cost: 5
     89: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg2P_1>0 && arg2P_21>1 && arg1P_12>0 && arg2P_12>3 && arg3P_12>1 && 4<=arg1P_1 ], cost: 7
     98: __init -> f226_0_isZero_NONNULL : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg2P_21>1 && arg1P_9>1 && arg2P_9>4 && arg3P_9>2 && 6<=1+arg1P_1 && 3+arg1P_9<=1+arg1P_1 && arg2P_9<=1+arg1P_1 && 2+arg3P_9<=1+arg1P_1 && 6<=1+arg2P_1 && 3+arg1P_9<=1+arg2P_1 && arg2P_9<=1+arg2P_1 && 2+arg3P_9<=1+arg2P_1 ], cost: 7
    106: __init -> [14] : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && arg1P_8>2 && arg2P_8>3 && arg3P_8>1 && arg2P_8<=1+arg1P_1 && 1+arg3P_8<=1+arg1P_1 && arg2P_8<=1+arg2P_1 && 1+arg3P_8<=1+arg2P_1 && arg1P_8<=arg1P_1 ], cost: NONTERM
    107: __init -> [14] : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg2P_21>1 && arg2P_9>4 && arg3P_9>2 && arg1P_9>2 && 3+arg1P_9<=1+arg1P_1 && arg2P_9<=1+arg1P_1 && 2+arg3P_9<=1+arg1P_1 && 5<=1+arg1P_1 && 3+arg1P_9<=1+arg2P_1 && arg2P_9<=1+arg2P_1 && 2+arg3P_9<=1+arg2P_1 && 5<=1+arg2P_1 ], cost: NONTERM
    109: __init -> [14] : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && arg2P_9>4 && arg3P_9>2 && arg1P_9>2 && 1+arg1P_9<=arg1P_1 ], cost: NONTERM
    113: __init -> [14] : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && arg1P_9>2 && arg2P_9>5 && arg3P_9>3 && 1+arg1P_9<=arg1P_1 ], cost: NONTERM
    114: __init -> f69_0__init__GT : arg1'=0, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg1P_2>1 && arg2P_2>0 && arg2P_21>1 && arg1P_6>0 ], cost: 3+arg1P_6
    140: __init -> [14] : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg2P_21>1 && arg2P_9>4 && arg3P_9>2 && arg1P_9>2 && 3+arg1P_9<=1+arg1P_2 && arg2P_9<=1+arg1P_2 && 2+arg3P_9<=1+arg1P_2 && 5<=1+arg1P_2 && 3+arg1P_9<=1+arg2P_2 && arg2P_9<=1+arg2P_2 && 2+arg3P_9<=1+arg2P_2 && 5<=1+arg2P_2 ], cost: NONTERM

Eliminated locations (on tree-shaped paths):
   Start location: __init
     32: __init -> f69_0__init__GT : arg1'=0, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ arg2P_21>0 && arg1P_21>0 && arg1P_5>0 ], cost: 2+arg1P_5
     81: __init -> f69_0__init__GT : arg1'=0, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && arg1P_6>0 ], cost: 3+arg1P_6
    106: __init -> [14] : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && arg1P_8>2 && arg2P_8>3 && arg3P_8>1 && arg2P_8<=1+arg1P_1 && 1+arg3P_8<=1+arg1P_1 && arg2P_8<=1+arg2P_1 && 1+arg3P_8<=1+arg2P_1 && arg1P_8<=arg1P_1 ], cost: NONTERM
    107: __init -> [14] : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg2P_21>1 && arg2P_9>4 && arg3P_9>2 && arg1P_9>2 && 3+arg1P_9<=1+arg1P_1 && arg2P_9<=1+arg1P_1 && 2+arg3P_9<=1+arg1P_1 && 5<=1+arg1P_1 && 3+arg1P_9<=1+arg2P_1 && arg2P_9<=1+arg2P_1 && 2+arg3P_9<=1+arg2P_1 && 5<=1+arg2P_1 ], cost: NONTERM
    109: __init -> [14] : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && arg2P_9>4 && arg3P_9>2 && arg1P_9>2 && 1+arg1P_9<=arg1P_1 ], cost: NONTERM
    113: __init -> [14] : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && arg1P_9>2 && arg2P_9>5 && arg3P_9>3 && 1+arg1P_9<=arg1P_1 ], cost: NONTERM
    114: __init -> f69_0__init__GT : arg1'=0, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg1P_2>1 && arg2P_2>0 && arg2P_21>1 && arg1P_6>0 ], cost: 3+arg1P_6
    140: __init -> [14] : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg2P_21>1 && arg2P_9>4 && arg3P_9>2 && arg1P_9>2 && 3+arg1P_9<=1+arg1P_2 && arg2P_9<=1+arg1P_2 && 2+arg3P_9<=1+arg1P_2 && 5<=1+arg1P_2 && 3+arg1P_9<=1+arg2P_2 && arg2P_9<=1+arg2P_2 && 2+arg3P_9<=1+arg2P_2 && 5<=1+arg2P_2 ], cost: NONTERM
    147: __init -> f321_0_copy_NONNULL : arg1'=2, arg2'=1, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg1P_1>=arg1P_3 && arg2P_21>1 && arg1P_3<=arg2P_1 && arg1P_1>=arg2P_3 && arg1P_1>=-1+arg3P_3 && -1+arg3P_3<=arg2P_1 && arg1P_3>0 && arg2P_3>0 && arg3P_3>1 && arg1P_1>=2+arg5P_3 && arg1P_8<=arg2P_3 && arg2P_8<=arg3P_3 && 1+arg3P_8<=arg3P_3 && 2+arg5P_3<=arg2P_3 && 2+arg1P_17<=arg1P_8 && 2+arg2P_17<=arg2P_8 && arg2P_17<=arg3P_8 && 3+arg3P_17<=arg2P_8 && 1+arg3P_17<=arg3P_8 && arg1P_8>2 && arg2P_8>2 && arg3P_8>0 && arg3P_17>-1 && 2+2*meter<=arg1P_17 && arg2P_17>1 && 2+2*meter>2 && meter>=1 && 1<=-1+arg1P_17 ], cost: 6+meter
    148: __init -> f321_0_copy_NONNULL : arg1'=2, arg2'=1, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg1P_1>=arg1P_3 && arg2P_21>1 && arg1P_3<=arg2P_1 && arg1P_1>=arg2P_3 && arg1P_1>=-1+arg3P_3 && -1+arg3P_3<=arg2P_1 && arg1P_3>0 && arg2P_3>0 && arg3P_3>1 && arg1P_1>=2+arg5P_3 && arg1P_8<=arg2P_3 && arg2P_8<=arg3P_3 && 1+arg3P_8<=arg3P_3 && 2+arg5P_3<=arg2P_3 && arg3P_18>-1 && 2+arg2P_18<=-2+arg2P_8 && 3+arg3P_18<=-2+arg2P_8 && 3<=-2+arg2P_8 && 2+arg2P_18<=arg3P_8 && 3+arg3P_18<=arg3P_8 && 3<=arg3P_8 && 2+arg1P_18<=-2+arg1P_8 && 3<=-2+arg1P_8 && 2+2*meter<=arg1P_18 && arg2P_18>1 && 2+2*meter>2 && meter>=1 && 1<=-1+arg1P_18 ], cost: 7+meter
    149: __init -> f321_0_copy_NONNULL : arg1'=2, arg2'=1, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg1P_1>=arg1P_3 && arg2P_21>1 && arg1P_3<=arg2P_1 && arg1P_1>=arg2P_3 && arg1P_1>=-1+arg3P_3 && -1+arg3P_3<=arg2P_1 && arg1P_3>0 && arg1P_1>=2+arg5P_3 && 2+arg5P_3<=arg2P_3 && arg2P_9>4 && arg3P_9>2 && 3+arg1P_9<=arg3P_3 && arg2P_9<=arg3P_3 && 2+arg3P_9<=arg3P_3 && 5<=arg3P_3 && 1+arg1P_9<=arg2P_3 && 3<=arg2P_3 && 2+arg1P_17<=arg1P_9 && 2+arg2P_17<=arg2P_9 && arg2P_17<=arg3P_9 && 3+arg3P_17<=arg2P_9 && 1+arg3P_17<=arg3P_9 && arg1P_9>2 && arg3P_17>-1 && 2+2*meter<=arg1P_17 && arg2P_17>1 && 2+2*meter>2 && meter>=1 && 1<=-1+arg1P_17 ], cost: 7+meter
    150: __init -> f321_0_copy_NONNULL : arg1'=2, arg2'=1, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg1P_1>=arg1P_3 && arg2P_21>1 && arg1P_3<=arg2P_1 && arg1P_1>=arg2P_3 && arg1P_1>=-1+arg3P_3 && -1+arg3P_3<=arg2P_1 && arg1P_3>0 && arg1P_1>=2+arg5P_3 && 2+arg5P_3<=arg2P_3 && arg2P_9>4 && arg3P_9>2 && 3+arg1P_9<=arg3P_3 && arg2P_9<=arg3P_3 && 2+arg3P_9<=arg3P_3 && 5<=arg3P_3 && 1+arg1P_9<=arg2P_3 && 3<=arg2P_3 && arg3P_18>-1 && 2+arg2P_18<=-2+arg2P_9 && 3+arg3P_18<=-2+arg2P_9 && 2+arg2P_18<=arg3P_9 && 3+arg3P_18<=arg3P_9 && 2+arg1P_18<=-2+arg1P_9 && 3<=-2+arg1P_9 && 2+2*meter<=arg1P_18 && arg2P_18>1 && 2+2*meter>2 && meter>=1 && 1<=-1+arg1P_18 ], cost: 8+meter
    151: __init -> f321_0_copy_NONNULL : arg1'=2, arg2'=1, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && arg1P_4<=arg1P_1 && arg1P_4<=arg2P_1 && arg2P_4<=arg1P_1 && arg1P_4>0 && 2+arg5P_4<=arg1P_1 && 2+arg5P_4<=arg2P_4 && arg2P_9>4 && arg3P_9>2 && 3+arg1P_9<=arg3P_4 && arg2P_9<=arg3P_4 && 2+arg3P_9<=arg3P_4 && 5<=arg3P_4 && 1+arg1P_9<=arg2P_4 && 3<=arg2P_4 && 2+arg1P_17<=arg1P_9 && 2+arg2P_17<=arg2P_9 && arg2P_17<=arg3P_9 && 3+arg3P_17<=arg2P_9 && 1+arg3P_17<=arg3P_9 && arg1P_9>2 && arg3P_17>-1 && 2+2*meter<=arg1P_17 && arg2P_17>1 && 2+2*meter>2 && meter>=1 && 1<=-1+arg1P_17 ], cost: 7+meter
    152: __init -> f321_0_copy_NONNULL : arg1'=2, arg2'=1, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && arg1P_4<=arg1P_1 && arg1P_4<=arg2P_1 && arg2P_4<=arg1P_1 && arg1P_4>0 && 2+arg5P_4<=arg1P_1 && 2+arg5P_4<=arg2P_4 && arg2P_9>4 && arg3P_9>2 && 3+arg1P_9<=arg3P_4 && arg2P_9<=arg3P_4 && 2+arg3P_9<=arg3P_4 && 5<=arg3P_4 && 1+arg1P_9<=arg2P_4 && 3<=arg2P_4 && arg3P_18>-1 && 2+arg2P_18<=-2+arg2P_9 && 3+arg3P_18<=-2+arg2P_9 && 2+arg2P_18<=arg3P_9 && 3+arg3P_18<=arg3P_9 && 2+arg1P_18<=-2+arg1P_9 && 3<=-2+arg1P_9 && 2+2*meter<=arg1P_18 && arg2P_18>1 && 2+2*meter>2 && meter>=1 && 1<=-1+arg1P_18 ], cost: 8+meter
    153: __init -> f321_0_copy_NONNULL : arg1'=2, arg2'=1, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg2P_1>0 && arg2P_21>1 && arg2P_12>3 && arg3P_12>1 && 4<=arg1P_1 && 2+arg1P_17<=arg1P_12 && 2+arg2P_17<=arg2P_12 && arg2P_17<=arg3P_12 && 3+arg3P_17<=arg2P_12 && 1+arg3P_17<=arg3P_12 && arg1P_12>2 && arg3P_17>-1 && 2+2*meter<=arg1P_17 && arg2P_17>1 && 2+2*meter>2 && meter>=1 && 1<=-1+arg1P_17 ], cost: 9+meter
    154: __init -> f321_0_copy_NONNULL : arg1'=2, arg2'=1, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg2P_1>0 && arg2P_21>1 && 4<=arg1P_1 && arg3P_18>-1 && 2+arg2P_18<=-2+arg2P_12 && 3+arg3P_18<=-2+arg2P_12 && 3<=-2+arg2P_12 && 2+arg2P_18<=arg3P_12 && 3+arg3P_18<=arg3P_12 && 3<=arg3P_12 && 2+arg1P_18<=-2+arg1P_12 && 3<=-2+arg1P_12 && 2+2*meter<=arg1P_18 && arg2P_18>1 && 2+2*meter>2 && meter>=1 && 1<=-1+arg1P_18 ], cost: 10+meter
    155: __init -> f321_0_copy_NONNULL : arg1'=2, arg2'=1, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg2P_21>1 && arg2P_9>4 && arg3P_9>2 && 6<=1+arg1P_1 && 3+arg1P_9<=1+arg1P_1 && arg2P_9<=1+arg1P_1 && 2+arg3P_9<=1+arg1P_1 && 6<=1+arg2P_1 && 3+arg1P_9<=1+arg2P_1 && arg2P_9<=1+arg2P_1 && 2+arg3P_9<=1+arg2P_1 && 2+arg1P_17<=arg1P_9 && 2+arg2P_17<=arg2P_9 && arg2P_17<=arg3P_9 && 3+arg3P_17<=arg2P_9 && 1+arg3P_17<=arg3P_9 && arg1P_9>2 && arg3P_17>-1 && 2+2*meter<=arg1P_17 && arg2P_17>1 && 2+2*meter>2 && meter>=1 && 1<=-1+arg1P_17 ], cost: 9+meter
    156: __init -> f321_0_copy_NONNULL : arg1'=2, arg2'=1, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg2P_21>1 && arg2P_9>4 && arg3P_9>2 && 6<=1+arg1P_1 && 3+arg1P_9<=1+arg1P_1 && arg2P_9<=1+arg1P_1 && 2+arg3P_9<=1+arg1P_1 && 6<=1+arg2P_1 && 3+arg1P_9<=1+arg2P_1 && arg2P_9<=1+arg2P_1 && 2+arg3P_9<=1+arg2P_1 && arg3P_18>-1 && 2+arg2P_18<=-2+arg2P_9 && 3+arg3P_18<=-2+arg2P_9 && 2+arg2P_18<=arg3P_9 && 3+arg3P_18<=arg3P_9 && 2+arg1P_18<=-2+arg1P_9 && 3<=-2+arg1P_9 && 2+2*meter<=arg1P_18 && arg2P_18>1 && 2+2*meter>2 && meter>=1 && 1<=-1+arg1P_18 ], cost: 10+meter

Applied pruning (of leafs and parallel rules):
   Start location: __init
     32: __init -> f69_0__init__GT : arg1'=0, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ arg2P_21>0 && arg1P_21>0 && arg1P_5>0 ], cost: 2+arg1P_5
     81: __init -> f69_0__init__GT : arg1'=0, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && arg1P_6>0 ], cost: 3+arg1P_6
    106: __init -> [14] : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && arg1P_8>2 && arg2P_8>3 && arg3P_8>1 && arg2P_8<=1+arg1P_1 && 1+arg3P_8<=1+arg1P_1 && arg2P_8<=1+arg2P_1 && 1+arg3P_8<=1+arg2P_1 && arg1P_8<=arg1P_1 ], cost: NONTERM
    107: __init -> [14] : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg2P_21>1 && arg2P_9>4 && arg3P_9>2 && arg1P_9>2 && 3+arg1P_9<=1+arg1P_1 && arg2P_9<=1+arg1P_1 && 2+arg3P_9<=1+arg1P_1 && 5<=1+arg1P_1 && 3+arg1P_9<=1+arg2P_1 && arg2P_9<=1+arg2P_1 && 2+arg3P_9<=1+arg2P_1 && 5<=1+arg2P_1 ], cost: NONTERM
    109: __init -> [14] : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && arg2P_9>4 && arg3P_9>2 && arg1P_9>2 && 1+arg1P_9<=arg1P_1 ], cost: NONTERM
    113: __init -> [14] : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && arg1P_9>2 && arg2P_9>5 && arg3P_9>3 && 1+arg1P_9<=arg1P_1 ], cost: NONTERM
    114: __init -> f69_0__init__GT : arg1'=0, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg1P_2>1 && arg2P_2>0 && arg2P_21>1 && arg1P_6>0 ], cost: 3+arg1P_6
    140: __init -> [14] : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg2P_21>1 && arg2P_9>4 && arg3P_9>2 && arg1P_9>2 && 3+arg1P_9<=1+arg1P_2 && arg2P_9<=1+arg1P_2 && 2+arg3P_9<=1+arg1P_2 && 5<=1+arg1P_2 && 3+arg1P_9<=1+arg2P_2 && arg2P_9<=1+arg2P_2 && 2+arg3P_9<=1+arg2P_2 && 5<=1+arg2P_2 ], cost: NONTERM
    147: __init -> f321_0_copy_NONNULL : arg1'=2, arg2'=1, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg1P_1>=arg1P_3 && arg2P_21>1 && arg1P_3<=arg2P_1 && arg1P_1>=arg2P_3 && arg1P_1>=-1+arg3P_3 && -1+arg3P_3<=arg2P_1 && arg1P_3>0 && arg2P_3>0 && arg3P_3>1 && arg1P_1>=2+arg5P_3 && arg1P_8<=arg2P_3 && arg2P_8<=arg3P_3 && 1+arg3P_8<=arg3P_3 && 2+arg5P_3<=arg2P_3 && 2+arg1P_17<=arg1P_8 && 2+arg2P_17<=arg2P_8 && arg2P_17<=arg3P_8 && 3+arg3P_17<=arg2P_8 && 1+arg3P_17<=arg3P_8 && arg1P_8>2 && arg2P_8>2 && arg3P_8>0 && arg3P_17>-1 && 2+2*meter<=arg1P_17 && arg2P_17>1 && 2+2*meter>2 && meter>=1 && 1<=-1+arg1P_17 ], cost: 6+meter
    148: __init -> f321_0_copy_NONNULL : arg1'=2, arg2'=1, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg1P_1>=arg1P_3 && arg2P_21>1 && arg1P_3<=arg2P_1 && arg1P_1>=arg2P_3 && arg1P_1>=-1+arg3P_3 && -1+arg3P_3<=arg2P_1 && arg1P_3>0 && arg2P_3>0 && arg3P_3>1 && arg1P_1>=2+arg5P_3 && arg1P_8<=arg2P_3 && arg2P_8<=arg3P_3 && 1+arg3P_8<=arg3P_3 && 2+arg5P_3<=arg2P_3 && arg3P_18>-1 && 2+arg2P_18<=-2+arg2P_8 && 3+arg3P_18<=-2+arg2P_8 && 3<=-2+arg2P_8 && 2+arg2P_18<=arg3P_8 && 3+arg3P_18<=arg3P_8 && 3<=arg3P_8 && 2+arg1P_18<=-2+arg1P_8 && 3<=-2+arg1P_8 && 2+2*meter<=arg1P_18 && arg2P_18>1 && 2+2*meter>2 && meter>=1 && 1<=-1+arg1P_18 ], cost: 7+meter
    149: __init -> f321_0_copy_NONNULL : arg1'=2, arg2'=1, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg1P_1>=arg1P_3 && arg2P_21>1 && arg1P_3<=arg2P_1 && arg1P_1>=arg2P_3 && arg1P_1>=-1+arg3P_3 && -1+arg3P_3<=arg2P_1 && arg1P_3>0 && arg1P_1>=2+arg5P_3 && 2+arg5P_3<=arg2P_3 && arg2P_9>4 && arg3P_9>2 && 3+arg1P_9<=arg3P_3 && arg2P_9<=arg3P_3 && 2+arg3P_9<=arg3P_3 && 5<=arg3P_3 && 1+arg1P_9<=arg2P_3 && 3<=arg2P_3 && 2+arg1P_17<=arg1P_9 && 2+arg2P_17<=arg2P_9 && arg2P_17<=arg3P_9 && 3+arg3P_17<=arg2P_9 && 1+arg3P_17<=arg3P_9 && arg1P_9>2 && arg3P_17>-1 && 2+2*meter<=arg1P_17 && arg2P_17>1 && 2+2*meter>2 && meter>=1 && 1<=-1+arg1P_17 ], cost: 7+meter
    150: __init -> f321_0_copy_NONNULL : arg1'=2, arg2'=1, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg1P_1>=arg1P_3 && arg2P_21>1 && arg1P_3<=arg2P_1 && arg1P_1>=arg2P_3 && arg1P_1>=-1+arg3P_3 && -1+arg3P_3<=arg2P_1 && arg1P_3>0 && arg1P_1>=2+arg5P_3 && 2+arg5P_3<=arg2P_3 && arg2P_9>4 && arg3P_9>2 && 3+arg1P_9<=arg3P_3 && arg2P_9<=arg3P_3 && 2+arg3P_9<=arg3P_3 && 5<=arg3P_3 && 1+arg1P_9<=arg2P_3 && 3<=arg2P_3 && arg3P_18>-1 && 2+arg2P_18<=-2+arg2P_9 && 3+arg3P_18<=-2+arg2P_9 && 2+arg2P_18<=arg3P_9 && 3+arg3P_18<=arg3P_9 && 2+arg1P_18<=-2+arg1P_9 && 3<=-2+arg1P_9 && 2+2*meter<=arg1P_18 && arg2P_18>1 && 2+2*meter>2 && meter>=1 && 1<=-1+arg1P_18 ], cost: 8+meter
    151: __init -> f321_0_copy_NONNULL : arg1'=2, arg2'=1, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && arg1P_4<=arg1P_1 && arg1P_4<=arg2P_1 && arg2P_4<=arg1P_1 && arg1P_4>0 && 2+arg5P_4<=arg1P_1 && 2+arg5P_4<=arg2P_4 && arg2P_9>4 && arg3P_9>2 && 3+arg1P_9<=arg3P_4 && arg2P_9<=arg3P_4 && 2+arg3P_9<=arg3P_4 && 5<=arg3P_4 && 1+arg1P_9<=arg2P_4 && 3<=arg2P_4 && 2+arg1P_17<=arg1P_9 && 2+arg2P_17<=arg2P_9 && arg2P_17<=arg3P_9 && 3+arg3P_17<=arg2P_9 && 1+arg3P_17<=arg3P_9 && arg1P_9>2 && arg3P_17>-1 && 2+2*meter<=arg1P_17 && arg2P_17>1 && 2+2*meter>2 && meter>=1 && 1<=-1+arg1P_17 ], cost: 7+meter

### Computing asymptotic complexity ###

Fully simplified ITS problem
   Start location: __init
     32: __init -> f69_0__init__GT : arg1'=0, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ arg2P_21>0 && arg1P_21>0 && arg1P_5>0 ], cost: 2+arg1P_5
     81: __init -> f69_0__init__GT : arg1'=0, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && arg1P_6>0 ], cost: 3+arg1P_6
    106: __init -> [14] : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && arg1P_8>2 && arg2P_8>3 && arg3P_8>1 && arg2P_8<=1+arg1P_1 && 1+arg3P_8<=1+arg1P_1 && arg2P_8<=1+arg2P_1 && 1+arg3P_8<=1+arg2P_1 && arg1P_8<=arg1P_1 ], cost: NONTERM
    107: __init -> [14] : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg2P_21>1 && arg2P_9>4 && arg3P_9>2 && arg1P_9>2 && 3+arg1P_9<=1+arg1P_1 && arg2P_9<=1+arg1P_1 && 2+arg3P_9<=1+arg1P_1 && 5<=1+arg1P_1 && 3+arg1P_9<=1+arg2P_1 && arg2P_9<=1+arg2P_1 && 2+arg3P_9<=1+arg2P_1 && 5<=1+arg2P_1 ], cost: NONTERM
    109: __init -> [14] : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && arg2P_9>4 && arg3P_9>2 && arg1P_9>2 && 1+arg1P_9<=arg1P_1 ], cost: NONTERM
    113: __init -> [14] : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && arg1P_9>2 && arg2P_9>5 && arg3P_9>3 && 1+arg1P_9<=arg1P_1 ], cost: NONTERM
    114: __init -> f69_0__init__GT : arg1'=0, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg1P_2>1 && arg2P_2>0 && arg2P_21>1 && arg1P_6>0 ], cost: 3+arg1P_6
    140: __init -> [14] : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ -1+arg1P_2<=arg1P_21 && arg2P_2<=arg1P_21 && arg1P_21>0 && arg2P_21>1 && arg2P_9>4 && arg3P_9>2 && arg1P_9>2 && 3+arg1P_9<=1+arg1P_2 && arg2P_9<=1+arg1P_2 && 2+arg3P_9<=1+arg1P_2 && 5<=1+arg1P_2 && 3+arg1P_9<=1+arg2P_2 && arg2P_9<=1+arg2P_2 && 2+arg3P_9<=1+arg2P_2 && 5<=1+arg2P_2 ], cost: NONTERM
    147: __init -> f321_0_copy_NONNULL : arg1'=2, arg2'=1, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg1P_1>=arg1P_3 && arg2P_21>1 && arg1P_3<=arg2P_1 && arg1P_1>=arg2P_3 && arg1P_1>=-1+arg3P_3 && -1+arg3P_3<=arg2P_1 && arg1P_3>0 && arg2P_3>0 && arg3P_3>1 && arg1P_1>=2+arg5P_3 && arg1P_8<=arg2P_3 && arg2P_8<=arg3P_3 && 1+arg3P_8<=arg3P_3 && 2+arg5P_3<=arg2P_3 && 2+arg1P_17<=arg1P_8 && 2+arg2P_17<=arg2P_8 && arg2P_17<=arg3P_8 && 3+arg3P_17<=arg2P_8 && 1+arg3P_17<=arg3P_8 && arg1P_8>2 && arg2P_8>2 && arg3P_8>0 && arg3P_17>-1 && 2+2*meter<=arg1P_17 && arg2P_17>1 && 2+2*meter>2 && meter>=1 && 1<=-1+arg1P_17 ], cost: 6+meter
    148: __init -> f321_0_copy_NONNULL : arg1'=2, arg2'=1, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg1P_1>=arg1P_3 && arg2P_21>1 && arg1P_3<=arg2P_1 && arg1P_1>=arg2P_3 && arg1P_1>=-1+arg3P_3 && -1+arg3P_3<=arg2P_1 && arg1P_3>0 && arg2P_3>0 && arg3P_3>1 && arg1P_1>=2+arg5P_3 && arg1P_8<=arg2P_3 && arg2P_8<=arg3P_3 && 1+arg3P_8<=arg3P_3 && 2+arg5P_3<=arg2P_3 && arg3P_18>-1 && 2+arg2P_18<=-2+arg2P_8 && 3+arg3P_18<=-2+arg2P_8 && 3<=-2+arg2P_8 && 2+arg2P_18<=arg3P_8 && 3+arg3P_18<=arg3P_8 && 3<=arg3P_8 && 2+arg1P_18<=-2+arg1P_8 && 3<=-2+arg1P_8 && 2+2*meter<=arg1P_18 && arg2P_18>1 && 2+2*meter>2 && meter>=1 && 1<=-1+arg1P_18 ], cost: 7+meter
    149: __init -> f321_0_copy_NONNULL : arg1'=2, arg2'=1, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg1P_1>=arg1P_3 && arg2P_21>1 && arg1P_3<=arg2P_1 && arg1P_1>=arg2P_3 && arg1P_1>=-1+arg3P_3 && -1+arg3P_3<=arg2P_1 && arg1P_3>0 && arg1P_1>=2+arg5P_3 && 2+arg5P_3<=arg2P_3 && arg2P_9>4 && arg3P_9>2 && 3+arg1P_9<=arg3P_3 && arg2P_9<=arg3P_3 && 2+arg3P_9<=arg3P_3 && 5<=arg3P_3 && 1+arg1P_9<=arg2P_3 && 3<=arg2P_3 && 2+arg1P_17<=arg1P_9 && 2+arg2P_17<=arg2P_9 && arg2P_17<=arg3P_9 && 3+arg3P_17<=arg2P_9 && 1+arg3P_17<=arg3P_9 && arg1P_9>2 && arg3P_17>-1 && 2+2*meter<=arg1P_17 && arg2P_17>1 && 2+2*meter>2 && meter>=1 && 1<=-1+arg1P_17 ], cost: 7+meter
    150: __init -> f321_0_copy_NONNULL : arg1'=2, arg2'=1, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg1P_1>=arg1P_3 && arg2P_21>1 && arg1P_3<=arg2P_1 && arg1P_1>=arg2P_3 && arg1P_1>=-1+arg3P_3 && -1+arg3P_3<=arg2P_1 && arg1P_3>0 && arg1P_1>=2+arg5P_3 && 2+arg5P_3<=arg2P_3 && arg2P_9>4 && arg3P_9>2 && 3+arg1P_9<=arg3P_3 && arg2P_9<=arg3P_3 && 2+arg3P_9<=arg3P_3 && 5<=arg3P_3 && 1+arg1P_9<=arg2P_3 && 3<=arg2P_3 && arg3P_18>-1 && 2+arg2P_18<=-2+arg2P_9 && 3+arg3P_18<=-2+arg2P_9 && 2+arg2P_18<=arg3P_9 && 3+arg3P_18<=arg3P_9 && 2+arg1P_18<=-2+arg1P_9 && 3<=-2+arg1P_9 && 2+2*meter<=arg1P_18 && arg2P_18>1 && 2+2*meter>2 && meter>=1 && 1<=-1+arg1P_18 ], cost: 8+meter
    151: __init -> f321_0_copy_NONNULL : arg1'=2, arg2'=1, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ arg2P_1<=arg1P_21 && arg1P_21>0 && arg1P_1>2 && arg2P_1>0 && arg2P_21>1 && arg1P_4<=arg1P_1 && arg1P_4<=arg2P_1 && arg2P_4<=arg1P_1 && arg1P_4>0 && 2+arg5P_4<=arg1P_1 && 2+arg5P_4<=arg2P_4 && arg2P_9>4 && arg3P_9>2 && 3+arg1P_9<=arg3P_4 && arg2P_9<=arg3P_4 && 2+arg3P_9<=arg3P_4 && 5<=arg3P_4 && 1+arg1P_9<=arg2P_4 && 3<=arg2P_4 && 2+arg1P_17<=arg1P_9 && 2+arg2P_17<=arg2P_9 && arg2P_17<=arg3P_9 && 3+arg3P_17<=arg2P_9 && 1+arg3P_17<=arg3P_9 && arg1P_9>2 && arg3P_17>-1 && 2+2*meter<=arg1P_17 && arg2P_17>1 && 2+2*meter>2 && meter>=1 && 1<=-1+arg1P_17 ], cost: 7+meter

Computing asymptotic complexity for rule 32
   Solved the limit problem by the following transformations:
      Created initial limit problem:
      arg1P_5 (+/+!), 2+arg1P_5 (+), arg2P_21 (+/+!), arg1P_21 (+/+!) [not solved]

      removing all constraints (solved by SMT)
      resulting limit problem: [solved]

      applying transformation rule (C) using substitution {arg1P_5==n,arg2P_21==n,arg1P_21==n}
      resulting limit problem:
      [solved]

   Solution:
      arg1P_5 / n
      arg2P_21 / n
      arg1P_21 / n
   Resulting cost 2+n has complexity: Unbounded

Found new complexity Unbounded.

Obtained the following overall complexity (w.r.t. the length of the input n):
   Complexity:  Unbounded
   Cpx degree:  Unbounded
   Solved cost: 2+n
   Rule cost:   2+arg1P_5
   Rule guard:  [ arg2P_21>0 && arg1P_21>0 && arg1P_5>0 ]

WORST_CASE(INF,?)