%-----------------The matrix entries we need compute-----
matrix(1,2). matrix(1,3). matrix(1,4). matrix(1,5). matrix(1,6). matrix(1,7). matrix(1,8). 
matrix(1,9). matrix(1,10). matrix(2,3). matrix(2,4). matrix(2,5). matrix(2,6). matrix(2,7). matrix(2,8). matrix(2,9). matrix(2,10). 
matrix(3,4). matrix(3,5). matrix(3,6). matrix(3,7). matrix(3,8). matrix(3,9). matrix(3,10). matrix(4,5). matrix(4,6). matrix(4,7). 
matrix(4,8). matrix(4,9). matrix(4,10). matrix(5,6). matrix(5,7). matrix(5,8). matrix(5,9). matrix(5,10). matrix(6,7). matrix(6,8). 
matrix(6,9). matrix(6,10). matrix(7,8). matrix(7,9). matrix(7,10). matrix(8,9). matrix(8,10). matrix(9,10). 

%----Uniqueness constraints: each entry of the matrix has exactly one value-----
1{result(1,2,2), result(1,2,3), result(1,2,4), result(1,2,5)}1.
1{result(1,3,3), result(1,3,4),result(1,3,5)}1.
1{result(1,4,2), result(1,4,3), result(1,4,4), result(1,4,5)}1.
1{result(1,5,3), result(1,5,4), result(1,5,5)}1.
1{result(1,6,3), result(1,6,4), result(1,6,5)}1.
1{result(1,7,3), result(1,7,4),result(1,7,5)}1.
1{result(1,8,3), result(1,8,4),result(1,8,5)}1.
1{result(1,9,3), result(1,9,4), result(1,9,5)}1.
1{result(1,10,3), result(1,10,4), result(1,10,5)}1.
1{result(2,3,3), result(2,3,4), result(2,3,5)}1.
1{result(2,4,3), result(2,4,4), result(2,4,5)}1.
1{result(2,5,3), result(2,5,4),result(2,5,5)}1.
1{result(2,6,3), result(2,6,4),result(2,6,5)}1.
1{result(2,7,3), result(2,7,4), result(2,7,5)}1.
1{result(2,8,2), result(2,8,3), result(2,8,4), result(2,8,5)}1.
1{result(2,9,3), result(2,9,4),result(2,9,5)}1.
1{result(2,10,1), result(2,10,2), result(2,10,3), result(2,10,4), result(2,10,5)}1.
1{result(3,4,3),result(3,4,5)}1.
result(3,5,5).
result(3,6,5).
result(3,7,1).
1{result(3,8,2), result(3,8,3),result(3,8,5)}1.
result(3,9,5).
1{result(3,10,2), result(3,10,3), result(3,10,4)}1.
1{result(4,5,2), result(4,5,3), result(4,5,4)}1.
1{result(4,6,2), result(4,6,3), result(4,6,4)}1.
1{result(4,7,3),result(4,7,5)}1.
1{result(4,8,3), result(4,8,4),result(4,8,5)}1.
1{result(4,9,2), result(4,9,3), result(4,9,4)}1.
1{result(4,10,3), result(4,10,4),result(4,10,5)}1.
result(5,6,1).
result(5,7,5).
result(5,8,5).
1{result(5,9,2), result(5,9,3),result(5,9,5)}1.
1{result(5,10,3),result(5,10,5)}1.
result(6,7,5).
result(6,8,5).
1{result(6,9,2), result(6,9,3),result(6,9,5)}1.
1{result(6,10,3),result(6,10,5)}1.
1{result(7,8,2), result(7,8,3),result(7,8,5)}1.
result(7,9,5).
1{result(7,10,2), result(7,10,3), result(7,10,4)}1.
1{result(8,9,3),result(8,9,5)}1.
1{result(8,10,2), result(8,10,3), result(8,10,4)}1.
1{result(9,10,3), result(9,10,4),result(9,10,5)}1.

%-------------equal conditions---------------------------------------
equal(X,Y,Y,Z) :- matrix(X,Y),result(X,Y,1),matrix(Y,Z),result(Y,Z,1),X<Y,Y<Z.
equal(X,Y,X,Z) :- matrix(X,Y),result(X,Y,1),matrix(X,Z),result(X,Z,1),X<Y,Y<Z.
equal(X,Z,Y,Z) :- matrix(X,Z),result(X,Z,1),matrix(Y,Z),result(Y,Z,1),X<Y,Y<Z.
equal(X,Y,Y,Z) :- matrix(X,Y),result(X,Y,2),matrix(Y,Z),result(Y,Z,2),X<Y,Y<Z.
equal(X,Y,X,Z) :- matrix(X,Y),result(X,Y,2),matrix(X,Z),result(X,Z,2),X<Y,Y<Z.
equal(X,Z,Y,Z) :- matrix(X,Z),result(X,Z,2),matrix(Y,Z),result(Y,Z,2),X<Y,Y<Z.
equal(X,Y,Y,Z) :- matrix(X,Y),result(X,Y,3),matrix(Y,Z),result(Y,Z,3),X<Y,Y<Z.
equal(X,Y,X,Z) :- matrix(X,Y),result(X,Y,3),matrix(X,Z),result(X,Z,3),X<Y,Y<Z.
equal(X,Z,Y,Z) :- matrix(X,Z),result(X,Z,3),matrix(Y,Z),result(Y,Z,3),X<Y,Y<Z.
equal(X,Y,Y,Z) :- matrix(X,Y),result(X,Y,4),matrix(Y,Z),result(Y,Z,4),X<Y,Y<Z.
equal(X,Y,X,Z) :- matrix(X,Y),result(X,Y,4),matrix(X,Z),result(X,Z,4),X<Y,Y<Z.
equal(X,Z,Y,Z) :- matrix(X,Z),result(X,Z,4),matrix(Y,Z),result(Y,Z,4),X<Y,Y<Z.
equal(X,Y,Y,Z) :- matrix(X,Y),result(X,Y,5),matrix(Y,Z),result(Y,Z,5),X<Y,Y<Z.
equal(X,Y,X,Z) :- matrix(X,Y),result(X,Y,5),matrix(X,Z),result(X,Z,5),X<Y,Y<Z.
equal(X,Z,Y,Z) :- matrix(X,Z),result(X,Z,5),matrix(Y,Z),result(Y,Z,5),X<Y,Y<Z.

