# ML-KEM-768 encapsulationKeyCheck (FIPS 203 §7.2 modulus check), NIST ACVP ML-KEM-encapDecap-FIPS203 tgId 10 (VAL), all 10 cases.
# Source: https://github.com/usnistgov/ACVP-Server/tree/master/gen-val/json-files/ML-KEM-encapDecap-FIPS203 (prompt.json ek; expectedResults.json testPassed -> valid; reason from internalProjection.json)
# libsodium: crypto_kem_mlkem768_enc_deterministic(..., pk=ek, ...) returns 0 if valid = true, -1 if valid = false
# (crypto_kem_mlkem768_enc likewise).

tcid = 136
reason = valid encapsulation key
ek = 0616cac3a41e537c5b0ae0a6113215a0aa8d2b12855107232d532c4a494f0661c3ac0a417db950f0f38b47912eff36615f2311cb3438b825426ee20d2624759ae95d54155eb11cb41ac81ead028c1ebaa6297a208e9c0418f3954bc981e84080967145a67922764964bfa413c359c398f12889c0429477647b53be55268e40ea76fae5aa92720083ec7117c2b14d4a986d9948af818e67144148dcc85f5704c3924b6640365f5076efb1aeec692dd0c57ee2493df0cb3ac7341cad495b71553487a868d7e3a26eba81b93c1867840e7d6064d77b20f08303e3533466446bec697996b2ca973720e50a3b09daac1cd06d5b73077cd803181692abf80a8ffc415f5089ceab51bdd60375955fa46caf282b9e240b3faa998b5e84a9f5d935214c5de1a97bf45619cf632ed9ea0ed2e09c6151aa211aa381b57f1537b8802c41f3e5085a4a6d191386a6f6a6506105021c878c4803728228071c3b11e571db15cf709518c79286d835b462eb7ccbb00e420142dd44c7ceb201df83343ba28357b9313ffbc21523182c6443c2dab19f0903c14cc3816787a15c06076a8535536b15e44a00b8b76a0bb2597959c503b1b7753837c9a15a415636f1012404c61e2979f2e3b26cc8294de779bdfb3c985970f0d64343f0104061c23844b0b81b7f26c895587164a59469087b80f373a882002c8c73b901d61e529682abc86f87a33e6af985c0c43adfa0364f8290c2a923cf7b60d072af8c94495f439520eb81e4576485002415079ab705cb4c5b3f652b605f915daba81d71ec667b03c0a7f77f3c7ab188641f3a334c3e8030977bb52fd4c54f39baa4153e49c832f836940eb3caeae0bdae634241718671d43e57ca24cbe6081ed28fcb180a419297138a4e90a49269a502a940b3f2cb5efe1261f17b376f839805951413e3100c84c17a576f731c6ffdda02c69652ffa40e324804c916cf3d511905626a1ad4cf25b52cac5b0f919bbf19dc37431365f15c6b523540f81321f8a9c02109cafbc4b7e0c19fc89b9080aac952306f6632866efa5cb0d0c53c49921f5996516a7bd95149890a4fd7bb7382033dfd2b5b5d010d859cc79c9a68e41855744832ce2b5916f301b7a5a627e3858b9512cbe4afbd9049a229972520673efc9adbea700334725f7cc256fc0b74eaaf0cf1bad802bfd57a737b52748c009f46db4a74611da8f8a549d6baaec6ac51a14422c1834d199e30d210fde062402b7ed2a46de6a54075d1c15e8082a11cce4fe19289a85a309a371f620398e169c75b7e4405623a5901a7f94de7b1c240713688e36ed81c971bcb50a5e17b053b37a2d79e724cbbc2eb856fb66b997cc94d8b17c4a9729338022e1636e63ba7dd66ba288793ac72bf1ef36cb9439b19f9a2861340db711909eba6dd4c2219347cd68435c6b634101c4f52ca08dc3c939d509fc5382dd5512210609d51246f2d832dec00bdf4c1ad89b45333e14403ab5a2c51ccc353427eec746284b8acb963ac765290417e7cf9ce9849940d1189ad55a12e3c90de718f1fa0621f7389360b2f5b6923f841b0d58a9a5ca0cf8af4be7bb689e2039141fa7e67938630b55bd65c0630f1405e6c760d890ec64752dba36b23f483770ba563b368a916cfda68fda5d35991b632af5c8d8f2caca112f926b6
valid = true

