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