d = f688563f7c66a5da2d8bdb5a5f3e07bd8dce6f7efcec7f41298d79863459f7cd
ρ = 26ffff11b531b1800f4e1fa75c4d008c4f9a112932c669d543551204405da8b4
σ = 6de0c01beda8a2ba3f697c1bb8d5a46dc2ac63880c4f9b57db9f10534cef9a42
A[0, 0] = {1413, 10, 604, 2877, 3203, 1546, 1604, 1174, 616, 1275, 2938, 394, 1529, 420, 397, 2532, 619, 1129, 2868, 294, 2356, 2288, 1330, 2649, 2530, 1123, 2119, 3163, 1542, 2725, 1282, 2023, 3308, 1299, 1987, 2334, 726, 3141, 3114, 1371, 667, 1415, 99, 2891, 2749, 1816, 584, 2813, 1463, 459, 1848, 185, 1602, 2052, 3209, 3220, 495, 851, 905, 3314, 2542, 658, 1122, 1500, 663, 1044, 493, 1593, 1541, 3202, 836, 2236, 281, 829, 2078, 517, 168, 2997, 845, 383, 432, 2232, 3267, 324, 1024, 1450, 2805, 1484, 1362, 39, 956, 974, 2289, 1780, 3227, 2180, 619, 1941, 3313, 267, 2992, 1172, 3292, 2044, 1272, 821, 2785, 697, 2584, 2497, 1377, 3075, 3040, 1149, 2763, 1577, 142, 1624, 1186, 2703, 166, 1986, 2618, 3051, 1146, 402, 2003, 1391, 585, 1617, 646, 2176, 3262, 1603, 1543, 2426, 2188, 1624, 1727, 2735, 335, 2465, 1106, 803, 2364, 500, 31, 219, 1922, 126, 917, 1821, 3033, 699, 1866, 2205, 1098, 3229, 2689, 1060, 3256, 1558, 1545, 3206, 678, 672, 1430, 1052, 2905, 3299, 612, 1960, 2661, 2527, 2546, 2593, 3153, 3168, 922, 2152, 528, 3076, 746, 3246, 1601, 779, 2135, 2877, 1892, 946, 2771, 354, 3081, 2793, 3314, 1840, 822, 3124, 2778, 2066, 3188, 2553, 125, 413, 2694, 2297, 456, 1415, 40, 1073, 51, 476, 1759, 752, 1244, 3141, 1886, 1189, 1274, 2352, 514, 1853, 2527, 3161, 1094, 3105, 1794, 1454, 1970, 2704, 2253, 983, 68, 669, 766, 2535, 259, 348, 2019, 3290, 3261, 1379, 3102, 1277, 401, 110, 2539, 1702, 588, 2866, 1895, 1203, 1371, 239, 2622, 2237} = 85a5005cd2b383ac6044664968b24f7aab18f9451a8d419e6b9246346b1234098f3295a5e2394647b8c50656aa02757eec3c51c3e791d652c42abc559b725863b0b4bd8a7148d2afb7b51c38970b424680894cc9ef31358923cfee292962c45d974241ed91630526c844c38b19d1331e5820a850bb4df317b0818bc34c1400a45af5ca5c527502bce33cf1486f9b4c886b5279f1bc10b04b49dccc7ff85433e19a2b181a9c6135c0e0db47cb9a628e8065a2f4a8a6207c3ababe7a2419d3f756491265860288be3c6407a6978c8865bff6aa4f119a5234323c491f1fb00d82e70795d371d9bb2b4ad7894ad4c9814a42b86c610966c8a6022a96c541593bce64827a65fa9df219a2510cc69a83861042c0eae2ca41b63057d8b364273bd32a16099caef20c733643c3da2a81749c9f7dd019869a8fc8715828104333c01ddf062fdc54c45e574afa049302d273df99c54614c202e75ab207a9cd783d44d029fe729e03c115e3a7cdbd3c561edc4f91e106eb696a4c22b367374b5bf50e3eda8b
A = 85a5005cd2b383ac6044664968b24f7aab18f9451a8d419e6b9246346b1234098f3295a5e2394647b8c50656aa02757eec3c51c3e791d652c42abc559b725863b0b4bd8a7148d2afb7b51c38970b424680894cc9ef31358923cfee292962c45d974241ed91630526c844c38b19d1331e5820a850bb4df317b0818bc34c1400a45af5ca5c527502bce33cf1486f9b4c886b5279f1bc10b04b49dccc7ff85433e19a2b181a9c6135c0e0db47cb9a628e8065a2f4a8a6207c3ababe7a2419d3f756491265860288be3c6407a6978c8865bff6aa4f119a5234323c491f1fb00d82e70795d371d9bb2b4ad7894ad4c9814a42b86c610966c8a6022a96c541593bce64827a65fa9df219a2510cc69a83861042c0eae2ca41b63057d8b364273bd32a16099caef20c733643c3da2a81749c9f7dd019869a8fc8715828104333c01ddf062fdc54c45e574afa049302d273df99c54614c202e75ab207a9cd783d44d029fe729e03c115e3a7cdbd3c561edc4f91e106eb696a4c22b367374b5bf50e3eda8be51127e38293dcd01397e236eadb3775c0114d2165f7d32d5043a283c58afbd358b335bb02a3abef72cf0e201e1c7cae95f7071a85b94b0b243f469d8b392318e85f018a96f75429657944b5c08b316153bacbcf52892a24e06ae01818d2c658d16b923f8a73831017b5d0ca6c91904e8b918cdb54957c2924fc9b3876cda87c3e0823290733717b8a98a9d9a85807a96a7a177e8c621f134b8440613ea936479b2a761ca47f522965fc136752447b06877007587b24a33c16af24a011e4b76a2112707399340a07c2f6b34f2a813929fcc06d75cf180a39c4898bf1b586f006986b8583e1790aeb0786d62381635c1e84d033b7b9aef43a4ff16a45bdb78073e832060a4720fa35048027fed98f1ba597a4d033d706312f92c7552a218b5a0af67847f3a83b9e1325ba522a57843686ac1e24849c41737d368bb9cd3622ec27a7e1432f81b37d44601e84f8b0736a4b22c243d5d3a78bb243445711076023c2b607932197b230892e900ced651f1b85b8bc836c14ea3b88a1c5154a8875b9037bd902438666c28c3717cbc9001d2b0a8263eac97db0858ecabc8a6732ae64378178a8baa954a9a1daca6ff930f51701aec28b8a9a502b3c68a0a52f30024ffbe929698a86e6758dd646afd98156825a793607b2ebdc29aef8290fa89503971556d63a665c7a3ea50af10791a2032d45eba531b2b41f675ab5a7c012610f3e94cf25d20a5f9950ae088b79192583e6bea1f073c2c7ca3b0aa5c7d8a8a7c905fc913129578a55e0217a6233e414c441d460a834bc5f85437f4b73d983927693665796090231813eb26365eb9237dcac2909a3d92c4888976eb8e684cb807d15e13f0a20c3d48c042544b06ee522d9c02baa6a295cf061c5e4819ae98ea999719d54844618921db3c9d69760401154818112e909a503c17f548323bd14bad132b60e02ad286113c9c3a75fe6b8eeba67092546752b99df66150685a7d6a24f9deb1c87a355c5860d86b6900e7b56e4db9bdbbc56655332b8a8b6eb789314117dcf91acb434720c14a5bf1c856e8a9ef70a095167b5d442479a8c7ee94278bc914763b3040db68ae9da02201733fcf6a724fc9ba037404b2b9888a865fa81757412b79f14473c106dc9909d2083c79b50c48dc3c8b0e331ddd7996e447e93c96aa175b74c484ac3b3cbd3301823c890f78727540830eff042f17534153a0e7ec6569ea9065c2b89934ac0d5402eb3baa0c667351b8058dca7625511c4753c0a30f33d79643b13663661a2588ac16652924835cac6ece1bbfa111895010959333bd9cc8b44b6cba956c2b980918f5906d2137dd0b04a5f770226c5a37eb9b004eb03a18b1f6556732dd300e0b20612c3b9e29a62b6b2bfcd153e3b928bd158396768a998671e7b2715498b8c538946fcfb84500b57c69ca2ea76afb0652cb4d9082a288984ac7e5493ac9e78c289d78816d3c882ab679cec9ad37cb42d24b182668d355b39ea428f81bc2ecee397d6f04ff74b89e2e4360c420d8868685122178f420d11400f1b0163f286a4605c0d3499b8e21909eff8ba6cf6c4e3780353d2252b8b2d40b1b26b2c7cb1e33e94db35a8db85773916b4459428d6bfa3707c2e079aae30012553ab5f10cbce648ae2966a4b125a5cdbacba165021a235b7ba8d655325adb92182b80df1b7259d821e9bd53f33baa30796b91b929401f1125044bf28b0ce510801b8b8a0f1a983e037cd8c712b4c971a6d05161d8b03cb362fc7640bdd14aa13dc218eb97db5f0cf3d56b99192c9ffacc5e271a8e7950202e7886d0a9e1c0c7aabfc2c0342a1d712b78f624e487a5173329a48298ce6292f0216bdf3317d2e2aca6fc6c8cda658fe67605ae36adf1a8c65da46e10c4b8f518cd08c9be4b269fd8c973f54bc3af1517c787dda30960e399d14fa247b6acaba19b609936c947b9278b7575c115ee7f91de7b30f18b94f3893b1cbf69c320b2f5f777438718738eb71b123a747500fe2483ee2517b7bc54184d6cbf286b30ff2865416542366ceb165891b7c21dcc102a487530440a2449b11d6817250020a658a717a69a388229984b65927c7caaba3b9f59917df489d95652e55a0c7f96a8c576acf1b8acb29d51969924bf1a4052efcba804b833a898e280868094c1b43b661b75924b512352471b350d67ee11cc9ae03419f477e090632ae50b7285b331f820816c01c0ba06249fb894f421909c12cf9555c96860471e32ed5b9306c99a5d1043dc83b730a58878e31146806a2ebb7cf666a519a3140af80107659a71b6108a1231e38e667dddb281b399dc3db72ebc3aa99073c778188b8f6243c5186ed7ca98f56b6730b63ba90a660e22ba9a7399d940b956a3955b456a84b3d269260c7702c12d1cfb008ba3250a06e04599da007a4d862da67251158b8a11484159b0b08138635e7691ab97d14e124af645a8a020c19a916fa4b3f5ec9ca4dc15772158ccbe416b3a1a5346b22c42c2901781f6cb9536241590c21b82ce31406257c4a7cab9fa988a3fc8fce8553a3889782c817a7125ab069c77ba586034ccf3bf702ba0103d7da1558b1b812f34aa9c88f12c63c81c72f45567a8279c74078a5337b67226586d79c5de2252690841e6d24c7cb86c20e5945f2550cae40a2ef112f0ed47b09f9cf5c139fb8ca9c41e54e0240cd6285c2e6826857aa523ba7cfd5304556b936bfa5a6fbf251df37cc8ef0b8ce04913739a3f681341809a0aee971b90201d0d9cb387011aaeb4960826964e2bc3562ad894c597caa5d26a6a804059fb7c9824d4b0f5c91181309797dd65c9ceb3845a98eb5ba224be121d2e0b12a86a83880355de16f9d585c0d655d899a8f3261afa2c478ff62749707829c9849f0f38cc40629efe7570ad1566b8a0d4e062e727c4398b241e638ba04d05384aba8a290b2a1115c9c5205e0d78b9bc38f72f11b06871a7e79746752998990aa59639992dcc07064134551584a823d7cab532578ca6b0aa167441dcb5653dd495d6d9b9587a64560f2c2bcb40427c10199c0043d734e4e7a837cf504d58793053b4290647502120ad74215a295946b7acce421be4d451fa8ca1d2ab2a3bd1542493686ced9c6a5e577d23b8d39c4bf40f27020c06158ebc01eb9934740c5956a1343f440b03ba287395964b674cd707af0085019c8c1c7843f630ab0d2b067c4548a6103946a55c1f80473f932a5f0dca3d9cb80bca99d51361fb6b38a1ea0abbed2864472622390ba1c10292dc4800e236cbc5ba64baa24d46cc7acf61bb5bc054f845d84921546b02c12e0c7a355cad8c74bfaca69a83caf69a4a8fc6b12d9ccc9cde8c11a7a73ae0a3b4540a1573723b3576b2728c5a1b3a26ab4b7dc20a3c6895fdbb97172441f3ea67313d759c1aa3a16a445babc116833197a7002e8f68c8d38b955690d4d87242e45a4b5a30970c5aa14a6cf8eb997d41c4513a472e42a27d52652d0d26c43c85fd35a80ed7a51e8c1b5a7d9a781f4079628aa39bacbe9885168c20b262a77379a66f3d96a5fd902c8ac84b211bd3c226a5197330ea0a55b9c7123f63fcd7516d3b559eaeab3e3ba54219bcdd205c051118bf3180049639b8b062bfa6345a51ccef4f8547b40cfe10375e69392ddf5bfaa59277bd25a75fb3750a42ec47a5f62168c78f2996fa9407f578674bb95b88504eb401541ac5fd3c424313b99d38b113664b9caa67abc06329a6c6a8a89ba04ccc347344983ec9f98d5a930a96ec0d15008810afdf576e068096634b025d46cb478b75c00058370a70eb4687051a225884a6dda99e995b9e987167706aaee9896ca0612d89243ad208c91a237ff9414b6803a7a3b08d70717974c3262e45a4f3a501d442571e095db9ab536382d212520abc7110501560592b4e6480730d0027dc1143aa3c517710b301b871fd3ba9f159eae036d95b62895d9774c9176844399da0a870b0b5c476c9921816d7573bf75a632f6f82aed27657ae18126ca646fa2a112602ea0e34bdb6092adea950ae3b610977639896e264396d87813af70a045b46040c3294d93415ab576d1316bfa6c2fe125ca886cb6177c9244823053b25bc13ac567b409c4273b96a9c375231f301486d70509a9d60e31982c052b34a9f3c381c0c615717f1460bbfc96856b60c143cc63e0c9c892e3c511ea09faa770fc028199c5528bc0761a3a34b1f82a9744a8f907652ce628683441ab5cb6c31947f2fc7378504ab630a4c85907c0030e33152bdb15c05944a99b170ae1f3615611c3793568340a740f537604bcae3a01cd3218674bd8a62dbcc35e6137ed4850d6355667c47a3bc255fef61a
s[0] = {3328, 0, 0, 3328, 3328, 3328, 1, 0, 0, 0, 1, 2, 1, 1, 0, 3328, 0, 3328, 0, 2, 0, 0, 1, 0, 2, 0, 0, 1, 1, 0, 3328, 0, 1, 0, 1, 0, 3328, 1, 1, 0, 0, 3328, 3328, 0, 3328, 3328, 1, 3327, 1, 0, 3328, 0, 3328, 1, 3328, 1, 2, 2, 0, 3328, 2, 0, 0, 0, 3328, 3328, 0, 0, 0, 0, 1, 1, 3327, 1, 1, 0, 3328, 1, 0, 1, 3328, 3328, 0, 1, 3328, 1, 3328, 1, 0, 0, 1, 3328, 1, 0, 0, 0, 0, 3328, 3328, 1, 0, 0, 2, 0, 0, 1, 0, 3328, 3328, 0, 3328, 1, 1, 3328, 3328, 3327, 3328, 0, 3327, 0, 0, 0, 1, 0, 3328, 2, 1, 3328, 0, 3328, 1, 0, 1, 0, 3328, 3328, 1, 1, 3328, 1, 1, 1, 0, 0, 0, 0, 3328, 3328, 0, 3328, 3328, 1, 0, 0, 0, 0, 0, 0, 3327, 1, 3328, 0, 1, 1, 0, 3328, 3328, 1, 3328, 3328, 1, 0, 1, 2, 3328, 0, 1, 3328, 3328, 0, 1, 0, 3328, 0, 0, 1, 1, 0, 0, 1, 1, 0, 3328, 0, 1, 0, 1, 1, 3328, 0, 1, 0, 1, 0, 0, 1, 1, 1, 0, 1, 3327, 3327, 1, 0, 1, 0, 0, 3328, 3328, 3328, 3327, 1, 3328, 0, 0, 0, 2, 1, 2, 0, 0, 3328, 1, 1, 0, 0, 3328, 3328, 0, 1, 1, 3328, 3328, 0, 3328, 0, 1, 1, 0, 0, 2, 1, 3328, 0, 0, 1} = 000d000000d0000dd00100000000000120000110000000d00000d0002000000000010000020000001000010000000d00010000010000001d000100000000d0000d00000dd001f0cf010000000d00001d00001d000220000000d0020000000000000dd0000000000000011000ff1c00010000001d00001000000dd0001000001d00001d000000000100d00100000000000000d0001d000000000200000010000000d0000d00001d000100d000fdcf000d00ff0c00000000010000002d000100d00000d0010000010000000dd0011000001d00011000000000000000000dd00000d0001d00000000000000000000ff1c00000d000110000000d0001d00000dd0010000012000000d000100d0000d00010000000d00001000010000001000010000000d00010000011000000d00010000010000001000011000001000fffccf0100000100000000d0000dd0ff1c00000d000000000210000200000000d0011000000000000dd00010000100d0000d00000d00011000000000021000000d00001000
s = 000d000000d0000dd00100000000000120000110000000d00000d0002000000000010000020000001000010000000d00010000010000001d000100000000d0000d00000dd001f0cf010000000d00001d00001d000220000000d0020000000000000dd0000000000000011000ff1c00010000001d00001000000dd0001000001d00001d000000000100d00100000000000000d0001d000000000200000010000000d0000d00001d000100d000fdcf000d00ff0c00000000010000002d000100d00000d0010000010000000dd0011000001d00011000000000000000000dd00000d0001d00000000000000000000ff1c00000d000110000000d0001d00000dd0010000012000000d000100d0000d00010000000d00001000010000001000010000000d00010000011000000d00010000010000001000011000001000fffccf0100000100000000d0000dd0ff1c00000d000000000210000200000000d0011000000000000dd00010000100d0000d00000d00011000000000021000000d000010000020000100000000000200000100d001f0cf010000ff0c0001f0cfff1c0000f0cf0100d0000d000100000100d0ff0c00000d00000dd00000d00000d00000d0001d000000d0000dd00200d0001d000000000000d0000dd00120000000d000000001f0cf010000000dd0000d00000000000dd00100d00110000000d0001d00000d000010000010000120000100d00000000000000100000100d0000d00000dd0000d0000f0cf0200d00100000100d0020000001d000010000100d0000d00001000010000022000000d00011000ff2c00002d00000dd001000001000000f0cf0200d0002d00010000000d00000000000dd0ff0c000000000000d00010000010000110000000000100d0001000000000002d00000dd00100d0020000010000002000001000000d00000d00010000000000011000000000001000000d000210000100d0001000000dd00100000110000110000000d0001000000d00000dd000f0cf000dd0001d00000000011000011000000dd0001d00010000000d00001000000d000000000000d00210000000d00000d0000d00000000000d000000d00020000000d0000d000000000010000000d0000dd00100d0010000000000021000010000011000000d0000fdcf0100d000100000000001f0cf000dd0001d000200000010000100d0000d00ff1c000200000010000100d0000dd0000000010000001d000010000100d00000d001000002f0cf0100000220000000d00020000200000000d00000000100d0000d00000000021000000000000dd0001d00000000010000001000010000000dd0000dd00020000010000000d000fdcf0100d0000000000d00001000001000000000001d000210000000000000d0001000010000ff2c00000000000dd0000d000000000100000110000100d00100d00100000000d0000dd00200000010000000d000f0cf0110000000d000fdcfff0c000200000200d0001d000010000100d0001000010000021000000d000110000000d0010000010000001000000000001d000000000010000100000000d000fdcf001000000d00001000000000
NTT(s[0]) = {306, 1942, 1038, 2121, 1478, 852, 1794, 2263, 2789, 3279, 1516, 1756, 2964, 3007, 2621, 54, 925, 3296, 2999, 592, 2639, 514, 282, 2345, 2485, 649, 2949, 1742, 1183, 2964, 187, 3159, 3204, 1164, 2193, 743, 2631, 2636, 3090, 2740, 1645, 1787, 3182, 2826, 3226, 1758, 1388, 815, 590, 717, 2812, 962, 1699, 2774, 61, 2826, 185, 2731, 1818, 3086, 1916, 1897, 711, 1855, 2124, 2626, 1445, 1911, 2615, 2600, 2743, 1183, 2532, 2696, 759, 3210, 1549, 227, 2658, 930, 2113, 241, 1713, 2017, 854, 1013, 1011, 2574, 1283, 150, 1035, 1368, 2071, 2400, 3220, 2038, 3049, 261, 268, 1901, 3263, 1091, 3117, 2406, 1256, 2973, 2454, 2058, 470, 2599, 3136, 342, 1704, 3234, 2226, 856, 2716, 703, 1370, 2051, 3061, 1371, 1668, 3211, 3292, 1291, 1828, 332, 3231, 1419, 2063, 464, 2978, 1854, 3226, 1377, 2314, 2835, 209, 699, 1813, 783, 510, 799, 2389, 1112, 348, 1002, 2356, 1312, 1642, 1029, 755, 1033, 2192, 1733, 2045, 1731, 1825, 1459, 887, 182, 2686, 2736, 3292, 2072, 1566, 1221, 1393, 341, 394, 1228, 2559, 2280, 486, 2802, 1420, 3312, 3277, 3138, 795, 1054, 2081, 389, 1510, 2622, 1660, 1953, 2872, 2577, 1732, 1402, 1572, 1247, 2729, 3076, 878, 213, 550, 656, 3259, 1554, 417, 1901, 2608, 954, 2623, 2628, 2977, 2045, 2932, 2800, 2749, 2985, 2369, 244, 1561, 299, 2941, 1631, 28, 802, 305, 567, 2150, 770, 2758, 2974, 3053, 1140, 3075, 775, 1189, 77, 1678, 2522, 1761, 2359, 2083, 1402, 1574, 1575, 2167, 602, 84, 204, 1523, 11, 2550, 2986, 2823, 1760, 286, 240, 2022, 1062} = 3261790e9484c6453502778de5faccecc56d94fbbb3d6a039d03ceb70b254f2a201a9192b5992885eb6c9f44b9bb70c584cc4891782e47caa4124cab6db66f6eacb09aec6d6cf5324ed22cfc2a3ca366ad3da0b0b9b0aa1ae7c07c9776c7f2734c28a4a57577378aa2b7fa49e489a8f7a2c80d360e622a3a41180fb1167e56533ff3e3a00365090b8455170896946c7fe95b100cd176bf3c442d6c96e8d4b996a980d671a2406c15a826cab288359cfa2b5a3580f5bb5584b6c8dcbc5024c7149fbc580f081da2eb739a1c560a39b1d1b02b15f730fef1315589455ca13e3409526a5640f3924090586cfd376c21375b77630b7e0aabdc8c811e564c7155158ac14cff898ee621af8c05cfcd2cc41be341215818e6e5a37c167a381ba1c4a65724f64da94ac06e530d260229bb2c61a1d17630aa3b3f4aa4a1db7f740bafbd9aba41490f19b6127dfb651c2032317123662830c6eab9ed4b47037c30a5d4048ea69de1769323a85726766277a82554c00cf3b500f6a9ba070b6e1e010fe66742
dkPKE = NTT(s) = 3261790e9484c6453502778de5faccecc56d94fbbb3d6a039d03ceb70b254f2a201a9192b5992885eb6c9f44b9bb70c584cc4891782e47caa4124cab6db66f6eacb09aec6d6cf5324ed22cfc2a3ca366ad3da0b0b9b0aa1ae7c07c9776c7f2734c28a4a57577378aa2b7fa49e489a8f7a2c80d360e622a3a41180fb1167e56533ff3e3a00365090b8455170896946c7fe95b100cd176bf3c442d6c96e8d4b996a980d671a2406c15a826cab288359cfa2b5a3580f5bb5584b6c8dcbc5024c7149fbc580f081da2eb739a1c560a39b1d1b02b15f730fef1315589455ca13e3409526a5640f3924090586cfd376c21375b77630b7e0aabdc8c811e564c7155158ac14cff898ee621af8c05cfcd2cc41be341215818e6e5a37c167a381ba1c4a65724f64da94ac06e530d260229bb2c61a1d17630aa3b3f4aa4a1db7f740bafbd9aba41490f19b6127dfb651c2032317123662830c6eab9ed4b47037c30a5d4048ea69de1769323a85726766277a82554c00cf3b500f6a9ba070b6e1e010fe667429d5259d027ccaaec559c760ae99b62c014cf76b08c89a72d3e233af5251976e288da3a8fa2820e6ca8ca953ab8f504060fd2c0104558af67c34691c1c4c2878d5904c94390b1639548e206659804a3759a6a7930921a3fc2853d8e90cd94b523fe1a30704030f04b9d4fc919fd22c27966aa53180916009e3f831a47b53f5951087d110c010cb81a415d88c3cb19031e3f30a21496903f59ce75742227b22ca7687ad3b05c0aca42e3747bc5fb1683b796a10bac6a158a745836478829707b70aca820d3a9b6adda8091bc0c44c9bca1f57bae60165940ac87815c1e36a783a88b2b68655d22ccebd1490d4440a00775dd1a68f0d3125c7cb48d8a91db2993542c5541137e817206705bb23a261eb3740d952b1af92181f8a629e156b7a6d703d9225706a5bee26845bd80552df9a620f16b4c1444ed2514ec8c2aed453bedb9805174ada9610c91aca500ccb221c109a56377bfc043fc0410340c0d4a509be7d1252d65af888905ad42bfd9cc0e84b63d82032de9cb1cc1264fb6b65c2304818c566fdb36c47e43b3e43b405f7b8944340f78830901507d145b1818c86d9b003d03e5a33310ca66c44d63b2bdb427cc0dd68fd32176292359ce639c9177454e6a36d7cb808e13a9d309310b455202ec6bcf2891d2590755b92e4f0354e766b049d77b4b5cbd8b332a6d1261cc58a384ebb842d92273202eb7b45570cc42fb039c18b4a1308062d6710601c209f5b425d3a6b8735911fdb6bb26a556595c5e69d66a5fc346552526d8a8a292b3cda869b28fab0b2cb6162e583e8c9c558c4c8c457cb83e67c2f03960011091fdf5a35b88712d3aa5e0d0961242653850acca27be2a8523b0557dc38a3fd90acddb190c813c3e86d50e2dac874f2316c607a3582aacef1c14dee409551a9e02f60e9737c9940799b39932cd645341444414c77f4fa9046ee4020fb68d607b46759615803572502a296c291965b2c92320c663d504e06a0bce3286a854c74a6256e168c0b750805359986493a25f75b5f8923bbbd4b2a30b6e9092ce0a5035939c47e900c4235a447796a426713e1bd269a13493
e = 000d00011000000dd0000dd00000000110000110000100d0011000010000000d000100d0001d00ff0c00ff0c00002000000000020000012000000000000000000d00011000000000000000000dd000100000000001f0cf000dd0002d0001f0cf0000d0000d00010000ff0cd0001d00010000000dd00200d00100d00020000100d0010000011000000000000000000d00000000000d000000000000d0000dd0001000002000001d000000d00100d0000d00010000002d00000dd0000d00000d00010000000d00ff2c00000d00010000ff0c000100d00000d00000d0000000000dd0001d000200000000d0000dd00000d00000d0010000ff2c000000d000000000f0cf0000000000d00100d000f0cf0000d0001000000000001d000000000100d0000d00ff0cd00000d000f0cf0100000100d0001d000010000010000100d0021000021000010000000000000d000010000110000000d00200d0ff0cd0ff0c00000d0000000000100000100000fdcf0010000110000100000000d0021000020000010000000dd0000dd00000d0000dd0011000000000000000010000002d000000d00100000010000000d00200000000000000d00000d000fdcf0200000000d00000d0000000002000ff0cd0001000002000001d000000000000d0001000000d00000000010000002000001d0000200000100001000000f0cf000dd001100002f0cf01f0cf001000000000002d00000000021000011000000dd000000000000001f0cf0000d0010000001d000010000200d0010000000dd0020000011000011000000d00000d000100000100d00200000000d0000d0000fdcf002d00000dd00000d00200000000d0011000001d00001000ff0c00000000ff1c00ff0c00000000002d00000dd0000d00001d00021000001d000000d0000d000100d0000d000200d0000dd0002d00000d00010000000d00010000000d0000000000000000100000f0cf0100d0000000ff1c00000000001000000d000100000000d00100d0ff1c000100000000d0000d0000f0cf0100d0020000000d000000000010000100d000100001f0cf0000d0000dd00100000100d0ff1c00000d000000000000d0000dd00100000100d0000d00000d0001000000100000f0cf0000000110000000d0002d00001000000d000000000000000000d0002d000000d0000d000100000100000000000000000000d00000d0001d00001000000000001000002d00001d00ff0c00010000001000011000ff0c00002d000000000000000110000100000100d0001000000000011000001000000d00000dd0000dd0001d000000d00100d0001000000d0000000001f0cf001d000000000000000000d00100d00100d0000000020000000000000000001d000010000010000000d0001d00001000011000001000000dd001f0cf0100000000d00110000110000120000000d0001d000000000200d0000000000d0000000000fdcf0100000000000120000110000000d00000d00110000110000000000020000000d0001000002d00020000010000010000011000010000012000ff1c00000dd0000d000100000100d0001d00000000000d00011000010000
NTT(e) = c64791062736bb66327cb057d81a1f1c839cff7699d58a5d9b90858bb01228065ae232c4f2f0a46bb50d77dac7ab6402da4c1c9166acf79b61eb816a497a1b6a70992b8aa07a63477bab90a0319ea7fc5a77b7b800c4785b3522ede5835eb360fdf7cfebfc2e0c1c0cca60c72e9749cb8cbaee86a4ad5509d29178bf68cb65e59760a3a543460784346ee64aceb32c348613874ae99256163fc208be9417a8dbe389de1388e7ba4c945a8bcedbb97804a8bc9863f613cd39d6cf5dc280bb410e393b9da6ba30e065c17d979a4e563d8eb12c7f668c39aa448af32a87266927694a1f70b28e1a7b88568001bc85dd5c4777b48bc1b1655377a6aed743317527ef273ee7352b8e7b58ca237ca3f9aa1c538a986658ffda8493b1993d201ba1c68a3e856c8ed93f0407c116992aa07b86e89b7b829638e3f86853c1cac3ba25021856be63613aba612ec523b3315c74633c58d7483461cea937bed9da919b728debd144288461b795af50128dfacc5e0e6c4f8430bcbe26c3e4dcb3201a4b000a4c47496fac612ff0219b28b24978175d7c092dd752789ed20feed1cd29e41ba1e99a601ace5f9054c8933ed3c94960906adec66645842bad0b01a7618ae3b48d51d36e4eda101020a635c13ebc4825fe55000a5a6a52c026ab5b7138b6ab00c19d6738b2b8023007e91feb813d38515dfda85a8624858a3529b9bc46d80b3d591b8b0cd31b5bf63ca29b89a180594f8c8227da4844e07d82c20011b718ffb156b5a4bf9971c627032cf7d2a860950f8a1074886762174c6197b7c7876c90d7123d153470177b96f70430c567b3d818337d6a863dc5af805a7921793d28848bf1e5789cf76bbc286a1c2679aa8bb810b90d588487a7372819c11c1c73888f0829cff1bcf2129cff9ba55b4aa5a7ac5e29797c3b3c1a2c73bef50540ec4b8e835c33bedc57665a124435a03ac36ec7711c7648bde7c75cd0f6b8a5eb645d646a0d868ce9f8048e138d30238b71d05e2fb7898632b9d48842882192589272f2176c6f46557baa676d8aa4be981e8d843c751334a38c56023a3fc406c013a08efb719c8a2ab0279abad6154989067c57b5941b11af97b436fe901b1f416c24cc1395f13ea7a02981e091e103234dbc81ec044d526711d94012b23a22f3e90f7e098bf2f4277e306429eab80edc7fe7d10229807d2e05a4c19c51bfe392bb76898f68c3ff629b913639c37253450c8b02ebbd19f0592d101947040e3bd2354a1b0f6d27b4bd099f383b3ea7a554347a1bd082a9dbda9ef5acc3b40a380e769d9f2814cfc74ee9747a0186a6bdc57435d168f3ba0f3b05aa78158719e42be3c581fac8936d3810fe235e63810b0609b85b7590e4d3708b86c2720ab83cc8b811e4383872a9695b5f578a36ad211c46cc1852912a16937f14d54450f322d3425b0ed8a566825bea635bd17bbe72221fa39a292897b99af5126cf5bd8077bb2703b2c7e120077a6b25683223b90727b808da2048732c5f94a4a536a518b7d374a893916b1058bd141162695d38d69ead38a490d48324b406699b8ca263beffa201f48a071bc91613238094c06d99c18c45d77b94b9b343ebc2de50c3039c1aa9534588e083
t = d0f1a25721155a28143a355f99c582c2d258a270b9f78941af004116e94f2f9825af17c50b600705ea1a9c2440df6803518a5ba558acb5b732d06a3c80e555fa374d80d82f08c5b47ca12cbe6520340538c2100b5e094392acacafe1ce4ad74fa451c4379219140103e9c3ba7ba683cddca0d3b02d57104c292b2e25bc791d8b11d5079477d7b0f930176fb0a5cda99afbfb6fca86226cb8152b250a536ca60b6ccf93880007068b41bbc5c6e9b8bd92af8a717e37c69ac7db7e76a2c36eb028c1e098915274b4d59def6c42d3c25bb35310846809c96bc43b639e52a3730654cc8db548faf21e446ca874a3caba777bac25b56902481c79a744d70d12130ad6bc8136349e3234c556267e97b0a8ccf772528299fa26111172c223f2484102917bdb6de7770682698763e5b2038779f812363a727f40949b76b6913c8910d6f51dd48983ba149c070590582662fbc9053b667e1eea1ca7173e421576f2d8ad7bf415899484bd1530b4fc855354952cf28d0f1216dfba00ec100bdd76c4f4b405c913baa78958ae31c578463877138cf89255a3935cfbd1b77dbb5f66b87543131da4aabb6781427f417e841141dcb47fcd82a92aeb3c50030d71eb7f3b17b0207a6cdf654d563a420bb742ac30c0e01235910886ff045652d5035b7ab98a1b6abac88ea5996b965c2d3f3305e075bbca267e8547c6c7769fb9f91e20849b524b7822965fe036a515c60e24636a3665b23b878c5b7658f7c49f2059255c89536426510875cbdca111bdc29183459340c125df30c05a7698490193d88c52410a14a7f12a118495413487b434568d105f2d7b9c0fc32e80a13e142528ca1825e0830cd41071aac7124042145be35e30d541c2ba31a82a5f479b3bad881164aa347386c9bfa505c9968fdea866120c8b4e809bdb1482d790a03fcb1ca88c15aae8047e1678ba66833ca430d592638bf3be19592027b3ccb044a9a4d01f3804c2fe0ca60cc7c017dc14dff60562f20d912650fc24449a78998d2b0ce4d9b131955affe7b5c12278cb5b23847c8090fc0578f71760918e9ee8274673845ca29f8d338fa89637265c518f902a9ba8ad9615764ce9835b322e0b5bb1fe928888318988e435cc3c3a918ccc773371a9687884f0822558ae634a54d7c74556528f2d7cb212f1901a82ae68905330b4550518b7b44c117f335f9c818635a2a29e59b39784b021d88354d707cfe0b3599b54fa4a1218261dc72a00cf2ccef8c6c2fe131899f9a239f545c4605296d7b39beb0832732eb608464df29d193b2f2c3b7c69cbbc2082cda14863071235a75544320c1c7930262f82ac7ba788c6c09586c2420d7385a0a6c50d050910e2956844b558fa78b6cb2969e866a0bcc1b7b980a02669c226b6c9267f6e66995d6b37eedc8e34f516ef48a69a3461f3742cc6268b26a8c158e4bf34c072d4e37a4e273ee3464aea81b57c52ab4d5a1e94a668c9a14612196f6a792646581a8ff545179323aaa8369c21181c1329464099cdf940fa56ce1f204ad4b048d5e783e1948b3493b273b2a33d8c0183e386786c7e7e421b1536610cecb16b7a98641b95693879a7d8bc444931cedaa6c45303aac0a48ac290410855
ek = d0f1a25721155a28143a355f99c582c2d258a270b9f78941af004116e94f2f9825af17c50b600705ea1a9c2440df6803518a5ba558acb5b732d06a3c80e555fa374d80d82f08c5b47ca12cbe6520340538c2100b5e094392acacafe1ce4ad74fa451c4379219140103e9c3ba7ba683cddca0d3b02d57104c292b2e25bc791d8b11d5079477d7b0f930176fb0a5cda99afbfb6fca86226cb8152b250a536ca60b6ccf93880007068b41bbc5c6e9b8bd92af8a717e37c69ac7db7e76a2c36eb028c1e098915274b4d59def6c42d3c25bb35310846809c96bc43b639e52a3730654cc8db548faf21e446ca874a3caba777bac25b56902481c79a744d70d12130ad6bc8136349e3234c556267e97b0a8ccf772528299fa26111172c223f2484102917bdb6de7770682698763e5b2038779f812363a727f40949b76b6913c8910d6f51dd48983ba149c070590582662fbc9053b667e1eea1ca7173e421576f2d8ad7bf415899484bd1530b4fc855354952cf28d0f1216dfba00ec100bdd76c4f4b405c913baa78958ae31c578463877138cf89255a3935cfbd1b77dbb5f66b87543131da4aabb6781427f417e841141dcb47fcd82a92aeb3c50030d71eb7f3b17b0207a6cdf654d563a420bb742ac30c0e01235910886ff045652d5035b7ab98a1b6abac88ea5996b965c2d3f3305e075bbca267e8547c6c7769fb9f91e20849b524b7822965fe036a515c60e24636a3665b23b878c5b7658f7c49f2059255c89536426510875cbdca111bdc29183459340c125df30c05a7698490193d88c52410a14a7f12a118495413487b434568d105f2d7b9c0fc32e80a13e142528ca1825e0830cd41071aac7124042145be35e30d541c2ba31a82a5f479b3bad881164aa347386c9bfa505c9968fdea866120c8b4e809bdb1482d790a03fcb1ca88c15aae8047e1678ba66833ca430d592638bf3be19592027b3ccb044a9a4d01f3804c2fe0ca60cc7c017dc14dff60562f20d912650fc24449a78998d2b0ce4d9b131955affe7b5c12278cb5b23847c8090fc0578f71760918e9ee8274673845ca29f8d338fa89637265c518f902a9ba8ad9615764ce9835b322e0b5bb1fe928888318988e435cc3c3a918ccc773371a9687884f0822558ae634a54d7c74556528f2d7cb212f1901a82ae68905330b4550518b7b44c117f335f9c818635a2a29e59b39784b021d88354d707cfe0b3599b54fa4a1218261dc72a00cf2ccef8c6c2fe131899f9a239f545c4605296d7b39beb0832732eb608464df29d193b2f2c3b7c69cbbc2082cda14863071235a75544320c1c7930262f82ac7ba788c6c09586c2420d7385a0a6c50d050910e2956844b558fa78b6cb2969e866a0bcc1b7b980a02669c226b6c9267f6e66995d6b37eedc8e34f516ef48a69a3461f3742cc6268b26a8c158e4bf34c072d4e37a4e273ee3464aea81b57c52ab4d5a1e94a668c9a14612196f6a792646581a8ff545179323aaa8369c21181c1329464099cdf940fa56ce1f204ad4b048d5e783e1948b3493b273b2a33d8c0183e386786c7e7e421b1536610cecb16b7a98641b95693879a7d8bc444931cedaa6c45303aac0a48ac29041085526ffff11b531b1800f4e1fa75c4d008c4f9a112932c669d543551204405da8b4
dkPKE = d0f1a25721155a28143a355f99c582c2d258a270b9f78941af004116e94f2f9825af17c50b600705ea1a9c2440df6803518a5ba558acb5b732d06a3c80e555fa374d80d82f08c5b47ca12cbe6520340538c2100b5e094392acacafe1ce4ad74fa451c4379219140103e9c3ba7ba683cddca0d3b02d57104c292b2e25bc791d8b11d5079477d7b0f930176fb0a5cda99afbfb6fca86226cb8152b250a536ca60b6ccf93880007068b41bbc5c6e9b8bd92af8a717e37c69ac7db7e76a2c36eb028c1e098915274b4d59def6c42d3c25bb35310846809c96bc43b639e52a3730654cc8db548faf21e446ca874a3caba777bac25b56902481c79a744d70d12130ad6bc8136349e3234c556267e97b0a8ccf772528299fa26111172c223f2484102917bdb6de7770682698763e5b2038779f812363a727f40949b76b6913c8910d6f51dd48983ba149c070590582662fbc9053b667e1eea1ca7173e421576f2d8ad7bf415899484bd1530b4fc855354952cf28d0f1216dfba00ec100bdd76c4f4b405c913baa78958ae31c578463877138cf89255a3935cfbd1b77dbb5f66b87543131da4aabb6781427f417e841141dcb47fcd82a92aeb3c50030d71eb7f3b17b0207a6cdf654d563a420bb742ac30c0e01235910886ff045652d5035b7ab98a1b6abac88ea5996b965c2d3f3305e075bbca267e8547c6c7769fb9f91e20849b524b7822965fe036a515c60e24636a3665b23b878c5b7658f7c49f2059255c89536426510875cbdca111bdc29183459340c125df30c05a7698490193d88c52410a14a7f12a118495413487b434568d105f2d7b9c0fc32e80a13e142528ca1825e0830cd41071aac7124042145be35e30d541c2ba31a82a5f479b3bad881164aa347386c9bfa505c9968fdea866120c8b4e809bdb1482d790a03fcb1ca88c15aae8047e1678ba66833ca430d592638bf3be19592027b3ccb044a9a4d01f3804c2fe0ca60cc7c017dc14dff60562f20d912650fc24449a78998d2b0ce4d9b131955affe7b5c12278cb5b23847c8090fc0578f71760918e9ee8274673845ca29f8d338fa89637265c518f902a9ba8ad9615764ce9835b322e0b5bb1fe928888318988e435cc3c3a918ccc773371a9687884f0822558ae634a54d7c74556528f2d7cb212f1901a82ae68905330b4550518b7b44c117f335f9c818635a2a29e59b39784b021d88354d707cfe0b3599b54fa4a1218261dc72a00cf2ccef8c6c2fe131899f9a239f545c4605296d7b39beb0832732eb608464df29d193b2f2c3b7c69cbbc2082cda14863071235a75544320c1c7930262f82ac7ba788c6c09586c2420d7385a0a6c50d050910e2956844b558fa78b6cb2969e866a0bcc1b7b980a02669c226b6c9267f6e66995d6b37eedc8e34f516ef48a69a3461f3742cc6268b26a8c158e4bf34c072d4e37a4e273ee3464aea81b57c52ab4d5a1e94a668c9a14612196f6a792646581a8ff545179323aaa8369c21181c1329464099cdf940fa56ce1f204ad4b048d5e783e1948b3493b273b2a33d8c0183e386786c7e7e421b1536610cecb16b7a98641b95693879a7d8bc444931cedaa6c45303aac0a48ac29041085526ffff11b531b1800f4e1fa75c4d008c4f9a112932c669d543551204405da8b4
z = d1d49a515250dbceb9f6e3fcc1c7d5306918964b21ddb22207e03e57f0600da8
H(ek) = 704649a5d8034c6224ae18950bd7b979342c03c7499f7bab9cdea742db9e086c
dk = 3261790e9484c6453502778de5faccecc56d94fbbb3d6a039d03ceb70b254f2a201a9192b5992885eb6c9f44b9bb70c584cc4891782e47caa4124cab6db66f6eacb09aec6d6cf5324ed22cfc2a3ca366ad3da0b0b9b0aa1ae7c07c9776c7f2734c28a4a57577378aa2b7fa49e489a8f7a2c80d360e622a3a41180fb1167e56533ff3e3a00365090b8455170896946c7fe95b100cd176bf3c442d6c96e8d4b996a980d671a2406c15a826cab288359cfa2b5a3580f5bb5584b6c8dcbc5024c7149fbc580f081da2eb739a1c560a39b1d1b02b15f730fef1315589455ca13e3409526a5640f3924090586cfd376c21375b77630b7e0aabdc8c811e564c7155158ac14cff898ee621af8c05cfcd2cc41be341215818e6e5a37c167a381ba1c4a65724f64da94ac06e530d260229bb2c61a1d17630aa3b3f4aa4a1db7f740bafbd9aba41490f19b6127dfb651c2032317123662830c6eab9ed4b47037c30a5d4048ea69de1769323a85726766277a82554c00cf3b500f6a9ba070b6e1e010fe667429d5259d027ccaaec559c760ae99b62c014cf76b08c89a72d3e233af5251976e288da3a8fa2820e6ca8ca953ab8f504060fd2c0104558af67c34691c1c4c2878d5904c94390b1639548e206659804a3759a6a7930921a3fc2853d8e90cd94b523fe1a30704030f04b9d4fc919fd22c27966aa53180916009e3f831a47b53f5951087d110c010cb81a415d88c3cb19031e3f30a21496903f59ce75742227b22ca7687ad3b05c0aca42e3747bc5fb1683b796a10bac6a158a745836478829707b70aca820d3a9b6adda8091bc0c44c9bca1f57bae60165940ac87815c1e36a783a88b2b68655d22ccebd1490d4440a00775dd1a68f0d3125c7cb48d8a91db2993542c5541137e817206705bb23a261eb3740d952b1af92181f8a629e156b7a6d703d9225706a5bee26845bd80552df9a620f16b4c1444ed2514ec8c2aed453bedb9805174ada9610c91aca500ccb221c109a56377bfc043fc0410340c0d4a509be7d1252d65af888905ad42bfd9cc0e84b63d82032de9cb1cc1264fb6b65c2304818c566fdb36c47e43b3e43b405f7b8944340f78830901507d145b1818c86d9b003d03e5a33310ca66c44d63b2bdb427cc0dd68fd32176292359ce639c9177454e6a36d7cb808e13a9d309310b455202ec6bcf2891d2590755b92e4f0354e766b049d77b4b5cbd8b332a6d1261cc58a384ebb842d92273202eb7b45570cc42fb039c18b4a1308062d6710601c209f5b425d3a6b8735911fdb6bb26a556595c5e69d66a5fc346552526d8a8a292b3cda869b28fab0b2cb6162e583e8c9c558c4c8c457cb83e67c2f03960011091fdf5a35b88712d3aa5e0d0961242653850acca27be2a8523b0557dc38a3fd90acddb190c813c3e86d50e2dac874f2316c607a3582aacef1c14dee409551a9e02f60e9737c9940799b39932cd645341444414c77f4fa9046ee4020fb68d607b46759615803572502a296c291965b2c92320c663d504e06a0bce3286a854c74a6256e168c0b750805359986493a25f75b5f8923bbbd4b2a30b6e9092ce0a5035939c47e900c4235a447796a426713e1bd269a13493d0f1a25721155a28143a355f99c582c2d258a270b9f78941af004116e94f2f9825af17c50b600705ea1a9c2440df6803518a5ba558acb5b732d06a3c80e555fa374d80d82f08c5b47ca12cbe6520340538c2100b5e094392acacafe1ce4ad74fa451c4379219140103e9c3ba7ba683cddca0d3b02d57104c292b2e25bc791d8b11d5079477d7b0f930176fb0a5cda99afbfb6fca86226cb8152b250a536ca60b6ccf93880007068b41bbc5c6e9b8bd92af8a717e37c69ac7db7e76a2c36eb028c1e098915274b4d59def6c42d3c25bb35310846809c96bc43b639e52a3730654cc8db548faf21e446ca874a3caba777bac25b56902481c79a744d70d12130ad6bc8136349e3234c556267e97b0a8ccf772528299fa26111172c223f2484102917bdb6de7770682698763e5b2038779f812363a727f40949b76b6913c8910d6f51dd48983ba149c070590582662fbc9053b667e1eea1ca7173e421576f2d8ad7bf415899484bd1530b4fc855354952cf28d0f1216dfba00ec100bdd76c4f4b405c913baa78958ae31c578463877138cf89255a3935cfbd1b77dbb5f66b87543131da4aabb6781427f417e841141dcb47fcd82a92aeb3c50030d71eb7f3b17b0207a6cdf654d563a420bb742ac30c0e01235910886ff045652d5035b7ab98a1b6abac88ea5996b965c2d3f3305e075bbca267e8547c6c7769fb9f91e20849b524b7822965fe036a515c60e24636a3665b23b878c5b7658f7c49f2059255c89536426510875cbdca111bdc29183459340c125df30c05a7698490193d88c52410a14a7f12a118495413487b434568d105f2d7b9c0fc32e80a13e142528ca1825e0830cd41071aac7124042145be35e30d541c2ba31a82a5f479b3bad881164aa347386c9bfa505c9968fdea866120c8b4e809bdb1482d790a03fcb1ca88c15aae8047e1678ba66833ca430d592638bf3be19592027b3ccb044a9a4d01f3804c2fe0ca60cc7c017dc14dff60562f20d912650fc24449a78998d2b0ce4d9b131955affe7b5c12278cb5b23847c8090fc0578f71760918e9ee8274673845ca29f8d338fa89637265c518f902a9ba8ad9615764ce9835b322e0b5bb1fe928888318988e435cc3c3a918ccc773371a9687884f0822558ae634a54d7c74556528f2d7cb212f1901a82ae68905330b4550518b7b44c117f335f9c818635a2a29e59b39784b021d88354d707cfe0b3599b54fa4a1218261dc72a00cf2ccef8c6c2fe131899f9a239f545c4605296d7b39beb0832732eb608464df29d193b2f2c3b7c69cbbc2082cda14863071235a75544320c1c7930262f82ac7ba788c6c09586c2420d7385a0a6c50d050910e2956844b558fa78b6cb2969e866a0bcc1b7b980a02669c226b6c9267f6e66995d6b37eedc8e34f516ef48a69a3461f3742cc6268b26a8c158e4bf34c072d4e37a4e273ee3464aea81b57c52ab4d5a1e94a668c9a14612196f6a792646581a8ff545179323aaa8369c21181c1329464099cdf940fa56ce1f204ad4b048d5e783e1948b3493b273b2a33d8c0183e386786c7e7e421b1536610cecb16b7a98641b95693879a7d8bc444931cedaa6c45303aac0a48ac29041085526ffff11b531b1800f4e1fa75c4d008c4f9a112932c669d543551204405da8b4704649a5d8034c6224ae18950bd7b979342c03c7499f7bab9cdea742db9e086cd1d49a515250dbceb9f6e3fcc1c7d5306918964b21ddb22207e03e57f0600da8
m = 3dc27ca0a6594b0e56320457c45a0f76bb8a213ea4a76d442186a0aefadbcdb9
K = 4b4eba37eff0315dc6009dcffb4dfbbb680f8f2ebde8715fa3d6daf70256a2d9
r = c52fc55f9edb30bda71bb983e058bc111b227dc3c853b66caa5fcb7f32e69b57
μ = 810600811668811668000000001068000000000000811668000000811668811668810600000000000000001068001068001068810600001068001068810600001068810600810600811668001068000000810600001068811668000000000000001068810600810600810600001068000000811668000000000000810600000000000000811668810600810600810600000000810600000000811668001068001068810600810600811668811668000000000000001068810600811668810600811668001068811668001068001068001068000000001068810600000000001068000000001068811668811668000000000000810600001068001068811668810600001068001068810600811668001068810600000000810600000000810600810600000000001068000000001068810600000000001068000000000000001068001068001068811668001068001068001068001068811668811668811668001068810600811668810600811668000000811668810600001068811668001068
A^T = 85a5005cd2b383ac6044664968b24f7aab18f9451a8d419e6b9246346b1234098f3295a5e2394647b8c50656aa02757eec3c51c3e791d652c42abc559b725863b0b4bd8a7148d2afb7b51c38970b424680894cc9ef31358923cfee292962c45d974241ed91630526c844c38b19d1331e5820a850bb4df317b0818bc34c1400a45af5ca5c527502bce33cf1486f9b4c886b5279f1bc10b04b49dccc7ff85433e19a2b181a9c6135c0e0db47cb9a628e8065a2f4a8a6207c3ababe7a2419d3f756491265860288be3c6407a6978c8865bff6aa4f119a5234323c491f1fb00d82e70795d371d9bb2b4ad7894ad4c9814a42b86c610966c8a6022a96c541593bce64827a65fa9df219a2510cc69a83861042c0eae2ca41b63057d8b364273bd32a16099caef20c733643c3da2a81749c9f7dd019869a8fc8715828104333c01ddf062fdc54c45e574afa049302d273df99c54614c202e75ab207a9cd783d44d029fe729e03c115e3a7cdbd3c561edc4f91e106eb696a4c22b367374b5bf50e3eda8b63b3040db68ae9da02201733fcf6a724fc9ba037404b2b9888a865fa81757412b79f14473c106dc9909d2083c79b50c48dc3c8b0e331ddd7996e447e93c96aa175b74c484ac3b3cbd3301823c890f78727540830eff042f17534153a0e7ec6569ea9065c2b89934ac0d5402eb3baa0c667351b8058dca7625511c4753c0a30f33d79643b13663661a2588ac16652924835cac6ece1bbfa111895010959333bd9cc8b44b6cba956c2b980918f5906d2137dd0b04a5f770226c5a37eb9b004eb03a18b1f6556732dd300e0b20612c3b9e29a62b6b2bfcd153e3b928bd158396768a998671e7b2715498b8c538946fcfb84500b57c69ca2ea76afb0652cb4d9082a288984ac7e5493ac9e78c289d78816d3c882ab679cec9ad37cb42d24b182668d355b39ea428f81bc2ecee397d6f04ff74b89e2e4360c420d8868685122178f420d11400f1b0163f286a4605c0d3499b8e21909eff8ba6cf6c4e3780353d2252b8b2d40b1b26b2c7cb1e33e94db35a8db85773916b4459428d6bfa3707c2e079abfa5a6fbf251df37cc8ef0b8ce04913739a3f681341809a0aee971b90201d0d9cb387011aaeb4960826964e2bc3562ad894c597caa5d26a6a804059fb7c9824d4b0f5c91181309797dd65c9ceb3845a98eb5ba224be121d2e0b12a86a83880355de16f9d585c0d655d899a8f3261afa2c478ff62749707829c9849f0f38cc40629efe7570ad1566b8a0d4e062e727c4398b241e638ba04d05384aba8a290b2a1115c9c5205e0d78b9bc38f72f11b06871a7e79746752998990aa59639992dcc07064134551584a823d7cab532578ca6b0aa167441dcb5653dd495d6d9b9587a64560f2c2bcb40427c10199c0043d734e4e7a837cf504d58793053b4290647502120ad74215a295946b7acce421be4d451fa8ca1d2ab2a3bd1542493686ced9c6a5e577d23b8d39c4bf40f27020c06158ebc01eb9934740c5956a1343f440b03ba287395964b674cd707af0085019c8c1c7843f630ab0d2b067c4548a6103946a55c1f80473f932a5f0dca3d9cb80bca99d51361fb6b38a1ea0abbed286447262e51127e38293dcd01397e236eadb3775c0114d2165f7d32d5043a283c58afbd358b335bb02a3abef72cf0e201e1c7cae95f7071a85b94b0b243f469d8b392318e85f018a96f75429657944b5c08b316153bacbcf52892a24e06ae01818d2c658d16b923f8a73831017b5d0ca6c91904e8b918cdb54957c2924fc9b3876cda87c3e0823290733717b8a98a9d9a85807a96a7a177e8c621f134b8440613ea936479b2a761ca47f522965fc136752447b06877007587b24a33c16af24a011e4b76a2112707399340a07c2f6b34f2a813929fcc06d75cf180a39c4898bf1b586f006986b8583e1790aeb0786d62381635c1e84d033b7b9aef43a4ff16a45bdb78073e832060a4720fa35048027fed98f1ba597a4d033d706312f92c7552a218b5a0af67847f3a83b9e1325ba522a57843686ac1e24849c41737d368bb9cd3622ec27a7e1432f81b37d44601e84f8b0736a4b22c243d5d3a78bb243445711076023c2b607932197b230892e900ced651f1b85b8bc836c14ea3b88a1c5154a8875b903ae30012553ab5f10cbce648ae2966a4b125a5cdbacba165021a235b7ba8d655325adb92182b80df1b7259d821e9bd53f33baa30796b91b929401f1125044bf28b0ce510801b8b8a0f1a983e037cd8c712b4c971a6d05161d8b03cb362fc7640bdd14aa13dc218eb97db5f0cf3d56b99192c9ffacc5e271a8e7950202e7886d0a9e1c0c7aabfc2c0342a1d712b78f624e487a5173329a48298ce6292f0216bdf3317d2e2aca6fc6c8cda658fe67605ae36adf1a8c65da46e10c4b8f518cd08c9be4b269fd8c973f54bc3af1517c787dda30960e399d14fa247b6acaba19b609936c947b9278b7575c115ee7f91de7b30f18b94f3893b1cbf69c320b2f5f777438718738eb71b123a747500fe2483ee2517b7bc54184d6cbf286b30ff2865416542366ceb165891b7c21dcc102a487530440a2449b11d6817250020a658a717a69a388229984b65927c7caaba3b9f59917df489d95652e55a0c7f96a8c576acf1b8acb29d51969924bf1a4052efcba804b833a898e280868094c1b43b661b759242390ba1c10292dc4800e236cbc5ba64baa24d46cc7acf61bb5bc054f845d84921546b02c12e0c7a355cad8c74bfaca69a83caf69a4a8fc6b12d9ccc9cde8c11a7a73ae0a3b4540a1573723b3576b2728c5a1b3a26ab4b7dc20a3c6895fdbb97172441f3ea67313d759c1aa3a16a445babc116833197a7002e8f68c8d38b955690d4d87242e45a4b5a30970c5aa14a6cf8eb997d41c4513a472e42a27d52652d0d26c43c85fd35a80ed7a51e8c1b5a7d9a781f4079628aa39bacbe9885168c20b262a77379a66f3d96a5fd902c8ac84b211bd3c226a5197330ea0a55b9c7123f63fcd7516d3b559eaeab3e3ba54219bcdd205c051118bf3180049639b8b062bfa6345a51ccef4f8547b40cfe10375e69392ddf5bfaa59277bd25a75fb3750a42ec47a5f62168c78f2996fa9407f578674bb95b88504eb401541ac5fd3c424313b99d38b113664b9caa67abc06329a6c6a8a89ba04ccc347344983ec9f98d5a930a96ec0d15008810afdf576e068096634b025d46cb478b75c00058370a70eb4687bd902438666c28c3717cbc9001d2b0a8263eac97db0858ecabc8a6732ae64378178a8baa954a9a1daca6ff930f51701aec28b8a9a502b3c68a0a52f30024ffbe929698a86e6758dd646afd98156825a793607b2ebdc29aef8290fa89503971556d63a665c7a3ea50af10791a2032d45eba531b2b41f675ab5a7c012610f3e94cf25d20a5f9950ae088b79192583e6bea1f073c2c7ca3b0aa5c7d8a8a7c905fc913129578a55e0217a6233e414c441d460a834bc5f85437f4b73d983927693665796090231813eb26365eb9237dcac2909a3d92c4888976eb8e684cb807d15e13f0a20c3d48c042544b06ee522d9c02baa6a295cf061c5e4819ae98ea999719d54844618921db3c9d69760401154818112e909a503c17f548323bd14bad132b60e02ad286113c9c3a75fe6b8eeba67092546752b99df66150685a7d6a24f9deb1c87a355c5860d86b6900e7b56e4db9bdbbc56655332b8a8b6eb789314117dcf91acb434720c14a5bf1c856e8a9ef70a095167b5d442479a8c7ee94278bc9147b512352471b350d67ee11cc9ae03419f477e090632ae50b7285b331f820816c01c0ba06249fb894f421909c12cf9555c96860471e32ed5b9306c99a5d1043dc83b730a58878e31146806a2ebb7cf666a519a3140af80107659a71b6108a1231e38e667dddb281b399dc3db72ebc3aa99073c778188b8f6243c5186ed7ca98f56b6730b63ba90a660e22ba9a7399d940b956a3955b456a84b3d269260c7702c12d1cfb008ba3250a06e04599da007a4d862da67251158b8a11484159b0b08138635e7691ab97d14e124af645a8a020c19a916fa4b3f5ec9ca4dc15772158ccbe416b3a1a5346b22c42c2901781f6cb9536241590c21b82ce31406257c4a7cab9fa988a3fc8fce8553a3889782c817a7125ab069c77ba586034ccf3bf702ba0103d7da1558b1b812f34aa9c88f12c63c81c72f45567a8279c74078a5337b67226586d79c5de2252690841e6d24c7cb86c20e5945f2550cae40a2ef112f0ed47b09f9cf5c139fb8ca9c41e54e0240cd6285c2e6826857aa523ba7cfd5304556b9367051a225884a6dda99e995b9e987167706aaee9896ca0612d89243ad208c91a237ff9414b6803a7a3b08d70717974c3262e45a4f3a501d442571e095db9ab536382d212520abc7110501560592b4e6480730d0027dc1143aa3c517710b301b871fd3ba9f159eae036d95b62895d9774c9176844399da0a870b0b5c476c9921816d7573bf75a632f6f82aed27657ae18126ca646fa2a112602ea0e34bdb6092adea950ae3b610977639896e264396d87813af70a045b46040c3294d93415ab576d1316bfa6c2fe125ca886cb6177c9244823053b25bc13ac567b409c4273b96a9c375231f301486d70509a9d60e31982c052b34a9f3c381c0c615717f1460bbfc96856b60c143cc63e0c9c892e3c511ea09faa770fc028199c5528bc0761a3a34b1f82a9744a8f907652ce628683441ab5cb6c31947f2fc7378504ab630a4c85907c0030e33152bdb15c05944a99b170ae1f3615611c3793568340a740f537604bcae3a01cd3218674bd8a62dbcc35e6137ed4850d6355667c47a3bc255fef61a
r = 000d00010000001000010000000dd0000d00000000000000001d00000d00000000011000020000000dd00200000000d001f0cf0000d0000d00000d00002d00001000000dd00000d00000d001000000f0cf0000d0011000000000000000ff1c00001d000010000100d00000000100000000000100d0011000000d000000000200d000000002f0cf000dd0011000001d0000000000200001100000000000fdcf000dd0010000000d00001000fffccf00f0cf001000000dd0000000010000010000010000000d00000000000d00000dd00000000000d000fdcf001d000000000000000100000100d001000000fdcf01f0cf001d00000000001000000dd000f0cf001d00001000010000011000000d00001000001d00020000000d0000fdcf0010000100000100d0ff0cd0001000000d000000d0000d0000000000fdcf001d00001000001000001d000000000100d0001000000d0000fdcf001000002000002000020000000000011000000d00000dd00110000000d0000d00001d00010000010000000dd0001d0001100001000000f0cf0210000100d00100d00000d0001000000dd0002000001d00001d00022000000dd0001d00000d000100d00000d0000dd0000000011000000dd0020000001000ff0c000000d00000d000f0cf0000000000d00000d00100000200d0000d00ff1c00001000000000000000000d00000000000dd00000d00000d0000dd0000000000dd0012000001d000100d0000d000000d0000000000dd00000d00110000100000000d000000000fdcf000d000200000110000110000210000100d0001000011000001d00000dd0001000000000000d000000000100d00110000100d00000d0000dd0011000020000000000000dd00000d00100d0011000ff0c00002000010000010000010000000dd0021000002000000000000d00011000022000000d000100d0000000ff1c00000000010000001d00000dd0012000000dd0010000001d00000dd00000d00000d0000d00021000ff1c0000f0cf00fdcf0000d00010000000000110000010000120000110000200d0000d000000d00000d0010000011000010000001d00011000012000011000001d0001000000000000f0cf000000ff0c00000d000100000110000000000100d0000000000d00010000000d000100000100d0011000011000012000000000000d00ff1c000220000000d000fdcf000dd0ff0cd00010000120000000d0000dd00100d00000d00000d00210000000000000d0000000001d00000d0001100000100000f0cf011000000d00000d00000d000000d0001d00000d0000100001f0cf0010000010000000d0fffccf020000000000000d000100d0001d00002000000000000d000000000000000100000200d0000000001d0000f0cf0100d00100d0010000012000011000ff0c0000000000fdcf00fdcf0000000000d0020000ff1c000000d0000000001d00000d000100d000100000f0cf000d00000d00000d000100d001200001000000fdcf012000000000001d0000000000100000fdcf02000002100000200000f0cf001000000000ff2c00000d0001200000f0cf0000000000d000100000fdcf
NTT(r) = 04f9ca89c561434b8b211a27d12154a6a154d5e2b684a6b3f63c7e2e9553051261653ba2c6e1ad0dbb1e41a12ca3c0966d2c1881e6bfd9677c009b3e42533573696f12c463da7867fed5a6b391bb59493747350193737981d22b3f27c386564a44ba1dba4174978004bcc3489f198757121dce3779f24550bd32211dc2a3b778af87075df0a1889ab60b334b02bfa10b656513791ac4d67a8cf7181f17195586e33f662832bb58795741170f244dd3907713239beee1b271a3a7c1f60df44757b2f4cd212369e8d8b4bf5a268d0c49e01b2ea2f9462139b9adb030d4718961847348295a87c9c6a5a1b55af7767094b37cca7dc377148ad037ebfb3b91ba34be800680c7b69b9a6d4bc73d6256b9c170692cf58f834c213096758012219354bb048c0799819d8eeb44e1a20165a128c10699550088ce416e88a2ba7b440a6295c89aba9f54d65cdad373c9440e520622f38781ab0658a1abcf698b447e9a3cbcdbcef583183e94230abb1141da2a15818c91bb6b97bc073f8228010b24008051257a762bc1747a49960fb82922c097256bbc1851002740b8bc2a08f0ac99a08ccd8a3c168f54148a32a3ecab1e178741042199baf4265b797aa6f68b16f1313c94679c91a6ff703199981c620ca47dd8cbd407924a071c0ad2bdc0dc5aa2c2c937243a7aaaa127589151593223a9316d959b2d5cbd67eb420d7855cc6987e55c40260a6ff444a2ccc415fd624c28aa52215449b1267559dc57d1114cd8da9fe589adbc76027d6bafaa8caa2e2b463f299adcbb5192aca10d9879680146038b67226a9608b8a74d870a809755f7114780d668dbc4a7e4006138068051199370e788842ac006325ac61761d65349da2130fbe59cd0214f21541d986a6e9d984416294fbc461c4a873e1d02c81a259fd600667bc8593056a9d04c6b10c3177d302d6380318ff408e01404286a9684d8aaa8595079a2c749ec4906bb739a7a6a03616eab0b390efca37c79516f59cddef05f11ca1f12478942e0455e53211b5bc5d7c62e63f709f749aefef8008458425225bb8a1320ebccb69229c1e3a5b470166d1b11cd92747e698b3e2df96272c2cc37d66e34731cfc957a054b7361020328c929acb81a4fd029d7b380a39ba65cc73e95a63e755246b1862e41f3c12bfa09df36be0ad6bc442857ae234823bc28da432f3fc63e4cb1ab0633026040b0718242f7e2c109e4adf07270a5f91dcaf77030132e87d22167943fea568b74179798c358d6c1bf68b12be9949058d9c786462eef1293e1e53ae0a1c14fc71e7aa54ff68330c733c4d9215c41293d8925b639f16e93985d0d3264578b41de624cdfe234750005f6458da266490599385083af91b954f4e28a15e2023615803414b6c2fa6e845067ee706e00208c20d4b8b38cc13cc07cfdf1be12bab1846243fb1a6db7a60bc9235b29984b66e499c71a9098c353c6f49e2dba8e5c3810e50b12cf8a4111d1b4e3da0c9ad163010ccaebfaba28bc86f476a2960511b7fa24e4977a83b59930d51bcaa964a6888f2d2655c53ca05a40a5fcfb2f4735934e15ad21c4549d539d9b8c5a57b410822b7603a498b6510d61507394e0264f4a56624ca0202c37
e1 = 02000000000001f0cf0100000000d000f0cf000d00001000011000000000002d000110000000d001000000100001000000100001f0cf02000000000000f0cf002d000000d0ff0c000100d002100000f0cf010000001d000200d00000000120000100d0010000000d00020000000000010000001000000000001000020000021000000d00001d00ff1c00021000ff0cd0000000ff0cd00010000010000110000100000010000010000100000010000100d0020000ff1c0000fdcf01100001100000f0cf0000d0010000ff0cd0020000fffccf01000000200000fdcf0000000000000010000000000000d0011000002000010000001d000000d0020000001d000000d0020000001d000100000100d000f0cf001d000100000000000000d00000d0000dd0001d00011000000dd000fdcf0000d00100d0010000ff0cd00100d0002000000000000000011000ff1c0001000000000002100000fdcf010000000000001d000010000000d0ff0c000000d00100d001100002f0cf0010000000000100d0000dd0021000000000000d0000000000200000f0cf0200000000000100000100d00000d0ff0c00000d000000d001f0cf0100d0010000000d0000200001100000fdcf00100000f0cf0000d0000dd00010000100d0000dd0010000000d00012000000d000110000000d0000d000100d0000d0001100001f0cf010000000d000100000200d000f0cf022000ff1c00001000011000ff1c00000000002d000000d00100d00000d0000d00011000000dd0ff1c00010000000dd001100001f0cf0110000110000200d00000000010000000d0001000001d00000000011000000000000d0001200001f0cf000d00001000000dd0000d00001d0000f0cf0210000000d00100000100d0010000000dd0010000000d000000000000d00210000000d0000dd0000d000000000020000100000000d0020000ff1c00002d00010000002000fffccffffccf0000d0000dd0001d00001000002d000110000100000200d00000d0002d00000000000dd0001000002d0000f0cf0000d0010000ff0cd00000d0000000001d00000000000dd001100000fdcf020000000000000dd0000d00002000000000010000000d000000d0010000020000000d000100d0000dd00100d0000d00001000002000ff0c000100000100d00100d00000d0ff2c0000fdcf0020000000d0021000011000000d00000d000000000200d00200d0022000000dd0000000000d00000dd0012000011000000dd00000d0000000020000001000000d000010000200000110000100d001000000100000f0cf010000010000000dd00000d0000000ff1c000200d00110000000000010000000d0010000020000011000001d000100d000fdcf001d00ff0c00ff1c00012000000dd00000d0002d00000d00000d000100d00110000000d000000000f0cf0000d0002d00000000001d000100d0001d000100d0000000000000011000000000020000000d000000000100000100000100000100d0001000001d00ff0cd0ff1c00ff1c000000d0000dd00110000100d0010000ff0cd0000dd00000000100d0fffccf002d00011000000dd00000d0000000
e2 = 00100000f0cf0110000020000200d0000d000000000000d00110000000d0000d00002d0002200000100000fdcf0100000100000100000200d0000d00000dd0ff1c00000000011000000d000100000000d0000d00000d00ff1c00020000000dd0000000010000002d00010000000d00ff1c00000d000010000200000020000010000000d0fffccf000d00000d0000f0cf001000000d00ff0cd00000000110000100d0000d000000d0021000ff0cd00000d00010000110000020000100d0000d00000d00001d000000d0ff0c000110000000d000000000000000f0cf000dd0ff0cd000000001000001000001000001100001000000100001000001100002200000000001100001000001f0cf0000d0000dd0000d000010000000d0000000000000000d000200d001000002f0cf000000000d000000d0ff0c00010000000dd000000000f0cf0010000100d0000dd0000dd00110000100000100d0000d00000000000d000000d0020000011000000000011000ff0cd00000d0000dd0020000001000
u = f91b3da8215463536106bb8018f637ab5b27be306bb9dbabe521b580f90f88f714fd2a734b1629e5eb407f9c627f842f7fb99bdd05332fa5132b94436a721b3a37b03dc647cab4b65f778c5a93908c3346124200f2a76f3e3c2ebfe98def49cb54f65ab0d6a29cb0301510a9cf285b7487a30ba0ceee3c00f8ca9bc2761ca1f31ec22625b8060ba0647227165804169082dcb11cb6a8fc223e18ba0b68d4a725711e6078afb5462c1a9b4fcfe27813040a7341b3cdc3c2b8cabed5ba91db02000cba01294950ba231c6808011d1a707357028355723c851468c1c60312af4b5c6a9b5707798431fe10a2db837841d4985118902fec43f05b2c216c9688e43a3bab712cb01fe9a0121418ce2b9523711513b605a197ab5a5c9a6791433c4cca723191c6ff7377c94613c0d4859a347758199366764c9e29327d67c17cd93b636309e7e07a6040076a3494650602cd90364cd1bf344a0bb11bb43ca18a63a096822a4562033577914b40da012ed28055b36091007ed5595b56e52f09711cec196855a371e9532f91a0b877553fccb32212b77d13086ebd6b6bac89a9b77b7938d414a65774f54b8ce5a127244469f5bc4e4a33ba1d977071214ed8926467b870c927555b92276c139c648494263785902965e5a14894440e68f6977ad290cb43022941bbd9724da3c7baa0606d753475dc401147357f57d36430f1135caa42e02798674028b44abbd6226353ba5181782c6d16cbd5f73f48f0c2cfc305ec88263bf3919f388e39c2002c75accb724355852ac4367feb5c2cda7485e2750a4fa82dc66b37062c64ac5b2ddcfa4ae145c3a818b057b0c6f2c25a8430bb52aa94e97549c8649763c415a4497f84104e85eb2bbd19bbc242b7990a2136a6b5e2447705fa9f147c4653e34055cbce33562c6846afaa407680567b42c31451e00fce1146c2fc37132b32f7535767a413c05b54a5a941a741c3fc8315bd64b464201967c614950c097eb62652b215d007cb73212b783bce283c70056bba059267dff5cf64cb791c5b6750c90f53f4ade7a575c8b949c99b813c373992e8909d0400d46a9a982a1442e11b0f783f7091a3cc02a99fac84f03781378211189bc4ee1604f2c50f793c8d685c623a97c151f35e08c2152a5bb72c130d93a08364360e4af39690f63401d60bfaf9aed803a2bdb4c54ad4ba18267972874f8a854453d38ed40a6bf06b3c9e22b325e1552c69b1ab4c1977679f6565873f3925d557a6aa321e29b404b7710c0e960d2ab240e367b9ae197b5c624957a2379406689a785080972ef6128d122c9f88d13cb5b5ce4e5361482a51bda989d383577557c0d4242d4613c2a8247e616c2757039c1169261bb5b63487134ed87f88d2c6dea4687173c6e1799fa2f16bed29cd816b2a229c6c743a8c20b68b18c67fc5dcc76a457376f150103a8b213634e50c5a0c202da20310cc116cb705b0b963785b28a63e376107f5358abbc807c5c02de89537d5236b71230c507e013ab774f088f3a1b2c9c220a6133537da6de4389f49072731076e63253794f903674a8d35504d492371630769f609733fb7b1e5ba7eed2318bdc3811cf3121f905420eb47c3a68888e06880329d
u[0] = {3065, 977, 424, 1346, 867, 1557, 2822, 2059, 1560, 895, 2987, 629, 190, 1715, 3001, 2749, 485, 2898, 2432, 255, 1928, 335, 2813, 1842, 1611, 657, 3045, 1038, 3199, 1577, 1151, 760, 2431, 2491, 1501, 816, 1327, 314, 1067, 1081, 618, 439, 1850, 2819, 1597, 1148, 1226, 2923, 1887, 2247, 858, 2313, 908, 1123, 530, 4, 2034, 1786, 3134, 739, 2495, 2270, 2543, 3252, 1620, 1455, 1712, 2605, 156, 779, 21, 2705, 2255, 1458, 1908, 2616, 11, 3306, 3310, 3, 2808, 2492, 1730, 455, 929, 495, 1730, 594, 1720, 176, 1184, 1830, 1575, 1409, 1540, 2305, 3202, 2845, 1564, 2699, 764, 994, 2584, 187, 1128, 2685, 293, 487, 2144, 2807, 1717, 708, 2842, 1273, 719, 1934, 1043, 160, 371, 2868, 973, 3116, 2744, 3052, 2773, 2331, 731, 0, 2572, 27, 2345, 1284, 954, 450, 2152, 16, 2589, 1793, 1907, 37, 1411, 1829, 1340, 328, 360, 3180, 515, 2801, 3147, 1701, 1947, 117, 1145, 792, 254, 2593, 987, 1928, 1089, 2445, 2129, 2305, 3119, 1086, 3056, 709, 3105, 2406, 1160, 942, 2875, 1818, 44, 507, 233, 298, 2068, 3297, 1323, 569, 1393, 305, 1462, 2576, 2967, 1450, 2652, 1657, 913, 964, 2636, 1836, 305, 3177, 1023, 1911, 1737, 308, 1216, 2141, 1178, 1907, 2392, 2353, 1638, 1223, 2462, 802, 1917, 3094, 2428, 957, 867, 150, 231, 1966, 96, 116, 1130, 2371, 1637, 32, 205, 873, 332, 3069, 2612, 180, 2993, 2881, 316, 2218, 99, 2410, 2690, 1106, 866, 848, 375, 1209, 2624, 29, 558, 2061, 853, 1547, 145, 2016, 2517, 1461, 1366, 766, 265, 455, 2540, 1665}
compress(u[0]) = {943, 301, 130, 414, 267, 479, 868, 633, 480, 275, 919, 193, 58, 528, 923, 846, 149, 891, 748, 78, 593, 103, 865, 567, 496, 202, 937, 319, 984, 485, 354, 234, 748, 766, 462, 251, 408, 97, 328, 333, 190, 135, 569, 867, 491, 353, 377, 899, 580, 691, 264, 711, 279, 345, 163, 1, 626, 549, 964, 227, 767, 698, 782, 1000, 498, 448, 527, 801, 48, 240, 6, 832, 694, 448, 587, 805, 3, 1017, 1018, 1, 864, 767, 532, 140, 286, 152, 532, 183, 529, 54, 364, 563, 484, 433, 474, 709, 985, 875, 481, 830, 235, 306, 795, 58, 347, 826, 90, 150, 659, 863, 528, 218, 874, 392, 221, 595, 321, 49, 114, 882, 299, 958, 844, 939, 853, 717, 225, 0, 791, 8, 721, 395, 293, 138, 662, 5, 796, 552, 587, 11, 434, 563, 412, 101, 111, 978, 158, 862, 968, 523, 599, 36, 352, 244, 78, 798, 304, 593, 335, 752, 655, 709, 959, 334, 940, 218, 955, 740, 357, 290, 884, 559, 14, 156, 72, 92, 636, 1014, 407, 175, 428, 94, 450, 792, 913, 446, 816, 510, 281, 297, 811, 565, 94, 977, 315, 588, 534, 95, 374, 659, 362, 587, 736, 724, 504, 376, 757, 247, 590, 952, 747, 294, 267, 46, 71, 605, 30, 36, 348, 729, 504, 10, 63, 269, 102, 944, 803, 55, 921, 886, 97, 682, 30, 741, 827, 340, 266, 261, 115, 372, 807, 9, 172, 634, 262, 476, 45, 620, 774, 449, 420, 236, 82, 140, 781, 512}
c1 = afb72488670b7d47769ee04d7479303a40b8b9d395eccdae13519e11f68df02993fa4fd89727963aecfaebdc3e9885815453be1c92e3d8eb8595d7e044ce8ad0b11765354a00729648fc38ffeaea30faf201f760c830c06300d0b602b764c903e4af7f0060ff4b21231e6142e12d11dac0d68ce4c5a65db1d9af1d9ecfebc8b4b10e5be9ac8525937e0da1366a23d6cd9441c52087dc2bf9cef4ea55371b0e00172310ed6225296269011ca3b8e402b2cdc859196f48ef89d7c82f78250960d1e384c73045f914bc8f16fbbb53ac6bb33bb9658944f78b0e708204177cda7fd92bac79211cc691fb06b37f19a5b4728d5e44bf1393167e61d7a46a2d092eb5f8e155ef3d4ee2beae490bb97044971e90c055b6f829f0434366c03ef20d99db1d86aa1e94bb33550a1534075d2727c08a9e0671d7029b0607471a3b5230d2308006bd48533a2d34ee1a4e2badd2e29a7c76c83984fa0aadb9954c99a1258faecb5ac9304619c8ff6003510ea38a720006ce7b96ae58e668b90cd310c05a6d3be3a3f1ca5749596919811fbbc324bbd2025b680e4e5f595e1e83865f05494415a0c979107c5e880133526cb60b82314b6bfe0d7a2d4be6e936fa9d9fe64e16fcce1207bff6e28fb3a7f2fa0a019745cd0d53a44553a19cf96be357a4cfcde068389f47347b7b977f73755ccf05afead81b488fce6f2964def2b6d1a59557ba59ad71af9c2900b63836ff669e8de1438b929edf802d59f1c4b76f65d04f7ceb8f9e36f87d4d8391007e1990191938e14856ed4f84f63d38b9b655189d7f76ef508204af931a75e1fd011ff899f13d0bfff972cb1a679e2f073587dfdf3b8a6457fe897fcefd1ff8956bf3d7ad1355611ddd9002af05ba9f3a66346ab26b015035be428f3146227be21447c9dc002d7ea371f2e98a156a1f2f2205d43961fdadd1939763ee054d07ca1a6f1bae0f102d207a9f11039d5b6041d9e92071d72f755c57f3525d0e1e954a1e465b5406fd5af583aca7e48cdc5a9c266ddae6f3c124c4a9698aed2d69ce2c4d25485d70480fdd0da18a4f6d42aeaf97baa4858b440602582a634f96938eadb63f9cc74ac1e54fd0772a3ff66fa92dbdb6a4ec7c7923d0ee6fb5f9bc300701ac6c2f920d7e23188ed6798cf47f0df850f40a471cc8840ecbaf7834bb5b78b3ace2bd0a5e9dee5fafda8d73388671abe30574ff6e0478e3d1138d50289cd8254129a9cc3a7ac758428d73cf58ed848abb192c70b842809b141b4e82a899bcbd4d281f15443287bc3eec2330367688da43f24e30f3ad10f435508b461608b18d3baead359c35dd61d29ff574a100686c8b4521a82a10588cc1
v = {2446, 190, 239, 1807, 3181, 3106, 1567, 142, 2474, 2283, 393, 3127, 2371, 37, 2459, 1292, 2590, 312, 3172, 2780, 560, 2552, 590, 507, 46, 2245, 3118, 1859, 683, 610, 3, 2730, 1832, 3240, 339, 1375, 3326, 2321, 872, 2076, 1438, 840, 2768, 2610, 389, 2755, 190, 2044, 1800, 2608, 2546, 948, 392, 544, 3174, 3001, 2511, 2522, 2707, 1879, 1165, 336, 915, 480, 3315, 331, 2154, 73, 566, 2157, 27, 2278, 1858, 792, 707, 3113, 514, 1687, 1635, 2825, 1926, 2173, 1470, 1650, 1558, 2137, 3137, 1348, 2218, 2105, 2320, 948, 2603, 2610, 3302, 1672, 1800, 1768, 1607, 1580, 1526, 1993, 1076, 2419, 489, 1982, 2535, 2646, 606, 1809, 3116, 1789, 2374, 489, 919, 716, 2272, 3160, 1377, 2158, 2380, 2664, 126, 1486, 810, 1739, 2221, 1605, 2507, 221, 2077, 2096, 2039, 1174, 18, 403, 458, 764, 3195, 729, 172, 403, 1187, 654, 2405, 2389, 2750, 1095, 3216, 3275, 2525, 1571, 846, 3252, 581, 1238, 3047, 1797, 1574, 2452, 1741, 242, 2813, 2587, 2053, 424, 1825, 2615, 2208, 929, 2556, 3130, 1377, 59, 1592, 315, 235, 1882, 1033, 760, 1204, 306, 984, 1410, 1318, 2556, 1292, 1104, 2583, 1319, 1230, 2615, 1561, 1254, 1162, 2284, 2865, 2089, 2953, 969, 3102, 3195, 252, 1494, 156, 2063, 3127, 3223, 2897, 1081, 3045, 2592, 1420, 1107, 1790, 1224, 1374, 1589, 2422, 74, 1570, 146, 2320, 477, 110, 638, 3241, 2576, 1404, 3214, 2962, 1793, 311, 638, 3318, 2844, 907, 877, 2825, 2879, 1415, 2519, 1914, 3144, 2887, 3062, 2027, 2922, 297, 828, 2890, 1302, 133, 855, 2363, 3228} = 8ee90beff0706d2cc21fe608aab98e8971c34359029bc9501e8a1364ccad30829f4eb21f2e508c2e3c74ab222603a0aa2887ca53f155fe1c9168c3819e8534d02aa38531acbec07f0807a3f2493b880122669cbbcfa99d937a758d041593031ef3bc146a980436d2861b608e428731c392c20272696396b086d787be2567169685414c54aa988310493b2b2aa3e68c6808876e47c662f6957c343497e9e17be769a55e12712cdc6f46991e97c32ce088c561e5864c89a67ee05c2ab36cad5864cbd90d1d0883f76749123019cac12f7b9c2dac3019a3e428655995be7a4490bcccdd39624e43cb45624de75b70264699cd260ffdbaa105881a2177a3a0183afca9c361b50338b613eba07509842fb42413d8235826c59f0c0545177a52ce74a319664e8ac48e319b82899b3c1ebcc7fc605d9cf080377cc9519b43e50ba28c3545fe864c5e556376a90422260910d91d6ee027a90ca17ce5c8921b7037e127f6ccb18bd33609fbb387759d7a87c4476bbfeba7b629c1334a6b518570353bc9c9
compress(v) = {12, 1, 1, 9, 15, 15, 8, 1, 12, 11, 2, 15, 11, 0, 12, 6, 12, 1, 15, 13, 3, 12, 3, 2, 0, 11, 15, 9, 3, 3, 0, 13, 9, 0, 2, 7, 0, 11, 4, 10, 7, 4, 13, 13, 2, 13, 1, 10, 9, 13, 12, 5, 2, 3, 15, 14, 12, 12, 13, 9, 6, 2, 4, 2, 0, 2, 10, 0, 3, 10, 0, 11, 9, 4, 3, 15, 2, 8, 8, 14, 9, 10, 7, 8, 7, 10, 15, 6, 11, 10, 11, 5, 13, 13, 0, 8, 9, 8, 8, 8, 7, 10, 5, 12, 2, 10, 12, 13, 3, 9, 15, 9, 11, 2, 4, 3, 11, 15, 7, 10, 11, 13, 1, 7, 4, 8, 11, 8, 12, 1, 10, 10, 10, 6, 0, 2, 2, 4, 15, 4, 1, 2, 6, 3, 12, 11, 13, 5, 15, 0, 12, 8, 4, 0, 3, 6, 15, 9, 8, 12, 8, 1, 14, 12, 10, 2, 9, 13, 11, 4, 12, 15, 7, 0, 8, 2, 1, 9, 5, 4, 6, 1, 5, 7, 6, 12, 6, 5, 12, 6, 6, 13, 8, 6, 6, 11, 14, 10, 14, 5, 15, 15, 1, 7, 1, 10, 15, 15, 14, 5, 15, 12, 7, 5, 9, 6, 7, 8, 12, 0, 8, 1, 11, 2, 1, 3, 0, 12, 7, 15, 14, 9, 1, 3, 0, 14, 4, 4, 14, 14, 7, 12, 9, 15, 14, 15, 10, 14, 1, 4, 14, 6, 1, 4, 11, 0}
c2 = 1c91ff18bcf20b6c1cdfc323b09f33d00972b0a447ddd2a1d95c32efcc9d2624200aa3b049f382e8a987a76fab5bdd808988a7c5a2dc939f2b34fba7db71848b1caa6a20424f2136bc5d0f8c04639fc818ce2ad94bfc072891451675c6566cd668b6ae5eff71a1ff5ecf5769870c182b31c0f79e31e044eec7f9feea416e410b
c = afb72488670b7d47769ee04d7479303a40b8b9d395eccdae13519e11f68df02993fa4fd89727963aecfaebdc3e9885815453be1c92e3d8eb8595d7e044ce8ad0b11765354a00729648fc38ffeaea30faf201f760c830c06300d0b602b764c903e4af7f0060ff4b21231e6142e12d11dac0d68ce4c5a65db1d9af1d9ecfebc8b4b10e5be9ac8525937e0da1366a23d6cd9441c52087dc2bf9cef4ea55371b0e00172310ed6225296269011ca3b8e402b2cdc859196f48ef89d7c82f78250960d1e384c73045f914bc8f16fbbb53ac6bb33bb9658944f78b0e708204177cda7fd92bac79211cc691fb06b37f19a5b4728d5e44bf1393167e61d7a46a2d092eb5f8e155ef3d4ee2beae490bb97044971e90c055b6f829f0434366c03ef20d99db1d86aa1e94bb33550a1534075d2727c08a9e0671d7029b0607471a3b5230d2308006bd48533a2d34ee1a4e2badd2e29a7c76c83984fa0aadb9954c99a1258faecb5ac9304619c8ff6003510ea38a720006ce7b96ae58e668b90cd310c05a6d3be3a3f1ca5749596919811fbbc324bbd2025b680e4e5f595e1e83865f05494415a0c979107c5e880133526cb60b82314b6bfe0d7a2d4be6e936fa9d9fe64e16fcce1207bff6e28fb3a7f2fa0a019745cd0d53a44553a19cf96be357a4cfcde068389f47347b7b977f73755ccf05afead81b488fce6f2964def2b6d1a59557ba59ad71af9c2900b63836ff669e8de1438b929edf802d59f1c4b76f65d04f7ceb8f9e36f87d4d8391007e1990191938e14856ed4f84f63d38b9b655189d7f76ef508204af931a75e1fd011ff899f13d0bfff972cb1a679e2f073587dfdf3b8a6457fe897fcefd1ff8956bf3d7ad1355611ddd9002af05ba9f3a66346ab26b015035be428f3146227be21447c9dc002d7ea371f2e98a156a1f2f2205d43961fdadd1939763ee054d07ca1a6f1bae0f102d207a9f11039d5b6041d9e92071d72f755c57f3525d0e1e954a1e465b5406fd5af583aca7e48cdc5a9c266ddae6f3c124c4a9698aed2d69ce2c4d25485d70480fdd0da18a4f6d42aeaf97baa4858b440602582a634f96938eadb63f9cc74ac1e54fd0772a3ff66fa92dbdb6a4ec7c7923d0ee6fb5f9bc300701ac6c2f920d7e23188ed6798cf47f0df850f40a471cc8840ecbaf7834bb5b78b3ace2bd0a5e9dee5fafda8d73388671abe30574ff6e0478e3d1138d50289cd8254129a9cc3a7ac758428d73cf58ed848abb192c70b842809b141b4e82a899bcbd4d281f15443287bc3eec2330367688da43f24e30f3ad10f435508b461608b18d3baead359c35dd61d29ff574a100686c8b4521a82a10588cc11c91ff18bcf20b6c1cdfc323b09f33d00972b0a447ddd2a1d95c32efcc9d2624200aa3b049f382e8a987a76fab5bdd808988a7c5a2dc939f2b34fba7db71848b1caa6a20424f2136bc5d0f8c04639fc818ce2ad94bfc072891451675c6566cd668b6ae5eff71a1ff5ecf5769870c182b31c0f79e31e044eec7f9feea416e410b
uᵈ = fa3b3da7215464536106ab8018e637ac3b27bd506bb9ebabe411b580e90f88f714fc3a734c1629e6db407f9c627f942f80a99bde05332eb5132ab4436a721b3a37b03cc647cab4b65e678c5a73908b2346123200f3976f3e2c2ebdd98dee39cb53065bb1c6a29cc0301410a9d0085b7497a30aa0ceed3c00f9da9bc2761ca2e31ec23625b8060b9f647225065805169082dcb11ca6a8fc323e19da0b68d4a725811e5e68afb5562c19ab4fcee27814f4097331b3cca3c2b8dabed5ba91db02000caa01284950b9131c6808011c3a707447028365723b851469b1c60222af4b4c6a9b5707789431fe20a2dc837841d4985118902eec43f05b2c216c9689f43a3a9b712eb01feab0121408ce2b95236f2513b7f5a098ab5a5daa6792633c4dda723281c6008477c85613c0e48599447759299366664c9d39327e77c17cc93b646309e7f07a6250076b2494661602cdb0364cd1bf333a0bb20bb43b918a629096811a4561133576914b40da012fd28054b36092007ed4495b55f52f0b711ceb1968549371e9532f92b0b876653fccc32213c77d14f86dbc5b6bad79a9b58b7937c414a54774f63b8ce4a127244469f4ac4e4a23ba1d977073014ed8926468c870c9275559a2276b139c658494261785903965e4914896440e6606987ae290cc43022851bbd8724da2c7ba9f506d754475dd401148357f57c36432f1135daa42e03798684028b55abbd5226353ba5182882c6d06cbd6074048e0c2cfb305ed68263ae3919f488e39d2002b85accb724355752ac5367fea5c2cda8485e1650a4eb82dc68b37073c64ac5b2ddc0a4be145c3a938b058b0c6f2d25a8520bb538a94e86549ca649762c415a3397f85004e85eb2bbd29bbc142b79bfa2036a6b5e0447705fa9f148c4654d34054dbce32562c6666afa9407681567b44c31451e00fce2146c3ec37133b32f6635768b413bf5b54a3a941a741c3fd9315bd74b465301966c61496fc087da62653c215cf07cb73112b784bce273c70065bba05a267dee5cf64bb791d3b674fe90f55f4ade8a575c7c949c9ab813d273992e8909c0400d57a9a972a1442d11b10683f6f91a3cb12a99fbc84f04781368211198bc4ef1604f1e50f783c8d685c623aa7c151e35e08c2152a4bb72d030d92b08363460e4af39691163502d60bfbf9aed9f3a1bdb4c54bc4ba18267971774f89854454d38ed51a6bf06b3c9e32b325f1552b69b1ac3c1978579f6655873f3925d677a6ab421e2ab404b7610c0fa60d29a240e357b9ad297b5d624956b23794166899785081872ef5028d102c9f89c13cb4a5ce4d5361491a51bd9989d393577437c0d3242d4713c2a9347e627c2757139c1169261bb5b63387134ed87f87b2c6dda4687183c6e1899fa3e16bee39cd817b2a218c6c743a8c1f968b18d67fc6ccc769357376e1500f3a8b224634e40c5a0d202da21310ca216cb7f5afb953785b38a63d276107e5358bcbc807d5c02ef89538c5236c61230d607e024ab775f088f1a1b2c8b220a5133536ca6de4289f4a072730f76d62153793e903673a8d34704d4a3371641769f5097340d7b1e5da7eed3318bcd3811ce31221805420fb47c2968889e06880429d
NTT(uᵈ) = 658a6b5efbc194a138f66535a84c094fa4843ab572afd4c8a2f4ad134a8794691e7efb1418606e20541b27340275ea4361911cdd3c19a49b6c1fda588324b40b172612d19ec44c4aa7e1c1668726748317bbb7cd84764bda1b9de00230305889694a55dd47095f97122f322ce4f10f4229a9b8fb4b3360b065d3bb1ab60bda5895b58621a71687daa125d8a9cb9ea1a59e629b802008f28780de2c29bd726991629d56614980b66005800533b907b28b2860cb0609016966058848b08a9bcc5eaa4234cfa9377025b67035197105c32f5aa2e46741a7a3973f976fca314a6535c7e6d6b3522773602c4be442bebb793b2ebcabc5bbb713ba5ecf3b7195a8765aa9baece8748b8920df179ed4227cc88ac7d6170615113ea09b3da2cc446e889d0b9c6b72f9685fac48f39a9997c3ccbfa281b255b38a5c15285611df2728d6e31efac48fcbe27118fa2b9f28bd272b69e72c9688862cf8030a9cab5d83654463491ec1e8ac3c1c59a763207c841ceeb2380720195d950ab504b1942837602177b4844e63c3bf700181e51067f675945f1c522724ca71fa418b617e0665025d18261345c6a56602b984cb37500a563c7cc56612d4d0cefd77021c2494776235178ac3a5035e806a1fd4d926571a8d33f60397804265f55ed580ba750ac8878c3bf7498aeb4373947c68ebd6160391ba444026bc12bc5019396bac7272ba514f2162f38b783a990fea3bcba7334485930a705644f8d8761a2376e375976c206a4864bb6d212d483aa075f4a7fd7209c40934ae4965bd8822aaa2b07be104a82596fd8302bd459727819f6e060368b0058bc071956a4363693307d780f1b44107aa280e9b7079194dccaca1c5173eb5300f51467d2d5aa3aa1217f91a6680a2408125239461277289a2a5b4a963454ff286c67d5baea9a99990c03d0d8c9efd96b905a04ddfe24d4eac80f17b3fa5d44493b7477c696d94d2a97d80a86032593aa07d2cd39e39a6af03e01c169bbde74a3f812091a7d1a49538ab4dd6a2a0d7590dc1a70cd61e5c2a5d963b2a94e45fd25b557a864097d93e4bea711fcb0a83901adf4a6614606ae61abc211a2665f33324da039590ad42a09d0b19707ea98334c8bae38304de943745474350b6bfd859959e928ab3477b707a0a73aa8683d876da4a78db3003eab448395439d8019c24561d78ac95a0420323583c55609685fb346759571d37a0d40b7cae14947b7ca819190dacb7389a3b04f0d159ea891307267baf81714f986da4fcb8550326ac81c739ec8dd2091c2bda40440841b00784f3a8a41604cf25d57c95560a16cb50b45c4359781218d1386831b32f53a7ff9899c3fb8980e16bd5b26a0b6b39d9734c125403cffcabb6a5a44b00657f14a8c6934c5d979c70c603552b3321698966ba3f386a23f2bb1381a040c120980b546fa4158e24499246c991fb144d9a64928001834f85c48b144e21d6780197c899c31c2835a75b255fd66c136eb0b303b695a43a08717855782b0052132259279c1c519c18aa8c56454706e655c53c0cfbc6c29b07452ed9c49ae12ee4fb1c43927c73b76784788c1ae4a760056a444a17066911989367eb62c5b1a4056c666121a902
vᵈ = c1090dd01075311cc381060dc1198fa011c3f10800c1094ec1090d311ca970129c70021a00108f311c757002270010a9510700a0015b00108f401382b00534911aa9a011a9d010825117a9c10941a00127311cb6c1199c911a75e0041a40031a00001a21080070128200108f5107347012c3a011688116b6511782b01568b01582310c4ef11882f10841911aa9001068511768811668b0158210149ca01182c119a9701275311c75f1081a400327f118c3b01582f118a9d0005b401368f11868c1090d21188221084e00001aa00134310c34d0001ae00427c1198f910a41310c00c1196840030070024e311c7581169c81060d611b9c21081a5117a9f10834c119c3b0050081061ad01075100434e0040d10045be0149ce00441c1094ee014a981064ee0148f611b82610b41311cc3d0005bd01082311cc3610b41311c9cb0054151074eb01568c1090081060df1081ad0002700109cb015c3611b75d000270010b6400334611bb6b0159c5117c3611bc32118b6d00034610b4ed00034f10800
w = df460546766a5b666761e00314d06606a0cc4e9ccc74f662ccecc979566189e6689286caf39c01f7fc06bc7c6a08b0662cd070d4260100b06115f067be4607a43c70fd26cb48860396a66abecc6b4df0062746c7891c658a266d490000877cca1ad06f2ab6c854e6c874560137406e9b8c0137f667dd6c0784eccc46f602c1dcc917e0c9b6f66236a601e19605c17604432003d30608c41c05ab066aca6c7127906a79060989560706266a2476620620ce4910c9ca0c6cf916cb38d661ddd6046ab667befc66c9066914c065e4cc6eb2cc6719600542a069b1d6c4bebccec18c6916c005050072d4b66a12b7725340050350011c77ca2fe06cee5c6dff266135a6cc29806351306c4736003c466ac41c699a3601d9bcc946e6cc744cc9d0a6013867009000040cd065d5dc070920636126c72c3003d9ec607050ca3640cc4a906548e069837069cce6697ab06ce5ec6172506a2d406013175b4c766f089667d56c6e2186cdd4766df5a602390661444002fcd66829d602efac610b776b9a5c6c
KBar = 2f3eac7d224d818aceb416748cf117f7f61a8554e8b2b6522fdcc6dfb37e9995