tcid = 137
reason = noisy linear system values too large
ek = 026dbca9319a20dcbd8aa0ae721344710493091c20de43273a821043b0ca062a37af3a4dbe33b503d01375ba11f06a4f10c7a961746f68456b013449f3e416d0e63a40740a1123c5c1051ffdc8ac8bf9c5ea1246ca16a9f7fc1c8e750cd0c40f18584a473a0719591f1040c2d7db72add962ac278a96b4836c1b6f2c33b6acc30e4865487b1cb2ea609cef60cd7715715ecc1d0a541a7286962c26adbad87f216c5c6073c579153371a767172784f5eabae70773102b0728d422b1a8b51e09ac56f8a11f4b40f70b9d7e7380130c977563c6f50ba07641c3633363d102a11d3956cb363ecdfac9e82467715319de73bd82931803b09b9e52315f3b9e90d634e7b43a097b020f20613fe42ad941a88e7461d831cce093cdb88331e8283cc0e18be0c40f89523ebf09ad35c5c4c44708d4e028e6269bbd7721c8f5c2dfc5570f6cb9721b6d9bc303d7c525646539a809200bf3cc30f902eac04471fb79744cb82beacc31d97eec934caa13bd607717c811241e4379762464713630d4fcadc9e890a6a96450a786b5849108602951960ac9da84f10a97b04b66e7304cf234804edaab8c9355bf05af2c6346a694c87a90013779904e183d8cf7bda6950b58fa4a78195bcc7659bb040e6a642741b90e4e27292340a7224b2cd6d53f21311a497516030606eb206ee9625fb0db621ba10efc604f2f696d11e667efb24319193e16c45e317ba0e7120a0012cdd33a62356135f3e18af837ca868294e7a92f2670492c0996538360b375294e47313af78418aa262c96cc2986332f7107afd50c53443c97161858363bb821625ba209dd40aac3bc48f4c8069a2535040436f799421da205f5b729f31a7e1469883d07bac1b62a6cbc7811646b51134cf27b307fa3a61cf9cc0b6393c0859f91abc734ec9aa573375674134de65bfedb39f5e546cbf0cd98fc5c16b36408ec058a5142035abae46594bb2a5fb1bacfb648515b6672ad04a88239bcfe4c4dcab768ab9294cda37716e62fc08c4e0c1aba58565919e19b17b795f3a37a3475a499131fee57b7aaf8b7fae64207d4b2e32632e4632920278edb864d61d4b1e8c62a2bd42dc980475e1ccf9061c64b573bad7ba2f799c5a37054ef3586be94056a49712ce94743c3236937053974c9b8e274f6d7a0b0d427f565a37c9aacb0242e7c2c86d01630c8627373ea951325476c1a617a845749582e93c724b4c032b8106fe4f101d99baa5e4b9f3dfa8205279c2927834b6412b73c84e9f3a5e398aa5f0456de89a10f381d840c19ef92b4ffd96da90566c51ab5e8eb7adc5444a76b59a61cbfde1b889e744d1e389b90eb5bf1888e7c42accf28c5c34a63e0e36e64e99636b07ae6255f1bf980a887cd65f2467eab30071533f4d0b1f454811c3303176a9e8d4140f57b538d89b794d7c069050637f9a7ed6badb2a910064b21cdda813fd4cf2cdccdf58cbad33c3777a930eb9aa4a2bb1cd22c7b3ba17b6905a8fe96875de00c34757202581823250133915acc659559215e5490263975225f29ac8aca24cc6888a4d77927687a69344a57ac819e7780a7aba782ba0af0886826d20040b537719c87d99aa4b4601acfa7cfa61bba07ecc9c3a75ce3b01e0a163f1b8ed4d9ad2ae714111a25290cdd167d42f6f56b767583f78cac
valid = false

