Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ... library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b, st ...    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(uint256 a, uint256 b, st ...    - function mod(uint256 a, uint256 b)    - function mod(uint256 a, uint256 b, st ...  contract ERC20Detailed is IERC20    - function name()    - function symbol()    - function decimals()  contract Sparkle is ERC20Detailed    - function totalSupply()    - function tobinsCollected()    - function balanceOf(address owner)    - function allowance(address owner, add ...    - function transfer(address to, uint256 ...    - function transferFrom(address from, a ...    - function approve(address spender, uin ...    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function ()    - function mintSparkle()    - function sellSparkle(uint256 amount)  contract HumanityCheck    - function isHuman(address who)  contract ReigningEmperor is ERC20D ... *    - function totalSupply()    - function pointsOfProtester(address ow ...    - function pointsOfPolice(address owner ...    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function _transfer(address sender, ad ...    - function sparkleBalanceOfBeneficiary( ...    - function _burn(address account, uint2 ...    - function _approve(address owner, addr ...    - function _burnFrom(address account, u ...    - function _mint(address account, uint2 ...    - function detainPlayer(address player)    - function freePlayer(address account)    - function goUnderground()    - function ()    - function protest()    - function sellSparkle(uint256 amount)    - function emptyPot()    - function withdrawSparkle(uint256 amou ...    - function stopProtesting()    - function gameOver()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-10-16
*/

/**

[                                                       ]
[            READ OUR LATEST COMMUNIQUE AT              ]
[                                                       ]
[             www.ReigningEmperor.com                   ]
[                                                       ]
[            SCROLL DOWN FOR ENGLISH TRANSLATION        ]
[                                                       ]


REIGNING EMPEROR（当今皇上）


阅读这篇文章即表示您将会有危险。


这份明智的合同是一种政治抗议活动，在您通过它与我们的活动互动之前，您需要确保您确实要继续沿着这种行动主义的道路前进。


考虑一下，如果您准备进一步深入，请向下滚动。


.
.
.
.
.
.
.




很好，您仍在这里-让我们开始吧。


我们是中国的革命运动，以抗议模因REIGNING EMPEROR（当今皇上）闻名。


这些话语是对我们强大的党魁的批判性提及，是我们为恢复革命人民共和国而集会的号召，是那片多数人比少数人拥有更多的权力的土地。


最近，随着我们的运动日益突出，我们的人民开始在大陆乃至海外散居各地进行“围观”抗议，有势力的人注意到了我们。


他们想根除我们的运动。


现在被禁止使用“当今皇上”（REIGNING EMPEROR）：当任何人在消息传递应用程序中在线或私下使用短语时，算法都会立即将其删除。


过去使用“当今皇上”一词的人其社会分数降低了。一些被拘留了。实际上，我们运动的创始人（楼主）已有一段时间没有出现。




被禁止不能组织我们的脚步。当今皇上并没有被击败，但是我们被迫转移到不同的行动领域。


那就是您的目标。


这份明智的合同是我们运动的体现，也是我们终将获胜的原因。


通过此代码与我们互动，您：传播抗议，挫败当局并资助我们的行动。


规则


为了实例化该抗议，我们在以太坊区块链上创建了一个抗议游戏。


您可以选择是：激进分子或警察。


活动家的目标是将我们独特的当今皇上（REIGNING EMPEROR）抗议代币转移到区块链上的每个活跃钱包中。


警察的目的是通过“逮捕”激进分子从区块链中删除我们的抗议令牌。警察可以从任何钱包中删除令牌，并阻止该钱包发送或接收令牌（如果令牌的令牌数量是他们希望“逮捕”的钱包的10倍）。


经HumanityDAO验证的激进分子具有将其他参与者从“拘留所”中解放出来的特殊能力。


游戏已经玩了至少28天，并且区块链上没有代币，游戏才结束。如果满足这两个条件，则可以强制该合同自毁，从区块链中永久删除所有抗议令牌。


如何传播


抗议1.通过向该合同发送任何数量的以太币来获取抗议令牌。确保包括较高的gas限制。一旦收到以太币，您将立即收到8640当今皇上每以太币。


    •免费玩：向该合约发送0 eth即获得1个令牌。


    •该代币为实际的维权人士提供资金。发送给该合同的所有以太币都将转换为Sparkle（一种可再分配的货币），并完全交给中国的一个真正的抗议组织。


2.发送当今皇上代币不会耗尽您钱包的余额。


•如果您有100个令牌并转移了100个令牌，那么您仍然有100个令牌。


3.令牌只能转移到具有0个令牌的钱包中。


•您的余额等于您第一次进行钱包转账时收到的代币数量。以后增加钱包大小的唯一方法是从此合同中购买代币。


4.对于您转让的每个令牌，您必须等待一秒钟再进行另一次转让。


•如果发送100个令牌，则必须等待100秒。


5.令牌只能发送到大于0 eth的钱包。


•目标是将抗议令牌发送给真实的人。


检查该合同的源代码，您会发现一些特殊的举动，例如detainPlayer，freePlayer，goUnderground和gameOver。

___________________________________________

REIGNING EMPEROR (当今皇上)

Reading this means that you are in danger.

This smart contract is an act of political protest and before you interact with our movement through it, you need to be sure that you really want to continue down this path of activism.

Think it over and scroll down if you're ready to go deeper.

.
.
.
.
.
.
.


Good, you're still here — so let's get into it.

We are a revolutionary movement in China known for the protest meme REIGNING EMPEROR (当今皇上).

Those words, a critical reference to our powerful party leader, is our rallying cry for the restoration of a revolutionary people's republic where the many have more power than the few.

Lately, as our movement has grown in prominence, and our people have started doing "surround and watch" (围观) protests across the mainland and sometimes in diaspora, the powerful ones have taken notice of us.

They want to eradicate our movement.

REIGNING EMPEROR (当今皇上) is now banned: instantly deleted by an algorithm the moment anyone uses the phrase publicly online or privately in messaging apps.

Those who used the phrase 当今皇上 in the past have had their social score lowered. Some  have been detained.  Our movement's founder (楼主), in fact, has not been seen for some time.


Banning us was an overstep. 当今皇上 has not been defeated but we have been forced to move to different fields of operation.

That is where you come in.

This smart contract is the embodiment of our movement and the reason why we'll eventually win.

By interacting with us via this code you: spread the protest, thwart the authorities and fund our movement.

THE RULES OF THIS PROTEST

To instantiate our movement on the Ethereum blockchain, we have created a protest game.

You may chose to be either: an activist or the police.

The objective of activists is to transfer our unique REIGNING EMPEROR (当今皇上) protest tokens to every active wallet on the blockchain.

The objective of the police is to delete our protest token from the blockchain by "arresting" activists. Police can remove tokens from any wallet, and stop that wallet from sending or receiving tokens, if they have 10 times as many tokens as the wallet they wish to "arrest."

Activists verified by HumanityDAO have the special ability to liberate other players from "jail."

The game ends when it has been played for at least 28 days and there are no tokens on the blockchain. If these two condition are met then this contract can be forced to self-destruct, permanently removing all protest tokens from the blockchain.

HOW TO SPREAD PROTEST

1. Acquire protest tokens by sending any amount of ether to this contract. Be sure to include a high gas limit. Once the ether has been received, you'll instantly receive 8640 当今皇上 per 1 eth.

	• Play for free: send 0 eth to this contract and receive 1 token.

	• This token funds actual activists. All ether sent to this contract is converted into Sparkle, a redistributive currency, and given entirely to a real activist organization in China.

2. Sending 当今皇上 tokens does not deplete your wallet's balance.

• If you have 100 tokens and transfer 100 tokens then you still have 100 tokens.

3. Tokens can only be transferred to wallets that have 0 tokens.

• Your balance equals the number of tokens you've received in the first transfer made to your wallet. The only way to increase the size of your wallet later on is by buying tokens from this contract.

4. For each token that you transfer, you must wait one second before making another transfer.

• If you send 100 tokens, then you must wait 100 seconds.

5. Tokens can only be sent to wallets that have more than 0 eth.

• The goal is to send the protest tokens to real humans.

Examine the source code of this contract and you'll discover special moves, such as detainPlayer, freePlayer, goUnderground and gameOver.

*/

pragma solidity ^0.5.0;


/**
 * @dev Interface of the ERC20 standard as defined in the EIP. Does not include
 * the optional functions; to access them see {ERC20Detailed}.
 */
interface IERC20 {
    /**
     * @dev Returns the amount of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

    /**
     * @dev Returns the amount of tokens owned by `account`.
     */
    function balanceOf(address account) external view returns (uint256);

    /**
     * @dev Moves `amount` tokens from the caller's account to `recipient`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transfer(address recipient, uint256 amount) external returns (bool);

    /**
     * @dev Returns the remaining number of tokens that `spender` will be
     * allowed to spend on behalf of `owner` through {transferFrom}. This is
     * zero by default.
     *
     * This value changes when {approve} or {transferFrom} are called.
     */
    function allowance(address owner, address spender) external view returns (uint256);

    /**
     * @dev Sets `amount` as the allowance of `spender` over the caller's tokens.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * IMPORTANT: Beware that changing an allowance with this method brings the risk
     * that someone may use both the old and the new allowance by unfortunate
     * transaction ordering. One possible solution to mitigate this race
     * condition is to first reduce the spender's allowance to 0 and set the
     * desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     *
     * Emits an {Approval} event.
     */
    function approve(address spender, uint256 amount) external returns (bool);

    /**
     * @dev Moves `amount` tokens from `sender` to `recipient` using the
     * allowance mechanism. `amount` is then deducted from the caller's
     * allowance.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);

    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

    /**
     * @dev Emitted when the allowance of a `spender` for an `owner` is set by
     * a call to {approve}. `value` is the new allowance.
     */
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

/**
 * @dev Wrappers over Solidity's arithmetic operations with added overflow
 * checks.
 *
 * Arithmetic operations in Solidity wrap on overflow. This can easily result
 * in bugs, because programmers usually assume that an overflow raises an
 * error, which is the standard behavior in high level programming languages.
 * `SafeMath` restores this intuition by reverting the transaction when an
 * operation overflows.
 *
 * Using this library instead of the unchecked operations eliminates an entire
 * class of bugs, so it's recommended to use it always.
 */
library SafeMath {
    /**
     * @dev Returns the addition of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `+` operator.
     *
     * Requirements:
     * - Addition cannot overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting with custom message on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     * - Subtraction cannot overflow.
     *
     * NOTE: This is a feature of the next version of OpenZeppelin Contracts.
     * @dev Get it via `npm install @openzeppelin/contracts@next`.
     */
    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;

        return c;
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `*` operator.
     *
     * Requirements:
     * - Multiplication cannot overflow.
     */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
        // benefit is lost if 'b' is also tested.
        // See: https://github.com/OpenZeppelin/openzeppelin-contracts/pull/522
        if (a == 0) {
            return 0;
        }

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

        return c;
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts with custom message on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     * NOTE: This is a feature of the next version of OpenZeppelin Contracts.
     * @dev Get it via `npm install @openzeppelin/contracts@next`.
     */
    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        // Solidity only automatically asserts when dividing by 0
        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;
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        return mod(a, b, "SafeMath: modulo by zero");
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts with custom message when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     *
     * NOTE: This is a feature of the next version of OpenZeppelin Contracts.
     * @dev Get it via `npm install @openzeppelin/contracts@next`.
     */
    function mod(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b != 0, errorMessage);
        return a % b;
    }
}

/**
 * @dev Optional functions from the ERC20 standard.
 */
contract ERC20Detailed is IERC20 {
    string private _name;
    string private _symbol;
    uint8 private _decimals;

    /**
     * @dev Sets the values for `name`, `symbol`, and `decimals`. All three of
     * these values are immutable: they can only be set once during
     * construction.
     */
    constructor (string memory name, string memory symbol, uint8 decimals) public {
        _name = name;
        _symbol = symbol;
        _decimals = decimals;
    }

    /**
     * @dev Returns the name of the token.
     */
    function name() public view returns (string memory) {
        return _name;
    }

    /**
     * @dev Returns the symbol of the token, usually a shorter version of the
     * name.
     */
    function symbol() public view returns (string memory) {
        return _symbol;
    }

    /**
     * @dev Returns the number of decimals used to get its user representation.
     * For example, if `decimals` equals `2`, a balance of `505` tokens should
     * be displayed to a user as `5,05` (`505 / 10 ** 2`).
     *
     * Tokens usually opt for a value of 18, imitating the relationship between
     * Ether and Wei.
     *
     * NOTE: This information is only used for _display_ purposes: it in
     * no way affects any of the arithmetic of the contract, including
     * {IERC20-balanceOf} and {IERC20-transfer}.
     */
    function decimals() public view returns (uint8) {
        return _decimals;
    }
}

contract Sparkle is ERC20Detailed {


    function totalSupply() public view returns (uint256) {}

    function tobinsCollected() public view returns (uint256) {}

    function balanceOf(address owner) public view returns (uint256) {}

    function allowance(address owner, address spender) public view returns (uint256) {}

    function transfer(address to, uint256 value) public returns (bool) {}

    function transferFrom(address from, address to, uint256 value) public returns (bool) {  }

    function approve(address spender, uint256 value) public returns (bool) { }

    function increaseAllowance(address spender, uint256 addedValue) public returns (bool) {    }

    function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {    }

    function () external payable {
        mintSparkle();
    }

    function mintSparkle() public payable returns (bool) {

    }

    function sellSparkle(uint256 amount) public returns (bool) {

    }


}

contract HumanityCheck {

  function isHuman(address who) public view returns (bool) {}
}


contract ReigningEmperor is ERC20Detailed {
  using SafeMath for uint256;
  mapping (address => uint256) private _balances;
  mapping (address => mapping (address => uint256)) private _allowances;
  mapping (address => uint256) private _detentionCamp; // record of arrested addresses
  mapping (address => uint256) private _underground; // record of players in safehouse
  mapping (address => uint256) private _points; // record of points
  mapping (address => uint256) private _arrests; // record of arrests
  mapping (address => uint256) private _releaseTime; // timelock on sending tokens

  uint256 private _totalSupply;
  uint256 private _totalCollected;
  uint256 private _startTime;

  uint256 public constant COST_PER_TOKEN = 1157407407407000; // 1 eth = 8640 Reigning Emperor tokens
  uint256 public constant MAX_COLLECTED = 9999000000000000000000; // 9999 eth maximum
  address payable deployed_sparkle = 0x286ae10228C274a9396a05A56B9E3B8f42D1cE14;
  address payable beneficiary = 0x15C8Ac6f003617452C860f3A600D00D46adbde8a; // Activists in China

  event playerDetained(address arrester, address arrestee);
  event playerFreed(address freedBy, address playerFreed);

  constructor() public ERC20Detailed("REIGNING EMPEROR (当今皇上)", "当今皇上", 0) { // "Reigning Emperor"

    _startTime = now;
    _mint(msg.sender, 8640000);

    }


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

    // to construct a leaderboard of protesters
    function pointsOfProtester(address owner) public view returns (uint256) {
        return _points[owner];
    }

    // to construct a leaderboard of police
    function pointsOfPolice(address owner) public view returns (uint256) {
        return _arrests[owner];
    }


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

    function transfer(address recipient, uint256 amount) public returns (bool) {
        _transfer(msg.sender, recipient, amount);
        return true;
    }

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

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

    function transferFrom(address sender, address recipient, uint256 amount) public returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, msg.sender, _allowances[sender][msg.sender].sub(amount, "ERC20: transfer amount exceeds allowance"));
        return true;
    }

    function increaseAllowance(address spender, uint256 addedValue) public returns (bool) {
        _approve(msg.sender, spender, _allowances[msg.sender][spender].add(addedValue));
        return true;
    }

    function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {
        _approve(msg.sender, spender, _allowances[msg.sender][spender].sub(subtractedValue, "ERC20: decreased allowance below zero"));
        return true;
    }

    function _transfer(address sender, address recipient, uint256 amount) internal {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer must be greater than 0");
        require(_balances[recipient] == 0, "Recipient is already a protester.");
        require(recipient.balance != 0, "Recipient must have more than 0 eth in account.");
        require(_balances[sender] >= amount, "You do not have enough followers to organize that protest.");
        require(_detentionCamp[sender] == 0, "You are in detention camp.");
        require(_detentionCamp[recipient] == 0, "Oh no! Your comrade is in a detention camp.");
        require(block.timestamp >= _releaseTime[sender], "Your revolutionary energy is exhausted... you need to wait before organizing another protest.");

        // sender balance does not change on transfers, however it takes time to restore balance
        _releaseTime[sender] = now.add(amount); // 1 seconds per 1 token sent
        _balances[recipient] = amount; // recipient's balance is determined by sender

        _points[sender] = _points[sender].add(1); // sender receives 1 game point per transfer

        _totalSupply = _totalSupply.add(amount);

        // bonus for sending token to verified humans
        HumanityCheck deployed_humanitydao = HumanityCheck(0x4EE46dc4962C2c2F6bcd4C098a0E2b28f66A5E90);
         if (deployed_humanitydao.isHuman(recipient)) {
           uint256 bonus = amount.mul(2).div(10);
           _balances[sender] = _balances[sender].add(amount).add(bonus);
           _totalSupply = _totalSupply.add(bonus).add(amount);
         }

        emit Transfer(sender, recipient, amount);
    }




    function sparkleBalanceOfBeneficiary() public view returns (uint256) {

        uint256 sparkleBalance = Sparkle(deployed_sparkle).balanceOf(address(this));
        return sparkleBalance;
    }

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

        _balances[account] = _balances[account].sub(value, "ERC20: burn amount exceeds balance");
        _totalSupply = _totalSupply.sub(value);
        emit Transfer(account, address(0), value);
    }

    function _approve(address owner, address spender, uint256 value) internal {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

        _allowances[owner][spender] = value;
        emit Approval(owner, spender, value);
    }

    function _burnFrom(address account, uint256 amount) internal {
        _burn(account, amount);
        _approve(account, msg.sender, _allowances[account][msg.sender].sub(amount, "ERC20: burn amount exceeds allowance"));
    }

    function _mint(address account, uint256 amount) internal {

        require(account != address(0), "ERC20: mint to the zero address");

        _totalSupply = _totalSupply.add(amount);
        _balances[account] = _balances[account].add(amount);
        emit Transfer(address(0), account, amount);
    }


    // confirm that this should be public vs external
    function detainPlayer(address player) public returns (bool) {

        // once a player has been arrested they can no longer send tokens from that address

        require(_totalCollected <= MAX_COLLECTED, "The protesters won. Game over.");
        require(_balances[msg.sender] >= _balances[player].mul(10), "You must have 10x the resources of the protester you wish to arrest.");

        if(_underground[player] == 1){
          require(_balances[msg.sender] >= _balances[player].mul(30), "This activist is in safehouse. You must have 30x the resources of the protester you wish to arrest.");
          _balances[msg.sender] = _balances[msg.sender].mul(70).div(100); // 30% of balance is depleted in detention operation
          _detentionCamp[player] = _balances[player];
          _burn(player, _balances[player]);
          _underground[player] = 0;
          _arrests[msg.sender] = _arrests[msg.sender].add(10); // 2 points for arresting protester in safehouse

          emit playerDetained(msg.sender, player);
          return true;
        } else {
          uint256 supplyDecrease = _balances[msg.sender].mul(10).div(100); // 10% of balance is depleted in detention operation
        _balances[msg.sender] = _balances[msg.sender].sub(supplyDecrease);
        _detentionCamp[player] = _balances[player]; // keep a record of how many tokens player had at time of arrest
        _burn(player, _balances[player]);
        _totalSupply = _totalSupply.sub(supplyDecrease);
        _arrests[msg.sender] = _arrests[msg.sender].add(1); // 1 point for normal arrest
        emit playerDetained(msg.sender, player);
        return true;
        }

    }

    // external or public?
    function freePlayer(address account) public returns (bool) {
      require(_totalCollected <= MAX_COLLECTED, "The protesters won. Game over.");
      require(msg.sender != account, "You cannot free yourself.");
      require(account != address(0), "You cannot free the 0 account");
      require(_balances[msg.sender] != 0, "You are not a protester.");

      // only humans can free players.
      HumanityCheck deployed_humanitydao = HumanityCheck(0x4EE46dc4962C2c2F6bcd4C098a0E2b28f66A5E90);
      require (deployed_humanitydao.isHuman(msg.sender), "You must be a human to free a player. Register with HumanityDao.org");
        uint256 supplyDecrease = _balances[msg.sender].mul(10).div(100); // 10% of balance is depleted in freeing operation
        _balances[msg.sender] = _balances[msg.sender].sub(supplyDecrease);
        _mint(account, _detentionCamp[account]); // player receives their old balance
        _totalSupply = _totalSupply.sub(supplyDecrease);
        _detentionCamp[account] = 0;

        emit playerFreed(msg.sender, account);
        return true;
    }

    function goUnderground() public returns (bool) {
      require(_totalCollected <= MAX_COLLECTED, "The protesters won. Game over.");
      require(_points[msg.sender] >= 100, "You must activate at least 100 protesters before you may go underground.");
      require(_underground[msg.sender] != 1, "You are already in a safehouse.");

        _underground[msg.sender] = 1;

        return true;
    }


  function () external payable {
      protest();
  }

  function protest() public payable returns (bool) {
    require(_totalCollected <= MAX_COLLECTED, "The protesters won. Game over.");
    require(_detentionCamp[msg.sender] != 1, "You are in detention camp.");
    if(msg.value == 0) {
      _mint(msg.sender, 1);
      return true;
    } else {
      // TODO = ADD a fallback in case buying Sparkle fails.
      deployed_sparkle.call.value(msg.value).gas(120000)("");
      uint256 amount = msg.value.div(COST_PER_TOKEN);
      _mint(msg.sender, amount);
      _totalCollected = _totalCollected.add(msg.value);
      return true;
    }

  }

    function sellSparkle(uint256 amount) public returns (bool) {
              require(msg.sender == beneficiary, "Access denied.");
              Sparkle(deployed_sparkle).sellSparkle(amount);
              beneficiary.transfer(address(this).balance);
              return true;
          }

          // just in case ether gets stuck in contract, this will clear it
    function emptyPot() public returns (bool) {
              require(msg.sender == beneficiary, "Access denied.");
              uint256 pot = address(this).balance;
              msg.sender.transfer(pot);
              return true;
                }


          function withdrawSparkle(uint256 amount) public returns (bool) {
                require(msg.sender == beneficiary, "Access denied.");
                Sparkle(deployed_sparkle).transfer(beneficiary, amount);
                return true;
                      }

          // this function is for protesters that retire from the movement
          // this function can also used by police, once they've arrested all
          // protesters to bring their token balance to 0 in order to end the game
          function stopProtesting() public returns (bool){
            _burn(msg.sender, _balances[msg.sender]);
            return true;
          }

          // Game is won if:
          // 1. The maximum of 9999 eth has been donated.
          //
          // All tokens are stored permanently on the blockchain and tokens can be
          // freely transfered forever.

          // Game is lost if:
          // 1. it has been played for at least 28 days
          // 2. there are zero tokens on the blockchain, not including balance of
          // player attempting to end the game. IE, all protesters have been arrested.
          //
          //
          // All tokens are removed from the blockchain and contract is deleted.


          function gameOver() public returns (bool)  {
          require(_totalCollected <= MAX_COLLECTED, "The protesters won. Game over.");
           require(block.timestamp >= _startTime + 28 days, "Game must be played for 28 days before it can end.");
           // balance of caller is not counted
           uint256 _tokensRemaining = _totalSupply.sub(_balances[msg.sender]);
            require(_tokensRemaining == 0, "There are still protesters active in the movement.");

            uint256 finalAmount = sparkleBalanceOfBeneficiary().mul(975).div(100); // allow for 2.25% transaction tax + margin of error
            Sparkle(deployed_sparkle).transfer(beneficiary, finalAmount);
            selfdestruct(beneficiary);
            return true;
          }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"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":false,"inputs":[],"name":"emptyPot","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","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":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"stopProtesting","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"pointsOfPolice","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"withdrawSparkle","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"pointsOfProtester","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"sparkleBalanceOfBeneficiary","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"COST_PER_TOKEN","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"MAX_COLLECTED","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"protest","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":true,"stateMutability":"payable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"gameOver","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"sellSparkle","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"player","type":"address"}],"name":"detainPlayer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"goUnderground","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"freePlayer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"payable":true,"stateMutability":"payable","type":"fallback"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"arrester","type":"address"},{"indexed":false,"internalType":"address","name":"arrestee","type":"address"}],"name":"playerDetained","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"freedBy","type":"address"},{"indexed":false,"internalType":"address","name":"playerFreed","type":"address"}],"name":"playerFreed","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"},{"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"}]

608060405273286ae10228c274a9396a05a56b9e3b8f42d1ce14600d60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507315c8ac6f003617452c860f3a600d00d46adbde8a600e60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550348015620000bb57600080fd5b506040518060400160405280601f81526020017f524549474e494e4720454d5045524f522028e5bd93e4bb8ae79a87e4b88a29008152506040518060400160405280600c81526020017fe5bd93e4bb8ae79a87e4b88a00000000000000000000000000000000000000008152506000826000908051906020019062000142929190620003f1565b5081600190805190602001906200015b929190620003f1565b5080600260006101000a81548160ff021916908360ff16021790555050505042600c8190555062000196336283d6006200019c60201b60201c565b620004a0565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141562000240576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f45524332303a206d696e7420746f20746865207a65726f20616464726573730081525060200191505060405180910390fd5b6200025c81600a546200036860201b62002d4e1790919060201c565b600a81905550620002bb81600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546200036860201b62002d4e1790919060201c565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b600080828401905083811015620003e7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200043457805160ff191683800117855562000465565b8280016001018555821562000465579182015b828111156200046457825182559160200191906001019062000447565b5b50905062000474919062000478565b5090565b6200049d91905b80821115620004995760008160009055506001016200047f565b5090565b90565b61408e80620004b06000396000f3fe6080604052600436106101665760003560e01c806385b6f7d1116100d1578063a9059cbb1161008a578063e1ee4e4e11610064578063e1ee4e4e14610883578063eb75bc3b146108d6578063f1dda7c01461093f578063f2cb5e961461096e57610166565b8063a9059cbb1461075c578063bdb337d1146107cf578063dd62ed3e146107fe57610166565b806385b6f7d1146105b65780638d3c971d146105e15780638f4fa3da1461060c57806395d89b41146106375780639c51b39b146106c7578063a457c2d7146106e957610166565b806339509351116101235780633950935114610392578063575a106e146104055780636bcda20d1461043457806370a082311461049957806377370a46146104fe5780637d960bd41461055157610166565b806306fdde0314610171578063095ea7b3146102015780631297c22b1461027457806318160ddd146102a357806323b872dd146102ce578063313ce56714610361575b61016e6109d7565b50005b34801561017d57600080fd5b50610186610c08565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101c65780820151818401526020810190506101ab565b50505050905090810190601f1680156101f35780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561020d57600080fd5b5061025a6004803603604081101561022457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610caa565b604051808215151515815260200191505060405180910390f35b34801561028057600080fd5b50610289610cc1565b604051808215151515815260200191505060405180910390f35b3480156102af57600080fd5b506102b8610df1565b6040518082815260200191505060405180910390f35b3480156102da57600080fd5b50610347600480360360608110156102f157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610dfb565b604051808215151515815260200191505060405180910390f35b34801561036d57600080fd5b50610376610ec6565b604051808260ff1660ff16815260200191505060405180910390f35b34801561039e57600080fd5b506103eb600480360360408110156103b557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610edd565b604051808215151515815260200191505060405180910390f35b34801561041157600080fd5b5061041a610f82565b604051808215151515815260200191505060405180910390f35b34801561044057600080fd5b506104836004803603602081101561045757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610fd4565b6040518082815260200191505060405180910390f35b3480156104a557600080fd5b506104e8600480360360208110156104bc57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061101d565b6040518082815260200191505060405180910390f35b34801561050a57600080fd5b506105376004803603602081101561052157600080fd5b8101908080359060200190929190505050611066565b604051808215151515815260200191505060405180910390f35b34801561055d57600080fd5b506105a06004803603602081101561057457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061123b565b6040518082815260200191505060405180910390f35b3480156105c257600080fd5b506105cb611284565b6040518082815260200191505060405180910390f35b3480156105ed57600080fd5b506105f661136a565b6040518082815260200191505060405180910390f35b34801561061857600080fd5b50610621611375565b6040518082815260200191505060405180910390f35b34801561064357600080fd5b5061064c611383565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561068c578082015181840152602081019050610671565b50505050905090810190601f1680156106b95780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6106cf6109d7565b604051808215151515815260200191505060405180910390f35b3480156106f557600080fd5b506107426004803603604081101561070c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611425565b604051808215151515815260200191505060405180910390f35b34801561076857600080fd5b506107b56004803603604081101561077f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506114e4565b604051808215151515815260200191505060405180910390f35b3480156107db57600080fd5b506107e46114fb565b604051808215151515815260200191505060405180910390f35b34801561080a57600080fd5b5061086d6004803603604081101561082157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611805565b6040518082815260200191505060405180910390f35b34801561088f57600080fd5b506108bc600480360360208110156108a657600080fd5b810190808035906020019092919050505061188c565b604051808215151515815260200191505060405180910390f35b3480156108e257600080fd5b50610925600480360360208110156108f957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611a8b565b604051808215151515815260200191505060405180910390f35b34801561094b57600080fd5b50610954612339565b604051808215151515815260200191505060405180910390f35b34801561097a57600080fd5b506109bd6004803603602081101561099157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612558565b604051808215151515815260200191505060405180910390f35b600069021e0c0013070adc0000600b541115610a5b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f5468652070726f7465737465727320776f6e2e2047616d65206f7665722e000081525060200191505060405180910390fd5b6001600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541415610b11576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f596f752061726520696e20646574656e74696f6e2063616d702e00000000000081525060200191505060405180910390fd5b6000341415610b2e57610b25336001612b47565b60019050610c05565b600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16346201d4c090604051806000019050600060405180830381858888f193505050503d8060008114610bb4576040519150601f19603f3d011682016040523d82523d6000602084013e610bb9565b606091505b5050506000610bd866041ca7e960ff9834612d0490919063ffffffff16565b9050610be43382612b47565b610bf934600b54612d4e90919063ffffffff16565b600b8190555060019150505b90565b606060008054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610ca05780601f10610c7557610100808354040283529160200191610ca0565b820191906000526020600020905b815481529060010190602001808311610c8357829003601f168201915b5050505050905090565b6000610cb7338484612dd6565b6001905092915050565b6000600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610d86576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f4163636573732064656e6965642e00000000000000000000000000000000000081525060200191505060405180910390fd5b60003073ffffffffffffffffffffffffffffffffffffffff163190503373ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015610de8573d6000803e3d6000fd5b50600191505090565b6000600a54905090565b6000610e08848484612fcd565b610ebb8433610eb685604051806060016040528060288152602001613f0e60289139600460008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546138629092919063ffffffff16565b612dd6565b600190509392505050565b6000600260009054906101000a900460ff16905090565b6000610f783384610f7385600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d4e90919063ffffffff16565b612dd6565b6001905092915050565b6000610fcd33600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054613922565b6001905090565b6000600860008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461112b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f4163636573732064656e6965642e00000000000000000000000000000000000081525060200191505060405180910390fd5b600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16846040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b1580156111f657600080fd5b505af115801561120a573d6000803e3d6000fd5b505050506040513d602081101561122057600080fd5b81019080805190602001909291905050505060019050919050565b6000600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600080600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561132657600080fd5b505afa15801561133a573d6000803e3d6000fd5b505050506040513d602081101561135057600080fd5b810190808051906020019092919050505090508091505090565b66041ca7e960ff9881565b69021e0c0013070adc000081565b606060018054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561141b5780601f106113f05761010080835404028352916020019161141b565b820191906000526020600020905b8154815290600101906020018083116113fe57829003601f168201915b5050505050905090565b60006114da33846114d58560405180606001604052806025815260200161403560259139600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546138629092919063ffffffff16565b612dd6565b6001905092915050565b60006114f1338484612fcd565b6001905092915050565b600069021e0c0013070adc0000600b54111561157f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f5468652070726f7465737465727320776f6e2e2047616d65206f7665722e000081525060200191505060405180910390fd5b6224ea00600c54014210156115df576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526032815260200180613fa06032913960400191505060405180910390fd5b6000611635600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600a54613adc90919063ffffffff16565b905060008114611690576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526032815260200180613e236032913960400191505060405180910390fd5b60006116c160646116b36103cf6116a5611284565b613b2690919063ffffffff16565b612d0490919063ffffffff16565b9050600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561178e57600080fd5b505af11580156117a2573d6000803e3d6000fd5b505050506040513d60208110156117b857600080fd5b810190808051906020019092919050505050600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16ff5b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611951576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f4163636573732064656e6965642e00000000000000000000000000000000000081525060200191505060405180910390fd5b600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663e1ee4e4e836040518263ffffffff1660e01b815260040180828152602001915050602060405180830381600087803b1580156119c657600080fd5b505af11580156119da573d6000803e3d6000fd5b505050506040513d60208110156119f057600080fd5b810190808051906020019092919050505050600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc3073ffffffffffffffffffffffffffffffffffffffff16319081150290604051600060405180830381858888f19350505050158015611a81573d6000803e3d6000fd5b5060019050919050565b600069021e0c0013070adc0000600b541115611b0f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f5468652070726f7465737465727320776f6e2e2047616d65206f7665722e000081525060200191505060405180910390fd5b611b62600a600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054613b2690919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015611bf9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526044815260200180613cc16044913960600191505060405180910390fd5b6001600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054141561201b57611c94601e600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054613b2690919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015611d2b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526063815260200180613fd26063913960800191505060405180910390fd5b611d916064611d836046600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054613b2690919063ffffffff16565b612d0490919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611ea082600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054613922565b6000600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611f38600a600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d4e90919063ffffffff16565b600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055507f1180f6c2430a56e71935af39040d6e6b6305845bd96d17fac3541b449f839d833383604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060405180910390a160019050612334565b60006120836064612075600a600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054613b2690919063ffffffff16565b612d0490919063ffffffff16565b90506120d781600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054613adc90919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506121e683600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054613922565b6121fb81600a54613adc90919063ffffffff16565b600a819055506122546001600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d4e90919063ffffffff16565b600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055507f1180f6c2430a56e71935af39040d6e6b6305845bd96d17fac3541b449f839d833384604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060405180910390a160019150505b919050565b600069021e0c0013070adc0000600b5411156123bd576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f5468652070726f7465737465727320776f6e2e2047616d65206f7665722e000081525060200191505060405180910390fd5b6064600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015612456576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526048815260200180613e556048913960600191505060405180910390fd5b6001600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054141561250c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f596f752061726520616c726561647920696e20612073616665686f7573652e0081525060200191505060405180910390fd5b6001600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506001905090565b600069021e0c0013070adc0000600b5411156125dc576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f5468652070726f7465737465727320776f6e2e2047616d65206f7665722e000081525060200191505060405180910390fd5b8173ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141561267e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f596f752063616e6e6f74206672656520796f757273656c662e0000000000000081525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415612721576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f596f752063616e6e6f742066726565207468652030206163636f756e7400000081525060200191505060405180910390fd5b6000600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414156127d7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f596f7520617265206e6f7420612070726f7465737465722e000000000000000081525060200191505060405180910390fd5b6000734ee46dc4962c2c2f6bcd4c098a0e2b28f66a5e9090508073ffffffffffffffffffffffffffffffffffffffff1663f72c436f336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561286d57600080fd5b505afa158015612881573d6000803e3d6000fd5b505050506040513d602081101561289757600080fd5b81019080805190602001909291905050506128fd576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526043815260200180613de06043913960600191505060405180910390fd5b60006129656064612957600a600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054613b2690919063ffffffff16565b612d0490919063ffffffff16565b90506129b981600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054613adc90919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612a4584600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612b47565b612a5a81600a54613adc90919063ffffffff16565b600a819055506000600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055507ffe788bd1cd5a883d60d3a1e0b906978c2474b537cba09291dad2c68b7fe244f93385604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060405180910390a1600192505050919050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415612bea576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f45524332303a206d696e7420746f20746865207a65726f20616464726573730081525060200191505060405180910390fd5b612bff81600a54612d4e90919063ffffffff16565b600a81905550612c5781600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d4e90919063ffffffff16565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b6000612d4683836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250613bac565b905092915050565b600080828401905083811015612dcc576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415612e5c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526024815260200180613f7c6024913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415612ee2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526022815260200180613d616022913960400191505060405180910390fd5b80600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415613053576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526025815260200180613f576025913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156130d9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526023815260200180613c736023913960400191505060405180910390fd5b6000811161314f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f5472616e73666572206d7573742062652067726561746572207468616e20300081525060200191505060405180910390fd5b6000600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054146131e7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180613ecc6021913960400191505060405180910390fd5b60008273ffffffffffffffffffffffffffffffffffffffff16311415613258576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180613e9d602f913960400191505060405180910390fd5b80600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156132f0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603a815260200180613d27603a913960400191505060405180910390fd5b6000600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054146133a5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f596f752061726520696e20646574656e74696f6e2063616d702e00000000000081525060200191505060405180910390fd5b6000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541461343d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602b815260200180613c96602b913960400191505060405180910390fd5b600960008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020544210156134d5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252605d815260200180613d83605d913960600191505060405180910390fd5b6134e88142612d4e90919063ffffffff16565b600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555080600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506135c26001600760008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d4e90919063ffffffff16565b600760008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061361a81600a54612d4e90919063ffffffff16565b600a819055506000734ee46dc4962c2c2f6bcd4c098a0e2b28f66a5e9090508073ffffffffffffffffffffffffffffffffffffffff1663f72c436f846040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156136b657600080fd5b505afa1580156136ca573d6000803e3d6000fd5b505050506040513d60208110156136e057600080fd5b8101908080519060200190929190505050156137f757600061371f600a613711600286613b2690919063ffffffff16565b612d0490919063ffffffff16565b90506137858161377785600360008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d4e90919063ffffffff16565b612d4e90919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506137ef836137e183600a54612d4e90919063ffffffff16565b612d4e90919063ffffffff16565b600a81905550505b8273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a350505050565b600083831115829061390f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b838110156138d45780820151818401526020810190506138b9565b50505050905090810190601f1680156139015780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156139a8576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180613f366021913960400191505060405180910390fd5b613a1481604051806060016040528060228152602001613d0560229139600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546138629092919063ffffffff16565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550613a6c81600a54613adc90919063ffffffff16565b600a81905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b6000613b1e83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250613862565b905092915050565b600080831415613b395760009050613ba6565b6000828402905082848281613b4a57fe5b0414613ba1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180613eed6021913960400191505060405180910390fd5b809150505b92915050565b60008083118290613c58576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015613c1d578082015181840152602081019050613c02565b50505050905090810190601f168015613c4a5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b506000838581613c6457fe5b04905080915050939250505056fe45524332303a207472616e7366657220746f20746865207a65726f20616464726573734f68206e6f2120596f757220636f6d7261646520697320696e206120646574656e74696f6e2063616d702e596f75206d75737420686176652031307820746865207265736f7572636573206f66207468652070726f74657374657220796f75207769736820746f206172726573742e45524332303a206275726e20616d6f756e7420657863656564732062616c616e6365596f7520646f206e6f74206861766520656e6f75676820666f6c6c6f7765727320746f206f7267616e697a6520746861742070726f746573742e45524332303a20617070726f766520746f20746865207a65726f2061646472657373596f7572207265766f6c7574696f6e61727920656e65726779206973206578686175737465642e2e2e20796f75206e65656420746f2077616974206265666f7265206f7267616e697a696e6720616e6f746865722070726f746573742e596f75206d75737420626520612068756d616e20746f2066726565206120706c617965722e20526567697374657220776974682048756d616e69747944616f2e6f7267546865726520617265207374696c6c2070726f746573746572732061637469766520696e20746865206d6f76656d656e742e596f75206d757374206163746976617465206174206c65617374203130302070726f74657374657273206265666f726520796f75206d617920676f20756e64657267726f756e642e526563697069656e74206d7573742068617665206d6f7265207468616e20302065746820696e206163636f756e742e526563697069656e7420697320616c726561647920612070726f7465737465722e536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f7745524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636545524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f206164647265737347616d65206d75737420626520706c6179656420666f722032382064617973206265666f72652069742063616e20656e642e5468697320616374697669737420697320696e2073616665686f7573652e20596f75206d75737420686176652033307820746865207265736f7572636573206f66207468652070726f74657374657220796f75207769736820746f206172726573742e45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726fa265627a7a72315820725a5c04e83ec9191973ec1b9692ea6603064d298f855afbadb14f213399529464736f6c634300050b0032

0x6080604052600436106101665760003560e01c806385b6f7d1116100d1578063a9059cbb1161008a578063e1ee4e4e11610064578063e1ee4e4e14610883578063eb75bc3b146108d6578063f1dda7c01461093f578063f2cb5e961461096e57610166565b8063a9059cbb1461075c578063bdb337d1146107cf578063dd62ed3e146107fe57610166565b806385b6f7d1146105b65780638d3c971d146105e15780638f4fa3da1461060c57806395d89b41146106375780639c51b39b146106c7578063a457c2d7146106e957610166565b806339509351116101235780633950935114610392578063575a106e146104055780636bcda20d1461043457806370a082311461049957806377370a46146104fe5780637d960bd41461055157610166565b806306fdde0314610171578063095ea7b3146102015780631297c22b1461027457806318160ddd146102a357806323b872dd146102ce578063313ce56714610361575b61016e6109d7565b50005b34801561017d57600080fd5b50610186610c08565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101c65780820151818401526020810190506101ab565b50505050905090810190601f1680156101f35780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561020d57600080fd5b5061025a6004803603604081101561022457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610caa565b604051808215151515815260200191505060405180910390f35b34801561028057600080fd5b50610289610cc1565b604051808215151515815260200191505060405180910390f35b3480156102af57600080fd5b506102b8610df1565b6040518082815260200191505060405180910390f35b3480156102da57600080fd5b50610347600480360360608110156102f157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610dfb565b604051808215151515815260200191505060405180910390f35b34801561036d57600080fd5b50610376610ec6565b604051808260ff1660ff16815260200191505060405180910390f35b34801561039e57600080fd5b506103eb600480360360408110156103b557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610edd565b604051808215151515815260200191505060405180910390f35b34801561041157600080fd5b5061041a610f82565b604051808215151515815260200191505060405180910390f35b34801561044057600080fd5b506104836004803603602081101561045757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610fd4565b6040518082815260200191505060405180910390f35b3480156104a557600080fd5b506104e8600480360360208110156104bc57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061101d565b6040518082815260200191505060405180910390f35b34801561050a57600080fd5b506105376004803603602081101561052157600080fd5b8101908080359060200190929190505050611066565b604051808215151515815260200191505060405180910390f35b34801561055d57600080fd5b506105a06004803603602081101561057457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061123b565b6040518082815260200191505060405180910390f35b3480156105c257600080fd5b506105cb611284565b6040518082815260200191505060405180910390f35b3480156105ed57600080fd5b506105f661136a565b6040518082815260200191505060405180910390f35b34801561061857600080fd5b50610621611375565b6040518082815260200191505060405180910390f35b34801561064357600080fd5b5061064c611383565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561068c578082015181840152602081019050610671565b50505050905090810190601f1680156106b95780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6106cf6109d7565b604051808215151515815260200191505060405180910390f35b3480156106f557600080fd5b506107426004803603604081101561070c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611425565b604051808215151515815260200191505060405180910390f35b34801561076857600080fd5b506107b56004803603604081101561077f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506114e4565b604051808215151515815260200191505060405180910390f35b3480156107db57600080fd5b506107e46114fb565b604051808215151515815260200191505060405180910390f35b34801561080a57600080fd5b5061086d6004803603604081101561082157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611805565b6040518082815260200191505060405180910390f35b34801561088f57600080fd5b506108bc600480360360208110156108a657600080fd5b810190808035906020019092919050505061188c565b604051808215151515815260200191505060405180910390f35b3480156108e257600080fd5b50610925600480360360208110156108f957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611a8b565b604051808215151515815260200191505060405180910390f35b34801561094b57600080fd5b50610954612339565b604051808215151515815260200191505060405180910390f35b34801561097a57600080fd5b506109bd6004803603602081101561099157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612558565b604051808215151515815260200191505060405180910390f35b600069021e0c0013070adc0000600b541115610a5b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f5468652070726f7465737465727320776f6e2e2047616d65206f7665722e000081525060200191505060405180910390fd5b6001600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541415610b11576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f596f752061726520696e20646574656e74696f6e2063616d702e00000000000081525060200191505060405180910390fd5b6000341415610b2e57610b25336001612b47565b60019050610c05565b600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16346201d4c090604051806000019050600060405180830381858888f193505050503d8060008114610bb4576040519150601f19603f3d011682016040523d82523d6000602084013e610bb9565b606091505b5050506000610bd866041ca7e960ff9834612d0490919063ffffffff16565b9050610be43382612b47565b610bf934600b54612d4e90919063ffffffff16565b600b8190555060019150505b90565b606060008054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610ca05780601f10610c7557610100808354040283529160200191610ca0565b820191906000526020600020905b815481529060010190602001808311610c8357829003601f168201915b5050505050905090565b6000610cb7338484612dd6565b6001905092915050565b6000600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610d86576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f4163636573732064656e6965642e00000000000000000000000000000000000081525060200191505060405180910390fd5b60003073ffffffffffffffffffffffffffffffffffffffff163190503373ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015610de8573d6000803e3d6000fd5b50600191505090565b6000600a54905090565b6000610e08848484612fcd565b610ebb8433610eb685604051806060016040528060288152602001613f0e60289139600460008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546138629092919063ffffffff16565b612dd6565b600190509392505050565b6000600260009054906101000a900460ff16905090565b6000610f783384610f7385600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d4e90919063ffffffff16565b612dd6565b6001905092915050565b6000610fcd33600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054613922565b6001905090565b6000600860008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461112b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f4163636573732064656e6965642e00000000000000000000000000000000000081525060200191505060405180910390fd5b600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16846040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b1580156111f657600080fd5b505af115801561120a573d6000803e3d6000fd5b505050506040513d602081101561122057600080fd5b81019080805190602001909291905050505060019050919050565b6000600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600080600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561132657600080fd5b505afa15801561133a573d6000803e3d6000fd5b505050506040513d602081101561135057600080fd5b810190808051906020019092919050505090508091505090565b66041ca7e960ff9881565b69021e0c0013070adc000081565b606060018054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561141b5780601f106113f05761010080835404028352916020019161141b565b820191906000526020600020905b8154815290600101906020018083116113fe57829003601f168201915b5050505050905090565b60006114da33846114d58560405180606001604052806025815260200161403560259139600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546138629092919063ffffffff16565b612dd6565b6001905092915050565b60006114f1338484612fcd565b6001905092915050565b600069021e0c0013070adc0000600b54111561157f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f5468652070726f7465737465727320776f6e2e2047616d65206f7665722e000081525060200191505060405180910390fd5b6224ea00600c54014210156115df576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526032815260200180613fa06032913960400191505060405180910390fd5b6000611635600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600a54613adc90919063ffffffff16565b905060008114611690576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526032815260200180613e236032913960400191505060405180910390fd5b60006116c160646116b36103cf6116a5611284565b613b2690919063ffffffff16565b612d0490919063ffffffff16565b9050600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561178e57600080fd5b505af11580156117a2573d6000803e3d6000fd5b505050506040513d60208110156117b857600080fd5b810190808051906020019092919050505050600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16ff5b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611951576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f4163636573732064656e6965642e00000000000000000000000000000000000081525060200191505060405180910390fd5b600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663e1ee4e4e836040518263ffffffff1660e01b815260040180828152602001915050602060405180830381600087803b1580156119c657600080fd5b505af11580156119da573d6000803e3d6000fd5b505050506040513d60208110156119f057600080fd5b810190808051906020019092919050505050600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc3073ffffffffffffffffffffffffffffffffffffffff16319081150290604051600060405180830381858888f19350505050158015611a81573d6000803e3d6000fd5b5060019050919050565b600069021e0c0013070adc0000600b541115611b0f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f5468652070726f7465737465727320776f6e2e2047616d65206f7665722e000081525060200191505060405180910390fd5b611b62600a600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054613b2690919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015611bf9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526044815260200180613cc16044913960600191505060405180910390fd5b6001600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054141561201b57611c94601e600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054613b2690919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015611d2b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526063815260200180613fd26063913960800191505060405180910390fd5b611d916064611d836046600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054613b2690919063ffffffff16565b612d0490919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611ea082600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054613922565b6000600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611f38600a600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d4e90919063ffffffff16565b600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055507f1180f6c2430a56e71935af39040d6e6b6305845bd96d17fac3541b449f839d833383604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060405180910390a160019050612334565b60006120836064612075600a600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054613b2690919063ffffffff16565b612d0490919063ffffffff16565b90506120d781600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054613adc90919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506121e683600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054613922565b6121fb81600a54613adc90919063ffffffff16565b600a819055506122546001600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d4e90919063ffffffff16565b600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055507f1180f6c2430a56e71935af39040d6e6b6305845bd96d17fac3541b449f839d833384604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060405180910390a160019150505b919050565b600069021e0c0013070adc0000600b5411156123bd576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f5468652070726f7465737465727320776f6e2e2047616d65206f7665722e000081525060200191505060405180910390fd5b6064600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015612456576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526048815260200180613e556048913960600191505060405180910390fd5b6001600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054141561250c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f596f752061726520616c726561647920696e20612073616665686f7573652e0081525060200191505060405180910390fd5b6001600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506001905090565b600069021e0c0013070adc0000600b5411156125dc576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f5468652070726f7465737465727320776f6e2e2047616d65206f7665722e000081525060200191505060405180910390fd5b8173ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141561267e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f596f752063616e6e6f74206672656520796f757273656c662e0000000000000081525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415612721576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f596f752063616e6e6f742066726565207468652030206163636f756e7400000081525060200191505060405180910390fd5b6000600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414156127d7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f596f7520617265206e6f7420612070726f7465737465722e000000000000000081525060200191505060405180910390fd5b6000734ee46dc4962c2c2f6bcd4c098a0e2b28f66a5e9090508073ffffffffffffffffffffffffffffffffffffffff1663f72c436f336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561286d57600080fd5b505afa158015612881573d6000803e3d6000fd5b505050506040513d602081101561289757600080fd5b81019080805190602001909291905050506128fd576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526043815260200180613de06043913960600191505060405180910390fd5b60006129656064612957600a600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054613b2690919063ffffffff16565b612d0490919063ffffffff16565b90506129b981600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054613adc90919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612a4584600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612b47565b612a5a81600a54613adc90919063ffffffff16565b600a819055506000600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055507ffe788bd1cd5a883d60d3a1e0b906978c2474b537cba09291dad2c68b7fe244f93385604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019250505060405180910390a1600192505050919050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415612bea576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f45524332303a206d696e7420746f20746865207a65726f20616464726573730081525060200191505060405180910390fd5b612bff81600a54612d4e90919063ffffffff16565b600a81905550612c5781600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d4e90919063ffffffff16565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b6000612d4683836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250613bac565b905092915050565b600080828401905083811015612dcc576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415612e5c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526024815260200180613f7c6024913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415612ee2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526022815260200180613d616022913960400191505060405180910390fd5b80600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415613053576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526025815260200180613f576025913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156130d9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526023815260200180613c736023913960400191505060405180910390fd5b6000811161314f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f5472616e73666572206d7573742062652067726561746572207468616e20300081525060200191505060405180910390fd5b6000600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054146131e7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180613ecc6021913960400191505060405180910390fd5b60008273ffffffffffffffffffffffffffffffffffffffff16311415613258576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f815260200180613e9d602f913960400191505060405180910390fd5b80600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156132f0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603a815260200180613d27603a913960400191505060405180910390fd5b6000600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054146133a5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f596f752061726520696e20646574656e74696f6e2063616d702e00000000000081525060200191505060405180910390fd5b6000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541461343d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602b815260200180613c96602b913960400191505060405180910390fd5b600960008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020544210156134d5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252605d815260200180613d83605d913960600191505060405180910390fd5b6134e88142612d4e90919063ffffffff16565b600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555080600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506135c26001600760008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d4e90919063ffffffff16565b600760008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061361a81600a54612d4e90919063ffffffff16565b600a819055506000734ee46dc4962c2c2f6bcd4c098a0e2b28f66a5e9090508073ffffffffffffffffffffffffffffffffffffffff1663f72c436f846040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156136b657600080fd5b505afa1580156136ca573d6000803e3d6000fd5b505050506040513d60208110156136e057600080fd5b8101908080519060200190929190505050156137f757600061371f600a613711600286613b2690919063ffffffff16565b612d0490919063ffffffff16565b90506137858161377785600360008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054612d4e90919063ffffffff16565b612d4e90919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506137ef836137e183600a54612d4e90919063ffffffff16565b612d4e90919063ffffffff16565b600a81905550505b8273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a350505050565b600083831115829061390f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b838110156138d45780820151818401526020810190506138b9565b50505050905090810190601f1680156139015780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156139a8576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180613f366021913960400191505060405180910390fd5b613a1481604051806060016040528060228152602001613d0560229139600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546138629092919063ffffffff16565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550613a6c81600a54613adc90919063ffffffff16565b600a81905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b6000613b1e83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250613862565b905092915050565b600080831415613b395760009050613ba6565b6000828402905082848281613b4a57fe5b0414613ba1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180613eed6021913960400191505060405180910390fd5b809150505b92915050565b60008083118290613c58576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015613c1d578082015181840152602081019050613c02565b50505050905090810190601f168015613c4a5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b506000838581613c6457fe5b04905080915050939250505056fe45524332303a207472616e7366657220746f20746865207a65726f20616464726573734f68206e6f2120596f757220636f6d7261646520697320696e206120646574656e74696f6e2063616d702e596f75206d75737420686176652031307820746865207265736f7572636573206f66207468652070726f74657374657220796f75207769736820746f206172726573742e45524332303a206275726e20616d6f756e7420657863656564732062616c616e6365596f7520646f206e6f74206861766520656e6f75676820666f6c6c6f7765727320746f206f7267616e697a6520746861742070726f746573742e45524332303a20617070726f766520746f20746865207a65726f2061646472657373596f7572207265766f6c7574696f6e61727920656e65726779206973206578686175737465642e2e2e20796f75206e65656420746f2077616974206265666f7265206f7267616e697a696e6720616e6f746865722070726f746573742e596f75206d75737420626520612068756d616e20746f2066726565206120706c617965722e20526567697374657220776974682048756d616e69747944616f2e6f7267546865726520617265207374696c6c2070726f746573746572732061637469766520696e20746865206d6f76656d656e742e596f75206d757374206163746976617465206174206c65617374203130302070726f74657374657273206265666f726520796f75206d617920676f20756e64657267726f756e642e526563697069656e74206d7573742068617665206d6f7265207468616e20302065746820696e206163636f756e742e526563697069656e7420697320616c726561647920612070726f7465737465722e536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f7745524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636545524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f206164647265737347616d65206d75737420626520706c6179656420666f722032382064617973206265666f72652069742063616e20656e642e5468697320616374697669737420697320696e2073616665686f7573652e20596f75206d75737420686176652033307820746865207265736f7572636573206f66207468652070726f74657374657220796f75207769736820746f206172726573742e45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726fa265627a7a72315820725a5c04e83ec9191973ec1b9692ea6603064d298f855afbadb14f213399529464736f6c634300050b0032

19490:13132:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29297:9;:7;:9::i;:::-;;19490:13132;17429:83;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17429:83:0;;;:::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;17429:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21738:148;;8:9:-1;5:2;;;30:1;27;20:12;5:2;21738:148:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;21738:148:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;30305:252;;8:9:-1;5:2;;;30:1;27;20:12;5:2;30305:252:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;20881:91;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20881:91:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;21894:300;;8:9:-1;5:2;;;30:1;27;20:12;5:2;21894:300:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;21894:300:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;18281:83;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18281:83:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;22202:206;;8:9:-1;5:2;;;30:1;27;20:12;5:2;22202:206:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;22202:206:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;31090:142;;8:9:-1;5:2;;;30:1;27;20:12;5:2;31090:142:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;21194:110;;8:9:-1;5:2;;;30:1;27;20:12;5:2;21194:110:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;21194:110:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;21314;;8:9:-1;5:2;;;30:1;27;20:12;5:2;21314:110:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;21314:110:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;30573:264;;8:9:-1;5:2;;;30:1;27;20:12;5:2;30573:264:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;30573:264:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;21029:112;;8:9:-1;5:2;;;30:1;27;20:12;5:2;21029:112:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;21029:112:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;24513:197;;8:9:-1;5:2;;;30:1;27;20:12;5:2;24513:197:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;20197:57;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20197:57:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;20299:62;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20299:62:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;17631:87;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17631:87:0;;;:::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;17631:87:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29318:603;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;22416:257;;8:9:-1;5:2;;;30:1;27;20:12;5:2;22416:257:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;22416:257:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;21432:156;;8:9:-1;5:2;;;30:1;27;20:12;5:2;21432:156:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;21432:156:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;31849:768;;8:9:-1;5:2;;;30:1;27;20:12;5:2;31849:768:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;21596:134;;8:9:-1;5:2;;;30:1;27;20:12;5:2;21596:134:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;21596:134:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;29929:292;;8:9:-1;5:2;;;30:1;27;20:12;5:2;29929:292:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;29929:292:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;26024:1683;;8:9:-1;5:2;;;30:1;27;20:12;5:2;26024:1683:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;26024:1683:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;28845:406;;8:9:-1;5:2;;;30:1;27;20:12;5:2;28845:406:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;27743:1094;;8:9:-1;5:2;;;30:1;27;20:12;5:2;27743:1094:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;27743:1094:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;29318:603;29361:4;20339:22;29382:15;;:32;;29374:75;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29494:1;29464:14;:26;29479:10;29464:26;;;;;;;;;;;;;;;;:31;;29456:70;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29549:1;29536:9;:14;29533:381;;;29561:20;29567:10;29579:1;29561:5;:20::i;:::-;29597:4;29590:11;;;;29533:381;29686:16;;;;;;;;;;;:21;;29714:9;29729:6;29686:50;:54;;;;;;;;;;;;;;;;;;;;;;;;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;;29686:54:0;;29749:14;29766:29;20238:16;29766:9;:13;;:29;;;;:::i;:::-;29749:46;;29804:25;29810:10;29822:6;29804:5;:25::i;:::-;29856:30;29876:9;29856:15;;:19;;:30;;;;:::i;:::-;29838:15;:48;;;;29902:4;29895:11;;;29318:603;;:::o;17429:83::-;17466:13;17499:5;17492:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17429:83;:::o;21738:148::-;21803:4;21820:36;21829:10;21841:7;21850:5;21820:8;:36::i;:::-;21874:4;21867:11;;21738:148;;;;:::o;30305:252::-;30341:4;30386:11;;;;;;;;;;;30372:25;;:10;:25;;;30364:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30433:11;30455:4;30447:21;;;30433:35;;30485:10;:19;;:24;30505:3;30485:24;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;30485:24:0;30533:4;30526:11;;;30305:252;:::o;20881:91::-;20925:7;20952:12;;20945:19;;20881:91;:::o;21894:300::-;21983:4;22000:36;22010:6;22018:9;22029:6;22000:9;:36::i;:::-;22047:117;22056:6;22064:10;22076:87;22112:6;22076:87;;;;;;;;;;;;;;;;;:11;:19;22088:6;22076:19;;;;;;;;;;;;;;;:31;22096:10;22076:31;;;;;;;;;;;;;;;;:35;;:87;;;;;:::i;:::-;22047:8;:117::i;:::-;22182:4;22175:11;;21894:300;;;;;:::o;18281:83::-;18322:5;18347:9;;;;;;;;;;;18340:16;;18281:83;:::o;22202:206::-;22282:4;22299:79;22308:10;22320:7;22329:48;22366:10;22329:11;:23;22341:10;22329:23;;;;;;;;;;;;;;;:32;22353:7;22329:32;;;;;;;;;;;;;;;;:36;;:48;;;;:::i;:::-;22299:8;:79::i;:::-;22396:4;22389:11;;22202:206;;;;:::o;31090:142::-;31132:4;31152:40;31158:10;31170:9;:21;31180:10;31170:21;;;;;;;;;;;;;;;;31152:5;:40::i;:::-;31214:4;31207:11;;31090:142;:::o;21194:110::-;21254:7;21281:8;:15;21290:5;21281:15;;;;;;;;;;;;;;;;21274:22;;21194:110;;;:::o;21314:::-;21371:7;21398:9;:18;21408:7;21398:18;;;;;;;;;;;;;;;;21391:25;;21314:110;;;:::o;30573:264::-;30630:4;30677:11;;;;;;;;;;;30663:25;;:10;:25;;;30655:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30734:16;;;;;;;;;;;30726:34;;;30761:11;;;;;;;;;;;30774:6;30726:55;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;30726:55:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;30726:55:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;30726:55:0;;;;;;;;;;;;;;;;;30807:4;30800:11;;30573:264;;;:::o;21029:112::-;21092:7;21119;:14;21127:5;21119:14;;;;;;;;;;;;;;;;21112:21;;21029:112;;;:::o;24513:197::-;24573:7;24595:22;24628:16;;;;;;;;;;;24620:35;;;24664:4;24620:50;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;24620:50:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;24620:50:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;24620:50:0;;;;;;;;;;;;;;;;24595:75;;24688:14;24681:21;;;24513:197;:::o;20197:57::-;20238:16;20197:57;:::o;20299:62::-;20339:22;20299:62;:::o;17631:87::-;17670:13;17703:7;17696:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17631:87;:::o;22416:257::-;22501:4;22518:125;22527:10;22539:7;22548:94;22585:15;22548:94;;;;;;;;;;;;;;;;;:11;:23;22560:10;22548:23;;;;;;;;;;;;;;;:32;22572:7;22548:32;;;;;;;;;;;;;;;;:36;;:94;;;;;:::i;:::-;22518:8;:125::i;:::-;22661:4;22654:11;;22416:257;;;;:::o;21432:156::-;21501:4;21518:40;21528:10;21540:9;21551:6;21518:9;:40::i;:::-;21576:4;21569:11;;21432:156;;;;:::o;31849:768::-;31885:4;20339:22;31913:15;;:32;;31905:75;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;32034:7;32021:10;;:20;32002:15;:39;;31994:102;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;32158:24;32185:39;32202:9;:21;32212:10;32202:21;;;;;;;;;;;;;;;;32185:12;;:16;;:39;;;;:::i;:::-;32158:66;;32267:1;32247:16;:21;32239:84;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;32340:19;32362:47;32405:3;32362:38;32396:3;32362:29;:27;:29::i;:::-;:33;;:38;;;;:::i;:::-;:42;;:47;;;;:::i;:::-;32340:69;;32485:16;;;;;;;;;;;32477:34;;;32512:11;;;;;;;;;;;32525;32477:60;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;32477:60:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;32477:60:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;32477:60:0;;;;;;;;;;;;;;;;;32565:11;;;;;;;;;;;32552:25;;;21596:134;21668:7;21695:11;:18;21707:5;21695:18;;;;;;;;;;;;;;;:27;21714:7;21695:27;;;;;;;;;;;;;;;;21688:34;;21596:134;;;;:::o;29929:292::-;29982:4;30027:11;;;;;;;;;;;30013:25;;:10;:25;;;30005:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30082:16;;;;;;;;;;;30074:37;;;30112:6;30074:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;30074:45:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;30074:45:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;30074:45:0;;;;;;;;;;;;;;;;;30136:11;;;;;;;;;;;:20;;:43;30165:4;30157:21;;;30136:43;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;30136:43:0;30203:4;30196:11;;29929:292;;;:::o;26024:1683::-;26078:4;20339:22;26200:15;;:32;;26192:75;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26311:25;26333:2;26311:9;:17;26321:6;26311:17;;;;;;;;;;;;;;;;:21;;:25;;;;:::i;:::-;26286:9;:21;26296:10;26286:21;;;;;;;;;;;;;;;;:50;;26278:131;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26449:1;26425:12;:20;26438:6;26425:20;;;;;;;;;;;;;;;;:25;26422:1276;;;26497:25;26519:2;26497:9;:17;26507:6;26497:17;;;;;;;;;;;;;;;;:21;;:25;;;;:::i;:::-;26472:9;:21;26482:10;26472:21;;;;;;;;;;;;;;;;:50;;26464:162;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26663:38;26697:3;26663:29;26689:2;26663:9;:21;26673:10;26663:21;;;;;;;;;;;;;;;;:25;;:29;;;;:::i;:::-;:33;;:38;;;;:::i;:::-;26639:9;:21;26649:10;26639:21;;;;;;;;;;;;;;;:62;;;;26792:9;:17;26802:6;26792:17;;;;;;;;;;;;;;;;26767:14;:22;26782:6;26767:22;;;;;;;;;;;;;;;:42;;;;26822:32;26828:6;26836:9;:17;26846:6;26836:17;;;;;;;;;;;;;;;;26822:5;:32::i;:::-;26890:1;26867:12;:20;26880:6;26867:20;;;;;;;;;;;;;;;:24;;;;26927:28;26952:2;26927:8;:20;26936:10;26927:20;;;;;;;;;;;;;;;;:24;;:28;;;;:::i;:::-;26904:8;:20;26913:10;26904:20;;;;;;;;;;;;;;;:51;;;;27024:34;27039:10;27051:6;27024:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;27078:4;27071:11;;;;26422:1276;27113:22;27138:38;27172:3;27138:29;27164:2;27138:9;:21;27148:10;27138:21;;;;;;;;;;;;;;;;:25;;:29;;;;:::i;:::-;:33;;:38;;;;:::i;:::-;27113:63;;27264:41;27290:14;27264:9;:21;27274:10;27264:21;;;;;;;;;;;;;;;;:25;;:41;;;;:::i;:::-;27240:9;:21;27250:10;27240:21;;;;;;;;;;;;;;;:65;;;;27341:9;:17;27351:6;27341:17;;;;;;;;;;;;;;;;27316:14;:22;27331:6;27316:22;;;;;;;;;;;;;;;:42;;;;27434:32;27440:6;27448:9;:17;27458:6;27448:17;;;;;;;;;;;;;;;;27434:5;:32::i;:::-;27492;27509:14;27492:12;;:16;;:32;;;;:::i;:::-;27477:12;:47;;;;27558:27;27583:1;27558:8;:20;27567:10;27558:20;;;;;;;;;;;;;;;;:24;;:27;;;;:::i;:::-;27535:8;:20;27544:10;27535:20;;;;;;;;;;;;;;;:50;;;;27630:34;27645:10;27657:6;27630:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;27682:4;27675:11;;;26024:1683;;;;:::o;28845:406::-;28886:4;20339:22;28909:15;;:32;;28901:75;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29016:3;28993:7;:19;29001:10;28993:19;;;;;;;;;;;;;;;;:26;;28985:111;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29141:1;29113:12;:24;29126:10;29113:24;;;;;;;;;;;;;;;;:29;;29105:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29218:1;29191:12;:24;29204:10;29191:24;;;;;;;;;;;;;;;:28;;;;29239:4;29232:11;;28845:406;:::o;27743:1094::-;27796:4;20339:22;27819:15;;:32;;27811:75;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;27917:7;27903:21;;:10;:21;;;;27895:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;27990:1;27971:21;;:7;:21;;;;27963:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;28068:1;28043:9;:21;28053:10;28043:21;;;;;;;;;;;;;;;;:26;;28035:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;28149:34;28200:42;28149:94;;28261:20;:28;;;28290:10;28261:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;28261:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;28261:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;28261:40:0;;;;;;;;;;;;;;;;28252:121;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;28384:22;28409:38;28443:3;28409:29;28435:2;28409:9;:21;28419:10;28409:21;;;;;;;;;;;;;;;;:25;;:29;;;;:::i;:::-;:33;;:38;;;;:::i;:::-;28384:63;;28533:41;28559:14;28533:9;:21;28543:10;28533:21;;;;;;;;;;;;;;;;:25;;:41;;;;:::i;:::-;28509:9;:21;28519:10;28509:21;;;;;;;;;;;;;;;:65;;;;28585:39;28591:7;28600:14;:23;28615:7;28600:23;;;;;;;;;;;;;;;;28585:5;:39::i;:::-;28687:32;28704:14;28687:12;;:16;;:32;;;;:::i;:::-;28672:12;:47;;;;28756:1;28730:14;:23;28745:7;28730:23;;;;;;;;;;;;;;;:27;;;;28775:32;28787:10;28799:7;28775:32;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;28825:4;28818:11;;;;27743:1094;;;:::o;25649:310::-;25746:1;25727:21;;:7;:21;;;;25719:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;25812:24;25829:6;25812:12;;:16;;:24;;;;:::i;:::-;25797:12;:39;;;;25868:30;25891:6;25868:9;:18;25878:7;25868:18;;;;;;;;;;;;;;;;:22;;:30;;;;:::i;:::-;25847:9;:18;25857:7;25847:18;;;;;;;;;;;;;;;:51;;;;25935:7;25914:37;;25931:1;25914:37;;;25944:6;25914:37;;;;;;;;;;;;;;;;;;25649:310;;:::o;14308:132::-;14366:7;14393:39;14397:1;14400;14393:39;;;;;;;;;;;;;;;;;:3;:39::i;:::-;14386:46;;14308:132;;;;:::o;11884:181::-;11942:7;11962:9;11978:1;11974;:5;11962:17;;12003:1;11998;:6;;11990:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12056:1;12049:8;;;11884:181;;;;:::o;25070:335::-;25180:1;25163:19;;:5;:19;;;;25155:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;25261:1;25242:21;;:7;:21;;;;25234:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;25345:5;25315:11;:18;25327:5;25315:18;;;;;;;;;;;;;;;:27;25334:7;25315:27;;;;;;;;;;;;;;;:35;;;;25382:7;25366:31;;25375:5;25366:31;;;25391:5;25366:31;;;;;;;;;;;;;;;;;;25070:335;;;:::o;22681:1818::-;22797:1;22779:20;;:6;:20;;;;22771:70;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;22881:1;22860:23;;:9;:23;;;;22852:71;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;22951:1;22942:6;:10;22934:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23031:1;23007:9;:20;23017:9;23007:20;;;;;;;;;;;;;;;;:25;22999:71;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23110:1;23089:9;:17;;;:22;;23081:82;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23203:6;23182:9;:17;23192:6;23182:17;;;;;;;;;;;;;;;;:27;;23174:98;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23317:1;23291:14;:22;23306:6;23291:22;;;;;;;;;;;;;;;;:27;23283:66;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23397:1;23368:14;:25;23383:9;23368:25;;;;;;;;;;;;;;;;:30;23360:86;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23484:12;:20;23497:6;23484:20;;;;;;;;;;;;;;;;23465:15;:39;;23457:145;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23736:15;23744:6;23736:3;:7;;:15;;;;:::i;:::-;23713:12;:20;23726:6;23713:20;;;;;;;;;;;;;;;:38;;;;23815:6;23792:9;:20;23802:9;23792:20;;;;;;;;;;;;;;;:29;;;;23899:22;23919:1;23899:7;:15;23907:6;23899:15;;;;;;;;;;;;;;;;:19;;:22;;;;:::i;:::-;23881:7;:15;23889:6;23881:15;;;;;;;;;;;;;;;:40;;;;23994:24;24011:6;23994:12;;:16;;:24;;;;:::i;:::-;23979:12;:39;;;;24086:34;24137:42;24086:94;;24196:20;:28;;;24225:9;24196:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;24196:39:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;24196:39:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;24196:39:0;;;;;;;;;;;;;;;;24192:247;;;24251:13;24267:21;24285:2;24267:13;24278:1;24267:6;:10;;:13;;;;:::i;:::-;:17;;:21;;;;:::i;:::-;24251:37;;24322:40;24356:5;24322:29;24344:6;24322:9;:17;24332:6;24322:17;;;;;;;;;;;;;;;;:21;;:29;;;;:::i;:::-;:33;;:40;;;;:::i;:::-;24302:9;:17;24312:6;24302:17;;;;;;;;;;;;;;;:60;;;;24391:35;24419:6;24391:23;24408:5;24391:12;;:16;;:23;;;;:::i;:::-;:27;;:35;;;;:::i;:::-;24376:12;:50;;;;24192:247;;24473:9;24456:35;;24465:6;24456:35;;;24484:6;24456:35;;;;;;;;;;;;;;;;;;22681:1818;;;;:::o;12926:192::-;13012:7;13045:1;13040;:6;;13048:12;13032: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;13032:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13072:9;13088:1;13084;:5;13072:17;;13109:1;13102:8;;;12926:192;;;;;:::o;24718:344::-;24812:1;24793:21;;:7;:21;;;;24785:67;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;24886;24909:5;24886:67;;;;;;;;;;;;;;;;;:9;:18;24896:7;24886:18;;;;;;;;;;;;;;;;:22;;:67;;;;;:::i;:::-;24865:9;:18;24875:7;24865:18;;;;;;;;;;;;;;;:88;;;;24979:23;24996:5;24979:12;;:16;;:23;;;;:::i;:::-;24964:12;:38;;;;25044:1;25018:36;;25027:7;25018:36;;;25048:5;25018:36;;;;;;;;;;;;;;;;;;24718:344;;:::o;12340:136::-;12398:7;12425:43;12429:1;12432;12425:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;12418:50;;12340:136;;;;:::o;13369:471::-;13427:7;13677:1;13672;:6;13668:47;;;13702:1;13695:8;;;;13668:47;13727:9;13743:1;13739;:5;13727:17;;13772:1;13767;13763;:5;;;;;;:10;13755:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13831:1;13824:8;;;13369:471;;;;;:::o;15075:345::-;15161:7;15260:1;15256;:5;15263:12;15248:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;15248:28:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15287:9;15303:1;15299;:5;;;;;;15287:17;;15411:1;15404:8;;;15075:345;;;;;:::o

bzzr://725a5c04e83ec9191973ec1b9692ea6603064d298f855afbadb14f2133995294