Trying to load file: main.koat

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


Simplified the transitions:
  Start location: f9
     12: f16 -> f16 : C'=1+C, D'=free_54, E'=free_52, F'=free_53, H'=-1+H, M'=B, N'=free_55, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_54>=2 && 0>=1+free_52 && 0>=1+free_55 ], cost: 1
     13: f16 -> f16 : C'=1+C, D'=free_59, E'=free_57, F'=free_58, H'=-1+H, M'=B, N'=free_60, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_59>=2 && 0>=1+free_57 && free_60>=1 ], cost: 1
     14: f16 -> f16 : C'=1+C, D'=free_64, E'=free_62, F'=free_63, H'=-1+H, M'=B, N'=free_65, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_64>=2 && free_62>=1 && 0>=1+free_65 ], cost: 1
     15: f16 -> f16 : C'=1+C, D'=free_69, E'=free_67, F'=free_68, H'=-1+H, M'=B, N'=free_70, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_69>=2 && free_67>=1 && free_70>=1 ], cost: 1
     16: f16 -> f16 : C'=1+C, D'=free_74, E'=free_72, F'=free_73, H'=-1+H, M'=B, N'=free_75, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1
     17: f16 -> f16 : C'=1+C, D'=free_79, E'=free_77, F'=free_78, H'=-1+H, M'=B, N'=free_80, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1
     18: f16 -> f16 : C'=1+C, D'=free_84, E'=free_82, F'=free_83, H'=-1+H, M'=B, N'=free_85, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1
     19: f16 -> f16 : C'=1+C, D'=free_89, E'=free_87, F'=free_88, H'=-1+H, M'=B, N'=free_90, O'=1+C, P'=-1+H, [ C>=0 && H>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1
     46: f16 -> f8 : B'=0, C'=1+H1, D'=free_202, A1'=E, B1'=H1, C1'=0, D1'=E, E1'=0, F1'=E, G1'=E, [ E>=1 && free_202>=2 && C>=0 && H>=0 && 0>=1+E && B==0 ], cost: 1
     47: f16 -> f8 : B'=0, C'=1+H1, D'=free_204, A1'=E, B1'=H1, C1'=0, D1'=E, E1'=0, F1'=E, G1'=E, [ E>=1 && free_204>=2 && C>=0 && H>=0 && B==0 ], cost: 1
     48: f16 -> f8 : B'=0, C'=1+H1, D'=free_206, A1'=E, B1'=H1, C1'=0, D1'=E, E1'=0, F1'=E, G1'=E, [ 0>=1+E && free_206>=2 && C>=0 && H>=0 && B==0 ], cost: 1
     49: f16 -> f8 : B'=0, C'=1+H1, D'=free_208, A1'=E, B1'=H1, C1'=0, D1'=E, E1'=0, F1'=E, G1'=E, [ 0>=1+E && free_208>=2 && C>=0 && H>=0 && E>=1 && B==0 ], cost: 1
     21: f1 -> f16 : A'=H, B'=R, C'=0, D'=free_97, E'=R, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, [ A>=Q_1 && A>=0 && free_97>=2 && 0>=1+R && free_101>=free_97 && H>=free_97 && C==0 ], cost: 1
     22: f1 -> f16 : A'=H, B'=R, C'=0, D'=free_106, E'=R, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, [ A>=Q_1 && A>=0 && free_106>=2 && R>=1 && free_110>=free_106 && H>=free_106 && C==0 ], cost: 1
     20: f1 -> f1 : A'=1+A, R'=S, S'=free_93, T'=S, U'=free_92, V'=A, [ Q_1>=1+A && A>=0 ], cost: 1
     33: f8 -> f8 : B'=0, D'=free_156, E'=free_154, F'=free_155, C1'=0, D1'=free_154, E1'=0, F1'=free_154, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ H1>=0 && free_156>=2 && 0>=1+free_154 && C1==0 && 1+A1<=-1+free_154 ], cost: 1
     34: f8 -> f8 : B'=0, D'=free_160, E'=free_158, F'=free_159, C1'=0, D1'=free_158, E1'=0, F1'=free_158, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ H1>=0 && free_160>=2 && free_158>=1 && C1==0 && 1+A1<=-1+free_158 ], cost: 1
     35: f8 -> f8 : B'=0, D'=free_164, E'=free_162, F'=free_163, C1'=0, D1'=free_162, E1'=0, F1'=free_162, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ H1>=0 && free_164>=2 && 0>=1+free_162 && C1==0 ], cost: 1
     36: f8 -> f8 : B'=0, D'=free_168, E'=free_166, F'=free_167, C1'=0, D1'=free_166, E1'=0, F1'=free_166, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ H1>=0 && free_168>=2 && free_166>=1 && C1==0 ], cost: 1
     37: f8 -> f8 : B'=0, D'=free_172, E'=free_170, F'=free_171, C1'=0, D1'=free_170, E1'=0, F1'=free_170, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ H1>=0 && free_172>=2 && 0>=1+free_170 && C1==0 ], cost: 1
     38: f8 -> f8 : B'=0, D'=free_176, E'=free_174, F'=free_175, C1'=0, D1'=free_174, E1'=0, F1'=free_174, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ H1>=0 && free_176>=2 && free_174>=1 && C1==0 ], cost: 1
     39: f8 -> f8 : B'=0, D'=free_180, E'=free_178, F'=free_179, C1'=0, D1'=free_178, E1'=0, F1'=free_178, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ H1>=0 && free_180>=2 && 0>=1+free_178 && C1==0 && 1+free_178<=-1+A1 ], cost: 1
     40: f8 -> f8 : B'=0, D'=free_184, E'=free_182, F'=free_183, C1'=0, D1'=free_182, E1'=0, F1'=free_182, G1'=A1, H1'=-1+H1, Q1'=-1+H1, [ H1>=0 && free_184>=2 && free_182>=1 && C1==0 && 1+free_182<=-1+A1 ], cost: 1
     50: f9 -> f1 : A'=2, D'=free_212, Q_1'=free_212, R'=free_211, S'=free_213, T'=free_211, W'=free_211, J1'=free_210, K1'=free_214, [ free_212>=2 ], cost: 1

Eliminating 8 self-loops for location f16
  Self-Loop 12 has the metering function: 1+H, resulting in the new transition 52.
  Self-Loop 13 has the metering function: 1+H, resulting in the new transition 53.
  Self-Loop 14 has the metering function: 1+H, resulting in the new transition 54.
  Self-Loop 15 has the metering function: 1+H, resulting in the new transition 55.
  Self-Loop 16 has the metering function: 1+H, resulting in the new transition 56.
  Self-Loop 17 has the metering function: 1+H, resulting in the new transition 57.
  Self-Loop 18 has the metering function: 1+H, resulting in the new transition 58.
  Self-Loop 19 has the metering function: 1+H, resulting in the new transition 59.
  Removing the self-loops: 12 13 14 15 16 17 18 19.
Eliminating 1 self-loops for location f1
  Self-Loop 20 has the metering function: Q_1-A, resulting in the new transition 60.
  Removing the self-loops: 20.
