0:{1,3}:{(1,1)}
1:{1,4}:{(0,1),(4,1),(6,1)}
2:{1,3,6}:{(0,1),(3,1),(5,1),(35,1)}
3:{1,4,6}:{(1,1),(2,1),(7,1),(8,1),(9,1),(10,1)}
4:{3,4}:{(1,1),(11,1)}
5:{1,3,5,7}:{(2,1),(7,1),(8,1),(24,1)}
6:{1,2,5}:{(1,1),(7,1),(10,1),(11,1)}
7:{1,5}:{(3,1),(14,1)}
8:{1,4,7}:{(3,1),(5,1),(15,1),(18,1)}
9:{3,4,6}:{(3,1),(4,1),(14,1),(15,1),(19,1),(33,1),(35,1)}
10:{1,2,6}:{(3,1),(6,1),(18,1),(19,1)}
11:{2,3,5}:{(4,1),(6,1),(14,1),(16,1),(19,1)}
12:{1,3,4}:{(4,1),(21,1)}
13:{1,4,5,7}:{(7,1),(8,1),(22,1),(23,1),(24,1),(26,1),(48,1)}
14:{3,5}:{(7,1),(9,1),(23,1)}
15:{3,4,7}:{(8,1),(9,1),(24,1),(28,1),(48,1)}
16:{2,4,5}:{(11,1),(23,1),(25,1)}
17:{1,2,5,6}:{(7,1),(10,1),(22,1),(26,1),(27,1),(94,1),(100,1)}
18:{1,2,7}:{(8,1),(10,1),(28,1)}
19:{2,3,6}:{(9,1),(10,1),(11,1),(25,1),(28,1)}
20:{1,3,4,6}:{(9,1),(12,1),(29,1),(30,1),(32,1),(55,1),(57,1)}
21:{1,2,3,5}:{(11,1),(12,1),(29,1),(31,1),(32,1)}
22:{1,4,6}:{(13,1),(17,1),(33,1),(35,1)}
23:{4,5}:{(14,1),(33,1),(39,1)}
24:{3,5,7}:{(13,1),(14,1),(15,1),(35,1)}
25:{2,4,6}:{(16,1),(19,1),(33,1),(34,1),(37,1)}
26:{1,2,5,7}:{(13,1),(17,1),(18,1),(38,1),(39,1),(40,1),(115,1)}
27:{2,3,5,6}:{(14,1),(17,1),(19,1),(33,1),(34,1),(35,1),(39,1),(40,1),(65,1),(70,1)}
28:{2,3,7}:{(15,1),(18,1),(19,1),(37,1)}
29:{1,3,5}:{(14,1),(20,1),(41,1)}
30:{1,3,4,7}:{(15,1),(20,1),(42,1),(46,1),(73,1)}
31:{1,2,4,5}:{(16,1),(21,1),(41,1),(43,1),(44,1)}
32:{1,2,3,6}:{(19,1),(20,1),(21,1),(43,1),(46,1)}
33:{4,6}:{(23,1),(27,1),(48,1)}
34:{2,5,6}:{(25,1),(47,1),(49,1)}
35:{3,6}:{(22,1),(24,1)}
36:{3,4,5,7}:{(23,1),(24,1),(48,1),(50,1),(51,1),(54,1),(58,1),(84,1),(86,1)}
37:{2,4,7}:{(25,1),(28,1),(48,1),(49,1)}
38:{1,2,4,6,7}:{(22,1),(26,1),(48,1),(52,1),(53,1),(95,1),(99,1),(100,1)}
39:{2,5}:{(23,1),(52,1)}
40:{2,3,5,7}:{(24,1),(26,1),(27,1),(28,1),(48,1),(49,1),(53,1),(84,1)}
41:{1,4,5}:{(23,1),(29,1),(51,1),(55,1),(61,1)}
42:{1,3,5,7}:{(24,1),(29,1),(30,1),(57,1),(58,1)}
43:{1,2,4,6}:{(25,1),(31,1),(32,1),(55,1),(56,1),(59,1),(60,1)}
44:{2,3,4,5}:{(31,1),(51,1),(60,1)}
45:{1,2,3,5,6}:{(27,1),(29,1),(32,1),(55,1),(56,1),(57,1),(61,1),(62,1),(85,1),(90,1),(94,1),(100,1)}
46:{1,2,3,7}:{(28,1),(30,1),(32,1),(59,1)}
47:{4,5,6}:{(33,1),(34,1),(63,1),(65,1)}
48:{4,7}:{(33,1),(40,1)}
49:{2,5,7}:{(34,1),(37,1),(63,1),(64,1)}
50:{3,4,6}:{(33,1),(35,1),(36,1),(65,1),(70,1),(75,1)}
51:{3,4,5}:{(41,1),(67,1),(71,1)}
52:{2,4,6}:{(33,1),(39,1),(69,1),(70,1)}
53:{2,3,6,7}:{(35,1),(38,1),(40,1),(64,1),(66,1),(70,1),(111,1)}
54:{2,3,5,7}:{(36,1),(39,1),(69,1),(70,1),(71,1),(81,1),(111,1)}
55:{1,4,6}:{(33,1),(41,1),(45,1),(67,1),(73,1)}
56:{1,2,5,6}:{(34,1),(43,1),(72,1),(74,1),(76,1)}
57:{1,3,6}:{(35,1),(42,1),(75,1)}
58:{1,4,5,7}:{(36,1),(41,1),(42,1),(73,1),(75,1),(81,1),(115,1)}
59:{1,2,4,7}:{(37,1),(43,1),(46,1),(73,1),(74,1),(78,1)}
60:{2,3,4,6}:{(43,1),(44,1),(67,1),(76,1),(78,1)}
61:{1,2,5}:{(39,1),(41,1),(71,1),(79,1)}
62:{1,2,3,5,7}:{(40,1),(42,1),(45,1),(46,1),(73,1),(74,1),(80,1),(81,1),(105,1),(111,1),(115,1)}
63:{4,5,7}:{(47,1),(48,1),(49,1),(82,1),(84,1)}
64:{2,6,7}:{(49,1),(82,1)}
65:{3,5,6}:{(47,1),(50,1),(84,1),(94,1)}
66:{3,4,6,7}:{(48,1),(50,1),(53,1),(82,1),(84,1),(86,1),(95,1),(127,1)}
67:{3,4,6}:{(51,1),(55,1),(85,1),(86,1),(90,1)}
68:{2,4,5,6}:{(47,1),(52,1),(87,1),(88,1)}
69:{2,4,7}:{(48,1),(52,1),(54,1),(83,1)}
70:{2,3,6}:{(50,1),(52,1),(54,1),(100,1)}
71:{2,3,5}:{(51,1),(61,1),(83,1),(90,1)}
72:{1,4,5,6}:{(47,1),(55,1),(56,1),(85,1),(91,1),(92,1),(94,1)}
73:{1,4,7}:{(48,1),(55,1),(62,1),(86,1)}
74:{1,2,5,7}:{(49,1),(56,1),(59,1),(91,1),(93,1),(96,1)}
75:{1,4,6}:{(50,1),(57,1),(58,1),(94,1),(100,1)}
76:{2,3,5,6}:{(56,1),(60,1),(85,1),(92,1),(96,1)}
77:{1,3,4,5,7}:{(51,1),(58,1),(86,1),(97,1),(101,1),(138,1),(170,1),(179,1),(181,1),(182,1)}
78:{2,3,4,7}:{(59,1),(60,1),(86,1),(96,1)}
79:{1,2,4,6}:{(52,1),(55,1),(61,1),(83,1),(90,1),(99,1),(100,1)}
80:{1,2,3,6,7}:{(53,1),(57,1),(62,1),(93,1),(95,1),(100,1),(127,1)}
81:{1,2,5,7}:{(54,1),(58,1),(61,1),(99,1),(100,1)}
82:{4,6,7}:{(63,1),(64,1),(103,1)}
83:{2,4}:{(71,1)}
84:{3,5,7}:{(63,1),(65,1),(66,1),(115,1)}
85:{3,5,6}:{(67,1),(72,1),(105,1)}
86:{3,4,7}:{(67,1),(73,1),(105,1),(111,1)}
87:{2,4,5,7}:{(63,1),(68,1),(69,1),(102,1),(107,1),(109,1)}
88:{2,3,5,6}:{(65,1),(68,1),(70,1),(108,1),(109,1),(121,1)}
89:{2,3,4,6,7}:{(66,1),(69,1),(70,1),(104,1),(107,1),(108,1),(109,1),(111,1),(122,1),(148,1),(154,1)}
90:{2,3,6}:{(67,1),(71,1),(79,1),(111,1)}
91:{1,4,5,7}:{(63,1),(72,1),(73,1),(74,1),(105,1),(112,1),(113,1),(115,1)}
92:{4,5,6}:{(76,1),(113,1)}
93:{1,2,6,7}:{(64,1),(74,1),(112,1),(116,1)}
94:{1,5,6}:{(65,1),(75,1),(115,1)}
95:{1,4,6,7}:{(66,1),(73,1),(75,1),(80,1),(115,1)}
96:{2,3,5,7}:{(74,1),(76,1),(78,1),(105,1),(113,1),(116,1)}
97:{1,3,4,6}:{(67,1),(75,1),(77,1),(117,1),(123,1),(156,1),(159,1),(193,1)}
98:{1,2,4,5,6}:{(68,1),(72,1),(79,1),(102,1),(110,1),(119,1),(120,1),(121,1),(157,1),(159,1),(160,1),(168,1),(245,1)}
99:{1,2,4,7}:{(69,1),(73,1),(79,1),(81,1),(111,1)}
100:{1,2,6}:{(70,1),(75,1),(81,1)}
101:{1,2,3,5,7}:{(71,1),(77,1),(81,1),(111,1),(114,1),(123,1),(150,1),(160,1)}
102:{2,4,5}:{(83,1),(124,1),(126,1)}
103:{3,5,6,7}:{(82,1),(84,1),(127,1),(136,1)}
104:{2,3,4,6}:{(83,1),(90,1),(124,1),(125,1),(126,1),(129,1),(137,1),(173,1)}
105:{3,5,7}:{(85,1),(86,1),(91,1),(127,1)}
106:{3,4,5,6}:{(85,1),(92,1),(125,1),(128,1),(133,1),(139,1),(213,1),(252,1)}
107:{2,4,6,7}:{(82,1),(87,1),(124,1),(131,1)}
108:{3,4,6}:{(88,1),(130,1),(142,1)}
109:{2,3,5,7}:{(84,1),(87,1),(88,1),(89,1),(126,1),(130,1),(143,1)}
110:{2,3,5,6}:{(85,1),(90,1),(98,1),(125,1),(126,1),(132,1),(173,1),(213,1)}
111:{2,3,7}:{(86,1),(90,1),(99,1)}
112:{1,4,6,7}:{(82,1),(91,1),(93,1),(127,1),(135,1),(136,1)}
113:{4,5,7}:{(92,1),(96,1),(135,1)}
114:{1,2,4,7}:{(83,1),(101,1),(129,1),(137,1),(182,1)}
115:{1,5,7}:{(84,1),(94,1),(95,1)}
116:{2,3,6,7}:{(93,1),(96,1),(127,1),(135,1)}
117:{1,3,5,6}:{(85,1),(94,1),(97,1),(138,1),(139,1),(213,1)}
118:{1,3,4,6,7}:{(86,1),(95,1),(97,1),(127,1),(138,1),(145,1),(171,1),(182,1),(185,1)}
119:{1,2,4,5,7}:{(87,1),(91,1),(98,1),(99,1),(132,1),(140,1),(141,1),(143,1),(182,1),(190,1),(225,1)}
120:{2,4,5,6}:{(92,1),(133,1),(141,1),(252,1)}
121:{1,2,5,6}:{(88,1),(94,1),(100,1),(142,1),(143,1)}
122:{1,2,4,6,7}:{(89,1),(95,1),(99,1),(100,1),(137,1),(142,1),(143,1),(145,1),(182,1)}
123:{1,2,3,6}:{(90,1),(97,1),(100,1),(101,1),(137,1),(173,1)}
124:{2,4,6}:{(102,1),(146,1),(149,1)}
125:{3,4,6}:{(110,1),(147,1),(148,1),(159,1)}
126:{2,3,5}:{(102,1),(104,1),(147,1),(160,1)}
127:{3,6,7}:{(105,1),(112,1)}
128:{3,4,5,7}:{(105,1),(106,1),(113,1),(148,1),(151,1),(155,1),(162,1),(191,1),(234,1)}
129:{2,3,4,7}:{(104,1),(111,1),(114,1),(146,1),(148,1),(150,1)}
130:{3,4,5,7}:{(108,1),(109,1),(147,1),(148,1),(165,1)}
131:{2,3,5,6,7}:{(103,1),(107,1),(109,1),(149,1),(152,1),(154,1),(166,1)}
132:{2,3,5,7}:{(105,1),(110,1),(111,1),(119,1),(148,1),(154,1),(191,1)}
133:{2,3,5,6}:{(106,1),(120,1),(153,1),(155,1),(168,1)}
134:{1,2,4,5,7}:{(102,1),(114,1),(146,1),(150,1),(157,1),(160,1),(204,1),(206,1)}
135:{4,6,7}:{(113,1),(116,1),(158,1)}
136:{1,5,6,7}:{(103,1),(112,1),(115,1),(158,1)}
137:{1,2,4,6}:{(104,1),(114,1),(123,1),(159,1),(160,1)}
138:{1,3,5,7}:{(105,1),(115,1),(117,1),(118,1),(162,1),(191,1)}
139:{1,4,5,6}:{(106,1),(117,1),(159,1),(162,1),(168,1)}
140:{1,2,4,6,7}:{(107,1),(112,1),(119,1),(154,1),(157,1),(164,1),(166,1),(205,1),(212,1)}
141:{2,4,5,7}:{(113,1),(120,1),(155,1),(164,1),(234,1)}
142:{1,4,6}:{(108,1),(121,1),(156,1),(165,1)}
143:{1,2,5,7}:{(109,1),(115,1),(121,1),(122,1),(160,1),(165,1)}
144:{1,2,3,5,6}:{(110,1),(117,1),(121,1),(123,1),(156,1),(159,1),(160,1),(167,1),(168,1),(195,1),(202,1)}
145:{1,2,3,6,7}:{(111,1),(118,1),(122,1),(123,1),(154,1),(156,1),(167,1),(212,1)}
146:{2,4,7}:{(124,1),(172,1)}
147:{3,4,5}:{(125,1),(126,1),(181,1)}
148:{3,4,7}:{(125,1),(132,1),(182,1)}
149:{2,3,5,6}:{(124,1),(126,1),(169,1),(172,1),(173,1),(183,1)}
150:{2,3,5,7}:{(126,1),(129,1),(134,1),(170,1),(173,1)}
151:{3,4,6,7}:{(127,1),(128,1),(135,1),(174,1),(178,1),(185,1),(215,1)}
152:{3,4,5,6,7}:{(130,1),(131,1),(169,1),(171,1),(187,1)}
153:{2,3,4,6}:{(125,1),(133,1),(176,1),(177,1),(188,1)}
154:{2,3,6,7}:{(127,1),(132,1),(140,1),(171,1),(173,1)}
155:{2,3,5,7}:{(128,1),(133,1),(141,1),(177,1),(178,1),(190,1)}
156:{1,3,6}:{(142,1),(179,1)}
157:{1,2,4,6}:{(124,1),(134,1),(173,1),(183,1),(227,1)}
158:{5,6,7}:{(135,1)}
159:{1,4,6}:{(125,1),(144,1),(181,1),(182,1)}
160:{1,2,5}:{(126,1),(137,1),(181,1)}
161:{1,3,5,6,7}:{(127,1),(136,1),(138,1),(174,1),(185,1)}
162:{1,4,5,7}:{(128,1),(138,1),(139,1),(182,1),(185,1),(190,1)}
163:{1,2,3,4,6,7}:{(129,1),(137,1),(145,1),(171,1),(173,1),(175,1),(180,1),(182,1),(184,1),(224,1),(227,1),(231,1),(256,1),(258,1),(261,1)}
164:{2,4,6,7}:{(135,1),(141,1),(178,1),(186,1),(215,1)}
165:{1,4,5,7}:{(130,1),(142,1),(143,1),(179,1),(181,1),(182,1)}
166:{1,2,5,6,7}:{(131,1),(136,1),(140,1),(143,1),(183,1),(186,1),(187,1)}
167:{1,2,3,5,7}:{(132,1),(138,1),(143,1),(144,1),(145,1),(179,1),(182,1),(190,1),(224,1)}
168:{1,2,5,6}:{(133,1),(139,1),(188,1),(190,1)}
169:{3,4,5,6}:{(147,1),(149,1),(192,1),(193,1),(203,1)}
170:{3,4,5,7}:{(147,1),(148,1),(150,1),(191,1),(193,1),(204,1)}
171:{3,4,6,7}:{(148,1),(154,1),(191,1),(193,1),(205,1)}
172:{2,3,5,7}:{(146,1),(149,1),(192,1),(194,1),(206,1)}
173:{2,3,6}:{(150,1),(157,1),(193,1)}
174:{3,5,6,7}:{(151,1),(158,1),(191,1),(208,1)}
175:{1,3,4,6}:{(156,1),(159,1),(195,1),(196,1),(202,1),(235,1)}
176:{2,3,4,5}:{(147,1),(153,1),(210,1)}
177:{2,3,4,7}:{(148,1),(153,1),(155,1),(211,1)}
178:{2,3,6,7}:{(151,1),(155,1),(164,1),(212,1)}
179:{1,3,5,7}:{(156,1),(165,1),(195,1),(196,1)}
180:{1,2,4,6,7}:{(146,1),(157,1),(194,1),(206,1),(246,1)}
181:{1,4,5}:{(147,1),(159,1),(160,1),(195,1)}
182:{1,4,7}:{(148,1),(159,1),(167,1)}
183:{1,2,5,6}:{(149,1),(157,1),(160,1),(203,1),(206,1)}
184:{1,2,3,5,7}:{(150,1),(160,1),(163,1),(191,1),(195,1),(204,1),(206,1),(207,1),(237,1),(247,1)}
185:{1,4,6,7}:{(151,1),(161,1),(162,1),(212,1)}
186:{2,5,6,7}:{(158,1),(164,1),(209,1)}
187:{1,4,5,6,7}:{(152,1),(165,1),(166,1),(201,1),(203,1),(205,1),(209,1)}
188:{1,2,4,6}:{(153,1),(159,1),(168,1),(202,1),(210,1),(211,1)}
189:{1,2,3,5,6,7}:{(154,1),(161,1),(166,1),(167,1),(191,1),(200,1),(201,1),(205,1),(207,1),(212,1),(244,1),(247,1)}
190:{1,2,5,7}:{(155,1),(162,1),(168,1),(211,1),(212,1)}
191:{3,5,7}:{(171,1),(213,1),(225,1)}
192:{3,4,5,7}:{(169,1),(172,1),(214,1),(226,1)}
193:{3,4,6}:{(170,1),(173,1),(213,1),(227,1)}
194:{2,3,6,7}:{(172,1),(173,1),(180,1),(214,1)}
195:{1,3,5}:{(175,1),(181,1)}
196:{1,3,4,7}:{(175,1),(179,1),(182,1),(224,1)}
197:{2,3,4,5,6}:{(169,1),(176,1),(220,1),(221,1),(229,1),(303,1)}
198:{2,3,4,5,7}:{(170,1),(176,1),(177,1),(219,1),(221,1),(230,1),(285,1),(303,1)}
199:{2,3,4,6,7}:{(171,1),(177,1),(178,1),(215,1),(219,1),(221,1),(231,1),(262,1),(285,1)}
200:{2,3,5,6,7}:{(174,1),(178,1),(186,1),(215,1),(219,1),(222,1),(232,1),(262,1)}
201:{1,3,5,6,7}:{(179,1),(187,1),(216,1),(218,1),(222,1)}
202:{1,2,3,6}:{(175,1),(188,1),(223,1),(224,1)}
203:{1,4,5,6}:{(169,1),(181,1),(183,1),(216,1),(226,1),(227,1)}
204:{1,4,5,7}:{(170,1),(181,1),(182,1),(184,1),(227,1)}
205:{1,4,6,7}:{(171,1),(182,1),(189,1),(215,1),(225,1),(227,1)}
206:{1,2,5,7}:{(172,1),(180,1),(183,1),(226,1)}
207:{1,2,3,5,6}:{(173,1),(183,1),(184,1),(213,1),(216,1),(227,1),(261,1),(265,1)}
208:{1,4,5,6,7}:{(174,1),(185,1),(215,1),(225,1),(232,1)}
209:{4,5,6,7}:{(186,1),(215,1),(222,1)}
210:{1,2,4,5}:{(176,1),(181,1),(188,1),(223,1)}
211:{1,2,4,7}:{(177,1),(182,1),(188,1),(190,1),(224,1)}
212:{1,2,6,7}:{(178,1),(185,1),(190,1)}
213:{3,5,6}:{(191,1),(193,1),(245,1)}
214:{3,4,6,7}:{(192,1),(193,1),(194,1),(233,1),(246,1)}
215:{4,6,7}:{(200,1),(234,1)}
216:{1,3,5,6}:{(195,1),(203,1),(237,1),(239,1)}
217:{1,3,4,5,7}:{(195,1),(196,1),(204,1),(235,1),(237,1),(239,1),(243,1),(268,1),(270,1)}
218:{1,3,4,6,7}:{(196,1),(201,1),(205,1),(236,1),(238,1),(239,1),(244,1)}
219:{2,3,5,7}:{(191,1),(199,1),(234,1),(240,1),(247,1)}
220:{2,3,4,5,7}:{(192,1),(197,1),(241,1),(248,1)}
221:{2,3,4,6}:{(193,1),(198,1),(240,1),(249,1)}
222:{3,5,6,7}:{(209,1),(236,1),(251,1)}
223:{1,2,3,5}:{(195,1),(202,1),(210,1),(235,1)}
224:{1,2,3,7}:{(196,1),(202,1),(211,1)}
225:{1,4,5,7}:{(191,1),(205,1),(234,1),(245,1),(247,1)}
226:{1,4,5,7}:{(192,1),(203,1),(206,1),(237,1),(246,1)}
227:{1,4,6}:{(193,1),(204,1),(207,1)}
228:{1,2,3,5,6,7}:{(194,1),(206,1),(207,1),(233,1),(237,1),(246,1),(277,1),(279,1)}
229:{1,2,4,5,6}:{(197,1),(203,1),(210,1),(242,1),(248,1),(249,1),(294,1)}
230:{1,2,4,5,7}:{(198,1),(204,1),(210,1),(211,1),(243,1),(247,1),(249,1),(271,1),(294,1)}
231:{1,2,4,6,7}:{(199,1),(205,1),(211,1),(212,1),(244,1),(247,1),(249,1),(271,1)}
232:{1,2,5,6,7}:{(200,1),(208,1),(212,1),(247,1),(250,1),(251,1)}
233:{3,5,6,7}:{(213,1),(214,1),(263,1)}
234:{4,5,7}:{(215,1),(219,1),(252,1)}
235:{1,3,4}:{(223,1)}
236:{3,4,6,7}:{(215,1),(222,1),(254,1),(262,1),(264,1)}
237:{1,3,5,7}:{(216,1),(226,1),(256,1)}
238:{1,3,4,5,7}:{(218,1),(225,1),(254,1),(255,1),(260,1)}
239:{1,3,4,6}:{(216,1),(217,1),(227,1),(261,1)}
240:{2,3,5,6}:{(213,1),(219,1),(221,1),(252,1),(265,1)}
241:{2,3,4,6,7}:{(214,1),(220,1),(221,1),(257,1),(267,1)}
242:{1,2,3,5,6}:{(216,1),(223,1),(229,1),(253,1),(259,1),(261,1),(286,1)}
243:{1,2,3,5,7}:{(217,1),(223,1),(224,1),(230,1),(258,1),(261,1),(286,1)}
244:{1,2,3,6,7}:{(218,1),(224,1),(231,1),(260,1),(261,1),(262,1)}
245:{1,4,5,6}:{(213,1),(225,1),(227,1),(252,1),(265,1)}
246:{1,4,6,7}:{(214,1),(226,1),(227,1),(228,1)}
247:{1,2,5,7}:{(219,1),(225,1),(231,1),(265,1)}
248:{1,2,4,5,7}:{(220,1),(226,1),(229,1),(259,1),(267,1)}
249:{1,2,4,6}:{(221,1),(227,1),(230,1),(261,1),(265,1)}
250:{1,2,4,6,7}:{(215,1),(232,1),(262,1),(264,1),(266,1)}
251:{1,5,6,7}:{(222,1),(264,1)}
252:{4,5,6}:{(234,1),(240,1)}
253:{1,3,4,6}:{(235,1),(242,1),(268,1),(270,1)}
254:{3,4,5,7}:{(234,1),(236,1),(272,1),(275,1),(278,1)}
255:{1,3,4,5,6}:{(238,1),(239,1),(245,1),(268,1),(272,1),(276,1)}
256:{1,3,4,6,7}:{(237,1),(239,1),(246,1),(270,1),(277,1)}
257:{2,3,5,6,7}:{(233,1),(240,1),(241,1),(269,1),(279,1)}
258:{1,2,3,4,7}:{(235,1),(243,1),(270,1),(271,1),(274,1)}
259:{1,2,3,5,7}:{(237,1),(242,1),(248,1),(270,1),(277,1)}
260:{1,2,3,5,7}:{(238,1),(244,1),(247,1),(271,1),(275,1),(276,1)}
261:{1,2,3,6}:{(239,1),(243,1),(249,1)}
262:{2,3,6,7}:{(236,1),(250,1),(275,1)}
263:{1,4,5,6,7}:{(233,1),(245,1),(246,1),(269,1),(279,1)}
264:{1,4,6,7}:{(236,1),(251,1),(278,1),(281,1)}
265:{1,2,5,6}:{(240,1),(245,1),(247,1),(249,1)}
266:{1,2,4,5,7}:{(234,1),(247,1),(250,1),(271,1),(275,1),(278,1),(280,1)}
267:{1,2,4,6,7}:{(241,1),(246,1),(248,1),(249,1),(277,1),(279,1)}
268:{1,3,4,5}:{(253,1),(286,1)}
269:{4,5,6,7}:{(252,1),(257,1)}
270:{1,3,4,7}:{(253,1),(259,1)}
271:{1,2,4,7}:{(260,1),(283,1),(285,1)}
272:{3,4,5,6}:{(252,1),(254,1),(288,1),(290,1)}
273:{1,3,4,5,6,7}:{(255,1),(256,1),(263,1),(282,1),(284,1),(289,1)}
274:{1,2,3,4,6}:{(253,1),(258,1),(261,1),(283,1),(286,1)}
275:{2,3,5,7}:{(254,1),(262,1),(266,1),(285,1),(288,1)}
276:{1,2,3,5,6}:{(255,1),(260,1),(261,1),(265,1),(283,1),(286,1),(288,1)}
277:{1,2,3,6,7}:{(256,1),(259,1),(261,1),(267,1)}
278:{1,4,5,7}:{(254,1),(264,1),(290,1),(292,1)}
279:{1,2,5,6,7}:{(257,1),(263,1),(265,1),(267,1)}
280:{1,2,4,5,6}:{(252,1),(265,1),(266,1),(283,1),(288,1),(290,1)}
281:{1,2,3,6,7}:{(262,1),(264,1),(292,1)}
282:{1,3,4,5,7}:{(268,1),(270,1),(293,1),(297,1)}
283:{1,2,4,6}:{(271,1),(276,1),(294,1),(296,1)}
284:{3,4,5,6,7}:{(269,1),(272,1),(298,1),(299,1)}
285:{2,3,4,7}:{(271,1),(275,1),(296,1)}
286:{1,2,3,5}:{(268,1),(274,1),(294,1)}
287:{1,2,3,4,6,7}:{(270,1),(274,1),(277,1),(293,1),(295,1),(297,1)}
288:{2,3,5,6}:{(272,1),(275,1),(280,1),(296,1)}
289:{1,2,3,5,6,7}:{(273,1),(276,1),(277,1),(279,1),(295,1),(297,1),(298,1)}
290:{1,4,5,6}:{(272,1),(278,1),(301,1)}
291:{1,2,4,5,6,7}:{(269,1),(279,1),(280,1),(295,1),(298,1),(299,1)}
292:{1,2,3,5,7}:{(275,1),(278,1),(281,1),(300,1),(301,1)}
293:{1,3,4,6}:{(282,1),(305,1)}
294:{1,2,4,5}:{(283,1),(286,1),(303,1)}
295:{1,2,4,6,7}:{(283,1),(289,1),(302,1),(304,1)}
296:{2,3,4,6}:{(283,1),(285,1),(288,1),(303,1)}
297:{1,2,3,5,7}:{(282,1),(286,1),(287,1),(302,1),(305,1)}
298:{2,3,5,6,7}:{(284,1),(288,1),(291,1),(304,1)}
299:{1,4,5,6,7}:{(284,1),(290,1),(307,1)}
300:{1,2,3,4,7}:{(285,1),(292,1),(306,1)}
301:{1,2,3,5,6}:{(288,1),(290,1),(292,1),(306,1)}
302:{1,2,4,5,7}:{(294,1),(295,1),(297,1),(308,1),(309,1)}
303:{2,3,4,5}:{(294,1),(296,1)}
304:{2,3,4,6,7}:{(295,1),(296,1),(298,1),(309,1)}
305:{1,2,3,5,6}:{(293,1),(297,1),(308,1)}
306:{1,2,3,4,6}:{(296,1),(300,1),(301,1),(310,1)}
307:{1,2,3,5,6,7}:{(298,1),(299,1),(301,1),(311,1)}
308:{1,2,4,5,6}:{(302,1),(305,1),(312,1)}
309:{2,3,4,5,7}:{(302,1),(303,1),(304,1),(312,1)}
310:{1,2,3,4,5}:{(303,1),(306,1)}
311:{1,2,3,4,6,7}:{(304,1),(306,1),(307,1),(313,1)}
312:{2,3,4,5,6}:{(308,1),(309,1)}
313:{1,2,3,4,5,7}:{(309,1),(310,1),(311,1),(314,1)}
314:{1,2,3,4,5,6}:{(312,1),(313,1)}