param n:=7;

param p (tr):
	1	2	3	4	5	6	7 :=
1	1	3	6	5	2	7	4
2	2	5	4	6	3	7	1
3	3	2	6	7	5	4	1
4	6	7	1	3	2	5	4
5	5	2	3	6	4	7	1
6	1	2	5	6	3	7	4
7	2	1	6	7	5	3	4;