Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at scrollscan.com on 2023-10-18
*/

// Deployed on zkScroll for PunkSwapDEX
// Same as
// https://bscscan.com/address/0xca143ce32fe78f1f7019d7d551a6402fc5350c73#code
// 0.5.16, no optimisation

pragma solidity =0.5.16;

interface IPunkFactory {
    event PairCreated(
        address indexed token0,
        address indexed token1,
        address pair,
        uint
    );

    function feeTo() external view returns (address);

    function feeToSetter() external view returns (address);

    function getPair(
        address tokenA,
        address tokenB
    ) external view returns (address pair);

    function allPairs(uint) external view returns (address pair);

    function allPairsLength() external view returns (uint);

    function createPair(
        address tokenA,
        address tokenB
    ) external returns (address pair);

    function setFeeTo(address) external;

    function setFeeToSetter(address) external;
}

interface IPunkPair {
    event Approval(address indexed owner, address indexed spender, uint value);
    event Transfer(address indexed from, address indexed to, uint value);

    function name() external pure returns (string memory);

    function symbol() external pure returns (string memory);

    function decimals() external pure returns (uint8);

    function totalSupply() external view returns (uint);

    function balanceOf(address owner) external view returns (uint);

    function allowance(
        address owner,
        address spender
    ) external view returns (uint);

    function approve(address spender, uint value) external returns (bool);

    function transfer(address to, uint value) external returns (bool);

    function transferFrom(
        address from,
        address to,
        uint value
    ) external returns (bool);

    function DOMAIN_SEPARATOR() external view returns (bytes32);

    function PERMIT_TYPEHASH() external pure returns (bytes32);

    function nonces(address owner) external view returns (uint);

    function permit(
        address owner,
        address spender,
        uint value,
        uint deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) external;

    event Mint(address indexed sender, uint amount0, uint amount1);
    event Burn(
        address indexed sender,
        uint amount0,
        uint amount1,
        address indexed to
    );
    event Swap(
        address indexed sender,
        uint amount0In,
        uint amount1In,
        uint amount0Out,
        uint amount1Out,
        address indexed to
    );
    event Sync(uint112 reserve0, uint112 reserve1);

    function MINIMUM_LIQUIDITY() external pure returns (uint);

    function factory() external view returns (address);

    function token0() external view returns (address);

    function token1() external view returns (address);

    function getReserves()
        external
        view
        returns (uint112 reserve0, uint112 reserve1, uint32 blockTimestampLast);

    function price0CumulativeLast() external view returns (uint);

    function price1CumulativeLast() external view returns (uint);

    function kLast() external view returns (uint);

    function mint(address to) external returns (uint liquidity);

    function burn(address to) external returns (uint amount0, uint amount1);

    function swap(
        uint amount0Out,
        uint amount1Out,
        address to,
        bytes calldata data
    ) external;

    function skim(address to) external;

    function sync() external;

    function initialize(address, address) external;
}

interface IPunkERC20 {
    event Approval(address indexed owner, address indexed spender, uint value);
    event Transfer(address indexed from, address indexed to, uint value);

    function name() external pure returns (string memory);

    function symbol() external pure returns (string memory);

    function decimals() external pure returns (uint8);

    function totalSupply() external view returns (uint);

    function balanceOf(address owner) external view returns (uint);

    function allowance(
        address owner,
        address spender
    ) external view returns (uint);

    function approve(address spender, uint value) external returns (bool);

    function transfer(address to, uint value) external returns (bool);

    function transferFrom(
        address from,
        address to,
        uint value
    ) external returns (bool);

    function DOMAIN_SEPARATOR() external view returns (bytes32);

    function PERMIT_TYPEHASH() external pure returns (bytes32);

    function nonces(address owner) external view returns (uint);

    function permit(
        address owner,
        address spender,
        uint value,
        uint deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) external;
}

