/**
 *Submitted for verification at SonicScan.org on 2025-08-21
*/

/**
 *Submitted for verification at Hyperscan.com on 2025-06-24
 */

pragma solidity =0.5.16;

interface IFatfingerdotfunV2Factory {
    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 IFatfingerdotfunV2Pair {
    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 feeBps() external view returns (uint16);

    function feeSetter() 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, address) external;

    function setFeeBps(uint16) external;

    function setFeeSetter(address) external;
}

interface IFatfingerdotfunV2ERC20 {
    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;
}

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 IFatfingerdotfunV2Callee {
    function fatfingerdotfunV2Call(
        address sender,
        uint amount0,
        uint amount1,
        bytes calldata data
    ) external;
}

contract FatfingerdotfunV2ERC20 is IFatfingerdotfunV2ERC20 {
    using SafeMath for uint;

    string public constant name = "Fatfingerdotfun V2";
    string public constant symbol = "FFF-V2";
    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, "FatfingerdotfunV2: 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,
            "FatfingerdotfunV2: INVALID_SIGNATURE"
        );
        _approve(owner, spender, value);
    }
}

contract FatfingerdotfunV2Pair is IFatfingerdotfunV2Pair, FatfingerdotfunV2ERC20 {
    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;

    // configurable swap fee
    uint16 public feeBps; // e.g. 3 = 0.3%
    address public feeSetter; // who can update feeBps
    // allowed fees (in bps)
    uint16 private constant FEE_0_3_PERCENT = 3; // 0.3%
    uint16 private constant FEE_0_5_PERCENT = 5; // 0.5%
    uint16 private constant FEE_1_PERCENT = 10; // 1%
    
    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, "FatfingerdotfunV2: 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))),
            "FatfingerdotfunV2: 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,
        address _feeSetter
    ) external {
        require(msg.sender == factory, "FatfingerdotfunV2: FORBIDDEN"); // sufficient check
        token0 = _token0;
        token1 = _token1;

        // fee settings
        feeSetter = _feeSetter;
        feeBps = FEE_1_PERCENT; // set default feeBps to 1%
    }

    // 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),
            "FatfingerdotfunV2: 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 1/2nd of the growth in sqrt(k)
    function _mintFee(
        uint112 _reserve0,
        uint112 _reserve1
    ) private returns (bool feeOn) {
        address feeTo = IFatfingerdotfunV2Factory(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) {
                    // this handles the split between feegetter and liquidity providers
                    uint numerator = totalSupply.mul(rootK.sub(rootKLast));
                    uint denominator = rootK.add(rootKLast);
                    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, "FatfingerdotfunV2: 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,
            "FatfingerdotfunV2: 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,
            "FatfingerdotfunV2: INSUFFICIENT_OUTPUT_AMOUNT"
        );
        (uint112 _reserve0, uint112 _reserve1, ) = getReserves(); // gas savings
        require(
            amount0Out < _reserve0 && amount1Out < _reserve1,
            "FatfingerdotfunV2: 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, "FatfingerdotfunV2: 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)
                IFatfingerdotfunV2Callee(to).fatfingerdotfunV2Call(
                    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,
            "FatfingerdotfunV2: INSUFFICIENT_INPUT_AMOUNT"
        );
        {
            // scope for reserve{0,1}Adjusted, avoids stack too deep errors
            uint balance0Adjusted = balance0.mul(1000).sub(
                amount0In.mul(feeBps)
            );
            uint balance1Adjusted = balance1.mul(1000).sub(
                amount1In.mul(feeBps)
            );
            require(
                balance0Adjusted.mul(balance1Adjusted) >=
                    uint(_reserve0).mul(_reserve1).mul(1000 ** 2),
                "FatfingerdotfunV2: 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
        );
    }

    // Change the pool’s swap fee; only 3, 5 or 10 bps are allowed
    function setFeeBps(uint16 _newFeeBps) external {
        require(msg.sender == feeSetter, "FatfingerdotfunV2: FORBIDDEN");
        require(
            _newFeeBps == FEE_0_3_PERCENT ||
                _newFeeBps == FEE_0_5_PERCENT ||
                _newFeeBps == FEE_1_PERCENT,
            "FatfingerdotfunV2: FEE_NOT_ALLOWED"
        );

        feeBps = _newFeeBps;
    }

    // Change who can update the fee
    function setFeeSetter(address _newSetter) external {
        require(msg.sender == feeSetter, "FatfingerdotfunV2: FORBIDDEN");
        feeSetter = _newSetter;
    }
}

// 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");
    }
}

// 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);
    }
}

contract FatfingerdotfunV2Factory is IFatfingerdotfunV2Factory {
    address public feeTo;
    address public feeToSetter;
    bytes32 public constant INIT_CODE_PAIR_HASH =
        keccak256(abi.encodePacked(type(FatfingerdotfunV2Pair).creationCode));

    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, "FatfingerdotfunV2: IDENTICAL_ADDRESSES");
        (address token0, address token1) = tokenA < tokenB
            ? (tokenA, tokenB)
            : (tokenB, tokenA);
        require(token0 != address(0), "FatfingerdotfunV2: ZERO_ADDRESS");
        require(
            getPair[token0][token1] == address(0),
            "FatfingerdotfunV2: PAIR_EXISTS"
        ); // single check is sufficient
        bytes memory bytecode = type(FatfingerdotfunV2Pair).creationCode;
        bytes32 salt = keccak256(abi.encodePacked(token0, token1));
        assembly {
            pair := create2(0, add(bytecode, 32), mload(bytecode), salt)
        }
        IFatfingerdotfunV2Pair(pair).initialize(token0, token1, feeToSetter);
        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, "FatfingerdotfunV2: FORBIDDEN");
        feeTo = _feeTo;
    }

    function setFeeToSetter(address _feeToSetter) external {
        require(msg.sender == feeToSetter, "FatfingerdotfunV2: 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":"feeBps","outputs":[{"internalType":"uint16","name":"","type":"uint16"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"feeSetter","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"},{"internalType":"address","name":"_feeSetter","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":"uint16","name":"_newFeeBps","type":"uint16"}],"name":"setFeeBps","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_newSetter","type":"address"}],"name":"setFeeSetter","outputs":[],"payable":false,"stateMutability":"nonpayable","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"}]