Eliminating 8 self-loops for location f8
  Self-Loop 33 has the metering function: 1+H1, resulting in the new transition 61.
  Self-Loop 34 has the metering function: 1+H1, resulting in the new transition 62.
  Self-Loop 35 has the metering function: 1+H1, resulting in the new transition 63.
  Self-Loop 36 has the metering function: 1+H1, resulting in the new transition 64.
  Self-Loop 37 has the metering function: 1+H1, resulting in the new transition 65.
  Self-Loop 38 has the metering function: 1+H1, resulting in the new transition 66.
  Self-Loop 39 has the metering function: 1+H1, resulting in the new transition 67.
  Self-Loop 40 has the metering function: 1+H1, 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: f9
     52: f16 -> [8] : C'=1+H+C, D'=free_54, E'=free_52, F'=free_53, H'=-1, M'=B, N'=free_55, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_54>=2 && 0>=1+free_52 && 0>=1+free_55 ], cost: 1+H
     53: f16 -> [8] : C'=1+H+C, D'=free_59, E'=free_57, F'=free_58, H'=-1, M'=B, N'=free_60, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_59>=2 && 0>=1+free_57 && free_60>=1 ], cost: 1+H
     54: f16 -> [8] : C'=1+H+C, D'=free_64, E'=free_62, F'=free_63, H'=-1, M'=B, N'=free_65, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_64>=2 && free_62>=1 && 0>=1+free_65 ], cost: 1+H
     55: f16 -> [8] : C'=1+H+C, D'=free_69, E'=free_67, F'=free_68, H'=-1, M'=B, N'=free_70, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_69>=2 && free_67>=1 && free_70>=1 ], cost: 1+H
     56: f16 -> [8] : C'=1+H+C, D'=free_74, E'=free_72, F'=free_73, H'=-1, M'=B, N'=free_75, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+H
     57: f16 -> [8] : C'=1+H+C, D'=free_79, E'=free_77, F'=free_78, H'=-1, M'=B, N'=free_80, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+H
     58: f16 -> [8] : C'=1+H+C, D'=free_84, E'=free_82, F'=free_83, H'=-1, M'=B, N'=free_85, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+H
     59: f16 -> [8] : C'=1+H+C, D'=free_89, E'=free_87, F'=free_88, H'=-1, M'=B, N'=free_90, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+H
     60: f1 -> [9] : A'=Q_1, R'=free_93, S'=free_93, T'=free_93, U'=free_92, V'=-1+Q_1, [ Q_1>=1+A && A>=0 ], cost: Q_1-A
     61: f8 -> [10] : B'=0, D'=free_156, E'=free_154, F'=free_155, C1'=0, D1'=free_154, E1'=0, F1'=free_154, G1'=A1, H1'=-1, Q1'=-1, [ H1>=0 && free_156>=2 && 0>=1+free_154 && C1==0 && 1+A1<=-1+free_154 ], cost: 1+H1
     62: f8 -> [10] : B'=0, D'=free_160, E'=free_158, F'=free_159, C1'=0, D1'=free_158, E1'=0, F1'=free_158, G1'=A1, H1'=-1, Q1'=-1, [ H1>=0 && free_160>=2 && free_158>=1 && C1==0 && 1+A1<=-1+free_158 ], cost: 1+H1
     63: f8 -> [10] : B'=0, D'=free_164, E'=free_162, F'=free_163, C1'=0, D1'=free_162, E1'=0, F1'=free_162, G1'=A1, H1'=-1, Q1'=-1, [ H1>=0 && free_164>=2 && 0>=1+free_162 && C1==0 ], cost: 1+H1
     64: f8 -> [10] : B'=0, D'=free_168, E'=free_166, F'=free_167, C1'=0, D1'=free_166, E1'=0, F1'=free_166, G1'=A1, H1'=-1, Q1'=-1, [ H1>=0 && free_168>=2 && free_166>=1 && C1==0 ], cost: 1+H1
     65: f8 -> [10] : B'=0, D'=free_172, E'=free_170, F'=free_171, C1'=0, D1'=free_170, E1'=0, F1'=free_170, G1'=A1, H1'=-1, Q1'=-1, [ H1>=0 && free_172>=2 && 0>=1+free_170 && C1==0 ], cost: 1+H1
     66: f8 -> [10] : B'=0, D'=free_176, E'=free_174, F'=free_175, C1'=0, D1'=free_174, E1'=0, F1'=free_174, G1'=A1, H1'=-1, Q1'=-1, [ H1>=0 && free_176>=2 && free_174>=1 && C1==0 ], cost: 1+H1
     67: f8 -> [10] : B'=0, D'=free_180, E'=free_178, F'=free_179, C1'=0, D1'=free_178, E1'=0, F1'=free_178, G1'=A1, H1'=-1, Q1'=-1, [ H1>=0 && free_180>=2 && 0>=1+free_178 && C1==0 && 1+free_178<=-1+A1 ], cost: 1+H1
     68: f8 -> [10] : B'=0, D'=free_184, E'=free_182, F'=free_183, C1'=0, D1'=free_182, E1'=0, F1'=free_182, G1'=A1, H1'=-1, Q1'=-1, [ H1>=0 && free_184>=2 && free_182>=1 && C1==0 && 1+free_182<=-1+A1 ], cost: 1+H1
     50: f9 -> f1 : A'=2, D'=free_212, Q_1'=free_212, R'=free_211, S'=free_213, T'=free_211, W'=free_211, J1'=free_210, K1'=free_214, [ free_212>=2 ], cost: 1
     46: [8] -> f8 : B'=0, C'=1+H1, D'=free_202, A1'=E, B1'=H1, C1'=0, D1'=E, E1'=0, F1'=E, G1'=E, [ E>=1 && free_202>=2 && C>=0 && H>=0 && 0>=1+E && B==0 ], cost: 1
     47: [8] -> f8 : B'=0, C'=1+H1, D'=free_204, A1'=E, B1'=H1, C1'=0, D1'=E, E1'=0, F1'=E, G1'=E, [ E>=1 && free_204>=2 && C>=0 && H>=0 && B==0 ], cost: 1
     48: [8] -> f8 : B'=0, C'=1+H1, D'=free_206, A1'=E, B1'=H1, C1'=0, D1'=E, E1'=0, F1'=E, G1'=E, [ 0>=1+E && free_206>=2 && C>=0 && H>=0 && B==0 ], cost: 1
     49: [8] -> f8 : B'=0, C'=1+H1, D'=free_208, A1'=E, B1'=H1, C1'=0, D1'=E, E1'=0, F1'=E, G1'=E, [ 0>=1+E && free_208>=2 && C>=0 && H>=0 && E>=1 && B==0 ], cost: 1
     21: [9] -> f16 : A'=H, B'=R, C'=0, D'=free_97, E'=R, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, [ A>=Q_1 && A>=0 && free_97>=2 && 0>=1+R && free_101>=free_97 && H>=free_97 && C==0 ], cost: 1
     22: [9] -> f16 : A'=H, B'=R, C'=0, D'=free_106, E'=R, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, [ A>=Q_1 && A>=0 && free_106>=2 && R>=1 && free_110>=free_106 && H>=free_106 && C==0 ], cost: 1


