Contract

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 PARAMORE is IERC20, Staki ... *
•    - 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-09-04
*/

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

}

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

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

    mapping(address => uint256) balances; //PARA balance for all network participants
    
    mapping(address => uint256) stakedbalances; //PARA stake balance to lock stakes
    
    mapping(address => uint) staketimestamps; //PARA 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_ = 1000000000000000000000000;
        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);
       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"}]

6080604052600060055534801561001557600080fd5b5069d3c21bcecceda10000006004819055506004546000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555033600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055503373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6004546040518082815260200191505060405180910390a3612640806101236000396000f3fe608060405234801561001057600080fd5b506004361061012c5760003560e01c80637033e4a6116100ad578063a9059cbb11610071578063a9059cbb14610689578063c8fd6ed0146106ed578063db36b789146107c8578063dd62ed3e14610820578063e5c5f1d5146108985761012c565b80637033e4a61461050c57806370a082311461052c578063817b1cd21461058457806395d89b41146105a2578063a457c2d7146106255761012c565b806323b872dd116100f457806323b872dd14610353578063313ce567146103d757806339509351146103f857806346c327b41461045c5780634b341aed146104b45761012c565b806301eaa6ed1461013157806306fdde0314610173578063095ea7b3146101f65780630e89439b1461025a57806318160ddd14610335575b600080fd5b61015d6004803603602081101561014757600080fd5b81019080803590602001909291905050506108cc565b6040518082815260200191505060405180910390f35b61017b6108ee565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101bb5780820151818401526020810190506101a0565b50505050905090810190601f1680156101e85780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102426004803603604081101561020c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610927565b60405180821515815260200191505060405180910390f35b61031d6004803603604081101561027057600080fd5b81019080803590602001909291908035906020019064010000000081111561029757600080fd5b8201836020820111156102a957600080fd5b803590602001918460018302840111640100000000831117156102cb57600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290505050610acd565b60405180821515815260200191505060405180910390f35b61033d610ff2565b6040518082815260200191505060405180910390f35b6103bf6004803603606081101561036957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610ffc565b60405180821515815260200191505060405180910390f35b6103df6113e4565b604051808260ff16815260200191505060405180910390f35b6104446004803603604081101561040e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506113e9565b60405180821515815260200191505060405180910390f35b61049e6004803603602081101561047257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611739565b6040518082815260200191505060405180910390f35b6104f6600480360360208110156104ca57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611794565b6040518082815260200191505060405180910390f35b6105146117dd565b60405180821515815260200191505060405180910390f35b61056e6004803603602081101561054257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506117e2565b6040518082815260200191505060405180910390f35b61058c61182a565b6040518082815260200191505060405180910390f35b6105aa611834565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156105ea5780820151818401526020810190506105cf565b50505050905090810190601f1680156106175780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6106716004803603604081101561063b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061186d565b60405180821515815260200191505060405180910390f35b6106d56004803603604081101561069f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611b69565b60405180821515815260200191505060405180910390f35b6107b06004803603604081101561070357600080fd5b81019080803590602001909291908035906020019064010000000081111561072a57600080fd5b82018360208201111561073c57600080fd5b8035906020019184600183028401116401000000008311171561075e57600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290505050611db4565b60405180821515815260200191505060405180910390f35b61080a600480360360208110156107de57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612293565b6040518082815260200191505060405180910390f35b6108826004803603604081101561083657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506122dc565b6040518082815260200191505060405180910390f35b6108a0612363565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6000806108e360148461236890919063ffffffff16565b905080915050919050565b6040518060400160405280600881526020017f504152414d4f524500000000000000000000000000000000000000000000000081525081565b60008060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156109dd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f416d6f756e7420657863656564732062616c616e63652e00000000000000000081525060200191505060405180910390fd5b81600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b60008060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054831115610b1a57600080fd5b60148310610b90576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f416d6f756e7420746f206c6f7720746f2070726f63657373000000000000000081525060200191505060405180910390fd5b610be1836000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123b290919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000610c2e846108cc565b9050610c45816004546123b290919063ffffffff16565b600481905550610c9c816000808073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123fc90919063ffffffff16565b6000808073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610d42610cf482866123b290919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123fc90919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610dac610d9b82866123b290919063ffffffff16565b6005546123fc90919063ffffffff16565b60058190555042600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167fc65e53b88159e7d2c0fc12a0600072e28ae53ff73b4c1715369c30f160935142610e4183876123b290919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054866040518084815260200183815260200180602001828103825283818151815260200191508051906020019080838360005b83811015610ece578082015181840152602081019050610eb3565b50505050905090810190601f168015610efb5780820380516001836020036101000a031916815260200191505b5094505050505060405180910390a23373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610f6c84886123b290919063ffffffff16565b6040518082815260200191505060405180910390a3600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3600191505092915050565b6000600454905090565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156110b2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f416d6f756e7420657863656564732062616c616e63652e00000000000000000081525060200191505060405180910390fd5b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156111a4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f416d6f756e74206578636565647320616c6c6f77616e63652e0000000000000081525060200191505060405180910390fd5b6111f5826000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123b290919063ffffffff16565b6000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506112c682600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123b290919063ffffffff16565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611397826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123fc90919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600190509392505050565b601281565b60006114b8600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123b290919063ffffffff16565b82111561152d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f416d6f756e7420657863656564732062616c616e63652e00000000000000000081525060200191505060405180910390fd5b6115bc82600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123fc90919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92561171a85600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123fc90919063ffffffff16565b6040518082815260200191505060405180910390a36001905092915050565b600061178d600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054426123b290919063ffffffff16565b9050919050565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600090565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000600554905090565b6040518060400160405280600481526020017f504152410000000000000000000000000000000000000000000000000000000081525081565b6000600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115611961576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f416d6f756e7420657863656564732062616c616e63652e00000000000000000081525060200191505060405180910390fd5b6119f082600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123b290919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925611b4e85600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123b290919063ffffffff16565b6040518082815260200191505060405180910390a392915050565b60008060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115611c1f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f416d6f756e7420657863656564732062616c616e63652e00000000000000000081525060200191505060405180910390fd5b611c70826000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123b290919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611d03826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123fc90919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b6000600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054831115611e0257600080fd5b600554831115611e1157600080fd5b60148310611e87576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f416d6f756e7420746f206c6f7720746f2070726f63657373000000000000000081525060200191505060405180910390fd5b611ed983600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123b290919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611f31836005546123b290919063ffffffff16565b6005819055506000611f42846108cc565b9050611f59816004546123b290919063ffffffff16565b600481905550611fb0816000808073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123fc90919063ffffffff16565b6000808073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061205561200882866123b290919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123fc90919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167faf01bfc8475df280aca00b578c4a948e6d95700f0db8c13365240f7f973c87546120e283876123b290919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054866040518084815260200183815260200180602001828103825283818151815260200191508051906020019080838360005b8381101561216f578082015181840152602081019050612154565b50505050905090810190601f16801561219c5780820380516001836020036101000a031916815260200191505b5094505050505060405180910390a23373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61220d84886123b290919063ffffffff16565b6040518082815260200191505060405180910390a3600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3600191505092915050565b6000600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600081565b60006123aa83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250612484565b905092915050565b60006123f483836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061254a565b905092915050565b60008082840190508381101561247a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b60008083118290612530576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b838110156124f55780820151818401526020810190506124da565b50505050905090810190601f1680156125225780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b50600083858161253c57fe5b049050809150509392505050565b60008383111582906125f7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b838110156125bc5780820151818401526020810190506125a1565b50505050905090810190601f1680156125e95780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b506000838503905080915050939250505056fea26469706673582212205623ba3b851de0b5d2a221443623ddcfc959d60dafc297e5c0a0d313e93e099c64736f6c63430007000033

