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 ...  contract Ownable    - function owner()    - function renounceOwnership()    - function transferOwnership(address ne ...  contract HexaProtocol is Ownable *    - function numberRedeemed(uint256 amoun ...    - function is_profitable()    - function addToWhitelist(address _addr ...    - function removeFromWhitelist(address ...    - function transfer(address to, uint256 ...    - function burn_transfer(address to, ui ...    - function regular_transfer(address to, ...    - function transferFrom(address from, a ...    - function burn_transferFrom(address fr ...    - function regular_transferFrom(address ...    - function redeem(uint256 amount)    - function burn(uint256 value)    - function approve(address spender, uin ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-09-02
*/

pragma solidity 0.6.12;

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

        return c;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }

    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;

        return c;
    }

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

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

        return c;
    }

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

    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b > 0, errorMessage);
        uint256 c = a / b;

        return c;
    }

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

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

contract Ownable {
    address public _owner;

    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    constructor () public {
        _owner = msg.sender;
        emit OwnershipTransferred(address(0), msg.sender);
    }

    function owner() public view returns (address) {
        return _owner;
    }

    modifier onlyOwner() {
        require(_owner == msg.sender, "Ownable: caller is not the owner");
        _;
    }

    function renounceOwnership() public virtual onlyOwner {
        emit OwnershipTransferred(_owner, address(0));
        _owner = address(0);
    }

    function transferOwnership(address newOwner) public virtual onlyOwner {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }
}


contract HexaProtocol is Ownable{
    using SafeMath for uint256;
    mapping (address => uint256) public balanceOf;
    mapping (address => bool) public whitelist;

    string public name = "Hexa Protocol";
    string public symbol = "HEXA";
    uint8 public decimals = 18;
    uint256 public totalSupply = 10000000 * (uint256(10) ** decimals);
    uint256 public totalPooled;

    event Transfer(address indexed from, address indexed to, uint256 value);

    constructor() public {
        totalPooled = 50 * (uint256(10) ** decimals);
        
        // Initially assign all non-pooled tokens to the contract's creator.
        balanceOf[msg.sender] = totalSupply.sub(totalPooled);
        
        emit Transfer(address(0), msg.sender, totalSupply.sub(totalPooled));
    }
    
    // Ensure a redemption is profitable before allowing a redeem()
    modifier profitable() {
        require(is_profitable(), "Redeeming is not yet profitable.");
        _;
    } 
    
    // VIEWS 
    
    // Get the number of tokens to be redeemed from the pool
    function numberRedeemed(uint256 amount) 
        public 
        view 
        returns (uint256 profit) {
        uint256 numerator = amount.mul(totalPooled);  
        uint256 denominator = totalSupply.sub(totalPooled);  
        return numerator.div(denominator);
    }
    
    // Check if more than 50% of the token is pooled
    function is_profitable() 
        public 
        view 
        returns (bool _profitable) {
        return totalPooled > totalSupply.sub(totalPooled);
    }


    // SETTERS

    function addToWhitelist(address _addr) 
        public 
        onlyOwner {
        whitelist[_addr] = true;
    }
    
    function removeFromWhitelist(address _addr) 
        public 
        onlyOwner {
        whitelist[_addr] = false;
    }
    
    // TRANSFER FUNCTIONS 
    
    // BOA-TOKEN <- Sell taxed
    // TOKEN-BOA <- Buy (not taxed)
    
    function transfer(address to, uint256 value) 
        public 
        returns (bool success) {
        require(balanceOf[msg.sender] >= value);
        
        if(whitelist[msg.sender]) return regular_transfer(to, value);
        else return burn_transfer(to, value);
    }
    
    function burn_transfer(address to, uint256 value) 
        private 
        returns (bool success) {
        // send 1% to the pooled ledger
        uint256 burned_amount = value.div(100);
        
        // withdraw from the user's balance
        balanceOf[msg.sender] = balanceOf[msg.sender].sub(burned_amount);
        // increment the total pooled amount
        totalPooled = totalPooled.add(burned_amount);
        
        value = value.sub(burned_amount);
        
        // perform a normal transfer on the remaining 99%
        return regular_transfer(to, value);
    }

    function regular_transfer(address to, uint256 value) 
        private 
        returns (bool success) {
        // perform a normal transfer 
        balanceOf[msg.sender] = balanceOf[msg.sender].sub(value);  
        balanceOf[to] = balanceOf[to].add(value);                   
        emit Transfer(msg.sender, to, value);
        return true;
    }
    
    function transferFrom(address from, address to, uint256 value)
        public
        returns (bool success)
    {
        require(value <= balanceOf[from]);
        require(value <= allowance[from][msg.sender]);

        // allow feeless for the RED-BLUE uniswap pool
        if(whitelist[msg.sender]) return regular_transferFrom(from, to, value);
        else return burn_transferFrom(from, to, value); 

    }
    
    function burn_transferFrom(address from, address to, uint256 value) 
        private 
        returns (bool success) {
        // send 1% to the pooled ledger
        uint256 burned_amount = value.div(100);
        
        // remove from the spender's balance
        balanceOf[from] = balanceOf[from].sub(burned_amount);
        // increment the total pooled amount
        totalPooled = totalPooled.add(burned_amount);
        
        // burn allowance (for approved spenders)
        allowance[from][msg.sender] = allowance[from][msg.sender].sub(burned_amount);
        
        value = value.sub(burned_amount);
        
        // perform a normal transfer on the 99%
        return regular_transferFrom(from, to, value);
    }
    
    function regular_transferFrom(address from, address to, uint256 value) 
        private
        returns (bool success) {
        // transfer without adding to a pool
        balanceOf[from] = balanceOf[from].sub(value);
        balanceOf[to] = balanceOf[to].add(value);
        
        // remove allowance (for approved spenders)
        allowance[from][msg.sender] = allowance[from][msg.sender].sub(value);
        emit Transfer(from, to, value);
        return true;
    }
    
    // REDEEM AND BURN FUNCTIONS
    
    // amount = number of tokens to burn
    function redeem(uint256 amount) 
        public 
        profitable 
        returns (bool success) {
        // the amount must be less than the total amount pooled
        require(amount <= balanceOf[msg.sender]);
        require(totalPooled >= amount); 
    	uint256 num_redeemed = numberRedeemed(amount);
        
        // make sure the number available to be redeemed is smaller than the available pool
	    require(num_redeemed < totalPooled);
        balanceOf[msg.sender] = balanceOf[msg.sender].add(num_redeemed);
        
        emit Transfer(_owner, msg.sender, num_redeemed);
        totalPooled = totalPooled.sub(num_redeemed);
        
        // burn the amount sent
        return burn(amount);
    }
    
    function burn(uint256 value) 
        private 
        returns (bool success) {
        // burn from the user's ledger, transfer to 0x0
        balanceOf[msg.sender] = balanceOf[msg.sender].sub(value);  
        balanceOf[address(0)] = balanceOf[address(0)].add(value);
        emit Transfer(msg.sender, address(0), value);
        
        // remove the burned amount from the total supply
        totalSupply = totalSupply.sub(value);
        return true;
    }
    
    // APPROVAL FUNCTIONS
    
    event Approval(address indexed owner, address indexed spender, uint256 value);

    mapping(address => mapping(address => uint256)) public allowance;

    function approve(address spender, uint256 value)
        public
        returns (bool success)
    {
        allowance[msg.sender][spender] = value;
        emit Approval(msg.sender, spender, value);
        return true;
    }

}

• 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":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","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"},{"inputs":[],"name":"_owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_addr","type":"address"}],"name":"addToWhitelist","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"is_profitable","outputs":[{"internalType":"bool","name":"_profitable","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"numberRedeemed","outputs":[{"internalType":"uint256","name":"profit","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"redeem","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_addr","type":"address"}],"name":"removeFromWhitelist","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalPooled","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":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"whitelist","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"}]

60806040526040518060400160405280600d81526020017f486578612050726f746f636f6c000000000000000000000000000000000000008152506003908051906020019062000051929190620003a2565b506040518060400160405280600481526020017f4845584100000000000000000000000000000000000000000000000000000000815250600490805190602001906200009f929190620003a2565b506012600560006101000a81548160ff021916908360ff160217905550600560009054906101000a900460ff1660ff16600a0a6298968002600655348015620000e757600080fd5b50336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055503373ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3600560009054906101000a900460ff1660ff16600a0a603202600781905550620001c06007546006546200028c60201b6200145f1790919060201c565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620002716007546006546200028c60201b6200145f1790919060201c565b6040518082815260200191505060405180910390a362000448565b6000620002d683836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250620002de60201b60201c565b905092915050565b60008383111582906200038f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b838110156200035357808201518184015260208101905062000336565b50505050905090810190601f168015620003815780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10620003e557805160ff191683800117855562000416565b8280016001018555821562000416579182015b8281111562000415578251825591602001919060010190620003f8565b5b50905062000425919062000429565b5090565b5b80821115620004445760008160009055506001016200042a565b5090565b6120f380620004586000396000f3fe608060405234801561001057600080fd5b506004361061012c5760003560e01c806395d89b41116100ad578063d756b90111610071578063d756b90114610568578063db006a75146105aa578063dd62ed3e146105ee578063e43252d714610666578063f2fde38b146106aa5761012c565b806395d89b41146103d35780639b19251a14610456578063a9059cbb146104b0578063b2bdfa7b14610514578063bcdf451c146105485761012c565b80636ec21cc8116100f45780636ec21cc8146102db57806370a08231146102f9578063715018a6146103515780638ab1d6811461035b5780638da5cb5b1461039f5761012c565b806306fdde0314610131578063095ea7b3146101b457806318160ddd1461021857806323b872dd14610236578063313ce567146102ba575b600080fd5b6101396106ee565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561017957808201518184015260208101905061015e565b50505050905090810190601f1680156101a65780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610200600480360360408110156101ca57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061078c565b60405180821515815260200191505060405180910390f35b61022061087e565b6040518082815260200191505060405180910390f35b6102a26004803603606081101561024c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610884565b60405180821515815260200191505060405180910390f35b6102c26109d4565b604051808260ff16815260200191505060405180910390f35b6102e36109e7565b6040518082815260200191505060405180910390f35b61033b6004803603602081101561030f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506109ed565b6040518082815260200191505060405180910390f35b610359610a05565b005b61039d6004803603602081101561037157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610b84565b005b6103a7610ca0565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6103db610cc9565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561041b578082015181840152602081019050610400565b50505050905090810190601f1680156104485780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6104986004803603602081101561046c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610d67565b60405180821515815260200191505060405180910390f35b6104fc600480360360408110156104c657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610d87565b60405180821515815260200191505060405180910390f35b61051c610e4b565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610550610e6f565b60405180821515815260200191505060405180910390f35b6105946004803603602081101561057e57600080fd5b8101908080359060200190929190505050610e91565b6040518082815260200191505060405180910390f35b6105d6600480360360208110156105c057600080fd5b8101908080359060200190929190505050610ee2565b60405180821515815260200191505060405180910390f35b6106506004803603604081101561060457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061111a565b6040518082815260200191505060405180910390f35b6106a86004803603602081101561067c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061113f565b005b6106ec600480360360208110156106c057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061125b565b005b60038054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156107845780601f1061075957610100808354040283529160200191610784565b820191906000526020600020905b81548152906001019060200180831161076757829003601f168201915b505050505081565b600081600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b60065481565b6000600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156108d257600080fd5b600860008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561095b57600080fd5b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16156109bf576109b88484846114a9565b90506109cd565b6109ca848484611754565b90505b9392505050565b600560009054906101000a900460ff1681565b60075481565b60016020528060005260406000206000915090505481565b3373ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610ac6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b3373ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610c45576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b6000600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60048054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610d5f5780601f10610d3457610100808354040283529160200191610d5f565b820191906000526020600020905b815481529060010190602001808311610d4257829003601f168201915b505050505081565b60026020528060005260406000206000915054906101000a900460ff1681565b600081600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610dd557600080fd5b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615610e3857610e318383611956565b9050610e45565b610e428383611af1565b90505b92915050565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000610e8860075460065461145f90919063ffffffff16565b60075411905090565b600080610ea960075484611be290919063ffffffff16565b90506000610ec460075460065461145f90919063ffffffff16565b9050610ed98183611c6890919063ffffffff16565b92505050919050565b6000610eec610e6f565b610f5e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f52656465656d696e67206973206e6f74207965742070726f66697461626c652e81525060200191505060405180910390fd5b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115610faa57600080fd5b816007541015610fb957600080fd5b6000610fc483610e91565b90506007548110610fd457600080fd5b61102681600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cb290919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a36111038160075461145f90919063ffffffff16565b60078190555061111283611d3a565b915050919050565b6008602052816000526040600020602052806000526040600020600091509150505481565b3373ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611200576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b6001600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555050565b3373ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461131c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156113a2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260268152602001806120776026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60006114a183836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611ef0565b905092915050565b60006114fd82600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461145f90919063ffffffff16565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061159282600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cb290919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061166482600860008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461145f90919063ffffffff16565b600860008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b60008061176b606484611c6890919063ffffffff16565b90506117bf81600160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461145f90919063ffffffff16565b600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061181781600754611cb290919063ffffffff16565b6007819055506118ac81600860008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461145f90919063ffffffff16565b600860008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061193f818461145f90919063ffffffff16565b925061194c8585856114a9565b9150509392505050565b60006119aa82600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461145f90919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611a3f82600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cb290919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b600080611b08606484611c6890919063ffffffff16565b9050611b5c81600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461145f90919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611bb481600754611cb290919063ffffffff16565b600781905550611bcd818461145f90919063ffffffff16565b9250611bd98484611956565b91505092915050565b600080831415611bf55760009050611c62565b6000828402905082848281611c0657fe5b0414611c5d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602181526020018061209d6021913960400191505060405180910390fd5b809150505b92915050565b6000611caa83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611fb0565b905092915050565b600080828401905083811015611d30576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b6000611d8e82600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461145f90919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611e2382600160008073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cb290919063ffffffff16565b600160008073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3611ee18260065461145f90919063ffffffff16565b60068190555060019050919050565b6000838311158290611f9d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015611f62578082015181840152602081019050611f47565b50505050905090810190601f168015611f8f5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b6000808311829061205c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015612021578082015181840152602081019050612006565b50505050905090810190601f16801561204e5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b50600083858161206857fe5b04905080915050939250505056fe4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061646472657373536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f77a26469706673582212203846df85d087be8a6d9bb3f5d6ec0fe2777de7df441bdcc955a239ebe9e9af6664736f6c634300060c0033

0x608060405234801561001057600080fd5b506004361061012c5760003560e01c806395d89b41116100ad578063d756b90111610071578063d756b90114610568578063db006a75146105aa578063dd62ed3e146105ee578063e43252d714610666578063f2fde38b146106aa5761012c565b806395d89b41146103d35780639b19251a14610456578063a9059cbb146104b0578063b2bdfa7b14610514578063bcdf451c146105485761012c565b80636ec21cc8116100f45780636ec21cc8146102db57806370a08231146102f9578063715018a6146103515780638ab1d6811461035b5780638da5cb5b1461039f5761012c565b806306fdde0314610131578063095ea7b3146101b457806318160ddd1461021857806323b872dd14610236578063313ce567146102ba575b600080fd5b6101396106ee565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561017957808201518184015260208101905061015e565b50505050905090810190601f1680156101a65780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610200600480360360408110156101ca57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061078c565b60405180821515815260200191505060405180910390f35b61022061087e565b6040518082815260200191505060405180910390f35b6102a26004803603606081101561024c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610884565b60405180821515815260200191505060405180910390f35b6102c26109d4565b604051808260ff16815260200191505060405180910390f35b6102e36109e7565b6040518082815260200191505060405180910390f35b61033b6004803603602081101561030f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506109ed565b6040518082815260200191505060405180910390f35b610359610a05565b005b61039d6004803603602081101561037157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610b84565b005b6103a7610ca0565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6103db610cc9565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561041b578082015181840152602081019050610400565b50505050905090810190601f1680156104485780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6104986004803603602081101561046c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610d67565b60405180821515815260200191505060405180910390f35b6104fc600480360360408110156104c657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610d87565b60405180821515815260200191505060405180910390f35b61051c610e4b565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610550610e6f565b60405180821515815260200191505060405180910390f35b6105946004803603602081101561057e57600080fd5b8101908080359060200190929190505050610e91565b6040518082815260200191505060405180910390f35b6105d6600480360360208110156105c057600080fd5b8101908080359060200190929190505050610ee2565b60405180821515815260200191505060405180910390f35b6106506004803603604081101561060457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061111a565b6040518082815260200191505060405180910390f35b6106a86004803603602081101561067c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061113f565b005b6106ec600480360360208110156106c057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061125b565b005b60038054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156107845780601f1061075957610100808354040283529160200191610784565b820191906000526020600020905b81548152906001019060200180831161076757829003601f168201915b505050505081565b600081600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b60065481565b6000600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156108d257600080fd5b600860008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561095b57600080fd5b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16156109bf576109b88484846114a9565b90506109cd565b6109ca848484611754565b90505b9392505050565b600560009054906101000a900460ff1681565b60075481565b60016020528060005260406000206000915090505481565b3373ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610ac6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b3373ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610c45576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b6000600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60048054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610d5f5780601f10610d3457610100808354040283529160200191610d5f565b820191906000526020600020905b815481529060010190602001808311610d4257829003601f168201915b505050505081565b60026020528060005260406000206000915054906101000a900460ff1681565b600081600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610dd557600080fd5b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615610e3857610e318383611956565b9050610e45565b610e428383611af1565b90505b92915050565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000610e8860075460065461145f90919063ffffffff16565b60075411905090565b600080610ea960075484611be290919063ffffffff16565b90506000610ec460075460065461145f90919063ffffffff16565b9050610ed98183611c6890919063ffffffff16565b92505050919050565b6000610eec610e6f565b610f5e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f52656465656d696e67206973206e6f74207965742070726f66697461626c652e81525060200191505060405180910390fd5b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115610faa57600080fd5b816007541015610fb957600080fd5b6000610fc483610e91565b90506007548110610fd457600080fd5b61102681600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cb290919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a36111038160075461145f90919063ffffffff16565b60078190555061111283611d3a565b915050919050565b6008602052816000526040600020602052806000526040600020600091509150505481565b3373ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611200576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b6001600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555050565b3373ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461131c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156113a2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260268152602001806120776026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60006114a183836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611ef0565b905092915050565b60006114fd82600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461145f90919063ffffffff16565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061159282600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cb290919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061166482600860008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461145f90919063ffffffff16565b600860008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b60008061176b606484611c6890919063ffffffff16565b90506117bf81600160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461145f90919063ffffffff16565b600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061181781600754611cb290919063ffffffff16565b6007819055506118ac81600860008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461145f90919063ffffffff16565b600860008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061193f818461145f90919063ffffffff16565b925061194c8585856114a9565b9150509392505050565b60006119aa82600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461145f90919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611a3f82600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cb290919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b600080611b08606484611c6890919063ffffffff16565b9050611b5c81600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461145f90919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611bb481600754611cb290919063ffffffff16565b600781905550611bcd818461145f90919063ffffffff16565b9250611bd98484611956565b91505092915050565b600080831415611bf55760009050611c62565b6000828402905082848281611c0657fe5b0414611c5d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602181526020018061209d6021913960400191505060405180910390fd5b809150505b92915050565b6000611caa83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611fb0565b905092915050565b600080828401905083811015611d30576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b6000611d8e82600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461145f90919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611e2382600160008073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611cb290919063ffffffff16565b600160008073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3611ee18260065461145f90919063ffffffff16565b60068190555060019050919050565b6000838311158290611f9d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015611f62578082015181840152602081019050611f47565b50505050905090810190601f168015611f8f5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b6000808311829061205c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015612021578082015181840152602081019050612006565b50505050905090810190601f16801561204e5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b50600083858161206857fe5b04905080915050939250505056fe4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061646472657373536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f77a26469706673582212203846df85d087be8a6d9bb3f5d6ec0fe2777de7df441bdcc955a239ebe9e9af6664736f6c634300060c0033

2387:6709:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2562:36;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8858:233;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;2674:65;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5652:423;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;2641:26;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;2746;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2459:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1978:148;;;:::i;:::-;;4138:124;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;1766:79;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;2605:29;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2511:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;4383:281;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;1516:21;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;3818:162;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;3474:278;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;7431:737;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;8785:64;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4008:118;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;2134:244;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;2562:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;8858:233::-;8941:12;9004:5;8971:9;:21;8981:10;8971:21;;;;;;;;;;;;;;;:30;8993:7;8971:30;;;;;;;;;;;;;;;:38;;;;9046:7;9025:36;;9034:10;9025:36;;;9055:5;9025:36;;;;;;;;;;;;;;;;;;9079:4;9072:11;;8858:233;;;;:::o;2674:65::-;;;;:::o;5652:423::-;5749:12;5796:9;:15;5806:4;5796:15;;;;;;;;;;;;;;;;5787:5;:24;;5779:33;;;;;;5840:9;:15;5850:4;5840:15;;;;;;;;;;;;;;;:27;5856:10;5840:27;;;;;;;;;;;;;;;;5831:5;:36;;5823:45;;;;;;5940:9;:21;5950:10;5940:21;;;;;;;;;;;;;;;;;;;;;;;;;5937:127;;;5970:37;5991:4;5997:2;6001:5;5970:20;:37::i;:::-;5963:44;;;;5937:127;6030:34;6048:4;6054:2;6058:5;6030:17;:34::i;:::-;6023:41;;5652:423;;;;;;:::o;2641:26::-;;;;;;;;;;;;;:::o;2746:::-;;;;:::o;2459:45::-;;;;;;;;;;;;;;;;;:::o;1978:148::-;1903:10;1893:20;;:6;;;;;;;;;;:20;;;1885:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2085:1:::1;2048:40;;2069:6;::::0;::::1;;;;;;;;2048:40;;;;;;;;;;;;2116:1;2099:6:::0;::::1;:19;;;;;;;;;;;;;;;;;;1978:148::o:0;4138:124::-;1903:10;1893:20;;:6;;;;;;;;;;:20;;;1885:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4249:5:::1;4230:9;:16;4240:5;4230:16;;;;;;;;;;;;;;;;:24;;;;;;;;;;;;;;;;;;4138:124:::0;:::o;1766:79::-;1804:7;1831:6;;;;;;;;;;;1824:13;;1766:79;:::o;2605:29::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2511:42::-;;;;;;;;;;;;;;;;;;;;;;:::o;4383:281::-;4464:12;4522:5;4497:9;:21;4507:10;4497:21;;;;;;;;;;;;;;;;:30;;4489:39;;;;;;4552:9;:21;4562:10;4552:21;;;;;;;;;;;;;;;;;;;;;;;;;4549:107;;;4582:27;4599:2;4603:5;4582:16;:27::i;:::-;4575:34;;;;4549:107;4632:24;4646:2;4650:5;4632:13;:24::i;:::-;4625:31;;4383:281;;;;;:::o;1516:21::-;;;;;;;;;;;;:::o;3818:162::-;3894:16;3944:28;3960:11;;3944;;:15;;:28;;;;:::i;:::-;3930:11;;:42;3923:49;;3818:162;:::o;3474:278::-;3565:14;3592:17;3612:23;3623:11;;3612:6;:10;;:23;;;;:::i;:::-;3592:43;;3648:19;3670:28;3686:11;;3670;;:15;;:28;;;;:::i;:::-;3648:50;;3718:26;3732:11;3718:9;:13;;:26;;;;:::i;:::-;3711:33;;;;3474:278;;;:::o;7431:737::-;7520:12;3306:15;:13;:15::i;:::-;3298:60;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7628:9:::1;:21;7638:10;7628:21;;;;;;;;;;;;;;;;7618:6;:31;;7610:40;;;::::0;::::1;;7684:6;7669:11;;:21;;7661:30;;;::::0;::::1;;7700:20;7723:22;7738:6;7723:14;:22::i;:::-;7700:45;;7879:11;;7864:12;:26;7856:35;;;::::0;::::1;;7926:39;7952:12;7926:9;:21;7936:10;7926:21;;;;;;;;;;;;;;;;:25;;:39;;;;:::i;:::-;7902:9;:21;7912:10;7902:21;;;;;;;;;;;;;;;:63;;;;8008:10;7991:42;;8000:6;::::0;::::1;;;;;;;;7991:42;;;8020:12;7991:42;;;;;;;;;;;;;;;;;;8058:29;8074:12;8058:11;;:15;;:29;;;;:::i;:::-;8044:11;:43;;;;8148:12;8153:6;8148:4;:12::i;:::-;8141:19;;;7431:737:::0;;;:::o;8785:64::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;4008:118::-;1903:10;1893:20;;:6;;;;;;;;;;:20;;;1885:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4114:4:::1;4095:9;:16;4105:5;4095:16;;;;;;;;;;;;;;;;:23;;;;;;;;;;;;;;;;;;4008:118:::0;:::o;2134:244::-;1903:10;1893:20;;:6;;;;;;;;;;:20;;;1885:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2243:1:::1;2223:22;;:8;:22;;;;2215:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2333:8;2304:38;;2325:6;::::0;::::1;;;;;;;;2304:38;;;;;;;;;;;;2362:8;2353:6;::::0;:17:::1;;;;;;;;;;;;;;;;;;2134:244:::0;:::o;240:136::-;298:7;325:43;329:1;332;325:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;318:50;;240:136;;;;:::o;6851:486::-;6958:12;7047:26;7067:5;7047:9;:15;7057:4;7047:15;;;;;;;;;;;;;;;;:19;;:26;;;;:::i;:::-;7029:9;:15;7039:4;7029:15;;;;;;;;;;;;;;;:44;;;;7100:24;7118:5;7100:9;:13;7110:2;7100:13;;;;;;;;;;;;;;;;:17;;:24;;;;:::i;:::-;7084:9;:13;7094:2;7084:13;;;;;;;;;;;;;;;:40;;;;7228:38;7260:5;7228:9;:15;7238:4;7228:15;;;;;;;;;;;;;;;:27;7244:10;7228:27;;;;;;;;;;;;;;;;:31;;:38;;;;:::i;:::-;7198:9;:15;7208:4;7198:15;;;;;;;;;;;;;;;:27;7214:10;7198:27;;;;;;;;;;;;;;;:68;;;;7297:2;7282:25;;7291:4;7282:25;;;7301:5;7282:25;;;;;;;;;;;;;;;;;;7325:4;7318:11;;6851:486;;;;;:::o;6087:752::-;6192:12;6258:21;6282:14;6292:3;6282:5;:9;;:14;;;;:::i;:::-;6258:38;;6381:34;6401:13;6381:9;:15;6391:4;6381:15;;;;;;;;;;;;;;;;:19;;:34;;;;:::i;:::-;6363:9;:15;6373:4;6363:15;;;;;;;;;;;;;;;:52;;;;6486:30;6502:13;6486:11;;:15;;:30;;;;:::i;:::-;6472:11;:44;;;;6618:46;6650:13;6618:9;:15;6628:4;6618:15;;;;;;;;;;;;;;;:27;6634:10;6618:27;;;;;;;;;;;;;;;;:31;;:46;;;;:::i;:::-;6588:9;:15;6598:4;6588:15;;;;;;;;;;;;;;;:27;6604:10;6588:27;;;;;;;;;;;;;;;:76;;;;6693:24;6703:13;6693:5;:9;;:24;;;;:::i;:::-;6685:32;;6794:37;6815:4;6821:2;6825:5;6794:20;:37::i;:::-;6787:44;;;6087:752;;;;;:::o;5281:359::-;5371:12;5459:32;5485:5;5459:9;:21;5469:10;5459:21;;;;;;;;;;;;;;;;:25;;:32;;;;:::i;:::-;5435:9;:21;5445:10;5435:21;;;;;;;;;;;;;;;:56;;;;5520:24;5538:5;5520:9;:13;5530:2;5520:13;;;;;;;;;;;;;;;;:17;;:24;;;;:::i;:::-;5504:9;:13;5514:2;5504:13;;;;;;;;;;;;;;;:40;;;;5600:2;5579:31;;5588:10;5579:31;;;5604:5;5579:31;;;;;;;;;;;;;;;;;;5628:4;5621:11;;5281:359;;;;:::o;4676:597::-;4763:12;4829:21;4853:14;4863:3;4853:5;:9;;:14;;;;:::i;:::-;4829:38;;4957:40;4983:13;4957:9;:21;4967:10;4957:21;;;;;;;;;;;;;;;;:25;;:40;;;;:::i;:::-;4933:9;:21;4943:10;4933:21;;;;;;;;;;;;;;;:64;;;;5068:30;5084:13;5068:11;;:15;;:30;;;;:::i;:::-;5054:11;:44;;;;5127:24;5137:13;5127:5;:9;;:24;;;;:::i;:::-;5119:32;;5238:27;5255:2;5259:5;5238:16;:27::i;:::-;5231:34;;;4676:597;;;;:::o;584:250::-;642:7;671:1;666;:6;662:47;;;696:1;689:8;;;;662:47;721:9;737:1;733;:5;721:17;;766:1;761;757;:5;;;;;;:10;749:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;825:1;818:8;;;584:250;;;;;:::o;842:132::-;900:7;927:39;931:1;934;927:39;;;;;;;;;;;;;;;;;:3;:39::i;:::-;920:46;;842:132;;;;:::o;51:181::-;109:7;129:9;145:1;141;:5;129:17;;170:1;165;:6;;157:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;223:1;216:8;;;51:181;;;;:::o;8180:474::-;8246:12;8352:32;8378:5;8352:9;:21;8362:10;8352:21;;;;;;;;;;;;;;;;:25;;:32;;;;:::i;:::-;8328:9;:21;8338:10;8328:21;;;;;;;;;;;;;;;:56;;;;8421:32;8447:5;8421:9;:21;8439:1;8421:21;;;;;;;;;;;;;;;;:25;;:32;;;;:::i;:::-;8397:9;:21;8415:1;8397:21;;;;;;;;;;;;;;;:56;;;;8498:1;8469:39;;8478:10;8469:39;;;8502:5;8469:39;;;;;;;;;;;;;;;;;;8602:22;8618:5;8602:11;;:15;;:22;;;;:::i;:::-;8588:11;:36;;;;8642:4;8635:11;;8180:474;;;:::o;384:192::-;470:7;503:1;498;:6;;506:12;490:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;530:9;546:1;542;:5;530:17;;567:1;560:8;;;384:192;;;;;:::o;982:191::-;1068:7;1100:1;1096;:5;1103:12;1088:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1127:9;1143:1;1139;:5;;;;;;1127:17;;1164:1;1157:8;;;982:191;;;;;:::o

ipfs://3846df85d087be8a6d9bb3f5d6ec0fe2777de7df441bdcc955a239ebe9e9af66