traverse2.koat

loading
details
attribute value
description
owner Johannes Waldmann
uploaded 2017-08-17 03:45:04.0
disk size 56.4 KB
downloadable true
type
attribute value
name no_type
processor id 1
description this is the default benchmark type for rejected benchmarks and benchmarks that are not associated with a type.
owning community none
loading contents 
(GOAL COMPLEXITY)
(STARTTERM (FUNCTIONSYMBOLS f0))
(VAR 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)
(RULES
  f16(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) -> Com_1(f16(A,1 + B,D,H2,D,I2,B,I,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,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)) :|: A >= B + 1 && B >= 0
  f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,O2,P2,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)) :|: J >= 0 && H2 >= 2 && 0 >= J2 + 1 && 0 >= K + 1 && 0 >= K2 + 1 && 0 >= L2 + 1
  f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,O2,P2,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)) :|: J >= 0 && H2 >= 2 && 0 >= J2 + 1 && 0 >= K + 1 && 0 >= K2 + 1 && L2 >= 1
  f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,O2,P2,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)) :|: J >= 0 && H2 >= 2 && 0 >= J2 + 1 && 0 >= K + 1 && K2 >= 1 && 0 >= L2 + 1
  f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,O2,P2,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)) :|: J >= 0 && H2 >= 2 && 0 >= J2 + 1 && 0 >= K + 1 && K2 >= 1 && L2 >= 1
  f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,O2,P2,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)) :|: J >= 0 && H2 >= 2 && 0 >= J2 + 1 && K >= 1 && 0 >= K2 + 1 && 0 >= L2 + 1
  f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,O2,P2,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)) :|: J >= 0 && H2 >= 2 && 0 >= J2 + 1 && K >= 1 && 0 >= K2 + 1 && L2 >= 1
  f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,O2,P2,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)) :|: J >= 0 && H2 >= 2 && 0 >= J2 + 1 && K >= 1 && K2 >= 1 && 0 >= L2 + 1
  f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,O2,P2,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)) :|: J >= 0 && H2 >= 2 && 0 >= J2 + 1 && K >= 1 && K2 >= 1 && L2 >= 1
  f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,O2,P2,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)) :|: J >= 0 && H2 >= 2 && J2 >= 1 && 0 >= K + 1 && 0 >= K2 + 1 && 0 >= L2 + 1
  f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,O2,P2,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)) :|: J >= 0 && H2 >= 2 && J2 >= 1 && 0 >= K + 1 && 0 >= K2 + 1 && L2 >= 1
  f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,O2,P2,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)) :|: J >= 0 && H2 >= 2 && J2 >= 1 && 0 >= K + 1 && K2 >= 1 && 0 >= L2 + 1
  f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,O2,P2,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)) :|: J >= 0 && H2 >= 2 && J2 >= 1 && 0 >= K + 1 && K2 >= 1 && L2 >= 1
  f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,O2,P2,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)) :|: J >= 0 && H2 >= 2 && J2 >= 1 && K >= 1 && 0 >= K2 + 1 && 0 >= L2 + 1
  f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,O2,P2,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)) :|: J >= 0 && H2 >= 2 && J2 >= 1 && K >= 1 && 0 >= K2 + 1 && L2 >= 1
  f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,O2,P2,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)) :|: J >= 0 && H2 >= 2 && J2 >= 1 && K >= 1 && K2 >= 1 && 0 >= L2 + 1
  f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,O2,P2,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)) :|: J >= 0 && H2 >= 2 && J2 >= 1 && K >= 1 && K2 >= 1 && L2 >= 1
  f13(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,T,N2,H2,I2,M2,I2,P,Q,1 + T,1,T,O2,I,X,X,P2,J2,K2,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)) :|: R >= H2 && R >= 0 && H2 >= 2 && 0 >= L2 + 1 && 0 >= K + 1 && 0 >= Q2 + 1 && 0 >= R2 + 1 && 0 >= S2 + 1 && S = 1
  f13(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,T,N2,H2,I2,M2,I2,P,Q,1 + T,1,T,O2,I,X,X,P2,J2,K2,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)) :|: R >= H2 && R >= 0 && H2 >= 2 && 0 >= L2 + 1 && 0 >= K + 1 && 0 >= Q2 + 1 && 0 >= R2 + 1 && S2 >= 1 && S = 1
  f13(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,T,N2,H2,I2,M2,I2,P,Q,1 + T,1,T,O2,I,X,X,P2,J2,K2,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)) :|: R >= H2 && R >= 0 && H2 >= 2 && 0 >= L2 + 1 && 0 >= K + 1 && 0 >= Q2 + 1 && R2 >= 1 && 0 >= S2 + 1 && S = 1
  f13(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,T,N2,H2,I2,M2,I2,P,Q,1 + T,1,T,O2,I,X,X,P2,J2,K2,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)) :|: R >= H2 && R >= 0 && H2 >= 2 && 0 >= L2 + 1 && 0 >= K + 1 && 0 >= Q2 + 1 && R2 >= 1 && S2 >= 1 && S = 1
  f13(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,T,N2,H2,I2,M2,I2,P,Q,1 + T,1,T,O2,I,X,X,P2,J2,K2,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)) :|: R >= H2 && R >= 0 && H2 >= 2 && 0 >= L2 + 1 && 0 >= K + 1 && Q2 >= 1 && 0 >= R2 + 1 && 0 >= S2 + 1 && S = 1
  f13(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,T,N2,H2,I2,M2,I2,P,Q,1 + T,1,T,O2,I,X,X,P2,J2,K2,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)) :|: R >= H2 && R >= 0 && H2 >= 2 && 0 >= L2 + 1 && 0 >= K + 1 && Q2 >= 1 && 0 >= R2 + 1 && S2 >= 1 && S = 1
  f13(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,T,N2,H2,I2,M2,I2,P,Q,1 + T,1,T,O2,I,X,X,P2,J2,K2,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)) :|: R >= H2 && R >= 0 && H2 >= 2 && 0 >= L2 + 1 && 0 >= K + 1 && Q2 >= 1 && R2 >= 1 && 0 >= S2 + 1 && S = 1
  f13(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,T,N2,H2,I2,M2,I2,P,Q,1 + T,1,T,O2,I,X,X,P2,J2,K2,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)) :|: R >= H2 && R >= 0 && H2 >= 2 && 0 >= L2 + 1 && 0 >= K + 1 && Q2 >= 1 && R2 >= 1 && S2 >= 1 && S = 1
  f13(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,T,N2,H2,I2,M2,I2,P,Q,1 + T,1,T,O2,I,X,X,P2,J2,K2,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)) :|: R >= H2 && R >= 0 && H2 >= 2 && 0 >= L2 + 1 && K >= 1 && 0 >= Q2 + 1 && 0 >= R2 + 1 && 0 >= S2 + 1 && S = 1
  f13(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,T,N2,H2,I2,M2,I2,P,Q,1 + T,1,T,O2,I,X,X,P2,J2,K2,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)) :|: R >= H2 && R >= 0 && H2 >= 2 && 0 >= L2 + 1 && K >= 1 && 0 >= Q2 + 1 && 0 >= R2 + 1 && S2 >= 1 && S = 1
  f13(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,T,N2,H2,I2,M2,I2,P,Q,1 + T,1,T,O2,I,X,X,P2,J2,K2,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)) :|: R >= H2 && R >= 0 && H2 >= 2 && 0 >= L2 + 1 && K >= 1 && 0 >= Q2 + 1 && R2 >= 1 && 0 >= S2 + 1 && S = 1
  f13(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,T,N2,H2,I2,M2,I2,P,Q,1 + T,1,T,O2,I,X,X,P2,J2,K2,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)) :|: R >= H2 && R >= 0 && H2 >= 2 && 0 >= L2 + 1 && K >= 1 && 0 >= Q2 + 1 && R2 >= 1 && S2 >= 1 && S = 1
  f13(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,T,N2,H2,I2,M2,I2,P,Q,1 + T,1,T,O2,I,X,X,P2,J2,K2,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)) :|: R >= H2 && R >= 0 && H2 >= 2 && 0 >= L2 + 1 && K >= 1 && Q2 >= 1 && 0 >= R2 + 1 && 0 >= S2 + 1 && S = 1
  f13(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,T,N2,H2,I2,M2,I2,P,Q,1 + T,1,T,O2,I,X,X,P2,J2,K2,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)) :|: R >= H2 && R >= 0 && H2 >= 2 && 0 >= L2 + 1 && K >= 1 && Q2 >= 1 && 0 >= R2 + 1 && S2 >= 1 && S = 1
  f13(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,T,N2,H2,I2,M2,I2,P,Q,1 + T,1,T,O2,I,X,X,P2,J2,K2,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)) :|: R >= H2 && R >= 0 && H2 >= 2 && 0 >= L2 + 1 && K >= 1 && Q2 >= 1 && R2 >= 1 && 0 >= S2 + 1 && S = 1
  f13(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,T,N2,H2,I2,M2,I2,P,Q,1 + T,1,T,O2,I,X,X,P2,J2,K2,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)) :|: R >= H2 && R >= 0 && H2 >= 2 && 0 >= L2 + 1 && K >= 1 && Q2 >= 1 && R2 >= 1 && S2 >= 1 && S = 1
  f13(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,T,N2,H2,I2,M2,I2,P,Q,1 + T,1,T,O2,I,X,X,P2,J2,K2,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)) :|: R >= H2 && R >= 0 && H2 >= 2 && L2 >= 1 && 0 >= K + 1 && 0 >= Q2 + 1 && 0 >= R2 + 1 && 0 >= S2 + 1 && S = 1
  f13(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,T,N2,H2,I2,M2,I2,P,Q,1 + T,1,T,O2,I,X,X,P2,J2,K2,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)) :|: R >= H2 && R >= 0 && H2 >= 2 && L2 >= 1 && 0 >= K + 1 && 0 >= Q2 + 1 && 0 >= R2 + 1 && S2 >= 1 && S = 1
  f13(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,T,N2,H2,I2,M2,I2,P,Q,1 + T,1,T,O2,I,X,X,P2,J2,K2,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)) :|: R >= H2 && R >= 0 && H2 >= 2 && L2 >= 1 && 0 >= K + 1 && 0 >= Q2 + 1 && R2 >= 1 && 0 >= S2 + 1 && S = 1
  f13(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,T,N2,H2,I2,M2,I2,P,Q,1 + T,1,T,O2,I,X,X,P2,J2,K2,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)) :|: R >= H2 && R >= 0 && H2 >= 2 && L2 >= 1 && 0 >= K + 1 && 0 >= Q2 + 1 && R2 >= 1 && S2 >= 1 && S = 1
  f13(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,T,N2,H2,I2,M2,I2,P,Q,1 + T,1,T,O2,I,X,X,P2,J2,K2,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)) :|: R >= H2 && R >= 0 && H2 >= 2 && L2 >= 1 && 0 >= K + 1 && Q2 >= 1 && 0 >= R2 + 1 && 0 >= S2 + 1 && S = 1
  f13(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,T,N2,H2,I2,M2,I2,P,Q,1 + T,1,T,O2,I,X,X,P2,J2,K2,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)) :|: R >= H2 && R >= 0 && H2 >= 2 && L2 >= 1 && 0 >= K + 1 && Q2 >= 1 && 0 >= R2 + 1 && S2 >= 1 && S = 1
  f13(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,T,N2,H2,I2,M2,I2,P,Q,1 + T,1,T,O2,I,X,X,P2,J2,K2,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)) :|: R >= H2 && R >= 0 && H2 >= 2 && L2 >= 1 && 0 >= K + 1 && Q2 >= 1 && R2 >= 1 && 0 >= S2 + 1 && S = 1
  f13(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,T,N2,H2,I2,M2,I2,P,Q,1 + T,1,T,O2,I,X,X,P2,J2,K2,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)) :|: R >= H2 && R >= 0 && H2 >= 2 && L2 >= 1 && 0 >= K + 1 && Q2 >= 1 && R2 >= 1 && S2 >= 1 && S = 1
  f13(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,T,N2,H2,I2,M2,I2,P,Q,1 + T,1,T,O2,I,X,X,P2,J2,K2,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)) :|: R >= H2 && R >= 0 && H2 >= 2 && L2 >= 1 && K >= 1 && 0 >= Q2 + 1 && 0 >= R2 + 1 && 0 >= S2 + 1 && S = 1
  f13(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,T,N2,H2,I2,M2,I2,P,Q,1 + T,1,T,O2,I,X,X,P2,J2,K2,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)) :|: R >= H2 && R >= 0 && H2 >= 2 && L2 >= 1 && K >= 1 && 0 >= Q2 + 1 && 0 >= R2 + 1 && S2 >= 1 && S = 1
  f13(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,T,N2,H2,I2,M2,I2,P,Q,1 + T,1,T,O2,I,X,X,P2,J2,K2,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)) :|: R >= H2 && R >= 0 && H2 >= 2 && L2 >= 1 && K >= 1 && 0 >= Q2 + 1 && R2 >= 1 && 0 >= S2 + 1 && S = 1
  f13(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,T,N2,H2,I2,M2,I2,P,Q,1 + T,1,T,O2,I,X,X,P2,J2,K2,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)) :|: R >= H2 && R >= 0 && H2 >= 2 && L2 >= 1 && K >= 1 && 0 >= Q2 + 1 && R2 >= 1 && S2 >= 1 && S = 1
  f13(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,T,N2,H2,I2,M2,I2,P,Q,1 + T,1,T,O2,I,X,X,P2,J2,K2,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)) :|: R >= H2 && R >= 0 && H2 >= 2 && L2 >= 1 && K >= 1 && Q2 >= 1 && 0 >= R2 + 1 && 0 >= S2 + 1 && S = 1
  f13(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,T,N2,H2,I2,M2,I2,P,Q,1 + T,1,T,O2,I,X,X,P2,J2,K2,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)) :|: R >= H2 && R >= 0 && H2 >= 2 && L2 >= 1 && K >= 1 && Q2 >= 1 && 0 >= R2 + 1 && S2 >= 1 && S = 1
  f13(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,T,N2,H2,I2,M2,I2,P,Q,1 + T,1,T,O2,I,X,X,P2,J2,K2,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)) :|: R >= H2 && R >= 0 && H2 >= 2 && L2 >= 1 && K >= 1 && Q2 >= 1 && R2 >= 1 && 0 >= S2 + 1 && S = 1
  f13(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,T,N2,H2,I2,M2,I2,P,Q,1 + T,1,T,O2,I,X,X,P2,J2,K2,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)) :|: R >= H2 && R >= 0 && H2 >= 2 && L2 >= 1 && K >= 1 && Q2 >= 1 && R2 >= 1 && S2 >= 1 && S = 1
  f14(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,P,Q,R,1 + S,-1 + T,O2,V,W,X,Y,Z,A1,P2,I,X,1 + S,-1 + T,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)) :|: S >= 0 && T >= 0 && H2 >= 2 && 0 >= J2 + 1 && 0 >= K + 1 && 0 >= K2 + 1 && 0 >= L2 + 1 && 0 >= Q2 + 1
  f14(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,P,Q,R,1 + S,-1 + T,O2,V,W,X,Y,Z,A1,P2,I,X,1 + S,-1 + T,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)) :|: S >= 0 && T >= 0 && H2 >= 2 && 0 >= J2 + 1 && 0 >= K + 1 && 0 >= K2 + 1 && 0 >= L2 + 1 && Q2 >= 1
  f14(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,P,Q,R,1 + S,-1 + T,O2,V,W,X,Y,Z,A1,P2,I,X,1 + S,-1 + T,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)) :|: S >= 0 && T >= 0 && H2 >= 2 && 0 >= J2 + 1 && 0 >= K + 1 && 0 >= K2 + 1 && L2 >= 1 && 0 >= Q2 + 1
  f14(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,P,Q,R,1 + S,-1 + T,O2,V,W,X,Y,Z,A1,P2,I,X,1 + S,-1 + T,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)) :|: S >= 0 && T >= 0 && H2 >= 2 && 0 >= J2 + 1 && 0 >= K + 1 && 0 >= K2 + 1 && L2 >= 1 && Q2 >= 1
  f14(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,P,Q,R,1 + S,-1 + T,O2,V,W,X,Y,Z,A1,P2,I,X,1 + S,-1 + T,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)) :|: S >= 0 && T >= 0 && H2 >= 2 && 0 >= J2 + 1 && 0 >= K + 1 && K2 >= 1 && 0 >= L2 + 1 && 0 >= Q2 + 1
  f14(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,P,Q,R,1 + S,-1 + T,O2,V,W,X,Y,Z,A1,P2,I,X,1 + S,-1 + T,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)) :|: S >= 0 && T >= 0 && H2 >= 2 && 0 >= J2 + 1 && 0 >= K + 1 && K2 >= 1 && 0 >= L2 + 1 && Q2 >= 1
  f14(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,P,Q,R,1 + S,-1 + T,O2,V,W,X,Y,Z,A1,P2,I,X,1 + S,-1 + T,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)) :|: S >= 0 && T >= 0 && H2 >= 2 && 0 >= J2 + 1 && 0 >= K + 1 && K2 >= 1 && L2 >= 1 && 0 >= Q2 + 1
  f14(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,P,Q,R,1 + S,-1 + T,O2,V,W,X,Y,Z,A1,P2,I,X,1 + S,-1 + T,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)) :|: S >= 0 && T >= 0 && H2 >= 2 && 0 >= J2 + 1 && 0 >= K + 1 && K2 >= 1 && L2 >= 1 && Q2 >= 1
  f14(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,P,Q,R,1 + S,-1 + T,O2,V,W,X,Y,Z,A1,P2,I,X,1 + S,-1 + T,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)) :|: S >= 0 && T >= 0 && H2 >= 2 && 0 >= J2 + 1 && K >= 1 && 0 >= K2 + 1 && 0 >= L2 + 1 && 0 >= Q2 + 1
  f14(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,P,Q,R,1 + S,-1 + T,O2,V,W,X,Y,Z,A1,P2,I,X,1 + S,-1 + T,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)) :|: S >= 0 && T >= 0 && H2 >= 2 && 0 >= J2 + 1 && K >= 1 && 0 >= K2 + 1 && 0 >= L2 + 1 && Q2 >= 1
  f14(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,P,Q,R,1 + S,-1 + T,O2,V,W,X,Y,Z,A1,P2,I,X,1 + S,-1 + T,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)) :|: S >= 0 && T >= 0 && H2 >= 2 && 0 >= J2 + 1 && K >= 1 && 0 >= K2 + 1 && L2 >= 1 && 0 >= Q2 + 1
  f14(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,P,Q,R,1 + S,-1 + T,O2,V,W,X,Y,Z,A1,P2,I,X,1 + S,-1 + T,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)) :|: S >= 0 && T >= 0 && H2 >= 2 && 0 >= J2 + 1 && K >= 1 && 0 >= K2 + 1 && L2 >= 1 && Q2 >= 1
  f14(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,P,Q,R,1 + S,-1 + T,O2,V,W,X,Y,Z,A1,P2,I,X,1 + S,-1 + T,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)) :|: S >= 0 && T >= 0 && H2 >= 2 && 0 >= J2 + 1 && K >= 1 && K2 >= 1 && 0 >= L2 + 1 && 0 >= Q2 + 1
  f14(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,P,Q,R,1 + S,-1 + T,O2,V,W,X,Y,Z,A1,P2,I,X,1 + S,-1 + T,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)) :|: S >= 0 && T >= 0 && H2 >= 2 && 0 >= J2 + 1 && K >= 1 && K2 >= 1 && 0 >= L2 + 1 && Q2 >= 1
  f14(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,P,Q,R,1 + S,-1 + T,O2,V,W,X,Y,Z,A1,P2,I,X,1 + S,-1 + T,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)) :|: S >= 0 && T >= 0 && H2 >= 2 && 0 >= J2 + 1 && K >= 1 && K2 >= 1 && L2 >= 1 && 0 >= Q2 + 1
  f14(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,P,Q,R,1 + S,-1 + T,O2,V,W,X,Y,Z,A1,P2,I,X,1 + S,-1 + T,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)) :|: S >= 0 && T >= 0 && H2 >= 2 && 0 >= J2 + 1 && K >= 1 && K2 >= 1 && L2 >= 1 && Q2 >= 1
  f14(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,P,Q,R,1 + S,-1 + T,O2,V,W,X,Y,Z,A1,P2,I,X,1 + S,-1 + T,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)) :|: S >= 0 && T >= 0 && H2 >= 2 && J2 >= 1 && 0 >= K + 1 && 0 >= K2 + 1 && 0 >= L2 + 1 && 0 >= Q2 + 1
  f14(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,P,Q,R,1 + S,-1 + T,O2,V,W,X,Y,Z,A1,P2,I,X,1 + S,-1 + T,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)) :|: S >= 0 && T >= 0 && H2 >= 2 && J2 >= 1 && 0 >= K + 1 && 0 >= K2 + 1 && 0 >= L2 + 1 && Q2 >= 1
  f14(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,P,Q,R,1 + S,-1 + T,O2,V,W,X,Y,Z,A1,P2,I,X,1 + S,-1 + T,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)) :|: S >= 0 && T >= 0 && H2 >= 2 && J2 >= 1 && 0 >= K + 1 && 0 >= K2 + 1 && L2 >= 1 && 0 >= Q2 + 1
  f14(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,P,Q,R,1 + S,-1 + T,O2,V,W,X,Y,Z,A1,P2,I,X,1 + S,-1 + T,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)) :|: S >= 0 && T >= 0 && H2 >= 2 && J2 >= 1 && 0 >= K + 1 && 0 >= K2 + 1 && L2 >= 1 && Q2 >= 1
  f14(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,P,Q,R,1 + S,-1 + T,O2,V,W,X,Y,Z,A1,P2,I,X,1 + S,-1 + T,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)) :|: S >= 0 && T >= 0 && H2 >= 2 && J2 >= 1 && 0 >= K + 1 && K2 >= 1 && 0 >= L2 + 1 && 0 >= Q2 + 1
  f14(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,P,Q,R,1 + S,-1 + T,O2,V,W,X,Y,Z,A1,P2,I,X,1 + S,-1 + T,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)) :|: S >= 0 && T >= 0 && H2 >= 2 && J2 >= 1 && 0 >= K + 1 && K2 >= 1 && 0 >= L2 + 1 && Q2 >= 1
  f14(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,P,Q,R,1 + S,-1 + T,O2,V,W,X,Y,Z,A1,P2,I,X,1 + S,-1 + T,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)) :|: S >= 0 && T >= 0 && H2 >= 2 && J2 >= 1 && 0 >= K + 1 && K2 >= 1 && L2 >= 1 && 0 >= Q2 + 1
  f14(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,P,Q,R,1 + S,-1 + T,O2,V,W,X,Y,Z,A1,P2,I,X,1 + S,-1 + T,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)) :|: S >= 0 && T >= 0 && H2 >= 2 && J2 >= 1 && 0 >= K + 1 && K2 >= 1 && L2 >= 1 && Q2 >= 1
  f14(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,P,Q,R,1 + S,-1 + T,O2,V,W,X,Y,Z,A1,P2,I,X,1 + S,-1 + T,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)) :|: S >= 0 && T >= 0 && H2 >= 2 && J2 >= 1 && K >= 1 && 0 >= K2 + 1 && 0 >= L2 + 1 && 0 >= Q2 + 1
  f14(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,P,Q,R,1 + S,-1 + T,O2,V,W,X,Y,Z,A1,P2,I,X,1 + S,-1 + T,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)) :|: S >= 0 && T >= 0 && H2 >= 2 && J2 >= 1 && K >= 1 && 0 >= K2 + 1 && 0 >= L2 + 1 && Q2 >= 1
  f14(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,P,Q,R,1 + S,-1 + T,O2,V,W,X,Y,Z,A1,P2,I,X,1 + S,-1 + T,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)) :|: S >= 0 && T >= 0 && H2 >= 2 && J2 >= 1 && K >= 1 && 0 >= K2 + 1 && L2 >= 1 && 0 >= Q2 + 1
  f14(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,P,Q,R,1 + S,-1 + T,O2,V,W,X,Y,Z,A1,P2,I,X,1 + S,-1 + T,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)) :|: S >= 0 && T >= 0 && H2 >= 2 && J2 >= 1 && K >= 1 && 0 >= K2 + 1 && L2 >= 1 && Q2 >= 1
  f14(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,P,Q,R,1 + S,-1 + T,O2,V,W,X,Y,Z,A1,P2,I,X,1 + S,-1 + T,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)) :|: S >= 0 && T >= 0 && H2 >= 2 && J2 >= 1 && K >= 1 && K2 >= 1 && 0 >= L2 + 1 && 0 >= Q2 + 1
  f14(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,P,Q,R,1 + S,-1 + T,O2,V,W,X,Y,Z,A1,P2,I,X,1 + S,-1 + T,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)) :|: S >= 0 && T >= 0 && H2 >= 2 && J2 >= 1 && K >= 1 && K2 >= 1 && 0 >= L2 + 1 && Q2 >= 1
  f14(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,P,Q,R,1 + S,-1 + T,O2,V,W,X,Y,Z,A1,P2,I,X,1 + S,-1 + T,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)) :|: S >= 0 && T >= 0 && H2 >= 2 && J2 >= 1 && K >= 1 && K2 >= 1 && L2 >= 1 && 0 >= Q2 + 1
  f14(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) -> Com_1(f14(A,B,C,D,E,F,G,H,I,J,N2,H2,I2,M2,I2,P,Q,R,1 + S,-1 + T,O2,V,W,X,Y,Z,A1,P2,I,X,1 + S,-1 + T,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)) :|: S >= 0 && T >= 0 && H2 >= 2 && J2 >= 1 && K >= 1 && K2 >= 1 && L2 >= 1 && Q2 >= 1
  f6(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) -> Com_1(f7(A,B,C,D,E,F,G,H,I,J,K,H2,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,0,I2,0,I2,I2,G1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2)) :|: M2 >= G1 + 1 && H1 >= 0 && H2 >= 2 && I2 >= M2 + 1 && 0 >= I2 + 1 && I1 = 0
  f6(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) -> Com_1(f7(A,B,C,D,E,F,G,H,I,J,K,H2,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,0,I2,0,I2,I2,G1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2)) :|: M2 >= G1 + 1 && H1 >= 0 && H2 >= 2 && I2 >= M2 + 1 && I2 >= 1 && I1 = 0
  f6(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) -> Com_1(f7(A,B,C,D,E,F,G,H,I,J,K,H2,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,0,I2,0,I2,I2,G1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2)) :|: M2 >= G1 + 1 && H1 >= 0 && H2 >= 2 && M2 >= I2 + 1 && 0 >= I2 + 1 && I1 = 0
  f6(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) -> Com_1(f7(A,B,C,D,E,F,G,H,I,J,K,H2,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,0,I2,0,I2,I2,G1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2)) :|: M2 >= G1 + 1 && H1 >= 0 && H2 >= 2 && M2 >= I2 + 1 && I2 >= 1 && I1 = 0
  f6(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) -> Com_1(f7(A,B,C,D,E,F,G,H,I,J,K,H2,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,0,I2,0,I2,I2,G1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2)) :|: G1 >= M2 + 1 && H1 >= 0 && H2 >= 2 && I2 >= M2 + 1 && 0 >= I2 + 1 && I1 = 0
  f6(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) -> Com_1(f7(A,B,C,D,E,F,G,H,I,J,K,H2,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,0,I2,0,I2,I2,G1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2)) :|: G1 >= M2 + 1 && H1 >= 0 && H2 >= 2 && I2 >= M2 + 1 && I2 >= 1 && I1 = 0
  f6(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) -> Com_1(f7(A,B,C,D,E,F,G,H,I,J,K,H2,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,0,I2,0,I2,I2,G1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2)) :|: G1 >= M2 + 1 && H1 >= 0 && H2 >= 2 && M2 >= I2 + 1 && 0 >= I2 + 1 && I1 = 0
  f6(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) -> Com_1(f7(A,B,C,D,E,F,G,H,I,J,K,H2,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,0,I2,0,I2,I2,G1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2)) :|: G1 >= M2 + 1 && H1 >= 0 && H2 >= 2 && M2 >= I2 + 1 && I2 >= 1 && I1 = 0
  f6(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) -> Com_1(f1(A,B,C,D,E,F,G,H,I,J,K,H2,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,J2,H1,P2,M2,N2,O2,K2,L2,I2,Q2,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2)) :|: H1 >= 0 && 0 >= Q2 + 1 && H2 >= 2 && I1 = G1
  f6(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) -> Com_1(f1(A,B,C,D,E,F,G,H,I,J,K,H2,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,J2,H1,P2,M2,N2,O2,K2,L2,I2,Q2,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2)) :|: H1 >= 0 && Q2 >= 1 && H2 >= 2 && I1 = G1
  f7(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) -> Com_1(f7(A,B,C,D,E,F,G,H,I,J,K,H2,M,N,O,P,Q,R,S,T,M2,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,0,I2,0,I2,I2,G1,O1,P1,-1 + Q1,I,-1 + Q1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2)) :|: N2 >= G1 + 1 && Q1 >= 0 && H2 >= 2 && I2 >= N2 + 1 && 0 >= I2 + 1 && I1 = 0
  f7(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) -> Com_1(f7(A,B,C,D,E,F,G,H,I,J,K,H2,M,N,O,P,Q,R,S,T,M2,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,0,I2,0,I2,I2,G1,O1,P1,-1 + Q1,I,-1 + Q1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2)) :|: N2 >= G1 + 1 && Q1 >= 0 && H2 >= 2 && I2 >= N2 + 1 && I2 >= 1 && I1 = 0
  f7(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) -> Com_1(f7(A,B,C,D,E,F,G,H,I,J,K,H2,M,N,O,P,Q,R,S,T,M2,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,0,I2,0,I2,I2,G1,O1,P1,-1 + Q1,I,-1 + Q1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2)) :|: N2 >= G1 + 1 && Q1 >= 0 && H2 >= 2 && N2 >= I2 + 1 && 0 >= I2 + 1 && I1 = 0
  f7(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) -> Com_1(f7(A,B,C,D,E,F,G,H,I,J,K,H2,M,N,O,P,Q,R,S,T,M2,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,0,I2,0,I2,I2,G1,O1,P1,-1 + Q1,I,-1 + Q1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2)) :|: N2 >= G1 + 1 && Q1 >= 0 && H2 >= 2 && N2 >= I2 + 1 && I2 >= 1 && I1 = 0
  f7(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) -> Com_1(f7(A,B,C,D,E,F,G,H,I,J,K,H2,M,N,O,P,Q,R,S,T,M2,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,0,I2,0,I2,I2,G1,O1,P1,-1 + Q1,I,-1 + Q1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2)) :|: G1 >= N2 + 1 && Q1 >= 0 && H2 >= 2 && I2 >= N2 + 1 && 0 >= I2 + 1 && I1 = 0
popout

content may be truncated. 'popout' for larger text window.

actions get anonymous link download benchmark