Trying to load file: main.koat

Initial Control flow graph problem:
  Start location: f15
      2: f1 -> f1 : A'=1+A, C'=K, J'=K, K'=free_19, P'=free_18, Q_1'=A, [ B>=1+A && A>=0 ], cost: 1
      0: f1 -> f14 : A'=D, B'=free_3, C'=free_5, E'=0, F'=free_6, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=C, M'=C, N'=C, O'=free, [ A>=B && A>=0 && free_6>=2 && 0>=1+C && free>=free_6 && D>=free_6 && E==0 ], cost: 1
      1: f1 -> f14 : A'=D, B'=free_12, C'=free_14, E'=0, F'=free_15, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=C, M'=C, N'=C, O'=free_9, [ A>=B && A>=0 && free_15>=2 && C>=1 && free_9>=free_15 && D>=free_15 && E==0 ], cost: 1
     15: f14 -> f14 : D'=-1+D, E'=1+E, F'=free_74, L'=free_72, M'=free_72, R'=free_73, X'=N, Y'=free_75, Z'=1+E, A1'=-1+D, [ E>=0 && D>=0 && free_74>=2 && 0>=1+free_76 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1
     16: f14 -> f14 : D'=-1+D, E'=1+E, F'=free_79, L'=free_77, M'=free_77, R'=free_78, X'=N, Y'=free_80, Z'=1+E, A1'=-1+D, [ E>=0 && D>=0 && free_79>=2 && 0>=1+free_81 && 0>=1+free_77 && free_80>=1 ], cost: 1
     17: f14 -> f14 : D'=-1+D, E'=1+E, F'=free_84, L'=free_82, M'=free_82, R'=free_83, X'=N, Y'=free_85, Z'=1+E, A1'=-1+D, [ E>=0 && D>=0 && free_84>=2 && 0>=1+free_86 && free_82>=1 && 0>=1+free_85 ], cost: 1
     18: f14 -> f14 : D'=-1+D, E'=1+E, F'=free_89, L'=free_87, M'=free_87, R'=free_88, X'=N, Y'=free_90, Z'=1+E, A1'=-1+D, [ E>=0 && D>=0 && free_89>=2 && 0>=1+free_91 && free_87>=1 && free_90>=1 ], cost: 1
     19: f14 -> f14 : D'=-1+D, E'=1+E, F'=free_94, L'=free_92, M'=free_92, R'=free_93, X'=N, Y'=free_95, Z'=1+E, A1'=-1+D, [ E>=0 && D>=0 && free_94>=2 && free_96>=1 && 0>=1+free_92 && 0>=1+free_95 ], cost: 1
     20: f14 -> f14 : D'=-1+D, E'=1+E, F'=free_99, L'=free_97, M'=free_97, R'=free_98, X'=N, Y'=free_100, Z'=1+E, A1'=-1+D, [ E>=0 && D>=0 && free_99>=2 && free_101>=1 && 0>=1+free_97 && free_100>=1 ], cost: 1
     21: f14 -> f14 : D'=-1+D, E'=1+E, F'=free_104, L'=free_102, M'=free_102, R'=free_103, X'=N, Y'=free_105, Z'=1+E, A1'=-1+D, [ E>=0 && D>=0 && free_104>=2 && free_106>=1 && free_102>=1 && 0>=1+free_105 ], cost: 1
     22: f14 -> f14 : D'=-1+D, E'=1+E, F'=free_109, L'=free_107, M'=free_107, R'=free_108, X'=N, Y'=free_110, Z'=1+E, A1'=-1+D, [ E>=0 && D>=0 && free_109>=2 && free_111>=1 && free_107>=1 && free_110>=1 ], cost: 1
     48: f14 -> f8 : E'=1+Q1, F'=free_238, M'=free_236, N'=free_237, B1'=L, C1'=Q1, D1'=0, E1'=L, F1'=0, G1'=L, H1'=L, [ free_239>=2 && free_238>=2 && D>=0 && E>=0 && L>=1 && 0>=1+L && N==0 ], cost: 1
     49: f14 -> f8 : E'=1+Q1, F'=free_242, M'=free_240, N'=free_241, B1'=L, C1'=Q1, D1'=0, E1'=L, F1'=0, G1'=L, H1'=L, [ free_243>=2 && free_242>=2 && D>=0 && E>=0 && L>=1 && N==0 ], cost: 1
     50: f14 -> f8 : E'=1+Q1, F'=free_246, M'=free_244, N'=free_245, B1'=L, C1'=Q1, D1'=0, E1'=L, F1'=0, G1'=L, H1'=L, [ free_247>=2 && free_246>=2 && D>=0 && E>=0 && 0>=1+L && N==0 ], cost: 1
     51: f14 -> f8 : E'=1+Q1, F'=free_250, M'=free_248, N'=free_249, B1'=L, C1'=Q1, D1'=0, E1'=L, F1'=0, G1'=L, H1'=L, [ free_251>=2 && free_250>=2 && D>=0 && E>=0 && 0>=1+L && L>=1 && N==0 ], cost: 1
      3: f10 -> f14 : E'=1, F'=free_22, L'=free_20, M'=free_20, R'=free_21, S'=1+D, T'=free_23, U'=D, [ A>=0 && free_22>=2 && 0>=1+N && free_24>=free_22 && 0>=1+free_20 && E==1 ], cost: 1
      4: f10 -> f14 : E'=1, F'=free_27, L'=free_25, M'=free_25, R'=free_26, S'=1+D, T'=free_28, U'=D, [ A>=0 && free_27>=2 && 0>=1+N && free_29>=free_27 && free_25>=1 && E==1 ], cost: 1
      5: f10 -> f14 : E'=1, F'=free_32, L'=free_30, M'=free_30, R'=free_31, S'=1+D, T'=free_33, U'=D, [ A>=0 && free_32>=2 && N>=1 && free_34>=free_32 && 0>=1+free_30 && E==1 ], cost: 1
      6: f10 -> f14 : E'=1, F'=free_37, L'=free_35, M'=free_35, R'=free_36, S'=1+D, T'=free_38, U'=D, [ A>=0 && free_37>=2 && N>=1 && free_39>=free_37 && free_35>=1 && E==1 ], cost: 1
      7: f11 -> f14 : F'=free_42, L'=free_40, M'=free_40, V'=free_41, W'=free_43, [ U>=0 && free_42>=2 && 0>=1+N && 0>=1+free_40 && 0>=1+free_43 ], cost: 1
      8: f11 -> f14 : F'=free_46, L'=free_44, M'=free_44, V'=free_45, W'=free_47, [ U>=0 && free_46>=2 && 0>=1+N && 0>=1+free_44 && free_47>=1 ], cost: 1
      9: f11 -> f14 : F'=free_50, L'=free_48, M'=free_48, V'=free_49, W'=free_51, [ U>=0 && free_50>=2 && 0>=1+N && free_48>=1 && 0>=1+free_51 ], cost: 1
     10: f11 -> f14 : F'=free_54, L'=free_52, M'=free_52, V'=free_53, W'=free_55, [ U>=0 && free_54>=2 && 0>=1+N && free_52>=1 && free_55>=1 ], cost: 1
     11: f11 -> f14 : F'=free_58, L'=free_56, M'=free_56, V'=free_57, W'=free_59, [ U>=0 && free_58>=2 && N>=1 && 0>=1+free_56 && 0>=1+free_59 ], cost: 1
     12: f11 -> f14 : F'=free_62, L'=free_60, M'=free_60, V'=free_61, W'=free_63, [ U>=0 && free_62>=2 && N>=1 && 0>=1+free_60 && free_63>=1 ], cost: 1
     13: f11 -> f14 : F'=free_66, L'=free_64, M'=free_64, V'=free_65, W'=free_67, [ U>=0 && free_66>=2 && N>=1 && free_64>=1 && 0>=1+free_67 ], cost: 1
     14: f11 -> f14 : F'=free_70, L'=free_68, M'=free_68, V'=free_69, W'=free_71, [ U>=0 && free_70>=2 && N>=1 && free_68>=1 && free_71>=1 ], cost: 1
     44: f11 -> f8 : E'=1+Q1, F'=free_222, M'=free_220, N'=free_221, B1'=L, C1'=Q1, D1'=0, E1'=L, F1'=0, G1'=L, H1'=L, [ free_223>=2 && free_222>=2 && U>=0 && L>=1 && 0>=1+L && N==0 && E==1 ], cost: 1
     45: f11 -> f8 : E'=1+Q1, F'=free_226, M'=free_224, N'=free_225, B1'=L, C1'=Q1, D1'=0, E1'=L, F1'=0, G1'=L, H1'=L, [ free_227>=2 && free_226>=2 && U>=0 && L>=1 && N==0 && E==1 ], cost: 1
     46: f11 -> f8 : E'=1+Q1, F'=free_230, M'=free_228, N'=free_229, B1'=L, C1'=Q1, D1'=0, E1'=L, F1'=0, G1'=L, H1'=L, [ free_231>=2 && free_230>=2 && U>=0 && 0>=1+L && N==0 && E==1 ], cost: 1
     47: f11 -> f8 : E'=1+Q1, F'=free_234, M'=free_232, N'=free_233, B1'=L, C1'=Q1, D1'=0, E1'=L, F1'=0, G1'=L, H1'=L, [ free_235>=2 && free_234>=2 && U>=0 && 0>=1+L && L>=1 && N==0 && E==1 ], cost: 1
     23: f7 -> f8 : F'=free_113, L'=free_112, D1'=0, E1'=free_112, F1'=0, G1'=free_112, H1'=B1, [ free_114>=1+B1 && C1>=0 && free_113>=2 && free_112>=1+free_114 && 0>=1+free_112 && D1==0 ], cost: 1
     24: f7 -> f8 : F'=free_116, L'=free_115, D1'=0, E1'=free_115, F1'=0, G1'=free_115, H1'=B1, [ free_117>=1+B1 && C1>=0 && free_116>=2 && free_115>=1+free_117 && free_115>=1 && D1==0 ], cost: 1
     25: f7 -> f8 : F'=free_119, L'=free_118, D1'=0, E1'=free_118, F1'=0, G1'=free_118, H1'=B1, [ free_120>=1+B1 && C1>=0 && free_119>=2 && free_120>=1+free_118 && 0>=1+free_118 && D1==0 ], cost: 1
     26: f7 -> f8 : F'=free_122, L'=free_121, D1'=0, E1'=free_121, F1'=0, G1'=free_121, H1'=B1, [ free_123>=1+B1 && C1>=0 && free_122>=2 && free_123>=1+free_121 && free_121>=1 && D1==0 ], cost: 1
     27: f7 -> f8 : F'=free_125, L'=free_124, D1'=0, E1'=free_124, F1'=0, G1'=free_124, H1'=B1, [ B1>=1+free_126 && C1>=0 && free_125>=2 && free_124>=1+free_126 && 0>=1+free_124 && D1==0 ], cost: 1
     28: f7 -> f8 : F'=free_128, L'=free_127, D1'=0, E1'=free_127, F1'=0, G1'=free_127, H1'=B1, [ B1>=1+free_129 && C1>=0 && free_128>=2 && free_127>=1+free_129 && free_127>=1 && D1==0 ], cost: 1
     29: f7 -> f8 : F'=free_131, L'=free_130, D1'=0, E1'=free_130, F1'=0, G1'=free_130, H1'=B1, [ B1>=1+free_132 && C1>=0 && free_131>=2 && free_132>=1+free_130 && 0>=1+free_130 && D1==0 ], cost: 1
     30: f7 -> f8 : F'=free_134, L'=free_133, D1'=0, E1'=free_133, F1'=0, G1'=free_133, H1'=B1, [ B1>=1+free_135 && C1>=0 && free_134>=2 && free_135>=1+free_133 && free_133>=1 && D1==0 ], cost: 1
     31: f7 -> f16 : F'=free_142, H'=free_139, L'=free_141, B1'=free_138, D1'=free_144, E1'=free_143, F1'=free_137, G1'=free_140, H1'=free_136, [ C1>=0 && 0>=1+free_141 && free_142>=2 && D1==B1 ], cost: 1
     32: f7 -> f16 : F'=free_151, H'=free_148, L'=free_150, B1'=free_147, D1'=free_153, E1'=free_152, F1'=free_146, G1'=free_149, H1'=free_145, [ C1>=0 && free_150>=1 && free_151>=2 && D1==B1 ], cost: 1
     33: f8 -> f8 : F'=free_156, L'=free_154, R'=free_155, D1'=0, E1'=free_154, F1'=0, G1'=free_154, H1'=B1, Q1'=-1+Q1, J1'=-1+Q1, [ free_157>=1+B1 && Q1>=0 && free_156>=2 && free_154>=1+free_157 && 0>=1+free_154 && D1==0 ], cost: 1
     34: f8 -> f8 : F'=free_160, L'=free_158, R'=free_159, D1'=0, E1'=free_158, F1'=0, G1'=free_158, H1'=B1, Q1'=-1+Q1, J1'=-1+Q1, [ free_161>=1+B1 && Q1>=0 && free_160>=2 && free_158>=1+free_161 && free_158>=1 && D1==0 ], cost: 1
     35: f8 -> f8 : F'=free_164, L'=free_162, R'=free_163, D1'=0, E1'=free_162, F1'=0, G1'=free_162, H1'=B1, Q1'=-1+Q1, J1'=-1+Q1, [ free_165>=1+B1 && Q1>=0 && free_164>=2 && free_165>=1+free_162 && 0>=1+free_162 && D1==0 ], cost: 1
     36: f8 -> f8 : F'=free_168, L'=free_166, R'=free_167, D1'=0, E1'=free_166, F1'=0, G1'=free_166, H1'=B1, Q1'=-1+Q1, J1'=-1+Q1, [ free_169>=1+B1 && Q1>=0 && free_168>=2 && free_169>=1+free_166 && free_166>=1 && D1==0 ], cost: 1
     37: f8 -> f8 : F'=free_172, L'=free_170, R'=free_171, D1'=0, E1'=free_170, F1'=0, G1'=free_170, H1'=B1, Q1'=-1+Q1, J1'=-1+Q1, [ B1>=1+free_173 && Q1>=0 && free_172>=2 && free_170>=1+free_173 && 0>=1+free_170 && D1==0 ], cost: 1
     38: f8 -> f8 : F'=free_176, L'=free_174, R'=free_175, D1'=0, E1'=free_174, F1'=0, G1'=free_174, H1'=B1, Q1'=-1+Q1, J1'=-1+Q1, [ B1>=1+free_177 && Q1>=0 && free_176>=2 && free_174>=1+free_177 && free_174>=1 && D1==0 ], cost: 1
     39: f8 -> f8 : F'=free_180, L'=free_178, R'=free_179, D1'=0, E1'=free_178, F1'=0, G1'=free_178, H1'=B1, Q1'=-1+Q1, J1'=-1+Q1, [ B1>=1+free_181 && Q1>=0 && free_180>=2 && free_181>=1+free_178 && 0>=1+free_178 && D1==0 ], cost: 1
     40: f8 -> f8 : F'=free_184, L'=free_182, R'=free_183, D1'=0, E1'=free_182, F1'=0, G1'=free_182, H1'=B1, Q1'=-1+Q1, J1'=-1+Q1, [ B1>=1+free_185 && Q1>=0 && free_184>=2 && free_185>=1+free_182 && free_182>=1 && D1==0 ], cost: 1
     41: f8 -> f16 : F'=free_191, H'=free_188, B1'=free_193, D1'=free_189, E1'=free_190, F1'=free_192, G1'=free_186, H1'=free_187, [ free_191>=2 && Q1>=0 && D1==B1 ], cost: 1
     42: f15 -> f1 : A'=2, B'=free_195, C'=free_196, F'=free_195, Q'=free_196, J'=free_196, K'=free_198, K1'=free_197, L1'=free_194, [ free_195>=2 ], cost: 1
     43: f15 -> f16 : A'=free_202, B'=free_209, C'=free_214, F'=free_204, G'=free_208, H'=free_215, Q'=free_203, J'=free_199, K'=free_207, L'=0, M'=free_213, N'=free_201, B1'=free_210, D1'=free_205, E1'=free_206, F1'=free_212, G1'=free_200, H1'=free_216, K1'=free_211, [ 0>=free_218 && 0>=free_219 && 0>=free_204 && 0>=free_217 ], cost: 1


Simplified the transitions:
  Start location: f15
      2: f1 -> f1 : A'=1+A, C'=K, J'=K, K'=free_19, P'=free_18, Q_1'=A, [ B>=1+A && A>=0 ], cost: 1
      0: f1 -> f14 : A'=D, B'=free_3, C'=free_5, E'=0, F'=free_6, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=C, M'=C, N'=C, O'=free, [ A>=B && A>=0 && free_6>=2 && 0>=1+C && free>=free_6 && D>=free_6 && E==0 ], cost: 1
      1: f1 -> f14 : A'=D, B'=free_12, C'=free_14, E'=0, F'=free_15, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=C, M'=C, N'=C, O'=free_9, [ A>=B && A>=0 && free_15>=2 && C>=1 && free_9>=free_15 && D>=free_15 && E==0 ], cost: 1
     15: f14 -> f14 : D'=-1+D, E'=1+E, F'=free_74, L'=free_72, M'=free_72, R'=free_73, X'=N, Y'=free_75, Z'=1+E, A1'=-1+D, [ E>=0 && D>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1
     16: f14 -> f14 : D'=-1+D, E'=1+E, F'=free_79, L'=free_77, M'=free_77, R'=free_78, X'=N, Y'=free_80, Z'=1+E, A1'=-1+D, [ E>=0 && D>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1
     17: f14 -> f14 : D'=-1+D, E'=1+E, F'=free_84, L'=free_82, M'=free_82, R'=free_83, X'=N, Y'=free_85, Z'=1+E, A1'=-1+D, [ E>=0 && D>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1
     18: f14 -> f14 : D'=-1+D, E'=1+E, F'=free_89, L'=free_87, M'=free_87, R'=free_88, X'=N, Y'=free_90, Z'=1+E, A1'=-1+D, [ E>=0 && D>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1
     19: f14 -> f14 : D'=-1+D, E'=1+E, F'=free_94, L'=free_92, M'=free_92, R'=free_93, X'=N, Y'=free_95, Z'=1+E, A1'=-1+D, [ E>=0 && D>=0 && free_94>=2 && 0>=1+free_92 && 0>=1+free_95 ], cost: 1
     20: f14 -> f14 : D'=-1+D, E'=1+E, F'=free_99, L'=free_97, M'=free_97, R'=free_98, X'=N, Y'=free_100, Z'=1+E, A1'=-1+D, [ E>=0 && D>=0 && free_99>=2 && 0>=1+free_97 && free_100>=1 ], cost: 1
     21: f14 -> f14 : D'=-1+D, E'=1+E, F'=free_104, L'=free_102, M'=free_102, R'=free_103, X'=N, Y'=free_105, Z'=1+E, A1'=-1+D, [ E>=0 && D>=0 && free_104>=2 && free_102>=1 && 0>=1+free_105 ], cost: 1
     22: f14 -> f14 : D'=-1+D, E'=1+E, F'=free_109, L'=free_107, M'=free_107, R'=free_108, X'=N, Y'=free_110, Z'=1+E, A1'=-1+D, [ E>=0 && D>=0 && free_109>=2 && free_107>=1 && free_110>=1 ], cost: 1
     48: f14 -> f8 : E'=1+Q1, F'=free_238, M'=free_236, N'=free_237, B1'=L, C1'=Q1, D1'=0, E1'=L, F1'=0, G1'=L, H1'=L, [ free_238>=2 && D>=0 && E>=0 && L>=1 && 0>=1+L && N==0 ], cost: 1
     49: f14 -> f8 : E'=1+Q1, F'=free_242, M'=free_240, N'=free_241, B1'=L, C1'=Q1, D1'=0, E1'=L, F1'=0, G1'=L, H1'=L, [ free_242>=2 && D>=0 && E>=0 && L>=1 && N==0 ], cost: 1
     50: f14 -> f8 : E'=1+Q1, F'=free_246, M'=free_244, N'=free_245, B1'=L, C1'=Q1, D1'=0, E1'=L, F1'=0, G1'=L, H1'=L, [ free_246>=2 && D>=0 && E>=0 && 0>=1+L && N==0 ], cost: 1
     51: f14 -> f8 : E'=1+Q1, F'=free_250, M'=free_248, N'=free_249, B1'=L, C1'=Q1, D1'=0, E1'=L, F1'=0, G1'=L, H1'=L, [ free_250>=2 && D>=0 && E>=0 && 0>=1+L && L>=1 && N==0 ], cost: 1
     33: f8 -> f8 : F'=free_156, L'=free_154, R'=free_155, D1'=0, E1'=free_154, F1'=0, G1'=free_154, H1'=B1, Q1'=-1+Q1, J1'=-1+Q1, [ Q1>=0 && free_156>=2 && 0>=1+free_154 && D1==0 && 1+B1<=-1+free_154 ], cost: 1
     34: f8 -> f8 : F'=free_160, L'=free_158, R'=free_159, D1'=0, E1'=free_158, F1'=0, G1'=free_158, H1'=B1, Q1'=-1+Q1, J1'=-1+Q1, [ Q1>=0 && free_160>=2 && free_158>=1 && D1==0 && 1+B1<=-1+free_158 ], cost: 1
     35: f8 -> f8 : F'=free_164, L'=free_162, R'=free_163, D1'=0, E1'=free_162, F1'=0, G1'=free_162, H1'=B1, Q1'=-1+Q1, J1'=-1+Q1, [ Q1>=0 && free_164>=2 && 0>=1+free_162 && D1==0 ], cost: 1
     36: f8 -> f8 : F'=free_168, L'=free_166, R'=free_167, D1'=0, E1'=free_166, F1'=0, G1'=free_166, H1'=B1, Q1'=-1+Q1, J1'=-1+Q1, [ Q1>=0 && free_168>=2 && free_166>=1 && D1==0 ], cost: 1
     37: f8 -> f8 : F'=free_172, L'=free_170, R'=free_171, D1'=0, E1'=free_170, F1'=0, G1'=free_170, H1'=B1, Q1'=-1+Q1, J1'=-1+Q1, [ Q1>=0 && free_172>=2 && 0>=1+free_170 && D1==0 ], cost: 1
     38: f8 -> f8 : F'=free_176, L'=free_174, R'=free_175, D1'=0, E1'=free_174, F1'=0, G1'=free_174, H1'=B1, Q1'=-1+Q1, J1'=-1+Q1, [ Q1>=0 && free_176>=2 && free_174>=1 && D1==0 ], cost: 1
     39: f8 -> f8 : F'=free_180, L'=free_178, R'=free_179, D1'=0, E1'=free_178, F1'=0, G1'=free_178, H1'=B1, Q1'=-1+Q1, J1'=-1+Q1, [ Q1>=0 && free_180>=2 && 0>=1+free_178 && D1==0 && 1+free_178<=-1+B1 ], cost: 1
     40: f8 -> f8 : F'=free_184, L'=free_182, R'=free_183, D1'=0, E1'=free_182, F1'=0, G1'=free_182, H1'=B1, Q1'=-1+Q1, J1'=-1+Q1, [ Q1>=0 && free_184>=2 && free_182>=1 && D1==0 && 1+free_182<=-1+B1 ], cost: 1
     42: f15 -> f1 : A'=2, B'=free_195, C'=free_196, F'=free_195, Q'=free_196, J'=free_196, K'=free_198, K1'=free_197, L1'=free_194, [ free_195>=2 ], cost: 1

Eliminating 1 self-loops for location f1
  Self-Loop 2 has the metering function: B-A, resulting in the new transition 52.
  Removing the self-loops: 2.
Eliminating 8 self-loops for location f14
  Self-Loop 15 has the metering function: 1+D, resulting in the new transition 53.
  Self-Loop 16 has the metering function: 1+D, resulting in the new transition 54.
  Self-Loop 17 has the metering function: 1+D, resulting in the new transition 55.
  Self-Loop 18 has the metering function: 1+D, resulting in the new transition 56.
  Self-Loop 19 has the metering function: 1+D, resulting in the new transition 57.
  Self-Loop 20 has the metering function: 1+D, resulting in the new transition 58.
  Self-Loop 21 has the metering function: 1+D, resulting in the new transition 59.
  Self-Loop 22 has the metering function: 1+D, resulting in the new transition 60.
  Removing the self-loops: 15 16 17 18 19 20 21 22.
Eliminating 8 self-loops for location f8
  Self-Loop 33 has the metering function: 1+Q1, resulting in the new transition 61.
  Self-Loop 34 has the metering function: 1+Q1, resulting in the new transition 62.
  Self-Loop 35 has the metering function: 1+Q1, resulting in the new transition 63.
  Self-Loop 36 has the metering function: 1+Q1, resulting in the new transition 64.
  Self-Loop 37 has the metering function: 1+Q1, resulting in the new transition 65.
  Self-Loop 38 has the metering function: 1+Q1, resulting in the new transition 66.
  Self-Loop 39 has the metering function: 1+Q1, resulting in the new transition 67.
  Self-Loop 40 has the metering function: 1+Q1, resulting in the new transition 68.
  Removing the self-loops: 33 34 35 36 37 38 39 40.

Removed all Self-loops using metering functions (where possible):
  Start location: f15
     52: f1 -> [8] : A'=B, C'=free_19, J'=free_19, K'=free_19, P'=free_18, Q_1'=-1+B, [ B>=1+A && A>=0 ], cost: B-A
     53: f14 -> [9] : D'=-1, E'=1+E+D, F'=free_74, L'=free_72, M'=free_72, R'=free_73, X'=N, Y'=free_75, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+D
     54: f14 -> [9] : D'=-1, E'=1+E+D, F'=free_79, L'=free_77, M'=free_77, R'=free_78, X'=N, Y'=free_80, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+D
     55: f14 -> [9] : D'=-1, E'=1+E+D, F'=free_84, L'=free_82, M'=free_82, R'=free_83, X'=N, Y'=free_85, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+D
     56: f14 -> [9] : D'=-1, E'=1+E+D, F'=free_89, L'=free_87, M'=free_87, R'=free_88, X'=N, Y'=free_90, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+D
     57: f14 -> [9] : D'=-1, E'=1+E+D, F'=free_94, L'=free_92, M'=free_92, R'=free_93, X'=N, Y'=free_95, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_94>=2 && 0>=1+free_92 && 0>=1+free_95 ], cost: 1+D
     58: f14 -> [9] : D'=-1, E'=1+E+D, F'=free_99, L'=free_97, M'=free_97, R'=free_98, X'=N, Y'=free_100, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_99>=2 && 0>=1+free_97 && free_100>=1 ], cost: 1+D
     59: f14 -> [9] : D'=-1, E'=1+E+D, F'=free_104, L'=free_102, M'=free_102, R'=free_103, X'=N, Y'=free_105, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_104>=2 && free_102>=1 && 0>=1+free_105 ], cost: 1+D
     60: f14 -> [9] : D'=-1, E'=1+E+D, F'=free_109, L'=free_107, M'=free_107, R'=free_108, X'=N, Y'=free_110, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_109>=2 && free_107>=1 && free_110>=1 ], cost: 1+D
     61: f8 -> [10] : F'=free_156, L'=free_154, R'=free_155, D1'=0, E1'=free_154, F1'=0, G1'=free_154, H1'=B1, Q1'=-1, J1'=-1, [ Q1>=0 && free_156>=2 && 0>=1+free_154 && D1==0 && 1+B1<=-1+free_154 ], cost: 1+Q1
     62: f8 -> [10] : F'=free_160, L'=free_158, R'=free_159, D1'=0, E1'=free_158, F1'=0, G1'=free_158, H1'=B1, Q1'=-1, J1'=-1, [ Q1>=0 && free_160>=2 && free_158>=1 && D1==0 && 1+B1<=-1+free_158 ], cost: 1+Q1
     63: f8 -> [10] : F'=free_164, L'=free_162, R'=free_163, D1'=0, E1'=free_162, F1'=0, G1'=free_162, H1'=B1, Q1'=-1, J1'=-1, [ Q1>=0 && free_164>=2 && 0>=1+free_162 && D1==0 ], cost: 1+Q1
     64: f8 -> [10] : F'=free_168, L'=free_166, R'=free_167, D1'=0, E1'=free_166, F1'=0, G1'=free_166, H1'=B1, Q1'=-1, J1'=-1, [ Q1>=0 && free_168>=2 && free_166>=1 && D1==0 ], cost: 1+Q1
     65: f8 -> [10] : F'=free_172, L'=free_170, R'=free_171, D1'=0, E1'=free_170, F1'=0, G1'=free_170, H1'=B1, Q1'=-1, J1'=-1, [ Q1>=0 && free_172>=2 && 0>=1+free_170 && D1==0 ], cost: 1+Q1
     66: f8 -> [10] : F'=free_176, L'=free_174, R'=free_175, D1'=0, E1'=free_174, F1'=0, G1'=free_174, H1'=B1, Q1'=-1, J1'=-1, [ Q1>=0 && free_176>=2 && free_174>=1 && D1==0 ], cost: 1+Q1
     67: f8 -> [10] : F'=free_180, L'=free_178, R'=free_179, D1'=0, E1'=free_178, F1'=0, G1'=free_178, H1'=B1, Q1'=-1, J1'=-1, [ Q1>=0 && free_180>=2 && 0>=1+free_178 && D1==0 && 1+free_178<=-1+B1 ], cost: 1+Q1
     68: f8 -> [10] : F'=free_184, L'=free_182, R'=free_183, D1'=0, E1'=free_182, F1'=0, G1'=free_182, H1'=B1, Q1'=-1, J1'=-1, [ Q1>=0 && free_184>=2 && free_182>=1 && D1==0 && 1+free_182<=-1+B1 ], cost: 1+Q1
     42: f15 -> f1 : A'=2, B'=free_195, C'=free_196, F'=free_195, Q'=free_196, J'=free_196, K'=free_198, K1'=free_197, L1'=free_194, [ free_195>=2 ], cost: 1
      0: [8] -> f14 : A'=D, B'=free_3, C'=free_5, E'=0, F'=free_6, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=C, M'=C, N'=C, O'=free, [ A>=B && A>=0 && free_6>=2 && 0>=1+C && free>=free_6 && D>=free_6 && E==0 ], cost: 1
      1: [8] -> f14 : A'=D, B'=free_12, C'=free_14, E'=0, F'=free_15, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=C, M'=C, N'=C, O'=free_9, [ A>=B && A>=0 && free_15>=2 && C>=1 && free_9>=free_15 && D>=free_15 && E==0 ], cost: 1
     48: [9] -> f8 : E'=1+Q1, F'=free_238, M'=free_236, N'=free_237, B1'=L, C1'=Q1, D1'=0, E1'=L, F1'=0, G1'=L, H1'=L, [ free_238>=2 && D>=0 && E>=0 && L>=1 && 0>=1+L && N==0 ], cost: 1
     49: [9] -> f8 : E'=1+Q1, F'=free_242, M'=free_240, N'=free_241, B1'=L, C1'=Q1, D1'=0, E1'=L, F1'=0, G1'=L, H1'=L, [ free_242>=2 && D>=0 && E>=0 && L>=1 && N==0 ], cost: 1
     50: [9] -> f8 : E'=1+Q1, F'=free_246, M'=free_244, N'=free_245, B1'=L, C1'=Q1, D1'=0, E1'=L, F1'=0, G1'=L, H1'=L, [ free_246>=2 && D>=0 && E>=0 && 0>=1+L && N==0 ], cost: 1
     51: [9] -> f8 : E'=1+Q1, F'=free_250, M'=free_248, N'=free_249, B1'=L, C1'=Q1, D1'=0, E1'=L, F1'=0, G1'=L, H1'=L, [ free_250>=2 && D>=0 && E>=0 && 0>=1+L && L>=1 && N==0 ], cost: 1


Applied simple chaining:
  Start location: f15
     53: f14 -> [9] : D'=-1, E'=1+E+D, F'=free_74, L'=free_72, M'=free_72, R'=free_73, X'=N, Y'=free_75, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+D
     54: f14 -> [9] : D'=-1, E'=1+E+D, F'=free_79, L'=free_77, M'=free_77, R'=free_78, X'=N, Y'=free_80, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+D
     55: f14 -> [9] : D'=-1, E'=1+E+D, F'=free_84, L'=free_82, M'=free_82, R'=free_83, X'=N, Y'=free_85, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+D
     56: f14 -> [9] : D'=-1, E'=1+E+D, F'=free_89, L'=free_87, M'=free_87, R'=free_88, X'=N, Y'=free_90, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+D
     57: f14 -> [9] : D'=-1, E'=1+E+D, F'=free_94, L'=free_92, M'=free_92, R'=free_93, X'=N, Y'=free_95, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_94>=2 && 0>=1+free_92 && 0>=1+free_95 ], cost: 1+D
     58: f14 -> [9] : D'=-1, E'=1+E+D, F'=free_99, L'=free_97, M'=free_97, R'=free_98, X'=N, Y'=free_100, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_99>=2 && 0>=1+free_97 && free_100>=1 ], cost: 1+D
     59: f14 -> [9] : D'=-1, E'=1+E+D, F'=free_104, L'=free_102, M'=free_102, R'=free_103, X'=N, Y'=free_105, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_104>=2 && free_102>=1 && 0>=1+free_105 ], cost: 1+D
     60: f14 -> [9] : D'=-1, E'=1+E+D, F'=free_109, L'=free_107, M'=free_107, R'=free_108, X'=N, Y'=free_110, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_109>=2 && free_107>=1 && free_110>=1 ], cost: 1+D
     61: f8 -> [10] : F'=free_156, L'=free_154, R'=free_155, D1'=0, E1'=free_154, F1'=0, G1'=free_154, H1'=B1, Q1'=-1, J1'=-1, [ Q1>=0 && free_156>=2 && 0>=1+free_154 && D1==0 && 1+B1<=-1+free_154 ], cost: 1+Q1
     62: f8 -> [10] : F'=free_160, L'=free_158, R'=free_159, D1'=0, E1'=free_158, F1'=0, G1'=free_158, H1'=B1, Q1'=-1, J1'=-1, [ Q1>=0 && free_160>=2 && free_158>=1 && D1==0 && 1+B1<=-1+free_158 ], cost: 1+Q1
     63: f8 -> [10] : F'=free_164, L'=free_162, R'=free_163, D1'=0, E1'=free_162, F1'=0, G1'=free_162, H1'=B1, Q1'=-1, J1'=-1, [ Q1>=0 && free_164>=2 && 0>=1+free_162 && D1==0 ], cost: 1+Q1
     64: f8 -> [10] : F'=free_168, L'=free_166, R'=free_167, D1'=0, E1'=free_166, F1'=0, G1'=free_166, H1'=B1, Q1'=-1, J1'=-1, [ Q1>=0 && free_168>=2 && free_166>=1 && D1==0 ], cost: 1+Q1
     65: f8 -> [10] : F'=free_172, L'=free_170, R'=free_171, D1'=0, E1'=free_170, F1'=0, G1'=free_170, H1'=B1, Q1'=-1, J1'=-1, [ Q1>=0 && free_172>=2 && 0>=1+free_170 && D1==0 ], cost: 1+Q1
     66: f8 -> [10] : F'=free_176, L'=free_174, R'=free_175, D1'=0, E1'=free_174, F1'=0, G1'=free_174, H1'=B1, Q1'=-1, J1'=-1, [ Q1>=0 && free_176>=2 && free_174>=1 && D1==0 ], cost: 1+Q1
     67: f8 -> [10] : F'=free_180, L'=free_178, R'=free_179, D1'=0, E1'=free_178, F1'=0, G1'=free_178, H1'=B1, Q1'=-1, J1'=-1, [ Q1>=0 && free_180>=2 && 0>=1+free_178 && D1==0 && 1+free_178<=-1+B1 ], cost: 1+Q1
     68: f8 -> [10] : F'=free_184, L'=free_182, R'=free_183, D1'=0, E1'=free_182, F1'=0, G1'=free_182, H1'=B1, Q1'=-1, J1'=-1, [ Q1>=0 && free_184>=2 && free_182>=1 && D1==0 && 1+free_182<=-1+B1 ], cost: 1+Q1
     42: f15 -> [8] : A'=free_195, B'=free_195, C'=free_19, F'=free_195, Q'=free_196, J'=free_19, K'=free_19, P'=free_18, Q_1'=-1+free_195, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 ], cost: -1+free_195
      0: [8] -> f14 : A'=D, B'=free_3, C'=free_5, E'=0, F'=free_6, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=C, M'=C, N'=C, O'=free, [ A>=B && A>=0 && free_6>=2 && 0>=1+C && free>=free_6 && D>=free_6 && E==0 ], cost: 1
      1: [8] -> f14 : A'=D, B'=free_12, C'=free_14, E'=0, F'=free_15, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=C, M'=C, N'=C, O'=free_9, [ A>=B && A>=0 && free_15>=2 && C>=1 && free_9>=free_15 && D>=free_15 && E==0 ], cost: 1
     48: [9] -> f8 : E'=1+Q1, F'=free_238, M'=free_236, N'=free_237, B1'=L, C1'=Q1, D1'=0, E1'=L, F1'=0, G1'=L, H1'=L, [ free_238>=2 && D>=0 && E>=0 && L>=1 && 0>=1+L && N==0 ], cost: 1
     49: [9] -> f8 : E'=1+Q1, F'=free_242, M'=free_240, N'=free_241, B1'=L, C1'=Q1, D1'=0, E1'=L, F1'=0, G1'=L, H1'=L, [ free_242>=2 && D>=0 && E>=0 && L>=1 && N==0 ], cost: 1
     50: [9] -> f8 : E'=1+Q1, F'=free_246, M'=free_244, N'=free_245, B1'=L, C1'=Q1, D1'=0, E1'=L, F1'=0, G1'=L, H1'=L, [ free_246>=2 && D>=0 && E>=0 && 0>=1+L && N==0 ], cost: 1
     51: [9] -> f8 : E'=1+Q1, F'=free_250, M'=free_248, N'=free_249, B1'=L, C1'=Q1, D1'=0, E1'=L, F1'=0, G1'=L, H1'=L, [ free_250>=2 && D>=0 && E>=0 && 0>=1+L && L>=1 && N==0 ], cost: 1


