Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
| Download
GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
Project: cocalc-sagemath-dev-slelievre
Views: 418346############################################################################# ## #W sml1536.ada GAP library of groups Hans Ulrich Besche ## Bettina Eick, Eamonn O'Brien ## SMALL_GROUP_LIB[ 1536 ].2nil[ 105 ] := rec( ops := [ 2, 1044,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,, 10495, 11306, 2, 7295,,, 12350, 52, 2, 9217,, 3207,,,,,,,,,,,,,,,,,,,,,, 1003, 5531,, 2,,,,,, 5531,, 2,, 5531, 2, 1003,, 5531,, 6918,,,, 11458,, 6918,, 11504,, 1003, 5530, 2, 1003,,,, 5530, 1003, 2, 5530, 1003, 2,,, 5530,, 8113,,,, 298,, 11314,, 10620,, 2489, 7072, 10967, 1559, 2, 8129, 14744, 2, 1351, 13516, 14241, 14519, 14653, 2, 11769, 11805, 2, 11853,, 14563,, 11855, 13958, 13947, 2489, 3296, 4422, 3302, 3124, 4702, 6975, 8648, 3942, 5793, 3296, 5922,,, 3991, 3302, 4422,, 4433, 6972, 7079,, 8646, 7079, 8151, 12497, 12491, 12511, 7076, 11543, 8647, 11544, 12500, 8133, 12518,, 12505, 8644, 11533, 11535, 5922, 3296, 3991, 3663, 6970, 3296, 3663, 3991, 3124, 4702, 5772, 8740, 3942, 5793, 3296, 4422, 3302, 3663, 3124, 8152, 8151, 5143, 6975, 7076, 3942, 11550, 11549, 3942, 3296, 3663, 3991, 3124, 4702, 5772, 8740, 3942, 5793, 4422, 3302, 6976, 5145, 4433, 2817, 13587, 8169, 6978, 11611, 13773, 8271, 13061, 5146, 11671, 11668, 8727, 8408, 13581, 4011, 2670,,, 2688, 5191, 2321, 5192, 12694, 2321, 12692, 5191, 3501, 5192, 5248, 8778, 13702, 12683, 3691, 9386, 12695, 12696, 8780, 7091, 4832,, 8780, 4832, 8779, 12689, 3320, 8776, 13719, 12698, 12699, 9391, 12691, 13715, 12687, 8776, 13703, 12690, 8777, 4011, 5191,, 2670,, 3501, 5191, 12682, 5248, 5192, 12867, 8778, 9389, 13700, 12693, 12688, 8989, 3323,, 12684, 9392, 12697, 7091, 13867, 12700, 12801, 11955, 2454, 3954, 7016, 2817, 11958, 11956, 5157, 7017, 12187, 3300, 7010, 12042, 12041, 8408, 11957, 8346, 8384, 3327, 3666,, 5192, 8346, 12048, 7021, 14390,, 12050, 14389, 12083, 13403, 9427, 11978, 7022, 9147, 1827,, 13186, 5275, 11971, 11970, 12054, 12047, 12049, 12051, 14398, 14396, 14392, 14391, 14405, 11969, 12120, 12701, 5166, 12165, 9913, 1585,, 12982, 5144, 5145, 13618, 5144, 3474, 6976, 8167, 5144, 7171, 8202, 8173, 11607, 8728, 12670, 9331, 13547, 13671, 6544, 1827,, 11609, 5146, 11606, 11603, 13630, 7085, 12851, 13602, 13656, 13655, 9322, 6991, 8254, 14016, 6991, 3676, 6992, 11778, 6991, 14021, 8131, 3124, 11998, 3473, 8138, 3124, 11524, 5142, 12593, 8645, 5978, 11899, 2995, 11536, 5140, 12074, 7083, 12621, 12850, 5141, 11772, 5794, 12160, 12978, 5795, 5794, 3943, 7093,, 3474, 1152,, 11751, 5944, 12597, 12788, 12637, 12562, 5944, 7262, 6544, 1827,, 14258, 5276, 12555, 12553, 11690, 12756, 7085, 12631, 14343, 11696, 14334, 14331, 6479, 9322, 5149, 3676, 2755,, 7114, 8198, 8201, 12040, 7084, 8200, 6982, 8202, 11674, 8198, 12560, 6982, 8200, 12595, 3672, 14065, 8673, 12664,, 7107, 12543, 6066, 791, 4958, 13,, 14673, 303, 11657, 11654, 11656, 11670, 11748, 8722, 8674, 12636,, 8722, 12625, 14068, 14615, 12624, 8745, 12626,, 12914, 14072, 8316, 1198, 362,, 14039, 14041, 14051, 14076, 14042, 14040, 8332, 826, 9877,, 11687, 13573, 12329, 14491, 7000, 11847, 14173, 7000, 4446, 4699, 5152, 7000, 14175, 9225, 8257, 11792, 12273, 5150, 11791, 8257, 5150, 5798, 9653, 5150, 6066, 3688,, 5150, 5798, 9653, 5150, 14135, 6433, 14123, 4958, 9589, 14501, 14124, 9589, 11826, 5799, 6996, 14046, 9639, 14140,, 14154, 14155, 14101, 14102, 14137, 14044, 9335, 14139, 14156, 14470, 14138, 14475, 14666, 9335, 8277, 8276, 8274, 5152, 4699, 9659, 5152, 4446, , 4699, 9659, 5152, 5796, 8259, 8521, 8258, 5796, 10036, 4096, 8275, 16, 8261, 3454, 13225, 8261, 11810, 3454, 13462, 7158, 8997, 3454,, 4036, 13451, 770, 8957,,, 4036, 11811, 11815, 11816, 11813, 6998, 3458, 5231, 13055, 8998, 13085,, 13471, 13472, 13333, 13334, 13083, 13052, 11842, 4698, 13477, 13479, 13098, 4698, 8262, 11817, 13226, 8262, 8878, 9006, 9243, 14624, 13084, 9243, 8878, 9006, 8256, 11789, 11793, 8256, 11819, 11823, 12189, 13067, 11822, 11820, 11830, 13524, 11828, 8986, 11829, 5171, 11839, 6999, 13526,, 8986,, 9550, 2066, 996,, 14172, 13987, 9549, 2330, 1082,,, 8291, 11848, 14174, 8291, 123, 7001, 11870, 11846, 14176, 13951, 13953, 13962, 13993, 9550, 13952, 8341, 9272,, 2005, 267,, 5796, 8259, 8521, 8275, 8258, 5796, 11831, 12374, 8265, 11525, 11553, 11983, 11590, 12503, 12830, 4691, 12289, 14252, 14248, 14266, 12275, 12306, 12411, 12251, 11659, 8867, 12870, 12857, 6510, 12608, 12810, 12918, 14431, 14370, 9757, 14515, 14340, 12271, 14630, 14360, 14364, 12294, 14629, 14361, 14363, 9757, 14344, 14336, 14357, 13112, 12266, 12915, 2090, 1003,,, 12407, 13374, 11520, 11589, 12702, 8135, 11880, 11661, 6973, 13556, 11569, 13010, 13011, 11897, 12769, 11942, 12652, 12760, 13287, 12601, 12804, 13291, 3693, 9460, 14761, 7184, 12076, 14088, 13792, 13798, 12122, 14084, 7189, 13797, 12194, 9460, 13776, 13372, 13750, 13831, 13107, 12035, 11527, 11996, 11985, 12718, 13305, 12290, 11754, 13748, 12561, 11898, 12114, 11730, 12723, 12732, 12132, 11698, 8867, 12872, 12858, 12878, 12712, 6510, 7105, 14782, 14732, 9020, 2933,,, 8895, 12873, 12860, 8895, 12565, 6510, 7105,,, 2090, 9464, 9490, 1003, 964, 1452, 382, 1256,, 472, 1256, 603, 9491, 7284, 5246, 6563, 3142, 2670, 5236, 4438, 9433, 9359, 4012, 6223, 3502, 3313, 9374, 5248, 3502,, 8804, 13627, 9425, 8783, 12761, 13818, 7092, 12709, 4832, 13614, 12798, 12768, 13829, 13633, 7092, 13072, 12749, 12705, 12703, 5240, 9353, 12715, 12710, 9353, 5240, 12795, 13626, 13785, 5240, 13794, 8789, 13616, 9391, 13720, 3142, 2670, 5236, 4012, 6223, 3502, 8783, 3142, 4438,, 7014, 7027, 8450, 11982, 12139, 11981, 12087, 7014, 7027, 8349, 8440,, 12077, 11980, 7015, 2670, 4788, 2321, 3502, 2688, 9433, 3502, 4788, 2321, 2688, 5156, 12003, 13021, 5156, 9386, 4463, 13757, 4832, 13713,, 7018, 12010,, 7054, 12089,, 12004, 8380, 12030,, 3320, 13699, 3692, 13756, 13716, 12011, 12090, 8370, 3320, 3692, 2454, 5816,,,, 2817, 3502, 3954, 1568, 2321, 8367, 12079, 5820, 6240, 13820, 5821, 12130, 9407, 7019, 3300, 9412, 8361, 8368, 8377, 5240, 13784,, 13793, 12013, 12078, 13711, 8371, 3320, 9440, 2454, 3502, 3954, 2321, 6240, 2670, 3501, 2454, 2817, 3502, 8367, 2454, 3502, 2670, 2454, 2817, 2321, 8385, 1568, 2321, 8355, 12014, 5820, 9387, 13704, 5821, 9407, 7019, 9412, 8357, 8368, 8377, 3320, 13705, 12031, 12012, 8371, 3320, 2670, 3954, 2454, 2817, 2321, 8355, 2670, 3142,, 13293, 4438, 2321, 2688, 4012, 3313, 2688, 13758, 12753, 4760, 13774, 12752, 7092, 4832, 13070, 13935, 12726, 12874, 12748, 12727, 12713, 3320, 9440,, 13714, 12725, 13069, 8789, 3142, 2670, 2321, 4012, 4760, 3142, 3485, 338,, 3313, 3327,, 13461,, 3327,, 3485, 338,, 13337, 338, 4789,,, 982, 9236, 14432,, 9059, 13309, 13205, 9080, 14404,, 13306, 9070, 13216, 146, 7134,, 7133, 4795, 146,, 5222, 1827,, 13323, 5275, 146,, , 3711, 1070,,, 14410, 9781, 9131, 9058, 14394,, 13189, 13199, 9132, 9790, 9057, 13304, 13204, 13214, 6522, 6535, 9853, 9854, 4050, 973,, 4796, 4276,, ,, 4050, 973,,, 6098,,, 6216, 5236, 9336, 7171, 2321, 2688, 9284, 6223, 9336, 9286, 9331, 7169, 9299, 13632, 13569, 9357, 14130, 13621, 13566, 13646, 13548, 13561, 13563, 3320, 3692, 13545, 13615, 13576, 13546, 13552, 6216, 9284, 5236, 6216, 7171,, 3991, 3302, 5236, 13157, 8138, 12513, 2321, 3473, 3000, 4765, 4788, 8141, 11616, 12711, 9299, 12520, 12532, 9357, 8144, 7018, 11878, 6971, 11598, 11558, 12495, 3320, 12592, 12708, 8651, 12622, 3663, 2454,,, 6974, 3124, 5186, 4765, 12001, 12000, 8169, 11577, 12716, 11557, 5821, 11622, 8144, 5140, 11561, 11555, 12524, 8651, 11994, 11992, 4422, 3663, 9777, 5247, 6093, 3686, 3327, 9034, 5247, 3327, 2319, 9038, 9093, 338, 13163, 3327, 9034, 9777, 5247, 6093, 3686, 146, 4794, 13164, 146, 9107, 9039, 9786, 14426, 13161, 9796, 7266, 13159, 146, 9106, 13170, 146, 9108, 13168, 7266, 6333, 9035, 3686, 9093, 13180, 13218, 9780, 3711, 9036, 9785, 9796, 9036, 9779, 14427, 13160, 9797, 14477, 9104, 13299, 13280, 2936, 9798, 9778, 14424, 14403, 14407, 9789, 7199, 6094, 4276, 7199, 14400, 13265, 9048, 973, 4276, 9789, 7199, 6094, 3990, 4765,, 2688, 2925, 4030, 3990, 4765,, 2688, 2925, 4030, 338, 8637, 7101,, 2925, 12854, 9591, 8886, 14355, 12455, 4766, 4478, 12454, 3176, 146, 1379, 141, 13853, 6335, 146,, 8638,, 146,, 8638, 8843, 6479, 8846, 7103, 9457, 9732, 9502, 14478,, 4927, 13915, 13905, 5915, 8848,, 4845, 7200, 5915, 8848,, 4845, 7200, 973, 8639, 12839,, 7200, 12855, 3473, 2688, 6114, 9754, 6065, 3000, 6013, 3304, 3313, 8772, 2319, 338, 13344, 5978, 8826, 13276, 12793, 5975, 8858, 12641, 9117, 8743, 8857, 12639, 3176, 146, 8748, 4791, 2009, 6149, 14106, 13319, 4793, 9130, 4799, 9122, 13272, 4268, 146, 8757, 4436, 7140, 6014, 9114, 13296, 8742, 12871, 8760, 12792, 8750, 13260, 6015, 6526, 4927, 4008, 4845, 6115, 9756, 5976, 6016, 4755, 4796, 4058, 973, 3304, 3943, 4461, 2319, 13001,, 3304, 3943, 4461, 13387, 338, 3474, 8211, 4461, 3666, 13390, 5977, 14353, 11693, 8751, 14352, 11692, 146, 7032, 11711, 146, 5850, 11710, 4794, 146, 4799, 1827, 13320, 9755, 8749, 14351, 5190, 12794, 9115, 9834, 8424, 13039, 12119, 6538, 4755, 5780, 7174, 4058, 4755, 5780, 7174, 973, 12632, 8223, 7174, 12102, 3473, 2688, 6114, 9754, 6065, 3000, 6013, 3304, 3313, 8772, 338, 13277, 12669, 8825, 5978,, 5975, 8858, 12640, 3158, 8741, 8857, 12638, 3176, 146, 8748, 9101, 13307, 6149, 13298, 13271, 4791, 4795, 4799, 5222, 13269, 4268, 146, 8757, 12623, 4436, 6014, 13270, 13295, 7083, 12869, 8760, 12791, 12629, 12628, 6015, 9842, 4927, 4008, 4845, 6115, 9756, 5976, 6016, 4755, 4796, 973, 5916, 7107,, 7190, 7227, 4030, 6416, 9200, 12969, 8873, 8882, 14075, 14622, 12470, 7228, 13,, 12465, 6028, 6417, 14614, 8875, 12475, 4030, 6416, 9200, 5916, 7107,, 7190, 7227, 13120, 13, 5227, 12466, 613, 13, 14098, 630, 13, 14654, 3324, 13,, 12463, 7122, 13,, 12468, 4954, 8967, 13426, 1069, 8641, 12892,, 7227, 12904, 14185, 1006, 8887, 8876, 2266, 12471, 8898, 12909, 14620, 12917, 6587, 5195, 8871, 12895, 14608, 9604, 9949, 12908, 8872, 12913, 14074, 6586, 8880, 12903, 14612, 12906, 4163, 16, 3017, 1362,,, 4163, 16, 2199,, 9625, 10006,, 14159, 10007, 127, 14161, 9624, 10006,, 14160, 14104, 9623, 14675,, 5, 8965, 8999,, 3017, 9654, 8966, 8999,, 3017, 14157, 16, 8968, 13079,, 9654, 13080, 6418, 3017, 10005, 14500, 6419, 14151, 10010, 14502, 9601, 9605, 9602, 127, 9607, 9609, 9608, 14680, 6610, 16, 6, 9201, 9220,, 1362, 9655,, 9203, 9220,, 14158, 16, 9202, 13439,, 9655, 13436, 6006, 1152,, 2396, 338,, 1152, 6006, 8995, 338, 5245,, 8855, 1152, 12862, 3209, 1070,, 12825, 6288, 2009,,,, 9489, 141,, 13851, 2009, 141, 9455, 13812, 1070, 13807, 2342, 146, 12827, 8885, 3209,, 8841, 7262,, 13804, 12868, 12931, 8839, 4478,, 6523, 12828, 6531, 1645, 9741, 9747, 14482, 5282, 6538, 8840, 14326,, 9451, 4284,, 12829, 12826, 9733, 8861, 14483,, 6007, 4909,, 9453, 973,, 4909, 6007, 973, 8856, 4909, 7138, 4826, 12248, 2396, 12304, 8512, 12298, 9750, 14481, 12824, 13245, 8543, 12247, 13237, 13235, 13238, 13674, 13799, 12305, 8513, 1568, 6105,, 338,, 6105, 8540, 5878, 3132, 4726, 1568, 3132, 5878, 8612, 7051, 4730,, 12260, 12259, 12267, 7048, 12265, 7049, 3979,, 146, 12258, 4727, 4729,, 8511, 2995, 1827, ,, 8518, 8510, 12279,, 12264, 12263, 5177, 8558, 7056, 2994, 13230, 13231, 2188, 6106,, 973,, 6106, 5879, 5880, 4728, 2188, 5880, 5879, 338, 13, 2396, 338,,,,,,,, 7237,, 338,,,,,,,, 7237, 141, 146, 2213, 141, 146, 2213, 9456, 9454,, 9450, 146,, 13814, 9467, 4846,, 9452, 146,, 13815, 6289, 146,, ,, 141, 6370,,, 13852, 1827, 146, 938, 1070, 4846,,, 6290, 146,,,, 13832, 13806, 13805, 6534, 13802, 13801, 6530, 9859, 6528, 9858, 3022, 6534, 5281, 9852, 13811, 13808, 13816, 13810, 9447, 5281,, 13813, 13809, 9449, 9448,, 13803, 13800, 6535, 973, 2687,,,,,,,,,,,,,,,,, 1568, 338,,,,,,, 2189, 4726, 1568,,,,,, 12408, 4730, 9227,,, 8559, 146, 12314, 3979, 8958,, , 146, 7055, 12317, 4727, 4729,, 4730, 8535,,, 12297, 2995, 1827,,, 5176, 146,,, 3668, 12281, 12280, 8552, 2819, 5177, 12321, 13113, 8558, 12316, 5883, 9834, 8546, 8545,,, 8552, 2819, 6524, 2188, 973,,,,,,, 4728, 2188,,,, ,, 338, 1219, 6476, 1152,, 4480, 338,, 1152, 6476, 14699, 4480, 4905,, 338, , 4905,, 14316, 9809, 9745, 146, 9735, 14350, 141, 146, 9731, 14347, 14414, 14289, 14288, 1070, 14303, 14290, 14296, 14416, 14315, 14301, 14307, 14306, 14300, 4277, 146,,,, 14298, 1827, 14335, 146, 4277,,, 14291, 14304, 14299, 14349, 14342, 14412, 9722, 9856, 6528, 3022, 6524, 14413, 14415, 14418, 14417, 14420, 14419, 14295, 14294, 973, 6477, 9740,, 4910, 973,, 9740, 6477, 4910, 9723,, 973,, 9723,, 1568, 6105,, 338,, 6105, 8540, 5878, 3132, 4726, 1568, 3132, 5878, 8612, 7051, 13415, 4730, 7055, 13229, 7048, 14327, 12301, 3979, 7049, 12256, 2009, 12261, 4727, 4729,, 8511, 2995, 1827,,, 8518, 12242, 12241, 12262, 12257, 12315, 5177, 12964, 7056, 14479, 2994, 2819, 5282, 9085, 2188, 6106,, 973,, 6106, 5879, 5880, 4728, 2188, 5880, 5879, 303, 4313,, 13,, 4313,, 13,, 4313,, 14656, 6058, 3225, 4884, 303, 3225, 6058, 8995,, 7237, 4884, 6497, 6058, 13146, 4313, 303, 13, , 4313,,,, 13,, 4313, 14640, 13, 2546, 770, 3225, 13, 303, 770, 3225,, 303, 13, 3225, 770, 14714, 3536, 13,,,,,,,, 14439, 4884, 303,,,,,, 13053, 13, 14708,, 303,,,,,,, 14631, 13, 303,,,,,,, 14633, 9991, 9976, 6612, 10012, 9991, 9976, 903, 14637, 9962, 10025, 2357, 10011,, 16, 9965, 9964, 4321, 6611, 9965, 9964, 14636, 1141, 10025, 9961, 4321, 6611,, 16, 9958, 9959, 2357, 10011, 9958, 9959, 16, 6612, 10012,, 903, 9972, 9956, 10024, 9960, 9957, 4321, 6611, 9960, 9957, 16, 4321, 6611,, 9972, 1141, 10024, 9955, 6421, 3548,, 14149,, 14495,, 16, 3548,,,,,, 2759, 5,,,,,,,,,,,,, 16, 11, 2208, 9004,, 16,, 9004,, 4894, 2393,, 11,, 2393,, 6071, 10026,, 2208, 16,, 10026, 6071, 6075, 955,, 4894, 11,, 955, 6075, 202, 9974,, 18,, 9974, 5305, 9973,, 16,, 9973, 8962, 9966, 14094, 202, 9966, 8962, 8954, 9963, 14092, 5305, 9963, 8954, 16, 2208,,,,,,,,,,,,,,,,, 202, 18,,,,,,, 6422, 202,,,,,, 2456, 3008, 4265, 770, 4024, 2634, 3008, 4068, 4478, 13, 4772, 4068, 4265, 2456, 2345, 9166, 2097, 1070,, 13, 2345, 6576, 13, 584,, 603, 1451, 4002, 3210, 893, 13, 13974, 3210, 893, 1451, 4002, 13, 14530, 770, 4751, 584, 3326, 13127, 3210, 3303, 584, 6499, 12609, 13, 2742, 2345, 13, 9863, 5967, 5993, 6019, 10029, 5953, 9428, 9746, 6488, 8738, 8775, 358, 687, 8702, 2463, 13300, 14339, 6494, 8724, 12776, 6487, 8690, 13763, 9744, 2675, 3219, 2466, 16, 2700, 881, 6, 1971, 3219, 2675, 16, 2466, 881, 2700, 1971, 6, 2397, 16, 2466,, 993, 6, 4267, 6507, 5273, 9867, 4270, 881, 6618, 6519, 4266, 6506, 6498, 4932, 6495, 6512, 9774, 6520, 6484, 4933, 4934, 6, 6513, 810, 16,, 955, 11,, 16, 11,, 810, 11, 955, 4751, 5782, 7165, 7025, 9706, 8523, 770, 3987, 12942, 584, 13, 3329, 8220, 3326, 9242, 770, 5881, 11701, 770, 13,, 7282, 13, 2189, 3303, 8218, 7165, 7025, 7130, 12182, 14253, 12276, 13102, 13, 3329, 584, 13, 8219, 7275, 13, 893,, 11716,, 4222, 6499, 13, 8220,, 14554, 770, 3987, 4751, 5782, 7165, 7025, 9706, 8523, 13101, 13, 3329, 584, 13, 8219, 770, 5881, 3326, 9242, 11703, 770, 13,, 7282, 5188, 2397, 7265, 810, 16, 8700, 2397, 14107, 9767, 810, 5188, 2397, 7265, 2924, 5835, 9815, 2529, 16, 4464, 5834, 6516, 7066, 6, 2924, 5835, 9815, 2529, 16, 4464, 5834, 6516, 7066, 6, 2397, 6221, 6373, 6521, 16, 2466, 6222, 7205, 7276, 2397, 6221, 6373, 6521, 16, 2466, 6222, 7205, 7276, 14377, 8527, 13466, 12336, 4932, 14375, 8525, 13464, 8572, 6618, 14376, 8526, 13465, 12335, 4932, 14374, 8524, 13463, 8572, 10030, 7265, 9710, 6521, 810, 5273, 9713, 7276, 16, 9767, 9711, 6521, 14444, 1556, 2997, 16, 4737, 1556, 2997, 955, 5902, 11, 8620, 955, 5902, 16, 11, 1556, 4809, 16, 955, 9251, 11, 810, 16,,,,,, 2456, 3008, 4265, 770, 4024, 2634, 3008, 4068, 4478, 13, 4772, 4068, 4265, 2456, 2345, 9166, 2097, 1070,, 13, 2345, 6576, 13, 584,, 603, 1451, 13, 12779,, 1451,, 12881, 770, 3326, 13,, 12613, 3210, 8691, 13, 6499, 8737, 13, 2742, 2345, 13, 9863, 5967, 5993, 6019, 10029, 5953, 9428, 9746, 6488, 1269, 2536, 358, 687, 5945, 2463, 3486, 14338, 6494, 14379, 12775, 6487, 8689, 13759, 9744, 2675, 3219, 2466, 16, 2700, 881, 6, 1971, 3219, 2675, 16, 2466, 881, 2700, 1971, 6, 16, , 6313, 4267, 6507, 5273, 9867, 4270, 881, 6618, 6519, 4266, 6506, 6498, 4932, 6495, 6512, 9774, 6520, 4934, 4933, 6483, 4934, 6, 810, 16,, 955, 11, , 16, 11,, 810, 11, 955, 3471, 3172, 2532, 6041, 3997, 3172, 3158, 281, 8918, 2097, 4069, 3229, 6425, 6556, 2679, 13, 281,, 9581, 630, 13, 3190, 12680, 565, 7078, 1136, 13, 12605, 5966, 5991, 8979, 5923, 9439, 5970, 6276, 4468, 7090, 5926, 9438, 13279, 1590, 4137, 6352, 201, 6369, 4177, 881, 6323, 237, 6351, 4136, 6367, 794, 4864, 6304, 1797, 6327, 4245, 6266, , 4890, 6, 2907, 201, 3679, 64, 201, 16, 64, 11, 12542, 8157, 9300, 4714, 2532, 3454, 12939, 3190, 982, 6143, 281, 8184, 2532, 281, 8909, 7078, 8183, 9300, 4714, 13175, 11903, 281, 3967, 12940, 3190, 982, 6143, 281, 8184, 3314, 13, 2541, 11717, 281, 13, 13997, 7077, 3696, 2907, 8680, 3696, 13345, 201, 13931, 8445, 13331, 12198, 794, 201, 7203, 8444, 3963, 3669, 13330, 12197, 13932, 8443, 794, 4245, 13933, 8442, 3963, 12389, 3696, 9308, 6373, 201, 13930, 9315, 7205, 201, 16, 7202, 9320, 6373, 14504, 8971, 8269, 201, 8486, 3679, 4698, 64, 8492, 201, 16, 8490, 64, 11, 187, 2907, 201, 16, 3471, 3172, 2532, 6041, 3997, 3172, 3158, 281, 8918, 2097, 4069, 3229, 6425, 6556, 2679, 13, 281,, 9581, 630, 2194, 5937, 3190, 13500, 565, 8706, 1136, 2194, 12604, 5966, 5991, 8979, 5923, 9439, 5970, 6276, 8736, 12678, 8657, 9438, 13278, 1590, 4137, 6352, 201, 6369, 4177, 881, 6323, 237, 6351, 4136, 6367, 794, 4864, 6304, 1797, 6327, 4245, 4890, 6267,, 259, 6, 2907, 201, 3679, 64, 201, 16, 64, 11, 2530, 1794, 770, 3718, 6044, 1794, 146, 13, 630, 1196, 146, 2712, 3229, 13,, 9897, 4263, 2530, 3718, 630, 9882, 13, 584,, 603,, 630,, 382, 630, 13,, 55, 13, 584, 619, 5968, 3175, 6493, 6032, 5965, 6250, 1556, 9947, 871, 2325, 4130, 2100, 850, 16, 2924, 850, 3504, 4286, 2466, 1362, 1497, 110, 6, 237, 4286, 4114, 6603, 6311, 4209, 110, 6, 5302, 16, 6, 1175,, 3175, 4158, 3546, 277, 4115, 2405, 16, 6604, 2074, 4119, 6606, 1433, 2405, 16, 6312, 2758, 2757,, 16, 810,,, 955, 11,, 16, 11,, 810, 11, 955, 4310, 1362, 4312, 237, 1362, 16, 237, 6, 3998, 4694, 1883, 5159, 3225, 9918, 8899, 1883, 6096, 2009, 982, 630, 8910, 2342, 146,, 8517, 4435, 3170, 8155, 630, 3301, 6602, 2189, 584, 5836, 630, 3301, 8911, 13, 1451, 8381, 1069, 13, 8364, 630, 13, 8393, 4748, 4829, 7263, 7108, 2198, 687, 2197, 4847, 13727, 8366, 13193, 12313, 13025, 14646, 4851, 5833, 9987, 9837, 13796, 5819, 4839, 12388, 9402, 9847, 4840, 9416, 9847, 1550, 10039, 8617, 14645, 12394, 13744, 8395, 10039, 9988, 2141, 3169, 3713, 7186, 1362, 4836, 2405, 4841, 4848, 16, 1099, 1556, 2997, 16, 4737, 1556, 2997, 16, 1556, 4809, 16, 4947, 5894, 2215, 5897,, 6148, 16, 2530, 1794, 770, 3718, 6044, 1794, 146, 13, 630, 1196, 146, 2712, 3229, 13,, 9897, 4263, 2530, 3718, 630, 9882, 13, 584,, 603,, 630,, 382, 630, 13,, 55, 13, 584, 619, 5968, 3175, 6493, 6032, 5965, 6250, 1556, 9947, 871, 2325, 4130, 2100, 850, 16, 2924, 850, 3504, 4286, 2466, 1362, 1497, 110, 6, 237, 4286, 4114, 6603, 6311, 4209, 110, 6, 5302, 16, 6, 1175,, 3175, 4158, 3546, 277, 4115, 2405, 16, 6604, 2074, 4119, 6606, 1433, 2405, 16, 6312, 2758, 2757,, 16, 810,,, 955, 11,, 16, 11,, 810, 11, 955, 4310, 1362, 4312, 237, 1362, 16, 237, 6, 3998, 4694, 1883, 5159, 3225, 9918, 8899, 1883, 6096, 2009, 982, 630, 8910, 2342, 146,, 8517, 4435, 3170, 8155, 630, 3301, 6602, 2189, 584, 5836, 630, 3301, 8911, 13, 1451, 8381, 1069, 13, 8364, 630, 13, 8393, 4748, 4829, 7263, 7108, 2198, 687, 2197, 4847, 12039, 12021, 12038, 12018, 12061, 12062, 4851, 5833, 9987, 3713, 6244, 4839, 5819, 14644, 13726, 13723, 4840, 13746, 13745, 1550, 7066, 2529, 13743, 8394, 14643, 12393, 7294, 2141, 3169, 3713, 7186, 1362, 4836, 2405, 4841, 4848, 16, 1556, 2997, 16, 4737, 1556, 2997, 16, 1556, 4809, 16, 4947, 5894, 2215, 5897,, 6148, 16, 3998, 1883, 770, 3718, 8919, 1883, 2009, 13, 630, 14024, 2342, 146,, 3209, 1070,, 14358, 4435, 3170, 3209, 8869, 12589, 630, 13, 584, 630, 2537, 13, 1451, 1069, 13755,, 13, 1451,, 13788, 630, 13,, 13791, 4748, 4829, 7263, 7108, 8721, 9442, 14365, 12922, 2198, 687, 2197, 4847, 9422, 871, 9431, 9441, 9414, 3713, 13762, 13826, 4851, 5302, 9399, 3713, 13760, 13825, 4839, 2141, 9398, 9838, 13761, 13824, 4840, 9465, 9406, 9838, 13764, 13827, 1550, 4864, 16, 10002, 10000, 16, 2141, 6245, 3169, 3713, 7186, 1362, 6271, 9855, 2535, 277, 4836, 2405, 4841, 4848, 9421, 9458, 9468, 2406, 1099, 16, 18, 1556, 16,,,,,, 4947, 2215, 16, 4005, 6258, 1929, 4024, 6553, 6083, 5951, 6258, 9128, 166, 4772, 6160, 9879, 2933, 6508, 6126, 14719, 14558, 6556, 3539, 2761, 6208, 3222, 1926, 3011, 2, 603, 3222, 152, 166, 6282,, 2, 2753, 1197, 3171, 1230, 603, 4024, 9556, 9880, 10088, 5954, 7185, 9748, 339, 6160, 6553, 6208, 9127, 4005, 9901, 6576, 9883, 2933, 9665, 6002, 6281, 37, 9901, 182, 3223, 1824, 2, 3223, 345, 152, 382, 6305, 1390, 1230, 345, 382, 3180, 2, 2753, 4237, 3539, 603, 166, 4176, 82, 166, 2, 82, 4128, 382, 2, 2349, 4237, 345, 382, 2750, 82, 166, 382, 82, 2750, 382, 166, 6354, 4302, 2, 603, 4302, 2327, 2, 345, 2933, 2761, 152, 2753, 166, 382, 4183, 71, 6355, 6283, 1230, 152, 1390, 1197, 71, 6321, 4131, 71, 166, 2, 81, 3222, 71, 2761,, 4146, 382, 2, 3223, 81, 71, 2933, 2, 1929, 166,,, 339, 1929,,, 2, 339,,,,, 166, 2,,,,,,,,,,,,,,,,,,,,,,,,, 12523, 8158, 9326, 8411, 14536, 12941, 14522, 5208, 8294, 6320, 9266, 9267, 8186, 8765, 1520, 5838, 10053, 2761, 4968, 6625, 2753, 5892, 13519, 12420, 3011, 8416, 14545, 12413, 1271, 516, 6326, 2, 516, 166, 8692, 13878, 14387, 4968, 8707, 13879, 6625, 5208, 1520, 339, 14715, 188, 1674, 9329, 7221, 6560, 2753, 6577, 166, 6328, 345, 603, 382, 1824, 8415, 14547, 5184, 13087, 12221, 2753, 5892, 345, 516, 188, 166, 6325, 2, 1520, 8501, 12943, 13352, 14523, 14557, 12536, 8185, 9326, 8411, 13167, 12214, 1520, 5838, 8186, 8765, 9267, 6320, 9266, 9833, 2488, 12587, 12778, 6577, 9675, 2488, 71, 2761, 6630, 720, 4487, 8588, 7221, 1133, 462,, 1457, 8570, 2, 4274,, 3695, 9327, 7221, 516, 382, 6577, 6560, 2753, 6322, 1271, 603, 382, 71, 8726, 13880, 9676, 9773, 6459, 9676, 8762, 9494, 6459, 9773, 9494, 8862, 1520, 2488, 2, 382, 4487, 9905, 6577, 4488, 2, 144, 4488, 1457, 9805, 4274, 2, 339, 3671, 2, 1133, 339, 3671,,, 2, 1133, 339, 3671, 2, 339, 6215, 2, 339, 6215, 2, 339,,,,,,, 1929, 5907, 166, 5184, 1929, 5907, 166, 5184,, 2, 981, 166, 2, 981, 1929, 166, 2, 8632, 12501,, 13694, 14320, 4032, 13121, 8654, 12782, 4778, 12473, 12456, 8852, 9204, 12481, 9794, 14428,, 8832, 2828, 9811, 14517, 4032, 9595, 9944, 5959, 9423, 9742, 339, 9908, 2738, 18, 4180,, 603, 2, 2090, 2485, 18, 2738, 6316,, 2, 514, 2090, 2485, 4264, 18,, 6616, 9865, 9909, 9861, 339, 9875, 10027, 6485, 6489, 3328, 9862, 14568, 14569, 9813, 9381, 13754,, 10094, 2090, 9380, 13790,, 10094, 9582, 2485, 77, 6272, 2, 1431,,,,,, 9730, 14359,, 14516, 9743, 14423, 9729, 14337,, 9914, 9912, 9812, 6496, 5285, 4049, 339,,,, 6467, 2,,, , 4049, 339,,,, 380, 2,,,, 339, 2,,,, 8631, 12492,, 13695, 4777, 13119, 5931, 12477, 8970, 12472, 8642, 12649,, 9811, 8830, 14208, 4777, 7223, 5924, 9435, 3309, 6042, 4134, 18, 6435, 3546, 9579, 6563, 925, 1256, 6275, 9647, 2928, 6278, 9580, 7284, 275, 9531, 9379, 13780,, 13903, 6436, 9382, 13823,, 14220, 9461, 6277, 1230, 6436, 7189, 2, 1431,,,,, 3309, 14, 6080, 3309,, 6462, 14,, 6080, 3309,, 6462, 14,,, 2,,, 6463, 14, 2, 6463, 3992, 4124, 4032, 9940, 4775, 6081, 3996, 4124, 6130, 4778, 9207, 9942, 2469, 1520, 4017, 4145, 10034, 9953, 9177, 9168, 1520, 6447, 5971, 5997, 6024, 5960, 9432, 9749, 6492, 4968, 5979, 6022, 9129, 5955, 4018, 9668, 6029, 6302, 6509, 6012, 4172, 4018, 9270, 9259, 4129, 18, 4181, 3546, 603, 6362, 4186, 2217, 6608, 2738, 4849, 4143, 6295, 516, 5246, 6297, 2756, 18, 2828, 2756, 6306, 382, 6318, 649, 6301, 1433, 4166, 1269, 188, 6286, 2090, 6260, 2694, 82, 603, 3547, 2699, 2349, 6319, 649, 3179, 6296, 6294, 516, 6298, 4133, 10004, 6261, 4127, 82, 6315, 382, 2327, 4213, 4318, 2217, 2469, 6279, 188, 6287, 4167, 2534, 5246, 6605, 1520, 2488, 2090, 382, 1768, 4318, 2705, 2488, 4844, 4749, 6491, 9596, 14607, 13428, 649, 1520, 6491, 9444, 8701, 12890, 12657, 9596, 2142, 4187, 6629, 720, 6284, 4329, 4132, 71, 6324, 4168, 5998, 12894, 12659, 9430, 8655, 9763, 6285, 6329, 7106, 7089, 5998, 9763, 9445, 8712, 4329, 6460, 2748, 2,, 4271, 2, 2359,,, 4283, 2, 339,,,,,,,,, 2143, 649, 339, 2143, 649, 2,, 12502, 8142, 13551, 12009, 13005, 14576, 4775, 9429, 13597, 11619, 12662, 2469, 14429, 8533, 14652, 5243, 8729, 14369, 8154, 12809, 13493, 13312, 8870, 13772, 8372, 14709, 603, 382, 13580, 13643, 9995, 3547, 8608, 14496, 9333, 13850, 14664, 13938, 1390, 603, 6030, 4172, 339, 2143, 4775, 2469, 10087, 10054, 4149, 2, 2090, 382, 182,, 4186, 2217, 2469, 82, 603, 649, 2699, 82, 1768, 649, 2349, 3179, 2, 382, 82, 2349, 4149, 2, 2694, 82, 2, 3547, 2469, 2349, 382, 649, 82, 3179, 603, 472, 2327, 82, 2217, 2, 5300,, 1231,, 2143, 649,, 5896, 9547, 649, 339, 8615, 2143, 5896, 649, 2,,, 4871,, 649, 339, 3670,,, 2, 5905,,, 339, 3670,,, 2, 6214,,, 339, 2,,, 3992, 4124, 4032, 9940, 4775, 6081, 3996, 4124, 6130, 4778, 9207, 9942, 2469, 1520, 4017, 4145, 10034, 9953, 9177, 9168, 1520, 6447, 5971, 5997, 6024, 5960, 9432, 9749, 6492, 4968, 5979, 6022, 9129, 5955, 4018, 9668, 6029, 6302, 6509, 6012, 4172, 4018, 9270, 9259, 4129, 18, 4181, 3546, 603, 6362, 4186, 2217, 6608, 2738, 4849, 4143, 6295, 516, 5246, 6297, 2756, 18, 2828, 2756, 6306, 382, 6318, 649, 6301, 1433, 4166, 1269, 188, 6286, 2090, 6260, 2694, 82, 603, 3547, 2699, 2349, 6319, 649, 3179, 6296, 6294, 516, 6298, 4133, 10004, 6261, 4127, 82, 6315, 382, 2327, 4213, 4318, 2217, 2469, 6279, 188, 6287, 4167, 2534, 5246, 6605, 1520, 2488, 2090, 382, 1768, 4318, 2705, 2488, 4844,, 8819, 12891, 12663, 649, 1520, 2488, 9444, 4749, 12889, 12656, 8819, 2142, 4187, 6629, 720, 6284, 4329, 4132, 71, 6324, 4168, 9446, 7106, 7089, 9430, 8652, 9762, 6285, 6329, 9466, 9446, 9762, 9445, 8670, 4329, 6460, 2, 4271, , 4283, 339, 2,,,,,,,, 2143, 649, 339, 2143, 649, 2,, 5914, 4432,, 4868, 1137,, 9218, 1553,, 1137, 6376, 733,, 6371, 984,, 154, 9795, 4916,, 9097, 4792,, 7298, 1114,, 4889, 97,, 6376, 733,, 2734, 9535, 1114,, 6375, 97,, 2, 1553, 984, 4456, 37,, 3224, 6185, 2, 97,, 6439,,,, 1114,, 5301,,,, 10001, 984,, 4889, 97,, 4868, 1137,,,, 154, 3720,,, 6371, 984,, 6375, 97,, 1137, 154, 2, 733,, 6540,,, 984, 6613, 2,, 154, 1807, 4953,,, 4770, 4493,, 3720, 154,, 9799, 3555,, 7153, 484,, 3720, 154,, 4493, 4770, 154, 2,,,, 4278, 2,, 3555, 2, 4278, 3555, 484, 154, 4456, 37,, 6613, 2,, 484, 37, 4456, 154, 2,,,,,,,, 4493, 3555, 8894, 484, 8889, 387, 5249, 2,,, 387,, 5249, 8635, 12545,, 4889, 97,, 7225, 5264,, 7154, 956,,, 2, 4808,,,, 956,, 4808, 9619, 97,, 5264, 2, 1927, 9617, 525, 9618, 484, 6185, 3224,, 4953, 1807,, 1553, 37, 8988, 3708,, 9487, 152,, 6384, 4770, 4493,, 8773, 5232,, 4432, 5914,, 1137, 1553, 4916, 4792, 1114, 97, 1553, 984, 37, 1553, 984, 3224, 484, 154, 2, 484, 154,, 2,, 154, 37, 2, 484, 154,, 37,, 154,, 2, 154, 484, 8715, 2, 1927, 956, 2,,,,,,, 1927,,,,,, 484, 6471, 3224, 1807, 1553, 37, 267, 3708, 2,, 484, 5232, 8714, 2, 1137, 733, 984, 154, 1137, 733, 984, 154, 1137, 733, 984, 154, 1137, 733, 984, 154, 733, 2734, 1114, 97, 2, 733, 2734, 1114, 97, 2, 733, 2734, 1114, 97, 2, 733, 2734, 1114, 97, 2, 1114,,,,,,,, 984, 97, 1137, 154, 984, 97, 1137, 154, 984, 97, 1137, 154, 984, 97, 1137, 154, 984, 97, 1137, 154, 984, 97, 1137, 154, 984, 97, 1137, 154, 984, 97, 1137, 154, 2, 733,,,,,,,, 984,,, 154, 1807, 984, 2,, 154, 1807, 984, 2,, 154, 1807, 984, 2,, 154, 1807, 97, 2,,,,,,,,,,,,,,, 154,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 4432, 4695, 1137, 2632, 1553, 4723, 4916, 8541, 4792, 8306, 1114, 7063, 97, 5871, 1553, 984, 37, 4741, 3224, 5873, 6179, 5183, 154, 2821, 5290, 1133, 484, 5183, 154, 2821, 6179, 5183, 2, 5290,,,, 484, 154, 37, 4741, 2, 5910, 484, 37, 4741, 484, 154, 4458, 9682, 484, 6179, 14233, 1133, 11680, 11600, 956, 2998, 7042, 2996, 2, 1927, 9682, 880, 291,, 7042, 1927, 2, 4458,, 956, , 4458, 956, 13975, 8459, 13392, 12238, 11679, 11599, 484, 3224, 5873, 1807, 4736, 1553, 1137, 733, 984, 154, 1137, 5163, 4428, 154, 1137, 5163, 4428, 154, 733, 2734, 1114, 97, 2, 5163, 2734, 8458, 5862, 2, 5163, 2734, 8458, 5862, 2, 1114,,, 5181, 2, 1114, 5181, 2, 984, 97, 1137, 154, 7062, 5871, 2632, 2821, 7062, 5871, 2632, 2821, 984, 97, 1137, 154, 4428, 5862, 1137, 154, 4428, 5862, 1137, 154, 2, 733,,,, 3135,, 733,, 3135, 984, 2,, 154, 1807, 984, 5910, 154, 4736, 984, 5910, 154, 4736,, 984, 291, 4428, 154, 1807, 984, 5181,, 97, 2,,,, 291,,,,,,, 2,,, 154,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,, 5913, 3511, 2474, 238, 13301, 9518, 9857,, 238, 6358, 1795, 4456, 2, 1114, 7298, 13937, 9872, 7153, 154, 9148, 2, 484, 154, 14166, 1807, 7121, 460, 6546, 13917, 3478, 460, 3004, 2264, 1554, 4945,, 121, 2, 154,, 1751,, 5307, 1807, 154, 166, 2942, 460, 121, 1929, 2, 102, 484, 37,, 2, 354, 166, 484, 1181, 121, 13294, 2264, 9627, 121, 3478, 1554, 3004, 121, 2, 154,, 2942, 1751, 154, 2942, 460, 13861, 6358, 1181, 460, 575, 121, 13431, 102, 1181, 575, 2, 655, 9148, 13473, 102, 7279, 13346, 2, 9860, 7154, 2, 12877, 9860, 956, 2, 1554, 121,,, 6043,, 1554,, 2, 4487,, 6472,, 1751,, 6472,, 9876, 4969, 102, 121, 4945, 2, 4956, 2140, 2, 37, 575, 14529, 956, 655, 12923, 1554, 6043,, 2, 4487, 1751, 6472, 2, 7264, 238,,, 633, 1795,, 2, 6546, 14730, 2140, 9769, 9627, 4434, 3511, 2474, 238, 1795, 1114, 121, 7121, 5913, 3478, 8994, 3004, 2264, 1554, 8758, 13347, 121, 2, 154, 13452, 2, 13349, 1751, 2, 5307, 1807, 154, 166, 2942, 460, 8994, 12583, 13285, 6546, 121, 7279, 6546, 14165, 2, 5301, 3720, 9872, 14112, 14109, 154, 2942, 14148, 460, 1181, 575, 7121, 1554, 8758, 6043, 1554, 2, 4487, 6472, 14679, 12666, 9876, 14380, 2, 4808, 9769, 2, 12912, 2140, 4808, 14108, 12584, 14121, 9857, 14322, 633, 6358, 1795, 14485, 5913, 6358, 4434, 3511, 2474, 238,,, 1795, 37, 2, 1114,,,, 484, 154, 37, 2, 484, 154, 2, 1807, 484, 154, 1181, 460, 121, 2264, 3478, 460, 3004, 2264, 1554, 4945,, 121, 2, 154,, 1751,, 5307, 1807, 154, 166, 2942, 460, 121, 1929, 2, 102, 484, 37,, 2, 166, 484, 1181, 121, 2264,, 3478, 1554, 3004, 121, 2, 154,, 2942, 1751, 154, 2942, 460, 2264, 3004, 121, 1554,,,,, 1751, 2, 228,,,,,, 1795, 238, 1181, 460, 575, 121,,,,, 37, 2, 484, 10102, 2, 6623, 6631, 102, 121, 1554, 3004,, 1751, 2, 102, 121, 1181, 575, 37, 6623, 102, 2, 121, 956, 339, 4969, 5312, 102, 2, 956,, 2140,, 956, , 2140, 956, 2, 4956, 2140, 2,, 5312,, 956,, 2,, 575, 1554, 7308, 102, 956, 2140, 4956, 37, 10042, 575, 6554, 121, 2474, 8669, 6554, 4434, 3511, 2474, 4434, 3511, 2474, 238,,, 1795, 37, 2, 1114,,,, 484, 154, 37, 2, 484, 154, 2, 1807, 484, 154, 1181, 460, 121, 2264, 3478, 460, 3004, 2264, 1554, 4945,, 121, 2, 154,, 1751,, 5307, 1807, 154, 166, 2942, 460, 121, 1929, 2, 102, 484, 37,, 2, 166, 484, 1181, 121, 2264,, 3478, 1554, 3004, 121, 2, 154,, 2942, 1751, 154, 2942, 460, 2264, 3004, 121, 1554,,,,, 1751, 2, 228,, ,,,, 1795, 238, 1181, 460, 575, 121,,,,, 37, 2, 484, 10102, 2, 6623, 6631, 102, 121, 1554, 3004,, 1751, 2, 102, 121, 1181, 575, 37, 6623, 102, 2, 121, 956, 339, 4969, 5312, 102, 2, 956,, 2140,, 956,, 2140, 956, 2, 4956, 2140, 2,, 5312,, 956,, 2,, 575, 1554, 7308, 102, 956, 2140, 4956, 37, 10042, 575, 6554, 121, 2474, 8669, 6554, 4434, 3511, 2474, 4434, 3511, 2474, 238,,, 1795,, 37, 1114, 2, 228,,, 484, 154, 37, 2, 1181, 460, 575, 121,,, 2264,, 2, 3478, 460, 2264, 4945, 1554, 121, 2, 154,, 2942, 166, 1751, 2, 460, 121, 166, 2942, 3478, 1181, 6095, 575, 121, 13882, 1929, 2, 102, 154, 484, 2, 37, 460, 1181, 121, 575,,,, 7217,, 9481, 2264, 2, 9542, 3478, 9026, 6095, 7148, 1554, 4945, 3004, 121, 2, 154, 13517, 2, 13528, 1751, 2, 2942, 166, 460, 9026, 121, 1807, 5307, 1795, 238, 228, 1181, 575, 166, 460, 121, 1554, 3004, 9481, 121, 2, 1751,, 37, 102, 2,, 4969,, 7308, 121, 575, 13490, 2, 956,, 2140,, 956, 121, 2, 1751,, 238, 7264,, 8435, 633, 2, 2140, 6043, 6095, 1554, 13007, 14027, 37, 4487, 2,, 13945, 2, 956, 13936, 2, 956, 339, 7220,, 13422, 4969, 6363, 5312, 37, 575, 7217, 4969, 6363, 339, 7220, 2, 956, 9542, 2140, 2, 13918, 956, 2, 6406, 2140, 2, 956, 6406, 6095, 1554, 7148, 4458, 6363, 7148, 7220, 6406, 4458, 2474, 11585, 1554, 4956, 6406, 6363, 3511, 1795, 460, 121, 238, 8435, 4693, 4722, 7057, 5859, 7063, 5183, 8505, 2314, 7058, 11779, 8320, 2314, 2821, 12425, 5173, 8320, 12236, 12356, 5859, 7057, 8505, 12360, 12417, 12430, 2314, 12418, 8582, 2998,, 4722, 11565, 12346, 4693, 8130, 3296, 7014, 8131, 11806, 11518, 7074, 3142, 9378, 8636, 12447, 12856, 6113, 7076, 8647, 12449, 12440, 12442, 8644, 8633, 5922, 3302, 7074, 8130, 7313, 14844, 15027, 14926, 14928, 14841, 10110, 7316, 14852, 14895, 14896, 14894, 14800, 14795, 14803, 14802, 10129, 7317, 10141, 10189, 15082, 15114, 14840, 7317, 15154, 14796, 14806, 15081, 14872, 14969, 15004, 5139, 15128, 14940, 15060, 10183, 7316, 15087, 15088, 15063, 10183, 15022, 15065, 15006, 8132, 15134, 15052, 14968, 10157, 15148, 14972, 15205, 10157, 15067, 10158, 15085, 10159, 10158, 14819, 7322, 14821, 14927, 7320, 1678, 15061, 14985, 14984, 14980, 14981, 10174, 10125, 15119, 14938, 15204, 14971, 6674, 10162, 15056, 10174, 15120, 15203, 15068, 7322, 6674, 15055, 10169, 10119, 10200, 10134, 15054, 10169, 7320, 10200, 15053, 10180, 7315, 14885, 10234, 10143, 14937, 10197, 10180, 7315, 10234, 10143, 10197, 15020, 7315, 15145, 14936, 15058, 15021, 14825, 14824, 15121, 14939, 15219, 15049, 14991, 11602, 15109, 15201, 15066, 14899, 15044, 14990, 11521, 15062, 14898, 15043, 10167, 10114, 15115, 14931, 15059, 10133, 15047, 10167, 15116, 10133, 15048, 14992, 11641, 15110, 15064, 15002, 11531, 15156, 14920, 15100, 14957, 15046, 15017, 10120, 15158, 10146, 15186, 10154, 7318, 14998, 8134, 15151, 14902, 15089, 14956, 15045, 15019, 10116, 15152, 10145, 15185, 10152, 7319, 15003, 11532, 15157, 14922, 15051, 11773, 15104, 12345, 10170, 10121, 15122, 14934, 10217, 14914, 10195, 10131, 10170, 15123, 10217, 14915, 7318, 10195, 10168, 10117, 15117, 14932, 10196, 10130, 10168, 15118, 7319, 10196, 10171, 7314, 14837, 10231, 10142, 14935, 10171, 7314, 10231, 10142, 15015, 7314, 15146, 14933, 15111, 5139, 15202, 14906, 15101, 2944, 15224, 10689, 14983, 10267, 6661, 15033, 10148, 15209, 15169, 14986, 15218, 6648, 6661, 12255, 12835, 15206, 15071, 6674, 15231, 15093, 15225, 5323, 10193, 14982, 5323, 10193, 15098, 14913, 14916, 15009, 8167, 14970, 15161, 8132, 14945, 15091, 11645, 11528, 14860, 14886, 14863, 14958, 11877, 14891, 14855, 14853, 14881, 14812, 15176, 15076, 15057, 10250, 14857, 14805, 14848, 10166, 15034, 15162, 14851, 10166, 15035, 14808, 14892, 15233, 14577, 15212, 15007, 14810, 14862, 15000, 14994, 10266, 15039, 15040, 15008, 11637, 15099, 14943, 11642, 14849, 15141, 15139, 15130, 10235, 10176, 10175, 10264, 10161,, 10240, 15132, 14847, 15140, 10176, 10175, 10161, 10240, 15133, 11651, 14811, 14867, 14856, 15126, 14946, 15112, 11547, 10265, 10153, 15173, 14947, 13985, 15153, 10244, 15135, 10139, 10269, 6668, 15177, 10245, 14942, 10260, 10151, 10224, 10112, 15228, 14948, 3239, 6645, 15210, 10261, 6667, 10233, 6653, 15230, 10246, 3239, 6670, 15214, 10260, 10151, 10223, 10111, 10265, 10153, 3239, 6645, 15211, 10261, 6667, 10232, 6651, 10269, 6668, 3239, 6670, 15213, 15127, 14949, 15113, 11552, 15229, 14959, 15131, 12143, 15232, 14918, 15178, 14900, 11802, 15042, 15189, 15188, 15191, 10253, 15184, 15194, 15192, 15183, 15181, 10253, 15217, 15236, 14903, 10257, 14908, 15239, 14904, 15193, 15179, 10257, 15180, 10138, 14905,, 14901, 12661, 14924, 2502, 3367, 14683, 14691, 14873, 1930, 13833, 15190, 14685, 10275, 14921, 10163, 15195, 14503, 15240, 14917, 14988, 15238, 14688, 10275, 10155, 10163, 15108, 15106, 11434, 15103, 11455, 15237, 15107, 10155, 14684, 15246, 15163, 14129, 15221, 14909, 14975, 15096, 15095, 11088, 15223, 12424, 14923, 12226, 14911, 14842, 14816, 10124, 14854, 14813, 15032, 15160, 10150, 14843, 14817, 15025, 14884, 14832, 10160, 15215, 14845, 14807, 14823, 10177, 14850, 14879, 15125, 10263, 10241, 14846, 10178, 14880, 15124, 15216, 10242, 15023, 14809, 14822, 15094, 10262, 10263, 10214, 15222, 10238, 10212, 10190, 15030, 10140, 14930, 10268, 15170, 10182, 10238, 10212, 10190, 10140, 10268, 10182, 15207, 15029, 15084, 14929, 15226, 15026, 14859, 14818, 10127, 14865, 14831, 14944, 14864, 14838, 14951, 14963, 14964, 6644, 14869, 10181, 14861, 14868, 14870, 15159, 14815, 14871, 15165, 15197, 15199, 15198, 10258, 14907, 10226, 10115, 14912, 15174, 14974, 14919, 15187, 14977, 15074, 15241, 10164, 4498, 14989, 14797, 10126, 14830, 14950, 14952, 10147, 10179, 14833, 15164, 15167, 10247, 10225, 10113, 15175, 14976, 14874, 14973, 4497, 14979, 10191, 10144, 15070, 14953, 14954, 15080, 14965, 15079, 14961, 10122, 14882, 6644, 10156, 10122, 6644, 10156, 15245, 14987, 14960, 10211, 4975, 6660, 6650, 10218, 10219, 10251, 10202, 10273, 10220, 10254, 10205, 4498, 6679,, 10209, 10211, 6647, 6660, 10218, 10201, 10251, 10273, 10272, 10204, 10254, 10221, 6678, 6679, 10185, 14888, 15037, 10186, 14814, 15041, 10188, 6654, 10206, 10207, 4498, 6657, 6676, 10259, 10185, 14876, 10186, 14887, 10188, 6654, 10206, 10207, 4498, 6657, 6676, 10259, 14878, 14827, 14858, 14839, 10187, 10194, 10255, 10208, 6679, 10222, 10210, 10213, 6659, 6649, 4497, 6673,, 10199, 10210, 6646, 6659, 10215, 6672, 6673, 10184, 14883, 15036, 4497, 6655, 6671, 10248, 10184, 14875, 4497, 6655, 6671, 10248, 14877, 14826, 10198, 6673, 10216, 6669, 15142, 14941, 6669, 6652, 6675, 15172, 14955, 6675, 6656, 10192, 10128, 10118, 10192, 4345, 4975, 10203, 10137, 10135, 10203, 4348, 6658, 10128, 10118, 4345, 4975, 10137, 10135, 4348, 6658, 15083, 15129, 4345, 15102, 15171, 4348, 10123, 15024, 10136, 15069, 10123, 10136, 10575, 2216, 15235, 15227, 15168, 15220, 15208, 12361, 13595, 7329, 12343, 14798, 14829, 14820, 14834, 10132, 14893, 10109, 10252, 15092, 14799, 14828, 15031, 15028, 14890, 14866, 14801, 14835, 14836, 14804, 15073, 4344, 10243, 6666, 4976, 15147, 10149, 4496, 15200, 4344, 15050, 14966, 4346, 10270, 4347, 6663, 4976, 4347, 15143, 15155, 15136, 7323, 4346, 10274, 6677, 15077, 3027, 10228, 10236, 10230,, 4496, 6664, 4343, 4344, 3027, 10249, 4342, 15166, 15182, 10228, 10230, 4496, 6664, 4343, 4344, 3027, 10249, 4342, 15105, 15234, 6662, 4976, 10276, 15137, 15242, 7323, 10271, 10173, 10239, 10172, 10229, 15149, 7321, 4344, 3027, 15150, 10173, 10172, 10229, 7321, 4344, 3027, 6665, 15090, 14962, 15097, 6665, 15078, 15196, 14967, 14978, 14910, 15244, 15243, 10237, 10227, 10256, 10237, 10227, 15138, 15075, 15072, 12521, 10108, 7313, 7317, 10110, 14897, 10109, 14889, 10165, 10189, 15144, 15005, 14999, 15038, 15086, 15014, 15016, 15001, 14993, 14996, 15013, 14995, 15012, 15011, 14997, 15010, 15018, 10165, 15247, 15248, 10108, 15249, 7074, 14925, 9280, 4982, 4504, 1351, 2489 ], nrs := [ 11736,, 248,, 332,, 315,, 1327,, 317,, 212,, 247,, 3650,, 255,, 280,, 198, , 4492,, 193,, 146,, 243,, 12554,, 124,, 80,, 94,, 480,, 82,, 101,, 103,, 1369,, 110,, 76,, 140,, 2017,, 97,, 101,, 74,, 3195,, 31,, 32,, 22,, 424,, 17,, 10,, 19,, 361,, 16,, 20,, 19,, 95,, 21,, 12,, 15,, 29261,,, 2,, 18, 2, ,, 130, 2, 428,, 24,, 79,, 25,, 234,, 15,,,, 2,, 74,, 3,, 7, 2, 96, 5,, 2, 6, 5, 6, 4, 6,,,, 6,,, 6,, 12,, 11,, 29,, 8,,,,,, 80, 7,, 4, 5, 4, 4, 4,, 2, 4,,, 4,, 8,, 20,, 9,, 17,, 137,, 6,, 4164,,,,, 8, 2,, 4,,,,,, 5,,,,,,,,, ,,, 2,,,, 2,,,, 2,,,,, 2,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 2,,,,,,,,, , 2,,,, 2,,,,,,,,, 2,,,, 2,,,,,,, 2,,,,, 2,,, 2,, 2,,,,,,,,, 2,, 2,,,,,,,,, ,,,,,, 2,,,,,,,,,,,,,, 2, 2,,,,, 2,,,,,,,,,,,,,,, 2,,,,,,,,,,,,,,,,,,,,,,,, , 2,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 2,,, 2,,,,,,,, 2,,,,,,, 2,,,,,,,,,,,, , 2,,,,,,,,,,, 2,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 2,,, 2,,,,,,,,,,,,,,,,,,,,, ,,,,,, 2,, 2,, 2,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 2,, 2,,,,,, ,, 2,, 2,,,,,,,,,,, 2,,,, 2,,,,,,,,,,,, 2,,,,,,,,,,,,,,, 2,,,,,,,,,,,,,,,,, ,,, 2, 2, 2,,,,, 2,,,,,,,,,, 2, 2,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 2,,,,,,,,,, 2,,,,,,,,,,, 2,,, 2, ,,,,,,,,, 2,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 2, 2,,,,, ,,,,, 2,,, 2, 2,,, 2,,,,,,,,,,,,, 2,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 2,,,,, 2,,,,,,, 2,,,,,,,,,,,,, 3, 3,,,,,, 2,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 2,,, 3, , 3,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 2,,,,, 2,,,,,, 2,, 2,,,,, ,,,,, 2,,, 2,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 2, 2,, 2,, 2,,,, 2,, 2,, 2,, 4, 2, 2, 2,,,,, 2,,,,,,, 2,, 4,, 4,, 2, 2, 2, 2, 2, 2,, 2,, 2,, 2, , 2,,, 2, 2,,,,,, 2, 2, 2,,,, 4, 2, 2, 2, 2,, 2,, 2, 2, 2,, 2,, 2, 4, 2, 2, 2,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 2,,,,,,,,,,,,,,,,,,,,,,,,,, 2,, 2,,,,, 2,, 2,, 2,,,, 2,,, 2,,, 2,, 2,,,, 2, ,, 2,,, 2,,,, 2,,,,, 2,,, 2,,, 2,,, 2,, 2,,, 2, 2, 2,,,,,, 2, 2,,,, 2, 2, 2,,, 2,,,, 2,,,,,, 2,,, 2,,,,,,, 2,,, 2,,, 4, 2, 4, 2,,,,,,,,,, 2,,,, 2, 2, ,,, 2,,,,,, 2,,,,, 2,, 2,,,,,, 4,, 2,,, 2, 2, 2,,, 4, 2,, 2,,,, 2,,, 2, 2,, , 4, 2,, 4,, 2,,, 2, 2,, 2,, 4, 2,, 2,, 2, 2,, 2,,,, 2,, 2, 4, 2, 4,, 2,, 2, 2, 2,, 4, 2,, 2,, 2,, 2,, 2,,, 2,, 2,,,, 2,,, 2,,,, 2,,, 2,, 4, 2, 4, 2, , 2, 2,,,, 2,, 2,,, 2,, 2,, 4,, 2,, 2,, 2,,, 4,, 2,,, 2, 2, 2,,, 4,,,,,, 2, ,,, 2,,, 4, 2,, 2,, 2,,, 2,,,,, 4, 2,,,, 2,,, 2,,,,,, 2, 2, 2, 4,, 2,, 2, 2, 2,, 4,,,,,,, 2,,, 2, 2,,,,,,,, 2,,, 2,,, 2,,,,,,,,, 2,, 8, 4,, 8, 4,,,,, ,,,,, 2,,,,,,,,,,, 2, 2,,, 2,,,, 2,, 2,,, 2, 2,, 2,,, 2, 2,,,, 4,, 2, 2, 2, 2, 4, 5, 4, 2,,,,, 2, 2,,,,,,,,,, 2,,,, 2,,,,, 2,, 2,,,,,, 4,, 2,, 4,, 2,, 2, 2, 2,, 2, 2, 2,, 4, 2, 4,,,, 2,, 2,,,,, 2,,,,,,,,,,,,, 2,, 8,,, 2, 4,, 2, 2, 2,,,,,, 2,,,,, 4,, 2,, 8,, 4, 2,,,,,,,,,,,,,, 2,, 4, 2, 2, 2,, 4, 2,,,,,,,,, 2,,,,,,,,,,, 2, 9, 2, 4,,,,,, 2,, 2,,,, 2,,,,,,,, 2,,, 2,,,,, ,,,,,,,,,,,,,,,,,,,,, 2,,, 2,, 2,,,,,,,, 2,,, 2,,,,, 2,,,,,,,,,, 16,,,, 2,, ,, 2,, 2,,,, 2,,,, 2,, 2,, 4, 4,, 4, 4,,, 2,,,,,,, 2,,,,,,,,,, 2,, 2,, 2,, 8, 8,,, 3,,,,, 2,,,,,, 2,,, 4, 2, 2, 2, 2, 2, 4, 2,,,,,,,,,,, 2,,,, 2, 16,, , 2,,,, 2,, 3,, 2,,,, 2,, 2, 2,, 2,, 2,, 2,,,,,, 2,,,,,,,,, 2,,,,,,,, 2,,, 2,,,,,,, 2,, 2,, 2,, 2,,,,,,, 2,,,,, 2,,,,,,,, 2, 2,, 2,, 2,, 2,,,,, 2,,,, 8,,,,,,,,, 2,,,,,,,,,, 2, 2,, 2,, 2,, 2,,,,,,,,,,,,,,,,,,, 2,, 8,,, 3,,,,,, ,,, 2, 2, 2, 2, 2,,,,,,,,, 8,,,,,,,, 2,,,,,,,,,, 2,,,,,,,,,,,,,,,,, 2,,,,, , 2,,, 2,,, 2,, 2,,,,,,,,,, 2,,,,, 2,,, 2,,,,,,,,,,,, 2,,, 2,,, 2,,,,,,,,,, ,,,,,,,,,, 2,, 2,, 2,,,,, 16,,, 2,, 2,, 4,, 2,, 2,,,,, 2,,,, 2,, 2,,,,, 2,, ,,, 16,,, 2,, 2,, 2,, 2,,, 2,, 2,, 2,, 2,,,,,,,,,, 2,, 2,,, 2,,,,,,,,,, 2, 2,,, 2,,,,,,, 2, 2,,,,, 2,,,,,,,, 2, 2,,,,,, 2,, 2,,,,,,, 2,, 4,, 2,, 2,, 2, 2, 2,, 2,, 2,, 4,, 2, 17, 8, 8,,,,,,,,,,,,,,,,,,,,,, 2,,,,,,,, 2,,, 2,,, ,,, 2,,,,,,,,,,,,,,,, 16,,, 2,,,, 2,, 3,, 2,,,, 2,, 2, 2,, 2,, 2,, 2,,,,, 2,,,, 4, 2, 2, 2,, 4, 2, 2, 2, 2,, 2, 2, 4, 2,, 4, 4, 4, 2, 4,, 8, 8, 4,, 2, 4, 2, 2, 4,, 2, 2, 2, 4, 4,, 4, 4, 2, 2,, 4, 2, 2,,, 2, 8, 4, 2,, 2, 2, 2,, 2,,, 2, 2, 2, 2, 2, 2,,,, 2, 2,, 2, 2,,, 4, 2, 2,, 4, 2,, 2, 2, 4,, 2, 2, 4, 2,, 4, 2, 4, 2, 4, 6, 4, 2, 2,, 4,,, 2, 4, 2, 2,, 2, 2,, 2, 4, 4, 2, 2, 4, 4, 4, 4, 4, 4, 4, 16, 16, 4, 8, 4, 8,, 2,,,,,, 2,, 2, 2, 2,, 2,,, 2, , 4, 4, 4,,, 2,, 2,,,,,,,,, 2, 2,,, 2,, 2,,,, 2, 2,,, 16,,, 2,, 2,,,,,,, 2, 2,,,, 2, 2,,, 4, 4, 4,, 2,,, 2, 2, 2,,,, 2, 2,,,, 2,,, 2,, 2,,, 2,, 2,, , 2,, 2,,, 2,, 2,,, 4,, 2,,,, 2,,, 4,, 2,,,, 2,,, 2,, 2,,, 2,, 2,,, 2,, 2,, , 2,, 2,, 4,, 2,, 2,, 2,,,, 2,, 2,, 2,, 2,, 2,, 2, 8, 8, 4, 2,, 4, 2,, 4, 4, 4, 16, 4, 4, 4, 4, 2, 2, 2,, 4, 2, 2, 2, 2,, 2, 2, 4, 2,, 4, 4, 4, 2, 4, , 8, 8, 4,, 4, 6,, 2, 4, 4,, 4, 2,, 2,, 4, 2,,,, 2, 8, 4, 2,, 2, 2, 2,, 2,, , 2,,, 2, 2, 2,,,, 2,,, 2, 2,,, 4, 2, 2,, 4, 2,, 2, 2, 4,, 2, 2, 4, 2,, 8, 6, 4, 4, 2, 2,, 4,,, 2, 4, 2, 2,, 2, 2,, 2, 2, 2, 4, 2, 4, 4, 4, 4, 4, 4, 4, 16, 16, 4, 8, 4, 8, 4, 2, 2,, 4, 2, 2, 2,, 4, 4, 2, 2,, 8, 2, 4, 2,, 4, , 4,, 4, 2,,,, 2, 2,, 2,, 2, 2,,, 2,,, 2, 4, 2,, 2, 4,, 2,, 2, 4, 2,, 2, 2, , 2, 2, 4, 2, 2, 4, 4, 4, 4, 4, 8, 4, 8, 4,, 2,,,, 2,, 2,, 2,,, 4, 4,,, 2,, ,,,, 2,, 2,, 2,,, 2, 2, 2,, 8, 4,, 2,, 2, 2,,, 2,, 2,,, 2, 2,, 2,,,,,, 2, 2, 2,, 2,,,, 2,, 2,, 2,, 2, 2,, 2,,,, 2,, 2,, 2,, 2, 4,, 2, 4,, 2, 4, 12, 4, 4, 2, 2,, 4, 2, 2, 2,, 4, 4, 2, 2,, 8, 2, 4, 2,, 4, 2, 4, 2,, 4, 2,, 2, , 2, 2,, 2,, 2, 2, 2,, 2,,, 2, 4, 2,, 2, 4,, 2,, 2, 4, 2,, 2, 2,, 2, 2, 2, 4, 2, 4, 2, 4, 4, 4, 4, 8, 4, 8, 4, 4, 4, 2, 2,, 8, 4, 2, 4,, 4, 8, 2, 2, 2,, 4, 4, 2, 2,, 8, 8, 4,, 4, 16, 4,, 8, 8, 8,, 12, 8,, 2, 2, 2, 2, 2, 2,, , 2, 4, 4, 2, 2,, 2, 2, 4, 2, 2, 2, 4, 2,, 2, 2, 4, 2, 2, 4, 2,, 2, 8, 4, 4, 2, 4, 4, 2, 2, 4, 2,, 2, 4, 4, 2, 2, 4,, 2, 4, 8, 4, 8, 4, 4, 4, 4, 4, 4, 16, 16, 4, 8, 4, 8, 4, 4, 4, 4, 8, 4, 8, 4,, 2,, 2,,,, 4, 2,,,,, 2, 2, 2,, 2, 2,,, 2,,,, 2,, 2,, 2, 4,, 4, 2,, 4, 2,, 2, 2,,, 2,, 2, 2,, 2,,,,,, 2,, 2,, 2,,, 2,, 2, 2,, 2,, 2,,,, 2,, 2, 2, 4, 2,,, 2,, 2, 2, 2, 4,, 2,, 2, , 2, 8, 4, 2,,, 2,, 2, 4, 2,, 4, 4, 2, 2,, 8, 4, 2, 4,, 4, 8, 2, 2, 2,, 4, 4, 2, 2,, 8, 8, 4,, 4, 16, 4,, 8, 8, 8,, 12, 8,, 2, 2, 2, 2, 2, 2,,, 2, 4, 4, 2, 2,, 2, 2, 4, 2, 2, 2, 4, 2,, 2, 2, 4, 2, 2, 4, 2,, 2, 8, 2, 4, 4, 4, 4, 2, 2, 4, 2,, 2, 4, 4, 2, 2, 4,, 2, 4, 8, 4, 8, 4, 4, 4, 4, 4, 4, 16, 16, 4, 8, 4, 8, 4, 4, 4, 4, 8, 4, 8, 4,, 2,, 2,,,, 4, 2,,,,, 2, 2, 2,, 2, 2,,, 2,,,, 2,, 2,, 2, 4,, 4, 2,, 4, 2,, 2, 2,,, 2,, 2, 2,,,,,,,, 2,,,,, 2,, ,, 2,,, 2,,,, 2,,, 2, 2, 4, 2,,, 2,, 2, 2, 4,, 2,, 2,, 2, 8, 4, 2,,, 2,, 2, 4, 2,, 4, 4,,,, 8, 4,, 2,, 2, 2, 2, 2, 2, 2,, 2, 2, 2, 2,, 4, 2, 4, 4,, 4, 4, 4,, 4, 2, 4, 2,, 4, 4, 4,, 2, 2,,, 2, 2,,, 2,, 2, 2, 2,, 2, 2, 2,,,, 4,, 2,,,, 4,, 2,,,, 2, 2, 2,,,, 2, 2, 2, 2, 2, 2, 2, 4, 4, 2,,, 4, 2,,, 2, , 2, 2, 2, 2, 2,, 4, 2, 4, 4, 4, 4, 16, 4, 4, 4, 4, 12, 4, 4, 2,, 2, 2, 2, 4, 2, 2,, 2, 2, 2, 2, 4, 4,,, 2, 2, 2, 2, 4, 2, 4,, 2, 4, 2, 2, 4, 2,, 4, 2, 4, 2, 2, 2, 2, 2, 2, 4, 2, 2,, 2, 2, 2, 2, 4,, 2, 2, 2, 2, 4, 4,,, 2, 4, 4,, 4, 2, 2, 2, 4, 2, 2, 2, 2, 4,, 4, 4, 4, 2, 2, 8, 2, 2,, 2, 8, 2,, 4, 4, 2, 2, 8, 2, 2, 2, 2, 8, 2, 2, 4, 4,, 2, 4, 4,, 2, 4, 4, 2, 4, 2, 2, 8, 2, 4, 4, 2, 2, 2, 2, 2, 4, 8, 2, 2,, 2, 4, 2, 4, 2, 8, 2,, 4, 2, 2, 4, 32, 4, 4, 4, 4, 4, 4, 4, 4, 32, 16, 16, 16, 16, 32, 2,, 2, 2, 2,, 4,, 2, 2, 2,, 4,, 2, 2, 2,, 4,, 2, 2, 2,, 2, 64,, 2,,,,,,, 2, 2,,,,,, 2, 2, 2, 2, 2,, 2,,,, 2,,, 2, 2, 4,, 2, 2, 2,,, 2, 2,, 2, 4, 4,,, 2,, 2,, 2,,, 2, 4, 2, 2, 2,, 2,,,,,, 2, 2, 2, 2, 2, 4,,, 2,,,,,, 2,,,,,, 2,,,, 2,, 2,,,,, 2,, 2, 4, 4, 2,, 2,,,,,, 2, 8, 4, 2,, 2,, 2, 2,, 2,, 4, 2, 2, 2, 2, 2,,,, 2,, 2,, 2,,, 2, 8, 4,, 2,, 2,,, 4,,,, 2, 4, 6,, 2,, 2,, 2,, 2,, 2,, 2, 16, 4, 2,, 4, 2,, 4, 4, 4, 16, 4, 4, 4,, 2,, 2,, 2,, 2, 4,, 2, 4,, 2, 4, 12, 4,,,, ,, 2,, 2,, 2,,, 2, 2,,,,, 2,,,, 2, 2, 2, 4, 2, 2,, 2, 4, 2, 8, 2, 2,, 2, 2, 2, 4, 4, 4,, 2, 2, 2, 4,, 4, 4, 2, 2, 2,, 2, 2, 4, 4, 2, 2,,, 2,,,,, 2,, ,,, 2, 2, 2, 4, 5,,, 2,,, 16,,,,, 2,,,,, 2, 2, 2, 4,,,, 2,,,,, 2,,,,, 2,,,, , 2,,, 4, 4, 4, 36, 16,,,,, 2,, 2,, 2,,,,,, 2,, 2, 2, 4, 2,, 2, 8,, 4, 2, 2, 2, 2,, 4, 2, 2, 4, 2,,, 2,,,,, 2,,,,, 2, 4,, 2, 2, 4,,, 2,,, 4, 4,,,,,,, ,,,,,, 8, 4, 4,, 2, 4,, 2, 4, 2,,,, 2, 4, 2, 2,,,,, 2, 4, 4,,,,, 2, 2, 2, 2, 2, 2,,, 2,, 2, 2,, 2, 2,, 2, 2, 2, 2, 2, 2,,, 4,, 4, 2,, 2, 2,, 2, 2, 2, 4, 2,,, 2, 4,, 2, 4, 2,, 2,, 2, 2, 4, 2,, 2,, 2, 4,,, 2, 4, 2, 2,, 2, 2, 2,, 2, 4,, 2, 4,, 2,, 2, 4, 2,, 2, 2,, 2, 4, 2,, 2, 4, 2,,,, 2, 8, 2, 2, 4, 2,,,,, 4, 2,, 2,,,,, 4, 2,, 2, 2, 4,, 2, 4, 2,,,, 2,, 2, 2, 2, 2, 2,, , 2, 2, 2, 4, 4, 4, 4, 8, 4, 2, 4, 4, 6, 4, 4, 8, 4, 4, 36, 8, 4, 8, 4, 4, 4, 4, 8, 8, 8,, 2,,,,, 2, 2,,,, 2,, 2,,, 2,, 2,,,, 2,, 2,, 2, 2,,, 2, 2, 2, , 2,,,, 2, 2, 4, 4,,, 2, 2, 2, 2, 4,, 2, 2, 2, 2, 4, 2, 4, 2, 2, 2, 8, 2, 2, 2, 4, 4,, 2, 2, 4, 4, 17, 8, 2,, 4, 4, 4, 2, 2, 2, 4, 2, 2, 4, 2, 2, 2, 4, 10, 4,, 4, 4,, 2, 2,,, 2,, 2, 8, 4, 4,, 4,, 4,, 2,, 2,, 2,, 2,, 2,, 2,, 2,, 2, 4, 4, 20, 36, 4, 2,,,, 2, 4, 2, 2,,,,, 2, 4, 4,,,,, 2, 2, 2, 2, 2, 2,,, 2,, 2, 2,, 2, 2,, 2, 2, 2, 2, 2, 2,,, 4,, 4, 2,, 2, 2,, 2, 2, 2, 4, 2, ,, 2, 4,, 2, 4, 2,, 2,, 2, 2, 4, 2,, 2,, 2, 4,,, 2, 4, 2, 2,, 2, 2, 2,, 2, 4,, 2, 4,, 2,, 2, 4, 2,, 2, 2,, 2, 4, 2,, 2, 4, 2,,,, 2, 8, 2, 4,,,,,, 4,, , 2,,,,, 4, 2,, 2, 2, 4,, 2, 4,,,,, 2,, 2, 2, 2,,,, 2, 2, 2, 12, 4, 16, 4, 4, 4, 8, 4, 4, 36, 8, 4, 8, 4, 4, 4, 4, 8, 8, 8,,,,,,,,,, 4,,,,,,, 4,,,,,,, ,,,,,,,,, 4,,,,,,, 4, 4, 4,,,,, 2, 4, 8, 5, 2,, 2, 4, 8,, 2,, 2, 4,,,,,,,, , 2,,,, 2,, 2,,,,,,, 4, 4, 4, 8, 5, 2,, 2, 8,,,, 4,, 2,, 2,,,,,,,,,,,,,,,, , 2, 4, 4, 8, 4, 4,,,, 4, 9, 2, 4, 4, 4,,,,,,, 4,, 2, 8, 4, 8, 4, 8, 8, 16, 8, 12, 4,, 2,, 2, 4,,,, 8, 4,, 2,,,,,,,,,,,,, 4, 4,,,, 4, 4,, 2,,,, 4, 4,, 2,, 2, 4,,,,,,, 4, 4,,,,,,, 4,,,,,,,, 2, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 2, 4, 2, 4, 4, 2, 32, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 2, 2, 4, 6, 2, 2, 2, 8, 16, 4, 4, 4, 4, 4, 2, 2, 4, 2, 4, 4, 2, 4, 4, 4, 4, 8, 4, 4, 4, 2, 4, 2, 4, 2, 32, 2,,, 2, 2,,, 2, 2,,, 2, 2,,, 2,, 2,,, 2,, 2,,, 2,, 2, ,, 2,, 2,,, 3, 4, 6, 4, 6, 4, 6, 4, 5,,, 2, 2,,, 2, 2,,, 2, 2,,, 2, 2,,, 2, 2,,, 2, 2,,, 2, 2,,, 2, 2, 2, 4, 6, 4, 6, 4, 6, 4, 4, 2,, 2, 2, 2, 2,, 2, 2, 2, 2,, 2, 2, 2, 2,, 2, 2, 2, 2,, 2,, 2,, 2,, 2,, 2,, 2,, 2, 17, 2, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 2,, 2,, 2,, 2,, 2,, 2,, 2,, 2, 4, 4, , 2,, 2,,,, 2,,,, 2,, 2,,, 2, 2, 11, 2,, 4, 4,, 2,, 2, 4,, 2, 2, 4,,,, 2,,, ,,, 2,,, 4, 2,,,,, 2,,, 2, 4, 4, 5, 2, 4,, 2,,,,, 4,, 2,, 2, 4, 2,,, 2,,,,, ,,,,, 2,,, 2,,,,,,,,,, 2, 4, 6, 2, 2, 2, 2, 2,,,, 2, 2,,, 2, 2,,, 2, 2,,, 2, 2,,,,,,,,, 2, 4, 5, 2,, 2,, 2,, 2, 2,, 2, 2, 2, 2,,, 2, 2,,, 2, 2,,, 2,, ,,,, 2,, 2,,,,,,,,, 3,, 2, 9, 2, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 3,, 2,, 2,, 2,, 3, 2, 4, 2, 4, 2, 4, 2, 2, 12,,,,,,,,, 2,,,, , 2,,,,,,,,,,, 2,,,,,,,,,,,, 9, 4, 2, 2,,,,, 4,,, 2, 4,, 4, 2,,,,,, 2,,,,,, ,,,,, 8, 4, 2, 2,,, 4,, 2,,,,,,,, 2,,,,,,,,,,,,,,,,,,,,,,,,,, 2,,,,,,,,,,, 4,,, 7,,,,,,,,,,,,,,,,,,, 2,, 2,, 2, 2,,,,,,, 2,,,, 2,, 2,,,,,,,,,, 8, 4,,, ,,,,,, 3,,,,,,,, 2, 2,,,,,,,,, 2,,,,,,,,,,,,,,,,,, 2,,,,,,,,,,,,,,,, 2,,,,, , 2, 6, 2,,, 2,, 3,,,,,,,, 2, 2,,,,, 4, 2,,,,,,,, 9, 4, 2, 2,,,,, 4,,, 2, 4,, 4, 2,,,, 2, 2,,, 2, 2, 2,,,, 8, 4, 2, 2,,, 4,, 2,,,,,,,,,,, 2,,,, 2,, 2, 5,,,,,,,,,,,,, 4,,, 4, 4, 2,,,, 4, 4, 2,, 3,,, 4, 4, 4,,,,,, 2,,,, 3,, 3,,, 4,,, 4,,,,,,,,,,,,,,,,,,,, 2,,,,,,,,,, 2, 6, 2,,, 2,, 3,,,,,,,, 2, 2,, ,,, 4, 2,,,,,,,, 9, 4, 2, 2,,,,, 4,,, 2, 4,, 4, 2,,,, 2, 2,,, 2, 2, 2,,,, 8, 4, 2, 2,,, 4,, 2,,,,,,,,,,, 2,,,, 2,, 2, 5,,,,,,,,,,,,, 4,,, 4, 4, 2,,, , 4, 4, 2,, 3,,, 4, 4, 4,,,,,, 2,,,, 3,, 3,,, 4,,, 4,,,,,,,,,,,,,,,,,,,, 2, ,,,,,,,,, 2, 3, 2, 3,, 2, 2,,, 2,,,,,,,,,, 3, 2, 4, 2,,,,,, 8, 4,,,,,,,, 2, ,,,,,, 4,,, 4, 2,,,,,,,,,,, 3,,,,,,,,,,,,,, 8, 4,,,,,,,,,,, 3,,,,,,,,,,,,, , 6, 4,,, 2,,,,,,, 3,,,,, 5,,,, 6,,, 2, 2,,,, 2, 2,,,, 2,,, 2,,,,, 2,,,,,,, ,,,,,, 2, 2,,,,, 3,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 2,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 2,,,,,,,,,,,,,,,, 2,, 2,,,,,,,,,,,,,,, ,,, 2,,,,,,,,,,,,,,,,,,,, 2,,,,,,,,,,,,,, 2,,,,,, 2,,,,,, 2,,,, 2,, 2,,, 2, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 2,,,,,,,,,,,,,,,,,,,,,, 2,, 2,, 2,, ,,,,,,,, 2,, 2,, 2,,,,,,,,,,, 2,,,,,, 2,,,,, 2,,, 2,,,, 2,,, 2,,,,,,,,,,,,, ,,,,,,,,,,,, 2, 2,, 2,,,,, 4, 2,,,,, 2,,,, 3,,, 2,,,,,,,,,,,,,,,,,,,,,,,,,, , 2,,,,,,,,,,,,,,,,,,,, 2,,,,,,,,,,,, 2,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 2,, 2, , 2,, 2,,,, 2, 2,,, 2, 2,,, 2, 2, 4,, 2, 4, 2,,,, 2, 2,,, 2, 2,,, 2, 2, 4, , 2, 4, 2,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,, 2,,,,, 2,,,,,, 2,,,,, 2,,,,, 2,, 2,,,, 2,,,,, 2,, 2,,,,,,,,,,,,,,,,,,,,,,,,, 2,,,,,,,,, 2,, 2,,,,,,,,,,, 2,, 2, 2,,,,,,,,, 2, ,,, 2,,,, 2, 2,,,, 2, 2, 2,,,,,,, 2, 2,,,,,,,,,,,,,,,,,,, 2, 2, 4,, 2,, 2, , 2,, 2, 2,, 2, 2,, 4, 2,, 2,,, 2, 2,, 2, 4,,,,,,,,, 2,,,, 2, 2,,,,,,, 2,,, , 2, 2,,,,,, 2, 2, 2, 2, 2, 2,, 2, 2, 4, 2,, 2, 2,, 4, 2, 2, 4,,,,,, 2, 2,, ,,, 2, 2,,,, 2, 2, 2, 2,,, 2, 4, 2,,, 2, 4,,,,, 2, 2,,,,, 2, 2,,, 2, 2,,, 2, 2,,, 4,,, 4,,,,,,,,,,,,,,,,,,,,,, 2,,, 2,,,,,,,,,,,,, 2, 2, 4, 2,, 2, 4, , 2,,, 4, 2, 4, 4, 2, 4,,,, 2, 4, 2, 4,,,,,,, 2, 2, 4,, 2,, 4,,,,,, 2, 4,, 2,, 4,,, 4, 2, 2,,,, 2,, 2,,,, 2,, 4,,,,,,, 4, 2,,,, 2,,,,,,,,,, 2,,,,,,,,, ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 2,, 2 ] );