0:{}:{}
1:{}:{}
2:{7}:{(0,1),(1,1),(7,1)}
3:{6}:{(0,1),(9,1),(11,1)}
4:{6}:{(1,1),(10,1),(12,1)}
5:{1}:{(0,1),(15,1)}
6:{1}:{(1,1),(16,1)}
7:{6}:{(2,1),(17,1)}
8:{1,7}:{(2,1),(5,1),(6,1),(19,1),(20,1),(419,1),(1165,1)}
9:{5}:{(3,1),(22,1)}
10:{5}:{(4,1),(21,1)}
11:{7}:{(3,1)}
12:{7}:{(4,1)}
13:{1,6}:{(4,1),(6,1),(28,1),(29,1),(32,1)}
14:{1,6}:{(3,1),(5,1),(27,1),(30,1),(31,1)}
15:{3}:{(5,1),(25,1)}
16:{3}:{(6,1),(26,1)}
17:{5}:{(7,1),(33,1)}
18:{6,7}:{(7,1),(11,1),(12,1),(34,1),(41,1),(42,1)}
19:{1,6}:{(7,1),(8,1),(36,1),(38,1),(328,1)}
20:{3,7}:{(8,1),(15,1),(16,1),(35,1),(38,1),(1001,1)}
21:{4}:{(10,1),(43,1)}
22:{4}:{(9,1),(44,1)}
23:{5,7}:{(10,1),(12,1),(40,1),(42,1),(103,1)}
24:{5,7}:{(9,1),(11,1),(39,1),(41,1),(104,1)}
25:{4}:{(15,1),(55,1)}
26:{4}:{(16,1),(56,1)}
27:{1,5}:{(9,1),(14,1),(46,1),(51,1)}
28:{1,5}:{(10,1),(13,1),(45,1),(52,1)}
29:{1,7}:{(12,1),(13,1),(53,1)}
30:{1,7}:{(11,1),(14,1),(54,1)}
31:{3,6}:{(14,1),(15,1),(48,1),(51,1),(54,1)}
32:{3,6}:{(13,1),(16,1),(47,1),(52,1),(53,1)}
33:{4}:{(17,1),(58,1),(59,1)}
34:{5,7}:{(17,1),(18,1),(57,1),(60,1)}
35:{4,7}:{(20,1),(25,1),(26,1),(62,1),(66,1),(895,1)}
36:{1,5}:{(17,1),(19,1),(61,1),(64,1),(247,1)}
37:{1,6,7}:{(18,1),(19,1),(29,1),(30,1),(63,1),(65,1),(81,1),(82,1),(418,1),(419,1),(441,1),(442,1)}
38:{3,6}:{(19,1),(20,1),(62,1),(64,1)}
39:{4,7}:{(22,1),(24,1),(67,1),(71,1)}
40:{4,7}:{(21,1),(23,1),(68,1),(72,1)}
41:{6}:{(24,1)}
42:{6}:{(23,1)}
43:{2,3}:{(21,1),(58,1),(59,1),(69,1),(83,1)}
44:{2,3}:{(22,1),(58,1),(59,1),(70,1),(84,1)}
45:{1,4}:{(21,1),(28,1),(69,1),(74,1),(83,1)}
46:{1,4}:{(22,1),(27,1),(70,1),(73,1),(84,1)}
47:{4,6}:{(26,1),(32,1),(74,1),(77,1),(79,1),(88,1),(170,1)}
48:{4,6}:{(25,1),(31,1),(73,1),(78,1),(80,1),(87,1),(169,1)}
49:{1,5,7}:{(23,1),(28,1),(29,1),(76,1),(82,1),(86,1),(162,1)}
50:{1,5,7}:{(24,1),(27,1),(30,1),(75,1),(81,1),(85,1),(161,1)}
51:{3,5}:{(27,1),(31,1),(70,1),(73,1),(78,1)}
52:{3,5}:{(28,1),(32,1),(69,1),(74,1),(77,1)}
53:{3,7}:{(29,1),(32,1),(79,1)}
54:{3,7}:{(30,1),(31,1),(80,1)}
55:{2,5}:{(25,1),(78,1),(87,1)}
56:{2,5}:{(26,1),(77,1),(88,1)}
57:{4,7}:{(33,1),(34,1),(89,1),(90,1),(92,1)}
58:{3}:{(33,1),(96,1)}
59:{2}:{(33,1)}
60:{5,6}:{(34,1),(41,1),(42,1),(89,1),(103,1),(104,1)}
61:{1,4}:{(33,1),(36,1),(91,1),(95,1),(96,1),(99,1),(184,1)}
62:{4,6}:{(35,1),(38,1),(95,1),(97,1),(102,1)}
63:{1,5,7}:{(34,1),(36,1),(37,1),(94,1),(100,1),(101,1),(329,1)}
64:{3,5}:{(36,1),(38,1),(91,1),(95,1),(97,1)}
65:{3,6,7}:{(37,1),(38,1),(53,1),(54,1),(98,1),(101,1),(123,1),(124,1),(333,1),(334,1)}
66:{2,5,7}:{(35,1),(55,1),(56,1),(97,1),(102,1),(117,1),(118,1),(129,1),(130,1),(716,1),(722,1),(786,1)}
67:{4,6}:{(39,1),(41,1),(104,1),(110,1),(209,1)}
68:{4,6}:{(40,1),(42,1),(103,1),(109,1),(210,1)}
69:{3}:{(45,1)}
70:{3}:{(46,1)}
71:{2,3,7}:{(39,1),(44,1),(90,1),(92,1),(105,1),(110,1),(122,1)}
72:{2,3,7}:{(40,1),(43,1),(90,1),(92,1),(106,1),(109,1),(121,1)}
73:{4}:{(51,1),(119,1)}
74:{4}:{(52,1),(120,1)}
75:{1,4,7}:{(39,1),(46,1),(50,1),(105,1),(113,1),(115,1),(122,1)}
76:{1,4,7}:{(40,1),(45,1),(49,1),(106,1),(114,1),(116,1),(121,1)}
77:{5}:{(47,1)}
78:{5}:{(48,1)}
79:{4,7}:{(47,1),(53,1),(118,1),(130,1)}
80:{4,7}:{(48,1),(54,1),(117,1),(129,1)}
81:{1,6}:{(41,1),(50,1),(123,1),(592,1)}
82:{1,6}:{(42,1),(49,1),(124,1),(593,1)}
83:{1,2}:{(43,1),(45,1),(96,1),(120,1)}
84:{1,2}:{(44,1),(46,1),(96,1),(119,1)}
85:{3,5,7}:{(50,1),(51,1),(54,1),(105,1),(113,1),(117,1),(123,1),(212,1),(224,1)}
86:{3,5,7}:{(49,1),(52,1),(53,1),(106,1),(114,1),(118,1),(124,1),(211,1),(223,1)}
87:{2,6}:{(48,1),(55,1),(119,1),(129,1)}
88:{2,6}:{(47,1),(56,1),(120,1),(130,1)}
89:{4,6}:{(57,1),(60,1),(131,1),(132,1),(135,1)}
90:{3,7}:{(57,1),(58,1),(132,1),(142,1)}
91:{3}:{(61,1)}
92:{2,7}:{(57,1),(59,1),(135,1)}
93:{2,3}:{(58,1),(59,1),(137,1),(147,1),(281,1)}
94:{1,4,7}:{(57,1),(61,1),(63,1),(133,1),(139,1),(141,1),(142,1),(145,1),(249,1)}
95:{4}:{(64,1),(146,1)}
96:{1}:{(58,1)}
97:{5}:{(62,1)}
98:{4,6,7}:{(62,1),(65,1),(79,1),(80,1),(141,1),(143,1),(150,1),(165,1),(166,1),(169,1),(170,1),(264,1),(265,1)}
99:{1,2}:{(59,1),(61,1),(138,1),(146,1)}
100:{1,5,6}:{(60,1),(63,1),(81,1),(82,1),(139,1),(148,1),(161,1),(162,1),(417,1),(418,1),(439,1),(441,1)}
101:{3,5,7}:{(63,1),(64,1),(65,1),(133,1),(141,1),(143,1),(148,1)}
102:{2,6}:{(62,1),(66,1),(146,1),(169,1),(170,1),(834,1)}
103:{5}:{(68,1)}
104:{5}:{(67,1)}
105:{3,7}:{(70,1),(75,1),(154,1)}
106:{3,7}:{(69,1),(76,1),(153,1)}
107:{3,4}:{(69,1),(74,1),(152,1),(160,1),(171,1),(291,1)}
108:{3,4}:{(70,1),(73,1),(151,1),(159,1),(172,1),(290,1)}
109:{2,3,6}:{(68,1),(72,1),(132,1),(135,1),(153,1),(157,1),(178,1)}
110:{2,3,6}:{(67,1),(71,1),(132,1),(135,1),(154,1),(158,1),(177,1)}
111:{4,5}:{(74,1),(77,1),(152,1),(168,1),(173,1),(291,1)}
112:{4,5}:{(73,1),(78,1),(151,1),(167,1),(174,1),(290,1)}
113:{4,7}:{(73,1),(85,1),(165,1),(176,1),(282,1)}
114:{4,7}:{(74,1),(86,1),(166,1),(175,1),(283,1)}
115:{1,4,6}:{(67,1),(75,1),(81,1),(154,1),(161,1),(165,1),(177,1),(282,1),(303,1)}
116:{1,4,6}:{(68,1),(76,1),(82,1),(153,1),(162,1),(166,1),(178,1),(283,1),(302,1)}
117:{5,7}:{(78,1),(80,1),(169,1)}
118:{5,7}:{(77,1),(79,1),(170,1)}
119:{2}:{(73,1)}
120:{2}:{(74,1)}
121:{1,2,7}:{(72,1),(76,1),(83,1),(142,1),(175,1),(178,1)}
122:{1,2,7}:{(71,1),(75,1),(84,1),(142,1),(176,1),(177,1)}
123:{3,6}:{(81,1),(85,1),(165,1),(169,1),(466,1)}
124:{3,6}:{(82,1),(86,1),(166,1),(170,1),(467,1)}
125:{2,5,6}:{(77,1),(88,1),(168,1),(170,1),(173,1),(179,1),(298,1),(311,1),(312,1)}
126:{2,5,6}:{(78,1),(87,1),(167,1),(169,1),(174,1),(180,1),(299,1),(310,1),(313,1)}
127:{1,2,3}:{(69,1),(83,1),(138,1),(144,1),(160,1),(171,1),(280,1)}
128:{1,2,3}:{(70,1),(84,1),(138,1),(144,1),(159,1),(172,1),(280,1)}
129:{2,7}:{(80,1),(87,1)}
130:{2,7}:{(79,1),(88,1)}
131:{4,5}:{(89,1),(103,1),(104,1),(183,1),(188,1),(209,1),(210,1)}
132:{3,6}:{(89,1),(90,1),(183,1),(198,1)}
133:{3,7}:{(91,1),(94,1),(185,1)}
134:{3,4}:{(91,1),(95,1),(184,1),(186,1),(193,1),(201,1),(335,1),(530,1)}
135:{2,6}:{(89,1),(92,1),(188,1)}
136:{2,3,7}:{(90,1),(92,1),(93,1),(189,1),(190,1),(205,1),(364,1)}
137:{4}:{(93,1),(191,1)}
138:{2,3}:{(91,1),(99,1),(184,1)}
139:{1,4,6}:{(89,1),(94,1),(100,1),(185,1),(194,1),(196,1),(198,1),(202,1),(331,1)}
140:{4,5}:{(95,1),(97,1),(186,1),(197,1),(203,1),(335,1)}
141:{4,7}:{(95,1),(101,1),(196,1),(204,1)}
142:{1,7}:{(90,1),(96,1),(198,1)}
143:{5,7}:{(97,1),(98,1),(199,1),(223,1),(224,1)}
144:{1,3}:{(91,1),(96,1),(201,1),(530,1)}
145:{1,2,7}:{(92,1),(94,1),(99,1),(192,1),(202,1),(204,1),(957,1)}
146:{2}:{(95,1)}
147:{1,2}:{(93,1),(96,1),(206,1),(559,1)}
148:{3,5,6}:{(100,1),(101,1),(123,1),(124,1),(185,1),(196,1),(199,1),(211,1),(212,1),(223,1),(224,1),(332,1),(333,1)}
149:{2,5,6}:{(97,1),(102,1),(197,1),(199,1),(203,1),(207,1),(353,1),(765,1),(783,1),(786,1)}
150:{2,6,7}:{(98,1),(102,1),(129,1),(130,1),(204,1),(207,1),(235,1),(236,1),(353,1),(958,1)}
151:{3,5}:{(108,1),(112,1),(216,1),(229,1)}
152:{3,5}:{(107,1),(111,1),(215,1),(230,1)}
153:{3,6}:{(106,1),(116,1),(211,1),(372,1)}
154:{3,6}:{(105,1),(115,1),(212,1),(373,1)}
155:{3,4,7}:{(105,1),(108,1),(113,1),(214,1),(218,1),(221,1),(232,1),(376,1),(561,1),(795,1),(1049,1)}
156:{3,4,7}:{(106,1),(107,1),(114,1),(213,1),(217,1),(222,1),(231,1),(377,1),(560,1),(796,1),(1050,1)}
157:{2,3,5}:{(103,1),(109,1),(183,1),(188,1),(210,1),(211,1),(240,1),(325,1),(372,1),(374,1)}
158:{2,3,5}:{(104,1),(110,1),(183,1),(188,1),(209,1),(212,1),(239,1),(325,1),(373,1),(375,1)}
159:{2,3}:{(108,1),(119,1),(245,1),(530,1)}
160:{2,3}:{(107,1),(120,1),(246,1),(530,1)}
161:{1,5}:{(104,1),(115,1),(212,1),(224,1)}
162:{1,5}:{(103,1),(116,1),(211,1),(223,1)}
163:{4,5,7}:{(112,1),(113,1),(117,1),(214,1),(224,1),(225,1),(227,1),(233,1),(367,1),(376,1),(387,1),(388,1),(561,1),(570,1)}
164:{4,5,7}:{(111,1),(114,1),(118,1),(213,1),(223,1),(226,1),(228,1),(234,1),(366,1),(377,1),(386,1),(389,1),(560,1),(571,1)}
165:{4,6}:{(113,1),(123,1),(224,1),(236,1),(388,1)}
166:{4,6}:{(114,1),(124,1),(223,1),(235,1),(389,1)}
167:{4,6}:{(112,1),(126,1),(216,1),(227,1),(388,1)}
168:{4,6}:{(111,1),(125,1),(215,1),(228,1),(389,1)}
169:{6}:{(117,1)}
170:{6}:{(118,1)}
171:{1,4}:{(107,1),(127,1),(184,1),(230,1)}
172:{1,4}:{(108,1),(128,1),(184,1),(229,1)}
173:{2,5}:{(111,1),(120,1),(238,1),(571,1)}
174:{2,5}:{(112,1),(119,1),(237,1),(570,1)}
175:{2,7}:{(114,1),(120,1),(235,1),(374,1)}
176:{2,7}:{(113,1),(119,1),(236,1),(375,1)}
177:{1,2,6}:{(110,1),(115,1),(122,1),(198,1),(236,1),(239,1),(375,1)}
178:{1,2,6}:{(109,1),(116,1),(121,1),(198,1),(235,1),(240,1),(374,1)}
179:{2,5,7}:{(118,1),(125,1),(130,1),(228,1),(241,1),(386,1)}
180:{2,5,7}:{(117,1),(126,1),(129,1),(227,1),(242,1),(387,1)}
181:{1,2,3,7}:{(106,1),(121,1),(127,1),(192,1),(200,1),(222,1),(231,1),(243,1),(363,1),(796,1),(823,1),(957,1),(1065,1),(1072,1)}
182:{1,2,3,7}:{(105,1),(122,1),(128,1),(192,1),(200,1),(221,1),(232,1),(244,1),(363,1),(795,1),(824,1),(957,1),(1066,1),(1071,1)}
183:{3,5}:{(131,1),(132,1),(248,1),(266,1)}
184:{4}:{(138,1),(247,1)}
185:{3,6}:{(133,1),(139,1),(250,1)}
186:{3,5}:{(134,1),(140,1),(247,1),(253,1),(269,1)}
187:{3,4,7}:{(133,1),(134,1),(141,1),(249,1),(251,1),(252,1),(262,1),(270,1),(424,1),(634,1)}
188:{2,5}:{(131,1),(135,1),(254,1)}
189:{2,3,6}:{(132,1),(135,1),(136,1),(255,1),(256,1),(275,1),(456,1)}
190:{4,7}:{(136,1),(137,1),(256,1),(257,1)}
191:{5}:{(137,1),(258,1)}
192:{2,3,7}:{(133,1),(138,1),(145,1),(249,1),(260,1),(851,1),(858,1)}
193:{2,3}:{(134,1),(146,1),(259,1),(280,1)}
194:{1,4,5}:{(131,1),(139,1),(161,1),(162,1),(250,1),(263,1),(266,1),(271,1),(282,1),(283,1),(302,1),(303,1),(416,1),(417,1),(437,1),(439,1),(635,1)}
195:{4,5,7}:{(140,1),(141,1),(143,1),(251,1),(263,1),(264,1),(265,1),(272,1),(424,1),(619,1)}
196:{4,6}:{(141,1),(148,1),(263,1),(273,1),(282,1),(283,1)}
197:{4,6}:{(140,1),(149,1),(253,1),(265,1),(895,1)}
198:{1,6}:{(132,1),(142,1),(266,1)}
199:{5,6}:{(143,1),(169,1),(170,1),(264,1),(619,1)}
200:{1,3,7}:{(133,1),(142,1),(144,1),(268,1),(270,1),(634,1)}
201:{1,4}:{(134,1),(144,1),(269,1),(280,1)}
202:{1,2,6}:{(135,1),(139,1),(145,1),(260,1),(271,1),(273,1),(835,1)}
203:{2,5}:{(140,1),(146,1),(274,1),(619,1),(872,1)}
204:{2,7}:{(141,1),(146,1),(273,1)}
205:{1,2,7}:{(136,1),(142,1),(147,1),(275,1),(276,1),(668,1)}
206:{1,4}:{(137,1),(147,1),(277,1),(281,1),(445,1)}
207:{2,5,7}:{(143,1),(149,1),(150,1),(265,1),(310,1),(311,1),(884,1),(906,1)}
208:{1,2,3}:{(138,1),(144,1),(147,1),(267,1),(280,1),(281,1),(459,1)}
209:{4}:{(158,1)}
210:{4}:{(157,1)}
211:{3,5}:{(153,1),(162,1),(283,1)}
212:{3,5}:{(154,1),(161,1),(282,1)}
213:{3,5,7}:{(152,1),(156,1),(164,1),(285,1),(287,1),(288,1),(305,1),(467,1),(1170,1)}
214:{3,5,7}:{(151,1),(155,1),(163,1),(284,1),(286,1),(289,1),(304,1),(466,1),(1171,1)}
215:{3,6}:{(152,1),(168,1),(288,1),(306,1),(467,1)}
216:{3,6}:{(151,1),(167,1),(289,1),(307,1),(466,1)}
217:{3,4,6}:{(153,1),(156,1),(166,1),(283,1),(285,1),(287,1),(296,1),(308,1),(460,1),(462,1),(467,1),(468,1),(473,1),(679,1),(924,1)}
218:{3,4,6}:{(154,1),(155,1),(165,1),(282,1),(284,1),(286,1),(297,1),(309,1),(461,1),(463,1),(466,1),(469,1),(472,1),(680,1),(923,1)}
219:{2,3,5}:{(152,1),(160,1),(173,1),(291,1),(294,1),(319,1),(480,1)}
220:{2,3,5}:{(151,1),(159,1),(174,1),(290,1),(295,1),(318,1),(481,1)}
221:{2,3,7}:{(155,1),(159,1),(176,1),(297,1),(320,1),(634,1),(683,1),(919,1)}
222:{2,3,7}:{(156,1),(160,1),(175,1),(296,1),(321,1),(634,1),(684,1),(920,1)}
223:{5}:{(166,1)}
224:{5}:{(165,1)}
225:{4,6}:{(163,1),(169,1),(286,1),(299,1),(313,1)}
226:{4,6}:{(164,1),(170,1),(287,1),(298,1),(312,1)}
227:{4,7}:{(167,1),(180,1),(289,1)}
228:{4,7}:{(168,1),(179,1),(288,1)}
229:{1,5}:{(151,1),(172,1),(247,1),(307,1)}
230:{1,5}:{(152,1),(171,1),(247,1),(306,1)}
231:{1,4,7}:{(156,1),(171,1),(181,1),(249,1),(305,1),(308,1)}
232:{1,4,7}:{(155,1),(172,1),(182,1),(249,1),(304,1),(309,1)}
233:{2,5,7}:{(163,1),(174,1),(176,1),(310,1),(313,1),(315,1),(470,1),(683,1)}
234:{2,5,7}:{(164,1),(173,1),(175,1),(311,1),(312,1),(314,1),(471,1),(684,1)}
235:{2,6}:{(166,1),(175,1),(311,1)}
236:{2,6}:{(165,1),(176,1),(310,1)}
237:{2,4,6}:{(167,1),(174,1),(290,1),(295,1),(313,1),(315,1),(472,1)}
238:{2,4,6}:{(168,1),(173,1),(291,1),(294,1),(312,1),(314,1),(473,1)}
239:{1,2,5}:{(158,1),(161,1),(177,1),(266,1),(303,1),(310,1),(411,1)}
240:{1,2,5}:{(157,1),(162,1),(178,1),(266,1),(302,1),(311,1),(411,1)}
241:{2,6,7}:{(170,1),(179,1),(300,1),(312,1),(684,1)}
242:{2,6,7}:{(169,1),(180,1),(301,1),(313,1),(683,1)}
243:{1,2,3,6}:{(153,1),(178,1),(181,1),(260,1),(268,1),(296,1),(308,1),(317,1),(454,1),(679,1),(705,1),(835,1),(942,1),(947,1)}
244:{1,2,3,6}:{(154,1),(177,1),(182,1),(260,1),(268,1),(297,1),(309,1),(316,1),(454,1),(680,1),(706,1),(835,1),(941,1),(948,1)}
245:{1,2,4}:{(159,1),(172,1),(259,1),(280,1),(290,1),(318,1),(449,1)}
246:{1,2,4}:{(160,1),(171,1),(259,1),(280,1),(291,1),(319,1),(449,1)}
247:{5}:{(184,1),(328,1)}
248:{3,4}:{(183,1),(209,1),(210,1),(325,1),(345,1),(372,1),(373,1)}
249:{4,7}:{(184,1),(192,1),(329,1),(331,1)}
250:{3,5}:{(185,1),(194,1),(330,1),(372,1),(373,1),(734,1)}
251:{3,5,7}:{(186,1),(187,1),(195,1),(329,1),(332,1),(333,1),(334,1),(348,1)}
252:{3,4,6}:{(185,1),(187,1),(196,1),(330,1),(331,1),(332,1),(333,1),(340,1),(349,1),(511,1),(519,1),(734,1),(751,1),(973,1)}
253:{3,6}:{(186,1),(197,1),(328,1),(334,1),(350,1),(1001,1)}
254:{2,4}:{(188,1),(209,1),(210,1),(325,1),(374,1),(375,1)}
255:{2,3,5}:{(183,1),(188,1),(189,1),(322,1),(323,1),(356,1),(508,1)}
256:{4,6}:{(189,1),(190,1),(322,1),(326,1)}
257:{5,7}:{(190,1),(191,1),(324,1),(326,1)}
258:{6}:{(191,1),(327,1)}
259:{2,4}:{(184,1),(193,1),(335,1),(336,1)}
260:{2,3,6}:{(185,1),(192,1),(202,1),(331,1),(338,1),(733,1),(737,1)}
261:{2,3,5}:{(186,1),(193,1),(203,1),(335,1),(336,1),(341,1),(362,1),(525,1),(530,1)}
262:{2,3,7}:{(187,1),(193,1),(204,1),(337,1),(340,1),(363,1),(975,1)}
263:{4,5}:{(196,1),(223,1),(224,1),(332,1),(352,1),(388,1),(389,1),(511,1),(973,1)}
264:{4,6}:{(195,1),(199,1),(333,1),(353,1)}
265:{4,7}:{(197,1),(207,1),(334,1),(388,1),(389,1)}
266:{1,5}:{(183,1),(198,1),(345,1)}
267:{1,4}:{(184,1),(208,1),(344,1),(351,1)}
268:{1,3,6}:{(185,1),(198,1),(200,1),(347,1),(349,1),(734,1),(751,1)}
269:{1,5}:{(186,1),(201,1),(350,1)}
270:{1,4,7}:{(187,1),(200,1),(201,1),(348,1),(349,1),(363,1)}
271:{1,2,5}:{(188,1),(194,1),(202,1),(338,1),(352,1),(355,1),(374,1),(375,1),(551,1),(720,1)}
272:{2,5,7}:{(195,1),(203,1),(204,1),(352,1),(353,1),(354,1),(1003,1)}
273:{2,6}:{(196,1),(204,1),(352,1),(374,1),(375,1)}
274:{2,4,6}:{(197,1),(203,1),(335,1),(341,1),(353,1),(354,1),(519,1),(754,1),(770,1),(783,1)}
275:{1,2,6}:{(189,1),(198,1),(205,1),(356,1),(357,1),(721,1)}
276:{1,4,7}:{(190,1),(205,1),(206,1),(357,1),(358,1),(364,1),(543,1)}
277:{1,5}:{(191,1),(206,1),(359,1),(365,1)}
278:{2,5,6,7}:{(199,1),(207,1),(241,1),(242,1),(343,1),(353,1),(386,1),(387,1),(398,1),(399,1),(545,1),(953,1),(969,1),(1032,1),(1675,1),(1683,1),(1802,1)}
279:{1,2,3,7}:{(192,1),(200,1),(205,1),(208,1),(346,1),(361,1),(363,1),(364,1),(558,1),(954,1),(1026,1),(1657,1),(1660,1)}
280:{1,2}:{(193,1),(201,1)}
281:{3}:{(206,1)}
282:{4}:{(212,1),(375,1)}
283:{4}:{(211,1),(374,1)}
284:{3,5}:{(218,1),(224,1),(367,1),(392,1),(570,1),(1045,1)}
285:{3,5}:{(217,1),(223,1),(366,1),(393,1),(571,1),(1046,1)}
286:{3,6}:{(214,1),(225,1),(395,1),(1295,1)}
287:{3,6}:{(213,1),(226,1),(394,1),(1294,1)}
288:{3,7}:{(215,1),(228,1),(396,1)}
289:{3,7}:{(216,1),(227,1),(397,1)}
290:{4}:{(220,1)}
291:{4}:{(219,1)}
292:{2,3,5,7}:{(214,1),(220,1),(221,1),(233,1),(376,1),(380,1),(383,1),(384,1),(404,1),(570,1),(583,1)}
293:{2,3,5,7}:{(213,1),(219,1),(222,1),(234,1),(377,1),(381,1),(382,1),(385,1),(405,1),(571,1),(582,1)}
294:{2,3,6}:{(215,1),(219,1),(238,1),(379,1),(385,1),(407,1)}
295:{2,3,6}:{(216,1),(220,1),(237,1),(378,1),(384,1),(406,1)}
296:{2,3,6}:{(217,1),(222,1),(235,1),(374,1),(381,1),(408,1),(572,1),(580,1),(734,1),(751,1),(797,1),(1306,1)}
297:{2,3,6}:{(218,1),(221,1),(236,1),(375,1),(380,1),(409,1),(573,1),(581,1),(734,1),(751,1),(798,1),(1307,1)}
298:{5,6}:{(223,1),(226,1),(386,1),(571,1)}
299:{5,6}:{(224,1),(225,1),(387,1),(570,1)}
300:{4,6,7}:{(226,1),(228,1),(241,1),(371,1),(386,1),(560,1)}
301:{4,6,7}:{(225,1),(227,1),(242,1),(370,1),(387,1),(561,1)}
302:{1,4}:{(210,1),(240,1),(372,1),(389,1),(593,1)}
303:{1,4}:{(209,1),(239,1),(373,1),(388,1),(592,1)}
304:{1,5,7}:{(214,1),(229,1),(232,1),(329,1),(392,1),(395,1),(397,1),(592,1)}
305:{1,5,7}:{(213,1),(230,1),(231,1),(329,1),(393,1),(394,1),(396,1),(593,1)}
306:{1,6}:{(215,1),(230,1),(328,1),(396,1),(593,1)}
307:{1,6}:{(216,1),(229,1),(328,1),(397,1),(592,1)}
308:{1,4,6}:{(217,1),(231,1),(243,1),(331,1),(390,1),(393,1),(394,1),(593,1)}
309:{1,4,6}:{(218,1),(232,1),(244,1),(331,1),(391,1),(392,1),(395,1),(592,1)}
310:{2,5}:{(224,1),(236,1),(388,1)}
311:{2,5}:{(223,1),(235,1),(389,1)}
312:{2,6}:{(226,1),(234,1)}
313:{2,6}:{(225,1),(233,1)}
314:{2,4,7}:{(228,1),(234,1),(238,1),(377,1),(385,1),(389,1),(575,1)}
315:{2,4,7}:{(227,1),(233,1),(237,1),(376,1),(384,1),(388,1),(574,1)}
316:{1,2,3,5}:{(212,1),(239,1),(244,1),(338,1),(347,1),(373,1),(375,1),(380,1),(391,1),(392,1),(509,1),(551,1),(554,1),(569,1),(581,1),(592,1),(594,1),(720,1),(734,1),(821,1),(829,1),(1069,1),(1307,1)}
317:{1,2,3,5}:{(211,1),(240,1),(243,1),(338,1),(347,1),(372,1),(374,1),(381,1),(390,1),(393,1),(509,1),(551,1),(554,1),(568,1),(580,1),(593,1),(595,1),(720,1),(734,1),(822,1),(830,1),(1070,1),(1306,1)}
318:{1,2,5}:{(220,1),(229,1),(245,1),(336,1),(402,1),(406,1)}
319:{1,2,5}:{(219,1),(230,1),(246,1),(336,1),(403,1),(407,1)}
320:{1,2,4,7}:{(221,1),(232,1),(245,1),(337,1),(363,1),(376,1),(404,1),(409,1),(548,1),(801,1),(815,1),(824,1),(1049,1),(1071,1)}
321:{1,2,4,7}:{(222,1),(231,1),(246,1),(337,1),(363,1),(377,1),(405,1),(408,1),(548,1),(802,1),(816,1),(823,1),(1050,1),(1072,1)}
322:{4,5}:{(255,1),(256,1),(416,1),(417,1)}
323:{2,3,4}:{(248,1),(254,1),(255,1),(410,1),(416,1),(427,1),(433,1),(607,1)}
324:{6,7}:{(257,1),(258,1),(418,1),(419,1)}
325:{2,3}:{(248,1),(254,1),(411,1)}
326:{5,6}:{(256,1),(257,1),(417,1),(418,1)}
327:{7}:{(258,1)}
328:{6}:{(247,1),(419,1)}
329:{5,7}:{(247,1),(249,1),(417,1),(418,1),(419,1)}
330:{3,4}:{(250,1),(282,1),(283,1),(416,1),(427,1),(437,1)}
331:{4,6}:{(249,1),(260,1),(416,1),(417,1),(418,1)}
332:{3,5}:{(252,1),(263,1),(417,1),(439,1),(466,1),(467,1),(619,1)}
333:{3,6}:{(251,1),(264,1),(418,1),(441,1)}
334:{3,7}:{(253,1),(265,1),(419,1),(442,1),(466,1),(467,1)}
335:{4}:{(261,1)}
336:{2,5}:{(247,1),(259,1),(423,1),(425,1),(1111,1)}
337:{2,4,7}:{(249,1),(259,1),(262,1),(424,1),(426,1),(428,1),(846,1),(858,1),(1111,1)}
338:{2,3,5}:{(250,1),(260,1),(271,1),(416,1),(417,1),(427,1),(433,1),(618,1),(620,1)}
339:{2,3,5,7}:{(251,1),(261,1),(262,1),(272,1),(424,1),(426,1),(430,1),(431,1),(432,1),(453,1),(619,1),(628,1),(634,1),(866,1),(1111,1)}
340:{2,3,6}:{(252,1),(262,1),(273,1),(427,1),(428,1),(430,1),(454,1),(849,1),(1111,1)}
341:{2,3,6}:{(253,1),(261,1),(274,1),(425,1),(429,1),(432,1),(455,1),(871,1),(1111,1)}
342:{4,5,6}:{(263,1),(264,1),(298,1),(299,1),(421,1),(434,1),(446,1),(460,1),(461,1),(482,1),(483,1),(614,1),(619,1),(671,1),(672,1),(1350,1),(1571,1),(1574,1)}
343:{4,6,7}:{(264,1),(265,1),(278,1),(422,1),(434,1),(482,1),(483,1),(1085,1),(1574,1),(1862,1)}
344:{1,5}:{(247,1),(267,1),(435,1),(440,1),(1165,1)}
345:{1,4}:{(248,1),(266,1),(411,1),(443,1)}
346:{1,4,7}:{(249,1),(267,1),(279,1),(436,1),(438,1),(444,1),(1558,1)}
347:{1,3,5}:{(250,1),(266,1),(268,1),(437,1),(439,1),(443,1),(866,1)}
348:{1,5,7}:{(251,1),(269,1),(270,1),(439,1),(441,1),(442,1)}
349:{1,4,6}:{(252,1),(268,1),(270,1),(437,1),(439,1),(441,1),(454,1),(635,1)}
350:{1,6}:{(253,1),(269,1),(442,1),(1165,1)}
351:{3,4}:{(267,1),(281,1),(440,1),(445,1),(459,1),(636,1)}
352:{2,5}:{(263,1),(273,1),(447,1),(1111,1)}
353:{2,6}:{(264,1),(272,1),(1127,1)}
354:{2,4,7}:{(265,1),(272,1),(274,1),(424,1),(432,1),(447,1),(877,1),(906,1),(1111,1)}
355:{1,2,4}:{(254,1),(271,1),(302,1),(303,1),(411,1),(416,1),(433,1),(447,1),(610,1),(635,1),(661,1)}
356:{1,2,5}:{(255,1),(266,1),(275,1),(410,1),(415,1),(840,1)}
357:{1,4,6}:{(256,1),(275,1),(276,1),(412,1),(415,1),(456,1),(608,1)}
358:{1,5,7}:{(257,1),(276,1),(277,1),(412,1),(413,1),(457,1)}
359:{1,6}:{(258,1),(277,1),(414,1),(458,1),(1165,1)}
360:{1,2,4}:{(259,1),(267,1),(280,1),(449,1),(450,1),(459,1),(636,1)}
361:{1,2,3,6}:{(260,1),(268,1),(275,1),(279,1),(438,1),(452,1),(454,1),(456,1),(667,1),(838,1),(898,1)}
362:{1,2,5}:{(261,1),(269,1),(280,1),(449,1),(455,1),(657,1)}
363:{1,2,7}:{(262,1),(270,1),(280,1),(454,1),(1134,1)}
364:{3,7}:{(276,1),(281,1),(456,1)}
365:{3,5}:{(277,1),(281,1),(445,1),(458,1),(648,1)}
366:{4,5}:{(283,1),(285,1),(460,1),(462,1),(471,1)}
367:{4,5}:{(282,1),(284,1),(461,1),(463,1),(470,1)}
368:{3,5,6}:{(284,1),(286,1),(299,1),(461,1),(464,1),(487,1),(680,1)}
369:{3,5,6}:{(285,1),(287,1),(298,1),(460,1),(465,1),(486,1),(679,1)}
370:{3,6,7}:{(286,1),(289,1),(301,1),(464,1),(489,1)}
371:{3,6,7}:{(287,1),(288,1),(300,1),(465,1),(488,1)}
372:{3}:{(302,1)}
373:{3}:{(303,1)}
374:{2}:{(283,1)}
375:{2}:{(282,1)}
376:{4,7}:{(290,1),(292,1),(463,1),(472,1)}
377:{4,7}:{(291,1),(293,1),(462,1),(473,1)}
378:{3,4,6}:{(290,1),(295,1),(472,1),(474,1),(481,1),(497,1),(693,1)}
379:{3,4,6}:{(291,1),(294,1),(473,1),(475,1),(480,1),(496,1),(694,1)}
380:{2,3,5}:{(284,1),(297,1),(310,1),(463,1),(466,1),(470,1),(498,1),(681,1),(690,1),(866,1),(1111,1)}
381:{2,3,5}:{(285,1),(296,1),(311,1),(462,1),(467,1),(471,1),(499,1),(682,1),(689,1),(866,1),(1111,1)}
382:{2,3,6}:{(287,1),(293,1),(312,1),(473,1),(501,1),(694,1)}
383:{2,3,6}:{(286,1),(292,1),(313,1),(472,1),(500,1),(693,1)}
384:{2,3,7}:{(289,1),(295,1),(315,1),(466,1),(474,1),(503,1),(690,1),(1111,1)}
385:{2,3,7}:{(288,1),(294,1),(314,1),(467,1),(475,1),(502,1),(689,1),(1111,1)}
386:{5,7}:{(298,1),(300,1)}
387:{5,7}:{(299,1),(301,1)}
388:{4}:{(310,1),(466,1)}
389:{4}:{(311,1),(467,1)}
390:{1,4}:{(283,1),(317,1),(416,1),(462,1),(468,1)}
391:{1,4}:{(282,1),(316,1),(416,1),(463,1),(469,1)}
392:{1,5}:{(284,1),(309,1),(417,1)}
393:{1,5}:{(285,1),(308,1),(417,1)}
394:{1,6}:{(287,1),(305,1),(418,1)}
395:{1,6}:{(286,1),(304,1),(418,1)}
396:{1,7}:{(288,1),(306,1),(419,1)}
397:{1,7}:{(289,1),(307,1),(419,1)}
398:{2,5,6}:{(299,1),(310,1),(313,1),(482,1),(490,1)}
399:{2,5,6}:{(298,1),(311,1),(312,1),(483,1),(491,1)}
400:{2,4,6,7}:{(300,1),(312,1),(314,1),(473,1),(478,1),(483,1),(491,1),(673,1),(684,1),(686,1)}
401:{2,4,6,7}:{(301,1),(313,1),(315,1),(472,1),(479,1),(482,1),(490,1),(674,1),(683,1),(685,1)}
402:{1,4,5}:{(290,1),(318,1),(423,1),(449,1),(481,1),(497,1),(657,1)}
403:{1,4,5}:{(291,1),(319,1),(423,1),(449,1),(480,1),(496,1),(657,1)}
404:{1,2,5,7}:{(292,1),(304,1),(318,1),(320,1),(426,1),(495,1),(498,1),(500,1),(503,1),(921,1),(1111,1),(1171,1)}
405:{1,2,5,7}:{(293,1),(305,1),(319,1),(321,1),(426,1),(494,1),(499,1),(501,1),(502,1),(922,1),(1111,1),(1170,1)}
406:{1,2,6}:{(295,1),(307,1),(318,1),(425,1),(497,1),(503,1),(1111,1)}
407:{1,2,6}:{(294,1),(306,1),(319,1),(425,1),(496,1),(502,1),(1111,1)}
408:{1,2,4,6}:{(296,1),(308,1),(321,1),(428,1),(454,1),(462,1),(473,1),(492,1),(499,1),(501,1),(635,1),(652,1),(686,1),(698,1),(705,1),(924,1),(947,1),(1111,1),(1185,1)}
409:{1,2,4,6}:{(297,1),(309,1),(320,1),(428,1),(454,1),(463,1),(472,1),(493,1),(498,1),(500,1),(635,1),(652,1),(685,1),(697,1),(706,1),(923,1),(948,1),(1111,1),(1184,1)}
410:{1,2,4}:{(323,1),(345,1),(356,1),(507,1),(535,1),(551,1),(959,1)}
411:{1,2}:{(325,1),(345,1)}
412:{1,5,6}:{(326,1),(357,1),(358,1),(504,1),(531,1),(532,1)}
413:{1,6,7}:{(324,1),(358,1),(359,1),(505,1),(532,1),(533,1),(1218,1)}
414:{1,7}:{(327,1),(359,1),(506,1)}
415:{1,4,5}:{(322,1),(356,1),(357,1),(508,1),(531,1),(535,1),(715,1)}
416:{4}:{(338,1)}
417:{5}:{(331,1)}
418:{6}:{(329,1)}
419:{7}:{(328,1)}
420:{3,4,5}:{(330,1),(332,1),(366,1),(367,1),(510,1),(511,1),(514,1),(524,1),(534,1),(564,1),(565,1),(568,1),(569,1),(727,1),(731,1),(734,1),(791,1),(792,1),(803,1),(804,1),(973,1),(977,1),(999,1),(1041,1),(1042,1),(1045,1),(1046,1),(1228,1),(1247,1),(1306,1),(1307,1)}
421:{3,5,6}:{(332,1),(333,1),(342,1),(512,1),(514,1),(515,1),(536,1),(566,1),(567,1),(791,1),(792,1),(1045,1),(1046,1),(1247,1),(1294,1),(1295,1),(1485,1)}
422:{3,6,7}:{(333,1),(334,1),(343,1),(513,1),(515,1),(540,1),(566,1),(567,1),(1199,1),(1294,1),(1295,1),(1485,1),(1916,1)}
423:{4,5}:{(335,1),(336,1),(517,1),(525,1),(973,1)}
424:{4,7}:{(335,1),(339,1),(511,1),(519,1),(973,1)}
425:{2,6}:{(328,1),(336,1),(517,1),(523,1)}
426:{2,5,7}:{(329,1),(336,1),(337,1),(518,1),(521,1),(522,1),(523,1)}
427:{2,3}:{(330,1),(374,1),(375,1),(520,1),(551,1)}
428:{2,4,6}:{(331,1),(337,1),(340,1),(511,1),(519,1),(520,1),(521,1),(522,1),(728,1),(737,1)}
429:{3,4,6}:{(335,1),(341,1),(517,1),(519,1),(525,1),(526,1),(530,1),(553,1),(735,1),(744,1),(749,1),(751,1),(754,1),(973,1)}
430:{2,3,5}:{(332,1),(340,1),(352,1),(511,1),(521,1),(528,1),(554,1),(731,1),(734,1)}
431:{2,3,6}:{(333,1),(339,1),(353,1),(519,1),(522,1),(556,1),(744,1),(751,1)}
432:{2,3,7}:{(334,1),(341,1),(354,1),(523,1),(526,1),(528,1),(557,1)}
433:{2,3}:{(355,1),(372,1),(373,1),(516,1),(734,1)}
434:{4,5,7}:{(342,1),(343,1),(386,1),(387,1),(515,1),(545,1),(560,1),(561,1),(730,1),(1208,1)}
435:{1,6}:{(328,1),(344,1),(533,1),(537,1)}
436:{1,5,7}:{(329,1),(344,1),(346,1),(531,1),(532,1),(533,1),(538,1),(1218,1),(1451,1)}
437:{1,4}:{(330,1),(347,1),(551,1),(973,1)}
438:{1,4,6}:{(331,1),(346,1),(361,1),(531,1),(532,1),(535,1),(542,1)}
439:{1,5}:{(332,1),(349,1),(592,1),(593,1)}
440:{3,5}:{(344,1),(351,1),(537,1),(539,1),(1001,1)}
441:{1,6}:{(333,1),(348,1)}
442:{1,7}:{(334,1),(350,1),(592,1),(593,1)}
443:{1,3}:{(345,1),(372,1),(373,1),(592,1),(593,1)}
444:{3,4,7}:{(346,1),(351,1),(364,1),(538,1),(542,1),(543,1),(558,1),(755,1),(1435,1)}
445:{4}:{(365,1),(559,1)}
446:{2,5,6}:{(342,1),(352,1),(353,1),(545,1),(546,1),(572,1),(573,1),(799,1),(800,1),(1255,1),(1481,1),(1683,1)}
447:{2,4}:{(352,1),(388,1),(389,1),(511,1),(528,1)}
448:{2,4,6,7}:{(343,1),(353,1),(354,1),(519,1),(529,1),(545,1),(546,1),(730,1),(1007,1),(1021,1),(1032,1),(1211,1),(1468,1),(1482,1),(1683,1)}
449:{1,4}:{(335,1),(362,1),(530,1)}
450:{1,2,5}:{(336,1),(344,1),(360,1),(547,1),(549,1),(555,1),(1038,1)}
451:{1,2,4,7}:{(337,1),(346,1),(360,1),(363,1),(548,1),(550,1),(552,1),(558,1),(755,1),(1006,1),(1026,1),(1212,1),(1474,1),(1490,1),(1660,1)}
452:{1,2,3,5}:{(338,1),(347,1),(356,1),(361,1),(507,1),(508,1),(531,1),(535,1),(551,1),(554,1),(718,1),(724,1),(734,1),(774,1),(782,1)}
453:{1,2,5,7}:{(339,1),(348,1),(362,1),(363,1),(548,1),(554,1),(556,1),(557,1),(766,1),(776,1)}
454:{1,2,6}:{(340,1),(349,1),(363,1),(551,1),(554,1),(1010,1)}
455:{1,2,6}:{(341,1),(350,1),(362,1),(553,1),(557,1),(1038,1)}
456:{3,6}:{(357,1),(364,1),(508,1)}
457:{3,5,7}:{(358,1),(364,1),(365,1),(504,1),(505,1),(543,1),(717,1)}
458:{3,6}:{(359,1),(365,1),(506,1),(544,1),(1001,1)}
459:{2,3}:{(351,1),(360,1),(530,1),(559,1)}
460:{4,6}:{(366,1),(369,1),(560,1),(572,1)}
461:{4,6}:{(367,1),(368,1),(561,1),(573,1)}
462:{4}:{(381,1)}
463:{4}:{(380,1)}
464:{3,5,7}:{(368,1),(370,1),(387,1),(561,1),(590,1),(795,1)}
465:{3,5,7}:{(369,1),(371,1),(386,1),(560,1),(591,1),(796,1)}
466:{3}:{(388,1),(592,1)}
467:{3}:{(389,1),(593,1)}
468:{3,4}:{(372,1),(390,1),(568,1),(580,1),(734,1),(803,1),(1306,1)}
469:{3,4}:{(373,1),(391,1),(569,1),(581,1),(734,1),(804,1),(1307,1)}
470:{2,5}:{(367,1),(375,1),(573,1),(574,1)}
471:{2,5}:{(366,1),(374,1),(572,1),(575,1)}
472:{4,6}:{(376,1),(383,1),(570,1)}
473:{4,6}:{(377,1),(382,1),(571,1)}
474:{3,4,7}:{(376,1),(378,1),(384,1),(564,1),(583,1),(599,1),(973,1)}
475:{3,4,7}:{(377,1),(379,1),(385,1),(565,1),(582,1),(598,1),(973,1)}
476:{2,3,5,6}:{(368,1),(380,1),(383,1),(398,1),(563,1),(567,1),(570,1),(573,1),(578,1),(600,1),(792,1),(798,1),(799,1),(805,1),(808,1),(810,1),(1045,1),(1048,1),(1295,1)}
477:{2,3,5,6}:{(369,1),(381,1),(382,1),(399,1),(562,1),(566,1),(571,1),(572,1),(579,1),(601,1),(791,1),(797,1),(800,1),(806,1),(807,1),(809,1),(1046,1),(1047,1),(1294,1)}
478:{2,3,6,7}:{(371,1),(382,1),(385,1),(400,1),(566,1),(577,1),(579,1),(603,1),(806,1),(1047,1),(1294,1)}
479:{2,3,6,7}:{(370,1),(383,1),(384,1),(401,1),(567,1),(576,1),(578,1),(602,1),(805,1),(1048,1),(1295,1)}
480:{3,5}:{(379,1),(403,1),(530,1),(571,1)}
481:{3,5}:{(378,1),(402,1),(530,1),(570,1)}
482:{4,6}:{(388,1),(398,1),(567,1),(585,1),(1295,1)}
483:{4,6}:{(389,1),(399,1),(566,1),(584,1),(1294,1)}
484:{1,4,5}:{(367,1),(391,1),(392,1),(510,1),(569,1),(587,1),(594,1),(720,1),(804,1),(1045,1)}
485:{1,4,5}:{(366,1),(390,1),(393,1),(510,1),(568,1),(586,1),(595,1),(720,1),(803,1),(1046,1)}
486:{1,5,6}:{(369,1),(393,1),(394,1),(512,1),(586,1),(591,1),(1046,1),(1294,1)}
487:{1,5,6}:{(368,1),(392,1),(395,1),(512,1),(587,1),(590,1),(1045,1),(1295,1)}
488:{1,6,7}:{(371,1),(394,1),(396,1),(513,1),(591,1),(1294,1)}
489:{1,6,7}:{(370,1),(395,1),(397,1),(513,1),(590,1),(1295,1)}
490:{2,5,7}:{(387,1),(398,1),(401,1),(570,1),(585,1),(799,1)}
491:{2,5,7}:{(386,1),(399,1),(400,1),(571,1),(584,1),(800,1)}
492:{1,2,4}:{(374,1),(390,1),(520,1),(551,1),(575,1),(580,1),(595,1),(803,1),(830,1)}
493:{1,2,4}:{(375,1),(391,1),(520,1),(551,1),(574,1),(581,1),(594,1),(804,1),(829,1)}
494:{1,4,5,7}:{(377,1),(403,1),(405,1),(518,1),(548,1),(571,1),(582,1),(589,1),(596,1),(598,1),(766,1),(776,1),(789,1),(816,1),(827,1),(973,1)}
495:{1,4,5,7}:{(376,1),(402,1),(404,1),(518,1),(548,1),(570,1),(583,1),(588,1),(597,1),(599,1),(766,1),(776,1),(790,1),(815,1),(828,1),(973,1)}
496:{1,4,6}:{(379,1),(403,1),(407,1),(517,1),(598,1),(604,1),(973,1)}
497:{1,4,6}:{(378,1),(402,1),(406,1),(517,1),(599,1),(605,1),(973,1)}
498:{1,2,5}:{(380,1),(392,1),(409,1),(521,1),(570,1),(588,1),(592,1),(766,1),(799,1),(829,1),(1045,1)}
499:{1,2,5}:{(381,1),(393,1),(408,1),(521,1),(571,1),(589,1),(593,1),(766,1),(800,1),(830,1),(1046,1)}
500:{1,2,6}:{(383,1),(395,1),(404,1),(522,1),(597,1),(1048,1),(1295,1)}
501:{1,2,6}:{(382,1),(394,1),(405,1),(522,1),(596,1),(1047,1),(1294,1)}
502:{1,2,7}:{(385,1),(396,1),(407,1),(523,1),(593,1),(598,1),(830,1)}
503:{1,2,7}:{(384,1),(397,1),(406,1),(523,1),(592,1),(599,1),(829,1)}
504:{3,5,6}:{(412,1),(456,1),(457,1),(608,1),(642,1),(644,1),(836,1)}
505:{3,6,7}:{(413,1),(457,1),(458,1),(611,1),(642,1),(643,1),(1082,1)}
506:{3,7}:{(414,1),(458,1),(609,1)}
507:{1,2,3}:{(410,1),(433,1),(443,1),(606,1),(661,1),(1078,1)}
508:{3,5}:{(415,1),(456,1),(607,1)}
509:{1,2,3}:{(411,1),(433,1),(443,1),(610,1),(661,1),(886,1)}
510:{4,5}:{(416,1),(417,1),(613,1),(618,1),(620,1)}
511:{4}:{(430,1)}
512:{5,6}:{(417,1),(418,1),(613,1),(615,1)}
513:{6,7}:{(418,1),(419,1),(615,1)}
514:{3,4,6}:{(420,1),(421,1),(460,1),(461,1),(613,1),(614,1),(616,1),(626,1),(639,1),(679,1),(680,1),(849,1),(853,1),(923,1),(924,1)}
515:{3,5,7}:{(421,1),(422,1),(434,1),(615,1),(616,1),(641,1),(1170,1),(1171,1),(1318,1)}
516:{3,4}:{(416,1),(433,1),(610,1),(618,1)}
517:{4,6}:{(423,1),(425,1),(622,1),(627,1)}
518:{4,5,7}:{(423,1),(424,1),(426,1),(612,1),(619,1),(621,1),(622,1),(628,1),(846,1),(856,1)}
519:{4,6}:{(424,1),(431,1),(619,1)}
520:{2,4}:{(416,1),(427,1),(620,1)}
521:{2,5}:{(417,1),(428,1),(612,1),(619,1)}
522:{2,6}:{(418,1),(426,1),(621,1)}
523:{2,7}:{(419,1),(425,1),(622,1)}
524:{2,3,5}:{(420,1),(427,1),(470,1),(471,1),(620,1),(623,1),(626,1),(656,1),(689,1),(690,1),(857,1),(870,1),(1111,1)}
525:{3,5}:{(423,1),(429,1),(619,1),(657,1),(872,1)}
526:{3,4,7}:{(424,1),(429,1),(432,1),(617,1),(622,1),(628,1),(634,1),(659,1),(869,1),(877,1)}
527:{2,3,5,6}:{(421,1),(430,1),(431,1),(446,1),(614,1),(619,1),(624,1),(626,1),(630,1),(631,1),(660,1),(848,1),(849,1),(853,1),(857,1),(862,1),(866,1),(925,1),(926,1),(1110,1),(1111,1),(1118,1),(1370,1),(1571,1)}
528:{2,3}:{(447,1),(466,1),(467,1),(617,1),(661,1)}
529:{2,3,6,7}:{(422,1),(431,1),(432,1),(448,1),(625,1),(629,1),(630,1),(631,1),(665,1),(1110,1),(1111,1),(1122,1),(1328,1),(1359,1),(1370,1),(1371,1)}
530:{3}:{(449,1)}
531:{1,5}:{(417,1),(438,1),(644,1)}
532:{1,6}:{(418,1),(436,1),(642,1)}
533:{1,7}:{(419,1),(435,1),(643,1)}
534:{1,4,5}:{(420,1),(437,1),(439,1),(635,1),(639,1),(646,1),(656,1),(699,1),(700,1),(879,1),(893,1),(937,1),(938,1),(1146,1),(1184,1),(1185,1)}
535:{1,4}:{(416,1),(452,1),(607,1),(878,1)}
536:{1,5,6}:{(421,1),(439,1),(441,1),(639,1),(641,1),(701,1),(702,1),(937,1),(938,1),(1146,1),(1389,1)}
537:{3,6}:{(435,1),(440,1),(643,1),(645,1)}
538:{3,5,7}:{(436,1),(440,1),(444,1),(642,1),(643,1),(644,1),(647,1),(1082,1),(1318,1)}
539:{4,5}:{(440,1),(445,1),(636,1),(645,1),(648,1),(664,1),(872,1),(895,1)}
540:{1,6,7}:{(422,1),(441,1),(442,1),(641,1),(701,1),(702,1),(1340,1),(1389,1),(1954,1)}
541:{1,3,4}:{(437,1),(443,1),(468,1),(469,1),(610,1),(646,1),(666,1),(699,1),(700,1),(886,1),(893,1),(1099,1)}
542:{3,4,6}:{(438,1),(444,1),(456,1),(607,1),(608,1),(642,1),(644,1),(667,1),(876,1),(878,1)}
543:{4,7}:{(445,1),(457,1),(608,1),(668,1)}
544:{4,6}:{(445,1),(458,1),(609,1),(648,1),(669,1),(834,1),(895,1)}
545:{2,5,7}:{(434,1),(446,1),(448,1),(619,1),(683,1),(684,1),(1126,1),(1143,1),(1571,1)}
546:{2,4,6}:{(446,1),(447,1),(482,1),(483,1),(614,1),(631,1),(649,1),(1110,1),(1111,1),(1364,1),(1372,1)}
547:{1,4,5}:{(423,1),(449,1),(450,1),(632,1),(636,1),(650,1),(657,1),(872,1),(887,1)}
548:{1,4,7}:{(424,1),(449,1),(453,1),(634,1),(635,1),(652,1)}
549:{1,2,6}:{(425,1),(435,1),(450,1),(650,1),(655,1),(662,1)}
550:{1,2,5,7}:{(426,1),(436,1),(450,1),(451,1),(651,1),(653,1),(654,1),(655,1),(663,1),(1111,1),(1164,1),(1334,1),(1358,1),(1359,1),(1399,1)}
551:{1,2}:{(427,1),(437,1),(1111,1)}
552:{1,2,4,6}:{(428,1),(438,1),(451,1),(454,1),(635,1),(652,1),(653,1),(654,1),(658,1),(667,1),(874,1),(876,1),(878,1),(898,1),(1084,1),(1111,1)}
553:{1,4,6}:{(429,1),(449,1),(455,1),(657,1),(659,1),(670,1),(887,1),(900,1)}
554:{1,2,5}:{(430,1),(439,1),(454,1),(635,1),(661,1),(879,1)}
555:{2,3,5}:{(440,1),(450,1),(459,1),(632,1),(636,1),(662,1),(664,1),(871,1),(872,1)}
556:{1,2,6}:{(431,1),(441,1),(453,1),(652,1),(900,1),(1111,1)}
557:{1,2,7}:{(432,1),(442,1),(455,1),(659,1),(661,1)}
558:{2,3,7}:{(444,1),(451,1),(459,1),(634,1),(667,1),(668,1),(1105,1),(1546,1),(1578,1)}
559:{2}:{(445,1)}
560:{4,7}:{(460,1),(465,1),(684,1)}
561:{4,7}:{(461,1),(464,1),(683,1)}
562:{4,6}:{(462,1),(477,1),(671,1),(673,1)}
563:{4,6}:{(463,1),(476,1),(672,1),(674,1)}
564:{3,4}:{(463,1),(466,1),(681,1),(690,1),(699,1)}
565:{3,4}:{(462,1),(467,1),(682,1),(689,1),(700,1)}
566:{3,6}:{(467,1),(483,1),(677,1),(701,1)}
567:{3,6}:{(466,1),(482,1),(678,1),(702,1)}
568:{3,5}:{(468,1),(485,1),(679,1)}
569:{3,5}:{(469,1),(484,1),(680,1)}
570:{5}:{(472,1)}
571:{5}:{(473,1)}
572:{2,6}:{(460,1),(471,1),(684,1)}
573:{2,6}:{(461,1),(470,1),(683,1)}
574:{2,4}:{(463,1),(470,1),(690,1),(1111,1)}
575:{2,4}:{(462,1),(471,1),(689,1),(1111,1)}
576:{3,4,6,7}:{(472,1),(474,1),(479,1),(674,1),(676,1),(687,1),(693,1),(710,1),(913,1),(919,1)}
577:{3,4,6,7}:{(473,1),(475,1),(478,1),(673,1),(675,1),(688,1),(694,1),(709,1),(914,1),(920,1)}
578:{2,3,5,7}:{(464,1),(476,1),(479,1),(490,1),(674,1),(678,1),(683,1),(687,1),(712,1),(919,1),(921,1),(925,1),(928,1),(932,1),(1171,1)}
579:{2,3,5,7}:{(465,1),(477,1),(478,1),(491,1),(673,1),(677,1),(684,1),(688,1),(711,1),(920,1),(922,1),(926,1),(927,1),(931,1),(1170,1)}
580:{2,3}:{(468,1),(492,1)}
581:{2,3}:{(469,1),(493,1)}
582:{3,5,7}:{(475,1),(480,1),(494,1),(634,1),(682,1),(694,1),(866,1),(920,1)}
583:{3,5,7}:{(474,1),(481,1),(495,1),(634,1),(681,1),(693,1),(866,1),(919,1)}
584:{4,5,7}:{(483,1),(491,1),(671,1),(673,1),(677,1),(1170,1)}
585:{4,5,7}:{(482,1),(490,1),(672,1),(674,1),(678,1),(1171,1)}
586:{1,4,6}:{(460,1),(485,1),(486,1),(613,1),(679,1),(695,1),(705,1),(835,1),(924,1)}
587:{1,4,6}:{(461,1),(484,1),(487,1),(613,1),(680,1),(696,1),(706,1),(835,1),(923,1)}
588:{1,4,5}:{(463,1),(498,1),(612,1),(635,1),(672,1),(681,1),(697,1),(699,1),(879,1),(937,1),(1184,1)}
589:{1,4,5}:{(462,1),(499,1),(612,1),(635,1),(671,1),(682,1),(698,1),(700,1),(879,1),(938,1),(1185,1)}
590:{1,5,7}:{(464,1),(487,1),(489,1),(615,1),(696,1),(1171,1)}
591:{1,5,7}:{(465,1),(486,1),(488,1),(615,1),(695,1),(1170,1)}
592:{1}:{(466,1)}
593:{1}:{(467,1)}
594:{1,2,5}:{(470,1),(484,1),(493,1),(620,1),(691,1),(706,1)}
595:{1,2,5}:{(471,1),(485,1),(492,1),(620,1),(692,1),(705,1)}
596:{1,4,6}:{(473,1),(494,1),(501,1),(621,1),(694,1),(704,1),(900,1),(914,1)}
597:{1,4,6}:{(472,1),(495,1),(500,1),(621,1),(693,1),(703,1),(900,1),(913,1)}
598:{1,4,7}:{(475,1),(496,1),(502,1),(622,1),(700,1),(713,1)}
599:{1,4,7}:{(474,1),(497,1),(503,1),(622,1),(699,1),(714,1)}
600:{1,2,5,6}:{(476,1),(487,1),(498,1),(500,1),(624,1),(697,1),(702,1),(703,1),(706,1),(712,1),(937,1),(948,1)}
601:{1,2,5,6}:{(477,1),(486,1),(499,1),(501,1),(624,1),(698,1),(701,1),(704,1),(705,1),(711,1),(938,1),(947,1)}
602:{1,2,6,7}:{(479,1),(489,1),(500,1),(503,1),(625,1),(702,1),(710,1),(712,1),(948,1)}
603:{1,2,6,7}:{(478,1),(488,1),(501,1),(502,1),(625,1),(701,1),(709,1),(711,1),(947,1)}
604:{1,3,5,6}:{(480,1),(496,1),(627,1),(657,1),(670,1),(694,1),(704,1),(713,1),(866,1),(900,1)}
605:{1,3,5,6}:{(481,1),(497,1),(627,1),(657,1),(670,1),(693,1),(703,1),(714,1),(866,1),(900,1)}
606:{1,3,4}:{(507,1),(516,1),(535,1),(718,1),(734,1),(759,1),(983,1)}
607:{3,4}:{(508,1),(535,1),(724,1),(734,1)}
608:{4,6}:{(504,1),(543,1),(715,1),(721,1)}
609:{4,7}:{(506,1),(544,1),(716,1),(722,1)}
610:{1,4}:{(509,1),(516,1),(720,1)}
611:{4,6,7}:{(505,1),(543,1),(544,1),(717,1),(726,1),(762,1),(763,1),(958,1),(961,1)}
612:{4,5}:{(511,1),(521,1),(728,1),(731,1)}
613:{4,6}:{(510,1),(512,1),(729,1),(733,1),(737,1)}
614:{4,6}:{(511,1),(527,1),(727,1),(730,1),(973,1),(1041,1),(1042,1),(1228,1)}
615:{5,7}:{(512,1),(513,1),(729,1)}
616:{3,4,7}:{(514,1),(515,1),(560,1),(561,1),(729,1),(730,1),(743,1),(758,1),(795,1),(796,1),(975,1),(980,1),(1049,1),(1050,1),(1435,1)}
617:{3,4}:{(511,1),(528,1),(731,1),(734,1),(759,1)}
618:{3,5}:{(510,1),(516,1),(720,1),(733,1)}
619:{5}:{(519,1)}
620:{2,5}:{(510,1),(520,1),(737,1)}
621:{4,6}:{(518,1),(522,1),(736,1),(744,1)}
622:{4,7}:{(517,1),(523,1),(745,1)}
623:{2,4}:{(511,1),(524,1),(803,1),(804,1),(1041,1),(1042,1),(1228,1)}
624:{2,5,6}:{(512,1),(521,1),(522,1),(728,1),(736,1),(737,1),(741,1)}
625:{2,6,7}:{(513,1),(522,1),(523,1),(739,1),(741,1)}
626:{2,3,6}:{(514,1),(524,1),(572,1),(573,1),(737,1),(740,1),(743,1),(773,1)}
627:{3,5,6}:{(517,1),(525,1),(736,1),(744,1),(745,1),(749,1),(775,1)}
628:{3,5,7}:{(518,1),(525,1),(526,1),(731,1),(744,1),(776,1),(975,1),(1003,1)}
629:{3,4,6,7}:{(519,1),(526,1),(529,1),(730,1),(732,1),(739,1),(742,1),(744,1),(751,1),(777,1),(972,1),(973,1),(975,1),(980,1),(981,1),(995,1),(1007,1),(1223,1),(1233,1),(1234,1),(1235,1),(1468,1),(1470,1)}
630:{2,3,5,7}:{(515,1),(527,1),(529,1),(545,1),(730,1),(741,1),(742,1),(743,1),(778,1),(975,1),(980,1),(985,1),(1245,1)}
631:{2,3,6}:{(528,1),(546,1),(566,1),(567,1),(732,1),(747,1),(779,1),(1242,1),(1470,1)}
632:{3,5}:{(530,1),(547,1),(735,1),(749,1)}
633:{2,3,4}:{(516,1),(520,1),(580,1),(581,1),(723,1),(748,1),(803,1),(804,1),(999,1)}
634:{3,7}:{(530,1),(548,1),(734,1),(751,1)}
635:{1,4}:{(511,1),(554,1),(734,1)}
636:{4}:{(555,1)}
637:{1,5,6}:{(512,1),(531,1),(532,1),(756,1),(757,1),(761,1),(1451,1)}
638:{1,6,7}:{(513,1),(532,1),(533,1),(756,1),(760,1)}
639:{1,4,6}:{(514,1),(534,1),(536,1),(758,1),(764,1),(773,1),(1010,1)}
640:{1,4,5}:{(510,1),(531,1),(535,1),(718,1),(719,1),(757,1),(774,1)}
641:{1,5,7}:{(515,1),(536,1),(540,1),(758,1),(1451,1)}
642:{3,6}:{(532,1),(538,1),(763,1)}
643:{3,7}:{(533,1),(537,1),(762,1)}
644:{3,5}:{(531,1),(542,1),(715,1),(1002,1)}
645:{4,6}:{(537,1),(539,1),(762,1),(765,1),(783,1)}
646:{1,3,5}:{(534,1),(541,1),(568,1),(569,1),(720,1),(734,1),(764,1),(977,1),(1306,1),(1307,1)}
647:{4,5,7}:{(538,1),(539,1),(543,1),(715,1),(717,1),(755,1),(762,1),(763,1),(785,1),(961,1),(1002,1),(1003,1),(1208,1)}
648:{5}:{(544,1)}
649:{2,4,5,7}:{(545,1),(546,1),(584,1),(585,1),(727,1),(730,1),(747,1),(799,1),(800,1),(801,1),(802,1),(985,1),(1041,1),(1042,1),(1207,1),(1211,1),(1256,1)}
650:{1,4,6}:{(517,1),(547,1),(549,1),(749,1),(754,1),(768,1),(775,1)}
651:{1,4,5,7}:{(518,1),(547,1),(548,1),(550,1),(750,1),(752,1),(755,1),(766,1),(767,1),(768,1),(776,1),(973,1),(1002,1),(1003,1),(1006,1),(1015,1),(1016,1),(1222,1),(1223,1),(1256,1),(1263,1),(1490,1),(1500,1)}
652:{1,4,6}:{(519,1),(548,1),(556,1),(751,1),(766,1),(973,1)}
653:{1,2,5}:{(521,1),(531,1),(552,1),(752,1),(766,1),(782,1),(1002,1),(1204,1),(1220,1)}
654:{1,2,6}:{(522,1),(532,1),(550,1),(767,1),(780,1),(1238,1),(1445,1)}
655:{1,2,7}:{(523,1),(533,1),(549,1),(768,1),(781,1)}
656:{1,2,5}:{(524,1),(534,1),(551,1),(769,1),(773,1),(829,1),(830,1)}
657:{1,5}:{(525,1),(553,1)}
658:{1,2,4}:{(520,1),(535,1),(551,1),(724,1),(774,1),(963,1)}
659:{1,4,7}:{(526,1),(553,1),(557,1),(759,1),(776,1),(788,1)}
660:{1,2,5,6}:{(527,1),(536,1),(554,1),(556,1),(753,1),(766,1),(773,1),(778,1),(779,1),(1009,1),(1010,1),(1018,1),(1025,1),(1069,1),(1070,1),(1275,1)}
661:{1,2}:{(528,1),(592,1),(593,1),(759,1)}
662:{2,3,6}:{(537,1),(549,1),(555,1),(749,1),(754,1),(781,1),(783,1)}
663:{2,3,5,7}:{(538,1),(550,1),(555,1),(558,1),(750,1),(755,1),(780,1),(781,1),(782,1),(785,1),(1000,1),(1002,1),(1003,1),(1245,1)}
664:{2,5}:{(539,1),(559,1),(770,1),(783,1)}
665:{1,2,6,7}:{(529,1),(540,1),(556,1),(557,1),(777,1),(778,1),(779,1),(1275,1),(1276,1),(1286,1),(1455,1)}
666:{1,2,3}:{(541,1),(551,1),(580,1),(581,1),(723,1),(829,1),(830,1),(1242,1)}
667:{2,3,6}:{(542,1),(552,1),(558,1),(721,1),(724,1),(734,1),(751,1),(782,1),(979,1)}
668:{2,7}:{(543,1),(559,1),(721,1)}
669:{2,6}:{(544,1),(559,1),(722,1),(786,1)}
670:{1,3,6}:{(530,1),(553,1),(749,1),(751,1),(787,1),(788,1)}
671:{4,5}:{(562,1),(571,1),(791,1),(800,1),(1041,1),(1046,1)}
672:{4,5}:{(563,1),(570,1),(792,1),(799,1),(1042,1),(1045,1)}
673:{4,7}:{(562,1),(579,1),(1041,1)}
674:{4,7}:{(563,1),(578,1),(1042,1)}
675:{3,4,6}:{(562,1),(565,1),(566,1),(791,1),(793,1),(797,1),(806,1),(818,1),(1041,1),(1306,1)}
676:{3,4,6}:{(563,1),(564,1),(567,1),(792,1),(794,1),(798,1),(805,1),(817,1),(1042,1),(1307,1)}
677:{3,5,7}:{(566,1),(584,1),(791,1),(793,1),(819,1)}
678:{3,5,7}:{(567,1),(585,1),(792,1),(794,1),(820,1)}
679:{3,6}:{(568,1),(586,1),(796,1)}
680:{3,6}:{(569,1),(587,1),(795,1)}
681:{3,5}:{(564,1),(588,1),(734,1),(798,1),(1307,1)}
682:{3,5}:{(565,1),(589,1),(734,1),(797,1),(1306,1)}
683:{2,7}:{(561,1),(573,1)}
684:{2,7}:{(560,1),(572,1)}
685:{2,4,6}:{(563,1),(573,1),(574,1),(799,1),(801,1),(805,1),(1042,1),(1048,1)}
686:{2,4,6}:{(562,1),(572,1),(575,1),(800,1),(802,1),(806,1),(1041,1),(1047,1)}
687:{3,5,7}:{(570,1),(576,1),(790,1),(792,1),(808,1),(828,1)}
688:{3,5,7}:{(571,1),(577,1),(789,1),(791,1),(807,1),(827,1)}
689:{2,3}:{(565,1),(575,1),(830,1)}
690:{2,3}:{(564,1),(574,1),(829,1)}
691:{2,3,5}:{(569,1),(581,1),(594,1),(804,1),(810,1),(1045,1)}
692:{2,3,5}:{(568,1),(580,1),(595,1),(803,1),(809,1),(1046,1)}
693:{3,6}:{(583,1),(597,1)}
694:{3,6}:{(582,1),(596,1)}
695:{1,4,7}:{(560,1),(586,1),(591,1),(729,1),(796,1),(823,1),(957,1),(1050,1)}
696:{1,4,7}:{(561,1),(587,1),(590,1),(729,1),(795,1),(824,1),(957,1),(1049,1)}
697:{1,4,6}:{(563,1),(588,1),(600,1),(728,1),(798,1),(815,1),(1010,1)}
698:{1,4,6}:{(562,1),(589,1),(601,1),(728,1),(797,1),(816,1),(1010,1)}
699:{1,4}:{(564,1),(592,1),(821,1),(829,1)}
700:{1,4}:{(565,1),(593,1),(822,1),(830,1)}
701:{1,6}:{(566,1),(593,1),(819,1)}
702:{1,6}:{(567,1),(592,1),(820,1)}
703:{1,5,6}:{(570,1),(597,1),(736,1),(766,1),(808,1),(828,1)}
704:{1,5,6}:{(571,1),(596,1),(736,1),(766,1),(807,1),(827,1)}
705:{1,2,6}:{(572,1),(586,1),(595,1),(737,1),(809,1),(823,1)}
706:{1,2,6}:{(573,1),(587,1),(594,1),(737,1),(810,1),(824,1)}
707:{1,2,4,5}:{(574,1),(588,1),(594,1),(738,1),(769,1),(799,1),(804,1),(812,1),(826,1),(829,1),(964,1),(1018,1),(1027,1),(1042,1),(1045,1),(1069,1),(1073,1),(1228,1),(1262,1),(1291,1),(1309,1),(1481,1),(1512,1),(1533,1),(1718,1)}
708:{1,2,4,5}:{(575,1),(589,1),(595,1),(738,1),(769,1),(800,1),(803,1),(811,1),(825,1),(830,1),(964,1),(1018,1),(1027,1),(1041,1),(1046,1),(1070,1),(1074,1),(1228,1),(1262,1),(1290,1),(1308,1),(1481,1),(1512,1),(1534,1),(1719,1)}
709:{1,4,6,7}:{(577,1),(596,1),(598,1),(603,1),(739,1),(816,1),(818,1),(827,1),(832,1)}
710:{1,4,6,7}:{(576,1),(597,1),(599,1),(602,1),(739,1),(815,1),(817,1),(828,1),(831,1)}
711:{1,2,5,7}:{(579,1),(591,1),(601,1),(603,1),(741,1),(816,1),(819,1),(823,1),(827,1),(1070,1),(1072,1)}
712:{1,2,5,7}:{(578,1),(590,1),(600,1),(602,1),(741,1),(815,1),(820,1),(824,1),(828,1),(1069,1),(1071,1)}
713:{1,3,5,7}:{(582,1),(598,1),(604,1),(745,1),(776,1),(788,1),(822,1),(827,1),(832,1)}
714:{1,3,5,7}:{(583,1),(599,1),(605,1),(745,1),(776,1),(788,1),(821,1),(828,1),(831,1)}
715:{4,5}:{(608,1),(644,1),(840,1),(878,1)}
716:{5,7}:{(609,1),(648,1),(834,1)}
717:{5,7}:{(611,1),(648,1),(836,1)}
718:{1,3,5}:{(606,1),(618,1),(640,1),(838,1),(852,1),(879,1)}
719:{3,4,5}:{(607,1),(640,1),(644,1),(833,1),(842,1),(852,1),(878,1),(1129,1)}
720:{1,5}:{(610,1),(618,1),(835,1)}
721:{2,6}:{(608,1),(668,1),(840,1)}
722:{2,7}:{(609,1),(669,1)}
723:{1,2,4}:{(610,1),(633,1),(666,1),(844,1),(893,1),(1364,1)}
724:{2,3}:{(607,1),(658,1)}
725:{1,2,3,4}:{(606,1),(633,1),(658,1),(666,1),(839,1),(870,1),(893,1),(902,1),(1080,1),(1163,1)}
726:{2,6,7}:{(611,1),(668,1),(669,1),(843,1),(906,1),(907,1)}
727:{4,5}:{(614,1),(619,1),(848,1),(857,1),(1571,1)}
728:{4,6}:{(612,1),(624,1),(846,1),(849,1)}
729:{4,7}:{(613,1),(615,1),(851,1),(858,1)}
730:{4,7}:{(614,1),(630,1),(1343,1)}
731:{3,5}:{(612,1),(617,1),(849,1),(879,1)}
732:{3,4,6}:{(614,1),(617,1),(631,1),(848,1),(849,1),(850,1),(853,1),(881,1),(1099,1)}
733:{3,6}:{(613,1),(618,1),(835,1),(851,1)}
734:{3}:{(635,1)}
735:{3,4}:{(632,1),(636,1),(871,1),(887,1)}
736:{5,6}:{(619,1),(621,1),(856,1)}
737:{2,6}:{(613,1),(620,1),(858,1)}
738:{2,4,5}:{(612,1),(620,1),(623,1),(857,1),(859,1),(861,1),(863,1),(1100,1),(1793,1),(1893,1)}
739:{4,6,7}:{(621,1),(622,1),(625,1),(846,1),(856,1),(864,1)}
740:{2,4,6}:{(614,1),(623,1),(626,1),(857,1),(860,1),(923,1),(924,1),(1110,1),(1111,1)}
741:{2,5,7}:{(615,1),(624,1),(625,1),(846,1),(856,1),(858,1)}
742:{3,5,7}:{(619,1),(629,1),(847,1),(848,1),(856,1),(862,1),(866,1),(896,1),(1101,1),(1126,1),(1571,1)}
743:{2,3,7}:{(616,1),(626,1),(683,1),(684,1),(858,1),(860,1),(899,1),(1546,1)}
744:{3,6}:{(621,1),(628,1),(900,1),(1127,1)}
745:{3,5,7}:{(622,1),(627,1),(856,1),(864,1),(869,1),(901,1)}
746:{2,3,4}:{(617,1),(623,1),(689,1),(690,1),(863,1),(870,1),(902,1),(929,1),(930,1),(1364,1),(1622,1),(1793,1)}
747:{2,3,5,7}:{(631,1),(649,1),(677,1),(678,1),(848,1),(850,1),(903,1),(925,1),(926,1),(927,1),(928,1),(1320,1),(1328,1),(1354,1)}
748:{2,3,5}:{(618,1),(620,1),(633,1),(844,1),(861,1),(867,1),(1079,1)}
749:{3,6}:{(632,1),(650,1),(869,1)}
750:{3,5,7}:{(632,1),(634,1),(651,1),(852,1),(855,1),(866,1),(868,1),(869,1),(1101,1),(1105,1),(1578,1)}
751:{3,6}:{(634,1),(652,1),(866,1)}
752:{1,4,5}:{(612,1),(635,1),(653,1),(852,1),(874,1),(878,1),(879,1),(1129,1),(1142,1),(1381,1)}
753:{1,4,6}:{(614,1),(635,1),(660,1),(853,1),(873,1),(875,1),(1184,1),(1185,1)}
754:{4,6}:{(636,1),(662,1),(872,1),(877,1),(1127,1)}
755:{4,7}:{(636,1),(663,1),(876,1),(878,1),(1343,1)}
756:{1,5,7}:{(615,1),(637,1),(638,1),(880,1),(882,1)}
757:{1,4,6}:{(613,1),(637,1),(640,1),(833,1),(838,1),(880,1),(898,1),(1558,1)}
758:{1,4,7}:{(616,1),(639,1),(641,1),(885,1),(899,1),(1134,1),(1558,1)}
759:{1,4}:{(617,1),(661,1),(879,1),(886,1)}
760:{3,6,7}:{(638,1),(642,1),(643,1),(882,1),(883,1)}
761:{3,5,6}:{(637,1),(642,1),(644,1),(833,1),(837,1),(882,1),(1318,1)}
762:{4,7}:{(643,1),(645,1),(884,1),(906,1)}
763:{4,6}:{(642,1),(647,1),(836,1),(907,1),(1127,1)}
764:{1,3,6}:{(639,1),(646,1),(679,1),(680,1),(835,1),(853,1),(885,1)}
765:{5,6}:{(645,1),(648,1),(834,1),(872,1),(884,1),(1127,1)}
766:{1,5}:{(619,1),(652,1),(866,1)}
767:{1,4,6}:{(621,1),(651,1),(654,1),(868,1),(876,1),(888,1),(900,1),(1096,1),(1127,1),(1372,1),(1597,1)}
768:{1,4,7}:{(622,1),(650,1),(655,1),(869,1),(877,1),(901,1)}
769:{1,2,4}:{(623,1),(635,1),(656,1),(870,1),(893,1),(1184,1),(1185,1)}
770:{2,4}:{(636,1),(664,1),(871,1),(895,1)}
771:{1,2,5,6}:{(624,1),(637,1),(653,1),(654,1),(874,1),(888,1),(897,1),(898,1),(905,1),(1339,1),(1381,1),(1399,1),(1597,1)}
772:{1,2,6,7}:{(625,1),(638,1),(654,1),(655,1),(889,1),(897,1),(904,1),(1359,1),(1597,1)}
773:{1,2,6}:{(626,1),(639,1),(656,1),(899,1)}
774:{1,2,5}:{(620,1),(640,1),(658,1),(842,1),(898,1)}
775:{1,5,6}:{(627,1),(650,1),(657,1),(872,1),(900,1),(901,1),(1127,1)}
776:{1,5,7}:{(628,1),(657,1),(659,1),(879,1),(900,1),(1134,1)}
777:{1,4,6,7}:{(629,1),(652,1),(659,1),(665,1),(875,1),(881,1),(896,1),(900,1),(912,1),(1130,1),(1131,1),(1134,1),(1140,1),(1386,1),(1597,1)}
778:{1,2,5,7}:{(630,1),(641,1),(660,1),(665,1),(875,1),(896,1),(899,1),(1134,1),(1399,1)}
779:{1,2,6}:{(631,1),(661,1),(701,1),(702,1),(881,1),(903,1),(1396,1),(1597,1)}
780:{2,3,6}:{(642,1),(654,1),(663,1),(868,1),(876,1),(907,1),(1127,1)}
781:{2,3,7}:{(643,1),(655,1),(662,1),(869,1),(877,1),(906,1)}
782:{2,3,5}:{(644,1),(653,1),(667,1),(840,1),(852,1),(866,1),(878,1),(1078,1),(1111,1)}
783:{2,6}:{(645,1),(664,1),(906,1)}
784:{1,2,3,5}:{(646,1),(656,1),(666,1),(691,1),(692,1),(844,1),(870,1),(893,1),(908,1),(1079,1),(1118,1),(1146,1)}
785:{2,5,7}:{(647,1),(664,1),(668,1),(840,1),(894,1),(906,1),(907,1),(1143,1)}
786:{2,5}:{(648,1),(669,1),(895,1)}
787:{1,3,5}:{(632,1),(657,1),(670,1),(866,1),(887,1)}
788:{1,3,7}:{(634,1),(659,1),(670,1),(869,1),(886,1)}
789:{4,5,7}:{(671,1),(673,1),(688,1),(914,1),(922,1),(1170,1)}
790:{4,5,7}:{(672,1),(674,1),(687,1),(913,1),(921,1),(1171,1)}
791:{3,5}:{(671,1),(675,1),(938,1)}
792:{3,5}:{(672,1),(676,1),(937,1)}
793:{3,4,7}:{(673,1),(675,1),(677,1),(920,1),(927,1),(940,1)}
794:{3,4,7}:{(674,1),(676,1),(678,1),(919,1),(928,1),(939,1)}
795:{3,7}:{(680,1),(696,1)}
796:{3,7}:{(679,1),(695,1)}
797:{3,6}:{(682,1),(698,1),(920,1)}
798:{3,6}:{(681,1),(697,1),(919,1)}
799:{2,5}:{(672,1),(685,1)}
800:{2,5}:{(671,1),(686,1)}
801:{2,4,7}:{(674,1),(683,1),(685,1),(921,1),(928,1)}
802:{2,4,7}:{(673,1),(684,1),(686,1),(922,1),(927,1)}
803:{4}:{(692,1)}
804:{4}:{(691,1)}
805:{2,3,6}:{(676,1),(685,1),(690,1),(925,1),(928,1),(948,1)}
806:{2,3,6}:{(675,1),(686,1),(689,1),(926,1),(927,1),(947,1)}
807:{3,5,6}:{(688,1),(694,1),(704,1),(866,1),(914,1)}
808:{3,5,6}:{(687,1),(693,1),(703,1),(866,1),(913,1)}
809:{2,3,6}:{(679,1),(692,1),(705,1),(924,1),(931,1)}
810:{2,3,6}:{(680,1),(691,1),(706,1),(923,1),(932,1)}
811:{2,3,5}:{(682,1),(689,1),(708,1),(870,1),(930,1),(934,1),(1079,1),(1172,1),(1385,1),(1622,1)}
812:{2,3,5}:{(681,1),(690,1),(707,1),(870,1),(929,1),(933,1),(1079,1),(1173,1),(1385,1),(1622,1)}
813:{1,4,5,6}:{(671,1),(698,1),(704,1),(845,1),(873,1),(914,1),(917,1),(935,1),(938,1),(943,1),(1130,1),(1133,1),(1166,1),(1182,1),(1185,1),(1377,1),(1418,1),(1571,1)}
814:{1,4,5,6}:{(672,1),(697,1),(703,1),(845,1),(873,1),(913,1),(918,1),(936,1),(937,1),(944,1),(1130,1),(1133,1),(1167,1),(1183,1),(1184,1),(1377,1),(1417,1),(1571,1)}
815:{1,4,7}:{(674,1),(697,1),(712,1),(846,1),(919,1),(1134,1),(1184,1)}
816:{1,4,7}:{(673,1),(698,1),(711,1),(846,1),(920,1),(1134,1),(1185,1)}
817:{1,4,6}:{(676,1),(699,1),(702,1),(937,1),(939,1),(941,1),(948,1),(1184,1)}
818:{1,4,6}:{(675,1),(700,1),(701,1),(938,1),(940,1),(942,1),(947,1),(1185,1)}
819:{1,5,7}:{(677,1),(701,1),(938,1),(940,1)}
820:{1,5,7}:{(678,1),(702,1),(937,1),(939,1)}
821:{1,3,5}:{(681,1),(699,1),(879,1),(886,1),(937,1),(941,1)}
822:{1,3,5}:{(682,1),(700,1),(879,1),(886,1),(938,1),(942,1)}
823:{1,2,7}:{(684,1),(695,1),(705,1),(858,1),(931,1)}
824:{1,2,7}:{(683,1),(696,1),(706,1),(858,1),(932,1)}
825:{1,2,4,6}:{(686,1),(698,1),(705,1),(708,1),(859,1),(924,1),(934,1),(943,1),(946,1),(947,1),(1088,1),(1155,1),(1166,1),(1185,1),(1192,1),(1377,1),(1547,1)}
826:{1,2,4,6}:{(685,1),(697,1),(706,1),(707,1),(859,1),(923,1),(933,1),(944,1),(945,1),(948,1),(1088,1),(1155,1),(1167,1),(1184,1),(1193,1),(1377,1),(1547,1)}
827:{1,5,7}:{(688,1),(704,1),(709,1),(856,1),(938,1)}
828:{1,5,7}:{(687,1),(703,1),(710,1),(856,1),(937,1)}
829:{1,2}:{(690,1),(699,1)}
830:{1,2}:{(689,1),(700,1)}
831:{1,3,6,7}:{(693,1),(710,1),(714,1),(864,1),(900,1),(919,1),(941,1),(1134,1)}
832:{1,3,6,7}:{(694,1),(709,1),(713,1),(864,1),(900,1),(920,1),(942,1),(1134,1)}
833:{3,4,6}:{(719,1),(757,1),(761,1),(955,1),(970,1),(979,1),(1008,1),(1435,1)}
834:{6}:{(716,1)}
835:{1,6}:{(720,1),(733,1),(957,1)}
836:{5,6}:{(717,1),(763,1),(1002,1)}
837:{4,5,6}:{(715,1),(761,1),(763,1),(956,1),(968,1),(1002,1),(1008,1),(1208,1),(1255,1)}
838:{1,3,6}:{(718,1),(733,1),(757,1),(954,1),(979,1),(1010,1),(1657,1)}
839:{1,2,3,5}:{(718,1),(725,1),(748,1),(774,1),(960,1),(965,1),(997,1),(1027,1),(1216,1)}
840:{2,5}:{(715,1),(721,1),(959,1)}
841:{2,5,7}:{(716,1),(722,1),(786,1),(962,1),(967,1),(1205,1)}
842:{2,3,5}:{(719,1),(724,1),(774,1),(963,1),(970,1),(1204,1)}
843:{2,5,7}:{(717,1),(726,1),(786,1),(961,1),(969,1)}
844:{1,2,5}:{(720,1),(723,1),(748,1),(964,1),(966,1),(1481,1)}
845:{4,5,6}:{(727,1),(728,1),(736,1),(971,1),(972,1),(974,1),(984,1),(1227,1),(1845,1),(1918,1)}
846:{4,7}:{(728,1),(741,1),(975,1)}
847:{4,5,7}:{(727,1),(730,1),(742,1),(972,1),(973,1),(985,1),(1222,1),(1223,1)}
848:{3,5}:{(727,1),(732,1),(1009,1)}
849:{3,6}:{(728,1),(731,1),(975,1),(1010,1)}
850:{3,4,7}:{(730,1),(732,1),(747,1),(975,1),(980,1),(1011,1),(1041,1),(1042,1),(1306,1),(1307,1),(1432,1)}
851:{3,7}:{(729,1),(733,1),(957,1)}
852:{3,5}:{(734,1),(752,1),(979,1),(983,1)}
853:{3,6}:{(734,1),(753,1),(977,1),(980,1),(1306,1),(1307,1)}
854:{3,4,6}:{(735,1),(749,1),(754,1),(978,1),(982,1),(998,1),(1014,1),(1224,1),(1232,1),(1463,1)}
855:{3,4,7}:{(735,1),(750,1),(755,1),(973,1),(981,1),(983,1),(1000,1),(1015,1),(1223,1)}
856:{5,7}:{(736,1),(739,1)}
857:{2,5}:{(727,1),(740,1),(1045,1),(1046,1)}
858:{2,7}:{(729,1),(737,1)}
859:{2,4,6}:{(728,1),(737,1),(738,1),(984,1),(986,1),(987,1),(990,1),(1227,1)}
860:{2,4,7}:{(730,1),(740,1),(743,1),(985,1),(1049,1),(1050,1),(1474,1)}
861:{4,5}:{(748,1),(803,1),(804,1),(987,1),(1045,1),(1046,1)}
862:{3,5,6}:{(736,1),(742,1),(744,1),(972,1),(1025,1),(1233,1),(1255,1),(1470,1)}
863:{2,3,5}:{(731,1),(738,1),(746,1),(990,1),(992,1),(1027,1),(1481,1)}
864:{3,6,7}:{(739,1),(744,1),(745,1),(975,1),(1028,1)}
865:{2,3,4,6}:{(732,1),(740,1),(746,1),(805,1),(806,1),(989,1),(990,1),(991,1),(996,1),(1029,1),(1041,1),(1042,1),(1053,1),(1054,1),(1227,1),(1228,1),(1241,1),(1242,1),(1298,1),(1299,1),(1306,1),(1307,1),(1468,1),(1503,1),(1504,1),(1537,1),(1538,1),(1699,1),(1718,1),(1719,1),(1833,1)}
866:{3,5}:{(751,1),(766,1),(973,1)}
867:{2,3,6}:{(733,1),(737,1),(748,1),(966,1),(987,1),(994,1),(1202,1)}
868:{3,6}:{(750,1),(767,1)}
869:{3,7}:{(749,1),(768,1)}
870:{2,3}:{(734,1),(769,1),(999,1),(1306,1),(1307,1)}
871:{2,3}:{(735,1),(770,1),(1001,1),(1038,1)}
872:{5}:{(754,1)}
873:{1,4,5}:{(727,1),(753,1),(766,1),(973,1),(977,1),(1009,1),(1018,1),(1228,1),(1261,1)}
874:{1,4,6}:{(728,1),(752,1),(771,1),(979,1),(1006,1),(1008,1),(1010,1),(1490,1)}
875:{1,4,7}:{(730,1),(753,1),(778,1),(980,1),(1490,1)}
876:{4,6}:{(755,1),(780,1),(1002,1)}
877:{4,7}:{(754,1),(781,1),(1003,1)}
878:{4}:{(782,1)}
879:{1,5}:{(731,1),(759,1),(1010,1)}
880:{1,4,7}:{(729,1),(756,1),(757,1),(954,1),(955,1),(1026,1)}
881:{1,4,6}:{(732,1),(759,1),(779,1),(1009,1),(1010,1),(1011,1),(1013,1),(1261,1)}
882:{3,5,7}:{(756,1),(760,1),(761,1),(955,1),(956,1)}
883:{4,6,7}:{(760,1),(762,1),(763,1),(953,1),(956,1),(1032,1)}
884:{5,7}:{(762,1),(765,1),(958,1)}
885:{1,3,7}:{(758,1),(764,1),(795,1),(796,1),(957,1),(980,1),(1657,1)}
886:{1,3}:{(734,1),(759,1)}
887:{1,4}:{(735,1),(787,1),(973,1),(1038,1)}
888:{1,5,6}:{(736,1),(766,1),(767,1),(993,1),(1002,1),(1016,1),(1255,1),(1263,1)}
889:{1,4,6,7}:{(739,1),(767,1),(768,1),(772,1),(995,1),(1006,1),(1007,1),(1016,1),(1028,1),(1223,1)}
890:{1,2,4,6}:{(740,1),(753,1),(769,1),(773,1),(996,1),(1018,1),(1020,1),(1023,1),(1228,1),(1275,1),(1468,1)}
891:{1,2,4,5}:{(738,1),(752,1),(769,1),(774,1),(960,1),(963,1),(997,1),(1018,1),(1019,1),(1027,1),(1204,1),(1217,1),(1228,1),(1262,1),(1436,1),(1453,1)}
892:{2,4,6}:{(754,1),(770,1),(783,1),(998,1),(1017,1),(1022,1),(1024,1),(1224,1),(1270,1),(1463,1)}
893:{1,4}:{(784,1),(803,1),(804,1),(999,1),(1228,1)}
894:{2,4,7}:{(755,1),(770,1),(785,1),(959,1),(961,1),(1000,1),(1021,1)}
895:{4}:{(786,1),(1001,1)}
896:{1,5,7}:{(742,1),(766,1),(777,1),(1009,1),(1025,1),(1263,1)}
897:{1,2,5,7}:{(741,1),(756,1),(771,1),(772,1),(1006,1),(1016,1),(1026,1),(1031,1),(1455,1),(1500,1)}
898:{1,2,6}:{(737,1),(757,1),(774,1),(970,1),(1026,1),(1660,1)}
899:{1,2,7}:{(743,1),(758,1),(773,1),(1660,1)}
900:{1,6}:{(744,1),(776,1)}
901:{1,5,7}:{(745,1),(768,1),(775,1),(1003,1),(1028,1)}
902:{1,2,4}:{(746,1),(759,1),(829,1),(830,1),(1027,1),(1037,1),(1073,1),(1074,1)}
903:{1,2,5,7}:{(747,1),(779,1),(819,1),(820,1),(1009,1),(1011,1),(1069,1),(1070,1),(1071,1),(1072,1),(1450,1),(1455,1),(1500,1)}
904:{2,3,6,7}:{(760,1),(772,1),(780,1),(781,1),(995,1),(1007,1),(1031,1),(1032,1),(1445,1),(1470,1)}
905:{2,3,5,6}:{(761,1),(771,1),(780,1),(782,1),(968,1),(970,1),(979,1),(993,1),(1002,1),(1008,1),(1031,1),(1200,1),(1204,1),(1231,1),(1238,1),(1245,1),(1255,1),(1445,1),(1470,1)}
906:{2,7}:{(762,1),(783,1)}
907:{2,6}:{(763,1),(785,1)}
908:{1,2,3,6}:{(764,1),(773,1),(784,1),(809,1),(810,1),(966,1),(996,1),(1023,1),(1034,1),(1202,1)}
909:{2,5,6}:{(765,1),(783,1),(786,1),(967,1),(1017,1),(1024,1),(1033,1),(1205,1),(1270,1),(1443,1)}
910:{1,3,5,6}:{(749,1),(775,1),(787,1),(978,1),(993,1),(1014,1),(1035,1),(1036,1),(1232,1),(1263,1),(1499,1)}
911:{1,3,5,7}:{(750,1),(776,1),(787,1),(788,1),(1012,1),(1015,1),(1035,1),(1263,1),(1267,1),(1500,1)}
912:{1,3,6,7}:{(751,1),(777,1),(788,1),(980,1),(995,1),(1013,1),(1030,1),(1035,1),(1233,1),(1267,1)}
913:{4,6}:{(790,1),(808,1),(973,1),(1048,1),(1295,1)}
914:{4,6}:{(789,1),(807,1),(973,1),(1047,1),(1294,1)}
915:{3,4,5,7}:{(789,1),(791,1),(793,1),(1040,1),(1041,1),(1044,1),(1051,1),(1062,1),(1290,1),(1292,1),(1296,1),(1306,1),(1528,1),(1529,1),(1719,1)}
916:{3,4,5,7}:{(790,1),(792,1),(794,1),(1039,1),(1042,1),(1043,1),(1052,1),(1061,1),(1291,1),(1293,1),(1297,1),(1307,1),(1527,1),(1530,1),(1718,1)}
917:{3,5,6}:{(791,1),(797,1),(813,1),(977,1),(1040,1),(1044,1),(1233,1),(1306,1),(1503,1),(1528,1)}
918:{3,5,6}:{(792,1),(798,1),(814,1),(977,1),(1039,1),(1043,1),(1233,1),(1307,1),(1503,1),(1527,1)}
919:{3,7}:{(798,1),(815,1),(1307,1)}
920:{3,7}:{(797,1),(816,1),(1306,1)}
921:{2,5,7}:{(790,1),(799,1),(801,1),(1048,1)}
922:{2,5,7}:{(789,1),(800,1),(802,1),(1047,1)}
923:{4,6}:{(804,1),(810,1),(1045,1),(1049,1),(1295,1)}
924:{4,6}:{(803,1),(809,1),(1046,1),(1050,1),(1294,1)}
925:{2,3,5}:{(792,1),(799,1),(805,1),(1042,1),(1069,1),(1307,1)}
926:{2,3,5}:{(791,1),(800,1),(806,1),(1041,1),(1070,1),(1306,1)}
927:{2,3,7}:{(793,1),(802,1),(806,1),(1072,1)}
928:{2,3,7}:{(794,1),(801,1),(805,1),(1071,1)}
929:{3,4}:{(804,1),(812,1),(1042,1),(1073,1),(1228,1),(1307,1),(1718,1)}
930:{3,4}:{(803,1),(811,1),(1041,1),(1074,1),(1228,1),(1306,1),(1719,1)}
931:{2,3,7}:{(796,1),(809,1),(823,1),(1050,1)}
932:{2,3,7}:{(795,1),(810,1),(824,1),(1049,1)}
933:{2,3,6}:{(798,1),(812,1),(826,1),(1054,1),(1058,1),(1202,1),(1307,1),(1503,1)}
934:{2,3,6}:{(797,1),(811,1),(825,1),(1053,1),(1057,1),(1202,1),(1306,1),(1503,1)}
935:{1,4,5,7}:{(789,1),(813,1),(816,1),(827,1),(971,1),(1044,1),(1060,1),(1067,1),(1259,1),(1292,1),(1493,1)}
936:{1,4,5,7}:{(790,1),(814,1),(815,1),(828,1),(971,1),(1043,1),(1059,1),(1068,1),(1259,1),(1293,1),(1493,1)}
937:{1,5}:{(792,1),(817,1)}
938:{1,5}:{(791,1),(818,1)}
939:{1,4,7}:{(794,1),(817,1),(820,1),(1066,1),(1071,1)}
940:{1,4,7}:{(793,1),(818,1),(819,1),(1065,1),(1072,1)}
941:{1,3,6}:{(798,1),(817,1),(821,1),(1010,1),(1066,1),(1307,1)}
942:{1,3,6}:{(797,1),(818,1),(822,1),(1010,1),(1065,1),(1306,1)}
943:{1,2,5,6}:{(800,1),(813,1),(825,1),(984,1),(1018,1),(1046,1),(1047,1),(1055,1),(1067,1),(1070,1),(1209,1),(1275,1),(1294,1),(1308,1),(1311,1),(1532,1),(1534,1)}
944:{1,2,5,6}:{(799,1),(814,1),(826,1),(984,1),(1018,1),(1045,1),(1048,1),(1056,1),(1068,1),(1069,1),(1209,1),(1275,1),(1295,1),(1309,1),(1310,1),(1531,1),(1533,1)}
945:{1,2,4,7}:{(801,1),(815,1),(824,1),(826,1),(986,1),(1049,1),(1058,1),(1068,1),(1071,1),(1210,1),(1279,1),(1293,1),(1315,1),(1493,1),(1642,1)}
946:{1,2,4,7}:{(802,1),(816,1),(823,1),(825,1),(986,1),(1050,1),(1057,1),(1067,1),(1072,1),(1210,1),(1279,1),(1292,1),(1314,1),(1493,1),(1642,1)}
947:{1,2,6}:{(806,1),(818,1),(830,1),(1070,1),(1072,1)}
948:{1,2,6}:{(805,1),(817,1),(829,1),(1069,1),(1071,1)}
949:{1,3,5,6,7}:{(807,1),(827,1),(832,1),(988,1),(1025,1),(1030,1),(1044,1),(1060,1),(1064,1),(1233,1),(1259,1),(1501,1)}
950:{1,3,5,6,7}:{(808,1),(828,1),(831,1),(988,1),(1025,1),(1030,1),(1043,1),(1059,1),(1063,1),(1233,1),(1259,1),(1501,1)}
951:{1,2,3,5}:{(811,1),(822,1),(830,1),(1027,1),(1037,1),(1070,1),(1074,1),(1075,1),(1216,1),(1306,1),(1308,1)}
952:{1,2,3,5}:{(812,1),(821,1),(829,1),(1027,1),(1037,1),(1069,1),(1073,1),(1076,1),(1216,1),(1307,1),(1309,1)}
953:{5,6,7}:{(836,1),(883,1),(884,1),(1126,1),(1127,1)}
954:{1,3,7}:{(838,1),(851,1),(880,1),(1105,1),(1134,1)}
955:{3,4,7}:{(833,1),(880,1),(882,1),(1091,1),(1105,1),(1132,1)}
956:{4,5,7}:{(837,1),(882,1),(883,1),(1089,1),(1126,1),(1132,1)}
957:{1,7}:{(835,1),(851,1)}
958:{6,7}:{(834,1),(884,1),(1127,1)}
959:{2,4}:{(840,1),(878,1),(1078,1),(1111,1)}
960:{1,4,5}:{(839,1),(861,1),(893,1),(1077,1),(1086,1),(1146,1)}
961:{4,7}:{(843,1),(895,1),(1082,1),(1085,1)}
962:{4,7}:{(841,1),(895,1),(1081,1),(1083,1)}
963:{2,4}:{(842,1),(878,1),(1111,1)}
964:{1,4,5}:{(844,1),(861,1),(893,1),(1079,1),(1088,1),(1146,1),(1350,1)}
965:{1,2,3,6}:{(838,1),(839,1),(867,1),(898,1),(1086,1),(1094,1),(1120,1),(1155,1),(1341,1),(1754,1)}
966:{1,2,6}:{(835,1),(844,1),(867,1),(1088,1),(1090,1),(1547,1)}
967:{2,6}:{(834,1),(841,1),(1083,1),(1545,1)}
968:{2,5,6}:{(837,1),(840,1),(907,1),(1087,1),(1089,1),(1143,1)}
969:{2,5,6}:{(836,1),(843,1),(907,1),(1085,1),(1143,1)}
970:{2,3,6}:{(833,1),(842,1),(898,1),(1084,1),(1091,1),(1546,1)}
971:{4,5,7}:{(845,1),(846,1),(856,1),(1095,1),(1097,1),(1108,1),(1347,1)}
972:{4,6}:{(847,1),(862,1),(1110,1)}
973:{4}:{(866,1),(1111,1)}
974:{3,5,6}:{(845,1),(848,1),(849,1),(1097,1),(1098,1),(1133,1),(1571,1),(1729,1),(1776,1)}
975:{3,7}:{(846,1),(849,1),(1134,1)}
976:{3,4,5,7}:{(847,1),(848,1),(850,1),(1097,1),(1098,1),(1099,1),(1100,1),(1104,1),(1114,1),(1135,1),(1345,1),(1346,1),(1347,1),(1351,1),(1354,1),(1385,1),(1544,1),(1571,1),(1600,1),(1604,1),(1745,1),(1776,1),(1903,1)}
977:{3,5}:{(853,1),(873,1),(1099,1)}
978:{3,5}:{(854,1),(872,1),(1137,1),(1569,1),(1578,1)}
979:{3,6}:{(852,1),(874,1),(1105,1),(1578,1)}
980:{3,7}:{(853,1),(875,1),(1578,1)}
981:{3,4,6}:{(855,1),(868,1),(876,1),(1096,1),(1101,1),(1122,1),(1140,1),(1343,1),(1578,1)}
982:{3,4,7}:{(854,1),(869,1),(877,1),(1103,1),(1125,1),(1141,1),(1344,1),(1896,1)}
983:{3,4}:{(852,1),(878,1),(1078,1),(1142,1)}
984:{2,5,6}:{(845,1),(857,1),(859,1),(1108,1),(1109,1),(1110,1),(1893,1),(1971,1)}
985:{2,5,7}:{(847,1),(857,1),(860,1),(1110,1),(1111,1),(1170,1),(1171,1),(1358,1),(1359,1)}
986:{2,4,7}:{(846,1),(858,1),(859,1),(1108,1),(1112,1),(1115,1),(1347,1)}
987:{4,6}:{(861,1),(867,1),(1109,1),(1112,1)}
988:{3,5,6,7}:{(856,1),(862,1),(864,1),(1095,1),(1097,1),(1117,1),(1153,1),(1355,1),(1868,1)}
989:{2,3,5}:{(848,1),(857,1),(865,1),(1100,1),(1154,1),(1172,1),(1173,1),(1385,1),(1413,1),(1414,1),(1571,1),(1776,1),(1893,1)}
990:{2,3,6}:{(849,1),(859,1),(863,1),(1115,1),(1116,1),(1155,1),(1547,1)}
991:{2,3,4,7}:{(850,1),(860,1),(865,1),(927,1),(928,1),(1114,1),(1115,1),(1121,1),(1156,1),(1176,1),(1177,1),(1178,1),(1179,1),(1347,1),(1351,1),(1429,1),(1430,1),(1549,1),(1600,1),(1604,1),(1888,1)}
992:{3,4,5}:{(861,1),(863,1),(929,1),(930,1),(1079,1),(1100,1),(1116,1),(1157,1),(1172,1),(1173,1),(1350,1),(1385,1)}
993:{3,5,6}:{(866,1),(868,1),(888,1),(1096,1),(1101,1),(1117,1)}
994:{2,3,7}:{(851,1),(858,1),(867,1),(1090,1),(1112,1),(1324,1)}
995:{3,6,7}:{(868,1),(869,1),(889,1),(1105,1),(1117,1)}
996:{2,3,6}:{(853,1),(870,1),(890,1),(1118,1),(1121,1),(1123,1),(1547,1)}
997:{2,3,5}:{(852,1),(870,1),(891,1),(1077,1),(1080,1),(1120,1),(1385,1)}
998:{2,3,6}:{(854,1),(871,1),(892,1),(1119,1),(1124,1),(1125,1),(1162,1)}
999:{3,4}:{(870,1),(893,1),(1079,1)}
1000:{2,3,7}:{(855,1),(871,1),(894,1),(1078,1),(1082,1),(1111,1),(1122,1),(1164,1),(1359,1)}
1001:{3}:{(895,1),(1165,1)}
1002:{5}:{(876,1)}
1003:{5,7}:{(872,1),(877,1),(1127,1)}
1004:{1,4,5,6}:{(845,1),(873,1),(874,1),(888,1),(1096,1),(1102,1),(1128,1),(1129,1),(1130,1),(1133,1),(1145,1),(1349,1),(1372,1),(1373,1),(1376,1),(1377,1),(1381,1),(1560,1),(1571,1),(1597,1),(1729,1),(1738,1)}
1005:{1,4,5,7}:{(847,1),(873,1),(875,1),(896,1),(1104,1),(1130,1),(1131,1),(1148,1),(1351,1),(1373,1),(1571,1)}
1006:{1,4,7}:{(846,1),(874,1),(897,1),(1105,1),(1132,1),(1134,1)}
1007:{4,6,7}:{(876,1),(877,1),(904,1),(1126,1),(1127,1),(1132,1),(1372,1)}
1008:{4,6}:{(878,1),(905,1),(1129,1),(1132,1),(1343,1)}
1009:{1,5}:{(848,1),(881,1)}
1010:{1,6}:{(849,1),(879,1),(1134,1)}
1011:{1,4,7}:{(850,1),(881,1),(903,1),(1134,1),(1139,1),(1184,1),(1185,1),(1559,1)}
1012:{1,3,5}:{(852,1),(879,1),(886,1),(1138,1),(1142,1),(1381,1)}
1013:{1,3,6}:{(853,1),(881,1),(886,1),(1136,1),(1139,1)}
1014:{1,4,6}:{(854,1),(887,1),(910,1),(1096,1),(1137,1),(1141,1),(1162,1)}
1015:{1,4,7}:{(855,1),(887,1),(911,1),(1140,1),(1142,1),(1164,1)}
1016:{1,5,7}:{(856,1),(888,1),(889,1),(1117,1),(1126,1)}
1017:{2,5}:{(872,1),(892,1),(1147,1),(1545,1),(1569,1)}
1018:{1,2,5}:{(857,1),(873,1),(890,1),(1111,1),(1118,1),(1146,1),(1396,1),(1571,1)}
1019:{1,2,4,6}:{(859,1),(874,1),(891,1),(898,1),(1084,1),(1086,1),(1120,1),(1145,1),(1149,1),(1155,1),(1349,1),(1377,1),(1606,1)}
1020:{1,2,4,7}:{(860,1),(875,1),(890,1),(899,1),(1121,1),(1148,1),(1152,1),(1351,1),(1606,1)}
1021:{2,4,6}:{(876,1),(894,1),(907,1),(1085,1),(1122,1),(1143,1),(1343,1)}
1022:{2,4,7}:{(877,1),(892,1),(906,1),(1125,1),(1144,1),(1151,1),(1344,1),(1864,1)}
1023:{1,4,6}:{(893,1),(908,1),(923,1),(924,1),(1123,1),(1146,1),(1152,1),(1389,1)}
1024:{4,6}:{(895,1),(909,1),(1124,1),(1147,1),(1151,1)}
1025:{1,5,6}:{(862,1),(896,1),(900,1),(1130,1),(1571,1),(1597,1)}
1026:{1,2,7}:{(858,1),(880,1),(898,1),(1091,1)}
1027:{1,2,5}:{(863,1),(879,1),(902,1),(1155,1),(1157,1)}
1028:{1,6,7}:{(864,1),(900,1),(901,1),(1127,1),(1134,1)}
1029:{1,2,4,6}:{(865,1),(881,1),(902,1),(947,1),(948,1),(1154,1),(1155,1),(1156,1),(1160,1),(1184,1),(1185,1),(1192,1),(1193,1),(1377,1),(1378,1),(1395,1),(1396,1),(1595,1)}
1030:{1,3,5,7}:{(866,1),(896,1),(912,1),(1104,1),(1117,1),(1131,1),(1136,1),(1158,1)}
1031:{2,3,5,7}:{(882,1),(897,1),(904,1),(905,1),(1089,1),(1091,1),(1105,1),(1117,1),(1126,1),(1132,1),(1328,1),(1334,1),(1354,1),(1359,1)}
1032:{2,6,7}:{(883,1),(906,1),(907,1),(1089,1)}
1033:{2,5,7}:{(884,1),(906,1),(909,1),(1092,1),(1151,1),(1333,1)}
1034:{1,2,3,7}:{(885,1),(899,1),(908,1),(931,1),(932,1),(1090,1),(1121,1),(1152,1),(1324,1),(1754,1)}
1035:{1,3,6}:{(868,1),(900,1),(911,1),(1140,1),(1578,1),(1597,1)}
1036:{1,3,5,7}:{(869,1),(901,1),(910,1),(1103,1),(1117,1),(1141,1),(1159,1),(1379,1),(1869,1)}
1037:{1,2,3}:{(870,1),(886,1),(902,1),(1163,1),(1622,1)}
1038:{1,2}:{(871,1),(887,1),(1111,1),(1165,1)}
1039:{3,4,6}:{(913,1),(916,1),(918,1),(1099,1),(1167,1),(1174,1),(1183,1),(1412,1)}
1040:{3,4,6}:{(914,1),(915,1),(917,1),(1099,1),(1166,1),(1175,1),(1182,1),(1411,1)}
1041:{4}:{(926,1)}
1042:{4}:{(925,1)}
1043:{3,5,7}:{(918,1),(919,1),(936,1),(1169,1),(1571,1),(1600,1)}
1044:{3,5,7}:{(917,1),(920,1),(935,1),(1168,1),(1571,1),(1600,1)}
1045:{5}:{(923,1)}
1046:{5}:{(924,1)}
1047:{2,6}:{(914,1),(922,1),(1111,1)}
1048:{2,6}:{(913,1),(921,1),(1111,1)}
1049:{4,7}:{(923,1),(932,1),(1171,1)}
1050:{4,7}:{(924,1),(931,1),(1170,1)}
1051:{2,3,5,7}:{(915,1),(922,1),(926,1),(927,1),(1175,1),(1176,1),(1191,1),(1413,1),(1429,1),(1632,1)}
1052:{2,3,5,7}:{(916,1),(921,1),(925,1),(928,1),(1174,1),(1177,1),(1190,1),(1414,1),(1430,1),(1633,1)}
1053:{3,4,6}:{(924,1),(930,1),(934,1),(1166,1),(1172,1),(1179,1),(1192,1),(1411,1)}
1054:{3,4,6}:{(923,1),(929,1),(933,1),(1167,1),(1173,1),(1178,1),(1193,1),(1412,1)}
1055:{2,3,5,6}:{(917,1),(926,1),(934,1),(943,1),(1118,1),(1166,1),(1172,1),(1175,1),(1180,1),(1322,1),(1370,1),(1411,1),(1413,1),(1547,1),(1571,1),(1625,1),(1632,1)}
1056:{2,3,5,6}:{(918,1),(925,1),(933,1),(944,1),(1118,1),(1167,1),(1173,1),(1174,1),(1181,1),(1322,1),(1370,1),(1412,1),(1414,1),(1547,1),(1571,1),(1624,1),(1633,1)}
1057:{2,3,7}:{(920,1),(934,1),(946,1),(1179,1),(1324,1),(1600,1)}
1058:{2,3,7}:{(919,1),(933,1),(945,1),(1178,1),(1324,1),(1600,1)}
1059:{1,4,6,7}:{(913,1),(936,1),(950,1),(1095,1),(1130,1),(1131,1),(1169,1),(1183,1),(1188,1)}
1060:{1,4,6,7}:{(914,1),(935,1),(949,1),(1095,1),(1130,1),(1131,1),(1168,1),(1182,1),(1189,1)}
1061:{1,4,5,7}:{(916,1),(937,1),(939,1),(1183,1),(1184,1),(1187,1),(1190,1),(1417,1),(1419,1),(1424,1),(1903,1)}
1062:{1,4,5,7}:{(915,1),(938,1),(940,1),(1182,1),(1185,1),(1186,1),(1191,1),(1418,1),(1420,1),(1423,1),(1903,1)}
1063:{1,3,5,6}:{(918,1),(937,1),(941,1),(1133,1),(1136,1),(1183,1),(1187,1),(1382,1),(1868,1)}
1064:{1,3,5,6}:{(917,1),(938,1),(942,1),(1133,1),(1136,1),(1182,1),(1186,1),(1382,1),(1868,1)}
1065:{1,3,7}:{(920,1),(940,1),(942,1),(1134,1)}
1066:{1,3,7}:{(919,1),(939,1),(941,1),(1134,1)}
1067:{1,2,5,7}:{(922,1),(935,1),(943,1),(946,1),(1108,1),(1170,1),(1180,1),(1189,1),(1332,1),(1423,1)}
1068:{1,2,5,7}:{(921,1),(936,1),(944,1),(945,1),(1108,1),(1171,1),(1181,1),(1188,1),(1332,1),(1424,1)}
1069:{1,2,5}:{(925,1),(937,1),(948,1),(1184,1)}
1070:{1,2,5}:{(926,1),(938,1),(947,1),(1185,1)}
1071:{1,2,7}:{(928,1),(939,1),(948,1)}
1072:{1,2,7}:{(927,1),(940,1),(947,1)}
1073:{1,4}:{(929,1),(952,1)}
1074:{1,4}:{(930,1),(951,1)}
1075:{1,2,3,6}:{(934,1),(942,1),(947,1),(951,1),(1155,1),(1192,1),(1196,1),(1341,1)}
1076:{1,2,3,6}:{(933,1),(941,1),(948,1),(952,1),(1155,1),(1193,1),(1197,1),(1341,1)}
1077:{3,4,5}:{(960,1),(997,1),(999,1),(1201,1),(1228,1),(1247,1),(1436,1)}
1078:{2,3}:{(959,1),(983,1),(1220,1)}
1079:{3,5}:{(964,1),(999,1),(1202,1)}
1080:{2,3,4}:{(963,1),(983,1),(997,1),(1217,1),(1228,1),(1242,1),(1504,1)}
1081:{3,7}:{(962,1),(1001,1),(1198,1),(1221,1)}
1082:{3,7}:{(961,1),(1001,1),(1199,1),(1218,1)}
1083:{4,6}:{(962,1),(967,1),(1198,1),(1205,1),(1434,1)}
1084:{2,4,6}:{(963,1),(970,1),(1008,1),(1204,1),(1212,1),(1238,1),(1445,1),(1474,1)}
1085:{4,6}:{(961,1),(969,1),(1199,1),(1208,1)}
1086:{1,4,6}:{(960,1),(965,1),(987,1),(1201,1),(1206,1),(1214,1),(1830,1)}
1087:{2,4,6}:{(959,1),(968,1),(1008,1),(1200,1),(1207,1),(1211,1),(1238,1)}
1088:{1,4,6}:{(964,1),(966,1),(987,1),(1202,1),(1209,1),(1210,1),(1431,1)}
1089:{2,5,7}:{(956,1),(968,1),(1032,1),(1211,1)}
1090:{1,2,7}:{(957,1),(966,1),(994,1),(1210,1),(1642,1)}
1091:{2,3,7}:{(955,1),(970,1),(1026,1),(1212,1)}
1092:{2,6,7}:{(958,1),(967,1),(1033,1),(1213,1),(1270,1),(1643,1)}
1093:{2,5,6,7}:{(953,1),(969,1),(1032,1),(1033,1),(1215,1),(1270,1),(1271,1),(1443,1)}
1094:{1,2,3,7}:{(954,1),(965,1),(994,1),(1026,1),(1214,1),(1251,1),(1279,1),(1456,1)}
1095:{4,6,7}:{(971,1),(972,1),(988,1),(1223,1),(1237,1),(1918,1)}
1096:{4,6}:{(973,1),(993,1),(1222,1),(1223,1),(1238,1)}
1097:{3,5,7}:{(971,1),(974,1),(975,1),(1225,1),(1259,1),(1674,1)}
1098:{3,4,6}:{(972,1),(974,1),(976,1),(1227,1),(1233,1),(1241,1),(1260,1),(1468,1),(1470,1),(1503,1),(1636,1),(1813,1),(1918,1)}
1099:{3,4}:{(973,1),(977,1),(1228,1),(1242,1),(1261,1)}
1100:{4,5}:{(989,1),(1041,1),(1042,1),(1227,1),(1228,1),(1718,1),(1719,1)}
1101:{3,5}:{(981,1),(1002,1),(1222,1),(1263,1)}
1102:{3,5,6}:{(977,1),(979,1),(1004,1),(1226,1),(1230,1),(1231,1),(1233,1),(1470,1),(1471,1),(1503,1),(1656,1),(1813,1)}
1103:{3,5,7}:{(978,1),(982,1),(1003,1),(1232,1),(1266,1),(1677,1),(1835,1)}
1104:{3,5,7}:{(977,1),(980,1),(1005,1),(1233,1),(1234,1),(1471,1)}
1105:{3,7}:{(979,1),(1006,1)}
1106:{3,4,6,7}:{(981,1),(982,1),(995,1),(1007,1),(1223,1),(1229,1),(1232,1),(1235,1),(1252,1),(1268,1),(1461,1),(1462,1),(1463,1),(1470,1),(1640,1),(1677,1)}
1107:{3,4,6}:{(979,1),(983,1),(1008,1),(1200,1),(1231,1),(1235,1),(1269,1),(1432,1),(1470,1)}
1108:{2,5,7}:{(971,1),(984,1),(986,1),(1236,1),(1237,1)}
1109:{5,6}:{(987,1),(1045,1),(1046,1),(1236,1),(1294,1),(1295,1)}
1110:{2,6}:{(972,1),(985,1),(1294,1),(1295,1)}
1111:{2}:{(973,1)}
1112:{4,7}:{(987,1),(994,1),(1236,1)}
1113:{2,3,5,6}:{(974,1),(984,1),(989,1),(990,1),(1227,1),(1239,1),(1240,1),(1241,1),(1277,1),(1479,1),(1503,1)}
1114:{2,3,5,7}:{(976,1),(985,1),(989,1),(991,1),(1241,1),(1242,1),(1243,1),(1278,1),(1296,1),(1297,1),(1476,1),(1477,1),(1944,1)}
1115:{2,3,7}:{(975,1),(986,1),(990,1),(1244,1),(1279,1),(1642,1)}
1116:{3,4,6}:{(987,1),(990,1),(992,1),(1202,1),(1227,1),(1240,1),(1244,1),(1280,1),(1431,1),(1503,1)}
1117:{3,5,7}:{(993,1),(995,1),(1016,1),(1223,1)}
1118:{2,3,5}:{(977,1),(996,1),(1018,1),(1228,1),(1242,1),(1247,1),(1481,1)}
1119:{2,3,5}:{(978,1),(998,1),(1017,1),(1224,1),(1248,1),(1283,1),(1488,1)}
1120:{2,3,6}:{(979,1),(997,1),(1019,1),(1201,1),(1251,1),(1503,1),(1686,1)}
1121:{2,3,7}:{(980,1),(996,1),(1020,1),(1254,1),(1642,1),(1686,1)}
1122:{2,3,6}:{(981,1),(1000,1),(1021,1),(1199,1),(1238,1),(1245,1),(1286,1)}
1123:{3,4,6}:{(996,1),(999,1),(1023,1),(1202,1),(1228,1),(1247,1),(1254,1),(1431,1),(1468,1),(1485,1)}
1124:{3,6}:{(1001,1),(1024,1),(1248,1),(1253,1),(1288,1)}
1125:{2,3,7}:{(982,1),(998,1),(1022,1),(1253,1),(1289,1),(1913,1)}
1126:{5,7}:{(1002,1),(1007,1),(1255,1)}
1127:{6}:{(1003,1)}
1128:{1,4,5,7}:{(971,1),(1004,1),(1006,1),(1016,1),(1223,1),(1230,1),(1256,1),(1257,1),(1259,1),(1272,1),(1466,1),(1491,1),(1493,1),(1500,1),(1674,1)}
1129:{4,5}:{(1002,1),(1008,1),(1204,1),(1231,1)}
1130:{1,4,6}:{(972,1),(1005,1),(1025,1),(1233,1),(1275,1),(1468,1)}
1131:{1,4,7}:{(973,1),(1030,1),(1223,1),(1234,1),(1258,1),(1261,1),(1276,1)}
1132:{4,7}:{(1008,1),(1031,1)}
1133:{1,5,6}:{(974,1),(1009,1),(1010,1),(1259,1),(1260,1),(1689,1)}
1134:{1,7}:{(975,1),(1010,1)}
1135:{1,4,5,7}:{(976,1),(1009,1),(1011,1),(1259,1),(1260,1),(1261,1),(1262,1),(1265,1),(1278,1),(1491,1),(1492,1),(1493,1),(1497,1),(1500,1),(1689,1)}
1136:{1,3,5}:{(977,1),(1009,1),(1013,1),(1261,1)}
1137:{1,4,5}:{(978,1),(1014,1),(1222,1),(1224,1),(1263,1),(1283,1),(1490,1)}
1138:{1,3,6}:{(979,1),(1010,1),(1012,1),(1267,1),(1269,1),(1655,1)}
1139:{1,3,7}:{(980,1),(1011,1),(1013,1),(1306,1),(1307,1),(1655,1)}
1140:{1,4,6}:{(981,1),(1015,1),(1035,1),(1263,1),(1286,1),(1490,1)}
1141:{1,4,7}:{(982,1),(1014,1),(1036,1),(1223,1),(1289,1),(1922,1)}
1142:{1,4}:{(983,1),(1012,1),(1220,1)}
1143:{2,5}:{(1002,1),(1021,1),(1208,1)}
1144:{2,5,7}:{(1003,1),(1017,1),(1022,1),(1270,1),(1273,1),(1643,1),(1798,1)}
1145:{1,2,5,6}:{(984,1),(1004,1),(1018,1),(1019,1),(1204,1),(1206,1),(1238,1),(1246,1),(1272,1),(1275,1),(1445,1),(1453,1),(1505,1),(1510,1),(1670,1)}
1146:{1,5}:{(1023,1),(1045,1),(1046,1),(1247,1)}
1147:{4,5}:{(1017,1),(1024,1),(1205,1),(1224,1),(1248,1),(1434,1)}
1148:{1,2,5,7}:{(985,1),(1005,1),(1018,1),(1020,1),(1250,1),(1274,1),(1275,1),(1276,1),(1505,1)}
1149:{1,2,4,7}:{(986,1),(1006,1),(1019,1),(1026,1),(1212,1),(1214,1),(1251,1),(1272,1),(1279,1),(1466,1),(1493,1)}
1150:{2,4,6,7}:{(1007,1),(1021,1),(1022,1),(1032,1),(1211,1),(1215,1),(1252,1),(1270,1),(1271,1),(1446,1),(1462,1),(1463,1)}
1151:{4,7}:{(1024,1),(1033,1),(1253,1)}
1152:{1,4,7}:{(1023,1),(1034,1),(1049,1),(1050,1),(1254,1),(1274,1),(1830,1)}
1153:{1,5,6,7}:{(988,1),(1016,1),(1025,1),(1028,1),(1255,1),(1257,1),(1259,1),(1674,1),(1804,1)}
1154:{1,2,5}:{(989,1),(1009,1),(1029,1),(1262,1),(1308,1),(1309,1),(1689,1)}
1155:{1,2,6}:{(990,1),(1010,1),(1027,1),(1279,1),(1280,1)}
1156:{1,2,4,7}:{(991,1),(1011,1),(1029,1),(1071,1),(1072,1),(1278,1),(1279,1),(1285,1),(1314,1),(1315,1),(1493,1),(1497,1),(1662,1)}
1157:{1,4,5}:{(992,1),(1027,1),(1073,1),(1074,1),(1216,1),(1280,1),(1308,1),(1309,1)}
1158:{1,3,5,6}:{(993,1),(1025,1),(1030,1),(1035,1),(1233,1),(1258,1),(1263,1),(1471,1)}
1159:{1,3,6,7}:{(995,1),(1028,1),(1035,1),(1036,1),(1232,1),(1267,1),(1268,1),(1677,1),(1810,1)}
1160:{1,2,3,6}:{(996,1),(1013,1),(1029,1),(1037,1),(1282,1),(1285,1),(1287,1),(1306,1),(1307,1),(1503,1),(1537,1),(1538,1),(1664,1)}
1161:{1,2,3,5}:{(997,1),(1012,1),(1027,1),(1037,1),(1217,1),(1219,1),(1284,1),(1453,1),(1713,1)}
1162:{1,2,6}:{(998,1),(1014,1),(1038,1),(1238,1),(1283,1),(1288,1),(1289,1)}
1163:{1,3,4}:{(999,1),(1037,1),(1073,1),(1074,1),(1216,1),(1306,1),(1307,1),(1504,1)}
1164:{1,2,7}:{(1000,1),(1015,1),(1038,1),(1218,1),(1220,1),(1286,1)}
1165:{1}:{(1001,1)}
1166:{4,6}:{(1041,1),(1055,1),(1228,1),(1290,1),(1292,1),(1719,1)}
1167:{4,6}:{(1042,1),(1056,1),(1228,1),(1291,1),(1293,1),(1718,1)}
1168:{3,4,6,7}:{(1040,1),(1044,1),(1060,1),(1233,1),(1234,1),(1292,1),(1301,1),(1468,1)}
1169:{3,4,6,7}:{(1039,1),(1043,1),(1059,1),(1233,1),(1234,1),(1293,1),(1300,1),(1468,1)}
1170:{5,7}:{(1046,1),(1050,1),(1294,1)}
1171:{5,7}:{(1045,1),(1049,1),(1295,1)}
1172:{3,5}:{(1046,1),(1053,1),(1290,1),(1308,1)}
1173:{3,5}:{(1045,1),(1054,1),(1291,1),(1309,1)}
1174:{2,3,6}:{(1039,1),(1048,1),(1052,1),(1242,1),(1299,1),(1310,1)}
1175:{2,3,6}:{(1040,1),(1047,1),(1051,1),(1242,1),(1298,1),(1311,1)}
1176:{2,4,7}:{(1041,1),(1051,1),(1292,1),(1298,1),(1642,1),(1719,1)}
1177:{2,4,7}:{(1042,1),(1052,1),(1293,1),(1299,1),(1642,1),(1718,1)}
1178:{3,4,7}:{(1049,1),(1054,1),(1058,1),(1293,1),(1297,1),(1315,1)}
1179:{3,4,7}:{(1050,1),(1053,1),(1057,1),(1292,1),(1296,1),(1314,1)}
1180:{2,3,5,7}:{(1044,1),(1055,1),(1057,1),(1067,1),(1292,1),(1296,1),(1301,1),(1437,1),(1524,1),(1642,1)}
1181:{2,3,5,7}:{(1043,1),(1056,1),(1058,1),(1068,1),(1293,1),(1297,1),(1300,1),(1437,1),(1523,1),(1642,1)}
1182:{1,4,6}:{(1040,1),(1062,1),(1064,1),(1261,1),(1311,1),(1532,1),(1918,1)}
1183:{1,4,6}:{(1039,1),(1061,1),(1063,1),(1261,1),(1310,1),(1531,1),(1918,1)}
1184:{1,4}:{(1042,1),(1069,1),(1307,1)}
1185:{1,4}:{(1041,1),(1070,1),(1306,1)}
1186:{1,3,5,7}:{(1044,1),(1062,1),(1064,1),(1065,1),(1259,1),(1304,1),(1306,1),(1528,1),(1689,1),(1842,1)}
1187:{1,3,5,7}:{(1043,1),(1061,1),(1063,1),(1066,1),(1259,1),(1305,1),(1307,1),(1527,1),(1689,1),(1842,1)}
1188:{1,2,6,7}:{(1048,1),(1059,1),(1068,1),(1237,1),(1275,1),(1276,1),(1295,1),(1300,1),(1310,1),(1448,1),(1531,1)}
1189:{1,2,6,7}:{(1047,1),(1060,1),(1067,1),(1237,1),(1275,1),(1276,1),(1294,1),(1301,1),(1311,1),(1448,1),(1532,1)}
1190:{1,2,5,7}:{(1052,1),(1061,1),(1069,1),(1071,1),(1310,1),(1312,1),(1533,1),(1944,1)}
1191:{1,2,5,7}:{(1051,1),(1062,1),(1070,1),(1072,1),(1311,1),(1313,1),(1534,1),(1944,1)}
1192:{1,4,6}:{(1053,1),(1074,1),(1075,1),(1308,1),(1314,1),(1532,1)}
1193:{1,4,6}:{(1054,1),(1073,1),(1076,1),(1309,1),(1315,1),(1531,1)}
1194:{1,2,3,5,6}:{(1056,1),(1063,1),(1069,1),(1076,1),(1277,1),(1282,1),(1303,1),(1307,1),(1309,1),(1310,1),(1317,1),(1452,1),(1503,1),(1517,1),(1527,1),(1531,1),(1533,1),(1538,1),(1664,1),(1689,1),(1711,1),(1717,1),(1720,1)}
1195:{1,2,3,5,6}:{(1055,1),(1064,1),(1070,1),(1075,1),(1277,1),(1282,1),(1302,1),(1306,1),(1308,1),(1311,1),(1316,1),(1452,1),(1503,1),(1517,1),(1528,1),(1532,1),(1534,1),(1537,1),(1664,1),(1689,1),(1711,1),(1716,1),(1721,1)}
1196:{1,2,3,7}:{(1057,1),(1065,1),(1072,1),(1075,1),(1279,1),(1314,1),(1456,1)}
1197:{1,2,3,7}:{(1058,1),(1066,1),(1071,1),(1076,1),(1279,1),(1315,1),(1456,1)}
1198:{3,6}:{(1081,1),(1083,1),(1319,1),(1336,1)}
1199:{3,6}:{(1082,1),(1085,1),(1318,1),(1340,1)}
1200:{2,3,6}:{(1078,1),(1087,1),(1107,1),(1320,1),(1328,1),(1339,1)}
1201:{3,4,6}:{(1077,1),(1086,1),(1120,1),(1323,1),(1326,1),(1349,1),(1769,1)}
1202:{3,6}:{(1079,1),(1088,1),(1324,1)}
1203:{2,3,4,6}:{(1080,1),(1084,1),(1107,1),(1120,1),(1321,1),(1325,1),(1338,1),(1349,1),(1362,1),(1549,1),(1553,1),(1602,1)}
1204:{2,5}:{(1084,1),(1129,1)}
1205:{5}:{(1083,1)}
1206:{1,5,6}:{(1086,1),(1109,1),(1146,1),(1323,1),(1330,1),(1389,1),(1894,1)}
1207:{2,4,5}:{(1087,1),(1129,1),(1143,1),(1320,1),(1343,1),(1358,1)}
1208:{4,5}:{(1085,1),(1143,1),(1318,1),(1343,1)}
1209:{1,5,6}:{(1088,1),(1109,1),(1146,1),(1322,1),(1332,1),(1389,1)}
1210:{1,4,7}:{(1088,1),(1090,1),(1112,1),(1324,1),(1332,1),(1543,1)}
1211:{2,4,7}:{(1087,1),(1089,1),(1132,1),(1328,1),(1359,1)}
1212:{2,4,7}:{(1084,1),(1091,1),(1132,1),(1334,1),(1359,1)}
1213:{4,6,7}:{(1083,1),(1092,1),(1151,1),(1329,1),(1333,1),(1388,1),(1540,1)}
1214:{1,4,7}:{(1086,1),(1094,1),(1112,1),(1326,1),(1330,1)}
1215:{4,6,7}:{(1085,1),(1093,1),(1151,1),(1327,1),(1331,1),(1388,1)}
1216:{1,3,5}:{(1079,1),(1157,1),(1163,1),(1341,1),(1385,1)}
1217:{1,2,4}:{(1080,1),(1142,1),(1161,1),(1378,1),(1396,1),(1793,1)}
1218:{1,7}:{(1082,1),(1165,1),(1340,1)}
1219:{1,3,4,5}:{(1077,1),(1157,1),(1161,1),(1163,1),(1337,1),(1378,1),(1385,1),(1401,1),(1560,1),(1603,1)}
1220:{1,2}:{(1078,1),(1142,1)}
1221:{1,7}:{(1081,1),(1165,1),(1336,1),(1957,1)}
1222:{4,5}:{(1096,1),(1101,1),(1343,1),(1358,1)}
1223:{4,7}:{(1096,1),(1117,1),(1359,1)}
1224:{4}:{(1119,1)}
1225:{3,4,6,7}:{(1095,1),(1097,1),(1098,1),(1345,1),(1347,1),(1355,1),(1361,1),(1375,1),(1576,1),(1600,1)}
1226:{3,4,6}:{(1096,1),(1099,1),(1102,1),(1345,1),(1346,1),(1349,1),(1362,1),(1376,1)}
1227:{4,6}:{(1100,1),(1113,1),(1347,1)}
1228:{4}:{(1118,1)}
1229:{3,5,7}:{(1101,1),(1106,1),(1126,1),(1342,1),(1353,1),(1379,1),(1569,1),(1724,1)}
1230:{3,5,7}:{(1102,1),(1105,1),(1128,1),(1345,1),(1355,1),(1600,1)}
1231:{3,5}:{(1107,1),(1129,1),(1381,1)}
1232:{3,6}:{(1103,1),(1127,1),(1383,1)}
1233:{3,6}:{(1104,1),(1130,1)}
1234:{3,4,7}:{(1099,1),(1104,1),(1131,1),(1351,1),(1356,1),(1371,1)}
1235:{3,4,7}:{(1105,1),(1107,1),(1132,1),(1328,1),(1354,1),(1386,1)}
1236:{5,7}:{(1109,1),(1112,1),(1357,1)}
1237:{2,6,7}:{(1095,1),(1108,1),(1110,1),(1357,1),(1359,1),(1971,1)}
1238:{2,6}:{(1096,1),(1111,1),(1358,1),(1359,1)}
1239:{2,3,5,7}:{(1097,1),(1108,1),(1113,1),(1115,1),(1347,1),(1360,1),(1361,1),(1393,1),(1582,1),(1600,1)}
1240:{3,5,6}:{(1109,1),(1116,1),(1172,1),(1173,1),(1348,1),(1360,1),(1394,1),(1411,1),(1412,1)}
1241:{2,3,6}:{(1098,1),(1110,1),(1114,1),(1363,1),(1395,1),(1411,1),(1412,1),(1971,1)}
1242:{2,3}:{(1099,1),(1111,1),(1364,1),(1396,1)}
1243:{2,4,5,7}:{(1100,1),(1114,1),(1176,1),(1177,1),(1347,1),(1351,1),(1363,1),(1364,1),(1409,1),(1410,1),(1413,1),(1414,1),(1544,1),(1548,1),(1571,1),(1582,1),(1583,1),(1584,1)}
1244:{3,4,7}:{(1112,1),(1115,1),(1116,1),(1324,1),(1347,1),(1360,1),(1398,1),(1543,1),(1600,1)}
1245:{2,3,5}:{(1101,1),(1122,1),(1143,1),(1318,1),(1343,1),(1358,1),(1399,1),(1546,1),(1578,1)}
1246:{2,3,5,6}:{(1102,1),(1118,1),(1120,1),(1145,1),(1321,1),(1323,1),(1349,1),(1362,1),(1366,1),(1370,1),(1550,1),(1553,1),(1571,1),(1586,1),(1729,1)}
1247:{3,5}:{(1123,1),(1146,1),(1350,1),(1571,1)}
1248:{3,5}:{(1124,1),(1147,1),(1352,1),(1402,1)}
1249:{2,3,5,7}:{(1103,1),(1119,1),(1125,1),(1144,1),(1344,1),(1367,1),(1369,1),(1404,1),(1569,1),(1588,1),(1766,1)}
1250:{2,3,5,7}:{(1104,1),(1118,1),(1121,1),(1148,1),(1351,1),(1368,1),(1370,1),(1371,1),(1571,1),(1584,1),(1586,1)}
1251:{2,3,7}:{(1105,1),(1120,1),(1149,1),(1326,1),(1600,1)}
1252:{2,3,6,7}:{(1106,1),(1122,1),(1125,1),(1150,1),(1327,1),(1328,1),(1359,1),(1365,1),(1369,1),(1406,1),(1555,1),(1579,1)}
1253:{3,7}:{(1124,1),(1151,1),(1407,1)}
1254:{3,4,7}:{(1121,1),(1123,1),(1152,1),(1324,1),(1351,1),(1368,1),(1543,1),(1769,1)}
1255:{5,6}:{(1126,1),(1127,1),(1372,1)}
1256:{4,5,7}:{(1126,1),(1129,1),(1132,1),(1334,1),(1354,1),(1372,1)}
1257:{1,4,6,7}:{(1095,1),(1128,1),(1130,1),(1153,1),(1355,1),(1372,1),(1390,1),(1576,1),(1597,1),(1738,1)}
1258:{1,4,6}:{(1096,1),(1131,1),(1158,1),(1356,1),(1373,1),(1391,1)}
1259:{1,5,7}:{(1097,1),(1133,1),(1134,1),(1375,1)}
1260:{1,4,6}:{(1098,1),(1133,1),(1135,1),(1382,1),(1395,1),(1597,1)}
1261:{1,4}:{(1099,1),(1136,1),(1396,1)}
1262:{1,4,5}:{(1100,1),(1154,1),(1184,1),(1185,1),(1377,1),(1378,1),(1385,1)}
1263:{1,5}:{(1101,1),(1140,1)}
1264:{1,3,5,6}:{(1102,1),(1133,1),(1136,1),(1138,1),(1376,1),(1380,1),(1381,1),(1382,1),(1597,1),(1599,1)}
1265:{1,3,5,7}:{(1104,1),(1135,1),(1136,1),(1139,1),(1382,1),(1384,1),(1385,1),(1599,1),(1600,1),(1745,1)}
1266:{1,4,5,7}:{(1103,1),(1137,1),(1141,1),(1342,1),(1344,1),(1379,1),(1383,1),(1404,1),(1569,1),(1590,1),(1770,1)}
1267:{1,3,7}:{(1105,1),(1134,1),(1138,1),(1386,1)}
1268:{1,4,6,7}:{(1106,1),(1140,1),(1141,1),(1159,1),(1379,1),(1383,1),(1386,1),(1406,1),(1590,1),(1597,1),(1737,1)}
1269:{1,4,6}:{(1107,1),(1138,1),(1142,1),(1339,1),(1381,1),(1386,1),(1559,1),(1597,1)}
1270:{2,6}:{(1127,1),(1144,1),(1388,1)}
1271:{2,5,7}:{(1126,1),(1143,1),(1150,1),(1331,1),(1387,1),(1569,1)}
1272:{1,2,5,7}:{(1108,1),(1128,1),(1145,1),(1149,1),(1330,1),(1334,1),(1359,1),(1366,1),(1390,1),(1609,1)}
1273:{4,5,7}:{(1144,1),(1147,1),(1151,1),(1333,1),(1344,1),(1367,1),(1388,1),(1540,1),(1569,1),(1726,1)}
1274:{1,5,7}:{(1146,1),(1152,1),(1170,1),(1171,1),(1368,1),(1389,1),(1894,1),(1954,1)}
1275:{1,2,6}:{(1110,1),(1130,1),(1148,1),(1370,1),(1389,1)}
1276:{1,2,7}:{(1111,1),(1131,1),(1359,1),(1371,1),(1391,1),(1396,1),(1954,1)}
1277:{1,2,5,6}:{(1113,1),(1133,1),(1154,1),(1155,1),(1377,1),(1393,1),(1394,1),(1395,1)}
1278:{1,2,5,7}:{(1114,1),(1135,1),(1154,1),(1156,1),(1395,1),(1396,1),(1423,1),(1424,1),(1609,1),(1610,1)}
1279:{1,2,7}:{(1115,1),(1134,1),(1155,1),(1398,1)}
1280:{1,4,6}:{(1116,1),(1155,1),(1157,1),(1341,1),(1394,1),(1398,1)}
1281:{1,3,5,6,7}:{(1117,1),(1153,1),(1158,1),(1159,1),(1353,1),(1355,1),(1374,1),(1379,1),(1380,1),(1577,1),(1597,1),(1774,1)}
1282:{1,2,3,5}:{(1118,1),(1136,1),(1154,1),(1160,1),(1378,1),(1385,1),(1396,1),(1401,1),(1614,1),(1622,1),(1632,1),(1633,1)}
1283:{1,2,5}:{(1119,1),(1137,1),(1162,1),(1358,1),(1392,1),(1402,1)}
1284:{1,2,3,6}:{(1120,1),(1138,1),(1155,1),(1161,1),(1337,1),(1338,1),(1405,1),(1757,1),(1758,1)}
1285:{1,2,3,7}:{(1121,1),(1139,1),(1156,1),(1160,1),(1408,1),(1429,1),(1430,1),(1600,1),(1748,1),(1757,1)}
1286:{1,2,6}:{(1122,1),(1140,1),(1164,1),(1340,1),(1399,1)}
1287:{1,3,4,6}:{(1123,1),(1160,1),(1163,1),(1192,1),(1193,1),(1341,1),(1378,1),(1401,1),(1408,1),(1421,1),(1422,1),(1561,1),(1595,1),(1618,1)}
1288:{1,6}:{(1124,1),(1165,1),(1402,1),(1407,1)}
1289:{1,2,7}:{(1125,1),(1141,1),(1162,1),(1359,1),(1407,1),(1959,1)}
1290:{4,5}:{(1166,1),(1172,1),(1413,1),(1571,1)}
1291:{4,5}:{(1167,1),(1173,1),(1414,1),(1571,1)}
1292:{4,7}:{(1166,1),(1180,1)}
1293:{4,7}:{(1167,1),(1181,1)}
1294:{6}:{(1170,1)}
1295:{6}:{(1171,1)}
1296:{3,5,7}:{(1170,1),(1172,1),(1179,1),(1410,1),(1411,1),(1423,1)}
1297:{3,5,7}:{(1171,1),(1173,1),(1178,1),(1409,1),(1412,1),(1424,1)}
1298:{2,4,6}:{(1166,1),(1175,1),(1176,1),(1364,1),(1413,1),(1547,1)}
1299:{2,4,6}:{(1167,1),(1174,1),(1177,1),(1364,1),(1414,1),(1547,1)}
1300:{2,3,6,7}:{(1169,1),(1174,1),(1181,1),(1188,1),(1370,1),(1371,1),(1412,1),(1415,1),(1552,1)}
1301:{2,3,6,7}:{(1168,1),(1175,1),(1180,1),(1189,1),(1370,1),(1371,1),(1411,1),(1416,1),(1552,1)}
1302:{1,4,6}:{(1166,1),(1185,1),(1195,1),(1378,1),(1418,1),(1420,1),(1421,1),(1779,1)}
1303:{1,4,6}:{(1167,1),(1184,1),(1194,1),(1378,1),(1417,1),(1419,1),(1422,1),(1779,1)}
1304:{1,3,4,6,7}:{(1168,1),(1182,1),(1186,1),(1375,1),(1382,1),(1384,1),(1420,1),(1421,1),(1427,1),(1595,1),(1600,1),(1778,1)}
1305:{1,3,4,6,7}:{(1169,1),(1183,1),(1187,1),(1375,1),(1382,1),(1384,1),(1419,1),(1422,1),(1428,1),(1595,1),(1600,1),(1778,1)}
1306:{3}:{(1185,1)}
1307:{3}:{(1184,1)}
1308:{1,5}:{(1172,1),(1192,1)}
1309:{1,5}:{(1173,1),(1193,1)}
1310:{1,2,6}:{(1174,1),(1183,1),(1190,1),(1396,1),(1971,1)}
1311:{1,2,6}:{(1175,1),(1182,1),(1191,1),(1396,1),(1971,1)}
1312:{1,2,4,7}:{(1177,1),(1184,1),(1190,1),(1419,1),(1425,1),(1430,1),(1748,1),(1888,1)}
1313:{1,2,4,7}:{(1176,1),(1185,1),(1191,1),(1420,1),(1426,1),(1429,1),(1748,1),(1888,1)}
1314:{1,4,7}:{(1179,1),(1192,1),(1196,1),(1423,1)}
1315:{1,4,7}:{(1178,1),(1193,1),(1197,1),(1424,1)}
1316:{1,2,3,5,7}:{(1180,1),(1186,1),(1191,1),(1195,1),(1196,1),(1393,1),(1420,1),(1423,1),(1427,1),(1429,1),(1563,1),(1600,1),(1628,1),(1630,1),(1632,1),(1748,1),(1788,1)}
1317:{1,2,3,5,7}:{(1181,1),(1187,1),(1190,1),(1194,1),(1197,1),(1393,1),(1419,1),(1424,1),(1428,1),(1430,1),(1563,1),(1600,1),(1629,1),(1631,1),(1633,1),(1748,1),(1788,1)}
1318:{3,5}:{(1199,1),(1208,1),(1435,1),(1451,1)}
1319:{3,5}:{(1198,1),(1205,1),(1434,1),(1449,1),(1659,1)}
1320:{2,3,5}:{(1200,1),(1207,1),(1231,1),(1432,1),(1450,1)}
1321:{2,3,5}:{(1203,1),(1204,1),(1231,1),(1436,1),(1453,1),(1656,1)}
1322:{3,5,6}:{(1202,1),(1209,1),(1247,1),(1431,1),(1437,1),(1485,1),(1675,1)}
1323:{3,5,6}:{(1201,1),(1206,1),(1247,1),(1433,1),(1438,1),(1485,1),(1841,1)}
1324:{3,7}:{(1202,1),(1210,1)}
1325:{2,3,4,7}:{(1203,1),(1212,1),(1235,1),(1251,1),(1440,1),(1457,1),(1466,1),(1476,1),(1697,1)}
1326:{3,4,7}:{(1201,1),(1214,1),(1251,1),(1438,1),(1466,1)}
1327:{3,6,7}:{(1199,1),(1215,1),(1253,1),(1439,1),(1459,1),(1484,1)}
1328:{2,3,7}:{(1200,1),(1211,1),(1235,1),(1455,1)}
1329:{3,6,7}:{(1198,1),(1213,1),(1253,1),(1441,1),(1458,1),(1484,1)}
1330:{1,5,7}:{(1206,1),(1214,1),(1236,1),(1438,1),(1444,1)}
1331:{4,5,7}:{(1208,1),(1215,1),(1271,1),(1439,1),(1447,1),(1462,1)}
1332:{1,5,7}:{(1209,1),(1210,1),(1236,1),(1437,1),(1448,1)}
1333:{5,7}:{(1205,1),(1213,1),(1443,1)}
1334:{2,5,7}:{(1204,1),(1212,1),(1256,1),(1445,1)}
1335:{2,4,5,7}:{(1207,1),(1211,1),(1256,1),(1271,1),(1442,1),(1446,1),(1462,1),(1473,1),(1672,1)}
1336:{1,6}:{(1198,1),(1221,1),(1449,1),(1950,1)}
1337:{1,3,4,6}:{(1201,1),(1219,1),(1280,1),(1284,1),(1454,1),(1460,1),(1495,1),(1503,1),(1658,1),(1832,1)}
1338:{1,2,4,6}:{(1203,1),(1217,1),(1269,1),(1284,1),(1453,1),(1457,1),(1495,1),(1510,1),(1662,1),(1670,1),(1833,1)}
1339:{1,2,6}:{(1200,1),(1220,1),(1269,1),(1450,1),(1455,1)}
1340:{1,6}:{(1199,1),(1218,1),(1451,1)}
1341:{1,3,6}:{(1202,1),(1216,1),(1280,1),(1456,1),(1503,1)}
1342:{4,5,7}:{(1222,1),(1223,1),(1229,1),(1461,1),(1462,1),(1473,1),(1672,1)}
1343:{4}:{(1245,1)}
1344:{4,7}:{(1224,1),(1249,1),(1463,1),(1834,1)}
1345:{3,4,7}:{(1223,1),(1226,1),(1230,1),(1466,1),(1476,1),(1491,1)}
1346:{3,4,5}:{(1222,1),(1226,1),(1231,1),(1432,1),(1436,1),(1471,1),(1477,1),(1492,1),(1656,1),(1679,1),(1828,1)}
1347:{4,7}:{(1227,1),(1239,1)}
1348:{4,5,6}:{(1227,1),(1240,1),(1290,1),(1291,1),(1431,1),(1465,1),(1479,1),(1521,1),(1522,1),(1675,1)}
1349:{4,6}:{(1228,1),(1246,1),(1436,1),(1466,1),(1679,1)}
1350:{4,5}:{(1228,1),(1247,1),(1431,1),(1481,1)}
1351:{4,7}:{(1228,1),(1250,1),(1468,1),(1679,1)}
1352:{3,4}:{(1224,1),(1248,1),(1434,1),(1488,1),(1498,1),(1659,1)}
1353:{3,5,6}:{(1229,1),(1232,1),(1255,1),(1461,1),(1470,1),(1499,1)}
1354:{3,5,7}:{(1231,1),(1235,1),(1256,1),(1470,1),(1500,1)}
1355:{3,6,7}:{(1230,1),(1233,1),(1257,1),(1470,1),(1813,1)}
1356:{3,4,6}:{(1233,1),(1234,1),(1258,1),(1468,1),(1471,1),(1487,1),(1679,1)}
1357:{6,7}:{(1236,1),(1294,1),(1295,1)}
1358:{2,5}:{(1222,1),(1238,1),(1474,1)}
1359:{2,7}:{(1223,1),(1238,1)}
1360:{3,5,7}:{(1236,1),(1240,1),(1244,1),(1465,1),(1475,1),(1508,1)}
1361:{2,3,6,7}:{(1225,1),(1237,1),(1239,1),(1241,1),(1475,1),(1476,1),(1478,1),(1509,1)}
1362:{2,3,6}:{(1226,1),(1238,1),(1242,1),(1476,1),(1477,1),(1480,1),(1510,1)}
1363:{2,4,6}:{(1227,1),(1241,1),(1243,1),(1468,1),(1479,1),(1521,1),(1522,1),(1636,1),(1683,1)}
1364:{2,4}:{(1228,1),(1242,1),(1481,1)}
1365:{2,3,5,7}:{(1229,1),(1245,1),(1252,1),(1271,1),(1439,1),(1462,1),(1473,1),(1483,1),(1513,1),(1646,1),(1677,1)}
1366:{2,3,5,7}:{(1230,1),(1246,1),(1251,1),(1272,1),(1438,1),(1466,1),(1476,1),(1486,1),(1647,1),(1674,1)}
1367:{3,5,7}:{(1248,1),(1253,1),(1273,1),(1469,1),(1484,1),(1515,1),(1673,1)}
1368:{3,5,7}:{(1247,1),(1254,1),(1274,1),(1467,1),(1485,1),(1841,1),(1916,1)}
1369:{2,3,6}:{(1232,1),(1249,1),(1270,1),(1463,1),(1484,1),(1518,1)}
1370:{2,3,6}:{(1233,1),(1250,1),(1275,1),(1468,1),(1485,1),(1683,1)}
1371:{2,3,7}:{(1234,1),(1242,1),(1276,1),(1482,1),(1487,1),(1916,1)}
1372:{4,6}:{(1255,1),(1256,1),(1445,1),(1470,1)}
1373:{1,4,5}:{(1222,1),(1258,1),(1263,1),(1471,1),(1490,1),(1505,1),(1679,1)}
1374:{1,4,6,7}:{(1223,1),(1258,1),(1281,1),(1461,1),(1472,1),(1489,1),(1491,1),(1506,1),(1690,1)}
1375:{1,4,6,7}:{(1225,1),(1259,1),(1260,1),(1491,1),(1493,1),(1501,1),(1509,1)}
1376:{1,4,6}:{(1226,1),(1261,1),(1264,1),(1491,1),(1492,1),(1510,1)}
1377:{1,4,6}:{(1227,1),(1262,1),(1277,1),(1493,1),(1503,1)}
1378:{1,4}:{(1228,1),(1282,1),(1504,1),(1718,1),(1719,1)}
1379:{1,5,7}:{(1229,1),(1263,1),(1268,1),(1499,1),(1807,1)}
1380:{1,3,5,7}:{(1230,1),(1259,1),(1264,1),(1267,1),(1491,1),(1500,1),(1501,1)}
1381:{1,5}:{(1231,1),(1269,1)}
1382:{1,3,6}:{(1233,1),(1260,1),(1265,1),(1503,1),(1813,1)}
1383:{1,4,6}:{(1232,1),(1266,1),(1461,1),(1463,1),(1499,1),(1518,1)}
1384:{1,3,4,7}:{(1234,1),(1261,1),(1265,1),(1491,1),(1497,1),(1502,1),(1504,1),(1519,1),(1697,1)}
1385:{3,5}:{(1262,1),(1306,1),(1307,1),(1503,1),(1504,1)}
1386:{1,4,7}:{(1235,1),(1267,1),(1269,1),(1455,1),(1500,1)}
1387:{2,5,6}:{(1255,1),(1270,1),(1271,1),(1446,1),(1447,1),(1798,1)}
1388:{4,6}:{(1270,1),(1273,1),(1443,1),(1484,1)}
1389:{1,6}:{(1274,1),(1294,1),(1295,1),(1485,1)}
1390:{1,2,6,7}:{(1237,1),(1257,1),(1272,1),(1275,1),(1444,1),(1445,1),(1486,1),(1670,1)}
1391:{1,2,6}:{(1238,1),(1258,1),(1276,1),(1487,1),(1505,1),(1948,1)}
1392:{1,2,4}:{(1224,1),(1283,1),(1474,1),(1488,1),(1490,1),(1498,1),(1660,1)}
1393:{1,2,5,7}:{(1239,1),(1259,1),(1277,1),(1279,1),(1493,1),(1508,1),(1509,1)}
1394:{1,5,6}:{(1240,1),(1280,1),(1308,1),(1309,1),(1508,1),(1531,1),(1532,1)}
1395:{1,2,6}:{(1241,1),(1260,1),(1278,1),(1531,1),(1532,1)}
1396:{1,2}:{(1242,1),(1261,1)}
1397:{1,2,4,5,7}:{(1243,1),(1262,1),(1278,1),(1312,1),(1313,1),(1493,1),(1497,1),(1511,1),(1512,1),(1520,1),(1525,1),(1526,1),(1533,1),(1534,1),(1652,1),(1661,1),(1689,1),(1704,1),(1705,1),(1706,1),(1718,1),(1719,1),(1844,1),(1845,1),(1857,1),(1944,1)}
1398:{1,4,7}:{(1244,1),(1279,1),(1280,1),(1456,1),(1508,1)}
1399:{1,2,5}:{(1245,1),(1263,1),(1286,1),(1451,1),(1490,1),(1660,1)}
1400:{1,2,3,5,6}:{(1246,1),(1264,1),(1277,1),(1282,1),(1284,1),(1453,1),(1454,1),(1495,1),(1503,1),(1510,1),(1514,1),(1517,1),(1656,1),(1663,1),(1670,1),(1689,1),(1709,1),(1711,1),(1712,1),(1804,1),(1813,1)}
1401:{1,3,5}:{(1247,1),(1287,1),(1308,1),(1309,1),(1496,1),(1527,1),(1528,1),(1689,1)}
1402:{1,5}:{(1248,1),(1288,1),(1498,1)}
1403:{1,2,3,5,7}:{(1250,1),(1265,1),(1278,1),(1282,1),(1285,1),(1497,1),(1516,1),(1517,1),(1519,1),(1520,1),(1689,1),(1706,1),(1709,1)}
1404:{1,2,5,7}:{(1249,1),(1266,1),(1283,1),(1289,1),(1473,1),(1507,1),(1515,1),(1518,1),(1700,1)}
1405:{1,2,3,7}:{(1251,1),(1267,1),(1279,1),(1284,1),(1457,1),(1460,1),(1824,1)}
1406:{1,2,6,7}:{(1252,1),(1268,1),(1286,1),(1289,1),(1455,1),(1459,1),(1513,1),(1518,1),(1667,1)}
1407:{1,7}:{(1253,1),(1288,1)}
1408:{1,3,4,7}:{(1254,1),(1285,1),(1287,1),(1314,1),(1315,1),(1456,1),(1497,1),(1516,1),(1529,1),(1530,1),(1651,1),(1832,1)}
1409:{4,5,7}:{(1291,1),(1293,1),(1297,1),(1521,1),(1523,1)}
1410:{4,5,7}:{(1290,1),(1292,1),(1296,1),(1522,1),(1524,1)}
1411:{3,6}:{(1294,1),(1296,1),(1522,1),(1532,1)}
1412:{3,6}:{(1295,1),(1297,1),(1521,1),(1531,1)}
1413:{2,5}:{(1290,1),(1298,1)}
1414:{2,5}:{(1291,1),(1299,1)}
1415:{2,4,6,7}:{(1293,1),(1299,1),(1300,1),(1468,1),(1482,1),(1521,1),(1523,1),(1641,1),(1642,1),(1683,1)}
1416:{2,4,6,7}:{(1292,1),(1298,1),(1301,1),(1468,1),(1482,1),(1522,1),(1524,1),(1641,1),(1642,1),(1683,1)}
1417:{1,4,5}:{(1291,1),(1303,1),(1309,1),(1527,1),(1533,1),(1689,1),(1718,1),(1845,1)}
1418:{1,4,5}:{(1290,1),(1302,1),(1308,1),(1528,1),(1534,1),(1689,1),(1719,1),(1845,1)}
1419:{1,4,7}:{(1293,1),(1303,1),(1317,1),(1530,1),(1718,1),(1844,1)}
1420:{1,4,7}:{(1292,1),(1302,1),(1316,1),(1529,1),(1719,1),(1844,1)}
1421:{3,4,6}:{(1302,1),(1306,1),(1503,1),(1504,1),(1528,1),(1529,1),(1537,1),(1716,1),(1719,1)}
1422:{3,4,6}:{(1303,1),(1307,1),(1503,1),(1504,1),(1527,1),(1530,1),(1538,1),(1717,1),(1718,1)}
1423:{1,5,7}:{(1296,1),(1308,1),(1314,1),(1532,1)}
1424:{1,5,7}:{(1297,1),(1309,1),(1315,1),(1531,1)}
1425:{1,2,4,6}:{(1299,1),(1303,1),(1310,1),(1312,1),(1512,1),(1533,1),(1538,1),(1664,1),(1718,1),(1833,1)}
1426:{1,2,4,6}:{(1298,1),(1302,1),(1311,1),(1313,1),(1512,1),(1534,1),(1537,1),(1664,1),(1719,1),(1833,1)}
1427:{1,2,3,6,7}:{(1301,1),(1304,1),(1311,1),(1316,1),(1509,1),(1517,1),(1519,1),(1532,1),(1535,1),(1537,1),(1669,1),(1710,1),(1716,1)}
1428:{1,2,3,6,7}:{(1300,1),(1305,1),(1310,1),(1317,1),(1509,1),(1517,1),(1519,1),(1531,1),(1536,1),(1538,1),(1669,1),(1710,1),(1717,1)}
1429:{2,3,7}:{(1306,1),(1313,1),(1529,1),(1537,1)}
1430:{2,3,7}:{(1307,1),(1312,1),(1530,1),(1538,1)}
1431:{4,6}:{(1322,1),(1350,1),(1543,1),(1547,1)}
1432:{3,4}:{(1320,1),(1343,1),(1559,1),(1578,1)}
1433:{4,5,6}:{(1323,1),(1349,1),(1350,1),(1541,1),(1550,1),(1571,1),(1574,1),(1729,1),(1763,1)}
1434:{4}:{(1319,1),(1545,1)}
1435:{3,4}:{(1318,1),(1343,1),(1546,1),(1558,1),(1578,1)}
1436:{4,5}:{(1321,1),(1349,1),(1571,1)}
1437:{3,5,7}:{(1322,1),(1324,1),(1332,1),(1543,1),(1552,1),(1728,1)}
1438:{3,5,7}:{(1323,1),(1326,1),(1330,1),(1541,1),(1556,1)}
1439:{3,5,7}:{(1318,1),(1327,1),(1331,1),(1539,1),(1554,1),(1567,1)}
1440:{2,3,5,7}:{(1321,1),(1325,1),(1334,1),(1354,1),(1544,1),(1553,1),(1564,1),(1745,1)}
1441:{3,5,7}:{(1319,1),(1329,1),(1333,1),(1540,1),(1551,1),(1566,1),(1744,1)}
1442:{2,3,5,7}:{(1320,1),(1328,1),(1335,1),(1354,1),(1542,1),(1555,1),(1565,1),(1724,1)}
1443:{5,6}:{(1333,1),(1388,1),(1569,1)}
1444:{1,6,7}:{(1330,1),(1357,1),(1389,1),(1556,1)}
1445:{2,6}:{(1334,1),(1372,1)}
1446:{2,4,6}:{(1335,1),(1372,1),(1387,1),(1555,1),(1570,1),(1579,1),(1864,1)}
1447:{4,5,6}:{(1331,1),(1387,1),(1388,1),(1554,1),(1569,1),(1570,1),(1726,1)}
1448:{1,6,7}:{(1332,1),(1357,1),(1389,1),(1552,1),(1954,1)}
1449:{1,5}:{(1319,1),(1336,1),(1562,1),(1891,1)}
1450:{1,2,5}:{(1320,1),(1339,1),(1381,1),(1559,1)}
1451:{1,5}:{(1318,1),(1340,1),(1558,1)}
1452:{1,3,5,6}:{(1322,1),(1341,1),(1394,1),(1401,1),(1561,1),(1563,1),(1601,1),(1618,1),(1773,1)}
1453:{1,2,5}:{(1321,1),(1338,1),(1381,1),(1560,1),(1893,1)}
1454:{1,3,5,6}:{(1323,1),(1337,1),(1394,1),(1401,1),(1557,1),(1568,1),(1601,1),(1618,1),(1890,1)}
1455:{1,2,7}:{(1328,1),(1339,1),(1386,1)}
1456:{1,3,7}:{(1324,1),(1341,1),(1398,1),(1600,1)}
1457:{1,2,4,7}:{(1325,1),(1338,1),(1386,1),(1405,1),(1564,1),(1593,1),(1609,1),(1888,1)}
1458:{1,6,7}:{(1329,1),(1336,1),(1407,1),(1566,1),(1617,1),(1961,1)}
1459:{1,6,7}:{(1327,1),(1340,1),(1407,1),(1567,1),(1617,1)}
1460:{1,3,4,7}:{(1326,1),(1337,1),(1398,1),(1405,1),(1568,1),(1593,1),(1600,1),(1747,1)}
1461:{4,6}:{(1342,1),(1353,1),(1579,1)}
1462:{4,7}:{(1343,1),(1365,1),(1570,1)}
1463:{4,6}:{(1344,1),(1369,1),(1569,1)}
1464:{3,4,5,7}:{(1342,1),(1345,1),(1346,1),(1354,1),(1542,1),(1544,1),(1572,1),(1577,1),(1581,1),(1591,1),(1724,1),(1745,1),(1762,1),(1863,1),(1889,1),(1966,1)}
1465:{4,5,7}:{(1347,1),(1348,1),(1360,1),(1543,1),(1573,1),(1582,1),(1728,1)}
1466:{4,7}:{(1349,1),(1366,1)}
1467:{4,5,7}:{(1350,1),(1351,1),(1368,1),(1543,1),(1571,1),(1574,1),(1584,1),(1728,1),(1763,1),(1862,1)}
1468:{4,6}:{(1351,1),(1370,1),(1571,1)}
1469:{3,4,7}:{(1344,1),(1352,1),(1367,1),(1540,1),(1575,1),(1588,1),(1596,1),(1744,1)}
1470:{3,6}:{(1354,1),(1372,1),(1597,1)}
1471:{3,5}:{(1356,1),(1373,1),(1571,1),(1578,1)}
1472:{3,4,6,7}:{(1345,1),(1355,1),(1356,1),(1374,1),(1572,1),(1576,1),(1577,1),(1587,1),(1762,1)}
1473:{2,5,7}:{(1342,1),(1358,1),(1359,1),(1579,1),(1580,1),(1761,1)}
1474:{2,4}:{(1343,1),(1358,1),(1546,1)}
1475:{3,6,7}:{(1357,1),(1360,1),(1411,1),(1412,1),(1573,1),(1608,1)}
1476:{2,3,7}:{(1345,1),(1359,1),(1362,1),(1583,1),(1609,1)}
1477:{2,3,5}:{(1346,1),(1358,1),(1362,1),(1548,1),(1549,1),(1610,1)}
1478:{2,4,6,7}:{(1347,1),(1361,1),(1363,1),(1573,1),(1576,1),(1582,1),(1583,1),(1733,1)}
1479:{2,5,6}:{(1348,1),(1363,1),(1413,1),(1414,1),(1547,1),(1571,1),(1582,1),(1729,1)}
1480:{2,4,6}:{(1349,1),(1362,1),(1364,1),(1548,1),(1550,1),(1583,1)}
1481:{2,5}:{(1350,1),(1364,1),(1547,1)}
1482:{2,4,7}:{(1351,1),(1364,1),(1371,1),(1584,1),(1585,1),(1862,1)}
1483:{2,3,5,6}:{(1353,1),(1365,1),(1369,1),(1387,1),(1554,1),(1555,1),(1569,1),(1570,1),(1579,1),(1616,1),(1724,1),(1730,1),(1760,1),(1761,1),(1766,1)}
1484:{3,6}:{(1367,1),(1388,1),(1617,1)}
1485:{3,6}:{(1368,1),(1389,1),(1574,1)}
1486:{2,3,6,7}:{(1355,1),(1366,1),(1370,1),(1390,1),(1553,1),(1556,1),(1576,1),(1733,1)}
1487:{2,3,6}:{(1356,1),(1371,1),(1391,1),(1585,1),(1586,1),(1900,1)}
1488:{2,3}:{(1352,1),(1392,1),(1545,1),(1578,1)}
1489:{1,4,5,7}:{(1342,1),(1373,1),(1374,1),(1379,1),(1577,1),(1589,1),(1590,1),(1605,1),(1762,1)}
1490:{1,4}:{(1343,1),(1399,1),(1578,1)}
1491:{1,4,7}:{(1345,1),(1376,1),(1380,1),(1609,1)}
1492:{1,4,5}:{(1346,1),(1376,1),(1381,1),(1559,1),(1599,1),(1610,1),(1786,1)}
1493:{1,4,7}:{(1347,1),(1377,1),(1393,1),(1600,1)}
1494:{1,4,5,6}:{(1348,1),(1377,1),(1394,1),(1417,1),(1418,1),(1561,1),(1592,1),(1601,1),(1612,1),(1626,1),(1627,1),(1773,1),(1779,1),(1904,1)}
1495:{1,4,6}:{(1349,1),(1378,1),(1400,1),(1560,1),(1593,1),(1602,1),(1779,1),(1786,1)}
1496:{1,4,5}:{(1350,1),(1378,1),(1401,1),(1561,1),(1603,1),(1614,1)}
1497:{1,4,7}:{(1351,1),(1378,1),(1403,1),(1595,1),(1604,1),(1786,1)}
1498:{1,4}:{(1352,1),(1402,1),(1623,1)}
1499:{1,5,6}:{(1353,1),(1379,1),(1383,1),(1569,1),(1597,1)}
1500:{1,5,7}:{(1354,1),(1381,1),(1386,1),(1597,1)}
1501:{1,3,6,7}:{(1355,1),(1375,1),(1380,1),(1382,1),(1597,1),(1600,1)}
1502:{1,3,4,6}:{(1356,1),(1376,1),(1382,1),(1384,1),(1595,1),(1599,1),(1602,1),(1620,1),(1786,1)}
1503:{3,6}:{(1377,1),(1385,1),(1600,1)}
1504:{3,4}:{(1378,1),(1385,1),(1622,1)}
1505:{1,2,5}:{(1358,1),(1373,1),(1391,1),(1586,1),(1606,1),(1894,1)}
1506:{1,2,6,7}:{(1359,1),(1374,1),(1391,1),(1579,1),(1587,1),(1605,1),(1609,1),(1781,1),(1963,1)}
1507:{1,2,4,7}:{(1344,1),(1392,1),(1404,1),(1580,1),(1588,1),(1590,1),(1596,1),(1607,1),(1752,1)}
1508:{1,5,7}:{(1360,1),(1394,1),(1398,1),(1608,1)}
1509:{1,2,6,7}:{(1361,1),(1375,1),(1393,1),(1395,1),(1608,1),(1609,1)}
1510:{1,2,6}:{(1362,1),(1376,1),(1396,1),(1609,1),(1610,1)}
1511:{1,2,4,6}:{(1363,1),(1377,1),(1395,1),(1397,1),(1595,1),(1612,1),(1621,1),(1626,1),(1627,1),(1738,1),(1779,1),(1784,1),(1910,1),(1971,1)}
1512:{1,2,4}:{(1364,1),(1378,1),(1396,1),(1614,1),(1622,1),(1793,1)}
1513:{1,2,5,7}:{(1365,1),(1379,1),(1399,1),(1406,1),(1567,1),(1590,1),(1616,1),(1752,1)}
1514:{1,2,3,5,7}:{(1366,1),(1380,1),(1393,1),(1400,1),(1405,1),(1564,1),(1568,1),(1593,1),(1600,1),(1609,1),(1619,1),(1745,1),(1750,1),(1772,1),(1788,1),(1789,1)}
1515:{1,5,7}:{(1367,1),(1402,1),(1407,1),(1596,1),(1617,1),(1771,1)}
1516:{1,3,5,7}:{(1368,1),(1401,1),(1408,1),(1423,1),(1424,1),(1594,1),(1618,1),(1628,1),(1629,1),(1890,1),(1965,1)}
1517:{1,2,3,6}:{(1370,1),(1382,1),(1395,1),(1403,1),(1595,1),(1618,1),(1621,1),(1784,1)}
1518:{1,2,6}:{(1369,1),(1383,1),(1404,1),(1579,1),(1617,1)}
1519:{1,2,3,7}:{(1371,1),(1384,1),(1396,1),(1609,1),(1615,1),(1620,1),(1622,1),(1789,1),(1965,1)}
1520:{2,3,5,7}:{(1385,1),(1397,1),(1429,1),(1430,1),(1600,1),(1604,1),(1621,1),(1622,1),(1628,1),(1629,1),(1632,1),(1633,1),(1745,1),(1755,1),(1776,1),(1789,1)}
1521:{4,6}:{(1409,1),(1412,1),(1624,1)}
1522:{4,6}:{(1410,1),(1411,1),(1625,1)}
1523:{2,5,7}:{(1409,1),(1414,1),(1415,1),(1571,1),(1624,1),(1728,1)}
1524:{2,5,7}:{(1410,1),(1413,1),(1416,1),(1571,1),(1625,1),(1728,1)}
1525:{1,4,5,7}:{(1409,1),(1417,1),(1419,1),(1424,1),(1626,1),(1629,1),(1631,1),(1794,1)}
1526:{1,4,5,7}:{(1410,1),(1418,1),(1420,1),(1423,1),(1627,1),(1628,1),(1630,1),(1795,1)}
1527:{3,5}:{(1417,1),(1422,1)}
1528:{3,5}:{(1418,1),(1421,1)}
1529:{3,4,7}:{(1420,1),(1421,1),(1429,1),(1600,1),(1628,1)}
1530:{3,4,7}:{(1419,1),(1422,1),(1430,1),(1600,1),(1629,1)}
1531:{1,6}:{(1412,1),(1424,1)}
1532:{1,6}:{(1411,1),(1423,1)}
1533:{1,2,5}:{(1414,1),(1417,1),(1425,1),(1633,1),(1893,1)}
1534:{1,2,5}:{(1413,1),(1418,1),(1426,1),(1632,1),(1893,1)}
1535:{1,2,4,6,7}:{(1416,1),(1420,1),(1426,1),(1427,1),(1595,1),(1615,1),(1627,1),(1630,1),(1634,1),(1741,1),(1748,1),(1784,1)}
1536:{1,2,4,6,7}:{(1415,1),(1419,1),(1425,1),(1428,1),(1595,1),(1615,1),(1626,1),(1631,1),(1635,1),(1741,1),(1748,1),(1784,1)}
1537:{2,3,6}:{(1421,1),(1426,1),(1429,1),(1622,1),(1632,1)}
1538:{2,3,6}:{(1422,1),(1425,1),(1430,1),(1622,1),(1633,1)}
1539:{3,4,7}:{(1435,1),(1439,1),(1462,1),(1637,1),(1646,1),(1650,1),(1677,1)}
1540:{4,7}:{(1434,1),(1441,1),(1638,1),(1643,1)}
1541:{4,5,7}:{(1433,1),(1438,1),(1466,1),(1639,1),(1647,1),(1674,1)}
1542:{3,4,7}:{(1432,1),(1442,1),(1462,1),(1640,1),(1653,1),(1677,1)}
1543:{4,7}:{(1431,1),(1437,1),(1642,1)}
1544:{4,5,7}:{(1436,1),(1440,1),(1466,1),(1636,1),(1674,1)}
1545:{2}:{(1434,1)}
1546:{2,3}:{(1435,1),(1474,1),(1660,1)}
1547:{2,6}:{(1431,1),(1481,1),(1642,1)}
1548:{2,4,5}:{(1436,1),(1477,1),(1480,1),(1679,1),(1680,1)}
1549:{2,3,4}:{(1432,1),(1474,1),(1477,1),(1662,1),(1679,1),(1686,1),(1828,1)}
1550:{2,5,6}:{(1433,1),(1480,1),(1481,1),(1647,1),(1680,1),(1683,1)}
1551:{3,5,6}:{(1441,1),(1443,1),(1484,1),(1638,1),(1666,1),(1673,1),(1812,1)}
1552:{3,6,7}:{(1437,1),(1448,1),(1485,1),(1641,1),(1916,1)}
1553:{2,3,6}:{(1440,1),(1445,1),(1470,1),(1636,1),(1670,1),(1813,1)}
1554:{3,5,6}:{(1439,1),(1447,1),(1484,1),(1637,1),(1671,1),(1673,1)}
1555:{2,3,6}:{(1442,1),(1446,1),(1470,1),(1640,1),(1667,1),(1913,1)}
1556:{3,6,7}:{(1438,1),(1444,1),(1485,1),(1639,1)}
1557:{1,4,5,6}:{(1433,1),(1454,1),(1495,1),(1496,1),(1649,1),(1654,1),(1663,1),(1689,1),(1692,1),(1804,1),(1850,1)}
1558:{1,4}:{(1435,1),(1451,1),(1657,1),(1660,1)}
1559:{1,4}:{(1432,1),(1450,1),(1655,1)}
1560:{1,4,5}:{(1436,1),(1453,1),(1495,1),(1656,1),(1689,1),(1845,1)}
1561:{1,4,6}:{(1431,1),(1452,1),(1496,1),(1651,1),(1658,1),(1664,1)}
1562:{1,4}:{(1434,1),(1449,1),(1659,1),(1665,1),(1831,1)}
1563:{1,3,5,7}:{(1437,1),(1452,1),(1456,1),(1508,1),(1651,1),(1669,1),(1696,1),(1805,1)}
1564:{1,2,5,7}:{(1440,1),(1453,1),(1457,1),(1500,1),(1652,1),(1670,1),(1944,1)}
1565:{1,2,5,7}:{(1442,1),(1450,1),(1455,1),(1500,1),(1653,1),(1667,1),(1807,1)}
1566:{1,5,7}:{(1441,1),(1449,1),(1458,1),(1648,1),(1666,1),(1943,1)}
1567:{1,5,7}:{(1439,1),(1451,1),(1459,1),(1650,1),(1671,1)}
1568:{1,3,5,7}:{(1438,1),(1454,1),(1460,1),(1508,1),(1649,1),(1668,1),(1696,1)}
1569:{5}:{(1463,1)}
1570:{4,6}:{(1462,1),(1483,1),(1672,1),(1834,1)}
1571:{5}:{(1468,1)}
1572:{3,4,6}:{(1461,1),(1464,1),(1470,1),(1636,1),(1676,1),(1681,1),(1690,1),(1813,1),(1836,1)}
1573:{4,6,7}:{(1465,1),(1475,1),(1521,1),(1522,1),(1682,1)}
1574:{4,6}:{(1467,1),(1485,1),(1675,1),(1683,1)}
1575:{3,4,6}:{(1463,1),(1469,1),(1484,1),(1638,1),(1673,1),(1687,1),(1693,1),(1812,1),(1834,1),(1919,1)}
1576:{4,6,7}:{(1466,1),(1468,1),(1486,1),(1636,1),(1674,1)}
1577:{3,5,7}:{(1471,1),(1472,1),(1489,1),(1674,1),(1676,1),(1677,1)}
1578:{3}:{(1490,1)}
1579:{2,6}:{(1461,1),(1473,1)}
1580:{2,4,7}:{(1462,1),(1473,1),(1474,1),(1646,1),(1678,1)}
1581:{2,3,5,7}:{(1464,1),(1473,1),(1476,1),(1477,1),(1644,1),(1645,1),(1681,1),(1703,1),(1801,1)}
1582:{2,5,7}:{(1465,1),(1478,1),(1479,1),(1642,1),(1674,1)}
1583:{2,4,7}:{(1466,1),(1476,1),(1480,1),(1647,1)}
1584:{2,5,7}:{(1467,1),(1481,1),(1482,1),(1642,1),(1680,1),(1683,1)}
1585:{2,4,6}:{(1468,1),(1482,1),(1487,1),(1679,1),(1680,1),(1683,1),(1838,1)}
1586:{2,3,5}:{(1471,1),(1487,1),(1505,1),(1679,1),(1680,1),(1686,1),(1841,1)}
1587:{2,3,6,7}:{(1472,1),(1476,1),(1487,1),(1506,1),(1681,1),(1684,1),(1685,1),(1914,1)}
1588:{2,3,7}:{(1469,1),(1488,1),(1507,1),(1643,1),(1677,1),(1687,1)}
1589:{1,4,5,6}:{(1461,1),(1489,1),(1499,1),(1672,1),(1676,1),(1688,1),(1690,1),(1701,1),(1807,1),(1836,1),(1924,1)}
1590:{1,4,7}:{(1462,1),(1490,1),(1513,1),(1677,1),(1688,1)}
1591:{1,4,5,7}:{(1464,1),(1491,1),(1492,1),(1500,1),(1653,1),(1690,1),(1695,1),(1703,1),(1807,1),(1849,1),(1924,1)}
1592:{1,4,5,7}:{(1465,1),(1493,1),(1494,1),(1508,1),(1651,1),(1691,1),(1696,1),(1704,1),(1805,1),(1844,1),(1917,1)}
1593:{1,4,7}:{(1466,1),(1495,1),(1514,1),(1697,1),(1844,1)}
1594:{1,4,5,7}:{(1467,1),(1496,1),(1497,1),(1516,1),(1651,1),(1689,1),(1692,1),(1698,1),(1706,1),(1805,1),(1850,1),(1926,1)}
1595:{1,4,6}:{(1468,1),(1497,1),(1517,1),(1689,1),(1699,1)}
1596:{1,4,7}:{(1469,1),(1498,1),(1515,1),(1693,1),(1715,1)}
1597:{1,6}:{(1470,1),(1500,1)}
1598:{1,3,4,6,7}:{(1472,1),(1491,1),(1501,1),(1502,1),(1690,1),(1694,1),(1695,1),(1697,1),(1708,1),(1813,1),(1849,1),(1935,1)}
1599:{1,3,5}:{(1471,1),(1492,1),(1502,1),(1655,1),(1656,1),(1689,1)}
1600:{3,7}:{(1493,1),(1503,1)}
1601:{3,5,6}:{(1494,1),(1503,1),(1527,1),(1528,1),(1658,1),(1696,1),(1716,1),(1717,1)}
1602:{3,4,6}:{(1495,1),(1503,1),(1504,1),(1656,1),(1697,1),(1712,1),(1813,1),(1828,1)}
1603:{3,4,5}:{(1496,1),(1504,1),(1527,1),(1528,1),(1658,1),(1713,1),(1718,1),(1719,1),(1845,1)}
1604:{3,4,7}:{(1497,1),(1504,1),(1520,1),(1699,1),(1718,1),(1719,1),(1828,1),(1844,1)}
1605:{1,2,5,7}:{(1473,1),(1489,1),(1505,1),(1506,1),(1685,1),(1701,1),(1702,1),(1945,1)}
1606:{1,2,4}:{(1474,1),(1490,1),(1505,1),(1660,1),(1679,1),(1686,1),(1830,1)}
1607:{1,2,4,6}:{(1463,1),(1507,1),(1518,1),(1678,1),(1687,1),(1688,1),(1693,1),(1700,1),(1819,1),(1834,1),(1925,1)}
1608:{1,6,7}:{(1475,1),(1508,1),(1531,1),(1532,1)}
1609:{1,2,7}:{(1476,1),(1491,1),(1510,1)}
1610:{1,2,5}:{(1477,1),(1492,1),(1510,1),(1662,1)}
1611:{1,2,4,6,7}:{(1478,1),(1493,1),(1509,1),(1511,1),(1691,1),(1694,1),(1704,1),(1705,1),(1710,1),(1817,1),(1844,1),(1938,1)}
1612:{1,2,5,6}:{(1479,1),(1494,1),(1511,1),(1533,1),(1534,1),(1664,1),(1689,1),(1704,1),(1711,1),(1804,1),(1949,1)}
1613:{1,2,4,6}:{(1480,1),(1495,1),(1510,1),(1512,1),(1661,1),(1663,1),(1705,1),(1712,1),(1829,1)}
1614:{1,2,5}:{(1481,1),(1496,1),(1512,1),(1664,1),(1713,1)}
1615:{1,2,4,7}:{(1482,1),(1497,1),(1512,1),(1519,1),(1706,1),(1707,1),(1714,1),(1926,1)}
1616:{1,2,5,6}:{(1483,1),(1499,1),(1513,1),(1518,1),(1667,1),(1671,1),(1688,1),(1700,1),(1807,1),(1819,1)}
1617:{1,6}:{(1484,1),(1515,1)}
1618:{1,3,6}:{(1485,1),(1516,1),(1531,1),(1532,1),(1692,1),(1716,1),(1717,1)}
1619:{1,2,3,6,7}:{(1486,1),(1501,1),(1509,1),(1514,1),(1517,1),(1668,1),(1670,1),(1694,1),(1710,1),(1813,1),(1817,1)}
1620:{1,2,3,6}:{(1487,1),(1502,1),(1510,1),(1519,1),(1707,1),(1709,1),(1712,1),(1947,1)}
1621:{2,3,6}:{(1503,1),(1511,1),(1520,1),(1699,1),(1716,1),(1717,1),(1813,1)}
1622:{2,3}:{(1504,1),(1512,1)}
1623:{1,2,3}:{(1488,1),(1498,1),(1657,1),(1659,1),(1660,1),(1665,1)}
1624:{2,5,6}:{(1521,1),(1523,1),(1675,1),(1683,1)}
1625:{2,5,6}:{(1522,1),(1524,1),(1675,1),(1683,1)}
1626:{1,4,6}:{(1521,1),(1525,1),(1531,1),(1717,1),(1720,1),(1859,1)}
1627:{1,4,6}:{(1522,1),(1526,1),(1532,1),(1716,1),(1721,1),(1858,1)}
1628:{3,5,7}:{(1526,1),(1528,1),(1529,1),(1716,1)}
1629:{3,5,7}:{(1525,1),(1527,1),(1530,1),(1717,1)}
1630:{1,2,5,7}:{(1524,1),(1526,1),(1534,1),(1535,1),(1689,1),(1721,1),(1722,1),(1805,1)}
1631:{1,2,5,7}:{(1523,1),(1525,1),(1533,1),(1536,1),(1689,1),(1720,1),(1723,1),(1805,1)}
1632:{2,3,5}:{(1528,1),(1534,1),(1537,1),(1719,1)}
1633:{2,3,5}:{(1527,1),(1533,1),(1538,1),(1718,1)}
1634:{2,3,4,6,7}:{(1529,1),(1535,1),(1537,1),(1699,1),(1710,1),(1714,1),(1716,1),(1719,1),(1722,1),(1815,1),(1824,1),(1833,1),(1844,1),(1854,1),(1858,1),(1938,1)}
1635:{2,3,4,6,7}:{(1530,1),(1536,1),(1538,1),(1699,1),(1710,1),(1714,1),(1717,1),(1718,1),(1723,1),(1815,1),(1824,1),(1833,1),(1844,1),(1854,1),(1859,1),(1938,1)}
1636:{4,6}:{(1544,1),(1553,1),(1729,1)}
1637:{3,4,6}:{(1539,1),(1554,1),(1570,1),(1725,1),(1730,1),(1739,1),(1760,1)}
1638:{4,6}:{(1540,1),(1551,1),(1726,1),(1731,1)}
1639:{4,6,7}:{(1541,1),(1556,1),(1574,1),(1727,1),(1733,1)}
1640:{3,4,6}:{(1542,1),(1555,1),(1570,1),(1724,1),(1737,1),(1760,1),(1896,1)}
1641:{4,6,7}:{(1543,1),(1552,1),(1574,1),(1728,1),(1734,1),(1862,1)}
1642:{2,7}:{(1543,1),(1547,1)}
1643:{2,7}:{(1540,1),(1545,1),(1731,1)}
1644:{2,3,4,7}:{(1542,1),(1549,1),(1580,1),(1581,1),(1732,1),(1749,1),(1762,1),(1768,1),(1889,1)}
1645:{2,4,5,7}:{(1544,1),(1548,1),(1581,1),(1583,1),(1735,1),(1762,1),(1764,1),(1863,1)}
1646:{2,3,7}:{(1539,1),(1546,1),(1580,1),(1730,1),(1752,1)}
1647:{2,5,7}:{(1541,1),(1550,1),(1583,1),(1733,1)}
1648:{1,4,7}:{(1540,1),(1562,1),(1566,1),(1740,1),(1744,1),(1751,1),(1884,1)}
1649:{1,4,5,7}:{(1541,1),(1557,1),(1568,1),(1593,1),(1736,1),(1743,1),(1750,1),(1772,1)}
1650:{1,4,7}:{(1539,1),(1558,1),(1567,1),(1739,1),(1742,1),(1752,1)}
1651:{1,4,7}:{(1543,1),(1561,1),(1563,1),(1747,1),(1748,1)}
1652:{1,4,5,7}:{(1544,1),(1560,1),(1564,1),(1593,1),(1738,1),(1745,1),(1772,1),(1903,1)}
1653:{1,4,7}:{(1542,1),(1559,1),(1565,1),(1737,1),(1746,1)}
1654:{3,4,5,6}:{(1557,1),(1601,1),(1602,1),(1603,1),(1743,1),(1759,1),(1776,1),(1777,1),(1779,1),(1868,1),(1895,1),(1904,1)}
1655:{1,3}:{(1559,1),(1578,1)}
1656:{3,5}:{(1560,1),(1602,1)}
1657:{1,3}:{(1558,1),(1578,1)}
1658:{3,4,6}:{(1561,1),(1601,1),(1603,1),(1747,1),(1758,1),(1779,1)}
1659:{3}:{(1562,1)}
1660:{1,2}:{(1546,1),(1558,1)}
1661:{1,2,4,5}:{(1548,1),(1560,1),(1610,1),(1613,1),(1755,1),(1782,1),(1786,1),(1892,1)}
1662:{1,2,4}:{(1549,1),(1559,1),(1610,1),(1757,1),(1786,1)}
1663:{1,2,5,6}:{(1550,1),(1557,1),(1613,1),(1614,1),(1750,1),(1759,1),(1782,1),(1784,1)}
1664:{1,2,6}:{(1547,1),(1561,1),(1614,1),(1748,1),(1758,1)}
1665:{1,2}:{(1545,1),(1562,1),(1756,1)}
1666:{1,5,6}:{(1551,1),(1566,1),(1617,1),(1740,1),(1771,1),(1968,1)}
1667:{1,2,6}:{(1555,1),(1565,1),(1597,1),(1737,1),(1959,1)}
1668:{1,3,6,7}:{(1556,1),(1568,1),(1608,1),(1618,1),(1736,1),(1775,1)}
1669:{1,3,6,7}:{(1552,1),(1563,1),(1608,1),(1618,1),(1741,1),(1775,1),(1965,1)}
1670:{1,2,6}:{(1553,1),(1564,1),(1597,1),(1738,1),(1971,1)}
1671:{1,5,6}:{(1554,1),(1567,1),(1617,1),(1739,1),(1771,1)}
1672:{4,5}:{(1569,1),(1570,1),(1724,1),(1761,1)}
1673:{3,5}:{(1569,1),(1575,1),(1726,1),(1771,1)}
1674:{5,7}:{(1571,1),(1576,1),(1729,1)}
1675:{5,6}:{(1571,1),(1574,1),(1728,1)}
1676:{3,5,6}:{(1572,1),(1577,1),(1589,1),(1724,1),(1729,1),(1760,1),(1966,1)}
1677:{3,7}:{(1578,1),(1590,1),(1760,1)}
1678:{2,4,6}:{(1570,1),(1579,1),(1580,1),(1730,1),(1761,1),(1861,1)}
1679:{4}:{(1586,1)}
1680:{2,5}:{(1571,1),(1585,1),(1763,1)}
1681:{2,3,6}:{(1572,1),(1579,1),(1581,1),(1735,1),(1781,1)}
1682:{2,5,6,7}:{(1573,1),(1582,1),(1624,1),(1625,1),(1727,1),(1728,1),(1733,1),(1734,1)}
1683:{2,6}:{(1574,1),(1584,1)}
1684:{2,4,6,7}:{(1576,1),(1583,1),(1585,1),(1587,1),(1733,1),(1735,1),(1762,1),(1764,1),(1865,1)}
1685:{2,3,5,7}:{(1577,1),(1586,1),(1587,1),(1605,1),(1762,1),(1764,1),(1767,1),(1768,1),(1899,1)}
1686:{2,3}:{(1578,1),(1606,1),(1769,1)}
1687:{2,3,6}:{(1575,1),(1588,1),(1607,1),(1731,1),(1760,1),(1766,1),(1958,1)}
1688:{1,4,6}:{(1570,1),(1590,1),(1616,1),(1760,1),(1770,1)}
1689:{1,5}:{(1571,1),(1595,1),(1776,1)}
1690:{1,4,6}:{(1572,1),(1591,1),(1597,1),(1774,1),(1781,1)}
1691:{1,4,6,7}:{(1573,1),(1592,1),(1608,1),(1626,1),(1627,1),(1775,1),(1783,1),(1902,1)}
1692:{1,4,6}:{(1574,1),(1594,1),(1618,1),(1773,1),(1777,1),(1784,1)}
1693:{1,4,6}:{(1575,1),(1596,1),(1617,1),(1771,1),(1791,1),(1901,1)}
1694:{1,4,6,7}:{(1576,1),(1593,1),(1595,1),(1619,1),(1738,1),(1772,1),(1778,1)}
1695:{1,3,5,7}:{(1577,1),(1591,1),(1598,1),(1599,1),(1745,1),(1746,1),(1772,1),(1774,1),(1966,1)}
1696:{3,5,7}:{(1592,1),(1600,1),(1601,1),(1747,1),(1775,1)}
1697:{3,4,7}:{(1593,1),(1600,1),(1602,1),(1745,1),(1789,1)}
1698:{3,4,5,7}:{(1594,1),(1603,1),(1604,1),(1628,1),(1629,1),(1747,1),(1776,1),(1777,1),(1790,1),(1794,1),(1795,1),(1867,1),(1895,1),(1979,1)}
1699:{3,4,6}:{(1595,1),(1604,1),(1621,1),(1776,1),(1779,1)}
1700:{1,2,5}:{(1569,1),(1607,1),(1761,1),(1766,1),(1770,1),(1771,1),(1959,1)}
1701:{1,2,5,6}:{(1579,1),(1589,1),(1605,1),(1761,1),(1767,1),(1780,1),(1781,1),(1874,1),(1955,1)}
1702:{1,2,4,7}:{(1580,1),(1590,1),(1605,1),(1606,1),(1752,1),(1762,1),(1768,1),(1780,1),(1885,1)}
1703:{1,2,5,7}:{(1581,1),(1591,1),(1609,1),(1610,1),(1749,1),(1781,1),(1874,1)}
1704:{1,2,5,7}:{(1582,1),(1592,1),(1611,1),(1612,1),(1748,1),(1772,1),(1788,1),(1972,1)}
1705:{1,2,4,7}:{(1583,1),(1593,1),(1609,1),(1613,1),(1750,1),(1789,1),(1887,1)}
1706:{1,2,5,7}:{(1584,1),(1594,1),(1614,1),(1615,1),(1748,1),(1782,1),(1784,1),(1790,1)}
1707:{1,2,4,6}:{(1585,1),(1595,1),(1615,1),(1620,1),(1782,1),(1784,1),(1786,1),(1792,1),(1907,1)}
1708:{1,2,3,6,7}:{(1587,1),(1598,1),(1609,1),(1620,1),(1781,1),(1785,1),(1787,1),(1789,1),(1881,1),(1975,1)}
1709:{1,2,3,5}:{(1586,1),(1599,1),(1610,1),(1620,1),(1755,1),(1757,1),(1782,1),(1786,1),(1890,1)}
1710:{2,3,6,7}:{(1600,1),(1611,1),(1621,1),(1775,1),(1778,1),(1788,1),(1789,1),(1971,1)}
1711:{2,3,5,6}:{(1601,1),(1612,1),(1621,1),(1632,1),(1633,1),(1758,1),(1776,1),(1779,1),(1788,1),(1868,1),(1893,1),(1971,1)}
1712:{2,3,6}:{(1602,1),(1613,1),(1622,1),(1755,1),(1789,1)}
1713:{2,3,5}:{(1603,1),(1614,1),(1622,1),(1758,1),(1793,1),(1893,1)}
1714:{2,3,4,7}:{(1604,1),(1615,1),(1622,1),(1789,1),(1790,1),(1792,1),(1793,1),(1887,1),(1979,1)}
1715:{1,2,3,7}:{(1588,1),(1596,1),(1623,1),(1742,1),(1744,1),(1751,1),(1752,1),(1791,1)}
1716:{3,6}:{(1627,1),(1628,1)}
1717:{3,6}:{(1626,1),(1629,1)}
1718:{4}:{(1633,1)}
1719:{4}:{(1632,1)}
1720:{1,2,5,6}:{(1624,1),(1626,1),(1631,1),(1773,1),(1784,1),(1797,1)}
1721:{1,2,5,6}:{(1625,1),(1627,1),(1630,1),(1773,1),(1784,1),(1796,1)}
1722:{2,3,5,7}:{(1628,1),(1630,1),(1632,1),(1634,1),(1776,1),(1795,1),(1796,1),(1867,1),(1893,1),(1972,1)}
1723:{2,3,5,7}:{(1629,1),(1631,1),(1633,1),(1635,1),(1776,1),(1794,1),(1797,1),(1867,1),(1893,1),(1972,1)}
1724:{3,5}:{(1640,1),(1672,1),(1807,1)}
1725:{3,4,5}:{(1637,1),(1672,1),(1673,1),(1800,1),(1809,1),(1834,1),(1835,1),(1919,1)}
1726:{4,5}:{(1638,1),(1673,1),(1798,1),(1834,1)}
1727:{5,6,7}:{(1639,1),(1674,1),(1675,1)}
1728:{5,7}:{(1641,1),(1675,1)}
1729:{5,6}:{(1636,1),(1674,1)}
1730:{2,3,6}:{(1637,1),(1646,1),(1678,1),(1800,1),(1819,1)}
1731:{2,6}:{(1638,1),(1643,1),(1798,1)}
1732:{2,3,4,6}:{(1640,1),(1644,1),(1678,1),(1681,1),(1801,1),(1820,1),(1836,1),(1839,1),(1915,1),(1935,1)}
1733:{2,6,7}:{(1639,1),(1647,1),(1683,1)}
1734:{2,6,7}:{(1641,1),(1642,1),(1683,1),(1802,1)}
1735:{2,4,6}:{(1636,1),(1645,1),(1681,1),(1803,1),(1836,1)}
1736:{1,4,6,7}:{(1639,1),(1649,1),(1668,1),(1692,1),(1806,1),(1811,1),(1817,1)}
1737:{1,4,6}:{(1640,1),(1653,1),(1667,1),(1807,1),(1810,1),(1922,1)}
1738:{1,4,6}:{(1636,1),(1652,1),(1670,1),(1804,1),(1813,1),(1918,1)}
1739:{1,4,6}:{(1637,1),(1650,1),(1671,1),(1809,1),(1814,1),(1819,1)}
1740:{1,4,6}:{(1638,1),(1648,1),(1666,1),(1808,1),(1812,1),(1821,1),(1937,1)}
1741:{1,4,6,7}:{(1641,1),(1651,1),(1669,1),(1692,1),(1805,1),(1815,1),(1816,1),(1926,1)}
1742:{1,3,7}:{(1650,1),(1657,1),(1677,1),(1814,1)}
1743:{3,4,5,7}:{(1649,1),(1654,1),(1696,1),(1697,1),(1811,1),(1826,1),(1842,1),(1844,1),(1917,1)}
1744:{3,7}:{(1648,1),(1659,1),(1812,1)}
1745:{3,5,7}:{(1652,1),(1656,1),(1697,1),(1813,1)}
1746:{1,3,7}:{(1653,1),(1655,1),(1677,1),(1810,1)}
1747:{3,4,7}:{(1651,1),(1658,1),(1696,1),(1824,1),(1844,1)}
1748:{1,2,7}:{(1642,1),(1651,1),(1664,1),(1824,1)}
1749:{1,2,4,7}:{(1644,1),(1653,1),(1662,1),(1703,1),(1820,1),(1827,1),(1849,1)}
1750:{1,2,5,7}:{(1647,1),(1649,1),(1663,1),(1705,1),(1817,1),(1826,1)}
1751:{1,2,7}:{(1643,1),(1648,1),(1665,1),(1821,1),(1823,1)}
1752:{1,2,7}:{(1646,1),(1650,1),(1660,1),(1819,1)}
1753:{1,2,4,5,7}:{(1645,1),(1652,1),(1661,1),(1703,1),(1705,1),(1818,1),(1822,1),(1847,1),(1849,1),(1924,1),(1942,1)}
1754:{1,2,3}:{(1657,1),(1660,1),(1686,1),(1830,1)}
1755:{2,3,5}:{(1656,1),(1661,1),(1712,1),(1828,1)}
1756:{2,3}:{(1659,1),(1665,1),(1831,1)}
1757:{1,2,3}:{(1655,1),(1662,1),(1686,1),(1832,1)}
1758:{2,3,6}:{(1658,1),(1664,1),(1713,1),(1824,1),(1833,1)}
1759:{2,3,5,6}:{(1654,1),(1663,1),(1712,1),(1713,1),(1826,1),(1829,1),(1854,1),(1855,1),(1949,1)}
1760:{3,6}:{(1677,1),(1688,1),(1835,1)}
1761:{2,5}:{(1672,1),(1678,1)}
1762:{4,7}:{(1679,1),(1685,1),(1836,1)}
1763:{4,5}:{(1679,1),(1680,1),(1838,1),(1841,1)}
1764:{2,5,7}:{(1674,1),(1680,1),(1684,1),(1803,1),(1837,1)}
1765:{2,5,6}:{(1675,1),(1680,1),(1683,1),(1802,1),(1838,1)}
1766:{2,3,5}:{(1673,1),(1687,1),(1700,1),(1798,1),(1834,1),(1835,1),(1913,1)}
1767:{2,3,5,6}:{(1676,1),(1681,1),(1685,1),(1701,1),(1801,1),(1803,1),(1836,1),(1839,1),(1911,1)}
1768:{2,3,7}:{(1677,1),(1686,1),(1702,1),(1839,1),(1840,1)}
1769:{3,4}:{(1679,1),(1686,1),(1830,1),(1841,1)}
1770:{1,4,5}:{(1672,1),(1688,1),(1700,1),(1807,1),(1834,1),(1835,1),(1922,1)}
1771:{1,5}:{(1673,1),(1693,1)}
1772:{1,5,7}:{(1674,1),(1689,1),(1694,1),(1804,1),(1842,1)}
1773:{1,5,6}:{(1675,1),(1689,1),(1692,1),(1805,1),(1843,1)}
1774:{1,3,5,6}:{(1676,1),(1690,1),(1695,1),(1804,1),(1807,1),(1810,1),(1813,1)}
1775:{3,6,7}:{(1691,1),(1696,1),(1716,1),(1717,1)}
1776:{3,5}:{(1689,1),(1699,1),(1845,1)}
1777:{3,4,6}:{(1692,1),(1698,1),(1716,1),(1717,1),(1843,1),(1854,1),(1858,1),(1859,1)}
1778:{3,4,6,7}:{(1694,1),(1697,1),(1699,1),(1710,1),(1813,1),(1842,1),(1844,1),(1918,1)}
1779:{4,6}:{(1711,1),(1718,1),(1719,1),(1844,1),(1845,1)}
1780:{1,2,4,6}:{(1678,1),(1688,1),(1701,1),(1702,1),(1819,1),(1836,1),(1839,1),(1846,1),(1936,1)}
1781:{1,2,6}:{(1681,1),(1690,1),(1703,1)}
1782:{1,2,5}:{(1680,1),(1689,1),(1707,1),(1850,1),(1855,1)}
1783:{1,2,5,6,7}:{(1682,1),(1691,1),(1704,1),(1720,1),(1721,1),(1805,1),(1806,1),(1816,1),(1817,1),(1853,1)}
1784:{1,2,6}:{(1683,1),(1692,1),(1706,1),(1854,1)}
1785:{1,2,4,6,7}:{(1684,1),(1694,1),(1705,1),(1707,1),(1708,1),(1817,1),(1818,1),(1847,1),(1849,1),(1856,1),(1928,1)}
1786:{1,4}:{(1679,1),(1709,1),(1828,1)}
1787:{1,2,3,5,7}:{(1685,1),(1695,1),(1703,1),(1708,1),(1709,1),(1822,1),(1827,1),(1847,1),(1849,1),(1852,1),(1941,1)}
1788:{2,3,5,7}:{(1696,1),(1704,1),(1710,1),(1711,1),(1824,1),(1842,1),(1844,1),(1944,1)}
1789:{2,3,7}:{(1697,1),(1705,1),(1712,1)}
1790:{2,3,5,7}:{(1698,1),(1706,1),(1713,1),(1714,1),(1824,1),(1854,1),(1855,1),(1857,1)}
1791:{1,2,3,6}:{(1687,1),(1693,1),(1715,1),(1812,1),(1814,1),(1819,1),(1821,1),(1851,1)}
1792:{2,3,4,6}:{(1699,1),(1707,1),(1712,1),(1714,1),(1828,1),(1829,1),(1854,1),(1855,1),(1951,1)}
1793:{2,4}:{(1713,1),(1718,1),(1719,1)}
1794:{4,5,7}:{(1718,1),(1723,1),(1844,1),(1845,1),(1859,1)}
1795:{4,5,7}:{(1719,1),(1722,1),(1844,1),(1845,1),(1858,1)}
1796:{2,3,5,6}:{(1716,1),(1721,1),(1722,1),(1843,1),(1854,1),(1858,1),(1949,1)}
1797:{2,3,5,6}:{(1717,1),(1720,1),(1723,1),(1843,1),(1854,1),(1859,1),(1949,1)}
1798:{2,5}:{(1726,1),(1731,1),(1864,1)}
1799:{2,5,6,7}:{(1727,1),(1733,1),(1764,1),(1765,1),(1865,1)}
1800:{2,3,5}:{(1725,1),(1730,1),(1761,1),(1861,1),(1876,1),(1958,1)}
1801:{2,3,5}:{(1724,1),(1732,1),(1761,1),(1863,1),(1874,1),(1966,1)}
1802:{2,5,7}:{(1728,1),(1734,1),(1765,1),(1862,1)}
1803:{2,5,6}:{(1729,1),(1735,1),(1764,1),(1860,1)}
1804:{1,5,6}:{(1729,1),(1738,1),(1772,1),(1868,1)}
1805:{1,5,7}:{(1728,1),(1741,1),(1773,1),(1867,1)}
1806:{1,5,6,7}:{(1727,1),(1736,1),(1772,1),(1773,1),(1871,1)}
1807:{1,5}:{(1724,1),(1737,1)}
1808:{1,4,5}:{(1726,1),(1740,1),(1771,1),(1866,1),(1872,1),(1901,1),(1970,1)}
1809:{1,4,5}:{(1725,1),(1739,1),(1771,1),(1870,1),(1876,1),(1901,1)}
1810:{1,3,6}:{(1737,1),(1746,1),(1760,1),(1869,1)}
1811:{3,4,6,7}:{(1736,1),(1743,1),(1775,1),(1777,1),(1871,1),(1879,1),(1902,1)}
1812:{3,6}:{(1740,1),(1744,1),(1866,1)}
1813:{3,6}:{(1738,1),(1745,1)}
1814:{1,3,6}:{(1739,1),(1742,1),(1760,1),(1870,1)}
1815:{3,4,6,7}:{(1741,1),(1747,1),(1775,1),(1777,1),(1867,1),(1883,1),(1902,1),(1979,1)}
1816:{1,2,6,7}:{(1734,1),(1741,1),(1748,1),(1784,1),(1877,1),(1883,1)}
1817:{1,2,6,7}:{(1733,1),(1736,1),(1750,1),(1784,1),(1879,1)}
1818:{1,2,4,6}:{(1735,1),(1738,1),(1753,1),(1781,1),(1873,1),(1881,1),(1905,1),(1974,1)}
1819:{1,2,6}:{(1730,1),(1739,1),(1752,1),(1876,1)}
1820:{1,2,4,6}:{(1732,1),(1737,1),(1749,1),(1781,1),(1874,1),(1880,1),(1905,1),(1969,1)}
1821:{1,2,6}:{(1731,1),(1740,1),(1751,1),(1872,1),(1882,1)}
1822:{2,3,5,7}:{(1745,1),(1753,1),(1755,1),(1789,1),(1881,1),(1889,1),(1966,1)}
1823:{2,3,7}:{(1744,1),(1751,1),(1756,1),(1882,1),(1884,1)}
1824:{2,3,7}:{(1747,1),(1748,1),(1758,1),(1888,1)}
1825:{1,2,3,7}:{(1742,1),(1752,1),(1754,1),(1768,1),(1878,1),(1885,1)}
1826:{2,3,5,7}:{(1743,1),(1750,1),(1759,1),(1789,1),(1879,1),(1887,1),(1972,1)}
1827:{1,2,3,7}:{(1746,1),(1749,1),(1757,1),(1768,1),(1880,1),(1886,1)}
1828:{3,4}:{(1755,1),(1786,1)}
1829:{2,4,6}:{(1759,1),(1779,1),(1793,1),(1887,1),(1892,1)}
1830:{1,4}:{(1754,1),(1769,1),(1894,1)}
1831:{4}:{(1756,1),(1891,1)}
1832:{1,3,4}:{(1757,1),(1769,1),(1786,1),(1890,1)}
1833:{2,4,6}:{(1758,1),(1779,1),(1793,1),(1888,1),(1893,1),(1971,1)}
1834:{4}:{(1766,1)}
1835:{3,5}:{(1760,1),(1770,1),(1896,1)}
1836:{4,6}:{(1762,1),(1767,1),(1863,1)}
1837:{4,5,7}:{(1762,1),(1763,1),(1764,1),(1860,1),(1865,1),(1899,1)}
1838:{4,6}:{(1763,1),(1765,1),(1862,1),(1900,1)}
1839:{2,3,6}:{(1760,1),(1768,1),(1780,1),(1897,1),(1898,1)}
1840:{3,4,7}:{(1762,1),(1768,1),(1769,1),(1885,1),(1898,1),(1899,1)}
1841:{3,5}:{(1763,1),(1769,1),(1894,1),(1900,1)}
1842:{3,5,7}:{(1772,1),(1776,1),(1778,1),(1868,1),(1903,1)}
1843:{3,5,6}:{(1773,1),(1776,1),(1777,1),(1867,1),(1904,1)}
1844:{4,7}:{(1779,1),(1788,1)}
1845:{4,5}:{(1776,1),(1779,1),(1893,1)}
1846:{1,2,4,5}:{(1761,1),(1770,1),(1780,1),(1861,1),(1863,1),(1874,1),(1876,1),(1897,1),(1967,1),(1969,1)}
1847:{1,2,5,7}:{(1764,1),(1772,1),(1782,1),(1785,1),(1873,1),(1906,1),(1908,1)}
1848:{1,2,5,6}:{(1765,1),(1773,1),(1782,1),(1784,1),(1877,1),(1907,1),(1909,1)}
1849:{1,4,7}:{(1762,1),(1786,1),(1787,1),(1889,1),(1905,1)}
1850:{1,4,5}:{(1763,1),(1782,1),(1786,1),(1890,1),(1895,1),(1907,1)}
1851:{1,2,3,5}:{(1766,1),(1771,1),(1791,1),(1866,1),(1870,1),(1872,1),(1876,1),(1901,1),(1956,1),(1958,1)}
1852:{1,2,3,5,6}:{(1767,1),(1774,1),(1781,1),(1787,1),(1873,1),(1874,1),(1880,1),(1881,1),(1905,1),(1964,1),(1966,1)}
1853:{2,3,5,6,7}:{(1775,1),(1783,1),(1788,1),(1796,1),(1797,1),(1867,1),(1871,1),(1879,1),(1883,1),(1902,1),(1972,1),(1977,1)}
1854:{2,3,6}:{(1777,1),(1784,1),(1790,1),(1910,1)}
1855:{2,3,5}:{(1776,1),(1782,1),(1792,1),(1892,1),(1895,1)}
1856:{2,3,4,6,7}:{(1778,1),(1785,1),(1789,1),(1792,1),(1879,1),(1881,1),(1887,1),(1889,1),(1908,1),(1973,1),(1974,1)}
1857:{2,4,5,7}:{(1790,1),(1793,1),(1794,1),(1795,1),(1887,1),(1888,1),(1892,1),(1893,1),(1910,1),(1972,1)}
1858:{4,6}:{(1795,1),(1796,1)}
1859:{4,6}:{(1794,1),(1797,1)}
1860:{4,5,6}:{(1803,1),(1836,1),(1837,1),(1911,1)}
1861:{2,4}:{(1800,1),(1834,1)}
1862:{4,7}:{(1802,1),(1838,1),(1916,1)}
1863:{4,5}:{(1801,1),(1836,1)}
1864:{2,4}:{(1798,1),(1834,1),(1913,1)}
1865:{4,6,7}:{(1799,1),(1837,1),(1838,1),(1914,1)}
1866:{3,5}:{(1808,1),(1812,1),(1919,1)}
1867:{3,5,7}:{(1805,1),(1815,1),(1843,1),(1917,1)}
1868:{3,5,6}:{(1804,1),(1813,1),(1842,1),(1918,1)}
1869:{1,3,5}:{(1807,1),(1810,1),(1835,1),(1922,1)}
1870:{1,3,5}:{(1809,1),(1814,1),(1835,1),(1920,1)}
1871:{3,5,6,7}:{(1806,1),(1811,1),(1842,1),(1843,1),(1921,1)}
1872:{1,2,5}:{(1798,1),(1808,1),(1821,1),(1923,1),(1934,1)}
1873:{1,2,5,6}:{(1803,1),(1804,1),(1818,1),(1847,1),(1927,1),(1933,1)}
1874:{1,2,5}:{(1801,1),(1807,1),(1820,1),(1924,1)}
1875:{1,2,5,6,7}:{(1799,1),(1806,1),(1817,1),(1847,1),(1848,1),(1928,1),(1929,1)}
1876:{1,2,5}:{(1800,1),(1809,1),(1819,1),(1925,1)}
1877:{1,2,5,7}:{(1802,1),(1805,1),(1816,1),(1848,1),(1926,1),(1931,1)}
1878:{1,2,3,6}:{(1814,1),(1819,1),(1825,1),(1839,1),(1930,1),(1936,1)}
1879:{2,3,6,7}:{(1811,1),(1817,1),(1826,1),(1854,1),(1938,1)}
1880:{1,2,3,6}:{(1810,1),(1820,1),(1827,1),(1839,1),(1932,1),(1940,1)}
1881:{2,3,6}:{(1813,1),(1818,1),(1822,1),(1935,1)}
1882:{2,3,6}:{(1812,1),(1821,1),(1823,1),(1934,1),(1937,1)}
1883:{2,3,6,7}:{(1815,1),(1816,1),(1824,1),(1854,1),(1931,1),(1939,1)}
1884:{4,7}:{(1823,1),(1831,1),(1937,1),(1943,1)}
1885:{1,4,7}:{(1825,1),(1830,1),(1840,1),(1936,1),(1945,1)}
1886:{1,3,4,7}:{(1827,1),(1832,1),(1840,1),(1849,1),(1940,1),(1941,1)}
1887:{2,4,7}:{(1826,1),(1829,1),(1844,1)}
1888:{2,4,7}:{(1824,1),(1833,1),(1844,1),(1944,1)}
1889:{3,4,7}:{(1822,1),(1828,1),(1849,1),(1935,1)}
1890:{1,3,5}:{(1832,1),(1841,1),(1850,1),(1947,1)}
1891:{5}:{(1831,1),(1950,1)}
1892:{2,4,5}:{(1829,1),(1845,1),(1855,1)}
1893:{2,5}:{(1833,1),(1845,1)}
1894:{1,5}:{(1830,1),(1841,1),(1948,1)}
1895:{3,4,5}:{(1828,1),(1850,1),(1855,1),(1951,1)}
1896:{3,4}:{(1834,1),(1835,1),(1913,1),(1922,1)}
1897:{2,3,5}:{(1835,1),(1839,1),(1846,1),(1912,1),(1915,1)}
1898:{3,4,6}:{(1836,1),(1839,1),(1840,1),(1911,1),(1912,1),(1936,1)}
1899:{3,5,7}:{(1837,1),(1840,1),(1841,1),(1911,1),(1914,1),(1945,1)}
1900:{3,6}:{(1838,1),(1841,1),(1916,1),(1948,1)}
1901:{1,4}:{(1834,1),(1851,1),(1919,1)}
1902:{4,6,7}:{(1844,1),(1853,1),(1858,1),(1859,1),(1917,1)}
1903:{4,5,7}:{(1842,1),(1844,1),(1845,1),(1918,1),(1944,1)}
1904:{4,5,6}:{(1843,1),(1845,1),(1858,1),(1859,1),(1917,1),(1949,1)}
1905:{1,4,6}:{(1836,1),(1849,1),(1852,1),(1924,1),(1935,1)}
1906:{1,4,5,7}:{(1837,1),(1847,1),(1849,1),(1850,1),(1927,1),(1928,1),(1941,1),(1946,1)}
1907:{1,4,6}:{(1838,1),(1848,1),(1850,1),(1926,1),(1947,1),(1951,1)}
1908:{2,3,5,7}:{(1842,1),(1847,1),(1855,1),(1856,1),(1933,1),(1942,1),(1946,1)}
1909:{2,3,5,6}:{(1843,1),(1848,1),(1854,1),(1855,1),(1931,1),(1951,1),(1952,1)}
1910:{2,4,6}:{(1854,1),(1857,1),(1858,1),(1859,1),(1949,1)}
1911:{3,5,6}:{(1860,1),(1898,1),(1899,1),(1955,1)}
1912:{3,4,5}:{(1863,1),(1897,1),(1898,1),(1967,1)}
1913:{2,3}:{(1864,1),(1896,1),(1959,1)}
1914:{3,6,7}:{(1865,1),(1899,1),(1900,1),(1963,1)}
1915:{2,3,4}:{(1861,1),(1896,1),(1897,1),(1969,1)}
1916:{3,7}:{(1862,1),(1900,1),(1954,1)}
1917:{4,5,7}:{(1867,1),(1902,1),(1904,1),(1972,1)}
1918:{4,6}:{(1868,1),(1903,1),(1971,1)}
1919:{3,4}:{(1866,1),(1901,1),(1958,1)}
1920:{1,3,4}:{(1870,1),(1896,1),(1901,1),(1956,1)}
1921:{4,5,6,7}:{(1871,1),(1902,1),(1903,1),(1904,1),(1977,1)}
1922:{1,4}:{(1869,1),(1896,1),(1959,1)}
1923:{1,2,4}:{(1864,1),(1872,1),(1901,1),(1956,1),(1962,1)}
1924:{1,4,5}:{(1863,1),(1874,1),(1905,1),(1966,1)}
1925:{1,2,4}:{(1861,1),(1876,1),(1901,1),(1958,1)}
1926:{1,4,7}:{(1862,1),(1877,1),(1907,1),(1965,1),(1979,1)}
1927:{1,4,5,6}:{(1860,1),(1873,1),(1905,1),(1906,1),(1964,1),(1976,1)}
1928:{1,4,6,7}:{(1865,1),(1875,1),(1906,1),(1907,1),(1973,1),(1975,1)}
1929:{2,3,5,6,7}:{(1871,1),(1875,1),(1879,1),(1908,1),(1909,1),(1973,1),(1980,1)}
1930:{1,2,3,5}:{(1870,1),(1876,1),(1878,1),(1897,1),(1960,1),(1967,1)}
1931:{2,3,5,7}:{(1867,1),(1877,1),(1883,1),(1909,1),(1978,1),(1979,1)}
1932:{1,2,3,5}:{(1869,1),(1874,1),(1880,1),(1897,1),(1953,1),(1969,1)}
1933:{2,3,5,6}:{(1868,1),(1873,1),(1881,1),(1908,1),(1974,1),(1976,1)}
1934:{2,3,5}:{(1866,1),(1872,1),(1882,1),(1962,1),(1970,1)}
1935:{3,4,6}:{(1881,1),(1889,1),(1905,1),(1966,1)}
1936:{1,4,6}:{(1878,1),(1885,1),(1898,1),(1955,1),(1967,1)}
1937:{4,6}:{(1882,1),(1884,1),(1968,1),(1970,1)}
1938:{2,4,6,7}:{(1879,1),(1887,1),(1902,1),(1910,1),(1972,1)}
1939:{2,4,6,7}:{(1883,1),(1888,1),(1902,1),(1910,1),(1977,1),(1978,1)}
1940:{1,3,4,6}:{(1880,1),(1886,1),(1898,1),(1905,1),(1953,1),(1964,1)}
1941:{1,3,5,7}:{(1886,1),(1890,1),(1899,1),(1906,1),(1964,1),(1975,1)}
1942:{2,4,5,7}:{(1887,1),(1892,1),(1903,1),(1908,1),(1974,1)}
1943:{5,7}:{(1884,1),(1891,1),(1961,1),(1968,1)}
1944:{2,5,7}:{(1888,1),(1893,1),(1903,1),(1971,1)}
1945:{1,5,7}:{(1885,1),(1894,1),(1899,1),(1955,1),(1963,1)}
1946:{3,4,5,7}:{(1889,1),(1895,1),(1906,1),(1908,1),(1973,1),(1976,1)}
1947:{1,3,6}:{(1890,1),(1900,1),(1907,1),(1965,1)}
1948:{1,6}:{(1894,1),(1900,1),(1954,1)}
1949:{2,5,6}:{(1893,1),(1904,1),(1910,1),(1972,1)}
1950:{6}:{(1891,1),(1957,1)}
1951:{3,4,6}:{(1895,1),(1907,1),(1909,1),(1979,1)}
1952:{2,4,5,6}:{(1892,1),(1904,1),(1909,1),(1910,1),(1978,1)}
1953:{1,3,4,5}:{(1912,1),(1924,1),(1932,1),(1940,1)}
1954:{1,7}:{(1916,1),(1948,1)}
1955:{1,5,6}:{(1911,1),(1936,1),(1945,1)}
1956:{1,2,3}:{(1913,1),(1920,1),(1923,1)}
1957:{7}:{(1950,1)}
1958:{2,3}:{(1919,1),(1925,1)}
1959:{1,2}:{(1913,1),(1922,1)}
1960:{1,2,3,4}:{(1915,1),(1920,1),(1925,1),(1930,1)}
1961:{6,7}:{(1943,1),(1950,1)}
1962:{2,3,4}:{(1919,1),(1923,1),(1934,1)}
1963:{1,6,7}:{(1914,1),(1945,1),(1948,1)}
1964:{1,3,5,6}:{(1911,1),(1927,1),(1940,1),(1941,1)}
1965:{1,3,7}:{(1916,1),(1926,1),(1947,1)}
1966:{3,5}:{(1924,1),(1935,1)}
1967:{1,4,5}:{(1912,1),(1930,1),(1936,1)}
1968:{5,6}:{(1937,1),(1943,1)}
1969:{1,2,4}:{(1915,1),(1922,1),(1932,1)}
1970:{4,5}:{(1934,1),(1937,1)}
1971:{2,6}:{(1918,1),(1944,1)}
1972:{2,5,7}:{(1917,1),(1938,1),(1949,1)}
1973:{3,4,6,7}:{(1928,1),(1929,1),(1946,1),(1951,1)}
1974:{2,4,6}:{(1918,1),(1933,1),(1942,1)}
1975:{1,3,6,7}:{(1914,1),(1928,1),(1941,1),(1947,1)}
1976:{3,4,5,6}:{(1927,1),(1933,1),(1935,1),(1946,1)}
1977:{2,5,6,7}:{(1921,1),(1939,1),(1944,1),(1949,1)}
1978:{2,4,5,7}:{(1917,1),(1931,1),(1939,1),(1952,1)}
1979:{3,4,7}:{(1926,1),(1931,1),(1951,1)}
1980:{2,4,5,6,7}:{(1921,1),(1929,1),(1938,1),(1942,1),(1952,1)}