Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface VatAbstract
•    - function wards(address)
•    - function rely(address)
•    - function deny(address)
•    - function can(address, address)
•    - function hope(address)
•    - function nope(address)
•    - function ilks(bytes32)
•    - function urns(bytes32, address)
•    - function gem(bytes32, address)
•    - function dai(address)
•    - function sin(address)
•    - function debt()
•    - function vice()
•    - function Line()
•    - function live()
•    - function init(bytes32)
•    - function file(bytes32, uint256)
•    - function file(bytes32, bytes32, uint2 ...
•    - function cage()
•    - function slip(bytes32, address, int25 ...
•    - function flux(bytes32, address, addre ...
•    - function move(address, address, uint2 ...
•    - function frob(bytes32, address, addre ...
•    - function fork(bytes32, address, addre ...
•    - function grab(bytes32, address, addre ...
•    - function heal(uint256)
•    - function suck(address, address, uint2 ...
•    - function fold(bytes32, address, int25 ...
• interface DSAuthority
•    - function canCall(
•  contract DSAuthEvents
•  contract DSAuth is DSAuthEvents
•    - function setOwner(address owner_)
•    - function setAuthority(DSAuthority aut ...
•    - function isAuthorized(address src, by ...
•  contract DSNote
•  contract DSMath
•    - function add(uint x, uint y)
•    - function sub(uint x, uint y)
•    - function mul(uint x, uint y)
•    - function min(uint x, uint y)
•    - function max(uint x, uint y)
•    - function imin(int x, int y)
•    - function imax(int x, int y)
•    - function wmul(uint x, uint y)
•    - function rmul(uint x, uint y)
•    - function wdiv(uint x, uint y)
•    - function rdiv(uint x, uint y)
•    - function rpow(uint x, uint n)
•  contract DSThing is DSAuth, DSNote ...
•    - function S(string memory s)
•  contract DSValue is DSThing
•    - function peek()
•    - function read()
•    - function poke(bytes32 wut)
•    - function void()
•  contract RwaLiquidationOracle *
•    - function rely(address usr)
•    - function deny(address usr)
•    - function add(uint48 x, uint48 y)
•    - function mul(uint256 x, uint256 y)
•    - function file(bytes32 what, address d ...
•    - function init(bytes32 ilk, uint256 va ...
•    - function bump(bytes32 ilk, uint256 va ...
•    - function tell(bytes32 ilk)
•    - function cure(bytes32 ilk)
•    - function cull(bytes32 ilk, address ur ...
•    - function good(bytes32 ilk)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

/**
 *Submitted for verification at Etherscan.io on 2021-03-02
*/

// Copyright (C) 2020, 2021 Lev Livnev <[email protected]>
//
// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU Affero General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
//
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU Affero General Public License for more details.
//
// You should have received a copy of the GNU Affero General Public License
// along with this program.  If not, see <https://www.gnu.org/licenses/>.

pragma solidity >=0.5.12;

interface VatAbstract {
    function wards(address) external view returns (uint256);
    function rely(address) external;
    function deny(address) external;
    function can(address, address) external view returns (uint256);
    function hope(address) external;
    function nope(address) external;
    function ilks(bytes32) external view returns (uint256, uint256, uint256, uint256, uint256);
    function urns(bytes32, address) external view returns (uint256, uint256);
    function gem(bytes32, address) external view returns (uint256);
    function dai(address) external view returns (uint256);
    function sin(address) external view returns (uint256);
    function debt() external view returns (uint256);
    function vice() external view returns (uint256);
    function Line() external view returns (uint256);
    function live() external view returns (uint256);
    function init(bytes32) external;
    function file(bytes32, uint256) external;
    function file(bytes32, bytes32, uint256) external;
    function cage() external;
    function slip(bytes32, address, int256) external;
    function flux(bytes32, address, address, uint256) external;
    function move(address, address, uint256) external;
    function frob(bytes32, address, address, address, int256, int256) external;
    function fork(bytes32, address, address, int256, int256) external;
    function grab(bytes32, address, address, address, int256, int256) external;
    function heal(uint256) external;
    function suck(address, address, uint256) external;
    function fold(bytes32, address, int256) external;
}

interface DSAuthority {
    function canCall(
        address src, address dst, bytes4 sig
    ) external view returns (bool);
}

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

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

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

    function setOwner(address owner_)
        public
        auth
    {
        owner = owner_;
        emit LogSetOwner(owner);
    }

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

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

    function isAuthorized(address src, bytes4 sig) internal view returns (bool) {
        if (src == address(this)) {
            return true;
        } else if (src == owner) {
            return true;
        } else if (authority == DSAuthority(0)) {
            return false;
        } else {
            return authority.canCall(src, address(this), sig);
        }
    }
}

pragma solidity >=0.4.23;

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 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 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;

    //rounds to zero if x*y < WAD / 2
    function wmul(uint x, uint y) internal pure returns (uint z) {
        z = add(mul(x, y), WAD / 2) / WAD;
    }
    //rounds to zero if x*y < WAD / 2
    function rmul(uint x, uint y) internal pure returns (uint z) {
        z = add(mul(x, y), RAY / 2) / RAY;
    }
    //rounds to zero if x*y < WAD / 2
    function wdiv(uint x, uint y) internal pure returns (uint z) {
        z = add(mul(x, WAD), y / 2) / y;
    }
    //rounds to zero if x*y < RAY / 2
    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) {
        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);
            }
        }
    }
}

contract DSThing is DSAuth, DSNote, DSMath {
    function S(string memory s) internal pure returns (bytes4) {
        return bytes4(keccak256(abi.encodePacked(s)));
    }

}

contract DSValue is DSThing {
    bool    has;
    bytes32 val;
    function peek() public view returns (bytes32, bool) {
        return (val,has);
    }
    function read() public view returns (bytes32) {
        bytes32 wut; bool haz;
        (wut, haz) = peek();
        require(haz, "haz-not");
        return wut;
    }
    function poke(bytes32 wut) public note auth {
        val = wut;
        has = true;
    }
    function void() public note auth {  // unset the value
        has = false;
    }
}

contract RwaLiquidationOracle {
    // --- auth ---
    mapping (address => uint256) public wards;
    function rely(address usr) external auth {
        wards[usr] = 1;
        emit Rely(usr);
    }
    function deny(address usr) external auth {
        wards[usr] = 0;
        emit Deny(usr);
    }
    modifier auth {
        require(wards[msg.sender] == 1, "RwaOracle/not-authorized");
        _;
    }

    // --- math ---
    function add(uint48 x, uint48 y) internal pure returns (uint48 z) {
        require((z = x + y) >= x);
    }
    function mul(uint256 x, uint256 y) internal pure returns (uint256 z) {
        require(y == 0 || (z = x * y) / y == x);
    }

    VatAbstract public vat;
    address     public vow;
    struct Ilk {
        string  doc; // hash of borrower's agreement with MakerDAO
        address pip; // DSValue tracking nominal loan value
        uint48  tau; // pre-agreed remediation period
        uint48  toc; // timestamp when liquidation initiated
    }
    mapping (bytes32 => Ilk) public ilks;

    // Events
    event Rely(address indexed usr);
    event Deny(address indexed usr);
    event File(bytes32 indexed what, address data);
    event Init(bytes32 indexed ilk, uint256 val, string doc, uint48 tau);
    event Bump(bytes32 indexed ilk, uint256 val);
    event Tell(bytes32 indexed ilk);
    event Cure(bytes32 indexed ilk);
    event Cull(bytes32 indexed ilk, address indexed urn);

    constructor(address vat_, address vow_) public {
        vat = VatAbstract(vat_);
        vow = vow_;
        wards[msg.sender] = 1;
        emit Rely(msg.sender);
        emit File("vow", vow_);
    }

    // --- administration ---
    function file(bytes32 what, address data) external auth {
        if (what == "vow") { vow = data; }
        else revert("RwaOracle/unrecognised-param");
        emit File(what, data);
    }

    function init(bytes32 ilk, uint256 val, string calldata doc, uint48 tau) external auth {
        // doc, and tau can be amended, but tau cannot decrease
        require(tau >= ilks[ilk].tau, "RwaOracle/decreasing-tau");
        ilks[ilk].doc = doc;
        ilks[ilk].tau = tau;
        if (ilks[ilk].pip == address(0)) {
            DSValue pip = new DSValue();
            ilks[ilk].pip = address(pip);
            pip.poke(bytes32(val));
        } else {
            val = uint256(DSValue(ilks[ilk].pip).read());
        }
        emit Init(ilk, val, doc, tau);
    }

    // --- valuation adjustment ---
    function bump(bytes32 ilk, uint256 val) external auth {
        DSValue pip = DSValue(ilks[ilk].pip);
        require(address(pip) != address(0), "RwaOracle/unknown-ilk");
        require(ilks[ilk].toc == 0, "RwaOracle/in-remediation");
        // only cull can decrease
        require(val >= uint256(pip.read()), "RwaOracle/decreasing-val");
        pip.poke(bytes32(val));
        emit Bump(ilk, val);
    }
    // --- liquidation ---
    function tell(bytes32 ilk) external auth {
        (,,,uint256 line,) = vat.ilks(ilk);
        // DC must be set to zero first
        require(line == 0, "RwaOracle/nonzero-line");
        require(ilks[ilk].pip != address(0), "RwaOracle/unknown-ilk");
        ilks[ilk].toc = uint48(block.timestamp);
        emit Tell(ilk);
    }
    // --- remediation ---
    function cure(bytes32 ilk) external auth {
        require(ilks[ilk].pip != address(0), "RwaOracle/unknown-ilk");
        require(ilks[ilk].toc > 0, "RwaOracle/not-in-remediation");
        ilks[ilk].toc = 0;
        emit Cure(ilk);
    }
    // --- write-off ---
    function cull(bytes32 ilk, address urn) external auth {
        require(ilks[ilk].pip != address(0), "RwaOracle/unknown-ilk");
        require(block.timestamp >= add(ilks[ilk].toc, ilks[ilk].tau), "RwaOracle/early-cull");

        DSValue(ilks[ilk].pip).poke(bytes32(uint256(0)));

        (uint256 ink, uint256 art) = vat.urns(ilk, urn);
        require(ink <= 2 ** 255, "RwaOracle/overflow");
        require(art <= 2 ** 255, "RwaOracle/overflow");

        vat.grab(ilk,
                 address(urn),
                 address(this),
                 address(vow),
                 -int256(ink),
                 -int256(art));
        emit Cull(ilk, urn);
    }

    // --- liquidation check ---
    // to be called by off-chain parties (e.g. a trustee) to check the standing of the loan
    function good(bytes32 ilk) external view returns (bool) {
        require(ilks[ilk].pip != address(0), "RwaOracle/unknown-ilk");
        // tell not called or still in remediation period
        return (ilks[ilk].toc == 0 || block.timestamp < add(ilks[ilk].toc, ilks[ilk].tau));
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"vat_","type":"address"},{"internalType":"address","name":"vow_","type":"address"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"ilk","type":"bytes32"},{"indexed":false,"internalType":"uint256","name":"val","type":"uint256"}],"name":"Bump","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"ilk","type":"bytes32"},{"indexed":true,"internalType":"address","name":"urn","type":"address"}],"name":"Cull","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"ilk","type":"bytes32"}],"name":"Cure","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"usr","type":"address"}],"name":"Deny","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"what","type":"bytes32"},{"indexed":false,"internalType":"address","name":"data","type":"address"}],"name":"File","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"ilk","type":"bytes32"},{"indexed":false,"internalType":"uint256","name":"val","type":"uint256"},{"indexed":false,"internalType":"string","name":"doc","type":"string"},{"indexed":false,"internalType":"uint48","name":"tau","type":"uint48"}],"name":"Init","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"usr","type":"address"}],"name":"Rely","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"ilk","type":"bytes32"}],"name":"Tell","type":"event"},{"constant":false,"inputs":[{"internalType":"bytes32","name":"ilk","type":"bytes32"},{"internalType":"uint256","name":"val","type":"uint256"}],"name":"bump","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"bytes32","name":"ilk","type":"bytes32"},{"internalType":"address","name":"urn","type":"address"}],"name":"cull","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"bytes32","name":"ilk","type":"bytes32"}],"name":"cure","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"usr","type":"address"}],"name":"deny","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"bytes32","name":"what","type":"bytes32"},{"internalType":"address","name":"data","type":"address"}],"name":"file","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"bytes32","name":"ilk","type":"bytes32"}],"name":"good","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"name":"ilks","outputs":[{"internalType":"string","name":"doc","type":"string"},{"internalType":"address","name":"pip","type":"address"},{"internalType":"uint48","name":"tau","type":"uint48"},{"internalType":"uint48","name":"toc","type":"uint48"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"bytes32","name":"ilk","type":"bytes32"},{"internalType":"uint256","name":"val","type":"uint256"},{"internalType":"string","name":"doc","type":"string"},{"internalType":"uint48","name":"tau","type":"uint48"}],"name":"init","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"usr","type":"address"}],"name":"rely","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"bytes32","name":"ilk","type":"bytes32"}],"name":"tell","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"vat","outputs":[{"internalType":"contract VatAbstract","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"vow","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"wards","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"}]

