destroy_seg_leak.koat

loading
details
attribute value
description
owner Johannes Waldmann
uploaded 2017-08-17 03:45:04.0
disk size 125.22 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 f11))
(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)
(RULES
  f5(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) -> Com_1(f12(N1,M1,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)) :|: 0 >= M1
  f9(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) -> Com_1(f9(A,B,C,1 + D,F,N1,F,M1,D,K,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)) :|: C >= D + 1 && D >= 0
  f19(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,U1,L,T1,N1,M1,Q,Q,L,N1,M1,-1 + T1,V1,U1,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: O1 >= L + 1 && M >= 0 && P1 >= 2 && M1 >= O1 + 1 && M1 >= Q1 + 1 && R1 >= 1 && M1 >= S1 + 1
  f19(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,U1,L,T1,N1,M1,Q,Q,L,N1,M1,-1 + T1,V1,U1,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: O1 >= L + 1 && M >= 0 && P1 >= 2 && M1 >= O1 + 1 && M1 >= Q1 + 1 && R1 >= 1 && S1 >= M1 + 1
  f19(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,U1,L,T1,N1,M1,Q,Q,L,N1,M1,-1 + T1,V1,U1,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: O1 >= L + 1 && M >= 0 && P1 >= 2 && M1 >= O1 + 1 && M1 >= Q1 + 1 && 0 >= R1 + 1 && M1 >= S1 + 1
  f19(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,U1,L,T1,N1,M1,Q,Q,L,N1,M1,-1 + T1,V1,U1,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: O1 >= L + 1 && M >= 0 && P1 >= 2 && M1 >= O1 + 1 && M1 >= Q1 + 1 && 0 >= R1 + 1 && S1 >= M1 + 1
  f19(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,U1,L,T1,N1,M1,Q,Q,L,N1,M1,-1 + T1,V1,U1,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: O1 >= L + 1 && M >= 0 && P1 >= 2 && M1 >= O1 + 1 && Q1 >= M1 + 1 && R1 >= 1 && M1 >= S1 + 1
  f19(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,U1,L,T1,N1,M1,Q,Q,L,N1,M1,-1 + T1,V1,U1,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: O1 >= L + 1 && M >= 0 && P1 >= 2 && M1 >= O1 + 1 && Q1 >= M1 + 1 && R1 >= 1 && S1 >= M1 + 1
  f19(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,U1,L,T1,N1,M1,Q,Q,L,N1,M1,-1 + T1,V1,U1,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: O1 >= L + 1 && M >= 0 && P1 >= 2 && M1 >= O1 + 1 && Q1 >= M1 + 1 && 0 >= R1 + 1 && M1 >= S1 + 1
  f19(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,U1,L,T1,N1,M1,Q,Q,L,N1,M1,-1 + T1,V1,U1,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: O1 >= L + 1 && M >= 0 && P1 >= 2 && M1 >= O1 + 1 && Q1 >= M1 + 1 && 0 >= R1 + 1 && S1 >= M1 + 1
  f19(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,U1,L,T1,N1,M1,Q,Q,L,N1,M1,-1 + T1,V1,U1,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: O1 >= L + 1 && M >= 0 && P1 >= 2 && O1 >= M1 + 1 && M1 >= Q1 + 1 && R1 >= 1 && M1 >= S1 + 1
  f19(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,U1,L,T1,N1,M1,Q,Q,L,N1,M1,-1 + T1,V1,U1,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: O1 >= L + 1 && M >= 0 && P1 >= 2 && O1 >= M1 + 1 && M1 >= Q1 + 1 && R1 >= 1 && S1 >= M1 + 1
  f19(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,U1,L,T1,N1,M1,Q,Q,L,N1,M1,-1 + T1,V1,U1,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: O1 >= L + 1 && M >= 0 && P1 >= 2 && O1 >= M1 + 1 && M1 >= Q1 + 1 && 0 >= R1 + 1 && M1 >= S1 + 1
  f19(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,U1,L,T1,N1,M1,Q,Q,L,N1,M1,-1 + T1,V1,U1,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: O1 >= L + 1 && M >= 0 && P1 >= 2 && O1 >= M1 + 1 && M1 >= Q1 + 1 && 0 >= R1 + 1 && S1 >= M1 + 1
  f19(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,U1,L,T1,N1,M1,Q,Q,L,N1,M1,-1 + T1,V1,U1,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: O1 >= L + 1 && M >= 0 && P1 >= 2 && O1 >= M1 + 1 && Q1 >= M1 + 1 && R1 >= 1 && M1 >= S1 + 1
  f19(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,U1,L,T1,N1,M1,Q,Q,L,N1,M1,-1 + T1,V1,U1,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: O1 >= L + 1 && M >= 0 && P1 >= 2 && O1 >= M1 + 1 && Q1 >= M1 + 1 && R1 >= 1 && S1 >= M1 + 1
  f19(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,U1,L,T1,N1,M1,Q,Q,L,N1,M1,-1 + T1,V1,U1,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: O1 >= L + 1 && M >= 0 && P1 >= 2 && O1 >= M1 + 1 && Q1 >= M1 + 1 && 0 >= R1 + 1 && M1 >= S1 + 1
  f19(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,U1,L,T1,N1,M1,Q,Q,L,N1,M1,-1 + T1,V1,U1,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: O1 >= L + 1 && M >= 0 && P1 >= 2 && O1 >= M1 + 1 && Q1 >= M1 + 1 && 0 >= R1 + 1 && S1 >= M1 + 1
  f19(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,U1,L,T1,N1,M1,Q,Q,L,N1,M1,-1 + T1,V1,U1,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: L >= O1 + 1 && M >= 0 && P1 >= 2 && M1 >= O1 + 1 && M1 >= Q1 + 1 && R1 >= 1 && M1 >= S1 + 1
  f19(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,U1,L,T1,N1,M1,Q,Q,L,N1,M1,-1 + T1,V1,U1,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: L >= O1 + 1 && M >= 0 && P1 >= 2 && M1 >= O1 + 1 && M1 >= Q1 + 1 && R1 >= 1 && S1 >= M1 + 1
  f19(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,U1,L,T1,N1,M1,Q,Q,L,N1,M1,-1 + T1,V1,U1,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: L >= O1 + 1 && M >= 0 && P1 >= 2 && M1 >= O1 + 1 && M1 >= Q1 + 1 && 0 >= R1 + 1 && M1 >= S1 + 1
  f19(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,U1,L,T1,N1,M1,Q,Q,L,N1,M1,-1 + T1,V1,U1,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: L >= O1 + 1 && M >= 0 && P1 >= 2 && M1 >= O1 + 1 && M1 >= Q1 + 1 && 0 >= R1 + 1 && S1 >= M1 + 1
  f19(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,U1,L,T1,N1,M1,Q,Q,L,N1,M1,-1 + T1,V1,U1,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: L >= O1 + 1 && M >= 0 && P1 >= 2 && M1 >= O1 + 1 && Q1 >= M1 + 1 && R1 >= 1 && M1 >= S1 + 1
  f19(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,U1,L,T1,N1,M1,Q,Q,L,N1,M1,-1 + T1,V1,U1,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: L >= O1 + 1 && M >= 0 && P1 >= 2 && M1 >= O1 + 1 && Q1 >= M1 + 1 && R1 >= 1 && S1 >= M1 + 1
  f19(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,U1,L,T1,N1,M1,Q,Q,L,N1,M1,-1 + T1,V1,U1,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: L >= O1 + 1 && M >= 0 && P1 >= 2 && M1 >= O1 + 1 && Q1 >= M1 + 1 && 0 >= R1 + 1 && M1 >= S1 + 1
  f19(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,U1,L,T1,N1,M1,Q,Q,L,N1,M1,-1 + T1,V1,U1,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: L >= O1 + 1 && M >= 0 && P1 >= 2 && M1 >= O1 + 1 && Q1 >= M1 + 1 && 0 >= R1 + 1 && S1 >= M1 + 1
  f19(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,U1,L,T1,N1,M1,Q,Q,L,N1,M1,-1 + T1,V1,U1,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: L >= O1 + 1 && M >= 0 && P1 >= 2 && O1 >= M1 + 1 && M1 >= Q1 + 1 && R1 >= 1 && M1 >= S1 + 1
  f19(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,U1,L,T1,N1,M1,Q,Q,L,N1,M1,-1 + T1,V1,U1,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: L >= O1 + 1 && M >= 0 && P1 >= 2 && O1 >= M1 + 1 && M1 >= Q1 + 1 && R1 >= 1 && S1 >= M1 + 1
  f19(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,U1,L,T1,N1,M1,Q,Q,L,N1,M1,-1 + T1,V1,U1,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: L >= O1 + 1 && M >= 0 && P1 >= 2 && O1 >= M1 + 1 && M1 >= Q1 + 1 && 0 >= R1 + 1 && M1 >= S1 + 1
  f19(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,U1,L,T1,N1,M1,Q,Q,L,N1,M1,-1 + T1,V1,U1,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: L >= O1 + 1 && M >= 0 && P1 >= 2 && O1 >= M1 + 1 && M1 >= Q1 + 1 && 0 >= R1 + 1 && S1 >= M1 + 1
  f19(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,U1,L,T1,N1,M1,Q,Q,L,N1,M1,-1 + T1,V1,U1,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: L >= O1 + 1 && M >= 0 && P1 >= 2 && O1 >= M1 + 1 && Q1 >= M1 + 1 && R1 >= 1 && M1 >= S1 + 1
  f19(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,U1,L,T1,N1,M1,Q,Q,L,N1,M1,-1 + T1,V1,U1,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: L >= O1 + 1 && M >= 0 && P1 >= 2 && O1 >= M1 + 1 && Q1 >= M1 + 1 && R1 >= 1 && S1 >= M1 + 1
  f19(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,U1,L,T1,N1,M1,Q,Q,L,N1,M1,-1 + T1,V1,U1,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: L >= O1 + 1 && M >= 0 && P1 >= 2 && O1 >= M1 + 1 && Q1 >= M1 + 1 && 0 >= R1 + 1 && M1 >= S1 + 1
  f19(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,U1,L,T1,N1,M1,Q,Q,L,N1,M1,-1 + T1,V1,U1,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: L >= O1 + 1 && M >= 0 && P1 >= 2 && O1 >= M1 + 1 && Q1 >= M1 + 1 && 0 >= R1 + 1 && S1 >= M1 + 1
  f20(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,T1,L,M,N1,M1,Q,Q,L,N1,M1,U1,V,W,V1,O1,Q1,T1,U1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: R1 >= S1 + 1 && P1 >= 2 && M1 >= R1 + 1 && M1 >= W1 + 1 && X1 >= 1 && M1 >= Y1 + 1
  f20(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,T1,L,M,N1,M1,Q,Q,L,N1,M1,U1,V,W,V1,O1,Q1,T1,U1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: R1 >= S1 + 1 && P1 >= 2 && M1 >= R1 + 1 && M1 >= W1 + 1 && X1 >= 1 && Y1 >= M1 + 1
  f20(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,T1,L,M,N1,M1,Q,Q,L,N1,M1,U1,V,W,V1,O1,Q1,T1,U1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: R1 >= S1 + 1 && P1 >= 2 && M1 >= R1 + 1 && M1 >= W1 + 1 && 0 >= X1 + 1 && M1 >= Y1 + 1
  f20(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,T1,L,M,N1,M1,Q,Q,L,N1,M1,U1,V,W,V1,O1,Q1,T1,U1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: R1 >= S1 + 1 && P1 >= 2 && M1 >= R1 + 1 && M1 >= W1 + 1 && 0 >= X1 + 1 && Y1 >= M1 + 1
  f20(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,T1,L,M,N1,M1,Q,Q,L,N1,M1,U1,V,W,V1,O1,Q1,T1,U1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: R1 >= S1 + 1 && P1 >= 2 && M1 >= R1 + 1 && W1 >= M1 + 1 && X1 >= 1 && M1 >= Y1 + 1
  f20(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,T1,L,M,N1,M1,Q,Q,L,N1,M1,U1,V,W,V1,O1,Q1,T1,U1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: R1 >= S1 + 1 && P1 >= 2 && M1 >= R1 + 1 && W1 >= M1 + 1 && X1 >= 1 && Y1 >= M1 + 1
  f20(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,T1,L,M,N1,M1,Q,Q,L,N1,M1,U1,V,W,V1,O1,Q1,T1,U1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: R1 >= S1 + 1 && P1 >= 2 && M1 >= R1 + 1 && W1 >= M1 + 1 && 0 >= X1 + 1 && M1 >= Y1 + 1
  f20(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,T1,L,M,N1,M1,Q,Q,L,N1,M1,U1,V,W,V1,O1,Q1,T1,U1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: R1 >= S1 + 1 && P1 >= 2 && M1 >= R1 + 1 && W1 >= M1 + 1 && 0 >= X1 + 1 && Y1 >= M1 + 1
  f20(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,T1,L,M,N1,M1,Q,Q,L,N1,M1,U1,V,W,V1,O1,Q1,T1,U1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: R1 >= S1 + 1 && P1 >= 2 && R1 >= M1 + 1 && M1 >= W1 + 1 && X1 >= 1 && M1 >= Y1 + 1
  f20(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,T1,L,M,N1,M1,Q,Q,L,N1,M1,U1,V,W,V1,O1,Q1,T1,U1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: R1 >= S1 + 1 && P1 >= 2 && R1 >= M1 + 1 && M1 >= W1 + 1 && X1 >= 1 && Y1 >= M1 + 1
  f20(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,T1,L,M,N1,M1,Q,Q,L,N1,M1,U1,V,W,V1,O1,Q1,T1,U1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: R1 >= S1 + 1 && P1 >= 2 && R1 >= M1 + 1 && M1 >= W1 + 1 && 0 >= X1 + 1 && M1 >= Y1 + 1
  f20(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,T1,L,M,N1,M1,Q,Q,L,N1,M1,U1,V,W,V1,O1,Q1,T1,U1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: R1 >= S1 + 1 && P1 >= 2 && R1 >= M1 + 1 && M1 >= W1 + 1 && 0 >= X1 + 1 && Y1 >= M1 + 1
  f20(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,T1,L,M,N1,M1,Q,Q,L,N1,M1,U1,V,W,V1,O1,Q1,T1,U1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: R1 >= S1 + 1 && P1 >= 2 && R1 >= M1 + 1 && W1 >= M1 + 1 && X1 >= 1 && M1 >= Y1 + 1
  f20(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,T1,L,M,N1,M1,Q,Q,L,N1,M1,U1,V,W,V1,O1,Q1,T1,U1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: R1 >= S1 + 1 && P1 >= 2 && R1 >= M1 + 1 && W1 >= M1 + 1 && X1 >= 1 && Y1 >= M1 + 1
  f20(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,T1,L,M,N1,M1,Q,Q,L,N1,M1,U1,V,W,V1,O1,Q1,T1,U1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: R1 >= S1 + 1 && P1 >= 2 && R1 >= M1 + 1 && W1 >= M1 + 1 && 0 >= X1 + 1 && M1 >= Y1 + 1
  f20(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,T1,L,M,N1,M1,Q,Q,L,N1,M1,U1,V,W,V1,O1,Q1,T1,U1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: R1 >= S1 + 1 && P1 >= 2 && R1 >= M1 + 1 && W1 >= M1 + 1 && 0 >= X1 + 1 && Y1 >= M1 + 1
  f20(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,T1,L,M,N1,M1,Q,Q,L,N1,M1,U1,V,W,V1,O1,Q1,T1,U1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: S1 >= R1 + 1 && P1 >= 2 && M1 >= R1 + 1 && M1 >= W1 + 1 && X1 >= 1 && M1 >= Y1 + 1
  f20(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,T1,L,M,N1,M1,Q,Q,L,N1,M1,U1,V,W,V1,O1,Q1,T1,U1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: S1 >= R1 + 1 && P1 >= 2 && M1 >= R1 + 1 && M1 >= W1 + 1 && X1 >= 1 && Y1 >= M1 + 1
  f20(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,T1,L,M,N1,M1,Q,Q,L,N1,M1,U1,V,W,V1,O1,Q1,T1,U1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: S1 >= R1 + 1 && P1 >= 2 && M1 >= R1 + 1 && M1 >= W1 + 1 && 0 >= X1 + 1 && M1 >= Y1 + 1
  f20(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,T1,L,M,N1,M1,Q,Q,L,N1,M1,U1,V,W,V1,O1,Q1,T1,U1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: S1 >= R1 + 1 && P1 >= 2 && M1 >= R1 + 1 && M1 >= W1 + 1 && 0 >= X1 + 1 && Y1 >= M1 + 1
  f20(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,T1,L,M,N1,M1,Q,Q,L,N1,M1,U1,V,W,V1,O1,Q1,T1,U1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: S1 >= R1 + 1 && P1 >= 2 && M1 >= R1 + 1 && W1 >= M1 + 1 && X1 >= 1 && M1 >= Y1 + 1
  f20(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,T1,L,M,N1,M1,Q,Q,L,N1,M1,U1,V,W,V1,O1,Q1,T1,U1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: S1 >= R1 + 1 && P1 >= 2 && M1 >= R1 + 1 && W1 >= M1 + 1 && X1 >= 1 && Y1 >= M1 + 1
  f20(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,T1,L,M,N1,M1,Q,Q,L,N1,M1,U1,V,W,V1,O1,Q1,T1,U1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: S1 >= R1 + 1 && P1 >= 2 && M1 >= R1 + 1 && W1 >= M1 + 1 && 0 >= X1 + 1 && M1 >= Y1 + 1
  f20(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,T1,L,M,N1,M1,Q,Q,L,N1,M1,U1,V,W,V1,O1,Q1,T1,U1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: S1 >= R1 + 1 && P1 >= 2 && M1 >= R1 + 1 && W1 >= M1 + 1 && 0 >= X1 + 1 && Y1 >= M1 + 1
  f20(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,T1,L,M,N1,M1,Q,Q,L,N1,M1,U1,V,W,V1,O1,Q1,T1,U1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: S1 >= R1 + 1 && P1 >= 2 && R1 >= M1 + 1 && M1 >= W1 + 1 && X1 >= 1 && M1 >= Y1 + 1
  f20(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,T1,L,M,N1,M1,Q,Q,L,N1,M1,U1,V,W,V1,O1,Q1,T1,U1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: S1 >= R1 + 1 && P1 >= 2 && R1 >= M1 + 1 && M1 >= W1 + 1 && X1 >= 1 && Y1 >= M1 + 1
  f20(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,T1,L,M,N1,M1,Q,Q,L,N1,M1,U1,V,W,V1,O1,Q1,T1,U1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: S1 >= R1 + 1 && P1 >= 2 && R1 >= M1 + 1 && M1 >= W1 + 1 && 0 >= X1 + 1 && M1 >= Y1 + 1
  f20(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,T1,L,M,N1,M1,Q,Q,L,N1,M1,U1,V,W,V1,O1,Q1,T1,U1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: S1 >= R1 + 1 && P1 >= 2 && R1 >= M1 + 1 && M1 >= W1 + 1 && 0 >= X1 + 1 && Y1 >= M1 + 1
  f20(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,T1,L,M,N1,M1,Q,Q,L,N1,M1,U1,V,W,V1,O1,Q1,T1,U1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: S1 >= R1 + 1 && P1 >= 2 && R1 >= M1 + 1 && W1 >= M1 + 1 && X1 >= 1 && M1 >= Y1 + 1
  f20(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,T1,L,M,N1,M1,Q,Q,L,N1,M1,U1,V,W,V1,O1,Q1,T1,U1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: S1 >= R1 + 1 && P1 >= 2 && R1 >= M1 + 1 && W1 >= M1 + 1 && X1 >= 1 && Y1 >= M1 + 1
  f20(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,T1,L,M,N1,M1,Q,Q,L,N1,M1,U1,V,W,V1,O1,Q1,T1,U1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: S1 >= R1 + 1 && P1 >= 2 && R1 >= M1 + 1 && W1 >= M1 + 1 && 0 >= X1 + 1 && M1 >= Y1 + 1
  f20(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) -> Com_1(f20(A,P1,C,D,E,F,G,H,I,J,T1,L,M,N1,M1,Q,Q,L,N1,M1,U1,V,W,V1,O1,Q1,T1,U1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)) :|: S1 >= R1 + 1 && P1 >= 2 && R1 >= M1 + 1 && W1 >= M1 + 1 && 0 >= X1 + 1 && Y1 >= M1 + 1
  f11(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) -> Com_1(f9(A,M1,M1,2,U1,V1,U1,H,I,J,K,L,M,N1,O,P,Q,R,N1,T,U,V,W,X,Y,Z,A1,B1,P1,T1,N1,U1,O1,H1,I1,J1,K1,L1)) :|: M1 >= 2
  f11(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) -> Com_1(f12(M1,P1,V1,R1,Q1,Y1,X1,H,I,J,K,L,M,N1,C1,P,Q,R,C1,T,U,V,W,X,Y,Z,A1,B1,T1,U1,O1,W1,G1,B2,S1,J1,K1,L1)) :|: 0 >= Z1 && 0 >= A2 && 0 >= P1 && H1 >= P + 1 && N1 >= P + 1 && C1 = H1
  f11(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) -> Com_1(f12(M1,P1,V1,R1,Q1,Y1,X1,H,I,J,K,L,M,N1,C1,P,Q,R,C1,T,U,V,W,X,Y,Z,A1,B1,T1,U1,O1,W1,G1,B2,S1,J1,K1,L1)) :|: 0 >= Z1 && 0 >= A2 && 0 >= P1 && H1 >= P + 1 && P >= N1 + 1 && C1 = H1
  f11(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) -> Com_1(f12(M1,P1,V1,R1,Q1,Y1,X1,H,I,J,K,L,M,N1,C1,P,Q,R,C1,T,U,V,W,X,Y,Z,A1,B1,T1,U1,O1,W1,G1,B2,S1,J1,K1,L1)) :|: 0 >= Z1 && 0 >= A2 && 0 >= P1 && P >= H1 + 1 && N1 >= P + 1 && C1 = H1
  f11(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) -> Com_1(f12(M1,P1,V1,R1,Q1,Y1,X1,H,I,J,K,L,M,N1,C1,P,Q,R,C1,T,U,V,W,X,Y,Z,A1,B1,T1,U1,O1,W1,G1,B2,S1,J1,K1,L1)) :|: 0 >= Z1 && 0 >= A2 && 0 >= P1 && P >= H1 + 1 && P >= N1 + 1 && C1 = H1
  f9(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) -> Com_1(f20(M1,P1,T1,O1,V1,W1,S1,H,I,J,K,E,U,N1,E,P,P,E,N1,E,U,V,W,X,Y,Z,A1,B1,C1,D1,U1,R1,G1,X1,Q1,U + 1,K,Y1)) :|: J1 >= B2 && J1 >= P1 && J1 >= 0 && B2 >= 2 && P1 >= 2 && P >= E + 1 && D >= C && D >= 0 && E >= Z1 + 1 && E >= A2 + 1 && E >= C2 + 1 && E >= D2 + 1 && E >= P + 1 && E >= H1 + 1
  f9(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) -> Com_1(f20(M1,P1,T1,O1,V1,W1,S1,H,I,J,K,E,U,N1,E,P,P,E,N1,E,U,V,W,X,Y,Z,A1,B1,C1,D1,U1,R1,G1,X1,Q1,U + 1,K,Y1)) :|: J1 >= B2 && J1 >= P1 && J1 >= 0 && B2 >= 2 && P1 >= 2 && P >= E + 1 && D >= C && D >= 0 && E >= Z1 + 1 && E >= A2 + 1 && E >= C2 + 1 && E >= D2 + 1 && E >= P + 1 && H1 >= E + 1
  f9(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) -> Com_1(f20(M1,P1,T1,O1,V1,W1,S1,H,I,J,K,E,U,N1,E,P,P,E,N1,E,U,V,W,X,Y,Z,A1,B1,C1,D1,U1,R1,G1,X1,Q1,U + 1,K,Y1)) :|: J1 >= B2 && J1 >= P1 && J1 >= 0 && B2 >= 2 && P1 >= 2 && P >= E + 1 && D >= C && D >= 0 && E >= Z1 + 1 && E >= A2 + 1 && E >= C2 + 1 && E >= D2 + 1 && E >= H1 + 1
  f9(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) -> Com_1(f20(M1,P1,T1,O1,V1,W1,S1,H,I,J,K,E,U,N1,E,P,P,E,N1,E,U,V,W,X,Y,Z,A1,B1,C1,D1,U1,R1,G1,X1,Q1,U + 1,K,Y1)) :|: J1 >= B2 && J1 >= P1 && J1 >= 0 && B2 >= 2 && P1 >= 2 && P >= E + 1 && D >= C && D >= 0 && E >= Z1 + 1 && E >= A2 + 1 && E >= C2 + 1 && E >= D2 + 1 && H1 >= E + 1
  f9(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) -> Com_1(f20(M1,P1,T1,O1,V1,W1,S1,H,I,J,K,E,U,N1,E,P,P,E,N1,E,U,V,W,X,Y,Z,A1,B1,C1,D1,U1,R1,G1,X1,Q1,U + 1,K,Y1)) :|: J1 >= B2 && J1 >= P1 && J1 >= 0 && B2 >= 2 && P1 >= 2 && P >= E + 1 && D >= C && D >= 0 && E >= Z1 + 1 && E >= A2 + 1 && E >= C2 + 1 && D2 >= E + 1 && E >= P + 1 && E >= H1 + 1
  f9(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) -> Com_1(f20(M1,P1,T1,O1,V1,W1,S1,H,I,J,K,E,U,N1,E,P,P,E,N1,E,U,V,W,X,Y,Z,A1,B1,C1,D1,U1,R1,G1,X1,Q1,U + 1,K,Y1)) :|: J1 >= B2 && J1 >= P1 && J1 >= 0 && B2 >= 2 && P1 >= 2 && P >= E + 1 && D >= C && D >= 0 && E >= Z1 + 1 && E >= A2 + 1 && E >= C2 + 1 && D2 >= E + 1 && E >= P + 1 && H1 >= E + 1
  f9(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) -> Com_1(f20(M1,P1,T1,O1,V1,W1,S1,H,I,J,K,E,U,N1,E,P,P,E,N1,E,U,V,W,X,Y,Z,A1,B1,C1,D1,U1,R1,G1,X1,Q1,U + 1,K,Y1)) :|: J1 >= B2 && J1 >= P1 && J1 >= 0 && B2 >= 2 && P1 >= 2 && P >= E + 1 && D >= C && D >= 0 && E >= Z1 + 1 && E >= A2 + 1 && E >= C2 + 1 && D2 >= E + 1 && E >= H1 + 1
  f9(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) -> Com_1(f20(M1,P1,T1,O1,V1,W1,S1,H,I,J,K,E,U,N1,E,P,P,E,N1,E,U,V,W,X,Y,Z,A1,B1,C1,D1,U1,R1,G1,X1,Q1,U + 1,K,Y1)) :|: J1 >= B2 && J1 >= P1 && J1 >= 0 && B2 >= 2 && P1 >= 2 && P >= E + 1 && D >= C && D >= 0 && E >= Z1 + 1 && E >= A2 + 1 && E >= C2 + 1 && D2 >= E + 1 && H1 >= E + 1
  f9(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) -> Com_1(f20(M1,P1,T1,O1,V1,W1,S1,H,I,J,K,E,U,N1,E,P,P,E,N1,E,U,V,W,X,Y,Z,A1,B1,C1,D1,U1,R1,G1,X1,Q1,U + 1,K,Y1)) :|: J1 >= B2 && J1 >= P1 && J1 >= 0 && B2 >= 2 && P1 >= 2 && P >= E + 1 && D >= C && D >= 0 && E >= Z1 + 1 && E >= A2 + 1 && C2 >= E + 1 && E >= D2 + 1 && E >= P + 1 && E >= H1 + 1
  f9(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) -> Com_1(f20(M1,P1,T1,O1,V1,W1,S1,H,I,J,K,E,U,N1,E,P,P,E,N1,E,U,V,W,X,Y,Z,A1,B1,C1,D1,U1,R1,G1,X1,Q1,U + 1,K,Y1)) :|: J1 >= B2 && J1 >= P1 && J1 >= 0 && B2 >= 2 && P1 >= 2 && P >= E + 1 && D >= C && D >= 0 && E >= Z1 + 1 && E >= A2 + 1 && C2 >= E + 1 && E >= D2 + 1 && E >= P + 1 && H1 >= E + 1
  f9(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) -> Com_1(f20(M1,P1,T1,O1,V1,W1,S1,H,I,J,K,E,U,N1,E,P,P,E,N1,E,U,V,W,X,Y,Z,A1,B1,C1,D1,U1,R1,G1,X1,Q1,U + 1,K,Y1)) :|: J1 >= B2 && J1 >= P1 && J1 >= 0 && B2 >= 2 && P1 >= 2 && P >= E + 1 && D >= C && D >= 0 && E >= Z1 + 1 && E >= A2 + 1 && C2 >= E + 1 && E >= D2 + 1 && E >= H1 + 1
  f9(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) -> Com_1(f20(M1,P1,T1,O1,V1,W1,S1,H,I,J,K,E,U,N1,E,P,P,E,N1,E,U,V,W,X,Y,Z,A1,B1,C1,D1,U1,R1,G1,X1,Q1,U + 1,K,Y1)) :|: J1 >= B2 && J1 >= P1 && J1 >= 0 && B2 >= 2 && P1 >= 2 && P >= E + 1 && D >= C && D >= 0 && E >= Z1 + 1 && E >= A2 + 1 && C2 >= E + 1 && E >= D2 + 1 && H1 >= E + 1
  f9(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) -> Com_1(f20(M1,P1,T1,O1,V1,W1,S1,H,I,J,K,E,U,N1,E,P,P,E,N1,E,U,V,W,X,Y,Z,A1,B1,C1,D1,U1,R1,G1,X1,Q1,U + 1,K,Y1)) :|: J1 >= B2 && J1 >= P1 && J1 >= 0 && B2 >= 2 && P1 >= 2 && P >= E + 1 && D >= C && D >= 0 && E >= Z1 + 1 && E >= A2 + 1 && C2 >= E + 1 && D2 >= E + 1 && E >= P + 1 && E >= H1 + 1
  f9(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) -> Com_1(f20(M1,P1,T1,O1,V1,W1,S1,H,I,J,K,E,U,N1,E,P,P,E,N1,E,U,V,W,X,Y,Z,A1,B1,C1,D1,U1,R1,G1,X1,Q1,U + 1,K,Y1)) :|: J1 >= B2 && J1 >= P1 && J1 >= 0 && B2 >= 2 && P1 >= 2 && P >= E + 1 && D >= C && D >= 0 && E >= Z1 + 1 && E >= A2 + 1 && C2 >= E + 1 && D2 >= E + 1 && E >= P + 1 && H1 >= E + 1
  f9(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) -> Com_1(f20(M1,P1,T1,O1,V1,W1,S1,H,I,J,K,E,U,N1,E,P,P,E,N1,E,U,V,W,X,Y,Z,A1,B1,C1,D1,U1,R1,G1,X1,Q1,U + 1,K,Y1)) :|: J1 >= B2 && J1 >= P1 && J1 >= 0 && B2 >= 2 && P1 >= 2 && P >= E + 1 && D >= C && D >= 0 && E >= Z1 + 1 && E >= A2 + 1 && C2 >= E + 1 && D2 >= E + 1 && E >= H1 + 1
  f9(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) -> Com_1(f20(M1,P1,T1,O1,V1,W1,S1,H,I,J,K,E,U,N1,E,P,P,E,N1,E,U,V,W,X,Y,Z,A1,B1,C1,D1,U1,R1,G1,X1,Q1,U + 1,K,Y1)) :|: J1 >= B2 && J1 >= P1 && J1 >= 0 && B2 >= 2 && P1 >= 2 && P >= E + 1 && D >= C && D >= 0 && E >= Z1 + 1 && E >= A2 + 1 && C2 >= E + 1 && D2 >= E + 1 && H1 >= E + 1
  f9(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) -> Com_1(f20(M1,P1,T1,O1,V1,W1,S1,H,I,J,K,E,U,N1,E,P,P,E,N1,E,U,V,W,X,Y,Z,A1,B1,C1,D1,U1,R1,G1,X1,Q1,U + 1,K,Y1)) :|: J1 >= B2 && J1 >= P1 && J1 >= 0 && B2 >= 2 && P1 >= 2 && P >= E + 1 && D >= C && D >= 0 && E >= Z1 + 1 && A2 >= E + 1 && E >= C2 + 1 && E >= D2 + 1 && E >= P + 1 && E >= H1 + 1
  f9(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) -> Com_1(f20(M1,P1,T1,O1,V1,W1,S1,H,I,J,K,E,U,N1,E,P,P,E,N1,E,U,V,W,X,Y,Z,A1,B1,C1,D1,U1,R1,G1,X1,Q1,U + 1,K,Y1)) :|: J1 >= B2 && J1 >= P1 && J1 >= 0 && B2 >= 2 && P1 >= 2 && P >= E + 1 && D >= C && D >= 0 && E >= Z1 + 1 && A2 >= E + 1 && E >= C2 + 1 && E >= D2 + 1 && E >= P + 1 && H1 >= E + 1
  f9(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) -> Com_1(f20(M1,P1,T1,O1,V1,W1,S1,H,I,J,K,E,U,N1,E,P,P,E,N1,E,U,V,W,X,Y,Z,A1,B1,C1,D1,U1,R1,G1,X1,Q1,U + 1,K,Y1)) :|: J1 >= B2 && J1 >= P1 && J1 >= 0 && B2 >= 2 && P1 >= 2 && P >= E + 1 && D >= C && D >= 0 && E >= Z1 + 1 && A2 >= E + 1 && E >= C2 + 1 && E >= D2 + 1 && E >= H1 + 1
  f9(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) -> Com_1(f20(M1,P1,T1,O1,V1,W1,S1,H,I,J,K,E,U,N1,E,P,P,E,N1,E,U,V,W,X,Y,Z,A1,B1,C1,D1,U1,R1,G1,X1,Q1,U + 1,K,Y1)) :|: J1 >= B2 && J1 >= P1 && J1 >= 0 && B2 >= 2 && P1 >= 2 && P >= E + 1 && D >= C && D >= 0 && E >= Z1 + 1 && A2 >= E + 1 && E >= C2 + 1 && E >= D2 + 1 && H1 >= E + 1
  f9(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) -> Com_1(f20(M1,P1,T1,O1,V1,W1,S1,H,I,J,K,E,U,N1,E,P,P,E,N1,E,U,V,W,X,Y,Z,A1,B1,C1,D1,U1,R1,G1,X1,Q1,U + 1,K,Y1)) :|: J1 >= B2 && J1 >= P1 && J1 >= 0 && B2 >= 2 && P1 >= 2 && P >= E + 1 && D >= C && D >= 0 && E >= Z1 + 1 && A2 >= E + 1 && E >= C2 + 1 && D2 >= E + 1 && E >= P + 1 && E >= H1 + 1
  f9(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) -> Com_1(f20(M1,P1,T1,O1,V1,W1,S1,H,I,J,K,E,U,N1,E,P,P,E,N1,E,U,V,W,X,Y,Z,A1,B1,C1,D1,U1,R1,G1,X1,Q1,U + 1,K,Y1)) :|: J1 >= B2 && J1 >= P1 && J1 >= 0 && B2 >= 2 && P1 >= 2 && P >= E + 1 && D >= C && D >= 0 && E >= Z1 + 1 && A2 >= E + 1 && E >= C2 + 1 && D2 >= E + 1 && E >= P + 1 && H1 >= E + 1
  f9(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) -> Com_1(f20(M1,P1,T1,O1,V1,W1,S1,H,I,J,K,E,U,N1,E,P,P,E,N1,E,U,V,W,X,Y,Z,A1,B1,C1,D1,U1,R1,G1,X1,Q1,U + 1,K,Y1)) :|: J1 >= B2 && J1 >= P1 && J1 >= 0 && B2 >= 2 && P1 >= 2 && P >= E + 1 && D >= C && D >= 0 && E >= Z1 + 1 && A2 >= E + 1 && E >= C2 + 1 && D2 >= E + 1 && E >= H1 + 1
  f9(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) -> Com_1(f20(M1,P1,T1,O1,V1,W1,S1,H,I,J,K,E,U,N1,E,P,P,E,N1,E,U,V,W,X,Y,Z,A1,B1,C1,D1,U1,R1,G1,X1,Q1,U + 1,K,Y1)) :|: J1 >= B2 && J1 >= P1 && J1 >= 0 && B2 >= 2 && P1 >= 2 && P >= E + 1 && D >= C && D >= 0 && E >= Z1 + 1 && A2 >= E + 1 && E >= C2 + 1 && D2 >= E + 1 && H1 >= E + 1
  f9(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) -> Com_1(f20(M1,P1,T1,O1,V1,W1,S1,H,I,J,K,E,U,N1,E,P,P,E,N1,E,U,V,W,X,Y,Z,A1,B1,C1,D1,U1,R1,G1,X1,Q1,U + 1,K,Y1)) :|: J1 >= B2 && J1 >= P1 && J1 >= 0 && B2 >= 2 && P1 >= 2 && P >= E + 1 && D >= C && D >= 0 && E >= Z1 + 1 && A2 >= E + 1 && C2 >= E + 1 && E >= D2 + 1 && E >= P + 1 && E >= H1 + 1
popout

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

actions get anonymous link download benchmark