tcid = 138
reason = noisy linear system values too large
ek = 024d354d3a8198a5256b132664128039ea080821ba7360b7c5a27fb3cbc857e32cb3858080576044599ffa690b7e507523b6219ac4a67811beabb293e9d2a2482a6b6b293b6d08c9546304af37c4c5885f41317519547569e5a74b941e36e53b6515741e09968572056ff49f9888a55014b6dae547008aa843191df0c918de09b111b1ab41001fd24a2b66953aa404780cf79335930c80e948fc8885d7d8b4e912241e30a1b486683e31593757a981a375744b54e54aa20d69882957409c35800e42077cf47e3ad437e70375880a609be011a0249c1cb51b351c788fbb36608c23970a3944a8b4815c3f4d786c63a27ab5a4c0786caa2042bf4762c02386639d918c1f9a32b1b102cf382afc03c51f5b9d63ca0c6d5562a918240b845ecee4a8a31b766be4851536015bc676b6b81f3edc05c220c1ee851927a76d48e74b6aba62b6592864e4656929155fb46c25f5b51893c083f4cc549969a664537d590ddf05b7096c3ec629361f333704d25046d969b6277cf02472fb31ac1c6330b9542724c9bf61f704c7c621c4405ec76158b99b7fb838a80455497d723353110e1c38093a892fcc0bbbcf66b1ab726791384ac2c835f323bd2004958a1360eee5b2ada170a3db31d6c06d642c3688bb6284786134176bdfe3a2c9583b5c07249c8aaa88c3c3f37a3bc3681513597908329ed65511cd9842319924b6a5cbb2e15636e36bcaa33d6e57a516bbc9ee0915d4d25195c95497050cdb056e583890a520983a575af2677d37b4bf69478e151684dd025c57f4ce800071ef5852cecb7353380d57848366517207665f62337e397013c87202478baf064b2750c58d90ab2f05aa714ea22cfb657d9bc8b7e547c485281055dc3374a9b340a1855274530da0cdba62173db8606ff465267256bd4519af21159ba8cfb01564ca5060f7dbc0a0ba080046bf4a0a2de9b029b01ac5a8944f022a34859ccfcda4bd931b4eec82b7b000c4b2ca9f646b5f75730d8a68442a0676e387af4e536c3ca332d7a27611c8a6a8845734e63330f182caf51673ba32bc9ca8e1da63f1dc90acb8640c5215a22bce39e8b5b73c24711348e40a4e74dc8f18c58e1ee17cc3118c840a4d94177abf12854319be2afb2fdde901aca13e17f1119ad171ce574052904f9cba146c4205fa7a1a9b098d4d19c708a3c1ee7a5f83f17b02eb6ea7a83b27bb10d981289551c7d0eaa77b00c681dbc72c2c514a73bc68268ad7a3baca143716f70ea8acab66062ba9830f8e691444086f651808f42319d158bf00499d89a089e5fca13fc48456b4a994dcbca04a4a25793873315000db17dfd346634621af61b960732707ca689f478e9060962f56c43cc68d1b0597d0f55969b654a1241f47412c008a5d2dfab48106af3c134f8649a5a443a5ca65054bbb1c8a6529fe808db84b4fc5d1beaec7b0ce24146b890a47b38620c014280a59b98829d2e57a71618eecfcc32cdcbc1634181aa502d193b8a54c21e71633ac8839b0f17147304842a95423d18f5f9a47a0287c9ec47a6728250ca02427473518923ba146c36dc27baeb1016898714482b546e9b74b760644c1b6459a8b16dab4aab3cc7222804eac93eeac4e2cd9924fdcbbe299a340bf5f5a15229596aa44864fd6b065960027ee2b582d48f0ddb6
valid = false

tcid = 139
reason = valid encapsulation key
ek = e3b62b8a4ccb7e098b9db7a478921c1ae65a696048a54b38d99899ff3b3ba3062fe0f756de55a1bdd242761b1d8471bbf57c989d515a1dfc697fb8c0302c4812b12e0a5294b85578b22a7f0870b057b660e267660cbb0b7176649570c6bda285f430c51c4c976df3c45279bc6463be784c9110bc0817904a902b4f01359ca845cd6c02675de939b47826941668aeb87053a41ba7a64f1fb655a0112a94f8274d80a68fa69c5ab32b3cda775380c9b6975f345124b3360553a1116998aae592b188ba1ada26c7da5b5fe43a7b616776dd949b42b0a252e02aadc152a5fa3b2a4299391067312494b96994028bce4322c1ea2a585e3171e08b555aeca474f7169f43c2a297af29ab97d8042dd5b0adad305d14b092985c46aee906f87114d6818527104efa9b9b72410489a1103a75a8722b5d0bd55a41933b81f1c8e1e611eb7143f1725121124f85002c22e798ddc28f6e633cbc66b18cd7921f8abd08ba164fbc7de2574ecd954f3cb31263084fc9a097565b047fe680ae828dfdf381404bcfc944b5203509bc21a1103946c63379974783b6e87a3a327d7c3327442908963ba1f4b7a520895bbc8b0d5d6bb61f60b6109c85fef5358034cbbd0b97dc2c7a94471da32540d0b949c2b74e055609950c19eaa76e69ba334896c6a7087e0f15bf40829a44770e0e27763d612b0970c20e871ce0946b840ab788932f0e47abdca87bd8e22baa714c8bccb906c83fcd842bdd942a760a597dfc011a3905943a39e8e61d92abb47e2a2fc07669c8c4bc458437501574d057c1fdb1984fa01dc7c0880325875bd2b21cca6fb5c4577ef6cb8b4385d39b7507545ad2617899a403b8252a457b07ea8608b31415a40453f9c566e7891c65a8297ecc77152921d6fc017690c433212b26cbbda6d75a8038ce5cd344c7d2c1b3da80d45833859c6691091eb852871ab3b9f47163f930227456be19246c4dc1cf357005664cb738ca814dd87d6e0b39161c91b6f9cbbf505b1a6038c35a676740976ebc1138692125630900cc29bce9b61c8560e0d81d0628472c59443396ad00983b275c089732479f894bdc442afa944aa0656644b8917b09b843116d19ec85e6f35178c120fc9885fc32a36507776f3143fe3159040cb78720a40d3490a4a0213a47cd6882a1e97795e9938de202a189e1166c187ca55a7b43175239a5b42899adbee45548c7887aca9dbf943b0582151604bf6b749387db308f98b33cb3b7471944c0b9681e17b82486958fe2b7ec816f988a6b10a51b22472c338a0772a7796d45cb9b700148ca3a35474ed2ab1eca9420e4fb8d86eb5702517bc51272c3fa4f93b151e493846fa667122a3c35d5b151cc37ea52150797cef7f9843927c01650023f9174ec07564ce684115ab592e4b7cc06318aea8941893efdf1364e259128053bebf88e85bb777f04a78289510f2370fd702fc9f4a7e1bc2baca49d356bcb318a5b37290bfe5881553105f5003bc07a52f6fb6f0e0955d6620eee44c685f38d155278233bcf5265cca20b3902b36cc6ca0292f869f6e2190c38754a262a526c3b87a6b48967b06afc03454a0f0626646c4ca71ffb7174d8828d6c618dd435233386508825d12415af6bcba33ad699364fb89b9cf4ff2b60a1cd17231778258caf7a0bf98964842f
valid = true