608060405234801561001057600080fd5b506040516130963803806130968339818101604052604081101561003357600080fd5b81019080805190602001909291908051906020019092919050505081600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167fdd0e34038ac38b2a1ce960229778ac48a8719bc900b6c4f8d0475c6e8b385a6060405160405180910390a27f766f7700000000000000000000000000000000000000000000000000000000007f8fef588b5fc1afbf5b2f06c1a435d513f208da2e6704c3d8f0e0ec91167066ba82604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a25050612eaa806101ec6000396000f3fe608060405234801561001057600080fd5b50600436106100cf5760003560e01c80639fcdeba61161008c578063d4e8be8311610066578063d4e8be8314610391578063d9638d36146103df578063e9eb09f6146104e7578063f1fad3301461051f576100cf565b80639fcdeba6146102dd578063bf353dbb1461030b578063c881986c14610363576100cf565b80630d9bb087146100d45780633304e2821461012257806336569e77146101c1578063626cb3c51461020b57806365fae35e146102555780639c52a7f114610299575b600080fd5b610120600480360360408110156100ea57600080fd5b8101908080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610565565b005b6101bf6004803603608081101561013857600080fd5b8101908080359060200190929190803590602001909291908035906020019064010000000081111561016957600080fd5b82018360208201111561017b57600080fd5b8035906020019184600183028401116401000000008311171561019d57600080fd5b9091929391929390803565ffffffffffff169060200190929190505050610c36565b005b6101c96110a0565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6102136110c6565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6102976004803603602081101561026b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506110ec565b005b6102db600480360360208110156102af57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061122a565b005b610309600480360360208110156102f357600080fd5b8101908080359060200190929190505050611368565b005b61034d6004803603602081101561032157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611605565b6040518082815260200191505060405180910390f35b61038f6004803603602081101561037957600080fd5b810190808035906020019092919050505061161d565b005b6103dd600480360360408110156103a757600080fd5b8101908080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611968565b005b61040b600480360360208110156103f557600080fd5b8101908080359060200190929190505050611b60565b60405180806020018573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018465ffffffffffff1665ffffffffffff1681526020018365ffffffffffff1665ffffffffffff168152602001828103825286818151815260200191508051906020019080838360005b838110156104a957808201518184015260208101905061048e565b50505050905090810190601f1680156104d65780820380516001836020036101000a031916815260200191505b509550505050505060405180910390f35b61051d600480360360408110156104fd57600080fd5b810190808035906020019092919080359060200190929190505050611c6c565b005b61054b6004803603602081101561053557600080fd5b8101908080359060200190929190505050612048565b604051808215151515815260200191505060405180910390f35b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414610619576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f5277614f7261636c652f6e6f742d617574686f72697a6564000000000000000081525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff166003600084815260200190815260200160002060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614156106f2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f5277614f7261636c652f756e6b6e6f776e2d696c6b000000000000000000000081525060200191505060405180910390fd5b61074c60036000848152602001908152602001600020600101601a9054906101000a900465ffffffffffff166003600085815260200190815260200160002060010160149054906101000a900465ffffffffffff166121c8565b65ffffffffffff164210156107c9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f5277614f7261636c652f6561726c792d63756c6c00000000000000000000000081525060200191505060405180910390fd5b6003600083815260200190815260200160002060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16631504460f6000801b6040518263ffffffff1660e01b815260040180828152602001915050600060405180830381600087803b15801561085557600080fd5b505af1158015610869573d6000803e3d6000fd5b50505050600080600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16632424be5c85856040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200192505050604080518083038186803b15801561091657600080fd5b505afa15801561092a573d6000803e3d6000fd5b505050506040513d604081101561094057600080fd5b810190808051906020019092919080519060200190929190505050915091507f80000000000000000000000000000000000000000000000000000000000000008211156109f5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f5277614f7261636c652f6f766572666c6f77000000000000000000000000000081525060200191505060405180910390fd5b7f8000000000000000000000000000000000000000000000000000000000000000811115610a8b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f5277614f7261636c652f6f766572666c6f77000000000000000000000000000081525060200191505060405180910390fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16637bab3f40858530600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1687600003876000036040518763ffffffff1660e01b8152600401808781526020018673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018381526020018281526020019650505050505050600060405180830381600087803b158015610bd457600080fd5b505af1158015610be8573d6000803e3d6000fd5b505050508273ffffffffffffffffffffffffffffffffffffffff16847f9b39535ec34e14a93328be1f7e61f415eec9809b3d2a902b4c3dedb42f0c870c60405160405180910390a350505050565b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414610cea576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f5277614f7261636c652f6e6f742d617574686f72697a6564000000000000000081525060200191505060405180910390fd5b6003600086815260200190815260200160002060010160149054906101000a900465ffffffffffff1665ffffffffffff168165ffffffffffff161015610d98576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f5277614f7261636c652f64656372656173696e672d746175000000000000000081525060200191505060405180910390fd5b8282600360008881526020019081526020016000206000019190610dbd9291906121f2565b50806003600087815260200190815260200160002060010160146101000a81548165ffffffffffff021916908365ffffffffffff160217905550600073ffffffffffffffffffffffffffffffffffffffff166003600087815260200190815260200160002060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415610f58576000604051610e7090612272565b604051809103906000f080158015610e8c573d6000803e3d6000fd5b509050806003600088815260200190815260200160002060010160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff16631504460f8660001b6040518263ffffffff1660e01b815260040180828152602001915050600060405180830381600087803b158015610f3a57600080fd5b505af1158015610f4e573d6000803e3d6000fd5b5050505050611015565b6003600086815260200190815260200160002060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166357de26a46040518163ffffffff1660e01b815260040160206040518083038186803b158015610fd457600080fd5b505afa158015610fe8573d6000803e3d6000fd5b505050506040513d6020811015610ffe57600080fd5b810190808051906020019092919050505060001c93505b847f8a99605e1142f58396e9f93017f6597e6f0cef6d47f77cc422033d4f80331ae48585858560405180858152602001806020018365ffffffffffff1665ffffffffffff1681526020018281038252858582818152602001925080828437600081840152601f19601f8201169050808301925050509550505050505060405180910390a25050505050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054146111a0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f5277614f7261636c652f6e6f742d617574686f72697a6564000000000000000081525060200191505060405180910390fd5b60016000808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508073ffffffffffffffffffffffffffffffffffffffff167fdd0e34038ac38b2a1ce960229778ac48a8719bc900b6c4f8d0475c6e8b385a6060405160405180910390a250565b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054146112de576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f5277614f7261636c652f6e6f742d617574686f72697a6564000000000000000081525060200191505060405180910390fd5b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508073ffffffffffffffffffffffffffffffffffffffff167f184450df2e323acec0ed3b5c7531b81f9b4cdef7914dfd4c0a4317416bb5251b60405160405180910390a250565b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541461141c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f5277614f7261636c652f6e6f742d617574686f72697a6564000000000000000081525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff166003600083815260200190815260200160002060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614156114f5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f5277614f7261636c652f756e6b6e6f776e2d696c6b000000000000000000000081525060200191505060405180910390fd5b600060036000838152602001908152602001600020600101601a9054906101000a900465ffffffffffff1665ffffffffffff161161159b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f5277614f7261636c652f6e6f742d696e2d72656d6564696174696f6e0000000081525060200191505060405180910390fd5b600060036000838152602001908152602001600020600101601a6101000a81548165ffffffffffff021916908365ffffffffffff160217905550807f59cc51b6b7601a171c376803cec950d480385ea3486ba0c34e0b7bdb4483347260405160405180910390a250565b60006020528060005260406000206000915090505481565b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054146116d1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f5277614f7261636c652f6e6f742d617574686f72697a6564000000000000000081525060200191505060405180910390fd5b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663d9638d36836040518263ffffffff1660e01b81526004018082815260200191505060a06040518083038186803b15801561174657600080fd5b505afa15801561175a573d6000803e3d6000fd5b505050506040513d60a081101561177057600080fd5b81019080805190602001909291908051906020019092919080519060200190929190805190602001909291908051906020019092919050505050935050505060008114611825576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f5277614f7261636c652f6e6f6e7a65726f2d6c696e650000000000000000000081525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff166003600084815260200190815260200160002060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614156118fe576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f5277614f7261636c652f756e6b6e6f776e2d696c6b000000000000000000000081525060200191505060405180910390fd5b4260036000848152602001908152602001600020600101601a6101000a81548165ffffffffffff021916908365ffffffffffff160217905550817fc6849e4b55ae3f3ef2563004433f7b6b01e6ead3ef575d400d4647edc7ede12960405160405180910390a25050565b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414611a1c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f5277614f7261636c652f6e6f742d617574686f72697a6564000000000000000081525060200191505060405180910390fd5b7f766f770000000000000000000000000000000000000000000000000000000000821415611a8a5780600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550611af8565b6040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f5277614f7261636c652f756e7265636f676e697365642d706172616d0000000081525060200191505060405180910390fd5b817f8fef588b5fc1afbf5b2f06c1a435d513f208da2e6704c3d8f0e0ec91167066ba82604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a25050565b6003602052806000526040600020600091509050806000018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015611c0c5780601f10611be157610100808354040283529160200191611c0c565b820191906000526020600020905b815481529060010190602001808311611bef57829003601f168201915b5050505050908060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16908060010160149054906101000a900465ffffffffffff169080600101601a9054906101000a900465ffffffffffff16905084565b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414611d20576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f5277614f7261636c652f6e6f742d617574686f72697a6564000000000000000081525060200191505060405180910390fd5b60006003600084815260200190815260200160002060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415611dfe576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f5277614f7261636c652f756e6b6e6f776e2d696c6b000000000000000000000081525060200191505060405180910390fd5b600060036000858152602001908152602001600020600101601a9054906101000a900465ffffffffffff1665ffffffffffff1614611ea4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f5277614f7261636c652f696e2d72656d6564696174696f6e000000000000000081525060200191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166357de26a46040518163ffffffff1660e01b815260040160206040518083038186803b158015611eea57600080fd5b505afa158015611efe573d6000803e3d6000fd5b505050506040513d6020811015611f1457600080fd5b810190808051906020019092919050505060001c821015611f9d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f5277614f7261636c652f64656372656173696e672d76616c000000000000000081525060200191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff16631504460f8360001b6040518263ffffffff1660e01b815260040180828152602001915050600060405180830381600087803b158015611ff357600080fd5b505af1158015612007573d6000803e3d6000fd5b50505050827f410d2bd57d18419e442f5e911a3bc3073f2cdce69a60532dada09a762daf3f2c836040518082815260200191505060405180910390a2505050565b60008073ffffffffffffffffffffffffffffffffffffffff166003600084815260200190815260200160002060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415612122576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f5277614f7261636c652f756e6b6e6f776e2d696c6b000000000000000000000081525060200191505060405180910390fd5b600060036000848152602001908152602001600020600101601a9054906101000a900465ffffffffffff1665ffffffffffff1614806121c157506121b660036000848152602001908152602001600020600101601a9054906101000a900465ffffffffffff166003600085815260200190815260200160002060010160149054906101000a900465ffffffffffff166121c8565b65ffffffffffff1642105b9050919050565b60008265ffffffffffff1682840191508165ffffffffffff1610156121ec57600080fd5b92915050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061223357803560ff1916838001178555612261565b82800160010185558215612261579182015b82811115612260578235825591602001919060010190612245565b5b50905061226e919061227f565b5090565b610bd1806122a583390190565b6122a191905b8082111561229d576000816000905550600101612285565b5090565b9056fe608060405233600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055503373ffffffffffffffffffffffffffffffffffffffff167fce241d7ca1f669fee44b6fc00b8eba2df3bb514eed0f6f668f8f89096e81ed9460405160405180910390a2610b3a806100976000396000f3fe608060405234801561001057600080fd5b50600436106100885760003560e01c80637a9e5e4b1161005b5780637a9e5e4b146101465780638da5cb5b1461018a578063ac4c25b2146101d4578063bf7e214f146101de57610088565b806313af40351461008d5780631504460f146100d157806357de26a4146100ff57806359e02dd71461011d575b600080fd5b6100cf600480360360208110156100a357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610228565b005b6100fd600480360360208110156100e757600080fd5b8101908080359060200190929190505050610371565b005b6101076104f2565b6040518082815260200191505060405180910390f35b610125610582565b60405180838152602001821515151581526020019250505060405180910390f35b6101886004803603602081101561015c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506105a0565b005b6101926106e7565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6101dc61070d565b005b6101e6610887565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610256336000357fffffffff00000000000000000000000000000000000000000000000000000000166108ac565b6102c8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f64732d617574682d756e617574686f72697a656400000000000000000000000081525060200191505060405180910390fd5b80600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fce241d7ca1f669fee44b6fc00b8eba2df3bb514eed0f6f668f8f89096e81ed9460405160405180910390a250565b6000806000600435925060243591503490506103b1336000357fffffffff00000000000000000000000000000000000000000000000000000000166108ac565b610423576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f64732d617574682d756e617574686f72697a656400000000000000000000000081525060200191505060405180910390fd5b8360028190555060018060146101000a81548160ff02191690831515021790555081833373ffffffffffffffffffffffffffffffffffffffff166000357fffffffff00000000000000000000000000000000000000000000000000000000167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19168460003660405180848152602001806020018281038252848482818152602001925080828437600081840152601f19601f82011690508083019250505094505050505060405180910390a450505050565b60008060006104ff610582565b80925081935050508061057a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260078152602001807f68617a2d6e6f740000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b819250505090565b600080600254600160149054906101000a900460ff16915091509091565b6105ce336000357fffffffff00000000000000000000000000000000000000000000000000000000166108ac565b610640576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f64732d617574682d756e617574686f72697a656400000000000000000000000081525060200191505060405180910390fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f1abebea81bfa2637f28358c371278fb15ede7ea8dd28d2e03b112ff6d936ada460405160405180910390a250565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008060006004359250602435915034905061074d336000357fffffffff00000000000000000000000000000000000000000000000000000000166108ac565b6107bf576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f64732d617574682d756e617574686f72697a656400000000000000000000000081525060200191505060405180910390fd5b6000600160146101000a81548160ff02191690831515021790555081833373ffffffffffffffffffffffffffffffffffffffff166000357fffffffff00000000000000000000000000000000000000000000000000000000167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19168460003660405180848152602001806020018281038252848482818152602001925080828437600081840152601f19601f82011690508083019250505094505050505060405180910390a4505050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60003073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156108eb5760019050610aff565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561094a5760019050610aff565b600073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614156109a95760009050610aff565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663b70096138430856040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19168152602001935050505060206040518083038186803b158015610ac157600080fd5b505afa158015610ad5573d6000803e3d6000fd5b505050506040513d6020811015610aeb57600080fd5b810190808051906020019092919050505090505b9291505056fea265627a7a72315820259241bc8c36731836f9e9916813f6c11de42be1521557a9410e8c87cab84bc564736f6c634300050c0032a265627a7a72315820e15deb7225711df4bf70ed86db4786bf0395886e2ea1ce3f6e642b9a0c67b92664736f6c634300050c003200000000000000000000000035d1b3f3d7966a1dfe207aa4514c12a259a0492b000000000000000000000000a950524441892a31ebddf91d3ceefa04bf454466

