univternlist := [ <1, 1>, <2, 1>, <3, 1>, <4, 8>, <5, 2>, <7, 3>, <8, 1>, <9, 
12>, <10, 2>, <11, 12>, <12, 3>, <13, 7>, <15, 2>, <16, 5>, <17, 3>, <18, 2>, 
<19, 1>, <20, 1>, <21, 1>, <22, 1>, <23, 1>, <25, 6>, <31, 7>, <33, 7>, <35, 7>,
<40, 7>, <48, 6>, <55, 6>, <79, 3>, <98, 5>, <130, 8>, <158, 7>, <159, 1>, <161,
6>, <164, 7>, <166, 15>, <168, 2>, <170, 15>, <171, 7>, <172, 1>, <173, 3>, 
<174, 1>, <177, 10>, <178, 8>, <181, 18>, <182, 6>, <183, 2>, <187, 17>, <189, 
5>, <194, 17>, <195, 6>, <201, 18>, <202, 1>, <207, 11>, <208, 2>, <214, 18>, 
<215, 7>, <224, 2>, <229, 12>, <230, 1>, <276, 2>, <281, 7>, <297, 6>, <314, 6>,
<341, 1>, <369, 17>, <422, 8>, <425, 2>, <485, 1>, <716, 7>, <930, 1>, <1064, 
1>, <1065, 3>, <1069, 6>, <1070, 6>, <1072, 6>, <1113, 2>, <1115, 7>, <1117, 2>,
<1119, 2>, <1120, 2>, <1121, 2>, <1122, 6>, <1125, 8>, <1128, 2>, <1130, 7>, 
<1132, 5>, <1133, 3>, <1137, 12>, <1138, 3>, <1141, 7>, <1142, 12>, <1143, 3>, 
<1144, 3>, <1147, 6>, <1148, 2>, <1149, 2>, <1153, 12>, <1154, 3>, <1155, 3>, 
<1157, 7>, <1158, 7>, <1162, 3>, <1164, 18>, <1165, 17>, <1167, 1>, <1169, 17>, 
<1171, 6>, <1175, 17>, <1177, 11>, <1178, 15>, <1182, 18>, <1190, 7>, <1191, 2>,
<1197, 15>, <1199, 13>, <1204, 15>, <1205, 13>, <1211, 15>, <1217, 15>, <1218, 
8>, <1219, 2>, <1224, 11>, <1237, 2>, <1243, 17>, <1249, 6>, <1256, 5>, <1263, 
17>, <1270, 17>, <1276, 2>, <1285, 11>, <1287, 18>, <1289, 18>, <1292, 6>, 
<1321, 8>, <1370, 2>, <1371, 18>, <1424, 1>, <1440, 10>, <1466, 10>, <1487, 10>,
<1505, 10>, <1506, 18>, <1507, 5>, <1510, 7>, <1514, 16>, <1523, 18>, <1524, 3>,
<1629, 8>, <1713, 3>, <1759, 3>, <1762, 2>, <1764, 2>, <1765, 7>, <1766, 2>, 
<1768, 2>, <1769, 3>, <1770, 2>, <1772, 3>, <1773, 2>, <1774, 3>, <1776, 10>, 
<1777, 8>, <1779, 6>, <1780, 2>, <1782, 7>, <1783, 17>, <1784, 5>, <1786, 15>, 
<1787, 6>, <1788, 2>, <1791, 7>, <1792, 12>, <1796, 10>, <1797, 3>, <1801, 12>, 
<1802, 3>, <1805, 7>, <1806, 12>, <1807, 3>, <1810, 6>, <1811, 2>, <1812, 2>, 
<1815, 6>, <1816, 2>, <1817, 6>, <1819, 8>, <1821, 8>, <1824, 17>, <1825, 15>, 
<1826, 11>, <1827, 13>, <1829, 18>, <1835, 2>, <1839, 15>, <1850, 15>, <1855, 
7>, <1856, 1>, <1863, 2>, <1869, 15>, <1877, 15>, <1878, 8>, <1884, 15>, <1892, 
17>, <1894, 6>, <1897, 18>, <1900, 7>, <1903, 6>, <1905, 2>, <1906, 7>, <1907, 
7>, <1908, 7>, <1909, 7>, <1911, 10>, <1914, 2>, <1923, 17>, <1924, 10>, <1929, 
18>, <1930, 17>, <1941, 2>, <1948, 6>, <1953, 17>, <1958, 11>, <1965, 17>, 
<1967, 5>, <1975, 17>, <1976, 1>, <1982, 17>, <1983, 6>, <1992, 17>, <1993, 3>, 
<1998, 17>, <2005, 7>, <2006, 1>, <2007, 2>, <2008, 2>, <2013, 2>, <2086, 18>, 
<2120, 18>, <2124, 16>, <2129, 18>, <2157, 2>, <2216, 18>, <2220, 18>, <2222, 
11>, <2280, 10>, <2288, 10>, <2506, 5>, <2523, 2>, <2586, 2>, <2587, 2>, <2588, 
2>, <2589, 2>, <2590, 12>, <2591, 2>, <2592, 7>, <2593, 12>, <2594, 2>, <2595, 
2>, <2596, 12>, <2597, 2>, <2598, 8>, <2599, 6>, <2600, 2>, <2601, 2>, <2602, 
3>, <2603, 2>, <2607, 6>, <2608, 2>, <2610, 18>, <2613, 18>, <2615, 18>, <2619, 
3>, <2621, 18>, <2623, 6>, <2624, 7>, <2625, 3>, <2627, 18>, <2631, 18>, <2632, 
15>, <2633, 6>, <2636, 18>, <2639, 7>, <2640, 6>, <2643, 17>, <2644, 10>, <2647,
17>, <2655, 7>, <2660, 15>, <2661, 11>, <2667, 15>, <2672, 15>, <2673, 7>, 
<2674, 2>, <2679, 17>, <2680, 7>, <2681, 10>, <2684, 17>, <2690, 7>, <2729, 10>,
<2731, 8>, <2735, 6>, <2743, 17>, <2817, 17>, <2858, 2>, <2859, 2>, <2860, 2>, 
<2861, 3>, <2862, 3>, <2863, 3>, <2864, 3>, <2865, 3>, <2866, 3>, <2867, 2>, 
<2868, 2>, <2869, 2>, <2870, 2>, <2871, 2>, <2872, 2>, <2873, 1>, <2874, 1>, 
<2875, 21>, <2884, 5>, <2885, 8>, <2892, 7>, <2893, 7>, <2894, 7>, <2895, 7>, 
<2896, 7>, <2897, 7>, <2898, 5>, <2899, 7>, <2908, 21>, <2915, 5>, <2916, 21>, 
<2931, 8>, <2932, 21>, <2939, 6>, <2940, 6>, <2941, 6>, <2942, 6>, <2943, 6>, 
<2944, 6>, <2945, 6>, <3004, 5>, <3005, 5>, <3006, 5>, <3007, 5>, <3030, 8>, 
<3047, 5>, <3057, 5>, <3073, 5>, <3153, 8>, <3154, 8>, <3315, 1>, <3316, 7>, 
<3317, 21>, <3318, 5>, <3319, 7>, <3320, 21>, <3322, 21>, <3323, 5>, <3324, 21>,
<3325, 7>, <3327, 5>, <3329, 8>, <3330, 8>, <3331, 8>, <3332, 7>, <3333, 8>, 
<3338, 1>, <3339, 1>, <3340, 2>, <3341, 6>, <3343, 2>, <3345, 2>, <3346, 2>, 
<3347, 2>, <3348, 2>, <3351, 6>, <3353, 2>, <3360, 6>, <3366, 3>, <3368, 6>, 
<3369, 6>, <3370, 6>, <3371, 6>, <3372, 6>, <3377, 6>, <3380, 2>, <3381, 6>, 
<3382, 6>, <3383, 6>, <3384, 6>, <3385, 6>, <3390, 2>, <3396, 3>, <3398, 2>, 
<3399, 2>, <3401, 2>, <3403, 7>, <3404, 7>, <3405, 5>, <3422, 7>, <3436, 7>, 
<3464, 7>, <3466, 5>, <3469, 5>, <3543, 3>, <3546, 7>, <3548, 5>, <3549, 7>, 
<3550, 7>, <3551, 7>, <3552, 7>, <3555, 7>, <3557, 5>, <3576, 7>, <3577, 5>, 
<3585, 5>, <3624, 5>, <3629, 7>, <3630, 7>, <3690, 5>, <3735, 7>, <3736, 5>, 
<3737, 7>, <3739, 5>, <3740, 21>, <3743, 7>, <3744, 8>, <3745, 7>, <3746, 8>, 
<3747, 5>, <3748, 8>, <3752, 1>, <3753, 2>, <3755, 2>, <3756, 2>, <3757, 2>, 
<3758, 2>, <3759, 2>, <3763, 6>, <3766, 6>, <3768, 2>, <3770, 2>, <3776, 6>, 
<3777, 6>, <3778, 6>, <3779, 6>, <3780, 6>, <3781, 6>, <3782, 3>, <3783, 6>, 
<3789, 6>, <3790, 6>, <3791, 6>, <3792, 6>, <3793, 6>, <3794, 6>, <3806, 2>, 
<3807, 2>, <3808, 2>, <3809, 2>, <3810, 2>, <3811, 2>, <3813, 2>, <3814, 2>, 
<3817, 5>, <3837, 7>, <3851, 7>, <3868, 7>, <3877, 5>, <3878, 3>, <3948, 3>, 
<3949, 3>, <3950, 7>, <3951, 7>, <3966, 7>, <3980, 5>, <3994, 5>, <4014, 7>, 
<4025, 7>, <4026, 7>, <4027, 7>, <4122, 5>, <4123, 5>, <4124, 3>, <4125, 3>, 
<4126, 2>, <4127, 2>, <4128, 2>, <4129, 2>, <4130, 3>, <4131, 2>, <4133, 7>, 
<4134, 7>, <4135, 7>, <4136, 7>, <4140, 8>, <4156, 7>, <4157, 7>, <4158, 5>, 
<4160, 6>, <4161, 6>, <4174, 6>, <4210, 6>, <4211, 6>, <4215, 8>, <4256, 8>, 
<4369, 8>, <4437, 2>, <4438, 2>, <4439, 2>, <4440, 3>, <4441, 2>, <4442, 2>, 
<4445, 7>, <4452, 7>, <4453, 21>, <4458, 5>, <4474, 8>, <4477, 6>, <4479, 6>, 
<4488, 6>, <4496, 22>, <4518, 22>, <4541, 22>, <4546, 6>, <4551, 7>, <4618, 6>, 
<4623, 6>, <4692, 7>, <4750, 6>, <4851, 7>, <4909, 2>, <4910, 3>, <4911, 3>, 
<4912, 3>, <4913, 3>, <4914, 2>, <4915, 2>, <4916, 2>, <4917, 2>, <4918, 1>, 
<4919, 1>, <4922, 6>, <4926, 7>, <4927, 7>, <4928, 7>, <4929, 7>, <4930, 7>, 
<4931, 7>, <4932, 7>, <4933, 6>, <4957, 6>, <4969, 6>, <4972, 5>, <4974, 6>, 
<4975, 6>, <4976, 6>, <4977, 6>, <4978, 6>, <4984, 8>, <4991, 6>, <4998, 5>, 
<4999, 6>, <5008, 6>, <5017, 5>, <5035, 8>, <5036, 5>, <5037, 5>, <5120, 22>, 
<5128, 8>, <5180, 8>, <5255, 22>, <5358, 5>, <5359, 5>, <5360, 5>, <5361, 5>, 
<5362, 5>, <5363, 5>, <5364, 5>, <5365, 6>, <5366, 3>, <5367, 3>, <5373, 7>, 
<5375, 1>, <5376, 6>, <5377, 6>, <5378, 6>, <5379, 6>, <5380, 6>, <5381, 6>, 
<5382, 6>, <5383, 6>, <5384, 6>, <5385, 6>, <5391, 7>, <5392, 6>, <5393, 1>, 
<5404, 6>, <5416, 8>, <5437, 7>, <5438, 6>, <5453, 2>, <5462, 7>, <5467, 6>, 
<5472, 6>, <5473, 8>, <5477, 7>, <5482, 6>, <5483, 6>, <5484, 6>, <5485, 6>, 
<5488, 8>, <5492, 2>, <5493, 7>, <5494, 7>, <5495, 7>, <5496, 7>, <5497, 6>, 
<5503, 2>, <5609, 7>, <5640, 2>, <5645, 7>, <5646, 7>, <5650, 2>, <5720, 2>, 
<5749, 2>, <5799, 2>, <5800, 2>, <5900, 8>, <6013, 2>, <6413, 22>, <6708, 2>, 
<6709, 3>, <6710, 3>, <6711, 2>, <6712, 3>, <6713, 2>, <6714, 2>, <6715, 2>, 
<6716, 2>, <6717, 2>, <6718, 1>, <6719, 6>, <6722, 7>, <6723, 7>, <6724, 7>, 
<6725, 7>, <6726, 6>, <6727, 7>, <6728, 7>, <6735, 6>, <6741, 6>, <6758, 1>, 
<6761, 6>, <6762, 6>, <6763, 5>, <6764, 6>, <6775, 5>, <6789, 8>, <6812, 6>, 
<6813, 6>, <6815, 5>, <6880, 8>, <6987, 8>, <6988, 8>, <7037, 22>, <7065, 8>, 
<7066, 8>, <7068, 6>, <7069, 6>, <7072, 2>, <7074, 6>, <7078, 7>, <7079, 7>, 
<7080, 7>, <7081, 7>, <7082, 7>, <7083, 7>, <7084, 7>, <7085, 7>, <7086, 7>, 
<7087, 3>, <7096, 6>, <7098, 2>, <7105, 6>, <7113, 6>, <7205, 2>, <7207, 6>, 
<7224, 6>, <7320, 5>, <7363, 5>, <7432, 6>, <7456, 6>, <7519, 6>, <7534, 6>, 
<7703, 6>, <7832, 22>, <7837, 6>, <7843, 2>, <8038, 5>, <8281, 5>, <8608, 6>, 
<8617, 7>, <8618, 6>, <8623, 7>, <8624, 6>, <8625, 8>, <8631, 6>, <8736, 8>, 
<8775, 1>, <8776, 1>, <8780, 8>, <8783, 7>, <8785, 8>, <8786, 8>, <8787, 8>, 
<8788, 8>, <8789, 8>, <8790, 2>, <8791, 2>, <8792, 2>, <8793, 2>, <8794, 2>, 
<8795, 2>, <8796, 2>, <8797, 2>, <8803, 6>, <8804, 6>, <8805, 6>, <8806, 6>, 
<8807, 6>, <8808, 6>, <8809, 6>, <8810, 6>, <8813, 7>, <8830, 7>, <8831, 5>, 
<8846, 7>, <8847, 5>, <8865, 3>, <8866, 3>, <8867, 3>, <8868, 3>, <8869, 3>, 
<8931, 7>, <8932, 7>, <8933, 7>, <8934, 7>, <8935, 5>, <8964, 7>, <8989, 7>, 
<9042, 5>, <9093, 1>, <9094, 2>, <9095, 2>, <9096, 2>, <9097, 6>, <9098, 6>, 
<9099, 6>, <9100, 6>, <9101, 6>, <9102, 6>, <9103, 6>, <9104, 6>, <9105, 6>, 
<9106, 6>, <9107, 6>, <9108, 6>, <9109, 2>, <9110, 2>, <9111, 2>, <9112, 2>, 
<9113, 7>, <9114, 5>, <9115, 5>, <9116, 5>, <9122, 7>, <9123, 8>, <9139, 7>, 
<9155, 7>, <9156, 7>, <9190, 7>, <9191, 5>, <9192, 5>, <9193, 5>, <9200, 3>, 
<9317, 7>, <9319, 8>, <9320, 7>, <9321, 7>, <9322, 7>, <9326, 7>, <9334, 7>, 
<9344, 7>, <9381, 8>, <9436, 7>, <9444, 8>, <9445, 7>, <9446, 7>, <9447, 7>, 
<9448, 7>, <9450, 8>, <9555, 3>, <9768, 8>, <9833, 7>, <9837, 6>, <9838, 6>, 
<9839, 6>, <9840, 6>, <9841, 6>, <9842, 2>, <9843, 2>, <9844, 7>, <9847, 7>, 
<9848, 7>, <9859, 7>, <9872, 7>, <9896, 7>, <9906, 7>, <9907, 7>, <9915, 3>, 
<9967, 3>, <10104, 8>, <10229, 8>, <10271, 8>, <10661, 3>, <10824, 8>, <10873, 
7>, <10885, 7>, <10887, 7>, <10889, 6>, <10890, 6>, <11105, 1>, <11106, 3>, 
<11107, 3>, <11108, 3>, <11109, 2>, <11110, 2>, <11111, 2>, <11112, 3>, <11113, 
3>, <11114, 1>, <11115, 17>, <11120, 15>, <11122, 10>, <11124, 16>, <11127, 18>,
<11129, 10>, <11132, 12>, <11133, 12>, <11134, 12>, <11135, 12>, <11136, 12>, 
<11137, 11>, <11138, 12>, <11139, 12>, <11144, 15>, <11146, 12>, <11147, 18>, 
<11156, 21>, <11157, 10>, <11163, 13>, <11164, 12>, <11165, 12>, <11166, 12>, 
<11167, 12>, <11168, 12>, <11169, 12>, <11170, 10>, <11174, 15>, <11176, 18>, 
<11179, 15>, <11181, 10>, <11183, 18>, <11185, 10>, <11187, 15>, <11188, 18>, 
<11189, 10>, <11190, 2>, <11191, 2>, <11192, 2>, <11193, 2>, <11200, 13>, 
<11201, 15>, <11202, 15>, <11203, 15>, <11204, 15>, <11205, 15>, <11206, 15>, 
<11207, 15>, <11208, 15>, <11209, 12>, <11216, 15>, <11219, 18>, <11220, 18>, 
<11221, 18>, <11222, 18>, <11223, 18>, <11224, 18>, <11225, 18>, <11226, 18>, 
<11227, 11>, <11228, 3>, <11229, 18>, <11230, 17>, <11231, 17>, <11232, 17>, 
<11233, 17>, <11234, 17>, <11235, 17>, <11236, 17>, <11237, 17>, <11238, 10>, 
<11239, 17>, <11240, 17>, <11241, 17>, <11242, 17>, <11243, 17>, <11244, 17>, 
<11245, 17>, <11246, 17>, <11247, 17>, <11248, 17>, <11249, 15>, <11250, 18>, 
<11251, 18>, <11252, 18>, <11253, 18>, <11254, 18>, <11255, 18>, <11256, 18>, 
<11257, 18>, <11258, 15>, <11265, 10>, <11267, 15>, <11268, 15>, <11269, 15>, 
<11270, 15>, <11271, 15>, <11272, 15>, <11273, 11>, <11274, 3>, <11275, 15>, 
<11282, 15>, <11283, 17>, <11284, 2>, <11285, 2>, <11286, 2>, <11287, 2>, 
<11288, 2>, <11289, 18>, <11290, 18>, <11291, 18>, <11292, 10>, <11293, 10>, 
<11294, 10>, <11295, 10>, <11296, 10>, <11297, 10>, <11298, 10>, <11304, 10>, 
<11314, 16>, <11333, 11>, <11334, 3>, <11346, 10>, <11358, 12>, <11369, 13>, 
<11379, 12>, <11395, 11>, <11405, 16>, <11406, 10>, <11407, 10>, <11408, 10>, 
<11409, 10>, <11410, 10>, <11411, 10>, <11412, 10>, <11413, 11>, <11414, 11>, 
<11415, 11>, <11459, 11>, <11515, 11>, <11516, 11>, <11517, 11>, <11518, 11>, 
<11621, 16>, <11624, 3>, <11626, 10>, <11627, 16>, <11628, 16>, <11633, 3>, 
<11714, 12>, <11715, 16>, <11716, 16>, <11717, 16>, <11718, 13>, <11719, 13>, 
<11743, 3>, <11792, 13>, <11793, 2>, <11794, 2>, <11797, 11>, <11800, 15>, 
<11802, 10>, <11804, 16>, <11805, 17>, <11809, 16>, <11810, 12>, <11811, 12>, 
<11812, 12>, <11813, 12>, <11814, 10>, <11815, 12>, <11816, 18>, <11818, 10>, 
<11821, 3>, <11824, 11>, <11826, 21>, <11827, 15>, <11829, 12>, <11831, 12>, 
<11832, 11>, <11833, 13>, <11834, 21>, <11835, 11>, <11836, 1>, <11837, 1>, 
<11838, 15>, <11839, 18>, <11840, 10>, <11841, 18>, <11842, 16>, <11843, 2>, 
<11844, 2>, <11845, 2>, <11846, 2>, <11847, 2>, <11855, 15>, <11857, 18>, 
<11858, 15>, <11859, 15>, <11860, 15>, <11861, 15>, <11862, 2>, <11863, 15>, 
<11864, 12>, <11871, 13>, <11872, 18>, <11873, 18>, <11874, 18>, <11875, 18>, 
<11876, 18>, <11877, 18>, <11878, 17>, <11879, 17>, <11880, 17>, <11881, 17>, 
<11882, 15>, <11883, 17>, <11884, 17>, <11885, 17>, <11886, 17>, <11887, 17>, 
<11888, 17>, <11889, 11>, <11890, 3>, <11891, 17>, <11892, 18>, <11893, 18>, 
<11894, 18>, <11895, 18>, <11896, 10>, <11897, 18>, <11898, 3>, <11903, 15>, 
<11904, 15>, <11905, 15>, <11906, 15>, <11907, 15>, <11908, 15>, <11910, 10>, 
<11912, 15>, <11913, 18>, <11919, 10>, <11920, 10>, <11921, 10>, <11922, 10>, 
<11923, 10>, <11924, 10>, <11925, 10>, <11934, 17>, <11935, 17>, <11936, 17>, 
<11944, 10>, <11955, 16>, <11979, 11>, <11980, 3>, <11989, 12>, <11996, 12>, 
<12008, 11>, <12010, 10>, <12011, 10>, <12012, 2>, <12014, 11>, <12015, 11>, 
<12016, 11>, <12017, 11>, <12018, 11>, <12019, 11>, <12020, 10>, <12021, 15>, 
<12022, 15>, <12023, 15>, <12024, 15>, <12062, 11>, <12079, 12>, <12089, 13>, 
<12096, 18>, <12113, 2>, <12114, 2>, <12154, 16>, <12171, 18>, <12210, 12>, 
<12213, 3>, <12217, 16>, <12218, 10>, <12272, 11>, <12281, 18>, <12292, 13>, 
<12293, 13>, <12371, 11>, <12375, 17>, <12381, 18>, <12382, 12>, <12384, 10>, 
<12385, 16>, <12386, 11>, <12389, 10>, <12390, 12>, <12396, 15>, <12398, 10>, 
<12400, 11>, <12401, 12>, <12402, 1>, <12403, 13>, <12404, 18>, <12405, 2>, 
<12407, 18>, <12409, 10>, <12412, 15>, <12413, 15>, <12414, 11>, <12415, 15>, 
<12416, 3>, <12417, 11>, <12421, 12>, <12422, 10>, <12423, 18>, <12424, 18>, 
<12425, 18>, <12426, 2>, <12427, 18>, <12428, 17>, <12429, 17>, <12430, 17>, 
<12431, 17>, <12432, 17>, <12433, 13>, <12434, 17>, <12435, 17>, <12436, 17>, 
<12437, 17>, <12438, 10>, <12439, 18>, <12440, 18>, <12441, 15>, <12442, 18>, 
<12443, 12>, <12444, 11>, <12447, 11>, <12449, 15>, <12450, 10>, <12451, 15>, 
<12452, 15>, <12456, 15>, <12458, 2>, <12460, 10>, <12465, 13>, <12466, 17>, 
<12471, 15>, <12473, 12>, <12479, 11>, <12483, 18>, <12485, 10>, <12498, 17>, 
<12506, 18>, <12508, 10>, <12514, 11>, <12518, 15>, <12524, 2>, <12529, 10>, 
<12530, 11>, <12531, 15>, <12537, 16>, <12584, 18>, <12588, 11>, <12589, 2>, 
<12598, 10>, <12663, 16>, <12664, 10>, <12675, 17>, <12723, 13>, <12724, 15>, 
<12776, 11>, <12783, 17>, <12788, 18>, <12789, 12>, <12790, 1>, <12791, 10>, 
<12792, 18>, <12793, 17>, <12794, 22>, <12795, 10>, <12796, 12>, <12797, 12>, 
<12798, 12>, <12799, 13>, <12800, 13>, <12801, 13>, <12802, 11>, <12803, 11>, 
<12804, 2>, <12805, 2>, <12806, 2>, <12807, 2>, <12808, 2>, <12809, 2>, <12810, 
2>, <12811, 2>, <12812, 12>, <12813, 12>, <12814, 12>, <12815, 12>, <12816, 12>,
<12817, 12>, <12818, 12>, <12819, 12>, <12820, 12>, <12821, 10>, <12822, 11>, 
<12823, 11>, <12824, 11>, <12825, 11>, <12826, 11>, <12827, 11>, <12828, 11>, 
<12829, 11>, <12830, 11>, <12831, 11>, <12832, 11>, <12833, 10>, <12834, 10>, 
<12835, 10>, <12836, 10>, <12837, 10>, <12838, 10>, <12839, 10>, <12840, 10>, 
<12841, 10>, <12842, 10>, <12843, 10>, <12844, 10>, <12845, 3>, <12856, 3>, 
<12857, 15>, <12859, 15>, <12861, 18>, <12862, 10>, <12863, 10>, <12864, 10>, 
<12865, 10>, <12866, 11>, <12867, 11>, <12868, 11>, <12869, 11>, <12870, 12>, 
<12871, 12>, <12872, 12>, <12873, 12>, <12874, 2>, <12875, 2>, <12876, 2>, 
<12877, 3>, <12878, 3>, <12879, 3>, <12883, 18>, <12893, 15>, <12895, 17>, 
<12896, 18>, <12897, 18>, <12898, 18>, <12899, 18>, <12900, 18>, <12901, 18>, 
<12902, 18>, <12903, 18>, <12904, 18>, <12905, 18>, <12906, 18>, <12942, 15>, 
<12944, 18>, <12954, 3>, <12955, 17>, <12962, 18>, <12963, 3>, <12968, 17>, 
<12969, 16>, <12971, 2>, <12976, 17>, <12978, 16>, <12980, 2>, <12981, 18>, 
<12982, 18>, <12983, 18>, <12984, 18>, <12985, 18>, <12986, 18>, <12987, 18>, 
<12988, 3>, <13000, 3>, <13001, 3>, <13004, 17>, <13005, 15>, <13006, 15>, 
<13007, 15>, <13008, 15>, <13009, 15>, <13010, 15>, <13011, 15>, <13019, 18>, 
<13030, 17>, <13041, 17>, <13042, 16>, <13055, 17>, <13056, 15>, <13082, 11>, 
<13089, 15>, <13091, 18>, <13124, 17>, <13131, 15>, <13132, 15>, <13133, 15>, 
<13134, 15>, <13135, 15>, <13136, 15>, <13137, 2>, <13138, 17>, <13150, 3>, 
<13212, 15>, <13241, 17>, <13242, 12>, <13251, 17>, <13279, 18>, <13302, 17>, 
<13325, 17>, <13400, 17>, <13401, 16>, <13402, 16>, <13403, 16>, <13404, 16>, 
<13410, 17>, <13498, 17>, <13523, 17>, <13524, 17>, <13614, 17>, <13615, 17>, 
<13616, 17>, <13622, 18>, <13701, 1>, <13702, 1>, <13703, 11>, <13704, 12>, 
<13705, 12>, <13706, 12>, <13707, 11>, <13708, 11>, <13709, 1>, <13710, 11>, 
<13711, 13>, <13712, 13>, <13713, 13>, <13714, 2>, <13715, 2>, <13716, 2>, 
<13717, 12>, <13718, 12>, <13719, 12>, <13720, 11>, <13721, 12>, <13722, 12>, 
<13723, 11>, <13724, 11>, <13725, 11>, <13726, 11>, <13727, 11>, <13728, 10>, 
<13729, 11>, <13730, 11>, <13731, 3>, <13732, 10>, <13733, 10>, <13734, 10>, 
<13735, 10>, <13736, 10>, <13737, 10>, <13738, 10>, <13739, 10>, <13740, 2>, 
<13744, 17>, <13750, 18>, <13753, 11>, <13754, 10>, <13755, 10>, <13756, 10>, 
<13757, 3>, <13758, 10>, <13759, 11>, <13760, 11>, <13761, 11>, <13762, 11>, 
<13763, 11>, <13764, 12>, <13765, 12>, <13766, 12>, <13767, 2>, <13768, 3>, 
<13772, 17>, <13774, 16>, <13775, 15>, <13781, 18>, <13783, 17>, <13784, 18>, 
<13785, 18>, <13786, 18>, <13787, 18>, <13788, 18>, <13789, 18>, <13790, 18>, 
<13791, 15>, <13799, 15>, <13829, 15>, <13835, 15>, <13847, 18>, <13848, 18>, 
<13849, 18>, <13850, 18>, <13851, 17>, <13852, 16>, <13853, 17>, <13856, 17>, 
<13858, 16>, <13861, 10>, <13862, 3>, <13863, 17>, <13864, 18>, <13865, 11>, 
<13866, 15>, <13867, 15>, <13868, 15>, <13869, 15>, <13870, 15>, <13871, 15>, 
<13872, 15>, <13918, 17>, <13919, 16>, <13929, 17>, <13930, 12>, <13944, 15>, 
<13969, 15>, <13970, 15>, <13971, 2>, <13983, 17>, <13984, 16>, <13993, 17>, 
<14074, 17>, <14075, 13>, <14085, 3>, <14086, 16>, <14087, 16>, <14094, 18>, 
<14128, 17>, <14139, 17>, <14162, 12>, <14271, 17>, <14278, 17>, <14316, 17>, 
<14349, 17>, <14404, 13>, <14405, 13>, <14406, 13>, <14407, 13>, <14408, 2>, 
<14409, 12>, <14410, 12>, <14411, 12>, <14412, 12>, <14413, 12>, <14414, 12>, 
<14415, 10>, <14416, 11>, <14417, 11>, <14418, 11>, <14419, 11>, <14420, 1>, 
<14421, 10>, <14422, 10>, <14423, 10>, <14424, 10>, <14425, 10>, <14426, 10>, 
<14427, 10>, <14430, 17>, <14433, 17>, <14438, 15>, <14439, 15>, <14440, 15>, 
<14441, 15>, <14442, 15>, <14443, 15>, <14444, 15>, <14458, 18>, <14460, 18>, 
<14468, 17>, <14477, 17>, <14487, 18>, <14535, 17>, <14536, 18>, <14537, 18>, 
<14538, 18>, <14539, 18>, <14540, 18>, <14545, 17>, <14660, 16>, <14668, 2>, 
<14973, 18>, <14977, 17>, <15081, 16>, <15318, 17>, <15647, 17>, <16376, 1>, 
<16377, 3>, <16378, 3>, <16379, 2>, <16380, 2>, <16383, 17>, <16385, 10>, 
<16396, 11>, <16398, 12>, <16399, 12>, <16400, 12>, <16401, 12>, <16402, 12>, 
<16403, 12>, <16404, 12>, <16405, 12>, <16415, 18>, <16416, 18>, <16417, 18>, 
<16418, 18>, <16419, 2>, <16420, 2>, <16421, 2>, <16422, 2>, <16426, 15>, 
<16427, 15>, <16428, 15>, <16429, 15>, <16430, 15>, <16431, 15>, <16432, 15>, 
<16433, 15>, <16434, 15>, <16435, 15>, <16440, 18>, <16441, 18>, <16442, 18>, 
<16443, 18>, <16444, 18>, <16445, 18>, <16446, 18>, <16447, 18>, <16448, 18>, 
<16449, 10>, <16450, 18>, <16451, 17>, <16452, 17>, <16453, 17>, <16454, 17>, 
<16455, 17>, <16456, 17>, <16457, 17>, <16458, 17>, <16459, 17>, <16460, 17>, 
<16461, 10>, <16462, 10>, <16463, 10>, <16464, 10>, <16465, 10>, <16466, 10>, 
<16467, 10>, <16468, 10>, <16477, 16>, <16497, 11>, <16498, 3>, <16522, 12>, 
<16535, 13>, <16536, 11>, <16537, 11>, <16538, 11>, <16539, 11>, <16540, 11>, 
<16559, 13>, <16605, 16>, <16630, 16>, <16641, 3>, <16677, 13>, <16678, 16>, 
<16679, 16>, <16740, 13>, <16741, 13>, <16796, 2>, <16797, 2>, <16798, 3>, 
<16799, 3>, <16800, 3>, <16801, 3>, <16802, 2>, <16803, 2>, <16804, 2>, <16805, 
2>, <16806, 2>, <16807, 2>, <16808, 2>, <16809, 2>, <16810, 3>, <16811, 3>, 
<16812, 2>, <16813, 2>, <16814, 2>, <16815, 18>, <16816, 11>, <16817, 15>, 
<16818, 15>, <16819, 15>, <16820, 15>, <16821, 15>, <16822, 15>, <16823, 15>, 
<16824, 15>, <16825, 18>, <16826, 18>, <16827, 18>, <16828, 18>, <16829, 18>, 
<16830, 18>, <16831, 18>, <16832, 11>, <16833, 18>, <16834, 18>, <16835, 1>, 
<16836, 17>, <16837, 17>, <16838, 17>, <16839, 17>, <16840, 17>, <16841, 17>, 
<16842, 17>, <16843, 17>, <16844, 17>, <16845, 10>, <16846, 17>, <16847, 3>, 
<16848, 17>, <16849, 17>, <16850, 17>, <16851, 17>, <16852, 17>, <16853, 17>, 
<16854, 17>, <16855, 17>, <16856, 17>, <16857, 17>, <16858, 18>, <16859, 18>, 
<16860, 18>, <16861, 18>, <16862, 18>, <16863, 18>, <16864, 18>, <16865, 18>, 
<16866, 18>, <16867, 15>, <16868, 15>, <16869, 15>, <16870, 15>, <16871, 15>, 
<16872, 15>, <16873, 11>, <16874, 15>, <16875, 15>, <16876, 18>, <16877, 18>, 
<16878, 11>, <16879, 1>, <16880, 12>, <16881, 11>, <16882, 11>, <16883, 11>, 
<16884, 11>, <16885, 11>, <16886, 11>, <16892, 11>, <16894, 18>, <16904, 16>, 
<16916, 16>, <16927, 10>, <16952, 12>, <16976, 13>, <16998, 12>, <17007, 11>, 
<17018, 10>, <17021, 3>, <17029, 16>, <17031, 11>, <17032, 11>, <17033, 11>, 
<17034, 11>, <17035, 10>, <17036, 11>, <17037, 3>, <17038, 12>, <17039, 12>, 
<17040, 11>, <17041, 16>, <17042, 16>, <17043, 11>, <17044, 10>, <17045, 10>, 
<17046, 10>, <17047, 10>, <17048, 10>, <17049, 10>, <17066, 12>, <17078, 13>, 
<17126, 10>, <17163, 10>, <17175, 10>, <17186, 12>, <17197, 13>, <17205, 10>, 
<17206, 10>, <17207, 10>, <17208, 10>, <17209, 16>, <17210, 16>, <17211, 11>, 
<17213, 11>, <17329, 12>, <17366, 3>, <17383, 12>, <17430, 12>, <17584, 12>, 
<17755, 12>, <17762, 12>, <17855, 3>, <17856, 2>, <17857, 2>, <17858, 3>, 
<17859, 18>, <17867, 17>, <17871, 12>, <17872, 12>, <17873, 12>, <17874, 12>, 
<17875, 12>, <17876, 10>, <17877, 12>, <17878, 12>, <17883, 11>, <17893, 12>, 
<17894, 12>, <17895, 12>, <17896, 12>, <17897, 12>, <17898, 12>, <17910, 18>, 
<17911, 2>, <17913, 15>, <17914, 15>, <17915, 15>, <17916, 15>, <17917, 15>, 
<17918, 15>, <17919, 13>, <17922, 18>, <17923, 18>, <17924, 18>, <17925, 18>, 
<17926, 18>, <17927, 18>, <17928, 18>, <17929, 15>, <17930, 18>, <17931, 18>, 
<17932, 17>, <17933, 17>, <17934, 17>, <17935, 17>, <17936, 17>, <17937, 17>, 
<17938, 17>, <17939, 11>, <17940, 17>, <17941, 17>, <17942, 17>, <17943, 17>, 
<17944, 17>, <17945, 17>, <17946, 17>, <17947, 17>, <17948, 17>, <17949, 10>, 
<17950, 17>, <17951, 18>, <17952, 18>, <17953, 18>, <17954, 18>, <17955, 18>, 
<17956, 18>, <17957, 18>, <17958, 18>, <17961, 15>, <17962, 15>, <17963, 15>, 
<17964, 15>, <17965, 15>, <17966, 15>, <17967, 15>, <17968, 10>, <17969, 15>, 
<17972, 2>, <17973, 2>, <17974, 2>, <17975, 2>, <17976, 18>, <17977, 18>, 
<17978, 12>, <17979, 10>, <17980, 10>, <17981, 10>, <17982, 10>, <17987, 11>, 
<17988, 3>, <17998, 16>, <18026, 11>, <18057, 13>, <18081, 10>, <18083, 10>, 
<18084, 10>, <18085, 10>, <18086, 10>, <18087, 10>, <18088, 10>, <18089, 10>, 
<18090, 11>, <18091, 11>, <18092, 11>, <18110, 13>, <18140, 11>, <18186, 11>, 
<18187, 11>, <18188, 11>, <18189, 11>, <18190, 11>, <18193, 13>, <18300, 16>, 
<18390, 16>, <18394, 12>, <18471, 13>, <18472, 3>, <18475, 15>, <18477, 11>, 
<18478, 11>, <18479, 12>, <18484, 18>, <18486, 10>, <18488, 12>, <18489, 12>, 
<18490, 12>, <18491, 12>, <18492, 12>, <18493, 12>, <18494, 12>, <18495, 12>, 
<18496, 12>, <18502, 17>, <18505, 16>, <18508, 11>, <18511, 12>, <18512, 12>, 
<18514, 11>, <18516, 18>, <18517, 18>, <18518, 2>, <18519, 2>, <18520, 2>, 
<18521, 2>, <18522, 2>, <18525, 15>, <18526, 15>, <18527, 15>, <18528, 15>, 
<18529, 15>, <18530, 15>, <18531, 15>, <18532, 15>, <18533, 15>, <18534, 15>, 
<18538, 18>, <18539, 18>, <18540, 18>, <18541, 18>, <18542, 18>, <18543, 18>, 
<18544, 18>, <18545, 18>, <18546, 18>, <18547, 18>, <18548, 13>, <18549, 17>, 
<18550, 17>, <18551, 17>, <18552, 17>, <18553, 17>, <18554, 17>, <18555, 17>, 
<18556, 17>, <18557, 17>, <18558, 17>, <18559, 17>, <18560, 15>, <18561, 17>, 
<18562, 18>, <18563, 18>, <18564, 11>, <18566, 15>, <18567, 15>, <18568, 10>, 
<18569, 10>, <18570, 10>, <18571, 10>, <18572, 10>, <18573, 10>, <18574, 10>, 
<18575, 10>, <18576, 10>, <18586, 12>, <18597, 11>, <18646, 11>, <18657, 13>, 
<18659, 10>, <18660, 11>, <18661, 11>, <18662, 11>, <18663, 11>, <18664, 11>, 
<18684, 11>, <18794, 16>, <18903, 13>, <18904, 13>, <18970, 18>, <18971, 12>, 
<18972, 12>, <18974, 15>, <18977, 11>, <18979, 12>, <18980, 12>, <18981, 12>, 
<18982, 12>, <18983, 10>, <18984, 12>, <18985, 18>, <18989, 17>, <18992, 10>, 
<18994, 11>, <18995, 12>, <18996, 10>, <18997, 2>, <18998, 2>, <18999, 15>, 
<19000, 15>, <19001, 15>, <19002, 15>, <19003, 15>, <19004, 15>, <19005, 15>, 
<19006, 11>, <19007, 18>, <19008, 18>, <19009, 18>, <19010, 18>, <19011, 18>, 
<19012, 18>, <19013, 18>, <19014, 17>, <19015, 12>, <19016, 17>, <19017, 17>, 
<19018, 17>, <19019, 17>, <19020, 17>, <19021, 17>, <19022, 17>, <19023, 17>, 
<19024, 17>, <19025, 13>, <19026, 17>, <19027, 18>, <19028, 15>, <19029, 18>, 
<19030, 10>, <19031, 15>, <19032, 10>, <19033, 10>, <19034, 10>, <19035, 10>, 
<19036, 10>, <19045, 13>, <19064, 11>, <19101, 11>, <19107, 10>, <19108, 11>, 
<19109, 11>, <19110, 11>, <19111, 11>, <19156, 13>, <19175, 11>, <19185, 13>, 
<19253, 11>, <19315, 12>, <19367, 11>, <19369, 10>, <19370, 11>, <19374, 12>, 
<19375, 15>, <19377, 10>, <19384, 17>, <19438, 17>, <19439, 18>, <19444, 15>, 
<19482, 18>, <19484, 17>, <19559, 17>, <19564, 10>, <19622, 15>, <19643, 10>, 
<19644, 12>, <19645, 13>, <19646, 17>, <19647, 2>, <19648, 17>, <19649, 17>, 
<19650, 18>, <19651, 18>, <19652, 15>, <19657, 11>, <19742, 3>, <19743, 2>, 
<19745, 17>, <19747, 12>, <19751, 11>, <19752, 17>, <19753, 12>, <19754, 12>, 
<19755, 12>, <19756, 12>, <19757, 12>, <19758, 12>, <19759, 10>, <19764, 15>, 
<19765, 18>, <19766, 15>, <19767, 2>, <19768, 2>, <19769, 2>, <19770, 1>, 
<19771, 15>, <19772, 15>, <19773, 15>, <19774, 15>, <19775, 15>, <19776, 15>, 
<19777, 15>, <19778, 15>, <19779, 18>, <19780, 18>, <19781, 18>, <19782, 18>, 
<19783, 18>, <19784, 18>, <19785, 18>, <19786, 10>, <19787, 18>, <19788, 17>, 
<19789, 17>, <19790, 17>, <19791, 17>, <19792, 17>, <19793, 17>, <19794, 17>, 
<19795, 17>, <19796, 15>, <19797, 10>, <19798, 10>, <19799, 10>, <19800, 10>, 
<19801, 10>, <19802, 10>, <19825, 11>, <19826, 3>, <19836, 10>, <19855, 11>, 
<19856, 11>, <19857, 11>, <19858, 11>, <19868, 13>, <19917, 16>, <19975, 13>, 
<20012, 13>, <20013, 13>, <20056, 17>, <20068, 15>, <20076, 17>, <20172, 1>, 
<20174, 21>, <20176, 22>, <20177, 22>, <20179, 21>, <20187, 3>, <20188, 10>, 
<20189, 12>, <20190, 10>, <20191, 11>, <20192, 12>, <20193, 11>, <20194, 10>, 
<20195, 2>, <20196, 13>, <20197, 11>, <20198, 12>, <20200, 15>, <20201, 16>, 
<20203, 17>, <20204, 17>, <20205, 18>, <20206, 17>, <20207, 18>, <20208, 17>, 
<20209, 18>, <20210, 18>, <20211, 17>, <20212, 17>, <20213, 18>, <20219, 21>, 
<20220, 21>, <20221, 21>, <20222, 21>, <20240, 21>, <20251, 21>, <20257, 21>, 
<20260, 22>, <20291, 22>, <20300, 22>, <20327, 22>, <20471, 22>, <20567, 22>, 
<21101, 3>, <21102, 1>, <21103, 12>, <21104, 13>, <21110, 22>, <21117, 22>, 
<21118, 22>, <21119, 22>, <21120, 22>, <21121, 22>, <21122, 22>, <21125, 13>, 
<21127, 21>, <21128, 21>, <21129, 21>, <21130, 21>, <21138, 21>, <21151, 21>, 
<21152, 21>, <21153, 18>, <21174, 18>, <21175, 18>, <21195, 1>, <21196, 12>, 
<21197, 22>, <21200, 22>, <21203, 22>, <21205, 22>, <21206, 21>, <21207, 21>, 
<21208, 21>, <21235, 21>, <21236, 21>, <21237, 21>, <21238, 21>, <21239, 21>, 
<21240, 21>, <21256, 22>, <21264, 6>, <21314, 6>, <21333, 22>, <21422, 22>, 
<21433, 22>, <21559, 22>, <21692, 22>, <22186, 21>, <22187, 21>, <22188, 21>, 
<22189, 21>, <22190, 21>, <22191, 21>, <22192, 21>, <22197, 22>, <22198, 22>, 
<22199, 22>, <22200, 22>, <22201, 22>, <22202, 22>, <22215, 6>, <22230, 6>, 
<22234, 11>, <22260, 10>, <22420, 21>, <22421, 21>, <22422, 21>, <22423, 21>, 
<22434, 6>, <22487, 22>, <22566, 22>, <22574, 22>, <22675, 10>, <22783, 22>, 
<22784, 22>, <23165, 7>, <23166, 21>, <23167, 21>, <23168, 21>, <23169, 21>, 
<23170, 21>, <23171, 21>, <23185, 7>, <23199, 7>, <23213, 22>, <23248, 22>, 
<23250, 22>, <23309, 22>, <23310, 22>, <23311, 22>, <23312, 22>, <23313, 22>, 
<23505, 21>, <23506, 21>, <23507, 21>, <23508, 21>, <23509, 21>, <23510, 22>, 
<23511, 22>, <23512, 22>, <23513, 22>, <23520, 13>, <23555, 22>, <23623, 7>, 
<23689, 8>, <23748, 7>, <23841, 3>, <23842, 7>, <23843, 8>, <23845, 1>, <23846, 
13>, <23847, 13>, <23848, 10>, <23849, 22>, <23850, 22>, <23851, 22>, <23852, 
22>, <23853, 22>, <23854, 22>, <23855, 22>, <23856, 13>, <23857, 21>, <23858, 
21>, <23859, 21>, <23876, 21>, <23877, 21>, <23878, 18>, <23904, 18>, <24043, 
6>, <24045, 6>, <24046, 6>, <24047, 6>, <24048, 6>, <24049, 6>, <24050, 6>, 
<24051, 6>, <24052, 6>, <24053, 6>, <24131, 6>, <24132, 6>, <24133, 6>, <24134, 
6>, <24135, 6>, <24233, 6>, <24234, 6>, <24235, 6>, <24236, 6>, <24237, 6>, 
<24238, 6>, <24291, 7>, <24505, 12>, <24506, 3>, <24509, 3> ];