Applied simple chaining:
  Start location: f9
     52: f16 -> [8] : C'=1+H+C, D'=free_54, E'=free_52, F'=free_53, H'=-1, M'=B, N'=free_55, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_54>=2 && 0>=1+free_52 && 0>=1+free_55 ], cost: 1+H
     53: f16 -> [8] : C'=1+H+C, D'=free_59, E'=free_57, F'=free_58, H'=-1, M'=B, N'=free_60, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_59>=2 && 0>=1+free_57 && free_60>=1 ], cost: 1+H
     54: f16 -> [8] : C'=1+H+C, D'=free_64, E'=free_62, F'=free_63, H'=-1, M'=B, N'=free_65, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_64>=2 && free_62>=1 && 0>=1+free_65 ], cost: 1+H
     55: f16 -> [8] : C'=1+H+C, D'=free_69, E'=free_67, F'=free_68, H'=-1, M'=B, N'=free_70, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_69>=2 && free_67>=1 && free_70>=1 ], cost: 1+H
     56: f16 -> [8] : C'=1+H+C, D'=free_74, E'=free_72, F'=free_73, H'=-1, M'=B, N'=free_75, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+H
     57: f16 -> [8] : C'=1+H+C, D'=free_79, E'=free_77, F'=free_78, H'=-1, M'=B, N'=free_80, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+H
     58: f16 -> [8] : C'=1+H+C, D'=free_84, E'=free_82, F'=free_83, H'=-1, M'=B, N'=free_85, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+H
     59: f16 -> [8] : C'=1+H+C, D'=free_89, E'=free_87, F'=free_88, H'=-1, M'=B, N'=free_90, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+H
     61: f8 -> [10] : B'=0, D'=free_156, E'=free_154, F'=free_155, C1'=0, D1'=free_154, E1'=0, F1'=free_154, G1'=A1, H1'=-1, Q1'=-1, [ H1>=0 && free_156>=2 && 0>=1+free_154 && C1==0 && 1+A1<=-1+free_154 ], cost: 1+H1
     62: f8 -> [10] : B'=0, D'=free_160, E'=free_158, F'=free_159, C1'=0, D1'=free_158, E1'=0, F1'=free_158, G1'=A1, H1'=-1, Q1'=-1, [ H1>=0 && free_160>=2 && free_158>=1 && C1==0 && 1+A1<=-1+free_158 ], cost: 1+H1
     63: f8 -> [10] : B'=0, D'=free_164, E'=free_162, F'=free_163, C1'=0, D1'=free_162, E1'=0, F1'=free_162, G1'=A1, H1'=-1, Q1'=-1, [ H1>=0 && free_164>=2 && 0>=1+free_162 && C1==0 ], cost: 1+H1
     64: f8 -> [10] : B'=0, D'=free_168, E'=free_166, F'=free_167, C1'=0, D1'=free_166, E1'=0, F1'=free_166, G1'=A1, H1'=-1, Q1'=-1, [ H1>=0 && free_168>=2 && free_166>=1 && C1==0 ], cost: 1+H1
     65: f8 -> [10] : B'=0, D'=free_172, E'=free_170, F'=free_171, C1'=0, D1'=free_170, E1'=0, F1'=free_170, G1'=A1, H1'=-1, Q1'=-1, [ H1>=0 && free_172>=2 && 0>=1+free_170 && C1==0 ], cost: 1+H1
     66: f8 -> [10] : B'=0, D'=free_176, E'=free_174, F'=free_175, C1'=0, D1'=free_174, E1'=0, F1'=free_174, G1'=A1, H1'=-1, Q1'=-1, [ H1>=0 && free_176>=2 && free_174>=1 && C1==0 ], cost: 1+H1
     67: f8 -> [10] : B'=0, D'=free_180, E'=free_178, F'=free_179, C1'=0, D1'=free_178, E1'=0, F1'=free_178, G1'=A1, H1'=-1, Q1'=-1, [ H1>=0 && free_180>=2 && 0>=1+free_178 && C1==0 && 1+free_178<=-1+A1 ], cost: 1+H1
     68: f8 -> [10] : B'=0, D'=free_184, E'=free_182, F'=free_183, C1'=0, D1'=free_182, E1'=0, F1'=free_182, G1'=A1, H1'=-1, Q1'=-1, [ H1>=0 && free_184>=2 && free_182>=1 && C1==0 && 1+free_182<=-1+A1 ], cost: 1+H1
     50: f9 -> [9] : A'=free_212, D'=free_212, Q_1'=free_212, R'=free_93, S'=free_93, T'=free_93, U'=free_92, V'=-1+free_212, W'=free_211, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 ], cost: -1+free_212
     46: [8] -> f8 : B'=0, C'=1+H1, D'=free_202, A1'=E, B1'=H1, C1'=0, D1'=E, E1'=0, F1'=E, G1'=E, [ E>=1 && free_202>=2 && C>=0 && H>=0 && 0>=1+E && B==0 ], cost: 1
     47: [8] -> f8 : B'=0, C'=1+H1, D'=free_204, A1'=E, B1'=H1, C1'=0, D1'=E, E1'=0, F1'=E, G1'=E, [ E>=1 && free_204>=2 && C>=0 && H>=0 && B==0 ], cost: 1
     48: [8] -> f8 : B'=0, C'=1+H1, D'=free_206, A1'=E, B1'=H1, C1'=0, D1'=E, E1'=0, F1'=E, G1'=E, [ 0>=1+E && free_206>=2 && C>=0 && H>=0 && B==0 ], cost: 1
     49: [8] -> f8 : B'=0, C'=1+H1, D'=free_208, A1'=E, B1'=H1, C1'=0, D1'=E, E1'=0, F1'=E, G1'=E, [ 0>=1+E && free_208>=2 && C>=0 && H>=0 && E>=1 && B==0 ], cost: 1
     21: [9] -> f16 : A'=H, B'=R, C'=0, D'=free_97, E'=R, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, [ A>=Q_1 && A>=0 && free_97>=2 && 0>=1+R && free_101>=free_97 && H>=free_97 && C==0 ], cost: 1
     22: [9] -> f16 : A'=H, B'=R, C'=0, D'=free_106, E'=R, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, [ A>=Q_1 && A>=0 && free_106>=2 && R>=1 && free_110>=free_106 && H>=free_106 && C==0 ], cost: 1