0x608060405234801561001057600080fd5b50600436106100cf5760003560e01c80639fcdeba61161008c578063d4e8be8311610066578063d4e8be8314610391578063d9638d36146103df578063e9eb09f6146104e7578063f1fad3301461051f576100cf565b80639fcdeba6146102dd578063bf353dbb1461030b578063c881986c14610363576100cf565b80630d9bb087146100d45780633304e2821461012257806336569e77146101c1578063626cb3c51461020b57806365fae35e146102555780639c52a7f114610299575b600080fd5b610120600480360360408110156100ea57600080fd5b8101908080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610565565b005b6101bf6004803603608081101561013857600080fd5b8101908080359060200190929190803590602001909291908035906020019064010000000081111561016957600080fd5b82018360208201111561017b57600080fd5b8035906020019184600183028401116401000000008311171561019d57600080fd5b9091929391929390803565ffffffffffff169060200190929190505050610c36565b005b6101c96110a0565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6102136110c6565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6102976004803603602081101561026b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506110ec565b005b6102db600480360360208110156102af57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061122a565b005b610309600480360360208110156102f357600080fd5b8101908080359060200190929190505050611368565b005b61034d6004803603602081101561032157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611605565b6040518082815260200191505060405180910390f35b61038f6004803603602081101561037957600080fd5b810190808035906020019092919050505061161d565b005b6103dd600480360360408110156103a757600080fd5b8101908080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611968565b005b61040b600480360360208110156103f557600080fd5b8101908080359060200190929190505050611b60565b60405180806020018573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018465ffffffffffff1665ffffffffffff1681526020018365ffffffffffff1665ffffffffffff168152602001828103825286818151815260200191508051906020019080838360005b838110156104a957808201518184015260208101905061048e565b50505050905090810190601f1680156104d65780820380516001836020036101000a031916815260200191505b509550505050505060405180910390f35b61051d600480360360408110156104fd57600080fd5b810190808035906020019092919080359060200190929190505050611c6c565b005b61054b6004803603602081101561053557600080fd5b8101908080359060200190929190505050612048565b604051808215151515815260200191505060405180910390f35b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414610619576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f5277614f7261636c652f6e6f742d617574686f72697a6564000000000000000081525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff166003600084815260200190815260200160002060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614156106f2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f5277614f7261636c652f756e6b6e6f776e2d696c6b000000000000000000000081525060200191505060405180910390fd5b61074c60036000848152602001908152602001600020600101601a9054906101000a900465ffffffffffff166003600085815260200190815260200160002060010160149054906101000a900465ffffffffffff166121c8565b65ffffffffffff164210156107c9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f5277614f7261636c652f6561726c792d63756c6c00000000000000000000000081525060200191505060405180910390fd5b6003600083815260200190815260200160002060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16631504460f6000801b6040518263ffffffff1660e01b815260040180828152602001915050600060405180830381600087803b15801561085557600080fd5b505af1158015610869573d6000803e3d6000fd5b50505050600080600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16632424be5c85856040518363ffffffff1660e01b8152600401808381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200192505050604080518083038186803b15801561091657600080fd5b505afa15801561092a573d6000803e3d6000fd5b505050506040513d604081101561094057600080fd5b810190808051906020019092919080519060200190929190505050915091507f80000000000000000000000000000000000000000000000000000000000000008211156109f5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f5277614f7261636c652f6f766572666c6f77000000000000000000000000000081525060200191505060405180910390fd5b7f8000000000000000000000000000000000000000000000000000000000000000811115610a8b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f5277614f7261636c652f6f766572666c6f77000000000000000000000000000081525060200191505060405180910390fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16637bab3f40858530600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1687600003876000036040518763ffffffff1660e01b8152600401808781526020018673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018381526020018281526020019650505050505050600060405180830381600087803b158015610bd457600080fd5b505af1158015610be8573d6000803e3d6000fd5b505050508273ffffffffffffffffffffffffffffffffffffffff16847f9b39535ec34e14a93328be1f7e61f415eec9809b3d2a902b4c3dedb42f0c870c60405160405180910390a350505050565b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414610cea576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f5277614f7261636c652f6e6f742d617574686f72697a6564000000000000000081525060200191505060405180910390fd5b6003600086815260200190815260200160002060010160149054906101000a900465ffffffffffff1665ffffffffffff168165ffffffffffff161015610d98576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f5277614f7261636c652f64656372656173696e672d746175000000000000000081525060200191505060405180910390fd5b8282600360008881526020019081526020016000206000019190610dbd9291906121f2565b50806003600087815260200190815260200160002060010160146101000a81548165ffffffffffff021916908365ffffffffffff160217905550600073ffffffffffffffffffffffffffffffffffffffff166003600087815260200190815260200160002060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415610f58576000604051610e7090612272565b604051809103906000f080158015610e8c573d6000803e3d6000fd5b509050806003600088815260200190815260200160002060010160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff16631504460f8660001b6040518263ffffffff1660e01b815260040180828152602001915050600060405180830381600087803b158015610f3a57600080fd5b505af1158015610f4e573d6000803e3d6000fd5b5050505050611015565b6003600086815260200190815260200160002060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166357de26a46040518163ffffffff1660e01b815260040160206040518083038186803b158015610fd457600080fd5b505afa158015610fe8573d6000803e3d6000fd5b505050506040513d6020811015610ffe57600080fd5b810190808051906020019092919050505060001c93505b847f8a99605e1142f58396e9f93017f6597e6f0cef6d47f77cc422033d4f80331ae48585858560405180858152602001806020018365ffffffffffff1665ffffffffffff1681526020018281038252858582818152602001925080828437600081840152601f19601f8201169050808301925050509550505050505060405180910390a25050505050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054146111a0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f5277614f7261636c652f6e6f742d617574686f72697a6564000000000000000081525060200191505060405180910390fd5b60016000808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508073ffffffffffffffffffffffffffffffffffffffff167fdd0e34038ac38b2a1ce960229778ac48a8719bc900b6c4f8d0475c6e8b385a6060405160405180910390a250565b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054146112de576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f5277614f7261636c652f6e6f742d617574686f72697a6564000000000000000081525060200191505060405180910390fd5b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508073ffffffffffffffffffffffffffffffffffffffff167f184450df2e323acec0ed3b5c7531b81f9b4cdef7914dfd4c0a4317416bb5251b60405160405180910390a250565b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541461141c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f5277614f7261636c652f6e6f742d617574686f72697a6564000000000000000081525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff166003600083815260200190815260200160002060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614156114f5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f5277614f7261636c652f756e6b6e6f776e2d696c6b000000000000000000000081525060200191505060405180910390fd5b600060036000838152602001908152602001600020600101601a9054906101000a900465ffffffffffff1665ffffffffffff161161159b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f5277614f7261636c652f6e6f742d696e2d72656d6564696174696f6e0000000081525060200191505060405180910390fd5b600060036000838152602001908152602001600020600101601a6101000a81548165ffffffffffff021916908365ffffffffffff160217905550807f59cc51b6b7601a171c376803cec950d480385ea3486ba0c34e0b7bdb4483347260405160405180910390a250565b60006020528060005260406000206000915090505481565b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054146116d1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f5277614f7261636c652f6e6f742d617574686f72697a6564000000000000000081525060200191505060405180910390fd5b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663d9638d36836040518263ffffffff1660e01b81526004018082815260200191505060a06040518083038186803b15801561174657600080fd5b505afa15801561175a573d6000803e3d6000fd5b505050506040513d60a081101561177057600080fd5b81019080805190602001909291908051906020019092919080519060200190929190805190602001909291908051906020019092919050505050935050505060008114611825576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f5277614f7261636c652f6e6f6e7a65726f2d6c696e650000000000000000000081525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff166003600084815260200190815260200160002060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614156118fe576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f5277614f7261636c652f756e6b6e6f776e2d696c6b000000000000000000000081525060200191505060405180910390fd5b4260036000848152602001908152602001600020600101601a6101000a81548165ffffffffffff021916908365ffffffffffff160217905550817fc6849e4b55ae3f3ef2563004433f7b6b01e6ead3ef575d400d4647edc7ede12960405160405180910390a25050565b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414611a1c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f5277614f7261636c652f6e6f742d617574686f72697a6564000000000000000081525060200191505060405180910390fd5b7f766f770000000000000000000000000000000000000000000000000000000000821415611a8a5780600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550611af8565b6040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f5277614f7261636c652f756e7265636f676e697365642d706172616d0000000081525060200191505060405180910390fd5b817f8fef588b5fc1afbf5b2f06c1a435d513f208da2e6704c3d8f0e0ec91167066ba82604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a25050565b6003602052806000526040600020600091509050806000018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015611c0c5780601f10611be157610100808354040283529160200191611c0c565b820191906000526020600020905b815481529060010190602001808311611bef57829003601f168201915b5050505050908060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16908060010160149054906101000a900465ffffffffffff169080600101601a9054906101000a900465ffffffffffff16905084565b60016000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414611d20576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f5277614f7261636c652f6e6f742d617574686f72697a6564000000000000000081525060200191505060405180910390fd5b60006003600084815260200190815260200160002060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415611dfe576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f5277614f7261636c652f756e6b6e6f776e2d696c6b000000000000000000000081525060200191505060405180910390fd5b600060036000858152602001908152602001600020600101601a9054906101000a900465ffffffffffff1665ffffffffffff1614611ea4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f5277614f7261636c652f696e2d72656d6564696174696f6e000000000000000081525060200191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166357de26a46040518163ffffffff1660e01b815260040160206040518083038186803b158015611eea57600080fd5b505afa158015611efe573d6000803e3d6000fd5b505050506040513d6020811015611f1457600080fd5b810190808051906020019092919050505060001c821015611f9d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f5277614f7261636c652f64656372656173696e672d76616c000000000000000081525060200191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff16631504460f8360001b6040518263ffffffff1660e01b815260040180828152602001915050600060405180830381600087803b158015611ff357600080fd5b505af1158015612007573d6000803e3d6000fd5b50505050827f410d2bd57d18419e442f5e911a3bc3073f2cdce69a60532dada09a762daf3f2c836040518082815260200191505060405180910390a2505050565b60008073ffffffffffffffffffffffffffffffffffffffff166003600084815260200190815260200160002060010160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415612122576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f5277614f7261636c652f756e6b6e6f776e2d696c6b000000000000000000000081525060200191505060405180910390fd5b600060036000848152602001908152602001600020600101601a9054906101000a900465ffffffffffff1665ffffffffffff1614806121c157506121b660036000848152602001908152602001600020600101601a9054906101000a900465ffffffffffff166003600085815260200190815260200160002060010160149054906101000a900465ffffffffffff166121c8565b65ffffffffffff1642105b9050919050565b60008265ffffffffffff1682840191508165ffffffffffff1610156121ec57600080fd5b92915050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061223357803560ff1916838001178555612261565b82800160010185558215612261579182015b82811115612260578235825591602001919060010190612245565b5b50905061226e919061227f565b5090565b610bd1806122a583390190565b6122a191905b8082111561229d576000816000905550600101612285565b5090565b9056fe608060405233600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055503373ffffffffffffffffffffffffffffffffffffffff167fce241d7ca1f669fee44b6fc00b8eba2df3bb514eed0f6f668f8f89096e81ed9460405160405180910390a2610b3a806100976000396000f3fe608060405234801561001057600080fd5b50600436106100885760003560e01c80637a9e5e4b1161005b5780637a9e5e4b146101465780638da5cb5b1461018a578063ac4c25b2146101d4578063bf7e214f146101de57610088565b806313af40351461008d5780631504460f146100d157806357de26a4146100ff57806359e02dd71461011d575b600080fd5b6100cf600480360360208110156100a357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610228565b005b6100fd600480360360208110156100e757600080fd5b8101908080359060200190929190505050610371565b005b6101076104f2565b6040518082815260200191505060405180910390f35b610125610582565b60405180838152602001821515151581526020019250505060405180910390f35b6101886004803603602081101561015c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506105a0565b005b6101926106e7565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6101dc61070d565b005b6101e6610887565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610256336000357fffffffff00000000000000000000000000000000000000000000000000000000166108ac565b6102c8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f64732d617574682d756e617574686f72697a656400000000000000000000000081525060200191505060405180910390fd5b80600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fce241d7ca1f669fee44b6fc00b8eba2df3bb514eed0f6f668f8f89096e81ed9460405160405180910390a250565b6000806000600435925060243591503490506103b1336000357fffffffff00000000000000000000000000000000000000000000000000000000166108ac565b610423576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f64732d617574682d756e617574686f72697a656400000000000000000000000081525060200191505060405180910390fd5b8360028190555060018060146101000a81548160ff02191690831515021790555081833373ffffffffffffffffffffffffffffffffffffffff166000357fffffffff00000000000000000000000000000000000000000000000000000000167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19168460003660405180848152602001806020018281038252848482818152602001925080828437600081840152601f19601f82011690508083019250505094505050505060405180910390a450505050565b60008060006104ff610582565b80925081935050508061057a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260078152602001807f68617a2d6e6f740000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b819250505090565b600080600254600160149054906101000a900460ff16915091509091565b6105ce336000357fffffffff00000000000000000000000000000000000000000000000000000000166108ac565b610640576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f64732d617574682d756e617574686f72697a656400000000000000000000000081525060200191505060405180910390fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f1abebea81bfa2637f28358c371278fb15ede7ea8dd28d2e03b112ff6d936ada460405160405180910390a250565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008060006004359250602435915034905061074d336000357fffffffff00000000000000000000000000000000000000000000000000000000166108ac565b6107bf576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f64732d617574682d756e617574686f72697a656400000000000000000000000081525060200191505060405180910390fd5b6000600160146101000a81548160ff02191690831515021790555081833373ffffffffffffffffffffffffffffffffffffffff166000357fffffffff00000000000000000000000000000000000000000000000000000000167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19168460003660405180848152602001806020018281038252848482818152602001925080828437600081840152601f19601f82011690508083019250505094505050505060405180910390a4505050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60003073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156108eb5760019050610aff565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561094a5760019050610aff565b600073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614156109a95760009050610aff565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663b70096138430856040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19168152602001935050505060206040518083038186803b158015610ac157600080fd5b505afa158015610ad5573d6000803e3d6000fd5b505050506040513d6020811015610aeb57600080fd5b810190808051906020019092919050505090505b9291505056fea265627a7a72315820259241bc8c36731836f9e9916813f6c11de42be1521557a9410e8c87cab84bc564736f6c634300050c0032a265627a7a72315820e15deb7225711df4bf70ed86db4786bf0395886e2ea1ce3f6e642b9a0c67b92664736f6c634300050c0032

