rnode block check

 rnode show-blocks

------------- block 0 ---------------
blockHash: "1a4061cf92992709aff30fc20b7c96b67304c9135341990fec433da9c76f5a7e"
blockSize: "663710"
blockNumber: 0
version: 0
deployCount: 7
tupleSpaceHash: "db84c3f32a52bfc6697ed0f12186e4907d1e17898fea8b09bdaba1263cb255c6"
tupleSpaceDump: "@{\"proofOfStake\"}!({\"00322ba649cebf90d8bd0eeb0658ea7957bcc59ecee0676c86f4fec517c06251\" : 201, \"00be417b7d7032bf742dac491ea3318a757e7420ca313afa2862147ac41f8df9\" : 165, \"017f286d499ab1d4a43a0b2efed6f12935e273fb6027daefa1959a8953354d77\" : 265, \"02111c955feedc8762c47b1bbb47c29f191ba43ad7e1d47e5427a6e583a88e0e\" : 283, \"02ab69930f74b931209df3ce54e3993674ab3e7c98f715608a5e74048b332821\" : 170, \"043c56051a613623cd024976427c073fe9c198ac2b98315a4baff9d333fbb42e\" : 212, \"068e8311fe094e1a33646a1f8dfb50a5c12b49a1e5d0cf4cccf28d31b4a10255\" : 53, \"06977deb368646726c328397922530b06529620e92f7f24825f9dc3cd114fc9b\" : 278, \"071a8b0acd10a3bb365768d91b6015ad70c6c960a8ea4c61344a2e92c09e8ca1\" : 276, \"0968e49f98f1f72e0076a9fa120484ad5a8515fa377ead9fb3e15abe70fa6736\" : 56, \"0b84a57c06e30da322c11099b2443efaa2ab4539ed2513f4325868772c5f1004\" : 275, \"0bf3cddd997043b79660aa93f5032c797374bdb1f6350bc5fe85c59f3c54d3e0\" : 236, \"0d7563bf6b8a692476e4f6b40b47673f6300bc97d272a4e349738732b6de1b84\" : 125, \"0fa1ed9b451e62864bf6f332fb0e2b6d5a4006687e955a760a6653df72ca0a10\" : 111, \"10298c6227121f31b06d3cd8e682c15978f46f2b787d27e72e8f7c1874e60083\" : 10, \"120e132360aff67b2fb3961fdad7065efb8ca41e483f68af7fbe7fe3eb3aef43\" : 158, \"128123c4782874fafb396c934bcdf8b04077974c9c66e99525aa6d072320019b\" : 65, \"12a764e25517b99c35db937115f480a5067f6a809dd0c1f382ad2a9212a012c3\" : 130, \"137dbe22cfa5b9dc02a3d792efb5ada53f3b312396050e6bc3a32961ffee979e\" : 161, \"14d3b8998bd1b9dec729161dd602a11375741c69f1542dff86568fa08ddc4fc4\" : 90, \"153837befaf7913d8029355d90a10b451a666b1ac72eb867881a0485b4f7a3fb\" : 1, \"155244935e80a72b4f3e83fb2fcfbb8d07c5bfdbc91e3b6c96371583139acad8\" : 83, \"15ab05a878ddce564865e591ff5927613b341e39572065dfeaa0b8b442b6084b\" : 136, \"166cabda8cf18d35df268126f9c575c43726cf210c522384346c9e60ae019081\" : 296, \"16c8c8ece560ede0fc48fd7b2fa5ffe86b3a5ad5ae970eaea7bcfe00fd89f3f1\" : 81, \"16dc6cf7becdf919dfa2ff3fb6a1a435d8102a7db3127a0b9d2376dd2bbf8ffb\" : 208, \"17815c1cc861ce91f8959e7948730f6bd3d2054716a600123f5cf6da515e14ca\" : 138, \"17893b71d5fd70e716aaef9f9a71fd3b2f309ff00748f059a22e4a4243b0653e\" : 61, \"18ef85fbfc84debb0fb03961d18c497cbd0df8a527b19c0f81bc9cb19da0d650\" : 121, \"1912107edc4c82c20c37a9e30889c34f0d5d88598601067b6150ac9792c90d15\" : 207, \"1a1f68983b428521f210796937c7e3add47e7b6e6aa63bddee5d92371276f2fd\" : 25, \"1bd305ac459a207bde8d3957faeb7f6c36cde2a8d52de18efec89c72b0f88a39\" : 232, \"1bdb9a820358587e9dc208436d4c81f132138b90db4629375b9827c72f686bc3\" : 110, \"1c293fcb97245ccb3b52345455954c5d1a832dbdb1971f884218e7da764ac4b6\" : 294, \"1c43a124a3a7c3eadc96ce915a1a871c85aafb75a66b24d6c99eb03862efe392\" : 71, \"1c6458e8e9645fbb9e328a746508ed0093214ee8ea34361f305047433f19118f\" : 85, \"1cd8bf79a2c1bd0afa160f6cdfeb8597257e48135c9bf5e4823f2875a1492c97\" : 30, \"1d034ef5e7888ca8dd615b67943dce8eb3d68951d25d468e306263c3ded0fccc\" : 257, \"1d2957ce3ed1ceb7319d501075baaf8338623cb384f8f823cfcb67d888d0b86e\" : 172, \"2036e3217db76d3aa719b0b1e106bbe43b524962123ac2dbfde016d63c744388\" : 248, \"20c3253e1f6d8efcc3c1798629bf41536a0d55d51e85a45edee8dbcda661b24f\" : 269, \"236671f0ec1fab9455353adfd506f160456cdeea884c32d0426ecbb8b11686d2\" : 251, \"23bb89653c1d43578ed421e655e7a0ed9f3ed2e7eab820ad7739277e380cafa3\" : 55, \"24364b62151b13dc30e082fbfa3d480311012ee3bb302f8b5b4194763d6f1c90\" : 215, \"24abe7b593adfb7333605fbaa91ef875b2b9e9cb60e306ed45e6f282e2bba652\" : 50, \"258251dee41634bca0d58cdd4865dd832ad395312598d50cebc832b59790701d\" : 43, \"2590b574c6280d31e803057ea7f1bc66e27f069cfe6dbbb4fce031484b7abdb9\" : 117, \"2627bc4243d23a39da94c75bf63a70d19613dae579d5ea9e67b7b2538fb18ffd\" : 89, \"26cf1d6ca6e4a9b7b340555b9d5b84144b4d993c5468e97a6b001ce0a1793a8b\" : 20, \"26e0b5748451075778e40953a127150d058de9fbb6b4572c3f4b3bac765ae702\" : 60, \"27709b71c90ee4b94e3c5fc4cab693380f16ee8304bc24a4ea811342e3dda90d\" : 192, \"2b838fa04bae170641b8cbdc7b4137476265c995c62a39bb0124455a145ad54d\" : 233, \"2bcf5266e210211dbc23d8f19a4cccc2242a97236898f17030d6e4c54db41825\" : 231, \"2e76c9a73203608afada139c26571f250348e57c7e723c3bc36af22cc3c5e8e4\" : 285, \"2ee927865e9b75f70becfd53d5af25c91c12c8e804da7a0dd8c97334cb8441a6\" : 229, \"2fd56c041fae06cb84f6a0239e5b20774e85932e8576c98c038a8d279575bda6\" : 221, \"302ed8cfcedf11f1b3b03f0692c018e8b1f009b87a61e828f7b90d1b51308e13\" : 213, \"30f6d79dc1c08abd59c1142d87c5cc84dc5ec8237ae2520f08090a6f74176c26\" : 28, \"3115b087ef11fc609f53ec852e479c81e8d59e2a0287c736991cc5f613d05b61\" : 264, \"31380fc8215b3dfef1a8b3cab1cc062ace2de198b368d99c7888591b873413c1\" : 49, \"3183b251a4402011da67d1759c2e3b4b1114724d804c50fe9d6abe417d951856\" : 63, \"31eb08dc5f75715d1782bff74f8f4d8a8b4f3392ff7eda30fae61606e4299060\" : 263, \"3245617c2fe41614009193645181d952db64769af09fe697d80bbde48afc4793\" : 86, \"33292234acaeefeab606c28b0a81a717b49c527d7b96595960504c0516cad04b\" : 255, \"365f48100a1ee7ca72d93ef561f4cb04b95a1bd59846395630d7828686502f4a\" : 24, \"36706ca8f8a14e13c298f0f87bb38e77c55a2446b85df55e181453cf655ef86f\" : 131, \"370b0e43e408379ddc99e5504153be4a739c9493bd3b6905eb63172457538f9c\" : 104, \"371638e5b601e22be839f36b64e1f4b1a5a67b8bdef5b61e2d2beeeeda02b208\" : 139, \"37ad298548f87e946c0daadf23c7451d66c0b7271220544875ae8ab7d87b9807\" : 33, \"392211b6ba85b0bb16998e9f06d6da18a9e28aabee57e537d53c6b5bd93caef1\" : 59, \"39ddc3a85dd9fad5e5c794095dc98c0e1b94f76bb0fa41e214780eaef89dbc36\" : 115, \"3b2f518a79291f91c1b351a403b6fbcbbe3a4c64631acf2cab08ebda0d723197\" : 95, \"3c150b91f4244815735e5ac98eba09a6aa936ae4e35504411deaf62a16496b20\" : 178, \"3d86379153caab3389d3fb85ea519263b6b79f5112de2b81aba7c3b1866058b3\" : 17, \"3d9d8955fe56a4959cd7ded1f2b779ada46477fd5c8b7968151dd8738301a321\" : 52, \"3e27bf0574c8674b76ceb03b42892f4fbf173ca649fb8aedd4c5196cac78c1d3\" : 32, \"407da39b94fc3f69ecdb2a6d714e122eb97a9e94775b5fc2eaa8a37848b343bd\" : 15, \"40ea7231420d3e23e21b7edc77029785f219daa492abcd7e17a8d450e8b40a9c\" : 9, \"42e2018ffb7d9d88fe54391f30c9d88b0604f6f8d50c8c4e977f5bc2adf14b8d\" : 245, \"448729fa4403c6c1c769c607c9c6315f831d06494ccaf4a0ddbd0cb68331bd11\" : 122, \"4525e2aa68fef55d0ed435e4b844d95fc21e789abdf1e185c4d32d2aa69435d1\" : 39, \"452d0de5d6d3a54173de6d4e9d8fe8e19d4456bf49823ec08ea1a6e28eb5fde7\" : 84, \"45fcc223875da1700f0cffa92485359f261210b6d18cf60c7c7dea8e95cea3b9\" : 2, \"470f7655bcedf04fcd6c2901e7e4d4d92828fefe4f88ef743ae4b06f03624b52\" : 4, \"47956750a388a6bd98a84e0db436cf55a422007f408d8bff01a83460650ad5a0\" : 79, \"47f2c87ac222c51bec15eff43726bc93e4863a275c125d2f6ccc0ad8f8ccd829\" : 66, \"49b9fc2704da4983c6cb1eb766964efe29366e1f0a1fc8c49d03663bbb2c13ca\" : 297, \"49d76f3a59249d0f246fdeedc79f83b7e78c5b0d3aaca27450bcf5a59b8abcc8\" : 29, \"4c06310f7beea4c4640fc112dcfa948bc75cd89f4a38b2dddc2c33eafd8a011b\" : 75, \"4cbf28c782b252d006e1b5edcd1d7edf57a96916d84277599b139843da603a13\" : 204, \"4e787085dffe458e1730219fc3ec2af36ead66acc2ffd5710b6e671ae7bf62c5\" : 146, \"4f455b9ca2d268acde35b73e4e40d867522b53368bb9f78957b1c77364517268\" : 128, \"4f7a1d8d1ab8bb1fec3392412256472732da532daf625ed30d38f67d16afa04a\" : 76, \"4fb31aeb90cf3cae0d02286bd6f101b5d510a6954a19450b2d403d29237f96de\" : 144, \"504f9a8e17fddd6e262b9747db80f149ad2b18d96f3619dcc49e6769f74f6e6d\" : 179, \"5122eac8a5c99b7da8f6d40d5f3269c6844dabde0418749ece2aeedc64c27703\" : 288, \"52341febed3967db5f26ee9b7baa2ccbb23443e02e3c8ec3b12557c8029e3f98\" : 196, \"56910701367ef32447512f4238928dda8f6a13a319895d3144d3c2d51f933e55\" : 256, \"5768226310ec49772f84ac96ce3d5370a306dca232ed7f0e097a55118347acee\" : 23, \"5a3fff1ed432237e779fc6aa20d7549d043cc0dd92180ebee0346229598870f8\" : 228, \"5a54b3bbb3d19b14e1c08f600f03633e56c2d4749708fba2eb15db4aeebc9c43\" : 100, \"5c1a6c5668ca03e434e552a2ceb4a9619eab484fd0ffee8ec0ee6f13896943af\" : 8, \"5cf4412dab1a15f417b865e7ed45d4bda797f288d3755f1c826836b4d0bb1700\" : 250, \"5e48eb44cdaec1ce22a49db5cae71d4cfaf92b65a15e0f7d78d6e2c2a55e5a92\" : 243, \"6020249d08b2d1bdea4ea503edf355037c87e9c901f750a03ea6593ac383db4b\" : 290, \"60ce84c74fe3864bba1036e6aadb1b488c8f00d24d82f6f3aaf33a0f934145a8\" : 129, \"63d6f72981da41fab984a9be47c35e1f618a8e6b1b2f807cb70a6d9b44a1d86d\" : 249, \"64ce433d66e9d75eb1f328f67fbdb1c28f5dc9224d6f67cee9a7c5e8958decc4\" : 274, \"64da4885202e64a28c96a8442a6c918198ff8738725717e18c031592343ddef9\" : 260, \"6532de34f5e12b5f9eab3773ee8b14b9ce23d221e9b54bbd680bf77887e7c979\" : 68, \"65e85b23e4cd64c45bcbae0e51b5e4ec864ab7d43e0a79d8bc55af0d57c6e420\" : 163, \"670356416c651625f5a302ece99b0dcebd5c38c07a8df624056659db12da35f3\" : 127, \"6787d341c0c9c3750e88ce4c6b3b0d39a1e9252bec484633926259ebc4f9c839\" : 261, \"6795c5849c42fc3c066791ece59a2d496e21571fd51cef705d33296e92bd84f6\" : 241, \"67c730d776181ca9283b4619b9766e2433e3e0e0b3773b7abf688071d02d5f98\" : 152, \"67d6642a4b5af2a9c421b01b168f8719169a071f8bed6562b92da37b353f0b87\" : 155, \"693d4214d162919fc9360b5d37d799ab1640acff38de06170d45eaeec8ebd2d2\" : 234, \"6980baeb7095d2d49b0d44a3c088a481e10f1d6f2a6ecc3e6247281cb6dbb1ec\" : 18, \"6a274bf5d540faee403de045acf20827c47f02c7820bcce3cbdef23b3d35eb9f\" : 132, \"6b5727eac4d72765884316ebdd67a021dee44bcb74d61f2ec2c71f9d90c7519f\" : 239, \"6b82eb4e343047b278c5bbeefad3dab8f4de1374f9d1a596e61c09c55b733455\" : 298, \"6cc88be9975a6cfa04fee5506c734b4d133a670e93ce8aad7831311a14694910\" : 279, \"6d0f0335287f39efa60b838140d0870546f1e80c1ffa1e58d0814941f7654a2d\" : 27, \"6dfedff4f52b349d0c00561cb784260987b5e3a931b0bf1c70cca125244ae88e\" : 286, \"6e00404f2949c2abedbac6c823c2d6f91042ccc5c4f1ef5b3c306daecbe5f3d8\" : 88, \"6e2fbba9d55c103a0f88e989ff86d980cd9d153741804b4c2f05f5117a4eaed4\" : 174, \"6f62f8a0863d51c5198e5cfb6bc7a28f5d170b4aec0c3029b5bf558a18984b37\" : 106, \"6fb3a039f15daebefeda77a58f7187a4a6cc39b71ef847031f8dab050ab078e0\" : 123, \"6fe3807fb99c18173e56215400cd9d3b4ff43a3afa3fd34405ac36dcbb81d1c0\" : 271, \"7107bb5ee853e3583a358b1bf39770b749c68966752330d49926c21012af5ec8\" : 291, \"711e4d534ca0a4ca48a828534d933f40547e5cff8e854e7803607ef52828689f\" : 34, \"713ddafc7930dd890180987bc781a626cb24783deb3b99ebfcd053f11b1e3462\" : 154, \"71a840ce1f36a1cf67421674e5dd3b4aada5e8f71a97cb4fdea514edc77dce2a\" : 73, \"720719ce3c630ab967bcca8a502e2808d4dca28bdf9fb4627fb7921621369133\" : 183, \"7240fb6c4e5eb737dd80dceb8401dd66ce3cc1a2926a28f5290ec8a02ce6daf9\" : 259, \"72b29908ee0dd69aa71dc5eeca3b3184f59bef6d529073b05b8466e5a89fb7c5\" : 148, \"75e8287030b2e28fec1967bf5b45ba2a80834e598b7a462de9d7f11384be2439\" : 242, \"786dacb8f294f9db0fc21e5ecd45d97a5719f1da7806af51bce93860dbab8ff3\" : 147, \"7a76826863fdaa7f0e87b6f65af069f77810bb533e86cc3bde4100ff37373bf8\" : 137, \"7c19b9a00d032c598f3a23d7fdc28badef7595b0d75b72747e9514ef8d74bf49\" : 206, \"7cdf83b6ee5ad21799bdc1b7caf614e31d42175f6418f44a278f850fa0c7e455\" : 222, \"7db0f469bf81dc275c849d21bd302829ebf12674ed53620f635d1ea9294a303b\" : 173, \"804804e68e0b09b5ef10cc230cebd1611453374134dd4b03a822b365e0971ec1\" : 150, \"80c540ba7b69280fe1f982aba828c6b65198ee1b5f96989e9822071e1aa0260a\" : 151, \"81737fd7b1e5038ba0e9c1f17b057068e92a855778cc322f74eeb7c70993942c\" : 38, \"83479886ec0365defa80ead581bd48f1f34b9cdb205f32d48f5f6e40cb9dab11\" : 5, \"835e13c4972c6d56ff0c2b41dca8c14f99d6ff256821f71323b94404b0c40af0\" : 287, \"84858ff21f5dd07a56c9b00763c4fbc697b4b491d79c6e32beed7134903792fb\" : 126, \"84aa8570bdfd21e58913627b8a84cad3a6a8221d878278440fafbabbc4a424b5\" : 218, \"87105e941c2d4eed29a7e5272dc0d2a7aae6dc718a77d491d0d796a5f18e8a03\" : 176, \"8711020fd3d1a7db8b328c04c4d1029aec3631c835e1190b1a5d6879540dcfd5\" : 62, \"898b7e9cf22163e4a95a2c6c6b1df4508f3dab2692d59671c70578bac61a8a6c\" : 295, \"8a9c42935e53856ac0b518b51a39d0e08e0a4e519b7c94f0f6879a3b8a974629\" : 108, \"8adace260cc5bb7956276a68590ce0ea7402a9489a8e07ee1e346128219d7467\" : 182, \"8b4dbde229c3562a8da2da99842ed9a2c10ab424cc04ac125601f2e7ad92a1f4\" : 246, \"8b9f35f7cb951b4c89d450e418c921e6faf484f93c94a04ec00e310b624339d0\" : 118, \"8bb03c4ece1cec9062c00686b45845fcb3f10e8a48148df1073e626fe1d424cb\" : 105, \"8bb5d118ffc38ebddcddc4e6a9c834840e765e3ae3b67cd880754ae85e7429b5\" : 214, \"8c47a93168b9087382fa32e4fb7608f68a53a15a05e2d3f4dc932ea20a9b40ef\" : 153, \"8c4889aa2d49cb4a48820d565d716f759b29504178db637886507a8edf149e10\" : 69, \"8cf6be9ae145ea5f33a0e94f3b053bd64aefc73203fdcbf5b6979c22f4c28e0c\" : 6, \"8dc921ac8290034ce2670ee721c4ceedf7be8cf4a96c9f6632b03f723b5edbb9\" : 210, \"8e00a1998a4dcdbc3b52f69903b4bafd4e030d4bbfe7f2917522b962ccefed06\" : 167, \"8f6444828d822e85f0ff6a6c93be1e7a9be64e5f1a1be896382ef00bcefec5d4\" : 211, \"8f948316d15be1346a92ea7380bebe2e7b1567aca4c8b8538987bc989d2db9b5\" : 189, \"90bf468c811387c305ef45926aed0757c41fcbe277963ba7bb29b6c393fbf102\" : 3, \"9206af709bbab7f0171cbddee93c03a41283e93aa002742f457d6e18cfea75f0\" : 107, \"93accf34775d3d53f822852c2e60c2f54f4c93232df74ba1e4a171c8facc121a\" : 40, \"94d868fabd8e87da2433c3857b3af0b6469162eb9e9e42c3f19466b1477a09f9\" : 94, \"9572bcdc863c3cb8fedd5c89f4ead8dfc153224b66852a00f318e048851d3a81\" : 198, \"95a9cd64a96e9f81046eb8edc00efc26abdcbbe7588d284dd2fc27eeeb3abcf1\" : 51, \"95c812922f7e2b956fec27d0eadcd4beb6856c775795c2407aff376261972f1e\" : 292, \"960bad0e5f7fd61a7bf1c5f782a25f2cae980af512c00db81ada48f0bea6ec44\" : 237, \"9646e69ff1779c99be5b11a2bd1488cdaf400441dc6fe21c32b204a277530876\" : 19, \"9800e334c4d06f7b9512daf2e638af9e1faa011f13c86959b108960ef0e45a33\" : 244, \"993eff35df9fddaf9cb3a3e81cba41dcb0337f3da9edb9258988fc7910cf2ec5\" : 142, \"9b65cbf2712fbae6fea9f6bb1ec0dac70c068184fc47e053b170947bbe1af8dc\" : 219, \"9c2a62bec16a55f0a0520152051c543bad9c04d4a89f178d0d021db721747088\" : 284, \"9cf2875060c6bc88ed638e9a512a91d499a4166be9be14928195973b8d36e9a2\" : 223, \"9d499c7a8a289c1ac424d15dbe9977f9282494164fcdb62fe932254f531800ed\" : 145, \"9dc286e931e6aa21af4384f38a56a012606e7f7ec6f3194fcfcf37ee4898c175\" : 185, \"9de08440b758a6baf27e9ad45dd434c98cfceacdf790132e179f2d90de537f31\" : 77, \"a063cbb51f5d8b7e5b5eb9be3f8222c61287c84e0fc410e35c71c277ed12b9db\" : 272, \"a1ea0a81092ba0a34ad73d5a535d7f607212ebd566186312b20429ee3c530fe0\" : 13, \"a3158195b3ca6dfb88b8f0cb0788b01f25ea11421104df071bd043ca27f2def4\" : 202, \"a33d23b6190bc248beac9cd19c07df04b7b5f061d3ecd16c4bb3ea9933567953\" : 46, \"a46ac0e5e61517d0d7adc8a59ccd67ef12a017544ba86aad36af9418f7237f4d\" : 36, \"a48890a5b02b84dd87aabf479ce8c72ac9b9d206b89cd427f4b0350ef63e8ddc\" : 247, \"a4a39c2534dcffdd1d363a7fdd1cf171ab0d545e1f9be1d2d3c62893f1a4708b\" : 149, \"a52f13ac3024634e62872984c229fb3da9cf8b3b64ed074d07e9d5f365ffe775\" : 48, \"a5acdd6a7803df06393835136acffa4b56d45c49e8fb747208123264e22a76ff\" : 113, \"a5d62c70598a277df24de4da9c674996985f58ea119f8f4b0193cf91813d00f3\" : 184, \"a69c8598f098a9c586e64af052858edab605693bd0a9e61f0ecacccc614c9a97\" : 197, \"a6fd16b9dd7f8302e434f60c4783d18a645bbfcfa55989b1b3b5e6da7194a803\" : 282, \"a87bc204bb41f17086aa0c6aaa7b5f44aad4ee217d774a97f4327077720a00c9\" : 273, \"a95465aac6aa6053c06f2a3611e416a7096fe896636038b2e24cfb54e64a2bc2\" : 58, \"a9afff6c82c560196dcc1750a094e18c58a572cadc5bd86adbd3dabc9325dad9\" : 175, \"ab0b9df47b1d2de76e8c4a656ee32df4079a69d055414c79d02532eb463e8973\" : 102, \"ab32b4573478692e67ab0d8400844baa68b9d8ed211b37d60b7e86adc209ac5e\" : 42, \"abc558183bf2e0a2b8264d9dcdae0f7c3850a080492257c57e785b2b3cc69fb2\" : 14, \"ac586ec23631f1822847a150131cb59e36290c20fb5d02df7db4105a639fbd55\" : 101, \"acaf181739dc2325d5517533aa1d638262b8ccaa13c195f0d6c37fce53d7f4a7\" : 293, \"adbe324c9e293b50013ae6f46930cd7cfd4c69d7369a93a60f516afdcf30c719\" : 299, \"afd7aafc40e6b139a6e68236127b100d54f2a50de154bfb3569db00c6e560f14\" : 57, \"b0734073b57b9a7f9425411dba2ffc177b906f8498221d4fb85326cd2ed0b624\" : 72, \"b07fe04ec5a2e5f6f69f0a6c198392758afae715ecb27710af9e9cfbb653550a\" : 262, \"b3320c7a4b40e7dfe90c57547012a3afd77db9a907d6f8772f69c03112b0fb18\" : 226, \"b333b70e5bbf6f29f95ea5a8f14a3a05d617fb4b09293e5d0010b98bfafa76df\" : 157, \"b44998134fbf61fad13765fb532a494116cc61d9a8c82066f3dc782af3dbfd3d\" : 238, \"b52a9a05cfec055c8d68f997ab5fb2e75350112399daf18281549a4be459dcd4\" : 141, \"b55073b69448a3496092489dda37eecb8ab158ba04a3ad1893630036d6f4dd08\" : 177, \"b7b03568a63d8446fde59577992368e782c1a710eb65980167944b13b916bfa3\" : 112, \"b96488e09726737cf3216ed4cf6acc0023214a7b4c8376c5efc718bf4b755f7e\" : 7, \"b9f98d42cd82d82dc116ff49ab6901f14f992616c1038ff399f0a884c9d6d498\" : 205, \"bc90533b780f9cec93e7b58aa18cd23c19658fa9993d750e69d088885213122d\" : 26, \"bc9dc2064a3950151eb862bbc5e8b156752c5fac38cd585b069c9078833a5e94\" : 97, \"bd87a18d1e524fe7bd4c936b2159b9d93f359898d1ff63f03b903257b1dfaa5f\" : 200, \"be0adbe3633ed3611d2d39e008d2912f5623b9422230427c5e5984a323e71e08\" : 258, \"bf30eac282d580e4a420736f147700a9df191a855bd6f2b642b2346259816c76\" : 135, \"c041a3337cd4abe014595422e3208446991c57047ee1e8992ae8f50712bee5eb\" : 47, \"c2c49fe65b7bd563e35a1561a9d01598da110da437ce6ff959f0462374da597e\" : 191, \"c47762bc82ab7d68cac641def2f50bc4b4f53cc331947486a05cbfb9375da2ab\" : 270, \"c5a54580b55279f454354efb99b9e2bab99d12fec6d9747a7b28ab168024593b\" : 171, \"c5fe30a98a16f343f61844a1c46e4295701afe4650640378253c4989ae0f63c1\" : 16, \"c6aaf232cecdfcf9a279e40bff6a6444932b7cd15678855bba78f324736013ad\" : 87, \"c7e0d3bd8cc2856d30e153be0f8ce272f43f7fe9cdbe6516ddc1c6e7cd1e0d0a\" : 143, \"c84b18342faccb5ac4876ab45bb21c1f9b04c77ebf9e3b0a385f0a905d4b3cb9\" : 190, \"c8a43da4213d1d5f08e37434ff18349252f76a00e6b094fec3e3f33c2d608a9d\" : 91, \"c8a63841f2713cadce75a2d65346ff45303b5fc636f9aafdccb0ea42d4197cea\" : 159, \"cab5eee5ecd3269cefbf0bfa52eb9d33b87294fd2e70e22dcd0affaab9a21265\" : 93, \"cb50e0300d4f9f778b263a1076eb30c5daef8df848a002d43d332f9259150fb5\" : 124, \"cb8bc278c9723f4110892231218392fd79cde4935b79663fc4aab73bda123f98\" : 35, \"cbd94b17386643aba084eed8d1ca463212606cf6b29e1afb37db00b2d744ff5b\" : 44, \"cd8d22ffbb8264f146a4b2f7bdf9493c8ff1a7de5d369f28b5afc2eb2f8ee7b0\" : 64, \"cf6d23e519a6a2c32b17ba67a9a8b7141a6c337b1a3842ab488802134018c9b2\" : 252, \"d058be6d20fb172f486e3e0d83df46ea1ed74a9679a9150185feb10637077fdd\" : 109, \"d0d5862db4f2b464206d78dd39bee3088f6e0ad7ff0cdbf42811fde8c3ae5719\" : 300, \"d14707701f9ae7ea983789a9aa889a60f24a08bf56cd47419e7acc7893bf35bb\" : 227, \"d1f9fe260e4e1a1f3e53b31416e0baeef026877d0cde04509aed5adf1ad7276c\" : 12, \"d23102929f45fff90151d5c7a8cc7fe248041edf39d06062ea7d16c06150b3f9\" : 103, \"d232a111760dd22ee0b936c2190197512c23401db109f25ed2452b3815500b09\" : 194, \"d2a26fa1747ebe6a9e34ab29aefba3bd0ffe5c3f9c99aa59fc555fa3a83d812e\" : 80, \"d3649a297d58c0718cf5d8840bb3989073c2644b3a8b2d3bde5ebb63fccf4033\" : 187, \"d39b15f57886896e95690c98f81203c120648b7bcb8f33f192f47604c67a12cb\" : 209, \"d4cea5e37884423503037417f14fcd9a10fd31f992605592e401b6f0574e5d63\" : 140, \"d5266703bdd89e64ced50b1b903f3515435d0bd11adc7af7cbde60826a527eef\" : 41, \"d612d1b6e01bac6b333a37235d2c4ce315b0b0fd3d6d88071c324b83c20807f3\" : 120, \"d617d552f47373ebbb13dbec6eb0fb8b543d28be145304cca2c0862ea4401cc1\" : 267, \"d652a8bfc34d42f93b43a67ab11717340f443174f1b33c3d7812145a61391f10\" : 199, \"d6b0c603a51fbcd56db1606a0591310876f93bdbf2309c7bdbc277a080368990\" : 188, \"d876102991aecbaf8b88132bfa70427e4640837f4cbbfce585b4ff056060224a\" : 99, \"d93aa64668e966bdaf16d7458b319852c55e880735fb73e494df96828962e82c\" : 54, \"da67ddd0133b29ee68373fbfab4cc32719d368a09f62d56b8a48aa8643469f91\" : 266, \"dc388ff21bb6fb21c932f635c76a23be3ba9051d4e1b356cd5b4a9c27a9a828d\" : 225, \"dcf046fd29eaa5dc4f586feed119e1b76d6504bfcfb0227213010a6ef18a4c77\" : 217, \"dfb5463ccb376d31b2285c402cc6bcf176a52bdd4139d12a8c3ae73e84cf7f90\" : 186, \"e1dfd97285bf66e86b926d338a8b304854a89cd1b58f0a92da2ae1ead4742660\" : 22, \"e2ba03d384ec799ca0e4472db07da7322c8e322f40e6b1793dc9a03d2fd48496\" : 119, \"e2c4cae110f716a7264a339944c43a33cde4b1a2167d16af4f2216efdbf1489f\" : 21, \"e2d64cea324a5a890326fc64c302cae1829d34ff4a584ff6a18e5026ad21f31f\" : 169, \"e4117745b3896cad40ff11f849471145af424ff201a6bd6d8964c5a291ebbce6\" : 164, \"e4f8a55de8e8bc6141750455fe512306207de7d5519f481900b86aedaaf3b902\" : 31, \"e5126088c5f26503a03f046040ae2e7740e33b2f15e16a1beafd94829f467cfc\" : 134, \"e56725d157990a26be17301fc08121ff704c0af2b70a878236283ad042fba8fd\" : 230, \"e63c62e1eea4e76d9a725893ae01048330a8ec1f211a756113433ecd70758978\" : 240, \"e684e54e61b427c3c503aa47c1a4a479d89fa4a720125c3e806fbda7ec73170b\" : 181, \"e6ecd9b3f360df833f45f263aa958cb1dfbbc425fba65310119fce5692502ff5\" : 168, \"e773aeb39ccbe965837928c150ca1dfd0ab93b71c49f294a9fbcc98b73b492d0\" : 82, \"e7b6c9032f92fc7d83701e3b749123feeab48e9a1213788021678e798a6733d1\" : 74, \"e84b0ca96139b9c5e1a58b55e9d84682318a2030eaf24923204a1473ed659b34\" : 224, \"e84bdac70ba27d0e1c08f0c3a161a0bb05b5a34aa6a5fd65e4f48fa8de21c343\" : 203, \"e8efbecd4f7067ec163a16e0ca6cf9b8c832b9cc9d2d1cc0ca1a642ca630aefb\" : 220, \"e9e771d51a2dda33837449e6fc69fbe2d3e97cc7777349b858826d1944221d9a\" : 78, \"ea6fb327eeb4190ecc5d7e50505e4b7ed251c703a86ac74d8f6c82c066cba89c\" : 70, \"eabe5a1a0750d2a8745709bb0bdb24f63c6a8ac3a887b9bed40b34b0598ddf08\" : 92, \"eb6a22883a765cbec6496afd505e1793072d92ac0ee9afc8039469fba3ad9bcb\" : 280, \"eb8e3c22eb47eb213c975866d3291a728f767e2ec989563da911a44f9efaa132\" : 37, \"ebe5941e739c2fa328fa5644af3d3a76367a91245c90f5d1691d851ec55f2921\" : 195, \"ed0c0e6fb361ffba50d9eb1c930548220aac65dedccdd08069acbcfcd28cc369\" : 116, \"ee17847ce12206ba8ae98fe4d5b109c3054efbd06a8ab811dd7d54e9aec4a515\" : 98, \"eecdd882673d96f08dab25be4fda3183e1fcd88a29b5826a38bca66c767b5630\" : 114, \"efc25d5149685deab7c8867e16ca80a49440bb440406aadfd4702edb56a11456\" : 11, \"f00cbd8764b13ac2c3a645ae7f4389123206a71feca2c36846aafa5f3d52e676\" : 281, \"f03af1761ecaad90249d0c8c9798135cbf4f41db5d0ed07f9eda35051dc3ebef\" : 166, \"f3854680cb3e1122108b2c328c581506cd6ad0008bf00078544d5da2b45a6195\" : 96, \"f3d6a7556f6b5bb2cad53756699143c40b4e2a536bcf558125f3c1aafec9aa6d\" : 289, \"f4925f2ad782a8b03cbb9805aa1a9182ff9a728ab8158d5ad8110f20669f4971\" : 253, \"f65c22f8bd6ad8dab34e5507f609b7a4d5732deba8446bd85ba4a0f933cb8f1f\" : 235, \"f6963b6c1ca127e945d391e50ac1896b0a298ef7495ee55d32b84e462ef6f050\" : 133, \"f7382d55a40fae6614da8f25ade5fc90e3439d02a74b576bb762936dab3ed021\" : 162, \"f7499d2ba3e6672b1058b5196fa1a83fa529c431643ad2902aef7fd39f742db7\" : 156, \"f86d67e5ed0c9956a83e72f11106da781460170ae4ae5d7381f5a46eba4feeb3\" : 160, \"fa6393dd55f96136127aae4c950bdb18c33a5901640ee59a866c03c62f2c1450\" : 277, \"fbb99a283794505d648cc4fdaa8c6b62d4677caec881ff955b46f8f30e23483d\" : 254, \"fc99ed51e788bd040d4685721c46aaa580de06190cb77e51e6e3e50d38b1c6a2\" : 67, \"fd6470fcca3641fbad339f918ba477518d8b24ac068b665c2186c39a9114a29a\" : 180, \"fdfec879b7c80b212c2cd79fe98108893e9ae6d924702e3b87ae6a27aeb1aef4\" : 216, \"fe27b935f69c97455fef205ff9c56d554a2b766091c03a054401e3884936d31b\" : 45, \"ff28ba26d76068d049dc35f259054433fab01b09027097657e0968ae8da65513\" : 193, \"ffe280d1968e65a546076e52255eb2d4c7d17c187d75c1954e7b96aac5e6a0f7\" : 268}) | for( x0, x1 <= @{Unforgeable(0x01)} ) { Nil } | for( @{x0}, x1 <= @{[\"LinkedList\", \"reverse\"]} ) { new x2 in { @{[\"LinkedList\", \"fold\"]}!(x0, [], *x2, *x1) | for( @{x3}, @{x4}, x5 <= x2 ) { @{[\"LinkedList\", \"prepend\"]}!(x3, x4, *x5) } } } | for( @{x0}, x1 <= @{[\"LinkedList\", \"head\"]} ) { match x0 { [x2, _] => x1!(x2) ; _ => x1!(Nil) } } | for( x0, x1, x2, x3 <= @{\"secp256k1Verify\"} ) { Nil } | for( x0, x1 <= @{\"sha256Hash\"} ) { Nil } | for( @{x0}, @{x1}, x2 <= @{[\"Either\", \"compose\"]} ) { new x3, x4 in { @{[\"LinkedList\", \"fromList\"]}!(x1, *x4) | for( @{x5} <- x4 ) { @{[\"LinkedList\", \"fold\"]}!(x5, (\"Right\", x0), *x3, *x2) } | for( @{x5}, @{x6}, x7 <= x3 ) { @{[\"Either\", \"flatMap\"]}!(x6, x5, *x7) } } } | for( @{x0}, @{x1}, x2, x3 <= @{[\"LinkedList\", \"partialFold\"]} ) { new x4 in { x4!(x1, x0) | for( @{x5}, @{x6} <= x4 ) { match x6 { [x7, x8] => new x9 in { x2!(x7, x5, *x9) | for( @{x10} <- x9 ) { match x10 { [true, _] => x3!(x10) ; [false, x11] => x4!(x11, x8) } } } ; _ => x3!([false, x5]) } } } } | for( @{x0}, @{x1}, x2 <= @{[\"LinkedList\", \"range\"]} ) { new x3 in { x3!((x1 - 1), []) | for( @{x4}, @{x5} <= x3 ) { match (x4 < x0) { true => x2!(x5) ; false => x3!((x4 - 1), [x4, x5]) } } } } | for( @{x0}, @{x1}, x2 <= @{[\"LinkedList\", \"get\"]} ) { new x3 in { for( @{x4}, @{x5}, x6 <= x3 ) { match x5 { [x7, _] => x6!([(x7 == x1), [(x7 + 1), x4]]) } } | new x4 in { @{[\"LinkedList\", \"partialFold\"]}!(x0, [0, Nil], *x3, *x4) | for( @{x5} <- x4 ) { match x5 { [true, [_, x6]] => x2!(x6) ; _ => x2!(Nil) } } } } } | for( x0, x1 <= @{Unforgeable(0x03)} ) { Nil } | for( @{x0}, x1, x2 <= @{[\"Either\", \"flatMap\"]} ) { match x0 { (\"Right\", x3) => x1!(x3, *x2) ; (\"Left\", _) => x2!(x0) } } | for( @{x0}, x1 <= @{[\"LinkedList\", \"length\"]} ) { new x2 in { @{[\"LinkedList\", \"fold\"]}!(x0, 0, *x2, *x1) | for( @{x3}, @{x4}, x5 <= x2 ) { x5!((x4 + 1)) } } } | for( @{x0}, x1 <= @{Unforgeable(0x6d8c2cf370442b4465370ce39dae4b967374808aed27b9ba407efe36a8d1c3c0)} ) { new x2, x3 in { x1!(*x2) | for( @{x4}, @{x5}, x6 <= @{[*x2, \"deposit\"]} ) { new x7 in { @{[x5, \"getDecr\"]}!(*x7) | for( @{[x8, x9]} <- x7 ) { @{x9}!([bundle0 { x8 | Unforgeable(0xc3e80cfef4c6c06d889a027fc72f5b5ef0e14410ea69fe7573143803006aeac8) }, *x7]) | for( @{x10} <- x7 ) { match x10 { [] => x6!(false) ; x11 => @{x11}!(x4, *x7) | for( @{x12} <- x7 ) { match x12 { true => @{[x0, \"add\"]}!(x4, *x6) ; false => x6!(false) } } } } } } } | for( x4 <= @{[*x2, \"getBalance\"]} ) { @{[x0, \"value\"]}!(*x4) } | for( x4 <= @{[*x2, \"getDecr\"]} ) { new x5, x6, x7 in { x7!(bundle0 { *x5 | Unforgeable(0xc3e80cfef4c6c06d889a027fc72f5b5ef0e14410ea69fe7573143803006aeac8) }) | x4!([*x5, *x6]) | for( @{x8} <- x7 ; @{[x9, x10]} <- x6 ) { match (x9 == x8) { true => @{x10}!([*x2, *x3]) ; false => @{x10}!([]) } } } } | for( @{x4}, x5 <= @{[*x2, \"split\"]} ) { new x6, x7 in { @{[*x2, \"sprout\"]}!(*x6) | for( @{x8} <- x6 ) { @{[x8, \"deposit\"]}!(x4, *x2, *x7) | for( @{x9} <- x7 ) { match x9 { true => x5!([x8]) ; false => x5!([]) } } } } } | for( x4 <= @{[*x2, \"sprout\"]} ) { @{[Unforgeable(0xc3e80cfef4c6c06d889a027fc72f5b5ef0e14410ea69fe7573143803006aeac8), \"makePurse\"]}!(0, *x4) } | for( @{x4}, x5 <= @{[*x2, *x3]} ) { @{[x0, \"sub\"]}!(x4, *x5) } } } | for( @{x0}, @{x1}, x2, x3 <= @{[\"LinkedList\", \"fold\"]} ) { new x4 in { for( @{x5}, @{x6}, x7 <= x4 ) { new x8 in { x2!(x5, x6, *x8) | for( @{x9} <- x8 ) { x7!([false, x9]) } } } | new x5 in { @{[\"LinkedList\", \"partialFold\"]}!(x0, x1, *x4, *x5) | for( @{x6} <- x5 ) { match x6 { [_, x7] => x3!(x7) } } } } } | for( x0, x1, x2, x3 <= @{\"ed25519Verify\"} ) { Nil } | for( @{x0}, @{x1}, x2 <= @{[\"LinkedList\", \"prepend\"]} ) { x2!([x0, x1]) } | for( @{x0}, x1, x2 <= @{[\"LinkedList\", \"map\"]} ) { new x3 in { for( @{x4}, @{x5}, x6 <= x3 ) { new x7 in { x1!(x4, *x7) | for( @{x8} <- x7 ) { @{[\"LinkedList\", \"prepend\"]}!(x8, x5, *x6) } } } | new x4 in { @{[\"LinkedList\", \"fold\"]}!(x0, [], *x3, *x4) | for( @{x5} <- x4 ) { @{[\"LinkedList\", \"reverse\"]}!(x5, *x2) } } } } | for( @{x0}, x1 <= @{\"NonNegativeNumber\"} ) { new x2, x3 in { x1!(*x2) | for( @{x4}, x5 <= @{[*x2, \"add\"]} ) { match (x4 >= 0) { true => for( @{x6} <- x3 ) { match ((x6 + x4) > x6) { true => x5!(true) | x3!((x6 + x4)) ; false => x5!(false) | x3!(x6) } } ; false => x5!(false) } } | for( @{x4}, x5 <= @{[*x2, \"sub\"]} ) { match (x4 >= 0) { true => for( @{x6} <- x3 ) { match (x4 <= x6) { true => x5!(true) | x3!((x6 - x4)) ; false => x5!(false) | x3!(x6) } } ; false => x5!(false) } } | for( x4 <= @{[*x2, \"value\"]} ) { for( @{x5} <- x3 ) { x4!(x5) | x3!(x5) } } | match (x0 >= 0) { true => x3!(x0) ; _ => x3!(0) } } } | for( x0 <= @{[\"Rev\", \"makePurse\"]} ) { @{[Unforgeable(0xc3e80cfef4c6c06d889a027fc72f5b5ef0e14410ea69fe7573143803006aeac8), \"makePurse\"]}!(0, *x0) } | for( @{x0}, @{x1}, x2 <= @{[\"LinkedList\", \"indexOf\"]} ) { new x3 in { for( @{x4}, @{x5}, x6 <= x3 ) { x6!([(x4 == x1), (x5 + 1)]) } | new x4 in { @{[\"LinkedList\", \"partialFold\"]}!(x0, -1, *x3, *x4) | for( @{x5} <- x4 ) { match x5 { [true, x6] => x2!(x6) ; _ => x2!(-1) } } } } } | for( @{x0}, @{x1}, x2 <= @{[\"LinkedList\", \"zip\"]} ) { new x3 in { for( @{x4}, @{x5}, x6 <= x3 ) { match x4 { [[x7, x8], [x9, x10]] => x3!([x8, x10], [[x7, x9], x5], *x6) ; _ => x6!(x5) } } | new x4 in { x3!([x0, x1], [], *x4) | for( @{x5} <- x4 ) { @{[\"LinkedList\", \"reverse\"]}!(x5, *x2) } } } } | for( @{x0}, x1, x2 <= @{[\"Either\", \"map\"]} ) { match x0 { (\"Right\", x3) => new x4 in { x1!(x3, *x4) | for( @{x5} <- x4 ) { x2!((\"Right\", x5)) } } ; (\"Left\", _) => x2!(x0) } } | for( @{x0}, x1 <= @{[\"LinkedList\", \"toSmallList\"]} ) { match x0 { [] => x1!([]) ; [x2, []] => x1!([x2]) ; [x2, [x3, []]] => x1!([x2, x3]) ; [x2, [x3, [x4, []]]] => x1!([x2, x3, x4]) ; [x2, [x3, [x4, [x5, []]]]] => x1!([x2, x3, x4, x5]) ; [x2, [x3, [x4, [x5, [x6, []]]]]] => x1!([x2, x3, x4, x5, x6]) ; [x2, [x3, [x4, [x5, [x6, [x7, []]]]]]] => x1!([x2, x3, x4, x5, x6, x7]) ; [x2, [x3, [x4, [x5, [x6, [x7, [x8, []]]]]]]] => x1!([x2, x3, x4, x5, x6, x7, x8]) ; [x2, [x3, [x4, [x5, [x6, [x7, [x8, [x9, []]]]]]]]] => x1!([x2, x3, x4, x5, x6, x7, x8, x9]) ; [x2, [x3, [x4, [x5, [x6, [x7, [x8, [x9, [x10, []]]]]]]]]] => x1!([x2, x3, x4, x5, x6, x7, x8, x9, x10]) ; _ => x1!(\"Error! LinkedList too long for conversion to list.\") } } | for( @{x0}, x1 <= @{[\"LinkedList\", \"tail\"]} ) { match x0 { [_, x2] => x1!(x2) ; _ => x1!(Nil) } } | for( @{x0}, x1 <= @{[\"LinkedList\", \"fromList\"]} ) { new x2 in { for( @{x3}, @{x4}, x5 <= x2 ) { match x3 { [x7...x6] => new x8 in { @{[\"LinkedList\", \"prepend\"]}!(x7, x4, *x8) | for( @{x9} <- x8 ) { x2!(x6, x9, *x5) } } ; _ => x5!(x4) } } | new x3 in { x2!(x0, [], *x3) | for( @{x4} <- x3 ) { @{[\"LinkedList\", \"reverse\"]}!(x4, *x1) } } } } | for( x0 <= @{\"MakeMint\"} ) { new x1, x2, x3 in { x0!(*x2) | for( @{x4}, x5 <= @{[*x2, \"makePurse\"]} ) { new x6 in { @{[\"MakeMint\", \"int2NN\"]}!(x4, *x6) | for( @{x7} <- x6 ) { x3!(x7, *x5) } } } | for( @{x4}, x5 <= x3 ) { new x6, x7 in { x5!(*x6) | for( @{x8}, @{x9}, x10 <= @{[*x6, \"deposit\"]} ) { new x11 in { @{[x9, \"getDecr\"]}!(*x11) | for( @{[x12, x13]} <- x11 ) { @{x13}!([bundle0 { x12 | *x2 }, *x11]) | for( @{x14} <- x11 ) { match x14 { [] => x10!(false) ; x15 => @{x15}!(x8, *x11) | for( @{x16} <- x11 ) { match x16 { true => @{[x4, \"add\"]}!(x8, *x10) ; false => x10!(false) } } } } } } } | for( x8 <= @{[*x6, \"getBalance\"]} ) { @{[x4, \"value\"]}!(*x8) } | for( x8 <= @{[*x6, \"getDecr\"]} ) { new x9, x10, x11 in { x11!(bundle0 { *x9 | *x2 }) | x8!([*x9, *x10]) | for( @{x12} <- x11 ; @{[x13, x14]} <- x10 ) { match (x13 == x12) { true => @{x14}!([*x6, *x7]) ; false => @{x14}!([]) } } } } | for( @{x8}, x9 <= @{[*x6, \"split\"]} ) { new x10, x11 in { @{[*x6, \"sprout\"]}!(*x10) | for( @{x12} <- x10 ) { @{[x12, \"deposit\"]}!(x8, *x6, *x11) | for( @{x13} <- x11 ) { match x13 { true => x9!([x12]) ; false => x9!([]) } } } } } | for( x8 <= @{[*x6, \"sprout\"]} ) { @{[*x2, \"makePurse\"]}!(0, *x8) } | for( @{x8}, x9 <= @{[*x6, *x7]} ) { @{[x4, \"sub\"]}!(x8, *x9) } } } } } | for( @{x0}, x1 <= @{[\"MakeMint\", \"int2NN\"]} ) { new x2 in { @{\"NonNegativeNumber\"}!(x0, *x2) | for( @{x3} <- x2 ) { x1!(x3) } } } | for( @{x0}, x1, x2 <= @{[\"LinkedList\", \"foreach\"]} ) { new x3, x4 in { @{[\"LinkedList\", \"fold\"]}!(x0, Nil, *x3, *x4) | for( _ <- x4 ) { x2!(true) } | for( @{x5}, @{x6}, x7 <= x3 ) { new x8 in { x1!(x5, *x8) | for( _ <- x8 ) { x7!(Nil) } } } } } | for( x0, x1 <= @{\"blake2b256Hash\"} ) { Nil } | for( x0 <= @{Unforgeable(0x02)} ) { Nil } | for( @{x0}, x1 <= @{[Unforgeable(0xc3e80cfef4c6c06d889a027fc72f5b5ef0e14410ea69fe7573143803006aeac8), \"makePurse\"]} ) { new x2 in { @{[\"MakeMint\", \"int2NN\"]}!(x0, *x2) | for( @{x3} <- x2 ) { @{Unforgeable(0x6d8c2cf370442b4465370ce39dae4b967374808aed27b9ba407efe36a8d1c3c0)}!(x3, *x1) } } } | for( @{x0}, @{x1}, @{x2}, x3 <= @{\"BasicWallet\"} ) { new x4 in { for( @{x5} <- x4 ) { match x5 { [] => x3!([]) ; [x6] => new x7, x8, x9 in { x9!(-1) | x3!([*x7]) | for( @{x10}, @{x11}, x12 <= @{[*x7, \"deposit\"]} ) { @{[x0, \"deposit\"]}!(x10, x11, *x12) } | for( x10 <= @{[*x7, \"getBalance\"]} ) { @{[x0, \"getBalance\"]}!(*x10) } | for( x10 <= @{[*x7, \"getNonce\"]} ) { for( @{x11} <- x9 ) { x10!(x11) | x9!(x11) } } | for( @{x10}, @{x11}, @{x12}, x13, x14 <= @{[*x7, \"transfer\"]} ) { new x15 in { x8!(x11, x10, *x13, x12, *x15) | for( @{x16} <- x15 ) { match x16 { true => new x17 in { @{[x0, \"split\"]}!(x10, *x17) | for( @{x18} <- x17 ) { match x18 { [] => x14!(\"Overdraft\") ; [x19] => x14!(\"Success\") | x13!(x19) } } } ; false => x14!(\"Invalid signature or nonce\") } } } } | for( @{x10}, @{x11}, @{x12}, @{x13}, x14 <= x8 ) { for( @{x15} <- x9 ) { match (x10 == (x15 + 1)) { true => new x16 in { @{x6}!(([x10, x11, x12]).toByteArray(), (x13).hexToBytes(), (x2).hexToBytes(), *x16) | for( @{x17} <- x16 ) { match x17 { true => x14!(true) | x9!(x10) ; false => x14!(false) | x9!(x15) } } } ; false => x14!(false) | x9!(x15) } } } } } } | match x1 { \"ed25519\" => x4!([\"ed25519Verify\"]) ; \"secp256k1\" => x4!([\"secp256k1Verify\"]) ; _ => x4!([]) } } } | for( x0 <= @{Unforgeable(0x00)} ) { Nil } | for( x0, x1 <= @{\"keccak256Hash\"} ) { Nil }"
timestamp: 1
faultTolerance: -0.9999557
mainParentHash: ""
sender: ""
shardId: "rchain"

-----------------------------------------------------


Blockchain length: 1