Applied chaining over branches and pruning:
  Start location: f9
     71: f16 -> [11] : C'=1+H+C, D'=free_54, E'=free_52, F'=free_53, H'=-1, M'=B, N'=free_55, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_54>=2 && 0>=1+free_52 && 0>=1+free_55 ], cost: 1+H
     72: f16 -> [12] : C'=1+H+C, D'=free_54, E'=free_52, F'=free_53, H'=-1, M'=B, N'=free_55, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_54>=2 && 0>=1+free_52 && 0>=1+free_55 ], cost: 1+H
     73: f16 -> [13] : C'=1+H+C, D'=free_54, E'=free_52, F'=free_53, H'=-1, M'=B, N'=free_55, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_54>=2 && 0>=1+free_52 && 0>=1+free_55 ], cost: 1+H
     74: f16 -> [14] : C'=1+H+C, D'=free_54, E'=free_52, F'=free_53, H'=-1, M'=B, N'=free_55, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_54>=2 && 0>=1+free_52 && 0>=1+free_55 ], cost: 1+H
     75: f16 -> [15] : C'=1+H+C, D'=free_59, E'=free_57, F'=free_58, H'=-1, M'=B, N'=free_60, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_59>=2 && 0>=1+free_57 && free_60>=1 ], cost: 1+H
     76: f16 -> [16] : C'=1+H+C, D'=free_59, E'=free_57, F'=free_58, H'=-1, M'=B, N'=free_60, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_59>=2 && 0>=1+free_57 && free_60>=1 ], cost: 1+H
     77: f16 -> [17] : C'=1+H+C, D'=free_59, E'=free_57, F'=free_58, H'=-1, M'=B, N'=free_60, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_59>=2 && 0>=1+free_57 && free_60>=1 ], cost: 1+H
     78: f16 -> [18] : C'=1+H+C, D'=free_59, E'=free_57, F'=free_58, H'=-1, M'=B, N'=free_60, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_59>=2 && 0>=1+free_57 && free_60>=1 ], cost: 1+H
     79: f16 -> [19] : C'=1+H+C, D'=free_64, E'=free_62, F'=free_63, H'=-1, M'=B, N'=free_65, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_64>=2 && free_62>=1 && 0>=1+free_65 ], cost: 1+H
     80: f16 -> [20] : C'=1+H+C, D'=free_64, E'=free_62, F'=free_63, H'=-1, M'=B, N'=free_65, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_64>=2 && free_62>=1 && 0>=1+free_65 ], cost: 1+H
     81: f16 -> [21] : C'=1+H+C, D'=free_64, E'=free_62, F'=free_63, H'=-1, M'=B, N'=free_65, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_64>=2 && free_62>=1 && 0>=1+free_65 ], cost: 1+H
     82: f16 -> [22] : C'=1+H+C, D'=free_64, E'=free_62, F'=free_63, H'=-1, M'=B, N'=free_65, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_64>=2 && free_62>=1 && 0>=1+free_65 ], cost: 1+H
     83: f16 -> [23] : C'=1+H+C, D'=free_69, E'=free_67, F'=free_68, H'=-1, M'=B, N'=free_70, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_69>=2 && free_67>=1 && free_70>=1 ], cost: 1+H
     84: f16 -> [24] : C'=1+H+C, D'=free_69, E'=free_67, F'=free_68, H'=-1, M'=B, N'=free_70, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_69>=2 && free_67>=1 && free_70>=1 ], cost: 1+H
     85: f16 -> [25] : C'=1+H+C, D'=free_69, E'=free_67, F'=free_68, H'=-1, M'=B, N'=free_70, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_69>=2 && free_67>=1 && free_70>=1 ], cost: 1+H
     86: f16 -> [26] : C'=1+H+C, D'=free_69, E'=free_67, F'=free_68, H'=-1, M'=B, N'=free_70, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_69>=2 && free_67>=1 && free_70>=1 ], cost: 1+H
     87: f16 -> [27] : C'=1+H+C, D'=free_74, E'=free_72, F'=free_73, H'=-1, M'=B, N'=free_75, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+H
     88: f16 -> [28] : C'=1+H+C, D'=free_74, E'=free_72, F'=free_73, H'=-1, M'=B, N'=free_75, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+H
     89: f16 -> [29] : C'=1+H+C, D'=free_74, E'=free_72, F'=free_73, H'=-1, M'=B, N'=free_75, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+H
     90: f16 -> [30] : C'=1+H+C, D'=free_74, E'=free_72, F'=free_73, H'=-1, M'=B, N'=free_75, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+H
     91: f16 -> [31] : C'=1+H+C, D'=free_79, E'=free_77, F'=free_78, H'=-1, M'=B, N'=free_80, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+H
     92: f16 -> [32] : C'=1+H+C, D'=free_79, E'=free_77, F'=free_78, H'=-1, M'=B, N'=free_80, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+H
     93: f16 -> [33] : C'=1+H+C, D'=free_79, E'=free_77, F'=free_78, H'=-1, M'=B, N'=free_80, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+H
     94: f16 -> [34] : C'=1+H+C, D'=free_79, E'=free_77, F'=free_78, H'=-1, M'=B, N'=free_80, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+H
     95: f16 -> [35] : C'=1+H+C, D'=free_84, E'=free_82, F'=free_83, H'=-1, M'=B, N'=free_85, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+H
     96: f16 -> [36] : C'=1+H+C, D'=free_84, E'=free_82, F'=free_83, H'=-1, M'=B, N'=free_85, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+H
     97: f16 -> [37] : C'=1+H+C, D'=free_84, E'=free_82, F'=free_83, H'=-1, M'=B, N'=free_85, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+H
     98: f16 -> [38] : C'=1+H+C, D'=free_84, E'=free_82, F'=free_83, H'=-1, M'=B, N'=free_85, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+H
     99: f16 -> [39] : C'=1+H+C, D'=free_89, E'=free_87, F'=free_88, H'=-1, M'=B, N'=free_90, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+H
    100: f16 -> [40] : C'=1+H+C, D'=free_89, E'=free_87, F'=free_88, H'=-1, M'=B, N'=free_90, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+H
    101: f16 -> [41] : C'=1+H+C, D'=free_89, E'=free_87, F'=free_88, H'=-1, M'=B, N'=free_90, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+H
    102: f16 -> [42] : C'=1+H+C, D'=free_89, E'=free_87, F'=free_88, H'=-1, M'=B, N'=free_90, O'=1+H+C, P'=-1, [ C>=0 && H>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+H
     69: f9 -> f16 : A'=H, B'=free_93, C'=0, D'=free_97, E'=free_93, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 ], cost: free_212
     70: f9 -> f16 : A'=H, B'=free_93, C'=0, D'=free_106, E'=free_93, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 ], cost: free_212