// a library for performing overflow-safe math, courtesy of DappHub (https://github.com/dapphub/ds-math)
library SafeMath {
    function add(uint x, uint y) internal pure returns (uint z) {
        require((z = x + y) >= x, "ds-math-add-overflow");
    }

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

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

contract PunkERC20 is IPunkERC20 {
    using SafeMath for uint;

    string public constant name = "Punk LPs";
    string public constant symbol = "Punk-LP";
    uint8 public constant decimals = 18;
    uint public totalSupply;
    mapping(address => uint) public balanceOf;
    mapping(address => mapping(address => uint)) public allowance;

    bytes32 public DOMAIN_SEPARATOR;
    // keccak256("Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)");
    bytes32 public constant PERMIT_TYPEHASH =
        0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9;
    mapping(address => uint) public nonces;

    event Approval(address indexed owner, address indexed spender, uint value);
    event Transfer(address indexed from, address indexed to, uint value);

    constructor() public {
        uint chainId;
        assembly {
            chainId := chainid
        }
        DOMAIN_SEPARATOR = keccak256(
            abi.encode(
                keccak256(
                    "EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)"
                ),
                keccak256(bytes(name)),
                keccak256(bytes("1")),
                chainId,
                address(this)
            )
        );
    }

    function _mint(address to, uint value) internal {
        totalSupply = totalSupply.add(value);
        balanceOf[to] = balanceOf[to].add(value);
        emit Transfer(address(0), to, value);
    }

    function _burn(address from, uint value) internal {
        balanceOf[from] = balanceOf[from].sub(value);
        totalSupply = totalSupply.sub(value);
        emit Transfer(from, address(0), value);
    }

    function _approve(address owner, address spender, uint value) private {
        allowance[owner][spender] = value;
        emit Approval(owner, spender, value);
    }

    function _transfer(address from, address to, uint value) private {
        balanceOf[from] = balanceOf[from].sub(value);
        balanceOf[to] = balanceOf[to].add(value);
        emit Transfer(from, to, value);
    }

    function approve(address spender, uint value) external returns (bool) {
        _approve(msg.sender, spender, value);
        return true;
    }

    function transfer(address to, uint value) external returns (bool) {
        _transfer(msg.sender, to, value);
        return true;
    }

    function transferFrom(
        address from,
        address to,
        uint value
    ) external returns (bool) {
        if (allowance[from][msg.sender] != uint(-1)) {
            allowance[from][msg.sender] = allowance[from][msg.sender].sub(
                value
            );
        }
        _transfer(from, to, value);
        return true;
    }

    function permit(
        address owner,
        address spender,
        uint value,
        uint deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) external {
        require(deadline >= block.timestamp, "Punk: EXPIRED");
        bytes32 digest = keccak256(
            abi.encodePacked(
                "\x19\x01",
                DOMAIN_SEPARATOR,
                keccak256(
                    abi.encode(
                        PERMIT_TYPEHASH,
                        owner,
                        spender,
                        value,
                        nonces[owner]++,
                        deadline
                    )
                )
            )
        );
        address recoveredAddress = ecrecover(digest, v, r, s);
        require(
            recoveredAddress != address(0) && recoveredAddress == owner,
            "Punk: INVALID_SIGNATURE"
        );
        _approve(owner, spender, value);
    }
}

// a library for performing various math operations
library Math {
    function min(uint x, uint y) internal pure returns (uint z) {
        z = x < y ? x : y;
    }

    // babylonian method (https://en.wikipedia.org/wiki/methods_of_computing_square_roots#Babylonian_method)
    function sqrt(uint y) internal pure returns (uint z) {
        if (y > 3) {
            z = y;
            uint x = y / 2 + 1;
            while (x < z) {
                z = x;
                x = (y / x + x) / 2;
            }
        } else if (y != 0) {
            z = 1;
        }
    }
}

// a library for handling binary fixed point numbers (https://en.wikipedia.org/wiki/Q_(number_format))
// range: [0, 2**112 - 1]
// resolution: 1 / 2**112
library UQ112x112 {
    uint224 constant Q112 = 2 ** 112;

    // encode a uint112 as a UQ112x112
    function encode(uint112 y) internal pure returns (uint224 z) {
        z = uint224(y) * Q112; // never overflows
    }

    // divide a UQ112x112 by a uint112, returning a UQ112x112
    function uqdiv(uint224 x, uint112 y) internal pure returns (uint224 z) {
        z = x / uint224(y);
    }
}

interface IERC20 {
    event Approval(address indexed owner, address indexed spender, uint value);
    event Transfer(address indexed from, address indexed to, uint value);

    function name() external view returns (string memory);

    function symbol() external view returns (string memory);

    function decimals() external view returns (uint8);

    function totalSupply() external view returns (uint);

    function balanceOf(address owner) external view returns (uint);

    function allowance(
        address owner,
        address spender
    ) external view returns (uint);

    function approve(address spender, uint value) external returns (bool);

    function transfer(address to, uint value) external returns (bool);

    function transferFrom(
        address from,
        address to,
        uint value
    ) external returns (bool);
}

interface IPunkCallee {
    function punkCall(
        address sender,
        uint amount0,
        uint amount1,
        bytes calldata data
    ) external;
}

contract PunkPair is IPunkPair, PunkERC20 {
    using SafeMath for uint;
    using UQ112x112 for uint224;

    uint public constant MINIMUM_LIQUIDITY = 10 ** 3;
    bytes4 private constant SELECTOR =
        bytes4(keccak256(bytes("transfer(address,uint256)")));

    address public factory;
    address public token0;
    address public token1;

    uint112 private reserve0; // uses single storage slot, accessible via getReserves
    uint112 private reserve1; // uses single storage slot, accessible via getReserves
    uint32 private blockTimestampLast; // uses single storage slot, accessible via getReserves

    uint public price0CumulativeLast;
    uint public price1CumulativeLast;
    uint public kLast; // reserve0 * reserve1, as of immediately after the most recent liquidity event

    uint private unlocked = 1;
    modifier lock() {
        require(unlocked == 1, "Punk: LOCKED");
        unlocked = 0;
        _;
        unlocked = 1;
    }

    function getReserves()
        public
        view
        returns (
            uint112 _reserve0,
            uint112 _reserve1,
            uint32 _blockTimestampLast
        )
    {
        _reserve0 = reserve0;
        _reserve1 = reserve1;
        _blockTimestampLast = blockTimestampLast;
    }

    function _safeTransfer(address token, address to, uint value) private {
        (bool success, bytes memory data) = token.call(
            abi.encodeWithSelector(SELECTOR, to, value)
        );
        require(
            success && (data.length == 0 || abi.decode(data, (bool))),
            "Punk: TRANSFER_FAILED"
        );
    }

    event Mint(address indexed sender, uint amount0, uint amount1);
    event Burn(
        address indexed sender,
        uint amount0,
        uint amount1,
        address indexed to
    );
    event Swap(
        address indexed sender,
        uint amount0In,
        uint amount1In,
        uint amount0Out,
        uint amount1Out,
        address indexed to
    );
    event Sync(uint112 reserve0, uint112 reserve1);

    constructor() public {
        factory = msg.sender;
    }

    // called once by the factory at time of deployment
    function initialize(address _token0, address _token1) external {
        require(msg.sender == factory, "Punk: FORBIDDEN"); // sufficient check
        token0 = _token0;
        token1 = _token1;
    }

    // update reserves and, on the first call per block, price accumulators
    function _update(
        uint balance0,
        uint balance1,
        uint112 _reserve0,
        uint112 _reserve1
    ) private {
        require(
            balance0 <= uint112(-1) && balance1 <= uint112(-1),
            "Punk: OVERFLOW"
        );
        uint32 blockTimestamp = uint32(block.timestamp % 2 ** 32);
        uint32 timeElapsed = blockTimestamp - blockTimestampLast; // overflow is desired
        if (timeElapsed > 0 && _reserve0 != 0 && _reserve1 != 0) {
            // * never overflows, and + overflow is desired
            price0CumulativeLast +=
                uint(UQ112x112.encode(_reserve1).uqdiv(_reserve0)) *
                timeElapsed;
            price1CumulativeLast +=
                uint(UQ112x112.encode(_reserve0).uqdiv(_reserve1)) *
                timeElapsed;
        }
        reserve0 = uint112(balance0);
        reserve1 = uint112(balance1);
        blockTimestampLast = blockTimestamp;
        emit Sync(reserve0, reserve1);
    }

    // if fee is on, mint liquidity equivalent to 8/25 of the growth in sqrt(k)
    function _mintFee(
        uint112 _reserve0,
        uint112 _reserve1
    ) private returns (bool feeOn) {
        address feeTo = IPunkFactory(factory).feeTo();
        feeOn = feeTo != address(0);
        uint _kLast = kLast; // gas savings
        if (feeOn) {
            if (_kLast != 0) {
                uint rootK = Math.sqrt(uint(_reserve0).mul(_reserve1));
                uint rootKLast = Math.sqrt(_kLast);
                if (rootK > rootKLast) {
                    uint numerator = totalSupply.mul(rootK.sub(rootKLast)).mul(
                        8
                    );
                    uint denominator = rootK.mul(17).add(rootKLast.mul(8));
                    uint liquidity = numerator / denominator;
                    if (liquidity > 0) _mint(feeTo, liquidity);
                }
            }
        } else if (_kLast != 0) {
            kLast = 0;
        }
    }

    // this low-level function should be called from a contract which performs important safety checks
    function mint(address to) external lock returns (uint liquidity) {
        (uint112 _reserve0, uint112 _reserve1, ) = getReserves(); // gas savings
        uint balance0 = IERC20(token0).balanceOf(address(this));
        uint balance1 = IERC20(token1).balanceOf(address(this));
        uint amount0 = balance0.sub(_reserve0);
        uint amount1 = balance1.sub(_reserve1);

        bool feeOn = _mintFee(_reserve0, _reserve1);
        uint _totalSupply = totalSupply; // gas savings, must be defined here since totalSupply can update in _mintFee
        if (_totalSupply == 0) {
            liquidity = Math.sqrt(amount0.mul(amount1)).sub(MINIMUM_LIQUIDITY);
            _mint(address(0), MINIMUM_LIQUIDITY); // permanently lock the first MINIMUM_LIQUIDITY tokens
        } else {
            liquidity = Math.min(
                amount0.mul(_totalSupply) / _reserve0,
                amount1.mul(_totalSupply) / _reserve1
            );
        }
        require(liquidity > 0, "Punk: INSUFFICIENT_LIQUIDITY_MINTED");
        _mint(to, liquidity);

        _update(balance0, balance1, _reserve0, _reserve1);
        if (feeOn) kLast = uint(reserve0).mul(reserve1); // reserve0 and reserve1 are up-to-date
        emit Mint(msg.sender, amount0, amount1);
    }

    // this low-level function should be called from a contract which performs important safety checks
    function burn(
        address to
    ) external lock returns (uint amount0, uint amount1) {
        (uint112 _reserve0, uint112 _reserve1, ) = getReserves(); // gas savings
        address _token0 = token0; // gas savings
        address _token1 = token1; // gas savings
        uint balance0 = IERC20(_token0).balanceOf(address(this));
        uint balance1 = IERC20(_token1).balanceOf(address(this));
        uint liquidity = balanceOf[address(this)];

        bool feeOn = _mintFee(_reserve0, _reserve1);
        uint _totalSupply = totalSupply; // gas savings, must be defined here since totalSupply can update in _mintFee
        amount0 = liquidity.mul(balance0) / _totalSupply; // using balances ensures pro-rata distribution
        amount1 = liquidity.mul(balance1) / _totalSupply; // using balances ensures pro-rata distribution
        require(
            amount0 > 0 && amount1 > 0,
            "Punk: INSUFFICIENT_LIQUIDITY_BURNED"
        );
        _burn(address(this), liquidity);
        _safeTransfer(_token0, to, amount0);
        _safeTransfer(_token1, to, amount1);
        balance0 = IERC20(_token0).balanceOf(address(this));
        balance1 = IERC20(_token1).balanceOf(address(this));

        _update(balance0, balance1, _reserve0, _reserve1);
        if (feeOn) kLast = uint(reserve0).mul(reserve1); // reserve0 and reserve1 are up-to-date
        emit Burn(msg.sender, amount0, amount1, to);
    }

    // this low-level function should be called from a contract which performs important safety checks
    function swap(
        uint amount0Out,
        uint amount1Out,
        address to,
        bytes calldata data
    ) external lock {
        require(
            amount0Out > 0 || amount1Out > 0,
            "Punk: INSUFFICIENT_OUTPUT_AMOUNT"
        );
        (uint112 _reserve0, uint112 _reserve1, ) = getReserves(); // gas savings
        require(
            amount0Out < _reserve0 && amount1Out < _reserve1,
            "Punk: INSUFFICIENT_LIQUIDITY"
        );

        uint balance0;
        uint balance1;
        {
            // scope for _token{0,1}, avoids stack too deep errors
            address _token0 = token0;
            address _token1 = token1;
            require(to != _token0 && to != _token1, "Punk: INVALID_TO");
            if (amount0Out > 0) _safeTransfer(_token0, to, amount0Out); // optimistically transfer tokens
            if (amount1Out > 0) _safeTransfer(_token1, to, amount1Out); // optimistically transfer tokens
            if (data.length > 0)
                IPunkCallee(to).punkCall(
                    msg.sender,
                    amount0Out,
                    amount1Out,
                    data
                );
            balance0 = IERC20(_token0).balanceOf(address(this));
            balance1 = IERC20(_token1).balanceOf(address(this));
        }
        uint amount0In = balance0 > _reserve0 - amount0Out
            ? balance0 - (_reserve0 - amount0Out)
            : 0;
        uint amount1In = balance1 > _reserve1 - amount1Out
            ? balance1 - (_reserve1 - amount1Out)
            : 0;
        require(
            amount0In > 0 || amount1In > 0,
            "Punk: INSUFFICIENT_INPUT_AMOUNT"
        );
        {
            // scope for reserve{0,1}Adjusted, avoids stack too deep errors
            uint balance0Adjusted = (
                balance0.mul(10000).sub(amount0In.mul(25))
            );
            uint balance1Adjusted = (
                balance1.mul(10000).sub(amount1In.mul(25))
            );
            require(
                balance0Adjusted.mul(balance1Adjusted) >=
                    uint(_reserve0).mul(_reserve1).mul(10000 ** 2),
                "Punk: K"
            );
        }

        _update(balance0, balance1, _reserve0, _reserve1);
        emit Swap(msg.sender, amount0In, amount1In, amount0Out, amount1Out, to);
    }

    // force balances to match reserves
    function skim(address to) external lock {
        address _token0 = token0; // gas savings
        address _token1 = token1; // gas savings
        _safeTransfer(
            _token0,
            to,
            IERC20(_token0).balanceOf(address(this)).sub(reserve0)
        );
        _safeTransfer(
            _token1,
            to,
            IERC20(_token1).balanceOf(address(this)).sub(reserve1)
        );
    }

    // force reserves to match balances
    function sync() external lock {
        _update(
            IERC20(token0).balanceOf(address(this)),
            IERC20(token1).balanceOf(address(this)),
            reserve0,
            reserve1
        );
    }
}

contract PunkFactory is IPunkFactory {
    bytes32 public constant INIT_CODE_PAIR_HASH =
        keccak256(abi.encodePacked(type(PunkPair).creationCode));

    address public feeTo;
    address public feeToSetter;

    mapping(address => mapping(address => address)) public getPair;
    address[] public allPairs;

    event PairCreated(
        address indexed token0,
        address indexed token1,
        address pair,
        uint
    );

    constructor(address _feeToSetter) public {
        feeToSetter = _feeToSetter;
    }

    function allPairsLength() external view returns (uint) {
        return allPairs.length;
    }

    function createPair(
        address tokenA,
        address tokenB
    ) external returns (address pair) {
        require(tokenA != tokenB, "Punk: IDENTICAL_ADDRESSES");
        (address token0, address token1) = tokenA < tokenB
            ? (tokenA, tokenB)
            : (tokenB, tokenA);
        require(token0 != address(0), "Punk: ZERO_ADDRESS");
        require(getPair[token0][token1] == address(0), "Punk: PAIR_EXISTS"); // single check is sufficient
        bytes memory bytecode = type(PunkPair).creationCode;
        bytes32 salt = keccak256(abi.encodePacked(token0, token1));
        assembly {
            pair := create2(0, add(bytecode, 32), mload(bytecode), salt)
        }
        IPunkPair(pair).initialize(token0, token1);
        getPair[token0][token1] = pair;
        getPair[token1][token0] = pair; // populate mapping in the reverse direction
        allPairs.push(pair);
        emit PairCreated(token0, token1, pair, allPairs.length);
    }

    function setFeeTo(address _feeTo) external {
        require(msg.sender == feeToSetter, "Punk: FORBIDDEN");
        feeTo = _feeTo;
    }

    function setFeeToSetter(address _feeToSetter) external {
        require(msg.sender == feeToSetter, "Punk: FORBIDDEN");
        feeToSetter = _feeToSetter;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"payable":false,"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":[{"indexed":true,"internalType":"address","name":"sender","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount0","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amount1","type":"uint256"},{"indexed":true,"internalType":"address","name":"to","type":"address"}],"name":"Burn","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"sender","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount0","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amount1","type":"uint256"}],"name":"Mint","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"sender","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount0In","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amount1In","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amount0Out","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amount1Out","type":"uint256"},{"indexed":true,"internalType":"address","name":"to","type":"address"}],"name":"Swap","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint112","name":"reserve0","type":"uint112"},{"indexed":false,"internalType":"uint112","name":"reserve1","type":"uint112"}],"name":"Sync","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"},{"constant":true,"inputs":[],"name":"DOMAIN_SEPARATOR","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"MINIMUM_LIQUIDITY","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"PERMIT_TYPEHASH","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"to","type":"address"}],"name":"burn","outputs":[{"internalType":"uint256","name":"amount0","type":"uint256"},{"internalType":"uint256","name":"amount1","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"factory","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"getReserves","outputs":[{"internalType":"uint112","name":"_reserve0","type":"uint112"},{"internalType":"uint112","name":"_reserve1","type":"uint112"},{"internalType":"uint32","name":"_blockTimestampLast","type":"uint32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_token0","type":"address"},{"internalType":"address","name":"_token1","type":"address"}],"name":"initialize","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"kLast","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"to","type":"address"}],"name":"mint","outputs":[{"internalType":"uint256","name":"liquidity","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"nonces","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"uint256","name":"deadline","type":"uint256"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"permit","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"price0CumulativeLast","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"price1CumulativeLast","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"to","type":"address"}],"name":"skim","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"amount0Out","type":"uint256"},{"internalType":"uint256","name":"amount1Out","type":"uint256"},{"internalType":"address","name":"to","type":"address"},{"internalType":"bytes","name":"data","type":"bytes"}],"name":"swap","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"sync","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"token0","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"token1","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"}]

