Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
•  contract Pausable
•    - function paused()
•    - function _pause()
•    - function _unpause()
•  contract AgorasToken is IERC20, Pa ... *
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
•    - function _approve(address owner, addr ...
•    - function _transfer(address sender, ad ...
•    - function increaseAllowance(address sp ...
•    - function decreaseAllowance(address sp ...
•    - function _beforeTokenTransfer()
•    - function pause()
•    - function unpause()
•    - function mint(uint256 amount)
•    - function updateNameSymbol(string call ...
•    - function isLocked(address addr)
•    - function addLock(address addr)
•    - function removeLock(address addr)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2021-02-01
*/

// SPDX-License-Identifier: MIT
pragma solidity >=0.6.0 <=0.8.0;

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

contract Pausable {
        event Paused();
        event Unpaused();
        bool private _paused;
        constructor ()                                  { _paused = false; }
        function paused() public view returns (bool)    { return _paused; }
        modifier whenNotPaused()                        { require(!_paused, "Pausable: paused"); _; }
        modifier whenPaused()                           { require(_paused, "Pausable: not paused"); _; }
        function _pause() internal virtual whenNotPaused{ _paused = true; emit Paused(); }
        function _unpause() internal virtual whenPaused { _paused = false; emit Unpaused(); }
}

contract AgorasToken is IERC20, Pausable {
        mapping (address => uint256) private _balances;
        mapping (address => mapping (address => uint256)) private _allowances;
        mapping (address => bool) private _locked;
        uint256 private _totalSupply;
        string private _name;
        string private _symbol;
        uint8 private _decimals;
        address private _owner;

        constructor() {
                _name = 'Agoras Token';
                _symbol = 'AGRS';
                _decimals = 8;
                _totalSupply = 42000000 * (10**_decimals);
                _balances[msg.sender] = _totalSupply;
                _owner = msg.sender;
        }

        function name() public view returns (string memory)     { return _name; }
        function symbol() public view returns (string memory) { return _symbol; }
        function decimals() public view returns (uint8) { return _decimals; }
        function totalSupply() public view override returns (uint256) { return _totalSupply; }
        function balanceOf(address account) public view override returns (uint256) { return _balances[account]; }
        function transfer(address recipient, uint256 amount) public virtual override returns (bool) {
                require(!_locked[msg.sender], "AgorasToken locked sender");
                _transfer(msg.sender, recipient, amount);
                return true;
        }
        function allowance(address owner, address spender) public view virtual override returns (uint256) {
                return _allowances[owner][spender];
        }
        function approve(address spender, uint256 amount) public virtual override returns (bool) {
                _approve(msg.sender, spender, amount);
                return true;
        }

        function transferFrom(address sender, address recipient, uint256 amount) public virtual override returns (bool) {
                require(!_locked[sender], "AgorasToken locked from sender");
                require(_allowances[sender][msg.sender] >= amount, "AgorasToken transfer amount exceeds allowance");
                _approve(sender, msg.sender, _allowances[sender][msg.sender] - amount);
                _transfer(sender, recipient, amount);
                return true;
        }

        function _approve(address owner, address spender, uint256 amount) internal virtual {
                require(owner != address(0), "AgorasToken approve from the zero address");
                require(spender != address(0), "AgorasToken approve to the zero address");
                _allowances[owner][spender] = amount;
                emit Approval(owner, spender, amount);
        }

        function _transfer(address sender, address recipient, uint256 amount) internal virtual {
                //_beforeTokenTransfer();
                require(paused() == false, "AgorasToken is Paused");
                require(sender != address(0), "AgorasToken transfer from the zero address");
                require(recipient != address(0), "AgorasToken transfer to the zero address");
                require(_balances[sender] >= amount, "AgorasToken transfer amount exceeds balance");
                require(_balances[recipient] + amount >= _balances[recipient], "AgorasToken addition overflow");

                _balances[sender] -= amount;
                _balances[recipient] += amount;
                emit Transfer(sender, recipient, amount);
        }

        function increaseAllowance(address spender, uint256 addedValue) public virtual returns (bool) {
                uint256 c = _allowances[msg.sender][spender] + addedValue;
                require(c >= _allowances[msg.sender][spender], "AgorasToken addition overflow");
                _approve(msg.sender, spender, c);
                return true;
        }

        function decreaseAllowance(address spender, uint256 subtractedValue) public virtual returns (bool) {
                require(_allowances[msg.sender][spender] >= subtractedValue, "AgorasToken decreased allowance below zero");
                _approve(msg.sender, spender, _allowances[msg.sender][spender] - subtractedValue);
                return true;
        }

        function _beforeTokenTransfer() internal virtual { }

        function pause()  public virtual returns (bool) {
                require(msg.sender == _owner, "AgorasToken: pause request from non owner");
                _pause();
                return true;
        }

        function unpause() public virtual returns (bool) {
                require(msg.sender == _owner, "AgorasToken: unpause request from non owner");
                _unpause();
                return true;
        }

        event Mint(uint256 amount);

        function mint(uint256 amount) public virtual returns (bool) {
                require(paused()==false, "AgorasToken is Paused");
                require(msg.sender == _owner, "AgorasToken: mint from non owner ");
                require(_totalSupply + amount >= _totalSupply, "AgorasToken addition overflow");
                require(_balances[_owner] + amount >= amount, "AgorasToken addition overflow");
                _totalSupply += amount;
                _balances[_owner] += amount;
                emit Mint(amount);
                return true;
        }

        function updateNameSymbol(string calldata newname, string calldata newsymbol) public virtual returns (bool) {
                require(paused()==false, "AgorasToken is Paused");
                require(msg.sender == _owner, "AgorasToken: update from non owner");
                require(bytes(newname).length <= 32, "AgorasToken: name too long");
                require(bytes(newname).length > 0, "AgorasToken: empty name");
                require(bytes(newsymbol).length <= 8, "AgorasToken: symbol too long");
                require(bytes(newsymbol).length > 0, "AgorasToken: empty symbol");
                _name = newname;
                _symbol = newsymbol;
                return true;
        }

        function isLocked(address addr) public virtual returns (bool) {
                return _locked[addr];
        }

        function addLock(address addr) public virtual returns (bool) {
                require(paused()==false, "AgorasToken is Paused");
                require(msg.sender == _owner, "AgorasToken: update from non owner");
                _locked[addr] = true;
                emit Locked(addr);
                return true;
        }

        function removeLock(address addr) public virtual returns (bool) {
                require(paused()==false, "AgorasToken is Paused");
                require(msg.sender == _owner, "AgorasToken: update from non owner");
                _locked[addr] = false;
                emit Unlocked(addr);
                return true;
        }

        event Locked(address addr);
        event Unlocked(address addr);
}

• 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":false,"internalType":"address","name":"addr","type":"address"}],"name":"Locked","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Mint","type":"event"},{"anonymous":false,"inputs":[],"name":"Paused","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"addr","type":"address"}],"name":"Unlocked","type":"event"},{"anonymous":false,"inputs":[],"name":"Unpaused","type":"event"},{"inputs":[{"internalType":"address","name":"addr","type":"address"}],"name":"addLock","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","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":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","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":[{"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":[{"internalType":"address","name":"addr","type":"address"}],"name":"isLocked","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"mint","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":"pause","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"paused","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"addr","type":"address"}],"name":"removeLock","outputs":[{"internalType":"bool","name":"","type":"bool"}],"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":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"unpause","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"string","name":"newname","type":"string"},{"internalType":"string","name":"newsymbol","type":"string"}],"name":"updateNameSymbol","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

60806040523480156200001157600080fd5b506000805460ff1916905560408051808201909152600c8082526b20b3b7b930b9902a37b5b2b760a11b60209092019182526200005191600591620000e8565b50604080518082019091526004808252634147525360e01b60209092019182526200007f91600691620000e8565b506007805460ff1916600817908190556200009f9060ff16600a620001db565b620000af90630280de80620002d3565b60048190553360008181526001602052604090209190915560078054610100600160a81b03191661010090920291909117905562000348565b828054620000f690620002f5565b90600052602060002090601f0160209004810192826200011a576000855562000165565b82601f106200013557805160ff191683800117855562000165565b8280016001018555821562000165579182015b828111156200016557825182559160200191906001019062000148565b506200017392915062000177565b5090565b5b8082111562000173576000815560010162000178565b80825b6001808611620001a25750620001d2565b818704821115620001b757620001b762000332565b80861615620001c557918102915b9490941c93800262000191565b94509492505050565b6000620001ef60001960ff851684620001f6565b9392505050565b6000826200020757506001620001ef565b816200021657506000620001ef565b81600181146200022f57600281146200023a576200026e565b6001915050620001ef565b60ff8411156200024e576200024e62000332565b6001841b91508482111562000267576200026762000332565b50620001ef565b5060208310610133831016604e8410600b8410161715620002a6575081810a83811115620002a057620002a062000332565b620001ef565b620002b584848460016200018e565b808604821115620002ca57620002ca62000332565b02949350505050565b6000816000190483118215151615620002f057620002f062000332565b500290565b6002810460018216806200030a57607f821691505b602082108114156200032c57634e487b7160e01b600052602260045260246000fd5b50919050565b634e487b7160e01b600052601160045260246000fd5b61155180620003586000396000f3fe608060405234801561001057600080fd5b50600436106101215760003560e01c80635c975abb116100ad578063a0712d6811610071578063a0712d6814610220578063a457c2d714610233578063a9059cbb14610246578063bf85223714610259578063dd62ed3e1461026c57610121565b80635c975abb146101e257806370a08231146101ea5780638456cb59146101fd578063882f327b1461020557806395d89b411461021857610121565b8063313ce567116100f4578063313ce5671461018c57806339509351146101a15780633f4ba83a146101b45780634a387bef146101bc5780634a4fbeec146101cf57610121565b806306fdde0314610126578063095ea7b31461014457806318160ddd1461016457806323b872dd14610179575b600080fd5b61012e61027f565b60405161013b9190610f0e565b60405180910390f35b610157610152366004610e45565b610311565b60405161013b9190610f03565b61016c610327565b60405161013b9190611484565b610157610187366004610e0a565b61032d565b610194610402565b60405161013b919061148d565b6101576101af366004610e45565b61040b565b61015761048d565b6101576101ca366004610db7565b6104cd565b6101576101dd366004610db7565b610584565b6101576105a2565b61016c6101f8366004610db7565b6105ab565b6101576105c6565b610157610213366004610db7565b610600565b61012e6106a9565b61015761022e366004610ed7565b6106b8565b610157610241366004610e45565b6107ff565b610157610254366004610e45565b610878565b610157610267366004610e6e565b6108b3565b61016c61027a366004610dd8565b6109aa565b60606005805461028e906114ca565b80601f01602080910402602001604051908101604052809291908181526020018280546102ba906114ca565b80156103075780601f106102dc57610100808354040283529160200191610307565b820191906000526020600020905b8154815290600101906020018083116102ea57829003601f168201915b5050505050905090565b600061031e3384846109d5565b50600192915050565b60045490565b6001600160a01b03831660009081526003602052604081205460ff161561036f5760405162461bcd60e51b815260040161036690611241565b60405180910390fd5b6001600160a01b03841660009081526002602090815260408083203384529091529020548211156103b25760405162461bcd60e51b81526004016103669061109a565b6001600160a01b0384166000908152600260209081526040808320338085529252909120546103ed9186916103e89086906114b3565b6109d5565b6103f8848484610a89565b5060019392505050565b60075460ff1690565b3360009081526002602090815260408083206001600160a01b0386168452909152812054819061043c90849061149b565b3360009081526002602090815260408083206001600160a01b03891684529091529020549091508110156104825760405162461bcd60e51b81526004016103669061144d565b6103f83385836109d5565b60075460009061010090046001600160a01b031633146104bf5760405162461bcd60e51b815260040161036690611008565b6104c7610c12565b50600190565b60006104d76105a2565b156104f45760405162461bcd60e51b8152600401610366906110e7565b60075461010090046001600160a01b031633146105235760405162461bcd60e51b815260040161036690610f61565b6001600160a01b03821660009081526003602052604090819020805460ff19169055517f7e6adfec7e3f286831a0200a754127c171a2da564078722cb97704741bbdb0ea90610573908490610eef565b60405180910390a15060015b919050565b6001600160a01b031660009081526003602052604090205460ff1690565b60005460ff1690565b6001600160a01b031660009081526001602052604090205490565b60075460009061010090046001600160a01b031633146105f85760405162461bcd60e51b8152600401610366906112c1565b6104c7610c67565b600061060a6105a2565b156106275760405162461bcd60e51b8152600401610366906110e7565b60075461010090046001600160a01b031633146106565760405162461bcd60e51b815260040161036690610f61565b6001600160a01b03821660009081526003602052604090819020805460ff19166001179055517f44427e3003a08f22cf803894075ac0297524e09e521fc1c15bc91741ce3dc15990610573908490610eef565b60606006805461028e906114ca565b60006106c26105a2565b156106df5760405162461bcd60e51b8152600401610366906110e7565b60075461010090046001600160a01b0316331461070e5760405162461bcd60e51b8152600401610366906113c2565b60045461071b838261149b565b10156107395760405162461bcd60e51b81526004016103669061144d565b60075461010090046001600160a01b0316600090815260016020526040902054829061076690829061149b565b10156107845760405162461bcd60e51b81526004016103669061144d565b8160046000828254610796919061149b565b909155505060075461010090046001600160a01b0316600090815260016020526040812080548492906107ca90849061149b565b90915550506040517f07883703ed0e86588a40d76551c92f8a4b329e3bf19765e0e6749473c1a8466590610573908490611484565b3360009081526002602090815260408083206001600160a01b03861684529091528120548211156108425760405162461bcd60e51b815260040161036690611403565b3360008181526002602090815260408083206001600160a01b038816845290915290205461031e919085906103e89086906114b3565b3360009081526003602052604081205460ff16156108a85760405162461bcd60e51b8152600401610366906111bf565b61031e338484610a89565b60006108bd6105a2565b156108da5760405162461bcd60e51b8152600401610366906110e7565b60075461010090046001600160a01b031633146109095760405162461bcd60e51b815260040161036690610f61565b602084111561092a5760405162461bcd60e51b81526004016103669061130a565b836109475760405162461bcd60e51b815260040161036690610fa3565b60088211156109685760405162461bcd60e51b815260040161036690611116565b816109855760405162461bcd60e51b81526004016103669061138b565b61099160058686610cc0565b5061099e60068484610cc0565b50600195945050505050565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b6001600160a01b0383166109fb5760405162461bcd60e51b815260040161036690611278565b6001600160a01b038216610a215760405162461bcd60e51b815260040161036690611053565b6001600160a01b0380841660008181526002602090815260408083209487168084529490915290819020849055517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92590610a7c908590611484565b60405180910390a3505050565b610a916105a2565b15610aae5760405162461bcd60e51b8152600401610366906110e7565b6001600160a01b038316610ad45760405162461bcd60e51b815260040161036690611341565b6001600160a01b038216610afa5760405162461bcd60e51b81526004016103669061114d565b6001600160a01b038316600090815260016020526040902054811115610b325760405162461bcd60e51b8152600401610366906111f6565b6001600160a01b038216600090815260016020526040902054610b55828261149b565b1015610b735760405162461bcd60e51b81526004016103669061144d565b6001600160a01b03831660009081526001602052604081208054839290610b9b9084906114b3565b90915550506001600160a01b03821660009081526001602052604081208054839290610bc890849061149b565b92505081905550816001600160a01b0316836001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610a7c9190611484565b60005460ff16610c345760405162461bcd60e51b815260040161036690610fda565b6000805460ff191681556040517fa45f47fdea8a1efdd9029a5691c7f759c32b7c698632b563573e155625d169339190a1565b60005460ff1615610c8a5760405162461bcd60e51b815260040161036690611195565b6000805460ff191660011781556040517f9e87fac88ff661f02d44f95383c817fece4bce600a3dab7a54406878b965e7529190a1565b828054610ccc906114ca565b90600052602060002090601f016020900481019282610cee5760008555610d34565b82601f10610d075782800160ff19823516178555610d34565b82800160010185558215610d34579182015b82811115610d34578235825591602001919060010190610d19565b50610d40929150610d44565b5090565b5b80821115610d405760008155600101610d45565b80356001600160a01b038116811461057f57600080fd5b60008083601f840112610d81578182fd5b50813567ffffffffffffffff811115610d98578182fd5b602083019150836020828501011115610db057600080fd5b9250929050565b600060208284031215610dc8578081fd5b610dd182610d59565b9392505050565b60008060408385031215610dea578081fd5b610df383610d59565b9150610e0160208401610d59565b90509250929050565b600080600060608486031215610e1e578081fd5b610e2784610d59565b9250610e3560208501610d59565b9150604084013590509250925092565b60008060408385031215610e57578182fd5b610e6083610d59565b946020939093013593505050565b60008060008060408587031215610e83578081fd5b843567ffffffffffffffff80821115610e9a578283fd5b610ea688838901610d70565b90965094506020870135915080821115610ebe578283fd5b50610ecb87828801610d70565b95989497509550505050565b600060208284031215610ee8578081fd5b5035919050565b6001600160a01b0391909116815260200190565b901515815260200190565b6000602080835283518082850152825b81811015610f3a57858101830151858201604001528201610f1e565b81811115610f4b5783604083870101525b50601f01601f1916929092016040019392505050565b60208082526022908201527f41676f726173546f6b656e3a207570646174652066726f6d206e6f6e206f776e60408201526132b960f11b606082015260800190565b60208082526017908201527f41676f726173546f6b656e3a20656d707479206e616d65000000000000000000604082015260600190565b60208082526014908201527314185d5cd8589b194e881b9bdd081c185d5cd95960621b604082015260600190565b6020808252602b908201527f41676f726173546f6b656e3a20756e706175736520726571756573742066726f60408201526a36903737b71037bbb732b960a91b606082015260800190565b60208082526027908201527f41676f726173546f6b656e20617070726f766520746f20746865207a65726f206040820152666164647265737360c81b606082015260800190565b6020808252602d908201527f41676f726173546f6b656e207472616e7366657220616d6f756e74206578636560408201526c65647320616c6c6f77616e636560981b606082015260800190565b6020808252601590820152741059dbdc985cd51bdad95b881a5cc814185d5cd959605a1b604082015260600190565b6020808252601c908201527f41676f726173546f6b656e3a2073796d626f6c20746f6f206c6f6e6700000000604082015260600190565b60208082526028908201527f41676f726173546f6b656e207472616e7366657220746f20746865207a65726f604082015267206164647265737360c01b606082015260800190565b60208082526010908201526f14185d5cd8589b194e881c185d5cd95960821b604082015260600190565b60208082526019908201527f41676f726173546f6b656e206c6f636b65642073656e64657200000000000000604082015260600190565b6020808252602b908201527f41676f726173546f6b656e207472616e7366657220616d6f756e74206578636560408201526a6564732062616c616e636560a81b606082015260800190565b6020808252601e908201527f41676f726173546f6b656e206c6f636b65642066726f6d2073656e6465720000604082015260600190565b60208082526029908201527f41676f726173546f6b656e20617070726f76652066726f6d20746865207a65726040820152686f206164647265737360b81b606082015260800190565b60208082526029908201527f41676f726173546f6b656e3a20706175736520726571756573742066726f6d206040820152683737b71037bbb732b960b91b606082015260800190565b6020808252601a908201527f41676f726173546f6b656e3a206e616d6520746f6f206c6f6e67000000000000604082015260600190565b6020808252602a908201527f41676f726173546f6b656e207472616e736665722066726f6d20746865207a65604082015269726f206164647265737360b01b606082015260800190565b60208082526019908201527f41676f726173546f6b656e3a20656d7074792073796d626f6c00000000000000604082015260600190565b60208082526021908201527f41676f726173546f6b656e3a206d696e742066726f6d206e6f6e206f776e65726040820152600160fd1b606082015260800190565b6020808252602a908201527f41676f726173546f6b656e2064656372656173656420616c6c6f77616e63652060408201526962656c6f77207a65726f60b01b606082015260800190565b6020808252601d908201527f41676f726173546f6b656e206164646974696f6e206f766572666c6f77000000604082015260600190565b90815260200190565b60ff91909116815260200190565b600082198211156114ae576114ae611505565b500190565b6000828210156114c5576114c5611505565b500390565b6002810460018216806114de57607f821691505b602082108114156114ff57634e487b7160e01b600052602260045260246000fd5b50919050565b634e487b7160e01b600052601160045260246000fdfea26469706673582212203fd3b53fd42bd998ef47c8d10224988b5aadbe0c5090e3856fb135e69396489b64736f6c63430008000033

0x608060405234801561001057600080fd5b50600436106101215760003560e01c80635c975abb116100ad578063a0712d6811610071578063a0712d6814610220578063a457c2d714610233578063a9059cbb14610246578063bf85223714610259578063dd62ed3e1461026c57610121565b80635c975abb146101e257806370a08231146101ea5780638456cb59146101fd578063882f327b1461020557806395d89b411461021857610121565b8063313ce567116100f4578063313ce5671461018c57806339509351146101a15780633f4ba83a146101b45780634a387bef146101bc5780634a4fbeec146101cf57610121565b806306fdde0314610126578063095ea7b31461014457806318160ddd1461016457806323b872dd14610179575b600080fd5b61012e61027f565b60405161013b9190610f0e565b60405180910390f35b610157610152366004610e45565b610311565b60405161013b9190610f03565b61016c610327565b60405161013b9190611484565b610157610187366004610e0a565b61032d565b610194610402565b60405161013b919061148d565b6101576101af366004610e45565b61040b565b61015761048d565b6101576101ca366004610db7565b6104cd565b6101576101dd366004610db7565b610584565b6101576105a2565b61016c6101f8366004610db7565b6105ab565b6101576105c6565b610157610213366004610db7565b610600565b61012e6106a9565b61015761022e366004610ed7565b6106b8565b610157610241366004610e45565b6107ff565b610157610254366004610e45565b610878565b610157610267366004610e6e565b6108b3565b61016c61027a366004610dd8565b6109aa565b60606005805461028e906114ca565b80601f01602080910402602001604051908101604052809291908181526020018280546102ba906114ca565b80156103075780601f106102dc57610100808354040283529160200191610307565b820191906000526020600020905b8154815290600101906020018083116102ea57829003601f168201915b5050505050905090565b600061031e3384846109d5565b50600192915050565b60045490565b6001600160a01b03831660009081526003602052604081205460ff161561036f5760405162461bcd60e51b815260040161036690611241565b60405180910390fd5b6001600160a01b03841660009081526002602090815260408083203384529091529020548211156103b25760405162461bcd60e51b81526004016103669061109a565b6001600160a01b0384166000908152600260209081526040808320338085529252909120546103ed9186916103e89086906114b3565b6109d5565b6103f8848484610a89565b5060019392505050565b60075460ff1690565b3360009081526002602090815260408083206001600160a01b0386168452909152812054819061043c90849061149b565b3360009081526002602090815260408083206001600160a01b03891684529091529020549091508110156104825760405162461bcd60e51b81526004016103669061144d565b6103f83385836109d5565b60075460009061010090046001600160a01b031633146104bf5760405162461bcd60e51b815260040161036690611008565b6104c7610c12565b50600190565b60006104d76105a2565b156104f45760405162461bcd60e51b8152600401610366906110e7565b60075461010090046001600160a01b031633146105235760405162461bcd60e51b815260040161036690610f61565b6001600160a01b03821660009081526003602052604090819020805460ff19169055517f7e6adfec7e3f286831a0200a754127c171a2da564078722cb97704741bbdb0ea90610573908490610eef565b60405180910390a15060015b919050565b6001600160a01b031660009081526003602052604090205460ff1690565b60005460ff1690565b6001600160a01b031660009081526001602052604090205490565b60075460009061010090046001600160a01b031633146105f85760405162461bcd60e51b8152600401610366906112c1565b6104c7610c67565b600061060a6105a2565b156106275760405162461bcd60e51b8152600401610366906110e7565b60075461010090046001600160a01b031633146106565760405162461bcd60e51b815260040161036690610f61565b6001600160a01b03821660009081526003602052604090819020805460ff19166001179055517f44427e3003a08f22cf803894075ac0297524e09e521fc1c15bc91741ce3dc15990610573908490610eef565b60606006805461028e906114ca565b60006106c26105a2565b156106df5760405162461bcd60e51b8152600401610366906110e7565b60075461010090046001600160a01b0316331461070e5760405162461bcd60e51b8152600401610366906113c2565b60045461071b838261149b565b10156107395760405162461bcd60e51b81526004016103669061144d565b60075461010090046001600160a01b0316600090815260016020526040902054829061076690829061149b565b10156107845760405162461bcd60e51b81526004016103669061144d565b8160046000828254610796919061149b565b909155505060075461010090046001600160a01b0316600090815260016020526040812080548492906107ca90849061149b565b90915550506040517f07883703ed0e86588a40d76551c92f8a4b329e3bf19765e0e6749473c1a8466590610573908490611484565b3360009081526002602090815260408083206001600160a01b03861684529091528120548211156108425760405162461bcd60e51b815260040161036690611403565b3360008181526002602090815260408083206001600160a01b038816845290915290205461031e919085906103e89086906114b3565b3360009081526003602052604081205460ff16156108a85760405162461bcd60e51b8152600401610366906111bf565b61031e338484610a89565b60006108bd6105a2565b156108da5760405162461bcd60e51b8152600401610366906110e7565b60075461010090046001600160a01b031633146109095760405162461bcd60e51b815260040161036690610f61565b602084111561092a5760405162461bcd60e51b81526004016103669061130a565b836109475760405162461bcd60e51b815260040161036690610fa3565b60088211156109685760405162461bcd60e51b815260040161036690611116565b816109855760405162461bcd60e51b81526004016103669061138b565b61099160058686610cc0565b5061099e60068484610cc0565b50600195945050505050565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b6001600160a01b0383166109fb5760405162461bcd60e51b815260040161036690611278565b6001600160a01b038216610a215760405162461bcd60e51b815260040161036690611053565b6001600160a01b0380841660008181526002602090815260408083209487168084529490915290819020849055517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92590610a7c908590611484565b60405180910390a3505050565b610a916105a2565b15610aae5760405162461bcd60e51b8152600401610366906110e7565b6001600160a01b038316610ad45760405162461bcd60e51b815260040161036690611341565b6001600160a01b038216610afa5760405162461bcd60e51b81526004016103669061114d565b6001600160a01b038316600090815260016020526040902054811115610b325760405162461bcd60e51b8152600401610366906111f6565b6001600160a01b038216600090815260016020526040902054610b55828261149b565b1015610b735760405162461bcd60e51b81526004016103669061144d565b6001600160a01b03831660009081526001602052604081208054839290610b9b9084906114b3565b90915550506001600160a01b03821660009081526001602052604081208054839290610bc890849061149b565b92505081905550816001600160a01b0316836001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610a7c9190611484565b60005460ff16610c345760405162461bcd60e51b815260040161036690610fda565b6000805460ff191681556040517fa45f47fdea8a1efdd9029a5691c7f759c32b7c698632b563573e155625d169339190a1565b60005460ff1615610c8a5760405162461bcd60e51b815260040161036690611195565b6000805460ff191660011781556040517f9e87fac88ff661f02d44f95383c817fece4bce600a3dab7a54406878b965e7529190a1565b828054610ccc906114ca565b90600052602060002090601f016020900481019282610cee5760008555610d34565b82601f10610d075782800160ff19823516178555610d34565b82800160010185558215610d34579182015b82811115610d34578235825591602001919060010190610d19565b50610d40929150610d44565b5090565b5b80821115610d405760008155600101610d45565b80356001600160a01b038116811461057f57600080fd5b60008083601f840112610d81578182fd5b50813567ffffffffffffffff811115610d98578182fd5b602083019150836020828501011115610db057600080fd5b9250929050565b600060208284031215610dc8578081fd5b610dd182610d59565b9392505050565b60008060408385031215610dea578081fd5b610df383610d59565b9150610e0160208401610d59565b90509250929050565b600080600060608486031215610e1e578081fd5b610e2784610d59565b9250610e3560208501610d59565b9150604084013590509250925092565b60008060408385031215610e57578182fd5b610e6083610d59565b946020939093013593505050565b60008060008060408587031215610e83578081fd5b843567ffffffffffffffff80821115610e9a578283fd5b610ea688838901610d70565b90965094506020870135915080821115610ebe578283fd5b50610ecb87828801610d70565b95989497509550505050565b600060208284031215610ee8578081fd5b5035919050565b6001600160a01b0391909116815260200190565b901515815260200190565b6000602080835283518082850152825b81811015610f3a57858101830151858201604001528201610f1e565b81811115610f4b5783604083870101525b50601f01601f1916929092016040019392505050565b60208082526022908201527f41676f726173546f6b656e3a207570646174652066726f6d206e6f6e206f776e60408201526132b960f11b606082015260800190565b60208082526017908201527f41676f726173546f6b656e3a20656d707479206e616d65000000000000000000604082015260600190565b60208082526014908201527314185d5cd8589b194e881b9bdd081c185d5cd95960621b604082015260600190565b6020808252602b908201527f41676f726173546f6b656e3a20756e706175736520726571756573742066726f60408201526a36903737b71037bbb732b960a91b606082015260800190565b60208082526027908201527f41676f726173546f6b656e20617070726f766520746f20746865207a65726f206040820152666164647265737360c81b606082015260800190565b6020808252602d908201527f41676f726173546f6b656e207472616e7366657220616d6f756e74206578636560408201526c65647320616c6c6f77616e636560981b606082015260800190565b6020808252601590820152741059dbdc985cd51bdad95b881a5cc814185d5cd959605a1b604082015260600190565b6020808252601c908201527f41676f726173546f6b656e3a2073796d626f6c20746f6f206c6f6e6700000000604082015260600190565b60208082526028908201527f41676f726173546f6b656e207472616e7366657220746f20746865207a65726f604082015267206164647265737360c01b606082015260800190565b60208082526010908201526f14185d5cd8589b194e881c185d5cd95960821b604082015260600190565b60208082526019908201527f41676f726173546f6b656e206c6f636b65642073656e64657200000000000000604082015260600190565b6020808252602b908201527f41676f726173546f6b656e207472616e7366657220616d6f756e74206578636560408201526a6564732062616c616e636560a81b606082015260800190565b6020808252601e908201527f41676f726173546f6b656e206c6f636b65642066726f6d2073656e6465720000604082015260600190565b60208082526029908201527f41676f726173546f6b656e20617070726f76652066726f6d20746865207a65726040820152686f206164647265737360b81b606082015260800190565b60208082526029908201527f41676f726173546f6b656e3a20706175736520726571756573742066726f6d206040820152683737b71037bbb732b960b91b606082015260800190565b6020808252601a908201527f41676f726173546f6b656e3a206e616d6520746f6f206c6f6e67000000000000604082015260600190565b6020808252602a908201527f41676f726173546f6b656e207472616e736665722066726f6d20746865207a65604082015269726f206164647265737360b01b606082015260800190565b60208082526019908201527f41676f726173546f6b656e3a20656d7074792073796d626f6c00000000000000604082015260600190565b60208082526021908201527f41676f726173546f6b656e3a206d696e742066726f6d206e6f6e206f776e65726040820152600160fd1b606082015260800190565b6020808252602a908201527f41676f726173546f6b656e2064656372656173656420616c6c6f77616e63652060408201526962656c6f77207a65726f60b01b606082015260800190565b6020808252601d908201527f41676f726173546f6b656e206164646974696f6e206f766572666c6f77000000604082015260600190565b90815260200190565b60ff91909116815260200190565b600082198211156114ae576114ae611505565b500190565b6000828210156114c5576114c5611505565b500390565b6002810460018216806114de57607f821691505b602082108114156114ff57634e487b7160e01b600052602260045260246000fd5b50919050565b634e487b7160e01b600052601160045260246000fdfea26469706673582212203fd3b53fd42bd998ef47c8d10224988b5aadbe0c5090e3856fb135e69396489b64736f6c63430008000033

1438:7014:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2150:73;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3059:187;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;2395:86::-;;;:::i;:::-;;;;;;;:::i;3258:494::-;;;;;;:::i;:::-;;:::i;2316:69::-;;;:::i;:::-;;;;;;;:::i;4951:361::-;;;;;;:::i;:::-;;:::i;5988:215::-;;;:::i;8033:338::-;;;;;;:::i;:::-;;:::i;7564:113::-;;;;;;:::i;:::-;;:::i;968:67::-;;;:::i;2491:105::-;;;;;;:::i;:::-;;:::i;5766:210::-;;;:::i;7689:332::-;;;;;;:::i;:::-;;:::i;2233:73::-;;;:::i;6254:573::-;;;;;;:::i;:::-;;:::i;5324:366::-;;;;;;:::i;:::-;;:::i;2606:270::-;;;;;;:::i;:::-;;:::i;6839:713::-;;;;;;:::i;:::-;;:::i;2886:163::-;;;;;;:::i;:::-;;:::i;2150:73::-;2187:13;2215:5;2208:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2150:73;:::o;3059:187::-;3142:4;3167:37;3176:10;3188:7;3197:6;3167:8;:37::i;:::-;-1:-1:-1;3230:4:0;3059:187;;;;:::o;2395:86::-;2466:12;;2395:86;:::o;3258:494::-;-1:-1:-1;;;;;3398:15:0;;3364:4;3398:15;;;:7;:15;;;;;;;;3397:16;3389:59;;;;-1:-1:-1;;;3389:59:0;;;;;;;:::i;:::-;;;;;;;;;-1:-1:-1;;;;;3475:19:0;;;;;;:11;:19;;;;;;;;3495:10;3475:31;;;;;;;;:41;-1:-1:-1;3475:41:0;3467:99;;;;-1:-1:-1;;;3467:99:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;3614:19:0;;;;;;:11;:19;;;;;;;;3602:10;3614:31;;;;;;;;;3585:70;;3594:6;;3614:40;;3648:6;;3614:40;:::i;:::-;3585:8;:70::i;:::-;3674:36;3684:6;3692:9;3703:6;3674:9;:36::i;:::-;-1:-1:-1;3736:4:0;3258:494;;;;;:::o;2316:69::-;2373:9;;;;2316:69;:::o;4951:361::-;5088:10;5039:4;5076:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;5076:32:0;;;;;;;;;;5039:4;;5076:45;;5111:10;;5076:45;:::i;:::-;5165:10;5153:23;;;;:11;:23;;;;;;;;-1:-1:-1;;;;;5153:32:0;;;;;;;;;;5064:57;;-1:-1:-1;5148:37:0;;;5140:79;;;;-1:-1:-1;;;5140:79:0;;;;;;;:::i;:::-;5238:32;5247:10;5259:7;5268:1;5238:8;:32::i;5988:215::-;6078:6;;6031:4;;6078:6;;;-1:-1:-1;;;;;6078:6:0;6064:10;:20;6056:76;;;;-1:-1:-1;;;6056:76:0;;;;;;;:::i;:::-;6151:10;:8;:10::i;:::-;-1:-1:-1;6187:4:0;5988:215;:::o;8033:338::-;8091:4;8124:8;:6;:8::i;:::-;:15;8116:49;;;;-1:-1:-1;;;8116:49:0;;;;;;;:::i;:::-;8206:6;;;;;-1:-1:-1;;;;;8206:6:0;8192:10;:20;8184:67;;;;-1:-1:-1;;;8184:67:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;8270:13:0;;8286:5;8270:13;;;:7;:13;;;;;;;:21;;-1:-1:-1;;8270:21:0;;;8315:14;;;;;8278:4;;8315:14;:::i;:::-;;;;;;;;-1:-1:-1;8355:4:0;8033:338;;;;:::o;7564:113::-;-1:-1:-1;;;;;7652:13:0;7620:4;7652:13;;;:7;:13;;;;;;;;;7564:113::o;968:67::-;1007:4;1025:7;;;968:67;:::o;2491:105::-;-1:-1:-1;;;;;2575:18:0;2557:7;2575:18;;;:9;:18;;;;;;;2491:105::o;5766:210::-;5855:6;;5808:4;;5855:6;;;-1:-1:-1;;;;;5855:6:0;5841:10;:20;5833:74;;;;-1:-1:-1;;;5833:74:0;;;;;;;:::i;:::-;5926:8;:6;:8::i;7689:332::-;7744:4;7777:8;:6;:8::i;:::-;:15;7769:49;;;;-1:-1:-1;;;7769:49:0;;;;;;;:::i;:::-;7859:6;;;;;-1:-1:-1;;;;;7859:6:0;7845:10;:20;7837:67;;;;-1:-1:-1;;;7837:67:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;7923:13:0;;;;;;:7;:13;;;;;;;:20;;-1:-1:-1;;7923:20:0;7939:4;7923:20;;;7967:12;;;;;7931:4;;7967:12;:::i;2233:73::-;2272:13;2296:7;2289:14;;;;;:::i;6254:573::-;6308:4;6341:8;:6;:8::i;:::-;:15;6333:49;;;;-1:-1:-1;;;6333:49:0;;;;;;;:::i;:::-;6423:6;;;;;-1:-1:-1;;;;;6423:6:0;6409:10;:20;6401:66;;;;-1:-1:-1;;;6401:66:0;;;;;;;:::i;:::-;6519:12;;6494:21;6509:6;6519:12;6494:21;:::i;:::-;:37;;6486:79;;;;-1:-1:-1;;;6486:79:0;;;;;;;:::i;:::-;6602:6;;;;;-1:-1:-1;;;;;6602:6:0;6592:17;;;;:9;:17;;;;;;6622:6;;6592:26;;6622:6;;6592:26;:::i;:::-;:36;;6584:78;;;;-1:-1:-1;;;6584:78:0;;;;;;;:::i;:::-;6697:6;6681:12;;:22;;;;;;;:::i;:::-;;;;-1:-1:-1;;6732:6:0;;;;;-1:-1:-1;;;;;6732:6:0;6722:17;;;;:9;:17;;;;;:27;;6743:6;;6722:17;:27;;6743:6;;6722:27;:::i;:::-;;;;-1:-1:-1;;6773:12:0;;;;;;6778:6;;6773:12;:::i;5324:366::-;5462:10;5417:4;5450:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;5450:32:0;;;;;;;;;;:51;-1:-1:-1;5450:51:0;5442:106;;;;-1:-1:-1;;;5442:106:0;;;;;;;:::i;:::-;5576:10;5597:23;;;;:11;:23;;;;;;;;-1:-1:-1;;;;;5597:32:0;;;;;;;;;;5567:81;;5576:10;5588:7;;5597:50;;5632:15;;5597:50;:::i;2606:270::-;2734:10;2692:4;2726:19;;;:7;:19;;;;;;;;2725:20;2717:58;;;;-1:-1:-1;;;2717:58:0;;;;;;;:::i;:::-;2794:40;2804:10;2816:9;2827:6;2794:9;:40::i;6839:713::-;6941:4;6974:8;:6;:8::i;:::-;:15;6966:49;;;;-1:-1:-1;;;6966:49:0;;;;;;;:::i;:::-;7056:6;;;;;-1:-1:-1;;;;;7056:6:0;7042:10;:20;7034:67;;;;-1:-1:-1;;;7034:67:0;;;;;;;:::i;:::-;7153:2;7128:27;;;7120:66;;;;-1:-1:-1;;;7120:66:0;;;;;;;:::i;:::-;7213:25;7205:61;;;;-1:-1:-1;;;7205:61:0;;;;;;;:::i;:::-;7320:1;7293:28;;;7285:69;;;;-1:-1:-1;;;7285:69:0;;;;;;;:::i;:::-;7381:27;7373:65;;;;-1:-1:-1;;;7373:65:0;;;;;;;:::i;:::-;7457:15;:5;7465:7;;7457:15;:::i;:::-;-1:-1:-1;7491:19:0;:7;7501:9;;7491:19;:::i;:::-;-1:-1:-1;7536:4:0;;6839:713;-1:-1:-1;;;;;6839:713:0:o;2886:163::-;-1:-1:-1;;;;;3010:18:0;;;2975:7;3010:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;2886:163::o;3764:390::-;-1:-1:-1;;;;;3874:19:0;;3866:73;;;;-1:-1:-1;;;3866:73:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;3966:21:0;;3958:73;;;;-1:-1:-1;;;3958:73:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;4050:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;;:36;;;4110:32;;;;;4080:6;;4110:32;:::i;:::-;;;;;;;;3764:390;;;:::o;4166:773::-;4323:8;:6;:8::i;:::-;:17;4315:51;;;;-1:-1:-1;;;4315:51:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;4393:20:0;;4385:75;;;;-1:-1:-1;;;4385:75:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;4487:23:0;;4479:76;;;;-1:-1:-1;;;4479:76:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;4582:17:0;;;;;;:9;:17;;;;;;:27;-1:-1:-1;4582:27:0;4574:83;;;;-1:-1:-1;;;4574:83:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;4717:20:0;;;;;;:9;:20;;;;;;4684:29;4707:6;4717:20;4684:29;:::i;:::-;:53;;4676:95;;;;-1:-1:-1;;;4676:95:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;4792:17:0;;;;;;:9;:17;;;;;:27;;4813:6;;4792:17;:27;;4813:6;;4792:27;:::i;:::-;;;;-1:-1:-1;;;;;;;4838:20:0;;;;;;:9;:20;;;;;:30;;4862:6;;4838:20;:30;;4862:6;;4838:30;:::i;:::-;;;;;;;;4909:9;-1:-1:-1;;;;;4892:35:0;4901:6;-1:-1:-1;;;;;4892:35:0;;4920:6;4892:35;;;;;;:::i;1346:85::-;1206:7;;;;1198:40;;;;-1:-1:-1;;;1198:40:0;;;;;;;:::i;:::-;1406:5:::1;1396:15:::0;;-1:-1:-1;;1396:15:0::1;::::0;;1418:10:::1;::::0;::::1;::::0;1406:5;1418:10:::1;1346:85::o:0;1254:82::-;1104:7;;;;1103:8;1095:37;;;;-1:-1:-1;;;1095:37:0;;;;;;;:::i;:::-;1304:7:::1;:14:::0;;-1:-1:-1;;1304:14:0::1;1314:4;1304:14;::::0;;1325:8:::1;::::0;::::1;::::0;1304:7;1325:8:::1;1254:82::o:0;-1:-1:-1:-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;14:175:1;84:20;;-1:-1:-1;;;;;133:31:1;;123:42;;113:2;;179:1;176;169:12;194:378;;;312:3;305:4;297:6;293:17;289:27;279:2;;337:8;327;320:26;279:2;-1:-1:-1;367:20:1;;410:18;399:30;;396:2;;;449:8;439;432:26;396:2;493:4;485:6;481:17;469:29;;545:3;538:4;529:6;521;517:19;513:30;510:39;507:2;;;562:1;559;552:12;507:2;269:303;;;;;:::o;577:198::-;;689:2;677:9;668:7;664:23;660:32;657:2;;;710:6;702;695:22;657:2;738:31;759:9;738:31;:::i;:::-;728:41;647:128;-1:-1:-1;;;647:128:1:o;780:274::-;;;909:2;897:9;888:7;884:23;880:32;877:2;;;930:6;922;915:22;877:2;958:31;979:9;958:31;:::i;:::-;948:41;;1008:40;1044:2;1033:9;1029:18;1008:40;:::i;:::-;998:50;;867:187;;;;;:::o;1059:342::-;;;;1205:2;1193:9;1184:7;1180:23;1176:32;1173:2;;;1226:6;1218;1211:22;1173:2;1254:31;1275:9;1254:31;:::i;:::-;1244:41;;1304:40;1340:2;1329:9;1325:18;1304:40;:::i;:::-;1294:50;;1391:2;1380:9;1376:18;1363:32;1353:42;;1163:238;;;;;:::o;1406:266::-;;;1535:2;1523:9;1514:7;1510:23;1506:32;1503:2;;;1556:6;1548;1541:22;1503:2;1584:31;1605:9;1584:31;:::i;:::-;1574:41;1662:2;1647:18;;;;1634:32;;-1:-1:-1;;;1493:179:1:o;1677:755::-;;;;;1846:2;1834:9;1825:7;1821:23;1817:32;1814:2;;;1867:6;1859;1852:22;1814:2;1912:9;1899:23;1941:18;1982:2;1974:6;1971:14;1968:2;;;2003:6;1995;1988:22;1968:2;2047:61;2100:7;2091:6;2080:9;2076:22;2047:61;:::i;:::-;2127:8;;-1:-1:-1;2021:87:1;-1:-1:-1;2215:2:1;2200:18;;2187:32;;-1:-1:-1;2231:16:1;;;2228:2;;;2265:6;2257;2250:22;2228:2;;2309:63;2364:7;2353:8;2342:9;2338:24;2309:63;:::i;:::-;1804:628;;;;-1:-1:-1;2391:8:1;-1:-1:-1;;;;1804:628:1:o;2437:190::-;;2549:2;2537:9;2528:7;2524:23;2520:32;2517:2;;;2570:6;2562;2555:22;2517:2;-1:-1:-1;2598:23:1;;2507:120;-1:-1:-1;2507:120:1:o;2632:203::-;-1:-1:-1;;;;;2796:32:1;;;;2778:51;;2766:2;2751:18;;2733:102::o;2840:187::-;3005:14;;2998:22;2980:41;;2968:2;2953:18;;2935:92::o;3032:603::-;;3173:2;3202;3191:9;3184:21;3234:6;3228:13;3277:6;3272:2;3261:9;3257:18;3250:34;3302:4;3315:140;3329:6;3326:1;3323:13;3315:140;;;3424:14;;;3420:23;;3414:30;3390:17;;;3409:2;3386:26;3379:66;3344:10;;3315:140;;;3473:6;3470:1;3467:13;3464:2;;;3543:4;3538:2;3529:6;3518:9;3514:22;3510:31;3503:45;3464:2;-1:-1:-1;3619:2:1;3598:15;-1:-1:-1;;3594:29:1;3579:45;;;;3626:2;3575:54;;3153:482;-1:-1:-1;;;3153:482:1:o;3640:398::-;3842:2;3824:21;;;3881:2;3861:18;;;3854:30;3920:34;3915:2;3900:18;;3893:62;-1:-1:-1;;;3986:2:1;3971:18;;3964:32;4028:3;4013:19;;3814:224::o;4043:347::-;4245:2;4227:21;;;4284:2;4264:18;;;4257:30;4323:25;4318:2;4303:18;;4296:53;4381:2;4366:18;;4217:173::o;4395:344::-;4597:2;4579:21;;;4636:2;4616:18;;;4609:30;-1:-1:-1;;;4670:2:1;4655:18;;4648:50;4730:2;4715:18;;4569:170::o;4744:407::-;4946:2;4928:21;;;4985:2;4965:18;;;4958:30;5024:34;5019:2;5004:18;;4997:62;-1:-1:-1;;;5090:2:1;5075:18;;5068:41;5141:3;5126:19;;4918:233::o;5156:403::-;5358:2;5340:21;;;5397:2;5377:18;;;5370:30;5436:34;5431:2;5416:18;;5409:62;-1:-1:-1;;;5502:2:1;5487:18;;5480:37;5549:3;5534:19;;5330:229::o;5564:409::-;5766:2;5748:21;;;5805:2;5785:18;;;5778:30;5844:34;5839:2;5824:18;;5817:62;-1:-1:-1;;;5910:2:1;5895:18;;5888:43;5963:3;5948:19;;5738:235::o;5978:345::-;6180:2;6162:21;;;6219:2;6199:18;;;6192:30;-1:-1:-1;;;6253:2:1;6238:18;;6231:51;6314:2;6299:18;;6152:171::o;6328:352::-;6530:2;6512:21;;;6569:2;6549:18;;;6542:30;6608;6603:2;6588:18;;6581:58;6671:2;6656:18;;6502:178::o;6685:404::-;6887:2;6869:21;;;6926:2;6906:18;;;6899:30;6965:34;6960:2;6945:18;;6938:62;-1:-1:-1;;;7031:2:1;7016:18;;7009:38;7079:3;7064:19;;6859:230::o;7094:340::-;7296:2;7278:21;;;7335:2;7315:18;;;7308:30;-1:-1:-1;;;7369:2:1;7354:18;;7347:46;7425:2;7410:18;;7268:166::o;7439:349::-;7641:2;7623:21;;;7680:2;7660:18;;;7653:30;7719:27;7714:2;7699:18;;7692:55;7779:2;7764:18;;7613:175::o;7793:407::-;7995:2;7977:21;;;8034:2;8014:18;;;8007:30;8073:34;8068:2;8053:18;;8046:62;-1:-1:-1;;;8139:2:1;8124:18;;8117:41;8190:3;8175:19;;7967:233::o;8205:354::-;8407:2;8389:21;;;8446:2;8426:18;;;8419:30;8485:32;8480:2;8465:18;;8458:60;8550:2;8535:18;;8379:180::o;8564:405::-;8766:2;8748:21;;;8805:2;8785:18;;;8778:30;8844:34;8839:2;8824:18;;8817:62;-1:-1:-1;;;8910:2:1;8895:18;;8888:39;8959:3;8944:19;;8738:231::o;8974:405::-;9176:2;9158:21;;;9215:2;9195:18;;;9188:30;9254:34;9249:2;9234:18;;9227:62;-1:-1:-1;;;9320:2:1;9305:18;;9298:39;9369:3;9354:19;;9148:231::o;9384:350::-;9586:2;9568:21;;;9625:2;9605:18;;;9598:30;9664:28;9659:2;9644:18;;9637:56;9725:2;9710:18;;9558:176::o;9739:406::-;9941:2;9923:21;;;9980:2;9960:18;;;9953:30;10019:34;10014:2;9999:18;;9992:62;-1:-1:-1;;;10085:2:1;10070:18;;10063:40;10135:3;10120:19;;9913:232::o;10150:349::-;10352:2;10334:21;;;10391:2;10371:18;;;10364:30;10430:27;10425:2;10410:18;;10403:55;10490:2;10475:18;;10324:175::o;10504:397::-;10706:2;10688:21;;;10745:2;10725:18;;;10718:30;10784:34;10779:2;10764:18;;10757:62;-1:-1:-1;;;10850:2:1;10835:18;;10828:31;10891:3;10876:19;;10678:223::o;10906:406::-;11108:2;11090:21;;;11147:2;11127:18;;;11120:30;11186:34;11181:2;11166:18;;11159:62;-1:-1:-1;;;11252:2:1;11237:18;;11230:40;11302:3;11287:19;;11080:232::o;11317:353::-;11519:2;11501:21;;;11558:2;11538:18;;;11531:30;11597:31;11592:2;11577:18;;11570:59;11661:2;11646:18;;11491:179::o;11675:177::-;11821:25;;;11809:2;11794:18;;11776:76::o;11857:184::-;12029:4;12017:17;;;;11999:36;;11987:2;11972:18;;11954:87::o;12046:128::-;;12117:1;12113:6;12110:1;12107:13;12104:2;;;12123:18;;:::i;:::-;-1:-1:-1;12159:9:1;;12094:80::o;12179:125::-;;12247:1;12244;12241:8;12238:2;;;12252:18;;:::i;:::-;-1:-1:-1;12289:9:1;;12228:76::o;12309:380::-;12394:1;12384:12;;12441:1;12431:12;;;12452:2;;12506:4;12498:6;12494:17;12484:27;;12452:2;12559;12551:6;12548:14;12528:18;12525:38;12522:2;;;12605:10;12600:3;12596:20;12593:1;12586:31;12640:4;12637:1;12630:15;12668:4;12665:1;12658:15;12522:2;;12364:325;;;:::o;12694:127::-;12755:10;12750:3;12746:20;12743:1;12736:31;12786:4;12783:1;12776:15;12810:4;12807:1;12800:15

ipfs://3fd3b53fd42bd998ef47c8d10224988b5aadbe0c5090e3856fb135e69396489b