Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - 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 ...    - function owner()    - function renounceOwnership()    - function transferOwnership(address ne ...    - function rebase(uint256 epoch, uint25 ...    - function totalSupply()    - function balanceOf(address who)    - function transfer(address to, uint256 ...    - function allowance(address owner_, ad ...    - function transferFrom(address from, a ...    - function approve(address spender, uin ...    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// Blitz Finance-Alpha (BFI-A) Token is 1 of 4 index tokens aims to lay the 
    // foundation for a novel monetary regime that does not act under a monetary 
    // authority or require oversight, yet still is able to sustain macroeconomic 
    // stability.
    
    
    // BFI-A Token serves 2 major functions; 1) It allows its holders to stake it 
    // in return of stake rewards as BFI-Beta Token, 2) BFI-A Token supply depends 
    // on the price of BFI-T Token. 

        pragma solidity 0.6.0;
        
        library SafeMath {
            function add(uint256 a, uint256 b) internal pure returns (uint256) {
                uint256 c = a + b;
                require(c >= a, "SafeMath: addition overflow");
        
                return c;
            }
        
            function sub(uint256 a, uint256 b) internal pure returns (uint256) {
                return sub(a, b, "SafeMath: subtraction overflow");
            }
        
            function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
                require(b <= a, errorMessage);
                uint256 c = a - b;
        
                return c;
            }
        
            function mul(uint256 a, uint256 b) internal pure returns (uint256) {
                if (a == 0) {
                    return 0;
                }
        
                uint256 c = a * b;
                require(c / a == b, "SafeMath: multiplication overflow");
        
                return c;
            }
        
            function div(uint256 a, uint256 b) internal pure returns (uint256) {
                return div(a, b, "SafeMath: division by zero");
            }
        
            function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
                require(b > 0, errorMessage);
                uint256 c = a / b;
        
                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;
            }
        }

    // In order to absorb high volume demand shocks in the market, price
    // drops in BFI-T Token translates into burn of BFI-A Token supply on
    // each 24-hour cycles.

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

    // Staking rewards generated from BFI-Alpha staking are distributed in the form of BFI-Beta Token.
    // Liquidity pool provider’s to BFI-Alpha/BFI-Theta trading market are rewarded with BFI-Gamma Token.

        contract BFI_Alpha is Ownable {
        
            using SafeMath for uint256;
        
            event LogRebase(uint256 indexed epoch, uint256 totalSupply);
        
            modifier validRecipient(address to) {
                require(to != address(0x0));
                require(to != address(this));
                _;
            }
            
            event Transfer(address indexed from, address indexed to, uint256 value);
            event Approval(address indexed owner, address indexed spender, uint256 value);
        
            string public constant name = "BFI-Alpha";
            string public constant symbol = "BFI-A";
            uint256 public constant decimals = 12;
        
            uint256 private constant DECIMALS = 12;
            uint256 private constant MAX_UINT256 = ~uint256(0);
            uint256 private constant INITIAL_FRAGMENTS_SUPPLY = 6200000 * 10**DECIMALS;
        
            uint256 private constant TOTAL_GONS = MAX_UINT256 - (MAX_UINT256 % INITIAL_FRAGMENTS_SUPPLY);
        
            uint256 private constant MAX_SUPPLY = ~uint128(0);  // (2^128) - 1
        
            uint256 private _totalSupply;
            uint256 private _gonsPerFragment;
            mapping(address => uint256) private _gonBalances;
        
            mapping (address => mapping (address => uint256)) private _allowedFragments;
        
            function rebase(uint256 epoch, uint256 supplyDelta)
                external
                onlyOwner
                returns (uint256)
            {
                if (supplyDelta == 0) {
                    emit LogRebase(epoch, _totalSupply);
                    return _totalSupply;
                }
        
                 _totalSupply = _totalSupply.sub(supplyDelta);
        
                
                if (_totalSupply > MAX_SUPPLY) {
                    _totalSupply = MAX_SUPPLY;
                }
        
                _gonsPerFragment = TOTAL_GONS.div(_totalSupply);
        
                emit LogRebase(epoch, _totalSupply);
                return _totalSupply;
            }
        
            constructor() public override {
                _owner = msg.sender;
                
                _totalSupply = INITIAL_FRAGMENTS_SUPPLY;
                _gonBalances[_owner] = TOTAL_GONS;
                _gonsPerFragment = TOTAL_GONS.div(_totalSupply);
        
                emit Transfer(address(0x0), _owner, _totalSupply);
            }
        
            function totalSupply()
                public
                view
                returns (uint256)
            {
                return _totalSupply;
            }
        
            function balanceOf(address who)
                public
                view
                returns (uint256)
            {
                return _gonBalances[who].div(_gonsPerFragment);
            }
        
            function transfer(address to, uint256 value)
                public
                validRecipient(to)
                returns (bool)
            {
                uint256 gonValue = value.mul(_gonsPerFragment);
                _gonBalances[msg.sender] = _gonBalances[msg.sender].sub(gonValue);
                _gonBalances[to] = _gonBalances[to].add(gonValue);
                emit Transfer(msg.sender, to, value);
                return true;
            }
        
            function allowance(address owner_, address spender)
                public
                view
                returns (uint256)
            {
                return _allowedFragments[owner_][spender];
            }
        
            function transferFrom(address from, address to, uint256 value)
                public
                validRecipient(to)
                returns (bool)
            {
                _allowedFragments[from][msg.sender] = _allowedFragments[from][msg.sender].sub(value);
        
                uint256 gonValue = value.mul(_gonsPerFragment);
                _gonBalances[from] = _gonBalances[from].sub(gonValue);
                _gonBalances[to] = _gonBalances[to].add(gonValue);
                emit Transfer(from, to, value);
        
                return true;
            }
        
            function approve(address spender, uint256 value)
                public
                returns (bool)
            {
                _allowedFragments[msg.sender][spender] = value;
                emit Approval(msg.sender, spender, value);
                return true;
            }
        
            function increaseAllowance(address spender, uint256 addedValue)
                public
                returns (bool)
            {
                _allowedFragments[msg.sender][spender] =
                    _allowedFragments[msg.sender][spender].add(addedValue);
                emit Approval(msg.sender, spender, _allowedFragments[msg.sender][spender]);
                return true;
            }
        
            function decreaseAllowance(address spender, uint256 subtractedValue)
                public
                returns (bool)
            {
                uint256 oldValue = _allowedFragments[msg.sender][spender];
                if (subtractedValue >= oldValue) {
                    _allowedFragments[msg.sender][spender] = 0;
                } else {
                    _allowedFragments[msg.sender][spender] = oldValue.sub(subtractedValue);
                }
                emit Approval(msg.sender, spender, _allowedFragments[msg.sender][spender]);
                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":"uint256","name":"epoch","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"totalSupply","type":"uint256"}],"name":"LogRebase","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":"owner_","type":"address"},{"internalType":"address","name":"spender","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":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"who","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"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":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"epoch","type":"uint256"},{"internalType":"uint256","name":"supplyDelta","type":"uint256"}],"name":"rebase","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"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":"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":"","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":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60806040523480156200001157600080fd5b50336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055503373ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600c600a0a625e9ac002600181905550600c600a0a625e9ac002600019816200011257fe5b0660001903600360008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550620001b0600154600c600a0a625e9ac002600019816200019757fe5b06600019036200024560201b620018a81790919060201c565b6002819055506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6001546040518082815260200191505060405180910390a362000362565b60006200028f83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506200029760201b60201c565b905092915050565b6000808311829062000347576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b838110156200030b578082015181840152602081019050620002ee565b50505050905090810190601f168015620003395780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385816200035457fe5b049050809150509392505050565b611c0380620003726000396000f3fe608060405234801561001057600080fd5b50600436106101005760003560e01c8063715018a611610097578063a9059cbb11610066578063a9059cbb146104f7578063b2bdfa7b1461055d578063dd62ed3e146105a7578063f2fde38b1461061f57610100565b8063715018a6146103ba5780638da5cb5b146103c457806395d89b411461040e578063a457c2d71461049157610100565b806323b872dd116100d357806323b872dd14610258578063313ce567146102de57806339509351146102fc57806370a082311461036257610100565b8063058ecdb41461010557806306fdde0314610151578063095ea7b3146101d457806318160ddd1461023a575b600080fd5b61013b6004803603604081101561011b57600080fd5b810190808035906020019092919080359060200190929190505050610663565b6040518082815260200191505060405180910390f35b610159610842565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561019957808201518184015260208101905061017e565b50505050905090810190601f1680156101c65780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610220600480360360408110156101ea57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061087b565b604051808215151515815260200191505060405180910390f35b61024261096d565b6040518082815260200191505060405180910390f35b6102c46004803603606081101561026e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610977565b604051808215151515815260200191505060405180910390f35b6102e6610cb1565b6040518082815260200191505060405180910390f35b6103486004803603604081101561031257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610cb6565b604051808215151515815260200191505060405180910390f35b6103a46004803603602081101561037857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610eb2565b6040518082815260200191505060405180910390f35b6103c2610f0f565b005b6103cc611090565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6104166110b9565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561045657808201518184015260208101905061043b565b50505050905090810190601f1680156104835780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6104dd600480360360408110156104a757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506110f2565b604051808215151515815260200191505060405180910390f35b6105436004803603604081101561050d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611382565b604051808215151515815260200191505060405180910390f35b6105656115ac565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610609600480360360408110156105bd57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506115d1565b6040518082815260200191505060405180910390f35b6106616004803603602081101561063557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611658565b005b60003373ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610727576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600082141561077457827f72725a3b1e5bd622d6bcd1339bb31279c351abe8f541ac7fd320f24e1b1641f26001546040518082815260200191505060405180910390a2600154905061083c565b6107898260015461185e90919063ffffffff16565b6001819055506000196fffffffffffffffffffffffffffffffff1660015411156107c9576000196fffffffffffffffffffffffffffffffff166001819055505b6107f6600154600c600a0a625e9ac002600019816107e357fe5b06600019036118a890919063ffffffff16565b600281905550827f72725a3b1e5bd622d6bcd1339bb31279c351abe8f541ac7fd320f24e1b1641f26001546040518082815260200191505060405180910390a260015490505b92915050565b6040518060400160405280600981526020017f4246492d416c706861000000000000000000000000000000000000000000000081525081565b600081600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600154905090565b600082600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156109b457600080fd5b3073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156109ed57600080fd5b610a7c83600460008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461185e90919063ffffffff16565b600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000610b13600254856118f290919063ffffffff16565b9050610b6781600360008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461185e90919063ffffffff16565b600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610bfc81600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197890919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508473ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef866040518082815260200191505060405180910390a36001925050509392505050565b600c81565b6000610d4782600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197890919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6000610f08600254600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546118a890919063ffffffff16565b9050919050565b3373ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610fd1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6040518060400160405280600581526020017f4246492d4100000000000000000000000000000000000000000000000000000081525081565b600080600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050808310611202576000600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611296565b611215838261185e90919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b8373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600191505092915050565b600082600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156113bf57600080fd5b3073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156113f857600080fd5b600061140f600254856118f290919063ffffffff16565b905061146381600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461185e90919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506114f881600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197890919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508473ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef866040518082815260200191505060405180910390a360019250505092915050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b3373ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461171a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156117a0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526026815260200180611b876026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60006118a083836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611a00565b905092915050565b60006118ea83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611ac0565b905092915050565b6000808314156119055760009050611972565b600082840290508284828161191657fe5b041461196d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180611bad6021913960400191505060405180910390fd5b809150505b92915050565b6000808284019050838110156119f6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b6000838311158290611aad576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015611a72578082015181840152602081019050611a57565b50505050905090810190601f168015611a9f5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b60008083118290611b6c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015611b31578082015181840152602081019050611b16565b50505050905090810190601f168015611b5e5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b506000838581611b7857fe5b04905080915050939250505056fe4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061646472657373536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f77a264697066735822122037bd2e48efaf8306bfb21867def9ad4ce915bafed9f9a91e43a5b7f61a35ba1e64736f6c63430006000033

0x608060405234801561001057600080fd5b50600436106101005760003560e01c8063715018a611610097578063a9059cbb11610066578063a9059cbb146104f7578063b2bdfa7b1461055d578063dd62ed3e146105a7578063f2fde38b1461061f57610100565b8063715018a6146103ba5780638da5cb5b146103c457806395d89b411461040e578063a457c2d71461049157610100565b806323b872dd116100d357806323b872dd14610258578063313ce567146102de57806339509351146102fc57806370a082311461036257610100565b8063058ecdb41461010557806306fdde0314610151578063095ea7b3146101d457806318160ddd1461023a575b600080fd5b61013b6004803603604081101561011b57600080fd5b810190808035906020019092919080359060200190929190505050610663565b6040518082815260200191505060405180910390f35b610159610842565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561019957808201518184015260208101905061017e565b50505050905090810190601f1680156101c65780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610220600480360360408110156101ea57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061087b565b604051808215151515815260200191505060405180910390f35b61024261096d565b6040518082815260200191505060405180910390f35b6102c46004803603606081101561026e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610977565b604051808215151515815260200191505060405180910390f35b6102e6610cb1565b6040518082815260200191505060405180910390f35b6103486004803603604081101561031257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610cb6565b604051808215151515815260200191505060405180910390f35b6103a46004803603602081101561037857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610eb2565b6040518082815260200191505060405180910390f35b6103c2610f0f565b005b6103cc611090565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6104166110b9565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561045657808201518184015260208101905061043b565b50505050905090810190601f1680156104835780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6104dd600480360360408110156104a757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506110f2565b604051808215151515815260200191505060405180910390f35b6105436004803603604081101561050d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611382565b604051808215151515815260200191505060405180910390f35b6105656115ac565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610609600480360360408110156105bd57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506115d1565b6040518082815260200191505060405180910390f35b6106616004803603602081101561063557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611658565b005b60003373ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610727576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600082141561077457827f72725a3b1e5bd622d6bcd1339bb31279c351abe8f541ac7fd320f24e1b1641f26001546040518082815260200191505060405180910390a2600154905061083c565b6107898260015461185e90919063ffffffff16565b6001819055506000196fffffffffffffffffffffffffffffffff1660015411156107c9576000196fffffffffffffffffffffffffffffffff166001819055505b6107f6600154600c600a0a625e9ac002600019816107e357fe5b06600019036118a890919063ffffffff16565b600281905550827f72725a3b1e5bd622d6bcd1339bb31279c351abe8f541ac7fd320f24e1b1641f26001546040518082815260200191505060405180910390a260015490505b92915050565b6040518060400160405280600981526020017f4246492d416c706861000000000000000000000000000000000000000000000081525081565b600081600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600154905090565b600082600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156109b457600080fd5b3073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156109ed57600080fd5b610a7c83600460008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461185e90919063ffffffff16565b600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000610b13600254856118f290919063ffffffff16565b9050610b6781600360008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461185e90919063ffffffff16565b600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610bfc81600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197890919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508473ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef866040518082815260200191505060405180910390a36001925050509392505050565b600c81565b6000610d4782600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197890919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6000610f08600254600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546118a890919063ffffffff16565b9050919050565b3373ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610fd1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6040518060400160405280600581526020017f4246492d4100000000000000000000000000000000000000000000000000000081525081565b600080600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050808310611202576000600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611296565b611215838261185e90919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b8373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600191505092915050565b600082600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156113bf57600080fd5b3073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156113f857600080fd5b600061140f600254856118f290919063ffffffff16565b905061146381600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461185e90919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506114f881600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461197890919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508473ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef866040518082815260200191505060405180910390a360019250505092915050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b3373ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461171a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156117a0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526026815260200180611b876026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60006118a083836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611a00565b905092915050565b60006118ea83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611ac0565b905092915050565b6000808314156119055760009050611972565b600082840290508284828161191657fe5b041461196d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180611bad6021913960400191505060405180910390fd5b809150505b92915050565b6000808284019050838110156119f6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b6000838311158290611aad576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015611a72578082015181840152602081019050611a57565b50505050905090810190601f168015611a9f5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b60008083118290611b6c576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015611b31578082015181840152602081019050611b16565b50505050905090810190601f168015611b5e5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b506000838581611b7857fe5b04905080915050939250505056fe4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061646472657373536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f77a264697066735822122037bd2e48efaf8306bfb21867def9ad4ce915bafed9f9a91e43a5b7f61a35ba1e64736f6c63430006000033

3928:5702:0:-:0;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3928:5702:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5358:726;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5358:726:0;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4499:41;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;4499:41:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8267:289;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8267:289:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6488:171;;;:::i;:::-;;;;;;;;;;;;;;;;;;;7652:591;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7652:591:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4609:37;;;:::i;:::-;;;;;;;;;;;;;;;;;;;8580:407;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8580:407:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6683:207;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6683:207:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3218:172;;;:::i;:::-;;2934:95;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4555:39;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;4555:39:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9011:608;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9011:608:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6914:468;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6914:468:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;2612:21;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7406:222;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7406:222:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3414:276;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3414:276:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;5358:726;5489:7;3111:10;3101:20;;:6;;;;;;;;;;;:20;;;3093:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5549:1:::1;5534:11;:16;5530:142;;;5590:5;5580:30;5597:12;;5580:30;;;;;;;;;;;;;;;;;;5640:12;;5633:19;;;;5530:142;5716:29;5733:11;5716:12;;:16;;:29;;;;:::i;:::-;5701:12;:44;;;;5052:1;5043:11;5811:10;;5796:12;;:25;5792:99;;;5052:1;5043:11;5861:10;;5846:12;:25;;;;5792:99;5938:28;5953:12;;4707:2;4851;:12;4841:7;:22;4772:1;4763:11;4941:38;;;;;;4772:1;4763:11;4926:54;5938:14;;:28;;;;:::i;:::-;5919:16;:47;;;;6010:5;6000:30;6017:12;;6000:30;;;;;;;;;;;;;;;;;;6056:12;;6049:19;;3177:1;5358:726:::0;;;;:::o;4499:41::-;;;;;;;;;;;;;;;;;;;:::o;8267:289::-;8366:4;8445:5;8404:17;:29;8422:10;8404:29;;;;;;;;;;;;;;;:38;8434:7;8404:38;;;;;;;;;;;;;;;:46;;;;8495:7;8474:36;;8483:10;8474:36;;;8504:5;8474:36;;;;;;;;;;;;;;;;;;8536:4;8529:11;;8267:289;;;;:::o;6488:171::-;6583:7;6631:12;;6624:19;;6488:171;:::o;7652:591::-;7801:4;7771:2;4195:3;4181:18;;:2;:18;;;;4173:27;;;;;;4241:4;4227:19;;:2;:19;;;;4219:28;;;;;;7877:46:::1;7917:5;7877:17;:23;7895:4;7877:23;;;;;;;;;;;;;;;:35;7901:10;7877:35;;;;;;;;;;;;;;;;:39;;:46;;;;:::i;:::-;7839:17;:23;7857:4;7839:23;;;;;;;;;;;;;;;:35;7863:10;7839:35;;;;;;;;;;;;;;;:84;;;;7952:16;7971:27;7981:16;;7971:5;:9;;:27;;;;:::i;:::-;7952:46;;8038:32;8061:8;8038:12;:18;8051:4;8038:18;;;;;;;;;;;;;;;;:22;;:32;;;;:::i;:::-;8017:12;:18;8030:4;8017:18;;;;;;;;;;;;;;;:53;;;;8108:30;8129:8;8108:12;:16;8121:2;8108:16;;;;;;;;;;;;;;;;:20;;:30;;;;:::i;:::-;8089:12;:16;8102:2;8089:16;;;;;;;;;;;;;;;:49;;;;8177:2;8162:25;;8171:4;8162:25;;;8181:5;8162:25;;;;;;;;;;;;;;;;;;8223:4;8216:11;;;7652:591:::0;;;;;;:::o;4609:37::-;4644:2;4609:37;:::o;8580:407::-;8694:4;8794:54;8837:10;8794:17;:29;8812:10;8794:29;;;;;;;;;;;;;;;:38;8824:7;8794:38;;;;;;;;;;;;;;;;:42;;:54;;;;:::i;:::-;8732:17;:29;8750:10;8732:29;;;;;;;;;;;;;;;:38;8762:7;8732:38;;;;;;;;;;;;;;;:116;;;;8893:7;8872:69;;8881:10;8872:69;;;8902:17;:29;8920:10;8902:29;;;;;;;;;;;;;;;:38;8932:7;8902:38;;;;;;;;;;;;;;;;8872:69;;;;;;;;;;;;;;;;;;8967:4;8960:11;;8580:407;;;;:::o;6683:207::-;6787:7;6835:39;6857:16;;6835:12;:17;6848:3;6835:17;;;;;;;;;;;;;;;;:21;;:39;;;;:::i;:::-;6828:46;;6683:207;;;:::o;3218:172::-;3111:10;3101:20;;:6;;;;;;;;;;;:20;;;3093:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3333:1:::1;3296:40;;3317:6;::::0;::::1;;;;;;;;;3296:40;;;;;;;;;;;;3372:1;3355:6:::0;::::1;:19;;;;;;;;;;;;;;;;;;3218:172::o:0;2934:95::-;2972:7;3007:6;;;;;;;;;;;3000:13;;2934:95;:::o;4555:39::-;;;;;;;;;;;;;;;;;;;:::o;9011:608::-;9130:4;9168:16;9187:17;:29;9205:10;9187:29;;;;;;;;;;;;;;;:38;9217:7;9187:38;;;;;;;;;;;;;;;;9168:57;;9267:8;9248:15;:27;9244:237;;9341:1;9300:17;:29;9318:10;9300:29;;;;;;;;;;;;;;;:38;9330:7;9300:38;;;;;;;;;;;;;;;:42;;;;9244:237;;;9432:29;9445:15;9432:8;:12;;:29;;;;:::i;:::-;9391:17;:29;9409:10;9391:29;;;;;;;;;;;;;;;:38;9421:7;9391:38;;;;;;;;;;;;;;;:70;;;;9244:237;9525:7;9504:69;;9513:10;9504:69;;;9534:17;:29;9552:10;9534:29;;;;;;;;;;;;;;;:38;9564:7;9534:38;;;;;;;;;;;;;;;;9504:69;;;;;;;;;;;;;;;;;;9599:4;9592:11;;;9011:608;;;;:::o;6914:468::-;7045:4;7015:2;4195:3;4181:18;;:2;:18;;;;4173:27;;;;;;4241:4;4227:19;;:2;:19;;;;4219:28;;;;;;7083:16:::1;7102:27;7112:16;;7102:5;:9;;:27;;;;:::i;:::-;7083:46;;7175:38;7204:8;7175:12;:24;7188:10;7175:24;;;;;;;;;;;;;;;;:28;;:38;;;;:::i;:::-;7148:12;:24;7161:10;7148:24;;;;;;;;;;;;;;;:65;;;;7251:30;7272:8;7251:12;:16;7264:2;7251:16;;;;;;;;;;;;;;;;:20;;:30;;;;:::i;:::-;7232:12;:16;7245:2;7232:16;;;;;;;;;;;;;;;:49;;;;7326:2;7305:31;;7314:10;7305:31;;;7330:5;7305:31;;;;;;;;;;;;;;;;;;7362:4;7355:11;;;6914:468:::0;;;;;:::o;2612:21::-;;;;;;;;;;;;;:::o;7406:222::-;7530:7;7578:17;:25;7596:6;7578:25;;;;;;;;;;;;;;;:34;7604:7;7578:34;;;;;;;;;;;;;;;;7571:41;;7406:222;;;;:::o;3414:276::-;3111:10;3101:20;;:6;;;;;;;;;;;:20;;;3093:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3531:1:::1;3511:22;;:8;:22;;;;3503:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3629:8;3600:38;;3621:6;::::0;::::1;;;;;;;;;3600:38;;;;;;;;;;;;3666:8;3657:6;::::0;:17:::1;;;;;;;;;;;;;;;;;;3414:276:::0;:::o;812:152::-;870:7;905:43;909:1;912;905:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;898:50;;812:152;;;;:::o;1590:148::-;1648:7;1683:39;1687:1;1690;1683:39;;;;;;;;;;;;;;;;;:3;:39::i;:::-;1676:46;;1590:148;;;;:::o;1244:322::-;1302:7;1339:1;1334;:6;1330:63;;;1372:1;1365:8;;;;1330:63;1421:9;1437:1;1433;:5;1421:17;;1474:1;1469;1465;:5;;;;;;:10;1457:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1549:1;1542:8;;;1244:322;;;;;:::o;567:221::-;625:7;653:9;669:1;665;:5;653:17;;702:1;697;:6;;689:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;771:1;764:8;;;567:221;;;;:::o;988:232::-;1074:7;1115:1;1110;:6;;1118:12;1102:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;1102:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1150:9;1166:1;1162;:5;1150:17;;1203:1;1196:8;;;988:232;;;;;:::o;1762:231::-;1848:7;1888:1;1884;:5;1891:12;1876:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;1876:28:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1923:9;1939:1;1935;:5;;;;;;1923:17;;1976:1;1969:8;;;1762:231;;;;;:::o

ipfs://37bd2e48efaf8306bfb21867def9ad4ce915bafed9f9a91e43a5b7f61a35ba1e