60806040526001600c5534801561001557600080fd5b5060004690506040518080613be960529139605201905060405180910390206040518060400160405280600881526020017f50756e6b204c5073000000000000000000000000000000000000000000000000815250805190602001206040518060400160405280600181526020017f3100000000000000000000000000000000000000000000000000000000000000815250805190602001208330604051602001808681526020018581526020018481526020018381526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200195505050505050604051602081830303815290604052805190602001206003819055505033600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550613a74806101756000396000f3fe608060405234801561001057600080fd5b50600436106101a95760003560e01c80636a627842116100f9578063ba9a7a5611610097578063d21220a711610071578063d21220a7146108c4578063d505accf1461090e578063dd62ed3e146109a7578063fff6cae914610a1f576101a9565b8063ba9a7a5614610818578063bc25cf7714610836578063c45a01551461087a576101a9565b80637ecebe00116100d35780637ecebe001461067857806389afcb44146106d057806395d89b411461072f578063a9059cbb146107b2576101a9565b80636a627842146105aa57806370a08231146106025780637464fc3d1461065a576101a9565b806323b872dd116101665780633644e515116101405780633644e515146104ec578063485cc9551461050a5780635909c0d51461056e5780635a3d54931461058c576101a9565b806323b872dd1461042457806330adf81f146104aa578063313ce567146104c8576101a9565b8063022c0d9f146101ae57806306fdde031461025b5780630902f1ac146102de578063095ea7b3146103565780630dfe1681146103bc57806318160ddd14610406575b600080fd5b610259600480360360808110156101c457600080fd5b810190808035906020019092919080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019064010000000081111561021557600080fd5b82018360208201111561022757600080fd5b8035906020019184600183028401116401000000008311171561024957600080fd5b9091929391929390505050610a29565b005b61026361126e565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156102a3578082015181840152602081019050610288565b50505050905090810190601f1680156102d05780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102e66112a7565b60405180846dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff168152602001836dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff1681526020018263ffffffff1663ffffffff168152602001935050505060405180910390f35b6103a26004803603604081101561036c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611304565b604051808215151515815260200191505060405180910390f35b6103c461131b565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61040e611341565b6040518082815260200191505060405180910390f35b6104906004803603606081101561043a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611347565b604051808215151515815260200191505060405180910390f35b6104b2611512565b6040518082815260200191505060405180910390f35b6104d0611539565b604051808260ff1660ff16815260200191505060405180910390f35b6104f461153e565b6040518082815260200191505060405180910390f35b61056c6004803603604081101561052057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611544565b005b61057661168d565b6040518082815260200191505060405180910390f35b610594611693565b6040518082815260200191505060405180910390f35b6105ec600480360360208110156105c057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611699565b6040518082815260200191505060405180910390f35b6106446004803603602081101561061857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611b4a565b6040518082815260200191505060405180910390f35b610662611b62565b6040518082815260200191505060405180910390f35b6106ba6004803603602081101561068e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611b68565b6040518082815260200191505060405180910390f35b610712600480360360208110156106e657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611b80565b604051808381526020018281526020019250505060405180910390f35b61073761216d565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561077757808201518184015260208101905061075c565b50505050905090810190601f1680156107a45780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6107fe600480360360408110156107c857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506121a6565b604051808215151515815260200191505060405180910390f35b6108206121bd565b6040518082815260200191505060405180910390f35b6108786004803603602081101561084c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506121c3565b005b61088261249e565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6108cc6124c4565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6109a5600480360360e081101561092457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190803560ff16906020019092919080359060200190929190803590602001909291905050506124ea565b005b610a09600480360360408110156109bd57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061282e565b6040518082815260200191505060405180910390f35b610a27612853565b005b6001600c5414610aa1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600c8152602001807f50756e6b3a204c4f434b4544000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000600c819055506000851180610ab85750600084115b610b2a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f50756e6b3a20494e53554646494349454e545f4f55545055545f414d4f554e5481525060200191505060405180910390fd5b600080610b356112a7565b5091509150816dffffffffffffffffffffffffffff1687108015610b685750806dffffffffffffffffffffffffffff1686105b610bda576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f50756e6b3a20494e53554646494349454e545f4c49515549444954590000000081525060200191505060405180910390fd5b6000806000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690508173ffffffffffffffffffffffffffffffffffffffff168973ffffffffffffffffffffffffffffffffffffffff1614158015610c9357508073ffffffffffffffffffffffffffffffffffffffff168973ffffffffffffffffffffffffffffffffffffffff1614155b610d05576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f50756e6b3a20494e56414c49445f544f0000000000000000000000000000000081525060200191505060405180910390fd5b60008b1115610d1a57610d19828a8d612ad3565b5b60008a1115610d2f57610d2e818a8c612ad3565b5b6000888890501115610e17578873ffffffffffffffffffffffffffffffffffffffff1663c8876e43338d8d8c8c6040518663ffffffff1660e01b8152600401808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001858152602001848152602001806020018281038252848482818152602001925080828437600081840152601f19601f8201169050808301925050509650505050505050600060405180830381600087803b158015610dfe57600080fd5b505af1158015610e12573d6000803e3d6000fd5b505050505b8173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015610e9457600080fd5b505afa158015610ea8573d6000803e3d6000fd5b505050506040513d6020811015610ebe57600080fd5b810190808051906020019092919050505093508073ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015610f4e57600080fd5b505afa158015610f62573d6000803e3d6000fd5b505050506040513d6020811015610f7857600080fd5b810190808051906020019092919050505092505050600089856dffffffffffffffffffffffffffff16038311610faf576000610fc5565b89856dffffffffffffffffffffffffffff160383035b9050600089856dffffffffffffffffffffffffffff16038311610fe9576000610fff565b89856dffffffffffffffffffffffffffff160383035b905060008211806110105750600081115b611082576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f50756e6b3a20494e53554646494349454e545f494e5055545f414d4f554e540081525060200191505060405180910390fd5b60006110be61109b601985612d2090919063ffffffff16565b6110b061271088612d2090919063ffffffff16565b612db590919063ffffffff16565b905060006110fc6110d9601985612d2090919063ffffffff16565b6110ee61271088612d2090919063ffffffff16565b612db590919063ffffffff16565b90506111476305f5e100611139896dffffffffffffffffffffffffffff168b6dffffffffffffffffffffffffffff16612d2090919063ffffffff16565b612d2090919063ffffffff16565b61115a8284612d2090919063ffffffff16565b10156111ce576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260078152602001807f50756e6b3a204b0000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b50506111dc84848888612e38565b8873ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fd78ad95fa46c994b6551d0da85fc275fe613ce37657fb8d5e3d130840159d82284848f8f6040518085815260200184815260200183815260200182815260200194505050505060405180910390a35050505050506001600c819055505050505050565b6040518060400160405280600881526020017f50756e6b204c507300000000000000000000000000000000000000000000000081525081565b6000806000600860009054906101000a90046dffffffffffffffffffffffffffff1692506008600e9054906101000a90046dffffffffffffffffffffffffffff1691506008601c9054906101000a900463ffffffff169050909192565b60006113113384846131b6565b6001905092915050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60005481565b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054146114fc5761147b82600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612db590919063ffffffff16565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b6115078484846132a1565b600190509392505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c960001b81565b601281565b60035481565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611607576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f50756e6b3a20464f5242494444454e000000000000000000000000000000000081525060200191505060405180910390fd5b81600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505050565b60095481565b600a5481565b60006001600c5414611713576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600c8152602001807f50756e6b3a204c4f434b4544000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000600c819055506000806117266112a7565b50915091506000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156117cc57600080fd5b505afa1580156117e0573d6000803e3d6000fd5b505050506040513d60208110156117f657600080fd5b810190808051906020019092919050505090506000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156118aa57600080fd5b505afa1580156118be573d6000803e3d6000fd5b505050506040513d60208110156118d457600080fd5b81019080805190602001909291905050509050600061190c856dffffffffffffffffffffffffffff1684612db590919063ffffffff16565b90506000611933856dffffffffffffffffffffffffffff1684612db590919063ffffffff16565b905060006119418787613435565b90506000805490506000811415611995576119816103e861197361196e8688612d2090919063ffffffff16565b61363c565b612db590919063ffffffff16565b985061199060006103e861369e565b6119f8565b6119f5886dffffffffffffffffffffffffffff166119bc8387612d2090919063ffffffff16565b816119c357fe5b04886dffffffffffffffffffffffffffff166119e88487612d2090919063ffffffff16565b816119ef57fe5b046137b8565b98505b60008911611a51576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001806139fa6023913960400191505060405180910390fd5b611a5b8a8a61369e565b611a6786868a8a612e38565b8115611adf57611ad86008600e9054906101000a90046dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff16600860009054906101000a90046dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff16612d2090919063ffffffff16565b600b819055505b3373ffffffffffffffffffffffffffffffffffffffff167f4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f8585604051808381526020018281526020019250505060405180910390a250505050505050506001600c81905550919050565b60016020528060005260406000206000915090505481565b600b5481565b60046020528060005260406000206000915090505481565b6000806001600c5414611bfb576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600c8152602001807f50756e6b3a204c4f434b4544000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000600c81905550600080611c0e6112a7565b50915091506000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905060008273ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015611ce057600080fd5b505afa158015611cf4573d6000803e3d6000fd5b505050506040513d6020811015611d0a57600080fd5b8101908080519060200190929190505050905060008273ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015611d9c57600080fd5b505afa158015611db0573d6000803e3d6000fd5b505050506040513d6020811015611dc657600080fd5b810190808051906020019092919050505090506000600160003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490506000611e298888613435565b905060008054905080611e458685612d2090919063ffffffff16565b81611e4c57fe5b049a5080611e638585612d2090919063ffffffff16565b81611e6a57fe5b04995060008b118015611e7d575060008a115b611ed2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526023815260200180613a1d6023913960400191505060405180910390fd5b611edc30846137d1565b611ee7878d8d612ad3565b611ef2868d8c612ad3565b8673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015611f6f57600080fd5b505afa158015611f83573d6000803e3d6000fd5b505050506040513d6020811015611f9957600080fd5b810190808051906020019092919050505094508573ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561202957600080fd5b505afa15801561203d573d6000803e3d6000fd5b505050506040513d602081101561205357600080fd5b8101908080519060200190929190505050935061207285858b8b612e38565b81156120ea576120e36008600e9054906101000a90046dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff16600860009054906101000a90046dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff16612d2090919063ffffffff16565b600b819055505b8b73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fdccd412f0b1252819cb1fd330b93224ca42612892bb3f4f789976e6d819364968d8d604051808381526020018281526020019250505060405180910390a35050505050505050506001600c81905550915091565b6040518060400160405280600781526020017f50756e6b2d4c500000000000000000000000000000000000000000000000000081525081565b60006121b33384846132a1565b6001905092915050565b6103e881565b6001600c541461223b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600c8152602001807f50756e6b3a204c4f434b4544000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000600c819055506000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050612391828461238c600860009054906101000a90046dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561234357600080fd5b505afa158015612357573d6000803e3d6000fd5b505050506040513d602081101561236d57600080fd5b8101908080519060200190929190505050612db590919063ffffffff16565b612ad3565b612491818461248c6008600e9054906101000a90046dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561244357600080fd5b505afa158015612457573d6000803e3d6000fd5b505050506040513d602081101561246d57600080fd5b8101908080519060200190929190505050612db590919063ffffffff16565b612ad3565b50506001600c8190555050565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b42841015612560576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600d8152602001807f50756e6b3a20455850495245440000000000000000000000000000000000000081525060200191505060405180910390fd5b60006003547f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c960001b898989600460008e73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000815480929190600101919050558a604051602001808781526020018673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200184815260200183815260200182815260200196505050505050506040516020818303038152906040528051906020012060405160200180807f190100000000000000000000000000000000000000000000000000000000000081525060020183815260200182815260200192505050604051602081830303815290604052805190602001209050600060018286868660405160008152602001604052604051808581526020018460ff1660ff1681526020018381526020018281526020019450505050506020604051602081039080840390855afa158015612732573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141580156127a657508873ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b612818576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f50756e6b3a20494e56414c49445f5349474e415455524500000000000000000081525060200191505060405180910390fd5b6128238989896131b6565b505050505050505050565b6002602052816000526040600020602052806000526040600020600091509150505481565b6001600c54146128cb576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600c8152602001807f50756e6b3a204c4f434b4544000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000600c81905550612ac9600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561297557600080fd5b505afa158015612989573d6000803e3d6000fd5b505050506040513d602081101561299f57600080fd5b8101908080519060200190929190505050600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015612a4f57600080fd5b505afa158015612a63573d6000803e3d6000fd5b505050506040513d6020811015612a7957600080fd5b8101908080519060200190929190505050600860009054906101000a90046dffffffffffffffffffffffffffff166008600e9054906101000a90046dffffffffffffffffffffffffffff16612e38565b6001600c81905550565b600060608473ffffffffffffffffffffffffffffffffffffffff166040518060400160405280601981526020017f7472616e7366657228616464726573732c75696e743235362900000000000000815250805190602001208585604051602401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050604051602081830303815290604052907bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff83818316178352505050506040518082805190602001908083835b60208310612c005780518252602082019150602081019050602083039250612bdd565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d8060008114612c62576040519150601f19603f3d011682016040523d82523d6000602084013e612c67565b606091505b5091509150818015612ca75750600081511480612ca65750808060200190516020811015612c9457600080fd5b81019080805190602001909291905050505b5b612d19576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f50756e6b3a205452414e534645525f4641494c4544000000000000000000000081525060200191505060405180910390fd5b5050505050565b600080821480612d3d5750828283850292508281612d3a57fe5b04145b612daf576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f64732d6d6174682d6d756c2d6f766572666c6f7700000000000000000000000081525060200191505060405180910390fd5b92915050565b6000828284039150811115612e32576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f64732d6d6174682d7375622d756e646572666c6f77000000000000000000000081525060200191505060405180910390fd5b92915050565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6dffffffffffffffffffffffffffff168411158015612ea857507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6dffffffffffffffffffffffffffff168311155b612f1a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f50756e6b3a204f564552464c4f5700000000000000000000000000000000000081525060200191505060405180910390fd5b60006401000000004281612f2a57fe5b06905060006008601c9054906101000a900463ffffffff168203905060008163ffffffff16118015612f6d57506000846dffffffffffffffffffffffffffff1614155b8015612f8a57506000836dffffffffffffffffffffffffffff1614155b1561306c578063ffffffff16612fcf85612fa3866138eb565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1661391690919063ffffffff16565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16026009600082825401925050819055508063ffffffff1661303d84613011876138eb565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1661391690919063ffffffff16565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1602600a600082825401925050819055505b85600860006101000a8154816dffffffffffffffffffffffffffff02191690836dffffffffffffffffffffffffffff160217905550846008600e6101000a8154816dffffffffffffffffffffffffffff02191690836dffffffffffffffffffffffffffff160217905550816008601c6101000a81548163ffffffff021916908363ffffffff1602179055507f1c411e9a96e071241c2f21f7726b17ae89e3cab4c78be50e062b03a9fffbbad1600860009054906101000a90046dffffffffffffffffffffffffffff166008600e9054906101000a90046dffffffffffffffffffffffffffff1660405180836dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff168152602001826dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff1681526020019250505060405180910390a1505050505050565b80600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b6132f381600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612db590919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061338881600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461397690919063ffffffff16565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b600080600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663017e7e586040518163ffffffff1660e01b815260040160206040518083038186803b1580156134a057600080fd5b505afa1580156134b4573d6000803e3d6000fd5b505050506040513d60208110156134ca57600080fd5b81019080805190602001909291905050509050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141591506000600b5490508215613622576000811461361d57600061356261355d866dffffffffffffffffffffffffffff16886dffffffffffffffffffffffffffff16612d2090919063ffffffff16565b61363c565b9050600061356f8361363c565b90508082111561361a5760006135b560086135a76135968587612db590919063ffffffff16565b600054612d2090919063ffffffff16565b612d2090919063ffffffff16565b905060006135f26135d0600885612d2090919063ffffffff16565b6135e4601187612d2090919063ffffffff16565b61397690919063ffffffff16565b905060008183816135ff57fe5b049050600081111561361657613615878261369e565b5b5050505b50505b613634565b60008114613633576000600b819055505b5b505092915050565b6000600382111561368b57819050600060016002848161365857fe5b040190505b818110156136855780915060028182858161367457fe5b04018161367d57fe5b04905061365d565b50613699565b6000821461369857600190505b5b919050565b6136b38160005461397690919063ffffffff16565b60008190555061370b81600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461397690919063ffffffff16565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60008183106137c757816137c9565b825b905092915050565b61382381600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612db590919063ffffffff16565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061387b81600054612db590919063ffffffff16565b600081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60006e010000000000000000000000000000826dffffffffffffffffffffffffffff16029050919050565b6000816dffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168161396d57fe5b04905092915050565b60008282840191508110156139f3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f64732d6d6174682d6164642d6f766572666c6f7700000000000000000000000081525060200191505060405180910390fd5b9291505056fe50756e6b3a20494e53554646494349454e545f4c49515549444954595f4d494e54454450756e6b3a20494e53554646494349454e545f4c49515549444954595f4255524e4544a265627a7a7231582048ab9b478060eff286881c31dedd43c90e76b2e2a65f078c6702538373e97c1e64736f6c63430005100032454950373132446f6d61696e28737472696e67206e616d652c737472696e672076657273696f6e2c75696e7432353620636861696e49642c6164647265737320766572696679696e67436f6e747261637429

