NO * Step 1: TrivialSCCs NO + Considered Problem: Rules: 0. f0(A,B,C,D,E,F,G,H,I,J) -> f15(1,4,K,0,L,0,0,0,0,0) [K >= 0 && L >= 0] (1,1) 1. f15(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,C,1 + D,E,0,0,0,0,0) [1 + -1*I >= 0 (?,1) && 1 + H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && 1 + G + -1*I >= 0 && 1 + F + -1*I >= 0 && 2 + -1*F + -1*I >= 0 && 1 + E + -1*I >= 0 && 1 + D + -1*I >= 0 && 2 + -1*D + -1*I >= 0 && 1 + C + -1*I >= 0 && -1*I + J >= 0 && A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && 4 + -1*B + E >= 0 && E + J >= 0 && -1 + A + E >= 0 && 1 + -1*A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && 0 >= D && 0 >= C && B >= 1 && I = 0] 2. f15(A,B,C,D,E,F,G,H,I,J) -> f36(A,-1 + B,C,0,E,K,0,0,0,0) [1 + -1*I >= 0 (?,1) && 1 + H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && 1 + G + -1*I >= 0 && 1 + F + -1*I >= 0 && 2 + -1*F + -1*I >= 0 && 1 + E + -1*I >= 0 && 1 + D + -1*I >= 0 && 2 + -1*D + -1*I >= 0 && 1 + C + -1*I >= 0 && -1*I + J >= 0 && A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && 4 + -1*B + E >= 0 && E + J >= 0 && -1 + A + E >= 0 && 1 + -1*A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K && I = 0] 3. f15(A,B,C,D,E,F,G,H,I,J) -> f36(1 + A,4 + A,K,0,E,L,0,0,0,0) [1 + -1*I >= 0 (?,1) && 1 + H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && 1 + G + -1*I >= 0 && 1 + F + -1*I >= 0 && 2 + -1*F + -1*I >= 0 && 1 + E + -1*I >= 0 && 1 + D + -1*I >= 0 && 2 + -1*D + -1*I >= 0 && 1 + C + -1*I >= 0 && -1*I + J >= 0 && A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && 4 + -1*B + E >= 0 && E + J >= 0 && -1 + A + E >= 0 && 1 + -1*A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && 0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0 && I = 0] 4. f15(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,-1 + C,D,E,K,0,0,0,0) [1 + -1*I >= 0 (?,1) && 1 + H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && 1 + G + -1*I >= 0 && 1 + F + -1*I >= 0 && 2 + -1*F + -1*I >= 0 && 1 + E + -1*I >= 0 && 1 + D + -1*I >= 0 && 2 + -1*D + -1*I >= 0 && 1 + C + -1*I >= 0 && -1*I + J >= 0 && A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && 4 + -1*B + E >= 0 && E + J >= 0 && -1 + A + E >= 0 && 1 + -1*A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && C >= 1 && 1 >= K && K >= 0 && I = 0] 5. f36(A,B,C,D,E,F,G,H,I,J) -> f78(A,B,C,D,E,F,G,H,I,J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && 1 + -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && E + J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && 1 + -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && 0 >= H && J >= 1 + E] 6. f36(A,B,C,D,E,F,G,H,I,J) -> f78(A,B,C,D,E,F,G,H,I,J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && 1 + -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && E + J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && 1 + -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && H >= 1] 7. f36(A,B,C,D,E,F,G,H,I,J) -> f48(A,B,C,1 + D,E,F,0,H,I,J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && 1 + -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && E + J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && 1 + -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && E >= J && 0 >= H && 0 >= D && 0 >= C && B >= 1] 8. f36(A,B,C,D,E,F,G,H,I,J) -> f48(A,-1 + B,C,0,E,F,K,H,I,J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && 1 + -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && E + J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && 1 + -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && E >= J && 0 >= H && D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K] 9. f36(A,B,C,D,E,F,G,H,I,J) -> f48(1 + A,4 + A,K,0,E,F,L,H,I,J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && 1 + -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && E + J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && 1 + -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && E >= J && 0 >= H && 0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0] 10. f36(A,B,C,D,E,F,G,H,I,J) -> f48(A,B,-1 + C,D,E,F,K,H,I,J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && 1 + -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && E + J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && 1 + -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && E >= J && 0 >= H && C >= 1 && 1 >= K && K >= 0] 11. f48(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,C,D,E,F,G,H,I,1 + J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && -1*H + -1*I >= 0 && G + -1*I >= 0 && 1 + -1*G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && -1*H + I >= 0 && G + I >= 0 && 1 + -1*G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && -1*H >= 0 && G + -1*H >= 0 && 1 + -1*G + -1*H >= 0 && F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && E + -1*H >= 0 && D + -1*H >= 0 && 1 + -1*D + -1*H >= 0 && C + -1*H >= 0 && -1*H + J >= 0 && -1 + A + -1*H >= 0 && H >= 0 && G + H >= 0 && 1 + -1*G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && 1 + -1*G >= 0 && 1 + F + -1*G >= 0 && 2 + -1*F + -1*G >= 0 && 1 + E + -1*G >= 0 && 1 + D + -1*G >= 0 && 2 + -1*D + -1*G >= 0 && 1 + C + -1*G >= 0 && 1 + -1*G + J >= 0 && A + -1*G >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && 1 + -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && E + J >= 0 && E + -1*J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && 1 + -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && 1 + E >= A && 0 >= G] 12. f48(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,C,D,E,F,G,H,I,1 + J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && -1*H + -1*I >= 0 && G + -1*I >= 0 && 1 + -1*G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && -1*H + I >= 0 && G + I >= 0 && 1 + -1*G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && -1*H >= 0 && G + -1*H >= 0 && 1 + -1*G + -1*H >= 0 && F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && E + -1*H >= 0 && D + -1*H >= 0 && 1 + -1*D + -1*H >= 0 && C + -1*H >= 0 && -1*H + J >= 0 && -1 + A + -1*H >= 0 && H >= 0 && G + H >= 0 && 1 + -1*G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && 1 + -1*G >= 0 && 1 + F + -1*G >= 0 && 2 + -1*F + -1*G >= 0 && 1 + E + -1*G >= 0 && 1 + D + -1*G >= 0 && 2 + -1*D + -1*G >= 0 && 1 + C + -1*G >= 0 && 1 + -1*G + J >= 0 && A + -1*G >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && 1 + -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && E + J >= 0 && E + -1*J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && 1 + -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && G >= 1 && 1 + E >= A && F >= 1] 13. f48(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,C,1 + D,E,F,G,0,I,1 + J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && -1*H + -1*I >= 0 && G + -1*I >= 0 && 1 + -1*G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && -1*H + I >= 0 && G + I >= 0 && 1 + -1*G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && -1*H >= 0 && G + -1*H >= 0 && 1 + -1*G + -1*H >= 0 && F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && E + -1*H >= 0 && D + -1*H >= 0 && 1 + -1*D + -1*H >= 0 && C + -1*H >= 0 && -1*H + J >= 0 && -1 + A + -1*H >= 0 && H >= 0 && G + H >= 0 && 1 + -1*G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && 1 + -1*G >= 0 && 1 + F + -1*G >= 0 && 2 + -1*F + -1*G >= 0 && 1 + E + -1*G >= 0 && 1 + D + -1*G >= 0 && 2 + -1*D + -1*G >= 0 && 1 + C + -1*G >= 0 && 1 + -1*G + J >= 0 && A + -1*G >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && 1 + -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && E + J >= 0 && E + -1*J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && 1 + -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && G >= 1 && 0 >= F && 1 + E >= A && 0 >= D && 0 >= C && B >= 1] 14. f48(A,B,C,D,E,F,G,H,I,J) -> f36(A,-1 + B,C,0,E,F,G,K,I,1 + J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && -1*H + -1*I >= 0 && G + -1*I >= 0 && 1 + -1*G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && -1*H + I >= 0 && G + I >= 0 && 1 + -1*G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && -1*H >= 0 && G + -1*H >= 0 && 1 + -1*G + -1*H >= 0 && F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && E + -1*H >= 0 && D + -1*H >= 0 && 1 + -1*D + -1*H >= 0 && C + -1*H >= 0 && -1*H + J >= 0 && -1 + A + -1*H >= 0 && H >= 0 && G + H >= 0 && 1 + -1*G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && 1 + -1*G >= 0 && 1 + F + -1*G >= 0 && 2 + -1*F + -1*G >= 0 && 1 + E + -1*G >= 0 && 1 + D + -1*G >= 0 && 2 + -1*D + -1*G >= 0 && 1 + C + -1*G >= 0 && 1 + -1*G + J >= 0 && A + -1*G >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && 1 + -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && E + J >= 0 && E + -1*J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && 1 + -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && G >= 1 && 0 >= F && 1 + E >= A && D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K] 15. f48(A,B,C,D,E,F,G,H,I,J) -> f36(1 + A,4 + A,K,0,E,F,G,L,I,1 + J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && -1*H + -1*I >= 0 && G + -1*I >= 0 && 1 + -1*G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && -1*H + I >= 0 && G + I >= 0 && 1 + -1*G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && -1*H >= 0 && G + -1*H >= 0 && 1 + -1*G + -1*H >= 0 && F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && E + -1*H >= 0 && D + -1*H >= 0 && 1 + -1*D + -1*H >= 0 && C + -1*H >= 0 && -1*H + J >= 0 && -1 + A + -1*H >= 0 && H >= 0 && G + H >= 0 && 1 + -1*G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && 1 + -1*G >= 0 && 1 + F + -1*G >= 0 && 2 + -1*F + -1*G >= 0 && 1 + E + -1*G >= 0 && 1 + D + -1*G >= 0 && 2 + -1*D + -1*G >= 0 && 1 + C + -1*G >= 0 && 1 + -1*G + J >= 0 && A + -1*G >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && 1 + -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && E + J >= 0 && E + -1*J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && 1 + -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && G >= 1 && 0 >= F && E >= A && 0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0] 16. f48(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,-1 + C,D,E,F,G,K,I,1 + J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && -1*H + -1*I >= 0 && G + -1*I >= 0 && 1 + -1*G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && -1*H + I >= 0 && G + I >= 0 && 1 + -1*G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && -1*H >= 0 && G + -1*H >= 0 && 1 + -1*G + -1*H >= 0 && F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && E + -1*H >= 0 && D + -1*H >= 0 && 1 + -1*D + -1*H >= 0 && C + -1*H >= 0 && -1*H + J >= 0 && -1 + A + -1*H >= 0 && H >= 0 && G + H >= 0 && 1 + -1*G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && 1 + -1*G >= 0 && 1 + F + -1*G >= 0 && 2 + -1*F + -1*G >= 0 && 1 + E + -1*G >= 0 && 1 + D + -1*G >= 0 && 2 + -1*D + -1*G >= 0 && 1 + C + -1*G >= 0 && 1 + -1*G + J >= 0 && A + -1*G >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && 1 + -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && E + J >= 0 && E + -1*J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && 1 + -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && G >= 1 && 0 >= F && 1 + E >= A && C >= 1 && 1 >= K && K >= 0] 17. f78(A,B,C,D,E,F,G,H,I,J) -> f15(A,B,C,D,E,F,G,H,I,J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1 + -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && -1 + I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && -1 + H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && -1 + G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && -1 + F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && -1 + E + J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && -1 + D + J >= 0 && -1 + A + D >= 0 && C >= 0 && -1 + C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && -1 + J >= 0 && -2 + A + J >= 0 && -1 + A >= 0 && 1 + E >= A && H >= 1] 18. f78(A,B,C,D,E,F,G,H,I,J) -> f15(A,B,C,D,E,F,G,H,1,J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1 + -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && -1 + I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && -1 + H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && -1 + G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && -1 + F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && -1 + E + J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && -1 + D + J >= 0 && -1 + A + D >= 0 && C >= 0 && -1 + C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && -1 + J >= 0 && -2 + A + J >= 0 && -1 + A >= 0 && 1 + E >= A && 0 >= H] 19. f15(A,B,C,D,E,F,G,H,I,J) -> f83(A,B,C,D,E,F,G,H,I,J) [1 + -1*I >= 0 (?,1) && 1 + H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && 1 + G + -1*I >= 0 && 1 + F + -1*I >= 0 && 2 + -1*F + -1*I >= 0 && 1 + E + -1*I >= 0 && 1 + D + -1*I >= 0 && 2 + -1*D + -1*I >= 0 && 1 + C + -1*I >= 0 && -1*I + J >= 0 && A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && 4 + -1*B + E >= 0 && E + J >= 0 && -1 + A + E >= 0 && 1 + -1*A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && I >= 1] Signature: {(f0,10);(f15,10);(f36,10);(f48,10);(f78,10);(f83,10)} Flow Graph: [0->{1,2,3,4,19},1->{5,6,7,8,9,10},2->{5,6,7,8,9,10},3->{5,6,7,8,9,10},4->{5,6,7,8,9,10},5->{17,18},6->{17 ,18},7->{11,12,13,14,15,16},8->{11,12,13,14,15,16},9->{11,12,13,14,15,16},10->{11,12,13,14,15,16},11->{5,6,7 ,8,9,10},12->{5,6,7,8,9,10},13->{5,6,7,8,9,10},14->{5,6,7,8,9,10},15->{5,6,7,8,9,10},16->{5,6,7,8,9,10} ,17->{1,2,3,4,19},18->{1,2,3,4,19},19->{}] + Applied Processor: TrivialSCCs + Details: All trivial SCCs of the transition graph admit timebound 1. * Step 2: UnsatPaths NO + Considered Problem: Rules: 0. f0(A,B,C,D,E,F,G,H,I,J) -> f15(1,4,K,0,L,0,0,0,0,0) [K >= 0 && L >= 0] (1,1) 1. f15(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,C,1 + D,E,0,0,0,0,0) [1 + -1*I >= 0 (?,1) && 1 + H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && 1 + G + -1*I >= 0 && 1 + F + -1*I >= 0 && 2 + -1*F + -1*I >= 0 && 1 + E + -1*I >= 0 && 1 + D + -1*I >= 0 && 2 + -1*D + -1*I >= 0 && 1 + C + -1*I >= 0 && -1*I + J >= 0 && A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && 4 + -1*B + E >= 0 && E + J >= 0 && -1 + A + E >= 0 && 1 + -1*A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && 0 >= D && 0 >= C && B >= 1 && I = 0] 2. f15(A,B,C,D,E,F,G,H,I,J) -> f36(A,-1 + B,C,0,E,K,0,0,0,0) [1 + -1*I >= 0 (?,1) && 1 + H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && 1 + G + -1*I >= 0 && 1 + F + -1*I >= 0 && 2 + -1*F + -1*I >= 0 && 1 + E + -1*I >= 0 && 1 + D + -1*I >= 0 && 2 + -1*D + -1*I >= 0 && 1 + C + -1*I >= 0 && -1*I + J >= 0 && A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && 4 + -1*B + E >= 0 && E + J >= 0 && -1 + A + E >= 0 && 1 + -1*A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K && I = 0] 3. f15(A,B,C,D,E,F,G,H,I,J) -> f36(1 + A,4 + A,K,0,E,L,0,0,0,0) [1 + -1*I >= 0 (?,1) && 1 + H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && 1 + G + -1*I >= 0 && 1 + F + -1*I >= 0 && 2 + -1*F + -1*I >= 0 && 1 + E + -1*I >= 0 && 1 + D + -1*I >= 0 && 2 + -1*D + -1*I >= 0 && 1 + C + -1*I >= 0 && -1*I + J >= 0 && A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && 4 + -1*B + E >= 0 && E + J >= 0 && -1 + A + E >= 0 && 1 + -1*A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && 0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0 && I = 0] 4. f15(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,-1 + C,D,E,K,0,0,0,0) [1 + -1*I >= 0 (?,1) && 1 + H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && 1 + G + -1*I >= 0 && 1 + F + -1*I >= 0 && 2 + -1*F + -1*I >= 0 && 1 + E + -1*I >= 0 && 1 + D + -1*I >= 0 && 2 + -1*D + -1*I >= 0 && 1 + C + -1*I >= 0 && -1*I + J >= 0 && A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && 4 + -1*B + E >= 0 && E + J >= 0 && -1 + A + E >= 0 && 1 + -1*A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && C >= 1 && 1 >= K && K >= 0 && I = 0] 5. f36(A,B,C,D,E,F,G,H,I,J) -> f78(A,B,C,D,E,F,G,H,I,J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && 1 + -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && E + J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && 1 + -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && 0 >= H && J >= 1 + E] 6. f36(A,B,C,D,E,F,G,H,I,J) -> f78(A,B,C,D,E,F,G,H,I,J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && 1 + -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && E + J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && 1 + -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && H >= 1] 7. f36(A,B,C,D,E,F,G,H,I,J) -> f48(A,B,C,1 + D,E,F,0,H,I,J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && 1 + -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && E + J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && 1 + -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && E >= J && 0 >= H && 0 >= D && 0 >= C && B >= 1] 8. f36(A,B,C,D,E,F,G,H,I,J) -> f48(A,-1 + B,C,0,E,F,K,H,I,J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && 1 + -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && E + J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && 1 + -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && E >= J && 0 >= H && D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K] 9. f36(A,B,C,D,E,F,G,H,I,J) -> f48(1 + A,4 + A,K,0,E,F,L,H,I,J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && 1 + -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && E + J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && 1 + -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && E >= J && 0 >= H && 0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0] 10. f36(A,B,C,D,E,F,G,H,I,J) -> f48(A,B,-1 + C,D,E,F,K,H,I,J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && 1 + -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && E + J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && 1 + -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && E >= J && 0 >= H && C >= 1 && 1 >= K && K >= 0] 11. f48(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,C,D,E,F,G,H,I,1 + J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && -1*H + -1*I >= 0 && G + -1*I >= 0 && 1 + -1*G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && -1*H + I >= 0 && G + I >= 0 && 1 + -1*G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && -1*H >= 0 && G + -1*H >= 0 && 1 + -1*G + -1*H >= 0 && F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && E + -1*H >= 0 && D + -1*H >= 0 && 1 + -1*D + -1*H >= 0 && C + -1*H >= 0 && -1*H + J >= 0 && -1 + A + -1*H >= 0 && H >= 0 && G + H >= 0 && 1 + -1*G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && 1 + -1*G >= 0 && 1 + F + -1*G >= 0 && 2 + -1*F + -1*G >= 0 && 1 + E + -1*G >= 0 && 1 + D + -1*G >= 0 && 2 + -1*D + -1*G >= 0 && 1 + C + -1*G >= 0 && 1 + -1*G + J >= 0 && A + -1*G >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && 1 + -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && E + J >= 0 && E + -1*J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && 1 + -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && 1 + E >= A && 0 >= G] 12. f48(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,C,D,E,F,G,H,I,1 + J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && -1*H + -1*I >= 0 && G + -1*I >= 0 && 1 + -1*G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && -1*H + I >= 0 && G + I >= 0 && 1 + -1*G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && -1*H >= 0 && G + -1*H >= 0 && 1 + -1*G + -1*H >= 0 && F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && E + -1*H >= 0 && D + -1*H >= 0 && 1 + -1*D + -1*H >= 0 && C + -1*H >= 0 && -1*H + J >= 0 && -1 + A + -1*H >= 0 && H >= 0 && G + H >= 0 && 1 + -1*G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && 1 + -1*G >= 0 && 1 + F + -1*G >= 0 && 2 + -1*F + -1*G >= 0 && 1 + E + -1*G >= 0 && 1 + D + -1*G >= 0 && 2 + -1*D + -1*G >= 0 && 1 + C + -1*G >= 0 && 1 + -1*G + J >= 0 && A + -1*G >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && 1 + -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && E + J >= 0 && E + -1*J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && 1 + -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && G >= 1 && 1 + E >= A && F >= 1] 13. f48(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,C,1 + D,E,F,G,0,I,1 + J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && -1*H + -1*I >= 0 && G + -1*I >= 0 && 1 + -1*G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && -1*H + I >= 0 && G + I >= 0 && 1 + -1*G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && -1*H >= 0 && G + -1*H >= 0 && 1 + -1*G + -1*H >= 0 && F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && E + -1*H >= 0 && D + -1*H >= 0 && 1 + -1*D + -1*H >= 0 && C + -1*H >= 0 && -1*H + J >= 0 && -1 + A + -1*H >= 0 && H >= 0 && G + H >= 0 && 1 + -1*G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && 1 + -1*G >= 0 && 1 + F + -1*G >= 0 && 2 + -1*F + -1*G >= 0 && 1 + E + -1*G >= 0 && 1 + D + -1*G >= 0 && 2 + -1*D + -1*G >= 0 && 1 + C + -1*G >= 0 && 1 + -1*G + J >= 0 && A + -1*G >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && 1 + -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && E + J >= 0 && E + -1*J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && 1 + -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && G >= 1 && 0 >= F && 1 + E >= A && 0 >= D && 0 >= C && B >= 1] 14. f48(A,B,C,D,E,F,G,H,I,J) -> f36(A,-1 + B,C,0,E,F,G,K,I,1 + J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && -1*H + -1*I >= 0 && G + -1*I >= 0 && 1 + -1*G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && -1*H + I >= 0 && G + I >= 0 && 1 + -1*G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && -1*H >= 0 && G + -1*H >= 0 && 1 + -1*G + -1*H >= 0 && F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && E + -1*H >= 0 && D + -1*H >= 0 && 1 + -1*D + -1*H >= 0 && C + -1*H >= 0 && -1*H + J >= 0 && -1 + A + -1*H >= 0 && H >= 0 && G + H >= 0 && 1 + -1*G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && 1 + -1*G >= 0 && 1 + F + -1*G >= 0 && 2 + -1*F + -1*G >= 0 && 1 + E + -1*G >= 0 && 1 + D + -1*G >= 0 && 2 + -1*D + -1*G >= 0 && 1 + C + -1*G >= 0 && 1 + -1*G + J >= 0 && A + -1*G >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && 1 + -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && E + J >= 0 && E + -1*J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && 1 + -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && G >= 1 && 0 >= F && 1 + E >= A && D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K] 15. f48(A,B,C,D,E,F,G,H,I,J) -> f36(1 + A,4 + A,K,0,E,F,G,L,I,1 + J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && -1*H + -1*I >= 0 && G + -1*I >= 0 && 1 + -1*G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && -1*H + I >= 0 && G + I >= 0 && 1 + -1*G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && -1*H >= 0 && G + -1*H >= 0 && 1 + -1*G + -1*H >= 0 && F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && E + -1*H >= 0 && D + -1*H >= 0 && 1 + -1*D + -1*H >= 0 && C + -1*H >= 0 && -1*H + J >= 0 && -1 + A + -1*H >= 0 && H >= 0 && G + H >= 0 && 1 + -1*G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && 1 + -1*G >= 0 && 1 + F + -1*G >= 0 && 2 + -1*F + -1*G >= 0 && 1 + E + -1*G >= 0 && 1 + D + -1*G >= 0 && 2 + -1*D + -1*G >= 0 && 1 + C + -1*G >= 0 && 1 + -1*G + J >= 0 && A + -1*G >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && 1 + -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && E + J >= 0 && E + -1*J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && 1 + -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && G >= 1 && 0 >= F && E >= A && 0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0] 16. f48(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,-1 + C,D,E,F,G,K,I,1 + J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && -1*H + -1*I >= 0 && G + -1*I >= 0 && 1 + -1*G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && -1*H + I >= 0 && G + I >= 0 && 1 + -1*G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && -1*H >= 0 && G + -1*H >= 0 && 1 + -1*G + -1*H >= 0 && F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && E + -1*H >= 0 && D + -1*H >= 0 && 1 + -1*D + -1*H >= 0 && C + -1*H >= 0 && -1*H + J >= 0 && -1 + A + -1*H >= 0 && H >= 0 && G + H >= 0 && 1 + -1*G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && 1 + -1*G >= 0 && 1 + F + -1*G >= 0 && 2 + -1*F + -1*G >= 0 && 1 + E + -1*G >= 0 && 1 + D + -1*G >= 0 && 2 + -1*D + -1*G >= 0 && 1 + C + -1*G >= 0 && 1 + -1*G + J >= 0 && A + -1*G >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && 1 + -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && E + J >= 0 && E + -1*J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && 1 + -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && G >= 1 && 0 >= F && 1 + E >= A && C >= 1 && 1 >= K && K >= 0] 17. f78(A,B,C,D,E,F,G,H,I,J) -> f15(A,B,C,D,E,F,G,H,I,J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1 + -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && -1 + I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && -1 + H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && -1 + G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && -1 + F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && -1 + E + J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && -1 + D + J >= 0 && -1 + A + D >= 0 && C >= 0 && -1 + C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && -1 + J >= 0 && -2 + A + J >= 0 && -1 + A >= 0 && 1 + E >= A && H >= 1] 18. f78(A,B,C,D,E,F,G,H,I,J) -> f15(A,B,C,D,E,F,G,H,1,J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1 + -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && -1 + I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && -1 + H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && -1 + G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && -1 + F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && -1 + E + J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && -1 + D + J >= 0 && -1 + A + D >= 0 && C >= 0 && -1 + C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && -1 + J >= 0 && -2 + A + J >= 0 && -1 + A >= 0 && 1 + E >= A && 0 >= H] 19. f15(A,B,C,D,E,F,G,H,I,J) -> f83(A,B,C,D,E,F,G,H,I,J) [1 + -1*I >= 0 (1,1) && 1 + H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && 1 + G + -1*I >= 0 && 1 + F + -1*I >= 0 && 2 + -1*F + -1*I >= 0 && 1 + E + -1*I >= 0 && 1 + D + -1*I >= 0 && 2 + -1*D + -1*I >= 0 && 1 + C + -1*I >= 0 && -1*I + J >= 0 && A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && 4 + -1*B + E >= 0 && E + J >= 0 && -1 + A + E >= 0 && 1 + -1*A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && I >= 1] Signature: {(f0,10);(f15,10);(f36,10);(f48,10);(f78,10);(f83,10)} Flow Graph: [0->{1,2,3,4,19},1->{5,6,7,8,9,10},2->{5,6,7,8,9,10},3->{5,6,7,8,9,10},4->{5,6,7,8,9,10},5->{17,18},6->{17 ,18},7->{11,12,13,14,15,16},8->{11,12,13,14,15,16},9->{11,12,13,14,15,16},10->{11,12,13,14,15,16},11->{5,6,7 ,8,9,10},12->{5,6,7,8,9,10},13->{5,6,7,8,9,10},14->{5,6,7,8,9,10},15->{5,6,7,8,9,10},16->{5,6,7,8,9,10} ,17->{1,2,3,4,19},18->{1,2,3,4,19},19->{}] + Applied Processor: UnsatPaths + Details: We remove following edges from the transition graph: [(0,2) ,(0,3) ,(0,19) ,(1,5) ,(1,6) ,(1,7) ,(1,9) ,(1,10) ,(2,5) ,(2,6) ,(2,8) ,(2,10) ,(3,5) ,(3,6) ,(3,8) ,(3,9) ,(4,5) ,(4,6) ,(5,17) ,(6,18) ,(7,12) ,(7,13) ,(7,14) ,(7,15) ,(7,16) ,(8,14) ,(8,16) ,(9,14) ,(9,15) ,(11,6) ,(12,6) ,(13,6) ,(13,7) ,(13,9) ,(13,10) ,(14,8) ,(14,10) ,(15,8) ,(15,9) ,(17,19) ,(18,1) ,(18,2) ,(18,3) ,(18,4)] * Step 3: Looptree NO + Considered Problem: Rules: 0. f0(A,B,C,D,E,F,G,H,I,J) -> f15(1,4,K,0,L,0,0,0,0,0) [K >= 0 && L >= 0] (1,1) 1. f15(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,C,1 + D,E,0,0,0,0,0) [1 + -1*I >= 0 (?,1) && 1 + H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && 1 + G + -1*I >= 0 && 1 + F + -1*I >= 0 && 2 + -1*F + -1*I >= 0 && 1 + E + -1*I >= 0 && 1 + D + -1*I >= 0 && 2 + -1*D + -1*I >= 0 && 1 + C + -1*I >= 0 && -1*I + J >= 0 && A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && 4 + -1*B + E >= 0 && E + J >= 0 && -1 + A + E >= 0 && 1 + -1*A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && 0 >= D && 0 >= C && B >= 1 && I = 0] 2. f15(A,B,C,D,E,F,G,H,I,J) -> f36(A,-1 + B,C,0,E,K,0,0,0,0) [1 + -1*I >= 0 (?,1) && 1 + H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && 1 + G + -1*I >= 0 && 1 + F + -1*I >= 0 && 2 + -1*F + -1*I >= 0 && 1 + E + -1*I >= 0 && 1 + D + -1*I >= 0 && 2 + -1*D + -1*I >= 0 && 1 + C + -1*I >= 0 && -1*I + J >= 0 && A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && 4 + -1*B + E >= 0 && E + J >= 0 && -1 + A + E >= 0 && 1 + -1*A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K && I = 0] 3. f15(A,B,C,D,E,F,G,H,I,J) -> f36(1 + A,4 + A,K,0,E,L,0,0,0,0) [1 + -1*I >= 0 (?,1) && 1 + H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && 1 + G + -1*I >= 0 && 1 + F + -1*I >= 0 && 2 + -1*F + -1*I >= 0 && 1 + E + -1*I >= 0 && 1 + D + -1*I >= 0 && 2 + -1*D + -1*I >= 0 && 1 + C + -1*I >= 0 && -1*I + J >= 0 && A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && 4 + -1*B + E >= 0 && E + J >= 0 && -1 + A + E >= 0 && 1 + -1*A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && 0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0 && I = 0] 4. f15(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,-1 + C,D,E,K,0,0,0,0) [1 + -1*I >= 0 (?,1) && 1 + H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && 1 + G + -1*I >= 0 && 1 + F + -1*I >= 0 && 2 + -1*F + -1*I >= 0 && 1 + E + -1*I >= 0 && 1 + D + -1*I >= 0 && 2 + -1*D + -1*I >= 0 && 1 + C + -1*I >= 0 && -1*I + J >= 0 && A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && 4 + -1*B + E >= 0 && E + J >= 0 && -1 + A + E >= 0 && 1 + -1*A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && C >= 1 && 1 >= K && K >= 0 && I = 0] 5. f36(A,B,C,D,E,F,G,H,I,J) -> f78(A,B,C,D,E,F,G,H,I,J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && 1 + -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && E + J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && 1 + -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && 0 >= H && J >= 1 + E] 6. f36(A,B,C,D,E,F,G,H,I,J) -> f78(A,B,C,D,E,F,G,H,I,J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && 1 + -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && E + J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && 1 + -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && H >= 1] 7. f36(A,B,C,D,E,F,G,H,I,J) -> f48(A,B,C,1 + D,E,F,0,H,I,J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && 1 + -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && E + J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && 1 + -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && E >= J && 0 >= H && 0 >= D && 0 >= C && B >= 1] 8. f36(A,B,C,D,E,F,G,H,I,J) -> f48(A,-1 + B,C,0,E,F,K,H,I,J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && 1 + -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && E + J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && 1 + -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && E >= J && 0 >= H && D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K] 9. f36(A,B,C,D,E,F,G,H,I,J) -> f48(1 + A,4 + A,K,0,E,F,L,H,I,J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && 1 + -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && E + J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && 1 + -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && E >= J && 0 >= H && 0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0] 10. f36(A,B,C,D,E,F,G,H,I,J) -> f48(A,B,-1 + C,D,E,F,K,H,I,J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && 1 + -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && E + J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && 1 + -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && E >= J && 0 >= H && C >= 1 && 1 >= K && K >= 0] 11. f48(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,C,D,E,F,G,H,I,1 + J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && -1*H + -1*I >= 0 && G + -1*I >= 0 && 1 + -1*G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && -1*H + I >= 0 && G + I >= 0 && 1 + -1*G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && -1*H >= 0 && G + -1*H >= 0 && 1 + -1*G + -1*H >= 0 && F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && E + -1*H >= 0 && D + -1*H >= 0 && 1 + -1*D + -1*H >= 0 && C + -1*H >= 0 && -1*H + J >= 0 && -1 + A + -1*H >= 0 && H >= 0 && G + H >= 0 && 1 + -1*G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && 1 + -1*G >= 0 && 1 + F + -1*G >= 0 && 2 + -1*F + -1*G >= 0 && 1 + E + -1*G >= 0 && 1 + D + -1*G >= 0 && 2 + -1*D + -1*G >= 0 && 1 + C + -1*G >= 0 && 1 + -1*G + J >= 0 && A + -1*G >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && 1 + -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && E + J >= 0 && E + -1*J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && 1 + -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && 1 + E >= A && 0 >= G] 12. f48(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,C,D,E,F,G,H,I,1 + J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && -1*H + -1*I >= 0 && G + -1*I >= 0 && 1 + -1*G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && -1*H + I >= 0 && G + I >= 0 && 1 + -1*G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && -1*H >= 0 && G + -1*H >= 0 && 1 + -1*G + -1*H >= 0 && F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && E + -1*H >= 0 && D + -1*H >= 0 && 1 + -1*D + -1*H >= 0 && C + -1*H >= 0 && -1*H + J >= 0 && -1 + A + -1*H >= 0 && H >= 0 && G + H >= 0 && 1 + -1*G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && 1 + -1*G >= 0 && 1 + F + -1*G >= 0 && 2 + -1*F + -1*G >= 0 && 1 + E + -1*G >= 0 && 1 + D + -1*G >= 0 && 2 + -1*D + -1*G >= 0 && 1 + C + -1*G >= 0 && 1 + -1*G + J >= 0 && A + -1*G >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && 1 + -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && E + J >= 0 && E + -1*J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && 1 + -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && G >= 1 && 1 + E >= A && F >= 1] 13. f48(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,C,1 + D,E,F,G,0,I,1 + J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && -1*H + -1*I >= 0 && G + -1*I >= 0 && 1 + -1*G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && -1*H + I >= 0 && G + I >= 0 && 1 + -1*G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && -1*H >= 0 && G + -1*H >= 0 && 1 + -1*G + -1*H >= 0 && F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && E + -1*H >= 0 && D + -1*H >= 0 && 1 + -1*D + -1*H >= 0 && C + -1*H >= 0 && -1*H + J >= 0 && -1 + A + -1*H >= 0 && H >= 0 && G + H >= 0 && 1 + -1*G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && 1 + -1*G >= 0 && 1 + F + -1*G >= 0 && 2 + -1*F + -1*G >= 0 && 1 + E + -1*G >= 0 && 1 + D + -1*G >= 0 && 2 + -1*D + -1*G >= 0 && 1 + C + -1*G >= 0 && 1 + -1*G + J >= 0 && A + -1*G >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && 1 + -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && E + J >= 0 && E + -1*J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && 1 + -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && G >= 1 && 0 >= F && 1 + E >= A && 0 >= D && 0 >= C && B >= 1] 14. f48(A,B,C,D,E,F,G,H,I,J) -> f36(A,-1 + B,C,0,E,F,G,K,I,1 + J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && -1*H + -1*I >= 0 && G + -1*I >= 0 && 1 + -1*G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && -1*H + I >= 0 && G + I >= 0 && 1 + -1*G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && -1*H >= 0 && G + -1*H >= 0 && 1 + -1*G + -1*H >= 0 && F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && E + -1*H >= 0 && D + -1*H >= 0 && 1 + -1*D + -1*H >= 0 && C + -1*H >= 0 && -1*H + J >= 0 && -1 + A + -1*H >= 0 && H >= 0 && G + H >= 0 && 1 + -1*G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && 1 + -1*G >= 0 && 1 + F + -1*G >= 0 && 2 + -1*F + -1*G >= 0 && 1 + E + -1*G >= 0 && 1 + D + -1*G >= 0 && 2 + -1*D + -1*G >= 0 && 1 + C + -1*G >= 0 && 1 + -1*G + J >= 0 && A + -1*G >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && 1 + -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && E + J >= 0 && E + -1*J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && 1 + -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && G >= 1 && 0 >= F && 1 + E >= A && D >= 1 && 0 >= C && K >= 0 && B >= 1 && 1 >= K] 15. f48(A,B,C,D,E,F,G,H,I,J) -> f36(1 + A,4 + A,K,0,E,F,G,L,I,1 + J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && -1*H + -1*I >= 0 && G + -1*I >= 0 && 1 + -1*G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && -1*H + I >= 0 && G + I >= 0 && 1 + -1*G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && -1*H >= 0 && G + -1*H >= 0 && 1 + -1*G + -1*H >= 0 && F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && E + -1*H >= 0 && D + -1*H >= 0 && 1 + -1*D + -1*H >= 0 && C + -1*H >= 0 && -1*H + J >= 0 && -1 + A + -1*H >= 0 && H >= 0 && G + H >= 0 && 1 + -1*G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && 1 + -1*G >= 0 && 1 + F + -1*G >= 0 && 2 + -1*F + -1*G >= 0 && 1 + E + -1*G >= 0 && 1 + D + -1*G >= 0 && 2 + -1*D + -1*G >= 0 && 1 + C + -1*G >= 0 && 1 + -1*G + J >= 0 && A + -1*G >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && 1 + -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && E + J >= 0 && E + -1*J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && 1 + -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && G >= 1 && 0 >= F && E >= A && 0 >= C && L >= 0 && 1 >= L && 0 >= B && K >= 0] 16. f48(A,B,C,D,E,F,G,H,I,J) -> f36(A,B,-1 + C,D,E,F,G,K,I,1 + J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && -1*H + -1*I >= 0 && G + -1*I >= 0 && 1 + -1*G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && -1*H + I >= 0 && G + I >= 0 && 1 + -1*G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && -1*H >= 0 && G + -1*H >= 0 && 1 + -1*G + -1*H >= 0 && F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && E + -1*H >= 0 && D + -1*H >= 0 && 1 + -1*D + -1*H >= 0 && C + -1*H >= 0 && -1*H + J >= 0 && -1 + A + -1*H >= 0 && H >= 0 && G + H >= 0 && 1 + -1*G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && 1 + -1*G >= 0 && 1 + F + -1*G >= 0 && 2 + -1*F + -1*G >= 0 && 1 + E + -1*G >= 0 && 1 + D + -1*G >= 0 && 2 + -1*D + -1*G >= 0 && 1 + C + -1*G >= 0 && 1 + -1*G + J >= 0 && A + -1*G >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && 1 + -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && E + J >= 0 && E + -1*J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && 1 + -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && G >= 1 && 0 >= F && 1 + E >= A && C >= 1 && 1 >= K && K >= 0] 17. f78(A,B,C,D,E,F,G,H,I,J) -> f15(A,B,C,D,E,F,G,H,I,J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1 + -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && -1 + I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && -1 + H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && -1 + G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && -1 + F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && -1 + E + J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && -1 + D + J >= 0 && -1 + A + D >= 0 && C >= 0 && -1 + C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && -1 + J >= 0 && -2 + A + J >= 0 && -1 + A >= 0 && 1 + E >= A && H >= 1] 18. f78(A,B,C,D,E,F,G,H,I,J) -> f15(A,B,C,D,E,F,G,H,1,J) [-1*I >= 0 (?,1) && H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && G + -1*I >= 0 && F + -1*I >= 0 && 1 + -1*F + -1*I >= 0 && E + -1*I >= 0 && D + -1*I >= 0 && 1 + -1*D + -1*I >= 0 && C + -1*I >= 0 && -1 + -1*I + J >= 0 && -1 + A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && 1 + -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && -1 + I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && -1 + H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && -1 + G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && -1 + F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && -1 + E + J >= 0 && -1 + A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && -1 + D + J >= 0 && -1 + A + D >= 0 && C >= 0 && -1 + C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && -1 + J >= 0 && -2 + A + J >= 0 && -1 + A >= 0 && 1 + E >= A && 0 >= H] 19. f15(A,B,C,D,E,F,G,H,I,J) -> f83(A,B,C,D,E,F,G,H,I,J) [1 + -1*I >= 0 (1,1) && 1 + H + -1*I >= 0 && 1 + -1*H + -1*I >= 0 && 1 + G + -1*I >= 0 && 1 + F + -1*I >= 0 && 2 + -1*F + -1*I >= 0 && 1 + E + -1*I >= 0 && 1 + D + -1*I >= 0 && 2 + -1*D + -1*I >= 0 && 1 + C + -1*I >= 0 && -1*I + J >= 0 && A + -1*I >= 0 && I >= 0 && H + I >= 0 && 1 + -1*H + I >= 0 && G + I >= 0 && F + I >= 0 && -1*F + I >= 0 && E + I >= 0 && D + I >= 0 && 1 + -1*D + I >= 0 && C + I >= 0 && I + J >= 0 && -1 + A + I >= 0 && 1 + -1*H >= 0 && G + -1*H >= 0 && 1 + F + -1*H >= 0 && 1 + -1*F + -1*H >= 0 && 1 + E + -1*H >= 0 && 1 + D + -1*H >= 0 && 2 + -1*D + -1*H >= 0 && 1 + C + -1*H >= 0 && -1*H + J >= 0 && A + -1*H >= 0 && H >= 0 && G + H >= 0 && F + H >= 0 && 1 + -1*F + H >= 0 && E + H >= 0 && D + H >= 0 && 1 + -1*D + H >= 0 && C + H >= 0 && H + J >= 0 && -1 + A + H >= 0 && -1*G + J >= 0 && G >= 0 && F + G >= 0 && 1 + -1*F + G >= 0 && E + G >= 0 && D + G >= 0 && 1 + -1*D + G >= 0 && C + G >= 0 && G + J >= 0 && -1 + A + G >= 0 && 1 + -1*F >= 0 && 1 + E + -1*F >= 0 && 1 + D + -1*F >= 0 && 2 + -1*D + -1*F >= 0 && 1 + C + -1*F >= 0 && -1*F + J >= 0 && A + -1*F >= 0 && F >= 0 && E + F >= 0 && D + F >= 0 && 1 + -1*D + F >= 0 && C + F >= 0 && F + J >= 0 && -1 + A + F >= 0 && E >= 0 && D + E >= 0 && 1 + -1*D + E >= 0 && C + E >= 0 && 4 + -1*B + E >= 0 && E + J >= 0 && -1 + A + E >= 0 && 1 + -1*A + E >= 0 && 1 + -1*D >= 0 && 1 + C + -1*D >= 0 && -1*D + J >= 0 && A + -1*D >= 0 && D >= 0 && C + D >= 0 && D + J >= 0 && -1 + A + D >= 0 && C >= 0 && C + J >= 0 && -1 + A + C >= 0 && 3 + A + -1*B >= 0 && J >= 0 && -1 + A + J >= 0 && -1 + A >= 0 && I >= 1] Signature: {(f0,10);(f15,10);(f36,10);(f48,10);(f78,10);(f83,10)} Flow Graph: [0->{1,4},1->{8},2->{7,9},3->{7,10},4->{7,8,9,10},5->{18},6->{17},7->{11},8->{11,12,13,15},9->{11,12,13 ,16},10->{11,12,13,14,15,16},11->{5,7,8,9,10},12->{5,7,8,9,10},13->{5,8},14->{5,6,7,9},15->{5,6,7,10},16->{5 ,6,7,8,9,10},17->{1,2,3,4},18->{19},19->{}] + Applied Processor: Looptree + 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] | `- p:[1,17,6,14,10,3,4,11,7,2,12,8,13,9,16,15] c: [15] | `- p:[1,17,6,14,10,3,4,11,7,2,12,8,13,9,16] c: [3] | `- p:[1,17,6,14,10,4,11,7,2,12,8,13,9,16] c: [] NO