No Description
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

example.txt 27KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465
  1. contract bytecode:
  2. 6060604052604051602080610901833981016040528080519060200190919050505b80600060006101000a81548173ffffffffffffffffffffffffffffffffffffffff02191690836c010000000000000000000000009081020402179055505b505b6108928061006f6000396000f360606040526000357c0100000000000000000000000000000000000000000000000000000000900480630a37c18b14610038575b610000565b34610000576100a8600480803590602001909190803590602001909190803590602001908201803590602001908080601f016020809104026020016040519081016040528093929190818152602001838380828437820191505050505050919080359060200190919050506100ce565b604051808360030b81526020018263ffffffff1681526020019250505060405180910390f35b6000600060006100e08787878761013c565b945090507fdc82e73b04437b0cf0b06a8369c98a86b3ab56166e14fbdd1b7d97fbe563ab3886880182604051808360030b81526020018260030b81526020019250505060405180910390a18084925092505b5094509492505050565b600060007fd99ee8d471fe48fe722b91906875c9fd6593c651c75c4edef04f7840d42863fd86604051808260030b815260200191505060405180910390a161018686868686610197565b935083915091505b94509492505050565b60006000604051600881526000877c0100000000000000000000000000000000000000000000000000000000020186780100000000000000000000000000000000000000000000000002018160200152600881602801527e0200000180000200000000000000000000000000000000000000000000000081604801526106ca81605001527f020000000500000000008500000000000091890000000000e7a73a000000801e81607001527f6e170c0000c08fbff703882ee86c06ee7429e1e15fe6d840a671c5201352170f81609001527f81e6199dcec112b93012000000000000000000000000000000000000000000008160b0015260008160d0015260008160f001527591a0c6525e75b7ee6d31b3443de65f6535fcaf0029ae8161011001527ff6a0d2429e4b75300210000000000000000000000000000000000000000000008161013001526000816101500152600081610170015275a6861230eb3d682601687df00fc0cb2125b23b0796c08161019001527fe0ff2b046748a6bf131181b79bb384cac2e8e5cf6192ca95391924d31cb51b69816101b001527f856d389d894265915c9ca6861230eb3d682601687df00fc0cb2125b23b0796c0816101d001527fe0ff2b046748a6bf131181b79bb384cac2e8e5cf6192ca95391924d31cb51b69816101f001527f856d389d894265915c9c0000000000000000000000000000000000000000000081610210015260008161023001526000816102500152600081610270015260008161029001526000816102b001526000816102d0015275833d184c04fb987b6ec49b628b53f75d7575cb660ad4816102f001527f5afeba49956686b90da300000000000000000000000000000000000000000000816103100152600081610330015275e0c91c3fcce0295a159d46e343ea4b1bf4858158fa928161035001527f4ebd33c6191df24a2c99e0c91c3fcce0295a159d46e343ea4b1bf4858158fa928161037001527f4ebd33c6191df24a2c99000000000000000000000000000000000000000000008161039001526000816103b001526000816103d0015275ec76312bdc22f58c9dade14ab564b78b1846970464c2816103f001527f6f5dbd3a48c73af4fc9aec76312bdc22f58c9dade14ab564b78b1846970464c28161041001527f6f5dbd3a48c73af4fc9a52287daeb46d13ef55e75d31935a0521a4c9651061498161043001527f47f93ec6f25a05e700009613dfd1ac3cb2d689c92e4a08d509e125e99a4c2a418161045001527e4c1edc703af31eaf049e4521f1e41eb548ee5e2d3e6ed3aa98af15c977c9468161047001527fc91ae2364be98e7a511e4f17ef0ba4ef12b8cdef91c8496e7f9a205b9fa6f0c28161049001527f8aa1dc908d0c219c3022c89f234b8f0ac94be5a3c81ca579f7eae68026986fe2816104b001527f776bfd5e4b8ffd2c3b09276e21a0d10d39a3028f17e4a595880d7f10a5c07c2c816104d001527fe4621bb70ea71b0c8f21a96a284ce2b65f0109291f55cf6f85a24ac82d3d2262816104f001527fe666d86f65335c7d881f8f7f791468f22d6270ab70cf7ea120210082582fbb288161051001527f28a7c715a6387bccae038fb84bc958239eaf26b30ca3ba6465b7bf85eb32678a8161053001527f4c0dfa8f1c0cd10923817d0f1f95353b7f566c1fd5d30a55e4b095899dc8b52e8161055001527f3dcf8961abfa26673715e44b5287f58775bba436f7fb172ceaafd9fb2b0229438161057001527fb4e7c7c0fdf4f0837e00147c44a7ae7534182a0792fc84a304d13fab53a00ef38161059001527ffec4785f56f24ff86e1e00000000000000000000000000000000000000000000816105b001526000816105d001526000816105f001526000816106100152755a442640b5a314120a20a9a38cee7943f67fa57b1fae8161063001527f5c978d0f036ac42b72a100000000000000000000000000000000000000000000816106500152600081610670015260008161069001526000816106b00152752d931fbaad49604e3a0883decb171953673fe78fb6a9816106d001527f762ae42c811f72bb399b7bbc7dfa168cb2a02e69ee63097d19f48da9fdfe1793816106f001527fce10e42bdbf0ed8cba0c117438676e9f26a2b6c76b3e19cac91635cbb5c235288161071001527fc2d81ca6ea870d7d40200000000000000000000000000000000000000000000081610730015284840180518091818461073a01528361075a0190602001829060006004602084601f0104600302600f01f15061075a0181602491836000600060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660325a03f150805160041415610000578081602001517c0100000000000000000000000000000000000000000000000000000000900463ffffffff169350505082808501516020010192505b9450949250505056
  3. contract abi:
  4. [{"constant":false,"inputs":[{"name":"a","type":"int32"},{"name":"b","type":"int32"},{"name":"__proof_data","type":"bytes"},{"name":"__proof_idx","type":"uint32"}],"name":"entry","outputs":[{"name":"","type":"int32"},{"name":"__proof_idx_return","type":"uint32"}],"payable":false,"type":"function"},{"inputs":[{"name":"_verifier","type":"address"}],"type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"name":"a","type":"int32"}],"name":"Event","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"a","type":"int32"},{"indexed":false,"name":"b","type":"int32"}],"name":"Event2","type":"event"}]
  5. circuit:
  6. 0002000001800002
  7. pubkey:
  8. 020000000500000000008500000000000091890000000000e7a73a000000801e6e170c0000c08fbff703882ee86c06ee7429e1e15fe6d840a671c5201352170f81e6199dcec112b9301200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000091a0c6525e75b7ee6d31b3443de65f6535fcaf0029aef6a0d2429e4b75300210000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000a6861230eb3d682601687df00fc0cb2125b23b0796c0e0ff2b046748a6bf131181b79bb384cac2e8e5cf6192ca95391924d31cb51b69856d389d894265915c9ca6861230eb3d682601687df00fc0cb2125b23b0796c0e0ff2b046748a6bf131181b79bb384cac2e8e5cf6192ca95391924d31cb51b69856d389d894265915c9c0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000833d184c04fb987b6ec49b628b53f75d7575cb660ad45afeba49956686b90da300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e0c91c3fcce0295a159d46e343ea4b1bf4858158fa924ebd33c6191df24a2c99e0c91c3fcce0295a159d46e343ea4b1bf4858158fa924ebd33c6191df24a2c99000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000ec76312bdc22f58c9dade14ab564b78b1846970464c26f5dbd3a48c73af4fc9aec76312bdc22f58c9dade14ab564b78b1846970464c26f5dbd3a48c73af4fc9a52287daeb46d13ef55e75d31935a0521a4c96510614947f93ec6f25a05e700009613dfd1ac3cb2d689c92e4a08d509e125e99a4c2a41004c1edc703af31eaf049e4521f1e41eb548ee5e2d3e6ed3aa98af15c977c946c91ae2364be98e7a511e4f17ef0ba4ef12b8cdef91c8496e7f9a205b9fa6f0c28aa1dc908d0c219c3022c89f234b8f0ac94be5a3c81ca579f7eae68026986fe2776bfd5e4b8ffd2c3b09276e21a0d10d39a3028f17e4a595880d7f10a5c07c2ce4621bb70ea71b0c8f21a96a284ce2b65f0109291f55cf6f85a24ac82d3d2262e666d86f65335c7d881f8f7f791468f22d6270ab70cf7ea120210082582fbb2828a7c715a6387bccae038fb84bc958239eaf26b30ca3ba6465b7bf85eb32678a4c0dfa8f1c0cd10923817d0f1f95353b7f566c1fd5d30a55e4b095899dc8b52e3dcf8961abfa26673715e44b5287f58775bba436f7fb172ceaafd9fb2b022943b4e7c7c0fdf4f0837e00147c44a7ae7534182a0792fc84a304d13fab53a00ef3fec4785f56f24ff86e1e00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000005a442640b5a314120a20a9a38cee7943f67fa57b1fae5c978d0f036ac42b72a100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002d931fbaad49604e3a0883decb171953673fe78fb6a9762ae42c811f72bb399b7bbc7dfa168cb2a02e69ee63097d19f48da9fdfe1793ce10e42bdbf0ed8cba0c117438676e9f26a2b6c76b3e19cac91635cbb5c23528c2d81ca6ea870d7d4020
  9. # prove
  10. inparams:
  11. 0000000000000000000000000000000000000000000000000000000000000008
  12. 0000000100000002
  13. circuit:
  14. 0000000000000000000000000000000000000000000000000000000000000008
  15. 0002000001800002
  16. pubkey:
  17. 00000000000000000000000000000000000000000000000000000000000006ca
  18. 020000000500000000008500000000000091890000000000e7a73a000000801e6e170c0000c08fbff703882ee86c06ee7429e1e15fe6d840a671c5201352170f81e6199dcec112b9301200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000091a0c6525e75b7ee6d31b3443de65f6535fcaf0029aef6a0d2429e4b75300210000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000a6861230eb3d682601687df00fc0cb2125b23b0796c0e0ff2b046748a6bf131181b79bb384cac2e8e5cf6192ca95391924d31cb51b69856d389d894265915c9ca6861230eb3d682601687df00fc0cb2125b23b0796c0e0ff2b046748a6bf131181b79bb384cac2e8e5cf6192ca95391924d31cb51b69856d389d894265915c9c0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000833d184c04fb987b6ec49b628b53f75d7575cb660ad45afeba49956686b90da300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e0c91c3fcce0295a159d46e343ea4b1bf4858158fa924ebd33c6191df24a2c99e0c91c3fcce0295a159d46e343ea4b1bf4858158fa924ebd33c6191df24a2c99000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000ec76312bdc22f58c9dade14ab564b78b1846970464c26f5dbd3a48c73af4fc9aec76312bdc22f58c9dade14ab564b78b1846970464c26f5dbd3a48c73af4fc9a52287daeb46d13ef55e75d31935a0521a4c96510614947f93ec6f25a05e700009613dfd1ac3cb2d689c92e4a08d509e125e99a4c2a41004c1edc703af31eaf049e4521f1e41eb548ee5e2d3e6ed3aa98af15c977c946c91ae2364be98e7a511e4f17ef0ba4ef12b8cdef91c8496e7f9a205b9fa6f0c28aa1dc908d0c219c3022c89f234b8f0ac94be5a3c81ca579f7eae68026986fe2776bfd5e4b8ffd2c3b09276e21a0d10d39a3028f17e4a595880d7f10a5c07c2ce4621bb70ea71b0c8f21a96a284ce2b65f0109291f55cf6f85a24ac82d3d2262e666d86f65335c7d881f8f7f791468f22d6270ab70cf7ea120210082582fbb2828a7c715a6387bccae038fb84bc958239eaf26b30ca3ba6465b7bf85eb32678a4c0dfa8f1c0cd10923817d0f1f95353b7f566c1fd5d30a55e4b095899dc8b52e3dcf8961abfa26673715e44b5287f58775bba436f7fb172ceaafd9fb2b022943b4e7c7c0fdf4f0837e00147c44a7ae7534182a0792fc84a304d13fab53a00ef3fec4785f56f24ff86e1e00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000005a442640b5a314120a20a9a38cee7943f67fa57b1fae5c978d0f036ac42b72a100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002d931fbaad49604e3a0883decb171953673fe78fb6a9762ae42c811f72bb399b7bbc7dfa168cb2a02e69ee63097d19f48da9fdfe1793ce10e42bdbf0ed8cba0c117438676e9f26a2b6c76b3e19cac91635cbb5c23528c2d81ca6ea870d7d4020
  19. proof (empty):
  20. 0000000000000000000000000000000000000000000000000000000000000000
  21. together:
  22. 000000000000000000000000000000000000000000000000000000000000000800000001000000020000000000000000000000000000000000000000000000000000000000000008000200000180000200000000000000000000000000000000000000000000000000000000000006ca020000000500000000008500000000000091890000000000e7a73a000000801e6e170c0000c08fbff703882ee86c06ee7429e1e15fe6d840a671c5201352170f81e6199dcec112b9301200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000091a0c6525e75b7ee6d31b3443de65f6535fcaf0029aef6a0d2429e4b75300210000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000a6861230eb3d682601687df00fc0cb2125b23b0796c0e0ff2b046748a6bf131181b79bb384cac2e8e5cf6192ca95391924d31cb51b69856d389d894265915c9ca6861230eb3d682601687df00fc0cb2125b23b0796c0e0ff2b046748a6bf131181b79bb384cac2e8e5cf6192ca95391924d31cb51b69856d389d894265915c9c0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000833d184c04fb987b6ec49b628b53f75d7575cb660ad45afeba49956686b90da300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e0c91c3fcce0295a159d46e343ea4b1bf4858158fa924ebd33c6191df24a2c99e0c91c3fcce0295a159d46e343ea4b1bf4858158fa924ebd33c6191df24a2c99000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000ec76312bdc22f58c9dade14ab564b78b1846970464c26f5dbd3a48c73af4fc9aec76312bdc22f58c9dade14ab564b78b1846970464c26f5dbd3a48c73af4fc9a52287daeb46d13ef55e75d31935a0521a4c96510614947f93ec6f25a05e700009613dfd1ac3cb2d689c92e4a08d509e125e99a4c2a41004c1edc703af31eaf049e4521f1e41eb548ee5e2d3e6ed3aa98af15c977c946c91ae2364be98e7a511e4f17ef0ba4ef12b8cdef91c8496e7f9a205b9fa6f0c28aa1dc908d0c219c3022c89f234b8f0ac94be5a3c81ca579f7eae68026986fe2776bfd5e4b8ffd2c3b09276e21a0d10d39a3028f17e4a595880d7f10a5c07c2ce4621bb70ea71b0c8f21a96a284ce2b65f0109291f55cf6f85a24ac82d3d2262e666d86f65335c7d881f8f7f791468f22d6270ab70cf7ea120210082582fbb2828a7c715a6387bccae038fb84bc958239eaf26b30ca3ba6465b7bf85eb32678a4c0dfa8f1c0cd10923817d0f1f95353b7f566c1fd5d30a55e4b095899dc8b52e3dcf8961abfa26673715e44b5287f58775bba436f7fb172ceaafd9fb2b022943b4e7c7c0fdf4f0837e00147c44a7ae7534182a0792fc84a304d13fab53a00ef3fec4785f56f24ff86e1e00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000005a442640b5a314120a20a9a38cee7943f67fa57b1fae5c978d0f036ac42b72a100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002d931fbaad49604e3a0883decb171953673fe78fb6a9762ae42c811f72bb399b7bbc7dfa168cb2a02e69ee63097d19f48da9fdfe1793ce10e42bdbf0ed8cba0c117438676e9f26a2b6c76b3e19cac91635cbb5c23528c2d81ca6ea870d7d40200000000000000000000000000000000000000000000000000000000000000000
  23. =>
  24. 0000000000000000000000000000000000000000000000000000000000000000ddb9d06b72c0a8fee3397b9c36d81d74db76d9ad6bc3b6fbae966f0b3a405d1bf824b8ba4e8994033247df18463b89d346791fa86fb09ec6a9e083ed63e7f1070000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000031ccdbb19a3c75ec962eabccebbc86073b06af4cda4433058f40b3807784bf21
  25. # verify
  26. proof(proof)
  27. 0000000000000000000000000000000000000000000000000000000000000120
  28. 0000000000000000000000000000000000000000000000000000000000000000ddb9d06b72c0a8fee3397b9c36d81d74db76d9ad6bc3b6fbae966f0b3a405d1bf824b8ba4e8994033247df18463b89d346791fa86fb09ec6a9e083ed63e7f1070000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000031ccdbb19a3c75ec962eabccebbc86073b06af4cda4433058f40b3807784bf21
  29. proof(output)
  30. 0000000000000000000000000000000000000000000000000000000000000020
  31. 0000000000000000000000000000000000000000000000000000000000000003
  32. proof(all)
  33. 0000000000000000000000000000000000000000000000000000000000000180
  34. 00000000000000000000000000000000000000000000000000000000000001200000000000000000000000000000000000000000000000000000000000000000ddb9d06b72c0a8fee3397b9c36d81d74db76d9ad6bc3b6fbae966f0b3a405d1bf824b8ba4e8994033247df18463b89d346791fa86fb09ec6a9e083ed63e7f1070000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000031ccdbb19a3c75ec962eabccebbc86073b06af4cda4433058f40b3807784bf2100000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000003
  35. inparams:
  36. 0000000000000000000000000000000000000000000000000000000000000008
  37. 0000000100000002
  38. circuit:
  39. 0000000000000000000000000000000000000000000000000000000000000008
  40. 0002000001800002
  41. pubkey:
  42. 00000000000000000000000000000000000000000000000000000000000006ca
  43. 020000000500000000008500000000000091890000000000e7a73a000000801e6e170c0000c08fbff703882ee86c06ee7429e1e15fe6d840a671c5201352170f81e6199dcec112b9301200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000091a0c6525e75b7ee6d31b3443de65f6535fcaf0029aef6a0d2429e4b75300210000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000a6861230eb3d682601687df00fc0cb2125b23b0796c0e0ff2b046748a6bf131181b79bb384cac2e8e5cf6192ca95391924d31cb51b69856d389d894265915c9ca6861230eb3d682601687df00fc0cb2125b23b0796c0e0ff2b046748a6bf131181b79bb384cac2e8e5cf6192ca95391924d31cb51b69856d389d894265915c9c0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000833d184c04fb987b6ec49b628b53f75d7575cb660ad45afeba49956686b90da300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e0c91c3fcce0295a159d46e343ea4b1bf4858158fa924ebd33c6191df24a2c99e0c91c3fcce0295a159d46e343ea4b1bf4858158fa924ebd33c6191df24a2c99000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000ec76312bdc22f58c9dade14ab564b78b1846970464c26f5dbd3a48c73af4fc9aec76312bdc22f58c9dade14ab564b78b1846970464c26f5dbd3a48c73af4fc9a52287daeb46d13ef55e75d31935a0521a4c96510614947f93ec6f25a05e700009613dfd1ac3cb2d689c92e4a08d509e125e99a4c2a41004c1edc703af31eaf049e4521f1e41eb548ee5e2d3e6ed3aa98af15c977c946c91ae2364be98e7a511e4f17ef0ba4ef12b8cdef91c8496e7f9a205b9fa6f0c28aa1dc908d0c219c3022c89f234b8f0ac94be5a3c81ca579f7eae68026986fe2776bfd5e4b8ffd2c3b09276e21a0d10d39a3028f17e4a595880d7f10a5c07c2ce4621bb70ea71b0c8f21a96a284ce2b65f0109291f55cf6f85a24ac82d3d2262e666d86f65335c7d881f8f7f791468f22d6270ab70cf7ea120210082582fbb2828a7c715a6387bccae038fb84bc958239eaf26b30ca3ba6465b7bf85eb32678a4c0dfa8f1c0cd10923817d0f1f95353b7f566c1fd5d30a55e4b095899dc8b52e3dcf8961abfa26673715e44b5287f58775bba436f7fb172ceaafd9fb2b022943b4e7c7c0fdf4f0837e00147c44a7ae7534182a0792fc84a304d13fab53a00ef3fec4785f56f24ff86e1e00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000005a442640b5a314120a20a9a38cee7943f67fa57b1fae5c978d0f036ac42b72a100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002d931fbaad49604e3a0883decb171953673fe78fb6a9762ae42c811f72bb399b7bbc7dfa168cb2a02e69ee63097d19f48da9fdfe1793ce10e42bdbf0ed8cba0c117438676e9f26a2b6c76b3e19cac91635cbb5c23528c2d81ca6ea870d7d4020
  44. proof:
  45. 0000000000000000000000000000000000000000000000000000000000000180
  46. 00000000000000000000000000000000000000000000000000000000000001200000000000000000000000000000000000000000000000000000000000000000ddb9d06b72c0a8fee3397b9c36d81d74db76d9ad6bc3b6fbae966f0b3a405d1bf824b8ba4e8994033247df18463b89d346791fa86fb09ec6a9e083ed63e7f1070000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000031ccdbb19a3c75ec962eabccebbc86073b06af4cda4433058f40b3807784bf2100000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000003
  47. final:
  48. 000000000000000000000000000000000000000000000000000000000000000800000001000000020000000000000000000000000000000000000000000000000000000000000008000200000180000200000000000000000000000000000000000000000000000000000000000006ca020000000500000000008500000000000091890000000000e7a73a000000801e6e170c0000c08fbff703882ee86c06ee7429e1e15fe6d840a671c5201352170f81e6199dcec112b9301200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000091a0c6525e75b7ee6d31b3443de65f6535fcaf0029aef6a0d2429e4b75300210000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000a6861230eb3d682601687df00fc0cb2125b23b0796c0e0ff2b046748a6bf131181b79bb384cac2e8e5cf6192ca95391924d31cb51b69856d389d894265915c9ca6861230eb3d682601687df00fc0cb2125b23b0796c0e0ff2b046748a6bf131181b79bb384cac2e8e5cf6192ca95391924d31cb51b69856d389d894265915c9c0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000833d184c04fb987b6ec49b628b53f75d7575cb660ad45afeba49956686b90da300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e0c91c3fcce0295a159d46e343ea4b1bf4858158fa924ebd33c6191df24a2c99e0c91c3fcce0295a159d46e343ea4b1bf4858158fa924ebd33c6191df24a2c99000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000ec76312bdc22f58c9dade14ab564b78b1846970464c26f5dbd3a48c73af4fc9aec76312bdc22f58c9dade14ab564b78b1846970464c26f5dbd3a48c73af4fc9a52287daeb46d13ef55e75d31935a0521a4c96510614947f93ec6f25a05e700009613dfd1ac3cb2d689c92e4a08d509e125e99a4c2a41004c1edc703af31eaf049e4521f1e41eb548ee5e2d3e6ed3aa98af15c977c946c91ae2364be98e7a511e4f17ef0ba4ef12b8cdef91c8496e7f9a205b9fa6f0c28aa1dc908d0c219c3022c89f234b8f0ac94be5a3c81ca579f7eae68026986fe2776bfd5e4b8ffd2c3b09276e21a0d10d39a3028f17e4a595880d7f10a5c07c2ce4621bb70ea71b0c8f21a96a284ce2b65f0109291f55cf6f85a24ac82d3d2262e666d86f65335c7d881f8f7f791468f22d6270ab70cf7ea120210082582fbb2828a7c715a6387bccae038fb84bc958239eaf26b30ca3ba6465b7bf85eb32678a4c0dfa8f1c0cd10923817d0f1f95353b7f566c1fd5d30a55e4b095899dc8b52e3dcf8961abfa26673715e44b5287f58775bba436f7fb172ceaafd9fb2b022943b4e7c7c0fdf4f0837e00147c44a7ae7534182a0792fc84a304d13fab53a00ef3fec4785f56f24ff86e1e00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000005a442640b5a314120a20a9a38cee7943f67fa57b1fae5c978d0f036ac42b72a100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002d931fbaad49604e3a0883decb171953673fe78fb6a9762ae42c811f72bb399b7bbc7dfa168cb2a02e69ee63097d19f48da9fdfe1793ce10e42bdbf0ed8cba0c117438676e9f26a2b6c76b3e19cac91635cbb5c23528c2d81ca6ea870d7d4020000000000000000000000000000000000000000000000000000000000000018000000000000000000000000000000000000000000000000000000000000001200000000000000000000000000000000000000000000000000000000000000000ddb9d06b72c0a8fee3397b9c36d81d74db76d9ad6bc3b6fbae966f0b3a405d1bf824b8ba4e8994033247df18463b89d346791fa86fb09ec6a9e083ed63e7f1070000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000031ccdbb19a3c75ec962eabccebbc86073b06af4cda4433058f40b3807784bf2100000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000003