function Protonorms(){
this.r = new Array(
new P(-13,0,7,989),
new P(-12,0,14,990),
new P(-11,0,14,990),
new P(-10,0,14,991),
new P(-9,0,14,992),
new P(-8,0,14,993),
new P(-7,0,14,994),
new P(-6,0,14,995),
new P(-5,0,14,996),
new P(-4,0,14,997),
new P(-3,0,14,998),
new P(-2,0,14,999),
new P(-1,0,14,999),
new P(0,0,14,1000),
new P(1,19,14,1001),
new P(2,19,14,1002),
new P(3,19,14,1003),
new P(4,19,14,1003),
new P(5,19,14,1004),
new P(6,19,14,1005),
new P(7,19,14,1006),
new P(8,19,14,1007),
new P(9,19,14,1007),
new P(10,19,14,1008),
new P(11,19,14,1009),
new P(12,19,14,1010),
new P(13,19,14,1011),
new P(14,19,14,1011),
new P(15,19,14,1012),
new P(16,19,14,1013),
new P(17,19,14,1014),
new P(18,19,14,1014),
new P(19,19,14,1015),
new P(20,19,14,1016),
new P(21,19,14,1017),
new P(22,19,14,1018),
new P(23,19,14,1019),
new P(24,19,14,1019),
new P(25,19,14,1020),
new P(26,19,14,1021),
new P(27,19,14,1022),
new P(28,19,14,1023),
new P(29,19,14,1024),
new P(30,19,14,1025),
new P(31,19,14,1026),
new P(32,19,14,1027),
new P(33,19,14,1028),
new P(34,19,14,1028),
new P(35,19,14,1029),
new P(36,19,14,1030),
new P(37,19,14,1031),
new P(38,19,14,1031),
new P(39,19,14,1032),
new P(40,19,14,1033),
new P(41,19,14,1034),
new P(42,19,14,1035),
new P(43,19,14,1036),
new P(44,19,14,1036),
new P(45,19,14,1037),
new P(46,19,14,1038),
new P(47,19,14,1039),
new P(48,19,14,1039),
new P(49,19,14,1040),
new P(50,19,14,1041),
new P(51,19,14,1042),
new P(52,19,14,1043),
new P(53,19,14,1044),
new P(54,19,14,1044),
new P(55,19,14,1045),
new P(56,19,14,1046),
new P(57,19,14,1047),
new P(58,19,14,1047),
new P(59,19,14,1048),
new P(60,19,14,1049),
new P(61,19,14,1050),
new P(62,19,14,1051),
new P(63,19,14,1052),
new P(64,19,14,1052),
new P(65,19,14,1053),
new P(66,19,14,1054),
new P(67,28,14,1055),
new P(68,37,14,1055),
new P(69,37,14,1056),
new P(70,37,14,1057),
new P(71,37,14,1058),
new P(72,37,14,1059),
new P(73,37,14,1060),
new P(74,37,14,1060),
new P(75,37,14,1061),
new P(76,37,14,1062),
new P(77,37,14,1063),
new P(78,37,14,1064),
new P(79,37,14,1064),
new P(80,37,14,1065),
new P(81,37,14,1066),
new P(82,37,14,1067),
new P(83,37,14,1067),
new P(84,37,14,1068),
new P(85,37,14,1069),
new P(86,37,14,1070),
new P(87,37,14,1071),
new P(88,37,14,1071),
new P(89,37,14,1072),
new P(90,37,14,1073),
new P(91,37,14,1074),
new P(92,37,14,1075),
new P(93,37,14,1075),
new P(94,37,14,1076),
new P(95,37,14,1077),
new P(96,37,14,1078),
new P(97,46,21,1079),
new P(98,56,27,1080),
new P(99,56,27,1080),
new P(100,56,34,1081),
new P(101,56,41,1082),
new P(102,56,41,1083),
new P(103,56,41,1084),
new P(104,56,41,1085),
new P(105,56,41,1086),
new P(106,56,41,1087),
new P(107,56,55,1088),
new P(108,56,68,1088),
new P(109,56,68,1089),
new P(110,56,68,1090),
new P(111,56,68,1091),
new P(112,56,68,1092),
new P(113,56,68,1092),
new P(114,56,68,1093),
new P(115,56,68,1094),
new P(116,56,68,1095),
new P(117,56,68,1096),
new P(118,56,68,1096),
new P(119,56,68,1097),
new P(120,56,68,1098),
new P(121,56,68,1099),
new P(122,56,68,1100),
new P(123,56,68,1100),
new P(124,56,68,1101),
new P(125,56,68,1102),
new P(126,56,68,1103),
new P(127,56,68,1104),
new P(128,56,68,1105),
new P(129,56,68,1105),
new P(130,56,68,1106),
new P(131,56,68,1107),
new P(132,56,68,1108),
new P(133,56,68,1108),
new P(134,56,68,1109),
new P(135,56,68,1110),
new P(136,56,68,1111),
new P(137,56,68,1112),
new P(138,56,68,1113),
new P(139,56,68,1113),
new P(140,56,68,1114),
new P(141,56,68,1115),
new P(142,56,68,1116),
new P(143,56,68,1117),
new P(144,56,68,1118),
new P(145,56,68,1119),
new P(146,56,68,1120),
new P(147,56,68,1121),
new P(148,56,68,1122),
new P(149,56,68,1123),
new P(150,56,68,1123),
new P(151,56,68,1124),
new P(152,56,68,1125),
new P(153,56,68,1125),
new P(154,56,68,1127),
new P(155,56,68,1127),
new P(156,56,68,1128),
new P(157,56,68,1129),
new P(158,56,68,1130),
new P(159,56,68,1131),
new P(160,56,68,1131),
new P(161,56,68,1132),
new P(162,56,68,1133),
new P(163,56,68,1134),
new P(164,56,68,1135),
new P(165,56,68,1135),
new P(166,56,68,1136),
new P(167,56,75,1137),
new P(168,56,82,1138),
new P(169,56,82,1139),
new P(170,56,82,1139),
new P(171,56,82,1140),
new P(172,56,82,1141),
new P(173,56,82,1142),
new P(174,56,82,1143),
new P(175,56,82,1143),
new P(176,56,82,1144),
new P(177,56,82,1145),
new P(178,56,82,1146),
new P(179,56,82,1147),
new P(180,56,96,1147),
new P(181,56,110,1148),
new P(182,56,110,1149),
new P(183,56,110,1150),
new P(184,56,116,1151),
new P(185,56,123,1151),
new P(186,56,123,1152),
new P(187,56,123,1153),
new P(188,56,123,1154),
new P(189,56,123,1155),
new P(190,56,130,1155),
new P(191,56,137,1156),
new P(192,56,137,1157),
new P(193,56,144,1158),
new P(194,56,151,1159),
new P(195,56,151,1159),
new P(196,56,151,1160),
new P(197,56,158,1161),
new P(198,56,164,1162),
new P(199,56,164,1163),
new P(200,65,185,1163),
new P(201,74,205,1164),
new P(202,74,205,1165),
new P(203,74,205,1166),
new P(204,74,205,1167),
new P(205,74,205,1167),
new P(206,74,212,1168),
new P(207,83,219,1169),
new P(208,93,219,1170),
new P(209,93,219,1171),
new P(210,93,219,1171),
new P(211,93,219,1172),
new P(212,93,219,1173),
new P(213,93,226,1174),
new P(214,93,233,1175),
new P(215,93,233,1175),
new P(216,93,233,1176),
new P(217,93,233,1177),
new P(218,93,233,1178),
new P(219,93,233,1179),
new P(220,93,233,1180),
new P(221,93,233,1181),
new P(222,93,233,1182),
new P(223,93,233,1183),
new P(224,93,240,1183),
new P(225,93,247,1184),
new P(226,93,247,1185),
new P(227,93,247,1186),
new P(228,93,247,1187),
new P(229,93,247,1187),
new P(230,93,247,1188),
new P(231,93,247,1189),
new P(232,93,247,1190),
new P(233,93,253,1191),
new P(234,93,260,1191),
new P(235,93,260,1192),
new P(236,93,260,1193),
new P(237,93,260,1194),
new P(238,93,260,1195),
new P(239,93,260,1195),
new P(240,102,260,1196),
new P(241,111,260,1197),
new P(242,111,260,1198),
new P(243,111,260,1199),
new P(244,111,260,1199),
new P(245,111,260,1200),
new P(246,111,260,1201),
new P(247,111,260,1202),
new P(248,111,260,1203),
new P(249,111,260,1203),
new P(250,111,260,1204),
new P(251,111,260,1205),
new P(252,111,260,1206),
new P(253,111,267,1207),
new P(254,111,274,1207),
new P(255,111,274,1208),
new P(256,111,274,1209),
new P(257,111,274,1210),
new P(258,111,274,1211),
new P(259,111,274,1211),
new P(260,111,274,1212),
new P(261,111,274,1213),
new P(262,111,274,1214),
new P(263,111,274,1215),
new P(264,111,274,1215),
new P(265,111,274,1216),
new P(266,111,274,1217),
new P(267,130,295,1218),
new P(268,148,315,1219),
new P(269,148,315,1219),
new P(270,148,315,1220),
new P(271,148,315,1221),
new P(272,148,315,1222),
new P(273,148,315,1223),
new P(274,148,315,1223),
new P(275,148,315,1224),
new P(276,148,315,1225),
new P(277,148,315,1226),
new P(278,148,322,1227),
new P(279,148,336,1227),
new P(280,148,349,1228),
new P(281,148,356,1229),
new P(282,157,370,1230),
new P(283,176,397,1231),
new P(284,185,411,1231),
new P(285,185,411,1232),
new P(286,185,411,1233),
new P(287,194,432,1234),
new P(288,204,438,1235),
new P(289,204,438,1236),
new P(290,204,438,1237),
new P(291,213,438,1238),
new P(292,222,438,1239),
new P(293,222,452,1240),
new P(294,222,466,1241),
new P(295,222,466,1242),
new P(296,222,466,1243),
new P(297,231,479,1244),
new P(298,241,493,1245),
new P(299,241,493,1246),
new P(300,241,514,1247),
new P(301,241,541,1248),
new P(302,241,555,1248),
new P(303,241,562,1249),
new P(304,241,562,1250),
new P(305,241,562,1251),
new P(306,241,568,1252),
new P(307,241,589,1253),
new P(308,241,610,1254),
new P(309,241,616,1255),
new P(310,241,623,1256),
new P(311,241,630,1257),
new P(312,241,644,1257),
new P(313,250,685,1258),
new P(314,259,712,1259),
new P(315,259,712,1260),
new P(316,259,712,1261),
new P(317,259,712,1262),
new P(318,259,733,1263),
new P(319,259,760,1264),
new P(320,287,774,1265),
new P(321,315,781,1266),
new P(322,315,795,1266),
new P(323,315,815,1267),
new P(324,315,822,1268),
new P(325,315,822,1269),
new P(326,315,822,1270),
new P(327,315,897,1271),
new P(328,324,973,1272),
new P(329,333,986,1273),
new P(330,333,1007,1274),
new P(331,333,1021,1275),
new P(332,333,1027,1275),
new P(333,389,1075,1276),
new P(334,444,1123,1277),
new P(335,444,1123,1278),
new P(336,444,1123,1279),
new P(337,444,1137,1280),
new P(338,444,1158,1281),
new P(339,444,1185,1282),
new P(340,481,1322,1283),
new P(341,519,1466,1284),
new P(342,519,1514,1284),
new P(343,519,1541,1285),
new P(344,519,1555,1286),
new P(345,519,1568,1287),
new P(346,519,1575,1288),
new P(347,519,1582,1289),
new P(348,519,1589,1290),
new P(349,519,1589,1291),
new P(350,519,1596,1292),
new P(351,519,1603,1293),
new P(352,519,1610,1293),
new P(353,519,1651,1294),
new P(354,519,1699,1295),
new P(355,519,1726,1296),
new P(356,519,1747,1297),
new P(357,519,1767,1298),
new P(358,519,1788,1299),
new P(359,519,1815,1300),
new P(360,519,1904,1301),
new P(361,519,1979,1302),
new P(362,519,2021,1303),
new P(363,519,2055,1304),
new P(364,519,2075,1305),
new P(365,519,2110,1306),
new P(366,519,2137,1307),
new P(367,519,2301,1308),
new P(368,519,2473,1309),
new P(369,519,2521,1311),
new P(370,519,2568,1312),
new P(371,519,2630,1313),
new P(372,519,2671,1314),
new P(373,519,2685,1315),
new P(374,519,2699,1316),
new P(375,519,2699,1317),
new P(376,519,2699,1318),
new P(377,519,2726,1319),
new P(378,519,2753,1320),
new P(379,519,2788,1322),
new P(380,537,2938,1323),
new P(381,565,3068,1324),
new P(382,574,3082,1325),
new P(383,574,3103,1326),
new P(384,574,3123,1327),
new P(385,574,3130,1328),
new P(386,574,3171,1329),
new P(387,574,3404,1330),
new P(388,574,3658,1331),
new P(389,574,3740,1333),
new P(390,574,3788,1334),
new P(391,574,3829,1335),
new P(392,574,3863,1336),
new P(393,574,3993,1337),
new P(394,574,4137,1338),
new P(395,574,4164,1339),
new P(396,574,4164,1340),
new P(397,583,4178,1341),
new P(398,593,4192,1342),
new P(399,593,4192,1344),
new P(400,611,4260,1345),
new P(401,630,4342,1346),
new P(402,630,4363,1347),
new P(403,630,4384,1348),
new P(404,648,4445,1349),
new P(405,667,4493,1350),
new P(406,667,4493,1351),
new P(407,667,4541,1352),
new P(408,667,4589,1353),
new P(409,667,4630,1354),
new P(410,667,4678,1355),
new P(411,667,4692,1356),
new P(412,676,4733,1357),
new P(413,685,4945,1358),
new P(414,694,5151,1359),
new P(415,704,5192,1360),
new P(416,704,5212,1361),
new P(417,704,5253,1363),
new P(418,704,5301,1364),
new P(419,704,5315,1365),
new P(420,704,5425,1366),
new P(421,704,5555,1367),
new P(422,704,5582,1368),
new P(423,704,5589,1369),
new P(424,704,5589,1370),
new P(425,704,5589,1372),
new P(426,704,5589,1373),
new P(427,704,5623,1375),
new P(428,704,5692,1376),
new P(429,704,5726,1377),
new P(430,704,5726,1378),
new P(431,704,5733,1379),
new P(432,704,5760,1380),
new P(433,713,5932,1381),
new P(434,722,6123,1382),
new P(435,722,6164,1384),
new P(436,722,6178,1385),
new P(437,722,6205,1387),
new P(438,722,6219,1388),
new P(439,731,6240,1389),
new P(440,741,6384,1390),
new P(441,741,6527,1392),
new P(442,741,6555,1393),
new P(443,750,6582,1394),
new P(444,759,6610,1395),
new P(445,759,6616,1397),
new P(446,759,6616,1398),
new P(447,759,6705,1399),
new P(448,759,6836,1400),
new P(449,759,6877,1401),
new P(450,759,6877,1402),
new P(451,759,6877,1403),
new P(452,759,6890,1404),
new P(453,778,7048,1405),
new P(454,796,7212,1406),
new P(455,796,7233,1407),
new P(456,796,7253,1408),
new P(457,796,7288,1409),
new P(458,806,7301,1410),
new P(459,815,7315,1411),
new P(460,824,7342,1412),
new P(461,883,7363,1413),
new P(462,883,7370,1414),
new P(463,883,7370,1415),
new P(464,883,7377,1416),
new P(465,883,7384,1417),
new P(466,883,7384,1418),
new P(467,883,7438,1419),
new P(468,883,7493,1420),
new P(469,883,7500,1421),
new P(470,883,7507,1422),
new P(471,883,7507,1423),
new P(472,883,7507,1423),
new P(473,843,7527,1424),
new P(474,852,7548,1425),
new P(475,852,7548,1426),
new P(476,852,7568,1426),
new P(477,852,7596,1427),
new P(478,852,7623,1428),
new P(479,852,7658,1429),
new P(480,861,7712,1429),
new P(481,870,7760,1430),
new P(482,870,7808,1431),
new P(483,870,7877,1432),
new P(484,870,7911,1432),
new P(485,870,7918,1433),
new P(486,880,7925,1434),
new P(487,898,8048,1435),
new P(488,907,8164,1435),
new P(489,907,8171,1436),
new P(490,907,8185,1437),
new P(491,907,8112,1438),
new P(492,907,8247,1438),
new P(493,917,8281,1439),
new P(494,926,8301,1439),
new P(495,926,8308,1440),
new P(496,926,8315,1440),
new P(497,926,8315,1441),
new P(498,926,8322,1442),
new P(499,926,8329,1443),
new P(500,926,8384,1443),
new P(501,926,8438,1444),
new P(502,926,8438,1445),
new P(503,926,8445,1446),
new P(504,926,8466,1446),
new P(505,926,8486,1447),
new P(506,926,8493,1448),
new P(507,926,8500,1449),
new P(508,926,8507,1449),
new P(509,926,8507,1450),
new P(510,926,8514,1451),
new P(511,926,8521,1452),
new P(512,926,8521,1452),
new P(513,935,8548,1453),
new P(514,944,8575,1454),
new P(515,944,8575,1455),
new P(516,944,8575,1455),
new P(517,944,8582,1456),
new P(518,944,8589,1457),
new P(519,944,8589,1458),
new P(520,954,8616,1458),
new P(521,963,8644,1459),
new P(522,963,8644,1460),
new P(523,972,8644,1461),
new P(524,981,8644,1461),
new P(525,981,8651,1462),
new P(526,981,8658,1463),
new P(527,981,8685,1464),
new P(528,981,8719,1464),
new P(529,981,8726,1465),
new P(530,981,8726,1466),
new P(531,981,8726,1467),
new P(532,981,8726,1467),
new P(533,981,8760,1468),
new P(534,981,8801,1469),
new P(535,981,8808,1470),
new P(536,981,8815,1470),
new P(537,981,8829,1471),
new P(538,981,8836,1472),
new P(539,981,8836,1473),
new P(540,981,8849,1473),
new P(541,981,8863,1474),
new P(542,981,8863,1475),
new P(543,981,8884,1476),
new P(544,981,8911,1477),
new P(545,981,8925,1478),
new P(546,981,8932,1479),
new P(547,981,8945,1480),
new P(548,981,8979,1481),
new P(549,981,9000,1482),
new P(550,981,9007,1483),
new P(551,981,9027,1483),
new P(552,981,9048,1484),
new P(553,981,9068,1485),
new P(554,981,9096,1486),
new P(555,981,9110,1487),
new P(556,981,9110,1487),
new P(557,981,9130,1488),
new P(558,981,9164,1489),
new P(559,981,9192,1489),
new P(560,981,9226,1490),
new P(561,981,9253,1491),
new P(562,981,9267,1492),
new P(563,981,9274,1493),
new P(564,981,9274,1494),
new P(565,981,9281,1495),
new P(566,981,9288,1495),
new P(567,981,9308,1496),
new P(568,981,9329,1497),
new P(569,991,9336,1497),
new P(570,1000,9349,1498),
new P(571,1000,9356,1499),
new P(572,1000,9356,1500),
new P(573,1000,9356,1501),
new P(574,1000,9356,1502),
new P(575,1000,9356,1503),
new P(576,1000,9356,1503),
new P(577,1000,9356,1504),
new P(578,1000,9356,1505),
new P(579,1000,9356,1505),
new P(580,1000,9377,1506),
new P(581,1000,9397,1507),
new P(582,1000,9397,1508),
new P(583,1000,9397,1509),
new P(584,1000,9411,1510),
new P(585,1000,9425,1511),
new P(586,1000,9425,1511),
new P(587,1000,9438,1512),
new P(588,1000,9452,1513),
new P(589,1000,9452,1513),
new P(590,1000,9452,1514),
new P(591,1000,9452,1515),
new P(592,1000,9452,1516),
new P(593,1000,9466,1517),
new P(594,1000,9479,1518),
new P(595,1000,9479,1519),
new P(596,1000,9479,1519),
new P(597,1000,9479,1520),
new P(598,1000,9479,1521),
new P(599,1000,9479,1521),
new P(600,1000,9493,1522),
new P(601,1000,9507,1523),
new P(602,1000,9507,1524),
new P(603,1000,9521,1525),
new P(604,1000,9534,1526),
new P(605,1000,9575,1527),
new P(606,1000,9623,1527),
new P(607,1000,9637,1528),
new P(608,1000,9644,1529),
new P(609,1000,9644,1529),
new P(610,1000,9644,1530),
new P(611,1000,9644,1531),
new P(612,1000,9644,1532),
new P(613,1000,9651,1533),
new P(614,1000,9658,1534),
new P(615,1000,9658,1535),
new P(616,1000,9658,1535),
new P(617,1000,9664,1536),
new P(618,1000,9671,1537),
new P(619,1000,9671,1537),
new P(620,1000,9678,1538),
new P(621,1000,9685,1539),
new P(622,1000,9685,1540),
new P(623,1000,9685,1541),
new P(624,1000,9685,1542),
new P(625,1000,9685,1543),
new P(626,1000,9685,1544),
new P(627,1000,9705,1545),
new P(628,1000,9726,1546),
new P(629,1000,9726,1547),
new P(630,1000,9726,1548),
new P(631,1000,9726,1549),
new P(632,1000,9740,1550),
new P(633,1000,9767,1551),
new P(634,1000,9781,1553),
new P(635,1000,9781,1554),
new P(636,1000,9781,1555),
new P(637,1000,9781,1556),
new P(638,1000,9781,1557),
new P(639,1000,9781,1558),
new P(640,1000,9795,1559),
new P(641,1000,9808,1560),
new P(642,1000,9808,1561),
new P(643,1000,9808,1562),
new P(644,1000,9808,1564),
new P(645,1000,9808,1565),
new P(646,1000,9808,1566),
new P(647,1000,9808,1567),
new P(648,1000,9808,1568),
new P(649,1000,9815,1569),
new P(650,1000,9836,1570),
new P(651,1000,9849,1571),
new P(652,1000,9849,1572),
new P(653,1000,9877,1573),
new P(654,1000,9904,1575),
new P(655,1000,9904,1576),
new P(656,1000,9904,1577),
new P(657,1000,9904,1578),
new P(658,1000,9904,1579),
new P(659,1000,9904,1580),
new P(660,1000,9904,1581),
new P(661,1000,9904,1582),
new P(662,1000,9904,1583),
new P(663,1000,9904,1584),
new P(664,1000,9904,1586),
new P(665,1000,9904,1587),
new P(666,1000,9904,1588),
new P(667,1000,9911,1589),
new P(668,1000,9918,1590),
new P(669,1000,9918,1591),
new P(670,1000,9918,1592),
new P(671,1000,9918,1593),
new P(672,1000,9925,1594),
new P(673,1000,9932,1595),
new P(674,1000,9932,1597),
new P(675,1000,9932,1599),
new P(676,1000,9932,1600),
new P(677,1000,9932,1602),
new P(678,1000,9932,1603),
new P(679,1000,9932,1605),
new P(680,1000,9952,1607),
new P(681,1000,9979,1608),
new P(682,1000,9986,1610),
new P(683,1000,9986,1612),
new P(684,1000,9986,1613),
new P(685,1000,9986,1615),
new P(686,1000,9986,1617),
new P(687,1000,9993,1618));
}