32.94/32.50	MAYBE
32.94/32.50	
32.94/32.50	DP problem for innermost termination.
32.94/32.50	P =
32.94/32.50	  f19#(x1, x2, x3, x4, x5, x6, x7) -> f18#(x1, x2, x3, x4, x5, x6, x7) 
32.94/32.50	  f18#(I0, I1, I2, I3, I4, I5, I6) -> f3#(0, I1, I2, I3, I4, I5, I6) 
32.94/32.50	  f2#(I14, I15, I16, I17, I18, I19, I20) -> f11#(I14, I15, I17, I17, I18, I19, I20) [1 + I14 <= 0]
32.94/32.50	  f12#(I21, I22, I23, I24, I25, I26, I27) -> f17#(I21, I22, I23, I24, I25, I26, I27) 
32.94/32.50	  f12#(I28, I29, I30, I31, I32, I33, I34) -> f14#(I28, I29, I30, rnd4, I32, I30, rnd7) [rnd7 = rnd7 /\ rnd4 = I30]
32.94/32.50	  f17#(I35, I36, I37, I38, I39, I40, I41) -> f16#(I35, I36, I37, I38, I39, I40, I41) 
32.94/32.50	  f17#(I42, I43, I44, I45, I46, I47, I48) -> f15#(I42, I43, I44, I45, I46, I47, I48) 
32.94/32.50	  f17#(I49, I50, I51, I52, I53, I54, I55) -> f16#(I49, I50, I51, I52, I53, I54, I55) 
32.94/32.50	  f7#(I56, I57, I58, I59, I60, I61, I62) -> f10#(I56, I57, I58, I59, I60, I61, I62) 
32.94/32.50	  f16#(I63, I64, I65, I66, I67, I68, I69) -> f15#(I63, I64, 1 + I65, I66, I67, I68, I69) 
32.94/32.50	  f15#(I70, I71, I72, I73, I74, I75, I76) -> f11#(I70, I71, I72, I73, I74, I75, I76) 
32.94/32.50	  f14#(I77, I78, I79, I80, I81, I82, I83) -> f13#(I77, I78, I79, I80, I81, I82, I83) 
32.94/32.50	  f14#(I84, I85, I86, I87, I88, I89, I90) -> f4#(I84, I85, I86, I87, I88, I89, I90) 
32.94/32.50	  f14#(I91, I92, I93, I94, I95, I96, I97) -> f13#(I91, I92, I93, I94, I95, I96, I97) 
32.94/32.50	  f13#(I98, I99, I100, I101, I102, I103, I104) -> f7#(I98, I101, I100, I101, I102, I103, I104) 
32.94/32.50	  f11#(I105, I106, I107, I108, I109, I110, I111) -> f12#(I105, I106, I107, I108, I109, I110, I111) 
32.94/32.50	  f10#(I112, I113, I114, I115, I116, I117, I118) -> f9#(I112, I113, I114, I115, I116, I117, I118) 
32.94/32.50	  f10#(I119, I120, I121, I122, I123, I124, I125) -> f4#(I119, I120, I121, I126, I120, I124, I125) [I126 = I120]
32.94/32.50	  f9#(I127, I128, I129, I130, I131, I132, I133) -> f8#(I127, I128, I129, I130, I131, I132, I133) 
32.94/32.50	  f9#(I134, I135, I136, I137, I138, I139, I140) -> f6#(I134, I135, I136, I137, I138, I139, I140) 
32.94/32.50	  f9#(I141, I142, I143, I144, I145, I146, I147) -> f8#(I141, I142, I143, I144, I145, I146, I147) 
32.94/32.50	  f8#(I148, I149, I150, I151, I152, I153, I154) -> f6#(I148, 1 + I149, I150, I151, I152, I153, I154) 
32.94/32.50	  f6#(I155, I156, I157, I158, I159, I160, I161) -> f7#(I155, I156, I157, I158, I159, I160, I161) 
32.94/32.50	  f3#(I162, I163, I164, I165, I166, I167, I168) -> f1#(I162, I163, I164, I165, I166, I167, I168) 
32.94/32.50	  f1#(I176, I177, I178, I179, I180, I181, I182) -> f3#(1 + I176, I177, I178, I179, I180, I181, I182) [1 + I176 <= 100]
32.94/32.50	  f1#(I183, I184, I185, I186, I187, I188, I189) -> f2#(I183, I184, I185, -2 + I183, I187, I188, I189) [100 <= I183]
32.94/32.50	R = 
32.94/32.50	  f19(x1, x2, x3, x4, x5, x6, x7) -> f18(x1, x2, x3, x4, x5, x6, x7) 
32.94/32.50	  f18(I0, I1, I2, I3, I4, I5, I6) -> f3(0, I1, I2, I3, I4, I5, I6) 
32.94/32.50	  f2(I7, I8, I9, I10, I11, I12, I13) -> f5(I7, I8, I9, I10, I11, I12, I13) [0 <= I7]
32.94/32.50	  f2(I14, I15, I16, I17, I18, I19, I20) -> f11(I14, I15, I17, I17, I18, I19, I20) [1 + I14 <= 0]
32.94/32.50	  f12(I21, I22, I23, I24, I25, I26, I27) -> f17(I21, I22, I23, I24, I25, I26, I27) 
32.94/32.50	  f12(I28, I29, I30, I31, I32, I33, I34) -> f14(I28, I29, I30, rnd4, I32, I30, rnd7) [rnd7 = rnd7 /\ rnd4 = I30]
32.94/32.50	  f17(I35, I36, I37, I38, I39, I40, I41) -> f16(I35, I36, I37, I38, I39, I40, I41) 
32.94/32.50	  f17(I42, I43, I44, I45, I46, I47, I48) -> f15(I42, I43, I44, I45, I46, I47, I48) 
32.94/32.50	  f17(I49, I50, I51, I52, I53, I54, I55) -> f16(I49, I50, I51, I52, I53, I54, I55) 
32.94/32.50	  f7(I56, I57, I58, I59, I60, I61, I62) -> f10(I56, I57, I58, I59, I60, I61, I62) 
32.94/32.50	  f16(I63, I64, I65, I66, I67, I68, I69) -> f15(I63, I64, 1 + I65, I66, I67, I68, I69) 
32.94/32.50	  f15(I70, I71, I72, I73, I74, I75, I76) -> f11(I70, I71, I72, I73, I74, I75, I76) 
32.94/32.50	  f14(I77, I78, I79, I80, I81, I82, I83) -> f13(I77, I78, I79, I80, I81, I82, I83) 
32.94/32.50	  f14(I84, I85, I86, I87, I88, I89, I90) -> f4(I84, I85, I86, I87, I88, I89, I90) 
32.94/32.50	  f14(I91, I92, I93, I94, I95, I96, I97) -> f13(I91, I92, I93, I94, I95, I96, I97) 
32.94/32.50	  f13(I98, I99, I100, I101, I102, I103, I104) -> f7(I98, I101, I100, I101, I102, I103, I104) 
32.94/32.50	  f11(I105, I106, I107, I108, I109, I110, I111) -> f12(I105, I106, I107, I108, I109, I110, I111) 
32.94/32.50	  f10(I112, I113, I114, I115, I116, I117, I118) -> f9(I112, I113, I114, I115, I116, I117, I118) 
32.94/32.50	  f10(I119, I120, I121, I122, I123, I124, I125) -> f4(I119, I120, I121, I126, I120, I124, I125) [I126 = I120]
32.94/32.50	  f9(I127, I128, I129, I130, I131, I132, I133) -> f8(I127, I128, I129, I130, I131, I132, I133) 
32.94/32.50	  f9(I134, I135, I136, I137, I138, I139, I140) -> f6(I134, I135, I136, I137, I138, I139, I140) 
32.94/32.50	  f9(I141, I142, I143, I144, I145, I146, I147) -> f8(I141, I142, I143, I144, I145, I146, I147) 
32.94/32.50	  f8(I148, I149, I150, I151, I152, I153, I154) -> f6(I148, 1 + I149, I150, I151, I152, I153, I154) 
32.94/32.50	  f6(I155, I156, I157, I158, I159, I160, I161) -> f7(I155, I156, I157, I158, I159, I160, I161) 
32.94/32.50	  f3(I162, I163, I164, I165, I166, I167, I168) -> f1(I162, I163, I164, I165, I166, I167, I168) 
32.94/32.50	  f4(I169, I170, I171, I172, I173, I174, I175) -> f5(I169, I170, I171, I172, I173, I174, I175) 
32.94/32.50	  f1(I176, I177, I178, I179, I180, I181, I182) -> f3(1 + I176, I177, I178, I179, I180, I181, I182) [1 + I176 <= 100]
32.94/32.50	  f1(I183, I184, I185, I186, I187, I188, I189) -> f2(I183, I184, I185, -2 + I183, I187, I188, I189) [100 <= I183]
32.94/32.50	
32.94/32.50	The dependency graph for this problem is:
32.94/32.50	  0 -> 1
32.94/32.50	  1 -> 23
32.94/32.50	  2 -> 15
32.94/32.50	  3 -> 5, 6, 7
32.94/32.50	  4 -> 11, 12, 13
32.94/32.50	  5 -> 9
32.94/32.50	  6 -> 10
32.94/32.50	  7 -> 9
32.94/32.50	  8 -> 16, 17
32.94/32.50	  9 -> 10
32.94/32.50	  10 -> 15
32.94/32.50	  11 -> 14
32.94/32.50	  12 -> 
32.94/32.50	  13 -> 14
32.94/32.50	  14 -> 8
32.94/32.50	  15 -> 3, 4
32.94/32.50	  16 -> 18, 19, 20
32.94/32.50	  17 -> 
32.94/32.50	  18 -> 21
32.94/32.50	  19 -> 22
32.94/32.50	  20 -> 21
32.94/32.50	  21 -> 22
32.94/32.50	  22 -> 8
32.94/32.50	  23 -> 24, 25
32.94/32.50	  24 -> 23
32.94/32.50	  25 -> 
32.94/32.50	Where:
32.94/32.50	  0) f19#(x1, x2, x3, x4, x5, x6, x7) -> f18#(x1, x2, x3, x4, x5, x6, x7) 
32.94/32.50	  1) f18#(I0, I1, I2, I3, I4, I5, I6) -> f3#(0, I1, I2, I3, I4, I5, I6) 
32.94/32.50	  2) f2#(I14, I15, I16, I17, I18, I19, I20) -> f11#(I14, I15, I17, I17, I18, I19, I20) [1 + I14 <= 0]
32.94/32.50	  3) f12#(I21, I22, I23, I24, I25, I26, I27) -> f17#(I21, I22, I23, I24, I25, I26, I27) 
32.94/32.50	  4) f12#(I28, I29, I30, I31, I32, I33, I34) -> f14#(I28, I29, I30, rnd4, I32, I30, rnd7) [rnd7 = rnd7 /\ rnd4 = I30]
32.94/32.50	  5) f17#(I35, I36, I37, I38, I39, I40, I41) -> f16#(I35, I36, I37, I38, I39, I40, I41) 
32.94/32.50	  6) f17#(I42, I43, I44, I45, I46, I47, I48) -> f15#(I42, I43, I44, I45, I46, I47, I48) 
32.94/32.50	  7) f17#(I49, I50, I51, I52, I53, I54, I55) -> f16#(I49, I50, I51, I52, I53, I54, I55) 
32.94/32.50	  8) f7#(I56, I57, I58, I59, I60, I61, I62) -> f10#(I56, I57, I58, I59, I60, I61, I62) 
32.94/32.50	  9) f16#(I63, I64, I65, I66, I67, I68, I69) -> f15#(I63, I64, 1 + I65, I66, I67, I68, I69) 
32.94/32.50	  10) f15#(I70, I71, I72, I73, I74, I75, I76) -> f11#(I70, I71, I72, I73, I74, I75, I76) 
32.94/32.50	  11) f14#(I77, I78, I79, I80, I81, I82, I83) -> f13#(I77, I78, I79, I80, I81, I82, I83) 
32.94/32.50	  12) f14#(I84, I85, I86, I87, I88, I89, I90) -> f4#(I84, I85, I86, I87, I88, I89, I90) 
32.94/32.50	  13) f14#(I91, I92, I93, I94, I95, I96, I97) -> f13#(I91, I92, I93, I94, I95, I96, I97) 
32.94/32.50	  14) f13#(I98, I99, I100, I101, I102, I103, I104) -> f7#(I98, I101, I100, I101, I102, I103, I104) 
32.94/32.50	  15) f11#(I105, I106, I107, I108, I109, I110, I111) -> f12#(I105, I106, I107, I108, I109, I110, I111) 
32.94/32.50	  16) f10#(I112, I113, I114, I115, I116, I117, I118) -> f9#(I112, I113, I114, I115, I116, I117, I118) 
32.94/32.50	  17) f10#(I119, I120, I121, I122, I123, I124, I125) -> f4#(I119, I120, I121, I126, I120, I124, I125) [I126 = I120]
32.94/32.50	  18) f9#(I127, I128, I129, I130, I131, I132, I133) -> f8#(I127, I128, I129, I130, I131, I132, I133) 
32.94/32.50	  19) f9#(I134, I135, I136, I137, I138, I139, I140) -> f6#(I134, I135, I136, I137, I138, I139, I140) 
32.94/32.50	  20) f9#(I141, I142, I143, I144, I145, I146, I147) -> f8#(I141, I142, I143, I144, I145, I146, I147) 
32.94/32.50	  21) f8#(I148, I149, I150, I151, I152, I153, I154) -> f6#(I148, 1 + I149, I150, I151, I152, I153, I154) 
32.94/32.50	  22) f6#(I155, I156, I157, I158, I159, I160, I161) -> f7#(I155, I156, I157, I158, I159, I160, I161) 
32.94/32.50	  23) f3#(I162, I163, I164, I165, I166, I167, I168) -> f1#(I162, I163, I164, I165, I166, I167, I168) 
32.94/32.50	  24) f1#(I176, I177, I178, I179, I180, I181, I182) -> f3#(1 + I176, I177, I178, I179, I180, I181, I182) [1 + I176 <= 100]
32.94/32.50	  25) f1#(I183, I184, I185, I186, I187, I188, I189) -> f2#(I183, I184, I185, -2 + I183, I187, I188, I189) [100 <= I183]
32.94/32.50	
32.94/32.50	We have the following SCCs.
32.94/32.50	  { 3, 5, 6, 7, 9, 10, 15 }
32.94/32.50	  { 8, 16, 18, 19, 20, 21, 22 }
32.94/32.50	  { 23, 24 }
32.94/32.50	
32.94/32.50	DP problem for innermost termination.
32.94/32.50	P =
32.94/32.50	  f3#(I162, I163, I164, I165, I166, I167, I168) -> f1#(I162, I163, I164, I165, I166, I167, I168) 
32.94/32.50	  f1#(I176, I177, I178, I179, I180, I181, I182) -> f3#(1 + I176, I177, I178, I179, I180, I181, I182) [1 + I176 <= 100]
32.94/32.50	R = 
32.94/32.50	  f19(x1, x2, x3, x4, x5, x6, x7) -> f18(x1, x2, x3, x4, x5, x6, x7) 
32.94/32.50	  f18(I0, I1, I2, I3, I4, I5, I6) -> f3(0, I1, I2, I3, I4, I5, I6) 
32.94/32.50	  f2(I7, I8, I9, I10, I11, I12, I13) -> f5(I7, I8, I9, I10, I11, I12, I13) [0 <= I7]
32.94/32.50	  f2(I14, I15, I16, I17, I18, I19, I20) -> f11(I14, I15, I17, I17, I18, I19, I20) [1 + I14 <= 0]
32.94/32.50	  f12(I21, I22, I23, I24, I25, I26, I27) -> f17(I21, I22, I23, I24, I25, I26, I27) 
32.94/32.50	  f12(I28, I29, I30, I31, I32, I33, I34) -> f14(I28, I29, I30, rnd4, I32, I30, rnd7) [rnd7 = rnd7 /\ rnd4 = I30]
32.94/32.50	  f17(I35, I36, I37, I38, I39, I40, I41) -> f16(I35, I36, I37, I38, I39, I40, I41) 
32.94/32.50	  f17(I42, I43, I44, I45, I46, I47, I48) -> f15(I42, I43, I44, I45, I46, I47, I48) 
32.94/32.50	  f17(I49, I50, I51, I52, I53, I54, I55) -> f16(I49, I50, I51, I52, I53, I54, I55) 
32.94/32.50	  f7(I56, I57, I58, I59, I60, I61, I62) -> f10(I56, I57, I58, I59, I60, I61, I62) 
32.94/32.50	  f16(I63, I64, I65, I66, I67, I68, I69) -> f15(I63, I64, 1 + I65, I66, I67, I68, I69) 
32.94/32.50	  f15(I70, I71, I72, I73, I74, I75, I76) -> f11(I70, I71, I72, I73, I74, I75, I76) 
32.94/32.50	  f14(I77, I78, I79, I80, I81, I82, I83) -> f13(I77, I78, I79, I80, I81, I82, I83) 
32.94/32.50	  f14(I84, I85, I86, I87, I88, I89, I90) -> f4(I84, I85, I86, I87, I88, I89, I90) 
32.94/32.50	  f14(I91, I92, I93, I94, I95, I96, I97) -> f13(I91, I92, I93, I94, I95, I96, I97) 
32.94/32.50	  f13(I98, I99, I100, I101, I102, I103, I104) -> f7(I98, I101, I100, I101, I102, I103, I104) 
32.94/32.50	  f11(I105, I106, I107, I108, I109, I110, I111) -> f12(I105, I106, I107, I108, I109, I110, I111) 
32.94/32.50	  f10(I112, I113, I114, I115, I116, I117, I118) -> f9(I112, I113, I114, I115, I116, I117, I118) 
32.94/32.50	  f10(I119, I120, I121, I122, I123, I124, I125) -> f4(I119, I120, I121, I126, I120, I124, I125) [I126 = I120]
32.94/32.50	  f9(I127, I128, I129, I130, I131, I132, I133) -> f8(I127, I128, I129, I130, I131, I132, I133) 
32.94/32.50	  f9(I134, I135, I136, I137, I138, I139, I140) -> f6(I134, I135, I136, I137, I138, I139, I140) 
32.94/32.50	  f9(I141, I142, I143, I144, I145, I146, I147) -> f8(I141, I142, I143, I144, I145, I146, I147) 
32.94/32.50	  f8(I148, I149, I150, I151, I152, I153, I154) -> f6(I148, 1 + I149, I150, I151, I152, I153, I154) 
32.94/32.50	  f6(I155, I156, I157, I158, I159, I160, I161) -> f7(I155, I156, I157, I158, I159, I160, I161) 
32.94/32.50	  f3(I162, I163, I164, I165, I166, I167, I168) -> f1(I162, I163, I164, I165, I166, I167, I168) 
32.94/32.50	  f4(I169, I170, I171, I172, I173, I174, I175) -> f5(I169, I170, I171, I172, I173, I174, I175) 
32.94/32.50	  f1(I176, I177, I178, I179, I180, I181, I182) -> f3(1 + I176, I177, I178, I179, I180, I181, I182) [1 + I176 <= 100]
32.94/32.50	  f1(I183, I184, I185, I186, I187, I188, I189) -> f2(I183, I184, I185, -2 + I183, I187, I188, I189) [100 <= I183]
32.94/32.50	
32.94/32.50	We use the reverse value criterion with the projection function NU:
32.94/32.50	  NU[f1#(z1,z2,z3,z4,z5,z6,z7)] = 100 + -1 * (1 + z1)
32.94/32.50	  NU[f3#(z1,z2,z3,z4,z5,z6,z7)] = 100 + -1 * (1 + z1)
32.94/32.50	
32.94/32.50	This gives the following inequalities:
32.94/32.50	    ==>  100 + -1 * (1 + I162) >= 100 + -1 * (1 + I162)
32.94/32.50	  1 + I176 <= 100  ==>  100 + -1 * (1 + I176) > 100 + -1 * (1 + (1 + I176))  with  100 + -1 * (1 + I176) >= 0
32.94/32.50	
32.94/32.50	We remove all the strictly oriented dependency pairs.
32.94/32.50	
32.94/32.50	DP problem for innermost termination.
32.94/32.50	P =
32.94/32.50	  f3#(I162, I163, I164, I165, I166, I167, I168) -> f1#(I162, I163, I164, I165, I166, I167, I168) 
32.94/32.50	R = 
32.94/32.50	  f19(x1, x2, x3, x4, x5, x6, x7) -> f18(x1, x2, x3, x4, x5, x6, x7) 
32.94/32.50	  f18(I0, I1, I2, I3, I4, I5, I6) -> f3(0, I1, I2, I3, I4, I5, I6) 
32.94/32.50	  f2(I7, I8, I9, I10, I11, I12, I13) -> f5(I7, I8, I9, I10, I11, I12, I13) [0 <= I7]
32.94/32.50	  f2(I14, I15, I16, I17, I18, I19, I20) -> f11(I14, I15, I17, I17, I18, I19, I20) [1 + I14 <= 0]
32.94/32.50	  f12(I21, I22, I23, I24, I25, I26, I27) -> f17(I21, I22, I23, I24, I25, I26, I27) 
32.94/32.50	  f12(I28, I29, I30, I31, I32, I33, I34) -> f14(I28, I29, I30, rnd4, I32, I30, rnd7) [rnd7 = rnd7 /\ rnd4 = I30]
32.94/32.50	  f17(I35, I36, I37, I38, I39, I40, I41) -> f16(I35, I36, I37, I38, I39, I40, I41) 
32.94/32.50	  f17(I42, I43, I44, I45, I46, I47, I48) -> f15(I42, I43, I44, I45, I46, I47, I48) 
32.94/32.50	  f17(I49, I50, I51, I52, I53, I54, I55) -> f16(I49, I50, I51, I52, I53, I54, I55) 
32.94/32.50	  f7(I56, I57, I58, I59, I60, I61, I62) -> f10(I56, I57, I58, I59, I60, I61, I62) 
32.94/32.50	  f16(I63, I64, I65, I66, I67, I68, I69) -> f15(I63, I64, 1 + I65, I66, I67, I68, I69) 
32.94/32.50	  f15(I70, I71, I72, I73, I74, I75, I76) -> f11(I70, I71, I72, I73, I74, I75, I76) 
32.94/32.50	  f14(I77, I78, I79, I80, I81, I82, I83) -> f13(I77, I78, I79, I80, I81, I82, I83) 
32.94/32.50	  f14(I84, I85, I86, I87, I88, I89, I90) -> f4(I84, I85, I86, I87, I88, I89, I90) 
32.94/32.50	  f14(I91, I92, I93, I94, I95, I96, I97) -> f13(I91, I92, I93, I94, I95, I96, I97) 
32.94/32.50	  f13(I98, I99, I100, I101, I102, I103, I104) -> f7(I98, I101, I100, I101, I102, I103, I104) 
32.94/32.50	  f11(I105, I106, I107, I108, I109, I110, I111) -> f12(I105, I106, I107, I108, I109, I110, I111) 
32.94/32.50	  f10(I112, I113, I114, I115, I116, I117, I118) -> f9(I112, I113, I114, I115, I116, I117, I118) 
32.94/32.50	  f10(I119, I120, I121, I122, I123, I124, I125) -> f4(I119, I120, I121, I126, I120, I124, I125) [I126 = I120]
32.94/32.50	  f9(I127, I128, I129, I130, I131, I132, I133) -> f8(I127, I128, I129, I130, I131, I132, I133) 
32.94/32.50	  f9(I134, I135, I136, I137, I138, I139, I140) -> f6(I134, I135, I136, I137, I138, I139, I140) 
32.94/32.50	  f9(I141, I142, I143, I144, I145, I146, I147) -> f8(I141, I142, I143, I144, I145, I146, I147) 
32.94/32.50	  f8(I148, I149, I150, I151, I152, I153, I154) -> f6(I148, 1 + I149, I150, I151, I152, I153, I154) 
32.94/32.50	  f6(I155, I156, I157, I158, I159, I160, I161) -> f7(I155, I156, I157, I158, I159, I160, I161) 
32.94/32.50	  f3(I162, I163, I164, I165, I166, I167, I168) -> f1(I162, I163, I164, I165, I166, I167, I168) 
32.94/32.50	  f4(I169, I170, I171, I172, I173, I174, I175) -> f5(I169, I170, I171, I172, I173, I174, I175) 
32.94/32.50	  f1(I176, I177, I178, I179, I180, I181, I182) -> f3(1 + I176, I177, I178, I179, I180, I181, I182) [1 + I176 <= 100]
32.94/32.50	  f1(I183, I184, I185, I186, I187, I188, I189) -> f2(I183, I184, I185, -2 + I183, I187, I188, I189) [100 <= I183]
32.94/32.50	
32.94/32.50	The dependency graph for this problem is:
32.94/32.50	  23 -> 
32.94/32.50	Where:
32.94/32.50	  23) f3#(I162, I163, I164, I165, I166, I167, I168) -> f1#(I162, I163, I164, I165, I166, I167, I168) 
32.94/32.50	
32.94/32.50	We have the following SCCs.
32.94/32.50	  
32.94/32.50	
32.94/32.50	DP problem for innermost termination.
32.94/32.50	P =
32.94/32.50	  f7#(I56, I57, I58, I59, I60, I61, I62) -> f10#(I56, I57, I58, I59, I60, I61, I62) 
32.94/32.50	  f10#(I112, I113, I114, I115, I116, I117, I118) -> f9#(I112, I113, I114, I115, I116, I117, I118) 
32.94/32.50	  f9#(I127, I128, I129, I130, I131, I132, I133) -> f8#(I127, I128, I129, I130, I131, I132, I133) 
32.94/32.50	  f9#(I134, I135, I136, I137, I138, I139, I140) -> f6#(I134, I135, I136, I137, I138, I139, I140) 
32.94/32.50	  f9#(I141, I142, I143, I144, I145, I146, I147) -> f8#(I141, I142, I143, I144, I145, I146, I147) 
32.94/32.50	  f8#(I148, I149, I150, I151, I152, I153, I154) -> f6#(I148, 1 + I149, I150, I151, I152, I153, I154) 
32.94/32.50	  f6#(I155, I156, I157, I158, I159, I160, I161) -> f7#(I155, I156, I157, I158, I159, I160, I161) 
32.94/32.50	R = 
32.94/32.50	  f19(x1, x2, x3, x4, x5, x6, x7) -> f18(x1, x2, x3, x4, x5, x6, x7) 
32.94/32.50	  f18(I0, I1, I2, I3, I4, I5, I6) -> f3(0, I1, I2, I3, I4, I5, I6) 
32.94/32.50	  f2(I7, I8, I9, I10, I11, I12, I13) -> f5(I7, I8, I9, I10, I11, I12, I13) [0 <= I7]
32.94/32.50	  f2(I14, I15, I16, I17, I18, I19, I20) -> f11(I14, I15, I17, I17, I18, I19, I20) [1 + I14 <= 0]
32.94/32.50	  f12(I21, I22, I23, I24, I25, I26, I27) -> f17(I21, I22, I23, I24, I25, I26, I27) 
32.94/32.50	  f12(I28, I29, I30, I31, I32, I33, I34) -> f14(I28, I29, I30, rnd4, I32, I30, rnd7) [rnd7 = rnd7 /\ rnd4 = I30]
32.94/32.50	  f17(I35, I36, I37, I38, I39, I40, I41) -> f16(I35, I36, I37, I38, I39, I40, I41) 
32.94/32.50	  f17(I42, I43, I44, I45, I46, I47, I48) -> f15(I42, I43, I44, I45, I46, I47, I48) 
32.94/32.50	  f17(I49, I50, I51, I52, I53, I54, I55) -> f16(I49, I50, I51, I52, I53, I54, I55) 
32.94/32.50	  f7(I56, I57, I58, I59, I60, I61, I62) -> f10(I56, I57, I58, I59, I60, I61, I62) 
32.94/32.50	  f16(I63, I64, I65, I66, I67, I68, I69) -> f15(I63, I64, 1 + I65, I66, I67, I68, I69) 
32.94/32.50	  f15(I70, I71, I72, I73, I74, I75, I76) -> f11(I70, I71, I72, I73, I74, I75, I76) 
32.94/32.50	  f14(I77, I78, I79, I80, I81, I82, I83) -> f13(I77, I78, I79, I80, I81, I82, I83) 
32.94/32.50	  f14(I84, I85, I86, I87, I88, I89, I90) -> f4(I84, I85, I86, I87, I88, I89, I90) 
32.94/32.50	  f14(I91, I92, I93, I94, I95, I96, I97) -> f13(I91, I92, I93, I94, I95, I96, I97) 
32.94/32.50	  f13(I98, I99, I100, I101, I102, I103, I104) -> f7(I98, I101, I100, I101, I102, I103, I104) 
32.94/32.50	  f11(I105, I106, I107, I108, I109, I110, I111) -> f12(I105, I106, I107, I108, I109, I110, I111) 
32.94/32.50	  f10(I112, I113, I114, I115, I116, I117, I118) -> f9(I112, I113, I114, I115, I116, I117, I118) 
32.94/32.50	  f10(I119, I120, I121, I122, I123, I124, I125) -> f4(I119, I120, I121, I126, I120, I124, I125) [I126 = I120]
32.94/32.50	  f9(I127, I128, I129, I130, I131, I132, I133) -> f8(I127, I128, I129, I130, I131, I132, I133) 
32.94/32.50	  f9(I134, I135, I136, I137, I138, I139, I140) -> f6(I134, I135, I136, I137, I138, I139, I140) 
32.94/32.50	  f9(I141, I142, I143, I144, I145, I146, I147) -> f8(I141, I142, I143, I144, I145, I146, I147) 
32.94/32.50	  f8(I148, I149, I150, I151, I152, I153, I154) -> f6(I148, 1 + I149, I150, I151, I152, I153, I154) 
32.94/32.50	  f6(I155, I156, I157, I158, I159, I160, I161) -> f7(I155, I156, I157, I158, I159, I160, I161) 
32.94/32.50	  f3(I162, I163, I164, I165, I166, I167, I168) -> f1(I162, I163, I164, I165, I166, I167, I168) 
32.94/32.50	  f4(I169, I170, I171, I172, I173, I174, I175) -> f5(I169, I170, I171, I172, I173, I174, I175) 
32.94/32.50	  f1(I176, I177, I178, I179, I180, I181, I182) -> f3(1 + I176, I177, I178, I179, I180, I181, I182) [1 + I176 <= 100]
32.94/32.50	  f1(I183, I184, I185, I186, I187, I188, I189) -> f2(I183, I184, I185, -2 + I183, I187, I188, I189) [100 <= I183]
32.94/32.50	
32.94/35.47	EOF