# Source: C2SP CCTV ML-KEM unluckysample/ML-KEM-768.txt
# https://c2sp.org/CCTV/ML-KEM
# CC0 1.0. The vector targets ML-KEM as specified in FIPS 203 and exercises an
# unusually long SampleNTT XOF path. Only the top-level values needed by rmux's
# wrapper are included here.
d = 8c7238e1965ddd73b1114b897e1bf4b308c0d9cc710d0482ab8b9e737405354a
z = 8476013560151d986dc7834dcb57c75f845f8d7ee71558d0955f3f4feb723cf2
ek = f029cc40c924b4ac401a14b4bbfb4012989042b3c11df73eb8b6ac35808b1b1bb4bc82cf970b83ce5c09e008caca9c364a2a6d7964b76aaa574532407fe293f507a0937b3f4f124a2f5946d2c78191d0cd7ff6bbc0ac4386259aad68b83b07164e35a24eb7a169c0191fb698db22b9e1f46a7b389fbc648f1ee7850459b60335316e33171ce81d9fb5a35c2c7531248479e14bd0f4904009701ae9404fea0e5c6765b21b74be55252ee9c4c7d97b38807c74a73ff5e9406c53079ed13baa96b195396567366bef571aedf9c108b7462800605f1c8a44fa8316521287b19339603d16dc9df8bbcf249cae26a0bdb2f899dfab8168ba648d648ac47b27ae3731024ac012910e5479ca7d913e1b350fc7282cd8f8b10c8bcade27081e760c41713ebe25bb4cd10952310c4c23c68de567019a8978ca3649f17a2c1270e3a78237d81ad6971cd62815467a8472d290e9f78f7fa755b9b882a236cef03407c5d7177627c568e344c32c35fd5116f38020338a1b8e706efcf3b02284b79f8964af027e8b686cd769153e31c8284243e44c44c7b8caace43fdcd02c0da14fe6b17811c42686710642289ce7eb3bf648902f0c019e48b8508b764e3b6b67a90437616ad088a82928b4c61128abc2c8ff72add3ab85a2c3572b8a445dc519e6b50f71dbaa15977d3b66810f880ba6e037caf36146d2b72eb16e435bac8e114461bb2bbd7598aff3c01046395d0347f062b5488c3460f489589756ecb9c3dcc044c01c078d14592caa1a497baff0e3444e123549bc19a4f229d967ca05d940a2354a673b9fe8b2cac9f55b2bb4081fb68e4dd436ebe12a024569d83284a60a25cd089a81401cf2b7344432c6cbf2430de1446f5204851cca9bbbcc3f134083f1b8c25144bc399817539074e90c23a3669c55667158ce3b24cebea93b3325590408b2642c9b07d07aab1c524021af746477d45132b64771816000a582bc9aa8880f723540cb36766c46fbbbb14b418650b8c70443559b6b94c07caa584067c7aa216ce50d2a2c08d0ca6280fb488b28b75e794f405948b4ca8a66006bea75050a795086cb33b607b75cb2678b8276ff2aa07eb26805c3c64034115e7491e8b2cf434cc523648b9c4727502c402466299f985ec221565c990ce2c4b7fbb98c591ca9a78911959a4035d2a1389c53b4aba0e407969998b2d93b18ba074f2f90911bbca80109ce5af819b09205ce78a38d15c602e2b950a95df3d3371a938749345424dc8b9d0944419a01f3b59b5c5c0369ebade574bcb1cb553514307f7356b95a812deb1df218c2b671ab2e5c4b800c37fd0c60d3fa8eabe895e020ba1d59018ffa263e17956f97360265918432b2c92a046c63adbcd88a3acb1099ac9ddd372d6f866f2017ca58a1664cd65525f95910a3a4149b08b63cb7f250798b9ca82d40377c4c2994309fdce095f101c23b25ba98fa9d377228d8799f5d035a069a0ce39cbc7fe7167a7b283684a38a3011774885ef50b642c615317ccd5fa342acd415970b5630eb52e246b3d1856ff2c69c92e25dccf99e38b0482807ab7b34133d30112cd5c12bac272ec05c17d2810848ab835a2f387b2a8d451dc18c31cc2b43ac95954f202a5c3c6fe50d06fc1bbbffafc56ab7050f2773ee8ef8d28ca4b97b43c8d7202e71
m = e48f74ad416e99631003ded1478aec62a02c245d88ed7f2fae92aedf13ca03b3
K = 821a5e7294086332d139f210070ad873a80f28c550dc38e78a1a9f0023332d47
c = afff2412117fdc6d06798e131fba62479e711a349fb873c7017f53c82092dcbf1a22410cb918d7def83fa0a9679390f3ce3f93b6da5c441591d38ff81b7ae2d2cc8411380c5c791f94deebc74850123a5b148456884824d36037d0d9f162ab2b57fc82dac938dc68c10590b5ec6d169e6a80bd07e6bd33ff2076022dd2f722217fe2358e455fd9ff6280af169f9cbc6d1d7cf06bc78ad1dce143256057a6b25dedb655ab4e56ecfcc7f1d1cd0e4c64264ea2c50757e71a50ab56415e2b57ac9ac358f3897dcad8999f877bf01e94cd5110c6b6371c5e2b43cc694840678100a8e0deacd959732910b46136ca27ae9a71ee4ba9c1174faf8cc7b3fde0d66721f8e788c0fb1943f6fab1cbf27fff96b4e2accaf21d82273687786f914bed4995ebfe8a2536582accfea43dd0bb76f50d74f66d71678571f6b219bb397a58f93a0ee9996194a23c1274af0efdcf2b7e9b4806beaaa070fc39e5cd8c4ff8fc1f5c9ff675a270159ea5f94ca0491c51f0e35a04a8e899e826d04473eb83a7a21d4efc12361420d657e495f537ce02aba10235276ffe3439093cdcc24aa62de1f80a1207814122682fa63bd02e184419ce386b08a9e94cf377e345695306c055936a1a38e934f5921b9909e173415bf15864ffeec146b3ff52493dd59ba376dd1d167e71f4406751f6ca1c0e844075264cf6a865a235ab6cbcd45e6ea879172d3bea233e1e41be0d79be5fa396233310e0b0c55e3b6f0344a3a52f0ccf11dc4b6e82c337f64c1702c0a78b0112e786a935e9b61d7bf9ec93daffbc93c8a019aa55a81b5fd5f33b3eb87c1538324f6c6d29325c7428ecfa2d1c54e204de9ceec4238ae270993424045690ef99cd855545078595fe24c98c11bf24199771ac1c183502103d695055b2c0cd1052d141bb40217ed3c7de62dbe4b9e892bbdcff4222a0c824b1538091377fe255c88412d095c5fc34ab70b77265d80092e88e9a943e282645231c8fe9cf7455d157759377975e3208e766c4292921fdc2137e475cdaf7c61929c52238b45800e322ca8fcf795301632db92b9509a98376f9fc05d3316df02e7a1efecc71826940babe9909b49271af157f6149c1a61036c2eed723bce56a69f843942902c599755de1dc8fc8bf25627679f7bfdbad7357b982188a06a051411b3bbead85bb62c82c86a079b4e7f0d986dfb1294c2353893950496bb806380f24be5e12c2d2a2e3eb618756170c048f3a39a6775baa65c67597deea7c6ba0175e8d42fee21308e7b7c0a4dff3bc26c7b292b514649b97f45b37579b465b27335973f867f468e3aa30e9fb85c4bfecf767324dd60e27d599e44de7b7926675376897cf42fa4884619fcdc3b89495a9064a5c11cd5b8bffea50863738601dc45887ead684f99e2d456346e55be6efc18a4b665c356bb334de56374f4536108609e600b975f18ccc16f012df946dd5ee1b337728115a04b9cbdd81246c1b765cb1ac3ed60677956e7feb4c1a4389bf1def9579d34501e68fcb3c1e58353651b01c