0x60806040526001600d5534801561001557600080fd5b506040514690806052612683823960408051918290036052018220828201825260128352712330ba3334b733b2b93237ba333ab7102b1960711b6020938401528151808301835260018152603160f81b908401528151808401919091527f92d6d873c3d79d36bc872728370ca6780a1b028aa3079af0834d66802f421c7d818301527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6606082015260808101949094523060a0808601919091528151808603909101815260c09094019052825192019190912060035550600580546001600160a01b031916331790556125768061010d6000396000f3fe608060405234801561001057600080fd5b50600436106101e55760003560e01c806370a082311161010f578063ba9a7a56116100a2578063d21220a711610071578063d21220a7146105e8578063d505accf146105f0578063dd62ed3e14610641578063fff6cae91461066f576101e5565b8063ba9a7a561461057a578063bc25cf7714610582578063c0c53b8b146105a8578063c45a0155146105e0576101e5565b806389afcb44116100de57806389afcb44146104e157806395d89b4114610520578063a9059cbb14610528578063b19805af14610554576101e5565b806370a08231146104855780637464fc3d146104ab5780637ecebe00146104b357806387cf3ef4146104d9576101e5565b806323b872dd116101875780633644e515116101565780633644e515146104475780635909c0d51461044f5780635a3d5493146104575780636a6278421461045f576101e5565b806323b872dd146103cc57806324a9d8531461040257806330adf81f14610421578063313ce56714610429576101e5565b80630902f1ac116101c35780630902f1ac14610316578063095ea7b31461034e5780630dfe16811461038e57806318160ddd146103b2576101e5565b8063022c0d9f146101ea578063023b1fc91461027857806306fdde0314610299575b600080fd5b6102766004803603608081101561020057600080fd5b8135916020810135916001600160a01b03604083013516919081019060808101606082013564010000000081111561023757600080fd5b82018360208201111561024957600080fd5b8035906020019184600183028401116401000000008311171561026b57600080fd5b509092509050610677565b005b6102766004803603602081101561028e57600080fd5b503561ffff16610bd1565b6102a1610cb3565b6040805160208082528351818301528351919283929083019185019080838360005b838110156102db5781810151838201526020016102c3565b50505050905090810190601f1680156103085780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61031e610ce1565b604080516001600160701b03948516815292909316602083015263ffffffff168183015290519081900360600190f35b61037a6004803603604081101561036457600080fd5b506001600160a01b038135169060200135610d0b565b604080519115158252519081900360200190f35b610396610d22565b604080516001600160a01b039092168252519081900360200190f35b6103ba610d31565b60408051918252519081900360200190f35b61037a600480360360608110156103e257600080fd5b506001600160a01b03813581169160208101359091169060400135610d37565b61040a610dd1565b6040805161ffff9092168252519081900360200190f35b6103ba610de2565b610431610e06565b6040805160ff9092168252519081900360200190f35b6103ba610e0b565b6103ba610e11565b6103ba610e17565b6103ba6004803603602081101561047557600080fd5b50356001600160a01b0316610e1d565b6103ba6004803603602081101561049b57600080fd5b50356001600160a01b0316611117565b6103ba611129565b6103ba600480360360208110156104c957600080fd5b50356001600160a01b031661112f565b610396611141565b610507600480360360208110156104f757600080fd5b50356001600160a01b0316611150565b6040805192835260208301919091528051918290030190f35b6102a16114f0565b61037a6004803603604081101561053e57600080fd5b506001600160a01b038135169060200135611512565b6102766004803603602081101561056a57600080fd5b50356001600160a01b031661151f565b6103ba6115a0565b6102766004803603602081101561059857600080fd5b50356001600160a01b03166115a6565b610276600480360360608110156105be57600080fd5b506001600160a01b03813581169160208101358216916040909101351661170b565b6103966117b6565b6103966117c5565b610276600480360360e081101561060657600080fd5b506001600160a01b03813581169160208101359091169060408101359060608101359060ff6080820135169060a08101359060c001356117d4565b6103ba6004803603604081101561065757600080fd5b506001600160a01b03813581169160200135166119cb565b6102766119e8565b600d546001146106bc576040805162461bcd60e51b81526020600482015260196024820152600080516020612426833981519152604482015290519081900360640190fd5b6000600d55841515806106cf5750600084115b61070a5760405162461bcd60e51b815260040180806020018281038252602d81526020018061246a602d913960400191505060405180910390fd5b600080610715610ce1565b5091509150816001600160701b03168710801561073a5750806001600160701b031686105b6107755760405162461bcd60e51b81526004018080602001828103825260298152602001806124e96029913960400191505060405180910390fd5b60065460075460009182916001600160a01b039182169190811690891682148015906107b35750806001600160a01b0316896001600160a01b031614155b610804576040805162461bcd60e51b815260206004820152601d60248201527f46617466696e676572646f7466756e56323a20494e56414c49445f544f000000604482015290519081900360640190fd5b8a1561081557610815828a8d611b44565b891561082657610826818a8c611b44565b86156108e157886001600160a01b031663c16c62f9338d8d8c8c6040518663ffffffff1660e01b815260040180866001600160a01b03166001600160a01b03168152602001858152602001848152602001806020018281038252848482818152602001925080828437600081840152601f19601f8201169050808301925050509650505050505050600060405180830381600087803b1580156108c857600080fd5b505af11580156108dc573d6000803e3d6000fd5b505050505b604080516370a0823160e01b815230600482015290516001600160a01b038416916370a08231916024808301926020929190829003018186803b15801561092757600080fd5b505afa15801561093b573d6000803e3d6000fd5b505050506040513d602081101561095157600080fd5b5051604080516370a0823160e01b815230600482015290519195506001600160a01b038316916370a0823191602480820192602092909190829003018186803b15801561099d57600080fd5b505afa1580156109b1573d6000803e3d6000fd5b505050506040513d60208110156109c757600080fd5b5051925060009150506001600160701b0385168a900383116109ea5760006109f9565b89856001600160701b03160383035b9050600089856001600160701b0316038311610a16576000610a25565b89856001600160701b03160383035b90506000821180610a365750600081115b610a715760405162461bcd60e51b815260040180806020018281038252602c8152602001806123d8602c913960400191505060405180910390fd5b600754600090610aaf90610a91908590600160a01b900461ffff16611cc8565b610aa3876103e863ffffffff611cc816565b9063ffffffff611d2b16565b600754909150600090610ad290610a91908590600160a01b900461ffff16611cc8565b9050610b03620f4240610af76001600160701b038b8116908b1663ffffffff611cc816565b9063ffffffff611cc816565b610b13838363ffffffff611cc816565b1015610b5d576040805162461bcd60e51b815260206004820152601460248201527346617466696e676572646f7466756e56323a204b60601b604482015290519081900360640190fd5b5050610b6b84848888611d7b565b60408051838152602081018390528082018d9052606081018c905290516001600160a01b038b169133917fd78ad95fa46c994b6551d0da85fc275fe613ce37657fb8d5e3d130840159d8229181900360800190a350506001600d55505050505050505050565b6008546001600160a01b03163314610c30576040805162461bcd60e51b815260206004820152601c60248201527f46617466696e676572646f7466756e56323a20464f5242494444454e00000000604482015290519081900360640190fd5b61ffff811660031480610c47575061ffff81166005145b80610c56575061ffff8116600a145b610c915760405162461bcd60e51b81526004018080602001828103825260228152602001806124046022913960400191505060405180910390fd5b6007805461ffff909216600160a01b0261ffff60a01b19909216919091179055565b604051806040016040528060128152602001712330ba3334b733b2b93237ba333ab7102b1960711b81525081565b6009546001600160701b0380821692600160701b830490911691600160e01b900463ffffffff1690565b6000610d18338484611f4a565b5060015b92915050565b6006546001600160a01b031681565b60005481565b6001600160a01b038316600090815260026020908152604080832033845290915281205460001914610dbc576001600160a01b0384166000908152600260209081526040808320338452909152902054610d97908363ffffffff611d2b16565b6001600160a01b03851660009081526002602090815260408083203384529091529020555b610dc7848484611fac565b5060019392505050565b600754600160a01b900461ffff1681565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b601281565b60035481565b600a5481565b600b5481565b6000600d54600114610e64576040805162461bcd60e51b81526020600482015260196024820152600080516020612426833981519152604482015290519081900360640190fd5b6000600d81905580610e74610ce1565b50600654604080516370a0823160e01b815230600482015290519395509193506000926001600160a01b03909116916370a08231916024808301926020929190829003018186803b158015610ec857600080fd5b505afa158015610edc573d6000803e3d6000fd5b505050506040513d6020811015610ef257600080fd5b5051600754604080516370a0823160e01b815230600482015290519293506000926001600160a01b03909216916370a0823191602480820192602092909190829003018186803b158015610f4557600080fd5b505afa158015610f59573d6000803e3d6000fd5b505050506040513d6020811015610f6f57600080fd5b505190506000610f8e836001600160701b03871663ffffffff611d2b16565b90506000610fab836001600160701b03871663ffffffff611d2b16565b90506000610fb98787612066565b60005490915080610ff657610fe26103e8610aa3610fdd878763ffffffff611cc816565b6121b3565b9850610ff160006103e8612205565b611045565b6110426001600160701b038916611013868463ffffffff611cc816565b8161101a57fe5b046001600160701b038916611035868563ffffffff611cc816565b8161103c57fe5b0461229b565b98505b600089116110845760405162461bcd60e51b81526004018080602001828103825260308152602001806125126030913960400191505060405180910390fd5b61108e8a8a612205565b61109a86868a8a611d7b565b81156110ca576009546110c6906001600160701b0380821691600160701b90041663ffffffff611cc816565b600c555b6040805185815260208101859052815133927f4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f928290030190a250506001600d5550949695505050505050565b60016020526000908152604090205481565b600c5481565b60046020526000908152604090205481565b6008546001600160a01b031681565b600080600d54600114611198576040805162461bcd60e51b81526020600482015260196024820152600080516020612426833981519152604482015290519081900360640190fd5b6000600d819055806111a8610ce1565b50600654600754604080516370a0823160e01b815230600482015290519496509294506001600160a01b039182169391169160009184916370a08231916024808301926020929190829003018186803b15801561120457600080fd5b505afa158015611218573d6000803e3d6000fd5b505050506040513d602081101561122e57600080fd5b5051604080516370a0823160e01b815230600482015290519192506000916001600160a01b038516916370a08231916024808301926020929190829003018186803b15801561127c57600080fd5b505afa158015611290573d6000803e3d6000fd5b505050506040513d60208110156112a657600080fd5b5051306000908152600160205260408120549192506112c58888612066565b600054909150806112dc848763ffffffff611cc816565b816112e357fe5b049a50806112f7848663ffffffff611cc816565b816112fe57fe5b04995060008b118015611311575060008a115b61134c5760405162461bcd60e51b81526004018080602001828103825260308152602001806124b96030913960400191505060405180910390fd5b61135630846122b3565b611361878d8d611b44565b61136c868d8c611b44565b604080516370a0823160e01b815230600482015290516001600160a01b038916916370a08231916024808301926020929190829003018186803b1580156113b257600080fd5b505afa1580156113c6573d6000803e3d6000fd5b505050506040513d60208110156113dc57600080fd5b5051604080516370a0823160e01b815230600482015290519196506001600160a01b038816916370a0823191602480820192602092909190829003018186803b15801561142857600080fd5b505afa15801561143c573d6000803e3d6000fd5b505050506040513d602081101561145257600080fd5b5051935061146285858b8b611d7b565b81156114925760095461148e906001600160701b0380821691600160701b90041663ffffffff611cc816565b600c555b604080518c8152602081018c905281516001600160a01b038f169233927fdccd412f0b1252819cb1fd330b93224ca42612892bb3f4f789976e6d81936496929081900390910190a35050505050505050506001600d81905550915091565b6040518060400160405280600681526020016523232316ab1960d11b81525081565b6000610d18338484611fac565b6008546001600160a01b0316331461157e576040805162461bcd60e51b815260206004820152601c60248201527f46617466696e676572646f7466756e56323a20464f5242494444454e00000000604482015290519081900360640190fd5b600880546001600160a01b0319166001600160a01b0392909216919091179055565b6103e881565b600d546001146115eb576040805162461bcd60e51b81526020600482015260196024820152600080516020612426833981519152604482015290519081900360640190fd5b6000600d55600654600754600954604080516370a0823160e01b815230600482015290516001600160a01b03948516949093169261169a9285928792611695926001600160701b03169185916370a0823191602480820192602092909190829003018186803b15801561165d57600080fd5b505afa158015611671573d6000803e3d6000fd5b505050506040513d602081101561168757600080fd5b50519063ffffffff611d2b16565b611b44565b600954604080516370a0823160e01b81523060048201529051611701928492879261169592600160701b90046001600160701b0316916001600160a01b038616916370a0823191602480820192602092909190829003018186803b15801561165d57600080fd5b50506001600d5550565b6005546001600160a01b0316331461176a576040805162461bcd60e51b815260206004820152601c60248201527f46617466696e676572646f7466756e56323a20464f5242494444454e00000000604482015290519081900360640190fd5b600680546001600160a01b03199081166001600160a01b039586161790915560078054600880548416948716949094179093559116919092161761ffff60a01b1916600560a11b179055565b6005546001600160a01b031681565b6007546001600160a01b031681565b42841015611829576040805162461bcd60e51b815260206004820152601a60248201527f46617466696e676572646f7466756e56323a2045585049524544000000000000604482015290519081900360640190fd5b6003546001600160a01b0380891660008181526004602090815260408083208054600180820190925582517f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98186015280840196909652958d166060860152608085018c905260a085019590955260c08085018b90528151808603909101815260e08501825280519083012061190160f01b6101008601526101028501969096526101228085019690965280518085039096018652610142840180825286519683019690962095839052610162840180825286905260ff89166101828501526101a284018890526101c28401879052519193926101e280820193601f1981019281900390910190855afa158015611944573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b0381161580159061197a5750886001600160a01b0316816001600160a01b0316145b6119b55760405162461bcd60e51b81526004018080602001828103825260248152602001806124466024913960400191505060405180910390fd5b6119c0898989611f4a565b505050505050505050565b600260209081526000928352604080842090915290825290205481565b600d54600114611a2d576040805162461bcd60e51b81526020600482015260196024820152600080516020612426833981519152604482015290519081900360640190fd5b6000600d55600654604080516370a0823160e01b81523060048201529051611b3d926001600160a01b0316916370a08231916024808301926020929190829003018186803b158015611a7e57600080fd5b505afa158015611a92573d6000803e3d6000fd5b505050506040513d6020811015611aa857600080fd5b5051600754604080516370a0823160e01b815230600482015290516001600160a01b03909216916370a0823191602480820192602092909190829003018186803b158015611af557600080fd5b505afa158015611b09573d6000803e3d6000fd5b505050506040513d6020811015611b1f57600080fd5b50516009546001600160701b0380821691600160701b900416611d7b565b6001600d55565b604080518082018252601981527f7472616e7366657228616464726573732c75696e74323536290000000000000060209182015281516001600160a01b0385811660248301526044808301869052845180840390910181526064909201845291810180516001600160e01b031663a9059cbb60e01b1781529251815160009460609489169392918291908083835b60208310611bf15780518252601f199092019160209182019101611bd2565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d8060008114611c53576040519150601f19603f3d011682016040523d82523d6000602084013e611c58565b606091505b5091509150818015611c86575080511580611c865750808060200190516020811015611c8357600080fd5b50515b611cc15760405162461bcd60e51b81526004018080602001828103825260228152602001806124976022913960400191505060405180910390fd5b5050505050565b6000811580611ce357505080820282828281611ce057fe5b04145b610d1c576040805162461bcd60e51b815260206004820152601460248201527364732d6d6174682d6d756c2d6f766572666c6f7760601b604482015290519081900360640190fd5b80820382811115610d1c576040805162461bcd60e51b815260206004820152601560248201527464732d6d6174682d7375622d756e646572666c6f7760581b604482015290519081900360640190fd5b6001600160701b038411801590611d9957506001600160701b038311155b611dea576040805162461bcd60e51b815260206004820152601b60248201527f46617466696e676572646f7466756e56323a204f564552464c4f570000000000604482015290519081900360640190fd5b60095463ffffffff42811691600160e01b90048116820390811615801590611e1a57506001600160701b03841615155b8015611e2e57506001600160701b03831615155b15611e9f578063ffffffff16611e5c85611e4786612351565b6001600160e01b03169063ffffffff61236316565b600a80546001600160e01b03929092169290920201905563ffffffff8116611e8784611e4787612351565b600b80546001600160e01b0392909216929092020190555b600980546dffffffffffffffffffffffffffff19166001600160701b03888116919091176dffffffffffffffffffffffffffff60701b1916600160701b8883168102919091176001600160e01b0316600160e01b63ffffffff871602179283905560408051848416815291909304909116602082015281517f1c411e9a96e071241c2f21f7726b17ae89e3cab4c78be50e062b03a9fffbbad1929181900390910190a1505050505050565b6001600160a01b03808416600081815260026020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b6001600160a01b038316600090815260016020526040902054611fd5908263ffffffff611d2b16565b6001600160a01b03808516600090815260016020526040808220939093559084168152205461200a908263ffffffff61238816565b6001600160a01b0380841660008181526001602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b600080600560009054906101000a90046001600160a01b03166001600160a01b031663017e7e586040518163ffffffff1660e01b815260040160206040518083038186803b1580156120b757600080fd5b505afa1580156120cb573d6000803e3d6000fd5b505050506040513d60208110156120e157600080fd5b5051600c546001600160a01b03821615801594509192509061219f57801561219a576000612124610fdd6001600160701b0388811690881663ffffffff611cc816565b90506000612131836121b3565b90508082111561219757600061215f612150848463ffffffff611d2b16565b6000549063ffffffff611cc816565b90506000612173848463ffffffff61238816565b9050600081838161218057fe5b0490508015612193576121938782612205565b5050505b50505b6121ab565b80156121ab576000600c555b505092915050565b600060038211156121f6575080600160028204015b818110156121f0578091506002818285816121df57fe5b0401816121e857fe5b0490506121c8565b50612200565b8115612200575060015b919050565b600054612218908263ffffffff61238816565b60009081556001600160a01b038316815260016020526040902054612243908263ffffffff61238816565b6001600160a01b03831660008181526001602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b60008183106122aa57816122ac565b825b9392505050565b6001600160a01b0382166000908152600160205260409020546122dc908263ffffffff611d2b16565b6001600160a01b03831660009081526001602052604081209190915554612309908263ffffffff611d2b16565b60009081556040805183815290516001600160a01b038516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef919081900360200190a35050565b6001600160701b0316600160701b0290565b60006001600160701b0382166001600160e01b0384168161238057fe5b049392505050565b80820182811015610d1c576040805162461bcd60e51b815260206004820152601460248201527364732d6d6174682d6164642d6f766572666c6f7760601b604482015290519081900360640190fdfe46617466696e676572646f7466756e56323a20494e53554646494349454e545f494e5055545f414d4f554e5446617466696e676572646f7466756e56323a204645455f4e4f545f414c4c4f57454446617466696e676572646f7466756e56323a204c4f434b45440000000000000046617466696e676572646f7466756e56323a20494e56414c49445f5349474e415455524546617466696e676572646f7466756e56323a20494e53554646494349454e545f4f55545055545f414d4f554e5446617466696e676572646f7466756e56323a205452414e534645525f4641494c454446617466696e676572646f7466756e56323a20494e53554646494349454e545f4c49515549444954595f4255524e454446617466696e676572646f7466756e56323a20494e53554646494349454e545f4c495155494449545946617466696e676572646f7466756e56323a20494e53554646494349454e545f4c49515549444954595f4d494e544544a265627a7a723158204c80fba3c8a7a5ba327dfdb8afc3ae51622afa6909f2e73a4332641cde5bc32864736f6c63430005100032454950373132446f6d61696e28737472696e67206e616d652c737472696e672076657273696f6e2c75696e7432353620636861696e49642c6164647265737320766572696679696e67436f6e747261637429