0x608060405234801561001057600080fd5b50600436106101a95760003560e01c80636a627842116100f9578063ba9a7a5611610097578063d21220a711610071578063d21220a7146108c4578063d505accf1461090e578063dd62ed3e146109a7578063fff6cae914610a1f576101a9565b8063ba9a7a5614610818578063bc25cf7714610836578063c45a01551461087a576101a9565b80637ecebe00116100d35780637ecebe001461067857806389afcb44146106d057806395d89b411461072f578063a9059cbb146107b2576101a9565b80636a627842146105aa57806370a08231146106025780637464fc3d1461065a576101a9565b806323b872dd116101665780633644e515116101405780633644e515146104ec578063485cc9551461050a5780635909c0d51461056e5780635a3d54931461058c576101a9565b806323b872dd1461042457806330adf81f146104aa578063313ce567146104c8576101a9565b8063022c0d9f146101ae57806306fdde031461025b5780630902f1ac146102de578063095ea7b3146103565780630dfe1681146103bc57806318160ddd14610406575b600080fd5b610259600480360360808110156101c457600080fd5b810190808035906020019092919080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019064010000000081111561021557600080fd5b82018360208201111561022757600080fd5b8035906020019184600183028401116401000000008311171561024957600080fd5b9091929391929390505050610a29565b005b61026361126e565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156102a3578082015181840152602081019050610288565b50505050905090810190601f1680156102d05780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102e66112a7565b60405180846dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff168152602001836dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff1681526020018263ffffffff1663ffffffff168152602001935050505060405180910390f35b6103a26004803603604081101561036c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611304565b604051808215151515815260200191505060405180910390f35b6103c461131b565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61040e611341565b6040518082815260200191505060405180910390f35b6104906004803603606081101561043a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611347565b604051808215151515815260200191505060405180910390f35b6104b2611512565b6040518082815260200191505060405180910390f35b6104d0611539565b604051808260ff1660ff16815260200191505060405180910390f35b6104f461153e565b6040518082815260200191505060405180910390f35b61056c6004803603604081101561052057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611544565b005b61057661168d565b6040518082815260200191505060405180910390f35b610594611693565b6040518082815260200191505060405180910390f35b6105ec600480360360208110156105c057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611699565b6040518082815260200191505060405180910390f35b6106446004803603602081101561061857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611b4a565b6040518082815260200191505060405180910390f35b610662611b62565b6040518082815260200191505060405180910390f35b6106ba6004803603602081101561068e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611b68565b6040518082815260200191505060405180910390f35b610712600480360360208110156106e657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611b80565b604051808381526020018281526020019250505060405180910390f35b61073761216d565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561077757808201518184015260208101905061075c565b50505050905090810190601f1680156107a45780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6107fe600480360360408110156107c857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506121a6565b604051808215151515815260200191505060405180910390f35b6108206121bd565b6040518082815260200191505060405180910390f35b6108786004803603602081101561084c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506121c3565b005b61088261249e565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6108cc6124c4565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6109a5600480360360e081101561092457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190803560ff16906020019092919080359060200190929190803590602001909291905050506124ea565b005b610a09600480360360408110156109bd57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061282e565b6040518082815260200191505060405180910390f35b610a27612853565b005b6001600c5414610aa1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600c8152602001807f50756e6b3a204c4f434b4544000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000600c819055506000851180610ab85750600084115b610b2a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f50756e6b3a20494e53554646494349454e545f4f55545055545f414d4f554e5481525060200191505060405180910390fd5b600080610b356112a7565b5091509150816dffffffffffffffffffffffffffff1687108015610b685750806dffffffffffffffffffffffffffff1686105b610bda576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f50756e6b3a20494e53554646494349454e545f4c49515549444954590000000081525060200191505060405180910390fd5b6000806000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690508173ffffffffffffffffffffffffffffffffffffffff168973ffffffffffffffffffffffffffffffffffffffff1614158015610c9357508073ffffffffffffffffffffffffffffffffffffffff168973ffffffffffffffffffffffffffffffffffffffff1614155b610d05576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f50756e6b3a20494e56414c49445f544f0000000000000000000000000000000081525060200191505060405180910390fd5b60008b1115610d1a57610d19828a8d612ad3565b5b60008a1115610d2f57610d2e818a8c612ad3565b5b6000888890501115610e17578873ffffffffffffffffffffffffffffffffffffffff1663c8876e43338d8d8c8c6040518663ffffffff1660e01b8152600401808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001858152602001848152602001806020018281038252848482818152602001925080828437600081840152601f19601f8201169050808301925050509650505050505050600060405180830381600087803b158015610dfe57600080fd5b505af1158015610e12573d6000803e3d6000fd5b505050505b8173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015610e9457600080fd5b505afa158015610ea8573d6000803e3d6000fd5b505050506040513d6020811015610ebe57600080fd5b810190808051906020019092919050505093508073ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015610f4e57600080fd5b505afa158015610f62573d6000803e3d6000fd5b505050506040513d6020811015610f7857600080fd5b810190808051906020019092919050505092505050600089856dffffffffffffffffffffffffffff16038311610faf576000610fc5565b89856dffffffffffffffffffffffffffff160383035b9050600089856dffffffffffffffffffffffffffff16038311610fe9576000610fff565b89856dffffffffffffffffffffffffffff160383035b905060008211806110105750600081115b611082576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f50756e6b3a20494e53554646494349454e545f494e5055545f414d4f554e540081525060200191505060405180910390fd5b60006110be61109b601985612d2090919063ffffffff16565b6110b061271088612d2090919063ffffffff16565b612db590919063ffffffff16565b905060006110fc6110d9601985612d2090919063ffffffff16565b6110ee61271088612d2090919063ffffffff16565b612db590919063ffffffff16565b90506111476305f5e100611139896dffffffffffffffffffffffffffff168b6dffffffffffffffffffffffffffff16612d2090919063ffffffff16565b612d2090919063ffffffff16565b61115a8284612d2090919063ffffffff16565b10156111ce576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260078152602001807f50756e6b3a204b0000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b50506111dc84848888612e38565b8873ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fd78ad95fa46c994b6551d0da85fc275fe613ce37657fb8d5e3d130840159d82284848f8f6040518085815260200184815260200183815260200182815260200194505050505060405180910390a35050505050506001600c819055505050505050565b6040518060400160405280600881526020017f50756e6b204c507300000000000000000000000000000000000000000000000081525081565b6000806000600860009054906101000a90046dffffffffffffffffffffffffffff1692506008600e9054906101000a90046dffffffffffffffffffffffffffff1691506008601c9054906101000a900463ffffffff169050909192565b60006113113384846131b6565b6001905092915050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60005481565b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054146114fc5761147b82600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612db590919063ffffffff16565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b6115078484846132a1565b600190509392505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c960001b81565b601281565b60035481565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611607576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f50756e6b3a20464f5242494444454e000000000000000000000000000000000081525060200191505060405180910390fd5b81600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505050565b60095481565b600a5481565b60006001600c5414611713576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600c8152602001807f50756e6b3a204c4f434b4544000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000600c819055506000806117266112a7565b50915091506000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156117cc57600080fd5b505afa1580156117e0573d6000803e3d6000fd5b505050506040513d60208110156117f657600080fd5b810190808051906020019092919050505090506000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156118aa57600080fd5b505afa1580156118be573d6000803e3d6000fd5b505050506040513d60208110156118d457600080fd5b81019080805190602001909291905050509050600061190c856dffffffffffffffffffffffffffff1684612db590919063ffffffff16565b90506000611933856dffffffffffffffffffffffffffff1684612db590919063ffffffff16565b905060006119418787613435565b90506000805490506000811415611995576119816103e861197361196e8688612d2090919063ffffffff16565b61363c565b612db590919063ffffffff16565b985061199060006103e861369e565b6119f8565b6119f5886dffffffffffffffffffffffffffff166119bc8387612d2090919063ffffffff16565b816119c357fe5b04886dffffffffffffffffffffffffffff166119e88487612d2090919063ffffffff16565b816119ef57fe5b046137b8565b98505b60008911611a51576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001806139fa6023913960400191505060405180910390fd5b611a5b8a8a61369e565b611a6786868a8a612e38565b8115611adf57611ad86008600e9054906101000a90046dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff16600860009054906101000a90046dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff16612d2090919063ffffffff16565b600b819055505b3373ffffffffffffffffffffffffffffffffffffffff167f4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f8585604051808381526020018281526020019250505060405180910390a250505050505050506001600c81905550919050565b60016020528060005260406000206000915090505481565b600b5481565b60046020528060005260406000206000915090505481565b6000806001600c5414611bfb576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600c8152602001807f50756e6b3a204c4f434b4544000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000600c81905550600080611c0e6112a7565b50915091506000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905060008273ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015611ce057600080fd5b505afa158015611cf4573d6000803e3d6000fd5b505050506040513d6020811015611d0a57600080fd5b8101908080519060200190929190505050905060008273ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015611d9c57600080fd5b505afa158015611db0573d6000803e3d6000fd5b505050506040513d6020811015611dc657600080fd5b810190808051906020019092919050505090506000600160003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490506000611e298888613435565b905060008054905080611e458685612d2090919063ffffffff16565b81611e4c57fe5b049a5080611e638585612d2090919063ffffffff16565b81611e6a57fe5b04995060008b118015611e7d575060008a115b611ed2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526023815260200180613a1d6023913960400191505060405180910390fd5b611edc30846137d1565b611ee7878d8d612ad3565b611ef2868d8c612ad3565b8673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015611f6f57600080fd5b505afa158015611f83573d6000803e3d6000fd5b505050506040513d6020811015611f9957600080fd5b810190808051906020019092919050505094508573ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561202957600080fd5b505afa15801561203d573d6000803e3d6000fd5b505050506040513d602081101561205357600080fd5b8101908080519060200190929190505050935061207285858b8b612e38565b81156120ea576120e36008600e9054906101000a90046dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff16600860009054906101000a90046dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff16612d2090919063ffffffff16565b600b819055505b8b73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fdccd412f0b1252819cb1fd330b93224ca42612892bb3f4f789976e6d819364968d8d604051808381526020018281526020019250505060405180910390a35050505050505050506001600c81905550915091565b6040518060400160405280600781526020017f50756e6b2d4c500000000000000000000000000000000000000000000000000081525081565b60006121b33384846132a1565b6001905092915050565b6103e881565b6001600c541461223b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600c8152602001807f50756e6b3a204c4f434b4544000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000600c819055506000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050612391828461238c600860009054906101000a90046dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561234357600080fd5b505afa158015612357573d6000803e3d6000fd5b505050506040513d602081101561236d57600080fd5b8101908080519060200190929190505050612db590919063ffffffff16565b612ad3565b612491818461248c6008600e9054906101000a90046dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561244357600080fd5b505afa158015612457573d6000803e3d6000fd5b505050506040513d602081101561246d57600080fd5b8101908080519060200190929190505050612db590919063ffffffff16565b612ad3565b50506001600c8190555050565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b42841015612560576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600d8152602001807f50756e6b3a20455850495245440000000000000000000000000000000000000081525060200191505060405180910390fd5b60006003547f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c960001b898989600460008e73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000815480929190600101919050558a604051602001808781526020018673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200184815260200183815260200182815260200196505050505050506040516020818303038152906040528051906020012060405160200180807f190100000000000000000000000000000000000000000000000000000000000081525060020183815260200182815260200192505050604051602081830303815290604052805190602001209050600060018286868660405160008152602001604052604051808581526020018460ff1660ff1681526020018381526020018281526020019450505050506020604051602081039080840390855afa158015612732573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141580156127a657508873ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b612818576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f50756e6b3a20494e56414c49445f5349474e415455524500000000000000000081525060200191505060405180910390fd5b6128238989896131b6565b505050505050505050565b6002602052816000526040600020602052806000526040600020600091509150505481565b6001600c54146128cb576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600c8152602001807f50756e6b3a204c4f434b4544000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000600c81905550612ac9600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561297557600080fd5b505afa158015612989573d6000803e3d6000fd5b505050506040513d602081101561299f57600080fd5b8101908080519060200190929190505050600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015612a4f57600080fd5b505afa158015612a63573d6000803e3d6000fd5b505050506040513d6020811015612a7957600080fd5b8101908080519060200190929190505050600860009054906101000a90046dffffffffffffffffffffffffffff166008600e9054906101000a90046dffffffffffffffffffffffffffff16612e38565b6001600c81905550565b600060608473ffffffffffffffffffffffffffffffffffffffff166040518060400160405280601981526020017f7472616e7366657228616464726573732c75696e743235362900000000000000815250805190602001208585604051602401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050604051602081830303815290604052907bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff83818316178352505050506040518082805190602001908083835b60208310612c005780518252602082019150602081019050602083039250612bdd565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d8060008114612c62576040519150601f19603f3d011682016040523d82523d6000602084013e612c67565b606091505b5091509150818015612ca75750600081511480612ca65750808060200190516020811015612c9457600080fd5b81019080805190602001909291905050505b5b612d19576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f50756e6b3a205452414e534645525f4641494c4544000000000000000000000081525060200191505060405180910390fd5b5050505050565b600080821480612d3d5750828283850292508281612d3a57fe5b04145b612daf576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f64732d6d6174682d6d756c2d6f766572666c6f7700000000000000000000000081525060200191505060405180910390fd5b92915050565b6000828284039150811115612e32576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f64732d6d6174682d7375622d756e646572666c6f77000000000000000000000081525060200191505060405180910390fd5b92915050565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6dffffffffffffffffffffffffffff168411158015612ea857507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6dffffffffffffffffffffffffffff168311155b612f1a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f50756e6b3a204f564552464c4f5700000000000000000000000000000000000081525060200191505060405180910390fd5b60006401000000004281612f2a57fe5b06905060006008601c9054906101000a900463ffffffff168203905060008163ffffffff16118015612f6d57506000846dffffffffffffffffffffffffffff1614155b8015612f8a57506000836dffffffffffffffffffffffffffff1614155b1561306c578063ffffffff16612fcf85612fa3866138eb565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1661391690919063ffffffff16565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16026009600082825401925050819055508063ffffffff1661303d84613011876138eb565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1661391690919063ffffffff16565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1602600a600082825401925050819055505b85600860006101000a8154816dffffffffffffffffffffffffffff02191690836dffffffffffffffffffffffffffff160217905550846008600e6101000a8154816dffffffffffffffffffffffffffff02191690836dffffffffffffffffffffffffffff160217905550816008601c6101000a81548163ffffffff021916908363ffffffff1602179055507f1c411e9a96e071241c2f21f7726b17ae89e3cab4c78be50e062b03a9fffbbad1600860009054906101000a90046dffffffffffffffffffffffffffff166008600e9054906101000a90046dffffffffffffffffffffffffffff1660405180836dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff168152602001826dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff1681526020019250505060405180910390a1505050505050565b80600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b6132f381600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612db590919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061338881600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461397690919063ffffffff16565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b600080600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663017e7e586040518163ffffffff1660e01b815260040160206040518083038186803b1580156134a057600080fd5b505afa1580156134b4573d6000803e3d6000fd5b505050506040513d60208110156134ca57600080fd5b81019080805190602001909291905050509050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141591506000600b5490508215613622576000811461361d57600061356261355d866dffffffffffffffffffffffffffff16886dffffffffffffffffffffffffffff16612d2090919063ffffffff16565b61363c565b9050600061356f8361363c565b90508082111561361a5760006135b560086135a76135968587612db590919063ffffffff16565b600054612d2090919063ffffffff16565b612d2090919063ffffffff16565b905060006135f26135d0600885612d2090919063ffffffff16565b6135e4601187612d2090919063ffffffff16565b61397690919063ffffffff16565b905060008183816135ff57fe5b049050600081111561361657613615878261369e565b5b5050505b50505b613634565b60008114613633576000600b819055505b5b505092915050565b6000600382111561368b57819050600060016002848161365857fe5b040190505b818110156136855780915060028182858161367457fe5b04018161367d57fe5b04905061365d565b50613699565b6000821461369857600190505b5b919050565b6136b38160005461397690919063ffffffff16565b60008190555061370b81600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461397690919063ffffffff16565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60008183106137c757816137c9565b825b905092915050565b61382381600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612db590919063ffffffff16565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061387b81600054612db590919063ffffffff16565b600081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60006e010000000000000000000000000000826dffffffffffffffffffffffffffff16029050919050565b6000816dffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff168161396d57fe5b04905092915050565b60008282840191508110156139f3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f64732d6d6174682d6164642d6f766572666c6f7700000000000000000000000081525060200191505060405180910390fd5b9291505056fe50756e6b3a20494e53554646494349454e545f4c49515549444954595f4d494e54454450756e6b3a20494e53554646494349454e545f4c49515549444954595f4255524e4544a265627a7a7231582048ab9b478060eff286881c31dedd43c90e76b2e2a65f078c6702538373e97c1e64736f6c63430005100032

