warning: Ignored call to f0/149 in equation f16/149 
warning: Ignored call to loop_cont_f34/149 in equation f19/149 
warning: Ignored call to loop_cont_f34/149 in equation f50/149 
warning: Ignored call to loop_cont_f34/149 in equation f33/149 
warning: Ignored call to loop_cont_f34/149 in equation f10/149 
warning: Ignored call to loop_cont_f34/149 in equation f1/149 
warning: Ignored call to loop_cont_f34/149 in equation f2/149 
warning: Ignored call to loop_cont_f34/149 in equation f16/149 
warning: Ignored call to loop_cont_f34/149 in equation loop_cont_f35/149 
warning: Ignored call to loop_cont_f34/149 in equation loop_cont_f36/149 
Warning: the following predicates are never called:[f1/149,f10/149,f16/149,f19/149,f2/149,f33/149,f33/299,f38/299,f50/149]
Warning: no base case found for predicate
Warning: no base case found for predicate
Warning: no base case found for predicate
Inferred cost of f35(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6,I6,J6,K6,L6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7,B7,C7,D7,E7,F7,G7,H7,I7,J7,K7,L7,M7,N7,O7,P7,Q7,R7,S7,T7,U7,V7,W7,X7,Y7,Z7,A8,B8,C8,D8,E8,F8,G8,H8,I8,J8,K8,L8,M8,N8,O8,P8,Q8,R8,S8,T8,U8,V8,W8,X8,Y8,Z8,A9,B9,C9,D9,E9,F9,G9,H9,I9,J9,K9,L9,M9,N9,O9,P9,Q9,R9,S9,T9,U9,V9,W9,X9,Y9,Z9,A10,B10,C10,D10,E10,F10,G10,H10,I10,J10,K10,L10,M10,N10,O10,P10,Q10,R10,S10,T10,U10,V10,W10,X10,Y10,Z10,A11,B11,C11,D11,E11,F11,G11,H11,I11,J11,K11,L11,M11): 
f35(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6,I6,J6,K6,L6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7,B7,C7,D7,E7,F7,G7,H7,I7,J7,K7,L7,M7,N7,O7,P7,Q7,R7,S7,T7,U7,V7,W7,X7,Y7,Z7,A8,B8,C8,D8,E8,F8,G8,H8,I8,J8,K8,L8,M8,N8,O8,P8,Q8,R8,S8,T8,U8,V8,W8,X8,Y8,Z8,A9,B9,C9,D9,E9,F9,G9,H9,I9,J9,K9,L9,M9,N9,O9,P9,Q9,R9,S9,T9,U9,V9,W9,X9,Y9,Z9,A10,B10,C10,D10,E10,F10,G10,H10,I10,J10,K10,L10,M10,N10,O10,P10,Q10,R10,S10,T10,U10,V10,W10,X10,Y10,Z10,A11,B11,C11,D11,E11,F11,G11,H11,I11,J11,K11,L11,M11):[26]: 1
  with precondition: [T5=0,U5=A,V5=B,W5=C,G6=M,H6=N,I6=O,K6=Q,L6=R,M6=S,N6=T,O6=U,R6=X,S6=Y,T6=Z,U6=A1,V6=B1,W6=C1,Z6=F1,A7=G1,B7=H1,C7=I1,D7=J1,E7=K1,F7=L1,G7=M1,H7=N1,I7=O1,K7=Q1,L7=R1,M7=S1,N7=T1,O7=U1,P7=V1,Q7=W1,R7=X1,S7=Y1,T7=Z1,U7=A2,V7=B2,W7=C2,X7=D2,Y7=E2,A8=G2,E8=K2,F8=L2,G8=M2,H8=N2,I8=O2,J8=P2,L8=R2,M8=S2,P8=V2,Q8=W2,R8=X2,S8=Y2,T8=Z2,U8=A3,V8=B3,W8=C3,X8=D3,Y8=E3,Z8=F3,A9=G3,B9=H3,C9=I3,D9=J3,E9=K3,F9=L3,G9=M3,H9=N3,I9=O3,N9=T3,O9=U3,P9=V3,Q9=W3,R9=X3,S9=Y3,T9=Z3,U9=A4,V9=B4,W9=C4,X9=D4,Y9=E4,Z9=F4,E10=K4,W+1=O4,J10=P4,K10=Q4,L10=R4,M10=S4,N10=T4,O10=U4,P10=V4,Q10=W4,R10=X4,S10=Y4,T10=Z4,U10=A5,V10=B5,W10=C5,X10=D5,A11=G5,B11=H5,C11=I5,D11=J5,E11=K5,W+1=L5,G=M5,D=P5,E=Q5,P3=X5,Q3=Y5,W+1=Z5,S3=A6,W=Q6+1,W+1=J7,F2=Z7,H2=B8,I2=C8,J2=D8,Q2=K8,D6=O8,P3=J9,Q3=K9,R3=L9,S3=M9,G4=A10,H4=B10,I4=C10,J4=D10,L4=F10,D6=H10,W+1=I10,E5=Y10,F5=Z10,W+1=F11,G=G11,N5=H11,O5=I11,D=J11,E=K11,R5=L11,S5=M11,B6+W=D6,C6+W=D6,G>=1,W>=1,F2>=1,H2>=1,S3>=1,F5>=1,D>=E+1,I2>=J2+1,F6>=Q2+1,P3>=Q3+1,P6>=R3+1,G4>=H4+1,I4>=J4+1,Y6>=L4+1,E5>=N5+1,V>=O5+1,R5>=S5+1] 