0x608060405234801561001057600080fd5b506004361061012c5760003560e01c80637033e4a6116100ad578063a9059cbb11610071578063a9059cbb14610689578063c8fd6ed0146106ed578063db36b789146107c8578063dd62ed3e14610820578063e5c5f1d5146108985761012c565b80637033e4a61461050c57806370a082311461052c578063817b1cd21461058457806395d89b41146105a2578063a457c2d7146106255761012c565b806323b872dd116100f457806323b872dd14610353578063313ce567146103d757806339509351146103f857806346c327b41461045c5780634b341aed146104b45761012c565b806301eaa6ed1461013157806306fdde0314610173578063095ea7b3146101f65780630e89439b1461025a57806318160ddd14610335575b600080fd5b61015d6004803603602081101561014757600080fd5b81019080803590602001909291905050506108cc565b6040518082815260200191505060405180910390f35b61017b6108ee565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101bb5780820151818401526020810190506101a0565b50505050905090810190601f1680156101e85780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102426004803603604081101561020c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610927565b60405180821515815260200191505060405180910390f35b61031d6004803603604081101561027057600080fd5b81019080803590602001909291908035906020019064010000000081111561029757600080fd5b8201836020820111156102a957600080fd5b803590602001918460018302840111640100000000831117156102cb57600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290505050610acd565b60405180821515815260200191505060405180910390f35b61033d610ff2565b6040518082815260200191505060405180910390f35b6103bf6004803603606081101561036957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610ffc565b60405180821515815260200191505060405180910390f35b6103df6113e4565b604051808260ff16815260200191505060405180910390f35b6104446004803603604081101561040e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506113e9565b60405180821515815260200191505060405180910390f35b61049e6004803603602081101561047257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611739565b6040518082815260200191505060405180910390f35b6104f6600480360360208110156104ca57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611794565b6040518082815260200191505060405180910390f35b6105146117dd565b60405180821515815260200191505060405180910390f35b61056e6004803603602081101561054257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506117e2565b6040518082815260200191505060405180910390f35b61058c61182a565b6040518082815260200191505060405180910390f35b6105aa611834565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156105ea5780820151818401526020810190506105cf565b50505050905090810190601f1680156106175780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6106716004803603604081101561063b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061186d565b60405180821515815260200191505060405180910390f35b6106d56004803603604081101561069f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611b69565b60405180821515815260200191505060405180910390f35b6107b06004803603604081101561070357600080fd5b81019080803590602001909291908035906020019064010000000081111561072a57600080fd5b82018360208201111561073c57600080fd5b8035906020019184600183028401116401000000008311171561075e57600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290505050611db4565b60405180821515815260200191505060405180910390f35b61080a600480360360208110156107de57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612293565b6040518082815260200191505060405180910390f35b6108826004803603604081101561083657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506122dc565b6040518082815260200191505060405180910390f35b6108a0612363565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6000806108e360148461236890919063ffffffff16565b905080915050919050565b6040518060400160405280600881526020017f504152414d4f524500000000000000000000000000000000000000000000000081525081565b60008060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156109dd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f416d6f756e7420657863656564732062616c616e63652e00000000000000000081525060200191505060405180910390fd5b81600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b60008060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054831115610b1a57600080fd5b60148310610b90576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f416d6f756e7420746f206c6f7720746f2070726f63657373000000000000000081525060200191505060405180910390fd5b610be1836000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123b290919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000610c2e846108cc565b9050610c45816004546123b290919063ffffffff16565b600481905550610c9c816000808073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123fc90919063ffffffff16565b6000808073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610d42610cf482866123b290919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123fc90919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610dac610d9b82866123b290919063ffffffff16565b6005546123fc90919063ffffffff16565b60058190555042600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167fc65e53b88159e7d2c0fc12a0600072e28ae53ff73b4c1715369c30f160935142610e4183876123b290919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054866040518084815260200183815260200180602001828103825283818151815260200191508051906020019080838360005b83811015610ece578082015181840152602081019050610eb3565b50505050905090810190601f168015610efb5780820380516001836020036101000a031916815260200191505b5094505050505060405180910390a23373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef610f6c84886123b290919063ffffffff16565b6040518082815260200191505060405180910390a3600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3600191505092915050565b6000600454905090565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156110b2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f416d6f756e7420657863656564732062616c616e63652e00000000000000000081525060200191505060405180910390fd5b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156111a4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f416d6f756e74206578636565647320616c6c6f77616e63652e0000000000000081525060200191505060405180910390fd5b6111f5826000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123b290919063ffffffff16565b6000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506112c682600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123b290919063ffffffff16565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611397826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123fc90919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600190509392505050565b601281565b60006114b8600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123b290919063ffffffff16565b82111561152d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f416d6f756e7420657863656564732062616c616e63652e00000000000000000081525060200191505060405180910390fd5b6115bc82600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123fc90919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92561171a85600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123fc90919063ffffffff16565b6040518082815260200191505060405180910390a36001905092915050565b600061178d600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054426123b290919063ffffffff16565b9050919050565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600090565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000600554905090565b6040518060400160405280600481526020017f504152410000000000000000000000000000000000000000000000000000000081525081565b6000600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115611961576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f416d6f756e7420657863656564732062616c616e63652e00000000000000000081525060200191505060405180910390fd5b6119f082600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123b290919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925611b4e85600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123b290919063ffffffff16565b6040518082815260200191505060405180910390a392915050565b60008060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115611c1f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f416d6f756e7420657863656564732062616c616e63652e00000000000000000081525060200191505060405180910390fd5b611c70826000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123b290919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611d03826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123fc90919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b6000600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054831115611e0257600080fd5b600554831115611e1157600080fd5b60148310611e87576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f416d6f756e7420746f206c6f7720746f2070726f63657373000000000000000081525060200191505060405180910390fd5b611ed983600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123b290919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611f31836005546123b290919063ffffffff16565b6005819055506000611f42846108cc565b9050611f59816004546123b290919063ffffffff16565b600481905550611fb0816000808073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123fc90919063ffffffff16565b6000808073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061205561200882866123b290919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546123fc90919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167faf01bfc8475df280aca00b578c4a948e6d95700f0db8c13365240f7f973c87546120e283876123b290919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054866040518084815260200183815260200180602001828103825283818151815260200191508051906020019080838360005b8381101561216f578082015181840152602081019050612154565b50505050905090810190601f16801561219c5780820380516001836020036101000a031916815260200191505b5094505050505060405180910390a23373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61220d84886123b290919063ffffffff16565b6040518082815260200191505060405180910390a3600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3600191505092915050565b6000600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600081565b60006123aa83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250612484565b905092915050565b60006123f483836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061254a565b905092915050565b60008082840190508381101561247a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b60008083118290612530576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b838110156124f55780820151818401526020810190506124da565b50505050905090810190601f1680156125225780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b50600083858161253c57fe5b049050809150509392505050565b60008383111582906125f7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b838110156125bc5780820151818401526020810190506125a1565b50505050905090810190601f1680156125e95780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b506000838503905080915050939250505056fea26469706673582212205623ba3b851de0b5d2a221443623ddcfc959d60dafc297e5c0a0d313e93e099c64736f6c63430007000033