11564:10762:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11564:10762:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19174:2396;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;19174:2396:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;19174:2396:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;19174:2396:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;19174:2396:0;;;;;;;;;;;;:::i;:::-;;5577:40;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;5577:40:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12554:313;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7671:147;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7671:147:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;11869:21;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5714:23;;;:::i;:::-;;;;;;;;;;;;;;;;;;;7973:367;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7973:367:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6005:117;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5672:35;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5862:31;;;:::i;:::-;;;;;;;;;;;;;;;;;;;13795:205;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;13795:205:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;12199:32;;;:::i;:::-;;;;;;;;;;;;;;;;;;;12238;;;:::i;:::-;;;;;;;;;;;;;;;;;;;16211:1286;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;16211:1286:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5744:41;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5744:41:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;12277:17;;;:::i;:::-;;;;;;;;;;;;;;;;;;;6129:38;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6129:38:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;17609:1453;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;17609:1453:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;5624:41;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;5624:41:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7826:139;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7826:139:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;11679:48;;;:::i;:::-;;;;;;;;;;;;;;;;;;;21619:434;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;21619:434:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;11840:22;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;11897:21;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;8348:984;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;8348:984:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;5792:61;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5792:61:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;22102:221;;;:::i;:::-;;19174:2396;12462:1;12450:8;;:13;12442:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12502:1;12491:8;:12;;;;19358:1;19345:10;:14;:32;;;;19376:1;19363:10;:14;19345:32;19323:114;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19449:17;19468;19491:13;:11;:13::i;:::-;19448:56;;;;;19565:9;19552:22;;:10;:22;:48;;;;;19591:9;19578:22;;:10;:22;19552:48;19530:126;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19669:13;19693;19800:15;19818:6;;;;;;;;;;;19800:24;;19839:15;19857:6;;;;;;;;;;;19839:24;;19892:7;19886:13;;:2;:13;;;;:30;;;;;19909:7;19903:13;;:2;:13;;;;19886:30;19878:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19969:1;19956:10;:14;19952:58;;;19972:38;19986:7;19995:2;19999:10;19972:13;:38::i;:::-;19952:58;20076:1;20063:10;:14;20059:58;;;20079:38;20093:7;20102:2;20106:10;20079:13;:38::i;:::-;20059:58;20184:1;20170:4;;:11;;:15;20166:207;;;20216:2;20204:24;;;20251:10;20284;20317;20350:4;;20204:169;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;;20204:169:0;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20204:169:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;20204:169:0;;;;20166:207;20406:7;20399:25;;;20433:4;20399:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20399:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;20399:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;20399:40:0;;;;;;;;;;;;;;;;20388:51;;20472:7;20465:25;;;20499:4;20465:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20465:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;20465:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;20465:40:0;;;;;;;;;;;;;;;;20454:51;;12514:1;;20527:14;20567:10;20555:9;:22;;;20544:8;:33;:101;;20644:1;20544:101;;;20617:10;20605:9;:22;;;20593:8;:35;20544:101;20527:118;;20656:14;20696:10;20684:9;:22;;;20673:8;:33;:101;;20773:1;20673:101;;;20746:10;20734:9;:22;;;20722:8;:35;20673:101;20656:118;;20819:1;20807:9;:13;:30;;;;20836:1;20824:9;:13;20807:30;20785:111;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20999:21;21042:42;21066:17;21080:2;21066:9;:13;;:17;;;;:::i;:::-;21042:19;21055:5;21042:8;:12;;:19;;;;:::i;:::-;:23;;:42;;;;:::i;:::-;20999:100;;21114:21;21157:42;21181:17;21195:2;21181:9;:13;;:17;;;;:::i;:::-;21157:19;21170:5;21157:8;:12;;:19;;;;:::i;:::-;:23;;:42;;;;:::i;:::-;21114:100;;21318:46;21353:10;21318:30;21338:9;21318:30;;21323:9;21318:15;;:19;;:30;;;;:::i;:::-;:34;;:46;;;;:::i;:::-;21255:38;21276:16;21255;:20;;:38;;;;:::i;:::-;:109;;21229:178;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12514:1;;21431:49;21439:8;21449;21459:9;21470;21431:7;:49::i;:::-;21559:2;21496:66;;21501:10;21496:66;;;21513:9;21524;21535:10;21547;21496:66;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12514:1;;;;;;12537;12526:8;:12;;;;19174:2396;;;;;:::o;5577:40::-;;;;;;;;;;;;;;;;;;;:::o;12554:313::-;12639:17;12671;12703:26;12769:8;;;;;;;;;;;12757:20;;12800:8;;;;;;;;;;;12788:20;;12841:18;;;;;;;;;;;12819:40;;12554:313;;;:::o;7671:147::-;7735:4;7752:36;7761:10;7773:7;7782:5;7752:8;:36::i;:::-;7806:4;7799:11;;7671:147;;;;:::o;11869:21::-;;;;;;;;;;;;;:::o;5714:23::-;;;;:::o;7973:367::-;8085:4;8142:2;8106:9;:15;8116:4;8106:15;;;;;;;;;;;;;;;:27;8122:10;8106:27;;;;;;;;;;;;;;;;:39;8102:172;;8192:70;8242:5;8192:9;:15;8202:4;8192:15;;;;;;;;;;;;;;;:27;8208:10;8192:27;;;;;;;;;;;;;;;;:31;;:70;;;;:::i;:::-;8162:9;:15;8172:4;8162:15;;;;;;;;;;;;;;;:27;8178:10;8162:27;;;;;;;;;;;;;;;:100;;;;8102:172;8284:26;8294:4;8300:2;8304:5;8284:9;:26::i;:::-;8328:4;8321:11;;7973:367;;;;;:::o;6005:117::-;6056:66;6005:117;;;:::o;5672:35::-;5705:2;5672:35;:::o;5862:31::-;;;;:::o;13795:205::-;13891:7;;;;;;;;;;;13877:21;;:10;:21;;;13869:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13958:7;13949:6;;:16;;;;;;;;;;;;;;;;;;13985:7;13976:6;;:16;;;;;;;;;;;;;;;;;;13795:205;;:::o;12199:32::-;;;;:::o;12238:::-;;;;:::o;16211:1286::-;16260:14;12462:1;12450:8;;:13;12442:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12502:1;12491:8;:12;;;;16288:17;16307;16330:13;:11;:13::i;:::-;16287:56;;;;;16369:13;16392:6;;;;;;;;;;;16385:24;;;16418:4;16385:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16385:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;16385:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;16385:39:0;;;;;;;;;;;;;;;;16369:55;;16435:13;16458:6;;;;;;;;;;;16451:24;;;16484:4;16451:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16451:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;16451:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;16451:39:0;;;;;;;;;;;;;;;;16435:55;;16501:12;16516:23;16529:9;16516:23;;:8;:12;;:23;;;;:::i;:::-;16501:38;;16550:12;16565:23;16578:9;16565:23;;:8;:12;;:23;;;;:::i;:::-;16550:38;;16601:10;16614:30;16623:9;16634;16614:8;:30::i;:::-;16601:43;;16655:17;16675:11;;16655:31;;16795:1;16779:12;:17;16775:402;;;16825:54;11720:7;16825:31;16835:20;16847:7;16835;:11;;:20;;;;:::i;:::-;16825:9;:31::i;:::-;:35;;:54;;;;:::i;:::-;16813:66;;16894:36;16908:1;11720:7;16894:5;:36::i;:::-;16775:402;;;17030:135;17085:9;17057:37;;:25;17069:12;17057:7;:11;;:25;;;;:::i;:::-;:37;;;;;;17141:9;17113:37;;:25;17125:12;17113:7;:11;;:25;;;;:::i;:::-;:37;;;;;;17030:8;:135::i;:::-;17018:147;;16775:402;17207:1;17195:9;:13;17187:61;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17259:20;17265:2;17269:9;17259:5;:20::i;:::-;17292:49;17300:8;17310;17320:9;17331;17292:7;:49::i;:::-;17356:5;17352:47;;;17371:28;17390:8;;;;;;;;;;;17371:28;;17376:8;;;;;;;;;;;17371:14;;:18;;:28;;;;:::i;:::-;17363:5;:36;;;;17352:47;17460:10;17455:34;;;17472:7;17481;17455:34;;;;;;;;;;;;;;;;;;;;;;;;12514:1;;;;;;;;12537;12526:8;:12;;;;16211:1286;;;:::o;5744:41::-;;;;;;;;;;;;;;;;;:::o;12277:17::-;;;;:::o;6129:38::-;;;;;;;;;;;;;;;;;:::o;17609:1453::-;17674:12;17688;12462:1;12450:8;;:13;12442:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12502:1;12491:8;:12;;;;17714:17;17733;17756:13;:11;:13::i;:::-;17713:56;;;;;17795:15;17813:6;;;;;;;;;;;17795:24;;17845:15;17863:6;;;;;;;;;;;17845:24;;17895:13;17918:7;17911:25;;;17945:4;17911:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17911:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;17911:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;17911:40:0;;;;;;;;;;;;;;;;17895:56;;17962:13;17985:7;17978:25;;;18012:4;17978:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17978:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;17978:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;17978:40:0;;;;;;;;;;;;;;;;17962:56;;18029:14;18046:9;:24;18064:4;18046:24;;;;;;;;;;;;;;;;18029:41;;18083:10;18096:30;18105:9;18116;18096:8;:30::i;:::-;18083:43;;18137:17;18157:11;;18137:31;;18293:12;18267:23;18281:8;18267:9;:13;;:23;;;;:::i;:::-;:38;;;;;;18257:48;;18400:12;18374:23;18388:8;18374:9;:13;;:23;;;;:::i;:::-;:38;;;;;;18364:48;;18503:1;18493:7;:11;:26;;;;;18518:1;18508:7;:11;18493:26;18471:111;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18593:31;18607:4;18614:9;18593:5;:31::i;:::-;18635:35;18649:7;18658:2;18662:7;18635:13;:35::i;:::-;18681;18695:7;18704:2;18708:7;18681:13;:35::i;:::-;18745:7;18738:25;;;18772:4;18738:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18738:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;18738:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;18738:40:0;;;;;;;;;;;;;;;;18727:51;;18807:7;18800:25;;;18834:4;18800:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18800:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;18800:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;18800:40:0;;;;;;;;;;;;;;;;18789:51;;18853:49;18861:8;18871;18881:9;18892;18853:7;:49::i;:::-;18917:5;18913:47;;;18932:28;18951:8;;;;;;;;;;;18932:28;;18937:8;;;;;;;;;;;18932:14;;:18;;:28;;;;:::i;:::-;18924:5;:36;;;;18913:47;19051:2;19016:38;;19021:10;19016:38;;;19033:7;19042;19016:38;;;;;;;;;;;;;;;;;;;;;;;;12514:1;;;;;;;;;12537;12526:8;:12;;;;17609:1453;;;:::o;5624:41::-;;;;;;;;;;;;;;;;;;;:::o;7826:139::-;7886:4;7903:32;7913:10;7925:2;7929:5;7903:9;:32::i;:::-;7953:4;7946:11;;7826:139;;;;:::o;11679:48::-;11720:7;11679:48;:::o;21619:434::-;12462:1;12450:8;;:13;12442:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12502:1;12491:8;:12;;;;21670:15;21688:6;;;;;;;;;;;21670:24;;21720:15;21738:6;;;;;;;;;;;21720:24;;21770:132;21798:7;21820:2;21837:54;21882:8;;;;;;;;;;;21837:54;;21844:7;21837:25;;;21871:4;21837:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;21837:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;21837:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;21837:40:0;;;;;;;;;;;;;;;;:44;;:54;;;;:::i;:::-;21770:13;:132::i;:::-;21913;21941:7;21963:2;21980:54;22025:8;;;;;;;;;;;21980:54;;21987:7;21980:25;;;22014:4;21980:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;21980:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;21980:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;21980:40:0;;;;;;;;;;;;;;;;:44;;:54;;;;:::i;:::-;21913:13;:132::i;:::-;12514:1;;12537;12526:8;:12;;;;21619:434;:::o;11840:22::-;;;;;;;;;;;;;:::o;11897:21::-;;;;;;;;;;;;;:::o;8348:984::-;8564:15;8552:8;:27;;8544:53;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8608:14;8713:16;;6056:66;8817:15;;8859:5;8891:7;8925:5;8957:6;:13;8964:5;8957:13;;;;;;;;;;;;;;;;:15;;;;;;;;;;;;8999:8;8780:250;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;8780:250:0;;;8748:301;;;;;;8649:415;;;;;;;;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;8649:415:0;;;8625:450;;;;;;8608:467;;9086:24;9113:26;9123:6;9131:1;9134;9137;9113:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9113:26:0;;;;;;;;9086:53;;9200:1;9172:30;;:16;:30;;;;:59;;;;;9226:5;9206:25;;:16;:25;;;9172:59;9150:132;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9293:31;9302:5;9309:7;9318:5;9293:8;:31::i;:::-;8348:984;;;;;;;;;:::o;5792:61::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;22102:221::-;12462:1;12450:8;;:13;12442:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12502:1;12491:8;:12;;;;22143:172;22172:6;;;;;;;;;;;22165:24;;;22198:4;22165:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;22165:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;22165:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;22165:39:0;;;;;;;;;;;;;;;;22226:6;;;;;;;;;;;22219:24;;;22252:4;22219:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;22219:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;22219:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;22219:39:0;;;;;;;;;;;;;;;;22273:8;;;;;;;;;;;22296;;;;;;;;;;;22143:7;:172::i;:::-;12537:1;12526:8;:12;;;;22102:221::o;12875:343::-;12957:12;12971:17;12992:5;:10;;11795:34;;;;;;;;;;;;;;;;;11785:45;;;;;;13050:2;13054:5;13017:43;;;;;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;13017:43:0;;;;;;;38:4:-1;29:7;25:18;67:10;61:17;96:58;199:8;192:4;186;182:15;179:29;167:10;160:49;0:215;;;13017:43:0;12992:79;;;;;;;;;;;;;36:153:-1;66:2;61:3;58:11;36:153;;182:3;176:10;171:3;164:23;98:2;93:3;89:12;82:19;;123:2;118:3;114:12;107:19;;148:2;143:3;139:12;132:19;;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;12992:79:0;;;;;;;;;;;;;;;;;;;;;;;;14:1:-1;21;16:31;;;;75:4;69:11;64:16;;144:4;140:9;133:4;115:16;111:27;107:43;104:1;100:51;94:4;87:65;169:16;166:1;159:27;225:16;222:1;215:4;212:1;208:12;193:49;7:242;;16:31;36:4;31:9;;7:242;;12956:115:0;;;;13104:7;:57;;;;;13131:1;13116:4;:11;:16;:44;;;;13147:4;13136:24;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;13136:24:0;;;;;;;;;;;;;;;;13116:44;13104:57;13082:128;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12875:343;;;;;:::o;5356:142::-;5408:6;5440:1;5435;:6;:30;;;;5464:1;5459;5454;5450;:5;5446:9;;;5445:15;;;;;;:20;5435:30;5427:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5356:142;;;;:::o;5219:129::-;5271:6;5313:1;5307;5303;:5;5299:9;;;5298:16;;5290:50;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5219:129;;;;:::o;14085:1005::-;14274:2;14254:23;;:8;:23;;:50;;;;;14301:2;14281:23;;:8;:23;;14254:50;14232:114;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14357:21;14406:7;14388:15;:25;;;;;;14357:57;;14425:18;14463;;;;;;;;;;;14446:14;:35;14425:56;;14533:1;14519:11;:15;;;:33;;;;;14551:1;14538:9;:14;;;;14519:33;:51;;;;;14569:1;14556:9;:14;;;;14519:51;14515:404;;;14759:11;14689:81;;14694:44;14728:9;14694:27;14711:9;14694:16;:27::i;:::-;:33;;;;:44;;;;:::i;:::-;14689:50;;:81;14648:20;;:122;;;;;;;;;;;14896:11;14826:81;;14831:44;14865:9;14831:27;14848:9;14831:16;:27::i;:::-;:33;;;;:44;;;;:::i;:::-;14826:50;;:81;14785:20;;:122;;;;;;;;;;;14515:404;14948:8;14929;;:28;;;;;;;;;;;;;;;;;;14987:8;14968;;:28;;;;;;;;;;;;;;;;;;15028:14;15007:18;;:35;;;;;;;;;;;;;;;;;;15058:24;15063:8;;;;;;;;;;;15073;;;;;;;;;;;15058:24;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14085:1005;;;;;;:::o;7266:169::-;7375:5;7347:9;:16;7357:5;7347:16;;;;;;;;;;;;;;;:25;7364:7;7347:25;;;;;;;;;;;;;;;:33;;;;7412:7;7396:31;;7405:5;7396:31;;;7421:5;7396:31;;;;;;;;;;;;;;;;;;7266:169;;;:::o;7443:220::-;7537:26;7557:5;7537:9;:15;7547:4;7537:15;;;;;;;;;;;;;;;;:19;;:26;;;;:::i;:::-;7519:9;:15;7529:4;7519:15;;;;;;;;;;;;;;;:44;;;;7590:24;7608:5;7590:9;:13;7600:2;7590:13;;;;;;;;;;;;;;;;:17;;:24;;;;:::i;:::-;7574:9;:13;7584:2;7574:13;;;;;;;;;;;;;;;:40;;;;7645:2;7630:25;;7639:4;7630:25;;;7649:5;7630:25;;;;;;;;;;;;;;;;;;7443:220;;;:::o;15179:920::-;15277:10;15300:13;15329:7;;;;;;;;;;;15316:27;;;:29;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15316:29:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;15316:29:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;15316:29:0;;;;;;;;;;;;;;;;15300:45;;15381:1;15364:19;;:5;:19;;;;15356:27;;15394:11;15408:5;;15394:19;;15443:5;15439:653;;;15479:1;15469:6;:11;15465:557;;15501:10;15514:41;15524:30;15544:9;15524:30;;15529:9;15524:15;;:19;;:30;;;;:::i;:::-;15514:9;:41::i;:::-;15501:54;;15574:14;15591:17;15601:6;15591:9;:17::i;:::-;15574:34;;15639:9;15631:5;:17;15627:380;;;15673:14;15690:92;15758:1;15690:37;15706:20;15716:9;15706:5;:9;;:20;;;;:::i;:::-;15690:11;;:15;;:37;;;;:::i;:::-;:41;;:92;;;;:::i;:::-;15673:109;;15805:16;15824:35;15842:16;15856:1;15842:9;:13;;:16;;;;:::i;:::-;15824:13;15834:2;15824:5;:9;;:13;;;;:::i;:::-;:17;;:35;;;;:::i;:::-;15805:54;;15882:14;15911:11;15899:9;:23;;;;;;15882:40;;15961:1;15949:9;:13;15945:42;;;15964:23;15970:5;15977:9;15964:5;:23::i;:::-;15945:42;15627:380;;;;15465:557;;;15439:653;;;16053:1;16043:6;:11;16039:53;;16079:1;16071:5;:9;;;;16039:53;15439:653;15179:920;;;;;;:::o;9626:303::-;9671:6;9698:1;9694;:5;9690:232;;;9720:1;9716:5;;9736:6;9753:1;9749;9745;:5;;;;;;:9;9736:18;;9769:92;9780:1;9776;:5;9769:92;;;9806:1;9802:5;;9844:1;9839;9835;9831;:5;;;;;;:9;9830:15;;;;;;9826:19;;9769:92;;;9690:232;;;;9887:1;9882;:6;9878:44;;9909:1;9905:5;;9878:44;9690:232;9626:303;;;:::o;6840:201::-;6913:22;6929:5;6913:11;;:15;;:22;;;;:::i;:::-;6899:11;:36;;;;6962:24;6980:5;6962:9;:13;6972:2;6962:13;;;;;;;;;;;;;;;;:17;;:24;;;;:::i;:::-;6946:9;:13;6956:2;6946:13;;;;;;;;;;;;;;;:40;;;;7023:2;7002:31;;7019:1;7002:31;;;7027:5;7002:31;;;;;;;;;;;;;;;;;;6840:201;;:::o;9412:96::-;9464:6;9491:1;9487;:5;:13;;9499:1;9487:13;;;9495:1;9487:13;9483:17;;9412:96;;;;:::o;7049:209::-;7128:26;7148:5;7128:9;:15;7138:4;7128:15;;;;;;;;;;;;;;;;:19;;:26;;;;:::i;:::-;7110:9;:15;7120:4;7110:15;;;;;;;;;;;;;;;:44;;;;7179:22;7195:5;7179:11;;:15;;:22;;;;:::i;:::-;7165:11;:36;;;;7240:1;7217:33;;7226:4;7217:33;;;7244:5;7217:33;;;;;;;;;;;;;;;;;;7049:209;;:::o;10200:120::-;10250:9;10143:8;10284:1;10276:10;;:17;10272:21;;10200:120;;;:::o;10391:108::-;10451:9;10489:1;10481:10;;10477:14;;:1;:14;;;;;;;;10473:18;;10391:108;;;;:::o;5083:128::-;5135:6;5177:1;5171;5167;:5;5163:9;;;5162:16;;5154:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5083:128;;;;:::o

bzzr://48ab9b478060eff286881c31dedd43c90e76b2e2a65f078c6702538373e97c1e