Applied chaining over branches and pruning:
  Start location: f15
     71: f14 -> [11] : D'=-1, E'=1+E+D, F'=free_74, L'=free_72, M'=free_72, R'=free_73, X'=N, Y'=free_75, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+D
     72: f14 -> [12] : D'=-1, E'=1+E+D, F'=free_74, L'=free_72, M'=free_72, R'=free_73, X'=N, Y'=free_75, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+D
     73: f14 -> [13] : D'=-1, E'=1+E+D, F'=free_74, L'=free_72, M'=free_72, R'=free_73, X'=N, Y'=free_75, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+D
     74: f14 -> [14] : D'=-1, E'=1+E+D, F'=free_74, L'=free_72, M'=free_72, R'=free_73, X'=N, Y'=free_75, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+D
     75: f14 -> [15] : D'=-1, E'=1+E+D, F'=free_79, L'=free_77, M'=free_77, R'=free_78, X'=N, Y'=free_80, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+D
     76: f14 -> [16] : D'=-1, E'=1+E+D, F'=free_79, L'=free_77, M'=free_77, R'=free_78, X'=N, Y'=free_80, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+D
     77: f14 -> [17] : D'=-1, E'=1+E+D, F'=free_79, L'=free_77, M'=free_77, R'=free_78, X'=N, Y'=free_80, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+D
     78: f14 -> [18] : D'=-1, E'=1+E+D, F'=free_79, L'=free_77, M'=free_77, R'=free_78, X'=N, Y'=free_80, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+D
     79: f14 -> [19] : D'=-1, E'=1+E+D, F'=free_84, L'=free_82, M'=free_82, R'=free_83, X'=N, Y'=free_85, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+D
     80: f14 -> [20] : D'=-1, E'=1+E+D, F'=free_84, L'=free_82, M'=free_82, R'=free_83, X'=N, Y'=free_85, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+D
     81: f14 -> [21] : D'=-1, E'=1+E+D, F'=free_84, L'=free_82, M'=free_82, R'=free_83, X'=N, Y'=free_85, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+D
     82: f14 -> [22] : D'=-1, E'=1+E+D, F'=free_84, L'=free_82, M'=free_82, R'=free_83, X'=N, Y'=free_85, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+D
     83: f14 -> [23] : D'=-1, E'=1+E+D, F'=free_89, L'=free_87, M'=free_87, R'=free_88, X'=N, Y'=free_90, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+D
     84: f14 -> [24] : D'=-1, E'=1+E+D, F'=free_89, L'=free_87, M'=free_87, R'=free_88, X'=N, Y'=free_90, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+D
     85: f14 -> [25] : D'=-1, E'=1+E+D, F'=free_89, L'=free_87, M'=free_87, R'=free_88, X'=N, Y'=free_90, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+D
     86: f14 -> [26] : D'=-1, E'=1+E+D, F'=free_89, L'=free_87, M'=free_87, R'=free_88, X'=N, Y'=free_90, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+D
     87: f14 -> [27] : D'=-1, E'=1+E+D, F'=free_94, L'=free_92, M'=free_92, R'=free_93, X'=N, Y'=free_95, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_94>=2 && 0>=1+free_92 && 0>=1+free_95 ], cost: 1+D
     88: f14 -> [28] : D'=-1, E'=1+E+D, F'=free_94, L'=free_92, M'=free_92, R'=free_93, X'=N, Y'=free_95, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_94>=2 && 0>=1+free_92 && 0>=1+free_95 ], cost: 1+D
     89: f14 -> [29] : D'=-1, E'=1+E+D, F'=free_94, L'=free_92, M'=free_92, R'=free_93, X'=N, Y'=free_95, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_94>=2 && 0>=1+free_92 && 0>=1+free_95 ], cost: 1+D
     90: f14 -> [30] : D'=-1, E'=1+E+D, F'=free_94, L'=free_92, M'=free_92, R'=free_93, X'=N, Y'=free_95, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_94>=2 && 0>=1+free_92 && 0>=1+free_95 ], cost: 1+D
     91: f14 -> [31] : D'=-1, E'=1+E+D, F'=free_99, L'=free_97, M'=free_97, R'=free_98, X'=N, Y'=free_100, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_99>=2 && 0>=1+free_97 && free_100>=1 ], cost: 1+D
     92: f14 -> [32] : D'=-1, E'=1+E+D, F'=free_99, L'=free_97, M'=free_97, R'=free_98, X'=N, Y'=free_100, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_99>=2 && 0>=1+free_97 && free_100>=1 ], cost: 1+D
     93: f14 -> [33] : D'=-1, E'=1+E+D, F'=free_99, L'=free_97, M'=free_97, R'=free_98, X'=N, Y'=free_100, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_99>=2 && 0>=1+free_97 && free_100>=1 ], cost: 1+D
     94: f14 -> [34] : D'=-1, E'=1+E+D, F'=free_99, L'=free_97, M'=free_97, R'=free_98, X'=N, Y'=free_100, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_99>=2 && 0>=1+free_97 && free_100>=1 ], cost: 1+D
     95: f14 -> [35] : D'=-1, E'=1+E+D, F'=free_104, L'=free_102, M'=free_102, R'=free_103, X'=N, Y'=free_105, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_104>=2 && free_102>=1 && 0>=1+free_105 ], cost: 1+D
     96: f14 -> [36] : D'=-1, E'=1+E+D, F'=free_104, L'=free_102, M'=free_102, R'=free_103, X'=N, Y'=free_105, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_104>=2 && free_102>=1 && 0>=1+free_105 ], cost: 1+D
     97: f14 -> [37] : D'=-1, E'=1+E+D, F'=free_104, L'=free_102, M'=free_102, R'=free_103, X'=N, Y'=free_105, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_104>=2 && free_102>=1 && 0>=1+free_105 ], cost: 1+D
     98: f14 -> [38] : D'=-1, E'=1+E+D, F'=free_104, L'=free_102, M'=free_102, R'=free_103, X'=N, Y'=free_105, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_104>=2 && free_102>=1 && 0>=1+free_105 ], cost: 1+D
     99: f14 -> [39] : D'=-1, E'=1+E+D, F'=free_109, L'=free_107, M'=free_107, R'=free_108, X'=N, Y'=free_110, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_109>=2 && free_107>=1 && free_110>=1 ], cost: 1+D
    100: f14 -> [40] : D'=-1, E'=1+E+D, F'=free_109, L'=free_107, M'=free_107, R'=free_108, X'=N, Y'=free_110, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_109>=2 && free_107>=1 && free_110>=1 ], cost: 1+D
    101: f14 -> [41] : D'=-1, E'=1+E+D, F'=free_109, L'=free_107, M'=free_107, R'=free_108, X'=N, Y'=free_110, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_109>=2 && free_107>=1 && free_110>=1 ], cost: 1+D
    102: f14 -> [42] : D'=-1, E'=1+E+D, F'=free_109, L'=free_107, M'=free_107, R'=free_108, X'=N, Y'=free_110, Z'=1+E+D, A1'=-1, [ E>=0 && D>=0 && free_109>=2 && free_107>=1 && free_110>=1 ], cost: 1+D
     69: f15 -> f14 : A'=D, B'=free_3, C'=free_5, E'=0, F'=free_6, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_19, M'=free_19, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 ], cost: free_195
     70: f15 -> f14 : A'=D, B'=free_12, C'=free_14, E'=0, F'=free_15, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_19, M'=free_19, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 ], cost: free_195