f35(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6,I6,J6,K6,L6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7,B7,C7,D7,E7,F7,G7,H7,I7,J7,K7,L7,M7,N7,O7,P7,Q7,R7,S7,T7,U7,V7,W7,X7,Y7,Z7,A8,B8,C8,D8,E8,F8,G8,H8,I8,J8,K8,L8,M8,N8,O8,P8,Q8,R8,S8,T8,U8,V8,W8,X8,Y8,Z8,A9,B9,C9,D9,E9,F9,G9,H9,I9,J9,K9,L9,M9,N9,O9,P9,Q9,R9,S9,T9,U9,V9,W9,X9,Y9,Z9,A10,B10,C10,D10,E10,F10,G10,H10,I10,J10,K10,L10,M10,N10,O10,P10,Q10,R10,S10,T10,U10,V10,W10,X10,Y10,Z10,A11,B11,C11,D11,E11,F11,G11,H11,I11,J11,K11,L11,M11):[27]: 0
  with precondition: [T5=1,U5=A,V5=B,W5=C,Z5=F,B6=H,C6=I,D6=J,E6=K,F6=L,G6=M,H6=N,I6=O,J6=P,K6=Q,L6=R,M6=S,N6=T,O6=U,R6=X,S6=Y,T6=Z,U6=A1,V6=B1,W6=C1,X6=D1,Y6=E1,Z6=F1,A7=G1,B7=H1,C7=I1,D7=J1,E7=K1,F7=L1,G7=M1,H7=N1,I7=O1,J7=P1,K7=Q1,L7=R1,M7=S1,N7=T1,O7=U1,P7=V1,Q7=W1,R7=X1,S7=Y1,T7=Z1,U7=A2,V7=B2,W7=C2,X7=D2,Y7=E2,Z7=F2,A8=G2,B8=H2,C8=I2,D8=J2,E8=K2,F8=L2,G8=M2,H8=N2,I8=O2,J8=P2,K8=Q2,L8=R2,M8=S2,N8=T2,O8=U2,P8=V2,Q8=W2,R8=X2,S8=Y2,T8=Z2,U8=A3,V8=B3,W8=C3,X8=D3,Y8=E3,Z8=F3,A9=G3,B9=H3,C9=I3,D9=J3,E9=K3,F9=L3,G9=M3,H9=N3,I9=O3,J9=P3,K9=Q3,L9=R3,M9=S3,N9=T3,O9=U3,P9=V3,Q9=W3,R9=X3,S9=Y3,T9=Z3,U9=A4,V9=B4,W9=C4,X9=D4,Y9=E4,Z9=F4,A10=G4,B10=H4,C10=I4,D10=J4,E10=K4,F10=L4,G10=M4,H10=N4,W+1=O4,J10=P4,K10=Q4,L10=R4,M10=S4,N10=T4,O10=U4,P10=V4,Q10=W4,R10=X4,S10=Y4,T10=Z4,U10=A5,V10=B5,W10=C5,X10=D5,A11=G5,B11=H5,C11=I5,D11=J5,E11=K5,W+1=L5,G=M5,D=P5,E=Q5,D=X5,E=Y5,G=A6,V=P6,W=Q6,W+1=I10,E5=Y10,F5=Z10,W+1=F11,G=G11,N5=H11,O5=I11,D=J11,E=K11,R5=L11,S5=M11,G>=1,W>=0,F5>=1,D>=E+1,E5>=N5+1,V>=O5+1,R5>=S5+1] 

