MAYBE * Step 1: ArgumentFilter MAYBE + Considered Problem: Rules: 0. f3(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) -> f1(J1,2,K1,L1,K1,F,G,H,I,J,K,G1,M,G1,J1,P,Q,R,S,T,U,V,W,H1,I1,G1,A1,K1,M1,D1,E1,F1) [J1 >= 2] (1,1) 1. f3(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) -> f4(J1,M1,L1,T1,S1,F,G,H,I,W1,K,X,V1,X,I1,X,U1,X1,Q1,T,U,V,W,G1,H1,K1,N1,R1,C1,D1,E1,F1) [0 >= O1 && 0 >= I1 && 0 >= P1] (1,1) 2. f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) -> f10(H1,K1,J1,R1,Q1,F,G,H,I,C,T,N,N,N,G1,C,C,C,M1,T,U,V,W,X,Y,I1,L1,N1,C1,1 + T,I,S1) [-2 + B >= 0 (?,1) && -4 + B + O >= 0 && -2 + O >= 0 && B >= A && B >= 0 && T1 >= G1 && U1 >= 2 && K1 >= U1 && N >= 1 + C && K1 >= 0 && G1 >= 2] 3. f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) -> f10(H1,K1,J1,R1,Q1,F,G,H,I,C,T,N,N,N,G1,C,C,C,M1,T,U,V,W,X,Y,I1,L1,N1,C1,1 + T,I,S1) [-2 + B >= 0 (?,1) && -4 + B + O >= 0 && -2 + O >= 0 && B >= A && B >= 0 && T1 >= G1 && U1 >= 2 && K1 >= U1 && C >= 1 + N && K1 >= 0 && G1 >= 2] 4. f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) -> f1(A,1 + B,D,G1,D,H1,B,I,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && A >= 1 + B && B >= 0] (?,1) 5. f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) -> f10(A,B,C,D,E,F,G,H,I,J,K,M,M,M,G1,H1,H1,J,S,-1 + T,I1,I,-1 + T,X,Y,Z,A1,B1,C1,D1,E1,F1) [E1 + -1*I >= 0 (?,1) && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J >= 1 + J1 && T >= 0 && J1 >= 1 + H1 && G1 >= 2] 6. f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) -> f10(A,B,C,D,E,F,G,H,I,J,K,M,M,M,G1,H1,H1,J,S,-1 + T,I1,I,-1 + T,X,Y,Z,A1,B1,C1,D1,E1,F1) [E1 + -1*I >= 0 (?,1) && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J >= 1 + J1 && T >= 0 && H1 >= 1 + J1 && G1 >= 2] 7. f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) -> f10(A,B,C,D,E,F,G,H,I,J,K,M,M,M,G1,H1,H1,J,S,-1 + T,I1,I,-1 + T,X,Y,Z,A1,B1,C1,D1,E1,F1) [E1 + -1*I >= 0 (?,1) && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J1 >= 1 + J && T >= 0 && J1 >= 1 + H1 && G1 >= 2] 8. f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) -> f10(A,B,C,D,E,F,G,H,I,J,K,M,M,M,G1,H1,H1,J,S,-1 + T,I1,I,-1 + T,X,Y,Z,A1,B1,C1,D1,E1,F1) [E1 + -1*I >= 0 (?,1) && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J1 >= 1 + J && T >= 0 && H1 >= 1 + J1 && G1 >= 2] 9. f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) -> f4(A,B,C,D,E,F,G,H,I,K1,K,L,J1,N,G1,P,I1,L1,H1,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1) [E1 + -1*I >= 0 (?,1) && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && G1 >= 2 && T >= 0 && M = J] Signature: {(f1,32);(f10,32);(f3,32);(f4,32)} Flow Graph: [0->{2,3,4},1->{},2->{5,6,7,8,9},3->{5,6,7,8,9},4->{2,3,4},5->{5,6,7,8,9},6->{5,6,7,8,9},7->{5,6,7,8,9} ,8->{5,6,7,8,9},9->{}] + Applied Processor: ArgumentFilter [3,4,5,6,7,15,16,18,20,21,22,23,24,25,26,27,28,31] + Details: We remove following argument positions: [3,4,5,6,7,15,16,18,20,21,22,23,24,25,26,27,28,31]. * Step 2: UnsatPaths MAYBE + Considered Problem: Rules: 0. f3(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f1(J1,2,K1,I,J,K,G1,M,G1,J1,R,T,D1,E1) [J1 >= 2] (1,1) 1. f3(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f4(J1,M1,L1,I,W1,K,X,V1,X,I1,X1,T,D1,E1) [0 >= O1 && 0 >= I1 && 0 >= P1] (1,1) 2. f1(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10(H1,K1,J1,I,C,T,N,N,N,G1,C,T,1 + T,I) [-2 + B >= 0 (?,1) && -4 + B + O >= 0 && -2 + O >= 0 && B >= A && B >= 0 && T1 >= G1 && U1 >= 2 && K1 >= U1 && N >= 1 + C && K1 >= 0 && G1 >= 2] 3. f1(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10(H1,K1,J1,I,C,T,N,N,N,G1,C,T,1 + T,I) [-2 + B >= 0 (?,1) && -4 + B + O >= 0 && -2 + O >= 0 && B >= A && B >= 0 && T1 >= G1 && U1 >= 2 && K1 >= U1 && C >= 1 + N && K1 >= 0 && G1 >= 2] 4. f1(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f1(A,1 + B,D,I,J,K,L,M,N,O,R,T,D1,E1) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && A >= 1 + B && B >= 0] (?,1) 5. f10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 (?,1) && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J >= 1 + J1 && T >= 0 && J1 >= 1 + H1 && G1 >= 2] 6. f10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 (?,1) && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J >= 1 + J1 && T >= 0 && H1 >= 1 + J1 && G1 >= 2] 7. f10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 (?,1) && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J1 >= 1 + J && T >= 0 && J1 >= 1 + H1 && G1 >= 2] 8. f10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 (?,1) && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J1 >= 1 + J && T >= 0 && H1 >= 1 + J1 && G1 >= 2] 9. f10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f4(A,B,C,I,K1,K,L,J1,N,G1,L1,T,D1,E1) [E1 + -1*I >= 0 (?,1) && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && G1 >= 2 && T >= 0 && M = J] Signature: {(f1,32);(f10,32);(f3,32);(f4,32)} Flow Graph: [0->{2,3,4},1->{},2->{5,6,7,8,9},3->{5,6,7,8,9},4->{2,3,4},5->{5,6,7,8,9},6->{5,6,7,8,9},7->{5,6,7,8,9} ,8->{5,6,7,8,9},9->{}] + Applied Processor: UnsatPaths + Details: We remove following edges from the transition graph: [(2,9),(3,9)] * Step 3: FromIts MAYBE + Considered Problem: Rules: 0. f3(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f1(J1,2,K1,I,J,K,G1,M,G1,J1,R,T,D1,E1) [J1 >= 2] (1,1) 1. f3(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f4(J1,M1,L1,I,W1,K,X,V1,X,I1,X1,T,D1,E1) [0 >= O1 && 0 >= I1 && 0 >= P1] (1,1) 2. f1(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10(H1,K1,J1,I,C,T,N,N,N,G1,C,T,1 + T,I) [-2 + B >= 0 (?,1) && -4 + B + O >= 0 && -2 + O >= 0 && B >= A && B >= 0 && T1 >= G1 && U1 >= 2 && K1 >= U1 && N >= 1 + C && K1 >= 0 && G1 >= 2] 3. f1(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10(H1,K1,J1,I,C,T,N,N,N,G1,C,T,1 + T,I) [-2 + B >= 0 (?,1) && -4 + B + O >= 0 && -2 + O >= 0 && B >= A && B >= 0 && T1 >= G1 && U1 >= 2 && K1 >= U1 && C >= 1 + N && K1 >= 0 && G1 >= 2] 4. f1(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f1(A,1 + B,D,I,J,K,L,M,N,O,R,T,D1,E1) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && A >= 1 + B && B >= 0] (?,1) 5. f10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 (?,1) && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J >= 1 + J1 && T >= 0 && J1 >= 1 + H1 && G1 >= 2] 6. f10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 (?,1) && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J >= 1 + J1 && T >= 0 && H1 >= 1 + J1 && G1 >= 2] 7. f10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 (?,1) && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J1 >= 1 + J && T >= 0 && J1 >= 1 + H1 && G1 >= 2] 8. f10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 (?,1) && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J1 >= 1 + J && T >= 0 && H1 >= 1 + J1 && G1 >= 2] 9. f10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f4(A,B,C,I,K1,K,L,J1,N,G1,L1,T,D1,E1) [E1 + -1*I >= 0 (?,1) && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && G1 >= 2 && T >= 0 && M = J] Signature: {(f1,32);(f10,32);(f3,32);(f4,32)} Flow Graph: [0->{2,3,4},1->{},2->{5,6,7,8},3->{5,6,7,8},4->{2,3,4},5->{5,6,7,8,9},6->{5,6,7,8,9},7->{5,6,7,8,9},8->{5 ,6,7,8,9},9->{}] + Applied Processor: FromIts + Details: () * Step 4: Unfold MAYBE + Considered Problem: Rules: f3(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f1(J1,2,K1,I,J,K,G1,M,G1,J1,R,T,D1,E1) [J1 >= 2] f3(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f4(J1,M1,L1,I,W1,K,X,V1,X,I1,X1,T,D1,E1) [0 >= O1 && 0 >= I1 && 0 >= P1] f1(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10(H1,K1,J1,I,C,T,N,N,N,G1,C,T,1 + T,I) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && B >= A && B >= 0 && T1 >= G1 && U1 >= 2 && K1 >= U1 && N >= 1 + C && K1 >= 0 && G1 >= 2] f1(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10(H1,K1,J1,I,C,T,N,N,N,G1,C,T,1 + T,I) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && B >= A && B >= 0 && T1 >= G1 && U1 >= 2 && K1 >= U1 && C >= 1 + N && K1 >= 0 && G1 >= 2] f1(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f1(A,1 + B,D,I,J,K,L,M,N,O,R,T,D1,E1) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && A >= 1 + B && B >= 0] f10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J >= 1 + J1 && T >= 0 && J1 >= 1 + H1 && G1 >= 2] f10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J >= 1 + J1 && T >= 0 && H1 >= 1 + J1 && G1 >= 2] f10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J1 >= 1 + J && T >= 0 && J1 >= 1 + H1 && G1 >= 2] f10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J1 >= 1 + J && T >= 0 && H1 >= 1 + J1 && G1 >= 2] f10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f4(A,B,C,I,K1,K,L,J1,N,G1,L1,T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && G1 >= 2 && T >= 0 && M = J] Signature: {(f1,32);(f10,32);(f3,32);(f4,32)} Rule Graph: [0->{2,3,4},1->{},2->{5,6,7,8},3->{5,6,7,8},4->{2,3,4},5->{5,6,7,8,9},6->{5,6,7,8,9},7->{5,6,7,8,9},8->{5 ,6,7,8,9},9->{}] + Applied Processor: Unfold + Details: () * Step 5: AddSinks MAYBE + Considered Problem: Rules: f3.0(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f1.2(J1,2,K1,I,J,K,G1,M,G1,J1,R,T,D1,E1) [J1 >= 2] f3.0(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f1.3(J1,2,K1,I,J,K,G1,M,G1,J1,R,T,D1,E1) [J1 >= 2] f3.0(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f1.4(J1,2,K1,I,J,K,G1,M,G1,J1,R,T,D1,E1) [J1 >= 2] f3.1(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f4.10(J1,M1,L1,I,W1,K,X,V1,X,I1,X1,T,D1,E1) [0 >= O1 && 0 >= I1 && 0 >= P1] f1.2(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.5(H1,K1,J1,I,C,T,N,N,N,G1,C,T,1 + T,I) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && B >= A && B >= 0 && T1 >= G1 && U1 >= 2 && K1 >= U1 && N >= 1 + C && K1 >= 0 && G1 >= 2] f1.2(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.6(H1,K1,J1,I,C,T,N,N,N,G1,C,T,1 + T,I) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && B >= A && B >= 0 && T1 >= G1 && U1 >= 2 && K1 >= U1 && N >= 1 + C && K1 >= 0 && G1 >= 2] f1.2(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.7(H1,K1,J1,I,C,T,N,N,N,G1,C,T,1 + T,I) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && B >= A && B >= 0 && T1 >= G1 && U1 >= 2 && K1 >= U1 && N >= 1 + C && K1 >= 0 && G1 >= 2] f1.2(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.8(H1,K1,J1,I,C,T,N,N,N,G1,C,T,1 + T,I) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && B >= A && B >= 0 && T1 >= G1 && U1 >= 2 && K1 >= U1 && N >= 1 + C && K1 >= 0 && G1 >= 2] f1.3(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.5(H1,K1,J1,I,C,T,N,N,N,G1,C,T,1 + T,I) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && B >= A && B >= 0 && T1 >= G1 && U1 >= 2 && K1 >= U1 && C >= 1 + N && K1 >= 0 && G1 >= 2] f1.3(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.6(H1,K1,J1,I,C,T,N,N,N,G1,C,T,1 + T,I) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && B >= A && B >= 0 && T1 >= G1 && U1 >= 2 && K1 >= U1 && C >= 1 + N && K1 >= 0 && G1 >= 2] f1.3(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.7(H1,K1,J1,I,C,T,N,N,N,G1,C,T,1 + T,I) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && B >= A && B >= 0 && T1 >= G1 && U1 >= 2 && K1 >= U1 && C >= 1 + N && K1 >= 0 && G1 >= 2] f1.3(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.8(H1,K1,J1,I,C,T,N,N,N,G1,C,T,1 + T,I) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && B >= A && B >= 0 && T1 >= G1 && U1 >= 2 && K1 >= U1 && C >= 1 + N && K1 >= 0 && G1 >= 2] f1.4(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f1.2(A,1 + B,D,I,J,K,L,M,N,O,R,T,D1,E1) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && A >= 1 + B && B >= 0] f1.4(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f1.3(A,1 + B,D,I,J,K,L,M,N,O,R,T,D1,E1) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && A >= 1 + B && B >= 0] f1.4(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f1.4(A,1 + B,D,I,J,K,L,M,N,O,R,T,D1,E1) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && A >= 1 + B && B >= 0] f10.5(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.5(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J >= 1 + J1 && T >= 0 && J1 >= 1 + H1 && G1 >= 2] f10.5(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.6(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J >= 1 + J1 && T >= 0 && J1 >= 1 + H1 && G1 >= 2] f10.5(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.7(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J >= 1 + J1 && T >= 0 && J1 >= 1 + H1 && G1 >= 2] f10.5(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.8(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J >= 1 + J1 && T >= 0 && J1 >= 1 + H1 && G1 >= 2] f10.5(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.9(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J >= 1 + J1 && T >= 0 && J1 >= 1 + H1 && G1 >= 2] f10.6(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.5(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J >= 1 + J1 && T >= 0 && H1 >= 1 + J1 && G1 >= 2] f10.6(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.6(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J >= 1 + J1 && T >= 0 && H1 >= 1 + J1 && G1 >= 2] f10.6(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.7(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J >= 1 + J1 && T >= 0 && H1 >= 1 + J1 && G1 >= 2] f10.6(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.8(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J >= 1 + J1 && T >= 0 && H1 >= 1 + J1 && G1 >= 2] f10.6(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.9(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J >= 1 + J1 && T >= 0 && H1 >= 1 + J1 && G1 >= 2] f10.7(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.5(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J1 >= 1 + J && T >= 0 && J1 >= 1 + H1 && G1 >= 2] f10.7(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.6(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J1 >= 1 + J && T >= 0 && J1 >= 1 + H1 && G1 >= 2] f10.7(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.7(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J1 >= 1 + J && T >= 0 && J1 >= 1 + H1 && G1 >= 2] f10.7(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.8(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J1 >= 1 + J && T >= 0 && J1 >= 1 + H1 && G1 >= 2] f10.7(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.9(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J1 >= 1 + J && T >= 0 && J1 >= 1 + H1 && G1 >= 2] f10.8(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.5(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J1 >= 1 + J && T >= 0 && H1 >= 1 + J1 && G1 >= 2] f10.8(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.6(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J1 >= 1 + J && T >= 0 && H1 >= 1 + J1 && G1 >= 2] f10.8(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.7(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J1 >= 1 + J && T >= 0 && H1 >= 1 + J1 && G1 >= 2] f10.8(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.8(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J1 >= 1 + J && T >= 0 && H1 >= 1 + J1 && G1 >= 2] f10.8(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.9(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J1 >= 1 + J && T >= 0 && H1 >= 1 + J1 && G1 >= 2] f10.9(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f4.10(A,B,C,I,K1,K,L,J1,N,G1,L1,T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && G1 >= 2 && T >= 0 && M = J] Signature: {(f1.2,14) ;(f1.3,14) ;(f1.4,14) ;(f10.5,14) ;(f10.6,14) ;(f10.7,14) ;(f10.8,14) ;(f10.9,14) ;(f3.0,14) ;(f3.1,14) ;(f4.10,14)} Rule Graph: [0->{4,5,6,7},1->{8,9,10,11},2->{12,13,14},3->{},4->{15,16,17,18,19},5->{20,21,22,23,24},6->{25,26,27,28 ,29},7->{30,31,32,33,34},8->{15,16,17,18,19},9->{20,21,22,23,24},10->{25,26,27,28,29},11->{30,31,32,33,34} ,12->{4,5,6,7},13->{8,9,10,11},14->{12,13,14},15->{15,16,17,18,19},16->{20,21,22,23,24},17->{25,26,27,28,29} ,18->{30,31,32,33,34},19->{35},20->{15,16,17,18,19},21->{20,21,22,23,24},22->{25,26,27,28,29},23->{30,31,32 ,33,34},24->{35},25->{15,16,17,18,19},26->{20,21,22,23,24},27->{25,26,27,28,29},28->{30,31,32,33,34} ,29->{35},30->{15,16,17,18,19},31->{20,21,22,23,24},32->{25,26,27,28,29},33->{30,31,32,33,34},34->{35} ,35->{}] + Applied Processor: AddSinks + Details: () * Step 6: Decompose MAYBE + Considered Problem: Rules: f3.0(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f1.2(J1,2,K1,I,J,K,G1,M,G1,J1,R,T,D1,E1) [J1 >= 2] f3.0(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f1.3(J1,2,K1,I,J,K,G1,M,G1,J1,R,T,D1,E1) [J1 >= 2] f3.0(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f1.4(J1,2,K1,I,J,K,G1,M,G1,J1,R,T,D1,E1) [J1 >= 2] f3.1(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f4.10(J1,M1,L1,I,W1,K,X,V1,X,I1,X1,T,D1,E1) [0 >= O1 && 0 >= I1 && 0 >= P1] f1.2(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.5(H1,K1,J1,I,C,T,N,N,N,G1,C,T,1 + T,I) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && B >= A && B >= 0 && T1 >= G1 && U1 >= 2 && K1 >= U1 && N >= 1 + C && K1 >= 0 && G1 >= 2] f1.2(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.6(H1,K1,J1,I,C,T,N,N,N,G1,C,T,1 + T,I) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && B >= A && B >= 0 && T1 >= G1 && U1 >= 2 && K1 >= U1 && N >= 1 + C && K1 >= 0 && G1 >= 2] f1.2(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.7(H1,K1,J1,I,C,T,N,N,N,G1,C,T,1 + T,I) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && B >= A && B >= 0 && T1 >= G1 && U1 >= 2 && K1 >= U1 && N >= 1 + C && K1 >= 0 && G1 >= 2] f1.2(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.8(H1,K1,J1,I,C,T,N,N,N,G1,C,T,1 + T,I) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && B >= A && B >= 0 && T1 >= G1 && U1 >= 2 && K1 >= U1 && N >= 1 + C && K1 >= 0 && G1 >= 2] f1.3(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.5(H1,K1,J1,I,C,T,N,N,N,G1,C,T,1 + T,I) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && B >= A && B >= 0 && T1 >= G1 && U1 >= 2 && K1 >= U1 && C >= 1 + N && K1 >= 0 && G1 >= 2] f1.3(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.6(H1,K1,J1,I,C,T,N,N,N,G1,C,T,1 + T,I) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && B >= A && B >= 0 && T1 >= G1 && U1 >= 2 && K1 >= U1 && C >= 1 + N && K1 >= 0 && G1 >= 2] f1.3(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.7(H1,K1,J1,I,C,T,N,N,N,G1,C,T,1 + T,I) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && B >= A && B >= 0 && T1 >= G1 && U1 >= 2 && K1 >= U1 && C >= 1 + N && K1 >= 0 && G1 >= 2] f1.3(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.8(H1,K1,J1,I,C,T,N,N,N,G1,C,T,1 + T,I) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && B >= A && B >= 0 && T1 >= G1 && U1 >= 2 && K1 >= U1 && C >= 1 + N && K1 >= 0 && G1 >= 2] f1.4(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f1.2(A,1 + B,D,I,J,K,L,M,N,O,R,T,D1,E1) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && A >= 1 + B && B >= 0] f1.4(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f1.3(A,1 + B,D,I,J,K,L,M,N,O,R,T,D1,E1) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && A >= 1 + B && B >= 0] f1.4(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f1.4(A,1 + B,D,I,J,K,L,M,N,O,R,T,D1,E1) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && A >= 1 + B && B >= 0] f10.5(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.5(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J >= 1 + J1 && T >= 0 && J1 >= 1 + H1 && G1 >= 2] f10.5(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.6(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J >= 1 + J1 && T >= 0 && J1 >= 1 + H1 && G1 >= 2] f10.5(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.7(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J >= 1 + J1 && T >= 0 && J1 >= 1 + H1 && G1 >= 2] f10.5(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.8(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J >= 1 + J1 && T >= 0 && J1 >= 1 + H1 && G1 >= 2] f10.5(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.9(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J >= 1 + J1 && T >= 0 && J1 >= 1 + H1 && G1 >= 2] f10.6(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.5(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J >= 1 + J1 && T >= 0 && H1 >= 1 + J1 && G1 >= 2] f10.6(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.6(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J >= 1 + J1 && T >= 0 && H1 >= 1 + J1 && G1 >= 2] f10.6(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.7(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J >= 1 + J1 && T >= 0 && H1 >= 1 + J1 && G1 >= 2] f10.6(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.8(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J >= 1 + J1 && T >= 0 && H1 >= 1 + J1 && G1 >= 2] f10.6(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.9(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J >= 1 + J1 && T >= 0 && H1 >= 1 + J1 && G1 >= 2] f10.7(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.5(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J1 >= 1 + J && T >= 0 && J1 >= 1 + H1 && G1 >= 2] f10.7(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.6(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J1 >= 1 + J && T >= 0 && J1 >= 1 + H1 && G1 >= 2] f10.7(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.7(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J1 >= 1 + J && T >= 0 && J1 >= 1 + H1 && G1 >= 2] f10.7(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.8(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J1 >= 1 + J && T >= 0 && J1 >= 1 + H1 && G1 >= 2] f10.7(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.9(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J1 >= 1 + J && T >= 0 && J1 >= 1 + H1 && G1 >= 2] f10.8(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.5(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J1 >= 1 + J && T >= 0 && H1 >= 1 + J1 && G1 >= 2] f10.8(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.6(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J1 >= 1 + J && T >= 0 && H1 >= 1 + J1 && G1 >= 2] f10.8(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.7(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J1 >= 1 + J && T >= 0 && H1 >= 1 + J1 && G1 >= 2] f10.8(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.8(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J1 >= 1 + J && T >= 0 && H1 >= 1 + J1 && G1 >= 2] f10.8(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.9(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J1 >= 1 + J && T >= 0 && H1 >= 1 + J1 && G1 >= 2] f10.9(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f4.10(A,B,C,I,K1,K,L,J1,N,G1,L1,T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && G1 >= 2 && T >= 0 && M = J] f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True Signature: {(exitus616,14) ;(f1.2,14) ;(f1.3,14) ;(f1.4,14) ;(f10.5,14) ;(f10.6,14) ;(f10.7,14) ;(f10.8,14) ;(f10.9,14) ;(f3.0,14) ;(f3.1,14) ;(f4.10,14)} Rule Graph: [0->{4,5,6,7},1->{8,9,10,11},2->{12,13,14},3->{36},4->{15,16,17,18,19},5->{20,21,22,23,24},6->{25,26,27,28 ,29},7->{30,31,32,33,34},8->{15,16,17,18,19},9->{20,21,22,23,24},10->{25,26,27,28,29},11->{30,31,32,33,34} ,12->{4,5,6,7},13->{8,9,10,11},14->{12,13,14},15->{15,16,17,18,19},16->{20,21,22,23,24},17->{25,26,27,28,29} ,18->{30,31,32,33,34},19->{35},20->{15,16,17,18,19},21->{20,21,22,23,24},22->{25,26,27,28,29},23->{30,31,32 ,33,34},24->{35},25->{15,16,17,18,19},26->{20,21,22,23,24},27->{25,26,27,28,29},28->{30,31,32,33,34} ,29->{35},30->{15,16,17,18,19},31->{20,21,22,23,24},32->{25,26,27,28,29},33->{30,31,32,33,34},34->{35} ,35->{37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70 ,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100}] + Applied Processor: Decompose Greedy + Details: We construct a looptree: P: [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100] | +- p:[14] c: [14] | `- p:[15,20,16,25,17,30,18,23,21,26,22,31,28,27,32,33] c: [15,16,17,18,20,21,22,23,25,26,27,28,30,31,32,33] * Step 7: AbstractSize MAYBE + Considered Problem: (Rules: f3.0(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f1.2(J1,2,K1,I,J,K,G1,M,G1,J1,R,T,D1,E1) [J1 >= 2] f3.0(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f1.3(J1,2,K1,I,J,K,G1,M,G1,J1,R,T,D1,E1) [J1 >= 2] f3.0(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f1.4(J1,2,K1,I,J,K,G1,M,G1,J1,R,T,D1,E1) [J1 >= 2] f3.1(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f4.10(J1,M1,L1,I,W1,K,X,V1,X,I1,X1,T,D1,E1) [0 >= O1 && 0 >= I1 && 0 >= P1] f1.2(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.5(H1,K1,J1,I,C,T,N,N,N,G1,C,T,1 + T,I) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && B >= A && B >= 0 && T1 >= G1 && U1 >= 2 && K1 >= U1 && N >= 1 + C && K1 >= 0 && G1 >= 2] f1.2(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.6(H1,K1,J1,I,C,T,N,N,N,G1,C,T,1 + T,I) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && B >= A && B >= 0 && T1 >= G1 && U1 >= 2 && K1 >= U1 && N >= 1 + C && K1 >= 0 && G1 >= 2] f1.2(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.7(H1,K1,J1,I,C,T,N,N,N,G1,C,T,1 + T,I) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && B >= A && B >= 0 && T1 >= G1 && U1 >= 2 && K1 >= U1 && N >= 1 + C && K1 >= 0 && G1 >= 2] f1.2(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.8(H1,K1,J1,I,C,T,N,N,N,G1,C,T,1 + T,I) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && B >= A && B >= 0 && T1 >= G1 && U1 >= 2 && K1 >= U1 && N >= 1 + C && K1 >= 0 && G1 >= 2] f1.3(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.5(H1,K1,J1,I,C,T,N,N,N,G1,C,T,1 + T,I) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && B >= A && B >= 0 && T1 >= G1 && U1 >= 2 && K1 >= U1 && C >= 1 + N && K1 >= 0 && G1 >= 2] f1.3(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.6(H1,K1,J1,I,C,T,N,N,N,G1,C,T,1 + T,I) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && B >= A && B >= 0 && T1 >= G1 && U1 >= 2 && K1 >= U1 && C >= 1 + N && K1 >= 0 && G1 >= 2] f1.3(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.7(H1,K1,J1,I,C,T,N,N,N,G1,C,T,1 + T,I) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && B >= A && B >= 0 && T1 >= G1 && U1 >= 2 && K1 >= U1 && C >= 1 + N && K1 >= 0 && G1 >= 2] f1.3(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.8(H1,K1,J1,I,C,T,N,N,N,G1,C,T,1 + T,I) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && B >= A && B >= 0 && T1 >= G1 && U1 >= 2 && K1 >= U1 && C >= 1 + N && K1 >= 0 && G1 >= 2] f1.4(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f1.2(A,1 + B,D,I,J,K,L,M,N,O,R,T,D1,E1) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && A >= 1 + B && B >= 0] f1.4(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f1.3(A,1 + B,D,I,J,K,L,M,N,O,R,T,D1,E1) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && A >= 1 + B && B >= 0] f1.4(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f1.4(A,1 + B,D,I,J,K,L,M,N,O,R,T,D1,E1) [-2 + B >= 0 && -4 + B + O >= 0 && -2 + O >= 0 && A >= 1 + B && B >= 0] f10.5(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.5(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J >= 1 + J1 && T >= 0 && J1 >= 1 + H1 && G1 >= 2] f10.5(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.6(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J >= 1 + J1 && T >= 0 && J1 >= 1 + H1 && G1 >= 2] f10.5(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.7(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J >= 1 + J1 && T >= 0 && J1 >= 1 + H1 && G1 >= 2] f10.5(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.8(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J >= 1 + J1 && T >= 0 && J1 >= 1 + H1 && G1 >= 2] f10.5(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.9(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J >= 1 + J1 && T >= 0 && J1 >= 1 + H1 && G1 >= 2] f10.6(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.5(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J >= 1 + J1 && T >= 0 && H1 >= 1 + J1 && G1 >= 2] f10.6(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.6(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J >= 1 + J1 && T >= 0 && H1 >= 1 + J1 && G1 >= 2] f10.6(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.7(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J >= 1 + J1 && T >= 0 && H1 >= 1 + J1 && G1 >= 2] f10.6(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.8(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J >= 1 + J1 && T >= 0 && H1 >= 1 + J1 && G1 >= 2] f10.6(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.9(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J >= 1 + J1 && T >= 0 && H1 >= 1 + J1 && G1 >= 2] f10.7(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.5(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J1 >= 1 + J && T >= 0 && J1 >= 1 + H1 && G1 >= 2] f10.7(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.6(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J1 >= 1 + J && T >= 0 && J1 >= 1 + H1 && G1 >= 2] f10.7(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.7(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J1 >= 1 + J && T >= 0 && J1 >= 1 + H1 && G1 >= 2] f10.7(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.8(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J1 >= 1 + J && T >= 0 && J1 >= 1 + H1 && G1 >= 2] f10.7(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.9(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J1 >= 1 + J && T >= 0 && J1 >= 1 + H1 && G1 >= 2] f10.8(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.5(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J1 >= 1 + J && T >= 0 && H1 >= 1 + J1 && G1 >= 2] f10.8(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.6(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J1 >= 1 + J && T >= 0 && H1 >= 1 + J1 && G1 >= 2] f10.8(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.7(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J1 >= 1 + J && T >= 0 && H1 >= 1 + J1 && G1 >= 2] f10.8(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.8(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J1 >= 1 + J && T >= 0 && H1 >= 1 + J1 && G1 >= 2] f10.8(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f10.9(A,B,C,I,J,K,M,M,M,G1,J,-1 + T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && J1 >= 1 + J && T >= 0 && H1 >= 1 + J1 && G1 >= 2] f10.9(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> f4.10(A,B,C,I,K1,K,L,J1,N,G1,L1,T,D1,E1) [E1 + -1*I >= 0 && -1*E1 + I >= 0 && 1 + -1*D1 + K >= 0 && -1 + D1 + -1*T >= 0 && -1 + D1 + -1*K >= 0 && K + -1*T >= 0 && -2 + B >= 0 && -4 + B + O >= 0 && J + -1*R >= 0 && -1*J + R >= 0 && -2 + O >= 0 && M + -1*N >= 0 && L + -1*N >= 0 && -1*M + N >= 0 && -1*L + N >= 0 && L + -1*M >= 0 && -1*L + M >= 0 && G1 >= 2 && T >= 0 && M = J] f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True f4.10(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) -> exitus616(A,B,C,I,J,K,L,M,N,O,R,T,D1,E1) True Signature: {(exitus616,14) ;(f1.2,14) ;(f1.3,14) ;(f1.4,14) ;(f10.5,14) ;(f10.6,14) ;(f10.7,14) ;(f10.8,14) ;(f10.9,14) ;(f3.0,14) ;(f3.1,14) ;(f4.10,14)} Rule Graph: [0->{4,5,6,7},1->{8,9,10,11},2->{12,13,14},3->{36},4->{15,16,17,18,19},5->{20,21,22,23,24},6->{25,26,27,28 ,29},7->{30,31,32,33,34},8->{15,16,17,18,19},9->{20,21,22,23,24},10->{25,26,27,28,29},11->{30,31,32,33,34} ,12->{4,5,6,7},13->{8,9,10,11},14->{12,13,14},15->{15,16,17,18,19},16->{20,21,22,23,24},17->{25,26,27,28,29} ,18->{30,31,32,33,34},19->{35},20->{15,16,17,18,19},21->{20,21,22,23,24},22->{25,26,27,28,29},23->{30,31,32 ,33,34},24->{35},25->{15,16,17,18,19},26->{20,21,22,23,24},27->{25,26,27,28,29},28->{30,31,32,33,34} ,29->{35},30->{15,16,17,18,19},31->{20,21,22,23,24},32->{25,26,27,28,29},33->{30,31,32,33,34},34->{35} ,35->{37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70 ,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100}] ,We construct a looptree: P: [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100] | +- p:[14] c: [14] | `- p:[15,20,16,25,17,30,18,23,21,26,22,31,28,27,32,33] c: [15,16,17,18,20,21,22,23,25,26,27,28,30,31,32,33]) + Applied Processor: AbstractSize Minimize + Details: () * Step 8: AbstractFlow MAYBE + Considered Problem: Program: Domain: [A,B,C,I,J,K,L,M,N,O,R,T,D1,E1,0.0,0.1] f3.0 ~> f1.2 [A <= unknown, B <= 2*K, C <= unknown, I <= I, J <= J, K <= K, L <= unknown, M <= M, N <= unknown, O <= unknown, R <= R, T <= T, D1 <= D1, E1 <= E1] f3.0 ~> f1.3 [A <= unknown, B <= 2*K, C <= unknown, I <= I, J <= J, K <= K, L <= unknown, M <= M, N <= unknown, O <= unknown, R <= R, T <= T, D1 <= D1, E1 <= E1] f3.0 ~> f1.4 [A <= unknown, B <= 2*K, C <= unknown, I <= I, J <= J, K <= K, L <= unknown, M <= M, N <= unknown, O <= unknown, R <= R, T <= T, D1 <= D1, E1 <= E1] f3.1 ~> f4.10 [A <= unknown, B <= unknown, C <= unknown, I <= I, J <= unknown, K <= K, L <= unknown, M <= unknown, N <= unknown, O <= unknown, R <= unknown, T <= T, D1 <= D1, E1 <= E1] f1.2 ~> f10.5 [A <= unknown, B <= unknown, C <= unknown, I <= I, J <= C, K <= T, L <= N, M <= N, N <= N, O <= unknown, R <= C, T <= T, D1 <= K + T, E1 <= I] f1.2 ~> f10.6 [A <= unknown, B <= unknown, C <= unknown, I <= I, J <= C, K <= T, L <= N, M <= N, N <= N, O <= unknown, R <= C, T <= T, D1 <= K + T, E1 <= I] f1.2 ~> f10.7 [A <= unknown, B <= unknown, C <= unknown, I <= I, J <= C, K <= T, L <= N, M <= N, N <= N, O <= unknown, R <= C, T <= T, D1 <= K + T, E1 <= I] f1.2 ~> f10.8 [A <= unknown, B <= unknown, C <= unknown, I <= I, J <= C, K <= T, L <= N, M <= N, N <= N, O <= unknown, R <= C, T <= T, D1 <= K + T, E1 <= I] f1.3 ~> f10.5 [A <= unknown, B <= unknown, C <= unknown, I <= I, J <= C, K <= T, L <= N, M <= N, N <= N, O <= unknown, R <= C, T <= T, D1 <= K + T, E1 <= I] f1.3 ~> f10.6 [A <= unknown, B <= unknown, C <= unknown, I <= I, J <= C, K <= T, L <= N, M <= N, N <= N, O <= unknown, R <= C, T <= T, D1 <= K + T, E1 <= I] f1.3 ~> f10.7 [A <= unknown, B <= unknown, C <= unknown, I <= I, J <= C, K <= T, L <= N, M <= N, N <= N, O <= unknown, R <= C, T <= T, D1 <= K + T, E1 <= I] f1.3 ~> f10.8 [A <= unknown, B <= unknown, C <= unknown, I <= I, J <= C, K <= T, L <= N, M <= N, N <= N, O <= unknown, R <= C, T <= T, D1 <= K + T, E1 <= I] f1.4 ~> f1.2 [A <= A, B <= A, C <= unknown, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f1.4 ~> f1.3 [A <= A, B <= A, C <= unknown, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f1.4 ~> f1.4 [A <= A, B <= A, C <= unknown, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f10.5 ~> f10.5 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= M, M <= M, N <= M, O <= unknown, R <= J, T <= D1, D1 <= D1, E1 <= E1] f10.5 ~> f10.6 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= M, M <= M, N <= M, O <= unknown, R <= J, T <= D1, D1 <= D1, E1 <= E1] f10.5 ~> f10.7 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= M, M <= M, N <= M, O <= unknown, R <= J, T <= D1, D1 <= D1, E1 <= E1] f10.5 ~> f10.8 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= M, M <= M, N <= M, O <= unknown, R <= J, T <= D1, D1 <= D1, E1 <= E1] f10.5 ~> f10.9 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= M, M <= M, N <= M, O <= unknown, R <= J, T <= D1, D1 <= D1, E1 <= E1] f10.6 ~> f10.5 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= M, M <= M, N <= M, O <= unknown, R <= J, T <= D1, D1 <= D1, E1 <= E1] f10.6 ~> f10.6 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= M, M <= M, N <= M, O <= unknown, R <= J, T <= D1, D1 <= D1, E1 <= E1] f10.6 ~> f10.7 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= M, M <= M, N <= M, O <= unknown, R <= J, T <= D1, D1 <= D1, E1 <= E1] f10.6 ~> f10.8 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= M, M <= M, N <= M, O <= unknown, R <= J, T <= D1, D1 <= D1, E1 <= E1] f10.6 ~> f10.9 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= M, M <= M, N <= M, O <= unknown, R <= J, T <= D1, D1 <= D1, E1 <= E1] f10.7 ~> f10.5 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= M, M <= M, N <= M, O <= unknown, R <= J, T <= D1, D1 <= D1, E1 <= E1] f10.7 ~> f10.6 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= M, M <= M, N <= M, O <= unknown, R <= J, T <= D1, D1 <= D1, E1 <= E1] f10.7 ~> f10.7 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= M, M <= M, N <= M, O <= unknown, R <= J, T <= D1, D1 <= D1, E1 <= E1] f10.7 ~> f10.8 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= M, M <= M, N <= M, O <= unknown, R <= J, T <= D1, D1 <= D1, E1 <= E1] f10.7 ~> f10.9 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= M, M <= M, N <= M, O <= unknown, R <= J, T <= D1, D1 <= D1, E1 <= E1] f10.8 ~> f10.5 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= M, M <= M, N <= M, O <= unknown, R <= J, T <= D1, D1 <= D1, E1 <= E1] f10.8 ~> f10.6 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= M, M <= M, N <= M, O <= unknown, R <= J, T <= D1, D1 <= D1, E1 <= E1] f10.8 ~> f10.7 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= M, M <= M, N <= M, O <= unknown, R <= J, T <= D1, D1 <= D1, E1 <= E1] f10.8 ~> f10.8 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= M, M <= M, N <= M, O <= unknown, R <= J, T <= D1, D1 <= D1, E1 <= E1] f10.8 ~> f10.9 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= M, M <= M, N <= M, O <= unknown, R <= J, T <= D1, D1 <= D1, E1 <= E1] f10.9 ~> f4.10 [A <= A, B <= B, C <= C, I <= I, J <= unknown, K <= K, L <= L, M <= unknown, N <= N, O <= unknown, R <= unknown, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] f4.10 ~> exitus616 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] + Loop: [0.0 <= K + A + B] f1.4 ~> f1.4 [A <= A, B <= A, C <= unknown, I <= I, J <= J, K <= K, L <= L, M <= M, N <= N, O <= O, R <= R, T <= T, D1 <= D1, E1 <= E1] + Loop: [0.1 <= K + T] f10.5 ~> f10.5 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= M, M <= M, N <= M, O <= unknown, R <= J, T <= D1, D1 <= D1, E1 <= E1] f10.6 ~> f10.5 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= M, M <= M, N <= M, O <= unknown, R <= J, T <= D1, D1 <= D1, E1 <= E1] f10.5 ~> f10.6 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= M, M <= M, N <= M, O <= unknown, R <= J, T <= D1, D1 <= D1, E1 <= E1] f10.7 ~> f10.5 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= M, M <= M, N <= M, O <= unknown, R <= J, T <= D1, D1 <= D1, E1 <= E1] f10.5 ~> f10.7 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= M, M <= M, N <= M, O <= unknown, R <= J, T <= D1, D1 <= D1, E1 <= E1] f10.8 ~> f10.5 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= M, M <= M, N <= M, O <= unknown, R <= J, T <= D1, D1 <= D1, E1 <= E1] f10.5 ~> f10.8 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= M, M <= M, N <= M, O <= unknown, R <= J, T <= D1, D1 <= D1, E1 <= E1] f10.6 ~> f10.8 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= M, M <= M, N <= M, O <= unknown, R <= J, T <= D1, D1 <= D1, E1 <= E1] f10.6 ~> f10.6 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= M, M <= M, N <= M, O <= unknown, R <= J, T <= D1, D1 <= D1, E1 <= E1] f10.7 ~> f10.6 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= M, M <= M, N <= M, O <= unknown, R <= J, T <= D1, D1 <= D1, E1 <= E1] f10.6 ~> f10.7 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= M, M <= M, N <= M, O <= unknown, R <= J, T <= D1, D1 <= D1, E1 <= E1] f10.8 ~> f10.6 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= M, M <= M, N <= M, O <= unknown, R <= J, T <= D1, D1 <= D1, E1 <= E1] f10.7 ~> f10.8 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= M, M <= M, N <= M, O <= unknown, R <= J, T <= D1, D1 <= D1, E1 <= E1] f10.7 ~> f10.7 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= M, M <= M, N <= M, O <= unknown, R <= J, T <= D1, D1 <= D1, E1 <= E1] f10.8 ~> f10.7 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= M, M <= M, N <= M, O <= unknown, R <= J, T <= D1, D1 <= D1, E1 <= E1] f10.8 ~> f10.8 [A <= A, B <= B, C <= C, I <= I, J <= J, K <= K, L <= M, M <= M, N <= M, O <= unknown, R <= J, T <= D1, D1 <= D1, E1 <= E1] + Applied Processor: AbstractFlow + Details: () * Step 9: Failure MAYBE + Considered Problem: Program: Domain: [tick,huge,K,A,B,C,I,J,K,L,M,N,O,R,T,D1,E1,0.0,0.1] f3.0 ~> f1.2 [K ~=> B,huge ~=> A,huge ~=> C,huge ~=> L,huge ~=> N,huge ~=> O] f3.0 ~> f1.3 [K ~=> B,huge ~=> A,huge ~=> C,huge ~=> L,huge ~=> N,huge ~=> O] f3.0 ~> f1.4 [K ~=> B,huge ~=> A,huge ~=> C,huge ~=> L,huge ~=> N,huge ~=> O] f3.1 ~> f4.10 [huge ~=> A ,huge ~=> B ,huge ~=> C ,huge ~=> J ,huge ~=> L ,huge ~=> M ,huge ~=> N ,huge ~=> O ,huge ~=> R] f1.2 ~> f10.5 [C ~=> J ,C ~=> R ,I ~=> E1 ,N ~=> L ,N ~=> M ,T ~=> K ,huge ~=> A ,huge ~=> B ,huge ~=> C ,huge ~=> O ,T ~+> D1 ,K ~+> D1] f1.2 ~> f10.6 [C ~=> J ,C ~=> R ,I ~=> E1 ,N ~=> L ,N ~=> M ,T ~=> K ,huge ~=> A ,huge ~=> B ,huge ~=> C ,huge ~=> O ,T ~+> D1 ,K ~+> D1] f1.2 ~> f10.7 [C ~=> J ,C ~=> R ,I ~=> E1 ,N ~=> L ,N ~=> M ,T ~=> K ,huge ~=> A ,huge ~=> B ,huge ~=> C ,huge ~=> O ,T ~+> D1 ,K ~+> D1] f1.2 ~> f10.8 [C ~=> J ,C ~=> R ,I ~=> E1 ,N ~=> L ,N ~=> M ,T ~=> K ,huge ~=> A ,huge ~=> B ,huge ~=> C ,huge ~=> O ,T ~+> D1 ,K ~+> D1] f1.3 ~> f10.5 [C ~=> J ,C ~=> R ,I ~=> E1 ,N ~=> L ,N ~=> M ,T ~=> K ,huge ~=> A ,huge ~=> B ,huge ~=> C ,huge ~=> O ,T ~+> D1 ,K ~+> D1] f1.3 ~> f10.6 [C ~=> J ,C ~=> R ,I ~=> E1 ,N ~=> L ,N ~=> M ,T ~=> K ,huge ~=> A ,huge ~=> B ,huge ~=> C ,huge ~=> O ,T ~+> D1 ,K ~+> D1] f1.3 ~> f10.7 [C ~=> J ,C ~=> R ,I ~=> E1 ,N ~=> L ,N ~=> M ,T ~=> K ,huge ~=> A ,huge ~=> B ,huge ~=> C ,huge ~=> O ,T ~+> D1 ,K ~+> D1] f1.3 ~> f10.8 [C ~=> J ,C ~=> R ,I ~=> E1 ,N ~=> L ,N ~=> M ,T ~=> K ,huge ~=> A ,huge ~=> B ,huge ~=> C ,huge ~=> O ,T ~+> D1 ,K ~+> D1] f1.4 ~> f1.2 [A ~=> B,huge ~=> C] f1.4 ~> f1.3 [A ~=> B,huge ~=> C] f1.4 ~> f1.4 [A ~=> B,huge ~=> C] f10.5 ~> f10.5 [D1 ~=> T,J ~=> R,M ~=> L,M ~=> N,huge ~=> O] f10.5 ~> f10.6 [D1 ~=> T,J ~=> R,M ~=> L,M ~=> N,huge ~=> O] f10.5 ~> f10.7 [D1 ~=> T,J ~=> R,M ~=> L,M ~=> N,huge ~=> O] f10.5 ~> f10.8 [D1 ~=> T,J ~=> R,M ~=> L,M ~=> N,huge ~=> O] f10.5 ~> f10.9 [D1 ~=> T,J ~=> R,M ~=> L,M ~=> N,huge ~=> O] f10.6 ~> f10.5 [D1 ~=> T,J ~=> R,M ~=> L,M ~=> N,huge ~=> O] f10.6 ~> f10.6 [D1 ~=> T,J ~=> R,M ~=> L,M ~=> N,huge ~=> O] f10.6 ~> f10.7 [D1 ~=> T,J ~=> R,M ~=> L,M ~=> N,huge ~=> O] f10.6 ~> f10.8 [D1 ~=> T,J ~=> R,M ~=> L,M ~=> N,huge ~=> O] f10.6 ~> f10.9 [D1 ~=> T,J ~=> R,M ~=> L,M ~=> N,huge ~=> O] f10.7 ~> f10.5 [D1 ~=> T,J ~=> R,M ~=> L,M ~=> N,huge ~=> O] f10.7 ~> f10.6 [D1 ~=> T,J ~=> R,M ~=> L,M ~=> N,huge ~=> O] f10.7 ~> f10.7 [D1 ~=> T,J ~=> R,M ~=> L,M ~=> N,huge ~=> O] f10.7 ~> f10.8 [D1 ~=> T,J ~=> R,M ~=> L,M ~=> N,huge ~=> O] f10.7 ~> f10.9 [D1 ~=> T,J ~=> R,M ~=> L,M ~=> N,huge ~=> O] f10.8 ~> f10.5 [D1 ~=> T,J ~=> R,M ~=> L,M ~=> N,huge ~=> O] f10.8 ~> f10.6 [D1 ~=> T,J ~=> R,M ~=> L,M ~=> N,huge ~=> O] f10.8 ~> f10.7 [D1 ~=> T,J ~=> R,M ~=> L,M ~=> N,huge ~=> O] f10.8 ~> f10.8 [D1 ~=> T,J ~=> R,M ~=> L,M ~=> N,huge ~=> O] f10.8 ~> f10.9 [D1 ~=> T,J ~=> R,M ~=> L,M ~=> N,huge ~=> O] f10.9 ~> f4.10 [huge ~=> J,huge ~=> M,huge ~=> O,huge ~=> R] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] f4.10 ~> exitus616 [] + Loop: [A ~+> 0.0,B ~+> 0.0,K ~+> 0.0] f1.4 ~> f1.4 [A ~=> B,huge ~=> C] + Loop: [T ~+> 0.1,K ~+> 0.1] f10.5 ~> f10.5 [D1 ~=> T,J ~=> R,M ~=> L,M ~=> N,huge ~=> O] f10.6 ~> f10.5 [D1 ~=> T,J ~=> R,M ~=> L,M ~=> N,huge ~=> O] f10.5 ~> f10.6 [D1 ~=> T,J ~=> R,M ~=> L,M ~=> N,huge ~=> O] f10.7 ~> f10.5 [D1 ~=> T,J ~=> R,M ~=> L,M ~=> N,huge ~=> O] f10.5 ~> f10.7 [D1 ~=> T,J ~=> R,M ~=> L,M ~=> N,huge ~=> O] f10.8 ~> f10.5 [D1 ~=> T,J ~=> R,M ~=> L,M ~=> N,huge ~=> O] f10.5 ~> f10.8 [D1 ~=> T,J ~=> R,M ~=> L,M ~=> N,huge ~=> O] f10.6 ~> f10.8 [D1 ~=> T,J ~=> R,M ~=> L,M ~=> N,huge ~=> O] f10.6 ~> f10.6 [D1 ~=> T,J ~=> R,M ~=> L,M ~=> N,huge ~=> O] f10.7 ~> f10.6 [D1 ~=> T,J ~=> R,M ~=> L,M ~=> N,huge ~=> O] f10.6 ~> f10.7 [D1 ~=> T,J ~=> R,M ~=> L,M ~=> N,huge ~=> O] f10.8 ~> f10.6 [D1 ~=> T,J ~=> R,M ~=> L,M ~=> N,huge ~=> O] f10.7 ~> f10.8 [D1 ~=> T,J ~=> R,M ~=> L,M ~=> N,huge ~=> O] f10.7 ~> f10.7 [D1 ~=> T,J ~=> R,M ~=> L,M ~=> N,huge ~=> O] f10.8 ~> f10.7 [D1 ~=> T,J ~=> R,M ~=> L,M ~=> N,huge ~=> O] f10.8 ~> f10.8 [D1 ~=> T,J ~=> R,M ~=> L,M ~=> N,huge ~=> O] + Applied Processor: Lare + Details: Unknown bound. MAYBE