Applied chaining over branches and pruning:
  Start location: f9
    103: f9 -> [11] : A'=H, B'=free_93, C'=1+H, D'=free_54, E'=free_52, F'=free_53, H'=-1, M'=free_93, N'=free_55, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_54>=2 && 0>=1+free_52 && 0>=1+free_55 ], cost: 1+H+free_212
    135: f9 -> [11] : A'=H, B'=free_93, C'=1+H, D'=free_54, E'=free_52, F'=free_53, H'=-1, M'=free_93, N'=free_55, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_54>=2 && 0>=1+free_52 && 0>=1+free_55 ], cost: 1+H+free_212
    104: f9 -> [12] : A'=H, B'=free_93, C'=1+H, D'=free_54, E'=free_52, F'=free_53, H'=-1, M'=free_93, N'=free_55, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_54>=2 && 0>=1+free_52 && 0>=1+free_55 ], cost: 1+H+free_212
    136: f9 -> [12] : A'=H, B'=free_93, C'=1+H, D'=free_54, E'=free_52, F'=free_53, H'=-1, M'=free_93, N'=free_55, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_54>=2 && 0>=1+free_52 && 0>=1+free_55 ], cost: 1+H+free_212
    105: f9 -> [13] : A'=H, B'=free_93, C'=1+H, D'=free_54, E'=free_52, F'=free_53, H'=-1, M'=free_93, N'=free_55, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_54>=2 && 0>=1+free_52 && 0>=1+free_55 ], cost: 1+H+free_212
    137: f9 -> [13] : A'=H, B'=free_93, C'=1+H, D'=free_54, E'=free_52, F'=free_53, H'=-1, M'=free_93, N'=free_55, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_54>=2 && 0>=1+free_52 && 0>=1+free_55 ], cost: 1+H+free_212
    106: f9 -> [14] : A'=H, B'=free_93, C'=1+H, D'=free_54, E'=free_52, F'=free_53, H'=-1, M'=free_93, N'=free_55, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_54>=2 && 0>=1+free_52 && 0>=1+free_55 ], cost: 1+H+free_212
    138: f9 -> [14] : A'=H, B'=free_93, C'=1+H, D'=free_54, E'=free_52, F'=free_53, H'=-1, M'=free_93, N'=free_55, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_54>=2 && 0>=1+free_52 && 0>=1+free_55 ], cost: 1+H+free_212
    107: f9 -> [15] : A'=H, B'=free_93, C'=1+H, D'=free_59, E'=free_57, F'=free_58, H'=-1, M'=free_93, N'=free_60, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_59>=2 && 0>=1+free_57 && free_60>=1 ], cost: 1+H+free_212
    139: f9 -> [15] : A'=H, B'=free_93, C'=1+H, D'=free_59, E'=free_57, F'=free_58, H'=-1, M'=free_93, N'=free_60, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_59>=2 && 0>=1+free_57 && free_60>=1 ], cost: 1+H+free_212
    108: f9 -> [16] : A'=H, B'=free_93, C'=1+H, D'=free_59, E'=free_57, F'=free_58, H'=-1, M'=free_93, N'=free_60, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_59>=2 && 0>=1+free_57 && free_60>=1 ], cost: 1+H+free_212
    140: f9 -> [16] : A'=H, B'=free_93, C'=1+H, D'=free_59, E'=free_57, F'=free_58, H'=-1, M'=free_93, N'=free_60, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_59>=2 && 0>=1+free_57 && free_60>=1 ], cost: 1+H+free_212
    109: f9 -> [17] : A'=H, B'=free_93, C'=1+H, D'=free_59, E'=free_57, F'=free_58, H'=-1, M'=free_93, N'=free_60, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_59>=2 && 0>=1+free_57 && free_60>=1 ], cost: 1+H+free_212
    141: f9 -> [17] : A'=H, B'=free_93, C'=1+H, D'=free_59, E'=free_57, F'=free_58, H'=-1, M'=free_93, N'=free_60, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_59>=2 && 0>=1+free_57 && free_60>=1 ], cost: 1+H+free_212
    110: f9 -> [18] : A'=H, B'=free_93, C'=1+H, D'=free_59, E'=free_57, F'=free_58, H'=-1, M'=free_93, N'=free_60, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_59>=2 && 0>=1+free_57 && free_60>=1 ], cost: 1+H+free_212
    142: f9 -> [18] : A'=H, B'=free_93, C'=1+H, D'=free_59, E'=free_57, F'=free_58, H'=-1, M'=free_93, N'=free_60, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_59>=2 && 0>=1+free_57 && free_60>=1 ], cost: 1+H+free_212
    111: f9 -> [19] : A'=H, B'=free_93, C'=1+H, D'=free_64, E'=free_62, F'=free_63, H'=-1, M'=free_93, N'=free_65, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_64>=2 && free_62>=1 && 0>=1+free_65 ], cost: 1+H+free_212
    143: f9 -> [19] : A'=H, B'=free_93, C'=1+H, D'=free_64, E'=free_62, F'=free_63, H'=-1, M'=free_93, N'=free_65, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_64>=2 && free_62>=1 && 0>=1+free_65 ], cost: 1+H+free_212
    112: f9 -> [20] : A'=H, B'=free_93, C'=1+H, D'=free_64, E'=free_62, F'=free_63, H'=-1, M'=free_93, N'=free_65, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_64>=2 && free_62>=1 && 0>=1+free_65 ], cost: 1+H+free_212
    144: f9 -> [20] : A'=H, B'=free_93, C'=1+H, D'=free_64, E'=free_62, F'=free_63, H'=-1, M'=free_93, N'=free_65, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_64>=2 && free_62>=1 && 0>=1+free_65 ], cost: 1+H+free_212
    113: f9 -> [21] : A'=H, B'=free_93, C'=1+H, D'=free_64, E'=free_62, F'=free_63, H'=-1, M'=free_93, N'=free_65, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_64>=2 && free_62>=1 && 0>=1+free_65 ], cost: 1+H+free_212
    145: f9 -> [21] : A'=H, B'=free_93, C'=1+H, D'=free_64, E'=free_62, F'=free_63, H'=-1, M'=free_93, N'=free_65, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_64>=2 && free_62>=1 && 0>=1+free_65 ], cost: 1+H+free_212
    114: f9 -> [22] : A'=H, B'=free_93, C'=1+H, D'=free_64, E'=free_62, F'=free_63, H'=-1, M'=free_93, N'=free_65, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_64>=2 && free_62>=1 && 0>=1+free_65 ], cost: 1+H+free_212
    146: f9 -> [22] : A'=H, B'=free_93, C'=1+H, D'=free_64, E'=free_62, F'=free_63, H'=-1, M'=free_93, N'=free_65, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_64>=2 && free_62>=1 && 0>=1+free_65 ], cost: 1+H+free_212
    115: f9 -> [23] : A'=H, B'=free_93, C'=1+H, D'=free_69, E'=free_67, F'=free_68, H'=-1, M'=free_93, N'=free_70, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_69>=2 && free_67>=1 && free_70>=1 ], cost: 1+H+free_212
    147: f9 -> [23] : A'=H, B'=free_93, C'=1+H, D'=free_69, E'=free_67, F'=free_68, H'=-1, M'=free_93, N'=free_70, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_69>=2 && free_67>=1 && free_70>=1 ], cost: 1+H+free_212
    116: f9 -> [24] : A'=H, B'=free_93, C'=1+H, D'=free_69, E'=free_67, F'=free_68, H'=-1, M'=free_93, N'=free_70, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_69>=2 && free_67>=1 && free_70>=1 ], cost: 1+H+free_212
    148: f9 -> [24] : A'=H, B'=free_93, C'=1+H, D'=free_69, E'=free_67, F'=free_68, H'=-1, M'=free_93, N'=free_70, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_69>=2 && free_67>=1 && free_70>=1 ], cost: 1+H+free_212
    117: f9 -> [25] : A'=H, B'=free_93, C'=1+H, D'=free_69, E'=free_67, F'=free_68, H'=-1, M'=free_93, N'=free_70, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_69>=2 && free_67>=1 && free_70>=1 ], cost: 1+H+free_212
    149: f9 -> [25] : A'=H, B'=free_93, C'=1+H, D'=free_69, E'=free_67, F'=free_68, H'=-1, M'=free_93, N'=free_70, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_69>=2 && free_67>=1 && free_70>=1 ], cost: 1+H+free_212
    118: f9 -> [26] : A'=H, B'=free_93, C'=1+H, D'=free_69, E'=free_67, F'=free_68, H'=-1, M'=free_93, N'=free_70, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_69>=2 && free_67>=1 && free_70>=1 ], cost: 1+H+free_212
    150: f9 -> [26] : A'=H, B'=free_93, C'=1+H, D'=free_69, E'=free_67, F'=free_68, H'=-1, M'=free_93, N'=free_70, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_69>=2 && free_67>=1 && free_70>=1 ], cost: 1+H+free_212
    119: f9 -> [27] : A'=H, B'=free_93, C'=1+H, D'=free_74, E'=free_72, F'=free_73, H'=-1, M'=free_93, N'=free_75, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+H+free_212
    151: f9 -> [27] : A'=H, B'=free_93, C'=1+H, D'=free_74, E'=free_72, F'=free_73, H'=-1, M'=free_93, N'=free_75, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+H+free_212
    120: f9 -> [28] : A'=H, B'=free_93, C'=1+H, D'=free_74, E'=free_72, F'=free_73, H'=-1, M'=free_93, N'=free_75, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+H+free_212
    152: f9 -> [28] : A'=H, B'=free_93, C'=1+H, D'=free_74, E'=free_72, F'=free_73, H'=-1, M'=free_93, N'=free_75, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+H+free_212
    121: f9 -> [29] : A'=H, B'=free_93, C'=1+H, D'=free_74, E'=free_72, F'=free_73, H'=-1, M'=free_93, N'=free_75, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+H+free_212
    153: f9 -> [29] : A'=H, B'=free_93, C'=1+H, D'=free_74, E'=free_72, F'=free_73, H'=-1, M'=free_93, N'=free_75, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+H+free_212
    122: f9 -> [30] : A'=H, B'=free_93, C'=1+H, D'=free_74, E'=free_72, F'=free_73, H'=-1, M'=free_93, N'=free_75, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+H+free_212
    154: f9 -> [30] : A'=H, B'=free_93, C'=1+H, D'=free_74, E'=free_72, F'=free_73, H'=-1, M'=free_93, N'=free_75, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+H+free_212
    123: f9 -> [31] : A'=H, B'=free_93, C'=1+H, D'=free_79, E'=free_77, F'=free_78, H'=-1, M'=free_93, N'=free_80, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+H+free_212
    155: f9 -> [31] : A'=H, B'=free_93, C'=1+H, D'=free_79, E'=free_77, F'=free_78, H'=-1, M'=free_93, N'=free_80, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+H+free_212
    124: f9 -> [32] : A'=H, B'=free_93, C'=1+H, D'=free_79, E'=free_77, F'=free_78, H'=-1, M'=free_93, N'=free_80, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+H+free_212
    156: f9 -> [32] : A'=H, B'=free_93, C'=1+H, D'=free_79, E'=free_77, F'=free_78, H'=-1, M'=free_93, N'=free_80, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+H+free_212
    125: f9 -> [33] : A'=H, B'=free_93, C'=1+H, D'=free_79, E'=free_77, F'=free_78, H'=-1, M'=free_93, N'=free_80, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+H+free_212
    157: f9 -> [33] : A'=H, B'=free_93, C'=1+H, D'=free_79, E'=free_77, F'=free_78, H'=-1, M'=free_93, N'=free_80, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+H+free_212
    126: f9 -> [34] : A'=H, B'=free_93, C'=1+H, D'=free_79, E'=free_77, F'=free_78, H'=-1, M'=free_93, N'=free_80, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+H+free_212
    158: f9 -> [34] : A'=H, B'=free_93, C'=1+H, D'=free_79, E'=free_77, F'=free_78, H'=-1, M'=free_93, N'=free_80, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+H+free_212
    127: f9 -> [35] : A'=H, B'=free_93, C'=1+H, D'=free_84, E'=free_82, F'=free_83, H'=-1, M'=free_93, N'=free_85, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+H+free_212
    159: f9 -> [35] : A'=H, B'=free_93, C'=1+H, D'=free_84, E'=free_82, F'=free_83, H'=-1, M'=free_93, N'=free_85, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+H+free_212
    128: f9 -> [36] : A'=H, B'=free_93, C'=1+H, D'=free_84, E'=free_82, F'=free_83, H'=-1, M'=free_93, N'=free_85, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+H+free_212
    160: f9 -> [36] : A'=H, B'=free_93, C'=1+H, D'=free_84, E'=free_82, F'=free_83, H'=-1, M'=free_93, N'=free_85, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+H+free_212
    129: f9 -> [37] : A'=H, B'=free_93, C'=1+H, D'=free_84, E'=free_82, F'=free_83, H'=-1, M'=free_93, N'=free_85, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+H+free_212
    161: f9 -> [37] : A'=H, B'=free_93, C'=1+H, D'=free_84, E'=free_82, F'=free_83, H'=-1, M'=free_93, N'=free_85, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+H+free_212
    130: f9 -> [38] : A'=H, B'=free_93, C'=1+H, D'=free_84, E'=free_82, F'=free_83, H'=-1, M'=free_93, N'=free_85, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+H+free_212
    162: f9 -> [38] : A'=H, B'=free_93, C'=1+H, D'=free_84, E'=free_82, F'=free_83, H'=-1, M'=free_93, N'=free_85, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+H+free_212
    131: f9 -> [39] : A'=H, B'=free_93, C'=1+H, D'=free_89, E'=free_87, F'=free_88, H'=-1, M'=free_93, N'=free_90, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+H+free_212
    163: f9 -> [39] : A'=H, B'=free_93, C'=1+H, D'=free_89, E'=free_87, F'=free_88, H'=-1, M'=free_93, N'=free_90, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+H+free_212
    132: f9 -> [40] : A'=H, B'=free_93, C'=1+H, D'=free_89, E'=free_87, F'=free_88, H'=-1, M'=free_93, N'=free_90, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+H+free_212
    164: f9 -> [40] : A'=H, B'=free_93, C'=1+H, D'=free_89, E'=free_87, F'=free_88, H'=-1, M'=free_93, N'=free_90, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+H+free_212
    133: f9 -> [41] : A'=H, B'=free_93, C'=1+H, D'=free_89, E'=free_87, F'=free_88, H'=-1, M'=free_93, N'=free_90, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+H+free_212
    165: f9 -> [41] : A'=H, B'=free_93, C'=1+H, D'=free_89, E'=free_87, F'=free_88, H'=-1, M'=free_93, N'=free_90, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+H+free_212
    134: f9 -> [42] : A'=H, B'=free_93, C'=1+H, D'=free_89, E'=free_87, F'=free_88, H'=-1, M'=free_93, N'=free_90, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+H+free_212
    166: f9 -> [42] : A'=H, B'=free_93, C'=1+H, D'=free_89, E'=free_87, F'=free_88, H'=-1, M'=free_93, N'=free_90, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+H+free_212