7005:7868:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9083:117;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;7125:40;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9715:299;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;12062:909;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;8682:98;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11390:493;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;7217:35;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;10378:421;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;14415:132;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;14034:121;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;14773:92;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;8859:119;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;14593:97;;;:::i;:::-;;;;;;;;;;;;;;;;;;;7172:38;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10919:394;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;9267:390;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;13083:883;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;14218:116;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;10122:136;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;7332:80;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;9083:117;9135:7;9154:9;9166;9172:2;9166:1;:5;;:9;;;;:::i;:::-;9154:21;;9192:1;9185:8;;;9083:117;;;:::o;7125:40::-;;;;;;;;;;;;;;;;;;;:::o;9715:299::-;9794:4;9831:8;:20;9840:10;9831:20;;;;;;;;;;;;;;;;9818:9;:33;;9810:69;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9921:9;9889:7;:19;9897:10;9889:19;;;;;;;;;;;;;;;:29;9909:8;9889:29;;;;;;;;;;;;;;;:41;;;;9966:8;9945:41;;9954:10;9945:41;;;9976:9;9945:41;;;;;;;;;;;;;;;;;;10003:4;9996:11;;9715:299;;;;:::o;12062:909::-;12137:4;12171:8;:20;12180:10;12171:20;;;;;;;;;;;;;;;;12161:6;:30;;12153:39;;;;;;12219:2;12210:6;:11;12202:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12283:32;12308:6;12283:8;:20;12292:10;12283:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;12260:8;:20;12269:10;12260:20;;;;;;;;;;;;;;;:55;;;;12334:14;12351:18;12362:6;12351:10;:18::i;:::-;12334:35;;12403:24;12420:6;12403:12;;:16;;:24;;;;:::i;:::-;12388:12;:39;;;;12470:33;12496:6;12470:8;:21;7370:42;12470:21;;;;;;;;;;;;;;;;:25;;:33;;;;:::i;:::-;12446:8;:21;7370:42;12446:21;;;;;;;;;;;;;;;:57;;;;12551:50;12582:18;12593:6;12582;:10;;:18;;;;:::i;:::-;12551:14;:26;12566:10;12551:26;;;;;;;;;;;;;;;;:30;;:50;;;;:::i;:::-;12522:14;:26;12537:10;12522:26;;;;;;;;;;;;;;;:79;;;;12625:35;12641:18;12652:6;12641;:10;;:18;;;;:::i;:::-;12625:11;;:15;;:35;;;;:::i;:::-;12611:11;:49;;;;12709:15;12679;:27;12695:10;12679:27;;;;;;;;;;;;;;;:45;;;;12755:10;12748:72;;;12767:18;12778:6;12767;:10;;:18;;;;:::i;:::-;12787:14;:26;12802:10;12787:26;;;;;;;;;;;;;;;;12815:4;12748:72;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12856:10;12835:52;;12844:10;12835:52;;;12868:18;12879:6;12868;:10;;:18;;;;:::i;:::-;12835:52;;;;;;;;;;;;;;;;;;7370:42;12902:41;;12911:10;12902:41;;;12936:6;12902:41;;;;;;;;;;;;;;;;;;12960:4;12953:11;;;12062:909;;;;:::o;8682:98::-;8735:7;8761:12;;8754:19;;8682:98;:::o;11390:493::-;11483:4;11520:8;:15;11529:5;11520:15;;;;;;;;;;;;;;;;11507:9;:28;;11499:64;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11594:7;:14;11602:5;11594:14;;;;;;;;;;;;;;;:26;11609:10;11594:26;;;;;;;;;;;;;;;;11581:9;:39;;11573:77;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11687:30;11707:9;11687:8;:15;11696:5;11687:15;;;;;;;;;;;;;;;;:19;;:30;;;;:::i;:::-;11669:8;:15;11678:5;11669:15;;;;;;;;;;;;;;;:48;;;;11756:41;11787:9;11756:7;:14;11764:5;11756:14;;;;;;;;;;;;;;;:26;11771:10;11756:26;;;;;;;;;;;;;;;;:30;;:41;;;;:::i;:::-;11727:7;:14;11735:5;11727:14;;;;;;;;;;;;;;;:26;11742:10;11727:26;;;;;;;;;;;;;;;:70;;;;11825:30;11845:9;11825:8;:15;11834:5;11825:15;;;;;;;;;;;;;;;;:19;;:30;;;;:::i;:::-;11807:8;:15;11816:5;11807:15;;;;;;;;;;;;;;;:48;;;;11872:4;11865:11;;11390:493;;;;;:::o;7217:35::-;7250:2;7217:35;:::o;10378:421::-;10458:4;10496:54;10521:7;:19;10529:10;10521:19;;;;;;;;;;;;;;;:28;10541:7;10521:28;;;;;;;;;;;;;;;;10496:8;:20;10505:10;10496:20;;;;;;;;;;;;;;;;:24;;:54;;;;:::i;:::-;10482:10;:68;;10474:104;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10628:44;10661:10;10628:7;:19;10636:10;10628:19;;;;;;;;;;;;;;;:28;10648:7;10628:28;;;;;;;;;;;;;;;;:32;;:44;;;;:::i;:::-;10597:7;:19;10605:10;10597:19;;;;;;;;;;;;;;;:28;10617:7;10597:28;;;;;;;;;;;;;;;:75;;;;10717:7;10696:75;;10705:10;10696:75;;;10726:44;10759:10;10726:7;:19;10734:10;10726:19;;;;;;;;;;;;;;;:28;10746:7;10726:28;;;;;;;;;;;;;;;;:32;;:44;;;;:::i;:::-;10696:75;;;;;;;;;;;;;;;;;;10788:4;10781:11;;10378:421;;;;:::o;14415:132::-;14472:7;14498:42;14518:15;:21;14534:4;14518:21;;;;;;;;;;;;;;;;14498:15;:19;;:42;;;;:::i;:::-;14491:49;;14415:132;;;:::o;14034:121::-;14102:7;14128:14;:20;14143:4;14128:20;;;;;;;;;;;;;;;;14121:27;;14034:121;;;:::o;14773:92::-;14830:4;14773:92;:::o;8859:119::-;8928:4;8951:8;:20;8960:10;8951:20;;;;;;;;;;;;;;;;8944:27;;8859:119;;;:::o;14593:97::-;14646:7;14672:11;;14665:18;;14593:97;:::o;7172:38::-;;;;;;;;;;;;;;;;;;;:::o;10919:394::-;11004:4;11047:7;:19;11055:10;11047:19;;;;;;;;;;;;;;;:28;11067:7;11047:28;;;;;;;;;;;;;;;;11028:15;:47;;11020:83;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11153:49;11186:15;11153:7;:19;11161:10;11153:19;;;;;;;;;;;;;;;:28;11173:7;11153:28;;;;;;;;;;;;;;;;:32;;:49;;;;:::i;:::-;11122:7;:19;11130:10;11122:19;;;;;;;;;;;;;;;:28;11142:7;11122:28;;;;;;;;;;;;;;;:80;;;;11247:7;11226:80;;11235:10;11226:80;;;11256:49;11289:15;11256:7;:19;11264:10;11256:19;;;;;;;;;;;;;;;:28;11276:7;11256:28;;;;;;;;;;;;;;;;:32;;:49;;;;:::i;:::-;11226:80;;;;;;;;;;;;;;;;;;10919:394;;;;:::o;9267:390::-;9347:4;9384:8;:20;9393:10;9384:20;;;;;;;;;;;;;;;;9371:9;:33;;9363:69;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9465:35;9490:9;9465:8;:20;9474:10;9465:20;;;;;;;;;;;;;;;;:24;;:35;;;;:::i;:::-;9442:8;:20;9451:10;9442:20;;;;;;;;;;;;;;;:58;;;;9540:33;9563:9;9540:8;:18;9549:8;9540:18;;;;;;;;;;;;;;;;:22;;:33;;;;:::i;:::-;9519:8;:18;9528:8;9519:18;;;;;;;;;;;;;;;:54;;;;9609:8;9588:41;;9597:10;9588:41;;;9619:9;9588:41;;;;;;;;;;;;;;;;;;9646:4;9639:11;;9267:390;;;;:::o;13083:883::-;13160:4;13194:14;:26;13209:10;13194:26;;;;;;;;;;;;;;;;13184:6;:36;;13176:45;;;;;;13249:11;;13239:6;:21;;13231:30;;;;;;13288:2;13279:6;:11;13271:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13358:38;13389:6;13358:14;:26;13373:10;13358:26;;;;;;;;;;;;;;;;:30;;:38;;;;:::i;:::-;13329:14;:26;13344:10;13329:26;;;;;;;;;;;;;;;:67;;;;13420:23;13436:6;13420:11;;:15;;:23;;;;:::i;:::-;13406:11;:37;;;;13462:14;13479:18;13490:6;13479:10;:18::i;:::-;13462:35;;13531:24;13548:6;13531:12;;:16;;:24;;;;:::i;:::-;13516:12;:39;;;;13598:33;13624:6;13598:8;:21;7370:42;13598:21;;;;;;;;;;;;;;;;:25;;:33;;;;:::i;:::-;13574:8;:21;7370:42;13574:21;;;;;;;;;;;;;;;:57;;;;13673:44;13698:18;13709:6;13698;:10;;:18;;;;:::i;:::-;13673:8;:20;13682:10;13673:20;;;;;;;;;;;;;;;;:24;;:44;;;;:::i;:::-;13650:8;:20;13659:10;13650:20;;;;;;;;;;;;;;;:67;;;;13750:10;13741:74;;;13762:18;13773:6;13762;:10;;:18;;;;:::i;:::-;13782:14;:26;13797:10;13782:26;;;;;;;;;;;;;;;;13810:4;13741:74;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13851:10;13830:52;;13839:10;13830:52;;;13863:18;13874:6;13863;:10;;:18;;;;:::i;:::-;13830:52;;;;;;;;;;;;;;;;;;7370:42;13897:41;;13906:10;13897:41;;;13931:6;13897:41;;;;;;;;;;;;;;;;;;13955:4;13948:11;;;13083:883;;;;:::o;14218:116::-;14280:7;14306:15;:21;14322:4;14306:21;;;;;;;;;;;;;;;;14299:28;;14218:116;;;:::o;10122:136::-;10204:4;10227:7;:14;10235:5;10227:14;;;;;;;;;;;;;;;:24;10242:8;10227:24;;;;;;;;;;;;;;;;10220:31;;10122:136;;;;:::o;7332:80::-;7370:42;7332: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://5623ba3b851de0b5d2a221443623ddcfc959d60dafc297e5c0a0d313e93e099c