tcid = 140
reason = valid encapsulation key
ek = 21570ed074143c4c3106d38782218551b1b522eb89e2532273048fb2e32d4ebc43737ac5313646f324b42ee6b2929239f21855e26142f8fa818eda9897f020a4510b4acc1917b511867c753d4200d028bb14eb3c70007adf8b6d4b573215566a32107d8b757d512921d069a4818b862df9cb49ea222882c53803bcf8858c3061855ce3576a6545edecb2a74385ea1b034c0937ed012761f6295c589fe84bafd78555801bc1489b0ba88abeeee826debac030dcc9c35a375fc387e66b16042b7699679506e1aeb1b8b94c6ab81a85756ed6aa91c781eb6c6efc22bc905829dc01c7ccd1821ad453da3a87fdec56ea8ba4a4d57e19375d6a398bd29332456291785b07e5a0bad404c282c4bb47060ced3c60cd289861ab477fe438b6b05974894deee0b61d80b7b564591ed76cb974a51ad352dbe3b0913a7c7aa8a916ec919980aaf920714be737edc198043524d18113bd95799b249c20f99721b4be06799cfca64deb3cc7fdaa5bd60556dd1061acca9b25093db9b40702e1bdc7e03de6336555e944bb4174042920cebbcbf195382433637f536f33a80c895893a2002b2f5c9c90f2783b64962ed355e52241b8198880b6bb2c66914c2417122c0d6013c967c54b6600213eabb1a1d71f39f7099ac9c4269124f82c7f470973d81c5122132367e77d9fb6256a7ba1a46258e419083ff5261f457b55d0500d2a242de296d0e648ea3493f8d19f2189bf9576a49a749f65a64bea25a1b0aa86c8fb1c7181cff88a42a7ac174fd8c405935968923413e0714d584e643627511c4668a317ab7971d3b18b90d34f3be247fa6bc061e0862e5a81bcd0c96189452d31bc00560f78aca8cdc63afb41cc78627ca9b56745cc4bc0a9223da4978611ae098c6ac0bcc54a5ab49c00492c33a1ad3813484069d781c0a4fc0ed2964f6124ca85e0351cc11b3f5c096d425e8827c7b9e4648bf90504a9b0f4600184c685d0e2687b11522bc1af7717cb00a6c476679155868fc801084cd6cff081981f8426977c5791f56e66809358634a48da4e393552bbc493dbf9134d0845e4b9c261610c01d114712b29bdf048f5e3374b4195b1a31d67a863a5ab293057b082d48b30a22ad05394106308f8a1ae4908bc34b79fca3a7379480d48d0a0f2297424114b82b7b7bab4a64a32a0570abc4ae98db3b117de5b4009f9b5c01250ae03473d8032c1049fbf603e48091950bc111461ccde7398790a40bd7868fa2a12a475879ec415e31246bfac88ed8043f7f9287b11bddd87ab4af5b1b6b3131ed0706e2aafbcf71d1866b0e8fa2a0352cf92133d9eb0cd5169b54947172f783a787c48b1f0453c0acfecb25e950416f6551947cc6167267ff2c8bf69728a919551be41b1707337b3db12cd23c50cd0b44d414afab63966ec7ebbb1c9a52a243f302da545a60208704bb8b2f648cf20e051dea3b0a475ce4f70a6acd51b0fbcb8c668b10b13c4727150e5bcb5e6e52eac7a4d94b4b65b42af9c0700e408ba4435cf5e4ba0cf76c58d272777047187e30a2bb1b304ea3b0465cdb2b489bcc14adb10c3b1a86a2faacab52904ab4bbe7649a2317c84a9eb3d6ab23065dc920f4206cc60616b52b1a1e330e8ab9b2e74531013ff5c8dcc4e0fffed1c9807399a06aed70fc05df292f60d4ebfd070
valid = true