0x608060405234801561001057600080fd5b50600436106101e55760003560e01c806370a082311161010f578063ba9a7a56116100a2578063d21220a711610071578063d21220a7146105e8578063d505accf146105f0578063dd62ed3e14610641578063fff6cae91461066f576101e5565b8063ba9a7a561461057a578063bc25cf7714610582578063c0c53b8b146105a8578063c45a0155146105e0576101e5565b806389afcb44116100de57806389afcb44146104e157806395d89b4114610520578063a9059cbb14610528578063b19805af14610554576101e5565b806370a08231146104855780637464fc3d146104ab5780637ecebe00146104b357806387cf3ef4146104d9576101e5565b806323b872dd116101875780633644e515116101565780633644e515146104475780635909c0d51461044f5780635a3d5493146104575780636a6278421461045f576101e5565b806323b872dd146103cc57806324a9d8531461040257806330adf81f14610421578063313ce56714610429576101e5565b80630902f1ac116101c35780630902f1ac14610316578063095ea7b31461034e5780630dfe16811461038e57806318160ddd146103b2576101e5565b8063022c0d9f146101ea578063023b1fc91461027857806306fdde0314610299575b600080fd5b6102766004803603608081101561020057600080fd5b8135916020810135916001600160a01b03604083013516919081019060808101606082013564010000000081111561023757600080fd5b82018360208201111561024957600080fd5b8035906020019184600183028401116401000000008311171561026b57600080fd5b509092509050610677565b005b6102766004803603602081101561028e57600080fd5b503561ffff16610bd1565b6102a1610cb3565b6040805160208082528351818301528351919283929083019185019080838360005b838110156102db5781810151838201526020016102c3565b50505050905090810190601f1680156103085780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61031e610ce1565b604080516001600160701b03948516815292909316602083015263ffffffff168183015290519081900360600190f35b61037a6004803603604081101561036457600080fd5b506001600160a01b038135169060200135610d0b565b604080519115158252519081900360200190f35b610396610d22565b604080516001600160a01b039092168252519081900360200190f35b6103ba610d31565b60408051918252519081900360200190f35b61037a600480360360608110156103e257600080fd5b506001600160a01b03813581169160208101359091169060400135610d37565b61040a610dd1565b6040805161ffff9092168252519081900360200190f35b6103ba610de2565b610431610e06565b6040805160ff9092168252519081900360200190f35b6103ba610e0b565b6103ba610e11565b6103ba610e17565b6103ba6004803603602081101561047557600080fd5b50356001600160a01b0316610e1d565b6103ba6004803603602081101561049b57600080fd5b50356001600160a01b0316611117565b6103ba611129565b6103ba600480360360208110156104c957600080fd5b50356001600160a01b031661112f565b610396611141565b610507600480360360208110156104f757600080fd5b50356001600160a01b0316611150565b6040805192835260208301919091528051918290030190f35b6102a16114f0565b61037a6004803603604081101561053e57600080fd5b506001600160a01b038135169060200135611512565b6102766004803603602081101561056a57600080fd5b50356001600160a01b031661151f565b6103ba6115a0565b6102766004803603602081101561059857600080fd5b50356001600160a01b03166115a6565b610276600480360360608110156105be57600080fd5b506001600160a01b03813581169160208101358216916040909101351661170b565b6103966117b6565b6103966117c5565b610276600480360360e081101561060657600080fd5b506001600160a01b03813581169160208101359091169060408101359060608101359060ff6080820135169060a08101359060c001356117d4565b6103ba6004803603604081101561065757600080fd5b506001600160a01b03813581169160200135166119cb565b6102766119e8565b600d546001146106bc576040805162461bcd60e51b81526020600482015260196024820152600080516020612426833981519152604482015290519081900360640190fd5b6000600d55841515806106cf5750600084115b61070a5760405162461bcd60e51b815260040180806020018281038252602d81526020018061246a602d913960400191505060405180910390fd5b600080610715610ce1565b5091509150816001600160701b03168710801561073a5750806001600160701b031686105b6107755760405162461bcd60e51b81526004018080602001828103825260298152602001806124e96029913960400191505060405180910390fd5b60065460075460009182916001600160a01b039182169190811690891682148015906107b35750806001600160a01b0316896001600160a01b031614155b610804576040805162461bcd60e51b815260206004820152601d60248201527f46617466696e676572646f7466756e56323a20494e56414c49445f544f000000604482015290519081900360640190fd5b8a1561081557610815828a8d611b44565b891561082657610826818a8c611b44565b86156108e157886001600160a01b031663c16c62f9338d8d8c8c6040518663ffffffff1660e01b815260040180866001600160a01b03166001600160a01b03168152602001858152602001848152602001806020018281038252848482818152602001925080828437600081840152601f19601f8201169050808301925050509650505050505050600060405180830381600087803b1580156108c857600080fd5b505af11580156108dc573d6000803e3d6000fd5b505050505b604080516370a0823160e01b815230600482015290516001600160a01b038416916370a08231916024808301926020929190829003018186803b15801561092757600080fd5b505afa15801561093b573d6000803e3d6000fd5b505050506040513d602081101561095157600080fd5b5051604080516370a0823160e01b815230600482015290519195506001600160a01b038316916370a0823191602480820192602092909190829003018186803b15801561099d57600080fd5b505afa1580156109b1573d6000803e3d6000fd5b505050506040513d60208110156109c757600080fd5b5051925060009150506001600160701b0385168a900383116109ea5760006109f9565b89856001600160701b03160383035b9050600089856001600160701b0316038311610a16576000610a25565b89856001600160701b03160383035b90506000821180610a365750600081115b610a715760405162461bcd60e51b815260040180806020018281038252602c8152602001806123d8602c913960400191505060405180910390fd5b600754600090610aaf90610a91908590600160a01b900461ffff16611cc8565b610aa3876103e863ffffffff611cc816565b9063ffffffff611d2b16565b600754909150600090610ad290610a91908590600160a01b900461ffff16611cc8565b9050610b03620f4240610af76001600160701b038b8116908b1663ffffffff611cc816565b9063ffffffff611cc816565b610b13838363ffffffff611cc816565b1015610b5d576040805162461bcd60e51b815260206004820152601460248201527346617466696e676572646f7466756e56323a204b60601b604482015290519081900360640190fd5b5050610b6b84848888611d7b565b60408051838152602081018390528082018d9052606081018c905290516001600160a01b038b169133917fd78ad95fa46c994b6551d0da85fc275fe613ce37657fb8d5e3d130840159d8229181900360800190a350506001600d55505050505050505050565b6008546001600160a01b03163314610c30576040805162461bcd60e51b815260206004820152601c60248201527f46617466696e676572646f7466756e56323a20464f5242494444454e00000000604482015290519081900360640190fd5b61ffff811660031480610c47575061ffff81166005145b80610c56575061ffff8116600a145b610c915760405162461bcd60e51b81526004018080602001828103825260228152602001806124046022913960400191505060405180910390fd5b6007805461ffff909216600160a01b0261ffff60a01b19909216919091179055565b604051806040016040528060128152602001712330ba3334b733b2b93237ba333ab7102b1960711b81525081565b6009546001600160701b0380821692600160701b830490911691600160e01b900463ffffffff1690565b6000610d18338484611f4a565b5060015b92915050565b6006546001600160a01b031681565b60005481565b6001600160a01b038316600090815260026020908152604080832033845290915281205460001914610dbc576001600160a01b0384166000908152600260209081526040808320338452909152902054610d97908363ffffffff611d2b16565b6001600160a01b03851660009081526002602090815260408083203384529091529020555b610dc7848484611fac565b5060019392505050565b600754600160a01b900461ffff1681565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b601281565b60035481565b600a5481565b600b5481565b6000600d54600114610e64576040805162461bcd60e51b81526020600482015260196024820152600080516020612426833981519152604482015290519081900360640190fd5b6000600d81905580610e74610ce1565b50600654604080516370a0823160e01b815230600482015290519395509193506000926001600160a01b03909116916370a08231916024808301926020929190829003018186803b158015610ec857600080fd5b505afa158015610edc573d6000803e3d6000fd5b505050506040513d6020811015610ef257600080fd5b5051600754604080516370a0823160e01b815230600482015290519293506000926001600160a01b03909216916370a0823191602480820192602092909190829003018186803b158015610f4557600080fd5b505afa158015610f59573d6000803e3d6000fd5b505050506040513d6020811015610f6f57600080fd5b505190506000610f8e836001600160701b03871663ffffffff611d2b16565b90506000610fab836001600160701b03871663ffffffff611d2b16565b90506000610fb98787612066565b60005490915080610ff657610fe26103e8610aa3610fdd878763ffffffff611cc816565b6121b3565b9850610ff160006103e8612205565b611045565b6110426001600160701b038916611013868463ffffffff611cc816565b8161101a57fe5b046001600160701b038916611035868563ffffffff611cc816565b8161103c57fe5b0461229b565b98505b600089116110845760405162461bcd60e51b81526004018080602001828103825260308152602001806125126030913960400191505060405180910390fd5b61108e8a8a612205565b61109a86868a8a611d7b565b81156110ca576009546110c6906001600160701b0380821691600160701b90041663ffffffff611cc816565b600c555b6040805185815260208101859052815133927f4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f928290030190a250506001600d5550949695505050505050565b60016020526000908152604090205481565b600c5481565b60046020526000908152604090205481565b6008546001600160a01b031681565b600080600d54600114611198576040805162461bcd60e51b81526020600482015260196024820152600080516020612426833981519152604482015290519081900360640190fd5b6000600d819055806111a8610ce1565b50600654600754604080516370a0823160e01b815230600482015290519496509294506001600160a01b039182169391169160009184916370a08231916024808301926020929190829003018186803b15801561120457600080fd5b505afa158015611218573d6000803e3d6000fd5b505050506040513d602081101561122e57600080fd5b5051604080516370a0823160e01b815230600482015290519192506000916001600160a01b038516916370a08231916024808301926020929190829003018186803b15801561127c57600080fd5b505afa158015611290573d6000803e3d6000fd5b505050506040513d60208110156112a657600080fd5b5051306000908152600160205260408120549192506112c58888612066565b600054909150806112dc848763ffffffff611cc816565b816112e357fe5b049a50806112f7848663ffffffff611cc816565b816112fe57fe5b04995060008b118015611311575060008a115b61134c5760405162461bcd60e51b81526004018080602001828103825260308152602001806124b96030913960400191505060405180910390fd5b61135630846122b3565b611361878d8d611b44565b61136c868d8c611b44565b604080516370a0823160e01b815230600482015290516001600160a01b038916916370a08231916024808301926020929190829003018186803b1580156113b257600080fd5b505afa1580156113c6573d6000803e3d6000fd5b505050506040513d60208110156113dc57600080fd5b5051604080516370a0823160e01b815230600482015290519196506001600160a01b038816916370a0823191602480820192602092909190829003018186803b15801561142857600080fd5b505afa15801561143c573d6000803e3d6000fd5b505050506040513d602081101561145257600080fd5b5051935061146285858b8b611d7b565b81156114925760095461148e906001600160701b0380821691600160701b90041663ffffffff611cc816565b600c555b604080518c8152602081018c905281516001600160a01b038f169233927fdccd412f0b1252819cb1fd330b93224ca42612892bb3f4f789976e6d81936496929081900390910190a35050505050505050506001600d81905550915091565b6040518060400160405280600681526020016523232316ab1960d11b81525081565b6000610d18338484611fac565b6008546001600160a01b0316331461157e576040805162461bcd60e51b815260206004820152601c60248201527f46617466696e676572646f7466756e56323a20464f5242494444454e00000000604482015290519081900360640190fd5b600880546001600160a01b0319166001600160a01b0392909216919091179055565b6103e881565b600d546001146115eb576040805162461bcd60e51b81526020600482015260196024820152600080516020612426833981519152604482015290519081900360640190fd5b6000600d55600654600754600954604080516370a0823160e01b815230600482015290516001600160a01b03948516949093169261169a9285928792611695926001600160701b03169185916370a0823191602480820192602092909190829003018186803b15801561165d57600080fd5b505afa158015611671573d6000803e3d6000fd5b505050506040513d602081101561168757600080fd5b50519063ffffffff611d2b16565b611b44565b600954604080516370a0823160e01b81523060048201529051611701928492879261169592600160701b90046001600160701b0316916001600160a01b038616916370a0823191602480820192602092909190829003018186803b15801561165d57600080fd5b50506001600d5550565b6005546001600160a01b0316331461176a576040805162461bcd60e51b815260206004820152601c60248201527f46617466696e676572646f7466756e56323a20464f5242494444454e00000000604482015290519081900360640190fd5b600680546001600160a01b03199081166001600160a01b039586161790915560078054600880548416948716949094179093559116919092161761ffff60a01b1916600560a11b179055565b6005546001600160a01b031681565b6007546001600160a01b031681565b42841015611829576040805162461bcd60e51b815260206004820152601a60248201527f46617466696e676572646f7466756e56323a2045585049524544000000000000604482015290519081900360640190fd5b6003546001600160a01b0380891660008181526004602090815260408083208054600180820190925582517f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98186015280840196909652958d166060860152608085018c905260a085019590955260c08085018b90528151808603909101815260e08501825280519083012061190160f01b6101008601526101028501969096526101228085019690965280518085039096018652610142840180825286519683019690962095839052610162840180825286905260ff89166101828501526101a284018890526101c28401879052519193926101e280820193601f1981019281900390910190855afa158015611944573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b0381161580159061197a5750886001600160a01b0316816001600160a01b0316145b6119b55760405162461bcd60e51b81526004018080602001828103825260248152602001806124466024913960400191505060405180910390fd5b6119c0898989611f4a565b505050505050505050565b600260209081526000928352604080842090915290825290205481565b600d54600114611a2d576040805162461bcd60e51b81526020600482015260196024820152600080516020612426833981519152604482015290519081900360640190fd5b6000600d55600654604080516370a0823160e01b81523060048201529051611b3d926001600160a01b0316916370a08231916024808301926020929190829003018186803b158015611a7e57600080fd5b505afa158015611a92573d6000803e3d6000fd5b505050506040513d6020811015611aa857600080fd5b5051600754604080516370a0823160e01b815230600482015290516001600160a01b03909216916370a0823191602480820192602092909190829003018186803b158015611af557600080fd5b505afa158015611b09573d6000803e3d6000fd5b505050506040513d6020811015611b1f57600080fd5b50516009546001600160701b0380821691600160701b900416611d7b565b6001600d55565b604080518082018252601981527f7472616e7366657228616464726573732c75696e74323536290000000000000060209182015281516001600160a01b0385811660248301526044808301869052845180840390910181526064909201845291810180516001600160e01b031663a9059cbb60e01b1781529251815160009460609489169392918291908083835b60208310611bf15780518252601f199092019160209182019101611bd2565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d8060008114611c53576040519150601f19603f3d011682016040523d82523d6000602084013e611c58565b606091505b5091509150818015611c86575080511580611c865750808060200190516020811015611c8357600080fd5b50515b611cc15760405162461bcd60e51b81526004018080602001828103825260228152602001806124976022913960400191505060405180910390fd5b5050505050565b6000811580611ce357505080820282828281611ce057fe5b04145b610d1c576040805162461bcd60e51b815260206004820152601460248201527364732d6d6174682d6d756c2d6f766572666c6f7760601b604482015290519081900360640190fd5b80820382811115610d1c576040805162461bcd60e51b815260206004820152601560248201527464732d6d6174682d7375622d756e646572666c6f7760581b604482015290519081900360640190fd5b6001600160701b038411801590611d9957506001600160701b038311155b611dea576040805162461bcd60e51b815260206004820152601b60248201527f46617466696e676572646f7466756e56323a204f564552464c4f570000000000604482015290519081900360640190fd5b60095463ffffffff42811691600160e01b90048116820390811615801590611e1a57506001600160701b03841615155b8015611e2e57506001600160701b03831615155b15611e9f578063ffffffff16611e5c85611e4786612351565b6001600160e01b03169063ffffffff61236316565b600a80546001600160e01b03929092169290920201905563ffffffff8116611e8784611e4787612351565b600b80546001600160e01b0392909216929092020190555b600980546dffffffffffffffffffffffffffff19166001600160701b03888116919091176dffffffffffffffffffffffffffff60701b1916600160701b8883168102919091176001600160e01b0316600160e01b63ffffffff871602179283905560408051848416815291909304909116602082015281517f1c411e9a96e071241c2f21f7726b17ae89e3cab4c78be50e062b03a9fffbbad1929181900390910190a1505050505050565b6001600160a01b03808416600081815260026020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b6001600160a01b038316600090815260016020526040902054611fd5908263ffffffff611d2b16565b6001600160a01b03808516600090815260016020526040808220939093559084168152205461200a908263ffffffff61238816565b6001600160a01b0380841660008181526001602090815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b600080600560009054906101000a90046001600160a01b03166001600160a01b031663017e7e586040518163ffffffff1660e01b815260040160206040518083038186803b1580156120b757600080fd5b505afa1580156120cb573d6000803e3d6000fd5b505050506040513d60208110156120e157600080fd5b5051600c546001600160a01b03821615801594509192509061219f57801561219a576000612124610fdd6001600160701b0388811690881663ffffffff611cc816565b90506000612131836121b3565b90508082111561219757600061215f612150848463ffffffff611d2b16565b6000549063ffffffff611cc816565b90506000612173848463ffffffff61238816565b9050600081838161218057fe5b0490508015612193576121938782612205565b5050505b50505b6121ab565b80156121ab576000600c555b505092915050565b600060038211156121f6575080600160028204015b818110156121f0578091506002818285816121df57fe5b0401816121e857fe5b0490506121c8565b50612200565b8115612200575060015b919050565b600054612218908263ffffffff61238816565b60009081556001600160a01b038316815260016020526040902054612243908263ffffffff61238816565b6001600160a01b03831660008181526001602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b60008183106122aa57816122ac565b825b9392505050565b6001600160a01b0382166000908152600160205260409020546122dc908263ffffffff611d2b16565b6001600160a01b03831660009081526001602052604081209190915554612309908263ffffffff611d2b16565b60009081556040805183815290516001600160a01b038516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef919081900360200190a35050565b6001600160701b0316600160701b0290565b60006001600160701b0382166001600160e01b0384168161238057fe5b049392505050565b80820182811015610d1c576040805162461bcd60e51b815260206004820152601460248201527364732d6d6174682d6164642d6f766572666c6f7760601b604482015290519081900360640190fdfe46617466696e676572646f7466756e56323a20494e53554646494349454e545f494e5055545f414d4f554e5446617466696e676572646f7466756e56323a204645455f4e4f545f414c4c4f57454446617466696e676572646f7466756e56323a204c4f434b45440000000000000046617466696e676572646f7466756e56323a20494e56414c49445f5349474e415455524546617466696e676572646f7466756e56323a20494e53554646494349454e545f4f55545055545f414d4f554e5446617466696e676572646f7466756e56323a205452414e534645525f4641494c454446617466696e676572646f7466756e56323a20494e53554646494349454e545f4c49515549444954595f4255524e454446617466696e676572646f7466756e56323a20494e53554646494349454e545f4c495155494449545946617466696e676572646f7466756e56323a20494e53554646494349454e545f4c49515549444954595f4d494e544544a265627a7a723158204c80fba3c8a7a5ba327dfdb8afc3ae51622afa6909f2e73a4332641cde5bc32864736f6c63430005100032

