0:{}:{}
1:{6}:{(0,1),(4,1)}
2:{2}:{(0,1),(5,1)}
3:{1}:{(0,1),(8,1)}
4:{5}:{(1,1),(10,1)}
5:{4}:{(2,1),(13,1)}
6:{2,6}:{(1,1),(2,1),(11,1),(12,1)}
7:{1,6}:{(1,1),(3,1),(14,1),(15,1)}
8:{3}:{(3,1),(16,1)}
9:{1,2}:{(2,1),(3,1),(17,1),(19,1)}
10:{4}:{(4,1),(21,1),(23,1)}
11:{4,6}:{(5,1),(6,1),(20,1),(22,1),(24,1)}
12:{2,5}:{(4,1),(6,1),(20,1),(22,1),(23,1)}
13:{3,5}:{(5,1),(22,1),(24,1),(25,1),(33,1)}
14:{1,5}:{(4,1),(7,1),(27,1),(28,1)}
15:{3,6}:{(7,1),(8,1),(28,1),(29,1)}
16:{4}:{(8,1),(30,1),(35,1)}
17:{1,4}:{(5,1),(9,1),(25,1),(26,1),(33,1)}
18:{1,2,6}:{(6,1),(7,1),(9,1),(31,1),(32,1),(34,1),(142,1),(251,1)}
19:{2,3}:{(8,1),(9,1),(25,1),(26,1),(35,1)}
20:{4}:{(12,1),(43,1)}
21:{3}:{(10,1),(37,1)}
22:{5}:{(11,1)}
23:{2}:{(10,1)}
24:{3,6}:{(11,1),(13,1),(43,1),(55,1)}
25:{3}:{(17,1)}
26:{4}:{(19,1),(49,1)}
27:{1,4}:{(10,1),(14,1),(39,1),(41,1),(54,1)}
28:{3,5}:{(14,1),(15,1),(40,1),(41,1)}
29:{4,6}:{(15,1),(16,1),(36,1),(40,1),(57,1)}
30:{5}:{(16,1),(38,1)}
31:{1,4,6}:{(11,1),(17,1),(18,1),(48,1),(50,1),(51,1),(52,1),(55,1),(94,1)}
32:{1,2,5}:{(12,1),(14,1),(18,1),(50,1),(52,1),(54,1),(56,1),(179,1),(203,1)}
33:{1,5}:{(13,1),(17,1),(49,1),(55,1)}
34:{2,3,6}:{(15,1),(18,1),(19,1),(48,1),(51,1),(56,1),(57,1),(174,1),(190,1)}
35:{2}:{(16,1)}
36:{5,6}:{(29,1),(30,1),(76,1),(77,1)}
37:{1}:{(21,1)}
38:{6}:{(30,1)}
39:{1,3}:{(21,1),(27,1),(69,1),(80,1)}
40:{4,5}:{(28,1),(29,1),(60,1),(76,1),(79,1)}
41:{3,4}:{(27,1),(28,1),(63,1),(69,1),(79,1)}
42:{4,5}:{(20,1),(22,1),(66,1),(67,1),(71,1),(137,1)}
43:{3}:{(20,1),(80,1)}
44:{3,4}:{(25,1),(26,1),(68,1),(75,1),(81,1),(135,1)}
45:{2,4}:{(20,1),(23,1),(71,1),(72,1),(73,1),(137,1)}
46:{3,5,6}:{(22,1),(24,1),(66,1),(67,1),(74,1),(86,1),(140,1)}
47:{2,3}:{(21,1),(23,1),(65,1),(72,1),(122,1)}
48:{3,6}:{(25,1),(31,1),(69,1),(74,1)}
49:{5}:{(26,1),(77,1)}
50:{1,4}:{(20,1),(32,1),(69,1),(79,1),(80,1)}
51:{4,6}:{(26,1),(34,1),(76,1),(77,1),(79,1)}
52:{1,5}:{(22,1),(31,1),(74,1),(76,1)}
53:{2,4}:{(26,1),(35,1),(75,1),(82,1),(85,1),(135,1)}
54:{1,2}:{(23,1),(27,1),(63,1)}
55:{1,6}:{(24,1),(33,1),(77,1),(80,1)}
56:{2,3,5}:{(28,1),(32,1),(34,1),(60,1),(63,1),(69,1),(74,1),(76,1),(79,1),(124,1),(132,1),(139,1),(142,1)}
57:{2,6}:{(29,1),(35,1),(60,1)}
58:{2,5}:{(30,1),(35,1),(62,1),(85,1),(131,1)}
59:{1,3,5}:{(25,1),(33,1),(68,1),(74,1),(81,1),(87,1),(152,1)}
60:{2,5}:{(40,1),(57,1),(92,1)}
61:{1,2,3}:{(39,1),(47,1),(54,1),(93,1),(105,1),(119,1),(180,1)}
62:{2,6}:{(38,1),(58,1),(91,1),(272,1)}
63:{2,3}:{(41,1),(54,1),(89,1)}
64:{2,5,6}:{(36,1),(57,1),(58,1),(90,1),(115,1),(116,1),(171,1)}
65:{1,2}:{(37,1),(47,1),(88,1),(268,1)}
66:{4,6}:{(42,1),(46,1),(94,1),(101,1)}
67:{3,5}:{(42,1),(43,1),(95,1),(111,1),(288,1)}
68:{3,5}:{(44,1),(49,1),(98,1),(112,1),(290,1)}
69:{3}:{(50,1)}
70:{3,4,6}:{(44,1),(48,1),(51,1),(94,1),(96,1),(98,1),(99,1),(106,1),(114,1),(183,1),(184,1),(185,1),(190,1),(290,1)}
71:{2,5}:{(42,1),(45,1),(100,1),(101,1)}
72:{4}:{(47,1),(100,1)}
73:{2,3}:{(43,1),(45,1),(103,1),(119,1),(268,1)}
74:{3,5}:{(48,1),(52,1),(94,1)}
75:{2,3}:{(44,1),(53,1),(107,1),(121,1)}
76:{5}:{(51,1)}
77:{6}:{(49,1)}
78:{1,4,5}:{(42,1),(50,1),(52,1),(94,1),(97,1),(109,1),(110,1),(111,1),(117,1),(188,1),(200,1),(201,1),(203,1),(288,1)}
79:{4}:{(56,1)}
80:{1}:{(43,1)}
81:{1,4}:{(44,1),(59,1),(94,1),(121,1)}
82:{2,5}:{(49,1),(53,1),(115,1),(118,1),(272,1)}
83:{1,2,4}:{(45,1),(50,1),(54,1),(89,1),(93,1),(105,1),(117,1),(119,1),(188,1),(201,1)}
84:{2,4,6}:{(51,1),(53,1),(57,1),(90,1),(92,1),(106,1),(115,1),(116,1),(184,1),(185,1)}
85:{4}:{(58,1),(107,1)}
86:{1,5,6}:{(46,1),(52,1),(55,1),(108,1),(110,1),(111,1),(288,1)}
87:{1,3,6}:{(48,1),(55,1),(59,1),(98,1),(113,1),(114,1),(290,1)}
88:{1,4}:{(65,1),(72,1),(122,1),(130,1),(216,1)}
89:{2,4}:{(63,1),(79,1),(132,1),(142,1)}
90:{4,6}:{(64,1),(85,1),(125,1),(129,1)}
91:{4,6}:{(62,1),(85,1),(123,1),(131,1),(213,1)}
92:{2,4}:{(60,1),(79,1),(124,1),(142,1)}
93:{1,4}:{(61,1),(72,1),(126,1),(133,1)}
94:{4}:{(74,1),(142,1)}
95:{3,4,6}:{(66,1),(67,1),(136,1),(137,1),(140,1),(144,1),(151,1),(236,1),(253,1)}
96:{3,5}:{(70,1),(76,1),(134,1),(152,1),(231,1)}
97:{3,5}:{(69,1),(78,1),(136,1),(140,1),(253,1)}
98:{3,6}:{(68,1),(77,1),(154,1)}
99:{3,4}:{(69,1),(79,1),(124,1),(139,1),(155,1)}
100:{5}:{(72,1),(141,1)}
101:{2,6}:{(66,1),(71,1),(141,1),(142,1)}
102:{2,3,5}:{(67,1),(71,1),(73,1),(137,1),(143,1),(144,1),(159,1),(241,1),(253,1)}
103:{3,4}:{(72,1),(73,1),(122,1),(137,1),(143,1),(160,1),(216,1),(253,1)}
104:{2,3,5}:{(68,1),(75,1),(82,1),(135,1),(147,1),(148,1),(161,1),(231,1),(244,1)}
105:{2,3}:{(69,1),(83,1),(126,1),(253,1)}
106:{2,3,6}:{(70,1),(75,1),(84,1),(124,1),(125,1),(142,1),(145,1),(163,1),(238,1)}
107:{3}:{(85,1),(164,1)}
108:{5,6}:{(76,1),(77,1),(149,1)}
109:{4,5}:{(76,1),(79,1),(132,1),(139,1),(149,1)}
110:{1,4,6}:{(66,1),(78,1),(86,1),(140,1),(149,1),(158,1),(236,1),(251,1)}
111:{1,5}:{(67,1),(80,1),(151,1)}
112:{1,4,5}:{(68,1),(81,1),(134,1),(135,1),(152,1),(154,1),(161,1),(231,1),(246,1)}
113:{1,3}:{(69,1),(80,1),(155,1)}
114:{1,4,6}:{(70,1),(81,1),(87,1),(152,1),(155,1),(163,1),(246,1),(251,1)}
115:{2,6}:{(77,1),(82,1),(157,1)}
116:{2,5}:{(76,1),(84,1),(129,1),(231,1)}
117:{1,2,5}:{(71,1),(78,1),(83,1),(132,1),(133,1),(142,1),(146,1),(158,1),(257,1)}
118:{4,5}:{(82,1),(85,1),(131,1),(135,1),(147,1),(157,1),(213,1),(231,1)}
119:{1,2}:{(73,1),(80,1),(160,1)}
120:{1,3,5,6}:{(74,1),(86,1),(87,1),(138,1),(140,1),(150,1),(152,1),(153,1),(237,1),(251,1)}
121:{1,2}:{(75,1),(81,1),(142,1),(164,1)}
122:{3}:{(88,1)}
123:{3,6}:{(91,1),(107,1),(168,1),(178,1)}
124:{2,3}:{(92,1),(99,1),(179,1)}
125:{3,6}:{(90,1),(107,1),(167,1),(177,1)}
126:{3,4}:{(93,1),(105,1),(166,1),(188,1)}
127:{2,3,4}:{(89,1),(99,1),(105,1),(170,1),(181,1),(188,1),(194,1),(304,1)}
128:{2,4,5}:{(92,1),(109,1),(116,1),(169,1),(176,1),(184,1),(192,1),(286,1)}
129:{4,5}:{(90,1),(116,1),(167,1),(184,1)}
130:{1,5}:{(88,1),(100,1),(165,1),(173,1)}
131:{5}:{(91,1)}
132:{2,5}:{(89,1),(109,1),(174,1)}
133:{1,5}:{(93,1),(100,1),(166,1),(175,1)}
134:{4,5}:{(94,1),(96,1),(183,1),(184,1),(192,1)}
135:{4}:{(104,1)}
136:{3,4}:{(94,1),(97,1),(188,1),(194,1),(200,1)}
137:{4}:{(102,1)}
138:{3,5,6}:{(96,1),(98,1),(108,1),(183,1),(190,1),(202,1)}
139:{3,5}:{(99,1),(109,1),(190,1),(203,1)}
140:{3,6}:{(97,1),(110,1)}
141:{6}:{(100,1)}
142:{2}:{(94,1)}
143:{3,5}:{(100,1),(103,1),(187,1),(193,1),(207,1)}
144:{2,3,6}:{(95,1),(101,1),(102,1),(193,1),(194,1),(195,1),(208,1)}
145:{2,3,5}:{(96,1),(106,1),(116,1),(167,1),(184,1),(192,1),(209,1),(273,1),(290,1)}
146:{2,3,5}:{(97,1),(105,1),(117,1),(166,1),(188,1),(194,1),(198,1),(269,1),(288,1)}
147:{3,5}:{(107,1),(118,1),(189,1),(197,1),(211,1)}
148:{2,3,6}:{(98,1),(104,1),(115,1),(185,1),(197,1),(212,1)}
149:{4,6}:{(108,1),(109,1),(174,1),(190,1)}
150:{1,4,6}:{(94,1),(120,1),(183,1),(191,1),(199,1),(200,1),(205,1)}
151:{1,4,6}:{(95,1),(111,1),(200,1),(201,1),(204,1),(208,1)}
152:{1,5}:{(96,1),(114,1)}
153:{1,3,5}:{(97,1),(111,1),(113,1),(200,1),(203,1),(204,1)}
154:{1,4,6}:{(98,1),(112,1),(183,1),(185,1),(202,1),(212,1)}
155:{1,4}:{(99,1),(113,1),(179,1),(203,1)}
156:{2,5,6}:{(108,1),(115,1),(116,1),(172,1),(176,1),(366,1)}
157:{4,6}:{(115,1),(118,1),(171,1),(197,1)}
158:{1,2,6}:{(101,1),(110,1),(117,1),(174,1),(175,1),(198,1)}
159:{1,2,5}:{(102,1),(111,1),(119,1),(201,1),(207,1),(208,1)}
160:{1,4}:{(103,1),(119,1),(180,1),(207,1)}
161:{1,2,5}:{(104,1),(112,1),(121,1),(192,1),(206,1),(211,1),(212,1)}
162:{1,2,3}:{(105,1),(113,1),(119,1),(181,1),(182,1),(389,1)}
163:{1,2,6}:{(106,1),(114,1),(121,1),(177,1),(179,1),(209,1)}
164:{1}:{(107,1)}
165:{3,5}:{(122,1),(130,1),(216,1),(219,1),(318,1)}
166:{3,5}:{(126,1),(133,1),(217,1),(224,1)}
167:{3,5}:{(125,1),(129,1),(214,1),(227,1)}
168:{3,5}:{(123,1),(131,1),(213,1),(226,1),(335,1)}
169:{2,3,5}:{(124,1),(128,1),(139,1),(218,1),(222,1),(229,1),(314,1)}
170:{2,3,5}:{(127,1),(132,1),(139,1),(215,1),(220,1),(228,1),(334,1)}
171:{5,6}:{(131,1),(157,1),(231,1)}
172:{4,5,6}:{(129,1),(156,1),(157,1),(223,1),(231,1),(232,1),(316,1)}
173:{1,6}:{(130,1),(141,1),(219,1),(500,1)}
174:{2,6}:{(132,1),(149,1)}
175:{1,6}:{(133,1),(141,1),(224,1)}
176:{2,4,6}:{(128,1),(149,1),(156,1),(222,1),(232,1),(238,1),(413,1)}
177:{1,6}:{(125,1),(164,1),(227,1)}
178:{1,6}:{(123,1),(164,1),(226,1),(501,1)}
179:{1,2}:{(124,1),(155,1)}
180:{1,3}:{(122,1),(160,1),(253,1)}
181:{1,2,4}:{(127,1),(155,1),(162,1),(228,1),(249,1),(257,1),(434,1)}
182:{1,3,4}:{(126,1),(160,1),(162,1),(230,1),(249,1),(253,1),(336,1)}
183:{4,6}:{(134,1),(138,1),(238,1)}
184:{4}:{(145,1)}
185:{4,6}:{(135,1),(148,1),(231,1)}
186:{3,4,5}:{(134,1),(136,1),(139,1),(215,1),(218,1),(233,1),(237,1),(240,1),(247,1),(314,1),(334,1),(346,1),(412,1),(439,1),(509,1)}
187:{4,5}:{(137,1),(143,1),(216,1),(234,1),(241,1),(318,1)}
188:{4}:{(146,1)}
189:{3,4}:{(135,1),(147,1),(213,1),(244,1),(250,1),(335,1)}
190:{3,6}:{(139,1),(149,1),(251,1)}
191:{3,4,6}:{(136,1),(140,1),(150,1),(236,1),(237,1),(243,1),(346,1)}
192:{2,5}:{(134,1),(142,1),(238,1),(239,1)}
193:{3,6}:{(141,1),(143,1),(234,1),(256,1)}
194:{2,3}:{(136,1),(142,1),(242,1),(257,1)}
195:{2,4,6}:{(137,1),(144,1),(234,1),(236,1),(241,1),(242,1),(324,1)}
196:{2,3,5,6}:{(138,1),(145,1),(148,1),(156,1),(222,1),(223,1),(231,1),(232,1),(238,1),(259,1),(314,1),(320,1),(344,1),(345,1),(348,1)}
197:{3,6}:{(147,1),(157,1),(260,1)}
198:{2,3,6}:{(140,1),(146,1),(158,1),(224,1),(236,1),(324,1)}
199:{1,4,5}:{(134,1),(150,1),(152,1),(237,1),(246,1),(254,1),(346,1)}
200:{1,4}:{(136,1),(153,1),(257,1)}
201:{1,4}:{(137,1),(159,1),(253,1)}
202:{1,5,6}:{(138,1),(152,1),(154,1),(231,1),(251,1)}
203:{1,5}:{(139,1),(155,1),(251,1)}
204:{1,3,6}:{(140,1),(151,1),(153,1),(251,1),(253,1)}
205:{1,2,6}:{(142,1),(150,1),(238,1),(243,1),(254,1),(257,1),(487,1)}
206:{1,2,4}:{(135,1),(161,1),(239,1),(244,1),(246,1),(250,1),(340,1)}
207:{1,5}:{(143,1),(160,1),(256,1)}
208:{1,2,6}:{(144,1),(151,1),(159,1),(256,1),(257,1)}
209:{1,2,5}:{(145,1),(152,1),(163,1),(227,1),(246,1),(340,1)}
210:{1,2,3,5}:{(146,1),(153,1),(159,1),(162,1),(228,1),(230,1),(249,1),(253,1),(257,1),(261,1),(334,1),(341,1),(353,1),(362,1),(363,1)}
211:{1,5}:{(147,1),(164,1),(250,1),(260,1)}
212:{1,2,6}:{(148,1),(154,1),(161,1),(238,1),(260,1)}
213:{4}:{(168,1),(272,1)}
214:{3,4}:{(167,1),(184,1),(273,1),(277,1),(290,1)}
215:{4,5}:{(170,1),(188,1),(262,1),(288,1)}
216:{4}:{(165,1),(268,1)}
217:{4,5}:{(166,1),(188,1),(264,1),(269,1),(288,1)}
218:{3,4}:{(169,1),(184,1),(279,1),(290,1)}
219:{3,6}:{(165,1),(173,1),(265,1),(452,1)}
220:{2,3,6}:{(170,1),(174,1),(190,1),(262,1),(285,1),(381,1)}
221:{3,5,6}:{(168,1),(171,1),(197,1),(266,1),(280,1),(287,1),(377,1)}
222:{2,3,6}:{(169,1),(176,1),(190,1),(263,1),(284,1),(450,1)}
223:{3,5,6}:{(167,1),(172,1),(197,1),(267,1),(283,1),(287,1)}
224:{3,6}:{(166,1),(175,1),(264,1)}
225:{1,3,5}:{(165,1),(180,1),(207,1),(275,1),(282,1),(303,1),(371,1)}
226:{1,5}:{(168,1),(178,1),(276,1),(485,1)}
227:{1,5}:{(167,1),(177,1),(277,1)}
228:{1,2,5}:{(170,1),(181,1),(203,1),(274,1),(285,1),(482,1)}
229:{1,2,5}:{(169,1),(179,1),(203,1),(279,1),(284,1),(373,1)}
230:{1,3,5}:{(166,1),(182,1),(207,1),(278,1),(281,1),(303,1)}
231:{5}:{(185,1)}
232:{4,6}:{(184,1),(196,1),(286,1),(395,1)}
233:{3,4,6}:{(183,1),(186,1),(190,1),(262,1),(289,1),(292,1),(298,1),(381,1),(397,1)}
234:{4,6}:{(187,1),(193,1),(293,1)}
235:{3,4,6}:{(185,1),(189,1),(197,1),(266,1),(287,1),(296,1),(300,1),(377,1),(395,1),(457,1)}
236:{4,6}:{(188,1),(198,1),(288,1)}
237:{3,5}:{(191,1),(199,1),(288,1),(290,1)}
238:{2,6}:{(183,1),(192,1)}
239:{2,4}:{(184,1),(192,1),(273,1)}
240:{2,3,5}:{(186,1),(192,1),(194,1),(270,1),(271,1),(292,1),(308,1)}
241:{2,5}:{(187,1),(195,1),(268,1),(288,1)}
242:{2,4}:{(188,1),(194,1),(269,1)}
243:{2,3,6}:{(191,1),(194,1),(205,1),(294,1),(295,1),(455,1)}
244:{2,3}:{(189,1),(206,1),(272,1),(290,1)}
245:{1,4,5,6}:{(183,1),(199,1),(202,1),(286,1),(289,1),(297,1),(298,1),(306,1),(373,1),(397,1),(466,1)}
246:{1,4}:{(184,1),(209,1),(290,1)}
247:{1,4,5}:{(186,1),(200,1),(203,1),(279,1),(298,1),(302,1),(308,1),(373,1),(405,1)}
248:{1,4,5}:{(187,1),(201,1),(207,1),(275,1),(299,1),(303,1),(309,1),(371,1),(402,1),(458,1)}
249:{1,4}:{(188,1),(210,1),(304,1),(402,1)}
250:{1,4}:{(189,1),(211,1),(313,1)}
251:{1,6}:{(190,1),(203,1)}
252:{1,3,4,6}:{(191,1),(200,1),(204,1),(298,1),(301,1),(302,1),(304,1),(311,1),(381,1),(405,1),(476,1)}
253:{3}:{(201,1)}
254:{1,2,5}:{(192,1),(199,1),(205,1),(295,1),(307,1),(484,1)}
255:{1,2,4,6}:{(185,1),(206,1),(212,1),(291,1),(296,1),(297,1),(300,1),(305,1),(388,1),(395,1),(463,1)}
256:{1,6}:{(193,1),(207,1)}
257:{1,2}:{(194,1),(200,1)}
258:{1,2,4,6}:{(195,1),(201,1),(208,1),(299,1),(301,1),(309,1),(310,1),(312,1),(385,1),(402,1),(475,1)}
259:{1,2,5,6}:{(196,1),(202,1),(209,1),(212,1),(283,1),(284,1),(297,1),(305,1),(373,1),(388,1)}
260:{1,6}:{(197,1),(211,1)}
261:{1,2,3,6}:{(198,1),(204,1),(208,1),(210,1),(281,1),(285,1),(301,1),(312,1),(381,1),(385,1)}
262:{4,6}:{(215,1),(220,1),(319,1)}
263:{3,4,6}:{(218,1),(222,1),(232,1),(314,1),(328,1),(344,1),(440,1)}
264:{4,6}:{(217,1),(224,1),(315,1),(324,1)}
265:{4,6}:{(216,1),(219,1),(318,1),(321,1),(410,1)}
266:{4,6}:{(213,1),(221,1),(316,1),(322,1)}
267:{3,4,6}:{(214,1),(223,1),(232,1),(317,1),(320,1),(331,1),(344,1)}
268:{2}:{(216,1)}
269:{2,5}:{(217,1),(242,1),(324,1)}
270:{2,4,5}:{(215,1),(240,1),(242,1),(325,1),(346,1),(347,1),(412,1)}
271:{2,3,4}:{(218,1),(239,1),(240,1),(338,1),(346,1),(350,1),(439,1)}
272:{2}:{(213,1)}
273:{2,3}:{(214,1),(239,1),(340,1)}
274:{1,4,5}:{(215,1),(228,1),(249,1),(327,1),(334,1),(353,1),(446,1)}
275:{1,4}:{(216,1),(225,1),(336,1),(339,1)}
276:{1,4}:{(213,1),(226,1),(335,1),(343,1),(437,1)}
277:{1,4}:{(214,1),(227,1),(332,1),(340,1)}
278:{1,4,5}:{(217,1),(230,1),(249,1),(330,1),(333,1),(341,1),(353,1)}
279:{1,4}:{(218,1),(229,1),(337,1)}
280:{1,5,6}:{(221,1),(226,1),(260,1),(329,1),(352,1),(502,1)}
281:{1,3,6}:{(224,1),(230,1),(256,1),(330,1),(355,1)}
282:{1,3,6}:{(219,1),(225,1),(256,1),(326,1),(355,1),(498,1)}
283:{1,5,6}:{(223,1),(227,1),(260,1),(331,1),(352,1)}
284:{1,2,6}:{(222,1),(229,1),(251,1),(328,1),(492,1)}
285:{1,2,6}:{(220,1),(228,1),(251,1),(327,1),(506,1)}
286:{4,5}:{(231,1),(232,1),(314,1),(345,1)}
287:{3,5}:{(231,1),(235,1),(316,1),(352,1)}
288:{5}:{(236,1)}
289:{3,5,6}:{(233,1),(237,1),(245,1),(314,1),(319,1),(344,1),(509,1)}
290:{3}:{(246,1)}
291:{2,4,6}:{(232,1),(238,1),(239,1),(320,1),(345,1),(415,1)}
292:{2,3,6}:{(233,1),(238,1),(240,1),(325,1),(358,1)}
293:{2,5,6}:{(234,1),(241,1),(315,1),(318,1),(321,1),(324,1)}
294:{2,4,6}:{(236,1),(242,1),(243,1),(324,1),(346,1),(347,1),(414,1)}
295:{2,3,5}:{(237,1),(243,1),(254,1),(346,1),(347,1),(350,1),(443,1)}
296:{2,3,6}:{(235,1),(244,1),(255,1),(322,1),(344,1),(348,1),(495,1)}
297:{1,4,6}:{(232,1),(246,1),(259,1),(344,1),(351,1)}
298:{1,4,6}:{(233,1),(247,1),(251,1),(354,1),(358,1)}
299:{1,4,6}:{(234,1),(248,1),(256,1),(355,1),(359,1),(445,1)}
300:{1,4,6}:{(235,1),(250,1),(260,1),(352,1),(364,1),(444,1)}
301:{1,4,6}:{(236,1),(249,1),(261,1),(353,1),(356,1)}
302:{1,3,5}:{(237,1),(247,1),(252,1),(334,1),(337,1),(353,1),(509,1)}
303:{3,5}:{(248,1),(253,1),(336,1),(355,1)}
304:{3,4}:{(249,1),(253,1),(334,1),(363,1)}
305:{1,2,5}:{(231,1),(255,1),(345,1),(348,1),(351,1),(352,1),(492,1)}
306:{1,2,5,6}:{(238,1),(245,1),(254,1),(345,1),(349,1),(357,1),(358,1),(423,1),(505,1)}
307:{1,2,4}:{(239,1),(246,1),(254,1),(340,1),(346,1),(350,1),(438,1)}
308:{1,2,5}:{(240,1),(247,1),(257,1),(338,1),(358,1)}
309:{1,2,5}:{(241,1),(248,1),(258,1),(339,1),(353,1),(362,1),(490,1)}
310:{1,2,4}:{(242,1),(249,1),(257,1),(341,1),(363,1),(435,1)}
311:{1,2,3,6}:{(243,1),(252,1),(257,1),(358,1),(360,1),(361,1),(363,1),(431,1),(503,1)}
312:{2,3,6}:{(253,1),(258,1),(355,1),(356,1),(362,1),(363,1),(506,1)}
313:{1,2,3}:{(244,1),(250,1),(332,1),(335,1),(340,1),(343,1)}
314:{3,5}:{(263,1),(286,1),(373,1)}
315:{5,6}:{(264,1),(288,1)}
316:{4,5}:{(266,1),(287,1),(366,1),(395,1)}
317:{3,4,5}:{(267,1),(286,1),(287,1),(370,1),(375,1),(395,1),(396,1),(457,1)}
318:{5}:{(265,1)}
319:{5,6}:{(262,1),(288,1)}
320:{2,3,6}:{(267,1),(273,1),(291,1),(370,1),(388,1)}
321:{2,6}:{(265,1),(268,1),(365,1)}
322:{2,6}:{(266,1),(272,1),(366,1)}
323:{2,3,4,6}:{(263,1),(271,1),(291,1),(292,1),(368,1),(384,1),(397,1),(399,1),(453,1),(476,1)}
324:{2,6}:{(264,1),(269,1)}
325:{2,4,6}:{(262,1),(270,1),(292,1),(367,1),(397,1)}
326:{1,4,6}:{(265,1),(275,1),(282,1),(371,1),(382,1),(387,1),(464,1)}
327:{1,4,6}:{(262,1),(274,1),(285,1),(376,1),(381,1),(460,1)}
328:{1,4,6}:{(263,1),(279,1),(284,1),(373,1),(379,1),(459,1)}
329:{1,4,6}:{(266,1),(276,1),(280,1),(374,1),(377,1),(386,1),(477,1)}
330:{1,4,6}:{(264,1),(278,1),(281,1),(372,1),(378,1),(385,1)}
331:{1,4,6}:{(267,1),(277,1),(283,1),(375,1),(380,1),(388,1)}
332:{1,3}:{(277,1),(290,1)}
333:{3,4,5}:{(278,1),(303,1),(304,1),(378,1),(393,1),(401,1),(402,1),(458,1)}
334:{3,5}:{(274,1),(304,1),(381,1)}
335:{3}:{(276,1)}
336:{3,4}:{(275,1),(303,1),(389,1),(402,1)}
337:{1,3}:{(279,1),(290,1)}
338:{1,2,4}:{(271,1),(279,1),(308,1),(392,1),(405,1)}
339:{1,2}:{(268,1),(275,1),(389,1)}
340:{1,2}:{(273,1),(277,1)}
341:{1,2,5}:{(269,1),(278,1),(310,1),(385,1),(393,1)}
342:{1,2,4,5}:{(270,1),(274,1),(308,1),(310,1),(383,1),(391,1),(404,1),(405,1),(466,1),(480,1)}
343:{1,2}:{(272,1),(276,1),(394,1)}
344:{3,6}:{(290,1),(297,1),(396,1)}
345:{2,5}:{(286,1),(291,1)}
346:{4}:{(295,1)}
347:{2,5}:{(288,1),(294,1),(398,1)}
348:{2,3,5}:{(287,1),(296,1),(305,1),(366,1),(395,1),(396,1),(450,1)}
349:{2,3,5,6}:{(289,1),(292,1),(295,1),(306,1),(367,1),(368,1),(397,1),(399,1),(451,1)}
350:{2,3}:{(290,1),(307,1),(400,1)}
351:{1,4,5}:{(286,1),(297,1),(305,1),(373,1),(395,1),(396,1),(459,1)}
352:{1,5}:{(287,1),(300,1)}
353:{1,5}:{(288,1),(301,1),(401,1)}
354:{1,3,5,6}:{(289,1),(298,1),(302,1),(373,1),(376,1),(379,1),(381,1)}
355:{3,6}:{(299,1),(303,1)}
356:{3,4,6}:{(301,1),(304,1),(312,1),(381,1),(401,1),(402,1),(460,1)}
357:{1,2,4,6}:{(291,1),(297,1),(306,1),(307,1),(388,1),(397,1),(399,1),(403,1),(479,1)}
358:{1,2,6}:{(292,1),(298,1),(308,1)}
359:{1,2,5,6}:{(293,1),(299,1),(309,1),(371,1),(372,1),(385,1),(387,1),(408,1)}
360:{1,2,4,6}:{(294,1),(301,1),(310,1),(311,1),(385,1),(404,1),(405,1),(409,1),(465,1)}
361:{1,2,3,5}:{(295,1),(302,1),(308,1),(311,1),(391,1),(392,1),(404,1),(405,1),(483,1)}
362:{2,3,5}:{(303,1),(309,1),(312,1),(389,1),(401,1),(402,1),(482,1)}
363:{2,3}:{(304,1),(310,1)}
364:{1,2,3,6}:{(296,1),(300,1),(313,1),(377,1),(380,1),(386,1),(388,1),(406,1)}
365:{2,5}:{(318,1),(321,1),(410,1)}
366:{2,5}:{(316,1),(322,1),(413,1)}
367:{2,5,6}:{(319,1),(325,1),(347,1),(411,1)}
368:{2,3,5}:{(314,1),(323,1),(345,1),(412,1),(423,1),(509,1)}
369:{2,5,6}:{(315,1),(324,1),(347,1),(414,1)}
370:{2,3,5}:{(317,1),(320,1),(345,1),(415,1),(425,1),(495,1)}
371:{1,5}:{(318,1),(326,1),(417,1)}
372:{1,5,6}:{(315,1),(330,1),(353,1),(419,1)}
373:{1,5}:{(314,1),(328,1)}
374:{1,4,5}:{(316,1),(329,1),(352,1),(421,1),(424,1),(444,1),(499,1)}
375:{1,4,5}:{(317,1),(331,1),(352,1),(416,1),(425,1),(444,1)}
376:{1,5,6}:{(319,1),(327,1),(353,1),(420,1)}
377:{3,6}:{(329,1),(335,1),(421,1)}
378:{3,4,6}:{(330,1),(333,1),(355,1),(419,1),(433,1),(445,1)}
379:{1,3,6}:{(328,1),(337,1),(344,1),(418,1)}
380:{1,3,6}:{(331,1),(332,1),(344,1),(416,1)}
381:{3,6}:{(327,1),(334,1)}
382:{3,4,6}:{(326,1),(336,1),(355,1),(417,1),(429,1),(445,1),(496,1)}
383:{1,2,4,6}:{(325,1),(327,1),(342,1),(358,1),(427,1),(431,1),(447,1),(510,1)}
384:{1,2,4,6}:{(323,1),(328,1),(338,1),(358,1),(423,1),(430,1),(447,1),(488,1)}
385:{1,2,6}:{(324,1),(330,1),(341,1),(433,1)}
386:{1,2,6}:{(322,1),(329,1),(343,1),(424,1),(428,1)}
387:{1,2,6}:{(321,1),(326,1),(339,1),(422,1),(429,1)}
388:{1,2,6}:{(320,1),(331,1),(340,1),(425,1)}
389:{2,3}:{(336,1),(339,1),(434,1)}
390:{1,2,3}:{(332,1),(340,1),(350,1),(438,1)}
391:{2,3,5}:{(334,1),(342,1),(363,1),(431,1),(439,1),(509,1)}
392:{1,2,3}:{(337,1),(338,1),(350,1),(436,1)}
393:{2,3,5}:{(333,1),(341,1),(363,1),(433,1),(435,1),(490,1)}
394:{2,3}:{(335,1),(343,1),(437,1)}
395:{4}:{(348,1)}
396:{3,5}:{(344,1),(351,1),(440,1)}
397:{4,6}:{(346,1),(349,1),(412,1)}
398:{4,5}:{(346,1),(347,1),(414,1),(443,1)}
399:{2,3,6}:{(344,1),(350,1),(357,1),(441,1),(442,1)}
400:{3,4}:{(346,1),(350,1),(438,1),(443,1)}
401:{3,5}:{(353,1),(356,1),(446,1)}
402:{4}:{(362,1)}
403:{1,2,4,5}:{(345,1),(351,1),(357,1),(412,1),(415,1),(423,1),(425,1),(441,1),(486,1),(488,1)}
404:{1,2,5}:{(347,1),(353,1),(360,1),(448,1),(449,1)}
405:{1,4}:{(346,1),(361,1),(439,1)}
406:{1,2,3,5}:{(348,1),(352,1),(364,1),(416,1),(421,1),(424,1),(425,1),(444,1),(494,1),(495,1)}
407:{1,2,3,5,6}:{(349,1),(354,1),(358,1),(361,1),(423,1),(427,1),(430,1),(431,1),(447,1),(509,1),(512,1)}
408:{2,3,5,6}:{(355,1),(359,1),(362,1),(417,1),(419,1),(429,1),(433,1),(445,1),(489,1),(490,1)}
409:{2,3,4,6}:{(356,1),(360,1),(363,1),(431,1),(433,1),(435,1),(439,1),(449,1),(508,1),(510,1)}
410:{4}:{(365,1),(452,1)}
411:{4,5,6}:{(367,1),(397,1),(398,1),(451,1)}
412:{4,5}:{(368,1),(397,1)}
413:{2,4}:{(366,1),(395,1),(450,1)}
414:{4,6}:{(369,1),(398,1),(455,1)}
415:{2,4}:{(370,1),(395,1)}
416:{1,3,5}:{(375,1),(380,1),(396,1),(456,1)}
417:{3,5}:{(371,1),(382,1),(458,1)}
418:{1,3,5}:{(373,1),(379,1),(396,1),(459,1)}
419:{3,5,6}:{(372,1),(378,1),(401,1),(461,1)}
420:{3,5,6}:{(376,1),(381,1),(401,1),(460,1)}
421:{3,5}:{(374,1),(377,1),(457,1)}
422:{1,2,5}:{(365,1),(371,1),(387,1),(464,1),(473,1)}
423:{1,2,5}:{(368,1),(373,1),(384,1),(466,1)}
424:{1,2,5}:{(366,1),(374,1),(386,1),(462,1),(469,1)}
425:{1,2,5}:{(370,1),(375,1),(388,1),(463,1)}
426:{1,2,5,6}:{(369,1),(372,1),(385,1),(404,1),(465,1),(470,1)}
427:{1,2,5,6}:{(367,1),(376,1),(383,1),(404,1),(467,1),(472,1)}
428:{2,3,6}:{(377,1),(386,1),(394,1),(469,1),(477,1)}
429:{2,3,6}:{(382,1),(387,1),(389,1),(473,1),(474,1)}
430:{1,2,3,6}:{(379,1),(384,1),(392,1),(399,1),(471,1),(478,1)}
431:{2,3,6}:{(381,1),(383,1),(391,1),(476,1)}
432:{1,2,3,6}:{(380,1),(388,1),(390,1),(399,1),(468,1),(479,1)}
433:{2,3,6}:{(378,1),(385,1),(393,1),(475,1)}
434:{2,4}:{(389,1),(402,1),(482,1)}
435:{2,4}:{(393,1),(402,1)}
436:{1,3,4}:{(392,1),(400,1),(405,1),(483,1)}
437:{4}:{(394,1),(485,1)}
438:{1,4}:{(390,1),(400,1),(484,1)}
439:{3,4}:{(391,1),(405,1)}
440:{3,4}:{(395,1),(396,1),(450,1),(459,1)}
441:{2,3,5}:{(396,1),(399,1),(403,1),(453,1),(454,1)}
442:{3,4,6}:{(397,1),(399,1),(400,1),(451,1),(454,1),(479,1)}
443:{3,5}:{(398,1),(400,1),(455,1),(484,1)}
444:{1,4}:{(395,1),(406,1),(457,1)}
445:{4,6}:{(402,1),(408,1),(458,1)}
446:{4,5}:{(401,1),(402,1),(460,1),(482,1)}
447:{1,4,6}:{(397,1),(405,1),(407,1),(466,1),(476,1)}
448:{1,4,5}:{(398,1),(404,1),(405,1),(465,1),(481,1),(483,1)}
449:{2,3,5}:{(401,1),(404,1),(409,1),(480,1),(481,1)}
450:{2,3}:{(413,1),(440,1),(492,1)}
451:{3,5,6}:{(411,1),(442,1),(443,1),(505,1)}
452:{3}:{(410,1),(500,1)}
453:{2,3,4}:{(415,1),(440,1),(441,1),(488,1)}
454:{3,4,5}:{(412,1),(441,1),(442,1),(486,1)}
455:{3,6}:{(414,1),(443,1),(487,1)}
456:{1,3,4}:{(416,1),(440,1),(444,1),(494,1)}
457:{3,4}:{(421,1),(444,1),(495,1)}
458:{4,5}:{(417,1),(445,1),(490,1)}
459:{1,4}:{(418,1),(440,1),(492,1)}
460:{4,6}:{(420,1),(446,1),(506,1)}
461:{4,5,6}:{(419,1),(445,1),(446,1),(489,1)}
462:{1,2,4}:{(413,1),(424,1),(444,1),(494,1),(497,1)}
463:{1,2,4}:{(415,1),(425,1),(444,1),(495,1)}
464:{1,4}:{(410,1),(422,1),(496,1),(498,1)}
465:{1,4,6}:{(414,1),(426,1),(448,1),(503,1),(508,1)}
466:{1,4,5}:{(412,1),(423,1),(447,1),(509,1)}
467:{1,4,5,6}:{(411,1),(427,1),(447,1),(448,1),(511,1),(512,1)}
468:{1,2,3,5}:{(416,1),(425,1),(432,1),(441,1),(486,1),(491,1)}
469:{2,3,5}:{(421,1),(424,1),(428,1),(497,1),(499,1)}
470:{2,3,5,6}:{(419,1),(426,1),(433,1),(449,1),(507,1),(508,1)}
471:{1,2,3,5}:{(418,1),(423,1),(430,1),(441,1),(488,1),(504,1)}
472:{2,3,5,6}:{(420,1),(427,1),(431,1),(449,1),(510,1),(511,1)}
473:{2,3,5}:{(417,1),(422,1),(429,1),(493,1),(496,1)}
474:{2,4,6}:{(429,1),(434,1),(445,1),(489,1),(493,1)}
475:{2,4,6}:{(433,1),(435,1),(445,1),(490,1)}
476:{3,4,6}:{(431,1),(439,1),(447,1),(509,1)}
477:{4,6}:{(428,1),(437,1),(499,1),(502,1)}
478:{1,3,4,6}:{(430,1),(436,1),(442,1),(447,1),(504,1),(512,1)}
479:{1,4,6}:{(432,1),(438,1),(442,1),(486,1),(505,1)}
480:{2,4,5}:{(435,1),(446,1),(449,1),(510,1)}
481:{3,4,5}:{(439,1),(448,1),(449,1),(508,1)}
482:{2,5}:{(434,1),(446,1),(506,1)}
483:{1,3,5}:{(436,1),(443,1),(448,1),(503,1)}
484:{1,5}:{(438,1),(443,1),(487,1)}
485:{5}:{(437,1),(501,1)}
486:{1,4,5}:{(454,1),(468,1),(479,1)}
487:{1,6}:{(455,1),(484,1)}
488:{1,2,4}:{(453,1),(459,1),(471,1)}
489:{2,5,6}:{(461,1),(474,1),(482,1)}
490:{2,5}:{(458,1),(475,1)}
491:{1,2,3,4}:{(453,1),(456,1),(463,1),(468,1)}
492:{1,2}:{(450,1),(459,1)}
493:{2,4,5}:{(458,1),(473,1),(474,1)}
494:{1,2,3}:{(450,1),(456,1),(462,1)}
495:{2,3}:{(457,1),(463,1)}
496:{3,4}:{(464,1),(473,1)}
497:{2,3,4}:{(457,1),(462,1),(469,1)}
498:{1,3}:{(452,1),(464,1)}
499:{4,5}:{(469,1),(477,1)}
500:{1}:{(452,1)}
501:{6}:{(485,1)}
502:{5,6}:{(477,1),(485,1)}
503:{1,3,6}:{(455,1),(465,1),(483,1)}
504:{1,3,4,5}:{(454,1),(466,1),(471,1),(478,1)}
505:{1,5,6}:{(451,1),(479,1),(484,1)}
506:{2,6}:{(460,1),(482,1)}
507:{2,4,5,6}:{(461,1),(470,1),(475,1),(480,1)}
508:{3,4,6}:{(465,1),(470,1),(481,1)}
509:{3,5}:{(466,1),(476,1)}
510:{2,4,6}:{(460,1),(472,1),(480,1)}
511:{3,4,5,6}:{(467,1),(472,1),(476,1),(481,1)}
512:{1,3,5,6}:{(451,1),(467,1),(478,1),(483,1)}