Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-02-17
*/

pragma solidity ^0.5.0;

contract GemLike {
    function approve(address, uint) public;
    function transfer(address, uint) public;
    function transferFrom(address, address, uint) public;
    function deposit() public payable;
    function withdraw(uint) public;
}

contract ManagerLike {
    function cdpCan(address, uint, address) public view returns (uint);
    function ilks(uint) public view returns (bytes32);
    function owns(uint) public view returns (address);
    function urns(uint) public view returns (address);
    function vat() public view returns (address);
    function open(bytes32, address) public returns (uint);
    function give(uint, address) public;
    function cdpAllow(uint, address, uint) public;
    function urnAllow(address, uint) public;
    function frob(uint, int, int) public;
    function flux(uint, address, uint) public;
    function move(uint, address, uint) public;
    function exit(address, uint, address, uint) public;
    function quit(uint, address) public;
    function enter(address, uint) public;
    function shift(uint, uint) public;
}

contract VatLike {
    function can(address, address) public view returns (uint);
    function ilks(bytes32) public view returns (uint, uint, uint, uint, uint);
    function dai(address) public view returns (uint);
    function urns(bytes32, address) public view returns (uint, uint);
    function frob(bytes32, address, address, address, int, int) public;
    function hope(address) public;
    function move(address, address, uint) public;
}

contract GemJoinLike {
    function dec() public returns (uint);
    function gem() public returns (GemLike);
    function join(address, uint) public payable;
    function exit(address, uint) public;
}

contract GNTJoinLike {
    function bags(address) public view returns (address);
    function make(address) public returns (address);
}

contract DaiJoinLike {
    function vat() public returns (VatLike);
    function dai() public returns (GemLike);
    function join(address, uint) public payable;
    function exit(address, uint) public;
}

contract HopeLike {
    function hope(address) public;
    function nope(address) public;
}

contract ProxyRegistryInterface {
    function build(address) public returns (address);
}

contract EndLike {
    function fix(bytes32) public view returns (uint);
    function cash(bytes32, uint) public;
    function free(bytes32) public;
    function pack(uint) public;
    function skim(bytes32, address) public;
}

contract JugLike {
    function drip(bytes32) public returns (uint);
}

contract PotLike {
    function pie(address) public view returns (uint);
    function drip() public returns (uint);
    function join(uint) public;
    function exit(uint) public;
}

contract ProxyRegistryLike {
    function proxies(address) public view returns (address);
    function build(address) public returns (address);
}

contract ProxyLike {
    function owner() public view returns (address);
}


// !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
// WARNING: These functions meant to be used as a a library for a DSProxy. Some are unsafe if you call them directly.
// !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!

contract Common {
    uint256 constant RAY = 10 ** 27;

    // Internal functions

    function mul(uint x, uint y) internal pure returns (uint z) {
        require(y == 0 || (z = x * y) / y == x, "mul-overflow");
    }

    // Public functions

    function daiJoin_join(address apt, address urn, uint wad) public {
        // Gets DAI from the user's wallet
        DaiJoinLike(apt).dai().transferFrom(msg.sender, address(this), wad);
        // Approves adapter to take the DAI amount
        DaiJoinLike(apt).dai().approve(apt, wad);
        // Joins DAI into the vat
        DaiJoinLike(apt).join(urn, wad);
    }
}