%-------------greater conditions---------------------------------------
gter(X,Y,X,Z) :- matrix(X,Y),matrix(X,Z),result(X,Y,2),result(X,Z,1),X<Y,Y<Z.
gter(X,Y,Y,Z) :- matrix(X,Y),matrix(Y,Z),result(X,Y,2),result(Y,Z,1),X<Y,Y<Z.
gter(X,Z,X,Y) :- matrix(X,Z),matrix(X,Y),result(X,Z,2),result(X,Y,1),X<Y,Y<Z.
gter(X,Y,X,Z) :- matrix(X,Y),matrix(X,Z),result(X,Y,3),result(X,Z,1),X<Y,Y<Z.
gter(X,Y,Y,Z) :- matrix(X,Y),matrix(Y,Z),result(X,Y,3),result(Y,Z,1),X<Y,Y<Z.
gter(X,Z,X,Y) :- matrix(X,Z),matrix(X,Y),result(X,Z,3),result(X,Y,1),X<Y,Y<Z.
gter(X,Y,X,Z) :- matrix(X,Y),matrix(X,Z),result(X,Y,4),result(X,Z,1),X<Y,Y<Z.
gter(X,Y,Y,Z) :- matrix(X,Y),matrix(Y,Z),result(X,Y,4),result(Y,Z,1),X<Y,Y<Z.
gter(X,Z,X,Y) :- matrix(X,Z),matrix(X,Y),result(X,Z,4),result(X,Y,1),X<Y,Y<Z.
gter(X,Y,X,Z) :- matrix(X,Y),matrix(X,Z),result(X,Y,5),result(X,Z,1),X<Y,Y<Z.
gter(X,Y,Y,Z) :- matrix(X,Y),matrix(Y,Z),result(X,Y,5),result(Y,Z,1),X<Y,Y<Z.
gter(X,Z,X,Y) :- matrix(X,Z),matrix(X,Y),result(X,Z,5),result(X,Y,1),X<Y,Y<Z.
gter(X,Y,X,Z) :- matrix(X,Y),matrix(X,Z),result(X,Y,3),result(X,Z,2),X<Y,Y<Z.
gter(X,Y,Y,Z) :- matrix(X,Y),matrix(Y,Z),result(X,Y,3),result(Y,Z,2),X<Y,Y<Z.
gter(X,Z,X,Y) :- matrix(X,Z),matrix(X,Y),result(X,Z,3),result(X,Y,2),X<Y,Y<Z.
gter(X,Y,X,Z) :- matrix(X,Y),matrix(X,Z),result(X,Y,4),result(X,Z,2),X<Y,Y<Z.
gter(X,Y,Y,Z) :- matrix(X,Y),matrix(Y,Z),result(X,Y,4),result(Y,Z,2),X<Y,Y<Z.
gter(X,Z,X,Y) :- matrix(X,Z),matrix(X,Y),result(X,Z,4),result(X,Y,2),X<Y,Y<Z.
gter(X,Y,X,Z) :- matrix(X,Y),matrix(X,Z),result(X,Y,5),result(X,Z,2),X<Y,Y<Z.
gter(X,Y,Y,Z) :- matrix(X,Y),matrix(Y,Z),result(X,Y,5),result(Y,Z,2),X<Y,Y<Z.
gter(X,Z,X,Y) :- matrix(X,Z),matrix(X,Y),result(X,Z,5),result(X,Y,2),X<Y,Y<Z.
gter(X,Y,X,Z) :- matrix(X,Y),matrix(X,Z),result(X,Y,4),result(X,Z,3),X<Y,Y<Z.
gter(X,Y,Y,Z) :- matrix(X,Y),matrix(Y,Z),result(X,Y,4),result(Y,Z,3),X<Y,Y<Z.
gter(X,Z,X,Y) :- matrix(X,Z),matrix(X,Y),result(X,Z,4),result(X,Y,3),X<Y,Y<Z.
gter(X,Y,X,Z) :- matrix(X,Y),matrix(X,Z),result(X,Y,5),result(X,Z,3),X<Y,Y<Z.
gter(X,Y,Y,Z) :- matrix(X,Y),matrix(Y,Z),result(X,Y,5),result(Y,Z,3),X<Y,Y<Z.
gter(X,Z,X,Y) :- matrix(X,Z),matrix(X,Y),result(X,Z,5),result(X,Y,3),X<Y,Y<Z.
gter(X,Y,X,Z) :- matrix(X,Y),matrix(X,Z),result(X,Y,5),result(X,Z,4),X<Y,Y<Z.
gter(X,Y,Y,Z) :- matrix(X,Y),matrix(Y,Z),result(X,Y,5),result(Y,Z,4),X<Y,Y<Z.
gter(X,Z,X,Y) :- matrix(X,Z),matrix(X,Y),result(X,Z,5),result(X,Y,4),X<Y,Y<Z.

%-------------ultrametric constraints---------------------------------------
ultra(X,Y,Z) :- matrix(X,Y),matrix(Y,Z),matrix(X,Z),equal(X,Y,Y,Z),gter(X,Y,X,Z),X<Y,Y<Z.
ultra(X,Y,Z) :- matrix(X,Y),matrix(Y,Z),matrix(X,Z),equal(X,Y,X,Z),gter(X,Y,Y,Z),X<Y,Y<Z.
ultra(X,Y,Z) :- matrix(X,Y),matrix(Y,Z),matrix(X,Z),equal(X,Z,Y,Z),gter(X,Z,X,Y),X<Y,Y<Z.

