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,and(+int,+int,-int))? - Time taken 0.00s]
[:- modeb(1,or(+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_167.pl]? - Time taken 0.00s]
|- [Generalising play([18,17,3]).]
[Most specific clause is]

play([A,B,C]) :- and(A,A,A), and(A,B,D), and(A,C,E), and(B,A,
	D), and(B,B,B), and(B,C,F), and(C,A,E), and(C,B,F), and(C,
	C,C), or(A,A,A), or(A,B,G), or(A,C,G), or(B,A,G), or(B,
	B,B), or(B,C,G), or(C,A,G), or(C,B,G), or(C,C,C), xor(A,
	A,H), xor(A,B,C), xor(A,C,B), xor(B,A,C), xor(B,B,H),
	xor(B,C,A), xor(C,A,B), xor(C,B,A), xor(C,C,H), and(A,
	F,H), and(A,E,E), and(A,D,D), and(A,G,A), and(A,H,H),
	and(B,F,F), and(B,E,H), and(B,D,D), and(B,G,B), and(B,
	H,H), and(C,F,F), and(C,E,E), and(C,D,H), and(C,G,C),
	and(C,H,H), and(F,A,H), and(F,B,F), and(F,C,F), and(F,
	F,F), and(F,E,H), and(F,D,H), and(F,G,F), and(F,H,H),
	and(E,A,E), and(E,B,H), and(E,C,E), and(E,F,H), and(E,
	E,E), and(E,D,H), and(E,G,E), and(E,H,H), and(D,A,D),
	and(D,B,D), and(D,C,H), and(D,F,H), and(D,E,H), and(D,
	D,D), and(D,G,D), and(D,H,H), and(G,A,A), and(G,B,B),
	and(G,C,C), and(G,F,F), and(G,E,E), and(G,D,D), and(G,
	G,G), and(G,H,H), and(H,A,H), and(H,B,H), and(H,C,H),
	and(H,F,H), and(H,E,H), and(H,D,H), and(H,G,H), and(H,
	H,H), or(A,F,G), or(A,E,A), or(A,D,A), or(A,G,G), or(A,
	H,A), or(B,F,B), or(B,E,G), or(B,D,B), or(B,G,G), or(B,
	H,B), or(C,F,C), or(C,E,C), or(C,D,G), or(C,G,G), or(C,
	H,C), or(F,A,G), or(F,B,B), or(F,C,C), or(F,F,F), or(F,
	E,C), or(F,D,B), or(F,G,G), or(F,H,F), or(E,A,A), or(E,
	B,G), or(E,C,C), or(E,F,C), or(E,E,E), or(E,D,A), or(E,
	G,G), or(E,H,E), or(D,A,A), or(D,B,B), or(D,C,G), or(D,
	F,B), or(D,E,A), or(D,D,D), or(D,G,G), or(D,H,D), or(G,
	A,G), or(G,B,G), or(G,C,G), or(G,F,G), or(G,E,G), or(G,
	D,G), or(G,G,G), or(G,H,G), or(H,A,A), or(H,B,B), or(H,
	C,C), or(H,F,F), or(H,E,E), or(H,D,D), or(H,G,G), or(H,
	H,H), xor(A,F,G), xor(A,E,D), xor(A,D,E), xor(A,G,F),
	xor(A,H,A), xor(B,F,D), xor(B,E,G), xor(B,D,F), xor(B,
	G,E), xor(B,H,B), xor(C,F,E), xor(C,E,F), xor(C,D,G),
	xor(C,G,D), xor(C,H,C), xor(F,A,G), xor(F,B,D), xor(F,
	C,E), xor(F,F,H), xor(F,E,C), xor(F,D,B), xor(F,G,A),
	xor(F,H,F), xor(E,A,D), xor(E,B,G), xor(E,C,F), xor(E,
	F,C), xor(E,E,H), xor(E,D,A), xor(E,G,B), xor(E,H,E),
	xor(D,A,E), xor(D,B,F), xor(D,C,G), xor(D,F,B), xor(D,
	E,A), xor(D,D,H), xor(D,G,C), xor(D,H,D), xor(G,A,F),
	xor(G,B,E), xor(G,C,D), xor(G,F,A), xor(G,E,B), xor(G,
	D,C), xor(G,G,H), xor(G,H,G), xor(H,A,A), xor(H,B,B),
	xor(H,C,C), xor(H,F,F), xor(H,E,E), xor(H,D,D), xor(H,
	G,G), xor(H,H,H).

[C:3,6,3,0 play([A,B,C]).]
[C:1,6,3,0 play([A,B,C]) :- and(A,A,A).]
[C:1,6,3,0 play([A,B,C]) :- and(A,A,D).]
[C:1,6,3,0 play([A,B,C]) :- and(A,B,D).]
[C:1,6,3,0 play([A,B,C]) :- and(A,C,D).]
[C:1,6,3,0 play([A,B,C]) :- and(B,A,D).]
[C:1,6,3,0 play([A,B,C]) :- and(B,B,B).]
[C:1,6,3,0 play([A,B,C]) :- and(B,B,D).]
[C:1,6,3,0 play([A,B,C]) :- and(B,C,D).]
[C:1,6,3,0 play([A,B,C]) :- and(C,A,D).]
[C:1,6,3,0 play([A,B,C]) :- and(C,B,D).]
[C:1,6,3,0 play([A,B,C]) :- and(C,C,C).]
[C:1,6,3,0 play([A,B,C]) :- and(C,C,D).]
[C:1,6,3,0 play([A,B,C]) :- or(A,A,A).]
[C:1,6,3,0 play([A,B,C]) :- or(A,A,D).]
[C:1,6,3,0 play([A,B,C]) :- or(A,B,D).]
[C:1,6,3,0 play([A,B,C]) :- or(A,C,D).]
[C:1,6,3,0 play([A,B,C]) :- or(B,A,D).]
[C:1,6,3,0 play([A,B,C]) :- or(B,B,B).]
[C:1,6,3,0 play([A,B,C]) :- or(B,B,D).]
[C:1,6,3,0 play([A,B,C]) :- or(B,C,D).]
[C:1,6,3,0 play([A,B,C]) :- or(C,A,D).]
[C:1,6,3,0 play([A,B,C]) :- or(C,B,D).]
[C:1,6,3,0 play([A,B,C]) :- or(C,C,C).]
[C:1,6,3,0 play([A,B,C]) :- or(C,C,D).]
[C:1,6,3,0 play([A,B,C]) :- xor(A,A,D).]
[C:5,6,0,0 play([A,B,C]) :- xor(A,B,C).]
[C:1,6,3,0 play([A,B,C]) :- xor(A,B,D).]
[C:5,6,0,0 play([A,B,C]) :- xor(A,C,B).]
[C:1,6,3,0 play([A,B,C]) :- xor(A,C,D).]
[C:5,6,0,0 play([A,B,C]) :- xor(B,A,C).]
[C:1,6,3,0 play([A,B,C]) :- xor(B,A,D).]
[C:1,6,3,0 play([A,B,C]) :- xor(B,B,D).]
[C:5,6,0,0 play([A,B,C]) :- xor(B,C,A).]
[C:1,6,3,0 play([A,B,C]) :- xor(B,C,D).]
[C:5,6,0,0 play([A,B,C]) :- xor(C,A,B).]
[C:1,6,3,0 play([A,B,C]) :- xor(C,A,D).]
[C:5,6,0,0 play([A,B,C]) :- xor(C,B,A).]
[C:1,6,3,0 play([A,B,C]) :- xor(C,B,D).]
[C:1,6,3,0 play([A,B,C]) :- xor(C,C,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), and(A,D,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), and(A,D,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), and(B,D,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), and(B,D,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), and(C,D,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), and(C,D,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,A,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,A,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,B,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,B,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,C,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,C,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,D,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,D,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), or(A,D,A).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), or(A,D,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), or(B,D,B).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), or(B,D,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), or(C,D,C).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), or(C,D,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,A,A).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,A,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,B,B).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,B,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,C,C).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,C,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,D,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,D,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(A,D,A).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(A,D,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(B,D,B).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(B,D,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(C,D,C).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(C,D,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(D,A,A).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(D,A,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(D,B,B).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(D,B,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(D,C,C).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(D,C,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(D,D,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(D,D,D).]
[C:4,6,0,0 play([A,B,C]) :- xor(B,B,D), xor(B,C,A).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(B,C,E).]
[C:4,6,0,0 play([A,B,C]) :- xor(B,B,D), xor(C,A,B).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,A,E).]
[C:4,6,0,0 play([A,B,C]) :- xor(B,B,D), xor(C,B,A).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,B,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,A,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,A,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,B,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,B,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,C,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,C,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,D,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,D,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), or(A,D,A).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), or(A,D,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), or(B,D,B).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), or(B,D,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), or(C,D,C).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), or(C,D,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,A,A).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,A,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,B,B).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,B,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,C,C).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,C,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,D,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,D,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(A,D,A).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(A,D,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(B,D,B).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(B,D,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,D,C).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,D,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(D,A,A).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(D,A,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(D,B,B).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(D,B,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(D,C,C).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(D,C,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(D,D,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(D,D,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E).]
[C:4,6,0,0 play([A,B,C]) :- xor(C,A,D), xor(C,B,A).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,A,D), xor(C,D,A).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,A,D), xor(C,B,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,A,D), xor(C,D,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(C,A,D), xor(C,C,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E).]
[C:4,6,0,0 play([A,B,C]) :- xor(B,A,D), xor(B,C,A).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,D,A).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,C,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,D,E).]
[C:4,6,0,0 play([A,B,C]) :- xor(B,A,D), xor(C,A,B).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(D,A,B).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(C,A,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(D,A,E).]
[C:4,6,0,0 play([A,B,C]) :- xor(B,A,D), xor(C,B,A).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(D,B,A).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(C,B,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(D,B,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(C,C,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(D,C,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(C,D,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(D,D,E).]
[C:4,6,0,0 play([A,B,C]) :- xor(A,C,D), xor(B,A,C).]
[C:0,6,3,0 play([A,B,C]) :- xor(A,C,D), xor(B,A,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(A,C,D), xor(D,A,C).]
[C:0,6,3,0 play([A,B,C]) :- xor(A,C,D), xor(D,A,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(A,C,D), xor(B,B,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(A,C,D), xor(D,B,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(A,C,D), xor(B,D,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(A,C,D), xor(D,D,E).]
[C:4,6,0,0 play([A,B,C]) :- xor(A,C,D), xor(B,C,A).]
[C:0,6,3,0 play([A,B,C]) :- xor(A,C,D), xor(D,C,A).]
[C:0,6,3,0 play([A,B,C]) :- xor(A,C,D), xor(B,C,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(A,C,D), xor(D,C,E).]
[C:4,6,0,0 play([A,B,C]) :- xor(A,C,D), xor(C,A,B).]
[C:0,6,3,0 play([A,B,C]) :- xor(A,C,D), xor(C,A,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(A,C,D), xor(C,A,E).]
[C:4,6,0,0 play([A,B,C]) :- xor(A,C,D), xor(C,B,A).]
[C:0,6,3,0 play([A,B,C]) :- xor(A,C,D), xor(C,D,A).]
[C:0,6,3,0 play([A,B,C]) :- xor(A,C,D), xor(C,B,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(A,C,D), xor(C,D,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(A,C,D), xor(C,C,E).]
[C:4,6,0,0 play([A,B,C]) :- xor(B,C,D), xor(C,A,B).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,C,D), xor(C,A,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,C,D), xor(C,D,B).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,C,D), xor(C,D,E).]
[C:4,6,0,0 play([A,B,C]) :- xor(B,C,D), xor(C,B,A).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,C,D), xor(C,B,D).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,C,D), xor(C,B,E).]
[C:0,6,3,0 play([A,B,C]) :- xor(B,C,D), xor(C,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(D,A,A), xor(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(D,A,A), xor(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(D,A,A), xor(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(D,A,A), xor(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(D,A,A), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(D,A,A), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(D,C,C), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(D,C,C), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(D,B,B), xor(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(D,B,B), xor(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(D,B,B), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(D,B,B), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,C,C), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,C,C), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,C,C), xor(A,D,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,C,C), xor(A,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,C,C), xor(B,D,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,C,C), xor(B,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,C,C), xor(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,C,C), xor(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,C,C), xor(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,C,C), xor(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,C,C), xor(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,C,C), xor(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,C,C), xor(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,C,C), xor(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,C,C), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,C,C), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,B,B), or(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,B,B), or(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,B,B), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,B,B), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,B,B), xor(A,D,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,B,B), xor(A,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,B,B), xor(B,D,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,B,B), xor(B,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,B,B), xor(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,B,B), xor(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,B,B), xor(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,B,B), xor(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,B,B), xor(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,B,B), xor(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,B,B), xor(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,B,B), xor(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,B,B), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,B,B), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,A,A), or(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,A,A), or(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,A,A), or(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,A,A), or(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,A,A), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,A,A), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,A,A), xor(A,D,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,A,A), xor(A,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,A,A), xor(B,D,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,A,A), xor(B,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,A,A), xor(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,A,A), xor(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,A,A), xor(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,A,A), xor(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,A,A), xor(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,A,A), xor(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,A,A), xor(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,A,A), xor(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,A,A), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,A,A), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(A,D,A), xor(B,D,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(A,D,A), xor(B,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(A,D,A), xor(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(A,D,A), xor(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(A,D,A), xor(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(A,D,A), xor(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(A,D,A), xor(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(A,D,A), xor(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(A,D,A), xor(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(A,D,A), xor(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(A,D,A), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(A,D,A), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,B,D), and(D,C,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,B,D), and(D,C,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,B,D), and(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,B,D), and(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,B,D), or(A,D,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,B,D), or(A,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,B,D), or(B,D,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,B,D), or(B,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,B,D), or(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,B,D), or(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,B,D), or(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,B,D), or(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,B,D), or(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,B,D), or(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,B,D), or(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,B,D), or(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,B,D), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,B,D), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,B,D), xor(A,D,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,B,D), xor(A,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,B,D), xor(B,D,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,B,D), xor(B,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,B,D), xor(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,B,D), xor(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,B,D), xor(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,B,D), xor(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,B,D), xor(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,B,D), xor(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,B,D), xor(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,B,D), xor(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,B,D), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,B,D), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(C,D,C), or(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(C,D,C), or(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(C,D,C), or(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(C,D,C), or(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(C,D,C), or(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(C,D,C), or(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(C,D,C), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(C,D,C), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(C,D,C), xor(A,D,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(C,D,C), xor(A,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(C,D,C), xor(B,D,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(C,D,C), xor(B,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(C,D,C), xor(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(C,D,C), xor(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(C,D,C), xor(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(C,D,C), xor(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(C,D,C), xor(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(C,D,C), xor(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(C,D,C), xor(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(C,D,C), xor(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(C,D,C), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(C,D,C), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,D,D), xor(A,D,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,D,D), xor(A,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,D,D), xor(B,D,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,D,D), xor(B,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,D,D), xor(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,D,D), xor(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,D,D), xor(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,D,D), xor(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,D,D), xor(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,D,D), xor(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,D,D), xor(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,D,D), xor(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,D,D), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(D,D,D), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,C,D), and(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,C,D), and(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,C,D), or(A,D,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,C,D), or(A,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,C,D), or(B,D,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,C,D), or(B,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,C,D), or(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,C,D), or(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,C,D), or(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,C,D), or(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,C,D), or(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,C,D), or(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,C,D), or(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,C,D), or(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,C,D), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,C,D), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,C,D), xor(A,D,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,C,D), xor(A,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,C,D), xor(B,D,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,C,D), xor(B,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,C,D), xor(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,C,D), xor(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,C,D), xor(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,C,D), xor(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,C,D), xor(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,C,D), xor(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,C,D), xor(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,C,D), xor(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,C,D), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,C,D), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,D,C), xor(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,D,C), xor(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,D,C), xor(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,D,C), xor(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,D,C), xor(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,D,C), xor(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,D,C), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,D,C), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,A,D), and(D,B,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,A,D), and(D,B,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,A,D), and(D,C,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,A,D), and(D,C,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,A,D), and(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,A,D), and(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,A,D), or(A,D,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,A,D), or(A,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,A,D), or(B,D,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,A,D), or(B,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,A,D), or(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,A,D), or(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,A,D), or(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,A,D), or(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,A,D), or(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,A,D), or(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,A,D), or(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,A,D), or(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,A,D), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,A,D), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,A,D), xor(A,D,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,A,D), xor(A,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,A,D), xor(B,D,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,A,D), xor(B,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,A,D), xor(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,A,D), xor(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,A,D), xor(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,A,D), xor(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,A,D), xor(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,A,D), xor(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,A,D), xor(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,A,D), xor(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,A,D), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,A,D), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), and(B,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), and(B,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), and(C,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), and(C,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), and(D,A,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), and(D,A,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), and(D,B,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), and(D,B,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), and(D,C,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), and(D,C,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), and(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), and(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), or(A,D,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), or(A,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), or(B,D,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), or(B,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), or(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), or(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), or(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), or(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), or(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), or(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), or(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), or(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), xor(A,D,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), xor(A,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), xor(B,D,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), xor(B,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), xor(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), xor(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), xor(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), xor(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), xor(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), xor(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), xor(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), xor(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(A,D,D), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D), and(C,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D), and(C,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D), and(D,A,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D), and(D,A,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D), and(D,B,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D), and(D,B,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D), and(D,C,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D), and(D,C,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D), and(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D), and(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D), or(A,D,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D), or(A,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D), or(B,D,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D), or(B,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D), or(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D), or(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D), or(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D), or(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D), or(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D), or(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D), or(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D), or(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D), xor(A,D,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D), xor(A,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D), xor(B,D,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D), xor(B,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D), xor(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D), xor(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D), xor(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D), xor(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D), xor(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D), xor(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D), xor(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D), xor(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(B,D,D), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), and(A,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), and(A,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), and(B,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), and(B,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), and(C,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), and(C,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), and(D,A,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), and(D,A,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), and(D,B,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), and(D,B,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), and(D,C,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), and(D,C,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), and(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), and(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), or(A,D,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), or(A,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), or(B,D,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), or(B,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), or(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), or(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), or(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), or(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), or(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), or(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), or(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), or(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), xor(A,D,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), xor(A,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), xor(B,D,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), xor(B,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), xor(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), xor(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), xor(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), xor(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), xor(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), xor(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), xor(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), xor(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(C,C,D), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(D,C,C), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(D,C,C), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(D,B,B), xor(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(D,B,B), xor(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(D,B,B), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(D,B,B), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(D,A,A), xor(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(D,A,A), xor(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(D,A,A), xor(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(D,A,A), xor(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(D,A,A), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(D,A,A), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(B,D,B), or(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(B,D,B), or(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(B,D,B), or(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(B,D,B), or(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(B,D,B), or(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(B,D,B), or(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(B,D,B), or(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(B,D,B), or(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(B,D,B), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(B,D,B), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(B,D,B), xor(A,D,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(B,D,B), xor(A,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(B,D,B), xor(B,D,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(B,D,B), xor(B,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(B,D,B), xor(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(B,D,B), xor(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(B,D,B), xor(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(B,D,B), xor(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(B,D,B), xor(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(B,D,B), xor(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(B,D,B), xor(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(B,D,B), xor(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(B,D,B), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), or(B,D,B), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,C,C), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,C,C), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,C,C), xor(A,D,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,C,C), xor(A,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,C,C), xor(B,D,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,C,C), xor(B,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,C,C), xor(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,C,C), xor(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,C,C), xor(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,C,C), xor(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,C,C), xor(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,C,C), xor(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,C,C), xor(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,C,C), xor(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,C,C), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,C,C), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D), and(D,A,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D), and(D,A,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D), and(D,B,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D), and(D,B,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D), and(D,C,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D), and(D,C,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D), and(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D), and(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D), or(A,D,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D), or(A,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D), or(B,D,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D), or(B,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D), or(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D), or(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D), or(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D), or(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D), or(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D), or(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D), or(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D), or(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D), xor(A,D,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D), xor(A,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D), xor(B,D,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D), xor(B,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D), xor(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D), xor(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D), xor(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D), xor(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D), xor(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D), xor(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D), xor(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D), xor(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(C,D,D), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,B,B), or(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,B,B), or(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,B,B), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,B,B), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,B,B), xor(A,D,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,B,B), xor(A,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,B,B), xor(B,D,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,B,B), xor(B,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,B,B), xor(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,B,B), xor(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,B,B), xor(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,B,B), xor(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,B,B), xor(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,B,B), xor(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,B,B), xor(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,B,B), xor(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,B,B), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,B,B), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,D,D), or(A,D,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,D,D), or(A,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,D,D), or(B,D,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,D,D), or(B,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,D,D), or(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,D,D), or(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,D,D), or(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,D,D), or(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,D,D), or(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,D,D), or(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,D,D), or(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,D,D), or(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,D,D), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,D,D), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,D,D), xor(A,D,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,D,D), xor(A,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,D,D), xor(B,D,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,D,D), xor(B,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,D,D), xor(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,D,D), xor(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,D,D), xor(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,D,D), xor(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,D,D), xor(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,D,D), xor(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,D,D), xor(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,D,D), xor(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,D,D), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), and(D,D,D), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,A,A), or(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,A,A), or(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,A,A), or(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,A,A), or(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,A,A), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,A,A), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,A,A), xor(A,D,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,A,A), xor(A,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,A,A), xor(B,D,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,A,A), xor(B,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,A,A), xor(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,A,A), xor(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,A,A), xor(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,A,A), xor(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,A,A), xor(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,A,A), xor(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,A,A), xor(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,A,A), xor(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,A,A), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,A,A), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(A,D,A), xor(B,D,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(A,D,A), xor(B,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(A,D,A), xor(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(A,D,A), xor(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(A,D,A), xor(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(A,D,A), xor(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(A,D,A), xor(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(A,D,A), xor(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(A,D,A), xor(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(A,D,A), xor(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(A,D,A), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(A,D,A), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(B,D,B), xor(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(B,D,B), xor(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(B,D,B), xor(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(B,D,B), xor(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(B,D,B), xor(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(B,D,B), xor(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(B,D,B), xor(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(B,D,B), xor(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(B,D,B), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,B,D), xor(B,D,B), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,D,D), xor(A,D,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,D,D), xor(A,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,D,D), xor(B,D,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,D,D), xor(B,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,D,D), xor(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,D,D), xor(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,D,D), xor(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,D,D), xor(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,D,D), xor(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,D,D), xor(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,D,D), xor(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,D,D), xor(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,D,D), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(D,D,D), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,C,D), and(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,C,D), and(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,C,D), or(A,D,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,C,D), or(A,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,C,D), or(B,D,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,C,D), or(B,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,C,D), or(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,C,D), or(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,C,D), or(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,C,D), or(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,C,D), or(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,C,D), or(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,C,D), or(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,C,D), or(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,C,D), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,C,D), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,C,D), xor(A,D,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,C,D), xor(A,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,C,D), xor(B,D,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,C,D), xor(B,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,C,D), xor(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,C,D), xor(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,C,D), xor(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,C,D), xor(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,C,D), xor(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,C,D), xor(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,C,D), xor(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,C,D), xor(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,C,D), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,C,D), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(C,D,C), xor(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(C,D,C), xor(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(C,D,C), xor(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(C,D,C), xor(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(C,D,C), xor(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(C,D,C), xor(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(C,D,C), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(C,D,C), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,B,D), and(D,C,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,B,D), and(D,C,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,B,D), and(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,B,D), and(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,B,D), or(A,D,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,B,D), or(A,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,B,D), or(B,D,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,B,D), or(B,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,B,D), or(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,B,D), or(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,B,D), or(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,B,D), or(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,B,D), or(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,B,D), or(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,B,D), or(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,B,D), or(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,B,D), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,B,D), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,B,D), xor(A,D,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,B,D), xor(A,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,B,D), xor(B,D,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,B,D), xor(B,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,B,D), xor(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,B,D), xor(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,B,D), xor(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,B,D), xor(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,B,D), xor(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,B,D), xor(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,B,D), xor(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,B,D), xor(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,B,D), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,B,D), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(C,D,C), or(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(C,D,C), or(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(C,D,C), or(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(C,D,C), or(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(C,D,C), or(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(C,D,C), or(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(C,D,C), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(C,D,C), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(C,D,C), xor(A,D,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(C,D,C), xor(A,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(C,D,C), xor(B,D,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(C,D,C), xor(B,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(C,D,C), xor(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(C,D,C), xor(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(C,D,C), xor(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(C,D,C), xor(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(C,D,C), xor(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(C,D,C), xor(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(C,D,C), xor(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(C,D,C), xor(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(C,D,C), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(C,D,C), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,A,D), and(D,B,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,A,D), and(D,B,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,A,D), and(D,C,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,A,D), and(D,C,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,A,D), and(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,A,D), and(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,A,D), or(A,D,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,A,D), or(A,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,A,D), or(B,D,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,A,D), or(B,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,A,D), or(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,A,D), or(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,A,D), or(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,A,D), or(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,A,D), or(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,A,D), or(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,A,D), or(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,A,D), or(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,A,D), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,A,D), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,A,D), xor(A,D,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,A,D), xor(A,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,A,D), xor(B,D,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,A,D), xor(B,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,A,D), xor(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,A,D), xor(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,A,D), xor(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,A,D), xor(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,A,D), xor(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,A,D), xor(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,A,D), xor(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,A,D), xor(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,A,D), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), and(D,A,D), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(A,D,A), or(B,D,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(A,D,A), or(B,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(A,D,A), or(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(A,D,A), or(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(A,D,A), or(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(A,D,A), or(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(A,D,A), or(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(A,D,A), or(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(A,D,A), or(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(A,D,A), or(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(A,D,A), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(A,D,A), or(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(A,D,A), xor(A,D,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(A,D,A), xor(A,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(A,D,A), xor(B,D,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(A,D,A), xor(B,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(A,D,A), xor(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(A,D,A), xor(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(A,D,A), xor(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(A,D,A), xor(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(A,D,A), xor(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(A,D,A), xor(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(A,D,A), xor(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(A,D,A), xor(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(A,D,A), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), or(A,D,A), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(B,D,B), xor(C,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(B,D,B), xor(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(B,D,B), xor(D,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(B,D,B), xor(D,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(B,D,B), xor(D,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(B,D,B), xor(D,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(B,D,B), xor(D,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(B,D,B), xor(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(B,D,B), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,C,D), xor(B,D,B), xor(D,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), and(A,E,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), and(A,E,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), and(D,E,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), and(D,E,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), and(B,E,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), and(B,E,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), and(C,E,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), and(C,E,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), and(E,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), and(E,A,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), and(E,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), and(E,D,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), and(E,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), and(E,B,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), and(E,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), and(E,C,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), and(E,E,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), and(E,E,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), or(A,E,A).]
[C:3,6,0,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), or(A,E,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), or(A,E,F).]
[C:3,6,0,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), or(D,E,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), or(D,E,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), or(D,E,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), or(B,E,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), or(B,E,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), or(C,E,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), or(C,E,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), or(E,A,A).]
[C:3,6,0,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), or(E,A,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), or(E,A,F).]
[C:3,6,0,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), or(E,D,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), or(E,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), or(E,D,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), or(E,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), or(E,B,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), or(E,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), or(E,C,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), or(E,E,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), or(E,E,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), xor(A,E,A).]
[C:3,6,0,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), xor(A,E,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), xor(A,E,F).]
[C:3,6,0,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), xor(D,E,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), xor(D,E,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), xor(D,E,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), xor(B,E,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), xor(B,E,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), xor(C,E,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), xor(C,E,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), xor(E,A,A).]
[C:3,6,0,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), xor(E,A,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), xor(E,A,F).]
[C:3,6,0,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), xor(E,D,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), xor(E,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), xor(E,D,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), xor(E,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), xor(E,B,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), xor(E,C,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), xor(E,C,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), xor(E,E,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(C,B,D), xor(C,C,E), xor(E,E,F).]
[C:3,6,0,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(B,C,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(B,D,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(B,C,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(B,D,F).]
[C:3,6,0,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(C,A,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(D,A,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(C,A,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(D,A,F).]
[C:3,6,0,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(C,B,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(D,B,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(C,B,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(D,B,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(C,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(C,C,F).]
[C:3,6,0,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(D,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(D,C,F).]
[C:3,6,0,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(C,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(C,D,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(D,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(D,D,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), and(A,E,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), and(A,E,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), and(B,E,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), and(B,E,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), and(C,E,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), and(C,E,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), and(D,E,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), and(D,E,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), and(E,A,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), and(E,A,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), and(E,B,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), and(E,B,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), and(E,C,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), and(E,C,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), and(E,D,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), and(E,D,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), and(E,E,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), and(E,E,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), or(A,E,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), or(A,E,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), or(B,E,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), or(B,E,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), or(C,E,C).]
[C:3,6,0,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), or(C,E,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), or(C,E,F).]
[C:3,6,0,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), or(D,E,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), or(D,E,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), or(D,E,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), or(E,A,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), or(E,A,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), or(E,B,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), or(E,B,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), or(E,C,C).]
[C:3,6,0,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), or(E,C,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), or(E,C,F).]
[C:3,6,0,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), or(E,D,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), or(E,D,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), or(E,D,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), or(E,E,E).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), or(E,E,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(A,E,A).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(A,E,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(B,E,B).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(B,E,F).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(C,E,C).]
[C:3,6,0,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(C,E,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(C,E,F).]
[C:3,6,0,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(D,E,C).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(D,E,D).]
[C:-1,6,3,0 play([A,B,C]) :- xor(B,A,D), xor(B,B,E), xor(D,E,F).]
Resource limit exceeded
[1005 explored search nodes]
f=5,p=6,n=0,h=0
[Result of search is]

play([A,B,C]) :- xor(A,B,C).

[6 redundant clauses retracted]
[Generalising play([15,19,2,30]).]
[Most specific clause is]

play([A,B,C,D]) :- and(A,A,A), and(A,B,E), and(A,C,C), and(A,
	D,F), and(B,A,E), and(B,B,B), and(B,C,C), and(B,D,G),
	and(C,A,C), and(C,B,C), and(C,C,C), and(C,D,C), and(D,
	A,F), and(D,B,G), and(D,C,C), and(D,D,D), or(A,A,A), 
	or(A,B,H), or(A,C,A), or(A,D,H), or(B,A,H), or(B,B,B),
	or(B,C,B), or(B,D,H), or(C,A,A), or(C,B,B), or(C,C,C),
	or(C,D,D), or(D,A,H), or(D,B,H), or(D,C,D), or(D,D,D),
	xor(A,A,I), xor(A,B,J), xor(A,C,K), xor(A,D,L), xor(B,
	A,J), xor(B,B,I), xor(B,C,L), xor(B,D,K), xor(C,A,K),
	xor(C,B,L), xor(C,C,I), xor(C,D,J), xor(D,A,L), xor(D,
	B,K), xor(D,C,J), xor(D,D,I), and(A,E,E), and(A,F,F),
	and(A,G,C), and(A,H,A), and(A,I,I), and(A,K,K), and(A,
	L,M), and(A,J,N), and(B,E,E), and(B,F,C), and(B,G,G),
	and(B,H,B), and(B,I,I), and(B,K,M), and(B,L,L), and(B,
	J,O), and(C,E,C), and(C,F,C), and(C,G,C), and(C,H,C),
	and(C,I,I), and(C,K,I), and(C,L,I), and(C,J,I), and(D,
	E,C), and(D,F,F), and(D,G,G), and(D,H,D), and(D,I,I),
	and(D,K,N), and(D,L,O), and(D,J,J), and(E,A,E), and(E,
	B,E), and(E,C,C), and(E,D,C), and(E,E,E), and(E,F,C),
	and(E,G,C), and(E,H,E), and(E,I,I), and(E,K,M), and(E,
	L,M), and(E,J,I), and(F,A,F), and(F,B,C), and(F,C,C),
	and(F,D,F), and(F,E,C), and(F,F,F), and(F,G,C), and(F,
	H,F), and(F,I,I), and(F,K,N), and(F,L,I), and(F,J,N),
	and(G,A,C), and(G,B,G), and(G,C,C), and(G,D,G), and(G,
	E,C), and(G,F,C), and(G,G,G), and(G,H,G), and(G,I,I),
	and(G,K,I), and(G,L,O), and(G,J,O), and(H,A,A), and(H,
	B,B), and(H,C,C), and(H,D,D), and(H,E,E), and(H,F,F),
	and(H,G,G), and(H,H,H), and(H,I,I), and(H,K,K), and(H,
	L,L), and(H,J,J), and(I,A,I), and(I,B,I), and(I,C,I),
	and(I,D,I), and(I,E,I), and(I,F,I), and(I,G,I), and(I,
	H,I), and(I,I,I), and(I,K,I), and(I,L,I), and(I,J,I),
	and(K,A,K), and(K,B,M), and(K,C,I), and(K,D,N), and(K,
	E,M), and(K,F,N), and(K,G,I), and(K,H,K), and(K,I,I),
	and(K,K,K), and(K,L,M), and(K,J,N), and(L,A,M), and(L,
	B,L), and(L,C,I), and(L,D,O), and(L,E,M), and(L,F,I),
	and(L,G,O), and(L,H,L), and(L,I,I), and(L,K,M), and(L,
	L,L), and(L,J,O), and(J,A,N), and(J,B,O), and(J,C,I),
	and(J,D,J), and(J,E,I), and(J,F,N), and(J,G,O), and(J,
	H,J), and(J,I,I), and(J,K,N), and(J,L,O), and(J,J,J),
	or(A,E,A), or(A,F,A), or(A,G,H), or(A,H,H), or(A,I,A),
	or(A,K,A), or(A,L,H), or(A,J,H), or(B,E,B), or(B,F,H),
	or(B,G,B), or(B,H,H), or(B,I,B), or(B,K,H), or(B,L,B),
	or(B,J,H), or(C,E,E), or(C,F,F), or(C,G,G), or(C,H,H),
	or(C,I,C), or(C,K,A), or(C,L,B), or(C,J,D), or(D,E,H),
	or(D,F,D), or(D,G,D), or(D,H,H), or(D,I,D), or(D,K,H),
	or(D,L,H), or(D,J,D), or(E,A,A), or(E,B,B), or(E,C,E),
	or(E,D,H), or(E,E,E), or(E,F,A), or(E,G,B), or(E,H,H),
	or(E,I,E), or(E,K,A), or(E,L,B), or(E,J,H), or(F,A,A),
	or(F,B,H), or(F,C,F), or(F,D,D), or(F,E,A), or(F,F,F),
	or(F,G,D), or(F,H,H), or(F,I,F), or(F,K,A), or(F,L,H),
	or(F,J,D), or(G,A,H), or(G,B,B), or(G,C,G), or(G,D,D),
	or(G,E,B), or(G,F,D), or(G,G,G), or(G,H,H), or(G,I,G),
	or(G,K,H), or(G,L,B), or(G,J,D), or(H,A,H), or(H,B,H),
	or(H,C,H), or(H,D,H), or(H,E,H), or(H,F,H), or(H,G,H),
	or(H,H,H), or(H,I,H), or(H,K,H), or(H,L,H), or(H,J,H),
	or(I,A,A), or(I,B,B), or(I,C,C), or(I,D,D), or(I,E,E),
	or(I,F,F), or(I,G,G), or(I,H,H), or(I,I,I), or(I,K,K),
	or(I,L,L), or(I,J,J), or(K,A,A), or(K,B,H), or(K,C,A),
	or(K,D,H), or(K,E,A), or(K,F,A), or(K,G,H), or(K,H,H),
	or(K,I,K), or(K,K,K), or(K,L,P), or(K,J,P), or(L,A,H),
	or(L,B,B), or(L,C,B), or(L,D,H), or(L,E,B), or(L,F,H),
	or(L,G,B), or(L,H,H), or(L,I,L), or(L,K,P), or(L,L,L),
	or(L,J,P), or(J,A,H), or(J,B,H), or(J,C,D), or(J,D,D),
	or(J,E,H), or(J,F,D), or(J,G,D), or(J,H,H), or(J,I,J),
	or(J,K,P), or(J,L,P), or(J,J,J), xor(A,E,N), xor(A,F,
	M), xor(A,G,P), xor(A,H,O), xor(A,I,A), xor(A,K,C), xor(A,
	L,D), xor(A,J,B), xor(B,E,O), xor(B,F,P), xor(B,G,M),
	xor(B,H,N), xor(B,I,B), xor(B,K,D), xor(B,L,C), xor(B,
	J,A), xor(C,E,M), xor(C,F,N), xor(C,G,O), xor(C,H,P),
	xor(C,I,C), xor(C,K,A), xor(C,L,B), xor(C,J,D), xor(D,
	E,P), xor(D,F,O), xor(D,G,N), xor(D,H,M), xor(D,I,D),
	xor(D,K,B), xor(D,L,A), xor(D,J,C), xor(E,A,N), xor(E,
	B,O), xor(E,C,M), xor(E,D,P), xor(E,E,I), xor(E,F,K),
	xor(E,G,L), xor(E,H,J), xor(E,I,E), xor(E,K,F), xor(E,
	L,G), xor(E,J,H), xor(F,A,M), xor(F,B,P), xor(F,C,N),
	xor(F,D,O), xor(F,E,K), xor(F,F,I), xor(F,G,J), xor(F,
	H,L), xor(F,I,F), xor(F,K,E), xor(F,L,H), xor(F,J,G),
	xor(G,A,P), xor(G,B,M), xor(G,C,O), xor(G,D,N), xor(G,
	E,L), xor(G,F,J), xor(G,G,I), xor(G,H,K), xor(G,I,G),
	xor(G,K,H), xor(G,L,E), xor(G,J,F), xor(H,A,O), xor(H,
	B,N), xor(H,C,P), xor(H,D,M), xor(H,E,J), xor(H,F,L),
	xor(H,G,K), xor(H,H,I), xor(H,I,H), xor(H,K,G), xor(H,
	L,F), xor(H,J,E), xor(I,A,A), xor(I,B,B), xor(I,C,C),
	xor(I,D,D), xor(I,E,E), xor(I,F,F), xor(I,G,G), xor(I,
	H,H), xor(I,I,I), xor(I,K,K), xor(I,L,L), xor(I,J,J),
	xor(K,A,C), xor(K,B,D), xor(K,C,A), xor(K,D,B), xor(K,
	E,F), xor(K,F,E), xor(K,G,H), xor(K,H,G), xor(K,I,K),
	xor(K,K,I), xor(K,L,J), xor(K,J,L), xor(L,A,D), xor(L,
	B,C), xor(L,C,B), xor(L,D,A), xor(L,E,G), xor(L,F,H),
	xor(L,G,E), xor(L,H,F), xor(L,I,L), xor(L,K,J), xor(L,
	L,I), xor(L,J,K), xor(J,A,B), xor(J,B,A), xor(J,C,D),
	xor(J,D,C), xor(J,E,H), xor(J,F,G), xor(J,G,F), xor(J,
	H,E), xor(J,I,J), xor(J,K,L), xor(J,L,K), xor(J,J,I).

[C:0,2,1,0 play([A,B,C,D]).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(A,A,A).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(A,A,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(A,B,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(A,C,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(A,D,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(B,A,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(B,B,B).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(B,B,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(B,C,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(B,D,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(C,A,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(C,B,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(C,C,C).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(C,C,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(C,D,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(D,A,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(D,B,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(D,C,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(D,D,D).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(D,D,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(A,A,A).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(A,A,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(A,B,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(A,C,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(A,D,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(B,A,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(B,B,B).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(B,B,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(B,C,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(B,D,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(C,A,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(C,B,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(C,C,C).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(C,C,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(C,D,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(D,A,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(D,B,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(D,C,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(D,D,D).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(D,D,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- xor(A,A,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- xor(A,B,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- xor(A,C,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- xor(A,D,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- xor(B,A,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- xor(B,B,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- xor(B,C,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- xor(B,D,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- xor(C,A,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- xor(C,B,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- xor(C,C,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- xor(C,D,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- xor(D,A,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- xor(D,B,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- xor(D,C,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- xor(D,D,E).]
[57 explored search nodes]
f=0,p=2,n=1,h=0
[No compression]

[Generalising play([7,29,30,4]).]
[Most specific clause is]

play([A,B,C,D]) :- and(A,A,A), and(A,B,E), and(A,C,F), and(A,
	D,D), and(B,A,E), and(B,B,B), and(B,C,G), and(B,D,D),
	and(C,A,F), and(C,B,G), and(C,C,C), and(C,D,D), and(D,
	A,D), and(D,B,D), and(D,C,D), and(D,D,D), or(A,A,A), 
	or(A,B,H), or(A,C,H), or(A,D,A), or(B,A,H), or(B,B,B),
	or(B,C,H), or(B,D,B), or(C,A,H), or(C,B,H), or(C,C,C),
	or(C,D,C), or(D,A,A), or(D,B,B), or(D,C,C), or(D,D,D),
	xor(A,A,I), xor(A,B,J), xor(A,C,K), xor(A,D,L), xor(B,
	A,J), xor(B,B,I), xor(B,C,L), xor(B,D,K), xor(C,A,K),
	xor(C,B,L), xor(C,C,I), xor(C,D,J), xor(D,A,L), xor(D,
	B,K), xor(D,C,J), xor(D,D,I), and(A,E,E), and(A,F,F),
	and(A,G,D), and(A,H,A), and(A,I,I), and(A,L,L), and(A,
	K,M), and(A,J,N), and(B,E,E), and(B,F,D), and(B,G,G),
	and(B,H,B), and(B,I,I), and(B,L,M), and(B,K,K), and(B,
	J,O), and(C,E,D), and(C,F,F), and(C,G,G), and(C,H,C),
	and(C,I,I), and(C,L,N), and(C,K,O), and(C,J,J), and(D,
	E,D), and(D,F,D), and(D,G,D), and(D,H,D), and(D,I,I),
	and(D,L,I), and(D,K,I), and(D,J,I), and(E,A,E), and(E,
	B,E), and(E,C,D), and(E,D,D), and(E,E,E), and(E,F,D),
	and(E,G,D), and(E,H,E), and(E,I,I), and(E,L,M), and(E,
	K,M), and(E,J,I), and(F,A,F), and(F,B,D), and(F,C,F),
	and(F,D,D), and(F,E,D), and(F,F,F), and(F,G,D), and(F,
	H,F), and(F,I,I), and(F,L,N), and(F,K,I), and(F,J,N),
	and(G,A,D), and(G,B,G), and(G,C,G), and(G,D,D), and(G,
	E,D), and(G,F,D), and(G,G,G), and(G,H,G), and(G,I,I),
	and(G,L,I), and(G,K,O), and(G,J,O), and(H,A,A), and(H,
	B,B), and(H,C,C), and(H,D,D), and(H,E,E), and(H,F,F),
	and(H,G,G), and(H,H,H), and(H,I,I), and(H,L,L), and(H,
	K,K), and(H,J,J), and(I,A,I), and(I,B,I), and(I,C,I),
	and(I,D,I), and(I,E,I), and(I,F,I), and(I,G,I), and(I,
	H,I), and(I,I,I), and(I,L,I), and(I,K,I), and(I,J,I),
	and(L,A,L), and(L,B,M), and(L,C,N), and(L,D,I), and(L,
	E,M), and(L,F,N), and(L,G,I), and(L,H,L), and(L,I,I),
	and(L,L,L), and(L,K,M), and(L,J,N), and(K,A,M), and(K,
	B,K), and(K,C,O), and(K,D,I), and(K,E,M), and(K,F,I),
	and(K,G,O), and(K,H,K), and(K,I,I), and(K,L,M), and(K,
	K,K), and(K,J,O), and(J,A,N), and(J,B,O), and(J,C,J),
	and(J,D,I), and(J,E,I), and(J,F,N), and(J,G,O), and(J,
	H,J), and(J,I,I), and(J,L,N), and(J,K,O), and(J,J,J),
	or(A,E,A), or(A,F,A), or(A,G,H), or(A,H,H), or(A,I,A),
	or(A,L,A), or(A,K,H), or(A,J,H), or(B,E,B), or(B,F,H),
	or(B,G,B), or(B,H,H), or(B,I,B), or(B,L,H), or(B,K,B),
	or(B,J,H), or(C,E,H), or(C,F,C), or(C,G,C), or(C,H,H),
	or(C,I,C), or(C,L,H), or(C,K,H), or(C,J,C), or(D,E,E),
	or(D,F,F), or(D,G,G), or(D,H,H), or(D,I,D), or(D,L,A),
	or(D,K,B), or(D,J,C), or(E,A,A), or(E,B,B), or(E,C,H),
	or(E,D,E), or(E,E,E), or(E,F,A), or(E,G,B), or(E,H,H),
	or(E,I,E), or(E,L,A), or(E,K,B), or(E,J,H), or(F,A,A),
	or(F,B,H), or(F,C,C), or(F,D,F), or(F,E,A), or(F,F,F),
	or(F,G,C), or(F,H,H), or(F,I,F), or(F,L,A), or(F,K,H),
	or(F,J,C), or(G,A,H), or(G,B,B), or(G,C,C), or(G,D,G),
	or(G,E,B), or(G,F,C), or(G,G,G), or(G,H,H), or(G,I,G),
	or(G,L,H), or(G,K,B), or(G,J,C), or(H,A,H), or(H,B,H),
	or(H,C,H), or(H,D,H), or(H,E,H), or(H,F,H), or(H,G,H),
	or(H,H,H), or(H,I,H), or(H,L,H), or(H,K,H), or(H,J,H),
	or(I,A,A), or(I,B,B), or(I,C,C), or(I,D,D), or(I,E,E),
	or(I,F,F), or(I,G,G), or(I,H,H), or(I,I,I), or(I,L,L),
	or(I,K,K), or(I,J,J), or(L,A,A), or(L,B,H), or(L,C,H),
	or(L,D,A), or(L,E,A), or(L,F,A), or(L,G,H), or(L,H,H),
	or(L,I,L), or(L,L,L), or(L,K,P), or(L,J,P), or(K,A,H),
	or(K,B,B), or(K,C,H), or(K,D,B), or(K,E,B), or(K,F,H),
	or(K,G,B), or(K,H,H), or(K,I,K), or(K,L,P), or(K,K,K),
	or(K,J,P), or(J,A,H), or(J,B,H), or(J,C,C), or(J,D,C),
	or(J,E,H), or(J,F,C), or(J,G,C), or(J,H,H), or(J,I,J),
	or(J,L,P), or(J,K,P), or(J,J,J), xor(A,E,N), xor(A,F,
	M), xor(A,G,P), xor(A,H,O), xor(A,I,A), xor(A,L,D), xor(A,
	K,C), xor(A,J,B), xor(B,E,O), xor(B,F,P), xor(B,G,M),
	xor(B,H,N), xor(B,I,B), xor(B,L,C), xor(B,K,D), xor(B,
	J,A), xor(C,E,P), xor(C,F,O), xor(C,G,N), xor(C,H,M),
	xor(C,I,C), xor(C,L,B), xor(C,K,A), xor(C,J,D), xor(D,
	E,M), xor(D,F,N), xor(D,G,O), xor(D,H,P), xor(D,I,D),
	xor(D,L,A), xor(D,K,B), xor(D,J,C), xor(E,A,N), xor(E,
	B,O), xor(E,C,P), xor(E,D,M), xor(E,E,I), xor(E,F,L),
	xor(E,G,K), xor(E,H,J), xor(E,I,E), xor(E,L,F), xor(E,
	K,G), xor(E,J,H), xor(F,A,M), xor(F,B,P), xor(F,C,O),
	xor(F,D,N), xor(F,E,L), xor(F,F,I), xor(F,G,J), xor(F,
	H,K), xor(F,I,F), xor(F,L,E), xor(F,K,H), xor(F,J,G),
	xor(G,A,P), xor(G,B,M), xor(G,C,N), xor(G,D,O), xor(G,
	E,K), xor(G,F,J), xor(G,G,I), xor(G,H,L), xor(G,I,G),
	xor(G,L,H), xor(G,K,E), xor(G,J,F), xor(H,A,O), xor(H,
	B,N), xor(H,C,M), xor(H,D,P), xor(H,E,J), xor(H,F,K),
	xor(H,G,L), xor(H,H,I), xor(H,I,H), xor(H,L,G), xor(H,
	K,F), xor(H,J,E), xor(I,A,A), xor(I,B,B), xor(I,C,C),
	xor(I,D,D), xor(I,E,E), xor(I,F,F), xor(I,G,G), xor(I,
	H,H), xor(I,I,I), xor(I,L,L), xor(I,K,K), xor(I,J,J),
	xor(L,A,D), xor(L,B,C), xor(L,C,B), xor(L,D,A), xor(L,
	E,F), xor(L,F,E), xor(L,G,H), xor(L,H,G), xor(L,I,L),
	xor(L,L,I), xor(L,K,J), xor(L,J,K), xor(K,A,C), xor(K,
	B,D), xor(K,C,A), xor(K,D,B), xor(K,E,G), xor(K,F,H),
	xor(K,G,E), xor(K,H,F), xor(K,I,K), xor(K,L,J), xor(K,
	K,I), xor(K,J,L), xor(J,A,B), xor(J,B,A), xor(J,C,D),
	xor(J,D,C), xor(J,E,H), xor(J,F,G), xor(J,G,F), xor(J,
	H,E), xor(J,I,J), xor(J,L,K), xor(J,K,L), xor(J,J,I).

[C:0,2,1,0 play([A,B,C,D]).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(A,A,A).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(A,A,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(A,B,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(A,C,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(A,D,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(B,A,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(B,B,B).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(B,B,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(B,C,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(B,D,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(C,A,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(C,B,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(C,C,C).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(C,C,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(C,D,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(D,A,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(D,B,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(D,C,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(D,D,D).]
[C:-4,2,1,0 play([A,B,C,D]) :- and(D,D,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(A,A,A).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(A,A,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(A,B,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(A,C,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(A,D,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(B,A,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(B,B,B).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(B,B,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(B,C,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(B,D,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(C,A,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(C,B,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(C,C,C).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(C,C,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(C,D,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(D,A,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(D,B,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(D,C,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(D,D,D).]
[C:-4,2,1,0 play([A,B,C,D]) :- or(D,D,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- xor(A,A,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- xor(A,B,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- xor(A,C,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- xor(A,D,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- xor(B,A,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- xor(B,B,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- xor(B,C,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- xor(B,D,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- xor(C,A,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- xor(C,B,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- xor(C,C,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- xor(C,D,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- xor(D,A,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- xor(D,B,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- xor(D,C,E).]
[C:-4,2,1,0 play([A,B,C,D]) :- xor(D,D,E).]
[57 explored search nodes]
f=0,p=2,n=1,h=0
[No compression]


play([15,19,2,30]).
play([7,29,30,4]).
play([A,B,C]) :- xor(A,B,C).

[Total number of clauses = 3]

yes
[:- generalise(play/1)? - Time taken 2.02s]
|- [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 negative:]play([6,5,4,3,2,6]).
[False negative:]play([6,6,5,20,15,30]).
[False negative:]play([6,6,17,15,6,24]).
[False negative:]play([6,7,7,9,25,22]).
[False negative:]play([6,8,20,22,28,16]).
[False negative:]play([6,10,12,7,28,27]).
[False negative:]play([6,10,24,3,15,24]).
[False negative:]play([6,11,13,26,16,10]).
[False negative:]play([6,11,25,21,21,20]).
[False negative:]play([6,12,15,16,28,9]).
[False negative:]play([6,13,5,12,6,4]).
[False negative:]play([6,15,8,20,25,12]).
[False negative:]play([6,15,20,15,27,9]).
[False negative:]play([6,16,10,11,10,29]).
[False negative:]play([6,16,22,6,9,15]).
[False negative:]play([6,17,23,24,26,2]).
[False negative:]play([6,18,13,20,2,15]).
[False negative:]play([6,18,25,15,6,4]).
[False negative:]play([6,19,15,10,8,24]).
[False negative:]play([6,20,5,5,15,29]).
[False negative:]play([6,20,16,28,22,8]).
[False negative:]play([6,21,6,23,21,23]).
[False negative:]play([6,24,23,17,12,20]).
[False negative:]play([7,6,4,24,9,20]).
[False negative:]play([7,7,18,8,12,22]).
[False negative:]play([7,9,9,21,11,25]).
[False negative:]play([7,9,21,16,28,23]).
[False negative:]play([7,10,23,7,6,27]).
[False negative:]play([7,11,12,30,5,27]).
[False negative:]play([7,11,24,25,15,2]).
[False negative:]play([7,13,16,10,28,12]).
[False negative:]play([7,14,17,29,9,12]).
[False negative:]play([7,16,9,14,30,14]).
[False negative:]play([7,16,21,9,28,23]).
[False negative:]play([7,21,17,22,25,12]).
[False negative:]play([7,23,21,3,21,19]).
[False negative:]play([7,24,22,21,6,26]).
[False negative:]play([7,25,12,15,24,5]).
[False negative:]play([8,6,15,23,30,8]).
[False negative:]play([8,7,5,19,5,28]).
[False negative:]play([8,7,17,14,18,2]).
[False negative:]play([8,8,19,4,5,18]).
[False negative:]play([8,9,8,26,25,10]).
[False negative:]play([8,10,10,16,9,17]).
[False negative:]play([8,11,23,28,12,4]).
[False negative:]play([8,12,13,23,15,17]).
[False negative:]play([8,14,5,8,12,7]).
[False negative:]play([8,14,17,3,15,27]).
[False negative:]play([8,16,8,17,3,2]).
[False negative:]play([8,17,10,7,12,24]).
[False negative:]play([8,17,21,30,2,16]).
[False negative:]play([8,18,11,25,15,7]).
[False negative:]play([8,19,13,15,15,22]).
[False negative:]play([8,19,25,10,9,1]).
[False negative:]play([8,21,16,22,12,23]).
[False negative:]play([8,22,6,17,5,12]).
[False negative:]play([8,22,18,11,28,27]).
[False negative:]play([8,25,23,9,25,22]).
[False negative:]play([9,7,4,18,15,23]).
[False negative:]play([9,7,16,13,22,5]).
[False negative:]play([9,8,18,3,14,30]).
[False negative:]play([9,9,7,26,6,27]).
[False negative:]play([9,9,19,20,25,30]).
[False negative:]play([9,10,9,15,18,23]).
[False negative:]play([9,11,11,5,2,14]).
[False negative:]play([9,11,22,27,22,25]).
[False negative:]play([9,16,7,16,13,3]).
[False negative:]play([9,16,19,11,6,7]).
[False negative:]play([9,18,22,19,15,17]).
[False negative:]play([9,19,12,14,25,1]).
[False negative:]play([9,19,24,9,17,26]).
[False negative:]play([9,20,14,4,12,27]).
[False negative:]play([9,20,25,27,4,27]).
[False negative:]play([9,21,15,21,21,19]).
[False negative:]play([9,22,5,16,15,5]).
[False negative:]play([9,24,8,23,11,5]).
[False negative:]play([9,24,20,18,28,11]).
[False negative:]play([9,25,10,13,18,5]).
[False negative:]play([9,25,22,9,5,10]).
[False negative:]play([10,5,12,3,26,26]).
[False negative:]play([10,6,13,22,17,6]).
[False negative:]play([10,8,16,30,25,21]).
[False negative:]play([10,9,6,25,18,14]).
[False negative:]play([10,10,8,14,28,26]).
[False negative:]play([10,10,20,9,21,8]).
[False negative:]play([10,11,21,27,2,13]).
[False negative:]play([10,13,13,12,12,10]).
[False negative:]play([10,13,25,7,11,18]).
[False negative:]play([10,15,4,25,18,10]).
[False negative:]play([10,16,18,10,15,13]).
[False negative:]play([10,19,11,13,28,3]).
[False negative:]play([10,20,24,26,12,16]).
[False negative:]play([10,22,4,15,25,14]).
[False negative:]play([10,22,16,10,18,20]).
[False negative:]play([10,23,6,5,6,24]).
[False negative:]play([10,24,7,22,18,17]).
[False negative:]play([10,25,21,8,15,1]).
[False negative:]play([11,5,22,26,24,26]).
[False negative:]play([11,6,12,21,22,2]).
[False negative:]play([11,6,24,17,6,2]).
[False negative:]play([11,7,14,12,7,9]).
[False negative:]play([11,8,15,30,5,23]).
[False negative:]play([11,9,5,24,26,5]).
[False negative:]play([11,9,17,19,16,16]).
[False negative:]play([11,10,7,14,9,1]).
[False negative:]play([11,11,9,3,22,28]).
[False negative:]play([11,12,22,16,8,9]).
[False negative:]play([11,13,24,6,15,23]).
[False negative:]play([11,14,13,29,28,9]).
[False negative:]play([11,14,25,24,24,28]).
[False negative:]play([11,16,5,14,30,14]).
[False negative:]play([11,18,8,23,2,4]).
[False negative:]play([11,20,23,25,22,7]).
[False negative:]play([11,22,15,9,28,7]).
[False negative:]play([11,23,5,4,18,15]).
[False negative:]play([11,23,16,27,9,30]).
[False negative:]play([12,5,9,30,27,5]).
[False negative:]play([12,5,21,25,28,25]).
[False negative:]play([12,7,13,11,19,30]).
[False negative:]play([12,7,25,6,25,13]).
[False negative:]play([12,9,16,19,28,26]).
[False negative:]play([12,10,6,14,28,18]).
[False negative:]play([12,11,19,28,2,10]).
[False negative:]play([12,12,21,17,24,28]).
[False negative:]play([12,14,12,29,28,15]).
[False negative:]play([12,15,14,19,9,23]).
[False negative:]play([12,16,4,14,2,20]).
[False negative:]play([12,16,16,8,24,28]).
[False negative:]play([12,17,6,3,15,23]).
[False negative:]play([12,17,17,26,5,19]).
[False negative:]play([12,18,7,20,28,17]).
[False negative:]play([12,19,9,10,9,21]).
[False negative:]play([12,19,21,5,2,13]).
[False negative:]play([12,20,22,22,25,1]).
[False negative:]play([12,21,24,13,5,9]).
[False negative:]play([12,23,4,3,12,16]).
[False negative:]play([12,24,5,21,9,13]).
[False negative:]play([12,24,17,16,15,26]).
[False negative:]play([12,25,7,11,21,12]).
[False negative:]play([12,25,19,6,23,23]).
[False negative:]play([13,5,8,30,5,27]).
[False negative:]play([13,5,20,25,7,2]).
[False negative:]play([13,6,22,15,24,10]).
[False negative:]play([13,7,24,6,5,17]).
[False negative:]play([13,8,13,29,8,29]).
[False negative:]play([13,8,25,24,6,2]).
[False negative:]play([13,9,15,19,9,17]).
[False negative:]play([13,10,17,9,7,24]).
[False negative:]play([13,11,7,4,17,20]).
[False negative:]play([13,12,8,22,14,17]).
[False negative:]play([13,14,11,29,8,29]).
[False negative:]play([13,14,23,23,27,24]).
[False negative:]play([13,15,13,18,18,15]).
[False negative:]play([13,16,15,8,6,28]).
[False negative:]play([13,17,4,30,24,30]).
[False negative:]play([13,18,18,14,27,24]).
[False negative:]play([13,19,20,4,11,5]).
[False negative:]play([13,21,23,12,15,12]).
[False negative:]play([13,22,24,30,19,14]).
[False negative:]play([13,23,14,25,25,20]).
[False negative:]play([13,24,4,20,18,23]).
[False negative:]play([13,24,16,15,25,19]).
[False negative:]play([13,25,6,11,2,27]).
[False negative:]play([13,25,18,6,5,5]).
[False negative:]play([14,6,9,19,27,9]).
[False negative:]play([14,7,11,10,9,1]).
[False negative:]play([14,8,24,23,15,6]).
[False negative:]play([14,9,14,18,24,3]).
[False negative:]play([14,10,16,9,3,30]).
[False negative:]play([14,11,6,4,3,4]).
[False negative:]play([14,12,7,21,25,9]).
[False negative:]play([14,12,19,16,14,15]).
[False negative:]play([14,13,9,11,6,7]).
[False negative:]play([14,13,21,5,28,15]).
[False negative:]play([14,14,22,23,9,8]).
[False negative:]play([14,15,24,12,22,3]).
[False negative:]play([14,16,14,7,15,24]).
[False negative:]play([14,16,25,30,5,28]).
[False negative:]play([14,17,15,24,25,17]).
[False negative:]play([14,18,5,19,18,24]).
[False negative:]play([14,20,8,26,25,17]).
[False negative:]play([14,20,20,21,15,20]).
[False negative:]play([14,22,23,29,15,29]).
[False negative:]play([14,24,15,15,5,19]).
[False negative:]play([14,25,5,10,12,20]).
[False negative:]play([14,25,17,5,15,12]).
[False negative:]play([15,5,6,28,19,3]).
[False negative:]play([15,6,8,19,2,16]).
[False negative:]play([15,7,10,9,17,26]).
[False negative:]play([15,8,11,27,28,11]).
[False negative:]play([15,8,23,22,18,20]).
[False negative:]play([15,9,13,18,5,28]).
[False negative:]play([15,9,25,13,3,17]).
[False negative:]play([15,10,15,8,12,14]).
[False negative:]play([15,12,6,21,5,21]).
[False negative:]play([15,12,18,15,24,6]).
[False negative:]play([15,13,8,10,17,17]).
[False negative:]play([15,13,20,5,8,27]).
[False negative:]play([15,14,9,27,28,15]).
[False negative:]play([15,15,11,17,12,22]).
[False negative:]play([15,16,13,6,25,13]).
[False negative:]play([15,16,24,29,15,21]).
[False negative:]play([15,18,4,18,28,23]).
[False negative:]play([15,20,7,26,9,15]).
[False negative:]play([15,20,19,20,27,7]).
[False negative:]play([15,21,9,16,6,5]).
[False negative:]play([15,22,11,6,5,17]).
[False negative:]play([15,22,22,28,25,10]).
[False negative:]play([15,23,12,24,8,4]).
[False negative:]play([15,23,24,19,5,22]).
[False negative:]play([15,24,14,14,15,24]).
[False negative:]play([16,5,5,27,28,23]).
[False negative:]play([16,6,19,13,12,4]).
[False negative:]play([16,8,10,27,8,1]).
[False negative:]play([16,9,24,12,8,5]).
[False negative:]play([16,10,25,30,15,18]).
[False negative:]play([16,11,15,25,19,30]).
[False negative:]play([16,12,17,15,6,4]).
[False negative:]play([16,13,7,9,25,10]).
[False negative:]play([16,13,19,4,18,24]).
[False negative:]play([16,14,20,21,28,3]).
[False negative:]play([16,15,10,16,21,16]).
[False negative:]play([16,15,22,11,12,14]).
[False negative:]play([16,16,12,6,5,15]).
[False negative:]play([16,16,23,28,25,18]).
[False negative:]play([16,17,13,23,15,20]).
[False negative:]play([16,18,15,12,29,28]).
[False negative:]play([16,20,6,25,17,10]).
[False negative:]play([16,21,20,10,9,18]).
[False negative:]play([16,22,10,5,15,6]).
[False negative:]play([16,23,23,18,9,11]).
[False negative:]play([16,24,13,13,25,17]).
[False negative:]play([17,5,4,27,8,3]).
[False negative:]play([17,6,18,12,21,28]).
[False negative:]play([17,8,9,26,18,24]).
[False negative:]play([17,8,21,21,9,16]).
[False negative:]play([17,9,11,16,24,27]).
[False negative:]play([17,11,14,24,28,16]).
[False negative:]play([17,12,4,19,25,19]).
[False negative:]play([17,12,16,14,15,12]).
[False negative:]play([17,13,18,3,28,17]).
[False negative:]play([17,14,19,21,9,16]).
[False negative:]play([17,15,9,16,2,5]).
[False negative:]play([17,15,21,10,23,22]).
[False negative:]play([17,16,11,5,14,1]).
[False negative:]play([17,16,22,28,5,14]).
[False negative:]play([17,17,24,17,18,27]).
[False negative:]play([17,18,14,12,11,10]).
[False negative:]play([17,19,4,6,29,29]).
[False negative:]play([17,20,5,24,22,14]).
[False negative:]play([17,20,17,19,18,21]).
[False negative:]play([17,24,12,13,5,13]).
[False negative:]play([17,25,14,3,15,10]).
[False negative:]play([18,5,15,21,25,20]).
[False negative:]play([18,7,7,7,8,29]).
[False negative:]play([18,8,8,25,28,23]).
[False negative:]play([18,8,20,20,18,8]).
[False negative:]play([18,10,12,5,28,13]).
[False negative:]play([18,10,23,28,18,1]).
[False negative:]play([18,11,13,24,2,14]).
[False negative:]play([18,13,5,8,15,29]).
[False negative:]play([18,13,17,3,8,5]).
[False negative:]play([18,14,18,20,18,8]).
[False negative:]play([18,15,8,15,12,22]).
[False negative:]play([18,15,20,10,2,1]).
[False negative:]play([18,16,10,4,25,21]).
[False negative:]play([18,18,13,11,21,19]).
[False negative:]play([18,20,4,23,27,14]).
[False negative:]play([18,21,6,14,5,10]).

[PREDICATE play/1]

Contingency table=    ________A________~A
                    P|      242|        0|       242
                     |(  121.0)|(  121.0)| 
                   ~P|      758|     1000|      1758
                     |(  879.0)|(  879.0)|
                      ~~~~~~~~~~~~~~~~~~~
                           1000      1000       2000
[Overall accuracy= 62.10% +/- 1.08%]
[Chi-square = 273.04]
 [Without Yates correction = 275.31]
[Chi-square probability = 0.0000]
yes
[:- test(test_2000_progol)? - Time taken 0.02s]
|- [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 negative:]play([6,5,4,3,2,6]).
[False negative:]play([6,6,5,20,15,30]).
[False negative:]play([6,6,17,15,6,24]).
[False negative:]play([6,7,7,9,25,22]).
[False negative:]play([6,8,20,22,28,16]).
[False negative:]play([6,10,12,7,28,27]).
[False negative:]play([6,10,24,3,15,24]).
[False negative:]play([6,11,13,26,16,10]).
[False negative:]play([6,11,25,21,21,20]).
[False negative:]play([6,12,15,16,28,9]).
[False negative:]play([6,13,5,12,6,4]).
[False negative:]play([6,15,8,20,25,12]).
[False negative:]play([6,15,20,15,27,9]).
[False negative:]play([6,16,10,11,10,29]).
[False negative:]play([6,16,22,6,9,15]).
[False negative:]play([6,17,23,24,26,2]).
[False negative:]play([6,18,13,20,2,15]).
[False negative:]play([6,18,25,15,6,4]).
[False negative:]play([6,19,15,10,8,24]).
[False negative:]play([6,20,5,5,15,29]).
[False negative:]play([6,20,16,28,22,8]).
[False negative:]play([6,21,6,23,21,23]).
[False negative:]play([6,24,23,17,12,20]).
[False negative:]play([7,6,4,24,9,20]).
[False negative:]play([7,7,18,8,12,22]).
[False negative:]play([7,9,9,21,11,25]).
[False negative:]play([7,9,21,16,28,23]).
[False negative:]play([7,10,23,7,6,27]).
[False negative:]play([7,11,12,30,5,27]).
[False negative:]play([7,11,24,25,15,2]).
[False negative:]play([7,13,16,10,28,12]).
[False negative:]play([7,14,17,29,9,12]).
[False negative:]play([7,16,9,14,30,14]).
[False negative:]play([7,16,21,9,28,23]).
[False negative:]play([7,21,17,22,25,12]).
[False negative:]play([7,23,21,3,21,19]).
[False negative:]play([7,24,22,21,6,26]).
[False negative:]play([7,25,12,15,24,5]).
[False negative:]play([8,6,15,23,30,8]).
[False negative:]play([8,7,5,19,5,28]).
[False negative:]play([8,7,17,14,18,2]).
[False negative:]play([8,8,19,4,5,18]).
[False negative:]play([8,9,8,26,25,10]).
[False negative:]play([8,10,10,16,9,17]).
[False negative:]play([8,11,23,28,12,4]).
[False negative:]play([8,12,13,23,15,17]).
[False negative:]play([8,14,5,8,12,7]).
[False negative:]play([8,14,17,3,15,27]).
[False negative:]play([8,16,8,17,3,2]).
[False negative:]play([8,17,10,7,12,24]).
[False negative:]play([8,17,21,30,2,16]).
[False negative:]play([8,18,11,25,15,7]).
[False negative:]play([8,19,13,15,15,22]).
[False negative:]play([8,19,25,10,9,1]).
[False negative:]play([8,21,16,22,12,23]).
[False negative:]play([8,22,6,17,5,12]).
[False negative:]play([8,22,18,11,28,27]).
[False negative:]play([8,25,23,9,25,22]).
[False negative:]play([9,7,4,18,15,23]).
[False negative:]play([9,7,16,13,22,5]).
[False negative:]play([9,8,18,3,14,30]).
[False negative:]play([9,9,7,26,6,27]).
[False negative:]play([9,9,19,20,25,30]).
[False negative:]play([9,10,9,15,18,23]).
[False negative:]play([9,11,11,5,2,14]).
[False negative:]play([9,11,22,27,22,25]).
[False negative:]play([9,16,7,16,13,3]).
[False negative:]play([9,16,19,11,6,7]).
[False negative:]play([9,18,22,19,15,17]).
[False negative:]play([9,19,12,14,25,1]).
[False negative:]play([9,19,24,9,17,26]).
[False negative:]play([9,20,14,4,12,27]).
[False negative:]play([9,20,25,27,4,27]).
[False negative:]play([9,21,15,21,21,19]).
[False negative:]play([9,22,5,16,15,5]).
[False negative:]play([9,24,8,23,11,5]).
[False negative:]play([9,24,20,18,28,11]).
[False negative:]play([9,25,10,13,18,5]).
[False negative:]play([9,25,22,9,5,10]).
[False negative:]play([10,5,12,3,26,26]).
[False negative:]play([10,6,13,22,17,6]).
[False negative:]play([10,8,16,30,25,21]).
[False negative:]play([10,9,6,25,18,14]).
[False negative:]play([10,10,8,14,28,26]).
[False negative:]play([10,10,20,9,21,8]).
[False negative:]play([10,11,21,27,2,13]).
[False negative:]play([10,13,13,12,12,10]).
[False negative:]play([10,13,25,7,11,18]).
[False negative:]play([10,15,4,25,18,10]).
[False negative:]play([10,16,18,10,15,13]).
[False negative:]play([10,19,11,13,28,3]).
[False negative:]play([10,20,24,26,12,16]).
[False negative:]play([10,22,4,15,25,14]).
[False negative:]play([10,22,16,10,18,20]).
[False negative:]play([10,23,6,5,6,24]).
[False negative:]play([10,24,7,22,18,17]).
[False negative:]play([10,25,21,8,15,1]).
[False negative:]play([11,5,22,26,24,26]).
[False negative:]play([11,6,12,21,22,2]).
[False negative:]play([11,6,24,17,6,2]).
[False negative:]play([11,7,14,12,7,9]).
[False negative:]play([11,8,15,30,5,23]).
[False negative:]play([11,9,5,24,26,5]).
[False negative:]play([11,9,17,19,16,16]).
[False negative:]play([11,10,7,14,9,1]).
[False negative:]play([11,11,9,3,22,28]).
[False negative:]play([11,12,22,16,8,9]).
[False negative:]play([11,13,24,6,15,23]).
[False negative:]play([11,14,13,29,28,9]).
[False negative:]play([11,14,25,24,24,28]).
[False negative:]play([11,16,5,14,30,14]).
[False negative:]play([11,18,8,23,2,4]).
[False negative:]play([11,20,23,25,22,7]).
[False negative:]play([11,22,15,9,28,7]).
[False negative:]play([11,23,5,4,18,15]).
[False negative:]play([11,23,16,27,9,30]).
[False negative:]play([12,5,9,30,27,5]).
[False negative:]play([12,5,21,25,28,25]).
[False negative:]play([12,7,13,11,19,30]).
[False negative:]play([12,7,25,6,25,13]).
[False negative:]play([12,9,16,19,28,26]).
[False negative:]play([12,10,6,14,28,18]).
[False negative:]play([12,11,19,28,2,10]).
[False negative:]play([12,12,21,17,24,28]).
[False negative:]play([12,14,12,29,28,15]).
[False negative:]play([12,15,14,19,9,23]).
[False negative:]play([12,16,4,14,2,20]).
[False negative:]play([12,16,16,8,24,28]).
[False negative:]play([12,17,6,3,15,23]).
[False negative:]play([12,17,17,26,5,19]).
[False negative:]play([12,18,7,20,28,17]).
[False negative:]play([12,19,9,10,9,21]).
[False negative:]play([12,19,21,5,2,13]).
[False negative:]play([12,20,22,22,25,1]).
[False negative:]play([12,21,24,13,5,9]).
[False negative:]play([12,23,4,3,12,16]).
[False negative:]play([12,24,5,21,9,13]).
[False negative:]play([12,24,17,16,15,26]).
[False negative:]play([12,25,7,11,21,12]).
[False negative:]play([12,25,19,6,23,23]).
[False negative:]play([13,5,8,30,5,27]).
[False negative:]play([13,5,20,25,7,2]).
[False negative:]play([13,6,22,15,24,10]).
[False negative:]play([13,7,24,6,5,17]).
[False negative:]play([13,8,13,29,8,29]).
[False negative:]play([13,8,25,24,6,2]).
[False negative:]play([13,9,15,19,9,17]).
[False negative:]play([13,10,17,9,7,24]).
[False negative:]play([13,11,7,4,17,20]).
[False negative:]play([13,12,8,22,14,17]).
[False negative:]play([13,14,11,29,8,29]).
[False negative:]play([13,14,23,23,27,24]).
[False negative:]play([13,15,13,18,18,15]).
[False negative:]play([13,16,15,8,6,28]).
[False negative:]play([13,17,4,30,24,30]).
[False negative:]play([13,18,18,14,27,24]).
[False negative:]play([13,19,20,4,11,5]).
[False negative:]play([13,21,23,12,15,12]).
[False negative:]play([13,22,24,30,19,14]).
[False negative:]play([13,23,14,25,25,20]).
[False negative:]play([13,24,4,20,18,23]).
[False negative:]play([13,24,16,15,25,19]).
[False negative:]play([13,25,6,11,2,27]).
[False negative:]play([13,25,18,6,5,5]).
[False negative:]play([14,6,9,19,27,9]).
[False negative:]play([14,7,11,10,9,1]).
[False negative:]play([14,8,24,23,15,6]).
[False negative:]play([14,9,14,18,24,3]).
[False negative:]play([14,10,16,9,3,30]).
[False negative:]play([14,11,6,4,3,4]).
[False negative:]play([14,12,7,21,25,9]).
[False negative:]play([14,12,19,16,14,15]).
[False negative:]play([14,13,9,11,6,7]).
[False negative:]play([14,13,21,5,28,15]).
[False negative:]play([14,14,22,23,9,8]).
[False negative:]play([14,15,24,12,22,3]).
[False negative:]play([14,16,14,7,15,24]).
[False negative:]play([14,16,25,30,5,28]).
[False negative:]play([14,17,15,24,25,17]).
[False negative:]play([14,18,5,19,18,24]).
[False negative:]play([14,20,8,26,25,17]).
[False negative:]play([14,20,20,21,15,20]).
[False negative:]play([14,22,23,29,15,29]).
[False negative:]play([14,24,15,15,5,19]).
[False negative:]play([14,25,5,10,12,20]).
[False negative:]play([14,25,17,5,15,12]).
[False negative:]play([15,5,6,28,19,3]).
[False negative:]play([15,6,8,19,2,16]).
[False negative:]play([15,7,10,9,17,26]).
[False negative:]play([15,8,11,27,28,11]).
[False negative:]play([15,8,23,22,18,20]).
[False negative:]play([15,9,13,18,5,28]).
[False negative:]play([15,9,25,13,3,17]).
[False negative:]play([15,10,15,8,12,14]).
[False negative:]play([15,12,6,21,5,21]).
[False negative:]play([15,12,18,15,24,6]).
[False negative:]play([15,13,8,10,17,17]).
[False negative:]play([15,13,20,5,8,27]).
[False negative:]play([15,14,9,27,28,15]).
[False negative:]play([15,15,11,17,12,22]).
[False negative:]play([15,16,13,6,25,13]).
[False negative:]play([15,16,24,29,15,21]).
[False negative:]play([15,18,4,18,28,23]).
[False negative:]play([15,20,7,26,9,15]).
[False negative:]play([15,20,19,20,27,7]).
[False negative:]play([15,21,9,16,6,5]).
[False negative:]play([15,22,11,6,5,17]).
[False negative:]play([15,22,22,28,25,10]).
[False negative:]play([15,23,12,24,8,4]).
[False negative:]play([15,23,24,19,5,22]).
[False negative:]play([15,24,14,14,15,24]).
[False negative:]play([16,5,5,27,28,23]).
[False negative:]play([16,6,19,13,12,4]).
[False negative:]play([16,8,10,27,8,1]).
[False negative:]play([16,9,24,12,8,5]).
[False negative:]play([16,10,25,30,15,18]).
[False negative:]play([16,11,15,25,19,30]).
[False negative:]play([16,12,17,15,6,4]).
[False negative:]play([16,13,7,9,25,10]).
[False negative:]play([16,13,19,4,18,24]).
[False negative:]play([16,14,20,21,28,3]).
[False negative:]play([16,15,10,16,21,16]).
[False negative:]play([16,15,22,11,12,14]).
[False negative:]play([16,16,12,6,5,15]).
[False negative:]play([16,16,23,28,25,18]).
[False negative:]play([16,17,13,23,15,20]).
[False negative:]play([16,18,15,12,29,28]).
[False negative:]play([16,20,6,25,17,10]).
[False negative:]play([16,21,20,10,9,18]).
[False negative:]play([16,22,10,5,15,6]).
[False negative:]play([16,23,23,18,9,11]).
[False negative:]play([16,24,13,13,25,17]).
[False negative:]play([17,5,4,27,8,3]).
[False negative:]play([17,6,18,12,21,28]).
[False negative:]play([17,8,9,26,18,24]).
[False negative:]play([17,8,21,21,9,16]).
[False negative:]play([17,9,11,16,24,27]).
[False negative:]play([17,11,14,24,28,16]).
[False negative:]play([17,12,4,19,25,19]).
[False negative:]play([17,12,16,14,15,12]).
[False negative:]play([17,13,18,3,28,17]).
[False negative:]play([17,14,19,21,9,16]).
[False negative:]play([17,15,9,16,2,5]).
[False negative:]play([17,15,21,10,23,22]).
[False negative:]play([17,16,11,5,14,1]).
[False negative:]play([17,16,22,28,5,14]).
[False negative:]play([17,17,24,17,18,27]).
[False negative:]play([17,18,14,12,11,10]).
[False negative:]play([17,19,4,6,29,29]).
[False negative:]play([17,20,5,24,22,14]).
[False negative:]play([17,20,17,19,18,21]).
[False negative:]play([17,24,12,13,5,13]).
[False negative:]play([17,25,14,3,15,10]).
[False negative:]play([18,5,15,21,25,20]).
[False negative:]play([18,7,7,7,8,29]).
[False negative:]play([18,8,8,25,28,23]).
[False negative:]play([18,8,20,20,18,8]).
[False negative:]play([18,10,12,5,28,13]).
[False negative:]play([18,10,23,28,18,1]).
[False negative:]play([18,11,13,24,2,14]).
[False negative:]play([18,13,5,8,15,29]).
[False negative:]play([18,13,17,3,8,5]).
[False negative:]play([18,14,18,20,18,8]).
[False negative:]play([18,15,8,15,12,22]).
[False negative:]play([18,15,20,10,2,1]).
[False negative:]play([18,16,10,4,25,21]).
[False negative:]play([18,18,13,11,21,19]).
[False negative:]play([18,20,4,23,27,14]).
[False negative:]play([18,21,6,14,5,10]).
TP = 242
FP = 0
FN = 758
TN = 1000 yes
[:- test(test_2000_progol,[[_,TP,FP,FN,TN]]), tell('oneResult.txt'), write(TP), write(','), write(FP), write(','), write(TN), write(','), write(FN), nl, told? - Time taken 0.02s]
|-