Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface TokenInterface
•    - function balanceOf(address)
•    - function transfer(address, uint)
•    - function approve(address, uint)
• interface ListInterface
•    - function accountID(address)
•    - function accountLink(uint64)
• interface AccountInterface
•    - function isAuth(address)
•    - function cast(
• interface IndexInterface
•    - function build(
•    - function buildWithCast(
• interface ManagerLike
•    - function owns(uint)
•    - function give(uint, address)
•  contract DSMath
•    - function add(uint x, uint y)
•    - function mul(uint x, uint y)
•    - function wmul(uint x, uint y)
•    - function wdiv(uint x, uint y)
•  contract Helpers is DSMath
•    - function getAddressETH()
•    - function getIndexAddress()
•    - function getListAddress()
•    - function getMcdManager()
•  contract MigrateProxy is Helpers *
•    - function migrateVaults(address dsa, u ...
•    - function migrateAllowances(address ds ...
•    - function migrateTokens(address dsa, a ...
•    - function migrate(

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-06-09
*/

pragma solidity ^0.6.0;
pragma experimental ABIEncoderV2;

interface TokenInterface {
    function balanceOf(address) external view returns (uint);
    function transfer(address, uint) external returns (bool);
    function approve(address, uint) external;
}

interface ListInterface {
    struct AccountLink {
        address first;
        address last;
        uint64 count;
    }

    function accountID(address) external view returns (uint64);
    function accountLink(uint64) external view returns (AccountLink memory);
}

interface AccountInterface {
    function isAuth(address) external view returns (bool);
    function cast(
        address[] calldata _targets,
        bytes[] calldata _datas,
        address _origin
    ) external payable;
}

interface IndexInterface {
    function build(
        address _owner,
        uint accountVersion,
        address _origin
    ) external returns (address _account);
    function buildWithCast(
        address _owner,
        uint accountVersion,
        address[] calldata _targets,
        bytes[] calldata _datas,
        address _origin
    ) external payable returns (address _account);
}

interface ManagerLike {
    function owns(uint) external view returns (address);
    function give(uint, address) external;
}


contract DSMath {

    function add(uint x, uint y) internal pure returns (uint z) {
        require((z = x + y) >= x, "math-not-safe");
    }

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

    uint constant WAD = 10 ** 18;

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

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

}

contract Helpers is DSMath {

    /**
     * @dev Return ethereum address
     */
    function getAddressETH() internal pure returns (address) {
        return 0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE; // ETH Address
    }

    /**
     * @dev Return InstaIndex address
     */
    function getIndexAddress() internal pure returns (address) {
        return 0x2971AdFa57b20E5a416aE5a708A8655A9c74f723;
    }

    /**
     * @dev Return InstaList address
     */
    function getListAddress() internal pure returns (address) {
        return 0x4c8a1BEb8a87765788946D6B19C6C6355194AbEb;
    }

    /**
     * @dev Return Maker MCD Manager Address.
    */
    function getMcdManager() internal pure returns (address) {
        return 0x5ef30b9986345249bc32d8928B7ee64DE9435E39;
    }

}

contract MigrateProxy is Helpers {

    event LogMigrate(address dsa, address[] tokens, address[] ctokens, uint[] vaults);

    function migrateVaults(address dsa, uint[] memory vaults) private {
        ManagerLike managerContract = ManagerLike(getMcdManager());
        for (uint i = 0; i < vaults.length; i++) managerContract.give(vaults[i], dsa);
    }

    function migrateAllowances(address dsa, address[] memory tokens) private {
        for (uint i = 0; i < tokens.length; i++) {
            address token = tokens[i];
            TokenInterface tokenContract = TokenInterface(token);
            uint tokenAmt = tokenContract.balanceOf(address(this));
            if (tokenAmt > 0) tokenContract.approve(dsa, tokenAmt);
        }
    }

    function migrateTokens(address dsa, address[] memory tokens) private {
        for (uint i = 0; i < tokens.length; i++) {
            address token = tokens[i];
            TokenInterface tokenContract = TokenInterface(token);
            uint tokenAmt = tokenContract.balanceOf(address(this));
            if (tokenAmt > 0) tokenContract.transfer(dsa, tokenAmt);
        }
    }

    struct MigrateData {
        uint[] vaults;
        address[] tokens;
        address[] ctokens;
    }


    function migrate(
        address[] calldata targets,
        bytes[] calldata calldatas,
        MigrateData calldata migrateData
    ) external payable {
        uint _len = migrateData.ctokens.length;
        address _dsa;
        if (_len > 0) {
            _dsa = IndexInterface(getIndexAddress()).build(
                address(this),
                1,
                address(0)
            );

            migrateAllowances(_dsa, migrateData.ctokens);
            AccountInterface dsaContract = AccountInterface(_dsa);
            dsaContract.cast.value(address(this).balance)(targets, calldatas, address(0));
            require(dsaContract.isAuth(msg.sender), "msg.sender-is-not-auth.");
            ListInterface listContract = ListInterface(getListAddress());
            uint64 dsaId = listContract.accountID(_dsa);
            require(listContract.accountLink(dsaId).count == 1, "more-than-one-auth");
        } else {
            _dsa = IndexInterface(getIndexAddress()).build(
                msg.sender,
                1,
                address(0)
            );
        }
        migrateVaults(_dsa, migrateData.vaults);
        migrateTokens(_dsa, migrateData.tokens);

        emit LogMigrate(_dsa, migrateData.tokens, migrateData.ctokens, migrateData.vaults);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"dsa","type":"address"},{"indexed":false,"internalType":"address[]","name":"tokens","type":"address[]"},{"indexed":false,"internalType":"address[]","name":"ctokens","type":"address[]"},{"indexed":false,"internalType":"uint256[]","name":"vaults","type":"uint256[]"}],"name":"LogMigrate","type":"event"},{"inputs":[{"internalType":"address[]","name":"targets","type":"address[]"},{"internalType":"bytes[]","name":"calldatas","type":"bytes[]"},{"components":[{"internalType":"uint256[]","name":"vaults","type":"uint256[]"},{"internalType":"address[]","name":"tokens","type":"address[]"},{"internalType":"address[]","name":"ctokens","type":"address[]"}],"internalType":"struct MigrateProxy.MigrateData","name":"migrateData","type":"tuple"}],"name":"migrate","outputs":[],"stateMutability":"payable","type":"function"}]

608060405234801561001057600080fd5b50611574806100206000396000f3fe60806040526004361061001e5760003560e01c806308b705ce14610023575b600080fd5b61003d60048036036100389190810190610ced565b61003f565b005b600081806040018035600160200383360303811261005c57600080fd5b8083019250508135905060208201915067ffffffffffffffff81111561008157600080fd5b60208102360382131561009357600080fd5b90509050600080821115610492576100a961079f565b73ffffffffffffffffffffffffffffffffffffffff1663bb7e70ef30600160006040518463ffffffff1660e01b81526004016100e7939291906111bc565b602060405180830381600087803b15801561010157600080fd5b505af1158015610115573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506101399190810190610cc4565b90506101d68184806040018035600160200383360303811261015a57600080fd5b8083019250508135905060208201915067ffffffffffffffff81111561017f57600080fd5b60208102360382131561019157600080fd5b80806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050506107bb565b60008190508073ffffffffffffffffffffffffffffffffffffffff1663e0e90acf478a8a8a8a60006040518763ffffffff1660e01b815260040161021e95949392919061121c565b6000604051808303818588803b15801561023757600080fd5b505af115801561024b573d6000803e3d6000fd5b50505050508073ffffffffffffffffffffffffffffffffffffffff16632520e7ff336040518263ffffffff1660e01b8152600401610289919061110a565b60206040518083038186803b1580156102a157600080fd5b505afa1580156102b5573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506102d99190810190610d8e565b610318576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161030f90611285565b60405180910390fd5b6000610322610900565b905060008173ffffffffffffffffffffffffffffffffffffffff16636cfaf5e9856040518263ffffffff1660e01b815260040161035f91906110ef565b60206040518083038186803b15801561037757600080fd5b505afa15801561038b573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506103af9190810190610e09565b905060018273ffffffffffffffffffffffffffffffffffffffff16638028a9fd836040518263ffffffff1660e01b81526004016103ec91906112ce565b60606040518083038186803b15801561040457600080fd5b505afa158015610418573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061043c9190810190610db7565b6040015167ffffffffffffffff161461048a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161048190611265565b60405180910390fd5b50505061052d565b61049a61079f565b73ffffffffffffffffffffffffffffffffffffffff1663bb7e70ef33600160006040518463ffffffff1660e01b81526004016104d893929190611125565b602060405180830381600087803b1580156104f257600080fd5b505af1158015610506573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061052a9190810190610cc4565b90505b6105c88184806000018035600160200383360303811261054c57600080fd5b8083019250508135905060208201915067ffffffffffffffff81111561057157600080fd5b60208102360382131561058357600080fd5b80806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f8201169050808301925050505050505061091c565b610663818480602001803560016020038336030381126105e757600080fd5b8083019250508135905060208201915067ffffffffffffffff81111561060c57600080fd5b60208102360382131561061e57600080fd5b80806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050506109ca565b7f77fc27db5fec5473eb7384d54365f31c637b0864f226e11ef7d0fe373ee0d9db818480602001803560016020038336030381126106a057600080fd5b8083019250508135905060208201915067ffffffffffffffff8111156106c557600080fd5b6020810236038213156106d757600080fd5b8680604001803560016020038336030381126106f257600080fd5b8083019250508135905060208201915067ffffffffffffffff81111561071757600080fd5b60208102360382131561072957600080fd5b88806000018035600160200383360303811261074457600080fd5b8083019250508135905060208201915067ffffffffffffffff81111561076957600080fd5b60208102360382131561077b57600080fd5b60405161078e979695949392919061115c565b60405180910390a150505050505050565b6000732971adfa57b20e5a416ae5a708a8655a9c74f723905090565b60008090505b81518110156108fb5760008282815181106107d857fe5b60200260200101519050600081905060008173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b815260040161082291906110ef565b60206040518083038186803b15801561083a57600080fd5b505afa15801561084e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506108729190810190610de0565b905060008111156108eb578173ffffffffffffffffffffffffffffffffffffffff1663095ea7b387836040518363ffffffff1660e01b81526004016108b89291906111f3565b600060405180830381600087803b1580156108d257600080fd5b505af11580156108e6573d6000803e3d6000fd5b505050505b50505080806001019150506107c1565b505050565b6000734c8a1beb8a87765788946d6b19c6c6355194abeb905090565b6000610926610b30565b905060008090505b82518110156109c4578173ffffffffffffffffffffffffffffffffffffffff1663fcafcc6884838151811061095f57fe5b6020026020010151866040518363ffffffff1660e01b81526004016109859291906112a5565b600060405180830381600087803b15801561099f57600080fd5b505af11580156109b3573d6000803e3d6000fd5b50505050808060010191505061092e565b50505050565b60008090505b8151811015610b2b5760008282815181106109e757fe5b60200260200101519050600081905060008173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401610a3191906110ef565b60206040518083038186803b158015610a4957600080fd5b505afa158015610a5d573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610a819190810190610de0565b90506000811115610b1b578173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb87836040518363ffffffff1660e01b8152600401610ac79291906111f3565b602060405180830381600087803b158015610ae157600080fd5b505af1158015610af5573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610b199190810190610d8e565b505b50505080806001019150506109d0565b505050565b6000735ef30b9986345249bc32d8928b7ee64de9435e39905090565b600081359050610b5b816114e2565b92915050565b600081519050610b70816114e2565b92915050565b60008083601f840112610b8857600080fd5b8235905067ffffffffffffffff811115610ba157600080fd5b602083019150836020820283011115610bb957600080fd5b9250929050565b60008083601f840112610bd257600080fd5b8235905067ffffffffffffffff811115610beb57600080fd5b602083019150836020820283011115610c0357600080fd5b9250929050565b600081519050610c19816114f9565b92915050565b600060608284031215610c3157600080fd5b610c3b60606112e9565b90506000610c4b84828501610b61565b6000830152506020610c5f84828501610b61565b6020830152506040610c7384828501610caf565b60408301525092915050565b600060608284031215610c9157600080fd5b81905092915050565b600081519050610ca981611510565b92915050565b600081519050610cbe81611527565b92915050565b600060208284031215610cd657600080fd5b6000610ce484828501610b61565b91505092915050565b600080600080600060608688031215610d0557600080fd5b600086013567ffffffffffffffff811115610d1f57600080fd5b610d2b88828901610b76565b9550955050602086013567ffffffffffffffff811115610d4a57600080fd5b610d5688828901610bc0565b9350935050604086013567ffffffffffffffff811115610d7557600080fd5b610d8188828901610c7f565b9150509295509295909350565b600060208284031215610da057600080fd5b6000610dae84828501610c0a565b91505092915050565b600060608284031215610dc957600080fd5b6000610dd784828501610c1f565b91505092915050565b600060208284031215610df257600080fd5b6000610e0084828501610c9a565b91505092915050565b600060208284031215610e1b57600080fd5b6000610e2984828501610caf565b91505092915050565b6000610e3e8383610e6f565b60208301905092915050565b6000610e57848484611015565b90509392505050565b610e698161147a565b82525050565b610e788161141e565b82525050565b610e878161141e565b82525050565b6000610e99838561135b565b9350610ea482611320565b8060005b85811015610edd57610eba82846113b0565b610ec48882610e32565b9750610ecf83611341565b925050600181019050610ea8565b5085925050509392505050565b6000610ef6838561135b565b9350610f0182611316565b8060005b85811015610f3a57610f1782846113b0565b610f218882610e32565b9750610f2c83611334565b925050600181019050610f05565b5085925050509392505050565b6000610f53838561136c565b935083602084028501610f658461132a565b8060005b87811015610fab578484038952610f8082846113c7565b610f8b868284610e4a565b9550610f968461134e565b935060208b019a505050600181019050610f69565b50829750879450505050509392505050565b6000610fc9838561137d565b93507f07ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff831115610ff857600080fd5b6020830292506110098385846114c2565b82840190509392505050565b6000611021838561138e565b935061102e8385846114c2565b611037836114d1565b840190509392505050565b61104b8161148c565b82525050565b600061105e60128361139f565b91507f6d6f72652d7468616e2d6f6e652d6175746800000000000000000000000000006000830152602082019050919050565b600061109e60178361139f565b91507f6d73672e73656e6465722d69732d6e6f742d617574682e0000000000000000006000830152602082019050919050565b6110da8161145c565b82525050565b6110e981611466565b82525050565b60006020820190506111046000830184610e7e565b92915050565b600060208201905061111f6000830184610e60565b92915050565b600060608201905061113a6000830186610e60565b6111476020830185611042565b6111546040830184610e60565b949350505050565b6000608082019050611171600083018a610e7e565b818103602083015261118481888a610eea565b90508181036040830152611199818688610eea565b905081810360608301526111ae818486610fbd565b905098975050505050505050565b60006060820190506111d16000830186610e7e565b6111de6020830185611042565b6111eb6040830184610e60565b949350505050565b60006040820190506112086000830185610e7e565b61121560208301846110d1565b9392505050565b60006060820190508181036000830152611237818789610e8d565b9050818103602083015261124c818587610f47565b905061125b6040830184610e60565b9695505050505050565b6000602082019050818103600083015261127e81611051565b9050919050565b6000602082019050818103600083015261129e81611091565b9050919050565b60006040820190506112ba60008301856110d1565b6112c76020830184610e7e565b9392505050565b60006020820190506112e360008301846110e0565b92915050565b6000604051905081810181811067ffffffffffffffff8211171561130c57600080fd5b8060405250919050565b6000819050919050565b6000819050919050565b6000819050919050565b6000602082019050919050565b6000602082019050919050565b6000602082019050919050565b600082825260208201905092915050565b600082825260208201905092915050565b600082825260208201905092915050565b600082825260208201905092915050565b600082825260208201905092915050565b60006113bf6020840184610b4c565b905092915050565b600080833560016020038436030381126113e057600080fd5b83810192508235915060208301925067ffffffffffffffff82111561140457600080fd5b60018202360384131561141657600080fd5b509250929050565b60006114298261143c565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600067ffffffffffffffff82169050919050565b60006114858261149e565b9050919050565b60006114978261145c565b9050919050565b60006114a9826114b0565b9050919050565b60006114bb8261143c565b9050919050565b82818337600083830152505050565b6000601f19601f8301169050919050565b6114eb8161141e565b81146114f657600080fd5b50565b61150281611430565b811461150d57600080fd5b50565b6115198161145c565b811461152457600080fd5b50565b61153081611466565b811461153b57600080fd5b5056fea2646970667358221220e77ae82a411cc56250f3a9ec5c3b1766f1eda6b3f645193b183153826a74c51364736f6c63430006000033

0x60806040526004361061001e5760003560e01c806308b705ce14610023575b600080fd5b61003d60048036036100389190810190610ced565b61003f565b005b600081806040018035600160200383360303811261005c57600080fd5b8083019250508135905060208201915067ffffffffffffffff81111561008157600080fd5b60208102360382131561009357600080fd5b90509050600080821115610492576100a961079f565b73ffffffffffffffffffffffffffffffffffffffff1663bb7e70ef30600160006040518463ffffffff1660e01b81526004016100e7939291906111bc565b602060405180830381600087803b15801561010157600080fd5b505af1158015610115573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506101399190810190610cc4565b90506101d68184806040018035600160200383360303811261015a57600080fd5b8083019250508135905060208201915067ffffffffffffffff81111561017f57600080fd5b60208102360382131561019157600080fd5b80806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050506107bb565b60008190508073ffffffffffffffffffffffffffffffffffffffff1663e0e90acf478a8a8a8a60006040518763ffffffff1660e01b815260040161021e95949392919061121c565b6000604051808303818588803b15801561023757600080fd5b505af115801561024b573d6000803e3d6000fd5b50505050508073ffffffffffffffffffffffffffffffffffffffff16632520e7ff336040518263ffffffff1660e01b8152600401610289919061110a565b60206040518083038186803b1580156102a157600080fd5b505afa1580156102b5573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506102d99190810190610d8e565b610318576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161030f90611285565b60405180910390fd5b6000610322610900565b905060008173ffffffffffffffffffffffffffffffffffffffff16636cfaf5e9856040518263ffffffff1660e01b815260040161035f91906110ef565b60206040518083038186803b15801561037757600080fd5b505afa15801561038b573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506103af9190810190610e09565b905060018273ffffffffffffffffffffffffffffffffffffffff16638028a9fd836040518263ffffffff1660e01b81526004016103ec91906112ce565b60606040518083038186803b15801561040457600080fd5b505afa158015610418573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061043c9190810190610db7565b6040015167ffffffffffffffff161461048a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161048190611265565b60405180910390fd5b50505061052d565b61049a61079f565b73ffffffffffffffffffffffffffffffffffffffff1663bb7e70ef33600160006040518463ffffffff1660e01b81526004016104d893929190611125565b602060405180830381600087803b1580156104f257600080fd5b505af1158015610506573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525061052a9190810190610cc4565b90505b6105c88184806000018035600160200383360303811261054c57600080fd5b8083019250508135905060208201915067ffffffffffffffff81111561057157600080fd5b60208102360382131561058357600080fd5b80806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f8201169050808301925050505050505061091c565b610663818480602001803560016020038336030381126105e757600080fd5b8083019250508135905060208201915067ffffffffffffffff81111561060c57600080fd5b60208102360382131561061e57600080fd5b80806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050506109ca565b7f77fc27db5fec5473eb7384d54365f31c637b0864f226e11ef7d0fe373ee0d9db818480602001803560016020038336030381126106a057600080fd5b8083019250508135905060208201915067ffffffffffffffff8111156106c557600080fd5b6020810236038213156106d757600080fd5b8680604001803560016020038336030381126106f257600080fd5b8083019250508135905060208201915067ffffffffffffffff81111561071757600080fd5b60208102360382131561072957600080fd5b88806000018035600160200383360303811261074457600080fd5b8083019250508135905060208201915067ffffffffffffffff81111561076957600080fd5b60208102360382131561077b57600080fd5b60405161078e979695949392919061115c565b60405180910390a150505050505050565b6000732971adfa57b20e5a416ae5a708a8655a9c74f723905090565b60008090505b81518110156108fb5760008282815181106107d857fe5b60200260200101519050600081905060008173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b815260040161082291906110ef565b60206040518083038186803b15801561083a57600080fd5b505afa15801561084e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052506108729190810190610de0565b905060008111156108eb578173ffffffffffffffffffffffffffffffffffffffff1663095ea7b387836040518363ffffffff1660e01b81526004016108b89291906111f3565b600060405180830381600087803b1580156108d257600080fd5b505af11580156108e6573d6000803e3d6000fd5b505050505b50505080806001019150506107c1565b505050565b6000734c8a1beb8a87765788946d6b19c6c6355194abeb905090565b6000610926610b30565b905060008090505b82518110156109c4578173ffffffffffffffffffffffffffffffffffffffff1663fcafcc6884838151811061095f57fe5b6020026020010151866040518363ffffffff1660e01b81526004016109859291906112a5565b600060405180830381600087803b15801561099f57600080fd5b505af11580156109b3573d6000803e3d6000fd5b50505050808060010191505061092e565b50505050565b60008090505b8151811015610b2b5760008282815181106109e757fe5b60200260200101519050600081905060008173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401610a3191906110ef565b60206040518083038186803b158015610a4957600080fd5b505afa158015610a5d573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610a819190810190610de0565b90506000811115610b1b578173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb87836040518363ffffffff1660e01b8152600401610ac79291906111f3565b602060405180830381600087803b158015610ae157600080fd5b505af1158015610af5573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250610b199190810190610d8e565b505b50505080806001019150506109d0565b505050565b6000735ef30b9986345249bc32d8928b7ee64de9435e39905090565b600081359050610b5b816114e2565b92915050565b600081519050610b70816114e2565b92915050565b60008083601f840112610b8857600080fd5b8235905067ffffffffffffffff811115610ba157600080fd5b602083019150836020820283011115610bb957600080fd5b9250929050565b60008083601f840112610bd257600080fd5b8235905067ffffffffffffffff811115610beb57600080fd5b602083019150836020820283011115610c0357600080fd5b9250929050565b600081519050610c19816114f9565b92915050565b600060608284031215610c3157600080fd5b610c3b60606112e9565b90506000610c4b84828501610b61565b6000830152506020610c5f84828501610b61565b6020830152506040610c7384828501610caf565b60408301525092915050565b600060608284031215610c9157600080fd5b81905092915050565b600081519050610ca981611510565b92915050565b600081519050610cbe81611527565b92915050565b600060208284031215610cd657600080fd5b6000610ce484828501610b61565b91505092915050565b600080600080600060608688031215610d0557600080fd5b600086013567ffffffffffffffff811115610d1f57600080fd5b610d2b88828901610b76565b9550955050602086013567ffffffffffffffff811115610d4a57600080fd5b610d5688828901610bc0565b9350935050604086013567ffffffffffffffff811115610d7557600080fd5b610d8188828901610c7f565b9150509295509295909350565b600060208284031215610da057600080fd5b6000610dae84828501610c0a565b91505092915050565b600060608284031215610dc957600080fd5b6000610dd784828501610c1f565b91505092915050565b600060208284031215610df257600080fd5b6000610e0084828501610c9a565b91505092915050565b600060208284031215610e1b57600080fd5b6000610e2984828501610caf565b91505092915050565b6000610e3e8383610e6f565b60208301905092915050565b6000610e57848484611015565b90509392505050565b610e698161147a565b82525050565b610e788161141e565b82525050565b610e878161141e565b82525050565b6000610e99838561135b565b9350610ea482611320565b8060005b85811015610edd57610eba82846113b0565b610ec48882610e32565b9750610ecf83611341565b925050600181019050610ea8565b5085925050509392505050565b6000610ef6838561135b565b9350610f0182611316565b8060005b85811015610f3a57610f1782846113b0565b610f218882610e32565b9750610f2c83611334565b925050600181019050610f05565b5085925050509392505050565b6000610f53838561136c565b935083602084028501610f658461132a565b8060005b87811015610fab578484038952610f8082846113c7565b610f8b868284610e4a565b9550610f968461134e565b935060208b019a505050600181019050610f69565b50829750879450505050509392505050565b6000610fc9838561137d565b93507f07ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff831115610ff857600080fd5b6020830292506110098385846114c2565b82840190509392505050565b6000611021838561138e565b935061102e8385846114c2565b611037836114d1565b840190509392505050565b61104b8161148c565b82525050565b600061105e60128361139f565b91507f6d6f72652d7468616e2d6f6e652d6175746800000000000000000000000000006000830152602082019050919050565b600061109e60178361139f565b91507f6d73672e73656e6465722d69732d6e6f742d617574682e0000000000000000006000830152602082019050919050565b6110da8161145c565b82525050565b6110e981611466565b82525050565b60006020820190506111046000830184610e7e565b92915050565b600060208201905061111f6000830184610e60565b92915050565b600060608201905061113a6000830186610e60565b6111476020830185611042565b6111546040830184610e60565b949350505050565b6000608082019050611171600083018a610e7e565b818103602083015261118481888a610eea565b90508181036040830152611199818688610eea565b905081810360608301526111ae818486610fbd565b905098975050505050505050565b60006060820190506111d16000830186610e7e565b6111de6020830185611042565b6111eb6040830184610e60565b949350505050565b60006040820190506112086000830185610e7e565b61121560208301846110d1565b9392505050565b60006060820190508181036000830152611237818789610e8d565b9050818103602083015261124c818587610f47565b905061125b6040830184610e60565b9695505050505050565b6000602082019050818103600083015261127e81611051565b9050919050565b6000602082019050818103600083015261129e81611091565b9050919050565b60006040820190506112ba60008301856110d1565b6112c76020830184610e7e565b9392505050565b60006020820190506112e360008301846110e0565b92915050565b6000604051905081810181811067ffffffffffffffff8211171561130c57600080fd5b8060405250919050565b6000819050919050565b6000819050919050565b6000819050919050565b6000602082019050919050565b6000602082019050919050565b6000602082019050919050565b600082825260208201905092915050565b600082825260208201905092915050565b600082825260208201905092915050565b600082825260208201905092915050565b600082825260208201905092915050565b60006113bf6020840184610b4c565b905092915050565b600080833560016020038436030381126113e057600080fd5b83810192508235915060208301925067ffffffffffffffff82111561140457600080fd5b60018202360384131561141657600080fd5b509250929050565b60006114298261143c565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600067ffffffffffffffff82169050919050565b60006114858261149e565b9050919050565b60006114978261145c565b9050919050565b60006114a9826114b0565b9050919050565b60006114bb8261143c565b9050919050565b82818337600083830152505050565b6000601f19601f8301169050919050565b6114eb8161141e565b81146114f657600080fd5b50565b61150281611430565b811461150d57600080fd5b50565b6115198161145c565b811461152457600080fd5b50565b61153081611466565b811461153b57600080fd5b5056fea2646970667358221220e77ae82a411cc56250f3a9ec5c3b1766f1eda6b3f645193b183153826a74c51364736f6c63430006000033

2724:2602:0:-:0;;;;;;;;;;;;;;;;;;;;;4002:1321;;;;;;;;;;;;;;;;:::i;:::-;;;4171:9;4183:11;:19;;;43:11:-1;30:25;137:1;131:4;127:12;116:8;100:14;96:29;92:48;72:18;68:73;58:2;;155:1;152;145:12;58:2;188:18;178:8;174:33;162:45;;0:210;29:8;16:22;6:32;;69:4;59:8;55:19;43:31;;93:18;85:6;82:30;79:2;;;125:1;122;115:12;79:2;183:4;175:6;171:17;155:14;151:38;141:8;137:53;134:2;;;203:1;200;193:12;134:2;4183:26:0;;4171:38;;4220:12;4254:1;4247:4;:8;4243:878;;;4294:17;:15;:17::i;:::-;4279:39;;;4345:4;4369:1;4397;4279:135;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4279:135:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4279:135:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;4279:135:0;;;;;;;;;4272:142;;4431:44;4449:4;4455:11;:19;;;43:11:-1;30:25;137:1;131:4;127:12;116:8;100:14;96:29;92:48;72:18;68:73;58:2;;155:1;152;145:12;58:2;188:18;178:8;174:33;162:45;;0:210;29:8;16:22;6:32;;69:4;59:8;55:19;43:31;;93:18;85:6;82:30;79:2;;;125:1;122;115:12;79:2;183:4;175:6;171:17;155:14;151:38;141:8;137:53;134:2;;;203:1;200;193:12;134:2;4431:44:0;;;;;;;;;;;;;;;;;;;;;;;;;;;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;;4431:44:0;;;;;;:17;:44::i;:::-;4490:28;4538:4;4490:53;;4558:11;:16;;;4581:21;4604:7;;4613:9;;4632:1;4558:77;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4558:77:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4558:77:0;;;;;4658:11;:18;;;4677:10;4658:30;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4658:30:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4658:30:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;4658:30:0;;;;;;;;;4650:66;;;;;;;;;;;;;;;;;;;;;;4731:26;4774:16;:14;:16::i;:::-;4731:60;;4806:12;4821;:22;;;4844:4;4821:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4821:28:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4821:28:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;4821:28:0;;;;;;;;;4806:43;;4913:1;4872:12;:24;;;4897:5;4872:31;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4872:31:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4872:31:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;4872:31:0;;;;;;;;;:37;;;:42;;;4864:73;;;;;;;;;;;;;;;;;;;;;;4243:878;;;;;;4992:17;:15;:17::i;:::-;4977:39;;;5035:10;5064:1;5092;4977:132;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4977:132:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4977:132:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;4977:132:0;;;;;;;;;4970:139;;4243:878;5131:39;5145:4;5151:11;:18;;;43:11:-1;30:25;137:1;131:4;127:12;116:8;100:14;96:29;92:48;72:18;68:73;58:2;;155:1;152;145:12;58:2;188:18;178:8;174:33;162:45;;0:210;29:8;16:22;6:32;;69:4;59:8;55:19;43:31;;93:18;85:6;82:30;79:2;;;125:1;122;115:12;79:2;183:4;175:6;171:17;155:14;151:38;141:8;137:53;134:2;;;203:1;200;193:12;134:2;5131:39:0;;;;;;;;;;;;;;;;;;;;;;;;;;;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;;5131:39:0;;;;;;:13;:39::i;:::-;5181;5195:4;5201:11;:18;;;43:11:-1;30:25;137:1;131:4;127:12;116:8;100:14;96:29;92:48;72:18;68:73;58:2;;155:1;152;145:12;58:2;188:18;178:8;174:33;162:45;;0:210;29:8;16:22;6:32;;69:4;59:8;55:19;43:31;;93:18;85:6;82:30;79:2;;;125:1;122;115:12;79:2;183:4;175:6;171:17;155:14;151:38;141:8;137:53;134:2;;;203:1;200;193:12;134:2;5181:39:0;;;;;;;;;;;;;;;;;;;;;;;;;;;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;;5181:39:0;;;;;;:13;:39::i;:::-;5238:77;5249:4;5255:11;:18;;;43:11:-1;30:25;137:1;131:4;127:12;116:8;100:14;96:29;92:48;72:18;68:73;58:2;;155:1;152;145:12;58:2;188:18;178:8;174:33;162:45;;0:210;29:8;16:22;6:32;;69:4;59:8;55:19;43:31;;93:18;85:6;82:30;79:2;;;125:1;122;115:12;79:2;183:4;175:6;171:17;155:14;151:38;141:8;137:53;134:2;;;203:1;200;193:12;134:2;5275:11:0;:19;;;43:11:-1;30:25;137:1;131:4;127:12;116:8;100:14;96:29;92:48;72:18;68:73;58:2;;155:1;152;145:12;58:2;188:18;178:8;174:33;162:45;;0:210;29:8;16:22;6:32;;69:4;59:8;55:19;43:31;;93:18;85:6;82:30;79:2;;;125:1;122;115:12;79:2;183:4;175:6;171:17;155:14;151:38;141:8;137:53;134:2;;;203:1;200;193:12;134:2;5296:11:0;:18;;;43:11:-1;30:25;137:1;131:4;127:12;116:8;100:14;96:29;92:48;72:18;68:73;58:2;;155:1;152;145:12;58:2;188:18;178:8;174:33;162:45;;0:210;29:8;16:22;6:32;;69:4;59:8;55:19;43:31;;93:18;85:6;82:30;79:2;;;125:1;122;115:12;79:2;183:4;175:6;171:17;155:14;151:38;141:8;137:53;134:2;;;203:1;200;193:12;134:2;5238:77:0;;;;;;;;;;;;;;;;;;;;;4002:1321;;;;;;;:::o;2201:127::-;2251:7;2278:42;2271:49;;2201:127;:::o;3095:389::-;3184:6;3193:1;3184:10;;3179:298;3200:6;:13;3196:1;:17;3179:298;;;3235:13;3251:6;3258:1;3251:9;;;;;;;;;;;;;;3235:25;;3275:28;3321:5;3275:52;;3342:13;3358;:23;;;3390:4;3358:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3358:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3358:38:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;3358:38:0;;;;;;;;;3342:54;;3426:1;3415:8;:12;3411:54;;;3429:13;:21;;;3451:3;3456:8;3429:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3429:36:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3429:36:0;;;;3411:54;3179:298;;;3215:3;;;;;;;3179:298;;;;3095:389;;:::o;2392:126::-;2441:7;2468:42;2461:49;;2392:126;:::o;2856:231::-;2933:27;2975:15;:13;:15::i;:::-;2933:58;;3007:6;3016:1;3007:10;;3002:77;3023:6;:13;3019:1;:17;3002:77;;;3043:15;:20;;;3064:6;3071:1;3064:9;;;;;;;;;;;;;;3075:3;3043:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3043:36:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3043:36:0;;;;3038:3;;;;;;;3002:77;;;;2856:231;;;:::o;3492:386::-;3577:6;3586:1;3577:10;;3572:299;3593:6;:13;3589:1;:17;3572:299;;;3628:13;3644:6;3651:1;3644:9;;;;;;;;;;;;;;3628:25;;3668:28;3714:5;3668:52;;3735:13;3751;:23;;;3783:4;3751:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3751:38:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3751:38:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;3751:38:0;;;;;;;;;3735:54;;3819:1;3808:8;:12;3804:55;;;3822:13;:22;;;3845:3;3850:8;3822:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3822:37:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3822:37:0;;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;3822:37:0;;;;;;;;;;3804:55;3572:299;;;3608:3;;;;;;;3572:299;;;;3492:386;;:::o;2590:125::-;2638:7;2665:42;2658:49;;2590:125;:::o;5:130:-1:-;;85:6;72:20;63:29;;97:33;124:5;97:33;;;57:78;;;;;142:134;;226:6;220:13;211:22;;238:33;265:5;238:33;;;205:71;;;;;301:352;;;431:3;424:4;416:6;412:17;408:27;398:2;;449:1;446;439:12;398:2;482:6;469:20;459:30;;509:18;501:6;498:30;495:2;;;541:1;538;531:12;495:2;575:4;567:6;563:17;551:29;;626:3;618:4;610:6;606:17;596:8;592:32;589:41;586:2;;;643:1;640;633:12;586:2;391:262;;;;;;677:359;;;814:3;807:4;799:6;795:17;791:27;781:2;;832:1;829;822:12;781:2;865:6;852:20;842:30;;892:18;884:6;881:30;878:2;;;924:1;921;914:12;878:2;958:4;950:6;946:17;934:29;;1009:3;1001:4;993:6;989:17;979:8;975:32;972:41;969:2;;;1026:1;1023;1016:12;969:2;774:262;;;;;;1044:128;;1125:6;1119:13;1110:22;;1137:30;1161:5;1137:30;;;1104:68;;;;;1218:658;;1345:4;1333:9;1328:3;1324:19;1320:30;1317:2;;;1363:1;1360;1353:12;1317:2;1381:20;1396:4;1381:20;;;1372:29;;1452:1;1484:60;1540:3;1531:6;1520:9;1516:22;1484:60;;;1477:4;1470:5;1466:16;1459:86;1411:145;1606:2;1639:60;1695:3;1686:6;1675:9;1671:22;1639:60;;;1632:4;1625:5;1621:16;1614:86;1566:145;1762:2;1795:59;1850:3;1841:6;1830:9;1826:22;1795:59;;;1788:4;1781:5;1777:16;1770:85;1721:145;1311:565;;;;;1923:161;;2037:2;2028:6;2023:3;2019:16;2015:25;2012:2;;;2053:1;2050;2043:12;2012:2;2072:6;2063:15;;2005:79;;;;;2091:134;;2175:6;2169:13;2160:22;;2187:33;2214:5;2187:33;;;2154:71;;;;;2232:132;;2315:6;2309:13;2300:22;;2327:32;2353:5;2327:32;;;2294:70;;;;;2371:263;;2486:2;2474:9;2465:7;2461:23;2457:32;2454:2;;;2502:1;2499;2492:12;2454:2;2537:1;2554:64;2610:7;2601:6;2590:9;2586:22;2554:64;;;2544:74;;2516:108;2448:186;;;;;2641:963;;;;;;2886:2;2874:9;2865:7;2861:23;2857:32;2854:2;;;2902:1;2899;2892:12;2854:2;2965:1;2954:9;2950:17;2937:31;2988:18;2980:6;2977:30;2974:2;;;3020:1;3017;3010:12;2974:2;3048:80;3120:7;3111:6;3100:9;3096:22;3048:80;;;3038:90;;;;2916:218;3193:2;3182:9;3178:18;3165:32;3217:18;3209:6;3206:30;3203:2;;;3249:1;3246;3239:12;3203:2;3277:87;3356:7;3347:6;3336:9;3332:22;3277:87;;;3267:97;;;;3144:226;3429:2;3418:9;3414:18;3401:32;3453:18;3445:6;3442:30;3439:2;;;3485:1;3482;3475:12;3439:2;3505:83;3580:7;3571:6;3560:9;3556:22;3505:83;;;3495:93;;3380:214;2848:756;;;;;;;;;3611:257;;3723:2;3711:9;3702:7;3698:23;3694:32;3691:2;;;3739:1;3736;3729:12;3691:2;3774:1;3791:61;3844:7;3835:6;3824:9;3820:22;3791:61;;;3781:71;;3753:105;3685:183;;;;;3875:317;;4017:2;4005:9;3996:7;3992:23;3988:32;3985:2;;;4033:1;4030;4023:12;3985:2;4068:1;4085:91;4168:7;4159:6;4148:9;4144:22;4085:91;;;4075:101;;4047:135;3979:213;;;;;4199:263;;4314:2;4302:9;4293:7;4289:23;4285:32;4282:2;;;4330:1;4327;4320:12;4282:2;4365:1;4382:64;4438:7;4429:6;4418:9;4414:22;4382:64;;;4372:74;;4344:108;4276:186;;;;;4469:261;;4583:2;4571:9;4562:7;4558:23;4554:32;4551:2;;;4599:1;4596;4589:12;4551:2;4634:1;4651:63;4706:7;4697:6;4686:9;4682:22;4651:63;;;4641:73;;4613:107;4545:185;;;;;4738:173;;4825:46;4867:3;4859:6;4825:46;;;4900:4;4895:3;4891:14;4877:28;;4818:93;;;;;4920:197;;5041:70;5107:3;5099:6;5091;5041:70;;;5027:84;;5020:97;;;;;;5125:142;5216:45;5255:5;5216:45;;;5211:3;5204:58;5198:69;;;5274:103;5347:24;5365:5;5347:24;;;5342:3;5335:37;5329:48;;;5384:113;5467:24;5485:5;5467:24;;;5462:3;5455:37;5449:48;;;5535:665;;5689:86;5768:6;5763:3;5689:86;;;5682:93;;5796:58;5848:5;5796:58;;;5874:7;5902:1;5887:291;5912:6;5909:1;5906:13;5887:291;;;5973:42;6008:6;5999:7;5973:42;;;6029:63;6088:3;6073:13;6029:63;;;6022:70;;6109:62;6164:6;6109:62;;;6099:72;;5944:234;5934:1;5931;5927:9;5922:14;;5887:291;;;5891:14;6191:3;6184:10;;5669:531;;;;;;;;6239:653;;6389:86;6468:6;6463:3;6389:86;;;6382:93;;6496:54;6544:5;6496:54;;;6570:7;6598:1;6583:287;6608:6;6605:1;6602:13;6583:287;;;6669:42;6704:6;6695:7;6669:42;;;6725:63;6784:3;6769:13;6725:63;;;6718:70;;6805:58;6856:6;6805:58;;;6795:68;;6640:230;6630:1;6627;6623:9;6618:14;;6583:287;;;6587:14;6883:3;6876:10;;6369:523;;;;;;;;6927:903;;7093:91;7177:6;7172:3;7093:91;;;7086:98;;7207:3;7249:4;7241:6;7237:17;7232:3;7228:27;7276:65;7335:5;7276:65;;;7361:7;7389:1;7374:417;7399:6;7396:1;7393:13;7374:417;;;7461:9;7455:4;7451:20;7446:3;7439:33;7515:49;7557:6;7548:7;7515:49;;;7579:91;7665:4;7650:13;7635;7579:91;;;7571:99;;7687:69;7749:6;7687:69;;;7677:79;;7779:4;7774:3;7770:14;7763:21;;7431:360;;7421:1;7418;7414:9;7409:14;;7374:417;;;7378:14;7804:4;7797:11;;7821:3;7814:10;;7073:757;;;;;;;;;;7869:463;;8011:86;8090:6;8085:3;8011:86;;;8004:93;;8124:66;8116:6;8113:78;8110:2;;;8204:1;8201;8194:12;8110:2;8237:4;8229:6;8225:17;8215:27;;8254:43;8290:6;8285:3;8278:5;8254:43;;;8319:6;8314:3;8310:16;8303:23;;7997:335;;;;;;8363:273;;8463:60;8516:6;8511:3;8463:60;;;8456:67;;8535:43;8571:6;8566:3;8559:5;8535:43;;;8600:29;8622:6;8600:29;;;8595:3;8591:39;8584:46;;8449:187;;;;;;8644:142;8735:45;8774:5;8735:45;;;8730:3;8723:58;8717:69;;;8794:318;;8954:67;9018:2;9013:3;8954:67;;;8947:74;;9054:20;9050:1;9045:3;9041:11;9034:41;9103:2;9098:3;9094:12;9087:19;;8940:172;;;;9121:323;;9281:67;9345:2;9340:3;9281:67;;;9274:74;;9381:25;9377:1;9372:3;9368:11;9361:46;9435:2;9430:3;9426:12;9419:19;;9267:177;;;;9452:113;9535:24;9553:5;9535:24;;;9530:3;9523:37;9517:48;;;9572:110;9653:23;9670:5;9653:23;;;9648:3;9641:36;9635:47;;;9689:213;;9807:2;9796:9;9792:18;9784:26;;9821:71;9889:1;9878:9;9874:17;9865:6;9821:71;;;9778:124;;;;;9909:229;;10035:2;10024:9;10020:18;10012:26;;10049:79;10125:1;10114:9;10110:17;10101:6;10049:79;;;10006:132;;;;;10145:483;;10343:2;10332:9;10328:18;10320:26;;10357:79;10433:1;10422:9;10418:17;10409:6;10357:79;;;10447:80;10523:2;10512:9;10508:18;10499:6;10447:80;;;10538;10614:2;10603:9;10599:18;10590:6;10538:80;;;10314:314;;;;;;;10635:1027;;11005:3;10994:9;10990:19;10982:27;;11020:71;11088:1;11077:9;11073:17;11064:6;11020:71;;;11139:9;11133:4;11129:20;11124:2;11113:9;11109:18;11102:48;11164:114;11273:4;11264:6;11256;11164:114;;;11156:122;;11326:9;11320:4;11316:20;11311:2;11300:9;11296:18;11289:48;11351:114;11460:4;11451:6;11443;11351:114;;;11343:122;;11513:9;11507:4;11503:20;11498:2;11487:9;11483:18;11476:48;11538:114;11647:4;11638:6;11630;11538:114;;;11530:122;;10976:686;;;;;;;;;;;11669:467;;11859:2;11848:9;11844:18;11836:26;;11873:71;11941:1;11930:9;11926:17;11917:6;11873:71;;;11955:80;12031:2;12020:9;12016:18;12007:6;11955:80;;;12046;12122:2;12111:9;12107:18;12098:6;12046:80;;;11830:306;;;;;;;12143:324;;12289:2;12278:9;12274:18;12266:26;;12303:71;12371:1;12360:9;12356:17;12347:6;12303:71;;;12385:72;12453:2;12442:9;12438:18;12429:6;12385:72;;;12260:207;;;;;;12474:811;;12788:2;12777:9;12773:18;12765:26;;12838:9;12832:4;12828:20;12824:1;12813:9;12809:17;12802:47;12863:118;12976:4;12967:6;12959;12863:118;;;12855:126;;13029:9;13023:4;13019:20;13014:2;13003:9;12999:18;12992:48;13054:130;13179:4;13170:6;13162;13054:130;;;13046:138;;13195:80;13271:2;13260:9;13256:18;13247:6;13195:80;;;12759:526;;;;;;;;;13292:407;;13483:2;13472:9;13468:18;13460:26;;13533:9;13527:4;13523:20;13519:1;13508:9;13504:17;13497:47;13558:131;13684:4;13558:131;;;13550:139;;13454:245;;;;13706:407;;13897:2;13886:9;13882:18;13874:26;;13947:9;13941:4;13937:20;13933:1;13922:9;13918:17;13911:47;13972:131;14098:4;13972:131;;;13964:139;;13868:245;;;;14120:324;;14266:2;14255:9;14251:18;14243:26;;14280:71;14348:1;14337:9;14333:17;14324:6;14280:71;;;14362:72;14430:2;14419:9;14415:18;14406:6;14362:72;;;14237:207;;;;;;14451:209;;14567:2;14556:9;14552:18;14544:26;;14581:69;14647:1;14636:9;14632:17;14623:6;14581:69;;;14538:122;;;;;14667:256;;14729:2;14723:9;14713:19;;14767:4;14759:6;14755:17;14866:6;14854:10;14851:22;14830:18;14818:10;14815:34;14812:62;14809:2;;;14887:1;14884;14877:12;14809:2;14907:10;14903:2;14896:22;14707:216;;;;;14930:114;;15014:3;15006:11;;15000:44;;;;15051:118;;15139:3;15131:11;;15125:44;;;;15176:125;;15271:3;15263:11;;15257:44;;;;15308:106;;15404:4;15399:3;15395:14;15387:22;;15381:33;;;;15421:110;;15521:4;15516:3;15512:14;15504:22;;15498:33;;;;15538:117;;15645:4;15640:3;15636:14;15628:22;;15622:33;;;;15663:178;;15793:6;15788:3;15781:19;15830:4;15825:3;15821:14;15806:29;;15774:67;;;;;15850:183;;15985:6;15980:3;15973:19;16022:4;16017:3;16013:14;15998:29;;15966:67;;;;;16042:178;;16172:6;16167:3;16160:19;16209:4;16204:3;16200:14;16185:29;;16153:67;;;;;16229:152;;16333:6;16328:3;16321:19;16370:4;16365:3;16361:14;16346:29;;16314:67;;;;;16390:163;;16505:6;16500:3;16493:19;16542:4;16537:3;16533:14;16518:29;;16486:67;;;;;16562:119;;16636:39;16671:2;16666:3;16662:12;16657:3;16636:39;;;16627:48;;16620:61;;;;;16690:497;;;16810:3;16797:17;16899:1;16893:4;16889:12;16878:8;16862:14;16858:29;16854:48;16834:18;16830:73;16820:2;;16917:1;16914;16907:12;16820:2;16960:8;16940:18;16936:33;16927:42;;17004:5;16991:19;16981:29;;17036:4;17029:5;17025:16;17016:25;;17061:18;17053:6;17050:30;17047:2;;;17093:1;17090;17083:12;17047:2;17152:4;17144:6;17140:17;17124:14;17120:38;17110:8;17106:53;17103:2;;;17172:1;17169;17162:12;17103:2;16764:423;;;;;;;17195:91;;17257:24;17275:5;17257:24;;;17246:35;;17240:46;;;;17293:85;;17366:5;17359:13;17352:21;17341:32;;17335:43;;;;17385:121;;17458:42;17451:5;17447:54;17436:65;;17430:76;;;;17513:72;;17575:5;17564:16;;17558:27;;;;17592:96;;17664:18;17657:5;17653:30;17642:41;;17636:52;;;;17695:129;;17782:37;17813:5;17782:37;;;17769:50;;17763:61;;;;17831:116;;17918:24;17936:5;17918:24;;;17905:37;;17899:48;;;;17954:121;;18033:37;18064:5;18033:37;;;18020:50;;18014:61;;;;18082:108;;18161:24;18179:5;18161:24;;;18148:37;;18142:48;;;;18198:145;18279:6;18274:3;18269;18256:30;18335:1;18326:6;18321:3;18317:16;18310:27;18249:94;;;;18351:97;;18439:2;18435:7;18430:2;18423:5;18419:14;18415:28;18405:38;;18399:49;;;;18456:117;18525:24;18543:5;18525:24;;;18518:5;18515:35;18505:2;;18564:1;18561;18554:12;18505:2;18499:74;;18580:111;18646:21;18661:5;18646:21;;;18639:5;18636:32;18626:2;;18682:1;18679;18672:12;18626:2;18620:71;;18698:117;18767:24;18785:5;18767:24;;;18760:5;18757:35;18747:2;;18806:1;18803;18796:12;18747:2;18741:74;;18822:115;18890:23;18907:5;18890:23;;;18883:5;18880:34;18870:2;;18928:1;18925;18918:12;18870:2;18864:73;

ipfs://e77ae82a411cc56250f3a9ec5c3b1766f1eda6b3f645193b183153826a74c513