f35(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6,I6,J6,K6,L6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7,B7,C7,D7,E7,F7,G7,H7,I7,J7,K7,L7,M7,N7,O7,P7,Q7,R7,S7,T7,U7,V7,W7,X7,Y7,Z7,A8,B8,C8,D8,E8,F8,G8,H8,I8,J8,K8,L8,M8,N8,O8,P8,Q8,R8,S8,T8,U8,V8,W8,X8,Y8,Z8,A9,B9,C9,D9,E9,F9,G9,H9,I9,J9,K9,L9,M9,N9,O9,P9,Q9,R9,S9,T9,U9,V9,W9,X9,Y9,Z9,A10,B10,C10,D10,E10,F10,G10,H10,I10,J10,K10,L10,M10,N10,O10,P10,Q10,R10,S10,T10,U10,V10,W10,X10,Y10,Z10,A11,B11,C11,D11,E11,F11,G11,H11,I11,J11,K11,L11,M11):[28]: 1
  with precondition: [W=0,O4=1,L5=1,T5=1,A6=0,I10=1,F11=1,U5=A,V5=B,W5=C,Z5=F,B6=H,C6=I,D6=J,G6=M,H6=N,I6=O,J6=P,K6=Q,L6=R,M6=S,N6=T,O6=U,R6=X,S6=Y,T6=Z,U6=A1,V6=B1,W6=C1,Z6=F1,A7=G1,C7=I1,D7=J1,E7=K1,F7=L1,G7=M1,H7=N1,I7=O1,J7=P1,K7=Q1,L7=R1,M7=S1,N7=T1,O7=U1,P7=V1,Q7=W1,R7=X1,S7=Y1,T7=Z1,U7=A2,V7=B2,W7=C2,X7=D2,Y7=E2,A8=G2,I8=O2,P8=V2,Q8=W2,R8=X2,S8=Y2,T8=Z2,U8=A3,V8=B3,W8=C3,X8=D3,Y8=E3,Z8=F3,A9=G3,B9=H3,C9=I3,D9=J3,E9=K3,F9=L3,G9=M3,H9=N3,I9=O3,J9=P3,K9=Q3,L9=R3,M9=S3,N9=T3,O9=U3,P9=V3,Q9=W3,R9=X3,S9=Y3,T9=Z3,U9=A4,V9=B4,W9=C4,X9=D4,Y9=E4,Z9=F4,A10=G4,B10=H4,C10=I4,D10=J4,E10=K4,F10=L4,G10=M4,H10=N4,J10=P4,K10=Q4,L10=R4,M10=S4,N10=T4,O10=U4,P10=V4,Q10=W4,R10=X4,S10=Y4,T10=Z4,U10=A5,V10=B5,W10=C5,X10=D5,A11=G5,B11=H5,C11=I5,D11=J5,E11=K5,G=M5,D=P5,E=Q5,V=P6,F2=Z7,H2=B8,I2=C8,J2=D8,K2=E8,L2=F8,M2=G8,N2=H8,P2=J8,Q2=K8,E5=Y10,F5=Z10,G=G11,N5=H11,O5=I11,D=J11,E=K11,R5=L11,S5=M11,0>=Q6,G>=1,F2>=1,H2>=1,F5>=1,D>=E+1,I2>=J2+1,K2>=L2+1,M2>=N2+1,Y6>=P2+1,F6>=Q2+1,E5>=N5+1,V>=O5+1,R5>=S5+1] 

