0.00/0.03	YES
0.00/0.03	
0.00/0.03	DP problem for innermost termination.
0.00/0.03	P =
0.00/0.03	  f3#(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20, x21, x22, x23, x24, x25, x26, x27, x28, x29, x30, x31, x32, x33, x34, x35, x36, x37, x38, x39, x40, x41, x42, x43, x44, x45, x46, x47, x48) -> f1#(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20, x21, x22, x23, x24, x25, x26, x27, x28, x29, x30, x31, x32, x33, x34, x35, x36, x37, x38, x39, x40, x41, x42, x43, x44, x45, x46, x47, x48) 
0.00/0.03	R = 
0.00/0.03	  f3(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20, x21, x22, x23, x24, x25, x26, x27, x28, x29, x30, x31, x32, x33, x34, x35, x36, x37, x38, x39, x40, x41, x42, x43, x44, x45, x46, x47, x48) -> f1(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20, x21, x22, x23, x24, x25, x26, x27, x28, x29, x30, x31, x32, x33, x34, x35, x36, x37, x38, x39, x40, x41, x42, x43, x44, x45, x46, x47, x48) 
0.00/0.03	  f1(I0, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14, I15, I16, I17, I18, I19, I20, I21, I22, I23, I24, I25, I26, I27, I28, I29, I30, I31, I32, I33, I34, I35, I36, I37, I38, I39, I40, I41, I42, I43, I44, I45, I46, I47) -> f2(rnd1, rnd2, rnd3, rnd4, rnd5, rnd6, rnd7, rnd8, 2, 2, 2, 2, 2, 2, 2, 2, rnd17, rnd18, rnd19, rnd20, rnd21, rnd22, rnd23, rnd24, rnd25, rnd26, rnd27, rnd28, rnd29, rnd30, rnd31, rnd32, rnd33, rnd34, rnd35, rnd36, rnd37, rnd38, rnd39, rnd40, rnd41, rnd42, rnd43, rnd44, rnd45, rnd46, rnd47, rnd48) [rnd8 = rnd48 /\ rnd48 = rnd32 /\ rnd32 = rnd24 /\ rnd24 = rnd40 /\ rnd40 = rnd40 /\ rnd7 = rnd47 /\ rnd47 = rnd31 /\ rnd31 = rnd23 /\ rnd23 = rnd39 /\ rnd39 = rnd39 /\ rnd6 = rnd46 /\ rnd46 = rnd30 /\ rnd30 = rnd22 /\ rnd22 = rnd38 /\ rnd38 = rnd38 /\ rnd5 = rnd45 /\ rnd45 = rnd29 /\ rnd29 = rnd21 /\ rnd21 = rnd37 /\ rnd37 = rnd37 /\ rnd4 = rnd44 /\ rnd44 = rnd28 /\ rnd28 = rnd20 /\ rnd20 = rnd36 /\ rnd36 = rnd36 /\ rnd3 = rnd43 /\ rnd43 = rnd27 /\ rnd27 = rnd19 /\ rnd19 = rnd35 /\ rnd35 = rnd35 /\ rnd2 = rnd42 /\ rnd42 = rnd26 /\ rnd26 = rnd18 /\ rnd18 = rnd34 /\ rnd34 = rnd34 /\ rnd1 = rnd41 /\ rnd41 = rnd25 /\ rnd25 = rnd17 /\ rnd17 = rnd33 /\ rnd33 = rnd33]
0.00/0.03	
0.00/0.03	The dependency graph for this problem is:
0.00/0.03	  0 -> 
0.00/0.03	Where:
0.00/0.03	  0) f3#(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20, x21, x22, x23, x24, x25, x26, x27, x28, x29, x30, x31, x32, x33, x34, x35, x36, x37, x38, x39, x40, x41, x42, x43, x44, x45, x46, x47, x48) -> f1#(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20, x21, x22, x23, x24, x25, x26, x27, x28, x29, x30, x31, x32, x33, x34, x35, x36, x37, x38, x39, x40, x41, x42, x43, x44, x45, x46, x47, x48) 
0.00/0.03	
0.00/0.03	We have the following SCCs.
0.00/0.03	  
0.00/0.03	EOF