%-------------quartet consistency constraints---------------------------------------
q(1,4,2,3) :- gter(1,2,1,4),gter(1,3,1,4).
q(1,4,2,3) :- gter(1,2,2,3),gter(2,4,2,3).
q(1,5,2,3) :- gter(1,2,1,5),gter(1,3,1,5).
q(1,5,2,3) :- gter(1,2,2,3),gter(2,5,2,3).
q(1,6,2,3) :- gter(1,2,1,6),gter(1,3,1,6).
q(1,6,2,3) :- gter(1,2,2,3),gter(2,6,2,3).
q(1,2,3,7) :- gter(1,3,1,2),gter(1,7,1,2).
q(1,2,3,7) :- gter(1,3,3,7),gter(2,3,3,7).
q(1,2,3,8) :- gter(1,3,1,2),gter(1,8,1,2).
q(1,2,3,8) :- gter(1,3,3,8),gter(2,3,3,8).
q(1,9,2,3) :- gter(1,2,1,9),gter(1,3,1,9).
q(1,9,2,3) :- gter(1,2,2,3),gter(2,9,2,3).
q(1,10,2,3) :- gter(1,2,1,10),gter(1,3,1,10).
q(1,10,2,3) :- gter(1,2,2,3),gter(2,10,2,3).
q(1,2,4,5) :- gter(1,4,1,2),gter(1,5,1,2).
q(1,2,4,5) :- gter(1,4,4,5),gter(2,4,4,5).
q(1,2,4,6) :- gter(1,4,1,2),gter(1,6,1,2).
q(1,2,4,6) :- gter(1,4,4,6),gter(2,4,4,6).
q(1,4,2,7) :- gter(1,2,1,4),gter(1,7,1,4).
q(1,4,2,7) :- gter(1,2,2,7),gter(2,4,2,7).
q(1,4,2,8) :- gter(1,2,1,4),gter(1,8,1,4).
q(1,4,2,8) :- gter(1,2,2,8),gter(2,4,2,8).
q(1,2,4,9) :- gter(1,4,1,2),gter(1,9,1,2).
q(1,2,4,9) :- gter(1,4,4,9),gter(2,4,4,9).
q(1,4,2,10) :- gter(1,2,1,4),gter(1,10,1,4).
q(1,4,2,10) :- gter(1,2,2,10),gter(2,4,2,10).
q(1,2,5,6) :- gter(1,5,1,2),gter(1,6,1,2).
q(1,2,5,6) :- gter(1,5,5,6),gter(2,5,5,6).
q(1,5,2,7) :- gter(1,2,1,5),gter(1,7,1,5).
q(1,5,2,7) :- gter(1,2,2,7),gter(2,5,2,7).
q(1,5,2,8) :- gter(1,2,1,5),gter(1,8,1,5).
q(1,5,2,8) :- gter(1,2,2,8),gter(2,5,2,8).
q(1,2,5,9) :- gter(1,5,1,2),gter(1,9,1,2).
q(1,2,5,9) :- gter(1,5,5,9),gter(2,5,5,9).
q(1,5,2,10) :- gter(1,2,1,5),gter(1,10,1,5).
q(1,5,2,10) :- gter(1,2,2,10),gter(2,5,2,10).
q(1,6,2,7) :- gter(1,2,1,6),gter(1,7,1,6).
q(1,6,2,7) :- gter(1,2,2,7),gter(2,6,2,7).
q(1,6,2,8) :- gter(1,2,1,6),gter(1,8,1,6).
q(1,6,2,8) :- gter(1,2,2,8),gter(2,6,2,8).
q(1,2,6,9) :- gter(1,6,1,2),gter(1,9,1,2).
q(1,2,6,9) :- gter(1,6,6,9),gter(2,6,6,9).
q(1,6,2,10) :- gter(1,2,1,6),gter(1,10,1,6).
q(1,6,2,10) :- gter(1,2,2,10),gter(2,6,2,10).
q(1,2,7,8) :- gter(1,7,1,2),gter(1,8,1,2).
q(1,2,7,8) :- gter(1,7,7,8),gter(2,7,7,8).
q(1,9,2,7) :- gter(1,2,1,9),gter(1,7,1,9).
q(1,9,2,7) :- gter(1,2,2,7),gter(2,9,2,7).
q(1,7,2,10) :- gter(1,2,1,7),gter(1,10,1,7).
q(1,7,2,10) :- gter(1,2,2,10),gter(2,7,2,10).
q(1,9,2,8) :- gter(1,2,1,9),gter(1,8,1,9).
q(1,9,2,8) :- gter(1,2,2,8),gter(2,9,2,8).
q(1,8,2,10) :- gter(1,2,1,8),gter(1,10,1,8).
q(1,8,2,10) :- gter(1,2,2,10),gter(2,8,2,10).
q(1,9,2,10) :- gter(1,2,1,9),gter(1,10,1,9).
q(1,9,2,10) :- gter(1,2,2,10),gter(2,9,2,10).
q(1,3,4,5) :- gter(1,4,1,3),gter(1,5,1,3).
q(1,3,4,5) :- gter(1,4,4,5),gter(3,4,4,5).
q(1,3,4,6) :- gter(1,4,1,3),gter(1,6,1,3).
q(1,3,4,6) :- gter(1,4,4,6),gter(3,4,4,6).
q(1,4,3,7) :- gter(1,3,1,4),gter(1,7,1,4).
q(1,4,3,7) :- gter(1,3,3,7),gter(3,4,3,7).
q(1,4,3,8) :- gter(1,3,1,4),gter(1,8,1,4).
q(1,4,3,8) :- gter(1,3,3,8),gter(3,4,3,8).
q(1,3,4,9) :- gter(1,4,1,3),gter(1,9,1,3).
q(1,3,4,9) :- gter(1,4,4,9),gter(3,4,4,9).
q(1,4,3,10) :- gter(1,3,1,4),gter(1,10,1,4).
q(1,4,3,10) :- gter(1,3,3,10),gter(3,4,3,10).
q(1,3,5,6) :- gter(1,5,1,3),gter(1,6,1,3).
q(1,3,5,6) :- gter(1,5,5,6),gter(3,5,5,6).
q(1,5,3,7) :- gter(1,3,1,5),gter(1,7,1,5).
q(1,5,3,7) :- gter(1,3,3,7),gter(3,5,3,7).
q(1,5,3,8) :- gter(1,3,1,5),gter(1,8,1,5).
q(1,5,3,8) :- gter(1,3,3,8),gter(3,5,3,8).
q(1,3,5,9) :- gter(1,5,1,3),gter(1,9,1,3).
q(1,3,5,9) :- gter(1,5,5,9),gter(3,5,5,9).
q(1,5,3,10) :- gter(1,3,1,5),gter(1,10,1,5).
q(1,5,3,10) :- gter(1,3,3,10),gter(3,5,3,10).
q(1,6,3,7) :- gter(1,3,1,6),gter(1,7,1,6).
q(1,6,3,7) :- gter(1,3,3,7),gter(3,6,3,7).
q(1,6,3,8) :- gter(1,3,1,6),gter(1,8,1,6).
q(1,6,3,8) :- gter(1,3,3,8),gter(3,6,3,8).
q(1,3,6,9) :- gter(1,6,1,3),gter(1,9,1,3).
q(1,3,6,9) :- gter(1,6,6,9),gter(3,6,6,9).
q(1,6,3,10) :- gter(1,3,1,6),gter(1,10,1,6).
q(1,6,3,10) :- gter(1,3,3,10),gter(3,6,3,10).
q(1,8,3,7) :- gter(1,3,1,8),gter(1,7,1,8).
q(1,8,3,7) :- gter(1,3,3,7),gter(3,8,3,7).
q(1,9,3,7) :- gter(1,3,1,9),gter(1,7,1,9).
q(1,9,3,7) :- gter(1,3,3,7),gter(3,9,3,7).
q(1,10,3,7) :- gter(1,3,1,10),gter(1,7,1,10).
q(1,10,3,7) :- gter(1,3,3,7),gter(3,10,3,7).
q(1,9,3,8) :- gter(1,3,1,9),gter(1,8,1,9).
q(1,9,3,8) :- gter(1,3,3,8),gter(3,9,3,8).
q(1,10,3,8) :- gter(1,3,1,10),gter(1,8,1,10).
q(1,10,3,8) :- gter(1,3,3,8),gter(3,10,3,8).
q(1,9,3,10) :- gter(1,3,1,9),gter(1,10,1,9).
q(1,9,3,10) :- gter(1,3,3,10),gter(3,9,3,10).
q(1,4,5,6) :- gter(1,5,1,4),gter(1,6,1,4).
q(1,4,5,6) :- gter(1,5,5,6),gter(4,5,5,6).
q(1,7,4,5) :- gter(1,4,1,7),gter(1,5,1,7).
q(1,7,4,5) :- gter(1,4,4,5),gter(4,7,4,5).
q(1,8,4,5) :- gter(1,4,1,8),gter(1,5,1,8).
q(1,8,4,5) :- gter(1,4,4,5),gter(4,8,4,5).
q(1,4,5,9) :- gter(1,5,1,4),gter(1,9,1,4).
q(1,4,5,9) :- gter(1,5,5,9),gter(4,5,5,9).
q(1,10,4,5) :- gter(1,4,1,10),gter(1,5,1,10).
q(1,10,4,5) :- gter(1,4,4,5),gter(4,10,4,5).
q(1,7,4,6) :- gter(1,4,1,7),gter(1,6,1,7).
q(1,7,4,6) :- gter(1,4,4,6),gter(4,7,4,6).
q(1,8,4,6) :- gter(1,4,1,8),gter(1,6,1,8).
q(1,8,4,6) :- gter(1,4,4,6),gter(4,8,4,6).
q(1,4,6,9) :- gter(1,6,1,4),gter(1,9,1,4).
q(1,4,6,9) :- gter(1,6,6,9),gter(4,6,6,9).
q(1,10,4,6) :- gter(1,4,1,10),gter(1,6,1,10).
q(1,10,4,6) :- gter(1,4,4,6),gter(4,10,4,6).
q(1,4,7,8) :- gter(1,7,1,4),gter(1,8,1,4).
q(1,4,7,8) :- gter(1,7,7,8),gter(4,7,7,8).
q(1,7,4,9) :- gter(1,4,1,7),gter(1,9,1,7).
q(1,7,4,9) :- gter(1,4,4,9),gter(4,7,4,9).
q(1,4,7,10) :- gter(1,7,1,4),gter(1,10,1,4).
q(1,4,7,10) :- gter(1,7,7,10),gter(4,7,7,10).
q(1,8,4,9) :- gter(1,4,1,8),gter(1,9,1,8).
q(1,8,4,9) :- gter(1,4,4,9),gter(4,8,4,9).
q(1,4,8,10) :- gter(1,8,1,4),gter(1,10,1,4).
q(1,4,8,10) :- gter(1,8,8,10),gter(4,8,8,10).
q(1,10,4,9) :- gter(1,4,1,10),gter(1,9,1,10).
q(1,10,4,9) :- gter(1,4,4,9),gter(4,10,4,9).
q(1,7,5,6) :- gter(1,5,1,7),gter(1,6,1,7).
q(1,7,5,6) :- gter(1,5,5,6),gter(5,7,5,6).
q(1,8,5,6) :- gter(1,5,1,8),gter(1,6,1,8).
q(1,8,5,6) :- gter(1,5,5,6),gter(5,8,5,6).
q(1,9,5,6) :- gter(1,5,1,9),gter(1,6,1,9).
q(1,9,5,6) :- gter(1,5,5,6),gter(5,9,5,6).
q(1,10,5,6) :- gter(1,5,1,10),gter(1,6,1,10).
q(1,10,5,6) :- gter(1,5,5,6),gter(5,10,5,6).
q(1,5,7,8) :- gter(1,7,1,5),gter(1,8,1,5).
q(1,5,7,8) :- gter(1,7,7,8),gter(5,7,7,8).
q(1,7,5,9) :- gter(1,5,1,7),gter(1,9,1,7).
q(1,7,5,9) :- gter(1,5,5,9),gter(5,7,5,9).
q(1,5,7,10) :- gter(1,7,1,5),gter(1,10,1,5).
q(1,5,7,10) :- gter(1,7,7,10),gter(5,7,7,10).
q(1,8,5,9) :- gter(1,5,1,8),gter(1,9,1,8).
q(1,8,5,9) :- gter(1,5,5,9),gter(5,8,5,9).
q(1,5,8,10) :- gter(1,8,1,5),gter(1,10,1,5).
q(1,5,8,10) :- gter(1,8,8,10),gter(5,8,8,10).
q(1,10,5,9) :- gter(1,5,1,10),gter(1,9,1,10).
q(1,10,5,9) :- gter(1,5,5,9),gter(5,10,5,9).
q(1,6,7,8) :- gter(1,7,1,6),gter(1,8,1,6).
q(1,6,7,8) :- gter(1,7,7,8),gter(6,7,7,8).
q(1,7,6,9) :- gter(1,6,1,7),gter(1,9,1,7).
q(1,7,6,9) :- gter(1,6,6,9),gter(6,7,6,9).
q(1,6,7,10) :- gter(1,7,1,6),gter(1,10,1,6).
q(1,6,7,10) :- gter(1,7,7,10),gter(6,7,7,10).
q(1,8,6,9) :- gter(1,6,1,8),gter(1,9,1,8).
q(1,8,6,9) :- gter(1,6,6,9),gter(6,8,6,9).
q(1,6,8,10) :- gter(1,8,1,6),gter(1,10,1,6).
q(1,6,8,10) :- gter(1,8,8,10),gter(6,8,8,10).
q(1,10,6,9) :- gter(1,6,1,10),gter(1,9,1,10).
q(1,10,6,9) :- gter(1,6,6,9),gter(6,10,6,9).
q(1,9,7,8) :- gter(1,7,1,9),gter(1,8,1,9).
q(1,9,7,8) :- gter(1,7,7,8),gter(7,9,7,8).
q(1,10,7,8) :- gter(1,7,1,10),gter(1,8,1,10).
q(1,10,7,8) :- gter(1,7,7,8),gter(7,10,7,8).
q(1,9,7,10) :- gter(1,7,1,9),gter(1,10,1,9).
q(1,9,7,10) :- gter(1,7,7,10),gter(7,9,7,10).
q(1,9,8,10) :- gter(1,8,1,9),gter(1,10,1,9).
q(1,9,8,10) :- gter(1,8,8,10),gter(8,9,8,10).
q(2,3,4,5) :- gter(2,4,2,3),gter(2,5,2,3).
q(2,3,4,5) :- gter(2,4,4,5),gter(3,4,4,5).
q(2,3,4,6) :- gter(2,4,2,3),gter(2,6,2,3).
q(2,3,4,6) :- gter(2,4,4,6),gter(3,4,4,6).
q(2,4,3,7) :- gter(2,3,2,4),gter(2,7,2,4).
q(2,4,3,7) :- gter(2,3,3,7),gter(3,4,3,7).
q(2,4,3,8) :- gter(2,3,2,4),gter(2,8,2,4).
q(2,4,3,8) :- gter(2,3,3,8),gter(3,4,3,8).
q(2,3,4,9) :- gter(2,4,2,3),gter(2,9,2,3).
q(2,3,4,9) :- gter(2,4,4,9),gter(3,4,4,9).
q(2,10,3,4) :- gter(2,3,2,10),gter(2,4,2,10).
q(2,10,3,4) :- gter(2,3,3,4),gter(3,10,3,4).
q(2,3,5,6) :- gter(2,5,2,3),gter(2,6,2,3).
q(2,3,5,6) :- gter(2,5,5,6),gter(3,5,5,6).
q(2,5,3,7) :- gter(2,3,2,5),gter(2,7,2,5).
q(2,5,3,7) :- gter(2,3,3,7),gter(3,5,3,7).
q(2,5,3,8) :- gter(2,3,2,5),gter(2,8,2,5).
q(2,5,3,8) :- gter(2,3,3,8),gter(3,5,3,8).
q(2,3,5,9) :- gter(2,5,2,3),gter(2,9,2,3).
q(2,3,5,9) :- gter(2,5,5,9),gter(3,5,5,9).
q(2,5,3,10) :- gter(2,3,2,5),gter(2,10,2,5).
q(2,5,3,10) :- gter(2,3,3,10),gter(3,5,3,10).
q(2,6,3,7) :- gter(2,3,2,6),gter(2,7,2,6).
q(2,6,3,7) :- gter(2,3,3,7),gter(3,6,3,7).
q(2,6,3,8) :- gter(2,3,2,6),gter(2,8,2,6).
q(2,6,3,8) :- gter(2,3,3,8),gter(3,6,3,8).
q(2,3,6,9) :- gter(2,6,2,3),gter(2,9,2,3).
q(2,3,6,9) :- gter(2,6,6,9),gter(3,6,6,9).
q(2,10,3,6) :- gter(2,3,2,10),gter(2,6,2,10).
q(2,10,3,6) :- gter(2,3,3,6),gter(3,10,3,6).
q(2,8,3,7) :- gter(2,3,2,8),gter(2,7,2,8).
q(2,8,3,7) :- gter(2,3,3,7),gter(3,8,3,7).
q(2,9,3,7) :- gter(2,3,2,9),gter(2,7,2,9).
q(2,9,3,7) :- gter(2,3,3,7),gter(3,9,3,7).
q(2,10,3,7) :- gter(2,3,2,10),gter(2,7,2,10).
q(2,10,3,7) :- gter(2,3,3,7),gter(3,10,3,7).
q(2,9,3,8) :- gter(2,3,2,9),gter(2,8,2,9).
q(2,9,3,8) :- gter(2,3,3,8),gter(3,9,3,8).
q(2,10,3,8) :- gter(2,3,2,10),gter(2,8,2,10).
q(2,10,3,8) :- gter(2,3,3,8),gter(3,10,3,8).
q(2,9,3,10) :- gter(2,3,2,9),gter(2,10,2,9).
q(2,9,3,10) :- gter(2,3,3,10),gter(3,9,3,10).
q(2,4,5,6) :- gter(2,5,2,4),gter(2,6,2,4).
q(2,4,5,6) :- gter(2,5,5,6),gter(4,5,5,6).
q(2,7,4,5) :- gter(2,4,2,7),gter(2,5,2,7).
q(2,7,4,5) :- gter(2,4,4,5),gter(4,7,4,5).
q(2,8,4,5) :- gter(2,4,2,8),gter(2,5,2,8).
q(2,8,4,5) :- gter(2,4,4,5),gter(4,8,4,5).
q(2,4,5,9) :- gter(2,5,2,4),gter(2,9,2,4).
q(2,4,5,9) :- gter(2,5,5,9),gter(4,5,5,9).
q(2,10,4,5) :- gter(2,4,2,10),gter(2,5,2,10).
q(2,10,4,5) :- gter(2,4,4,5),gter(4,10,4,5).
q(2,7,4,6) :- gter(2,4,2,7),gter(2,6,2,7).
q(2,7,4,6) :- gter(2,4,4,6),gter(4,7,4,6).
q(2,8,4,6) :- gter(2,4,2,8),gter(2,6,2,8).
q(2,8,4,6) :- gter(2,4,4,6),gter(4,8,4,6).
q(2,4,6,9) :- gter(2,6,2,4),gter(2,9,2,4).
q(2,4,6,9) :- gter(2,6,6,9),gter(4,6,6,9).
q(2,10,4,6) :- gter(2,4,2,10),gter(2,6,2,10).
q(2,10,4,6) :- gter(2,4,4,6),gter(4,10,4,6).
q(2,4,7,8) :- gter(2,7,2,4),gter(2,8,2,4).
q(2,4,7,8) :- gter(2,7,7,8),gter(4,7,7,8).
q(2,7,4,9) :- gter(2,4,2,7),gter(2,9,2,7).
q(2,7,4,9) :- gter(2,4,4,9),gter(4,7,4,9).
q(2,10,4,7) :- gter(2,4,2,10),gter(2,7,2,10).
q(2,10,4,7) :- gter(2,4,4,7),gter(4,10,4,7).
q(2,8,4,9) :- gter(2,4,2,8),gter(2,9,2,8).
q(2,8,4,9) :- gter(2,4,4,9),gter(4,8,4,9).
q(2,4,8,10) :- gter(2,8,2,4),gter(2,10,2,4).
q(2,4,8,10) :- gter(2,8,8,10),gter(4,8,8,10).
q(2,10,4,9) :- gter(2,4,2,10),gter(2,9,2,10).
q(2,10,4,9) :- gter(2,4,4,9),gter(4,10,4,9).
q(2,7,5,6) :- gter(2,5,2,7),gter(2,6,2,7).
q(2,7,5,6) :- gter(2,5,5,6),gter(5,7,5,6).
q(2,8,5,6) :- gter(2,5,2,8),gter(2,6,2,8).
q(2,8,5,6) :- gter(2,5,5,6),gter(5,8,5,6).
q(2,9,5,6) :- gter(2,5,2,9),gter(2,6,2,9).
q(2,9,5,6) :- gter(2,5,5,6),gter(5,9,5,6).
q(2,10,5,6) :- gter(2,5,2,10),gter(2,6,2,10).
q(2,10,5,6) :- gter(2,5,5,6),gter(5,10,5,6).
q(2,5,7,8) :- gter(2,7,2,5),gter(2,8,2,5).
q(2,5,7,8) :- gter(2,7,7,8),gter(5,7,7,8).
q(2,7,5,9) :- gter(2,5,2,7),gter(2,9,2,7).
q(2,7,5,9) :- gter(2,5,5,9),gter(5,7,5,9).
q(2,5,7,10) :- gter(2,7,2,5),gter(2,10,2,5).
q(2,5,7,10) :- gter(2,7,7,10),gter(5,7,7,10).
q(2,8,5,9) :- gter(2,5,2,8),gter(2,9,2,8).
q(2,8,5,9) :- gter(2,5,5,9),gter(5,8,5,9).
q(2,5,8,10) :- gter(2,8,2,5),gter(2,10,2,5).
q(2,5,8,10) :- gter(2,8,8,10),gter(5,8,8,10).
q(2,10,5,9) :- gter(2,5,2,10),gter(2,9,2,10).
q(2,10,5,9) :- gter(2,5,5,9),gter(5,10,5,9).
q(2,6,7,8) :- gter(2,7,2,6),gter(2,8,2,6).
q(2,6,7,8) :- gter(2,7,7,8),gter(6,7,7,8).
q(2,7,6,9) :- gter(2,6,2,7),gter(2,9,2,7).
q(2,7,6,9) :- gter(2,6,6,9),gter(6,7,6,9).
q(2,10,6,7) :- gter(2,6,2,10),gter(2,7,2,10).
q(2,10,6,7) :- gter(2,6,6,7),gter(6,10,6,7).
q(2,8,6,9) :- gter(2,6,2,8),gter(2,9,2,8).
q(2,8,6,9) :- gter(2,6,6,9),gter(6,8,6,9).
q(2,10,6,8) :- gter(2,6,2,10),gter(2,8,2,10).
q(2,10,6,8) :- gter(2,6,6,8),gter(6,10,6,8).
q(2,10,6,9) :- gter(2,6,2,10),gter(2,9,2,10).
q(2,10,6,9) :- gter(2,6,6,9),gter(6,10,6,9).
q(2,9,7,8) :- gter(2,7,2,9),gter(2,8,2,9).
q(2,9,7,8) :- gter(2,7,7,8),gter(7,9,7,8).
q(2,10,7,8) :- gter(2,7,2,10),gter(2,8,2,10).
q(2,10,7,8) :- gter(2,7,7,8),gter(7,10,7,8).
q(2,9,7,10) :- gter(2,7,2,9),gter(2,10,2,9).
q(2,9,7,10) :- gter(2,7,7,10),gter(7,9,7,10).
q(2,9,8,10) :- gter(2,8,2,9),gter(2,10,2,9).
q(2,9,8,10) :- gter(2,8,8,10),gter(8,9,8,10).
q(3,4,5,6) :- gter(3,5,3,4),gter(3,6,3,4).
q(3,4,5,6) :- gter(3,5,5,6),gter(4,5,5,6).
q(3,7,4,5) :- gter(3,4,3,7),gter(3,5,3,7).
q(3,7,4,5) :- gter(3,4,4,5),gter(4,7,4,5).
q(3,8,4,5) :- gter(3,4,3,8),gter(3,5,3,8).
q(3,8,4,5) :- gter(3,4,4,5),gter(4,8,4,5).
q(3,4,5,9) :- gter(3,5,3,4),gter(3,9,3,4).
q(3,4,5,9) :- gter(3,5,5,9),gter(4,5,5,9).
q(3,10,4,5) :- gter(3,4,3,10),gter(3,5,3,10).
q(3,10,4,5) :- gter(3,4,4,5),gter(4,10,4,5).
q(3,7,4,6) :- gter(3,4,3,7),gter(3,6,3,7).
q(3,7,4,6) :- gter(3,4,4,6),gter(4,7,4,6).
q(3,8,4,6) :- gter(3,4,3,8),gter(3,6,3,8).
q(3,8,4,6) :- gter(3,4,4,6),gter(4,8,4,6).
q(3,4,6,9) :- gter(3,6,3,4),gter(3,9,3,4).
q(3,4,6,9) :- gter(3,6,6,9),gter(4,6,6,9).
q(3,10,4,6) :- gter(3,4,3,10),gter(3,6,3,10).
q(3,10,4,6) :- gter(3,4,4,6),gter(4,10,4,6).
q(3,7,4,8) :- gter(3,4,3,7),gter(3,8,3,7).
q(3,7,4,8) :- gter(3,4,4,8),gter(4,7,4,8).
q(3,7,4,9) :- gter(3,4,3,7),gter(3,9,3,7).
q(3,7,4,9) :- gter(3,4,4,9),gter(4,7,4,9).
q(3,7,4,10) :- gter(3,4,3,7),gter(3,10,3,7).
q(3,7,4,10) :- gter(3,4,4,10),gter(4,7,4,10).
q(3,8,4,9) :- gter(3,4,3,8),gter(3,9,3,8).
q(3,8,4,9) :- gter(3,4,4,9),gter(4,8,4,9).
q(3,8,4,10) :- gter(3,4,3,8),gter(3,10,3,8).
q(3,8,4,10) :- gter(3,4,4,10),gter(4,8,4,10).
q(3,10,4,9) :- gter(3,4,3,10),gter(3,9,3,10).
q(3,10,4,9) :- gter(3,4,4,9),gter(4,10,4,9).
q(3,7,5,6) :- gter(3,5,3,7),gter(3,6,3,7).
q(3,7,5,6) :- gter(3,5,5,6),gter(5,7,5,6).
q(3,8,5,6) :- gter(3,5,3,8),gter(3,6,3,8).
q(3,8,5,6) :- gter(3,5,5,6),gter(5,8,5,6).
q(3,9,5,6) :- gter(3,5,3,9),gter(3,6,3,9).
q(3,9,5,6) :- gter(3,5,5,6),gter(5,9,5,6).
q(3,10,5,6) :- gter(3,5,3,10),gter(3,6,3,10).
q(3,10,5,6) :- gter(3,5,5,6),gter(5,10,5,6).
q(3,7,5,8) :- gter(3,5,3,7),gter(3,8,3,7).
q(3,7,5,8) :- gter(3,5,5,8),gter(5,7,5,8).
q(3,7,5,9) :- gter(3,5,3,7),gter(3,9,3,7).
q(3,7,5,9) :- gter(3,5,5,9),gter(5,7,5,9).
q(3,7,5,10) :- gter(3,5,3,7),gter(3,10,3,7).
q(3,7,5,10) :- gter(3,5,5,10),gter(5,7,5,10).
q(3,8,5,9) :- gter(3,5,3,8),gter(3,9,3,8).
q(3,8,5,9) :- gter(3,5,5,9),gter(5,8,5,9).
q(3,8,5,10) :- gter(3,5,3,8),gter(3,10,3,8).
q(3,8,5,10) :- gter(3,5,5,10),gter(5,8,5,10).
q(3,10,5,9) :- gter(3,5,3,10),gter(3,9,3,10).
q(3,10,5,9) :- gter(3,5,5,9),gter(5,10,5,9).
q(3,7,6,8) :- gter(3,6,3,7),gter(3,8,3,7).
q(3,7,6,8) :- gter(3,6,6,8),gter(6,7,6,8).
q(3,7,6,9) :- gter(3,6,3,7),gter(3,9,3,7).
q(3,7,6,9) :- gter(3,6,6,9),gter(6,7,6,9).
q(3,7,6,10) :- gter(3,6,3,7),gter(3,10,3,7).
q(3,7,6,10) :- gter(3,6,6,10),gter(6,7,6,10).
q(3,8,6,9) :- gter(3,6,3,8),gter(3,9,3,8).
q(3,8,6,9) :- gter(3,6,6,9),gter(6,8,6,9).
q(3,8,6,10) :- gter(3,6,3,8),gter(3,10,3,8).
q(3,8,6,10) :- gter(3,6,6,10),gter(6,8,6,10).
q(3,10,6,9) :- gter(3,6,3,10),gter(3,9,3,10).
q(3,10,6,9) :- gter(3,6,6,9),gter(6,10,6,9).
q(3,7,8,9) :- gter(3,8,3,7),gter(3,9,3,7).
q(3,7,8,9) :- gter(3,8,8,9),gter(7,8,8,9).
q(3,7,8,10) :- gter(3,8,3,7),gter(3,10,3,7).
q(3,7,8,10) :- gter(3,8,8,10),gter(7,8,8,10).
q(3,7,9,10) :- gter(3,9,3,7),gter(3,10,3,7).
q(3,7,9,10) :- gter(3,9,9,10),gter(7,9,9,10).
q(3,8,9,10) :- gter(3,9,3,8),gter(3,10,3,8).
q(3,8,9,10) :- gter(3,9,9,10),gter(8,9,9,10).
q(4,7,5,6) :- gter(4,5,4,7),gter(4,6,4,7).
q(4,7,5,6) :- gter(4,5,5,6),gter(5,7,5,6).
q(4,8,5,6) :- gter(4,5,4,8),gter(4,6,4,8).
q(4,8,5,6) :- gter(4,5,5,6),gter(5,8,5,6).
q(4,9,5,6) :- gter(4,5,4,9),gter(4,6,4,9).
q(4,9,5,6) :- gter(4,5,5,6),gter(5,9,5,6).
q(4,10,5,6) :- gter(4,5,4,10),gter(4,6,4,10).
q(4,10,5,6) :- gter(4,5,5,6),gter(5,10,5,6).
q(4,5,7,8) :- gter(4,7,4,5),gter(4,8,4,5).
q(4,5,7,8) :- gter(4,7,7,8),gter(5,7,7,8).
q(4,7,5,9) :- gter(4,5,4,7),gter(4,9,4,7).
q(4,7,5,9) :- gter(4,5,5,9),gter(5,7,5,9).
q(4,5,7,10) :- gter(4,7,4,5),gter(4,10,4,5).
q(4,5,7,10) :- gter(4,7,7,10),gter(5,7,7,10).
q(4,8,5,9) :- gter(4,5,4,8),gter(4,9,4,8).
q(4,8,5,9) :- gter(4,5,5,9),gter(5,8,5,9).
q(4,5,8,10) :- gter(4,8,4,5),gter(4,10,4,5).
q(4,5,8,10) :- gter(4,8,8,10),gter(5,8,8,10).
q(4,10,5,9) :- gter(4,5,4,10),gter(4,9,4,10).
q(4,10,5,9) :- gter(4,5,5,9),gter(5,10,5,9).
q(4,6,7,8) :- gter(4,7,4,6),gter(4,8,4,6).
q(4,6,7,8) :- gter(4,7,7,8),gter(6,7,7,8).
q(4,7,6,9) :- gter(4,6,4,7),gter(4,9,4,7).
q(4,7,6,9) :- gter(4,6,6,9),gter(6,7,6,9).
q(4,6,7,10) :- gter(4,7,4,6),gter(4,10,4,6).
q(4,6,7,10) :- gter(4,7,7,10),gter(6,7,7,10).
q(4,8,6,9) :- gter(4,6,4,8),gter(4,9,4,8).
q(4,8,6,9) :- gter(4,6,6,9),gter(6,8,6,9).
q(4,6,8,10) :- gter(4,8,4,6),gter(4,10,4,6).
q(4,6,8,10) :- gter(4,8,8,10),gter(6,8,8,10).
q(4,10,6,9) :- gter(4,6,4,10),gter(4,9,4,10).
q(4,10,6,9) :- gter(4,6,6,9),gter(6,10,6,9).
q(4,9,7,8) :- gter(4,7,4,9),gter(4,8,4,9).
q(4,9,7,8) :- gter(4,7,7,8),gter(7,9,7,8).
q(4,10,7,8) :- gter(4,7,4,10),gter(4,8,4,10).
q(4,10,7,8) :- gter(4,7,7,8),gter(7,10,7,8).
q(4,9,7,10) :- gter(4,7,4,9),gter(4,10,4,9).
q(4,9,7,10) :- gter(4,7,7,10),gter(7,9,7,10).
q(4,9,8,10) :- gter(4,8,4,9),gter(4,10,4,9).
q(4,9,8,10) :- gter(4,8,8,10),gter(8,9,8,10).
q(5,6,7,8) :- gter(5,7,5,6),gter(5,8,5,6).
q(5,6,7,8) :- gter(5,7,7,8),gter(6,7,7,8).
q(5,6,7,9) :- gter(5,7,5,6),gter(5,9,5,6).
q(5,6,7,9) :- gter(5,7,7,9),gter(6,7,7,9).
q(5,6,7,10) :- gter(5,7,5,6),gter(5,10,5,6).
q(5,6,7,10) :- gter(5,7,7,10),gter(6,7,7,10).
q(5,6,8,9) :- gter(5,8,5,6),gter(5,9,5,6).
q(5,6,8,9) :- gter(5,8,8,9),gter(6,8,8,9).
q(5,6,8,10) :- gter(5,8,5,6),gter(5,10,5,6).
q(5,6,8,10) :- gter(5,8,8,10),gter(6,8,8,10).
q(5,6,9,10) :- gter(5,9,5,6),gter(5,10,5,6).
q(5,6,9,10) :- gter(5,9,9,10),gter(6,9,9,10).
q(5,9,7,8) :- gter(5,7,5,9),gter(5,8,5,9).
q(5,9,7,8) :- gter(5,7,7,8),gter(7,9,7,8).
q(5,10,7,8) :- gter(5,7,5,10),gter(5,8,5,10).
q(5,10,7,8) :- gter(5,7,7,8),gter(7,10,7,8).
q(5,9,7,10) :- gter(5,7,5,9),gter(5,10,5,9).
q(5,9,7,10) :- gter(5,7,7,10),gter(7,9,7,10).
q(5,9,8,10) :- gter(5,8,5,9),gter(5,10,5,9).
q(5,9,8,10) :- gter(5,8,8,10),gter(8,9,8,10).
q(6,9,7,8) :- gter(6,7,6,9),gter(6,8,6,9).
q(6,9,7,8) :- gter(6,7,7,8),gter(7,9,7,8).
q(6,10,7,8) :- gter(6,7,6,10),gter(6,8,6,10).
q(6,10,7,8) :- gter(6,7,7,8),gter(7,10,7,8).
q(6,9,7,10) :- gter(6,7,6,9),gter(6,10,6,9).
q(6,9,7,10) :- gter(6,7,7,10),gter(7,9,7,10).
q(6,9,8,10) :- gter(6,8,6,9),gter(6,10,6,9).
q(6,9,8,10) :- gter(6,8,8,10),gter(8,9,8,10).
q(7,8,9,10) :- gter(7,9,7,8),gter(7,10,7,8).
q(7,8,9,10) :- gter(7,9,9,10),gter(8,9,9,10).

