Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

 contract Brainers *    - 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 increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function releaseTeamSupply()    - function releaseSocialSupply()    - function _transfer(address sender, ad ...    - function _approve(address owner, addr ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

/// SPDX-License-Identifier: MIT
//
// Symbol          : BRAINERS
// Name            : Brainers
// Total supply    : 371,000,000
// Decimals        : 18
// Bainers Social  : www.brainers.network
// Brainers Docs   : www.docs.brainers.network
// About contract  : www.token.brainers.network


pragma solidity ^0.8.11;

/**
 * @title Brainers Token
 * @dev Standard ERC20 implementation for the Brainers Token.
 */
contract Brainers {
    string public constant name = "Brainers";
    string public constant symbol = "BRAINERS";
    uint8 public constant decimals = 18;

    uint256 private _totalSupply;
    mapping(address => uint256) private _balances;
    mapping(address => mapping(address => uint256)) private _allowances;

    address private immutable _socialNetworkAddress = 0x3170444AaefdBC05C11616c0212b07Dfa351185f;
    address private immutable _teamAddress = 0x7e898711B28d376297Be8B12AC9c4b18Cf098824;

    uint256 private _teamSupply;
    uint256 private _teamUnlockTime;
    uint256 private _teamReleaseAmount;
    uint256 private _teamReleaseInterval;
    uint256 private _teamReleaseStartTime;

    uint256 private _socialReleaseInterval;
    uint256 private _socialReleaseStartTime;

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

    modifier onlyUnlockedTeam() {
        require(block.timestamp >= _teamUnlockTime, "Team supply not unlocked yet");
        _;
    }

    modifier onlyOwner() {
        require(msg.sender == _teamAddress, "Only the owner can call this function");
        _;
    }

    constructor() {
        _totalSupply = 371_000_000 * 10 ** uint256(decimals);
        uint256 socialPercentage = 80;
        uint256 teamPercentage = 3;
        uint256 marketingPercentage = 5;
        uint256 developmentPercentage = 2;
        uint256 investorPercentage = 2;
        uint256 futureDevelopmentPercentage = 8;

        _teamSupply = (_totalSupply * teamPercentage) / 100;
        _teamUnlockTime = block.timestamp + (12 * 30 days); // Lock team supply for 12 months
        _teamReleaseAmount = (_teamSupply * 5) / 100; // 5% released every 30 days after 12 months
        _teamReleaseInterval = 30 days;

        _socialReleaseInterval = 30 days; // Monthly release for Brainers Social
        _socialReleaseStartTime = block.timestamp;

        _balances[_socialNetworkAddress] = (_totalSupply * socialPercentage) / 100;
        _balances[_teamAddress] = _teamSupply;
        _balances[address(this)] = (_totalSupply * (marketingPercentage + developmentPercentage + investorPercentage + futureDevelopmentPercentage)) / 100;

        emit Transfer(address(0), _socialNetworkAddress, _balances[_socialNetworkAddress]);
        emit Transfer(address(0), _teamAddress, _teamSupply);
        emit Transfer(address(0), address(this), _balances[address(this)]);
    }

    function totalSupply() external view returns (uint256) {
        return _totalSupply;
    }

    function balanceOf(address account) external view returns (uint256) {
        return _balances[account];
    }

    function transfer(address recipient, uint256 amount) external returns (bool) {
        _transfer(msg.sender, recipient, amount);
        return true;
    }

    function allowance(address owner, address spender) external view returns (uint256) {
        return _allowances[owner][spender];
    }

    function approve(address spender, uint256 amount) external returns (bool) {
        _approve(msg.sender, spender, amount);
        return true;
    }

    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, msg.sender, _allowances[sender][msg.sender] - amount);
        return true;
    }

    function increaseAllowance(address spender, uint256 addedValue) external returns (bool) {
        _approve(msg.sender, spender, _allowances[msg.sender][spender] + addedValue);
        return true;
    }

    function decreaseAllowance(address spender, uint256 subtractedValue) external returns (bool) {
        _approve(msg.sender, spender, _allowances[msg.sender][spender] - subtractedValue);
        return true;
    }

    function releaseTeamSupply() external onlyUnlockedTeam {
        require(_teamReleaseStartTime + _teamReleaseInterval <= block.timestamp, "Team supply release interval not reached yet");

        uint256 releaseAmount = _teamReleaseAmount;
        if (releaseAmount > _teamSupply) {
            releaseAmount = _teamSupply;
        }

        _balances[_teamAddress] += releaseAmount;
        _teamSupply -= releaseAmount;
        _teamReleaseStartTime += _teamReleaseInterval;

        emit Transfer(address(this), _teamAddress, releaseAmount);
    }

    function releaseSocialSupply() external onlyOwner {
        require(block.timestamp >= _socialReleaseStartTime + _socialReleaseInterval, "Social supply release interval not reached yet");

        uint256 releaseAmount = (_totalSupply * 80) / 1000; // 10% of Brainers Social allocation
        require(releaseAmount > 0, "No more tokens to release");

        _balances[_socialNetworkAddress] += releaseAmount;
        _totalSupply -= releaseAmount;
        _socialReleaseStartTime += _socialReleaseInterval;

        emit Transfer(address(this), _socialNetworkAddress, releaseAmount);
    }

    function _transfer(address sender, address recipient, uint256 amount) internal {
        require(sender != address(0), "Transfer from the zero address");
        require(recipient != address(0), "Transfer to the zero address");
        require(_balances[sender] >= amount, "Insufficient balance");

        _balances[sender] -= amount;
        _balances[recipient] += amount;

        emit Transfer(sender, recipient, amount);
    }

    function _approve(address owner, address spender, uint256 amount) internal {
        require(owner != address(0), "Approve from the zero address");
        require(spender != address(0), "Approve to the zero address");

        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"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":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"releaseSocialSupply","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"releaseTeamSupply","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":"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"}]

60c0604052733170444aaefdbc05c11616c0212b07dfa351185f73ffffffffffffffffffffffffffffffffffffffff1660809073ffffffffffffffffffffffffffffffffffffffff16815250737e898711b28d376297be8b12ac9c4b18cf09882473ffffffffffffffffffffffffffffffffffffffff1660a09073ffffffffffffffffffffffffffffffffffffffff168152503480156200009e575f80fd5b50601260ff16600a620000b29190620005d5565b63161d02c0620000c3919062000625565b5f819055505f605090505f600390505f600590505f600290505f600290505f600890506064855f54620000f7919062000625565b6200010391906200069c565b6003819055506301da9c00426200011b9190620006d3565b6004819055506064600560035462000134919062000625565b6200014091906200069c565b60058190555062278d0060068190555062278d00600881905550426009819055506064865f5462000172919062000625565b6200017e91906200069c565b60015f60805173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208190555060035460015f60a05173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550606481838587620002199190620006d3565b620002259190620006d3565b620002319190620006d3565b5f546200023f919062000625565b6200024b91906200069c565b60015f3073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208190555060805173ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60015f60805173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20546040516200032c91906200071e565b60405180910390a360a05173ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6003546040516200039791906200071e565b60405180910390a33073ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60015f3073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20546040516200043b91906200071e565b60405180910390a350505050505062000739565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b6001851115620004d957808604811115620004b157620004b06200044f565b5b6001851615620004c15780820291505b8081029050620004d1856200047c565b945062000491565b94509492505050565b5f82620004f35760019050620005c5565b8162000502575f9050620005c5565b81600181146200051b576002811462000526576200055c565b6001915050620005c5565b60ff8411156200053b576200053a6200044f565b5b8360020a9150848211156200055557620005546200044f565b5b50620005c5565b5060208310610133831016604e8410600b8410161715620005965782820a90508381111562000590576200058f6200044f565b5b620005c5565b620005a5848484600162000488565b92509050818404811115620005bf57620005be6200044f565b5b81810290505b9392505050565b5f819050919050565b5f620005e182620005cc565b9150620005ee83620005cc565b92506200061d7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484620004e2565b905092915050565b5f6200063182620005cc565b91506200063e83620005cc565b92508282026200064e81620005cc565b915082820484148315176200066857620006676200044f565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f620006a882620005cc565b9150620006b583620005cc565b925082620006c857620006c76200066f565b5b828204905092915050565b5f620006df82620005cc565b9150620006ec83620005cc565b92508282019050808211156200070757620007066200044f565b5b92915050565b6200071881620005cc565b82525050565b5f602082019050620007335f8301846200070d565b92915050565b60805160a051611716620007705f395f81816104490152818161091601526109b701525f818161058d015261062d01526117165ff3fe608060405234801561000f575f80fd5b50600436106100cd575f3560e01c8063548539821161008a578063a457c2d711610064578063a457c2d714610213578063a9059cbb14610243578063dd62ed3e14610273578063e44a1b8a146102a3576100cd565b806354853982146101bb57806370a08231146101c557806395d89b41146101f5576100cd565b806306fdde03146100d1578063095ea7b3146100ef57806318160ddd1461011f57806323b872dd1461013d578063313ce5671461016d578063395093511461018b575b5f80fd5b6100d96102ad565b6040516100e69190610ef6565b60405180910390f35b61010960048036038101906101049190610fa7565b6102e6565b6040516101169190610fff565b60405180910390f35b6101276102fc565b6040516101349190611027565b60405180910390f35b61015760048036038101906101529190611040565b610304565b6040516101649190610fff565b60405180910390f35b6101756103a9565b60405161018291906110ab565b60405180910390f35b6101a560048036038101906101a09190610fa7565b6103ae565b6040516101b29190610fff565b60405180910390f35b6101c3610447565b005b6101df60048036038101906101da91906110c4565b6106b3565b6040516101ec9190611027565b60405180910390f35b6101fd6106f9565b60405161020a9190610ef6565b60405180910390f35b61022d60048036038101906102289190610fa7565b610732565b60405161023a9190610fff565b60405180910390f35b61025d60048036038101906102589190610fa7565b6107cb565b60405161026a9190610fff565b60405180910390f35b61028d600480360381019061028891906110ef565b6107e1565b60405161029a9190611027565b60405180910390f35b6102ab610863565b005b6040518060400160405280600881526020017f427261696e65727300000000000000000000000000000000000000000000000081525081565b5f6102f2338484610a3d565b6001905092915050565b5f8054905090565b5f610310848484610c00565b61039e84338460025f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610399919061115a565b610a3d565b600190509392505050565b601281565b5f61043d33848460025f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610438919061118d565b610a3d565b6001905092915050565b7f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146104d5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104cc90611230565b60405180910390fd5b6008546009546104e5919061118d565b421015610527576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161051e906112be565b60405180910390fd5b5f6103e860505f5461053991906112dc565b610543919061134a565b90505f8111610587576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161057e906113c4565b60405180910390fd5b8060015f7f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546105f3919061118d565b92505081905550805f8082825461060a919061115a565b9250508190555060085460095f828254610624919061118d565b925050819055507f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff163073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516106a89190611027565b60405180910390a350565b5f60015f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b6040518060400160405280600881526020017f425241494e45525300000000000000000000000000000000000000000000000081525081565b5f6107c133848460025f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20546107bc919061115a565b610a3d565b6001905092915050565b5f6107d7338484610c00565b6001905092915050565b5f60025f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b6004544210156108a8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161089f9061142c565b60405180910390fd5b426006546007546108b9919061118d565b11156108fa576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108f1906114ba565b60405180910390fd5b5f60055490506003548111156109105760035490505b8060015f7f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461097c919061118d565b925050819055508060035f828254610994919061115a565b9250508190555060065460075f8282546109ae919061118d565b925050819055507f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff163073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610a329190611027565b60405180910390a350565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610aab576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aa290611522565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610b19576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b109061158a565b60405180910390fd5b8060025f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610bf39190611027565b60405180910390a3505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610c6e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c65906115f2565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610cdc576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cd39061165a565b60405180910390fd5b8060015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610d5c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d53906116c2565b60405180910390fd5b8060015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610da8919061115a565b925050819055508060015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610dfb919061118d565b925050819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610e5f9190611027565b60405180910390a3505050565b5f81519050919050565b5f82825260208201905092915050565b5f5b83811015610ea3578082015181840152602081019050610e88565b5f8484015250505050565b5f601f19601f8301169050919050565b5f610ec882610e6c565b610ed28185610e76565b9350610ee2818560208601610e86565b610eeb81610eae565b840191505092915050565b5f6020820190508181035f830152610f0e8184610ebe565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610f4382610f1a565b9050919050565b610f5381610f39565b8114610f5d575f80fd5b50565b5f81359050610f6e81610f4a565b92915050565b5f819050919050565b610f8681610f74565b8114610f90575f80fd5b50565b5f81359050610fa181610f7d565b92915050565b5f8060408385031215610fbd57610fbc610f16565b5b5f610fca85828601610f60565b9250506020610fdb85828601610f93565b9150509250929050565b5f8115159050919050565b610ff981610fe5565b82525050565b5f6020820190506110125f830184610ff0565b92915050565b61102181610f74565b82525050565b5f60208201905061103a5f830184611018565b92915050565b5f805f6060848603121561105757611056610f16565b5b5f61106486828701610f60565b935050602061107586828701610f60565b925050604061108686828701610f93565b9150509250925092565b5f60ff82169050919050565b6110a581611090565b82525050565b5f6020820190506110be5f83018461109c565b92915050565b5f602082840312156110d9576110d8610f16565b5b5f6110e684828501610f60565b91505092915050565b5f806040838503121561110557611104610f16565b5b5f61111285828601610f60565b925050602061112385828601610f60565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61116482610f74565b915061116f83610f74565b92508282039050818111156111875761118661112d565b5b92915050565b5f61119782610f74565b91506111a283610f74565b92508282019050808211156111ba576111b961112d565b5b92915050565b7f4f6e6c7920746865206f776e65722063616e2063616c6c20746869732066756e5f8201527f6374696f6e000000000000000000000000000000000000000000000000000000602082015250565b5f61121a602583610e76565b9150611225826111c0565b604082019050919050565b5f6020820190508181035f8301526112478161120e565b9050919050565b7f536f6369616c20737570706c792072656c6561736520696e74657276616c206e5f8201527f6f74207265616368656420796574000000000000000000000000000000000000602082015250565b5f6112a8602e83610e76565b91506112b38261124e565b604082019050919050565b5f6020820190508181035f8301526112d58161129c565b9050919050565b5f6112e682610f74565b91506112f183610f74565b92508282026112ff81610f74565b915082820484148315176113165761131561112d565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f61135482610f74565b915061135f83610f74565b92508261136f5761136e61131d565b5b828204905092915050565b7f4e6f206d6f726520746f6b656e7320746f2072656c65617365000000000000005f82015250565b5f6113ae601983610e76565b91506113b98261137a565b602082019050919050565b5f6020820190508181035f8301526113db816113a2565b9050919050565b7f5465616d20737570706c79206e6f7420756e6c6f636b656420796574000000005f82015250565b5f611416601c83610e76565b9150611421826113e2565b602082019050919050565b5f6020820190508181035f8301526114438161140a565b9050919050565b7f5465616d20737570706c792072656c6561736520696e74657276616c206e6f745f8201527f2072656163686564207965740000000000000000000000000000000000000000602082015250565b5f6114a4602c83610e76565b91506114af8261144a565b604082019050919050565b5f6020820190508181035f8301526114d181611498565b9050919050565b7f417070726f76652066726f6d20746865207a65726f20616464726573730000005f82015250565b5f61150c601d83610e76565b9150611517826114d8565b602082019050919050565b5f6020820190508181035f83015261153981611500565b9050919050565b7f417070726f766520746f20746865207a65726f206164647265737300000000005f82015250565b5f611574601b83610e76565b915061157f82611540565b602082019050919050565b5f6020820190508181035f8301526115a181611568565b9050919050565b7f5472616e736665722066726f6d20746865207a65726f206164647265737300005f82015250565b5f6115dc601e83610e76565b91506115e7826115a8565b602082019050919050565b5f6020820190508181035f830152611609816115d0565b9050919050565b7f5472616e7366657220746f20746865207a65726f2061646472657373000000005f82015250565b5f611644601c83610e76565b915061164f82611610565b602082019050919050565b5f6020820190508181035f83015261167181611638565b9050919050565b7f496e73756666696369656e742062616c616e63650000000000000000000000005f82015250565b5f6116ac601483610e76565b91506116b782611678565b602082019050919050565b5f6020820190508181035f8301526116d9816116a0565b905091905056fea26469706673582212206168ee0eff00098c6ee7c619d0090a36769b775c5439462d35be58594f6dd83d64736f6c63430008180033

0x608060405234801561000f575f80fd5b50600436106100cd575f3560e01c8063548539821161008a578063a457c2d711610064578063a457c2d714610213578063a9059cbb14610243578063dd62ed3e14610273578063e44a1b8a146102a3576100cd565b806354853982146101bb57806370a08231146101c557806395d89b41146101f5576100cd565b806306fdde03146100d1578063095ea7b3146100ef57806318160ddd1461011f57806323b872dd1461013d578063313ce5671461016d578063395093511461018b575b5f80fd5b6100d96102ad565b6040516100e69190610ef6565b60405180910390f35b61010960048036038101906101049190610fa7565b6102e6565b6040516101169190610fff565b60405180910390f35b6101276102fc565b6040516101349190611027565b60405180910390f35b61015760048036038101906101529190611040565b610304565b6040516101649190610fff565b60405180910390f35b6101756103a9565b60405161018291906110ab565b60405180910390f35b6101a560048036038101906101a09190610fa7565b6103ae565b6040516101b29190610fff565b60405180910390f35b6101c3610447565b005b6101df60048036038101906101da91906110c4565b6106b3565b6040516101ec9190611027565b60405180910390f35b6101fd6106f9565b60405161020a9190610ef6565b60405180910390f35b61022d60048036038101906102289190610fa7565b610732565b60405161023a9190610fff565b60405180910390f35b61025d60048036038101906102589190610fa7565b6107cb565b60405161026a9190610fff565b60405180910390f35b61028d600480360381019061028891906110ef565b6107e1565b60405161029a9190611027565b60405180910390f35b6102ab610863565b005b6040518060400160405280600881526020017f427261696e65727300000000000000000000000000000000000000000000000081525081565b5f6102f2338484610a3d565b6001905092915050565b5f8054905090565b5f610310848484610c00565b61039e84338460025f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610399919061115a565b610a3d565b600190509392505050565b601281565b5f61043d33848460025f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610438919061118d565b610a3d565b6001905092915050565b7f0000000000000000000000007e898711b28d376297be8b12ac9c4b18cf09882473ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146104d5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104cc90611230565b60405180910390fd5b6008546009546104e5919061118d565b421015610527576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161051e906112be565b60405180910390fd5b5f6103e860505f5461053991906112dc565b610543919061134a565b90505f8111610587576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161057e906113c4565b60405180910390fd5b8060015f7f0000000000000000000000003170444aaefdbc05c11616c0212b07dfa351185f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546105f3919061118d565b92505081905550805f8082825461060a919061115a565b9250508190555060085460095f828254610624919061118d565b925050819055507f0000000000000000000000003170444aaefdbc05c11616c0212b07dfa351185f73ffffffffffffffffffffffffffffffffffffffff163073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516106a89190611027565b60405180910390a350565b5f60015f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b6040518060400160405280600881526020017f425241494e45525300000000000000000000000000000000000000000000000081525081565b5f6107c133848460025f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20546107bc919061115a565b610a3d565b6001905092915050565b5f6107d7338484610c00565b6001905092915050565b5f60025f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b6004544210156108a8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161089f9061142c565b60405180910390fd5b426006546007546108b9919061118d565b11156108fa576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108f1906114ba565b60405180910390fd5b5f60055490506003548111156109105760035490505b8060015f7f0000000000000000000000007e898711b28d376297be8b12ac9c4b18cf09882473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461097c919061118d565b925050819055508060035f828254610994919061115a565b9250508190555060065460075f8282546109ae919061118d565b925050819055507f0000000000000000000000007e898711b28d376297be8b12ac9c4b18cf09882473ffffffffffffffffffffffffffffffffffffffff163073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610a329190611027565b60405180910390a350565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610aab576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aa290611522565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610b19576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b109061158a565b60405180910390fd5b8060025f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610bf39190611027565b60405180910390a3505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610c6e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c65906115f2565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610cdc576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cd39061165a565b60405180910390fd5b8060015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610d5c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d53906116c2565b60405180910390fd5b8060015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610da8919061115a565b925050819055508060015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610dfb919061118d565b925050819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610e5f9190611027565b60405180910390a3505050565b5f81519050919050565b5f82825260208201905092915050565b5f5b83811015610ea3578082015181840152602081019050610e88565b5f8484015250505050565b5f601f19601f8301169050919050565b5f610ec882610e6c565b610ed28185610e76565b9350610ee2818560208601610e86565b610eeb81610eae565b840191505092915050565b5f6020820190508181035f830152610f0e8184610ebe565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610f4382610f1a565b9050919050565b610f5381610f39565b8114610f5d575f80fd5b50565b5f81359050610f6e81610f4a565b92915050565b5f819050919050565b610f8681610f74565b8114610f90575f80fd5b50565b5f81359050610fa181610f7d565b92915050565b5f8060408385031215610fbd57610fbc610f16565b5b5f610fca85828601610f60565b9250506020610fdb85828601610f93565b9150509250929050565b5f8115159050919050565b610ff981610fe5565b82525050565b5f6020820190506110125f830184610ff0565b92915050565b61102181610f74565b82525050565b5f60208201905061103a5f830184611018565b92915050565b5f805f6060848603121561105757611056610f16565b5b5f61106486828701610f60565b935050602061107586828701610f60565b925050604061108686828701610f93565b9150509250925092565b5f60ff82169050919050565b6110a581611090565b82525050565b5f6020820190506110be5f83018461109c565b92915050565b5f602082840312156110d9576110d8610f16565b5b5f6110e684828501610f60565b91505092915050565b5f806040838503121561110557611104610f16565b5b5f61111285828601610f60565b925050602061112385828601610f60565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61116482610f74565b915061116f83610f74565b92508282039050818111156111875761118661112d565b5b92915050565b5f61119782610f74565b91506111a283610f74565b92508282019050808211156111ba576111b961112d565b5b92915050565b7f4f6e6c7920746865206f776e65722063616e2063616c6c20746869732066756e5f8201527f6374696f6e000000000000000000000000000000000000000000000000000000602082015250565b5f61121a602583610e76565b9150611225826111c0565b604082019050919050565b5f6020820190508181035f8301526112478161120e565b9050919050565b7f536f6369616c20737570706c792072656c6561736520696e74657276616c206e5f8201527f6f74207265616368656420796574000000000000000000000000000000000000602082015250565b5f6112a8602e83610e76565b91506112b38261124e565b604082019050919050565b5f6020820190508181035f8301526112d58161129c565b9050919050565b5f6112e682610f74565b91506112f183610f74565b92508282026112ff81610f74565b915082820484148315176113165761131561112d565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f61135482610f74565b915061135f83610f74565b92508261136f5761136e61131d565b5b828204905092915050565b7f4e6f206d6f726520746f6b656e7320746f2072656c65617365000000000000005f82015250565b5f6113ae601983610e76565b91506113b98261137a565b602082019050919050565b5f6020820190508181035f8301526113db816113a2565b9050919050565b7f5465616d20737570706c79206e6f7420756e6c6f636b656420796574000000005f82015250565b5f611416601c83610e76565b9150611421826113e2565b602082019050919050565b5f6020820190508181035f8301526114438161140a565b9050919050565b7f5465616d20737570706c792072656c6561736520696e74657276616c206e6f745f8201527f2072656163686564207965740000000000000000000000000000000000000000602082015250565b5f6114a4602c83610e76565b91506114af8261144a565b604082019050919050565b5f6020820190508181035f8301526114d181611498565b9050919050565b7f417070726f76652066726f6d20746865207a65726f20616464726573730000005f82015250565b5f61150c601d83610e76565b9150611517826114d8565b602082019050919050565b5f6020820190508181035f83015261153981611500565b9050919050565b7f417070726f766520746f20746865207a65726f206164647265737300000000005f82015250565b5f611574601b83610e76565b915061157f82611540565b602082019050919050565b5f6020820190508181035f8301526115a181611568565b9050919050565b7f5472616e736665722066726f6d20746865207a65726f206164647265737300005f82015250565b5f6115dc601e83610e76565b91506115e7826115a8565b602082019050919050565b5f6020820190508181035f830152611609816115d0565b9050919050565b7f5472616e7366657220746f20746865207a65726f2061646472657373000000005f82015250565b5f611644601c83610e76565b915061164f82611610565b602082019050919050565b5f6020820190508181035f83015261167181611638565b9050919050565b7f496e73756666696369656e742062616c616e63650000000000000000000000005f82015250565b5f6116ac601483610e76565b91506116b782611678565b602082019050919050565b5f6020820190508181035f8301526116d9816116a0565b905091905056fea26469706673582212206168ee0eff00098c6ee7c619d0090a36769b775c5439462d35be58594f6dd83d64736f6c63430008180033

430:5914:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;455:40;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3527:152;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2996:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3687:255;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;551:35;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3950:205;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4958:602;;;:::i;:::-;;3097:112;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;502:42;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4163:215;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3217:158;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3383:136;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4386:564;;;:::i;:::-;;455:40;;;;;;;;;;;;;;;;;;;:::o;3527:152::-;3595:4;3612:37;3621:10;3633:7;3642:6;3612:8;:37::i;:::-;3667:4;3660:11;;3527:152;;;;:::o;2996:93::-;3042:7;3069:12;;3062:19;;2996:93;:::o;3687:255::-;3778:4;3795:36;3805:6;3813:9;3824:6;3795:9;:36::i;:::-;3842:70;3851:6;3859:10;3905:6;3871:11;:19;3883:6;3871:19;;;;;;;;;;;;;;;:31;3891:10;3871:31;;;;;;;;;;;;;;;;:40;;;;:::i;:::-;3842:8;:70::i;:::-;3930:4;3923:11;;3687:255;;;;;:::o;551:35::-;584:2;551:35;:::o;3950:205::-;4032:4;4049:76;4058:10;4070:7;4114:10;4079:11;:23;4091:10;4079:23;;;;;;;;;;;;;;;:32;4103:7;4079:32;;;;;;;;;;;;;;;;:45;;;;:::i;:::-;4049:8;:76::i;:::-;4143:4;4136:11;;3950:205;;;;:::o;4958:602::-;1604:12;1590:26;;:10;:26;;;1582:76;;;;;;;;;;;;:::i;:::-;;;;;;;;;5072:22:::1;;5046:23;;:48;;;;:::i;:::-;5027:15;:67;;5019:126;;;;;;;;;;;;:::i;:::-;;;;;;;;;5158:21;5204:4;5198:2;5183:12;;:17;;;;:::i;:::-;5182:26;;;;:::i;:::-;5158:50;;5280:1;5264:13;:17;5256:55;;;;;;;;;;;;:::i;:::-;;;;;;;;;5360:13;5324:9;:32;5334:21;5324:32;;;;;;;;;;;;;;;;:49;;;;;;;:::i;:::-;;;;;;;;5400:13;5384:12;::::0;:29:::1;;;;;;;:::i;:::-;;;;;;;;5451:22;;5424:23;;:49;;;;;;;:::i;:::-;;;;;;;;5515:21;5491:61;;5508:4;5491:61;;;5538:13;5491:61;;;;;;:::i;:::-;;;;;;;;5008:552;4958:602::o:0;3097:112::-;3156:7;3183:9;:18;3193:7;3183:18;;;;;;;;;;;;;;;;3176:25;;3097:112;;;:::o;502:42::-;;;;;;;;;;;;;;;;;;;:::o;4163:215::-;4250:4;4267:81;4276:10;4288:7;4332:15;4297:11;:23;4309:10;4297:23;;;;;;;;;;;;;;;:32;4321:7;4297:32;;;;;;;;;;;;;;;;:50;;;;:::i;:::-;4267:8;:81::i;:::-;4366:4;4359:11;;4163:215;;;;:::o;3217:158::-;3288:4;3305:40;3315:10;3327:9;3338:6;3305:9;:40::i;:::-;3363:4;3356:11;;3217:158;;;;:::o;3383:136::-;3457:7;3484:11;:18;3496:5;3484:18;;;;;;;;;;;;;;;:27;3503:7;3484:27;;;;;;;;;;;;;;;;3477:34;;3383:136;;;;:::o;4386:564::-;1474:15;;1455;:34;;1447:75;;;;;;;;;;;;:::i;:::-;;;;;;;;;4508:15:::1;4484:20;;4460:21;;:44;;;;:::i;:::-;:63;;4452:120;;;;;;;;;;;;:::i;:::-;;;;;;;;;4585:21;4609:18;;4585:42;;4658:11;;4642:13;:27;4638:87;;;4702:11;;4686:27;;4638:87;4764:13;4737:9;:23;4747:12;4737:23;;;;;;;;;;;;;;;;:40;;;;;;;:::i;:::-;;;;;;;;4803:13;4788:11;;:28;;;;;;;:::i;:::-;;;;;;;;4852:20;;4827:21;;:45;;;;;;;:::i;:::-;;;;;;;;4914:12;4890:52;;4907:4;4890:52;;;4928:13;4890:52;;;;;;:::i;:::-;;;;;;;;4441:509;4386:564::o:0;6017:324::-;6128:1;6111:19;;:5;:19;;;6103:61;;;;;;;;;;;;:::i;:::-;;;;;;;;;6202:1;6183:21;;:7;:21;;;6175:61;;;;;;;;;;;;:::i;:::-;;;;;;;;;6279:6;6249:11;:18;6261:5;6249:18;;;;;;;;;;;;;;;:27;6268:7;6249:27;;;;;;;;;;;;;;;:36;;;;6317:7;6301:32;;6310:5;6301:32;;;6326:6;6301:32;;;;;;:::i;:::-;;;;;;;;6017:324;;;:::o;5568:441::-;5684:1;5666:20;;:6;:20;;;5658:63;;;;;;;;;;;;:::i;:::-;;;;;;;;;5761:1;5740:23;;:9;:23;;;5732:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;5836:6;5815:9;:17;5825:6;5815:17;;;;;;;;;;;;;;;;:27;;5807:60;;;;;;;;;;;;:::i;:::-;;;;;;;;;5901:6;5880:9;:17;5890:6;5880:17;;;;;;;;;;;;;;;;:27;;;;;;;:::i;:::-;;;;;;;;5942:6;5918:9;:20;5928:9;5918:20;;;;;;;;;;;;;;;;:30;;;;;;;:::i;:::-;;;;;;;;5983:9;5966:35;;5975:6;5966:35;;;5994:6;5966:35;;;;;;:::i;:::-;;;;;;;;5568:441;;;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:246::-;368:1;378:113;392:6;389:1;386:13;378:113;;;477:1;472:3;468:11;462:18;458:1;453:3;449:11;442:39;414:2;411:1;407:10;402:15;;378:113;;;525:1;516:6;511:3;507:16;500:27;349:184;287:246;;;:::o;539:102::-;580:6;631:2;627:7;622:2;615:5;611:14;607:28;597:38;;539:102;;;:::o;647:377::-;735:3;763:39;796:5;763:39;:::i;:::-;818:71;882:6;877:3;818:71;:::i;:::-;811:78;;898:65;956:6;951:3;944:4;937:5;933:16;898:65;:::i;:::-;988:29;1010:6;988:29;:::i;:::-;983:3;979:39;972:46;;739:285;647:377;;;;:::o;1030:313::-;1143:4;1181:2;1170:9;1166:18;1158:26;;1230:9;1224:4;1220:20;1216:1;1205:9;1201:17;1194:47;1258:78;1331:4;1322:6;1258:78;:::i;:::-;1250:86;;1030:313;;;;:::o;1430:117::-;1539:1;1536;1529:12;1676:126;1713:7;1753:42;1746:5;1742:54;1731:65;;1676:126;;;:::o;1808:96::-;1845:7;1874:24;1892:5;1874:24;:::i;:::-;1863:35;;1808:96;;;:::o;1910:122::-;1983:24;2001:5;1983:24;:::i;:::-;1976:5;1973:35;1963:63;;2022:1;2019;2012:12;1963:63;1910:122;:::o;2038:139::-;2084:5;2122:6;2109:20;2100:29;;2138:33;2165:5;2138:33;:::i;:::-;2038:139;;;;:::o;2183:77::-;2220:7;2249:5;2238:16;;2183:77;;;:::o;2266:122::-;2339:24;2357:5;2339:24;:::i;:::-;2332:5;2329:35;2319:63;;2378:1;2375;2368:12;2319:63;2266:122;:::o;2394:139::-;2440:5;2478:6;2465:20;2456:29;;2494:33;2521:5;2494:33;:::i;:::-;2394:139;;;;:::o;2539:474::-;2607:6;2615;2664:2;2652:9;2643:7;2639:23;2635:32;2632:119;;;2670:79;;:::i;:::-;2632:119;2790:1;2815:53;2860:7;2851:6;2840:9;2836:22;2815:53;:::i;:::-;2805:63;;2761:117;2917:2;2943:53;2988:7;2979:6;2968:9;2964:22;2943:53;:::i;:::-;2933:63;;2888:118;2539:474;;;;;:::o;3019:90::-;3053:7;3096:5;3089:13;3082:21;3071:32;;3019:90;;;:::o;3115:109::-;3196:21;3211:5;3196:21;:::i;:::-;3191:3;3184:34;3115:109;;:::o;3230:210::-;3317:4;3355:2;3344:9;3340:18;3332:26;;3368:65;3430:1;3419:9;3415:17;3406:6;3368:65;:::i;:::-;3230:210;;;;:::o;3446:118::-;3533:24;3551:5;3533:24;:::i;:::-;3528:3;3521:37;3446:118;;:::o;3570:222::-;3663:4;3701:2;3690:9;3686:18;3678:26;;3714:71;3782:1;3771:9;3767:17;3758:6;3714:71;:::i;:::-;3570:222;;;;:::o;3798:619::-;3875:6;3883;3891;3940:2;3928:9;3919:7;3915:23;3911:32;3908:119;;;3946:79;;:::i;:::-;3908:119;4066:1;4091:53;4136:7;4127:6;4116:9;4112:22;4091:53;:::i;:::-;4081:63;;4037:117;4193:2;4219:53;4264:7;4255:6;4244:9;4240:22;4219:53;:::i;:::-;4209:63;;4164:118;4321:2;4347:53;4392:7;4383:6;4372:9;4368:22;4347:53;:::i;:::-;4337:63;;4292:118;3798:619;;;;;:::o;4423:86::-;4458:7;4498:4;4491:5;4487:16;4476:27;;4423:86;;;:::o;4515:112::-;4598:22;4614:5;4598:22;:::i;:::-;4593:3;4586:35;4515:112;;:::o;4633:214::-;4722:4;4760:2;4749:9;4745:18;4737:26;;4773:67;4837:1;4826:9;4822:17;4813:6;4773:67;:::i;:::-;4633:214;;;;:::o;4853:329::-;4912:6;4961:2;4949:9;4940:7;4936:23;4932:32;4929:119;;;4967:79;;:::i;:::-;4929:119;5087:1;5112:53;5157:7;5148:6;5137:9;5133:22;5112:53;:::i;:::-;5102:63;;5058:117;4853:329;;;;:::o;5188:474::-;5256:6;5264;5313:2;5301:9;5292:7;5288:23;5284:32;5281:119;;;5319:79;;:::i;:::-;5281:119;5439:1;5464:53;5509:7;5500:6;5489:9;5485:22;5464:53;:::i;:::-;5454:63;;5410:117;5566:2;5592:53;5637:7;5628:6;5617:9;5613:22;5592:53;:::i;:::-;5582:63;;5537:118;5188:474;;;;;:::o;5668:180::-;5716:77;5713:1;5706:88;5813:4;5810:1;5803:15;5837:4;5834:1;5827:15;5854:194;5894:4;5914:20;5932:1;5914:20;:::i;:::-;5909:25;;5948:20;5966:1;5948:20;:::i;:::-;5943:25;;5992:1;5989;5985:9;5977:17;;6016:1;6010:4;6007:11;6004:37;;;6021:18;;:::i;:::-;6004:37;5854:194;;;;:::o;6054:191::-;6094:3;6113:20;6131:1;6113:20;:::i;:::-;6108:25;;6147:20;6165:1;6147:20;:::i;:::-;6142:25;;6190:1;6187;6183:9;6176:16;;6211:3;6208:1;6205:10;6202:36;;;6218:18;;:::i;:::-;6202:36;6054:191;;;;:::o;6251:224::-;6391:34;6387:1;6379:6;6375:14;6368:58;6460:7;6455:2;6447:6;6443:15;6436:32;6251:224;:::o;6481:366::-;6623:3;6644:67;6708:2;6703:3;6644:67;:::i;:::-;6637:74;;6720:93;6809:3;6720:93;:::i;:::-;6838:2;6833:3;6829:12;6822:19;;6481:366;;;:::o;6853:419::-;7019:4;7057:2;7046:9;7042:18;7034:26;;7106:9;7100:4;7096:20;7092:1;7081:9;7077:17;7070:47;7134:131;7260:4;7134:131;:::i;:::-;7126:139;;6853:419;;;:::o;7278:233::-;7418:34;7414:1;7406:6;7402:14;7395:58;7487:16;7482:2;7474:6;7470:15;7463:41;7278:233;:::o;7517:366::-;7659:3;7680:67;7744:2;7739:3;7680:67;:::i;:::-;7673:74;;7756:93;7845:3;7756:93;:::i;:::-;7874:2;7869:3;7865:12;7858:19;;7517:366;;;:::o;7889:419::-;8055:4;8093:2;8082:9;8078:18;8070:26;;8142:9;8136:4;8132:20;8128:1;8117:9;8113:17;8106:47;8170:131;8296:4;8170:131;:::i;:::-;8162:139;;7889:419;;;:::o;8314:410::-;8354:7;8377:20;8395:1;8377:20;:::i;:::-;8372:25;;8411:20;8429:1;8411:20;:::i;:::-;8406:25;;8466:1;8463;8459:9;8488:30;8506:11;8488:30;:::i;:::-;8477:41;;8667:1;8658:7;8654:15;8651:1;8648:22;8628:1;8621:9;8601:83;8578:139;;8697:18;;:::i;:::-;8578:139;8362:362;8314:410;;;;:::o;8730:180::-;8778:77;8775:1;8768:88;8875:4;8872:1;8865:15;8899:4;8896:1;8889:15;8916:185;8956:1;8973:20;8991:1;8973:20;:::i;:::-;8968:25;;9007:20;9025:1;9007:20;:::i;:::-;9002:25;;9046:1;9036:35;;9051:18;;:::i;:::-;9036:35;9093:1;9090;9086:9;9081:14;;8916:185;;;;:::o;9107:175::-;9247:27;9243:1;9235:6;9231:14;9224:51;9107:175;:::o;9288:366::-;9430:3;9451:67;9515:2;9510:3;9451:67;:::i;:::-;9444:74;;9527:93;9616:3;9527:93;:::i;:::-;9645:2;9640:3;9636:12;9629:19;;9288:366;;;:::o;9660:419::-;9826:4;9864:2;9853:9;9849:18;9841:26;;9913:9;9907:4;9903:20;9899:1;9888:9;9884:17;9877:47;9941:131;10067:4;9941:131;:::i;:::-;9933:139;;9660:419;;;:::o;10085:178::-;10225:30;10221:1;10213:6;10209:14;10202:54;10085:178;:::o;10269:366::-;10411:3;10432:67;10496:2;10491:3;10432:67;:::i;:::-;10425:74;;10508:93;10597:3;10508:93;:::i;:::-;10626:2;10621:3;10617:12;10610:19;;10269:366;;;:::o;10641:419::-;10807:4;10845:2;10834:9;10830:18;10822:26;;10894:9;10888:4;10884:20;10880:1;10869:9;10865:17;10858:47;10922:131;11048:4;10922:131;:::i;:::-;10914:139;;10641:419;;;:::o;11066:231::-;11206:34;11202:1;11194:6;11190:14;11183:58;11275:14;11270:2;11262:6;11258:15;11251:39;11066:231;:::o;11303:366::-;11445:3;11466:67;11530:2;11525:3;11466:67;:::i;:::-;11459:74;;11542:93;11631:3;11542:93;:::i;:::-;11660:2;11655:3;11651:12;11644:19;;11303:366;;;:::o;11675:419::-;11841:4;11879:2;11868:9;11864:18;11856:26;;11928:9;11922:4;11918:20;11914:1;11903:9;11899:17;11892:47;11956:131;12082:4;11956:131;:::i;:::-;11948:139;;11675:419;;;:::o;12100:179::-;12240:31;12236:1;12228:6;12224:14;12217:55;12100:179;:::o;12285:366::-;12427:3;12448:67;12512:2;12507:3;12448:67;:::i;:::-;12441:74;;12524:93;12613:3;12524:93;:::i;:::-;12642:2;12637:3;12633:12;12626:19;;12285:366;;;:::o;12657:419::-;12823:4;12861:2;12850:9;12846:18;12838:26;;12910:9;12904:4;12900:20;12896:1;12885:9;12881:17;12874:47;12938:131;13064:4;12938:131;:::i;:::-;12930:139;;12657:419;;;:::o;13082:177::-;13222:29;13218:1;13210:6;13206:14;13199:53;13082:177;:::o;13265:366::-;13407:3;13428:67;13492:2;13487:3;13428:67;:::i;:::-;13421:74;;13504:93;13593:3;13504:93;:::i;:::-;13622:2;13617:3;13613:12;13606:19;;13265:366;;;:::o;13637:419::-;13803:4;13841:2;13830:9;13826:18;13818:26;;13890:9;13884:4;13880:20;13876:1;13865:9;13861:17;13854:47;13918:131;14044:4;13918:131;:::i;:::-;13910:139;;13637:419;;;:::o;14062:180::-;14202:32;14198:1;14190:6;14186:14;14179:56;14062:180;:::o;14248:366::-;14390:3;14411:67;14475:2;14470:3;14411:67;:::i;:::-;14404:74;;14487:93;14576:3;14487:93;:::i;:::-;14605:2;14600:3;14596:12;14589:19;;14248:366;;;:::o;14620:419::-;14786:4;14824:2;14813:9;14809:18;14801:26;;14873:9;14867:4;14863:20;14859:1;14848:9;14844:17;14837:47;14901:131;15027:4;14901:131;:::i;:::-;14893:139;;14620:419;;;:::o;15045:178::-;15185:30;15181:1;15173:6;15169:14;15162:54;15045:178;:::o;15229:366::-;15371:3;15392:67;15456:2;15451:3;15392:67;:::i;:::-;15385:74;;15468:93;15557:3;15468:93;:::i;:::-;15586:2;15581:3;15577:12;15570:19;;15229:366;;;:::o;15601:419::-;15767:4;15805:2;15794:9;15790:18;15782:26;;15854:9;15848:4;15844:20;15840:1;15829:9;15825:17;15818:47;15882:131;16008:4;15882:131;:::i;:::-;15874:139;;15601:419;;;:::o;16026:170::-;16166:22;16162:1;16154:6;16150:14;16143:46;16026:170;:::o;16202:366::-;16344:3;16365:67;16429:2;16424:3;16365:67;:::i;:::-;16358:74;;16441:93;16530:3;16441:93;:::i;:::-;16559:2;16554:3;16550:12;16543:19;;16202:366;;;:::o;16574:419::-;16740:4;16778:2;16767:9;16763:18;16755:26;;16827:9;16821:4;16817:20;16813:1;16802:9;16798:17;16791:47;16855:131;16981:4;16855:131;:::i;:::-;16847:139;;16574:419;;;:::o

ipfs://6168ee0eff00098c6ee7c619d0090a36769b775c5439462d35be58594f6dd83d