0:{}:{}
1:{4}:{(4,1),(6,1)}
2:{2}:{(3,1)}
3:{4}:{(0,1),(2,1),(11,1),(12,1)}
4:{2}:{(0,1),(1,1)}
5:{2,3,5}:{(2,1),(11,1),(12,1),(19,1),(20,1),(24,1),(53,1),(60,1),(62,1),(65,1),(78,1),(79,1),(180,1)}
6:{3,5}:{(1,1),(21,1),(23,1)}
7:{3,5}:{(0,1),(11,1),(12,1),(17,1),(22,1),(25,1),(77,1),(81,1)}
8:{1,4,6}:{(1,1),(16,1),(21,1),(23,1),(56,1),(69,1)}
9:{1,2,6}:{(2,1),(15,1),(20,1),(24,1),(84,1),(90,1),(155,1),(156,1),(164,1),(180,1)}
10:{1,6}:{(0,1),(22,1),(25,1),(417,1),(430,1)}
11:{5}:{(3,1),(26,1)}
12:{3}:{(3,1),(36,1)}
13:{2,4}:{(3,1),(4,1),(28,1),(32,1),(33,1),(42,1),(95,1),(104,1),(820,1)}
14:{2,3,5}:{(4,1),(6,1),(7,1),(28,1),(32,1),(33,1),(34,1),(38,1),(42,1),(101,1),(106,1),(110,1),(135,1),(140,1),(300,1),(303,1)}
15:{1,4,6}:{(3,1),(9,1),(10,1),(26,1),(31,1),(35,1),(36,1),(40,1),(41,1),(45,1),(47,1),(91,1),(98,1),(103,1),(121,1)}
16:{1,2,6}:{(4,1),(8,1),(10,1),(34,1),(38,1),(283,1)}
17:{4}:{(7,1),(42,1)}
18:{3,4,5}:{(6,1),(28,1),(39,1),(43,1),(46,1),(101,1),(106,1),(110,1),(253,1),(254,1),(259,1),(261,1),(262,1),(300,1),(303,1),(499,1),(722,1)}
19:{4}:{(5,1)}
20:{2,3,6}:{(5,1),(9,1),(26,1),(31,1),(40,1),(92,1),(111,1),(140,1),(248,1)}
21:{3,6}:{(6,1),(8,1),(110,1)}
22:{3,6}:{(7,1),(10,1),(26,1),(41,1),(303,1)}
23:{1,5}:{(6,1),(8,1),(101,1)}
24:{1,2,5}:{(5,1),(9,1),(35,1),(36,1),(45,1),(97,1),(130,1),(135,1),(228,1)}
25:{1,5}:{(7,1),(10,1),(36,1),(47,1),(300,1)}
26:{6}:{(11,1)}
27:{4,5}:{(11,1),(17,1),(19,1),(53,1),(55,1),(62,1),(77,1),(78,1),(152,1),(206,1),(321,1)}
28:{4}:{(14,1)}
29:{3,5}:{(11,1),(12,1),(52,1),(57,1),(70,1),(149,1),(159,1)}
30:{3,4}:{(12,1),(17,1),(19,1),(53,1),(65,1),(71,1),(79,1),(81,1),(152,1),(211,1),(330,1)}
31:{3,6}:{(12,1),(15,1),(60,1),(79,1),(81,1),(159,1)}
32:{2,5}:{(11,1),(13,1),(54,1),(61,1)}
33:{2,3}:{(12,1),(13,1),(59,1),(74,1)}
34:{2,3,6}:{(14,1),(16,1),(21,1),(22,1),(56,1),(61,1),(84,1),(171,1),(417,1)}
35:{1,5}:{(11,1),(15,1),(60,1),(77,1),(78,1),(149,1)}
36:{1}:{(12,1)}
37:{1,2,4,6}:{(13,1),(15,1),(16,1),(56,1),(61,1),(66,1),(69,1),(73,1),(74,1),(83,1),(84,1),(89,1),(90,1),(155,1),(164,1),(168,1),(169,1),(180,1),(189,1),(190,1),(194,1),(198,1),(201,1),(202,1),(206,1),(211,1),(316,1),(335,1),(349,1),(368,1),(381,1),(395,1),(407,1),(417,1),(430,1),(610,1),(618,1),(690,1),(693,1),(911,1),(982,1),(1004,1)}
38:{1,2,5}:{(14,1),(16,1),(23,1),(25,1),(69,1),(74,1),(90,1),(192,1),(430,1)}
39:{3,4,6}:{(18,1),(21,1),(56,1),(76,1),(82,1),(86,1),(171,1),(207,1),(366,1),(417,1)}
40:{4,6}:{(19,1),(20,1),(78,1),(211,1),(335,1),(417,1),(610,1)}
41:{4,6}:{(17,1),(22,1),(77,1),(84,1),(206,1)}
42:{2}:{(17,1)}
43:{2,3,5}:{(18,1),(63,1),(82,1),(88,1),(178,1),(186,1),(380,1),(385,1),(911,1)}
44:{2,4}:{(19,1),(62,1),(65,1),(152,1),(180,1),(206,1),(211,1),(911,1)}
45:{1,4}:{(19,1),(24,1),(79,1),(206,1),(316,1),(430,1),(618,1)}
46:{1,4,5}:{(18,1),(23,1),(69,1),(80,1),(86,1),(88,1),(192,1),(209,1),(398,1),(430,1)}
47:{1,4}:{(17,1),(25,1),(81,1),(90,1),(211,1)}
48:{1,2,3,5,6}:{(20,1),(24,1),(60,1),(67,1),(72,1),(78,1),(79,1),(85,1),(147,1),(156,1),(161,1),(174,1),(177,1),(180,1),(181,1),(184,1),(185,1),(191,1),(198,1),(201,1),(202,1),(204,1),(205,1),(212,1),(215,1),(219,1),(324,1),(340,1),(351,1),(352,1),(357,1),(359,1),(362,1),(371,1),(378,1),(388,1),(392,1),(393,1),(397,1),(401,1),(413,1),(416,1),(417,1),(429,1),(430,1),(565,1),(568,1),(574,1),(584,1),(585,1),(600,1),(601,2),(605,1),(606,1),(610,1),(618,1),(641,1),(653,1),(656,1),(677,1),(686,1),(688,1),(690,1),(693,1),(694,1),(698,1),(866,1),(879,1),(898,1),(900,1),(911,2),(920,1),(924,1),(928,1),(944,1),(945,1),(952,1),(962,1),(971,1),(987,1),(1006,1),(1027,1),(1202,1),(1203,1),(1212,1),(1218,1),(1221,1),(1241,1),(1242,1),(1287,1),(1297,1),(1299,1),(1300,1),(1309,1),(1494,1),(1523,1)}
49:{1,3,5,6}:{(21,1),(23,1),(76,1),(80,1),(86,1),(601,1),(635,1),(640,1),(1027,1)}
50:{1,3,5,6}:{(22,1),(25,1),(60,1),(67,1),(72,1),(77,1),(81,1),(87,1),(147,1),(156,1),(161,1),(174,1),(191,1),(214,1),(417,1),(430,1),(601,1)}
51:{3,4,5}:{(27,1),(29,1),(30,1),(93,1),(94,1),(99,1),(103,1),(104,1),(105,1),(106,1),(109,1),(222,1),(239,1),(251,1),(254,1),(255,1),(257,1),(259,1),(267,1),(300,1),(301,1),(303,1),(304,1),(442,1),(445,1),(449,1),(462,1),(495,1),(502,1),(508,1),(509,1),(510,1),(720,1),(722,1),(726,1),(731,1),(748,1),(792,1),(807,1),(808,1),(1150,1),(1157,1)}
52:{4}:{(29,1),(95,1)}
53:{3,5}:{(27,1),(30,1),(92,1),(97,1),(300,1),(303,1)}
54:{4,5}:{(28,1),(32,1),(101,1),(102,1),(104,1),(106,1),(251,1),(300,1),(462,1)}
55:{4,6}:{(26,1),(27,1),(92,1),(100,1),(111,1)}
56:{4,6}:{(28,1),(34,1),(101,1)}
57:{3,6}:{(26,1),(29,1),(91,1),(121,1),(445,1)}
58:{3,4,6}:{(30,1),(31,1),(40,1),(41,1),(92,1),(103,1),(105,1),(115,1),(122,1),(223,1),(225,1),(239,1),(255,1),(303,1),(434,1),(459,1),(510,1),(715,1),(722,1)}
59:{3,4}:{(28,1),(33,1),(104,1),(106,1),(110,1),(123,1),(267,1),(303,1),(445,1)}
60:{3,5}:{(31,1),(35,1),(103,1)}
61:{2,6}:{(26,1),(32,1),(102,1)}
62:{2,5}:{(27,1),(42,1),(44,1),(111,1),(300,1)}
63:{2,4}:{(28,1),(42,1),(43,1),(499,1)}
64:{2,3,5}:{(29,1),(32,1),(33,1),(95,1),(104,1),(106,1),(114,1),(129,1),(228,1),(248,1),(251,1),(267,1),(445,1),(462,1),(508,1),(820,1)}
65:{2,3}:{(30,1),(42,1),(44,1),(130,1),(303,1)}
66:{2,3,6}:{(31,1),(33,1),(37,1),(107,1),(110,1),(117,1),(139,1),(140,1),(248,1),(263,1),(267,1),(303,1),(445,1),(459,1),(510,1),(514,1),(526,1),(820,1),(1157,1)}
67:{1,5,6}:{(26,1),(35,1),(100,1),(108,1),(119,1),(121,1),(431,1),(472,1),(495,1)}
68:{1,4,5}:{(27,1),(35,1),(45,1),(47,1),(97,1),(103,1),(109,1),(119,1),(127,1),(222,1),(240,1),(243,1),(257,1),(300,1),(431,1),(472,1),(495,1),(719,1),(722,1)}
69:{1,4}:{(28,1),(38,1),(110,1)}
70:{1,5}:{(29,1),(36,1),(98,1),(121,1),(462,1)}
71:{1,4}:{(30,1),(36,1),(97,1),(125,1),(130,1)}
72:{1,3,6}:{(31,1),(36,1),(121,1),(122,1),(124,1),(125,1),(434,1),(459,1),(510,1)}
73:{1,2,5}:{(32,1),(35,1),(37,1),(101,1),(117,1),(118,1),(135,1),(136,1),(228,1),(251,1),(282,1),(300,1),(462,1),(472,1),(495,1),(512,1),(549,1),(820,1),(1150,1)}
74:{1,2}:{(33,1),(36,1),(123,1)}
75:{1,2,3,5,6}:{(34,1),(38,1),(49,1),(50,1),(101,1),(110,1),(117,1),(120,1),(126,1),(131,1),(135,1),(137,1),(138,1),(140,1),(144,1),(146,1),(227,1),(246,1),(250,1),(258,1),(262,1),(263,1),(274,1),(277,1),(282,1),(283,1),(287,1),(291,1),(293,1),(300,1),(303,1),(311,1),(459,1),(472,1),(495,1),(501,1),(508,1),(510,1),(514,1),(523,1),(527,1),(533,1),(534,1),(540,1),(548,1),(549,1),(550,1),(551,1),(560,1),(561,1),(562,1),(563,1),(733,1),(764,1),(771,1),(777,1),(783,1),(797,1),(816,1),(820,1),(830,1),(836,1),(849,1),(851,1),(860,1),(863,1),(1150,1),(1157,1)}
76:{3,5,6}:{(39,1),(101,1),(142,1),(262,1),(733,1),(816,1),(860,1)}
77:{5}:{(41,1)}
78:{5}:{(40,1)}
79:{3}:{(45,1)}
80:{1,3,5}:{(46,1),(110,1),(132,1),(262,1),(771,1),(836,1),(863,1)}
81:{3}:{(47,1)}
82:{2,3,6}:{(39,1),(43,1),(113,1),(144,1),(303,1),(514,1)}
83:{2,4,6}:{(40,1),(44,1),(111,1),(115,1),(136,1),(225,1),(252,1),(255,1),(475,1),(715,1),(785,1)}
84:{2,6}:{(41,1),(42,1),(135,1)}
85:{1,4,6}:{(40,1),(45,1),(48,1),(103,1),(133,1),(141,1),(223,1),(240,1),(252,1),(255,1),(256,1),(257,1),(280,1),(281,1),(496,1),(500,1),(527,1),(531,1),(533,1),(535,1),(715,1),(719,1),(720,1),(722,2),(1061,1),(1062,1),(1063,1),(1066,1),(1077,1),(1111,1),(1112,1),(1114,1),(1349,1),(1366,1)}
86:{1,4,6}:{(39,1),(46,1),(49,1),(144,1),(283,1),(722,1)}
87:{1,4,6}:{(41,1),(47,1),(50,1),(103,1),(134,1),(143,1),(146,1),(223,1),(240,1),(722,1)}
88:{1,2,5}:{(43,1),(46,1),(128,1),(144,1),(300,1),(549,1)}
89:{1,2,4}:{(44,1),(45,1),(127,1),(130,1),(139,1),(243,1),(257,1),(281,1),(451,1),(719,1),(795,1)}
90:{1,2}:{(42,1),(47,1),(140,1)}
91:{4,6}:{(52,1),(57,1),(149,1),(155,1),(316,1)}
92:{3,6}:{(53,1),(55,1),(156,1),(417,1)}
93:{3,4,6}:{(51,1),(55,1),(57,1),(148,1),(153,1),(157,1),(166,1),(169,1),(171,1),(174,1),(315,1),(366,1),(368,1),(371,1),(378,1),(416,1),(417,1),(584,1),(610,1),(644,1),(653,1),(956,1),(982,1)}
94:{2,3,5}:{(51,1),(62,1),(65,1),(150,1),(153,1),(163,1),(180,1),(323,1),(325,1),(332,1),(361,1),(380,1),(385,1),(598,1),(623,1),(911,1)}
95:{2}:{(52,1)}
96:{2,3,5}:{(53,1),(62,1),(65,1),(152,1),(154,1),(162,1),(321,1),(330,1),(601,1),(911,1)}
97:{1,5}:{(53,1),(71,1),(156,1),(430,1)}
98:{1,4}:{(52,1),(70,1),(159,1),(164,1),(335,1)}
99:{1,4,5}:{(51,1),(70,1),(71,1),(157,1),(160,1),(163,1),(190,1),(191,1),(192,1),(193,1),(333,1),(392,1),(393,1),(395,1),(398,1),(429,1),(430,1),(605,1),(618,1),(644,1),(677,1),(966,1),(1004,1)}
100:{5,6}:{(55,1),(77,1),(78,1),(321,1),(417,1),(610,1)}
101:{5}:{(56,1)}
102:{4,6}:{(54,1),(61,1),(165,1),(171,1),(417,1),(610,1)}
103:{4}:{(60,1),(180,1)}
104:{4}:{(64,1)}
105:{3,5}:{(58,1),(77,1),(78,1),(167,1),(191,1),(321,1),(879,1)}
106:{3,5}:{(54,1),(59,1),(171,1),(192,1)}
107:{3,4,6}:{(56,1),(59,1),(66,1),(168,1),(169,1),(170,1),(171,1),(194,1),(210,1),(211,1),(335,1),(366,1),(368,1),(378,1),(379,1),(416,1),(417,1),(610,1),(644,1),(653,1),(982,1)}
108:{3,5,6}:{(57,1),(60,1),(67,1),(149,1),(166,1),(174,1),(319,1),(601,1)}
109:{3,5}:{(68,1),(79,1),(81,1),(174,1),(175,1),(330,1),(866,1)}
110:{3}:{(69,1)}
111:{2,6}:{(55,1),(62,1),(417,1)}
112:{2,4,5}:{(54,1),(62,1),(63,1),(150,1),(152,1),(178,1),(179,1),(182,1),(206,1),(208,1),(321,1),(323,1),(364,1),(367,1),(380,1),(382,1),(591,1),(623,1),(889,1),(897,1),(911,1),(1221,1),(1254,1),(1539,1),(1541,1)}
113:{2,4,6}:{(56,1),(63,1),(82,1),(84,1),(178,1),(206,1),(207,1)}
114:{2,3,6}:{(57,1),(61,1),(64,1),(155,1),(169,1),(171,1),(201,1),(378,1),(610,1)}
115:{2,3,6}:{(58,1),(65,1),(83,1),(84,1),(180,1),(181,1),(202,1),(324,1),(361,1),(371,1),(911,1)}
116:{2,3,4}:{(59,1),(63,1),(65,1),(150,1),(152,1),(182,1),(186,1),(203,1),(210,1),(211,1),(330,1),(332,1),(373,1),(376,1),(383,1),(385,1),(598,1),(603,1),(889,1),(897,1),(911,1),(1244,1),(1287,1),(1539,1),(1550,1)}
117:{2,3,5}:{(60,1),(66,1),(73,1),(168,1),(170,1),(173,1),(180,1),(380,1),(385,1),(601,1),(911,1)}
118:{1,4,5}:{(54,1),(69,1),(73,1),(168,1),(173,1),(189,1),(190,1),(192,1),(206,1),(208,1),(316,1),(363,1),(392,1),(395,1),(398,1),(429,1),(430,1),(618,1),(644,1),(677,1),(1004,1)}
119:{1,4,6}:{(55,1),(67,1),(68,1),(156,1),(166,1),(174,1),(198,1),(368,1),(417,1)}
120:{1,4,6}:{(56,1),(69,1),(75,1),(168,1),(176,1),(188,1),(206,1),(207,1),(209,1),(211,1),(317,1),(334,1),(366,1),(368,1),(395,1),(398,1),(417,1),(419,1),(430,1),(644,1),(645,1),(676,1),(703,1),(707,1),(982,1),(1004,1),(1027,1)}
121:{1,6}:{(57,1),(70,1),(610,1),(618,1)}
122:{1,4,6}:{(58,1),(71,1),(72,1),(156,1),(191,1),(193,1),(202,1),(395,1),(430,1)}
123:{1,4}:{(59,1),(74,1),(192,1),(197,1),(430,1),(618,1)}
124:{1,3,5}:{(60,1),(70,1),(72,1),(159,1),(191,1),(193,1),(345,1),(601,1)}
125:{1,3}:{(71,1),(79,1),(81,1),(330,1),(430,1),(618,1)}
126:{1,2,5,6}:{(61,1),(67,1),(73,1),(165,1),(177,1),(184,1),(189,1),(198,1),(201,1),(392,1),(397,1),(417,1),(565,1),(610,1),(618,1),(677,1),(690,1),(693,1),(1297,1)}
127:{1,2,5}:{(62,1),(68,1),(89,1),(90,1),(180,1),(185,1),(198,1),(325,1),(362,1),(393,1),(911,1)}
128:{1,2,4}:{(63,1),(69,1),(88,1),(90,1),(186,1),(209,1),(211,1)}
129:{1,2,5}:{(64,1),(70,1),(74,1),(164,1),(190,1),(192,1),(201,1),(392,1),(618,1)}
130:{1,2}:{(65,1),(71,1),(430,1)}
131:{1,2,3,6}:{(66,1),(72,1),(74,1),(194,1),(197,1),(201,1),(202,1),(204,1),(205,1),(378,1),(401,1),(430,1),(568,1),(610,1),(618,1),(653,1),(690,1),(693,1),(1309,1)}
132:{1,3,4,6}:{(80,1),(86,1),(176,1),(209,1),(217,1),(398,1),(401,1),(430,1),(619,1),(620,1),(640,1),(682,1),(686,1),(707,1),(1027,1),(1287,1)}
133:{3,4,6}:{(79,1),(85,1),(174,1),(175,1),(210,1),(212,1),(215,1),(368,1),(371,1),(373,1),(378,1),(379,1),(416,1),(421,1),(584,1),(585,1),(644,1),(653,1),(655,1),(866,1),(892,1),(894,1),(982,1),(987,1),(1190,1),(1202,1),(1287,1)}
134:{3,4,6}:{(81,1),(87,1),(174,1),(175,1),(211,1),(214,1),(216,1),(368,1),(417,1),(419,1)}
135:{2,5}:{(77,1),(84,1),(206,1)}
136:{2,5}:{(78,1),(83,1),(208,1),(321,1),(879,1)}
137:{2,3,5,6}:{(76,1),(82,1),(178,1),(207,1),(220,1),(372,1),(387,1),(426,1),(928,1),(1221,1)}
138:{1,2,3,5}:{(80,1),(88,1),(186,1),(209,1),(217,1),(370,1),(387,1),(423,1),(962,1),(1287,1)}
139:{2,3}:{(79,1),(89,1),(210,1),(330,1),(866,1)}
140:{2,3}:{(81,1),(90,1),(211,1)}
141:{1,4,5}:{(78,1),(85,1),(167,1),(191,1),(208,1),(212,1),(219,1),(363,1),(364,1),(392,1),(393,1),(395,1),(421,1),(429,1),(605,1),(606,1),(642,1),(644,1),(677,1),(879,1),(887,1),(888,1),(1004,1),(1006,1),(1199,1),(1212,1),(1221,1)}
142:{1,4,5,6}:{(76,1),(86,1),(188,1),(207,1),(220,1),(366,1),(397,1),(417,1),(575,1),(609,1),(635,1),(641,1),(675,1),(703,1),(1027,1),(1221,1)}
143:{1,4,5}:{(77,1),(87,1),(167,1),(191,1),(206,1),(214,1),(218,1),(395,1),(419,1),(430,1)}
144:{1,2,6}:{(82,1),(86,1),(88,1),(417,1),(430,1),(911,1)}
145:{1,2,4,6}:{(83,1),(85,1),(89,1),(180,1),(198,1),(202,1),(215,1),(219,1),(324,1),(349,1),(362,1),(368,1),(381,1),(382,1),(383,1),(395,1),(407,1),(421,1),(574,1),(594,1),(632,1),(656,1),(690,1),(693,1),(694,1),(911,3),(912,1),(982,1),(1004,1),(1241,1),(1242,1),(1244,1),(1254,1),(1299,1),(1300,1),(1494,1),(1523,1)}
146:{1,2,6}:{(84,1),(87,1),(90,1),(180,1),(216,1),(218,1),(324,1),(362,1),(911,1),(1027,1)}
147:{3,5,6}:{(92,1),(100,1),(105,1),(223,1),(235,1),(434,1)}
148:{3,5,6}:{(93,1),(100,1),(105,1),(221,1),(234,1),(251,1),(495,1),(502,1),(508,1),(726,1),(1046,1),(1150,1)}
149:{5}:{(91,1)}
150:{2,4}:{(94,1),(104,1),(255,1),(257,1),(720,1),(807,1),(808,1),(820,1)}
151:{2,4}:{(95,1),(104,1),(232,1),(721,1),(807,1),(808,1),(820,1)}
152:{4}:{(96,1)}
153:{2,3,6}:{(93,1),(94,1),(111,1),(226,1),(247,1),(269,1),(514,1),(785,1),(820,1)}
154:{2,3,6}:{(92,1),(96,1),(111,1),(225,1),(246,1),(459,1)}
155:{2,6}:{(91,1),(95,1),(228,1)}
156:{1,6}:{(92,1),(97,1)}
157:{1,4,6}:{(93,1),(99,1),(121,1),(234,1),(237,1),(247,1),(283,1),(527,1),(533,1)}
158:{1,4,6}:{(91,1),(98,1),(121,1),(233,1),(236,1),(245,1),(435,1),(465,1),(468,1)}
159:{3}:{(98,1)}
160:{1,3,5}:{(99,1),(109,1),(125,1),(237,1),(241,1),(267,1),(508,1),(509,1),(510,1),(731,1),(1056,1),(1157,1)}
161:{1,3,5}:{(97,1),(109,1),(125,1),(238,1),(240,1),(431,1)}
162:{1,2,5}:{(96,1),(97,1),(130,1),(243,1),(246,1),(472,1)}
163:{1,2,5}:{(94,1),(99,1),(130,1),(242,1),(247,1),(295,1),(549,1),(795,1),(820,1)}
164:{1,2}:{(95,1),(98,1),(248,1)}
165:{5,6}:{(101,1),(102,1),(251,1)}
166:{4,6}:{(103,1),(108,1),(222,1),(269,1),(722,1)}
167:{4,5}:{(103,1),(105,1),(223,1),(255,1),(270,1),(722,1)}
168:{4}:{(117,1)}
169:{4,6}:{(104,1),(114,1),(251,1)}
170:{3,5}:{(101,1),(107,1),(251,1),(254,1),(282,1),(300,1),(462,1),(495,1),(1150,1)}
171:{3,6}:{(102,1),(106,1),(283,1)}
172:{3,4,5}:{(104,1),(106,1),(232,1),(251,1),(254,1),(259,1),(260,1),(267,1),(286,1),(443,1),(445,1),(447,1),(462,1),(502,1),(508,1),(509,1),(721,1),(727,1),(730,1),(736,1),(765,1),(807,1),(808,1),(1150,1),(1157,1)}
173:{3,5}:{(110,1),(118,1),(259,1),(263,1),(267,1),(303,1),(445,1),(510,1),(1157,1)}
174:{3,6}:{(109,1),(119,1)}
175:{3,4}:{(103,1),(109,1),(240,1),(257,1),(276,1),(722,1)}
176:{3,4,6}:{(110,1),(120,1),(259,1),(261,1),(262,1),(263,1),(277,1),(303,1),(448,1),(459,1),(499,1),(501,1),(510,1),(556,1),(722,1),(733,1),(816,1),(817,1),(860,1),(1066,1),(1157,1)}
177:{2,5,6}:{(100,1),(111,1),(135,1),(136,1),(252,1),(785,1),(1046,1)}
178:{2,5}:{(101,1),(113,1),(253,1)}
179:{2,4,6}:{(102,1),(111,1),(112,1),(225,1),(252,1),(268,1),(273,1),(496,1),(498,1),(514,1),(785,1),(1066,1)}
180:{2}:{(103,1)}
181:{2,3,5}:{(105,1),(115,1),(135,1),(136,1),(255,1),(270,1),(293,1),(303,1),(304,1),(510,1),(521,1)}
182:{2,3,5}:{(106,1),(112,1),(116,1),(230,1),(273,1),(294,1),(300,1),(301,1),(303,1),(304,1),(513,1),(521,1),(1087,1),(1093,1)}
183:{2,3,4,6}:{(107,1),(113,1),(115,1),(116,1),(225,1),(226,1),(255,1),(271,1),(272,1),(273,1),(277,1),(296,1),(303,1),(305,1),(308,1),(444,1),(446,1),(450,1),(459,1),(461,1),(475,1),(498,1),(499,1),(507,1),(510,1),(514,1),(520,1),(521,1),(526,1),(556,1),(715,1),(720,1),(722,1),(753,1),(759,1),(785,1),(807,1),(808,1),(816,1),(817,1),(820,1),(822,1),(827,1),(828,1),(830,1),(860,1),(1066,1),(1077,1),(1093,1),(1094,1),(1103,1),(1154,1),(1157,1),(1164,1),(1405,1),(1465,1),(1831,1)}
184:{2,3,5,6}:{(108,1),(114,1),(117,1),(126,1),(228,1),(251,1),(256,1),(258,1),(263,1),(269,1),(274,1),(445,1),(458,1),(495,1),(502,1),(508,1),(512,1),(514,1),(520,1),(818,1),(820,1),(830,1),(1090,1),(1150,1)}
185:{2,3,5}:{(109,1),(127,1),(139,1),(140,1),(257,1),(274,1),(276,1),(300,1),(301,1),(495,1),(513,1)}
186:{2,3}:{(110,1),(128,1),(261,1)}
187:{1,4,5,6}:{(100,1),(119,1),(141,1),(143,1),(221,1),(223,1),(234,1),(235,1),(252,1),(264,1),(290,1),(439,1),(441,1),(466,1),(467,1),(472,1),(495,1),(496,1),(500,1),(527,1),(529,1),(533,1),(722,1),(762,1),(764,1),(767,1),(771,1),(804,1),(832,1),(1046,1),(1061,1),(1062,1),(1114,1),(1150,1),(1170,1),(1349,1),(1377,1),(1421,1)}
188:{1,4,5}:{(101,1),(120,1),(253,1),(254,1),(262,1),(282,1),(291,1),(300,1),(441,1),(472,1),(495,1),(499,1),(534,1),(553,1),(722,1),(771,1),(805,1),(836,1),(863,1),(1114,1),(1150,1)}
189:{1,4,6}:{(102,1),(118,1),(126,1),(252,1),(256,1),(263,1),(283,1),(533,1),(719,1)}
190:{1,4}:{(104,1),(129,1),(267,1)}
191:{1,5}:{(105,1),(122,1)}
192:{1,5}:{(106,1),(123,1),(283,1)}
193:{1,4}:{(103,1),(124,1),(239,1),(295,1),(722,1)}
194:{1,4,6}:{(107,1),(123,1),(131,1),(280,1),(281,1),(282,1),(283,1),(527,1),(715,1)}
195:{1,3,5,6}:{(108,1),(121,1),(124,1),(233,1),(234,1),(236,1),(237,1),(284,1),(436,1),(437,1),(508,1),(1617,1),(1631,1)}
196:{1,3,4,6}:{(122,1),(125,1),(133,1),(134,1),(237,1),(238,1),(240,1),(241,1),(281,1),(288,1),(298,1),(439,1),(448,1),(459,1),(469,1),(470,1),(510,1),(527,1),(531,1),(533,1),(535,1),(537,1),(722,1),(733,1),(737,1),(777,1),(779,1),(841,1),(845,1),(1056,1),(1066,1),(1111,1),(1112,1),(1157,1),(1174,1),(1366,1),(1371,1),(1424,1)}
197:{1,3}:{(110,1),(123,1),(267,1)}
198:{1,2,6}:{(111,1),(119,1),(127,1),(269,1),(274,1),(527,1)}
199:{1,2,4,5}:{(112,1),(118,1),(127,1),(128,1),(242,1),(243,1),(257,1),(271,1),(275,1),(291,1),(292,1),(294,1),(300,1),(302,1),(313,1),(451,1),(463,1),(464,1),(471,1),(472,1),(476,1),(495,1),(499,1),(512,1),(513,1),(530,1),(538,1),(545,1),(549,1),(553,1),(719,1),(720,1),(722,1),(739,1),(786,1),(795,1),(805,1),(807,1),(808,1),(820,1),(821,1),(836,1),(848,1),(849,1),(852,1),(863,1),(1063,1),(1087,1),(1088,1),(1114,1),(1133,1),(1150,1),(1168,1),(1178,1),(1444,1),(1465,1),(1812,1)}
200:{1,2,4,6}:{(113,1),(120,1),(128,1),(144,1),(146,1),(271,1),(277,1),(291,1),(308,1),(313,1),(450,1),(476,1),(499,1),(514,1),(549,1),(783,1),(797,1),(820,1),(822,1),(848,1),(851,1),(1066,1),(1114,1)}
201:{1,2,6}:{(114,1),(121,1),(129,1),(279,1),(283,1),(820,1)}
202:{1,2,6}:{(115,1),(122,1),(130,1),(293,1),(295,1),(533,1)}
203:{1,2,4}:{(116,1),(123,1),(130,1),(243,1),(281,1),(294,1),(299,1),(535,1),(538,1),(549,1),(795,1),(1114,1)}
204:{1,2,3,5}:{(117,1),(124,1),(129,1),(131,1),(248,1),(267,1),(280,1),(282,1),(287,1),(293,1),(295,1),(462,1),(491,1),(508,1),(509,1),(510,1),(526,1),(545,1),(549,1),(820,1),(849,1),(859,1),(1144,1),(1157,1)}
205:{1,2,3}:{(125,1),(130,1),(139,1),(140,1),(281,1),(795,1),(1056,1)}
206:{4}:{(135,1),(303,1)}
207:{4,6}:{(137,1),(253,1),(499,1)}
208:{4,5}:{(136,1),(252,1),(255,1),(304,1)}
209:{1,4}:{(138,1),(261,1),(499,1)}
210:{3,4}:{(139,1),(257,1),(281,1),(301,1)}
211:{4}:{(140,1),(300,1)}
212:{3,5}:{(133,1),(141,1),(495,1),(510,1),(1150,1),(1157,1)}
213:{1,3,4,5,6}:{(132,1),(142,1),(262,1),(302,1),(305,1),(309,1),(499,1),(501,1),(506,1),(534,1),(536,1),(540,1),(722,1),(725,1),(733,1),(771,1),(776,1),(799,1),(805,1),(806,1),(809,1),(811,1),(816,1),(817,1),(835,1),(836,1),(838,1),(839,1),(840,1),(843,1),(860,1),(863,1),(1061,1),(1062,1),(1066,1),(1070,1),(1081,1),(1111,1),(1112,1),(1114,1),(1121,1),(1150,1),(1155,2),(1156,1),(1157,1),(1167,1),(1170,1),(1171,1),(1172,1),(1174,1),(1177,1),(1346,1),(1364,1),(1386,1),(1418,2),(1419,1),(1421,1),(1424,1),(1433,1),(1465,1),(1466,1),(1474,1),(1475,1),(1622,1),(1630,1)}
214:{3,5}:{(134,1),(143,1),(300,1),(303,1),(495,1),(510,1)}
215:{2,3,6}:{(133,1),(139,1),(145,1),(276,1),(310,1),(459,1),(510,1),(521,1),(526,1),(761,1),(820,1),(1093,1),(1094,1),(1157,1),(1356,1)}
216:{2,3,6}:{(134,1),(140,1),(146,1),(276,1),(308,1),(311,1),(860,1)}
217:{1,2,3,6}:{(132,1),(138,1),(144,1),(277,1),(307,1),(501,1),(549,1),(563,1),(797,1),(802,1)}
218:{1,2,5}:{(135,1),(143,1),(146,1),(270,1),(311,1),(313,1),(863,1)}
219:{1,2,5}:{(136,1),(141,1),(145,1),(270,1),(310,1),(472,1),(495,1),(512,1),(513,1),(740,1),(820,1),(1087,1),(1088,1),(1150,1),(1359,1)}
220:{1,2,5,6}:{(137,1),(142,1),(144,1),(291,1),(312,1),(514,1),(534,1),(561,1),(742,1),(783,1)}
221:{4,5,6}:{(148,1),(166,1),(167,1),(315,1),(326,1),(363,1),(366,1),(644,1),(887,1)}
222:{4,5}:{(149,1),(166,1),(316,1),(319,1),(325,1),(595,1)}
223:{4,6}:{(147,1),(167,1),(324,1)}
224:{2,4,6}:{(151,1),(155,1),(169,1),(316,1),(322,1),(329,1),(576,1),(982,1)}
225:{4,6}:{(152,1),(154,1),(321,1)}
226:{2,4,6}:{(150,1),(153,1),(169,1),(315,1),(323,1),(368,1),(982,1)}
227:{2,3,5,6}:{(147,1),(154,1),(177,1),(181,1),(317,1),(321,1),(324,1),(352,1),(371,1),(568,1),(578,1),(585,1),(591,1),(596,1),(601,1),(879,1),(911,1),(924,1),(1203,1),(1494,1),(1742,1),(1870,1)}
228:{2,5}:{(149,1),(155,1),(316,1)}
229:{2,3,5,6}:{(148,1),(153,1),(177,1),(181,1),(315,1),(323,1),(326,1),(351,1),(371,1),(579,1),(584,1),(597,1),(600,1),(663,1)}
230:{3,4,5}:{(152,1),(182,1),(321,1),(327,1),(330,1),(355,1),(364,1),(367,1),(373,1),(376,1),(578,1),(581,1),(601,1),(646,1),(654,1),(706,1),(888,1),(889,1),(892,1),(897,1),(1221,1),(1287,1)}
231:{2,3,4,5}:{(150,1),(172,1),(182,1),(323,1),(328,1),(332,1),(356,1),(364,1),(367,1),(373,1),(376,1),(380,1),(385,1),(579,1),(582,1),(592,1),(598,1),(600,1),(604,1),(623,1),(646,1),(654,1),(658,1),(661,1),(663,1),(664,1),(665,1),(668,1),(670,1),(705,1),(706,1),(870,1),(876,1),(887,1),(889,1),(890,1),(894,1),(895,1),(897,1),(910,1),(911,1),(914,1),(915,1),(921,1),(922,1),(925,1),(926,1),(980,1),(981,1),(986,1),(991,1),(996,1),(1001,1),(1193,1),(1195,1),(1196,1),(1221,1),(1238,1),(1244,1),(1246,1),(1247,1),(1253,1),(1254,1),(1287,1),(1313,1),(1314,1),(1316,1),(1317,1),(1321,1),(1485,1),(1520,1),(1538,1),(1539,1),(1541,1),(1550,1),(1851,1)}
232:{2,3,5}:{(151,1),(172,1),(322,1),(329,1),(331,1),(354,1),(380,1),(385,1),(875,1),(880,1)}
233:{1,5}:{(149,1),(158,1),(339,1),(607,1)}
234:{1,5,6}:{(148,1),(157,1),(191,1),(392,1),(605,1),(677,1)}
235:{1,5,6}:{(147,1),(156,1),(191,1),(336,1),(879,1)}
236:{3,6}:{(158,1),(159,1),(339,1),(586,1)}
237:{1,3,6}:{(157,1),(160,1),(174,1),(378,1),(584,1),(653,1)}
238:{1,3,6}:{(156,1),(161,1),(174,1),(343,1),(866,1)}
239:{3,4}:{(159,1),(193,1),(335,1),(345,1),(361,1),(634,1)}
240:{1,4}:{(161,1),(175,1),(362,1)}
241:{1,3,4}:{(160,1),(175,1),(193,1),(333,1),(360,1),(379,1),(398,1),(644,1),(894,1)}
242:{1,2,4}:{(150,1),(163,1),(190,1),(332,1),(333,1),(395,1),(1004,1)}
243:{1,4}:{(152,1),(162,1),(330,1)}
244:{1,2,4}:{(151,1),(164,1),(190,1),(331,1),(335,1),(354,1),(621,1),(1004,1)}
245:{1,2,6}:{(155,1),(158,1),(164,1),(353,1),(358,1),(569,1),(1280,1)}
246:{1,2,6}:{(154,1),(156,1),(162,1),(349,1),(911,1)}
247:{1,2,6}:{(153,1),(157,1),(163,1)}
248:{2,3}:{(159,1),(164,1),(335,1)}
249:{1,2,3,5}:{(160,1),(163,1),(185,1),(205,1),(332,1),(333,1),(357,1),(360,1),(393,1),(582,1),(600,1),(605,1),(624,1),(670,1)}
250:{1,2,3,5}:{(161,1),(162,1),(185,1),(205,1),(330,1),(334,1),(359,1),(362,1),(393,1),(565,1),(581,1),(601,1),(603,1),(606,1),(625,1),(866,1),(911,1),(920,1),(1218,1),(1523,1),(1731,1),(1872,1)}
251:{5}:{(169,1)}
252:{4,6}:{(177,1),(206,1),(208,1),(371,1)}
253:{4,5}:{(178,1),(206,1),(207,1),(372,1),(1221,1)}
254:{4,5}:{(168,1),(170,1),(366,1),(380,1),(644,1)}
255:{4}:{(181,1)}
256:{4,6}:{(168,1),(184,1),(316,1),(363,1),(595,1),(644,1)}
257:{4}:{(185,1)}
258:{3,5,6}:{(165,1),(170,1),(171,1),(366,1),(397,1),(416,1),(417,1),(610,1),(641,1),(653,1)}
259:{3,4}:{(168,1),(173,1),(385,1),(398,1),(644,1)}
260:{3,4,6}:{(169,1),(171,1),(172,1),(329,1),(366,1),(369,1),(378,1),(399,1),(576,1),(610,1),(644,1),(653,1),(906,1),(932,1),(982,1)}
261:{3,4}:{(186,1),(209,1),(211,1),(370,1),(1287,1)}
262:{3,5}:{(176,1),(188,1),(1221,1),(1287,1)}
263:{3,6}:{(173,1),(189,1),(866,1)}
264:{3,5,6}:{(174,1),(187,1),(212,1),(214,1),(320,1),(371,1),(416,1),(417,1),(578,1),(584,1),(585,1),(601,1),(641,1),(653,1),(902,1),(987,1),(1221,1),(1287,1),(1566,1)}
265:{3,4,6}:{(166,1),(174,1),(175,1),(319,1),(343,1),(368,1),(390,1),(595,1),(866,1)}
266:{3,4,5}:{(167,1),(175,1),(212,1),(214,1),(320,1),(346,1),(364,1),(373,1),(391,1),(419,1),(421,1),(578,1),(581,1),(642,1),(644,1),(655,1),(706,1),(887,1),(888,1),(889,1),(892,1),(894,1),(897,1),(902,1),(1190,1),(1193,1),(1199,1),(1221,1),(1287,1)}
267:{3}:{(190,1)}
268:{2,5,6}:{(165,1),(178,1),(179,1),(321,1),(323,1),(365,1),(591,1),(641,1),(1221,1),(1494,1),(1541,1)}
269:{2,6}:{(166,1),(180,1),(325,1),(911,1)}
270:{2,5}:{(167,1),(180,1),(324,1),(382,1),(911,1)}
271:{2,4}:{(168,1),(180,1),(380,1),(385,1),(911,1)}
272:{2,3,5}:{(170,1),(178,1),(183,1),(321,1),(323,1),(367,1),(372,1),(380,1),(409,1),(422,1),(578,1),(579,1),(591,1),(601,1),(623,1),(646,1),(654,1),(706,1),(879,1),(911,1),(926,1),(991,1),(1221,1),(1314,1),(1541,1),(1870,1)}
273:{2,3,6}:{(171,1),(179,1),(182,1),(327,1),(371,1),(410,1),(416,1),(417,1),(656,1),(911,1),(1242,1)}
274:{2,3,6}:{(174,1),(185,1),(198,1),(368,1),(416,1),(417,1),(656,1)}
275:{2,3,5}:{(173,1),(186,1),(199,1),(330,1),(332,1),(370,1),(376,1),(385,1),(389,1),(427,1),(581,1),(582,1),(598,1),(601,1),(603,1),(646,1),(654,1),(706,1),(866,1),(911,1),(915,1),(1001,1),(1287,1),(1316,1),(1550,1),(1872,1)}
276:{2,3}:{(175,1),(180,1),(362,1),(383,1),(911,1)}
277:{2,3,6}:{(176,1),(186,1),(200,1),(385,1),(387,1),(427,1),(603,1),(911,1),(1001,1),(1287,1)}
278:{1,4,5,6}:{(165,1),(188,1),(189,1),(363,1),(365,1),(366,1),(377,1),(392,1),(397,1),(404,1),(417,1),(418,1),(609,1),(613,1),(641,1),(644,1),(645,1),(675,1),(677,1),(678,1),(680,1),(703,1),(877,1),(908,1),(979,1),(1002,1),(1004,1),(1005,1),(1027,1),(1221,1),(1297,1),(1325,1)}
279:{1,4,6}:{(169,1),(190,1),(201,1),(378,1),(392,1),(644,1)}
280:{1,4}:{(168,1),(204,1),(335,1),(379,1),(634,1),(644,1)}
281:{1,4}:{(205,1),(210,1),(211,1),(393,1)}
282:{1,5}:{(170,1),(194,1),(879,1)}
283:{1,6}:{(171,1),(192,1)}
284:{1,4,6}:{(166,1),(193,1),(195,1),(338,1),(344,1),(411,1),(644,1),(1280,1)}
285:{1,4,5}:{(167,1),(191,1),(193,1),(336,1),(345,1),(395,1),(412,1),(634,1),(879,1)}
286:{1,4,5}:{(172,1),(190,1),(192,1),(354,1),(392,1),(398,1),(399,1),(402,1),(618,1),(621,1),(644,1),(677,1),(942,1),(949,1),(1004,1)}
287:{1,3,5}:{(173,1),(192,1),(197,1),(398,1),(401,1),(429,1),(430,1),(618,1),(677,1),(686,1)}
288:{1,3,5}:{(191,1),(196,1),(212,1),(214,1),(346,1),(393,1),(429,1),(430,1),(581,1),(601,1),(605,1),(606,1),(677,1),(686,1),(902,1),(1006,1),(1221,1),(1287,1),(1558,1)}
289:{1,3,4,6}:{(176,1),(194,1),(197,1),(378,1),(379,1),(398,1),(400,1),(401,1),(403,1),(415,1),(428,1),(430,1),(587,1),(619,1),(644,1),(653,1),(676,1),(680,1),(682,1),(683,1),(686,1),(707,1),(873,1),(977,1),(982,1),(990,1),(1012,1),(1013,1),(1027,1),(1287,1),(1309,1),(1328,1)}
290:{1,2,5,6}:{(177,1),(187,1),(198,1),(218,1),(219,1),(324,1),(326,1),(388,1),(405,1),(574,1),(591,1),(656,1),(690,1),(882,1),(907,1),(911,1),(962,1),(1006,1),(1027,1),(1241,1),(1242,1),(1494,1)}
291:{1,2,5}:{(178,1),(188,1),(200,1),(380,1),(387,1),(422,1),(591,1),(911,1),(991,1),(1221,1)}
292:{1,2,4,6}:{(179,1),(189,1),(198,1),(199,1),(349,1),(368,1),(381,1),(389,1),(404,1),(410,1),(417,1),(418,1),(608,1),(609,1),(645,1),(656,1),(675,1),(682,1),(690,1),(693,1),(703,1),(908,1),(911,1),(982,1),(992,1),(1004,1),(1022,1),(1027,1),(1241,1),(1242,1),(1297,1),(1325,1)}
293:{1,2,5}:{(181,1),(191,1),(202,1),(395,1),(429,1),(430,1),(694,1)}
294:{1,2,5}:{(182,1),(192,1),(203,1),(355,1),(393,1),(410,1),(429,1),(430,1),(694,1),(911,1),(1299,1)}
295:{1,2}:{(180,1),(193,1),(361,1),(911,1)}
296:{1,2,4,6}:{(183,1),(194,1),(202,1),(203,1),(349,1),(395,1),(407,1),(409,1),(410,1),(415,1),(428,1),(430,1),(617,1),(619,1),(675,1),(676,1),(682,1),(690,1),(693,1),(694,1),(707,1),(911,1),(977,1),(982,1),(1004,1),(1021,1),(1023,1),(1027,1),(1299,1),(1300,1),(1309,1),(1328,1)}
297:{1,2,3,5,6}:{(184,1),(195,1),(201,1),(204,1),(351,1),(353,1),(357,1),(358,1),(378,1),(392,1),(396,1),(397,1),(401,1),(411,1),(571,1),(572,1),(584,1),(586,1),(599,1),(600,1),(605,1),(607,1),(610,1),(618,1),(636,1),(638,1),(652,1),(653,1),(671,1),(677,1),(684,1),(689,1),(690,1),(693,1),(898,1),(899,1),(906,1),(942,1),(943,1),(945,1),(954,1),(972,1),(999,1),(1014,1),(1024,1),(1206,1),(1213,1),(1241,1),(1243,1),(1280,1),(1297,1),(1298,1),(1300,1),(1306,1),(1309,1),(1310,1),(1532,1),(1560,1)}
298:{1,2,3,6}:{(196,1),(202,1),(205,1),(215,1),(216,1),(360,1),(362,1),(408,1),(413,1),(574,1),(603,1),(693,1),(694,1),(867,1),(911,1),(928,1),(978,1),(987,1),(1027,1),(1299,1),(1300,1),(1523,1)}
299:{1,2,3}:{(186,1),(197,1),(203,1),(330,1),(332,1),(403,1),(603,1),(686,1),(1287,1),(1523,1),(1550,1)}
300:{5}:{(211,1),(417,1)}
301:{3,5}:{(210,1),(364,1),(393,1),(416,1)}
302:{1,4,5}:{(209,1),(370,1),(418,1),(423,1),(643,1)}
303:{3}:{(206,1),(430,1)}
304:{3,5}:{(208,1),(371,1),(373,1),(429,1)}
305:{3,4,6}:{(207,1),(372,1),(426,1),(428,1),(650,1)}
306:{2,3,4,6}:{(210,1),(215,1),(368,1),(383,1),(408,1),(416,1),(421,1),(424,1),(587,1),(588,1),(594,1),(602,1),(603,1),(651,1),(655,1),(656,1),(668,1),(701,1),(867,1),(889,1),(911,1),(912,1),(928,1),(929,1),(982,1),(987,1),(995,1),(1193,1),(1232,1),(1241,1),(1242,1),(1244,1),(1495,1)}
307:{1,2,4,6}:{(209,1),(217,1),(386,1),(418,1),(423,1),(682,1),(695,1),(707,1),(1022,1),(1027,1)}
308:{2,4,6}:{(211,1),(216,1),(368,1),(383,1),(417,1),(419,1),(422,1),(656,1),(703,1)}
309:{1,2,3,5,6}:{(213,1),(217,1),(220,1),(387,1),(420,1),(423,1),(426,1),(662,1),(666,1),(692,1),(699,1),(704,1),(911,1),(918,1),(928,1),(962,1),(969,1),(991,1),(1001,1),(1021,1),(1022,1),(1027,1),(1209,1),(1216,1),(1221,1),(1241,1),(1242,1),(1247,1),(1287,1),(1296,1),(1299,1),(1300,1),(1308,1),(1321,1),(1323,1),(1332,1),(1335,1),(1338,1),(1558,1),(1566,1),(1574,1),(1576,2),(1725,1),(1743,1)}
310:{2,3,5}:{(212,1),(215,1),(219,1),(421,1),(601,1),(911,1)}
311:{2,3,5}:{(214,1),(216,1),(218,1),(419,1),(422,1),(427,1),(706,1)}
312:{1,2,4,6}:{(207,1),(220,1),(406,1),(426,1),(428,1),(660,1),(675,1),(703,1),(1021,1),(1027,1)}
313:{1,2,4}:{(206,1),(218,1),(382,1),(395,1),(419,1),(427,1),(430,1),(694,1),(707,1)}
314:{1,2,4,5}:{(208,1),(219,1),(382,1),(395,1),(405,1),(421,1),(425,1),(429,1),(590,1),(591,1),(612,1),(613,1),(632,1),(642,1),(658,1),(673,1),(694,1),(709,1),(882,1),(897,1),(911,1),(912,1),(961,1),(962,1),(1004,1),(1006,1),(1019,1),(1193,1),(1254,1),(1272,1),(1299,1),(1300,1),(1529,1)}
315:{4,6}:{(229,1),(255,1),(442,1),(720,1),(807,1)}
316:{4}:{(228,1),(445,1)}
317:{4,6}:{(227,1),(255,1),(441,1),(722,1),(1077,1)}
318:{3,4,5,6}:{(221,1),(264,1),(265,1),(266,1),(440,1),(446,1),(457,1),(495,1),(496,1),(500,1),(502,1),(506,1),(722,1),(728,1),(733,1),(735,1),(739,1),(804,1),(805,1),(807,1),(809,1),(810,1),(860,1),(862,1),(1031,1),(1061,1),(1062,2),(1063,1),(1066,1),(1070,1),(1073,1),(1081,1),(1090,1),(1150,1),(1151,1),(1155,1),(1157,1),(1342,1),(1346,1),(1383,1),(1386,1),(1465,1),(1466,1)}
319:{3,5}:{(222,1),(265,1),(431,1),(445,1),(495,1)}
320:{3,4,6}:{(223,1),(264,1),(266,1),(439,1),(456,1),(496,1),(500,1),(722,1),(733,1),(860,1),(1061,1),(1062,1),(1066,1),(1349,1)}
321:{5}:{(225,1)}
322:{2,5}:{(224,1),(251,1),(443,1),(1150,1)}
323:{2,5}:{(226,1),(251,1),(442,1),(495,1),(1150,1)}
324:{2,6}:{(223,1),(270,1)}
325:{2,5}:{(222,1),(269,1),(451,1)}
326:{2,5,6}:{(221,1),(269,1),(270,1),(452,1),(512,1),(514,1),(820,1),(1088,1)}
327:{3,4,6}:{(225,1),(230,1),(273,1),(454,1),(459,1),(481,1),(496,1),(498,1),(722,1),(733,1),(816,1),(860,1),(1062,1),(1066,1)}
328:{2,3,4,6}:{(226,1),(231,1),(260,1),(273,1),(446,1),(453,1),(461,1),(482,1),(496,1),(498,1),(507,1),(514,1),(520,1),(720,1),(732,1),(743,1),(785,1),(807,1),(816,1),(819,1),(820,1),(822,1),(825,1),(827,1),(830,1),(860,1),(862,1),(1048,1),(1061,1),(1066,1),(1067,1),(1084,1),(1090,1),(1094,1),(1103,1),(1104,1),(1105,1),(1151,1),(1152,1),(1154,1),(1157,1),(1163,1),(1164,1),(1344,1),(1346,1),(1347,1),(1397,1),(1399,1),(1405,1),(1465,1),(1466,1)}
329:{2,3,6}:{(224,1),(232,1),(260,1),(445,1),(480,1),(514,1),(820,1),(1042,1)}
330:{3}:{(243,1)}
331:{2,3}:{(244,1),(267,1),(447,1),(1157,1)}
332:{2,3}:{(242,1),(267,1),(449,1),(510,1),(1157,1)}
333:{1,4}:{(249,1),(257,1),(449,1),(720,1),(808,1)}
334:{1,4}:{(250,1),(257,1),(448,1),(722,1),(1063,1)}
335:{4}:{(248,1),(462,1)}
336:{1,4,6}:{(223,1),(235,1),(285,1),(434,1),(479,1),(715,1)}
337:{1,4,5,6}:{(221,1),(234,1),(284,1),(285,1),(437,1),(467,1),(477,1),(528,1),(529,1),(710,1),(1046,1),(1060,1),(1119,1),(1150,1),(1382,1),(1414,1),(1617,1)}
338:{1,4,5}:{(222,1),(233,1),(284,1),(433,1),(436,1),(465,1),(478,1),(711,1),(1113,1),(1122,1)}
339:{3,5}:{(233,1),(236,1),(435,1)}
340:{1,3,5,6}:{(234,1),(237,1),(264,1),(288,1),(439,1),(508,1),(527,1),(533,1),(733,1),(764,1),(771,1),(777,1),(1170,1),(1174,1)}
341:{1,3,5,6}:{(235,1),(238,1),(264,1),(288,1),(438,1),(440,1),(527,1),(533,1),(733,1),(762,1),(771,1),(779,1),(1031,1),(1033,1),(1081,1),(1121,1),(1150,1),(1155,1),(1157,1),(1170,1),(1174,1),(1371,1),(1377,1),(1385,1),(1434,1),(1466,1),(1474,1)}
342:{1,3,4,6}:{(237,1),(241,1),(265,1),(284,1),(436,1),(470,1),(488,1),(511,1),(537,1),(711,1),(1056,1),(1113,1),(1123,1),(1157,1),(1426,1),(1436,1),(1631,1)}
343:{1,4,6}:{(238,1),(240,1),(265,1),(431,1),(486,1),(719,1)}
344:{3,4,6}:{(236,1),(239,1),(284,1),(433,1),(437,1),(468,1),(487,1),(710,1),(1060,1),(1082,1)}
345:{3,5}:{(239,1),(285,1),(434,1),(462,1),(510,1)}
346:{1,4,5}:{(240,1),(266,1),(288,1),(439,1),(490,1),(531,1),(535,1),(722,1),(771,1),(863,1),(1111,1),(1112,1),(1114,1),(1366,1)}
347:{1,3,4,5}:{(241,1),(266,1),(285,1),(288,1),(438,1),(464,1),(489,1),(509,1),(510,1),(531,1),(535,1),(536,1),(722,1),(729,1),(759,1),(766,1),(771,1),(808,1),(814,1),(817,1),(843,1),(845,1),(863,1),(865,1),(1033,1),(1070,1),(1077,1),(1079,1),(1111,2),(1112,1),(1114,1),(1121,1),(1144,1),(1150,1),(1155,1),(1157,1),(1173,1),(1361,1),(1364,1),(1433,1),(1437,1),(1465,1),(1474,1)}
348:{1,2,4,6}:{(224,1),(244,1),(245,1),(279,1),(460,1),(465,1),(468,1),(473,1),(480,1),(714,1),(721,1),(768,1),(782,1),(820,1),(1042,1),(1051,1),(1350,1),(1365,1),(1378,1)}
349:{1,4,6}:{(225,1),(243,1),(246,1),(459,1),(472,1),(722,1)}
350:{1,2,4,6}:{(226,1),(242,1),(247,1),(279,1),(461,1),(467,1),(470,1),(471,1),(720,1),(820,1)}
351:{1,2,5,6}:{(229,1),(234,1),(247,1),(293,1),(467,1),(471,1),(533,1),(773,1),(796,1),(849,1)}
352:{1,2,5,6}:{(227,1),(235,1),(246,1),(293,1),(466,1),(472,1),(479,1),(533,1),(771,1),(789,1),(797,1),(1377,1),(1636,1)}
353:{1,2,5}:{(228,1),(233,1),(245,1),(465,1),(485,1),(1051,1),(1122,1)}
354:{1,2,5}:{(232,1),(244,1),(286,1),(462,1),(480,1),(549,1),(820,1),(1051,1)}
355:{1,4,5}:{(230,1),(243,1),(294,1),(472,1),(481,1),(494,1),(535,1),(538,1),(722,1),(771,1),(836,1),(863,1),(1111,1),(1114,1)}
356:{1,2,4,5}:{(231,1),(242,1),(286,1),(294,1),(464,1),(471,1),(482,1),(492,1),(530,1),(535,1),(538,1),(545,1),(549,1),(720,1),(773,1),(795,1),(801,1),(808,1),(820,1),(836,1),(848,1),(849,1),(850,1),(852,1),(854,1),(863,1),(865,1),(1053,1),(1088,1),(1110,1),(1112,1),(1114,1),(1115,1),(1132,1),(1133,1),(1140,1),(1144,1),(1150,1),(1168,1),(1169,1),(1173,1),(1178,1),(1184,1),(1363,1),(1364,1),(1368,1),(1444,1),(1447,1),(1453,1),(1465,1),(1474,1)}
357:{1,2,3,6}:{(237,1),(247,1),(249,1),(274,1),(461,1),(470,1),(527,1),(732,1),(784,1),(830,1)}
358:{2,3,6}:{(236,1),(245,1),(248,1),(468,1),(485,1),(1042,1),(1082,1)}
359:{1,2,3,6}:{(238,1),(246,1),(250,1),(274,1),(459,1),(469,1),(486,1),(527,1),(733,1),(756,1),(783,1),(1371,1),(1638,1)}
360:{1,2,3}:{(241,1),(276,1),(295,1),(474,1),(526,1),(549,1),(820,1),(1094,1)}
361:{2,3}:{(239,1),(295,1),(475,1)}
362:{1,2}:{(240,1),(276,1)}
363:{4,5}:{(251,1),(256,1),(495,1),(502,1),(512,1),(807,1),(1150,1)}
364:{4,5}:{(257,1),(300,1),(301,1),(495,1),(496,1),(513,1)}
365:{4,5,6}:{(252,1),(253,1),(268,1),(441,1),(442,1),(498,1),(503,1),(1046,1),(1150,1),(1349,1),(1388,1)}
366:{4,6}:{(254,1),(258,1),(514,1)}
367:{4,5}:{(255,1),(272,1),(498,1),(499,1),(720,1),(722,1),(807,1),(808,1),(1077,1),(1150,1),(1465,1)}
368:{4,6}:{(257,1),(274,1),(495,1)}
369:{3,5,6}:{(251,1),(260,1),(497,1),(502,1),(508,1),(532,1),(727,1),(763,1),(1090,1),(1150,1)}
370:{3,5}:{(261,1),(300,1),(302,1),(501,1)}
371:{3,6}:{(252,1),(303,1),(304,1),(533,1)}
372:{3,5}:{(253,1),(303,1),(305,1),(534,1)}
373:{3,4}:{(255,1),(303,1),(304,1),(510,1),(521,1),(535,1)}
374:{3,4,5}:{(254,1),(259,1),(262,1),(499,1),(502,1),(506,1),(509,1),(519,1),(536,1),(722,1),(805,1),(807,1),(808,1),(817,1),(1150,1),(1155,1),(1157,1),(1465,1)}
375:{3,4,6}:{(256,1),(259,1),(263,1),(445,1),(502,1),(520,1),(537,1),(748,1),(807,1),(1090,1),(1157,1)}
376:{3,4}:{(257,1),(275,1),(499,1),(538,1),(720,1),(722,1),(807,1),(808,1),(1063,1),(1157,1),(1465,1)}
377:{3,5,6}:{(262,1),(263,1),(278,1),(501,1),(502,1),(506,1),(508,1),(731,1),(733,1),(816,1),(860,1),(1031,1),(1090,1),(1150,1),(1155,1),(1157,1),(1466,1)}
378:{3,6}:{(267,1),(279,1),(508,1)}
379:{3,4}:{(267,1),(280,1),(509,1),(510,1),(526,1),(808,1),(1157,1)}
380:{2,5}:{(254,1),(271,1),(514,1),(820,1)}
381:{2,4,6}:{(256,1),(269,1),(271,1),(451,1),(512,1),(514,1),(520,1),(807,1),(820,1)}
382:{2,4}:{(255,1),(270,1),(521,1)}
383:{2,4}:{(257,1),(276,1),(513,1)}
384:{2,3,5,6}:{(258,1),(268,1),(272,1),(273,1),(454,1),(498,1),(503,1),(514,1),(548,1),(561,1),(742,1),(745,1),(785,1),(816,1),(827,1),(830,1),(860,1),(1046,1),(1103,1),(1150,1)}
385:{2,3}:{(259,1),(271,1),(549,1),(820,1)}
386:{2,3,4,6}:{(261,1),(277,1),(307,1),(308,1),(499,1),(501,1),(507,1),(518,1),(522,1),(556,1),(806,1),(822,1),(825,1),(860,1),(1066,1)}
387:{2,3,5}:{(262,1),(277,1),(291,1),(499,1)}
388:{2,3,5,6}:{(264,1),(274,1),(290,1),(310,1),(311,1),(456,1),(495,1),(500,1),(524,1),(561,1),(740,1),(745,1),(810,1),(830,1),(860,1),(1036,1),(1150,1)}
389:{2,3,6}:{(263,1),(275,1),(292,1),(459,1),(501,1),(507,1),(732,1),(733,1),(816,1),(860,1),(1090,1),(1157,1),(1466,1)}
390:{2,3,6}:{(265,1),(269,1),(276,1),(458,1),(486,1),(516,1),(1090,1)}
391:{2,3,5}:{(266,1),(270,1),(276,1),(456,1),(490,1),(513,1),(517,1),(521,1),(740,1),(761,1),(820,1),(1087,1),(1088,1),(1093,1),(1094,1),(1356,1),(1359,1)}
392:{1,5}:{(251,1),(279,1),(508,1)}
393:{1,5}:{(281,1),(300,1),(301,1),(527,1)}
394:{1,4,5}:{(254,1),(280,1),(282,1),(462,1),(509,1),(529,1),(545,1),(792,1),(808,1),(1144,1),(1150,1)}
395:{1,4}:{(255,1),(293,1),(510,1)}
396:{1,4,6}:{(256,1),(280,1),(297,1),(465,1),(468,1),(511,1),(528,1),(710,1),(711,1),(720,1),(721,1),(1060,1),(1061,1),(1112,1),(1113,1),(1152,1),(1169,1)}
397:{1,5,6}:{(258,1),(282,1),(283,1),(527,1),(529,1),(1046,1),(1150,1)}
398:{1,4}:{(259,1),(287,1),(549,1)}
399:{1,4,6}:{(260,1),(283,1),(286,1),(480,1),(532,1),(541,1)}
400:{1,3,5}:{(262,1),(282,1),(289,1),(508,1),(509,1),(534,1),(536,1),(726,1),(771,1),(836,1),(863,1),(1033,1),(1144,1),(1150,1),(1155,1),(1157,1),(1474,1)}
401:{1,3,6}:{(263,1),(283,1),(287,1),(533,1),(537,1),(1056,1),(1157,1)}
402:{1,3,5}:{(267,1),(286,1),(508,1),(509,1),(541,1),(542,1),(730,1),(778,1),(1144,1),(1157,1)}
403:{1,3,4}:{(261,1),(281,1),(299,1),(448,1),(449,1),(538,1),(539,1),(1056,1),(1157,1),(1366,1),(1395,1)}
404:{1,2,5,6}:{(268,1),(278,1),(291,1),(292,1),(471,1),(472,1),(495,1),(512,1),(514,1),(523,1),(561,1),(762,1),(764,1),(783,1),(786,1),(818,1),(820,1),(836,1),(849,1),(851,1),(1150,1),(1158,1),(1178,1)}
405:{1,2,4,6}:{(252,1),(290,1),(313,1),(314,1),(450,1),(452,1),(466,1),(467,1),(500,1),(524,1),(533,1),(796,1),(797,1),(819,1),(832,1),(841,1),(1114,1),(1183,1),(1421,1)}
406:{1,2,4,5}:{(253,1),(291,1),(312,1),(313,1),(499,1),(515,1),(525,1),(530,1),(534,1),(553,1),(840,1),(848,1),(850,1),(863,1),(1114,1)}
407:{1,2,4}:{(271,1),(280,1),(295,1),(475,1),(526,1),(545,1),(549,1),(808,1),(820,1)}
408:{1,2,4,6}:{(281,1),(298,1),(306,1),(308,1),(469,1),(470,1),(474,1),(476,1),(527,1),(531,1),(543,1),(783,1),(784,1),(832,1),(841,1),(854,1),(1066,1),(1183,1),(1424,1)}
409:{1,2,5}:{(272,1),(282,1),(296,1),(472,1),(530,1),(534,1),(771,1),(773,1),(836,1),(863,1),(1144,1),(1150,1),(1474,1)}
410:{1,2,6}:{(273,1),(283,1),(294,1),(481,1),(527,1),(533,1)}
411:{1,2,6}:{(269,1),(284,1),(295,1),(478,1),(487,1),(820,1)}
412:{1,2,5}:{(270,1),(285,1),(295,1),(479,1),(491,1),(547,1),(1144,1)}
413:{1,2,3,5}:{(288,1),(293,1),(298,1),(310,1),(311,1),(490,1),(510,1),(531,1),(543,1),(563,1),(750,1),(761,1),(814,1),(849,1),(863,1),(1036,1),(1157,1)}
414:{1,2,3,5}:{(275,1),(287,1),(294,1),(299,1),(494,1),(538,1),(539,1),(549,1),(551,1),(563,1),(750,1),(795,1),(802,1),(836,1),(849,1),(852,1),(863,1),(1056,1),(1133,1),(1157,1)}
415:{1,2,3,6}:{(277,1),(289,1),(296,1),(299,1),(459,1),(461,1),(510,1),(526,1),(549,1),(550,1),(563,1),(753,1),(777,1),(779,1),(797,1),(816,1),(820,1),(830,1),(851,1),(859,1),(1157,1),(1164,1),(1189,1)}
416:{3,6}:{(301,1),(496,1),(527,1)}
417:{6}:{(300,1)}
418:{1,4,6}:{(302,1),(501,1),(560,1),(806,1),(1812,1)}
419:{4}:{(311,1)}
420:{1,2,4,6}:{(309,1),(499,1),(554,1),(558,1),(806,1),(822,1),(835,1),(840,1),(848,1),(1066,1),(1098,1),(1114,1),(1129,1),(1171,1),(1346,1),(1353,1),(1364,1),(1421,1),(1424,1),(1465,1)}
421:{4}:{(310,1)}
422:{2,5}:{(300,1),(308,1),(495,1),(553,1)}
423:{1,2,5}:{(302,1),(307,1),(518,1),(836,1),(863,1)}
424:{2,3,5}:{(301,1),(306,1),(495,1),(513,1),(543,1),(555,1),(726,1),(728,1),(740,1),(810,1),(814,1),(1087,1),(1088,1),(1150,1),(1386,1),(1613,1)}
425:{2,3,5}:{(304,1),(314,1),(510,1),(521,1),(524,1),(557,1),(729,1),(731,1),(761,1),(810,1),(814,1),(1093,1),(1094,1),(1157,1),(1433,1),(1654,1)}
426:{2,3,6}:{(305,1),(312,1),(525,1),(816,1),(860,1)}
427:{2,3}:{(303,1),(313,1),(510,1),(556,1)}
428:{1,4,6}:{(305,1),(534,1),(562,1),(840,1),(1831,1)}
429:{1,5}:{(304,1),(533,1),(535,1)}
430:{1}:{(303,1)}
431:{1,5}:{(319,1),(343,1),(618,1)}
432:{1,3,4,5,6}:{(318,1),(337,1),(340,1),(342,1),(347,1),(566,1),(584,1),(605,1),(608,1),(616,1),(617,1),(644,1),(652,1),(653,1),(677,1),(680,1),(869,1),(883,1),(887,1),(894,1),(898,1),(902,1),(905,1),(933,1),(936,1),(939,1),(941,1),(945,1),(948,1),(950,1),(981,1),(982,1),(987,1),(988,1),(990,1),(1002,1),(1004,1),(1005,1),(1006,1),(1008,1),(1011,1),(1012,1),(1027,1),(1029,1),(1197,1),(1203,1),(1206,1),(1213,1),(1218,1),(1220,1),(1221,1),(1223,1),(1226,1),(1234,1),(1235,1),(1238,1),(1262,1),(1266,1),(1269,1),(1271,1),(1276,1),(1282,2),(1284,1),(1287,1),(1288,1),(1297,1),(1309,1),(1313,1),(1314,1),(1315,1),(1316,1),(1317,1),(1325,1),(1326,1),(1328,1),(1329,1),(1483,1),(1484,1),(1485,1),(1503,1),(1504,1),(1506,1),(1511,1),(1514,1),(1516,1),(1520,1),(1532,1),(1533,1),(1553,1),(1556,1),(1558,2),(1559,1),(1560,1),(1565,1),(1566,2),(1569,1),(1595,1),(1597,1),(1601,1),(1715,1),(1722,1),(1724,1)}
433:{3,4,5}:{(338,1),(339,1),(344,1),(567,1),(586,1),(607,1),(615,1),(644,1),(652,1),(872,1),(885,1),(886,1),(893,1),(901,1),(981,1)}
434:{3,6}:{(336,1),(345,1),(610,1)}
435:{4}:{(339,1),(569,1)}
436:{1,3,5}:{(319,1),(338,1),(342,1),(586,1),(605,1),(618,1),(652,1),(677,1),(1560,1)}
437:{3,5,6}:{(337,1),(344,1),(345,1),(584,1),(607,1),(610,1),(652,1),(653,1),(1532,1)}
438:{1,3,4,6}:{(320,1),(336,1),(341,1),(347,1),(570,1),(585,1),(608,1),(614,1),(619,1),(653,1),(680,1),(873,1),(982,1),(987,1),(990,1),(1012,1),(1027,1),(1029,1),(1190,1),(1226,1),(1234,1),(1287,1),(1309,1),(1328,1),(1507,1),(1518,1),(1566,1)}
439:{1,4,6}:{(320,1),(340,1),(346,1),(574,1),(644,1),(1027,1)}
440:{1,4,5,6}:{(318,1),(341,1),(343,1),(346,1),(573,1),(606,1),(609,1),(614,1),(617,1),(677,1),(680,1),(877,1),(1002,1),(1004,1),(1005,1),(1006,1),(1027,1),(1029,1),(1199,1),(1221,1),(1269,1),(1271,1),(1297,1),(1325,1),(1490,1),(1505,1),(1558,1)}
441:{4,5}:{(317,1),(321,1),(578,1),(591,1),(879,1),(897,1),(1870,1)}
442:{4,5}:{(315,1),(323,1),(579,1)}
443:{4,5}:{(316,1),(322,1),(576,1),(580,1)}
444:{3,4,6}:{(317,1),(371,1),(373,1),(578,1),(585,1),(596,1),(619,1),(892,1),(897,1),(1287,1)}
445:{3}:{(316,1),(618,1)}
446:{3,4,6}:{(315,1),(371,1),(373,1),(579,1),(584,1),(597,1),(617,1),(894,1),(895,1)}
447:{3,4}:{(331,1),(335,1),(583,1),(621,1)}
448:{3,4}:{(330,1),(334,1),(581,1),(603,1),(866,1),(889,1),(1872,1)}
449:{3,4}:{(332,1),(333,1),(582,1)}
450:{2,4,6}:{(317,1),(324,1),(382,1),(591,1),(596,1),(897,1),(911,1),(1254,1),(1494,1)}
451:{2,4}:{(316,1),(325,1),(595,1),(598,1)}
452:{2,4,6}:{(315,1),(326,1),(382,1),(590,1),(597,1),(912,1)}
453:{2,3,5,6}:{(323,1),(328,1),(369,1),(577,1),(579,1),(600,1),(637,1),(641,1),(646,1),(659,1),(663,1),(898,1),(904,1),(907,1),(914,1),(921,1),(953,1),(983,1),(991,1),(1205,1),(1220,1),(1221,1),(1241,1),(1314,1),(1321,1),(1484,1),(1535,1),(1541,1)}
454:{3,5,6}:{(321,1),(327,1),(575,1),(578,1),(601,1),(635,1),(641,1),(646,1),(1221,1)}
455:{2,3,5,6}:{(322,1),(329,1),(369,1),(576,1),(580,1),(599,1),(636,1),(659,1),(663,1),(906,1),(916,1)}
456:{2,3,6}:{(320,1),(324,1),(391,1),(574,1),(594,1),(656,1),(911,1),(1241,1),(1242,1),(1494,1)}
457:{2,3,5,6}:{(318,1),(326,1),(390,1),(391,1),(573,1),(593,1),(597,1),(656,1),(657,1),(663,1),(666,1),(874,1),(907,1),(911,1),(913,1),(920,1),(928,1),(991,1),(995,1),(1221,1),(1241,1),(1242,2),(1247,1),(1321,1),(1498,1),(1537,1)}
458:{2,3,5}:{(319,1),(325,1),(390,1),(565,1),(595,1),(598,1),(657,1),(866,1),(915,1)}
459:{3,6}:{(330,1),(349,1),(601,1)}
460:{2,3,6}:{(331,1),(348,1),(378,1),(586,1),(589,1),(599,1),(875,1),(906,1),(1243,1),(1517,1)}
461:{2,3,6}:{(332,1),(350,1),(378,1),(584,1),(587,1),(600,1),(1241,1)}
462:{5}:{(335,1),(610,1)}
463:{1,4,5}:{(334,1),(364,1),(393,1),(581,1),(606,1),(609,1),(625,1),(888,1),(889,1),(1221,1)}
464:{1,4,5}:{(333,1),(364,1),(393,1),(582,1),(605,1),(608,1),(624,1),(887,1),(890,1)}
465:{1,4}:{(316,1),(353,1),(586,1),(615,1),(618,1)}
466:{1,4,6}:{(317,1),(352,1),(395,1),(585,1),(612,1)}
467:{1,4,6}:{(315,1),(351,1),(395,1),(584,1),(613,1),(1004,1)}
468:{4,6}:{(335,1),(358,1),(607,1),(610,1),(615,1)}
469:{1,4,6}:{(334,1),(359,1),(368,1),(588,1),(606,1)}
470:{1,4,6}:{(333,1),(357,1),(368,1),(587,1),(605,1),(982,1)}
471:{1,2,5}:{(323,1),(350,1),(392,1),(600,1),(605,1),(613,1),(1300,1)}
472:{1,5}:{(321,1),(349,1),(601,1)}
473:{1,2,5}:{(322,1),(348,1),(392,1),(599,1),(607,1),(611,1),(880,1),(942,1),(1298,1),(1487,1)}
474:{1,2,4}:{(333,1),(360,1),(383,1),(602,1),(624,1),(912,1)}
475:{2,4}:{(335,1),(361,1),(623,1),(634,1)}
476:{1,2,4}:{(334,1),(362,1),(383,1),(603,1),(625,1),(889,1),(911,1),(1244,1),(1523,1)}
477:{1,2,5,6}:{(326,1),(337,1),(411,1),(412,1),(572,1),(628,1),(689,1),(690,1),(1213,1),(1243,1),(1309,1),(1536,1)}
478:{1,2,5}:{(325,1),(338,1),(411,1),(567,1),(626,1),(1298,1)}
479:{1,2,6}:{(324,1),(336,1),(412,1),(568,1),(1309,1)}
480:{1,2,6}:{(329,1),(354,1),(399,1),(610,1),(618,1)}
481:{1,4,6}:{(327,1),(355,1),(410,1),(635,1),(640,1),(1027,1)}
482:{1,2,4,6}:{(328,1),(356,1),(399,1),(410,1),(608,1),(617,1),(637,1),(639,1),(675,1),(682,1),(690,1),(693,1),(934,1),(982,1),(1004,1),(1014,1),(1021,1),(1022,1),(1027,1),(1029,1),(1241,1),(1297,1),(1300,1),(1309,1),(1325,1),(1328,1),(1504,1),(1511,1),(1576,1)}
483:{1,2,3,5,6}:{(341,1),(352,1),(359,1),(388,1),(413,1),(570,1),(573,1),(585,1),(601,1),(606,1),(614,1),(688,1),(698,1),(874,1),(884,1),(900,1),(903,1),(911,1),(920,1),(924,1),(928,1),(944,1),(962,1),(987,1),(1006,1),(1027,1),(1208,1),(1209,1),(1216,1),(1217,1),(1221,1),(1242,1),(1281,1),(1287,1),(1296,1),(1299,1),(1308,1),(1321,1),(1558,1),(1566,1),(1574,1)}
484:{1,2,3,5,6}:{(340,1),(351,1),(357,1),(388,1),(413,1),(574,1),(584,1),(600,1),(605,1),(616,1),(688,1),(698,1),(867,1),(882,1),(898,1),(902,1),(928,1),(945,1),(962,1),(987,1),(1006,1),(1027,1),(1209,1),(1216,1),(1221,1),(1241,1),(1282,1),(1287,1),(1296,1),(1300,1),(1308,1),(1558,1),(1566,1),(1576,1)}
485:{2,3,5}:{(339,1),(353,1),(358,1),(569,1),(586,1),(607,1),(615,1),(875,1),(880,1),(901,1)}
486:{1,2,6}:{(343,1),(362,1),(390,1),(565,1),(1297,1)}
487:{2,3,6}:{(344,1),(361,1),(411,1),(567,1),(630,1),(1243,1)}
488:{1,2,3,6}:{(342,1),(360,1),(390,1),(411,1),(571,1),(631,1),(671,1),(693,1),(1206,1),(1297,1),(1298,1),(1591,1)}
489:{1,2,3,5}:{(347,1),(360,1),(391,1),(412,1),(570,1),(624,1),(633,1),(670,1),(672,1),(692,1),(694,1),(884,1),(911,1),(924,1),(927,1),(962,1),(978,1),(1001,1),(1019,1),(1247,1),(1287,1),(1299,2),(1300,1),(1321,1),(1525,1),(1590,1)}
490:{1,2,5}:{(346,1),(362,1),(391,1),(574,1),(632,1),(694,1),(911,1),(1299,1),(1300,1),(1523,1)}
491:{2,3,5}:{(345,1),(361,1),(412,1),(568,1),(623,1),(634,1),(672,1),(879,1),(926,1)}
492:{1,2,3,5}:{(332,1),(356,1),(402,1),(582,1),(600,1),(622,1),(639,1),(654,1),(670,1),(686,1),(700,1),(922,1),(925,1),(940,1),(945,1),(970,1),(978,1),(1001,1),(1010,1),(1215,1),(1287,1),(1288,1),(1300,1),(1316,1),(1321,1),(1514,1),(1550,1),(1589,1)}
493:{1,2,3,5}:{(331,1),(354,1),(402,1),(583,1),(599,1),(621,1),(638,1),(670,1),(700,1),(942,1),(967,1)}
494:{1,3,5}:{(330,1),(355,1),(581,1),(601,1),(620,1),(640,1),(654,1),(686,1),(1287,1)}
495:{5}:{(368,1)}
496:{4,6}:{(364,1),(416,1),(417,1),(641,1),(656,1)}
497:{4,5,6}:{(363,1),(366,1),(369,1),(576,1),(641,1),(644,1),(659,1),(886,1),(908,1)}
498:{4,6}:{(367,1),(384,1),(897,1)}
499:{4}:{(387,1)}
500:{4,6}:{(388,1),(419,1),(421,1),(642,1),(897,1),(1193,1)}
501:{3,6}:{(370,1),(417,1),(418,1),(1872,1)}
502:{3,5}:{(363,1),(375,1),(677,1)}
503:{3,5,6}:{(365,1),(371,1),(372,1),(578,1),(579,1),(649,1),(678,1),(1314,1),(1870,1)}
504:{3,4,5}:{(364,1),(370,1),(376,1),(581,1),(582,1),(643,1),(646,1),(647,1),(664,1),(681,1),(706,1),(887,1),(888,1),(889,1),(890,1),(915,1),(980,1),(1190,1),(1221,1),(1316,1),(1486,1),(1713,1),(1872,1)}
505:{3,4,5}:{(367,1),(372,1),(373,1),(578,1),(579,1),(649,1),(650,1),(654,1),(665,1),(679,1),(706,1),(892,1),(894,1),(895,1),(897,1),(926,1),(986,1),(1199,1),(1287,1),(1314,1),(1513,1),(1752,1),(1870,1)}
506:{3,4,6}:{(366,1),(374,1),(377,1),(644,1),(645,1),(653,1),(666,1),(680,1),(894,1),(982,1),(1190,1)}
507:{3,4,6}:{(368,1),(376,1),(389,1),(645,1),(646,1),(682,1),(982,1)}
508:{3,5}:{(378,1),(392,1),(644,1)}
509:{3,5}:{(379,1),(394,1),(653,1)}
510:{3}:{(395,1)}
511:{3,4,6}:{(378,1),(379,1),(396,1),(584,1),(586,1),(644,1),(652,1),(653,1),(671,1),(872,1),(893,1),(894,1),(906,1),(981,1),(982,1),(1206,1),(1317,1),(1532,1)}
512:{2,5}:{(363,1),(381,1)}
513:{2,5}:{(364,1),(383,1),(656,1)}
514:{2,6}:{(366,1),(380,1)}
515:{2,4,5}:{(367,1),(380,1),(382,1),(591,1),(660,1),(661,1),(665,1),(897,1),(911,1),(912,1),(991,1),(1254,1),(1752,1),(1870,1)}
516:{2,4,6}:{(368,1),(383,1),(390,1),(595,1),(656,1),(657,1),(908,1)}
517:{2,4}:{(391,1),(419,1),(421,1),(889,1),(897,1),(911,1),(1193,1)}
518:{2,3,5}:{(370,1),(386,1),(422,1),(423,1),(643,1),(646,1),(706,1),(991,1),(1221,1)}
519:{2,3,5}:{(374,1),(380,1),(385,1),(661,1),(666,1),(692,1),(911,1),(991,1),(1001,1)}
520:{2,3,6}:{(375,1),(381,1),(385,1),(598,1),(663,1),(693,1)}
521:{2,3}:{(373,1),(382,1),(694,1)}
522:{2,3,4}:{(376,1),(383,1),(385,1),(603,1),(661,1),(664,1),(695,1),(889,1),(911,1),(912,1),(1001,1),(1244,1),(1713,1),(1872,1)}
523:{2,3,5,6}:{(377,1),(387,1),(389,1),(404,1),(600,1),(601,1),(645,1),(646,1),(663,1),(666,1),(898,1),(900,1),(911,1),(920,1),(928,1),(991,1),(1221,1),(1241,1),(1242,1),(1321,1)}
524:{2,3,6}:{(371,1),(405,1),(425,1),(427,1),(584,1),(585,1),(651,1),(987,1),(1287,1),(1566,1)}
525:{2,3,5}:{(372,1),(406,1),(426,1),(427,1),(650,1),(654,1),(706,1),(1001,1),(1287,1)}
526:{2,3}:{(379,1),(407,1)}
527:{1,6}:{(393,1),(416,1),(417,1)}
528:{1,4,5}:{(363,1),(392,1),(396,1),(605,1),(607,1),(644,1),(652,1),(677,1),(689,1),(885,1),(886,1),(887,1),(942,1),(981,1),(1004,1),(1213,1),(1313,1),(1560,1)}
529:{1,4,6}:{(366,1),(394,1),(397,1),(610,1),(653,1),(690,1),(956,1),(982,1),(1309,1)}
530:{1,4,5}:{(367,1),(395,1),(409,1),(654,1),(675,1),(676,1),(1004,1)}
531:{1,4}:{(413,1),(419,1),(421,1),(655,1),(889,1),(1193,1)}
532:{1,5,6}:{(369,1),(392,1),(399,1),(677,1),(942,1),(1297,1)}
533:{1,6}:{(371,1),(429,1),(430,1)}
534:{1,5}:{(372,1),(428,1),(430,1),(1870,1)}
535:{1,4}:{(373,1),(429,1),(430,1),(686,1),(694,1)}
536:{1,4,5}:{(374,1),(398,1),(400,1),(644,1),(676,1),(677,1),(680,1),(692,1),(887,1),(1004,1),(1199,1)}
537:{1,4,6}:{(375,1),(398,1),(401,1),(618,1),(677,1),(693,1),(966,1),(1004,1),(1297,1)}
538:{1,4}:{(376,1),(414,1),(889,1)}
539:{1,3,5}:{(370,1),(393,1),(403,1),(581,1),(582,1),(681,1),(683,1),(1316,1),(1872,1)}
540:{1,3,5,6}:{(377,1),(397,1),(400,1),(401,1),(653,1),(677,1),(678,1),(680,1),(683,1),(898,1),(945,1),(1005,1),(1012,1),(1027,1),(1203,1),(1218,1),(1297,1),(1309,1)}
541:{1,3,6}:{(378,1),(399,1),(402,1),(653,1),(906,1),(1309,1)}
542:{1,3,4}:{(379,1),(398,1),(402,1),(621,1),(644,1),(686,1),(700,1),(893,1),(977,1)}
543:{1,2,5}:{(393,1),(408,1),(422,1),(424,1),(605,1),(606,1),(673,1),(1006,1),(1221,1),(1558,1)}
544:{1,2,4,5,6}:{(365,1),(404,1),(405,1),(406,1),(590,1),(591,1),(612,1),(613,1),(642,1),(645,1),(660,1),(669,1),(675,1),(678,1),(703,1),(881,1),(882,1),(897,1),(907,1),(909,1),(911,1),(912,1),(931,1),(933,1),(955,1),(960,1),(961,1),(962,1),(991,1),(1002,1),(1004,1),(1006,1),(1009,1),(1015,1),(1021,1),(1027,1),(1193,1),(1221,1),(1230,1),(1235,1),(1241,1),(1242,1),(1250,1),(1254,1),(1272,1),(1295,1),(1296,1),(1299,1),(1300,1),(1303,1),(1325,1),(1335,1),(1485,1),(1494,1),(1495,1),(1497,1),(1507,1),(1525,1),(1529,1),(1541,1),(1558,1),(1561,1),(1574,1),(1576,1),(1725,1),(1728,1),(1752,1),(1851,1),(1858,1),(1870,1)}
545:{1,2,5}:{(380,1),(394,1),(407,1),(623,1),(670,1),(690,1)}
546:{1,2,4,6}:{(381,1),(396,1),(407,1),(411,1),(626,1),(630,1),(671,1),(689,1),(690,1),(693,1),(910,1),(912,1),(981,1),(982,1),(1004,1),(1014,1),(1241,1),(1243,1),(1298,1),(1300,1),(1319,1),(1334,1)}
547:{1,2,4}:{(382,1),(395,1),(412,1),(634,1),(672,1),(694,1),(977,1)}
548:{1,2,5,6}:{(384,1),(397,1),(409,1),(410,1),(635,1),(675,1),(678,1),(690,1),(962,1),(1021,1),(1027,1),(1309,1)}
549:{1,2}:{(385,1),(398,1)}
550:{1,2,3,5}:{(387,1),(400,1),(409,1),(415,1),(600,1),(601,1),(654,1),(670,1),(676,1),(692,1),(911,1),(924,1),(944,1),(945,1),(962,1),(1001,1),(1287,1),(1299,1),(1300,1),(1321,1)}
551:{1,2,3,6}:{(389,1),(401,1),(410,1),(414,1),(640,1),(682,1),(683,1),(693,1),(928,1),(1022,1),(1027,1),(1297,1)}
552:{1,2,3,4,6}:{(386,1),(403,1),(408,1),(415,1),(587,1),(588,1),(602,1),(603,1),(655,1),(676,1),(682,1),(683,1),(695,1),(696,1),(707,1),(867,1),(871,1),(889,1),(911,1),(912,1),(928,1),(929,1),(950,1),(951,1),(964,1),(975,1),(976,1),(978,1),(982,1),(987,1),(990,1),(1001,1),(1003,1),(1015,1),(1022,1),(1027,1),(1193,1),(1232,1),(1241,1),(1242,1),(1244,1),(1261,1),(1266,1),(1277,1),(1287,1),(1292,1),(1299,1),(1300,1),(1307,1),(1308,1),(1323,1),(1328,1),(1495,1),(1498,1),(1505,1),(1520,1),(1523,1),(1529,1),(1531,1),(1534,1),(1550,1),(1566,1),(1574,1),(1576,1),(1713,1),(1740,1),(1743,1),(1851,1),(1852,1),(1872,1)}
553:{4,5}:{(419,1),(422,1),(703,1),(706,1)}
554:{1,2,4,5}:{(420,1),(423,1),(643,1),(704,1),(991,1),(1002,1),(1007,1),(1221,1),(1250,1),(1272,1),(1335,1),(1485,1),(1558,1),(1725,1),(1851,1)}
555:{4,5}:{(421,1),(424,1),(701,1),(889,1),(1193,1),(1221,1)}
556:{3,4}:{(419,1),(427,1),(706,1),(707,1)}
557:{3,4}:{(421,1),(425,1),(709,1),(897,1),(1193,1),(1287,1)}
558:{2,3,4,6}:{(420,1),(426,1),(650,1),(704,1),(984,1),(990,1),(1001,1),(1232,1),(1261,1),(1287,1),(1323,1),(1520,1),(1566,1),(1743,1),(1851,1)}
559:{2,3,5,6}:{(416,1),(424,1),(641,1),(656,1),(688,1),(701,1),(898,1),(900,1),(907,1),(928,1),(929,1),(983,1),(987,1),(995,1),(1220,1),(1221,1),(1241,1),(1242,1)}
560:{1,2,5,6}:{(418,1),(423,1),(662,1),(1005,1),(1022,1),(1027,1),(1731,1)}
561:{2,5,6}:{(417,1),(422,1),(641,1),(656,1),(703,1)}
562:{1,2,3,6}:{(426,1),(428,1),(699,1),(1012,1),(1021,1),(1027,1),(1742,1)}
563:{1,2,3}:{(427,1),(430,1),(686,1),(694,1),(707,1)}
564:{1,2,3,5}:{(425,1),(429,1),(686,1),(694,1),(698,1),(709,1),(944,1),(945,1),(961,1),(962,1),(978,1),(1006,1),(1010,1),(1019,1),(1287,1),(1288,1),(1299,1),(1300,1)}
565:{1,2,5}:{(431,1),(458,1),(486,1),(719,1),(795,1),(1133,1)}
566:{1,2,3,5,6}:{(432,1),(457,1),(477,1),(488,1),(489,1),(718,1),(755,1),(784,1),(787,1),(796,1),(820,1),(829,1),(830,1),(849,1),(851,1),(1030,1),(1049,1),(1057,1),(1088,1),(1094,1),(1099,1),(1102,1),(1107,1),(1127,1),(1134,1),(1135,1),(1139,1),(1143,1),(1148,1),(1150,1),(1157,1),(1163,1),(1164,1),(1178,1),(1182,1),(1183,1),(1184,1),(1188,1),(1399,1),(1410,1),(1438,1),(1442,1),(1447,1),(1456,1),(1459,1),(1466,1),(1468,1),(1470,1),(1472,1),(1474,1),(1479,1),(1609,1),(1613,1),(1640,1),(1642,1),(1653,1),(1654,1),(1668,1),(1682,1)}
567:{2,3,5}:{(433,1),(478,1),(487,1),(716,1),(754,1),(788,1),(820,1),(1089,1),(1095,1)}
568:{2,3,6}:{(434,1),(479,1),(491,1),(715,1),(785,1),(1103,1)}
569:{2}:{(435,1)}
570:{1,2,3,6}:{(438,1),(456,1),(479,1),(489,1),(717,1),(753,1),(784,1),(797,1),(830,1),(851,1),(1102,1),(1164,1),(1183,1),(1356,1),(1399,1),(1636,1),(1647,1)}
571:{1,2,3,5}:{(436,1),(458,1),(478,1),(488,1),(711,1),(754,1),(787,1),(795,1),(829,1),(849,1),(1038,1),(1056,1),(1133,1),(1157,1)}
572:{2,3,5,6}:{(437,1),(477,1),(487,1),(491,1),(710,1),(755,1),(785,1),(788,1),(829,1),(830,1),(1035,1),(1046,1),(1103,1),(1150,1)}
573:{1,2,5,6}:{(440,1),(457,1),(486,1),(490,1),(713,1),(783,1),(786,1),(796,1),(849,1),(851,1),(1134,1),(1178,1),(1183,1),(1359,1),(1447,1),(1610,1),(1638,1)}
574:{1,2,6}:{(439,1),(456,1),(490,1),(820,1)}
575:{4,5,6}:{(441,1),(454,1),(498,1),(722,1),(742,1),(805,1),(1046,1),(1062,1),(1150,1)}
576:{4,6}:{(443,1),(455,1),(721,1),(807,1)}
577:{4,5,6}:{(442,1),(453,1),(498,1),(720,1),(805,1),(807,1),(1061,1),(1064,1),(1074,1),(1150,1),(1151,1),(1152,1),(1346,1),(1388,1),(1465,1)}
578:{3,5}:{(441,1),(444,1),(771,1)}
579:{3,5}:{(442,1),(446,1),(773,1)}
580:{3,5}:{(443,1),(445,1),(723,1),(772,1)}
581:{3,5}:{(448,1),(463,1),(733,1)}
582:{3,5}:{(449,1),(464,1),(732,1)}
583:{3,5}:{(447,1),(462,1),(734,1),(775,1)}
584:{3,6}:{(467,1),(510,1),(731,1),(1157,1)}
585:{3,6}:{(466,1),(510,1),(729,1)}
586:{3}:{(465,1)}
587:{3,4,6}:{(449,1),(461,1),(470,1),(720,1),(726,1),(732,1),(1061,1)}
588:{3,4,6}:{(448,1),(459,1),(469,1),(722,1),(728,1),(733,1),(756,1),(1062,1),(1063,1),(1066,1)}
589:{3,4,6}:{(447,1),(460,1),(468,1),(721,1),(727,1),(734,1),(736,1),(782,1),(1060,1),(1082,1),(1350,1)}
590:{2,4,5}:{(442,1),(452,1),(512,1),(744,1),(807,1)}
591:{2,5}:{(441,1),(450,1)}
592:{2,4,5}:{(443,1),(451,1),(512,1),(739,1),(743,1),(746,1),(807,1)}
593:{2,4,6}:{(457,1),(500,1),(517,1),(738,1),(807,1),(1063,1),(1066,1),(1151,1),(1346,1),(1353,1),(1465,1)}
594:{2,4,6}:{(456,1),(500,1),(517,1),(740,1),(1066,1)}
595:{4}:{(458,1)}
596:{2,3,6}:{(444,1),(450,1),(521,1),(745,1),(797,1),(1093,1)}
597:{2,3,6}:{(446,1),(452,1),(521,1),(744,1),(796,1),(1094,1)}
598:{2,3}:{(445,1),(451,1),(748,1),(795,1)}
599:{2,3,5}:{(460,1),(473,1),(508,1),(721,1),(727,1),(730,1),(820,1),(1089,1),(1095,1)}
600:{2,3,5}:{(461,1),(471,1),(508,1),(720,1),(726,1),(731,1),(820,1),(1088,1),(1094,1)}
601:{3,5}:{(459,1),(472,1),(722,1)}
602:{2,3,4}:{(449,1),(474,1),(526,1),(752,1),(808,1)}
603:{2,3}:{(448,1),(476,1)}
604:{2,3,4}:{(447,1),(475,1),(526,1),(751,1),(759,1),(801,1),(808,1)}
605:{1,5}:{(470,1),(495,1),(726,1),(1150,1)}
606:{1,5}:{(469,1),(495,1),(728,1)}
607:{5}:{(468,1)}
608:{1,4,6}:{(464,1),(496,1),(527,1),(732,1),(762,1),(784,1),(1061,1),(1067,1)}
609:{1,4,6}:{(463,1),(496,1),(527,1),(733,1),(764,1),(783,1),(1062,1),(1066,1)}
610:{6}:{(462,1)}
611:{1,4,5}:{(443,1),(465,1),(473,1),(721,1),(730,1),(765,1),(768,1),(772,1),(1113,1),(1122,1),(1365,1)}
612:{1,4,5}:{(441,1),(466,1),(472,1),(722,1),(729,1),(771,1),(789,1),(1077,1),(1111,1),(1114,1)}
613:{1,4,5}:{(442,1),(467,1),(471,1),(720,1),(731,1),(773,1),(1112,1)}
614:{1,4,6}:{(483,1),(500,1),(531,1),(722,1),(735,1),(766,1),(1062,1),(1063,1),(1066,1),(1077,1),(1111,1),(1114,1),(1343,1),(1346,1),(1362,1),(1364,1),(1465,1)}
615:{4}:{(485,1)}
616:{1,4,6}:{(484,1),(500,1),(531,1),(720,1),(737,1),(767,1),(1061,1),(1066,1),(1112,1),(1114,1),(1346,1),(1364,1)}
617:{1,4,6}:{(446,1),(533,1),(535,1),(773,1),(779,1),(796,1),(1112,1),(1115,1)}
618:{1}:{(445,1)}
619:{1,4,6}:{(444,1),(533,1),(535,1),(771,1),(777,1),(797,1),(1111,1),(1114,1)}
620:{1,3,4}:{(448,1),(494,1),(538,1),(722,1),(802,1),(817,1),(1056,1),(1111,1),(1157,1)}
621:{1,4}:{(447,1),(493,1),(721,1),(808,1)}
622:{1,3,4}:{(449,1),(492,1),(538,1),(720,1),(808,1),(817,1),(1076,1),(1078,1),(1112,1),(1157,1),(1169,1),(1173,1),(1364,1),(1395,1),(1465,1)}
623:{2,5}:{(462,1),(475,1),(785,1),(792,1)}
624:{1,2,5}:{(464,1),(474,1),(513,1),(752,1),(784,1),(1088,1)}
625:{1,2,5}:{(463,1),(476,1),(513,1),(750,1),(783,1),(1087,1)}
626:{1,2,4}:{(451,1),(465,1),(478,1),(711,1),(716,1),(754,1),(795,1)}
627:{1,2,4,6}:{(450,1),(466,1),(479,1),(547,1),(715,1),(753,1),(789,1),(797,1),(1052,1),(1077,1),(1114,1),(1455,1),(1636,1),(1831,1)}
628:{1,2,4,6}:{(452,1),(467,1),(477,1),(547,1),(710,1),(755,1),(790,1),(796,1),(1059,1),(1398,1),(1414,1),(1642,1)}
629:{1,2,4,6}:{(469,1),(476,1),(486,1),(516,1),(719,1),(756,1),(783,1),(786,1),(1045,1),(1063,1),(1066,1),(1396,1),(1638,1),(1812,1)}
630:{2,4,6}:{(468,1),(475,1),(487,1),(710,1),(716,1),(785,1),(788,1)}
631:{1,2,4,6}:{(470,1),(474,1),(488,1),(516,1),(711,1),(757,1),(784,1),(787,1),(1047,1),(1426,1),(1454,1),(1640,1)}
632:{1,2,4}:{(490,1),(517,1),(531,1),(761,1),(1114,1)}
633:{1,2,4}:{(489,1),(517,1),(531,1),(760,1),(808,1),(1077,1),(1114,1),(1173,1),(1353,1),(1364,1),(1465,1)}
634:{4}:{(491,1)}
635:{1,5,6}:{(454,1),(472,1),(481,1),(771,1),(836,1)}
636:{1,2,5,6}:{(455,1),(473,1),(480,1),(532,1),(763,1),(768,1),(772,1),(849,1),(1042,1),(1136,1)}
637:{1,2,5,6}:{(453,1),(471,1),(482,1),(532,1),(762,1),(770,1),(773,1),(836,1),(849,1),(1132,1),(1140,1),(1150,1),(1170,1),(1178,1),(1379,1),(1474,1),(1621,1)}
638:{1,2,3,6}:{(460,1),(480,1),(493,1),(541,1),(734,1),(778,1),(782,1),(830,1),(1051,1),(1149,1)}
639:{1,2,3,6}:{(461,1),(482,1),(492,1),(541,1),(732,1),(779,1),(780,1),(816,1),(830,1),(1104,1),(1105,1),(1157,1),(1164,1),(1174,1),(1374,1),(1466,1),(1627,1)}
640:{1,3,6}:{(459,1),(481,1),(494,1),(733,1),(816,1)}
641:{5,6}:{(495,1),(496,1)}
642:{4,5}:{(495,1),(500,1),(740,1),(810,1),(1150,1)}
643:{4,5}:{(499,1),(518,1),(806,1)}
644:{4}:{(508,1),(820,1)}
645:{4,6}:{(499,1),(523,1),(720,1),(722,1),(805,1),(807,1),(1063,1),(1465,1)}
646:{3,5}:{(495,1),(507,1),(805,1),(836,1),(1150,1)}
647:{3,4,6}:{(496,1),(501,1),(504,1),(732,1),(733,1),(806,1),(809,1),(825,1),(839,1),(860,1),(1061,1),(1062,1),(1066,1),(1067,1),(1090,1),(1151,1),(1466,1)}
648:{3,4,5,6}:{(497,1),(502,1),(506,1),(723,1),(805,1),(807,1),(809,1),(812,1),(815,1),(826,1),(837,1),(1061,1),(1072,1),(1090,1),(1150,1),(1151,1),(1152,1),(1155,1),(1157,1),(1344,1),(1381,1),(1389,1),(1465,1),(1466,1),(1467,1)}
649:{3,4,6}:{(498,1),(503,1),(505,1),(816,1),(827,1),(838,1),(860,1),(1103,1),(1349,1),(1634,1),(1831,1)}
650:{3,4}:{(499,1),(525,1),(840,1)}
651:{3,4,6}:{(500,1),(524,1),(556,1),(557,1),(810,1),(841,1),(860,1)}
652:{3,5}:{(511,1),(528,1),(1150,1),(1157,1)}
653:{3,6}:{(509,1),(529,1)}
654:{3,5}:{(510,1),(530,1),(816,1),(817,1),(1157,1)}
655:{3,4}:{(510,1),(531,1),(761,1),(814,1),(1157,1)}
656:{2,6}:{(496,1),(513,1)}
657:{2,5}:{(495,1),(516,1),(739,1)}
658:{2,4,5}:{(513,1),(517,1),(553,1),(555,1),(740,1),(819,1),(824,1),(1074,1),(1087,1),(1088,1),(1353,1),(1613,1)}
659:{2,5,6}:{(497,1),(512,1),(514,1),(743,1),(820,1),(1089,1)}
660:{2,4,6}:{(498,1),(514,1),(515,1),(742,1),(827,1),(1831,1)}
661:{2,4}:{(499,1),(519,1),(807,1),(808,1),(1465,1)}
662:{2,3,5,6}:{(501,1),(518,1),(560,1),(561,1),(806,1),(809,1),(825,1),(860,1),(1158,1),(1614,1)}
663:{2,3,5}:{(502,1),(512,1),(520,1),(807,1),(849,1),(1157,1)}
664:{2,3,5}:{(504,1),(513,1),(522,1),(821,1),(825,1),(852,1),(1087,1),(1088,1),(1356,1)}
665:{2,3,5}:{(505,1),(515,1),(521,1),(827,1),(828,1),(850,1),(1093,1),(1094,1),(1359,1)}
666:{2,3,6}:{(506,1),(514,1),(519,1),(820,1),(822,1),(851,1),(1094,1),(1356,1)}
667:{2,3,4,6}:{(507,1),(516,1),(520,1),(522,1),(748,1),(756,1),(807,1),(822,1),(823,1),(825,1),(853,1),(1063,1),(1066,1),(1090,1),(1151,1),(1157,1),(1164,1),(1342,1),(1356,1),(1395,1),(1396,1),(1465,1),(1466,1)}
668:{2,3,4}:{(517,1),(521,1),(556,1),(557,1),(761,1),(824,1),(854,1),(1078,1),(1093,1),(1094,1),(1353,1),(1654,1)}
669:{2,3,5,6}:{(503,1),(524,1),(525,1),(544,1),(729,1),(731,1),(744,1),(745,1),(810,1),(813,1),(816,1),(827,1),(860,1),(1036,1),(1037,1),(1081,1),(1083,1),(1093,1),(1094,1),(1104,1),(1155,1),(1157,1),(1161,1),(1164,1),(1386,1),(1399,1),(1401,1),(1433,1),(1459,1),(1466,1),(1634,1),(1650,1),(1654,1),(1673,1),(1822,1)}
670:{2,3,5}:{(509,1),(526,1),(545,1),(808,1),(830,1),(1150,1)}
671:{2,3,6}:{(511,1),(526,1),(546,1),(754,1),(820,1),(829,1),(1094,1),(1095,1),(1157,1),(1472,1)}
672:{2,3}:{(510,1),(547,1),(759,1)}
673:{1,4,5}:{(531,1),(543,1),(553,1),(555,1),(814,1),(832,1),(863,1)}
674:{1,4,5,6}:{(497,1),(528,1),(529,1),(532,1),(762,1),(763,1),(768,1),(815,1),(833,1),(846,1),(1043,1),(1047,1),(1060,1),(1061,1),(1108,1),(1119,1),(1150,1),(1152,1),(1379,1),(1381,1),(1414,1),(1621,1),(1808,1)}
675:{1,4,6}:{(498,1),(530,1),(548,1),(816,1),(1114,1)}
676:{1,4}:{(499,1),(550,1),(720,1),(722,1),(808,1),(817,1),(1077,1),(1465,1)}
677:{1,5}:{(502,1),(537,1)}
678:{1,5,6}:{(503,1),(533,1),(534,1),(771,1),(773,1),(838,1),(1474,1)}
679:{1,4,5}:{(505,1),(534,1),(535,1),(771,1),(773,1),(838,1),(840,1),(843,1),(850,1),(863,1),(1111,1),(1112,1),(1114,1),(1115,1),(1144,1),(1173,1),(1474,1)}
680:{1,4,6}:{(506,1),(536,1),(540,1),(851,1),(1061,1),(1112,1),(1349,1),(1366,1)}
681:{1,4,5}:{(504,1),(538,1),(539,1),(836,1),(839,1),(852,1),(863,1),(1133,1),(1366,1),(1616,1),(1812,1)}
682:{1,4,6}:{(507,1),(538,1),(551,1),(836,1),(1066,1)}
683:{1,3,6}:{(501,1),(527,1),(539,1),(732,1),(733,1),(839,1),(1466,1)}
684:{1,3,5,6}:{(508,1),(532,1),(541,1),(815,1),(833,1),(842,1),(1374,1),(1379,1),(1621,1),(1627,1)}
685:{1,3,4,5}:{(509,1),(536,1),(542,1),(775,1),(808,1),(812,1),(817,1),(842,1),(843,1),(844,1),(857,1),(1080,1),(1112,1),(1144,1),(1150,1),(1155,1),(1157,1),(1169,1),(1173,1),(1368,1),(1394,1),(1435,1),(1465,1),(1473,1),(1474,1)}
686:{1,3}:{(510,1),(535,1)}
687:{1,3,4,6}:{(511,1),(537,1),(541,1),(542,1),(778,1),(779,1),(782,1),(833,1),(842,1),(858,1),(1055,1),(1059,1),(1085,1),(1112,1),(1113,1),(1123,1),(1157,1),(1169,1),(1374,1),(1426,1),(1435,1),(1627,1),(1825,1)}
688:{1,2,5,6}:{(527,1),(543,1),(559,1),(561,1),(762,1),(764,1),(783,1),(784,1),(832,1),(1170,1),(1183,1)}
689:{1,2,5}:{(512,1),(528,1),(546,1),(788,1),(820,1),(829,1),(1088,1),(1089,1),(1150,1),(1468,1)}
690:{1,2,6}:{(514,1),(529,1),(545,1),(785,1),(830,1)}
691:{1,2,4,5}:{(515,1),(530,1),(545,1),(547,1),(789,1),(792,1),(808,1),(831,1),(847,1),(848,1),(850,1),(1077,1),(1114,1),(1144,1),(1150,1),(1173,1),(1178,1),(1359,1),(1361,1),(1388,1),(1455,1),(1465,1),(1474,1)}
692:{1,2,5}:{(519,1),(536,1),(549,1),(820,1),(848,1),(851,1),(1088,1),(1359,1)}
693:{1,2,6}:{(520,1),(537,1),(549,1),(795,1),(849,1)}
694:{1,2}:{(521,1),(535,1)}
695:{1,2,4}:{(522,1),(538,1),(549,1),(802,1),(852,1),(1812,1)}
696:{1,2,3,5}:{(518,1),(539,1),(543,1),(552,1),(726,1),(728,1),(750,1),(752,1),(814,1),(834,1),(836,1),(852,1),(863,1),(1036,1),(1039,1),(1087,1),(1088,1),(1120,1),(1121,1),(1132,1),(1150,1),(1155,1),(1165,1),(1178,1),(1386,1),(1433,1),(1438,1),(1447,1),(1449,1),(1474,1),(1613,1),(1614,1),(1616,1),(1658,1),(1822,1)}
697:{1,2,3,5,6}:{(523,1),(540,1),(548,1),(550,1),(551,1),(799,1),(816,1),(830,1),(835,1),(836,1),(849,1),(851,1),(1107,1),(1127,1),(1139,1),(1150,1),(1155,1),(1157,1),(1164,1),(1178,1),(1182,1),(1188,1),(1466,1),(1474,1)}
698:{1,2,3,6}:{(524,1),(533,1),(563,1),(564,1),(777,1),(779,1),(796,1),(797,1),(841,1),(1174,1),(1183,1)}
699:{1,2,3,5}:{(525,1),(534,1),(562,1),(563,1),(840,1),(843,1),(850,1),(863,1),(1189,1),(1650,1)}
700:{1,2,3}:{(526,1),(542,1),(549,1),(801,1),(820,1),(1095,1)}
701:{4,6}:{(555,1),(559,1)}
702:{1,2,4,5,6}:{(554,1),(560,1),(806,1),(861,1),(1158,1),(1167,1),(1171,1),(1180,1),(1403,1),(1421,1),(1478,1),(1680,1)}
703:{4,6}:{(553,1),(561,1),(860,1)}
704:{2,3,5}:{(554,1),(558,1),(811,1),(1155,1),(1386,1),(1433,1)}
705:{3,4,5}:{(555,1),(557,1),(810,1),(814,1),(824,1),(862,1),(865,1),(1074,1),(1078,1),(1386,1),(1433,1)}
706:{3,5}:{(553,1),(556,1),(860,1),(863,1)}
707:{1,4}:{(556,1),(563,1),(863,1)}
708:{1,2,3,4,6}:{(558,1),(562,1),(840,1),(864,1),(1171,1),(1177,1),(1186,1),(1189,1),(1424,1),(1464,1),(1480,1),(1699,1)}
709:{1,4}:{(557,1),(564,1)}
710:{4,6}:{(572,1),(634,1),(885,1),(981,1)}
711:{1,4}:{(571,1),(595,1),(872,1),(981,1)}
712:{1,2,4,6}:{(574,1),(594,1),(616,1),(632,1),(867,1),(882,1),(912,1),(1193,1),(1241,1),(1300,1),(1495,1),(1529,1),(1576,1)}
713:{1,2,4,6}:{(573,1),(593,1),(614,1),(632,1),(874,1),(881,1),(911,1),(1004,1),(1242,1),(1254,1),(1299,1),(1325,1),(1497,1),(1529,1),(1574,1)}
714:{2,4}:{(569,1),(615,1),(875,1),(880,1),(1198,1),(1874,1)}
715:{4,6}:{(568,1),(634,1),(879,1)}
716:{2,4}:{(567,1),(615,1),(981,1)}
717:{1,2,4,6}:{(570,1),(594,1),(614,1),(633,1),(871,1),(884,1),(911,1),(982,1),(1242,1),(1244,1),(1299,1),(1328,1),(1495,1),(1531,1),(1574,1)}
718:{1,2,4,6}:{(566,1),(593,1),(616,1),(633,1),(868,1),(878,1),(912,1),(981,1),(982,1),(1004,1),(1223,1),(1235,1),(1241,1),(1266,1),(1276,1),(1300,1),(1319,1),(1325,1),(1326,1),(1328,1),(1334,1),(1495,1),(1503,1),(1506,1),(1529,1),(1540,1),(1576,1),(1595,1),(1601,1),(1712,1),(1753,1)}
719:{1,4}:{(565,1),(595,1),(866,1)}
720:{4}:{(600,1)}
721:{4}:{(599,1)}
722:{4}:{(601,1),(911,1)}
723:{3,4,6}:{(576,1),(580,1),(893,1),(896,1),(906,1),(916,1),(937,1)}
724:{3,4,5,6}:{(577,1),(579,1),(649,1),(894,1),(895,1),(904,1),(917,1),(938,1),(983,1),(985,1),(1196,1),(1205,1),(1226,1),(1231,1),(1236,1),(1314,1),(1482,1),(1723,1),(1879,1)}
725:{3,4,5,6}:{(575,1),(578,1),(649,1),(892,1),(897,1),(905,1),(918,1),(939,1),(983,1),(985,1),(1199,1),(1203,1),(1228,1),(1230,1),(1235,1),(1287,1),(1314,1),(1490,1),(1513,1),(1566,1),(1569,1),(1716,1),(1752,1),(1858,1),(1870,1)}
726:{3,5}:{(587,1),(605,1),(887,1)}
727:{3,5}:{(589,1),(607,1),(886,1),(942,1),(1487,1)}
728:{3,5}:{(588,1),(606,1),(888,1),(1221,1)}
729:{3,5}:{(585,1),(612,1),(892,1),(1287,1)}
730:{3,5}:{(586,1),(611,1),(893,1),(906,1),(1517,1)}
731:{3,5}:{(584,1),(613,1),(894,1)}
732:{3,6}:{(582,1),(608,1)}
733:{3,6}:{(581,1),(609,1)}
734:{3,6}:{(583,1),(610,1),(947,1)}
735:{3,4,6}:{(585,1),(614,1),(655,1),(874,1),(892,1),(903,1),(987,1),(1191,1),(1287,1),(1520,1),(1566,1)}
736:{3,4}:{(586,1),(615,1),(875,1),(901,1),(949,1),(1198,1),(1517,1)}
737:{3,4,6}:{(584,1),(616,1),(655,1),(867,1),(894,1),(902,1),(987,1),(1193,1),(1287,1),(1520,1),(1566,1)}
738:{2,4,5}:{(593,1),(642,1),(657,1),(913,1),(980,1),(991,1),(1221,1),(1485,1),(1537,1)}
739:{4,5}:{(595,1),(657,1),(908,1),(915,1)}
740:{2,5}:{(594,1),(642,1),(1221,1)}
741:{2,4,5,6}:{(577,1),(590,1),(659,1),(660,1),(912,1),(917,1),(991,1),(993,1),(1241,1),(1245,1),(1250,1),(1495,1),(1535,1),(1879,1)}
742:{2,5,6}:{(575,1),(591,1),(660,1),(911,1),(991,1),(1242,1),(1870,1)}
743:{2,4,6}:{(576,1),(592,1),(659,1),(908,1),(910,1),(916,1)}
744:{2,3,5}:{(579,1),(590,1),(597,1),(895,1),(961,1)}
745:{2,3,5}:{(578,1),(591,1),(596,1),(897,1),(962,1),(1287,1)}
746:{2,3,5}:{(580,1),(592,1),(598,1),(896,1),(915,1),(916,1),(963,1)}
747:{2,3,4,6}:{(593,1),(597,1),(651,1),(668,1),(874,1),(895,1),(913,1),(965,1),(995,1),(1191,1),(1231,1),(1232,1)}
748:{3,4}:{(595,1),(598,1),(866,1),(915,1),(966,1)}
749:{2,3,4,6}:{(594,1),(596,1),(651,1),(668,1),(867,1),(897,1),(914,1),(964,1),(995,1),(1193,1),(1230,1),(1232,1),(1287,1),(1495,1),(1520,1),(1566,1),(1743,1),(1851,1)}
750:{2,3,5}:{(581,1),(603,1),(625,1),(889,1),(928,1),(1221,1)}
751:{2,3,5}:{(583,1),(604,1),(623,1),(891,1),(926,1),(930,1),(967,1)}
752:{2,3,5}:{(582,1),(602,1),(624,1),(890,1),(929,1)}
753:{2,3,6}:{(585,1),(627,1),(672,1),(873,1),(924,1),(1287,1),(1494,1),(1590,1)}
754:{2,3}:{(586,1),(626,1),(872,1)}
755:{2,3,6}:{(584,1),(628,1),(672,1),(869,1),(923,1),(1532,1)}
756:{2,3,6}:{(588,1),(603,1),(629,1),(866,1),(911,1),(920,1),(1202,1),(1242,1),(1872,1)}
757:{2,3,4,6}:{(587,1),(602,1),(631,1),(671,1),(872,1),(912,1),(919,1),(929,1),(981,1),(982,1),(1206,1),(1223,1),(1237,1),(1241,1),(1255,1),(1319,1),(1499,1)}
758:{2,3,4,6}:{(589,1),(604,1),(630,1),(671,1),(869,1),(870,1),(910,1),(921,1),(930,1),(973,1),(981,1),(982,1),(1201,1),(1225,1),(1237,1),(1243,1),(1253,1),(1256,1),(1317,1),(1319,1),(1500,1),(1501,1),(1532,1),(1538,1),(1761,1)}
759:{3,4}:{(634,1),(672,1),(926,1),(977,1)}
760:{2,3,4}:{(633,1),(655,1),(672,1),(927,1),(986,1),(1001,1),(1287,1),(1520,1),(1590,1)}
761:{2,3}:{(632,1),(655,1),(1287,1)}
762:{1,5,6}:{(605,1),(608,1),(641,1),(898,1),(1220,1)}
763:{5,6}:{(607,1),(610,1),(932,1),(1487,1)}
764:{1,5,6}:{(606,1),(609,1),(641,1),(900,1),(1221,1)}
765:{4,5}:{(607,1),(615,1),(880,1),(901,1),(932,1),(1198,1),(1487,1)}
766:{1,4,5}:{(606,1),(614,1),(642,1),(884,1),(888,1),(903,1),(1006,1),(1192,1),(1221,1),(1485,1),(1558,1)}
767:{1,4,5}:{(605,1),(616,1),(642,1),(882,1),(887,1),(902,1),(1006,1),(1193,1),(1221,1),(1485,1),(1558,1)}
768:{1,4,6}:{(576,1),(611,1),(636,1),(906,1),(932,1),(1004,1),(1280,1)}
769:{1,4,5,6}:{(575,1),(612,1),(635,1),(675,1),(905,1),(936,1),(960,1),(1002,1),(1235,1)}
770:{1,4,5,6}:{(577,1),(613,1),(637,1),(675,1),(904,1),(934,1),(1002,1),(1004,1),(1267,1),(1272,1),(1325,1)}
771:{1,5}:{(578,1),(619,1)}
772:{1,5}:{(580,1),(618,1),(937,1)}
773:{1,5}:{(579,1),(617,1)}
774:{1,3,4,5}:{(582,1),(622,1),(681,1),(887,1),(890,1),(940,1),(946,1),(968,1),(989,1),(1010,1),(1195,1),(1215,1),(1265,1),(1269,1),(1279,1),(1316,1),(1512,1),(1719,1),(1849,1)}
775:{1,4,5}:{(583,1),(621,1),(886,1),(891,1),(942,1),(947,1),(967,1)}
776:{1,3,4,5}:{(581,1),(620,1),(681,1),(888,1),(889,1),(941,1),(948,1),(969,1),(989,1),(1010,1),(1190,1),(1218,1),(1221,1),(1266,1),(1270,1),(1277,1),(1316,1),(1486,1),(1518,1),(1553,1),(1558,1),(1713,1),(1720,1),(1852,1),(1872,1)}
777:{1,3,6}:{(585,1),(619,1),(686,1),(944,1),(1287,1)}
778:{1,3}:{(586,1),(618,1),(949,1),(1517,1)}
779:{1,3,6}:{(584,1),(617,1),(686,1),(945,1),(1288,1)}
780:{1,3,4,6}:{(587,1),(622,1),(639,1),(682,1),(934,1),(940,1),(982,1),(990,1),(1232,1),(1237,1),(1328,1)}
781:{1,3,4,6}:{(588,1),(620,1),(640,1),(682,1),(936,1),(941,1),(975,1),(990,1),(1266,1)}
782:{1,4,6}:{(589,1),(621,1),(638,1),(942,1),(949,1),(982,1),(1280,1)}
783:{1,2,6}:{(609,1),(625,1),(656,1),(928,1),(1242,1)}
784:{1,2,6}:{(608,1),(624,1),(656,1),(929,1),(1241,1)}
785:{2,6}:{(610,1),(623,1),(956,1)}
786:{1,2,5}:{(606,1),(629,1),(657,1),(877,1),(920,1),(1221,1),(1523,1),(1537,1)}
787:{1,2,5}:{(605,1),(631,1),(657,1),(883,1),(919,1),(1560,1)}
788:{2,5}:{(607,1),(630,1),(885,1)}
789:{1,2,5}:{(591,1),(612,1),(627,1),(879,1),(911,1),(924,1),(1212,1),(1299,1),(1870,1)}
790:{1,2,4,5}:{(590,1),(613,1),(628,1),(689,1),(885,1),(912,1),(923,1),(961,1),(981,1),(1004,1),(1213,1),(1245,1),(1267,1),(1276,1),(1300,1),(1334,1),(1527,1)}
791:{1,2,4,5}:{(592,1),(611,1),(626,1),(689,1),(876,1),(883,1),(910,1),(922,1),(958,1),(963,1),(981,1),(1004,1),(1214,1),(1246,1),(1267,1),(1274,1),(1289,1),(1298,1),(1313,1),(1334,1),(1526,1),(1530,1),(1538,1),(1560,1),(1781,1)}
792:{4,5}:{(623,1),(634,1),(879,1),(926,1),(956,1)}
793:{1,2,4,5}:{(625,1),(632,1),(658,1),(673,1),(882,1),(889,1),(925,1),(955,1),(1019,1),(1193,1),(1221,1),(1272,1),(1277,1),(1485,1),(1529,1),(1558,1),(1725,1),(1851,1)}
794:{1,2,4,5}:{(624,1),(633,1),(658,1),(673,1),(884,1),(890,1),(927,1),(957,1),(1019,1),(1192,1),(1272,1),(1279,1)}
795:{1,2}:{(598,1),(618,1),(966,1)}
796:{1,2,6}:{(597,1),(617,1),(694,1),(961,1),(1300,1)}
797:{1,2,6}:{(596,1),(619,1),(694,1),(962,1),(1299,1)}
798:{1,2,3,5,6}:{(599,1),(636,1),(638,1),(684,1),(899,1),(906,1),(935,1),(942,1),(943,1),(999,1),(1014,1),(1024,1),(1204,1),(1211,1),(1239,1),(1243,1),(1256,1),(1280,1),(1289,1),(1298,1),(1306,1),(1310,1),(1487,1),(1517,1),(1532,1),(1549,1),(1560,1),(1564,1),(1575,1),(1583,1),(1730,1),(1737,1),(1850,1),(1860,1)}
799:{1,3,5,6}:{(601,1),(635,1),(640,1),(900,1),(905,1),(936,1),(941,1),(944,1)}
800:{1,2,3,5,6}:{(600,1),(637,1),(639,1),(684,1),(898,1),(904,1),(934,1),(940,1),(945,1),(999,1),(1014,1),(1024,1),(1209,1),(1216,1),(1241,1),(1258,1),(1282,1),(1290,1),(1300,1),(1321,1),(1576,1)}
801:{1,2,4}:{(604,1),(621,1),(700,1),(910,1),(967,1),(977,1)}
802:{1,2,3}:{(603,1),(620,1),(695,1),(911,1),(1001,1),(1299,1),(1872,1)}
803:{1,2,3,4}:{(602,1),(622,1),(695,1),(700,1),(912,1),(968,1),(1001,1),(1017,1),(1255,1),(1261,1),(1300,1),(1529,1),(1589,1),(1849,1)}
804:{4,5,6}:{(641,1),(642,1),(701,1),(703,1),(907,1),(983,1),(1220,1),(1221,1),(1230,1),(1485,1)}
805:{4,5}:{(645,1),(646,1),(991,1),(1221,1)}
806:{4,6}:{(643,1),(662,1),(1713,1)}
807:{4}:{(663,1)}
808:{4}:{(670,1)}
809:{3,5,6}:{(641,1),(646,1),(647,1),(979,1),(1005,1),(1220,1),(1221,1),(1486,1)}
810:{3,5}:{(642,1),(651,1),(1006,1)}
811:{3,4,5}:{(643,1),(650,1),(704,1),(706,1),(984,1),(1007,1),(1851,1)}
812:{3,4,5}:{(644,1),(652,1),(886,1),(887,1),(893,1),(894,1),(981,1),(988,1),(996,1),(1008,1),(1239,1),(1313,1),(1317,1),(1538,1)}
813:{3,4,6}:{(645,1),(650,1),(669,1),(892,1),(894,1),(895,1),(897,1),(985,1),(1009,1),(1191,1),(1193,1),(1230,1),(1235,1),(1287,1),(1520,1),(1566,1),(1752,1),(1851,1),(1858,1)}
814:{3,5}:{(655,1),(673,1),(987,1)}
815:{3,5,6}:{(652,1),(653,1),(674,1),(906,1),(988,1),(1206,1),(1239,1),(1532,1),(1860,1)}
816:{3,6}:{(654,1),(675,1),(1287,1)}
817:{3,4}:{(654,1),(676,1),(1001,1),(1287,1)}
818:{2,5,6}:{(641,1),(656,1),(657,1),(908,1)}
819:{2,4,6}:{(656,1),(658,1),(701,1),(703,1),(907,1),(995,1),(1230,1),(1241,1),(1242,1)}
820:{2}:{(644,1)}
821:{2,4,5}:{(643,1),(661,1),(664,1),(889,1),(890,1),(980,1),(991,1),(992,1),(1221,1),(1244,1),(1537,1),(1713,1)}
822:{2,4,6}:{(645,1),(661,1),(666,1),(911,1),(912,1),(982,1),(991,1),(1241,1),(1242,1),(1244,1)}
823:{2,3,5}:{(646,1),(657,1),(667,1),(915,1),(980,1),(991,1),(1018,1),(1221,1),(1316,1),(1486,1),(1537,1)}
824:{2,3,5}:{(658,1),(668,1),(705,1),(706,1),(995,1),(1019,1)}
825:{2,3,6}:{(647,1),(656,1),(664,1),(992,1),(1022,1),(1241,1),(1242,1)}
826:{2,3,5,6}:{(648,1),(659,1),(663,1),(666,1),(916,1),(991,1),(993,1),(996,1),(1020,1),(1241,1),(1251,1),(1321,1),(1322,1),(1499,1),(1535,1)}
827:{2,3,6}:{(649,1),(660,1),(665,1),(1021,1),(1494,1)}
828:{2,3,4}:{(650,1),(661,1),(665,1),(895,1),(897,1),(986,1),(1001,1),(1023,1),(1254,1),(1287,1),(1590,1),(1752,1)}
829:{2,3,5}:{(652,1),(671,1),(689,1),(981,1)}
830:{2,3,6}:{(653,1),(670,1),(690,1),(982,1)}
831:{2,3,5}:{(654,1),(672,1),(691,1),(926,1),(986,1),(1000,1),(1001,1),(1287,1),(1314,1),(1513,1),(1590,1)}
832:{1,4,6}:{(673,1),(688,1),(701,1),(703,1),(987,1),(1027,1)}
833:{1,4,6}:{(644,1),(684,1),(988,1),(1008,1),(1014,1)}
834:{1,4,5}:{(643,1),(676,1),(696,1),(887,1),(888,1),(889,1),(890,1),(989,1),(1003,1),(1192,1),(1193,1),(1221,1),(1266,1),(1277,1),(1485,1),(1558,1),(1713,1),(1851,1),(1852,1)}
835:{1,4,6}:{(645,1),(676,1),(697,1),(982,1),(990,1),(1002,1),(1004,1),(1235,1),(1266,1)}
836:{1,5}:{(646,1),(682,1),(1221,1)}
837:{1,4,5,6}:{(648,1),(677,1),(680,1),(937,1),(1002,1),(1004,1),(1005,1),(1008,1),(1011,1),(1020,1),(1273,1),(1297,1),(1325,1),(1326,1),(1482,1),(1504,1),(1560,1)}
838:{1,4,6}:{(649,1),(678,1),(679,1),(1012,1),(1021,1),(1027,1),(1309,1)}
839:{1,4,6}:{(647,1),(681,1),(683,1),(1005,1),(1022,1),(1027,1),(1297,1)}
840:{1,4}:{(650,1),(699,1),(1752,1)}
841:{1,4,6}:{(651,1),(698,1),(707,1),(709,1),(1006,1),(1027,1)}
842:{1,3,5}:{(652,1),(677,1),(687,1),(942,1),(1008,1),(1213,1),(1239,1),(1560,1),(1850,1)}
843:{1,3,5}:{(654,1),(679,1),(686,1),(1012,1),(1013,1),(1287,1),(1288,1),(1513,1)}
844:{1,3,4,6}:{(653,1),(680,1),(685,1),(947,1),(982,1),(988,1),(990,1),(1011,1),(1012,1),(1026,1),(1233,1),(1309,1),(1326,1),(1328,1),(1511,1),(1512,1),(1532,1)}
845:{1,3,4}:{(655,1),(686,1),(707,1),(709,1),(978,1),(1010,1),(1277,1),(1287,1),(1288,1),(1520,1)}
846:{1,2,5,6}:{(659,1),(674,1),(689,1),(690,1),(953,1),(958,1),(999,1),(1014,1),(1241,1),(1243,1),(1289,1),(1535,1),(1560,1)}
847:{1,2,4,6}:{(660,1),(675,1),(690,1),(691,1),(956,1),(960,1),(982,1),(1000,1),(1021,1),(1235,1),(1309,1),(1328,1),(1494,1),(1507,1)}
848:{1,2,4}:{(661,1),(676,1),(692,1),(911,1),(912,1),(1001,1),(1004,1),(1254,1),(1299,1),(1300,1)}
849:{1,2,5}:{(663,1),(677,1),(693,1),(1004,1)}
850:{1,2,5}:{(665,1),(679,1),(694,1),(1021,1),(1023,1),(1299,1),(1300,1)}
851:{1,2,6}:{(666,1),(680,1),(692,1),(1241,1),(1300,1),(1494,1),(1523,1)}
852:{1,2,5}:{(664,1),(681,1),(695,1),(1022,1),(1523,1)}
853:{1,2,4,6}:{(667,1),(682,1),(693,1),(695,1),(966,1),(975,1),(1004,1),(1018,1),(1022,1),(1266,1),(1297,1),(1325,1),(1505,1),(1523,1)}
854:{1,2,4}:{(668,1),(694,1),(707,1),(709,1),(978,1),(1019,1),(1277,1),(1299,1),(1300,1)}
855:{1,2,3,5,6}:{(662,1),(683,1),(688,1),(696,1),(898,1),(900,1),(928,1),(929,1),(987,1),(1003,1),(1005,1),(1022,1),(1027,1),(1208,1),(1209,1),(1220,1),(1221,1),(1241,1),(1242,1),(1281,1),(1282,1),(1296,1),(1307,1),(1308,1),(1315,1),(1323,1),(1332,1),(1556,1),(1558,1),(1566,1),(1574,1),(1576,1)}
856:{1,2,3,5,6}:{(669,1),(678,1),(698,1),(699,1),(944,1),(945,1),(961,1),(962,1),(1006,1),(1009,1),(1012,1),(1021,1),(1027,1),(1216,1),(1217,1),(1281,1),(1282,1),(1287,1),(1288,1),(1295,1),(1296,1),(1299,1),(1300,1),(1308,1),(1329,1),(1335,1),(1338,1),(1558,1),(1565,1),(1566,1),(1574,1),(1576,1)}
857:{1,2,3,5}:{(670,1),(685,1),(692,1),(700,1),(967,1),(996,1),(1001,1),(1017,1),(1026,1),(1260,1),(1300,1),(1321,1),(1331,1),(1527,1),(1589,1)}
858:{1,2,3,6}:{(671,1),(687,1),(693,1),(700,1),(970,1),(973,1),(1014,1),(1024,1),(1256,1),(1298,1),(1300,1),(1532,1),(1589,1)}
859:{1,2,3}:{(672,1),(686,1),(694,1),(977,1)}
860:{3,6}:{(703,1),(706,1),(1027,1)}
861:{2,3,5,6}:{(702,1),(704,1),(984,1),(1315,1),(1323,1),(1566,1),(1759,1)}
862:{3,4,6}:{(701,1),(705,1),(983,1),(987,1),(995,1),(1029,1),(1230,1),(1566,1)}
863:{1,5}:{(706,1),(707,1),(1027,1)}
864:{1,2,3,5}:{(704,1),(708,1),(1007,1),(1329,1),(1335,1),(1558,1),(1782,1)}
865:{1,4,5}:{(705,1),(709,1),(1006,1),(1010,1),(1019,1),(1029,1),(1277,1),(1558,1)}
866:{3}:{(719,1)}
867:{2,3,6}:{(712,1),(737,1),(761,1),(1036,1),(1094,1),(1654,1)}
868:{2,3,4,6}:{(718,1),(737,1),(755,1),(760,1),(1030,1),(1075,1),(1094,1),(1102,1),(1154,1),(1157,1),(1164,1),(1348,1),(1353,1),(1395,1),(1399,1),(1459,1),(1465,1),(1466,1),(1467,1),(1472,1),(1630,1),(1654,1),(1668,1),(1670,1),(1678,1)}
869:{3,4,6}:{(710,1),(755,1),(759,1),(1035,1),(1059,1),(1075,1),(1103,1)}
870:{2,3,4}:{(716,1),(736,1),(754,1),(1032,1),(1053,1),(1076,1),(1095,1),(1358,1),(1646,1)}
871:{2,3,4,6}:{(717,1),(735,1),(753,1),(760,1),(1039,1),(1077,1),(1093,1),(1102,1),(1154,1),(1164,1),(1343,1),(1360,1),(1401,1),(1405,1),(1465,1)}
872:{3,4}:{(711,1),(754,1),(1038,1),(1157,1)}
873:{3,4,6}:{(715,1),(753,1),(759,1),(1033,1),(1052,1),(1077,1),(1103,1),(1349,1),(1437,1),(1634,1),(1831,1)}
874:{2,3,6}:{(713,1),(735,1),(761,1),(1037,1),(1093,1),(1157,1),(1466,1),(1654,1)}
875:{2,3}:{(714,1),(736,1),(1051,1)}
876:{2,4,5}:{(716,1),(765,1),(788,1),(1032,1),(1048,1),(1064,1),(1089,1),(1358,1),(1606,1)}
877:{1,4,5}:{(719,1),(739,1),(786,1),(1031,1),(1045,1),(1063,1),(1133,1),(1366,1),(1383,1),(1616,1),(1812,1)}
878:{1,2,4,5}:{(718,1),(738,1),(767,1),(787,1),(1030,1),(1065,1),(1088,1),(1134,1),(1150,1),(1168,1),(1178,1),(1353,1),(1369,1),(1388,1),(1438,1),(1447,1),(1465,1),(1468,1),(1473,1),(1474,1),(1613,1),(1622,1),(1656,1),(1665,1),(1682,1)}
879:{5}:{(715,1)}
880:{2,5}:{(714,1),(765,1),(1042,1)}
881:{1,2,4,5}:{(713,1),(738,1),(766,1),(786,1),(1037,1),(1063,1),(1087,1),(1134,1),(1168,1),(1178,1),(1352,1),(1362,1),(1444,1),(1449,1),(1465,1)}
882:{1,2,5}:{(712,1),(740,1),(767,1),(1036,1),(1088,1),(1613,1)}
883:{1,4,5}:{(711,1),(739,1),(787,1),(1038,1),(1047,1),(1065,1),(1133,1)}
884:{1,2,5}:{(717,1),(740,1),(766,1),(1039,1),(1087,1),(1150,1),(1474,1),(1613,1)}
885:{4,5}:{(710,1),(788,1),(1035,1),(1150,1)}
886:{4,5}:{(721,1),(727,1),(1060,1),(1089,1)}
887:{4,5}:{(720,1),(726,1),(1061,1),(1088,1)}
888:{4,5}:{(722,1),(728,1),(1062,1),(1063,1),(1087,1)}
889:{4}:{(750,1)}
890:{4,5}:{(752,1),(808,1),(1067,1),(1150,1)}
891:{4,5}:{(751,1),(808,1),(1068,1),(1150,1)}
892:{3,4}:{(722,1),(729,1),(1077,1),(1093,1),(1111,1)}
893:{3,4}:{(721,1),(730,1),(1095,1),(1113,1)}
894:{3,4}:{(720,1),(731,1),(1094,1),(1112,1)}
895:{3,4}:{(744,1),(807,1),(1115,1),(1157,1)}
896:{3,4}:{(746,1),(807,1),(1116,1),(1157,1)}
897:{4}:{(745,1)}
898:{3,5,6}:{(726,1),(732,1),(762,1),(1061,1)}
899:{3,5,6}:{(727,1),(734,1),(763,1),(1060,1),(1082,1),(1119,1)}
900:{3,5,6}:{(728,1),(733,1),(764,1),(1062,1)}
901:{3,5}:{(736,1),(765,1),(1082,1),(1122,1)}
902:{3,5}:{(737,1),(767,1)}
903:{3,5}:{(735,1),(766,1)}
904:{3,5,6}:{(731,1),(770,1),(816,1),(1084,1),(1155,1),(1157,1),(1394,1),(1433,1),(1466,1)}
905:{3,5,6}:{(729,1),(769,1),(816,1),(1086,1),(1155,1)}
906:{3,6}:{(730,1),(768,1),(1157,1)}
907:{2,5,6}:{(740,1),(804,1),(819,1),(1613,1)}
908:{4,6}:{(739,1),(818,1),(1090,1)}
909:{2,4,5,6}:{(738,1),(804,1),(818,1),(819,1),(1091,1),(1151,1),(1158,1)}
910:{2,4}:{(721,1),(820,1),(1089,1),(1095,1)}
911:{2}:{(722,1)}
912:{2,4}:{(720,1),(820,1),(1088,1),(1094,1)}
913:{2,3,5}:{(738,1),(747,1),(810,1),(1073,1),(1134,1),(1386,1)}
914:{2,3,5}:{(740,1),(749,1),(810,1),(1074,1),(1132,1),(1386,1),(1433,1),(1613,1)}
915:{3,5}:{(739,1),(748,1),(1090,1),(1133,1)}
916:{2,3,6}:{(723,1),(743,1),(746,1),(1090,1),(1095,1),(1136,1)}
917:{2,3,5,6}:{(724,1),(741,1),(744,1),(827,1),(1094,1),(1096,1),(1137,1),(1161,1),(1357,1),(1399,1),(1608,1)}
918:{2,3,5,6}:{(725,1),(742,1),(745,1),(827,1),(1093,1),(1098,1),(1135,1),(1161,1),(1359,1),(1401,1),(1459,1),(1610,1),(1650,1)}
919:{2,3,5}:{(726,1),(757,1),(787,1),(1038,1),(1065,1),(1088,1),(1150,1),(1389,1),(1468,1)}
920:{2,3,5}:{(728,1),(756,1),(786,1),(1031,1),(1063,1),(1087,1),(1356,1)}
921:{2,3,5}:{(727,1),(758,1),(788,1),(1035,1),(1064,1),(1089,1),(1140,1),(1150,1),(1389,1),(1394,1),(1468,1),(1606,1),(1790,1)}
922:{2,3,5}:{(730,1),(754,1),(791,1),(1038,1),(1076,1),(1095,1),(1105,1),(1157,1),(1389,1),(1394,1),(1472,1),(1646,1),(1839,1)}
923:{2,3,5}:{(731,1),(755,1),(790,1),(1035,1),(1075,1),(1094,1),(1157,1),(1394,1),(1472,1)}
924:{2,3,5}:{(729,1),(753,1),(789,1),(1033,1),(1077,1),(1093,1),(1359,1)}
925:{2,3,5}:{(761,1),(793,1),(814,1),(1078,1),(1104,1),(1386,1),(1433,1),(1654,1)}
926:{3,5}:{(759,1),(792,1),(1103,1),(1144,1)}
927:{2,3,5}:{(760,1),(794,1),(814,1),(1079,1),(1102,1),(1433,1)}
928:{2,3,6}:{(733,1),(750,1),(783,1),(1066,1)}
929:{2,3,6}:{(732,1),(752,1),(784,1),(1067,1)}
930:{2,3,6}:{(734,1),(751,1),(785,1),(1068,1),(1103,1),(1149,1)}
931:{1,4,5,6}:{(762,1),(767,1),(804,1),(832,1),(1041,1),(1061,1),(1081,1),(1170,1),(1346,1),(1418,1),(1421,1),(1622,1)}
932:{4,6}:{(763,1),(765,1),(1042,1),(1082,1)}
933:{1,4,5,6}:{(764,1),(766,1),(804,1),(832,1),(1049,1),(1062,1),(1083,1),(1170,1),(1343,1),(1419,1),(1421,1)}
934:{1,4,6}:{(720,1),(800,1),(1061,1),(1084,1),(1110,1),(1112,1),(1152,1),(1169,1),(1346,1),(1364,1),(1465,1)}
935:{1,4,6}:{(721,1),(798,1),(1060,1),(1085,1),(1108,1),(1113,1),(1152,1),(1169,1),(1350,1),(1365,1),(1662,1),(1687,1)}
936:{1,4,6}:{(722,1),(799,1),(1062,1),(1086,1),(1109,1),(1111,1),(1127,1)}
937:{1,4,6}:{(723,1),(772,1),(1113,1),(1116,1),(1123,1),(1136,1)}
938:{1,4,5,6}:{(724,1),(773,1),(838,1),(1112,1),(1115,1),(1125,1),(1137,1),(1170,1),(1172,1),(1368,1),(1379,1),(1418,1),(1420,1),(1427,1),(1474,1)}
939:{1,4,5,6}:{(725,1),(771,1),(838,1),(1111,1),(1114,1),(1124,1),(1135,1),(1170,1),(1172,1),(1361,1),(1377,1),(1419,1),(1421,1),(1428,1),(1474,1)}
940:{1,3,5}:{(726,1),(780,1),(836,1),(1110,1),(1150,1),(1155,1),(1386,1),(1389,1),(1474,1)}
941:{1,3,5}:{(728,1),(781,1),(836,1),(1109,1),(1155,1)}
942:{1,5}:{(727,1),(782,1),(1150,1)}
943:{1,3,5}:{(730,1),(772,1),(778,1),(1113,1),(1122,1),(1123,1)}
944:{1,3,5}:{(729,1),(771,1),(777,1),(1111,1)}
945:{1,3,5}:{(731,1),(773,1),(779,1),(1112,1)}
946:{1,3,4,6}:{(732,1),(774,1),(839,1),(1061,1),(1067,1),(1117,1),(1147,1),(1156,1),(1174,1),(1344,1),(1374,1),(1415,1),(1418,1),(1425,1),(1466,1)}
947:{1,4,6}:{(734,1),(775,1),(1060,1),(1068,1),(1119,1),(1149,1)}
948:{1,3,4,6}:{(733,1),(776,1),(839,1),(1062,1),(1066,1),(1118,1),(1148,1),(1156,1),(1174,1),(1342,1),(1371,1),(1416,1),(1419,1),(1424,1),(1466,1)}
949:{1,4}:{(736,1),(778,1),(1051,1),(1122,1)}
950:{1,3,4,6}:{(735,1),(777,1),(841,1),(845,1),(1057,1),(1111,1),(1120,1),(1174,1),(1362,1),(1419,1),(1424,1)}
951:{1,3,4,6}:{(737,1),(779,1),(841,1),(845,1),(1058,1),(1112,1),(1121,1),(1174,1),(1364,1),(1418,1),(1424,1),(1630,1)}
952:{1,2,5,6}:{(764,1),(783,1),(786,1),(818,1),(1045,1),(1101,1),(1616,1),(1638,1)}
953:{2,5,6}:{(763,1),(785,1),(788,1),(1043,1),(1048,1),(1606,1)}
954:{1,2,5,6}:{(762,1),(784,1),(787,1),(818,1),(1047,1),(1099,1),(1621,1),(1640,1)}
955:{1,2,4,6}:{(783,1),(793,1),(819,1),(832,1),(1041,1),(1066,1),(1104,1),(1183,1),(1346,1),(1421,1),(1424,1)}
956:{4,6}:{(785,1),(792,1),(1046,1),(1103,1)}
957:{1,2,4,6}:{(784,1),(794,1),(819,1),(832,1),(1049,1),(1067,1),(1102,1),(1183,1),(1343,1),(1421,1),(1425,1)}
958:{1,2,4,6}:{(743,1),(768,1),(791,1),(846,1),(1047,1),(1048,1),(1105,1),(1136,1),(1152,1),(1375,1),(1397,1),(1414,1),(1426,1),(1640,1),(1808,1)}
959:{1,2,4,5,6}:{(741,1),(770,1),(790,1),(846,1),(847,1),(1043,1),(1106,1),(1126,1),(1137,1),(1150,1),(1152,1),(1178,1),(1179,1),(1379,1),(1388,1),(1398,1),(1414,1),(1427,1),(1439,1),(1445,1),(1450,1),(1465,1),(1468,1),(1473,1),(1474,1),(1608,1),(1618,1),(1642,1),(1655,1),(1665,1),(1682,1),(1814,1)}
960:{1,2,5,6}:{(742,1),(769,1),(789,1),(847,1),(1046,1),(1107,1),(1127,1),(1150,1),(1178,1),(1377,1),(1474,1)}
961:{1,2,5}:{(744,1),(773,1),(796,1),(1115,1)}
962:{1,2,5}:{(745,1),(771,1),(797,1),(1114,1)}
963:{1,2,5}:{(746,1),(772,1),(795,1),(1116,1),(1133,1),(1136,1)}
964:{1,2,4,6}:{(749,1),(797,1),(841,1),(854,1),(1058,1),(1114,1),(1132,1),(1183,1),(1364,1),(1421,1),(1424,1)}
965:{1,2,4,6}:{(747,1),(796,1),(841,1),(854,1),(1057,1),(1115,1),(1134,1),(1183,1),(1362,1),(1420,1),(1424,1)}
966:{1,4}:{(748,1),(795,1),(1056,1),(1133,1)}
967:{1,2,5}:{(751,1),(775,1),(801,1),(1089,1),(1144,1),(1149,1)}
968:{1,2,3,5}:{(752,1),(774,1),(803,1),(852,1),(1088,1),(1130,1),(1147,1),(1165,1),(1351,1),(1447,1),(1651,1)}
969:{1,2,3,5}:{(750,1),(776,1),(802,1),(852,1),(1087,1),(1129,1),(1148,1),(1165,1),(1356,1),(1438,1),(1449,1),(1614,1),(1647,1)}
970:{1,2,3}:{(754,1),(778,1),(795,1),(1053,1),(1055,1),(1646,1)}
971:{1,2,3,6}:{(753,1),(777,1),(797,1),(859,1),(1052,1),(1142,1),(1634,1),(1636,1)}
972:{1,2,3,6}:{(755,1),(779,1),(796,1),(859,1),(1059,1),(1143,1),(1627,1),(1642,1)}
973:{1,2,4,6}:{(758,1),(782,1),(801,1),(858,1),(1053,1),(1059,1),(1140,1),(1149,1),(1169,1),(1375,1),(1414,1),(1426,1),(1453,1),(1642,1),(1825,1)}
974:{1,2,3,4,6}:{(757,1),(780,1),(803,1),(853,1),(858,1),(1055,1),(1126,1),(1138,1),(1147,1),(1157,1),(1164,1),(1169,1),(1181,1),(1374,1),(1395,1),(1407,1),(1411,1),(1415,1),(1426,1),(1454,1),(1460,1),(1465,1),(1466,1),(1467,1),(1472,1),(1625,1),(1640,1),(1651,1),(1668,1),(1670,1),(1677,1),(1828,1)}
975:{1,2,3,6}:{(756,1),(781,1),(802,1),(853,1),(1056,1),(1127,1),(1139,1),(1157,1),(1164,1),(1371,1),(1466,1)}
976:{1,2,3,4}:{(760,1),(845,1),(854,1),(859,1),(1145,1),(1173,1),(1189,1)}
977:{1,4}:{(759,1),(859,1),(1144,1)}
978:{1,2,3}:{(761,1),(845,1),(854,1),(1654,1)}
979:{4,5,6}:{(805,1),(806,1),(809,1),(1061,1),(1062,1),(1151,1),(1158,1),(1383,1)}
980:{4,5}:{(807,1),(823,1),(1063,1),(1151,1),(1465,1)}
981:{4}:{(829,1)}
982:{4,6}:{(808,1),(830,1),(1150,1)}
983:{3,5,6}:{(804,1),(810,1),(860,1),(862,1),(1170,1),(1386,1)}
984:{3,4,6}:{(806,1),(811,1),(860,1),(861,1),(1171,1),(1794,1)}
985:{3,4,5}:{(805,1),(810,1),(813,1),(1074,1),(1155,1),(1161,1),(1172,1),(1386,1),(1388,1),(1433,1),(1465,1),(1673,1),(1678,1),(1836,1)}
986:{3,4}:{(808,1),(831,1),(1077,1),(1173,1),(1465,1)}
987:{3,6}:{(814,1),(832,1)}
988:{3,4,6}:{(812,1),(815,1),(833,1),(1060,1),(1061,1),(1152,1),(1163,1)}
989:{3,4,5}:{(814,1),(817,1),(834,1),(1078,1),(1155,1),(1156,1),(1165,1),(1386,1),(1395,1),(1433,1),(1465,1),(1656,1),(1658,1),(1794,1)}
990:{3,4,6}:{(816,1),(817,1),(835,1),(1155,1),(1157,1),(1164,1),(1395,1),(1465,1),(1466,1)}
991:{2,5}:{(805,1),(822,1),(1150,1)}
992:{2,4,6}:{(806,1),(821,1),(825,1),(1066,1),(1067,1),(1151,1),(1158,1)}
993:{2,4,6}:{(807,1),(826,1),(1151,1),(1152,1),(1159,1),(1160,1),(1465,1)}
994:{2,3,5,6}:{(809,1),(818,1),(823,1),(825,1),(1090,1),(1151,1),(1158,1),(1182,1),(1466,1)}
995:{2,3,6}:{(819,1),(824,1),(860,1),(862,1),(1183,1)}
996:{2,3,5}:{(812,1),(820,1),(1088,1),(1089,1),(1094,1),(1095,1),(1160,1),(1163,1),(1184,1),(1468,1),(1472,1)}
997:{2,3,4,5}:{(811,1),(821,1),(824,1),(828,1),(1073,1),(1074,1),(1078,1),(1079,1),(1161,1),(1162,1),(1165,1),(1185,1),(1352,1),(1353,1),(1360,1),(1386,1),(1433,1),(1465,1),(1611,1),(1613,1),(1652,1),(1654,1),(1656,1),(1678,1),(1794,1),(1796,1),(1822,1),(1836,1)}
998:{2,3,4,6}:{(813,1),(822,1),(827,1),(828,1),(1093,1),(1094,1),(1098,1),(1154,1),(1161,1),(1164,1),(1186,1),(1353,1),(1360,1),(1399,1),(1401,1),(1405,1),(1459,1),(1465,1),(1654,1),(1678,1)}
999:{2,3,5,6}:{(815,1),(829,1),(830,1),(846,1),(1105,1),(1150,1),(1152,1),(1163,1),(1389,1),(1408,1),(1468,1)}
1000:{2,3,6}:{(816,1),(831,1),(847,1),(1103,1),(1154,1),(1634,1)}
1001:{2,3}:{(817,1),(848,1),(1157,1)}
1002:{1,4,5}:{(805,1),(835,1),(836,1),(1150,1),(1155,1),(1178,1),(1388,1),(1465,1),(1474,1)}
1003:{1,4,6}:{(806,1),(834,1),(855,1),(1061,1),(1062,1),(1066,1),(1067,1),(1156,1),(1343,1),(1346,1)}
1004:{1,4}:{(807,1),(849,1),(1157,1)}
1005:{1,5,6}:{(809,1),(836,1),(839,1),(1616,1)}
1006:{1,5}:{(810,1),(841,1)}
1007:{1,4,5}:{(811,1),(840,1),(863,1),(864,1),(1171,1),(1836,1)}
1008:{1,4,5}:{(812,1),(833,1),(842,1),(1112,1),(1113,1),(1169,1),(1184,1)}
1009:{1,4,6}:{(813,1),(840,1),(856,1),(1111,1),(1112,1),(1114,1),(1115,1),(1172,1),(1362,1),(1364,1)}
1010:{1,3,5}:{(814,1),(845,1),(863,1),(865,1),(1174,1),(1433,1)}
1011:{1,3,5,6}:{(815,1),(837,1),(842,1),(844,1),(1119,1),(1123,1),(1150,1),(1155,1),(1157,1),(1374,1),(1379,1),(1384,1),(1432,1),(1466,1),(1474,1)}
1012:{1,3,6}:{(816,1),(838,1),(843,1),(1634,1)}
1013:{1,3,4}:{(817,1),(840,1),(843,1),(1111,1),(1112,1),(1173,1),(1189,1),(1437,1)}
1014:{1,2,6}:{(820,1),(833,1),(1163,1),(1184,1)}
1015:{1,2,4,6}:{(822,1),(835,1),(848,1),(851,1),(1127,1),(1164,1),(1178,1),(1405,1),(1444,1),(1465,1)}
1016:{1,2,4,5}:{(821,1),(834,1),(848,1),(852,1),(1087,1),(1088,1),(1129,1),(1165,1),(1168,1),(1178,1),(1180,1),(1352,1),(1353,1),(1438,1),(1444,1),(1447,1),(1449,1),(1465,1),(1613,1),(1656,1)}
1017:{1,2,4}:{(808,1),(857,1),(1160,1),(1166,1),(1169,1),(1173,1),(1465,1)}
1018:{1,2,5}:{(823,1),(836,1),(853,1),(1133,1),(1168,1),(1616,1)}
1019:{1,2,5}:{(824,1),(854,1),(863,1),(865,1),(1183,1)}
1020:{1,2,5,6}:{(826,1),(837,1),(849,1),(851,1),(1136,1),(1178,1),(1179,1),(1184,1),(1452,1),(1608,1),(1640,1)}
1021:{1,2,6}:{(827,1),(838,1),(850,1)}
1022:{1,2,6}:{(825,1),(839,1),(852,1)}
1023:{1,2,4}:{(828,1),(840,1),(850,1),(1114,1),(1115,1),(1173,1),(1189,1)}
1024:{1,2,3,5}:{(829,1),(842,1),(849,1),(858,1),(1140,1),(1157,1),(1169,1),(1184,1),(1394,1),(1408,1),(1472,1)}
1025:{1,2,3,5}:{(831,1),(843,1),(850,1),(859,1),(1144,1),(1173,1),(1188,1),(1189,1),(1474,1)}
1026:{1,2,3,6}:{(830,1),(844,1),(851,1),(857,1),(1149,1),(1163,1),(1164,1),(1181,1),(1412,1),(1642,1),(1651,1)}
1027:{1,6}:{(860,1),(863,1)}
1028:{1,2,3,5,6}:{(861,1),(864,1),(1171,1),(1475,1),(1478,1),(1480,1),(1815,1),(1820,1),(1822,1)}
1029:{1,4,6}:{(862,1),(865,1),(1170,1),(1174,1),(1183,1)}
1030:{2,3,5}:{(868,1),(878,1),(902,1),(1197,1),(1314,1),(1316,1),(1597,1),(1724,1)}
1031:{3,5}:{(866,1),(877,1),(1190,1),(1202,1),(1872,1)}
1032:{2,3,5}:{(870,1),(876,1),(901,1),(1194,1),(1201,1),(1214,1)}
1033:{3,5}:{(873,1),(879,1),(1199,1),(1212,1),(1870,1)}
1034:{2,3,5}:{(875,1),(880,1),(901,1),(1198,1),(1204,1),(1211,1),(1487,1),(1517,1),(1717,1),(1874,1)}
1035:{3,5}:{(869,1),(885,1),(1213,1)}
1036:{2,3,5}:{(867,1),(882,1),(902,1),(1193,1)}
1037:{2,3,5}:{(874,1),(881,1),(903,1),(1191,1),(1316,1),(1550,1)}
1038:{3,5}:{(872,1),(883,1),(1206,1)}
1039:{2,3,5}:{(871,1),(884,1),(903,1),(1192,1),(1314,1),(1541,1)}
1040:{1,2,4,5,6}:{(878,1),(909,1),(931,1),(954,1),(957,1),(1200,1),(1220,1),(1223,1),(1241,1),(1295,1),(1325,1),(1332,1),(1490,1),(1495,1),(1503,1),(1535,1),(1554,1),(1556,1),(1572,1),(1576,1),(1595,1),(1714,1),(1733,1)}
1041:{1,2,5,6}:{(882,1),(907,1),(931,1),(955,1),(1209,1),(1221,1),(1241,1),(1558,1),(1576,1),(1725,1)}
1042:{2,6}:{(880,1),(932,1)}
1043:{4,5,6}:{(885,1),(953,1),(956,1),(1205,1),(1222,1),(1225,1),(1709,1)}
1044:{1,2,4,5,6}:{(881,1),(909,1),(933,1),(952,1),(955,1),(1207,1),(1221,1),(1224,1),(1242,1),(1295,1),(1325,1),(1332,1),(1485,1),(1497,1),(1510,1),(1537,1),(1553,1),(1558,1),(1573,1),(1574,1),(1595,1),(1706,1),(1732,1)}
1045:{1,4,6}:{(877,1),(908,1),(952,1),(1202,1),(1224,1),(1297,1)}
1046:{5,6}:{(879,1),(956,1)}
1047:{1,4,6}:{(883,1),(908,1),(954,1),(1206,1),(1223,1),(1297,1)}
1048:{2,4,6}:{(876,1),(932,1),(953,1),(1201,1),(1225,1),(1243,1)}
1049:{1,2,5,6}:{(884,1),(907,1),(933,1),(957,1),(1208,1),(1220,1),(1242,1),(1556,1),(1574,1)}
1050:{1,2,3,4,6}:{(868,1),(951,1),(965,1),(972,1),(976,1),(1210,1),(1276,1),(1288,1),(1300,1),(1307,1),(1328,1),(1338,1),(1503,1),(1518,1),(1529,1),(1565,1),(1568,1),(1576,1),(1582,1),(1589,1),(1601,1),(1744,1),(1746,1)}
1051:{1,2}:{(875,1),(949,1)}
1052:{1,4,6}:{(873,1),(971,1),(977,1),(1212,1),(1275,1),(1309,1)}
1053:{1,2,4}:{(870,1),(949,1),(970,1),(1214,1),(1274,1),(1298,1)}
1054:{1,2,3,4,6}:{(871,1),(950,1),(964,1),(971,1),(976,1),(1219,1),(1275,1),(1287,1),(1299,1),(1307,1),(1328,1),(1338,1),(1509,1),(1520,1),(1531,1),(1566,1),(1569,1),(1574,1),(1581,1),(1590,1),(1601,1),(1735,1),(1748,1)}
1055:{1,3,4}:{(872,1),(966,1),(970,1),(1215,1),(1274,1),(1286,1),(1749,1)}
1056:{1,3}:{(866,1),(966,1)}
1057:{1,2,3,6}:{(874,1),(950,1),(965,1),(978,1),(1217,1),(1288,1),(1299,1),(1565,1),(1574,1)}
1058:{1,2,3,6}:{(867,1),(951,1),(964,1),(978,1),(1216,1),(1287,1),(1300,1),(1566,1),(1576,1),(1743,1)}
1059:{1,4,6}:{(869,1),(972,1),(977,1),(1213,1),(1276,1),(1309,1)}
1060:{4,6}:{(886,1),(899,1),(1243,1)}
1061:{4,6}:{(887,1),(898,1),(1241,1)}
1062:{4,6}:{(888,1),(900,1),(1242,1)}
1063:{4}:{(920,1)}
1064:{4,5}:{(921,1),(981,1),(1225,1),(1538,1)}
1065:{4,5}:{(919,1),(981,1),(1223,1)}
1066:{4,6}:{(889,1),(928,1),(1221,1)}
1067:{4,6}:{(890,1),(929,1),(1220,1)}
1068:{4,6}:{(891,1),(930,1),(1222,1)}
1069:{3,4,5}:{(886,1),(893,1),(901,1),(1198,1),(1227,1),(1239,1),(1248,1),(1268,1),(1487,1),(1517,1),(1538,1),(1709,1),(1717,1),(1749,1)}
1070:{3,4,5}:{(887,1),(894,1),(902,1),(1193,1),(1226,1),(1247,1),(1269,1),(1485,1),(1520,1),(1724,1),(1851,1)}
1071:{3,4,5}:{(888,1),(892,1),(903,1),(1191,1),(1192,1),(1228,1),(1249,1),(1270,1)}
1072:{3,4,5}:{(896,1),(915,1),(980,1),(1190,1),(1229,1),(1251,1),(1273,1),(1316,1),(1486,1),(1598,1)}
1073:{3,4,5}:{(895,1),(913,1),(980,1),(1191,1),(1231,1),(1271,1),(1316,1)}
1074:{4,5}:{(897,1),(914,1),(1193,1),(1230,1),(1851,1)}
1075:{3,4}:{(923,1),(981,1),(1276,1)}
1076:{3,4}:{(922,1),(981,1),(1274,1),(1538,1)}
1077:{4}:{(924,1)}
1078:{3,4}:{(889,1),(925,1),(1193,1),(1277,1),(1851,1)}
1079:{3,4,5}:{(890,1),(927,1),(986,1),(1192,1),(1234,1),(1279,1),(1314,1)}
1080:{3,4,5}:{(891,1),(926,1),(986,1),(1199,1),(1233,1),(1260,1),(1278,1),(1314,1),(1513,1),(1596,1)}
1081:{3,5,6}:{(902,1),(931,1),(987,1),(1226,1),(1566,1),(1724,1)}
1082:{3,6}:{(901,1),(932,1),(1280,1)}
1083:{3,5,6}:{(903,1),(933,1),(987,1),(1228,1),(1566,1)}
1084:{3,4,6}:{(894,1),(904,1),(934,1),(1238,1),(1258,1),(1317,1),(1520,1)}
1085:{3,4,6}:{(893,1),(906,1),(935,1),(1239,1),(1256,1),(1317,1),(1517,1),(1532,1),(1538,1),(1749,1),(1860,1)}
1086:{3,4,6}:{(892,1),(905,1),(936,1),(1235,1),(1240,1),(1257,1)}
1087:{2,5}:{(888,1),(911,1),(1242,1),(1244,1)}
1088:{2,5}:{(887,1),(912,1),(1241,1)}
1089:{2,5}:{(886,1),(910,1),(1243,1)}
1090:{3,6}:{(908,1),(915,1),(1297,1)}
1091:{2,3,5,6}:{(909,1),(913,1),(983,1),(995,1),(1231,1),(1295,1)}
1092:{2,3,5,6}:{(907,1),(914,1),(983,1),(995,1),(1230,1),(1296,1),(1566,1)}
1093:{2,3}:{(892,1),(911,1),(1254,1),(1299,1)}
1094:{2,3}:{(894,1),(912,1),(1300,1)}
1095:{2,3}:{(893,1),(910,1),(1298,1)}
1096:{2,3,4,6}:{(895,1),(917,1),(993,1),(1231,1),(1236,1),(1252,1),(1253,1),(1301,1),(1322,1),(1708,1)}
1097:{2,3,4,6}:{(896,1),(916,1),(993,1),(1229,1),(1237,1),(1251,1),(1255,1),(1302,1),(1322,1),(1499,1),(1598,1)}
1098:{2,4,6}:{(897,1),(918,1),(1230,1),(1235,1),(1250,1),(1254,1),(1752,1),(1858,1)}
1099:{2,3,5,6}:{(898,1),(919,1),(929,1),(954,1),(1206,1),(1220,1),(1223,1),(1241,1),(1484,1),(1499,1),(1535,1)}
1100:{2,3,5,6}:{(899,1),(921,1),(930,1),(953,1),(1201,1),(1205,1),(1222,1),(1225,1),(1243,1),(1306,1),(1488,1),(1500,1),(1532,1),(1536,1)}
1101:{2,3,5,6}:{(900,1),(920,1),(928,1),(952,1),(1202,1),(1221,1),(1224,1),(1242,1),(1486,1),(1498,1),(1537,1)}
1102:{2,3,6}:{(927,1),(957,1),(987,1),(1234,1),(1566,1)}
1103:{3,6}:{(926,1),(956,1),(1309,1)}
1104:{2,3,6}:{(925,1),(955,1),(987,1),(1232,1),(1566,1)}
1105:{2,3,6}:{(906,1),(922,1),(958,1),(1206,1),(1237,1),(1532,1),(1860,1)}
1106:{2,3,5,6}:{(904,1),(923,1),(959,1),(1000,1),(1205,1),(1236,1),(1258,1),(1314,1),(1321,1),(1322,1),(1500,1),(1532,1),(1542,1),(1551,1),(1588,1),(1597,1),(1723,1),(1854,1)}
1107:{2,3,5,6}:{(905,1),(924,1),(960,1),(1000,1),(1203,1),(1235,1),(1257,1),(1314,1),(1321,1),(1494,1),(1541,1)}
1108:{1,4,5}:{(886,1),(935,1),(942,1),(1239,1),(1289,1),(1313,1),(1487,1),(1538,1),(1560,1),(1709,1),(1850,1)}
1109:{1,4,5}:{(888,1),(936,1),(941,1),(1240,1),(1266,1),(1291,1)}
1110:{1,4,5}:{(887,1),(934,1),(940,1),(1238,1),(1290,1),(1313,1),(1485,1)}
1111:{1,4}:{(892,1),(944,1),(1299,1)}
1112:{1,4}:{(894,1),(945,1),(1300,1)}
1113:{1,4}:{(893,1),(943,1),(1298,1)}
1114:{1,4}:{(897,1),(962,1),(1287,1)}
1115:{1,4}:{(895,1),(961,1),(1288,1)}
1116:{1,4}:{(896,1),(963,1),(1286,1)}
1117:{1,3,5,6}:{(898,1),(940,1),(946,1),(1005,1),(1220,1),(1262,1),(1315,1),(1484,1),(1556,1),(1719,1)}
1118:{1,3,5,6}:{(900,1),(941,1),(948,1),(1005,1),(1221,1),(1264,1),(1315,1),(1486,1),(1558,1),(1720,1)}
1119:{1,5,6}:{(899,1),(942,1),(947,1),(1222,1),(1280,1)}
1120:{1,3,5}:{(903,1),(950,1),(1006,1),(1270,1),(1558,1)}
1121:{1,3,5}:{(902,1),(951,1),(1006,1),(1269,1),(1558,1),(1724,1)}
1122:{1,5}:{(901,1),(949,1),(1280,1)}
1123:{1,3,6}:{(906,1),(937,1),(943,1),(1280,1),(1286,1)}
1124:{1,3,5,6}:{(905,1),(939,1),(944,1),(1012,1),(1285,1),(1287,1),(1329,1),(1513,1),(1566,1),(1716,1)}
1125:{1,3,5,6}:{(904,1),(938,1),(945,1),(1012,1),(1284,1),(1288,1),(1329,1),(1514,1),(1565,1),(1723,1)}
1126:{1,2,4,6}:{(912,1),(934,1),(1014,1),(1241,1),(1258,1),(1290,1),(1300,1),(1319,1),(1334,1),(1495,1),(1529,1),(1540,1),(1576,1)}
1127:{1,2,6}:{(911,1),(936,1),(1242,1),(1257,1),(1291,1),(1299,1)}
1128:{1,2,4,6}:{(910,1),(935,1),(1014,1),(1243,1),(1256,1),(1289,1),(1298,1),(1319,1),(1334,1),(1501,1),(1526,1),(1538,1),(1575,1)}
1129:{1,2,4}:{(889,1),(969,1),(1244,1),(1261,1),(1266,1),(1277,1),(1713,1),(1852,1)}
1130:{1,2,4,5}:{(890,1),(968,1),(1017,1),(1246,1),(1259,1),(1265,1),(1279,1),(1293,1),(1331,1),(1745,1)}
1131:{1,2,4,5}:{(891,1),(967,1),(1017,1),(1245,1),(1260,1),(1267,1),(1278,1),(1294,1),(1331,1),(1527,1),(1596,1)}
1132:{1,2,5}:{(914,1),(964,1),(1006,1),(1272,1),(1558,1)}
1133:{1,5}:{(915,1),(966,1),(1297,1)}
1134:{1,2,5}:{(913,1),(965,1),(1006,1),(1271,1),(1558,1)}
1135:{1,2,5,6}:{(918,1),(939,1),(962,1),(1021,1),(1299,1),(1303,1),(1335,1),(1525,1),(1574,1)}
1136:{1,2,6}:{(916,1),(937,1),(963,1),(1297,1),(1298,1)}
1137:{1,2,5,6}:{(917,1),(938,1),(961,1),(1021,1),(1300,1),(1301,1),(1335,1),(1527,1),(1576,1)}
1138:{1,2,3,5}:{(919,1),(940,1),(974,1),(1018,1),(1215,1),(1265,1),(1290,1),(1316,1),(1321,1),(1331,1),(1530,1),(1543,1),(1545,1),(1552,1),(1560,1),(1597,1),(1719,1),(1877,1)}
1139:{1,2,3,5}:{(920,1),(941,1),(975,1),(1018,1),(1218,1),(1266,1),(1291,1),(1316,1),(1321,1),(1523,1),(1550,1)}
1140:{1,2,5}:{(921,1),(942,1),(973,1),(1213,1),(1267,1),(1560,1),(1850,1)}
1141:{1,2,3,5}:{(922,1),(943,1),(963,1),(970,1),(1214,1),(1215,1),(1274,1),(1286,1),(1298,1),(1310,1),(1519,1),(1530,1),(1560,1),(1591,1)}
1142:{1,2,3,5}:{(924,1),(944,1),(962,1),(971,1),(1212,1),(1275,1),(1287,1),(1299,1),(1513,1),(1525,1),(1590,1)}
1143:{1,2,3,5}:{(923,1),(945,1),(961,1),(972,1),(1213,1),(1276,1),(1288,1),(1300,1),(1514,1),(1527,1),(1589,1)}
1144:{1,5}:{(926,1),(977,1),(1309,1)}
1145:{1,2,3,5}:{(927,1),(976,1),(1010,1),(1019,1),(1279,1),(1307,1)}
1146:{1,2,3,5}:{(925,1),(978,1),(1010,1),(1019,1),(1277,1),(1308,1),(1558,1)}
1147:{1,2,3,6}:{(929,1),(946,1),(968,1),(1022,1),(1241,1),(1293,1),(1323,1),(1499,1),(1576,1)}
1148:{1,2,3,6}:{(928,1),(948,1),(969,1),(1022,1),(1242,1),(1292,1),(1323,1),(1498,1),(1574,1)}
1149:{1,2,6}:{(930,1),(947,1),(967,1),(1243,1),(1309,1)}
1150:{5}:{(982,1)}
1151:{4,6}:{(980,1),(994,1)}
1152:{4,6}:{(981,1),(999,1),(1313,1),(1538,1)}
1153:{3,4,5,6}:{(979,1),(983,1),(984,1),(985,1),(1226,1),(1228,1),(1230,1),(1231,1),(1315,1),(1320,1),(1327,1),(1485,1),(1490,1),(1491,1),(1566,1),(1595,1),(1716,1),(1724,1),(1772,1),(1851,1),(1858,1)}
1154:{3,4,6}:{(982,1),(986,1),(1000,1),(1235,1),(1314,1),(1328,1)}
1155:{3,5}:{(990,1),(1002,1)}
1156:{3,4,6}:{(987,1),(989,1),(1003,1),(1315,1),(1323,1),(1566,1),(1595,1)}
1157:{3}:{(1004,1)}
1158:{2,5,6}:{(979,1),(991,1),(992,1),(1220,1),(1221,1),(1241,1),(1242,1),(1537,1)}
1159:{2,4,5}:{(980,1),(991,1),(993,1),(1244,1),(1251,1),(1313,1)}
1160:{2,4}:{(981,1),(996,1),(1538,1)}
1161:{2,3,5}:{(985,1),(991,1),(998,1),(1250,1),(1314,1),(1335,1),(1541,1)}
1162:{2,3,4,6}:{(984,1),(992,1),(995,1),(997,1),(1230,1),(1231,1),(1232,1),(1234,1),(1320,1),(1323,1),(1336,1),(1495,1),(1497,1),(1566,1),(1595,1),(1735,1),(1743,1),(1772,1),(1851,1),(1858,1)}
1163:{2,3,6}:{(988,1),(996,1),(1014,1),(1241,1),(1243,1),(1319,1)}
1164:{2,3,6}:{(990,1),(1001,1),(1015,1),(1321,1),(1550,1)}
1165:{2,3,5}:{(989,1),(1001,1),(1016,1),(1261,1),(1316,1),(1323,1),(1550,1)}
1166:{2,3,4}:{(986,1),(1001,1),(1017,1),(1254,1),(1260,1),(1317,1)}
1167:{1,4,5,6}:{(979,1),(1002,1),(1003,1),(1005,1),(1220,1),(1221,1),(1315,1),(1325,1),(1332,1),(1485,1),(1490,1),(1553,1),(1556,1),(1558,1),(1595,1)}
1168:{1,4,5}:{(980,1),(1004,1),(1018,1),(1266,1),(1316,1),(1325,1)}
1169:{1,4}:{(981,1),(1024,1),(1317,1),(1538,1)}
1170:{1,5,6}:{(983,1),(1006,1),(1027,1),(1029,1),(1558,1)}
1171:{1,4,6}:{(984,1),(1007,1),(1027,1),(1028,1),(1851,1),(1852,1),(1858,1)}
1172:{1,4,5}:{(985,1),(1006,1),(1009,1),(1329,1),(1335,1),(1558,1),(1601,1)}
1173:{1,4}:{(986,1),(1025,1)}
1174:{1,3,6}:{(987,1),(1010,1),(1027,1),(1029,1),(1566,1)}
1175:{1,3,4,5,6}:{(988,1),(1008,1),(1011,1),(1238,1),(1239,1),(1262,1),(1263,1),(1283,1),(1284,1),(1313,1),(1317,1),(1326,1),(1337,1),(1483,1),(1484,1),(1504,1),(1511,1),(1514,1),(1516,1),(1532,1),(1533,1),(1538,1),(1559,1),(1560,1),(1597,1),(1710,1),(1715,1),(1722,1),(1750,1),(1761,1),(1765,1),(1781,1),(1850,1),(1860,1),(1867,1)}
1176:{1,3,4,5}:{(989,1),(1007,1),(1010,1),(1013,1),(1269,1),(1270,1),(1277,1),(1279,1),(1329,1),(1330,1),(1339,1),(1518,1),(1520,1),(1521,1),(1558,1),(1601,1),(1720,1),(1724,1),(1769,1),(1851,1),(1852,1)}
1177:{1,3,4,6}:{(990,1),(1009,1),(1012,1),(1013,1),(1287,1),(1288,1),(1328,1),(1329,1),(1338,1),(1518,1),(1520,1),(1565,1),(1566,1),(1569,1),(1601,1)}
1178:{1,2,5}:{(991,1),(1002,1),(1015,1),(1321,1),(1541,1)}
1179:{1,2,4,6}:{(993,1),(1004,1),(1020,1),(1322,1),(1325,1),(1326,1),(1333,1),(1334,1),(1708,1),(1861,1)}
1180:{1,2,4,6}:{(992,1),(1003,1),(1016,1),(1022,1),(1241,1),(1242,1),(1323,1),(1325,1),(1332,1),(1495,1),(1497,1),(1574,1),(1576,1),(1595,1)}
1181:{1,2,4,6}:{(982,1),(1017,1),(1026,1),(1319,1),(1324,1),(1326,1),(1328,1),(1331,1),(1745,1),(1861,1)}
1182:{1,2,5,6}:{(994,1),(1005,1),(1018,1),(1022,1),(1297,1),(1325,1)}
1183:{1,2,6}:{(995,1),(1019,1),(1027,1),(1029,1)}
1184:{1,2,5}:{(996,1),(1008,1),(1014,1),(1298,1),(1300,1),(1334,1)}
1185:{1,2,4,5}:{(997,1),(1007,1),(1019,1),(1023,1),(1271,1),(1272,1),(1277,1),(1279,1),(1335,1),(1336,1),(1339,1),(1529,1),(1531,1),(1558,1),(1601,1),(1725,1),(1732,1),(1769,1),(1851,1),(1852,1)}
1186:{1,2,4,6}:{(998,1),(1009,1),(1021,1),(1023,1),(1299,1),(1300,1),(1328,1),(1335,1),(1338,1),(1529,1),(1531,1),(1574,1),(1576,1),(1601,1)}
1187:{1,2,3,5,6}:{(999,1),(1011,1),(1020,1),(1024,1),(1026,1),(1306,1),(1310,1),(1321,1),(1322,1),(1326,1),(1331,1),(1532,1),(1544,1),(1560,1),(1587,1),(1597,1),(1715,1),(1861,1)}
1188:{1,2,3,6}:{(1000,1),(1012,1),(1021,1),(1025,1),(1309,1),(1328,1)}
1189:{1,2,3}:{(1001,1),(1013,1),(1023,1),(1287,1),(1288,1),(1299,1),(1300,1),(1590,1)}
1190:{3,4}:{(1031,1),(1063,1),(1356,1),(1366,1)}
1191:{3,4}:{(1037,1),(1063,1),(1362,1),(1465,1)}
1192:{4,5}:{(1039,1),(1077,1),(1343,1),(1465,1)}
1193:{4}:{(1036,1)}
1194:{3,4,5}:{(1032,1),(1064,1),(1076,1),(1345,1),(1367,1),(1389,1),(1394,1)}
1195:{3,4,5}:{(1038,1),(1065,1),(1076,1),(1344,1),(1351,1),(1363,1),(1389,1),(1666,1),(1839,1)}
1196:{3,4,5}:{(1035,1),(1064,1),(1075,1),(1347,1),(1357,1),(1368,1),(1394,1),(1671,1),(1790,1)}
1197:{3,4,5}:{(1030,1),(1065,1),(1075,1),(1348,1),(1369,1),(1465,1),(1656,1),(1678,1)}
1198:{4}:{(1034,1)}
1199:{4,5}:{(1033,1),(1077,1),(1349,1),(1359,1)}
1200:{2,3,5,6}:{(1030,1),(1040,1),(1081,1),(1102,1),(1348,1),(1385,1),(1399,1),(1466,1),(1660,1),(1668,1)}
1201:{2,3,6}:{(1032,1),(1048,1),(1082,1),(1345,1),(1375,1)}
1202:{3,6}:{(1031,1),(1045,1)}
1203:{3,5,6}:{(1033,1),(1046,1),(1103,1),(1349,1),(1377,1),(1634,1)}
1204:{2,3,6}:{(1034,1),(1042,1),(1082,1),(1350,1),(1378,1),(1632,1)}
1205:{3,5,6}:{(1035,1),(1043,1),(1103,1),(1347,1),(1379,1),(1790,1)}
1206:{3,6}:{(1038,1),(1047,1)}
1207:{2,3,5,6}:{(1037,1),(1044,1),(1083,1),(1104,1),(1341,1),(1386,1),(1401,1),(1466,1),(1611,1),(1658,1),(1667,1)}
1208:{2,3,5,6}:{(1039,1),(1049,1),(1083,1),(1102,1),(1343,1),(1385,1),(1401,1),(1610,1)}
1209:{2,3,5,6}:{(1036,1),(1041,1),(1081,1),(1104,1),(1346,1),(1386,1),(1399,1),(1613,1),(1822,1)}
1210:{1,2,3,5}:{(1030,1),(1050,1),(1121,1),(1134,1),(1369,1),(1434,1),(1447,1),(1474,1),(1675,1),(1682,1)}
1211:{1,2,5}:{(1034,1),(1051,1),(1122,1),(1365,1),(1378,1),(1619,1)}
1212:{1,5}:{(1033,1),(1052,1)}
1213:{1,5}:{(1035,1),(1059,1)}
1214:{1,2,5}:{(1032,1),(1053,1),(1122,1),(1367,1),(1375,1)}
1215:{1,3,5}:{(1038,1),(1055,1),(1133,1),(1363,1),(1374,1),(1839,1)}
1216:{1,2,3,5}:{(1036,1),(1058,1),(1121,1),(1132,1),(1364,1),(1433,1),(1447,1),(1654,1),(1822,1)}
1217:{1,2,3,5}:{(1037,1),(1057,1),(1120,1),(1134,1),(1362,1),(1434,1),(1449,1),(1647,1)}
1218:{1,3,5}:{(1031,1),(1056,1),(1133,1),(1366,1),(1371,1),(1616,1)}
1219:{1,2,3,5}:{(1039,1),(1054,1),(1120,1),(1132,1),(1370,1),(1433,1),(1449,1),(1474,1),(1652,1),(1673,1),(1683,1)}
1220:{5,6}:{(1067,1),(1150,1)}
1221:{5}:{(1066,1)}
1222:{5,6}:{(1068,1),(1150,1)}
1223:{4,6}:{(1065,1),(1099,1)}
1224:{4,6}:{(1063,1),(1101,1),(1383,1)}
1225:{4,6}:{(1064,1),(1100,1)}
1226:{3,4,6}:{(1061,1),(1070,1),(1081,1),(1346,1),(1399,1),(1418,1)}
1227:{3,4,6}:{(1060,1),(1069,1),(1082,1),(1350,1),(1391,1),(1400,1),(1417,1),(1632,1),(1662,1)}
1228:{3,4,6}:{(1062,1),(1071,1),(1083,1),(1343,1),(1401,1),(1419,1)}
1229:{3,4,6}:{(1072,1),(1090,1),(1151,1),(1404,1),(1422,1),(1466,1)}
1230:{4,6}:{(1074,1),(1092,1)}
1231:{3,4,6}:{(1073,1),(1091,1),(1151,1),(1420,1),(1466,1)}
1232:{3,4,6}:{(1066,1),(1078,1),(1104,1),(1346,1),(1386,1),(1424,1)}
1233:{3,4,6}:{(1068,1),(1080,1),(1103,1),(1349,1),(1384,1),(1412,1),(1423,1),(1634,1),(1655,1)}
1234:{3,4,6}:{(1067,1),(1079,1),(1102,1),(1343,1),(1385,1),(1425,1)}
1235:{4,6}:{(1077,1),(1107,1),(1388,1),(1465,1)}
1236:{3,4,6}:{(1075,1),(1106,1),(1152,1),(1387,1),(1427,1),(1465,1),(1655,1),(1671,1),(1678,1)}
1237:{3,4,6}:{(1076,1),(1105,1),(1152,1),(1389,1),(1426,1)}
1238:{3,4,5}:{(1084,1),(1110,1),(1155,1),(1410,1),(1465,1)}
1239:{3,5}:{(1085,1),(1108,1)}
1240:{3,4,5}:{(1086,1),(1109,1),(1155,1),(1388,1),(1395,1),(1409,1),(1465,1)}
1241:{2,6}:{(1061,1),(1088,1)}
1242:{2,6}:{(1062,1),(1087,1)}
1243:{2,6}:{(1060,1),(1089,1)}
1244:{2,4}:{(1063,1),(1087,1),(1356,1)}
1245:{2,4,5}:{(1064,1),(1089,1),(1160,1),(1357,1),(1398,1),(1468,1)}
1246:{2,4,5}:{(1065,1),(1088,1),(1160,1),(1351,1),(1397,1),(1468,1),(1666,1)}
1247:{2,3,5}:{(1070,1),(1088,1),(1094,1),(1353,1),(1399,1),(1447,1),(1613,1),(1654,1)}
1248:{2,3,5}:{(1069,1),(1089,1),(1095,1),(1358,1),(1400,1),(1448,1),(1606,1),(1646,1)}
1249:{2,3,5}:{(1071,1),(1087,1),(1093,1),(1352,1),(1360,1),(1401,1),(1449,1)}
1250:{2,4,5}:{(1074,1),(1098,1),(1161,1),(1353,1),(1388,1),(1465,1),(1836,1)}
1251:{2,3,5}:{(1072,1),(1097,1),(1159,1),(1356,1),(1389,1),(1452,1)}
1252:{2,3,4,5}:{(1073,1),(1096,1),(1159,1),(1161,1),(1360,1),(1387,1),(1451,1),(1465,1),(1471,1),(1664,1),(1678,1)}
1253:{2,3,4}:{(1075,1),(1094,1),(1160,1),(1357,1),(1453,1),(1472,1),(1671,1)}
1254:{2,4}:{(1077,1),(1093,1),(1359,1)}
1255:{2,3,4}:{(1076,1),(1095,1),(1160,1),(1351,1),(1454,1),(1472,1)}
1256:{2,3,6}:{(1085,1),(1095,1),(1128,1),(1408,1),(1472,1),(1646,1)}
1257:{2,3,6}:{(1086,1),(1093,1),(1127,1),(1405,1),(1409,1)}
1258:{2,3,6}:{(1084,1),(1094,1),(1126,1),(1410,1),(1472,1),(1654,1)}
1259:{2,3,4,5}:{(1079,1),(1130,1),(1165,1),(1166,1),(1352,1),(1393,1),(1413,1),(1465,1),(1469,1),(1656,1),(1672,1)}
1260:{2,3,5}:{(1080,1),(1131,1),(1166,1),(1359,1),(1394,1),(1412,1)}
1261:{2,3,4}:{(1078,1),(1129,1),(1165,1),(1353,1),(1395,1),(1465,1),(1794,1)}
1262:{1,4,5,6}:{(1061,1),(1110,1),(1117,1),(1381,1),(1390,1),(1415,1),(1418,1),(1442,1),(1803,1)}
1263:{1,4,5,6}:{(1060,1),(1108,1),(1119,1),(1382,1),(1391,1),(1414,1),(1417,1),(1443,1),(1617,1),(1662,1)}
1264:{1,4,5,6}:{(1062,1),(1109,1),(1118,1),(1383,1),(1392,1),(1416,1),(1419,1),(1441,1),(1623,1)}
1265:{1,4,5}:{(1065,1),(1138,1),(1169,1),(1393,1),(1415,1),(1465,1),(1656,1),(1666,1),(1677,1)}
1266:{1,4}:{(1063,1),(1139,1),(1395,1),(1465,1)}
1267:{1,4,5}:{(1064,1),(1140,1),(1169,1),(1394,1),(1414,1)}
1268:{1,4,5}:{(1069,1),(1113,1),(1122,1),(1365,1),(1417,1),(1429,1),(1448,1),(1619,1),(1687,1)}
1269:{1,4,5}:{(1070,1),(1112,1),(1121,1),(1364,1),(1418,1),(1447,1)}
1270:{1,4,5}:{(1071,1),(1111,1),(1120,1),(1362,1),(1419,1),(1449,1)}
1271:{1,4,5}:{(1073,1),(1115,1),(1134,1),(1362,1),(1420,1),(1434,1)}
1272:{1,4,5}:{(1074,1),(1114,1),(1132,1),(1364,1),(1421,1),(1433,1)}
1273:{1,4,5}:{(1072,1),(1116,1),(1133,1),(1366,1),(1422,1),(1432,1),(1452,1),(1616,1),(1677,1)}
1274:{1,4}:{(1076,1),(1141,1)}
1275:{1,4}:{(1077,1),(1142,1),(1437,1)}
1276:{1,4}:{(1075,1),(1143,1)}
1277:{1,4}:{(1078,1),(1146,1)}
1278:{1,4,5}:{(1080,1),(1144,1),(1173,1),(1423,1),(1462,1),(1474,1)}
1279:{1,4,5}:{(1079,1),(1145,1),(1173,1),(1425,1),(1474,1)}
1280:{1,6}:{(1082,1),(1122,1)}
1281:{1,3,5,6}:{(1083,1),(1120,1),(1170,1),(1174,1),(1419,1)}
1282:{1,3,5,6}:{(1081,1),(1121,1),(1170,1),(1174,1),(1418,1)}
1283:{1,3,4,6}:{(1085,1),(1113,1),(1123,1),(1417,1),(1426,1),(1429,1),(1436,1),(1457,1),(1631,1),(1687,1)}
1284:{1,3,4,6}:{(1084,1),(1112,1),(1125,1),(1418,1),(1427,1),(1430,1),(1435,1),(1456,1),(1795,1)}
1285:{1,3,4,6}:{(1086,1),(1111,1),(1124,1),(1419,1),(1428,1),(1431,1),(1437,1),(1458,1),(1633,1)}
1286:{1,3}:{(1116,1),(1157,1)}
1287:{3}:{(1114,1)}
1288:{1,3}:{(1115,1),(1157,1)}
1289:{1,2,5}:{(1089,1),(1108,1),(1128,1),(1408,1),(1468,1),(1606,1)}
1290:{1,2,5}:{(1088,1),(1110,1),(1126,1),(1410,1),(1468,1),(1613,1)}
1291:{1,2,5}:{(1087,1),(1109,1),(1127,1),(1409,1),(1444,1)}
1292:{1,2,4,6}:{(1066,1),(1129,1),(1148,1),(1396,1),(1411,1),(1416,1),(1424,1),(1438,1)}
1293:{1,2,4,6}:{(1067,1),(1130,1),(1147,1),(1397,1),(1413,1),(1415,1),(1425,1),(1440,1)}
1294:{1,2,4,6}:{(1068,1),(1131,1),(1149,1),(1398,1),(1412,1),(1414,1),(1423,1),(1439,1),(1642,1),(1655,1)}
1295:{1,2,5,6}:{(1091,1),(1134,1),(1170,1),(1183,1),(1420,1)}
1296:{1,2,5,6}:{(1092,1),(1132,1),(1170,1),(1183,1),(1421,1)}
1297:{1,6}:{(1090,1),(1133,1)}
1298:{1,2}:{(1095,1),(1113,1)}
1299:{1,2}:{(1093,1),(1111,1)}
1300:{1,2}:{(1094,1),(1112,1)}
1301:{1,2,4,6}:{(1096,1),(1115,1),(1137,1),(1420,1),(1427,1),(1451,1),(1453,1),(1461,1)}
1302:{1,2,4,6}:{(1097,1),(1116,1),(1136,1),(1422,1),(1426,1),(1452,1),(1454,1),(1460,1),(1640,1),(1677,1)}
1303:{1,2,4,6}:{(1098,1),(1114,1),(1135,1),(1421,1),(1428,1),(1450,1),(1455,1),(1459,1)}
1304:{1,2,3,5,6}:{(1101,1),(1118,1),(1139,1),(1148,1),(1182,1),(1371,1),(1416,1),(1438,1),(1441,1),(1466,1),(1470,1),(1614,1),(1616,1),(1638,1),(1658,1),(1667,1),(1815,1)}
1305:{1,2,3,5,6}:{(1099,1),(1117,1),(1138,1),(1147,1),(1182,1),(1374,1),(1415,1),(1440,1),(1442,1),(1466,1),(1470,1),(1605,1),(1621,1),(1640,1),(1660,1),(1668,1)}
1306:{1,2,5,6}:{(1100,1),(1119,1),(1140,1),(1149,1),(1375,1),(1379,1),(1414,1),(1617,1),(1642,1)}
1307:{1,2,3,6}:{(1102,1),(1145,1),(1174,1),(1183,1),(1425,1)}
1308:{1,2,3,6}:{(1104,1),(1146,1),(1174,1),(1183,1),(1424,1)}
1309:{1,6}:{(1103,1),(1144,1)}
1310:{1,2,3,6}:{(1105,1),(1123,1),(1136,1),(1141,1),(1374,1),(1375,1),(1426,1),(1631,1),(1640,1)}
1311:{1,2,3,5,6}:{(1106,1),(1125,1),(1137,1),(1143,1),(1188,1),(1379,1),(1427,1),(1456,1),(1461,1),(1474,1),(1479,1),(1627,1),(1642,1),(1648,1),(1675,1),(1682,1)}
1312:{1,2,3,5,6}:{(1107,1),(1124,1),(1135,1),(1142,1),(1188,1),(1377,1),(1428,1),(1458,1),(1459,1),(1474,1),(1479,1),(1634,1),(1636,1),(1650,1),(1673,1),(1683,1),(1820,1)}
1313:{4,5}:{(1150,1),(1152,1),(1389,1),(1468,1)}
1314:{3,5}:{(1150,1),(1154,1),(1388,1),(1474,1)}
1315:{3,5,6}:{(1155,1),(1156,1),(1167,1),(1386,1),(1466,1),(1658,1)}
1316:{3,5}:{(1157,1),(1168,1),(1395,1),(1466,1)}
1317:{3,4}:{(1157,1),(1169,1),(1394,1),(1472,1)}
1318:{2,4,5,6}:{(1151,1),(1158,1),(1159,1),(1381,1),(1383,1),(1396,1),(1397,1),(1404,1)}
1319:{2,4,6}:{(1152,1),(1160,1),(1163,1),(1468,1)}
1320:{2,3,5,6}:{(1153,1),(1158,1),(1161,1),(1162,1),(1385,1),(1386,1),(1399,1),(1401,1),(1403,1),(1478,1),(1610,1),(1611,1),(1613,1),(1822,1)}
1321:{2,3,5}:{(1155,1),(1164,1),(1178,1),(1465,1)}
1322:{2,3,6}:{(1157,1),(1179,1),(1466,1),(1467,1),(1471,1),(1472,1)}
1323:{2,3,6}:{(1156,1),(1165,1),(1180,1),(1466,1)}
1324:{2,3,4,6}:{(1154,1),(1164,1),(1166,1),(1181,1),(1405,1),(1412,1),(1465,1),(1467,1),(1469,1),(1655,1),(1672,1),(1793,1)}
1325:{1,4,6}:{(1151,1),(1168,1),(1182,1),(1466,1)}
1326:{1,4,6}:{(1152,1),(1169,1),(1187,1),(1465,1),(1467,1),(1473,1),(1655,1),(1677,1)}
1327:{1,4,5,6}:{(1153,1),(1170,1),(1171,1),(1172,1),(1418,1),(1419,1),(1420,1),(1421,1),(1475,1),(1478,1),(1622,1),(1623,1),(1703,1)}
1328:{1,4,6}:{(1154,1),(1173,1),(1188,1),(1474,1)}
1329:{1,3,5}:{(1155,1),(1172,1),(1177,1),(1433,1),(1474,1),(1673,1)}
1330:{1,3,4,6}:{(1156,1),(1171,1),(1174,1),(1176,1),(1418,1),(1419,1),(1424,1),(1425,1),(1475,1),(1480,1),(1630,1),(1633,1),(1703,1)}
1331:{1,2,5}:{(1150,1),(1181,1),(1468,1),(1469,1),(1473,1),(1474,1)}
1332:{1,2,5,6}:{(1158,1),(1167,1),(1178,1),(1180,1),(1438,1),(1470,1),(1610,1),(1613,1)}
1333:{1,2,4,5}:{(1159,1),(1168,1),(1178,1),(1179,1),(1444,1),(1452,1),(1465,1),(1471,1),(1473,1),(1664,1),(1677,1),(1838,1)}
1334:{1,2,4}:{(1160,1),(1169,1),(1184,1),(1472,1)}
1335:{1,2,5}:{(1161,1),(1172,1),(1186,1),(1474,1)}
1336:{1,2,4,6}:{(1162,1),(1171,1),(1183,1),(1185,1),(1420,1),(1421,1),(1424,1),(1425,1),(1478,1),(1480,1),(1703,1)}
1337:{1,2,3,5,6}:{(1163,1),(1175,1),(1184,1),(1408,1),(1410,1),(1442,1),(1443,1),(1456,1),(1457,1),(1468,1),(1472,1),(1477,1),(1605,1),(1609,1),(1640,1),(1642,1),(1648,1),(1653,1),(1668,1),(1669,1),(1682,1),(1684,1),(1702,1)}
1338:{1,2,3,6}:{(1164,1),(1177,1),(1186,1),(1189,1),(1459,1),(1479,1),(1647,1),(1654,1)}
1339:{1,2,3,5}:{(1165,1),(1176,1),(1185,1),(1189,1),(1433,1),(1434,1),(1447,1),(1449,1),(1464,1),(1480,1),(1647,1),(1652,1),(1654,1),(1822,1)}
1340:{1,2,3,4}:{(1166,1),(1173,1),(1189,1),(1435,1),(1437,1),(1453,1),(1455,1),(1462,1)}
1341:{3,4,6}:{(1191,1),(1207,1),(1224,1),(1491,1),(1510,1),(1595,1)}
1342:{3,4,6}:{(1190,1),(1202,1),(1224,1),(1486,1),(1498,1),(1505,1),(1713,1),(1872,1)}
1343:{4,6}:{(1192,1),(1208,1)}
1344:{3,4,6}:{(1195,1),(1206,1),(1223,1),(1484,1),(1499,1),(1504,1),(1710,1),(1860,1)}
1345:{3,4,6}:{(1194,1),(1201,1),(1225,1),(1488,1),(1502,1),(1532,1)}
1346:{4,6}:{(1193,1),(1209,1),(1485,1),(1851,1)}
1347:{3,4,6}:{(1196,1),(1205,1),(1225,1),(1500,1),(1511,1),(1532,1)}
1348:{3,4,6}:{(1197,1),(1200,1),(1223,1),(1503,1),(1595,1)}
1349:{4,6}:{(1199,1),(1203,1),(1494,1)}
1350:{4,6}:{(1198,1),(1204,1),(1487,1)}
1351:{2,3,5}:{(1195,1),(1246,1),(1255,1),(1499,1),(1530,1)}
1352:{2,4,5}:{(1192,1),(1249,1),(1254,1),(1497,1),(1539,1),(1541,1)}
1353:{2,4}:{(1193,1),(1247,1),(1851,1)}
1354:{2,3,4,5}:{(1194,1),(1245,1),(1248,1),(1255,1),(1492,1),(1524,1),(1538,1),(1543,1),(1551,1),(1709,1),(1749,1),(1871,1)}
1355:{2,3,4,5}:{(1197,1),(1246,1),(1247,1),(1253,1),(1496,1),(1522,1),(1540,1),(1542,1),(1552,1),(1711,1),(1754,1),(1765,1)}
1356:{2,3}:{(1190,1),(1244,1),(1523,1)}
1357:{2,3,5}:{(1196,1),(1245,1),(1253,1),(1500,1),(1527,1)}
1358:{2,4}:{(1198,1),(1248,1),(1538,1)}
1359:{2,5}:{(1199,1),(1254,1),(1494,1)}
1360:{2,3,4}:{(1191,1),(1244,1),(1249,1),(1531,1),(1539,1),(1550,1)}
1361:{1,4,5}:{(1199,1),(1212,1),(1275,1),(1507,1),(1513,1),(1525,1),(1752,1),(1870,1)}
1362:{1,4}:{(1191,1),(1217,1)}
1363:{1,4,5}:{(1195,1),(1215,1),(1274,1),(1504,1),(1530,1),(1560,1)}
1364:{1,4}:{(1193,1),(1216,1),(1520,1),(1851,1)}
1365:{1,4}:{(1198,1),(1211,1),(1517,1)}
1366:{1,4}:{(1190,1),(1218,1),(1523,1)}
1367:{1,4,5}:{(1194,1),(1214,1),(1274,1),(1502,1),(1519,1),(1560,1)}
1368:{1,4,5}:{(1196,1),(1213,1),(1276,1),(1511,1),(1514,1),(1527,1),(1750,1),(1850,1)}
1369:{1,4,5}:{(1197,1),(1210,1),(1276,1),(1503,1),(1601,1)}
1370:{1,4,5}:{(1192,1),(1219,1),(1275,1),(1509,1),(1521,1),(1601,1)}
1371:{1,3,6}:{(1202,1),(1218,1),(1297,1),(1505,1),(1872,1)}
1372:{1,2,3,5,6}:{(1207,1),(1217,1),(1281,1),(1295,1),(1308,1),(1510,1),(1558,1),(1565,1),(1574,1),(1720,1),(1732,1),(1740,1)}
1373:{1,2,3,5,6}:{(1208,1),(1219,1),(1281,1),(1296,1),(1307,1),(1509,1),(1556,1),(1566,1),(1574,1),(1716,1),(1728,1),(1735,1)}
1374:{1,3,6}:{(1206,1),(1215,1),(1297,1),(1504,1),(1860,1)}
1375:{1,2,6}:{(1201,1),(1214,1),(1280,1),(1502,1)}
1376:{1,2,3,5,6}:{(1200,1),(1210,1),(1282,1),(1295,1),(1307,1),(1503,1),(1556,1),(1565,1),(1576,1),(1722,1),(1733,1),(1744,1)}
1377:{1,5,6}:{(1203,1),(1212,1),(1309,1),(1507,1),(1870,1)}
1378:{1,2,6}:{(1204,1),(1211,1),(1280,1),(1508,1),(1874,1)}
1379:{1,5,6}:{(1205,1),(1213,1),(1309,1),(1511,1),(1850,1)}
1380:{1,2,3,5,6}:{(1209,1),(1216,1),(1282,1),(1296,1),(1308,1),(1506,1),(1558,1),(1566,1),(1576,1),(1724,1),(1725,1),(1743,1)}
1381:{4,5,6}:{(1220,1),(1223,1),(1313,1),(1484,1),(1535,1),(1710,1)}
1382:{4,5,6}:{(1222,1),(1225,1),(1313,1),(1488,1),(1536,1)}
1383:{4,5}:{(1221,1),(1224,1),(1486,1),(1537,1),(1713,1)}
1384:{3,5,6}:{(1222,1),(1233,1),(1314,1),(1482,1),(1557,1)}
1385:{3,5,6}:{(1220,1),(1234,1),(1314,1),(1490,1),(1556,1)}
1386:{3,5}:{(1221,1),(1232,1),(1485,1),(1558,1)}
1387:{3,4,5}:{(1236,1),(1313,1),(1314,1),(1542,1),(1559,1),(1596,1),(1597,1)}
1388:{4,5}:{(1235,1),(1314,1),(1541,1)}
1389:{3,5}:{(1237,1),(1313,1),(1560,1)}
1390:{3,4,5,6}:{(1226,1),(1238,1),(1262,1),(1315,1),(1485,1),(1533,1),(1547,1),(1595,1),(1755,1)}
1391:{3,5,6}:{(1227,1),(1239,1),(1263,1),(1487,1),(1532,1)}
1392:{3,4,5,6}:{(1228,1),(1240,1),(1264,1),(1315,1),(1490,1),(1491,1),(1534,1),(1548,1),(1595,1)}
1393:{3,4,5}:{(1265,1),(1316,1),(1317,1),(1533,1),(1552,1),(1597,1),(1598,1)}
1394:{3,5}:{(1267,1),(1317,1),(1532,1)}
1395:{3,4}:{(1266,1),(1316,1),(1550,1)}
1396:{2,4,6}:{(1224,1),(1242,1),(1244,1),(1498,1),(1537,1),(1713,1)}
1397:{2,4,6}:{(1223,1),(1241,1),(1246,1),(1499,1),(1535,1),(1710,1)}
1398:{2,4,6}:{(1225,1),(1243,1),(1245,1),(1500,1),(1536,1)}
1399:{2,3,6}:{(1226,1),(1241,1),(1247,1),(1495,1),(1576,1)}
1400:{2,3,6}:{(1227,1),(1243,1),(1248,1),(1501,1),(1575,1)}
1401:{2,3,6}:{(1228,1),(1242,1),(1249,1),(1497,1),(1574,1)}
1402:{2,3,4,5,6}:{(1231,1),(1252,1),(1318,1),(1320,1),(1489,1),(1491,1),(1493,1),(1496,1),(1577,1),(1595,1),(1599,1),(1705,1),(1711,1),(1772,1),(1853,1)}
1403:{2,4,5,6}:{(1230,1),(1250,1),(1320,1),(1485,1),(1490,1),(1495,1),(1497,1),(1595,1),(1706,1),(1851,1),(1858,1)}
1404:{2,3,5,6}:{(1229,1),(1251,1),(1318,1),(1484,1),(1486,1),(1498,1),(1499,1),(1578,1)}
1405:{2,4,6}:{(1235,1),(1254,1),(1257,1),(1494,1),(1539,1),(1541,1)}
1406:{2,3,4,6}:{(1236,1),(1253,1),(1258,1),(1319,1),(1500,1),(1540,1),(1542,1),(1582,1),(1712,1),(1754,1),(1854,1)}
1407:{2,3,4,6}:{(1237,1),(1255,1),(1256,1),(1319,1),(1499,1),(1538,1),(1543,1),(1580,1),(1710,1),(1749,1),(1860,1)}
1408:{2,3,5}:{(1239,1),(1256,1),(1289,1),(1538,1)}
1409:{2,3,5}:{(1240,1),(1257,1),(1291,1),(1539,1),(1541,1),(1550,1)}
1410:{2,3,5}:{(1238,1),(1258,1),(1290,1),(1540,1)}
1411:{2,3,4,6}:{(1232,1),(1261,1),(1292,1),(1323,1),(1495,1),(1534,1),(1545,1),(1595,1)}
1412:{2,3,6}:{(1233,1),(1260,1),(1294,1),(1494,1),(1532,1)}
1413:{2,3,4,6}:{(1234,1),(1259,1),(1293,1),(1323,1),(1497,1),(1533,1),(1546,1),(1595,1)}
1414:{1,4,6}:{(1225,1),(1267,1),(1306,1),(1532,1)}
1415:{1,4,6}:{(1223,1),(1265,1),(1305,1),(1533,1),(1595,1),(1710,1)}
1416:{1,4,6}:{(1224,1),(1266,1),(1304,1),(1534,1),(1553,1),(1595,1),(1713,1),(1852,1)}
1417:{1,4,6}:{(1227,1),(1268,1),(1280,1),(1564,1),(1575,1)}
1418:{1,4,6}:{(1226,1),(1269,1),(1282,1),(1576,1)}
1419:{1,4,6}:{(1228,1),(1270,1),(1281,1),(1574,1)}
1420:{1,4,6}:{(1231,1),(1271,1),(1295,1),(1565,1)}
1421:{1,4,6}:{(1230,1),(1272,1),(1296,1),(1566,1)}
1422:{1,4,6}:{(1229,1),(1273,1),(1297,1),(1567,1),(1578,1)}
1423:{1,4,6}:{(1233,1),(1278,1),(1309,1),(1557,1),(1593,1)}
1424:{1,4,6}:{(1232,1),(1277,1),(1308,1),(1558,1)}
1425:{1,4,6}:{(1234,1),(1279,1),(1307,1),(1556,1)}
1426:{1,4,6}:{(1237,1),(1274,1),(1310,1),(1560,1)}
1427:{1,4,6}:{(1236,1),(1276,1),(1311,1),(1559,1),(1601,1),(1750,1)}
1428:{1,4,6}:{(1235,1),(1275,1),(1312,1),(1561,1),(1569,1),(1601,1),(1752,1),(1858,1)}
1429:{1,3,5}:{(1239,1),(1268,1),(1283,1),(1517,1),(1560,1)}
1430:{1,3,4,5}:{(1238,1),(1269,1),(1284,1),(1329,1),(1520,1),(1559,1),(1585,1),(1601,1),(1774,1)}
1431:{1,3,4,5}:{(1240,1),(1270,1),(1285,1),(1329,1),(1518,1),(1521,1),(1561,1),(1584,1),(1601,1)}
1432:{1,3,5}:{(1273,1),(1286,1),(1316,1),(1512,1),(1567,1)}
1433:{3,5}:{(1272,1),(1287,1),(1520,1),(1566,1)}
1434:{1,3,5}:{(1271,1),(1288,1),(1316,1),(1518,1),(1565,1)}
1435:{1,3,4}:{(1276,1),(1288,1),(1317,1),(1514,1),(1589,1),(1750,1)}
1436:{1,3,4}:{(1274,1),(1286,1),(1317,1),(1519,1),(1591,1)}
1437:{3,4}:{(1275,1),(1287,1),(1513,1),(1590,1),(1752,1)}
1438:{1,2,5}:{(1221,1),(1292,1),(1537,1),(1545,1),(1553,1),(1558,1)}
1439:{1,2,5,6}:{(1222,1),(1294,1),(1331,1),(1536,1),(1544,1),(1555,1),(1557,1),(1861,1)}
1440:{1,2,5,6}:{(1220,1),(1293,1),(1331,1),(1535,1),(1546,1),(1554,1),(1556,1)}
1441:{1,2,5,6}:{(1242,1),(1264,1),(1291,1),(1537,1),(1548,1),(1573,1),(1574,1),(1732,1)}
1442:{1,2,5,6}:{(1241,1),(1262,1),(1290,1),(1535,1),(1547,1),(1572,1),(1576,1),(1877,1)}
1443:{1,2,5,6}:{(1243,1),(1263,1),(1289,1),(1536,1),(1549,1),(1571,1),(1575,1),(1850,1)}
1444:{1,2,4}:{(1244,1),(1266,1),(1291,1),(1523,1),(1539,1),(1550,1)}
1445:{1,2,4,5}:{(1245,1),(1267,1),(1289,1),(1334,1),(1527,1),(1538,1),(1551,1),(1571,1),(1709,1),(1750,1),(1850,1)}
1446:{1,2,4,5}:{(1246,1),(1265,1),(1290,1),(1334,1),(1530,1),(1540,1),(1552,1),(1572,1),(1711,1),(1753,1),(1877,1)}
1447:{1,2,5}:{(1247,1),(1269,1),(1300,1),(1529,1),(1576,1)}
1448:{1,2,5}:{(1248,1),(1268,1),(1298,1),(1526,1),(1575,1)}
1449:{1,2,5}:{(1249,1),(1270,1),(1299,1),(1531,1),(1574,1)}
1450:{1,2,4,5}:{(1250,1),(1272,1),(1303,1),(1335,1),(1529,1),(1561,1),(1588,1),(1601,1)}
1451:{1,2,4,5}:{(1252,1),(1271,1),(1301,1),(1335,1),(1531,1),(1559,1),(1586,1),(1601,1)}
1452:{1,2,5}:{(1251,1),(1273,1),(1302,1),(1523,1),(1560,1)}
1453:{1,2,4}:{(1253,1),(1276,1),(1300,1),(1527,1),(1589,1),(1750,1)}
1454:{1,2,4}:{(1255,1),(1274,1),(1298,1),(1530,1),(1591,1)}
1455:{1,2,4}:{(1254,1),(1275,1),(1299,1),(1525,1),(1590,1),(1752,1)}
1456:{1,2,3,6}:{(1258,1),(1284,1),(1300,1),(1576,1),(1582,1),(1585,1),(1589,1),(1854,1)}
1457:{1,2,3,6}:{(1256,1),(1283,1),(1298,1),(1575,1),(1580,1),(1583,1),(1591,1),(1860,1)}
1458:{1,2,3,6}:{(1257,1),(1285,1),(1299,1),(1574,1),(1581,1),(1584,1),(1590,1),(1735,1)}
1459:{2,3,6}:{(1287,1),(1303,1),(1566,1),(1569,1),(1588,1),(1590,1)}
1460:{1,2,3,6}:{(1286,1),(1302,1),(1322,1),(1567,1),(1570,1),(1587,1),(1591,1),(1861,1)}
1461:{1,2,3,6}:{(1288,1),(1301,1),(1322,1),(1565,1),(1568,1),(1586,1),(1589,1)}
1462:{1,2,3,5}:{(1260,1),(1278,1),(1340,1),(1513,1),(1514,1),(1525,1),(1527,1),(1593,1)}
1463:{1,2,3,4,5}:{(1259,1),(1279,1),(1339,1),(1340,1),(1515,1),(1521,1),(1522,1),(1528,1),(1594,1),(1601,1),(1603,1),(1751,1),(1754,1),(1769,1),(1853,1)}
1464:{1,2,3,4}:{(1261,1),(1277,1),(1339,1),(1518,1),(1520,1),(1529,1),(1531,1),(1601,1),(1748,1),(1851,1),(1852,1)}
1465:{4}:{(1321,1)}
1466:{3,6}:{(1316,1),(1325,1)}
1467:{3,4,6}:{(1317,1),(1322,1),(1326,1),(1532,1),(1597,1),(1598,1)}
1468:{2,5}:{(1313,1),(1319,1)}
1469:{2,3,5}:{(1314,1),(1324,1),(1331,1),(1541,1),(1596,1),(1597,1)}
1470:{2,3,5,6}:{(1315,1),(1321,1),(1323,1),(1332,1),(1545,1),(1595,1)}
1471:{2,3,5}:{(1316,1),(1322,1),(1333,1),(1550,1),(1597,1),(1598,1)}
1472:{2,3}:{(1317,1),(1334,1)}
1473:{1,4,5}:{(1313,1),(1326,1),(1331,1),(1560,1),(1596,1),(1597,1)}
1474:{1,5}:{(1314,1),(1328,1)}
1475:{1,3,5,6}:{(1315,1),(1327,1),(1329,1),(1330,1),(1556,1),(1558,1),(1565,1),(1566,1),(1716,1),(1720,1),(1724,1)}
1476:{1,2,4,5,6}:{(1318,1),(1325,1),(1332,1),(1333,1),(1553,1),(1554,1),(1572,1),(1573,1),(1578,1),(1595,1),(1599,1),(1705,1),(1711,1),(1770,1),(1875,1),(1877,1)}
1477:{1,2,4,6}:{(1319,1),(1326,1),(1334,1),(1337,1),(1538,1),(1540,1),(1600,1),(1602,1),(1710,1),(1712,1),(1750,1),(1753,1),(1867,1)}
1478:{1,2,5,6}:{(1320,1),(1327,1),(1335,1),(1336,1),(1556,1),(1558,1),(1574,1),(1576,1),(1725,1),(1732,1)}
1479:{1,2,3,5}:{(1321,1),(1329,1),(1335,1),(1338,1),(1588,1),(1601,1)}
1480:{1,2,3,6}:{(1323,1),(1330,1),(1336,1),(1339,1),(1565,1),(1566,1),(1574,1),(1576,1),(1735,1),(1743,1)}
1481:{1,2,3,4,6}:{(1324,1),(1328,1),(1338,1),(1340,1),(1568,1),(1569,1),(1581,1),(1582,1),(1593,1),(1601,1),(1603,1),(1751,1),(1754,1),(1768,1),(1848,1),(1854,1)}
1482:{4,5,6}:{(1349,1),(1384,1),(1388,1),(1608,1),(1655,1)}
1483:{3,4,5,6}:{(1347,1),(1382,1),(1384,1),(1387,1),(1609,1),(1620,1),(1655,1),(1659,1),(1795,1)}
1484:{3,5,6}:{(1344,1),(1381,1),(1389,1),(1621,1)}
1485:{4,5}:{(1346,1),(1386,1),(1613,1)}
1486:{3,5}:{(1342,1),(1383,1),(1616,1)}
1487:{5}:{(1350,1)}
1488:{3,5,6}:{(1345,1),(1382,1),(1389,1),(1617,1)}
1489:{3,4,5,6}:{(1348,1),(1381,1),(1385,1),(1387,1),(1612,1),(1615,1),(1657,1),(1660,1),(1791,1)}
1490:{4,5,6}:{(1343,1),(1385,1),(1388,1),(1610,1)}
1491:{3,4,5}:{(1341,1),(1383,1),(1386,1),(1611,1),(1623,1),(1656,1),(1658,1),(1794,1)}
1492:{2,3,4,6}:{(1345,1),(1354,1),(1398,1),(1400,1),(1607,1),(1637,1),(1662,1),(1669,1),(1832,1)}
1493:{2,3,4,6}:{(1341,1),(1360,1),(1396,1),(1401,1),(1611,1),(1644,1),(1661,1),(1667,1),(1794,1)}
1494:{2,6}:{(1349,1),(1359,1)}
1495:{2,4,6}:{(1346,1),(1353,1),(1399,1),(1613,1)}
1496:{2,3,4,6}:{(1348,1),(1355,1),(1397,1),(1399,1),(1612,1),(1635,1),(1663,1),(1668,1),(1791,1)}
1497:{2,4,6}:{(1343,1),(1352,1),(1401,1),(1610,1)}
1498:{2,3,6}:{(1342,1),(1356,1),(1396,1),(1614,1),(1638,1)}
1499:{2,3,6}:{(1344,1),(1351,1),(1397,1),(1640,1)}
1500:{2,3,6}:{(1347,1),(1357,1),(1398,1),(1642,1)}
1501:{2,4,6}:{(1350,1),(1358,1),(1400,1),(1606,1),(1662,1)}
1502:{1,4,6}:{(1345,1),(1367,1),(1375,1),(1617,1),(1631,1)}
1503:{1,4,6}:{(1348,1),(1369,1),(1376,1)}
1504:{1,4,6}:{(1344,1),(1363,1),(1374,1),(1621,1),(1640,1)}
1505:{1,4,6}:{(1342,1),(1366,1),(1371,1),(1616,1),(1638,1),(1812,1)}
1506:{1,4,6}:{(1346,1),(1364,1),(1380,1),(1622,1),(1630,1)}
1507:{1,4,6}:{(1349,1),(1361,1),(1377,1),(1634,1),(1636,1),(1831,1)}
1508:{1,4,6}:{(1350,1),(1365,1),(1378,1),(1619,1),(1632,1),(1798,1)}
1509:{1,4,6}:{(1343,1),(1370,1),(1373,1),(1633,1)}
1510:{1,4,6}:{(1341,1),(1362,1),(1372,1),(1623,1)}
1511:{1,4,6}:{(1347,1),(1368,1),(1379,1),(1627,1),(1642,1)}
1512:{1,3,4}:{(1366,1),(1395,1),(1432,1),(1651,1),(1677,1)}
1513:{3,5}:{(1361,1),(1437,1),(1634,1)}
1514:{1,3,5}:{(1368,1),(1394,1),(1435,1),(1627,1)}
1515:{1,3,4,5}:{(1369,1),(1393,1),(1434,1),(1435,1),(1628,1),(1645,1),(1675,1),(1676,1),(1840,1)}
1516:{1,3,4,5}:{(1363,1),(1393,1),(1432,1),(1436,1),(1629,1),(1653,1),(1674,1),(1677,1),(1803,1)}
1517:{3}:{(1365,1)}
1518:{1,3,4}:{(1362,1),(1395,1),(1434,1),(1647,1)}
1519:{1,3,5}:{(1367,1),(1394,1),(1436,1),(1631,1)}
1520:{3,4}:{(1364,1),(1433,1),(1654,1)}
1521:{3,4,5}:{(1370,1),(1433,1),(1437,1),(1633,1),(1652,1),(1673,1),(1678,1),(1836,1)}
1522:{1,2,4,5}:{(1355,1),(1369,1),(1447,1),(1453,1),(1635,1),(1645,1),(1682,1),(1686,1),(1840,1)}
1523:{1,2}:{(1356,1),(1366,1)}
1524:{1,2,4,5}:{(1354,1),(1367,1),(1448,1),(1454,1),(1637,1),(1649,1),(1684,1),(1687,1),(1813,1)}
1525:{1,2,5}:{(1359,1),(1361,1),(1455,1),(1636,1),(1650,1)}
1526:{1,2,4}:{(1358,1),(1365,1),(1448,1),(1646,1),(1687,1)}
1527:{1,2,5}:{(1357,1),(1368,1),(1453,1),(1642,1)}
1528:{1,2,4,5}:{(1352,1),(1370,1),(1449,1),(1455,1),(1639,1),(1652,1),(1683,1),(1685,1),(1836,1)}
1529:{1,2,4}:{(1353,1),(1364,1),(1447,1),(1654,1)}
1530:{1,2,5}:{(1351,1),(1363,1),(1454,1),(1640,1)}
1531:{1,2,4}:{(1360,1),(1362,1),(1449,1),(1647,1)}
1532:{3,6}:{(1394,1),(1414,1)}
1533:{3,4,6}:{(1393,1),(1415,1),(1466,1),(1660,1),(1668,1)}
1534:{3,4,6}:{(1395,1),(1416,1),(1466,1),(1658,1),(1667,1),(1794,1)}
1535:{2,5,6}:{(1381,1),(1397,1),(1468,1)}
1536:{2,5,6}:{(1382,1),(1398,1),(1468,1)}
1537:{2,5}:{(1383,1),(1396,1)}
1538:{4}:{(1408,1)}
1539:{2,4}:{(1409,1),(1465,1)}
1540:{2,4}:{(1410,1),(1465,1)}
1541:{2,5}:{(1388,1),(1405,1)}
1542:{2,3,5}:{(1387,1),(1406,1),(1468,1),(1665,1),(1682,1)}
1543:{2,3,5}:{(1389,1),(1407,1),(1468,1),(1666,1),(1684,1),(1839,1)}
1544:{2,3,5,6}:{(1384,1),(1412,1),(1439,1),(1469,1),(1608,1),(1655,1),(1659,1),(1793,1)}
1545:{2,3,5}:{(1386,1),(1411,1),(1438,1),(1613,1),(1656,1),(1658,1)}
1546:{2,3,5,6}:{(1385,1),(1413,1),(1440,1),(1469,1),(1610,1),(1657,1),(1660,1)}
1547:{2,3,5,6}:{(1390,1),(1399,1),(1410,1),(1442,1),(1613,1),(1663,1),(1668,1),(1787,1)}
1548:{2,3,5,6}:{(1392,1),(1401,1),(1409,1),(1441,1),(1610,1),(1611,1),(1661,1),(1667,1)}
1549:{2,3,5,6}:{(1391,1),(1400,1),(1408,1),(1443,1),(1606,1),(1662,1),(1669,1),(1790,1)}
1550:{2,3}:{(1395,1),(1444,1)}
1551:{2,3,5}:{(1394,1),(1445,1),(1472,1),(1669,1),(1671,1),(1790,1)}
1552:{2,3,5}:{(1393,1),(1446,1),(1472,1),(1668,1),(1670,1)}
1553:{1,4,5}:{(1383,1),(1416,1),(1438,1),(1616,1),(1656,1),(1658,1)}
1554:{1,4,5,6}:{(1381,1),(1415,1),(1440,1),(1473,1),(1621,1),(1657,1),(1660,1)}
1555:{1,4,5,6}:{(1382,1),(1414,1),(1439,1),(1473,1),(1617,1),(1655,1),(1659,1),(1804,1)}
1556:{1,5,6}:{(1385,1),(1425,1),(1474,1)}
1557:{1,5,6}:{(1384,1),(1423,1),(1474,1)}
1558:{1,5}:{(1386,1),(1424,1)}
1559:{1,4,5}:{(1387,1),(1427,1),(1474,1),(1675,1),(1682,1)}
1560:{1,5}:{(1389,1),(1426,1)}
1561:{1,4,5}:{(1388,1),(1428,1),(1474,1),(1673,1),(1683,1),(1836,1)}
1562:{1,3,4,5,6}:{(1390,1),(1418,1),(1430,1),(1475,1),(1615,1),(1622,1),(1628,1),(1630,1),(1693,1),(1703,1),(1800,1),(1801,1)}
1563:{1,3,4,5,6}:{(1392,1),(1419,1),(1431,1),(1475,1),(1623,1),(1624,1),(1626,1),(1633,1),(1692,1),(1703,1),(1796,1)}
1564:{1,3,5,6}:{(1391,1),(1417,1),(1429,1),(1617,1),(1619,1),(1631,1),(1632,1)}
1565:{1,3,6}:{(1420,1),(1434,1),(1466,1)}
1566:{3,6}:{(1421,1),(1433,1)}
1567:{1,3,6}:{(1422,1),(1432,1),(1466,1)}
1568:{1,3,4,6}:{(1427,1),(1435,1),(1461,1),(1467,1),(1627,1),(1675,1),(1676,1)}
1569:{3,4,6}:{(1428,1),(1437,1),(1459,1),(1634,1),(1673,1),(1678,1)}
1570:{1,3,4,6}:{(1426,1),(1436,1),(1460,1),(1467,1),(1631,1),(1674,1),(1677,1),(1804,1)}
1571:{1,2,4,6}:{(1398,1),(1414,1),(1443,1),(1445,1),(1642,1),(1662,1),(1669,1),(1825,1)}
1572:{1,2,4,6}:{(1397,1),(1415,1),(1442,1),(1446,1),(1640,1),(1663,1),(1668,1)}
1573:{1,2,4,6}:{(1396,1),(1416,1),(1441,1),(1444,1),(1638,1),(1661,1),(1667,1),(1680,1)}
1574:{1,2,6}:{(1401,1),(1419,1),(1449,1)}
1575:{1,2,6}:{(1400,1),(1417,1),(1448,1)}
1576:{1,2,6}:{(1399,1),(1418,1),(1447,1)}
1577:{1,2,4,5,6}:{(1402,1),(1420,1),(1451,1),(1478,1),(1615,1),(1623,1),(1635,1),(1644,1),(1695,1),(1703,1),(1809,1)}
1578:{1,2,5,6}:{(1404,1),(1422,1),(1452,1),(1616,1),(1621,1),(1638,1),(1640,1)}
1579:{1,2,4,5,6}:{(1403,1),(1421,1),(1450,1),(1478,1),(1622,1),(1624,1),(1639,1),(1643,1),(1694,1),(1703,1),(1806,1)}
1580:{1,2,4,6}:{(1407,1),(1426,1),(1454,1),(1457,1),(1640,1),(1684,1),(1687,1),(1808,1)}
1581:{1,2,4,6}:{(1405,1),(1428,1),(1455,1),(1458,1),(1636,1),(1683,1),(1685,1),(1699,1)}
1582:{1,2,4,6}:{(1406,1),(1427,1),(1453,1),(1456,1),(1642,1),(1682,1),(1686,1)}
1583:{1,2,3,5}:{(1408,1),(1429,1),(1448,1),(1457,1),(1646,1),(1684,1),(1687,1),(1839,1)}
1584:{1,2,3,5}:{(1409,1),(1431,1),(1449,1),(1458,1),(1647,1),(1652,1),(1683,1),(1685,1)}
1585:{1,2,3,5}:{(1410,1),(1430,1),(1447,1),(1456,1),(1654,1),(1682,1),(1686,1),(1842,1)}
1586:{1,2,3,5}:{(1434,1),(1451,1),(1461,1),(1471,1),(1647,1),(1675,1),(1676,1)}
1587:{1,2,3,5}:{(1432,1),(1452,1),(1460,1),(1471,1),(1651,1),(1674,1),(1677,1),(1838,1)}
1588:{2,3,5}:{(1433,1),(1450,1),(1459,1),(1654,1),(1673,1),(1678,1)}
1589:{1,2,3}:{(1435,1),(1453,1),(1472,1)}
1590:{2,3}:{(1437,1),(1455,1)}
1591:{1,2,3}:{(1436,1),(1454,1),(1472,1)}
1592:{1,2,3,4,6}:{(1411,1),(1424,1),(1464,1),(1480,1),(1626,1),(1630,1),(1643,1),(1644,1),(1689,1),(1703,1),(1830,1)}
1593:{1,2,3,6}:{(1412,1),(1423,1),(1462,1),(1627,1),(1634,1),(1636,1),(1642,1)}
1594:{1,2,3,4,6}:{(1413,1),(1425,1),(1463,1),(1480,1),(1628,1),(1633,1),(1635,1),(1639,1),(1688,1),(1703,1),(1833,1)}
1595:{4,6}:{(1465,1),(1470,1),(1656,1)}
1596:{4,5}:{(1465,1),(1469,1),(1655,1)}
1597:{3,5}:{(1467,1),(1473,1)}
1598:{3,4}:{(1465,1),(1471,1),(1677,1)}
1599:{2,3,5,6}:{(1466,1),(1471,1),(1476,1),(1658,1),(1660,1),(1667,1),(1668,1),(1700,1),(1787,1)}
1600:{2,3,4,6}:{(1467,1),(1472,1),(1477,1),(1668,1),(1669,1),(1670,1),(1671,1),(1702,1),(1791,1)}
1601:{1,4}:{(1465,1),(1479,1),(1678,1)}
1602:{1,2,4,5}:{(1468,1),(1473,1),(1477,1),(1665,1),(1666,1),(1682,1),(1684,1),(1702,1),(1840,1)}
1603:{1,2,3,5}:{(1469,1),(1474,1),(1481,1),(1673,1),(1675,1),(1682,1),(1683,1),(1704,1),(1842,1)}
1604:{1,2,3,5,6}:{(1470,1),(1475,1),(1478,1),(1479,1),(1480,1),(1689,1),(1694,1),(1703,1)}
1605:{2,3,5,6}:{(1484,1),(1499,1),(1535,1),(1543,1),(1710,1),(1730,1),(1860,1)}
1606:{2,5}:{(1487,1),(1501,1),(1709,1)}
1607:{2,3,5,6}:{(1488,1),(1492,1),(1536,1),(1543,1),(1707,1),(1726,1),(1845,1)}
1608:{2,5,6}:{(1482,1),(1494,1),(1541,1),(1708,1)}
1609:{2,3,5,6}:{(1483,1),(1500,1),(1536,1),(1542,1),(1712,1),(1727,1),(1854,1)}
1610:{2,5,6}:{(1490,1),(1497,1),(1541,1)}
1611:{2,3,5}:{(1491,1),(1493,1),(1537,1),(1706,1),(1732,1)}
1612:{2,3,5,6}:{(1489,1),(1496,1),(1535,1),(1542,1),(1714,1),(1733,1)}
1613:{2,5}:{(1485,1),(1495,1)}
1614:{2,3,5}:{(1486,1),(1498,1),(1537,1),(1713,1),(1731,1),(1872,1)}
1615:{1,4,5,6}:{(1489,1),(1503,1),(1556,1),(1559,1),(1722,1),(1733,1),(1867,1)}
1616:{1,5}:{(1486,1),(1505,1)}
1617:{1,5,6}:{(1488,1),(1502,1),(1560,1)}
1618:{1,4,5,6}:{(1482,1),(1507,1),(1557,1),(1561,1),(1723,1),(1734,1),(1768,1),(1879,1)}
1619:{1,5}:{(1487,1),(1508,1),(1717,1)}
1620:{1,4,5,6}:{(1483,1),(1511,1),(1557,1),(1559,1),(1721,1),(1727,1),(1768,1)}
1621:{1,5,6}:{(1484,1),(1504,1),(1560,1)}
1622:{1,4,5}:{(1485,1),(1506,1),(1558,1),(1724,1),(1725,1),(1851,1)}
1623:{1,4,5}:{(1491,1),(1510,1),(1558,1),(1720,1),(1732,1),(1852,1)}
1624:{1,4,5,6}:{(1490,1),(1509,1),(1556,1),(1561,1),(1716,1),(1728,1),(1858,1)}
1625:{1,3,4,6}:{(1505,1),(1512,1),(1534,1),(1567,1),(1719,1),(1739,1),(1770,1),(1849,1)}
1626:{1,3,4,6}:{(1510,1),(1518,1),(1534,1),(1565,1),(1720,1),(1740,1),(1852,1)}
1627:{1,3,6}:{(1511,1),(1514,1),(1532,1)}
1628:{1,3,4,6}:{(1503,1),(1515,1),(1533,1),(1565,1),(1722,1),(1744,1),(1867,1)}
1629:{1,3,4,6}:{(1504,1),(1516,1),(1533,1),(1567,1),(1718,1),(1741,1),(1770,1)}
1630:{3,4,6}:{(1506,1),(1520,1),(1566,1),(1724,1),(1743,1),(1851,1)}
1631:{1,3,6}:{(1502,1),(1519,1),(1532,1)}
1632:{3,6}:{(1508,1),(1517,1),(1717,1)}
1633:{3,4,6}:{(1509,1),(1521,1),(1566,1),(1716,1),(1735,1),(1858,1)}
1634:{3,6}:{(1507,1),(1513,1)}
1635:{1,2,4,6}:{(1496,1),(1503,1),(1522,1),(1576,1),(1733,1),(1744,1),(1867,1)}
1636:{1,2,6}:{(1494,1),(1507,1),(1525,1),(1742,1)}
1637:{1,2,4,6}:{(1492,1),(1502,1),(1524,1),(1575,1),(1726,1),(1738,1),(1777,1)}
1638:{1,2,6}:{(1498,1),(1505,1),(1523,1),(1731,1)}
1639:{1,2,4,6}:{(1497,1),(1509,1),(1528,1),(1574,1),(1728,1),(1735,1),(1858,1)}
1640:{1,2,6}:{(1499,1),(1504,1),(1530,1)}
1641:{1,2,4,6}:{(1501,1),(1508,1),(1526,1),(1575,1),(1729,1),(1736,1),(1777,1),(1873,1)}
1642:{1,2,6}:{(1500,1),(1511,1),(1527,1)}
1643:{1,2,4,6}:{(1495,1),(1506,1),(1529,1),(1576,1),(1725,1),(1743,1),(1851,1)}
1644:{1,2,4,6}:{(1493,1),(1510,1),(1531,1),(1574,1),(1732,1),(1740,1),(1852,1)}
1645:{1,2,3,5}:{(1515,1),(1522,1),(1552,1),(1589,1),(1744,1),(1746,1)}
1646:{2,3}:{(1517,1),(1526,1),(1749,1)}
1647:{1,2,3}:{(1518,1),(1531,1),(1550,1)}
1648:{1,2,3,5}:{(1514,1),(1527,1),(1551,1),(1589,1),(1737,1),(1750,1),(1850,1)}
1649:{1,2,3,5}:{(1519,1),(1524,1),(1551,1),(1591,1),(1738,1),(1747,1),(1880,1)}
1650:{2,3,5}:{(1513,1),(1525,1),(1590,1),(1742,1),(1752,1),(1870,1)}
1651:{1,2,3}:{(1512,1),(1523,1),(1550,1),(1745,1)}
1652:{2,3,5}:{(1521,1),(1528,1),(1590,1),(1735,1),(1748,1)}
1653:{1,2,3,5}:{(1516,1),(1530,1),(1552,1),(1591,1),(1741,1),(1753,1),(1877,1)}
1654:{2,3}:{(1520,1),(1529,1)}
1655:{4,6}:{(1544,1),(1596,1)}
1656:{4,5}:{(1545,1),(1595,1)}
1657:{4,5,6}:{(1546,1),(1595,1),(1596,1)}
1658:{3,5}:{(1534,1),(1553,1)}
1659:{3,5,6}:{(1532,1),(1555,1),(1597,1),(1756,1)}
1660:{3,5,6}:{(1533,1),(1554,1),(1597,1)}
1661:{2,4,6}:{(1539,1),(1548,1),(1595,1),(1706,1)}
1662:{4,6}:{(1538,1),(1549,1),(1709,1)}
1663:{2,4,6}:{(1540,1),(1547,1),(1595,1),(1711,1)}
1664:{2,4,5}:{(1539,1),(1541,1),(1596,1),(1708,1),(1766,1)}
1665:{2,4,5}:{(1540,1),(1542,1),(1596,1),(1712,1)}
1666:{4,5}:{(1538,1),(1543,1),(1710,1)}
1667:{2,3,6}:{(1534,1),(1550,1),(1573,1),(1759,1)}
1668:{2,3,6}:{(1533,1),(1552,1),(1572,1)}
1669:{2,3,6}:{(1532,1),(1551,1),(1571,1),(1761,1)}
1670:{2,3,4}:{(1540,1),(1552,1),(1598,1),(1753,1)}
1671:{3,4}:{(1538,1),(1551,1),(1750,1)}
1672:{2,3,4}:{(1539,1),(1550,1),(1598,1),(1745,1),(1766,1)}
1673:{3,5}:{(1561,1),(1569,1)}
1674:{1,3,5}:{(1560,1),(1570,1),(1597,1),(1773,1)}
1675:{1,3,5}:{(1559,1),(1568,1),(1597,1)}
1676:{1,3,4}:{(1586,1),(1598,1),(1601,1)}
1677:{1,4}:{(1587,1),(1598,1)}
1678:{3,4}:{(1588,1),(1601,1)}
1679:{1,2,4,5,6}:{(1536,1),(1555,1),(1571,1),(1602,1),(1707,1),(1712,1),(1726,1),(1727,1),(1758,1),(1857,1),(1878,1)}
1680:{1,2,4,5}:{(1537,1),(1553,1),(1573,1),(1706,1),(1713,1),(1731,1),(1732,1),(1759,1),(1852,1)}
1681:{1,2,4,5,6}:{(1535,1),(1554,1),(1572,1),(1602,1),(1710,1),(1714,1),(1730,1),(1733,1),(1760,1),(1867,1)}
1682:{1,2,5}:{(1542,1),(1559,1),(1582,1)}
1683:{1,2,5}:{(1541,1),(1561,1),(1581,1),(1782,1)}
1684:{1,2,5}:{(1543,1),(1560,1),(1580,1),(1781,1)}
1685:{1,2,4}:{(1539,1),(1584,1),(1601,1),(1748,1)}
1686:{1,2,4}:{(1540,1),(1585,1),(1601,1),(1754,1)}
1687:{1,4}:{(1538,1),(1583,1),(1749,1)}
1688:{1,2,3,5,6}:{(1546,1),(1556,1),(1594,1),(1603,1),(1716,1),(1722,1),(1728,1),(1733,1),(1767,1),(1866,1)}
1689:{1,2,3,5}:{(1545,1),(1558,1),(1592,1),(1720,1),(1724,1),(1725,1),(1732,1),(1769,1),(1856,1)}
1690:{1,2,3,5,6}:{(1544,1),(1557,1),(1593,1),(1603,1),(1721,1),(1723,1),(1727,1),(1734,1),(1768,1),(1848,1),(1854,1)}
1691:{1,2,3,5,6}:{(1549,1),(1564,1),(1575,1),(1583,1),(1726,1),(1729,1),(1736,1),(1738,1),(1777,1),(1845,1),(1880,1)}
1692:{1,2,3,5,6}:{(1548,1),(1563,1),(1574,1),(1584,1),(1728,1),(1732,1),(1735,1),(1740,1),(1776,1),(1856,1)}
1693:{1,2,3,5,6}:{(1547,1),(1562,1),(1576,1),(1585,1),(1725,1),(1733,1),(1743,1),(1744,1),(1778,1),(1866,1),(1868,1)}
1694:{2,3,5,6}:{(1566,1),(1579,1),(1588,1),(1716,1),(1724,1),(1735,1),(1743,1),(1772,1),(1856,1)}
1695:{1,2,3,5,6}:{(1565,1),(1577,1),(1586,1),(1599,1),(1720,1),(1722,1),(1740,1),(1744,1),(1771,1),(1868,1)}
1696:{1,2,3,5,6}:{(1567,1),(1578,1),(1587,1),(1599,1),(1718,1),(1719,1),(1739,1),(1741,1),(1770,1),(1875,1),(1877,1)}
1697:{1,2,3,4,6}:{(1570,1),(1580,1),(1591,1),(1600,1),(1738,1),(1741,1),(1747,1),(1753,1),(1783,1),(1876,1),(1878,1)}
1698:{1,2,3,4,6}:{(1568,1),(1582,1),(1589,1),(1600,1),(1737,1),(1744,1),(1746,1),(1750,1),(1784,1),(1867,1)}
1699:{2,3,4,6}:{(1569,1),(1581,1),(1590,1),(1735,1),(1742,1),(1748,1),(1752,1),(1782,1),(1858,1)}
1700:{3,4,6}:{(1595,1),(1598,1),(1599,1),(1755,1),(1770,1)}
1701:{3,4,5}:{(1596,1),(1597,1),(1598,1),(1756,1),(1766,1),(1773,1)}
1702:{2,3,5}:{(1597,1),(1600,1),(1602,1),(1765,1)}
1703:{1,4,6}:{(1595,1),(1601,1),(1604,1),(1769,1),(1772,1)}
1704:{1,4,5}:{(1596,1),(1601,1),(1603,1),(1768,1),(1774,1)}
1705:{2,4,5,6}:{(1610,1),(1657,1),(1661,1),(1664,1),(1786,1)}
1706:{2,4,5}:{(1611,1),(1656,1),(1661,1)}
1707:{4,5,6}:{(1607,1),(1662,1),(1666,1)}
1708:{2,4,6}:{(1608,1),(1655,1),(1664,1),(1793,1)}
1709:{4,5}:{(1606,1),(1662,1),(1790,1)}
1710:{4,6}:{(1605,1),(1666,1)}
1711:{2,4,5}:{(1613,1),(1656,1),(1663,1),(1787,1)}
1712:{2,4,6}:{(1609,1),(1655,1),(1665,1)}
1713:{4}:{(1614,1)}
1714:{2,4,5,6}:{(1612,1),(1657,1),(1663,1),(1665,1)}
1715:{1,3,5,6}:{(1617,1),(1631,1),(1659,1),(1674,1),(1804,1)}
1716:{3,5,6}:{(1624,1),(1633,1),(1673,1)}
1717:{3,5}:{(1619,1),(1632,1),(1798,1)}
1718:{1,3,5,6}:{(1621,1),(1629,1),(1660,1),(1674,1),(1797,1)}
1719:{1,3,5}:{(1616,1),(1625,1),(1658,1),(1803,1)}
1720:{1,3,5}:{(1623,1),(1626,1),(1658,1)}
1721:{1,3,5,6}:{(1620,1),(1627,1),(1659,1),(1675,1),(1802,1)}
1722:{1,3,5,6}:{(1615,1),(1628,1),(1660,1),(1675,1)}
1723:{3,5,6}:{(1618,1),(1634,1),(1673,1),(1795,1)}
1724:{3,5}:{(1622,1),(1630,1)}
1725:{1,2,5}:{(1613,1),(1622,1),(1643,1),(1822,1)}
1726:{1,2,5,6}:{(1607,1),(1617,1),(1637,1),(1684,1),(1810,1)}
1727:{1,2,5,6}:{(1609,1),(1620,1),(1642,1),(1682,1),(1814,1)}
1728:{1,2,5,6}:{(1610,1),(1624,1),(1639,1),(1683,1),(1820,1)}
1729:{1,2,5}:{(1606,1),(1619,1),(1641,1),(1813,1),(1818,1)}
1730:{1,2,5,6}:{(1605,1),(1621,1),(1640,1),(1684,1),(1808,1)}
1731:{1,2,5}:{(1614,1),(1616,1),(1638,1),(1812,1)}
1732:{1,2,5}:{(1611,1),(1623,1),(1644,1)}
1733:{1,2,5,6}:{(1612,1),(1615,1),(1635,1),(1682,1)}
1734:{1,2,5,6}:{(1608,1),(1618,1),(1636,1),(1683,1),(1805,1),(1819,1)}
1735:{2,3,6}:{(1633,1),(1639,1),(1652,1)}
1736:{2,3,6}:{(1632,1),(1641,1),(1646,1),(1818,1),(1832,1)}
1737:{1,2,3,6}:{(1627,1),(1642,1),(1648,1),(1669,1),(1825,1)}
1738:{1,2,3,6}:{(1631,1),(1637,1),(1649,1),(1669,1),(1829,1)}
1739:{1,2,3,6}:{(1625,1),(1638,1),(1651,1),(1667,1),(1821,1),(1827,1)}
1740:{1,2,3,6}:{(1626,1),(1644,1),(1647,1),(1667,1),(1815,1)}
1741:{1,2,3,6}:{(1629,1),(1640,1),(1653,1),(1668,1),(1828,1)}
1742:{2,3,6}:{(1634,1),(1636,1),(1650,1),(1831,1)}
1743:{2,3,6}:{(1630,1),(1643,1),(1654,1),(1822,1)}
1744:{1,2,3,6}:{(1628,1),(1635,1),(1645,1),(1668,1)}
1745:{1,2,4}:{(1651,1),(1672,1),(1677,1),(1838,1)}
1746:{1,2,3,4}:{(1645,1),(1670,1),(1676,1),(1686,1)}
1747:{1,3,4}:{(1649,1),(1671,1),(1687,1)}
1748:{2,3,4}:{(1652,1),(1678,1),(1685,1)}
1749:{3,4}:{(1646,1),(1687,1),(1839,1)}
1750:{1,4}:{(1648,1),(1671,1)}
1751:{1,2,3,4}:{(1647,1),(1672,1),(1676,1),(1685,1),(1843,1)}
1752:{4}:{(1650,1)}
1753:{1,2,4}:{(1653,1),(1670,1),(1677,1)}
1754:{2,3,4}:{(1654,1),(1678,1),(1686,1),(1842,1)}
1755:{3,4,5}:{(1656,1),(1658,1),(1700,1),(1787,1),(1803,1)}
1756:{3,4,6}:{(1655,1),(1659,1),(1701,1),(1793,1),(1804,1)}
1757:{3,4,5,6}:{(1657,1),(1660,1),(1700,1),(1701,1),(1786,1),(1797,1)}
1758:{2,3,5,6}:{(1659,1),(1669,1),(1679,1),(1702,1),(1788,1),(1789,1)}
1759:{2,3,5}:{(1658,1),(1667,1),(1680,1),(1794,1)}
1760:{2,3,5,6}:{(1660,1),(1668,1),(1681,1),(1702,1),(1791,1)}
1761:{3,4,6}:{(1662,1),(1669,1),(1671,1),(1790,1),(1825,1)}
1762:{2,3,4,6}:{(1663,1),(1668,1),(1670,1),(1700,1),(1787,1),(1828,1)}
1763:{2,3,4,6}:{(1661,1),(1667,1),(1672,1),(1700,1),(1786,1),(1792,1),(1827,1)}
1764:{2,3,4,5}:{(1665,1),(1670,1),(1701,1),(1702,1),(1788,1),(1841,1)}
1765:{3,4,5}:{(1666,1),(1671,1),(1702,1),(1791,1),(1840,1)}
1766:{2,3,5}:{(1664,1),(1672,1),(1701,1),(1793,1),(1838,1)}
1767:{1,4,5,6}:{(1657,1),(1688,1),(1703,1),(1704,1),(1800,1)}
1768:{1,4,6}:{(1655,1),(1690,1),(1704,1),(1795,1)}
1769:{1,4,5}:{(1656,1),(1689,1),(1703,1),(1796,1)}
1770:{1,4,6}:{(1677,1),(1696,1),(1700,1),(1803,1)}
1771:{1,3,4,6}:{(1676,1),(1695,1),(1700,1),(1703,1),(1801,1)}
1772:{3,4,6}:{(1678,1),(1694,1),(1703,1),(1796,1)}
1773:{1,4,5}:{(1674,1),(1677,1),(1701,1),(1804,1),(1838,1)}
1774:{3,4,5}:{(1673,1),(1678,1),(1704,1),(1795,1),(1842,1)}
1775:{1,3,4,5}:{(1675,1),(1676,1),(1701,1),(1704,1),(1802,1),(1843,1)}
1776:{1,2,4,6}:{(1661,1),(1685,1),(1692,1),(1703,1),(1806,1),(1830,1)}
1777:{1,4,6}:{(1662,1),(1687,1),(1691,1),(1813,1),(1832,1)}
1778:{1,2,4,6}:{(1663,1),(1686,1),(1693,1),(1703,1),(1809,1),(1833,1)}
1779:{1,2,4,5}:{(1664,1),(1683,1),(1685,1),(1704,1),(1805,1),(1835,1),(1843,1)}
1780:{1,2,4,5}:{(1665,1),(1682,1),(1686,1),(1704,1),(1814,1),(1842,1)}
1781:{1,4,5}:{(1666,1),(1684,1),(1687,1),(1808,1),(1839,1)}
1782:{2,3,5}:{(1673,1),(1683,1),(1699,1),(1836,1)}
1783:{1,2,3,5}:{(1674,1),(1684,1),(1697,1),(1702,1),(1837,1),(1841,1)}
1784:{1,2,3,5}:{(1675,1),(1682,1),(1698,1),(1702,1),(1840,1)}
1785:{2,3,4,5,6}:{(1714,1),(1757,1),(1760,1),(1762,1),(1764,1),(1864,1)}
1786:{2,3,5,6}:{(1705,1),(1757,1),(1763,1),(1766,1),(1875,1)}
1787:{2,3,5}:{(1711,1),(1755,1),(1762,1),(1877,1)}
1788:{2,3,4,6}:{(1712,1),(1756,1),(1758,1),(1764,1),(1878,1)}
1789:{3,4,5,6}:{(1707,1),(1758,1),(1761,1),(1765,1),(1857,1)}
1790:{3,5}:{(1709,1),(1761,1),(1850,1)}
1791:{3,4,6}:{(1710,1),(1760,1),(1765,1),(1867,1)}
1792:{2,3,4,5}:{(1706,1),(1755,1),(1759,1),(1763,1),(1862,1)}
1793:{2,3,6}:{(1708,1),(1756,1),(1766,1),(1861,1)}
1794:{3,4}:{(1713,1),(1759,1),(1852,1)}
1795:{3,4,6}:{(1723,1),(1768,1),(1774,1),(1854,1)}
1796:{3,4,5}:{(1724,1),(1769,1),(1772,1),(1856,1)}
1797:{1,4,5,6}:{(1718,1),(1757,1),(1770,1),(1773,1),(1875,1)}
1798:{4}:{(1717,1),(1874,1)}
1799:{1,3,4,5,6}:{(1722,1),(1757,1),(1767,1),(1771,1),(1775,1),(1865,1)}
1800:{3,4,5,6}:{(1716,1),(1767,1),(1772,1),(1774,1),(1866,1)}
1801:{1,3,4,5}:{(1720,1),(1755,1),(1769,1),(1771,1),(1868,1)}
1802:{1,3,4,6}:{(1721,1),(1756,1),(1768,1),(1775,1),(1848,1)}
1803:{1,4,5}:{(1719,1),(1755,1),(1770,1),(1877,1)}
1804:{1,4,6}:{(1715,1),(1756,1),(1773,1),(1861,1)}
1805:{1,2,4,6}:{(1708,1),(1734,1),(1768,1),(1779,1),(1848,1),(1855,1)}
1806:{1,2,4,5}:{(1706,1),(1732,1),(1769,1),(1776,1),(1856,1)}
1807:{1,2,4,5,6}:{(1705,1),(1728,1),(1767,1),(1776,1),(1779,1),(1846,1),(1865,1)}
1808:{1,4,6}:{(1710,1),(1730,1),(1781,1),(1860,1)}
1809:{1,2,4,5}:{(1711,1),(1725,1),(1769,1),(1778,1),(1853,1),(1868,1)}
1810:{1,4,5,6}:{(1707,1),(1726,1),(1777,1),(1781,1),(1845,1)}
1811:{1,2,4,5,6}:{(1714,1),(1733,1),(1767,1),(1778,1),(1780,1),(1866,1)}
1812:{1,4}:{(1713,1),(1731,1),(1872,1)}
1813:{1,4,5}:{(1709,1),(1729,1),(1777,1),(1871,1),(1880,1)}
1814:{1,2,4,6}:{(1712,1),(1727,1),(1768,1),(1780,1),(1854,1)}
1815:{1,2,3,5}:{(1720,1),(1732,1),(1740,1),(1759,1),(1852,1)}
1816:{1,2,3,5,6}:{(1722,1),(1733,1),(1744,1),(1760,1),(1784,1),(1867,1)}
1817:{1,2,3,5,6}:{(1718,1),(1730,1),(1741,1),(1760,1),(1783,1),(1864,1),(1876,1)}
1818:{2,3,5}:{(1717,1),(1729,1),(1736,1),(1871,1),(1873,1)}
1819:{2,3,5,6}:{(1723,1),(1734,1),(1742,1),(1782,1),(1855,1),(1879,1)}
1820:{2,3,5,6}:{(1716,1),(1728,1),(1735,1),(1782,1),(1858,1)}
1821:{1,2,3,5}:{(1719,1),(1731,1),(1739,1),(1759,1),(1849,1),(1862,1)}
1822:{2,3,5}:{(1724,1),(1725,1),(1743,1),(1851,1)}
1823:{1,2,3,5,6}:{(1721,1),(1727,1),(1737,1),(1758,1),(1784,1),(1857,1),(1869,1)}
1824:{1,2,3,5,6}:{(1715,1),(1726,1),(1738,1),(1758,1),(1783,1),(1859,1),(1878,1)}
1825:{1,4,6}:{(1737,1),(1750,1),(1761,1),(1850,1)}
1826:{1,2,3,4,6}:{(1740,1),(1751,1),(1763,1),(1771,1),(1776,1),(1847,1),(1865,1)}
1827:{1,2,4,6}:{(1739,1),(1745,1),(1763,1),(1770,1),(1862,1),(1875,1)}
1828:{1,2,4,6}:{(1741,1),(1753,1),(1762,1),(1770,1),(1877,1)}
1829:{1,3,4,6}:{(1738,1),(1747,1),(1761,1),(1777,1),(1880,1)}
1830:{2,3,4,6}:{(1735,1),(1748,1),(1772,1),(1776,1),(1856,1)}
1831:{4,6}:{(1742,1),(1752,1),(1870,1)}
1832:{3,4,6}:{(1736,1),(1749,1),(1777,1),(1845,1),(1871,1)}
1833:{2,3,4,6}:{(1743,1),(1754,1),(1772,1),(1778,1),(1853,1),(1866,1)}
1834:{1,2,3,4,6}:{(1744,1),(1746,1),(1762,1),(1771,1),(1778,1),(1868,1)}
1835:{2,3,4,5}:{(1748,1),(1774,1),(1779,1),(1782,1),(1855,1)}
1836:{4,5}:{(1752,1),(1782,1),(1858,1)}
1837:{1,3,4,5}:{(1747,1),(1765,1),(1781,1),(1783,1),(1876,1)}
1838:{1,2,5}:{(1745,1),(1766,1),(1773,1),(1861,1)}
1839:{3,5}:{(1749,1),(1781,1),(1860,1)}
1840:{1,4,5}:{(1750,1),(1765,1),(1784,1),(1867,1)}
1841:{1,2,4,5}:{(1753,1),(1764,1),(1773,1),(1783,1),(1878,1)}
1842:{2,3,5}:{(1754,1),(1774,1),(1780,1),(1854,1)}
1843:{1,2,3,5}:{(1751,1),(1766,1),(1775,1),(1779,1),(1848,1)}
1844:{1,2,3,4,5}:{(1746,1),(1764,1),(1775,1),(1780,1),(1784,1),(1869,1)}
1845:{3,5,6}:{(1810,1),(1832,1),(1839,1)}
1846:{2,3,4,5,6}:{(1800,1),(1807,1),(1820,1),(1830,1),(1835,1)}
1847:{1,2,3,4,5}:{(1792,1),(1801,1),(1806,1),(1815,1),(1826,1)}
1848:{1,2,3,6}:{(1793,1),(1802,1),(1805,1),(1843,1)}
1849:{1,3,4}:{(1794,1),(1812,1),(1821,1)}
1850:{1,5}:{(1790,1),(1825,1)}
1851:{4}:{(1822,1)}
1852:{1,4}:{(1794,1),(1815,1)}
1853:{2,3,4,5}:{(1796,1),(1809,1),(1822,1),(1833,1)}
1854:{2,3,6}:{(1795,1),(1814,1),(1842,1)}
1855:{2,3,4,6}:{(1795,1),(1805,1),(1819,1),(1835,1)}
1856:{2,3,5}:{(1796,1),(1806,1),(1830,1)}
1857:{1,4,5,6}:{(1789,1),(1823,1),(1825,1),(1840,1)}
1858:{4,6}:{(1820,1),(1836,1)}
1859:{1,3,4,5,6}:{(1789,1),(1810,1),(1824,1),(1829,1),(1837,1)}
1860:{3,6}:{(1808,1),(1839,1)}
1861:{1,2,6}:{(1793,1),(1804,1),(1838,1)}
1862:{1,2,4,5}:{(1792,1),(1803,1),(1821,1),(1827,1)}
1863:{1,2,3,4,5,6}:{(1785,1),(1799,1),(1811,1),(1816,1),(1834,1),(1844,1)}
1864:{1,2,4,5,6}:{(1785,1),(1797,1),(1817,1),(1828,1),(1841,1)}
1865:{1,2,3,5,6}:{(1786,1),(1799,1),(1807,1),(1826,1),(1843,1)}
1866:{2,3,5,6}:{(1800,1),(1811,1),(1833,1),(1842,1)}
1867:{1,4,6}:{(1791,1),(1816,1),(1840,1)}
1868:{1,2,3,5}:{(1787,1),(1801,1),(1809,1),(1834,1)}
1869:{1,2,3,4,6}:{(1788,1),(1802,1),(1814,1),(1823,1),(1844,1)}
1870:{5}:{(1831,1)}
1871:{3,4,5}:{(1813,1),(1818,1),(1832,1)}
1872:{3}:{(1812,1)}
1873:{2,4}:{(1798,1),(1818,1)}
1874:{2}:{(1798,1)}
1875:{1,2,5,6}:{(1786,1),(1797,1),(1827,1),(1838,1)}
1876:{1,3,4,6}:{(1791,1),(1808,1),(1817,1),(1837,1)}
1877:{1,2,5}:{(1787,1),(1803,1),(1828,1)}
1878:{1,2,4,6}:{(1788,1),(1804,1),(1824,1),(1841,1)}
1879:{4,5,6}:{(1819,1),(1831,1),(1836,1)}
1880:{1,3,5}:{(1790,1),(1813,1),(1829,1)}