Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

 contract DSMath    - function add(uint x, uint y)    - function sub(uint x, uint y)    - function mul(uint x, uint y)    - function div(uint x, uint y)    - function min(uint x, uint y)    - function max(uint x, uint y)    - function wdiv(uint x, uint y)    - function pow(uint256 base, uint256 ex ...  contract DSAuthEvents  contract DSAuth is DSAuthEvents    - function setOwner(address owner_)    - function setAuthority(address authori ...    - function isOwner(address src)    - function isAuthorized(address src)  contract DSNote  contract DSStop is DSNote, DSAuth, ...    - function stop()    - function start()  contract ERC20Events  contract ERC20 is ERC20Events    - function totalSupply()    - function balanceOf(address guy)    - function allowance(address src, addre ...    - function approve(address guy, uint wa ...    - function transfer(address dst, uint w ...    - function transferFrom(address src, ad ...  contract DSTokenBase is ERC20, DSM ... *    - function totalSupply()    - function balanceOf(address src)    - function allowance(address src, addre ...    - function transfer(address dst, uint w ...    - function transferFrom(address src, ad ...    - function approve(address guy, uint wa ...  contract DSToken is DSTokenBase(0) ... *    - function setName(bytes32 name_)    - function approvex(address guy)    - function approve(address guy, uint wa ...    - function transferFrom(address src, ad ...    - function mint(address guy, uint wad)    - function burn(address guy, uint wad)    - function _mint(address guy, uint wad)    - function _burn(address guy, uint wad)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-08-18
*/

/**
 *Submitted for verification at Etherscan.io on 2020-08-18
*/

pragma solidity ^0.5.2;

contract DSMath {
    function add(uint x, uint y) internal pure returns (uint z) {
        require((z = x + y) >= x, "ds-math-add-overflow");
    }
    function sub(uint x, uint y) internal pure returns (uint z) {
        require((z = x - y) <= x, "ds-math-sub-underflow");
    }
    function mul(uint x, uint y) internal pure returns (uint z) {
        require(y == 0 || (z = x * y) / y == x, "ds-math-mul-overflow");
    }

    function div(uint x, uint y) internal pure returns (uint z) {
        require(y > 0, "ds-math-div-overflow");
        z = x / y;
    }

    function min(uint x, uint y) internal pure returns (uint z) {
        return x <= y ? x : y;
    }
    function max(uint x, uint y) internal pure returns (uint z) {
        return x >= y ? x : y;
    }
    // function imin(int x, int y) internal pure returns (int z) {
    //     return x <= y ? x : y;
    // }
    // function imax(int x, int y) internal pure returns (int z) {
    //     return x >= y ? x : y;
    // }

    uint constant WAD = 10 ** 18;
    // uint constant RAY = 10 ** 27;

    // function wmul(uint x, uint y) internal pure returns (uint z) {
    //     z = add(mul(x, y), WAD / 2) / WAD;
    // }
    // function rmul(uint x, uint y) internal pure returns (uint z) {
    //     z = add(mul(x, y), RAY / 2) / RAY;
    // }
    function wdiv(uint x, uint y) internal pure returns (uint z) {
        z = add(mul(x, WAD), y / 2) / y;
    }
    // function rdiv(uint x, uint y) internal pure returns (uint z) {
    //     z = add(mul(x, RAY), y / 2) / y;
    // }

    // This famous algorithm is called "exponentiation by squaring"
    // and calculates x^n with x as fixed-point and n as regular unsigned.
    //
    // It's O(log n), instead of O(n) for naive repeated multiplication.
    //
    // These facts are why it works:
    //
    //  If n is even, then x^n = (x^2)^(n/2).
    //  If n is odd,  then x^n = x * x^(n-1),
    //   and applying the equation for even x gives
    //    x^n = x * (x^2)^((n-1) / 2).
    //
    //  Also, EVM division is flooring and
    //    floor[(n-1) / 2] = floor[n / 2].
    //
    // function rpow(uint _x, uint n) internal pure returns (uint z) {
    //     uint x = _x;
    //     z = n % 2 != 0 ? x : RAY;

    //     for (n /= 2; n != 0; n /= 2) {
    //         x = rmul(x, x);

    //         if (n % 2 != 0) {
    //             z = rmul(z, x);
    //         }
    //     }
    // }

    /**
     * @dev x to the power of y power(base, exponent)
     */
    function pow(uint256 base, uint256 exponent) public pure returns (uint256) {
        if (exponent == 0) {
            return 1;
        }
        else if (exponent == 1) {
            return base;
        }
        else if (base == 0 && exponent != 0) {
            return 0;
        }
        else {
            uint256 z = base;
            for (uint256 i = 1; i < exponent; i++)
                z = mul(z, base);
            return z;
        }
    }
}

contract DSAuthEvents {
    event LogSetAuthority (address indexed authority);
    event LogSetOwner     (address indexed owner);
}

contract DSAuth is DSAuthEvents {
    address      public  authority;
    address      public  owner;

    constructor() public {
        owner = msg.sender;
        emit LogSetOwner(msg.sender);
    }

    function setOwner(address owner_)
        public
        onlyOwner
    {
        require(owner_ != address(0), "invalid owner address");
        owner = owner_;
        emit LogSetOwner(owner);
    }

    function setAuthority(address authority_)
        public
        onlyOwner
    {
        authority = authority_;
        emit LogSetAuthority(address(authority));
    }

    modifier auth {
        require(isAuthorized(msg.sender), "ds-auth-unauthorized");
        _;
    }

    modifier onlyOwner {
        require(isOwner(msg.sender), "ds-auth-non-owner");
        _;
    }

    function isOwner(address src) public view returns (bool) {
        return bool(src == owner);
    }

    function isAuthorized(address src) internal view returns (bool) {
        if (src == address(this)) {
            return true;
        } else if (src == owner) {
            return true;
        } else if (authority == address(0)) {
            return false;
        } else if (src == authority) {
            return true;
        } else {
            return false;
        }
    }
}

contract DSNote {
    event LogNote(
        bytes4   indexed  sig,
        address  indexed  guy,
        bytes32  indexed  foo,
        bytes32  indexed  bar,
        uint256           wad,
        bytes             fax
    ) anonymous;

    modifier note {
        bytes32 foo;
        bytes32 bar;
        uint256 wad;

        assembly {
            foo := calldataload(4)
            bar := calldataload(36)
            wad := callvalue
        }

        emit LogNote(msg.sig, msg.sender, foo, bar, wad, msg.data);

        _;
    }
}

contract DSStop is DSNote, DSAuth, DSMath {
    bool public stopped;

    modifier stoppable {
        require(!stopped, "ds-stop-is-stopped");
        _;
    }
    function stop() public onlyOwner note {
        stopped = true;
    }
    function start() public onlyOwner note {
        stopped = false;
    }
}

contract ERC20Events {
    event Approval(address indexed src, address indexed guy, uint wad);
    event Transfer(address indexed src, address indexed dst, uint wad);
}

contract ERC20 is ERC20Events {
    function totalSupply() public view returns (uint);
    function balanceOf(address guy) public view returns (uint);
    function allowance(address src, address guy) public view returns (uint);

    function approve(address guy, uint wad) public returns (bool);
    function transfer(address dst, uint wad) public returns (bool);
    function transferFrom(address src, address dst, uint wad) public returns (bool);
}

contract DSTokenBase is ERC20, DSMath {
    uint256                                            _supply;
    mapping (address => uint256)                       _balances;
    mapping (address => mapping (address => uint256))  _approvals;

    constructor(uint supply) public {
        _supply = supply;
    }

    function totalSupply() public view returns (uint) {
        return _supply;
    }
    function balanceOf(address src) public view returns (uint) {
        return _balances[src];
    }
    function allowance(address src, address guy) public view returns (uint) {
        return _approvals[src][guy];
    }

    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)
    {
        if (src != msg.sender) {
            require(_approvals[src][msg.sender] >= wad, "ds-token-insufficient-approval");
            _approvals[src][msg.sender] = sub(_approvals[src][msg.sender], wad);
        }

        require(_balances[src] >= wad, "ds-token-insufficient-balance");
        _balances[src] = sub(_balances[src], wad);
        _balances[dst] = add(_balances[dst], wad);

        emit Transfer(src, dst, wad);

        return true;
    }

    function approve(address guy, uint wad) public returns (bool) {
        _approvals[msg.sender][guy] = wad;

        emit Approval(msg.sender, guy, wad);

        return true;
    }
}

contract DSToken is DSTokenBase(0), DSStop {

    bytes32  public  name = "";
    bytes32  public  symbol;
    uint256  public  decimals = 18;

    constructor(bytes32 symbol_) public {
        symbol = symbol_;
    }

    function setName(bytes32 name_) public onlyOwner {
        name = name_;
    }

    function approvex(address guy) public stoppable returns (bool) {
        return super.approve(guy, uint(-1));
    }

    function approve(address guy, uint wad) public stoppable returns (bool) {
        require(_approvals[msg.sender][guy] == 0 || wad == 0); //take care of re-approve.
        return super.approve(guy, wad);
    }

    function transferFrom(address src, address dst, uint wad)
        public
        stoppable
        returns (bool)
    {
        if (src != msg.sender && _approvals[src][msg.sender] != uint(-1)) {
            require(_approvals[src][msg.sender] >= wad, "ds-token-insufficient-approval");
            _approvals[src][msg.sender] = sub(_approvals[src][msg.sender], wad);
        }

        require(_balances[src] >= wad, "ds-token-insufficient-balance");
        _balances[src] = sub(_balances[src], wad);
        _balances[dst] = add(_balances[dst], wad);

        emit Transfer(src, dst, wad);

        return true;
    }

    function mint(address guy, uint wad) public auth stoppable {
        _mint(guy, wad);
    }

    function burn(address guy, uint wad) public auth stoppable {
        _burn(guy, wad);
    }

    function _mint(address guy, uint wad) internal {
        require(guy != address(0), "ds-token-mint: mint to the zero address");

        _balances[guy] = add(_balances[guy], wad);
        _supply = add(_supply, wad);
        emit Transfer(address(0), guy, wad);
    }

    function _burn(address guy, uint wad) internal {
        require(guy != address(0), "ds-token-burn: burn from the zero address");
        require(_balances[guy] >= wad, "ds-token-insufficient-balance");

        if (guy != msg.sender && _approvals[guy][msg.sender] != uint(-1)) {
            require(_approvals[guy][msg.sender] >= wad, "ds-token-insufficient-approval");
            _approvals[guy][msg.sender] = sub(_approvals[guy][msg.sender], wad);
        }

        _balances[guy] = sub(_balances[guy], wad);
        _supply = sub(_supply, wad);
        emit Transfer(guy, address(0), wad);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"stop","outputs":[],"payable":false,"stateMutability":"nonpayable","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":false,"inputs":[{"name":"owner_","type":"address"}],"name":"setOwner","outputs":[],"payable":false,"stateMutability":"nonpayable","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":true,"inputs":[{"name":"base","type":"uint256"},{"name":"exponent","type":"uint256"}],"name":"pow","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":true,"inputs":[{"name":"src","type":"address"}],"name":"isOwner","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"guy","type":"address"},{"name":"wad","type":"uint256"}],"name":"mint","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"name_","type":"bytes32"}],"name":"setName","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"src","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"stopped","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"authority_","type":"address"}],"name":"setAuthority","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"guy","type":"address"},{"name":"wad","type":"uint256"}],"name":"burn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"guy","type":"address"}],"name":"approvex","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","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":false,"inputs":[],"name":"start","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"authority","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"src","type":"address"},{"name":"guy","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[{"name":"symbol_","type":"bytes32"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"name":"authority","type":"address"}],"name":"LogSetAuthority","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"owner","type":"address"}],"name":"LogSetOwner","type":"event"},{"anonymous":true,"inputs":[{"indexed":true,"name":"sig","type":"bytes4"},{"indexed":true,"name":"guy","type":"address"},{"indexed":true,"name":"foo","type":"bytes32"},{"indexed":true,"name":"bar","type":"bytes32"},{"indexed":false,"name":"wad","type":"uint256"},{"indexed":false,"name":"fax","type":"bytes"}],"name":"LogNote","type":"event"},{"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"}]

60806040526000600655601260085534801561001a57600080fd5b506040516020806114228339810180604052602081101561003a57600080fd5b505160018054600160a060020a03191633908117909155604051600091907fce241d7ca1f669fee44b6fc00b8eba2df3bb514eed0f6f668f8f89096e81ed94908390a2600255600755611390806100926000396000f3fe608060405234801561001057600080fd5b506004361061015f576000357c01000000000000000000000000000000000000000000000000000000009004806370a08231116100d55780639dc29fac116100995780639dc29fac14610346578063a738327214610372578063a9059cbb14610398578063be9a6555146103c4578063bf7e214f146103cc578063dd62ed3e146103d45761015f565b806370a08231146102c657806375f12b21146102ec5780637a9e5e4b146102f45780638da5cb5b1461031a57806395d89b411461033e5761015f565b806323b872dd1161012757806323b872dd146101f65780632e4c697f1461022c5780632f54bf6e1461024f578063313ce5671461027557806340c10f191461027d5780635ac801fe146102a95761015f565b806306fdde031461016457806307da68f51461017e578063095ea7b31461018857806313af4035146101c857806318160ddd146101ee575b600080fd5b61016c610402565b60408051918252519081900360200190f35b610186610408565b005b6101b46004803603604081101561019e57600080fd5b50600160a060020a0381351690602001356104e0565b604080519115158252519081900360200190f35b610186600480360360208110156101de57600080fd5b5035600160a060020a0316610578565b61016c610682565b6101b46004803603606081101561020c57600080fd5b50600160a060020a03813581169160208101359091169060400135610688565b61016c6004803603604081101561024257600080fd5b5080359060200135610908565b6101b46004803603602081101561026557600080fd5b5035600160a060020a031661096b565b61016c610982565b6101866004803603604081101561029357600080fd5b50600160a060020a038135169060200135610988565b610186600480360360208110156102bf57600080fd5b5035610a3e565b61016c600480360360208110156102dc57600080fd5b5035600160a060020a0316610a90565b6101b4610aab565b6101866004803603602081101561030a57600080fd5b5035600160a060020a0316610ab4565b610322610b5a565b60408051600160a060020a039092168252519081900360200190f35b61016c610b69565b6101866004803603604081101561035c57600080fd5b50600160a060020a038135169060200135610b6f565b6101b46004803603602081101561038857600080fd5b5035600160a060020a0316610c21565b6101b4600480360360408110156103ae57600080fd5b50600160a060020a038135169060200135610c79565b610186610c86565b610322610d5b565b61016c600480360360408110156103ea57600080fd5b50600160a060020a0381358116916020013516610d6a565b60065481565b6104113361096b565b1515610455576040805160e560020a62461bcd02815260206004820152601160248201526000805160206112fe833981519152604482015290519081900360640190fd5b604080513480825260208201838152369383018490526004359360243593849286923392600080357bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191693889391929060608201848480828437600083820152604051601f909101601f1916909201829003965090945050505050a450506005805460ff1916600117905550565b60055460009060ff161561052c576040805160e560020a62461bcd0281526020600482015260126024820152600080516020611345833981519152604482015290519081900360640190fd5b336000908152600460209081526040808320600160a060020a0387168452909152902054158061055a575081155b151561056557600080fd5b61056f8383610d95565b90505b92915050565b6105813361096b565b15156105c5576040805160e560020a62461bcd02815260206004820152601160248201526000805160206112fe833981519152604482015290519081900360640190fd5b600160a060020a0381161515610625576040805160e560020a62461bcd02815260206004820152601560248201527f696e76616c6964206f776e657220616464726573730000000000000000000000604482015290519081900360640190fd5b6001805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0383811691909117918290556040519116907fce241d7ca1f669fee44b6fc00b8eba2df3bb514eed0f6f668f8f89096e81ed9490600090a250565b60025490565b60055460009060ff16156106d4576040805160e560020a62461bcd0281526020600482015260126024820152600080516020611345833981519152604482015290519081900360640190fd5b600160a060020a03841633148015906107125750600160a060020a038416600090815260046020908152604080832033845290915290205460001914155b156107e557600160a060020a0384166000908152600460209081526040808320338452909152902054821115610792576040805160e560020a62461bcd02815260206004820152601e60248201527f64732d746f6b656e2d696e73756666696369656e742d617070726f76616c0000604482015290519081900360640190fd5b600160a060020a03841660009081526004602090815260408083203384529091529020546107c09083610dfb565b600160a060020a03851660009081526004602090815260408083203384529091529020555b600160a060020a038416600090815260036020526040902054821115610855576040805160e560020a62461bcd02815260206004820152601d60248201527f64732d746f6b656e2d696e73756666696369656e742d62616c616e6365000000604482015290519081900360640190fd5b600160a060020a0384166000908152600360205260409020546108789083610dfb565b600160a060020a0380861660009081526003602052604080822093909355908516815220546108a79083610e56565b600160a060020a0380851660008181526003602090815260409182902094909455805186815290519193928816927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a35060019392505050565b600081151561091957506001610572565b8160011415610929575081610572565b8215801561093657508115155b1561094357506000610572565b8260015b83811015610963576109598286610eb1565b9150600101610947565b509050610572565b600154600160a060020a038281169116145b919050565b60085481565b61099133610f24565b15156109e7576040805160e560020a62461bcd02815260206004820152601460248201527f64732d617574682d756e617574686f72697a6564000000000000000000000000604482015290519081900360640190fd5b60055460ff1615610a30576040805160e560020a62461bcd0281526020600482015260126024820152600080516020611345833981519152604482015290519081900360640190fd5b610a3a8282610f9d565b5050565b610a473361096b565b1515610a8b576040805160e560020a62461bcd02815260206004820152601160248201526000805160206112fe833981519152604482015290519081900360640190fd5b600655565b600160a060020a031660009081526003602052604090205490565b60055460ff1681565b610abd3361096b565b1515610b01576040805160e560020a62461bcd02815260206004820152601160248201526000805160206112fe833981519152604482015290519081900360640190fd5b6000805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a03838116919091178083556040519116917f1abebea81bfa2637f28358c371278fb15ede7ea8dd28d2e03b112ff6d936ada491a250565b600154600160a060020a031681565b60075481565b610b7833610f24565b1515610bce576040805160e560020a62461bcd02815260206004820152601460248201527f64732d617574682d756e617574686f72697a6564000000000000000000000000604482015290519081900360640190fd5b60055460ff1615610c17576040805160e560020a62461bcd0281526020600482015260126024820152600080516020611345833981519152604482015290519081900360640190fd5b610a3a8282611078565b60055460009060ff1615610c6d576040805160e560020a62461bcd0281526020600482015260126024820152600080516020611345833981519152604482015290519081900360640190fd5b61057282600019610d95565b600061056f338484610688565b610c8f3361096b565b1515610cd3576040805160e560020a62461bcd02815260206004820152601160248201526000805160206112fe833981519152604482015290519081900360640190fd5b604080513480825260208201838152369383018490526004359360243593849286923392600080357bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191693889391929060608201848480828437600083820152604051601f909101601f1916909201829003965090945050505050a450506005805460ff1916905550565b600054600160a060020a031681565b600160a060020a03918216600090815260046020908152604080832093909416825291909152205490565b336000818152600460209081526040808320600160a060020a038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a350600192915050565b80820382811115610572576040805160e560020a62461bcd02815260206004820152601560248201527f64732d6d6174682d7375622d756e646572666c6f770000000000000000000000604482015290519081900360640190fd5b80820182811015610572576040805160e560020a62461bcd02815260206004820152601460248201527f64732d6d6174682d6164642d6f766572666c6f77000000000000000000000000604482015290519081900360640190fd5b6000811580610ece575050808202828282811515610ecb57fe5b04145b1515610572576040805160e560020a62461bcd02815260206004820152601460248201527f64732d6d6174682d6d756c2d6f766572666c6f77000000000000000000000000604482015290519081900360640190fd5b6000600160a060020a038216301415610f3f5750600161097d565b600154600160a060020a0383811691161415610f5d5750600161097d565b600054600160a060020a03161515610f775750600061097d565b600054600160a060020a0383811691161415610f955750600161097d565b50600061097d565b600160a060020a0382161515610fe75760405160e560020a62461bcd02815260040180806020018281038252602781526020018061131e6027913960400191505060405180910390fd5b600160a060020a03821660009081526003602052604090205461100a9082610e56565b600160a060020a0383166000908152600360205260409020556002546110309082610e56565b600255604080518281529051600160a060020a038416916000917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b600160a060020a03821615156110c25760405160e560020a62461bcd0281526004018080602001828103825260298152602001806112d56029913960400191505060405180910390fd5b600160a060020a038216600090815260036020526040902054811115611132576040805160e560020a62461bcd02815260206004820152601d60248201527f64732d746f6b656e2d696e73756666696369656e742d62616c616e6365000000604482015290519081900360640190fd5b600160a060020a03821633148015906111705750600160a060020a038216600090815260046020908152604080832033845290915290205460001914155b1561124357600160a060020a03821660009081526004602090815260408083203384529091529020548111156111f0576040805160e560020a62461bcd02815260206004820152601e60248201527f64732d746f6b656e2d696e73756666696369656e742d617070726f76616c0000604482015290519081900360640190fd5b600160a060020a038216600090815260046020908152604080832033845290915290205461121e9082610dfb565b600160a060020a03831660009081526004602090815260408083203384529091529020555b600160a060020a0382166000908152600360205260409020546112669082610dfb565b600160a060020a03831660009081526003602052604090205560025461128c9082610dfb565b600255604080518281529051600091600160a060020a038516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a3505056fe64732d746f6b656e2d6275726e3a206275726e2066726f6d20746865207a65726f206164647265737364732d617574682d6e6f6e2d6f776e657200000000000000000000000000000064732d746f6b656e2d6d696e743a206d696e7420746f20746865207a65726f206164647265737364732d73746f702d69732d73746f707065640000000000000000000000000000a165627a7a72305820fb4a54eac38dbafe9cac1e63b6e10debd48cd8c224764bf992c625a6b3d77c1800297044414900000000000000000000000000000000000000000000000000000000

0x608060405234801561001057600080fd5b506004361061015f576000357c01000000000000000000000000000000000000000000000000000000009004806370a08231116100d55780639dc29fac116100995780639dc29fac14610346578063a738327214610372578063a9059cbb14610398578063be9a6555146103c4578063bf7e214f146103cc578063dd62ed3e146103d45761015f565b806370a08231146102c657806375f12b21146102ec5780637a9e5e4b146102f45780638da5cb5b1461031a57806395d89b411461033e5761015f565b806323b872dd1161012757806323b872dd146101f65780632e4c697f1461022c5780632f54bf6e1461024f578063313ce5671461027557806340c10f191461027d5780635ac801fe146102a95761015f565b806306fdde031461016457806307da68f51461017e578063095ea7b31461018857806313af4035146101c857806318160ddd146101ee575b600080fd5b61016c610402565b60408051918252519081900360200190f35b610186610408565b005b6101b46004803603604081101561019e57600080fd5b50600160a060020a0381351690602001356104e0565b604080519115158252519081900360200190f35b610186600480360360208110156101de57600080fd5b5035600160a060020a0316610578565b61016c610682565b6101b46004803603606081101561020c57600080fd5b50600160a060020a03813581169160208101359091169060400135610688565b61016c6004803603604081101561024257600080fd5b5080359060200135610908565b6101b46004803603602081101561026557600080fd5b5035600160a060020a031661096b565b61016c610982565b6101866004803603604081101561029357600080fd5b50600160a060020a038135169060200135610988565b610186600480360360208110156102bf57600080fd5b5035610a3e565b61016c600480360360208110156102dc57600080fd5b5035600160a060020a0316610a90565b6101b4610aab565b6101866004803603602081101561030a57600080fd5b5035600160a060020a0316610ab4565b610322610b5a565b60408051600160a060020a039092168252519081900360200190f35b61016c610b69565b6101866004803603604081101561035c57600080fd5b50600160a060020a038135169060200135610b6f565b6101b46004803603602081101561038857600080fd5b5035600160a060020a0316610c21565b6101b4600480360360408110156103ae57600080fd5b50600160a060020a038135169060200135610c79565b610186610c86565b610322610d5b565b61016c600480360360408110156103ea57600080fd5b50600160a060020a0381358116916020013516610d6a565b60065481565b6104113361096b565b1515610455576040805160e560020a62461bcd02815260206004820152601160248201526000805160206112fe833981519152604482015290519081900360640190fd5b604080513480825260208201838152369383018490526004359360243593849286923392600080357bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191693889391929060608201848480828437600083820152604051601f909101601f1916909201829003965090945050505050a450506005805460ff1916600117905550565b60055460009060ff161561052c576040805160e560020a62461bcd0281526020600482015260126024820152600080516020611345833981519152604482015290519081900360640190fd5b336000908152600460209081526040808320600160a060020a0387168452909152902054158061055a575081155b151561056557600080fd5b61056f8383610d95565b90505b92915050565b6105813361096b565b15156105c5576040805160e560020a62461bcd02815260206004820152601160248201526000805160206112fe833981519152604482015290519081900360640190fd5b600160a060020a0381161515610625576040805160e560020a62461bcd02815260206004820152601560248201527f696e76616c6964206f776e657220616464726573730000000000000000000000604482015290519081900360640190fd5b6001805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0383811691909117918290556040519116907fce241d7ca1f669fee44b6fc00b8eba2df3bb514eed0f6f668f8f89096e81ed9490600090a250565b60025490565b60055460009060ff16156106d4576040805160e560020a62461bcd0281526020600482015260126024820152600080516020611345833981519152604482015290519081900360640190fd5b600160a060020a03841633148015906107125750600160a060020a038416600090815260046020908152604080832033845290915290205460001914155b156107e557600160a060020a0384166000908152600460209081526040808320338452909152902054821115610792576040805160e560020a62461bcd02815260206004820152601e60248201527f64732d746f6b656e2d696e73756666696369656e742d617070726f76616c0000604482015290519081900360640190fd5b600160a060020a03841660009081526004602090815260408083203384529091529020546107c09083610dfb565b600160a060020a03851660009081526004602090815260408083203384529091529020555b600160a060020a038416600090815260036020526040902054821115610855576040805160e560020a62461bcd02815260206004820152601d60248201527f64732d746f6b656e2d696e73756666696369656e742d62616c616e6365000000604482015290519081900360640190fd5b600160a060020a0384166000908152600360205260409020546108789083610dfb565b600160a060020a0380861660009081526003602052604080822093909355908516815220546108a79083610e56565b600160a060020a0380851660008181526003602090815260409182902094909455805186815290519193928816927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a35060019392505050565b600081151561091957506001610572565b8160011415610929575081610572565b8215801561093657508115155b1561094357506000610572565b8260015b83811015610963576109598286610eb1565b9150600101610947565b509050610572565b600154600160a060020a038281169116145b919050565b60085481565b61099133610f24565b15156109e7576040805160e560020a62461bcd02815260206004820152601460248201527f64732d617574682d756e617574686f72697a6564000000000000000000000000604482015290519081900360640190fd5b60055460ff1615610a30576040805160e560020a62461bcd0281526020600482015260126024820152600080516020611345833981519152604482015290519081900360640190fd5b610a3a8282610f9d565b5050565b610a473361096b565b1515610a8b576040805160e560020a62461bcd02815260206004820152601160248201526000805160206112fe833981519152604482015290519081900360640190fd5b600655565b600160a060020a031660009081526003602052604090205490565b60055460ff1681565b610abd3361096b565b1515610b01576040805160e560020a62461bcd02815260206004820152601160248201526000805160206112fe833981519152604482015290519081900360640190fd5b6000805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a03838116919091178083556040519116917f1abebea81bfa2637f28358c371278fb15ede7ea8dd28d2e03b112ff6d936ada491a250565b600154600160a060020a031681565b60075481565b610b7833610f24565b1515610bce576040805160e560020a62461bcd02815260206004820152601460248201527f64732d617574682d756e617574686f72697a6564000000000000000000000000604482015290519081900360640190fd5b60055460ff1615610c17576040805160e560020a62461bcd0281526020600482015260126024820152600080516020611345833981519152604482015290519081900360640190fd5b610a3a8282611078565b60055460009060ff1615610c6d576040805160e560020a62461bcd0281526020600482015260126024820152600080516020611345833981519152604482015290519081900360640190fd5b61057282600019610d95565b600061056f338484610688565b610c8f3361096b565b1515610cd3576040805160e560020a62461bcd02815260206004820152601160248201526000805160206112fe833981519152604482015290519081900360640190fd5b604080513480825260208201838152369383018490526004359360243593849286923392600080357bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191693889391929060608201848480828437600083820152604051601f909101601f1916909201829003965090945050505050a450506005805460ff1916905550565b600054600160a060020a031681565b600160a060020a03918216600090815260046020908152604080832093909416825291909152205490565b336000818152600460209081526040808320600160a060020a038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a350600192915050565b80820382811115610572576040805160e560020a62461bcd02815260206004820152601560248201527f64732d6d6174682d7375622d756e646572666c6f770000000000000000000000604482015290519081900360640190fd5b80820182811015610572576040805160e560020a62461bcd02815260206004820152601460248201527f64732d6d6174682d6164642d6f766572666c6f77000000000000000000000000604482015290519081900360640190fd5b6000811580610ece575050808202828282811515610ecb57fe5b04145b1515610572576040805160e560020a62461bcd02815260206004820152601460248201527f64732d6d6174682d6d756c2d6f766572666c6f77000000000000000000000000604482015290519081900360640190fd5b6000600160a060020a038216301415610f3f5750600161097d565b600154600160a060020a0383811691161415610f5d5750600161097d565b600054600160a060020a03161515610f775750600061097d565b600054600160a060020a0383811691161415610f955750600161097d565b50600061097d565b600160a060020a0382161515610fe75760405160e560020a62461bcd02815260040180806020018281038252602781526020018061131e6027913960400191505060405180910390fd5b600160a060020a03821660009081526003602052604090205461100a9082610e56565b600160a060020a0383166000908152600360205260409020556002546110309082610e56565b600255604080518281529051600160a060020a038416916000917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b600160a060020a03821615156110c25760405160e560020a62461bcd0281526004018080602001828103825260298152602001806112d56029913960400191505060405180910390fd5b600160a060020a038216600090815260036020526040902054811115611132576040805160e560020a62461bcd02815260206004820152601d60248201527f64732d746f6b656e2d696e73756666696369656e742d62616c616e6365000000604482015290519081900360640190fd5b600160a060020a03821633148015906111705750600160a060020a038216600090815260046020908152604080832033845290915290205460001914155b1561124357600160a060020a03821660009081526004602090815260408083203384529091529020548111156111f0576040805160e560020a62461bcd02815260206004820152601e60248201527f64732d746f6b656e2d696e73756666696369656e742d617070726f76616c0000604482015290519081900360640190fd5b600160a060020a038216600090815260046020908152604080832033845290915290205461121e9082610dfb565b600160a060020a03831660009081526004602090815260408083203384529091529020555b600160a060020a0382166000908152600360205260409020546112669082610dfb565b600160a060020a03831660009081526003602052604090205560025461128c9082610dfb565b600255604080518281529051600091600160a060020a038516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a3505056fe64732d746f6b656e2d6275726e3a206275726e2066726f6d20746865207a65726f206164647265737364732d617574682d6e6f6e2d6f776e657200000000000000000000000000000064732d746f6b656e2d6d696e743a206d696e7420746f20746865207a65726f206164647265737364732d73746f702d69732d73746f707065640000000000000000000000000000a165627a7a72305820fb4a54eac38dbafe9cac1e63b6e10debd48cd8c224764bf992c625a6b3d77c180029

7044414900000000000000000000000000000000000000000000000000000000

-----Decoded View---------------
Arg [0] : symbol_ (bytes32): 0x7044414900000000000000000000000000000000000000000000000000000000

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 7044414900000000000000000000000000000000000000000000000000000000

7711:2410:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7711:2410:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7763:26;;;:::i;:::-;;;;;;;;;;;;;;;;5368:71;;;:::i;:::-;;8157:212;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;8157:212:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;3504:206;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3504:206:0;-1:-1:-1;;;;;3504:206:0;;:::i;6484:83::-;;;:::i;8377:637::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;8377:637:0;;;;;;;;;;;;;;;;;:::i;2674:469::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2674:469:0;;;;;;;:::i;4117:101::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;4117:101:0;-1:-1:-1;;;;;4117:101:0;;:::i;7826:30::-;;;:::i;9022:93::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;9022:93:0;;;;;;;;:::i;7944:80::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7944:80:0;;:::i;6573:99::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;6573:99:0;-1:-1:-1;;;;;6573:99:0;;:::i;5245:19::-;;;:::i;3718:174::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3718:174:0;-1:-1:-1;;;;;3718:174:0;;:::i;3364:26::-;;;:::i;:::-;;;;-1:-1:-1;;;;;3364:26:0;;;;;;;;;;;;;;7796:23;;;:::i;9123:93::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;9123:93:0;;;;;;;;:::i;8032:117::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;8032:117:0;-1:-1:-1;;;;;8032:117:0;;:::i;6804:123::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;6804:123:0;;;;;;;;:::i;5445:73::-;;;:::i;3327:30::-;;;:::i;6678:118::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;6678:118:0;;;;;;;;;;:::i;7763:26::-;;;;:::o;5368:71::-;4048:19;4056:10;4048:7;:19::i;:::-;4040:49;;;;;;;-1:-1:-1;;;;;4040:49:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;4040:49:0;;;;;;;;;;;;;;;5114:53;;;5077:9;5114:53;;;;;;;;;5158:8;5114:53;;;;;;5017:1;5004:15;;5053:2;5040:16;;;;5004:15;;5131:10;;-1:-1:-1;5122:7:0;;-1:-1:-1;;5122:7:0;;5077:9;;-1:-1:-1;;5114:53:0;;;;-1:-1:-1;5158:8:0;;-1:-1:-1;5114:53:0;1:33:-1;99:1;81:16;;;74:27;5114:53:0;;137:4:-1;117:14;;;-1:-1;;113:30;157:16;;;5114:53:0;;;;-1:-1:-1;5114:53:0;;-1:-1:-1;;;;;5114:53:0;-1:-1:-1;;5417:7:0;:14;;-1:-1:-1;;5417:14:0;5427:4;5417:14;;;-1:-1:-1;5368:71:0:o;8157:212::-;5312:7;;8223:4;;5312:7;;5311:8;5303:39;;;;;-1:-1:-1;;;;;5303:39:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;5303:39:0;;;;;;;;;;;;;;;8259:10;8248:22;;;;:10;:22;;;;;;;;-1:-1:-1;;;;;8248:27:0;;;;;;;;;;:32;;:44;;-1:-1:-1;8284:8:0;;8248:44;8240:53;;;;;;;;8338:23;8352:3;8357;8338:13;:23::i;:::-;8331:30;;5353:1;8157:212;;;;:::o;3504:206::-;4048:19;4056:10;4048:7;:19::i;:::-;4040:49;;;;;;;-1:-1:-1;;;;;4040:49:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;4040:49:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;3597:20:0;;;;3589:54;;;;;-1:-1:-1;;;;;3589:54:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;3654:5;:14;;-1:-1:-1;;3654:14:0;-1:-1:-1;;;;;3654:14:0;;;;;;;;;;;3684:18;;3696:5;;;3684:18;;-1:-1:-1;;3684:18:0;3504:206;:::o;6484:83::-;6552:7;;6484:83;:::o;8377:637::-;5312:7;;8488:4;;5312:7;;5311:8;5303:39;;;;;-1:-1:-1;;;;;5303:39:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;5303:39:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;8514:17:0;;8521:10;8514:17;;;;:60;;-1:-1:-1;;;;;;8535:15:0;;;;;;:10;:15;;;;;;;;8551:10;8535:27;;;;;;;;-1:-1:-1;;8535:39:0;;8514:60;8510:252;;;-1:-1:-1;;;;;8599:15:0;;;;;;:10;:15;;;;;;;;8615:10;8599:27;;;;;;;;:34;-1:-1:-1;8599:34:0;8591:77;;;;;-1:-1:-1;;;;;8591:77:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;8717:15:0;;;;;;:10;:15;;;;;;;;8733:10;8717:27;;;;;;;;8713:37;;8746:3;8713;:37::i;:::-;-1:-1:-1;;;;;8683:15:0;;;;;;:10;:15;;;;;;;;8699:10;8683:27;;;;;;;:67;8510:252;-1:-1:-1;;;;;8782:14:0;;;;;;:9;:14;;;;;;:21;-1:-1:-1;8782:21:0;8774:63;;;;;-1:-1:-1;;;;;8774:63:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;8869:14:0;;;;;;:9;:14;;;;;;8865:24;;8885:3;8865;:24::i;:::-;-1:-1:-1;;;;;8848:14:0;;;;;;;:9;:14;;;;;;:41;;;;8921:14;;;;;;;8917:24;;8937:3;8917;:24::i;:::-;-1:-1:-1;;;;;8900:14:0;;;;;;;:9;:14;;;;;;;;;:41;;;;8959:23;;;;;;;8900:14;;8959:23;;;;;;;;;;;;;-1:-1:-1;9002:4:0;8377:637;;;;;:::o;2674:469::-;2740:7;2764:13;;2760:376;;;-1:-1:-1;2801:1:0;2794:8;;2760:376;2833:8;2845:1;2833:13;2829:307;;;-1:-1:-1;2870:4:0;2863:11;;2829:307;2905:9;;:26;;;;-1:-1:-1;2918:13:0;;;2905:26;2901:235;;;-1:-1:-1;2955:1:0;2948:8;;2901:235;3010:4;3046:1;3029:72;3053:8;3049:1;:12;3029:72;;;3089:12;3093:1;3096:4;3089:3;:12::i;:::-;3085:16;-1:-1:-1;3063:3:0;;3029:72;;;-1:-1:-1;3123:1:0;-1:-1:-1;3116:8:0;;4117:101;4204:5;;-1:-1:-1;;;;;4197:12:0;;;4204:5;;4197:12;4117:101;;;;:::o;7826:30::-;;;;:::o;9022:93::-;3933:24;3946:10;3933:12;:24::i;:::-;3925:57;;;;;;;-1:-1:-1;;;;;3925:57:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;5312:7;;;;5311:8;5303:39;;;;;-1:-1:-1;;;;;5303:39:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;5303:39:0;;;;;;;;;;;;;;;9092:15;9098:3;9103;9092:5;:15::i;:::-;9022:93;;:::o;7944:80::-;4048:19;4056:10;4048:7;:19::i;:::-;4040:49;;;;;;;-1:-1:-1;;;;;4040:49:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;4040:49:0;;;;;;;;;;;;;;;8004:4;:12;7944:80::o;6573:99::-;-1:-1:-1;;;;;6650:14:0;6626:4;6650:14;;;:9;:14;;;;;;;6573:99::o;5245:19::-;;;;;;:::o;3718:174::-;4048:19;4056:10;4048:7;:19::i;:::-;4040:49;;;;;;;-1:-1:-1;;;;;4040:49:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;4040:49:0;;;;;;;;;;;;;;;3811:9;:22;;-1:-1:-1;;3811:22:0;-1:-1:-1;;;;;3811:22:0;;;;;;;;;;3849:35;;3873:9;;;3849:35;;;3718:174;:::o;3364:26::-;;;-1:-1:-1;;;;;3364:26:0;;:::o;7796:23::-;;;;:::o;9123:93::-;3933:24;3946:10;3933:12;:24::i;:::-;3925:57;;;;;;;-1:-1:-1;;;;;3925:57:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;5312:7;;;;5311:8;5303:39;;;;;-1:-1:-1;;;;;5303:39:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;5303:39:0;;;;;;;;;;;;;;;9193:15;9199:3;9204;9193:5;:15::i;8032:117::-;5312:7;;8089:4;;5312:7;;5311:8;5303:39;;;;;-1:-1:-1;;;;;5303:39:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;5303:39:0;;;;;;;;;;;;;;;8113:28;8127:3;-1:-1:-1;;8113:13:0;:28::i;6804:123::-;6861:4;6885:34;6898:10;6910:3;6915;6885:12;:34::i;5445:73::-;4048:19;4056:10;4048:7;:19::i;:::-;4040:49;;;;;;;-1:-1:-1;;;;;4040:49:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;4040:49:0;;;;;;;;;;;;;;;5114:53;;;5077:9;5114:53;;;;;;;;;5158:8;5114:53;;;;;;5017:1;5004:15;;5053:2;5040:16;;;;5004:15;;5131:10;;-1:-1:-1;5122:7:0;;-1:-1:-1;;5122:7:0;;5077:9;;-1:-1:-1;;5114:53:0;;;;-1:-1:-1;5158:8:0;;-1:-1:-1;5114:53:0;1:33:-1;99:1;81:16;;;74:27;5114:53:0;;137:4:-1;117:14;;;-1:-1;;113:30;157:16;;;5114:53:0;;;;-1:-1:-1;5114:53:0;;-1:-1:-1;;;;;5114:53:0;-1:-1:-1;;5495:7:0;:15;;-1:-1:-1;;5495:15:0;;;-1:-1:-1;5445:73:0:o;3327:30::-;;;-1:-1:-1;;;;;3327:30:0;;:::o;6678:118::-;-1:-1:-1;;;;;6768:15:0;;;6744:4;6768:15;;;:10;:15;;;;;;;;:20;;;;;;;;;;;;;6678:118::o;7518:186::-;7602:10;7574:4;7591:22;;;:10;:22;;;;;;;;-1:-1:-1;;;;;7591:27:0;;;;;;;;;;;:33;;;7642:30;;;;;;;7574:4;;7591:27;;7602:10;;7642:30;;;;;;;;-1:-1:-1;7692:4:0;7518:186;;;;:::o;255:129::-;339:5;;;334:16;;;;326:50;;;;;-1:-1:-1;;;;;326:50:0;;;;;;;;;;;;;;;;;;;;;;;;;;;121:128;205:5;;;200:16;;;;192:49;;;;;-1:-1:-1;;;;;192:49:0;;;;;;;;;;;;;;;;;;;;;;;;;;;390:142;442:6;469;;;:30;;-1:-1:-1;;484:5:0;;;498:1;493;484:5;479:15;;;;;;;;:20;469:30;461:63;;;;;;;-1:-1:-1;;;;;461:63:0;;;;;;;;;;;;;;;;;;;;;;;;;;;4226:393;4284:4;-1:-1:-1;;;;;4305:20:0;;4320:4;4305:20;4301:311;;;-1:-1:-1;4349:4:0;4342:11;;4301:311;4382:5;;-1:-1:-1;;;;;4375:12:0;;;4382:5;;4375:12;4371:241;;;-1:-1:-1;4411:4:0;4404:11;;4371:241;4458:1;4437:9;-1:-1:-1;;;;;4437:9:0;:23;4433:179;;;-1:-1:-1;4484:5:0;4477:12;;4433:179;4518:9;;-1:-1:-1;;;;;4511:16:0;;;4518:9;;4511:16;4507:105;;;-1:-1:-1;4551:4:0;4544:11;;4507:105;-1:-1:-1;4595:5:0;4588:12;;9224:273;-1:-1:-1;;;;;9290:17:0;;;;9282:69;;;;-1:-1:-1;;;;;9282:69:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;9385:14:0;;;;;;:9;:14;;;;;;9381:24;;9401:3;9381;:24::i;:::-;-1:-1:-1;;;;;9364:14:0;;;;;;:9;:14;;;;;:41;9430:7;;9426:17;;9439:3;9426;:17::i;:::-;9416:7;:27;9459:30;;;;;;;;-1:-1:-1;;;;;9459:30:0;;;9476:1;;9459:30;;;;;;;;;9224:273;;:::o;9505:613::-;-1:-1:-1;;;;;9571:17:0;;;;9563:71;;;;-1:-1:-1;;;;;9563:71:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;9653:14:0;;;;;;:9;:14;;;;;;:21;-1:-1:-1;9653:21:0;9645:63;;;;;-1:-1:-1;;;;;9645:63:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;9725:17:0;;9732:10;9725:17;;;;:60;;-1:-1:-1;;;;;;9746:15:0;;;;;;:10;:15;;;;;;;;9762:10;9746:27;;;;;;;;-1:-1:-1;;9746:39:0;;9725:60;9721:252;;;-1:-1:-1;;;;;9810:15:0;;;;;;:10;:15;;;;;;;;9826:10;9810:27;;;;;;;;:34;-1:-1:-1;9810:34:0;9802:77;;;;;-1:-1:-1;;;;;9802:77:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;9928:15:0;;;;;;:10;:15;;;;;;;;9944:10;9928:27;;;;;;;;9924:37;;9957:3;9924;:37::i;:::-;-1:-1:-1;;;;;9894:15:0;;;;;;:10;:15;;;;;;;;9910:10;9894:27;;;;;;;:67;9721:252;-1:-1:-1;;;;;10006:14:0;;;;;;:9;:14;;;;;;10002:24;;10022:3;10002;:24::i;:::-;-1:-1:-1;;;;;9985:14:0;;;;;;:9;:14;;;;;:41;10051:7;;10047:17;;10060:3;10047;:17::i;:::-;10037:7;:27;10080:30;;;;;;;;10102:1;;-1:-1:-1;;;;;10080:30:0;;;;;;;;;;;;9505:613;;:::o

bzzr://fb4a54eac38dbafe9cac1e63b6e10debd48cd8c224764bf992c625a6b3d77c18