tcid = 141
reason = noisy linear system values too large
ek = 02cd5972891c1fb0a8fd1b14f8334db1383a28d996b0240b08a59358497bb65ccd316391a740ab306739d0ea7704298ebd076c3015b6d2f20955c9069f5b728029126da234f0bb20606cb8184768e8a7724bb16319b550f5272f79a38c5041ae08758776452e97db061235526594797fd342c49c348c25bef6ab66d550493df320408265f57c68bac1694435ad04322875caac3b3644348b31504bb3d3c5bea0e62ac5f952dd6330e8296889b6cd333ca6096428265755c67c7fdd0209e5725fca36257ff59541b21863db62d09347cd6c199b96739c4abb3db9417645681114ad5ccb1278a203d4aa151c351f56bab358f592c83b09bf162221c0b98680751a9b0c051b14fa850d55c411e379559cc3bd2faa6b0b03cf384b0c9eba70db10a5cc283d82a1bd15d36d0613b686e17992d596f6a61e94761197576bf4225b73056e847c9972bc42ee38c5caa2a99a9ba5fd90a564358aaff06bd34abf7c412bff01195a6cbaa5e98a4f6aa2d916a2a1fb73187a2fb707c013c4066ff38cb2fb0e25f0361d3c2b557b694103033a16b6ef45ab07485c6ad7b9a032058b0357ef2467be9aad8ee939174caad42b2ad902476d943c3c4b63aa499a95232294b734f8a69949dbbf930c048f840e9bc707344c6a48a34f8c944ebfb1cfac87c0c93a40b47c7e863338a9455eb3c24e11ca774905b0c61342a329c2db26a67d56465ffc33a4909b1a9b08eeab03cba83dd1d3a9093bbea019b390705cade496d9b4605b09041ad998b25946e6454d289323b65631919bce7d62224c591d7ee705b2bace45b78af898a164fb9eb99800334778937c643fd37c8b1435fcd44033e904d02cc0842a1bbc8688de8857ec797f9ff721158830480276db241278b72a5aa89837e1009579b9391b65e79610dfaa012f6b4150386d221c606b2850e71610dc8aa30896bb6900899f04083f8702fc6a8c25895fdedc5ed5004e50189a3d6970c15527562ba79b711754390adb79c20df57d63231f1dc84a84c399b67203ed405577c95f969a41ea6983b0b22cfe1ccccb38410995b1f0987291cc824dd089edc12016e3c42c9c6ffc724077192087db479ff80e030519df3a0f7306527d0c6010706a7c807c84597a9ceac87c334db08b24b4492a212a5a2cc0098e908194781ea1aa93546019ab98c639a80723c1446f5402a6ec9123483af326a9bfe61a17a06567484dc43a5677e6a4a9e453564c0f0f9872dcb199f85660083409cf8b4d245249f7b73d2b71c96ac5250ba6668151176844ac6bf226514b9f1563624e099bd003ae5357c257f83c44bc3621db7a3093315405c4ac00a4bda0a31348beaeb413703b2d5b6b936626c2236a7926722d1a31af4fe48c4c71658c39440fdaa094d65687d03ebcf068e91cb7b5ea9529070a4411bd4afb17baa953ab146be13536c06c374d18878e76595fe590411501d43896c662498ad12b341c066adbc8b6c3c256f1c2fee08385a496d8107a8cd3b71d27b3c1f5938443195961747c7638fef2cb069cb9c4487415b9b778d46d6c2907a666255f42a7978227109c8cd917bcf584910564b3caaacba1d75708661d09b0cd42652b09a79a38a46ede1aa25b370f016c1de880ed3b039ed4ed0c55ca5d2ed4bb8078252e5ff2e81cc60c3cb5434b
valid = false

