0:{1,2,4}:{(53,1),(71,1),(187,1),(268,1)}
1:{1}:{(68,1)}
2:{6}:{(47,1)}
3:{4,5}:{(44,1),(66,1),(83,1),(192,1),(399,1)}
4:{2,5,6}:{(62,1),(246,1),(1079,1),(1104,1)}
5:{2,3,4,6}:{(46,1),(91,1),(229,1),(435,1),(439,1),(508,1),(517,1),(705,1),(742,1),(770,1),(1038,1),(1080,1)}
6:{1,2,3,5,6}:{(63,1),(244,1),(251,1),(263,1),(418,1),(477,1),(513,1),(522,1),(535,1),(695,1),(704,1),(709,1),(718,1),(727,1),(800,1),(808,1),(810,1),(1046,1),(1067,1),(1068,1),(1087,1),(1133,1),(1324,1),(1326,1),(1328,1),(1336,1),(1649,1)}
7:{2,3,5,6}:{(56,1),(95,1),(200,1),(245,1),(247,1),(264,1),(418,1),(466,1),(695,1),(704,1),(709,1),(749,1),(1046,1),(1106,1),(1328,1)}
8:{1,6}:{(54,1),(70,1),(417,1),(476,1)}
9:{1,4,5}:{(43,1),(75,1),(76,1),(192,1),(270,1),(399,1),(422,1),(474,1),(774,1)}
10:{1,5}:{(36,1),(60,1),(66,1)}
11:{1,4,6}:{(51,1),(67,1),(77,1),(184,1),(188,1),(191,1)}
12:{2,3}:{(64,1),(90,1),(199,1)}
13:{1,2,3,5}:{(37,1),(61,1),(183,1),(240,1),(254,1),(265,1),(454,1),(477,1),(709,1),(718,1),(727,1),(784,1),(1067,1),(1157,1),(1336,1)}
14:{2}:{(65,1)}
15:{1,2,4,5}:{(40,1),(69,1),(266,1),(423,1),(475,1),(503,1),(533,1),(705,1),(773,1),(795,1),(1065,1),(1080,1)}
16:{3,4,5}:{(39,1),(85,1),(94,1),(420,1),(441,1),(693,1),(699,1),(701,1)}
17:{3,6}:{(48,1),(62,1),(93,1)}
18:{}:{}
19:{3}:{(58,1),(86,1)}
20:{4}:{(47,1),(68,1),(80,1)}
21:{1,4}:{(54,1),(72,1),(81,1),(189,1),(190,1)}
22:{2,3,5}:{(41,1),(57,1),(92,1),(182,1),(201,1),(236,1),(249,1),(256,1),(403,1),(705,1)}
23:{4,6}:{(55,1),(70,1),(82,1),(185,1),(189,1)}
24:{5}:{(45,1),(64,1)}
25:{1,2,3,4,6}:{(52,1),(231,1),(506,1),(510,1),(844,1),(1089,1),(1138,1),(1157,1),(1336,1),(1346,1),(1365,1),(1374,1),(1377,1),(1437,1),(1608,1),(1651,1)}
26:{1,2,6}:{(53,1),(59,1),(74,1),(523,1)}
27:{1,2,4,5,6}:{(73,1),(275,1),(500,1),(531,1),(842,1),(1078,1),(1106,1),(1122,1),(1328,1),(1341,1),(1358,1),(1376,1),(1379,1),(1432,1),(1604,1),(1632,1)}
28:{1,3,5,6}:{(59,1),(242,1)}
29:{1,3,4,5,6}:{(79,1),(507,1),(845,1),(1165,1)}
30:{3,4}:{(48,1),(78,1),(87,1),(186,1),(404,1)}
31:{2,5}:{(38,1),(58,1),(181,1)}
32:{3,4,6}:{(49,1),(84,1),(88,1),(186,1),(234,1),(404,1),(436,1),(438,1),(740,1)}
33:{3,5}:{(42,1),(65,1),(89,1),(181,1),(199,1)}
34:{1,2,3}:{(60,1),(259,1),(1137,1),(1156,1)}
35:{2,4,6}:{(50,1),(74,1),(187,1),(230,1)}
36:{1,6}:{(1,1),(10,1),(99,1)}
37:{1,2,3,6}:{(13,1),(34,1),(96,1),(321,1),(355,1),(368,1),(628,1),(872,1),(883,1),(895,1)}
38:{2,6}:{(14,1),(31,1),(97,1)}
39:{3,4,6}:{(16,1),(30,1),(105,1),(116,1),(126,1),(293,1),(547,1)}
40:{1,2,4,6}:{(0,1),(15,1),(101,1),(130,1),(295,1),(339,1),(666,1),(686,1),(956,1)}
41:{2,3,6}:{(12,1),(22,1),(98,1),(115,1),(278,1),(349,1),(362,1)}
42:{3,6}:{(19,1),(33,1),(97,1),(114,1)}
43:{1,4,6}:{(9,1),(21,1),(100,1),(106,1),(135,1),(277,1),(297,1)}
44:{4,6}:{(3,1),(20,1),(99,1),(107,1),(132,1)}
45:{6}:{(18,1),(24,1)}
46:{2,3,5}:{(5,1),(12,1),(117,1),(138,1),(307,1),(905,1),(1193,1)}
47:{5}:{(2,1),(20,1)}
48:{3,5}:{(17,1),(30,1),(119,1),(140,1)}
49:{3,5}:{(19,1),(32,1),(118,1),(142,1),(906,1)}
50:{2,5}:{(14,1),(35,1),(139,1)}
51:{1,5}:{(1,1),(11,1),(102,1),(286,1)}
52:{1,2,3,5}:{(25,1),(34,1),(143,1),(374,1),(1012,1),(1220,1),(1231,1),(1253,1),(1450,1),(1697,1)}
53:{1,2,5}:{(0,1),(26,1),(103,1),(137,1),(379,1)}
54:{1,5}:{(8,1),(21,1),(104,1),(288,1)}
55:{5}:{(18,1),(23,1)}
56:{4,6}:{(2,1),(7,1),(141,1),(574,1),(852,1)}
57:{4}:{(18,1),(22,1)}
58:{4}:{(19,1),(31,1)}
59:{1,4,6}:{(26,1),(28,1),(137,1),(150,1)}
60:{1,4}:{(10,1),(34,1),(155,1)}
61:{1,4}:{(1,1),(13,1),(149,1),(570,1),(852,1)}
62:{4,6}:{(4,1),(17,1),(140,1)}
63:{1,4,6}:{(6,1),(8,1),(144,1),(146,1),(541,1),(560,1),(667,1),(680,1),(852,1),(883,1),(1184,1),(1211,1)}
64:{4}:{(12,1),(24,1)}
65:{4}:{(14,1),(33,1)}
66:{3,5}:{(3,1),(10,1),(99,1),(155,1)}
67:{3,6}:{(2,1),(11,1),(102,1),(303,1)}
68:{3}:{(1,1),(20,1)}
69:{2,3,5}:{(15,1),(31,1),(101,1),(151,1),(298,1),(920,1),(1206,1)}
70:{3,6}:{(8,1),(23,1),(104,1),(301,1)}
71:{2,3}:{(0,1),(14,1),(147,1)}
72:{3}:{(18,1),(21,1)}
73:{2,3,5,6}:{(4,1),(27,1),(152,1),(372,1),(996,1),(1185,1),(1200,1),(1249,1),(1464,1),(1681,1)}
74:{2,3,6}:{(26,1),(35,1),(103,1),(150,1),(351,1)}
75:{3,5}:{(9,1),(24,1),(100,1),(148,1),(921,1)}
76:{1,2,5}:{(9,1),(10,1),(106,1),(112,1),(164,1),(390,1),(596,1)}
77:{1,2,6}:{(8,1),(11,1),(110,1),(113,1),(317,1),(883,1)}
78:{2,3}:{(19,1),(30,1),(125,1),(159,1)}
79:{1,2,3,5,6}:{(28,1),(29,1),(158,1),(375,1)}
80:{2}:{(18,1),(20,1)}
81:{1,2}:{(1,1),(21,1),(111,1),(316,1)}
82:{2,6}:{(2,1),(23,1),(109,1),(316,1)}
83:{2,5}:{(3,1),(24,1),(107,1),(162,1)}
84:{2,3,6}:{(17,1),(32,1),(108,1),(123,1),(160,1),(363,1),(616,1)}
85:{2,3,5}:{(16,1),(33,1),(105,1),(124,1),(156,1),(312,1),(327,1)}
86:{1}:{(18,1),(19,1)}
87:{1,4}:{(20,1),(30,1),(119,1),(125,1),(166,1)}
88:{1,4,6}:{(23,1),(32,1),(118,1),(123,1),(172,1),(281,1),(331,1)}
89:{1,5}:{(24,1),(33,1),(114,1),(120,1)}
90:{1,2}:{(12,1),(14,1),(120,1)}
91:{1,2,4,6}:{(5,1),(35,1),(117,1),(170,1),(329,1),(333,1),(676,1),(687,1),(961,1)}
92:{1,2,5}:{(22,1),(31,1),(115,1),(122,1),(280,1),(383,1),(396,1)}
93:{1,6}:{(2,1),(17,1),(119,1)}
94:{1,4,5}:{(3,1),(16,1),(116,1),(124,1),(169,1),(334,1),(556,1)}
95:{1,2,5,6}:{(4,1),(7,1),(121,1),(348,1),(380,1),(398,1),(621,1),(883,1),(891,1),(896,1)}
96:{1,4,6}:{(36,1),(37,1),(60,1),(61,1),(183,1),(197,1),(1016,1)}
97:{4,6}:{(38,1),(42,1),(58,1),(65,1),(181,1)}
98:{4,6}:{(41,1),(45,1),(57,1),(64,1),(182,1)}
99:{3,6}:{(36,1),(44,1),(66,1),(68,1)}
100:{3,6}:{(43,1),(45,1),(72,1),(75,1)}
101:{2,3,6}:{(38,1),(40,1),(69,1),(71,1),(198,1),(705,1),(1091,1)}
102:{3,5}:{(47,1),(51,1),(67,1),(68,1),(188,1)}
103:{2,3,5}:{(50,1),(53,1),(71,1),(74,1),(187,1),(238,1),(242,1)}
104:{3,5}:{(54,1),(55,1),(70,1),(72,1),(189,1)}
105:{2,3,6}:{(39,1),(42,1),(78,1),(85,1),(179,1),(206,1)}
106:{1,2,6}:{(36,1),(43,1),(76,1),(81,1),(176,1),(450,1)}
107:{2,6}:{(44,1),(45,1),(80,1),(83,1)}
108:{2,3,5}:{(48,1),(49,1),(78,1),(84,1),(180,1),(186,1),(246,1),(250,1),(404,1)}
109:{2,5}:{(47,1),(55,1),(80,1),(82,1),(185,1)}
110:{1,2,5}:{(51,1),(54,1),(77,1),(81,1),(177,1),(184,1),(476,1),(718,1),(727,1)}
111:{2,3}:{(68,1),(72,1),(80,1),(81,1),(190,1)}
112:{2,3,5}:{(66,1),(75,1),(76,1),(83,1),(176,1),(192,1),(259,1),(261,1),(399,1)}
113:{2,3,6}:{(67,1),(70,1),(77,1),(82,1),(177,1),(191,1),(417,1),(695,1),(704,1)}
114:{1,6}:{(42,1),(45,1),(86,1),(89,1)}
115:{1,2,6}:{(38,1),(41,1),(90,1),(92,1),(178,1),(524,1),(705,1)}
116:{1,4,6}:{(39,1),(44,1),(87,1),(94,1),(179,1),(210,1),(214,1)}
117:{1,2,5}:{(46,1),(50,1),(90,1),(91,1),(213,1),(705,1),(1124,1)}
118:{1,5}:{(49,1),(55,1),(86,1),(88,1)}
119:{1,5}:{(47,1),(48,1),(87,1),(93,1)}
120:{1,4}:{(64,1),(65,1),(89,1),(90,1),(199,1)}
121:{1,4,6}:{(56,1),(62,1),(93,1),(95,1),(200,1),(211,1),(1019,1)}
122:{1,4}:{(57,1),(58,1),(86,1),(92,1),(201,1)}
123:{1,2,6}:{(82,1),(84,1),(88,1),(93,1),(180,1),(488,1)}
124:{1,2,5}:{(83,1),(85,1),(89,1),(94,1),(179,1),(221,1)}
125:{1,2}:{(78,1),(80,1),(86,1),(87,1)}
126:{3,5,6}:{(39,1),(48,1),(210,1),(232,1),(699,1),(750,1)}
127:{5,6}:{(45,1),(55,1),(182,1),(226,1),(821,1)}
128:{2,5,6}:{(38,1),(50,1),(181,1),(230,1)}
129:{1,5,6}:{(36,1),(51,1),(183,1),(193,1),(233,1),(418,1),(825,1)}
130:{1,2,5,6}:{(40,1),(53,1),(195,1),(227,1),(475,1),(523,1),(795,1),(809,1),(826,1)}
131:{2,3,5,6}:{(41,1),(46,1),(182,1),(209,1),(229,1),(403,1),(425,1),(435,1),(443,1),(453,1),(517,1),(705,1)}
132:{5,6}:{(44,1),(47,1),(399,1),(417,1)}
133:{1,2,3,5,6}:{(37,1),(52,1),(183,1),(231,1),(427,1),(445,1),(454,1),(510,1),(784,1),(1040,1),(1052,1),(1067,1),(1157,1),(1336,1),(1365,1),(1374,1)}
134:{3,5,6}:{(42,1),(49,1),(181,1),(208,1),(234,1),(403,1),(436,1),(1169,1)}
135:{1,5,6}:{(43,1),(54,1),(194,1),(399,1),(417,1),(474,1),(524,1)}
136:{1,4,5}:{(51,1),(61,1),(183,1),(184,1),(188,1),(233,1),(240,1),(254,1),(400,1),(424,1),(502,1),(718,1),(825,1)}
137:{1,4,5}:{(53,1),(59,1),(187,1),(242,1)}
138:{4,5}:{(46,1),(64,1),(182,1),(229,1),(1080,1)}
139:{4,5}:{(50,1),(65,1),(181,1),(187,1),(230,1),(238,1)}
140:{4,5}:{(48,1),(62,1),(186,1),(246,1)}
141:{4,5}:{(47,1),(56,1),(185,1),(188,1),(245,1),(247,1),(501,1),(1328,1)}
142:{4,5}:{(49,1),(58,1),(181,1),(186,1),(234,1),(250,1)}
143:{1,4,5}:{(52,1),(60,1),(183,1),(231,1),(237,1),(1316,1),(1651,1)}
144:{1,4,5}:{(54,1),(63,1),(184,1),(189,1),(244,1),(251,1),(400,1),(509,1),(718,1),(829,1),(1133,1),(1324,1),(1328,1),(1569,1)}
145:{4,5}:{(55,1),(57,1),(182,1),(185,1),(189,1),(226,1),(236,1),(249,1),(505,1),(821,1)}
146:{3,4,6}:{(63,1),(70,1),(189,1),(191,1),(244,1),(263,1),(402,1),(509,1),(695,1),(832,1),(1087,1),(1326,1),(1336,1),(1569,1)}
147:{3,4}:{(65,1),(71,1),(187,1),(199,1),(238,1),(268,1)}
148:{3,4}:{(64,1),(75,1),(192,1),(199,1),(261,1),(270,1)}
149:{3,4}:{(61,1),(68,1),(188,1),(190,1),(240,1),(265,1),(502,1),(1336,1)}
150:{3,4,6}:{(59,1),(74,1),(187,1),(242,1)}
151:{3,4}:{(58,1),(69,1),(201,1),(266,1),(1080,1)}
152:{3,4,6}:{(62,1),(73,1),(200,1),(239,1),(275,1),(1320,1),(1632,1)}
153:{3,4,6}:{(56,1),(67,1),(188,1),(191,1),(200,1),(245,1),(264,1),(272,1),(402,1),(437,1),(501,1),(695,1),(835,1)}
154:{3,4}:{(57,1),(72,1),(189,1),(190,1),(201,1),(236,1),(256,1),(273,1),(505,1),(831,1)}
155:{3,4}:{(60,1),(66,1),(192,1),(259,1)}
156:{2,4}:{(65,1),(85,1),(693,1),(705,1),(1441,1)}
157:{1,2,4}:{(61,1),(81,1),(184,1),(190,1),(254,1),(265,1),(405,1),(502,1),(727,1),(756,1),(1157,1)}
158:{1,2,4,6}:{(59,1),(79,1),(253,1),(260,1),(809,1),(845,1)}
159:{2,4}:{(58,1),(78,1),(186,1),(250,1)}
160:{2,4,6}:{(62,1),(84,1),(186,1),(246,1),(740,1),(761,1),(1104,1)}
161:{2,4,6}:{(56,1),(82,1),(185,1),(191,1),(247,1),(264,1),(405,1),(501,1),(704,1),(762,1),(1106,1)}
162:{2,4}:{(64,1),(83,1),(192,1),(261,1)}
163:{2,4}:{(57,1),(80,1),(185,1),(190,1),(249,1),(256,1),(505,1),(705,1),(1441,1)}
164:{1,2,4}:{(60,1),(76,1),(192,1),(259,1),(757,1),(774,1),(1156,1)}
165:{1,2,4,6}:{(63,1),(77,1),(184,1),(191,1),(251,1),(263,1),(405,1),(509,1),(704,1),(727,1),(759,1),(797,1),(810,1),(841,1),(1441,1)}
166:{1,3}:{(68,1),(87,1),(404,1),(476,1)}
167:{1,3,6}:{(67,1),(93,1),(200,1),(217,1),(272,1),(477,1),(835,1)}
168:{1,2,3}:{(71,1),(90,1),(199,1),(268,1)}
169:{1,3,5}:{(66,1),(94,1),(214,1),(269,1),(701,1),(782,1)}
170:{1,2,3,6}:{(74,1),(91,1),(218,1),(267,1),(435,1),(523,1),(770,1),(809,1),(834,1)}
171:{1,2,3,5}:{(69,1),(92,1),(201,1),(216,1),(266,1),(403,1),(465,1),(475,1),(483,1),(497,1),(533,1),(705,1)}
172:{1,3,6}:{(70,1),(88,1),(219,1),(404,1),(436,1),(476,1),(524,1)}
173:{1,3,5}:{(75,1),(89,1),(199,1),(215,1),(270,1),(403,1),(474,1),(1169,1)}
174:{1,2,3,5,6}:{(73,1),(95,1),(200,1),(275,1),(466,1),(482,1),(499,1),(531,1),(749,1),(1046,1),(1059,1),(1074,1),(1106,1),(1328,1),(1358,1),(1376,1)}
175:{1,3}:{(72,1),(86,1),(201,1),(273,1),(831,1)}
176:{2,3,6}:{(99,1),(100,1),(106,1),(107,1),(111,1),(112,1),(277,1)}
177:{2,3,5}:{(102,1),(104,1),(109,1),(110,1),(111,1),(113,1),(276,1),(286,1),(288,1),(301,1),(303,1),(316,1),(317,1),(544,1),(550,1),(553,1)}
178:{1,4,6}:{(97,1),(98,1),(114,1),(115,1),(120,1),(122,1),(278,1),(280,1),(543,1)}
179:{1,2,6}:{(105,1),(107,1),(114,1),(116,1),(124,1),(125,1)}
180:{1,2,5}:{(108,1),(109,1),(118,1),(119,1),(123,1),(125,1),(281,1)}
181:{5}:{(97,1)}
182:{5}:{(98,1)}
183:{1,5}:{(96,1),(299,1),(1172,1)}
184:{1,4}:{(110,1),(276,1),(303,1)}
185:{4}:{(109,1),(301,1)}
186:{4}:{(108,1)}
187:{4}:{(103,1)}
188:{4}:{(102,1),(317,1)}
189:{4}:{(104,1),(316,1)}
190:{4}:{(111,1),(288,1)}
191:{4,6}:{(113,1),(276,1),(286,1)}
192:{4}:{(112,1)}
193:{3,5,6}:{(99,1),(102,1),(129,1),(132,1),(296,1),(299,1),(355,1)}
194:{3,5,6}:{(100,1),(104,1),(127,1),(135,1),(297,1),(300,1),(349,1)}
195:{2,3,5,6}:{(101,1),(103,1),(128,1),(130,1),(295,1),(298,1),(351,1),(353,1),(595,1),(610,1),(945,1)}
196:{3,4,6}:{(98,1),(100,1),(148,1),(154,1),(277,1),(278,1),(297,1),(300,1),(319,1),(338,1),(349,1),(543,1),(569,1),(661,1),(921,1),(997,1),(1307,1)}
197:{3,4,6}:{(96,1),(99,1),(149,1),(155,1),(277,1),(296,1),(299,1),(321,1),(355,1),(570,1),(670,1)}
198:{3,4,6}:{(97,1),(101,1),(147,1),(151,1),(278,1),(295,1),(298,1),(339,1),(351,1),(543,1)}
199:{3}:{(120,1)}
200:{3,6}:{(121,1),(309,1),(1178,1)}
201:{3}:{(122,1)}
202:{2,5,6}:{(107,1),(109,1),(127,1),(132,1),(292,1),(310,1),(362,1)}
203:{2,3,5,6}:{(105,1),(108,1),(126,1),(134,1),(282,1),(293,1),(312,1),(359,1),(363,1),(547,1),(554,1),(578,1),(609,1),(613,1),(906,1)}
204:{1,2,5,6}:{(106,1),(110,1),(129,1),(135,1),(279,1),(294,1),(311,1),(368,1),(630,1),(644,1),(688,1),(882,1),(883,1),(895,1),(1007,1)}
205:{1,2,4,6}:{(96,1),(106,1),(157,1),(164,1),(277,1),(294,1),(311,1),(321,1),(368,1),(551,1),(570,1),(670,1),(895,1),(1211,1)}
206:{2,4,6}:{(97,1),(105,1),(156,1),(159,1),(293,1),(312,1),(363,1)}
207:{2,4,6}:{(98,1),(107,1),(162,1),(163,1),(277,1),(292,1),(310,1),(319,1),(362,1),(569,1),(661,1)}
208:{1,5,6}:{(114,1),(118,1),(127,1),(134,1),(280,1),(330,1),(906,1),(1007,1)}
209:{1,2,5,6}:{(115,1),(117,1),(128,1),(131,1),(280,1),(329,1),(625,1),(644,1),(687,1)}
210:{1,5,6}:{(116,1),(119,1),(126,1),(132,1),(556,1),(619,1)}
211:{1,4,5}:{(119,1),(121,1),(140,1),(141,1),(281,1),(309,1),(332,1),(348,1),(380,1),(574,1),(678,1)}
212:{1,4,5}:{(118,1),(122,1),(142,1),(145,1),(280,1),(281,1),(308,1),(330,1),(331,1),(347,1),(383,1),(543,1),(575,1),(671,1),(906,1),(1007,1),(1307,1)}
213:{1,4,5}:{(117,1),(120,1),(138,1),(139,1),(280,1),(307,1),(329,1),(333,1),(379,1),(543,1)}
214:{1,3,6}:{(99,1),(116,1),(166,1),(169,1),(547,1),(630,1)}
215:{1,3,6}:{(100,1),(114,1),(173,1),(175,1),(278,1),(338,1),(921,1),(997,1)}
216:{1,2,3,6}:{(101,1),(115,1),(168,1),(171,1),(278,1),(339,1),(613,1),(636,1),(686,1)}
217:{1,3,5}:{(102,1),(119,1),(166,1),(167,1),(309,1),(332,1),(380,1)}
218:{1,2,3,5}:{(103,1),(117,1),(168,1),(170,1),(307,1),(333,1),(379,1),(388,1),(617,1),(653,1),(945,1)}
219:{1,3,5}:{(104,1),(118,1),(172,1),(175,1),(308,1),(331,1),(383,1)}
220:{1,2,4,6}:{(121,1),(123,1),(160,1),(161,1),(281,1),(325,1),(335,1),(348,1),(398,1),(565,1),(574,1),(678,1),(891,1),(1184,1)}
221:{1,2,4}:{(120,1),(124,1),(156,1),(162,1),(327,1),(334,1),(390,1)}
222:{1,2,4}:{(122,1),(125,1),(159,1),(163,1),(281,1),(326,1),(336,1),(347,1),(396,1),(575,1),(671,1)}
223:{1,2,3,5}:{(112,1),(124,1),(169,1),(173,1),(284,1),(327,1),(334,1),(389,1),(390,1),(554,1),(556,1),(588,1),(644,1),(647,1),(921,1)}
224:{1,2,3,6}:{(113,1),(123,1),(167,1),(172,1),(285,1),(325,1),(335,1),(398,1),(613,1),(619,1),(688,1),(864,1),(883,1),(891,1),(997,1)}
225:{1,2,3}:{(111,1),(125,1),(166,1),(175,1),(326,1),(336,1),(396,1)}
226:{4,6}:{(127,1),(145,1),(349,1),(362,1)}
227:{1,4,5,6}:{(130,1),(137,1),(295,1),(353,1),(622,1),(632,1),(908,1),(956,1),(1009,1)}
228:{4,5,6}:{(132,1),(141,1),(292,1),(296,1),(358,1),(365,1),(541,1),(542,1),(668,1),(913,1),(1311,1)}
229:{4,6}:{(131,1),(138,1),(543,1),(569,1)}
230:{4,6}:{(128,1),(139,1),(351,1)}
231:{1,4,6}:{(133,1),(143,1),(352,1),(570,1),(964,1),(1181,1),(1211,1)}
232:{4,5,6}:{(126,1),(140,1),(293,1),(359,1),(855,1),(906,1),(912,1)}
233:{1,4,6}:{(129,1),(136,1),(296,1),(355,1),(368,1),(541,1),(670,1),(883,1)}
234:{4,6}:{(134,1),(142,1),(363,1),(543,1),(1307,1)}
235:{1,4,5,6}:{(135,1),(144,1),(294,1),(297,1),(356,1),(367,1),(541,1),(542,1),(624,1),(631,1),(667,1),(882,1),(883,1),(904,1),(953,1),(1006,1),(1007,1),(1013,1),(1211,1),(1212,1),(1307,1),(1453,1)}
236:{3,5}:{(145,1),(154,1),(288,1),(301,1),(349,1),(383,1)}
237:{3,4,5}:{(143,1),(155,1),(287,1),(299,1),(352,1),(374,1),(570,1),(909,1),(1253,1),(1311,1),(1528,1)}
238:{3,5}:{(139,1),(147,1),(351,1),(379,1)}
239:{3,4,5}:{(140,1),(152,1),(302,1),(309,1),(372,1),(385,1),(574,1),(926,1),(1249,1),(1314,1),(1523,1)}
240:{3,5}:{(136,1),(149,1),(288,1),(303,1),(355,1)}
241:{3,4,5}:{(142,1),(151,1),(298,1),(302,1),(308,1),(357,1),(371,1),(386,1),(543,1),(568,1),(575,1),(578,1),(860,1),(906,1),(920,1),(928,1),(1251,1),(1307,1)}
242:{3,5}:{(137,1),(150,1)}
243:{3,4,5}:{(138,1),(148,1),(287,1),(300,1),(307,1),(354,1),(378,1),(387,1),(543,1),(569,1),(576,1),(588,1),(855,1),(905,1),(910,1),(921,1),(1254,1),(1307,1)}
244:{3,5}:{(144,1),(146,1),(286,1),(303,1)}
245:{3,5}:{(141,1),(153,1),(286,1),(301,1),(380,1)}
246:{2,5}:{(140,1),(160,1),(906,1)}
247:{2,5}:{(141,1),(161,1),(286,1),(317,1)}
248:{2,4,5}:{(138,1),(162,1),(287,1),(310,1),(361,1),(378,1),(569,1),(910,1),(1193,1),(1196,1),(1241,1)}
249:{2,5}:{(145,1),(163,1),(288,1),(316,1),(362,1)}
250:{2,5}:{(142,1),(159,1),(363,1)}
251:{1,2,5}:{(144,1),(165,1),(286,1),(316,1),(373,1),(550,1),(931,1),(1007,1),(1667,1)}
252:{2,4,5}:{(139,1),(156,1),(312,1),(318,1),(366,1),(369,1),(568,1),(595,1),(1536,1),(1685,1)}
253:{1,2,4,5}:{(137,1),(158,1),(318,1),(375,1),(653,1),(675,1)}
254:{1,2,5}:{(136,1),(157,1),(288,1),(317,1),(368,1),(376,1),(550,1),(597,1)}
255:{1,2,4,5}:{(143,1),(164,1),(287,1),(311,1),(360,1),(374,1),(570,1),(647,1),(674,1),(868,1),(880,1),(909,1),(1012,1),(1211,1),(1231,1)}
256:{2,3}:{(154,1),(163,1),(301,1),(316,1),(396,1)}
257:{2,3,4,6}:{(152,1),(160,1),(302,1),(325,1),(372,1),(393,1),(574,1),(609,1),(669,1),(862,1),(875,1),(926,1),(996,1),(1184,1),(1200,1)}
258:{2,3,4}:{(147,1),(156,1),(318,1),(327,1),(369,1),(395,1),(576,1),(617,1),(1543,1),(1685,1)}
259:{2,3}:{(155,1),(164,1),(921,1)}
260:{2,3,4,6}:{(150,1),(158,1),(318,1),(375,1),(610,1),(662,1)}
261:{2,3}:{(148,1),(162,1),(390,1)}
262:{2,3,4}:{(151,1),(159,1),(302,1),(326,1),(371,1),(391,1),(575,1),(928,1),(1196,1),(1206,1),(1245,1)}
263:{2,3,6}:{(146,1),(165,1),(303,1),(316,1),(373,1),(553,1),(947,1),(997,1),(1667,1)}
264:{2,3,6}:{(153,1),(161,1),(301,1),(317,1),(377,1),(398,1),(553,1),(618,1)}
265:{2,3}:{(149,1),(157,1),(303,1),(317,1)}
266:{1,4}:{(151,1),(171,1),(543,1),(575,1)}
267:{1,3,4,6}:{(150,1),(170,1),(333,1),(388,1),(589,1),(632,1),(927,1),(961,1),(995,1)}
268:{1,4}:{(147,1),(168,1),(379,1)}
269:{1,3,4}:{(155,1),(169,1),(334,1),(389,1),(860,1),(921,1),(963,1)}
270:{1,4}:{(148,1),(173,1),(390,1),(543,1),(1307,1)}
271:{1,3,4}:{(149,1),(166,1),(332,1),(336,1),(384,1),(397,1),(548,1),(560,1),(679,1),(964,1),(1314,1)}
272:{1,4,6}:{(153,1),(167,1),(332,1),(380,1),(398,1),(560,1),(678,1),(883,1)}
273:{1,4}:{(154,1),(175,1),(383,1),(396,1)}
274:{1,3,4,6}:{(146,1),(172,1),(331,1),(335,1),(382,1),(392,1),(548,1),(560,1),(590,1),(631,1),(680,1),(864,1),(883,1),(966,1),(971,1),(997,1),(1001,1),(1003,1),(1184,1),(1222,1),(1307,1),(1458,1)}
275:{1,4,6}:{(152,1),(174,1),(385,1),(574,1),(913,1),(1184,1),(1218,1)}
276:{4}:{(177,1)}
277:{4,6}:{(176,1),(190,1),(192,1),(399,1),(417,1)}
278:{3,6}:{(178,1),(199,1),(201,1),(403,1)}
279:{2,3,5,6}:{(176,1),(177,1),(193,1),(194,1),(202,1),(204,1),(399,1),(401,1),(417,1),(418,1),(428,1),(429,1),(450,1),(451,1),(453,1),(454,1),(518,1),(519,1),(694,1),(695,1),(703,1),(704,1),(708,1),(821,1),(825,1),(1169,1),(1441,1)}
280:{1,5}:{(178,1),(181,1),(182,1),(403,1)}
281:{1,4}:{(180,1),(185,1),(186,1),(404,1),(476,1)}
282:{1,2,5,6}:{(179,1),(180,1),(202,1),(203,1),(208,1),(210,1),(409,1),(413,1),(485,1),(783,1),(806,1)}
283:{1,2,4,6}:{(178,1),(179,1),(206,1),(207,1),(221,1),(222,1),(407,1),(409,1),(411,1),(413,1),(485,1),(491,1),(693,1),(705,1),(740,1),(774,1),(841,1),(1441,1)}
284:{1,2,3,6}:{(176,1),(179,1),(214,1),(215,1),(223,1),(225,1),(407,1),(411,1),(491,1),(751,1),(802,1)}
285:{1,2,3,5}:{(177,1),(180,1),(217,1),(219,1),(224,1),(225,1),(404,1),(410,1),(465,1),(466,1),(467,1),(469,1),(476,1),(477,1),(488,1),(490,1),(530,1),(537,1),(700,1),(713,1),(718,1),(724,1),(727,1),(831,1),(835,1),(1169,1),(1441,1)}
286:{5}:{(191,1)}
287:{4,5}:{(192,1),(399,1),(416,1),(455,1)}
288:{5}:{(190,1),(417,1)}
289:{4,5,6}:{(182,1),(226,1),(229,1),(421,1),(422,1),(425,1),(443,1),(739,1),(821,1),(1022,1),(1023,1),(1079,1),(1386,1)}
290:{1,4,5,6}:{(183,1),(231,1),(233,1),(419,1),(424,1),(427,1),(445,1),(691,1),(738,1),(825,1),(1049,1),(1052,1),(1120,1),(1125,1),(1389,1)}
291:{4,5,6}:{(181,1),(230,1),(234,1),(420,1),(423,1),(426,1),(444,1),(737,1),(1394,1)}
292:{4,6}:{(185,1),(202,1),(421,1),(429,1)}
293:{4,6}:{(186,1),(203,1),(420,1),(693,1)}
294:{1,4,6}:{(184,1),(204,1),(401,1),(419,1),(428,1),(774,1)}
295:{4,6}:{(187,1),(195,1),(423,1),(1080,1)}
296:{4,6}:{(188,1),(193,1),(424,1),(451,1)}
297:{4,6}:{(189,1),(194,1),(422,1),(450,1)}
298:{3,5}:{(181,1),(198,1),(423,1),(475,1)}
299:{3,5}:{(183,1),(197,1),(399,1),(424,1),(825,1)}
300:{3,5}:{(182,1),(196,1),(399,1),(422,1),(474,1),(821,1)}
301:{3}:{(185,1),(476,1)}
302:{3,4}:{(186,1),(404,1),(460,1),(478,1)}
303:{3}:{(184,1)}
304:{3,4,5}:{(188,1),(240,1),(245,1),(400,1),(402,1),(424,1),(433,1),(437,1),(463,1),(481,1),(501,1),(502,1),(694,1),(700,1),(732,1),(743,1),(825,1),(828,1),(835,1),(840,1),(1024,1),(1025,1),(1164,1),(1168,1),(1328,1),(1336,1),(1395,1),(1569,1)}
305:{3,4,5}:{(187,1),(238,1),(242,1),(423,1),(432,1),(439,1),(461,1),(480,1),(754,1),(1080,1)}
306:{3,4,5}:{(189,1),(236,1),(244,1),(400,1),(402,1),(422,1),(431,1),(438,1),(462,1),(479,1),(505,1),(509,1),(694,1),(700,1),(731,1),(745,1),(752,1),(821,1),(829,1),(831,1),(832,1),(1024,1),(1025,1),(1082,1),(1163,1),(1169,1),(1328,1),(1336,1),(1396,1),(1400,1),(1569,2)}
307:{3,5}:{(199,1),(213,1),(435,1),(439,1)}
308:{3,5}:{(201,1),(212,1),(404,1),(436,1),(438,1),(831,1)}
309:{3,5}:{(200,1),(211,1),(404,1),(437,1),(835,1)}
310:{2,5}:{(182,1),(207,1),(399,1),(421,1),(821,1)}
311:{1,2,5}:{(183,1),(205,1),(399,1),(419,1),(454,1),(703,1),(825,1),(1157,1),(1441,1)}
312:{2,5}:{(181,1),(206,1),(420,1)}
313:{2,4,5}:{(185,1),(247,1),(249,1),(400,1),(405,1),(421,1),(448,1),(458,1),(501,1),(505,1),(703,1),(757,1),(821,1),(828,1),(1024,1),(1441,1)}
314:{1,2,4,5}:{(184,1),(251,1),(254,1),(400,1),(405,1),(419,1),(447,1),(459,1),(502,1),(509,1),(703,1),(706,1),(718,1),(724,1),(727,1),(756,1),(776,1),(778,1),(790,1),(797,1),(799,1),(825,1),(829,1),(1019,1),(1020,1),(1024,1),(1025,1),(1067,1),(1133,1),(1143,1),(1145,1),(1157,1),(1324,1),(1328,1),(1356,1),(1395,1),(1396,1),(1441,2),(1447,1),(1569,1),(1616,1)}
315:{2,4,5}:{(186,1),(246,1),(250,1),(420,1),(446,1),(460,1)}
316:{2}:{(189,1)}
317:{2}:{(188,1)}
318:{2,4}:{(187,1),(461,1),(1080,1)}
319:{2,3,6}:{(196,1),(207,1),(256,1),(261,1),(429,1),(450,1),(453,1),(491,1),(705,1),(1441,1)}
320:{2,3,4,6}:{(198,1),(206,1),(258,1),(262,1),(407,1),(430,1),(449,1),(452,1),(493,1),(512,1),(516,1),(693,1),(705,1),(737,1),(740,1),(742,1),(770,1),(1034,1),(1038,1),(1043,1),(1080,1),(1091,1),(1093,1),(1352,1),(1441,1),(1445,1),(1583,1)}
321:{2,3,6}:{(197,1),(205,1),(259,1),(265,1),(428,1),(451,1),(454,1),(1336,1)}
322:{2,3,4}:{(190,1),(256,1),(265,1),(402,1),(405,1),(442,1),(457,1),(495,1),(502,1),(505,1),(713,1),(761,1),(831,1),(840,1),(1025,1),(1441,1)}
323:{2,3,4}:{(192,1),(259,1),(261,1),(441,1),(455,1),(494,1)}
324:{2,3,4,6}:{(191,1),(263,1),(264,1),(402,1),(405,1),(440,1),(456,1),(496,1),(501,1),(509,1),(695,1),(704,1),(708,1),(710,1),(713,1),(736,1),(746,1),(748,1),(758,1),(759,1),(762,1),(832,1),(835,1),(1016,1),(1017,1),(1024,1),(1025,1),(1046,1),(1087,1),(1106,1),(1114,1),(1115,1),(1326,1),(1336,1),(1337,1),(1395,1),(1396,1),(1441,2),(1449,1),(1569,1),(1592,1)}
325:{2,3,6}:{(200,1),(220,1),(404,1),(440,1),(466,1),(713,1),(835,1),(1106,1),(1441,1)}
326:{2,3}:{(201,1),(222,1),(404,1),(442,1),(831,1)}
327:{2,3}:{(199,1),(221,1),(441,1)}
328:{1,4,5,6}:{(210,1),(211,1),(228,1),(232,1),(409,1),(434,1),(471,1),(487,1),(529,1),(715,1),(716,1),(741,1),(848,1),(1328,1),(1386,1),(1581,1),(1604,1),(1649,1),(1764,1)}
329:{1,4,6}:{(209,1),(213,1),(229,1),(230,1),(435,1),(523,1),(774,1)}
330:{1,4,6}:{(208,1),(212,1),(226,1),(234,1),(436,1),(485,1),(524,1),(740,1)}
331:{1,4}:{(189,1),(219,1),(438,1),(488,1)}
332:{1,4}:{(188,1),(217,1),(437,1),(490,1)}
333:{1,4}:{(187,1),(218,1),(439,1),(1080,1)}
334:{1,4}:{(192,1),(223,1),(441,1),(693,1)}
335:{1,4,6}:{(191,1),(224,1),(410,1),(440,1),(467,1),(740,1)}
336:{1,4}:{(190,1),(225,1),(442,1),(469,1)}
337:{1,3,4,6}:{(197,1),(214,1),(269,1),(271,1),(411,1),(471,1),(473,1),(492,1),(521,1),(702,1),(719,1),(775,1),(850,1),(1336,1),(1425,1),(1608,1),(1612,1),(1649,1),(1768,1)}
338:{1,4,6}:{(196,1),(215,1),(270,1),(273,1),(474,1),(491,1),(524,1),(774,1)}
339:{1,4,6}:{(198,1),(216,1),(266,1),(268,1),(475,1),(523,1),(740,1)}
340:{1,2,3,5,6}:{(195,1),(209,1),(216,1),(218,1),(403,1),(435,1),(470,1),(475,1),(523,1),(527,1),(705,1),(711,1),(720,1),(728,1),(754,1),(770,1),(795,1),(804,1),(809,1),(816,1),(1069,1),(1091,1),(1124,1),(1649,1)}
341:{1,3,5,6}:{(193,1),(210,1),(214,1),(217,1),(434,1),(471,1),(473,1),(521,1),(529,1),(1649,1),(1764,1),(1768,1)}
342:{1,3,5,6}:{(194,1),(208,1),(215,1),(219,1),(403,1),(436,1),(472,1),(474,1),(524,1),(752,1),(1169,1)}
343:{1,3,4}:{(201,1),(266,1),(273,1),(438,1),(442,1),(483,1),(497,1),(779,1),(831,1),(1034,1),(1054,1),(1137,1),(1425,1)}
344:{1,3,4}:{(199,1),(268,1),(270,1),(439,1),(441,1),(484,1),(498,1),(780,1),(1401,1)}
345:{1,3,4,6}:{(200,1),(272,1),(275,1),(437,1),(440,1),(482,1),(499,1),(722,1),(781,1),(835,1),(1057,1),(1059,1),(1092,1),(1140,1),(1423,1)}
346:{1,2,4,5}:{(213,1),(221,1),(248,1),(252,1),(413,1),(464,1),(468,1),(486,1),(489,1),(534,1),(536,1),(693,1),(705,1),(773,1),(774,1),(780,1),(795,1),(1022,1),(1037,1),(1065,1),(1080,1),(1124,1),(1127,1),(1369,1),(1441,1),(1446,1),(1583,1)}
347:{1,2,5}:{(212,1),(222,1),(249,1),(250,1),(465,1),(469,1),(485,1),(488,1),(705,1),(1441,1)}
348:{1,2,5}:{(211,1),(220,1),(246,1),(247,1),(466,1),(467,1),(490,1),(1328,1)}
349:{3,6}:{(226,1),(236,1),(417,1),(524,1)}
350:{3,4,5,6}:{(232,1),(239,1),(430,1),(434,1),(515,1),(525,1),(741,1),(1027,1),(1029,1),(1030,1),(1092,1),(1328,1),(1390,1),(1406,1),(1581,1),(1582,1),(1632,1),(1735,1),(1830,1)}
351:{3,6}:{(230,1),(238,1),(523,1)}
352:{3,4,6}:{(231,1),(237,1),(416,1),(427,1),(510,1),(738,1),(743,1),(1336,1),(1389,1)}
353:{3,5,6}:{(227,1),(242,1),(432,1),(754,1),(1091,1)}
354:{3,4,6}:{(229,1),(243,1),(416,1),(425,1),(435,1),(517,1),(526,1),(739,1),(745,1),(751,1),(1023,1),(1090,1)}
355:{3,6}:{(233,1),(240,1),(417,1)}
356:{3,5,6}:{(235,1),(244,1),(418,1),(428,1),(431,1),(694,1),(695,1),(752,1),(821,1),(1079,1),(1087,1),(1163,1),(1164,1),(1169,1),(1328,1),(1336,1),(1568,1)}
357:{3,4,6}:{(234,1),(241,1),(426,1),(436,1),(512,1),(520,1),(737,1),(740,1),(1091,1)}
358:{3,5,6}:{(228,1),(245,1),(418,1),(429,1),(433,1),(529,1),(694,1),(695,1),(825,1),(1168,1),(1328,1)}
359:{2,5,6}:{(232,1),(246,1),(446,1),(1037,1),(1104,1)}
360:{1,2,4,6}:{(231,1),(255,1),(416,1),(445,1),(510,1),(738,1),(756,1),(802,1),(1036,1),(1049,1),(1157,1),(1374,1)}
361:{2,4,6}:{(229,1),(248,1),(416,1),(443,1),(517,1),(705,1),(739,1),(757,1),(1386,1),(1441,1)}
362:{2,6}:{(226,1),(249,1),(417,1)}
363:{2,6}:{(234,1),(250,1),(705,1),(1441,1)}
364:{1,2,4,5,6}:{(227,1),(253,1),(449,1),(514,1),(795,1),(809,1),(845,1),(1080,1),(1102,1),(1144,1),(1150,1),(1420,1)}
365:{2,5,6}:{(228,1),(247,1),(418,1),(448,1),(451,1),(703,1),(704,1),(821,1),(1106,1),(1447,1)}
366:{2,4,6}:{(230,1),(252,1),(444,1),(516,1),(737,1)}
367:{1,2,5,6}:{(235,1),(251,1),(418,1),(447,1),(450,1),(513,1),(703,1),(704,1),(794,1),(810,1),(825,1),(1035,1),(1067,1),(1120,1),(1133,1),(1143,1),(1145,1),(1324,1),(1328,1),(1441,1),(1649,1)}
368:{1,2,6}:{(233,1),(254,1),(417,1),(451,1),(519,1),(704,1)}
369:{2,3,5}:{(238,1),(252,1),(258,1),(504,1),(516,1),(534,1)}
370:{2,3,5}:{(236,1),(249,1),(256,1),(505,1),(518,1),(537,1),(821,1),(831,1),(1169,1),(1441,1)}
371:{2,3,5}:{(241,1),(250,1),(262,1),(503,1),(512,1),(533,1),(705,1),(1043,1),(1400,1),(1441,1)}
372:{2,3,5}:{(239,1),(246,1),(257,1),(500,1),(531,1),(1027,1),(1328,1),(1449,1)}
373:{2,3,5}:{(244,1),(251,1),(263,1),(509,1),(1169,1),(1441,1)}
374:{2,3,5}:{(237,1),(255,1),(259,1),(506,1),(510,1),(1033,1),(1336,1),(1447,1)}
375:{2,3,5}:{(242,1),(253,1),(260,1),(507,1)}
376:{2,3,5}:{(240,1),(254,1),(265,1),(502,1),(519,1),(825,1)}
377:{2,3,5}:{(245,1),(247,1),(264,1),(501,1),(530,1),(835,1)}
378:{2,3,5}:{(243,1),(248,1),(261,1),(508,1),(517,1),(536,1),(705,1),(1037,1),(1400,1),(1441,1)}
379:{1,5}:{(238,1),(268,1),(523,1)}
380:{1,5}:{(245,1),(272,1),(476,1)}
381:{1,3,4,5}:{(237,1),(269,1),(468,1),(473,1),(528,1),(538,1),(775,1),(1030,1),(1033,1),(1053,1),(1125,1),(1336,1),(1422,1),(1428,1),(1590,1),(1612,1),(1651,1),(1735,1),(1830,1)}
382:{1,3,5}:{(244,1),(274,1),(467,1),(477,1),(479,1),(700,1),(718,1),(752,1),(831,1),(1133,1),(1137,1),(1163,1),(1168,1),(1169,1),(1328,1),(1336,1),(1572,1)}
383:{1,5}:{(236,1),(273,1),(476,1),(524,1)}
384:{1,3,5}:{(240,1),(271,1),(469,1),(477,1),(481,1),(521,1),(700,1),(718,1),(835,1),(1164,1),(1336,1)}
385:{1,4,5}:{(239,1),(275,1),(478,1),(482,1),(531,1),(732,1),(781,1),(1328,1),(1423,1)}
386:{1,4,5}:{(241,1),(266,1),(475,1),(478,1),(483,1),(520,1),(533,1),(731,1),(779,1),(783,1),(1054,1),(1123,1)}
387:{1,4,5}:{(243,1),(270,1),(474,1),(484,1),(526,1),(536,1),(774,1),(780,1),(1124,1)}
388:{1,3,5}:{(242,1),(267,1),(480,1),(754,1),(1124,1)}
389:{1,2,3}:{(259,1),(269,1),(494,1),(1043,1),(1156,1)}
390:{1,2}:{(261,1),(270,1),(705,1),(1441,1)}
391:{1,2,4}:{(262,1),(266,1),(478,1),(497,1),(533,1),(705,1),(761,1),(779,1),(1425,1),(1441,1)}
392:{1,2,3,6}:{(263,1),(274,1),(477,1),(488,1),(496,1),(535,1),(713,1),(727,1),(772,1),(810,1),(835,1),(1046,1),(1076,1),(1087,1),(1114,1),(1115,1),(1140,1),(1326,1),(1336,1),(1441,1),(1649,1)}
393:{1,2,4,6}:{(257,1),(275,1),(478,1),(499,1),(531,1),(762,1),(781,1),(806,1),(1057,1),(1071,1),(1106,1),(1376,1)}
394:{1,2,3,4,6}:{(260,1),(267,1),(489,1),(539,1),(770,1),(809,1),(845,1),(1080,1),(1113,1),(1117,1),(1153,1),(1409,1)}
395:{1,2,4}:{(258,1),(268,1),(498,1),(534,1),(780,1)}
396:{1,2}:{(256,1),(273,1),(476,1)}
397:{1,2,3}:{(265,1),(271,1),(477,1),(490,1),(495,1),(713,1),(727,1),(831,1),(1157,1),(1449,1)}
398:{1,2,6}:{(264,1),(272,1),(476,1),(490,1),(530,1),(727,1)}
399:{5}:{(277,1)}
400:{4,5}:{(276,1),(286,1),(288,1),(541,1),(544,1),(550,1),(852,1),(1172,1)}
401:{4,6}:{(276,1),(279,1),(542,1),(569,1),(570,1),(1307,1)}
402:{3,4}:{(276,1),(301,1),(303,1),(544,1),(553,1),(560,1),(852,1),(1178,1)}
403:{3,5}:{(278,1),(280,1),(543,1)}
404:{3}:{(281,1)}
405:{2,4}:{(276,1),(316,1),(317,1),(550,1),(553,1),(852,1),(1667,1)}
406:{2,3,4,6}:{(277,1),(319,1),(321,1),(322,1),(323,1),(545,1),(549,1),(551,1),(552,1),(566,1),(569,1),(570,1),(602,1),(603,1),(661,1),(670,1),(854,1),(869,1),(878,1),(921,1),(922,1),(938,1),(942,1),(943,1),(997,1),(1003,1),(1183,1),(1184,1),(1189,1),(1195,1),(1199,1),(1202,1),(1245,1),(1307,1),(1471,1),(1480,1),(1526,1),(1535,1),(1541,1),(1667,1)}
407:{2,3,6}:{(278,1),(283,1),(326,1),(327,1),(547,1),(549,1),(554,1),(921,1),(997,1),(1195,1)}
408:{1,4,5,6}:{(280,1),(289,1),(291,1),(329,1),(330,1),(543,1),(546,1),(558,1),(563,1),(622,1),(624,1),(625,1),(627,1),(856,1),(884,1),(906,1),(956,1),(957,1),(1007,1),(1209,1),(1307,1)}
409:{1,4,6}:{(281,1),(282,1),(292,1),(293,1),(547,1),(558,1),(630,1)}
410:{1,4}:{(276,1),(285,1),(548,1),(574,1),(575,1),(1307,1)}
411:{1,4,6}:{(277,1),(284,1),(334,1),(336,1),(549,1),(556,1),(619,1)}
412:{1,3,4,6}:{(278,1),(338,1),(339,1),(343,1),(344,1),(543,1),(549,1),(561,1),(567,1),(589,1),(590,1),(635,1),(636,1),(881,1),(884,1),(921,1),(959,1),(961,1),(997,1),(1191,1),(1307,1)}
413:{1,2,5}:{(280,1),(283,1),(310,1),(312,1),(554,1),(556,1),(558,1),(906,1),(1007,1),(1232,1)}
414:{1,2,4,5}:{(281,1),(313,1),(315,1),(347,1),(348,1),(555,1),(557,1),(558,1),(564,1),(565,1),(574,1),(575,1),(649,1),(651,1),(671,1),(678,1),(869,1),(886,1),(890,1),(906,1),(907,1),(932,1),(934,1),(974,1),(1007,1),(1013,1),(1183,1),(1197,1),(1211,1),(1213,1),(1232,1),(1233,1),(1241,1),(1307,1),(1489,1),(1503,1),(1541,1),(1552,1),(1560,1),(1667,1)}
415:{1,2,3,5,6}:{(279,1),(282,1),(284,1),(285,1),(341,1),(342,1),(547,1),(554,1),(556,1),(559,1),(613,1),(614,1),(619,1),(621,1),(628,1),(630,1),(640,1),(642,1),(643,1),(644,1),(682,1),(683,1),(688,1),(863,1),(864,1),(865,1),(878,1),(882,1),(883,1),(887,1),(890,1),(891,1),(894,1),(895,1),(900,1),(906,1),(921,1),(944,1),(997,1),(1000,1),(1007,1),(1010,1),(1189,1),(1195,1),(1204,1),(1213,1),(1219,1),(1232,1),(1235,1),(1247,1),(1260,1),(1264,1),(1285,1),(1305,1),(1460,1),(1504,1),(1507,1),(1513,1),(1526,1),(1535,1),(1552,1),(1560,1),(1667,1),(1681,1),(1697,1)}
416:{4,6}:{(287,1),(540,1),(602,1)}
417:{6}:{(288,1)}
418:{5,6}:{(286,1),(541,1),(1172,1)}
419:{1,4,5}:{(294,1),(311,1),(542,1),(570,1),(579,1),(882,1),(964,1),(1007,1),(1211,1),(1307,1)}
420:{4,5}:{(293,1),(312,1),(578,1),(906,1)}
421:{4,5}:{(292,1),(310,1),(569,1),(577,1)}
422:{4,5}:{(297,1),(300,1),(543,1),(569,1),(596,1),(1307,1)}
423:{4,5}:{(295,1),(298,1),(543,1),(595,1)}
424:{4,5}:{(296,1),(299,1),(570,1),(597,1)}
425:{3,5,6}:{(289,1),(300,1),(349,1),(354,1),(540,1),(577,1),(625,1),(905,1),(1526,1)}
426:{3,5,6}:{(291,1),(298,1),(351,1),(357,1),(578,1),(627,1),(906,1),(1251,1)}
427:{3,5,6}:{(290,1),(299,1),(352,1),(355,1),(540,1),(579,1),(1189,1),(1253,1)}
428:{3,6}:{(294,1),(303,1),(579,1),(921,1)}
429:{3,6}:{(292,1),(301,1),(577,1),(630,1)}
430:{3,4,6}:{(293,1),(302,1),(547,1),(578,1),(609,1),(629,1),(860,1)}
431:{3,4,6}:{(297,1),(306,1),(349,1),(356,1),(541,1),(611,1),(631,1),(661,1),(667,1),(864,1),(912,1),(997,1),(1184,1),(1307,1),(1314,1),(1526,1)}
432:{3,4,6}:{(295,1),(305,1),(351,1),(353,1),(610,1),(632,1)}
433:{3,4,6}:{(296,1),(304,1),(355,1),(358,1),(541,1),(612,1),(633,1),(668,1),(670,1),(864,1),(913,1),(1000,1),(1184,1)}
434:{3,5,6}:{(309,1),(328,1),(547,1),(591,1),(864,1),(865,1),(1000,1),(1526,1),(1681,1)}
435:{3,6}:{(307,1),(329,1),(921,1)}
436:{3,6}:{(308,1),(330,1)}
437:{3,4}:{(309,1),(332,1),(574,1),(618,1)}
438:{3,4}:{(308,1),(331,1),(543,1),(575,1),(616,1),(1307,1)}
439:{3,4}:{(307,1),(333,1),(543,1),(617,1)}
440:{3,4,6}:{(325,1),(335,1),(548,1),(574,1),(586,1),(864,1),(913,1),(997,1),(1184,1),(1307,1)}
441:{3,4}:{(327,1),(334,1),(588,1),(921,1)}
442:{3,4}:{(326,1),(336,1),(575,1),(587,1)}
443:{2,5,6}:{(289,1),(310,1),(361,1),(362,1),(540,1),(596,1),(1193,1),(1195,1)}
444:{2,5,6}:{(291,1),(312,1),(363,1),(366,1),(595,1),(1536,1)}
445:{1,2,5,6}:{(290,1),(311,1),(360,1),(368,1),(540,1),(597,1),(605,1),(867,1),(1012,1),(1535,1)}
446:{2,4,6}:{(293,1),(315,1),(359,1),(363,1),(609,1),(869,1)}
447:{1,2,4,6}:{(294,1),(314,1),(367,1),(368,1),(541,1),(551,1),(608,1),(667,1),(670,1),(870,1),(883,1),(891,1),(895,1),(953,1),(955,1),(966,1),(974,1),(1174,1),(1175,1),(1184,1),(1211,1),(1453,1),(1535,1),(1667,1)}
448:{2,4,6}:{(292,1),(313,1),(362,1),(365,1),(541,1),(607,1),(661,1),(668,1),(1541,1)}
449:{2,4,6}:{(295,1),(318,1),(595,1),(610,1)}
450:{2,6}:{(297,1),(316,1),(596,1)}
451:{2,6}:{(296,1),(317,1),(597,1)}
452:{2,3,5}:{(298,1),(312,1),(320,1),(568,1),(578,1),(595,1),(645,1),(905,1),(906,1),(920,1),(1193,1),(1251,1),(1536,1)}
453:{2,3,5}:{(300,1),(310,1),(319,1),(569,1),(577,1),(596,1),(644,1),(921,1),(942,1)}
454:{2,3,5}:{(299,1),(311,1),(321,1),(570,1),(579,1),(597,1),(943,1)}
455:{2,3,5}:{(287,1),(323,1),(588,1),(602,1),(647,1)}
456:{2,3,5}:{(286,1),(324,1),(544,1),(550,1),(572,1),(586,1),(646,1),(914,1),(915,1),(923,1),(930,1),(931,1),(934,1),(1172,1),(1460,1),(1472,1),(1667,1),(1684,1)}
457:{2,3,5}:{(288,1),(322,1),(544,1),(550,1),(571,1),(587,1),(603,1),(648,1),(925,1),(932,1)}
458:{2,3,5}:{(301,1),(313,1),(544,1),(553,1),(577,1),(583,1),(607,1),(651,1),(915,1),(942,1)}
459:{2,3,5}:{(303,1),(314,1),(544,1),(553,1),(579,1),(584,1),(608,1),(914,1),(923,1),(925,1),(943,1),(947,1),(949,1),(1178,1),(1460,1),(1475,1),(1667,1),(1693,1)}
460:{2,3,5}:{(302,1),(315,1),(578,1),(609,1),(649,1)}
461:{2,3,5}:{(305,1),(318,1),(595,1),(610,1),(617,1),(653,1)}
462:{2,3,5}:{(306,1),(316,1),(550,1),(553,1),(596,1),(600,1),(611,1),(616,1),(652,1),(931,1),(932,1),(942,1),(947,1),(1667,2)}
463:{2,3,5}:{(304,1),(317,1),(550,1),(553,1),(597,1),(599,1),(612,1),(618,1),(654,1),(930,1),(934,1),(943,1),(949,1),(1667,1)}
464:{2,3,5}:{(307,1),(327,1),(346,1),(576,1),(588,1),(615,1),(617,1),(905,1),(920,1),(921,1),(1206,1),(1254,1),(1543,1)}
465:{2,3,5}:{(308,1),(326,1),(347,1),(575,1),(587,1),(613,1),(616,1),(906,1),(932,1)}
466:{2,3,5}:{(309,1),(325,1),(348,1),(574,1),(586,1),(618,1),(934,1)}
467:{1,5}:{(286,1),(335,1),(586,1),(906,1)}
468:{1,4,5}:{(287,1),(334,1),(556,1),(588,1),(620,1),(647,1),(855,1)}
469:{1,5}:{(288,1),(336,1),(587,1),(619,1)}
470:{1,4,6}:{(295,1),(333,1),(340,1),(543,1),(589,1),(622,1),(856,1),(881,1)}
471:{1,4,6}:{(296,1),(332,1),(341,1),(591,1),(623,1),(642,1)}
472:{1,4,6}:{(297,1),(331,1),(342,1),(543,1),(590,1),(624,1),(640,1),(1307,1)}
473:{1,3,5}:{(299,1),(337,1),(556,1),(623,1),(865,1),(882,1),(1010,1),(1552,1),(1697,1)}
474:{1,5}:{(300,1),(338,1)}
475:{1,5}:{(298,1),(339,1),(906,1)}
476:{1}:{(301,1)}
477:{1,3}:{(303,1),(560,1),(1178,1)}
478:{1,4}:{(302,1),(562,1),(649,1)}
479:{1,4,5}:{(306,1),(331,1),(382,1),(383,1),(560,1),(631,1),(652,1),(671,1),(680,1),(882,1),(963,1),(1007,1),(1211,1),(1307,1),(1311,1),(1552,1)}
480:{1,4,5}:{(305,1),(333,1),(379,1),(388,1),(632,1),(653,1)}
481:{1,4,5}:{(304,1),(332,1),(380,1),(384,1),(560,1),(633,1),(654,1),(678,1),(679,1),(882,1),(964,1),(1010,1),(1211,1)}
482:{1,3,5}:{(309,1),(345,1),(380,1),(385,1),(562,1),(586,1),(1213,1),(1249,1)}
483:{1,3,5}:{(308,1),(343,1),(383,1),(386,1),(562,1),(587,1),(636,1),(920,1),(1552,1)}
484:{1,3,5}:{(307,1),(344,1),(379,1),(387,1),(588,1),(635,1),(921,1),(1254,1)}
485:{1,2,6}:{(330,1),(347,1),(362,1),(363,1),(613,1),(619,1)}
486:{1,2,4,6}:{(329,1),(346,1),(361,1),(366,1),(563,1),(615,1),(620,1),(685,1),(687,1),(856,1),(956,1),(957,1),(961,1),(974,1),(1195,1)}
487:{1,2,5,6}:{(328,1),(348,1),(359,1),(365,1),(564,1),(614,1),(621,1),(642,1),(890,1),(891,1),(906,1),(1007,1),(1213,1),(1260,1),(1477,1)}
488:{1,2}:{(316,1),(331,1),(616,1)}
489:{1,2,4}:{(318,1),(333,1),(617,1),(653,1)}
490:{1,2}:{(317,1),(332,1),(618,1)}
491:{1,2,6}:{(319,1),(338,1),(390,1),(396,1),(630,1),(644,1)}
492:{1,2,3,6}:{(321,1),(337,1),(389,1),(397,1),(566,1),(628,1),(642,1),(643,1),(878,1),(895,1),(921,1),(997,1),(1189,1),(1305,1),(1515,1)}
493:{1,2,4,6}:{(320,1),(339,1),(391,1),(395,1),(567,1),(629,1),(645,1),(685,1),(686,1),(881,1),(938,1),(956,1),(959,1),(961,1),(1232,1)}
494:{1,2,4}:{(323,1),(334,1),(389,1),(390,1),(647,1),(869,1)}
495:{1,2,4}:{(322,1),(336,1),(396,1),(397,1),(560,1),(648,1),(671,1),(679,1),(1541,1)}
496:{1,2,4,6}:{(324,1),(335,1),(392,1),(398,1),(560,1),(565,1),(646,1),(678,1),(680,1),(883,1),(891,1),(895,1),(897,1),(938,1),(953,1),(965,1),(966,1),(1174,1),(1175,1),(1184,1),(1211,1),(1458,1),(1560,1),(1667,1)}
497:{1,2,3}:{(326,1),(343,1),(391,1),(396,1),(562,1),(616,1),(1206,1),(1232,1)}
498:{1,2,3}:{(327,1),(344,1),(390,1),(395,1),(617,1),(1543,1)}
499:{1,2,3,6}:{(325,1),(345,1),(393,1),(398,1),(562,1),(618,1),(656,1),(901,1),(996,1),(1560,1)}
500:{2,4,5}:{(372,1),(574,1),(669,1),(907,1),(934,1),(1523,1),(1541,1),(1684,1)}
501:{4}:{(377,1)}
502:{4}:{(376,1)}
503:{2,4,5}:{(371,1),(568,1),(575,1),(666,1),(869,1),(906,1),(932,1),(1193,1),(1196,1),(1241,1)}
504:{3,4,5}:{(369,1),(568,1),(576,1),(665,1),(672,1),(905,1),(920,1)}
505:{4}:{(370,1)}
506:{2,3,4}:{(374,1),(570,1),(674,1),(922,1),(943,1),(1528,1),(1541,1),(1693,1)}
507:{3,4,5}:{(375,1),(662,1),(675,1),(1530,1)}
508:{2,3,4}:{(378,1),(569,1),(576,1),(676,1),(869,1),(921,1),(942,1),(1196,1),(1206,1),(1245,1)}
509:{4}:{(373,1)}
510:{2,3,6}:{(352,1),(360,1),(374,1),(943,1),(1189,1),(1535,1)}
511:{2,3,5,6}:{(358,1),(365,1),(377,1),(607,1),(612,1),(668,1),(682,1),(871,1),(915,1),(930,1),(1000,1),(1264,1)}
512:{2,3,6}:{(357,1),(363,1),(371,1),(666,1),(686,1),(1526,1)}
513:{2,3,5,6}:{(356,1),(367,1),(373,1),(608,1),(611,1),(667,1),(871,1),(914,1),(931,1),(944,1),(1247,1),(1260,1),(1264,1),(1266,1),(1460,1),(1526,1),(1535,1),(1667,1)}
514:{2,3,5,6}:{(353,1),(364,1),(375,1),(610,1),(662,1),(945,1),(1267,1),(1530,1)}
515:{2,3,5,6}:{(350,1),(359,1),(372,1),(609,1),(669,1),(681,1),(996,1),(1200,1),(1201,1),(1477,1),(1534,1),(1684,1),(1793,1)}
516:{2,3,6}:{(351,1),(366,1),(369,1),(665,1),(685,1)}
517:{2,3,6}:{(354,1),(361,1),(378,1),(687,1),(942,1),(1195,1),(1526,1)}
518:{2,3,6}:{(349,1),(362,1),(370,1),(661,1),(688,1),(997,1)}
519:{2,3,6}:{(355,1),(368,1),(376,1),(670,1)}
520:{1,4,6}:{(357,1),(386,1),(627,1),(636,1),(686,1),(912,1)}
521:{1,3,6}:{(355,1),(384,1),(619,1),(633,1),(864,1),(883,1),(1000,1)}
522:{1,3,5,6}:{(356,1),(382,1),(621,1),(628,1),(631,1),(864,1),(882,1),(883,1),(997,1),(1007,1),(1212,1),(1222,1),(1247,1),(1285,1),(1460,1)}
523:{1,6}:{(351,1),(379,1)}
524:{1,6}:{(349,1),(383,1)}
525:{1,4,5,6}:{(350,1),(385,1),(629,1),(634,1),(681,1),(913,1),(960,1),(1213,1),(1215,1),(1216,1),(1311,1),(1490,1),(1663,1)}
526:{1,4,6}:{(354,1),(387,1),(625,1),(635,1),(687,1),(963,1)}
527:{1,3,5,6}:{(353,1),(388,1),(632,1),(995,1),(1009,1)}
528:{1,3,4,6}:{(352,1),(381,1),(620,1),(626,1),(690,1),(958,1),(964,1),(1188,1),(1189,1),(1214,1),(1314,1),(1490,1),(1661,1)}
529:{1,5,6}:{(358,1),(380,1),(630,1),(633,1),(882,1),(883,1),(1010,1)}
530:{1,2,5}:{(377,1),(380,1),(398,1),(678,1)}
531:{1,2,5}:{(372,1),(385,1),(393,1),(934,1),(1213,1),(1560,1)}
532:{1,2,3,5}:{(376,1),(384,1),(397,1),(648,1),(654,1),(679,1),(683,1),(877,1),(925,1),(949,1),(1010,1),(1264,1)}
533:{1,2,5}:{(371,1),(386,1),(391,1),(686,1),(932,1),(1232,1),(1552,1)}
534:{1,2,5}:{(369,1),(379,1),(395,1),(672,1),(685,1)}
535:{1,2,3,5}:{(373,1),(382,1),(392,1),(646,1),(652,1),(680,1),(877,1),(923,1),(944,1),(947,1),(1264,1),(1266,1),(1285,1),(1305,1),(1460,1),(1552,1),(1560,1),(1667,1)}
536:{1,2,5}:{(378,1),(387,1),(390,1),(676,1),(687,1),(1552,1)}
537:{1,2,5}:{(370,1),(383,1),(396,1),(671,1),(688,1),(1007,1)}
538:{1,2,3,5}:{(374,1),(381,1),(389,1),(647,1),(674,1),(690,1),(1012,1),(1201,1),(1231,1),(1515,1),(1562,1),(1693,1),(1793,1)}
539:{1,2,3,5}:{(375,1),(388,1),(394,1),(653,1),(675,1),(945,1),(1293,1),(1530,1)}
540:{5,6}:{(399,1),(416,1),(417,1)}
541:{4,6}:{(400,1),(417,1),(418,1),(695,1),(704,1)}
542:{4,5}:{(399,1),(401,1),(694,1),(703,1),(821,1),(825,1),(1024,1),(1569,1)}
543:{4}:{(403,1),(705,1)}
544:{3,5}:{(400,1),(402,1),(695,1),(718,1)}
545:{3,4,6}:{(401,1),(402,1),(428,1),(429,1),(694,1),(695,1),(708,1),(719,1),(743,1),(745,1),(1016,1),(1024,1),(1326,1),(1336,1),(1569,1)}
546:{3,5,6}:{(403,1),(408,1),(435,1),(436,1),(696,1),(701,1),(752,1),(754,1),(1090,1),(1091,1),(1169,1),(1334,1)}
547:{3,6}:{(404,1),(409,1),(701,1)}
548:{3,4}:{(404,1),(410,1),(700,1),(713,1),(831,1),(835,1),(1025,1),(1569,1)}
549:{3,4,6}:{(407,1),(411,1),(441,1),(442,1),(693,1),(699,1),(740,1),(750,1),(751,1),(1023,1)}
550:{2,5}:{(400,1),(405,1),(704,1)}
551:{2,4,6}:{(401,1),(405,1),(450,1),(451,1),(703,1),(704,1),(708,1),(756,1),(757,1),(1016,1),(1024,1),(1441,1)}
552:{2,3,5}:{(399,1),(406,1),(692,1),(694,1),(699,1),(703,1),(726,1),(821,1),(825,1),(1033,1),(1037,1),(1098,1),(1168,1),(1169,1),(1328,1),(1400,1),(1441,1),(1447,1),(1584,1),(1591,1)}
553:{2,3}:{(402,1),(405,1),(727,1)}
554:{2,3,5}:{(403,1),(407,1),(413,1),(693,1),(699,1),(701,1),(705,1),(1037,1),(1043,1),(1169,1),(1441,1)}
555:{2,3,5}:{(404,1),(414,1),(698,1),(700,1),(701,1),(712,1),(713,1),(831,1),(835,1),(1027,1),(1043,1),(1112,1),(1164,1),(1169,1),(1336,1),(1400,1),(1441,1),(1449,1),(1588,1),(1602,1)}
556:{1,5}:{(399,1),(411,1),(699,1)}
557:{1,4,5}:{(400,1),(410,1),(467,1),(469,1),(700,1),(715,1),(718,1),(724,1),(731,1),(732,1),(1019,1),(1025,1),(1324,1),(1328,1),(1569,1)}
558:{1,4,5}:{(409,1),(413,1),(420,1),(421,1),(693,1),(701,1),(774,1),(782,1),(783,1),(1054,1)}
559:{1,4,6}:{(401,1),(410,1),(415,1),(693,1),(702,1),(716,1),(740,1),(741,1),(774,1),(775,1),(1023,1),(1054,1),(1082,1),(1330,1),(1357,1),(1386,1),(1389,1),(1395,1),(1423,1),(1425,1),(1569,1),(1649,1)}
560:{1,4}:{(402,1),(476,1),(477,1),(718,1),(727,1)}
561:{1,3,5}:{(403,1),(412,1),(474,1),(475,1),(699,1),(717,1),(752,1),(754,1),(1123,1),(1124,1),(1169,1),(1334,1)}
562:{1,3}:{(404,1),(476,1),(478,1)}
563:{1,2,5,6}:{(408,1),(413,1),(443,1),(444,1),(485,1),(486,1),(705,1),(711,1),(714,1),(794,1),(795,1),(1069,1),(1124,1),(1369,1),(1441,1),(1649,1)}
564:{1,2,4,6}:{(409,1),(414,1),(446,1),(448,1),(485,1),(487,1),(712,1),(715,1),(740,1),(741,1),(806,1),(807,1),(841,1),(848,1),(1057,1),(1104,1),(1106,1),(1341,1),(1376,1),(1386,1),(1441,1),(1604,1),(1649,1)}
565:{1,2,4}:{(405,1),(410,1),(488,1),(490,1),(713,1),(724,1),(727,1),(761,1),(762,1),(1019,1),(1025,1),(1441,1)}
566:{1,2,4,6}:{(406,1),(411,1),(491,1),(492,1),(494,1),(495,1),(719,1),(726,1),(774,1),(775,1),(801,1),(802,1),(841,1),(850,1),(1049,1),(1156,1),(1157,1),(1374,1),(1377,1),(1425,1),(1441,1),(1608,1),(1649,1)}
567:{1,2,3,6}:{(407,1),(412,1),(491,1),(493,1),(497,1),(498,1),(705,1),(721,1),(728,1),(770,1),(772,1),(1069,1),(1091,1),(1352,1),(1441,1),(1649,1)}
568:{4,5}:{(452,1),(693,1),(737,1),(1080,1),(1583,1)}
569:{4}:{(453,1)}
570:{4}:{(454,1)}
571:{4,5}:{(457,1),(502,1),(505,1),(735,1),(821,1),(825,1),(1025,1),(1328,1)}
572:{4,5}:{(456,1),(501,1),(509,1),(736,1),(1024,1),(1025,1),(1328,1),(1395,1),(1396,1),(1569,1)}
573:{2,3,4,5}:{(455,1),(506,1),(508,1),(692,1),(733,1),(734,1),(777,1),(823,1),(830,1),(1033,1),(1037,1),(1041,1),(1332,1),(1339,1),(1340,1),(1351,1),(1400,1),(1401,1),(1403,1),(1441,1),(1447,1),(1583,1),(1584,1),(1591,1),(1749,1),(1830,1)}
574:{4}:{(466,1)}
575:{4}:{(465,1)}
576:{3,4}:{(464,1),(693,1),(780,1),(1080,1),(1583,1)}
577:{3,5}:{(421,1),(429,1),(745,1),(782,1)}
578:{3,5}:{(420,1),(430,1),(783,1)}
579:{3,5}:{(419,1),(428,1),(743,1),(1336,1)}
580:{3,4,5,6}:{(423,1),(426,1),(432,1),(696,1),(737,1),(744,1),(754,1),(769,1),(787,1),(824,1),(1022,1),(1080,1),(1091,1),(1334,1),(1394,1),(1402,1),(1409,1),(1583,1)}
581:{3,4,5,6}:{(424,1),(427,1),(433,1),(691,1),(694,1),(738,1),(743,1),(753,1),(767,1),(785,1),(825,1),(828,1),(1024,1),(1026,1),(1028,1),(1032,1),(1078,1),(1085,1),(1089,1),(1164,1),(1168,1),(1318,1),(1328,1),(1330,1),(1336,1),(1389,2),(1390,1),(1395,1),(1568,1),(1569,1),(1582,1),(1584,1),(1585,1),(1735,1),(1830,1)}
582:{3,4,5,6}:{(422,1),(425,1),(431,1),(691,1),(694,1),(696,1),(739,1),(745,1),(752,1),(768,1),(786,1),(821,1),(829,1),(1022,1),(1023,1),(1024,1),(1026,1),(1028,1),(1030,1),(1032,1),(1079,1),(1082,1),(1084,1),(1090,1),(1163,1),(1169,1),(1318,1),(1328,1),(1330,1),(1334,1),(1336,1),(1386,1),(1389,1),(1390,1),(1396,1),(1400,1),(1407,1),(1568,1),(1569,1),(1582,1),(1583,1),(1584,1),(1735,1),(1830,1)}
583:{3,4}:{(458,1),(501,1),(505,1),(789,1),(831,1),(835,1),(1024,1),(1336,1)}
584:{3,4}:{(459,1),(502,1),(509,1),(790,1),(1024,1),(1025,1),(1336,1),(1395,1),(1396,1),(1569,1)}
585:{2,3,4,5}:{(460,1),(500,1),(503,1),(698,1),(744,1),(747,1),(788,1),(836,1),(838,1),(1027,1),(1042,1),(1043,1),(1329,1),(1340,1),(1343,1),(1348,1),(1392,1),(1394,1),(1400,1),(1441,1),(1449,1),(1583,1),(1588,1),(1602,1),(1754,1),(1830,1)}
586:{3,5}:{(440,1),(467,1),(732,1),(1328,1)}
587:{3,5}:{(442,1),(469,1),(731,1),(750,1)}
588:{3,5}:{(441,1),(468,1),(751,1)}
589:{3,4,6}:{(435,1),(439,1),(470,1),(754,1),(770,1),(1034,1),(1080,1),(1091,1)}
590:{3,4,6}:{(436,1),(438,1),(472,1),(740,1),(752,1),(772,1),(1082,1)}
591:{3,4,6}:{(434,1),(437,1),(471,1),(741,1),(753,1),(771,1)}
592:{2,4,5,6}:{(420,1),(444,1),(446,1),(737,1),(755,1),(766,1),(826,1)}
593:{1,2,4,5,6}:{(419,1),(445,1),(447,1),(691,1),(703,1),(738,1),(756,1),(764,1),(825,1),(829,1),(1024,1),(1035,1),(1036,1),(1049,1),(1052,1),(1063,1),(1064,1),(1067,1),(1101,1),(1120,1),(1121,1),(1125,1),(1133,1),(1135,1),(1143,1),(1145,1),(1149,1),(1157,1),(1318,1),(1323,1),(1324,1),(1328,1),(1330,1),(1355,1),(1356,1),(1374,1),(1386,1),(1388,1),(1389,1),(1395,1),(1396,1),(1434,1),(1441,1),(1447,1),(1569,1),(1581,1),(1591,1),(1592,1),(1603,1),(1604,1),(1614,1),(1616,1),(1618,1),(1619,1),(1648,1),(1649,1),(1740,1),(1746,1),(1747,1),(1764,1),(1830,1)}
594:{2,4,5,6}:{(421,1),(443,1),(448,1),(691,1),(703,1),(739,1),(757,1),(765,1),(821,1),(828,1),(1024,1),(1035,1),(1036,1),(1103,1),(1318,1),(1386,1),(1441,1)}
595:{2,5}:{(423,1),(449,1),(705,1)}
596:{2,5}:{(422,1),(450,1),(705,1),(757,1),(1441,1)}
597:{2,5}:{(424,1),(451,1),(756,1)}
598:{2,3,4,5}:{(461,1),(504,1),(507,1),(755,1),(760,1),(763,1),(798,1),(1080,1),(1100,1),(1110,1),(1583,1),(1596,1),(1633,1)}
599:{2,4}:{(463,1),(501,1),(502,1),(1024,1),(1025,1),(1395,1)}
600:{2,4}:{(462,1),(505,1),(509,1),(1024,1),(1025,1),(1082,1),(1396,1),(1441,2)}
601:{2,3,5,6}:{(418,1),(456,1),(695,1),(704,1),(736,1),(749,1),(800,1),(1017,1),(1026,1),(1035,1),(1046,1),(1087,1),(1106,1),(1328,1)}
602:{2,3,6}:{(416,1),(455,1),(751,1),(802,1)}
603:{2,3,6}:{(417,1),(457,1),(695,1),(704,1),(735,1),(750,1),(801,1),(1088,1),(1104,1)}
604:{2,3,5,6}:{(426,1),(444,1),(452,1),(512,1),(516,1),(737,1),(804,1),(824,1),(826,1),(1091,1)}
605:{2,3,5,6}:{(427,1),(445,1),(454,1),(510,1),(519,1),(738,1),(823,1),(825,1)}
606:{2,3,5,6}:{(425,1),(443,1),(453,1),(517,1),(518,1),(739,1),(803,1),(821,1),(830,1),(1090,1),(1169,1),(1441,1)}
607:{2,3,6}:{(429,1),(448,1),(458,1),(695,1),(748,1),(807,1),(1441,1),(1449,1)}
608:{2,3,6}:{(428,1),(447,1),(459,1),(695,1),(746,1),(1087,1),(1088,1),(1112,1),(1326,1),(1336,1),(1568,1)}
609:{2,3,6}:{(430,1),(446,1),(460,1),(806,1),(1043,1)}
610:{2,3,6}:{(432,1),(449,1),(461,1),(809,1)}
611:{2,3,6}:{(431,1),(450,1),(462,1),(704,1),(759,1),(810,1),(1104,1),(1441,1),(1449,1)}
612:{2,3,6}:{(433,1),(451,1),(463,1),(704,1),(758,1),(811,1),(1106,1)}
613:{2,3,6}:{(436,1),(465,1),(485,1),(740,1),(750,1),(1104,1)}
614:{2,3,5,6}:{(434,1),(466,1),(487,1),(712,1),(741,1),(749,1),(771,1),(1027,1),(1045,1),(1046,1),(1099,1),(1106,1),(1169,1),(1328,1),(1441,1)}
615:{2,3,6}:{(435,1),(464,1),(486,1),(742,1),(751,1),(1090,1),(1091,1),(1112,1)}
616:{2,3}:{(438,1),(488,1),(705,1),(761,1),(1441,1)}
617:{2,3}:{(439,1),(489,1),(705,1)}
618:{2,3}:{(437,1),(490,1),(762,1)}
619:{1,6}:{(417,1),(469,1),(750,1)}
620:{1,4,6}:{(416,1),(468,1),(714,1),(751,1),(802,1),(1023,1)}
621:{1,5,6}:{(418,1),(467,1),(715,1),(749,1),(1079,1),(1324,1),(1328,1)}
622:{1,4,5}:{(423,1),(470,1),(475,1),(754,1),(795,1),(1022,1),(1080,1),(1124,1)}
623:{1,4,5}:{(424,1),(471,1),(473,1),(753,1),(775,1),(796,1)}
624:{1,4,5}:{(422,1),(472,1),(474,1),(752,1),(774,1),(794,1),(1082,1)}
625:{1,5,6}:{(425,1),(474,1),(524,1),(526,1),(782,1),(1124,1),(1649,1)}
626:{1,3,5,6}:{(427,1),(473,1),(521,1),(528,1),(714,1),(784,1),(785,1),(1032,1),(1052,1),(1164,1),(1336,1),(1365,1),(1428,1),(1568,1),(1649,1),(1735,1),(1768,1)}
627:{1,5,6}:{(426,1),(475,1),(520,1),(523,1),(783,1),(1079,1),(1123,1)}
628:{1,3,6}:{(428,1),(477,1),(719,1),(784,1),(1137,1),(1326,1),(1336,1)}
629:{1,4,6}:{(430,1),(478,1),(721,1),(783,1),(806,1),(1054,1)}
630:{1,6}:{(429,1),(476,1),(782,1)}
631:{1,4,6}:{(431,1),(479,1),(522,1),(524,1),(810,1),(1389,1),(1423,1),(1569,1),(1649,1)}
632:{1,4,6}:{(432,1),(480,1),(523,1),(527,1),(809,1)}
633:{1,4,6}:{(433,1),(481,1),(521,1),(529,1),(811,1)}
634:{1,3,5,6}:{(434,1),(482,1),(525,1),(529,1),(721,1),(749,1),(791,1),(1058,1),(1059,1),(1168,1),(1328,1),(1358,1),(1406,1),(1572,1),(1649,1),(1735,1),(1764,1)}
635:{1,3,6}:{(435,1),(484,1),(523,1),(526,1),(751,1),(1090,1),(1137,1)}
636:{1,3,6}:{(436,1),(483,1),(520,1),(524,1),(750,1),(1091,1),(1649,1)}
637:{1,3,4,5}:{(438,1),(479,1),(483,1),(700,1),(717,1),(722,1),(731,1),(752,1),(779,1),(792,1),(819,1),(831,1),(832,1),(1025,1),(1030,1),(1034,1),(1054,1),(1055,1),(1058,1),(1061,1),(1082,1),(1096,1),(1123,1),(1137,1),(1163,1),(1169,1),(1319,1),(1328,1),(1334,1),(1336,1),(1357,1),(1396,1),(1400,1),(1421,1),(1422,1),(1423,1),(1425,1),(1569,1),(1572,1),(1583,1),(1588,1),(1590,1),(1735,1),(1830,1)}
638:{1,3,4,5}:{(437,1),(481,1),(482,1),(700,1),(722,1),(732,1),(753,1),(781,1),(791,1),(820,1),(835,1),(840,1),(1025,1),(1055,1),(1058,1),(1061,1),(1095,1),(1122,1),(1138,1),(1164,1),(1168,1),(1319,1),(1328,1),(1336,1),(1357,1),(1395,1),(1422,1),(1423,2),(1569,1),(1572,1),(1588,1),(1590,1),(1607,1),(1735,1),(1830,1)}
639:{1,3,4,5}:{(439,1),(480,1),(484,1),(717,1),(733,1),(754,1),(780,1),(793,1),(818,1),(839,1),(1034,1),(1080,1),(1124,1),(1334,1),(1393,1),(1401,1),(1420,1),(1583,1)}
640:{1,2,6}:{(450,1),(472,1),(488,1),(705,1),(772,1),(794,1),(1441,1),(1649,1)}
641:{1,2,4,6}:{(449,1),(470,1),(489,1),(705,1),(770,1),(795,1),(809,1),(1038,1),(1065,1),(1069,1),(1080,1)}
642:{1,2,6}:{(451,1),(471,1),(490,1),(771,1),(796,1)}
643:{1,2,3,5}:{(454,1),(473,1),(492,1),(726,1),(775,1),(784,1),(796,1),(1033,1),(1045,1),(1067,1),(1111,1),(1157,1),(1169,1),(1336,1),(1441,1)}
644:{1,2,5}:{(453,1),(474,1),(491,1),(774,1),(782,1),(1156,1)}
645:{1,2,5}:{(452,1),(475,1),(493,1),(773,1),(783,1),(1098,1),(1123,1),(1124,1)}
646:{1,2,5}:{(456,1),(467,1),(496,1),(718,1),(778,1),(1098,1),(1131,1),(1133,1),(1324,1),(1328,1),(1572,1)}
647:{1,2,5}:{(455,1),(468,1),(494,1),(802,1),(1037,1)}
648:{1,2,5}:{(457,1),(469,1),(495,1),(718,1),(776,1),(801,1),(1441,1),(1447,1)}
649:{1,2,5}:{(460,1),(478,1),(783,1),(806,1)}
650:{1,2,3,5}:{(459,1),(477,1),(718,1),(727,1),(784,1),(790,1),(808,1),(1020,1),(1061,1),(1067,1),(1076,1),(1133,1),(1157,1),(1336,1)}
651:{1,2,5}:{(458,1),(476,1),(718,1),(727,1),(782,1),(789,1),(807,1),(1131,1),(1156,1)}
652:{1,2,5}:{(462,1),(479,1),(488,1),(727,1),(797,1),(810,1),(1156,1),(1441,1),(1447,1)}
653:{1,2,5}:{(461,1),(480,1),(489,1),(809,1)}
654:{1,2,5}:{(463,1),(481,1),(490,1),(727,1),(799,1),(811,1),(1157,1)}
655:{1,2,3,5}:{(465,1),(483,1),(497,1),(533,1),(537,1),(779,1),(817,1),(831,1),(838,1),(1123,1),(1169,1),(1441,1)}
656:{1,2,3,5}:{(466,1),(482,1),(499,1),(530,1),(531,1),(781,1),(835,1),(836,1)}
657:{1,2,3,5}:{(464,1),(484,1),(498,1),(534,1),(536,1),(780,1),(816,1),(834,1),(839,1),(1124,1)}
658:{1,2,3,4}:{(442,1),(495,1),(497,1),(713,1),(722,1),(761,1),(779,1),(813,1),(831,1),(840,1),(1025,1),(1071,1),(1076,1),(1116,1),(1319,1),(1425,1),(1441,1)}
659:{1,2,3,4,6}:{(440,1),(496,1),(499,1),(713,1),(722,1),(762,1),(781,1),(812,1),(832,1),(835,1),(1025,1),(1044,1),(1046,1),(1057,1),(1059,1),(1071,1),(1075,1),(1076,1),(1087,1),(1092,1),(1106,1),(1114,1),(1115,1),(1118,1),(1128,1),(1140,1),(1142,1),(1154,1),(1319,1),(1326,1),(1327,1),(1336,1),(1337,1),(1357,1),(1362,1),(1376,1),(1395,1),(1396,1),(1417,1),(1423,1),(1425,1),(1426,1),(1441,1),(1449,1),(1569,1),(1589,1),(1592,1),(1602,1),(1608,1),(1612,1),(1614,1),(1616,1),(1618,1),(1627,1),(1648,1),(1649,1),(1737,1),(1738,1),(1745,1),(1768,1),(1830,1)}
660:{1,2,3,4}:{(441,1),(494,1),(498,1),(763,1),(780,1),(814,1),(834,1)}
661:{4,6}:{(505,1),(518,1),(821,1)}
662:{3,4,6}:{(507,1),(514,1),(845,1),(1080,1)}
663:{2,3,4,6}:{(506,1),(510,1),(738,1),(823,1),(844,1),(1089,1),(1737,1),(1830,1)}
664:{2,3,4,6}:{(508,1),(517,1),(739,1),(742,1),(830,1),(846,1),(1038,1),(1090,1),(1352,1),(1401,1),(1441,1),(1583,1)}
665:{3,4,6}:{(504,1),(516,1),(737,1),(824,1),(843,1),(1091,1)}
666:{2,4,6}:{(503,1),(512,1),(737,1),(740,1),(826,1),(1104,1),(1386,1)}
667:{4,6}:{(509,1),(513,1),(829,1),(1024,1),(1082,1),(1395,1),(1396,1),(1569,1)}
668:{4,6}:{(501,1),(511,1),(828,1),(1024,1),(1395,1)}
669:{2,4,6}:{(500,1),(515,1),(741,1),(1106,1),(1340,1),(1441,1),(1632,1),(1830,1)}
670:{4,6}:{(502,1),(519,1),(825,1)}
671:{1,4}:{(505,1),(537,1),(831,1)}
672:{1,4,5}:{(504,1),(534,1),(780,1),(839,1),(843,1),(1124,1)}
673:{1,2,4,5}:{(500,1),(531,1),(781,1),(836,1),(842,1),(1122,1),(1747,1),(1830,1)}
674:{1,2,4}:{(506,1),(538,1),(775,1),(1157,1),(1340,1),(1441,1),(1651,1),(1830,1)}
675:{1,4,5}:{(507,1),(539,1),(845,1),(1080,1)}
676:{1,2,4}:{(508,1),(536,1),(774,1),(780,1),(834,1),(1156,1),(1425,1)}
677:{1,2,4,5}:{(503,1),(533,1),(773,1),(779,1),(838,1),(849,1),(1065,1),(1123,1),(1369,1),(1394,1),(1441,1),(1583,1)}
678:{1,4}:{(501,1),(530,1),(835,1)}
679:{1,4}:{(502,1),(532,1),(840,1),(1025,1),(1395,1)}
680:{1,4}:{(509,1),(535,1),(832,1),(1025,1),(1082,1),(1395,1),(1396,1),(1569,1)}
681:{1,2,5,6}:{(515,1),(525,1),(531,1),(806,1),(842,1),(1106,1),(1375,1),(1376,1),(1447,1),(1614,1),(1747,1)}
682:{1,2,5,6}:{(511,1),(529,1),(530,1),(807,1),(811,1),(848,1),(1067,1),(1131,1),(1143,1)}
683:{1,2,3,6}:{(519,1),(521,1),(532,1),(801,1),(811,1),(850,1),(1046,1),(1088,1),(1114,1)}
684:{1,2,3,5,6}:{(513,1),(522,1),(535,1),(800,1),(808,1),(810,1),(847,1),(1046,1),(1067,1),(1087,1),(1115,1),(1133,1),(1145,1),(1163,1),(1323,1),(1327,1),(1328,1),(1336,1),(1349,1),(1363,1),(1380,1),(1568,1),(1572,1),(1614,1),(1649,1)}
685:{1,2,6}:{(516,1),(523,1),(534,1),(843,1)}
686:{1,2,6}:{(512,1),(520,1),(533,1),(1104,1),(1649,1)}
687:{1,2,6}:{(517,1),(526,1),(536,1),(1156,1),(1649,1)}
688:{1,2,6}:{(518,1),(524,1),(537,1),(841,1),(1441,1)}
689:{1,2,3,5,6}:{(514,1),(527,1),(539,1),(809,1),(845,1),(1113,1),(1144,1),(1165,1)}
690:{1,2,3,6}:{(510,1),(528,1),(538,1),(802,1),(844,1),(1157,1),(1345,1),(1374,1),(1449,1),(1614,1),(1737,1)}
691:{4,5,6}:{(540,1),(541,1),(542,1),(854,1),(857,1),(867,1),(902,1),(1172,1),(1181,1),(1465,1)}
692:{4,5}:{(552,1),(569,1),(570,1),(854,1),(1183,1),(1307,1)}
693:{4}:{(554,1)}
694:{3,5}:{(542,1),(545,1),(882,1),(1172,1)}
695:{3,6}:{(541,1),(544,1),(883,1)}
696:{3,4,6}:{(543,1),(546,1),(856,1),(860,1),(866,1),(873,1),(884,1),(1307,1),(1526,1)}
697:{3,4,5}:{(544,1),(571,1),(572,1),(583,1),(584,1),(853,1),(861,1),(885,1),(914,1),(915,1),(923,1),(925,1),(1182,1),(1192,1),(1307,1),(1311,1),(1314,1),(1472,1),(1475,1)}
698:{3,4}:{(555,1),(574,1),(575,1),(886,1),(1183,1),(1307,1)}
699:{3,5}:{(549,1),(556,1),(855,1),(906,1)}
700:{3,5}:{(548,1),(557,1),(864,1),(1178,1)}
701:{3,5}:{(547,1),(558,1),(860,1),(921,1)}
702:{3,4,6}:{(547,1),(548,1),(559,1),(860,1),(864,1),(865,1),(878,1),(921,1),(922,1),(997,1),(1000,1),(1183,1),(1184,1),(1189,1),(1245,1),(1307,1),(1314,1),(1476,1),(1526,1),(1681,1)}
703:{2,5}:{(542,1),(551,1),(1172,1),(1667,1)}
704:{2,6}:{(541,1),(550,1)}
705:{2}:{(543,1)}
706:{2,4,5}:{(550,1),(571,1),(572,1),(599,1),(600,1),(853,1),(870,1),(930,1),(931,1),(932,1),(934,1),(1182,1),(1241,1),(1540,1),(1541,1),(1667,1),(1684,1)}
707:{2,3,5,6}:{(540,1),(552,1),(602,1),(603,1),(854,1),(857,1),(863,1),(867,1),(894,1),(902,1),(1189,1),(1195,1),(1199,1),(1247,1),(1260,1),(1526,1),(1535,1)}
708:{2,3,6}:{(545,1),(551,1),(553,1),(871,1),(895,1),(942,1),(943,1),(1667,1)}
709:{2,3,5}:{(544,1),(550,1),(553,1),(852,1),(872,1),(896,1),(1172,1),(1178,1),(1460,1),(1667,1)}
710:{2,3,4}:{(553,1),(583,1),(584,1),(599,1),(600,1),(853,1),(897,1),(942,1),(943,1),(947,1),(949,1),(1192,1),(1245,1),(1540,1),(1541,1),(1667,1),(1693,1)}
711:{2,3,5,6}:{(546,1),(554,1),(563,1),(613,1),(615,1),(856,1),(863,1),(873,1),(905,1),(906,1),(944,1),(945,1),(1193,1),(1195,1),(1260,1),(1484,1),(1526,1)}
712:{2,3,6}:{(547,1),(555,1),(564,1),(862,1),(864,1),(997,1),(1000,1),(1526,1),(1681,1)}
713:{2,3}:{(548,1),(565,1),(1178,1),(1667,1)}
714:{1,5,6}:{(540,1),(556,1),(619,1),(620,1),(863,1)}
715:{1,4,6}:{(541,1),(557,1),(619,1),(621,1),(864,1),(883,1),(891,1),(912,1),(913,1),(1184,1)}
716:{1,4,5}:{(542,1),(556,1),(559,1),(855,1),(865,1),(882,1),(890,1),(906,1),(907,1),(1007,1),(1010,1),(1183,1),(1211,1),(1213,1),(1241,1),(1307,1),(1311,1),(1465,1),(1552,1),(1697,1)}
717:{1,4,5}:{(543,1),(561,1),(855,1),(866,1),(881,1),(884,1),(892,1),(1307,1),(1552,1)}
718:{1,5}:{(544,1),(560,1),(883,1)}
719:{1,4,6}:{(545,1),(560,1),(628,1),(630,1),(882,1),(883,1),(895,1),(963,1),(964,1),(1211,1)}
720:{1,3,5,6}:{(546,1),(561,1),(625,1),(627,1),(635,1),(636,1),(863,1),(884,1),(887,1)}
721:{1,3,6}:{(547,1),(562,1),(629,1),(630,1),(887,1)}
722:{1,3,4}:{(548,1),(560,1),(562,1),(886,1),(888,1),(901,1),(973,1),(1178,1),(1218,1),(1476,1)}
723:{1,2,4,5,6}:{(558,1),(563,1),(564,1),(592,1),(594,1),(856,1),(869,1),(876,1),(879,1),(890,1),(906,1),(907,1),(956,1),(957,1),(974,1),(976,1),(983,1),(984,1),(1007,1),(1011,1),(1013,1),(1183,1),(1193,1),(1195,1),(1209,1),(1211,1),(1213,1),(1217,1),(1225,1),(1226,1),(1228,1),(1232,1),(1241,1),(1258,1),(1260,1),(1294,1),(1307,1),(1312,1),(1453,1),(1465,1),(1466,1),(1467,1),(1477,1),(1478,1),(1479,1),(1480,1),(1489,1),(1501,1),(1503,1),(1504,1),(1505,1),(1507,1),(1535,1),(1536,1),(1541,1),(1549,1),(1550,1),(1552,1),(1560,1),(1663,1),(1666,1),(1667,1),(1676,1),(1684,1),(1697,1),(1704,1),(1707,1),(1708,1),(1720,1),(1805,1),(1814,1),(1827,1)}
724:{1,2,5}:{(550,1),(557,1),(565,1),(877,1),(891,1),(932,1),(934,1),(1667,1)}
725:{1,2,4,6}:{(551,1),(559,1),(565,1),(640,1),(642,1),(869,1),(878,1),(890,1),(891,1),(895,1),(938,1),(939,1),(974,1),(975,1),(1174,1),(1183,1),(1184,1),(1195,1),(1211,1),(1232,1),(1480,1),(1503,1),(1507,1),(1535,1),(1541,1),(1560,1),(1667,2)}
726:{1,2,5}:{(552,1),(556,1),(566,1),(880,1),(882,1),(1007,1),(1010,1),(1552,1),(1697,1)}
727:{1,2}:{(553,1),(560,1)}
728:{1,2,3,5}:{(554,1),(561,1),(567,1),(644,1),(645,1),(881,1),(887,1),(892,1),(920,1),(921,1),(944,1),(945,1),(1206,1),(1232,1),(1305,1),(1484,1),(1552,1)}
729:{1,2,3,5}:{(555,1),(562,1),(649,1),(651,1),(886,1),(887,1),(888,1),(900,1),(901,1),(973,1),(1213,1),(1232,1),(1233,1),(1285,1),(1305,1),(1552,1),(1560,1)}
730:{1,2,3,4,6}:{(549,1),(566,1),(567,1),(658,1),(660,1),(869,1),(878,1),(881,1),(889,1),(898,1),(921,1),(922,1),(938,1),(940,1),(959,1),(961,1),(990,1),(991,1),(997,1),(1003,1),(1004,1),(1183,1),(1184,1),(1189,1),(1191,1),(1195,1),(1206,1),(1210,1),(1228,1),(1232,1),(1234,1),(1238,1),(1245,1),(1273,1),(1303,1),(1305,1),(1307,1),(1313,1),(1458,1),(1471,1),(1476,1),(1480,1),(1483,1),(1486,1),(1492,1),(1496,1),(1503,1),(1507,1),(1511,1),(1513,1),(1515,1),(1517,1),(1526,1),(1535,1),(1541,1),(1543,1),(1558,1),(1559,1),(1560,1),(1661,1),(1666,1),(1667,1),(1681,1),(1692,1),(1693,1),(1696,1),(1708,1),(1710,1),(1732,1),(1805,1),(1807,1),(1827,1)}
731:{4,5}:{(575,1),(587,1),(906,1),(912,1),(932,1)}
732:{4,5}:{(574,1),(586,1),(913,1),(934,1),(1307,1)}
733:{3,4,5}:{(576,1),(588,1),(855,1),(905,1),(911,1),(933,1),(952,1),(1240,1)}
734:{2,3,4,6}:{(573,1),(602,1),(854,1),(903,1),(911,1),(954,1),(1189,1),(1195,1),(1199,1),(1469,1),(1471,1),(1478,1),(1480,1),(1486,1),(1526,1),(1535,1),(1676,1)}
735:{4,6}:{(571,1),(603,1),(902,1)}
736:{4,6}:{(572,1),(601,1)}
737:{4,6}:{(568,1),(604,1)}
738:{4,6}:{(570,1),(605,1),(909,1)}
739:{4,6}:{(569,1),(606,1),(910,1),(1307,1)}
740:{4,6}:{(575,1),(613,1),(906,1)}
741:{4,6}:{(574,1),(614,1),(907,1),(1183,1),(1307,1)}
742:{3,4,6}:{(576,1),(615,1),(856,1),(905,1),(961,1),(1245,1),(1526,1)}
743:{3,4}:{(570,1),(579,1),(943,1),(964,1),(1307,1)}
744:{3,4,5}:{(568,1),(578,1),(860,1),(919,1),(920,1),(941,1),(962,1),(1244,1)}
745:{3,4}:{(569,1),(577,1),(921,1),(942,1),(963,1)}
746:{3,4,6}:{(584,1),(608,1),(667,1),(670,1),(914,1),(966,1),(1184,1),(1245,1),(1526,1)}
747:{2,3,4,6}:{(585,1),(609,1),(666,1),(669,1),(862,1),(916,1),(919,1),(967,1),(996,1),(1002,1),(1200,1),(1306,1),(1312,1),(1466,1),(1526,1),(1681,1)}
748:{3,4,6}:{(583,1),(607,1),(661,1),(668,1),(915,1),(965,1),(997,1),(1000,1),(1307,1),(1314,1)}
749:{3,5,6}:{(586,1),(621,1),(864,1),(913,1),(1460,1)}
750:{3,6}:{(587,1),(619,1),(912,1)}
751:{3,6}:{(588,1),(620,1)}
752:{3,5}:{(590,1),(624,1),(906,1),(921,1)}
753:{3,4,5}:{(591,1),(623,1),(865,1),(907,1),(922,1),(946,1),(1183,1),(1307,1)}
754:{3,5}:{(589,1),(622,1)}
755:{2,4,5}:{(568,1),(595,1),(869,1),(935,1),(941,1),(1193,1),(1536,1)}
756:{2,4}:{(570,1),(597,1),(943,1)}
757:{2,4}:{(569,1),(596,1),(942,1)}
758:{2,4,6}:{(599,1),(612,1),(668,1),(670,1),(930,1),(1184,1)}
759:{2,4,6}:{(600,1),(611,1),(661,1),(667,1),(931,1),(1184,1),(1535,1),(1541,1),(1667,1)}
760:{2,3,4,6}:{(598,1),(610,1),(662,1),(665,1),(929,1),(935,1),(977,1),(1267,1),(1529,1),(1544,1)}
761:{2,4}:{(575,1),(616,1),(932,1)}
762:{2,4}:{(574,1),(618,1),(934,1)}
763:{2,3,4}:{(576,1),(617,1),(869,1),(933,1),(981,1),(1206,1),(1543,1)}
764:{2,3,5,6}:{(579,1),(593,1),(608,1),(857,1),(871,1),(914,1),(918,1),(943,1),(1189,1),(1199,1),(1205,1),(1246,1),(1247,1),(1253,1),(1263,1),(1264,1),(1266,1),(1268,1),(1460,1),(1474,1),(1475,1),(1525,1),(1526,1),(1534,1),(1535,1),(1667,1),(1677,1),(1680,1),(1681,1),(1692,1),(1693,1),(1793,1)}
765:{2,3,5,6}:{(577,1),(594,1),(607,1),(857,1),(871,1),(915,1),(917,1),(942,1),(983,1),(1199,1),(1261,1),(1526,1)}
766:{2,3,5,6}:{(578,1),(592,1),(609,1),(919,1),(941,1),(984,1)}
767:{2,3,5,6}:{(581,1),(597,1),(612,1),(867,1),(871,1),(930,1),(936,1),(943,1),(946,1),(986,1),(1199,1),(1258,1),(1263,1),(1264,1),(1268,1),(1525,1),(1534,1),(1535,2),(1667,1),(1684,1),(1793,1)}
768:{2,3,5,6}:{(582,1),(596,1),(611,1),(867,1),(871,1),(873,1),(931,1),(937,1),(942,1),(944,1),(988,1),(1193,1),(1195,1),(1199,1),(1201,1),(1260,1),(1261,1),(1266,1),(1269,1),(1484,1),(1526,1),(1534,1),(1535,1),(1667,1),(1684,1),(1793,1)}
769:{2,3,5,6}:{(580,1),(595,1),(610,1),(873,1),(935,1),(941,1),(945,1),(987,1),(1193,1),(1267,1),(1484,1),(1536,1),(1544,1)}
770:{2,3,6}:{(589,1),(617,1),(641,1),(945,1),(1206,1)}
771:{2,3,6}:{(591,1),(618,1),(642,1),(939,1),(946,1)}
772:{2,3,6}:{(590,1),(616,1),(640,1),(938,1),(944,1),(1526,1)}
773:{1,4,5}:{(568,1),(645,1),(881,1),(920,1),(956,1),(1241,1),(1552,1)}
774:{1,4}:{(569,1),(644,1),(921,1)}
775:{1,4}:{(570,1),(643,1),(922,1),(1183,1),(1307,1)}
776:{1,4,5}:{(571,1),(648,1),(671,1),(679,1),(925,1),(955,1),(1007,1),(1010,1),(1307,1),(1311,1)}
777:{1,2,4,5}:{(573,1),(647,1),(674,1),(676,1),(880,1),(924,1),(952,1),(954,1),(1008,1),(1012,1),(1231,1),(1309,1),(1313,1),(1496,1),(1552,1),(1697,1)}
778:{1,4,5}:{(572,1),(646,1),(678,1),(680,1),(923,1),(953,1),(1211,1),(1241,1),(1552,1)}
779:{1,4}:{(575,1),(655,1),(928,1),(1307,1)}
780:{1,4}:{(576,1),(657,1)}
781:{1,4}:{(574,1),(656,1),(926,1)}
782:{1,5}:{(577,1),(630,1),(963,1)}
783:{1,5}:{(578,1),(629,1)}
784:{1,3,5}:{(579,1),(628,1),(882,1),(964,1),(1460,1)}
785:{1,4,5,6}:{(581,1),(623,1),(626,1),(633,1),(882,1),(958,1),(964,1),(986,1),(1010,1),(1013,1),(1211,1),(1212,1),(1214,1),(1282,1),(1453,1),(1490,1),(1663,1),(1697,1),(1698,1)}
786:{1,4,5,6}:{(582,1),(624,1),(625,1),(631,1),(882,1),(884,1),(957,1),(963,1),(970,1),(988,1),(1006,1),(1007,1),(1209,1),(1211,1),(1212,1),(1214,1),(1215,1),(1280,1),(1283,1),(1307,1),(1453,1),(1490,1),(1518,1),(1552,1),(1663,1),(1697,1)}
787:{1,4,5,6}:{(580,1),(622,1),(627,1),(632,1),(884,1),(956,1),(962,1),(968,1),(987,1),(1009,1),(1180,1),(1209,1),(1279,1),(1308,1)}
788:{1,2,4,5}:{(585,1),(649,1),(886,1),(962,1),(967,1),(972,1),(1213,1),(1232,1),(1233,1),(1489,1),(1491,1),(1503,1),(1505,1),(1511,1),(1552,1),(1560,1),(1696,1)}
789:{1,4}:{(583,1),(651,1),(973,1)}
790:{1,4}:{(584,1),(650,1)}
791:{1,3,4,6}:{(591,1),(633,1),(634,1),(638,1),(864,1),(913,1),(960,1),(994,1),(1000,1),(1003,1),(1184,1),(1216,1),(1222,1),(1257,1),(1458,1),(1490,1),(1661,1),(1681,1),(1698,1)}
792:{1,3,4,6}:{(590,1),(631,1),(636,1),(637,1),(864,1),(884,1),(912,1),(959,1),(970,1),(993,1),(997,1),(1001,1),(1184,1),(1188,1),(1191,1),(1216,1),(1222,1),(1256,1),(1280,1),(1307,1),(1458,1),(1490,1),(1526,1),(1556,1),(1661,1),(1681,1)}
793:{1,3,4,6}:{(589,1),(632,1),(635,1),(639,1),(884,1),(911,1),(961,1),(968,1),(992,1),(995,1),(1191,1),(1221,1),(1279,1),(1308,1)}
794:{1,2,5}:{(596,1),(624,1),(640,1),(944,1),(974,1),(1552,1)}
795:{1,2,5}:{(595,1),(622,1),(641,1),(945,1),(1193,1)}
796:{1,2,5}:{(597,1),(623,1),(642,1),(946,1),(975,1)}
797:{1,2,4}:{(600,1),(652,1),(671,1),(680,1),(947,1),(1211,1),(1541,1),(1560,1),(1667,1)}
798:{1,2,4,5}:{(598,1),(653,1),(672,1),(675,1),(948,1),(977,1),(981,1),(1293,1),(1522,1),(1538,1)}
799:{1,2,4}:{(599,1),(654,1),(678,1),(679,1),(949,1),(1211,1)}
800:{1,2,5,6}:{(601,1),(621,1),(646,1),(883,1),(891,1),(953,1),(1175,1),(1212,1),(1260,1)}
801:{1,2,6}:{(603,1),(619,1),(648,1),(883,1),(955,1),(1535,1)}
802:{1,2,6}:{(602,1),(620,1),(647,1),(1195,1)}
803:{1,2,5,6}:{(606,1),(625,1),(644,1),(687,1),(688,1),(957,1),(1007,1),(1008,1)}
804:{1,2,5,6}:{(604,1),(627,1),(645,1),(685,1),(686,1),(956,1),(1009,1),(1260,1)}
805:{1,2,3,5,6}:{(605,1),(626,1),(643,1),(683,1),(690,1),(894,1),(958,1),(986,1),(1010,1),(1012,1),(1189,1),(1204,1),(1247,1),(1253,1),(1264,1),(1268,1),(1513,1),(1535,1),(1565,1),(1697,1),(1793,1)}
806:{1,2,6}:{(609,1),(629,1),(649,1),(1232,1)}
807:{1,2,6}:{(607,1),(630,1),(651,1),(883,1),(965,1),(1560,1)}
808:{1,2,3,6}:{(608,1),(628,1),(650,1),(883,1),(895,1),(966,1),(1175,1),(1222,1),(1305,1)}
809:{1,2,6}:{(610,1),(632,1),(653,1)}
810:{1,2,6}:{(611,1),(631,1),(652,1),(1535,1),(1560,1),(1667,1)}
811:{1,2,6}:{(612,1),(633,1),(654,1)}
812:{1,2,3,5}:{(586,1),(646,1),(659,1),(877,1),(888,1),(923,1),(934,1),(950,1),(1198,1),(1213,1),(1233,1),(1249,1),(1264,1),(1266,1),(1271,1),(1285,1),(1286,1),(1292,1),(1460,1),(1472,1),(1494,1),(1551,1),(1552,1),(1560,1),(1562,1),(1667,1),(1680,1),(1684,1),(1697,1),(1700,1),(1704,1),(1793,1)}
813:{1,2,3,5}:{(587,1),(648,1),(658,1),(877,1),(888,1),(925,1),(932,1),(951,1),(990,1),(1233,1),(1270,1),(1552,1)}
814:{1,2,3,5}:{(588,1),(647,1),(660,1),(933,1),(952,1),(991,1)}
815:{1,2,3,5,6}:{(614,1),(634,1),(656,1),(681,1),(682,1),(900,1),(960,1),(994,1),(996,1),(1000,1),(1213,1),(1235,1),(1249,1),(1264,1),(1285,1),(1292,1),(1504,1),(1546,1),(1560,1),(1681,1),(1793,1)}
816:{1,2,3,6}:{(615,1),(635,1),(657,1),(685,1),(687,1),(961,1),(995,1),(1305,1)}
817:{1,2,3,6}:{(613,1),(636,1),(655,1),(686,1),(688,1),(959,1),(997,1),(1002,1)}
818:{1,2,3,5}:{(617,1),(639,1),(653,1),(892,1),(933,1),(945,1),(981,1),(992,1),(1206,1),(1293,1),(1484,1),(1538,1),(1543,1)}
819:{1,2,3,5}:{(616,1),(637,1),(652,1),(877,1),(892,1),(901,1),(932,1),(944,1),(947,1),(980,1),(993,1),(1201,1),(1206,1),(1232,1),(1233,1),(1266,1),(1270,1),(1291,1),(1305,1),(1484,1),(1552,1),(1560,1),(1562,1),(1667,1),(1693,1),(1793,1)}
820:{1,2,3,5}:{(618,1),(638,1),(654,1),(877,1),(901,1),(934,1),(946,1),(949,1),(982,1),(994,1),(1233,1),(1264,1),(1271,1),(1292,1),(1303,1),(1551,1),(1560,2),(1562,1),(1667,1),(1693,1),(1793,1)}
821:{5}:{(661,1)}
822:{3,4,5,6}:{(662,1),(929,1),(1014,1),(1240,1),(1524,1),(1529,1),(1530,1)}
823:{2,3,5}:{(663,1),(909,1),(1012,1),(1253,1)}
824:{3,5,6}:{(665,1),(905,1),(908,1),(1009,1),(1526,1)}
825:{5}:{(670,1)}
826:{2,5,6}:{(666,1),(906,1),(908,1),(1193,1)}
827:{2,4,5,6}:{(669,1),(907,1),(916,1),(1258,1),(1312,1),(1466,1),(1477,1),(1479,1),(1536,1),(1675,1),(1684,1),(1720,1)}
828:{4,5}:{(668,1),(915,1),(930,1),(1307,1)}
829:{4,5}:{(667,1),(914,1),(931,1)}
830:{2,3,5}:{(664,1),(905,1),(910,1),(1008,1),(1193,1),(1254,1)}
831:{3}:{(671,1)}
832:{3,4}:{(680,1),(923,1),(947,1)}
833:{1,3,4,5}:{(675,1),(948,1),(999,1),(1244,1),(1522,1),(1530,1),(1553,1)}
834:{1,2,3}:{(676,1),(921,1),(927,1),(1206,1)}
835:{3}:{(678,1)}
836:{2,3,5}:{(673,1),(926,1),(996,1),(1249,1)}
837:{1,2,3,4}:{(674,1),(922,1),(924,1),(1303,1),(1313,1),(1483,1),(1496,1),(1515,1),(1543,1),(1693,1),(1703,1),(1732,1)}
838:{2,3,5}:{(677,1),(920,1),(928,1),(1002,1),(1206,1),(1251,1)}
839:{1,3,5}:{(672,1),(920,1),(927,1),(995,1),(1552,1)}
840:{3,4}:{(679,1),(925,1),(949,1),(1307,1)}
841:{1,4,6}:{(661,1),(671,1),(688,1),(997,1),(1007,1),(1307,1)}
842:{1,2,4,6}:{(669,1),(673,1),(681,1),(960,1),(996,1),(1503,1),(1541,1),(1560,1)}
843:{1,4,6}:{(665,1),(672,1),(685,1),(995,1),(1009,1)}
844:{1,2,4,6}:{(663,1),(674,1),(690,1),(958,1),(1012,1),(1480,1),(1535,1),(1541,1)}
845:{1,4,6}:{(662,1),(675,1),(689,1)}
846:{1,2,4,6}:{(664,1),(676,1),(687,1),(957,1),(961,1),(1004,1),(1008,1),(1313,1)}
847:{1,4,6}:{(667,1),(680,1),(684,1),(1001,1),(1006,1),(1184,1),(1211,1),(1467,1),(1492,1)}
848:{1,4,6}:{(668,1),(678,1),(682,1),(1000,1),(1013,1),(1211,1)}
849:{1,2,4,6}:{(666,1),(677,1),(686,1),(956,1),(959,1),(1002,1),(1011,1),(1312,1)}
850:{1,4,6}:{(670,1),(679,1),(683,1),(1003,1),(1010,1),(1184,1)}
851:{2,3,4,5}:{(697,1),(706,1),(709,1),(710,1),(1015,1),(1018,1),(1024,1),(1025,1),(1039,1),(1041,1),(1042,1),(1048,1),(1316,1),(1320,1),(1328,1),(1329,1),(1332,1),(1336,1),(1340,1),(1395,1),(1396,1),(1399,1),(1400,1),(1441,1),(1447,1),(1448,1),(1449,1),(1566,1),(1569,1),(1573,1),(1582,1),(1584,1),(1588,1),(1590,1),(1591,1),(1602,1),(1736,1),(1738,1),(1746,1),(1760,1),(1830,1),(1831,1)}
852:{4}:{(709,1)}
853:{2,3,5}:{(697,1),(706,1),(710,1),(1017,1),(1020,1),(1400,1),(1441,1),(1447,1),(1449,1)}
854:{4,6}:{(692,1),(707,1)}
855:{4,5}:{(693,1),(699,1),(1023,1),(1037,1)}
856:{4,6}:{(693,1),(711,1),(1022,1),(1080,1),(1082,1),(1583,1)}
857:{3,5,6}:{(691,1),(694,1),(695,1),(1028,1),(1052,1),(1584,1)}
858:{3,4,5}:{(692,1),(694,1),(743,1),(745,1),(1024,1),(1028,1),(1033,1),(1041,1),(1053,1),(1316,1),(1332,1),(1336,1),(1400,1),(1566,1),(1569,1),(1584,1)}
859:{3,4,5}:{(698,1),(700,1),(731,1),(732,1),(1025,1),(1027,1),(1029,1),(1042,1),(1055,1),(1320,1),(1328,1),(1329,1),(1400,1),(1569,1),(1573,1),(1588,1)}
860:{3,4}:{(693,1),(701,1),(1043,1),(1054,1)}
861:{3,4,6}:{(695,1),(697,1),(735,1),(736,1),(1017,1),(1026,1),(1056,1),(1087,1),(1088,1),(1318,1),(1389,1),(1568,1)}
862:{3,4,6}:{(698,1),(712,1),(740,1),(741,1),(1027,1),(1057,1)}
863:{3,5,6}:{(699,1),(714,1),(750,1),(751,1),(1023,1),(1079,1)}
864:{3,6}:{(700,1),(715,1)}
865:{3,5}:{(702,1),(716,1),(1328,1),(1336,1)}
866:{3,4,5}:{(696,1),(717,1),(752,1),(754,1),(1022,1),(1034,1),(1047,1),(1080,1),(1082,1),(1334,1),(1400,1),(1583,1)}
867:{2,5,6}:{(691,1),(703,1),(704,1),(1036,1),(1591,1)}
868:{2,4,5}:{(692,1),(703,1),(756,1),(757,1),(1024,1),(1036,1),(1037,1),(1041,1),(1316,1),(1340,1),(1441,1),(1447,1),(1591,1)}
869:{2,4}:{(693,1),(705,1),(1037,1),(1043,1),(1441,1)}
870:{2,4,6}:{(704,1),(706,1),(735,1),(736,1),(1017,1),(1035,1),(1104,1),(1106,1),(1318,1),(1386,1)}
871:{2,3,5}:{(694,1),(703,1),(708,1),(1024,1),(1067,1),(1336,1)}
872:{2,3,6}:{(695,1),(704,1),(709,1),(1016,1),(1068,1),(1326,1)}
873:{2,3,6}:{(696,1),(705,1),(1038,1),(1043,1),(1047,1),(1069,1),(1441,1)}
874:{2,3,4,6}:{(708,1),(710,1),(746,1),(748,1),(758,1),(759,1),(1017,1),(1024,1),(1039,1),(1070,1),(1114,1),(1115,1),(1318,1),(1336,1),(1337,1),(1395,1),(1396,1),(1441,1),(1449,1),(1568,1),(1590,1),(1592,1),(1737,1),(1830,1)}
875:{2,3,4}:{(698,1),(713,1),(761,1),(762,1),(1025,1),(1042,1),(1043,1),(1071,1),(1320,1),(1340,1),(1441,1),(1449,1),(1602,1)}
876:{2,3,5,6}:{(701,1),(712,1),(723,1),(1027,1),(1031,1),(1032,1),(1043,1),(1045,1),(1090,1),(1091,1),(1110,1),(1112,1),(1164,1),(1169,1),(1334,1),(1336,1),(1343,1),(1345,1),(1350,1),(1352,1),(1400,1),(1415,1),(1441,1),(1449,1),(1568,1),(1584,1),(1588,1),(1594,1),(1602,1),(1636,1),(1638,1),(1735,1),(1737,1),(1760,1),(1762,1),(1783,1),(1843,1)}
877:{2,3,5}:{(700,1),(713,1),(724,1),(1025,1),(1046,1),(1328,1)}
878:{2,3,6}:{(702,1),(713,1),(725,1),(1043,1),(1045,1),(1111,1),(1112,1),(1326,1),(1336,1),(1441,1),(1449,1),(1602,1)}
879:{1,4,5,6}:{(691,1),(714,1),(715,1),(716,1),(1023,1),(1032,1),(1049,1),(1052,1),(1063,1),(1078,1),(1079,1),(1120,1),(1324,1),(1328,1),(1330,1),(1355,1),(1358,1),(1361,1),(1386,1),(1389,1),(1569,1),(1603,1),(1604,1),(1649,1)}
880:{1,4,5}:{(692,1),(726,1),(774,1),(775,1),(1033,1),(1049,1)}
881:{1,4}:{(693,1),(728,1),(1034,1),(1080,1),(1082,1),(1583,1)}
882:{1,5}:{(694,1),(719,1)}
883:{1,6}:{(695,1),(718,1)}
884:{1,4,6}:{(696,1),(717,1),(720,1),(1023,1),(1054,1),(1069,1),(1649,1)}
885:{1,4,5}:{(697,1),(718,1),(789,1),(790,1),(1020,1),(1056,1),(1061,1),(1131,1),(1133,1),(1319,1),(1423,1),(1572,1)}
886:{1,4}:{(698,1),(729,1)}
887:{1,3,5}:{(701,1),(721,1),(782,1),(783,1),(1054,1),(1137,1)}
888:{1,3,5}:{(700,1),(718,1),(722,1),(1055,1),(1059,1),(1588,1)}
889:{1,3,4,6}:{(702,1),(719,1),(721,1),(722,1),(1054,1),(1057,1),(1058,1),(1059,1),(1075,1),(1137,1),(1138,1),(1140,1),(1326,1),(1336,1),(1357,1),(1361,1),(1362,1),(1365,1),(1423,1),(1425,1),(1569,1),(1589,1),(1608,1),(1649,1)}
890:{1,2,5}:{(703,1),(716,1),(725,1),(1037,1),(1045,1),(1098,1),(1099,1),(1324,1),(1328,1),(1441,1),(1447,1),(1591,1)}
891:{1,2,6}:{(704,1),(715,1),(724,1),(1046,1),(1104,1),(1106,1)}
892:{1,2,5}:{(705,1),(717,1),(1037,1),(1047,1),(1065,1),(1069,1),(1441,1)}
893:{1,2,4,5}:{(706,1),(724,1),(776,1),(778,1),(797,1),(799,1),(1020,1),(1025,1),(1048,1),(1066,1),(1143,1),(1145,1),(1319,1),(1328,1),(1356,1),(1395,1),(1396,1),(1441,1),(1447,1),(1572,1),(1582,1),(1616,1),(1747,1),(1830,1)}
894:{1,2,5,6}:{(707,1),(714,1),(726,1),(801,1),(802,1),(1049,1),(1052,1),(1120,1),(1374,1),(1649,1)}
895:{1,2,6}:{(708,1),(719,1),(727,1),(1067,1),(1156,1),(1157,1)}
896:{1,2,5}:{(709,1),(718,1),(727,1),(1019,1),(1068,1),(1324,1)}
897:{1,2,4}:{(710,1),(727,1),(789,1),(790,1),(1020,1),(1076,1),(1156,1),(1157,1),(1319,1),(1425,1)}
898:{1,2,3,5}:{(699,1),(726,1),(730,1),(1033,1),(1037,1),(1045,1),(1050,1),(1058,1),(1098,1),(1100,1),(1123,1),(1124,1),(1168,1),(1169,1),(1328,1),(1334,1),(1351,1),(1369,1),(1373,1),(1375,1),(1400,1),(1412,1),(1441,1),(1447,1),(1572,1),(1584,1),(1588,1),(1591,1),(1620,1),(1654,1),(1656,1),(1735,1),(1747,1),(1760,1),(1773,1),(1789,1),(1843,1)}
899:{1,2,3,5,6}:{(711,1),(720,1),(728,1),(803,1),(804,1),(816,1),(817,1),(1051,1),(1069,1),(1090,1),(1091,1),(1123,1),(1124,1),(1161,1),(1162,1),(1167,1),(1169,1),(1334,1),(1352,1),(1369,1),(1441,1),(1442,1),(1649,1)}
900:{1,2,3,6}:{(712,1),(721,1),(729,1),(806,1),(807,1),(1057,1),(1059,1),(1140,1),(1376,1),(1649,1)}
901:{1,2,3}:{(713,1),(722,1),(727,1),(1071,1),(1602,1)}
902:{5,6}:{(735,1),(821,1),(825,1),(1328,1)}
903:{2,3,5,6}:{(734,1),(823,1),(830,1),(1021,1),(1077,1),(1119,1),(1333,1),(1338,1),(1584,1),(1591,1)}
904:{4,5,6}:{(736,1),(828,1),(829,1),(1026,1),(1035,1),(1318,1),(1328,1),(1386,1),(1389,1),(1582,1)}
905:{3,5}:{(742,1),(1022,1),(1124,1)}
906:{5}:{(740,1)}
907:{4,5}:{(741,1),(1027,1),(1099,1),(1328,1)}
908:{4,5,6}:{(737,1),(824,1),(826,1),(1022,1),(1386,1)}
909:{4,5}:{(738,1),(823,1),(825,1),(1830,1)}
910:{4,5}:{(739,1),(821,1),(830,1),(1583,1)}
911:{3,4,6}:{(733,1),(751,1),(1023,1),(1077,1),(1105,1),(1129,1),(1387,1)}
912:{4,6}:{(731,1),(750,1),(1079,1),(1104,1)}
913:{4,6}:{(732,1),(749,1),(1106,1),(1569,1)}
914:{3,5}:{(746,1),(825,1),(829,1),(1133,1),(1328,1)}
915:{3,5}:{(748,1),(821,1),(828,1),(1131,1)}
916:{2,3,5,6}:{(747,1),(826,1),(827,1),(1027,1),(1083,1),(1132,1),(1343,1),(1783,1)}
917:{3,4,6}:{(739,1),(745,1),(765,1),(1024,1),(1084,1),(1090,1),(1134,1),(1318,1),(1336,1),(1568,1)}
918:{3,4,6}:{(738,1),(743,1),(764,1),(1024,1),(1085,1),(1135,1),(1318,1),(1330,1),(1332,1),(1336,1),(1389,1),(1395,1),(1396,1),(1568,1),(1569,1),(1590,1),(1740,1),(1830,1)}
919:{3,4,6}:{(737,1),(744,1),(766,1),(1091,1),(1136,1)}
920:{3,5}:{(773,1),(1034,1),(1091,1)}
921:{3}:{(774,1)}
922:{3,4}:{(775,1),(1033,1),(1111,1),(1336,1)}
923:{3,5}:{(778,1),(832,1),(835,1),(1087,1),(1336,1)}
924:{1,2,3,5}:{(777,1),(834,1),(837,1),(1033,1),(1086,1),(1097,1),(1351,1),(1789,1)}
925:{3,5}:{(776,1),(831,1),(840,1),(1088,1)}
926:{3,4}:{(781,1),(835,1),(836,1),(1830,1)}
927:{1,3,4}:{(780,1),(834,1),(839,1),(1034,1),(1425,1)}
928:{3,4}:{(779,1),(831,1),(838,1),(1583,1)}
929:{2,3,5,6}:{(760,1),(822,1),(824,1),(1100,1),(1102,1),(1144,1),(1594,1)}
930:{2,5}:{(758,1),(825,1),(828,1),(1328,1),(1441,1)}
931:{2,5}:{(759,1),(821,1),(829,1),(1328,1)}
932:{2,5}:{(731,1),(761,1),(1104,1)}
933:{2,3,5}:{(733,1),(763,1),(1037,1),(1105,1),(1148,1)}
934:{2,5}:{(732,1),(762,1),(1106,1),(1441,1)}
935:{2,4,6}:{(737,1),(755,1),(769,1),(1080,1),(1583,1)}
936:{2,4,6}:{(738,1),(756,1),(767,1),(1024,1),(1081,1),(1101,1),(1318,1),(1330,1),(1395,1),(1830,1)}
937:{2,4,6}:{(739,1),(757,1),(768,1),(1024,1),(1082,1),(1103,1),(1318,1),(1330,1),(1340,1),(1386,1),(1396,1),(1441,1),(1583,1),(1830,1)}
938:{2,4,6}:{(740,1),(761,1),(772,1),(1082,1),(1098,1),(1104,1),(1386,1)}
939:{2,4,6}:{(741,1),(762,1),(771,1),(1081,1),(1099,1),(1106,1),(1441,1)}
940:{2,3,4,6}:{(742,1),(763,1),(770,1),(1038,1),(1080,1),(1100,1),(1105,1),(1153,1),(1348,1),(1352,1),(1387,1),(1409,1),(1583,1),(1594,1)}
941:{2,3,5}:{(744,1),(755,1),(1043,1),(1108,1),(1155,1)}
942:{2,3}:{(745,1),(757,1),(1156,1)}
943:{2,3}:{(743,1),(756,1),(1157,1),(1441,1)}
944:{2,3,5}:{(752,1),(772,1),(794,1),(1082,1),(1098,1),(1112,1),(1400,1)}
945:{2,3,5}:{(754,1),(770,1),(795,1),(1080,1)}
946:{2,3,5}:{(753,1),(771,1),(796,1),(1081,1),(1099,1),(1111,1),(1441,1)}
947:{2,3}:{(797,1),(831,1),(832,1),(1336,1)}
948:{1,2,3,5}:{(798,1),(833,1),(839,1),(1110,1),(1113,1),(1117,1),(1620,1)}
949:{2,3}:{(799,1),(835,1),(840,1),(1336,1),(1441,1)}
950:{1,4,5}:{(732,1),(781,1),(812,1),(1025,1),(1095,1),(1128,1),(1319,1),(1328,1),(1329,1),(1357,1),(1395,1),(1396,1),(1423,1),(1569,1),(1572,1),(1582,1),(1745,1),(1830,1)}
951:{1,4,5}:{(731,1),(779,1),(813,1),(1025,1),(1096,1),(1123,1),(1130,1),(1319,1),(1328,1),(1572,1)}
952:{1,4,5}:{(733,1),(780,1),(814,1),(1124,1),(1129,1)}
953:{1,4,6}:{(736,1),(778,1),(800,1),(1087,1),(1386,1),(1649,1)}
954:{1,2,4,6}:{(734,1),(777,1),(802,1),(1049,1),(1086,1),(1119,1),(1129,1),(1374,1),(1391,1),(1608,1),(1649,1)}
955:{1,4,6}:{(735,1),(776,1),(801,1),(1088,1),(1120,1),(1389,1)}
956:{1,4,6}:{(737,1),(773,1),(804,1),(1091,1),(1386,1),(1649,1)}
957:{1,4,6}:{(739,1),(774,1),(803,1),(1090,1),(1127,1)}
958:{1,4,6}:{(738,1),(775,1),(805,1),(1089,1),(1125,1),(1330,1),(1389,1),(1395,1),(1651,1),(1830,1)}
959:{1,4,6}:{(740,1),(779,1),(817,1),(1093,1),(1123,1)}
960:{1,4,6}:{(741,1),(781,1),(815,1),(1092,1),(1122,1),(1357,1),(1395,1),(1423,1),(1632,1),(1830,1)}
961:{1,4,6}:{(742,1),(780,1),(816,1),(1124,1),(1425,1),(1649,1)}
962:{1,4,5}:{(744,1),(783,1),(1054,1),(1136,1),(1139,1),(1155,1),(1427,1)}
963:{1,4}:{(745,1),(782,1),(1137,1),(1156,1)}
964:{1,4}:{(743,1),(784,1),(1157,1),(1569,1)}
965:{1,4,6}:{(748,1),(789,1),(807,1),(1131,1),(1140,1),(1423,1)}
966:{1,4,6}:{(746,1),(790,1),(808,1),(1133,1),(1425,1),(1649,1)}
967:{1,2,4,6}:{(747,1),(788,1),(806,1),(1057,1),(1132,1),(1136,1),(1141,1),(1376,1),(1424,1),(1604,1),(1649,1)}
968:{1,3,5,6}:{(754,1),(787,1),(793,1),(1077,1),(1091,1),(1124,1),(1139,1),(1334,1),(1649,1)}
969:{1,3,4,5,6}:{(753,1),(785,1),(791,1),(1032,1),(1058,1),(1078,1),(1089,1),(1122,1),(1138,1),(1160,1),(1164,1),(1168,1),(1328,1),(1330,1),(1336,1),(1357,1),(1358,1),(1361,1),(1363,1),(1365,1),(1389,1),(1390,1),(1395,1),(1406,1),(1422,1),(1423,1),(1428,1),(1568,1),(1569,1),(1570,1),(1572,1),(1582,1),(1584,1),(1585,1),(1586,1),(1588,1),(1589,1),(1590,1),(1603,1),(1604,1),(1605,1),(1607,1),(1608,1),(1609,1),(1610,1),(1611,1),(1632,1),(1634,1),(1649,1),(1651,1),(1734,1),(1735,3),(1736,1),(1753,1),(1763,1),(1764,1),(1765,1),(1768,1),(1784,1),(1786,1),(1830,2),(1837,1),(1838,1),(1843,1)}
970:{1,3,5,6}:{(752,1),(786,1),(792,1),(1032,1),(1058,1),(1079,1),(1090,1),(1123,1),(1137,1),(1163,1),(1169,1),(1328,1),(1334,1),(1336,1),(1358,1),(1365,1),(1404,1),(1430,1),(1568,1),(1572,1),(1735,1)}
971:{1,3,4}:{(790,1),(832,1),(840,1),(1061,1),(1076,1),(1319,1),(1336,1),(1423,1),(1425,1),(1590,1)}
972:{1,2,3,5}:{(788,1),(836,1),(838,1),(1062,1),(1139,1),(1141,1),(1364,1),(1383,1),(1588,1),(1602,1)}
973:{1,3}:{(789,1),(831,1),(835,1),(1336,1)}
974:{1,2,4}:{(757,1),(774,1),(794,1),(1082,1),(1112,1),(1156,1),(1425,1)}
975:{1,2,4}:{(756,1),(775,1),(796,1),(1081,1),(1111,1),(1157,1),(1441,1)}
976:{1,2,4,5}:{(755,1),(773,1),(795,1),(1065,1),(1080,1),(1110,1),(1150,1),(1155,1),(1339,1),(1369,1),(1420,1),(1427,1),(1583,1),(1620,1)}
977:{1,2,4,6}:{(760,1),(798,1),(809,1),(843,1),(845,1),(1113,1),(1144,1),(1397,1),(1442,1)}
978:{1,2,4,6}:{(759,1),(797,1),(810,1),(841,1),(847,1),(1115,1),(1145,1),(1396,1),(1441,1),(1592,1),(1614,1),(1616,1)}
979:{1,2,4,6}:{(758,1),(799,1),(811,1),(848,1),(850,1),(1114,1),(1143,1),(1395,1)}
980:{1,2,4}:{(761,1),(779,1),(819,1),(1025,1),(1082,1),(1116,1),(1319,1),(1340,1),(1357,1),(1396,1),(1425,1),(1441,1),(1583,1),(1830,1)}
981:{1,2,4}:{(763,1),(780,1),(818,1),(1080,1),(1583,1)}
982:{1,2,4}:{(762,1),(781,1),(820,1),(1025,1),(1081,1),(1118,1),(1319,1),(1357,1),(1395,1),(1830,1)}
983:{1,2,5,6}:{(765,1),(782,1),(807,1),(1052,1),(1067,1),(1131,1),(1134,1),(1156,1),(1374,1),(1436,1),(1649,1)}
984:{1,2,5,6}:{(766,1),(783,1),(806,1),(1136,1),(1155,1)}
985:{1,2,3,5,6}:{(764,1),(784,1),(808,1),(1052,1),(1067,1),(1133,1),(1135,1),(1157,1),(1323,1),(1336,1),(1363,1),(1365,1),(1374,1),(1380,1),(1382,1),(1428,1),(1434,1),(1437,1),(1568,1),(1614,1),(1648,1),(1649,1),(1764,1),(1768,1)}
986:{1,2,5,6}:{(767,1),(785,1),(796,1),(811,1),(1067,1),(1143,1),(1149,1),(1157,1),(1374,1),(1434,1),(1614,1),(1648,1),(1747,1)}
987:{1,2,5,6}:{(769,1),(787,1),(795,1),(809,1),(1069,1),(1150,1),(1155,1),(1338,1),(1369,1),(1442,1)}
988:{1,2,5,6}:{(768,1),(786,1),(794,1),(810,1),(1067,1),(1069,1),(1145,1),(1151,1),(1156,1),(1369,1),(1374,1),(1375,1),(1436,1),(1441,1),(1614,1),(1641,1),(1649,1),(1747,1)}
989:{1,2,3,5,6}:{(749,1),(800,1),(812,1),(1046,1),(1059,1),(1087,1),(1106,1),(1128,1),(1327,1),(1328,1),(1342,1),(1349,1),(1358,1),(1363,1),(1376,1),(1406,1),(1417,1),(1432,1),(1572,1),(1614,1),(1648,1),(1649,1),(1764,1),(1768,1)}
990:{1,2,3,6}:{(750,1),(801,1),(813,1),(1046,1),(1059,1),(1088,1),(1104,1),(1130,1),(1376,1),(1418,1),(1649,1)}
991:{1,2,3,6}:{(751,1),(802,1),(814,1),(1105,1),(1129,1)}
992:{1,2,3,6}:{(770,1),(793,1),(809,1),(818,1),(1069,1),(1105,1),(1153,1),(1352,1),(1383,1),(1442,1)}
993:{1,2,3,6}:{(772,1),(792,1),(810,1),(819,1),(1046,1),(1069,1),(1104,1),(1115,1),(1152,1),(1345,1),(1352,1),(1376,1),(1418,1),(1441,1),(1614,1),(1649,1),(1657,1),(1737,1)}
994:{1,2,3,6}:{(771,1),(791,1),(811,1),(820,1),(1046,1),(1106,1),(1114,1),(1154,1),(1376,1),(1417,1),(1614,1),(1648,1),(1737,1)}
995:{1,3,6}:{(839,1),(843,1),(1091,1),(1649,1)}
996:{2,3,6}:{(836,1),(842,1),(1092,1),(1449,1),(1602,1)}
997:{3,6}:{(831,1),(841,1),(1169,1)}
998:{1,2,3,4,6}:{(837,1),(844,1),(1086,1),(1089,1),(1166,1),(1391,1),(1437,1),(1595,1),(1598,1),(1608,1),(1647,1),(1651,1),(1737,1),(1744,1),(1775,1),(1830,1)}
999:{1,3,4,6}:{(833,1),(845,1),(1113,1),(1165,1),(1397,1),(1409,1),(1650,1)}
1000:{3,6}:{(835,1),(848,1),(1164,1),(1336,1)}
1001:{3,4,6}:{(832,1),(847,1),(1087,1),(1115,1),(1163,1),(1336,1),(1396,1),(1568,1),(1590,1)}
1002:{2,3,6}:{(838,1),(849,1),(1091,1),(1093,1),(1441,1)}
1003:{3,4,6}:{(840,1),(850,1),(1088,1),(1114,1),(1168,1),(1389,1),(1395,1)}
1004:{1,2,3,6}:{(834,1),(846,1),(1090,1),(1094,1),(1161,1),(1352,1),(1442,1)}
1005:{1,2,4,5,6}:{(827,1),(842,1),(1122,1),(1132,1),(1170,1),(1424,1),(1432,1),(1604,1),(1615,1),(1617,1),(1632,1),(1644,1),(1741,1),(1747,1),(1771,1),(1830,1)}
1006:{1,4,5}:{(829,1),(847,1),(1133,1),(1145,1),(1163,1),(1328,1),(1396,1),(1572,1),(1582,1)}
1007:{1,5}:{(821,1),(841,1),(1169,1)}
1008:{1,2,5}:{(830,1),(846,1),(1124,1),(1127,1),(1441,1)}
1009:{1,5,6}:{(824,1),(843,1),(1124,1),(1649,1)}
1010:{1,5}:{(825,1),(850,1),(1168,1),(1328,1)}
1011:{1,2,5,6}:{(826,1),(849,1),(1123,1),(1126,1),(1162,1),(1369,1),(1442,1)}
1012:{1,2,5}:{(823,1),(844,1),(1125,1),(1447,1),(1591,1)}
1013:{1,4,5}:{(828,1),(848,1),(1131,1),(1143,1),(1164,1),(1395,1),(1423,1)}
1014:{1,4,5,6}:{(822,1),(845,1),(1144,1),(1165,1),(1397,1),(1420,1),(1650,1)}
1015:{2,3,4,6}:{(851,1),(861,1),(870,1),(872,1),(1171,1),(1176,1),(1181,1),(1184,1),(1199,1),(1200,1),(1207,1),(1457,1),(1466,1),(1467,1),(1471,1),(1474,1),(1480,1),(1525,1),(1526,1),(1534,1),(1535,1),(1660,1),(1667,1),(1681,1),(1692,1),(1800,1),(1805,1)}
1016:{4,6}:{(852,1),(872,1),(1172,1)}
1017:{2,3,6}:{(853,1),(861,1),(870,1),(1175,1),(1526,1),(1535,1)}
1018:{1,2,4,5}:{(851,1),(885,1),(896,1),(897,1),(1176,1),(1179,1),(1211,1),(1218,1),(1229,1),(1231,1),(1233,1),(1454,1),(1489,1),(1492,1),(1494,1),(1496,1),(1503,1),(1551,1),(1552,1),(1560,1),(1562,1),(1664,1),(1667,1),(1697,1),(1704,1),(1802,1),(1805,1)}
1019:{1,4}:{(852,1),(896,1),(1178,1)}
1020:{1,2,5}:{(853,1),(885,1),(897,1),(1175,1),(1552,1),(1560,1)}
1021:{4,5,6}:{(854,1),(902,1),(903,1),(909,1),(910,1),(1465,1),(1676,1)}
1022:{4,5}:{(856,1),(905,1),(906,1),(1193,1)}
1023:{4,6}:{(855,1),(863,1),(1195,1)}
1024:{4}:{(871,1)}
1025:{4}:{(877,1)}
1026:{3,5,6}:{(861,1),(902,1),(904,1),(914,1),(915,1),(1212,1),(1472,1),(1526,1)}
1027:{3,5}:{(862,1),(906,1),(907,1),(1213,1)}
1028:{3,4,6}:{(854,1),(857,1),(858,1),(1181,1),(1189,1),(1199,1),(1214,1),(1474,1),(1526,1)}
1029:{3,4,6}:{(859,1),(864,1),(912,1),(913,1),(1184,1),(1185,1),(1200,1),(1216,1),(1466,1),(1526,1),(1681,1)}
1030:{3,4,5}:{(855,1),(860,1),(865,1),(1183,1),(1188,1),(1201,1),(1215,1),(1307,1),(1311,1),(1314,1),(1465,1),(1476,1),(1680,1),(1805,1)}
1031:{3,4,6}:{(856,1),(860,1),(876,1),(1183,1),(1187,1),(1217,1),(1244,1),(1245,1),(1307,1),(1312,1),(1314,1),(1466,1),(1467,1),(1476,1),(1526,1),(1527,1),(1676,1),(1681,1),(1805,1)}
1032:{3,5,6}:{(864,1),(865,1),(879,1),(1188,1),(1189,1),(1460,1),(1474,1),(1526,1),(1680,1),(1681,1)}
1033:{3,5}:{(880,1),(921,1),(922,1),(1189,1)}
1034:{3,4}:{(881,1),(920,1),(921,1),(1206,1)}
1035:{2,5,6}:{(870,1),(902,1),(904,1),(930,1),(931,1),(1535,1),(1684,1)}
1036:{2,4,6}:{(854,1),(867,1),(868,1),(1181,1),(1195,1),(1199,1),(1535,1),(1667,1)}
1037:{2,5}:{(855,1),(869,1),(1195,1)}
1038:{2,4,6}:{(856,1),(869,1),(873,1),(1193,1),(1195,1),(1196,1)}
1039:{2,3,5}:{(874,1),(914,1),(915,1),(930,1),(931,1),(1182,1),(1229,1),(1472,1),(1475,1),(1684,1)}
1040:{2,3,5,6}:{(857,1),(867,1),(871,1),(872,1),(1172,1),(1181,1),(1199,1),(1230,1),(1450,1),(1460,1),(1474,1),(1667,1)}
1041:{2,3,5}:{(858,1),(868,1),(942,1),(943,1),(1199,1),(1202,1),(1231,1),(1667,1)}
1042:{2,3,5}:{(859,1),(875,1),(932,1),(934,1),(1197,1),(1200,1),(1233,1),(1667,1)}
1043:{2,3}:{(860,1),(869,1),(1232,1)}
1044:{2,3,4,6}:{(862,1),(875,1),(878,1),(938,1),(939,1),(1183,1),(1184,1),(1198,1),(1200,1),(1234,1),(1243,1),(1245,1),(1457,1),(1466,1),(1471,1),(1476,1),(1480,1),(1525,1),(1526,1),(1667,1),(1681,1),(1692,1),(1800,1),(1805,1)}
1045:{2,3,5}:{(865,1),(878,1),(890,1),(1183,1),(1460,1),(1667,1)}
1046:{2,3,6}:{(864,1),(877,1),(891,1),(1184,1)}
1047:{2,3,5}:{(866,1),(873,1),(892,1),(1193,1),(1196,1),(1206,1)}
1048:{2,3,5}:{(893,1),(923,1),(925,1),(947,1),(949,1),(1192,1),(1207,1),(1472,1),(1475,1),(1693,1)}
1049:{1,4,6}:{(854,1),(880,1),(894,1),(1189,1)}
1050:{1,4,5}:{(855,1),(881,1),(898,1),(1183,1),(1190,1),(1210,1),(1240,1),(1241,1),(1307,1),(1311,1),(1313,1),(1465,1),(1492,1),(1496,1),(1521,1),(1552,1),(1696,1),(1697,1),(1805,1)}
1051:{1,4,6}:{(856,1),(881,1),(899,1),(1191,1),(1209,1),(1307,1),(1312,1),(1313,1)}
1052:{1,5,6}:{(857,1),(882,1),(883,1),(1214,1),(1697,1)}
1053:{1,4,5}:{(858,1),(882,1),(963,1),(964,1),(1211,1),(1214,1),(1220,1),(1231,1),(1496,1),(1552,1),(1697,1)}
1054:{1,4}:{(860,1),(887,1),(1232,1)}
1055:{1,4,5}:{(859,1),(886,1),(888,1),(1213,1),(1216,1),(1218,1),(1233,1),(1494,1),(1552,1)}
1056:{1,4,6}:{(861,1),(883,1),(885,1),(1175,1),(1212,1),(1222,1)}
1057:{1,4,6}:{(862,1),(886,1),(900,1),(1213,1)}
1058:{1,3,5}:{(865,1),(882,1),(889,1),(1213,1),(1215,1),(1460,1),(1494,1),(1552,1),(1680,1),(1697,1)}
1059:{1,3,6}:{(864,1),(883,1),(888,1),(1216,1),(1681,1)}
1060:{1,3,4,5,6}:{(866,1),(884,1),(968,1),(970,1),(1180,1),(1188,1),(1191,1),(1209,1),(1215,1),(1221,1),(1237,1),(1279,1),(1280,1),(1307,1),(1308,1),(1315,1),(1465,1),(1470,1),(1473,1),(1476,1),(1490,1),(1495,1),(1499,1),(1500,1),(1518,1),(1524,1),(1526,1),(1530,1),(1532,1),(1552,1),(1553,1),(1556,1),(1661,1),(1663,1),(1676,1),(1679,1),(1680,1),(1681,1),(1696,1),(1697,1),(1717,1),(1725,1),(1728,1),(1729,1),(1805,1),(1807,1),(1814,1),(1816,1),(1867,1)}
1061:{1,3,5}:{(885,1),(923,1),(925,1),(971,1),(973,1),(1222,1),(1475,1),(1552,1)}
1062:{1,3,4}:{(886,1),(926,1),(928,1),(972,1),(973,1),(1476,1),(1696,1)}
1063:{1,2,5,6}:{(867,1),(879,1),(890,1),(891,1),(1195,1),(1204,1),(1226,1),(1258,1),(1260,1),(1507,1),(1535,1),(1667,1),(1697,1),(1704,1)}
1064:{1,2,4,5}:{(868,1),(880,1),(890,1),(974,1),(975,1),(1183,1),(1205,1),(1211,1),(1226,1),(1231,1),(1241,1),(1242,1),(1454,1),(1465,1),(1489,1),(1496,1),(1503,1),(1551,1),(1552,1),(1667,1),(1697,1),(1704,1),(1802,1),(1805,1)}
1065:{1,2,4}:{(869,1),(881,1),(892,1),(1196,1),(1206,1),(1232,1)}
1066:{1,2,4,6}:{(870,1),(891,1),(893,1),(953,1),(955,1),(1175,1),(1184,1),(1207,1),(1225,1),(1453,1),(1458,1),(1467,1),(1535,1)}
1067:{1,2,5}:{(871,1),(882,1),(895,1),(1211,1)}
1068:{1,2,6}:{(872,1),(883,1),(896,1),(1174,1),(1667,1)}
1069:{1,2,6}:{(873,1),(884,1),(892,1),(1195,1),(1232,1)}
1070:{1,2,4,6}:{(874,1),(895,1),(897,1),(965,1),(966,1),(1175,1),(1211,1),(1229,1),(1238,1),(1453,1),(1458,1),(1492,1),(1560,1)}
1071:{1,2,4}:{(875,1),(886,1),(901,1),(1218,1),(1232,1),(1233,1),(1560,1),(1667,1)}
1072:{1,2,3,5,6}:{(863,1),(894,1),(898,1),(990,1),(991,1),(1189,1),(1195,1),(1204,1),(1210,1),(1219,1),(1247,1),(1259,1),(1260,1),(1276,1),(1278,1),(1473,1),(1486,1),(1501,1),(1504,1),(1507,1),(1513,1),(1526,1),(1535,1),(1545,1),(1681,1),(1697,1),(1708,1),(1728,1),(1729,1),(1827,1)}
1073:{1,2,3,5,6}:{(876,1),(887,1),(900,1),(983,1),(984,1),(1213,1),(1217,1),(1219,1),(1232,1),(1235,1),(1285,1),(1288,1),(1290,1),(1304,1),(1305,1),(1499,1),(1504,1),(1505,1),(1507,1),(1513,1),(1517,1),(1552,1),(1560,1),(1563,1),(1681,1),(1697,1),(1708,1),(1728,1),(1729,1),(1827,1)}
1074:{1,2,3,5}:{(877,1),(888,1),(896,1),(901,1),(1178,1),(1218,1),(1233,1),(1236,1),(1460,1),(1464,1),(1494,1),(1667,1)}
1075:{1,2,3,6}:{(878,1),(889,1),(895,1),(901,1),(1232,1),(1234,1),(1235,1),(1303,1),(1305,1),(1507,1),(1560,1),(1667,1),(1681,1),(1692,1)}
1076:{1,2,3}:{(897,1),(947,1),(949,1),(971,1),(973,1),(1560,1),(1693,1)}
1077:{3,5,6}:{(905,1),(911,1),(1180,1),(1278,1),(1526,1)}
1078:{4,5,6}:{(907,1),(913,1),(1185,1),(1258,1),(1466,1),(1665,1)}
1079:{5,6}:{(906,1),(912,1)}
1080:{4}:{(945,1)}
1081:{2,4}:{(946,1),(1183,1),(1667,1)}
1082:{4}:{(944,1)}
1083:{3,4,5,6}:{(908,1),(916,1),(919,1),(1187,1),(1252,1),(1284,1),(1306,1),(1312,1),(1466,1),(1526,1),(1675,1),(1677,1),(1681,1),(1717,1),(1791,1)}
1084:{3,4,5}:{(910,1),(915,1),(917,1),(1182,1),(1254,1),(1261,1),(1283,1),(1307,1),(1314,1),(1475,1),(1527,1)}
1085:{3,4,5}:{(909,1),(914,1),(918,1),(1182,1),(1253,1),(1263,1),(1282,1),(1311,1),(1465,1),(1475,1),(1528,1),(1665,1),(1680,1),(1805,1)}
1086:{1,2,3,6}:{(924,1),(954,1),(1189,1),(1255,1),(1486,1),(1827,1)}
1087:{3,6}:{(923,1),(953,1)}
1088:{3,6}:{(925,1),(955,1)}
1089:{3,4,6}:{(922,1),(958,1),(1189,1),(1253,1),(1268,1),(1528,1)}
1090:{3,6}:{(921,1),(957,1),(1254,1)}
1091:{3,6}:{(920,1),(956,1)}
1092:{3,4,6}:{(926,1),(960,1),(996,1),(1000,1),(1249,1),(1314,1),(1476,1),(1681,1)}
1093:{3,4,6}:{(928,1),(959,1),(997,1),(1002,1),(1251,1),(1307,1),(1312,1)}
1094:{1,3,4,6}:{(927,1),(961,1),(995,1),(1004,1),(1191,1),(1250,1),(1308,1),(1313,1)}
1095:{3,4,5}:{(923,1),(926,1),(950,1),(1192,1),(1249,1),(1257,1),(1271,1),(1314,1),(1472,1),(1476,1),(1523,1),(1662,1),(1680,1),(1805,1)}
1096:{3,4,5}:{(925,1),(928,1),(951,1),(1192,1),(1251,1),(1256,1),(1270,1),(1307,1),(1311,1),(1472,1),(1521,1)}
1097:{1,3,4,5}:{(924,1),(927,1),(952,1),(1190,1),(1250,1),(1255,1),(1309,1),(1313,1),(1496,1),(1552,1),(1697,1),(1700,1),(1703,1),(1725,1),(1797,1)}
1098:{2,5}:{(906,1),(938,1),(1241,1)}
1099:{2,5}:{(907,1),(939,1)}
1100:{2,3,5}:{(905,1),(940,1),(1193,1),(1240,1),(1293,1),(1530,1)}
1101:{2,4,5}:{(909,1),(930,1),(936,1),(1182,1),(1263,1),(1465,1),(1540,1),(1684,1),(1805,1)}
1102:{2,4,5,6}:{(908,1),(929,1),(935,1),(1193,1),(1240,1),(1478,1)}
1103:{2,4,5}:{(910,1),(931,1),(937,1),(1182,1),(1193,1),(1241,1),(1261,1),(1465,1),(1541,1),(1684,1)}
1104:{2,6}:{(912,1),(932,1)}
1105:{2,3,6}:{(911,1),(933,1),(1195,1),(1299,1)}
1106:{2,6}:{(913,1),(934,1),(1667,1)}
1107:{2,3,4,6}:{(918,1),(936,1),(943,1),(1199,1),(1202,1),(1243,1),(1263,1),(1268,1),(1300,1),(1471,1),(1480,1),(1525,1),(1528,1),(1534,1),(1535,1),(1540,1),(1541,1),(1667,1),(1692,1),(1693,1),(1800,1),(1805,1)}
1108:{2,3,4,6}:{(919,1),(935,1),(941,1),(1244,1),(1267,1),(1302,1)}
1109:{2,3,4,6}:{(917,1),(937,1),(942,1),(1199,1),(1202,1),(1245,1),(1261,1),(1269,1),(1301,1),(1471,1),(1526,1),(1527,1)}
1110:{2,3,5}:{(920,1),(976,1),(1206,1),(1244,1),(1267,1),(1530,1)}
1111:{2,3}:{(922,1),(975,1)}
1112:{2,3}:{(921,1),(974,1),(1245,1)}
1113:{1,2,3,6}:{(948,1),(977,1),(995,1),(999,1),(1267,1),(1708,1)}
1114:{2,3,6}:{(949,1),(979,1),(1000,1),(1003,1),(1264,1),(1535,1)}
1115:{2,3,6}:{(947,1),(978,1),(997,1),(1001,1),(1266,1),(1693,1)}
1116:{2,3,4}:{(928,1),(947,1),(980,1),(1192,1),(1206,1),(1245,1),(1270,1),(1476,1),(1541,1),(1693,1)}
1117:{1,2,3,4}:{(927,1),(948,1),(981,1),(1206,1),(1244,1),(1511,1)}
1118:{2,3,4}:{(926,1),(949,1),(982,1),(1192,1),(1271,1),(1476,1),(1540,1),(1693,1),(1805,1)}
1119:{1,2,5,6}:{(903,1),(954,1),(1008,1),(1012,1),(1208,1),(1278,1),(1535,1),(1697,1)}
1120:{1,5,6}:{(902,1),(955,1),(1007,1),(1010,1),(1247,1)}
1121:{1,4,5,6}:{(904,1),(953,1),(1006,1),(1013,1),(1212,1),(1225,1),(1246,1),(1453,1),(1467,1),(1490,1),(1663,1)}
1122:{1,4,5}:{(907,1),(960,1),(1213,1),(1249,1),(1292,1),(1523,1)}
1123:{1,5}:{(906,1),(959,1),(1251,1)}
1124:{1,5}:{(905,1),(961,1)}
1125:{1,4,5}:{(909,1),(958,1),(1010,1),(1012,1),(1253,1),(1311,1),(1465,1),(1697,1)}
1126:{1,4,5,6}:{(908,1),(956,1),(1009,1),(1011,1),(1209,1),(1252,1),(1308,1),(1312,1)}
1127:{1,4,5}:{(910,1),(957,1),(1007,1),(1008,1),(1254,1),(1307,1),(1313,1)}
1128:{1,4,6}:{(913,1),(950,1),(989,1),(1184,1),(1257,1),(1466,1),(1467,1)}
1129:{1,4,6}:{(911,1),(952,1),(991,1),(1278,1)}
1130:{1,4,6}:{(912,1),(951,1),(990,1),(1184,1),(1256,1),(1276,1)}
1131:{1,5}:{(915,1),(965,1)}
1132:{1,2,5,6}:{(916,1),(967,1),(1213,1),(1284,1),(1505,1),(1827,1)}
1133:{1,5}:{(914,1),(966,1)}
1134:{1,4,6}:{(917,1),(963,1),(983,1),(1211,1),(1283,1),(1288,1)}
1135:{1,4,6}:{(918,1),(964,1),(985,1),(1211,1),(1282,1),(1492,1),(1496,1)}
1136:{1,4,6}:{(919,1),(962,1),(984,1),(1290,1)}
1137:{1,3}:{(921,1),(963,1)}
1138:{1,3,4}:{(922,1),(964,1),(1220,1),(1303,1),(1496,1),(1662,1)}
1139:{1,3,5}:{(920,1),(962,1),(1221,1),(1290,1),(1552,1)}
1140:{1,3,6}:{(965,1),(973,1),(997,1),(1000,1),(1285,1)}
1141:{1,2,3,6}:{(967,1),(972,1),(996,1),(1002,1),(1223,1),(1290,1),(1560,1),(1681,1)}
1142:{1,3,4,6}:{(966,1),(971,1),(1001,1),(1003,1),(1222,1),(1238,1),(1286,1),(1458,1),(1490,1),(1492,1),(1661,1)}
1143:{1,2,5}:{(930,1),(979,1),(1010,1),(1013,1),(1264,1),(1560,1)}
1144:{1,2,5,6}:{(929,1),(977,1),(1009,1),(1014,1),(1293,1),(1708,1)}
1145:{1,2,5}:{(931,1),(978,1),(1006,1),(1007,1),(1266,1),(1684,1)}
1146:{1,2,4,5}:{(932,1),(951,1),(980,1),(1197,1),(1233,1),(1241,1),(1270,1),(1291,1),(1298,1),(1489,1),(1521,1),(1552,1)}
1147:{1,2,4,5}:{(934,1),(950,1),(982,1),(1197,1),(1233,1),(1242,1),(1271,1),(1292,1),(1297,1),(1489,1),(1503,1),(1523,1),(1540,1),(1541,1),(1551,1),(1560,1),(1562,1),(1667,1),(1684,1),(1704,1),(1802,1),(1805,1)}
1148:{1,2,4,5}:{(933,1),(952,1),(981,1),(1240,1),(1293,1),(1299,1)}
1149:{1,2,4,6}:{(936,1),(958,1),(975,1),(986,1),(1211,1),(1268,1),(1295,1),(1453,1),(1535,1)}
1150:{1,2,4,6}:{(935,1),(956,1),(976,1),(987,1),(1267,1),(1279,1),(1478,1),(1708,1)}
1151:{1,2,4,6}:{(937,1),(957,1),(974,1),(988,1),(1211,1),(1269,1),(1280,1),(1294,1),(1453,1),(1503,1),(1720,1),(1827,1)}
1152:{1,2,4,6}:{(938,1),(959,1),(980,1),(993,1),(1184,1),(1273,1),(1280,1),(1291,1),(1458,1),(1480,1),(1732,1),(1827,1)}
1153:{1,2,4,6}:{(940,1),(961,1),(981,1),(992,1),(1279,1),(1293,1),(1511,1),(1708,1)}
1154:{1,2,4,6}:{(939,1),(960,1),(982,1),(994,1),(1184,1),(1274,1),(1292,1),(1458,1),(1560,1)}
1155:{1,2,5}:{(941,1),(962,1),(1232,1),(1302,1)}
1156:{1,2}:{(942,1),(963,1)}
1157:{1,2}:{(943,1),(964,1),(1667,1)}
1158:{1,2,3,5,6}:{(944,1),(970,1),(988,1),(993,1),(1204,1),(1235,1),(1260,1),(1266,1),(1269,1),(1280,1),(1291,1),(1305,1),(1484,1),(1504,1),(1513,1),(1526,1),(1532,1),(1545,1),(1552,1),(1563,1),(1681,1),(1697,1),(1728,1),(1793,1),(1827,1)}
1159:{1,2,3,5,6}:{(945,1),(968,1),(987,1),(992,1),(1259,1),(1267,1),(1279,1),(1293,1),(1304,1),(1484,1),(1530,1),(1708,1),(1729,1)}
1160:{1,2,3,5,6}:{(946,1),(969,1),(986,1),(994,1),(1204,1),(1235,1),(1258,1),(1264,1),(1268,1),(1281,1),(1292,1),(1303,1),(1504,1),(1507,1),(1513,1),(1525,1),(1531,1),(1534,1),(1535,1),(1546,1),(1551,1),(1560,1),(1562,1),(1565,1),(1667,1),(1681,1),(1684,1),(1687,1),(1692,1),(1693,1),(1697,1),(1704,1),(1705,1),(1713,1),(1714,1),(1793,2),(1794,1),(1795,1),(1812,1),(1822,1),(1827,1),(1862,1)}
1161:{1,2,3,5}:{(1004,1),(1008,1),(1250,1),(1254,1),(1313,1),(1484,1),(1538,1),(1543,1)}
1162:{2,3,5,6}:{(1002,1),(1011,1),(1251,1),(1252,1),(1312,1),(1484,1),(1536,1),(1544,1)}
1163:{3,5}:{(1001,1),(1006,1)}
1164:{3,5}:{(1000,1),(1013,1),(1314,1)}
1165:{1,3,5,6}:{(999,1),(1014,1),(1530,1)}
1166:{1,2,3,5}:{(998,1),(1012,1),(1253,1),(1309,1),(1542,1),(1686,1),(1697,1),(1793,1),(1797,1),(1822,1)}
1167:{1,3,5,6}:{(995,1),(1009,1),(1250,1),(1252,1),(1308,1)}
1168:{3,5}:{(1003,1),(1010,1),(1311,1)}
1169:{3,5}:{(997,1),(1007,1),(1307,1)}
1170:{2,3,5,6}:{(996,1),(1005,1),(1249,1),(1306,1),(1537,1),(1681,1),(1691,1),(1791,1),(1793,1),(1812,1)}
1171:{2,3,5,6}:{(1015,1),(1026,1),(1035,1),(1039,1),(1317,1),(1322,1),(1328,1),(1567,1),(1573,1),(1584,1),(1591,1),(1746,1),(1760,1)}
1172:{5}:{(1016,1)}
1173:{2,3,5,6}:{(1017,1),(1026,1),(1035,1),(1039,1),(1318,1),(1323,1),(1568,1)}
1174:{1,4,6}:{(1016,1),(1019,1),(1068,1),(1324,1),(1326,1),(1569,1)}
1175:{1,2,6}:{(1017,1),(1020,1),(1056,1),(1649,1)}
1176:{1,2,4,6}:{(1015,1),(1018,1),(1056,1),(1068,1),(1322,1),(1325,1),(1355,1),(1362,1),(1374,1),(1376,1),(1571,1),(1604,1),(1608,1),(1614,1),(1648,1),(1649,1)}
1177:{1,2,3,5}:{(1020,1),(1048,1),(1061,1),(1076,1),(1319,1),(1327,1),(1572,1)}
1178:{3}:{(1019,1)}
1179:{1,2,3,5}:{(1018,1),(1048,1),(1061,1),(1076,1),(1321,1),(1325,1),(1336,1),(1566,1),(1574,1),(1588,1),(1602,1),(1738,1),(1760,1)}
1180:{4,5,6}:{(1022,1),(1023,1),(1077,1),(1079,1),(1338,1),(1386,1),(1387,1)}
1181:{4,6}:{(1024,1),(1040,1),(1316,1),(1569,1)}
1182:{4,5}:{(1024,1),(1039,1),(1318,1),(1395,1),(1396,1),(1830,1)}
1183:{4}:{(1045,1)}
1184:{4,6}:{(1025,1),(1046,1),(1328,1)}
1185:{3,5,6}:{(1027,1),(1029,1),(1078,1),(1079,1),(1328,1),(1358,1),(1573,1)}
1186:{3,4,5,6}:{(1021,1),(1026,1),(1028,1),(1084,1),(1085,1),(1317,1),(1318,1),(1333,1),(1344,1),(1359,1),(1389,1),(1390,1),(1567,1),(1568,1),(1582,1),(1584,1),(1585,1),(1587,1),(1735,1),(1830,1)}
1187:{3,4,5}:{(1022,1),(1027,1),(1031,1),(1329,1),(1334,1),(1343,1),(1360,1),(1394,1),(1400,1),(1582,1),(1583,1),(1584,1),(1588,1),(1735,1),(1749,1),(1754,1),(1830,1),(1843,1)}
1188:{3,4,6}:{(1023,1),(1030,1),(1032,1),(1330,1),(1345,1),(1361,1),(1389,1),(1569,1)}
1189:{3,6}:{(1033,1),(1049,1)}
1190:{3,4,5}:{(1033,1),(1034,1),(1050,1),(1332,1),(1334,1),(1335,1),(1351,1),(1400,1),(1401,1),(1583,1),(1584,1),(1588,1),(1590,1),(1735,1),(1749,1),(1754,1),(1830,1),(1843,1)}
1191:{3,4,6}:{(1034,1),(1051,1),(1090,1),(1091,1),(1334,1),(1352,1),(1401,1),(1583,1)}
1192:{3,4}:{(1025,1),(1048,1),(1319,1),(1395,1),(1396,1),(1830,1)}
1193:{2,5}:{(1022,1),(1038,1)}
1194:{2,4,5,6}:{(1021,1),(1035,1),(1036,1),(1101,1),(1103,1),(1317,1),(1318,1),(1338,1),(1344,1),(1386,1),(1388,1),(1581,1),(1591,1),(1592,1),(1593,1),(1746,1),(1830,1)}
1195:{2,6}:{(1023,1),(1037,1)}
1196:{2,4}:{(1047,1),(1080,1),(1082,1),(1583,1)}
1197:{2,4,5}:{(1025,1),(1042,1),(1328,1),(1329,1),(1340,1),(1341,1),(1591,1)}
1198:{2,3,5}:{(1027,1),(1044,1),(1098,1),(1099,1),(1328,1),(1329,1),(1373,1),(1400,1),(1573,1),(1584,1),(1588,1),(1591,1),(1746,1)}
1199:{2,3,6}:{(1028,1),(1036,1),(1041,1),(1374,1)}
1200:{2,3,6}:{(1029,1),(1042,1),(1104,1),(1106,1),(1341,1),(1376,1)}
1201:{2,3,5}:{(1030,1),(1037,1),(1043,1),(1340,1),(1345,1),(1375,1),(1441,1),(1447,1),(1449,1),(1591,1),(1602,1)}
1202:{2,3,4}:{(1024,1),(1041,1),(1332,1),(1336,1),(1340,1),(1377,1),(1602,1)}
1203:{2,3,4,6}:{(1031,1),(1038,1),(1043,1),(1340,1),(1343,1),(1345,1),(1348,1),(1352,1),(1378,1),(1441,1),(1445,1),(1449,1),(1583,1),(1592,1),(1593,1),(1594,1),(1602,1),(1646,1),(1737,1),(1754,1),(1762,1),(1783,1),(1830,1)}
1204:{2,3,5,6}:{(1032,1),(1045,1),(1046,1),(1063,1),(1328,1),(1330,1),(1345,1),(1350,1),(1584,1),(1591,1),(1760,1)}
1205:{2,3,5}:{(1033,1),(1064,1),(1111,1),(1112,1),(1332,1),(1336,1),(1350,1),(1400,1),(1566,1),(1584,1),(1588,1),(1602,1),(1738,1)}
1206:{2,3}:{(1034,1),(1065,1)}
1207:{2,3,6}:{(1048,1),(1066,1),(1087,1),(1088,1),(1337,1),(1568,1)}
1208:{1,4,5,6}:{(1021,1),(1049,1),(1119,1),(1120,1),(1125,1),(1127,1),(1333,1),(1389,1),(1391,1)}
1209:{1,4,5}:{(1022,1),(1051,1),(1123,1),(1124,1),(1334,1),(1369,1),(1394,1),(1583,1)}
1210:{1,4,6}:{(1023,1),(1050,1),(1072,1),(1330,1),(1335,1),(1386,1),(1387,1),(1389,1),(1631,1),(1649,1)}
1211:{1,4}:{(1024,1),(1067,1),(1336,1)}
1212:{1,5,6}:{(1026,1),(1056,1),(1131,1),(1133,1),(1572,1),(1649,1)}
1213:{1,5}:{(1027,1),(1057,1)}
1214:{1,4,6}:{(1028,1),(1052,1),(1053,1),(1365,1),(1374,1),(1649,1)}
1215:{1,4,5}:{(1030,1),(1054,1),(1058,1),(1357,1),(1361,1),(1375,1),(1423,1),(1569,1)}
1216:{1,4,6}:{(1029,1),(1055,1),(1059,1),(1358,1),(1376,1),(1649,1)}
1217:{1,4,6}:{(1031,1),(1054,1),(1073,1),(1357,1),(1360,1),(1423,1),(1425,1),(1427,1),(1649,1),(1653,1)}
1218:{1,4}:{(1025,1),(1074,1),(1320,1),(1569,1)}
1219:{1,3,5,6}:{(1032,1),(1052,1),(1058,1),(1059,1),(1358,1),(1361,1),(1365,1),(1649,1)}
1220:{1,3,5}:{(1033,1),(1053,1),(1137,1),(1138,1),(1336,1),(1365,1),(1566,1)}
1221:{1,3,4}:{(1034,1),(1054,1),(1137,1),(1139,1),(1383,1),(1425,1),(1427,1)}
1222:{1,3,6}:{(1056,1),(1061,1),(1087,1),(1088,1),(1568,1),(1649,1)}
1223:{1,3,4,6}:{(1057,1),(1062,1),(1092,1),(1093,1),(1140,1),(1141,1),(1364,1),(1423,1),(1424,1)}
1224:{1,3,4,5}:{(1055,1),(1061,1),(1062,1),(1095,1),(1096,1),(1319,1),(1321,1),(1364,1),(1367,1),(1384,1),(1422,1),(1423,1),(1572,1),(1574,1),(1588,1),(1590,1),(1606,1),(1607,1),(1735,1),(1830,1)}
1225:{1,2,5,6}:{(1035,1),(1066,1),(1120,1),(1121,1),(1143,1),(1145,1),(1328,1),(1349,1),(1572,1),(1614,1),(1747,1)}
1226:{1,2,4,6}:{(1036,1),(1049,1),(1063,1),(1064,1),(1330,1),(1350,1),(1355,1),(1374,1),(1386,1),(1388,1),(1604,1),(1608,1),(1648,1),(1649,1)}
1227:{1,2,4,5}:{(1037,1),(1050,1),(1065,1),(1339,1),(1340,1),(1351,1),(1369,1),(1371,1),(1375,1),(1441,1),(1446,1),(1447,1),(1583,1),(1591,1),(1616,1),(1620,1),(1622,1),(1643,1),(1747,1),(1749,1),(1773,1),(1789,1),(1830,1)}
1228:{1,2,4,6}:{(1038,1),(1051,1),(1065,1),(1069,1),(1352,1),(1369,1),(1441,1),(1442,1),(1445,1),(1446,1),(1583,1)}
1229:{1,2,5}:{(1039,1),(1070,1),(1131,1),(1133,1),(1356,1),(1572,1)}
1230:{1,2,5,6}:{(1040,1),(1052,1),(1067,1),(1068,1),(1324,1),(1355,1),(1374,1),(1577,1)}
1231:{1,2,5}:{(1041,1),(1053,1),(1156,1),(1157,1),(1374,1),(1377,1)}
1232:{1,2}:{(1043,1),(1054,1)}
1233:{1,2,5}:{(1042,1),(1055,1),(1071,1),(1376,1)}
1234:{1,2,4,6}:{(1044,1),(1057,1),(1071,1),(1075,1),(1357,1),(1362,1),(1373,1),(1376,1),(1425,1),(1426,1),(1604,1),(1608,1),(1648,1),(1649,1)}
1235:{1,2,3,5}:{(1045,1),(1058,1),(1067,1),(1075,1),(1336,1),(1357,1),(1373,1),(1375,1),(1588,1),(1602,1),(1760,1)}
1236:{1,2,3,6}:{(1046,1),(1059,1),(1068,1),(1074,1),(1326,1),(1362,1),(1376,1),(1580,1)}
1237:{1,2,3,5,6}:{(1047,1),(1060,1),(1069,1),(1338,1),(1345,1),(1352,1),(1369,1),(1372,1),(1375,1),(1383,1),(1441,1),(1442,1),(1448,1),(1591,1),(1594,1),(1596,1),(1600,1),(1601,1),(1602,1),(1614,1),(1620,1),(1621,1),(1624,1),(1626,1),(1641,1),(1657,1),(1737,1),(1747,1),(1760,1),(1762,1),(1773,1),(1783,1),(1789,1)}
1238:{1,2,3,6}:{(1070,1),(1076,1),(1114,1),(1115,1),(1140,1),(1142,1),(1336,1),(1380,1),(1568,1),(1614,1),(1737,1)}
1239:{1,2,3,4}:{(1062,1),(1071,1),(1076,1),(1116,1),(1118,1),(1319,1),(1321,1),(1383,1),(1384,1),(1425,1),(1426,1),(1602,1),(1612,1),(1616,1),(1622,1),(1738,1),(1830,1)}
1240:{4,5}:{(1080,1),(1100,1),(1387,1),(1583,1)}
1241:{4,5}:{(1082,1),(1098,1),(1386,1),(1400,1)}
1242:{2,4,5}:{(1081,1),(1099,1),(1329,1),(1388,1),(1399,1),(1746,1),(1831,1)}
1243:{2,3,4}:{(1081,1),(1111,1),(1332,1),(1399,1),(1426,1),(1738,1),(1831,1)}
1244:{3,4}:{(1080,1),(1110,1),(1427,1),(1583,1)}
1245:{3,4}:{(1082,1),(1112,1),(1400,1),(1425,1)}
1246:{3,5,6}:{(1087,1),(1121,1),(1163,1),(1164,1),(1390,1),(1568,1),(1735,1)}
1247:{3,5,6}:{(1088,1),(1120,1),(1168,1),(1169,1),(1389,1)}
1248:{1,2,3,5,6}:{(1086,1),(1119,1),(1161,1),(1166,1),(1333,1),(1391,1),(1405,1),(1595,1),(1600,1),(1639,1)}
1249:{3,5}:{(1092,1),(1122,1)}
1250:{1,3,5}:{(1094,1),(1124,1),(1334,1),(1393,1)}
1251:{3,5}:{(1093,1),(1123,1),(1394,1)}
1252:{3,5,6}:{(1091,1),(1126,1),(1334,1),(1402,1)}
1253:{3,5}:{(1089,1),(1125,1)}
1254:{3,5}:{(1090,1),(1127,1),(1401,1)}
1255:{1,3,4,6}:{(1086,1),(1097,1),(1129,1),(1335,1),(1391,1),(1405,1),(1608,1),(1649,1),(1768,1),(1784,1)}
1256:{3,4,6}:{(1088,1),(1096,1),(1130,1),(1389,1),(1404,1),(1418,1),(1631,1)}
1257:{3,4,6}:{(1087,1),(1095,1),(1128,1),(1406,1),(1417,1),(1632,1)}
1258:{2,5,6}:{(1078,1),(1099,1),(1106,1),(1388,1),(1746,1)}
1259:{2,3,5,6}:{(1077,1),(1100,1),(1105,1),(1338,1),(1387,1),(1431,1),(1594,1),(1638,1)}
1260:{2,5,6}:{(1079,1),(1098,1),(1104,1),(1386,1)}
1261:{2,3,5}:{(1084,1),(1103,1),(1109,1),(1400,1),(1436,1),(1441,1),(1449,1),(1584,1)}
1262:{2,3,4,5,6}:{(1083,1),(1102,1),(1108,1),(1343,1),(1398,1),(1413,1),(1435,1),(1440,1),(1445,1),(1583,1),(1593,1),(1594,1),(1749,1),(1751,1),(1754,1),(1755,1),(1757,1),(1759,1),(1762,1),(1783,1),(1830,1),(1833,1),(1843,1)}
1263:{2,3,5}:{(1085,1),(1101,1),(1107,1),(1434,1),(1447,1),(1584,1),(1591,1),(1746,1)}
1264:{2,3,5}:{(1114,1),(1143,1),(1164,1),(1168,1),(1395,1),(1447,1),(1449,1)}
1265:{1,2,3,5,6}:{(1113,1),(1144,1),(1165,1),(1167,1),(1397,1),(1410,1),(1413,1),(1442,1)}
1266:{2,3,5}:{(1115,1),(1145,1),(1163,1),(1169,1),(1396,1),(1441,1)}
1267:{2,3,6}:{(1091,1),(1110,1),(1150,1),(1409,1)}
1268:{2,3,6}:{(1089,1),(1111,1),(1149,1),(1336,1),(1414,1),(1568,1)}
1269:{2,3,6}:{(1090,1),(1112,1),(1151,1),(1336,1),(1407,1),(1415,1),(1568,1),(1602,1)}
1270:{2,3,5}:{(1096,1),(1116,1),(1146,1),(1400,1),(1418,1),(1441,1),(1447,1),(1588,1)}
1271:{2,3,5}:{(1095,1),(1118,1),(1147,1),(1417,1),(1449,1),(1588,1),(1602,1),(1738,1)}
1272:{1,2,3,4,5}:{(1097,1),(1117,1),(1148,1),(1351,1),(1398,1),(1410,1),(1416,1),(1443,1),(1446,1),(1583,1),(1620,1),(1622,1),(1749,1),(1754,1),(1759,1),(1766,1),(1773,1),(1778,1),(1780,1),(1789,1),(1830,1),(1840,1),(1843,1)}
1273:{2,3,4,6}:{(1093,1),(1115,1),(1116,1),(1152,1),(1337,1),(1352,1),(1396,1),(1407,1),(1412,1),(1418,1),(1441,1),(1445,1),(1583,1),(1592,1),(1631,1),(1646,1),(1737,1),(1783,1),(1830,1)}
1274:{2,3,4,6}:{(1092,1),(1114,1),(1118,1),(1154,1),(1337,1),(1395,1),(1411,1),(1417,1),(1449,1),(1592,1),(1632,1),(1737,1),(1830,1)}
1275:{1,2,3,4,6}:{(1094,1),(1113,1),(1117,1),(1153,1),(1352,1),(1397,1),(1409,1),(1410,1),(1442,1),(1446,1),(1583,1),(1645,1)}
1276:{1,5,6}:{(1079,1),(1123,1),(1130,1),(1328,1),(1404,1),(1572,1)}
1277:{1,4,5,6}:{(1078,1),(1122,1),(1128,1),(1328,1),(1358,1),(1406,1),(1432,1),(1572,1),(1581,1),(1582,1),(1603,1),(1604,1),(1632,1),(1764,1)}
1278:{1,5,6}:{(1077,1),(1124,1),(1129,1),(1649,1)}
1279:{1,4,6}:{(1080,1),(1159,1),(1387,1),(1409,1),(1420,1),(1427,1),(1583,1)}
1280:{1,4,6}:{(1082,1),(1158,1),(1330,1),(1357,1),(1386,1),(1396,1),(1407,1),(1421,1),(1425,1),(1583,1),(1631,1),(1649,1),(1653,1),(1830,1)}
1281:{1,2,4,6}:{(1081,1),(1160,1),(1330,1),(1357,1),(1388,1),(1395,1),(1408,1),(1419,1),(1426,1),(1570,1),(1592,1),(1604,1),(1608,1),(1616,1),(1632,1),(1648,1),(1651,1),(1756,1),(1763,1),(1772,1),(1786,1),(1830,2),(1831,1),(1832,1)}
1282:{1,4,5}:{(1085,1),(1133,1),(1135,1),(1428,1),(1434,1),(1651,1)}
1283:{1,4,5}:{(1084,1),(1131,1),(1134,1),(1423,1),(1430,1),(1436,1),(1653,1)}
1284:{1,4,5,6}:{(1083,1),(1132,1),(1136,1),(1360,1),(1424,1),(1429,1),(1604,1),(1649,1),(1764,1),(1784,1)}
1285:{1,3,5}:{(1131,1),(1140,1),(1164,1),(1169,1),(1423,1)}
1286:{1,3,5}:{(1133,1),(1142,1),(1163,1),(1168,1),(1422,1),(1572,1),(1735,1)}
1287:{1,2,3,5,6}:{(1132,1),(1141,1),(1162,1),(1170,1),(1364,1),(1424,1),(1429,1),(1615,1),(1624,1),(1658,1)}
1288:{1,3,6}:{(1090,1),(1134,1),(1137,1),(1336,1),(1430,1),(1568,1)}
1289:{1,3,4,6}:{(1089,1),(1135,1),(1138,1),(1336,1),(1365,1),(1428,1),(1437,1),(1568,1),(1589,1),(1590,1),(1608,1),(1612,1),(1651,1),(1768,1)}
1290:{1,3,6}:{(1091,1),(1136,1),(1139,1),(1649,1)}
1291:{1,2,5}:{(1098,1),(1123,1),(1152,1),(1328,1),(1412,1),(1421,1),(1572,1),(1591,1)}
1292:{1,2,5}:{(1099,1),(1122,1),(1154,1),(1328,1),(1411,1),(1572,1)}
1293:{1,2,5}:{(1100,1),(1124,1),(1153,1),(1420,1)}
1294:{1,2,4,5}:{(1103,1),(1127,1),(1145,1),(1151,1),(1356,1),(1369,1),(1396,1),(1415,1),(1421,1),(1436,1),(1441,1),(1446,1),(1583,1),(1616,1),(1643,1),(1653,1),(1747,1),(1789,1),(1830,1)}
1295:{1,2,4,5}:{(1101,1),(1125,1),(1143,1),(1149,1),(1356,1),(1395,1),(1414,1),(1434,1),(1447,1),(1616,1),(1651,1),(1747,1),(1830,1)}
1296:{1,2,4,5,6}:{(1102,1),(1126,1),(1144,1),(1150,1),(1369,1),(1397,1),(1413,1),(1420,1),(1442,1),(1445,1),(1583,1),(1642,1)}
1297:{1,2,4,6}:{(1106,1),(1128,1),(1147,1),(1341,1),(1376,1),(1388,1),(1417,1),(1432,1),(1592,1),(1604,1),(1614,1),(1632,1),(1648,1)}
1298:{1,2,4,6}:{(1104,1),(1130,1),(1146,1),(1341,1),(1376,1),(1386,1),(1418,1),(1433,1),(1604,1),(1631,1),(1649,1)}
1299:{1,2,4,6}:{(1105,1),(1129,1),(1148,1),(1387,1),(1431,1)}
1300:{1,2,4,6}:{(1107,1),(1135,1),(1157,1),(1374,1),(1377,1),(1426,1),(1434,1),(1437,1),(1608,1),(1614,1),(1616,1),(1648,1),(1651,1)}
1301:{1,2,4,6}:{(1109,1),(1134,1),(1156,1),(1374,1),(1377,1),(1425,1),(1436,1),(1438,1),(1608,1),(1649,1),(1653,1)}
1302:{1,2,4,6}:{(1108,1),(1136,1),(1155,1),(1427,1),(1439,1)}
1303:{1,2,3}:{(1111,1),(1138,1),(1157,1),(1426,1),(1738,1)}
1304:{1,2,3,5}:{(1110,1),(1139,1),(1155,1),(1383,1),(1427,1),(1439,1),(1620,1),(1654,1)}
1305:{1,2,3}:{(1112,1),(1137,1),(1156,1),(1425,1)}
1306:{3,4,6}:{(1170,1),(1392,1),(1424,1),(1632,1),(1754,1),(1830,1)}
1307:{4}:{(1169,1),(1441,1)}
1308:{1,4,6}:{(1167,1),(1393,1),(1402,1),(1442,1)}
1309:{1,4,5}:{(1166,1),(1391,1),(1403,1),(1651,1),(1749,1),(1830,1)}
1310:{1,3,4,5,6}:{(1165,1),(1397,1),(1444,1),(1633,1)}
1311:{4,5}:{(1168,1),(1389,1),(1395,1),(1447,1)}
1312:{4,6}:{(1162,1),(1394,1),(1583,1)}
1313:{1,4}:{(1161,1),(1401,1),(1583,1)}
1314:{3,4}:{(1164,1),(1395,1),(1423,1),(1449,1)}
1315:{3,4,5}:{(1163,1),(1390,1),(1396,1),(1422,1),(1448,1),(1582,1),(1590,1),(1735,1),(1830,1)}
1316:{4,5}:{(1172,1),(1181,1),(1450,1),(1805,1)}
1317:{4,5,6}:{(1171,1),(1181,1),(1182,1),(1465,1),(1466,1),(1467,1),(1665,1),(1805,1)}
1318:{4,6}:{(1173,1),(1182,1)}
1319:{1,4}:{(1177,1),(1192,1)}
1320:{3,4}:{(1178,1),(1218,1),(1464,1),(1805,1)}
1321:{1,3,4}:{(1179,1),(1192,1),(1218,1),(1476,1),(1492,1),(1496,1),(1662,1),(1805,1)}
1322:{1,2,5,6}:{(1171,1),(1176,1),(1212,1),(1229,1),(1455,1),(1494,1),(1697,1),(1704,1)}
1323:{1,2,5,6}:{(1173,1),(1175,1),(1212,1),(1229,1),(1453,1)}
1324:{1,5}:{(1172,1),(1174,1),(1460,1)}
1325:{1,2,3,6}:{(1176,1),(1179,1),(1207,1),(1222,1),(1456,1),(1474,1),(1681,1),(1692,1)}
1326:{3,6}:{(1174,1),(1178,1),(1460,1)}
1327:{1,2,3,6}:{(1175,1),(1177,1),(1207,1),(1222,1),(1458,1)}
1328:{5}:{(1184,1)}
1329:{4,5}:{(1183,1),(1198,1),(1466,1),(1805,1)}
1330:{4,6}:{(1183,1),(1204,1),(1465,1),(1805,1)}
1331:{3,4,5,6}:{(1180,1),(1185,1),(1187,1),(1188,1),(1465,1),(1466,1),(1473,1),(1482,1),(1495,1),(1518,1),(1524,1),(1526,1),(1665,1),(1676,1),(1677,1),(1680,1),(1681,1),(1717,1),(1790,1),(1805,1),(1807,1)}
1332:{3,4}:{(1183,1),(1205,1),(1496,1),(1805,1)}
1333:{3,5,6}:{(1189,1),(1208,1),(1253,1),(1254,1),(1469,1)}
1334:{3,5}:{(1191,1),(1209,1)}
1335:{3,4,6}:{(1189,1),(1190,1),(1210,1),(1473,1),(1486,1),(1526,1),(1676,1),(1681,1)}
1336:{3}:{(1211,1)}
1337:{3,4,6}:{(1184,1),(1192,1),(1207,1),(1458,1),(1467,1),(1472,1)}
1338:{2,5,6}:{(1180,1),(1193,1),(1195,1),(1478,1)}
1339:{2,4,5}:{(1193,1),(1196,1),(1240,1),(1241,1),(1478,1),(1481,1)}
1340:{2,4}:{(1183,1),(1201,1),(1667,1),(1805,1)}
1341:{2,4,6}:{(1184,1),(1197,1),(1200,1),(1466,1),(1477,1)}
1342:{2,3,5,6}:{(1185,1),(1198,1),(1200,1),(1258,1),(1260,1),(1466,1),(1477,1),(1504,1),(1525,1),(1526,1),(1677,1),(1681,1)}
1343:{2,3,5}:{(1187,1),(1193,1),(1203,1),(1479,1),(1505,1),(1536,1),(1684,1)}
1344:{2,3,5,6}:{(1186,1),(1194,1),(1199,1),(1261,1),(1263,1),(1451,1),(1506,1),(1525,1),(1526,1),(1534,1),(1535,1),(1677,1),(1684,1),(1793,1)}
1345:{2,3,6}:{(1188,1),(1195,1),(1201,1),(1480,1),(1507,1),(1535,1),(1667,1)}
1346:{2,3,4,6}:{(1181,1),(1199,1),(1202,1),(1450,1),(1471,1),(1474,1),(1480,1),(1508,1),(1662,1),(1667,1),(1692,1),(1805,1)}
1347:{2,3,4,5}:{(1182,1),(1202,1),(1261,1),(1263,1),(1451,1),(1468,1),(1475,1),(1479,1),(1509,1),(1527,1),(1528,1),(1540,1),(1541,1),(1678,1),(1684,1),(1691,1),(1693,1),(1723,1),(1793,1),(1805,1)}
1348:{2,3,4}:{(1196,1),(1206,1),(1244,1),(1245,1),(1481,1),(1511,1)}
1349:{2,3,5,6}:{(1207,1),(1225,1),(1246,1),(1247,1),(1264,1),(1266,1),(1467,1),(1472,1),(1534,1),(1535,1),(1684,1),(1793,1)}
1350:{2,3,6}:{(1189,1),(1205,1),(1226,1),(1471,1),(1474,1),(1526,1),(1681,1)}
1351:{2,3,5}:{(1190,1),(1206,1),(1227,1),(1483,1),(1486,1),(1543,1),(1693,1)}
1352:{2,3,6}:{(1191,1),(1206,1),(1228,1),(1484,1),(1543,1)}
1353:{2,3,4,5}:{(1192,1),(1197,1),(1270,1),(1271,1),(1462,1),(1468,1),(1472,1),(1483,1),(1487,1),(1521,1),(1523,1),(1540,1),(1541,1),(1682,1),(1684,1),(1686,1),(1693,1),(1723,1),(1793,1),(1805,1)}
1354:{1,4,5,6}:{(1180,1),(1209,1),(1210,1),(1276,1),(1278,1),(1465,1),(1473,1),(1501,1),(1518,1),(1663,1),(1676,1),(1697,1),(1814,1)}
1355:{1,4,6}:{(1181,1),(1211,1),(1230,1),(1454,1),(1474,1)}
1356:{1,4,5}:{(1182,1),(1211,1),(1229,1),(1453,1),(1475,1),(1492,1)}
1357:{1,4}:{(1183,1),(1235,1),(1476,1),(1805,1)}
1358:{1,5,6}:{(1185,1),(1213,1),(1216,1),(1494,1)}
1359:{1,4,5,6}:{(1186,1),(1212,1),(1214,1),(1282,1),(1283,1),(1453,1),(1490,1),(1498,1),(1506,1),(1663,1),(1697,1),(1698,1),(1699,1)}
1360:{1,4,5}:{(1187,1),(1213,1),(1217,1),(1499,1),(1505,1),(1552,1),(1696,1),(1697,1)}
1361:{1,4,6}:{(1188,1),(1215,1),(1219,1),(1507,1)}
1362:{1,4,6}:{(1184,1),(1218,1),(1236,1),(1457,1),(1494,1)}
1363:{1,3,5,6}:{(1212,1),(1222,1),(1246,1),(1247,1),(1285,1),(1286,1),(1490,1)}
1364:{1,3,5}:{(1213,1),(1223,1),(1249,1),(1251,1),(1491,1)}
1365:{1,3,6}:{(1189,1),(1214,1),(1220,1),(1474,1)}
1366:{1,3,4,5}:{(1190,1),(1215,1),(1220,1),(1221,1),(1476,1),(1496,1),(1499,1),(1500,1),(1514,1),(1552,1),(1553,1),(1556,1),(1662,1),(1680,1),(1696,1),(1697,1),(1700,1),(1725,1),(1796,1),(1805,1),(1814,1)}
1367:{1,3,4,6}:{(1216,1),(1222,1),(1224,1),(1256,1),(1257,1),(1458,1),(1490,1),(1497,1),(1516,1),(1661,1),(1681,1),(1695,1),(1698,1)}
1368:{1,3,4,6}:{(1191,1),(1217,1),(1221,1),(1288,1),(1290,1),(1476,1),(1499,1),(1517,1),(1556,1),(1661,1),(1681,1),(1696,1),(1807,1)}
1369:{1,2,5}:{(1193,1),(1209,1),(1228,1),(1484,1),(1536,1)}
1370:{1,2,4,5,6}:{(1194,1),(1208,1),(1225,1),(1226,1),(1294,1),(1295,1),(1453,1),(1455,1),(1465,1),(1467,1),(1485,1),(1501,1),(1506,1),(1533,1),(1535,1),(1550,1),(1663,1),(1666,1),(1668,1),(1676,1),(1684,1),(1697,1),(1699,1),(1704,1),(1707,1),(1720,1),(1805,1),(1808,1),(1814,1),(1822,1),(1827,1)}
1371:{1,2,4,6}:{(1195,1),(1210,1),(1227,1),(1478,1),(1480,1),(1486,1),(1501,1),(1507,1),(1535,1),(1676,1),(1708,1),(1720,1),(1827,1)}
1372:{1,2,4,6}:{(1196,1),(1237,1),(1279,1),(1280,1),(1478,1),(1480,1),(1488,1),(1502,1),(1503,1),(1511,1),(1540,1),(1676,1),(1685,1),(1696,1),(1708,1),(1720,1),(1732,1),(1805,1),(1816,1),(1827,1)}
1373:{1,2,5}:{(1198,1),(1213,1),(1234,1),(1489,1),(1494,1),(1552,1),(1697,1)}
1374:{1,2,6}:{(1199,1),(1214,1),(1231,1)}
1375:{1,2,5}:{(1201,1),(1215,1),(1232,1),(1503,1),(1507,1),(1560,1),(1667,1)}
1376:{1,2,6}:{(1200,1),(1216,1),(1233,1)}
1377:{1,2,4}:{(1202,1),(1211,1),(1231,1),(1496,1),(1515,1)}
1378:{1,2,4,6}:{(1203,1),(1217,1),(1232,1),(1503,1),(1505,1),(1507,1),(1511,1),(1517,1),(1560,1),(1696,1),(1708,1),(1732,1),(1827,1)}
1379:{1,2,4,5}:{(1197,1),(1218,1),(1233,1),(1464,1),(1489,1),(1494,1),(1503,1),(1510,1),(1665,1),(1667,1),(1704,1),(1805,1)}
1380:{1,2,3,5}:{(1229,1),(1238,1),(1264,1),(1266,1),(1285,1),(1286,1),(1475,1),(1492,1),(1560,1),(1562,1),(1693,1),(1793,1)}
1381:{1,2,3,5,6}:{(1204,1),(1219,1),(1230,1),(1235,1),(1236,1),(1460,1),(1474,1),(1493,1),(1494,1),(1504,1),(1507,1),(1513,1),(1667,1),(1669,1),(1673,1),(1680,1),(1681,1),(1692,1),(1697,1),(1704,1),(1817,1),(1862,1)}
1382:{1,2,3,5}:{(1205,1),(1220,1),(1231,1),(1303,1),(1305,1),(1496,1),(1513,1),(1515,1),(1551,1),(1552,1),(1697,1),(1700,1)}
1383:{1,2,3}:{(1206,1),(1221,1),(1232,1),(1511,1)}
1384:{1,2,3,5}:{(1224,1),(1233,1),(1239,1),(1270,1),(1271,1),(1462,1),(1516,1),(1551,1),(1552,1),(1560,1),(1562,1),(1693,1),(1700,1),(1793,1)}
1385:{1,2,3,4,6}:{(1223,1),(1234,1),(1238,1),(1239,1),(1273,1),(1274,1),(1456,1),(1458,1),(1476,1),(1492,1),(1512,1),(1516,1),(1517,1),(1559,1),(1560,1),(1561,1),(1661,1),(1666,1),(1668,1),(1681,1),(1692,1),(1693,1),(1695,1),(1696,1),(1710,1),(1732,1),(1805,1),(1807,1),(1812,1),(1813,1),(1827,1)}
1386:{4,6}:{(1241,1),(1260,1),(1526,1)}
1387:{4,6}:{(1240,1),(1259,1)}
1388:{2,4,6}:{(1242,1),(1258,1),(1466,1),(1525,1)}
1389:{4,6}:{(1247,1),(1307,1),(1311,1),(1535,1)}
1390:{3,4,6}:{(1246,1),(1314,1),(1315,1),(1467,1),(1490,1),(1534,1)}
1391:{1,4,6}:{(1248,1),(1309,1),(1313,1),(1469,1),(1676,1)}
1392:{3,4,5}:{(1249,1),(1306,1),(1314,1),(1491,1),(1523,1),(1537,1)}
1393:{1,4,5}:{(1250,1),(1308,1),(1313,1),(1470,1),(1538,1)}
1394:{4,5}:{(1251,1),(1307,1),(1312,1),(1536,1)}
1395:{4}:{(1264,1)}
1396:{4}:{(1266,1)}
1397:{1,4,6}:{(1265,1),(1522,1),(1529,1)}
1398:{3,4,5}:{(1240,1),(1244,1),(1481,1),(1524,1),(1530,1),(1553,1)}
1399:{2,3,5}:{(1242,1),(1243,1),(1468,1),(1525,1),(1551,1)}
1400:{3,5}:{(1241,1),(1245,1),(1526,1),(1552,1)}
1401:{3,4}:{(1254,1),(1307,1),(1313,1),(1543,1)}
1402:{3,4,6}:{(1252,1),(1308,1),(1312,1),(1470,1),(1544,1)}
1403:{3,4,5}:{(1253,1),(1309,1),(1311,1),(1469,1),(1528,1),(1542,1)}
1404:{3,5,6}:{(1251,1),(1256,1),(1276,1),(1472,1),(1518,1)}
1405:{1,3,5,6}:{(1250,1),(1255,1),(1278,1),(1473,1),(1519,1),(1697,1),(1797,1)}
1406:{3,5,6}:{(1249,1),(1257,1),(1277,1),(1472,1),(1680,1),(1681,1)}
1407:{3,4,6}:{(1245,1),(1269,1),(1280,1),(1476,1),(1526,1),(1527,1),(1532,1),(1681,1)}
1408:{2,3,4,6}:{(1243,1),(1268,1),(1281,1),(1471,1),(1476,1),(1525,1),(1528,1),(1531,1),(1661,1),(1681,1),(1692,1),(1693,1),(1716,1),(1805,1),(1807,1),(1812,1),(1813,1)}
1409:{3,4,6}:{(1244,1),(1267,1),(1279,1),(1530,1)}
1410:{1,2,3,5}:{(1250,1),(1275,1),(1293,1),(1484,1),(1522,1),(1530,1),(1538,1),(1724,1)}
1411:{2,3,5}:{(1249,1),(1274,1),(1292,1),(1472,1),(1523,1),(1684,1)}
1412:{2,3,5}:{(1251,1),(1273,1),(1291,1),(1472,1),(1521,1),(1532,1),(1536,1),(1684,1)}
1413:{2,3,5,6}:{(1252,1),(1267,1),(1296,1),(1484,1),(1529,1),(1530,1),(1544,1),(1724,1)}
1414:{2,3,5}:{(1253,1),(1268,1),(1295,1),(1475,1),(1528,1),(1693,1)}
1415:{2,3,5}:{(1254,1),(1269,1),(1294,1),(1475,1),(1527,1),(1532,1),(1543,1),(1693,1)}
1416:{1,2,3,4,6}:{(1255,1),(1272,1),(1299,1),(1486,1),(1524,1),(1533,1),(1547,1),(1676,1),(1708,1),(1710,1),(1807,1),(1810,1),(1816,1),(1826,1),(1827,1)}
1417:{2,3,6}:{(1257,1),(1271,1),(1297,1),(1681,1)}
1418:{2,3,6}:{(1256,1),(1270,1),(1298,1),(1526,1),(1535,1),(1681,1)}
1419:{1,2,4,5}:{(1242,1),(1281,1),(1292,1),(1465,1),(1489,1),(1523,1),(1531,1),(1551,1),(1663,1),(1684,1),(1697,1),(1704,1),(1726,1),(1805,1),(1808,1),(1814,1),(1822,1)}
1420:{1,4,5}:{(1240,1),(1279,1),(1293,1),(1530,1)}
1421:{1,4,5}:{(1241,1),(1280,1),(1291,1),(1465,1),(1521,1),(1532,1),(1552,1),(1697,1)}
1422:{1,4,5}:{(1286,1),(1311,1),(1315,1),(1490,1),(1492,1),(1562,1)}
1423:{1,4}:{(1285,1),(1307,1),(1314,1),(1560,1)}
1424:{1,4,6}:{(1287,1),(1306,1),(1312,1),(1491,1),(1696,1)}
1425:{1,4}:{(1245,1),(1305,1),(1552,1)}
1426:{1,2,4}:{(1243,1),(1303,1),(1496,1),(1551,1)}
1427:{1,4}:{(1244,1),(1304,1)}
1428:{1,3,5}:{(1253,1),(1282,1),(1289,1),(1475,1),(1680,1),(1697,1)}
1429:{1,3,5,6}:{(1252,1),(1284,1),(1290,1),(1499,1),(1555,1),(1681,1),(1791,1)}
1430:{1,3,5}:{(1254,1),(1283,1),(1288,1),(1475,1),(1556,1)}
1431:{1,2,5,6}:{(1259,1),(1278,1),(1293,1),(1299,1),(1549,1),(1708,1)}
1432:{1,2,5,6}:{(1258,1),(1277,1),(1292,1),(1297,1),(1477,1),(1546,1),(1684,1),(1704,1)}
1433:{1,2,5,6}:{(1260,1),(1276,1),(1291,1),(1298,1),(1477,1),(1545,1),(1550,1),(1827,1)}
1434:{1,2,5}:{(1263,1),(1282,1),(1300,1),(1697,1)}
1435:{1,2,4,5,6}:{(1262,1),(1284,1),(1302,1),(1505,1),(1553,1),(1561,1),(1564,1),(1696,1),(1707,1),(1708,1),(1814,1),(1816,1),(1821,1),(1823,1),(1827,1)}
1436:{1,2,5}:{(1261,1),(1283,1),(1301,1),(1552,1),(1560,1),(1697,1)}
1437:{1,2,3,6}:{(1268,1),(1289,1),(1300,1),(1303,1),(1515,1),(1565,1),(1692,1),(1693,1)}
1438:{1,2,3,6}:{(1269,1),(1288,1),(1301,1),(1305,1),(1515,1),(1559,1),(1563,1),(1827,1)}
1439:{1,2,3,6}:{(1267,1),(1290,1),(1302,1),(1304,1),(1558,1),(1708,1)}
1440:{2,3,4,6}:{(1306,1),(1537,1),(1561,1),(1721,1),(1812,1),(1813,1)}
1441:{2}:{(1307,1)}
1442:{1,2,6}:{(1308,1),(1538,1),(1544,1)}
1443:{1,2,4,5}:{(1309,1),(1533,1),(1542,1),(1731,1),(1808,1),(1822,1)}
1444:{1,2,3,5,6}:{(1310,1),(1539,1),(1724,1)}
1445:{2,4,6}:{(1312,1),(1536,1),(1544,1),(1685,1)}
1446:{1,2,4}:{(1313,1),(1538,1),(1543,1),(1685,1)}
1447:{2,5}:{(1311,1),(1535,1),(1541,1)}
1448:{2,3,5}:{(1315,1),(1534,1),(1540,1),(1562,1),(1684,1),(1693,1)}
1449:{2,3}:{(1314,1),(1541,1),(1560,1)}
1450:{2,3,5}:{(1316,1),(1346,1),(1566,1),(1577,1),(1584,1),(1591,1)}
1451:{2,3,4,6}:{(1318,1),(1344,1),(1347,1),(1568,1),(1576,1),(1585,1),(1587,1),(1592,1),(1593,1),(1737,1),(1762,1),(1783,1),(1830,1)}
1452:{2,3,4,5,6}:{(1317,1),(1344,1),(1346,1),(1347,1),(1567,1),(1575,1),(1584,1),(1585,1),(1587,1),(1591,1),(1592,1),(1593,1),(1734,1),(1739,1),(1746,1),(1749,1),(1750,1),(1755,1),(1757,1),(1758,1),(1760,1),(1762,1),(1781,1),(1783,1),(1830,1),(1832,1),(1833,1),(1834,1),(1842,1),(1843,1),(1872,1)}
1453:{1,4,6}:{(1318,1),(1323,1),(1356,1),(1568,1)}
1454:{1,4,5}:{(1316,1),(1324,1),(1355,1),(1566,1),(1569,1),(1577,1),(1745,1)}
1455:{1,4,5,6}:{(1317,1),(1322,1),(1355,1),(1356,1),(1567,1),(1571,1),(1603,1),(1604,1)}
1456:{1,3,4,6}:{(1321,1),(1325,1),(1337,1),(1362,1),(1571,1),(1574,1),(1589,1),(1608,1)}
1457:{3,4,6}:{(1320,1),(1326,1),(1362,1),(1569,1),(1573,1),(1580,1),(1740,1)}
1458:{1,4,6}:{(1319,1),(1327,1),(1337,1),(1572,1)}
1459:{1,2,3,5,6}:{(1322,1),(1325,1),(1349,1),(1363,1),(1380,1),(1567,1),(1571,1),(1574,1),(1614,1),(1739,1),(1748,1),(1760,1)}
1460:{3,5}:{(1324,1),(1326,1),(1569,1)}
1461:{1,2,3,5,6}:{(1323,1),(1327,1),(1349,1),(1363,1),(1380,1),(1568,1),(1570,1),(1572,1),(1614,1),(1735,1),(1737,1),(1747,1)}
1462:{1,2,4,5}:{(1319,1),(1353,1),(1384,1),(1572,1),(1579,1),(1606,1),(1607,1),(1616,1),(1622,1),(1747,1),(1773,1),(1789,1),(1830,1)}
1463:{1,2,3,4,5}:{(1321,1),(1353,1),(1379,1),(1384,1),(1574,1),(1578,1),(1588,1),(1602,1),(1606,1),(1607,1),(1616,1),(1622,1),(1734,1),(1738,1),(1748,1),(1754,1),(1760,1),(1761,1),(1769,1),(1773,1),(1778,1),(1780,1),(1788,1),(1789,1),(1830,1),(1832,1),(1839,1),(1840,1),(1843,1),(1846,1),(1872,1)}
1464:{2,3,5}:{(1320,1),(1379,1),(1573,1),(1580,1),(1588,1),(1602,1)}
1465:{4,5}:{(1328,1),(1330,1),(1584,1),(1591,1)}
1466:{4,6}:{(1329,1),(1342,1)}
1467:{4,6}:{(1349,1),(1395,1),(1396,1),(1582,1),(1830,1)}
1468:{3,4,5}:{(1329,1),(1332,1),(1399,1),(1400,1),(1584,1),(1585,1),(1588,1),(1607,1)}
1469:{3,4,6}:{(1333,1),(1389,1),(1391,1),(1401,1),(1403,1),(1595,1)}
1470:{3,4,5}:{(1334,1),(1393,1),(1394,1),(1401,1),(1402,1),(1583,1),(1596,1)}
1471:{3,4,6}:{(1330,1),(1332,1),(1350,1),(1584,1),(1608,1)}
1472:{3,5}:{(1328,1),(1337,1),(1572,1),(1582,1)}
1473:{3,5,6}:{(1334,1),(1335,1),(1354,1),(1584,1),(1735,1),(1843,1)}
1474:{3,6}:{(1336,1),(1355,1),(1566,1)}
1475:{3,5}:{(1336,1),(1356,1),(1568,1),(1590,1)}
1476:{3,4}:{(1336,1),(1357,1),(1588,1),(1602,1)}
1477:{2,5,6}:{(1328,1),(1341,1),(1581,1),(1591,1)}
1478:{2,4,6}:{(1338,1),(1339,1),(1386,1),(1387,1),(1594,1)}
1479:{2,4,5}:{(1329,1),(1340,1),(1343,1),(1583,1),(1591,1),(1593,1),(1746,1),(1749,1),(1830,1)}
1480:{2,4,6}:{(1330,1),(1340,1),(1345,1),(1591,1)}
1481:{2,3,5}:{(1339,1),(1348,1),(1398,1),(1400,1),(1594,1),(1620,1)}
1482:{2,3,5,6}:{(1331,1),(1338,1),(1343,1),(1345,1),(1591,1),(1593,1),(1594,1),(1621,1),(1641,1),(1746,1),(1760,1),(1762,1),(1783,1),(1834,1)}
1483:{2,3,4}:{(1332,1),(1340,1),(1351,1),(1583,1),(1602,1),(1622,1),(1738,1),(1754,1),(1830,1)}
1484:{2,3,5}:{(1334,1),(1352,1),(1369,1),(1583,1)}
1485:{2,3,5,6}:{(1333,1),(1350,1),(1370,1),(1414,1),(1415,1),(1567,1),(1568,1),(1584,1),(1587,1),(1595,1),(1636,1),(1735,1),(1737,1),(1739,1),(1758,1),(1760,1),(1762,1),(1783,1),(1843,1)}
1486:{2,3,6}:{(1335,1),(1351,1),(1371,1)}
1487:{2,3,4,6}:{(1337,1),(1341,1),(1353,1),(1417,1),(1418,1),(1579,1),(1585,1),(1592,1),(1599,1),(1631,1),(1632,1),(1737,1),(1753,1),(1783,1),(1830,1)}
1488:{2,3,4,6}:{(1348,1),(1352,1),(1372,1),(1407,1),(1409,1),(1583,1),(1594,1),(1601,1),(1602,1),(1646,1),(1737,1),(1751,1),(1754,1),(1762,1),(1783,1),(1830,1)}
1489:{1,4,5}:{(1329,1),(1357,1),(1373,1),(1588,1),(1604,1)}
1490:{1,4,6}:{(1363,1),(1389,1),(1390,1),(1422,1),(1423,1),(1614,1)}
1491:{1,4,5}:{(1364,1),(1392,1),(1394,1),(1423,1),(1424,1),(1615,1)}
1492:{1,4}:{(1380,1),(1395,1),(1396,1),(1590,1),(1830,1)}
1493:{1,4,6}:{(1330,1),(1357,1),(1381,1),(1569,1),(1589,1),(1603,1),(1740,1),(1745,1)}
1494:{1,5}:{(1328,1),(1362,1),(1573,1)}
1495:{1,4,5,6}:{(1331,1),(1358,1),(1360,1),(1361,1),(1603,1),(1604,1),(1609,1),(1621,1),(1649,1),(1650,1),(1763,1),(1764,1),(1784,1),(1837,1)}
1496:{1,4}:{(1332,1),(1382,1)}
1497:{1,3,5,6}:{(1358,1),(1364,1),(1367,1),(1404,1),(1406,1),(1572,1),(1574,1),(1605,1),(1735,1),(1764,1)}
1498:{1,3,5,6}:{(1333,1),(1359,1),(1365,1),(1428,1),(1430,1),(1567,1),(1568,1),(1610,1),(1735,1),(1768,1)}
1499:{1,3,5}:{(1334,1),(1360,1),(1368,1),(1588,1),(1735,1),(1843,1)}
1500:{1,3,4,6}:{(1335,1),(1361,1),(1365,1),(1366,1),(1589,1),(1608,1),(1609,1),(1626,1),(1649,1),(1650,1),(1763,1),(1768,1),(1784,1),(1837,1)}
1501:{1,2,5,6}:{(1338,1),(1354,1),(1369,1),(1371,1),(1591,1),(1600,1),(1641,1),(1747,1),(1773,1)}
1502:{1,2,4,5}:{(1339,1),(1369,1),(1372,1),(1420,1),(1421,1),(1583,1),(1591,1),(1601,1),(1620,1),(1643,1),(1747,1),(1749,1),(1766,1),(1773,1),(1789,1),(1830,1)}
1503:{1,2,4}:{(1340,1),(1357,1),(1375,1),(1602,1)}
1504:{1,2,5,6}:{(1342,1),(1358,1),(1373,1),(1376,1),(1604,1),(1648,1),(1649,1),(1764,1)}
1505:{1,2,5}:{(1343,1),(1360,1),(1378,1)}
1506:{1,2,5,6}:{(1344,1),(1359,1),(1374,1),(1434,1),(1436,1),(1576,1),(1614,1),(1648,1),(1649,1),(1747,1),(1764,1)}
1507:{1,2,6}:{(1345,1),(1361,1),(1375,1)}
1508:{1,2,4,6}:{(1346,1),(1355,1),(1374,1),(1377,1),(1577,1),(1608,1),(1627,1),(1745,1)}
1509:{1,2,4,5}:{(1347,1),(1356,1),(1377,1),(1434,1),(1436,1),(1576,1),(1607,1),(1616,1),(1628,1),(1651,1),(1653,1),(1747,1),(1765,1),(1789,1),(1830,1)}
1510:{1,2,4,6}:{(1341,1),(1362,1),(1376,1),(1379,1),(1580,1),(1604,1),(1619,1),(1740,1)}
1511:{1,2,4}:{(1348,1),(1383,1),(1425,1),(1427,1),(1620,1)}
1512:{1,2,3,5}:{(1364,1),(1373,1),(1385,1),(1411,1),(1412,1),(1572,1),(1574,1),(1588,1),(1606,1),(1615,1),(1656,1),(1735,1),(1747,1),(1748,1),(1760,1),(1761,1),(1773,1),(1789,1),(1843,1)}
1513:{1,2,3,6}:{(1350,1),(1365,1),(1374,1),(1382,1),(1608,1),(1648,1),(1649,1),(1768,1)}
1514:{1,2,3,5}:{(1351,1),(1366,1),(1375,1),(1383,1),(1602,1),(1620,1),(1622,1),(1626,1),(1657,1),(1738,1),(1760,1),(1773,1),(1789,1),(1839,1)}
1515:{1,2,3}:{(1336,1),(1377,1),(1602,1),(1612,1)}
1516:{1,2,3,6}:{(1367,1),(1376,1),(1384,1),(1417,1),(1418,1),(1579,1),(1614,1),(1648,1),(1649,1),(1737,1),(1768,1)}
1517:{1,2,3,6}:{(1352,1),(1368,1),(1378,1),(1383,1),(1602,1),(1624,1),(1657,1),(1737,1),(1762,1)}
1518:{4,5,6}:{(1389,1),(1394,1),(1404,1),(1582,1),(1631,1),(1641,1)}
1519:{1,4,5,6}:{(1391,1),(1393,1),(1405,1),(1586,1),(1639,1),(1765,1),(1784,1)}
1520:{3,4,5,6}:{(1390,1),(1392,1),(1406,1),(1582,1),(1605,1),(1632,1),(1640,1),(1735,1),(1736,1),(1753,1),(1830,1)}
1521:{4,5}:{(1396,1),(1412,1),(1583,1),(1631,1),(1830,1)}
1522:{1,4,5}:{(1397,1),(1410,1),(1583,1),(1633,1)}
1523:{4,5}:{(1395,1),(1411,1),(1632,1),(1830,1)}
1524:{3,4,6}:{(1387,1),(1398,1),(1594,1),(1638,1),(1650,1)}
1525:{2,3,6}:{(1388,1),(1399,1),(1585,1),(1648,1)}
1526:{3,6}:{(1386,1),(1400,1),(1649,1)}
1527:{3,4}:{(1396,1),(1415,1),(1583,1),(1653,1),(1830,1)}
1528:{3,4}:{(1395,1),(1414,1),(1651,1),(1830,1)}
1529:{3,4,6}:{(1397,1),(1413,1),(1583,1),(1633,1)}
1530:{3,5}:{(1409,1),(1420,1)}
1531:{2,3,5}:{(1408,1),(1419,1),(1584,1),(1588,1),(1634,1),(1735,1),(1843,1)}
1532:{3,5}:{(1407,1),(1421,1)}
1533:{1,2,4,6}:{(1391,1),(1443,1),(1446,1),(1595,1),(1639,1),(1756,1)}
1534:{2,3,6}:{(1390,1),(1448,1),(1449,1),(1592,1),(1614,1)}
1535:{2,6}:{(1389,1),(1441,1),(1447,1)}
1536:{2,5}:{(1394,1),(1441,1),(1445,1)}
1537:{2,3,5}:{(1392,1),(1440,1),(1449,1),(1615,1),(1644,1)}
1538:{1,2,5}:{(1393,1),(1442,1),(1446,1),(1596,1)}
1539:{1,2,4,6}:{(1397,1),(1442,1),(1444,1),(1642,1),(1645,1)}
1540:{2,4}:{(1396,1),(1441,1),(1448,1),(1830,1)}
1541:{2,4}:{(1395,1),(1447,1),(1449,1)}
1542:{2,3,5}:{(1403,1),(1443,1),(1447,1),(1595,1),(1647,1)}
1543:{2,3}:{(1401,1),(1441,1),(1446,1)}
1544:{2,3,6}:{(1402,1),(1442,1),(1445,1),(1596,1)}
1545:{2,3,5,6}:{(1404,1),(1412,1),(1418,1),(1433,1),(1631,1),(1636,1),(1641,1),(1783,1)}
1546:{2,3,5,6}:{(1406,1),(1411,1),(1417,1),(1432,1),(1632,1),(1760,1)}
1547:{1,2,3,5,6}:{(1405,1),(1410,1),(1416,1),(1431,1),(1600,1),(1630,1),(1638,1),(1639,1),(1773,1),(1782,1),(1840,1),(1843,1)}
1548:{1,2,4,5,6}:{(1388,1),(1419,1),(1432,1),(1581,1),(1604,1),(1632,1),(1637,1),(1648,1),(1741,1),(1755,1),(1764,1),(1771,1),(1786,1),(1850,1)}
1549:{1,4,5,6}:{(1387,1),(1420,1),(1431,1),(1638,1),(1650,1)}
1550:{1,4,5,6}:{(1386,1),(1421,1),(1433,1),(1581,1),(1604,1),(1631,1),(1636,1),(1649,1),(1764,1),(1784,1)}
1551:{1,2,5}:{(1399,1),(1426,1),(1607,1),(1648,1)}
1552:{1,5}:{(1400,1),(1425,1),(1649,1)}
1553:{1,4,5}:{(1398,1),(1427,1),(1620,1),(1650,1),(1654,1)}
1554:{1,3,4,5}:{(1403,1),(1422,1),(1428,1),(1590,1),(1610,1),(1651,1),(1659,1),(1735,1),(1736,1),(1765,1),(1830,1)}
1555:{1,3,4,6}:{(1402,1),(1424,1),(1429,1),(1611,1),(1658,1),(1753,1),(1784,1)}
1556:{1,3,4}:{(1401,1),(1423,1),(1430,1),(1590,1),(1653,1),(1657,1)}
1557:{1,2,3,4,6}:{(1408,1),(1426,1),(1437,1),(1608,1),(1612,1),(1648,1),(1651,1),(1655,1),(1744,1),(1768,1),(1775,1),(1780,1),(1786,1),(1853,1)}
1558:{1,3,4,6}:{(1409,1),(1427,1),(1439,1),(1650,1),(1654,1)}
1559:{1,3,4,6}:{(1407,1),(1425,1),(1438,1),(1608,1),(1612,1),(1649,1),(1653,1),(1656,1),(1768,1),(1784,1)}
1560:{1,2}:{(1423,1),(1441,1),(1449,1)}
1561:{1,2,4,6}:{(1424,1),(1440,1),(1445,1),(1615,1),(1658,1),(1772,1)}
1562:{1,2,5}:{(1422,1),(1447,1),(1448,1),(1614,1),(1616,1)}
1563:{1,2,3,5}:{(1415,1),(1430,1),(1436,1),(1438,1),(1653,1),(1656,1),(1657,1),(1789,1)}
1564:{1,2,3,5,6}:{(1413,1),(1429,1),(1435,1),(1439,1),(1624,1),(1652,1),(1654,1),(1658,1),(1762,1),(1787,1),(1833,1),(1843,1)}
1565:{1,2,3,5}:{(1414,1),(1428,1),(1434,1),(1437,1),(1651,1),(1760,1)}
1566:{3,5}:{(1454,1),(1474,1),(1662,1)}
1567:{3,5,6}:{(1455,1),(1474,1),(1475,1),(1660,1),(1680,1),(1681,1)}
1568:{3,6}:{(1453,1),(1475,1)}
1569:{4}:{(1460,1),(1667,1)}
1570:{1,4,6}:{(1461,1),(1467,1),(1492,1),(1661,1),(1663,1)}
1571:{1,4,6}:{(1459,1),(1467,1),(1492,1),(1660,1),(1664,1),(1805,1)}
1572:{1,5}:{(1458,1),(1472,1)}
1573:{3,5}:{(1457,1),(1494,1),(1665,1)}
1574:{1,3,5}:{(1456,1),(1472,1),(1494,1),(1664,1),(1680,1),(1697,1)}
1575:{1,2,4,5,6}:{(1452,1),(1455,1),(1506,1),(1508,1),(1509,1),(1668,1),(1672,1),(1697,1),(1698,1),(1699,1),(1704,1),(1707,1),(1796,1),(1805,1),(1814,1),(1815,1),(1821,1),(1822,1),(1827,1),(1829,1),(1860,1),(1862,1),(1866,1)}
1576:{1,2,4,6}:{(1451,1),(1453,1),(1506,1),(1509,1),(1674,1),(1698,1),(1699,1),(1827,1)}
1577:{1,2,5}:{(1450,1),(1454,1),(1508,1),(1667,1),(1697,1)}
1578:{1,2,3,4,6}:{(1456,1),(1463,1),(1487,1),(1510,1),(1516,1),(1668,1),(1671,1),(1681,1),(1692,1),(1695,1),(1698,1),(1710,1),(1790,1),(1805,1),(1807,1),(1812,1),(1818,1),(1826,1),(1827,1),(1829,1),(1857,1),(1862,1),(1866,1)}
1579:{1,2,4,6}:{(1458,1),(1462,1),(1487,1),(1516,1),(1670,1),(1695,1),(1698,1),(1827,1)}
1580:{2,3,6}:{(1457,1),(1464,1),(1510,1),(1667,1),(1681,1)}
1581:{4,5,6}:{(1465,1),(1466,1),(1477,1),(1677,1)}
1582:{4,5}:{(1467,1),(1472,1),(1684,1)}
1583:{4}:{(1484,1)}
1584:{3,5}:{(1465,1),(1471,1),(1697,1)}
1585:{3,4,6}:{(1466,1),(1468,1),(1525,1),(1526,1),(1677,1),(1681,1),(1698,1)}
1586:{3,4,5,6}:{(1469,1),(1470,1),(1473,1),(1518,1),(1519,1),(1676,1),(1678,1),(1687,1),(1717,1)}
1587:{3,4,6}:{(1467,1),(1485,1),(1527,1),(1528,1),(1676,1),(1678,1),(1699,1),(1805,1)}
1588:{3,5}:{(1476,1),(1489,1),(1681,1)}
1589:{3,4,6}:{(1474,1),(1476,1),(1493,1),(1662,1),(1680,1),(1681,1),(1692,1),(1805,1)}
1590:{3,4}:{(1475,1),(1492,1),(1693,1)}
1591:{2,5}:{(1465,1),(1480,1)}
1592:{2,4,6}:{(1467,1),(1534,1),(1535,1),(1540,1),(1541,1),(1684,1)}
1593:{2,4,6}:{(1466,1),(1479,1),(1482,1),(1676,1),(1805,1)}
1594:{2,3,6}:{(1478,1),(1481,1),(1524,1),(1526,1),(1708,1)}
1595:{2,3,6}:{(1469,1),(1533,1),(1535,1),(1542,1),(1543,1)}
1596:{2,3,5}:{(1470,1),(1536,1),(1538,1),(1543,1),(1544,1),(1685,1)}
1597:{2,3,4,5}:{(1468,1),(1479,1),(1481,1),(1483,1),(1679,1),(1686,1),(1688,1),(1691,1),(1709,1),(1723,1),(1794,1),(1805,1),(1864,1)}
1598:{2,3,4,6}:{(1471,1),(1480,1),(1483,1),(1486,1),(1676,1),(1686,1),(1692,1),(1710,1),(1805,1),(1807,1)}
1599:{2,3,5,6}:{(1472,1),(1477,1),(1487,1),(1670,1),(1675,1),(1677,1),(1684,1),(1686,1),(1791,1),(1793,1)}
1600:{2,3,5,6}:{(1473,1),(1484,1),(1486,1),(1501,1),(1676,1),(1686,1),(1793,1)}
1601:{2,3,5}:{(1488,1),(1502,1),(1530,1),(1532,1),(1679,1)}
1602:{2,3}:{(1476,1),(1503,1)}
1603:{1,4,5}:{(1465,1),(1493,1),(1494,1),(1665,1),(1680,1),(1697,1),(1704,1),(1805,1)}
1604:{1,4,6}:{(1466,1),(1489,1),(1504,1),(1681,1)}
1605:{1,4,5,6}:{(1490,1),(1491,1),(1497,1),(1518,1),(1520,1),(1663,1),(1664,1),(1695,1),(1705,1)}
1606:{1,4,5}:{(1492,1),(1512,1),(1521,1),(1523,1),(1682,1),(1695,1),(1696,1),(1805,1)}
1607:{1,4,5}:{(1468,1),(1496,1),(1551,1),(1552,1),(1697,1),(1698,1),(1700,1)}
1608:{1,4,6}:{(1471,1),(1496,1),(1513,1),(1697,1)}
1609:{1,3,5,6}:{(1473,1),(1495,1),(1499,1),(1500,1),(1680,1),(1681,1),(1697,1)}
1610:{1,3,4,6}:{(1469,1),(1490,1),(1498,1),(1554,1),(1556,1),(1660,1),(1661,1),(1699,1),(1713,1)}
1611:{1,3,4,5}:{(1470,1),(1491,1),(1499,1),(1555,1),(1556,1),(1682,1),(1696,1),(1714,1),(1725,1)}
1612:{1,3,4}:{(1476,1),(1496,1),(1515,1),(1700,1)}
1613:{1,2,4,5,6}:{(1478,1),(1501,1),(1502,1),(1549,1),(1550,1),(1676,1),(1683,1),(1690,1),(1707,1),(1708,1),(1720,1),(1814,1),(1816,1),(1821,1),(1827,1)}
1614:{1,2,6}:{(1490,1),(1534,1),(1535,1),(1560,1),(1562,1)}
1615:{1,2,5}:{(1491,1),(1536,1),(1537,1),(1560,1),(1561,1)}
1616:{1,2,4}:{(1492,1),(1540,1),(1541,1),(1560,1),(1562,1),(1693,1)}
1617:{1,2,4,5}:{(1479,1),(1489,1),(1503,1),(1505,1),(1691,1),(1696,1),(1704,1),(1707,1),(1805,1),(1814,1)}
1618:{1,2,4,6}:{(1480,1),(1493,1),(1503,1),(1507,1),(1667,1),(1692,1),(1704,1),(1800,1),(1802,1),(1805,1),(1862,1)}
1619:{1,2,5,6}:{(1477,1),(1494,1),(1510,1),(1669,1),(1694,1),(1704,1),(1862,1)}
1620:{1,2,5}:{(1481,1),(1511,1),(1552,1),(1553,1),(1708,1)}
1621:{1,2,5,6}:{(1482,1),(1495,1),(1505,1),(1507,1),(1704,1),(1707,1),(1708,1),(1827,1),(1862,1)}
1622:{1,2,4}:{(1483,1),(1496,1),(1514,1),(1696,1),(1805,1)}
1623:{1,2,3,5,6}:{(1497,1),(1504,1),(1512,1),(1516,1),(1545,1),(1546,1),(1670,1),(1681,1),(1695,1),(1705,1),(1728,1),(1791,1),(1793,1),(1812,1),(1827,1)}
1624:{1,2,3,5}:{(1484,1),(1499,1),(1505,1),(1517,1),(1691,1),(1696,1),(1793,1)}
1625:{1,2,3,5,6}:{(1485,1),(1498,1),(1506,1),(1513,1),(1563,1),(1565,1),(1674,1),(1697,1),(1699,1),(1713,1),(1728,1),(1793,1),(1797,1),(1822,1),(1827,1)}
1626:{1,2,3,6}:{(1486,1),(1500,1),(1507,1),(1514,1),(1692,1),(1708,1),(1710,1),(1827,1),(1862,1)}
1627:{1,2,3,6}:{(1474,1),(1508,1),(1515,1),(1673,1),(1692,1),(1702,1),(1862,1)}
1628:{1,2,3,5}:{(1475,1),(1509,1),(1515,1),(1674,1),(1691,1),(1693,1),(1700,1),(1703,1),(1793,1),(1797,1)}
1629:{1,2,3,4,6}:{(1488,1),(1511,1),(1517,1),(1558,1),(1559,1),(1696,1),(1708,1),(1710,1),(1711,1),(1715,1),(1732,1),(1807,1),(1816,1),(1826,1),(1827,1)}
1630:{1,4,5,6}:{(1522,1),(1547,1),(1676,1),(1718,1),(1814,1),(1816,1),(1858,1)}
1631:{4,6}:{(1521,1),(1545,1)}
1632:{4,6}:{(1523,1),(1546,1),(1805,1)}
1633:{3,4,5}:{(1522,1),(1529,1),(1530,1),(1724,1)}
1634:{3,4,5}:{(1523,1),(1528,1),(1531,1),(1716,1),(1726,1),(1805,1)}
1635:{3,4,5}:{(1521,1),(1527,1),(1532,1),(1717,1),(1723,1),(1725,1)}
1636:{3,5,6}:{(1526,1),(1532,1),(1550,1),(1681,1),(1717,1)}
1637:{2,3,5,6}:{(1525,1),(1531,1),(1548,1),(1677,1),(1681,1),(1716,1),(1791,1),(1812,1)}
1638:{3,5,6}:{(1524,1),(1530,1),(1549,1)}
1639:{1,2,5,6}:{(1519,1),(1533,1),(1538,1),(1687,1),(1822,1),(1827,1)}
1640:{2,3,5,6}:{(1520,1),(1534,1),(1537,1),(1684,1),(1705,1),(1721,1),(1793,1),(1795,1),(1812,1)}
1641:{2,5,6}:{(1518,1),(1535,1),(1536,1),(1684,1),(1720,1)}
1642:{1,2,4,5}:{(1522,1),(1538,1),(1539,1),(1685,1),(1724,1)}
1643:{2,4,5}:{(1521,1),(1536,1),(1540,1),(1684,1),(1685,1),(1720,1),(1723,1)}
1644:{2,4,5}:{(1523,1),(1537,1),(1541,1),(1684,1),(1721,1)}
1645:{2,3,4,6}:{(1529,1),(1539,1),(1544,1),(1685,1),(1724,1)}
1646:{2,3,4}:{(1527,1),(1540,1),(1543,1),(1685,1),(1693,1),(1723,1),(1732,1)}
1647:{2,3,4}:{(1528,1),(1541,1),(1542,1),(1693,1),(1731,1)}
1648:{1,2,6}:{(1525,1),(1551,1),(1698,1)}
1649:{1,6}:{(1526,1),(1552,1)}
1650:{1,4,6}:{(1524,1),(1553,1),(1708,1),(1729,1)}
1651:{1,4}:{(1528,1),(1565,1),(1805,1)}
1652:{1,3,4,6}:{(1529,1),(1564,1),(1696,1),(1727,1),(1807,1),(1816,1),(1856,1)}
1653:{1,4}:{(1527,1),(1563,1)}
1654:{1,3,5}:{(1530,1),(1553,1),(1558,1)}
1655:{1,2,3,5}:{(1531,1),(1551,1),(1557,1),(1697,1),(1700,1),(1726,1),(1797,1),(1822,1)}
1656:{1,3,5}:{(1532,1),(1552,1),(1559,1),(1697,1),(1725,1)}
1657:{1,2,3}:{(1543,1),(1556,1),(1560,1),(1693,1),(1732,1)}
1658:{1,2,3,6}:{(1544,1),(1555,1),(1561,1),(1714,1),(1812,1),(1827,1)}
1659:{1,2,3,5}:{(1542,1),(1554,1),(1562,1),(1693,1),(1713,1),(1731,1),(1793,1),(1795,1),(1822,1)}
1660:{3,4,6}:{(1567,1),(1571,1),(1590,1),(1736,1),(1739,1)}
1661:{3,4,6}:{(1568,1),(1570,1),(1590,1),(1735,1),(1737,1),(1830,1)}
1662:{3,4}:{(1566,1),(1569,1),(1738,1),(1745,1)}
1663:{1,4,5}:{(1570,1),(1572,1),(1582,1),(1735,1),(1747,1),(1830,1)}
1664:{1,4,5}:{(1571,1),(1574,1),(1582,1),(1736,1),(1748,1)}
1665:{4,5}:{(1569,1),(1573,1),(1740,1),(1746,1)}
1666:{1,2,4,6}:{(1570,1),(1592,1),(1614,1),(1616,1),(1737,1),(1747,1),(1830,1)}
1667:{2}:{(1569,1)}
1668:{1,2,4,6}:{(1571,1),(1592,1),(1614,1),(1616,1),(1739,1),(1748,1),(1832,1)}
1669:{2,3,5,6}:{(1573,1),(1580,1),(1619,1),(1740,1),(1746,1),(1752,1),(1760,1),(1834,1)}
1670:{1,2,5,6}:{(1572,1),(1579,1),(1599,1),(1741,1),(1747,1),(1764,1),(1773,1)}
1671:{1,2,3,5,6}:{(1574,1),(1578,1),(1599,1),(1619,1),(1742,1),(1748,1),(1752,1),(1760,1),(1764,1),(1773,1),(1835,1),(1838,1),(1840,1),(1843,1),(1850,1)}
1672:{1,2,3,5,6}:{(1567,1),(1575,1),(1627,1),(1628,1),(1739,1),(1743,1),(1760,1),(1762,1),(1767,1),(1768,1),(1833,1),(1838,1),(1841,1),(1843,1),(1853,1)}
1673:{1,2,3,5}:{(1566,1),(1577,1),(1627,1),(1738,1),(1745,1),(1760,1),(1767,1),(1839,1)}
1674:{1,2,3,6}:{(1568,1),(1576,1),(1628,1),(1737,1),(1744,1),(1762,1),(1768,1)}
1675:{4,5,6}:{(1582,1),(1599,1),(1631,1),(1632,1),(1749,1),(1830,1)}
1676:{4,6}:{(1583,1),(1600,1),(1749,1),(1830,1)}
1677:{3,5,6}:{(1581,1),(1584,1),(1585,1),(1764,1)}
1678:{3,4,5}:{(1582,1),(1584,1),(1587,1),(1735,1),(1749,1),(1758,1),(1765,1),(1830,1),(1843,1)}
1679:{3,4,5}:{(1583,1),(1601,1),(1749,1),(1751,1),(1754,1),(1766,1),(1830,1),(1843,1)}
1680:{3,5}:{(1589,1),(1603,1)}
1681:{3,6}:{(1588,1),(1604,1)}
1682:{3,4,5}:{(1588,1),(1590,1),(1606,1),(1735,1),(1753,1),(1754,1),(1761,1),(1830,1),(1843,1)}
1683:{2,4,5,6}:{(1581,1),(1591,1),(1593,1),(1749,1),(1757,1)}
1684:{2,5}:{(1582,1),(1592,1)}
1685:{2,4}:{(1583,1),(1596,1)}
1686:{2,3,5}:{(1584,1),(1591,1),(1598,1),(1749,1),(1773,1),(1843,1)}
1687:{2,3,5,6}:{(1586,1),(1595,1),(1596,1),(1639,1),(1641,1),(1756,1),(1758,1),(1783,1)}
1688:{2,3,4,6}:{(1585,1),(1593,1),(1594,1),(1597,1),(1751,1),(1757,1),(1762,1),(1774,1),(1783,1),(1834,1),(1842,1)}
1689:{2,3,4,6}:{(1587,1),(1592,1),(1595,1),(1646,1),(1647,1),(1737,1),(1739,1),(1756,1),(1758,1),(1775,1),(1783,1),(1830,1),(1832,1)}
1690:{2,3,5,6}:{(1594,1),(1601,1),(1613,1),(1636,1),(1638,1),(1751,1),(1762,1),(1783,1),(1843,1)}
1691:{2,3,5}:{(1588,1),(1602,1),(1617,1),(1754,1),(1762,1),(1843,1)}
1692:{2,3,6}:{(1589,1),(1602,1),(1618,1),(1738,1),(1760,1)}
1693:{2,3}:{(1590,1),(1616,1)}
1694:{1,4,5,6}:{(1581,1),(1603,1),(1604,1),(1619,1),(1740,1),(1752,1),(1764,1),(1837,1)}
1695:{1,4,6}:{(1606,1),(1623,1),(1631,1),(1632,1),(1753,1),(1830,1)}
1696:{1,4}:{(1583,1),(1624,1),(1754,1),(1830,1)}
1697:{1,5}:{(1584,1),(1608,1)}
1698:{1,4,6}:{(1585,1),(1607,1),(1648,1),(1649,1),(1764,1),(1768,1)}
1699:{1,4,6}:{(1587,1),(1625,1),(1651,1),(1653,1),(1765,1),(1830,1)}
1700:{1,3,5}:{(1588,1),(1607,1),(1612,1),(1768,1)}
1701:{1,3,4,5,6}:{(1586,1),(1605,1),(1609,1),(1610,1),(1611,1),(1735,1),(1736,1),(1753,1),(1763,1),(1765,1),(1777,1),(1784,1),(1830,1),(1838,1),(1843,1),(1871,1),(1873,1)}
1702:{1,3,4,6}:{(1589,1),(1608,1),(1612,1),(1627,1),(1745,1),(1767,1),(1768,1),(1837,1)}
1703:{1,3,4}:{(1590,1),(1628,1),(1651,1),(1653,1),(1754,1),(1830,1)}
1704:{1,2,5}:{(1591,1),(1603,1),(1618,1),(1746,1),(1760,1)}
1705:{1,2,5,6}:{(1605,1),(1614,1),(1615,1),(1640,1),(1641,1),(1747,1),(1748,1),(1771,1)}
1706:{1,2,4,5}:{(1606,1),(1615,1),(1616,1),(1643,1),(1644,1),(1747,1),(1748,1),(1761,1),(1771,1),(1772,1),(1789,1),(1830,1),(1832,1)}
1707:{1,2,4,6}:{(1593,1),(1604,1),(1617,1),(1621,1),(1762,1),(1763,1)}
1708:{1,2,6}:{(1594,1),(1620,1),(1649,1),(1650,1)}
1709:{1,2,4,5}:{(1597,1),(1607,1),(1620,1),(1622,1),(1766,1),(1773,1),(1774,1),(1778,1),(1789,1),(1839,1),(1846,1)}
1710:{1,2,4,6}:{(1598,1),(1608,1),(1622,1),(1626,1),(1763,1),(1773,1)}
1711:{1,2,3,5}:{(1601,1),(1620,1),(1629,1),(1654,1),(1656,1),(1766,1),(1773,1),(1789,1),(1843,1)}
1712:{1,2,3,5,6}:{(1600,1),(1609,1),(1621,1),(1624,1),(1626,1),(1760,1),(1762,1),(1763,1),(1773,1),(1843,1)}
1713:{1,2,3,6}:{(1595,1),(1610,1),(1614,1),(1657,1),(1659,1),(1737,1),(1739,1),(1775,1)}
1714:{1,2,3,5}:{(1596,1),(1611,1),(1615,1),(1657,1),(1658,1),(1761,1),(1772,1),(1789,1)}
1715:{1,2,3,4}:{(1602,1),(1612,1),(1622,1),(1754,1),(1778,1)}
1716:{3,4,6}:{(1632,1),(1634,1),(1637,1),(1786,1)}
1717:{3,4,6}:{(1631,1),(1635,1),(1636,1),(1783,1),(1784,1)}
1718:{3,4,5,6}:{(1630,1),(1633,1),(1638,1),(1751,1),(1782,1),(1843,1),(1871,1)}
1719:{1,2,4,5,6}:{(1630,1),(1639,1),(1642,1),(1756,1),(1782,1),(1849,1),(1851,1)}
1720:{2,4,6}:{(1631,1),(1641,1),(1643,1),(1783,1)}
1721:{2,4,6}:{(1632,1),(1640,1),(1644,1),(1830,1),(1832,1)}
1722:{2,3,4,5}:{(1634,1),(1644,1),(1647,1),(1758,1),(1761,1),(1781,1),(1788,1),(1830,1),(1832,1),(1871,1)}
1723:{2,3,5}:{(1635,1),(1643,1),(1646,1),(1783,1),(1789,1)}
1724:{2,3,5}:{(1633,1),(1642,1),(1645,1)}
1725:{1,4,5}:{(1635,1),(1653,1),(1656,1),(1784,1),(1789,1)}
1726:{1,4,5}:{(1634,1),(1651,1),(1655,1),(1786,1)}
1727:{1,3,4,5}:{(1633,1),(1652,1),(1654,1),(1766,1),(1787,1),(1843,1),(1871,1)}
1728:{1,3,5,6}:{(1636,1),(1649,1),(1656,1),(1764,1),(1768,1),(1784,1)}
1729:{1,3,5,6}:{(1638,1),(1650,1),(1654,1)}
1730:{1,2,3,5,6}:{(1637,1),(1648,1),(1655,1),(1764,1),(1768,1),(1786,1),(1838,1),(1850,1),(1853,1)}
1731:{1,2,4}:{(1647,1),(1651,1),(1659,1),(1830,1),(1832,1)}
1732:{1,2,4}:{(1646,1),(1653,1),(1657,1),(1789,1)}
1733:{1,2,3,4,6}:{(1645,1),(1652,1),(1658,1),(1772,1),(1787,1),(1845,1),(1851,1)}
1734:{3,4,5}:{(1662,1),(1665,1),(1680,1),(1790,1),(1794,1),(1796,1),(1805,1)}
1735:{3,5}:{(1661,1),(1663,1)}
1736:{3,4,5}:{(1660,1),(1664,1),(1680,1),(1795,1),(1805,1)}
1737:{2,3,6}:{(1661,1),(1666,1),(1693,1),(1793,1)}
1738:{2,3}:{(1662,1),(1667,1),(1802,1)}
1739:{2,3,6}:{(1660,1),(1668,1),(1693,1),(1795,1)}
1740:{4,6}:{(1665,1),(1669,1),(1805,1)}
1741:{1,4,5,6}:{(1663,1),(1670,1),(1675,1),(1695,1),(1791,1),(1814,1)}
1742:{1,4,5,6}:{(1664,1),(1671,1),(1675,1),(1695,1),(1792,1),(1805,1),(1814,1),(1858,1),(1866,1)}
1743:{1,3,4,6}:{(1660,1),(1672,1),(1699,1),(1703,1),(1798,1),(1805,1),(1807,1),(1856,1),(1866,1)}
1744:{1,3,4,6}:{(1661,1),(1674,1),(1699,1),(1703,1),(1797,1),(1807,1)}
1745:{1,4}:{(1662,1),(1673,1),(1805,1)}
1746:{2,5}:{(1665,1),(1667,1),(1800,1)}
1747:{1,2,5}:{(1663,1),(1666,1),(1684,1),(1793,1)}
1748:{1,2,5}:{(1664,1),(1668,1),(1684,1),(1795,1)}
1749:{4,5}:{(1676,1),(1686,1),(1805,1)}
1750:{3,4,5,6}:{(1675,1),(1677,1),(1678,1),(1716,1),(1717,1),(1791,1),(1809,1),(1815,1),(1856,1)}
1751:{3,4,6}:{(1676,1),(1679,1),(1690,1),(1816,1)}
1752:{3,5,6}:{(1680,1),(1681,1),(1694,1),(1790,1)}
1753:{3,4,6}:{(1681,1),(1682,1),(1695,1),(1791,1),(1812,1)}
1754:{3,4}:{(1691,1),(1696,1),(1805,1)}
1755:{2,4,5,6}:{(1675,1),(1684,1),(1720,1),(1721,1),(1808,1),(1809,1)}
1756:{2,4,6}:{(1676,1),(1685,1),(1687,1),(1808,1)}
1757:{2,3,5,6}:{(1677,1),(1683,1),(1686,1),(1688,1),(1806,1),(1821,1)}
1758:{2,3,5}:{(1678,1),(1684,1),(1689,1),(1808,1),(1822,1)}
1759:{2,3,4,5}:{(1679,1),(1685,1),(1723,1),(1724,1),(1808,1),(1810,1),(1813,1),(1823,1),(1865,1)}
1760:{2,3,5}:{(1680,1),(1692,1),(1704,1),(1805,1)}
1761:{2,3,5}:{(1682,1),(1693,1),(1706,1),(1812,1),(1813,1)}
1762:{2,3,6}:{(1681,1),(1691,1),(1707,1),(1807,1)}
1763:{1,4,6}:{(1676,1),(1696,1),(1712,1),(1805,1),(1807,1),(1814,1)}
1764:{1,5,6}:{(1677,1),(1697,1),(1698,1)}
1765:{1,4,5}:{(1678,1),(1697,1),(1699,1),(1797,1),(1822,1)}
1766:{1,4,5}:{(1679,1),(1696,1),(1711,1),(1816,1)}
1767:{1,3,5}:{(1680,1),(1697,1),(1702,1),(1796,1)}
1768:{1,3,6}:{(1681,1),(1698,1),(1700,1)}
1769:{1,3,4,5}:{(1682,1),(1700,1),(1703,1),(1725,1),(1726,1),(1797,1),(1818,1),(1825,1),(1858,1)}
1770:{1,2,4,5,6}:{(1683,1),(1694,1),(1704,1),(1707,1),(1800,1),(1805,1),(1811,1),(1814,1),(1821,1),(1859,1),(1862,1),(1866,1)}
1771:{1,2,4,6}:{(1695,1),(1705,1),(1706,1),(1720,1),(1721,1),(1812,1),(1827,1)}
1772:{1,2,4}:{(1685,1),(1696,1),(1714,1),(1813,1)}
1773:{1,2,5}:{(1686,1),(1697,1),(1710,1),(1814,1)}
1774:{1,2,4,6}:{(1688,1),(1698,1),(1708,1),(1709,1),(1816,1),(1821,1),(1826,1),(1827,1),(1862,1),(1866,1)}
1775:{1,2,4,6}:{(1689,1),(1699,1),(1713,1),(1731,1),(1732,1),(1822,1),(1827,1)}
1776:{1,2,3,5,6}:{(1690,1),(1708,1),(1711,1),(1728,1),(1729,1),(1816,1),(1821,1),(1826,1),(1827,1),(1867,1)}
1777:{1,2,3,5,6}:{(1687,1),(1701,1),(1705,1),(1713,1),(1714,1),(1793,1),(1795,1),(1812,1),(1820,1),(1822,1),(1827,1),(1865,1)}
1778:{1,2,3,5}:{(1691,1),(1700,1),(1709,1),(1715,1),(1819,1),(1826,1)}
1779:{1,2,3,4,6}:{(1692,1),(1702,1),(1710,1),(1715,1),(1802,1),(1805,1),(1807,1),(1824,1),(1826,1),(1855,1),(1862,1),(1866,1)}
1780:{1,2,3,4}:{(1693,1),(1703,1),(1731,1),(1732,1),(1813,1),(1825,1)}
1781:{2,3,4,6}:{(1716,1),(1721,1),(1722,1),(1809,1),(1812,1),(1829,1),(1856,1)}
1782:{2,3,5,6}:{(1718,1),(1719,1),(1724,1),(1810,1),(1865,1)}
1783:{2,3,6}:{(1717,1),(1720,1),(1723,1),(1827,1)}
1784:{1,4,6}:{(1717,1),(1725,1),(1728,1),(1827,1)}
1785:{1,3,4,5,6}:{(1718,1),(1727,1),(1729,1),(1816,1),(1828,1),(1867,1)}
1786:{1,4,6}:{(1716,1),(1726,1),(1730,1)}
1787:{1,2,3,5}:{(1724,1),(1727,1),(1733,1),(1823,1),(1865,1)}
1788:{1,2,4,5}:{(1722,1),(1726,1),(1731,1),(1822,1),(1825,1),(1829,1),(1858,1)}
1789:{1,2,5}:{(1723,1),(1725,1),(1732,1),(1827,1)}
1790:{3,4,6}:{(1734,1),(1740,1),(1752,1),(1834,1),(1837,1)}
1791:{3,5,6}:{(1735,1),(1741,1),(1753,1),(1843,1)}
1792:{3,4,5,6}:{(1736,1),(1742,1),(1752,1),(1753,1),(1835,1),(1842,1),(1843,1),(1871,1)}
1793:{2,3,5}:{(1735,1),(1737,1),(1747,1),(1830,1)}
1794:{2,3,5}:{(1734,1),(1738,1),(1746,1),(1831,1),(1834,1),(1839,1)}
1795:{2,3,5}:{(1736,1),(1739,1),(1748,1),(1832,1)}
1796:{1,4,5}:{(1734,1),(1745,1),(1767,1),(1837,1),(1839,1)}
1797:{1,3,5}:{(1735,1),(1744,1),(1765,1),(1843,1)}
1798:{1,3,4,5}:{(1736,1),(1743,1),(1765,1),(1767,1),(1841,1),(1843,1),(1846,1),(1871,1)}
1799:{1,2,4,5,6}:{(1741,1),(1747,1),(1755,1),(1771,1),(1830,1),(1833,1),(1849,1),(1850,1),(1873,1)}
1800:{2,4,6}:{(1740,1),(1746,1),(1831,1),(1834,1)}
1801:{1,2,4,5,6}:{(1742,1),(1748,1),(1755,1),(1771,1),(1832,1),(1835,1),(1849,1),(1850,1),(1875,1)}
1802:{1,2,4}:{(1738,1),(1745,1),(1831,1),(1839,1)}
1803:{1,2,3,4,6}:{(1739,1),(1743,1),(1775,1),(1780,1),(1832,1),(1841,1),(1845,1),(1853,1),(1875,1)}
1804:{1,2,3,4,6}:{(1737,1),(1744,1),(1775,1),(1780,1),(1830,1),(1840,1),(1845,1),(1853,1),(1873,1)}
1805:{4}:{(1760,1)}
1806:{3,4,5,6}:{(1749,1),(1751,1),(1757,1),(1842,1),(1843,1),(1847,1)}
1807:{3,4,6}:{(1754,1),(1762,1),(1763,1),(1843,1)}
1808:{2,4,5}:{(1749,1),(1756,1),(1758,1),(1830,1),(1832,1)}
1809:{2,3,5,6}:{(1750,1),(1755,1),(1758,1),(1781,1),(1783,1),(1850,1)}
1810:{2,3,4,6}:{(1751,1),(1756,1),(1759,1),(1782,1),(1783,1),(1851,1)}
1811:{2,3,5,6}:{(1752,1),(1760,1),(1762,1),(1770,1),(1834,1),(1842,1),(1843,1),(1870,1)}
1812:{2,3,6}:{(1753,1),(1761,1),(1771,1)}
1813:{2,3,4}:{(1754,1),(1761,1),(1772,1),(1830,1),(1832,1)}
1814:{1,4,5}:{(1749,1),(1763,1),(1773,1),(1843,1)}
1815:{1,4,5,6}:{(1750,1),(1764,1),(1765,1),(1784,1),(1786,1),(1838,1),(1850,1),(1873,1)}
1816:{1,4,6}:{(1751,1),(1766,1),(1776,1)}
1817:{1,3,5,6}:{(1752,1),(1764,1),(1767,1),(1768,1),(1837,1)}
1818:{1,3,4,6}:{(1753,1),(1768,1),(1769,1),(1784,1),(1786,1),(1838,1),(1853,1),(1873,1)}
1819:{1,3,4,5}:{(1754,1),(1766,1),(1778,1),(1843,1),(1846,1),(1848,1)}
1820:{1,2,4,6}:{(1756,1),(1763,1),(1772,1),(1777,1),(1830,1),(1832,1),(1845,1),(1849,1),(1873,1)}
1821:{1,2,5,6}:{(1757,1),(1764,1),(1773,1),(1774,1),(1847,1)}
1822:{1,2,5}:{(1758,1),(1765,1),(1775,1)}
1823:{1,2,4,5}:{(1759,1),(1766,1),(1772,1),(1787,1),(1789,1),(1851,1)}
1824:{1,2,3,5}:{(1760,1),(1767,1),(1773,1),(1779,1),(1839,1),(1843,1),(1846,1),(1870,1)}
1825:{1,2,3,5}:{(1761,1),(1769,1),(1780,1),(1788,1),(1789,1),(1853,1)}
1826:{1,2,3,6}:{(1762,1),(1768,1),(1774,1),(1778,1),(1848,1)}
1827:{1,2,6}:{(1783,1),(1784,1),(1789,1)}
1828:{1,2,3,5,6}:{(1782,1),(1785,1),(1787,1),(1851,1)}
1829:{1,2,4,6}:{(1781,1),(1786,1),(1788,1),(1850,1),(1853,1),(1873,1)}
1830:{4}:{(1793,1)}
1831:{2,4}:{(1794,1),(1805,1)}
1832:{2,4}:{(1795,1),(1805,1)}
1833:{2,3,5,6}:{(1791,1),(1793,1),(1799,1),(1812,1),(1856,1),(1865,1)}
1834:{2,3,6}:{(1790,1),(1794,1),(1800,1),(1862,1)}
1835:{2,3,5,6}:{(1792,1),(1795,1),(1801,1),(1812,1),(1857,1),(1865,1)}
1836:{1,3,4,5,6}:{(1792,1),(1798,1),(1815,1),(1817,1),(1818,1),(1861,1),(1866,1),(1867,1)}
1837:{1,4,6}:{(1790,1),(1796,1),(1817,1),(1862,1)}
1838:{1,3,5,6}:{(1791,1),(1797,1),(1815,1),(1818,1)}
1839:{1,2,5}:{(1794,1),(1796,1),(1802,1),(1862,1)}
1840:{1,2,3,5}:{(1793,1),(1797,1),(1804,1),(1822,1),(1858,1),(1865,1)}
1841:{1,2,3,5}:{(1795,1),(1798,1),(1803,1),(1822,1),(1860,1),(1865,1)}
1842:{3,4,6}:{(1805,1),(1811,1),(1864,1),(1866,1)}
1843:{3,5}:{(1807,1),(1814,1)}
1844:{2,3,4,5,6}:{(1806,1),(1808,1),(1809,1),(1810,1),(1856,1),(1857,1),(1865,1),(1868,1)}
1845:{2,3,4,6}:{(1807,1),(1812,1),(1813,1),(1820,1),(1856,1),(1865,1)}
1846:{1,4,5}:{(1805,1),(1824,1),(1864,1),(1866,1)}
1847:{1,4,5,6}:{(1806,1),(1814,1),(1816,1),(1821,1),(1866,1),(1867,1)}
1848:{1,3,4,6}:{(1807,1),(1816,1),(1819,1),(1826,1),(1866,1),(1867,1)}
1849:{1,2,4,5}:{(1808,1),(1814,1),(1820,1),(1822,1),(1858,1),(1865,1)}
1850:{1,2,5,6}:{(1809,1),(1815,1),(1822,1),(1827,1),(1829,1)}
1851:{1,2,4,6}:{(1810,1),(1816,1),(1823,1),(1827,1),(1828,1)}
1852:{1,2,3,5,6}:{(1811,1),(1817,1),(1821,1),(1824,1),(1826,1),(1862,1),(1866,1),(1867,1)}
1853:{1,2,3,6}:{(1812,1),(1818,1),(1825,1),(1827,1),(1829,1)}
1854:{1,2,3,4,5}:{(1813,1),(1819,1),(1823,1),(1825,1),(1858,1),(1860,1),(1865,1),(1869,1)}
1855:{2,3,4,6}:{(1831,1),(1834,1),(1842,1),(1870,1),(1874,1)}
1856:{3,4,6}:{(1830,1),(1833,1),(1871,1),(1873,1)}
1857:{2,3,4,6}:{(1832,1),(1835,1),(1842,1),(1872,1),(1875,1)}
1858:{1,4,5}:{(1830,1),(1840,1),(1871,1),(1873,1)}
1859:{1,2,4,5}:{(1831,1),(1839,1),(1846,1),(1870,1),(1874,1)}
1860:{1,2,4,5}:{(1832,1),(1841,1),(1846,1),(1872,1),(1875,1)}
1861:{1,2,3,5,6}:{(1835,1),(1836,1),(1841,1),(1850,1),(1853,1),(1875,1)}
1862:{1,2,6}:{(1834,1),(1837,1),(1839,1)}
1863:{1,2,3,5,6}:{(1833,1),(1838,1),(1840,1),(1850,1),(1853,1),(1873,1)}
1864:{3,4,5}:{(1842,1),(1843,1),(1846,1),(1870,1)}
1865:{2,3,5}:{(1843,1),(1845,1),(1849,1),(1871,1)}
1866:{1,4,6}:{(1842,1),(1846,1),(1852,1)}
1867:{1,3,5,6}:{(1843,1),(1847,1),(1848,1)}
1868:{1,2,4,5,6}:{(1844,1),(1847,1),(1849,1),(1850,1),(1851,1),(1873,1),(1875,1),(1877,1)}
1869:{1,2,3,4,6}:{(1845,1),(1848,1),(1851,1),(1853,1),(1854,1),(1873,1),(1875,1),(1877,1)}
1870:{2,3,5}:{(1855,1),(1859,1),(1864,1)}
1871:{3,4,5}:{(1856,1),(1858,1),(1865,1)}
1872:{2,3,4,5}:{(1857,1),(1860,1),(1864,1),(1865,1)}
1873:{1,4,6}:{(1856,1),(1858,1),(1863,1)}
1874:{1,2,4,6}:{(1855,1),(1859,1),(1862,1),(1866,1),(1879,1)}
1875:{1,2,4,6}:{(1857,1),(1860,1),(1861,1),(1866,1)}
1876:{1,3,4,5,6}:{(1864,1),(1866,1),(1867,1),(1879,1)}
1877:{1,2,3,5,6}:{(1865,1),(1867,1),(1868,1),(1869,1),(1880,1)}
1878:{1,2,3,4,5,6}:{(1872,1),(1875,1),(1876,1),(1877,1)}
1879:{1,2,3,5,6}:{(1870,1),(1874,1),(1876,1)}
1880:{1,3,4,5,6}:{(1871,1),(1873,1),(1877,1)}