Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

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 ... interface IERC20    - function totalSupply()    - function balanceOf(address who)    - function allowance(address owner, add ...    - function transfer(address to, uint256 ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ... interface Staking    - function stake(uint256 amount, bytes ...    - function unstake(uint256 amount, byte ...    - function totalStakedFor(address addr)    - function totalStaked()    - function supportsHistory()  contract EQUUSMiningToken is IERC2 ... *    - function totalSupply()    - function balanceOf(address tokenOwner ...    - function cutForBurn(uint256 a)    - function transfer(address receiver, u ...    - function approve(address delegate, ui ...    - function allowance(address owner, add ...    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function transferFrom(address owner, ...    - function stake(uint256 amount, bytes ...    - function unstake(uint256 amount, byte ...    - function totalStakedFor(address addr)    - function stakeTimestampFor(address ad ...    - function stakeTimeFor(address addr)    - function totalStaked()    - function supportsHistory()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-08-03
*/

pragma solidity 0.7.0;

// SafeMath library provided by the OpenZeppelin Group on Github
// SPDX-License-Identifier: MIT

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

        return c;
    }

    /**
     * @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.
     */
    function mod(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b != 0, errorMessage);
        return a % b;
    }
}

/* ERC20 Standards followed by OpenZeppelin Group libraries on Github */

interface IERC20 {
    
    function totalSupply() external view returns (uint256);
    
    function balanceOf(address who) external view returns (uint256);
    
    function allowance(address owner, address spender) external view returns (uint256);
    
    function transfer(address to, uint256 value) external returns (bool);
    
    function approve(address spender, uint256 value) external returns (bool);
    
    function transferFrom(address from, address to, uint256 value) external returns (bool);
    
    event Transfer(address indexed from, address indexed to, uint256 value);
    
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

/* Staking process is followed according to the ERC900: Simple Staking Interface #900 issue on Github */

interface Staking {
    
    event Staked(address indexed user, uint256 amount, uint256 total, bytes data);
    
    event Unstaked(address indexed user, uint256 amount, uint256 total, bytes data);

    function stake(uint256 amount, bytes memory data) external returns (bool);
    
    function unstake(uint256 amount, bytes memory data) external returns (bool);
    
    function totalStakedFor(address addr) external view returns (uint256);
    
    function totalStaked() external view returns (uint256);
    
    function supportsHistory() external pure returns (bool);

}

/*EQUUS Protocol being created with the help of the above interfaces for compatibility*/

contract EQUUSMiningToken is IERC20, Staking {
    
    /* Constant variables created for the ERC20 requirements*/
    
    string public constant name = "EQUUSMiningToken";
    string public constant symbol = "EQMT";
    uint8 public constant decimals = 18;
    
    //Burn address saved as constant for future burning processes
    address public constant burnaddress = 0x0000000000000000000000000000000000000000;

    mapping(address => uint256) balances; //EQUUS balance for all network participants
    
    mapping(address => uint256) stakedbalances; //EQUUS stake balance to lock stakes
    
    mapping(address => uint) staketimestamps; //EQUUS stake timestamp to record updates on staking for multipliers, this involves the idea that multipliers will reset upon staking

    mapping(address => mapping (address => uint256)) allowed; //Approval array to record delegation of thrid-party accounts to handle transaction per allowance
    
    /* Total variables created to record information */
    uint256 totalSupply_;
    uint256 totalstaked = 0;
    address theowner; //Owner address saved to recognise on future processes
    
    using SafeMath for uint256; //Important*** as this library provides security to handle maths without overflow attacks
    
    constructor() public {
        totalSupply_ = 100000000000000000000000000;
        balances[msg.sender] = totalSupply_;
        theowner = msg.sender;
        emit Transfer(msg.sender, msg.sender, totalSupply_);
   } //Constructor stating the total supply as well as saving owner address and sending supply to owner address
   
   //Function to report on totalsupply following ERC20 Standard
   function totalSupply() public override view returns (uint256) {
       return totalSupply_;
   }
   
   //Function to report on account balance following ERC20 Standard
   function balanceOf(address tokenOwner) public override view returns (uint) {
       return balances[tokenOwner];
   }
   
   //Burn process is just a funtion to calculate burn amount depending on an amount of Tokens
   function cutForBurn(uint256 a) public pure returns (uint256) {
       uint256 c = a.div(20);
       return c;
   }
   
   //Straight forward transfer following ERC20 Standard
   function transfer(address receiver, uint256 numTokens) public override returns (bool) {
       require(numTokens <= balances[msg.sender], 'Amount exceeds balance.');
       balances[msg.sender] = balances[msg.sender].sub(numTokens);
       
       balances[receiver] = balances[receiver].add(numTokens);
       emit Transfer(msg.sender, receiver, numTokens);
       return true;
   }
   
   //Approve function following ERC20 Standard
   function approve(address delegate, uint256 numTokens) public override returns (bool) {
       require(numTokens <= balances[msg.sender], 'Amount exceeds balance.');
       allowed[msg.sender][delegate] = numTokens;
       emit Approval(msg.sender, delegate, numTokens);
       return true;
   }
   
   //Allowance function to verify allowance allowed on delegate address following ERC20 Standard
   function allowance(address owner, address delegate) public override view returns (uint) {
       return allowed[owner][delegate];
   }
   
   //The following function is added to mitigate ERC20 API: An Attack Vector on Approve/TransferFrom Methods
   function increaseAllowance(address spender, uint256 addedValue) public returns (bool) {
       require(addedValue <= balances[msg.sender].sub(allowed[msg.sender][spender]), 'Amount exceeds balance.');
       
       allowed[msg.sender][spender] = allowed[msg.sender][spender].add(addedValue);
       
       emit Approval(msg.sender, spender, allowed[msg.sender][spender].add(addedValue));
       return true;
   }
   
   //The following function is added to mitigate ERC20 API: An Attack Vector on Approve/TransferFrom Methods
   function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {
       require(subtractedValue <= allowed[msg.sender][spender], 'Amount exceeds balance.');
       
       allowed[msg.sender][spender] = allowed[msg.sender][spender].sub(subtractedValue);
       
       emit Approval(msg.sender, spender, allowed[msg.sender][spender].sub(subtractedValue));
   }
   
   //Transfer For function for allowed accounts to allow tranfers
   function transferFrom(address owner, address buyer, uint numTokens) public override returns (bool) {
       require(numTokens <= balances[owner], 'Amount exceeds balance.');
       require(numTokens <= allowed[owner][msg.sender], 'Amount exceeds allowance.');
       
       balances[owner] = balances[owner].sub(numTokens);
       allowed[owner][msg.sender] = allowed[owner][msg.sender].sub(numTokens);
       balances[buyer] = balances[buyer].add(numTokens);
       emit Transfer(msg.sender, buyer, numTokens);
       return true;
   }
   
   //Staking processes
   
   //Stake process created updating balances, stakebalances and also recording time on process run, the process will burn 5% of the amount
   function stake(uint256 amount, bytes memory data) public override returns (bool) {
       require(amount <= balances[msg.sender]);
       require(amount < 20, "Amount to low to process");
       balances[msg.sender] = balances[msg.sender].sub(amount);
       
       uint256 burned = cutForBurn(amount);
       
       totalSupply_ = totalSupply_.sub(burned);
       
       balances[burnaddress] = balances[burnaddress].add(burned);
       
       stakedbalances[msg.sender] = stakedbalances[msg.sender].add(amount.sub(burned));
       totalstaked = totalstaked.add(amount.sub(burned));
       
       staketimestamps[msg.sender] = block.timestamp;
       
       emit Staked(msg.sender, amount.sub(burned), stakedbalances[msg.sender], data);
       emit Transfer(msg.sender, msg.sender, amount.sub(burned));
       emit Transfer(msg.sender, burnaddress, burned);
       return true;
   }
   
   //This function unstakes locked in amount and burns 5%, this also updates amounts on total supply
   function unstake(uint256 amount, bytes memory data) public override returns (bool) {
       require(amount <= stakedbalances[msg.sender]);
       require(amount <= totalstaked);
       require(amount < 20, "Amount to low to process");
       stakedbalances[msg.sender] = stakedbalances[msg.sender].sub(amount);
       totalstaked = totalstaked.sub(amount);
       
       uint256 burned = cutForBurn(amount);
       
       totalSupply_ = totalSupply_.sub(burned);
       
       balances[burnaddress] = balances[burnaddress].add(burned);
       
       balances[msg.sender] = balances[msg.sender].add(amount.sub(burned));
       
       emit Unstaked(msg.sender, amount.sub(burned), stakedbalances[msg.sender], data);
       emit Transfer(msg.sender, msg.sender, amount.sub(burned));
       emit Transfer(msg.sender, burnaddress, burned);
       return true;
   }
   
   //Function to return total staked on a single address
   function totalStakedFor(address addr) public override view returns (uint256) {
       return stakedbalances[addr];
   }
   
   //Function to shows timestamp on stake processes
   function stakeTimestampFor(address addr) public view returns (uint256) {
       return staketimestamps[addr];
   }
   
   //Function to find out time passed since last timestamp on address
   function stakeTimeFor(address addr) public view returns (uint256) {
       return block.timestamp.sub(staketimestamps[addr]);
   }
   
   //Total staked on all addresses
   function totalStaked() public override view returns (uint256) {
       return totalstaked;
   }
   
   //Support History variable to show support on optional stake details
   function supportsHistory() public override pure returns (bool) {
       return false;
   }
   
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"user","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"total","type":"uint256"},{"indexed":false,"internalType":"bytes","name":"data","type":"bytes"}],"name":"Staked","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":"user","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"total","type":"uint256"},{"indexed":false,"internalType":"bytes","name":"data","type":"bytes"}],"name":"Unstaked","type":"event"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"delegate","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"delegate","type":"address"},{"internalType":"uint256","name":"numTokens","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"tokenOwner","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"burnaddress","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"a","type":"uint256"}],"name":"cutForBurn","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"bytes","name":"data","type":"bytes"}],"name":"stake","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"addr","type":"address"}],"name":"stakeTimeFor","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"addr","type":"address"}],"name":"stakeTimestampFor","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"supportsHistory","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalStaked","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"addr","type":"address"}],"name":"totalStakedFor","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"receiver","type":"address"},{"internalType":"uint256","name":"numTokens","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"buyer","type":"address"},{"internalType":"uint256","name":"numTokens","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"bytes","name":"data","type":"bytes"}],"name":"unstake","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

6080604052600060055534801561001557600080fd5b506a52b7d2dcc80cd2e40000006004819055506004546000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555033600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055503373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6004546040518082815260200191505060405180910390a36126a5806101246000396000f3fe608060405234801561001057600080fd5b506004361061012c5760003560e01c80637033e4a6116100ad578063a9059cbb11610071578063a9059cbb14610689578063c8fd6ed0146106ed578063db36b789146107c8578063dd62ed3e14610820578063e5c5f1d5146108985761012c565b80637033e4a61461050c57806370a082311461052c578063817b1cd21461058457806395d89b41146105a2578063a457c2d7146106255761012c565b806323b872dd116100f457806323b872dd14610353578063313ce567146103d757806339509351146103f857806346c327b41461045c5780634b341aed146104b45761012c565b806301eaa6ed1461013157806306fdde0314610173578063095ea7b3146101f65780630e89439b1461025a57806318160ddd14610335575b600080fd5b61015d6004803603602081101561014757600080fd5b81019080803590602001909291905050506108cc565b6040518082815260200191505060405180910390f35b61017b6108ee565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101bb5780820151818401526020810190506101a0565b50505050905090810190601f1680156101e85780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102426004803603604081101561020c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610927565b60405180821515815260200191505060405180910390f35b61031d6004803603604081101561027057600080fd5b81019080803590602001909291908035906020019064010000000081111561029757600080fd5b8201836020820111156102a957600080fd5b803590602001918460018302840111640100000000831117156102cb57600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290505050610acd565b60405180821515815260200191505060405180910390f35b61033d610ff2565b6040518082815260200191505060405180910390f35b6103bf6004803603606081101561036957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610ffc565b60405180821515815260200191505060405180910390f35b6103df611449565b604051808260ff16815260200191505060405180910390f35b6104446004803603604081101561040e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061144e565b60405180821515815260200191505060405180910390f35b61049e6004803603602081101561047257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061179e565b6040518082815260200191505060405180910390f35b6104f6600480360360208110156104ca57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506117f9565b6040518082815260200191505060405180910390f35b610514611842565b60405180821515815260200191505060405180910390f35b61056e6004803603602081101561054257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611847565b6040518082815260200191505060405180910390f35b61058c61188f565b6040518082815260200191505060405180910390f35b6105aa611899565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156105ea5780820151818401526020810190506105cf565b50505050905090810190601f1680156106175780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6106716004803603604081101561063b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506118d2565b60405180821515815260200191505060405180910390f35b6106d56004803603604081101561069f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611bce565b60405180821515815260200191505060405180910390f35b6107b06004803603604081101561070357600080fd5b81019080803590602001909291908035906020019064010000000081111561072a57600080fd5b82018360208201111561073c57600080fd5b8035906020019184600183028401116401000000008311171561075e57600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290505050611e19565b60405180821515815260200191505060405180910390f35b61080a600480360360208110156107de57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506122f8565b6040518082815260200191505060405180910390f35b6108826004803603604081101561083657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612341565b6040518082815260200191505060405180910390f35b6108a06123c8565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6000806108e36014846123cd90919063ffffffff16565b905080915050919050565b6040518060400160405280601081526020017f45515555534d696e696e67546f6b656e0000000000000000000000000000000081525081565b60008060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156109dd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f416d6f756e7420657863656564732062616c616e63652e00000000000000000081525060200191505060405180910390fd5b81600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b60008060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054831115610b1a57600080fd5b60148310610b90576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f416d6f756e7420746f206c6f7720746f2070726f63657373000000000000000081525060200191505060405180910390fd5b610be1836000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461241790919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000610c2e846108cc565b9050610c458160045461241790919063ffffffff16565b600481905550610c9c816000808073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461246190919063ffffffff16565b6000808073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610d42610cf4828661241790919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461246190919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610dac610d9b828661241790919063ffffffff16565b60055461246190919063ffffffff16565b60058190555042600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167fc65e53b88159e7d2c0fc12a0600072e28ae53ff73b4c1715369c30f160935142610e41838761241790919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054866040518084815260200183815260200180602001828103825283818151815260200191508051906020019080838360005b83811015610ece578082015181840152602081019050610eb3565b50505050905090810190601f168015610efb5780820380516001836020036101000a031916815260200191505b5094505050505060405180910390a23373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610f6c848861241790919063ffffffff16565b6040518082815260200191505060405180910390a3600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3600191505092915050565b6000600454905090565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156110b2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f416d6f756e7420657863656564732062616c616e63652e00000000000000000081525060200191505060405180910390fd5b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156111a4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f416d6f756e74206578636565647320616c6c6f77616e63652e0000000000000081525060200191505060405180910390fd5b6111f5826000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461241790919063ffffffff16565b6000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506112c682600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461241790919063ffffffff16565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611397826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461246190919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b601281565b600061151d600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461241790919063ffffffff16565b821115611592576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f416d6f756e7420657863656564732062616c616e63652e00000000000000000081525060200191505060405180910390fd5b61162182600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461246190919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92561177f85600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461246190919063ffffffff16565b6040518082815260200191505060405180910390a36001905092915050565b60006117f2600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020544261241790919063ffffffff16565b9050919050565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600090565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000600554905090565b6040518060400160405280600481526020017f45514d540000000000000000000000000000000000000000000000000000000081525081565b6000600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156119c6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f416d6f756e7420657863656564732062616c616e63652e00000000000000000081525060200191505060405180910390fd5b611a5582600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461241790919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925611bb385600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461241790919063ffffffff16565b6040518082815260200191505060405180910390a392915050565b60008060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115611c84576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f416d6f756e7420657863656564732062616c616e63652e00000000000000000081525060200191505060405180910390fd5b611cd5826000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461241790919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611d68826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461246190919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b6000600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054831115611e6757600080fd5b600554831115611e7657600080fd5b60148310611eec576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f416d6f756e7420746f206c6f7720746f2070726f63657373000000000000000081525060200191505060405180910390fd5b611f3e83600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461241790919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611f968360055461241790919063ffffffff16565b6005819055506000611fa7846108cc565b9050611fbe8160045461241790919063ffffffff16565b600481905550612015816000808073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461246190919063ffffffff16565b6000808073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506120ba61206d828661241790919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461246190919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167faf01bfc8475df280aca00b578c4a948e6d95700f0db8c13365240f7f973c8754612147838761241790919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054866040518084815260200183815260200180602001828103825283818151815260200191508051906020019080838360005b838110156121d45780820151818401526020810190506121b9565b50505050905090810190601f1680156122015780820380516001836020036101000a031916815260200191505b5094505050505060405180910390a23373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef612272848861241790919063ffffffff16565b6040518082815260200191505060405180910390a3600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3600191505092915050565b6000600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600081565b600061240f83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506124e9565b905092915050565b600061245983836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506125af565b905092915050565b6000808284019050838110156124df576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b60008083118290612595576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b8381101561255a57808201518184015260208101905061253f565b50505050905090810190601f1680156125875780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385816125a157fe5b049050809150509392505050565b600083831115829061265c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015612621578082015181840152602081019050612606565b50505050905090810190601f16801561264e5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b506000838503905080915050939250505056fea264697066735822122006e3529349c8a04b64894986cdebaad893882fd28dd50e9110a8e17848d4c3fc64736f6c63430007000033

0x608060405234801561001057600080fd5b506004361061012c5760003560e01c80637033e4a6116100ad578063a9059cbb11610071578063a9059cbb14610689578063c8fd6ed0146106ed578063db36b789146107c8578063dd62ed3e14610820578063e5c5f1d5146108985761012c565b80637033e4a61461050c57806370a082311461052c578063817b1cd21461058457806395d89b41146105a2578063a457c2d7146106255761012c565b806323b872dd116100f457806323b872dd14610353578063313ce567146103d757806339509351146103f857806346c327b41461045c5780634b341aed146104b45761012c565b806301eaa6ed1461013157806306fdde0314610173578063095ea7b3146101f65780630e89439b1461025a57806318160ddd14610335575b600080fd5b61015d6004803603602081101561014757600080fd5b81019080803590602001909291905050506108cc565b6040518082815260200191505060405180910390f35b61017b6108ee565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101bb5780820151818401526020810190506101a0565b50505050905090810190601f1680156101e85780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102426004803603604081101561020c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610927565b60405180821515815260200191505060405180910390f35b61031d6004803603604081101561027057600080fd5b81019080803590602001909291908035906020019064010000000081111561029757600080fd5b8201836020820111156102a957600080fd5b803590602001918460018302840111640100000000831117156102cb57600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290505050610acd565b60405180821515815260200191505060405180910390f35b61033d610ff2565b6040518082815260200191505060405180910390f35b6103bf6004803603606081101561036957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610ffc565b60405180821515815260200191505060405180910390f35b6103df611449565b604051808260ff16815260200191505060405180910390f35b6104446004803603604081101561040e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061144e565b60405180821515815260200191505060405180910390f35b61049e6004803603602081101561047257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061179e565b6040518082815260200191505060405180910390f35b6104f6600480360360208110156104ca57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506117f9565b6040518082815260200191505060405180910390f35b610514611842565b60405180821515815260200191505060405180910390f35b61056e6004803603602081101561054257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611847565b6040518082815260200191505060405180910390f35b61058c61188f565b6040518082815260200191505060405180910390f35b6105aa611899565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156105ea5780820151818401526020810190506105cf565b50505050905090810190601f1680156106175780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6106716004803603604081101561063b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506118d2565b60405180821515815260200191505060405180910390f35b6106d56004803603604081101561069f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611bce565b60405180821515815260200191505060405180910390f35b6107b06004803603604081101561070357600080fd5b81019080803590602001909291908035906020019064010000000081111561072a57600080fd5b82018360208201111561073c57600080fd5b8035906020019184600183028401116401000000008311171561075e57600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290505050611e19565b60405180821515815260200191505060405180910390f35b61080a600480360360208110156107de57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506122f8565b6040518082815260200191505060405180910390f35b6108826004803603604081101561083657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612341565b6040518082815260200191505060405180910390f35b6108a06123c8565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6000806108e36014846123cd90919063ffffffff16565b905080915050919050565b6040518060400160405280601081526020017f45515555534d696e696e67546f6b656e0000000000000000000000000000000081525081565b60008060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156109dd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f416d6f756e7420657863656564732062616c616e63652e00000000000000000081525060200191505060405180910390fd5b81600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b60008060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054831115610b1a57600080fd5b60148310610b90576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f416d6f756e7420746f206c6f7720746f2070726f63657373000000000000000081525060200191505060405180910390fd5b610be1836000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461241790919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000610c2e846108cc565b9050610c458160045461241790919063ffffffff16565b600481905550610c9c816000808073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461246190919063ffffffff16565b6000808073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610d42610cf4828661241790919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461246190919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610dac610d9b828661241790919063ffffffff16565b60055461246190919063ffffffff16565b60058190555042600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167fc65e53b88159e7d2c0fc12a0600072e28ae53ff73b4c1715369c30f160935142610e41838761241790919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054866040518084815260200183815260200180602001828103825283818151815260200191508051906020019080838360005b83811015610ece578082015181840152602081019050610eb3565b50505050905090810190601f168015610efb5780820380516001836020036101000a031916815260200191505b5094505050505060405180910390a23373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610f6c848861241790919063ffffffff16565b6040518082815260200191505060405180910390a3600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3600191505092915050565b6000600454905090565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156110b2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f416d6f756e7420657863656564732062616c616e63652e00000000000000000081525060200191505060405180910390fd5b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156111a4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f416d6f756e74206578636565647320616c6c6f77616e63652e0000000000000081525060200191505060405180910390fd5b6111f5826000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461241790919063ffffffff16565b6000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506112c682600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461241790919063ffffffff16565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611397826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461246190919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b601281565b600061151d600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461241790919063ffffffff16565b821115611592576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f416d6f756e7420657863656564732062616c616e63652e00000000000000000081525060200191505060405180910390fd5b61162182600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461246190919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92561177f85600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461246190919063ffffffff16565b6040518082815260200191505060405180910390a36001905092915050565b60006117f2600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020544261241790919063ffffffff16565b9050919050565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600090565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000600554905090565b6040518060400160405280600481526020017f45514d540000000000000000000000000000000000000000000000000000000081525081565b6000600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156119c6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f416d6f756e7420657863656564732062616c616e63652e00000000000000000081525060200191505060405180910390fd5b611a5582600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461241790919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925611bb385600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461241790919063ffffffff16565b6040518082815260200191505060405180910390a392915050565b60008060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115611c84576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f416d6f756e7420657863656564732062616c616e63652e00000000000000000081525060200191505060405180910390fd5b611cd5826000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461241790919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611d68826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461246190919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b6000600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054831115611e6757600080fd5b600554831115611e7657600080fd5b60148310611eec576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f416d6f756e7420746f206c6f7720746f2070726f63657373000000000000000081525060200191505060405180910390fd5b611f3e83600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461241790919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611f968360055461241790919063ffffffff16565b6005819055506000611fa7846108cc565b9050611fbe8160045461241790919063ffffffff16565b600481905550612015816000808073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461246190919063ffffffff16565b6000808073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506120ba61206d828661241790919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461246190919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167faf01bfc8475df280aca00b578c4a948e6d95700f0db8c13365240f7f973c8754612147838761241790919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054866040518084815260200183815260200180602001828103825283818151815260200191508051906020019080838360005b838110156121d45780820151818401526020810190506121b9565b50505050905090810190601f1680156122015780820380516001836020036101000a031916815260200191505b5094505050505060405180910390a23373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef612272848861241790919063ffffffff16565b6040518082815260200191505060405180910390a3600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3600191505092915050565b6000600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600081565b600061240f83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506124e9565b905092915050565b600061245983836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506125af565b905092915050565b6000808284019050838110156124df576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b60008083118290612595576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b8381101561255a57808201518184015260208101905061253f565b50505050905090810190601f1680156125875780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385816125a157fe5b049050809150509392505050565b600083831115829061265c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015612621578082015181840152602081019050612606565b50505050905090810190601f16801561264e5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b506000838503905080915050939250505056fea264697066735822122006e3529349c8a04b64894986cdebaad893882fd28dd50e9110a8e17848d4c3fc64736f6c63430007000033

7002:7942:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9101:117;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;7130:48;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9733:299;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;12133:909;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;8700:98;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11408:546;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;7230:35;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;10396:421;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;14486:132;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;14105:121;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;14844:92;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;8877:119;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;14664:97;;;:::i;:::-;;;;;;;;;;;;;;;;;;;7185:38;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10937:394;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;9285:390;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;13154:883;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;14289:116;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;10140:136;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;7345:80;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;9101:117;9153:7;9172:9;9184;9190:2;9184:1;:5;;:9;;;;:::i;:::-;9172:21;;9210:1;9203:8;;;9101:117;;;:::o;7130:48::-;;;;;;;;;;;;;;;;;;;:::o;9733:299::-;9812:4;9849:8;:20;9858:10;9849:20;;;;;;;;;;;;;;;;9836:9;:33;;9828:69;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9939:9;9907:7;:19;9915:10;9907:19;;;;;;;;;;;;;;;:29;9927:8;9907:29;;;;;;;;;;;;;;;:41;;;;9984:8;9963:41;;9972:10;9963:41;;;9994:9;9963:41;;;;;;;;;;;;;;;;;;10021:4;10014:11;;9733:299;;;;:::o;12133:909::-;12208:4;12242:8;:20;12251:10;12242:20;;;;;;;;;;;;;;;;12232:6;:30;;12224:39;;;;;;12290:2;12281:6;:11;12273:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12354:32;12379:6;12354:8;:20;12363:10;12354:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;12331:8;:20;12340:10;12331:20;;;;;;;;;;;;;;;:55;;;;12405:14;12422:18;12433:6;12422:10;:18::i;:::-;12405:35;;12474:24;12491:6;12474:12;;:16;;:24;;;;:::i;:::-;12459:12;:39;;;;12541:33;12567:6;12541:8;:21;7383:42;12541:21;;;;;;;;;;;;;;;;:25;;:33;;;;:::i;:::-;12517:8;:21;7383:42;12517:21;;;;;;;;;;;;;;;:57;;;;12622:50;12653:18;12664:6;12653;:10;;:18;;;;:::i;:::-;12622:14;:26;12637:10;12622:26;;;;;;;;;;;;;;;;:30;;:50;;;;:::i;:::-;12593:14;:26;12608:10;12593:26;;;;;;;;;;;;;;;:79;;;;12696:35;12712:18;12723:6;12712;:10;;:18;;;;:::i;:::-;12696:11;;:15;;:35;;;;:::i;:::-;12682:11;:49;;;;12780:15;12750;:27;12766:10;12750:27;;;;;;;;;;;;;;;:45;;;;12826:10;12819:72;;;12838:18;12849:6;12838;:10;;:18;;;;:::i;:::-;12858:14;:26;12873:10;12858:26;;;;;;;;;;;;;;;;12886:4;12819:72;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12927:10;12906:52;;12915:10;12906:52;;;12939:18;12950:6;12939;:10;;:18;;;;:::i;:::-;12906:52;;;;;;;;;;;;;;;;;;7383:42;12973:41;;12982:10;12973:41;;;13007:6;12973:41;;;;;;;;;;;;;;;;;;13031:4;13024:11;;;12133:909;;;;:::o;8700:98::-;8753:7;8779:12;;8772:19;;8700:98;:::o;11408:546::-;11501:4;11538:8;:15;11547:5;11538:15;;;;;;;;;;;;;;;;11525:9;:28;;11517:64;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11612:7;:14;11620:5;11612:14;;;;;;;;;;;;;;;:26;11627:10;11612:26;;;;;;;;;;;;;;;;11599:9;:39;;11591:77;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11705:30;11725:9;11705:8;:15;11714:5;11705:15;;;;;;;;;;;;;;;;:19;;:30;;;;:::i;:::-;11687:8;:15;11696:5;11687:15;;;;;;;;;;;;;;;:48;;;;11774:41;11805:9;11774:7;:14;11782:5;11774:14;;;;;;;;;;;;;;;:26;11789:10;11774:26;;;;;;;;;;;;;;;;:30;;:41;;;;:::i;:::-;11745:7;:14;11753:5;11745:14;;;;;;;;;;;;;;;:26;11760:10;11745:26;;;;;;;;;;;;;;;:70;;;;11843:30;11863:9;11843:8;:15;11852:5;11843:15;;;;;;;;;;;;;;;;:19;;:30;;;;:::i;:::-;11825:8;:15;11834:5;11825:15;;;;;;;;;;;;;;;:48;;;;11909:5;11888:38;;11897:10;11888:38;;;11916:9;11888:38;;;;;;;;;;;;;;;;;;11943:4;11936:11;;11408:546;;;;;:::o;7230:35::-;7263:2;7230:35;:::o;10396:421::-;10476:4;10514:54;10539:7;:19;10547:10;10539:19;;;;;;;;;;;;;;;:28;10559:7;10539:28;;;;;;;;;;;;;;;;10514:8;:20;10523:10;10514:20;;;;;;;;;;;;;;;;:24;;:54;;;;:::i;:::-;10500:10;:68;;10492:104;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10646:44;10679:10;10646:7;:19;10654:10;10646:19;;;;;;;;;;;;;;;:28;10666:7;10646:28;;;;;;;;;;;;;;;;:32;;:44;;;;:::i;:::-;10615:7;:19;10623:10;10615:19;;;;;;;;;;;;;;;:28;10635:7;10615:28;;;;;;;;;;;;;;;:75;;;;10735:7;10714:75;;10723:10;10714:75;;;10744:44;10777:10;10744:7;:19;10752:10;10744:19;;;;;;;;;;;;;;;:28;10764:7;10744:28;;;;;;;;;;;;;;;;:32;;:44;;;;:::i;:::-;10714:75;;;;;;;;;;;;;;;;;;10806:4;10799:11;;10396:421;;;;:::o;14486:132::-;14543:7;14569:42;14589:15;:21;14605:4;14589:21;;;;;;;;;;;;;;;;14569:15;:19;;:42;;;;:::i;:::-;14562:49;;14486:132;;;:::o;14105:121::-;14173:7;14199:14;:20;14214:4;14199:20;;;;;;;;;;;;;;;;14192:27;;14105:121;;;:::o;14844:92::-;14901:4;14844:92;:::o;8877:119::-;8946:4;8969:8;:20;8978:10;8969:20;;;;;;;;;;;;;;;;8962:27;;8877:119;;;:::o;14664:97::-;14717:7;14743:11;;14736:18;;14664:97;:::o;7185:38::-;;;;;;;;;;;;;;;;;;;:::o;10937:394::-;11022:4;11065:7;:19;11073:10;11065:19;;;;;;;;;;;;;;;:28;11085:7;11065:28;;;;;;;;;;;;;;;;11046:15;:47;;11038:83;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11171:49;11204:15;11171:7;:19;11179:10;11171:19;;;;;;;;;;;;;;;:28;11191:7;11171:28;;;;;;;;;;;;;;;;:32;;:49;;;;:::i;:::-;11140:7;:19;11148:10;11140:19;;;;;;;;;;;;;;;:28;11160:7;11140:28;;;;;;;;;;;;;;;:80;;;;11265:7;11244:80;;11253:10;11244:80;;;11274:49;11307:15;11274:7;:19;11282:10;11274:19;;;;;;;;;;;;;;;:28;11294:7;11274:28;;;;;;;;;;;;;;;;:32;;:49;;;;:::i;:::-;11244:80;;;;;;;;;;;;;;;;;;10937:394;;;;:::o;9285:390::-;9365:4;9402:8;:20;9411:10;9402:20;;;;;;;;;;;;;;;;9389:9;:33;;9381:69;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9483:35;9508:9;9483:8;:20;9492:10;9483:20;;;;;;;;;;;;;;;;:24;;:35;;;;:::i;:::-;9460:8;:20;9469:10;9460:20;;;;;;;;;;;;;;;:58;;;;9558:33;9581:9;9558:8;:18;9567:8;9558:18;;;;;;;;;;;;;;;;:22;;:33;;;;:::i;:::-;9537:8;:18;9546:8;9537:18;;;;;;;;;;;;;;;:54;;;;9627:8;9606:41;;9615:10;9606:41;;;9637:9;9606:41;;;;;;;;;;;;;;;;;;9664:4;9657:11;;9285:390;;;;:::o;13154:883::-;13231:4;13265:14;:26;13280:10;13265:26;;;;;;;;;;;;;;;;13255:6;:36;;13247:45;;;;;;13320:11;;13310:6;:21;;13302:30;;;;;;13359:2;13350:6;:11;13342:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13429:38;13460:6;13429:14;:26;13444:10;13429:26;;;;;;;;;;;;;;;;:30;;:38;;;;:::i;:::-;13400:14;:26;13415:10;13400:26;;;;;;;;;;;;;;;:67;;;;13491:23;13507:6;13491:11;;:15;;:23;;;;:::i;:::-;13477:11;:37;;;;13533:14;13550:18;13561:6;13550:10;:18::i;:::-;13533:35;;13602:24;13619:6;13602:12;;:16;;:24;;;;:::i;:::-;13587:12;:39;;;;13669:33;13695:6;13669:8;:21;7383:42;13669:21;;;;;;;;;;;;;;;;:25;;:33;;;;:::i;:::-;13645:8;:21;7383:42;13645:21;;;;;;;;;;;;;;;:57;;;;13744:44;13769:18;13780:6;13769;:10;;:18;;;;:::i;:::-;13744:8;:20;13753:10;13744:20;;;;;;;;;;;;;;;;:24;;:44;;;;:::i;:::-;13721:8;:20;13730:10;13721:20;;;;;;;;;;;;;;;:67;;;;13821:10;13812:74;;;13833:18;13844:6;13833;:10;;:18;;;;:::i;:::-;13853:14;:26;13868:10;13853:26;;;;;;;;;;;;;;;;13881:4;13812:74;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13922:10;13901:52;;13910:10;13901:52;;;13934:18;13945:6;13934;:10;;:18;;;;:::i;:::-;13901:52;;;;;;;;;;;;;;;;;;7383:42;13968:41;;13977:10;13968:41;;;14002:6;13968:41;;;;;;;;;;;;;;;;;;14026:4;14019:11;;;13154:883;;;;:::o;14289:116::-;14351:7;14377:15;:21;14393:4;14377:21;;;;;;;;;;;;;;;;14370:28;;14289:116;;;:::o;10140:136::-;10222:4;10245:7;:14;10253:5;10245:14;;;;;;;;;;;;;;;:24;10260:8;10245:24;;;;;;;;;;;;;;;;10238:31;;10140:136;;;;:::o;7345:80::-;7383:42;7345:80;:::o;3268:132::-;3326:7;3353:39;3357:1;3360;3353:39;;;;;;;;;;;;;;;;;:3;:39::i;:::-;3346:46;;3268:132;;;;:::o;1431:136::-;1489:7;1516:43;1520:1;1523;1516:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;1509:50;;1431:136;;;;:::o;967:181::-;1025:7;1045:9;1061:1;1057;:5;1045:17;;1086:1;1081;:6;;1073:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1139:1;1132:8;;;967:181;;;;:::o;3896:278::-;3982:7;4014:1;4010;:5;4017:12;4002:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4041:9;4057:1;4053;:5;;;;;;4041:17;;4165:1;4158:8;;;3896:278;;;;;:::o;1870:192::-;1956:7;1989:1;1984;:6;;1992:12;1976:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2016:9;2032:1;2028;:5;2016:17;;2053:1;2046:8;;;1870:192;;;;;:::o

ipfs://06e3529349c8a04b64894986cdebaad893882fd28dd50e9110a8e17848d4c3fc