NocialGolfer/input.lp at main · zanuccod/NocialGolfer · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
groups(5).
students(42).
lunches(2).
students_per_group(8).
meets(0,1,-1).
meets(0,2,-1).
meets(0,3,-1).
meets(0,4,-1).
meets(1,2,-1).
meets(1,3,-1).
meets(1,4,-1).
meets(2,3,-1).
meets(2,4,-1).
meets(3,4,-1).
meets(5,6,-2).
meets(5,7,-2).
meets(5,8,-2).
meets(5,9,-2).
meets(6,7,-2).
meets(6,8,-2).
meets(6,9,-2).
meets(7,8,-2).
meets(7,9,-2).
meets(8,9,-2).
meets(10,11,-3).
meets(10,12,-3).
meets(10,13,-3).
meets(10,14,-3).
meets(11,12,-3).
meets(11,13,-3).
meets(11,14,-3).
meets(12,13,-3).
meets(12,14,-3).
meets(13,14,-3).
meets(15,16,-4).
meets(15,17,-4).
meets(15,18,-4).
meets(15,19,-4).
meets(16,17,-4).
meets(16,18,-4).
meets(16,19,-4).
meets(17,18,-4).
meets(17,19,-4).
meets(18,19,-4).
meets(20,21,-5).
meets(20,22,-5).
meets(20,23,-5).
meets(20,24,-5).
meets(20,25,-5).
meets(21,22,-5).
meets(21,23,-5).
meets(21,24,-5).
meets(21,25,-5).
meets(22,23,-5).
meets(22,24,-5).
meets(22,25,-5).
meets(23,24,-5).
meets(23,25,-5).
meets(24,25,-5).
meets(26,27,-6).
meets(26,28,-6).
meets(26,29,-6).
meets(26,30,-6).
meets(26,31,-6).
meets(27,28,-6).
meets(27,29,-6).
meets(27,30,-6).
meets(27,31,-6).
meets(28,29,-6).
meets(28,30,-6).
meets(28,31,-6).
meets(29,30,-6).
meets(29,31,-6).
meets(30,31,-6).
meets(32,33,-7).
meets(32,34,-7).
meets(32,35,-7).
meets(32,36,-7).
meets(32,37,-7).
meets(33,34,-7).
meets(33,35,-7).
meets(33,36,-7).
meets(33,37,-7).
meets(34,35,-7).
meets(34,36,-7).
meets(34,37,-7).
meets(35,36,-7).
meets(35,37,-7).
meets(36,37,-7).