{ "tool_id": "art-774-beacon-seeded-fair-sampling-v2", "note": "golden_hash filled by golden-parity.test.mjs --update. Vector 1: 10-of-10 full sample, complete transcript. Vector 2: 20000-of-20000 full sample, exactly 20000 draws, transcript truncated at 50 entries (the shape the v1 sampler draw cap could not produce). Vectors 3-6: structured refusals (zero sample size, sha256: prefix, 63-hex randomness, over-ceiling population).", "vectors": [ { "name": "drand_quicknet_n10_full_sample", "description": "drand quicknet pulse round 4321000, 10-item manifest, 10-of-10 full sample: unbiased threshold reduction over a partial Fisher-Yates, exactly 10 accepted draws, complete transcript, verdict DERIVED. A full sample of this shape is where the v1 sampler draw cap first binds at larger populations.", "policy_parameters": { "beacon_source": "drand_quicknet", "beacon_round": "4321000", "beacon_randomness": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", "item_manifest_hash": "9f86d081884c7d659a2feaa0c55ad015a3bf4f1b2b0b822cd15d6c15b0f00a08", "item_count": 10, "sample_size": 10, "algorithm_id": "hmac-drbg-sha256-v2" }, "output_payload": { "verdict": "DERIVED", "manual_review_required": false, "beacon_source": "drand_quicknet", "beacon_round": "4321000", "beacon_randomness": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", "item_manifest_hash": "9f86d081884c7d659a2feaa0c55ad015a3bf4f1b2b0b822cd15d6c15b0f00a08", "item_count": 10, "sample_size": 10, "algorithm_id": "hmac-drbg-sha256-v2", "seed_hex": "7ad621a6c02245bd61170cd5df633f2464fe26816c0db0b4647bd358c9ea8684", "selected_indices": [ 2, 8, 9, 0, 1, 7, 3, 4, 6, 5 ], "draws_used": 10, "reduction_rejects": 0, "derivation_transcript": [ { "draw": 0, "hmac_hex": "dc186f2a0171dad106ead199b8e596e0fa6628cadbce8b84f5cc53b67064df6d", "result": "selected", "position": 0, "swap_index": 2, "selected_index": 2 }, { "draw": 1, "hmac_hex": "2c043070ddfac04190b919f09ba7c2102a4a7556553a126426b74bb2649c2ddf", "result": "selected", "position": 1, "swap_index": 8, "selected_index": 8 }, { "draw": 2, "hmac_hex": "7396b987a617a9c39bfa7d898d5874160e421411de164234247e6bac8003629b", "result": "selected", "position": 2, "swap_index": 9, "selected_index": 9 }, { "draw": 3, "hmac_hex": "dc7d8b484c371a621062cb5a72e8e86b6120169b89a9f86b1cf6e87907bce0d1", "result": "selected", "position": 3, "swap_index": 9, "selected_index": 0 }, { "draw": 4, "hmac_hex": "b8d3308066882b9664e0e0d5a32843342fb42da2ea72ce6843ef0490a19973c6", "result": "selected", "position": 4, "swap_index": 8, "selected_index": 1 }, { "draw": 5, "hmac_hex": "f96948b53199166a17f7b0c8daaf745211ceffcfe985c3ec6336e128e66b30b3", "result": "selected", "position": 5, "swap_index": 7, "selected_index": 7 }, { "draw": 6, "hmac_hex": "9255a9b3d4f7fa8e08e09d84c56e09febe0a72aeb69c99a4ae3f63af42fd92d5", "result": "selected", "position": 6, "swap_index": 9, "selected_index": 3 }, { "draw": 7, "hmac_hex": "8b96426638312ce1436452a810fcdeb955f2a7d349ae27e6d4310b1fdc763a01", "result": "selected", "position": 7, "swap_index": 8, "selected_index": 4 }, { "draw": 8, "hmac_hex": "32f82193d0b725b304d7ea6424e4883b1c66e7f27b61c9cb0712b70be439b9ac", "result": "selected", "position": 8, "swap_index": 9, "selected_index": 6 }, { "draw": 9, "hmac_hex": "0c9d80a2dae0a433b257bf0c0c40c3c70cd5f8602d73e04353cffe4f8555df5c", "result": "selected", "position": 9, "swap_index": 9, "selected_index": 5 } ], "transcript_truncated": false }, "golden_hash": "a002e157d9df6dec4c7c94899e2f8c9bd798cc931ee9f7c2b514e90ef262ba6c" }, { "name": "nistir_8213_n20000_full_sample", "description": "NISTIR-8213 pulse, 20000-item manifest, 20000-of-20000 full sample: succeeds in exactly 20000 draws. The v1 sampler would have needed about 216000 coupon-collector draws and failed against its 200000 draw cap; v2 has no cap. Transcript capped at 50 entries with transcript_truncated true.", "policy_parameters": { "beacon_source": "nistir_8213", "beacon_round": "9993141", "beacon_randomness": "61e44bb1e8e3c091f76725f3361e74153d747ff4823919828a5350451d460076", "item_manifest_hash": "0356d026374644419a064a659e7e580aa145c8688c03d853fe7f385fcca9445d", "item_count": 20000, "sample_size": 20000, "algorithm_id": "hmac-drbg-sha256-v2" }, "output_payload": { "verdict": "DERIVED", "manual_review_required": false, "beacon_source": "nistir_8213", "beacon_round": "9993141", "beacon_randomness": "61e44bb1e8e3c091f76725f3361e74153d747ff4823919828a5350451d460076", "item_manifest_hash": "0356d026374644419a064a659e7e580aa145c8688c03d853fe7f385fcca9445d", "item_count": 20000, "sample_size": 20000, "algorithm_id": "hmac-drbg-sha256-v2", "seed_hex": "5bbeca5db5ed0bbc6fa667d683f3d8d87c4f9580d6ba87240d27df7b62382215", "selected_indices": [ 9197, 892, 19327, 207, 12347, 4479, 9505, 16754, 11295, 6709, 19694, 15952, 10159, 3127, 16875, 9940, 8756, 19648, 1094, 359, 219, 16721, 17186, 5386, 3888, 1441, 17164, 14252, 3111, 2366, 4523, 2831, 12991, 7915, 18139, 1130, 3779, 16449, 4708, 6165, 8290, 12298, 9449, 5786, 1929, 9690, 19012, 11448, 7031, 2916, 8942, 9470, 15144, 3264, 17524, 13400, 1634, 10432, 17636, 17745, 5748, 13065, 7074, 18929, 14118, 93, 2823, 10433, 5288, 17009, 788, 13410, 2166, 11706, 10642, 18568, 2887, 10363, 9533, 9517, 8082, 4894, 5922, 15360, 7515, 18634, 14304, 15245, 3613, 7123, 19493, 884, 11896, 9514, 15233, 8524, 14538, 13336, 17266, 19227, 2395, 15239, 14335, 5977, 9868, 11166, 16966, 17058, 13279, 12118, 15508, 18047, 11694, 16135, 12262, 9413, 9253, 3299, 1567, 8602, 18973, 17580, 11938, 18015, 3194, 12446, 18599, 19982, 2535, 5332, 12399, 19160, 7645, 15186, 11240, 7354, 15617, 10423, 14289, 17615, 8643, 8103, 11482, 19740, 19560, 11719, 6477, 15608, 13355, 14158, 12787, 13560, 17034, 19081, 3774, 11917, 10787, 1201, 12735, 2345, 13831, 1973, 8274, 18626, 1309, 9702, 19181, 5335, 10614, 16498, 9132, 18378, 7481, 3310, 17407, 19262, 11155, 4420, 17746, 18227, 2342, 16794, 16676, 2540, 4261, 17104, 15972, 1469, 12066, 3611, 14828, 16824, 12872, 9418, 19629, 9501, 14203, 18528, 16594, 6541, 2485, 7756, 6181, 7298, 2179, 15719, 3519, 17288, 16616, 5255, 7875, 16933, 5508, 4418, 11292, 12550, 6570, 11242, 16859, 9953, 11157, 12829, 1893, 7573, 17064, 7408, 14760, 8833, 15636, 1016, 381, 14618, 19176, 6132, 19260, 7953, 1646, 1722, 12766, 12174, 15680, 4700, 12754, 9540, 2463, 15495, 9334, 8714, 8495, 1760, 19071, 15225, 16704, 2962, 17899, 10559, 10884, 9748, 13321, 9842, 5840, 12311, 10225, 1745, 3298, 19222, 3862, 10110, 12285, 9740, 5551, 9905, 7790, 5554, 12714, 7196, 8603, 5152, 5866, 13723, 14890, 11631, 5416, 3539, 9072, 13763, 3303, 4901, 17678, 15785, 18103, 10694, 7075, 7881, 14998, 19942, 17551, 12719, 7726, 7340, 19075, 8305, 5343, 1391, 1741, 10543, 1058, 5086, 14527, 432, 14151, 409, 19157, 13448, 14837, 1154, 5741, 7135, 8466, 214, 2509, 809, 5690, 19711, 10101, 11496, 12819, 1934, 11994, 15458, 1104, 9558, 4072, 15798, 4861, 5713, 4102, 7895, 7127, 637, 11579, 11416, 8039, 8403, 11254, 10266, 7346, 14541, 9142, 10738, 9923, 3869, 3203, 2867, 5295, 12437, 12427, 4674, 6485, 8896, 5452, 8949, 4108, 19656, 3148, 19972, 8856, 3399, 3377, 754, 19990, 11263, 10776, 9837, 6395, 8809, 6025, 19895, 7280, 9362, 19439, 15620, 10761, 10576, 10572, 14339, 9675, 12043, 8452, 607, 4037, 2917, 16084, 2915, 2638, 3300, 2020, 12846, 17731, 4223, 988, 19938, 13936, 17230, 12060, 17386, 12795, 12366, 18581, 14135, 2527, 10541, 1496, 19237, 1667, 5100, 8441, 15812, 16677, 15911, 11942, 11062, 19146, 12407, 17849, 5656, 9889, 16199, 16564, 3123, 13774, 1542, 7399, 17532, 5928, 15226, 10648, 65, 1981, 604, 16105, 8241, 9237, 13714, 2648, 14674, 10902, 2730, 18351, 84, 11016, 4490, 6320, 13551, 9219, 9718, 12729, 5536, 10001, 15361, 18613, 9822, 3266, 12389, 16202, 19173, 6749, 12455, 18280, 19419, 9277, 11473, 2576, 11640, 173, 13752, 19894, 559, 9883, 9405, 19215, 18322, 16957, 17863, 7053, 16949, 1250, 11370, 11836, 835, 3065, 4122, 11692, 3900, 13810, 2433, 8457, 19928, 17295, 3334, 16964, 13285, 148, 15959, 3297, 2288, 11445, 15697, 4082, 2157, 13917, 1767, 10193, 916, 10769, 763, 16077, 9441, 3870, 1319, 9011, 16424, 1681, 5555, 1433, 5795, 16683, 3458, 9160, 18462, 13116, 12867, 17970, 4151, 8240, 12809, 2122, 4521, 3242, 19112, 18153, 1459, 8870, 17312, 19372, 6961, 5715, 15268, 12996, 13524, 15766, 2428, 18688, 17894, 2457, 19090, 11528, 11363, 16567, 4052, 2979, 17076, 17840, 1117, 11003, 928, 18638, 13317, 1304, 14108, 14337, 118, 2221, 13586, 8037, 2649, 11592, 1005, 15619, 2566, 14366, 5350, 12147, 2815, 47, 12369, 17221, 12124, 15181, 11250, 13648, 2761, 15093, 9494, 1443, 1096, 9815, 18147, 8650, 4268, 4106, 14352, 9490, 8361, 19028, 10250, 1677, 17364, 6843, 18553, 5271, 13031, 15745, 5534, 8504, 10409, 16984, 9343, 16012, 18572, 3607, 9979, 13055, 13888, 9907, 18361, 17231, 13876, 15890, 5318, 16614, 6888, 15530, 12639, 130, 914, 17442, 14351, 19784, 8663, 3527, 12930, 5115, 6652, 15598, 13297, 7029, 2389, 13284, 14825, 416, 4493, 17775, 16921, 2381, 4427, 17117, 11722, 9587, 7945, 18426, 8304, 12032, 16178, 12611, 14413, 14959, 5929, 8167, 7315, 5739, 6489, 14453, 12145, 3909, 15821, 13940, 19113, 8905, 13376, 9448, 16673, 7446, 1922, 4158, 14644, 19195, 14657, 14835, 14661, 10792, 17664, 16702, 623, 150, 18647, 10598, 1243, 1742, 2888, 18085, 19947, 5758, 12965, 13070, 2439, 5808, 16566, 13143, 12280, 19354, 4019, 873, 10783, 6356, 7519, 14373, 11635, 19121, 12572, 11841, 12157, 12933, 13049, 12370, 9315, 15772, 12989, 9971, 7836, 16992, 10379, 10367, 728, 18268, 9433, 16634, 281, 2524, 791, 5587, 14122, 15494, 12797, 8339, 17991, 14499, 5406, 7831, 3446, 7228, 14071, 4174, 7879, 15487, 231, 9154, 10461, 7661, 12230, 4796, 17561, 415, 10280, 5985, 8268, 4130, 17486, 1108, 11075, 15510, 9455, 4982, 6504, 5099, 1784, 8971, 8510, 7679, 11022, 3055, 16069, 4507, 17368, 12602, 10384, 5798, 16747, 4197, 11158, 793, 16388, 3995, 9780, 9650, 2216, 4738, 2097, 5870, 10450, 2711, 10343, 1842, 2957, 13743, 16174, 15649, 18608, 7193, 671, 3768, 16179, 7972, 210, 14922, 15543, 11495, 4739, 2202, 4123, 14514, 17793, 16850, 6612, 962, 11195, 14049, 12845, 10631, 14755, 7786, 4990, 3249, 16427, 10315, 5823, 6483, 18506, 13244, 18602, 10184, 725, 5637, 10923, 18358, 12142, 18535, 18853, 5969, 13030, 8497, 11953, 8387, 4459, 10336, 10845, 15787, 3863, 19908, 18310, 16533, 7272, 6240, 7812, 6564, 9606, 11583, 7000, 12465, 10734, 17116, 2309, 12681, 19525, 1924, 14110, 13440, 5363, 17900, 17195, 10346, 15251, 13863, 1828, 16557, 10586, 10640, 7242, 353, 5185, 13758, 15392, 1794, 8930, 5453, 19583, 13293, 11822, 17795, 5441, 17874, 427, 9715, 13424, 4208, 18627, 13660, 6439, 18449, 5151, 5321, 9137, 13638, 18028, 9217, 13859, 2940, 16562, 4581, 11738, 8383, 16542, 17647, 16233, 14691, 14645, 17423, 839, 9055, 8889, 7486, 17464, 10496, 19907, 10993, 965, 5857, 2049, 8307, 13129, 944, 218, 3156, 19513, 8354, 7125, 14353, 7069, 478, 13646, 6542, 7926, 11987, 5923, 18776, 1429, 9843, 13719, 8516, 2592, 12785, 7581, 18937, 9444, 10998, 5799, 2551, 4332, 18830, 12000, 19452, 13503, 4703, 17227, 12462, 10603, 6285, 10100, 10155, 4950, 7764, 4741, 18865, 818, 12859, 14452, 8919, 19891, 7277, 1047, 9902, 11272, 9894, 17689, 3776, 7715, 10651, 2420, 7937, 9030, 13235, 14119, 6751, 8820, 11321, 13220, 1578, 13812, 16300, 11294, 16717, 19558, 14545, 15916, 5253, 18362, 16051, 15644, 15207, 2494, 4049, 1788, 15747, 639, 16020, 13308, 292, 19668, 9813, 8688, 19598, 8744, 12257, 11111, 11325, 7609, 11810, 833, 19847, 11441, 13266, 13082, 8023, 2625, 656, 6245, 13417, 12890, 460, 10609, 17456, 1683, 15949, 10002, 13937, 15452, 6231, 10094, 2496, 4533, 11275, 1947, 14292, 15892, 10057, 1516, 6824, 6204, 15891, 1280, 14451, 7205, 16884, 8808, 16725, 11438, 8529, 6966, 10495, 5102, 12528, 3469, 14362, 9969, 319, 1109, 5285, 18650, 3315, 3652, 14834, 2277, 6326, 1550, 3684, 12087, 13630, 19937, 582, 6634, 8828, 4144, 6882, 2552, 9966, 11241, 15802, 7133, 1249, 17788, 12128, 1551, 9900, 7235, 18680, 15134, 16569, 7372, 17345, 10634, 11223, 17727, 2771, 19769, 12863, 6816, 1976, 12625, 12307, 10880, 14695, 6987, 17415, 8147, 8078, 731, 1878, 12125, 11893, 6185, 9652, 17470, 14483, 11536, 16336, 3898, 830, 1406, 664, 6688, 3819, 17237, 14932, 5776, 12489, 15240, 19751, 9885, 420, 7617, 4454, 9925, 18909, 4788, 10071, 13614, 5338, 13128, 8999, 5546, 16022, 5887, 11081, 13898, 14736, 15525, 17110, 19643, 5349, 17287, 3565, 4000, 14283, 4324, 8156, 6683, 17242, 14626, 4185, 6124, 6516, 16769, 16626, 856, 14607, 3548, 7705, 3305, 5004, 2327, 17083, 12822, 5974, 7616, 4171, 14613, 2607, 2778, 6430, 5131, 9851, 17030, 6486, 9122, 6689, 6716, 7984, 1928, 18352, 16211, 14909, 8864, 16420, 12958, 18621, 14160, 652, 17802, 4586, 2975, 19329, 11916, 4262, 15561, 14706, 8815, 16636, 14586, 15988, 17255, 6583, 16104, 10218, 18224, 11, 3217, 16378, 15862, 10870, 2375, 13258, 8978, 3758, 8000, 7116, 14415, 2688, 3856, 4304, 4608, 3222, 15466, 18545, 9728, 9657, 3420, 3018, 14341, 435, 18799, 5466, 517, 7438, 18134, 7162, 10844, 19936, 13170, 7353, 11083, 4641, 4530, 3259, 5825, 9483, 14326, 291, 10090, 10615, 18498, 4606, 12077, 7999, 12340, 16119, 15505, 15874, 15559, 18684, 5804, 10818, 11469, 14588, 8749, 14583, 11349, 7414, 9747, 14543, 8912, 14134, 13559, 9260, 5834, 15566, 14575, 16311, 14560, 15740, 11078, 12757, 4289, 14294, 15061, 19660, 12020, 1482, 16349, 13531, 2920, 5737, 15560, 622, 7845, 13509, 1289, 1650, 3358, 849, 11607, 18965, 168, 2067, 18520, 16887, 13598, 5753, 5896, 3937, 9308, 306, 11327, 18676, 11602, 5044, 1389, 1081, 12646, 9722, 1481, 13776, 5621, 13036, 18704, 7753, 7731, 19072, 4036, 287, 1716, 4035, 1440, 16445, 18184, 12229, 16587, 16691, 18928, 3961, 5521, 8964, 11986, 17923, 5955, 13738, 1142, 17708, 16795, 1808, 147, 3777, 3675, 9383, 18221, 12760, 3397, 7744, 2388, 5221, 11339, 11489, 11493, 7333, 2919, 12756, 3942, 17202, 12761, 9852, 9980, 16255, 5389, 1873, 7420, 2600, 16251, 658, 3122, 17720, 1345, 115, 5419, 18258, 6633, 2211, 11585, 710, 4671, 6615, 3597, 18037, 19331, 12005, 14481, 13544, 1292, 5576, 5101, 361, 19035, 5189, 15465, 18596, 9801, 10525, 4695, 18693, 13416, 18686, 12439, 2039, 3694, 17256, 28, 4706, 17025, 17813, 19864, 5871, 19590, 7289, 17806, 18991, 18246, 2237, 4734, 13533, 4711, 9017, 18220, 1576, 12053, 11310, 17073, 3978, 13346, 4740, 6014, 10692, 19710, 10646, 11977, 5930, 13945, 6906, 13085, 11291, 15290, 5173, 15607, 16686, 3687, 18080, 4048, 9666, 1752, 17016, 6525, 17245, 7669, 11053, 16838, 9853, 9525, 802, 10668, 4835, 18867, 15919, 7968, 15803, 19519, 9827, 9564, 17919, 1791, 5146, 3751, 13237, 1853, 6194, 16698, 12292, 5056, 2586, 10628, 19547, 15109, 1999, 15894, 6066, 11869, 4663, 18363, 3170, 7675, 6830, 4358, 13344, 3571, 8766, 18730, 17229, 5756, 4561, 8841, 9325, 12404, 18274, 724, 3651, 34, 19428, 13359, 7688, 3660, 12375, 14347, 7338, 15183, 4585, 15979, 19031, 4676, 18983, 17575, 9034, 4404, 18643, 9155, 534, 377, 7723, 19584, 14010, 12148, 4383, 19652, 7052, 8341, 12702, 7476, 19103, 10635, 4031, 14150, 15310, 13498, 4973, 18401, 17860, 3549, 12979, 17396, 3975, 1152, 13398, 4, 10545, 14412, 836, 18940, 3430, 18766, 194, 16019, 13068, 3333, 12122, 6963, 14967, 3230, 2280, 11820, 12952, 11878, 16054, 10882, 1729, 17867, 11395, 16111, 18952, 15421, 11065, 16865, 8642, 15319, 5547, 13878, 1456, 9052, 10378, 5544, 12451, 614, 16229, 16903, 328, 10118, 1012, 12190, 4934, 14552, 13618, 13076, 1913, 7837, 5954, 9249, 8772, 6947, 19680, 7506, 688, 8192, 6351, 9509, 10045, 7489, 7356, 18954, 18749, 13075, 19226, 10321, 3693, 2605, 18043, 2358, 1769, 16138, 9767, 19313, 14600, 4849, 4352, 224, 15441, 11231, 9106, 19369, 4159, 4589, 14983, 15482, 8955, 7076, 19750, 10394, 6659, 6717, 9721, 1437, 15372, 10167, 507, 16331, 3369, 13515, 17060, 10030, 14571, 5181, 6355, 3404, 3095, 19023, 14085, 16576, 19830, 907, 16506, 15169, 14358, 19458, 15723, 6533, 9993, 8946, 9102, 13102, 5528, 4085, 2835, 10931, 5421, 11695, 18926, 15685, 13507, 16186, 7763, 6121, 1938, 8792, 18919, 9592, 10554, 19312, 1640, 12676, 10821, 17330, 4205, 15526, 18062, 13938, 12949, 12628, 7233, 8515, 19314, 3477, 6153, 10949, 11912, 17842, 13357, 9364, 13130, 19951, 3372, 13846, 14111, 5569, 3294, 15342, 14905, 5515, 15229, 16108, 11507, 11517, 4539, 2165, 6113, 15921, 6367, 18698, 12554, 16018, 1822, 12895, 11981, 845, 9582, 877, 9327, 8042, 10412, 1396, 12707, 11659, 4334, 7231, 12513, 6460, 16545, 5325, 10901, 7885, 16486, 4133, 18550, 14287, 1112, 9456, 15632, 1091, 8888, 18279, 4509, 9022, 9387, 15513, 4092, 11350, 18715, 996, 815, 19187, 17687, 7188, 13040, 9329, 1105, 19831, 17272, 574, 1703, 17174, 7769, 10982, 3795, 1245, 8377, 14707, 2700, 18982, 16321, 1664, 1286, 18067, 2522, 12794, 9800, 10247, 2151, 687, 11267, 12411, 15417, 18658, 8427, 3276, 879, 280, 17043, 5342, 6643, 13851, 1972, 2587, 15338, 17139, 2834, 19717, 13672, 3903, 8902, 13017, 1116, 2437, 2150, 7458, 9207, 15536, 899, 17270, 4306, 17750, 9504, 6499, 5030, 7217, 1939, 16574, 1949, 5552, 16549, 5773, 1107, 6867, 16958, 4562, 16967, 7996, 15980, 16430, 19500, 7509, 1162, 4683, 18866, 19860, 18066, 15639, 6980, 8662, 15657, 10163, 8154, 16167, 11538, 1065, 9098, 7983, 6222, 5686, 9589, 17055, 14881, 2333, 301, 1662, 13136, 17121, 895, 18070, 7650, 762, 379, 17922, 17679, 13696, 13298, 1193, 16818, 9097, 13966, 9739, 5751, 3822, 7255, 16843, 3804, 4852, 11651, 15847, 6678, 10149, 12551, 15992, 8044, 12634, 15702, 3202, 7815, 2539, 7384, 195, 14375, 17192, 4505, 14443, 10539, 11718, 12966, 4077, 14685, 1803, 133, 14700, 12117, 19866, 2985, 11007, 9862, 9632, 13786, 13063, 12826, 8591, 13486, 4160, 8336, 7536, 4090, 2923, 8728, 8032, 6221, 5507, 17382, 11809, 19786, 10369, 5502, 2537, 504, 17588, 2276, 15848, 10008, 19683, 6239, 16462, 14047, 11818, 5676, 2266, 15500, 1793, 7020, 12332, 8396, 8038, 98, 13589, 13264, 17748, 10799, 18234, 18036, 6425, 1781, 2027, 16904, 510, 4766, 19554, 16842, 6409, 10963, 11954, 17941, 5187, 21, 15816, 7327, 3174, 19426, 13681, 15833, 16974, 7822, 9156, 6328, 263, 12922, 1537, 11048, 15068, 9935, 18886, 14263, 2363, 9076, 10511, 8424, 5198, 9928, 12598, 13582, 12335, 16157, 11060, 9546, 68, 6967, 17961, 4761, 15958, 3227, 18587, 3085, 13924, 4140, 8917, 875, 18384, 9242, 14963, 312, 1031, 13154, 14808, 18536, 8588, 5370, 17086, 846, 16276, 10170, 17476, 13707, 12637, 8934, 10713, 9399, 18897, 2424, 17573, 6459, 15503, 13000, 2180, 3515, 14368, 7050, 15385, 3711, 12520, 14738, 3894, 5963, 10750, 14854, 18348, 13832, 18405, 19738, 1394, 17962, 11497, 3050, 7210, 2182, 13591, 12703, 10172, 10493, 3952, 10464, 11012, 13311, 67, 1680, 19202, 3465, 3378, 6253, 13294, 4743, 10820, 16954, 713, 1400, 15159, 17865, 3906, 5455, 15660, 15795, 9799, 7343, 1686, 12563, 17565, 3544, 11600, 1110, 12717, 12319, 14006, 2946, 16534, 14200, 15332, 3003, 19695, 4017, 2468, 15160, 17199, 19388, 9203, 16313, 5946, 14152, 12160, 14148, 18677, 9304, 14976, 1435, 6023, 17497, 8132, 294, 7858, 16558, 15963, 19651, 624, 5911, 11047, 8855, 3438, 6955, 6338, 9002, 8891, 11101, 2434, 18953, 15439, 6710, 19893, 7662, 798, 13166, 16281, 2408, 412, 6085, 1528, 14610, 19647, 18744, 12121, 343, 2774, 8337, 11064, 14492, 4566, 16612, 2536, 19497, 10031, 10074, 842, 6898, 3154, 13513, 19055, 19317, 4836, 11813, 7709, 3328, 7886, 19485, 13010, 19073, 13382, 14194, 16761, 2800, 15906, 12127, 18307, 19114, 6551, 2806, 6636, 12387, 19901, 2187, 7450, 511, 12213, 6093, 10913, 4751, 8231, 2894, 9998, 5806, 3686, 12559, 6361, 14726, 2064, 5010, 2386, 7969, 1134, 2818, 6377, 11014, 16446, 12603, 16520, 62, 134, 19530, 16878, 14389, 1090, 5413, 1057, 18903, 7841, 6141, 6218, 5497, 16765, 15200, 5728, 19565, 6082, 17044, 13740, 12345, 7426, 18316, 5304, 12275, 3311, 15753, 17408, 653, 2642, 18148, 2629, 15348, 6690, 7516, 5447, 7872, 7034, 6195, 13021, 5926, 15943, 18548, 16365, 15327, 2935, 17527, 7423, 15266, 8143, 10912, 16475, 3451, 17866, 19480, 15932, 8634, 3354, 16249, 9944, 16168, 4203, 19542, 15180, 18754, 16114, 11874, 505, 3558, 39, 18654, 15726, 9495, 7823, 5662, 17446, 494, 17434, 6223, 222, 1027, 2641, 3622, 13081, 3160, 7751, 6687, 13656, 13869, 5038, 3263, 6091, 10596, 2219, 7357, 3424, 3782, 5052, 18389, 1269, 5293, 6910, 15162, 11433, 7565, 10829, 9027, 17579, 11018, 18244, 15734, 4618, 19839, 3606, 19752, 8701, 13748, 18200, 8359, 2758, 9069, 12508, 12861, 1235, 16538, 2760, 3367, 9818, 6406, 11935, 18157, 5519, 9232, 16137, 8689, 19534, 3872, 7304, 11259, 16871, 4593, 83, 5124, 12837, 7045, 18412, 1404, 4429, 303, 16036, 6544, 9616, 14397, 1428, 13332, 12678, 3948, 17506, 82, 784, 16483, 12517, 19958, 6424, 6498, 14296, 14978, 1572, 14788, 5889, 2017, 6266, 10569, 17480, 5633, 18803, 1688, 51, 11860, 10212, 8059, 12842, 8632, 15062, 15614, 16118, 11340, 12943, 756, 16496, 14145, 13161, 14608, 1059, 972, 9105, 770, 17082, 19211, 10953, 2692, 12770, 15005, 6030, 12711, 3099, 10874, 10441, 15765, 19421, 16232, 7371, 951, 4790, 18821, 7256, 19092, 18273, 17897, 1167, 18630, 4983, 8145, 2548, 6646, 9779, 13708, 18225, 13125, 9901, 7148, 15320, 18805, 5531, 16730, 7814, 5736, 12954, 14870, 3223, 1183, 11648, 14486, 6685, 1498, 2336, 19992, 15881, 1697, 16302, 2285, 10137, 8081, 17001, 11608, 5069, 16641, 19835, 9179, 12971, 2274, 2602, 3976, 5987, 5294, 11355, 4471, 11743, 16074, 14199, 15065, 16793, 17853, 10211, 2570, 19904, 17432, 10188, 10224, 14929, 7776, 7051, 436, 14198, 4145, 7424, 12270, 8022, 17657, 2348, 13912, 4258, 16148, 3744, 5261, 699, 3407, 1462, 217, 18481, 12438, 3394, 13921, 19701, 1868, 4239, 261, 11408, 2787, 12938, 19371, 2734, 12533, 10014, 14776, 18077, 15594, 4742, 6837, 15799, 6322, 18198, 6309, 11177, 19341, 2563, 19218, 12373, 11796, 4838, 9094, 13797, 18439, 254, 7488, 1707, 16945, 6336, 16182, 5023, 7078, 12654, 2978, 13670, 3881, 8893, 18560, 16728, 1157, 9104, 1505, 10666, 6513, 11265, 1520, 8173, 7948, 13061, 3468, 15554, 1764, 9895, 13176, 3461, 15275, 11704, 17278, 4537, 12191, 2135, 2814, 14829, 5501, 19815, 17823, 1713, 6899, 7134, 1604, 15731, 955, 10903, 1594, 5960, 16961, 19899, 5375, 5314, 1824, 14450, 410, 3126, 267, 8935, 498, 6267, 10223, 2571, 5824, 19254, 14060, 17483, 4016, 5590, 15053, 7364, 11774, 14166, 10805, 3252, 14005, 10361, 8160, 17898, 10048, 12584, 17884, 10826, 4098, 16869, 12165, 9967, 12569, 10955, 19900, 2640, 740, 9775, 13243, 1855, 4453, 479, 13640, 3036, 18308, 6034, 1587, 2748, 3427, 15532, 7004, 13622, 12056, 1525, 5541, 16431, 16972, 12282, 5868, 9188, 2416, 6261, 9634, 9134, 14988, 11087, 2784, 14421, 18327, 7632, 14340, 15527, 804, 1409, 9370, 4007, 18868, 17428, 7479, 16955, 16651, 2896, 16687, 15041, 3186, 6446, 10153, 7666, 11125, 12197, 15457, 10975, 8422, 2101, 13093, 3829, 18573, 4981, 9378, 14217, 13217, 3218, 17309, 4175, 1279, 4680, 692, 2085, 17952, 16780, 7259, 3940, 18811, 8715, 17696, 9609, 14961, 11853, 1200, 19601, 11270, 17468, 719, 14398, 14021, 16467, 6514, 11128, 9297, 12574, 16410, 15947, 16952, 4967, 19021, 13520, 14315, 1182, 12406, 1454, 16640, 7388, 440, 10304, 18861, 14167, 9293, 18640, 15398, 1181, 19705, 15866, 3072, 17637, 16817, 17896, 18487, 752, 12034, 9157, 11230, 11553, 3439, 4510, 9235, 585, 10678, 19697, 18813, 4105, 18075, 9867, 19283, 19589, 4372, 840, 14761, 5559, 278, 13315, 5355, 1366, 5777, 1548, 4467, 2655, 10643, 14038, 1019, 18315, 297, 14864, 19987, 666, 8807, 6702, 13907, 4545, 6746, 11344, 9339, 14617, 5281, 13206, 206, 1923, 19957, 15656, 9968, 11564, 10028, 18875, 3839, 314, 13508, 7381, 17836, 11174, 1579, 15294, 17253, 10272, 6706, 4078, 12333, 2206, 7689, 595, 5387, 3855, 7089, 12673, 12237, 1033, 12002, 12873, 3483, 19773, 4025, 8499, 16885, 14052, 15986, 1953, 2344, 1865, 14223, 12834, 7713, 11243, 6237, 9199, 11561, 4432, 753, 3958, 14772, 1555, 18223, 3614, 13698, 9256, 18489, 12580, 10232, 8748, 13773, 18552, 17512, 7950, 3501, 5478, 13218, 4402, 13140, 17114, 2149, 8264, 19737, 16753, 6627, 11928, 1472, 16924, 7932, 9446, 10277, 6857, 6506, 7690, 7761, 9259, 3471, 6105, 15020, 18809, 6889, 7470, 14516, 19685, 13785, 17757, 543, 6417, 576, 12643, 8180, 4777, 5976, 12161, 3121, 794, 2669, 14573, 18795, 18494, 9531, 4942, 4544, 600, 13368, 19726, 14446, 12715, 17443, 14636, 18646, 12500, 19978, 12975, 4992, 3074, 13549, 13944, 3882, 2918, 14518, 5190, 318, 15857, 14382, 1685, 9726, 3990, 18746, 1380, 19962, 8859, 19383, 12556, 10986, 16604, 2959, 15299, 5901, 13629, 10883, 11315, 6943, 10744, 14715, 4826, 7743, 3601, 19070, 8413, 18065, 9797, 18444, 17768, 16347, 9553, 7316, 18526, 18554, 11468, 3957, 12595, 4446, 17321, 13679, 9624, 16364, 8270, 19020, 12396, 15151, 10357, 13732, 9008, 5583, 12893, 18923, 3876, 13421, 4574, 661, 15611, 13446, 3621, 6876, 2199, 9280, 18009, 10958, 13247, 12097, 13880, 2044, 18278, 19080, 11478, 17620, 1819, 15951, 14466, 15491, 1339, 14662, 5731, 19880, 55, 30, 16394, 16370, 7322, 16706, 6523, 6670, 2684, 4769, 10203, 18817, 4821, 16853, 1191, 12959, 14721, 6873, 15026, 11880, 12123, 2289, 6691, 1364, 13989, 12836, 801, 19981, 19644, 7410, 16408, 13516, 18174, 4931, 6319, 19854, 8332, 364, 19791, 9103, 5019, 11189, 12618, 9656, 18994, 3067, 8759, 13422, 1050, 11215, 18408, 6026, 16328, 11974, 15355, 7734, 11244, 2844, 14792, 12900, 6708, 3241, 6177, 9588, 7349, 7477, 14952, 17568, 300, 6922, 19707, 6845, 12691, 208, 152, 14364, 889, 19365, 6170, 7746, 18653, 2284, 13894, 4415, 10296, 4987, 18402, 17302, 16731, 1743, 10935, 15322, 499, 15249, 11488, 14957, 5245, 7727, 14917, 13470, 2658, 234, 13432, 2501, 12776, 12363, 19120, 12049, 7680, 7468, 17686, 14222, 16894, 19620, 7849, 14981, 4359, 19881, 12631, 592, 15689, 2857, 5500, 7380, 2720, 4153, 1015, 17075, 5978, 5176, 3537, 772, 1337, 7835, 5585, 5518, 3260, 15705, 3955, 9270, 18007, 17936, 915, 5667, 15596, 10994, 9229, 19019, 17772, 7903, 13643, 15279, 12749, 9627, 17214, 14187, 4337, 8468, 10677, 14331, 8963, 18759, 13399, 8367, 13904, 12525, 854, 9830, 2, 4939, 4964, 3704, 8863, 13270, 6655, 5156, 3562, 6049, 1908, 17366, 13174, 5658, 18302, 16237, 19841, 9957, 10555, 13225, 7911, 5121, 11569, 10162, 13699, 9166, 13569, 4975, 13950, 9803, 3043, 11239, 6581, 15244, 15217, 4630, 327, 8230, 7365, 5558, 14159, 9318, 18114, 1699, 17235, 16671, 7921, 3158, 4525, 2926, 13731, 9332, 6790, 5563, 18896, 847, 3029, 7618, 15925, 16675, 14756, 17205, 4457, 15994, 19532, 16603, 774, 768, 16291, 14213, 4492, 3570, 5872, 9382, 19687, 13431, 7413, 12641, 12529, 6618, 5939, 12003, 6968, 4338, 15049, 2606, 14306, 9001, 12084, 18739, 9590, 3244, 7023, 15971, 2755, 8046, 11647, 12671, 11334, 18272, 5380, 6937, 10007, 17741, 17163, 7557, 2829, 9143, 7802, 1053, 17595, 10301, 15583, 2564, 14439, 12558, 6447, 4847, 2944, 7577, 7667, 1901, 9700, 9269, 997, 6212, 4316, 14877, 16951, 5640, 11436, 3910, 13106, 48, 3231, 15409, 19247, 6611, 375, 7591, 1220, 872, 10789, 10956, 6543, 10083, 4916, 2251, 6220, 9110, 13483, 18920, 1655, 2907, 1858, 15368, 8786, 17320, 12241, 12530, 17065, 15023, 5689, 8654, 11752, 8221, 3119, 10867, 1146, 7429, 2162, 13242, 3383, 6821, 10459, 8091, 17190, 16244, 14562, 9988, 2373, 10592, 17146, 11276, 4217, 542, 12798, 12694, 1768, 7993, 10105, 13044, 18237, 17136, 17810, 6143, 5339, 11409, 19018, 7320, 7681, 13461, 19961, 3945, 19758, 2541, 459, 16537, 5257, 2604, 9183, 4520, 450, 11170, 6575, 5709, 7518, 1978, 6725, 11491, 3636, 11453, 3695, 13805, 13207, 1585, 7909, 11102, 11544, 7245, 6737, 9461, 11038, 2255, 18281, 18342, 13865, 106, 19169, 778, 18939, 17297, 9649, 12802, 18133, 8112, 13613, 10983, 8585, 10264, 15374, 2875, 9595, 2059, 19824, 19097, 15855, 1737, 10407, 10897, 4136, 12857, 4300, 11086, 431, 2047, 7510, 15479, 17641, 5409, 13594, 1368, 13299, 5526, 1778, 13800, 12638, 15454, 17971, 7279, 14402, 1088, 336, 8879, 5818, 15616, 6530, 19429, 1515, 197, 5267, 5847, 13342, 5487, 18907, 9167, 18391, 19853, 11577, 646, 13611, 4004, 12672, 1416, 4784, 9481, 11812, 7238, 2499, 11570, 7883, 14022, 14927, 2269, 14926, 19338, 10174, 12064, 10151, 5802, 8084, 9936, 14500, 11293, 17668, 7651, 19858, 11309, 19099, 17815, 5816, 16463, 19506, 15154, 10877, 1325, 4333, 4957, 4424, 15662, 17818, 13650, 259, 9352, 11067, 8506, 15825, 5054, 19950, 9294, 621, 8285, 14509, 8679, 8819, 6992, 8297, 9045, 13981, 14513, 9756, 13481, 13751, 1599, 10306, 15198, 12181, 5164, 2489, 14054, 8837, 18936, 2365, 11615, 13142, 18059, 19511, 12042, 18941, 11019, 11748, 18502, 18859, 7362, 17819, 9869, 4182, 378, 16052, 15997, 8262, 4395, 17150, 10766, 10779, 389, 17732, 16351, 14127, 17161, 7503, 14467, 15043, 3283, 18309, 6661, 9565, 11257, 12279, 8265, 100, 9699, 10056, 5698, 6388, 13583, 15234, 9058, 9987, 3084, 10366, 17883, 4340, 16262, 1568, 8739, 4039, 15120, 13834, 14505, 1237, 18161, 14107, 13908, 13043, 5396, 17123, 10798, 19240, 7275, 16070, 14803, 2584, 439, 9184, 975, 5005, 8199, 7530, 19462, 11829, 7787, 6172, 482, 19288, 16343, 342, 3054, 560, 564, 5517, 19420, 896, 13587, 8319, 9251, 16770, 6760, 5694, 17247, 8561, 221, 12114, 17455, 16007, 5792, 2174, 14859, 5484, 5682, 9717, 18906, 16720, 12267, 11794, 10675, 15622, 16750, 18042, 8582, 6926, 1151, 7037, 5061, 5433, 4355, 3155, 6538, 421, 15027, 5941, 11726, 8376, 4541, 9594, 4236, 7024, 8294, 6951, 3033, 11176, 16674, 17584, 2176, 19700, 17538, 2477, 8703, 4577, 4068, 9555, 17733, 16810, 7465, 10583, 13197, 5031, 3135, 14072, 14346, 8941, 1092, 18296, 13354, 15875, 7370, 14536, 13013, 17834, 7742, 11949, 17122, 1102, 6372, 275, 12518, 16041, 15384, 19836, 2352, 17638, 4051, 18048, 10839, 12444, 4287, 19233, 16301, 18990, 2483, 5983, 10639, 13185, 5848, 10716, 13749, 7466, 17855, 15675, 4985, 16714, 10709, 15776, 4434, 9065, 7782, 14954, 13521, 56, 718, 19065, 11663, 9476, 1049, 14359, 1208, 12534, 13890, 5811, 3665, 11568, 8404, 6914, 6216, 12361, 16025, 7542, 15101, 14735, 18976, 8720, 18049, 15167, 8257, 3444, 4155, 7160, 2427, 1313, 9682, 17094, 2786, 8853, 2051, 18089, 13830, 16094, 13585, 10197, 252, 10691, 14696, 11868, 9200, 17509, 1773, 12029, 14164, 3128, 15780, 1954, 10500, 5094, 6885, 685, 12364, 8730, 13923, 6400, 18055, 3592, 14708, 992, 19662, 11689, 94, 9754, 11861, 17783, 250, 8783, 17833, 19998, 19033, 3431, 14590, 17974, 2482, 8521, 16535, 3248, 6287, 7562, 8621, 15940, 10701, 1574, 16081, 17660, 17646, 11746, 1352, 17223, 16578, 15425, 17416, 14305, 6942, 5600, 7659, 17946, 12158, 2657, 13086, 6364, 15412, 12215, 5359, 13661, 14057, 6119, 19739, 3336, 14882, 9562, 6917, 18595, 3641, 6378, 1866, 10123, 16907, 3654, 4979, 19931, 14827, 6100, 3681, 3180, 1775, 9224, 18959, 6052, 9773, 8430, 3965, 16466, 6116, 693, 19022, 19333, 7223, 18313, 9391, 10235, 37, 18138, 3504, 5405, 15678, 14848, 17556, 14242, 15287, 19851, 15147, 19670, 5720, 8758, 13741, 19617, 13612, 11995, 13829, 10630, 14901, 1838, 3105, 14548, 4697, 628, 6555, 12099, 19725, 296, 11513, 12050, 8146, 8551, 6720, 15769, 3859, 12219, 6770, 2839, 9000, 7778, 18131, 8324, 19609, 949, 4645, 10852, 15137, 19921, 1575, 17918, 9346, 4921, 16619, 981, 10809, 9605, 17767, 15643, 10899, 14999, 12544, 10318, 15555, 11392, 12727, 15388, 6150, 12720, 11119, 17709, 954, 13501, 17197, 5588, 3183, 12252, 18669, 3278, 14044, 6304, 14822, 878, 19673, 11587, 18033, 9655, 17412, 10120, 1871, 11000, 8267, 18659, 2398, 6994, 2574, 15927, 1812, 15571, 2849, 3199, 13004, 3258, 16815, 17148, 14409, 3969, 10718, 57, 4910, 11975, 1816, 12865, 13435, 16637, 3435, 2796, 16836, 17582, 7319, 17193, 13110, 18091, 4166, 20, 18614, 6519, 15751, 13703, 12075, 14692, 18589, 12107, 19034, 5683, 13415, 19158, 8189, 1240, 1029, 13573, 15179, 9439, 5168, 1563, 5376, 16050, 14479, 11457, 2813, 14480, 10740, 14112, 2709, 16660, 15394, 13991, 18404, 12581, 8572, 4214, 12344, 19170, 9109, 19204, 483, 14741, 7941, 10664, 2455, 7807, 12588, 8692, 16906, 12790, 3364, 15794, 13444, 10458, 11662, 1258, 15006, 12391, 13762, 9087, 13682, 9043, 11728, 3719, 3666, 19646, 5893, 870, 2380, 14231, 19340, 14042, 16288, 9216, 9776, 7049, 1323, 6443, 1425, 7374, 19576, 4293, 19933, 2329, 13151, 8392, 14830, 19935, 5598, 13353, 3089, 23, 19612, 9286, 15289, 19137, 8256, 12775, 13635, 580, 6098, 1458, 9694, 11630, 4719, 19089, 3533, 5118, 3275, 7165, 9607, 457, 11061, 5499, 5794, 6547, 9948, 12425, 11288, 8598, 17285, 11645, 17391, 1294, 7640, 12616, 3962, 3650, 13803, 6429, 14533, 5424, 17204, 12883, 7722, 6357, 42, 5975, 10492, 17864, 179, 10352, 11785, 12606, 16710, 5920, 5571, 7130, 10582, 19267, 15012, 11162, 6283, 12074, 6787, 14879, 13906, 18435, 8649, 9578, 781, 3291, 4604, 8580, 12633, 14183, 8355, 4526, 17370, 25, 19744, 16454, 18259, 13792, 7673, 9462, 12801, 12010, 12833, 9070, 15774, 1694, 11683, 9738, 16796, 337, 14059, 5903, 15933, 6497, 15599, 17614, 10791, 19370, 4876, 19834, 9681, 17881, 17684, 11756, 17681, 16346, 2989, 4795, 9463, 11971, 7775, 18167, 4587, 8061, 9761, 12585, 11789, 7253, 5921, 11506, 935, 2853, 16712, 19275, 19994, 8320, 18353, 17393, 19286, 9487, 9848, 16117, 10307, 7212, 19863, 1448, 155, 9929, 4666, 4873, 1565, 18392, 272, 383, 5650, 13736, 7161, 11740, 8522, 1140, 16038, 3025, 13793, 16428, 4475, 17624, 9351, 18637, 3454, 19056, 12316, 769, 12596, 3514, 1, 19404, 11031, 563, 10027, 8431, 11121, 7497, 6801, 5113, 14096, 12944, 5218, 7924, 5475, 19449, 91, 81, 2307, 5169, 6647, 11050, 970, 691, 4489, 9960, 1032, 14155, 14861, 17078, 11051, 8732, 15665, 12609, 3578, 19346, 6721, 1919, 18243, 8277, 14465, 16874, 10477, 17967, 17535, 11950, 1616, 826, 17993, 15967, 1260, 16940, 2228, 7328, 2662, 7741, 14063, 12843, 5372, 6768, 6187, 18570, 10929, 5051, 12980, 15667, 18084, 18961, 16825, 8428, 8559, 19353, 5160, 9677, 10319, 6635, 11400, 6728, 15359, 8805, 15195, 651, 6078, 11366, 4161, 12429, 13131, 7495, 605, 19873, 19871, 10570, 7907, 2703, 1446, 7860, 43, 5206, 15451, 6393, 10139, 14690, 17560, 12940, 3785, 16037, 146, 9688, 17891, 17220, 11842, 5641, 10282, 16868, 7888, 13506, 19932, 11009, 13233, 10086, 1041, 8618, 4905, 19593, 4380, 7505, 11312, 1796, 6331, 12309, 3480, 8218, 5550, 4201, 6099, 9580, 12752, 15681, 2856, 8923, 14437, 6844, 19011, 10132, 1914, 13372, 1671, 13730, 7931, 2963, 5055, 5595, 3113, 15773, 1501, 3753, 3041, 16354, 18440, 15841, 3916, 5568, 7692, 11779, 18214, 15852, 5717, 11556, 17387, 18360, 13514, 1911, 19639, 10033, 7005, 8980, 16975, 422, 9420, 16422, 10924, 7402, 4866, 16715, 413, 13008, 2514, 6303, 2364, 8589, 6003, 969, 10140, 7898, 7492, 7487, 18828, 5027, 648, 9321, 19868, 14423, 8188, 8774, 11530, 13801, 9123, 2259, 824, 17388, 16263, 7729, 5904, 2411, 4712, 2399, 14650, 13053, 15807, 19091, 17300, 2836, 9795, 7358, 2448, 2134, 10498, 5814, 2022, 1296, 2764, 6193, 7704, 17234, 4480, 10171, 17983, 18247, 6262, 9903, 13108, 3505, 8406, 3692, 5852, 17133, 13808, 12377, 12295, 182, 6550, 1733, 5364, 10894, 2005, 8213, 12200, 7863, 13680, 15483, 8429, 6561, 4176, 18187, 2747, 11010, 1223, 1552, 18629, 14405, 6444, 10270, 230, 17762, 6268, 11042, 18430, 13236, 3879, 9407, 7887, 13048, 19234, 12186, 11422, 16797, 7027, 3150, 7379, 9720, 6736, 15419, 4993, 16285, 5161, 2462, 3761, 13035, 7995, 16914, 1281, 19621, 8425, 16166, 13766, 2847, 10393, 449, 12239, 5446, 4426, 19892, 11990, 17690, 2286, 13160, 15365, 335, 1831, 15533, 19722, 12193, 14090, 205, 12218, 18337, 6928, 17542, 17244, 2265, 1896, 7990, 11112, 18814, 12248, 17403, 15998, 7882, 5993, 16029, 5664, 6009, 4946, 7976, 4382, 5525, 15824, 17081, 4403, 16042, 708, 3087, 17215, 18649, 3626, 7184, 8374, 406, 8475, 5894, 3019, 11867, 15836, 8900, 2561, 10024, 4557, 428, 17816, 16134, 5671, 15300, 323, 13025, 19144, 1373, 6029, 19524, 9703, 18208, 18039, 6973, 10482, 16213, 16618, 6662, 1730, 16091, 15664, 3251, 11605, 12210, 10129, 18578, 2802, 3104, 2423, 15346, 1840, 16507, 18790, 11424, 5726, 5107, 5120, 5167, 18455, 17021, 1143, 18034, 1909, 10142, 18503, 11372, 2579, 8778, 2268, 19655, 8695, 3985, 16383, 14525, 19059, 9168, 6677, 15954, 6354, 8299, 3418, 18128, 17261, 18017, 12410, 19811, 2113, 4183, 14502, 12659, 2659, 13226, 6411, 9004, 16023, 14818, 9306, 12132, 6693, 2218, 11750, 16986, 4960, 4891, 9089, 19010, 7308, 19150, 19676, 7843, 12737, 12172, 9471, 10481, 10478, 17167, 2762, 10804, 18996, 19191, 18931, 4729, 17015, 128, 11348, 10133, 16376, 6711, 4411, 9340, 8343, 320, 7947, 13728, 6960, 18802, 9733, 18732, 13229, 17465, 8246, 19184, 14591, 6798, 1278, 17311, 13210, 19308, 19357, 6021, 2518, 2749, 8801, 5374, 18355, 14048, 11070, 13245, 11100, 15507, 11864, 16035, 9443, 243, 12204, 10344, 3261, 7122, 9752, 19945, 15760, 9323, 6748, 4118, 6332, 7482, 6363, 14501, 347, 12667, 4249, 674, 13864, 19846, 654, 11751, 6732, 2116, 12941, 5415, 109, 9777, 4546, 15170, 3124, 8287, 3034, 13037, 16764, 10917, 13115, 608, 18096, 17045, 8804, 19592, 14290, 5014, 2852, 3289, 16373, 11909, 12431, 18306, 7546, 1940, 11382, 3098, 5763, 9798, 14036, 3860, 4425, 16476, 16987, 18081, 2727, 3473, 5273, 8353, 16421, 13597, 3348, 8993, 3999, 7997, 2204, 3138, 6855, 1884, 9177, 15792, 17071, 15442, 14381, 17847, 14395, 16404, 3808, 15688, 2626, 17857, 9642, 8836, 19559, 15263, 1624, 5827, 17968, 8445, 12463, 18294, 6712, 10687, 11892, 14456, 1580, 4195, 17771, 19251, 19870, 13895, 18619, 18769, 11156, 19794, 987, 19910, 12260, 2278, 3556, 17363, 12398, 14161, 4435, 17608, 373, 18902, 12383, 10578, 4746, 10095, 7923, 14436, 15044, 17503, 6339, 5201, 18046, 9708, 19757, 8734, 1932, 3484, 19874, 17349, 5644, 10114, 3644, 16998, 2583, 14622, 17051, 2191, 13050, 18471, 9821, 14784, 18529, 10832, 7889, 14228, 7538, 4298, 14944, 12515, 9890, 5310, 14872, 8008, 16057, 17667, 8128, 4952, 14271, 15086, 7943, 2627, 14344, 979, 19640, 1168, 7285, 13942, 4804, 6912, 10244, 15123, 19633, 1549, 15915, 14365, 12689, 15476, 17172, 8269, 16700, 10610, 5553, 13360, 17515, 3006, 5032, 581, 18756, 1324, 8886, 19450, 7092, 18336, 15018, 3226, 5997, 4211, 5063, 7010, 17843, 19934, 12198, 19344, 339, 9760, 6257, 17693, 13457, 17348, 17979, 1392, 8283, 19733, 10676, 6147, 2542, 12537, 9047, 12393, 12226, 78, 3129, 8097, 8557, 12982, 1800, 16856, 13553, 1798, 10920, 5081, 7149, 1464, 14635, 4998, 18750, 4912, 11486, 3932, 12929, 18164, 8806, 10537, 7433, 18816, 2357, 16900, 1060, 4437, 7129, 13615, 13833, 8988, 19298, 2575, 17508, 9020, 18050, 7592, 5025, 16751, 15777, 10876, 1636, 4583, 7359, 8916, 9591, 13783, 8568, 17917, 16808, 8432, 4673, 2636, 4347, 8539, 17682, 18385, 4748, 15432, 15422, 4542, 767, 12705, 11778, 1297, 15717, 7475, 18946, 15174, 8871, 7828, 11851, 10645, 8750, 2246, 7792, 9091, 523, 17880, 12136, 5012, 6290, 10720, 5320, 15411, 9390, 7181, 3991, 2908, 7798, 15271, 6804, 3740, 17212, 790, 2767, 8085, 18399, 808, 3429, 18681, 6247, 13320, 4500, 13996, 17590, 15539, 8488, 15648, 11834, 11180, 13807, 15312, 18899, 19515, 7321, 19715, 10046, 10141, 17837, 11937, 5400, 9380, 18073, 19368, 18057, 3974, 8682, 11131, 4858, 13839, 19600, 12937, 16322, 11670, 8945, 10577, 15846, 9213, 14703, 16503, 18031, 5361, 6524, 12899, 2724, 2393, 9369, 11072, 2225, 18778, 15574, 284, 7387, 2892, 6415, 7159, 18071, 11358, 15626, 18022, 19414, 4405, 15606, 18789, 16306, 11405, 11402, 6940, 7711, 7154, 11927, 18603, 2438, 10535, 19664, 4227, 11915, 8416, 9025, 12576, 17033, 2302, 13992, 11362, 17869, 18251, 9943, 16128, 5775, 1390, 15839, 1867, 19348, 10004, 1899, 3764, 19014, 13334, 8556, 5579, 9099, 9342, 11601, 9075, 5191, 19810, 11967, 10568, 999, 19186, 4407, 13512, 3553, 19287, 8653, 8743, 6402, 12351, 15313, 16515, 16492, 764, 11110, 4074, 5578, 2717, 16120, 6333, 19561, 11044, 8494, 9111, 3215, 19906, 18561, 18341, 6934, 18755, 10939, 14004, 17438, 6753, 5111, 598, 7496, 13019, 18240, 3579, 1054, 11899, 13552, 17239, 567, 277, 11666, 6276, 14332, 16785, 11299, 15470, 4598, 9204, 15133, 12974, 9466, 10430, 12925, 603, 3588, 6874, 11407, 19916, 10730, 16551, 9488, 1046, 13588, 17950, 1467, 11534, 17893, 1254, 11911, 6868, 225, 13337, 16257, 11481, 8566, 2816, 16419, 11151, 7826, 18334, 5445, 5516, 2390, 13999, 16368, 5493, 14777, 9435, 4046, 16371, 3304, 4884, 8150, 14171, 19659, 13814, 3301, 8127, 17313, 16314, 326, 16837, 10468, 923, 8977, 12907, 7928, 1527, 19721, 3988, 11675, 13525, 7735, 3400, 11908, 15523, 18170, 486, 13816, 8130, 8136, 4307, 497, 2028, 11969, 16252, 12543, 11772, 4958, 17947, 13250, 45, 10619, 8601, 5240, 7474, 15701, 15201, 13391, 14577, 19949, 10741, 6106, 19422, 9388, 17124, 19045, 10626, 5084, 2208, 1989, 6213, 16929, 816, 2512, 4591, 8450, 12403, 14390, 4843, 14422, 8346, 5155, 11660, 15282, 8191, 469, 2387, 14079, 7522, 12082, 7806, 932, 3066, 17916, 3002, 7555, 991, 13634, 8151, 3746, 3027, 11385, 7917, 6892, 7166, 19689, 1071, 14153, 2137, 1668, 17131, 7190, 9139, 17182, 11108, 16816, 9131, 2086, 8554, 17134, 1756, 5951, 15735, 11697, 13687, 17453, 18729, 16703, 7243, 10220, 16736, 16891, 4895, 19270, 19295, 18397, 14482, 17375, 11724, 19351, 1282, 4447, 6334, 13322, 11960, 3662, 1530, 10976, 18441, 10242, 10016, 10260, 2377, 2633, 2547, 9941, 15303, 5543, 19777, 2235, 18129, 8356, 8115, 15382, 5788, 12891, 17374, 8537, 10890, 7517, 2023, 13716, 1948, 13542, 14960, 19052, 11287, 15567, 17500, 765, 3117, 852, 3893, 6341, 12382, 17165, 9208, 19499, 5265, 7191, 15529, 18158, 15944, 8909, 17176, 15455, 15674, 15390, 17851, 4150, 9312, 19433, 5774, 10784, 19235, 16106, 18735, 12793, 7635, 14946, 18731, 19188, 17475, 2646, 19447, 8966, 17658, 4256, 12926, 10195, 5336, 53, 9961, 4230, 16013, 7108, 3739, 12460, 18154, 2588, 8423, 12338, 7864, 5403, 2305, 1776, 14855, 4693, 17920, 5179, 13450, 12015, 4196, 12644, 8868, 17662, 12313, 7218, 4633, 16870, 1507, 18476, 15707, 11052, 10802, 13205, 16103, 7571, 4326, 8171, 7951, 6097, 14208, 4147, 11440, 3633, 1879, 19131, 2147, 6294, 11793, 11185, 8752, 11968, 6191, 2326, 5290, 14029, 418, 9541, 15172, 5884, 11817, 13428, 12293, 11508, 9191, 7857, 10524, 6682, 15908, 4723, 14372, 15369, 14074, 1556, 10092, 13517, 17487, 17331, 6743, 10885, 5624, 6040, 3398, 8825, 15978, 12320, 9572, 7397, 16607, 15871, 19635, 16325, 10742, 17805, 12905, 2874, 7965, 7096, 4685, 18721, 9037, 19257, 8558, 1127, 7201, 10119, 5231, 10316, 19556, 4081, 8722, 5836, 12665, 7456, 19770, 18452, 9625, 4610, 9922, 5089, 13624, 12669, 13122, 6167, 6563, 8418, 5450, 13139, 14942, 5678, 5328, 18196, 6585, 6381, 9538, 17626, 4830, 1056, 1763, 6452, 17760, 5674, 9377, 2954, 19367, 13842, 13202, 18216, 1284, 1597, 9790, 17683, 4534, 6103, 15918, 13443, 13209, 18791, 9600, 14867, 15281, 10544, 7847, 19321, 9165, 16922, 2906, 7014, 10747, 6588, 16861, 17632, 13926, 16407, 1471, 17314, 18984, 11126, 19859, 12511, 15335, 18249, 15728, 10896, 9172, 4033, 17352, 1355, 14974, 183, 15905, 17008, 3837, 17644, 14266, 17965, 1136, 6990, 16499, 8624, 175, 968, 6054, 19140, 13960, 16667, 14168, 12442, 8590, 11200, 7086, 12006, 7808, 7631, 1641, 9896, 1138, 11384, 3591, 11124, 8318, 10601, 3060, 10698, 1715, 11490, 2042, 5539, 363, 10011, 9227, 13853, 7520, 4801, 11545, 2925, 13466, 1591, 14429, 15117, 1693, 7512, 10279, 10613, 17875, 4850, 13249, 19315, 4823, 4379, 18466, 12769, 12759, 5216, 14746, 1967, 11172, 1740, 18917, 16910, 4325, 1966, 2262, 19566, 15230, 7821, 5665, 9755, 6089, 18305, 3760, 354, 8773, 5070, 19823, 11328, 1211, 3564, 13609, 4030, 8612, 19303, 2298, 192, 5049, 424, 13198, 1558, 2154, 2911, 17977, 3425, 3637, 2623, 17773, 7748, 10904, 17411, 8036, 2445, 4189, 11766, 8505, 4086, 19531, 1673, 6178, 3240, 7905, 11550, 13663, 14008, 16527, 10965, 15029, 13563, 2257, 16439, 5020, 4920, 6164, 4406, 11847, 11449, 15228, 15430, 11144, 6310, 4698, 16358, 1547, 821, 5058, 13460, 7463, 13665, 5994, 10980, 5687, 13889, 8405, 9877, 1727, 2108, 9585, 1687, 13623, 14793, 15112, 14843, 8875, 16786, 17018, 15957, 11130, 7247, 7597, 159, 9225, 4231, 17838, 8709, 14388, 8890, 14701, 5771, 13570, 6962, 4388, 76, 18185, 18890, 15221, 14939, 3810, 10936, 19406, 19917, 11717, 15358, 10624, 1684, 1992, 12209, 7244, 3327, 1510, 3262, 4797, 8914, 9544, 5506, 17786, 18855, 2252, 17005, 19101, 15413, 13018, 3320, 15272, 1682, 7124, 9092, 2650, 15168, 10972, 18217, 17106, 11614, 13678, 12357, 4277, 8956, 10938, 10763, 15982, 18767, 12315, 4597, 8839, 16083, 10340, 212, 10134, 5301, 18710, 3595, 2976, 9071, 6255, 5139, 17984, 12984, 13695, 14088, 11393, 90, 3330, 19801, 18347, 14261, 12188, 14542, 5666, 6072, 10650, 8927, 4361, 13873, 1190, 2001, 6918, 9753, 4139, 12155, 10214, 5965, 4311, 17557, 19221, 6954, 10380, 4169, 10201, 9298, 9977, 12278, 7368, 9190, 14260, 13254, 15668, 2560, 12968, 4280, 17138, 3659, 18894, 14120, 17198, 1288, 5202, 11687, 11708, 8075, 9243, 4441, 3189, 13453, 15547, 18108, 14273, 9401, 15363, 7747, 10659, 3854, 547, 7469, 19494, 16513, 797, 18725, 681, 7339, 14733, 2230, 5601, 11573, 13194, 16268, 3599, 14686, 2146, 7913, 19543, 14515, 7138, 1431, 12854, 19162, 811, 14904, 6015, 3673, 13348, 17436, 9549, 16207, 2630, 11857, 2982, 4686, 11353, 15827, 16960, 10990, 1676, 2992, 4099, 2487, 1387, 17729, 6127, 16990, 10420, 14553, 14569, 16056, 8126, 6163, 11891, 5330, 11039, 6911, 11667, 6455, 1837, 12115, 17461, 14965, 13946, 18685, 12553, 4138, 8471, 12354, 1614, 3845, 11671, 1795, 2872, 5319, 12030, 11278, 16784, 1349, 4297, 18971, 4628, 3059, 14556, 5333, 8235, 1036, 11693, 17293, 2820, 1221, 17586, 11559, 3968, 15895, 18882, 13042, 18390, 11460, 4548, 886, 19405, 3497, 1615, 8366, 9478, 3396, 64, 549, 795, 13121, 9570, 1731, 2930, 7478, 16453, 13897, 15378, 5545, 4024, 12568, 12978, 17716, 6739, 19219, 14814, 15150, 8570, 3116, 17969, 13592, 3828, 10182, 4350, 10838, 12924, 5597, 2914, 6620, 11076, 15995, 11033, 18701, 1787, 3356, 4430, 7263, 8866, 13789, 16994, 17704, 5145, 14694, 5488, 18166, 17419, 17162, 19130, 11703, 4213, 7409, 16638, 16739, 8512, 9958, 18025, 15755, 16181, 15165, 5258, 3680, 789, 8197, 13275, 17711, 4286, 4301, 4119, 18324, 14689, 1882, 939, 11015, 19201, 15295, 17354, 6577, 6011, 6349, 10342, 18884, 4008, 4270, 12376, 17441, 3834, 12947, 10445, 3853, 17552, 2183, 19360, 7975, 13015, 15538, 18760, 16568, 1811, 5298, 11624, 10176, 16882, 11539, 13469, 12187, 10147, 19929, 4694, 615, 13333, 2987, 16028, 18486, 10466, 1039, 12041, 10855, 4284, 17066, 7954, 19732, 12983, 15031, 201, 13884, 5481, 17003, 18979, 8210, 9414, 19118, 5685, 10916, 198, 2486, 268, 10178, 3096, 12548, 13262, 11341, 16195, 9951, 17404, 913, 2050, 4180, 11232, 4341, 722, 6676, 10484, 9778, 1086, 5165, 15478, 17554, 12254, 11755, 1365, 18747, 6348, 35, 1248, 114, 15996, 15182, 10325, 11589, 10186, 19067, 8121, 19986, 14566, 6915, 17250, 6200, 509, 6924, 6005, 19483, 10699, 16324, 17951, 10079, 15738, 4221, 6035, 4302, 18921, 7251, 19139, 17102, 4991, 10974, 11951, 9604, 18367, 14301, 15214, 19179, 11923, 9419, 1962, 6397, 17119, 6582, 16248, 18186, 63, 19166, 3198, 6440, 9783, 17814, 3344, 18656, 2928, 7114, 14493, 6233, 13253, 5175, 19299, 4186, 1132, 8851, 8536, 12985, 15758, 18652, 3091, 5832, 6890, 18699, 917, 630, 14025, 18989, 8301, 15582, 848, 14061, 15017, 11795, 6186, 7394, 12256, 1023, 12821, 14737, 6741, 1895, 2933, 16215, 3679, 5022, 7155, 13239, 18013, 15075, 1171, 5905, 11584, 11412, 17998, 4627, 4273, 9920, 4272, 5230, 18419, 3708, 9336, 5817, 16011, 3267, 12848, 13536, 10158, 12068, 1077, 17126, 16030, 11707, 8573, 2055, 3892, 15329, 12505, 7694, 5721, 329, 18543, 17989, 19790, 11610, 18179, 15814, 6307, 6189, 14291, 7302, 17481, 4370, 4112, 4917, 15013, 18207, 7759, 9274, 6590, 8652, 6871, 163, 2591, 11943, 19183, 18387, 10661, 14526, 16493, 16806, 15640, 5224, 10906, 2415, 9276, 11136, 15260, 19220, 15371, 11228, 14845, 1630, 5646, 8031, 14491, 3846, 5050, 4728, 16860, 1709, 15247, 9209, 2472, 8790, 15220, 8862, 15304, 4443, 1266, 15618, 9451, 4384, 14907, 17752, 17251, 6308, 3402, 15243, 14026, 18372, 13747, 13157, 11727, 18978, 14587, 8821, 15537, 4481, 11599, 8195, 8921, 6281, 2061, 3674, 5908, 16548, 6462, 3971, 15912, 11314, 4100, 659, 2089, 3934, 4141, 15845, 11933, 17218, 17156, 8545, 18922, 12238, 10499, 12571, 18250, 11023, 12367, 8555, 8079, 12994, 2732, 12168, 1075, 13823, 3728, 6196, 14775, 5423, 5426, 14101, 10662, 15416, 16340, 18601, 18604, 12687, 6238, 3577, 6784, 14144, 15683, 12936, 13535, 13054, 4517, 9863, 58, 5235, 13885, 4783, 5351, 9861, 14325, 6358, 16326, 16772, 19342, 12712, 9893, 12038, 17246, 5970, 11437, 15070, 17210, 16756, 680, 17225, 535, 10416, 13168, 16909, 741, 1185, 10778, 1700, 10910, 10287, 8442, 8057, 16096, 15450, 7264, 9384, 9121, 12532, 15670, 11533, 4478, 1045, 16652, 18171, 18862, 154, 3426, 3384, 9288, 1648, 13844, 1227, 16930, 7199, 13568, 7712, 4097, 8234, 2132, 19159, 4815, 2436, 16701, 4190, 11089, 18027, 15052, 2721, 116, 17026, 16435, 7490, 18205, 19980, 5028, 15436, 10729, 15578, 18433, 9831, 13223, 18418, 12539, 18123, 14554, 2281, 4032, 6394, 14549, 7770, 4570, 15326, 18583, 7978, 13840, 10368, 11268, 4605, 3724, 357, 1918, 10006, 18257, 5222, 11024, 12433, 9500, 11345, 8245, 10654, 9774, 1111, 13959, 12610, 5474, 3368, 5073, 7043, 13141, 4704, 8767, 1986, 15058, 1206, 16080, 13383, 13557, 14953, 5938, 18787, 663, 14730, 8639, 7182, 14314, 7273, 2376, 7733, 3949, 2697, 5287, 8827, 15737, 17294, 18808, 10597, 4188, 19827, 2900, 4518, 7890, 13251, 5157, 3924, 12792, 17115, 8293, 141, 279, 13826, 11058, 17207, 17640, 9599, 4135, 5952, 17228, 16459, 19427, 14426, 5605, 9385, 4279, 14394, 121, 15185, 18135, 7714, 10879, 13689, 14062, 7698, 18428, 6468, 4755, 15550, 15336, 40, 8333, 2516, 15424, 14094, 7958, 14849, 2046, 10012, 8645, 14361, 19413, 14702, 13175, 3406, 8860, 6450, 18499, 13155, 14778, 9201, 4229, 14522, 13684, 11425, 7524, 19277, 7781, 17144, 14920, 6697, 17132, 10895, 5067, 11456, 13132, 18068, 14360, 3075, 16342, 16897, 16668, 17685, 1263, 1163, 11524, 5592, 11858, 11682, 14081, 9425, 16872, 10548, 9356, 16832, 13735, 18012, 4869, 1247, 8259, 1601, 11338, 12300, 14654, 18275, 633, 19974, 7791, 15627, 19322, 3568, 7564, 18357, 1267, 19437, 19384, 12957, 9019, 14747, 13852, 3317, 11833, 495, 15519, 213, 16082, 13522, 1314, 17332, 7606, 12680, 19588, 3319, 6905, 2698, 14123, 16485, 12100, 16791, 9819, 4342, 138, 10421, 97, 11618, 3766, 16918, 11234, 15468, 1128, 5182, 11749, 16234, 8244, 7192, 6435, 9834, 7829, 14432, 2572, 18815, 3374, 17324, 2994, 1753, 12179, 2615, 10060, 18827, 17519, 11890, 14383, 16881, 8608, 13518, 4308, 1328, 18546, 11008, 11421, 4504, 3551, 8417, 11742, 13566, 5199, 18072, 19040, 742, 14169, 11285, 3552, 16269, 7432, 3338, 5057, 2528, 12573, 12308, 8953, 17089, 10285, 15633, 17191, 11415, 15111, 2827, 19163, 8753, 16632, 8052, 19454, 1964, 13351, 2099, 10124, 4684, 3891, 13107, 255, 5879, 8249, 5228, 1411, 14547, 12910, 14162, 3843, 8291, 18645, 10725, 423, 4410, 3996, 682, 17926, 15410, 14142, 19216, 14355, 2938, 7824, 16380, 5498, 3163, 6107, 2694, 16705, 16923, 13649, 8517, 492, 7970, 4941, 13340, 15699, 12503, 13802, 3933, 15280, 4872, 757, 11761, 13029, 2095, 8640, 3026, 15869, 99, 18898, 6614, 6796, 13201, 2041, 7175, 6321, 1485, 11904, 4807, 11621, 10864, 7942, 5679, 14709, 3028, 17280, 8882, 13616, 19778, 17337, 7117, 18101, 17208, 4902, 5925, 13985, 1958, 12725, 11769, 15297, 5945, 14800, 10240, 19806, 12870, 4675, 2769, 748, 9696, 2156, 7626, 7330, 3093, 7103, 18800, 16266, 9016, 7974, 2429, 5602, 1946, 8258, 9262, 16985, 2226, 7897, 16123, 18277, 10034, 9534, 5468, 5822, 10491, 11435, 6529, 15721, 2493, 19905, 16522, 17766, 6619, 16283, 13241, 6263, 10907, 3913, 3224, 10334, 4365, 10388, 3769, 6613, 17599, 1205, 19015, 3078, 8033, 7326, 9996, 18663, 16393, 19636, 15771, 15658, 6490, 6359, 555, 1608, 14400, 10180, 10252, 12961, 9205, 12988, 9817, 18592, 5512, 15274, 15084, 679, 8363, 19236, 12477, 16185, 1718, 3630, 4381, 2999, 3723, 6050, 7266, 3712, 10085, 7214, 18248, 3930, 14254, 7203, 11343, 5345, 239, 256, 5995, 3610, 7291, 18709, 245, 17413, 19093, 18024, 1890, 11461, 1438, 924, 597, 15897, 13726, 1724, 2063, 193, 6999, 11451, 10233, 5772, 9222, 10222, 2822, 4400, 14892, 14300, 6896, 3157, 6518, 19175, 11330, 4012, 673, 820, 14595, 18610, 4932, 12251, 12456, 1696, 2159, 10073, 9732, 5464, 4515, 3992, 7593, 13495, 11940, 10410, 9530, 19082, 6558, 8723, 11918, 9981, 1275, 16547, 7827, 2124, 19505, 7851, 4040, 5800, 3559, 19362, 13690, 2275, 6568, 966, 15399, 13026, 16573, 15205, 12622, 2110, 126, 17372, 10612, 10038, 8898, 1377, 19924, 18020, 17761, 766, 10070, 6733, 16495, 10229, 18912, 17854, 19580, 9705, 3164, 2826, 8028, 8323, 17785, 1321, 14216, 3800, 4368, 777, 10037, 10435, 19361, 4798, 3967, 591, 15691, 11266, 8508, 6250, 1750, 11999, 6841, 782, 19767, 3220, 14303, 8187, 10401, 3574, 12031, 10309, 13477, 13137, 6342, 18734, 5821, 4285, 8371, 1381, 1178, 9161, 1672, 5171, 8329, 2845, 6061, 7498, 16999, 1906, 13032, 11562, 5708, 1022, 3661, 2032, 14620, 10735, 8094, 2582, 3237, 13330, 10234, 9239, 4853, 4266, 12623, 18751, 1935, 11644, 16397, 17934, 6173, 8880, 9913, 4238, 13998, 15715, 11674, 13734, 10275, 9768, 8660, 17929, 9498, 11307, 4116, 5227, 8903, 19000, 10758, 18864, 11520, 13528, 14683, 17484, 17118, 11390, 588, 8571, 8308, 5234, 9, 14534, 16223, 19983, 8798, 5914, 12220, 19953, 4529, 10607, 4448, 15669, 4580, 7437, 7796, 12246, 2635, 2511, 10591, 18180, 6207, 18339, 10655, 15828, 8721, 9211, 16982, 15654, 8164, 5530, 19474, 17080, 8155, 4810, 13113, 17410, 5700, 7405, 14813, 3697, 15066, 4825, 10618, 17972, 11919, 10660, 2876, 19232, 12758, 7132, 9347, 1695, 3714, 1030, 1353, 11262, 8446, 17827, 13928, 11721, 14558, 16862, 16436, 9328, 18885, 4488, 9736, 16584, 14785, 16799, 4670, 9926, 1818, 12619, 160, 3935, 5783, 7627, 16596, 6560, 14473, 18620, 3512, 14165, 8637, 4124, 17758, 17286, 10856, 5136, 13012, 1153, 721, 10517, 16191, 6383, 634, 8769, 12166, 6724, 11628, 14634, 14871, 16609, 9825, 19482, 14985, 9664, 6387, 994, 14033, 71, 2410, 19310, 8227, 10773, 12662, 14103, 4120, 2543, 15149, 14241, 2862, 13673, 8465, 16804, 16941, 16697, 13304, 9603, 10055, 6190, 13607, 6777, 6921, 7396, 10226, 360, 2128, 6651, 5630, 12692, 15730, 18035, 15083, 15142, 16864, 3362, 2781, 5724, 1519, 9499, 16693, 1613, 978, 14459, 9257, 414, 2678, 8670, 3791, 7721, 18786, 6315, 2990, 2964, 2299, 9113, 13240, 2351, 19615, 8232, 1714, 4922, 16318, 19805, 3371, 16718, 5299, 9275, 2360, 471, 12545, 16973, 6416, 19393, 17713, 4225, 3463, 8569, 17676, 11973, 17052, 2526, 14969, 5465, 8822, 2969, 723, 14504, 8012, 16405, 12203, 1382, 19209, 2031, 16208, 3905, 7471, 12684, 6063, 5428, 17570, 9769, 5702, 11027, 3187, 940, 10208, 15595, 13564, 1678, 10589, 3907, 8205, 17825, 392, 12269, 7083, 1166, 6927, 2324, 11887, 4944, 12491, 4067, 10403, 18254, 14020, 16696, 1617, 18201, 18388, 2580, 129, 5262, 13608, 12201, 7912, 10113, 14330, 6502, 6528, 3318, 11361, 17471, 4822, 11567, 11476, 10788, 18505, 17381, 4413, 9719, 19816, 13881, 2521, 11906, 10290, 5856, 2663, 19618, 7457, 13892, 12951, 13492, 16708, 676, 3901, 266, 13256, 14336, 8220, 9073, 12063, 11529, 3929, 12830, 937, 1113, 15732, 13860, 6128, 6580, 2751, 9583, 19946, 8200, 4940, 1172, 14887, 13595, 18478, 1534, 14378, 17523, 19451, 8043, 10089, 4472, 4477, 4247, 7454, 8477, 6761, 2986, 5, 14743, 8609, 4083, 16366, 10392, 10261, 18895, 6051, 6418, 7981, 16099, 4974, 5021, 11712, 18737, 3618, 11043, 5723, 4803, 3640, 4129, 19386, 16212, 12762, 7870, 5082, 7839, 751, 15902, 14053, 14496, 8962, 9511, 7101, 9854, 4194, 850, 16008, 9598, 3232, 6451, 4601, 15003, 7583, 941, 18784, 3778, 271, 8358, 11612, 1293, 746, 5535, 19366, 12591, 6122, 14065, 15955, 5046, 16582, 18812, 12470, 515, 17717, 6182, 8675, 2714, 6130, 8074, 5463, 8768, 15604, 9568, 8655, 4178, 14003, 5354, 404, 4778, 15036, 6235, 3130, 11160, 15354, 18933, 50, 7150, 7801, 12888, 15059, 3883, 13396, 15408, 2082, 13932, 9556, 19339, 12917, 13227, 5449, 7334, 18887, 8312, 3015, 5327, 5140, 11691, 1635, 19261, 3290, 10811, 10121, 6074, 19457, 9115, 1238, 12871, 229, 8493, 5881, 8727, 235, 12337, 12486, 5482, 14540, 10047, 7019, 16127, 13147, 2088, 17593, 11106, 9695, 15032, 1702, 3647, 6374, 17196, 7198, 7986, 14454, 12825, 5980, 12268, 18838, 12911, 17347, 1857, 18409, 16719, 10836, 17292, 10653, 19968, 8710, 11029, 7211, 18183, 17495, 9484, 16530, 18523, 2546, 9171, 15742, 1500, 2504, 11148, 13252, 16571, 4887, 8694, 5352, 15309, 7033, 2083, 18411, 8584, 7985, 11598, 16813, 10429, 18098, 13854, 4828, 7602, 5718, 12967, 3938, 14115, 13199, 2417, 6756, 17992, 7563, 7215, 12921, 10803, 17777, 4535, 13874, 2256, 12359, 3274, 14464, 18495, 10968, 10053, 5902, 3071, 5116, 1034, 14380, 10042, 19381, 15467, 18848, 19276, 11931, 4590, 19977, 17669, 19855, 18825, 19911, 17848, 17692, 10819, 11193, 15288, 19274, 18231, 7619, 3524, 2062, 12397, 12103, 16709, 8067, 14993, 4609, 17062, 18235, 18178, 4831, 19472, 9835, 9687, 10743, 14311, 19467, 17151, 18958, 8672, 5420, 12483, 3986, 18728, 12457, 17466, 3926, 831, 11532, 3642, 16290, 8813, 9049, 6000, 11848, 10860, 2138, 17188, 8509, 1348, 11214, 4532, 14508, 16608, 3981, 5494, 17672, 11264, 15204, 15645, 13109, 5510, 5934, 5730, 12738, 10764, 3643, 735, 5761, 8673, 18748, 10532, 4737, 6696, 15079, 1218, 15242, 12297, 9159, 8562, 2637, 14327, 12946, 15100, 15473, 13499, 16323, 4653, 4473, 3897, 26, 10125, 5414, 11936, 15105, 11871, 8594, 15605, 4207, 2955, 7441, 912, 1376, 14860, 2971, 19605, 18038, 9424, 17357, 876, 18381, 19903, 9355, 13191, 17659, 5260, 9713, 4949, 17269, 8077, 7028, 4834, 5311, 7682, 1156, 14141, 1503, 8462, 545, 6431, 15791, 8455, 9576, 4650, 10386, 17913, 4042, 12677, 2750, 9597, 15477, 425, 1848, 16010, 13300, 13621, 2529, 7785, 5128, 18366, 1422, 8255, 13744, 6120, 10717, 14265, 5701, 13867, 19064, 19507, 6360, 2130, 15015, 12650, 10991, 190, 6145, 6778, 18293, 6329, 15453, 15216, 16509, 8611, 14714, 1405, 18674, 9146, 7846, 19280, 1087, 5586, 17004, 11897, 17187, 4292, 13694, 419, 12339, 4250, 12565, 18863, 8513, 12501, 13949, 2873, 7091, 7547, 7611, 8175, 1988, 10551, 1125, 17499, 9892, 6929, 2371, 12353, 16631, 10017, 1557, 9409, 7710, 16359, 3580, 7400, 11311, 18264, 11709, 12441, 14945, 11356, 16879, 6337, 16521, 15903, 6540, 5648, 18611, 13491, 12033, 2712, 14880, 10665, 15073, 8369, 1642, 8987, 6252, 9678, 3481, 6782, 18245, 17514, 456, 14574, 14995, 990, 4878, 19068, 17317, 1998, 19224, 5108, 17306, 7087, 19053, 19984, 8055, 15962, 15865, 1984, 2753, 3161, 12512, 16658, 12392, 9927, 10341, 19110, 8876, 11678, 14757, 1894, 3707, 10353, 8157, 14875, 2441, 601, 16798, 15950, 4218, 5768, 16851, 11638, 650, 10020, 15270, 4735, 14806, 1055, 635, 14684, 16017, 12312, 10025, 15002, 4255, 14017, 11948, 14408, 3833, 7750, 18146, 8492, 4321, 6723, 14652, 10686, 16146, 16560, 7403, 16915, 11217, 16727, 12597, 4649, 348, 16613, 5104, 13271, 14274, 16896, 13430, 1841, 7893, 7447, 16857, 730, 12423, 9035, 4762, 5334, 11313, 7737, 17870, 2899, 6396, 6959, 3038, 13692, 18847, 9528, 5315, 934, 11767, 3031, 13014, 16131, 6479, 9663, 96, 5369, 17730, 11823, 19703, 3821, 15286, 12225, 17305, 7126, 15307, 2506, 11792, 14914, 4933, 12076, 1450, 6835, 19007, 15920, 6271, 9791, 1799, 7647, 2808, 15914, 11962, 11377, 12194, 4376, 5943, 3848, 7676, 2052, 14050, 12027, 6594, 10948, 12732, 18515, 19192, 17511, 5220, 8725, 11884, 7630, 4216, 11563, 14130, 11452, 19217, 10759, 9493, 18168, 15907, 984, 13973, 13993, 12763, 6767, 18700, 6013, 3417, 4508, 737, 8225, 3799, 10286, 8170, 11253, 6988, 14729, 17558, 17887, 15175, 13988, 16154, 384, 14455, 13916, 16901, 7772, 11966, 123, 17703, 10606, 11537, 13548, 6038, 1272, 11333, 7588, 15822, 6565, 15713, 17995, 12018, 5435, 14180, 4717, 4038, 15879, 6286, 3253, 1786, 19026, 12024, 1927, 11335, 6838, 2224, 17355, 9824, 16206, 7112, 18918, 2902, 4955, 4115, 6484, 9021, 7301, 16221, 14224, 10041, 11862, 15778, 10414, 15194, 12997, 13167, 1690, 17496, 6488, 19440, 4433, 10932, 18120, 13631, 9447, 632, 9273, 16240, 19177, 16774, 6217, 16189, 19923, 4469, 17791, 11711, 16193, 5150, 19943, 14623, 1726, 5842, 5906, 5610, 19496, 901, 1135, 18542, 6084, 14140, 6370, 12004, 2328, 8165, 15522, 14043, 17779, 19378, 8134, 6823, 17702, 5471, 9186, 11443, 2301, 862, 11952, 19607, 12874, 13208, 11744, 7493, 19292, 4484, 5035, 8975, 10810, 1888, 18398, 9659, 16482, 4945, 5193, 1994, 1623, 19027, 12850, 15531, 2014, 9982, 14950, 9672, 3895, 15888, 5479, 2934, 11946, 9823, 14994, 9887, 3890, 18533, 15966, 7854, 11540, 2970, 3453, 18738, 7988, 311, 11379, 6521, 12630, 196, 1370, 1466, 11741, 8116, 593, 13310, 7237, 145, 9023, 13984, 18839, 16171, 2759, 8983, 15609, 16170, 1333, 13929, 2984, 19665, 15514, 16773, 19448, 14056, 17601, 19289, 12934, 11386, 1488, 9643, 13283, 8049, 9976, 10690, 11277, 7267, 10447, 8848, 16468, 18472, 12223, 10605, 11074, 18356, 14853, 14251, 19060, 9140, 7336, 14174, 19374, 528, 18910, 2008, 19180, 1212, 4436, 3376, 10348, 4438, 13196, 5323, 10523, 13806, 17774, 9428, 3658, 4391, 3954, 12469, 15858, 15838, 1037, 1511, 4393, 11549, 13742, 19653, 18370, 16412, 13702, 15935, 15055, 2412, 1155, 5368, 548, 5964, 15750, 2685, 16494, 18005, 6160, 13579, 6398, 16763, 16746, 16931, 8531, 18457, 15820, 12249, 11688, 6010, 18175, 2554, 9638, 3917, 9942, 16531, 17054, 12048, 1569, 341, 10587, 4612, 16481, 1633, 5900, 19337, 6198, 3899, 6808, 19826, 16334, 5404, 5009, 10858, 18972, 5968, 13414, 6964, 7979, 10322, 590, 15956, 6773, 12764, 16839, 10144, 3619, 14973, 3452, 16245, 8080, 19850, 7621, 15193, 16526, 11519, 9497, 13849, 403, 18757, 16830, 13375, 14678, 5291, 13366, 2332, 12212, 4331, 8375, 3871, 6931, 13619, 2805, 1900, 13394, 12817, 16688, 13827, 12977, 13967, 11147, 12022, 7249, 15859, 4840, 17801, 15373, 2879, 19061, 1754, 18117, 8704, 12549, 4582, 1805, 11013, 19134, 11930, 15976, 11317, 6645, 3946, 14177, 12362, 10550, 15984, 15831, 6916, 8035, 11499, 4634, 14435, 4184, 17740, 3593, 19787, 14928, 18563, 19523, 19747, 11736, 11808, 399, 1965, 13074, 3466, 4156, 6260, 1854, 6795, 490, 6500, 4360, 13324, 16399, 17350, 2103, 982, 967, 12942, 5830, 396, 10522, 17275, 6206, 5909, 7460, 14535, 1757, 2459, 4913, 18429, 7172, 6718, 3741, 8306, 7452, 825, 17807, 6419, 19964, 12008, 18947, 1839, 6426, 13172, 18490, 8068, 4547, 14503, 1379, 13329, 11658, 14113, 1093, 5740, 6726, 11206, 7015, 1274, 1502, 19885, 2446, 4724, 18169, 5401, 2200, 16169, 14178, 1917, 9796, 16005, 7566, 9734, 1637, 15899, 5226, 19973, 16649, 4767, 8087, 6836, 17859, 17323, 16996, 13556, 1062, 18230, 2397, 10604, 2470, 11701, 14628, 17956, 4569, 17213, 7385, 10161, 13078, 2825, 4312, 3329, 15856, 9730, 18431, 288, 17980, 15176, 10782, 12632, 2279, 1342, 7088, 166, 2126, 15042, 7011, 4094, 12590, 2354, 4228, 10942, 9593, 473, 4257, 16254, 5377, 1652, 1843, 6605, 18585, 17417, 15191, 15757, 11676, 7874, 6323, 3754, 10425, 3671, 6353, 8718, 4947, 1950, 11926, 15716, 11260, 13511, 10593, 675, 7099, 13231, 15923, 5754, 8314, 13494, 6094, 7622, 19624, 19416, 717, 18107, 5148, 8131, 8838, 4551, 12742, 13657, 17489, 3077, 4900, 19955, 8261, 7085, 13291, 7624, 2821, 4844, 5407, 15351, 10565, 15592, 1164, 10217, 14842, 31, 9263, 13540, 11034, 3838, 12923, 4056, 1570, 11115, 8958, 15922, 18878, 4687, 14214, 10324, 10552, 18837, 17759, 1852, 13020, 17872, 1362, 16055, 11011, 4310, 9081, 8648, 16344, 4010, 6877, 9956, 1009, 2125, 6421, 18097, 13378, 15292, 6557, 13971, 3005, 464, 10886, 17621, 5286, 4314, 9648, 8989, 16504, 10448, 11188, 19425, 16006, 17643, 3490, 6978, 11205, 12180, 974, 10731, 19679, 7054, 13861, 11202, 11427, 9033, 11474, 4152, 905, 13704, 14299, 470, 5000, 7295, 10954, 14356, 5607, 6592, 7755, 8996, 15209, 17973, 7110, 13094, 16580, 3134, 9057, 1350, 7311, 7654, 11753, 15708, 4093, 269, 18177, 92, 13123, 17540, 7876, 7111, 2687, 12459, 15283, 14841, 8666, 1347, 10087, 6436, 13555, 19838, 8491, 10331, 11371, 15054, 9503, 6870, 16259, 17670, 11839, 11383, 12324, 3422, 7795, 8553, 3722, 6475, 7576, 18880, 18743, 11367, 12670, 15589, 9577, 13913, 16781, 526, 309, 8846, 13097, 4003, 6345, 3918, 7367, 19123, 2956, 14898, 17705, 14754, 12660, 14796, 5473, 6350, 13686, 8286, 17152, 14812, 2681, 980, 12466, 1732, 2104, 5079, 7318, 13838, 15333, 19005, 18380, 13659, 6138, 19164, 11637, 14128, 4943, 11104, 2383, 7145, 17017, 1395, 8193, 13664, 12167, 983, 10061, 2079, 7401, 15733, 17536, 15889, 2120, 16479, 4558, 12868, 8787, 14170, 13195, 10443, 2643, 18410, 7816, 2922, 15138, 14371, 16107, 2261, 14269, 10276, 702, 15334, 859, 1311, 3009, 14226, 13901, 3602, 11138, 12733, 16392, 15122, 4976, 9082, 14015, 12658, 18525, 16217, 18792, 10736, 1762, 10673, 11879, 1423, 4870, 1256, 584, 15255, 9829, 18666, 8711, 7871, 9804, 142, 16729, 9547, 636, 4971, 9084, 8550, 10418, 18639, 3255, 18622, 2476, 4177, 11465, 15196, 4374, 10474, 7665, 7952, 16590, 9404, 15924, 241, 6571, 1583, 11838, 17832, 3447, 1226, 17712, 3281, 10564, 10328, 9743, 711, 1287, 13406, 4449, 12039, 11510, 11300, 3494, 6715, 19156, 3994, 19926, 8212, 10816, 13546, 12953, 5033, 17112, 14653, 12176, 6154, 398, 236, 13482, 19242, 11595, 11233, 18298, 18488, 6805, 6032, 2243, 9281, 14705, 6048, 9515, 18764, 18519, 6376, 13465, 14206, 6984, 1257, 2018, 209, 15602, 18857, 17572, 15449, 17921, 15232, 3280, 12274, 5623, 8991, 17216, 4187, 8716, 8101, 8335, 8437, 14407, 9802, 14098, 13, 11905, 12668, 17111, 8518, 3742, 14227, 1589, 13039, 18192, 8381, 11895, 14987, 10795, 2291, 14740, 13822, 16877, 16279, 10135, 2407, 8702, 13868, 3081, 2432, 3542, 2779, 19438, 17259, 356, 1346, 18163, 5431, 15518, 13476, 16284, 461, 14856, 8272, 18521, 4323, 8973, 11080, 1148, 16783, 18559, 9532, 12745, 15063, 14930, 571, 15393, 9386, 18597, 1040, 9506, 6616, 1571, 12083, 1316, 4487, 19954, 2203, 3912, 15045, 8699, 17113, 1150, 1241, 15208, 6701, 5353, 7604, 5093, 14615, 17217, 2809, 5213, 11713, 13841, 17617, 12036, 700, 5123, 12094, 15103, 19410, 4615, 18508, 12059, 8397, 17821, 8968, 16455, 19380, 170, 6920, 5652, 12291, 11800, 19551, 10865, 12371, 10103, 19802, 3306, 10672, 12956, 13433, 10263, 6382, 6631, 6780, 7526, 9826, 13463, 6171, 14643, 7270, 12779, 11578, 16271, 17472, 17063, 9432, 16429, 17545, 14121, 1513, 3840, 444, 1014, 14125, 9059, 12327, 11894, 19161, 6112, 7578, 16766, 18891, 15637, 10757, 5422, 10540, 6428, 19394, 15215, 9975, 8439, 10831, 3936, 17424, 2009, 17911, 689, 19127, 12723, 8687, 2168, 13058, 110, 3441, 9633, 5238, 776, 3141, 104, 19898, 10510, 5749, 13798, 4549, 13305, 9617, 11729, 1089, 7700, 15815, 16088, 7038, 16740, 7007, 7248, 12898, 4857, 4752, 12013, 19678, 15136, 8247, 7200, 6548, 9090, 5385, 18052, 2242, 6028, 10213, 6913, 16352, 5785, 2988, 1126, 2695, 4556, 3664, 19595, 4928, 3803, 1649, 13755, 16068, 9543, 15433, 19657, 3733, 14823, 16282, 8278, 17315, 12159, 9178, 7830, 4389, 16085, 18948, 8348, 18078, 6515, 9361, 174, 4827, 14899, 16471, 8289, 12700, 3972, 17277, 12445, 18612, 12195, 10693, 19887, 15161, 9319, 7732, 16329, 3823, 7314, 10036, 17671, 8708, 283, 4502, 9046, 12040, 15706, 4366, 13850, 11207, 3366, 3506, 4084, 3877, 3557, 17418, 3956, 17485, 8398, 14997, 4087, 15625, 15428, 7389, 11964, 15896, 7838, 7789, 3011, 14136, 6559, 18716, 10746, 7258, 1492, 6879, 4335, 8892, 6027, 15516, 13447, 2488, 3486, 13980, 8208, 9066, 8705, 12221, 2838, 7, 8757, 17325, 4109, 7634, 18998, 15035, 11021, 6073, 3136, 16377, 1766, 3889, 8487, 9750, 2442, 19735, 16222, 11246, 6442, 17070, 2609, 19149, 10479, 7825, 9086, 18045, 6365, 14982, 12560, 8172, 7013, 16977, 19359, 1821, 9735, 1264, 11466, 11859, 18544, 11442, 18900, 11347, 2109, 15917, 14253, 19475, 15557, 10930, 1195, 3743, 9654, 10973, 9669, 10531, 14565, 7059, 19271, 8129, 19213, 6273, 1230, 5276, 442, 19557, 13046, 4893, 625, 16122, 12385, 8460, 16748, 6722, 15926, 17742, 18999, 1484, 351, 5462, 4882, 3176, 9309, 4926, 12090, 12728, 540, 4095, 18636, 5973, 1410, 5096, 11541, 11780, 11555, 8683, 11586, 8911, 3247, 15189, 9417, 19682, 7317, 18003, 19884, 16628, 1475, 1276, 19579, 19200, 10365, 9244, 6075, 13095, 18741, 1351, 5877, 17975, 13343, 5617, 18497, 841, 15250, 15177, 12092, 9684, 12582, 18511, 16460, 18957, 18951, 5735, 2891, 16049, 11168, 1820, 16164, 4367, 1375, 16779, 4263, 5451, 19819, 15983, 938, 13662, 8006, 6505, 5807, 10463, 12243, 5269, 12458, 19100, 10721, 6981, 10216, 17079, 14250, 11201, 3745, 17648, 17666, 18667, 17822, 18021, 19692, 11017, 19825, 4096, 10375, 2058, 930, 13994, 7271, 8587, 5620, 15581, 9631, 12071, 2718, 16760, 1584, 13420, 17289, 12593, 10227, 12113, 3521, 8496, 430, 7757, 9850, 15576, 16620, 17645, 1524, 15074, 9914, 11832, 19051, 8114, 786, 8226, 18593, 13165, 2675, 1147, 5898, 13645, 6133, 6752, 14794, 5750, 6070, 6884, 2735, 1326, 10685, 12955, 10813, 1859, 8647, 2322, 19920, 17157, 5312, 18510, 3763, 9529, 14387, 8224, 18824, 2096, 13799, 10091, 3213, 17447, 11318, 8183, 1883, 1479, 9545, 19843, 7084, 12111, 19397, 12887, 15635, 10790, 15124, 15236, 5383, 3475, 18564, 13843, 15155, 12586, 13103, 15306, 2966, 4296, 14188, 6420, 7568, 7351, 3102, 12263, 2466, 541, 15490, 6469, 13468, 9379, 7310, 3598, 12287, 7139, 12255, 9005, 9930, 11431, 12355, 17504, 5486, 18406, 7946, 4899, 11957, 18058, 6169, 7337, 12450, 14986, 437, 18076, 11127, 10241, 19470, 4439, 1645, 19223, 15305, 2036, 2701, 4181, 18719, 12697, 4265, 2404, 14951, 12999, 19142, 7760, 14699, 18383, 19569, 15192, 14511, 19594, 4579, 14611, 14484, 15057, 13072, 162, 10175, 7570, 12073, 6214, 3517, 14923, 12620, 8576, 3678, 5393, 7580, 11319, 468, 14236, 3380, 13101, 12208, 10494, 14279, 13879, 4199, 6907, 9396, 1255, 12499, 10558, 14354, 16450, 1374, 9548, 15091, 14716, 814, 8275, 8390, 10841, 17886, 4064, 1959, 5496, 4054, 16970, 14448, 10794, 3151, 10274, 4968, 2645, 9637, 2161, 8296, 1159, 17046, 19108, 552, 12608, 12185, 18328, 4691, 3312, 14966, 2665, 9436, 10284, 13947, 15341, 16488, 16176, 19706, 14137, 14908, 16130, 18986, 14069, 1559, 6553, 12110, 17429, 17541, 9258, 16777, 9028, 6866, 19115, 305, 6883, 19136, 6598, 12866, 4499, 6840, 6786, 19253, 9727, 17718, 6698, 10520, 898, 8824, 10059, 14862, 2460, 11734, 2756, 12405, 15197, 16953, 8280, 14911, 1386, 2331, 9353, 12440, 12419, 4727, 19208, 14891, 649, 11996, 5861, 8411, 10052, 16330, 16598, 308, 19698, 19036, 15698, 8965, 6909, 8574, 3110, 17093, 11296, 9997, 17665, 1417, 5106, 10098, 10449, 9468, 15867, 8984, 15767, 4956, 7749, 17171, 3878, 12418, 15480, 5210, 4455, 11001, 15810, 18927, 12750, 3543, 264, 16004, 12317, 16292, 832, 16231, 6554, 7533, 4538, 2790, 11685, 12812, 6118, 10588, 2972, 2340, 11571, 17850, 705, 8360, 18841, 19822, 6296, 12264, 4486, 5876, 2869, 17719, 13641, 3440, 7008, 15472, 3772, 1131, 12701, 5915, 18130, 14790, 9785, 15612, 10249, 16669, 1486, 19988, 8771, 19345, 17310, 6083, 17440, 4814, 7668, 8737, 4781, 17650, 14357, 10426, 13022, 10198, 8328, 3951, 19326, 1335, 4935, 434, 14659, 12416, 16809, 18438, 5867, 2789, 9314, 8535, 7623, 12072, 12001, 6175, 16172, 9421, 5891, 19461, 2306, 508, 12782, 7485, 10, 15024, 3000, 5016, 5839, 9990, 1717, 7817, 14810, 3208, 10115, 16024, 572, 13561, 17736, 19502, 16230, 13871, 4624, 1320, 9412, 248, 13361, 12640, 14594, 2107, 16367, 9662, 16893, 18195, 18537, 135, 10189, 6622, 771, 395, 8795, 7601, 12054, 16048, 1856, 4235, 16803, 251, 7324, 12583, 8858, 4172, 792, 894, 18938, 11093, 16601, 16112, 521, 474, 11609, 10657, 3569, 7382, 16076, 6769, 8910, 16653, 7246, 15407, 14312, 338, 7501, 240, 11283, 2882, 2858, 15661, 1073, 18720, 3792, 17694, 16273, 12664, 5917, 7121, 9341, 6859, 7963, 3663, 4681, 18804, 4232, 14767, 17790, 8736, 10866, 5410, 3133, 1149, 3696, 8372, 6292, 11179, 3370, 3493, 11696, 8800, 8054, 19291, 8834, 14064, 9152, 6369, 8222, 9026, 645, 4662, 8630, 10861, 4295, 641, 10228, 2495, 1419, 18269, 15462, 7440, 9921, 8658, 9985, 10122, 18524, 7525, 6509, 4305, 3462, 7077, 4002, 16425, 8907, 13385, 14934, 14949, 18913, 8717, 11702, 1043, 2189, 12604, 6757, 2362, 15097, 3581, 13811, 4209, 734, 12061, 17547, 5296, 2484, 13883, 3915, 3200, 1133, 4127, 6953, 17219, 4772, 17622, 13935, 13575, 407, 2682, 6806, 10185, 17397, 18030, 17753, 16873, 7383, 4705, 16224, 9245, 6584, 12232, 15991, 1119, 15224, 7545, 18566, 5875, 4647, 3925, 4101, 11673, 16194, 14031, 9965, 15380, 10300, 15818, 9410, 1968, 11514, 7241, 9712, 11747, 16065, 8060, 7009, 12976, 17038, 1305, 394, 12153, 11150, 10683, 14647, 15166, 16295, 7589, 4245, 14497, 12838, 1863, 18854, 3145, 2793, 2451, 17534, 4661, 8480, 12661, 13302, 13705, 16457, 13367, 19, 3212, 14780, 149, 11655, 13836, 5114, 3902, 8816, 15948, 3197, 5251, 15512, 12449, 13617, 2403, 7664, 17241, 16216, 9602, 11183, 11375, 2939, 15811, 3149, 9701, 2244, 4646, 10390, 17356, 1596, 12284, 6480, 9125, 274, 3092, 11903, 5883, 5236, 3363, 11153, 4445, 3789, 2936, 8099, 9101, 7287, 17194, 7684, 7708, 6131, 5302, 8153, 17531, 16294, 3752, 8840, 13067, 9445, 15339, 12144, 19415, 10456, 5001, 3039, 2325, 10989, 15301, 11777, 2029, 15580, 7222, 13445, 6033, 7859, 8482, 12314, 10574, 3979, 17564, 9133, 5300, 12614, 11941, 9878, 3563, 12820, 16411, 2895, 5981, 19084, 6142, 14768, 8461, 1659, 11705, 4346, 10489, 1665, 12414, 19459, 10840, 17994, 13306, 5053, 5988, 6325, 5514, 17000, 2973, 2394, 1937, 11279, 2644, 15258, 7892, 1189, 18683, 2768, 2491, 2594, 16916, 5924, 5604, 5942, 11391, 10231, 1251, 17283, 11129, 7378, 7100, 13319, 3166, 9129, 5935, 3604, 6831, 2400, 2133, 10786, 2562, 2026, 12402, 19273, 12540, 15082, 4631, 14444, 3235, 14414, 11739, 19939, 2065, 11771, 6487, 15445, 4452, 10387, 525, 775, 12400, 14915, 13720, 6152, 14318, 19578, 19581, 6228, 8317, 3567, 8444, 2418, 19709, 13395, 4104, 7444, 761, 11359, 10165, 11220, 1204, 1736, 16442, 17721, 18199, 12739, 3709, 4730, 5105, 6539, 2236, 5209, 12137, 12164, 13373, 10869, 613, 7236, 18492, 19848, 690, 4594, 19268, 15259, 7065, 7894, 9989, 12426, 15387, 5632, 16650, 13164, 909, 18191, 15789, 16304, 5277, 1493, 1885, 16866, 4206, 17675, 8938, 7587, 1897, 19743, 15349, 12753, 6567, 11304, 7693, 15340, 17856, 19389, 3419, 16201, 2163, 8327, 19212, 2409, 19616, 8252, 12969, 1361, 18707, 17953, 13975, 7070, 13071, 5237, 5527, 4800, 5233, 14931, 19872, 17803, 1097, 13047, 13530, 606, 5673, 5491, 18483, 10823, 10887, 12928, 7202, 17265, 13667, 1504, 13484, 5137, 8005, 14720, 17421, 12102, 18459, 11388, 562, 171, 16550, 7596, 1748, 5232, 3931, 885, 8982, 10807, 6603, 8113, 17109, 18607, 2030, 726, 6102, 18876, 11046, 5162, 4146, 6330, 6275, 2765, 18127, 11939, 10933, 10339, 8179, 417, 17726, 3861, 16648, 17433, 19024, 8908, 9630, 12642, 14350, 11381, 17448, 2205, 8713, 345, 13750, 12189, 2396, 1886, 14420, 2817, 13837, 7544, 6279, 13877, 15642, 7323, 8472, 14406, 5744, 8045, 14510, 19597, 6092, 11816, 2405, 10797, 15219, 8385, 15587, 10116, 3682, 3385, 17264, 4531, 5835, 6016, 17789, 17528, 1412, 13920, 15438, 17846, 7900, 16767, 10298, 7899, 7523, 13111, 3088, 8775, 7464, 9759, 15414, 1860, 16150, 18396, 14175, 19809, 6610, 17858, 3470, 9542, 12886, 6438, 18019, 3352, 8785, 9464, 17510, 893, 16310, 5609, 773, 13011, 15659, 11187, 3780, 4494, 3731, 4015, 10111, 14599, 3014, 298, 10767, 3656, 13335, 10957, 13952, 2304, 3755, 6958, 7393, 17749, 18040, 11374, 4923, 11184, 12352, 16939, 4193, 4288, 5734, 8408, 11632, 260, 16312, 16355, 17067, 18400, 5439, 9937, 8149, 7540, 16458, 8014, 8776, 3700, 2111, 12484, 11470, 19623, 9324, 1229, 5548, 2937, 6600, 247, 8503, 9169, 4063, 19890, 15628, 4442, 1129, 9212, 10460, 16153, 17639, 1955, 3137, 4859, 9646, 10697, 18218, 5259, 19088, 19168, 8271, 1719, 13098, 17845, 12343, 2213, 18541, 18415, 9876, 4914, 10015, 18365, 6545, 14745, 19466, 14032, 16678, 10781, 10756, 8003, 12903, 16079, 11326, 1942, 8016, 11805, 8483, 7098, 1689, 16519, 7261, 15551, 2117, 2924, 1413, 12467, 17915, 7435, 8453, 12258, 11063, 14440, 10871, 11503, 8415, 2171, 3210, 1692, 14116, 7006, 4977, 18598, 10567, 19521, 7427, 8368, 3152, 4226, 2840, 18407, 6390, 2186, 5274, 19966, 18236, 16593, 2263, 9048, 1225, 17226, 19762, 10777, 8735, 15843, 15164, 1944, 273, 0, 1875, 19210, 8316, 4309, 3886, 16434, 8952, 3727, 2656, 7174, 5784, 13997, 18850, 4652, 6641, 3738, 4885, 18453, 17344, 15030, 13187, 7067, 4701, 3629, 16372, 8777, 2611, 13309, 11863, 14461, 16981, 13471, 19373, 7219, 9784, 4149, 1834, 3523, 12831, 6949, 8384, 1657, 8092, 19927, 10911, 8478, 2453, 6699, 12135, 12058, 5068, 2467, 18335, 12182, 10405, 6766, 11186, 19742, 5388, 9832, 3286, 13796, 1299, 16835, 17181, 17895, 8166, 10987, 1725, 13089, 9566, 745, 6293, 7361, 15157, 18004, 6065, 16147, 11591, 7706, 16203, 8174, 17019, 14156, 10528, 9039, 13248, 11992, 5331, 2337, 8707, 5130, 13781, 7964, 12046, 6957, 12196, 18513, 1006, 5675, 15870, 9267, 8410, 8243, 627, 14001, 13173, 7355, 6864, 12704, 16396, 11804, 12557, 12247, 10507, 19377, 9182, 1758, 17976, 7158, 17096, 8928, 7187, 5174, 1085, 18252, 5064, 7386, 6495, 17328, 1581, 3575, 11799, 12904, 14832, 454, 18414, 8440, 18193, 11373, 19409, 1611, 4812, 17276, 14886, 19264, 16089, 19182, 14817, 14286, 18504, 3749, 1541, 16666, 19116, 17369, 12475, 8575, 1905, 8394, 15572, 3211, 5661, 11434, 1560, 3455, 17829, 14663, 3507, 3331, 4053, 2013, 15936, 11398, 10404, 8696, 579, 1399, 12119, 1739, 5813, 4212, 13490, 1627, 2479, 8279, 6658, 2188, 10996, 19745, 3835, 16749, 6745, 1144, 6734, 10627, 15801, 18311, 18818, 7559, 12542, 5188, 5060, 8388, 8058, 12490, 4237, 8803, 512, 19718, 5041, 7674, 14826, 11669, 15050, 19062, 458, 2740, 14723, 14802, 16883, 10202, 4540, 11725, 7035, 17804, 5183, 6302, 9574, 14386, 14779, 17129, 6799, 8284, 10452, 14638, 19956, 12986, 15515, 8939, 13379, 13458, 7107, 6227, 11961, 18870, 8502, 12514, 8402, 3625, 17371, 8534, 14280, 14791, 18340, 12577, 18118, 2929, 16948, 13795, 14581, 4444, 19050, 3268, 6936, 6731, 19008, 7225, 7560, 14557, 4753, 16258, 3639, 5282, 1214, 3184, 11504, 7553, 8242, 10382, 17142, 15981, 15114, 19151, 10049, 17553, 5574, 14313, 19875, 9805, 15694, 17902, 9686, 1779, 14655, 1490, 15724, 8298, 14092, 18461, 9535, 17482, 9683, 14102, 11255, 15650, 17435, 3178, 4345, 4363, 550, 9083, 2729, 8781, 10708, 242, 13905, 12085, 15629, 2775, 6456, 13782, 13153, 19544, 6705, 2271, 3529, 8990, 11776, 10928, 7551, 8182, 6919, 443, 11229, 17812, 5200, 13658, 6055, 9164, 13397, 11613, 11523, 15125, 9845, 8009, 3443, 11988, 4251, 14329, 12538, 5366, 18458, 8712, 2941, 2616, 17177, 6819, 18484, 136, 14319, 19013, 6445, 14323, 10919, 10722, 5759, 14270, 11976, 19294, 1327, 15488, 12, 16489, 17576, 15864, 16072, 7153, 17267, 12007, 18464, 12693, 11572, 19562, 14345, 16433, 12964, 17612, 2184, 16009, 8814, 4179, 19948, 11881, 14431, 18104, 105, 7686, 15968, 10258, 9108, 16337, 2974, 4619, 12743, 2680, 3293, 12078, 10356, 13380, 16149, 2209, 14698, 2912, 2797, 18696, 16102, 5990, 1460, 19857, 8322, 8780, 3541, 906, 12657, 19196, 1367, 17725, 4937, 8050, 3809, 19577, 7558, 5303, 9744, 11117, 4791, 5850, 3875, 2622, 17879, 3715, 9766, 13148, 2367, 7293, 4997, 10399, 6248, 12932, 4339, 390, 5888, 1876, 4907, 1765, 1061, 17520, 1830, 17978, 823, 5402, 7762, 1480, 13371, 10667, 13221, 12485, 4603, 14992, 6056, 15202, 18318, 1881, 16490, 11182, 11477, 3234, 9623, 18242, 8881, 18092, 38, 11173, 17655, 6789, 2881, 9009, 13480, 16508, 2214, 12259, 17343, 13066, 5088, 18810, 888, 13504, 5412, 200, 11665, 7369, 13392, 4617, 15729, 7483, 1244, 19734, 3509, 5532, 16543, 14651, 13983, 11484, 8056, 19133, 12286, 14948, 599, 14186, 14249, 6210, 3179, 10843, 9725, 14471, 6846, 12081, 1985, 14030, 4131, 9060, 9331, 7169, 15938, 12734, 11245, 18204, 5947, 4071, 16060, 12824, 19129, 6747, 6298, 14866, 557, 5699, 13848, 17011, 1378, 4588, 11535, 9612, 2069, 17999, 8034, 15011, 2880, 3387, 18271, 14639, 15489, 10508, 10859, 4845, 14302, 18852, 15078, 14582, 10529, 4496, 1892, 12388, 3857, 18820, 16828, 13675, 11475, 12755, 9062, 19046, 14248, 8485, 10625, 12768, 18956, 7916, 6208, 16246, 9349, 15337, 874, 1002, 2073, 12805, 865, 11902, 27, 12281, 14771, 10396, 4626, 5429, 5040, 18851, 2090, 10964, 19132, 9519, 6297, 11045, 15883, 15187, 17092, 539, 11002, 1561, 10440, 15931, 1790, 14807, 7167, 10812, 1606, 4560, 1526, 946, 14555, 17383, 18985, 2726, 14321, 6269, 6828, 18194, 17826, 13269, 3279, 3142, 10966, 19296, 18771, 10501, 14596, 10152, 8451, 5177, 8599, 2666, 10355, 11889, 19464, 2603, 4028, 19356, 127, 16733, 12835, 16932, 11636, 977, 18480, 3683, 13545, 1508, 13642, 5252, 13603, 12601, 3285, 19077, 14544, 2538, 10194, 1024, 8400, 3770, 9290, 7147, 6155, 6256, 7140, 11413, 15323, 4240, 10530, 5503, 4001, 3842, 12216, 2589, 10302, 17127, 12096, 3403, 16920, 5631, 16040, 12224, 137, 2053, 19768, 16369, 388, 9450, 7430, 8680, 14445, 10617, 16645, 3456, 18051, 18443, 9279, 1851, 15623, 16814, 2273, 6827, 5812, 12374, 11677, 17680, 7960, 15492, 2081, 17474, 11316, 15376, 16391, 14093, 8420, 747, 10749, 13710, 14154, 9794, 985, 17478, 9136, 16220, 3024, 12744, 5767, 1427, 12564, 7612, 7392, 9947, 9807, 14751, 9024, 18823, 2525, 15556, 6664, 10374, 16309, 8674, 14836, 13693, 15585, 973, 17888, 16129, 18064, 3316, 9303, 13669, 14980, 14933, 18584, 13788, 19487, 1809, 8002, 13301, 14067, 19325, 14007, 19686, 19785, 18783, 215, 620, 2002, 8007, 5781, 14734, 1083, 4779, 1987, 14045, 5247, 11944, 3589, 9079, 17399, 13780, 17135, 2102, 14039, 17629, 16238, 9601, 12778, 15132, 16161, 10126, 17002, 13625, 8469, 1439, 9426, 5490, 11167, 103, 12746, 743, 11041, 10918, 10680, 10950, 17047, 3193, 5427, 211, 15, 9477, 2040, 11913, 1710, 16771, 3204, 16363, 5764, 7269, 6860, 156, 2217, 18713, 8501, 17714, 15362, 3100, 13387, 12277, 2590, 10755, 11972, 1656, 18228, 779, 10062, 15481, 16685, 19391, 7350, 12494, 18350, 5248, 10937, 7451, 18321, 16159, 18349, 9397, 5357, 4682, 18893, 8202, 9523, 15293, 14632, 18470, 9771, 9234, 11450, 1393, 4460, 1408, 11914, 868, 8904, 4080, 785, 14532, 8062, 14665, 3887, 4362, 19147, 12139, 8098, 1180, 14310, 6742, 9126, 8600, 8959, 5599, 3479, 7561, 13390, 15744, 382, 8066, 14189, 7109, 14968, 8974, 10875, 2475, 429, 19814, 9751, 17613, 1814, 1340, 19812, 16514, 4013, 2300, 2444, 6775, 17873, 1804, 2198, 14732, 15038, 13819, 8176, 16895, 15231, 10312, 522, 10422, 19918, 1497, 10506, 2502, 4069, 3880, 2454, 18232, 14937, 9163, 19993, 8605, 13697, 1619, 7920, 7720, 184, 6536, 12546, 17537, 9918, 7541, 3535, 12862, 19666, 5918, 15047, 10406, 12506, 7017, 2945, 2193, 18826, 18473, 3094, 6744, 17359, 7128, 7803, 667, 11165, 6807, 15542, 14051, 15840, 11284, 120, 13479, 7685, 9496, 4066, 12394, 18733, 655, 6508, 13765, 3849, 19145, 6324, 10160, 16480, 3920, 6858, 14205, 5619, 12430, 15377, 10670, 3047, 6663, 7260, 12134, 4758, 2196, 17770, 11159, 7507, 7766, 13211, 15314, 4651, 16670, 14621, 18002, 9301, 13954, 19205, 11527, 6188, 5065, 18261, 3866, 12607, 4721, 17024, 10575, 6971, 6788, 12674, 755, 7765, 386, 12454, 13970, 6230, 10383, 14068, 2848, 3939, 558, 19912, 11757, 5384, 4357, 14234, 14697, 11888, 19756, 7448, 13441, 14935, 19879, 18788, 4219, 16375, 18538, 7716, 14070, 9673, 18694, 1298, 10451, 3342, 3132, 14367, 19528, 4023, 5957, 16768, 5880, 9492, 3216, 1224, 9716, 7189, 4642, 12920, 6314, 10857, 19886, 3313, 15156, 18874, 18056, 6203, 17890, 19797, 16484, 5627, 4134, 10381, 9317, 10467, 4154, 232, 7696, 6996, 17042, 8678, 14087, 14225, 9141, 1815, 17905, 19301, 9636, 13328, 8266, 15703, 19889, 18970, 7404, 4327, 16559, 3373, 1242, 4121, 15779, 3980, 2229, 5791, 2699, 16387, 18317, 10337, 11192, 5324, 1951, 19074, 10104, 609, 9248, 2019, 9215, 18319, 11181, 12765, 5076, 15370, 8788, 7093, 17710, 151, 17334, 8638, 9806, 19517, 14411, 8762, 10516, 10205, 19568, 11619, 6829, 16287, 17498, 8922, 4552, 8109, 13554, 8861, 696, 5659, 17602, 14244, 15823, 13900, 18945, 8596, 3805, 6991, 5095, 6197, 18551, 15238, 10376, 19611, 1774, 16109, 4754, 9704, 15474, 16078, 14770, 15459, 3058, 887, 15704, 4290, 1771, 8644, 3677, 18446, 1210, 3115, 14598, 13571, 1952, 9679, 6617, 9758, 18930, 18326, 11588, 12562, 8433, 14441, 17384, 496, 10148, 14343, 3445, 502, 15853, 1332, 3850, 6666, 18914, 9067, 12474, 8877, 19049, 1067, 5711, 228, 18267, 8755, 12856, 491, 6080, 10700, 4468, 10951, 14551, 13034, 18283, 10526, 9539, 10727, 6977, 2897, 943, 7642, 19526, 13411, 12133, 3844, 18617, 5916, 2593, 2361, 3732, 15108, 3302, 2098, 8563, 1880, 13976, 7543, 7227, 7908, 7537, 7594, 662, 6457, 4241, 17023, 1216, 8865, 8937, 16827, 14204, 5074, 10023, 17147, 1997, 6123, 16536, 2683, 5289, 14073, 19518, 5979, 5135, 18152, 577, 18182, 16014, 18835, 1213, 12716, 19128, 16152, 16456, 17780, 14124, 13118, 16570, 1369, 8362, 14077, 536, 7079, 14476, 5865, 16296, 18588, 226, 3826, 8379, 16256, 11542, 5483, 3747, 4349, 8458, 17578, 4886, 6675, 13292, 15330, 530, 17401, 12227, 11582, 9014, 2614, 950, 12154, 14267, 9375, 9554, 15081, 8029, 18100, 12089, 11099, 4999, 2722, 87, 3531, 14539, 10502, 9326, 12747, 19491, 11305, 18609, 3811, 6096, 10411, 16180, 9569, 19495, 17518, 5098, 8631, 5337, 19712, 18691, 3522, 1470, 14307, 14612, 10999, 3816, 9406, 14739, 10138, 4165, 1176, 8597, 10112, 4996, 9040, 7930, 1783, 10505, 1979, 13190, 13181, 2215, 2766, 481, 10427, 7703, 16360, 10230, 6229, 2190, 7209, 484, 618, 11105, 2828, 9192, 19788, 14820, 9368, 3361, 10633, 17592, 4394, 573, 13350, 10891, 19516, 19307, 9838, 372, 2201, 19669, 3540, 9095, 9963, 5317, 9809, 10800, 4875, 7002, 17233, 11226, 11149, 19044, 19111, 8613, 13562, 4897, 14787, 524, 10446, 15104, 5986, 3491, 14811, 6476, 5270, 16586, 7639, 3282, 19109, 12524, 6151, 10453, 1573, 1465, 5649, 4234, 5697, 14774, 15051, 18892, 16144, 960, 8010, 2450, 18916, 6, 2961, 4668, 3825, 4929, 17282, 17281, 15830, 6681, 7902, 14410, 6939, 13313, 11714, 6077, 3806, 8520, 1544, 16379, 8073, 6496, 11801, 8793, 10656, 18532, 18576, 4961, 4716, 2728, 18456, 6774, 14991, 4568, 10828, 13558, 17296, 13862, 4879, 19800, 15139, 17149, 11574, 12065, 19465, 14117, 11419, 17479, 376, 18014, 6629, 9573, 18093, 9865, 18963, 18889, 10397, 18530, 4553, 7183, 14129, 12909, 13934, 10221, 13496, 6809, 1744, 12101, 12777, 10754, 6004, 15781, 16063, 13203, 17057, 4584, 14748, 14630, 2846, 11337, 1644, 1517, 6579, 18668, 19255, 18371, 7528, 14962, 2998, 9289, 926, 246, 16892, 16546, 8435, 16898, 11788, 8476, 15262, 15573, 16625, 2523, 14490, 14046, 13127, 5589, 9866, 2158, 2870, 3339, 1169, 15475, 1451, 15720, 18594, 7603, 13951, 7852, 19552, 10154, 2106, 19944, 10566, 13691, 15552, 11237, 6158, 17699, 1602, 18265, 1674, 12649, 13769, 952, 844, 7745, 5163, 16539, 18539, 14179, 2932, 17445, 17006, 3062, 7307, 16989, 3703, 6792, 5680, 14034, 19913, 11444, 11494, 4565, 8915, 7701, 8724, 9430, 9658, 17183, 9296, 5207, 13307, 8110, 13114, 1844, 16270, 12245, 4792, 19148, 7344, 11364, 3046, 14675, 3923, 2660, 17778, 1295, 7637, 5305, 17642, 13273, 13296, 12710, 8620, 2000, 7794, 3061, 12987, 9261, 13577, 1653, 7605, 6391, 14876, 6225, 2178, 13578, 1593, 6352, 7652, 14259, 9236, 1122, 15415, 14009, 15427, 18845, 4909, 6644, 5556, 2440, 14322, 19688, 16602, 13539, 3518, 2773, 2003, 12169, 12299, 18162, 533, 17792, 19731, 7878, 2391, 18423, 1705, 2370, 12579, 16097, 2672, 16417, 7142, 9395, 3502, 18063, 8899, 7513, 17698, 3729, 2308, 3638, 5125, 397, 7284, 7678, 5874, 16890, 8419, 11455, 4132, 17101, 5998, 12881, 15447, 17103, 11071, 4832, 19804, 13818, 11802, 3959, 3865, 11225, 5626, 19390, 2341, 4416, 1098, 4654, 9508, 2619, 11737, 5803, 11397, 8276, 14614, 12600, 17340, 17948, 7793, 2078, 13713, 16382, 9857, 18556, 15184, 3103, 1202, 15763, 817, 18276, 8095, 15444, 1177, 19225, 11873, 3685, 2343, 6137, 13134, 6501, 8507, 15406, 15237, 1532, 17871, 1941, 11775, 13948, 1203, 12509, 3690, 11040, 8997, 2303, 17020, 7462, 5504, 69, 8311, 5638, 2742, 6471, 3801, 8250, 14642, 18925, 14106, 5454, 5083, 5919, 8473, 12780, 14075, 911, 3097, 4513, 12663, 5360, 12360, 10848, 2960, 9645, 5066, 13059, 9074, 4320, 10644, 948, 19829, 678, 8389, 16021, 4616, 19793, 2819, 13919, 15880, 13426, 5085, 14434, 14941, 11852, 8592, 9271, 1232, 14704, 17301, 8207, 3322, 1038, 6895, 9615, 6601, 1592, 9520, 12342, 9458, 16210, 19290, 16605, 15115, 15090, 6667, 16315, 11782, 8549, 19501, 8484, 17012, 6802, 5936, 18950, 16630, 10760, 6656, 19585, 18197, 6923, 2904, 15882, 3868, 5284, 12773, 11429, 9724, 11146, 5154, 6335, 14753, 16039, 11308, 17507, 5757, 6887, 9442, 4371, 5572, 16695, 6316, 8117, 10385, 7030, 8560, 7719, 8832, 6532, 3016, 7832, 5246, 13119, 3787, 14427, 5204, 13974, 16267, 5119, 2320, 4994, 6401, 1414, 7620, 4599, 16205, 5769, 17077, 6251, 14506, 385, 8849, 13224, 12786, 1663, 1160, 75, 9408, 15965, 14752, 7443, 18256, 13318, 4648, 426, 8686, 6925, 6900, 2515, 9041, 453, 4837, 18150, 5577, 1996, 10979, 19002, 12253, 10310, 4970, 12927, 7670, 19877, 3175, 6599, 1198, 8627, 17336, 5855, 18711, 17521, 18001, 4806, 17105, 5833, 11543, 3409, 12348, 10538, 11095, 14293, 15016, 6414, 19586, 8325, 6589, 3332, 3270, 6272, 4026, 2654, 2353, 9640, 19272, 4162, 6630, 16742, 10022, 12706, 19479, 9266, 19781, 19940, 15178, 10579, 18765, 8691, 1789, 258, 5018, 15007, 290, 15395, 12783, 5313, 19510, 953, 4863, 4354, 10995, 7097, 19489, 15904, 10191, 10475, 18421, 6719, 3499, 1161, 18547, 12413, 6305, 12552, 5948, 3495, 16525, 16059, 6008, 10562, 1933, 993, 18819, 5158, 14298, 10291, 299, 19392, 16790, 2647, 7641, 14114, 5616, 10581, 3257, 3510, 11837, 3007, 10472, 19105, 7021, 11056, 17316, 5657, 15037, 8459, 810, 14597, 4817, 17299, 8178, 16529, 12288, 19304, 10637, 9870, 9479, 16734, 6114, 10943, 5090, 4903, 7800, 19535, 1631, 9486, 18069, 11290, 3867, 14888, 18427, 3357, 4880, 9064, 5254, 17522, 6869, 19713, 7499, 14884, 11560, 11626, 7532, 2503, 19241, 6019, 6511, 10084, 6441, 806, 14531, 15004, 14537, 6671, 9596, 16469, 16016, 19041, 5029, 4210, 8351, 1491, 18807, 16789, 12781, 8239, 8961, 17462, 13655, 13953, 358, 18393, 2282, 16133, 12021, 1175, 5365, 1063, 17526, 7068, 15067, 15188, 2164, 9148, 13972, 17318, 4733, 11835, 18292, 13188, 14403, 79, 17960, 8158, 8011, 4291, 739, 3423, 452, 17260, 8542, 11970, 9608, 18740, 17808, 14176, 7610, 3022, 9063, 4126, 19537, 9252, 15939, 14658, 19293, 15887, 12432, 5703, 883, 161, 9223, 11145, 2595, 8295, 46, 1020, 16177, 2481, 17882, 17137, 16752, 3246, 16745, 19820, 8995, 18219, 1310, 8657, 16278, 16173, 2842, 5844, 7220, 7313, 10106, 17341, 282, 19856, 3042, 19165, 7185, 13347, 6174, 13364, 1074, 10629, 7569, 14240, 2597, 8726, 16, 1084, 18631, 16053, 890, 11830, 838, 9056, 16579, 13903, 4192, 19959, 5180, 8248, 19245, 13341, 2608, 11139, 10533, 503, 16611, 11458, 15269, 1457, 12963, 14239, 11323, 7102, 6569, 6908, 5992, 12852, 12916, 4846, 9888, 11109, 12412, 5944, 18600, 17262, 12730, 19780, 13425, 7638, 16184, 14195, 5907, 4860, 1219, 10641, 2173, 12476, 9933, 4659, 14688, 6448, 7833, 188, 16046, 10702, 684, 15257, 16474, 8072, 2402, 14256, 11161, 9313, 12171, 7936, 6657, 9811, 6117, 10237, 19549, 8309, 8438, 9934, 1654, 14893, 5172, 18403, 19925, 19969, 11066, 10534, 19412, 18670, 4014, 13212, 14091, 10922, 9202, 5651, 6067, 16662, 15129, 12479, 11653, 9247, 1943, 9302, 3710, 7071, 18011, 9884, 7869, 17544, 18962, 4962, 13051, 4157, 6215, 520, 7994, 7574, 1566, 10358, 6156, 4385, 17844, 16541, 14013, 1424, 7813, 12516, 2245, 6086, 13182, 4936, 8669, 13192, 9757, 15534, 15672, 6465, 4890, 16075, 14384, 19922, 12724, 17548, 11134, 19691, 15116, 4892, 10065, 16348, 14207, 3987, 16092, 11281, 10438, 7375, 10927, 7032, 14082, 15223, 14619, 13003, 1188, 1118, 14809, 14438, 19143, 4522, 18651, 3457, 12791, 3472, 17877, 15693, 19550, 17420, 16744, 2356, 5432, 3353, 3021, 3168, 11566, 17958, 3603, 8395, 9840, 18144, 933, 4271, 8288, 17737, 16132, 13370, 10245, 14258, 1121, 12876, 5805, 17755, 9170, 14055, 7717, 16726, 8883, 19468, 14833, 12261, 16841, 5489, 11142, 14764, 4543, 19783, 4953, 3605, 11910, 13683, 7439, 6938, 12981, 12199, 18375, 18386, 16591, 14215, 5036, 10849, 12536, 15173, 12507, 17398, 12815, 4474, 18099, 17327, 10808, 2087, 14578, 4639, 6366, 6379, 6492, 3464, 11073, 6535, 8300, 5561, 5062, 13891, 3350, 6006, 14147, 4787, 5766, 8464, 2573, 8436, 17425, 12686, 2610, 13464, 7303, 19759, 9116, 4865, 14797, 3928, 17061, 7866, 9175, 18774, 9881, 11511, 9770, 9610, 12233, 897, 5239, 14281, 11649, 2480, 18762, 10726, 4440, 16925, 16944, 17735, 14040, 14276, 4344, 1290, 9316, 565, 13117, 3586, 2075, 4726, 19634, 2056, 2513, 9338, 8373, 18648, 2425, 5931, 18074, 5636, 959, 13146, 12896, 17169, 1334, 19442, 18212, 11844, 7740, 5398, 18260, 10082, 1052, 8544, 13274, 18282, 17308, 2195, 2249, 317, 5663, 2996, 19319, 12478, 16807, 5746, 4930, 17997, 10584, 18111, 19575, 14418, 3596, 2143, 12138, 13028, 15647, 2313, 17959, 13604, 17700, 14750, 70, 17039, 7412, 13493, 10765, 6815, 13409, 4768, 8414, 19546, 12326, 11500, 13918, 922, 6562, 4462, 14529, 18642, 2864, 16682, 5007, 5411, 2780, 6389, 619, 18577, 8194, 18323, 16031, 10473, 17414, 13978, 14284, 8745, 1397, 6593, 13590, 13183, 17258, 15504, 13133, 15548, 2068, 18314, 9550, 16523, 19563, 8651, 9814, 3437, 16833, 6983, 17769, 10703, 1078, 4732, 9622, 9970, 16755, 12035, 5810, 13712, 17763, 15113, 1101, 15624, 6161, 10063, 15400, 11274, 16599, 5693, 11394, 2531, 1506, 17040, 3239, 7527, 11380, 14629, 15793, 3432, 13502, 7171, 2431, 12767, 13529, 2905, 18304, 189, 7842, 13576, 13288, 18285, 1064, 9400, 19079, 13627, 861, 8181, 1312, 10109, 446, 17454, 15565, 15930, 902, 15146, 5933, 6624, 5015, 17048, 5940, 11221, 16192, 7467, 1728, 4476, 19239, 13007, 14211, 9144, 8740, 12800, 10268, 8407, 12818, 3498, 8731, 15119, 5972, 19765, 18485, 4059, 3146, 11501, 1721, 12647, 10032, 12044, 1546, 14869, 15893, 18413, 5003, 41, 14874, 15389, 7779, 4061, 11686, 16317, 12713, 8622, 18172, 4006, 3964, 2948, 2392, 16963, 330, 11849, 11178, 16840, 14902, 9460, 6762, 2632, 13965, 3813, 7081, 12844, 1930, 1772, 5729, 11723, 88, 10040, 18300, 19417, 12853, 13688, 16362, 19681, 5186, 12206, 7152, 4760, 9782, 411, 8144, 4470, 18454, 6886, 8681, 5373, 13213, 7056, 5026, 19477, 19155, 5037, 9348, 14919, 9924, 14958, 17754, 10058, 17422, 8486, 10623, 17862, 2810, 16032, 10824, 11597, 3101, 6036, 4387, 4091, 14485, 9653, 19285, 10872, 18465, 14624, 9560, 1916, 10909, 13537, 12304, 13969, 10652, 18781, 16583, 2601, 405, 16847, 2689, 1463, 14896, 11668, 1990, 16350, 6371, 17095, 10970, 9044, 5391, 19876, 4710, 8843, 16183, 8957, 32, 11882, 5307, 14799, 5672, 16787, 19930, 10842, 4322, 1307, 11171, 13666, 19431, 16200, 6299, 6750, 10780, 17796, 8661, 157, 12736, 17935, 6989, 1746, 12882, 8047, 13286, 2555, 15762, 6101, 13647, 12062, 10488, 6865, 2901, 4819, 10257, 4924, 16595, 2233, 14676, 8479, 1980, 14640, 19775, 6407, 6852, 391, 13149, 16647, 6932, 12839, 6232, 12772, 17764, 14530, 6368, 16711, 14257, 6993, 9238, 14656, 7961, 1670, 5912, 18325, 706, 7865, 5263, 16512, 14474, 5138, 9162, 12473, 4625, 16402, 13069, 13910, 15211, 16280, 3634, 17985, 7062, 1564, 501, 2231, 18575, 9945, 18943, 15615, 18369, 16889, 18675, 16190, 7629, 16426, 3181, 544, 9080, 1539, 19749, 1306, 7955, 1025, 1236, 16477, 16299, 3615, 2355, 11846, 16002, 10199, 8685, 16136, 19102, 18722, 2559, 4867, 19058, 11211, 8168, 2679, 19714, 19570, 17037, 8018, 18712, 13813, 181, 16643, 7274, 8251, 3970, 11866, 15040, 7925, 15808, 4690, 1402, 1407, 11152, 12696, 17649, 12386, 15506, 10372, 2719, 13135, 4848, 15564, 803, 7281, 3004, 15834, 8633, 2965, 4622, 19754, 9189, 16478, 18088, 2419, 19761, 4776, 2072, 18354, 16938, 10594, 546, 10486, 16971, 11641, 15484, 7774, 16800, 15085, 9437, 17597, 7348, 17273, 5144, 11227, 6135, 16934, 11516, 720, 14916, 10431, 13338, 9561, 5760, 4883, 5669, 827, 1415, 3063, 7341, 864, 14035, 2043, 11210, 14272, 18726, 6820, 17618, 19456, 11216, 19167, 6818, 18420, 5511, 6219, 12813, 17469, 6129, 8349, 10373, 5279, 13794, 4925, 244, 6449, 16115, 13824, 14722, 13257, 2294, 15060, 8913, 2693, 12231, 8894, 4386, 2297, 19842, 19054, 12384, 531, 2620, 13596, 15682, 8051, 17581, 12468, 8303, 2465, 12381, 16554, 15080, 10470, 4714, 2248, 2731, 7376, 19424, 16656, 4640, 15021, 5843, 5178, 13909, 5340, 5770, 13930, 1704, 12294, 10997, 13180, 310, 3950, 19300, 5529, 6146, 10278, 12906, 1712, 6976, 16228, 13381, 8979, 7919, 4137, 13701, 13610, 1545, 9518, 11763, 3076, 19741, 828, 15709, 5668, 13764, 18119, 4709, 16635, 15248, 8546, 4596, 10728, 6863, 369, 18995, 17238, 16624, 2374, 9454, 2863, 7179, 14078, 7042, 6493, 2447, 6031, 1595, 12567, 5394, 3120, 1007, 13674, 1770, 7614, 13087, 3190, 11273, 15849, 19897, 758, 8770, 11298, 14903, 11616, 12091, 3534, 19632, 15315, 19763, 11580, 6053, 17367, 5611, 1315, 6311, 9908, 59, 6249, 2877, 6649, 16950, 16389, 6168, 17088, 15298, 9849, 14731, 9820, 17550, 8811, 16855, 9029, 4168, 11454, 19799, 2505, 13825, 12395, 9310, 447, 6703, 4824, 408, 1720, 14212, 9613, 5890, 253, 15910, 14719, 11819, 10830, 3983, 5520, 12301, 12828, 7767, 1622, 5732, 8552, 2136, 15267, 10512, 1862, 6399, 1487, 10561, 6059, 17574, 19279, 19085, 13238, 13002, 10010, 7177, 7880, 18822, 19038, 19536, 5397, 1777, 2015, 4655, 3478, 16968, 5790, 441, 4978, 13532, 2239, 16927, 15088, 12019, 6839, 6997, 19243, 19198, 10215, 5639, 5241, 1215, 16116, 16724, 448, 16418, 9465, 139, 10862, 1969, 19358, 10364, 16261, 16622, 8667, 257, 15110, 19141, 12173, 18872, 834, 942, 2686, 19387, 17954, 10971, 11652, 4065, 18682, 19379, 17284, 12522, 10908, 14609, 14507, 445, 16928, 2534, 10408, 1588, 2197, 3624, 617, 3287, 15429, 16690, 4294, 5017, 8185, 6478, 14285, 2253, 4512, 8564, 262, 16444, 12683, 2639, 16400, 16585, 10428, 12047, 15087, 8579, 17353, 6039, 14210, 647, 14084, 9255, 17452, 4315, 9206, 7904, 17168, 12323, 10542, 14, 5838, 11368, 19138, 17170, 7856, 16876, 18949, 7884, 1647, 3450, 6764, 11077, 7935, 11411, 2152, 2997, 4986, 4483, 11471, 11876, 5495, 3386, 1802, 10837, 17516, 10961, 13721, 13581, 19845, 3172, 15851, 7347, 13739, 2330, 1983, 15401, 6813, 9698, 6503, 1995, 3171, 15752, 4672, 6665, 7834, 4029, 18723, 3228, 17517, 9839, 518, 4198, 10679, 10715, 9452, 16606, 17158, 14433, 3648, 5080, 13964, 12502, 14221, 19821, 11204, 17029, 2664, 8330, 7118, 5538, 12851, 6108, 16738, 4377, 2843, 17140, 9434, 13757, 11154, 9372, 19350, 6017, 5705, 12341, 10072, 15673, 12424, 18514, 19094, 17653, 17673, 13449, 10173, 15446, 4613, 18437, 18655, 14288, 19248, 14664, 7973, 5564, 5280, 1042, 7797, 313, 11998, 19004, 19771, 15805, 7363, 2139, 16000, 2048, 10599, 3824, 7539, 6596, 15498, 8409, 14447, 8794, 7531, 2272, 15521, 17839, 5999, 6537, 13543, 18008, 12372, 19865, 3635, 15829, 3485, 4972, 18395, 1222, 9749, 15000, 16219, 2290, 13760, 18083, 9114, 8122, 11286, 19030, 1963, 169, 462, 14430, 8111, 6473, 1474, 18115, 19048, 5208, 16657, 4789, 1262, 6022, 17577, 9507, 16061, 19724, 12390, 683, 10239, 19330, 13326, 2791, 14786, 14839, 1008, 14264, 18911, 7332, 11389, 10513, 629, 3436, 17587, 18176, 8765, 7552, 18477, 7395, 12695, 12655, 11191, 11731, 4246, 5347, 13628, 1158, 11877, 4336, 15396, 1533, 18555, 18475, 7607, 19840, 11593, 17932, 11252, 13064, 16664, 6259, 19087, 3691, 15714, 12151, 5566, 12919, 10737, 11137, 4536, 13345, 12026, 5048, 7276, 18136, 3546, 11575, 8161, 8391, 3140, 19661, 12993, 463, 8676, 698, 15141, 11700, 17656, 11603, 9292, 3585, 12531, 11297, 553, 5712, 10351, 19779, 8019, 8918, 11680, 14646, 8490, 1907, 6679, 14592, 12570, 9366, 13567, 7521, 15960, 2378, 10297, 12310, 3973, 15603, 5961, 6847, 17701, 15431, 6386, 16902, 2141, 9359, 16491, 5039, 8926, 15163, 2121, 566, 17304, 4763, 8088, 6327, 16610, 13547, 8263, 14979, 2074, 15809, 8024, 19153, 11959, 9874, 14990, 19119, 6621, 4428, 18975, 5513, 3013, 4614, 15575, 2368, 1747, 17885, 11980, 12915, 1354, 2144, 8830, 2112, 15579, 2885, 13605, 17933, 15832, 6510, 18394, 16001, 506, 7799, 16464, 17032, 17820, 111, 3381, 8233, 9816, 6139, 14334, 3699, 18905, 3236, 11854, 16926, 1806, 1612, 16633, 16993, 2741, 29, 16357, 11446, 12028, 15402, 13079, 18442, 15046, 6071, 13228, 6811, 16386, 9031, 15435, 14940, 13872, 6090, 9012, 10863, 5647, 8027, 18482, 3459, 2247, 5695, 13303, 4110, 8118, 17525, 14192, 16274, 77, 8048, 2185, 18509, 19193, 11518, 3786, 346, 19395, 124, 10485, 3083, 5573, 401, 5440, 6012, 13519, 16272, 10469, 19582, 14680, 17091, 1738, 16298, 4057, 1910, 7366, 5117, 15953, 9788, 5628, 2613, 17543, 14237, 17108, 5570, 6482, 7003, 17326, 11472, 16757, 677, 17549, 8004, 17555, 10682, 9285, 6998, 3885, 1755, 17809, 10707, 12480, 13527, 8842, 5399, 4965, 3667, 5858, 10850, 5716, 14512, 19238, 7987, 14710, 17546, 11883, 10868, 8260, 4283, 12023, 12849, 4774, 3185, 13565, 13500, 15171, 16121, 13756, 4679, 927, 3794, 12869, 15034, 15854, 13870, 18113, 12051, 16110, 16264, 11983, 5229, 1207, 17533, 15806, 11114, 18190, 17405, 108, 7608, 9128, 6608, 1945, 9959, 6202, 3922, 8140, 13442, 19641, 12037, 19017, 14585, 8528, 12939, 9836, 19696, 8169, 1099, 4107, 8525, 14076, 16308, 12612, 4378, 16345, 11978, 11376, 18289, 19332, 18331, 18628, 10313, 8523, 8041, 19172, 13282, 10354, 8924, 5654, 5043, 6526, 16848, 176, 3858, 6512, 18425, 14041, 14146, 3554, 17342, 10521, 12615, 11094, 1836, 3516, 2372, 12535, 3762, 15291, 1359, 6602, 2811, 18777, 12116, 7967, 17335, 2323, 6467, 3573, 16854, 2426, 15591, 5991, 10314, 15311, 16834, 12329, 16443, 13488, 13911, 5722, 15528, 6224, 18883, 7633, 14083, 17360, 8754, 10238, 8454, 10177, 5358, 5264, 17049, 12885, 17611, 9886, 13314, 14126, 19941, 9117, 642, 17797, 16395, 3460, 15800, 19514, 19555, 18143, 15383, 1338, 19882, 1179, 13809, 7018, 11596, 10269, 18060, 17365, 10078, 11088, 11639, 14475, 12972, 14229, 19323, 13729, 1598, 8015, 1017, 10553, 17628, 12823, 4519, 18287, 11716, 9392, 9429, 669, 8215, 15739, 1048, 11762, 11487, 12653, 2119, 9145, 17530, 9403, 8845, 10326, 6684, 17734, 7962, 19708, 13429, 3256, 14850, 15725, 2443, 2077, 10370, 18960, 2238, 9737, 15131, 16959, 14682, 3401, 7296, 5596, 5091, 9272, 3195, 4636, 16198, 17254, 10327, 16472, 3653, 13761, 15835, 19197, 5476, 11982, 4756, 18665, 7804, 17090, 695, 9068, 6628, 2492, 17633, 17723, 12748, 1137, 16093, 3814, 6243, 14220, 13767, 1197, 10563, 15652, 17623, 6183, 6985, 6862, 17606, 18565, 54, 17603, 8869, 12990, 4027, 15886, 18447, 19126, 8593, 1512, 14425, 11238, 9912, 9373, 596, 10893, 3082, 19538, 8940, 14185, 4244, 5677, 2241, 2091, 8925, 17939, 12421, 3701, 703, 1675, 7073, 3547, 3526, 1318, 14172, 13384, 11515, 4720, 6199, 4919, 14593, 4786, 13715, 13534, 6380, 13724, 16071, 2763, 19355, 4592, 13790, 8108, 8665, 4224, 14297, 12202, 1832, 1082, 14975, 17128, 6109, 1586, 10107, 8943, 1388, 1194, 1068, 13770, 5755, 6375, 15010, 11925, 12810, 2671, 6546, 13914, 14027, 7406, 4191, 7106, 1817, 4854, 7683, 5643, 3966, 7082, 14342, 19774, 7534, 12901, 16095, 18226, 5743, 19667, 2983, 17610, 6832, 488, 19400, 11629, 7164, 3162, 9586, 9153, 10959, 13092, 5815, 4282, 18574, 1603, 4799, 12177, 2558, 15520, 132, 13073, 18474, 15509, 14759, 95, 6162, 17616, 2181, 5846, 14428, 4503, 2312, 12368, 7877, 18460, 16320, 12025, 11020, 11289, 9810, 643, 3655, 11219, 13222, 12120, 2520, 3233, 13467, 1679, 8198, 12806, 10436, 16801, 13023, 9880, 13215, 16338, 17751, 8985, 556, 12832, 3045, 6566, 15990, 9745, 12575, 18904, 4658, 8944, 3389, 9360, 7660, 17585, 813, 936, 18590, 6209, 19446, 7484, 18987, 2037, 16737, 18291, 18873, 15535, 17173, 7991, 19214, 19016, 12879, 5078, 17394, 366, 8124, 19658, 3355, 13717, 18782, 24, 15499, 812, 19003, 12788, 6812, 10190, 6640, 15033, 931, 9964, 4699, 7927, 1445, 4113, 6781, 8196, 16353, 8102, 7855, 14895, 12163, 12527, 15850, 9974, 10695, 3288, 4329, 8541, 2578, 11132, 2160, 11642, 9626, 3433, 1706, 19229, 14202, 7783, 6044, 2118, 12453, 8992, 2177, 15456, 19443, 15878, 11035, 3191, 13599, 6291, 2296, 6604, 14805, 9527, 485, 12095, 12234, 5828, 164, 14037, 17747, 7418, 4775, 10796, 10926, 9786, 12998, 2232, 15796, 14099, 903, 5779, 7677, 3717, 19529, 352, 16473, 13804, 2316, 13265, 33, 12555, 18672, 1827, 8331, 1628, 19677, 17589, 7417, 1902, 5109, 4669, 15367, 6653, 15562, 3489, 4868, 13045, 11898, 19403, 4855, 13278, 5348, 2991, 4809, 709, 10748, 4621, 16398, 9711, 11732, 12624, 13772, 19985, 9365, 2865, 11248, 6626, 1666, 14494, 10752, 7768, 12877, 11922, 5635, 1476, 3347, 5642, 16165, 6639, 11261, 16679, 11650, 8547, 9841, 18843, 19649, 6854, 10005, 12796, 119, 4527, 1265, 3827, 6079, 393, 7207, 7848, 17677, 19509, 3219, 12150, 6680, 2612, 9228, 11791, 2532, 16162, 14277, 7554, 2148, 15218, 8104, 374, 13439, 1124, 15265, 9230, 5681, 8393, 12935, 958, 4414, 19078, 14576, 1925, 2696, 1835, 11814, 6755, 5984, 4431, 9226, 7971, 6531, 14133, 18662, 10889, 5841, 729, 19753, 16143, 5829, 6791, 16577, 2785, 17619, 2474, 2832, 9431, 14245, 1270, 2452, 10267, 2910, 9513, 18346, 14672, 18312, 707, 16098, 7282, 5008, 10294, 3421, 17963, 1509, 9692, 9875, 16374, 16087, 18768, 19471, 10632, 3998, 18094, 19730, 17457, 11224, 17724, 5266, 19573, 202, 10669, 18724, 19122, 10504, 11754, 12434, 15261, 17451, 5505, 1444, 15076, 3044, 2473, 1582, 11354, 15227, 1801, 10580, 16976, 704, 5580, 18605, 12804, 16432, 9999, 18772, 16066, 16235, 2359, 17050, 12175, 7294, 10684, 5523, 7331, 6140, 14584, 16588, 9972, 6952, 10560, 2194, 8237, 13276, 10259, 17271, 6474, 6573, 1271, 9240, 17852, 9214, 13593, 9916, 52, 1691, 7036, 11807, 1344, 10536, 1849, 12995, 14016, 10209, 7115, 8994, 2508, 19252, 19672, 14463, 6284, 3165, 10169, 3192, 3413, 11509, 3272, 6556, 780, 8763, 17232, 8184, 11620, 17180, 19844, 10611, 3017, 14782, 13255, 4267, 1610, 18110, 13462, 18333, 9042, 9457, 5873, 3584, 13857, 9872, 18000, 13668, 7810, 11399, 8852, 18569, 11576, 13754, 1106, 1035, 9871, 19401, 6765, 14181, 2830, 7502, 568, 2706, 16160, 18284, 1455, 9904, 17373, 13711, 732, 15213, 11798, 15690, 9078, 11049, 18122, 3669, 3308, 19828, 15868, 11208, 6948, 2045, 13933, 12365, 1708, 6975, 8141, 6609, 13958, 18517, 4398, 16517, 4495, 11989, 18690, 8443, 10483, 17236, 9772, 15743, 10187, 13745, 8784, 5272, 2270, 575, 15942, 13419, 17798, 6301, 7170, 6159, 16381, 7818, 5250, 9367, 11522, 15502, 2170, 18763, 13056, 15440, 14268, 15347, 16575, 13817, 9138, 13158, 3143, 1639, 15158, 18125, 9986, 12156, 1010, 3292, 5219, 4667, 10915, 1028, 10688, 19025, 6254, 1066, 17036, 13009, 2668, 4274, 18832, 8120, 15343, 12379, 15782, 11036, 19596, 14765, 19246, 186, 3508, 19423, 9482, 4045, 15860, 14728, 10311, 8083, 5684, 6064, 16621, 5103, 10647, 9510, 2461, 18286, 11430, 15264, 8854, 4813, 19574, 12273, 12482, 8738, 4842, 2776, 14713, 1259, 1850, 19396, 6242, 17924, 638, 9438, 7283, 8799, 11324, 6018, 2115, 15946, 5430, 9618, 15586, 12626, 16722, 3631, 2837, 10518, 15775, 6433, 13427, 12330, 18708, 7982, 3705, 2024, 4451, 2661, 9475, 11956, 18061, 7428, 17291, 140, 8764, 18860, 19309, 10515, 2012, 17007, 17654, 7411, 4392, 7278, 16319, 13287, 9954, 1761, 19727, 4419, 2240, 13060, 5092, 8489, 13112, 8378, 9552, 7998, 9856, 4550, 5341, 18717, 9706, 16126, 8565, 18124, 19434, 11120, 19460, 3169, 7157, 1872, 11955, 19808, 2335, 8142, 15692, 3324, 11993, 13057, 3080, 2172, 6041, 10347, 17964, 10419, 4242, 14964, 15593, 16629, 17028, 19817, 14711, 19006, 18752, 15754, 744, 18090, 9978, 12358, 17143, 1302, 1080, 276, 16823, 13090, 18967, 18641, 8, 14066, 17185, 17013, 5778, 12207, 19807, 4303, 3587, 3627, 14717, 919, 14824, 15048, 17937, 12807, 843, 4021, 15783, 11764, 19445, 5801, 2980, 7136, 17598, 3583, 13600, 7204, 17027, 17376, 3131, 14468, 929, 13636, 4829, 3337, 12617, 2866, 15712, 15961, 9674, 18842, 7697, 8684, 19185, 9210, 9358, 10590, 18376, 15028, 9635, 16438, 7305, 19915, 1252, 1398, 16819, 3851, 6969, 3073, 4851, 16553, 3977, 8614, 10021, 14789, 4856, 18215, 16942, 10454, 17651, 4148, 4088, 2100, 6972, 1072, 8214, 18303, 15350, 5225, 17257, 5895, 16905, 715, 10402, 15663, 9897, 9265, 17406, 10649, 16663, 9061, 8340, 6758, 7508, 11654, 86, 9193, 8617, 8543, 7442, 9233, 19453, 13632, 16661, 16242, 2670, 3269, 11590, 3528, 12541, 1499, 15019, 3057, 18775, 9440, 475, 9581, 9394, 15254, 6982, 17728, 7861, 5899, 2510, 16361, 4103, 9641, 12067, 17927, 16911, 6623, 10739, 3698, 1401, 9472, 17501, 13126, 15517, 17562, 8105, 13027, 16415, 4889, 4623, 9374, 19194, 10391, 19792, 11258, 7197, 513, 19736, 18942, 6848, 6814, 13062, 14363, 1643, 7862, 14984, 2949, 17224, 5223, 11901, 10471, 13626, 532, 17722, 2254, 19063, 191, 7628, 19803, 14989, 14374, 2212, 10833, 5134, 6384, 17491, 18660, 11351, 11690, 9710, 12296, 15379, 6057, 9007, 3243, 12303, 19965, 15420, 14333, 17290, 17467, 15316, 8850, 2599, 14295, 10156, 7529, 19117, 18086, 8970, 19473, 8746, 15646, 13413, 7780, 19259, 13393, 8741, 10527, 4736, 455, 18992, 10054, 5205, 11963, 16852, 6901, 18924, 19527, 19266, 16672, 18964, 19614, 6527, 3796, 2581, 18145, 12104, 18549, 787, 2293, 13510, 8831, 19760, 16145, 3434, 2033, 5869, 16788, 9158, 12578, 15511, 2347, 13922, 18871, 13941, 1993, 13312, 4938, 16015, 7613, 9291, 3561, 11827, 7022, 19989, 7216, 17707, 16125, 7906, 6552, 2757, 15784, 14670, 13633, 17661, 17252, 13418, 3797, 7600, 11546, 4222, 10444, 15235, 15686, 7491, 12244, 2725, 5275, 18332, 3112, 12290, 3572, 7957, 1283, 12228, 3482, 10514, 3359, 17085, 1529, 3646, 11525, 3884, 18829, 3672, 3513, 6607, 17938, 4248, 8706, 4656, 9335, 18540, 1051, 18977, 8352, 5011, 15975, 11815, 3173, 14023, 7421, 9246, 9983, 3914, 19654, 18159, 14196, 1514, 12731, 15397, 3748, 15039, 17738, 14868, 17605, 9938, 5606, 16155, 9415, 3474, 4498, 16655, 6686, 14568, 14131, 11958, 15631, 10003, 3820, 15569, 8449, 6803, 4664, 12266, 5469, 10064, 17211, 11824, 13915, 15143, 13041, 15077, 1231, 13138, 4688, 15203, 8125, 5575, 5256, 6735, 16327, 3759, 18635, 1095, 14182, 6047, 19603, 12666, 10359, 10914, 6453, 10251, 6572, 12349, 15873, 3114, 6797, 3536, 17944, 13896, 2782, 7163, 5417, 11622, 12464, 18102, 19645, 14143, 13186, 13038, 14564, 11247, 14519, 15064, 8878, 18527, 9898, 14648, 8581, 362, 16858, 7221, 11251, 2953, 10271, 1620, 4254, 18580, 15345, 18618, 17794, 4528, 18029, 15107, 6472, 13401, 1233, 10130, 8204, 3817, 4275, 7590, 16067, 9860, 15877, 15009, 8606, 19869, 9741, 17141, 516, 4276, 17697, 10345, 3030, 2175, 5691, 10941, 2707, 1956, 295, 18188, 17765, 5549, 18606, 14404, 13277, 4820, 10019, 10146, 2349, 19991, 16250, 7584, 472, 15568, 19522, 13828, 11306, 1253, 15770, 15768, 6312, 6668, 8698, 18718, 11803, 8093, 9952, 12526, 177, 2833, 15541, 11055, 14320, 8190, 16303, 17458, 16141, 15324, 185, 5962, 12894, 4058, 17904, 7585, 5634, 7615, 16555, 11548, 19909, 3503, 5591, 19047, 15404, 17160, 6179, 7657, 10332, 19125, 19798, 1829, 6306, 4399, 1861, 12840, 4874, 4573, 3668, 16385, 204, 6300, 18181, 18142, 9350, 1468, 15126, 7910, 12918, 19486, 14348, 7257, 14769, 6700, 3713, 3927, 11843, 14089, 17634, 11133, 2577, 10556, 12408, 4864, 4011, 16226, 9371, 14097, 7226, 8779, 14376, 19029, 3721, 16461, 3757, 17931, 1807, 15448, 14470, 3250, 19189, 14873, 7702, 2545, 13267, 7850, 3035, 4075, 13601, 11485, 796, 13219, 6587, 7687, 7113, 14255, 13485, 11028, 19364, 122, 8873, 13961, 17074, 6226, 15544, 14012, 17925, 19571, 13982, 11365, 387, 2007, 16448, 8253, 5727, 9670, 14580, 17463, 6669, 7653, 15563, 2598, 19206, 7940, 10960, 18705, 4995, 1577, 10067, 3812, 18501, 7419, 5249, 13099, 11710, 17477, 12481, 2893, 15941, 11604, 19553, 13263, 6270, 14641, 8344, 8538, 1698, 11551, 6783, 13606, 17824, 976, 5927, 11256, 1554, 5408, 17378, 9526, 10143, 5170, 13733, 9453, 12721, 17473, 13438, 9195, 2798, 631, 7671, 18571, 6520, 9660, 9680, 11426, 11787, 18469, 8761, 5006, 13700, 10696, 13204, 14104, 4491, 13088, 7335, 4692, 4401, 6549, 17068, 14458, 2568, 1540, 6606, 17362, 11403, 6822, 10196, 7500, 15711, 15901, 7063, 11336, 6574, 15278, 19619, 15651, 15817, 11720, 16917, 1001, 6894, 15344, 10947, 5522, 15461, 2379, 3500, 15973, 4396, 13327, 1139, 10183, 11199, 17583, 616, 12016, 2054, 3265, 12855, 4464, 17600, 11656, 4637, 13925, 3225, 4765, 14262, 9307, 19095, 4511, 11271, 17390, 4954, 6437, 2250, 5212, 13779, 13145, 2628, 8421, 11143, 9946, 9522, 5882, 367, 13784, 13541, 11611, 19716, 5460, 12656, 12236, 8216, 4060, 307, 17631, 908, 11554, 8533, 2676, 12130, 10050, 13171, 8986, 8690, 334, 13858, 17567, 3617, 18944, 5562, 14369, 1912, 19318, 3109, 14489, 9398, 13815, 9231, 16335, 8906, 7047, 16265, 7819, 19324, 9991, 6810, 18806, 8791, 12808, 15318, 7873, 19104, 18844, 13358, 16451, 10068, 15277, 19702, 3010, 15071, 7312, 13272, 7072, 17298, 2754, 5110, 13363, 11997, 13005, 11069, 961, 18678, 5459, 4163, 7040, 7646, 2016, 10888, 4343, 13091, 6878, 8972, 12140, 14338, 19764, 12847, 12970, 3051, 8463, 9567, 5024, 9268, 14316, 1651, 9176, 10066, 14235, 16997, 16775, 4516, 13356, 8729, 12143, 7299, 16886, 12784, 12914, 17494, 800, 13120, 13759, 2585, 5283, 5444, 16980, 9473, 19037, 15328, 14857, 8954, 18345, 12892, 6956, 3201, 3921, 14783, 14173, 15601, 8030, 17449, 7143, 594, 9787, 602, 15653, 1891, 14687, 4373, 9036, 9320, 9962, 11432, 9187, 2860, 5087, 13436, 451, 220, 7168, 10292, 4785, 10733, 10434, 11123, 14523, 1961, 7891, 2207, 14058, 17831, 6754, 19772, 640, 989, 10389, 14317, 3908, 15437, 7655, 3238, 9844, 3147, 11222, 19135, 11492, 5437, 19997, 11118, 8656, 5456, 5362, 16260, 13162, 15884, 5614, 10009, 6642, 2382, 15463, 12080, 12105, 8254, 7016, 19638, 8209, 14572, 2319, 19352, 74, 16639, 19154, 18295, 1447, 14918, 7691, 8567, 1543, 15788, 3941, 9180, 10732, 15493, 19382, 11872, 1322, 4524, 17943, 6800, 1792, 17493, 2406, 3943, 19971, 13280, 2413, 4643, 14633, 11664, 10710, 6464, 14878, 9644, 12443, 6872, 2931, 10200, 5045, 6930, 19488, 18270, 2851, 13821, 5097, 15256, 9693, 4839, 5613, 1196, 3001, 4022, 18006, 6881, 66, 10770, 3048, 13835, 3530, 5141, 18018, 1187, 4888, 14477, 3608, 3725, 11479, 19776, 17098, 8236, 16681, 2321, 17184, 8885, 4125, 18968, 5075, 7095, 16912, 6043, 9620, 8998, 8933, 16502, 12908, 12415, 6517, 1600, 15641, 19375, 467, 17268, 11773, 13990, 13584, 15695, 11091, 3773, 13295, 9151, 2783, 6362, 18727, 16286, 14190, 4572, 6422, 15276, 8733, 19888, 15710, 4811, 822, 18149, 8203, 18229, 8583, 2145, 18156, 18518, 19336, 2223, 17630, 17400, 5149, 9994, 7240, 10945, 8976, 18233, 15145, 11512, 18780, 11212, 15022, 17571, 17014, 18343, 11194, 13352, 15252, 13653, 5765, 8001, 16139, 6046, 6461, 113, 19297, 18516, 18687, 8931, 3830, 2471, 10681, 4841, 5989, 855, 15964, 14018, 9667, 2824, 2092, 19699, 10714, 1847, 12814, 9196, 10303, 6772, 2314, 18993, 5485, 15353, 2550, 6413, 7736, 9906, 17222, 4299, 14442, 9284, 19432, 18761, 11783, 6373, 10305, 15497, 16563, 11331, 18290, 4348, 13943, 16209, 9665, 13105, 13234, 14852, 18901, 8960, 8668, 2210, 963, 3676, 5477, 13768, 19545, 11634, 15096, 19902, 8747, 13001, 16289, 15913, 4725, 13156, 7144, 9254, 13451, 4564, 4808, 11627, 7758, 19861, 2094, 285, 10283, 9107, 2977, 16552, 19269, 11301, 10150, 18132, 5625, 9512, 3012, 9218, 17889, 12149, 14349, 6776, 13886, 12017, 2673, 1629, 19604, 12146, 10207, 13902, 15302, 6274, 4200, 13497, 10775, 14391, 4750, 15813, 14947, 13955, 11116, 783, 14865, 1317, 11920, 16600, 12289, 2737, 13152, 6763, 10465, 17981, 14570, 2350, 11269, 17490, 13963, 8625, 18512, 9174, 18053, 19328, 5966, 6264, 9995, 12328, 8981, 19476, 1100, 15094, 19675, 325, 5932, 19999, 2667, 4805, 8628, 16615, 2105, 14936, 19520, 8616, 3919, 17243, 19190, 3632, 1291, 5780, 13637, 13652, 14673, 1825, 3582, 14677, 13281, 14781, 14157, 19001, 13377, 15934, 8548, 882, 11821, 7656, 9709, 16946, 14109, 3415, 3802, 1936, 14520, 3645, 18932, 4657, 1234, 1026, 2943, 14424, 8040, 5192, 7625, 4770, 19748, 16988, 10878, 17248, 165, 4620, 16307, 10179, 19334, 13268, 3388, 15590, 5268, 1228, 16086, 3182, 11924, 12635, 4989, 4644, 6638, 6833, 10724, 12217, 6148, 10988, 19076, 3620, 6941, 8872, 8947, 4417, 3947, 223, 11929, 1920, 12880, 8526, 1759, 2674, 18849, 6277, 18173, 18692, 19789, 18491, 19498, 12109, 11921, 10817, 5567, 17695, 11715, 14762, 178, 19066, 583, 4771, 8969, 11661, 466, 8511, 2346, 12242, 18109, 851, 5696, 6313, 1618, 18330, 14906, 7548, 5243, 7599, 17505, 158, 4073, 18879, 5395, 6481, 2651, 3392, 3616, 8100, 19813, 10834, 1170, 5533, 6454, 13404, 12380, 15570, 2093, 5509, 5166, 4018, 4877, 14218, 10719, 8812, 10246, 10371, 265, 3555, 5242, 11079, 6434, 12875, 12192, 17906, 19349, 9846, 14567, 3847, 17249, 477, 7265, 3600, 1209, 11870, 4264, 13403, 12276, 1442, 8070, 5442, 5316, 1165, 7213, 9038, 2315, 5147, 11521, 10608, 11459, 7595, 13572, 5308, 15222, 10573, 18417, 12827, 3771, 4713, 3040, 19650, 17333, 4744, 8281, 19503, 14401, 10026, 7511, 12636, 10706, 13855, 672, 16627, 5738, 14498, 12841, 117, 14798, 18140, 12325, 16659, 4465, 1991, 13177, 7773, 9729, 11606, 6458, 3391, 7239, 16581, 8338, 2076, 12685, 12519, 871, 8148, 3271, 11840, 19343, 10102, 7080, 11547, 2260, 19069, 1079, 19231, 7992, 11947, 8123, 3321, 2006, 19541, 9668, 10262, 16978, 10712, 10600, 16888, 19539, 1383, 13893, 12452, 3340, 11360, 2264, 3609, 16151, 3538, 2456, 6470, 5762, 5378, 8382, 7811, 4204, 2716, 8697, 12945, 16413, 8217, 17627, 7959, 12336, 5127, 16518, 11885, 2854, 18935, 13456, 8138, 16762, 16623, 10415, 10398, 11643, 12962, 10774, 6713, 17604, 1452, 7867, 19548, 9723, 18801, 9521, 8797, 12605, 657, 4514, 11005, 340, 9112, 18706, 9557, 19690, 1239, 2950, 7407, 16100, 6278, 19244, 18798, 7061, 1013, 9707, 19441, 15321, 2549, 17175, 18263, 144, 13259, 6534, 9762, 9130, 9344, 2070, 107, 2385, 14011, 14821, 16680, 19278, 14095, 11236, 9828, 6875, 1813, 4747, 17907, 7425, 16227, 15486, 12070, 12594, 10288, 4356, 7771, 8967, 12992, 10219, 11907, 6522, 5660, 9124, 11342, 16689, 3720, 15405, 5278, 13178, 13369, 8635, 6069, 18241, 11332, 10985, 1915, 14184, 12621, 2705, 10689, 9579, 4773, 15741, 10547, 5885, 8434, 16805, 10753, 7461, 11462, 19720, 6945, 5584, 14894, 7044, 16919, 11059, 4677, 16027, 7104, 13096, 2310, 10069, 957, 15540, 17625, 9147, 3323, 11141, 4702, 3550, 2458, 10762, 3307, 2884, 13024, 3836, 14912, 6111, 18633, 6076, 1268, 14379, 15135, 4554, 12699, 17782, 8826, 8177, 3345, 3449, 7436, 6933, 2871, 7297, 3492, 15241, 16644, 4898, 8719, 716, 5382, 5244, 4050, 9697, 14725, 16253, 333, 14971, 5565, 1531, 19919, 7933, 17835, 10881, 578, 6695, 2995, 589, 2803, 19833, 18856, 11699, 465, 1432, 529, 7728, 15352, 14472, 13100, 17945, 6095, 10442, 10192, 17652, 7805, 7840, 4959, 12447, 13362, 15152, 4253, 2169, 1356, 5072, 697, 3657, 16735, 3410, 11768, 13472, 18374, 19504, 16776, 16158, 5704, 4951, 5959, 7001, 10281, 9858, 11781, 10962, 12461, 15876, 7989, 14819, 17379, 19622, 3594, 5956, 11090, 2921, 18106, 7048, 12688, 13365, 14385, 8530, 10400, 3706, 8782, 10768, 4243, 4450, 17426, 349, 10424, 9330, 2192, 11657, 1360, 19602, 3365, 11107, 19032, 7373, 14396, 370, 1810, 14478, 2318, 16197, 9628, 10711, 17513, 11418, 1887, 11423, 9563, 17688, 7455, 3020, 14100, 5133, 3783, 5129, 4745, 9731, 17385, 8345, 11557, 1823, 15069, 18329, 3382, 203, 2952, 3326, 4506, 2801, 4456, 10081, 6346, 5203, 9949, 17903, 302, 3206, 19042, 18422, 17715, 1449, 12009, 5122, 18877, 1003, 1780, 9551, 10338, 12889, 16844, 1000, 3532, 16937, 12265, 2715, 10952, 7039, 18041, 17674, 8641, 16332, 2127, 14002, 610, 4632, 13526, 2478, 12417, 2710, 7663, 9077, 10663, 2234, 2080, 17982, 15700, 18846, 16532, 11672, 9919, 17563, 8867, 17663, 5878, 644, 8677, 1826, 89, 13144, 15929, 9536, 12547, 9714, 6591, 13939, 10265, 853, 11322, 3277, 4128, 15308, 11760, 13214, 6494, 17329, 17427, 19674, 18116, 10934, 8201, 10771, 14897, 13523, 5418, 6979, 19963, 18644, 7300, 9282, 14749, 13169, 1403, 19402, 2338, 10417, 16390, 16665, 1277, 16505, 19124, 5809, 10181, 11085, 13316, 6759, 16440, 5594, 2752, 7057, 4696, 18997, 16820, 16511, 8071, 14889, 8874, 18434, 14924, 1711, 19171, 13737, 11006, 19385, 17377, 11900, 5112, 14970, 14996, 16956, 1658, 8139, 13727, 5949, 10854, 2569, 3689, 6042, 19626, 9984, 5897, 18368, 11646, 6295, 18794, 16033, 5436, 14601, 15577, 5159, 4466, 4142, 920, 5059, 13722, 36, 12751, 5612, 19914, 17166, 6288, 16943, 18213, 1864, 11865, 9363, 15974, 7556, 11092, 8467, 9173, 14858, 587, 12448, 13639, 1173, 3904, 3818, 19587, 10097, 6246, 17035, 15443, 4220, 1523, 15722, 16339, 10946, 489, 16846, 8186, 8026, 14955, 15797, 4114, 18742, 12592, 13331, 19637, 6432, 5047, 7390, 6946, 4715, 4595, 4173, 5629, 12629, 8064, 1522, 18238, 13124, 9474, 5742, 13246, 14524, 19057, 19625, 2770, 3560, 5845, 2258, 15684, 2799, 3716, 12497, 18262, 4802, 15130, 3896, 2544, 1186, 8447, 9808, 9855, 2057, 6794, 17559, 10243, 10977, 10168, 13677, 15391, 19867, 8313, 5214, 1874, 6904, 143, 6062, 4908, 2788, 16026, 807, 857, 11594, 19976, 6965, 17596, 17928, 11197, 10043, 2167, 17155, 8857, 1975, 2292, 8514, 12902, 12178, 7176, 11991, 11825, 16452, 11054, 13718, 5542, 14938, 13487, 6068, 16297, 11855, 8065, 18661, 8365, 12093, 15638, 17459, 16778, 11447, 14232, 4076, 3487, 12698, 2222, 3414, 3070, 3911, 6184, 16500, 7649, 18026, 13290, 12305, 4818, 7922, 6234, 13856, 1453, 17361, 2704, 18616, 3375, 15375, 7980, 3944, 16589, 14844, 8206, 17351, 7262, 2855, 18239, 6625, 10457, 12589, 5706, 10349, 12235, 18695, 14462, 9411, 5982, 12613, 10039, 7230, 18112, 6176, 1285, 1749, 8897, 18657, 4390, 9305, 4461, 4143, 11806, 13455, 17784, 8929, 8607, 4881, 1553, 167, 5153, 10925, 9879, 3735, 14921, 15985, 551, 19849, 15089, 18500, 8810, 15199, 15928, 4364, 18623, 11526, 6727, 12950, 5480, 668, 18095, 12498, 670, 10602, 4369, 2743, 13505, 17402, 17811, 7914, 4793, 19408, 7094, 11302, 3064, 10051, 19628, 11797, 880, 15102, 4602, 6660, 6318, 16142, 12079, 16524, 16936, 3209, 8063, 16045, 1145, 10822, 2066, 3079, 19199, 998, 125, 1303, 17739, 15584, 9337, 8527, 4988, 13977, 17892, 10846, 12741, 9333, 8920, 7066, 18301, 8090, 2565, 17097, 15545, 3511, 5854, 12112, 18297, 6110, 6785, 7644, 15118, 10437, 537, 921, 15008, 15999, 12420, 17430, 10905, 8159, 2850, 904, 10362, 8901, 15128, 4423, 6045, 17145, 18320, 13230, 1384, 10815, 6136, 14727, 19693, 11406, 3670, 11984, 5392, 3037, 8069, 6903, 11831, 13931, 17409, 9088, 11681, 16741, 13654, 12675, 6125, 18121, 5467, 9891, 5309, 12055, 9459, 16684, 15403, 17901, 14219, 19818, 15977, 17800, 15140, 15790, 10462, 1357, 10585, 3525, 18344, 3756, 9524, 18558, 16965, 1343, 2898, 17909, 5593, 5322, 4911, 11886, 14399, 238, 760, 13671, 11875, 2153, 12052, 8519, 7718, 6851, 16247, 18796, 9955, 14028, 13685, 9833, 19435, 1877, 5381, 19608, 19469, 2968, 3273, 17358, 18980, 1921, 5725, 1123, 9559, 13777, 17120, 7398, 18445, 829, 10117, 14742, 1385, 5820, 6730, 17041, 11784, 8020, 2339, 9502, 14815, 13412, 5425, 433, 9873, 16565, 5195, 17988, 5356, 6104, 19684, 12129, 11037, 3314, 3784, 16849, 15098, 16333, 8163, 7494, 5603, 3412, 13163, 1898, 9639, 9198, 7956, 16058, 18255, 16003, 2702, 18562, 17053, 14238, 1621, 7415, 14956, 15273, 4966, 17439, 14487, 3107, 17274, 733, 18714, 12435, 1625, 19627, 8604, 7699, 11498, 2745, 15613, 15746, 8796, 6282, 10892, 1521, 10210, 4862, 4328, 19230, 2498, 14744, 73, 11623, 7234, 9742, 5819, 2283, 8119, 15677, 4409, 10636, 17389, 17322, 6157, 3448, 14080, 5849, 11098, 16441, 6880, 3798, 12108, 8626, 12014, 12521, 1372, 16124, 3167, 3349, 7060, 8700, 15844, 4689, 13150, 14838, 1926, 14883, 17706, 925, 19995, 3781, 17380, 19642, 11558, 2435, 6205, 12250, 9792, 2123, 17338, 5077, 6037, 18079, 8228, 12350, 4660, 1069, 8481, 9489, 8401, 9621, 14851, 3395, 14209, 9789, 14603, 5733, 9241, 13962, 2557, 11401, 5655, 12682, 15025, 9763, 5470, 438, 3056, 15727, 18793, 11249, 2507, 13820, 11581, 10255, 14766, 16544, 6856, 1358, 6902, 19796, 13452, 10206, 14631, 6007, 8895, 2414, 8315, 17987, 9973, 17955, 15153, 18379, 15471, 5752, 2804, 12799, 8623, 1371, 11135, 6817, 12493, 3873, 12141, 4070, 4281, 6149, 18625, 3411, 2841, 5853, 11565, 19896, 9393, 2035, 2556, 331, 11404, 7707, 17529, 7288, 199, 16935, 6578, 3726, 12378, 2596, 16812, 12356, 9085, 8135, 1494, 1661, 9010, 3612, 10898, 3188, 480, 5692, 947, 6597, 11552, 561, 14377, 13866, 5710, 10984, 16218, 19265, 80, 10835, 5837, 17966, 12599, 13957, 9619, 6704, 7739, 3196, 12960, 6211, 1004, 1246, 9647, 16316, 5615, 17868, 9992, 102, 14308, 17444, 10018, 18373, 16140, 18797, 4233, 8152, 3736, 19952, 5862, 14679, 17949, 12409, 1076, 10806, 15357, 6673, 2903, 2942, 738, 7342, 13875, 7572, 11004, 3874, 5719, 17817, 15993, 9264, 10035, 15945, 9381, 19481, 3229, 14627, 3688, 2677, 17942, 2084, 14282, 2267, 18209, 5142, 15837, 19376, 13602, 12648, 7041, 16991, 12709, 17159, 5859, 6893, 4984, 8053, 10497, 2713, 16188, 1420, 1982, 17910, 12789, 6002, 11934, 14763, 18988, 3960, 3177, 19478, 11203, 17179, 16043, 7934, 2369, 19407, 12162, 16187, 8636, 6405, 13189, 7254, 19335, 16416, 8577, 4055, 13402, 2142, 6779, 12504, 18632, 4412, 11480, 4408, 14712, 7186, 3023, 15909, 15861, 10557, 3815, 9311, 3390, 5714, 1638, 7309, 7449, 12088, 7472, 18493, 15253, 5971, 8802, 9911, 10308, 18468, 7788, 12864, 7636, 12858, 15099, 16983, 17781, 14605, 8474, 1845, 7416, 8282, 14469, 18479, 11633, 1970, 2220, 1199, 4600, 8089, 19249, 9746, 18382, 9899, 15872, 16293, 13260, 2812, 14086, 9295, 8844, 9629, 16694, 13651, 12627, 1329, 13899, 5540, 4607, 12306, 3576, 19671, 11414, 18032, 3335, 18288, 6842, 9469, 10330, 16802, 16556, 3488, 7377, 16241, 2530, 1495, 11329, 11396, 3325, 3254, 355, 7535, 9932, 13179, 891, 17346, 7224, 7025, 17957, 3476, 3750, 17539, 15325, 18137, 18151, 7151, 1785, 660, 14393, 13434, 9357, 6793, 2422, 11483, 19512, 3393, 4948, 7730, 6714, 10674, 10967, 19533, 1434, 9345, 16196, 4463, 17201, 17206, 5211, 2155, 16501, 18858, 8448, 995, 1341, 2287, 7549, 8133, 4555, 7579, 19599, 9278, 10164, 19043, 8936, 11209, 316, 14309, 14449, 1632, 9032, 11850, 12645, 12931, 9781, 14149, 1363, 5215, 1869, 17591, 17200, 17492, 13184, 7292, 12131, 8326, 6412, 14191, 14546, 321, 2723, 7445, 3343, 16497, 15127, 16782, 13725, 12913, 1115, 5622, 7325, 18557, 16090, 10253, 4170, 7208, 18266, 4722, 3730, 4718, 19086, 5864, 17566, 15496, 9287, 18, 10503, 1301, 12331, 554, 14660, 18210, 12334, 9689, 72, 6201, 18833, 13787, 12098, 14758, 16447, 6771, 2690, 1018, 3841, 16163, 5937, 16341, 19039, 16064, 9765, 1174, 4202, 8292, 10096, 3428, 6058, 7252, 8659, 19281, 10093, 16831, 837, 14563, 586, 2384, 1957, 12878, 6060, 2890, 1870, 1261, 18202, 3068, 15898, 4794, 9185, 8615, 6081, 10487, 4020, 18664, 17069, 17240, 11387, 18044, 8760, 18888, 18165, 19967, 19009, 2913, 11735, 3049, 14392, 13232, 4319, 5184, 10921, 18582, 5306, 7514, 8884, 7938, 8619, 7966, 16743, 3205, 9422, 4757, 18779, 18834, 18671, 1960, 10814, 6427, 9915, 16384, 11113, 16822, 1607, 8025, 3221, 8847, 7026, 18745, 16225, 10847, 18773, 4816, 3984, 5457, 1273, 16516, 4252, 12722, 11163, 3788, 15696, 12322, 5826, 11985, 16305, 612, 8223, 15148, 13200, 5379, 13104, 12652, 10236, 10490, 19152, 15634, 7820, 12271, 19203, 6995, 9050, 2421, 11122, 1120, 19746, 16047, 6134, 3125, 7391, 7352, 19316, 2777, 1751, 12510, 19832, 14943, 11282, 11758, 18432, 6861, 11378, 1846, 11502, 13473, 13676, 570, 7306, 5537, 15460, 12860, 19207, 19399, 10360, 8137, 16995, 332, 4833, 18126, 14132, 9859, 1735, 172, 9283, 5863, 881, 12086, 14846, 8229, 322, 4167, 13437, 15485, 1473, 5707, 13574, 11932, 5034, 18567, 13388, 9220, 10595, 7180, 5688, 17594, 9013, 17744, 9480, 4397, 19540, 19719, 9485, 18359, 17876, 17878, 6258, 15317, 10658, 11164, 9127, 11082, 6576, 8456, 3052, 7868, 17, 10127, 10108, 9053, 14804, 964, 15056, 3153, 14925, 16592, 8076, 8470, 368, 9018, 18023, 16044, 6944, 17986, 17908, 14517, 19490, 101, 7643, 9054, 3623, 7784, 9812, 8380, 6850, 3864, 17154, 5438, 13407, 16979, 10157, 7944, 12428, 9354, 10323, 2034, 14528, 15386, 10981, 7453, 13845, 15106, 11032, 4497, 8950, 9181, 5618, 11463, 900, 7724, 17437, 1590, 19444, 3118, 2114, 270, 1782, 13709, 858, 14230, 945, 12803, 4043, 131, 11828, 2227, 3245, 8789, 19302, 19704, 2746, 867, 44, 1070, 10827, 19282, 6144, 11698, 3053, 6020, 4904, 3032, 4629, 14419, 16487, 14559, 10873, 9423, 8350, 10751, 15600, 8751, 14417, 13489, 17130, 9003, 9467, 216, 12272, 13454, 18770, 13644, 2733, 13349, 749, 13986, 9389, 18736, 19663, 15756, 12126, 4421, 6115, 11235, 8347, 665, 8610, 17209, 14550, 538, 2038, 10992, 227, 17450, 18016, 12321, 3416, 10900, 2517, 4896, 16409, 10289, 16113, 8310, 1141, 11280, 3, 7777, 7105, 13423, 15418, 180, 17059, 11730, 5472, 17841, 701, 15671, 12184, 18615, 17756, 19723, 9427, 11945, 3309, 4353, 365, 10248, 750, 12816, 8829, 3775, 2736, 19258, 18579, 2795, 8646, 233, 17178, 15001, 16811, 19970, 2634, 6672, 17279, 19484, 8342, 4559, 12492, 13927, 12472, 11786, 16062, 1418, 13159, 10978, 6654, 2011, 18934, 1974, 10793, 13580, 14460, 16654, 1833, 18679, 7229, 6244, 6180, 11679, 5645, 6423, 344, 11845, 14243, 8302, 10638, 1336, 10145, 16239, 3765, 18969, 19613, 6347, 13459, 1669, 11357, 12170, 860, 7977, 18697, 13408, 14816, 18364, 10076, 4117, 2859, 8238, 7119, 5461, 16214, 5892, 9100, 6192, 16470, 10256, 11417, 14233, 5448, 2519, 3090, 19228, 8017, 17691, 16821, 3346, 14913, 7853, 12471, 12211, 4638, 15987, 11464, 18141, 14197, 13987, 2993, 15296, 286, 16204, 10616, 3790, 19606, 14616, 10000, 15687, 7345, 5886, 13882, 9917, 10455, 7058, 19106, 7672, 9864, 5126, 12045, 2449, 19837, 15819, 10317, 12496, 12346, 9051, 15190, 493, 4759, 9149, 18451, 10519, 19729, 16913, 11213, 15970, 10705, 6126, 10377, 11467, 15469, 6849, 17940, 10439, 17125, 1723, 17431, 3496, 12302, 15206, 17609, 7173, 5344, 9322, 6289, 2010, 9118, 187, 12214, 2958, 19096, 13979, 3341, 6087, 1889, 11410, 8386, 15759, 17828, 10029, 6648, 3993, 3351, 5608, 19564, 2927, 6280, 17339, 9093, 18974, 14201, 13791, 5913, 11196, 3106, 6024, 15072, 11103, 14416, 2624, 7046, 15426, 18424, 13474, 2295, 9135, 5443, 400, 2129, 3379, 3737, 15501, 4567, 4034, 13995, 10723, 5860, 16759, 19363, 15212, 14278, 9300, 18155, 9939, 5434, 7949, 4485, 487, 10350, 17990, 7550, 5670, 6637, 18160, 17022, 11826, 15676, 4575, 15885, 11198, 249, 17830, 14666, 17607, 1477, 3590, 5197, 13753, 10166, 16510, 18836, 14671, 3807, 6707, 15749, 13887, 17319, 7329, 16692, 17072, 5196, 12973, 1518, 14561, 4047, 6463, 17914, 12811, 15284, 9847, 15549, 19728, 2311, 4678, 17776, 14589, 18785, 4780, 5042, 3545, 11428, 2652, 15434, 8162, 4330, 1330, 2807, 16465, 10075, 19436, 500, 2691, 10671, 7901, 3069, 4260, 1184, 371, 13389, 9299, 10413, 15621, 11218, 19979, 7809, 1971, 3718, 16406, 5367, 8823, 2004, 17488, 19852, 19098, 14649, 3144, 12422, 15524, 19630, 11733, 527, 16899, 4665, 19631, 15989, 4571, 85, 14718, 7582, 18054, 22, 18338, 3831, 12897, 8498, 14014, 153, 14831, 19996, 5831, 8887, 13261, 16758, 686, 519, 293, 3852, 6674, 7752, 9006, 6897, 4576, 4782, 15014, 2533, 5217, 19975, 9537, 9882, 11505, 16437, 18082, 13746, 14625, 8932, 6088, 2131, 6729, 18534, 4969, 4501, 14024, 4458, 19107, 15764, 7090, 18840, 5458, 16826, 1021, 3989, 2951, 10745, 7896, 9909, 8096, 10131, 5581, 16947, 6265, 4317, 49, 15655, 15900, 2500, 17635, 7206, 569, 5796, 14105, 7434, 19508, 14667, 11617, 18189, 7929, 2981, 7131, 17203, 15464, 10295, 6891, 17502, 13193, 4089, 18105, 9910, 18416, 2909, 2739, 2401, 15804, 13016, 19083, 4578, 2334, 13775, 6166, 17996, 2021, 5326, 14637, 13478, 2553, 1436, 9611, 12690, 10273, 1430, 4005, 7586, 2490, 19883, 5996, 15826, 11765, 1478, 7844, 13538, 12106, 11346, 1300, 2794, 16356, 16073, 7504, 4278, 3008, 13033, 16707, 3405, 9571, 4079, 6317, 289, 3649, 10333, 8334, 14457, 17307, 19455, 18831, 15246, 7064, 12561, 12726, 4044, 7575, 9676, 5292, 2631, 2792, 1977, 11096, 15285, 8321, 17930, 6344, 12436, 15356, 8426, 10476, 12679, 5582, 8586, 5346, 18624, 6340, 8951, 12487, 2708, 14328, 7480, 16792, 324, 2967, 19320, 9491, 4164, 11140, 112, 19463, 714, 4259, 10395, 4062, 11684, 3734, 7598, 19492, 986, 5390, 7658, 18522, 10254, 4731, 16642, 14847, 3284, 8086, 7725, 18206, 11320, 1535, 12774, 8399, 13956, 19755, 9691, 17787, 6403, 9402, 15610, 13847, 9685, 9150, 1536, 18448, 14977, 7195, 15666, 863, 2617, 1562, 17395, 1308, 4927, 14139, 19862, 10772, 17460, 350, 13006, 13084, 15210, 10944, 5071, 2738, 19766, 16713, 4009, 10204, 7738, 7290, 9614, 6586, 4611, 3963, 3408, 15679, 8817, 8211, 5967, 11303, 9671, 10969, 2861, 5329, 3702, 4041, 19311, 19878, 4918, 5787, 8835, 14606, 12587, 17392, 4871, 12069, 3982, 16561, 10044, 18377, 2317, 5793, 10329, 6343, 11856, 17087, 4906, 2025, 7268, 971, 8412, 9950, 1011, 18436, 5789, 7695, 4375, 12740, 17056, 6385, 13778, 16277, 712, 3295, 736, 11169, 18908, 4351, 16597, 16617, 9764, 1426, 11057, 16908, 16403, 14668, 9661, 11026, 3360, 17263, 2883, 8742, 18966, 9250, 4313, 9793, 12057, 14724, 1103, 4482, 4215, 19418, 11811, 17031, 4422, 3566, 10704, 15748, 16829, 4269, 18586, 5524, 19567, 18203, 3207, 13077, 12718, 13405, 19610, 6632, 18869, 14495, 14669, 15588, 1609, 14324, 19347, 11369, 7178, 16845, 13052, 18703, 2653, 11025, 11175, 12651, 5747, 18758, 6738, 6392, 17189, 5910, 11790, 14840, 12495, 3767, 10335, 3139, 4980, 18467, 19960, 10785, 1797, 8364, 11965, 60, 18507, 16732, 17010, 8948, 14247, 10293, 18531, 12771, 3086, 18955, 9416, 16867, 6410, 19256, 19250, 19782, 10621, 4111, 18450, 1903, 2464, 7232, 5851, 5557, 18463, 9516, 8578, 13216, 11531, 13620, 10136, 910, 5653, 1904, 7250, 13323, 13475, 10825, 6241, 799, 15786, 4635, 17861, 14681, 12183, 19306, 12222, 4764, 11030, 17084, 11770, 13550, 6826, 9221, 14138, 5492, 8540, 12566, 7055, 5013, 1421, 7648, 1483, 11745, 19263, 19430, 1605, 2469, 6970, 12011, 11759, 14370, 11068, 14910, 9931, 6974, 9575, 6853, 3997, 7137, 10801, 16716, 759, 8107, 10549, 866, 10571, 7422, 7754, 10320, 1217, 3793, 9651, 16528, 4318, 14579, 18881, 17100, 17912, 15366, 1331, 10546, 16236, 402, 5560, 956, 6236, 611, 8021, 16275, 2878, 15546, 8357, 10940, 3296, 2772, 14693, 10099, 4915, 6694, 869, 16540, 18981, 2567, 7473, 16101, 14801, 3108, 6595, 727, 15842, 15095, 9120, 6466, 15736, 1461, 13386, 2868, 19591, 476, 14275, 18591, 17743, 16962, 8693, 15121, 10013, 3832, 6740, 7012, 10299, 14000, 2744, 9015, 6507, 7567, 8818, 7120, 918, 8664, 2071, 7459, 6834, 6001, 13968, 10480, 13325, 6986, 16969, 12912, 5143, 805, 3467, 4707, 12283, 16423, 15553, 6950, 15761, 12708, 514, 5371, 11352, 15092, 13339, 1660, 3214, 10620, 18299, 16723, 13289, 5297, 5958, 11979, 14163, 13374, 10853, 16034, 5797, 12401, 15937, 3159, 5132, 16880, 5745, 15863, 2947, 17303, 18702, 9584, 15630, 5782, 1044, 16863, 5194, 13083, 6692, 7286, 14488, 18689, 17107, 12318, 3520, 8273, 14863, 1734, 8595, 14521, 3628, 2886, 15364, 6491, 315, 7431, 19305, 2430, 15597, 16175, 19178, 8013, 1701, 61, 18753, 18222, 4749, 15718, 380, 1489, 12240, 11190, 18253, 10080, 11097, 14900, 2889, 16572, 14972, 2497, 17569, 11625, 8219, 15558, 694, 12523, 2060, 8370, 9194, 11439, 11420, 7156, 7141, 2621, 19398, 10088, 18010, 14773, 8500, 819, 15969, 9119, 7194, 3953, 12884, 16646, 7146, 6404, 15423, 18673, 4563, 9376, 1626, 10077, 18915, 13771, 2140, 6825, 304, 15331, 17153, 16243, 6408, 11084, 16401, 14795, 16699, 16156, 5002, 19572, 14019, 10128, 13706, 7939, 19284, 10509, 5953, 13080, 1931, 1114, 8629, 8532, 10851, 5950, 1192, 16414, 8106, 237, 9096, 17799, 6935, 7360, 14602, 14246, 18087, 12488, 18496, 14604, 19174, 6650, 3442, 18211, 19795, 626, 15381, 7918, 4963, 12152, 14885, 10622, 12205, 1538, 12948, 19411, 2618, 8671, 14193, 12012, 17099 ], "draws_used": 20000, "reduction_rejects": 0, "derivation_transcript": [ { "draw": 0, "hmac_hex": "7e2673adba5903459945e57f21de0e6e69bf73104fc4902796bb278d7770ef68", "result": "selected", "position": 0, "swap_index": 9197, "selected_index": 9197 }, { "draw": 1, "hmac_hex": "cd5f827b7bbb9c1620a1a6d47741a897bb70bc33c2de1267538b8a475b149d7e", "result": "selected", "position": 1, "swap_index": 892, "selected_index": 892 }, { "draw": 2, "hmac_hex": "62433ff54374a00ba763a0f1c4b00eff120a9f2477fcbaf4eb8900ad01cfd3b7", "result": "selected", "position": 2, "swap_index": 19327, "selected_index": 19327 }, { "draw": 3, "hmac_hex": "f9bcfa4744c1b56b56e42793f4aa1b7861edb313e0de7735bca0da82e4cf39eb", "result": "selected", "position": 3, "swap_index": 207, "selected_index": 207 }, { "draw": 4, "hmac_hex": "9b6a3c63044117b1d09ad6b89b95614dc705402cf5314037d94b900348e5ac45", "result": "selected", "position": 4, "swap_index": 12347, "selected_index": 12347 }, { "draw": 5, "hmac_hex": "ebc9ddbb0c305333847db819305b9ef144afdba9db7f691a8c94dade0bb7b171", "result": "selected", "position": 5, "swap_index": 4479, "selected_index": 4479 }, { "draw": 6, "hmac_hex": "39abc7eb4035d9a1ea169b5f19c5144fb58991ef201c534314e888add823f1a2", "result": "selected", "position": 6, "swap_index": 9505, "selected_index": 9505 }, { "draw": 7, "hmac_hex": "6acab4c98c477a4fe1ddc79921e262290285a97d6c5344fb3fffbea45b873457", "result": "selected", "position": 7, "swap_index": 16754, "selected_index": 16754 }, { "draw": 8, "hmac_hex": "17d4f0ffb9d122d7e24dc7bad279c7e303c5810b2474435b61119b8b707e4b0b", "result": "selected", "position": 8, "swap_index": 11295, "selected_index": 11295 }, { "draw": 9, "hmac_hex": "1c9f6e4f5972defb5696c050e82034e4704b487d23088de4d57713a50be10315", "result": "selected", "position": 9, "swap_index": 6709, "selected_index": 6709 }, { "draw": 10, "hmac_hex": "b19d31569e1ddf0d218ef97702f56788de47450cedcbf403f45e5e2ce024883c", "result": "selected", "position": 10, "swap_index": 19694, "selected_index": 19694 }, { "draw": 11, "hmac_hex": "61f5fee1026aff694808ea29cafc8f7bfc8f76ab23b8bf1694ebfa415fadd05e", "result": "selected", "position": 11, "swap_index": 15952, "selected_index": 15952 }, { "draw": 12, "hmac_hex": "a2bc530b32d3ee574729885636d3f323b0afb8124fce0018e3a3e009182560dd", "result": "selected", "position": 12, "swap_index": 10159, "selected_index": 10159 }, { "draw": 13, "hmac_hex": "a2efcf10b998ad80437d96219a39b3b430de3856ddc3ecd8e5fcf918c4c74a73", "result": "selected", "position": 13, "swap_index": 3127, "selected_index": 3127 }, { "draw": 14, "hmac_hex": "2ac243977bd7f2c5650e2471fb668af18b3dfa96f75d7576005854e551491480", "result": "selected", "position": 14, "swap_index": 16875, "selected_index": 16875 }, { "draw": 15, "hmac_hex": "7e63eeac785086d22bac9128a3b85ac0ea603060c030f1373118e98e1085a1eb", "result": "selected", "position": 15, "swap_index": 9940, "selected_index": 9940 }, { "draw": 16, "hmac_hex": "ce4218a4ef3d8965c2db61bf4ff55c4b4623ab91052f1a38dbe8fb6c87a0e759", "result": "selected", "position": 16, "swap_index": 8756, "selected_index": 8756 }, { "draw": 17, "hmac_hex": "ca849f436d0c82c1f178489c9e05ec70bb3bd35478e0bc9e0d1438b2ea709ce3", "result": "selected", "position": 17, "swap_index": 19648, "selected_index": 19648 }, { "draw": 18, "hmac_hex": "fdf3a4c8cb88c9275239eb9ed0d9736507dcc99ee361be55fa396d8c3bbbcef8", "result": "selected", "position": 18, "swap_index": 1094, "selected_index": 1094 }, { "draw": 19, "hmac_hex": "aeab7b0f24b99659791d8d0ffe5a3fbd33f5ec70ba4dd41c674cff19902c835f", "result": "selected", "position": 19, "swap_index": 359, "selected_index": 359 }, { "draw": 20, "hmac_hex": "d980a7e3504d55be3f090434d0e8f17dcd9486c7e7ae313880125103dc6b6b37", "result": "selected", "position": 20, "swap_index": 219, "selected_index": 219 }, { "draw": 21, "hmac_hex": "d752108b72adee3f95a52194fb349242efcef050741484605b10a56c9b6da2e7", "result": "selected", "position": 21, "swap_index": 16721, "selected_index": 16721 }, { "draw": 22, "hmac_hex": "caac598685411a7a65bf957bd82b3b5f87151d7fb75855cf5b9d2110aa4e5376", "result": "selected", "position": 22, "swap_index": 17186, "selected_index": 17186 }, { "draw": 23, "hmac_hex": "b591e7d293ace2817b0edc7c29a3273f369053a35873679d9beb4df9f092cb6b", "result": "selected", "position": 23, "swap_index": 5386, "selected_index": 5386 }, { "draw": 24, "hmac_hex": "f0817560ef9f4e00c67d7a2edb6434ba4ea2fd15278eb5caa68e702452681a3d", "result": "selected", "position": 24, "swap_index": 3888, "selected_index": 3888 }, { "draw": 25, "hmac_hex": "65444d41da57ea6c0111fa2443088695c5cd63bcf4f85cea63ebaa35ea7a1503", "result": "selected", "position": 25, "swap_index": 1441, "selected_index": 1441 }, { "draw": 26, "hmac_hex": "ac04df5cfde6e362328d6a5e31ca06f35f43bec92db91d12c8ac0c477f4cdf8a", "result": "selected", "position": 26, "swap_index": 17164, "selected_index": 17164 }, { "draw": 27, "hmac_hex": "9ff0518807c2e3ee9f5dc574586f3ac51c95e433c21a54e452ddb8c02087b6a6", "result": "selected", "position": 27, "swap_index": 14252, "selected_index": 14252 }, { "draw": 28, "hmac_hex": "f65fb7d7c6d24e5c3d5ed21c17ac62101e5dd69e19f46b873eea7939fb31c57d", "result": "selected", "position": 28, "swap_index": 3111, "selected_index": 3111 }, { "draw": 29, "hmac_hex": "420cc55eb3c16369e5bb48d93bdcb6579427a16e0a2722cd76124bb42c9fb6e7", "result": "selected", "position": 29, "swap_index": 2366, "selected_index": 2366 }, { "draw": 30, "hmac_hex": "6f0b846367c7e0b419f7d234b0686d9609c24101370353d7641eaa1ee713cfb0", "result": "selected", "position": 30, "swap_index": 4523, "selected_index": 4523 }, { "draw": 31, "hmac_hex": "8099a6fdd4bb3d1c3b2bdd21ccdf5d2d3b3d58a75d9343bea1b391da5093c410", "result": "selected", "position": 31, "swap_index": 2831, "selected_index": 2831 }, { "draw": 32, "hmac_hex": "19ff7c9f19b9ffa4665eff289d343109e741994fdd46d820e7cbaf1108b28dbb", "result": "selected", "position": 32, "swap_index": 12991, "selected_index": 12991 }, { "draw": 33, "hmac_hex": "482ecbdff9671307ac898c9b1bae54ca86a6f93c9fffe2cd1e986a09d8edf0c4", "result": "selected", "position": 33, "swap_index": 7915, "selected_index": 7915 }, { "draw": 34, "hmac_hex": "b26eb75d33c6e7f2b18eea8df674fc56c9fb594b39e3d7f44a31e469db2580c6", "result": "selected", "position": 34, "swap_index": 18139, "selected_index": 18139 }, { "draw": 35, "hmac_hex": "1d4d83b7fb24e1805db5791f3fb57a38b1877a9a83d8be4d67e8b2b4764a819b", "result": "selected", "position": 35, "swap_index": 1130, "selected_index": 1130 }, { "draw": 36, "hmac_hex": "8dd39253b86d0a4e65e5f6cdffed8221a0525348af61209ebba68339abe91e2f", "result": "selected", "position": 36, "swap_index": 3779, "selected_index": 3779 }, { "draw": 37, "hmac_hex": "aa20a597db1bf3fc6ad16157f05746624a38ca6263179d9d2f811e0da4bcdec8", "result": "selected", "position": 37, "swap_index": 16449, "selected_index": 16449 }, { "draw": 38, "hmac_hex": "a7a112401ce2106945d97ee166eedf867ad95ae11251f53a6513dc946a2bce4a", "result": "selected", "position": 38, "swap_index": 4708, "selected_index": 4708 }, { "draw": 39, "hmac_hex": "6f2e8cb69fbd7040e04dac2bfabd341c7d73ba9759a2d7da6871d418469c3b15", "result": "selected", "position": 39, "swap_index": 6165, "selected_index": 6165 }, { "draw": 40, "hmac_hex": "96f1dd62db5aae344dd29ebda22a6a41ba39ba792e56c7183b498f118150856d", "result": "selected", "position": 40, "swap_index": 8290, "selected_index": 8290 }, { "draw": 41, "hmac_hex": "dc3ca58269c27008f059aef1dd86ab60c6ff280d5d8087ee9d1a176a889dbd2d", "result": "selected", "position": 41, "swap_index": 12298, "selected_index": 12298 }, { "draw": 42, "hmac_hex": "0f075545e1efd8109fdde2c690862a1ab3e5f729c3f801356df937fdf47e02a3", "result": "selected", "position": 42, "swap_index": 9449, "selected_index": 9449 }, { "draw": 43, "hmac_hex": "ee61d37f98777cf9a64c6d924061761c935e329fcab854434dd9f825fbd25244", "result": "selected", "position": 43, "swap_index": 5786, "selected_index": 5786 }, { "draw": 44, "hmac_hex": "1bd436ad2eae4d5258ef90fe4a85bea0ca5acc8941a8356f432972f80850c3eb", "result": "selected", "position": 44, "swap_index": 1929, "selected_index": 1929 }, { "draw": 45, "hmac_hex": "f0fd4cc9715f2ae40f356ee9ef716baf4eeafc37c0b47692a6dfa6c5e456b167", "result": "selected", "position": 45, "swap_index": 9690, "selected_index": 9690 }, { "draw": 46, "hmac_hex": "99fcd3a4aa387235315acd71942f65082527adb12962c2bb16c4006633e1181e", "result": "selected", "position": 46, "swap_index": 19012, "selected_index": 19012 }, { "draw": 47, "hmac_hex": "eb0d60114e5a7f0efafb2f5597ccf29fcc98cd08ea413894fe7d87f80917ff23", "result": "selected", "position": 47, "swap_index": 11448, "selected_index": 11448 }, { "draw": 48, "hmac_hex": "4e7c747727f4ebc074f30cdfc8263cb2ad85b9fe7e8ada6fbc05f55fd626c7f6", "result": "selected", "position": 48, "swap_index": 7031, "selected_index": 7031 }, { "draw": 49, "hmac_hex": "e23e1947a5c05adc1e558f5f45b9c26046fa0595eeab0e76c6e9b6d04a4ac96d", "result": "selected", "position": 49, "swap_index": 2916, "selected_index": 2916 } ], "transcript_truncated": true }, "golden_hash": "69423f7023e07065d75baedaec510535cea671d7d7469a16e06e50f15e68bead" }, { "name": "sample_size_zero_refusal", "description": "sample_size 0 is a structured refusal: verdict INDETERMINATE, MALFORMED_INPUT, no derivation attempted.", "policy_parameters": { "beacon_source": "drand_quicknet", "beacon_round": "4321000", "beacon_randomness": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", "item_manifest_hash": "9f86d081884c7d659a2feaa0c55ad015a3bf4f1b2b0b822cd15d6c15b0f00a08", "item_count": 250, "sample_size": 0, "algorithm_id": "hmac-drbg-sha256-v2" }, "output_payload": { "verdict": "INDETERMINATE", "manual_review_required": true, "reasons": [ "sample_size must be a positive integer (0 or missing is a refusal)" ], "beacon_source": "drand_quicknet", "beacon_round": "4321000", "beacon_randomness": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", "item_manifest_hash": "9f86d081884c7d659a2feaa0c55ad015a3bf4f1b2b0b822cd15d6c15b0f00a08", "item_count": 250, "sample_size": null, "algorithm_id": "hmac-drbg-sha256-v2" }, "golden_hash": "4067c4ebe4d17d45d22cf9b7a30d84674f3b93f4aa92653432f7b1f643e9a779" }, { "name": "manifest_hash_prefix_bad_hex_refusal", "description": "item_manifest_hash carrying a sha256: prefix fails the exact 64-lowercase-hex validation: structured refusal naming the rule.", "policy_parameters": { "beacon_source": "drand_quicknet", "beacon_round": "4321000", "beacon_randomness": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", "item_manifest_hash": "sha256:9f86d081884c7d659a2feaa0c55ad015a3bf4f1b2b0b822cd15d6c15b0f00a08", "item_count": 250, "sample_size": 10, "algorithm_id": "hmac-drbg-sha256-v2" }, "output_payload": { "verdict": "INDETERMINATE", "manual_review_required": true, "reasons": [ "item_manifest_hash must be exactly 64 lowercase hex characters (0-9, a-f), without a sha256: prefix" ], "beacon_source": "drand_quicknet", "beacon_round": "4321000", "beacon_randomness": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", "item_manifest_hash": "sha256:9f86d081884c7d659a2feaa0c55ad015a3bf4f1b2b0b822cd15d6c15b0f00a08", "item_count": 250, "sample_size": 10, "algorithm_id": "hmac-drbg-sha256-v2" }, "golden_hash": "cafc89e475cd594840370a114af43d49e202fee1d66d835f5dc0fac9e36f8b62" }, { "name": "randomness_63_hex_refusal", "description": "beacon_randomness of 63 hex characters (the length the v1 sampler accepted unvalidated) fails the exact 64-lowercase-hex validation.", "policy_parameters": { "beacon_source": "drand_quicknet", "beacon_round": "4321000", "beacon_randomness": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b85", "item_manifest_hash": "9f86d081884c7d659a2feaa0c55ad015a3bf4f1b2b0b822cd15d6c15b0f00a08", "item_count": 250, "sample_size": 10, "algorithm_id": "hmac-drbg-sha256-v2" }, "output_payload": { "verdict": "INDETERMINATE", "manual_review_required": true, "reasons": [ "beacon_randomness must be exactly 64 lowercase hex characters (0-9, a-f)" ], "beacon_source": "drand_quicknet", "beacon_round": "4321000", "beacon_randomness": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b85", "item_manifest_hash": "9f86d081884c7d659a2feaa0c55ad015a3bf4f1b2b0b822cd15d6c15b0f00a08", "item_count": 250, "sample_size": 10, "algorithm_id": "hmac-drbg-sha256-v2" }, "golden_hash": "9aeac4623ea57cdaa1d62f5a78f1a44c2911bc47ad51d2b3d775df2199d3f4e0" }, { "name": "item_count_over_ceiling_refusal", "description": "item_count above the 1000000 ceiling is refused before the 4 MB index array is allocated: documents the guest-memory bound.", "policy_parameters": { "beacon_source": "drand_quicknet", "beacon_round": "4321000", "beacon_randomness": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", "item_manifest_hash": "9f86d081884c7d659a2feaa0c55ad015a3bf4f1b2b0b822cd15d6c15b0f00a08", "item_count": 1000001, "sample_size": 10, "algorithm_id": "hmac-drbg-sha256-v2" }, "output_payload": { "verdict": "INDETERMINATE", "manual_review_required": true, "reasons": [ "item_count must be an integer between 1 and 1000000" ], "beacon_source": "drand_quicknet", "beacon_round": "4321000", "beacon_randomness": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", "item_manifest_hash": "9f86d081884c7d659a2feaa0c55ad015a3bf4f1b2b0b822cd15d6c15b0f00a08", "item_count": null, "sample_size": 10, "algorithm_id": "hmac-drbg-sha256-v2" }, "golden_hash": "5527873bcd472f95cc05b20efa30880cb48219584258bea43ff8ded2640ca40f" } ] }