tcid = 142
reason = noisy linear system values too large
ek = 02fd2d367b2aa973a122e2ad22f8b06b8663e08865972a8b926c3b23ccb5bd61b317cb5bdda898568553507798938a0a97e5aa65bc80e1b7990447b85709ba8e77a831b67e995bc01500c085f0890cc29f3fba54f2101ff2853d82eac551b24821973c7f45059ad24cf23c16ec1c6a63270abb3b9d3760cf0a00454f8c163d9a680f9968847149d3a571561209e7e57404c1c65ab99f4f85ad5ce59de4e4392d359ed1692405f14ccb7134776c4eaf83c376a785abe2405288357a3583ed97a17aaa7dc44755d86904d4e915e7243b802579b47caa02835d07b9b7e87bccb8ab998c01ada7762d71fa430b294d5dbc5a5117c93acaba6379272a044d060576049bc780856ae8665fd639100b6963a1299e27c849c3ec88bb85871ee88fb4a82a66108df2b91c24ec5a729004ecd19476c965d2c761fcbb92f898b8ecb1745d43636d3b0b05795f47dccf3501aa3a13b7b802403e698246098b13b3b45fa02ecab99769358c170505c4f76a798851dbc17214a8615fec9b88f5b77ce280e6f690a71ab32f9b892fd9786a65b3982cbb3a5006a298c3cf27a61112ab70b190395419f2b213fe003ab4a2ae7997abfc820cc033435fe921fbec7837e6cfc1638b89e4964268a245bc3a7413adf1b932c74a010c14199dd2b656014b1d527483d086b01b5ecbd130187492d7254d854a5072d6c9c74833752512d4e734a53741daca70d8b5361a096b6c19a018e2a8bbe39f19d37135295f7ecc6661e226e551cb509a33c2b613965123ae57338360a346f6ce939291bc26844b10049fbb30c0430b6a61bc53ab558200bbe45c94377ac0ee777ed348c7619511cd0c55c76bb4eb989bbb576897c5096e6b33ba5333da23169da3895154702987c9f70a2143e31736e28d5405abc9db1e55700cf3555c8f656e165a2a25b51ec4314e48ec27d3b62525470c3e297241b1c299b6819fcc8752d15e06f97b6d1680a874a758bb8ed736aedbd71c458b5cbf1bbcf3c3b200a118d9256d09a40b2deb0695c06e1f16191d965133919c9d681c47a20518f226c2827de05b119597499b78b4249b4ac2e5b0a2231d8371333ec2ccaf9686b417b5e8829e23f11b21e5151b0a88ecb0c9e07b4d61c4b2fa27495f543ea1d415bce72db08073674402a33942b2570150b35f710b9e0564c1dab611ad9c2d4a025d64e651fc2278a9b11da78ba7286b57a3246a49d367e63cbf97920e97dccbe24285e4017b344570cc601cd3ea27ea4294d464119fa407ea224d51b550b8c3126525580aa613ac458d608293c1d1551d09c0afc08aac10117b701088b9c0a6371cbc5807be0049582bb0eb27cf09b2617503902dbb20255394b4401e399abdf3995432e20c83605fdef000251b9602063d11fcce86477d62bba025ec5aa5476042d15ba72c80bddb81025b48e0f4aeaa4702d4d3ba756c16c4a70971784031d84b9528b5582bc8143c6f8d226926276f73d656070637844b717b6135fd89634363aac8146464b63492f96529dba0c336c598f16ea41879a2e8c60b424ce2979bfccac9527850315bcb653a7ac39c2c0e0155656bb3bc0b8c53d18832fc98c6ec4760e62fa2291aa754cb7db362fb213ac3bb684b11c540cd313bbeb2466802d9594beccd06635ed3b74f586c5af77809ea1b4d
valid = false

