From 1f0dc0aa5ff284efab8178c899a2553ec7b80316 Mon Sep 17 00:00:00 2001 From: lash Date: Fri, 10 Feb 2023 14:30:25 +0000 Subject: [PATCH] Define expiry in terms of period --- .../data/DemurrageTokenSingleNocap.bin | 2 +- .../data/DemurrageTokenSingleNocap.json | 2 +- python/erc20_demurrage_token/expiry.py | 18 ++++++++++++++++-- python/tests/test_expiry.py | 19 ++++++++++++++----- solidity/DemurrageTokenSingleNocap.sol | 7 +++++-- 5 files changed, 37 insertions(+), 11 deletions(-) diff --git a/python/erc20_demurrage_token/data/DemurrageTokenSingleNocap.bin b/python/erc20_demurrage_token/data/DemurrageTokenSingleNocap.bin index 9e8189f..5b9b442 100644 --- a/python/erc20_demurrage_token/data/DemurrageTokenSingleNocap.bin +++ b/python/erc20_demurrage_token/data/DemurrageTokenSingleNocap.bin @@ -1 +1 @@ -60c06040523480156200001157600080fd5b5060405162005f3738038062005f37833981810160405281019062000037919062000909565b6801000000000000000083600f0b126200005057600080fd5b6200005a6200061e565b33600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506001600e6000600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550866006908162000126919062000c2a565b50856007908162000138919062000c2a565b508460ff166008819055504260038190555060035460808181525050603c8362000163919062000d40565b60a081815250506200018a60016200034f6401000000000262002b8d176401000000009004565b600260006101000a8154816fffffffffffffffffffffffffffffffff0219169083600f0b6fffffffffffffffffffffffffffffffff160217905550620001e484620003766401000000000262002bb3176401000000009004565b600d60006101000a8154816fffffffffffffffffffffffffffffffff0219169083600f0b6fffffffffffffffffffffffffffffffff1602179055506200024e6000600260009054906101000a9004600f0b60006001620003ca640100000000026401000000009004565b90506000819080600181540180825580915050600190039060005260206000200160009091909190915060008201518160000160006101000a81548163ffffffff021916908363ffffffff16021790555060208201518160000160046101000a81548168ffffffffffffffffff021916908368ffffffffffffffffff160217905550604082015181600001600d6101000a81548167ffffffffffffffff021916908367ffffffffffffffff160217905550505081601060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505050505050505062000d8b565b6000677fffffffffffffff8211156200036757600080fd5b6040829060020a029050919050565b60008082600f0b136200038857600080fd5b60806fb17217f7d1cf79abc9e3b39803f2f6af620003b5846200044e640100000000026401000000009004565b600f0b02908060020a82049150509050919050565b620003d46200061e565b620003de6200061e565b82816000019063ffffffff16908163ffffffff168152505083816020019068ffffffffffffffffff16908168ffffffffffffffffff168152505067ffffffffffffffff8516816040019067ffffffffffffffff16908167ffffffffffffffff168152505080915050949350505050565b60008082600f0b136200046057600080fd5b60008083600f0b90506801000000000000000081126200049c576040819060008212600003808260020a82851804189250505090506040820191505b6401000000008112620004cb576020819060008212600003808260020a82851804189250505090506020820191505b620100008112620004f8576010819060008212600003808260020a82851804189250505090506010820191505b610100811262000524576008819060008212600003808260020a82851804189250505090506008820191505b601081126200054f576004819060008212600003808260020a82851804189250505090506004820191505b600481126200057a576002819060008212600003808260020a82851804189250505090506002820191505b600281126200058a576001820191505b600060408084039060020a029050600083607f0386600f0b9060020a029050600067800000000000000090505b600081131562000611578182029150600060ff83908060020a8204915050905080607f0183908060020a8204915050925080820284019350506001819060008212600003808260020a8285180418925050509050620005b7565b5081945050505050919050565b6040518060600160405280600063ffffffff168152602001600068ffffffffffffffffff168152602001600067ffffffffffffffff1681525090565b6000604051905090565b600080fd5b600080fd5b600080fd5b600080fd5b6000601f19601f8301169050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b620006c38262000678565b810181811067ffffffffffffffff82111715620006e557620006e462000689565b5b80604052505050565b6000620006fa6200065a565b9050620007088282620006b8565b919050565b600067ffffffffffffffff8211156200072b576200072a62000689565b5b620007368262000678565b9050602081019050919050565b60005b838110156200076357808201518184015260208101905062000746565b60008484015250505050565b60006200078662000780846200070d565b620006ee565b905082815260208101848484011115620007a557620007a462000673565b5b620007b284828562000743565b509392505050565b600082601f830112620007d257620007d16200066e565b5b8151620007e48482602086016200076f565b91505092915050565b600060ff82169050919050565b6200080581620007ed565b81146200081157600080fd5b50565b6000815190506200082581620007fa565b92915050565b600081600f0b9050919050565b62000843816200082b565b81146200084f57600080fd5b50565b600081519050620008638162000838565b92915050565b6000819050919050565b6200087e8162000869565b81146200088a57600080fd5b50565b6000815190506200089e8162000873565b92915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000620008d182620008a4565b9050919050565b620008e381620008c4565b8114620008ef57600080fd5b50565b6000815190506200090381620008d8565b92915050565b60008060008060008060c0878903121562000929576200092862000664565b5b600087015167ffffffffffffffff8111156200094a576200094962000669565b5b6200095889828a01620007ba565b965050602087015167ffffffffffffffff8111156200097c576200097b62000669565b5b6200098a89828a01620007ba565b95505060406200099d89828a0162000814565b9450506060620009b089828a0162000852565b9350506080620009c389828a016200088d565b92505060a0620009d689828a01620008f2565b9150509295509295509295565b600081519050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168062000a3657607f821691505b60208210810362000a4c5762000a4b620009ee565b5b50919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b60008160020a8302905092915050565b60006008830262000ab97fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8262000a77565b62000ac5868362000a77565b95508019841693508086168417925050509392505050565b6000819050919050565b600062000b0862000b0262000afc8462000869565b62000add565b62000869565b9050919050565b6000819050919050565b62000b248362000ae7565b62000b3c62000b338262000b0f565b84845462000a87565b825550505050565b600090565b62000b5362000b44565b62000b6081848462000b19565b505050565b5b8181101562000b885762000b7c60008262000b49565b60018101905062000b66565b5050565b601f82111562000bd75762000ba18162000a52565b62000bac8462000a67565b8101602085101562000bbc578190505b62000bd462000bcb8562000a67565b83018262000b65565b50505b505050565b60008160020a8304905092915050565b600062000bff6000198460080262000bdc565b1980831691505092915050565b600062000c1a838362000bec565b9150826002028217905092915050565b62000c3582620009e3565b67ffffffffffffffff81111562000c515762000c5062000689565b5b62000c5d825462000a1d565b62000c6a82828562000b8c565b600060209050601f83116001811462000ca2576000841562000c8d578287015190505b62000c99858262000c0c565b86555062000d09565b601f19841662000cb28662000a52565b60005b8281101562000cdc5784890151825560018201915060208501945060208101905062000cb5565b8683101562000cfc578489015162000cf8601f89168262000bec565b8355505b6001600288020188555050505b505050505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600062000d4d8262000869565b915062000d5a8362000869565b925082820262000d6a8162000869565b9150828204841483151762000d845762000d8362000d11565b5b5092915050565b60805160a05161516362000dd460003960008181611a640152818161218a0152818161278c01526129ce015260008181611a90015281816129ef0152612a3401526151636000f3fe608060405234801561001057600080fd5b506004361061037a576000357c0100000000000000000000000000000000000000000000000000000000900480636787a9be116101f0578063983b2d5611610121578063d89135cd116100bf578063e809529511610099578063e809529514610b5d578063eda4e6d614610b7b578063f2fde38b14610b99578063f629620b14610bc95761037a565b8063d89135cd14610adf578063e54063a614610afd578063e69571af14610b2d5761037a565b8063b1cb0db3116100fb578063b1cb0db314610a55578063b470aade14610a73578063c0ab707714610a91578063d340ef8a14610ac15761037a565b8063983b2d56146109c5578063a457c2d7146109f5578063a9059cbb14610a255761037a565b806379ba50971161018e5780638da5cb5b116101685780638da5cb5b1461094f5780638f0b2d5d1461096d5780638f1df6bc1461098957806395d89b41146109a75761037a565b806379ba5097146108e357806384dde4af1461090157806386fe212d1461091f5761037a565b8063731f237c116101ca578063731f237c1461085957806373f42561146108775780637445e33a1461089557806374bedb95146108c55761037a565b80636787a9be146107c95780636a2d094e146107f957806370a08231146108295761037a565b80632c1758c1116102ca57806342966c68116102685780634abfbba2116102425780634abfbba21461072d57806351b4541c1461075d57806358b2833b1461078d5780635f408c04146107ab5761037a565b806342966c68146106b1578063449a52f8146106cd57806347a50517146106fd5761037a565b8063313ce567116102a4578063313ce5671461061357806331a5995d14610631578063395093511461064f57806340452d911461067f5761037a565b80632c1758c1146105835780633092afd5146105b357806331333487146105e35761037a565b806318cbbcfc11610337578063229ba19711610311578063229ba197146104d557806323a85944146104f357806323b872dd146105235780632a7aec09146105535761037a565b806318cbbcfc146104695780631989c6a814610487578063213d1e1e146104a55761037a565b806301ffc9a71461037f57806306fdde03146103af578063095ea7b3146103cd57806309f28f3c146103fd57806311c566151461041b57806318160ddd1461044b575b600080fd5b61039960048036038101906103949190614517565b610be5565b6040516103a6919061455f565b60405180910390f35b6103b7610d8b565b6040516103c4919061460a565b60405180910390f35b6103e760048036038101906103e291906146c0565b610e19565b6040516103f4919061455f565b60405180910390f35b610405611055565b604051610412919061471c565b60405180910390f35b61043560048036038101906104309190614763565b611068565b60405161044291906147b2565b60405180910390f35b6104536110b8565b60405161046091906147b2565b60405180910390f35b6104716110cf565b60405161047e91906147b2565b60405180910390f35b61048f6110d4565b60405161049c91906147b2565b60405180910390f35b6104bf60048036038101906104ba919061496e565b6110e0565b6040516104cc91906147b2565b60405180910390f35b6104dd6110f9565b6040516104ea919061471c565b60405180910390f35b61050d6004803603810190610508919061496e565b61110c565b60405161051a919061455f565b60405180910390f35b61053d6004803603810190610538919061499b565b611174565b60405161054a919061455f565b60405180910390f35b61056d6004803603810190610568919061496e565b611392565b60405161057a919061471c565b60405180910390f35b61059d600480360381019061059891906149ee565b6113ca565b6040516105aa919061455f565b60405180910390f35b6105cd60048036038101906105c89190614a1b565b6113fd565b6040516105da919061455f565b60405180910390f35b6105fd60048036038101906105f89190614a48565b611507565b60405161060a91906147b2565b60405180910390f35b61061b611573565b60405161062891906147b2565b60405180910390f35b610639611579565b60405161064691906147b2565b60405180910390f35b610669600480360381019061066491906146c0565b61157f565b604051610676919061455f565b60405180910390f35b610699600480360381019061069491906149ee565b611715565b6040516106a893929190614ab5565b60405180910390f35b6106cb60048036038101906106c691906149ee565b611784565b005b6106e760048036038101906106e291906146c0565b6118c0565b6040516106f4919061455f565b60405180910390f35b61071760048036038101906107129190614a1b565b611a17565b60405161072491906147b2565b60405180910390f35b610747600480360381019061074291906149ee565b611a60565b60405161075491906147b2565b60405180910390f35b610777600480360381019061077291906149ee565b611ac0565b60405161078491906147b2565b60405180910390f35b610795611ae1565b6040516107a291906147b2565b60405180910390f35b6107b3611ae7565b6040516107c09190614b08565b60405180910390f35b6107e360048036038101906107de91906149ee565b611bb4565b6040516107f091906147b2565b60405180910390f35b610813600480360381019061080e91906149ee565b611bf5565b60405161082091906147b2565b60405180910390f35b610843600480360381019061083e9190614a1b565b611c16565b60405161085091906147b2565b60405180910390f35b610861611c80565b60405161086e91906147b2565b60405180910390f35b61087f611c91565b60405161088c91906147b2565b60405180910390f35b6108af60048036038101906108aa919061496e565b611c97565b6040516108bc91906147b2565b60405180910390f35b6108cd611cc5565b6040516108da91906147b2565b60405180910390f35b6108eb611ccb565b6040516108f8919061455f565b60405180910390f35b610909611e72565b6040516109169190614b32565b60405180910390f35b610939600480360381019061093491906149ee565b611e98565b60405161094691906147b2565b60405180910390f35b610957611f77565b6040516109649190614b32565b60405180910390f35b61098760048036038101906109829190614a1b565b611f9d565b005b610991612052565b60405161099e919061455f565b60405180910390f35b6109af612302565b6040516109bc919061460a565b60405180910390f35b6109df60048036038101906109da9190614a1b565b612390565b6040516109ec919061455f565b60405180910390f35b610a0f6004803603810190610a0a91906146c0565b612464565b604051610a1c919061455f565b60405180910390f35b610a3f6004803603810190610a3a91906146c0565b612683565b604051610a4c919061455f565b60405180910390f35b610a5d612784565b604051610a6a91906147b2565b60405180910390f35b610a7b61278a565b604051610a8891906147b2565b60405180910390f35b610aab6004803603810190610aa691906149ee565b6127ae565b604051610ab891906147b2565b60405180910390f35b610ac9612924565b604051610ad691906147b2565b60405180910390f35b610ae761292a565b604051610af491906147b2565b60405180910390f35b610b176004803603810190610b12919061496e565b612934565b604051610b2491906147b2565b60405180910390f35b610b476004803603810190610b429190614b4d565b612948565b604051610b549190614c23565b60405180910390f35b610b656129c8565b604051610b729190614c69565b60405180910390f35b610b83612a32565b604051610b9091906147b2565b60405180910390f35b610bb36004803603810190610bae9190614a1b565b612a56565b604051610bc0919061455f565b60405180910390f35b610be36004803603810190610bde91906149ee565b612af8565b005b600063c6bb4b707c010000000000000000000000000000000000000000000000000000000002827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191603610c395760019050610d86565b63449a52f87c010000000000000000000000000000000000000000000000000000000002827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191603610c8b5760019050610d86565b6301ffc9a77c010000000000000000000000000000000000000000000000000000000002827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191603610cdd5760019050610d86565b639493f8b27c010000000000000000000000000000000000000000000000000000000002827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191603610d2f5760019050610d86565b6337a47be47c010000000000000000000000000000000000000000000000000000000002827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191603610d815760019050610d86565b600090505b919050565b60068054610d9890614cb3565b80601f0160208091040260200160405190810160405280929190818152602001828054610dc490614cb3565b8015610e115780601f10610de657610100808354040283529160200191610e11565b820191906000526020600020905b815481529060010190602001808311610df457829003601f168201915b505050505081565b6000806000610e26611ae7565b905060028160ff1603610e3e5760009250505061104f565b60008160ff161115610e85576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e7c90614d30565b60405180910390fd5b6000600f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541115610f4e5760008414610f4d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f4490614d9c565b60405180910390fd5b5b610f56612052565b50610f6084611bb4565b915081600f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508473ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258660405161104091906147b2565b60405180910390a36001925050505b92915050565b600260009054906101000a9004600f0b81565b60008061108f61107785612b8d565b61108a6110846001612b8d565b86612bf5565b612c5c565b905061109a81612cdb565b67ffffffffffffffff16846110af9190614deb565b91505092915050565b6000600c546009546110ca9190614deb565b905090565b600f81565b60008080549050905090565b6000816020015168ffffffffffffffffff169050919050565b600d60009054906101000a9004600f0b81565b600080826000015163ffffffff161115611129576000905061116f565b6000826020015168ffffffffffffffffff16111561114a576000905061116f565b6000826040015167ffffffffffffffff16111561116a576000905061116f565b600190505b919050565b600080600080611182611ae7565b905060028160ff160361119b576000935050505061138b565b60008160ff1611156111e2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111d990614d30565b60405180910390fd5b6111ea612052565b506111f485611bb4565b925082600f60008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101561127f57600080fd5b82600f60008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461130b9190614deb565b9250508190555061131d878785612d10565b91508573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8760405161137c91906147b2565b60405180910390a38193505050505b9392505050565b60008067ffffffffffffffff836040015160070b169050600081600f0b036113c1576113be6001612b8d565b90505b80915050919050565b6000600f82106113d957600080fd5b600082036113ee57600f6013541490506113f8565b8160135483161490505b919050565b600061140c600160ff166113ca565b1561141657600080fd5b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16148061149d57503373ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16145b6114a657600080fd5b6000600e60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555060019050919050565b60008060008061151686612b8d565b925061152185612b8d565b915061153c600d60009054906101000a9004600f0b83612c5c565b905061154781612d35565b90506115538382612c5c565b905061155e81612cdb565b67ffffffffffffffff16935050505092915050565b60085481565b60135481565b60008061158a612052565b5061159483611bb4565b905080600f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546116229190614e1f565b925050819055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205460405161170291906147b2565b60405180910390a3600191505092915050565b6000818154811061172557600080fd5b906000526020600020016000915090508060000160009054906101000a900463ffffffff16908060000160049054906101000a900468ffffffffffffffffff169080600001600d9054906101000a900467ffffffffffffffff16905083565b600061178e611ae7565b60ff161461179b57600080fd5b600e60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff166117f157600080fd5b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205481111561183d57600080fd5b600061184882611bb4565b90506118543382612dc2565b5081600c60008282546118679190614e1f565b925050819055503373ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5836040516118b491906147b2565b60405180910390a25050565b60008060006118cd611ae7565b60ff16146118da57600080fd5b600e60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16611966576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161195d90614e9f565b60405180910390fd5b61196e612052565b5061197883611bb4565b9050826009600082825461198c9190614e1f565b9250508190555061199d8482612ec9565b508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fab8530f87dc9b59234c4623bf917212bb2536d647574c8e7e5da92c2ede0c9f8856040516119fb91906147b2565b60405180910390a3611a0b612f8d565b50600191505092915050565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60007f000000000000000000000000000000000000000000000000000000000000000082611a8e9190614ebf565b7f0000000000000000000000000000000000000000000000000000000000000000611ab99190614e1f565b9050919050565b6000603c8242611ad09190614deb565b611ada9190614f30565b9050919050565b60035481565b6000601260009054906101000a900460ff1615611b075760019050611bb1565b600060115403611b1a5760009050611bb1565b6011544210611bac57611b47603c600354611b359190614f30565b601154611b429190614deb565b6127ae565b506001601260006101000a81548160ff0219169083151502179055507ff80dbaea4785589e52984ca36a31de106adc77759539a5c7d92883bf49692fe942604051611b9291906147b2565b60405180910390a1611ba2612052565b5060029050611bb1565b600090505b90565b600080611bd8611bc384612b8d565b600260009054906101000a9004600f0b613151565b9050611be381612cdb565b67ffffffffffffffff16915050919050565b6000603c8242611c059190614deb565b611c0f9190614f30565b9050919050565b6000806000806000611c2f611c2a87611a17565b612b8d565b9350611c3c600354611ac0565b9150611c5784600260009054906101000a9004600f0b612c5c565b9250611c75611c6584612cdb565b67ffffffffffffffff1683611507565b945050505050919050565b6000611c8c60006127ae565b905090565b600c5481565b6000806000611ca5846110e0565b9150611cb084611392565b9050611cbc8282611068565b92505050919050565b600b5481565b600080600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611d2857600080fd5b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35090565b601060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600060088210611edd576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611ed490614fad565b60405180910390fd5b6000601354831614611f24576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611f1b90615019565b60405180910390fd5b816013600082825417925050819055507fdd5e7cad9599c1dcaa8d5adcd88f157fc5fada62511c0d3edb1bfd3b778acc41601354604051611f6591906147b2565b60405180910390a16013549050919050565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b611faa600260ff166113ca565b15611fb457600080fd5b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461200e57600080fd5b80601060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600061205c614474565b612064614474565b61206c614474565b600080600080600061207c611c80565b506120856131dd565b97506120908861110c565b156120a6576000985050505050505050506122ff565b6000600a54815481106120bc576120bb615039565b5b906000526020600020016040518060600160405290816000820160009054906101000a900463ffffffff1663ffffffff1663ffffffff1681526020016000820160049054906101000a900468ffffffffffffffffff1668ffffffffffffffffff1668ffffffffffffffffff16815260200160008201600d9054906101000a900467ffffffffffffffff1667ffffffffffffffff1667ffffffffffffffff1681525050955061216988612934565b94506001856121789190614e1f565b905061218386611392565b9350603c857f00000000000000000000000000000000000000000000000000000000000000006121b39190614ebf565b6121bd9190614f30565b91506121e86121e3600d60009054906101000a9004600f0b6121de85612b8d565b612c5c565b612d35565b92506121fe6000846121f86110b8565b84612948565b96506000879080600181540180825580915050600190039060005260206000200160009091909190915060008201518160000160006101000a81548163ffffffff021916908363ffffffff16021790555060208201518160000160046101000a81548168ffffffffffffffffff021916908368ffffffffffffffffff160217905550604082015181600001600d6101000a81548167ffffffffffffffff021916908367ffffffffffffffff16021790555050506122ba87613373565b507f55d243082e019fce4009ccea5368b92e436c17586a1e793c7deda16df4e5d675816040516122ea91906147b2565b60405180910390a16001985050505050505050505b90565b6007805461230f90614cb3565b80601f016020809104026020016040519081016040528092919081815260200182805461233b90614cb3565b80156123885780601f1061235d57610100808354040283529160200191612388565b820191906000526020600020905b81548152906001019060200180831161236b57829003601f168201915b505050505081565b600061239f600160ff166113ca565b156123a957600080fd5b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461240357600080fd5b6001600e60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555060019050919050565b60008061247083611bb4565b905080600f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156124fb57600080fd5b612503612052565b5080600f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546125909190614deb565b925050819055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205460405161267091906147b2565b60405180910390a3600191505092915050565b600080600080612691611ae7565b905060028160ff16036126aa576000935050505061277e565b60008160ff1611156126f1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016126e890614d30565b60405180910390fd5b6126f9612052565b5061270385611bb4565b9250612710338785612d10565b91508573ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8760405161276f91906147b2565b60405180910390a38193505050505b92915050565b60115481565b7f000000000000000000000000000000000000000000000000000000000000000081565b6000806000806000601260009054906101000a900460ff16156127d857600094505050505061291f565b6127e3600354611ac0565b9250600083036127fa57600094505050505061291f565b600260009054906101000a9004600f0b905060008611801561281b57508286105b15612824578592505b61282d83612b8d565b9150612848600d60009054906101000a9004600f0b83612c5c565b935061285384612d35565b935061286e600260009054906101000a9004600f0b85612c5c565b600260006101000a8154816fffffffffffffffffffffffffffffffff0219169083600f0b6fffffffffffffffffffffffffffffffff160217905550603c836128b69190614ebf565b6003546128c39190614e1f565b60038190555080600f0b836003547f1c9c74563c32efd114cb36fb5e432d9386c8254d08456614804a33a3088ab736600260009054906101000a9004600f0b60405161290f919061471c565b60405180910390a4829450505050505b919050565b600a5481565b6000600c54905090565b6000816000015163ffffffff169050919050565b612950614474565b612958614474565b82816000019063ffffffff16908163ffffffff168152505083816020019068ffffffffffffffffff16908168ffffffffffffffffff168152505067ffffffffffffffff8516816040019067ffffffffffffffff16908167ffffffffffffffff168152505080915050949350505050565b600060017f00000000000000000000000000000000000000000000000000000000000000007f000000000000000000000000000000000000000000000000000000000000000042612a199190614deb565b612a239190614f30565b612a2d9190614e1f565b905090565b7f000000000000000000000000000000000000000000000000000000000000000081565b6000600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614612ab257600080fd5b81600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550919050565b612b05600460ff166113ca565b15612b0f57600080fd5b601260009054906101000a900460ff1615612b2957600080fd5b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614612b8357600080fd5b8060118190555050565b6000677fffffffffffffff821115612ba457600080fd5b6040829060020a029050919050565b60008082600f0b13612bc457600080fd5b60806fb17217f7d1cf79abc9e3b39803f2f6af612be084613492565b600f0b02908060020a82049150509050919050565b60008082600f0b84600f0b0390507fffffffffffffffffffffffffffffffff80000000000000000000000000000000600f0b8112158015612c4957506f7fffffffffffffffffffffffffffffff600f0b8113155b612c5257600080fd5b8091505092915050565b600080604083600f0b85600f0b029060008212600003808260020a82851804189250505090507fffffffffffffffffffffffffffffffff80000000000000000000000000000000600f0b8112158015612cc857506f7fffffffffffffffffffffffffffffff600f0b8113155b612cd157600080fd5b8091505092915050565b60008082600f0b1215612ced57600080fd5b604082600f0b9060008212600003808260020a8285180418925050509050919050565b600080612d1d8584612dc2565b50612d288484612ec9565b5060019150509392505050565b60006840000000000000000082600f0b12612d4f57600080fd5b7fffffffffffffffffffffffffffffffffffffffffffffffc0000000000000000082600f0b1215612d835760009050612dbd565b612dba6080700171547652b82fe1777d0ffda0d23a7d1284600f0b029060008212600003808260020a828518041892505050613658565b90505b919050565b600080600080600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905060008503612e1e5760009350505050612ec3565b612e2786611a17565b925084831015612e6c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612e63906150b4565b60405180910390fd5b8483612e789190614deb565b600160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600193505050505b92915050565b600080600080600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905060008503612f255760009350505050612f87565b612f2e86611a17565b92508483612f3c9190614e1f565b600160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600193505050505b92915050565b6000612f97614474565b6000612fa16110b8565b905060006001600080549050612fb79190614deb565b81548110612fc857612fc7615039565b5b906000526020600020016040518060600160405290816000820160009054906101000a900463ffffffff1663ffffffff1663ffffffff1681526020016000820160049054906101000a900468ffffffffffffffffff1668ffffffffffffffffff1668ffffffffffffffffff16815260200160008201600d9054906101000a900467ffffffffffffffff1667ffffffffffffffff1667ffffffffffffffff1681525050915080826020019068ffffffffffffffffff16908168ffffffffffffffffff168152505081600060016000805490506130a39190614deb565b815481106130b4576130b3615039565b5b9060005260206000200160008201518160000160006101000a81548163ffffffff021916908363ffffffff16021790555060208201518160000160046101000a81548168ffffffffffffffffff021916908368ffffffffffffffffff160217905550604082015181600001600d6101000a81548167ffffffffffffffff021916908367ffffffffffffffff16021790555090505060019250505090565b60008082600f0b0361316257600080fd5b600082600f0b604085600f0b9060020a028161318157613180614f01565b5b0590507fffffffffffffffffffffffffffffffff80000000000000000000000000000000600f0b81121580156131ca57506f7fffffffffffffffffffffffffffffff600f0b8113155b6131d357600080fd5b8091505092915050565b6131e5614474565b6131ed614474565b6131f5614474565b600080600a548154811061320c5761320b615039565b5b906000526020600020016040518060600160405290816000820160009054906101000a900463ffffffff1663ffffffff1663ffffffff1681526020016000820160049054906101000a900468ffffffffffffffffff1668ffffffffffffffffff1668ffffffffffffffffff16815260200160008201600d9054906101000a900467ffffffffffffffff1667ffffffffffffffff1667ffffffffffffffff168152505092503073ffffffffffffffffffffffffffffffffffffffff1663e80952956040518163ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401602060405180830381865afa158015613317573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061333b9190615100565b6fffffffffffffffffffffffffffffffff16905061335883612934565b811161336957819350505050613370565b8293505050505b90565b600080600061338184611c97565b6133896110b8565b6133939190614deb565b9150600b546133a183611bb4565b6133ab9190614deb565b90506133d9601060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1682612ec9565b50836000015163ffffffff16601060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f9a2a887706623ad3ff7fc85652deeceabe9fe1e00466c597972079ee91ea40d38460405161344d91906147b2565b60405180910390a36001600a60008282546134689190614e1f565b9250508190555080600b60008282546134819190614e1f565b925050819055508192505050919050565b60008082600f0b136134a357600080fd5b60008083600f0b90506801000000000000000081126134de576040819060008212600003808260020a82851804189250505090506040820191505b640100000000811261350c576020819060008212600003808260020a82851804189250505090506020820191505b620100008112613538576010819060008212600003808260020a82851804189250505090506010820191505b6101008112613563576008819060008212600003808260020a82851804189250505090506008820191505b6010811261358d576004819060008212600003808260020a82851804189250505090506004820191505b600481126135b7576002819060008212600003808260020a82851804189250505090506002820191505b600281126135c6576001820191505b600060408084039060020a029050600083607f0386600f0b9060020a029050600067800000000000000090505b600081131561364b578182029150600060ff83908060020a8204915050905080607f0183908060020a8204915050925080820284019350506001819060008212600003808260020a82851804189250505090506135f3565b5081945050505050919050565b60006840000000000000000082600f0b1261367257600080fd5b7fffffffffffffffffffffffffffffffffffffffffffffffc0000000000000000082600f0b12156136a6576000905061446f565b60006f80000000000000000000000000000000905060006780000000000000008416600f0b13156136f457608070016a09e667f3bcc908b2fb1366ea957d3e8202908060020a820491505090505b60006740000000000000008416600f0b131561372d5760807001306fe0a31b7152de8d5a46305c85edec8202908060020a820491505090505b60006720000000000000008416600f0b13156137665760807001172b83c7d517adcdf7c8c50eb14a791f8202908060020a820491505090505b60006710000000000000008416600f0b131561379f57608070010b5586cf9890f6298b92b71842a983638202908060020a820491505090505b60006708000000000000008416600f0b13156137d85760807001059b0d31585743ae7c548eb68ca417fd8202908060020a820491505090505b60006704000000000000008416600f0b1315613811576080700102c9a3e778060ee6f7caca4f7a29bde88202908060020a820491505090505b60006702000000000000008416600f0b131561384a57608070010163da9fb33356d84a66ae336dcdfa3f8202908060020a820491505090505b60006701000000000000008416600f0b1315613883576080700100b1afa5abcbed6129ab13ec11dc95438202908060020a820491505090505b600066800000000000008416600f0b13156138bb57608070010058c86da1c09ea1ff19d294cf2f679b8202908060020a820491505090505b600066400000000000008416600f0b13156138f35760807001002c605e2e8cec506d21bfc89a23a00f8202908060020a820491505090505b600066200000000000008416600f0b131561392b576080700100162f3904051fa128bca9c55c31e5df8202908060020a820491505090505b600066100000000000008416600f0b13156139635760807001000b175effdc76ba38e31671ca9397258202908060020a820491505090505b600066080000000000008416600f0b131561399b576080700100058ba01fb9f96d6cacd4b180917c3d8202908060020a820491505090505b600066040000000000008416600f0b13156139d357608070010002c5cc37da9491d0985c348c68e7b38202908060020a820491505090505b600066020000000000008416600f0b1315613a0b5760807001000162e525ee054754457d59952920268202908060020a820491505090505b600066010000000000008416600f0b1315613a4357608070010000b17255775c040618bf4a4ade83fc8202908060020a820491505090505b6000658000000000008416600f0b1315613a7a5760807001000058b91b5bc9ae2eed81e9b7d4cfab8202908060020a820491505090505b6000654000000000008416600f0b1315613ab1576080700100002c5c89d5ec6ca4d7c8acc017b7c98202908060020a820491505090505b6000652000000000008416600f0b1315613ae857608070010000162e43f4f831060e02d839a9d16d8202908060020a820491505090505b6000651000000000008416600f0b1315613b1f576080700100000b1721bcfc99d9f890ea069117638202908060020a820491505090505b6000650800000000008416600f0b1315613b5657608070010000058b90cf1e6d97f9ca14dbcc16288202908060020a820491505090505b6000650400000000008416600f0b1315613b8d5760807001000002c5c863b73f016468f6bac5ca2b8202908060020a820491505090505b6000650200000000008416600f0b1315613bc4576080700100000162e430e5a18f6119e3c02282a58202908060020a820491505090505b6000650100000000008416600f0b1315613bfb5760807001000000b1721835514b86e6d96efd1bfe8202908060020a820491505090505b60006480000000008416600f0b1315613c31576080700100000058b90c0b48c6be5df846c5b2ef8202908060020a820491505090505b60006440000000008416600f0b1315613c6757608070010000002c5c8601cc6b9e94213c72737a8202908060020a820491505090505b60006420000000008416600f0b1315613c9d5760807001000000162e42fff037df38aa2b219f068202908060020a820491505090505b60006410000000008416600f0b1315613cd357608070010000000b17217fba9c739aa5819f44f98202908060020a820491505090505b60006408000000008416600f0b1315613d095760807001000000058b90bfcdee5acd3c1cedc8238202908060020a820491505090505b60006404000000008416600f0b1315613d3f576080700100000002c5c85fe31f35a6a30da1be508202908060020a820491505090505b60006402000000008416600f0b1315613d7557608070010000000162e42ff0999ce3541b9fffcf8202908060020a820491505090505b60006401000000008416600f0b1315613dab576080700100000000b17217f80f4ef5aadda455548202908060020a820491505090505b600063800000008416600f0b1315613de057608070010000000058b90bfbf8479bd5a81b51ad8202908060020a820491505090505b600063400000008416600f0b1315613e155760807001000000002c5c85fdf84bd62ae30a74cc8202908060020a820491505090505b600063200000008416600f0b1315613e4a576080700100000000162e42fefb2fed257559bdaa8202908060020a820491505090505b600063100000008416600f0b1315613e7f5760807001000000000b17217f7d5a7716bba4a9ae8202908060020a820491505090505b600063080000008416600f0b1315613eb4576080700100000000058b90bfbe9ddbac5e109cce8202908060020a820491505090505b600063040000008416600f0b1315613ee957608070010000000002c5c85fdf4b15de6f17eb0d8202908060020a820491505090505b600063020000008416600f0b1315613f1e5760807001000000000162e42fefa494f1478fde058202908060020a820491505090505b600063010000008416600f0b1315613f5357608070010000000000b17217f7d20cf927c8e94c8202908060020a820491505090505b6000628000008416600f0b1315613f875760807001000000000058b90bfbe8f71cb4e4b33d8202908060020a820491505090505b6000624000008416600f0b1315613fbb576080700100000000002c5c85fdf477b662b269458202908060020a820491505090505b6000622000008416600f0b1315613fef57608070010000000000162e42fefa3ae53369388c8202908060020a820491505090505b6000621000008416600f0b1315614023576080700100000000000b17217f7d1d351a389d408202908060020a820491505090505b6000620800008416600f0b131561405757608070010000000000058b90bfbe8e8b2d3d4ede8202908060020a820491505090505b6000620400008416600f0b131561408b5760807001000000000002c5c85fdf4741bea6e77e8202908060020a820491505090505b6000620200008416600f0b13156140bf576080700100000000000162e42fefa39fe95583c28202908060020a820491505090505b6000620100008416600f0b13156140f35760807001000000000000b17217f7d1cfb72b45e18202908060020a820491505090505b60006180008416600f0b1315614126576080700100000000000058b90bfbe8e7cc35c3f08202908060020a820491505090505b60006140008416600f0b131561415957608070010000000000002c5c85fdf473e242ea388202908060020a820491505090505b60006120008416600f0b131561418c5760807001000000000000162e42fefa39f02b772c8202908060020a820491505090505b60006110008416600f0b13156141bf57608070010000000000000b17217f7d1cf7d83c1a8202908060020a820491505090505b60006108008416600f0b13156141f25760807001000000000000058b90bfbe8e7bdcbe2e8202908060020a820491505090505b60006104008416600f0b1315614225576080700100000000000002c5c85fdf473dea871f8202908060020a820491505090505b60006102008416600f0b131561425857608070010000000000000162e42fefa39ef44d918202908060020a820491505090505b60006101008416600f0b131561428b576080700100000000000000b17217f7d1cf79e9498202908060020a820491505090505b600060808416600f0b13156142bd57608070010000000000000058b90bfbe8e7bce5448202908060020a820491505090505b600060408416600f0b13156142ef5760807001000000000000002c5c85fdf473de6eca8202908060020a820491505090505b600060208416600f0b1315614321576080700100000000000000162e42fefa39ef366f8202908060020a820491505090505b600060108416600f0b13156143535760807001000000000000000b17217f7d1cf79afa8202908060020a820491505090505b600060088416600f0b1315614385576080700100000000000000058b90bfbe8e7bcd6d8202908060020a820491505090505b600060048416600f0b13156143b757608070010000000000000002c5c85fdf473de6b28202908060020a820491505090505b600060028416600f0b13156143e95760807001000000000000000162e42fefa39ef3588202908060020a820491505090505b600060018416600f0b131561441b57608070010000000000000000b17217f7d1cf79ab8202908060020a820491505090505b604083600f0b9060008212600003808260020a828518041892505050603f03600f0b81908060020a820491505090506f7fffffffffffffffffffffffffffffff600f0b81111561446a57600080fd5b809150505b919050565b6040518060600160405280600063ffffffff168152602001600068ffffffffffffffffff168152602001600067ffffffffffffffff1681525090565b6000604051905090565b600080fd5b60007fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b6144f4816144bf565b81146144ff57600080fd5b50565b600081359050614511816144eb565b92915050565b60006020828403121561452d5761452c6144ba565b5b600061453b84828501614502565b91505092915050565b60008115159050919050565b61455981614544565b82525050565b60006020820190506145746000830184614550565b92915050565b600081519050919050565b600082825260208201905092915050565b60005b838110156145b4578082015181840152602081019050614599565b60008484015250505050565b6000601f19601f8301169050919050565b60006145dc8261457a565b6145e68185614585565b93506145f6818560208601614596565b6145ff816145c0565b840191505092915050565b6000602082019050818103600083015261462481846145d1565b905092915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006146578261462c565b9050919050565b6146678161464c565b811461467257600080fd5b50565b6000813590506146848161465e565b92915050565b6000819050919050565b61469d8161468a565b81146146a857600080fd5b50565b6000813590506146ba81614694565b92915050565b600080604083850312156146d7576146d66144ba565b5b60006146e585828601614675565b92505060206146f6858286016146ab565b9150509250929050565b600081600f0b9050919050565b61471681614700565b82525050565b6000602082019050614731600083018461470d565b92915050565b61474081614700565b811461474b57600080fd5b50565b60008135905061475d81614737565b92915050565b6000806040838503121561477a576147796144ba565b5b6000614788858286016146ab565b92505060206147998582860161474e565b9150509250929050565b6147ac8161468a565b82525050565b60006020820190506147c760008301846147a3565b92915050565b600080fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b61480a826145c0565b810181811067ffffffffffffffff82111715614829576148286147d2565b5b80604052505050565b600061483c6144b0565b90506148488282614801565b919050565b600063ffffffff82169050919050565b6148668161484d565b811461487157600080fd5b50565b6000813590506148838161485d565b92915050565b600068ffffffffffffffffff82169050919050565b6148a781614889565b81146148b257600080fd5b50565b6000813590506148c48161489e565b92915050565b600067ffffffffffffffff82169050919050565b6148e7816148ca565b81146148f257600080fd5b50565b600081359050614904816148de565b92915050565b6000606082840312156149205761491f6147cd565b5b61492a6060614832565b9050600061493a84828501614874565b600083015250602061494e848285016148b5565b6020830152506040614962848285016148f5565b60408301525092915050565b600060608284031215614984576149836144ba565b5b60006149928482850161490a565b91505092915050565b6000806000606084860312156149b4576149b36144ba565b5b60006149c286828701614675565b93505060206149d386828701614675565b92505060406149e4868287016146ab565b9150509250925092565b600060208284031215614a0457614a036144ba565b5b6000614a12848285016146ab565b91505092915050565b600060208284031215614a3157614a306144ba565b5b6000614a3f84828501614675565b91505092915050565b60008060408385031215614a5f57614a5e6144ba565b5b6000614a6d858286016146ab565b9250506020614a7e858286016146ab565b9150509250929050565b614a918161484d565b82525050565b614aa081614889565b82525050565b614aaf816148ca565b82525050565b6000606082019050614aca6000830186614a88565b614ad76020830185614a97565b614ae46040830184614aa6565b949350505050565b600060ff82169050919050565b614b0281614aec565b82525050565b6000602082019050614b1d6000830184614af9565b92915050565b614b2c8161464c565b82525050565b6000602082019050614b476000830184614b23565b92915050565b60008060008060808587031215614b6757614b666144ba565b5b6000614b75878288016146ab565b9450506020614b868782880161474e565b9350506040614b97878288016146ab565b9250506060614ba8878288016146ab565b91505092959194509250565b614bbd8161484d565b82525050565b614bcc81614889565b82525050565b614bdb816148ca565b82525050565b606082016000820151614bf76000850182614bb4565b506020820151614c0a6020850182614bc3565b506040820151614c1d6040850182614bd2565b50505050565b6000606082019050614c386000830184614be1565b92915050565b60006fffffffffffffffffffffffffffffffff82169050919050565b614c6381614c3e565b82525050565b6000602082019050614c7e6000830184614c5a565b92915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680614ccb57607f821691505b602082108103614cde57614cdd614c84565b5b50919050565b7f4558504952454400000000000000000000000000000000000000000000000000600082015250565b6000614d1a600783614585565b9150614d2582614ce4565b602082019050919050565b60006020820190508181036000830152614d4981614d0d565b9050919050565b7f5a45524f5f464952535400000000000000000000000000000000000000000000600082015250565b6000614d86600a83614585565b9150614d9182614d50565b602082019050919050565b60006020820190508181036000830152614db581614d79565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000614df68261468a565b9150614e018361468a565b9250828203905081811115614e1957614e18614dbc565b5b92915050565b6000614e2a8261468a565b9150614e358361468a565b9250828201905080821115614e4d57614e4c614dbc565b5b92915050565b7f4552525f41434345535300000000000000000000000000000000000000000000600082015250565b6000614e89600a83614585565b9150614e9482614e53565b602082019050919050565b60006020820190508181036000830152614eb881614e7c565b9050919050565b6000614eca8261468a565b9150614ed58361468a565b9250828202614ee38161468a565b91508282048414831517614efa57614ef9614dbc565b5b5092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b6000614f3b8261468a565b9150614f468361468a565b925082614f5657614f55614f01565b5b828204905092915050565b7f4552525f494e56414c49445f5354415445000000000000000000000000000000600082015250565b6000614f97601183614585565b9150614fa282614f61565b602082019050919050565b60006020820190508181036000830152614fc681614f8a565b9050919050565b7f4552525f414c52454144595f4c4f434b45440000000000000000000000000000600082015250565b6000615003601283614585565b915061500e82614fcd565b602082019050919050565b6000602082019050818103600083015261503281614ff6565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4552525f4f5645525350454e4400000000000000000000000000000000000000600082015250565b600061509e600d83614585565b91506150a982615068565b602082019050919050565b600060208201905081810360008301526150cd81615091565b9050919050565b6150dd81614c3e565b81146150e857600080fd5b50565b6000815190506150fa816150d4565b92915050565b600060208284031215615116576151156144ba565b5b6000615124848285016150eb565b9150509291505056fea2646970667358221220e422c3c470e47ae50507101b474be1ed8c967783e71873a857dca314e06454ff64736f6c63430008110033 \ No newline at end of file +60c06040523480156200001157600080fd5b5060405162005f9b38038062005f9b833981810160405281019062000037919062000909565b6801000000000000000083600f0b126200005057600080fd5b6200005a6200061e565b33600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506001600e6000600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550866006908162000126919062000c2a565b50856007908162000138919062000c2a565b508460ff166008819055504260038190555060035460808181525050603c8362000163919062000d40565b60a081815250506200018a60016200034f6401000000000262002be3176401000000009004565b600260006101000a8154816fffffffffffffffffffffffffffffffff0219169083600f0b6fffffffffffffffffffffffffffffffff160217905550620001e484620003766401000000000262002c09176401000000009004565b600d60006101000a8154816fffffffffffffffffffffffffffffffff0219169083600f0b6fffffffffffffffffffffffffffffffff1602179055506200024e6000600260009054906101000a9004600f0b60006001620003ca640100000000026401000000009004565b90506000819080600181540180825580915050600190039060005260206000200160009091909190915060008201518160000160006101000a81548163ffffffff021916908363ffffffff16021790555060208201518160000160046101000a81548168ffffffffffffffffff021916908368ffffffffffffffffff160217905550604082015181600001600d6101000a81548167ffffffffffffffff021916908367ffffffffffffffff160217905550505081601060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505050505050505062000d8b565b6000677fffffffffffffff8211156200036757600080fd5b6040829060020a029050919050565b60008082600f0b136200038857600080fd5b60806fb17217f7d1cf79abc9e3b39803f2f6af620003b5846200044e640100000000026401000000009004565b600f0b02908060020a82049150509050919050565b620003d46200061e565b620003de6200061e565b82816000019063ffffffff16908163ffffffff168152505083816020019068ffffffffffffffffff16908168ffffffffffffffffff168152505067ffffffffffffffff8516816040019067ffffffffffffffff16908167ffffffffffffffff168152505080915050949350505050565b60008082600f0b136200046057600080fd5b60008083600f0b90506801000000000000000081126200049c576040819060008212600003808260020a82851804189250505090506040820191505b6401000000008112620004cb576020819060008212600003808260020a82851804189250505090506020820191505b620100008112620004f8576010819060008212600003808260020a82851804189250505090506010820191505b610100811262000524576008819060008212600003808260020a82851804189250505090506008820191505b601081126200054f576004819060008212600003808260020a82851804189250505090506004820191505b600481126200057a576002819060008212600003808260020a82851804189250505090506002820191505b600281126200058a576001820191505b600060408084039060020a029050600083607f0386600f0b9060020a029050600067800000000000000090505b600081131562000611578182029150600060ff83908060020a8204915050905080607f0183908060020a8204915050925080820284019350506001819060008212600003808260020a8285180418925050509050620005b7565b5081945050505050919050565b6040518060600160405280600063ffffffff168152602001600068ffffffffffffffffff168152602001600067ffffffffffffffff1681525090565b6000604051905090565b600080fd5b600080fd5b600080fd5b600080fd5b6000601f19601f8301169050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b620006c38262000678565b810181811067ffffffffffffffff82111715620006e557620006e462000689565b5b80604052505050565b6000620006fa6200065a565b9050620007088282620006b8565b919050565b600067ffffffffffffffff8211156200072b576200072a62000689565b5b620007368262000678565b9050602081019050919050565b60005b838110156200076357808201518184015260208101905062000746565b60008484015250505050565b60006200078662000780846200070d565b620006ee565b905082815260208101848484011115620007a557620007a462000673565b5b620007b284828562000743565b509392505050565b600082601f830112620007d257620007d16200066e565b5b8151620007e48482602086016200076f565b91505092915050565b600060ff82169050919050565b6200080581620007ed565b81146200081157600080fd5b50565b6000815190506200082581620007fa565b92915050565b600081600f0b9050919050565b62000843816200082b565b81146200084f57600080fd5b50565b600081519050620008638162000838565b92915050565b6000819050919050565b6200087e8162000869565b81146200088a57600080fd5b50565b6000815190506200089e8162000873565b92915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000620008d182620008a4565b9050919050565b620008e381620008c4565b8114620008ef57600080fd5b50565b6000815190506200090381620008d8565b92915050565b60008060008060008060c0878903121562000929576200092862000664565b5b600087015167ffffffffffffffff8111156200094a576200094962000669565b5b6200095889828a01620007ba565b965050602087015167ffffffffffffffff8111156200097c576200097b62000669565b5b6200098a89828a01620007ba565b95505060406200099d89828a0162000814565b9450506060620009b089828a0162000852565b9350506080620009c389828a016200088d565b92505060a0620009d689828a01620008f2565b9150509295509295509295565b600081519050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168062000a3657607f821691505b60208210810362000a4c5762000a4b620009ee565b5b50919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b60008160020a8302905092915050565b60006008830262000ab97fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8262000a77565b62000ac5868362000a77565b95508019841693508086168417925050509392505050565b6000819050919050565b600062000b0862000b0262000afc8462000869565b62000add565b62000869565b9050919050565b6000819050919050565b62000b248362000ae7565b62000b3c62000b338262000b0f565b84845462000a87565b825550505050565b600090565b62000b5362000b44565b62000b6081848462000b19565b505050565b5b8181101562000b885762000b7c60008262000b49565b60018101905062000b66565b5050565b601f82111562000bd75762000ba18162000a52565b62000bac8462000a67565b8101602085101562000bbc578190505b62000bd462000bcb8562000a67565b83018262000b65565b50505b505050565b60008160020a8304905092915050565b600062000bff6000198460080262000bdc565b1980831691505092915050565b600062000c1a838362000bec565b9150826002028217905092915050565b62000c3582620009e3565b67ffffffffffffffff81111562000c515762000c5062000689565b5b62000c5d825462000a1d565b62000c6a82828562000b8c565b600060209050601f83116001811462000ca2576000841562000c8d578287015190505b62000c99858262000c0c565b86555062000d09565b601f19841662000cb28662000a52565b60005b8281101562000cdc5784890151825560018201915060208501945060208101905062000cb5565b8683101562000cfc578489015162000cf8601f89168262000bec565b8355505b6001600288020188555050505b505050505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600062000d4d8262000869565b915062000d5a8362000869565b925082820262000d6a8162000869565b9150828204841483151762000d845762000d8362000d11565b5b5092915050565b60805160a0516151b962000de260003960008181611a640152818161218a0152818161278c015281816129b70152612ab9015260008181611a90015281816129e301528181612ada0152612b1f01526151b96000f3fe608060405234801561001057600080fd5b506004361061037a576000357c0100000000000000000000000000000000000000000000000000000000900480636787a9be116101f0578063983b2d5611610121578063d7a52fa9116100bf578063e69571af11610099578063e69571af14610b49578063e809529514610b79578063eda4e6d614610b97578063f2fde38b14610bb55761037a565b8063d7a52fa914610adf578063d89135cd14610afb578063e54063a614610b195761037a565b8063b1cb0db3116100fb578063b1cb0db314610a55578063b470aade14610a73578063c0ab707714610a91578063d340ef8a14610ac15761037a565b8063983b2d56146109c5578063a457c2d7146109f5578063a9059cbb14610a255761037a565b806379ba50971161018e5780638da5cb5b116101685780638da5cb5b1461094f5780638f0b2d5d1461096d5780638f1df6bc1461098957806395d89b41146109a75761037a565b806379ba5097146108e357806384dde4af1461090157806386fe212d1461091f5761037a565b8063731f237c116101ca578063731f237c1461085957806373f42561146108775780637445e33a1461089557806374bedb95146108c55761037a565b80636787a9be146107c95780636a2d094e146107f957806370a08231146108295761037a565b80632c1758c1116102ca57806342966c68116102685780634abfbba2116102425780634abfbba21461072d57806351b4541c1461075d57806358b2833b1461078d5780635f408c04146107ab5761037a565b806342966c68146106b1578063449a52f8146106cd57806347a50517146106fd5761037a565b8063313ce567116102a4578063313ce5671461061357806331a5995d14610631578063395093511461064f57806340452d911461067f5761037a565b80632c1758c1146105835780633092afd5146105b357806331333487146105e35761037a565b806318cbbcfc11610337578063229ba19711610311578063229ba197146104d557806323a85944146104f357806323b872dd146105235780632a7aec09146105535761037a565b806318cbbcfc146104695780631989c6a814610487578063213d1e1e146104a55761037a565b806301ffc9a71461037f57806306fdde03146103af578063095ea7b3146103cd57806309f28f3c146103fd57806311c566151461041b57806318160ddd1461044b575b600080fd5b6103996004803603810190610394919061456d565b610be5565b6040516103a691906145b5565b60405180910390f35b6103b7610d8b565b6040516103c49190614660565b60405180910390f35b6103e760048036038101906103e29190614716565b610e19565b6040516103f491906145b5565b60405180910390f35b610405611055565b6040516104129190614772565b60405180910390f35b610435600480360381019061043091906147b9565b611068565b6040516104429190614808565b60405180910390f35b6104536110b8565b6040516104609190614808565b60405180910390f35b6104716110cf565b60405161047e9190614808565b60405180910390f35b61048f6110d4565b60405161049c9190614808565b60405180910390f35b6104bf60048036038101906104ba91906149c4565b6110e0565b6040516104cc9190614808565b60405180910390f35b6104dd6110f9565b6040516104ea9190614772565b60405180910390f35b61050d600480360381019061050891906149c4565b61110c565b60405161051a91906145b5565b60405180910390f35b61053d600480360381019061053891906149f1565b611174565b60405161054a91906145b5565b60405180910390f35b61056d600480360381019061056891906149c4565b611392565b60405161057a9190614772565b60405180910390f35b61059d60048036038101906105989190614a44565b6113ca565b6040516105aa91906145b5565b60405180910390f35b6105cd60048036038101906105c89190614a71565b6113fd565b6040516105da91906145b5565b60405180910390f35b6105fd60048036038101906105f89190614a9e565b611507565b60405161060a9190614808565b60405180910390f35b61061b611573565b6040516106289190614808565b60405180910390f35b610639611579565b6040516106469190614808565b60405180910390f35b61066960048036038101906106649190614716565b61157f565b60405161067691906145b5565b60405180910390f35b61069960048036038101906106949190614a44565b611715565b6040516106a893929190614b0b565b60405180910390f35b6106cb60048036038101906106c69190614a44565b611784565b005b6106e760048036038101906106e29190614716565b6118c0565b6040516106f491906145b5565b60405180910390f35b61071760048036038101906107129190614a71565b611a17565b6040516107249190614808565b60405180910390f35b61074760048036038101906107429190614a44565b611a60565b6040516107549190614808565b60405180910390f35b61077760048036038101906107729190614a44565b611ac0565b6040516107849190614808565b60405180910390f35b610795611ae1565b6040516107a29190614808565b60405180910390f35b6107b3611ae7565b6040516107c09190614b5e565b60405180910390f35b6107e360048036038101906107de9190614a44565b611bb4565b6040516107f09190614808565b60405180910390f35b610813600480360381019061080e9190614a44565b611bf5565b6040516108209190614808565b60405180910390f35b610843600480360381019061083e9190614a71565b611c16565b6040516108509190614808565b60405180910390f35b610861611c80565b60405161086e9190614808565b60405180910390f35b61087f611c91565b60405161088c9190614808565b60405180910390f35b6108af60048036038101906108aa91906149c4565b611c97565b6040516108bc9190614808565b60405180910390f35b6108cd611cc5565b6040516108da9190614808565b60405180910390f35b6108eb611ccb565b6040516108f891906145b5565b60405180910390f35b610909611e72565b6040516109169190614b88565b60405180910390f35b61093960048036038101906109349190614a44565b611e98565b6040516109469190614808565b60405180910390f35b610957611f77565b6040516109649190614b88565b60405180910390f35b61098760048036038101906109829190614a71565b611f9d565b005b610991612052565b60405161099e91906145b5565b60405180910390f35b6109af612302565b6040516109bc9190614660565b60405180910390f35b6109df60048036038101906109da9190614a71565b612390565b6040516109ec91906145b5565b60405180910390f35b610a0f6004803603810190610a0a9190614716565b612464565b604051610a1c91906145b5565b60405180910390f35b610a3f6004803603810190610a3a9190614716565b612683565b604051610a4c91906145b5565b60405180910390f35b610a5d612784565b604051610a6a9190614808565b60405180910390f35b610a7b61278a565b604051610a889190614808565b60405180910390f35b610aab6004803603810190610aa69190614a44565b6127ae565b604051610ab89190614808565b60405180910390f35b610ac9612924565b604051610ad69190614808565b60405180910390f35b610af96004803603810190610af49190614a44565b61292a565b005b610b03612a15565b604051610b109190614808565b60405180910390f35b610b336004803603810190610b2e91906149c4565b612a1f565b604051610b409190614808565b60405180910390f35b610b636004803603810190610b5e9190614ba3565b612a33565b604051610b709190614c79565b60405180910390f35b610b81612ab3565b604051610b8e9190614cbf565b60405180910390f35b610b9f612b1d565b604051610bac9190614808565b60405180910390f35b610bcf6004803603810190610bca9190614a71565b612b41565b604051610bdc91906145b5565b60405180910390f35b600063c6bb4b707c010000000000000000000000000000000000000000000000000000000002827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191603610c395760019050610d86565b63449a52f87c010000000000000000000000000000000000000000000000000000000002827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191603610c8b5760019050610d86565b6301ffc9a77c010000000000000000000000000000000000000000000000000000000002827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191603610cdd5760019050610d86565b639493f8b27c010000000000000000000000000000000000000000000000000000000002827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191603610d2f5760019050610d86565b6337a47be47c010000000000000000000000000000000000000000000000000000000002827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191603610d815760019050610d86565b600090505b919050565b60068054610d9890614d09565b80601f0160208091040260200160405190810160405280929190818152602001828054610dc490614d09565b8015610e115780601f10610de657610100808354040283529160200191610e11565b820191906000526020600020905b815481529060010190602001808311610df457829003601f168201915b505050505081565b6000806000610e26611ae7565b905060028160ff1603610e3e5760009250505061104f565b60008160ff161115610e85576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e7c90614d86565b60405180910390fd5b6000600f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541115610f4e5760008414610f4d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f4490614df2565b60405180910390fd5b5b610f56612052565b50610f6084611bb4565b915081600f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508473ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925866040516110409190614808565b60405180910390a36001925050505b92915050565b600260009054906101000a9004600f0b81565b60008061108f61107785612be3565b61108a6110846001612be3565b86612c4b565b612cb2565b905061109a81612d31565b67ffffffffffffffff16846110af9190614e41565b91505092915050565b6000600c546009546110ca9190614e41565b905090565b600f81565b60008080549050905090565b6000816020015168ffffffffffffffffff169050919050565b600d60009054906101000a9004600f0b81565b600080826000015163ffffffff161115611129576000905061116f565b6000826020015168ffffffffffffffffff16111561114a576000905061116f565b6000826040015167ffffffffffffffff16111561116a576000905061116f565b600190505b919050565b600080600080611182611ae7565b905060028160ff160361119b576000935050505061138b565b60008160ff1611156111e2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111d990614d86565b60405180910390fd5b6111ea612052565b506111f485611bb4565b925082600f60008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101561127f57600080fd5b82600f60008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461130b9190614e41565b9250508190555061131d878785612d66565b91508573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8760405161137c9190614808565b60405180910390a38193505050505b9392505050565b60008067ffffffffffffffff836040015160070b169050600081600f0b036113c1576113be6001612be3565b90505b80915050919050565b6000600f82106113d957600080fd5b600082036113ee57600f6013541490506113f8565b8160135483161490505b919050565b600061140c600160ff166113ca565b1561141657600080fd5b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16148061149d57503373ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16145b6114a657600080fd5b6000600e60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555060019050919050565b60008060008061151686612be3565b925061152185612be3565b915061153c600d60009054906101000a9004600f0b83612cb2565b905061154781612d8b565b90506115538382612cb2565b905061155e81612d31565b67ffffffffffffffff16935050505092915050565b60085481565b60135481565b60008061158a612052565b5061159483611bb4565b905080600f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546116229190614e75565b925050819055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040516117029190614808565b60405180910390a3600191505092915050565b6000818154811061172557600080fd5b906000526020600020016000915090508060000160009054906101000a900463ffffffff16908060000160049054906101000a900468ffffffffffffffffff169080600001600d9054906101000a900467ffffffffffffffff16905083565b600061178e611ae7565b60ff161461179b57600080fd5b600e60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff166117f157600080fd5b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205481111561183d57600080fd5b600061184882611bb4565b90506118543382612e18565b5081600c60008282546118679190614e75565b925050819055503373ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5836040516118b49190614808565b60405180910390a25050565b60008060006118cd611ae7565b60ff16146118da57600080fd5b600e60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16611966576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161195d90614ef5565b60405180910390fd5b61196e612052565b5061197883611bb4565b9050826009600082825461198c9190614e75565b9250508190555061199d8482612f1f565b508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fab8530f87dc9b59234c4623bf917212bb2536d647574c8e7e5da92c2ede0c9f8856040516119fb9190614808565b60405180910390a3611a0b612fe3565b50600191505092915050565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60007f000000000000000000000000000000000000000000000000000000000000000082611a8e9190614f15565b7f0000000000000000000000000000000000000000000000000000000000000000611ab99190614e75565b9050919050565b6000603c8242611ad09190614e41565b611ada9190614f86565b9050919050565b60035481565b6000601260009054906101000a900460ff1615611b075760019050611bb1565b600060115403611b1a5760009050611bb1565b6011544210611bac57611b47603c600354611b359190614f86565b601154611b429190614e41565b6127ae565b506001601260006101000a81548160ff0219169083151502179055507ff80dbaea4785589e52984ca36a31de106adc77759539a5c7d92883bf49692fe942604051611b929190614808565b60405180910390a1611ba2612052565b5060029050611bb1565b600090505b90565b600080611bd8611bc384612be3565b600260009054906101000a9004600f0b6131a7565b9050611be381612d31565b67ffffffffffffffff16915050919050565b6000603c8242611c059190614e41565b611c0f9190614f86565b9050919050565b6000806000806000611c2f611c2a87611a17565b612be3565b9350611c3c600354611ac0565b9150611c5784600260009054906101000a9004600f0b612cb2565b9250611c75611c6584612d31565b67ffffffffffffffff1683611507565b945050505050919050565b6000611c8c60006127ae565b905090565b600c5481565b6000806000611ca5846110e0565b9150611cb084611392565b9050611cbc8282611068565b92505050919050565b600b5481565b600080600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611d2857600080fd5b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35090565b601060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600060088210611edd576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611ed490615003565b60405180910390fd5b6000601354831614611f24576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611f1b9061506f565b60405180910390fd5b816013600082825417925050819055507fdd5e7cad9599c1dcaa8d5adcd88f157fc5fada62511c0d3edb1bfd3b778acc41601354604051611f659190614808565b60405180910390a16013549050919050565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b611faa600260ff166113ca565b15611fb457600080fd5b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461200e57600080fd5b80601060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600061205c6144ca565b6120646144ca565b61206c6144ca565b600080600080600061207c611c80565b50612085613233565b97506120908861110c565b156120a6576000985050505050505050506122ff565b6000600a54815481106120bc576120bb61508f565b5b906000526020600020016040518060600160405290816000820160009054906101000a900463ffffffff1663ffffffff1663ffffffff1681526020016000820160049054906101000a900468ffffffffffffffffff1668ffffffffffffffffff1668ffffffffffffffffff16815260200160008201600d9054906101000a900467ffffffffffffffff1667ffffffffffffffff1667ffffffffffffffff1681525050955061216988612a1f565b94506001856121789190614e75565b905061218386611392565b9350603c857f00000000000000000000000000000000000000000000000000000000000000006121b39190614f15565b6121bd9190614f86565b91506121e86121e3600d60009054906101000a9004600f0b6121de85612be3565b612cb2565b612d8b565b92506121fe6000846121f86110b8565b84612a33565b96506000879080600181540180825580915050600190039060005260206000200160009091909190915060008201518160000160006101000a81548163ffffffff021916908363ffffffff16021790555060208201518160000160046101000a81548168ffffffffffffffffff021916908368ffffffffffffffffff160217905550604082015181600001600d6101000a81548167ffffffffffffffff021916908367ffffffffffffffff16021790555050506122ba876133c9565b507f55d243082e019fce4009ccea5368b92e436c17586a1e793c7deda16df4e5d675816040516122ea9190614808565b60405180910390a16001985050505050505050505b90565b6007805461230f90614d09565b80601f016020809104026020016040519081016040528092919081815260200182805461233b90614d09565b80156123885780601f1061235d57610100808354040283529160200191612388565b820191906000526020600020905b81548152906001019060200180831161236b57829003601f168201915b505050505081565b600061239f600160ff166113ca565b156123a957600080fd5b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461240357600080fd5b6001600e60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555060019050919050565b60008061247083611bb4565b905080600f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156124fb57600080fd5b612503612052565b5080600f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546125909190614e41565b925050819055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040516126709190614808565b60405180910390a3600191505092915050565b600080600080612691611ae7565b905060028160ff16036126aa576000935050505061277e565b60008160ff1611156126f1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016126e890614d86565b60405180910390fd5b6126f9612052565b5061270385611bb4565b9250612710338785612d66565b91508573ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8760405161276f9190614808565b60405180910390a38193505050505b92915050565b60115481565b7f000000000000000000000000000000000000000000000000000000000000000081565b6000806000806000601260009054906101000a900460ff16156127d857600094505050505061291f565b6127e3600354611ac0565b9250600083036127fa57600094505050505061291f565b600260009054906101000a9004600f0b905060008611801561281b57508286105b15612824578592505b61282d83612be3565b9150612848600d60009054906101000a9004600f0b83612cb2565b935061285384612d8b565b935061286e600260009054906101000a9004600f0b85612cb2565b600260006101000a8154816fffffffffffffffffffffffffffffffff0219169083600f0b6fffffffffffffffffffffffffffffffff160217905550603c836128b69190614f15565b6003546128c39190614e75565b60038190555080600f0b836003547f1c9c74563c32efd114cb36fb5e432d9386c8254d08456614804a33a3088ab736600260009054906101000a9004600f0b60405161290f9190614772565b60405180910390a4829450505050505b919050565b600a5481565b612937600460ff166113ca565b1561294157600080fd5b601260009054906101000a900460ff161561295b57600080fd5b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146129b557600080fd5b7f0000000000000000000000000000000000000000000000000000000000000000816129e19190614f15565b7f0000000000000000000000000000000000000000000000000000000000000000612a0c9190614e75565b60118190555050565b6000600c54905090565b6000816000015163ffffffff169050919050565b612a3b6144ca565b612a436144ca565b82816000019063ffffffff16908163ffffffff168152505083816020019068ffffffffffffffffff16908168ffffffffffffffffff168152505067ffffffffffffffff8516816040019067ffffffffffffffff16908167ffffffffffffffff168152505080915050949350505050565b600060017f00000000000000000000000000000000000000000000000000000000000000007f000000000000000000000000000000000000000000000000000000000000000042612b049190614e41565b612b0e9190614f86565b612b189190614e75565b905090565b7f000000000000000000000000000000000000000000000000000000000000000081565b6000600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614612b9d57600080fd5b81600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550919050565b6000677fffffffffffffff821115612bfa57600080fd5b6040829060020a029050919050565b60008082600f0b13612c1a57600080fd5b60806fb17217f7d1cf79abc9e3b39803f2f6af612c36846134e8565b600f0b02908060020a82049150509050919050565b60008082600f0b84600f0b0390507fffffffffffffffffffffffffffffffff80000000000000000000000000000000600f0b8112158015612c9f57506f7fffffffffffffffffffffffffffffff600f0b8113155b612ca857600080fd5b8091505092915050565b600080604083600f0b85600f0b029060008212600003808260020a82851804189250505090507fffffffffffffffffffffffffffffffff80000000000000000000000000000000600f0b8112158015612d1e57506f7fffffffffffffffffffffffffffffff600f0b8113155b612d2757600080fd5b8091505092915050565b60008082600f0b1215612d4357600080fd5b604082600f0b9060008212600003808260020a8285180418925050509050919050565b600080612d738584612e18565b50612d7e8484612f1f565b5060019150509392505050565b60006840000000000000000082600f0b12612da557600080fd5b7fffffffffffffffffffffffffffffffffffffffffffffffc0000000000000000082600f0b1215612dd95760009050612e13565b612e106080700171547652b82fe1777d0ffda0d23a7d1284600f0b029060008212600003808260020a8285180418925050506136ae565b90505b919050565b600080600080600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905060008503612e745760009350505050612f19565b612e7d86611a17565b925084831015612ec2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401612eb99061510a565b60405180910390fd5b8483612ece9190614e41565b600160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600193505050505b92915050565b600080600080600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905060008503612f7b5760009350505050612fdd565b612f8486611a17565b92508483612f929190614e75565b600160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600193505050505b92915050565b6000612fed6144ca565b6000612ff76110b8565b90506000600160008054905061300d9190614e41565b8154811061301e5761301d61508f565b5b906000526020600020016040518060600160405290816000820160009054906101000a900463ffffffff1663ffffffff1663ffffffff1681526020016000820160049054906101000a900468ffffffffffffffffff1668ffffffffffffffffff1668ffffffffffffffffff16815260200160008201600d9054906101000a900467ffffffffffffffff1667ffffffffffffffff1667ffffffffffffffff1681525050915080826020019068ffffffffffffffffff16908168ffffffffffffffffff168152505081600060016000805490506130f99190614e41565b8154811061310a5761310961508f565b5b9060005260206000200160008201518160000160006101000a81548163ffffffff021916908363ffffffff16021790555060208201518160000160046101000a81548168ffffffffffffffffff021916908368ffffffffffffffffff160217905550604082015181600001600d6101000a81548167ffffffffffffffff021916908367ffffffffffffffff16021790555090505060019250505090565b60008082600f0b036131b857600080fd5b600082600f0b604085600f0b9060020a02816131d7576131d6614f57565b5b0590507fffffffffffffffffffffffffffffffff80000000000000000000000000000000600f0b811215801561322057506f7fffffffffffffffffffffffffffffff600f0b8113155b61322957600080fd5b8091505092915050565b61323b6144ca565b6132436144ca565b61324b6144ca565b600080600a54815481106132625761326161508f565b5b906000526020600020016040518060600160405290816000820160009054906101000a900463ffffffff1663ffffffff1663ffffffff1681526020016000820160049054906101000a900468ffffffffffffffffff1668ffffffffffffffffff1668ffffffffffffffffff16815260200160008201600d9054906101000a900467ffffffffffffffff1667ffffffffffffffff1667ffffffffffffffff168152505092503073ffffffffffffffffffffffffffffffffffffffff1663e80952956040518163ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401602060405180830381865afa15801561336d573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906133919190615156565b6fffffffffffffffffffffffffffffffff1690506133ae83612a1f565b81116133bf578193505050506133c6565b8293505050505b90565b60008060006133d784611c97565b6133df6110b8565b6133e99190614e41565b9150600b546133f783611bb4565b6134019190614e41565b905061342f601060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1682612f1f565b50836000015163ffffffff16601060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f9a2a887706623ad3ff7fc85652deeceabe9fe1e00466c597972079ee91ea40d3846040516134a39190614808565b60405180910390a36001600a60008282546134be9190614e75565b9250508190555080600b60008282546134d79190614e75565b925050819055508192505050919050565b60008082600f0b136134f957600080fd5b60008083600f0b9050680100000000000000008112613534576040819060008212600003808260020a82851804189250505090506040820191505b6401000000008112613562576020819060008212600003808260020a82851804189250505090506020820191505b62010000811261358e576010819060008212600003808260020a82851804189250505090506010820191505b61010081126135b9576008819060008212600003808260020a82851804189250505090506008820191505b601081126135e3576004819060008212600003808260020a82851804189250505090506004820191505b6004811261360d576002819060008212600003808260020a82851804189250505090506002820191505b6002811261361c576001820191505b600060408084039060020a029050600083607f0386600f0b9060020a029050600067800000000000000090505b60008113156136a1578182029150600060ff83908060020a8204915050905080607f0183908060020a8204915050925080820284019350506001819060008212600003808260020a8285180418925050509050613649565b5081945050505050919050565b60006840000000000000000082600f0b126136c857600080fd5b7fffffffffffffffffffffffffffffffffffffffffffffffc0000000000000000082600f0b12156136fc57600090506144c5565b60006f80000000000000000000000000000000905060006780000000000000008416600f0b131561374a57608070016a09e667f3bcc908b2fb1366ea957d3e8202908060020a820491505090505b60006740000000000000008416600f0b13156137835760807001306fe0a31b7152de8d5a46305c85edec8202908060020a820491505090505b60006720000000000000008416600f0b13156137bc5760807001172b83c7d517adcdf7c8c50eb14a791f8202908060020a820491505090505b60006710000000000000008416600f0b13156137f557608070010b5586cf9890f6298b92b71842a983638202908060020a820491505090505b60006708000000000000008416600f0b131561382e5760807001059b0d31585743ae7c548eb68ca417fd8202908060020a820491505090505b60006704000000000000008416600f0b1315613867576080700102c9a3e778060ee6f7caca4f7a29bde88202908060020a820491505090505b60006702000000000000008416600f0b13156138a057608070010163da9fb33356d84a66ae336dcdfa3f8202908060020a820491505090505b60006701000000000000008416600f0b13156138d9576080700100b1afa5abcbed6129ab13ec11dc95438202908060020a820491505090505b600066800000000000008416600f0b131561391157608070010058c86da1c09ea1ff19d294cf2f679b8202908060020a820491505090505b600066400000000000008416600f0b13156139495760807001002c605e2e8cec506d21bfc89a23a00f8202908060020a820491505090505b600066200000000000008416600f0b1315613981576080700100162f3904051fa128bca9c55c31e5df8202908060020a820491505090505b600066100000000000008416600f0b13156139b95760807001000b175effdc76ba38e31671ca9397258202908060020a820491505090505b600066080000000000008416600f0b13156139f1576080700100058ba01fb9f96d6cacd4b180917c3d8202908060020a820491505090505b600066040000000000008416600f0b1315613a2957608070010002c5cc37da9491d0985c348c68e7b38202908060020a820491505090505b600066020000000000008416600f0b1315613a615760807001000162e525ee054754457d59952920268202908060020a820491505090505b600066010000000000008416600f0b1315613a9957608070010000b17255775c040618bf4a4ade83fc8202908060020a820491505090505b6000658000000000008416600f0b1315613ad05760807001000058b91b5bc9ae2eed81e9b7d4cfab8202908060020a820491505090505b6000654000000000008416600f0b1315613b07576080700100002c5c89d5ec6ca4d7c8acc017b7c98202908060020a820491505090505b6000652000000000008416600f0b1315613b3e57608070010000162e43f4f831060e02d839a9d16d8202908060020a820491505090505b6000651000000000008416600f0b1315613b75576080700100000b1721bcfc99d9f890ea069117638202908060020a820491505090505b6000650800000000008416600f0b1315613bac57608070010000058b90cf1e6d97f9ca14dbcc16288202908060020a820491505090505b6000650400000000008416600f0b1315613be35760807001000002c5c863b73f016468f6bac5ca2b8202908060020a820491505090505b6000650200000000008416600f0b1315613c1a576080700100000162e430e5a18f6119e3c02282a58202908060020a820491505090505b6000650100000000008416600f0b1315613c515760807001000000b1721835514b86e6d96efd1bfe8202908060020a820491505090505b60006480000000008416600f0b1315613c87576080700100000058b90c0b48c6be5df846c5b2ef8202908060020a820491505090505b60006440000000008416600f0b1315613cbd57608070010000002c5c8601cc6b9e94213c72737a8202908060020a820491505090505b60006420000000008416600f0b1315613cf35760807001000000162e42fff037df38aa2b219f068202908060020a820491505090505b60006410000000008416600f0b1315613d2957608070010000000b17217fba9c739aa5819f44f98202908060020a820491505090505b60006408000000008416600f0b1315613d5f5760807001000000058b90bfcdee5acd3c1cedc8238202908060020a820491505090505b60006404000000008416600f0b1315613d95576080700100000002c5c85fe31f35a6a30da1be508202908060020a820491505090505b60006402000000008416600f0b1315613dcb57608070010000000162e42ff0999ce3541b9fffcf8202908060020a820491505090505b60006401000000008416600f0b1315613e01576080700100000000b17217f80f4ef5aadda455548202908060020a820491505090505b600063800000008416600f0b1315613e3657608070010000000058b90bfbf8479bd5a81b51ad8202908060020a820491505090505b600063400000008416600f0b1315613e6b5760807001000000002c5c85fdf84bd62ae30a74cc8202908060020a820491505090505b600063200000008416600f0b1315613ea0576080700100000000162e42fefb2fed257559bdaa8202908060020a820491505090505b600063100000008416600f0b1315613ed55760807001000000000b17217f7d5a7716bba4a9ae8202908060020a820491505090505b600063080000008416600f0b1315613f0a576080700100000000058b90bfbe9ddbac5e109cce8202908060020a820491505090505b600063040000008416600f0b1315613f3f57608070010000000002c5c85fdf4b15de6f17eb0d8202908060020a820491505090505b600063020000008416600f0b1315613f745760807001000000000162e42fefa494f1478fde058202908060020a820491505090505b600063010000008416600f0b1315613fa957608070010000000000b17217f7d20cf927c8e94c8202908060020a820491505090505b6000628000008416600f0b1315613fdd5760807001000000000058b90bfbe8f71cb4e4b33d8202908060020a820491505090505b6000624000008416600f0b1315614011576080700100000000002c5c85fdf477b662b269458202908060020a820491505090505b6000622000008416600f0b131561404557608070010000000000162e42fefa3ae53369388c8202908060020a820491505090505b6000621000008416600f0b1315614079576080700100000000000b17217f7d1d351a389d408202908060020a820491505090505b6000620800008416600f0b13156140ad57608070010000000000058b90bfbe8e8b2d3d4ede8202908060020a820491505090505b6000620400008416600f0b13156140e15760807001000000000002c5c85fdf4741bea6e77e8202908060020a820491505090505b6000620200008416600f0b1315614115576080700100000000000162e42fefa39fe95583c28202908060020a820491505090505b6000620100008416600f0b13156141495760807001000000000000b17217f7d1cfb72b45e18202908060020a820491505090505b60006180008416600f0b131561417c576080700100000000000058b90bfbe8e7cc35c3f08202908060020a820491505090505b60006140008416600f0b13156141af57608070010000000000002c5c85fdf473e242ea388202908060020a820491505090505b60006120008416600f0b13156141e25760807001000000000000162e42fefa39f02b772c8202908060020a820491505090505b60006110008416600f0b131561421557608070010000000000000b17217f7d1cf7d83c1a8202908060020a820491505090505b60006108008416600f0b13156142485760807001000000000000058b90bfbe8e7bdcbe2e8202908060020a820491505090505b60006104008416600f0b131561427b576080700100000000000002c5c85fdf473dea871f8202908060020a820491505090505b60006102008416600f0b13156142ae57608070010000000000000162e42fefa39ef44d918202908060020a820491505090505b60006101008416600f0b13156142e1576080700100000000000000b17217f7d1cf79e9498202908060020a820491505090505b600060808416600f0b131561431357608070010000000000000058b90bfbe8e7bce5448202908060020a820491505090505b600060408416600f0b13156143455760807001000000000000002c5c85fdf473de6eca8202908060020a820491505090505b600060208416600f0b1315614377576080700100000000000000162e42fefa39ef366f8202908060020a820491505090505b600060108416600f0b13156143a95760807001000000000000000b17217f7d1cf79afa8202908060020a820491505090505b600060088416600f0b13156143db576080700100000000000000058b90bfbe8e7bcd6d8202908060020a820491505090505b600060048416600f0b131561440d57608070010000000000000002c5c85fdf473de6b28202908060020a820491505090505b600060028416600f0b131561443f5760807001000000000000000162e42fefa39ef3588202908060020a820491505090505b600060018416600f0b131561447157608070010000000000000000b17217f7d1cf79ab8202908060020a820491505090505b604083600f0b9060008212600003808260020a828518041892505050603f03600f0b81908060020a820491505090506f7fffffffffffffffffffffffffffffff600f0b8111156144c057600080fd5b809150505b919050565b6040518060600160405280600063ffffffff168152602001600068ffffffffffffffffff168152602001600067ffffffffffffffff1681525090565b6000604051905090565b600080fd5b60007fffffffff0000000000000000000000000000000000000000000000000000000082169050919050565b61454a81614515565b811461455557600080fd5b50565b60008135905061456781614541565b92915050565b60006020828403121561458357614582614510565b5b600061459184828501614558565b91505092915050565b60008115159050919050565b6145af8161459a565b82525050565b60006020820190506145ca60008301846145a6565b92915050565b600081519050919050565b600082825260208201905092915050565b60005b8381101561460a5780820151818401526020810190506145ef565b60008484015250505050565b6000601f19601f8301169050919050565b6000614632826145d0565b61463c81856145db565b935061464c8185602086016145ec565b61465581614616565b840191505092915050565b6000602082019050818103600083015261467a8184614627565b905092915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006146ad82614682565b9050919050565b6146bd816146a2565b81146146c857600080fd5b50565b6000813590506146da816146b4565b92915050565b6000819050919050565b6146f3816146e0565b81146146fe57600080fd5b50565b600081359050614710816146ea565b92915050565b6000806040838503121561472d5761472c614510565b5b600061473b858286016146cb565b925050602061474c85828601614701565b9150509250929050565b600081600f0b9050919050565b61476c81614756565b82525050565b60006020820190506147876000830184614763565b92915050565b61479681614756565b81146147a157600080fd5b50565b6000813590506147b38161478d565b92915050565b600080604083850312156147d0576147cf614510565b5b60006147de85828601614701565b92505060206147ef858286016147a4565b9150509250929050565b614802816146e0565b82525050565b600060208201905061481d60008301846147f9565b92915050565b600080fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b61486082614616565b810181811067ffffffffffffffff8211171561487f5761487e614828565b5b80604052505050565b6000614892614506565b905061489e8282614857565b919050565b600063ffffffff82169050919050565b6148bc816148a3565b81146148c757600080fd5b50565b6000813590506148d9816148b3565b92915050565b600068ffffffffffffffffff82169050919050565b6148fd816148df565b811461490857600080fd5b50565b60008135905061491a816148f4565b92915050565b600067ffffffffffffffff82169050919050565b61493d81614920565b811461494857600080fd5b50565b60008135905061495a81614934565b92915050565b60006060828403121561497657614975614823565b5b6149806060614888565b90506000614990848285016148ca565b60008301525060206149a48482850161490b565b60208301525060406149b88482850161494b565b60408301525092915050565b6000606082840312156149da576149d9614510565b5b60006149e884828501614960565b91505092915050565b600080600060608486031215614a0a57614a09614510565b5b6000614a18868287016146cb565b9350506020614a29868287016146cb565b9250506040614a3a86828701614701565b9150509250925092565b600060208284031215614a5a57614a59614510565b5b6000614a6884828501614701565b91505092915050565b600060208284031215614a8757614a86614510565b5b6000614a95848285016146cb565b91505092915050565b60008060408385031215614ab557614ab4614510565b5b6000614ac385828601614701565b9250506020614ad485828601614701565b9150509250929050565b614ae7816148a3565b82525050565b614af6816148df565b82525050565b614b0581614920565b82525050565b6000606082019050614b206000830186614ade565b614b2d6020830185614aed565b614b3a6040830184614afc565b949350505050565b600060ff82169050919050565b614b5881614b42565b82525050565b6000602082019050614b736000830184614b4f565b92915050565b614b82816146a2565b82525050565b6000602082019050614b9d6000830184614b79565b92915050565b60008060008060808587031215614bbd57614bbc614510565b5b6000614bcb87828801614701565b9450506020614bdc878288016147a4565b9350506040614bed87828801614701565b9250506060614bfe87828801614701565b91505092959194509250565b614c13816148a3565b82525050565b614c22816148df565b82525050565b614c3181614920565b82525050565b606082016000820151614c4d6000850182614c0a565b506020820151614c606020850182614c19565b506040820151614c736040850182614c28565b50505050565b6000606082019050614c8e6000830184614c37565b92915050565b60006fffffffffffffffffffffffffffffffff82169050919050565b614cb981614c94565b82525050565b6000602082019050614cd46000830184614cb0565b92915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b60006002820490506001821680614d2157607f821691505b602082108103614d3457614d33614cda565b5b50919050565b7f4558504952454400000000000000000000000000000000000000000000000000600082015250565b6000614d706007836145db565b9150614d7b82614d3a565b602082019050919050565b60006020820190508181036000830152614d9f81614d63565b9050919050565b7f5a45524f5f464952535400000000000000000000000000000000000000000000600082015250565b6000614ddc600a836145db565b9150614de782614da6565b602082019050919050565b60006020820190508181036000830152614e0b81614dcf565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000614e4c826146e0565b9150614e57836146e0565b9250828203905081811115614e6f57614e6e614e12565b5b92915050565b6000614e80826146e0565b9150614e8b836146e0565b9250828201905080821115614ea357614ea2614e12565b5b92915050565b7f4552525f41434345535300000000000000000000000000000000000000000000600082015250565b6000614edf600a836145db565b9150614eea82614ea9565b602082019050919050565b60006020820190508181036000830152614f0e81614ed2565b9050919050565b6000614f20826146e0565b9150614f2b836146e0565b9250828202614f39816146e0565b91508282048414831517614f5057614f4f614e12565b5b5092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b6000614f91826146e0565b9150614f9c836146e0565b925082614fac57614fab614f57565b5b828204905092915050565b7f4552525f494e56414c49445f5354415445000000000000000000000000000000600082015250565b6000614fed6011836145db565b9150614ff882614fb7565b602082019050919050565b6000602082019050818103600083015261501c81614fe0565b9050919050565b7f4552525f414c52454144595f4c4f434b45440000000000000000000000000000600082015250565b60006150596012836145db565b915061506482615023565b602082019050919050565b600060208201905081810360008301526150888161504c565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4552525f4f5645525350454e4400000000000000000000000000000000000000600082015250565b60006150f4600d836145db565b91506150ff826150be565b602082019050919050565b60006020820190508181036000830152615123816150e7565b9050919050565b61513381614c94565b811461513e57600080fd5b50565b6000815190506151508161512a565b92915050565b60006020828403121561516c5761516b614510565b5b600061517a84828501615141565b9150509291505056fea2646970667358221220d6351777218bf30eca2e84cf0c363162805780e3cf9d358d670ec4d60f71974864736f6c63430008110033 \ No newline at end of file diff --git a/python/erc20_demurrage_token/data/DemurrageTokenSingleNocap.json b/python/erc20_demurrage_token/data/DemurrageTokenSingleNocap.json index 8dc667f..27040b2 100644 --- a/python/erc20_demurrage_token/data/DemurrageTokenSingleNocap.json +++ b/python/erc20_demurrage_token/data/DemurrageTokenSingleNocap.json @@ -1 +1 @@ -[{"inputs":[{"internalType":"string","name":"_name","type":"string"},{"internalType":"string","name":"_symbol","type":"string"},{"internalType":"uint8","name":"_decimals","type":"uint8"},{"internalType":"int128","name":"_taxLevel","type":"int128"},{"internalType":"uint256","name":"_periodMinutes","type":"uint256"},{"internalType":"address","name":"_defaultSinkAddress","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_owner","type":"address"},{"indexed":true,"internalType":"address","name":"_spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"_value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_burner","type":"address"},{"indexed":false,"internalType":"uint256","name":"_value","type":"uint256"}],"name":"Burn","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"int128","name":"_foo","type":"int128"},{"indexed":true,"internalType":"uint256","name":"_bar","type":"uint256"}],"name":"Debug","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"_period","type":"uint256"},{"indexed":true,"internalType":"uint256","name":"_periodCount","type":"uint256"},{"indexed":true,"internalType":"int128","name":"_oldAmount","type":"int128"},{"indexed":false,"internalType":"int128","name":"_newAmount","type":"int128"}],"name":"Decayed","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_timestamp","type":"uint256"}],"name":"Expired","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_minter","type":"address"},{"indexed":true,"internalType":"address","name":"_beneficiary","type":"address"},{"indexed":false,"internalType":"uint256","name":"_value","type":"uint256"}],"name":"Mint","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_period","type":"uint256"}],"name":"Period","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_account","type":"address"},{"indexed":true,"internalType":"uint256","name":"_period","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"_value","type":"uint256"}],"name":"Redistribution","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_sealState","type":"uint256"}],"name":"SealStateChange","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_from","type":"address"},{"indexed":true,"internalType":"address","name":"_to","type":"address"},{"indexed":false,"internalType":"uint256","name":"_value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"acceptOwnership","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"actualPeriod","outputs":[{"internalType":"uint128","name":"","type":"uint128"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_minter","type":"address"}],"name":"addMinter","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"applyDemurrage","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_rounds","type":"uint256"}],"name":"applyDemurrageLimited","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"applyExpiry","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_spender","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_account","type":"address"}],"name":"baseBalanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"burned","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"changePeriod","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_value","type":"uint256"},{"internalType":"uint256","name":"_period","type":"uint256"}],"name":"decayBy","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_spender","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"demurrageAmount","outputs":[{"internalType":"int128","name":"","type":"int128"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_target","type":"uint256"}],"name":"demurrageCycles","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"demurrageTimestamp","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"expires","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_supply","type":"uint256"},{"internalType":"int128","name":"_demurrageAmount","type":"int128"}],"name":"getDistribution","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"components":[{"internalType":"uint32","name":"period","type":"uint32"},{"internalType":"uint72","name":"value","type":"uint72"},{"internalType":"uint64","name":"demurrage","type":"uint64"}],"internalType":"struct DemurrageTokenSingleCap.redistributionItem","name":"_redistribution","type":"tuple"}],"name":"getDistributionFromRedistribution","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_lastTimestamp","type":"uint256"}],"name":"getMinutesDelta","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_periodCount","type":"uint256"}],"name":"getPeriodTimeDelta","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_spender","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"components":[{"internalType":"uint32","name":"period","type":"uint32"},{"internalType":"uint72","name":"value","type":"uint72"},{"internalType":"uint64","name":"demurrage","type":"uint64"}],"internalType":"struct DemurrageTokenSingleCap.redistributionItem","name":"_redistribution","type":"tuple"}],"name":"isEmptyRedistribution","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"uint256","name":"_state","type":"uint256"}],"name":"isSealed","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"lastPeriod","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"maxSealState","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_beneficiary","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"mintTo","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"periodDuration","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"periodStart","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"redistributionCount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"redistributions","outputs":[{"internalType":"uint32","name":"period","type":"uint32"},{"internalType":"uint72","name":"value","type":"uint72"},{"internalType":"uint64","name":"demurrage","type":"uint64"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_minter","type":"address"}],"name":"removeMinter","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_state","type":"uint256"}],"name":"seal","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"sealState","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_expires","type":"uint256"}],"name":"setExpires","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_sinkAddress","type":"address"}],"name":"setSinkAddress","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"sinkAddress","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes4","name":"_sum","type":"bytes4"}],"name":"supportsInterface","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"taxLevel","outputs":[{"internalType":"int128","name":"","type":"int128"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"toBaseAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_participants","type":"uint256"},{"internalType":"int128","name":"_demurrageModifier","type":"int128"},{"internalType":"uint256","name":"_value","type":"uint256"},{"internalType":"uint256","name":"_period","type":"uint256"}],"name":"toRedistribution","outputs":[{"components":[{"internalType":"uint32","name":"period","type":"uint32"},{"internalType":"uint72","name":"value","type":"uint72"},{"internalType":"uint64","name":"demurrage","type":"uint64"}],"internalType":"struct DemurrageTokenSingleCap.redistributionItem","name":"","type":"tuple"}],"stateMutability":"pure","type":"function"},{"inputs":[{"components":[{"internalType":"uint32","name":"period","type":"uint32"},{"internalType":"uint72","name":"value","type":"uint72"},{"internalType":"uint64","name":"demurrage","type":"uint64"}],"internalType":"struct DemurrageTokenSingleCap.redistributionItem","name":"_redistribution","type":"tuple"}],"name":"toRedistributionDemurrageModifier","outputs":[{"internalType":"int128","name":"","type":"int128"}],"stateMutability":"pure","type":"function"},{"inputs":[{"components":[{"internalType":"uint32","name":"period","type":"uint32"},{"internalType":"uint72","name":"value","type":"uint72"},{"internalType":"uint64","name":"demurrage","type":"uint64"}],"internalType":"struct DemurrageTokenSingleCap.redistributionItem","name":"_redistribution","type":"tuple"}],"name":"toRedistributionPeriod","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"components":[{"internalType":"uint32","name":"period","type":"uint32"},{"internalType":"uint72","name":"value","type":"uint72"},{"internalType":"uint64","name":"demurrage","type":"uint64"}],"internalType":"struct DemurrageTokenSingleCap.redistributionItem","name":"_redistribution","type":"tuple"}],"name":"toRedistributionSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalBurned","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSink","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_from","type":"address"},{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_newOwner","type":"address"}],"name":"transferOwnership","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}] +[{"inputs":[{"internalType":"string","name":"_name","type":"string"},{"internalType":"string","name":"_symbol","type":"string"},{"internalType":"uint8","name":"_decimals","type":"uint8"},{"internalType":"int128","name":"_taxLevel","type":"int128"},{"internalType":"uint256","name":"_periodMinutes","type":"uint256"},{"internalType":"address","name":"_defaultSinkAddress","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_owner","type":"address"},{"indexed":true,"internalType":"address","name":"_spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"_value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_burner","type":"address"},{"indexed":false,"internalType":"uint256","name":"_value","type":"uint256"}],"name":"Burn","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"int128","name":"_foo","type":"int128"},{"indexed":true,"internalType":"uint256","name":"_bar","type":"uint256"}],"name":"Debug","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"_period","type":"uint256"},{"indexed":true,"internalType":"uint256","name":"_periodCount","type":"uint256"},{"indexed":true,"internalType":"int128","name":"_oldAmount","type":"int128"},{"indexed":false,"internalType":"int128","name":"_newAmount","type":"int128"}],"name":"Decayed","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_timestamp","type":"uint256"}],"name":"Expired","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_minter","type":"address"},{"indexed":true,"internalType":"address","name":"_beneficiary","type":"address"},{"indexed":false,"internalType":"uint256","name":"_value","type":"uint256"}],"name":"Mint","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_period","type":"uint256"}],"name":"Period","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_account","type":"address"},{"indexed":true,"internalType":"uint256","name":"_period","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"_value","type":"uint256"}],"name":"Redistribution","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_sealState","type":"uint256"}],"name":"SealStateChange","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_from","type":"address"},{"indexed":true,"internalType":"address","name":"_to","type":"address"},{"indexed":false,"internalType":"uint256","name":"_value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"acceptOwnership","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"actualPeriod","outputs":[{"internalType":"uint128","name":"","type":"uint128"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_minter","type":"address"}],"name":"addMinter","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"applyDemurrage","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_rounds","type":"uint256"}],"name":"applyDemurrageLimited","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"applyExpiry","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_spender","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_account","type":"address"}],"name":"baseBalanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"burned","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"changePeriod","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_value","type":"uint256"},{"internalType":"uint256","name":"_period","type":"uint256"}],"name":"decayBy","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_spender","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"demurrageAmount","outputs":[{"internalType":"int128","name":"","type":"int128"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_target","type":"uint256"}],"name":"demurrageCycles","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"demurrageTimestamp","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"expires","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_supply","type":"uint256"},{"internalType":"int128","name":"_demurrageAmount","type":"int128"}],"name":"getDistribution","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"components":[{"internalType":"uint32","name":"period","type":"uint32"},{"internalType":"uint72","name":"value","type":"uint72"},{"internalType":"uint64","name":"demurrage","type":"uint64"}],"internalType":"struct DemurrageTokenSingleCap.redistributionItem","name":"_redistribution","type":"tuple"}],"name":"getDistributionFromRedistribution","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_lastTimestamp","type":"uint256"}],"name":"getMinutesDelta","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_periodCount","type":"uint256"}],"name":"getPeriodTimeDelta","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_spender","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"components":[{"internalType":"uint32","name":"period","type":"uint32"},{"internalType":"uint72","name":"value","type":"uint72"},{"internalType":"uint64","name":"demurrage","type":"uint64"}],"internalType":"struct DemurrageTokenSingleCap.redistributionItem","name":"_redistribution","type":"tuple"}],"name":"isEmptyRedistribution","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"uint256","name":"_state","type":"uint256"}],"name":"isSealed","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"lastPeriod","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"maxSealState","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_beneficiary","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"mintTo","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"periodDuration","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"periodStart","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"redistributionCount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"redistributions","outputs":[{"internalType":"uint32","name":"period","type":"uint32"},{"internalType":"uint72","name":"value","type":"uint72"},{"internalType":"uint64","name":"demurrage","type":"uint64"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_minter","type":"address"}],"name":"removeMinter","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_state","type":"uint256"}],"name":"seal","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"sealState","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_expirePeriod","type":"uint256"}],"name":"setExpirePeriod","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_sinkAddress","type":"address"}],"name":"setSinkAddress","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"sinkAddress","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes4","name":"_sum","type":"bytes4"}],"name":"supportsInterface","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"taxLevel","outputs":[{"internalType":"int128","name":"","type":"int128"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"toBaseAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_participants","type":"uint256"},{"internalType":"int128","name":"_demurrageModifier","type":"int128"},{"internalType":"uint256","name":"_value","type":"uint256"},{"internalType":"uint256","name":"_period","type":"uint256"}],"name":"toRedistribution","outputs":[{"components":[{"internalType":"uint32","name":"period","type":"uint32"},{"internalType":"uint72","name":"value","type":"uint72"},{"internalType":"uint64","name":"demurrage","type":"uint64"}],"internalType":"struct DemurrageTokenSingleCap.redistributionItem","name":"","type":"tuple"}],"stateMutability":"pure","type":"function"},{"inputs":[{"components":[{"internalType":"uint32","name":"period","type":"uint32"},{"internalType":"uint72","name":"value","type":"uint72"},{"internalType":"uint64","name":"demurrage","type":"uint64"}],"internalType":"struct DemurrageTokenSingleCap.redistributionItem","name":"_redistribution","type":"tuple"}],"name":"toRedistributionDemurrageModifier","outputs":[{"internalType":"int128","name":"","type":"int128"}],"stateMutability":"pure","type":"function"},{"inputs":[{"components":[{"internalType":"uint32","name":"period","type":"uint32"},{"internalType":"uint72","name":"value","type":"uint72"},{"internalType":"uint64","name":"demurrage","type":"uint64"}],"internalType":"struct DemurrageTokenSingleCap.redistributionItem","name":"_redistribution","type":"tuple"}],"name":"toRedistributionPeriod","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"components":[{"internalType":"uint32","name":"period","type":"uint32"},{"internalType":"uint72","name":"value","type":"uint72"},{"internalType":"uint64","name":"demurrage","type":"uint64"}],"internalType":"struct DemurrageTokenSingleCap.redistributionItem","name":"_redistribution","type":"tuple"}],"name":"toRedistributionSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalBurned","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSink","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_from","type":"address"},{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_newOwner","type":"address"}],"name":"transferOwnership","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}] diff --git a/python/erc20_demurrage_token/expiry.py b/python/erc20_demurrage_token/expiry.py index 7e0d5a2..aa7c643 100644 --- a/python/erc20_demurrage_token/expiry.py +++ b/python/erc20_demurrage_token/expiry.py @@ -6,13 +6,16 @@ from chainlib.eth.tx import ( from chainlib.eth.contract import ( ABIContractEncoder, ABIContractType, + abi_decode_single, ) +from chainlib.eth.constant import ZERO_ADDRESS + class ExpiryContract(TxFactory): - def set_expires(self, contract_address, sender_address, expire_timestamp, tx_format=TxFormat.JSONRPC): + def set_expires_period(self, contract_address, sender_address, expire_timestamp, tx_format=TxFormat.JSONRPC): enc = ABIContractEncoder() - enc.method('setExpires') + enc.method('setExpirePeriod') enc.typ(ABIContractType.UINT256) enc.uint256(expire_timestamp) data = enc.get() @@ -20,3 +23,14 @@ class ExpiryContract(TxFactory): tx = self.set_code(tx, data) tx = self.finalize(tx, tx_format) return tx + + + def expires(self, contract_address, sender_address=ZERO_ADDRESS): + return self.call_noarg('expires', contract_address, sender_address=sender_address) + + + @classmethod + def parse_expires(self, v): + return abi_decode_single(ABIContractType.UINT256, v) + + diff --git a/python/tests/test_expiry.py b/python/tests/test_expiry.py index 8cb7220..4ebe6e1 100644 --- a/python/tests/test_expiry.py +++ b/python/tests/test_expiry.py @@ -37,19 +37,22 @@ class TestExpire(TestDemurrageDefault): (tx_hash, o) = c.mint_to(self.address, self.accounts[0], self.accounts[i+1], mint_amount) r = self.rpc.do(o) - targetish_time = self.start_time + (self.period_seconds * 2) - (tx_hash, o) = c.set_expires(self.address, self.accounts[0], targetish_time) + (tx_hash, o) = c.set_expires_period(self.address, self.accounts[0], 2) r = self.rpc.do(o) o = receipt(tx_hash) r = self.rpc.do(o) self.assertEqual(r['status'], 1) - self.backend.time_travel(targetish_time + 60) + o = c.expires(self.address, sender_address=self.accounts[0]) + r = self.rpc.do(o) + expiry_time = c.parse_expires(r) + + self.backend.time_travel(expiry_time + 60) o = block_latest() r = self.rpc.do(o) o = block_by_number(r) r = self.rpc.do(o) - self.assertGreaterEqual(r['timestamp'], targetish_time) + self.assertGreaterEqual(r['timestamp'], expiry_time) nonce_oracle = RPCNonceOracle(self.sink_address, self.rpc) c = DemurrageToken(self.chain_spec, signer=self.signer, nonce_oracle=nonce_oracle) @@ -59,6 +62,12 @@ class TestExpire(TestDemurrageDefault): r = self.rpc.do(o) self.assertEqual(r['status'], 1) + (tx_hash, o) = c.transfer(self.address, self.sink_address, self.accounts[2], 1) + r = self.rpc.do(o) + o = receipt(tx_hash) + r = self.rpc.do(o) + self.assertEqual(r['status'], 0) + o = c.balance_of(self.address, self.accounts[1], sender_address=self.accounts[0]) r = self.rpc.do(o) balance = c.parse_balance(r) @@ -78,7 +87,7 @@ class TestExpire(TestDemurrageDefault): r = self.rpc.do(o) balance = c.parse_balance(r) - o = c.decay_by(self.address, supply, int((targetish_time - self.start_time) / 60), sender_address=self.sink_address) + o = c.decay_by(self.address, supply, int((expiry_time - self.start_time) / 60), sender_address=self.sink_address) r = self.rpc.do(o) target_balance = c.parse_balance(r) diff --git a/solidity/DemurrageTokenSingleNocap.sol b/solidity/DemurrageTokenSingleNocap.sol index 1e0bf95..140e7f8 100644 --- a/solidity/DemurrageTokenSingleNocap.sol +++ b/solidity/DemurrageTokenSingleNocap.sol @@ -170,11 +170,11 @@ contract DemurrageTokenSingleCap { return _state & sealState == _state; } - function setExpires(uint256 _expires) public { + function setExpirePeriod(uint256 _expirePeriod) public { require(!isSealed(EXPIRY_STATE)); require(!expired); require(msg.sender == owner); - expires = _expires; + expires = periodStart + (_expirePeriod * periodDuration); } @@ -185,6 +185,9 @@ contract DemurrageTokenSingleCap { sinkAddress = _sinkAddress; } + // Expire the contract if expire is set and we have gone over the threshold. + // Finalizes demurrage up to the timestamp of the expiry. + // The first approve, transfer or transferFrom call that hits the ex == 2 will get the tx mined. but without the actual effect. Otherwise we would have to wait until an external egent called applyExpiry to get the correct final balance. function applyExpiry() public returns(uint8) { if (expired) { return 1;