61.46/60.90 MAYBE 61.46/60.90 61.46/60.90 DP problem for innermost termination. 61.46/60.90 P = 61.46/60.90 f12#(x1, x2, x3, x4, x5) -> f7#(x1, x2, x3, x4, x5) 61.46/60.90 f7#(I0, I1, I2, I3, I4) -> f9#(I0, I1, I2, I3, I4) 61.46/60.90 f6#(I5, I6, I7, I8, I9) -> f7#(rnd1, rnd2, rnd3, rnd4, rnd5) [1 + I6 <= 0 /\ y13 = I9 /\ y10 = I8 /\ y7 = I7 /\ y4 = I6 /\ y1 = I5 /\ y14 = y13 /\ y11 = y10 /\ y8 = y7 /\ y5 = -1 * y4 /\ y2 = y1 /\ y15 = y14 /\ y12 = y11 /\ y9 = y8 /\ y6 = y5 /\ y3 = y2 - y6 /\ rnd5 = y15 /\ rnd4 = y12 /\ rnd3 = -1 * y6 + y9 /\ rnd2 = y6 /\ rnd1 = y3] 61.46/60.90 f6#(I10, I11, I12, I13, I14) -> f11#(I10, I11, I12, I13, I14) [0 <= I11] 61.46/60.90 f11#(I15, I16, I17, I18, I19) -> f7#(I20, I21, I22, I23, I24) [1 + I17 <= 0 /\ I25 = I19 /\ I26 = I18 /\ I27 = I17 /\ I28 = I16 /\ I29 = I15 /\ I30 = I25 /\ I31 = I26 /\ I32 = -1 * I27 /\ I33 = I28 /\ I34 = I29 /\ I35 = I30 /\ I36 = I31 /\ I37 = I32 /\ I38 = I33 - I37 /\ I39 = I34 /\ I24 = I35 /\ I23 = -1 * I37 + I36 /\ I22 = I37 /\ I21 = I38 /\ I20 = I39] 61.46/60.90 f11#(I40, I41, I42, I43, I44) -> f10#(I40, I41, I42, I43, I44) [0 <= I42] 61.46/60.90 f10#(I45, I46, I47, I48, I49) -> f7#(I50, I51, I52, I53, I54) [1 + I48 <= 0 /\ I55 = I49 /\ I56 = I48 /\ I57 = I47 /\ I58 = I46 /\ I59 = I45 /\ I60 = I55 /\ I61 = -1 * I56 /\ I62 = I57 /\ I63 = I58 /\ I64 = I59 /\ I65 = I60 /\ I66 = I61 /\ I67 = I62 - I66 /\ I68 = I63 /\ I69 = I64 /\ I54 = -1 * I66 + I65 /\ I53 = I66 /\ I52 = I67 /\ I51 = I68 /\ I50 = I69] 61.46/60.90 f10#(I70, I71, I72, I73, I74) -> f8#(I70, I71, I72, I73, I74) [0 <= I73] 61.46/60.90 f9#(I75, I76, I77, I78, I79) -> f3#(I75, I76, I77, I78, I79) [1 + I75 <= 0] 61.46/60.90 f9#(I80, I81, I82, I83, I84) -> f5#(I80, I81, I82, I83, I84) [0 <= I80] 61.46/60.90 f8#(I85, I86, I87, I88, I89) -> f7#(I90, I91, I92, I93, I94) [1 + I89 <= 0 /\ I95 = I89 /\ I96 = I88 /\ I97 = I87 /\ I98 = I86 /\ I99 = I85 /\ I100 = -1 * I95 /\ I101 = I96 /\ I102 = I97 /\ I103 = I98 /\ I104 = I99 /\ I105 = I100 /\ I106 = I101 - I105 /\ I107 = I102 /\ I108 = I103 /\ I109 = I104 /\ I94 = I105 /\ I93 = I106 /\ I92 = I107 /\ I91 = I108 /\ I90 = I109 - I94] 61.46/60.90 f8#(I110, I111, I112, I113, I114) -> f7#(I110, I111, I112, I113, I114) [0 <= I114] 61.46/60.90 f3#(I115, I116, I117, I118, I119) -> f7#(I120, I121, I122, I123, I124) [1 + I115 <= 0 /\ I125 = I119 /\ I126 = I118 /\ I127 = I117 /\ I128 = I116 /\ I129 = I115 /\ I130 = I125 /\ I131 = I126 /\ I132 = I127 /\ I133 = I128 /\ I134 = -1 * I129 /\ I135 = I130 /\ I136 = I131 /\ I137 = I132 /\ I138 = -1 * I134 + I133 /\ I139 = I134 /\ I124 = -1 * I139 + I135 /\ I123 = I136 /\ I122 = I137 /\ I121 = I138 /\ I120 = I139] 61.46/60.90 f3#(I140, I141, I142, I143, I144) -> f6#(I140, I141, I142, I143, I144) [0 <= I140] 61.46/60.90 f5#(I145, I146, I147, I148, I149) -> f3#(I145, I146, I147, I148, I149) [1 + I146 <= 0] 61.46/60.90 f5#(I150, I151, I152, I153, I154) -> f4#(I150, I151, I152, I153, I154) [0 <= I151] 61.46/60.90 f4#(I155, I156, I157, I158, I159) -> f3#(I155, I156, I157, I158, I159) [1 + I157 <= I158] 61.46/60.90 f4#(I160, I161, I162, I163, I164) -> f1#(I160, I161, I162, I163, I164) [I163 <= I162] 61.46/60.90 f1#(I165, I166, I167, I168, I169) -> f3#(I165, I166, I167, I168, I169) [1 + I169 <= 0] 61.46/60.90 R = 61.46/60.90 f12(x1, x2, x3, x4, x5) -> f7(x1, x2, x3, x4, x5) 61.46/60.90 f7(I0, I1, I2, I3, I4) -> f9(I0, I1, I2, I3, I4) 61.46/60.90 f6(I5, I6, I7, I8, I9) -> f7(rnd1, rnd2, rnd3, rnd4, rnd5) [1 + I6 <= 0 /\ y13 = I9 /\ y10 = I8 /\ y7 = I7 /\ y4 = I6 /\ y1 = I5 /\ y14 = y13 /\ y11 = y10 /\ y8 = y7 /\ y5 = -1 * y4 /\ y2 = y1 /\ y15 = y14 /\ y12 = y11 /\ y9 = y8 /\ y6 = y5 /\ y3 = y2 - y6 /\ rnd5 = y15 /\ rnd4 = y12 /\ rnd3 = -1 * y6 + y9 /\ rnd2 = y6 /\ rnd1 = y3] 61.46/60.90 f6(I10, I11, I12, I13, I14) -> f11(I10, I11, I12, I13, I14) [0 <= I11] 61.46/60.90 f11(I15, I16, I17, I18, I19) -> f7(I20, I21, I22, I23, I24) [1 + I17 <= 0 /\ I25 = I19 /\ I26 = I18 /\ I27 = I17 /\ I28 = I16 /\ I29 = I15 /\ I30 = I25 /\ I31 = I26 /\ I32 = -1 * I27 /\ I33 = I28 /\ I34 = I29 /\ I35 = I30 /\ I36 = I31 /\ I37 = I32 /\ I38 = I33 - I37 /\ I39 = I34 /\ I24 = I35 /\ I23 = -1 * I37 + I36 /\ I22 = I37 /\ I21 = I38 /\ I20 = I39] 61.46/60.90 f11(I40, I41, I42, I43, I44) -> f10(I40, I41, I42, I43, I44) [0 <= I42] 61.46/60.90 f10(I45, I46, I47, I48, I49) -> f7(I50, I51, I52, I53, I54) [1 + I48 <= 0 /\ I55 = I49 /\ I56 = I48 /\ I57 = I47 /\ I58 = I46 /\ I59 = I45 /\ I60 = I55 /\ I61 = -1 * I56 /\ I62 = I57 /\ I63 = I58 /\ I64 = I59 /\ I65 = I60 /\ I66 = I61 /\ I67 = I62 - I66 /\ I68 = I63 /\ I69 = I64 /\ I54 = -1 * I66 + I65 /\ I53 = I66 /\ I52 = I67 /\ I51 = I68 /\ I50 = I69] 61.46/60.90 f10(I70, I71, I72, I73, I74) -> f8(I70, I71, I72, I73, I74) [0 <= I73] 61.46/60.90 f9(I75, I76, I77, I78, I79) -> f3(I75, I76, I77, I78, I79) [1 + I75 <= 0] 61.46/60.90 f9(I80, I81, I82, I83, I84) -> f5(I80, I81, I82, I83, I84) [0 <= I80] 61.46/60.90 f8(I85, I86, I87, I88, I89) -> f7(I90, I91, I92, I93, I94) [1 + I89 <= 0 /\ I95 = I89 /\ I96 = I88 /\ I97 = I87 /\ I98 = I86 /\ I99 = I85 /\ I100 = -1 * I95 /\ I101 = I96 /\ I102 = I97 /\ I103 = I98 /\ I104 = I99 /\ I105 = I100 /\ I106 = I101 - I105 /\ I107 = I102 /\ I108 = I103 /\ I109 = I104 /\ I94 = I105 /\ I93 = I106 /\ I92 = I107 /\ I91 = I108 /\ I90 = I109 - I94] 61.46/60.90 f8(I110, I111, I112, I113, I114) -> f7(I110, I111, I112, I113, I114) [0 <= I114] 61.46/60.90 f3(I115, I116, I117, I118, I119) -> f7(I120, I121, I122, I123, I124) [1 + I115 <= 0 /\ I125 = I119 /\ I126 = I118 /\ I127 = I117 /\ I128 = I116 /\ I129 = I115 /\ I130 = I125 /\ I131 = I126 /\ I132 = I127 /\ I133 = I128 /\ I134 = -1 * I129 /\ I135 = I130 /\ I136 = I131 /\ I137 = I132 /\ I138 = -1 * I134 + I133 /\ I139 = I134 /\ I124 = -1 * I139 + I135 /\ I123 = I136 /\ I122 = I137 /\ I121 = I138 /\ I120 = I139] 61.46/60.90 f3(I140, I141, I142, I143, I144) -> f6(I140, I141, I142, I143, I144) [0 <= I140] 61.46/60.90 f5(I145, I146, I147, I148, I149) -> f3(I145, I146, I147, I148, I149) [1 + I146 <= 0] 61.46/60.90 f5(I150, I151, I152, I153, I154) -> f4(I150, I151, I152, I153, I154) [0 <= I151] 61.46/60.90 f4(I155, I156, I157, I158, I159) -> f3(I155, I156, I157, I158, I159) [1 + I157 <= I158] 61.46/60.90 f4(I160, I161, I162, I163, I164) -> f1(I160, I161, I162, I163, I164) [I163 <= I162] 61.46/60.90 f1(I165, I166, I167, I168, I169) -> f3(I165, I166, I167, I168, I169) [1 + I169 <= 0] 61.46/60.90 f1(I170, I171, I172, I173, I174) -> f2(I175, I176, I177, I178, I179) [0 <= I174 /\ I180 = I174 /\ I181 = I173 /\ I182 = I172 /\ I183 = I171 /\ I184 = I170 /\ I185 = I180 /\ I186 = I181 /\ I187 = I182 /\ I188 = I183 /\ I189 = I184 /\ I190 = I185 /\ I191 = I186 /\ I192 = I187 /\ I193 = I188 /\ I194 = I189 /\ I179 = I190 /\ I178 = I191 /\ I177 = I192 /\ I176 = I193 /\ I175 = I194] 61.46/60.90 61.46/60.90 The dependency graph for this problem is: 61.46/60.90 0 -> 1 61.46/60.90 1 -> 8, 9 61.46/60.90 2 -> 1 61.46/60.90 3 -> 4, 5 61.46/60.90 4 -> 1 61.46/60.90 5 -> 6, 7 61.46/60.90 6 -> 1 61.46/60.90 7 -> 10, 11 61.46/60.90 8 -> 12 61.46/60.90 9 -> 14, 15 61.46/60.90 10 -> 1 61.46/60.90 11 -> 1 61.46/60.90 12 -> 1 61.46/60.90 13 -> 2, 3 61.46/60.90 14 -> 12, 13 61.46/60.90 15 -> 16, 17 61.46/60.90 16 -> 12, 13 61.46/60.90 17 -> 18 61.46/60.90 18 -> 12, 13 61.46/60.90 Where: 61.46/60.90 0) f12#(x1, x2, x3, x4, x5) -> f7#(x1, x2, x3, x4, x5) 61.46/60.90 1) f7#(I0, I1, I2, I3, I4) -> f9#(I0, I1, I2, I3, I4) 61.46/60.90 2) f6#(I5, I6, I7, I8, I9) -> f7#(rnd1, rnd2, rnd3, rnd4, rnd5) [1 + I6 <= 0 /\ y13 = I9 /\ y10 = I8 /\ y7 = I7 /\ y4 = I6 /\ y1 = I5 /\ y14 = y13 /\ y11 = y10 /\ y8 = y7 /\ y5 = -1 * y4 /\ y2 = y1 /\ y15 = y14 /\ y12 = y11 /\ y9 = y8 /\ y6 = y5 /\ y3 = y2 - y6 /\ rnd5 = y15 /\ rnd4 = y12 /\ rnd3 = -1 * y6 + y9 /\ rnd2 = y6 /\ rnd1 = y3] 61.46/60.90 3) f6#(I10, I11, I12, I13, I14) -> f11#(I10, I11, I12, I13, I14) [0 <= I11] 61.46/60.90 4) f11#(I15, I16, I17, I18, I19) -> f7#(I20, I21, I22, I23, I24) [1 + I17 <= 0 /\ I25 = I19 /\ I26 = I18 /\ I27 = I17 /\ I28 = I16 /\ I29 = I15 /\ I30 = I25 /\ I31 = I26 /\ I32 = -1 * I27 /\ I33 = I28 /\ I34 = I29 /\ I35 = I30 /\ I36 = I31 /\ I37 = I32 /\ I38 = I33 - I37 /\ I39 = I34 /\ I24 = I35 /\ I23 = -1 * I37 + I36 /\ I22 = I37 /\ I21 = I38 /\ I20 = I39] 61.46/60.90 5) f11#(I40, I41, I42, I43, I44) -> f10#(I40, I41, I42, I43, I44) [0 <= I42] 61.46/60.90 6) f10#(I45, I46, I47, I48, I49) -> f7#(I50, I51, I52, I53, I54) [1 + I48 <= 0 /\ I55 = I49 /\ I56 = I48 /\ I57 = I47 /\ I58 = I46 /\ I59 = I45 /\ I60 = I55 /\ I61 = -1 * I56 /\ I62 = I57 /\ I63 = I58 /\ I64 = I59 /\ I65 = I60 /\ I66 = I61 /\ I67 = I62 - I66 /\ I68 = I63 /\ I69 = I64 /\ I54 = -1 * I66 + I65 /\ I53 = I66 /\ I52 = I67 /\ I51 = I68 /\ I50 = I69] 61.46/60.90 7) f10#(I70, I71, I72, I73, I74) -> f8#(I70, I71, I72, I73, I74) [0 <= I73] 61.46/60.90 8) f9#(I75, I76, I77, I78, I79) -> f3#(I75, I76, I77, I78, I79) [1 + I75 <= 0] 61.46/60.90 9) f9#(I80, I81, I82, I83, I84) -> f5#(I80, I81, I82, I83, I84) [0 <= I80] 61.46/60.90 10) f8#(I85, I86, I87, I88, I89) -> f7#(I90, I91, I92, I93, I94) [1 + I89 <= 0 /\ I95 = I89 /\ I96 = I88 /\ I97 = I87 /\ I98 = I86 /\ I99 = I85 /\ I100 = -1 * I95 /\ I101 = I96 /\ I102 = I97 /\ I103 = I98 /\ I104 = I99 /\ I105 = I100 /\ I106 = I101 - I105 /\ I107 = I102 /\ I108 = I103 /\ I109 = I104 /\ I94 = I105 /\ I93 = I106 /\ I92 = I107 /\ I91 = I108 /\ I90 = I109 - I94] 61.46/60.90 11) f8#(I110, I111, I112, I113, I114) -> f7#(I110, I111, I112, I113, I114) [0 <= I114] 61.46/60.90 12) f3#(I115, I116, I117, I118, I119) -> f7#(I120, I121, I122, I123, I124) [1 + I115 <= 0 /\ I125 = I119 /\ I126 = I118 /\ I127 = I117 /\ I128 = I116 /\ I129 = I115 /\ I130 = I125 /\ I131 = I126 /\ I132 = I127 /\ I133 = I128 /\ I134 = -1 * I129 /\ I135 = I130 /\ I136 = I131 /\ I137 = I132 /\ I138 = -1 * I134 + I133 /\ I139 = I134 /\ I124 = -1 * I139 + I135 /\ I123 = I136 /\ I122 = I137 /\ I121 = I138 /\ I120 = I139] 61.46/60.90 13) f3#(I140, I141, I142, I143, I144) -> f6#(I140, I141, I142, I143, I144) [0 <= I140] 61.46/60.90 14) f5#(I145, I146, I147, I148, I149) -> f3#(I145, I146, I147, I148, I149) [1 + I146 <= 0] 61.46/60.90 15) f5#(I150, I151, I152, I153, I154) -> f4#(I150, I151, I152, I153, I154) [0 <= I151] 61.46/60.90 16) f4#(I155, I156, I157, I158, I159) -> f3#(I155, I156, I157, I158, I159) [1 + I157 <= I158] 61.46/60.90 17) f4#(I160, I161, I162, I163, I164) -> f1#(I160, I161, I162, I163, I164) [I163 <= I162] 61.46/60.90 18) f1#(I165, I166, I167, I168, I169) -> f3#(I165, I166, I167, I168, I169) [1 + I169 <= 0] 61.46/60.90 61.46/60.90 We have the following SCCs. 61.46/60.90 { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18 } 61.46/60.90 61.46/60.90 DP problem for innermost termination. 61.46/60.90 P = 61.46/60.90 f7#(I0, I1, I2, I3, I4) -> f9#(I0, I1, I2, I3, I4) 61.46/60.90 f6#(I5, I6, I7, I8, I9) -> f7#(rnd1, rnd2, rnd3, rnd4, rnd5) [1 + I6 <= 0 /\ y13 = I9 /\ y10 = I8 /\ y7 = I7 /\ y4 = I6 /\ y1 = I5 /\ y14 = y13 /\ y11 = y10 /\ y8 = y7 /\ y5 = -1 * y4 /\ y2 = y1 /\ y15 = y14 /\ y12 = y11 /\ y9 = y8 /\ y6 = y5 /\ y3 = y2 - y6 /\ rnd5 = y15 /\ rnd4 = y12 /\ rnd3 = -1 * y6 + y9 /\ rnd2 = y6 /\ rnd1 = y3] 61.46/60.90 f6#(I10, I11, I12, I13, I14) -> f11#(I10, I11, I12, I13, I14) [0 <= I11] 61.46/60.90 f11#(I15, I16, I17, I18, I19) -> f7#(I20, I21, I22, I23, I24) [1 + I17 <= 0 /\ I25 = I19 /\ I26 = I18 /\ I27 = I17 /\ I28 = I16 /\ I29 = I15 /\ I30 = I25 /\ I31 = I26 /\ I32 = -1 * I27 /\ I33 = I28 /\ I34 = I29 /\ I35 = I30 /\ I36 = I31 /\ I37 = I32 /\ I38 = I33 - I37 /\ I39 = I34 /\ I24 = I35 /\ I23 = -1 * I37 + I36 /\ I22 = I37 /\ I21 = I38 /\ I20 = I39] 61.46/60.90 f11#(I40, I41, I42, I43, I44) -> f10#(I40, I41, I42, I43, I44) [0 <= I42] 61.46/60.90 f10#(I45, I46, I47, I48, I49) -> f7#(I50, I51, I52, I53, I54) [1 + I48 <= 0 /\ I55 = I49 /\ I56 = I48 /\ I57 = I47 /\ I58 = I46 /\ I59 = I45 /\ I60 = I55 /\ I61 = -1 * I56 /\ I62 = I57 /\ I63 = I58 /\ I64 = I59 /\ I65 = I60 /\ I66 = I61 /\ I67 = I62 - I66 /\ I68 = I63 /\ I69 = I64 /\ I54 = -1 * I66 + I65 /\ I53 = I66 /\ I52 = I67 /\ I51 = I68 /\ I50 = I69] 61.46/60.90 f10#(I70, I71, I72, I73, I74) -> f8#(I70, I71, I72, I73, I74) [0 <= I73] 61.46/60.90 f9#(I75, I76, I77, I78, I79) -> f3#(I75, I76, I77, I78, I79) [1 + I75 <= 0] 61.46/60.90 f9#(I80, I81, I82, I83, I84) -> f5#(I80, I81, I82, I83, I84) [0 <= I80] 61.46/60.90 f8#(I85, I86, I87, I88, I89) -> f7#(I90, I91, I92, I93, I94) [1 + I89 <= 0 /\ I95 = I89 /\ I96 = I88 /\ I97 = I87 /\ I98 = I86 /\ I99 = I85 /\ I100 = -1 * I95 /\ I101 = I96 /\ I102 = I97 /\ I103 = I98 /\ I104 = I99 /\ I105 = I100 /\ I106 = I101 - I105 /\ I107 = I102 /\ I108 = I103 /\ I109 = I104 /\ I94 = I105 /\ I93 = I106 /\ I92 = I107 /\ I91 = I108 /\ I90 = I109 - I94] 61.46/60.90 f8#(I110, I111, I112, I113, I114) -> f7#(I110, I111, I112, I113, I114) [0 <= I114] 61.46/60.90 f3#(I115, I116, I117, I118, I119) -> f7#(I120, I121, I122, I123, I124) [1 + I115 <= 0 /\ I125 = I119 /\ I126 = I118 /\ I127 = I117 /\ I128 = I116 /\ I129 = I115 /\ I130 = I125 /\ I131 = I126 /\ I132 = I127 /\ I133 = I128 /\ I134 = -1 * I129 /\ I135 = I130 /\ I136 = I131 /\ I137 = I132 /\ I138 = -1 * I134 + I133 /\ I139 = I134 /\ I124 = -1 * I139 + I135 /\ I123 = I136 /\ I122 = I137 /\ I121 = I138 /\ I120 = I139] 61.46/60.90 f3#(I140, I141, I142, I143, I144) -> f6#(I140, I141, I142, I143, I144) [0 <= I140] 61.46/60.90 f5#(I145, I146, I147, I148, I149) -> f3#(I145, I146, I147, I148, I149) [1 + I146 <= 0] 61.46/60.90 f5#(I150, I151, I152, I153, I154) -> f4#(I150, I151, I152, I153, I154) [0 <= I151] 61.46/60.90 f4#(I155, I156, I157, I158, I159) -> f3#(I155, I156, I157, I158, I159) [1 + I157 <= I158] 61.46/60.90 f4#(I160, I161, I162, I163, I164) -> f1#(I160, I161, I162, I163, I164) [I163 <= I162] 61.46/60.90 f1#(I165, I166, I167, I168, I169) -> f3#(I165, I166, I167, I168, I169) [1 + I169 <= 0] 61.46/60.90 R = 61.46/60.90 f12(x1, x2, x3, x4, x5) -> f7(x1, x2, x3, x4, x5) 61.46/60.90 f7(I0, I1, I2, I3, I4) -> f9(I0, I1, I2, I3, I4) 61.46/60.90 f6(I5, I6, I7, I8, I9) -> f7(rnd1, rnd2, rnd3, rnd4, rnd5) [1 + I6 <= 0 /\ y13 = I9 /\ y10 = I8 /\ y7 = I7 /\ y4 = I6 /\ y1 = I5 /\ y14 = y13 /\ y11 = y10 /\ y8 = y7 /\ y5 = -1 * y4 /\ y2 = y1 /\ y15 = y14 /\ y12 = y11 /\ y9 = y8 /\ y6 = y5 /\ y3 = y2 - y6 /\ rnd5 = y15 /\ rnd4 = y12 /\ rnd3 = -1 * y6 + y9 /\ rnd2 = y6 /\ rnd1 = y3] 61.46/60.90 f6(I10, I11, I12, I13, I14) -> f11(I10, I11, I12, I13, I14) [0 <= I11] 61.46/60.90 f11(I15, I16, I17, I18, I19) -> f7(I20, I21, I22, I23, I24) [1 + I17 <= 0 /\ I25 = I19 /\ I26 = I18 /\ I27 = I17 /\ I28 = I16 /\ I29 = I15 /\ I30 = I25 /\ I31 = I26 /\ I32 = -1 * I27 /\ I33 = I28 /\ I34 = I29 /\ I35 = I30 /\ I36 = I31 /\ I37 = I32 /\ I38 = I33 - I37 /\ I39 = I34 /\ I24 = I35 /\ I23 = -1 * I37 + I36 /\ I22 = I37 /\ I21 = I38 /\ I20 = I39] 61.46/60.90 f11(I40, I41, I42, I43, I44) -> f10(I40, I41, I42, I43, I44) [0 <= I42] 61.46/60.90 f10(I45, I46, I47, I48, I49) -> f7(I50, I51, I52, I53, I54) [1 + I48 <= 0 /\ I55 = I49 /\ I56 = I48 /\ I57 = I47 /\ I58 = I46 /\ I59 = I45 /\ I60 = I55 /\ I61 = -1 * I56 /\ I62 = I57 /\ I63 = I58 /\ I64 = I59 /\ I65 = I60 /\ I66 = I61 /\ I67 = I62 - I66 /\ I68 = I63 /\ I69 = I64 /\ I54 = -1 * I66 + I65 /\ I53 = I66 /\ I52 = I67 /\ I51 = I68 /\ I50 = I69] 61.46/60.90 f10(I70, I71, I72, I73, I74) -> f8(I70, I71, I72, I73, I74) [0 <= I73] 61.46/60.90 f9(I75, I76, I77, I78, I79) -> f3(I75, I76, I77, I78, I79) [1 + I75 <= 0] 61.46/60.90 f9(I80, I81, I82, I83, I84) -> f5(I80, I81, I82, I83, I84) [0 <= I80] 61.46/60.90 f8(I85, I86, I87, I88, I89) -> f7(I90, I91, I92, I93, I94) [1 + I89 <= 0 /\ I95 = I89 /\ I96 = I88 /\ I97 = I87 /\ I98 = I86 /\ I99 = I85 /\ I100 = -1 * I95 /\ I101 = I96 /\ I102 = I97 /\ I103 = I98 /\ I104 = I99 /\ I105 = I100 /\ I106 = I101 - I105 /\ I107 = I102 /\ I108 = I103 /\ I109 = I104 /\ I94 = I105 /\ I93 = I106 /\ I92 = I107 /\ I91 = I108 /\ I90 = I109 - I94] 61.46/60.90 f8(I110, I111, I112, I113, I114) -> f7(I110, I111, I112, I113, I114) [0 <= I114] 61.46/60.90 f3(I115, I116, I117, I118, I119) -> f7(I120, I121, I122, I123, I124) [1 + I115 <= 0 /\ I125 = I119 /\ I126 = I118 /\ I127 = I117 /\ I128 = I116 /\ I129 = I115 /\ I130 = I125 /\ I131 = I126 /\ I132 = I127 /\ I133 = I128 /\ I134 = -1 * I129 /\ I135 = I130 /\ I136 = I131 /\ I137 = I132 /\ I138 = -1 * I134 + I133 /\ I139 = I134 /\ I124 = -1 * I139 + I135 /\ I123 = I136 /\ I122 = I137 /\ I121 = I138 /\ I120 = I139] 61.46/60.90 f3(I140, I141, I142, I143, I144) -> f6(I140, I141, I142, I143, I144) [0 <= I140] 61.46/60.90 f5(I145, I146, I147, I148, I149) -> f3(I145, I146, I147, I148, I149) [1 + I146 <= 0] 61.46/60.90 f5(I150, I151, I152, I153, I154) -> f4(I150, I151, I152, I153, I154) [0 <= I151] 61.46/60.90 f4(I155, I156, I157, I158, I159) -> f3(I155, I156, I157, I158, I159) [1 + I157 <= I158] 61.46/60.90 f4(I160, I161, I162, I163, I164) -> f1(I160, I161, I162, I163, I164) [I163 <= I162] 61.46/60.90 f1(I165, I166, I167, I168, I169) -> f3(I165, I166, I167, I168, I169) [1 + I169 <= 0] 61.46/60.90 f1(I170, I171, I172, I173, I174) -> f2(I175, I176, I177, I178, I179) [0 <= I174 /\ I180 = I174 /\ I181 = I173 /\ I182 = I172 /\ I183 = I171 /\ I184 = I170 /\ I185 = I180 /\ I186 = I181 /\ I187 = I182 /\ I188 = I183 /\ I189 = I184 /\ I190 = I185 /\ I191 = I186 /\ I192 = I187 /\ I193 = I188 /\ I194 = I189 /\ I179 = I190 /\ I178 = I191 /\ I177 = I192 /\ I176 = I193 /\ I175 = I194] 61.46/60.90 61.46/63.86 EOF