tcid = 143
reason = valid encapsulation key
ek = 109b25cc48a12e1547c8003284b74fe31893bea78af8ca91c28bc05245ac7fd3bfc5c8081fb5bc1f747b533b3ecd297ea8253f92942c7cb57c53779dd50a84fbea56f0f642a712c8a8a93605f392d62a748aa05227605551d4b67c7703dc97814f72848c5272afe905321a29c48436c1391d1e14355067ad547678f5894a48c37578365322b657046968aac69e8e360c346b424017ce5a933a9c6562863216a45cbb0e9651da002313a0ca60308233e0b757a854a7b3616e490e168a6640a32792db3f181508df24af215939adeb8ce6c43d95e214fcd7832e2bc18d5c96e5a27d0e331d6ee713f128625ac678d6d0b50399cdf720ad1515b677970bf459776eba2e2af592bce9cbd2102ea1a91adc5c5d77010cc0bcc587ba7b8df575da1785776a8efb6c483b738db5a76f9dc11a201b1d2adb21dbe1bd7d838f81f513fd294c51f7bdfbe7a7df176f93cc7f315a8ee6234f0501446b7681aaea474716b7d9ab07d408ac0f890ea12944fa318a50f35b31214f42a3a0403c2bbd4188732aabf2d201d6d523691b9a9ee8c575e61a00a18035047d984134c62b03f4cc0f825a4bb08624dc0191c1d972ac1a9ea1e9787e53a39c861cb501c5a410545f8ba6d7f399b6ecaed52a1732e5c329072ef59960ff613300683573530504e05155334db2a906ded0c8e0c2052c25751a4987ea3824fed73f94e74831827cef06cfdb0758ff412a0bf89bacb408dbda648740c0f55686167659390532a832b645353da033cfd6a52b42557148f22cb5698284399b4032b3828a7d379598d282a87ba27b90657dbe72ca5db1c6dfe00f0543b646218aac1438679a318fc9b26112ca679b276f3bcfbb61b9c0e168e5a5a1c16ca6c8c6bc4d1875c408a976805c6e5c97696096a3894e070130a791ac70f19ea493a8d20b2b828bb9ab75ce16d8a3c1a3b8b3a2309ed2701f249e0a076059b3a5ec5b7580f6a31e392ec59c12e3ab3b6afa7608857699f50e50a13f7e3993b00c7e53bb64c0cb8452f89db4f95f527cc92615574dc19d9849c291585d753c386b4ac932e53fb6e18a60e744649295081802b2a3b2696b67fff4734f56134e7829b0277a6872062fb025f7e1493ff6551e577572e064fb3c9457d0cd7e679228a80582fcb95b756f9ab04d54549dd82830a9d377c00309a49c9bafd7770d19b5f2456f788a2d7089911d9965aa177a900607fe1cbd8eb94a699458914a519eb4963f41bb8ef47aafe2c1a01b25af7064ae5b44f20294c2cc8cf028aa2ad1483b861b68494f2739528a88be818a85d3650ad5b51a5547cba32a08e476a88efc8bae276c9dc0670cf03434ebb938293cd5d516f751bb5f3bc12263227874b9c1675d63e546b1f749a60bb42dc3930db99efe4b4d8beaa8ef600cf7706683da218694cdf47a05fd93757182ae9c193fecfb5198166f57dc5ad1b64cfe631fc930c0b36b90d6089c65b128e7088c78f1932cd65a6cd96cbb0680f235c2194877a62064875b5a17b417deb9993ea72fd054655bc5446d4c4bdbd28ee3b94f9629a091d84e7c07c214f39fa40b23f94a0f3ad48d42e7c59c91444b6028b0dc7254bcadf4c666f0807db2a88a35ba83d30a8b41175d5fc062551e037ac132e99800f4bf064981287a0bdf5f2fc7b18646d9b34110b3
valid = true

tcid = 144
reason = valid encapsulation key
ek = 610c9dc0173ca56755e1f296b362a148fa6268431d7b24b315a97e048767afb885a89863ff34894e2840f1853b1705a3e2533d59b296d8117a05035766a21a070acfdce43a0613c8d1a14b343c3df08b7a4f8b2bac2081e218bf2fb75ee9895a8e96acbf4804e5840ad9a03aa4881b9a763d56c14ca0723d9d9163b895021b2a78e1731a59e42df4138fc9bb46cc0182048506e7e7cef4e9494fc0b1e2e3aae3d636fb545eafa78759f34e62032625765583488e0305cedea9c85a554564026491181a17656e9012c6cadc4539e613964480732198e9b068a4205388b07d2b7c8478b8bfd48cc003b2875f4bbd7dd3773e47ad44388d50f77a7a43a42fec1f6e112d0f47137106243e0b01f05b111d0700a99b34db158c4555080fbca49bf0068918b2a7f7944a02c19ea99df3aab2ecc81fde210f21ec40343036ef50b59b4862b147b75a5c91b1807303197731d2657aa79087240a309143a9a6669f868eb2f851171389efe53d756387a0755173d364f78822770b95969b59e1904bc0345eaa553de1008b8ca5560b6978102c3054d25edab10be5c36b414894e2b3b8e896682d862945837335c798a9985b621a20bc2b74f1cb698ca54d674c91ecf1a434175c13da0e3b143be857b1611ca5c71041d9e061d7077c2f7a7600a41418928290f8936bc72a6931960c8047a8c99d0331caf965651cc08a080c4742f331fff6a26ffc8d40173e99733cb71c1592aa3ea5964dd12a385649b7571727df2ca0db53b2861064d5ea9fc29c9ef17c8898a780b4568884813cf383a8cc6c36d9531c25eb1aba7746c0d26eab991c78821935005f328c723ffaca7ca01c9a788e80bbc7ed7704297b507dd35650f3268749616732027c4078efa3ccfb3659f63735fa8a18827927f097887e84b0bbe34390baa044a81d651853d0b83fff9c339cbbc6646a9f77f27e9241181038448ed338f1a5bf65d558bc067022dc67bd762d8b7435c6638c3e860573e5c4d74819f33c930fb52bc4070084a08119bc2a6f7c5c4dbc030e879e837b213ea764c64aa8a5c06b4d3b7ba3dc318ad8afe9a92bfef95ad133ca6d7b5d4d90310717ae12a859284c793702b60019ca5bd61b35453ccb558724c682b7b4269d908614d73579031d20c2c461e38ba4d2b332853f7de6492972c0ff1031fff208e14252d6f03f73098e6b1024d8726e515c9dc97c3d39b5a1df677760c28a47c85a8b93c4aeb486e64984a0a79b5dd5cfdb1b8af936abf5482ddcd447521a2bdae07cc0b86f34441db2037b54689f43095e14546e5a182d2ff57c4ed29b5e106d5082484fb14128362122c82d50fc6a54bb5ac999a9bda36dc4d56a6c415322e243db59b434ca28e3ab2863f596f076ca8463970a7451d20863a49559c0d255dc3c7f4234a1abbb056eec635b52b11594a00f1ccbb11135eee69b8b8a4ea2681479221640b0686667afe2d80b39d03c823a19c0e95da28008e4c70288852753304aa224cb8fc234373c1cb4a78cc42688cf2022f0a727903326401726dd5a1cdfbb40d22c24cae95eeaf72cc5b35a22c6aec0488c382888efe5ac47f1ac174a54de029a60394fd6919b1370b8b5867550464547659146c63cc419f0246018c3022f92e012389035c899a522cf6929a616ace9fe9849eba4d5
valid = true