contract MCDOpenProxyActions is Common {

    // Internal functions

    function sub(uint x, uint y) internal pure returns (uint z) {
        require((z = x - y) <= x, "sub-overflow");
    }

    function toInt(uint x) internal pure returns (int y) {
        y = int(x);
        require(y >= 0, "int-overflow");
    }

    function toRad(uint wad) internal pure returns (uint rad) {
        rad = mul(wad, 10 ** 27);
    }

    function convertTo18(address gemJoin, uint256 amt) internal returns (uint256 wad) {
        // For those collaterals that have less than 18 decimals precision we need to do the conversion before passing to frob function
        // Adapters will automatically handle the difference of precision
        wad = mul(
            amt,
            10 ** (18 - GemJoinLike(gemJoin).dec())
        );
    }

    function _getDrawDart(
        address vat,
        address jug,
        address urn,
        bytes32 ilk,
        uint wad
    ) internal returns (int dart) {
        // Updates stability fee rate
        uint rate = JugLike(jug).drip(ilk);

        // Gets DAI balance of the urn in the vat
        uint dai = VatLike(vat).dai(urn);

        // If there was already enough DAI in the vat balance, just exits it without adding more debt
        if (dai < mul(wad, RAY)) {
            // Calculates the needed dart so together with the existing dai in the vat is enough to exit wad amount of DAI tokens
            dart = toInt(sub(mul(wad, RAY), dai) / rate);
            // This is neeeded due lack of precision. It might need to sum an extra dart wei (for the given DAI wad amount)
            dart = mul(uint(dart), rate) < mul(wad, RAY) ? dart + 1 : dart;
        }
    }

    function _getWipeDart(
        address vat,
        uint dai,
        address urn,
        bytes32 ilk
    ) internal view returns (int dart) {
        // Gets actual rate from the vat
        (, uint rate,,,) = VatLike(vat).ilks(ilk);
        // Gets actual art value of the urn
        (, uint art) = VatLike(vat).urns(ilk, urn);

        // Uses the whole dai balance in the vat to reduce the debt
        dart = toInt(dai / rate);
        // Checks the calculated dart is not higher than urn.art (total debt), otherwise uses its value
        dart = uint(dart) <= art ? - dart : - toInt(art);
    }

    function _getWipeAllWad(
        address vat,
        address usr,
        address urn,
        bytes32 ilk
    ) internal view returns (uint wad) {
        // Gets actual rate from the vat
        (, uint rate,,,) = VatLike(vat).ilks(ilk);
        // Gets actual art value of the urn
        (, uint art) = VatLike(vat).urns(ilk, urn);
        // Gets actual dai amount in the urn
        uint dai = VatLike(vat).dai(usr);

        uint rad = sub(mul(art, rate), dai);
        wad = rad / RAY;

        // If the rad precision has some dust, it will need to request for 1 extra wad wei
        wad = mul(wad, RAY) < rad ? wad + 1 : wad;
    }

    // Public functions

    function transfer(address gem, address dst, uint wad) public {
        GemLike(gem).transfer(dst, wad);
    }

    function ethJoin_join(address apt, address urn) public payable {
        // Wraps ETH in WETH
        GemJoinLike(apt).gem().deposit.value(msg.value)();
        // Approves adapter to take the WETH amount
        GemJoinLike(apt).gem().approve(address(apt), msg.value);
        // Joins WETH collateral into the vat
        GemJoinLike(apt).join(urn, msg.value);
    }

    function gemJoin_join(address apt, address urn, uint wad, bool transferFrom) public {
        // Only executes for tokens that have approval/transferFrom implementation
        if (transferFrom) {
            // Gets token from the user's wallet
            GemJoinLike(apt).gem().transferFrom(msg.sender, address(this), wad);
            // Approves adapter to take the token amount
            GemJoinLike(apt).gem().approve(apt, wad);
        }
        // Joins token collateral into the vat
        GemJoinLike(apt).join(urn, wad);
    }

    function hope(
        address obj,
        address usr
    ) public {
        HopeLike(obj).hope(usr);
    }

    function nope(
        address obj,
        address usr
    ) public {
        HopeLike(obj).nope(usr);
    }

    function open(
        address manager,
        bytes32 ilk,
        address usr
    ) public returns (uint cdp) {
        cdp = ManagerLike(manager).open(ilk, usr);
    }

    function give(
        address manager,
        uint cdp,
        address usr
    ) public {
        ManagerLike(manager).give(cdp, usr);
    }

    function move(
        address manager,
        uint cdp,
        address dst,
        uint rad
    ) public {
        ManagerLike(manager).move(cdp, dst, rad);
    }

    function frob(
        address manager,
        uint cdp,
        int dink,
        int dart
    ) public {
        ManagerLike(manager).frob(cdp, dink, dart);
    }

    function lockETH(
        address manager,
        address ethJoin,
        uint cdp
    ) public payable {
        // Receives ETH amount, converts it to WETH and joins it into the vat
        ethJoin_join(ethJoin, address(this));
        // Locks WETH amount into the CDP
        VatLike(ManagerLike(manager).vat()).frob(
            ManagerLike(manager).ilks(cdp),
            ManagerLike(manager).urns(cdp),
            address(this),
            address(this),
            toInt(msg.value),
            0
        );
    }

    function lockGem(
        address manager,
        address gemJoin,
        uint cdp,
        uint wad,
        bool transferFrom
    ) public {
        // Takes token amount from user's wallet and joins into the vat
        gemJoin_join(gemJoin, address(this), wad, transferFrom);
        // Locks token amount into the CDP
        VatLike(ManagerLike(manager).vat()).frob(
            ManagerLike(manager).ilks(cdp),
            ManagerLike(manager).urns(cdp),
            address(this),
            address(this),
            toInt(convertTo18(gemJoin, wad)),
            0
        );

    }


    function draw(
        address manager,
        address jug,
        address daiJoin,
        uint cdp,
        uint wad
    ) public {
        address urn = ManagerLike(manager).urns(cdp);
        address vat = ManagerLike(manager).vat();
        bytes32 ilk = ManagerLike(manager).ilks(cdp);
        // Generates debt in the CDP
        frob(manager, cdp, 0, _getDrawDart(vat, jug, urn, ilk, wad));
        // Moves the DAI amount (balance in the vat in rad) to proxy's address
        move(manager, cdp, address(this), toRad(wad));
        // Allows adapter to access to proxy's DAI balance in the vat
        if (VatLike(vat).can(address(this), address(daiJoin)) == 0) {
            VatLike(vat).hope(daiJoin);
        }
        // Exits DAI to the user's wallet as a token
        DaiJoinLike(daiJoin).exit(msg.sender, wad);

    }

    function lockETHAndDraw(
        address manager,
        address jug,
        address ethJoin,
        address daiJoin,
        uint cdp,
        uint wadD
    ) public payable {
        address urn = ManagerLike(manager).urns(cdp);
        address vat = ManagerLike(manager).vat();
        bytes32 ilk = ManagerLike(manager).ilks(cdp);
        // Receives ETH amount, converts it to WETH and joins it into the vat
        ethJoin_join(ethJoin, urn);
        // Locks WETH amount into the CDP and generates debt
        frob(manager, cdp, toInt(msg.value), _getDrawDart(vat, jug, urn, ilk, wadD));
        // Moves the DAI amount (balance in the vat in rad) to proxy's address
        move(manager, cdp, address(this), toRad(wadD));
        // Allows adapter to access to proxy's DAI balance in the vat
        if (VatLike(vat).can(address(this), address(daiJoin)) == 0) {
            VatLike(vat).hope(daiJoin);
        }
        // Exits DAI to the user's wallet as a token
        DaiJoinLike(daiJoin).exit(msg.sender, wadD);
    }

    function openLockETHAndDraw(
        address manager,
        address jug,
        address ethJoin,
        address daiJoin,
        bytes32 ilk,
        uint wadD,
        address owner
    ) public payable returns (uint cdp) {
        cdp = open(manager, ilk, address(this));
        lockETHAndDraw(manager, jug, ethJoin, daiJoin, cdp, wadD);
        give(manager, cdp, owner);

    }

    function lockGemAndDraw(
        address manager,
        address jug,
        address gemJoin,
        address daiJoin,
        uint cdp,
        uint wadC,
        uint wadD,
        bool transferFrom
    ) public {
        address urn = ManagerLike(manager).urns(cdp);
        address vat = ManagerLike(manager).vat();
        bytes32 ilk = ManagerLike(manager).ilks(cdp);
        // Takes token amount from user's wallet and joins into the vat
        gemJoin_join(gemJoin, urn, wadC, transferFrom);
        // Locks token amount into the CDP and generates debt
        frob(manager, cdp, toInt(convertTo18(gemJoin, wadC)), _getDrawDart(vat, jug, urn, ilk, wadD));
        // Moves the DAI amount (balance in the vat in rad) to proxy's address
        move(manager, cdp, address(this), toRad(wadD));
        // Allows adapter to access to proxy's DAI balance in the vat
        if (VatLike(vat).can(address(this), address(daiJoin)) == 0) {
            VatLike(vat).hope(daiJoin);
        }
        // Exits DAI to the user's wallet as a token
        DaiJoinLike(daiJoin).exit(msg.sender, wadD);

    }

    function openLockGemAndDraw(
        address manager,
        address jug,
        address gemJoin,
        address daiJoin,
        bytes32 ilk,
        uint wadC,
        uint wadD,
        bool transferFrom,
        address owner
    ) public returns (uint cdp) {
        cdp = open(manager, ilk, address(this));
        lockGemAndDraw(manager, jug, gemJoin, daiJoin, cdp, wadC, wadD, transferFrom);
        give(manager, cdp, owner);
    }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":false,"inputs":[{"internalType":"address","name":"apt","type":"address"},{"internalType":"address","name":"urn","type":"address"},{"internalType":"uint256","name":"wad","type":"uint256"}],"name":"daiJoin_join","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"manager","type":"address"},{"internalType":"address","name":"jug","type":"address"},{"internalType":"address","name":"daiJoin","type":"address"},{"internalType":"uint256","name":"cdp","type":"uint256"},{"internalType":"uint256","name":"wad","type":"uint256"}],"name":"draw","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"apt","type":"address"},{"internalType":"address","name":"urn","type":"address"}],"name":"ethJoin_join","outputs":[],"payable":true,"stateMutability":"payable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"manager","type":"address"},{"internalType":"uint256","name":"cdp","type":"uint256"},{"internalType":"int256","name":"dink","type":"int256"},{"internalType":"int256","name":"dart","type":"int256"}],"name":"frob","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"apt","type":"address"},{"internalType":"address","name":"urn","type":"address"},{"internalType":"uint256","name":"wad","type":"uint256"},{"internalType":"bool","name":"transferFrom","type":"bool"}],"name":"gemJoin_join","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"manager","type":"address"},{"internalType":"uint256","name":"cdp","type":"uint256"},{"internalType":"address","name":"usr","type":"address"}],"name":"give","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"obj","type":"address"},{"internalType":"address","name":"usr","type":"address"}],"name":"hope","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"manager","type":"address"},{"internalType":"address","name":"ethJoin","type":"address"},{"internalType":"uint256","name":"cdp","type":"uint256"}],"name":"lockETH","outputs":[],"payable":true,"stateMutability":"payable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"manager","type":"address"},{"internalType":"address","name":"jug","type":"address"},{"internalType":"address","name":"ethJoin","type":"address"},{"internalType":"address","name":"daiJoin","type":"address"},{"internalType":"uint256","name":"cdp","type":"uint256"},{"internalType":"uint256","name":"wadD","type":"uint256"}],"name":"lockETHAndDraw","outputs":[],"payable":true,"stateMutability":"payable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"manager","type":"address"},{"internalType":"address","name":"gemJoin","type":"address"},{"internalType":"uint256","name":"cdp","type":"uint256"},{"internalType":"uint256","name":"wad","type":"uint256"},{"internalType":"bool","name":"transferFrom","type":"bool"}],"name":"lockGem","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"manager","type":"address"},{"internalType":"address","name":"jug","type":"address"},{"internalType":"address","name":"gemJoin","type":"address"},{"internalType":"address","name":"daiJoin","type":"address"},{"internalType":"uint256","name":"cdp","type":"uint256"},{"internalType":"uint256","name":"wadC","type":"uint256"},{"internalType":"uint256","name":"wadD","type":"uint256"},{"internalType":"bool","name":"transferFrom","type":"bool"}],"name":"lockGemAndDraw","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"manager","type":"address"},{"internalType":"uint256","name":"cdp","type":"uint256"},{"internalType":"address","name":"dst","type":"address"},{"internalType":"uint256","name":"rad","type":"uint256"}],"name":"move","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"obj","type":"address"},{"internalType":"address","name":"usr","type":"address"}],"name":"nope","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"manager","type":"address"},{"internalType":"bytes32","name":"ilk","type":"bytes32"},{"internalType":"address","name":"usr","type":"address"}],"name":"open","outputs":[{"internalType":"uint256","name":"cdp","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"manager","type":"address"},{"internalType":"address","name":"jug","type":"address"},{"internalType":"address","name":"ethJoin","type":"address"},{"internalType":"address","name":"daiJoin","type":"address"},{"internalType":"bytes32","name":"ilk","type":"bytes32"},{"internalType":"uint256","name":"wadD","type":"uint256"},{"internalType":"address","name":"owner","type":"address"}],"name":"openLockETHAndDraw","outputs":[{"internalType":"uint256","name":"cdp","type":"uint256"}],"payable":true,"stateMutability":"payable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"manager","type":"address"},{"internalType":"address","name":"jug","type":"address"},{"internalType":"address","name":"gemJoin","type":"address"},{"internalType":"address","name":"daiJoin","type":"address"},{"internalType":"bytes32","name":"ilk","type":"bytes32"},{"internalType":"uint256","name":"wadC","type":"uint256"},{"internalType":"uint256","name":"wadD","type":"uint256"},{"internalType":"bool","name":"transferFrom","type":"bool"},{"internalType":"address","name":"owner","type":"address"}],"name":"openLockGemAndDraw","outputs":[{"internalType":"uint256","name":"cdp","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"gem","type":"address"},{"internalType":"address","name":"dst","type":"address"},{"internalType":"uint256","name":"wad","type":"uint256"}],"name":"transfer","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"}]

608060405234801561001057600080fd5b50611f40806100206000396000f3fe6080604052600436106100fe5760003560e01c80639f6f3d5b11610095578063b50a586911610064578063b50a58691461048e578063beabacc8146104c9578063c56167c61461050c578063cbd4be3f1461054f578063e205c108146105b7576100fe565b80639f6f3d5b146103655780639f887fde146103b4578063a033df12146103ef578063a7ce406e1461041d576100fe565b80633e29e565116100d15780633e29e565146102415780636aa3ee11146102925780637df2eb25146102d557806396e8d72c14610320576100fe565b806318df6c4e146101035780631c02d846146101695780631d10f231146101b757806325cf37d0146101fa575b600080fd5b610157600480360360e081101561011957600080fd5b506001600160a01b03813581169160208101358216916040820135811691606081013582169160808201359160a08101359160c090910135166105ed565b60408051918252519081900360200190f35b6101b5600480360360c081101561017f57600080fd5b506001600160a01b0381358116916020810135821691604082013581169160608101359091169060808101359060a00135610620565b005b3480156101c357600080fd5b506101b5600480360360608110156101da57600080fd5b506001600160a01b0381358116916020810135916040909101351661091f565b34801561020657600080fd5b506101b56004803603608081101561021d57600080fd5b506001600160a01b038135811691602081013591604082013516906060013561099c565b34801561024d57600080fd5b506101b5600480360360a081101561026457600080fd5b506001600160a01b038135811691602081013590911690604081013590606081013590608001351515610a13565b34801561029e57600080fd5b50610157600480360360608110156102b557600080fd5b506001600160a01b03813581169160208101359160409091013516610c13565b3480156102e157600080fd5b506101b5600480360360808110156102f857600080fd5b506001600160a01b038135811691602081013590911690604081013590606001351515610c9a565b34801561032c57600080fd5b506101b56004803603608081101561034357600080fd5b506001600160a01b038135169060208101359060408101359060600135610ea7565b34801561037157600080fd5b506101b5600480360360a081101561038857600080fd5b506001600160a01b03813581169160208101358216916040820135169060608101359060800135610efd565b3480156103c057600080fd5b506101b5600480360360408110156103d757600080fd5b506001600160a01b03813581169160200135166111e0565b6101b56004803603604081101561040557600080fd5b506001600160a01b0381358116916020013516611254565b34801561042957600080fd5b50610157600480360361012081101561044157600080fd5b506001600160a01b03813581169160208101358216916040820135811691606081013582169160808201359160a08101359160c08201359160e08101351515916101009091013516611439565b34801561049a57600080fd5b506101b5600480360360408110156104b157600080fd5b506001600160a01b0381358116916020013516611470565b3480156104d557600080fd5b506101b5600480360360608110156104ec57600080fd5b506001600160a01b038135811691602081013590911690604001356114c8565b34801561051857600080fd5b506101b56004803603606081101561052f57600080fd5b506001600160a01b03813581169160208101359091169060400135611528565b34801561055b57600080fd5b506101b5600480360361010081101561057357600080fd5b506001600160a01b0381358116916020810135821691604082013581169160608101359091169060808101359060a08101359060c08101359060e00135151561172e565b6101b5600480360360608110156105cd57600080fd5b506001600160a01b03813581169160208101359091169060400135611a2b565b60006105fa888530610c13565b905061060a888888888588610620565b61061588828461091f565b979650505050505050565b6000866001600160a01b0316632726b073846040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b15801561066657600080fd5b505afa15801561067a573d6000803e3d6000fd5b505050506040513d602081101561069057600080fd5b5051604080516336569e7760e01b815290519192506000916001600160a01b038a16916336569e77916004808301926020929190829003018186803b1580156106d857600080fd5b505afa1580156106ec573d6000803e3d6000fd5b505050506040513d602081101561070257600080fd5b505160408051632c2cb9fd60e01b81526004810187905290519192506000916001600160a01b038b1691632c2cb9fd916024808301926020929190829003018186803b15801561075157600080fd5b505afa158015610765573d6000803e3d6000fd5b505050506040513d602081101561077b57600080fd5b505190506107898784611254565b6107a9898661079734611c01565b6107a4868d89888c611c4c565b610ea7565b6107bd8986306107b888611dcc565b61099c565b60408051634538c4eb60e01b81523060048201526001600160a01b038881166024830152915191841691634538c4eb91604480820192602092909190829003018186803b15801561080d57600080fd5b505afa158015610821573d6000803e3d6000fd5b505050506040513d602081101561083757600080fd5b50516108ae57816001600160a01b031663a3b22fc4876040518263ffffffff1660e01b815260040180826001600160a01b03166001600160a01b03168152602001915050600060405180830381600087803b15801561089557600080fd5b505af11580156108a9573d6000803e3d6000fd5b505050505b6040805163ef693bed60e01b81523360048201526024810186905290516001600160a01b0388169163ef693bed91604480830192600092919082900301818387803b1580156108fc57600080fd5b505af1158015610910573d6000803e3d6000fd5b50505050505050505050505050565b826001600160a01b031663fcafcc6883836040518363ffffffff1660e01b815260040180838152602001826001600160a01b03166001600160a01b0316815260200192505050600060405180830381600087803b15801561097f57600080fd5b505af1158015610993573d6000803e3d6000fd5b50505050505050565b60408051637cf986db60e11b8152600481018590526001600160a01b0384811660248301526044820184905291519186169163f9f30db69160648082019260009290919082900301818387803b1580156109f557600080fd5b505af1158015610a09573d6000803e3d6000fd5b5050505050505050565b610a1f84308484610c9a565b846001600160a01b03166336569e776040518163ffffffff1660e01b815260040160206040518083038186803b158015610a5857600080fd5b505afa158015610a6c573d6000803e3d6000fd5b505050506040513d6020811015610a8257600080fd5b505160408051632c2cb9fd60e01b81526004810186905290516001600160a01b039283169263760887039290891691632c2cb9fd91602480820192602092909190829003018186803b158015610ad757600080fd5b505afa158015610aeb573d6000803e3d6000fd5b505050506040513d6020811015610b0157600080fd5b505160408051632726b07360e01b81526004810188905290516001600160a01b038a1691632726b073916024808301926020929190829003018186803b158015610b4a57600080fd5b505afa158015610b5e573d6000803e3d6000fd5b505050506040513d6020811015610b7457600080fd5b50513080610b8a610b858b8a611dea565b611c01565b604080516001600160e01b031960e089901b16815260048101969096526001600160a01b0394851660248701529284166044860152921660648401526084830191909152600060a48301819052905160c48084019382900301818387803b158015610bf457600080fd5b505af1158015610c08573d6000803e3d6000fd5b505050505050505050565b60408051636090dec560e01b8152600481018490526001600160a01b0383811660248301529151600092861691636090dec591604480830192602092919082900301818787803b158015610c6657600080fd5b505af1158015610c7a573d6000803e3d6000fd5b505050506040513d6020811015610c9057600080fd5b5051949350505050565b8015610e4757836001600160a01b0316637bd2bea76040518163ffffffff1660e01b8152600401602060405180830381600087803b158015610cdb57600080fd5b505af1158015610cef573d6000803e3d6000fd5b505050506040513d6020811015610d0557600080fd5b5051604080516323b872dd60e01b81523360048201523060248201526044810185905290516001600160a01b03909216916323b872dd9160648082019260009290919082900301818387803b158015610d5d57600080fd5b505af1158015610d71573d6000803e3d6000fd5b50505050836001600160a01b0316637bd2bea76040518163ffffffff1660e01b8152600401602060405180830381600087803b158015610db057600080fd5b505af1158015610dc4573d6000803e3d6000fd5b505050506040513d6020811015610dda57600080fd5b50516040805163095ea7b360e01b81526001600160a01b038781166004830152602482018690529151919092169163095ea7b391604480830192600092919082900301818387803b158015610e2e57600080fd5b505af1158015610e42573d6000803e3d6000fd5b505050505b836001600160a01b0316633b4da69f84846040518363ffffffff1660e01b815260040180836001600160a01b03166001600160a01b0316815260200182815260200192505050600060405180830381600087803b1580156109f557600080fd5b836001600160a01b03166345e6bdcd8484846040518463ffffffff1660e01b8152600401808481526020018381526020018281526020019350505050600060405180830381600087803b1580156109f557600080fd5b6000856001600160a01b0316632726b073846040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b158015610f4357600080fd5b505afa158015610f57573d6000803e3d6000fd5b505050506040513d6020811015610f6d57600080fd5b5051604080516336569e7760e01b815290519192506000916001600160a01b038916916336569e77916004808301926020929190829003018186803b158015610fb557600080fd5b505afa158015610fc9573d6000803e3d6000fd5b505050506040513d6020811015610fdf57600080fd5b505160408051632c2cb9fd60e01b81526004810187905290519192506000916001600160a01b038a1691632c2cb9fd916024808301926020929190829003018186803b15801561102e57600080fd5b505afa158015611042573d6000803e3d6000fd5b505050506040513d602081101561105857600080fd5b50519050611070888660006107a4868c89888c611c4c565b61107f8886306107b888611dcc565b60408051634538c4eb60e01b81523060048201526001600160a01b038881166024830152915191841691634538c4eb91604480820192602092909190829003018186803b1580156110cf57600080fd5b505afa1580156110e3573d6000803e3d6000fd5b505050506040513d60208110156110f957600080fd5b505161117057816001600160a01b031663a3b22fc4876040518263ffffffff1660e01b815260040180826001600160a01b03166001600160a01b03168152602001915050600060405180830381600087803b15801561115757600080fd5b505af115801561116b573d6000803e3d6000fd5b505050505b6040805163ef693bed60e01b81523360048201526024810186905290516001600160a01b0388169163ef693bed91604480830192600092919082900301818387803b1580156111be57600080fd5b505af11580156111d2573d6000803e3d6000fd5b505050505050505050505050565b816001600160a01b031663dc4d20fa826040518263ffffffff1660e01b815260040180826001600160a01b03166001600160a01b03168152602001915050600060405180830381600087803b15801561123857600080fd5b505af115801561124c573d6000803e3d6000fd5b505050505050565b816001600160a01b0316637bd2bea76040518163ffffffff1660e01b8152600401602060405180830381600087803b15801561128f57600080fd5b505af11580156112a3573d6000803e3d6000fd5b505050506040513d60208110156112b957600080fd5b505160408051630d0e30db60e41b815290516001600160a01b039092169163d0e30db0913491600480830192600092919082900301818588803b1580156112ff57600080fd5b505af1158015611313573d6000803e3d6000fd5b5050505050816001600160a01b0316637bd2bea76040518163ffffffff1660e01b8152600401602060405180830381600087803b15801561135357600080fd5b505af1158015611367573d6000803e3d6000fd5b505050506040513d602081101561137d57600080fd5b50516040805163095ea7b360e01b81526001600160a01b0385811660048301523460248301529151919092169163095ea7b391604480830192600092919082900301818387803b1580156113d057600080fd5b505af11580156113e4573d6000803e3d6000fd5b505060408051633b4da69f60e01b81526001600160a01b03858116600483015234602483015291519186169350633b4da69f925060448082019260009290919082900301818387803b15801561123857600080fd5b60006114468a8730610c13565b90506114588a8a8a8a858a8a8a61172e565b6114638a828461091f565b9998505050505050505050565b816001600160a01b031663a3b22fc4826040518263ffffffff1660e01b815260040180826001600160a01b03166001600160a01b03168152602001915050600060405180830381600087803b15801561123857600080fd5b826001600160a01b031663a9059cbb83836040518363ffffffff1660e01b815260040180836001600160a01b03166001600160a01b0316815260200182815260200192505050600060405180830381600087803b15801561097f57600080fd5b826001600160a01b031663f4b9fa756040518163ffffffff1660e01b8152600401602060405180830381600087803b15801561156357600080fd5b505af1158015611577573d6000803e3d6000fd5b505050506040513d602081101561158d57600080fd5b5051604080516323b872dd60e01b81523360048201523060248201526044810184905290516001600160a01b03909216916323b872dd9160648082019260009290919082900301818387803b1580156115e557600080fd5b505af11580156115f9573d6000803e3d6000fd5b50505050826001600160a01b031663f4b9fa756040518163ffffffff1660e01b8152600401602060405180830381600087803b15801561163857600080fd5b505af115801561164c573d6000803e3d6000fd5b505050506040513d602081101561166257600080fd5b50516040805163095ea7b360e01b81526001600160a01b038681166004830152602482018590529151919092169163095ea7b391604480830192600092919082900301818387803b1580156116b657600080fd5b505af11580156116ca573d6000803e3d6000fd5b50505050826001600160a01b0316633b4da69f83836040518363ffffffff1660e01b815260040180836001600160a01b03166001600160a01b0316815260200182815260200192505050600060405180830381600087803b15801561097f57600080fd5b6000886001600160a01b0316632726b073866040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b15801561177457600080fd5b505afa158015611788573d6000803e3d6000fd5b505050506040513d602081101561179e57600080fd5b5051604080516336569e7760e01b815290519192506000916001600160a01b038c16916336569e77916004808301926020929190829003018186803b1580156117e657600080fd5b505afa1580156117fa573d6000803e3d6000fd5b505050506040513d602081101561181057600080fd5b505160408051632c2cb9fd60e01b81526004810189905290519192506000916001600160a01b038d1691632c2cb9fd916024808301926020929190829003018186803b15801561185f57600080fd5b505afa158015611873573d6000803e3d6000fd5b505050506040513d602081101561188957600080fd5b5051905061189989848887610c9a565b6118b88b886118ab610b858d8b611dea565b6107a4868f89888d611c4c565b6118c78b88306107b889611dcc565b60408051634538c4eb60e01b81523060048201526001600160a01b038a81166024830152915191841691634538c4eb91604480820192602092909190829003018186803b15801561191757600080fd5b505afa15801561192b573d6000803e3d6000fd5b505050506040513d602081101561194157600080fd5b50516119b857816001600160a01b031663a3b22fc4896040518263ffffffff1660e01b815260040180826001600160a01b03166001600160a01b03168152602001915050600060405180830381600087803b15801561199f57600080fd5b505af11580156119b3573d6000803e3d6000fd5b505050505b6040805163ef693bed60e01b81523360048201526024810187905290516001600160a01b038a169163ef693bed91604480830192600092919082900301818387803b158015611a0657600080fd5b505af1158015611a1a573d6000803e3d6000fd5b505050505050505050505050505050565b611a358230611254565b826001600160a01b03166336569e776040518163ffffffff1660e01b815260040160206040518083038186803b158015611a6e57600080fd5b505afa158015611a82573d6000803e3d6000fd5b505050506040513d6020811015611a9857600080fd5b505160408051632c2cb9fd60e01b81526004810184905290516001600160a01b039283169263760887039290871691632c2cb9fd91602480820192602092909190829003018186803b158015611aed57600080fd5b505afa158015611b01573d6000803e3d6000fd5b505050506040513d6020811015611b1757600080fd5b505160408051632726b07360e01b81526004810186905290516001600160a01b03881691632726b073916024808301926020929190829003018186803b158015611b6057600080fd5b505afa158015611b74573d6000803e3d6000fd5b505050506040513d6020811015611b8a57600080fd5b50513080611b9734611c01565b604080516001600160e01b031960e089901b16815260048101969096526001600160a01b0394851660248701529284166044860152921660648401526084830191909152600060a48301819052905160c48084019382900301818387803b15801561097f57600080fd5b806000811215611c47576040805162461bcd60e51b815260206004820152600c60248201526b696e742d6f766572666c6f7760a01b604482015290519081900360640190fd5b919050565b600080856001600160a01b03166344e2a5a8856040518263ffffffff1660e01b815260040180828152602001915050602060405180830381600087803b158015611c9557600080fd5b505af1158015611ca9573d6000803e3d6000fd5b505050506040513d6020811015611cbf57600080fd5b505160408051633612d9a360e11b81526001600160a01b0388811660048301529151929350600092918a1691636c25b34691602480820192602092909190829003018186803b158015611d1157600080fd5b505afa158015611d25573d6000803e3d6000fd5b505050506040513d6020811015611d3b57600080fd5b50519050611d55846b033b2e3c9fd0803ce8000000611e69565b811015611dc157611d8c82611d7f611d79876b033b2e3c9fd0803ce8000000611e69565b84611ec4565b81611d8657fe5b04611c01565b9250611da4846b033b2e3c9fd0803ce8000000611e69565b611dae8484611e69565b10611db95782611dbe565b826001015b92505b505095945050505050565b6000611de4826b033b2e3c9fd0803ce8000000611e69565b92915050565b6000611e6282846001600160a01b031663b3bcfa826040518163ffffffff1660e01b8152600401602060405180830381600087803b158015611e2b57600080fd5b505af1158015611e3f573d6000803e3d6000fd5b505050506040513d6020811015611e5557600080fd5b5051601203600a0a611e69565b9392505050565b6000811580611e8457505080820282828281611e8157fe5b04145b611de4576040805162461bcd60e51b815260206004820152600c60248201526b6d756c2d6f766572666c6f7760a01b604482015290519081900360640190fd5b80820382811115611de4576040805162461bcd60e51b815260206004820152600c60248201526b7375622d6f766572666c6f7760a01b604482015290519081900360640190fdfea265627a7a723158203e20e62ada1ff0ed784fb36ed59ca12103cfa585e2cd11854f1eb4f61e7ca39264736f6c63430005100032

0x6080604052600436106100fe5760003560e01c80639f6f3d5b11610095578063b50a586911610064578063b50a58691461048e578063beabacc8146104c9578063c56167c61461050c578063cbd4be3f1461054f578063e205c108146105b7576100fe565b80639f6f3d5b146103655780639f887fde146103b4578063a033df12146103ef578063a7ce406e1461041d576100fe565b80633e29e565116100d15780633e29e565146102415780636aa3ee11146102925780637df2eb25146102d557806396e8d72c14610320576100fe565b806318df6c4e146101035780631c02d846146101695780631d10f231146101b757806325cf37d0146101fa575b600080fd5b610157600480360360e081101561011957600080fd5b506001600160a01b03813581169160208101358216916040820135811691606081013582169160808201359160a08101359160c090910135166105ed565b60408051918252519081900360200190f35b6101b5600480360360c081101561017f57600080fd5b506001600160a01b0381358116916020810135821691604082013581169160608101359091169060808101359060a00135610620565b005b3480156101c357600080fd5b506101b5600480360360608110156101da57600080fd5b506001600160a01b0381358116916020810135916040909101351661091f565b34801561020657600080fd5b506101b56004803603608081101561021d57600080fd5b506001600160a01b038135811691602081013591604082013516906060013561099c565b34801561024d57600080fd5b506101b5600480360360a081101561026457600080fd5b506001600160a01b038135811691602081013590911690604081013590606081013590608001351515610a13565b34801561029e57600080fd5b50610157600480360360608110156102b557600080fd5b506001600160a01b03813581169160208101359160409091013516610c13565b3480156102e157600080fd5b506101b5600480360360808110156102f857600080fd5b506001600160a01b038135811691602081013590911690604081013590606001351515610c9a565b34801561032c57600080fd5b506101b56004803603608081101561034357600080fd5b506001600160a01b038135169060208101359060408101359060600135610ea7565b34801561037157600080fd5b506101b5600480360360a081101561038857600080fd5b506001600160a01b03813581169160208101358216916040820135169060608101359060800135610efd565b3480156103c057600080fd5b506101b5600480360360408110156103d757600080fd5b506001600160a01b03813581169160200135166111e0565b6101b56004803603604081101561040557600080fd5b506001600160a01b0381358116916020013516611254565b34801561042957600080fd5b50610157600480360361012081101561044157600080fd5b506001600160a01b03813581169160208101358216916040820135811691606081013582169160808201359160a08101359160c08201359160e08101351515916101009091013516611439565b34801561049a57600080fd5b506101b5600480360360408110156104b157600080fd5b506001600160a01b0381358116916020013516611470565b3480156104d557600080fd5b506101b5600480360360608110156104ec57600080fd5b506001600160a01b038135811691602081013590911690604001356114c8565b34801561051857600080fd5b506101b56004803603606081101561052f57600080fd5b506001600160a01b03813581169160208101359091169060400135611528565b34801561055b57600080fd5b506101b5600480360361010081101561057357600080fd5b506001600160a01b0381358116916020810135821691604082013581169160608101359091169060808101359060a08101359060c08101359060e00135151561172e565b6101b5600480360360608110156105cd57600080fd5b506001600160a01b03813581169160208101359091169060400135611a2b565b60006105fa888530610c13565b905061060a888888888588610620565b61061588828461091f565b979650505050505050565b6000866001600160a01b0316632726b073846040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b15801561066657600080fd5b505afa15801561067a573d6000803e3d6000fd5b505050506040513d602081101561069057600080fd5b5051604080516336569e7760e01b815290519192506000916001600160a01b038a16916336569e77916004808301926020929190829003018186803b1580156106d857600080fd5b505afa1580156106ec573d6000803e3d6000fd5b505050506040513d602081101561070257600080fd5b505160408051632c2cb9fd60e01b81526004810187905290519192506000916001600160a01b038b1691632c2cb9fd916024808301926020929190829003018186803b15801561075157600080fd5b505afa158015610765573d6000803e3d6000fd5b505050506040513d602081101561077b57600080fd5b505190506107898784611254565b6107a9898661079734611c01565b6107a4868d89888c611c4c565b610ea7565b6107bd8986306107b888611dcc565b61099c565b60408051634538c4eb60e01b81523060048201526001600160a01b038881166024830152915191841691634538c4eb91604480820192602092909190829003018186803b15801561080d57600080fd5b505afa158015610821573d6000803e3d6000fd5b505050506040513d602081101561083757600080fd5b50516108ae57816001600160a01b031663a3b22fc4876040518263ffffffff1660e01b815260040180826001600160a01b03166001600160a01b03168152602001915050600060405180830381600087803b15801561089557600080fd5b505af11580156108a9573d6000803e3d6000fd5b505050505b6040805163ef693bed60e01b81523360048201526024810186905290516001600160a01b0388169163ef693bed91604480830192600092919082900301818387803b1580156108fc57600080fd5b505af1158015610910573d6000803e3d6000fd5b50505050505050505050505050565b826001600160a01b031663fcafcc6883836040518363ffffffff1660e01b815260040180838152602001826001600160a01b03166001600160a01b0316815260200192505050600060405180830381600087803b15801561097f57600080fd5b505af1158015610993573d6000803e3d6000fd5b50505050505050565b60408051637cf986db60e11b8152600481018590526001600160a01b0384811660248301526044820184905291519186169163f9f30db69160648082019260009290919082900301818387803b1580156109f557600080fd5b505af1158015610a09573d6000803e3d6000fd5b5050505050505050565b610a1f84308484610c9a565b846001600160a01b03166336569e776040518163ffffffff1660e01b815260040160206040518083038186803b158015610a5857600080fd5b505afa158015610a6c573d6000803e3d6000fd5b505050506040513d6020811015610a8257600080fd5b505160408051632c2cb9fd60e01b81526004810186905290516001600160a01b039283169263760887039290891691632c2cb9fd91602480820192602092909190829003018186803b158015610ad757600080fd5b505afa158015610aeb573d6000803e3d6000fd5b505050506040513d6020811015610b0157600080fd5b505160408051632726b07360e01b81526004810188905290516001600160a01b038a1691632726b073916024808301926020929190829003018186803b158015610b4a57600080fd5b505afa158015610b5e573d6000803e3d6000fd5b505050506040513d6020811015610b7457600080fd5b50513080610b8a610b858b8a611dea565b611c01565b604080516001600160e01b031960e089901b16815260048101969096526001600160a01b0394851660248701529284166044860152921660648401526084830191909152600060a48301819052905160c48084019382900301818387803b158015610bf457600080fd5b505af1158015610c08573d6000803e3d6000fd5b505050505050505050565b60408051636090dec560e01b8152600481018490526001600160a01b0383811660248301529151600092861691636090dec591604480830192602092919082900301818787803b158015610c6657600080fd5b505af1158015610c7a573d6000803e3d6000fd5b505050506040513d6020811015610c9057600080fd5b5051949350505050565b8015610e4757836001600160a01b0316637bd2bea76040518163ffffffff1660e01b8152600401602060405180830381600087803b158015610cdb57600080fd5b505af1158015610cef573d6000803e3d6000fd5b505050506040513d6020811015610d0557600080fd5b5051604080516323b872dd60e01b81523360048201523060248201526044810185905290516001600160a01b03909216916323b872dd9160648082019260009290919082900301818387803b158015610d5d57600080fd5b505af1158015610d71573d6000803e3d6000fd5b50505050836001600160a01b0316637bd2bea76040518163ffffffff1660e01b8152600401602060405180830381600087803b158015610db057600080fd5b505af1158015610dc4573d6000803e3d6000fd5b505050506040513d6020811015610dda57600080fd5b50516040805163095ea7b360e01b81526001600160a01b038781166004830152602482018690529151919092169163095ea7b391604480830192600092919082900301818387803b158015610e2e57600080fd5b505af1158015610e42573d6000803e3d6000fd5b505050505b836001600160a01b0316633b4da69f84846040518363ffffffff1660e01b815260040180836001600160a01b03166001600160a01b0316815260200182815260200192505050600060405180830381600087803b1580156109f557600080fd5b836001600160a01b03166345e6bdcd8484846040518463ffffffff1660e01b8152600401808481526020018381526020018281526020019350505050600060405180830381600087803b1580156109f557600080fd5b6000856001600160a01b0316632726b073846040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b158015610f4357600080fd5b505afa158015610f57573d6000803e3d6000fd5b505050506040513d6020811015610f6d57600080fd5b5051604080516336569e7760e01b815290519192506000916001600160a01b038916916336569e77916004808301926020929190829003018186803b158015610fb557600080fd5b505afa158015610fc9573d6000803e3d6000fd5b505050506040513d6020811015610fdf57600080fd5b505160408051632c2cb9fd60e01b81526004810187905290519192506000916001600160a01b038a1691632c2cb9fd916024808301926020929190829003018186803b15801561102e57600080fd5b505afa158015611042573d6000803e3d6000fd5b505050506040513d602081101561105857600080fd5b50519050611070888660006107a4868c89888c611c4c565b61107f8886306107b888611dcc565b60408051634538c4eb60e01b81523060048201526001600160a01b038881166024830152915191841691634538c4eb91604480820192602092909190829003018186803b1580156110cf57600080fd5b505afa1580156110e3573d6000803e3d6000fd5b505050506040513d60208110156110f957600080fd5b505161117057816001600160a01b031663a3b22fc4876040518263ffffffff1660e01b815260040180826001600160a01b03166001600160a01b03168152602001915050600060405180830381600087803b15801561115757600080fd5b505af115801561116b573d6000803e3d6000fd5b505050505b6040805163ef693bed60e01b81523360048201526024810186905290516001600160a01b0388169163ef693bed91604480830192600092919082900301818387803b1580156111be57600080fd5b505af11580156111d2573d6000803e3d6000fd5b505050505050505050505050565b816001600160a01b031663dc4d20fa826040518263ffffffff1660e01b815260040180826001600160a01b03166001600160a01b03168152602001915050600060405180830381600087803b15801561123857600080fd5b505af115801561124c573d6000803e3d6000fd5b505050505050565b816001600160a01b0316637bd2bea76040518163ffffffff1660e01b8152600401602060405180830381600087803b15801561128f57600080fd5b505af11580156112a3573d6000803e3d6000fd5b505050506040513d60208110156112b957600080fd5b505160408051630d0e30db60e41b815290516001600160a01b039092169163d0e30db0913491600480830192600092919082900301818588803b1580156112ff57600080fd5b505af1158015611313573d6000803e3d6000fd5b5050505050816001600160a01b0316637bd2bea76040518163ffffffff1660e01b8152600401602060405180830381600087803b15801561135357600080fd5b505af1158015611367573d6000803e3d6000fd5b505050506040513d602081101561137d57600080fd5b50516040805163095ea7b360e01b81526001600160a01b0385811660048301523460248301529151919092169163095ea7b391604480830192600092919082900301818387803b1580156113d057600080fd5b505af11580156113e4573d6000803e3d6000fd5b505060408051633b4da69f60e01b81526001600160a01b03858116600483015234602483015291519186169350633b4da69f925060448082019260009290919082900301818387803b15801561123857600080fd5b60006114468a8730610c13565b90506114588a8a8a8a858a8a8a61172e565b6114638a828461091f565b9998505050505050505050565b816001600160a01b031663a3b22fc4826040518263ffffffff1660e01b815260040180826001600160a01b03166001600160a01b03168152602001915050600060405180830381600087803b15801561123857600080fd5b826001600160a01b031663a9059cbb83836040518363ffffffff1660e01b815260040180836001600160a01b03166001600160a01b0316815260200182815260200192505050600060405180830381600087803b15801561097f57600080fd5b826001600160a01b031663f4b9fa756040518163ffffffff1660e01b8152600401602060405180830381600087803b15801561156357600080fd5b505af1158015611577573d6000803e3d6000fd5b505050506040513d602081101561158d57600080fd5b5051604080516323b872dd60e01b81523360048201523060248201526044810184905290516001600160a01b03909216916323b872dd9160648082019260009290919082900301818387803b1580156115e557600080fd5b505af11580156115f9573d6000803e3d6000fd5b50505050826001600160a01b031663f4b9fa756040518163ffffffff1660e01b8152600401602060405180830381600087803b15801561163857600080fd5b505af115801561164c573d6000803e3d6000fd5b505050506040513d602081101561166257600080fd5b50516040805163095ea7b360e01b81526001600160a01b038681166004830152602482018590529151919092169163095ea7b391604480830192600092919082900301818387803b1580156116b657600080fd5b505af11580156116ca573d6000803e3d6000fd5b50505050826001600160a01b0316633b4da69f83836040518363ffffffff1660e01b815260040180836001600160a01b03166001600160a01b0316815260200182815260200192505050600060405180830381600087803b15801561097f57600080fd5b6000886001600160a01b0316632726b073866040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b15801561177457600080fd5b505afa158015611788573d6000803e3d6000fd5b505050506040513d602081101561179e57600080fd5b5051604080516336569e7760e01b815290519192506000916001600160a01b038c16916336569e77916004808301926020929190829003018186803b1580156117e657600080fd5b505afa1580156117fa573d6000803e3d6000fd5b505050506040513d602081101561181057600080fd5b505160408051632c2cb9fd60e01b81526004810189905290519192506000916001600160a01b038d1691632c2cb9fd916024808301926020929190829003018186803b15801561185f57600080fd5b505afa158015611873573d6000803e3d6000fd5b505050506040513d602081101561188957600080fd5b5051905061189989848887610c9a565b6118b88b886118ab610b858d8b611dea565b6107a4868f89888d611c4c565b6118c78b88306107b889611dcc565b60408051634538c4eb60e01b81523060048201526001600160a01b038a81166024830152915191841691634538c4eb91604480820192602092909190829003018186803b15801561191757600080fd5b505afa15801561192b573d6000803e3d6000fd5b505050506040513d602081101561194157600080fd5b50516119b857816001600160a01b031663a3b22fc4896040518263ffffffff1660e01b815260040180826001600160a01b03166001600160a01b03168152602001915050600060405180830381600087803b15801561199f57600080fd5b505af11580156119b3573d6000803e3d6000fd5b505050505b6040805163ef693bed60e01b81523360048201526024810187905290516001600160a01b038a169163ef693bed91604480830192600092919082900301818387803b158015611a0657600080fd5b505af1158015611a1a573d6000803e3d6000fd5b505050505050505050505050505050565b611a358230611254565b826001600160a01b03166336569e776040518163ffffffff1660e01b815260040160206040518083038186803b158015611a6e57600080fd5b505afa158015611a82573d6000803e3d6000fd5b505050506040513d6020811015611a9857600080fd5b505160408051632c2cb9fd60e01b81526004810184905290516001600160a01b039283169263760887039290871691632c2cb9fd91602480820192602092909190829003018186803b158015611aed57600080fd5b505afa158015611b01573d6000803e3d6000fd5b505050506040513d6020811015611b1757600080fd5b505160408051632726b07360e01b81526004810186905290516001600160a01b03881691632726b073916024808301926020929190829003018186803b158015611b6057600080fd5b505afa158015611b74573d6000803e3d6000fd5b505050506040513d6020811015611b8a57600080fd5b50513080611b9734611c01565b604080516001600160e01b031960e089901b16815260048101969096526001600160a01b0394851660248701529284166044860152921660648401526084830191909152600060a48301819052905160c48084019382900301818387803b15801561097f57600080fd5b806000811215611c47576040805162461bcd60e51b815260206004820152600c60248201526b696e742d6f766572666c6f7760a01b604482015290519081900360640190fd5b919050565b600080856001600160a01b03166344e2a5a8856040518263ffffffff1660e01b815260040180828152602001915050602060405180830381600087803b158015611c9557600080fd5b505af1158015611ca9573d6000803e3d6000fd5b505050506040513d6020811015611cbf57600080fd5b505160408051633612d9a360e11b81526001600160a01b0388811660048301529151929350600092918a1691636c25b34691602480820192602092909190829003018186803b158015611d1157600080fd5b505afa158015611d25573d6000803e3d6000fd5b505050506040513d6020811015611d3b57600080fd5b50519050611d55846b033b2e3c9fd0803ce8000000611e69565b811015611dc157611d8c82611d7f611d79876b033b2e3c9fd0803ce8000000611e69565b84611ec4565b81611d8657fe5b04611c01565b9250611da4846b033b2e3c9fd0803ce8000000611e69565b611dae8484611e69565b10611db95782611dbe565b826001015b92505b505095945050505050565b6000611de4826b033b2e3c9fd0803ce8000000611e69565b92915050565b6000611e6282846001600160a01b031663b3bcfa826040518163ffffffff1660e01b8152600401602060405180830381600087803b158015611e2b57600080fd5b505af1158015611e3f573d6000803e3d6000fd5b505050506040513d6020811015611e5557600080fd5b5051601203600a0a611e69565b9392505050565b6000811580611e8457505080820282828281611e8157fe5b04145b611de4576040805162461bcd60e51b815260206004820152600c60248201526b6d756c2d6f766572666c6f7760a01b604482015290519081900360640190fd5b80820382811115611de4576040805162461bcd60e51b815260206004820152600c60248201526b7375622d6f766572666c6f7760a01b604482015290519081900360640190fdfea265627a7a723158203e20e62ada1ff0ed784fb36ed59ca12103cfa585e2cd11854f1eb4f61e7ca39264736f6c63430005100032

4072:10205:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12268:399;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;;;;;;12268:399:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;11202:1058;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;;;;;;11202:1058:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;8646:149;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8646:149:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;8646:149:0;;;;;;;;;;;;;;;;;:::i;8803:173::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8803:173:0;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;;;;;;8803:173:0;;;;;;;;;;;;;;;;;;;;:::i;9714:613::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9714:613:0;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;;;;;;9714:613:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;8461:177::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8461:177:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;8461:177:0;;;;;;;;;;;;;;;;;:::i;7658:551::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7658:551:0;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;;;;;;7658:551:0;;;;;;;;;;;;;;;;;;;;;;;;:::i;8984:172::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8984:172:0;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;;;;;;8984:172:0;;;;;;;;;;;;;;;;;;:::i;10337:857::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10337:857:0;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;;;;;;10337:857:0;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;8339:114::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8339:114:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;8339:114:0;;;;;;;;;;:::i;7275:375::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;7275:375:0;;;;;;;;;;:::i;13815:457::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13815:457:0;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;;;;;;13815:457:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;8217:114::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8217:114:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;8217:114:0;;;;;;;;;;:::i;7156:111::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7156:111:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;7156:111:0;;;;;;;;;;;;;;;;;:::i;3690:375::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3690:375:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3690:375:0;;;;;;;;;;;;;;;;;:::i;12675:1132::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12675:1132:0;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;;;;;;12675:1132:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;9164:542::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;9164:542:0;;;;;;;;;;;;;;;;;:::i;12268:399::-;12493:8;12520:33;12525:7;12534:3;12547:4;12520;:33::i;:::-;12514:39;;12564:57;12579:7;12588:3;12593:7;12602;12611:3;12616:4;12564:14;:57::i;:::-;12632:25;12637:7;12646:3;12651:5;12632:4;:25::i;:::-;12268:399;;;;;;;;;:::o;11202:1058::-;11398:11;11424:7;-1:-1:-1;;;;;11412:25:0;;11438:3;11412:30;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11412:30:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;11412:30:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;11412:30:0;11467:26;;;-1:-1:-1;;;11467:26:0;;;;11412:30;;-1:-1:-1;11453:11:0;;-1:-1:-1;;;;;11467:24:0;;;;;:26;;;;;11412:30;;11467:26;;;;;;;:24;:26;;;5:2:-1;;;;30:1;27;20:12;5:2;11467:26:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;11467:26:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;11467:26:0;11518:30;;;-1:-1:-1;;;11518:30:0;;;;;;;;;;11467:26;;-1:-1:-1;11504:11:0;;-1:-1:-1;;;;;11518:25:0;;;;;:30;;;;;11467:26;;11518:30;;;;;;;:25;:30;;;5:2:-1;;;;30:1;27;20:12;5:2;11518:30:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;11518:30:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;11518:30:0;;-1:-1:-1;11638:26:0;11651:7;11660:3;11638:12;:26::i;:::-;11737:76;11742:7;11751:3;11756:16;11762:9;11756:5;:16::i;:::-;11774:38;11787:3;11792;11797;11802;11807:4;11774:12;:38::i;:::-;11737:4;:76::i;:::-;11904:46;11909:7;11918:3;11931:4;11938:11;11944:4;11938:5;:11::i;:::-;11904:4;:46::i;:::-;12036:49;;;-1:-1:-1;;;12036:49:0;;12061:4;12036:49;;;;-1:-1:-1;;;;;12036:49:0;;;;;;;;;:16;;;;;;:49;;;;;;;;;;;;;;;:16;:49;;;5:2:-1;;;;30:1;27;20:12;5:2;12036:49:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;12036:49:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;12036:49:0;12032:113;;12115:3;-1:-1:-1;;;;;12107:17:0;;12125:7;12107:26;;;;;;;;;;;;;-1:-1:-1;;;;;12107:26:0;-1:-1:-1;;;;;12107:26:0;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12107:26:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;12107:26:0;;;;12032:113;12209:43;;;-1:-1:-1;;;12209:43:0;;12235:10;12209:43;;;;;;;;;;;;-1:-1:-1;;;;;12209:25:0;;;;;:43;;;;;-1:-1:-1;;12209:43:0;;;;;;;-1:-1:-1;12209:25:0;:43;;;5:2:-1;;;;30:1;27;20:12;5:2;12209:43:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;12209:43:0;;;;11202:1058;;;;;;;;;:::o;8646:149::-;8764:7;-1:-1:-1;;;;;8752:25:0;;8778:3;8783;8752:35;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;8752:35:0;-1:-1:-1;;;;;8752:35:0;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8752:35:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8752:35:0;;;;8646:149;;;:::o;8803:173::-;8928:40;;;-1:-1:-1;;;8928:40:0;;;;;;;;-1:-1:-1;;;;;8928:40:0;;;;;;;;;;;;;;;:25;;;;;;:40;;;;;-1:-1:-1;;8928:40:0;;;;;;;;-1:-1:-1;8928:25:0;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;8928:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8928:40:0;;;;8803:173;;;;:::o;9714:613::-;9947:55;9960:7;9977:4;9984:3;9989:12;9947;:55::i;:::-;10077:7;-1:-1:-1;;;;;10065:24:0;;:26;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10065:26:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10065:26:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;10065:26:0;10112:30;;;-1:-1:-1;;;10112:30:0;;;;;;;;;;-1:-1:-1;;;;;10057:40:0;;;;;;10112:25;;;;;;:30;;;;;10065:26;;10112:30;;;;;;;;:25;:30;;;5:2:-1;;;;30:1;27;20:12;5:2;10112:30:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10112:30:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;10112:30:0;10157;;;-1:-1:-1;;;10157:30:0;;;;;;;;;;-1:-1:-1;;;;;10157:25:0;;;;;:30;;;;;10112;;10157;;;;;;;:25;:30;;;5:2:-1;;;;30:1;27;20:12;5:2;10157:30:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10157:30:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;10157:30:0;10210:4;;10258:32;10264:25;10276:7;10285:3;10264:11;:25::i;:::-;10258:5;:32::i;:::-;10057:260;;;-1:-1:-1;;;;;;10057:260:0;;;;;;;;;;;;;;-1:-1:-1;;;;;10057:260:0;;;;;;;;;;;;;;;;;;;;;;;;;;;10305:1;10057:260;;;;;;;;;;;;;;;;;;10305:1;10057:260;;;;5:2:-1;;;;30:1;27;20:12;5:2;10057:260:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10057:260:0;;;;9714:613;;;;;:::o;8461:177::-;8595:35;;;-1:-1:-1;;;8595:35:0;;;;;;;;-1:-1:-1;;;;;8595:35:0;;;;;;;;;8568:8;;8595:25;;;;;:35;;;;;;;;;;;;;;8568:8;8595:25;:35;;;5:2:-1;;;;30:1;27;20:12;5:2;8595:35:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8595:35:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;8595:35:0;;8461:177;-1:-1:-1;;;;8461:177:0:o;7658:551::-;7841:12;7837:275;;;7932:3;-1:-1:-1;;;;;7920:20:0;;:22;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7920:22:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7920:22:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7920:22:0;:67;;;-1:-1:-1;;;7920:67:0;;7956:10;7920:67;;;;7976:4;7920:67;;;;;;;;;;;;-1:-1:-1;;;;;7920:35:0;;;;;;:67;;;;;-1:-1:-1;;7920:67:0;;;;;;;;-1:-1:-1;7920:35:0;:67;;;5:2:-1;;;;30:1;27;20:12;5:2;7920:67:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7920:67:0;;;;8072:3;-1:-1:-1;;;;;8060:20:0;;:22;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8060:22:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8060:22:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;8060:22:0;:40;;;-1:-1:-1;;;8060:40:0;;-1:-1:-1;;;;;8060:40:0;;;;;;;;;;;;;;;:30;;;;;;;:40;;;;;-1:-1:-1;;8060:40:0;;;;;;;-1:-1:-1;8060:30:0;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;8060:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8060:40:0;;;;7837:275;8182:3;-1:-1:-1;;;;;8170:21:0;;8192:3;8197;8170:31;;;;;;;;;;;;;-1:-1:-1;;;;;8170:31:0;-1:-1:-1;;;;;8170:31:0;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;8984:172:0;9118:7;-1:-1:-1;;;;;9106:25:0;;9132:3;9137:4;9143;9106:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;10337:857:0;10488:11;10514:7;-1:-1:-1;;;;;10502:25:0;;10528:3;10502:30;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10502:30:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10502:30:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;10502:30:0;10557:26;;;-1:-1:-1;;;10557:26:0;;;;10502:30;;-1:-1:-1;10543:11:0;;-1:-1:-1;;;;;10557:24:0;;;;;:26;;;;;10502:30;;10557:26;;;;;;;:24;:26;;;5:2:-1;;;;30:1;27;20:12;5:2;10557:26:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10557:26:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;10557:26:0;10608:30;;;-1:-1:-1;;;10608:30:0;;;;;;;;;;10557:26;;-1:-1:-1;10594:11:0;;-1:-1:-1;;;;;10608:25:0;;;;;:30;;;;;10557:26;;10608:30;;;;;;;:25;:30;;;5:2:-1;;;;30:1;27;20:12;5:2;10608:30:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10608:30:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;10608:30:0;;-1:-1:-1;10687:60:0;10692:7;10701:3;10706:1;10709:37;10722:3;10727;10732;10608:30;10742:3;10709:12;:37::i;10687:60::-;10838:45;10843:7;10852:3;10865:4;10872:10;10878:3;10872:5;:10::i;10838:45::-;10969:49;;;-1:-1:-1;;;10969:49:0;;10994:4;10969:49;;;;-1:-1:-1;;;;;10969:49:0;;;;;;;;;:16;;;;;;:49;;;;;;;;;;;;;;;:16;:49;;;5:2:-1;;;;30:1;27;20:12;5:2;10969:49:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10969:49:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;10969:49:0;10965:113;;11048:3;-1:-1:-1;;;;;11040:17:0;;11058:7;11040:26;;;;;;;;;;;;;-1:-1:-1;;;;;11040:26:0;-1:-1:-1;;;;;11040:26:0;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11040:26:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;11040:26:0;;;;10965:113;11142:42;;;-1:-1:-1;;;11142:42:0;;11168:10;11142:42;;;;;;;;;;;;-1:-1:-1;;;;;11142:25:0;;;;;:42;;;;;-1:-1:-1;;11142:42:0;;;;;;;-1:-1:-1;11142:25:0;:42;;;5:2:-1;;;;30:1;27;20:12;5:2;11142:42:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;11142:42:0;;;;10337:857;;;;;;;;:::o;8339:114::-;8431:3;-1:-1:-1;;;;;8422:18:0;;8441:3;8422:23;;;;;;;;;;;;;-1:-1:-1;;;;;8422:23:0;-1:-1:-1;;;;;8422:23:0;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8422:23:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8422:23:0;;;;8339:114;;:::o;7275:375::-;7391:3;-1:-1:-1;;;;;7379:20:0;;:22;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7379:22:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7379:22:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7379:22:0;:49;;;-1:-1:-1;;;7379:49:0;;;;-1:-1:-1;;;;;7379:30:0;;;;;;7416:9;;7379:49;;;;;;;;;;;;;;7416:9;7379:30;:49;;;5:2:-1;;;;30:1;27;20:12;5:2;7379:49:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7379:49:0;;;;;7504:3;-1:-1:-1;;;;;7492:20:0;;:22;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7492:22:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7492:22:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7492:22:0;:55;;;-1:-1:-1;;;7492:55:0;;-1:-1:-1;;;;;7492:55:0;;;;;;;7537:9;7492:55;;;;;;:30;;;;;;;:55;;;;;-1:-1:-1;;7492:55:0;;;;;;;-1:-1:-1;7492:30:0;:55;;;5:2:-1;;;;30:1;27;20:12;5:2;7492:55:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;7605:37:0;;;-1:-1:-1;;;7605:37:0;;-1:-1:-1;;;;;7605:37:0;;;;;;;7632:9;7605:37;;;;;;:21;;;;-1:-1:-1;7605:21:0;;-1:-1:-1;7605:37:0;;;;;-1:-1:-1;;7605:37:0;;;;;;;;-1:-1:-1;7605:21:0;:37;;;5:2:-1;;;;30:1;27;20:12;13815:457:0;14080:8;14107:33;14112:7;14121:3;14134:4;14107;:33::i;:::-;14101:39;;14151:77;14166:7;14175:3;14180:7;14189;14198:3;14203:4;14209;14215:12;14151:14;:77::i;:::-;14239:25;14244:7;14253:3;14258:5;14239:4;:25::i;:::-;13815:457;;;;;;;;;;;:::o;8217:114::-;8309:3;-1:-1:-1;;;;;8300:18:0;;8319:3;8300:23;;;;;;;;;;;;;-1:-1:-1;;;;;8300:23:0;-1:-1:-1;;;;;8300:23:0;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;7156:111:0;7236:3;-1:-1:-1;;;;;7228:21:0;;7250:3;7255;7228:31;;;;;;;;;;;;;-1:-1:-1;;;;;7228:31:0;-1:-1:-1;;;;;7228:31:0;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;3690:375:0;3822:3;-1:-1:-1;;;;;3810:20:0;;:22;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3810:22:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3810:22:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3810:22:0;:67;;;-1:-1:-1;;;3810:67:0;;3846:10;3810:67;;;;3866:4;3810:67;;;;;;;;;;;;-1:-1:-1;;;;;3810:35:0;;;;;;:67;;;;;-1:-1:-1;;3810:67:0;;;;;;;;-1:-1:-1;3810:35:0;:67;;;5:2:-1;;;;30:1;27;20:12;5:2;3810:67:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3810:67:0;;;;3952:3;-1:-1:-1;;;;;3940:20:0;;:22;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3940:22:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3940:22:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3940:22:0;:40;;;-1:-1:-1;;;3940:40:0;;-1:-1:-1;;;;;3940:40:0;;;;;;;;;;;;;;;:30;;;;;;;:40;;;;;-1:-1:-1;;3940:40:0;;;;;;;-1:-1:-1;3940:30:0;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;3940:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3940:40:0;;;;4038:3;-1:-1:-1;;;;;4026:21:0;;4048:3;4053;4026:31;;;;;;;;;;;;;-1:-1:-1;;;;;4026:31:0;-1:-1:-1;;;;;4026:31:0;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;12675:1132:0;12911:11;12937:7;-1:-1:-1;;;;;12925:25:0;;12951:3;12925:30;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12925:30:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;12925:30:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;12925:30:0;12980:26;;;-1:-1:-1;;;12980:26:0;;;;12925:30;;-1:-1:-1;12966:11:0;;-1:-1:-1;;;;;12980:24:0;;;;;:26;;;;;12925:30;;12980:26;;;;;;;:24;:26;;;5:2:-1;;;;30:1;27;20:12;5:2;12980:26:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;12980:26:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;12980:26:0;13031:30;;;-1:-1:-1;;;13031:30:0;;;;;;;;;;12980:26;;-1:-1:-1;13017:11:0;;-1:-1:-1;;;;;13031:25:0;;;;;:30;;;;;12980:26;;13031:30;;;;;;;:25;:30;;;5:2:-1;;;;30:1;27;20:12;5:2;13031:30:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;13031:30:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;13031:30:0;;-1:-1:-1;13145:46:0;13158:7;13167:3;13172:4;13178:12;13145;:46::i;:::-;13265:93;13270:7;13279:3;13284:33;13290:26;13302:7;13311:4;13290:11;:26::i;13284:33::-;13319:38;13332:3;13337;13342;13347;13352:4;13319:12;:38::i;13265:93::-;13449:46;13454:7;13463:3;13476:4;13483:11;13489:4;13483:5;:11::i;13449:46::-;13581:49;;;-1:-1:-1;;;13581:49:0;;13606:4;13581:49;;;;-1:-1:-1;;;;;13581:49:0;;;;;;;;;:16;;;;;;:49;;;;;;;;;;;;;;;:16;:49;;;5:2:-1;;;;30:1;27;20:12;5:2;13581:49:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;13581:49:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;13581:49:0;13577:113;;13660:3;-1:-1:-1;;;;;13652:17:0;;13670:7;13652:26;;;;;;;;;;;;;-1:-1:-1;;;;;13652:26:0;-1:-1:-1;;;;;13652:26:0;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13652:26:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;13652:26:0;;;;13577:113;13754:43;;;-1:-1:-1;;;13754:43:0;;13780:10;13754:43;;;;;;;;;;;;-1:-1:-1;;;;;13754:25:0;;;;;:43;;;;;-1:-1:-1;;13754:43:0;;;;;;;-1:-1:-1;13754:25:0;:43;;;5:2:-1;;;;30:1;27;20:12;5:2;13754:43:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;13754:43:0;;;;12675:1132;;;;;;;;;;;:::o;9164:542::-;9364:36;9377:7;9394:4;9364:12;:36::i;:::-;9474:7;-1:-1:-1;;;;;9462:24:0;;:26;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9462:26:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9462:26:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;9462:26:0;9509:30;;;-1:-1:-1;;;9509:30:0;;;;;;;;;;-1:-1:-1;;;;;9454:40:0;;;;;;9509:25;;;;;;:30;;;;;9462:26;;9509:30;;;;;;;;:25;:30;;;5:2:-1;;;;30:1;27;20:12;5:2;9509:30:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9509:30:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;9509:30:0;9554;;;-1:-1:-1;;;9554:30:0;;;;;;;;;;-1:-1:-1;;;;;9554:25:0;;;;;:30;;;;;9509;;9554;;;;;;;:25;:30;;;5:2:-1;;;;30:1;27;20:12;5:2;9554:30:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9554:30:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;9554:30:0;9607:4;;9655:16;9661:9;9655:5;:16::i;:::-;9454:244;;;-1:-1:-1;;;;;;9454:244:0;;;;;;;;;;;;;;-1:-1:-1;;;;;9454:244:0;;;;;;;;;;;;;;;;;;;;;;;;;;;9686:1;9454:244;;;;;;;;;;;;;;;;;;9686:1;9454:244;;;;5:2:-1;;;;30:1;27;20:12;4277:124:0;4349:1;4323:5;4370:6;;;4362:31;;;;;-1:-1:-1;;;4362:31:0;;;;;;;;;;;;-1:-1:-1;;;4362:31:0;;;;;;;;;;;;;;;4277:124;;;:::o;4931:896::-;5085:8;5145:9;5165:3;-1:-1:-1;;;;;5157:17:0;;5175:3;5157:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5157:22:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;5157:22:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5157:22:0;5254:21;;;-1:-1:-1;;;5254:21:0;;-1:-1:-1;;;;;5254:21:0;;;;;;;;;5157:22;;-1:-1:-1;5243:8:0;;5254:16;;;;;;:21;;;;;5157:22;;5254:21;;;;;;;;:16;:21;;;5:2:-1;;;;30:1;27;20:12;5:2;5254:21:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;5254:21:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5254:21:0;;-1:-1:-1;5401:13:0;5405:3;3475:8;5401:3;:13::i;:::-;5395:3;:19;5391:429;;;5569:37;5601:4;5575:23;5579:13;5583:3;3475:8;5579:3;:13::i;:::-;5594:3;5575;:23::i;:::-;:30;;;;;;5569:5;:37::i;:::-;5562:44;;5777:13;5781:3;3475:8;5777:3;:13::i;:::-;5753:21;5762:4;5769;5753:3;:21::i;:::-;:37;:55;;5804:4;5753:55;;;5793:4;5800:1;5793:8;5753:55;5746:62;;5391:429;4931:896;;;;;;;;;:::o;4409:101::-;4457:8;4484:18;4488:3;4493:8;4484:3;:18::i;:::-;4478:24;4409:101;-1:-1:-1;;4409:101:0:o;4518:405::-;4587:11;4829:86;4847:3;4889:7;-1:-1:-1;;;;;4877:24:0;;:26;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4877:26:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4877:26:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;4877:26:0;4872:2;:31;4865:2;:39;4829:3;:86::i;:::-;4823:92;4518:405;-1:-1:-1;;;4518:405:0:o;3521:134::-;3573:6;3600;;;:30;;-1:-1:-1;;3615:5:0;;;3629:1;3624;3615:5;3624:1;3610:15;;;;;:20;3600:30;3592:55;;;;;-1:-1:-1;;;3592:55:0;;;;;;;;;;;;-1:-1:-1;;;3592:55:0;;;;;;;;;;;;;;4149:120;4233:5;;;4228:16;;;;4220:41;;;;;-1:-1:-1;;;4220:41:0;;;;;;;;;;;;-1:-1:-1;;;4220:41:0;;;;;;;;;;;;;

bzzr://3e20e62ada1ff0ed784fb36ed59ca12103cfa585e2cd11854f1eb4f61e7ca392