Applied chaining over branches and pruning:
  Start location: f15
    103: f15 -> [11] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_74, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_72, M'=free_72, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_73, X'=free_19, Y'=free_75, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+free_195+D
    135: f15 -> [11] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_74, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_72, M'=free_72, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_73, X'=free_19, Y'=free_75, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+free_195+D
    104: f15 -> [12] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_74, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_72, M'=free_72, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_73, X'=free_19, Y'=free_75, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+free_195+D
    136: f15 -> [12] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_74, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_72, M'=free_72, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_73, X'=free_19, Y'=free_75, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+free_195+D
    105: f15 -> [13] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_74, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_72, M'=free_72, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_73, X'=free_19, Y'=free_75, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+free_195+D
    137: f15 -> [13] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_74, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_72, M'=free_72, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_73, X'=free_19, Y'=free_75, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+free_195+D
    106: f15 -> [14] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_74, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_72, M'=free_72, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_73, X'=free_19, Y'=free_75, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+free_195+D
    138: f15 -> [14] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_74, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_72, M'=free_72, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_73, X'=free_19, Y'=free_75, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+free_195+D
    107: f15 -> [15] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_79, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_77, M'=free_77, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_78, X'=free_19, Y'=free_80, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+free_195+D
    139: f15 -> [15] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_79, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_77, M'=free_77, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_78, X'=free_19, Y'=free_80, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+free_195+D
    108: f15 -> [16] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_79, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_77, M'=free_77, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_78, X'=free_19, Y'=free_80, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+free_195+D
    140: f15 -> [16] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_79, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_77, M'=free_77, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_78, X'=free_19, Y'=free_80, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+free_195+D
    109: f15 -> [17] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_79, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_77, M'=free_77, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_78, X'=free_19, Y'=free_80, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+free_195+D
    141: f15 -> [17] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_79, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_77, M'=free_77, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_78, X'=free_19, Y'=free_80, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+free_195+D
    110: f15 -> [18] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_79, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_77, M'=free_77, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_78, X'=free_19, Y'=free_80, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+free_195+D
    142: f15 -> [18] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_79, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_77, M'=free_77, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_78, X'=free_19, Y'=free_80, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+free_195+D
    111: f15 -> [19] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_84, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_82, M'=free_82, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_83, X'=free_19, Y'=free_85, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+free_195+D
    143: f15 -> [19] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_84, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_82, M'=free_82, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_83, X'=free_19, Y'=free_85, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+free_195+D
    112: f15 -> [20] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_84, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_82, M'=free_82, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_83, X'=free_19, Y'=free_85, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+free_195+D
    144: f15 -> [20] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_84, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_82, M'=free_82, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_83, X'=free_19, Y'=free_85, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+free_195+D
    113: f15 -> [21] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_84, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_82, M'=free_82, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_83, X'=free_19, Y'=free_85, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+free_195+D
    145: f15 -> [21] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_84, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_82, M'=free_82, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_83, X'=free_19, Y'=free_85, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+free_195+D
    114: f15 -> [22] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_84, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_82, M'=free_82, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_83, X'=free_19, Y'=free_85, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+free_195+D
    146: f15 -> [22] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_84, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_82, M'=free_82, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_83, X'=free_19, Y'=free_85, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+free_195+D
    115: f15 -> [23] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_89, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_87, M'=free_87, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_88, X'=free_19, Y'=free_90, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+free_195+D
    147: f15 -> [23] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_89, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_87, M'=free_87, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_88, X'=free_19, Y'=free_90, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+free_195+D
    116: f15 -> [24] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_89, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_87, M'=free_87, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_88, X'=free_19, Y'=free_90, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+free_195+D
    148: f15 -> [24] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_89, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_87, M'=free_87, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_88, X'=free_19, Y'=free_90, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+free_195+D
    117: f15 -> [25] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_89, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_87, M'=free_87, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_88, X'=free_19, Y'=free_90, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+free_195+D
    149: f15 -> [25] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_89, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_87, M'=free_87, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_88, X'=free_19, Y'=free_90, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+free_195+D
    118: f15 -> [26] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_89, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_87, M'=free_87, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_88, X'=free_19, Y'=free_90, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+free_195+D
    150: f15 -> [26] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_89, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_87, M'=free_87, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_88, X'=free_19, Y'=free_90, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+free_195+D
    119: f15 -> [27] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_94, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_92, M'=free_92, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_93, X'=free_19, Y'=free_95, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_94>=2 && 0>=1+free_92 && 0>=1+free_95 ], cost: 1+free_195+D
    151: f15 -> [27] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_94, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_92, M'=free_92, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_93, X'=free_19, Y'=free_95, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_94>=2 && 0>=1+free_92 && 0>=1+free_95 ], cost: 1+free_195+D
    120: f15 -> [28] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_94, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_92, M'=free_92, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_93, X'=free_19, Y'=free_95, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_94>=2 && 0>=1+free_92 && 0>=1+free_95 ], cost: 1+free_195+D
    152: f15 -> [28] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_94, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_92, M'=free_92, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_93, X'=free_19, Y'=free_95, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_94>=2 && 0>=1+free_92 && 0>=1+free_95 ], cost: 1+free_195+D
    121: f15 -> [29] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_94, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_92, M'=free_92, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_93, X'=free_19, Y'=free_95, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_94>=2 && 0>=1+free_92 && 0>=1+free_95 ], cost: 1+free_195+D
    153: f15 -> [29] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_94, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_92, M'=free_92, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_93, X'=free_19, Y'=free_95, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_94>=2 && 0>=1+free_92 && 0>=1+free_95 ], cost: 1+free_195+D
    122: f15 -> [30] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_94, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_92, M'=free_92, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_93, X'=free_19, Y'=free_95, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_94>=2 && 0>=1+free_92 && 0>=1+free_95 ], cost: 1+free_195+D
    154: f15 -> [30] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_94, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_92, M'=free_92, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_93, X'=free_19, Y'=free_95, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_94>=2 && 0>=1+free_92 && 0>=1+free_95 ], cost: 1+free_195+D
    123: f15 -> [31] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_99, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_97, M'=free_97, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_98, X'=free_19, Y'=free_100, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_99>=2 && 0>=1+free_97 && free_100>=1 ], cost: 1+free_195+D
    155: f15 -> [31] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_99, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_97, M'=free_97, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_98, X'=free_19, Y'=free_100, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_99>=2 && 0>=1+free_97 && free_100>=1 ], cost: 1+free_195+D
    124: f15 -> [32] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_99, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_97, M'=free_97, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_98, X'=free_19, Y'=free_100, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_99>=2 && 0>=1+free_97 && free_100>=1 ], cost: 1+free_195+D
    156: f15 -> [32] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_99, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_97, M'=free_97, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_98, X'=free_19, Y'=free_100, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_99>=2 && 0>=1+free_97 && free_100>=1 ], cost: 1+free_195+D
    125: f15 -> [33] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_99, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_97, M'=free_97, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_98, X'=free_19, Y'=free_100, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_99>=2 && 0>=1+free_97 && free_100>=1 ], cost: 1+free_195+D
    157: f15 -> [33] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_99, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_97, M'=free_97, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_98, X'=free_19, Y'=free_100, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_99>=2 && 0>=1+free_97 && free_100>=1 ], cost: 1+free_195+D
    126: f15 -> [34] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_99, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_97, M'=free_97, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_98, X'=free_19, Y'=free_100, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_99>=2 && 0>=1+free_97 && free_100>=1 ], cost: 1+free_195+D
    158: f15 -> [34] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_99, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_97, M'=free_97, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_98, X'=free_19, Y'=free_100, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_99>=2 && 0>=1+free_97 && free_100>=1 ], cost: 1+free_195+D
    127: f15 -> [35] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_104, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_102, M'=free_102, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_103, X'=free_19, Y'=free_105, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_104>=2 && free_102>=1 && 0>=1+free_105 ], cost: 1+free_195+D
    159: f15 -> [35] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_104, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_102, M'=free_102, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_103, X'=free_19, Y'=free_105, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_104>=2 && free_102>=1 && 0>=1+free_105 ], cost: 1+free_195+D
    128: f15 -> [36] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_104, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_102, M'=free_102, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_103, X'=free_19, Y'=free_105, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_104>=2 && free_102>=1 && 0>=1+free_105 ], cost: 1+free_195+D
    160: f15 -> [36] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_104, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_102, M'=free_102, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_103, X'=free_19, Y'=free_105, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_104>=2 && free_102>=1 && 0>=1+free_105 ], cost: 1+free_195+D
    129: f15 -> [37] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_104, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_102, M'=free_102, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_103, X'=free_19, Y'=free_105, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_104>=2 && free_102>=1 && 0>=1+free_105 ], cost: 1+free_195+D
    161: f15 -> [37] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_104, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_102, M'=free_102, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_103, X'=free_19, Y'=free_105, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_104>=2 && free_102>=1 && 0>=1+free_105 ], cost: 1+free_195+D
    130: f15 -> [38] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_104, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_102, M'=free_102, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_103, X'=free_19, Y'=free_105, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_104>=2 && free_102>=1 && 0>=1+free_105 ], cost: 1+free_195+D
    162: f15 -> [38] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_104, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_102, M'=free_102, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_103, X'=free_19, Y'=free_105, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_104>=2 && free_102>=1 && 0>=1+free_105 ], cost: 1+free_195+D
    131: f15 -> [39] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_109, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_107, M'=free_107, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_108, X'=free_19, Y'=free_110, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_109>=2 && free_107>=1 && free_110>=1 ], cost: 1+free_195+D
    163: f15 -> [39] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_109, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_107, M'=free_107, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_108, X'=free_19, Y'=free_110, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_109>=2 && free_107>=1 && free_110>=1 ], cost: 1+free_195+D
    132: f15 -> [40] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_109, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_107, M'=free_107, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_108, X'=free_19, Y'=free_110, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_109>=2 && free_107>=1 && free_110>=1 ], cost: 1+free_195+D
    164: f15 -> [40] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_109, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_107, M'=free_107, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_108, X'=free_19, Y'=free_110, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_109>=2 && free_107>=1 && free_110>=1 ], cost: 1+free_195+D
    133: f15 -> [41] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_109, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_107, M'=free_107, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_108, X'=free_19, Y'=free_110, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_109>=2 && free_107>=1 && free_110>=1 ], cost: 1+free_195+D
    165: f15 -> [41] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_109, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_107, M'=free_107, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_108, X'=free_19, Y'=free_110, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_109>=2 && free_107>=1 && free_110>=1 ], cost: 1+free_195+D
    134: f15 -> [42] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_109, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_107, M'=free_107, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_108, X'=free_19, Y'=free_110, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_109>=2 && free_107>=1 && free_110>=1 ], cost: 1+free_195+D
    166: f15 -> [42] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_109, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_107, M'=free_107, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_108, X'=free_19, Y'=free_110, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_109>=2 && free_107>=1 && free_110>=1 ], cost: 1+free_195+D


