d = 2a62c39ef4fc499f2d132716f480bb7521a49558ae84ee80d9352e66daf1e3a8
ρ = db09edbe4f1a61a62a23531cf707976a861efef13e8347210d77f3d080e9ba89
σ = 567045c6a7bb78ffdb2c07dc8e18a68f242af76a72bf83c3b2c71bdd49a2974c
A[0, 0] = {1221, 310, 2096, 2198, 2290, 1899, 984, 2261, 2224, 132, 1310, 3010, 626, 2170, 3038, 836, 2997, 1484, 2674, 2419, 167, 53, 1294, 484, 1820, 678, 516, 2194, 1984, 638, 1617, 2507, 244, 1692, 1103, 1238, 3172, 1224, 1328, 1001, 1431, 1347, 2870, 165, 211, 2952, 203, 196, 2262, 2297, 2150, 2026, 1094, 1608, 1666, 637, 32, 400, 2399, 2773, 1852, 1148, 403, 1502, 3174, 748, 1627, 1369, 1288, 587, 545, 2876, 1078, 695, 1306, 2856, 3263, 1791, 679, 3261, 2418, 3100, 780, 2237, 1530, 1130, 1824, 93, 2046, 1370, 2066, 1171, 1083, 2623, 2966, 1357, 862, 2079, 3157, 306, 2782, 2476, 1290, 2828, 2227, 1209, 574, 1731, 1845, 11, 1236, 2741, 1942, 529, 1537, 2310, 1580, 721, 41, 218, 2644, 2887, 746, 1377, 3212, 2330, 270, 1674, 1723, 1011, 2229, 1805, 50, 1262, 789, 2105, 1651, 745, 2043, 2406, 166, 3001, 2603, 2513, 180, 1193, 1254, 351, 1253, 415, 2768, 2052, 2032, 2846, 1079, 2134, 3197, 151, 2779, 2863, 2861, 2996, 366, 1254, 2563, 2071, 1839, 406, 1297, 169, 2349, 3308, 1181, 3019, 1762, 726, 195, 1612, 163, 672, 2583, 2486, 2285, 124, 1186, 1919, 582, 2462, 1241, 1961, 1711, 3232, 1851, 2143, 1245, 1524, 3184, 244, 2033, 543, 41, 1808, 1450, 330, 2609, 3127, 1819, 2811, 2181, 2648, 481, 2542, 3215, 1804, 647, 2644, 744, 153, 1057, 2641, 2416, 476, 3314, 109, 2411, 1985, 1311, 2902, 1356, 1392, 2993, 1817, 1747, 1944, 2347, 2438, 1013, 3167, 2474, 2098, 1752, 621, 1636, 2106, 337, 490, 1195, 3007, 1021, 1139, 2852, 1822, 208, 971, 525, 643} = c56413306889f2b876d8538db048081e25bc72a287de4b34b5cb5c723a97a750030e451e1c672a042289c0e72751b69cf4c0694f644d648c4c30953e973554365b0ad380b8cb400cd6988f66a87e46846482d6272000195f59ad3cc74793e15d66cc2e5b965508b52421c2b336742b1a85b2bffc6fa7d2cb72c9c10cd38bfaa54620d705fea7551238493bf4a396db545ef381552c13deca9a0ac5b0b3984b3e326c35b700d454ab9617210166902c162d29a00d547ab4ea12568cac910ea168bb363fb5d87032e04e15938373962efb6796a690bb2b1a9db4904ae6f415e5f419d04a80f0e7b13764857d7c09dbfab22d4bbb6e614e037a812f671911950a2dc9ce9db4bce2662dc3c064a3002a176a9bedc807a2f47746e299d9947aaf06ca3bf785dd445f704c0ff1f721290071aaa514317ac31bb7af8588a5e1e19e8fcc708742a5e892092114a570c91df2dc066b197c1f65b54c0557b19b71d386792b6998f5f3c5aa2983d8d62664a68351a11eabf4bbfd334724eb71d0b03c0d3228
A = c56413306889f2b876d8538db048081e25bc72a287de4b34b5cb5c723a97a750030e451e1c672a042289c0e72751b69cf4c0694f644d648c4c30953e973554365b0ad380b8cb400cd6988f66a87e46846482d6272000195f59ad3cc74793e15d66cc2e5b965508b52421c2b336742b1a85b2bffc6fa7d2cb72c9c10cd38bfaa54620d705fea7551238493bf4a396db545ef381552c13deca9a0ac5b0b3984b3e326c35b700d454ab9617210166902c162d29a00d547ab4ea12568cac910ea168bb363fb5d87032e04e15938373962efb6796a690bb2b1a9db4904ae6f415e5f419d04a80f0e7b13764857d7c09dbfab22d4bbb6e614e037a812f671911950a2dc9ce9db4bce2662dc3c064a3002a176a9bedc807a2f47746e299d9947aaf06ca3bf785dd445f704c0ff1f721290071aaa514317ac31bb7af8588a5e1e19e8fcc708742a5e892092114a570c91df2dc066b197c1f65b54c0557b19b71d386792b6998f5f3c5aa2983d8d62664a68351a11eabf4bbfd334724eb71d0b03c0d32285f14b352eaaf19762abb5c6edcc0a590e148e2359ac606af67632dccd3bcd3462d2532ccba60670ad2485f7a415876344573be94d70e444949d4d3ca760a8e77283626022c4a5579419881224a82bb545cefaa877528cedbe20ac9c9385c2461165c31d4b24b57b2556000205ff4b54f7c5a53d818bdf1cb3eb88120c42c0e3271285592573628e89495750a7e1c371c8cc69490609b864ba66823388e99b7484100fbe28ac5da228bd7c6e482bafac77b902c450720197151678d089bd161ace5c3199234b0a8180ad6445ea1ca1aae932409f66ea1dcbad17a8c4a372ac4eaac9b0858aa2b629147b6c22717a2a3b5f87b7be2dc9bd1a64f0cf2b29e06b0c30b3daaa4cd74d4ce25db265db2a6a6e4c093571b492372130b448e67309a2b7b8e457f6b2099d70956ff378c5f6787bb5b5405b30033a6a519134d64f3cbd0633ba266858cecc7a98570e8c1babd6a478c3528c7c47ec5997c798777165041c5657845b954ab6cce74d9782aa894f56cb430d334c50cb27dd32865a0937d6844d770761e784c1cd78fae35a6c3d415bdb2888fdaa5a65a2f17c625c00b8e78771fa0b12fff731999f647f3db547f565431395ff9d69f9d325e45b246eab84ff2fc4b9daa2ff110120a91c579b8024d18573c2a7203e15b05f58bda674f9b378c6c75c1a7903d06b94152b45ac9b04c55bb18c30335f7eb819141110c0720db331d07c69e669b4b6e0b4a09785d404b44dcf02f399124f00132ac939375c9394035951d4c1ed17a06ec546ad3fb0dcf6bb447982cffa55b4b220dc1fc94687b5ee45cb8e57b93c5b506e902a49b7ac6d2521ed9198b2b22ccbaa573b41b86bf758f31c7ce8a3090c7424cab4c1fb305cb758ca95b7984e492b2c20c5ec712563fd23d4162125f1103d3002ee43541965b8cf277bd2176a437b52464b801c2e4c803725834e9a9f7d635bcf06972ca0a828c02ea8957863580e5a93614293233f107b919294c84388e411418b3a5b6ca3f87e89203ac246005554db475d8d12fda4079291a4182d24a02465dc2fa1f65085fdc14ad2c16180d921721890121b83b97478de3e7935eb65f4777764f85b28e69b9cf2b38a1077a4058c84db8a4dcb6a07c29ac74fc7e6fb88b34c2c43dd282ac4b505bdabcf1910e8aa8933689a5e9583b01d151e0b2605c50859339525b630aab2c63ead3bb73a44027a2522bea6852d35ebc12acfd0a53b0026b7e07bb9d2a34a6a846ea60385cb88e85ebaae67cbe5a501b245709cb97398fda5f976232f8f71ee24a59d31c5a35a466e4da3ed1b9c76cf2c263754c8d96b7d8c6749f769fc8488949732016e29479ba2d07607450e4b7e2cb596687a9d01cb3c5130bdb8859c23231d8146163717721033b1e737cbb2070dd28a4573552e917689f4427d733717af46d3281a42899a438116ae08816cd5c2c969498ca9435da385d007c23a9d219e4689c01b647fd7883defa9e356807fd928a4a880d907442aee5cd944cc4c022478ac4a7aee8ac96b4a84a851b67bbb7fc5831c866178d2a0dc33196bd068618c7689ac3351e0242f16574a5472b56591572b432b46506ae99adc5da8b5273606c0a17da59443846cf96a904a95683ba10506b565be16143d468560bb908db63ce4683afc7556acfac9b48314e82914f5700776b6b9fc6745364e17d16611f94d76584422fd214c83ae8b481090dcab90d43a9a8555656a071cc15152f53793533cbb094044367f32257ab755d0452b150bf0a72cd8a89a414d7a1d0c281692426b6a0aa2605518ec26567469f54899d251bc3aaf3ccd0ca737db247b299be5fc07340183c3db1c9a83140cada9bb03c7705481788b2c91a37130b6b0cd5d5bb2a0a2fcbc88274426f883975b293178c03805b4920f3f4c4ad741a2d9c2c46914a97a66f9e62a46f58c43889b333392f715b0d81787b915692cc176977a5c04cfacc8070cdbfa20c5c020200b1a3030a55fc057ec39c5fe7d3a80ce640f63ccd00d2918b635dc906725db309dcbc644a1031e93c9438cb0b2a432f63c48b8f4a44d55888c3946f3dc61e6abc42e9ec9eb4c51bce055c437951df347bc216ae0fea2dc9a3334a514b4e4629d951801fc448f2d7ae28fc58667505213a62d154b3648636050049305074495001eb38219c89921d7b45ce9920a14c957f2b7e79ab7803e70f6b5191c44c642736b8d9408459884dc026cd73b96e43d598d9c1b8d18cac0cecb0b2cc9d94b3413f8269eb5072565ac86bb639f384b8b6b21401c416f0b11cc1e1612220244fd04f93fc44196b8d2aa07c01c1543864c9b40a933881b5e1a3cc566b848c176968b643c4803831016d6b6cb09b428a420c920ff82890151f3d87bada51a97d0875197a29aecc1c58896f46f405b492a91ad29fe77b09006a0bb5f6c101c46fc3036a89349f00b737475a3a25d28158456ee357528c9074126114c60aa7c6871bc174b95b1759d392b40e251b8dd0b042b82f5180460941273053916a2829a9b54ec57c6fb539c8b330b68fc58fda681a32a02e2dc41353b139db7663bc816262a07d95399b2ce53a5d55ae30dc436c789f19561ffaba899699cbcf5abdf9f948c45b7d369844ae7b5d9503579e4a1cd1fa21128b5b1d9906afdcb147552b459aaa1d85a23bdc09bfe4bb5c854406c255860a2ed3e7af4bf229edb7c8fbfa0f4b6054f449ae93acbd0a3593dfa318d3d840a1b01464f122fa7b46518682528bc381d55643891a970561026a34170b9d17352e2500442707922c81422e0486cb618309db60f9d25659258207ca0d4b6b46a985058fd48caba5650035ce41e2cb20a16e22788f70f7b460d9a05ce81d13b3258406830138b3eb01b2db9a6b9ea2bec2224dca4012b9b858dfd8002d366dbe852b1ea5461a509ee27919cb4574f62707c58160d6c255726b64bf66c4c1a371654556de16872dd66864849d5fe721bd3c04992024a4314961231e7871c53d40343070037529497465c7e9002b06077b15436cebdba1e0db742f2b040438ba0a08c96eabcd8352c04bfc536b80a4d5fc5393d44cac37c3454005b444577f206a253498098c1305c62ab38b3cb9a3c23f5aa769f5cb4a0acaaec745f07432ef90252572c61e10410b63641444073442466616303ef2c563f81c43632983428de9bcb92278066390c1caba63bb1661791341ea66b6add3343f16aef81131f35975e25b50c0e16b2b330962c218b3722201143eee74336a260180e5a5745465f483a6deb88276a183d16bbcec2c19c56771691804aa49250fac93e8227e8f9404ad57940d680666c9a3a2b03918c70ca83c2e14836fe8bc0ebdf1c1edabafecaa5559a22988acc0c914b2cd62bcf3b87e8f407cd4e10ee9a88be5e48068d508d04b8fbdb584fe14c4cfa05709a8298398ba4b527dbce5776c131572cc8c13b882ef2562e711a65fca022703206c5c7c3db114ce29a2b7a98bc81471c27c2581da29f738005df265c632ca2c1b5d96503aa90080c898a560467dde585c778481ef096a804396474a067ef33a37dc2af39c9984dbc8dbb36d027202bb272e539963af74c5e35bc69a727843d546269cadd55c15c1667a4f645523c44c29610bbbec135ada176b257e8a030c57925a0764339c68014acc77c3e0b108fb0034763ca866b3a8e3acb70540420b9ced65c8a9d97614648ce71838cdc08931a91804e97268a5b42675c2f82a2d800998f25a2940fcc02126188559879661b6c3a3329c1b3c86e62e0f9264830b98b4c245c077662cd51f0956bc2bc96a13352171d00a3fe74f1ab3b610a61a7948027988811aca8d299a7bf92c96ee11a201b29a04f1116639719a071bab4caed5a36bb18a155968c924fb64f6439ce993a88fc1a96be3cc2394755d675a8237ad7116460ccbc67508174d5970cc46c33ac4596b16a1bb28bc7fb11cb3a8b9fee6b03190cd5facb08a59b0bad85d320c4be707190d6306004ac9bfd57262d0bf50f7cff77b3a79f53f45dc03bfb7bdd6247d43cc23b8c2b7edd56d89e8568c67cc1d10725a56535e1b56c3215a1c85309bb4247b370c5d0c8f02d11a54f56115636157113b0548c2b224cc29ec408aba84e45ba815007eec1901a65c21927541fd6256d145cf7f0882b37b411d12a19bda49072bcd60f987258622bd3126558972f5332cd201a3d94531b062611df597f27a2c9e403f0ca2ac79bb1c37e013f5db5246766cb8d0a6b4139e2dfcb864db82fa96239c132ef01c0ec2d0ce3474a33c1b67ff1794df653c2cac2333b0257dc15f403b7b137cabc25c110b3999bc9a455e148c0d3946295a35ed08c40b3c9098d9969da9a702a1a34cb03944713ba19ccd98f92b05d8249ea776a9e16753b95b04eb4eda568e8edb91f8a119f040867e5594210c87fa5c204b626a1d4554ffe57adcf9131b0108a41b8411f63198395a11f3367f144df80c99554c32b8da405d1934b4d74b74e53279029b9223ae1cd141ac23aff28067f717a026998393eaa1bf810c996869f4f05a4134b0d129032ccb593fa0cc83556a377971e1ab4159c972a1e697486bc8ba70be6b67600d3110c36108db7cc840221f034952adf0beca487c8962a5a3d20f6c80c4a96125fb922baae578faaa72f3c4aeaf7212b18b5ba4da6504a45ca73266dfdc13e103845b8c39c0d48579e27081bc9bbe5aaeac84a943c656e9c19b050b061531097f80597ca8a73eea54c5acae8f85a34bba4221f4c78b2a9690617d90e3b21e03be91e0921364b459378607fb8e756b13f4b1cfbdc1762907848c847fc4ba72b9d80fa8590a5425742e6b56585277ab3b17c271b4747b85ff41888cca88042300f46555a261c3c7708f2f60a89692ce8c8717c6a89ede4777a281bffde0b5d33a2d1fb8cbd32c26600903a2b5a0d621af5adb8fa3f86334e4c5ca1ba2591c024938ac9d083732dc3a1726377cb9b88d5b200f6ba49f2414e754a11c105421919ca42cb59d483bc634993f9522573b9613e37ccde12edd3c885a8cbda8b56aa515c3a5a04cd91b0db2b77e6e43b5223b0391fb1c3b7055d3a58a9c46abae9a893f4368d0c77d8c8c7cf88b47905b9a5b979e10d19a65f01088ea3917238dd89296bab8430a9c5936902ec8c7caab65334b8c0f982108f8814b29b90d772a741dd48772d39eb551803c0cbd723395de3280c12466e58620adcb2269aa9c0474b04b143a9d0bc1c2c813fc32577a0137beec5f71665a03b2388cc09b8a41b8f6c9b9dc03510f903e6e5537596b8de7578fc9b63b3bb1c55572c737e7716cf50ad4663b55e5b9ba4067301254cedc0b77cacc90d73e225369709820549b952c3b7302966c5d30a632534c0ceb8968d69e0bcc0c3861cb0304337f1263371ab7abf7bc8d9194e67c1c1ff81e7fb622a0258048e89d5026c60299b8e0e38c91601f48da72e73684ebf4265b73541fd2869d941673bb4e2bb4afe96a4fbe4c6a2cb53bcf30b628c891d7d563cf9072e22430197c5947d81851190129762f5dec5ecf3c23e486417a704ba35a6bd29579cb54ca76390d7f035ac6225a2edb9b1ecc7c3c189c6b38c875d031680c40887595ab83c65cda6df64b76e3958cfec03c86926d744c723221267ae97304b309c1903e6c6294159373e73196295025d5aa4105037f93136b2b797fa19594cd995d3e29852804975124c043c48c2fe369f167a7b66b2b52591101ca06828108d48c0054c6cda3c5ab8b750f1b3b674161230925628b73530f0ba3f82b41b997bba942567afcab8c8889bcd48f66915b186c21910752cc6a2e944ba00c59771aa37e72fb812787886b2802dff40867982527a1836e90485c2772d1a44cc854cefab27db9da9ccee173a4f1c2b1e7b6df2424d25184ad1c9baca2489a628cfa243a9f73a8f885be0a7a5b83c7a5b499c725e79bdf8aa1a883b51efb42164a4e9078284542458881ba712867ca7172aa8b6a5085a967014df8c16efa03290dfb31db664f856504d52845ad4a011503c517f2714fe764bb6c72672bc5b9694fcc29a6aa2432ded26757b6a310b69755e2b348351c435857a86a2d40e9b0c3044cee11662bd30a4736ca99f6b54b544bad3a9bce499370e42953a68225aac71de23dbe5265028c05e89a0c9a7063ac6404dd8b668f62aa0d0881879c6b9bd7c968d498636991d5ab7ab5d9b6d82640c686b6bf00b434b5cad5384451f46615b3b9cd5ba872ec7f500b93ff321290c3a4e7d52e104188b6e24f1e090a479ca8fe36505f121b221925de060f9a5650a8246d513bb6825bc267066303a93b64869552886dfe6b455921489d916ac8d9870512abfc55ab346236bbd98625c79c6b3aab2b125ea1a4abe2ac8745b214238702e4db69fb4c3ac24267ecbaaa8d0a0d98e2b4a89aa24219ce0f04cc7f657bbcfb1a7db707fc129b009c324be18830d87dd50cbde3888f0cf4a7f8e5bdb7aa9fcaf9a717fb99e245bfe7b79aa7ab1a6242051342cc599b0b3bf2480bd1bc1d3b17923bc37f3601bf39483ea36bdd98366bcc5d60252a8eb219ec2acb42d1229ad38203329eeee6c08b448793163ac9ecabef22174c4bac344b631a5aac5d51bda04a1b746ca4c6e32ebdb81f834b349ae8c50f783257005ab4da78f4c574a3b7ce82d11cce69383f831bcaf118cf68a1ba882b92f25afcc728a4aac33f43089d4948c57662a4a52de4001123532e888652c67b316d29b1892222f1d61c83ba486e40cbeaf58d23b20f86d913dca14f54685d9e7ba921f0b5db7c8115606934e49b45760ede306c4a04750d696afb46ba973aa1fbc8a95822c6250b65b90431fca22a24421d5f3161b9ba16ab34a490ba539d367fb6853afae40c30ac026733069e6706263542501c8d6f01b7321b7d8516a0cd39338e060753b47feacb8c1826a8eada2e4bc7ad7e48b6b4f0580217a092f8017fa8655ac07964984b96b74437e68c144510754a5c4803a46a056cf7799340e20b36c0066b5128d7980f7c0c6806225e995bbb6b08a788055a287161b48469b3517d807197196263f802a21715385886c056960981403ebd61c13091b0828b1a19d377241a782c83408e9c38076a71b70262fa92ce1a8247cda79feee8ca5c692ff28085965849f060138ac678e7f20be52bc0ab43b9310a9d118150ef78845941ced1dbaf167818d52831884b3248830bf4da64c5aa010bc38135d77309c33d98c736bc804b95f83dca9b1f74741c8c6587893442b40474dd283663a2c3549c4749044df7897a987b5444a6b314ba7b4dd44783720b6f9112ec82b898664d67614c0714acea620d2143bd9fb71a62ab0395b3573de70fce8271079100f0d63d82297319098ee7172c4dd54ac2698681ab29f8e73c39e1014d936c2fdbbf603728011808800552510a995002052072679e352f756a18a3ea1d642a3d49bac57784ae3ec13e28d98c3cfb59cf44b3f1b3477f4097aba8939478828dd729c810b89149cd1ea063aaa4b94fda368ef7489d140383c7781e385118039f169079929aa7ff2c25ff8a4e7a3aa4f0984cd5ab1dbbb52b09d256dbf37a00f000be329ee0742ff4faa00e91b7f35575e5b6444c7599a0b84627603c7fe15e4a403ada302eb0c1b6c377801e108d15ab30f6a731f5dbca7db22e66c288b2c6ae8a8681e0a738c27a8bf2e18d1c39c404c5b7c42a4cad87a76930259df13463e51c21b18026c11b18382a6216136a609510a37707717dbcd69ad3e5148b35552869858b197cd27cb3669542c2545f05c68e6a226549f37706ec22211b382d5c8d47fb78866222f7d8553fd4514e7b1c3ce180108094651a0391e1829977ce59b41eb42b82a3a9aeb6760cd3a38ed134123b6c15c4678847128558ec82cde831d6d78f1a20a83f301cfb93ca1cb41345f27991384169a6b9838578c0a35636a43319fbcd0a19a3dca76d9e33953dc8719a1254a3c39aadd525a967942b589705934750850c31a3cc63199e1d64c94c088c3c30ce657460c98a33731c8e92982568d32f4ce356e3fb4e4d7b94e206bbad17b9e09413301a4abd0175766116933373a5751f8c41c15df375337839ac85c6269b54adf8b97e46c7266c0e54b20647ac16ad7423c808a4
s[0] = {1, 0, 3328, 0, 3328, 0, 0, 1, 2, 0, 3328, 0, 0, 0, 2, 3327, 3328, 0, 2, 0, 0, 0, 1, 0, 0, 1, 3328, 0, 0, 3328, 1, 0, 2, 0, 0, 2, 1, 1, 1, 1, 2, 3328, 0, 0, 0, 1, 1, 3327, 3327, 0, 0, 0, 3328, 1, 3328, 1, 3328, 0, 3328, 1, 2, 3328, 1, 1, 3328, 3328, 0, 1, 3328, 1, 3328, 3328, 2, 0, 1, 1, 3328, 1, 3328, 0, 0, 0, 1, 3328, 1, 3327, 3327, 3328, 3328, 1, 0, 0, 3328, 0, 3328, 3328, 1, 3328, 3328, 3328, 0, 0, 3328, 0, 0, 3327, 3328, 3328, 3328, 3328, 3328, 0, 3328, 1, 2, 2, 3328, 1, 1, 0, 2, 1, 0, 3328, 3327, 1, 0, 1, 3327, 3327, 0, 1, 0, 3327, 3328, 3328, 0, 0, 0, 3327, 1, 3328, 0, 0, 3328, 0, 0, 0, 0, 1, 0, 0, 0, 3328, 3328, 3328, 0, 2, 1, 0, 3328, 0, 0, 3328, 0, 3328, 1, 0, 0, 0, 0, 0, 0, 3328, 1, 1, 0, 1, 2, 0, 3328, 0, 1, 1, 0, 3328, 0, 0, 0, 2, 1, 0, 1, 0, 0, 0, 1, 3328, 3327, 0, 3328, 3328, 0, 3328, 0, 0, 1, 0, 3328, 1, 3328, 0, 0, 1, 0, 0, 3328, 0, 1, 3327, 0, 3328, 1, 3328, 0, 1, 2, 1, 1, 3328, 3328, 2, 3327, 3327, 0, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0, 0, 0, 0, 3328, 1, 3327, 1, 1, 3328, 1, 3328} = 010000000d00000d00001000020000000d0000000002f0cf000d00020000000000010000001000000d000000d00100000200000020000110000110000200d000000000100001f0cfff0c00000000001d00001d00000d00001d000200d0011000000dd0001000001d00000dd0020000011000001d00000d000000000100d001f0cfff0cd0001d00000000000d00000dd00100d0000dd0000000000d0000f0cf000dd0000dd0000d00001d00022000001d000100000210000000d0ff1c00001000fffccf00100000f0cf000dd000000000f0cf0100d0000000000d000000000010000000000000d0000dd0002000010000000d000000d00000d00100000000000000000000d0011000001000020000000d000110000000d00000000020000100000100000000000100d0ff0c00000dd00000d0000000010000001d00000d00001000000000000d0001f0cf0000d00100d00010000210000100d0002d00fffccf001000010000011000000000011000000000000000001d00ff1c000100d00100d0
s = 010000000d00000d00001000020000000d0000000002f0cf000d00020000000000010000001000000d000000d00100000200000020000110000110000200d000000000100001f0cfff0c00000000001d00001d00000d00001d000200d0011000000dd0001000001d00000dd0020000011000001d00000d000000000100d001f0cfff0cd0001d00000000000d00000dd00100d0000dd0000000000d0000f0cf000dd0000dd0000d00001d00022000001d000100000210000000d0ff1c00001000fffccf00100000f0cf000dd000000000f0cf0100d0000000000d000000000010000000000000d0000dd0002000010000000d000000d00000d00100000000000000000000d0011000001000020000000d000110000000d00000000020000100000100000000000100d0ff0c00000dd00000d0000000010000001d00000d00001000000000000d0001f0cf0000d00100d00010000210000100d0002d00fffccf001000010000011000000000011000000000000000001d00ff1c000100d00100d00100d000fdcf0100000000d0000dd00000d0010000001d00000d00000d000100000000000000d00000000000d0002d00000000010000001000000dd0000000020000ff1c000000d0011000011000000d0002100000f0cf00000000100000f0cf0000d0002000001000fffccf010000001000000d000000d00000d00000000100d000f0cf002d00001d000100d00110000000d0010000010000020000000dd0001000001d00010000000dd0000000011000000dd0011000010000ff1c000100d00100d00110000100d00100000000d000fdcf0100d0020000000000001000000dd00100d000f0cf001d00012000001000000000001000000dd000f0cf0000d0000dd00000d0011000001d00000dd0001d00ff0cd00010000000d00100000200d0fffccf001d00ff0c0001100000200000000000000000fdcf000d000100000010000000d0000d00000d000110000100d00100d0010000000d000000d0000d000100d000f0cf000d000000d00100000000d0000d0000100000fdcf000dd0001d00012000010000000d00001000002000000d00000000ff1c00001000000dd002f0cf01000001000002f0cf0120000100d001f0cfff1c00001d00001000012000000d0000fdcf000000002d0000fdcf0000d00000d00200d0000d000110000000d00020000000d00210000110000000d00100000000d00100000200d0011000001d00001d000010000100000000000000d00000000000d0000000000dd00000d0001d00000d00010000001d000100000000d0020000000d000100000200000000d00110000100d0ff1c000010000100d00000d0000d000100000100d00100d0010000000000fffccf00200002f0cf0000d0010000000dd0000dd0001000ff0cd0010000011000000000ff1c00000000000000001d00000000011000011000000d00fffccf000d00010000001d00000000001d00ff0c00001000000000000000000dd00000000100d0000000000d00000dd00200d0001d00010000001d000000d00000d00100d000f0cf000d000000d0000d00000d00000000021000000000011000001d00001d00000d0000f0cf0000d000100000000000fdcf000dd0000dd0002d0000f0cf011000ff0cd00000000000d0001000001d0000100001f0cf000d00000dd00000d0011000000d00001d000100d002f0cf0100d001f0cf0000d0000dd00020000100d0000d000010000000d00100d000f0cf001000000dd0010000000000001d00001d00000d00001d000000000020000000d00100000000000000d0000000011000000000000d000100000100d0000d00010000001000000dd00000d0000d00010000001000010000000000000d0000000000fdcf0010000100000100000110000010000000d000f0cf000dd0001d000100d0010000ff0c000200d00000000100d00000000100d0000000000000020000001d000100d0000d00000d00ff1c0000200001000000100000000001000001f0cf001000ff0cd0000d000100d0020000000d00001d00ff0c000100d00100000100000100d000f0cf001d00000d0001f0cf0100000000d0000d00ff0c0000fdcf000dd0000000010000011000
NTT(s[0]) = {642, 1483, 1889, 159, 1951, 248, 1176, 648, 1709, 550, 1795, 1487, 867, 2312, 965, 57, 2651, 2579, 169, 2337, 690, 1901, 3069, 1389, 3004, 1594, 126, 2592, 1646, 2062, 1880, 1699, 3281, 227, 2909, 791, 2541, 2850, 1986, 260, 2996, 1543, 548, 326, 191, 2291, 1933, 1853, 2425, 133, 1090, 199, 2948, 1754, 3210, 1821, 2977, 556, 2500, 2286, 344, 721, 2432, 2435, 1185, 3024, 3168, 2886, 57, 2926, 2182, 1043, 584, 154, 501, 1821, 1764, 1003, 1577, 1679, 2659, 3258, 1442, 2636, 137, 214, 1275, 2918, 604, 510, 2948, 1224, 374, 3170, 1699, 1406, 2450, 2004, 1043, 2677, 558, 1026, 1872, 3317, 147, 819, 299, 2500, 1699, 3321, 873, 1869, 1503, 168, 292, 3224, 2115, 2212, 3252, 2933, 2332, 745, 786, 1200, 1194, 633, 554, 3267, 617, 2372, 2219, 1654, 2260, 1887, 1935, 601, 3104, 1534, 1424, 2545, 986, 2771, 2193, 2365, 2599, 3219, 931, 1534, 1577, 2999, 767, 1445, 2093, 1230, 1468, 2757, 2492, 506, 2729, 2334, 2672, 2992, 647, 979, 1834, 3222, 605, 3238, 3283, 1341, 2122, 1018, 3059, 1679, 2615, 2318, 2959, 2384, 2108, 2234, 507, 2912, 2080, 2582, 941, 3102, 2974, 343, 2879, 840, 689, 2393, 1248, 821, 2383, 2933, 1336, 3077, 1328, 2430, 2230, 3128, 466, 1194, 2611, 662, 2345, 995, 1803, 370, 1299, 2049, 3166, 3125, 2821, 1747, 1168, 984, 2434, 827, 3265, 348, 372, 2268, 2717, 2365, 2879, 819, 3000, 1980, 1271, 1009, 2415, 1461, 1822, 284, 1087, 1789, 2402, 777, 3314, 1240, 1615, 1734, 3042, 3268, 3288, 2651, 1239, 2180, 3038, 579, 384, 1899, 3008, 1790} = 82b25c61f7099f870f988428ad662203f75c638390c593035b3aa1a91092b2d276fddb56bcab637e00a26ee68058376ad13c0e5d7b31ed29b2c24710b47b60246214bf308f8dd77379590842740c84ab6d8adc71a1cb22c4e98e58112d803998a104bd606cb439e0b686384148a209f5d171e4b63e29f66863aacba2c5a489600dfb64b65ce21f848b4c7621c6a3e65792497d1354a72e22405057cf9330332b419ca396cf69d374df850a2481c943488ab45cb71c992e12034baa94272a32cc694294ab6867d4f8758f972520ec5f90159fda33ad91d893273ac9a3e35f2976bbff525a2de84cbc55acbca91fa9ea91700abb87323d2a67c95d62cad3dc534aa83ff3fb6837ea908f0b953ca88bfb01b62068a1ade3c19e7b153f8b34b19295e054334f59b73855c030e597b688c3d2a14a336a2929393e0b27171315805e5cc3053b6d90843d82b933c1cc1574c18d9dda933f3b33b8cb7bf7143f6f595b1ec7113fd46f629930f28c4d4f666ce24bccd8bca5d74488de3b2480b176c0eb6f
dkPKE = NTT(s) = 82b25c61f7099f870f988428ad662203f75c638390c593035b3aa1a91092b2d276fddb56bcab637e00a26ee68058376ad13c0e5d7b31ed29b2c24710b47b60246214bf308f8dd77379590842740c84ab6d8adc71a1cb22c4e98e58112d803998a104bd606cb439e0b686384148a209f5d171e4b63e29f66863aacba2c5a489600dfb64b65ce21f848b4c7621c6a3e65792497d1354a72e22405057cf9330332b419ca396cf69d374df850a2481c943488ab45cb71c992e12034baa94272a32cc694294ab6867d4f8758f972520ec5f90159fda33ad91d893273ac9a3e35f2976bbff525a2de84cbc55acbca91fa9ea91700abb87323d2a67c95d62cad3dc534aa83ff3fb6837ea908f0b953ca88bfb01b62068a1ade3c19e7b153f8b34b19295e054334f59b73855c030e597b688c3d2a14a336a2929393e0b27171315805e5cc3053b6d90843d82b933c1cc1574c18d9dda933f3b33b8cb7bf7143f6f595b1ec7113fd46f629930f28c4d4f666ce24bccd8bca5d74488de3b2480b176c0eb6f9dd19434ec33563303fcf7cdbe09c55d4216ad524379e451e74a2121c442c4412de5e137ed18421e07779b598860cc2e4e42c10f58a01617936c4548453183739c5624c68915b79a25a90257b1437a1583a9107d7d0587bee15570f3c008b9140f779cdce06fba05ac57991020162bb2096911594109f9032a09007eea48e1b5b5e11c9643d75284256c5a73b935668abb12aeeab7b040f71e17a74235e166d1942f7caa890869ccb1184cd44a9e82a89f31e83602e21de2b5cacfc254282470e0c66b020a5b058043e9135ab06c4fe1329d7a280ba6dc3de017c1041a26cf3b10d305c73594c469ac11b091bcb20412dfdc3ef0b712aee31fc2a81bfbd9990ca296fe45bcb992ba92d4148591a2f80990f218a2991bb3f3098a36c6568db8a40ab03b9e017305d893b48285a5178ee6b80dd2c5555837c3e976afd36b895c10acb438ca7009ad7723b31b3aa6a680156ec3cfe4e813dbf010e6e5b39a890b76984d20e965c5a39a6cda801ec55c55245abe3b946bda7c8e70c99ac62e2ca2c2ce165722d710a1c443a6467f91c63ed53c3f223580fbd058b6c8b4f134ae3b490ae97466e1983b0e669b22615df1732df9e9a98d4575720571ffa60dc888a65f6644902a9ad89a93c4b22132515d808ca445bab49e3276caa8a48d272b823477a0bc151491c229ab38bd6a4485257374cbcd03d6a6c655b6a1d06751995fa1c394116476f399673b5b40857cb9c68721168a936d89a3008923b81c2d7eb94ba63c3eff45b4ccb48a9d2142e8d5238ce904376bcd1e088b864a6a5acab75b138b9be44b08f00825bc3a804835337cac36bc41ca8bab90384a51341875c7ad27d109afa36e2965cafe1922811762a077af789b8d6c490c0f102b62869ca38a83effb05f14ac82346645de63cb60bba30b665a3f1c9f842952aea89fe630f6404b63164a39692180d806d65da3c1be076ae77b42d665edd2b93c1210427909d294a2fbad460444032a727960210005b7b3ad367cc300738187b3c64bbc00b16257f09182537129b14bf94c482bfdb9b82634821862a7fb0234ae0b5685582de054cb5575e9f8464336609cbd7ad5b486117ac4ea2468be9147e8c96b3a07993d5725f85c31c79405541c2c13b3abdc55b2dfa2ab02842a711a2b877097769c22be065622ab0a92d5108bfa10c644935ee4652efca95fafca3b5cccf0187a45708cf68838ffa79427a0400f8439f15b11e064b2b777c0715aa8a91c96ea7f1a851f47f8f077514a36c901059892273ca8695b3b418c8187558d18f1b9153d6c0b966e08f9a675889aa519224cdc4fc1fee51082ec26cea593124435f4bf95b3d852ad9554953088aae602e0ad3023d17576123929b1150fa496b850ab4e5f372ab7188f3127d2dcb970df56c4f5a2548903bd5ec50fb9196cf2374d7cc728243757743083d4a93c4b6adca54314a3200fe5a303aba4c07d4cf3eb632eca5b353190decd984395192d1f63d3d9291e00aa17e0872df27a405832d0a7b43115b05e6a4cb9293812ab26eb2e148e4b5082ba99039d6847a03be1693afc09a3ab95044107586e0db02720145c84cc800b669c51c8a96e526c4a99970234409414ed623cc
e = 0010000000d00000d0000d00000d00000dd0001d00020000000d00010000000000000000000dd0000000000d000000000110000100d00000d000f0cf000d00000000012000ff0c00000dd00000000010000200d00100d0011000000000ff0c000000d001000001100000100002100000f0cf001000000dd0ff0cd000000000fdcf0000d0020000001000010000000d00000d00012000010000010000000000000dd0fffccf010000011000001d000000d0002000001d000110000010000000d0ff0cd0002d00020000002000001000002d00000000000000000d000000000020000010000000000110000000d001f0cf0000d002f0cf000000002000020000ff0c00010000000000001d000000000100d00100d0001000001000020000ff0cd0000000020000000000000dd0012000000d000120000200d00200000200000110000000000000d0002000010000000dd00100d0000000000dd0000000000000001000001d00ff0cd00000d00000000100d0000dd00100d0002000001000000000001000010000001000010000ff0c00000d000010000000000200000100d00000d002f0cf011000020000000000000d00000000010000001000001000000dd0011000ff0cd000000000f0cf0000d0001000000000001000000000002000000d00001000ff0c000120000100000100000000d0010000001d00000000002d00000000000dd0000d00ff1c00000000021000010000000d000000d000000002000000000000000000100001000000f0cf010000000d000110000010000100d0001d00010000000000001d0001100000000000100001000000f0cf000d000000d0010000ff1c00000d00000d00010000002000ff0c0000fdcf001d000000d000100001000000fdcf000000ff0cd0ff1c00011000ff0cd00100000220000100000000d0012000001d00000000010000000000000d00001d00000d000010000000d00220000000d0001d000000d002000000f0cf001d00000000001000010000000dd0010000010000001000020000000000000d00fffccf001d000000d00020000210000100d00200d00010000000d00110000110000110000000d00010000010000000d00010000000d0ff0c00001d00001000000000000000000d00000dd00100d0001d000100d000000000000001200001000000fdcf0000d00020000010000210000010000000000000d00000000010000000d00000000010000020000110000100000000d00000000100d001000001200000fdcf0110000010000110000000000010000010000000d00000000200d00100d00100d00000000000d0002000000d000000000000d00000d0000d00011000000dd0011000001d000000000100000100000100000000000110000200d00010000000000000d00110000000d00200000000d0000dd000fdcf011000020000001d0000000000fdcf000d00010000001d00000000000000000dd0000000020000ff1c00ff1c0001000000f0cf0000000100000100d0ff0c000110000100000210000000d0012000002d000100d0fffccf011000002000000000001000010000010000001d00001d000100000110000100000100000100d0000dd0000dd00000d00010000000000000d00100d000f0cf000d000110000000000000d0001000000000000000002d000000d00010000100d0001d00000d000100d00100d0000d000100000200000200d000fdcf001d00001000000000011000000d000100d0000d00000000ff0c000000d0000000011000000dd0011000000dd00000d0ff0c00000dd00010000100d00100d0001d00000dd0010000000dd0010000001000002d0000000000200001f0cf01f0cf000d0001100000000000f0cf021000001d00010000010000001000010000011000001d00011000002000011000ff0c00ff0c0001f0cf0000d001000000f0cf010000001d00001d000000000100d00000d0000d0000200001100000f0cf000000ff0c000210000200000000d0011000011000ff0c00000dd00020000010000000d0001000000000011000000d00000dd0ff0c00000dd0020000000000010000ff0c00000d000010000120000100d0000000001000002000010000000000010000001d00001d00
NTT(e) = e6a75cbb814998c75da68ba322b1a8d1193c3c393b3494b543d39c7d5c27a4963409eb1fb633ad0da40bec9ca524aa75c913b8bfea226be96e6ea3284b496d63312a37407b9380a6f09115fb64c0cd63ab6d7c4361a959e56307485173e37a7d4180872d1689d7190695997b8e0702ecb82fd1a687e00a5b24679bb85821ac0951cfb4884e093e7985a74adb196d9836ff94156946a0a9851ca0640ee131175383b2b2b1be77286d07080229cacf57680ef5f83ae8a3a080794eaa5ac67d096f9668a3f7fc3c81310aec002b2c626ab1776b2dbc719f30a5b38b0623069cfe682b92627b65884deb34c19e24bb17132786349e093587a6d061c34a457323664fd21c71559cd46c301e9314732120cd7c49fec15ea8a87aa80bb804881d7188aedc4934f32933689a69a6f552047abaae00a4dc0110f0f271b414cb1b253ba50ba0cf200fabd70ed1dc27a946bb07a8549e701445442c7f0248d469b69a87148037182d703f4aa4877970a304822b06929bdef60feb135b4bb19d11b39ff3264e5f3aa9d8126d981b717f9192e733b290ac55c49a6a3dc04df92090b620b6b739a4ab7546e2bc530be8c153fb314a3212d93c0670a0b7626bb9aed721738290a2a849e692940fdc9cb925b56f9868f0777ab0b1c9985b203eb173944ba82b8c02b3d846460abcf724292290be88479a15579a1fe9173c3a1a38f3a8fac49facc9112b203c3287094732195a58254df696557c50d88857f55c1e39a99f63e28659119fe8a521ee26abc43cb1a9abc15d38a6c6240db07a4909d74ffbc730bd2a1dae3a9302c4603b143e7980c4a83155452c3ce0441c81fa21a557bcd1384ab741b6a7c8a0fbc19f1db430382398e5cc79da7301d4a1bb09d4ae48682a74901a906c25c5bb2691670a60744c7e96a799f58e2727aa420b34f5506e57aaa427e3ae36a825278c13ed7056238c298a51bd8a47902969c46136a4bfc1bbc477563c0a45400a1913490e4b05a888bb261ae8072866800a4365836c7f2ea3bf4c31b77bc721aff057ffd986268ac92012888ac5962373c0a5b78336703d27323d42955ee2376cc5252d6c6a5a0ecb93d620aba46ccbbaec284d97af6fd539780532d428bb46336fdfb84207b9b48ee7107c6b1d6c14768b3098209a57a0217e10773776da3d0184931ae42609346a5e754d2f6cb6a6690bd576692ad36906cb00065b12231b6951c07a18ab4f5b91917e6c07ed289ae101ba90a00e15d378f7d846c3d89eb43546b3a15abcdccc638769fcb89ecad34b8015aca1ab6b48a054fb599ea9a278ba0ac68999743f46420292c430f340d36142ec75b42a4c83ea3483bebc76144818bb545bf4e145cba107a456b3d7a8c97b0b693f87857abc6f455477fe4b53e10cbe87e9109d33af85720622e5b83c807391d33fcf77629f941cedfbaeff954b8770a9e0b4a3e6e84052bcb62bbc183eac5cbb994439178ae10525017030a5f53179d1af49849f9c4a29b8341d96489a833c8270691711ea994a25aae5a485bbf053c4d61b5b482a2db5c930e5b1e11a299345174c2b56e90215d7627bb5a1a106433086506f9b063194e86d9e27c1f4dbcd32a6a1cb93b89906c15c619316ba067c4b0c4925978395b90a6639fdc86cd4b86d7a75ce38ea94c25051f0e629360241272123b0512a72d281f3e05c98942c117a407ea81b29270bd7989afcac1827196d35731529558fe44140b06172e8d1b6db77a98c2c74f9d3679d4a56d50307ec0311f6b5b06a09117a02ac9f729a648126eda7398c4c5704db42fb2747a6447d75c49a65542eeaa220a480994d09448ce04b05dbcd0e9407ca90656e9c88c4b057c2bb03f786b318474e09e816e13b1dda3c49316bc977e73de602ca69aa5ef4e662495155f6c719d0295de26906c4a081afc37cea46369bec8a0e2b875190100813878371ae18e959f166841a3709dca1839c13303b078e9173691796ab10c03a6b729b83bc040145b8a84ab4c42713f36493897a877cc37cec10b0a8e124e9994e1c104719685cb1092c3a22976e8b1d0009a7e5a5bb8981755fe8cc671947db326db31899ff1887f710cd842b88a13088092a4def90088da06c742773dd3596021731660820e065724682be61a8cb6ff881ffda58d6f24d5cfa40
t = ed859032bbb74c7412a7271c8ef23a5a08c31551a2a5cb8ada78538ce6c96d11625cb45e87b133163b16a4705aba1514f006afccbccf3c5c05acbc4563771bb8508072745d0ba56f57566181c3073b6c2b0dda50a2a83e74c67bcd48c0820b809d03a6ae4193dbd3bc06d072d2c64fd1e0b408a9c29818cd2df7790f9779536b0a076b4fb57b56f8cbb8ea3290c2f8b381c993d9eb49d8b4873ec660895528ab9ac306a66ae8209e2db9b79cb89220fab9d5cbb290ac690c79199218229aa8276393a73c826459429baed8365b88733871450e9523959c3f28691a3a0622e923259d2c90a61ca1525caf75a3a4292036957a5966d55840927234e1c5445b6685396890e3ccb9869147e63ce0b23defbb1c00f46df3819dd4a5756a355f61c1793b25a9b713c3abd12605198083773cf26909ffc92cd423cd290ba1801c694e7c80d6e2c9c1b943c69a5e7387ade187b21bd2a598c49ec772cde74656f1b43fa21021bcb86db8f91e03522bb4a76823483033f68659b57fa972c42673795b9a5dafa229fd8818f940a1b38a925cf06af712332b789a6f64ce91c7010af8a531101de8541a3ba4b4b893bfe7e791e693a5987a3d2d7224aeb213c5aba14aa0686efbbf31258d37122c304151916a9291181ffe788864f52acf001d788a3d80e4ad14623e9c402090b73fae5cb4225802cc4ab9c323c8cb914231c31c14c12a20ab7b5df5b6815bc04d991a32b6ccd229cf9692bf2e549ceb66512be58afe284b1d4990e46b5bafcca72589024e0b710169445e793cbbda9ca2664882199a54c31484d9364c2545876758999027c8f6423fa1a9ea810731092ca41c2451f29452c24d1d120517e06eaac91a77a47dec3c036ff84bfda92bcb396a36a75007014c0b6882a939b7e2c109c6046c04e9c1e4b1bd83444cf7838ca909946b512cb8d06ed3ab66a62071eb439632cccbced23c06c3456cdabf321328a17263e6aa3fee0028bef312cc99477ac71c53909740502e340b7cc06111eeb90bb08c58bfb97d78acbb10e7240ee5672062783636565c1744217787ffa33287f5075464b97707aec6864b38c918e0ebaf40fc9aac6128db4863a40c80b9d23261344a370c7b2dcb76e38623e5443242bcce9fb872b4c589b886aeb9fc79347cbf216b6ea8d1c7f5c5802fa24d1e68a4dc161699f90681069898e41d34a82cced119189b6547587972c4b17851a292f728f638a90164b97416c5b5b9231f1c675cf12c8ec1ce4866673f61addf98950263680efb56124b5936862f5328a3de923c4b2435b543ceee3b9761b5515aaaaecbdbb9cf8202090c82a2e5301fd0aee4fa4b39b0302d1813ab87cc1ba15595c36ef953401a92b8a88465c29ca4062626bc45b2a762c4ed957e53551827322351701db42c73e340566a476f559ac776283816da810c76af10f41482577544302e80eb6ab2fb720c2a950464c62970a450e65983c336dde77039722c614143a2b72c40256cf2142365ebaf288b0d9d69b56671b45f72c90a26ad50229d8fd6291ae6306d614aba34b65af02fa7cc2f5d7c5c8f4b30dc715f65f82c6320088fe0cfd4f05dc63a22ffeb0f38f68c5e08af5603c605007c9efc1f1574c94d322191f248cf34246d9bb06c650e85a8ce1832860689af7791054bd01b79a11cc41ca05f3a174d9393191bc541678989b0a6fbea82c488aa828b077003a69b335098d00616e28d7853ab98b54c0b99840ff94393532285ccbc003120cd8b77c5c18d0e654750893de5c071a60a152350cc537a34a60c7032c21623c1bd0ce38046b986e786051e9891a7784223b45cc09682dbfacd92776f594377d07290667a81726c7a62ab1e883329b22205b3e72165c846261429dd3cccedd4933bb38f4b9000a066c2464844ab47899269033078c1f2473e564a2c697caeded4cda82b8516c287b23a84ee997fe9206874f73d130a73d5a14e10668365089a9695b7870806fa8431663120eac9b9133937117cb3bcf862e306747139253f181deb0352e6bb6b888561d46b3406fa31ec08520b275bacb6b1fd1bc40076958ed1bf96b70c5f567c9f83a3abdcc85e81aa0f99a50c2aac18a4177aa0bd1d7caaabb11e09a3bc211685396750a4723c8c8334433019c1844c9aa22b6e6995bc703d
ek = ed859032bbb74c7412a7271c8ef23a5a08c31551a2a5cb8ada78538ce6c96d11625cb45e87b133163b16a4705aba1514f006afccbccf3c5c05acbc4563771bb8508072745d0ba56f57566181c3073b6c2b0dda50a2a83e74c67bcd48c0820b809d03a6ae4193dbd3bc06d072d2c64fd1e0b408a9c29818cd2df7790f9779536b0a076b4fb57b56f8cbb8ea3290c2f8b381c993d9eb49d8b4873ec660895528ab9ac306a66ae8209e2db9b79cb89220fab9d5cbb290ac690c79199218229aa8276393a73c826459429baed8365b88733871450e9523959c3f28691a3a0622e923259d2c90a61ca1525caf75a3a4292036957a5966d55840927234e1c5445b6685396890e3ccb9869147e63ce0b23defbb1c00f46df3819dd4a5756a355f61c1793b25a9b713c3abd12605198083773cf26909ffc92cd423cd290ba1801c694e7c80d6e2c9c1b943c69a5e7387ade187b21bd2a598c49ec772cde74656f1b43fa21021bcb86db8f91e03522bb4a76823483033f68659b57fa972c42673795b9a5dafa229fd8818f940a1b38a925cf06af712332b789a6f64ce91c7010af8a531101de8541a3ba4b4b893bfe7e791e693a5987a3d2d7224aeb213c5aba14aa0686efbbf31258d37122c304151916a9291181ffe788864f52acf001d788a3d80e4ad14623e9c402090b73fae5cb4225802cc4ab9c323c8cb914231c31c14c12a20ab7b5df5b6815bc04d991a32b6ccd229cf9692bf2e549ceb66512be58afe284b1d4990e46b5bafcca72589024e0b710169445e793cbbda9ca2664882199a54c31484d9364c2545876758999027c8f6423fa1a9ea810731092ca41c2451f29452c24d1d120517e06eaac91a77a47dec3c036ff84bfda92bcb396a36a75007014c0b6882a939b7e2c109c6046c04e9c1e4b1bd83444cf7838ca909946b512cb8d06ed3ab66a62071eb439632cccbced23c06c3456cdabf321328a17263e6aa3fee0028bef312cc99477ac71c53909740502e340b7cc06111eeb90bb08c58bfb97d78acbb10e7240ee5672062783636565c1744217787ffa33287f5075464b97707aec6864b38c918e0ebaf40fc9aac6128db4863a40c80b9d23261344a370c7b2dcb76e38623e5443242bcce9fb872b4c589b886aeb9fc79347cbf216b6ea8d1c7f5c5802fa24d1e68a4dc161699f90681069898e41d34a82cced119189b6547587972c4b17851a292f728f638a90164b97416c5b5b9231f1c675cf12c8ec1ce4866673f61addf98950263680efb56124b5936862f5328a3de923c4b2435b543ceee3b9761b5515aaaaecbdbb9cf8202090c82a2e5301fd0aee4fa4b39b0302d1813ab87cc1ba15595c36ef953401a92b8a88465c29ca4062626bc45b2a762c4ed957e53551827322351701db42c73e340566a476f559ac776283816da810c76af10f41482577544302e80eb6ab2fb720c2a950464c62970a450e65983c336dde77039722c614143a2b72c40256cf2142365ebaf288b0d9d69b56671b45f72c90a26ad50229d8fd6291ae6306d614aba34b65af02fa7cc2f5d7c5c8f4b30dc715f65f82c6320088fe0cfd4f05dc63a22ffeb0f38f68c5e08af5603c605007c9efc1f1574c94d322191f248cf34246d9bb06c650e85a8ce1832860689af7791054bd01b79a11cc41ca05f3a174d9393191bc541678989b0a6fbea82c488aa828b077003a69b335098d00616e28d7853ab98b54c0b99840ff94393532285ccbc003120cd8b77c5c18d0e654750893de5c071a60a152350cc537a34a60c7032c21623c1bd0ce38046b986e786051e9891a7784223b45cc09682dbfacd92776f594377d07290667a81726c7a62ab1e883329b22205b3e72165c846261429dd3cccedd4933bb38f4b9000a066c2464844ab47899269033078c1f2473e564a2c697caeded4cda82b8516c287b23a84ee997fe9206874f73d130a73d5a14e10668365089a9695b7870806fa8431663120eac9b9133937117cb3bcf862e306747139253f181deb0352e6bb6b888561d46b3406fa31ec08520b275bacb6b1fd1bc40076958ed1bf96b70c5f567c9f83a3abdcc85e81aa0f99a50c2aac18a4177aa0bd1d7caaabb11e09a3bc211685396750a4723c8c8334433019c1844c9aa22b6e6995bc703ddb09edbe4f1a61a62a23531cf707976a861efef13e8347210d77f3d080e9ba89
dkPKE = ed859032bbb74c7412a7271c8ef23a5a08c31551a2a5cb8ada78538ce6c96d11625cb45e87b133163b16a4705aba1514f006afccbccf3c5c05acbc4563771bb8508072745d0ba56f57566181c3073b6c2b0dda50a2a83e74c67bcd48c0820b809d03a6ae4193dbd3bc06d072d2c64fd1e0b408a9c29818cd2df7790f9779536b0a076b4fb57b56f8cbb8ea3290c2f8b381c993d9eb49d8b4873ec660895528ab9ac306a66ae8209e2db9b79cb89220fab9d5cbb290ac690c79199218229aa8276393a73c826459429baed8365b88733871450e9523959c3f28691a3a0622e923259d2c90a61ca1525caf75a3a4292036957a5966d55840927234e1c5445b6685396890e3ccb9869147e63ce0b23defbb1c00f46df3819dd4a5756a355f61c1793b25a9b713c3abd12605198083773cf26909ffc92cd423cd290ba1801c694e7c80d6e2c9c1b943c69a5e7387ade187b21bd2a598c49ec772cde74656f1b43fa21021bcb86db8f91e03522bb4a76823483033f68659b57fa972c42673795b9a5dafa229fd8818f940a1b38a925cf06af712332b789a6f64ce91c7010af8a531101de8541a3ba4b4b893bfe7e791e693a5987a3d2d7224aeb213c5aba14aa0686efbbf31258d37122c304151916a9291181ffe788864f52acf001d788a3d80e4ad14623e9c402090b73fae5cb4225802cc4ab9c323c8cb914231c31c14c12a20ab7b5df5b6815bc04d991a32b6ccd229cf9692bf2e549ceb66512be58afe284b1d4990e46b5bafcca72589024e0b710169445e793cbbda9ca2664882199a54c31484d9364c2545876758999027c8f6423fa1a9ea810731092ca41c2451f29452c24d1d120517e06eaac91a77a47dec3c036ff84bfda92bcb396a36a75007014c0b6882a939b7e2c109c6046c04e9c1e4b1bd83444cf7838ca909946b512cb8d06ed3ab66a62071eb439632cccbced23c06c3456cdabf321328a17263e6aa3fee0028bef312cc99477ac71c53909740502e340b7cc06111eeb90bb08c58bfb97d78acbb10e7240ee5672062783636565c1744217787ffa33287f5075464b97707aec6864b38c918e0ebaf40fc9aac6128db4863a40c80b9d23261344a370c7b2dcb76e38623e5443242bcce9fb872b4c589b886aeb9fc79347cbf216b6ea8d1c7f5c5802fa24d1e68a4dc161699f90681069898e41d34a82cced119189b6547587972c4b17851a292f728f638a90164b97416c5b5b9231f1c675cf12c8ec1ce4866673f61addf98950263680efb56124b5936862f5328a3de923c4b2435b543ceee3b9761b5515aaaaecbdbb9cf8202090c82a2e5301fd0aee4fa4b39b0302d1813ab87cc1ba15595c36ef953401a92b8a88465c29ca4062626bc45b2a762c4ed957e53551827322351701db42c73e340566a476f559ac776283816da810c76af10f41482577544302e80eb6ab2fb720c2a950464c62970a450e65983c336dde77039722c614143a2b72c40256cf2142365ebaf288b0d9d69b56671b45f72c90a26ad50229d8fd6291ae6306d614aba34b65af02fa7cc2f5d7c5c8f4b30dc715f65f82c6320088fe0cfd4f05dc63a22ffeb0f38f68c5e08af5603c605007c9efc1f1574c94d322191f248cf34246d9bb06c650e85a8ce1832860689af7791054bd01b79a11cc41ca05f3a174d9393191bc541678989b0a6fbea82c488aa828b077003a69b335098d00616e28d7853ab98b54c0b99840ff94393532285ccbc003120cd8b77c5c18d0e654750893de5c071a60a152350cc537a34a60c7032c21623c1bd0ce38046b986e786051e9891a7784223b45cc09682dbfacd92776f594377d07290667a81726c7a62ab1e883329b22205b3e72165c846261429dd3cccedd4933bb38f4b9000a066c2464844ab47899269033078c1f2473e564a2c697caeded4cda82b8516c287b23a84ee997fe9206874f73d130a73d5a14e10668365089a9695b7870806fa8431663120eac9b9133937117cb3bcf862e306747139253f181deb0352e6bb6b888561d46b3406fa31ec08520b275bacb6b1fd1bc40076958ed1bf96b70c5f567c9f83a3abdcc85e81aa0f99a50c2aac18a4177aa0bd1d7caaabb11e09a3bc211685396750a4723c8c8334433019c1844c9aa22b6e6995bc703ddb09edbe4f1a61a62a23531cf707976a861efef13e8347210d77f3d080e9ba89
z = 5f574ef7f013d4336801fed022178c3ed91d0b6d51325315fc1dcabf4770a2ea
H(ek) = fa12bd4f75caa74f23b4af606902f6187dd9be62a43b1b529344f1114e69391d
dk = 82b25c61f7099f870f988428ad662203f75c638390c593035b3aa1a91092b2d276fddb56bcab637e00a26ee68058376ad13c0e5d7b31ed29b2c24710b47b60246214bf308f8dd77379590842740c84ab6d8adc71a1cb22c4e98e58112d803998a104bd606cb439e0b686384148a209f5d171e4b63e29f66863aacba2c5a489600dfb64b65ce21f848b4c7621c6a3e65792497d1354a72e22405057cf9330332b419ca396cf69d374df850a2481c943488ab45cb71c992e12034baa94272a32cc694294ab6867d4f8758f972520ec5f90159fda33ad91d893273ac9a3e35f2976bbff525a2de84cbc55acbca91fa9ea91700abb87323d2a67c95d62cad3dc534aa83ff3fb6837ea908f0b953ca88bfb01b62068a1ade3c19e7b153f8b34b19295e054334f59b73855c030e597b688c3d2a14a336a2929393e0b27171315805e5cc3053b6d90843d82b933c1cc1574c18d9dda933f3b33b8cb7bf7143f6f595b1ec7113fd46f629930f28c4d4f666ce24bccd8bca5d74488de3b2480b176c0eb6f9dd19434ec33563303fcf7cdbe09c55d4216ad524379e451e74a2121c442c4412de5e137ed18421e07779b598860cc2e4e42c10f58a01617936c4548453183739c5624c68915b79a25a90257b1437a1583a9107d7d0587bee15570f3c008b9140f779cdce06fba05ac57991020162bb2096911594109f9032a09007eea48e1b5b5e11c9643d75284256c5a73b935668abb12aeeab7b040f71e17a74235e166d1942f7caa890869ccb1184cd44a9e82a89f31e83602e21de2b5cacfc254282470e0c66b020a5b058043e9135ab06c4fe1329d7a280ba6dc3de017c1041a26cf3b10d305c73594c469ac11b091bcb20412dfdc3ef0b712aee31fc2a81bfbd9990ca296fe45bcb992ba92d4148591a2f80990f218a2991bb3f3098a36c6568db8a40ab03b9e017305d893b48285a5178ee6b80dd2c5555837c3e976afd36b895c10acb438ca7009ad7723b31b3aa6a680156ec3cfe4e813dbf010e6e5b39a890b76984d20e965c5a39a6cda801ec55c55245abe3b946bda7c8e70c99ac62e2ca2c2ce165722d710a1c443a6467f91c63ed53c3f223580fbd058b6c8b4f134ae3b490ae97466e1983b0e669b22615df1732df9e9a98d4575720571ffa60dc888a65f6644902a9ad89a93c4b22132515d808ca445bab49e3276caa8a48d272b823477a0bc151491c229ab38bd6a4485257374cbcd03d6a6c655b6a1d06751995fa1c394116476f399673b5b40857cb9c68721168a936d89a3008923b81c2d7eb94ba63c3eff45b4ccb48a9d2142e8d5238ce904376bcd1e088b864a6a5acab75b138b9be44b08f00825bc3a804835337cac36bc41ca8bab90384a51341875c7ad27d109afa36e2965cafe1922811762a077af789b8d6c490c0f102b62869ca38a83effb05f14ac82346645de63cb60bba30b665a3f1c9f842952aea89fe630f6404b63164a39692180d806d65da3c1be076ae77b42d665edd2b93c1210427909d294a2fbad460444032a727960210005b7b3ad367cc300738187b3c64bbc00b16257f09182537129b14bf94c482bfdb9b82634821862a7fb0234ae0b5685582de054cb5575e9f8464336609cbd7ad5b486117ac4ea2468be9147e8c96b3a07993d5725f85c31c79405541c2c13b3abdc55b2dfa2ab02842a711a2b877097769c22be065622ab0a92d5108bfa10c644935ee4652efca95fafca3b5cccf0187a45708cf68838ffa79427a0400f8439f15b11e064b2b777c0715aa8a91c96ea7f1a851f47f8f077514a36c901059892273ca8695b3b418c8187558d18f1b9153d6c0b966e08f9a675889aa519224cdc4fc1fee51082ec26cea593124435f4bf95b3d852ad9554953088aae602e0ad3023d17576123929b1150fa496b850ab4e5f372ab7188f3127d2dcb970df56c4f5a2548903bd5ec50fb9196cf2374d7cc728243757743083d4a93c4b6adca54314a3200fe5a303aba4c07d4cf3eb632eca5b353190decd984395192d1f63d3d9291e00aa17e0872df27a405832d0a7b43115b05e6a4cb9293812ab26eb2e148e4b5082ba99039d6847a03be1693afc09a3ab95044107586e0db02720145c84cc800b669c51c8a96e526c4a99970234409414ed623cced859032bbb74c7412a7271c8ef23a5a08c31551a2a5cb8ada78538ce6c96d11625cb45e87b133163b16a4705aba1514f006afccbccf3c5c05acbc4563771bb8508072745d0ba56f57566181c3073b6c2b0dda50a2a83e74c67bcd48c0820b809d03a6ae4193dbd3bc06d072d2c64fd1e0b408a9c29818cd2df7790f9779536b0a076b4fb57b56f8cbb8ea3290c2f8b381c993d9eb49d8b4873ec660895528ab9ac306a66ae8209e2db9b79cb89220fab9d5cbb290ac690c79199218229aa8276393a73c826459429baed8365b88733871450e9523959c3f28691a3a0622e923259d2c90a61ca1525caf75a3a4292036957a5966d55840927234e1c5445b6685396890e3ccb9869147e63ce0b23defbb1c00f46df3819dd4a5756a355f61c1793b25a9b713c3abd12605198083773cf26909ffc92cd423cd290ba1801c694e7c80d6e2c9c1b943c69a5e7387ade187b21bd2a598c49ec772cde74656f1b43fa21021bcb86db8f91e03522bb4a76823483033f68659b57fa972c42673795b9a5dafa229fd8818f940a1b38a925cf06af712332b789a6f64ce91c7010af8a531101de8541a3ba4b4b893bfe7e791e693a5987a3d2d7224aeb213c5aba14aa0686efbbf31258d37122c304151916a9291181ffe788864f52acf001d788a3d80e4ad14623e9c402090b73fae5cb4225802cc4ab9c323c8cb914231c31c14c12a20ab7b5df5b6815bc04d991a32b6ccd229cf9692bf2e549ceb66512be58afe284b1d4990e46b5bafcca72589024e0b710169445e793cbbda9ca2664882199a54c31484d9364c2545876758999027c8f6423fa1a9ea810731092ca41c2451f29452c24d1d120517e06eaac91a77a47dec3c036ff84bfda92bcb396a36a75007014c0b6882a939b7e2c109c6046c04e9c1e4b1bd83444cf7838ca909946b512cb8d06ed3ab66a62071eb439632cccbced23c06c3456cdabf321328a17263e6aa3fee0028bef312cc99477ac71c53909740502e340b7cc06111eeb90bb08c58bfb97d78acbb10e7240ee5672062783636565c1744217787ffa33287f5075464b97707aec6864b38c918e0ebaf40fc9aac6128db4863a40c80b9d23261344a370c7b2dcb76e38623e5443242bcce9fb872b4c589b886aeb9fc79347cbf216b6ea8d1c7f5c5802fa24d1e68a4dc161699f90681069898e41d34a82cced119189b6547587972c4b17851a292f728f638a90164b97416c5b5b9231f1c675cf12c8ec1ce4866673f61addf98950263680efb56124b5936862f5328a3de923c4b2435b543ceee3b9761b5515aaaaecbdbb9cf8202090c82a2e5301fd0aee4fa4b39b0302d1813ab87cc1ba15595c36ef953401a92b8a88465c29ca4062626bc45b2a762c4ed957e53551827322351701db42c73e340566a476f559ac776283816da810c76af10f41482577544302e80eb6ab2fb720c2a950464c62970a450e65983c336dde77039722c614143a2b72c40256cf2142365ebaf288b0d9d69b56671b45f72c90a26ad50229d8fd6291ae6306d614aba34b65af02fa7cc2f5d7c5c8f4b30dc715f65f82c6320088fe0cfd4f05dc63a22ffeb0f38f68c5e08af5603c605007c9efc1f1574c94d322191f248cf34246d9bb06c650e85a8ce1832860689af7791054bd01b79a11cc41ca05f3a174d9393191bc541678989b0a6fbea82c488aa828b077003a69b335098d00616e28d7853ab98b54c0b99840ff94393532285ccbc003120cd8b77c5c18d0e654750893de5c071a60a152350cc537a34a60c7032c21623c1bd0ce38046b986e786051e9891a7784223b45cc09682dbfacd92776f594377d07290667a81726c7a62ab1e883329b22205b3e72165c846261429dd3cccedd4933bb38f4b9000a066c2464844ab47899269033078c1f2473e564a2c697caeded4cda82b8516c287b23a84ee997fe9206874f73d130a73d5a14e10668365089a9695b7870806fa8431663120eac9b9133937117cb3bcf862e306747139253f181deb0352e6bb6b888561d46b3406fa31ec08520b275bacb6b1fd1bc40076958ed1bf96b70c5f567c9f83a3abdcc85e81aa0f99a50c2aac18a4177aa0bd1d7caaabb11e09a3bc211685396750a4723c8c8334433019c1844c9aa22b6e6995bc703ddb09edbe4f1a61a62a23531cf707976a861efef13e8347210d77f3d080e9ba89fa12bd4f75caa74f23b4af606902f6187dd9be62a43b1b529344f1114e69391d5f574ef7f013d4336801fed022178c3ed91d0b6d51325315fc1dcabf4770a2ea
m = e07d685ed308e609c9c7842026e35732f6ffc6e2fee10f0afd348f2b42a8acb4
K = 6c4f4a231255a8cdfb7424c8dabf3a624cefaffd28964efe220ab6178fa6b324
r = c4de052e491a0c543dd18524ba681054c3a0dbbdb6697bd49e7202ac9f091b1b
μ = 000000000000001068811668810600811668811668810600000000001068001068810600001068811668810600810600811668000000810600811668000000001068000000000000001068810600001068811668810600001068000000000000810600001068000000811668811668810600000000811668000000810600000000001068000000000000001068000000001068810600001068000000811668000000001068811668811668810600810600810600001068000000811668000000001068810600811668811668811668811668811668811668001068810600000000811668001068000000001068811668001068811668811668811668810600000000001068811668811668811668000000000000001068001068000000000000810600811668811668811668000000810600811668000000811668811668000000001068811668001068001068000000001068000000000000810600000000001068001068001068000000811668001068001068000000810600811668001068
A^T = c56413306889f2b876d8538db048081e25bc72a287de4b34b5cb5c723a97a750030e451e1c672a042289c0e72751b69cf4c0694f644d648c4c30953e973554365b0ad380b8cb400cd6988f66a87e46846482d6272000195f59ad3cc74793e15d66cc2e5b965508b52421c2b336742b1a85b2bffc6fa7d2cb72c9c10cd38bfaa54620d705fea7551238493bf4a396db545ef381552c13deca9a0ac5b0b3984b3e326c35b700d454ab9617210166902c162d29a00d547ab4ea12568cac910ea168bb363fb5d87032e04e15938373962efb6796a690bb2b1a9db4904ae6f415e5f419d04a80f0e7b13764857d7c09dbfab22d4bbb6e614e037a812f671911950a2dc9ce9db4bce2662dc3c064a3002a176a9bedc807a2f47746e299d9947aaf06ca3bf785dd445f704c0ff1f721290071aaa514317ac31bb7af8588a5e1e19e8fcc708742a5e892092114a570c91df2dc066b197c1f65b54c0557b19b71d386792b6998f5f3c5aa2983d8d62664a68351a11eabf4bbfd334724eb71d0b03c0d3228a95683ba10506b565be16143d468560bb908db63ce4683afc7556acfac9b48314e82914f5700776b6b9fc6745364e17d16611f94d76584422fd214c83ae8b481090dcab90d43a9a8555656a071cc15152f53793533cbb094044367f32257ab755d0452b150bf0a72cd8a89a414d7a1d0c281692426b6a0aa2605518ec26567469f54899d251bc3aaf3ccd0ca737db247b299be5fc07340183c3db1c9a83140cada9bb03c7705481788b2c91a37130b6b0cd5d5bb2a0a2fcbc88274426f883975b293178c03805b4920f3f4c4ad741a2d9c2c46914a97a66f9e62a46f58c43889b333392f715b0d81787b915692cc176977a5c04cfacc8070cdbfa20c5c020200b1a3030a55fc057ec39c5fe7d3a80ce640f63ccd00d2918b635dc906725db309dcbc644a1031e93c9438cb0b2a432f63c48b8f4a44d55888c3946f3dc61e6abc42e9ec9eb4c51bce055c437951df347bc216ae0fea2dc9a3334a514b4e4629d951801fc448f2d7ae28fc58667505213a62d154b36486360500493050744950010956bc2bc96a13352171d00a3fe74f1ab3b610a61a7948027988811aca8d299a7bf92c96ee11a201b29a04f1116639719a071bab4caed5a36bb18a155968c924fb64f6439ce993a88fc1a96be3cc2394755d675a8237ad7116460ccbc67508174d5970cc46c33ac4596b16a1bb28bc7fb11cb3a8b9fee6b03190cd5facb08a59b0bad85d320c4be707190d6306004ac9bfd57262d0bf50f7cff77b3a79f53f45dc03bfb7bdd6247d43cc23b8c2b7edd56d89e8568c67cc1d10725a56535e1b56c3215a1c85309bb4247b370c5d0c8f02d11a54f56115636157113b0548c2b224cc29ec408aba84e45ba815007eec1901a65c21927541fd6256d145cf7f0882b37b411d12a19bda49072bcd60f987258622bd3126558972f5332cd201a3d94531b062611df597f27a2c9e403f0ca2ac79bb1c37e013f5db5246766cb8d0a6b4139e2dfcb864db82fa96239c132ef01c0ec2d0ce3474a33c1b67ff1794df653c2cac2333b0257dc15f403b7b137cabc25c110b3999bc9a455e148c0d3946295a354542458881ba712867ca7172aa8b6a5085a967014df8c16efa03290dfb31db664f856504d52845ad4a011503c517f2714fe764bb6c72672bc5b9694fcc29a6aa2432ded26757b6a310b69755e2b348351c435857a86a2d40e9b0c3044cee11662bd30a4736ca99f6b54b544bad3a9bce499370e42953a68225aac71de23dbe5265028c05e89a0c9a7063ac6404dd8b668f62aa0d0881879c6b9bd7c968d498636991d5ab7ab5d9b6d82640c686b6bf00b434b5cad5384451f46615b3b9cd5ba872ec7f500b93ff321290c3a4e7d52e104188b6e24f1e090a479ca8fe36505f121b221925de060f9a5650a8246d513bb6825bc267066303a93b64869552886dfe6b455921489d916ac8d9870512abfc55ab346236bbd98625c79c6b3aab2b125ea1a4abe2ac8745b214238702e4db69fb4c3ac24267ecbaaa8d0a0d98e2b4a89aa24219ce0f04cc7f657bbcfb1a7db707fc129b009c324be18830d87dd50cbde3888f0cf4a7f8e5bdb7aa9fcaf9a717fb99e245bfe7b79aa7ab1a6242051342cc5f14b352eaaf19762abb5c6edcc0a590e148e2359ac606af67632dccd3bcd3462d2532ccba60670ad2485f7a415876344573be94d70e444949d4d3ca760a8e77283626022c4a5579419881224a82bb545cefaa877528cedbe20ac9c9385c2461165c31d4b24b57b2556000205ff4b54f7c5a53d818bdf1cb3eb88120c42c0e3271285592573628e89495750a7e1c371c8cc69490609b864ba66823388e99b7484100fbe28ac5da228bd7c6e482bafac77b902c450720197151678d089bd161ace5c3199234b0a8180ad6445ea1ca1aae932409f66ea1dcbad17a8c4a372ac4eaac9b0858aa2b629147b6c22717a2a3b5f87b7be2dc9bd1a64f0cf2b29e06b0c30b3daaa4cd74d4ce25db265db2a6a6e4c093571b492372130b448e67309a2b7b8e457f6b2099d70956ff378c5f6787bb5b5405b30033a6a519134d64f3cbd0633ba266858cecc7a98570e8c1babd6a478c3528c7c47ec5997c798777165041c5657845b954ab6cce74d9782aa894f56cb430d334c50cb27dd32865a0937d6844eb38219c89921d7b45ce9920a14c957f2b7e79ab7803e70f6b5191c44c642736b8d9408459884dc026cd73b96e43d598d9c1b8d18cac0cecb0b2cc9d94b3413f8269eb5072565ac86bb639f384b8b6b21401c416f0b11cc1e1612220244fd04f93fc44196b8d2aa07c01c1543864c9b40a933881b5e1a3cc566b848c176968b643c4803831016d6b6cb09b428a420c920ff82890151f3d87bada51a97d0875197a29aecc1c58896f46f405b492a91ad29fe77b09006a0bb5f6c101c46fc3036a89349f00b737475a3a25d28158456ee357528c9074126114c60aa7c6871bc174b95b1759d392b40e251b8dd0b042b82f5180460941273053916a2829a9b54ec57c6fb539c8b330b68fc58fda681a32a02e2dc41353b139db7663bc816262a07d95399b2ce53a5d55ae30dc436c789f19561ffaba899699cbcf5abdf9f948c45b7d369844ae7b5d9503579e4a1cd1fa21128b5b1d9906afdcb147552b459aaa1d85a23bdc09bfe4bb5c854406c255860a2ed3e7af4bf229edb7c8fbfa0f4b6054ed08c40b3c9098d9969da9a702a1a34cb03944713ba19ccd98f92b05d8249ea776a9e16753b95b04eb4eda568e8edb91f8a119f040867e5594210c87fa5c204b626a1d4554ffe57adcf9131b0108a41b8411f63198395a11f3367f144df80c99554c32b8da405d1934b4d74b74e53279029b9223ae1cd141ac23aff28067f717a026998393eaa1bf810c996869f4f05a4134b0d129032ccb593fa0cc83556a377971e1ab4159c972a1e697486bc8ba70be6b67600d3110c36108db7cc840221f034952adf0beca487c8962a5a3d20f6c80c4a96125fb922baae578faaa72f3c4aeaf7212b18b5ba4da6504a45ca73266dfdc13e103845b8c39c0d48579e27081bc9bbe5aaeac84a943c656e9c19b050b061531097f80597ca8a73eea54c5acae8f85a34bba4221f4c78b2a9690617d90e3b21e03be91e0921364b459378607fb8e756b13f4b1cfbdc1762907848c847fc4ba72b9d80fa8590a5425742e6b56585277ab3b17c271b4747b85ff41888cca88042300f46555a261c3c7708f2f60a8599b0b3bf2480bd1bc1d3b17923bc37f3601bf39483ea36bdd98366bcc5d60252a8eb219ec2acb42d1229ad38203329eeee6c08b448793163ac9ecabef22174c4bac344b631a5aac5d51bda04a1b746ca4c6e32ebdb81f834b349ae8c50f783257005ab4da78f4c574a3b7ce82d11cce69383f831bcaf118cf68a1ba882b92f25afcc728a4aac33f43089d4948c57662a4a52de4001123532e888652c67b316d29b1892222f1d61c83ba486e40cbeaf58d23b20f86d913dca14f54685d9e7ba921f0b5db7c8115606934e49b45760ede306c4a04750d696afb46ba973aa1fbc8a95822c6250b65b90431fca22a24421d5f3161b9ba16ab34a490ba539d367fb6853afae40c30ac026733069e6706263542501c8d6f01b7321b7d8516a0cd39338e060753b47feacb8c1826a8eada2e4bc7ad7e48b6b4f0580217a092f8017fa8655ac07964984b96b74437e68c144510754a5c4803a46a056cf7799340e20b36c0066b5128d7980f7c0c6806225e995bbb6b08a788055a287161b48469b3517dd770761e784c1cd78fae35a6c3d415bdb2888fdaa5a65a2f17c625c00b8e78771fa0b12fff731999f647f3db547f565431395ff9d69f9d325e45b246eab84ff2fc4b9daa2ff110120a91c579b8024d18573c2a7203e15b05f58bda674f9b378c6c75c1a7903d06b94152b45ac9b04c55bb18c30335f7eb819141110c0720db331d07c69e669b4b6e0b4a09785d404b44dcf02f399124f00132ac939375c9394035951d4c1ed17a06ec546ad3fb0dcf6bb447982cffa55b4b220dc1fc94687b5ee45cb8e57b93c5b506e902a49b7ac6d2521ed9198b2b22ccbaa573b41b86bf758f31c7ce8a3090c7424cab4c1fb305cb758ca95b7984e492b2c20c5ec712563fd23d4162125f1103d3002ee43541965b8cf277bd2176a437b52464b801c2e4c803725834e9a9f7d635bcf06972ca0a828c02ea8957863580e5a93614293233f107b919294c84388e411418b3a5b6ca3f87e89203ac246005554db475d8d12fda4079291a4182d24a02465dc2fa1f65085fdc14ad2c16180d921721890121b83bf449ae93acbd0a3593dfa318d3d840a1b01464f122fa7b46518682528bc381d55643891a970561026a34170b9d17352e2500442707922c81422e0486cb618309db60f9d25659258207ca0d4b6b46a985058fd48caba5650035ce41e2cb20a16e22788f70f7b460d9a05ce81d13b3258406830138b3eb01b2db9a6b9ea2bec2224dca4012b9b858dfd8002d366dbe852b1ea5461a509ee27919cb4574f62707c58160d6c255726b64bf66c4c1a371654556de16872dd66864849d5fe721bd3c04992024a4314961231e7871c53d40343070037529497465c7e9002b06077b15436cebdba1e0db742f2b040438ba0a08c96eabcd8352c04bfc536b80a4d5fc5393d44cac37c3454005b444577f206a253498098c1305c62ab38b3cb9a3c23f5aa769f5cb4a0acaaec745f07432ef90252572c61e10410b63641444073442466616303ef2c563f81c43632983428de9bcb92278066390c1caba63bb1661791341ea66b6add3343f16aef81131f35975e25b50c0e16b2b330962c218b3722201143e9692ce8c8717c6a89ede4777a281bffde0b5d33a2d1fb8cbd32c26600903a2b5a0d621af5adb8fa3f86334e4c5ca1ba2591c024938ac9d083732dc3a1726377cb9b88d5b200f6ba49f2414e754a11c105421919ca42cb59d483bc634993f9522573b9613e37ccde12edd3c885a8cbda8b56aa515c3a5a04cd91b0db2b77e6e43b5223b0391fb1c3b7055d3a58a9c46abae9a893f4368d0c77d8c8c7cf88b47905b9a5b979e10d19a65f01088ea3917238dd89296bab8430a9c5936902ec8c7caab65334b8c0f982108f8814b29b90d772a741dd48772d39eb551803c0cbd723395de3280c12466e58620adcb2269aa9c0474b04b143a9d0bc1c2c813fc32577a0137beec5f71665a03b2388cc09b8a41b8f6c9b9dc03510f903e6e5537596b8de7578fc9b63b3bb1c55572c737e7716cf50ad4663b55e5b9ba4067301254cedc0b77cacc90d73e225369709820549b952c3b7302966c5d30a632534c0ceb8968d69e0bcc0c3861cb0304337f1263371ab7abf7bc8d9194e67c1c1ff81e7fb622807197196263f802a21715385886c056960981403ebd61c13091b0828b1a19d377241a782c83408e9c38076a71b70262fa92ce1a8247cda79feee8ca5c692ff28085965849f060138ac678e7f20be52bc0ab43b9310a9d118150ef78845941ced1dbaf167818d52831884b3248830bf4da64c5aa010bc38135d77309c33d98c736bc804b95f83dca9b1f74741c8c6587893442b40474dd283663a2c3549c4749044df7897a987b5444a6b314ba7b4dd44783720b6f9112ec82b898664d67614c0714acea620d2143bd9fb71a62ab0395b3573de70fce8271079100f0d63d82297319098ee7172c4dd54ac2698681ab29f8e73c39e1014d936c2fdbbf603728011808800552510a995002052072679e352f756a18a3ea1d642a3d49bac57784ae3ec13e28d98c3cfb59cf44b3f1b3477f4097aba8939478828dd729c810b89149cd1ea063aaa4b94fda368ef7489d140383c7781e385118039f169079929aa7ff2c25ff8a4e7a3aa4f0984cd5ab1dbbb52b09d256dbf37a00f000be329ee0742f97478de3e7935eb65f4777764f85b28e69b9cf2b38a1077a4058c84db8a4dcb6a07c29ac74fc7e6fb88b34c2c43dd282ac4b505bdabcf1910e8aa8933689a5e9583b01d151e0b2605c50859339525b630aab2c63ead3bb73a44027a2522bea6852d35ebc12acfd0a53b0026b7e07bb9d2a34a6a846ea60385cb88e85ebaae67cbe5a501b245709cb97398fda5f976232f8f71ee24a59d31c5a35a466e4da3ed1b9c76cf2c263754c8d96b7d8c6749f769fc8488949732016e29479ba2d07607450e4b7e2cb596687a9d01cb3c5130bdb8859c23231d8146163717721033b1e737cbb2070dd28a4573552e917689f4427d733717af46d3281a42899a438116ae08816cd5c2c969498ca9435da385d007c23a9d219e4689c01b647fd7883defa9e356807fd928a4a880d907442aee5cd944cc4c022478ac4a7aee8ac96b4a84a851b67bbb7fc5831c866178d2a0dc33196bd068618c7689ac3351e0242f16574a5472b56591572b432b46506ae99adc5da8b5273606c0a17da59443846cf96a904ee74336a260180e5a5745465f483a6deb88276a183d16bbcec2c19c56771691804aa49250fac93e8227e8f9404ad57940d680666c9a3a2b03918c70ca83c2e14836fe8bc0ebdf1c1edabafecaa5559a22988acc0c914b2cd62bcf3b87e8f407cd4e10ee9a88be5e48068d508d04b8fbdb584fe14c4cfa05709a8298398ba4b527dbce5776c131572cc8c13b882ef2562e711a65fca022703206c5c7c3db114ce29a2b7a98bc81471c27c2581da29f738005df265c632ca2c1b5d96503aa90080c898a560467dde585c778481ef096a804396474a067ef33a37dc2af39c9984dbc8dbb36d027202bb272e539963af74c5e35bc69a727843d546269cadd55c15c1667a4f645523c44c29610bbbec135ada176b257e8a030c57925a0764339c68014acc77c3e0b108fb0034763ca866b3a8e3acb70540420b9ced65c8a9d97614648ce71838cdc08931a91804e97268a5b42675c2f82a2d800998f25a2940fcc02126188559879661b6c3a3329c1b3c86e62e0f9264830b98b4c245c077662cd51fa0258048e89d5026c60299b8e0e38c91601f48da72e73684ebf4265b73541fd2869d941673bb4e2bb4afe96a4fbe4c6a2cb53bcf30b628c891d7d563cf9072e22430197c5947d81851190129762f5dec5ecf3c23e486417a704ba35a6bd29579cb54ca76390d7f035ac6225a2edb9b1ecc7c3c189c6b38c875d031680c40887595ab83c65cda6df64b76e3958cfec03c86926d744c723221267ae97304b309c1903e6c6294159373e73196295025d5aa4105037f93136b2b797fa19594cd995d3e29852804975124c043c48c2fe369f167a7b66b2b52591101ca06828108d48c0054c6cda3c5ab8b750f1b3b674161230925628b73530f0ba3f82b41b997bba942567afcab8c8889bcd48f66915b186c21910752cc6a2e944ba00c59771aa37e72fb812787886b2802dff40867982527a1836e90485c2772d1a44cc854cefab27db9da9ccee173a4f1c2b1e7b6df2424d25184ad1c9baca2489a628cfa243a9f73a8f885be0a7a5b83c7a5b499c725e79bdf8aa1a883b51efb42164a4e907828f4faa00e91b7f35575e5b6444c7599a0b84627603c7fe15e4a403ada302eb0c1b6c377801e108d15ab30f6a731f5dbca7db22e66c288b2c6ae8a8681e0a738c27a8bf2e18d1c39c404c5b7c42a4cad87a76930259df13463e51c21b18026c11b18382a6216136a609510a37707717dbcd69ad3e5148b35552869858b197cd27cb3669542c2545f05c68e6a226549f37706ec22211b382d5c8d47fb78866222f7d8553fd4514e7b1c3ce180108094651a0391e1829977ce59b41eb42b82a3a9aeb6760cd3a38ed134123b6c15c4678847128558ec82cde831d6d78f1a20a83f301cfb93ca1cb41345f27991384169a6b9838578c0a35636a43319fbcd0a19a3dca76d9e33953dc8719a1254a3c39aadd525a967942b589705934750850c31a3cc63199e1d64c94c088c3c30ce657460c98a33731c8e92982568d32f4ce356e3fb4e4d7b94e206bbad17b9e09413301a4abd0175766116933373a5751f8c41c15df375337839ac85c6269b54adf8b97e46c7266c0e54b20647ac16ad7423c808a4
r = 0000d0000000000dd0000d000100000010000110000000d00010000000d0ff1c00011000000dd0021000000000011000010000fffccf0010000000d0011000010000000d00000000010000000000000000000dd0010000010000000dd00000d00110000000d00010000000d00200d0001000000000000000002d0000f0cf0110000000000020000000d0010000000000000d000000000000d002f0cf0100d000000000000000000000f0cfff1c0001000000200001000000100000100000fdcf0110000100d000f0cf000dd001f0cf00f0cf011000001d00000d000100d00110000200d00000d0000000ff0c00000dd0ff1c00002d00001d00001d000100d0000d00001d000000000000000000d0000000002d00020000000dd0010000000000000000001000000000010000010000000dd00000d00010000000000010000100000110000000d0010000000000ff0c000100d0001d00001000000000001000000000000dd00000d0020000000d00001000000d000000d000f0cf0110000000d00100d0ff1c000100000110000010000100d0000d00ff0cd00000d000f0cf001000000dd002f0cf001d00000d00000dd00100d0001000000dd0000dd00010000000d0001d0001000000fdcf000dd0002d00000d000000000000d00100d0000000020000000000000000021000000000ff0c00000d0000100000f0cf021000000000001000000dd0001d000100d00100d0000000000d000010000000000100000010000000d0000000000d000200d0010000010000010000000dd000f0cf000d0001100000f0cf0100000000000000d0011000001d000010000000d00000d00100000010000000d0000000011000010000000dd00000d0000dd00110000100000100000010000000d0002000000d00ff0cd0000d00000d000000d0001000000d000110000100d0001d000000000200000000d0000d00000dd00000d00000d0ff0cd0010000001000001d00ff0c00000d000100d0011000002d00002000011000000000001d000000d00010000000000000d00100000000000100000100d0000dd00200000000000000000000000000000000000100000000000200d0002d000000d0001d000000d0001000000000001d00010000002d00001000000000ff0cd0000dd000f0cf0110000000d0000dd0001000011000001d000110000110000010000000000000d00100d001000001000000000000fdcf010000000dd00000d0000000000d00010000000000ff1c00002000011000010000000dd000000001100000100000f0cf000d000100d000100000fdcf00f0cf0100d00000d00110000000d0000d000110000100d0001d00020000000dd00000d00110000100000010000200d0001d000120000110000110000100000100d0010000002000000d00000000ff2c000110000110000000d00000000000000000d0010000020000010000000d00001000001d00010000010000000d00001d00010000000d00000000001d000120000000d0ff0cd0ff1c00000d00010000000dd00000000100d00100d0000dd0020000001000001000001d000200000100000100d0000d0001f0cf000000001000020000ff0cd0010000011000000dd00000d0000dd0001d000100000100000100000000d0002d00020000000dd00020000100000000d00000000000000010000010000000000100d0000d00001d000000000000d000100000f0cf001d000100d0011000010000021000000d0001f0cf00fdcfff0cd000000001000000000000000000fdcf0000000000d0002d000100d0000dd0ff0cd0001000010000012000001000000d00001d000000d0000dd0000000001000012000000d000010000200d0010000011000000dd0001000000dd000f0cf0100d00000d00000000100000000d0022000001d00001000000dd00000000000d00100d000f0cf0000d0000000000000002000ff0c000010000000d0000d000000d0011000012000001d00020000020000000dd0000000000dd00000000210000110000100d00100000000000100d00010000000000000d00100000100d0010000001000000dd00010000000d001000000fdcf0100d00100000000d00020000000d0000dd0011000011000001000
NTT(r) = c80597253b4fcb1072ee943433999005eaadbef4569377954bd90854e462752276f3b88f0d038da5bb2b136a4617141142c1b8da002fdd0c5d72f1343e25c83f82021a41363372893e1457478a54ff423636c6505e973de9f56da8a967956533c566152b99cc1dc5c4d09a43e476c6a6e58e3482c2a089c80296a209299ea2c47383e8c93f9c07c465b325cc0651b928dba28e6d085a272c31e80417085b1f4694040f1212ea83ab97eac6b7d724cc3b2a22186a92a2c014ac7e9aa34cbc515831d5b9bd77b9836725696c41447b3e69588ee29b06dc74bea1342ce348987f99b8c206b90cb339f86c88d636968d91a7eb29429586331ebb71e3003ac39a34b860cc312c0d16d5b648669315aaa37bb21113305bafd247c4bb3714e109dc1549e597b6fa0319aa6a1a4fd32d88322f2a98cbefa73efb36212bf4b2df5c8e317b0045650d9fd1abeac6ac18648c90eb47da61cee841c312a9822d9b4bce6b453a185a20d139e736545d67305e3a6ee5e94f20f2074d1040d935c17aba766c3a144bc516fd3555078803d2b944ce8365dc161768d80e5a371270e26d9fccca455ccf94d25b345059cbdc4f1eda8728c43a1f58a358d5b156b5c7385a7cfa2699ab946b4ca24c18f41c1ec336d4685fb4f0b058a8a1b74727829722e9aa08274c2c18465581409442099a24b4a80ee92551c8cabc3389e87207acb8c7489912858176a045c009f911b42aa69f156eb873768a16b5dad41248ebc2200425d8a96cd295bc49226ff3e5187b2508cfc38f00b0020334a845ac005ae17413474c8f843fe989c511dc5d967230a151b591332803492692a1c74f794742d3a3491c0d542166c28b7430f96d9a565f1ec717f5b1ac4cf72d9ce59c85851cfcf97beaf4985c203db137ac3e4189f1fac57c207bf3d60660957ddc926c5495712c0576a9741845627925e617fd7610ee520e0ba7428c9943178a00e402b043353ab2d85f9c90103a6152130443ced2b324507cac8b0b0627ad9534465a951a3a45b1c5539f03855fbf07659af65dfac216cd70b84f762a983796ec1cbc7eb261a766624466148e89792d1b4a5d845a22616a235c2037ba870a75c4f2c6733cdc91bce55e3e53a59580be8c4c346caa319807ab327a5d76557ed1a63848435210611ba8dc3d4d9100ebd036137315ec838ea014a71d45cb2d49243122185df0644cf9cce15767ce4c1a2647277fb1b5334acb7df103ddb683af9c0adf785bc527a73e830872eb85f7733a3e566194f9533b5c56e2eb4568379ff4097d9220acc0749d253a34cd0359de4559e453a39ea49371b41886095303a0c5dc186032d3ca9051a6c0f659788572b55c8f59355b2bc182f4c88dbba23166c5aea0e783392b3fda07875c62a9e30ac5c9a9332ac4a6a82628f8c913769652a942466f383037561b3f7a62978322e4ab6a6bfbbeb2800fc58c924feb9c8c51633060404fa22782b08cd740912f1012576109a7c9bfdc7b068bf205e350bf74791bea8ab9b4829bc5d20d17ebab3eb7bea39247c5d2165faa1491b2866290c236301103a8027aa96688a31b755125c0d0bd2a57cbedacbb7a491cfe3a232239bf8f4488c2a64be619a0a9e69b135400328c44c98731cbcc8f42615c423859832707b403593457581b7b75ab6629a2fc2ebe009eb5845f6fb4c3db6b12c2d814dce7c1f0d801d7839cbab404a4933299672082a1c5b55951b224afd7c75a05d7a9de50240934ba86823f4cb36ce1751e06a53a9ef736a00cba1e24bd200ac3a79585f2740a43d3544e6574cde57784b98465b7c35120c336604c114aab833ac9e77941927cc8e6279ccf8a9a3bb01cec8c9701a6ae4d35ca7808742f160ed1eb0a56cb12d7996c9559c7bf2a22599493fdab3df4fa4499db7022e7cdceb7c29c14356088334281a00e8c4e98348d4ec09d5fb89d7c25a4a4392d7c9ac05356043f8686a4f9b022d058acb6712260543d626f9c3b74bfcc680bd542a8c95d4a0376fcc346bb9b02221c0c7da8a43be21b588118fac6a863e8a94e15869373797085a326627c4e186d6896b7c76ba48ee50203362e66812cebaca924b113b288ae861000d4542235292781f50df867a626993598b6922e5a3b9910c6360a184477179b1645c55c62a6d94bc91b8e
e1 = 0010000100d0001000000d000100d0000dd0010000000000011000011000000dd0000d00000dd000f0cf000d000220000220000100d0000d00000d000100d00000000110000000d0001d00001d00022000001d00001000000d000100000000d00000000010000000d00110000210000100000100d00000d0001d000000000000000200000000d000000000000000f0cf00000000200001f0cf000d00011000010000000dd0000dd0000dd0000000001d000000000100000100d0000000010000000d00000dd000f0cf010000010000000dd00000d00010000200d0001d0000f0cf00100000f0cf000d00000d00000d00000d00001000000000000000001d0000000000fdcf0000000010000010000000d00000d0001000000000000000000d00001d00011000001000000000000d00000d00001d00010000001d00001000000d00000dd0021000001000000d00000000000000012000001000ff0c00010000ff2c00ff1c00ff1c00002d00000000001000000000000d0000100000f0cf000d00002d00000000001d0000fdcf001000000d00000d000000d0001d00002d00ff0cd00000000000000110000100d00100000000d00000d0ff0c000110000000000100000100d0011000000d000000d00200d0000d00002d00000000012000001000011000ff0c00001000000000ff0cd0001000000d00010000011000001000ff0cd00100d00020000000d00000d00100d000fdcf0000000010000100d00200d0001d00021000020000010000010000000d0001100000100000000000fdcfff0c00000d00ff1c00001000000d00000d00010000001d0001f0cf00fdcf000000000d0000fdcf010000000000021000000dd0001d00001000001000010000000dd0002000000d00001d000200000200000000d0000dd0000d000110000100000000d00000d0001d00000d00010000000dd0fffccf0000000000d0001000000dd00120000100d0001d00000000001000000dd0020000011000ff0c00010000000000001000000d00001d00010000001000ff0c00001d00000000000dd0000d000100d00100000100d0001d00000000000d000200d0fffccf0100d0000d00001000001d00001000000d00000000000000000d000100000000d000000000200000100000fdcf0000d00000000000d000f0cf000dd0000d000000d0ff0cd0000dd0000000000d000000d00110000000000000000000000000000000d00000000000d00000d0000000ff1c000000000000d0ff0c00001000ff1c00001000ff0c000100d00000d0000d0000fdcf010000000d00000000000d00000000000d00000d00fffccf001d00011000000d000100d000f0cf0010000100d0010000000000000dd00000d00000d0011000021000000dd0001d00000d00010000010000ff0c00002000001000010000010000002000000dd0000d00001000000d0000100001000001f0cf0000d0000d00000000000d00ff0c00011000000d000000d001f0cf011000001d00ff0c000000d0000dd00010000200000000d00100d0ff0c00000000000000022000001000000000001d00011000001d00001d00ff2c000000d0000dd00100d00000000200d0000d00000000000dd0001000000d0001f0cf000d000000000100d0000d00000dd00000000000d0011000000000000dd0000dd0010000ff1c00000000000d000110000110000000d00000d00100000120000100d00100d000fdcf000000000000ff0c00000000010000001d00000000000000ff0cd0000000000000001d00010000000d000000d0000d000000000000d00110000100000110000100d0000000012000011000000d00000000000000000d000200000100d00000d001100001000000f0cf000d000200000000d0000d00000000000dd00000d002000001f0cf0010000000d0011000ff0c00000000002000000d000000d0000000000000020000001000010000010000020000000d0001100001f0cf001d0000fdcf0100d00000000000d0ff0cd00000000020000100000000d0000d0000100000000000f0cf002d00000000010000000000002000000000010000000d000110000200000000d00100d0000d00001d00001d00000000001000010000010000ff0c00
e2 = 0000d0000d00002d00002d00ff0cd0000000000000000000001d00000d000000d00010000100000000d00110000120000000d00010000100d00000000200d00000000010000010000200d00100000010000100000000d00020000000d0ff1c000000000000000000d0000d0001000001f0cf0000d0002d00000000001d000200d0000d0000f0cf0020000110000000d0001000ff1c000200d0000000000dd0000000ff0cd001f0cf000dd00100d001100000f0cf012000000000011000001d00000d000100d0001000ff2c00001000001000000dd00110000200d0000d000100d0000d000000d0002000000d00001d000100d0000d00001d000100d0010000002d00001000001000002d00000000001000010000000d00ff0c00001000011000000000000d000100d0010000010000ff0c00011000000000010000000dd00100000000d0001000000d000000d0000d00002000011000000d000000d0ff0cd00200000000d00100000000d0000d000110000100d00000d00000d00100000200d0
u = fc284d386c41241a4d0b939fd853139b315b472cc628053617576deb2b5dccc65f944ca4edf032920ac9350c8f187930532bc6088b20e2b6207836543b39b8e909072da4c73e396452d06cb4710ada9949fc27900d033e5a69916bc4381adb835995b32f73646eeb3b09067a32488db7d6c6c92445f83723288a85827c7b82b777469275eaa828529733d4ea3333a117bf40b11cf45409649e8438aff503661abab8d48106011903aa7a90b2a33e2e2044d2ca190ad16033d83fef88723d4b7d06473984e476f7e952cc01b822d49605f72ee98786c1607e2367554dc638d2e7b776099807224c2331c2b37a1a3f06781e50bb9d42748a44c086b069dce09f3de3ad71845c15970b18709e4be0191368cbf3753e4e1500c2878fdd1a5b6475b5855563568a3767c48bf82650789b1fa8629f329a3b44c81415d8b805a7334820a0e98997cca46580d3b722033bd16ac8aa829f34b84258722cfa1b0e9237a7a19b0dc8eba8a46a4c5340adbd08393c296b690006744a9356120b28332e9df240c1b49856bc8c3000a617ca9b3f450eda9aa84b274c5f6829f7eb2eeab397acd73216b8b7097a8645284ad3520deb072dd0b09e2b398156e647953b11beab92cffba01989a6d3358d93d12e591abf47923cc3874cc6bb1385a90b46837caa46c326764c0cec72a80a578956b640cb23bfdb62e8392d5d9c026f9bb48eec47dfb7863c65caeea746838572304582b78c11c75832fbe891bcac5751e71acc917d77918e8c374c8552c14c9bae6982bad2ab3edcec97f26bbcd0869c0240b2df5677af063f64b168f78a7515d12dee407912cc9a2f58ad65195f1eb5a97f9835e9aa639c071c36c234ea96b1ebc07c4a9b43cc2309d3e72d99f18d50a2696e5c8eb30a59b2fa4c4cc587d8db21096b66bd1b55c7997717298fd5a17160f5ac33524dd0c40a8818bbca080c93eab466557c91bbb7bdf8c7cf1c7a5aa4899533ad0ee752086b67b7b87c95416fbb01b6a2fa67a9fc78345ca31041a3ba2157b7bbaad738a4368c8fa7a02a0b3725c2c9292d7760abb66db569c28051980ef284fcd5b392615ac84b33d4f23b2340a30afaacce322a90d6c6e492aa18e9cd3492ab40ab2fd2798674744afaa043230711c4c01df4f605d51000990411b908470f05b799530a3545ad35582399ba630aeb4e319244deac6dda9647883567903085f33a1877f895a26479e0404ee0912d1ec3972e5b01d2d01960d57e459352dc2410baa818fe9c180b4b8fde8413822a79bf2834eb79052795bb40794ac08b18bda99552e431c6f726e22a88004b7e33c2a385c659c4614d0e094a09205c9aea0ab9d3516f64149369621947a71150470e592fd99b5a6eb54d694669125423cb3c2391d21f32cc864cc31760bc3429962fb7e9cc3d743e25322cf720c67d9c01d1f5c4da1205fb95c74159a0a4b7c2d1160476e2c68a966b04a331eca66cebf51d4b6079b168a98e308844b066bf82ba0a227d543a12f4d76f04da2b6832013a7010215128c06681fa63acc37bcf6a184daee07a81e6cc765a65411600938a3c869505cc491a29da71b5b78ad9b2add3a79f80bb31554a2530953d83fa4c258c09a24aadd1133424e4b56eaa3473581abbe9c12d221b1683c9ee095a86f151aa1c2dc615994df45b87f9b28d5658a0f722665810fbd7a8ad72a39611ca5f36cf69399462964ea242346e6a917beb251691764721c8dc8a4a0b896464c7b6d905241805a789026e1eeb988a8c9ac95b590bb9be88521c5a5b516b963ea68512879a40e0d83b96ab3e86832a88e0518594136aca131351b8c9e085ecb873d88b36103bba25acc4ebe530392b32dd929c7f018b508cb085684bd359008c70774fa63f47b6c5714a04f67711e5f4260b3458a4b7817b4aa0971b463bd238aae647bc2121878908ee73c449f575a2919bb781add91352002323165087e4c7a09508768e335e59a37450778f3418bccdf79bd92333ed7b6ab8b2b7f6eb25cb16a364db7c2e85aeb0a61b6ef924a21120c0252a2002973e5b9e5e193e78281135ab07e3a77632dca168f245f00088dc840ceef86afc287cf4a1c8a51154c7b12dd044b75d0cc945aa7aa7118f9af416ed979ed60544b7e564e979c014f5a2fc60811174657af917
u[0] = {2300, 1234, 3128, 1046, 2596, 1233, 779, 2553, 984, 309, 411, 1459, 3143, 3170, 1320, 864, 1815, 1749, 3051, 1490, 1740, 1532, 3220, 2628, 237, 815, 2706, 3216, 3125, 2288, 2328, 775, 2899, 3170, 2824, 520, 1762, 523, 1656, 1347, 2363, 2947, 2537, 112, 1069, 3194, 2366, 1603, 82, 1741, 436, 167, 2522, 1177, 2044, 2306, 781, 992, 2394, 2326, 1131, 908, 2842, 2109, 1369, 2873, 815, 1607, 2926, 958, 1545, 1952, 2098, 2260, 1719, 3181, 1225, 1106, 2040, 563, 2600, 2136, 3202, 1975, 1922, 1915, 582, 1881, 2282, 650, 1874, 825, 2772, 830, 307, 378, 191, 2836, 1052, 1359, 1033, 2534, 2180, 2803, 1013, 1632, 2586, 2955, 468, 104, 2305, 49, 2730, 2311, 946, 1002, 46, 1090, 2770, 412, 266, 1549, 2099, 1021, 2287, 1832, 2877, 2004, 1798, 916, 1156, 1902, 2551, 1326, 460, 2944, 1058, 2413, 1797, 751, 2025, 2152, 193, 2022, 1827, 1366, 1613, 908, 2002, 2942, 2422, 2432, 519, 1218, 291, 3107, 2739, 423, 1599, 1920, 30, 2997, 669, 1860, 1162, 3076, 134, 1691, 220, 2558, 829, 2782, 1137, 1480, 1813, 185, 24, 2535, 75, 414, 2067, 3254, 1523, 999, 1358, 1, 1986, 2296, 2781, 1457, 1380, 2903, 1413, 1589, 2646, 888, 1127, 2236, 1784, 1282, 2936, 505, 680, 2550, 2610, 953, 2116, 332, 2069, 2957, 1797, 826, 72, 2562, 2537, 2424, 1228, 1626, 896, 2941, 802, 944, 2769, 3206, 682, 2552, 2100, 1067, 600, 711, 3066, 225, 1938, 2675, 2977, 217, 3016, 2702, 2724, 1222, 83, 2772, 2237, 912, 2364, 1714, 105, 96, 2676, 2356, 598, 177, 808, 739, 669, 1039}
compress(u[0]) = {1415, 759, 1924, 643, 1597, 759, 479, 1571, 605, 190, 253, 898, 1934, 1950, 812, 532, 1117, 1076, 1877, 917, 1070, 942, 1981, 1617, 146, 501, 1665, 1978, 1922, 1408, 1432, 477, 1783, 1950, 1737, 320, 1084, 322, 1019, 829, 1454, 1813, 1561, 69, 658, 1965, 1456, 986, 50, 1071, 268, 103, 1552, 724, 1257, 1419, 480, 610, 1473, 1431, 696, 559, 1748, 1297, 842, 1767, 501, 989, 1800, 589, 950, 1201, 1291, 1390, 1058, 1957, 754, 680, 1255, 346, 1600, 1314, 1970, 1215, 1182, 1178, 358, 1157, 1404, 400, 1153, 508, 1705, 511, 189, 233, 118, 1745, 647, 836, 636, 1559, 1341, 1724, 623, 1004, 1591, 1818, 288, 64, 1418, 30, 1679, 1422, 582, 616, 28, 671, 1704, 253, 164, 953, 1291, 628, 1407, 1127, 1770, 1233, 1106, 564, 711, 1170, 1569, 816, 283, 1811, 651, 1484, 1106, 462, 1246, 1324, 119, 1244, 1124, 840, 992, 559, 1232, 1810, 1490, 1496, 319, 749, 179, 1911, 1685, 260, 984, 1181, 18, 1844, 412, 1144, 715, 1892, 82, 1040, 135, 1574, 510, 1711, 699, 910, 1115, 114, 15, 1560, 46, 255, 1272, 2002, 937, 615, 835, 1, 1222, 1412, 1711, 896, 849, 1786, 869, 978, 1628, 546, 693, 1376, 1098, 789, 1806, 311, 418, 1569, 1606, 586, 1302, 204, 1273, 1819, 1106, 508, 44, 1576, 1561, 1491, 755, 1000, 551, 1809, 493, 581, 1703, 1972, 420, 1570, 1292, 656, 369, 437, 1886, 138, 1192, 1646, 1831, 133, 1855, 1662, 1676, 752, 51, 1705, 1376, 561, 1454, 1054, 65, 59, 1646, 1449, 368, 109, 497, 455, 412, 639}
c1 = 87bd17e107d5e37b7d67c45df2453f04e778cfb38c425da461d52be742d7f53eca92a84fa0752f78c062b63bf7f67cb281c243a1ecaf67aead78868b20a9d6c3567b32782143ce00616aa573b1e01153702f8bab17513ba24a3b777dba87f026d92e960b75ab084b2f2f549d532b4016a9ec7fe9494d9aa5907c854c20f993eafff4221d7688f6a188c6a70bf794d76f62df8d350e122028d6038f76ac91d0c4814fa1ba1fa4c8dd42e9f4d733aa3b9a52a4d1b1241962986d64e28b62ae149de34d96de819b64441af85e044d894b17bb3f69d72cee5e698260af9312a03967f0b82cb24b01828730b17f5ebd2bc76d510e0fc0b00bfe814fe9a7ee4c430b803109fb6ac0454ddf65931e9745542bb02ab1620ebf8968426c6425599419f9dcb814f9c302146778baf342df8922de9e229d9af6a4113143211597da785d11a874f3c90bf1733f331a5e3348355863e45a0f0661076e4e2d5cda109fe370e64fedfaeee5d3ea0131d7b8bf3a6344abf7dcc77699f4325c6f0e9aaa8b4bfae413e22c5ea945b5d59b417c733780d03069f169be61813c15391f2dd1619cd93357ceadf8688e97b37e162a19335e3e17c676e540a0646a50f0c88357dad7e868ac1570e0ec068bce9b87e1de6c3e03098f77ee87854d97e20cf9e1bc15d9ce1833814a9f15667d8f61396bfdaf0132211ba1e639f65a4a7735e6edf3b6355f586e7434a5ffba59f7790c091c806debd0921d64d3360cf8eb42aa6238924865dbe79b50552317752633b44e1f64ebeab992225c395010a91d0966ca3b5356d2023489c38fbab20582a6cf6ba5d946e97a090da7496f8ab2e197f3a2113893980d6c48bcf834536b255ff6520350638e563b049ade5243a6c7210e56d8873f96ad5a2a8d527d4598255b7f5d5d663e8e18917f2ffa7fca37a5e0917c8a2343446b3587345ca13c78c29e813455744b8037a3c6da691087f9cd3b3bb64b948eba4eddf7d0dbcff1d31b2759e0c82d36b56e3ea3c0d21fe7d19855ff5632cdeeea2c78a5bdea96263445c653e4a12447d4c1200240ad537875571d4bf88dcc40b35437942b85aedeb211969551a9ff863704d6d9f097858ff2da1d3525aeb656a908819d0438ebb16eb81b10087f3c0d9c036a59bf3ee15579f85f1ecb16ecbf807167548635401ab6c1ca6c1edb6eed3c1efe0d2eaad683ccbfc89aa7c4dea656983cc0b959445f92c596011667e83528a964ba4a067991e745372bc05792958ed2f776b57ec98f8181e2caf7b542999c04dea5075247e70fa43ceae837fc9b3a9354668309cfbffe0194937c7064e03ad6c756c5b3e4bb0c514018d31b7084db418f105b48ba93b86095591df4157aaa82f9c186e54181e6966751ce26a6f8357b61000944218bc69c309f720a35cff5dfd27bad2197000c3f9ccb97bd00049a4a66bbc18105026430fab2aac0713534473cf1f46cf92d31f3129eeb95772f2c3ad5590210a3fcbd6603cd7420fca5fb5516629edf73d86ef03899f279d3b8f1962a71dc0d3702cb164bacac3414e9f4736992ac8fe2afeffeca9d6dfb0af61901adf9b210afcb2a1e990cd9bbba5b90ed1e230f9e39b1888ccd8fd9e1b5c37bfbf802fd6d90adfa632ec26f90cd0f4d7ab3859ef964d726851c4d2b120d154c86ac60a05918a9b0381f4cdad739261d43ce4e79de1f4fbaf09cbb3dc329303bb03af964fbd45c0b1e801530293e39754ff36c5681395931b0bff4896cb3ece79c531c72597de5451a1c56448cc25d2aacc9f1404b6440f6eb10567b0965d8d18a0368ba4d1723359130fadc83f80848c23274e7cdfcaf97ee63750cb206e25caf8b0b8b2cf066c2ccd61d844873d912109e28ee334f71eeba2d3cdc31d93415e55e82362119f81cef055694d869bff6e0d70e1ed69834b9fd40768611e1d88be19bd77d946f4910c0564b1ce0ccf0e53a45b8f065d8ec2023f226f20928f351971d
v = {3140, 2643, 696, 1180, 1041, 1979, 937, 1228, 1509, 1181, 1021, 3121, 2142, 2953, 1964, 1338, 67, 150, 2865, 351, 3012, 955, 2488, 2764, 1458, 1273, 47, 1172, 1202, 127, 2517, 2658, 2137, 1051, 1530, 2547, 3004, 3328, 2149, 1297, 160, 901, 2899, 781, 1405, 898, 2063, 158, 2291, 3174, 1510, 2155, 344, 2369, 910, 75, 652, 1804, 2124, 892, 2489, 2304, 225, 1003, 1147, 159, 1578, 3156, 386, 2410, 2729, 432, 2584, 2906, 2270, 844, 2282, 266, 499, 1754, 192, 2187, 2541, 1633, 3166, 1371, 3207, 381, 44, 488, 1355, 2634, 1769, 1652, 3, 2363, 127, 133, 556, 1377, 3023, 2319, 2024, 310, 1273, 1830, 2213, 2651, 2664, 1193, 2336, 573, 2785, 2742, 5, 763, 3113, 2766, 2014, 2946, 2489, 1601, 2633, 2665, 2244, 2607, 2519, 1479, 3230, 2483, 1867, 3147, 1413, 1201, 3153, 2431, 2154, 3127, 289, 2737, 1800, 80, 2895, 181, 1116, 2034, 2725, 2339, 498, 1938, 1526, 1543, 75, 2311, 2725, 1994, 2413, 1552, 2796, 3162, 759, 1332, 2003, 1512, 2319, 3079, 415, 2480, 1577, 2472, 2477, 10, 942, 278, 460, 654, 3050, 729, 2510, 439, 491, 1648, 1986, 3140, 3115, 1436, 2832, 2642, 2804, 1615, 1638, 2810, 682, 2060, 1911, 473, 2078, 995, 55, 787, 728, 188, 1157, 1722, 2421, 1375, 1534, 2048, 1008, 542, 1997, 2048, 1255, 2396, 1850, 190, 479, 2421, 2660, 1312, 3093, 46, 2830, 2847, 2391, 1432, 593, 2649, 18, 2712, 1482, 957, 1922, 1186, 1411, 276, 773, 1883, 336, 744, 164, 2058, 1259, 658, 2637, 307, 153, 1767, 975, 2870, 2210, 800, 448, 2174, 2212, 1494} = 443ca5b8c24911b47ba9c34ce5d549fd13c35e98b8aca75343600931fb15c4bb3bb8c9acb2954f2f4049b2f407d529a659b841fa359fbc0bd0651851a0503853db307d25380fe809f368c6e6b5865811948eb3048cc2704cc837b90990e1b03e7bf4092a46c582a196a90a1b18aab5dec834eaa810f3a16dc0b088ed19665ebc5587dc172c801e4ba5a4e9466703b0937f50082c1256cffb90e86713f96472a5b8a5689a4a20d923e16aab05b02f29ecacde27b8b91964499aa6c4f8a2d7795c9e3c9b4bb7c485154b51fc976a78c32111ab0807054f5b0b5c247fa53a92f22179f675604b7090a5aa7c6d0961ecaac5f74253d3875e0f79c09f019b29869aada900ae6311cce128ea9b2dce791beb0167c247c42bcc59102ba5f4fa6466a6afaac28077971d1e383e373031d8c20b85a46b75f955fe0580f0e321cd0780e7c4953ae70bdf5197640a5215ec020efbb15789595192a51280a9cad53b82274a83451105b37550812ea4a080eb24294d3a1399706ecf63b3a20832c0e187a4685d
compress(v) = {30, 25, 7, 11, 10, 19, 9, 12, 15, 11, 10, 30, 21, 28, 19, 13, 1, 1, 28, 3, 29, 9, 24, 27, 14, 12, 0, 11, 12, 1, 24, 26, 21, 10, 15, 24, 29, 0, 21, 12, 2, 9, 28, 8, 14, 9, 20, 2, 22, 31, 15, 21, 3, 23, 9, 1, 6, 17, 20, 9, 24, 22, 2, 10, 11, 2, 15, 30, 4, 23, 26, 4, 25, 28, 22, 8, 22, 3, 5, 17, 2, 21, 24, 16, 30, 13, 31, 4, 0, 5, 13, 25, 17, 16, 0, 23, 1, 1, 5, 13, 29, 22, 19, 3, 12, 18, 21, 25, 26, 11, 22, 6, 27, 26, 0, 7, 30, 27, 19, 28, 24, 15, 25, 26, 22, 25, 24, 14, 31, 24, 18, 30, 14, 12, 30, 23, 21, 30, 3, 26, 17, 1, 28, 2, 11, 20, 26, 22, 5, 19, 15, 15, 1, 22, 26, 19, 23, 15, 27, 30, 7, 13, 19, 15, 22, 30, 4, 24, 15, 24, 24, 0, 9, 3, 4, 6, 29, 7, 24, 4, 5, 16, 19, 30, 30, 14, 27, 25, 27, 16, 16, 27, 7, 20, 18, 5, 20, 10, 1, 8, 7, 2, 11, 17, 23, 13, 15, 20, 10, 5, 19, 20, 12, 23, 18, 2, 5, 23, 26, 13, 30, 0, 27, 27, 23, 14, 6, 25, 0, 26, 14, 9, 18, 11, 14, 3, 7, 18, 3, 7, 2, 20, 12, 6, 25, 3, 1, 17, 9, 28, 21, 8, 4, 21, 21, 14}
c2 = 3e9fa566626f295ff96c21f0d113de8e81c502d6553ddc41652271e41215f6bf3a6e0a26d284ad504b3c4fae26995b644789a262e8db27a0b41c21b82194d6ed1c4cd6ac97355b83e3f7e4f8656d33761f4bef98bfd50f1d03178b6a5be67bc1ea79dff6a7cd673dc10f63900631fd6052e0f4deedbc21dc87ca42554047ac78dba3aa4ccaae14e5eae6c1ded7990cb44b72b971e43882329347888957446a75
c = 87bd17e107d5e37b7d67c45df2453f04e778cfb38c425da461d52be742d7f53eca92a84fa0752f78c062b63bf7f67cb281c243a1ecaf67aead78868b20a9d6c3567b32782143ce00616aa573b1e01153702f8bab17513ba24a3b777dba87f026d92e960b75ab084b2f2f549d532b4016a9ec7fe9494d9aa5907c854c20f993eafff4221d7688f6a188c6a70bf794d76f62df8d350e122028d6038f76ac91d0c4814fa1ba1fa4c8dd42e9f4d733aa3b9a52a4d1b1241962986d64e28b62ae149de34d96de819b64441af85e044d894b17bb3f69d72cee5e698260af9312a03967f0b82cb24b01828730b17f5ebd2bc76d510e0fc0b00bfe814fe9a7ee4c430b803109fb6ac0454ddf65931e9745542bb02ab1620ebf8968426c6425599419f9dcb814f9c302146778baf342df8922de9e229d9af6a4113143211597da785d11a874f3c90bf1733f331a5e3348355863e45a0f0661076e4e2d5cda109fe370e64fedfaeee5d3ea0131d7b8bf3a6344abf7dcc77699f4325c6f0e9aaa8b4bfae413e22c5ea945b5d59b417c733780d03069f169be61813c15391f2dd1619cd93357ceadf8688e97b37e162a19335e3e17c676e540a0646a50f0c88357dad7e868ac1570e0ec068bce9b87e1de6c3e03098f77ee87854d97e20cf9e1bc15d9ce1833814a9f15667d8f61396bfdaf0132211ba1e639f65a4a7735e6edf3b6355f586e7434a5ffba59f7790c091c806debd0921d64d3360cf8eb42aa6238924865dbe79b50552317752633b44e1f64ebeab992225c395010a91d0966ca3b5356d2023489c38fbab20582a6cf6ba5d946e97a090da7496f8ab2e197f3a2113893980d6c48bcf834536b255ff6520350638e563b049ade5243a6c7210e56d8873f96ad5a2a8d527d4598255b7f5d5d663e8e18917f2ffa7fca37a5e0917c8a2343446b3587345ca13c78c29e813455744b8037a3c6da691087f9cd3b3bb64b948eba4eddf7d0dbcff1d31b2759e0c82d36b56e3ea3c0d21fe7d19855ff5632cdeeea2c78a5bdea96263445c653e4a12447d4c1200240ad537875571d4bf88dcc40b35437942b85aedeb211969551a9ff863704d6d9f097858ff2da1d3525aeb656a908819d0438ebb16eb81b10087f3c0d9c036a59bf3ee15579f85f1ecb16ecbf807167548635401ab6c1ca6c1edb6eed3c1efe0d2eaad683ccbfc89aa7c4dea656983cc0b959445f92c596011667e83528a964ba4a067991e745372bc05792958ed2f776b57ec98f8181e2caf7b542999c04dea5075247e70fa43ceae837fc9b3a9354668309cfbffe0194937c7064e03ad6c756c5b3e4bb0c514018d31b7084db418f105b48ba93b86095591df4157aaa82f9c186e54181e6966751ce26a6f8357b61000944218bc69c309f720a35cff5dfd27bad2197000c3f9ccb97bd00049a4a66bbc18105026430fab2aac0713534473cf1f46cf92d31f3129eeb95772f2c3ad5590210a3fcbd6603cd7420fca5fb5516629edf73d86ef03899f279d3b8f1962a71dc0d3702cb164bacac3414e9f4736992ac8fe2afeffeca9d6dfb0af61901adf9b210afcb2a1e990cd9bbba5b90ed1e230f9e39b1888ccd8fd9e1b5c37bfbf802fd6d90adfa632ec26f90cd0f4d7ab3859ef964d726851c4d2b120d154c86ac60a05918a9b0381f4cdad739261d43ce4e79de1f4fbaf09cbb3dc329303bb03af964fbd45c0b1e801530293e39754ff36c5681395931b0bff4896cb3ece79c531c72597de5451a1c56448cc25d2aacc9f1404b6440f6eb10567b0965d8d18a0368ba4d1723359130fadc83f80848c23274e7cdfcaf97ee63750cb206e25caf8b0b8b2cf066c2ccd61d844873d912109e28ee334f71eeba2d3cdc31d93415e55e82362119f81cef055694d869bff6e0d70e1ed69834b9fd40768611e1d88be19bd77d946f4910c0564b1ce0ccf0e53a45b8f065d8ec2023f226f20928f351971d3e9fa566626f295ff96c21f0d113de8e81c502d6553ddc41652271e41215f6bf3a6e0a26d284ad504b3c4fae26995b644789a262e8db27a0b41c21b82194d6ed1c4cd6ac97355b83e3f7e4f8656d33761f4bef98bfd50f1d03178b6a5be67bc1ea79dff6a7cd673dc10f63900631fd6052e0f4deedbc21dc87ca42554047ac78dba3aa4ccaae14e5eae6c1ded7990cb44b72b971e43882329347888957446a75
uᵈ = fc284d375c41242a4d0ba39fd753139b415b482cc628153618576deb3b5dcbb65f944ca4ede03292fac8341c8f187930522bc6078b20e2b6207846543b39b8e909072ea4c73f396451d06cb4710adb9949fb37900c033e5a69916bd43819cb835985b32e83646edb3b08067a33388db8d6c6ca1445f82723298a85827c7b81b777469275eaa82852a733d3fa3333b117c040b11cf4540a649e8428aff503661abab8d48106011903a97a90b2933e2e3044d2ba190bd16033d83fef88723d4b7d06573984e476f6e952cc01b822c49606f72ee98786c1607e2357554cd638d3e7b776099807124c2321c2b37a1a3f06781d50bb9e42748a34c085b069dbf09f3dd3ad70745c14970b18809e4be0191468cbf3853e4d2500c2778fdd0a5b6475b5856563568a3766d48bf9365078ab1fa7629f339a3b44c81415d8b806a7334820a0e98997cb946580d3b721033bd05ac8ab829f34a84258622cfa0b0e9247a7a08b0dc7eba8a46a4c5330adbd08393b196b6a0006743a9356120b28432e9ef240c1b49856bc8c3100a617ca9b3f450eda9aa84c174c5e6829f6db2ee9b397acd73215b8b7087a8644384ad3520deb072dd0b09e2b498156d647953b11beab92cffba01989a6d3358d93d12e5a2abf48923cc2874cc6bb1385990b47737cab46c325664c0cec72a8fa568966b640cb23bfeb62e8392d5d9c02708bb48edc47e0b7863b65caeea746838572304582b68c11c65832fae891bdbc5751f71acc917d77918e8d374c8552c14c9bae6a82bad39b3edcec97f26bbcd0769c0250b2df4677b0063f64a168f79a7514d12ded307912cc9a2f58ad66195f1eb5a97f9835e9ba639b171c36c234ea96b1ecc07c4a9b43cc2309d3f72d9af18d50b2696f5c8eb30a59b1ea4c4cc587d8db21096b66be1b55c7997718298fd6917161f5ac32524dd0c40a8918bbca080c92dab466657c92bbb7bdf8c7cf0c7a59b4899533ad0ee752077b67b8a87c95416fbcf1b5a3fa67a9ec78346ca30f41a3ba3157b7bbaad738a4367c8fa7b02a0b3725c2c9292d7760abc66db569c28051980f0285fbd5b391715ac73b33d3f23b2440a30afaacce322a91d6c6e492aa18d9cd3492ab40ab2fd3798673744afab04323f710c5c01df4e605d5200099f410b908471005b79a630a3535ad36682399ba630bdb4e319244ddac6dda8647883567913085f23a1877f895a36479e0404ee0812d1ec3972e5b01d2d01961d57e45a352db2410b99818fe9c180b4b8fdf8413822a79be2834eb89052695bb40794ac18b18bda99551e431c6f726e22a88ff4a7e32c2a385b659c4714d0ef9490a205c9bea0ab9d3516f74149359621947a71050470e592fd98b5a6eb54d6a4669126423cb2c2391d21f33bc864cc31760cc3429962fb7f9cc3c843e25322cf720c67d8c01d1e5c4da1205fb85c74059a0a3a7c2d2160477f2c68a966b049331eca66ceb051e4b6079b168a98d408844b066be82ba0a327d553a12f5e76f03da2b6842013b7010215128c05681fa63acc27bcf6a284daed07a81f6cc775a65412600929a3c869505cc391a29da71b5b78ad8c2add3a79f80bb31555a2530953d84ea4c269c09a33aadd1033424e4b56faa3474581abad9c12e221b1673c9ee095a860152a92c2dc625994cf45b86e9b28e5658a0f722676810fbe7a8ac72a39611ca5e26cf69499462964ea342346f6a917beb251691764721c8dc7a4a0b896464c7b6d9f5231805a789026e1eeb988a8c9ac95b590bb9be89621c5a4b516b963ea7851287aa40e0d83b979b3e86732a89e05185a4136aba131351b8cae085ecb873d87b36104bba269cc4ebe530381b32dd929c80018b507cb085684bd359008c807750a63f48b6c5704a04f68711e5f4260b3458a3c7817c3aa0972b463bd238abd647bc2121869908ee83c448f575a2919bb781add91352ff2223175087e4c7a096f8758e335e59a37451778f3418bccef79bd92333ed8b6ab8b2b7f6eb25cb16a364eb7c2e95aeb0a61b6e0925a22120c1352a21f2963f5b9e5e193e78381135ab07e3b77633dca168e245f11088db840ced086bfc287cf5a1c8a50154c7b12dd044b75dfcc844aa7aa7118f9af416ed979ed6f543b7e564e979c014f5a2fc5081106465790918
NTT(uᵈ) = 6b4b7aae51674c9570508b5d9de2a77dcb8f9d882e5e911620f70887cb4601689009b2bf5ae6a4412b8d4e41542fccbacac12670e385787a7f682375e48b82c29cc9cff90ced28883f5825f8b389a06ab98ef2c535c78a86a737d9c08078951793da6e77950181f754bd4252815cca8fcb109a3bcd22a593d13c96076c50ea37cda2117c5e7531f4608c79707632f5b2e853563fa7bcc9e380ecb86f41736f15fb0958fa824e08234a78ad5e9248f3043db4585bbe7ca2de9754adb56f9c08b16355ae7c8007cdf42090959f0090a1c8922cf3912024d3677378c573325ca0a00b3608376bd30e8729142e581408012add36c5957cc8561b7339754064f571e371653e348560a0ae3dd65f4f653f9e24a914034608a948689422b2a294d7724ab711a5e82201ef655bb95507fc3c0e9fdbbb3f2c1aa8350c1ed923f85684434a5db2d48c4a8a630c755c93640a06f00816150745139af34c1df9735bcf2b089f17b10e81ceda41cc1936423978ac4ea232c9073751ec7bd2b5959328b64beca1c9631c1c799f9f824bb7631e9693b1a1c1500095a58a163916107d566b5d158c6eee4b99e03cc24f4b88fab6106059bf21ea8d9d03ba3da2a69c3843f9d737cb796b723665a657420a85a39b25561de23e1fb13e11d78a80275d67f381b6da9bcfab67eacb1d5de471986c109f7b8838f997a006ab66e6c4cc6986bd5426aba533ccb43ab5cc1e21517509f728c1b8b6adf0af04129b16593e7e3817bf7608878736bb8638a31569c97439b9611490293db4393aac78bf65427bb22b636dda15d1e9553d0755b0531e772b82be083dc551bdf5589787f6bedfb8a90f79b438a570879635a2caa1e0a843a2c9c166b15406f14b030c309b638e00445b72db5fe488bbfc53be5549cf4ffb2032a3c0811a9d83bc06e04627e09056555b91ffa8a0bb892abbc96f3c0b45bb348eacfa7a7d52708c14999f4246f038b3d1a73c3342b2f5545ed43a3897da0919db5a5582220a38623d0588c77275f882b9e66768b4b156d7a8adf9b27ac508bdfbca1f24429d8b962b9b5199cdf76a9c96c1e15a36c92b738369151da751179215d8512a772a8315a498a5707d9a5414ebdabedf339fce840294987862c300aed5a1e724b1ce2b66691b07ca655e28c674a2b06cf2ca7fccc133b2f67401d0be602a2be57884291050af558bba2503f0f1affb91c43aa950708c2cda404ff8e12a93883ee8e038adf1af8ccc655c713415da54cc56bf78a047ff300209ab05cd61c4e5e75608d65d51448fe1aa3693d05acbc58e0deb98f2a295e4d17ef502a55b716341676173666cca6703cd69ac6f0cc94dc1a44c4b25d8a82537ea12f2555c7840b2d38873f9982e93b379a662c8588919935447bbf39e5cc97d339b6a5db58399b920a62a8054fb9f9568c16fe1b69db64064a0581ee98605d06f038b1d803757f567155ef75ee2ba370b569b79179adfa629dd2963343aac6ce52865cb8c5518328670c4fa8a365b633167c393c6491fb86b24fc0a016c47051f250b894b54ce262a285326c4e58abab01956c6055f31cd1654803e3c0a41c1773ab72ae67824d5dac7955490be354c59c78a96f433cce7a5cbe783e17c3f3cf5667923c1e6b72b0ebc5ed2120c5c25cd1223249f148e5520b83d3277658a4d23e888da2197ca786c39c13c7c098abe440d2a13c5f266844fc29ee5a8ccf6da28ce06a6094566678438bf7a4aa1102b0ce2bfda6cb9b11965d3b1a6291566079468d0a4483e74b907501b1b797ba24aa1506486e4e8517d196332e1193b4aceb0da89de134936b47c9af698053235a615a1550c7f910401ba7086fdc60aa4526889b12772d807eb36a0d8953608e9568725667211637de88da351bf68799778c4706707cdb17593d0c3348ab65a70d798fe4214abf128f826b19c84b8e0c173b6b7bedd6176a3eaa6ba1a5999333d6f3896ca453e5e27c906c149ed30cdc6d3228f5312465b16a46943914b6ac7563173f7959537bc89806e6a522502cb18f2a2bffa8a686a3168c3a2b440183dc5a54709ecc4c34810f4503a30130a47264a58423887a16d5c81097188070db7bec88a2bf131c28a67cd0af67c2003bcd1378118f51839301489052b64c159d10a528a178ca1548a8b92a1
vᵈ = 319ca2d8824710947ba8034e1886471014c38918b6b98754688006618b13c98b3ac199afb0054e008047e08406c119a989084118169cc90b0089084ed0803a610b34b0853a21080df198c9189688389195a8830670926e21883ac1198fd0004178040d1816c3a09195910a1a291ab6f10834f1881308926ed09088c11968318c54990c1a0080204895a2e91668009095688006088254c91b8fb98713e014758998a2918a47f10827f91aa900802d319cafb917b6c18961291aa9f198a2c1095b991c9c5117c3b0054e319c958918c33811a9e98606610b0d781482911a8f08927b18866168108f919a7b598961f91ac3d88254b98761f118c3a0119c18169cc10900a88313a00127c98b2dc1091a081268b917c3310c5bf99aa2f91a688196afd81282518720210841680034d8020d78946e598954181682108420b91782e0949551070d089295918a54310c00f99aaf59095b7092a20010a9b0853a518747b08513d8127538812dd01082e00427298a1368906ea813b6890834a0918889085b
w = b6dcce5510020b80663ea66bfb06ce619668ec566ab3a601fe7ccd3250630c006af36602d65c68bc9662e196ca718600b2e6670240007036ce6c266341b000f40c701ae0041a80cfe77c69afd6c9c01c6cdde66e5ac6cdfc8c6f0f90cc119008a7b6010160670a90cf90f668ae1667bee6cdf0fc0281366331f0ce857604b88ccff87c6ec96c001dd0cde1ac62d7cc02ff4c624896cb1f106bb69ccf75966e849ccb05806a35c6685bb666a1a60091b605aa060288c0630b80038d166acf3ccbe18c675006d0c0766dbce66078d6697d066487d6698e566c0ed0695246cf6390026a466641d0620820cf9d4c65ba1661a80c673dc671a8b66964c66dc3d6cca02ccc1d106f68666c97966a5ad66b271006ebacce33f06a0da0637940cf4bc0029956ce61d669cf166ddb166ecdeccff1b50594c669f7fc017b7664ef656824e0cd26906fb3a666391069183062df8ccbdccc66286000c9fccd3a96cfdcaccc8ea066e76c660550654ac006773666cacc66b6cc69f3bc015c56cf7cd671effc63
KBar = 99356ff2266850bebb1b9eb49e7e2dae813f376c39a1747b9665fd49759ab5f1