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 2022-06-28
*/

/**
 *Submitted for verification at Etherscan.io on 2022-04-28
*/

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;

abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }

    function _msgData() internal view virtual returns (bytes calldata) {
        this; // silence state mutability warning without generating bytecode - see https://github.com/ethereum/solidity/issues/2691
        return msg.data;
    }
}

interface ILssController {
    function beforeTransfer(address sender, address recipient, uint256 amount) external;

    function beforeTransferFrom(address msgSender, address sender, address recipient, uint256 amount) external;

    function beforeApprove(address sender, address spender, uint256 amount) external;

    function beforeIncreaseAllowance(address msgSender, address spender, uint256 addedValue) external;

    function beforeDecreaseAllowance(address msgSender, address spender, uint256 subtractedValue) external;

    function beforeBurn(address account, uint256 amount) external;

    function beforeMint(address account, uint256 amount) external;
}


contract LERC20MintableBurnable is Context {
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    uint256 private _totalSupply;
    string private _name;
    string private _symbol;

    address public recoveryAdmin;
    address private recoveryAdminCandidate;
    bytes32 private recoveryAdminKeyHash;
    address public admin;
    uint256 public timelockPeriod;
    uint256 public losslessTurnOffTimestamp;
    bool public isLosslessOn = true;
    ILssController public lossless;

    constructor(uint256 totalSupply_, string memory name_, string memory symbol_, address admin_, address recoveryAdmin_, uint256 timelockPeriod_, address lossless_) {
        _mint(_msgSender(), totalSupply_);
        _name = name_;
        _symbol = symbol_;
        admin = admin_;
        recoveryAdmin = recoveryAdmin_;
        recoveryAdminCandidate = address(0);
        recoveryAdminKeyHash = "";
        timelockPeriod = timelockPeriod_;
        losslessTurnOffTimestamp = 0;
        lossless = ILssController(lossless_);
    }

    event Transfer(address indexed _from, address indexed _to, uint256 _value);
    event Approval(address indexed _owner, address indexed _spender, uint256 _value);
    event NewAdmin(address indexed _newAdmin);
    event NewRecoveryAdminProposal(address indexed _candidate);
    event NewRecoveryAdmin(address indexed _newAdmin);
    event LosslessTurnOffProposal(uint256 _turnOffDate);
    event LosslessOff();
    event LosslessOn();

    // --- LOSSLESS modifiers ---

    modifier lssAprove(address spender, uint256 amount) {
        if (isLosslessOn) {
            lossless.beforeApprove(_msgSender(), spender, amount);
        } 
        _;
    }

    modifier lssTransfer(address recipient, uint256 amount) {
        if (isLosslessOn) {
            lossless.beforeTransfer(_msgSender(), recipient, amount);
        } 
        _;
    }

    modifier lssTransferFrom(address sender, address recipient, uint256 amount) {
        if (isLosslessOn) {
            lossless.beforeTransferFrom(_msgSender(),sender, recipient, amount);
        }
        _;
    }

    modifier lssIncreaseAllowance(address spender, uint256 addedValue) {
        if (isLosslessOn) {
            lossless.beforeIncreaseAllowance(_msgSender(), spender, addedValue);
        }
        _;
    }

    modifier lssDecreaseAllowance(address spender, uint256 subtractedValue) {
        if (isLosslessOn) {
            lossless.beforeDecreaseAllowance(_msgSender(), spender, subtractedValue);
        }
        _;
    }

    modifier onlyRecoveryAdmin() {
        require(_msgSender() == recoveryAdmin, "LERC20: Must be recovery admin");
        _;
    }

    modifier lssBurn(address account, uint256 amount) {
        if (isLosslessOn) {
            lossless.beforeBurn(account, amount);
        } 
        _;
    }

    modifier lssMint(address account, uint256 amount) {
        if (isLosslessOn) {
            lossless.beforeMint(account, amount);
        } 
        _;
    }

    // --- LOSSLESS management ---
    function transferOutBlacklistedFunds(address[] calldata from) external {
        require(_msgSender() == address(lossless), "LERC20: Only lossless contract");

        uint256 fromLength = from.length;
        uint256 totalAmount = 0;
        
        for (uint256 i = 0; i < fromLength; i++) {
            address fromAddress = from[i];
            uint256 fromBalance = _balances[fromAddress];
            _balances[fromAddress] = 0;
            totalAmount += fromBalance;
            emit Transfer(fromAddress, address(lossless), fromBalance);
        }

        _balances[address(lossless)] += totalAmount;
    }

    function setLosslessAdmin(address newAdmin) external onlyRecoveryAdmin {
        require(newAdmin != admin, "LERC20: Cannot set same address");
        emit NewAdmin(newAdmin);
        admin = newAdmin;
    }

    function transferRecoveryAdminOwnership(address candidate, bytes32 keyHash)  external onlyRecoveryAdmin {
        recoveryAdminCandidate = candidate;
        recoveryAdminKeyHash = keyHash;
        emit NewRecoveryAdminProposal(candidate);
    }

    function acceptRecoveryAdminOwnership(bytes memory key) external {
        require(_msgSender() == recoveryAdminCandidate, "LERC20: Must be canditate");
        require(keccak256(key) == recoveryAdminKeyHash, "LERC20: Invalid key");
        emit NewRecoveryAdmin(recoveryAdminCandidate);
        recoveryAdmin = recoveryAdminCandidate;
        recoveryAdminCandidate = address(0);
    }

    function proposeLosslessTurnOff() external onlyRecoveryAdmin {
        require(losslessTurnOffTimestamp == 0, "LERC20: TurnOff already proposed");
        require(isLosslessOn, "LERC20: Lossless already off");
        losslessTurnOffTimestamp = block.timestamp + timelockPeriod;
        emit LosslessTurnOffProposal(losslessTurnOffTimestamp);
    }

    function executeLosslessTurnOff() external onlyRecoveryAdmin {
        require(losslessTurnOffTimestamp != 0, "LERC20: TurnOff not proposed");
        require(losslessTurnOffTimestamp <= block.timestamp, "LERC20: Time lock in progress");
        isLosslessOn = false;
        losslessTurnOffTimestamp = 0;
        emit LosslessOff();
    }

    function executeLosslessTurnOn() external onlyRecoveryAdmin {
        require(!isLosslessOn, "LERC20: Lossless already on");
        losslessTurnOffTimestamp = 0;
        isLosslessOn = true;
        emit LosslessOn();
    }

    function getAdmin() public view virtual returns (address) {
        return admin;
    }

    // --- ERC20 methods ---

    function name() public view virtual returns (string memory) {
        return _name;
    }

    function symbol() public view virtual returns (string memory) {
        return _symbol;
    }

    function decimals() public view virtual returns (uint8) {
        return 18;
    }

    function totalSupply() public view virtual returns (uint256) {
        return _totalSupply;
    }

    function balanceOf(address account) public view virtual returns (uint256) {
        return _balances[account];
    }

    function transfer(address recipient, uint256 amount) public virtual lssTransfer(recipient, amount) returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }

    function allowance(address owner, address spender) public view virtual returns (uint256) {
        return _allowances[owner][spender];
    }

    function approve(address spender, uint256 amount) public virtual lssAprove(spender, amount) returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }

    function transferFrom(address sender, address recipient, uint256 amount) public virtual lssTransferFrom(sender, recipient, amount) returns (bool) {
        uint256 currentAllowance = _allowances[sender][_msgSender()];
        require(currentAllowance >= amount, "LERC20: transfer amount exceeds allowance");
        _transfer(sender, recipient, amount);
        
        _approve(sender, _msgSender(), currentAllowance - amount);

        return true;
    }

    function increaseAllowance(address spender, uint256 addedValue) public virtual lssIncreaseAllowance(spender, addedValue) returns (bool) {
        _approve(_msgSender(), spender, _allowances[_msgSender()][spender] + addedValue);
        return true;
    }

    function decreaseAllowance(address spender, uint256 subtractedValue) public virtual lssDecreaseAllowance(spender, subtractedValue) returns (bool) {
        uint256 currentAllowance = _allowances[_msgSender()][spender];
        require(currentAllowance >= subtractedValue, "LERC20: decreased allowance below zero");
        _approve(_msgSender(), spender, currentAllowance - subtractedValue);

        return true;
    }

    function _transfer(address sender, address recipient, uint256 amount) internal virtual {
        require(sender != address(0), "LERC20: transfer from the zero address");

        uint256 senderBalance = _balances[sender];
        require(senderBalance >= amount, "LERC20: transfer amount exceeds balance");
        _balances[sender] = senderBalance - amount;
        _balances[recipient] += amount;

        emit Transfer(sender, recipient, amount);
    }

    function _mint(address account, uint256 amount) internal virtual {
        require(account != address(0), "LERC20: mint to the zero address");
    
        _totalSupply += amount;

        // Cannot overflow because the sum of all user
        // balances can't exceed the max uint256 value.
        unchecked { 
            _balances[account] += amount;
        }
        emit Transfer(address(0), account, amount);
    }

    function _burn(address account, uint256 amount) internal virtual {
        require(account != address(0), "ERC20: burn from the zero address");

        uint256 accountBalance = _balances[account];
        require(accountBalance >= amount, "ERC20: burn amount exceeds balance");
        unchecked {
            _balances[account] = accountBalance - amount;
        }
        _totalSupply -= amount;

        emit Transfer(account, address(0), amount);
    }

    function _approve(address owner, address spender, uint256 amount) internal virtual {
        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }

    function burn(uint256 amount) public virtual lssBurn(_msgSender(), amount) {
        _burn(_msgSender(), amount);
    }

    function burnFrom(address account, uint256 amount) public virtual lssBurn(account, amount) {
        uint256 currentAllowance = allowance(account, _msgSender());
        require(currentAllowance >= amount, "ERC20: burn amount exceeds allowance");
        unchecked {
            _approve(account, _msgSender(), currentAllowance - amount);
        }
        _burn(account, amount);
    }

    function mint(address to, uint256 amount) public virtual lssMint(to, amount) {
        require(_msgSender() == admin, "LERC20: Must be admin");
        _mint(to, amount);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"uint256","name":"totalSupply_","type":"uint256"},{"internalType":"string","name":"name_","type":"string"},{"internalType":"string","name":"symbol_","type":"string"},{"internalType":"address","name":"admin_","type":"address"},{"internalType":"address","name":"recoveryAdmin_","type":"address"},{"internalType":"uint256","name":"timelockPeriod_","type":"uint256"},{"internalType":"address","name":"lossless_","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_owner","type":"address"},{"indexed":true,"internalType":"address","name":"_spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"_value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[],"name":"LosslessOff","type":"event"},{"anonymous":false,"inputs":[],"name":"LosslessOn","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_turnOffDate","type":"uint256"}],"name":"LosslessTurnOffProposal","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_newAdmin","type":"address"}],"name":"NewAdmin","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_newAdmin","type":"address"}],"name":"NewRecoveryAdmin","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_candidate","type":"address"}],"name":"NewRecoveryAdminProposal","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_from","type":"address"},{"indexed":true,"internalType":"address","name":"_to","type":"address"},{"indexed":false,"internalType":"uint256","name":"_value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"bytes","name":"key","type":"bytes"}],"name":"acceptRecoveryAdminOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"admin","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burnFrom","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"executeLosslessTurnOff","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"executeLosslessTurnOn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"getAdmin","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"isLosslessOn","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"lossless","outputs":[{"internalType":"contract ILssController","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"losslessTurnOffTimestamp","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"mint","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"proposeLosslessTurnOff","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"recoveryAdmin","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"newAdmin","type":"address"}],"name":"setLosslessAdmin","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"timelockPeriod","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address[]","name":"from","type":"address[]"}],"name":"transferOutBlacklistedFunds","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"candidate","type":"address"},{"internalType":"bytes32","name":"keyHash","type":"bytes32"}],"name":"transferRecoveryAdminOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"}]

