#include <cstdio>
#include <vector>

using namespace std;

typedef pair<int,int> p;

int main()
{
int N,n,r;
vector<p> v;
vector<p>::iterator i;


	v.push_back(p(3,2));
	v.push_back(p(6,2));
	v.push_back(p(7,3));
	v.push_back(p(9,7));
	v.push_back(p(11,5));
	v.push_back(p(14,3));
	v.push_back(p(15,8));
	v.push_back(p(17,5));
	v.push_back(p(18,3));
	v.push_back(p(19,8));
	v.push_back(p(21,17));
	v.push_back(p(23,9));
	v.push_back(p(25,6));
	v.push_back(p(26,3));
	v.push_back(p(27,14));
	v.push_back(p(29,9));
	v.push_back(p(30,3));
	v.push_back(p(31,6));
	v.push_back(p(33,18));
	v.push_back(p(35,15));
	v.push_back(p(37,9));
	v.push_back(p(38,3));
	v.push_back(p(39,23));
	v.push_back(p(41,14));
	v.push_back(p(42,3));
	v.push_back(p(43,17));
	v.push_back(p(45,24));
	v.push_back(p(46,3));
	v.push_back(p(47,18));
	v.push_back(p(49,18));
	v.push_back(p(51,27));
	v.push_back(p(53,18));
	v.push_back(p(54,3));
	v.push_back(p(55,12));
	v.push_back(p(57,33));
	v.push_back(p(59,23));
	v.push_back(p(61,21));
	v.push_back(p(62,3));
	v.push_back(p(63,42));
	v.push_back(p(65,18));
	v.push_back(p(66,6));
	v.push_back(p(67,21));
	v.push_back(p(69,35));
	v.push_back(p(71,27));
	v.push_back(p(73,20));
	v.push_back(p(74,3));
	v.push_back(p(75,30));
	v.push_back(p(77,33));
	v.push_back(p(79,27));
	v.push_back(p(81,39));
	v.push_back(p(83,27));
	v.push_back(p(85,21));
	v.push_back(p(86,6));
	v.push_back(p(87,38));
	v.push_back(p(89,29));
	v.push_back(p(90,3));
	v.push_back(p(91,30));
	v.push_back(p(93,47));
	v.push_back(p(95,30));
	v.push_back(p(97,20));
	v.push_back(p(98,3));
	v.push_back(p(99,61));
	v.push_back(p(101,30));
	v.push_back(p(102,3));
	v.push_back(p(103,36));
	v.push_back(p(105,54));
	v.push_back(p(107,36));
	v.push_back(p(109,33));
	v.push_back(p(110,3));
	v.push_back(p(111,56));
	v.push_back(p(113,41));
	v.push_back(p(114,3));
	v.push_back(p(115,30));
	v.push_back(p(117,57));
	v.push_back(p(118,3));
	v.push_back(p(119,48));
	v.push_back(p(121,44));
	v.push_back(p(123,60));
	v.push_back(p(125,36));
	v.push_back(p(126,6));
	v.push_back(p(127,39));
	v.push_back(p(129,67));
	v.push_back(p(131,44));
	v.push_back(p(133,48));
	v.push_back(p(135,51));
	v.push_back(p(137,50));
	v.push_back(p(138,3));
	v.push_back(p(139,44));
	v.push_back(p(141,68));
	v.push_back(p(143,51));
	v.push_back(p(145,33));
	v.push_back(p(146,6));
	v.push_back(p(147,78));
	v.push_back(p(149,48));
	v.push_back(p(150,3));
	v.push_back(p(151,45));
	v.push_back(p(153,68));
	v.push_back(p(154,3));
	v.push_back(p(155,51));
	v.push_back(p(157,36));
	v.push_back(p(158,3));
	v.push_back(p(159,74));
	v.push_back(p(161,66));
	v.push_back(p(163,41));
	v.push_back(p(165,84));
	v.push_back(p(167,60));
	v.push_back(p(169,48));
	v.push_back(p(170,3));
	v.push_back(p(171,86));
	v.push_back(p(173,48));
	v.push_back(p(174,3));
	v.push_back(p(175,42));
	v.push_back(p(177,80));
	v.push_back(p(179,56));
	v.push_back(p(181,63));
	v.push_back(p(182,3));
	v.push_back(p(183,83));
	v.push_back(p(185,54));
	v.push_back(p(186,6));
	v.push_back(p(187,49));
	v.push_back(p(189,111));
	v.push_back(p(191,60));
	v.push_back(p(193,62));
	v.push_back(p(194,3));
	v.push_back(p(195,69));
	v.push_back(p(197,69));
	v.push_back(p(198,3));
	v.push_back(p(199,60));
	v.push_back(p(201,90));
	v.push_back(p(203,78));
	v.push_back(p(205,36));
	v.push_back(p(206,6));
	v.push_back(p(207,105));
	v.push_back(p(209,80));
	v.push_back(p(211,60));
	v.push_back(p(213,98));
	v.push_back(p(215,63));
	v.push_back(p(217,66));
	v.push_back(p(219,109));
	v.push_back(p(221,63));
	v.push_back(p(222,6));
	v.push_back(p(223,54));
	v.push_back(p(225,81));
	v.push_back(p(226,3));
	v.push_back(p(227,68));
	v.push_back(p(229,60));
	v.push_back(p(230,3));
	v.push_back(p(231,138));
	v.push_back(p(233,74));
	v.push_back(p(234,3));
	v.push_back(p(235,60));
	v.push_back(p(237,107));
	v.push_back(p(239,75));
	v.push_back(p(241,60));
	v.push_back(p(242,3));
	v.push_back(p(243,104));
	v.push_back(p(245,75));
	v.push_back(p(246,3));
	v.push_back(p(247,72));
	v.push_back(p(249,117));
	v.push_back(p(251,69));
	v.push_back(p(253,84));
	v.push_back(p(255,99));
	v.push_back(p(257,83));
	v.push_back(p(258,3));
	v.push_back(p(259,96));
	v.push_back(p(261,126));
	v.push_back(p(262,3));
	v.push_back(p(263,72));
	v.push_back(p(265,54));
	v.push_back(p(266,6));
	v.push_back(p(267,112));
	v.push_back(p(269,84));
	v.push_back(p(270,3));
	v.push_back(p(271,66));
	v.push_back(p(273,135));
	v.push_back(p(275,81));
	v.push_back(p(277,75));
	v.push_back(p(278,3));
	v.push_back(p(279,135));
	v.push_back(p(281,92));
	v.push_back(p(282,3));
	v.push_back(p(283,78));
	v.push_back(p(285,108));
	v.push_back(p(287,99));
	v.push_back(p(289,71));
	v.push_back(p(290,3));
	v.push_back(p(291,135));
	v.push_back(p(293,84));
	v.push_back(p(294,3));
	v.push_back(p(295,78));
	v.push_back(p(297,148));
	v.push_back(p(299,102));
	v.push_back(p(301,120));
	v.push_back(p(303,137));
	v.push_back(p(305,66));
	v.push_back(p(306,6));
	v.push_back(p(307,72));
	v.push_back(p(309,143));
	v.push_back(p(311,99));
	v.push_back(p(313,68));
	v.push_back(p(314,3));
	v.push_back(p(315,141));
	v.push_back(p(317,102));
	v.push_back(p(318,3));
	v.push_back(p(319,99));
	v.push_back(p(321,148));
	v.push_back(p(323,110));
	v.push_back(p(325,75));
	v.push_back(p(326,9));
	v.push_back(p(327,125));
	v.push_back(p(329,129));
	v.push_back(p(331,74));
	v.push_back(p(333,141));
	v.push_back(p(334,3));
	v.push_back(p(335,90));
	v.push_back(p(337,96));
	v.push_back(p(338,3));
	v.push_back(p(339,136));
	v.push_back(p(341,117));
	v.push_back(p(343,114));
	v.push_back(p(345,144));
	v.push_back(p(347,98));
	v.push_back(p(349,87));
	v.push_back(p(350,3));
	v.push_back(p(351,144));
	v.push_back(p(353,110));
	v.push_back(p(354,3));
	v.push_back(p(355,75));
	v.push_back(p(357,174));
	v.push_back(p(359,120));
	v.push_back(p(361,113));
	v.push_back(p(363,176));
	v.push_back(p(365,99));
	v.push_back(p(366,6));
	v.push_back(p(367,96));
	v.push_back(p(369,175));
	v.push_back(p(370,3));
	v.push_back(p(371,135));
	v.push_back(p(373,81));
	v.push_back(p(374,3));
	v.push_back(p(375,141));
	v.push_back(p(377,78));
	v.push_back(p(378,6));
	v.push_back(p(379,108));
	v.push_back(p(381,170));
	v.push_back(p(383,102));
	v.push_back(p(385,111));
	v.push_back(p(387,164));
	v.push_back(p(389,120));
	v.push_back(p(390,3));
	v.push_back(p(391,108));
	v.push_back(p(393,177));
	v.push_back(p(395,111));
	v.push_back(p(397,108));
	v.push_back(p(398,3));
	v.push_back(p(399,222));
	v.push_back(p(401,122));
	v.push_back(p(402,3));
	v.push_back(p(403,123));
	v.push_back(p(405,138));
	v.push_back(p(406,3));
	v.push_back(p(407,132));
	v.push_back(p(409,108));
	v.push_back(p(410,3));
	v.push_back(p(411,167));
	v.push_back(p(413,156));
	v.push_back(p(415,111));
	v.push_back(p(417,190));
	v.push_back(p(419,123));
	v.push_back(p(421,111));
	v.push_back(p(422,3));
	v.push_back(p(423,192));
	v.push_back(p(425,99));
	v.push_back(p(426,9));
	v.push_back(p(427,144));
	v.push_back(p(429,183));
	v.push_back(p(431,138));
	v.push_back(p(433,120));
	v.push_back(p(434,3));
	v.push_back(p(435,168));
	v.push_back(p(437,135));
	v.push_back(p(439,126));
	v.push_back(p(441,234));
	v.push_back(p(443,131));
	v.push_back(p(445,105));
	v.push_back(p(446,6));
	v.push_back(p(447,188));
	v.push_back(p(449,123));
	v.push_back(p(450,3));
	v.push_back(p(451,137));
	v.push_back(p(453,170));
	v.push_back(p(455,117));
	v.push_back(p(457,129));
	v.push_back(p(458,3));
	v.push_back(p(459,193));
	v.push_back(p(461,132));
	v.push_back(p(462,3));
	v.push_back(p(463,114));
	v.push_back(p(465,180));
	v.push_back(p(467,143));
	v.push_back(p(469,171));
	v.push_back(p(471,212));
	v.push_back(p(473,150));
	v.push_back(p(475,114));
	v.push_back(p(477,207));
	v.push_back(p(478,3));
	v.push_back(p(479,150));
	v.push_back(p(481,126));
	v.push_back(p(482,6));
	v.push_back(p(483,249));
	v.push_back(p(485,111));
	v.push_back(p(486,6));
	v.push_back(p(487,129));
	v.push_back(p(489,214));
	v.push_back(p(491,152));
	v.push_back(p(493,117));
	v.push_back(p(494,6));
	v.push_back(p(495,183));
	v.push_back(p(497,165));
	v.push_back(p(499,138));
	v.push_back(p(501,212));
	v.push_back(p(503,138));
	v.push_back(p(505,111));
	v.push_back(p(506,6));
	v.push_back(p(507,207));
	v.push_back(p(509,129));
	v.push_back(p(510,3));
	v.push_back(p(511,162));
	v.push_back(p(513,224));
	v.push_back(p(515,114));
	v.push_back(p(517,153));
	v.push_back(p(519,218));
	v.push_back(p(521,156));
	v.push_back(p(522,3));
	v.push_back(p(523,137));
	v.push_back(p(525,201));
	v.push_back(p(527,165));
	v.push_back(p(529,150));
	v.push_back(p(531,230));
	v.push_back(p(533,141));
	v.push_back(p(534,6));
	v.push_back(p(535,105));
	v.push_back(p(537,221));
	v.push_back(p(539,213));
	v.push_back(p(541,144));
	v.push_back(p(542,3));
	v.push_back(p(543,215));
	v.push_back(p(545,135));
	v.push_back(p(546,6));
	v.push_back(p(547,134));
	v.push_back(p(549,231));
	v.push_back(p(550,3));
	v.push_back(p(551,141));
	v.push_back(p(553,177));
	v.push_back(p(555,198));
	v.push_back(p(557,165));
	v.push_back(p(558,3));
	v.push_back(p(559,153));
	v.push_back(p(561,252));
	v.push_back(p(563,143));
	v.push_back(p(565,132));
	v.push_back(p(566,6));
	v.push_back(p(567,267));
	v.push_back(p(569,155));
	v.push_back(p(570,3));
	v.push_back(p(571,164));
	v.push_back(p(573,233));
	v.push_back(p(575,132));
	v.push_back(p(577,129));
	v.push_back(p(578,3));
	v.push_back(p(579,240));
	v.push_back(p(581,189));
	v.push_back(p(583,177));
	v.push_back(p(585,192));
	v.push_back(p(586,6));
	v.push_back(p(587,150));
	v.push_back(p(589,180));
	v.push_back(p(591,239));
	v.push_back(p(593,165));
	v.push_back(p(594,3));
	v.push_back(p(595,132));
	v.push_back(p(597,257));
	v.push_back(p(599,174));
	v.push_back(p(601,150));
	v.push_back(p(602,3));
	v.push_back(p(603,245));
	v.push_back(p(605,165));
	v.push_back(p(606,3));
	v.push_back(p(607,141));
	v.push_back(p(609,297));
	v.push_back(p(611,168));
	v.push_back(p(613,162));
	v.push_back(p(614,3));
	v.push_back(p(615,219));
	v.push_back(p(617,164));
	v.push_back(p(618,3));
	v.push_back(p(619,152));
	v.push_back(p(621,282));
	v.push_back(p(623,213));
	v.push_back(p(625,141));
	v.push_back(p(626,6));
	v.push_back(p(627,316));
	v.push_back(p(629,174));
	v.push_back(p(630,6));
	v.push_back(p(631,180));
	v.push_back(p(633,262));
	v.push_back(p(635,132));
	v.push_back(p(637,180));
	v.push_back(p(638,3));
	v.push_back(p(639,264));
	v.push_back(p(641,165));
	v.push_back(p(642,3));
	v.push_back(p(643,153));
	v.push_back(p(645,219));
	v.push_back(p(647,189));
	v.push_back(p(649,211));
	v.push_back(p(651,333));
	v.push_back(p(653,183));
	v.push_back(p(654,3));
	v.push_back(p(655,147));
	v.push_back(p(657,251));
	v.push_back(p(658,3));
	v.push_back(p(659,185));
	v.push_back(p(661,171));
	v.push_back(p(662,3));
	v.push_back(p(663,231));
	v.push_back(p(665,207));
	v.push_back(p(667,192));
	v.push_back(p(669,293));
	v.push_back(p(671,210));
	v.push_back(p(673,171));
	v.push_back(p(674,3));
	v.push_back(p(675,252));
	v.push_back(p(677,195));
	v.push_back(p(678,3));
	v.push_back(p(679,195));
	v.push_back(p(681,278));
	v.push_back(p(683,198));
	v.push_back(p(685,150));
	v.push_back(p(686,6));
	v.push_back(p(687,263));
	v.push_back(p(689,183));
	v.push_back(p(690,6));
	v.push_back(p(691,191));
	v.push_back(p(693,372));
	v.push_back(p(695,168));
	v.push_back(p(697,152));
	v.push_back(p(698,6));
	v.push_back(p(699,287));
	v.push_back(p(701,189));
	v.push_back(p(702,3));
	v.push_back(p(703,195));
	v.push_back(p(705,249));
	v.push_back(p(707,234));
	v.push_back(p(709,189));
	v.push_back(p(710,3));
	v.push_back(p(711,303));
	v.push_back(p(713,222));
	v.push_back(p(715,141));
	v.push_back(p(717,287));
	v.push_back(p(719,201));
	v.push_back(p(721,237));
	v.push_back(p(723,282));
	v.push_back(p(725,171));
	v.push_back(p(726,9));
	v.push_back(p(727,162));
	v.push_back(p(729,302));
	v.push_back(p(731,211));
	v.push_back(p(733,174));
	v.push_back(p(734,3));
	v.push_back(p(735,276));
	v.push_back(p(737,245));
	v.push_back(p(739,203));
	v.push_back(p(741,306));
	v.push_back(p(743,204));
	v.push_back(p(745,132));
	v.push_back(p(746,6));
	v.push_back(p(747,302));
	v.push_back(p(749,240));
	v.push_back(p(751,198));
	v.push_back(p(753,286));
	v.push_back(p(755,162));
	v.push_back(p(757,159));
	v.push_back(p(758,3));
	v.push_back(p(759,366));
	v.push_back(p(761,207));
	v.push_back(p(762,3));
	v.push_back(p(763,249));
	v.push_back(p(765,249));
	v.push_back(p(766,6));
	v.push_back(p(767,210));
	v.push_back(p(769,200));
	v.push_back(p(770,3));
	v.push_back(p(771,311));
	v.push_back(p(773,213));
	v.push_back(p(774,3));
	v.push_back(p(775,156));
	v.push_back(p(777,363));
	v.push_back(p(779,238));
	v.push_back(p(781,237));
	v.push_back(p(783,318));
	v.push_back(p(785,159));
	v.push_back(p(786,6));
	v.push_back(p(787,224));
	v.push_back(p(789,326));
	v.push_back(p(791,246));
	v.push_back(p(793,189));
	v.push_back(p(794,6));
	v.push_back(p(795,252));
	v.push_back(p(797,207));
	v.push_back(p(798,3));
	v.push_back(p(799,219));
	v.push_back(p(801,334));
	v.push_back(p(802,3));
	v.push_back(p(803,238));
	v.push_back(p(805,231));
	v.push_back(p(807,341));
	v.push_back(p(809,234));
	v.push_back(p(810,3));
	v.push_back(p(811,203));
	v.push_back(p(813,332));
	v.push_back(p(815,192));
	v.push_back(p(817,224));
	v.push_back(p(819,372));
	v.push_back(p(821,228));
	v.push_back(p(822,3));
	v.push_back(p(823,219));
	v.push_back(p(825,300));
	v.push_back(p(827,239));
	v.push_back(p(829,213));
	v.push_back(p(830,3));
	v.push_back(p(831,347));
	v.push_back(p(833,252));
	v.push_back(p(834,3));
	v.push_back(p(835,183));
	v.push_back(p(837,339));
	v.push_back(p(839,231));
	v.push_back(p(841,222));
	v.push_back(p(842,3));
	v.push_back(p(843,335));
	v.push_back(p(845,171));
	v.push_back(p(846,9));
	v.push_back(p(847,258));
	v.push_back(p(849,357));
	v.push_back(p(851,240));
	v.push_back(p(853,207));
	v.push_back(p(854,3));
	v.push_back(p(855,315));
	v.push_back(p(857,252));
	v.push_back(p(858,3));
	v.push_back(p(859,207));
	v.push_back(p(861,366));
	v.push_back(p(863,246));
	v.push_back(p(865,180));
	v.push_back(p(866,6));
	v.push_back(p(867,313));
	v.push_back(p(869,255));
	v.push_back(p(871,180));
	v.push_back(p(873,338));
	v.push_back(p(874,3));
	v.push_back(p(875,222));
	v.push_back(p(877,237));
	v.push_back(p(878,3));
	v.push_back(p(879,356));
	v.push_back(p(881,245));
	v.push_back(p(882,3));
	v.push_back(p(883,233));
	v.push_back(p(885,288));
	v.push_back(p(887,237));
	v.push_back(p(889,276));
	v.push_back(p(891,394));
	v.push_back(p(893,249));
	v.push_back(p(895,180));
	v.push_back(p(897,360));
	v.push_back(p(899,267));
	v.push_back(p(901,231));
	v.push_back(p(902,6));
	v.push_back(p(903,432));
	v.push_back(p(905,192));
	v.push_back(p(906,6));
	v.push_back(p(907,198));
	v.push_back(p(909,363));
	v.push_back(p(910,3));
	v.push_back(p(911,246));
	v.push_back(p(913,254));
	v.push_back(p(915,324));
	v.push_back(p(917,291));
	v.push_back(p(919,240));
	v.push_back(p(921,370));
	v.push_back(p(923,237));
	v.push_back(p(925,168));
	v.push_back(p(926,9));
	v.push_back(p(927,345));
	v.push_back(p(929,236));
	v.push_back(p(930,3));
	v.push_back(p(931,297));
	v.push_back(p(933,383));
	v.push_back(p(935,219));
	v.push_back(p(937,237));
	v.push_back(p(938,3));
	v.push_back(p(939,373));
	v.push_back(p(941,288));
	v.push_back(p(942,3));
	v.push_back(p(943,216));
	v.push_back(p(945,369));
	v.push_back(p(947,273));
	v.push_back(p(949,234));
	v.push_back(p(950,6));
	v.push_back(p(951,377));
	v.push_back(p(953,263));
	v.push_back(p(954,3));
	v.push_back(p(955,183));
	v.push_back(p(957,393));
	v.push_back(p(959,303));
	v.push_back(p(961,270));
	v.push_back(p(963,401));
	v.push_back(p(965,192));
	v.push_back(p(966,6));
	v.push_back(p(967,234));
	v.push_back(p(969,379));
	v.push_back(p(971,252));
	v.push_back(p(973,279));
	v.push_back(p(975,309));
	v.push_back(p(977,267));
	v.push_back(p(978,3));
	v.push_back(p(979,282));
	v.push_back(p(981,399));
	v.push_back(p(982,3));
	v.push_back(p(983,282));
	v.push_back(p(985,186));
	v.push_back(p(986,6));
	v.push_back(p(987,444));
	v.push_back(p(989,303));
	v.push_back(p(991,243));
	v.push_back(p(993,400));
	v.push_back(p(995,234));
	v.push_back(p(997,243));
	v.push_back(p(998,3));
	v.push_back(p(999,363));
	v.push_back(p(1001,357));
	v.push_back(p(1003,242));
	v.push_back(p(1005,324));
	v.push_back(p(1007,285));
	v.push_back(p(1009,231));
	v.push_back(p(1010,3));
	v.push_back(p(1011,409));
	v.push_back(p(1013,273));
	v.push_back(p(1014,3));
	v.push_back(p(1015,246));
	v.push_back(p(1017,415));
	v.push_back(p(1018,3));
	v.push_back(p(1019,279));
	v.push_back(p(1021,246));
	v.push_back(p(1022,3));
	v.push_back(p(1023,480));
	v.push_back(p(1025,231));
	v.push_back(p(1026,9));
	v.push_back(p(1027,225));
	v.push_back(p(1029,474));
	v.push_back(p(1031,279));
	v.push_back(p(1033,242));
	v.push_back(p(1034,3));
	v.push_back(p(1035,372));
	v.push_back(p(1037,255));
	v.push_back(p(1038,6));
	v.push_back(p(1039,252));
	v.push_back(p(1041,442));
	v.push_back(p(1043,348));
	v.push_back(p(1045,225));
	v.push_back(p(1047,407));
	v.push_back(p(1049,266));
	v.push_back(p(1050,3));
	v.push_back(p(1051,270));
	v.push_back(p(1053,372));
	v.push_back(p(1054,3));
	v.push_back(p(1055,231));
	v.push_back(p(1057,282));
	v.push_back(p(1059,418));
	v.push_back(p(1061,291));
	v.push_back(p(1062,3));
	v.push_back(p(1063,285));
	v.push_back(p(1065,348));
	v.push_back(p(1067,329));
	v.push_back(p(1069,288));
	v.push_back(p(1070,3));
	v.push_back(p(1071,486));
	v.push_back(p(1073,264));
	v.push_back(p(1074,6));
	v.push_back(p(1075,222));
	v.push_back(p(1077,410));
	v.push_back(p(1079,285));
	v.push_back(p(1081,276));
	v.push_back(p(1083,431));
	v.push_back(p(1085,297));
	v.push_back(p(1087,267));
	v.push_back(p(1089,511));
	v.push_back(p(1091,279));
	v.push_back(p(1093,264));
	v.push_back(p(1094,3));
	v.push_back(p(1095,369));
	v.push_back(p(1097,282));
	v.push_back(p(1098,3));
	v.push_back(p(1099,345));
	v.push_back(p(1101,425));
	v.push_back(p(1103,282));
	v.push_back(p(1105,186));
	v.push_back(p(1106,12));
	v.push_back(p(1107,417));
	v.push_back(p(1109,300));
	v.push_back(p(1110,3));
	v.push_back(p(1111,309));
	v.push_back(p(1113,495));
	v.push_back(p(1115,252));
	v.push_back(p(1117,309));
	v.push_back(p(1118,3));
	v.push_back(p(1119,452));
	v.push_back(p(1121,341));
	v.push_back(p(1123,246));
	v.push_back(p(1125,348));
	v.push_back(p(1126,6));
	v.push_back(p(1127,363));
	v.push_back(p(1129,284));
	v.push_back(p(1130,3));
	v.push_back(p(1131,417));
	v.push_back(p(1133,333));
	v.push_back(p(1135,231));
	v.push_back(p(1137,451));
	v.push_back(p(1139,290));
	v.push_back(p(1141,363));
	v.push_back(p(1143,471));
	v.push_back(p(1145,270));
	v.push_back(p(1146,6));
	v.push_back(p(1147,294));
	v.push_back(p(1149,455));
	v.push_back(p(1151,312));
	v.push_back(p(1153,263));
	v.push_back(p(1154,3));
	v.push_back(p(1155,480));
	v.push_back(p(1157,252));
	v.push_back(p(1158,6));
	v.push_back(p(1159,318));
	v.push_back(p(1161,493));
	v.push_back(p(1163,321));
	v.push_back(p(1165,216));
	v.push_back(p(1166,6));
	v.push_back(p(1167,458));
	v.push_back(p(1169,360));
	v.push_back(p(1171,311));
	v.push_back(p(1173,480));
	v.push_back(p(1175,231));
	v.push_back(p(1177,328));
	v.push_back(p(1179,479));
	v.push_back(p(1181,303));
	v.push_back(p(1182,3));
	v.push_back(p(1183,312));
	v.push_back(p(1185,390));
	v.push_back(p(1187,324));
	v.push_back(p(1189,273));
	v.push_back(p(1190,6));
	v.push_back(p(1191,458));
	v.push_back(p(1193,339));
	v.push_back(p(1194,3));
	v.push_back(p(1195,261));
	v.push_back(p(1197,576));
	v.push_back(p(1199,360));
	v.push_back(p(1201,300));
	v.push_back(p(1202,3));
	v.push_back(p(1203,453));
	v.push_back(p(1205,279));
	v.push_back(p(1206,6));
	v.push_back(p(1207,303));
	v.push_back(p(1209,435));
	v.push_back(p(1211,390));
	v.push_back(p(1213,291));
	v.push_back(p(1214,3));
	v.push_back(p(1215,405));
	v.push_back(p(1217,303));
	v.push_back(p(1218,3));
	v.push_back(p(1219,330));
	v.push_back(p(1221,531));
	v.push_back(p(1223,336));
	v.push_back(p(1225,291));
	v.push_back(p(1226,3));
	v.push_back(p(1227,482));
	v.push_back(p(1229,318));
	v.push_back(p(1230,3));
	v.push_back(p(1231,300));
	v.push_back(p(1233,454));
	v.push_back(p(1234,3));
	v.push_back(p(1235,246));
	v.push_back(p(1237,285));
	v.push_back(p(1238,3));
	v.push_back(p(1239,579));
	v.push_back(p(1241,293));
	v.push_back(p(1242,6));
	v.push_back(p(1243,347));
	v.push_back(p(1245,411));
	v.push_back(p(1247,333));
	v.push_back(p(1249,315));
	v.push_back(p(1250,3));
	v.push_back(p(1251,476));
	v.push_back(p(1253,411));
	v.push_back(p(1255,231));
	v.push_back(p(1257,513));
	v.push_back(p(1259,320));
	v.push_back(p(1261,318));
	v.push_back(p(1262,6));
	v.push_back(p(1263,500));
	v.push_back(p(1265,318));
	v.push_back(p(1267,366));
	v.push_back(p(1269,534));
	v.push_back(p(1271,342));
	v.push_back(p(1273,365));
	v.push_back(p(1275,372));
	v.push_back(p(1277,351));
	v.push_back(p(1278,3));
	v.push_back(p(1279,285));
	v.push_back(p(1281,579));
	v.push_back(p(1283,350));
	v.push_back(p(1285,273));
	v.push_back(p(1286,6));
	v.push_back(p(1287,507));
	v.push_back(p(1289,360));
	v.push_back(p(1290,3));
	v.push_back(p(1291,350));
	v.push_back(p(1293,488));
	v.push_back(p(1295,288));
	v.push_back(p(1297,338));
	v.push_back(p(1298,3));
	v.push_back(p(1299,497));
	v.push_back(p(1301,342));
	v.push_back(p(1302,3));
	v.push_back(p(1303,339));
	v.push_back(p(1305,396));
	v.push_back(p(1306,6));
	v.push_back(p(1307,347));
	v.push_back(p(1309,423));
	v.push_back(p(1311,576));
	v.push_back(p(1313,327));
	v.push_back(p(1314,6));
	v.push_back(p(1315,279));
	v.push_back(p(1317,518));
	v.push_back(p(1319,336));
	v.push_back(p(1321,312));
	v.push_back(p(1322,3));
	v.push_back(p(1323,597));
	v.push_back(p(1325,285));
	v.push_back(p(1326,9));
	v.push_back(p(1327,333));
	v.push_back(p(1329,487));
	v.push_back(p(1331,422));
	v.push_back(p(1333,363));
	v.push_back(p(1335,414));
	v.push_back(p(1337,396));
	v.push_back(p(1339,309));
	v.push_back(p(1341,528));
	v.push_back(p(1342,3));
	v.push_back(p(1343,306));
	v.push_back(p(1345,279));
	v.push_back(p(1346,6));
	v.push_back(p(1347,493));
	v.push_back(p(1349,399));
	v.push_back(p(1351,393));
	v.push_back(p(1353,581));
	v.push_back(p(1355,318));
	v.push_back(p(1357,339));
	v.push_back(p(1359,558));
	v.push_back(p(1361,354));
	v.push_back(p(1362,3));
	v.push_back(p(1363,291));
	v.push_back(p(1365,468));
	v.push_back(p(1367,372));
	v.push_back(p(1369,345));
	v.push_back(p(1370,3));
	v.push_back(p(1371,543));
	v.push_back(p(1373,351));
	v.push_back(p(1374,3));
	v.push_back(p(1375,303));
	v.push_back(p(1377,487));
	v.push_back(p(1378,3));
	v.push_back(p(1379,426));
	v.push_back(p(1381,357));
	v.push_back(p(1382,3));
	v.push_back(p(1383,530));
	v.push_back(p(1385,273));
	v.push_back(p(1386,6));
	v.push_back(p(1387,374));
	v.push_back(p(1389,548));
	v.push_back(p(1391,369));
	v.push_back(p(1393,381));
	v.push_back(p(1395,462));
	v.push_back(p(1397,414));
	v.push_back(p(1399,339));
	v.push_back(p(1401,539));
	v.push_back(p(1403,375));
	v.push_back(p(1405,276));
	v.push_back(p(1406,6));
	v.push_back(p(1407,651));
	v.push_back(p(1409,390));
	v.push_back(p(1410,3));
	v.push_back(p(1411,342));
	v.push_back(p(1413,546));
	v.push_back(p(1414,3));
	v.push_back(p(1415,309));
	v.push_back(p(1417,300));
	v.push_back(p(1418,6));
	v.push_back(p(1419,621));
	v.push_back(p(1421,432));
	v.push_back(p(1422,3));
	v.push_back(p(1423,342));
	v.push_back(p(1425,486));
	v.push_back(p(1427,335));
	v.push_back(p(1429,348));
	v.push_back(p(1430,3));
	v.push_back(p(1431,558));
	v.push_back(p(1433,381));
	v.push_back(p(1434,3));
	v.push_back(p(1435,309));
	v.push_back(p(1437,563));
	v.push_back(p(1439,393));
	v.push_back(p(1441,389));
	v.push_back(p(1443,495));
	v.push_back(p(1445,306));
	v.push_back(p(1446,9));
	v.push_back(p(1447,378));
	v.push_back(p(1449,675));
	v.push_back(p(1451,372));
	v.push_back(p(1453,333));
	v.push_back(p(1454,3));
	v.push_back(p(1455,405));
	v.push_back(p(1457,417));
	v.push_back(p(1459,356));
	v.push_back(p(1461,551));
	v.push_back(p(1463,522));
	v.push_back(p(1465,297));
	v.push_back(p(1466,6));
	v.push_back(p(1467,576));
	v.push_back(p(1469,315));
	v.push_back(p(1470,6));
	v.push_back(p(1471,366));
	v.push_back(p(1473,587));
	v.push_back(p(1475,318));
	v.push_back(p(1477,417));
	v.push_back(p(1479,525));
	v.push_back(p(1481,380));
	v.push_back(p(1482,3));
	v.push_back(p(1483,356));
	v.push_back(p(1485,528));
	v.push_back(p(1487,369));
	v.push_back(p(1489,360));
	v.push_back(p(1490,3));
	v.push_back(p(1491,708));
	v.push_back(p(1493,405));
	v.push_back(p(1494,3));
	v.push_back(p(1495,315));
	v.push_back(p(1497,545));
	v.push_back(p(1499,390));
	v.push_back(p(1501,417));
	v.push_back(p(1503,573));
	v.push_back(p(1505,378));
	v.push_back(p(1507,397));
	v.push_back(p(1509,578));
	v.push_back(p(1511,381));
	v.push_back(p(1513,337));
	v.push_back(p(1514,6));
	v.push_back(p(1515,456));
	v.push_back(p(1517,357));
	v.push_back(p(1518,6));
	v.push_back(p(1519,462));
	v.push_back(p(1521,513));
	v.push_back(p(1522,3));
	v.push_back(p(1523,405));
	v.push_back(p(1525,324));
	v.push_back(p(1526,9));
	v.push_back(p(1527,572));
	v.push_back(p(1529,463));
	v.push_back(p(1531,363));
	v.push_back(p(1533,672));
	v.push_back(p(1535,339));
	v.push_back(p(1537,360));
	v.push_back(p(1538,6));
	v.push_back(p(1539,606));
	v.push_back(p(1541,423));
	v.push_back(p(1543,336));
	v.push_back(p(1545,492));
	v.push_back(p(1547,402));
	v.push_back(p(1549,375));
	v.push_back(p(1550,3));
	v.push_back(p(1551,672));
	v.push_back(p(1553,399));
	v.push_back(p(1554,3));
	v.push_back(p(1555,282));
	v.push_back(p(1557,570));
	v.push_back(p(1558,3));
	v.push_back(p(1559,399));
	v.push_back(p(1561,435));
	v.push_back(p(1563,582));
	v.push_back(p(1565,321));
	v.push_back(p(1566,6));
	v.push_back(p(1567,360));
	v.push_back(p(1569,585));
	v.push_back(p(1571,422));
	v.push_back(p(1573,375));
	v.push_back(p(1574,3));
	v.push_back(p(1575,585));
	v.push_back(p(1577,406));
	v.push_back(p(1579,402));
	v.push_back(p(1581,570));
	v.push_back(p(1583,423));
	v.push_back(p(1585,291));
	v.push_back(p(1586,6));
	v.push_back(p(1587,609));
	v.push_back(p(1589,465));
	v.push_back(p(1591,393));
	v.push_back(p(1593,606));
	v.push_back(p(1595,348));
	v.push_back(p(1597,339));
	v.push_back(p(1598,3));
	v.push_back(p(1599,582));
	v.push_back(p(1601,384));
	v.push_back(p(1602,3));
	v.push_back(p(1603,444));
	v.push_back(p(1605,516));
	v.push_back(p(1607,405));
	v.push_back(p(1609,375));
	v.push_back(p(1610,3));
	v.push_back(p(1611,619));
	v.push_back(p(1613,447));
	v.push_back(p(1614,3));
	v.push_back(p(1615,285));
	v.push_back(p(1617,777));
	v.push_back(p(1619,417));
	v.push_back(p(1621,414));
	v.push_back(p(1622,3));
	v.push_back(p(1623,587));
	v.push_back(p(1625,309));
	v.push_back(p(1626,12));
	v.push_back(p(1627,387));
	v.push_back(p(1629,606));
	v.push_back(p(1630,3));
	v.push_back(p(1631,468));
	v.push_back(p(1633,441));
	v.push_back(p(1635,519));
	v.push_back(p(1637,423));
	v.push_back(p(1638,3));
	v.push_back(p(1639,429));
	v.push_back(p(1641,622));
	v.push_back(p(1643,417));
	v.push_back(p(1645,372));
	v.push_back(p(1647,621));
	v.push_back(p(1649,396));
	v.push_back(p(1650,6));
	v.push_back(p(1651,372));
	v.push_back(p(1653,612));
	v.push_back(p(1655,333));
	v.push_back(p(1657,413));
	v.push_back(p(1658,3));
	v.push_back(p(1659,744));
	v.push_back(p(1661,465));
	v.push_back(p(1663,420));
	v.push_back(p(1665,495));
	v.push_back(p(1666,6));
	v.push_back(p(1667,420));
	v.push_back(p(1669,393));
	v.push_back(p(1670,3));
	v.push_back(p(1671,596));
	v.push_back(p(1673,495));
	v.push_back(p(1675,333));
	v.push_back(p(1677,618));
	v.push_back(p(1679,432));
	v.push_back(p(1681,410));
	v.push_back(p(1682,3));
	v.push_back(p(1683,655));
	v.push_back(p(1685,363));
	v.push_back(p(1686,6));
	v.push_back(p(1687,504));
	v.push_back(p(1689,641));
	v.push_back(p(1691,434));
	v.push_back(p(1693,384));
	v.push_back(p(1694,3));
	v.push_back(p(1695,516));
	v.push_back(p(1697,422));
	v.push_back(p(1698,3));
	v.push_back(p(1699,419));
	v.push_back(p(1701,750));
	v.push_back(p(1703,405));
	v.push_back(p(1705,393));
	v.push_back(p(1707,638));
	v.push_back(p(1709,423));
	v.push_back(p(1710,3));
	v.push_back(p(1711,417));
	v.push_back(p(1713,623));
	v.push_back(p(1715,408));
	v.push_back(p(1717,387));
	v.push_back(p(1718,6));
	v.push_back(p(1719,672));
	v.push_back(p(1721,422));
	v.push_back(p(1722,3));
	v.push_back(p(1723,402));
	v.push_back(p(1725,519));
	v.push_back(p(1727,471));
	v.push_back(p(1729,477));
	v.push_back(p(1731,649));
	v.push_back(p(1733,435));
	v.push_back(p(1734,3));
	v.push_back(p(1735,345));
	v.push_back(p(1737,661));
	v.push_back(p(1738,3));
	v.push_back(p(1739,486));
	v.push_back(p(1741,417));
	v.push_back(p(1742,3));
	v.push_back(p(1743,762));
	v.push_back(p(1745,372));
	v.push_back(p(1746,6));
	v.push_back(p(1747,425));
	v.push_back(p(1749,705));
	v.push_back(p(1751,429));
	v.push_back(p(1753,381));
	v.push_back(p(1754,3));
	v.push_back(p(1755,498));
	v.push_back(p(1757,525));
	v.push_back(p(1759,435));
	v.push_back(p(1761,664));
	v.push_back(p(1763,456));
	v.push_back(p(1765,321));
	v.push_back(p(1766,6));
	v.push_back(p(1767,747));
	v.push_back(p(1769,429));
	v.push_back(p(1770,6));
	v.push_back(p(1771,576));
	v.push_back(p(1773,681));
	v.push_back(p(1774,3));
	v.push_back(p(1775,399));
	v.push_back(p(1777,443));
	v.push_back(p(1778,3));
	v.push_back(p(1779,674));
	v.push_back(p(1781,399));
	v.push_back(p(1782,6));
	v.push_back(p(1783,384));
	v.push_back(p(1785,612));
	v.push_back(p(1787,435));
	v.push_back(p(1789,447));
	v.push_back(p(1790,3));
	v.push_back(p(1791,630));
	v.push_back(p(1793,502));
	v.push_back(p(1795,345));
	v.push_back(p(1797,662));
	v.push_back(p(1799,516));
	v.push_back(p(1801,464));
	v.push_back(p(1802,3));
	v.push_back(p(1803,703));
	v.push_back(p(1805,378));
	v.push_back(p(1806,3));
	v.push_back(p(1807,387));
	v.push_back(p(1809,713));
	v.push_back(p(1811,437));
	v.push_back(p(1813,477));
	v.push_back(p(1814,3));
	v.push_back(p(1815,615));
	v.push_back(p(1817,489));
	v.push_back(p(1819,419));
	v.push_back(p(1821,689));
	v.push_back(p(1823,450));
	v.push_back(p(1825,354));
	v.push_back(p(1826,9));
	v.push_back(p(1827,756));
	v.push_back(p(1829,486));
	v.push_back(p(1831,444));
	v.push_back(p(1833,666));
	v.push_back(p(1835,372));
	v.push_back(p(1837,471));
	v.push_back(p(1839,692));
	v.push_back(p(1841,549));
	v.push_back(p(1843,497));
	v.push_back(p(1845,543));
	v.push_back(p(1846,6));
	v.push_back(p(1847,456));
	v.push_back(p(1849,458));
	v.push_back(p(1851,697));
	v.push_back(p(1853,447));
	v.push_back(p(1854,6));
	v.push_back(p(1855,426));
	v.push_back(p(1857,692));
	v.push_back(p(1859,444));
	v.push_back(p(1861,468));
	v.push_back(p(1862,3));
	v.push_back(p(1863,732));
	v.push_back(p(1865,375));
	v.push_back(p(1866,6));
	v.push_back(p(1867,434));
	v.push_back(p(1869,834));
	v.push_back(p(1871,462));
	v.push_back(p(1873,461));
	v.push_back(p(1874,3));
	v.push_back(p(1875,582));
	v.push_back(p(1877,483));
	v.push_back(p(1878,3));
	v.push_back(p(1879,420));
	v.push_back(p(1881,821));
	v.push_back(p(1883,516));
	v.push_back(p(1885,315));
	v.push_back(p(1886,12));
	v.push_back(p(1887,678));
	v.push_back(p(1889,473));
	v.push_back(p(1890,3));
	v.push_back(p(1891,477));
	v.push_back(p(1893,668));
	v.push_back(p(1895,372));
	v.push_back(p(1897,531));
	v.push_back(p(1899,738));
	v.push_back(p(1901,471));
	v.push_back(p(1902,3));
	v.push_back(p(1903,480));
	v.push_back(p(1905,576));
	v.push_back(p(1907,462));
	v.push_back(p(1909,504));
	v.push_back(p(1911,750));
	v.push_back(p(1913,470));
	v.push_back(p(1914,3));
	v.push_back(p(1915,402));
	v.push_back(p(1917,705));
	v.push_back(p(1919,516));
	v.push_back(p(1921,408));
	v.push_back(p(1922,6));
	v.push_back(p(1923,705));
	v.push_back(p(1925,522));
	v.push_back(p(1927,471));
	v.push_back(p(1929,704));
	v.push_back(p(1931,438));
	v.push_back(p(1933,441));
	v.push_back(p(1934,3));
	v.push_back(p(1935,585));
	v.push_back(p(1937,453));
	v.push_back(p(1938,6));
	v.push_back(p(1939,519));
	v.push_back(p(1941,743));
	v.push_back(p(1943,516));
	v.push_back(p(1945,321));
	v.push_back(p(1946,6));
	v.push_back(p(1947,814));
	v.push_back(p(1949,498));
	v.push_back(p(1950,3));
	v.push_back(p(1951,504));
	v.push_back(p(1953,891));
	v.push_back(p(1955,387));
	v.push_back(p(1957,495));
	v.push_back(p(1959,722));
	v.push_back(p(1961,462));
	v.push_back(p(1962,6));
	v.push_back(p(1963,447));
	v.push_back(p(1965,603));
	v.push_back(p(1967,570));
	v.push_back(p(1969,504));
	v.push_back(p(1971,726));
	v.push_back(p(1973,465));
	v.push_back(p(1974,3));
	v.push_back(p(1975,372));
	v.push_back(p(1977,708));
	v.push_back(p(1979,501));
	v.push_back(p(1981,561));
	v.push_back(p(1983,713));
	v.push_back(p(1985,408));
	v.push_back(p(1986,6));
	v.push_back(p(1987,462));
	v.push_back(p(1989,663));
	v.push_back(p(1990,6));
	v.push_back(p(1991,513));
	v.push_back(p(1993,494));
	v.push_back(p(1994,3));
	v.push_back(p(1995,732));
	v.push_back(p(1997,483));
	v.push_back(p(1998,3));
	v.push_back(p(1999,510));
	v.push_back(p(2001,753));
	v.push_back(p(2003,537));
	v.push_back(p(2005,363));
	v.push_back(p(2006,6));
	v.push_back(p(2007,732));
	v.push_back(p(2009,576));
	v.push_back(p(2010,3));
	v.push_back(p(2011,482));
	v.push_back(p(2013,822));
	v.push_back(p(2015,378));
	v.push_back(p(2017,492));
	v.push_back(p(2018,3));
	v.push_back(p(2019,747));
	v.push_back(p(2021,534));
	v.push_back(p(2023,558));
	v.push_back(p(2025,606));
	v.push_back(p(2026,3));
	v.push_back(p(2027,540));
	v.push_back(p(2029,477));
	v.push_back(p(2030,3));
	v.push_back(p(2031,743));
	v.push_back(p(2033,519));
	v.push_back(p(2035,405));
	v.push_back(p(2037,843));
	v.push_back(p(2039,489));
	v.push_back(p(2041,498));
	v.push_back(p(2042,6));
	v.push_back(p(2043,742));
	v.push_back(p(2045,393));
	v.push_back(p(2046,6));
	v.push_back(p(2047,447));
	v.push_back(p(2049,721));
	v.push_back(p(2051,606));
	v.push_back(p(2053,477));
	v.push_back(p(2054,3));
	v.push_back(p(2055,642));
	v.push_back(p(2057,539));
	v.push_back(p(2058,3));
	v.push_back(p(2059,462));
	v.push_back(p(2061,756));
	v.push_back(p(2062,3));
	v.push_back(p(2063,495));
	v.push_back(p(2065,477));
	v.push_back(p(2067,684));
	v.push_back(p(2069,504));
	v.push_back(p(2070,3));
	v.push_back(p(2071,477));
	v.push_back(p(2073,766));
	v.push_back(p(2075,423));
	v.push_back(p(2077,531));
	v.push_back(p(2079,972));
	v.push_back(p(2081,542));
	v.push_back(p(2082,3));
	v.push_back(p(2083,476));
	v.push_back(p(2085,651));
	v.push_back(p(2087,480));
	v.push_back(p(2089,524));
	v.push_back(p(2090,3));
	v.push_back(p(2091,701));
	v.push_back(p(2093,591));
	v.push_back(p(2095,402));
	v.push_back(p(2097,776));
	v.push_back(p(2098,3));
	v.push_back(p(2099,488));
	v.push_back(p(2101,543));
	v.push_back(p(2103,767));
	v.push_back(p(2105,396));
	v.push_back(p(2106,6));
	v.push_back(p(2107,582));
	v.push_back(p(2109,831));
	v.push_back(p(2111,507));
	v.push_back(p(2113,462));
	v.push_back(p(2114,3));
	v.push_back(p(2115,663));
	v.push_back(p(2117,510));
	v.push_back(p(2118,6));
	v.push_back(p(2119,513));
	v.push_back(p(2121,900));
	v.push_back(p(2123,563));
	v.push_back(p(2125,390));
	v.push_back(p(2126,12));
	v.push_back(p(2127,770));
	v.push_back(p(2129,503));
	v.push_back(p(2130,3));
	v.push_back(p(2131,498));
	v.push_back(p(2133,768));
	v.push_back(p(2135,474));
	v.push_back(p(2137,501));
	v.push_back(p(2138,3));
	v.push_back(p(2139,876));
	v.push_back(p(2141,501));
	v.push_back(p(2142,3));
	v.push_back(p(2143,498));
	v.push_back(p(2145,645));
	v.push_back(p(2147,551));
	v.push_back(p(2149,621));
	v.push_back(p(2151,846));
	v.push_back(p(2153,533));
	v.push_back(p(2154,3));
	v.push_back(p(2155,411));
	v.push_back(p(2157,791));
	v.push_back(p(2159,507));
	v.push_back(p(2161,494));
	v.push_back(p(2162,3));
	v.push_back(p(2163,933));
	v.push_back(p(2165,414));
	v.push_back(p(2166,6));
	v.push_back(p(2167,600));
	v.push_back(p(2169,789));
	v.push_back(p(2170,3));
	v.push_back(p(2171,489));
	v.push_back(p(2173,492));
	v.push_back(p(2174,6));
	v.push_back(p(2175,615));
	v.push_back(p(2177,612));
	v.push_back(p(2179,548));
	v.push_back(p(2181,782));
	v.push_back(p(2183,546));
	v.push_back(p(2185,465));
	v.push_back(p(2187,764));
	v.push_back(p(2189,606));
	v.push_back(p(2191,642));
	v.push_back(p(2193,811));
	v.push_back(p(2195,465));
	v.push_back(p(2197,480));
	v.push_back(p(2198,6));
	v.push_back(p(2199,830));
	v.push_back(p(2201,561));
	v.push_back(p(2203,512));
	v.push_back(p(2205,786));
	v.push_back(p(2206,3));
	v.push_back(p(2207,537));
	v.push_back(p(2209,531));
	v.push_back(p(2211,943));
	v.push_back(p(2213,531));
	v.push_back(p(2214,3));
	v.push_back(p(2215,399));
	v.push_back(p(2217,817));
	v.push_back(p(2219,669));
	v.push_back(p(2221,525));
	v.push_back(p(2222,3));
	v.push_back(p(2223,774));
	v.push_back(p(2225,405));
	v.push_back(p(2226,9));
	v.push_back(p(2227,495));
	v.push_back(p(2229,830));
	v.push_back(p(2231,528));
	v.push_back(p(2233,669));
	v.push_back(p(2235,660));
	v.push_back(p(2237,534));
	v.push_back(p(2238,3));
	v.push_back(p(2239,564));
	v.push_back(p(2241,807));
	v.push_back(p(2243,548));
	v.push_back(p(2245,387));
	v.push_back(p(2246,6));
	v.push_back(p(2247,957));
	v.push_back(p(2249,531));
	v.push_back(p(2250,6));
	v.push_back(p(2251,510));
	v.push_back(p(2253,749));
	v.push_back(p(2255,513));
	v.push_back(p(2257,498));
	v.push_back(p(2258,6));
	v.push_back(p(2259,809));
	v.push_back(p(2261,633));
	v.push_back(p(2263,516));
	v.push_back(p(2265,714));
	v.push_back(p(2267,572));
	v.push_back(p(2269,504));
	v.push_back(p(2270,3));
	v.push_back(p(2271,830));
	v.push_back(p(2273,543));
	v.push_back(p(2274,3));
	v.push_back(p(2275,471));
	v.push_back(p(2277,954));
	v.push_back(p(2279,570));
	v.push_back(p(2281,549));
	v.push_back(p(2282,3));
	v.push_back(p(2283,835));
	v.push_back(p(2285,459));
	v.push_back(p(2286,6));
	v.push_back(p(2287,516));
	v.push_back(p(2289,1011));
	v.push_back(p(2291,510));
	v.push_back(p(2293,525));
	v.push_back(p(2294,3));
	v.push_back(p(2295,657));
	v.push_back(p(2297,567));
	v.push_back(p(2298,3));
	v.push_back(p(2299,631));
	v.push_back(p(2301,777));
	v.push_back(p(2303,678));
	v.push_back(p(2305,471));
	v.push_back(p(2306,6));
	v.push_back(p(2307,847));
	v.push_back(p(2309,561));
	v.push_back(p(2310,3));
	v.push_back(p(2311,543));
	v.push_back(p(2313,778));
	v.push_back(p(2314,3));
	v.push_back(p(2315,459));
	v.push_back(p(2317,654));
	v.push_back(p(2319,836));
	v.push_back(p(2321,617));
	v.push_back(p(2323,552));
	v.push_back(p(2325,708));
	v.push_back(p(2327,510));
	v.push_back(p(2329,542));
	v.push_back(p(2330,6));
	v.push_back(p(2331,978));
	v.push_back(p(2333,567));
	v.push_back(p(2334,3));
	v.push_back(p(2335,438));
	v.push_back(p(2337,855));
	v.push_back(p(2339,576));
	v.push_back(p(2341,558));
	v.push_back(p(2342,3));
	v.push_back(p(2343,969));
	v.push_back(p(2345,507));
	v.push_back(p(2347,587));
	v.push_back(p(2349,849));
	v.push_back(p(2350,3));
	v.push_back(p(2351,567));
	v.push_back(p(2353,489));
	v.push_back(p(2354,6));
	v.push_back(p(2355,654));
	v.push_back(p(2357,600));
	v.push_back(p(2358,3));
	v.push_back(p(2359,633));
	v.push_back(p(2361,872));
	v.push_back(p(2363,559));
	v.push_back(p(2365,525));
	v.push_back(p(2367,897));
	v.push_back(p(2369,645));
	v.push_back(p(2371,555));
	v.push_back(p(2373,1005));
	v.push_back(p(2375,495));
	v.push_back(p(2377,573));
	v.push_back(p(2378,3));
	v.push_back(p(2379,789));
	v.push_back(p(2381,615));
	v.push_back(p(2382,3));
	v.push_back(p(2383,537));
	v.push_back(p(2385,699));
	v.push_back(p(2386,6));
	v.push_back(p(2387,777));
	v.push_back(p(2389,540));
	v.push_back(p(2390,3));
	v.push_back(p(2391,866));
	v.push_back(p(2393,612));
	v.push_back(p(2394,3));
	v.push_back(p(2395,429));
	v.push_back(p(2397,819));
	v.push_back(p(2399,618));
	v.push_back(p(2401,699));
	v.push_back(p(2403,903));
	v.push_back(p(2405,423));
	v.push_back(p(2406,12));
	v.push_back(p(2407,564));
	v.push_back(p(2409,940));
	v.push_back(p(2411,618));
	v.push_back(p(2413,639));
	v.push_back(p(2415,873));
	v.push_back(p(2417,555));
	v.push_back(p(2418,3));
	v.push_back(p(2419,597));
	v.push_back(p(2421,882));
	v.push_back(p(2422,3));
	v.push_back(p(2423,558));
	v.push_back(p(2425,441));
	v.push_back(p(2426,9));
	v.push_back(p(2427,899));
	v.push_back(p(2429,678));
	v.push_back(p(2431,549));
	v.push_back(p(2433,887));
	v.push_back(p(2435,465));
	v.push_back(p(2437,594));
	v.push_back(p(2438,3));
	v.push_back(p(2439,888));
	v.push_back(p(2441,585));
	v.push_back(p(2442,3));
	v.push_back(p(2443,654));
	v.push_back(p(2445,756));
	v.push_back(p(2447,570));
	v.push_back(p(2449,627));
	v.push_back(p(2451,977));
	v.push_back(p(2453,684));
	v.push_back(p(2455,471));
	v.push_back(p(2457,939));
	v.push_back(p(2459,624));
	v.push_back(p(2461,606));
	v.push_back(p(2463,884));
	v.push_back(p(2465,444));
	v.push_back(p(2466,12));
	v.push_back(p(2467,576));
	v.push_back(p(2469,956));
	v.push_back(p(2471,738));
	v.push_back(p(2473,552));
	v.push_back(p(2474,3));
	v.push_back(p(2475,792));
	v.push_back(p(2477,591));
	v.push_back(p(2478,3));
	v.push_back(p(2479,579));
	v.push_back(p(2481,913));
	v.push_back(p(2483,597));
	v.push_back(p(2485,558));
	v.push_back(p(2487,926));
	v.push_back(p(2489,683));
	v.push_back(p(2491,573));
	v.push_back(p(2493,918));
	v.push_back(p(2494,3));
	v.push_back(p(2495,492));
	v.push_back(p(2497,621));
	v.push_back(p(2499,1011));
	v.push_back(p(2501,597));
	v.push_back(p(2502,6));
	v.push_back(p(2503,603));
	v.push_back(p(2505,741));
	v.push_back(p(2507,600));
	v.push_back(p(2509,531));
	v.push_back(p(2510,6));
	v.push_back(p(2511,936));
	v.push_back(p(2513,744));
	v.push_back(p(2515,465));
	v.push_back(p(2517,947));
	v.push_back(p(2519,660));
	v.push_back(p(2521,540));
	v.push_back(p(2522,3));
	v.push_back(p(2523,882));
	v.push_back(p(2525,453));
	v.push_back(p(2526,9));
	v.push_back(p(2527,711));
	v.push_back(p(2529,903));
	v.push_back(p(2530,3));
	v.push_back(p(2531,638));
	v.push_back(p(2533,534));
	v.push_back(p(2534,6));
	v.push_back(p(2535,690));
	v.push_back(p(2537,623));
	v.push_back(p(2539,606));
	v.push_back(p(2541,1182));
	v.push_back(p(2543,594));
	v.push_back(p(2545,516));
	v.push_back(p(2546,6));
	v.push_back(p(2547,944));
	v.push_back(p(2549,639));
	v.push_back(p(2550,3));
	v.push_back(p(2551,573));
	v.push_back(p(2553,900));
	v.push_back(p(2555,585));
	v.push_back(p(2557,567));
	v.push_back(p(2558,3));
	v.push_back(p(2559,956));
	v.push_back(p(2561,561));
	v.push_back(p(2562,6));
	v.push_back(p(2563,564));
	v.push_back(p(2565,795));
	v.push_back(p(2567,603));
	v.push_back(p(2569,726));
	v.push_back(p(2571,957));
	v.push_back(p(2573,675));
	v.push_back(p(2575,474));
	v.push_back(p(2577,928));
	v.push_back(p(2579,660));
	v.push_back(p(2581,591));
	v.push_back(p(2582,6));
	v.push_back(p(2583,1041));
	v.push_back(p(2585,567));
	v.push_back(p(2587,564));
	v.push_back(p(2589,920));
	v.push_back(p(2591,630));
	v.push_back(p(2593,560));
	v.push_back(p(2594,3));
	v.push_back(p(2595,738));
	v.push_back(p(2597,696));
	v.push_back(p(2598,3));
	v.push_back(p(2599,696));
	v.push_back(p(2601,893));
	v.push_back(p(2602,3));
	v.push_back(p(2603,666));
	v.push_back(p(2605,480));
	v.push_back(p(2606,6));
	v.push_back(p(2607,1008));
	v.push_back(p(2609,612));
	v.push_back(p(2610,3));
	v.push_back(p(2611,714));
	v.push_back(p(2613,924));
	v.push_back(p(2615,516));
	v.push_back(p(2617,576));
	v.push_back(p(2618,3));
	v.push_back(p(2619,904));
	v.push_back(p(2621,585));
	v.push_back(p(2622,3));
	v.push_back(p(2623,609));
	v.push_back(p(2625,927));
	v.push_back(p(2627,639));
	v.push_back(p(2629,699));
	v.push_back(p(2631,938));
	v.push_back(p(2633,642));
	v.push_back(p(2634,3));
	v.push_back(p(2635,489));
	v.push_back(p(2637,963));
	v.push_back(p(2638,3));
	v.push_back(p(2639,681));
	v.push_back(p(2641,635));
	v.push_back(p(2643,926));
	v.push_back(p(2645,549));
	v.push_back(p(2646,3));
	v.push_back(p(2647,588));
	v.push_back(p(2649,973));
	v.push_back(p(2651,715));
	v.push_back(p(2653,732));
	v.push_back(p(2655,786));
	v.push_back(p(2657,623));
	v.push_back(p(2658,3));
	v.push_back(p(2659,635));
	v.push_back(p(2661,971));
	v.push_back(p(2663,609));
	v.push_back(p(2665,441));
	v.push_back(p(2666,12));
	v.push_back(p(2667,1110));
	v.push_back(p(2669,639));
	v.push_back(p(2670,6));
	v.push_back(p(2671,576));
	v.push_back(p(2673,1049));
	v.push_back(p(2675,537));
	v.push_back(p(2677,552));
	v.push_back(p(2678,3));
	v.push_back(p(2679,1083));
	v.push_back(p(2681,720));
	v.push_back(p(2683,654));
	v.push_back(p(2685,810));
	v.push_back(p(2687,645));
	v.push_back(p(2689,672));
	v.push_back(p(2690,3));
	v.push_back(p(2691,978));
	v.push_back(p(2693,600));
	v.push_back(p(2694,3));
	v.push_back(p(2695,642));
	v.push_back(p(2697,948));
	v.push_back(p(2699,648));
	v.push_back(p(2701,639));
	v.push_back(p(2702,6));
	v.push_back(p(2703,906));
	v.push_back(p(2705,546));
	v.push_back(p(2706,6));
	v.push_back(p(2707,630));
	v.push_back(p(2709,1167));
	v.push_back(p(2711,678));
	v.push_back(p(2713,624));
	v.push_back(p(2714,3));
	v.push_back(p(2715,807));
	v.push_back(p(2717,708));
	v.push_back(p(2719,612));
	v.push_back(p(2721,975));
	v.push_back(p(2723,756));
	v.push_back(p(2725,498));
	v.push_back(p(2726,9));
	v.push_back(p(2727,999));
	v.push_back(p(2729,644));
	v.push_back(p(2730,3));
	v.push_back(p(2731,612));
	v.push_back(p(2733,935));
	v.push_back(p(2735,576));
	v.push_back(p(2737,717));
	v.push_back(p(2739,1146));
	v.push_back(p(2741,669));
	v.push_back(p(2742,3));
	v.push_back(p(2743,558));
	v.push_back(p(2745,786));
	v.push_back(p(2746,6));
	v.push_back(p(2747,639));
	v.push_back(p(2749,615));
	v.push_back(p(2750,3));
	v.push_back(p(2751,1176));
	v.push_back(p(2753,654));
	v.push_back(p(2754,3));
	v.push_back(p(2755,528));
	v.push_back(p(2757,986));
	v.push_back(p(2759,687));
	v.push_back(p(2761,720));
	v.push_back(p(2763,1019));
	v.push_back(p(2765,630));
	v.push_back(p(2767,645));
	v.push_back(p(2769,951));
	v.push_back(p(2771,652));
	v.push_back(p(2773,639));
	v.push_back(p(2775,810));
	v.push_back(p(2777,674));
	v.push_back(p(2778,3));
	v.push_back(p(2779,720));
	v.push_back(p(2781,1017));
	v.push_back(p(2783,813));
	v.push_back(p(2785,477));
	v.push_back(p(2786,6));
	v.push_back(p(2787,1021));
	v.push_back(p(2789,693));
	v.push_back(p(2790,3));
	v.push_back(p(2791,666));
	v.push_back(p(2793,1245));
	v.push_back(p(2795,504));
	v.push_back(p(2797,660));
	v.push_back(p(2798,3));
	v.push_back(p(2799,1038));
	v.push_back(p(2801,732));
	v.push_back(p(2802,3));
	v.push_back(p(2803,599));
	v.push_back(p(2805,855));
	v.push_back(p(2807,825));
	v.push_back(p(2809,618));
	v.push_back(p(2810,3));
	v.push_back(p(2811,1060));
	v.push_back(p(2813,693));
	v.push_back(p(2814,6));
	v.push_back(p(2815,540));
	v.push_back(p(2817,978));
	v.push_back(p(2818,3));
	v.push_back(p(2819,659));
	v.push_back(p(2821,717));
	v.push_back(p(2823,986));
	v.push_back(p(2825,540));
	v.push_back(p(2826,9));
	v.push_back(p(2827,707));
	v.push_back(p(2829,1044));
	v.push_back(p(2831,675));
	v.push_back(p(2833,657));
	v.push_back(p(2834,3));
	v.push_back(p(2835,1023));
	v.push_back(p(2837,693));
	v.push_back(p(2838,3));
	v.push_back(p(2839,594));
	v.push_back(p(2841,1035));
	v.push_back(p(2843,686));
	v.push_back(p(2845,519));
	v.push_back(p(2846,6));
	v.push_back(p(2847,873));
	v.push_back(p(2849,861));
	v.push_back(p(2851,656));
	v.push_back(p(2853,1038));
	v.push_back(p(2854,3));
	v.push_back(p(2855,540));
	v.push_back(p(2857,642));
	v.push_back(p(2858,3));
	v.push_back(p(2859,1019));
	v.push_back(p(2861,687));
	v.push_back(p(2862,3));
	v.push_back(p(2863,777));
	v.push_back(p(2865,861));
	v.push_back(p(2867,708));
	v.push_back(p(2869,726));
	v.push_back(p(2871,1080));
	v.push_back(p(2873,627));
	v.push_back(p(2874,9));
	v.push_back(p(2875,579));
	v.push_back(p(2877,1245));
	v.push_back(p(2879,738));
	v.push_back(p(2881,731));
	v.push_back(p(2883,1047));
	v.push_back(p(2885,570));
	v.push_back(p(2886,6));
	v.push_back(p(2887,687));
	v.push_back(p(2889,1078));
	v.push_back(p(2891,819));
	v.push_back(p(2893,747));
	v.push_back(p(2895,789));
	v.push_back(p(2897,666));
	v.push_back(p(2898,3));
	v.push_back(p(2899,630));
	v.push_back(p(2901,1052));
	v.push_back(p(2903,690));
	v.push_back(p(2905,606));
	v.push_back(p(2907,1033));
	v.push_back(p(2909,735));
	v.push_back(p(2910,3));
	v.push_back(p(2911,735));
	v.push_back(p(2913,1070));
	v.push_back(p(2915,609));
	v.push_back(p(2917,663));
	v.push_back(p(2918,3));
	v.push_back(p(2919,1233));
	v.push_back(p(2921,774));
	v.push_back(p(2923,663));
	v.push_back(p(2925,822));
	v.push_back(p(2926,9));
	v.push_back(p(2927,666));
	v.push_back(p(2929,645));
	v.push_back(p(2930,6));
	v.push_back(p(2931,1039));
	v.push_back(p(2933,831));
	v.push_back(p(2935,546));
	v.push_back(p(2937,1135));
	v.push_back(p(2939,710));
	v.push_back(p(2941,651));
	v.push_back(p(2942,6));
	v.push_back(p(2943,1038));
	v.push_back(p(2945,639));
	v.push_back(p(2947,750));
	v.push_back(p(2949,1028));
	v.push_back(p(2951,654));
	v.push_back(p(2953,627));
	v.push_back(p(2954,3));
	v.push_back(p(2955,879));
	v.push_back(p(2957,750));
	v.push_back(p(2958,3));
	v.push_back(p(2959,774));
	v.push_back(p(2961,1287));
	v.push_back(p(2963,696));
	v.push_back(p(2965,540));
	v.push_back(p(2966,6));
	v.push_back(p(2967,1110));
	v.push_back(p(2969,723));
	v.push_back(p(2970,3));
	v.push_back(p(2971,683));
	v.push_back(p(2973,1067));
	v.push_back(p(2975,651));
	v.push_back(p(2977,630));
	v.push_back(p(2978,6));
	v.push_back(p(2979,1098));
	v.push_back(p(2981,771));
	v.push_back(p(2983,711));
	v.push_back(p(2985,870));
	v.push_back(p(2987,714));
	v.push_back(p(2989,780));
	v.push_back(p(2990,3));
	v.push_back(p(2991,1094));
	v.push_back(p(2993,719));
	v.push_back(p(2994,6));
	v.push_back(p(2995,546));
	v.push_back(p(2997,1047));
	v.push_back(p(2998,3));
	v.push_back(p(2999,750));
	v.push_back(p(3001,680));
	v.push_back(p(3002,3));
	v.push_back(p(3003,1287));
	v.push_back(p(3005,576));
	v.push_back(p(3006,6));
	v.push_back(p(3007,705));
	v.push_back(p(3009,1093));
	v.push_back(p(3011,729));
	v.push_back(p(3013,711));
	v.push_back(p(3015,903));
	v.push_back(p(3017,846));
	v.push_back(p(3019,687));
	v.push_back(p(3021,1113));
	v.push_back(p(3023,702));
	v.push_back(p(3025,597));
	v.push_back(p(3026,3));
	v.push_back(p(3027,1057));
	v.push_back(p(3029,657));
	v.push_back(p(3030,6));
	v.push_back(p(3031,831));
	v.push_back(p(3033,1053));
	v.push_back(p(3034,3));
	v.push_back(p(3035,582));
	v.push_back(p(3037,615));
	v.push_back(p(3038,3));
	v.push_back(p(3039,1082));
	v.push_back(p(3041,723));
	v.push_back(p(3042,3));
	v.push_back(p(3043,664));
	v.push_back(p(3045,984));
	v.push_back(p(3047,822));
	v.push_back(p(3049,756));
	v.push_back(p(3050,3));
	v.push_back(p(3051,1068));
	v.push_back(p(3053,750));
	v.push_back(p(3055,492));
	v.push_back(p(3057,1122));
	v.push_back(p(3059,954));
	v.push_back(p(3061,717));
	v.push_back(p(3062,3));
	v.push_back(p(3063,1115));
	v.push_back(p(3065,606));
	v.push_back(p(3066,6));
	v.push_back(p(3067,707));
	v.push_back(p(3069,1263));
	v.push_back(p(3071,729));
	v.push_back(p(3073,822));
	v.push_back(p(3075,864));
	v.push_back(p(3077,660));
	v.push_back(p(3078,6));
	v.push_back(p(3079,675));
	v.push_back(p(3081,1035));
	v.push_back(p(3083,692));
	v.push_back(p(3085,534));
	v.push_back(p(3086,6));
	v.push_back(p(3087,1263));
	v.push_back(p(3089,738));
	v.push_back(p(3090,3));
	v.push_back(p(3091,797));
	v.push_back(p(3093,1091));
	v.push_back(p(3095,627));
	v.push_back(p(3097,794));
	v.push_back(p(3099,1138));
	v.push_back(p(3101,858));
	v.push_back(p(3103,657));
	v.push_back(p(3105,963));
	v.push_back(p(3107,684));
	v.push_back(p(3109,726));
	v.push_back(p(3110,3));
	v.push_back(p(3111,1044));
	v.push_back(p(3113,829));
	v.push_back(p(3115,672));
	v.push_back(p(3117,1127));
	v.push_back(p(3119,747));
	v.push_back(p(3121,753));
	v.push_back(p(3122,3));
	v.push_back(p(3123,1110));
	v.push_back(p(3125,615));
	v.push_back(p(3126,9));
	v.push_back(p(3127,720));
	v.push_back(p(3129,1296));
	v.push_back(p(3131,732));
	v.push_back(p(3133,678));
	v.push_back(p(3134,6));
	v.push_back(p(3135,1005));
	v.push_back(p(3137,768));
	v.push_back(p(3138,3));
	v.push_back(p(3139,728));
	v.push_back(p(3141,1167));
	v.push_back(p(3142,3));
	v.push_back(p(3143,864));
	v.push_back(p(3145,531));
	v.push_back(p(3146,12));
	v.push_back(p(3147,1093));
	v.push_back(p(3149,747));
	v.push_back(p(3151,777));
	v.push_back(p(3153,1071));
	v.push_back(p(3155,579));
	v.push_back(p(3157,915));
	v.push_back(p(3159,1059));
	v.push_back(p(3161,729));
	v.push_back(p(3162,6));
	v.push_back(p(3163,705));
	v.push_back(p(3165,867));
	v.push_back(p(3167,789));
	v.push_back(p(3169,735));
	v.push_back(p(3170,3));
	v.push_back(p(3171,1344));
	v.push_back(p(3173,840));
	v.push_back(p(3175,582));
	v.push_back(p(3177,1148));
	v.push_back(p(3178,3));
	v.push_back(p(3179,785));
	v.push_back(p(3181,732));
	v.push_back(p(3182,3));
	v.push_back(p(3183,1118));
	v.push_back(p(3185,654));
	v.push_back(p(3186,6));
	v.push_back(p(3187,711));
	v.push_back(p(3189,1154));
	v.push_back(p(3191,765));
	v.push_back(p(3193,756));
	v.push_back(p(3195,942));
	v.push_back(p(3197,825));
	v.push_back(p(3199,804));
	v.push_back(p(3201,1265));
	v.push_back(p(3203,725));
	v.push_back(p(3205,618));
	v.push_back(p(3206,6));
	v.push_back(p(3207,1139));
	v.push_back(p(3209,755));
	v.push_back(p(3210,3));
	v.push_back(p(3211,765));
	v.push_back(p(3213,1179));
	v.push_back(p(3215,639));
	v.push_back(p(3217,726));
	v.push_back(p(3218,3));
	v.push_back(p(3219,1068));
	v.push_back(p(3221,798));
	v.push_back(p(3222,3));
	v.push_back(p(3223,834));
	v.push_back(p(3225,1017));
	v.push_back(p(3227,906));
	v.push_back(p(3229,723));
	v.push_back(p(3230,3));
	v.push_back(p(3231,1143));
	v.push_back(p(3233,723));
	v.push_back(p(3234,6));
	v.push_back(p(3235,582));
	v.push_back(p(3237,1056));
	v.push_back(p(3239,759));
	v.push_back(p(3241,909));
	v.push_back(p(3243,1200));
	v.push_back(p(3245,654));
	v.push_back(p(3247,714));
	v.push_back(p(3249,1225));
	v.push_back(p(3251,803));
	v.push_back(p(3253,744));
	v.push_back(p(3254,3));
	v.push_back(p(3255,1161));
	v.push_back(p(3257,813));
	v.push_back(p(3258,3));
	v.push_back(p(3259,746));
	v.push_back(p(3261,1160));
	v.push_back(p(3263,738));
	v.push_back(p(3265,549));
	v.push_back(p(3266,6));
	v.push_back(p(3267,1287));
	v.push_back(p(3269,939));
	v.push_back(p(3271,771));
	v.push_back(p(3273,1147));
	v.push_back(p(3275,630));
	v.push_back(p(3277,711));
	v.push_back(p(3278,6));
	v.push_back(p(3279,1136));
	v.push_back(p(3281,729));
	v.push_back(p(3282,6));
	v.push_back(p(3283,897));
	v.push_back(p(3285,954));
	v.push_back(p(3286,6));
	v.push_back(p(3287,804));
	v.push_back(p(3289,768));
	v.push_back(p(3291,1153));
	v.push_back(p(3293,759));
	v.push_back(p(3294,6));
	v.push_back(p(3295,639));
	v.push_back(p(3297,1323));
	v.push_back(p(3299,815));
	v.push_back(p(3301,735));
	v.push_back(p(3302,3));
	v.push_back(p(3303,1158));
	v.push_back(p(3305,630));
	v.push_back(p(3306,6));
	v.push_back(p(3307,756));
	v.push_back(p(3309,1166));
	v.push_back(p(3311,1014));
	v.push_back(p(3313,725));
	v.push_back(p(3314,3));
	v.push_back(p(3315,837));
	v.push_back(p(3317,798));
	v.push_back(p(3319,762));
	v.push_back(p(3321,1160));
	v.push_back(p(3322,3));
	v.push_back(p(3323,768));
	v.push_back(p(3325,708));
	v.push_back(p(3327,1172));
	v.push_back(p(3329,773));
	v.push_back(p(3330,3));
	v.push_back(p(3331,813));
	v.push_back(p(3333,1305));
	v.push_back(p(3335,630));
	v.push_back(p(3337,750));
	v.push_back(p(3339,1374));
	v.push_back(p(3341,729));
	v.push_back(p(3342,6));
	v.push_back(p(3343,774));
	v.push_back(p(3345,930));
	v.push_back(p(3347,776));
	v.push_back(p(3349,681));
	v.push_back(p(3350,6));
	v.push_back(p(3351,1190));
	v.push_back(p(3353,930));
	v.push_back(p(3355,684));
	v.push_back(p(3357,1209));
	v.push_back(p(3358,3));
	v.push_back(p(3359,780));
	v.push_back(p(3361,768));
	v.push_back(p(3362,3));
	v.push_back(p(3363,1291));
	v.push_back(p(3365,606));
	v.push_back(p(3366,6));
	v.push_back(p(3367,771));
	v.push_back(p(3369,1198));
	v.push_back(p(3371,786));
	v.push_back(p(3373,780));
	v.push_back(p(3374,3));
	v.push_back(p(3375,906));
	v.push_back(p(3377,867));
	v.push_back(p(3379,831));
	v.push_back(p(3381,1485));
	v.push_back(p(3383,768));
	v.push_back(p(3385,621));
	v.push_back(p(3386,6));
	v.push_back(p(3387,1184));
	v.push_back(p(3389,774));
	v.push_back(p(3390,3));
	v.push_back(p(3391,750));
	v.push_back(p(3393,1095));
	v.push_back(p(3394,6));
	v.push_back(p(3395,738));
	v.push_back(p(3397,834));
	v.push_back(p(3399,1353));
	v.push_back(p(3401,845));
	v.push_back(p(3403,737));
	v.push_back(p(3405,1026));
	v.push_back(p(3407,798));
	v.push_back(p(3409,948));
	v.push_back(p(3411,1175));
	v.push_back(p(3413,795));
	v.push_back(p(3414,3));
	v.push_back(p(3415,600));
	v.push_back(p(3417,1211));
	v.push_back(p(3419,714));
	v.push_back(p(3421,870));
	v.push_back(p(3423,1455));
	v.push_back(p(3425,591));
	v.push_back(p(3426,9));
	v.push_back(p(3427,801));
	v.push_back(p(3429,1188));
	v.push_back(p(3431,831));
	v.push_back(p(3433,681));
	v.push_back(p(3434,3));
	v.push_back(p(3435,1014));
	v.push_back(p(3437,954));
	v.push_back(p(3439,867));
	v.push_back(p(3441,1212));
	v.push_back(p(3443,870));
	v.push_back(p(3445,567));
	v.push_back(p(3446,12));
	v.push_back(p(3447,1185));
	v.push_back(p(3449,794));
	v.push_back(p(3450,3));
	v.push_back(p(3451,825));
	v.push_back(p(3453,1202));
	v.push_back(p(3455,618));
	v.push_back(p(3457,776));
	v.push_back(p(3458,3));
	v.push_back(p(3459,1261));
	v.push_back(p(3461,813));
	v.push_back(p(3462,3));
	v.push_back(p(3463,771));
	v.push_back(p(3465,1296));
	v.push_back(p(3467,828));
	v.push_back(p(3469,852));
	v.push_back(p(3470,3));
	v.push_back(p(3471,1110));
	v.push_back(p(3473,891));
	v.push_back(p(3475,606));
	v.push_back(p(3477,1263));
	v.push_back(p(3479,948));
	v.push_back(p(3481,845));
	v.push_back(p(3483,1254));
	v.push_back(p(3485,606));
	v.push_back(p(3486,12));
	v.push_back(p(3487,837));
	v.push_back(p(3489,1248));
	v.push_back(p(3491,821));
	v.push_back(p(3493,921));
	v.push_back(p(3495,999));
	v.push_back(p(3497,708));
	v.push_back(p(3498,6));
	v.push_back(p(3499,792));
	v.push_back(p(3501,1194));
	v.push_back(p(3502,3));
	v.push_back(p(3503,858));
	v.push_back(p(3505,675));
	v.push_back(p(3506,6));
	v.push_back(p(3507,1425));
	v.push_back(p(3509,852));
	v.push_back(p(3510,3));
	v.push_back(p(3511,798));
	v.push_back(p(3513,1233));
	v.push_back(p(3515,747));
	v.push_back(p(3517,768));
	v.push_back(p(3518,3));
	v.push_back(p(3519,1242));
	v.push_back(p(3521,939));
	v.push_back(p(3523,759));
	v.push_back(p(3525,1056));
	v.push_back(p(3527,810));
	v.push_back(p(3529,788));
	v.push_back(p(3530,3));
	v.push_back(p(3531,1374));
	v.push_back(p(3533,804));
	v.push_back(p(3534,3));
	v.push_back(p(3535,774));
	v.push_back(p(3537,1301));
	v.push_back(p(3539,806));
	v.push_back(p(3541,795));
	v.push_back(p(3542,3));
	v.push_back(p(3543,1211));
	v.push_back(p(3545,627));
	v.push_back(p(3546,6));
	v.push_back(p(3547,783));
	v.push_back(p(3549,1341));
	v.push_back(p(3551,822));
	v.push_back(p(3553,877));
	v.push_back(p(3555,1029));
	v.push_back(p(3557,822));
	v.push_back(p(3558,3));
	v.push_back(p(3559,792));
	v.push_back(p(3561,1237));
	v.push_back(p(3563,963));
	v.push_back(p(3565,696));
	v.push_back(p(3567,1173));
	v.push_back(p(3569,873));
	v.push_back(p(3571,836));
	v.push_back(p(3573,1233));
	v.push_back(p(3574,3));
	v.push_back(p(3575,696));
	v.push_back(p(3577,921));
	v.push_back(p(3578,3));
	v.push_back(p(3579,1239));
	v.push_back(p(3581,816));
	v.push_back(p(3582,3));
	v.push_back(p(3583,819));
	v.push_back(p(3585,1029));
	v.push_back(p(3587,758));
	v.push_back(p(3589,831));
	v.push_back(p(3590,6));
	v.push_back(p(3591,1587));
	v.push_back(p(3593,828));
	v.push_back(p(3594,3));
	v.push_back(p(3595,660));
	v.push_back(p(3597,1320));
	v.push_back(p(3599,867));
	v.push_back(p(3601,753));
	v.push_back(p(3602,6));
	v.push_back(p(3603,1248));
	v.push_back(p(3605,798));
	v.push_back(p(3607,828));
	v.push_back(p(3609,1271));
	v.push_back(p(3610,3));
	v.push_back(p(3611,906));
	v.push_back(p(3613,813));
	v.push_back(p(3614,3));
	v.push_back(p(3615,1059));
	v.push_back(p(3617,849));
	v.push_back(p(3618,3));
	v.push_back(p(3619,1113));
	v.push_back(p(3621,1224));
	v.push_back(p(3623,816));
	v.push_back(p(3625,633));
	v.push_back(p(3626,12));
	v.push_back(p(3627,1233));
	v.push_back(p(3629,888));
	v.push_back(p(3631,831));
	v.push_back(p(3633,1491));
	v.push_back(p(3635,660));
	v.push_back(p(3637,855));
	v.push_back(p(3638,3));
	v.push_back(p(3639,1262));
	v.push_back(p(3641,951));
	v.push_back(p(3643,798));
	v.push_back(p(3645,1053));
	v.push_back(p(3646,3));
	v.push_back(p(3647,969));
	v.push_back(p(3649,800));
	v.push_back(p(3650,6));
	v.push_back(p(3651,1243));
	v.push_back(p(3653,783));
	v.push_back(p(3654,6));
	v.push_back(p(3655,600));
	v.push_back(p(3657,1308));
	v.push_back(p(3659,876));
	v.push_back(p(3661,963));
	v.push_back(p(3663,1425));
	v.push_back(p(3665,645));
	v.push_back(p(3666,6));
	v.push_back(p(3667,851));
	v.push_back(p(3669,1319));
	v.push_back(p(3671,849));
	v.push_back(p(3673,797));
	v.push_back(p(3674,3));
	v.push_back(p(3675,1233));
	v.push_back(p(3677,864));
	v.push_back(p(3678,3));
	v.push_back(p(3679,786));
	v.push_back(p(3681,1299));
	v.push_back(p(3682,3));
	v.push_back(p(3683,894));
	v.push_back(p(3685,714));
	v.push_back(p(3687,1280));
	v.push_back(p(3689,1011));
	v.push_back(p(3691,849));
	v.push_back(p(3693,1244));
	v.push_back(p(3695,672));
	v.push_back(p(3697,792));
	v.push_back(p(3698,3));
	v.push_back(p(3699,1277));
	v.push_back(p(3701,936));
	v.push_back(p(3702,3));
	v.push_back(p(3703,996));
	v.push_back(p(3705,1050));
	v.push_back(p(3707,907));
	v.push_back(p(3709,867));
	v.push_back(p(3710,3));
	v.push_back(p(3711,1346));
	v.push_back(p(3713,912));
	v.push_back(p(3715,687));
	v.push_back(p(3717,1551));
	v.push_back(p(3719,843));
	v.push_back(p(3721,825));
	v.push_back(p(3722,3));
	v.push_back(p(3723,1194));
	v.push_back(p(3725,699));
	v.push_back(p(3726,9));
	v.push_back(p(3727,849));
	v.push_back(p(3729,1445));
	v.push_back(p(3731,942));
	v.push_back(p(3733,789));
	v.push_back(p(3734,3));
	v.push_back(p(3735,1041));
	v.push_back(p(3737,837));
	v.push_back(p(3738,6));
	v.push_back(p(3739,848));
	v.push_back(p(3741,1320));
	v.push_back(p(3743,891));
	v.push_back(p(3745,822));
	v.push_back(p(3747,1321));
	v.push_back(p(3749,897));
	v.push_back(p(3751,1029));
	v.push_back(p(3753,1374));
	v.push_back(p(3755,717));
	v.push_back(p(3757,702));
	v.push_back(p(3758,9));
	v.push_back(p(3759,1515));
	v.push_back(p(3761,861));
	v.push_back(p(3762,3));
	v.push_back(p(3763,846));
	v.push_back(p(3765,1062));
	v.push_back(p(3767,918));
	v.push_back(p(3769,846));
	v.push_back(p(3770,3));
	v.push_back(p(3771,1344));
	v.push_back(p(3773,1077));
	v.push_back(p(3775,648));
	v.push_back(p(3777,1292));
	v.push_back(p(3779,873));
	v.push_back(p(3781,882));
	v.push_back(p(3783,1182));
	v.push_back(p(3785,711));
	v.push_back(p(3786,6));
	v.push_back(p(3787,987));
	v.push_back(p(3789,1338));
	v.push_back(p(3790,3));
	v.push_back(p(3791,831));
	v.push_back(p(3793,821));
	v.push_back(p(3794,3));
	v.push_back(p(3795,1239));
	v.push_back(p(3797,930));
	v.push_back(p(3798,3));
	v.push_back(p(3799,900));
	v.push_back(p(3801,1509));
	v.push_back(p(3803,869));
	v.push_back(p(3805,687));
	v.push_back(p(3806,6));
	v.push_back(p(3807,1341));
	v.push_back(p(3809,801));
	v.push_back(p(3810,6));
	v.push_back(p(3811,831));
	v.push_back(p(3813,1368));
	v.push_back(p(3815,798));
	v.push_back(p(3817,964));
	v.push_back(p(3819,1424));
	v.push_back(p(3821,834));
	v.push_back(p(3822,3));
	v.push_back(p(3823,840));
	v.push_back(p(3825,1047));
	v.push_back(p(3826,9));
	v.push_back(p(3827,923));
	v.push_back(p(3829,1071));
	v.push_back(p(3831,1373));
	v.push_back(p(3833,899));
	v.push_back(p(3834,3));
	v.push_back(p(3835,657));
	v.push_back(p(3837,1280));
	v.push_back(p(3839,993));
	v.push_back(p(3841,951));
	v.push_back(p(3843,1482));
	v.push_back(p(3845,765));
	v.push_back(p(3846,6));
	v.push_back(p(3847,909));
	v.push_back(p(3849,1369));
	v.push_back(p(3851,881));
	v.push_back(p(3853,855));
	v.push_back(p(3854,3));
	v.push_back(p(3855,1113));
	v.push_back(p(3857,1056));
	v.push_back(p(3859,820));
	v.push_back(p(3861,1428));
	v.push_back(p(3863,906));
	v.push_back(p(3865,702));
	v.push_back(p(3866,6));
	v.push_back(p(3867,1407));
	v.push_back(p(3869,900));
	v.push_back(p(3870,6));
	v.push_back(p(3871,1026));
	v.push_back(p(3873,1311));
	v.push_back(p(3875,741));
	v.push_back(p(3877,897));
	v.push_back(p(3878,3));
	v.push_back(p(3879,1404));
	v.push_back(p(3881,878));
	v.push_back(p(3882,3));
	v.push_back(p(3883,929));
	v.push_back(p(3885,1212));
	v.push_back(p(3887,849));
	v.push_back(p(3889,905));
	v.push_back(p(3890,3));
	v.push_back(p(3891,1370));
	v.push_back(p(3893,834));
	v.push_back(p(3894,6));
	v.push_back(p(3895,693));
	v.push_back(p(3897,1268));
	v.push_back(p(3898,3));
	v.push_back(p(3899,1074));
	v.push_back(p(3901,945));
	v.push_back(p(3903,1370));
	v.push_back(p(3905,810));
	v.push_back(p(3907,920));
	v.push_back(p(3909,1343));
	v.push_back(p(3911,960));
	v.push_back(p(3913,954));
	v.push_back(p(3915,1080));
	v.push_back(p(3917,876));
	v.push_back(p(3918,3));
	v.push_back(p(3919,915));
	v.push_back(p(3921,1367));
	v.push_back(p(3923,893));
	v.push_back(p(3925,717));
	v.push_back(p(3926,9));
	v.push_back(p(3927,1659));
	v.push_back(p(3929,924));
	v.push_back(p(3930,3));
	v.push_back(p(3931,902));
	v.push_back(p(3933,1506));
	v.push_back(p(3935,696));
	v.push_back(p(3937,936));
	v.push_back(p(3939,1260));
	v.push_back(p(3941,1074));
	v.push_back(p(3943,876));
	v.push_back(p(3945,1137));
	v.push_back(p(3947,861));
	v.push_back(p(3949,969));
	v.push_back(p(3951,1398));
	v.push_back(p(3953,986));
	v.push_back(p(3955,858));
	v.push_back(p(3957,1340));
	v.push_back(p(3959,948));
	v.push_back(p(3961,866));
	v.push_back(p(3962,6));
	v.push_back(p(3963,1359));
	v.push_back(p(3965,720));
	v.push_back(p(3966,12));
	v.push_back(p(3967,924));
	v.push_back(p(3969,1569));
	v.push_back(p(3971,1077));
	v.push_back(p(3973,837));
	v.push_back(p(3974,6));
	v.push_back(p(3975,1080));
	v.push_back(p(3977,888));
	v.push_back(p(3978,6));
	v.push_back(p(3979,912));
	v.push_back(p(3981,1430));
	v.push_back(p(3983,1044));
	v.push_back(p(3985,732));
	v.push_back(p(3986,6));
	v.push_back(p(3987,1335));
	v.push_back(p(3989,843));
	v.push_back(p(3990,3));
	v.push_back(p(3991,786));
	v.push_back(p(3993,1461));
	v.push_back(p(3995,690));
	v.push_back(p(3997,1077));
	v.push_back(p(3999,1458));
	v.push_back(p(4001,948));
	v.push_back(p(4002,3));
	v.push_back(p(4003,882));
	v.push_back(p(4005,1119));
	v.push_back(p(4006,6));
	v.push_back(p(4007,888));
	v.push_back(p(4009,939));
	v.push_back(p(4011,1653));
	v.push_back(p(4013,903));
	v.push_back(p(4014,3));
	v.push_back(p(4015,828));
	v.push_back(p(4017,1341));
	v.push_back(p(4019,968));
	v.push_back(p(4021,846));
	v.push_back(p(4022,3));
	v.push_back(p(4023,1368));
	v.push_back(p(4025,888));
	v.push_back(p(4027,882));
	v.push_back(p(4029,1422));
	v.push_back(p(4031,915));
	v.push_back(p(4033,858));
	v.push_back(p(4034,6));
	v.push_back(p(4035,1122));
	v.push_back(p(4037,975));
	v.push_back(p(4039,1089));
	v.push_back(p(4041,1417));
	v.push_back(p(4042,3));
	v.push_back(p(4043,936));
	v.push_back(p(4045,708));
	v.push_back(p(4046,6));
	v.push_back(p(4047,1491));
	v.push_back(p(4049,882));
	v.push_back(p(4050,3));
	v.push_back(p(4051,896));
	v.push_back(p(4053,1635));
	v.push_back(p(4055,738));
	v.push_back(p(4057,897));
	v.push_back(p(4058,3));
	v.push_back(p(4059,1506));
	v.push_back(p(4061,981));
	v.push_back(p(4063,831));
	v.push_back(p(4065,1152));
	v.push_back(p(4067,1116));
	v.push_back(p(4069,861));
	v.push_back(p(4070,6));
	v.push_back(p(4071,1494));
	v.push_back(p(4073,911));
	v.push_back(p(4074,3));
	v.push_back(p(4075,753));
	v.push_back(p(4077,1404));
	v.push_back(p(4079,906));
	v.push_back(p(4081,1164));
	v.push_back(p(4083,1402));
	v.push_back(p(4085,822));
	v.push_back(p(4087,891));
	v.push_back(p(4089,1410));
	v.push_back(p(4091,941));
	v.push_back(p(4093,909));
	v.push_back(p(4094,3));
	v.push_back(p(4095,1281));
	v.push_back(p(4097,883));
	v.push_back(p(4098,6));
	v.push_back(p(4099,914));
	v.push_back(p(4101,1448));
	v.push_back(p(4103,1071));
	v.push_back(p(4105,702));
	v.push_back(p(4106,6));
	v.push_back(p(4107,1383));
	v.push_back(p(4109,1104));
	v.push_back(p(4111,954));
	v.push_back(p(4113,1436));
	v.push_back(p(4114,3));
	v.push_back(p(4115,747));
	v.push_back(p(4117,966));
	v.push_back(p(4119,1406));
	v.push_back(p(4121,873));
	v.push_back(p(4122,6));
	v.push_back(p(4123,1137));
	v.push_back(p(4125,1275));
	v.push_back(p(4127,936));
	v.push_back(p(4129,924));
	v.push_back(p(4130,3));
	v.push_back(p(4131,1373));
	v.push_back(p(4133,918));
	v.push_back(p(4134,3));
	v.push_back(p(4135,768));
	v.push_back(p(4137,1659));
	v.push_back(p(4139,956));
	v.push_back(p(4141,903));
	v.push_back(p(4142,6));
	v.push_back(p(4143,1436));
	v.push_back(p(4145,771));
	v.push_back(p(4146,6));
	v.push_back(p(4147,903));
	v.push_back(p(4149,1455));
	v.push_back(p(4150,3));
	v.push_back(p(4151,1101));
	v.push_back(p(4153,953));
	v.push_back(p(4154,3));
	v.push_back(p(4155,1125));
	v.push_back(p(4157,936));
	v.push_back(p(4158,3));
	v.push_back(p(4159,891));
	v.push_back(p(4161,1493));
	v.push_back(p(4163,1047));
	v.push_back(p(4165,837));
	v.push_back(p(4166,6));
	v.push_back(p(4167,1482));
	v.push_back(p(4169,1073));
	v.push_back(p(4171,994));
	v.push_back(p(4173,1341));
	v.push_back(p(4175,777));
	v.push_back(p(4177,930));
	v.push_back(p(4178,3));
	v.push_back(p(4179,1743));
	v.push_back(p(4181,903));
	v.push_back(p(4182,6));
	v.push_back(p(4183,909));
	v.push_back(p(4185,1209));
	v.push_back(p(4187,972));
	v.push_back(p(4189,966));
	v.push_back(p(4191,1602));
	v.push_back(p(4193,1158));
	v.push_back(p(4195,780));
	v.push_back(p(4197,1427));
	v.push_back(p(4199,870));
	v.push_back(p(4201,972));
	v.push_back(p(4202,3));
	v.push_back(p(4203,1380));
	v.push_back(p(4205,732));
	v.push_back(p(4206,9));
	v.push_back(p(4207,1035));
	v.push_back(p(4209,1518));
	v.push_back(p(4211,966));
	v.push_back(p(4213,1068));
	v.push_back(p(4215,1170));
	v.push_back(p(4217,980));
	v.push_back(p(4218,3));
	v.push_back(p(4219,977));
	v.push_back(p(4221,1734));
	v.push_back(p(4223,909));
	v.push_back(p(4225,678));
	v.push_back(p(4226,12));
	v.push_back(p(4227,1400));
	v.push_back(p(4229,951));
	v.push_back(p(4230,3));
	v.push_back(p(4231,942));
	v.push_back(p(4233,1330));
	v.push_back(p(4235,957));
	v.push_back(p(4237,1008));
	v.push_back(p(4239,1491));
	v.push_back(p(4241,1011));
	v.push_back(p(4242,3));
	v.push_back(p(4243,905));
	v.push_back(p(4245,1185));
	v.push_back(p(4247,1008));
	v.push_back(p(4249,1146));
	v.push_back(p(4251,1374));
	v.push_back(p(4253,981));
	v.push_back(p(4254,3));
	v.push_back(p(4255,762));
	v.push_back(p(4257,1621));
	v.push_back(p(4259,1019));
	v.push_back(p(4261,960));
	v.push_back(p(4262,3));
	v.push_back(p(4263,1653));
	v.push_back(p(4265,813));
	v.push_back(p(4266,6));
	v.push_back(p(4267,912));
	v.push_back(p(4269,1457));
	v.push_back(p(4271,969));
	v.push_back(p(4273,941));
	v.push_back(p(4274,3));
	v.push_back(p(4275,1257));
	v.push_back(p(4277,1083));
	v.push_back(p(4279,1044));
	v.push_back(p(4281,1462));
	v.push_back(p(4283,1056));
	v.push_back(p(4285,780));
	v.push_back(p(4286,6));
	v.push_back(p(4287,1529));
	v.push_back(p(4289,1005));
	v.push_back(p(4290,3));
	v.push_back(p(4291,1092));
	v.push_back(p(4293,1467));
	v.push_back(p(4294,3));
	v.push_back(p(4295,789));
	v.push_back(p(4297,977));
	v.push_back(p(4298,3));
	v.push_back(p(4299,1510));
	v.push_back(p(4301,1068));
	v.push_back(p(4303,843));
	v.push_back(p(4305,1386));
	v.push_back(p(4307,975));
	v.push_back(p(4309,1017));
	v.push_back(p(4311,1443));
	v.push_back(p(4313,1080));
	v.push_back(p(4315,789));
	v.push_back(p(4317,1511));
	v.push_back(p(4319,1191));
	v.push_back(p(4321,882));
	v.push_back(p(4322,6));
	v.push_back(p(4323,1610));
	v.push_back(p(4325,774));
	v.push_back(p(4326,9));
	v.push_back(p(4327,981));
	v.push_back(p(4329,1347));
	v.push_back(p(4330,6));
	v.push_back(p(4331,966));
	v.push_back(p(4333,1095));
	v.push_back(p(4335,1155));
	v.push_back(p(4337,932));
	v.push_back(p(4338,3));
	v.push_back(p(4339,969));
	v.push_back(p(4341,1565));
	v.push_back(p(4343,999));
	v.push_back(p(4345,873));
	v.push_back(p(4347,1836));
	v.push_back(p(4349,1026));
	v.push_back(p(4350,3));
	v.push_back(p(4351,1086));
	v.push_back(p(4353,1456));
	v.push_back(p(4355,780));
	v.push_back(p(4357,900));
	v.push_back(p(4358,3));
	v.push_back(p(4359,1520));
	v.push_back(p(4361,1215));
	v.push_back(p(4362,3));
	v.push_back(p(4363,960));
	v.push_back(p(4365,1209));
	v.push_back(p(4366,6));
	v.push_back(p(4367,1101));
	v.push_back(p(4369,920));
	v.push_back(p(4370,6));
	v.push_back(p(4371,1584));
	v.push_back(p(4373,1005));
	v.push_back(p(4374,3));
	v.push_back(p(4375,876));
	v.push_back(p(4377,1537));
	v.push_back(p(4379,945));
	v.push_back(p(4381,861));
	v.push_back(p(4382,6));
	v.push_back(p(4383,1521));
	v.push_back(p(4385,777));
	v.push_back(p(4386,6));
	v.push_back(p(4387,911));
	v.push_back(p(4389,2037));
	v.push_back(p(4391,1038));
	v.push_back(p(4393,1056));
	v.push_back(p(4395,1221));
	v.push_back(p(4397,984));
	v.push_back(p(4398,3));
	v.push_back(p(4399,990));
	v.push_back(p(4401,1523));
	v.push_back(p(4403,1056));
	v.push_back(p(4405,768));
	v.push_back(p(4406,6));
	v.push_back(p(4407,1377));
	v.push_back(p(4409,978));
	v.push_back(p(4410,3));
	v.push_back(p(4411,1062));
	v.push_back(p(4413,1472));
	v.push_back(p(4415,789));
	v.push_back(p(4417,1167));
	v.push_back(p(4419,1541));
	v.push_back(p(4421,1026));
	v.push_back(p(4422,3));
	v.push_back(p(4423,924));
	v.push_back(p(4425,1272));
	v.push_back(p(4427,1083));
	v.push_back(p(4429,1023));
	v.push_back(p(4431,1806));
	v.push_back(p(4433,1035));
	v.push_back(p(4435,819));
	v.push_back(p(4437,1407));
	v.push_back(p(4438,6));
	v.push_back(p(4439,1017));
	v.push_back(p(4441,987));
	v.push_back(p(4442,3));
	v.push_back(p(4443,1571));
	v.push_back(p(4445,960));
	v.push_back(p(4447,1014));
	v.push_back(p(4449,1532));
	v.push_back(p(4451,1053));
	v.push_back(p(4453,927));
	v.push_back(p(4454,6));
	v.push_back(p(4455,1308));
	v.push_back(p(4457,1032));
	v.push_back(p(4458,3));
	v.push_back(p(4459,1119));
	v.push_back(p(4461,1541));
	v.push_back(p(4463,1032));
	v.push_back(p(4465,861));
	v.push_back(p(4467,1450));
	v.push_back(p(4469,975));
	v.push_back(p(4470,6));
	v.push_back(p(4471,975));
	v.push_back(p(4473,1869));
	v.push_back(p(4475,855));
	v.push_back(p(4477,1059));
	v.push_back(p(4478,3));
	v.push_back(p(4479,1541));
	v.push_back(p(4481,1059));
	v.push_back(p(4482,3));
	v.push_back(p(4483,975));
	v.push_back(p(4485,1176));
	v.push_back(p(4487,1188));
	v.push_back(p(4489,987));
	v.push_back(p(4491,1595));
	v.push_back(p(4493,1062));
	v.push_back(p(4494,3));
	v.push_back(p(4495,783));
	v.push_back(p(4497,1551));
	v.push_back(p(4499,1134));
	v.push_back(p(4501,1197));
	v.push_back(p(4503,1683));
	v.push_back(p(4505,699));
	v.push_back(p(4506,12));
	v.push_back(p(4507,948));
	v.push_back(p(4509,1563));
	v.push_back(p(4511,930));
	v.push_back(p(4513,935));
	v.push_back(p(4514,3));
	v.push_back(p(4515,1521));
	v.push_back(p(4517,1086));
	v.push_back(p(4518,3));
	v.push_back(p(4519,1056));
	v.push_back(p(4521,1750));
	v.push_back(p(4523,1049));
	v.push_back(p(4525,807));
	v.push_back(p(4526,9));
	v.push_back(p(4527,1554));
	v.push_back(p(4529,1215));
	v.push_back(p(4531,1035));
	v.push_back(p(4533,1529));
	v.push_back(p(4535,801));
	v.push_back(p(4537,900));
	v.push_back(p(4538,6));
	v.push_back(p(4539,1416));
	v.push_back(p(4541,1113));
	v.push_back(p(4543,1227));
	v.push_back(p(4545,1278));
	v.push_back(p(4546,6));
	v.push_back(p(4547,984));
	v.push_back(p(4549,1023));
	v.push_back(p(4550,3));
	v.push_back(p(4551,1533));
	v.push_back(p(4553,1011));
	v.push_back(p(4554,6));
	v.push_back(p(4555,777));
	v.push_back(p(4557,1839));
	v.push_back(p(4559,1059));
	v.push_back(p(4561,1026));
	v.push_back(p(4562,3));
	v.push_back(p(4563,1401));
	v.push_back(p(4565,1002));
	v.push_back(p(4567,951));
	v.push_back(p(4569,1608));
	v.push_back(p(4571,1185));
	v.push_back(p(4573,990));
	v.push_back(p(4574,6));
	v.push_back(p(4575,1269));
	v.push_back(p(4577,1092));
	v.push_back(p(4579,1053));
	v.push_back(p(4581,1548));
	v.push_back(p(4582,3));
	v.push_back(p(4583,1032));
	v.push_back(p(4585,918));
	v.push_back(p(4587,1779));
	v.push_back(p(4589,1014));
	v.push_back(p(4590,6));
	v.push_back(p(4591,1005));
	v.push_back(p(4593,1553));
	v.push_back(p(4595,876));
	v.push_back(p(4597,978));
	v.push_back(p(4598,3));
	v.push_back(p(4599,1797));
	v.push_back(p(4601,1109));
	v.push_back(p(4603,981));
	v.push_back(p(4605,1299));
	v.push_back(p(4607,1017));
	v.push_back(p(4609,1087));
	v.push_back(p(4611,1548));
	v.push_back(p(4613,1218));
	v.push_back(p(4615,756));
	v.push_back(p(4617,1667));
	v.push_back(p(4619,1122));
	v.push_back(p(4621,1089));
	v.push_back(p(4622,3));
	v.push_back(p(4623,1632));
	v.push_back(p(4625,825));
	v.push_back(p(4626,12));
	v.push_back(p(4627,1233));
	v.push_back(p(4629,1589));
	v.push_back(p(4631,1203));
	v.push_back(p(4633,958));
	v.push_back(p(4634,6));
	v.push_back(p(4635,1314));
	v.push_back(p(4637,1044));
	v.push_back(p(4638,3));
	v.push_back(p(4639,1041));
	v.push_back(p(4641,1584));
	v.push_back(p(4643,1053));
	v.push_back(p(4645,831));
	v.push_back(p(4646,6));
	v.push_back(p(4647,1592));
	v.push_back(p(4649,1047));
	v.push_back(p(4650,3));
	v.push_back(p(4651,984));
	v.push_back(p(4653,1740));
	v.push_back(p(4655,1032));
	v.push_back(p(4657,987));
	v.push_back(p(4658,3));
	v.push_back(p(4659,1621));
	v.push_back(p(4661,1116));
	v.push_back(p(4663,1065));
	v.push_back(p(4665,1245));
	v.push_back(p(4667,975));
	v.push_back(p(4669,1188));
	v.push_back(p(4671,1632));
	v.push_back(p(4673,1133));
	v.push_back(p(4674,3));
	v.push_back(p(4675,813));
	v.push_back(p(4677,1583));
	v.push_back(p(4679,1095));
	v.push_back(p(4681,1134));
	v.push_back(p(4683,1857));
	v.push_back(p(4685,846));
	v.push_back(p(4686,6));
	v.push_back(p(4687,975));
	v.push_back(p(4689,1584));
	v.push_back(p(4690,3));
	v.push_back(p(4691,1094));
	v.push_back(p(4693,951));
	v.push_back(p(4694,3));
	v.push_back(p(4695,1284));
	v.push_back(p(4697,1347));
	v.push_back(p(4699,1023));
	v.push_back(p(4701,1628));
	v.push_back(p(4703,1083));
	v.push_back(p(4705,810));
	v.push_back(p(4706,6));
	v.push_back(p(4707,1658));
	v.push_back(p(4709,999));
	v.push_back(p(4710,6));
	v.push_back(p(4711,1254));
	v.push_back(p(4713,1563));
	v.push_back(p(4715,900));
	v.push_back(p(4717,978));
	v.push_back(p(4718,6));
	v.push_back(p(4719,1674));
	v.push_back(p(4721,1100));
	v.push_back(p(4722,3));
	v.push_back(p(4723,1092));
	v.push_back(p(4725,1548));
	v.push_back(p(4727,1059));
	v.push_back(p(4729,1052));
	v.push_back(p(4730,3));
	v.push_back(p(4731,1717));
	v.push_back(p(4733,1092));
	v.push_back(p(4734,3));
	v.push_back(p(4735,834));
	v.push_back(p(4737,1717));
	v.push_back(p(4739,1257));
	v.push_back(p(4741,1173));
	v.push_back(p(4743,1605));
	v.push_back(p(4745,759));
	v.push_back(p(4746,12));
	v.push_back(p(4747,999));
	v.push_back(p(4749,1679));
	v.push_back(p(4751,1035));
	v.push_back(p(4753,1167));
	v.push_back(p(4754,3));
	v.push_back(p(4755,1332));
	v.push_back(p(4757,1059));
	v.push_back(p(4759,1098));
	v.push_back(p(4761,1692));
	v.push_back(p(4763,1199));
	v.push_back(p(4765,840));
	v.push_back(p(4766,6));
	v.push_back(p(4767,1836));
	v.push_back(p(4769,1172));
	v.push_back(p(4771,1005));
	v.push_back(p(4773,1593));
	v.push_back(p(4775,894));
	v.push_back(p(4777,913));
	v.push_back(p(4778,6));
	v.push_back(p(4779,1739));
	v.push_back(p(4781,1299));
	v.push_back(p(4783,1044));
	v.push_back(p(4785,1434));
	v.push_back(p(4787,1109));
	v.push_back(p(4789,1029));
	v.push_back(p(4790,3));
	v.push_back(p(4791,1616));
	v.push_back(p(4793,1043));
	v.push_back(p(4794,3));
	v.push_back(p(4795,969));
	v.push_back(p(4797,1386));
	v.push_back(p(4798,6));
	v.push_back(p(4799,1092));
	v.push_back(p(4801,1041));
	v.push_back(p(4802,3));
	v.push_back(p(4803,1752));
	v.push_back(p(4805,897));
	v.push_back(p(4806,3));
	v.push_back(p(4807,1257));
	v.push_back(p(4809,1953));
	v.push_back(p(4811,1067));
	v.push_back(p(4813,1047));
	v.push_back(p(4814,3));
	v.push_back(p(4815,1320));
	v.push_back(p(4817,1149));
	v.push_back(p(4818,3));
	v.push_back(p(4819,1053));
	v.push_back(p(4821,1595));
	v.push_back(p(4823,1206));
	v.push_back(p(4825,819));
	v.push_back(p(4826,9));
	v.push_back(p(4827,1606));
	v.push_back(p(4829,1191));
	v.push_back(p(4831,1035));
	v.push_back(p(4833,1677));
	v.push_back(p(4835,876));
	v.push_back(p(4837,1257));
	v.push_back(p(4839,1643));
	v.push_back(p(4841,1155));
	v.push_back(p(4843,996));
	v.push_back(p(4845,1374));
	v.push_back(p(4847,1035));
	v.push_back(p(4849,1008));
	v.push_back(p(4850,6));
	v.push_back(p(4851,2106));
	v.push_back(p(4853,1167));
	v.push_back(p(4855,828));
	v.push_back(p(4857,1684));
	v.push_back(p(4859,1110));
	v.push_back(p(4861,1083));
	v.push_back(p(4862,3));
	v.push_back(p(4863,1634));
	v.push_back(p(4865,1083));
	v.push_back(p(4867,1101));
	v.push_back(p(4869,1683));
	v.push_back(p(4870,3));
	v.push_back(p(4871,1107));
	v.push_back(p(4873,1164));
	v.push_back(p(4875,1176));
	v.push_back(p(4877,1131));
	v.push_back(p(4878,3));
	v.push_back(p(4879,1158));
	v.push_back(p(4881,1648));
	v.push_back(p(4883,1145));
	v.push_back(p(4885,873));
	v.push_back(p(4886,6));
	v.push_back(p(4887,1641));
	v.push_back(p(4889,1134));
	v.push_back(p(4890,3));
	v.push_back(p(4891,1139));
	v.push_back(p(4893,1899));
	v.push_back(p(4895,975));
	v.push_back(p(4897,1094));
	v.push_back(p(4899,1740));
	v.push_back(p(4901,1020));
	v.push_back(p(4902,9));
	v.push_back(p(4903,972));
	v.push_back(p(4905,1365));
	v.push_back(p(4906,6));
	v.push_back(p(4907,1275));
	v.push_back(p(4909,1074));
	v.push_back(p(4910,3));
	v.push_back(p(4911,1718));
	v.push_back(p(4913,1043));
	v.push_back(p(4914,6));
	v.push_back(p(4915,837));
	v.push_back(p(4917,1842));
	v.push_back(p(4919,1119));
	v.push_back(p(4921,1272));
	v.push_back(p(4923,1715));
	v.push_back(p(4925,867));
	v.push_back(p(4926,9));
	v.push_back(p(4927,1017));
	v.push_back(p(4929,1716));
	v.push_back(p(4931,1128));
	v.push_back(p(4933,1050));
	v.push_back(p(4934,3));
	v.push_back(p(4935,1632));
	v.push_back(p(4937,1053));
	v.push_back(p(4938,3));
	v.push_back(p(4939,1265));
	v.push_back(p(4941,1659));
	v.push_back(p(4942,3));
	v.push_back(p(4943,1158));
	v.push_back(p(4945,858));
	v.push_back(p(4947,1538));
	v.push_back(p(4949,1281));
	v.push_back(p(4950,3));
	v.push_back(p(4951,1068));
	v.push_back(p(4953,1500));
	v.push_back(p(4955,873));
	v.push_back(p(4957,1137));
	v.push_back(p(4958,3));
	v.push_back(p(4959,1722));
	v.push_back(p(4961,1183));
	v.push_back(p(4962,3));
	v.push_back(p(4963,1254));
	v.push_back(p(4965,1359));
	v.push_back(p(4967,1083));
	v.push_back(p(4969,1104));
	v.push_back(p(4970,3));
	v.push_back(p(4971,1708));
	v.push_back(p(4973,1146));
	v.push_back(p(4974,3));
	v.push_back(p(4975,852));
	v.push_back(p(4977,1926));
	v.push_back(p(4979,1053));
	v.push_back(p(4981,1023));
	v.push_back(p(4982,6));
	v.push_back(p(4983,1854));
	v.push_back(p(4985,897));
	v.push_back(p(4986,6));
	v.push_back(p(4987,1070));
	v.push_back(p(4989,1733));
	v.push_back(p(4991,1401));
	v.push_back(p(4993,1176));
	v.push_back(p(4994,3));
	v.push_back(p(4995,1320));
	v.push_back(p(4997,1161));
	v.push_back(p(4999,1068));


	scanf("%d",&N);
	r = 0;
	for (i = v.begin(); i != v.end(); ++i)
	{
		if (i->first <= N) r += i->second;
		else break;
	}
	printf("%d\n",r);

	return 0;
}