Final control flow graph problem, now checking costs for infinitely many models:
  Start location: f9
    103: f9 -> [11] : A'=H, B'=free_93, C'=1+H, D'=free_54, E'=free_52, F'=free_53, H'=-1, M'=free_93, N'=free_55, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_54>=2 && 0>=1+free_52 && 0>=1+free_55 ], cost: 1+H+free_212
    135: f9 -> [11] : A'=H, B'=free_93, C'=1+H, D'=free_54, E'=free_52, F'=free_53, H'=-1, M'=free_93, N'=free_55, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_54>=2 && 0>=1+free_52 && 0>=1+free_55 ], cost: 1+H+free_212
    104: f9 -> [12] : A'=H, B'=free_93, C'=1+H, D'=free_54, E'=free_52, F'=free_53, H'=-1, M'=free_93, N'=free_55, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_54>=2 && 0>=1+free_52 && 0>=1+free_55 ], cost: 1+H+free_212
    136: f9 -> [12] : A'=H, B'=free_93, C'=1+H, D'=free_54, E'=free_52, F'=free_53, H'=-1, M'=free_93, N'=free_55, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_54>=2 && 0>=1+free_52 && 0>=1+free_55 ], cost: 1+H+free_212
    105: f9 -> [13] : A'=H, B'=free_93, C'=1+H, D'=free_54, E'=free_52, F'=free_53, H'=-1, M'=free_93, N'=free_55, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_54>=2 && 0>=1+free_52 && 0>=1+free_55 ], cost: 1+H+free_212
    137: f9 -> [13] : A'=H, B'=free_93, C'=1+H, D'=free_54, E'=free_52, F'=free_53, H'=-1, M'=free_93, N'=free_55, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_54>=2 && 0>=1+free_52 && 0>=1+free_55 ], cost: 1+H+free_212
    106: f9 -> [14] : A'=H, B'=free_93, C'=1+H, D'=free_54, E'=free_52, F'=free_53, H'=-1, M'=free_93, N'=free_55, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_54>=2 && 0>=1+free_52 && 0>=1+free_55 ], cost: 1+H+free_212
    138: f9 -> [14] : A'=H, B'=free_93, C'=1+H, D'=free_54, E'=free_52, F'=free_53, H'=-1, M'=free_93, N'=free_55, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_54>=2 && 0>=1+free_52 && 0>=1+free_55 ], cost: 1+H+free_212
    107: f9 -> [15] : A'=H, B'=free_93, C'=1+H, D'=free_59, E'=free_57, F'=free_58, H'=-1, M'=free_93, N'=free_60, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_59>=2 && 0>=1+free_57 && free_60>=1 ], cost: 1+H+free_212
    139: f9 -> [15] : A'=H, B'=free_93, C'=1+H, D'=free_59, E'=free_57, F'=free_58, H'=-1, M'=free_93, N'=free_60, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_59>=2 && 0>=1+free_57 && free_60>=1 ], cost: 1+H+free_212
    108: f9 -> [16] : A'=H, B'=free_93, C'=1+H, D'=free_59, E'=free_57, F'=free_58, H'=-1, M'=free_93, N'=free_60, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_59>=2 && 0>=1+free_57 && free_60>=1 ], cost: 1+H+free_212
    140: f9 -> [16] : A'=H, B'=free_93, C'=1+H, D'=free_59, E'=free_57, F'=free_58, H'=-1, M'=free_93, N'=free_60, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_59>=2 && 0>=1+free_57 && free_60>=1 ], cost: 1+H+free_212
    109: f9 -> [17] : A'=H, B'=free_93, C'=1+H, D'=free_59, E'=free_57, F'=free_58, H'=-1, M'=free_93, N'=free_60, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_59>=2 && 0>=1+free_57 && free_60>=1 ], cost: 1+H+free_212
    141: f9 -> [17] : A'=H, B'=free_93, C'=1+H, D'=free_59, E'=free_57, F'=free_58, H'=-1, M'=free_93, N'=free_60, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_59>=2 && 0>=1+free_57 && free_60>=1 ], cost: 1+H+free_212
    110: f9 -> [18] : A'=H, B'=free_93, C'=1+H, D'=free_59, E'=free_57, F'=free_58, H'=-1, M'=free_93, N'=free_60, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_59>=2 && 0>=1+free_57 && free_60>=1 ], cost: 1+H+free_212
    142: f9 -> [18] : A'=H, B'=free_93, C'=1+H, D'=free_59, E'=free_57, F'=free_58, H'=-1, M'=free_93, N'=free_60, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_59>=2 && 0>=1+free_57 && free_60>=1 ], cost: 1+H+free_212
    111: f9 -> [19] : A'=H, B'=free_93, C'=1+H, D'=free_64, E'=free_62, F'=free_63, H'=-1, M'=free_93, N'=free_65, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_64>=2 && free_62>=1 && 0>=1+free_65 ], cost: 1+H+free_212
    143: f9 -> [19] : A'=H, B'=free_93, C'=1+H, D'=free_64, E'=free_62, F'=free_63, H'=-1, M'=free_93, N'=free_65, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_64>=2 && free_62>=1 && 0>=1+free_65 ], cost: 1+H+free_212
    112: f9 -> [20] : A'=H, B'=free_93, C'=1+H, D'=free_64, E'=free_62, F'=free_63, H'=-1, M'=free_93, N'=free_65, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_64>=2 && free_62>=1 && 0>=1+free_65 ], cost: 1+H+free_212
    144: f9 -> [20] : A'=H, B'=free_93, C'=1+H, D'=free_64, E'=free_62, F'=free_63, H'=-1, M'=free_93, N'=free_65, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_64>=2 && free_62>=1 && 0>=1+free_65 ], cost: 1+H+free_212
    113: f9 -> [21] : A'=H, B'=free_93, C'=1+H, D'=free_64, E'=free_62, F'=free_63, H'=-1, M'=free_93, N'=free_65, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_64>=2 && free_62>=1 && 0>=1+free_65 ], cost: 1+H+free_212
    145: f9 -> [21] : A'=H, B'=free_93, C'=1+H, D'=free_64, E'=free_62, F'=free_63, H'=-1, M'=free_93, N'=free_65, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_64>=2 && free_62>=1 && 0>=1+free_65 ], cost: 1+H+free_212
    114: f9 -> [22] : A'=H, B'=free_93, C'=1+H, D'=free_64, E'=free_62, F'=free_63, H'=-1, M'=free_93, N'=free_65, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_64>=2 && free_62>=1 && 0>=1+free_65 ], cost: 1+H+free_212
    146: f9 -> [22] : A'=H, B'=free_93, C'=1+H, D'=free_64, E'=free_62, F'=free_63, H'=-1, M'=free_93, N'=free_65, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_64>=2 && free_62>=1 && 0>=1+free_65 ], cost: 1+H+free_212
    115: f9 -> [23] : A'=H, B'=free_93, C'=1+H, D'=free_69, E'=free_67, F'=free_68, H'=-1, M'=free_93, N'=free_70, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_69>=2 && free_67>=1 && free_70>=1 ], cost: 1+H+free_212
    147: f9 -> [23] : A'=H, B'=free_93, C'=1+H, D'=free_69, E'=free_67, F'=free_68, H'=-1, M'=free_93, N'=free_70, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_69>=2 && free_67>=1 && free_70>=1 ], cost: 1+H+free_212
    116: f9 -> [24] : A'=H, B'=free_93, C'=1+H, D'=free_69, E'=free_67, F'=free_68, H'=-1, M'=free_93, N'=free_70, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_69>=2 && free_67>=1 && free_70>=1 ], cost: 1+H+free_212
    148: f9 -> [24] : A'=H, B'=free_93, C'=1+H, D'=free_69, E'=free_67, F'=free_68, H'=-1, M'=free_93, N'=free_70, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_69>=2 && free_67>=1 && free_70>=1 ], cost: 1+H+free_212
    117: f9 -> [25] : A'=H, B'=free_93, C'=1+H, D'=free_69, E'=free_67, F'=free_68, H'=-1, M'=free_93, N'=free_70, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_69>=2 && free_67>=1 && free_70>=1 ], cost: 1+H+free_212
    149: f9 -> [25] : A'=H, B'=free_93, C'=1+H, D'=free_69, E'=free_67, F'=free_68, H'=-1, M'=free_93, N'=free_70, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_69>=2 && free_67>=1 && free_70>=1 ], cost: 1+H+free_212
    118: f9 -> [26] : A'=H, B'=free_93, C'=1+H, D'=free_69, E'=free_67, F'=free_68, H'=-1, M'=free_93, N'=free_70, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_69>=2 && free_67>=1 && free_70>=1 ], cost: 1+H+free_212
    150: f9 -> [26] : A'=H, B'=free_93, C'=1+H, D'=free_69, E'=free_67, F'=free_68, H'=-1, M'=free_93, N'=free_70, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_69>=2 && free_67>=1 && free_70>=1 ], cost: 1+H+free_212
    119: f9 -> [27] : A'=H, B'=free_93, C'=1+H, D'=free_74, E'=free_72, F'=free_73, H'=-1, M'=free_93, N'=free_75, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+H+free_212
    151: f9 -> [27] : A'=H, B'=free_93, C'=1+H, D'=free_74, E'=free_72, F'=free_73, H'=-1, M'=free_93, N'=free_75, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+H+free_212
    120: f9 -> [28] : A'=H, B'=free_93, C'=1+H, D'=free_74, E'=free_72, F'=free_73, H'=-1, M'=free_93, N'=free_75, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+H+free_212
    152: f9 -> [28] : A'=H, B'=free_93, C'=1+H, D'=free_74, E'=free_72, F'=free_73, H'=-1, M'=free_93, N'=free_75, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+H+free_212
    121: f9 -> [29] : A'=H, B'=free_93, C'=1+H, D'=free_74, E'=free_72, F'=free_73, H'=-1, M'=free_93, N'=free_75, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+H+free_212
    153: f9 -> [29] : A'=H, B'=free_93, C'=1+H, D'=free_74, E'=free_72, F'=free_73, H'=-1, M'=free_93, N'=free_75, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+H+free_212
    122: f9 -> [30] : A'=H, B'=free_93, C'=1+H, D'=free_74, E'=free_72, F'=free_73, H'=-1, M'=free_93, N'=free_75, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+H+free_212
    154: f9 -> [30] : A'=H, B'=free_93, C'=1+H, D'=free_74, E'=free_72, F'=free_73, H'=-1, M'=free_93, N'=free_75, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_74>=2 && 0>=1+free_72 && 0>=1+free_75 ], cost: 1+H+free_212
    123: f9 -> [31] : A'=H, B'=free_93, C'=1+H, D'=free_79, E'=free_77, F'=free_78, H'=-1, M'=free_93, N'=free_80, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+H+free_212
    155: f9 -> [31] : A'=H, B'=free_93, C'=1+H, D'=free_79, E'=free_77, F'=free_78, H'=-1, M'=free_93, N'=free_80, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+H+free_212
    124: f9 -> [32] : A'=H, B'=free_93, C'=1+H, D'=free_79, E'=free_77, F'=free_78, H'=-1, M'=free_93, N'=free_80, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+H+free_212
    156: f9 -> [32] : A'=H, B'=free_93, C'=1+H, D'=free_79, E'=free_77, F'=free_78, H'=-1, M'=free_93, N'=free_80, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+H+free_212
    125: f9 -> [33] : A'=H, B'=free_93, C'=1+H, D'=free_79, E'=free_77, F'=free_78, H'=-1, M'=free_93, N'=free_80, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+H+free_212
    157: f9 -> [33] : A'=H, B'=free_93, C'=1+H, D'=free_79, E'=free_77, F'=free_78, H'=-1, M'=free_93, N'=free_80, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+H+free_212
    126: f9 -> [34] : A'=H, B'=free_93, C'=1+H, D'=free_79, E'=free_77, F'=free_78, H'=-1, M'=free_93, N'=free_80, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+H+free_212
    158: f9 -> [34] : A'=H, B'=free_93, C'=1+H, D'=free_79, E'=free_77, F'=free_78, H'=-1, M'=free_93, N'=free_80, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_79>=2 && 0>=1+free_77 && free_80>=1 ], cost: 1+H+free_212
    127: f9 -> [35] : A'=H, B'=free_93, C'=1+H, D'=free_84, E'=free_82, F'=free_83, H'=-1, M'=free_93, N'=free_85, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+H+free_212
    159: f9 -> [35] : A'=H, B'=free_93, C'=1+H, D'=free_84, E'=free_82, F'=free_83, H'=-1, M'=free_93, N'=free_85, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+H+free_212
    128: f9 -> [36] : A'=H, B'=free_93, C'=1+H, D'=free_84, E'=free_82, F'=free_83, H'=-1, M'=free_93, N'=free_85, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+H+free_212
    160: f9 -> [36] : A'=H, B'=free_93, C'=1+H, D'=free_84, E'=free_82, F'=free_83, H'=-1, M'=free_93, N'=free_85, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+H+free_212
    129: f9 -> [37] : A'=H, B'=free_93, C'=1+H, D'=free_84, E'=free_82, F'=free_83, H'=-1, M'=free_93, N'=free_85, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+H+free_212
    161: f9 -> [37] : A'=H, B'=free_93, C'=1+H, D'=free_84, E'=free_82, F'=free_83, H'=-1, M'=free_93, N'=free_85, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+H+free_212
    130: f9 -> [38] : A'=H, B'=free_93, C'=1+H, D'=free_84, E'=free_82, F'=free_83, H'=-1, M'=free_93, N'=free_85, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+H+free_212
    162: f9 -> [38] : A'=H, B'=free_93, C'=1+H, D'=free_84, E'=free_82, F'=free_83, H'=-1, M'=free_93, N'=free_85, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_84>=2 && free_82>=1 && 0>=1+free_85 ], cost: 1+H+free_212
    131: f9 -> [39] : A'=H, B'=free_93, C'=1+H, D'=free_89, E'=free_87, F'=free_88, H'=-1, M'=free_93, N'=free_90, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+H+free_212
    163: f9 -> [39] : A'=H, B'=free_93, C'=1+H, D'=free_89, E'=free_87, F'=free_88, H'=-1, M'=free_93, N'=free_90, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+H+free_212
    132: f9 -> [40] : A'=H, B'=free_93, C'=1+H, D'=free_89, E'=free_87, F'=free_88, H'=-1, M'=free_93, N'=free_90, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+H+free_212
    164: f9 -> [40] : A'=H, B'=free_93, C'=1+H, D'=free_89, E'=free_87, F'=free_88, H'=-1, M'=free_93, N'=free_90, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+H+free_212
    133: f9 -> [41] : A'=H, B'=free_93, C'=1+H, D'=free_89, E'=free_87, F'=free_88, H'=-1, M'=free_93, N'=free_90, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+H+free_212
    165: f9 -> [41] : A'=H, B'=free_93, C'=1+H, D'=free_89, E'=free_87, F'=free_88, H'=-1, M'=free_93, N'=free_90, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+H+free_212
    134: f9 -> [42] : A'=H, B'=free_93, C'=1+H, D'=free_89, E'=free_87, F'=free_88, H'=-1, M'=free_93, N'=free_90, O'=1+H, P'=-1, Q_1'=free_94, R'=free_96, S'=free_95, T'=free_100, U'=free_92, V'=-1+free_212, W'=free_99, X'=free_98, Y'=free_102, Z'=free_101, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+H+free_212
    166: f9 -> [42] : A'=H, B'=free_93, C'=1+H, D'=free_89, E'=free_87, F'=free_88, H'=-1, M'=free_93, N'=free_90, O'=1+H, P'=-1, Q_1'=free_103, R'=free_105, S'=free_104, T'=free_109, U'=free_92, V'=-1+free_212, W'=free_108, X'=free_107, Y'=free_111, Z'=free_110, J1'=free_210, K1'=free_214, [ free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_106>=2 && free_93>=1 && free_110>=free_106 && H>=free_106 && C==0 && 0>=0 && H>=0 && free_89>=2 && free_87>=1 && free_90>=1 ], cost: 1+H+free_212


Computing complexity for remaining 64 transitions.

  Found configuration with infinitely models for cost: 1+H+free_212
  and guard: free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_54>=2 && 0>=1+free_52 && 0>=1+free_55:
  free_93: Neg, H: Pos, free_97: Const, free_101: Pos, free_54: Pos, free_212: Pos, C: Both, free_52: Neg, free_55: Neg

Found new complexity INF, because: Found infinity configuration.


The final runtime is determined by this resulting transition:
  Final Guard: free_212>=2 && free_212>=3 && 2>=0 && free_212>=free_212 && free_212>=0 && free_97>=2 && 0>=1+free_93 && free_101>=free_97 && H>=free_97 && C==0 && 0>=0 && H>=0 && free_54>=2 && 0>=1+free_52 && 0>=1+free_55
  Final Cost:  1+H+free_212

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

WORST_CASE(INF,?)