0x6080604052600b805460ff191660011790553480156200001e57600080fd5b5060405162001de038038062001de0833981016040819052620000419162000325565b6200004d3388620000e9565b855162000062906003906020890190620001af565b50845162000078906004906020880190620001af565b50600880546001600160a01b039586166001600160a01b03199182161790915560058054948616948216949094179093556006805490931690925560006007819055600991909155600a55600b80549190921661010002610100600160a81b03199091161790555062000450915050565b6001600160a01b038216620001445760405162461bcd60e51b815260206004820181905260248201527f4c45524332303a206d696e7420746f20746865207a65726f2061646472657373604482015260640160405180910390fd5b8060026000828254620001589190620003d8565b90915550506001600160a01b038216600081815260208181526040808320805486019055518481527fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a35050565b828054620001bd90620003fd565b90600052602060002090601f016020900481019282620001e157600085556200022c565b82601f10620001fc57805160ff19168380011785556200022c565b828001600101855582156200022c579182015b828111156200022c5782518255916020019190600101906200020f565b506200023a9291506200023e565b5090565b5b808211156200023a57600081556001016200023f565b80516001600160a01b03811681146200026d57600080fd5b919050565b600082601f83011262000283578081fd5b81516001600160401b0380821115620002a057620002a06200043a565b604051601f8301601f19908116603f01168101908282118183101715620002cb57620002cb6200043a565b81604052838152602092508683858801011115620002e7578485fd5b8491505b838210156200030a5785820183015181830184015290820190620002eb565b838211156200031b57848385830101525b9695505050505050565b600080600080600080600060e0888a03121562000340578283fd5b875160208901519097506001600160401b03808211156200035f578485fd5b6200036d8b838c0162000272565b975060408a015191508082111562000383578485fd5b50620003928a828b0162000272565b955050620003a36060890162000255565b9350620003b36080890162000255565b925060a08801519150620003ca60c0890162000255565b905092959891949750929550565b60008219821115620003f857634e487b7160e01b81526011600452602481fd5b500190565b600181811c908216806200041257607f821691505b602082108114156200043457634e487b7160e01b600052602260045260246000fd5b50919050565b634e487b7160e01b600052604160045260246000fd5b61198080620004606000396000f3fe608060405234801561001057600080fd5b50600436106101c45760003560e01c80636e9960c3116100f9578063a9059cbb11610097578063ccfa214f11610071578063ccfa214f146103a5578063d6e242b8146103b2578063dd62ed3e146103ba578063f851a440146103f357600080fd5b8063a9059cbb14610377578063b38fe9571461038a578063b5c228771461039257600080fd5b806393310ffe116100d357806393310ffe14610336578063936af9111461034957806395d89b411461035c578063a457c2d71461036457600080fd5b80636e9960c3146102e957806370a08231146102fa57806379cc67901461032357600080fd5b806334f6ebf51161016657806342966c681161014057806342966c68146102b25780635b8a194a146102c55780635f6529a3146102cd57806361086b00146102e057600080fd5b806334f6ebf51461025c578063395093511461028c57806340c10f191461029f57600080fd5b806323b872dd116101a257806323b872dd1461021c5780632baa3c9e1461022f5780632ecaf67514610244578063313ce5671461024d57600080fd5b806306fdde03146101c9578063095ea7b3146101e757806318160ddd1461020a575b600080fd5b6101d1610406565b6040516101de91906117ef565b60405180910390f35b6101fa6101f5366004611670565b610498565b60405190151581526020016101de565b6002545b6040519081526020016101de565b6101fa61022a366004611635565b61052a565b61024261023d3660046115e2565b61067e565b005b61020e60095481565b604051601281526020016101de565b600b546102749061010090046001600160a01b031681565b6040516001600160a01b0390911681526020016101de565b6101fa61029a366004611670565b610765565b6102426102ad366004611670565b610817565b6102426102c03660046117b3565b6108fd565b610242610987565b600554610274906001600160a01b031681565b61020e600a5481565b6008546001600160a01b0316610274565b61020e6103083660046115e2565b6001600160a01b031660009081526020819052604090205490565b610242610331366004611670565b610a4a565b610242610344366004611670565b610b4e565b610242610357366004611699565b610bd1565b6101d1610d33565b6101fa610372366004611670565b610d42565b6101fa610385366004611670565b610e5c565b610242610ee3565b6102426103a0366004611709565b610ff1565b600b546101fa9060ff1681565b610242611101565b61020e6103c8366004611603565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b600854610274906001600160a01b031681565b606060038054610415906118a8565b80601f0160208091040260200160405190810160405280929190818152602001828054610441906118a8565b801561048e5780601f106104635761010080835404028352916020019161048e565b820191906000526020600020905b81548152906001019060200180831161047157829003601f168201915b5050505050905090565b600b546000908390839060ff161561051457600b5461010090046001600160a01b03166347abf3be3384846040518463ffffffff1660e01b81526004016104e1939291906117cb565b600060405180830381600087803b1580156104fb57600080fd5b505af115801561050f573d6000803e3d6000fd5b505050505b61051f33868661121d565b506001949350505050565b600b5460009084908490849060ff16156105c657600b5461010090046001600160a01b031663379f5c69336040516001600160e01b031960e084901b1681526001600160a01b0391821660048201528187166024820152908516604482015260648101849052608401600060405180830381600087803b1580156105ad57600080fd5b505af11580156105c1573d6000803e3d6000fd5b505050505b6001600160a01b0387166000908152600160209081526040808320338452909152902054858110156106515760405162461bcd60e51b815260206004820152602960248201527f4c45524332303a207472616e7366657220616d6f756e74206578636565647320604482015268616c6c6f77616e636560b81b60648201526084015b60405180910390fd5b61065c88888861127f565b610670883361066b8985611891565b61121d565b506001979650505050505050565b6005546001600160a01b0316336001600160a01b0316146106b15760405162461bcd60e51b815260040161064890611842565b6008546001600160a01b038281169116141561070f5760405162461bcd60e51b815260206004820152601f60248201527f4c45524332303a2043616e6e6f74207365742073616d652061646472657373006044820152606401610648565b6040516001600160a01b038216907f71614071b88dee5e0b2ae578a9dd7b2ebbe9ae832ba419dc0242cd065a290b6c90600090a2600880546001600160a01b0319166001600160a01b0392909216919091179055565b600b546000908390839060ff16156107e157600b5461010090046001600160a01b031663cf5961bb3384846040518463ffffffff1660e01b81526004016107ae939291906117cb565b600060405180830381600087803b1580156107c857600080fd5b505af11580156107dc573d6000803e3d6000fd5b505050505b3360008181526001602090815260408083206001600160a01b038a16845290915290205461051f9190879061066b908890611879565b600b548290829060ff161561089257600b546040516218a28b60e61b81526001600160a01b0384811660048301526024820184905261010090920490911690630628a2c090604401600060405180830381600087803b15801561087957600080fd5b505af115801561088d573d6000803e3d6000fd5b505050505b6008546001600160a01b0316336001600160a01b0316146108ed5760405162461bcd60e51b81526020600482015260156024820152742622a92199181d1026bab9ba1031329030b236b4b760591b6044820152606401610648565b6108f784846113e5565b50505050565b33600b54829060ff161561097857600b54604051634a1fefbd60e01b81526001600160a01b0384811660048301526024820184905261010090920490911690634a1fefbd90604401600060405180830381600087803b15801561095f57600080fd5b505af1158015610973573d6000803e3d6000fd5b505050505b6109823384611492565b505050565b6005546001600160a01b0316336001600160a01b0316146109ba5760405162461bcd60e51b815260040161064890611842565b600b5460ff1615610a0d5760405162461bcd60e51b815260206004820152601b60248201527f4c45524332303a204c6f73736c65737320616c7265616479206f6e00000000006044820152606401610648565b6000600a819055600b805460ff191660011790556040517f1ba3b66404043da8297d0b876fa6464f2cb127edfc6626308046d4503028322b9190a1565b600b548290829060ff1615610ac657600b54604051634a1fefbd60e01b81526001600160a01b0384811660048301526024820184905261010090920490911690634a1fefbd90604401600060405180830381600087803b158015610aad57600080fd5b505af1158015610ac1573d6000803e3d6000fd5b505050505b6000610ad285336103c8565b905083811015610b305760405162461bcd60e51b8152602060048201526024808201527f45524332303a206275726e20616d6f756e74206578636565647320616c6c6f77604482015263616e636560e01b6064820152608401610648565b610b3d853386840361121d565b610b478585611492565b5050505050565b6005546001600160a01b0316336001600160a01b031614610b815760405162461bcd60e51b815260040161064890611842565b600680546001600160a01b0319166001600160a01b03841690811790915560078290556040517f6c591da8da2f6e69746d7d9ae61c27ee29fbe303798141b4942ae2aef54274b190600090a25050565b600b5461010090046001600160a01b0316336001600160a01b031614610c395760405162461bcd60e51b815260206004820152601e60248201527f4c45524332303a204f6e6c79206c6f73736c65737320636f6e747261637400006044820152606401610648565b806000805b82811015610cf8576000858583818110610c6857634e487b7160e01b600052603260045260246000fd5b9050602002016020810190610c7d91906115e2565b6001600160a01b03811660009081526020819052604081208054919055909150610ca78185611879565b600b546040518381529195506001600160a01b036101009091048116919084169060008051602061192b8339815191529060200160405180910390a350508080610cf0906118e3565b915050610c3e565b50600b5461010090046001600160a01b031660009081526020819052604081208054839290610d28908490611879565b909155505050505050565b606060048054610415906118a8565b600b546000908390839060ff1615610dbe57600b5461010090046001600160a01b031663568c75a93384846040518463ffffffff1660e01b8152600401610d8b939291906117cb565b600060405180830381600087803b158015610da557600080fd5b505af1158015610db9573d6000803e3d6000fd5b505050505b3360009081526001602090815260408083206001600160a01b038916845290915290205484811015610e415760405162461bcd60e51b815260206004820152602660248201527f4c45524332303a2064656372656173656420616c6c6f77616e63652062656c6f60448201526577207a65726f60d01b6064820152608401610648565b610e50338761066b8885611891565b50600195945050505050565b600b546000908390839060ff1615610ed857600b5461010090046001600160a01b0316631ffb811f3384846040518463ffffffff1660e01b8152600401610ea5939291906117cb565b600060405180830381600087803b158015610ebf57600080fd5b505af1158015610ed3573d6000803e3d6000fd5b505050505b61051f33868661127f565b6005546001600160a01b0316336001600160a01b031614610f165760405162461bcd60e51b815260040161064890611842565b600a54610f655760405162461bcd60e51b815260206004820152601c60248201527f4c45524332303a205475726e4f6666206e6f742070726f706f736564000000006044820152606401610648565b42600a541115610fb75760405162461bcd60e51b815260206004820152601d60248201527f4c45524332303a2054696d65206c6f636b20696e2070726f67726573730000006044820152606401610648565b600b805460ff191690556000600a8190556040517f3eb72350c9c7928d31e9ab450bfff2c159434aa4b82658a7d8eae7f109cb4e7b9190a1565b6006546001600160a01b0316336001600160a01b0316146110545760405162461bcd60e51b815260206004820152601960248201527f4c45524332303a204d7573742062652063616e646974617465000000000000006044820152606401610648565b60075481516020830120146110a15760405162461bcd60e51b81526020600482015260136024820152724c45524332303a20496e76616c6964206b657960681b6044820152606401610648565b6006546040516001600160a01b03909116907fb94bba6936ec7f75ee931dadf6e1a4d66b43d09b6fa0178fb13df9b77fb5841f90600090a25060068054600580546001600160a01b03199081166001600160a01b03841617909155169055565b6005546001600160a01b0316336001600160a01b0316146111345760405162461bcd60e51b815260040161064890611842565b600a54156111845760405162461bcd60e51b815260206004820181905260248201527f4c45524332303a205475726e4f666620616c72656164792070726f706f7365646044820152606401610648565b600b5460ff166111d65760405162461bcd60e51b815260206004820152601c60248201527f4c45524332303a204c6f73736c65737320616c7265616479206f6666000000006044820152606401610648565b6009546111e39042611879565b600a8190556040519081527f6ca688e6e3ddd707280140b2bf0106afe883689b6c74e68cbd517576dd9c245a9060200160405180910390a1565b6001600160a01b0383811660008181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b0383166112e45760405162461bcd60e51b815260206004820152602660248201527f4c45524332303a207472616e736665722066726f6d20746865207a65726f206160448201526564647265737360d01b6064820152608401610648565b6001600160a01b0383166000908152602081905260409020548181101561135d5760405162461bcd60e51b815260206004820152602760248201527f4c45524332303a207472616e7366657220616d6f756e7420657863656564732060448201526662616c616e636560c81b6064820152608401610648565b6113678282611891565b6001600160a01b03808616600090815260208190526040808220939093559085168152908120805484929061139d908490611879565b92505081905550826001600160a01b0316846001600160a01b031660008051602061192b833981519152846040516113d791815260200190565b60405180910390a350505050565b6001600160a01b03821661143b5760405162461bcd60e51b815260206004820181905260248201527f4c45524332303a206d696e7420746f20746865207a65726f20616464726573736044820152606401610648565b806002600082825461144d9190611879565b90915550506001600160a01b0382166000818152602081815260408083208054860190555184815260008051602061192b833981519152910160405180910390a35050565b6001600160a01b0382166114f25760405162461bcd60e51b815260206004820152602160248201527f45524332303a206275726e2066726f6d20746865207a65726f206164647265736044820152607360f81b6064820152608401610648565b6001600160a01b038216600090815260208190526040902054818110156115665760405162461bcd60e51b815260206004820152602260248201527f45524332303a206275726e20616d6f756e7420657863656564732062616c616e604482015261636560f01b6064820152608401610648565b6001600160a01b0383166000908152602081905260408120838303905560028054849290611595908490611891565b90915550506040518281526000906001600160a01b0385169060008051602061192b83398151915290602001611272565b80356001600160a01b03811681146115dd57600080fd5b919050565b6000602082840312156115f3578081fd5b6115fc826115c6565b9392505050565b60008060408385031215611615578081fd5b61161e836115c6565b915061162c602084016115c6565b90509250929050565b600080600060608486031215611649578081fd5b611652846115c6565b9250611660602085016115c6565b9150604084013590509250925092565b60008060408385031215611682578182fd5b61168b836115c6565b946020939093013593505050565b600080602083850312156116ab578182fd5b823567ffffffffffffffff808211156116c2578384fd5b818501915085601f8301126116d5578384fd5b8135818111156116e3578485fd5b8660208260051b85010111156116f7578485fd5b60209290920196919550909350505050565b60006020828403121561171a578081fd5b813567ffffffffffffffff80821115611731578283fd5b818401915084601f830112611744578283fd5b81358181111561175657611756611914565b604051601f8201601f19908116603f0116810190838211818310171561177e5761177e611914565b81604052828152876020848701011115611796578586fd5b826020860160208301379182016020019490945295945050505050565b6000602082840312156117c4578081fd5b5035919050565b6001600160a01b039384168152919092166020820152604081019190915260600190565b6000602080835283518082850152825b8181101561181b578581018301518582016040015282016117ff565b8181111561182c5783604083870101525b50601f01601f1916929092016040019392505050565b6020808252601e908201527f4c45524332303a204d757374206265207265636f766572792061646d696e0000604082015260600190565b6000821982111561188c5761188c6118fe565b500190565b6000828210156118a3576118a36118fe565b500390565b600181811c908216806118bc57607f821691505b602082108114156118dd57634e487b7160e01b600052602260045260246000fd5b50919050565b60006000198214156118f7576118f76118fe565b5060010190565b634e487b7160e01b600052601160045260246000fd5b634e487b7160e01b600052604160045260246000fdfeddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3efa2646970667358221220d9f58686d11eb9329a23d259080dbab779bfd97708352fb3e18d523eb1ae72e564736f6c6343000804003300000000000000000000000000000000000000000000152d02c7e14af680000000000000000000000000000000000000000000000000000000000000000000e0000000000000000000000000000000000000000000000000000000000000012000000000000000000000000001d7b723e2a7ee14df09ad5fb8c49745d786879200000000000000000000000001d7b723e2a7ee14df09ad5fb8c49745d78687920000000000000000000000000000000000000000000000000000000000015180000000000000000000000000e91d7cebce484070fc70777cb04f7e2efae31db4000000000000000000000000000000000000000000000000000000000000000c577261707065642050756e6b000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000055750554e4b000000000000000000000000000000000000000000000000000000

