{

commitment: "0xbe35d5e476ba42cf417a980e7319d21554d7c27696e5e2cbe1cf0867d013dc48",

ciphertext: "0x4004e8d7d77cc9dc013cd1579b67de4b341469bd17451ccb4e0f476456c6558a922b211b5322761b35534c280e997ef21e2dfbc7b8b6694acb0a7434ac66c2c08c08d0e7de95723bfcdaa73a5096ab9143a7f674fc80e157fd8c62ef73b6ea4bb0e35678aa84fc299c523f034e772a40ee94947a4cfab6a83e8bb11b2aac6163b3b8674887babbbbbd05bed4cf18939391c09234370f3a9a4f45b648981591b04760d9a7b63b80f5997c4b998fdb2cbad6e24699a0aaa4522d181c608340f639c9eca9f3725c0b30f12f95bd469221750e99264df12a1e104198470b18e51a2ef97e250e4f7e2649cb3608e5252e97110822590671bc92d47c8d9f2314036179ec9f005afc55fa6ae2f0b5dcc36a59153c9ef0e3142a714f54a2eb89c83917854219e607a4c38173f93c7d271b6de6c0e5bdfcdd6bc1f9a06ad0c2fbdf0a3aae20ec50a3404b7e3bc2cffa51bfb33925525dfabfaeabfd780f726a6fc36f7cac8032e76522353b8a86053ea3295b7b827ad23683e6a185701fb4e5792c8305e2efe4ac19b5d23519de00938aa1c516a5be3d4ae2f6de872fc2e476d85fbefd08684e0d33903e1fb7a6bc7462ada8e5e01b56f3ee7f2b4f1c58261a904b2109bdb81b15fbb6bd9bdd0f9500f6df188174397663da705099c7f9e0beabea80f3765651417b69b70d0524f7eed33f73d3753a2b776287070bb5fbf1aaffd8617b7b0bb729901e8a6cd92a764102e9e9a7b6e1666831277da8ad22383778e90fcf329d631637c0ddf78edc6d2757d334ef5b5df5838a408ac67821e8e72db48435acc0cc0a47e64c7029f8d9e8af538e95b4d7ce998d8e2be32e303788f8887d1081ed2d7f474860dda2eb10dd636a209fdb70aaa9992c7252d6c6e0321573ae4431269a61397151703115c4dc566a4388da5cf9d718c7adeda19bee4685a94e92f21134e05863a428ba6c30219d74535c767b33b357fe2fc423364091fe93330cbbe034f47b1e547da93d1940b91457ad1132f7992f7c61c9af0499bf36767d3f028f81e11d8ac03267e2447c14cefbaedd21b6480f0f1cbe33f50e9d5a2c873da769ebe80c6ce03ceda279b45f0ee9afe1b6aaa93e8c8b1a79134410444fb80eb543dbc35ad249132c397bb2fa76ec4c0c7e90a9be3a5e928e2e899a82f5256710c704e77f72ecc6d4681049c8991bfe86eb0c006e4bd2cf628e8e1bbeedfc8f72faf1fd73f5f402f7567f627dd9b8b8abf1c727d7e312924092c726eaa0bd78f3271544f8ab4e362e02594ba82561cbc2f9ba6844bf2c268f05d12c228a83b797a9f03b1bd232ed052e9fec7ac33c8c9dde91fe8c9d73f64c7b967a7e0e0b86aabddbf29b7b7f6d7d5548402e005d42ad8a3ee3a3141d0f027ef4f14cb638b79cfa4d7714965f22af5050eee5bdeee53287e110e4cad8d9fae9d815ad2e80f8797309629c83c26d67e431eba93bc9e5ebae6ae21359438ad193b267bb5413f2c389c7fcacbc3ad25f89bddd3c084aed4f99177d3d2a4a77316e0d76a26649d0c480898ca97a7145e403b2697c99ff5d0f7d064e662872e39916385f274aede0c085b1e0e611f88589d40797c3aeaa7dfe9dc8d575016a4d4f9d8b2de2c882e0f94c91bbe7a193866679e815f608495d2f6043330ed2f818edc2594400f2b1fbad8dd0293156597556cc94af024d16f9c1a6ca460a7aa1310e10fdbcb67301ec7ac8b0cdf1be845d264271363c92a939a9707890bca292ffcc60bf92322403315c343b25e1346706a9582d1d08daaf13eb78983e2affd16a61ccbb40b755512da22c32b7d7f031d2a89eaee4296cc8a1b86542ba34acbb3cfd187069ea7db6a54114f50c281028b8caa9cf328c77f8f57d58707bce67b0472a4c166a4c02639336e12a24efac3975806eb1a1fd506f48b8d7d7937f74eafcdbfbf182aa1eb56a0801cb9d99122afba857345546abec9e33c73a6823668ebcccd06d246e94f7ef5675605b3c3d573f559b9fcb95d1610ca27981c550591fd592ec6c68c98b092ddfc09fdce1a2f02c0bd2bd8bd7bc36f7bcf0240b462687aede80916e82e92129ee2aa562843c5da671025edc77cb6e9073efff0f8842b44677a78bb8a04184a5e55b3775b402bf8b04b0306d0e0076c298e2ef3318026067630c31577a1d4cf3d8a0c017b41513e36be8537028e32184176c01791b6448a10cdabc112b65588dd074a293d2ab3773c04dd25ffb007be37bead518ec8ed6151bbd87688d72fe0db7d0dfec7764447e1645d3e0672658101aca8ef71d06f8aa107ab9f5850d482b878ea0618eaf9f6c7273be5de5e9421b89277d2f34ef99da24436e472846f43f9b41998dd950b59463b6ea4ae331e50ca67747501f4cc742ebb163eb359353aa2e8d66fde3c70e01db3b5dd83b24a4c866147943b5cb037c4e5e28e48d88635d098a9685adb8f5db0c904d1049d2736ba22d5178bc9bd508c6db60593545ecec9180246135f995f6d01bcf4a7b466753414f2f350f72a03260a844d0ebcb12bfeae725078a656ad82e67e9ec930d4642cc7d2687b557b24f6c704f2a11208d481ed773a675e8750a5ecf39fabab64450eef6ab2e5f7f09206b9937a1f39bba9d6f300999faa2206e7436e9b275030f4d078edba1a2bb30caa24107dfcfbbee4eec9817f7de0b24be549e030c5ffe82ecddd2486d4410617465f92250dbe1ff4690789b5ec5eb1939a7c39f9af134e5a4d54e9038a6f48e38117a9b11ff4d2ea8bca34c699acae5284c3dbad1eccfc9def415e65c71cb814d25a2a1a0290ae20e3f86668b9786db2620b60da328b8ff07d990dfb56ecb1111dcc1b4df31c51ddd7cf60ae91e54c8228bbda6bfc9093c2af1c35fb91d1c19088563b67eb3a2b6d431c7318b0f86fe4d3d7042c24336c48e5ea01e23ac723a5cae356de53e6056e7fa62aa79adf496ae490b21a8aeaba81a27b44dec7639eeb81d3b000d0a6e4f18beff633676dae4450ff211b4ef6eae76e5c04a3d2c185557531546045f2d9cae034880266efa01e413b2bd1899605d2ac30bdd94be0113320829a36913e810d309601f347ad9afca4e817304cf72cd8a49cf508b2179eac2aa8f4a3c7e69ce2580129d5b00bd7ca44859c4b676e8fb8d3738a5c38824774f581b6e5ff802cba2e984ba97c24cdfedd31e8d7b6879e1baef80a4369481069ac8919b4d5d5906f58b03d5cf94ebc90bca1c77ab4ef8aa927c91033a3a6602292e3980695894f0bbccef900a183e57dfd023c015f531783b8ed7143585d46b89fa166d04b0bbf410c67372b69cfd03934fe41e4a0ee89ba39bd56f28c284c08429fe590a89f6b7c4635c639c96f959334895ca57fb6a7581f96a6702f0e6a44fee0fe740d9d8608da490a60e6c4fa599b226824f8ccbcf4336b570a2669db72790fe2ed909ef316c38b6b54e498b4959692e1bb84c7ed681770b27a2ea736b394917d4eadecfb8e09b2d16cd87bdd2e48b6213e90d1996f016e49230cb53ddf69c2e3695b23555f7f7df710e646df93c49bbc2ef35afa92c061fac56ddc2c1fdf2e12d452cbbbd8ca3c1e3310ab846ea07aa7f6be6f5c5373364cd3e8f12b75edbf1e042100f303bcc040a5048484952581a9d38adfdf8eef1a450a44ecaa4d31737c3058600dde444881932430d1cb8ec0cae29611be05e0d61ec785e9424c7837d5e0a292e7c081af1cf6ddaa5b0e5a47228a7917e316baf506229546e7923f82c0e708b65ca343eaafaa4a6fac65bb991188009d70977448bb57d4d806efd50a5f5a5eab4ee63f949914b707564e9a8e7117dd63a09e0d6a12bd1d2f392759f915f5b5b713f5d65cae371b414fa7e4c1e4c1bd6721f622a1e252f28ab76b3a805a87a58a0cd4d9783871f0804436eb3ee91fe9482da7d635ef7456aa3b4fe9202fac6913b9edf2bfdae58bec5f54b6cfcdde37b11bf80699bce316cd26baf48389ffbd1beb280328e167fbb648206cf4380a3a842a8708f9bb64a4dcfcfd25e0ce419291052ba0345bbc84c1deac5cb228d03b15abba1d712a89cf193910551a360f9f5cc2e26dd20aefccb83854644898a0081a31baaeecc9a8e916b783327acff03239f86fd64bdf1771b9121e3e1951217f6fd09d05c884b33b767950c1146cb61554d7f107dc41306122072275129515c2b07b702ef5a23b2ba44131e11a86706cfcdd4efb0454563fc1d4f92b775157f58d9ad1df632e191de009fdd0d19ec4da1766395517f68abbb8817156f8da93391f6b24cb2f07ac08d3b32711e91bce56b523ecce4dcd6e6766f40857e217e1cf5525eef4316d944fe82264ce46445acea23940549ef906c46a1169f8c143b3bbfbf5835bc0cd3b861835b89a42e9af50795260bfc4d75570476402c1bf7d9911bdb11d882aa573228b44c89a13aa8455f8948a21ae0121b97bb1f9ae9ee3e84259f7e14931f080f1c5ee8c83b808dd1d16b1320b6899c5cdb15361eff78c56c99bc09adb5105de6b9adaac71c549fa6fce1ad328d523eec106ad39ff51851fe2ac917aaf3ac7e99728b5fa9c91bc4fab19f2f3c030ebea94fea05a101ae5e1b3d8c04fbc78882d4be2ed49898a990887889831b02ab71bf86620ac5241221aebc8881863ec31c68b424c2644ec868daa7c9e4957ce81d5a10d438ac46c7df07d1cd1375e5080c132470f71e5e4e06737a90f0490b0c9b215f706bfc6f8db9744ecb53c586d04b00e77f6c916a1b3ea29b36a741bd549bc3ebfeaa01d71b4ad6b93648f5fbbadc3aac4d1da0620e2e2cd89c96c69ffc7152c0768f1bfaea149e39f32f94d5ae997363167089ade22b4cb78bfddfcba02090b6e731356596e76d6498bbc0753f9be23d05fd907172e9dd9aaca8d6ec6109cc217dceeee9ed31212d6571b42a5105c246e11284cdeade1560e1aeb9b4358b41faa0ad27bfb465ce7f2197881e81fa56981fa9f52c0f5fc22a594001b3f8a2420f648468f977dce0f95de044b80bce7e30c9c910a789d0464ed73a851f2a9e918487768ac9151d77addb67ebfb07a5a6013eb544d9201b810900c45584d207bd12864ab6e346b3453bb350f3d159ab425cb1f3b19e70942b058d83f12de0a5be8304acd1ae36aa9b0979ac14ce81aaf0878b838ceff5f4227130e8ce5d8478c23c2435b49191cf01275014438e75cfc1b632c5e818bc210c5c31760f06a1cfa21453adb9aef285ee999f039282156db0d7b6d6ed6398ccfa64b73191279176cddecc7bdee0f72c441cc493443fd3797393f43b5c60fe0149a60c99e9ba4253fe7f1619f11afceb53108f3e82964d6c506747b9a9352e9c25e458e5aa6823e28f45c01bed28adbe0065d7ae6a6c46c543710e2eb9c789e3f560dca209a228ed02b8a1d7292dad0e8ca24e6a86583ff86e96106d421bb2c83828b9e40fd772039d47dbcc60e3c74dce1caa7b2c3faf116dd5200ee68c259f1d97e971b02f5bdbb75edea81338c2c47020a41998001b2a43abce4919d40ad3c938bab669c0c81e3fed8dba6347c91bd9305f3dd97e4c7967b7f6ea8a79378dbe9362ec40fce1ecaaf2528965876ac962abcbe684d46ed7e37e22120804d1af6779207fd5a1c75584439b9fdf6f4c314ac5f139ef40a0790eed344329e7f31bce4b277816bb79cd758c20709c70348923854769324e3099c60fe5ff2f971fe0679459d043e5909d7f8942c4cbe31bf969acc415d2e72fc4ed21bb636b2c60714d11ec5a547d9a50bdceac6918129246829e5db59cf3eac5c1b51e787a51d4e9383f74a3492c076f7c9c70dc8b3de2cb45faa0b7185540703e765c637998584caefa4f0af9288ca913fdcaa7ce3f11556a34c555d13350f535e4e9bdbdd72dc825aea2391badc4953b5066302e553121280fda9054d1372a1ec2e8921f3b92b3c67819f5802d9b4745ffb4b67d648bbab7efd2b8c4f4c6f0aff23b2a22be85b7406ea36a2a65b0a82b5873e290cf8de8b6ece71284e64f34340aa75c8cbdc908cc42eb83f48ef1894a65d132511b2636e57375ebdc29ee1c0ef8e21ebdb53fd387b2e76fd03e1262ccec3c9379cfe54fbd3b4c08bede3a710ad1206172bf4da381934092e9361bc360fd27520f2cb8ad7b683ccfecc509218eb3190893f4082cd5e1e49f207e949dceac7dc201552341b7ddcd20062ab4653cc539b0c001ce2b8db1fe0f8b5725b62073575c3ecc109b9d4851fa04c1cbd929bc587038b353ea73b931cf9b4ceff0038cca3caf11c34c20440d29437c02aadb7b678ec7ba2dbafbbf55f0aaaad156b88bf47f9405d4d3cbd7dafe87e2f7dceec84adb8b8f7bf7511a0fe03ae7c3673935398dbea7765354c22d1bff5e5a15bdac58374bd7c7451c45ea4e3eb0ccfef847e9d2fc0c6a277ca58d88ec07484176707b8b9b03663364f9de6a77db77a65772e673e1ba1cdc85a04bc378b10fe4c3cec40fce41e0ffcd29c0013a73746e2c2476f9173890c20445210d1a5bb671a20159ba57ff55d0dd38202847cae2a6a6b352a7ca852c3195b93e7481900b629a2fdc6ca89b5ab19ea9d2759573f82a558f711e69d06adb9639b44a6de622cf7dbe3bc7cb788d4c909bbe59932725f0b3b5dd4c4fefd87e81f7b30c0e771f1bd42ea5559110b2bef7b65dc03b1f73b53109eb7f6a0e33fb7818c3343e855c84943f9616190ca07eb74cb73cdb2825ea21c16ec62972b11b5e7f7b80055bd4faccc74491e8fe6dfd4546797a6d457e249880bbeb8f179b89e190896713089b1c44206a2f9c96ce0324933a1c1a517a94b6de35e018feeda8e8529dbd02982c04a2299539727941a87e1ecdee462849177c0a51d36f9a1a77ac853b46645c316f65e0a6062843f7db37d3c3a8426def0c59cb25669dcf2b41ff39d22dfa0fb24acdf8d01992b350e5db0b8817c07923f6c955a35195d578c878a7663798c1f1ebadd87f9d609d876178c44d2c59d78c66ed636065aad7517bc737496a52943ef298e4ab06ac73c4971b95d0d0cf8c1c789be9a8a2490a653a37183e13f40cc667c78e6ae951e5d7fdcb79da46ae809cbce375ed8050dd175212275e99898d073880805f907e04908bf2c4c5b6ebb9753b817317e8f70d101d9e999b7e989f834e5ff266e8d4b8419d70bea50a649c3cdf4b302c3ff7f84ba767c0aac3f57f3873cfff3cd824c2a71a6f9e3abc9f2a0d4f70d925b8971b4b62dcea13bde4540efd80485f64e002e8386b2d00bb28ad2948fbace52886b1f0dc2de660f04915ed36d34c09aba182fb05f917801da9a30c03642270cdc64abae2caaed0a43599144fb6bd038877ef3894905a6001cd00b7b6427a1e9b87f67a78437d2acef890c9ea0853bc6d740ea3a4e5fe6cffef7366b82b7fabad0fdbc4c00d23b0fbc9d6efc171a15b32918a1dca22ab650232a22bdece3e0f0a2992dbc8c0b494b04a37e40f2a1f106c016565d69f2a3047b9016a7fe13fd73efa895f1ce5bb8a7630c301842c1876d95745e0b6b37df85da5e96749017e52574dddb65cddd5d1f1a3abbe59ebe97394aff451e963fbcbdc8d757b2b9b34d00a80d14169388d4ebc966b11ead49b911c56906a83576588f8463d25af90c551b6b7f614d3b0840a03c5ffd60ade8856a22b7b2e92824625c518ca2a38b06014a3af3ae56254663ce73e4a6eaf836dc839f000068eb3f0849f3053d7540cbfebe0555a6dfe29d7b029075bfdd8ca13b44d5ebddf24f3569c82c9132b2e9696579fcc996f0f0258147ad3236527be3c94020b278c3f5e6bd46953b03ad37246146e0253f30aaf73879ebf3d83779a4d405a7b8bb747c4623808d354bb6be363a52058a61667da4fa88fd3fdcf344a65065859b08ea36c01d135d9bfa64c77071fc1d8b6f0d56e1c7d4501268e16bc15716a46cd2ce3f8bc94aa4ea65ab5b818f465a0294115967004e3a0cff385e476cbae07e2f5afacdb483e097f7e19463ee1774803387a129174ce1abac117f2d5378c1a4f54e259a6b6b810a9b70d40097a248da3da3498ec9fadbf8cbddae8d91599b487b10170108177f4af7148df3393cc091d0111b2c6ff421f09745e8afc1cf91487bea0ac6e2d2d4b4158c6b823de53d8e57944ffdada9808476e0f6e174680df1112663eed74b348d5b27e2ce9b5db052646b1727c50c9078b976a02dc7760bd87cdc45a74b98df201c936cbcac9798354c02d2138a2c0c46920de2e759c2a085fd6acad5f20c08e53cb821ede361a8ec1a9aae0634c64d5923e7a427ec8f08a320551dc100c075be6a525b94cf197bd97298a0d5c1e842c53b18642bd005266655f79171b6895fd1b21134beee1a4418f9024efeb60c21a4d4f0312cb696cb4443683fd7bd4075669014437004e2567cd718c9c23e51b598c1df2f8d943d5df3a958510e60615ae4fcc7741c6d4dbf26e9cbc951bb1b228242c490f5041a3bdf9511b769bc900ecfa7465c68265632cff7c3c852b4783be5398345fa84c275b571096e849b8d5785cfb09c825f0361d30e5f265379161622da978f0920f0348db4840e7bf63693d05ed7dafe67f8f222ae95c3892da1bdf09526f8bfe5983dca2781e4a4e3967df5872035323185e00551d46175980ce10715ee13621819dd0051d88d50b559e5331ec5092fb0099ba5e17b21ac6eb6ebaf8b2402805fbab75e0b0eaf217f5456a01c76fd5dace6f901403ca4532d761c2ea5ad29bdf4a1694cb3b438e3a9d1c6ba113d2b1a5d5a4d70ddd05ebfb01ff6cf9e1df7710ee5c532f3d9574d8afa72afdffd63db4f9d2d3f593346f4ea7082325d60f7361e5f7aea629593631184aecafbd5cd0e283663b24295a170c9d6f326f385f77448e4992a1cc9d14a3267352dc8b93d27189001d267e20d0e73b16153e548b0a52e3c1f6a51809fae8ec6196119d279cba00890182acaaff82e92300ce441e3f0835c23336f44ff3cbe00f2709f59a605c1a424c22fd09a096bc226998d5d66a241d6ad0bee0bfebb20a377e630313a34e1dfffda8ed9f3551a781bba71534ee5b970420fea1af1742ad1041f579d349f847c1bd329032be1015388e8ecb3949903608e5c5b93fb08e47769da31bff2d67abb5da2b41a3775adab53749f0646658962adcccc6d29750e99bb8dec4feab050f0e795b755fb53991fa74974d70449d65cad3782bca069261bceaec0eabf0878b7a3130f73f06a7280b92a1c117e873feab94f215c0f9ec982c89827a706f6c8bb395fe2cbdf1771852141901d9faa1a830247135b42135d4635755b6c63f874e3ed121ab57578be073b0ed06ce234c8140d880a35964b8e4a3e18a11ae741baa49f1647f6a00a33c430588f60f071b17aef1b891a6caca2c4da480415d38f964e1cfe2e242634d3dc6cf5b447142ba8c0dbbd62fadb612683b22bc8775cd1baf7625ff31cac6ebd951a4592499ddc1a560902a49c3fded2cfd238168d76f5a911c532c52e18d91ff61196e40b3056710e0d6e1808b8d2220bd5a44bec22b22ced538e18b77864d3c90f8806e9804f5f6b478f397fe74a024abb529b8863dfffa54d81b84ddd1ab42bcaf1c91e1b780dcda3ed1fb5b67ed69ea9081d26881c1cd869e3c2f27bc6ed072e709ed3c020485d9206418825aca6ca18142b1088e7e38fb37e5817cd1a8d93b5634d783b86371fcab916503233f5cf04d2c317c39e8fd7b7d6af47f4afcb19428062c4eccc01ab8c4871dbc2050de715d9711bbe248fee43692364d500ddd793b84febd0810423761e95e376fbb7927bb43c71416518b507cd1132485e651fd34f7931f30c6e17014b6f9a6b5273eaf1f984adeaca340b58fb058a8226c27288fbf49f7cb855ed72009105d188a31123aa9e4586ddf0abb56903e7ad7363ddb80a48e0b50b1b4e659422a6fe588b58ddf5f33f830807bb6d67a31206779af79f16fed377eb2fbfea6ac1c44d925419ae75011979bf1ef61d91c8fbad84115af72cdd0be5ead7c71468bc7bd5f4cac347f205cb57b95f3dcde261af878ade3fa7dd95dc32b4ddbaf2b4d868dd9783fbc600bac863c24970a62495ba3a31e3680f0e8bc79077bdbec88659ea208647e24168edd905ac7c19efa0a76e6df532975cf55113ab471bc6e3e80ad349f4d9cc52d1a0229e1106a70cd2ba6f77422e9928676ad9282c7140edb100a76f29909618bbd7aefc0284cc69913645a6e7e3dc72419df3a0f3f19380d6167299fbe5553da496ded8edd260f0b2679b60a3cab6164614a0c410c6ccdbca9ebbc5d483b259cceff042035442def76a2f2c3df83288565985186d36f513903f6be1f9120747033ffbfcd9808632bfe0662b127c1cb00f4cf3eba98a1681c70cc2ce84ff7a4b19ac8651247869624d8978e50aff08fbb01f555fc7726e2bf81771339e7a48ad5d64245a93d2f05310d0cc8774442ec3091f676d1e88e0c4d4def791036b3581f08a51b6f01aadf1b9f71578322b096ae10e1bd31986557f4af46d9679a120f7e2258cc2e9d11d7588c34f97654fc8fe5dd152d31b9737becbd9de931fedcfaf7dfcd424ba043414005de58822228a5b0b2e1063337359b386c05b2e8267f52dbe5fe948adfea58ab7638b1980a8c52117452fff44b272ea44005acb61b2cc31dad1c4036fed7733853167f5f7a91e8dabc472115cacc98eb6dcdcd4533fb8b9bfdcf13fe9452b0e624cd8f382e9fd3af56c341cb5f219151ecc2cf9cefe751e81ce46d6f4ef7356d63d02f6294227e5827bd2c469f0da1ef8db39465624e33e6c764124e32bbeb68fca939856c129e2c32c5f63a10b5dc0daa9b58519a6ed715dbf1df0ca9e8c1b9ba04cabe679e75da8472b270396e3cd9add84b2aa2aa3d1115543da3a6c644dc0a8b65c20950d430760caf207e2a3e98ebd2c0bd"

}