CProgol Version 4.4 |- yes [:- set(verbose,2)? - Time taken 0.00s] |- [:- set(h,10000)? - Time taken 0.00s] [:- set(r,1000000)? - Time taken 0.00s] [:- set(i,2)? - Time taken 0.00s] [:- set(c,5)? - Time taken 0.00s] [:- set(nodes,1000)? - Time taken 0.00s] [:- modeh(100,play([+int,+int,+int]))? - Time taken 0.00s] [:- modeh(100,play([+int,+int,+int,+int]))? - Time taken 0.00s] [:- modeh(100,play([+int,+int,+int,+int,+int]))? - Time taken 0.00s] [:- modeh(100,play([+int,+int,+int,+int,+int,+int]))? - Time taken 0.00s] [:- modeb(1,xor(+int,+int,-int))? - Time taken 0.00s] [Testing for contradictions] [No contradictions found] yes [:- [b]? - Time taken 0.00s] |- [Testing for contradictions] [No contradictions found] yes [:- [example/train_83.pl]? - Time taken 0.00s] |- [Generalising play([7,6,16,18,24,27]).] [Most specific clause is] play([A,B,C,D,E,F]) :- xor(A,A,G), xor(A,B,H), xor(A,C,I), xor(A, D,J), xor(A,E,K), xor(A,F,L), xor(B,A,H), xor(B,B,G), xor(B,C,M), xor(B,D,N), xor(B,E,O), xor(B,F,P), xor(C, A,I), xor(C,B,M), xor(C,C,G), xor(C,D,Q), xor(C,E,R), xor(C,F,S), xor(D,A,J), xor(D,B,N), xor(D,C,Q), xor(D, D,G), xor(D,E,T), xor(D,F,U), xor(E,A,K), xor(E,B,O), xor(E,C,R), xor(E,D,T), xor(E,E,G), xor(E,F,V), xor(F, A,L), xor(F,B,P), xor(F,C,S), xor(F,D,U), xor(F,E,V), xor(F,F,G), xor(A,G,A), xor(A,H,B), xor(A,M,W), xor(A, N,X), xor(A,O,Y), xor(A,P,Z), xor(A,I,C), xor(A,J,D), xor(A,K,E), xor(A,L,F), xor(A,Q,A0), xor(A,R,B0), xor(A, S,C0), xor(A,T,D0), xor(A,U,E0), xor(A,V,F0), xor(B,G, B), xor(B,H,A), xor(B,M,C), xor(B,N,D), xor(B,O,E), xor(B, P,F), xor(B,I,W), xor(B,J,X), xor(B,K,Y), xor(B,L,Z), xor(B,Q,F0), xor(B,R,E0), xor(B,S,D0), xor(B,T,C0), xor(B,U,B0), xor(B,V,A0), xor(C,G,C), xor(C,H,W), xor(C, M,B), xor(C,N,F0), xor(C,O,E0), xor(C,P,D0), xor(C,I, A), xor(C,J,A0), xor(C,K,B0), xor(C,L,C0), xor(C,Q,D), xor(C,R,E), xor(C,S,F), xor(C,T,Z), xor(C,U,Y), xor(C, V,X), xor(D,G,D), xor(D,H,X), xor(D,M,F0), xor(D,N,B), xor(D,O,C0), xor(D,P,B0), xor(D,I,A0), xor(D,J,A), xor(D, K,D0), xor(D,L,E0), xor(D,Q,C), xor(D,R,Z), xor(D,S,Y), xor(D,T,E), xor(D,U,F), xor(D,V,W), xor(E,G,E), xor(E, H,Y), xor(E,M,E0), xor(E,N,C0), xor(E,O,B), xor(E,P,A0), xor(E,I,B0), xor(E,J,D0), xor(E,K,A), xor(E,L,F0), xor(E, Q,Z), xor(E,R,C), xor(E,S,X), xor(E,T,D), xor(E,U,W), xor(E,V,F), xor(F,G,F), xor(F,H,Z), xor(F,M,D0), xor(F, N,B0), xor(F,O,A0), xor(F,P,B), xor(F,I,C0), xor(F,J, E0), xor(F,K,F0), xor(F,L,A), xor(F,Q,Y), xor(F,R,X), xor(F,S,C), xor(F,T,W), xor(F,U,D), xor(F,V,E), xor(G, A,A), xor(G,B,B), xor(G,C,C), xor(G,D,D), xor(G,E,E), xor(G,F,F), xor(G,G,G), xor(G,H,H), xor(G,M,M), xor(G, N,N), xor(G,O,O), xor(G,P,P), xor(G,I,I), xor(G,J,J), xor(G,K,K), xor(G,L,L), xor(G,Q,Q), xor(G,R,R), xor(G, S,S), xor(G,T,T), xor(G,U,U), xor(G,V,V), xor(H,A,B), xor(H,B,A), xor(H,C,W), xor(H,D,X), xor(H,E,Y), xor(H, F,Z), xor(H,G,H), xor(H,H,G), xor(H,M,I), xor(H,N,J), xor(H,O,K), xor(H,P,L), xor(H,I,M), xor(H,J,N), xor(H, K,O), xor(H,L,P), xor(H,Q,V), xor(H,R,U), xor(H,S,T), xor(H,T,S), xor(H,U,R), xor(H,V,Q), xor(M,A,W), xor(M, B,C), xor(M,C,B), xor(M,D,F0), xor(M,E,E0), xor(M,F,D0), xor(M,G,M), xor(M,H,I), xor(M,M,G), xor(M,N,Q), xor(M, O,R), xor(M,P,S), xor(M,I,H), xor(M,J,V), xor(M,K,U), xor(M,L,T), xor(M,Q,N), xor(M,R,O), xor(M,S,P), xor(M, T,L), xor(M,U,K), xor(M,V,J), xor(N,A,X), xor(N,B,D), xor(N,C,F0), xor(N,D,B), xor(N,E,C0), xor(N,F,B0), xor(N, G,N), xor(N,H,J), xor(N,M,Q), xor(N,N,G), xor(N,O,T), xor(N,P,U), xor(N,I,V), xor(N,J,H), xor(N,K,S), xor(N, L,R), xor(N,Q,M), xor(N,R,L), xor(N,S,K), xor(N,T,O), xor(N,U,P), xor(N,V,I), xor(O,A,Y), xor(O,B,E), xor(O, C,E0), xor(O,D,C0), xor(O,E,B), xor(O,F,A0), xor(O,G, O), xor(O,H,K), xor(O,M,R), xor(O,N,T), xor(O,O,G), xor(O, P,V), xor(O,I,U), xor(O,J,S), xor(O,K,H), xor(O,L,Q), xor(O,Q,L), xor(O,R,M), xor(O,S,J), xor(O,T,N), xor(O, U,I), xor(O,V,P), xor(P,A,Z), xor(P,B,F), xor(P,C,D0), xor(P,D,B0), xor(P,E,A0), xor(P,F,B), xor(P,G,P), xor(P, H,L), xor(P,M,S), xor(P,N,U), xor(P,O,V), xor(P,P,G), xor(P,I,T), xor(P,J,R), xor(P,K,Q), xor(P,L,H), xor(P, Q,K), xor(P,R,J), xor(P,S,M), xor(P,T,I), xor(P,U,N), xor(P,V,O), xor(I,A,C), xor(I,B,W), xor(I,C,A), xor(I, D,A0), xor(I,E,B0), xor(I,F,C0), xor(I,G,I), xor(I,H, M), xor(I,M,H), xor(I,N,V), xor(I,O,U), xor(I,P,T), xor(I, I,G), xor(I,J,Q), xor(I,K,R), xor(I,L,S), xor(I,Q,J), xor(I,R,K), xor(I,S,L), xor(I,T,P), xor(I,U,O), xor(I, V,N), xor(J,A,D), xor(J,B,X), xor(J,C,A0), xor(J,D,A), xor(J,E,D0), xor(J,F,E0), xor(J,G,J), xor(J,H,N), xor(J, M,V), xor(J,N,H), xor(J,O,S), xor(J,P,R), xor(J,I,Q), xor(J,J,G), xor(J,K,T), xor(J,L,U), xor(J,Q,I), xor(J, R,P), xor(J,S,O), xor(J,T,K), xor(J,U,L), xor(J,V,M), xor(K,A,E), xor(K,B,Y), xor(K,C,B0), xor(K,D,D0), xor(K, E,A), xor(K,F,F0), xor(K,G,K), xor(K,H,O), xor(K,M,U), xor(K,N,S), xor(K,O,H), xor(K,P,Q), xor(K,I,R), xor(K, J,T), xor(K,K,G), xor(K,L,V), xor(K,Q,P), xor(K,R,I), xor(K,S,N), xor(K,T,J), xor(K,U,M), xor(K,V,L), xor(L, A,F), xor(L,B,Z), xor(L,C,C0), xor(L,D,E0), xor(L,E,F0), xor(L,F,A), xor(L,G,L), xor(L,H,P), xor(L,M,T), xor(L, N,R), xor(L,O,Q), xor(L,P,H), xor(L,I,S), xor(L,J,U), xor(L,K,V), xor(L,L,G), xor(L,Q,O), xor(L,R,N), xor(L, S,I), xor(L,T,M), xor(L,U,J), xor(L,V,K), xor(Q,A,A0), xor(Q,B,F0), xor(Q,C,D), xor(Q,D,C), xor(Q,E,Z), xor(Q, F,Y), xor(Q,G,Q), xor(Q,H,V), xor(Q,M,N), xor(Q,N,M), xor(Q,O,L), xor(Q,P,K), xor(Q,I,J), xor(Q,J,I), xor(Q, K,P), xor(Q,L,O), xor(Q,Q,G), xor(Q,R,T), xor(Q,S,U), xor(Q,T,R), xor(Q,U,S), xor(Q,V,H), xor(R,A,B0), xor(R, B,E0), xor(R,C,E), xor(R,D,Z), xor(R,E,C), xor(R,F,X), xor(R,G,R), xor(R,H,U), xor(R,M,O), xor(R,N,L), xor(R, O,M), xor(R,P,J), xor(R,I,K), xor(R,J,P), xor(R,K,I), xor(R,L,N), xor(R,Q,T), xor(R,R,G), xor(R,S,V), xor(R, T,Q), xor(R,U,H), xor(R,V,S), xor(S,A,C0), xor(S,B,D0), xor(S,C,F), xor(S,D,Y), xor(S,E,X), xor(S,F,C), xor(S, G,S), xor(S,H,T), xor(S,M,P), xor(S,N,K), xor(S,O,J), xor(S,P,M), xor(S,I,L), xor(S,J,O), xor(S,K,N), xor(S, L,I), xor(S,Q,U), xor(S,R,V), xor(S,S,G), xor(S,T,H), xor(S,U,Q), xor(S,V,R), xor(T,A,D0), xor(T,B,C0), xor(T, C,Z), xor(T,D,E), xor(T,E,D), xor(T,F,W), xor(T,G,T), xor(T,H,S), xor(T,M,L), xor(T,N,O), xor(T,O,N), xor(T, P,I), xor(T,I,P), xor(T,J,K), xor(T,K,J), xor(T,L,M), xor(T,Q,R), xor(T,R,Q), xor(T,S,H), xor(T,T,G), xor(T, U,V), xor(T,V,U), xor(U,A,E0), xor(U,B,B0), xor(U,C,Y), xor(U,D,F), xor(U,E,W), xor(U,F,D), xor(U,G,U), xor(U, H,R), xor(U,M,K), xor(U,N,P), xor(U,O,I), xor(U,P,N), xor(U,I,O), xor(U,J,L), xor(U,K,M), xor(U,L,J), xor(U, Q,S), xor(U,R,H), xor(U,S,Q), xor(U,T,V), xor(U,U,G), xor(U,V,T), xor(V,A,F0), xor(V,B,A0), xor(V,C,X), xor(V, D,W), xor(V,E,F), xor(V,F,E), xor(V,G,V), xor(V,H,Q), xor(V,M,J), xor(V,N,I), xor(V,O,P), xor(V,P,O), xor(V, I,N), xor(V,J,M), xor(V,K,L), xor(V,L,K), xor(V,Q,H), xor(V,R,S), xor(V,S,R), xor(V,T,U), xor(V,U,T), xor(V, V,G). [C:2,2,0,0 play([A,B,C,D,E,F]).] [1 explored search nodes] f=2,p=2,n=0,h=0 [Result of search is] play([A,B,C,D,E,F]). [2 redundant clauses retracted] [Generalising play([12,2,14]).] [Most specific clause is] play([A,B,C]) :- xor(A,A,D), xor(A,B,C), xor(A,C,B), xor(B,A, C), xor(B,B,D), xor(B,C,A), xor(C,A,B), xor(C,B,A), xor(C, C,D), xor(A,D,A), xor(B,D,B), xor(C,D,C), xor(D,A,A), xor(D,B,B), xor(D,C,C), xor(D,D,D). [C:-8,1,2,0 play([A,B,C]).] [1 explored search nodes] f=-0,p=4,n=4,h=0 [No compression] [Generalising play([12,14,21,10,29]).] [Most specific clause is] play([A,B,C,D,E]) :- xor(A,A,F), xor(A,B,G), xor(A,C,H), xor(A, D,I), xor(A,E,J), xor(B,A,G), xor(B,B,F), xor(B,C,K), xor(B,D,L), xor(B,E,M), xor(C,A,H), xor(C,B,K), xor(C, C,F), xor(C,D,N), xor(C,E,O), xor(D,A,I), xor(D,B,L), xor(D,C,N), xor(D,D,F), xor(D,E,P), xor(E,A,J), xor(E, B,M), xor(E,C,O), xor(E,D,P), xor(E,E,F), xor(A,F,A), xor(A,I,D), xor(A,L,O), xor(A,N,M), xor(A,P,K), xor(A, G,B), xor(A,H,C), xor(A,J,E), xor(A,K,P), xor(A,M,N), xor(A,O,L), xor(B,F,B), xor(B,I,O), xor(B,L,D), xor(B, N,J), xor(B,P,H), xor(B,G,A), xor(B,H,P), xor(B,J,N), xor(B,K,C), xor(B,M,E), xor(B,O,I), xor(C,F,C), xor(C, I,M), xor(C,L,J), xor(C,N,D), xor(C,P,G), xor(C,G,P), xor(C,H,A), xor(C,J,L), xor(C,K,B), xor(C,M,I), xor(C, O,E), xor(D,F,D), xor(D,I,A), xor(D,L,B), xor(D,N,C), xor(D,P,E), xor(D,G,O), xor(D,H,M), xor(D,J,K), xor(D, K,J), xor(D,M,H), xor(D,O,G), xor(E,F,E), xor(E,I,K), xor(E,L,H), xor(E,N,G), xor(E,P,D), xor(E,G,N), xor(E, H,L), xor(E,J,A), xor(E,K,I), xor(E,M,B), xor(E,O,C), xor(F,A,A), xor(F,B,B), xor(F,C,C), xor(F,D,D), xor(F, E,E), xor(F,F,F), xor(F,I,I), xor(F,L,L), xor(F,N,N), xor(F,P,P), xor(F,G,G), xor(F,H,H), xor(F,J,J), xor(F, K,K), xor(F,M,M), xor(F,O,O), xor(I,A,D), xor(I,B,O), xor(I,C,M), xor(I,D,A), xor(I,E,K), xor(I,F,I), xor(I, I,F), xor(I,L,G), xor(I,N,H), xor(I,P,J), xor(I,G,L), xor(I,H,N), xor(I,J,P), xor(I,K,E), xor(I,M,C), xor(I, O,B), xor(L,A,O), xor(L,B,D), xor(L,C,J), xor(L,D,B), xor(L,E,H), xor(L,F,L), xor(L,I,G), xor(L,L,F), xor(L, N,K), xor(L,P,M), xor(L,G,I), xor(L,H,E), xor(L,J,C), xor(L,K,N), xor(L,M,P), xor(L,O,A), xor(N,A,M), xor(N, B,J), xor(N,C,D), xor(N,D,C), xor(N,E,G), xor(N,F,N), xor(N,I,H), xor(N,L,K), xor(N,N,F), xor(N,P,O), xor(N, G,E), xor(N,H,I), xor(N,J,B), xor(N,K,L), xor(N,M,A), xor(N,O,P), xor(P,A,K), xor(P,B,H), xor(P,C,G), xor(P, D,E), xor(P,E,D), xor(P,F,P), xor(P,I,J), xor(P,L,M), xor(P,N,O), xor(P,P,F), xor(P,G,C), xor(P,H,B), xor(P, J,I), xor(P,K,A), xor(P,M,L), xor(P,O,N), xor(G,A,B), xor(G,B,A), xor(G,C,P), xor(G,D,O), xor(G,E,N), xor(G, F,G), xor(G,I,L), xor(G,L,I), xor(G,N,E), xor(G,P,C), xor(G,G,F), xor(G,H,K), xor(G,J,M), xor(G,K,H), xor(G, M,J), xor(G,O,D), xor(H,A,C), xor(H,B,P), xor(H,C,A), xor(H,D,M), xor(H,E,L), xor(H,F,H), xor(H,I,N), xor(H, L,E), xor(H,N,I), xor(H,P,B), xor(H,G,K), xor(H,H,F), xor(H,J,O), xor(H,K,G), xor(H,M,D), xor(H,O,J), xor(J, A,E), xor(J,B,N), xor(J,C,L), xor(J,D,K), xor(J,E,A), xor(J,F,J), xor(J,I,P), xor(J,L,C), xor(J,N,B), xor(J, P,I), xor(J,G,M), xor(J,H,O), xor(J,J,F), xor(J,K,D), xor(J,M,G), xor(J,O,H), xor(K,A,P), xor(K,B,C), xor(K, C,B), xor(K,D,J), xor(K,E,I), xor(K,F,K), xor(K,I,E), xor(K,L,N), xor(K,N,L), xor(K,P,A), xor(K,G,H), xor(K, H,G), xor(K,J,D), xor(K,K,F), xor(K,M,O), xor(K,O,M), xor(M,A,N), xor(M,B,E), xor(M,C,I), xor(M,D,H), xor(M, E,B), xor(M,F,M), xor(M,I,C), xor(M,L,P), xor(M,N,A), xor(M,P,L), xor(M,G,J), xor(M,H,D), xor(M,J,G), xor(M, K,O), xor(M,M,F), xor(M,O,K), xor(O,A,L), xor(O,B,I), xor(O,C,E), xor(O,D,G), xor(O,E,C), xor(O,F,O), xor(O, I,B), xor(O,L,A), xor(O,N,P), xor(O,P,N), xor(O,G,D), xor(O,H,J), xor(O,J,H), xor(O,K,M), xor(O,M,K), xor(O, O,F). [C:-4,1,1,0 play([A,B,C,D,E]).] [1 explored search nodes] f=-0,p=4,n=4,h=0 [No compression] play([12,2,14]). play([12,14,21,10,29]). play([A,B,C,D,E,F]). [Total number of clauses = 3] yes [:- generalise(play/1)? - Time taken 0.29s] |- [False negative:]play([3,4,7]). [False negative:]play([3,6,5]). [False negative:]play([3,8,11]). [False negative:]play([3,9,10]). [False negative:]play([3,10,9]). [False negative:]play([3,11,8]). [False negative:]play([3,13,14]). [False negative:]play([3,14,13]). [False negative:]play([3,20,23]). [False negative:]play([3,21,22]). [False negative:]play([3,22,21]). [False negative:]play([3,24,27]). [False negative:]play([3,25,26]). [False negative:]play([3,27,24]). [False negative:]play([3,29,30]). [False negative:]play([3,30,29]). [False negative:]play([4,2,6]). [False negative:]play([4,5,1]). [False negative:]play([4,6,2]). [False negative:]play([4,7,3]). [False negative:]play([4,9,13]). [False negative:]play([4,10,14]). [False negative:]play([4,11,15]). [False negative:]play([4,13,9]). [False negative:]play([4,14,10]). [False negative:]play([4,17,21]). [False negative:]play([4,18,22]). [False negative:]play([4,19,23]). [False negative:]play([4,20,16]). [False negative:]play([4,21,17]). [False negative:]play([4,28,24]). [False negative:]play([4,29,25]). [False negative:]play([4,30,26]). [False negative:]play([5,2,7]). [False negative:]play([5,7,2]). [False negative:]play([5,8,13]). [False negative:]play([5,10,15]). [False negative:]play([5,13,8]). [False negative:]play([5,15,10]). [False negative:]play([5,16,21]). [False negative:]play([5,17,20]). [False negative:]play([5,20,17]). [False negative:]play([5,21,16]). [False negative:]play([5,22,19]). [False negative:]play([5,23,18]). [False negative:]play([6,5,3]). [False negative:]play([6,10,12]). [False negative:]play([6,11,13]). [False negative:]play([6,12,10]). [False negative:]play([6,15,9]). [False negative:]play([6,17,23]). [False negative:]play([6,18,20]). [False negative:]play([6,19,21]). [False negative:]play([6,20,18]). [False negative:]play([6,26,28]). [False negative:]play([6,27,29]). [False negative:]play([6,29,27]). [False negative:]play([7,2,5]). [False negative:]play([7,4,3]). [False negative:]play([7,9,14]). [False negative:]play([7,10,13]). [False negative:]play([7,11,12]). [False negative:]play([7,14,9]). [False negative:]play([7,15,8]). [False negative:]play([7,16,23]). [False negative:]play([7,19,20]). [False negative:]play([7,20,19]). [False negative:]play([7,25,30]). [False negative:]play([7,27,28]). [False negative:]play([7,28,27]). [False negative:]play([7,29,26]). [False negative:]play([8,3,11]). [False negative:]play([8,5,13]). [False negative:]play([8,6,14]). [False negative:]play([8,9,1]). [False negative:]play([8,12,4]). [False negative:]play([8,13,5]). [False negative:]play([8,18,26]). [False negative:]play([8,19,27]). [False negative:]play([8,20,28]). [False negative:]play([8,21,29]). [False negative:]play([8,22,30]). [False negative:]play([8,24,16]). [False negative:]play([8,25,17]). [False negative:]play([8,26,18]). [False negative:]play([9,3,10]). [False negative:]play([9,6,15]). [False negative:]play([9,10,3]). [False negative:]play([9,11,2]). [False negative:]play([9,13,4]). [False negative:]play([9,14,7]). [False negative:]play([9,16,25]). [False negative:]play([9,19,26]). [False negative:]play([9,21,28]). [False negative:]play([9,23,30]). [False negative:]play([9,24,17]). [False negative:]play([9,26,19]). [False negative:]play([9,29,20]). [False negative:]play([9,30,23]). [False negative:]play([10,3,9]). [False negative:]play([10,5,15]). [False negative:]play([10,6,12]). [False negative:]play([10,7,13]). [False negative:]play([10,8,2]). [False negative:]play([10,9,3]). [False negative:]play([10,11,1]). [False negative:]play([10,13,7]). [False negative:]play([10,14,4]). [False negative:]play([10,25,19]). [False negative:]play([10,26,16]). [False negative:]play([10,27,17]). [False negative:]play([10,28,22]). [False negative:]play([11,2,9]). [False negative:]play([11,4,15]). [False negative:]play([11,5,14]). [False negative:]play([11,6,13]). [False negative:]play([11,7,12]). [False negative:]play([11,8,3]). [False negative:]play([11,12,7]). [False negative:]play([11,13,6]). [False negative:]play([11,14,5]). [False negative:]play([11,16,27]). [False negative:]play([11,17,26]). [False negative:]play([11,18,25]). [False negative:]play([11,23,28]). [False negative:]play([11,24,19]). [False negative:]play([11,27,16]). [False negative:]play([11,28,23]). [False negative:]play([11,29,22]). [False negative:]play([11,30,21]). [False negative:]play([12,5,9]). [False negative:]play([12,6,10]). [False negative:]play([12,7,11]). [False negative:]play([12,8,4]). [False negative:]play([12,11,7]). [False negative:]play([12,14,2]). [False negative:]play([12,16,28]). [False negative:]play([12,21,25]). [False negative:]play([12,22,26]). [False negative:]play([12,25,21]). [False negative:]play([12,28,16]). [False negative:]play([13,2,15]). [False negative:]play([13,6,11]). [False negative:]play([13,8,5]). [False negative:]play([13,9,4]). [False negative:]play([13,14,3]). [False negative:]play([13,15,2]). [False negative:]play([13,17,28]). [False negative:]play([13,19,30]). [False negative:]play([13,25,20]). [False negative:]play([13,27,22]). [False negative:]play([13,30,19]). [False negative:]play([14,2,12]). [False negative:]play([14,8,6]). [False negative:]play([14,11,5]). [False negative:]play([14,12,2]). [False negative:]play([14,19,29]). [False negative:]play([14,20,26]). [False negative:]play([14,24,22]). [False negative:]play([14,25,23]). [False negative:]play([14,27,21]). [False negative:]play([14,29,19]). [False negative:]play([14,30,16]). [False negative:]play([15,6,9]). [False negative:]play([15,7,8]). [False negative:]play([15,9,6]). [False negative:]play([15,10,5]). [False negative:]play([15,13,2]). [False negative:]play([15,14,1]). [False negative:]play([15,17,30]). [False negative:]play([15,18,29]). [False negative:]play([15,20,27]). [False negative:]play([15,21,26]). [False negative:]play([15,23,24]). [False negative:]play([15,24,23]). [False negative:]play([15,28,19]). [False negative:]play([16,2,18]). [False negative:]play([16,3,19]). [False negative:]play([16,6,22]). [False negative:]play([16,7,23]). [False negative:]play([16,8,24]). [False negative:]play([16,9,25]). [False negative:]play([16,12,28]). [False negative:]play([16,21,5]). [False negative:]play([16,22,6]). [False negative:]play([16,28,12]). [False negative:]play([17,4,21]). [False negative:]play([17,6,23]). [False negative:]play([17,8,25]). [False negative:]play([17,9,24]). [False negative:]play([17,12,29]). [False negative:]play([17,13,28]). [False negative:]play([17,15,30]). [False negative:]play([17,16,1]). [False negative:]play([17,18,3]). [False negative:]play([17,19,2]). [False negative:]play([17,21,4]). [False negative:]play([17,25,8]). [False negative:]play([18,2,16]). [False negative:]play([18,3,17]). [False negative:]play([18,7,21]). [False negative:]play([18,9,27]). [False negative:]play([18,10,24]). [False negative:]play([18,14,28]). [False negative:]play([18,15,29]). [False negative:]play([18,16,2]). [False negative:]play([18,20,6]). [False negative:]play([18,21,7]). [False negative:]play([18,25,11]). [False negative:]play([18,26,8]). [False negative:]play([18,28,14]). [False negative:]play([18,29,15]). [False negative:]play([19,5,22]). [False negative:]play([19,6,21]). [False negative:]play([19,7,20]). [False negative:]play([19,8,27]). [False negative:]play([19,9,26]). [False negative:]play([19,14,29]). [False negative:]play([19,15,28]). [False negative:]play([19,21,6]). [False negative:]play([19,24,11]). [False negative:]play([19,27,8]). [False negative:]play([19,29,14]). [False negative:]play([20,4,16]). [False negative:]play([20,5,17]). [False negative:]play([20,6,18]). [False negative:]play([20,8,28]). [False negative:]play([20,9,29]). [False negative:]play([20,12,24]). [False negative:]play([20,14,26]). [False negative:]play([20,15,27]). [False negative:]play([20,17,5]). [False negative:]play([20,18,6]). [False negative:]play([20,19,7]). [False negative:]play([20,23,3]). [False negative:]play([20,25,13]). [False negative:]play([20,26,14]). [False negative:]play([21,6,19]). [False negative:]play([21,7,18]). [False negative:]play([21,8,29]). [False negative:]play([21,11,30]). [False negative:]play([21,16,5]). [False negative:]play([4,3,2,5]). [False negative:]play([4,3,23,16]). [False negative:]play([4,6,19,17]). [False negative:]play([4,8,4,8]). [False negative:]play([4,8,26,22]). [False negative:]play([4,11,3,12]). [False negative:]play([4,11,25,22]). [False negative:]play([4,12,17,25]). [False negative:]play([4,14,24,18]). [False negative:]play([4,15,16,27]). [False negative:]play([4,17,23,2]). [False negative:]play([4,18,15,25]). [False negative:]play([4,20,22,6]). [False negative:]play([4,21,13,28]). [False negative:]play([4,27,30,1]). [False negative:]play([4,30,29,7]). [False negative:]play([5,4,13,12]). [False negative:]play([5,5,5,5]). [False negative:]play([5,8,24,21]). [False negative:]play([5,9,16,28]). [False negative:]play([5,10,8,7]). [False negative:]play([5,10,30,17]). [False negative:]play([5,11,23,25]). [False negative:]play([5,15,14,4]). [False negative:]play([5,17,21,1]). [False negative:]play([5,18,13,26]). [False negative:]play([5,20,20,5]). [False negative:]play([5,22,4,23]). [False negative:]play([5,22,26,9]). [False negative:]play([5,25,4,24]). [False negative:]play([5,27,27,5]). [False negative:]play([5,29,13,21]). [False negative:]play([5,30,26,1]). [False negative:]play([6,4,12,14]). [False negative:]play([6,5,25,26]). [False negative:]play([6,8,22,24]). [False negative:]play([6,10,6,10]). [False negative:]play([6,11,21,24]). [False negative:]play([6,12,13,7]). [False negative:]play([6,13,5,14]). [False negative:]play([6,13,27,16]). [False negative:]play([6,15,12,5]). [False negative:]play([6,16,4,18]). [False negative:]play([6,16,26,12]). [False negative:]play([6,19,3,22]). [False negative:]play([6,20,17,3]). [False negative:]play([6,21,9,26]). [False negative:]play([6,22,2,18]). [False negative:]play([6,23,16,1]). [False negative:]play([6,24,8,22]). [False negative:]play([6,26,12,16]). [False negative:]play([6,28,18,8]). [False negative:]play([6,29,11,16]). [False negative:]play([7,3,17,21]). [False negative:]play([7,4,10,9]). [False negative:]play([7,5,23,21]). [False negative:]play([7,7,27,27]). [False negative:]play([7,8,20,27]). [False negative:]play([7,10,26,23]). [False negative:]play([7,11,18,30]). [False negative:]play([7,12,10,1]). [False negative:]play([7,13,3,9]). [False negative:]play([7,13,25,19]). [False negative:]play([7,14,17,24]). [False negative:]play([7,15,10,2]). [False negative:]play([7,18,8,29]). [False negative:]play([7,18,30,11]). [False negative:]play([7,20,15,28]). [False negative:]play([7,21,7,21]). [False negative:]play([7,23,13,29]). [False negative:]play([7,25,17,15]). [False negative:]play([7,28,16,11]). [False negative:]play([8,3,15,4]). [False negative:]play([8,4,7,11]). [False negative:]play([8,6,13,3]). [False negative:]play([8,7,6,9]). [False negative:]play([8,9,10,11]). [False negative:]play([8,12,9,13]). [False negative:]play([8,15,8,15]). [False negative:]play([8,15,29,26]). [False negative:]play([8,16,21,13]). [False negative:]play([8,18,7,29]). [False negative:]play([8,18,28,6]). [False negative:]play([8,19,20,15]). [False negative:]play([8,23,10,21]). [False negative:]play([8,23,30,1]). [False negative:]play([8,24,23,7]). [False negative:]play([8,25,15,30]). [False negative:]play([8,28,14,26]). [False negative:]play([8,29,6,19]). [False negative:]play([9,3,13,7]). [False negative:]play([9,4,27,22]). [False negative:]play([9,5,20,24]). [False negative:]play([9,7,26,20]). [False negative:]play([9,11,14,12]). [False negative:]play([9,12,28,25]). [False negative:]play([9,13,20,16]). [False negative:]play([9,14,13,10]). [False negative:]play([9,16,19,10]). [False negative:]play([9,17,12,20]). [False negative:]play([9,21,4,24]). [False negative:]play([9,22,16,15]). [False negative:]play([9,23,27,5]). [False negative:]play([9,24,21,4]). [False negative:]play([9,25,12,28]). [False negative:]play([9,26,5,22]). [False negative:]play([9,27,20,6]). [False negative:]play([9,29,4,16]). [False negative:]play([9,29,26,14]). [False negative:]play([9,30,18,5]). [False negative:]play([10,4,25,23]). [False negative:]play([10,9,30,29]). [False negative:]play([10,10,21,21]). [False negative:]play([10,11,12,13]). [False negative:]play([10,12,26,28]). [False negative:]play([10,13,18,21]). [False negative:]play([10,14,11,15]). [False negative:]play([10,16,17,11]). [False negative:]play([10,20,8,22]). [False negative:]play([10,21,20,11]). [False negative:]play([10,23,5,24]). [False negative:]play([10,24,19,1]). [False negative:]play([10,26,3,19]). [False negative:]play([10,26,25,9]). [False negative:]play([10,27,18,3]). [False negative:]play([10,29,2,21]). [False negative:]play([10,29,24,15]). [False negative:]play([10,30,16,4]). [False negative:]play([11,3,9,1]). [False negative:]play([11,3,30,22]). [False negative:]play([11,4,23,24]). [False negative:]play([11,6,7,10]). [False negative:]play([11,8,14,13]). [False negative:]play([11,9,7,5]). [False negative:]play([11,9,27,25]). [False negative:]play([11,10,19,18]). [False negative:]play([11,11,11,11]). [False negative:]play([11,12,23,16]). [False negative:]play([11,14,30,27]). [False negative:]play([11,15,22,18]). [False negative:]play([11,19,14,22]). [False negative:]play([11,20,26,5]). [False negative:]play([11,23,23,11]). [False negative:]play([11,25,8,26]). [False negative:]play([11,26,23,6]). [False negative:]play([11,28,7,16]). [False negative:]play([12,3,28,19]). [False negative:]play([12,4,20,28]). [False negative:]play([12,5,13,4]). [False negative:]play([12,6,5,15]). [False negative:]play([12,7,19,24]). [False negative:]play([12,8,12,8]). [False negative:]play([12,9,4,1]). [False negative:]play([12,9,25,28]). [False negative:]play([12,10,18,20]). [False negative:]play([12,12,3,3]). [False negative:]play([12,15,20,23]). [False negative:]play([12,17,6,27]). [False negative:]play([12,20,22,14]). [False negative:]play([12,22,8,18]). [False negative:]play([12,22,29,7]). [False negative:]play([12,24,14,26]). [False negative:]play([12,28,5,21]). [False negative:]play([12,28,27,11]). [False negative:]play([12,30,11,25]). [False negative:]play([13,3,26,20]). [False negative:]play([13,7,17,27]). [False negative:]play([13,9,23,19]). [False negative:]play([13,11,9,15]). [False negative:]play([13,12,21,20]). [False negative:]play([13,13,13,13]). [False negative:]play([13,16,11,22]). [False negative:]play([13,17,24,4]). [False negative:]play([13,18,16,15]). [False negative:]play([13,19,7,25]). [False negative:]play([13,20,20,13]). [False negative:]play([13,22,6,29]). [False negative:]play([13,22,26,1]). [False negative:]play([13,23,19,9]). [False negative:]play([13,25,26,14]). [False negative:]play([13,28,25,8]). [False negative:]play([13,29,18,2]). [False negative:]play([13,30,9,26]). [False negative:]play([14,3,24,21]). [False negative:]play([14,4,16,26]). [False negative:]play([14,5,30,21]). [False negative:]play([14,6,22,30]). [False negative:]play([14,8,29,27]). [False negative:]play([14,10,14,10]). [False negative:]play([14,11,7,2]). [False negative:]play([14,11,28,25]). [False negative:]play([14,12,20,22]). [False negative:]play([14,13,13,14]). [False negative:]play([14,14,5,5]). [False negative:]play([14,15,16,17]). [False negative:]play([14,16,8,22]). [False negative:]play([14,18,12,16]). [False negative:]play([14,19,5,24]). [False negative:]play([14,19,25,4]). [False negative:]play([14,21,11,16]). [False negative:]play([14,22,25,1]). [False negative:]play([14,23,17,8]). [False negative:]play([14,24,10,28]). [False negative:]play([14,25,24,15]). [False negative:]play([14,27,8,29]). [False negative:]play([15,5,6,12]). [False negative:]play([15,5,28,22]). [False negative:]play([15,7,13,5]). [False negative:]play([15,12,18,17]). [False negative:]play([15,17,17,15]). [False negative:]play([15,18,10,23]). [False negative:]play([15,19,23,11]). [False negative:]play([15,21,9,19]). [False negative:]play([15,22,22,15]). [False negative:]play([15,24,29,10]). [False negative:]play([15,27,6,18]). [False negative:]play([15,27,28,8]). [False negative:]play([15,28,21,6]). [False negative:]play([15,29,12,30]). [False negative:]play([15,30,5,20]). [False negative:]play([15,30,27,10]). [False negative:]play([16,4,12,24]). [False negative:]play([16,5,26,15]). [False negative:]play([16,7,11,28]). [False negative:]play([16,9,17,8]). [False negative:]play([16,10,10,16]). [False negative:]play([16,11,23,12]). [False negative:]play([16,13,9,20]). [False negative:]play([16,13,30,3]). [False negative:]play([16,14,21,11]). [False negative:]play([16,15,13,18]). [False negative:]play([16,16,24,24]). [False negative:]play([16,25,19,26]). [False negative:]play([16,27,4,15]). [False negative:]play([16,30,3,13]). [False negative:]play([17,3,17,3]). [False negative:]play([17,5,24,12]). [False negative:]play([5,6,24,19,8]). [False negative:]play([5,7,22,13,25]). [False negative:]play([5,10,15,17,17]). [False negative:]play([5,12,10,27,24]). [False negative:]play([5,15,4,5,11]). [False negative:]play([5,15,29,26,13]). [False negative:]play([5,16,27,18,28]). [False negative:]play([5,19,20,23,21]). [False negative:]play([5,21,16,6,6]). [False negative:]play([5,22,13,26,4]). [False negative:]play([5,25,7,5,30]). [False negative:]play([6,4,4,27,29]). [False negative:]play([6,6,26,12,22]). [False negative:]play([6,8,21,26,1]). [False negative:]play([6,10,17,13,16]). [False negative:]play([6,12,12,24,30]). [False negative:]play([6,13,10,18,19]). [False negative:]play([6,14,8,10,10]). [False negative:]play([6,15,6,2,13]). [False negative:]play([6,16,3,23,2]). [False negative:]play([6,16,29,14,5]). [False negative:]play([6,17,27,5,9]). [False negative:]play([6,21,18,3,2]). [False negative:]play([7,4,6,29,24]). [False negative:]play([7,6,28,15,18]). [False negative:]play([7,7,26,11,17]). [False negative:]play([7,10,19,13,19]). [False negative:]play([7,12,14,28,25]). [False negative:]play([7,14,10,11,8]). [False negative:]play([7,15,8,5,5]). [False negative:]play([7,18,26,29,18]). [False negative:]play([7,20,22,12,9]). [False negative:]play([8,4,9,6,3]). [False negative:]play([8,5,6,26,17]). [False negative:]play([8,6,30,8,24]). [False negative:]play([8,8,25,27,2]). [False negative:]play([8,10,21,18,5]). [False negative:]play([8,13,14,23,28]). [False negative:]play([8,18,3,12,21]). [False negative:]play([8,18,29,3,4]). [False negative:]play([8,23,18,3,14]). [False negative:]play([9,6,6,24,17]). [False negative:]play([9,7,4,15,5]). [False negative:]play([9,8,28,5,24]). [False negative:]play([9,10,23,24,12]). [False negative:]play([9,11,21,17,6]). [False negative:]play([9,12,19,8,30]). [False negative:]play([9,13,16,29,9]). [False negative:]play([9,18,5,15,17]). [False negative:]play([9,19,28,30,24]). [False negative:]play([9,21,24,19,23]). [False negative:]play([9,22,22,14,7]). [False negative:]play([9,24,17,29,29]). [False negative:]play([9,25,15,24,7]). [False negative:]play([10,4,13,18,17]). [False negative:]play([10,5,11,10,14]). [False negative:]play([10,6,8,30,26]). [False negative:]play([10,7,6,22,29]). [False negative:]play([10,8,4,12,10]). [False negative:]play([10,8,30,7,27]). [False negative:]play([10,11,23,23,1]). [False negative:]play([10,12,21,15,28]). [False negative:]play([10,17,9,30,12]). [False negative:]play([10,19,5,16,12]). [False negative:]play([10,20,3,8,21]). [False negative:]play([10,21,26,30,27]). [False negative:]play([11,4,15,22,22]). [False negative:]play([11,5,13,16,19]). [False negative:]play([11,8,6,17,20]). [False negative:]play([11,9,4,11,13]). [False negative:]play([11,10,28,4,25]). [False negative:]play([11,12,23,22,6]). [False negative:]play([11,13,21,13,30]). [False negative:]play([11,15,16,25,13]). [False negative:]play([11,16,14,16,5]). [False negative:]play([11,19,7,20,11]). [False negative:]play([11,22,27,3,5]). [False negative:]play([11,23,24,24,28]). [False negative:]play([11,25,20,4,2]). [False negative:]play([12,4,17,28,5]). [False negative:]play([12,7,11,4,4]). [False negative:]play([12,9,6,14,13]). [False negative:]play([12,10,29,29,6]). [False negative:]play([12,12,25,18,11]). [False negative:]play([12,13,23,15,25]). [False negative:]play([12,18,12,11,25]). [False negative:]play([12,19,10,7,18]). [False negative:]play([12,20,7,30,1]). [False negative:]play([12,21,5,24,4]). [False negative:]play([12,22,3,16,9]). [False negative:]play([12,23,26,29,28]). [False negative:]play([12,24,24,20,24]). [False negative:]play([13,7,13,9,14]). [False negative:]play([13,8,10,29,18]). [False negative:]play([13,9,8,21,25]). [False negative:]play([13,11,29,26,1]). [False negative:]play([13,12,27,24,2]). [False negative:]play([13,13,25,20,13]). [False negative:]play([13,15,21,9,30]). [False negative:]play([13,17,16,24,20]). [False negative:]play([13,20,10,7,20]). [False negative:]play([13,22,5,19,13]). [False negative:]play([13,25,24,17,29]). [False negative:]play([14,4,22,9,21]). [False negative:]play([14,7,15,15,9]). [False negative:]play([14,8,13,6,13]). [False negative:]play([14,9,10,27,22]). [False negative:]play([14,12,29,27,4]). [False negative:]play([14,13,27,22,14]). [False negative:]play([14,15,23,14,24]). [False negative:]play([14,16,21,9,2]). [False negative:]play([14,17,19,5,9]). [False negative:]play([14,18,16,29,17]). [False negative:]play([14,19,14,23,4]). [False negative:]play([14,20,12,14,24]). [False negative:]play([14,21,10,5,20]). [False negative:]play([14,22,7,26,5]). [False negative:]play([14,24,3,12,25]). [False negative:]play([14,24,29,3,8]). [False negative:]play([14,25,26,24,21]). [False negative:]play([15,4,24,15,28]). [False negative:]play([15,9,13,4,15]). [False negative:]play([15,11,8,16,28]). [False negative:]play([15,12,6,9,12]). [False negative:]play([15,13,4,2,4]). [False negative:]play([15,13,29,26,5]). [False negative:]play([15,14,27,23,13]). [False negative:]play([15,16,23,16,24]). [False negative:]play([15,17,21,13,6]). [False negative:]play([15,18,19,7,9]). [False negative:]play([15,20,14,20,1]). [False negative:]play([15,21,12,12,26]). [False negative:]play([15,24,5,19,1]). [False negative:]play([15,25,28,30,20]). [False negative:]play([16,5,24,12,1]). [False negative:]play([16,6,22,7,7]). [False negative:]play([16,8,17,19,26]). [False negative:]play([16,10,13,2,21]). [False negative:]play([16,13,6,9,18]). [False negative:]play([16,14,4,3,25]). [False negative:]play([16,14,29,30,29]). [False negative:]play([16,18,21,14,25]). [False negative:]play([16,19,19,6,22]). [False negative:]play([17,4,3,7,17]). [False negative:]play([17,4,28,28,21]). [False negative:]play([17,7,22,5,5]). [False negative:]play([17,14,6,10,19]). [False negative:]play([17,17,25,24,1]). [False negative:]play([17,18,23,19,7]). [False negative:]play([17,20,19,4,18]). [False negative:]play([17,22,14,16,25]). [False negative:]play([17,23,12,7,13]). [False negative:]play([17,24,9,28,28]). [False negative:]play([18,4,5,14,29]). [False negative:]play([18,5,28,26,17]). [False negative:]play([18,8,22,3,15]). [False negative:]play([18,9,19,24,16]). [False negative:]play([18,10,17,15,6]). [False negative:]play([18,12,12,30,12]). [False negative:]play([18,14,8,21,1]). [False negative:]play([18,15,6,14,21]). [False negative:]play([18,16,30,2,30]). [False negative:]play([18,20,21,10,25]). [False negative:]play([18,21,19,2,22]). [False negative:]play([18,24,12,5,3]). [False negative:]play([19,4,7,21,5]). [False negative:]play([19,7,26,15,1]). [False negative:]play([19,8,24,10,9]). [False negative:]play([19,12,15,7,23]). [False negative:]play([19,13,13,4,23]). [False negative:]play([19,15,8,21,1]). [False negative:]play([19,17,4,7,1]). [False negative:]play([19,17,29,30,1]). [False negative:]play([19,19,25,23,14]). [False negative:]play([19,22,18,29,10]). [False negative:]play([19,23,16,21,1]). [False negative:]play([19,24,14,12,9]). [False negative:]play([20,5,7,18,4]). [False negative:]play([20,6,5,10,29]). [False negative:]play([20,6,30,30,18]). [False negative:]play([20,7,28,22,25]). [False negative:]play([20,8,26,17,23]). [False negative:]play([20,9,24,11,14]). [False negative:]play([20,10,22,5,13]). [False negative:]play([20,13,15,15,25]). [False negative:]play([20,14,13,6,17]). [False negative:]play([20,16,8,18,30]). [False negative:]play([20,17,6,10,9]). [False negative:]play([20,18,29,24,3]). [False negative:]play([20,19,27,16,12]). [False negative:]play([20,21,23,11,29]). [False negative:]play([20,22,21,5,18]). [False negative:]play([20,23,18,27,10]). [False negative:]play([20,24,16,18,14]). [False negative:]play([20,25,14,10,9]). [False negative:]play([21,5,9,24,1]). [False negative:]play([21,7,5,7,16]). [False negative:]play([21,7,30,28,16]). [False negative:]play([21,8,28,23,22]). [False negative:]play([21,11,22,9,1]). [False negative:]play([21,12,19,30,20]). [False negative:]play([21,13,17,21,28]). [False negative:]play([21,18,6,10,11]). [False negative:]play([21,21,25,16,9]). [False negative:]play([21,22,23,10,30]). [False negative:]play([21,25,16,16,12]). [False negative:]play([22,6,9,22,15]). [False negative:]play([22,8,5,6,29]). [False negative:]play([22,8,30,30,30]). [False negative:]play([22,9,28,27,24]). [False negative:]play([22,10,26,22,16]). [False negative:]play([22,12,22,7,11]). [False negative:]play([22,15,15,11,29]). [False negative:]play([22,18,8,14,2]). [False negative:]play([22,20,3,27,26]). [False negative:]play([22,20,29,23,8]). [False negative:]play([22,21,27,18,10]). [False negative:]play([22,22,25,13,20]). [False negative:]play([22,24,20,28,6]). [False negative:]play([22,25,18,19,14]). [False negative:]play([23,6,11,29,7]). [False negative:]play([23,8,7,12,20]). [False negative:]play([23,9,5,9,18]). [False negative:]play([23,10,3,4,26]). [False negative:]play([23,10,28,28,29]). [False negative:]play([23,12,24,14,13]). [False negative:]play([23,16,15,9,1]). [False negative:]play([23,19,8,11,7]). [False negative:]play([23,21,3,26,27]). [False negative:]play([24,5,16,15,2]). [False negative:]play([24,8,10,2,24]). [False negative:]play([24,10,5,14,25]). [False negative:]play([24,11,28,26,21]). [False negative:]play([24,13,24,8,5]). [False negative:]play([24,16,17,15,22]). [False negative:]play([24,17,15,7,1]). [False negative:]play([24,18,12,27,29]). [False negative:]play([24,21,6,4,15]). [False negative:]play([24,22,29,16,3]). [False negative:]play([24,24,25,5,28]). [False negative:]play([24,25,23,2,20]). [False negative:]play([25,4,20,26,19]). [False negative:]play([25,5,18,19,29]). [False negative:]play([25,6,16,12,3]). [False negative:]play([25,11,5,9,30]). [False negative:]play([25,14,24,3,12]). [False negative:]play([25,15,21,26,25]). [False negative:]play([25,19,12,21,19]). [False negative:]play([25,20,10,16,23]). [False negative:]play([25,21,8,8,12]). [False negative:]play([25,22,5,28,22]). [False negative:]play([25,23,3,20,25]). [False positive:]:- play([6,5,4,3,2,1]). [False positive:]:- play([6,5,16,22,29,30]). [False positive:]:- play([6,6,20,6,27,22]). [False positive:]:- play([6,8,14,10,24,9]). [False positive:]:- play([6,10,8,14,19,17]). [False positive:]:- play([6,10,21,6,17,20]). [False positive:]:- play([6,11,24,18,14,19]). [False positive:]:- play([6,12,15,10,13,7]). [False positive:]:- play([6,13,5,30,11,19]). [False positive:]:- play([6,13,18,22,10,3]). [False positive:]:- play([6,15,25,18,3,23]). [False positive:]:- play([6,17,6,29,29,21]). [False positive:]:- play([6,17,19,21,28,4]). [False positive:]:- play([6,19,13,25,23,9]). [False positive:]:- play([6,20,4,17,21,23]). [False positive:]:- play([6,22,11,13,15,22]). [False positive:]:- play([6,22,24,5,13,24]). [False positive:]:- play([6,24,18,9,9,20]). [False positive:]:- play([6,25,8,29,8,20]). [False positive:]:- play([6,25,21,21,7,16]). [False positive:]:- play([7,5,25,5,5,12]). [False positive:]:- play([7,6,15,25,4,9]). [False positive:]:- play([7,7,6,17,3,5]). [False positive:]:- play([7,7,19,9,2,1]). [False positive:]:- play([7,8,9,28,29,30]). [False positive:]:- play([7,9,13,12,26,27]). [False positive:]:- play([7,11,7,16,22,2]). [False positive:]:- play([7,11,20,8,20,6]). [False positive:]:- play([7,12,23,20,17,3]). [False positive:]:- play([7,14,17,24,12,18]). [False positive:]:- play([7,15,8,16,11,1]). [False positive:]:- play([7,15,21,8,9,17]). [False positive:]:- play([7,16,11,28,7,19]). [False positive:]:- play([7,16,24,20,6,7]). [False positive:]:- play([7,19,9,15,29,2]). [False positive:]:- play([7,23,10,15,18,8]). [False positive:]:- play([7,25,4,19,14,3]). [False positive:]:- play([8,6,11,15,8,29]). [False positive:]:- play([8,8,5,19,3,30]). [False positive:]:- play([8,9,8,30,30,25]). [False positive:]:- play([8,9,21,22,29,24]). [False positive:]:- play([8,10,12,14,28,18]). [False positive:]:- play([8,10,25,6,27,20]). [False positive:]:- play([8,11,15,26,26,15]). [False positive:]:- play([8,12,19,10,23,28]). [False positive:]:- play([8,13,9,30,22,8]). [False positive:]:- play([8,14,13,14,19,17]). [False positive:]:- play([8,17,10,30,11,29]). [False positive:]:- play([8,17,23,22,10,27]). [False positive:]:- play([8,18,14,14,9,1]). [False positive:]:- play([8,19,17,26,6,11]). [False positive:]:- play([8,20,8,18,5,5]). [False positive:]:- play([8,21,11,30,2,29]). [False positive:]:- play([8,21,24,21,30,25]). [False positive:]:- play([8,22,15,13,29,21]). [False positive:]:- play([8,23,6,5,28,20]). [False positive:]:- play([8,24,9,17,26,14]). [False positive:]:- play([8,24,22,9,24,18]). [False positive:]:- play([9,5,16,13,20,1]). [False positive:]:- play([9,6,7,5,18,16]). [False positive:]:- play([9,8,13,29,12,17]). [False positive:]:- play([9,10,20,25,8,8]). [False positive:]:- play([9,11,11,17,7,3]). [False positive:]:- play([9,11,24,9,6,2]). [False positive:]:- play([9,13,18,12,30,25]). [False positive:]:- play([9,14,21,24,28,4]). [False positive:]:- play([9,15,12,16,26,9]). [False positive:]:- play([9,15,25,8,24,30]). [False positive:]:- play([9,16,15,28,23,11]). [False positive:]:- play([9,17,6,20,21,22]). [False positive:]:- play([9,20,16,28,13,21]). [False positive:]:- play([9,21,7,20,12,18]). [False positive:]:- play([9,22,23,24,9,11]). [False positive:]:- play([9,24,17,28,5,8]). [False positive:]:- play([10,5,12,3,30,5]). [False positive:]:- play([10,5,24,23,28,7]). [False positive:]:- play([10,6,15,15,26,20]). [False positive:]:- play([10,7,6,7,25,4]). [False positive:]:- play([10,7,18,27,23,12]). [False positive:]:- play([10,8,22,11,21,3]). [False positive:]:- play([10,10,16,15,17,24]). [False positive:]:- play([10,12,23,11,12,29]). [False positive:]:- play([10,14,17,15,8,9]). [False positive:]:- play([10,15,20,27,5,20]). [False positive:]:- play([10,16,24,11,2,27]). [False positive:]:- play([10,18,5,22,28,29]). [False positive:]:- play([10,18,18,14,27,19]). [False positive:]:- play([10,19,9,6,25,23]). [False positive:]:- play([10,19,21,26,24,22]). [False positive:]:- play([10,21,15,30,21,3]). [False positive:]:- play([10,25,16,30,12,6]). [False positive:]:- play([11,5,7,22,10,22]). [False positive:]:- play([11,6,11,6,7,22]). [False positive:]:- play([11,7,14,18,4,10]). [False positive:]:- play([11,8,5,10,2,26]). [False positive:]:- play([11,9,21,13,28,17]). [False positive:]:- play([11,10,12,5,27,12]). [False positive:]:- play([11,11,15,17,25,12]). [False positive:]:- play([11,12,6,9,23,30]). [False positive:]:- play([11,12,18,29,22,20]). [False positive:]:- play([11,13,9,21,20,28]). [False positive:]:- play([11,14,13,5,17,27]). [False positive:]:- play([11,16,7,9,13,20]). [False positive:]:- play([11,16,19,29,12,16]). [False positive:]:- play([11,19,4,25,6,22]). [False positive:]:- play([11,20,8,9,3,28]). [False positive:]:- play([11,20,20,29,2,26]). [False positive:]:- play([11,21,11,20,30,23]). [False positive:]:- play([11,21,24,12,29,20]). [False positive:]:- play([11,22,15,4,28,17]). [False positive:]:- play([11,23,18,16,26,14]). [False positive:]:- play([11,24,9,8,25,10]). [False positive:]:- play([11,24,21,28,23,12]). [False positive:]:- play([11,25,25,12,20,12]). [False positive:]:- play([12,6,6,24,17,13]). [False positive:]:- play([12,6,19,16,15,26]). [False positive:]:- play([12,7,22,28,12,12]). [False positive:]:- play([12,8,13,20,10,27]). [False positive:]:- play([12,9,4,12,9,21]). [False positive:]:- play([12,9,17,4,8,7]). [False positive:]:- play([12,11,11,8,3,21]). [False positive:]:- play([12,11,23,28,2,20]). [False positive:]:- play([12,12,14,19,30,10]). [False positive:]:- play([12,13,18,3,28,1]). [False positive:]:- play([12,14,8,23,27,1]). [False positive:]:- play([12,14,21,15,25,26]). [False positive:]:- play([12,17,6,11,21,16]). [False positive:]:- play([12,18,22,15,18,7]). [False positive:]:- play([12,19,13,7,17,3]). [False positive:]:- play([12,19,25,27,16,2]). [False positive:]:- play([12,20,16,19,14,15]). [False positive:]:- play([12,22,23,15,8,22]). [False positive:]:- play([12,23,14,7,7,3]). [False positive:]:- play([12,24,4,27,5,29]). [False positive:]:- play([12,25,8,11,2,27]). [False positive:]:- play([12,25,20,30,30,9]). [False positive:]:- play([13,5,11,22,28,14]). [False positive:]:- play([13,6,15,6,25,17]). [False positive:]:- play([13,8,9,10,20,15]). [False positive:]:- play([13,9,12,22,17,26]). [False positive:]:- play([13,11,19,18,12,7]). [False positive:]:- play([13,12,10,10,10,25]). [False positive:]:- play([13,14,4,14,7,19]). [False positive:]:- play([13,15,7,26,5,10]). [False positive:]:- play([13,16,23,30,2,4]). [False positive:]:- play([13,17,14,21,30,3]). [False positive:]:- play([13,18,5,13,28,29]). [False positive:]:- play([13,18,18,5,27,25]). [False positive:]:- play([13,19,8,25,26,24]). [False positive:]:- play([13,19,21,17,25,21]). [False positive:]:- play([13,20,24,29,22,27]). [False positive:]:- play([13,21,15,21,21,7]). [False positive:]:- play([13,22,19,5,18,10]). [False positive:]:- play([13,24,25,29,12,17]). [False positive:]:- play([14,5,7,13,9,17]). [False positive:]:- play([14,5,20,5,7,30]). [False positive:]:- play([14,6,10,25,6,2]). [False positive:]:- play([14,6,23,17,4,21]). [False positive:]:- play([14,7,14,9,3,5]). [False positive:]:- play([14,8,17,20,29,2]). [False positive:]:- play([14,9,8,12,27,7]). [False positive:]:- play([14,9,21,4,26,5]). [False positive:]:- play([14,10,11,24,24,12]). [False positive:]:- play([14,12,5,28,20,16]). [False positive:]:- play([14,13,22,4,17,6]). [False positive:]:- play([14,14,25,16,15,1]). [False positive:]:- play([14,16,6,28,12,26]). [False positive:]:- play([14,16,19,20,11,25]). [False positive:]:- play([14,17,10,12,10,21]). [False positive:]:- play([14,18,13,24,8,17]). [False positive:]:- play([14,19,4,16,7,12]). [False positive:]:- play([14,20,20,20,3,23]). [False positive:]:- play([14,22,14,23,28,14]). [False positive:]:- play([14,23,5,15,26,27]). [False positive:]:- play([14,23,18,7,25,13]). [False positive:]:- play([14,25,25,3,19,4]). [False positive:]:- play([15,6,6,15,16,4]). [False positive:]:- play([15,6,19,7,14,22]). [False positive:]:- play([15,7,9,27,12,24]). [False positive:]:- play([15,7,22,19,11,14]). [False positive:]:- play([15,8,13,11,9,23]). [False positive:]:- play([15,9,4,3,8,11]). [False positive:]:- play([15,10,7,15,5,1]). [False positive:]:- play([15,10,20,7,3,27]). [False positive:]:- play([15,11,23,18,30,8]). [False positive:]:- play([15,13,4,30,27,28]). [False positive:]:- play([15,14,8,14,25,22]). [False positive:]:- play([15,15,11,26,23,18]). [False positive:]:- play([15,20,16,10,13,9]). [False positive:]:- play([15,21,19,22,10,18]). [False positive:]:- play([15,22,10,14,9,1]). [False positive:]:- play([15,22,23,6,7,28]). [False positive:]:- play([15,24,4,18,4,22]). [False positive:]:- play([15,24,17,10,3,8]). [False positive:]:- play([15,25,20,21,29,3]). [False positive:]:- play([16,5,11,13,27,11]). [False positive:]:- play([16,5,24,5,25,23]). [False positive:]:- play([16,6,14,25,24,10]). [False positive:]:- play([16,7,18,9,21,9]). [False positive:]:- play([16,8,8,29,19,10]). [False positive:]:- play([16,8,21,21,18,11]). [False positive:]:- play([16,9,12,13,16,15]). [False positive:]:- play([16,11,6,17,11,30]). [False positive:]:- play([16,13,13,13,7,11]). [False positive:]:- play([16,14,16,25,5,10]). [False positive:]:- play([16,16,10,29,2,1]). [False positive:]:- play([16,16,23,20,29,26]). [False positive:]:- play([16,17,14,12,28,23]). [False positive:]:- play([16,19,8,16,25,18]). [False positive:]:- play([16,19,21,8,24,15]). [False positive:]:- play([16,20,24,20,21,24]). [False positive:]:- play([16,22,6,4,18,29]). [False positive:]:- play([16,22,18,24,17,18]). [False positive:]:- play([16,23,9,16,15,24]). [False positive:]:- play([16,23,22,8,14,18]). [False positive:]:- play([16,24,25,20,11,12]). [False positive:]:- play([17,5,7,4,8,10]). [False positive:]:- play([17,6,10,16,4,29]). [False positive:]:- play([17,8,4,19,29,9]). [False positive:]:- play([17,9,8,3,26,2]). [False positive:]:- play([17,9,20,23,25,3]). [False positive:]:- play([17,12,5,19,19,8]). [False positive:]:- play([17,13,9,3,17,3]). [False positive:]:- play([17,14,12,15,14,28]). [False positive:]:- play([17,14,25,7,13,27]). [False positive:]:- play([17,15,15,27,12,23]). [False positive:]:- play([17,16,6,19,11,19]). [False positive:]:- play([17,17,22,23,8,13]). [False positive:]:- play([17,19,4,7,6,8]). [False positive:]:- play([17,19,16,27,5,4]). [False positive:]:- play([17,20,20,11,2,13]). [False positive:]:- play([17,21,10,30,29,27]). [False positive:]:- play([17,21,23,22,28,26]). [False positive:]:- play([17,22,14,14,27,6]). [False positive:]:- play([17,23,5,6,25,23]). [False positive:]:- play([17,25,11,30,19,15]). [False positive:]:- play([18,6,6,6,14,28]). [False positive:]:- play([18,6,18,26,13,14]). [False positive:]:- play([18,9,16,14,5,25]). [False positive:]:- play([18,10,7,6,4,11]). [False positive:]:- play([18,10,19,26,3,5]). [False positive:]:- play([18,11,10,17,30,9]). [False positive:]:- play([18,12,13,29,27,25]). [False positive:]:- play([18,13,4,21,26,21]). [False positive:]:- play([18,14,8,5,24,16]). [False positive:]:- play([18,15,24,9,21,9]). [False positive:]:- play([18,16,14,29,20,6]). [False positive:]:- play([18,17,5,21,19,2]). [False positive:]:- play([18,21,6,21,4,2]). [False positive:]:- play([18,21,18,29,28,2]). [False positive:]:- play([18,22,21,19,18,2]). [False positive:]:- play([18,23,11,28,13,2]). [False positive:]:- play([18,24,14,18,3,2]). [False positive:]:- play([19,5,7,16,17,2]). [False positive:]:- play([19,5,19,25,12,2]). [False positive:]:- play([19,6,22,15,2,2]). [False positive:]:- play([19,7,12,23,26,2]). [False positive:]:- play([19,7,25,4,21,2]). [False positive:]:- play([19,9,5,22,11,2]). [False positive:]:- play([19,10,8,11,30,2]). [False positive:]:- play([19,11,10,29,20,2]). [False positive:]:- play([19,11,23,10,15,2]). [False positive:]:- play([19,12,25,28,5,2]). [False positive:]:- play([19,15,9,7,14,2]). [False positive:]:- play([19,16,11,25,4,2]). [False positive:]:- play([19,17,14,14,23,2]). TP = 269 FP = 266 TN = 731 FN = 734 yes [:- test(test_2000_progol,[[_,TP,FP,TN,FN]]), tell('oneResult.txt'), write(TP), write(','), write(FP), write(','), write(TN), write(','), write(FN), nl, told? - Time taken 0.02s] |-