d = e1e3206875e67d7e81353774fe9025035b9b41a4a9f6ec00b91c600442fd717d
ρ = b1720e4ed5ac0add457f573a041465bcbd7ca4e1d7d53eaadeda511962a36eb0
σ = 176c5e5bdef7f0b03349110742125810116450aa6ed6a02a87a8c04cb508d6fa
A[0, 0] = {2322, 479, 3, 783, 2874, 1746, 2961, 2018, 1000, 667, 1686, 115, 1257, 268, 1040, 2914, 1051, 1438, 1500, 1887, 2121, 3171, 454, 2842, 2683, 1412, 2461, 1063, 1892, 2180, 3248, 309, 1300, 776, 3273, 2631, 445, 2127, 16, 1737, 413, 1477, 834, 1429, 1741, 147, 1742, 1378, 1295, 2642, 2169, 379, 676, 2115, 1815, 2490, 1119, 204, 1412, 172, 381, 2697, 1565, 29, 2338, 2357, 3221, 1595, 1597, 2667, 144, 850, 1017, 986, 2430, 200, 802, 142, 596, 1755, 1439, 3007, 828, 454, 440, 1161, 1463, 746, 797, 2419, 3124, 992, 2372, 1092, 889, 2094, 2488, 1185, 630, 1399, 2478, 2984, 482, 2890, 471, 1276, 1713, 2058, 1890, 1567, 2203, 1421, 2351, 2554, 1681, 1725, 2133, 1981, 167, 1588, 531, 2889, 90, 2503, 3001, 135, 1878, 1550, 3185, 1483, 1006, 3242, 2771, 2745, 212, 3307, 1178, 9, 2523, 373, 2435, 168, 1264, 688, 1091, 1278, 2638, 1319, 380, 2722, 643, 2199, 653, 1549, 1400, 695, 3187, 1756, 1214, 1235, 2941, 2467, 1026, 2740, 1758, 511, 2380, 3261, 1177, 2729, 569, 76, 284, 1958, 1375, 2648, 246, 2220, 2132, 2115, 2202, 908, 2697, 1437, 647, 1006, 443, 1826, 121, 2597, 835, 432, 213, 1740, 1488, 899, 3279, 158, 998, 2213, 2724, 2194, 276, 593, 254, 1065, 2437, 26, 2632, 64, 2763, 1179, 827, 2678, 2272, 575, 2761, 1224, 114, 2154, 2896, 1511, 2591, 1538, 1452, 3097, 3082, 1448, 1411, 587, 2265, 3223, 3046, 2500, 2157, 97, 658, 859, 16, 2552, 1376, 2131, 795, 2368, 2151, 1782, 2712, 1663, 3168, 1803, 1552, 3098, 2249, 1110, 1645, 1015} = 12f91d03f0303a2b6d912b7ee8b329963607e9c4101024b61be459dcf5754938c6c6a1b17b4a589d7942644788b05c13148530c97ca4bdf18410906c9d515c425359cd3609ce26560f25a579b817a4328417a79b5fc40c84c50a7d91a81dd60122599395bc633db6a6902035f9a33d7e890c22e30854b26d9ff5bb3c631cb89148b7a52e1d3397340c3e44494479e382b8194a767257ae89bae2a1b4d7c14fb1a68062f7619bd8582fa99f91d66b55d87ba740631392b45a709cb97b0856e76071bc5ceea3cad39aabd4b0ce9a9400db591783890af0042b43e44f4e7a527c21aa8372898dd26078752b73cc6dbe344d7d3b9a0244abdef61f4cd9cb9994aa39c2041c617a5f85a5f6c08a5438849ac83889da5987e23ebb21727950a243031bd5c06cd03538cfec09e6538aa42a89141125fe904285a901480a04cbba493b63a7e0f823c98a4c72a086507b5e1f2a60ac95c10a8c5a83b524d978c9e64b9c6d180692b23510809f6035851b039467686f98fa6760bc7010a6c1c968456d763f
A = 12f91d03f0303a2b6d912b7ee8b329963607e9c4101024b61be459dcf5754938c6c6a1b17b4a589d7942644788b05c13148530c97ca4bdf18410906c9d515c425359cd3609ce26560f25a579b817a4328417a79b5fc40c84c50a7d91a81dd60122599395bc633db6a6902035f9a33d7e890c22e30854b26d9ff5bb3c631cb89148b7a52e1d3397340c3e44494479e382b8194a767257ae89bae2a1b4d7c14fb1a68062f7619bd8582fa99f91d66b55d87ba740631392b45a709cb97b0856e76071bc5ceea3cad39aabd4b0ce9a9400db591783890af0042b43e44f4e7a527c21aa8372898dd26078752b73cc6dbe344d7d3b9a0244abdef61f4cd9cb9994aa39c2041c617a5f85a5f6c08a5438849ac83889da5987e23ebb21727950a243031bd5c06cd03538cfec09e6538aa42a89141125fe904285a901480a04cbba493b63a7e0f823c98a4c72a086507b5e1f2a60ac95c10a8c5a83b524d978c9e64b9c6d180692b23510809f6035851b039467686f98fa6760bc7010a6c1c968456d763fef59a6173936fe4814603bab0589b771d17c12778bcccc4309f67ddeb95b4b873c81f72a0783a8ee123ff5b6235a56b486c768bd8113a4f09d19c9af80fb98ef8b6c697b42e7bc009807762de9365391547cf822c07b869f49104ffab3098746da759ae3378961385521da9470a42c78073bee570feb4a9b14ecbe666a136462aaa0dc2ce173b61c625563fb50b5c9c2f208ba42e656d221431fab0a2868b154366db5e5b19a4822b0385936e4be96b2ad83013a904970efec5329f0a563f6406a57b82df2965b9ba492b29c678262e6829a11011478460d8da1a75d14972996bb8e0762237bbb8c9b044d0337cff8312ae18094082f7d6ca361d69bf0d004dffbc9d55b905f8359f421b4748328a9e722cacca07ffc210e7c35cd461abc069fe4d7980a570e83b01103b878491c200f70aa8bc71a296bb711acc2452c98f88810e75869ee4997bcc17a09712338f83d66b96161e908a4c4279a615ecbe2682349a21e55af66127ad08114b06709c724653d59561aa249c1c050b08c1397421102097622d5b54febc61881472d7c5eec9834c1d304b8c94d89a04b5bb672302464a8bb43ac854e8f6cc0546a1d2016b8ad221bb2939e613ac5ae7b7ec9576d50265dd02ca683b69a6620cb87c08d6aab49a56c09219863134947f17c96f50cb2f01493d9d431672a68893b0f2594c204eaac6871242bd00365fc019ff1530ac10c7d1051489cbb2efb499b888497a61615f25144db1943c03c99eca96009a749c44a7709cdaef18047282ac9615b04b42318a2ac01d834c447a9ebfc758b469e7fe43355903a9cfc9bf830a085538631c6553432cddcc78900f35d3db7418a03951a0577235b9f6036b23b3269c64bceebba4bbd3c1592b541c0857c93d14eb1a5231e74532273b1bc666e2484b42e4b5e0fa32b2337362f60c73e5a80d6ab7ae78a7cdbca4a8be5ae94c063489a2469f2b09c8ba6f2e92459768c30daa218c387107ba32d6a072dc63bd9a38ececb571988c727ab0fc332835aca1925f4c1f2210b006d96cd2a7e1c4caead7ccd55b05931b3b94f9c02fa2651b750b79f227e843ba4e1571bb9c8a547e2a3fcd25e3866653728bd57a8c9c480404295819e559ae6727d81d61b785b7817dc3b67560db36c2b0509976ff39435869e49044987fc4d92b9bfd07a37fa08193057aecf585734280d0201a0ea237da26b5741f528dfea6a58d291a5d5543be52d31b5468b82143e754d0714747981aea189025a8931eba7a0ef2561bb0860b8c2442285b4ed22b40c882f19350789642bdd6797e8d98566eb411221a425f34c73aacf92e0a5d8b35272302b815041833b29b1a409d1087b6ef00197893f3b2a93ff61646d77c0c5089f93ec7261347a871c9e7559c11677a84cdab7598c3bd2709e9df33186954682b7ae1f888043a738cd906cab0a06ecb74badd6b303eaaa5ed261e51009c867b8548a84b4ca62845b9f7b9aae1f4107caf9cd2b43469185616ab96b2c09438f06ad95b5605c646b67a8b88b5587fcb0235656ae23d0530fe996bfb691429716e46a2bcd299573c80d7c37ba4fe14e38d556c3281a1b416b2996cb9aacb059345aa6ec078714c52fd3b01d176f
s[0] = {1, 0, 3328, 1, 3328, 0, 0, 2, 0, 3328, 1, 0, 2, 2, 0, 3328, 3328, 2, 1, 3328, 3328, 1, 3328, 1, 0, 0, 1, 3328, 3328, 1, 3327, 0, 3328, 0, 1, 1, 0, 1, 0, 0, 3328, 3327, 1, 0, 3328, 0, 1, 1, 3328, 0, 3328, 2, 1, 0, 0, 2, 1, 2, 1, 3328, 0, 1, 3326, 3327, 1, 0, 0, 2, 3326, 3328, 0, 3328, 3328, 3327, 1, 3328, 3328, 3327, 0, 0, 1, 2, 3, 2, 1, 3327, 3328, 0, 3, 1, 0, 0, 2, 1, 0, 0, 3328, 3327, 0, 0, 1, 1, 0, 1, 1, 3328, 3327, 1, 1, 3328, 0, 0, 0, 3327, 3328, 2, 1, 0, 3328, 1, 3327, 1, 0, 0, 3327, 3328, 2, 0, 0, 0, 1, 0, 1, 3328, 0, 1, 0, 3328, 3328, 1, 1, 1, 3328, 2, 1, 1, 1, 3328, 3328, 3328, 3328, 3328, 2, 1, 1, 3328, 1, 0, 0, 1, 3328, 1, 3328, 1, 1, 2, 3, 0, 0, 0, 3328, 0, 0, 1, 2, 3328, 3327, 3327, 1, 1, 3328, 3328, 3328, 1, 1, 2, 0, 3328, 1, 3328, 3328, 3327, 0, 0, 0, 3328, 3328, 1, 0, 1, 3326, 3327, 3328, 3327, 1, 2, 3326, 3328, 1, 0, 0, 0, 1, 0, 0, 3, 3, 3327, 1, 3328, 3328, 0, 0, 2, 1, 3328, 0, 0, 0, 0, 0, 0, 3328, 0, 0, 1, 0, 0, 0, 3328, 3328, 3328, 0, 3327, 0, 1, 3328, 3328, 0, 3328, 0, 2, 0, 0, 1, 3328} = 010000001d00000d000020000000d00100000220000000d0002d000100d0001d00001d000000000100d0001d00ff0c00000d0001100000100000000000fdcf010000000d00011000000d00002d000100000020000120000100d0001000fefccf010000002000fe0cd00000d000fdcf0100d000fdcf00000001200003200001f0cf000d0003100000000002100000000000fdcf0000000110000010000100d0ff1c000100d000000000f0cf002d00010000001d00ff1c00000000ff0cd00200000000000100000100d00010000000d0001d00011000002d000110000100d0000dd0000dd00210000100d0010000001000001d00001d00012000030000000000000d000010000200d0fffccf011000000dd0001d000120000000d00100d000fdcf0000000000d0001d00001000fefccf00fdcf012000fe0cd001000000000001000000300003f0cf0100d0000d000020000100d0000000000000000000000d000010000000000000d0000dd000f0cf001000000dd00000d00020000000000100d0
s = 010000001d00000d000020000000d00100000220000000d0002d000100d0001d00001d000000000100d0001d00ff0c00000d0001100000100000000000fdcf010000000d00011000000d00002d000100000020000120000100d0001000fefccf010000002000fe0cd00000d000fdcf0100d000fdcf00000001200003200001f0cf000d0003100000000002100000000000fdcf0000000110000010000100d0ff1c000100d000000000f0cf002d00010000001d00ff1c00000000ff0cd00200000000000100000100d00010000000d0001d00011000002d000110000100d0000dd0000dd00210000100d0010000001000001d00001d00012000030000000000000d000010000200d0fffccf011000000dd0001d000120000000d00100d000fdcf0000000000d0001d00001000fefccf00fdcf012000fe0cd001000000000001000000300003f0cf0100d0000d000020000100d0000000000000000000000d000010000000000000d0000dd000f0cf001000000dd00000d00020000000000100d0000dd0000d00000d00000d000000d0000dd000f0cf000dd0000000ff0c00002d000100d0010000001d000010000100d00100d00130000300000010000000d0000000001d00020000000000ff0c0000f0cf000dd00000000100d0000d00001d00000d000100d0010000000d00000dd0000dd00000000100000200d00000d00100d0000000000000ff0c000000d0000dd000000000fdcf00f0cf000d0001f0cfff1c000100d0011000ff2c000200d0001d00000d0001000000100001e0cf000d00000d00000000001d00021000002000001000020000ff0cd0000dd00000d0000dd0001000010000ff0c00012000012000000dd002f0cf001000000000000d00000dd0012000000d000010000210000100d0020000001000000000ff1c000100d0011000011000001000000d00000000000dd00110000110000200000100d0000dd0000000000d0001200001000002f0cf001000000d0001100001f0cf000d0001200001100001f0cf000000000000001d00000dd0000d000210000000d0ff1c00
NTT(s[0]) = {1837, 3137, 1722, 738, 222, 252, 512, 591, 630, 2953, 635, 1388, 3151, 1951, 272, 319, 3323, 2008, 3211, 913, 3201, 2394, 2264, 1162, 391, 3048, 474, 2331, 486, 1801, 3093, 705, 745, 404, 1554, 1687, 2846, 926, 604, 2476, 1789, 158, 277, 3273, 1007, 2208, 1001, 1442, 1312, 257, 238, 335, 1621, 612, 3073, 2384, 1908, 3278, 1786, 1397, 2512, 2377, 1605, 1030, 2885, 527, 2722, 1458, 2097, 614, 651, 2737, 2555, 825, 2274, 1764, 2117, 1211, 2445, 1843, 3192, 2277, 2325, 344, 2555, 2372, 147, 414, 1884, 79, 3139, 3147, 2897, 1991, 963, 2818, 2821, 2609, 1050, 1214, 475, 1508, 1635, 1788, 416, 1087, 1844, 1519, 1079, 278, 3001, 2929, 2601, 390, 1011, 2914, 2031, 3043, 2277, 2956, 2894, 2924, 3167, 9, 189, 1205, 2609, 2470, 3178, 1543, 657, 2301, 3302, 837, 1334, 3227, 2240, 2479, 71, 1137, 1895, 2831, 2807, 2297, 194, 473, 841, 366, 529, 2843, 652, 2901, 3088, 90, 590, 1577, 1321, 815, 2258, 1889, 1111, 1154, 1334, 1218, 25, 323, 2045, 1646, 744, 2317, 56, 2622, 1928, 1223, 949, 853, 1859, 809, 955, 560, 921, 572, 1281, 672, 1423, 1505, 2362, 2612, 1081, 1409, 2327, 2834, 31, 1550, 2603, 3163, 2379, 1476, 1562, 2905, 1791, 337, 1322, 2406, 1815, 2940, 669, 1112, 1223, 2749, 2982, 1493, 3164, 2380, 1054, 3074, 2717, 622, 304, 2765, 2266, 278, 2994, 1921, 2476, 2920, 2146, 453, 1722, 1412, 1890, 3189, 52, 552, 2403, 1154, 3275, 3201, 3233, 2242, 615, 369, 366, 1350, 725, 3307, 1950, 2849, 1806, 1805, 1532, 2553, 1027, 2607, 482, 2117} = 2d17c4ba262edec00f00f2247692b87bc2564ffc7910f113fb8c7d8b1c3981ac95d8a8488781bedab191e69170151c2ce942191276691eeb395cc29afde6091591ccef038ae9235a201510eef014554626010c9574e7ccfa5657d0999445664045fb20a22a5b3168268b12abfb9933e2486e45b84b8d3973785c8e158915fb499493e0195cf70443bcc4517b7cc323b0051ba31ae44bdb415e63c66fa0f14334f75e376411b91bb7296a18f323b6ef37bee5c8b84ecbb65f9c00bd504b316a9a6a7c6091d28fe65c3436b5c9c0f89a47104767f7b0f79a8fc2901d49e31611b2b18c52b510ac054e926229f532d2187657244836254c193014fde766e8d29038e0a388774cb55335439732bb032399c32301052a8f155e3a49a33914581729b11fe0602bbac54b495c1a96b5ff16152a659617c7b79d8245c7d4aba65b5d5ccc941e24c09dea2630d1acda6811b21b78ac89b662581cba46586257c7348022632948cb1cc8a12c8c6712176e6154d5b2ce9e17b20ed770fc959f03f4a2e25184
dkPKE = NTT(s) = 2d17c4ba262edec00f00f2247692b87bc2564ffc7910f113fb8c7d8b1c3981ac95d8a8488781bedab191e69170151c2ce942191276691eeb395cc29afde6091591ccef038ae9235a201510eef014554626010c9574e7ccfa5657d0999445664045fb20a22a5b3168268b12abfb9933e2486e45b84b8d3973785c8e158915fb499493e0195cf70443bcc4517b7cc323b0051ba31ae44bdb415e63c66fa0f14334f75e376411b91bb7296a18f323b6ef37bee5c8b84ecbb65f9c00bd504b316a9a6a7c6091d28fe65c3436b5c9c0f89a47104767f7b0f79a8fc2901d49e31611b2b18c52b510ac054e926229f532d2187657244836254c193014fde766e8d29038e0a388774cb55335439732bb032399c32301052a8f155e3a49a33914581729b11fe0602bbac54b495c1a96b5ff16152a659617c7b79d8245c7d4aba65b5d5ccc941e24c09dea2630d1acda6811b21b78ac89b662581cba46586257c7348022632948cb1cc8a12c8c6712176e6154d5b2ce9e17b20ed770fc959f03f4a2e251845ca128031c5f37631f6e6241fce131164092ba676483c7050890279672a9f8a2329b752eb9b09eb7e4747e13587ec54b99582e2d905ed2b55ef7aa52a185caacf037d4946a95c94f0b80423fd4884a8370af576f0e4b1b6c851583312500b4420676a288019bfd8c2c24116eec8c5dd5822da84c446e09c47887b9c912b8c1786f9ad83e1d36961750175398606b42b2c3a095d104bc0aac455a72554aa9ac1d9ac5a801ab8c6723d53a259ba20c094bbe3094534c88817703a114f94b2070c4901a4bb7d02858b31dbc614aa7c3a10344956b940eb619adafd9c29397bd63c0600d910e97a0554515163221194dc2bcecb5786f081f79478af2f2559056b66453789ce53877db743a3c8378d20f92b3c42f46a712aa92eb765de933bd0a53a531f552218c5da3b57775881bbd8240eabc1881ec3519ca80243a8fc4ccaa7108099a959726b72aee522780649c91f4a82aab2045834b2f64039e542c37b7b81f602be2f0688cb5250f295591c999390499822140ff4325011860fa753b81e85b
e = 010000003d0000f0cf000dd0ff0cd001100001f0cf00f0cfff1c0000f0cf0100d00100000000000000d00120000100d0010000002000ff0c0001f0cf010000000000001d0000f0cfff2c00012000ff0cd001100002000000fdcf002d000100d0fefccf000dd0002d0002f0cf001d0001100000000001f0cf000d00002000ff0cd0ff0c00fe1c0000f0cf011000001d00003d0001f0cf001000ff1c000100000110000200000100d003000000000000f0cf00100000f0cf00fdcf001d0000100000fdcfff1c000000000100000100000000d0013000ff0c000210000300000000d0000d00000000021000000000ff0c00000d0000f0cf01000000f0cf00fdcf000000ff0c00020000ff0cd0000dd0000d00010000000d00ff0cd0ff0cd000000001300001000001000000f0cf0000000100d0000dd0000d00011000000dd00000d00100d0000dd00100d0000dd00000d0030000020000000dd0001000000000ff0c00000dd0002000000000000000000000010000ff0cd0000000000dd00000d0000000fe0c00001000000000000000ff0cd00200d0000d00ff0c00001d00000d00011000ff1c0000f0cf0100d00100d00000d000fdcf01f0cf0000d00010000100d001200000100000000000fdcf000000000d00010000000000ff0c0000e0cf001000000dd0000d00010000000d000200d0001d000020000020000000d000f0cf030000ff2c00ff0cd0020000000d00ff2c00002000001d0002100002f0cf000dd0011000000d00ff0c000200000000d0011000ff1c000000d0011000001000000000000000001000010000001000010000002d000030000000d0011000000d00001d000100d00110000000d00100d0001000000d00000dd00100d0ff2c000110000000d00100d0ff0c000000d0021000000000000dd0010000fffccfff0c000000d0012000ff0c0000200001100001000000000000000001e0cf0010000200d0fe0c000010000000d000fdcf00e0cfff1c00000d000100d0010000001d00000000010000ff1c00011000001000022000000dd0002d00000dd0000dd0001000
NTT(e) = 48da710c5755845012fa6625ec2c1b94927987b8872f159642936295570672d66f9bc8828e74c464ea9b521669e95324b3750c32887c4018a846a0c377d960b41893662809b9acc2a96143b904b704c78b11f1c1ab3067cf9c92be99976f5b4af107a7c5a8485f66b8e3642e3d935db64a398783059341c421438d1d21c4c0a7a486e41889c9174edb92e2f811e9601cb96977337b1045d06f5259215fbb978963a9294068be9191a9c475701752f3694d3d55478b1c73ddb065d1537c56db7716d0bb53aa563a14b8fa37646437501253ab64da5f68e27c5b915f1e4b227f2c6057133ac6b2326dd6a411406a0deb325ab7b7b60284eb9206f3a82f255470f82a699d30bd5da5b2ea684996e67506f2809f451055564289435f4f45becd6053ca540eaa7c134dcc5856a56eb3c89dd6fb0335ca3740d55085acbe655b696f7a2875675b4c007efdd2ae2f6a5966e8838aab4463fbb1d5d651a7a5288bd59b7aa19cce68c4f87c4f8032a98ab918511c5a6e3c8b3f53a48c462b2540802f4a92993510b2b47ff7a16cd38007e64404cc5c6537519c5cecb5dc5aac38246a6f0833d4b07cd4e6cd70c96e0ca53601d9b71ff47ce5d15168d94302721d795246e2fa532a5c2571179982a323bfe595d1886d683c9daf8883b360564048888e9ac78c574b8ecb523ca10df2076f65b5a54f56b1f42023faf726349879ca6626c5cc812768b2d8eb5dd506c83bfa383792484b06a7eb9197824a1f6cb79598f9a0b0d594887c3c6528456d024f9cb447997a5794151a125bae9b7b44082270db878dc939ce22e79065d60ac7b95b5f73c55fb5741a71c5195143f83a220588214d4c4e245a41d0986cdcb8ba7c3530d86c2dcec51579261f2eec1f1b8c3d06e73c0f67bed418ccd34108313038b116628df1bb42c84e36930aae39ca450c6c7689628d9456ef6241bbb29b686b20490b0c99b19804fb312b912f48b60c054596ff29b2d5a62663875dc1a340118c5d21a05fcf204daea91b47689d005db2ebc829dd7199d456a13ee84508561cedda0357d76bdb047621f4c85c2152129c5f95d576
t = f29c866c361d910341f296c64b46c2a2e30b1535a5c0602593415d156b43036b21b14ba3a0c72e848c5ee03466cab97721d83defdab1f6708971d3c4581441ce397fe7bbc7a08acfdcc417c5f56dfdd4423e306f1f69a86e5b5ba3e031bf92a16702861a51a2feb974f4844812b8302dc83026ea566a1c110cd2c4af48bedd742f1c02cd3fca0dfb8331f414b115849bcb05a2df615b49a90ec0a433e8787e185142aa406003d35409ec842af304459b40fffa0d84340156b5767ee0ca6e2850ec8ccaed317ecf711e27d59b3c985555e44c935988092981da95b42573b9bc38122ed44a800510756429f1b0640685b048597842cbb93dc6b2f9144dcf41a624eb90202a30381410f4cbaaccf61e485524ee593ad7d5974f774ae59ba20c7c6eb0009b39962dc0f828e8538ef583b4dc40c09555a3968ab257d407cc4ab801c7521bf7564b163fab927b4703225b1b497a096b4eb984dfd3512ecb2eaea46fb53c3b3840af3c4aaf78b1461e0564290c0a8f93a1e1b1c50cdb5fd56970046103600a1cc109b58cc32e52c7a168e17107a9c77cc448b01a5a7dc90603d708c6d717c3165e772c74763821f35934a613b0297246370020eb113645d75593c5130072acc0483118067bfb8093b518066318c3f936bd29e8acba8318c68a3c47a1be713c5b5a3c3df82514a5db7f70150b44b3927aa5c7b5507f8e693eed04369340141b1c75069b5f3abb016833b936a1adf7ccbedfe775f0494acb6404307a787e19b2fcba2aa8b3cf94ea6aa4303cfe4821fc9a62ee5acbcaa42556d046e4ab2e65e57e4dcc874276c89f980ac1a52fde549064b7abeab30e81d540af393a51bb917d87098ae238946033f3bb31d82b418ea863b9fc2008613e4751aed8c9aaa41840579116b571ad6df0cfc1185b17612008900d104a83b67a36acd8c783c5b1c21026f03b4ab57b23bd160a103920729b13334395a500a2a5a126bd66c75c5c2a046a97ebb8565cbb65fc6a3e1c11a990e20a9c88c96aa3924961159ef22082e45c86a9bb80d7b8936cc9eec593e5e4523ddc5438c819551328557982cf6784
ek = f29c866c361d910341f296c64b46c2a2e30b1535a5c0602593415d156b43036b21b14ba3a0c72e848c5ee03466cab97721d83defdab1f6708971d3c4581441ce397fe7bbc7a08acfdcc417c5f56dfdd4423e306f1f69a86e5b5ba3e031bf92a16702861a51a2feb974f4844812b8302dc83026ea566a1c110cd2c4af48bedd742f1c02cd3fca0dfb8331f414b115849bcb05a2df615b49a90ec0a433e8787e185142aa406003d35409ec842af304459b40fffa0d84340156b5767ee0ca6e2850ec8ccaed317ecf711e27d59b3c985555e44c935988092981da95b42573b9bc38122ed44a800510756429f1b0640685b048597842cbb93dc6b2f9144dcf41a624eb90202a30381410f4cbaaccf61e485524ee593ad7d5974f774ae59ba20c7c6eb0009b39962dc0f828e8538ef583b4dc40c09555a3968ab257d407cc4ab801c7521bf7564b163fab927b4703225b1b497a096b4eb984dfd3512ecb2eaea46fb53c3b3840af3c4aaf78b1461e0564290c0a8f93a1e1b1c50cdb5fd56970046103600a1cc109b58cc32e52c7a168e17107a9c77cc448b01a5a7dc90603d708c6d717c3165e772c74763821f35934a613b0297246370020eb113645d75593c5130072acc0483118067bfb8093b518066318c3f936bd29e8acba8318c68a3c47a1be713c5b5a3c3df82514a5db7f70150b44b3927aa5c7b5507f8e693eed04369340141b1c75069b5f3abb016833b936a1adf7ccbedfe775f0494acb6404307a787e19b2fcba2aa8b3cf94ea6aa4303cfe4821fc9a62ee5acbcaa42556d046e4ab2e65e57e4dcc874276c89f980ac1a52fde549064b7abeab30e81d540af393a51bb917d87098ae238946033f3bb31d82b418ea863b9fc2008613e4751aed8c9aaa41840579116b571ad6df0cfc1185b17612008900d104a83b67a36acd8c783c5b1c21026f03b4ab57b23bd160a103920729b13334395a500a2a5a126bd66c75c5c2a046a97ebb8565cbb65fc6a3e1c11a990e20a9c88c96aa3924961159ef22082e45c86a9bb80d7b8936cc9eec593e5e4523ddc5438c819551328557982cf6784b1720e4ed5ac0add457f573a041465bcbd7ca4e1d7d53eaadeda511962a36eb0
dkPKE = f29c866c361d910341f296c64b46c2a2e30b1535a5c0602593415d156b43036b21b14ba3a0c72e848c5ee03466cab97721d83defdab1f6708971d3c4581441ce397fe7bbc7a08acfdcc417c5f56dfdd4423e306f1f69a86e5b5ba3e031bf92a16702861a51a2feb974f4844812b8302dc83026ea566a1c110cd2c4af48bedd742f1c02cd3fca0dfb8331f414b115849bcb05a2df615b49a90ec0a433e8787e185142aa406003d35409ec842af304459b40fffa0d84340156b5767ee0ca6e2850ec8ccaed317ecf711e27d59b3c985555e44c935988092981da95b42573b9bc38122ed44a800510756429f1b0640685b048597842cbb93dc6b2f9144dcf41a624eb90202a30381410f4cbaaccf61e485524ee593ad7d5974f774ae59ba20c7c6eb0009b39962dc0f828e8538ef583b4dc40c09555a3968ab257d407cc4ab801c7521bf7564b163fab927b4703225b1b497a096b4eb984dfd3512ecb2eaea46fb53c3b3840af3c4aaf78b1461e0564290c0a8f93a1e1b1c50cdb5fd56970046103600a1cc109b58cc32e52c7a168e17107a9c77cc448b01a5a7dc90603d708c6d717c3165e772c74763821f35934a613b0297246370020eb113645d75593c5130072acc0483118067bfb8093b518066318c3f936bd29e8acba8318c68a3c47a1be713c5b5a3c3df82514a5db7f70150b44b3927aa5c7b5507f8e693eed04369340141b1c75069b5f3abb016833b936a1adf7ccbedfe775f0494acb6404307a787e19b2fcba2aa8b3cf94ea6aa4303cfe4821fc9a62ee5acbcaa42556d046e4ab2e65e57e4dcc874276c89f980ac1a52fde549064b7abeab30e81d540af393a51bb917d87098ae238946033f3bb31d82b418ea863b9fc2008613e4751aed8c9aaa41840579116b571ad6df0cfc1185b17612008900d104a83b67a36acd8c783c5b1c21026f03b4ab57b23bd160a103920729b13334395a500a2a5a126bd66c75c5c2a046a97ebb8565cbb65fc6a3e1c11a990e20a9c88c96aa3924961159ef22082e45c86a9bb80d7b8936cc9eec593e5e4523ddc5438c819551328557982cf6784b1720e4ed5ac0add457f573a041465bcbd7ca4e1d7d53eaadeda511962a36eb0
z = c6f5785a6f2b42e843228be53eb768d64c6f9d4355ae95f083e51ed57c437310
H(ek) = a9ce0ecbcfbbbd9a2636e23a0c1c22683943639cd44af051ff235b8dfbb73a4d
dk = 2d17c4ba262edec00f00f2247692b87bc2564ffc7910f113fb8c7d8b1c3981ac95d8a8488781bedab191e69170151c2ce942191276691eeb395cc29afde6091591ccef038ae9235a201510eef014554626010c9574e7ccfa5657d0999445664045fb20a22a5b3168268b12abfb9933e2486e45b84b8d3973785c8e158915fb499493e0195cf70443bcc4517b7cc323b0051ba31ae44bdb415e63c66fa0f14334f75e376411b91bb7296a18f323b6ef37bee5c8b84ecbb65f9c00bd504b316a9a6a7c6091d28fe65c3436b5c9c0f89a47104767f7b0f79a8fc2901d49e31611b2b18c52b510ac054e926229f532d2187657244836254c193014fde766e8d29038e0a388774cb55335439732bb032399c32301052a8f155e3a49a33914581729b11fe0602bbac54b495c1a96b5ff16152a659617c7b79d8245c7d4aba65b5d5ccc941e24c09dea2630d1acda6811b21b78ac89b662581cba46586257c7348022632948cb1cc8a12c8c6712176e6154d5b2ce9e17b20ed770fc959f03f4a2e251845ca128031c5f37631f6e6241fce131164092ba676483c7050890279672a9f8a2329b752eb9b09eb7e4747e13587ec54b99582e2d905ed2b55ef7aa52a185caacf037d4946a95c94f0b80423fd4884a8370af576f0e4b1b6c851583312500b4420676a288019bfd8c2c24116eec8c5dd5822da84c446e09c47887b9c912b8c1786f9ad83e1d36961750175398606b42b2c3a095d104bc0aac455a72554aa9ac1d9ac5a801ab8c6723d53a259ba20c094bbe3094534c88817703a114f94b2070c4901a4bb7d02858b31dbc614aa7c3a10344956b940eb619adafd9c29397bd63c0600d910e97a0554515163221194dc2bcecb5786f081f79478af2f2559056b66453789ce53877db743a3c8378d20f92b3c42f46a712aa92eb765de933bd0a53a531f552218c5da3b57775881bbd8240eabc1881ec3519ca80243a8fc4ccaa7108099a959726b72aee522780649c91f4a82aab2045834b2f64039e542c37b7b81f602be2f0688cb5250f295591c999390499822140ff4325011860fa753b81e85bf29c866c361d910341f296c64b46c2a2e30b1535a5c0602593415d156b43036b21b14ba3a0c72e848c5ee03466cab97721d83defdab1f6708971d3c4581441ce397fe7bbc7a08acfdcc417c5f56dfdd4423e306f1f69a86e5b5ba3e031bf92a16702861a51a2feb974f4844812b8302dc83026ea566a1c110cd2c4af48bedd742f1c02cd3fca0dfb8331f414b115849bcb05a2df615b49a90ec0a433e8787e185142aa406003d35409ec842af304459b40fffa0d84340156b5767ee0ca6e2850ec8ccaed317ecf711e27d59b3c985555e44c935988092981da95b42573b9bc38122ed44a800510756429f1b0640685b048597842cbb93dc6b2f9144dcf41a624eb90202a30381410f4cbaaccf61e485524ee593ad7d5974f774ae59ba20c7c6eb0009b39962dc0f828e8538ef583b4dc40c09555a3968ab257d407cc4ab801c7521bf7564b163fab927b4703225b1b497a096b4eb984dfd3512ecb2eaea46fb53c3b3840af3c4aaf78b1461e0564290c0a8f93a1e1b1c50cdb5fd56970046103600a1cc109b58cc32e52c7a168e17107a9c77cc448b01a5a7dc90603d708c6d717c3165e772c74763821f35934a613b0297246370020eb113645d75593c5130072acc0483118067bfb8093b518066318c3f936bd29e8acba8318c68a3c47a1be713c5b5a3c3df82514a5db7f70150b44b3927aa5c7b5507f8e693eed04369340141b1c75069b5f3abb016833b936a1adf7ccbedfe775f0494acb6404307a787e19b2fcba2aa8b3cf94ea6aa4303cfe4821fc9a62ee5acbcaa42556d046e4ab2e65e57e4dcc874276c89f980ac1a52fde549064b7abeab30e81d540af393a51bb917d87098ae238946033f3bb31d82b418ea863b9fc2008613e4751aed8c9aaa41840579116b571ad6df0cfc1185b17612008900d104a83b67a36acd8c783c5b1c21026f03b4ab57b23bd160a103920729b13334395a500a2a5a126bd66c75c5c2a046a97ebb8565cbb65fc6a3e1c11a990e20a9c88c96aa3924961159ef22082e45c86a9bb80d7b8936cc9eec593e5e4523ddc5438c819551328557982cf6784b1720e4ed5ac0add457f573a041465bcbd7ca4e1d7d53eaadeda511962a36eb0a9ce0ecbcfbbbd9a2636e23a0c1c22683943639cd44af051ff235b8dfbb73a4dc6f5785a6f2b42e843228be53eb768d64c6f9d4355ae95f083e51ed57c437310
m = a741ec2002be6f4fa76037b7f0644f833fa823e630401a39d3240c6e82a430bb
K = 62a8c220b01793ecd183dea9762c5602211e0aab001cbc892d0a95693ab17cc1
r = 16ce593e016201dee38926330bb78b1f0cab703862c66dc1f5fdf80f2da01ca7
μ = 811668810600001068001068810600000000000000810600000000811668001068811668000000000000001068000000001068000000000000000000001068811668811668001068811668811668001068810600811668811668000000810600811668810600001068001068000000000000001068810600811668810600811668000000811668810600811668001068000000000000811668811668000000810600001068810600811668811668000000810600811668000000000000001068811668811668811668000000000000001068001068001068811668000000001068000000001068810600001068811668000000000000811668000000000000000000000000810600001068001068810600000000810600001068811668000000811668000000810600811668000000810600001068000000000000811668000000000000001068811668001068810600001068000000000000001068000000810600001068001068000000000000811668000000811668001068811668001068
A^T = 12f91d03f0303a2b6d912b7ee8b329963607e9c4101024b61be459dcf5754938c6c6a1b17b4a589d7942644788b05c13148530c97ca4bdf18410906c9d515c425359cd3609ce26560f25a579b817a4328417a79b5fc40c84c50a7d91a81dd60122599395bc633db6a6902035f9a33d7e890c22e30854b26d9ff5bb3c631cb89148b7a52e1d3397340c3e44494479e382b8194a767257ae89bae2a1b4d7c14fb1a68062f7619bd8582fa99f91d66b55d87ba740631392b45a709cb97b0856e76071bc5ceea3cad39aabd4b0ce9a9400db591783890af0042b43e44f4e7a527c21aa8372898dd26078752b73cc6dbe344d7d3b9a0244abdef61f4cd9cb9994aa39c2041c617a5f85a5f6c08a5438849ac83889da5987e23ebb21727950a243031bd5c06cd03538cfec09e6538aa42a89141125fe904285a901480a04cbba493b63a7e0f823c98a4c72a086507b5e1f2a60ac95c10a8c5a83b524d978c9e64b9c6d180692b23510809f6035851b039467686f98fa6760bc7010a6c1c968456d763f02097622d5b54febc61881472d7c5eec9834c1d304b8c94d89a04b5bb672302464a8bb43ac854e8f6cc0546a1d2016b8ad221bb2939e613ac5ae7b7ec9576d50265dd02ca683b69a6620cb87c08d6aab49a56c09219863134947f17c96f50cb2f01493d9d431672a68893b0f2594c204eaac6871242bd00365fc019ff1530ac10c7d1051489cbb2efb499b888497a61615f25144db1943c03c99eca96009a749c44a7709cdaef18047282ac9615b04b42318a2ac01d834c447a9ebfc758b469e7fe43355903a9cfc9bf830a085538631c6553432cddcc78900f35d3db7418a03951a0577235b9f6036b23b3269c64bceebba4bbd3c1592b541c0857c93d14eb1a5231e74532273b1bc666e2484b42e4b5e0fa32b2337362f60c73e5a80d6ab7ae78a7cdbca4a8be5ae94c063489a2469f2b09c8ba6f2e92459768c30daa218c387107ba32d6a072dc63bd9a38ececb571988c727ab0fc332835aca1925f4c1f2210b006d96cd2a7e1c4caead7ccd55b05931b3b94f9c02fa2651b750b79f227eef59a6173936fe4814603bab0589b771d17c12778bcccc4309f67ddeb95b4b873c81f72a0783a8ee123ff5b6235a56b486c768bd8113a4f09d19c9af80fb98ef8b6c697b42e7bc009807762de9365391547cf822c07b869f49104ffab3098746da759ae3378961385521da9470a42c78073bee570feb4a9b14ecbe666a136462aaa0dc2ce173b61c625563fb50b5c9c2f208ba42e656d221431fab0a2868b154366db5e5b19a4822b0385936e4be96b2ad83013a904970efec5329f0a563f6406a57b82df2965b9ba492b29c678262e6829a11011478460d8da1a75d14972996bb8e0762237bbb8c9b044d0337cff8312ae18094082f7d6ca361d69bf0d004dffbc9d55b905f8359f421b4748328a9e722cacca07ffc210e7c35cd461abc069fe4d7980a570e83b01103b878491c200f70aa8bc71a296bb711acc2452c98f88810e75869ee4997bcc17a09712338f83d66b96161e908a4c4279a615ecbe2682349a21e55af66127ad08114b06709c724653d59561aa249c1c050b08c13974211843ba4e1571bb9c8a547e2a3fcd25e3866653728bd57a8c9c480404295819e559ae6727d81d61b785b7817dc3b67560db36c2b0509976ff39435869e49044987fc4d92b9bfd07a37fa08193057aecf585734280d0201a0ea237da26b5741f528dfea6a58d291a5d5543be52d31b5468b82143e754d0714747981aea189025a8931eba7a0ef2561bb0860b8c2442285b4ed22b40c882f19350789642bdd6797e8d98566eb411221a425f34c73aacf92e0a5d8b35272302b815041833b29b1a409d1087b6ef00197893f3b2a93ff61646d77c0c5089f93ec7261347a871c9e7559c11677a84cdab7598c3bd2709e9df33186954682b7ae1f888043a738cd906cab0a06ecb74badd6b303eaaa5ed261e51009c867b8548a84b4ca62845b9f7b9aae1f4107caf9cd2b43469185616ab96b2c09438f06ad95b5605c646b67a8b88b5587fcb0235656ae23d0530fe996bfb691429716e46a2bcd299573c80d7c37ba4fe14e38d556c3281a1b416b2996cb9aacb059345aa6ec078714c52fd3b01d176f
r = 0120000200d0001000fe0cd0002d00000d00002000000d00000d0003f0cf000000000d000100d0020000002d000100d002f0cfff0c000100d0000dd00000d00100d0000000002000001d0001200001200003f0cf00e0cf00f0cf000dd0ff0c00021000001d0001000001f0cf0100d0ff0cd00100d0000d0001000001100001f0cf0100d00000d0000000ff0c000100d001100003f0cf0000d000000001000001f0cf002d000200000220000020000210000000000200d000000002100000f0cf031000010000002000000d000000d0000dd00200d0000d00ff0cd0000d00020000ff0c00010000000000000d000200d0021000000000ff0c00000000000000001000000d00021000020000032000fe1c000100d00000d0000000011000000d0000fdcf00fdcf0200d001f0cf00fdcf0100d0010000002d00000000000000010000010000020000ff0c000100d0021000001000011000ff0c000000000100d00200000100d0000d000000000100d0001000ff0c0000100002f0cf0000d0011000000000010000001d00ff0cd0000d000000d001000002000000f0cf000dd0001000000dd0ff0c00ff2c000000d000000000200001300000100000fdcf00f0cf0000d0003d000000d00110000300d0001d0001100002e0cfff0c00001d000000d0000dd0010000000d000100d0fefccf000dd0000d00020000001d000100d000f0cfff0cd0ff0cd0000000000dd0022000000000000d00020000ff0cd0ff2c00000dd002f0cf02f0cf00f0cf002000000dd0001000000dd00100d0002d00ff2c0001f0cf00f0cf000d000100000100000210000100d001000001100002f0cf00f0cf001000000dd00000d0ff0c00000000010000002000ff1c000000d0021000010000ff2c0000f0cf000000001d00000dd00230000100d001f0cf011000011000032000000dd001100000000000fdcf001d000000d0000dd0000000000dd0030000ff1c00ff0c00ff2c0000e0cf01f0cf0100d000f0cf01f0cf00f0cf010000000000002d00000dd00000d00210000000d0010000001000011000001d00002000
NTT(r) = 8ed81b00a3474f536d9254be888958edc6ce34a4864e37a69439bf5f98982e3433a187aaa98503ab0c7bbb2a8e47a41c24988eaff40802c9ad4a81ae6189cdb851cf7c350b447b05f1e0ac2044a459e3aed2441fc587739b11c88d61538c573b6bb33f8b3320d54c7241043a1c1a26e771441893657b1a3d4dab4f5f754335062fb014a66efbb13b4872a0761b6497cae58c5434f7c75d2a43e1c22b25885ce6281783891aec5c2aef2aa869dc28bfea0c71db10b3158603a68017465e8e8b7c82e53fda6622a8412903d34013f3960f0324c9f3218056ae7acaaf1d7968384c0cdd185ebeba5e6a38323e8c614d27ab7c494d2d584147e75ccee78596815f55bb4a8ae8b1ba7979fa031d5a7b2e72e42c9340cda6d926cf765506709e0a8298a3d6c92ab78fe6e35f58b4486ed1770b016e08c5219133799112518478b0cae45c8c91c5435acc38a115bb8128d6441f18867303f32f03ea45a83217747c72b80127cdfa4af9b95b4330a13ee6b33284940417a5b5692c4760b88c6a9cda3130cac056087c22b623bf270a116825a7baacc63e2997c26b820df40fac57203ea13652db3f4ec0957d90b5fd487fd4392d220c450988c84220ac3e54b4fd9186736bc7b3264fc8a4ce74d0b305376c6ff1088028660e030307802de0b7340fe3bbbac337608747911514e33545add502e8bac64142121cf5a6eca9253822b6abab8d914ba3a6f952f9c756cddacfeba2b499d42de47030c4fc8ac6bac603cbb3e64c11b6a3a494c5523b75af587928730a26bcf89bb8fc6dad8b769c322d54e597bc97685cf7a7cf6c8e08604e8a795bc2b53a58d4493b2c74cb792c1b61c319b976fe1ab5fd690ca49a97722a54a008064eaac08f4a102f6c7b136430439cb6f6885687aa89fde44568eb33fa446c6102154d12465b063cd9e3c489896912144638111f6b50435937b6762a173503b180839839f1a2c29769494cca2d4482dfc480057672c138a3f20535f9db9e5703250785750841cbb70b74830c8c0ec2b9ef27beca7c93eb079c16bb7e5b3600a1573da415628536c29cbb80b2d0c1c9ec39
e1 = 0000d0ff1c00000d000000d000f0cf002000001000002d000100d00110000000d0000dd00000000100d0001000000d00020000012000010000000d000100000000d0000d000000d0000000010000001d00000dd00000000110000100000010000000d0000000ff0c000000000000d0ff0c0001000000f0cf0000d00000d0000dd001f0cf0010000100d000f0cf0010000110000100d001f0cf001000010000000000000000000d00fffccf01f0cf0010000100d000000000100001f0cf000000001000000000000000ff0cd0001000000dd0000000010000010000000dd0000000000000000d00000d00010000000dd00100d0010000021000000000000000ff1c0002000000fdcf0100d0000d0000fdcf011000022000000d00011000021000ff1c00000d00001000011000001d00001d00ff0c000100d0000000ff0c000200d0001d000000d00000000000d00100d0020000001d00000dd0010000010000000dd00000000120000000d0010000000d00011000ff1c00001d00ff0c00000000fffccf021000000000002d000000d0001000000dd0010000000000001d00000d000120000120000000d00000d00000d000f0cf0100d00000d000f0cf000d000100d0020000000d00011000000000000d00000d000000d0000d0001000001f0cf001d00000dd0020000000000000000011000000dd00100000000d00200000000d0020000000d00000d000100d0020000010000000d00ff1c00010000002d00000000001d00ff0c00000d00ff0cd00000d0ff1c00001000ff0c00ff2c00021000012000010000001d000000000100d0000dd00000000000000100000200000010000000d00000d0010000000d00010000000d00000dd0021000000000010000000d000000000110000100d00010000000d0ff2c000100d00000d0011000000dd0ff0cd0000000001000010000022000002d00000dd00100000000d0ff0cd00100d00000d0000d00000dd00000d00100d0001d00ff0c0000f0cf001000ff1c000010000100d00210000200d00000d0000d000010000100d0000d00000000000d00
e2 = 001000ff1c00000000002d00000dd0000dd001f0cf000d000100000000d00000d001000000f0cf000000ff0cd0001000001d00ff1c00001d00000000000d00000d00011000002d00000000010000000d000200d000000000f0cf010000000dd0000000000d00001d0001f0cf000000011000000000000d00000dd0011000010000010000ff0c0002100001f0cf010000ff1c000110000000d00010000200d00120000000d00000d00000d0ff0cd0000000000d00000d000000d00000d0fffccf0000d00000d00110000200d0002d00ff0cd0000d00010000ff2c00001000001000001d00ff0cd0010000ff1c00001000000000011000001d000100000010000000d0000d0001f0cf000d00000d00001d00000d000110000100d0002000ff0c000010000100d00200d0001d00001d00ff1c00ff2c00000dd00100d00000000010000010000000d0021000ff1c000000d000f0cf000000001d00000d00001d00011000001d00010000001d00020000000dd00110000000d0001d00001d0000fdcf
u = aaeb4a983538688494a536642866396702a08d24533651bee94c3948411323dc3b11f1b3458662e243371b223eb9395ebad549129a8b9462b3fba20bd2b8a77b112e8848122a12ac080363f0069fcdc041aebba5936b4392e1a1e33c449946c08404b402a63a09413474e7240bd1896872c33433552ea17887b3c48ef5ab69a146aa01b3d504b40a737a3c231edc169947d0bb6a84b087102daf51a448c0a6174b6e37a159bd598142089481502d1d3b2c2036c9397b90bb216a917ca6d4b2bccbf1829f976230636c2c4521e705b2eb1cb495e5446db9b4727bb7031672291802b90a1b2ea64b336c55a39cc9873c5450dc17938321c62c7453bb4eb16c745397a38a3967f6357a29564aa2870763a869383184b4551137c88a4cd31cbe503bd2c99cf8e58e96db502cea04914c4ae320805f570d77c08d0d9131e4a207d974071624214c253e1c4805c7d93f4cb210f92932dd361a6dac8a38c9001324890a089846cb1ee8dc66c04b6f4a46713db587c128998609bfd7c9112cda16fb11187369cabb98c7d8f2026ff17e174ba9fda1b7fa550183d49bcbb3b0ea39486fd8164bc1682f9a874d02c4f258752fb0b4d908393a5a2ea4b40362da57d2b00f9656613aec474e3030ac933240a98db32c3e45619b240762390599980a9565e0038b1abbe8c736a0d74c95e915ed8b18849c2c07342af6cb4298969e87a44c4ca02efe822cc18cb05aeacd9e210d28421f038b2decb27659595d1ca083536150af68ab92366eb26098e4f0ba6367c2e768bdf4fa8894b19b2da06ae91a03afa36e38f293199b1eac3b5d4ea1062b16799b9612580c13040921e16453bf64321311669e79668d852649b6630cc67dd2090ce9171fad0c60cf000566f86d520baf4a1b2fa572074d66840b269bb297a3475b602d72a11e6a807659a2c41497e7b8b140681c16213c3e5042681cb780d812a1d95b379279ded29fb53b7b65362cf0629ee00641df7a846bc7b05ab248282910d26233101c20b42885ffd50726b540b1405293a309427bb861dc60ad25c048244fd4888873101b70a41fc4594c5f59cc
u[0] = {2986, 1198, 1432, 899, 1128, 2376, 1701, 1603, 1576, 918, 615, 2560, 1165, 1330, 310, 3045, 3305, 916, 328, 308, 3107, 957, 273, 2879, 1605, 1576, 994, 884, 539, 994, 2489, 1507, 1466, 1181, 2578, 2233, 660, 2870, 763, 186, 2258, 2683, 379, 737, 2184, 292, 554, 2753, 776, 1584, 1776, 2544, 205, 1052, 2990, 2651, 2963, 1078, 402, 2590, 3299, 1091, 1689, 3076, 1156, 2880, 1538, 938, 265, 836, 1908, 590, 267, 2205, 616, 3127, 820, 1363, 302, 1930, 903, 3147, 1422, 2751, 361, 1130, 426, 2864, 1237, 2880, 778, 1959, 828, 482, 1756, 2449, 71, 3005, 1130, 2824, 135, 721, 431, 2629, 72, 2668, 2839, 1764, 311, 1434, 2493, 2069, 2114, 2368, 129, 725, 2845, 707, 1568, 3219, 2873, 2311, 443, 1698, 3217, 2663, 724, 3019, 459, 2095, 1951, 1577, 816, 1734, 1324, 532, 1511, 2848, 3307, 2881, 1429, 1102, 2413, 2891, 2930, 2935, 1539, 1825, 2089, 33, 2745, 432, 1582, 1210, 3123, 1366, 3235, 3225, 3207, 1347, 3152, 381, 915, 536, 3270, 1858, 2899, 1259, 3249, 1862, 1875, 2617, 2442, 1651, 1526, 1955, 1577, 1189, 1954, 120, 2147, 1690, 312, 2115, 1460, 277, 2103, 2220, 844, 461, 190, 949, 2514, 2508, 1528, 2286, 2966, 1293, 2604, 78, 3217, 1188, 227, 2050, 1887, 213, 119, 2268, 269, 793, 740, 122, 1241, 119, 1046, 530, 1356, 994, 2076, 84, 2503, 1021, 588, 267, 2553, 802, 1757, 419, 3181, 2218, 2360, 12, 1043, 2194, 2058, 2432, 2886, 492, 3304, 1645, 3008, 1780, 1610, 1812, 1341, 2171, 2241, 2450, 2438, 3056, 2519, 284, 2604, 365, 507, 385}
compress(u[0]) = {918, 369, 440, 277, 347, 731, 523, 493, 485, 282, 189, 787, 358, 409, 95, 937, 1017, 282, 101, 95, 956, 294, 84, 886, 494, 485, 306, 272, 166, 306, 766, 464, 451, 363, 793, 687, 203, 883, 235, 57, 695, 825, 117, 227, 672, 90, 170, 847, 239, 487, 546, 783, 63, 324, 920, 815, 911, 332, 124, 797, 1015, 336, 520, 946, 356, 886, 473, 289, 82, 257, 587, 181, 82, 678, 189, 962, 252, 419, 93, 594, 278, 968, 437, 846, 111, 348, 131, 881, 381, 886, 239, 603, 255, 148, 540, 753, 22, 924, 348, 869, 42, 222, 133, 809, 22, 821, 873, 543, 96, 441, 767, 636, 650, 728, 40, 223, 875, 217, 482, 990, 884, 711, 136, 522, 990, 819, 223, 929, 141, 644, 600, 485, 251, 533, 407, 164, 465, 876, 1017, 886, 440, 339, 742, 889, 901, 903, 473, 561, 643, 10, 844, 133, 487, 372, 961, 420, 995, 992, 986, 414, 970, 117, 281, 165, 1006, 572, 892, 387, 999, 573, 577, 805, 751, 508, 469, 601, 485, 366, 601, 37, 660, 520, 96, 651, 449, 85, 647, 683, 260, 142, 58, 292, 773, 771, 470, 703, 912, 398, 801, 24, 990, 365, 70, 631, 580, 66, 37, 698, 83, 244, 228, 38, 382, 37, 322, 163, 417, 306, 639, 26, 770, 314, 181, 82, 785, 247, 540, 129, 978, 682, 726, 4, 321, 675, 633, 748, 888, 151, 1016, 506, 925, 548, 495, 557, 412, 668, 689, 754, 750, 940, 775, 87, 801, 112, 156, 118}
c1 = 96c7855b455b6dbb607be569d4cbc46665f645eaf96b54c617bc9b4485ddee95271344a6c8e42f74c3ad95f1abcbccbd4e0eb7e65cc738a06aa1cad3ef9c27e2c33f1085f9cb8f33c547c7f74385a0ec64d99d5d485204b4642d5298da8bf0fc8cd6859416215f9bd36f703548dc7dd9fdce96ff50c261bc1670ce55d92a785348ca16d49cf68760e4f62f9f8a628bc2376b67239ef7741f8b8882decffc4de88d108a6579fb54781929d1b19dbfddb84d656ede851f9e5d8c832ac07421e7d1153c69e383afbd67cad7915129eef3c8f760e7f71864c9eff2575d96e5b9956509942208c6a2c15571e8aa0439a20349050f6cddaf903b163206deb765c49d440a5182ae53d0438e097e9520d428a1c9f4a70602eb548b1411dfc36120d2ab6a2d01418d9a27bb785f82bf7e9d93f85e8b9c711aabbceeb27ef01521c3c1891de892ffaaf5e03810479c6907dd09e2d71930d6bf2b99ddf05898c2610681226f5a4bf1c006e940deb9665432396d4920336c413471e077c38b85413b21e5836daee8cb4446bf328ab759bc4277fbc1043e67fe664358ea352f1babe7a1fd363d41e37a5207325c565e1794c3ce36ec97fd72fd7f04a18a266383630e92e02e9700a26830c6ead2057a7883bb46606e64efbd92feb5a87cf8eb40835b3f201288af60abb625972f774608e65189e016cc7b61ac28806966173e55d8572f7eb5f5f2de7adcad59f00e6f66623e7640645069877b779d373ad09400dfa2dcedeb65c9786bb7cac61de399eec7779ddbebda8a3262054a1318157de19d76612f71ae5829cec49a7b895f36e72cdc215058338aa4d9b99815ed13def463bb27ad3e8a9d0995f964436519bd7037e3cf73f79bec5115762ba82314d2152701e325aefb
v = {600, 669, 1463, 1988, 2661, 2401, 1809, 2360, 352, 1372, 2581, 247, 2484, 1425, 232, 1772, 2463, 2480, 911, 1705, 581, 1200, 2947, 693, 1883, 1279, 2146, 2354, 1078, 2587, 100, 2836, 3060, 2332, 1478, 2153, 2875, 2252, 1746, 463, 2473, 2354, 1959, 763, 1157, 1161, 1868, 1020, 1223, 2808, 3001, 862, 1884, 2868, 2488, 2666, 2277, 2659, 2631, 3192, 1715, 594, 2859, 874, 923, 2079, 2903, 1768, 167, 2181, 1141, 464, 2333, 2141, 1791, 1739, 687, 2152, 1230, 2282, 269, 2901, 4, 2676, 1858, 1266, 2267, 515, 414, 1528, 2223, 1743, 1478, 188, 219, 292, 267, 278, 134, 280, 2698, 1010, 2367, 461, 2587, 3083, 1015, 3302, 2049, 1128, 526, 1395, 2672, 2354, 628, 2537, 1983, 1533, 3301, 1503, 479, 3135, 857, 235, 2570, 1048, 2798, 1473, 993, 130, 1171, 2058, 2316, 1958, 3001, 233, 2048, 2224, 1450, 2712, 304, 1611, 3148, 2690, 571, 2102, 2611, 2430, 1063, 2245, 241, 844, 2360, 1595, 2625, 470, 1939, 461, 1937, 1842, 672, 551, 1624, 1023, 1475, 955, 1345, 512, 1735, 3192, 729, 1619, 391, 2047, 2317, 3266, 3153, 1233, 131, 1249, 497, 1253, 2006, 928, 430, 965, 2438, 3228, 2880, 1269, 1902, 3007, 2647, 207, 1924, 2340, 2735, 743, 729, 3147, 3103, 437, 3095, 2247, 2736, 3230, 3199, 91, 3030, 1211, 2374, 524, 3187, 2252, 1222, 152, 3223, 2390, 3151, 2208, 2861, 873, 3229, 3201, 784, 110, 1227, 2389, 807, 895, 2484, 2395, 2063, 846, 3280, 1325, 203, 1742, 2342, 1601, 277, 584, 2911, 2163, 1208, 3155, 2506, 755, 2306, 2319, 3264, 1283, 2109, 2649, 3046, 523} = 58d229b7457c651a9611879360c155157a0fb41959e8c06e9f099b8f936a45024b835b2b5bf74f62289336b4a16440b1f4cb91c695863bcb8cd2f61ca92993a7b72f8594484cc73fc784afb9eb355c47b3b8a9a6e538a6478ac7b326252bab369bf381578b6ea7508875041d1dd985ffb66caf8286cea48e0d51b50440a742274fdb38209e815faff86cc6c50bdb40120b61118680118a2a3f3fd91c1bbac0f763ce0188460e3257702a9374929ebfd75fe5fc5ddff1c359b30e0a8a41ee1a5ce1230893a4800c697ab99b0e00088baa85a930b1644c2ca83b628333ea9727548cf1c03438b963416a1d93d71c912773a0722258f63fc3b53b410520c786c7d9326587f17f0d29cc511c4d83104ef1514ed6073aae513c86c9c9405b4f6ef7bb57fa0c844792af7a2ed9b2c41f5c1b177c8cb0eac97fbc05d6bb4b46c92073cc8cc68409976c954f0c8a2d9b369d1cc810e306cb549527f337b4b9950fe834d0dc52cbe06c2619641581245f3b87b834c5ca392f02f990c03c503d98a5e6bb20
compress(v) = {3, 3, 7, 10, 13, 12, 9, 11, 2, 7, 12, 1, 12, 7, 1, 9, 12, 12, 4, 8, 3, 6, 14, 3, 9, 6, 10, 11, 5, 12, 0, 14, 15, 11, 7, 10, 14, 11, 8, 2, 12, 11, 9, 4, 6, 6, 9, 5, 6, 13, 14, 4, 9, 14, 12, 13, 11, 13, 13, 15, 8, 3, 14, 4, 4, 10, 14, 8, 1, 10, 5, 2, 11, 10, 9, 8, 3, 10, 6, 11, 1, 14, 0, 13, 9, 6, 11, 2, 2, 7, 11, 8, 7, 1, 1, 1, 1, 1, 1, 1, 13, 5, 11, 2, 12, 15, 5, 0, 10, 5, 3, 7, 13, 11, 3, 12, 10, 7, 0, 7, 2, 15, 4, 1, 12, 5, 13, 7, 5, 1, 6, 10, 11, 9, 14, 1, 10, 11, 7, 13, 1, 8, 15, 13, 3, 10, 13, 12, 5, 11, 1, 4, 11, 8, 13, 2, 9, 2, 9, 9, 3, 3, 8, 5, 7, 5, 6, 2, 8, 15, 4, 8, 2, 10, 11, 0, 15, 6, 1, 6, 2, 6, 10, 4, 2, 5, 12, 0, 14, 6, 9, 14, 13, 1, 9, 11, 13, 4, 4, 15, 15, 2, 15, 11, 13, 0, 15, 0, 15, 6, 11, 3, 15, 11, 6, 1, 15, 11, 15, 11, 14, 4, 0, 15, 4, 1, 6, 11, 4, 4, 12, 12, 10, 4, 0, 6, 1, 8, 11, 8, 1, 3, 14, 10, 6, 15, 12, 4, 11, 11, 0, 6, 10, 13, 15, 3}
c2 = 33a7cdb9721c7c91cc84633e69bac5e0bfa7be28bc496659d64ee9dcdbfd384ea48ea125ab89a3b6e1d0692b728b171111115d2bfc055a73bdc37a70f2145c7d15a69b1ebad781dfa3cdb5418b2d299933585726f884a20b6f61624a520c6ee91db94df42fbf0d0f6f3bbf16bfbf4ef014b644cc4a60818b31aef64cbb60da3f
c = 96c7855b455b6dbb607be569d4cbc46665f645eaf96b54c617bc9b4485ddee95271344a6c8e42f74c3ad95f1abcbccbd4e0eb7e65cc738a06aa1cad3ef9c27e2c33f1085f9cb8f33c547c7f74385a0ec64d99d5d485204b4642d5298da8bf0fc8cd6859416215f9bd36f703548dc7dd9fdce96ff50c261bc1670ce55d92a785348ca16d49cf68760e4f62f9f8a628bc2376b67239ef7741f8b8882decffc4de88d108a6579fb54781929d1b19dbfddb84d656ede851f9e5d8c832ac07421e7d1153c69e383afbd67cad7915129eef3c8f760e7f71864c9eff2575d96e5b9956509942208c6a2c15571e8aa0439a20349050f6cddaf903b163206deb765c49d440a5182ae53d0438e097e9520d428a1c9f4a70602eb548b1411dfc36120d2ab6a2d01418d9a27bb785f82bf7e9d93f85e8b9c711aabbceeb27ef01521c3c1891de892ffaaf5e03810479c6907dd09e2d71930d6bf2b99ddf05898c2610681226f5a4bf1c006e940deb9665432396d4920336c413471e077c38b85413b21e5836daee8cb4446bf328ab759bc4277fbc1043e67fe664358ea352f1babe7a1fd363d41e37a5207325c565e1794c3ce36ec97fd72fd7f04a18a266383630e92e02e9700a26830c6ead2057a7883bb46606e64efbd92feb5a87cf8eb40835b3f201288af60abb625972f774608e65189e016cc7b61ac28806966173e55d8572f7eb5f5f2de7adcad59f00e6f66623e7640645069877b779d373ad09400dfa2dcedeb65c9786bb7cac61de399eec7779ddbebda8a3262054a1318157de19d76612f71ae5829cec49a7b895f36e72cdc215058338aa4d9b99815ed13def463bb27ad3e8a9d0995f964436519bd7037e3cf73f79bec5115762ba82314d2152701e325aefb33a7cdb9721c7c91cc84633e69bac5e0bfa7be28bc496659d64ee9dcdbfd384ea48ea125ab89a3b6e1d0692b728b171111115d2bfc055a73bdc37a70f2145c7d15a69b1ebad781dfa3cdb5418b2d299933585726f884a20b6f61624a520c6ee91db94df42fbf0d0f6f3bbf16bfbf4ef014b644cc4a60818b31aef64cbb60da3f
uᵈ = a80b4b965538688494a4366429563966f29f8c24533561beea5c3948511324cc3b1101b4469662e343371c323eba495ebac549129a8b9472b3fc920bd3a8a77c212e8958122922ac09f362ef269fcdd041afaba5927b4393f1a1e44c449b36c08504b402c63a0b413474c7240bc1896672c33323552eb17888b3c48de5ab69b146aa01b3d704b409837a3d131edc069948c0bb6b94b089202db061a448d0a6165b6e38a159bd498141f89382502d1d1b2c1f26c93a7b90ba116a927ca6d5c2bccae1829f976230536c2b5521e805b2ea0cb496e5446ca9b4718bb70206722a1802b80a1b2f964b345c55a39cc9852c5451cc17928321c64c7454ab4eb07c745497a3893967f5257a29664aa2870762b869384184b4451137c88a4de31cbd503bd1b99cf8d58e95eb502cea04923c4ae430805e770d78d08d0e9131e5c207da84071724214c353e1d5805c7d93f4cb210f83932dc361a6b9c8a38d9001424890a089847bb1ee7dc66bf6b6f4936713bc587c038998609bfd8b9112cca16fb01187369cab988c7d8e2026f017f164ba9feb1b7fb450182d49bccc3b0eb29486fc8164ce1682f8a874c12c4f148752ea0b4da2839395a2ea3b40363ca57d3a00f9756613bfc474e2030ac93323fa98db33c3e45719b23f76138059997fa9465e0038a2abbe9b7369fd74c96f915ed9b18858c2c07442af6eb4297869e89a44c4b802eff822cc09cb05adacd9d310d29521f038b2decb27659495d1db083527150b058ab91266eb36098e4f0ba6477c2e768bdf6fa8893a19b2eb06ae91a03af936e39f293198b1eac4b5d4fb1062c26799b8612582c1304f920e05453c064321401669d69668d652649c6630bc67dd1090ce9171facec5fd0100565f86d51fbae4a2b2fa482074c46840b069bb297a3475b602c92a11f7a807669a2c3f496e7d8b141781c18213c3e4042681cb77fe812a0d95b368279dff29fb52b7b66162cef529edf0641df8a846bc7b059c248281910d26233102c20b31885fec50725a540b05052929309448bb862bc60ad35c048144fd3988872001b6fb41fc4694c5f69cc
NTT(uᵈ) = 2c622f3ec163ec18ac66a8938f2a40fd982a453c50bc7c627ad03b775cbc47549a7ba6a543e40a5336a56c0185c2b65e8c19b562b1b836d3a61a865b92640a95fc3f55e90f5cd350151a18a0fa0f180c4c91215a8d4612b62c36be089174c45a3ac1957e8525d562484aaa85697a5975521939052104cab9fbc39d61694378fb58338b435c14536016842974bb3580b659e847a7a3b327a58ab232888549927c0a3e3892af0007cdb03a0bfe8bae8eb09f14454a2241a4e1f29793774b3b578d65d43c064a8bbfb3a82019b4e5072565b37cba2740afe6911dd3425648ba98067edb29cec703c0a1e9796d750de4f34eeb9500a642170fa118a0fb7ab298ab352a19e2ebab17626616e96f094422d18968864b7458018120227c0082408f086cddc2038016977dd6c3f52c4f662b6aaa6ac32e71254d51c9f26111beec9c037517ef0782c8946c613a86bf1b166eab1e5e325731b62c1f9a25acaa136a7899cf3529b954239ad54274b2c1b0b312bc166b0164956e244177f2c13ab48a6d8132b2ea6e36d54578b3ccae73c102a1746f510c8fb604ef23989bb0ad912ab467d13892a8469d7120b0e716dbf7bef19ab2c0966da8118fcde2a9514128e54c9ac4413b2235ade5a8194d3b3ebd6757e3f9cb00900a80e15c2bf3441bd11e2e233687b935c5347984b5b303ac103c03bdff8814251240c0fc7d2f58b6e7829153584aea5573e8aa2939192e9bf164ebd79f532640de2a3305a51ddf579edf9731e0626a4d3c2e60e7531d8b412db7b3a51705c8366b46b5aa3d356b490040cb0887fee83ee5a09739c17c7f3c63f917553eb0795888ccac2230d0eb923c75772dda23f93bc9670c8f5b9545d63c4f366578e97570225a00596527c5b6182db72b5ee12edf0543b2a61b8bcaae21f8522c7159800214224c9b57d7caea882c2f7345a2633df0725e2a93832e7a2a873b122d8abed6317c0a118085c57f5876b8be7c6feae8762b336de8a2c59e321c892c0bf55b186df34557f94161eb47226379b552478fb0600bba44badaa71c4ca529047337b8c511e5bfe5d35b86707ad5ca8f
vᵈ = 700227b01582911a9c51178fa0015bc1090dc1095bd01075c1199c40136870024e610b2751074e21188f10149c0010b6311c8fb01582611b8f81061ac1198f510734e0044e510741e014a9610b345117b6c119a9f118a9911ac3810627610b34401382611b68d0108210041af11882511768701282e0148fd010b60010a951074ef1081aa0015bf11868b0050dd0000dd0000dd0000d910a41f1081ac119c310040021084170025b911a8f70129c21085b00005ba011c340030dc10941910a5b10040de01482f11875610b0d21188fb015a9d01068311ca9701282911a9c10148fd00034f11868910a1a51071a511775700227810641b00541e0041a8116c3401368a01182f10800310c4ed0004ea0014e210834a00141c10900610b4e5117b6910a0d51178f910a344013c3310c1a311c8f910a00310c00310c4ef10827311c8fe0040d311c8f311c8f610b340010c340030de0148f400334c1199c21083400004ed01068f11868d00027611b82e014c3c10934f1188f00004e2118a9310c27
w = 71d6634f0609da2c6af2dc68e916ce94dc0124a00460760250800216666be5ec6655f6601680ced2ec03cf3c618a4c0980405fafaccd0da00173dcc909606256666c01177032c06cc806621d2664f22c668816029ab671e75667e3ccced836cf5e26672746cd2dd05d4fcc63b2dccf866002b46c5fee16020ad668cc560086d6664220c97cf660db0601b5e66b2c3064b94c0071f0cad5966b8cc662955c05c2e6cf36f068c296cac4b66120a6637d60c646c60074966af13c01bf3c00a38c68b7d66bdc766454665d985cceb7f005ee4c6c5ecc69cefc6aa6966489000223106bb8dccc7d8c69d7b6ccb10c680c366dba5c04ac7c00b4a673b2ccc9bfbcc79e3000ecfc0582a602ac3c6936c0687276c7dcecc82dd6045a107193f662b0dccbcf5664c54ccf2a66021b8766892c005e26cf14306b939ccc812008f4356f4dec047c10cd04d0614f566d4a7066ffd6c2383071f40cce2b10cca63c6d06f0cdc0b6cc0fe068198068f2ac02d6ccc89b5665b7dc0c6b166844c06705d66b3a906c
KBar = d08b06e61415a845c0fe5447ba9b22072130d897fd7117457a9060121955a1e5