Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface ERC20If
•    - function balanceOf(address _who)
•    - function transfer(address _to, uint25 ...
•  contract MultiSig *
•    - function getMessageToSignature(addres ...
•    - function recoverAddress(bytes32 messa ...
•    - function hash(bytes memory data)
•    - function _validAddress(address addr)
•    - function spend(address payable[] memo ...
•    - function withdrawAll()
•    - function close()
•    - function transferERC20(address payabl ...
•    - function verifySignature4ERC20Token(a ...
•    - function getMessageToSignature4ERC20T ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2021-05-26
*/

//SPDX-License-Identifier: MIT
pragma solidity ^0.7.3;
pragma experimental SMTChecker;


interface ERC20If {
  function balanceOf(address _who) external view returns (uint256);
  function transfer(address _to, uint256 _value) external returns (bool);
}

contract MultiSig{
    receive() external payable {}

    uint256 public nonce = 0;

    int private withdrawFlag1 = 0;
    int private withdrawFlag2 = 0;
    int private withdrawFlag3 = 0;

    int private closeFlag1 = 0;
    int private closeFlag2 = 0;
    int private closeFlag3 = 0;

    address[] private owners=new address[](3);

    constructor(address _owner1,address _owner2,address _owner3)
    {
        require(_owner1!=_owner2);
        require(_owner1!=_owner3);
        require(_owner2!=_owner3);

        owners[0] = _owner1;
        owners[1] = _owner2;
        owners[2] = _owner3;
    }

    fallback() external payable {}

    function getMessageToSignature(address payable[] memory dests, uint256[] memory values) private view returns (bytes memory) {
        return abi.encode(nonce, dests, values, this);
    }

//测试使用
//    function testABIEncode(address[] memory dests, uint256[] memory values,
  //                  uint8 v1, bytes32 r1, bytes32 s1,
    //                uint8 v2, bytes32 r2, bytes32 s2) public view returns (bytes memory) {
      //  return abi.encode(dests, values,v1,r1, s1, v2, r2, s2);
    //}

    function recoverAddress(bytes32 message, uint8 v, bytes32 r, bytes32 s) private pure returns (address) {
        return ecrecover(message, v, r, s);
    }

    function hash(bytes memory data) private pure returns (bytes32) {
        return sha256(data);
    }

    function _validAddress(address addr) private view returns (bool) {
        return owners[0] == addr || owners[1] == addr || owners[2] == addr;
    }

    function spend(address payable[] memory dests, uint256[] memory values,
                    uint8 v1, bytes32 r1, bytes32 s1,
                    uint8 v2, bytes32 r2, bytes32 s2) public payable {
        require(dests.length > 0 && dests.length == values.length);
        uint256  value;
        for (uint i = 0; i < values.length; ++i){
            value += values[i];
            assert(value >= values[i]);
        }
        require(address(this).balance >= value, "insufficient funds");

        bytes32 h=hash((getMessageToSignature(dests, values)));
        address addr1=recoverAddress(h, v1, r1, s1);
        address addr2=recoverAddress(h, v2, r2, s2);
        require(addr1 != addr2, "failed to recover address");
        require(_validAddress(addr1), "invalid address");
        require(_validAddress(addr2), "invalid address");
        nonce = nonce + 1;

        for (uint i = 0; i < dests.length; ++i) {
            // dests[i].transfer(values[i]);
            (bool success, ) =dests[i].call{value:values[i]}("");
            require(success, "transfer failed.");
        }
    }

    function withdrawAll() public payable {
        require(_validAddress(msg.sender), "invalid address");
        if (msg.sender == owners[0]) {
            withdrawFlag1 = 1;
        }
        else if (msg.sender == owners[1]) {
            withdrawFlag2 = 1;
        }
        else if (msg.sender == owners[2]) {
            withdrawFlag3 = 1;
        }
        else {
                assert(false);
        }

        if ((withdrawFlag1+withdrawFlag2+withdrawFlag3)>=2) {
            withdrawFlag1 = 0;
            withdrawFlag2 = 0;
            withdrawFlag3 = 0;
            (bool success, ) = msg.sender.call{value:address(this).balance}("");
            if (!success) {
               revert("withdraw all failed");
            }
        }
    }

    function close() public payable {
        require(_validAddress(msg.sender), "invalid address");
        if (msg.sender == owners[0]) {
            closeFlag1 = 1;
        }
        else if (msg.sender == owners[1]) {
            closeFlag2 = 1;
        }
        else if (msg.sender == owners[2]) {
            closeFlag3 = 1;
        }
        else {
                assert(false);
            }

        if ((closeFlag1+closeFlag2+closeFlag3)>=2){
            selfdestruct(msg.sender);
        }
    }

    function transferERC20(address payable[] memory dests, uint256[] memory values,
                    uint8 v1, bytes32 r1, bytes32 s1,
                    uint8 v2, bytes32 r2, bytes32 s2, address erc20Token) public  {
        require(dests.length > 0 && dests.length == values.length);
        uint256  value;
        for (uint i = 0; i < values.length; ++i){
            value += values[i];
            assert(value >= values[i]);
        }
        ERC20If _erc20=(ERC20If)(erc20Token);
        require(_erc20.balanceOf(address(this)) >= value, "insufficient ERC20 funds");

        require(
            verifySignature4ERC20Token(dests,values,v1,r1,s1,v2,r2,s2,erc20Token),
            "invalid signature.");

        nonce = nonce + 1;

        for (uint i = 0; i < dests.length; ++i) {
            require(
                (_erc20).transfer(dests[i],values[i]),
                 "transfer erc20Token failed");
        }
    }

    function verifySignature4ERC20Token(address payable[] memory dests, uint256[] memory values,
                    uint8 v1, bytes32 r1, bytes32 s1,
                    uint8 v2, bytes32 r2, bytes32 s2, address erc20) private view returns (bool) {
        bytes32 h=hash(getMessageToSignature4ERC20Token(dests, values,erc20));
        address addr1=recoverAddress(h, v1, r1, s1);
        address addr2=recoverAddress(h, v2, r2, s2);
        require(addr1 != addr2, "failed to recover address");
        require(_validAddress(addr1), "invalid address");
        require(_validAddress(addr2), "invalid address");
        return true;
    }

    function getMessageToSignature4ERC20Token(address payable[] memory dests,
    uint256[] memory values, address erc20) public view returns (bytes memory) {
        return abi.encode(nonce, dests, values, erc20);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_owner1","type":"address"},{"internalType":"address","name":"_owner2","type":"address"},{"internalType":"address","name":"_owner3","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"stateMutability":"payable","type":"fallback"},{"inputs":[],"name":"close","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"address payable[]","name":"dests","type":"address[]"},{"internalType":"uint256[]","name":"values","type":"uint256[]"},{"internalType":"address","name":"erc20","type":"address"}],"name":"getMessageToSignature4ERC20Token","outputs":[{"internalType":"bytes","name":"","type":"bytes"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"nonce","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address payable[]","name":"dests","type":"address[]"},{"internalType":"uint256[]","name":"values","type":"uint256[]"},{"internalType":"uint8","name":"v1","type":"uint8"},{"internalType":"bytes32","name":"r1","type":"bytes32"},{"internalType":"bytes32","name":"s1","type":"bytes32"},{"internalType":"uint8","name":"v2","type":"uint8"},{"internalType":"bytes32","name":"r2","type":"bytes32"},{"internalType":"bytes32","name":"s2","type":"bytes32"}],"name":"spend","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"address payable[]","name":"dests","type":"address[]"},{"internalType":"uint256[]","name":"values","type":"uint256[]"},{"internalType":"uint8","name":"v1","type":"uint8"},{"internalType":"bytes32","name":"r1","type":"bytes32"},{"internalType":"bytes32","name":"s1","type":"bytes32"},{"internalType":"uint8","name":"v2","type":"uint8"},{"internalType":"bytes32","name":"r2","type":"bytes32"},{"internalType":"bytes32","name":"s2","type":"bytes32"},{"internalType":"address","name":"erc20Token","type":"address"}],"name":"transferERC20","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"withdrawAll","outputs":[],"stateMutability":"payable","type":"function"},{"stateMutability":"payable","type":"receive"}]

608060405260008055600060015560006002556000600355600060045560006005556000600655600367ffffffffffffffff811180156200003f57600080fd5b506040519080825280602002602001820160405280156200006f5781602001602082028036833780820191505090505b5060079080519060200190620000879291906200029f565b503480156200009557600080fd5b5060405162001bf638038062001bf683398181016040526060811015620000bb57600080fd5b810190808051906020019092919080519060200190929190805190602001909291905050508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156200011a57600080fd5b8073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156200015457600080fd5b8073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156200018e57600080fd5b8260076000815481106200019e57fe5b9060005260206000200160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550816007600181548110620001f657fe5b9060005260206000200160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508060076002815481106200024e57fe5b9060005260206000200160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505050506200034d565b8280548282559060005260206000209081019282156200031b579160200282015b828111156200031a5782518260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555091602001919060010190620002c0565b5b5090506200032a91906200032e565b5090565b5b80821115620003495760008160009055506001016200032f565b5090565b611899806200035d6000396000f3fe6080604052600436106100595760003560e01c8063154385c51461006257806343d726d6146101f157806380e4fb45146101fb578063853828b6146103ed578063affed0e0146103f7578063e27d8f1d1461042257610060565b3661006057005b005b6101ef600480360361010081101561007957600080fd5b810190808035906020019064010000000081111561009657600080fd5b8201836020820111156100a857600080fd5b803590602001918460208302840111640100000000831117156100ca57600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f8201169050808301925050505050505091929192908035906020019064010000000081111561012a57600080fd5b82018360208201111561013c57600080fd5b8035906020019184602083028401116401000000008311171561015e57600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290803560ff1690602001909291908035906020019092919080359060200190929190803560ff16906020019092919080359060200190929190803590602001909291905050506105de565b005b6101f96109c4565b005b34801561020757600080fd5b506103726004803603606081101561021e57600080fd5b810190808035906020019064010000000081111561023b57600080fd5b82018360208201111561024d57600080fd5b8035906020019184602083028401116401000000008311171561026f57600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290803590602001906401000000008111156102cf57600080fd5b8201836020820111156102e157600080fd5b8035906020019184602083028401116401000000008311171561030357600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610be2565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156103b2578082015181840152602081019050610397565b50505050905090810190601f1680156103df5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6103f5610cbf565b005b34801561040357600080fd5b5061040c610fb9565b6040518082815260200191505060405180910390f35b34801561042e57600080fd5b506105dc600480360361012081101561044657600080fd5b810190808035906020019064010000000081111561046357600080fd5b82018360208201111561047557600080fd5b8035906020019184602083028401116401000000008311171561049757600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290803590602001906401000000008111156104f757600080fd5b82018360208201111561050957600080fd5b8035906020019184602083028401116401000000008311171561052b57600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290803560ff1690602001909291908035906020019092919080359060200190929190803560ff1690602001909291908035906020019092919080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610fbf565b005b600088511180156105f0575086518851145b6105f957600080fd5b600080600090505b885181101561064a5788818151811061061657fe5b60200260200101518201915088818151811061062e57fe5b602002602001015182101561063f57fe5b806001019050610601565b50804710156106c1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f696e73756666696369656e742066756e6473000000000000000000000000000081525060200191505060405180910390fd5b60006106d56106d08b8b611340565b61141c565b905060006106e5828a8a8a6114c3565b905060006106f5838888886114c3565b90508073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610799576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f6661696c656420746f207265636f76657220616464726573730000000000000081525060200191505060405180910390fd5b6107a282611533565b610814576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f696e76616c69642061646472657373000000000000000000000000000000000081525060200191505060405180910390fd5b61081d81611533565b61088f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f696e76616c69642061646472657373000000000000000000000000000000000081525060200191505060405180910390fd5b60016000540160008190555060005b8c518110156109b55760008d82815181106108b557fe5b602002602001015173ffffffffffffffffffffffffffffffffffffffff168d83815181106108df57fe5b602002602001015160405180600001905060006040518083038185875af1925050503d806000811461092d576040519150601f19603f3d011682016040523d82523d6000602084013e610932565b606091505b50509050806109a9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f7472616e73666572206661696c65642e0000000000000000000000000000000081525060200191505060405180910390fd5b5080600101905061089e565b50505050505050505050505050565b6109cd33611533565b610a3f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f696e76616c69642061646472657373000000000000000000000000000000000081525060200191505060405180910390fd5b6007600081548110610a4d57fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415610ab8576001600481905550610bb5565b6007600181548110610ac657fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415610b31576001600581905550610bb4565b6007600281548110610b3f57fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415610baa576001600681905550610bb3565b6000610bb257fe5b5b5b5b6002600654600554600454010112610be0573373ffffffffffffffffffffffffffffffffffffffff16ff5b565b60606000548484846040516020018085815260200180602001806020018473ffffffffffffffffffffffffffffffffffffffff168152602001838103835286818151815260200191508051906020019060200280838360005b83811015610c56578082015181840152602081019050610c3b565b50505050905001838103825285818151815260200191508051906020019060200280838360005b83811015610c98578082015181840152602081019050610c7d565b50505050905001965050505050505060405160208183030381529060405290509392505050565b610cc833611533565b610d3a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f696e76616c69642061646472657373000000000000000000000000000000000081525060200191505060405180910390fd5b6007600081548110610d4857fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415610db25760018081905550610eaf565b6007600181548110610dc057fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415610e2b576001600281905550610eae565b6007600281548110610e3957fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415610ea4576001600381905550610ead565b6000610eac57fe5b5b5b5b6002600354600254600154010112610fb75760006001819055506000600281905550600060038190555060003373ffffffffffffffffffffffffffffffffffffffff164760405180600001905060006040518083038185875af1925050503d8060008114610f39576040519150601f19603f3d011682016040523d82523d6000602084013e610f3e565b606091505b5050905080610fb5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f776974686472617720616c6c206661696c65640000000000000000000000000081525060200191505060405180910390fd5b505b565b60005481565b60008951118015610fd1575087518951145b610fda57600080fd5b600080600090505b895181101561102b57898181518110610ff757fe5b60200260200101518201915089818151811061100f57fe5b602002602001015182101561102057fe5b806001019050610fe2565b506000829050818173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561109957600080fd5b505afa1580156110ad573d6000803e3d6000fd5b505050506040513d60208110156110c357600080fd5b81019080805190602001909291905050501015611148576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f696e73756666696369656e742045524332302066756e6473000000000000000081525060200191505060405180910390fd5b6111598b8b8b8b8b8b8b8b8b61167f565b6111cb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f696e76616c6964207369676e61747572652e000000000000000000000000000081525060200191505060405180910390fd5b60016000540160008190555060005b8b51811015611332578173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb8d838151811061120b57fe5b60200260200101518d848151811061121f57fe5b60200260200101516040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561127a57600080fd5b505af115801561128e573d6000803e3d6000fd5b505050506040513d60208110156112a457600080fd5b8101908080519060200190929190505050611327576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f7472616e73666572206572633230546f6b656e206661696c656400000000000081525060200191505060405180910390fd5b8060010190506111da565b505050505050505050505050565b60606000548383306040516020018085815260200180602001806020018473ffffffffffffffffffffffffffffffffffffffff168152602001838103835286818151815260200191508051906020019060200280838360005b838110156113b4578082015181840152602081019050611399565b50505050905001838103825285818151815260200191508051906020019060200280838360005b838110156113f65780820151818401526020810190506113db565b505050509050019650505050505050604051602081830303815290604052905092915050565b60006002826040518082805190602001908083835b602083106114545780518252602082019150602081019050602083039250611431565b6001836020036101000a038019825116818451168082178552505050505050905001915050602060405180830381855afa158015611496573d6000803e3d6000fd5b5050506040513d60208110156114ab57600080fd5b81019080805190602001909291905050509050919050565b600060018585858560405160008152602001604052604051808581526020018460ff1681526020018381526020018281526020019450505050506020604051602081039080840390855afa15801561151f573d6000803e3d6000fd5b505050602060405103519050949350505050565b60008173ffffffffffffffffffffffffffffffffffffffff16600760008154811061155a57fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16148061160a57508173ffffffffffffffffffffffffffffffffffffffff1660076001815481106115c757fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16145b8061167857508173ffffffffffffffffffffffffffffffffffffffff16600760028154811061163557fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16145b9050919050565b6000806116956116908c8c86610be2565b61141c565b905060006116a5828b8b8b6114c3565b905060006116b5838989896114c3565b90508073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611759576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f6661696c656420746f207265636f76657220616464726573730000000000000081525060200191505060405180910390fd5b61176282611533565b6117d4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f696e76616c69642061646472657373000000000000000000000000000000000081525060200191505060405180910390fd5b6117dd81611533565b61184f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f696e76616c69642061646472657373000000000000000000000000000000000081525060200191505060405180910390fd5b60019350505050999850505050505050505056fea264697066735822122045fc22cba57fb12c98c55c2d785087bb029648fa923ff3ade0c7d76a2b2670c264736f6c634300070600330000000000000000000000006190a856ac79a44874ffc0cb0f2b20e8fee7ce29000000000000000000000000bb8baaee0f8a686d7007f4acc187e6981eb0eda7000000000000000000000000e6b45be55fea86983f123ee99f38376cbae2f6bf

0x6080604052600436106100595760003560e01c8063154385c51461006257806343d726d6146101f157806380e4fb45146101fb578063853828b6146103ed578063affed0e0146103f7578063e27d8f1d1461042257610060565b3661006057005b005b6101ef600480360361010081101561007957600080fd5b810190808035906020019064010000000081111561009657600080fd5b8201836020820111156100a857600080fd5b803590602001918460208302840111640100000000831117156100ca57600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f8201169050808301925050505050505091929192908035906020019064010000000081111561012a57600080fd5b82018360208201111561013c57600080fd5b8035906020019184602083028401116401000000008311171561015e57600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290803560ff1690602001909291908035906020019092919080359060200190929190803560ff16906020019092919080359060200190929190803590602001909291905050506105de565b005b6101f96109c4565b005b34801561020757600080fd5b506103726004803603606081101561021e57600080fd5b810190808035906020019064010000000081111561023b57600080fd5b82018360208201111561024d57600080fd5b8035906020019184602083028401116401000000008311171561026f57600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290803590602001906401000000008111156102cf57600080fd5b8201836020820111156102e157600080fd5b8035906020019184602083028401116401000000008311171561030357600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610be2565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156103b2578082015181840152602081019050610397565b50505050905090810190601f1680156103df5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6103f5610cbf565b005b34801561040357600080fd5b5061040c610fb9565b6040518082815260200191505060405180910390f35b34801561042e57600080fd5b506105dc600480360361012081101561044657600080fd5b810190808035906020019064010000000081111561046357600080fd5b82018360208201111561047557600080fd5b8035906020019184602083028401116401000000008311171561049757600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290803590602001906401000000008111156104f757600080fd5b82018360208201111561050957600080fd5b8035906020019184602083028401116401000000008311171561052b57600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290803560ff1690602001909291908035906020019092919080359060200190929190803560ff1690602001909291908035906020019092919080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610fbf565b005b600088511180156105f0575086518851145b6105f957600080fd5b600080600090505b885181101561064a5788818151811061061657fe5b60200260200101518201915088818151811061062e57fe5b602002602001015182101561063f57fe5b806001019050610601565b50804710156106c1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f696e73756666696369656e742066756e6473000000000000000000000000000081525060200191505060405180910390fd5b60006106d56106d08b8b611340565b61141c565b905060006106e5828a8a8a6114c3565b905060006106f5838888886114c3565b90508073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610799576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f6661696c656420746f207265636f76657220616464726573730000000000000081525060200191505060405180910390fd5b6107a282611533565b610814576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f696e76616c69642061646472657373000000000000000000000000000000000081525060200191505060405180910390fd5b61081d81611533565b61088f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f696e76616c69642061646472657373000000000000000000000000000000000081525060200191505060405180910390fd5b60016000540160008190555060005b8c518110156109b55760008d82815181106108b557fe5b602002602001015173ffffffffffffffffffffffffffffffffffffffff168d83815181106108df57fe5b602002602001015160405180600001905060006040518083038185875af1925050503d806000811461092d576040519150601f19603f3d011682016040523d82523d6000602084013e610932565b606091505b50509050806109a9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f7472616e73666572206661696c65642e0000000000000000000000000000000081525060200191505060405180910390fd5b5080600101905061089e565b50505050505050505050505050565b6109cd33611533565b610a3f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f696e76616c69642061646472657373000000000000000000000000000000000081525060200191505060405180910390fd5b6007600081548110610a4d57fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415610ab8576001600481905550610bb5565b6007600181548110610ac657fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415610b31576001600581905550610bb4565b6007600281548110610b3f57fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415610baa576001600681905550610bb3565b6000610bb257fe5b5b5b5b6002600654600554600454010112610be0573373ffffffffffffffffffffffffffffffffffffffff16ff5b565b60606000548484846040516020018085815260200180602001806020018473ffffffffffffffffffffffffffffffffffffffff168152602001838103835286818151815260200191508051906020019060200280838360005b83811015610c56578082015181840152602081019050610c3b565b50505050905001838103825285818151815260200191508051906020019060200280838360005b83811015610c98578082015181840152602081019050610c7d565b50505050905001965050505050505060405160208183030381529060405290509392505050565b610cc833611533565b610d3a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f696e76616c69642061646472657373000000000000000000000000000000000081525060200191505060405180910390fd5b6007600081548110610d4857fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415610db25760018081905550610eaf565b6007600181548110610dc057fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415610e2b576001600281905550610eae565b6007600281548110610e3957fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415610ea4576001600381905550610ead565b6000610eac57fe5b5b5b5b6002600354600254600154010112610fb75760006001819055506000600281905550600060038190555060003373ffffffffffffffffffffffffffffffffffffffff164760405180600001905060006040518083038185875af1925050503d8060008114610f39576040519150601f19603f3d011682016040523d82523d6000602084013e610f3e565b606091505b5050905080610fb5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f776974686472617720616c6c206661696c65640000000000000000000000000081525060200191505060405180910390fd5b505b565b60005481565b60008951118015610fd1575087518951145b610fda57600080fd5b600080600090505b895181101561102b57898181518110610ff757fe5b60200260200101518201915089818151811061100f57fe5b602002602001015182101561102057fe5b806001019050610fe2565b506000829050818173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561109957600080fd5b505afa1580156110ad573d6000803e3d6000fd5b505050506040513d60208110156110c357600080fd5b81019080805190602001909291905050501015611148576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f696e73756666696369656e742045524332302066756e6473000000000000000081525060200191505060405180910390fd5b6111598b8b8b8b8b8b8b8b8b61167f565b6111cb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f696e76616c6964207369676e61747572652e000000000000000000000000000081525060200191505060405180910390fd5b60016000540160008190555060005b8b51811015611332578173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb8d838151811061120b57fe5b60200260200101518d848151811061121f57fe5b60200260200101516040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561127a57600080fd5b505af115801561128e573d6000803e3d6000fd5b505050506040513d60208110156112a457600080fd5b8101908080519060200190929190505050611327576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f7472616e73666572206572633230546f6b656e206661696c656400000000000081525060200191505060405180910390fd5b8060010190506111da565b505050505050505050505050565b60606000548383306040516020018085815260200180602001806020018473ffffffffffffffffffffffffffffffffffffffff168152602001838103835286818151815260200191508051906020019060200280838360005b838110156113b4578082015181840152602081019050611399565b50505050905001838103825285818151815260200191508051906020019060200280838360005b838110156113f65780820151818401526020810190506113db565b505050509050019650505050505050604051602081830303815290604052905092915050565b60006002826040518082805190602001908083835b602083106114545780518252602082019150602081019050602083039250611431565b6001836020036101000a038019825116818451168082178552505050505050905001915050602060405180830381855afa158015611496573d6000803e3d6000fd5b5050506040513d60208110156114ab57600080fd5b81019080805190602001909291905050509050919050565b600060018585858560405160008152602001604052604051808581526020018460ff1681526020018381526020018281526020019450505050506020604051602081039080840390855afa15801561151f573d6000803e3d6000fd5b505050602060405103519050949350505050565b60008173ffffffffffffffffffffffffffffffffffffffff16600760008154811061155a57fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16148061160a57508173ffffffffffffffffffffffffffffffffffffffff1660076001815481106115c757fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16145b8061167857508173ffffffffffffffffffffffffffffffffffffffff16600760028154811061163557fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16145b9050919050565b6000806116956116908c8c86610be2565b61141c565b905060006116a5828b8b8b6114c3565b905060006116b5838989896114c3565b90508073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611759576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f6661696c656420746f207265636f76657220616464726573730000000000000081525060200191505060405180910390fd5b61176282611533565b6117d4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f696e76616c69642061646472657373000000000000000000000000000000000081525060200191505060405180910390fd5b6117dd81611533565b61184f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f696e76616c69642061646472657373000000000000000000000000000000000081525060200191505060405180910390fd5b60019350505050999850505050505050505056fea264697066735822122045fc22cba57fb12c98c55c2d785087bb029648fa923ff3ade0c7d76a2b2670c264736f6c63430007060033

0000000000000000000000006190a856ac79a44874ffc0cb0f2b20e8fee7ce29000000000000000000000000bb8baaee0f8a686d7007f4acc187e6981eb0eda7000000000000000000000000e6b45be55fea86983f123ee99f38376cbae2f6bf

-----Decoded View---------------
Arg [0] : _owner1 (address): 0x6190a856AC79A44874FfC0cb0F2B20e8fEE7Ce29
Arg [1] : _owner2 (address): 0xbb8baAeE0F8a686d7007F4ACC187E6981eB0edA7
Arg [2] : _owner3 (address): 0xE6b45be55fEA86983f123EE99F38376CBae2f6BF

-----Encoded View---------------
3 Constructor Arguments found :
Arg [0] : 0000000000000000000000006190a856ac79a44874ffc0cb0f2b20e8fee7ce29
Arg [1] : 000000000000000000000000bb8baaee0f8a686d7007f4acc187e6981eb0eda7
Arg [2] : 000000000000000000000000e6b45be55fea86983f123ee99f38376cbae2f6bf

264:5900:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1891:1119;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;3799:522;;;:::i;:::-;;5942:219;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3018:773;;;:::i;:::-;;325:24;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4329:952;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;1891:1119;2122:1;2107:5;:12;:16;:49;;;;;2143:6;:13;2127:5;:12;:29;2107:49;2099:58;;;;;;2168:14;2198:6;2207:1;2198:10;;2193:126;2214:6;:13;2210:1;:17;2193:126;;;2257:6;2264:1;2257:9;;;;;;;;;;;;;;2248:18;;;;2297:6;2304:1;2297:9;;;;;;;;;;;;;;2288:5;:18;;2281:26;;;;2229:3;;;;;2193:126;;;;2362:5;2337:21;:30;;2329:61;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2403:9;2413:44;2419:36;2441:5;2448:6;2419:21;:36::i;:::-;2413:4;:44::i;:::-;2403:54;;2468:13;2482:29;2497:1;2500:2;2504;2508;2482:14;:29::i;:::-;2468:43;;2522:13;2536:29;2551:1;2554:2;2558;2562;2536:14;:29::i;:::-;2522:43;;2593:5;2584:14;;:5;:14;;;;2576:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2647:20;2661:5;2647:13;:20::i;:::-;2639:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2706:20;2720:5;2706:13;:20::i;:::-;2698:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2773:1;2765:5;;:9;2757:5;:17;;;;2792:6;2787:216;2808:5;:12;2804:1;:16;2787:216;;;2889:12;2906:5;2912:1;2906:8;;;;;;;;;;;;;;:13;;2926:6;2933:1;2926:9;;;;;;;;;;;;;;2906:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2888:52;;;2963:7;2955:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2787:216;2822:3;;;;;2787:216;;;;1891:1119;;;;;;;;;;;;:::o;3799:522::-;3850:25;3864:10;3850:13;:25::i;:::-;3842:53;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3924:6;3931:1;3924:9;;;;;;;;;;;;;;;;;;;;;;;;;3910:23;;:10;:23;;;3906:303;;;3963:1;3950:10;:14;;;;3906:303;;;4009:6;4016:1;4009:9;;;;;;;;;;;;;;;;;;;;;;;;;3995:23;;:10;:23;;;3991:218;;;4048:1;4035:10;:14;;;;3991:218;;;4094:6;4101:1;4094:9;;;;;;;;;;;;;;;;;;;;;;;;;4080:23;;:10;:23;;;4076:133;;;4133:1;4120:10;:14;;;;4076:133;;;4187:5;4180:13;;;;4076:133;3991:218;3906:303;4261:1;4248:10;;4237;;4226;;:21;:32;4225:37;4221:93;;4291:10;4278:24;;;4221:93;3799:522::o;5942:219::-;6082:12;6125:5;;6132;6139:6;6147:5;6114:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6107:46;;5942:219;;;;;:::o;3018:773::-;3075:25;3089:10;3075:13;:25::i;:::-;3067:53;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3149:6;3156:1;3149:9;;;;;;;;;;;;;;;;;;;;;;;;;3135:23;;:10;:23;;;3131:308;;;3191:1;3175:13;:17;;;;3131:308;;;3237:6;3244:1;3237:9;;;;;;;;;;;;;;;;;;;;;;;;;3223:23;;:10;:23;;;3219:220;;;3279:1;3263:13;:17;;;;3219:220;;;3325:6;3332:1;3325:9;;;;;;;;;;;;;;;;;;;;;;;;;3311:23;;:10;:23;;;3307:132;;;3367:1;3351:13;:17;;;;3307:132;;;3421:5;3414:13;;;;3307:132;3219:220;3131:308;3500:1;3484:13;;3470;;3456;;:27;:41;3455:46;3451:333;;3534:1;3518:13;:17;;;;3566:1;3550:13;:17;;;;3598:1;3582:13;:17;;;;3615:12;3633:10;:15;;3655:21;3633:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3614:67;;;3701:7;3696:77;;3728:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3696:77;3451:333;;3018:773::o;325:24::-;;;;:::o;4329:952::-;4581:1;4566:5;:12;:16;:49;;;;;4602:6;:13;4586:5;:12;:29;4566:49;4558:58;;;;;;4627:14;4657:6;4666:1;4657:10;;4652:126;4673:6;:13;4669:1;:17;4652:126;;;4716:6;4723:1;4716:9;;;;;;;;;;;;;;4707:18;;;;4756:6;4763:1;4756:9;;;;;;;;;;;;;;4747:5;:18;;4740:26;;;;4688:3;;;;;4652:126;;;;4788:14;4813:10;4788:36;;4878:5;4843:6;:16;;;4868:4;4843:31;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:40;;4835:77;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4947:69;4974:5;4980:6;4987:2;4990;4993;4996;4999;5002;5005:10;4947:26;:69::i;:::-;4925:127;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5081:1;5073:5;;:9;5065:5;:17;;;;5100:6;5095:179;5116:5;:12;5112:1;:16;5095:179;;;5177:6;5176:17;;;5194:5;5200:1;5194:8;;;;;;;;;;;;;;5203:6;5210:1;5203:9;;;;;;;;;;;;;;5176:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5150:112;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5130:3;;;;;5095:179;;;;4329:952;;;;;;;;;;;:::o;939:188::-;1049:12;1092:5;;1099;1106:6;1114:4;1081:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1074:45;;939:188;;;;:::o;1623:102::-;1678:7;1705:12;1712:4;1705:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1698:19;;1623:102;;;:::o;1459:156::-;1553:7;1580:27;1590:7;1599:1;1602;1605;1580:27;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1573:34;;1459:156;;;;;;:::o;1733:150::-;1792:4;1829;1816:17;;:6;1823:1;1816:9;;;;;;;;;;;;;;;;;;;;;;;;;:17;;;:38;;;;1850:4;1837:17;;:6;1844:1;1837:9;;;;;;;;;;;;;;;;;;;;;;;;;:17;;;1816:38;:59;;;;1871:4;1858:17;;:6;1865:1;1858:9;;;;;;;;;;;;;;;;;;;;;;;;;:17;;;1816:59;1809:66;;1733:150;;;:::o;5289:645::-;5529:4;5546:9;5556:59;5561:53;5594:5;5601:6;5608:5;5561:32;:53::i;:::-;5556:4;:59::i;:::-;5546:69;;5626:13;5640:29;5655:1;5658:2;5662;5666;5640:14;:29::i;:::-;5626:43;;5680:13;5694:29;5709:1;5712:2;5716;5720;5694:14;:29::i;:::-;5680:43;;5751:5;5742:14;;:5;:14;;;;5734:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5805:20;5819:5;5805:13;:20::i;:::-;5797:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5864:20;5878:5;5864:13;:20::i;:::-;5856:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5922:4;5915:11;;;;;5289:645;;;;;;;;;;;:::o

ipfs://45fc22cba57fb12c98c55c2d785087bb029648fa923ff3ade0c7d76a2b2670c2