f35(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6,I6,J6,K6,L6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7,B7,C7,D7,E7,F7,G7,H7,I7,J7,K7,L7,M7,N7,O7,P7,Q7,R7,S7,T7,U7,V7,W7,X7,Y7,Z7,A8,B8,C8,D8,E8,F8,G8,H8,I8,J8,K8,L8,M8,N8,O8,P8,Q8,R8,S8,T8,U8,V8,W8,X8,Y8,Z8,A9,B9,C9,D9,E9,F9,G9,H9,I9,J9,K9,L9,M9,N9,O9,P9,Q9,R9,S9,T9,U9,V9,W9,X9,Y9,Z9,A10,B10,C10,D10,E10,F10,G10,H10,I10,J10,K10,L10,M10,N10,O10,P10,Q10,R10,S10,T10,U10,V10,W10,X10,Y10,Z10,A11,B11,C11,D11,E11,F11,G11,H11,I11,J11,K11,L11,M11):[[25],27]: inf
  with precondition: [T5=1,W+1=O4,W+1=L5,A=U5,B=V5,C=W5,D2=X5,E2=Y5,F=Z5,C2=A6,H=B6,I=C6,J=D6,K=E6,L=F6,M=G6,N=H6,O=I6,S=M6,T=N6,U=O6,V=P6,W=Q6,X=R6,Y=S6,Z=T6,A1=U6,B1=V6,C1=W6,D1=X6,E1=Y6,F1=Z6,G1=A7,H1=B7,I1=C7,J1=D7,K1=E7,L1=F7,M1=G7,N1=H7,O1=I7,P1=J7,Q1=K7,R1=L7,S1=M7,T1=N7,U1=O7,V1=P7,W1=Q7,X1=R7,Y1=S7,Z1=T7,A2=U7,B2=V7,C2=W7,D2=X7,E2=Y7,F2=Z7,G2=A8,H2=B8,I2=C8,J2=D8,K2=E8,L2=F8,M2=G8,N2=H8,O2=I8,P2=J8,Q2=K8,R2=L8,S2=M8,T2=N8,U2=O8,V2=P8,W2=Q8,X2=R8,Y2=S8,Z2=T8,A3=U8,B3=V8,C3=W8,D3=X8,E3=Y8,F3=Z8,G3=A9,H3=B9,I3=C9,J3=D9,K3=E9,L3=F9,M3=G9,N3=H9,O3=I9,P3=J9,Q3=K9,R3=L9,S3=M9,T3=N9,U3=O9,V3=P9,W3=Q9,X3=R9,Y3=S9,Z3=T9,A4=U9,B4=V9,C4=W9,D4=X9,E4=Y9,F4=Z9,G4=A10,H4=B10,I4=C10,J4=D10,K4=E10,L4=F10,M4=G10,N4=H10,W+1=I10,P4=J10,Q4=K10,R4=L10,S4=M10,T4=N10,U4=O10,V4=P10,W4=Q10,X4=R10,Y4=S10,Z4=T10,A5=U10,B5=V10,C5=W10,D5=X10,E5=Y10,F5=Z10,G5=A11,H5=B11,I5=C11,J5=D11,K5=E11,W+1=F11,M5=G11,N5=H11,O5=I11,P5=J11,Q5=K11,R5=L11,S5=M11,0>=F2,G>=1,W>=0,C2>=1,F5>=1,M5>=1,D>=E+1,D2>=E2+1,L6>=G2+1,E5>=N5+1,V>=O5+1,P5>=Q5+1,R5>=S5+1] 

f35(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6,I6,J6,K6,L6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7,B7,C7,D7,E7,F7,G7,H7,I7,J7,K7,L7,M7,N7,O7,P7,Q7,R7,S7,T7,U7,V7,W7,X7,Y7,Z7,A8,B8,C8,D8,E8,F8,G8,H8,I8,J8,K8,L8,M8,N8,O8,P8,Q8,R8,S8,T8,U8,V8,W8,X8,Y8,Z8,A9,B9,C9,D9,E9,F9,G9,H9,I9,J9,K9,L9,M9,N9,O9,P9,Q9,R9,S9,T9,U9,V9,W9,X9,Y9,Z9,A10,B10,C10,D10,E10,F10,G10,H10,I10,J10,K10,L10,M10,N10,O10,P10,Q10,R10,S10,T10,U10,V10,W10,X10,Y10,Z10,A11,B11,C11,D11,E11,F11,G11,H11,I11,J11,K11,L11,M11):[[25],29]...: inf
  with precondition: [L5=W+1,L5=O4,0>=F2,1>=T5,G>=1,C2>=1,F5>=1,L5>=1,M5>=1,T5>=0,D>=E+1,D2>=E2+1,E5>=N5+1,V>=O5+1,P5>=Q5+1,R5>=S5+1]