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