tcid = 145
reason = noisy linear system values too large
ek = 02dd4cec7370db02bad3410979d1870c5b2a8f49c1b3f079683c0856813412e589fa5375efe6c98f0416aa179c8fb8a235f3b6f591785112c23827466aa41a6cc23beb6076027aa38e614af311cb42b6175231a0615ca25da62ae04a658a72b7b6713fcab607f715cf9269bd12067899d4ac7872af92dcb144877a81b44ef148b89b385399945bd7caa1db490897a49b7ba48e38ab3872f953acc804d1a3441ad8afcf82a31df971629aa420d196a0051e425cbc9e15506774b180c236b933334c4c95cee33ec6bc6086458278b6afa814a65e229830b346f9c10a0dca0fef6c95c0d071cba0b3eb61bcb9a50e3039743a5468c7463b4fb7bfd94755d3b44cf9976956f4cfdd987a7e915d00d1c521b09025745f4d840fb42aa1d5715bc0e052a1092cf8975b92947263f95d1f06bccc41aef93114983ccf38755ed32aba6a9a03c6f93f8cc50f47e95466528cd261266846939ae1b6a3c7034e71a2123a91ad43498d093720d4b9fea9bd9a031b285ccdad938c7eabce1cdc9b4143bd9e193b75502fa93855f9d962f92b4d6f1870b82b6039d44c4ce87411471ba0003e7adb22aa301f1309b1c4e17514c7871f59bc0532c95e136478db504d1179f2c48227dc154732066d2296d6fa00daa81bbc5c881462ac1c8c585c8ba38b614fbd37136599208d5192e3685320101f71b5acf987b0d594b693113ed8158292688c70028448605376a4745c94880013842d67b2483988031a79884773df2213f17a9ec32a15ef524d05e9c67059220bcc85822aa48febac3535a6df9ac02cd319248b704985c99adb34edd6b1ccb0c05d2bacf441521d698271c72ae1fa6e8644c2e535480ebc400d3ccec7ac06401b9c5142497c74b4d54a5de9714fd47750abe5607dc733f6d105b661a8d33ac5565b2431bcca4cf2b9a3100a22454aac95071b1889aee788b00ac99885c288e65fe8e3c4cb029746181e5630c431780bdcf92e6dd4a62404bad9d1bac1e21803c7c9b3884534349775d1977193457728bc230a500a53ccf644423e225b1e91377269768db5733f227fe9327f2d96973127052a4a4868c4b851846bbc535c49a258bb57b2d5cc1d0238bc8f888d2661cda8e84a5d8716aef9abb5f37c8eebb487485f98a07c07f23e642c9fee14c6a7c3996ff10f78824600e2972207927fcc4e6136239d2b1663d6521f74cf4ad286b72506dc5b3452143519874d83c829c23770e9815d1e5054bc865a1d319964d60752226cec72562c23b00663b30f5c6765d6580161844f9c6a2a6c011d76aa41e3059416b541b48d703c83ecc372377866d7d06726681dd8f17f45fb1fba859b5a284b4e516d609385fa954bcad3b964302cc61ac848ec578cea0d8c17c6526760b4e530c6791a8d017191da337cb50aac8490e9b95aafab43436b6d47960d03b68d7efb369749a0d61aca09ccca77803f432c2ef730029bf09ccd4b24ab310964237f79a917dbd748523a7b966c63b31c66768c239663bf6818050cfa22ea36cd277cb36a4188eac2481a52a31c0a9ab9025e91289af8557975d22c95ac9323b736202594eb29ca49aa1001326c9d5354959b0011098d4713364016736a37aa38a6295064b4def296193fe1a6edc9bf81057bc3dd170d650d61ae7ac1b6102b87b6396669f0
valid = false