0x608060405234801561001057600080fd5b50600436106101c45760003560e01c80636e9960c3116100f9578063a9059cbb11610097578063ccfa214f11610071578063ccfa214f146103a5578063d6e242b8146103b2578063dd62ed3e146103ba578063f851a440146103f357600080fd5b8063a9059cbb14610377578063b38fe9571461038a578063b5c228771461039257600080fd5b806393310ffe116100d357806393310ffe14610336578063936af9111461034957806395d89b411461035c578063a457c2d71461036457600080fd5b80636e9960c3146102e957806370a08231146102fa57806379cc67901461032357600080fd5b806334f6ebf51161016657806342966c681161014057806342966c68146102b25780635b8a194a146102c55780635f6529a3146102cd57806361086b00146102e057600080fd5b806334f6ebf51461025c578063395093511461028c57806340c10f191461029f57600080fd5b806323b872dd116101a257806323b872dd1461021c5780632baa3c9e1461022f5780632ecaf67514610244578063313ce5671461024d57600080fd5b806306fdde03146101c9578063095ea7b3146101e757806318160ddd1461020a575b600080fd5b6101d1610406565b6040516101de91906117ef565b60405180910390f35b6101fa6101f5366004611670565b610498565b60405190151581526020016101de565b6002545b6040519081526020016101de565b6101fa61022a366004611635565b61052a565b61024261023d3660046115e2565b61067e565b005b61020e60095481565b604051601281526020016101de565b600b546102749061010090046001600160a01b031681565b6040516001600160a01b0390911681526020016101de565b6101fa61029a366004611670565b610765565b6102426102ad366004611670565b610817565b6102426102c03660046117b3565b6108fd565b610242610987565b600554610274906001600160a01b031681565b61020e600a5481565b6008546001600160a01b0316610274565b61020e6103083660046115e2565b6001600160a01b031660009081526020819052604090205490565b610242610331366004611670565b610a4a565b610242610344366004611670565b610b4e565b610242610357366004611699565b610bd1565b6101d1610d33565b6101fa610372366004611670565b610d42565b6101fa610385366004611670565b610e5c565b610242610ee3565b6102426103a0366004611709565b610ff1565b600b546101fa9060ff1681565b610242611101565b61020e6103c8366004611603565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b600854610274906001600160a01b031681565b606060038054610415906118a8565b80601f0160208091040260200160405190810160405280929190818152602001828054610441906118a8565b801561048e5780601f106104635761010080835404028352916020019161048e565b820191906000526020600020905b81548152906001019060200180831161047157829003601f168201915b5050505050905090565b600b546000908390839060ff161561051457600b5461010090046001600160a01b03166347abf3be3384846040518463ffffffff1660e01b81526004016104e1939291906117cb565b600060405180830381600087803b1580156104fb57600080fd5b505af115801561050f573d6000803e3d6000fd5b505050505b61051f33868661121d565b506001949350505050565b600b5460009084908490849060ff16156105c657600b5461010090046001600160a01b031663379f5c69336040516001600160e01b031960e084901b1681526001600160a01b0391821660048201528187166024820152908516604482015260648101849052608401600060405180830381600087803b1580156105ad57600080fd5b505af11580156105c1573d6000803e3d6000fd5b505050505b6001600160a01b0387166000908152600160209081526040808320338452909152902054858110156106515760405162461bcd60e51b815260206004820152602960248201527f4c45524332303a207472616e7366657220616d6f756e74206578636565647320604482015268616c6c6f77616e636560b81b60648201526084015b60405180910390fd5b61065c88888861127f565b610670883361066b8985611891565b61121d565b506001979650505050505050565b6005546001600160a01b0316336001600160a01b0316146106b15760405162461bcd60e51b815260040161064890611842565b6008546001600160a01b038281169116141561070f5760405162461bcd60e51b815260206004820152601f60248201527f4c45524332303a2043616e6e6f74207365742073616d652061646472657373006044820152606401610648565b6040516001600160a01b038216907f71614071b88dee5e0b2ae578a9dd7b2ebbe9ae832ba419dc0242cd065a290b6c90600090a2600880546001600160a01b0319166001600160a01b0392909216919091179055565b600b546000908390839060ff16156107e157600b5461010090046001600160a01b031663cf5961bb3384846040518463ffffffff1660e01b81526004016107ae939291906117cb565b600060405180830381600087803b1580156107c857600080fd5b505af11580156107dc573d6000803e3d6000fd5b505050505b3360008181526001602090815260408083206001600160a01b038a16845290915290205461051f9190879061066b908890611879565b600b548290829060ff161561089257600b546040516218a28b60e61b81526001600160a01b0384811660048301526024820184905261010090920490911690630628a2c090604401600060405180830381600087803b15801561087957600080fd5b505af115801561088d573d6000803e3d6000fd5b505050505b6008546001600160a01b0316336001600160a01b0316146108ed5760405162461bcd60e51b81526020600482015260156024820152742622a92199181d1026bab9ba1031329030b236b4b760591b6044820152606401610648565b6108f784846113e5565b50505050565b33600b54829060ff161561097857600b54604051634a1fefbd60e01b81526001600160a01b0384811660048301526024820184905261010090920490911690634a1fefbd90604401600060405180830381600087803b15801561095f57600080fd5b505af1158015610973573d6000803e3d6000fd5b505050505b6109823384611492565b505050565b6005546001600160a01b0316336001600160a01b0316146109ba5760405162461bcd60e51b815260040161064890611842565b600b5460ff1615610a0d5760405162461bcd60e51b815260206004820152601b60248201527f4c45524332303a204c6f73736c65737320616c7265616479206f6e00000000006044820152606401610648565b6000600a819055600b805460ff191660011790556040517f1ba3b66404043da8297d0b876fa6464f2cb127edfc6626308046d4503028322b9190a1565b600b548290829060ff1615610ac657600b54604051634a1fefbd60e01b81526001600160a01b0384811660048301526024820184905261010090920490911690634a1fefbd90604401600060405180830381600087803b158015610aad57600080fd5b505af1158015610ac1573d6000803e3d6000fd5b505050505b6000610ad285336103c8565b905083811015610b305760405162461bcd60e51b8152602060048201526024808201527f45524332303a206275726e20616d6f756e74206578636565647320616c6c6f77604482015263616e636560e01b6064820152608401610648565b610b3d853386840361121d565b610b478585611492565b5050505050565b6005546001600160a01b0316336001600160a01b031614610b815760405162461bcd60e51b815260040161064890611842565b600680546001600160a01b0319166001600160a01b03841690811790915560078290556040517f6c591da8da2f6e69746d7d9ae61c27ee29fbe303798141b4942ae2aef54274b190600090a25050565b600b5461010090046001600160a01b0316336001600160a01b031614610c395760405162461bcd60e51b815260206004820152601e60248201527f4c45524332303a204f6e6c79206c6f73736c65737320636f6e747261637400006044820152606401610648565b806000805b82811015610cf8576000858583818110610c6857634e487b7160e01b600052603260045260246000fd5b9050602002016020810190610c7d91906115e2565b6001600160a01b03811660009081526020819052604081208054919055909150610ca78185611879565b600b546040518381529195506001600160a01b036101009091048116919084169060008051602061192b8339815191529060200160405180910390a350508080610cf0906118e3565b915050610c3e565b50600b5461010090046001600160a01b031660009081526020819052604081208054839290610d28908490611879565b909155505050505050565b606060048054610415906118a8565b600b546000908390839060ff1615610dbe57600b5461010090046001600160a01b031663568c75a93384846040518463ffffffff1660e01b8152600401610d8b939291906117cb565b600060405180830381600087803b158015610da557600080fd5b505af1158015610db9573d6000803e3d6000fd5b505050505b3360009081526001602090815260408083206001600160a01b038916845290915290205484811015610e415760405162461bcd60e51b815260206004820152602660248201527f4c45524332303a2064656372656173656420616c6c6f77616e63652062656c6f60448201526577207a65726f60d01b6064820152608401610648565b610e50338761066b8885611891565b50600195945050505050565b600b546000908390839060ff1615610ed857600b5461010090046001600160a01b0316631ffb811f3384846040518463ffffffff1660e01b8152600401610ea5939291906117cb565b600060405180830381600087803b158015610ebf57600080fd5b505af1158015610ed3573d6000803e3d6000fd5b505050505b61051f33868661127f565b6005546001600160a01b0316336001600160a01b031614610f165760405162461bcd60e51b815260040161064890611842565b600a54610f655760405162461bcd60e51b815260206004820152601c60248201527f4c45524332303a205475726e4f6666206e6f742070726f706f736564000000006044820152606401610648565b42600a541115610fb75760405162461bcd60e51b815260206004820152601d60248201527f4c45524332303a2054696d65206c6f636b20696e2070726f67726573730000006044820152606401610648565b600b805460ff191690556000600a8190556040517f3eb72350c9c7928d31e9ab450bfff2c159434aa4b82658a7d8eae7f109cb4e7b9190a1565b6006546001600160a01b0316336001600160a01b0316146110545760405162461bcd60e51b815260206004820152601960248201527f4c45524332303a204d7573742062652063616e646974617465000000000000006044820152606401610648565b60075481516020830120146110a15760405162461bcd60e51b81526020600482015260136024820152724c45524332303a20496e76616c6964206b657960681b6044820152606401610648565b6006546040516001600160a01b03909116907fb94bba6936ec7f75ee931dadf6e1a4d66b43d09b6fa0178fb13df9b77fb5841f90600090a25060068054600580546001600160a01b03199081166001600160a01b03841617909155169055565b6005546001600160a01b0316336001600160a01b0316146111345760405162461bcd60e51b815260040161064890611842565b600a54156111845760405162461bcd60e51b815260206004820181905260248201527f4c45524332303a205475726e4f666620616c72656164792070726f706f7365646044820152606401610648565b600b5460ff166111d65760405162461bcd60e51b815260206004820152601c60248201527f4c45524332303a204c6f73736c65737320616c7265616479206f6666000000006044820152606401610648565b6009546111e39042611879565b600a8190556040519081527f6ca688e6e3ddd707280140b2bf0106afe883689b6c74e68cbd517576dd9c245a9060200160405180910390a1565b6001600160a01b0383811660008181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b0383166112e45760405162461bcd60e51b815260206004820152602660248201527f4c45524332303a207472616e736665722066726f6d20746865207a65726f206160448201526564647265737360d01b6064820152608401610648565b6001600160a01b0383166000908152602081905260409020548181101561135d5760405162461bcd60e51b815260206004820152602760248201527f4c45524332303a207472616e7366657220616d6f756e7420657863656564732060448201526662616c616e636560c81b6064820152608401610648565b6113678282611891565b6001600160a01b03808616600090815260208190526040808220939093559085168152908120805484929061139d908490611879565b92505081905550826001600160a01b0316846001600160a01b031660008051602061192b833981519152846040516113d791815260200190565b60405180910390a350505050565b6001600160a01b03821661143b5760405162461bcd60e51b815260206004820181905260248201527f4c45524332303a206d696e7420746f20746865207a65726f20616464726573736044820152606401610648565b806002600082825461144d9190611879565b90915550506001600160a01b0382166000818152602081815260408083208054860190555184815260008051602061192b833981519152910160405180910390a35050565b6001600160a01b0382166114f25760405162461bcd60e51b815260206004820152602160248201527f45524332303a206275726e2066726f6d20746865207a65726f206164647265736044820152607360f81b6064820152608401610648565b6001600160a01b038216600090815260208190526040902054818110156115665760405162461bcd60e51b815260206004820152602260248201527f45524332303a206275726e20616d6f756e7420657863656564732062616c616e604482015261636560f01b6064820152608401610648565b6001600160a01b0383166000908152602081905260408120838303905560028054849290611595908490611891565b90915550506040518281526000906001600160a01b0385169060008051602061192b83398151915290602001611272565b80356001600160a01b03811681146115dd57600080fd5b919050565b6000602082840312156115f3578081fd5b6115fc826115c6565b9392505050565b60008060408385031215611615578081fd5b61161e836115c6565b915061162c602084016115c6565b90509250929050565b600080600060608486031215611649578081fd5b611652846115c6565b9250611660602085016115c6565b9150604084013590509250925092565b60008060408385031215611682578182fd5b61168b836115c6565b946020939093013593505050565b600080602083850312156116ab578182fd5b823567ffffffffffffffff808211156116c2578384fd5b818501915085601f8301126116d5578384fd5b8135818111156116e3578485fd5b8660208260051b85010111156116f7578485fd5b60209290920196919550909350505050565b60006020828403121561171a578081fd5b813567ffffffffffffffff80821115611731578283fd5b818401915084601f830112611744578283fd5b81358181111561175657611756611914565b604051601f8201601f19908116603f0116810190838211818310171561177e5761177e611914565b81604052828152876020848701011115611796578586fd5b826020860160208301379182016020019490945295945050505050565b6000602082840312156117c4578081fd5b5035919050565b6001600160a01b039384168152919092166020820152604081019190915260600190565b6000602080835283518082850152825b8181101561181b578581018301518582016040015282016117ff565b8181111561182c5783604083870101525b50601f01601f1916929092016040019392505050565b6020808252601e908201527f4c45524332303a204d757374206265207265636f766572792061646d696e0000604082015260600190565b6000821982111561188c5761188c6118fe565b500190565b6000828210156118a3576118a36118fe565b500390565b600181811c908216806118bc57607f821691505b602082108114156118dd57634e487b7160e01b600052602260045260246000fd5b50919050565b60006000198214156118f7576118f76118fe565b5060010190565b634e487b7160e01b600052601160045260246000fd5b634e487b7160e01b600052604160045260246000fdfeddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3efa2646970667358221220d9f58686d11eb9329a23d259080dbab779bfd97708352fb3e18d523eb1ae72e564736f6c63430008040033