%-------------solution--------------------------------------
maximize [q(1,4,2,3)=1, q(1,5,2,3)=1, q(1,6,2,3)=1, q(1,2,3,7)=1, q(1,2,3,8)=1, q(1,9,2,3)=1,
q(1,10,2,3)=1, q(1,2,4,5)=1, q(1,2,4,6)=1, q(1,4,2,7)=1, q(1,4,2,8)=1, q(1,2,4,9)=1,
q(1,4,2,10)=1, q(1,2,5,6)=1, q(1,5,2,7)=1, q(1,5,2,8)=1, q(1,2,5,9)=1, q(1,5,2,10)=1,
q(1,6,2,7)=1, q(1,6,2,8)=1, q(1,2,6,9)=1, q(1,6,2,10)=1, q(1,2,7,8)=1, q(1,9,2,7)=1,
q(1,7,2,10)=1, q(1,9,2,8)=1, q(1,8,2,10)=1, q(1,9,2,10)=1, q(1,3,4,5)=1, q(1,3,4,6)=1,
q(1,4,3,7)=1, q(1,4,3,8)=1, q(1,3,4,9)=1, q(1,4,3,10)=1, q(1,3,5,6)=1, q(1,5,3,7)=1,
q(1,5,3,8)=1, q(1,3,5,9)=1, q(1,5,3,10)=1, q(1,6,3,7)=1, q(1,6,3,8)=1, q(1,3,6,9)=1,
q(1,6,3,10)=1, q(1,8,3,7)=1, q(1,9,3,7)=1, q(1,10,3,7)=1, q(1,9,3,8)=1, q(1,10,3,8)=1,
q(1,9,3,10)=1, q(1,4,5,6)=1, q(1,7,4,5)=1, q(1,8,4,5)=1, q(1,4,5,9)=1, q(1,10,4,5)=1,
q(1,7,4,6)=1, q(1,8,4,6)=1, q(1,4,6,9)=1, q(1,10,4,6)=1, q(1,4,7,8)=1, q(1,7,4,9)=1,
q(1,4,7,10)=1, q(1,8,4,9)=1, q(1,4,8,10)=1, q(1,10,4,9)=1, q(1,7,5,6)=1, q(1,8,5,6)=1,
q(1,9,5,6)=1, q(1,10,5,6)=1, q(1,5,7,8)=1, q(1,7,5,9)=1, q(1,5,7,10)=1, q(1,8,5,9)=1,
q(1,5,8,10)=1, q(1,10,5,9)=1, q(1,6,7,8)=1, q(1,7,6,9)=1, q(1,6,7,10)=1, q(1,8,6,9)=1,
q(1,6,8,10)=1, q(1,10,6,9)=1, q(1,9,7,8)=1, q(1,10,7,8)=1, q(1,9,7,10)=1, q(1,9,8,10)=1,
q(2,3,4,5)=1, q(2,3,4,6)=1, q(2,4,3,7)=1, q(2,4,3,8)=1, q(2,3,4,9)=1, q(2,10,3,4)=1,
q(2,3,5,6)=1, q(2,5,3,7)=1, q(2,5,3,8)=1, q(2,3,5,9)=1, q(2,5,3,10)=1, q(2,6,3,7)=1,
q(2,6,3,8)=1, q(2,3,6,9)=1, q(2,10,3,6)=1, q(2,8,3,7)=1, q(2,9,3,7)=1, q(2,10,3,7)=1,
q(2,9,3,8)=1, q(2,10,3,8)=1, q(2,9,3,10)=1, q(2,4,5,6)=1, q(2,7,4,5)=1, q(2,8,4,5)=1,
q(2,4,5,9)=1, q(2,10,4,5)=1, q(2,7,4,6)=1, q(2,8,4,6)=1, q(2,4,6,9)=1, q(2,10,4,6)=1,
q(2,4,7,8)=1, q(2,7,4,9)=1, q(2,10,4,7)=1, q(2,8,4,9)=1, q(2,4,8,10)=1, q(2,10,4,9)=1,
q(2,7,5,6)=1, q(2,8,5,6)=1, q(2,9,5,6)=1, q(2,10,5,6)=1, q(2,5,7,8)=1, q(2,7,5,9)=1,
q(2,5,7,10)=1, q(2,8,5,9)=1, q(2,5,8,10)=1, q(2,10,5,9)=1, q(2,6,7,8)=1, q(2,7,6,9)=1,
q(2,10,6,7)=1, q(2,8,6,9)=1, q(2,10,6,8)=1, q(2,10,6,9)=1, q(2,9,7,8)=1, q(2,10,7,8)=1,
q(2,9,7,10)=1, q(2,9,8,10)=1, q(3,4,5,6)=1, q(3,7,4,5)=1, q(3,8,4,5)=1, q(3,4,5,9)=1,
q(3,10,4,5)=1, q(3,7,4,6)=1, q(3,8,4,6)=1, q(3,4,6,9)=1, q(3,10,4,6)=1, q(3,7,4,8)=1,
q(3,7,4,9)=1, q(3,7,4,10)=1, q(3,8,4,9)=1, q(3,8,4,10)=1, q(3,10,4,9)=1, q(3,7,5,6)=1,
q(3,8,5,6)=1, q(3,9,5,6)=1, q(3,10,5,6)=1, q(3,7,5,8)=1, q(3,7,5,9)=1, q(3,7,5,10)=1,
q(3,8,5,9)=1, q(3,8,5,10)=1, q(3,10,5,9)=1, q(3,7,6,8)=1, q(3,7,6,9)=1, q(3,7,6,10)=1,
q(3,8,6,9)=1, q(3,8,6,10)=1, q(3,10,6,9)=1, q(3,7,8,9)=1, q(3,7,8,10)=1, q(3,7,9,10)=1,
q(3,8,9,10)=1, q(4,7,5,6)=1, q(4,8,5,6)=1, q(4,9,5,6)=1, q(4,10,5,6)=1, q(4,5,7,8)=1,
q(4,7,5,9)=1, q(4,5,7,10)=1, q(4,8,5,9)=1, q(4,5,8,10)=1, q(4,10,5,9)=1, q(4,6,7,8)=1,
q(4,7,6,9)=1, q(4,6,7,10)=1, q(4,8,6,9)=1, q(4,6,8,10)=1, q(4,10,6,9)=1, q(4,9,7,8)=1,
q(4,10,7,8)=1, q(4,9,7,10)=1, q(4,9,8,10)=1, q(5,6,7,8)=1, q(5,6,7,9)=1, q(5,6,7,10)=1,
q(5,6,8,9)=1, q(5,6,8,10)=1, q(5,6,9,10)=1, q(5,9,7,8)=1, q(5,10,7,8)=1, q(5,9,7,10)=1,
q(5,9,8,10)=1, q(6,9,7,8)=1, q(6,10,7,8)=1, q(6,9,7,10)=1, q(6,9,8,10)=1, q(7,8,9,10)=1 
].
:- [q(1,4,2,3)=1, q(1,5,2,3)=1, q(1,6,2,3)=1, q(1,2,3,7)=1, q(1,2,3,8)=1, q(1,9,2,3)=1,
q(1,10,2,3)=1, q(1,2,4,5)=1, q(1,2,4,6)=1, q(1,4,2,7)=1, q(1,4,2,8)=1, q(1,2,4,9)=1,
q(1,4,2,10)=1, q(1,2,5,6)=1, q(1,5,2,7)=1, q(1,5,2,8)=1, q(1,2,5,9)=1, q(1,5,2,10)=1,
q(1,6,2,7)=1, q(1,6,2,8)=1, q(1,2,6,9)=1, q(1,6,2,10)=1, q(1,2,7,8)=1, q(1,9,2,7)=1,
q(1,7,2,10)=1, q(1,9,2,8)=1, q(1,8,2,10)=1, q(1,9,2,10)=1, q(1,3,4,5)=1, q(1,3,4,6)=1,
q(1,4,3,7)=1, q(1,4,3,8)=1, q(1,3,4,9)=1, q(1,4,3,10)=1, q(1,3,5,6)=1, q(1,5,3,7)=1,
q(1,5,3,8)=1, q(1,3,5,9)=1, q(1,5,3,10)=1, q(1,6,3,7)=1, q(1,6,3,8)=1, q(1,3,6,9)=1,
q(1,6,3,10)=1, q(1,8,3,7)=1, q(1,9,3,7)=1, q(1,10,3,7)=1, q(1,9,3,8)=1, q(1,10,3,8)=1,
q(1,9,3,10)=1, q(1,4,5,6)=1, q(1,7,4,5)=1, q(1,8,4,5)=1, q(1,4,5,9)=1, q(1,10,4,5)=1,
q(1,7,4,6)=1, q(1,8,4,6)=1, q(1,4,6,9)=1, q(1,10,4,6)=1, q(1,4,7,8)=1, q(1,7,4,9)=1,
q(1,4,7,10)=1, q(1,8,4,9)=1, q(1,4,8,10)=1, q(1,10,4,9)=1, q(1,7,5,6)=1, q(1,8,5,6)=1,
q(1,9,5,6)=1, q(1,10,5,6)=1, q(1,5,7,8)=1, q(1,7,5,9)=1, q(1,5,7,10)=1, q(1,8,5,9)=1,
q(1,5,8,10)=1, q(1,10,5,9)=1, q(1,6,7,8)=1, q(1,7,6,9)=1, q(1,6,7,10)=1, q(1,8,6,9)=1,
q(1,6,8,10)=1, q(1,10,6,9)=1, q(1,9,7,8)=1, q(1,10,7,8)=1, q(1,9,7,10)=1, q(1,9,8,10)=1,
q(2,3,4,5)=1, q(2,3,4,6)=1, q(2,4,3,7)=1, q(2,4,3,8)=1, q(2,3,4,9)=1, q(2,10,3,4)=1,
q(2,3,5,6)=1, q(2,5,3,7)=1, q(2,5,3,8)=1, q(2,3,5,9)=1, q(2,5,3,10)=1, q(2,6,3,7)=1,
q(2,6,3,8)=1, q(2,3,6,9)=1, q(2,10,3,6)=1, q(2,8,3,7)=1, q(2,9,3,7)=1, q(2,10,3,7)=1,
q(2,9,3,8)=1, q(2,10,3,8)=1, q(2,9,3,10)=1, q(2,4,5,6)=1, q(2,7,4,5)=1, q(2,8,4,5)=1,
q(2,4,5,9)=1, q(2,10,4,5)=1, q(2,7,4,6)=1, q(2,8,4,6)=1, q(2,4,6,9)=1, q(2,10,4,6)=1,
q(2,4,7,8)=1, q(2,7,4,9)=1, q(2,10,4,7)=1, q(2,8,4,9)=1, q(2,4,8,10)=1, q(2,10,4,9)=1,
q(2,7,5,6)=1, q(2,8,5,6)=1, q(2,9,5,6)=1, q(2,10,5,6)=1, q(2,5,7,8)=1, q(2,7,5,9)=1,
q(2,5,7,10)=1, q(2,8,5,9)=1, q(2,5,8,10)=1, q(2,10,5,9)=1, q(2,6,7,8)=1, q(2,7,6,9)=1,
q(2,10,6,7)=1, q(2,8,6,9)=1, q(2,10,6,8)=1, q(2,10,6,9)=1, q(2,9,7,8)=1, q(2,10,7,8)=1,
q(2,9,7,10)=1, q(2,9,8,10)=1, q(3,4,5,6)=1, q(3,7,4,5)=1, q(3,8,4,5)=1, q(3,4,5,9)=1,
q(3,10,4,5)=1, q(3,7,4,6)=1, q(3,8,4,6)=1, q(3,4,6,9)=1, q(3,10,4,6)=1, q(3,7,4,8)=1,
q(3,7,4,9)=1, q(3,7,4,10)=1, q(3,8,4,9)=1, q(3,8,4,10)=1, q(3,10,4,9)=1, q(3,7,5,6)=1,
q(3,8,5,6)=1, q(3,9,5,6)=1, q(3,10,5,6)=1, q(3,7,5,8)=1, q(3,7,5,9)=1, q(3,7,5,10)=1,
q(3,8,5,9)=1, q(3,8,5,10)=1, q(3,10,5,9)=1, q(3,7,6,8)=1, q(3,7,6,9)=1, q(3,7,6,10)=1,
q(3,8,6,9)=1, q(3,8,6,10)=1, q(3,10,6,9)=1, q(3,7,8,9)=1, q(3,7,8,10)=1, q(3,7,9,10)=1,
q(3,8,9,10)=1, q(4,7,5,6)=1, q(4,8,5,6)=1, q(4,9,5,6)=1, q(4,10,5,6)=1, q(4,5,7,8)=1,
q(4,7,5,9)=1, q(4,5,7,10)=1, q(4,8,5,9)=1, q(4,5,8,10)=1, q(4,10,5,9)=1, q(4,6,7,8)=1,
q(4,7,6,9)=1, q(4,6,7,10)=1, q(4,8,6,9)=1, q(4,6,8,10)=1, q(4,10,6,9)=1, q(4,9,7,8)=1,
q(4,10,7,8)=1, q(4,9,7,10)=1, q(4,9,8,10)=1, q(5,6,7,8)=1, q(5,6,7,9)=1, q(5,6,7,10)=1,
q(5,6,8,9)=1, q(5,6,8,10)=1, q(5,6,9,10)=1, q(5,9,7,8)=1, q(5,10,7,8)=1, q(5,9,7,10)=1,
q(5,9,8,10)=1, q(6,9,7,8)=1, q(6,10,7,8)=1, q(6,9,7,10)=1, q(6,9,8,10)=1, q(7,8,9,10)=1 
]201.