10100:12191:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10100:12191:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18372:2488;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;18372:2488:0;;;;;;;;;;;;-1:-1:-1;;;;;18372:2488:0;;;;;;;;;;;;;21:11:-1;5:28;;2:2;;;46:1;43;36:12;2:2;18372:2488:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;18372:2488: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;-1:-1;18372:2488:0;;-1:-1:-1;18372:2488:0;-1:-1:-1;18372:2488:0;:::i;:::-;;21691:384;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;21691:384:0;;;;:::i;6303:50::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;6303:50:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11479:313;;;:::i;:::-;;;;-1:-1:-1;;;;;11479:313:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8406:147;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;8406:147:0;;-1:-1:-1;;;;;8406:147:0;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;10444:21;;;:::i;:::-;;;;-1:-1:-1;;;;;10444:21:0;;;;;;;;;;;;;;6449:23;;;:::i;:::-;;;;;;;;;;;;;;;;8708:367;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;8708:367:0;;;;;;;;;;;;;;;;;:::i;10532:20::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;6740:117;;;:::i;6407:35::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;6597:31;;;:::i;11111:32::-;;;:::i;11150:::-;;;:::i;15383:1299::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;15383:1299:0;-1:-1:-1;;;;;15383:1299:0;;:::i;6479:41::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;6479:41:0;-1:-1:-1;;;;;6479:41:0;;:::i;11189:17::-;;;:::i;6864:38::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;6864:38:0;-1:-1:-1;;;;;6864:38:0;;:::i;10576:24::-;;;:::i;16794:1466::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;16794:1466:0;-1:-1:-1;;;;;16794:1466:0;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6360:40;;;:::i;8561:139::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;8561:139:0;;-1:-1:-1;;;;;8561:139:0;;;;;;:::i;22121:167::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;22121:167:0;-1:-1:-1;;;;;22121:167:0;;:::i;10254:48::-;;;:::i;20909:434::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;20909:434:0;-1:-1:-1;;;;;20909:434:0;;:::i;12733:393::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;12733:393:0;;;;;;;;;;;;;;;;;;;:::i;10415:22::-;;;:::i;10472:21::-;;;:::i;9083:1010::-;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;;;;;;9083:1010:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;9083:1010:0;;;;;;;;:::i;6527:61::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;6527:61:0;;;;;;;;;;:::i;21392:221::-;;;:::i;18372:2488::-;11362:8;;11374:1;11362:13;11354:51;;;;;-1:-1:-1;;;11354:51:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;11354:51:0;;;;;;;;;;;;;;;11427:1;11416:8;:12;18543:14;;;;:32;;;18574:1;18561:10;:14;18543:32;18521:127;;;;-1:-1:-1;;;18521:127:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18660:17;18679;18702:13;:11;:13::i;:::-;-1:-1:-1;18659:56:0;;-1:-1:-1;18659:56:0;-1:-1:-1;;;;;;18763:22:0;;;;:48;;;;-1:-1:-1;;;;;;18789:22:0;;;;18763:48;18741:139;;;;-1:-1:-1;;;18741:139:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19042:6;;19081;;18893:13;;;;-1:-1:-1;;;;;19042:6:0;;;;19081;;;;19110:13;;;;;;;:30;;-1:-1:-1;;;;;;19127:13:0;;;;;;;;19110:30;19102:72;;;;;-1:-1:-1;;;19102:72:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;19193:14;;19189:58;;19209:38;19223:7;19232:2;19236:10;19209:13;:38::i;:::-;19300:14;;19296:58;;19316:38;19330:7;19339:2;19343:10;19316:13;:38::i;:::-;19407:15;;19403:233;;19466:2;-1:-1:-1;;;;;19441:50:0;;19514:10;19547;19580;19613:4;;19441:195;;;;;;;;;;;;;-1:-1:-1;;;;;19441:195:0;-1:-1:-1;;;;;19441:195:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;19441:195:0;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19441:195:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;19441:195:0;;;;19403:233;19662:40;;;-1:-1:-1;;;19662:40:0;;19696:4;19662:40;;;;;;-1:-1:-1;;;;;19662:25:0;;;-1:-1:-1;;19662:40:0;;;;;;;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;19662:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;19662:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;19662:40:0;19728;;;-1:-1:-1;;;19728:40:0;;19762:4;19728:40;;;;;;19662;;-1:-1:-1;;;;;;19728:25:0;;;-1:-1:-1;;19728:40:0;;;;;19662;;19728;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;19728:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;19728:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;19728:40:0;;-1:-1:-1;19790:14:0;;-1:-1:-1;;;;;;;19818:22:0;;;;;19807:33;;:101;;19907:1;19807:101;;;-1:-1:-1;;;;;19868:22:0;;;;;19856:35;;19807:101;19790:118;-1:-1:-1;19919:14:0;-1:-1:-1;;;;;19947:22:0;;;;;19936:33;;:101;;20036:1;19936:101;;;-1:-1:-1;;;;;19997:22:0;;;;;19985:35;;19936:101;19919:118;;20082:1;20070:9;:13;:30;;;;20099:1;20087:9;:13;20070:30;20048:124;;;;-1:-1:-1;;;20048:124:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20354:6;;20275:21;;20299:77;;20340:21;;:9;;-1:-1:-1;;;20354:6:0;;;;20340:13;:21::i;:::-;20299:18;:8;20312:4;20299:18;:12;:18;:::i;:::-;:22;:77;:22;:77;:::i;:::-;20470:6;;20275:101;;-1:-1:-1;20391:21:0;;20415:77;;20456:21;;:9;;-1:-1:-1;;;20470:6:0;;;;20456:13;:21::i;20415:77::-;20391:101;-1:-1:-1;20596:45:0;20631:9;20596:30;-1:-1:-1;;;;;20596:15:0;;;;:30;;:19;:30::i;:::-;:34;:45;:34;:45;:::i;:::-;20533:38;:16;20554;20533:38;:20;:38;:::i;:::-;:108;;20507:190;;;;;-1:-1:-1;;;20507:190:0;;;;;;;;;;;;-1:-1:-1;;;20507:190:0;;;;;;;;;;;;;;;11439:1;;20721:49;20729:8;20739;20749:9;20760;20721:7;:49::i;:::-;20786:66;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;20786:66:0;;;20791:10;;20786:66;;;;;;;;;-1:-1:-1;;11462:1:0;11451:8;:12;-1:-1:-1;;;;;;;;;18372:2488:0:o;21691:384::-;21771:9;;-1:-1:-1;;;;;21771:9:0;21757:10;:23;21749:64;;;;;-1:-1:-1;;;21749:64:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;21846:29;;;10704:1;21846:29;;:79;;-1:-1:-1;21896:29:0;;;10762:1;21896:29;21846:79;:127;;;-1:-1:-1;21946:27:0;;;10818:2;21946:27;21846:127;21824:211;;;;-1:-1:-1;;;21824:211:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;22048:6;:19;;;;;;;-1:-1:-1;;;22048:19:0;-1:-1:-1;;;;22048:19:0;;;;;;;;;21691:384::o;6303:50::-;;;;;;;;;;;;;-1:-1:-1;;;6303:50:0;;;;;:::o;11479:313::-;11694:8;;-1:-1:-1;;;;;11694:8:0;;;;-1:-1:-1;;;11725:8:0;;;;;;-1:-1:-1;;;11766:18:0;;;;;11479:313::o;8406:147::-;8470:4;8487:36;8496:10;8508:7;8517:5;8487:8;:36::i;:::-;-1:-1:-1;8541:4:0;8406:147;;;;;:::o;10444:21::-;;;-1:-1:-1;;;;;10444:21:0;;:::o;6449:23::-;;;;:::o;8708:367::-;-1:-1:-1;;;;;8841:15:0;;8820:4;8841:15;;;:9;:15;;;;;;;;8857:10;8841:27;;;;;;;;-1:-1:-1;;8841:39:0;8837:172;;-1:-1:-1;;;;;8927:15:0;;;;;;:9;:15;;;;;;;;8943:10;8927:27;;;;;;;;:70;;8977:5;8927:31;:70::i;:::-;-1:-1:-1;;;;;8897:15:0;;;;;;:9;:15;;;;;;;;8913:10;8897:27;;;;;;;:100;8837:172;9019:26;9029:4;9035:2;9039:5;9019:9;:26::i;:::-;-1:-1:-1;9063:4:0;8708:367;;;;;:::o;10532:20::-;;;-1:-1:-1;;;10532:20:0;;;;;:::o;6740:117::-;6791:66;6740:117;:::o;6407:35::-;6440:2;6407:35;:::o;6597:31::-;;;;:::o;11111:32::-;;;;:::o;11150:::-;;;;:::o;15383:1299::-;15432:14;11362:8;;11374:1;11362:13;11354:51;;;;;-1:-1:-1;;;11354:51:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;11354:51:0;;;;;;;;;;;;;;;11427:1;11416:8;:12;;;11427:1;15502:13;:11;:13::i;:::-;-1:-1:-1;15564:6:0;;15557:39;;;-1:-1:-1;;;15557:39:0;;15590:4;15557:39;;;;;;15459:56;;-1:-1:-1;15459:56:0;;-1:-1:-1;;;;;;;;15564:6:0;;;;-1:-1:-1;;15557:39:0;;;;;;;;;;;;;;15564:6;15557:39;;;5:2:-1;;;;30:1;27;20:12;5:2;15557:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;15557:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;15557:39:0;15630:6;;15623:39;;;-1:-1:-1;;;15623:39:0;;15656:4;15623:39;;;;;;15557;;-1:-1:-1;;;;;;;;15630:6:0;;;;-1:-1:-1;;15623:39:0;;;;;15557;;15623;;;;;;;;15630:6;15623:39;;;5:2:-1;;;;30:1;27;20:12;5:2;15623:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;15623:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;15623:39:0;;-1:-1:-1;15673:12:0;15688:23;:8;-1:-1:-1;;;;;15688:23:0;;:12;:23::i;:::-;15673:38;-1:-1:-1;15722:12:0;15737:23;:8;-1:-1:-1;;;;;15737:23:0;;:12;:23::i;:::-;15722:38;;15773:10;15786:30;15795:9;15806;15786:8;:30::i;:::-;15827:17;15847:11;15773:43;;-1:-1:-1;15951:17:0;15947:402;;15997:54;10295:7;15997:31;16007:20;:7;16019;16007:20;:11;:20;:::i;:::-;15997:9;:31::i;:54::-;15985:66;;16066:36;16080:1;10295:7;16066:5;:36::i;:::-;15947:402;;;16202:135;-1:-1:-1;;;;;16229:37:0;;:25;:7;16241:12;16229:11;:25::i;:::-;:37;;;;;;-1:-1:-1;;;;;16285:37:0;;:25;:7;16297:12;16285:11;:25::i;:::-;:37;;;;;;16202:8;:135::i;:::-;16190:147;;15947:402;16379:1;16367:9;:13;16359:74;;;;-1:-1:-1;;;16359:74:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16444:20;16450:2;16454:9;16444:5;:20::i;:::-;16477:49;16485:8;16495;16505:9;16516;16477:7;:49::i;:::-;16541:5;16537:47;;;16575:8;;16556:28;;-1:-1:-1;;;;;16561:8:0;;;;-1:-1:-1;;;16575:8:0;;;16556:18;:28::i;:::-;16548:5;:36;16537:47;16640:34;;;;;;;;;;;;;;16645:10;;16640:34;;;;;;;;-1:-1:-1;;11462:1:0;11451:8;:12;-1:-1:-1;15383:1299:0;;;-1:-1:-1;;;;;;15383:1299:0:o;6479:41::-;;;;;;;;;;;;;:::o;11189:17::-;;;;:::o;6864:38::-;;;;;;;;;;;;;:::o;10576:24::-;;;-1:-1:-1;;;;;10576:24:0;;:::o;16794:1466::-;16859:12;16873;11362:8;;11374:1;11362:13;11354:51;;;;;-1:-1:-1;;;11354:51:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;11354:51:0;;;;;;;;;;;;;;;11427:1;11416:8;:12;;;11427:1;16941:13;:11;:13::i;:::-;-1:-1:-1;16998:6:0;;17048;;17096:40;;;-1:-1:-1;;;17096:40:0;;17130:4;17096:40;;;;;;16898:56;;-1:-1:-1;16898:56:0;;-1:-1:-1;;;;;;16998:6:0;;;;17048;;;-1:-1:-1;;16998:6:0;;-1:-1:-1;;17096:40:0;;;;;;;;;;;;;;16998:6;17096:40;;;5:2:-1;;;;30:1;27;20:12;5:2;17096:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;17096:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;17096:40:0;17163;;;-1:-1:-1;;;17163:40:0;;17197:4;17163:40;;;;;;17096;;-1:-1:-1;;;;;;;;17163:25:0;;;-1:-1:-1;;17163:40:0;;;;;17096;;17163;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;17163:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;17163:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;17163:40:0;17249:4;17214:14;17231:24;;;:9;17163:40;17231:24;;;;;17163:40;;-1:-1:-1;17281:30:0;17290:9;17301;17281:8;:30::i;:::-;17322:17;17342:11;17268:43;;-1:-1:-1;17342:11:0;17452:23;:9;17466:8;17452:23;:13;:23;:::i;:::-;:38;;;;;;;-1:-1:-1;17585:12:0;17559:23;:9;17573:8;17559:23;:13;:23;:::i;:::-;:38;;;;;;17549:48;;17688:1;17678:7;:11;:26;;;;;17703:1;17693:7;:11;17678:26;17656:124;;;;-1:-1:-1;;;17656:124:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17791:31;17805:4;17812:9;17791:5;:31::i;:::-;17833:35;17847:7;17856:2;17860:7;17833:13;:35::i;:::-;17879;17893:7;17902:2;17906:7;17879:13;:35::i;:::-;17936:40;;;-1:-1:-1;;;17936:40:0;;17970:4;17936:40;;;;;;-1:-1:-1;;;;;17936:25:0;;;-1:-1:-1;;17936:40:0;;;;;;;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;17936:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;17936:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;17936:40:0;17998;;;-1:-1:-1;;;17998:40:0;;18032:4;17998:40;;;;;;17936;;-1:-1:-1;;;;;;17998:25:0;;;-1:-1:-1;;17998:40:0;;;;;17936;;17998;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;5:2;17998:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;17998:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;17998:40:0;;-1:-1:-1;18051:49:0;18059:8;17998:40;18079:9;18090;18051:7;:49::i;:::-;18115:5;18111:47;;;18149:8;;18130:28;;-1:-1:-1;;;;;18135:8:0;;;;-1:-1:-1;;;18149:8:0;;;18130:18;:28::i;:::-;18122:5;:36;18111:47;18214:38;;;;;;;;;;;;;;-1:-1:-1;;;;;18214:38:0;;;18219:10;;18214:38;;;;;;;;;;;11439:1;;;;;;;;;11462;11451:8;:12;;;;16794:1466;;;:::o;6360:40::-;;;;;;;;;;;;;-1:-1:-1;;;6360:40:0;;;;;:::o;8561:139::-;8621:4;8638:32;8648:10;8660:2;8664:5;8638:9;:32::i;22121:167::-;22205:9;;-1:-1:-1;;;;;22205:9:0;22191:10;:23;22183:64;;;;;-1:-1:-1;;;22183:64:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;22258:9;:22;;-1:-1:-1;;;;;;22258:22:0;-1:-1:-1;;;;;22258:22:0;;;;;;;;;;22121:167::o;10254:48::-;10295:7;10254:48;:::o;20909:434::-;11362:8;;11374:1;11362:13;11354:51;;;;;-1:-1:-1;;;11354:51:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;11354:51:0;;;;;;;;;;;;;;;11427:1;11416:8;:12;20978:6;;21028;;21172:8;;21127:40;;;-1:-1:-1;;;21127:40:0;;21161:4;21127:40;;;;;;-1:-1:-1;;;;;20978:6:0;;;;21028;;;;21060:132;;20978:6;;21110:2;;21127:54;;-1:-1:-1;;;;;21172:8:0;;20978:6;;-1:-1:-1;;21127:40:0;;;;;;;;;;;;;;;20978:6;21127:40;;;5:2:-1;;;;30:1;27;20:12;5:2;21127:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;21127:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;21127:40:0;;:54;:44;:54;:::i;:::-;21060:13;:132::i;:::-;21315:8;;21270:40;;;-1:-1:-1;;;21270:40:0;;21304:4;21270:40;;;;;;21203:132;;21231:7;;21253:2;;21270:54;;-1:-1:-1;;;21315:8:0;;-1:-1:-1;;;;;21315:8:0;;-1:-1:-1;;;;;21270:25:0;;;-1:-1:-1;;21270:40:0;;;;;;;;;;;;;;;:25;:40;;;5:2:-1;;;;30:1;27;20:12;21203:132:0;-1:-1:-1;;11462:1:0;11451:8;:12;-1:-1:-1;20909:434:0:o;12733:393::-;12883:7;;-1:-1:-1;;;;;12883:7:0;12869:10;:21;12861:62;;;;;-1:-1:-1;;;12861:62:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;12954:6;:16;;-1:-1:-1;;;;;;12954:16:0;;;-1:-1:-1;;;;;12954:16:0;;;;;;;12981:6;:16;;13035:9;:22;;;;;;;;;;;;;;12981:16;;;;;;;-1:-1:-1;;;;13068:22:0;-1:-1:-1;;;13068:22:0;;;12733:393::o;10415:22::-;;;-1:-1:-1;;;;;10415:22:0;;:::o;10472:21::-;;;-1:-1:-1;;;;;10472:21:0;;:::o;9083:1010::-;9299:15;9287:8;:27;;9279:66;;;;;-1:-1:-1;;;9279:66:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;9461:16;;-1:-1:-1;;;;;9705:13:0;;;9356:14;9705:13;;;:6;:13;;;;;;;;:15;;-1:-1:-1;9705:15:0;;;;;;9528:250;;6791:66;9528:250;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;9528:250:0;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;9528:250:0;;;;;9496:301;;;;;;-1:-1:-1;;;9397:415:0;;;;;;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;9397:415:0;;;;;;9373:450;;;;;;;;;9861:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9356:14;;-1:-1:-1;9861:26:0;;;;;-1:-1:-1;;9861:26:0;;;;;;;;;;-1:-1:-1;9861:26:0;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;9861:26:0;;-1:-1:-1;;9861:26:0;;;-1:-1:-1;;;;;;;9920:30:0;;;;;;:59;;-1:-1:-1;;;;;;9954:25:0;;;;;;;9920:59;9898:145;;;;-1:-1:-1;;;9898:145:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10054:31;10063:5;10070:7;10079:5;10054:8;:31::i;:::-;9083:1010;;;;;;;;;:::o;6527:61::-;;;;;;;;;;;;;;;;;;;;;;;;:::o;21392:221::-;11362:8;;11374:1;11362:13;11354:51;;;;;-1:-1:-1;;;11354:51:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;11354:51:0;;;;;;;;;;;;;;;11427:1;11416:8;:12;21462:6;;21455:39;;;-1:-1:-1;;;21455:39:0;;21488:4;21455:39;;;;;;21433:172;;-1:-1:-1;;;;;21462:6:0;;-1:-1:-1;;21455:39:0;;;;;;;;;;;;;;21462:6;21455:39;;;5:2:-1;;;;30:1;27;20:12;5:2;21455:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;21455:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;21455:39:0;21516:6;;21509:39;;;-1:-1:-1;;;21509:39:0;;21542:4;21509:39;;;;;;-1:-1:-1;;;;;21516:6:0;;;;-1:-1:-1;;21509:39:0;;;;;21455;;21509;;;;;;;;21516:6;21509:39;;;5:2:-1;;;;30:1;27;20:12;5:2;21509:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;21509:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;21509:39:0;21563:8;;-1:-1:-1;;;;;21563:8:0;;;;-1:-1:-1;;;21586:8:0;;;21433:7;:172::i;:::-;11462:1;11451:8;:12;21392:221::o;11800:356::-;10370:34;;;;;;;;;;;;;;;;;11942:43;;-1:-1:-1;;;;;11942:43:0;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;11942:43:0;;;;;;25:18:-1;;;61:17;;-1:-1;;;;;182:15;-1:-1;;;179:29;160:49;;11917:79:0;;;;-1:-1:-1;;11896:17:0;;11917:10;;;11942:43;11917:79;;;25:18:-1;11917:79:0;;25:18:-1;36:153;66:2;61:3;58:11;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;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;;;11917: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;;11881:115:0;;;;12029:7;:57;;;;-1:-1:-1;12041:11:0;;:16;;:44;;;12072:4;12061:24;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;12061:24:0;12041:44;12007:141;;;;-1:-1:-1;;;12007:141:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11800:356;;;;;:::o;22700:142::-;22752:6;22779;;;:30;;-1:-1:-1;;22794:5:0;;;22808:1;22803;22794:5;22803:1;22789:15;;;;;:20;22779:30;22771:63;;;;;-1:-1:-1;;;22771:63:0;;;;;;;;;;;;-1:-1:-1;;;22771:63:0;;;;;;;;;;;;;;22563:129;22647:5;;;22642:16;;;;22634:50;;;;;-1:-1:-1;;;22634:50:0;;;;;;;;;;;;-1:-1:-1;;;22634:50:0;;;;;;;;;;;;;;13211:1018;-1:-1:-1;;;;;13380:23:0;;;;;:50;;-1:-1:-1;;;;;;13407:23:0;;;13380:50;13358:127;;;;;-1:-1:-1;;;13358:127:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;13602:18;;13527:25;:15;:25;;;-1:-1:-1;;;13602:18:0;;;;13585:35;;;13658:15;;;;;;:33;;-1:-1:-1;;;;;;13677:14:0;;;;13658:33;:51;;;;-1:-1:-1;;;;;;13695:14:0;;;;13658:51;13654:404;;;13898:11;13828:81;;13833:44;13867:9;13833:27;13850:9;13833:16;:27::i;:::-;-1:-1:-1;;;;;13833:33:0;;;:44::i;:::-;13787:20;:122;;-1:-1:-1;;;;;13828:50:0;;;;:81;;;;13787:122;;;13965:81;;;13970:44;14004:9;13970:27;13987:9;13970:16;:27::i;:44::-;13924:20;:122;;-1:-1:-1;;;;;13965:50:0;;;;:81;;;;13924:122;;;13654:404;14068:8;:28;;-1:-1:-1;;14068:28:0;-1:-1:-1;;;;;14068:28:0;;;;;;;-1:-1:-1;;;;14107:28:0;-1:-1:-1;;;14107:28:0;;;;;;;;;-1:-1:-1;;;;;14146:35:0;-1:-1:-1;;;14146:35:0;;;;;;;;;14197:24;;;14202:8;;;14197:24;;14212:8;;;;;;;14197:24;;;;;;;;;;;;;;;;;13211:1018;;;;;;:::o;8001:169::-;-1:-1:-1;;;;;8082:16:0;;;;;;;:9;:16;;;;;;;;:25;;;;;;;;;;;;;:33;;;8131:31;;;;;;;;;;;;;;;;;8001:169;;;:::o;8178:220::-;-1:-1:-1;;;;;8272:15:0;;;;;;-1:-1:-1;8272:15:0;;;;;;:26;;8292:5;8272:19;:26::i;:::-;-1:-1:-1;;;;;8254:15:0;;;;;;;-1:-1:-1;8254:15:0;;;;;;:44;;;;8325:13;;;;;;;:24;;8343:5;8325:17;:24::i;:::-;-1:-1:-1;;;;;8309:13:0;;;;;;;-1:-1:-1;8309:13:0;;;;;;;;;:40;;;;8365:25;;;;;;;8309:13;;8365:25;;;;;;;;;;;;;8178:220;;;:::o;14319:952::-;14482:7;;14456:42;;;-1:-1:-1;;;14456:42:0;;;;14417:10;;;;-1:-1:-1;;;;;14482:7:0;;;;14456:40;;:42;;;;;;;;;;;;;;;14482:7;14456:42;;;5:2:-1;;;;30:1;27;20:12;5:2;14456:42:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;14456:42:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;14456:42:0;14561:5;;-1:-1:-1;;;;;14517:19:0;;;;;;-1:-1:-1;14456:42:0;;-1:-1:-1;14561:5:0;14592:672;;14622:11;;14618:576;;14654:10;14667:41;14677:30;-1:-1:-1;;;;;14677:15:0;;;;:30;;:19;:30::i;14667:41::-;14654:54;;14727:14;14744:17;14754:6;14744:9;:17::i;:::-;14727:34;;14792:9;14784:5;:17;14780:399;;;14915:14;14932:37;14948:20;:5;14958:9;14948:20;:9;:20;:::i;:::-;14932:11;;;:37;:15;:37;:::i;:::-;14915:54;-1:-1:-1;14992:16:0;15011:20;:5;15021:9;15011:20;:9;:20;:::i;:::-;14992:39;;15054:14;15083:11;15071:9;:23;;;;;;;-1:-1:-1;15121:13:0;;15117:42;;15136:23;15142:5;15149:9;15136:5;:23::i;:::-;14780:399;;;;14618:576;;;14592:672;;;15215:11;;15211:53;;15251:1;15243:5;:9;15211:53;14319:952;;;;;;:::o;23138:303::-;23183:6;23210:1;23206;:5;23202:232;;;-1:-1:-1;23232:1:0;23265;23261;23257:5;;:9;23281:92;23292:1;23288;:5;23281:92;;;23318:1;23314:5;;23356:1;23351;23347;23343;:5;;;;;;:9;23342:15;;;;;;23338:19;;23281:92;;;23202:232;;;;23394:6;;23390:44;;-1:-1:-1;23421:1:0;23390:44;23138:303;;;:::o;7575:201::-;7648:11;;:22;;7664:5;7648:22;:15;:22;:::i;:::-;7634:11;:36;;;-1:-1:-1;;;;;7697:13:0;;;;-1:-1:-1;7697:13:0;;;;;;:24;;7715:5;7697:17;:24::i;:::-;-1:-1:-1;;;;;7681:13:0;;;;;;-1:-1:-1;7681:13:0;;;;;;;;:40;;;;7737:31;;;;;;;7681:13;;;;7737:31;;;;;;;;;;7575:201;;:::o;22924:96::-;22976:6;23003:1;22999;:5;:13;;23011:1;22999:13;;;23007:1;22999:13;22995:17;22924:96;-1:-1:-1;;;22924:96:0:o;7784:209::-;-1:-1:-1;;;;;7863:15:0;;;;;;-1:-1:-1;7863:15:0;;;;;;:26;;7883:5;7863:19;:26::i;:::-;-1:-1:-1;;;;;7845:15:0;;;;;;-1:-1:-1;7845:15:0;;;;;:44;;;;7914:11;:22;;7930:5;7914:15;:22::i;:::-;7900:11;:36;;;7952:33;;;;;;;;-1:-1:-1;;;;;7952:33:0;;;;;;;;;;;;;7784:209;;:::o;23716:120::-;-1:-1:-1;;;;;23792:10:0;-1:-1:-1;;;23792:17:0;;23716:120::o;23907:108::-;23967:9;-1:-1:-1;;;;;23997:10:0;;-1:-1:-1;;;;;23993:14:0;;23997:10;23993:14;;;;;;23907:108;-1:-1:-1;;;23907:108:0:o;22427:128::-;22511:5;;;22506:16;;;;22498:49;;;;;-1:-1:-1;;;22498:49:0;;;;;;;;;;;;-1:-1:-1;;;22498:49:0;;;;;;;;;;;;;

bzzr://4c80fba3c8a7a5ba327dfdb8afc3ae51622afa6909f2e73a4332641cde5bc328