1198:10328:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6983:91;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7865:187;;;;;;:::i;:::-;;:::i;:::-;;;4878:14:1;;4871:22;4853:41;;4841:2;4826:18;7865:187:0;4808:92:1;7277:99:0;7356:12;;7277:99;;;13010:25:1;;;12998:2;12983:18;7277:99:0;12965:76:1;8060:465:0;;;;;;:::i;:::-;;:::i;5026:212::-;;;;;;:::i;:::-;;:::i;:::-;;1620:29;;;;;;7185:84;;;7259:2;13188:36:1;;13176:2;13161:18;7185:84:0;13143:87:1;1740:30:0;;;;;;;;-1:-1:-1;;;;;1740:30:0;;;;;;-1:-1:-1;;;;;3549:32:1;;;3531:51;;3519:2;3504:18;1740:30:0;3486:102:1;8533:257:0;;;;;;:::i;:::-;;:::i;11344:179::-;;;;;;:::i;:::-;;:::i;10814:121::-;;;;;;:::i;:::-;;:::i;6617:229::-;;;:::i;1470:28::-;;;;;-1:-1:-1;;;;;1470:28:0;;;1656:39;;;;;;6854:89;6930:5;;-1:-1:-1;;;;;6930:5:0;6854:89;;7384:118;;;;;;:::i;:::-;-1:-1:-1;;;;;7476:18:0;7449:7;7476:18;;;;;;;;;;;;7384:118;10943:393;;;;;;:::i;:::-;;:::i;5246:249::-;;;;;;:::i;:::-;;:::i;4386:632::-;;;;;;:::i;:::-;;:::i;7082:95::-;;;:::i;8798:425::-;;;;;;:::i;:::-;;:::i;7510:197::-;;;;;;:::i;:::-;;:::i;6264:345::-;;;:::i;5503:392::-;;;;;;:::i;:::-;;:::i;1702:31::-;;;;;;;;;5903:353;;;:::i;7715:142::-;;;;;;:::i;:::-;-1:-1:-1;;;;;7822:18:0;;;7795:7;7822:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7715:142;1593:20;;;;;-1:-1:-1;;;;;1593:20:0;;;6983:91;7028:13;7061:5;7054:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6983:91;:::o;7865:187::-;2882:12;;7966:4;;7940:7;;7949:6;;2882:12;;2878:98;;;2911:8;;;;;-1:-1:-1;;;;;2911:8:0;:22;244:10;2948:7;2957:6;2911:53;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2878:98;7983:39:::1;244:10:::0;8006:7:::1;8015:6;7983:8;:39::i;:::-;-1:-1:-1::0;8040:4:0::1;::::0;7865:187;-1:-1:-1;;;;7865:187:0:o;8060:465::-;3291:12;;8200:4;;8164:6;;8172:9;;8183:6;;3291:12;;3287:112;;;3320:8;;;;;-1:-1:-1;;;;;3320:8:0;:27;244:10;3320:67;;-1:-1:-1;;;;;;3320:67:0;;;;;;;-1:-1:-1;;;;;3880:15:1;;;3320:67:0;;;3862:34:1;3932:15;;;3912:18;;;3905:43;3984:15;;;3964:18;;;3957:43;4016:18;;;4009:34;;;3796:19;;3320:67:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3287:112;-1:-1:-1;;;;;8244:19:0;::::1;8217:24;8244:19:::0;;;:11:::1;:19;::::0;;;;;;;244:10;8244:33;;;;;;;;8296:26;;::::1;;8288:80;;;::::0;-1:-1:-1;;;8288:80:0;;7473:2:1;8288:80:0::1;::::0;::::1;7455:21:1::0;7512:2;7492:18;;;7485:30;7551:34;7531:18;;;7524:62;-1:-1:-1;;;7602:18:1;;;7595:39;7651:19;;8288:80:0::1;;;;;;;;;8379:36;8389:6;8397:9;8408:6;8379:9;:36::i;:::-;8436:57;8445:6:::0;244:10;8467:25:::1;8486:6:::0;8467:16;:25:::1;:::i;:::-;8436:8;:57::i;:::-;-1:-1:-1::0;8513:4:0::1;::::0;8060:465;-1:-1:-1;;;;;;;8060:465:0:o;5026:212::-;3934:13;;-1:-1:-1;;;;;3934:13:0;244:10;-1:-1:-1;;;;;3918:29:0;;3910:72;;;;-1:-1:-1;;;3910:72:0;;;;;;;:::i;:::-;5128:5:::1;::::0;-1:-1:-1;;;;;5116:17:0;;::::1;5128:5:::0;::::1;5116:17;;5108:61;;;::::0;-1:-1:-1;;;5108:61:0;;5944:2:1;5108:61:0::1;::::0;::::1;5926:21:1::0;5983:2;5963:18;;;5956:30;6022:33;6002:18;;;5995:61;6073:18;;5108:61:0::1;5916:181:1::0;5108:61:0::1;5185:18;::::0;-1:-1:-1;;;;;5185:18:0;::::1;::::0;::::1;::::0;;;::::1;5214:5;:16:::0;;-1:-1:-1;;;;;;5214:16:0::1;-1:-1:-1::0;;;;;5214:16:0;;;::::1;::::0;;;::::1;::::0;;5026:212::o;8533:257::-;3508:12;;8663:4;;8633:7;;8642:10;;3508:12;;3504:112;;;3537:8;;;;;-1:-1:-1;;;;;3537:8:0;:32;244:10;3584:7;3593:10;3537:67;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3504:112;244:10;8712:25:::1;::::0;;;:11:::1;:25;::::0;;;;;;;-1:-1:-1;;;;;8712:34:0;::::1;::::0;;;;;;;;8680:80:::1;::::0;244:10;8703:7;;8712:47:::1;::::0;8749:10;;8712:47:::1;:::i;11344:179::-:0;4245:12;;11409:2;;11413:6;;4245:12;;4241:81;;;4274:8;;:36;;-1:-1:-1;;;4274:36:0;;-1:-1:-1;;;;;4626:32:1;;;4274:36:0;;;4608:51:1;4675:18;;;4668:34;;;4274:8:0;;;;;;;;:19;;4581:18:1;;4274:36:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4241:81;11456:5:::1;::::0;-1:-1:-1;;;;;11456:5:0::1;244:10:::0;-1:-1:-1;;;;;11440:21:0::1;;11432:55;;;::::0;-1:-1:-1;;;11432:55:0;;8231:2:1;11432:55:0::1;::::0;::::1;8213:21:1::0;8270:2;8250:18;;;8243:30;-1:-1:-1;;;8289:18:1;;;8282:51;8350:18;;11432:55:0::1;8203:171:1::0;11432:55:0::1;11498:17;11504:2;11508:6;11498:5;:17::i;:::-;11344:179:::0;;;;:::o;10814:121::-;244:10;4075:12;;10881:6;;4075:12;;4071:81;;;4104:8;;:36;;-1:-1:-1;;;4104:36:0;;-1:-1:-1;;;;;4626:32:1;;;4104:36:0;;;4608:51:1;4675:18;;;4668:34;;;4104:8:0;;;;;;;;:19;;4581:18:1;;4104:36:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4071:81;10900:27:::1;244:10:::0;10920:6:::1;10900:5;:27::i;:::-;10814:121:::0;;;:::o;6617:229::-;3934:13;;-1:-1:-1;;;;;3934:13:0;244:10;-1:-1:-1;;;;;3918:29:0;;3910:72;;;;-1:-1:-1;;;3910:72:0;;;;;;;:::i;:::-;6697:12:::1;::::0;::::1;;6696:13;6688:53;;;::::0;-1:-1:-1;;;6688:53:0;;10824:2:1;6688:53:0::1;::::0;::::1;10806:21:1::0;10863:2;10843:18;;;10836:30;10902:29;10882:18;;;10875:57;10949:18;;6688:53:0::1;10796:177:1::0;6688:53:0::1;6779:1;6752:24;:28:::0;;;6791:12:::1;:19:::0;;-1:-1:-1;;6791:19:0::1;6806:4;6791:19;::::0;;6826:12:::1;::::0;::::1;::::0;6779:1;6826:12:::1;6617:229::o:0;10943:393::-;4075:12;;11017:7;;11026:6;;4075:12;;4071:81;;;4104:8;;:36;;-1:-1:-1;;;4104:36:0;;-1:-1:-1;;;;;4626:32:1;;;4104:36:0;;;4608:51:1;4675:18;;;4668:34;;;4104:8:0;;;;;;;;:19;;4581:18:1;;4104:36:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4071:81;11045:24:::1;11072:32;11082:7:::0;244:10;7715:142;:::i;11072:32::-:1;11045:59;;11143:6;11123:16;:26;;11115:75;;;::::0;-1:-1:-1;;;11115:75:0;;10060:2:1;11115:75:0::1;::::0;::::1;10042:21:1::0;10099:2;10079:18;;;10072:30;10138:34;10118:18;;;10111:62;-1:-1:-1;;;10189:18:1;;;10182:34;10233:19;;11115:75:0::1;10032:226:1::0;11115:75:0::1;11226:58;11235:7:::0;244:10;11277:6:::1;11258:16;:25;11226:8;:58::i;:::-;11306:22;11312:7;11321:6;11306:5;:22::i;:::-;4163:1;10943:393:::0;;;;:::o;5246:249::-;3934:13;;-1:-1:-1;;;;;3934:13:0;244:10;-1:-1:-1;;;;;3918:29:0;;3910:72;;;;-1:-1:-1;;;3910:72:0;;;;;;;:::i;:::-;5361:22:::1;:34:::0;;-1:-1:-1;;;;;;5361:34:0::1;-1:-1:-1::0;;;;;5361:34:0;::::1;::::0;;::::1;::::0;;;5406:20:::1;:30:::0;;;5452:35:::1;::::0;::::1;::::0;-1:-1:-1;;5452:35:0::1;5246:249:::0;;:::o;4386:632::-;4500:8;;;;;-1:-1:-1;;;;;4500:8:0;244:10;-1:-1:-1;;;;;4476:33:0;;4468:76;;;;-1:-1:-1;;;4468:76:0;;11939:2:1;4468:76:0;;;11921:21:1;11978:2;11958:18;;;11951:30;12017:32;11997:18;;;11990:60;12067:18;;4468:76:0;11911:180:1;4468:76:0;4578:4;4557:18;;4644:311;4668:10;4664:1;:14;4644:311;;;4700:19;4722:4;;4727:1;4722:7;;;;;-1:-1:-1;;;4722:7:0;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1;;;;;4766:22:0;;4744:19;4766:22;;;;;;;;;;;;4803:26;;;4700:29;;-1:-1:-1;4844:26:0;4766:22;4844:26;;:::i;:::-;4920:8;;4890:53;;13010:25:1;;;4844:26:0;;-1:-1:-1;;;;;;4920:8:0;;;;;;;4890:53;;;;-1:-1:-1;;;;;;;;;;;4890:53:0;12998:2:1;12983:18;4890:53:0;;;;;;;4644:311;;4680:3;;;;;:::i;:::-;;;;4644:311;;;-1:-1:-1;4985:8:0;;;;;-1:-1:-1;;;;;4985:8:0;4967:9;:28;;;;;;;;;;:43;;4999:11;;4967:9;:43;;4999:11;;4967:43;:::i;:::-;;;;-1:-1:-1;;;;;;4386:632:0:o;7082:95::-;7129:13;7162:7;7155:14;;;;;:::i;8798:425::-;3730:12;;8938:4;;8903:7;;8912:15;;3730:12;;3726:117;;;3759:8;;;;;-1:-1:-1;;;;;3759:8:0;:32;244:10;3806:7;3815:15;3759:72;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3726:117;244:10;8955:24:::1;8982:25:::0;;;:11:::1;:25;::::0;;;;;;;-1:-1:-1;;;;;8982:34:0;::::1;::::0;;;;;;;;9035:35;;::::1;;9027:86;;;::::0;-1:-1:-1;;;9027:86:0;;12659:2:1;9027:86:0::1;::::0;::::1;12641:21:1::0;12698:2;12678:18;;;12671:30;12737:34;12717:18;;;12710:62;-1:-1:-1;;;12788:18:1;;;12781:36;12834:19;;9027:86:0::1;12631:228:1::0;9027:86:0::1;9124:67;244:10:::0;9147:7;9156:34:::1;9175:15:::0;9156:16;:34:::1;:::i;9124:67::-;-1:-1:-1::0;9211:4:0::1;::::0;8798:425;-1:-1:-1;;;;;8798:425:0:o;7510:197::-;3075:12;;7618:4;;7590:9;;7601:6;;3075:12;;3071:101;;;3104:8;;;;;-1:-1:-1;;;;;3104:8:0;:23;244:10;3142:9;3153:6;3104:56;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3071:101;7635:42:::1;244:10:::0;7659:9:::1;7670:6;7635:9;:42::i;6264:345::-:0;3934:13;;-1:-1:-1;;;;;3934:13:0;244:10;-1:-1:-1;;;;;3918:29:0;;3910:72;;;;-1:-1:-1;;;3910:72:0;;;;;;;:::i;:::-;6344:24:::1;::::0;6336:70:::1;;;::::0;-1:-1:-1;;;6336:70:0;;8581:2:1;6336:70:0::1;::::0;::::1;8563:21:1::0;8620:2;8600:18;;;8593:30;8659;8639:18;;;8632:58;8707:18;;6336:70:0::1;8553:178:1::0;6336:70:0::1;6453:15;6425:24;;:43;;6417:85;;;::::0;-1:-1:-1;;;6417:85:0;;6707:2:1;6417:85:0::1;::::0;::::1;6689:21:1::0;6746:2;6726:18;;;6719:30;6785:31;6765:18;;;6758:59;6834:18;;6417:85:0::1;6679:179:1::0;6417:85:0::1;6513:12;:20:::0;;-1:-1:-1;;6513:20:0::1;::::0;;6528:5:::1;6544:24;:28:::0;;;6588:13:::1;::::0;::::1;::::0;6528:5;6588:13:::1;6264:345::o:0;5503:392::-;5603:22;;-1:-1:-1;;;;;5603:22:0;244:10;-1:-1:-1;;;;;5587:38:0;;5579:76;;;;-1:-1:-1;;;5579:76:0;;9345:2:1;5579:76:0;;;9327:21:1;9384:2;9364:18;;;9357:30;9423:27;9403:18;;;9396:55;9468:18;;5579:76:0;9317:175:1;5579:76:0;5692:20;;5674:14;;;;;;:38;5666:70;;;;-1:-1:-1;;;5666:70:0;;7883:2:1;5666:70:0;;;7865:21:1;7922:2;7902:18;;;7895:30;-1:-1:-1;;;7941:18:1;;;7934:49;8000:18;;5666:70:0;7855:169:1;5666:70:0;5769:22;;5752:40;;-1:-1:-1;;;;;5769:22:0;;;;5752:40;;5769:22;;5752:40;-1:-1:-1;5819:22:0;;;5803:13;:38;;-1:-1:-1;;;;;;5803:38:0;;;-1:-1:-1;;;;;5819:22:0;;5803:38;;;;5852:35;;;5503:392::o;5903:353::-;3934:13;;-1:-1:-1;;;;;3934:13:0;244:10;-1:-1:-1;;;;;3918:29:0;;3910:72;;;;-1:-1:-1;;;3910:72:0;;;;;;;:::i;:::-;5983:24:::1;::::0;:29;5975:74:::1;;;::::0;-1:-1:-1;;;5975:74:0;;9699:2:1;5975:74:0::1;::::0;::::1;9681:21:1::0;;;9718:18;;;9711:30;9777:34;9757:18;;;9750:62;9829:18;;5975:74:0::1;9671:182:1::0;5975:74:0::1;6068:12;::::0;::::1;;6060:53;;;::::0;-1:-1:-1;;;6060:53:0;;11180:2:1;6060:53:0::1;::::0;::::1;11162:21:1::0;11219:2;11199:18;;;11192:30;11258;11238:18;;;11231:58;11306:18;;6060:53:0::1;11152:178:1::0;6060:53:0::1;6169:14;::::0;6151:32:::1;::::0;:15:::1;:32;:::i;:::-;6124:24;:59:::0;;;6199:49:::1;::::0;13010:25:1;;;6199:49:0::1;::::0;12998:2:1;12983:18;6199:49:0::1;;;;;;;5903:353::o:0;10620:186::-;-1:-1:-1;;;;;10714:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;10766:32;;13010:25:1;;;10766:32:0;;12983:18:1;10766:32:0;;;;;;;;10620:186;;;:::o;9231:464::-;-1:-1:-1;;;;;9337:20:0;;9329:71;;;;-1:-1:-1;;;9329:71:0;;8938:2:1;9329:71:0;;;8920:21:1;8977:2;8957:18;;;8950:30;9016:34;8996:18;;;8989:62;-1:-1:-1;;;9067:18:1;;;9060:36;9113:19;;9329:71:0;8910:228:1;9329:71:0;-1:-1:-1;;;;;9437:17:0;;9413:21;9437:17;;;;;;;;;;;9473:23;;;;9465:75;;;;-1:-1:-1;;;9465:75:0;;7065:2:1;9465:75:0;;;7047:21:1;7104:2;7084:18;;;7077:30;7143:34;7123:18;;;7116:62;-1:-1:-1;;;7194:18:1;;;7187:37;7241:19;;9465:75:0;7037:229:1;9465:75:0;9571:22;9587:6;9571:13;:22;:::i;:::-;-1:-1:-1;;;;;9551:17:0;;;:9;:17;;;;;;;;;;;:42;;;;9604:20;;;;;;;;:30;;9628:6;;9551:9;9604:30;;9628:6;;9604:30;:::i;:::-;;;;;;;;9669:9;-1:-1:-1;;;;;9652:35:0;9661:6;-1:-1:-1;;;;;9652:35:0;-1:-1:-1;;;;;;;;;;;9680:6:0;9652:35;;;;13010:25:1;;12998:2;12983:18;;12965:76;9652:35:0;;;;;;;;9231:464;;;;:::o;9703:433::-;-1:-1:-1;;;;;9787:21:0;;9779:66;;;;-1:-1:-1;;;9779:66:0;;12298:2:1;9779:66:0;;;12280:21:1;;;12317:18;;;12310:30;12376:34;12356:18;;;12349:62;12428:18;;9779:66:0;12270:182:1;9779:66:0;9878:6;9862:12;;:22;;;;;;;:::i;:::-;;;;-1:-1:-1;;;;;;;10036:18:0;;:9;:18;;;;;;;;;;;:28;;;;;;10091:37;13010:25:1;;;-1:-1:-1;;;;;;;;;;;10091:37:0;12983:18:1;10091:37:0;;;;;;;9703:433;;:::o;10144:468::-;-1:-1:-1;;;;;10228:21:0;;10220:67;;;;-1:-1:-1;;;10220:67:0;;11537:2:1;10220:67:0;;;11519:21:1;11576:2;11556:18;;;11549:30;11615:34;11595:18;;;11588:62;-1:-1:-1;;;11666:18:1;;;11659:31;11707:19;;10220:67:0;11509:223:1;10220:67:0;-1:-1:-1;;;;;10325:18:0;;10300:22;10325:18;;;;;;;;;;;10362:24;;;;10354:71;;;;-1:-1:-1;;;10354:71:0;;6304:2:1;10354:71:0;;;6286:21:1;6343:2;6323:18;;;6316:30;6382:34;6362:18;;;6355:62;-1:-1:-1;;;6433:18:1;;;6426:32;6475:19;;10354:71:0;6276:224:1;10354:71:0;-1:-1:-1;;;;;10461:18:0;;:9;:18;;;;;;;;;;10482:23;;;10461:44;;10527:12;:22;;10499:6;;10461:9;10527:22;;10499:6;;10527:22;:::i;:::-;;;;-1:-1:-1;;10567:37:0;;13010:25:1;;;10593:1:0;;-1:-1:-1;;;;;10567:37:0;;;-1:-1:-1;;;;;;;;;;;10567:37:0;12998:2:1;12983:18;10567:37:0;12965:76:1;14:173;82:20;;-1:-1:-1;;;;;131:31:1;;121:42;;111:2;;177:1;174;167:12;111:2;63:124;;;:::o;192:196::-;251:6;304:2;292:9;283:7;279:23;275:32;272:2;;;325:6;317;310:22;272:2;353:29;372:9;353:29;:::i;:::-;343:39;262:126;-1:-1:-1;;;262:126:1:o;393:270::-;461:6;469;522:2;510:9;501:7;497:23;493:32;490:2;;;543:6;535;528:22;490:2;571:29;590:9;571:29;:::i;:::-;561:39;;619:38;653:2;642:9;638:18;619:38;:::i;:::-;609:48;;480:183;;;;;:::o;668:338::-;745:6;753;761;814:2;802:9;793:7;789:23;785:32;782:2;;;835:6;827;820:22;782:2;863:29;882:9;863:29;:::i;:::-;853:39;;911:38;945:2;934:9;930:18;911:38;:::i;:::-;901:48;;996:2;985:9;981:18;968:32;958:42;;772:234;;;;;:::o;1011:264::-;1079:6;1087;1140:2;1128:9;1119:7;1115:23;1111:32;1108:2;;;1161:6;1153;1146:22;1108:2;1189:29;1208:9;1189:29;:::i;:::-;1179:39;1265:2;1250:18;;;;1237:32;;-1:-1:-1;;;1098:177:1:o;1549:665::-;1635:6;1643;1696:2;1684:9;1675:7;1671:23;1667:32;1664:2;;;1717:6;1709;1702:22;1664:2;1762:9;1749:23;1791:18;1832:2;1824:6;1821:14;1818:2;;;1853:6;1845;1838:22;1818:2;1896:6;1885:9;1881:22;1871:32;;1941:7;1934:4;1930:2;1926:13;1922:27;1912:2;;1968:6;1960;1953:22;1912:2;2013;2000:16;2039:2;2031:6;2028:14;2025:2;;;2060:6;2052;2045:22;2025:2;2118:7;2113:2;2103:6;2100:1;2096:14;2092:2;2088:23;2084:32;2081:45;2078:2;;;2144:6;2136;2129:22;2078:2;2180;2172:11;;;;;2202:6;;-1:-1:-1;1654:560:1;;-1:-1:-1;;;;1654:560:1:o;2219:966::-;2287:6;2340:2;2328:9;2319:7;2315:23;2311:32;2308:2;;;2361:6;2353;2346:22;2308:2;2406:9;2393:23;2435:18;2476:2;2468:6;2465:14;2462:2;;;2497:6;2489;2482:22;2462:2;2540:6;2529:9;2525:22;2515:32;;2585:7;2578:4;2574:2;2570:13;2566:27;2556:2;;2612:6;2604;2597:22;2556:2;2653;2640:16;2675:2;2671;2668:10;2665:2;;;2681:18;;:::i;:::-;2756:2;2750:9;2724:2;2810:13;;-1:-1:-1;;2806:22:1;;;2830:2;2802:31;2798:40;2786:53;;;2854:18;;;2874:22;;;2851:46;2848:2;;;2900:18;;:::i;:::-;2940:10;2936:2;2929:22;2975:2;2967:6;2960:18;3015:7;3010:2;3005;3001;2997:11;2993:20;2990:33;2987:2;;;3041:6;3033;3026:22;2987:2;3102;3097;3093;3089:11;3084:2;3076:6;3072:15;3059:46;3125:15;;;3142:2;3121:24;3114:40;;;;3129:6;2298:887;-1:-1:-1;;;;;2298:887:1:o;3190:190::-;3249:6;3302:2;3290:9;3281:7;3277:23;3273:32;3270:2;;;3323:6;3315;3308:22;3270:2;-1:-1:-1;3351:23:1;;3260:120;-1:-1:-1;3260:120:1:o;4054:375::-;-1:-1:-1;;;;;4312:15:1;;;4294:34;;4364:15;;;;4359:2;4344:18;;4337:43;4411:2;4396:18;;4389:34;;;;4244:2;4229:18;;4211:218::o;5134:603::-;5246:4;5275:2;5304;5293:9;5286:21;5336:6;5330:13;5379:6;5374:2;5363:9;5359:18;5352:34;5404:4;5417:140;5431:6;5428:1;5425:13;5417:140;;;5526:14;;;5522:23;;5516:30;5492:17;;;5511:2;5488:26;5481:66;5446:10;;5417:140;;;5575:6;5572:1;5569:13;5566:2;;;5645:4;5640:2;5631:6;5620:9;5616:22;5612:31;5605:45;5566:2;-1:-1:-1;5721:2:1;5700:15;-1:-1:-1;;5696:29:1;5681:45;;;;5728:2;5677:54;;5255:482;-1:-1:-1;;;5255:482:1:o;10263:354::-;10465:2;10447:21;;;10504:2;10484:18;;;10477:30;10543:32;10538:2;10523:18;;10516:60;10608:2;10593:18;;10437:180::o;13235:128::-;13275:3;13306:1;13302:6;13299:1;13296:13;13293:2;;;13312:18;;:::i;:::-;-1:-1:-1;13348:9:1;;13283:80::o;13368:125::-;13408:4;13436:1;13433;13430:8;13427:2;;;13441:18;;:::i;:::-;-1:-1:-1;13478:9:1;;13417:76::o;13498:380::-;13577:1;13573:12;;;;13620;;;13641:2;;13695:4;13687:6;13683:17;13673:27;;13641:2;13748;13740:6;13737:14;13717:18;13714:38;13711:2;;;13794:10;13789:3;13785:20;13782:1;13775:31;13829:4;13826:1;13819:15;13857:4;13854:1;13847:15;13711:2;;13553:325;;;:::o;13883:135::-;13922:3;-1:-1:-1;;13943:17:1;;13940:2;;;13963:18;;:::i;:::-;-1:-1:-1;14010:1:1;13999:13;;13930:88::o;14023:127::-;14084:10;14079:3;14075:20;14072:1;14065:31;14115:4;14112:1;14105:15;14139:4;14136:1;14129:15;14155:127;14216:10;14211:3;14207:20;14204:1;14197:31;14247:4;14244:1;14237:15;14271:4;14268:1;14261:15

ipfs://d9f58686d11eb9329a23d259080dbab779bfd97708352fb3e18d523eb1ae72e5