compute  {ultra(1,2,3), ultra(1,2,4), ultra(1,2,5), ultra(1,2,6), ultra(1,2,7), ultra(1,2,8), ultra(1,2,9), 
ultra(1,2,10), ultra(1,3,4), ultra(1,3,5), ultra(1,3,6), ultra(1,3,7), ultra(1,3,8), ultra(1,3,9), ultra(1,3,10), 
ultra(1,4,5), ultra(1,4,6), ultra(1,4,7), ultra(1,4,8), ultra(1,4,9), ultra(1,4,10), ultra(1,5,6), ultra(1,5,7), 
ultra(1,5,8), ultra(1,5,9), ultra(1,5,10), ultra(1,6,7), ultra(1,6,8), ultra(1,6,9), ultra(1,6,10), ultra(1,7,8), 
ultra(1,7,9), ultra(1,7,10), ultra(1,8,9), ultra(1,8,10), ultra(1,9,10), ultra(2,3,4), ultra(2,3,5), ultra(2,3,6), 
ultra(2,3,7), ultra(2,3,8), ultra(2,3,9), ultra(2,3,10), ultra(2,4,5), ultra(2,4,6), ultra(2,4,7), ultra(2,4,8), 
ultra(2,4,9), ultra(2,4,10), ultra(2,5,6), ultra(2,5,7), ultra(2,5,8), ultra(2,5,9), ultra(2,5,10), ultra(2,6,7), 
ultra(2,6,8), ultra(2,6,9), ultra(2,6,10), ultra(2,7,8), ultra(2,7,9), ultra(2,7,10), ultra(2,8,9), ultra(2,8,10), 
ultra(2,9,10), ultra(3,4,5), ultra(3,4,6), ultra(3,4,7), ultra(3,4,8), ultra(3,4,9), ultra(3,4,10), ultra(3,5,6), 
ultra(3,5,7), ultra(3,5,8), ultra(3,5,9), ultra(3,5,10), ultra(3,6,7), ultra(3,6,8), ultra(3,6,9), ultra(3,6,10), 
ultra(3,7,8), ultra(3,7,9), ultra(3,7,10), ultra(3,8,9), ultra(3,8,10), ultra(3,9,10), ultra(4,5,6), ultra(4,5,7), 
ultra(4,5,8), ultra(4,5,9), ultra(4,5,10), ultra(4,6,7), ultra(4,6,8), ultra(4,6,9), ultra(4,6,10), ultra(4,7,8), 
ultra(4,7,9), ultra(4,7,10), ultra(4,8,9), ultra(4,8,10), ultra(4,9,10), ultra(5,6,7), ultra(5,6,8), ultra(5,6,9), 
ultra(5,6,10), ultra(5,7,8), ultra(5,7,9), ultra(5,7,10), ultra(5,8,9), ultra(5,8,10), ultra(5,9,10), ultra(6,7,8), 
ultra(6,7,9), ultra(6,7,10), ultra(6,8,9), ultra(6,8,10), ultra(6,9,10), ultra(7,8,9), ultra(7,8,10), ultra(7,9,10), 
ultra(8,9,10)}.

hide  equal(A,B,C,D), gter(A,B,C,D),matrix(A,B), ultra(A,B,C).