00000000000000000000000035D1b3F3D7966A1DFe207aa4514C12a259A0492B000000000000000000000000A950524441892A31ebddF91d3cEEFa04Bf454466

-----Decoded View---------------
Arg [0] : vat_ (address): 0x35D1b3F3D7966A1DFe207aa4514C12a259A0492B
Arg [1] : vow_ (address): 0xA950524441892A31ebddF91d3cEEFa04Bf454466

-----Encoded View---------------
2 Constructor Arguments found :
Arg [0] : 00000000000000000000000035D1b3F3D7966A1DFe207aa4514C12a259A0492B
Arg [1] : 000000000000000000000000A950524441892A31ebddF91d3cEEFa04Bf454466

7518:4762:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7518:4762:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11172:682;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11172:682:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;9447:582;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;9447:582:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;9447:582:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;9447:582:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;9447:582:0;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;8218:22;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;8247;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7624:99;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7624:99:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;7729;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7729:99:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;10897:243;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;10897:243:0;;;;;;;;;;;;;;;;;:::i;:::-;;7576:41;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7576:41:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;10526:337;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;10526:337:0;;;;;;;;;;;;;;;;;:::i;:::-;;9245:194;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9245:194:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;8547:36;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8547:36:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;8547:36:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10074:418;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;10074:418:0;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;11989:288;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11989:288:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;11172:682;7888:1;7867:5;:17;7873:10;7867:17;;;;;;;;;;;;;;;;:22;7859:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11270:1;11245:27;;:4;:9;11250:3;11245:9;;;;;;;;;;;:13;;;;;;;;;;;;:27;;;;11237:61;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11336:33;11340:4;:9;11345:3;11340:9;;;;;;;;;;;:13;;;;;;;;;;;;11355:4;:9;11360:3;11355:9;;;;;;;;;;;:13;;;;;;;;;;;;11336:3;:33::i;:::-;11317:52;;:15;:52;;11309:85;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11415:4;:9;11420:3;11415:9;;;;;;;;;;;:13;;;;;;;;;;;;11407:27;;;11451:1;11435:19;;11407:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11407:48:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;11407:48:0;;;;11469:11;11482;11497:3;;;;;;;;;;;:8;;;11506:3;11511;11497:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11497:18:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;11497:18:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11497:18:0;;;;;;;;;;;;;;;;;;;;;;;;;11468:47;;;;11541:8;11534:3;:15;;11526:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11598:8;11591:3;:15;;11583:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11642:3;;;;;;;;;;;:8;;;11651:3;11682;11714:4;11747:3;;;;;;;;;;;11779;11771:12;;11811:3;11803:12;;11642:174;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11642:174:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;11642:174:0;;;;11842:3;11832:14;;11837:3;11832:14;;;;;;;;;;7929:1;;11172:682;;:::o;9447:582::-;7888:1;7867:5;:17;7873:10;7867:17;;;;;;;;;;;;;;;;:22;7859:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9625:4;:9;9630:3;9625:9;;;;;;;;;;;:13;;;;;;;;;;;;9618:20;;:3;:20;;;;9610:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9694:3;;9678:4;:9;9683:3;9678:9;;;;;;;;;;;:13;;:19;;;;;;;:::i;:::-;;9724:3;9708:4;:9;9713:3;9708:9;;;;;;;;;;;:13;;;:19;;;;;;;;;;;;;;;;;;9767:1;9742:27;;:4;:9;9747:3;9742:9;;;;;;;;;;;:13;;;;;;;;;;;;:27;;;9738:244;;;9786:11;9800:13;;;;;:::i;:::-;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9800:13:0;9786:27;;9852:3;9828:4;:9;9833:3;9828:9;;;;;;;;;;;:13;;;:28;;;;;;;;;;;;;;;;;;9871:3;:8;;;9888:3;9880:12;;9871:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9871:22:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9871:22:0;;;;9738:244;;;;9948:4;:9;9953:3;9948:9;;;;;;;;;;;:13;;;;;;;;;;;;9940:27;;;:29;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9940:29:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9940:29:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9940:29:0;;;;;;;;;;;;;;;;9932:38;;9926:44;;9738:244;10002:3;9997:24;10007:3;10012;;10017;9997:24;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;9997:24:0;;;;;;;;;;;;;;;;9447:582;;;;;:::o;8218:22::-;;;;;;;;;;;;;:::o;8247:::-;;;;;;;;;;;;;:::o;7624:99::-;7888:1;7867:5;:17;7873:10;7867:17;;;;;;;;;;;;;;;;:22;7859:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7689:1;7676:5;:10;7682:3;7676:10;;;;;;;;;;;;;;;:14;;;;7711:3;7706:9;;;;;;;;;;;;7624:99;:::o;7729:::-;7888:1;7867:5;:17;7873:10;7867:17;;;;;;;;;;;;;;;;:22;7859:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7794:1;7781:5;:10;7787:3;7781:10;;;;;;;;;;;;;;;:14;;;;7816:3;7811:9;;;;;;;;;;;;7729:99;:::o;10897:243::-;7888:1;7867:5;:17;7873:10;7867:17;;;;;;;;;;;;;;;;:22;7859:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10982:1;10957:27;;:4;:9;10962:3;10957:9;;;;;;;;;;;:13;;;;;;;;;;;;:27;;;;10949:61;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11045:1;11029:4;:9;11034:3;11029:9;;;;;;;;;;;:13;;;;;;;;;;;;:17;;;11021:58;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11106:1;11090:4;:9;11095:3;11090:9;;;;;;;;;;;:13;;;:17;;;;;;;;;;;;;;;;;;11128:3;11123:9;;;;;;;;;;10897:243;:::o;7576:41::-;;;;;;;;;;;;;;;;;:::o;10526:337::-;7888:1;7867:5;:17;7873:10;7867:17;;;;;;;;;;;;;;;;:22;7859:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10582:12;10599:3;;;;;;;;;;;:8;;;10608:3;10599:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10599:13:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10599:13:0;;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;10599:13:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10578:34;;;;;;10680:1;10672:4;:9;10664:44;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10752:1;10727:27;;:4;:9;10732:3;10727:9;;;;;;;;;;;:13;;;;;;;;;;;;:27;;;;10719:61;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10814:15;10791:4;:9;10796:3;10791:9;;;;;;;;;;;:13;;;:39;;;;;;;;;;;;;;;;;;10851:3;10846:9;;;;;;;;;;7929:1;10526:337;:::o;9245:194::-;7888:1;7867:5;:17;7873:10;7867:17;;;;;;;;;;;;;;;;:22;7859:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9316:13;:4;:13;9312:87;;;9339:4;9333:3;;:10;;;;;;;;;;;;;;;;;;9312:87;;;9361:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9312:87;9420:4;9415:16;9426:4;9415:16;;;;;;;;;;;;;;;;;;;;;;9245:194;;:::o;8547:36::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;10074:418::-;7888:1;7867:5;:17;7873:10;7867:17;;;;;;;;;;;;;;;;:22;7859:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10139:11;10161:4;:9;10166:3;10161:9;;;;;;;;;;;:13;;;;;;;;;;;;10139:36;;10218:1;10194:26;;10202:3;10194:26;;;;10186:60;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10282:1;10265:4;:9;10270:3;10265:9;;;;;;;;;;;:13;;;;;;;;;;;;:18;;;10257:55;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10381:3;:8;;;:10;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10381:10:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10381:10:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;10381:10:0;;;;;;;;;;;;;;;;10373:19;;10366:3;:26;;10358:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10432:3;:8;;;10449:3;10441:12;;10432:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10432:22:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10432:22:0;;;;10475:3;10470:14;10480:3;10470:14;;;;;;;;;;;;;;;;;;7929:1;10074:418;;:::o;11989:288::-;12039:4;12089:1;12064:27;;:4;:9;12069:3;12064:9;;;;;;;;;;;:13;;;;;;;;;;;;:27;;;;12056:61;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12212:1;12195:4;:9;12200:3;12195:9;;;;;;;;;;;:13;;;;;;;;;;;;:18;;;:73;;;;12235:33;12239:4;:9;12244:3;12239:9;;;;;;;;;;;:13;;;;;;;;;;;;12254:4;:9;12259:3;12254:9;;;;;;;;;;;:13;;;;;;;;;;;;12235:3;:33::i;:::-;12217:51;;:15;:51;12195:73;12187:82;;11989:288;;;:::o;7967:110::-;8023:8;8067:1;8052:16;;8061:1;8057;:5;8053:9;;;8052:16;;;;8044:25;;;;;;7967:110;;;;:::o;7518:4762::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o

bzzr://e15deb7225711df4bf70ed86db4786bf0395886e2ea1ce3f6e642b9a0c67b926