Final control flow graph problem, now checking costs for infinitely many models:
  Start location: f15
    103: f15 -> [11] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_74, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_72, M'=free_72, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_73, X'=free_19, Y'=free_75, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+free_195+D
    135: f15 -> [11] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_74, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_72, M'=free_72, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_73, X'=free_19, Y'=free_75, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+free_195+D
    104: f15 -> [12] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_74, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_72, M'=free_72, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_73, X'=free_19, Y'=free_75, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+free_195+D
    136: f15 -> [12] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_74, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_72, M'=free_72, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_73, X'=free_19, Y'=free_75, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+free_195+D
    105: f15 -> [13] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_74, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_72, M'=free_72, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_73, X'=free_19, Y'=free_75, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+free_195+D
    137: f15 -> [13] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_74, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_72, M'=free_72, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_73, X'=free_19, Y'=free_75, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+free_195+D
    106: f15 -> [14] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_74, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_72, M'=free_72, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_73, X'=free_19, Y'=free_75, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+free_195+D
    138: f15 -> [14] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_74, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_72, M'=free_72, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_73, X'=free_19, Y'=free_75, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+free_195+D
    107: f15 -> [15] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_79, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_77, M'=free_77, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_78, X'=free_19, Y'=free_80, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+free_195+D
    139: f15 -> [15] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_79, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_77, M'=free_77, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_78, X'=free_19, Y'=free_80, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+free_195+D
    108: f15 -> [16] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_79, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_77, M'=free_77, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_78, X'=free_19, Y'=free_80, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+free_195+D
    140: f15 -> [16] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_79, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_77, M'=free_77, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_78, X'=free_19, Y'=free_80, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+free_195+D
    109: f15 -> [17] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_79, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_77, M'=free_77, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_78, X'=free_19, Y'=free_80, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+free_195+D
    141: f15 -> [17] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_79, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_77, M'=free_77, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_78, X'=free_19, Y'=free_80, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+free_195+D
    110: f15 -> [18] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_79, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_77, M'=free_77, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_78, X'=free_19, Y'=free_80, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+free_195+D
    142: f15 -> [18] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_79, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_77, M'=free_77, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_78, X'=free_19, Y'=free_80, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+free_195+D
    111: f15 -> [19] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_84, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_82, M'=free_82, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_83, X'=free_19, Y'=free_85, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+free_195+D
    143: f15 -> [19] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_84, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_82, M'=free_82, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_83, X'=free_19, Y'=free_85, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+free_195+D
    112: f15 -> [20] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_84, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_82, M'=free_82, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_83, X'=free_19, Y'=free_85, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+free_195+D
    144: f15 -> [20] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_84, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_82, M'=free_82, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_83, X'=free_19, Y'=free_85, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+free_195+D
    113: f15 -> [21] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_84, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_82, M'=free_82, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_83, X'=free_19, Y'=free_85, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+free_195+D
    145: f15 -> [21] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_84, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_82, M'=free_82, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_83, X'=free_19, Y'=free_85, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+free_195+D
    114: f15 -> [22] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_84, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_82, M'=free_82, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_83, X'=free_19, Y'=free_85, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+free_195+D
    146: f15 -> [22] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_84, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_82, M'=free_82, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_83, X'=free_19, Y'=free_85, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+free_195+D
    115: f15 -> [23] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_89, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_87, M'=free_87, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_88, X'=free_19, Y'=free_90, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+free_195+D
    147: f15 -> [23] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_89, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_87, M'=free_87, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_88, X'=free_19, Y'=free_90, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+free_195+D
    116: f15 -> [24] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_89, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_87, M'=free_87, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_88, X'=free_19, Y'=free_90, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+free_195+D
    148: f15 -> [24] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_89, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_87, M'=free_87, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_88, X'=free_19, Y'=free_90, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+free_195+D
    117: f15 -> [25] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_89, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_87, M'=free_87, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_88, X'=free_19, Y'=free_90, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+free_195+D
    149: f15 -> [25] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_89, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_87, M'=free_87, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_88, X'=free_19, Y'=free_90, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+free_195+D
    118: f15 -> [26] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_89, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_87, M'=free_87, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_88, X'=free_19, Y'=free_90, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+free_195+D
    150: f15 -> [26] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_89, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_87, M'=free_87, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_88, X'=free_19, Y'=free_90, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+free_195+D
    119: f15 -> [27] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_94, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_92, M'=free_92, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_93, X'=free_19, Y'=free_95, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_94>=2 && 0>=1+free_92 && 0>=1+free_95 ], cost: 1+free_195+D
    151: f15 -> [27] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_94, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_92, M'=free_92, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_93, X'=free_19, Y'=free_95, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_94>=2 && 0>=1+free_92 && 0>=1+free_95 ], cost: 1+free_195+D
    120: f15 -> [28] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_94, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_92, M'=free_92, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_93, X'=free_19, Y'=free_95, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_94>=2 && 0>=1+free_92 && 0>=1+free_95 ], cost: 1+free_195+D
    152: f15 -> [28] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_94, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_92, M'=free_92, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_93, X'=free_19, Y'=free_95, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_94>=2 && 0>=1+free_92 && 0>=1+free_95 ], cost: 1+free_195+D
    121: f15 -> [29] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_94, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_92, M'=free_92, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_93, X'=free_19, Y'=free_95, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_94>=2 && 0>=1+free_92 && 0>=1+free_95 ], cost: 1+free_195+D
    153: f15 -> [29] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_94, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_92, M'=free_92, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_93, X'=free_19, Y'=free_95, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_94>=2 && 0>=1+free_92 && 0>=1+free_95 ], cost: 1+free_195+D
    122: f15 -> [30] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_94, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_92, M'=free_92, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_93, X'=free_19, Y'=free_95, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_94>=2 && 0>=1+free_92 && 0>=1+free_95 ], cost: 1+free_195+D
    154: f15 -> [30] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_94, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_92, M'=free_92, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_93, X'=free_19, Y'=free_95, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_94>=2 && 0>=1+free_92 && 0>=1+free_95 ], cost: 1+free_195+D
    123: f15 -> [31] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_99, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_97, M'=free_97, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_98, X'=free_19, Y'=free_100, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_99>=2 && 0>=1+free_97 && free_100>=1 ], cost: 1+free_195+D
    155: f15 -> [31] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_99, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_97, M'=free_97, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_98, X'=free_19, Y'=free_100, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_99>=2 && 0>=1+free_97 && free_100>=1 ], cost: 1+free_195+D
    124: f15 -> [32] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_99, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_97, M'=free_97, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_98, X'=free_19, Y'=free_100, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_99>=2 && 0>=1+free_97 && free_100>=1 ], cost: 1+free_195+D
    156: f15 -> [32] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_99, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_97, M'=free_97, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_98, X'=free_19, Y'=free_100, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_99>=2 && 0>=1+free_97 && free_100>=1 ], cost: 1+free_195+D
    125: f15 -> [33] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_99, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_97, M'=free_97, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_98, X'=free_19, Y'=free_100, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_99>=2 && 0>=1+free_97 && free_100>=1 ], cost: 1+free_195+D
    157: f15 -> [33] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_99, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_97, M'=free_97, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_98, X'=free_19, Y'=free_100, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_99>=2 && 0>=1+free_97 && free_100>=1 ], cost: 1+free_195+D
    126: f15 -> [34] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_99, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_97, M'=free_97, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_98, X'=free_19, Y'=free_100, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_99>=2 && 0>=1+free_97 && free_100>=1 ], cost: 1+free_195+D
    158: f15 -> [34] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_99, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_97, M'=free_97, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_98, X'=free_19, Y'=free_100, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_99>=2 && 0>=1+free_97 && free_100>=1 ], cost: 1+free_195+D
    127: f15 -> [35] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_104, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_102, M'=free_102, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_103, X'=free_19, Y'=free_105, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_104>=2 && free_102>=1 && 0>=1+free_105 ], cost: 1+free_195+D
    159: f15 -> [35] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_104, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_102, M'=free_102, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_103, X'=free_19, Y'=free_105, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_104>=2 && free_102>=1 && 0>=1+free_105 ], cost: 1+free_195+D
    128: f15 -> [36] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_104, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_102, M'=free_102, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_103, X'=free_19, Y'=free_105, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_104>=2 && free_102>=1 && 0>=1+free_105 ], cost: 1+free_195+D
    160: f15 -> [36] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_104, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_102, M'=free_102, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_103, X'=free_19, Y'=free_105, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_104>=2 && free_102>=1 && 0>=1+free_105 ], cost: 1+free_195+D
    129: f15 -> [37] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_104, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_102, M'=free_102, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_103, X'=free_19, Y'=free_105, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_104>=2 && free_102>=1 && 0>=1+free_105 ], cost: 1+free_195+D
    161: f15 -> [37] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_104, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_102, M'=free_102, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_103, X'=free_19, Y'=free_105, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_104>=2 && free_102>=1 && 0>=1+free_105 ], cost: 1+free_195+D
    130: f15 -> [38] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_104, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_102, M'=free_102, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_103, X'=free_19, Y'=free_105, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_104>=2 && free_102>=1 && 0>=1+free_105 ], cost: 1+free_195+D
    162: f15 -> [38] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_104, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_102, M'=free_102, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_103, X'=free_19, Y'=free_105, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_104>=2 && free_102>=1 && 0>=1+free_105 ], cost: 1+free_195+D
    131: f15 -> [39] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_109, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_107, M'=free_107, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_108, X'=free_19, Y'=free_110, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_109>=2 && free_107>=1 && free_110>=1 ], cost: 1+free_195+D
    163: f15 -> [39] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_109, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_107, M'=free_107, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_108, X'=free_19, Y'=free_110, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_109>=2 && free_107>=1 && free_110>=1 ], cost: 1+free_195+D
    132: f15 -> [40] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_109, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_107, M'=free_107, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_108, X'=free_19, Y'=free_110, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_109>=2 && free_107>=1 && free_110>=1 ], cost: 1+free_195+D
    164: f15 -> [40] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_109, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_107, M'=free_107, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_108, X'=free_19, Y'=free_110, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_109>=2 && free_107>=1 && free_110>=1 ], cost: 1+free_195+D
    133: f15 -> [41] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_109, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_107, M'=free_107, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_108, X'=free_19, Y'=free_110, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_109>=2 && free_107>=1 && free_110>=1 ], cost: 1+free_195+D
    165: f15 -> [41] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_109, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_107, M'=free_107, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_108, X'=free_19, Y'=free_110, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_109>=2 && free_107>=1 && free_110>=1 ], cost: 1+free_195+D
    134: f15 -> [42] : A'=D, B'=free_3, C'=free_5, D'=-1, E'=1+D, F'=free_109, G'=free_7, H'=free_1, Q'=free_4, J'=free_8, K'=free_2, L'=free_107, M'=free_107, N'=free_19, O'=free, P'=free_18, Q_1'=-1+free_195, R'=free_108, X'=free_19, Y'=free_110, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_109>=2 && free_107>=1 && free_110>=1 ], cost: 1+free_195+D
    166: f15 -> [42] : A'=D, B'=free_12, C'=free_14, D'=-1, E'=1+D, F'=free_109, G'=free_16, H'=free_10, Q'=free_13, J'=free_17, K'=free_11, L'=free_107, M'=free_107, N'=free_19, O'=free_9, P'=free_18, Q_1'=-1+free_195, R'=free_108, X'=free_19, Y'=free_110, Z'=1+D, A1'=-1, K1'=free_197, L1'=free_194, [ free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_15>=2 && free_19>=1 && free_9>=free_15 && D>=free_15 && E==0 && 0>=0 && D>=0 && free_109>=2 && free_107>=1 && free_110>=1 ], cost: 1+free_195+D


Computing complexity for remaining 64 transitions.

  Found configuration with infinitely models for cost: 1+free_195+D
  and guard: free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75:
  E: Both, free_195: Pos, free_75: Neg, free: Pos, free_72: Neg, free_6: Const, free_19: Neg, D: Pos, free_74: Pos

Found new complexity INF, because: Found infinity configuration.


The final runtime is determined by this resulting transition:
  Final Guard: free_195>=2 && free_195>=3 && 2>=0 && free_195>=free_195 && free_195>=0 && free_6>=2 && 0>=1+free_19 && free>=free_6 && D>=free_6 && E==0 && 0>=0 && D>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75
  Final Cost:  1+free_195+D

Obtained the following complexity w.r.t. the length of the input n:
  Complexity class: INF
  Complexity value: INF

WORST_CASE(INF,?)