Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

Outline

• interface ISoulSwapFactory
•    - function feeTo()
•    - function feeToSetter()
•    - function migrator()
•    - function getPair(address tokenA, addr ...
•    - function createPair(address tokenA, a ...
•    - function setMigrator(address)
•    - function setFeeTo(address)
•    - function setFeeToSetter(address)
• interface ISoulSwapERC20
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address owner)
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transfer(address to, uint va ...
•    - function transferFrom(address from, a ...
•    - function DOMAIN_SEPARATOR()
•    - function PERMIT_TYPEHASH()
•    - function nonces(address owner)
•    - function permit(address owner, addres ...
• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function sub(
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function div(
•    - function mod(uint256 a, uint256 b)
•    - function mod(
•    - function min(uint256 x, uint256 y)
•    - function sqrt(uint256 y)
•  contract SoulSwapERC20 is ISoulSwa ...
•    - function _mint(address to, uint value ...
•    - function _burn(address from, uint val ...
•    - function _approve(address owner, addr ...
•    - function _transfer(address from, addr ...
•    - function approve(address spender, uin ...
•    - function transfer(address to, uint va ...
•    - function transferFrom(address from, a ...
•    - function permit(address owner, addres ...
• interface ISoulSwapCallee
•    - function soulswapCall(
• interface ISoulSwapPair
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address owner)
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transfer(address to, uint va ...
•    - function transferFrom(address from, a ...
•    - function DOMAIN_SEPARATOR()
•    - function PERMIT_TYPEHASH()
•    - function nonces(address owner)
•    - function permit(address owner, addres ...
•    - function MINIMUM_LIQUIDITY()
•    - function factory()
•    - function token0()
•    - function token1()
•    - function getReserves()
•    - function price0CumulativeLast()
•    - function price1CumulativeLast()
•    - function kLast()
•    - function mint(address to)
•    - function burn(address to)
•    - function swap(uint amount0Out, uint a ...
•    - function skim(address to)
•    - function sync()
•    - function initialize(address, address)
• interface IERC20
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address owner)
•    - function allowance(address owner, add ...
•    - function getOwner()
•    - function approve(address spender, uin ...
•    - function transfer(address recipient, ...
•    - function transferFrom(address sender, ...
• library UQ112x112
•    - function encode(uint112 y)
•    - function uqdiv(uint224 x, uint112 y)
• interface IMigrator
•    - function desiredLiquidity()
•  contract SoulSwapPair is ISoulSwap ... *
•    - function getReserves()
•    - function _safeTransfer(
•    - function initialize(address _token0, ...
•    - function _update(
•    - function _mintFee(uint112 _reserve0, ...
•    - function mint(address to)
•    - function burn(address to)
•    - function swap(
•    - function skim(address to)
•    - function sync()
•  contract SoulSwapFactory is ISoulS ...
•    - function createPair(address tokenA, a ...
•    - function setFeeTo(address _feeTo)
•    - function setMigrator(address _migrato ...
•    - function setFeeToSetter(address _feeT ...

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at ftmscan.com on 2021-09-08
*/

// SPDX-License-Identifier: MIT

pragma solidity >=0.5.0;

interface ISoulSwapFactory {
    event PairCreated(address indexed token0, address indexed token1, address pair, uint);
    event SetFeeTo(address indexed user, address indexed _feeTo);
    event SetMigrator(address indexed user, address indexed _migrator);
    event FeeToSetter(address indexed user, address indexed feeToSetter);

    function feeTo() external view returns (address _feeTo);
    function feeToSetter() external view returns (address _fee);
    function migrator() external view returns (address _migrator);

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

    function createPair(address tokenA, address tokenB) external returns (address pair);
    function setMigrator(address) external;
    function setFeeTo(address) external;
    function setFeeToSetter(address) external;
}

pragma solidity >=0.5.0;

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

// File: contracts/libraries/SafeMath.sol

pragma solidity >=0.5.0 <0.8.0;

library SafeMath {
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, 'SafeMath: addition overflow');

        return c;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, 'SafeMath: subtraction overflow');
    }
    function sub(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;

        return c;
    }

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b, 'SafeMath: multiplication overflow');

        return c;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, 'SafeMath: division by zero');
    }

    function div(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
        require(b > 0, errorMessage);
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold

        return c;
    }

    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        return mod(a, b, 'SafeMath: modulo by zero');
    }

    function mod(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
        require(b != 0, errorMessage);
        return a % b;
    }

    function min(uint256 x, uint256 y) internal pure returns (uint256 z) {
        z = x < y ? x : y;
    }

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

// File: contracts/SoulSwapERC20.sol

pragma solidity >=0.5.16;

contract SoulSwapERC20 is ISoulSwapERC20 {
    using SafeMath for uint;
    string public constant name = 'SoulSwap LP';
    string public constant symbol = 'SOUL-LP';
    uint8 public constant decimals = 18;
    uint  public totalSupply;
    mapping(address => uint) public balanceOf;
    mapping(address => mapping(address => uint)) public allowance;

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

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

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

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

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

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

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

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

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

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

    function permit(address owner, address spender, uint value, uint deadline, uint8 v, bytes32 r, bytes32 s) external {
        require(deadline >= block.timestamp, 'SoulSwap: 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, 'SoulSwap: INVALID_SIGNATURE');
        _approve(owner, spender, value);
    }
}

// File: contracts/interfaces/ISoulSwapCallee.sol

pragma solidity >=0.5.0;

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

// File: contracts/interfaces/ISoulSwapPair.sol

pragma solidity >=0.5.0;

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

    function name() external pure returns (string memory);
    function symbol() external pure returns (string memory);
    function decimals() external pure returns (uint8);
    function totalSupply() external view returns (uint);
    function balanceOf(address owner) external view returns (uint);
    function allowance(address owner, address spender) external view returns (uint);

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

    function DOMAIN_SEPARATOR() external view returns (bytes32);
    function PERMIT_TYPEHASH() external pure returns (bytes32);
    function nonces(address owner) external view returns (uint);

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

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

    function MINIMUM_LIQUIDITY() external pure returns (uint);
    function factory() external view returns (address);
    function token0() external view returns (address);
    function token1() external view returns (address);
    function getReserves() external view returns (uint112 reserve0, uint112 reserve1, uint32 blockTimestampLast);
    function price0CumulativeLast() external view returns (uint);
    function price1CumulativeLast() external view returns (uint);
    function kLast() external view returns (uint);

    function mint(address to) external returns (uint liquidity);
    function burn(address to) external returns (uint amount0, uint amount1);
    function swap(uint amount0Out, uint amount1Out, address to, bytes calldata data) external;
    function skim(address to) external;
    function sync() external;

    function initialize(address, address) external;
}

// File: contracts/interfaces/IERC20.sol

pragma solidity >=0.5.0;

interface IERC20 {

    // events
    event Approval(address indexed owner, address indexed spender, uint value);
    event Transfer(address indexed owner, address indexed spender, uint value);

    // token details
    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);

    // address details
    function balanceOf(address owner) external view returns (uint);
    function allowance(address owner, address spender) external view returns (uint);
    function getOwner() external view returns (address);

    // token actions
    function approve(address spender, uint value) external returns (bool);
    function transfer(address recipient, uint value) external returns (bool);
    function transferFrom(address sender, address recipient, uint value) external returns (bool);
}

// File: contracts/libraries/UQ112x112.sol

pragma solidity >=0.5.16;

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

// File: contracts/interfaces/IMigrator.sol

pragma solidity >=0.5.16;

interface IMigrator {
    // Return the desired amount of liquidity token that the migrator wants.
    function desiredLiquidity() external view returns (uint256);
}

// File: contracts/SoulSwapPair.sol

pragma solidity >=0.5.16;

contract SoulSwapPair is ISoulSwapPair, SoulSwapERC20 {
    using SafeMath for uint;
    using UQ112x112 for uint224;

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

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

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

    uint256 private unlocked = 1;
    modifier lock() {
        require(unlocked == 1, "SoulSwap: 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,
        uint256 value
    ) private {
        (bool success, bytes memory data) =
            token.call(abi.encodeWithSelector(SELECTOR, to, value));
        require(
            success && (data.length == 0 || abi.decode(data, (bool))),
            "SoulSwap: TRANSFER_FAILED"
        );
    }

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

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

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

    // update reserves and, on the first call per block, price accumulators
    function _update(
        uint256 balance0,
        uint256 balance1,
        uint112 _reserve0,
        uint112 _reserve1
    ) private {
        require(
            balance0 <= uint112(-1) && balance1 <= uint112(-1),
            "SoulSwap: 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 +=
                uint256(UQ112x112.encode(_reserve1).uqdiv(_reserve0)) *
                timeElapsed;
            price1CumulativeLast +=
                uint256(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/6th of the growth in sqrt(k)
    function _mintFee(uint112 _reserve0, uint112 _reserve1)
        private
        returns (bool feeOn)
    {
        address feeTo = ISoulSwapFactory(factory).feeTo();
        feeOn = feeTo != address(0);
        uint256 _kLast = kLast; // gas savings
        if (feeOn) {
            if (_kLast != 0) {
                uint256 rootK = SafeMath.sqrt(uint256(_reserve0).mul(_reserve1));
                uint256 rootKLast = SafeMath.sqrt(_kLast);
                if (rootK > rootKLast) {
                    uint256 numerator = totalSupply.mul(rootK.sub(rootKLast));
                    uint256 denominator = rootK.mul(3).add(rootKLast);
                    uint256 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 (uint256 liquidity) {
        (uint112 _reserve0, uint112 _reserve1, ) = getReserves(); // gas savings
        uint256 balance0 = IERC20(token0).balanceOf(address(this));
        uint256 balance1 = IERC20(token1).balanceOf(address(this));
        uint256 amount0 = balance0.sub(_reserve0);
        uint256 amount1 = balance1.sub(_reserve1);

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

        _update(balance0, balance1, _reserve0, _reserve1);
        if (feeOn) kLast = uint256(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 (uint256 amount0, uint256 amount1) {
        require(totalSupply != 0, "The value of totalSupply must not be 0");
        (uint112 _reserve0, uint112 _reserve1, ) = getReserves(); // gas savings
        address _token0 = token0; // gas savings
        address _token1 = token1; // gas savings
        uint256 balance0 = IERC20(_token0).balanceOf(address(this));
        uint256 balance1 = IERC20(_token1).balanceOf(address(this));
        uint256 liquidity = balanceOf[address(this)];

        bool feeOn = _mintFee(_reserve0, _reserve1);
        uint256 _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,
            "SoulSwap: 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 = uint256(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(
        uint256 amount0Out,
        uint256 amount1Out,
        address to,
        bytes calldata data
    ) external lock {
        require(
            amount0Out > 0 || amount1Out > 0,
            "SoulSwap: INSUFFICIENT_OUTPUT_AMOUNT"
        );
        (uint112 _reserve0, uint112 _reserve1, ) = getReserves(); // gas savings
        require(
            amount0Out < _reserve0 && amount1Out < _reserve1,
            "SoulSwap: INSUFFICIENT_LIQUIDITY"
        );

        uint256 balance0;
        uint256 balance1;
        {
            // scope for _token{0,1}, avoids stack too deep errors
            address _token0 = token0;
            address _token1 = token1;
            require(to != _token0 && to != _token1, "SoulSwap: 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)
                ISoulSwapCallee(to).soulswapCall(
                    msg.sender,
                    amount0Out,
                    amount1Out,
                    data
                );
            balance0 = IERC20(_token0).balanceOf(address(this));
            balance1 = IERC20(_token1).balanceOf(address(this));
        }
        uint256 amount0In =
            balance0 > _reserve0 - amount0Out
                ? balance0 - (_reserve0 - amount0Out)
                : 0;
        uint256 amount1In =
            balance1 > _reserve1 - amount1Out
                ? balance1 - (_reserve1 - amount1Out)
                : 0;
        require(
            amount0In > 0 || amount1In > 0,
            "SoulSwap: INSUFFICIENT_INPUT_AMOUNT"
        );
        {
            // scope for reserve{0,1}Adjusted, avoids stack too deep errors
            uint256 balance0Adjusted = balance0.mul(1000).sub(amount0In.mul(2));
            uint256 balance1Adjusted = balance1.mul(1000).sub(amount1In.mul(2));
            require(
                balance0Adjusted.mul(balance1Adjusted) >=
                    uint256(_reserve0).mul(_reserve1).mul(1000**2),
                "SoulSwap: 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
        );
    }
}

// File: contracts/SoulSwapFactory.sol

pragma solidity >=0.5.16;

contract SoulSwapFactory is ISoulSwapFactory {
    bytes32 public constant INIT_CODE_PAIR_HASH = keccak256(abi.encodePacked(type(SoulSwapPair).creationCode));

    address public feeTo;
    address public feeToSetter = msg.sender;
    address public migrator;
    uint256 public totalPairs = 0;
    address[] public allPairs;

    mapping(address => mapping(address => address)) public getPair;

    event PairCreated(address indexed token0, address indexed token1, address pair, uint);
    event SetFeeTo(address indexed user, address indexed feeTo);
    event SetMigrator(address indexed user, address indexed migrator);
    event FeeToSetter(address indexed user, address indexed feeToSetter);

    function createPair(address tokenA, address tokenB) external returns (address pair) {
        require(tokenA != tokenB, 'SoulSwap: IDENTICAL_ADDRESSES');
        (address token0, address token1) = tokenA < tokenB ? (tokenA, tokenB) : (tokenB, tokenA);
        require(token0 != address(0), 'SoulSwap: ZERO_ADDRESS');
        require(getPair[token0][token1] == address(0), 'SoulSwap: PAIR_EXISTS'); // single check is sufficient

        bytes memory bytecode = type(SoulSwapPair).creationCode;
        bytes32 salt = keccak256(abi.encodePacked(token0, token1));
        
        assembly { pair := create2(0, add(bytecode, 32), mload(bytecode), salt) }
        SoulSwapPair(pair).initialize(token0, token1);
        getPair[token0][token1] = pair;
        getPair[token1][token0] = pair; // populate mapping in the reverse direction
        allPairs.push(pair);
        totalPairs++;
        
        emit PairCreated(token0, token1, pair, totalPairs);
    }

    function setFeeTo(address _feeTo) external {
        require(msg.sender == feeToSetter, 'SoulSwap: FORBIDDEN');
        feeTo = _feeTo;
        
        emit SetFeeTo(msg.sender, feeTo);
    }

    function setMigrator(address _migrator) external {
        require(msg.sender == feeToSetter, 'SoulSwap: FORBIDDEN');
        migrator = _migrator;
        
        emit SetMigrator(msg.sender, migrator);
    }

    function setFeeToSetter(address _feeToSetter) external {
        require(msg.sender == feeToSetter, 'SoulSwap: FORBIDDEN');
        feeToSetter = _feeToSetter;
        
        emit FeeToSetter(msg.sender, feeToSetter);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

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

0x608060405234801561001057600080fd5b50600436106101a95760003560e01c80636a627842116100f9578063ba9a7a5611610097578063d21220a711610071578063d21220a7146108c4578063d505accf1461090e578063dd62ed3e146109a7578063fff6cae914610a1f576101a9565b8063ba9a7a5614610818578063bc25cf7714610836578063c45a01551461087a576101a9565b80637ecebe00116100d35780637ecebe001461067857806389afcb44146106d057806395d89b411461072f578063a9059cbb146107b2576101a9565b80636a627842146105aa57806370a08231146106025780637464fc3d1461065a576101a9565b806323b872dd116101665780633644e515116101405780633644e515146104ec578063485cc9551461050a5780635909c0d51461056e5780635a3d54931461058c576101a9565b806323b872dd1461042457806330adf81f146104aa578063313ce567146104c8576101a9565b8063022c0d9f146101ae57806306fdde031461025b5780630902f1ac146102de578063095ea7b3146103565780630dfe1681146103bc57806318160ddd14610406575b600080fd5b610259600480360360808110156101c457600080fd5b810190808035906020019092919080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019064010000000081111561021557600080fd5b82018360208201111561022757600080fd5b8035906020019184600183028401116401000000008311171561024957600080fd5b9091929391929390505050610a29565b005b610263611233565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156102a3578082015181840152602081019050610288565b50505050905090810190601f1680156102d05780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102e661126c565b60405180846dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff168152602001836dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff1681526020018263ffffffff1663ffffffff168152602001935050505060405180910390f35b6103a26004803603604081101561036c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506112c9565b604051808215151515815260200191505060405180910390f35b6103c46112e0565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61040e611306565b6040518082815260200191505060405180910390f35b6104906004803603606081101561043a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061130c565b604051808215151515815260200191505060405180910390f35b6104b26114d7565b6040518082815260200191505060405180910390f35b6104d06114fe565b604051808260ff1660ff16815260200191505060405180910390f35b6104f4611503565b6040518082815260200191505060405180910390f35b61056c6004803603604081101561052057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611509565b005b610576611652565b6040518082815260200191505060405180910390f35b610594611658565b6040518082815260200191505060405180910390f35b6105ec600480360360208110156105c057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061165e565b6040518082815260200191505060405180910390f35b6106446004803603602081101561061857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611b0f565b6040518082815260200191505060405180910390f35b610662611b27565b6040518082815260200191505060405180910390f35b6106ba6004803603602081101561068e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611b2d565b6040518082815260200191505060405180910390f35b610712600480360360208110156106e657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611b45565b604051808381526020018281526020019250505060405180910390f35b61073761218d565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561077757808201518184015260208101905061075c565b50505050905090810190601f1680156107a45780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6107fe600480360360408110156107c857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506121c6565b604051808215151515815260200191505060405180910390f35b6108206121dd565b6040518082815260200191505060405180910390f35b6108786004803603602081101561084c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506121e3565b005b6108826124be565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6108cc6124e4565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6109a5600480360360e081101561092457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919080359060200190929190803560ff169060200190929190803590602001909291908035906020019092919050505061250a565b005b610a09600480360360408110156109bd57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061284e565b6040518082815260200191505060405180910390f35b610a27612873565b005b6001600c5414610aa1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f536f756c537761703a204c4f434b45440000000000000000000000000000000081525060200191505060405180910390fd5b6000600c819055506000851180610ab85750600084115b610b0d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526024815260200180613a716024913960400191505060405180910390fd5b600080610b1861126c565b5091509150816dffffffffffffffffffffffffffff1687108015610b4b5750806dffffffffffffffffffffffffffff1686105b610bbd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f536f756c537761703a20494e53554646494349454e545f4c495155494449545981525060200191505060405180910390fd5b6000806000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690508173ffffffffffffffffffffffffffffffffffffffff168973ffffffffffffffffffffffffffffffffffffffff1614158015610c7657508073ffffffffffffffffffffffffffffffffffffffff168973ffffffffffffffffffffffffffffffffffffffff1614155b610ce8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f536f756c537761703a20494e56414c49445f544f00000000000000000000000081525060200191505060405180910390fd5b60008b1115610cfd57610cfc828a8d612af3565b5b60008a1115610d1257610d11818a8c612af3565b5b6000888890501115610dfa578873ffffffffffffffffffffffffffffffffffffffff166348c5b27e338d8d8c8c6040518663ffffffff1660e01b8152600401808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001858152602001848152602001806020018281038252848482818152602001925080828437600081840152601f19601f8201169050808301925050509650505050505050600060405180830381600087803b158015610de157600080fd5b505af1158015610df5573d6000803e3d6000fd5b505050505b8173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015610e7757600080fd5b505afa158015610e8b573d6000803e3d6000fd5b505050506040513d6020811015610ea157600080fd5b810190808051906020019092919050505093508073ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015610f3157600080fd5b505afa158015610f45573d6000803e3d6000fd5b505050506040513d6020811015610f5b57600080fd5b810190808051906020019092919050505092505050600089856dffffffffffffffffffffffffffff16038311610f92576000610fa8565b89856dffffffffffffffffffffffffffff160383035b9050600089856dffffffffffffffffffffffffffff16038311610fcc576000610fe2565b89856dffffffffffffffffffffffffffff160383035b90506000821180610ff35750600081115b611048576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526023815260200180613b2a6023913960400191505060405180910390fd5b6000611084611061600285612d4090919063ffffffff16565b6110766103e888612d4090919063ffffffff16565b612dc690919063ffffffff16565b905060006110c261109f600285612d4090919063ffffffff16565b6110b46103e888612d4090919063ffffffff16565b612dc690919063ffffffff16565b905061110c620f42406110fe896dffffffffffffffffffffffffffff168b6dffffffffffffffffffffffffffff16612d4090919063ffffffff16565b612d4090919063ffffffff16565b61111f8284612d4090919063ffffffff16565b1015611193576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f536f756c537761703a204b00000000000000000000000000000000000000000081525060200191505060405180910390fd5b50506111a184848888612e10565b8873ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fd78ad95fa46c994b6551d0da85fc275fe613ce37657fb8d5e3d130840159d82284848f8f6040518085815260200184815260200183815260200182815260200194505050505060405180910390a35050505050506001600c819055505050505050565b6040518060400160405280600b81526020017f536f756c53776170204c5000000000000000000000000000000000000000000081525081565b6000806000600860009054906101000a90046dffffffffffffffffffffffffffff1692506008600e9054906101000a90046dffffffffffffffffffffffffffff1691506008601c9054906101000a900463ffffffff169050909192565b60006112d633848461318e565b6001905092915050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60005481565b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054146114c15761144082600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612dc690919063ffffffff16565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b6114cc848484613279565b600190509392505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c960001b81565b601281565b60035481565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146115cc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f536f756c537761703a20464f5242494444454e0000000000000000000000000081525060200191505060405180910390fd5b81600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505050565b60095481565b600a5481565b60006001600c54146116d8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f536f756c537761703a204c4f434b45440000000000000000000000000000000081525060200191505060405180910390fd5b6000600c819055506000806116eb61126c565b50915091506000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561179157600080fd5b505afa1580156117a5573d6000803e3d6000fd5b505050506040513d60208110156117bb57600080fd5b810190808051906020019092919050505090506000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561186f57600080fd5b505afa158015611883573d6000803e3d6000fd5b505050506040513d602081101561189957600080fd5b8101908080519060200190929190505050905060006118d1856dffffffffffffffffffffffffffff1684612dc690919063ffffffff16565b905060006118f8856dffffffffffffffffffffffffffff1684612dc690919063ffffffff16565b90506000611906878761340d565b9050600080549050600081141561195a576119466103e86119386119338688612d4090919063ffffffff16565b6135ee565b612dc690919063ffffffff16565b985061195560006103e8613650565b6119bd565b6119ba886dffffffffffffffffffffffffffff166119818387612d4090919063ffffffff16565b8161198857fe5b04886dffffffffffffffffffffffffffff166119ad8487612d4090919063ffffffff16565b816119b457fe5b0461376a565b98505b60008911611a16576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526027815260200180613a956027913960400191505060405180910390fd5b611a208a8a613650565b611a2c86868a8a612e10565b8115611aa457611a9d6008600e9054906101000a90046dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff16600860009054906101000a90046dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff16612d4090919063ffffffff16565b600b819055505b3373ffffffffffffffffffffffffffffffffffffffff167f4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f8585604051808381526020018281526020019250505060405180910390a250505050505050506001600c81905550919050565b60016020528060005260406000206000915090505481565b600b5481565b60046020528060005260406000206000915090505481565b6000806001600c5414611bc0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f536f756c537761703a204c4f434b45440000000000000000000000000000000081525060200191505060405180910390fd5b6000600c81905550600080541415611c23576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526026815260200180613abc6026913960400191505060405180910390fd5b600080611c2e61126c565b50915091506000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905060008273ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015611d0057600080fd5b505afa158015611d14573d6000803e3d6000fd5b505050506040513d6020811015611d2a57600080fd5b8101908080519060200190929190505050905060008273ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015611dbc57600080fd5b505afa158015611dd0573d6000803e3d6000fd5b505050506040513d6020811015611de657600080fd5b810190808051906020019092919050505090506000600160003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490506000611e49888861340d565b905060008054905080611e658685612d4090919063ffffffff16565b81611e6c57fe5b049a5080611e838585612d4090919063ffffffff16565b81611e8a57fe5b04995060008b118015611e9d575060008a115b611ef2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526027815260200180613b036027913960400191505060405180910390fd5b611efc3084613783565b611f07878d8d612af3565b611f12868d8c612af3565b8673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015611f8f57600080fd5b505afa158015611fa3573d6000803e3d6000fd5b505050506040513d6020811015611fb957600080fd5b810190808051906020019092919050505094508573ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561204957600080fd5b505afa15801561205d573d6000803e3d6000fd5b505050506040513d602081101561207357600080fd5b8101908080519060200190929190505050935061209285858b8b612e10565b811561210a576121036008600e9054906101000a90046dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff16600860009054906101000a90046dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff16612d4090919063ffffffff16565b600b819055505b8b73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fdccd412f0b1252819cb1fd330b93224ca42612892bb3f4f789976e6d819364968d8d604051808381526020018281526020019250505060405180910390a35050505050505050506001600c81905550915091565b6040518060400160405280600781526020017f534f554c2d4c500000000000000000000000000000000000000000000000000081525081565b60006121d3338484613279565b6001905092915050565b6103e881565b6001600c541461225b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f536f756c537761703a204c4f434b45440000000000000000000000000000000081525060200191505060405180910390fd5b6000600c819055506000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506123b182846123ac600860009054906101000a90046dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561236357600080fd5b505afa158015612377573d6000803e3d6000fd5b505050506040513d602081101561238d57600080fd5b8101908080519060200190929190505050612dc690919063ffffffff16565b612af3565b6124b181846124ac6008600e9054906101000a90046dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561246357600080fd5b505afa158015612477573d6000803e3d6000fd5b505050506040513d602081101561248d57600080fd5b8101908080519060200190929190505050612dc690919063ffffffff16565b612af3565b50506001600c8190555050565b600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b42841015612580576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f536f756c537761703a204558504952454400000000000000000000000000000081525060200191505060405180910390fd5b60006003547f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c960001b898989600460008e73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000815480929190600101919050558a604051602001808781526020018673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200184815260200183815260200182815260200196505050505050506040516020818303038152906040528051906020012060405160200180807f190100000000000000000000000000000000000000000000000000000000000081525060020183815260200182815260200192505050604051602081830303815290604052805190602001209050600060018286868660405160008152602001604052604051808581526020018460ff1660ff1681526020018381526020018281526020019450505050506020604051602081039080840390855afa158015612752573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141580156127c657508873ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b612838576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536f756c537761703a20494e56414c49445f5349474e4154555245000000000081525060200191505060405180910390fd5b61284389898961318e565b505050505050505050565b6002602052816000526040600020602052806000526040600020600091509150505481565b6001600c54146128eb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f536f756c537761703a204c4f434b45440000000000000000000000000000000081525060200191505060405180910390fd5b6000600c81905550612ae9600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561299557600080fd5b505afa1580156129a9573d6000803e3d6000fd5b505050506040513d60208110156129bf57600080fd5b8101908080519060200190929190505050600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015612a6f57600080fd5b505afa158015612a83573d6000803e3d6000fd5b505050506040513d6020811015612a9957600080fd5b8101908080519060200190929190505050600860009054906101000a90046dffffffffffffffffffffffffffff166008600e9054906101000a90046dffffffffffffffffffffffffffff16612e10565b6001600c81905550565b600060608473ffffffffffffffffffffffffffffffffffffffff166040518060400160405280601981526020017f7472616e7366657228616464726573732c75696e743235362900000000000000815250805190602001208585604051602401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050604051602081830303815290604052907bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff83818316178352505050506040518082805190602001908083835b60208310612c205780518252602082019150602081019050602083039250612bfd565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d8060008114612c82576040519150601f19603f3d011682016040523d82523d6000602084013e612c87565b606091505b5091509150818015612cc75750600081511480612cc65750808060200190516020811015612cb457600080fd5b81019080805190602001909291905050505b5b612d39576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f536f756c537761703a205452414e534645525f4641494c45440000000000000081525060200191505060405180910390fd5b5050505050565b600080831415612d535760009050612dc0565b6000828402905082848281612d6457fe5b0414612dbb576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180613ae26021913960400191505060405180910390fd5b809150505b92915050565b6000612e0883836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061389d565b905092915050565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6dffffffffffffffffffffffffffff168411158015612e8057507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6dffffffffffffffffffffffffffff168311155b612ef2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260128152602001807f536f756c537761703a204f564552464c4f57000000000000000000000000000081525060200191505060405180910390fd5b60006401000000004281612f0257fe5b06905060006008601c9054906101000a900463ffffffff168203905060008163ffffffff16118015612f4557506000846dffffffffffffffffffffffffffff1614155b8015612f6257506000836dffffffffffffffffffffffffffff1614155b15613044578063ffffffff16612fa785612f7b8661395d565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1661398890919063ffffffff16565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16026009600082825401925050819055508063ffffffff1661301584612fe98761395d565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1661398890919063ffffffff16565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1602600a600082825401925050819055505b85600860006101000a8154816dffffffffffffffffffffffffffff02191690836dffffffffffffffffffffffffffff160217905550846008600e6101000a8154816dffffffffffffffffffffffffffff02191690836dffffffffffffffffffffffffffff160217905550816008601c6101000a81548163ffffffff021916908363ffffffff1602179055507f1c411e9a96e071241c2f21f7726b17ae89e3cab4c78be50e062b03a9fffbbad1600860009054906101000a90046dffffffffffffffffffffffffffff166008600e9054906101000a90046dffffffffffffffffffffffffffff1660405180836dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff168152602001826dffffffffffffffffffffffffffff166dffffffffffffffffffffffffffff1681526020019250505060405180910390a1505050505050565b80600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b6132cb81600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612dc690919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061336081600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546139e890919063ffffffff16565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b600080600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663017e7e586040518163ffffffff1660e01b815260040160206040518083038186803b15801561347857600080fd5b505afa15801561348c573d6000803e3d6000fd5b505050506040513d60208110156134a257600080fd5b81019080805190602001909291905050509050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141591506000600b54905082156135d457600081146135cf57600061353a613535866dffffffffffffffffffffffffffff16886dffffffffffffffffffffffffffff16612d4090919063ffffffff16565b6135ee565b90506000613547836135ee565b9050808211156135cc57600061357a6135698385612dc690919063ffffffff16565b600054612d4090919063ffffffff16565b905060006135a483613596600387612d4090919063ffffffff16565b6139e890919063ffffffff16565b905060008183816135b157fe5b04905060008111156135c8576135c78782613650565b5b5050505b50505b6135e6565b600081146135e5576000600b819055505b5b505092915050565b6000600382111561363d57819050600060016002848161360a57fe5b040190505b818110156136375780915060028182858161362657fe5b04018161362f57fe5b04905061360f565b5061364b565b6000821461364a57600190505b5b919050565b613665816000546139e890919063ffffffff16565b6000819055506136bd81600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546139e890919063ffffffff16565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b6000818310613779578161377b565b825b905092915050565b6137d581600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612dc690919063ffffffff16565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061382d81600054612dc690919063ffffffff16565b600081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b600083831115829061394a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b8381101561390f5780820151818401526020810190506138f4565b50505050905090810190601f16801561393c5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b60006e010000000000000000000000000000826dffffffffffffffffffffffffffff16029050919050565b6000816dffffffffffffffffffffffffffff167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16837bffffffffffffffffffffffffffffffffffffffffffffffffffffffff16816139df57fe5b04905092915050565b600080828401905083811015613a66576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b809150509291505056fe536f756c537761703a20494e53554646494349454e545f4f55545055545f414d4f554e54536f756c537761703a20494e53554646494349454e545f4c49515549444954595f4d494e5445445468652076616c7565206f6620746f74616c537570706c79206d757374206e6f742062652030536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f77536f756c537761703a20494e53554646494349454e545f4c49515549444954595f4255524e4544536f756c537761703a20494e53554646494349454e545f494e5055545f414d4f554e54a265627a7a72315820c9c7f993ee6ddb38e541cf19bf13bbac6e158de1fbe6c4d5dd1664414583c9d164736f6c63430005100032

12657:10972:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12657:10972:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20455:2418;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;20455:2418:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;20455:2418:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;20455:2418: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;20455:2418:0;;;;;;;;;;;;:::i;:::-;;4518:43;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;4518:43:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13674:313;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6567:147;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6567:147:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;12973:21;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4658:24;;;:::i;:::-;;;;;;;;;;;;;;;;;;;6869:301;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6869:301:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4950:108;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4616:35;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4807:31;;;:::i;:::-;;;;;;;;;;;;;;;;;;;14969:209;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;14969:209:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;13303:35;;;:::i;:::-;;;;;;;;;;;;;;;;;;;13345;;;:::i;:::-;;;;;;;;;;;;;;;;;;;17372:1319;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;17372:1319:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4689:41;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4689:41:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;13387:20;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5065:38;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5065:38:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;18803:1540;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;18803:1540:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;4568:41;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;4568:41:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6722:139;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6722:139:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;12784:49;;;:::i;:::-;;;;;;;;;;;;;;;;;;;22922:434;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;22922:434:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;12944:22;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;13001:21;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7178:672;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;7178:672:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;4737:61;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4737:61:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;23405:221;;;:::i;:::-;;20455:2418;13578:1;13566:8;;:13;13558:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13622:1;13611:8;:12;;;;20645:1;20632:10;:14;:32;;;;20663:1;20650:10;:14;20632:32;20610:118;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20740:17;20759;20782:13;:11;:13::i;:::-;20739:56;;;;;20856:9;20843:22;;:10;:22;:48;;;;;20882:9;20869:22;;:10;:22;20843:48;20821:130;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20964:16;20991;21101:15;21119:6;;;;;;;;;;;21101:24;;21140:15;21158:6;;;;;;;;;;;21140:24;;21193:7;21187:13;;:2;:13;;;;:30;;;;;21210:7;21204:13;;:2;:13;;;;21187:30;21179:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21274:1;21261:10;:14;21257:58;;;21277:38;21291:7;21300:2;21304:10;21277:13;:38::i;:::-;21257:58;21381:1;21368:10;:14;21364:58;;;21384:38;21398:7;21407:2;21411:10;21384:13;:38::i;:::-;21364:58;21489:1;21475:4;;:11;;:15;21471:215;;;21525:2;21509:32;;;21564:10;21597;21630;21663:4;;21509:177;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;;21509:177:0;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;21509:177:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;21509:177:0;;;;21471:215;21719:7;21712:25;;;21746:4;21712:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;21712:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;21712:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;21712:40:0;;;;;;;;;;;;;;;;21701:51;;21785:7;21778:25;;;21812:4;21778:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;21778:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;21778:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;21778:40:0;;;;;;;;;;;;;;;;21767:51;;13634:1;;21840:17;21896:10;21884:9;:22;;;21873:8;:33;:109;;21981:1;21873:109;;;21950:10;21938:9;:22;;;21926:8;:35;21873:109;21840:142;;21993:17;22049:10;22037:9;:22;;;22026:8;:33;:109;;22134:1;22026:109;;;22103:10;22091:9;:22;;;22079:8;:35;22026:109;21993:142;;22180:1;22168:9;:13;:30;;;;22197:1;22185:9;:13;22168:30;22146:115;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;22364:24;22391:40;22414:16;22428:1;22414:9;:13;;:16;;;;:::i;:::-;22391:18;22404:4;22391:8;:12;;:18;;;;:::i;:::-;:22;;:40;;;;:::i;:::-;22364:67;;22446:24;22473:40;22496:16;22510:1;22496:9;:13;;:16;;;;:::i;:::-;22473:18;22486:4;22473:8;:12;;:18;;;;:::i;:::-;:22;;:40;;;;:::i;:::-;22446:67;;22617:46;22655:7;22617:33;22640:9;22617:33;;22625:9;22617:18;;:22;;:33;;;;:::i;:::-;:37;;:46;;;;:::i;:::-;22554:38;22575:16;22554;:20;;:38;;;;:::i;:::-;:109;;22528:182;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13634:1;;22734:49;22742:8;22752;22762:9;22773;22734:7;:49::i;:::-;22862:2;22799:66;;22804:10;22799:66;;;22816:9;22827;22838:10;22850;22799:66;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13634:1;;;;;;13657;13646:8;:12;;;;20455:2418;;;;;:::o;4518:43::-;;;;;;;;;;;;;;;;;;;:::o;13674:313::-;13759:17;13791;13823:26;13889:8;;;;;;;;;;;13877:20;;13920:8;;;;;;;;;;;13908:20;;13961:18;;;;;;;;;;;13939:40;;13674:313;;;:::o;6567:147::-;6631:4;6648:36;6657:10;6669:7;6678:5;6648:8;:36::i;:::-;6702:4;6695:11;;6567:147;;;;:::o;12973:21::-;;;;;;;;;;;;;:::o;4658:24::-;;;;:::o;6869:301::-;6947:4;7004:2;6968:9;:15;6978:4;6968:15;;;;;;;;;;;;;;;:27;6984:10;6968:27;;;;;;;;;;;;;;;;:39;6964:140;;7054:38;7086:5;7054:9;:15;7064:4;7054:15;;;;;;;;;;;;;;;:27;7070:10;7054:27;;;;;;;;;;;;;;;;:31;;:38;;;;:::i;:::-;7024:9;:15;7034:4;7024:15;;;;;;;;;;;;;;;:27;7040:10;7024:27;;;;;;;;;;;;;;;:68;;;;6964:140;7114:26;7124:4;7130:2;7134:5;7114:9;:26::i;:::-;7158:4;7151:11;;6869:301;;;;;:::o;4950:108::-;4992:66;4950:108;;;:::o;4616:35::-;4649:2;4616:35;:::o;4807:31::-;;;;:::o;14969:209::-;15065:7;;;;;;;;;;;15051:21;;:10;:21;;;15043:53;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15136:7;15127:6;;:16;;;;;;;;;;;;;;;;;;15163:7;15154:6;;:16;;;;;;;;;;;;;;;;;;14969:209;;:::o;13303:35::-;;;;:::o;13345:::-;;;;:::o;17372:1319::-;17421:17;13578:1;13566:8;;:13;13558:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13622:1;13611:8;:12;;;;17452:17;17471;17494:13;:11;:13::i;:::-;17451:56;;;;;17533:16;17559:6;;;;;;;;;;;17552:24;;;17585:4;17552:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17552:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;17552:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;17552:39:0;;;;;;;;;;;;;;;;17533:58;;17602:16;17628:6;;;;;;;;;;;17621:24;;;17654:4;17621:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17621:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;17621:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;17621:39:0;;;;;;;;;;;;;;;;17602:58;;17671:15;17689:23;17702:9;17689:23;;:8;:12;;:23;;;;:::i;:::-;17671:41;;17723:15;17741:23;17754:9;17741:23;;:8;:12;;:23;;;;:::i;:::-;17723:41;;17777:10;17790:30;17799:9;17810;17790:8;:30::i;:::-;17777:43;;17831:20;17854:11;;17831:34;;17974:1;17958:12;:17;17954:410;;;18004:58;12828:5;18004:35;18018:20;18030:7;18018;:11;;:20;;;;:::i;:::-;18004:13;:35::i;:::-;:39;;:58;;;;:::i;:::-;17992:70;;18077:36;18091:1;12828:5;18077;:36::i;:::-;17954:410;;;18213:139;18272:9;18244:37;;:25;18256:12;18244:7;:11;;:25;;;;:::i;:::-;:37;;;;;;18328:9;18300:37;;:25;18312:12;18300:7;:11;;:25;;;;:::i;:::-;:37;;;;;;18213:12;:139::i;:::-;18201:151;;17954:410;18394:1;18382:9;:13;18374:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18450:20;18456:2;18460:9;18450:5;:20::i;:::-;18483:49;18491:8;18501;18511:9;18522;18483:7;:49::i;:::-;18547:5;18543:50;;;18562:31;18584:8;;;;;;;;;;;18562:31;;18570:8;;;;;;;;;;;18562:17;;:21;;:31;;;;:::i;:::-;18554:5;:39;;;;18543:50;18654:10;18649:34;;;18666:7;18675;18649:34;;;;;;;;;;;;;;;;;;;;;;;;13634:1;;;;;;;;13657;13646:8;:12;;;;17372:1319;;;:::o;4689:41::-;;;;;;;;;;;;;;;;;:::o;13387:20::-;;;;:::o;5065:38::-;;;;;;;;;;;;;;;;;:::o;18803:1540::-;18852:15;18869;13578:1;13566:8;;:13;13558:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13622:1;13611:8;:12;;;;18920:1;18905:11;;:16;;18897:67;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18976:17;18995;19018:13;:11;:13::i;:::-;18975:56;;;;;19057:15;19075:6;;;;;;;;;;;19057:24;;19107:15;19125:6;;;;;;;;;;;19107:24;;19157:16;19183:7;19176:25;;;19210:4;19176:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19176:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;19176:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;19176:40:0;;;;;;;;;;;;;;;;19157:59;;19227:16;19253:7;19246:25;;;19280:4;19246:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19246:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;19246:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;19246:40:0;;;;;;;;;;;;;;;;19227:59;;19297:17;19317:9;:24;19335:4;19317:24;;;;;;;;;;;;;;;;19297:44;;19354:10;19367:30;19376:9;19387;19367:8;:30::i;:::-;19354:43;;19408:20;19431:11;;19408:34;;19567:12;19541:23;19555:8;19541:9;:13;;:23;;;;:::i;:::-;:38;;;;;;19531:48;;19674:12;19648:23;19662:8;19648:9;:13;;:23;;;;:::i;:::-;:38;;;;;;19638:48;;19777:1;19767:7;:11;:26;;;;;19792:1;19782:7;:11;19767:26;19745:115;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19871:31;19885:4;19892:9;19871:5;:31::i;:::-;19913:35;19927:7;19936:2;19940:7;19913:13;:35::i;:::-;19959;19973:7;19982:2;19986:7;19959:13;:35::i;:::-;20023:7;20016:25;;;20050:4;20016:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20016:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;20016:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;20016:40:0;;;;;;;;;;;;;;;;20005:51;;20085:7;20078:25;;;20112:4;20078:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20078:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;20078:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;20078:40:0;;;;;;;;;;;;;;;;20067:51;;20131:49;20139:8;20149;20159:9;20170;20131:7;:49::i;:::-;20195:5;20191:50;;;20210:31;20232:8;;;;;;;;;;;20210:31;;20218:8;;;;;;;;;;;20210:17;;:21;;:31;;;;:::i;:::-;20202:5;:39;;;;20191:50;20332:2;20297:38;;20302:10;20297:38;;;20314:7;20323;20297:38;;;;;;;;;;;;;;;;;;;;;;;;13634:1;;;;;;;;;13657;13646:8;:12;;;;18803:1540;;;:::o;4568:41::-;;;;;;;;;;;;;;;;;;;:::o;6722:139::-;6782:4;6799:32;6809:10;6821:2;6825:5;6799:9;:32::i;:::-;6849:4;6842:11;;6722:139;;;;:::o;12784:49::-;12828:5;12784:49;:::o;22922:434::-;13578:1;13566:8;;:13;13558:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13622:1;13611:8;:12;;;;22973:15;22991:6;;;;;;;;;;;22973:24;;23023:15;23041:6;;;;;;;;;;;23023:24;;23073:132;23101:7;23123:2;23140:54;23185:8;;;;;;;;;;;23140:54;;23147:7;23140:25;;;23174:4;23140:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;23140:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;23140:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;23140:40:0;;;;;;;;;;;;;;;;:44;;:54;;;;:::i;:::-;23073:13;:132::i;:::-;23216;23244:7;23266:2;23283:54;23328:8;;;;;;;;;;;23283:54;;23290:7;23283:25;;;23317:4;23283:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;23283:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;23283:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;23283:40:0;;;;;;;;;;;;;;;;:44;;:54;;;;:::i;:::-;23216:13;:132::i;:::-;13634:1;;13657;13646:8;:12;;;;22922:434;:::o;12944:22::-;;;;;;;;;;;;;:::o;13001:21::-;;;;;;;;;;;;;:::o;7178:672::-;7324:15;7312:8;:27;;7304:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7372:14;7477:16;;4992:66;7533:15;;7550:5;7557:7;7566:5;7573:6;:13;7580:5;7573:13;;;;;;;;;;;;;;;;:15;;;;;;;;;;;;7590:8;7522:77;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;7522:77:0;;;7512:88;;;;;;7413:202;;;;;;;;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;7413:202:0;;;7389:237;;;;;;7372:254;;7637:24;7664:26;7674:6;7682:1;7685;7688;7664:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7664:26:0;;;;;;;;7637:53;;7737:1;7709:30;;:16;:30;;;;:59;;;;;7763:5;7743:25;;:16;:25;;;7709:59;7701:99;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7811:31;7820:5;7827:7;7836:5;7811:8;:31::i;:::-;7178:672;;;;;;;;;:::o;4737:61::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;23405:221::-;13578:1;13566:8;;:13;13558:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13622:1;13611:8;:12;;;;23446:172;23475:6;;;;;;;;;;;23468:24;;;23501:4;23468:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;23468:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;23468:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;23468:39:0;;;;;;;;;;;;;;;;23529:6;;;;;;;;;;;23522:24;;;23555:4;23522:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;23522:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;23522:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;23522:39:0;;;;;;;;;;;;;;;;23576:8;;;;;;;;;;;23599;;;;;;;;;;;23446:7;:172::i;:::-;13657:1;13646:8;:12;;;;23405:221::o;13995:373::-;14114:12;14128:17;14162:5;:10;;12901:34;;;;;;;;;;;;;;;;;12891:45;;;;;;14206:2;14210:5;14173:43;;;;;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;14173:43:0;;;;;;;38:4:-1;29:7;25:18;67:10;61:17;96:58;199:8;192:4;186;182:15;179:29;167:10;160:49;0:215;;;14173:43:0;14162:55;;;;;;;;;;;;;36:153:-1;66:2;61:3;58:11;36:153;;182:3;176:10;171:3;164:23;98:2;93:3;89:12;82:19;;123:2;118:3;114:12;107:19;;148:2;143:3;139:12;132:19;;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;14162:55: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;;14113:104:0;;;;14250:7;:57;;;;;14277:1;14262:4;:11;:16;:44;;;;14293:4;14282:24;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;14282:24:0;;;;;;;;;;;;;;;;14262:44;14250:57;14228:132;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13995:373;;;;;:::o;2765:250::-;2823:7;2852:1;2847;:6;2843:47;;;2877:1;2870:8;;;;2843:47;2902:9;2918:1;2914;:5;2902:17;;2947:1;2942;2938;:5;;;;;;:10;2930:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3006:1;2999:8;;;2765:250;;;;;:::o;2389:136::-;2447:7;2474:43;2478:1;2481;2474:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;2467:50;;2389:136;;;;:::o;15263:1019::-;15458:2;15438:23;;:8;:23;;:50;;;;;15485:2;15465:23;;:8;:23;;15438:50;15416:118;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15545:21;15594:5;15576:15;:23;;;;;;15545:55;;15611:18;15649;;;;;;;;;;;15632:14;:35;15611:56;;15719:1;15705:11;:15;;;:33;;;;;15737:1;15724:9;:14;;;;15705:33;:51;;;;;15755:1;15742:9;:14;;;;15705:51;15701:410;;;15948:11;15875:84;;15883:44;15917:9;15883:27;15900:9;15883:16;:27::i;:::-;:33;;;;:44;;;;:::i;:::-;15875:53;;:84;15834:20;;:125;;;;;;;;;;;16088:11;16015:84;;16023:44;16057:9;16023:27;16040:9;16023:16;:27::i;:::-;:33;;;;:44;;;;:::i;:::-;16015:53;;:84;15974:20;;:125;;;;;;;;;;;15701:410;16140:8;16121;;:28;;;;;;;;;;;;;;;;;;16179:8;16160;;:28;;;;;;;;;;;;;;;;;;16220:14;16199:18;;:35;;;;;;;;;;;;;;;;;;16250:24;16255:8;;;;;;;;;;;16265;;;;;;;;;;;16250:24;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15263:1019;;;;;;:::o;6162:169::-;6271:5;6243:9;:16;6253:5;6243:16;;;;;;;;;;;;;;;:25;6260:7;6243:25;;;;;;;;;;;;;;;:33;;;;6308:7;6292:31;;6301:5;6292:31;;;6317:5;6292:31;;;;;;;;;;;;;;;;;;6162:169;;;:::o;6339:220::-;6433:26;6453:5;6433:9;:15;6443:4;6433:15;;;;;;;;;;;;;;;;:19;;:26;;;;:::i;:::-;6415:9;:15;6425:4;6415:15;;;;;;;;;;;;;;;:44;;;;6486:24;6504:5;6486:9;:13;6496:2;6486:13;;;;;;;;;;;;;;;;:17;;:24;;;;:::i;:::-;6470:9;:13;6480:2;6470:13;;;;;;;;;;;;;;;:40;;;;6541:2;6526:25;;6535:4;6526:25;;;6545:5;6526:25;;;;;;;;;;;;;;;;;;6339:220;;;:::o;16372:888::-;16463:10;16491:13;16524:7;;;;;;;;;;;16507:31;;;:33;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16507:33:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;16507:33:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;16507:33:0;;;;;;;;;;;;;;;;16491:49;;16576:1;16559:19;;:5;:19;;;;16551:27;;16589:14;16606:5;;16589:22;;16641:5;16637:616;;;16677:1;16667:6;:11;16663:520;;16699:13;16715:48;16729:33;16752:9;16729:33;;16737:9;16729:18;;:22;;:33;;;;:::i;:::-;16715:13;:48::i;:::-;16699:64;;16782:17;16802:21;16816:6;16802:13;:21::i;:::-;16782:41;;16854:9;16846:5;:17;16842:326;;;16888:17;16908:37;16924:20;16934:9;16924:5;:9;;:20;;;;:::i;:::-;16908:11;;:15;;:37;;;;:::i;:::-;16888:57;;16968:19;16990:27;17007:9;16990:12;17000:1;16990:5;:9;;:12;;;;:::i;:::-;:16;;:27;;;;:::i;:::-;16968:49;;17040:17;17072:11;17060:9;:23;;;;;;17040:43;;17122:1;17110:9;:13;17106:42;;;17125:23;17131:5;17138:9;17125:5;:23::i;:::-;17106:42;16842:326;;;;16663:520;;;16637:616;;;17214:1;17204:6;:11;17200:53;;17240:1;17232:5;:9;;;;17200:53;16637:616;16372:888;;;;;;:::o;4052:312::-;4100:9;4130:1;4126;:5;4122:235;;;4152:1;4148:5;;4168:9;4188:1;4184;4180;:5;;;;;;:9;4168:21;;4204:92;4215:1;4211;:5;4204:92;;;4241:1;4237:5;;4279:1;4274;4270;4266;:5;;;;;;:9;4265:15;;;;;;4261:19;;4204:92;;;4122:235;;;;4322:1;4317;:6;4313:44;;4344:1;4340:5;;4313:44;4122:235;4052:312;;;:::o;5736:201::-;5809:22;5825:5;5809:11;;:15;;:22;;;;:::i;:::-;5795:11;:36;;;;5858:24;5876:5;5858:9;:13;5868:2;5858:13;;;;;;;;;;;;;;;;:17;;:24;;;;:::i;:::-;5842:9;:13;5852:2;5842:13;;;;;;;;;;;;;;;:40;;;;5919:2;5898:31;;5915:1;5898:31;;;5923:5;5898:31;;;;;;;;;;;;;;;;;;5736:201;;:::o;3829:105::-;3887:9;3917:1;3913;:5;:13;;3925:1;3913:13;;;3921:1;3913:13;3909:17;;3829:105;;;;:::o;5945:209::-;6024:26;6044:5;6024:9;:15;6034:4;6024:15;;;;;;;;;;;;;;;;:19;;:26;;;;:::i;:::-;6006:9;:15;6016:4;6006:15;;;;;;;;;;;;;;;:44;;;;6075:22;6091:5;6075:11;;:15;;:22;;;;:::i;:::-;6061:11;:36;;;;6136:1;6113:33;;6122:4;6113:33;;;6140:5;6113:33;;;;;;;;;;;;;;;;;;5945:209;;:::o;2531:226::-;2651:7;2684:1;2679;:6;;2687:12;2671:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;2671:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2711:9;2727:1;2723;:5;2711:17;;2748:1;2741:8;;;2531:226;;;;;:::o;12035:120::-;12085:9;11980:6;12119:1;12111:10;;:17;12107:21;;12035:120;;;:::o;12226:108::-;12286:9;12324:1;12316:10;;12312:14;;:1;:14;;;;;;;;12308:18;;12226:108;;;;:::o;2200:181::-;2258:7;2278:9;2294:1;2290;:5;2278:17;;2319:1;2314;:6;;2306:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2372:1;2365:8;;;2200:181;;;;:::o

bzzr://c9c7f993ee6ddb38e541cf19bf13bbac6e158de1fbe6c4d5dd1664414583c9d1