Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

interface ERC20    - function totalSupply()    - function balanceOf(address who)    - function allowance(address owner, add ...    - function transfer(address to, uint256 ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ...  contract AUDITAI is ERC20 *    - function totalSupply()    - function balanceOf(address player)    - function allowance(address player, ad ...    - function transfer(address to, uint256 ...    - function multiTransfer(address[] memo ...    - function approve(address spender, uin ...    - function transferFrom(address from, a ...    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function burn(uint256 amount) library SafeMath    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function add(uint256 a, uint256 b)    - function ceil(uint256 a, uint256 m)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-10-28
*/

/**
 ____  _     ____  _  _____    ____  _ 
/  _ \/ \ /\/  _ \/ \/__ __\  /  _ \/ \
| / \|| | ||| | \|| |  / \    | / \|| |
| |-||| \_/|| |_/|| |  | |    | |-||| |
\_/ \|\____/\____/\_/  \_/    \_/ \|\_/
                                       
*/

// SPDX-License-Identifier: MIT 

// Website: https://auditai.click

// Telegram: https://t.me/auditaieth

// Twitter: https://twitter.com/auditaieth

pragma solidity ^0.8.18;

interface ERC20 {
  function totalSupply() external view returns (uint256);
  function balanceOf(address who) external view returns (uint256);
  function allowance(address owner, address spender) external view returns (uint256);
  function transfer(address to, uint256 value) external returns (bool);
  function approve(address spender, uint256 value) external returns (bool);
  function transferFrom(address from, address to, uint256 value) external returns (bool);

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

contract AUDITAI is ERC20 {
  using SafeMath for uint256;

  mapping (address => uint256) private balances;
  mapping (address => mapping (address => uint256)) private allowed;
  string public constant name  = "AUDIT.AI";
  string public constant symbol = "AUDITAI";
  uint8 public constant decimals = 18;
  
  address owner = msg.sender;

  uint256 _totalSupply = 100000000 * (10 ** 18);

  constructor() {
    balances[msg.sender] = _totalSupply;
    emit Transfer(address(0), msg.sender, _totalSupply);
  }

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

  function balanceOf(address player) public view returns (uint256) {
    return balances[player];
  }

  function allowance(address player, address spender) public view returns (uint256) {
    return allowed[player][spender];
  }


  function transfer(address to, uint256 value) public returns (bool) {
    require(value <= balances[msg.sender]);
    require(to != address(0));

    balances[msg.sender] = balances[msg.sender].sub(value);
    balances[to] = balances[to].add(value);

    emit Transfer(msg.sender, to, value);
    return true;
  }

  function multiTransfer(address[] memory receivers, uint256[] memory amounts) public {
    for (uint256 i = 0; i < receivers.length; i++) {
      transfer(receivers[i], amounts[i]);
    }
  }

  function approve(address spender, uint256 value) public returns (bool) {
    require(spender != address(0));
    allowed[msg.sender][spender] = value;
    emit Approval(msg.sender, spender, value);
    return true;
  }

  function transferFrom(address from, address to, uint256 value) public returns (bool) {
    require(value <= balances[from]);
    require(value <= allowed[from][msg.sender]);
    require(to != address(0));
    
    balances[from] = balances[from].sub(value);
    balances[to] = balances[to].add(value);
    
    allowed[from][msg.sender] = allowed[from][msg.sender].sub(value);
    
    emit Transfer(from, to, value);
    return true;
  }

  function increaseAllowance(address spender, uint256 addedValue) public returns (bool) {
    require(spender != address(0));
    allowed[msg.sender][spender] = allowed[msg.sender][spender].add(addedValue);
    emit Approval(msg.sender, spender, allowed[msg.sender][spender]);
    return true;
  }

  function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {
    require(spender != address(0));
    allowed[msg.sender][spender] = allowed[msg.sender][spender].sub(subtractedValue);
    emit Approval(msg.sender, spender, allowed[msg.sender][spender]);
    return true;
  }

  function burn(uint256 amount) external {
    require(amount != 0);
    require(amount <= balances[msg.sender]);
    _totalSupply = _totalSupply.sub(amount);
    balances[msg.sender] = balances[msg.sender].sub(amount);
    emit Transfer(msg.sender, address(0), amount);
  }

}




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

  function div(uint256 a, uint256 b) internal pure returns (uint256) {
    uint256 c = a / b;
    return c;
  }

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

  function add(uint256 a, uint256 b) internal pure returns (uint256) {
    uint256 c = a + b;
    require(c >= a);
    return c;
  }

  function ceil(uint256 a, uint256 m) internal pure returns (uint256) {
    uint256 c = add(a,m);
    uint256 d = sub(c,1);
    return mul(div(d,m),m);
  }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"player","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"player","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address[]","name":"receivers","type":"address[]"},{"internalType":"uint256[]","name":"amounts","type":"uint256[]"}],"name":"multiTransfer","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

608060405233600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506a52b7d2dcc80cd2e400000060035534801561006057600080fd5b506003546000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef600354604051610106919061012c565b60405180910390a3610147565b6000819050919050565b61012681610113565b82525050565b6000602082019050610141600083018461011d565b92915050565b611887806101566000396000f3fe608060405234801561001057600080fd5b50600436106100cf5760003560e01c8063395093511161008c57806395d89b411161006657806395d89b4114610226578063a457c2d714610244578063a9059cbb14610274578063dd62ed3e146102a4576100cf565b806339509351146101aa57806342966c68146101da57806370a08231146101f6576100cf565b806306fdde03146100d4578063095ea7b3146100f257806318160ddd146101225780631e89d5451461014057806323b872dd1461015c578063313ce5671461018c575b600080fd5b6100dc6102d4565b6040516100e99190611232565b60405180910390f35b61010c600480360381019061010791906112fc565b61030d565b6040516101199190611357565b60405180910390f35b61012a610437565b6040516101379190611381565b60405180910390f35b61015a600480360381019061015591906115a7565b610441565b005b6101766004803603810190610171919061161f565b6104a4565b6040516101839190611357565b60405180910390f35b610194610858565b6040516101a1919061168e565b60405180910390f35b6101c460048036038101906101bf91906112fc565b61085d565b6040516101d19190611357565b60405180910390f35b6101f460048036038101906101ef91906116a9565b610a91565b005b610210600480360381019061020b91906116d6565b610c00565b60405161021d9190611381565b60405180910390f35b61022e610c48565b60405161023b9190611232565b60405180910390f35b61025e600480360381019061025991906112fc565b610c81565b60405161026b9190611357565b60405180910390f35b61028e600480360381019061028991906112fc565b610eb5565b60405161029b9190611357565b60405180910390f35b6102be60048036038101906102b99190611703565b6110d0565b6040516102cb9190611381565b60405180910390f35b6040518060400160405280600881526020017f41554449542e414900000000000000000000000000000000000000000000000081525081565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361034757600080fd5b81600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516104259190611381565b60405180910390a36001905092915050565b6000600354905090565b60005b825181101561049f5761048b83828151811061046357610462611743565b5b602002602001015183838151811061047e5761047d611743565b5b6020026020010151610eb5565b508080610497906117a1565b915050610444565b505050565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156104f157600080fd5b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561057a57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036105b357600080fd5b610604826000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461115790919063ffffffff16565b6000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610697826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461117a90919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061076882600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461115790919063ffffffff16565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516108459190611381565b60405180910390a3600190509392505050565b601281565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361089757600080fd5b61092682600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461117a90919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054604051610a7f9190611381565b60405180910390a36001905092915050565b60008103610a9e57600080fd5b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054811115610ae957600080fd5b610afe8160035461115790919063ffffffff16565b600381905550610b55816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461115790919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610bf59190611381565b60405180910390a350565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6040518060400160405280600781526020017f415544495441490000000000000000000000000000000000000000000000000081525081565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610cbb57600080fd5b610d4a82600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461115790919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054604051610ea39190611381565b60405180910390a36001905092915050565b60008060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115610f0257600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610f3b57600080fd5b610f8c826000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461115790919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061101f826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461117a90919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516110be9190611381565b60405180910390a36001905092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60008282111561116657600080fd5b818361117291906117e9565b905092915050565b6000808284611189919061181d565b90508381101561119857600080fd5b8091505092915050565b600081519050919050565b600082825260208201905092915050565b60005b838110156111dc5780820151818401526020810190506111c1565b60008484015250505050565b6000601f19601f8301169050919050565b6000611204826111a2565b61120e81856111ad565b935061121e8185602086016111be565b611227816111e8565b840191505092915050565b6000602082019050818103600083015261124c81846111f9565b905092915050565b6000604051905090565b600080fd5b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b600061129382611268565b9050919050565b6112a381611288565b81146112ae57600080fd5b50565b6000813590506112c08161129a565b92915050565b6000819050919050565b6112d9816112c6565b81146112e457600080fd5b50565b6000813590506112f6816112d0565b92915050565b600080604083850312156113135761131261125e565b5b6000611321858286016112b1565b9250506020611332858286016112e7565b9150509250929050565b60008115159050919050565b6113518161133c565b82525050565b600060208201905061136c6000830184611348565b92915050565b61137b816112c6565b82525050565b60006020820190506113966000830184611372565b92915050565b600080fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6113d9826111e8565b810181811067ffffffffffffffff821117156113f8576113f76113a1565b5b80604052505050565b600061140b611254565b905061141782826113d0565b919050565b600067ffffffffffffffff821115611437576114366113a1565b5b602082029050602081019050919050565b600080fd5b600061146061145b8461141c565b611401565b9050808382526020820190506020840283018581111561148357611482611448565b5b835b818110156114ac578061149888826112b1565b845260208401935050602081019050611485565b5050509392505050565b600082601f8301126114cb576114ca61139c565b5b81356114db84826020860161144d565b91505092915050565b600067ffffffffffffffff8211156114ff576114fe6113a1565b5b602082029050602081019050919050565b600061152361151e846114e4565b611401565b9050808382526020820190506020840283018581111561154657611545611448565b5b835b8181101561156f578061155b88826112e7565b845260208401935050602081019050611548565b5050509392505050565b600082601f83011261158e5761158d61139c565b5b813561159e848260208601611510565b91505092915050565b600080604083850312156115be576115bd61125e565b5b600083013567ffffffffffffffff8111156115dc576115db611263565b5b6115e8858286016114b6565b925050602083013567ffffffffffffffff81111561160957611608611263565b5b61161585828601611579565b9150509250929050565b6000806000606084860312156116385761163761125e565b5b6000611646868287016112b1565b9350506020611657868287016112b1565b9250506040611668868287016112e7565b9150509250925092565b600060ff82169050919050565b61168881611672565b82525050565b60006020820190506116a3600083018461167f565b92915050565b6000602082840312156116bf576116be61125e565b5b60006116cd848285016112e7565b91505092915050565b6000602082840312156116ec576116eb61125e565b5b60006116fa848285016112b1565b91505092915050565b6000806040838503121561171a5761171961125e565b5b6000611728858286016112b1565b9250506020611739858286016112b1565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006117ac826112c6565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82036117de576117dd611772565b5b600182019050919050565b60006117f4826112c6565b91506117ff836112c6565b925082820390508181111561181757611816611772565b5b92915050565b6000611828826112c6565b9150611833836112c6565b925082820190508082111561184b5761184a611772565b5b9291505056fea26469706673582212209770a0760e6fb0c81d63fb40e88b8e1b521ea5e2105c1647618d5309d07f5ff264736f6c63430008120033

0x608060405234801561001057600080fd5b50600436106100cf5760003560e01c8063395093511161008c57806395d89b411161006657806395d89b4114610226578063a457c2d714610244578063a9059cbb14610274578063dd62ed3e146102a4576100cf565b806339509351146101aa57806342966c68146101da57806370a08231146101f6576100cf565b806306fdde03146100d4578063095ea7b3146100f257806318160ddd146101225780631e89d5451461014057806323b872dd1461015c578063313ce5671461018c575b600080fd5b6100dc6102d4565b6040516100e99190611232565b60405180910390f35b61010c600480360381019061010791906112fc565b61030d565b6040516101199190611357565b60405180910390f35b61012a610437565b6040516101379190611381565b60405180910390f35b61015a600480360381019061015591906115a7565b610441565b005b6101766004803603810190610171919061161f565b6104a4565b6040516101839190611357565b60405180910390f35b610194610858565b6040516101a1919061168e565b60405180910390f35b6101c460048036038101906101bf91906112fc565b61085d565b6040516101d19190611357565b60405180910390f35b6101f460048036038101906101ef91906116a9565b610a91565b005b610210600480360381019061020b91906116d6565b610c00565b60405161021d9190611381565b60405180910390f35b61022e610c48565b60405161023b9190611232565b60405180910390f35b61025e600480360381019061025991906112fc565b610c81565b60405161026b9190611357565b60405180910390f35b61028e600480360381019061028991906112fc565b610eb5565b60405161029b9190611357565b60405180910390f35b6102be60048036038101906102b99190611703565b6110d0565b6040516102cb9190611381565b60405180910390f35b6040518060400160405280600881526020017f41554449542e414900000000000000000000000000000000000000000000000081525081565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361034757600080fd5b81600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516104259190611381565b60405180910390a36001905092915050565b6000600354905090565b60005b825181101561049f5761048b83828151811061046357610462611743565b5b602002602001015183838151811061047e5761047d611743565b5b6020026020010151610eb5565b508080610497906117a1565b915050610444565b505050565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156104f157600080fd5b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561057a57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036105b357600080fd5b610604826000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461115790919063ffffffff16565b6000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610697826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461117a90919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061076882600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461115790919063ffffffff16565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516108459190611381565b60405180910390a3600190509392505050565b601281565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361089757600080fd5b61092682600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461117a90919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054604051610a7f9190611381565b60405180910390a36001905092915050565b60008103610a9e57600080fd5b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054811115610ae957600080fd5b610afe8160035461115790919063ffffffff16565b600381905550610b55816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461115790919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610bf59190611381565b60405180910390a350565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6040518060400160405280600781526020017f415544495441490000000000000000000000000000000000000000000000000081525081565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610cbb57600080fd5b610d4a82600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461115790919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054604051610ea39190611381565b60405180910390a36001905092915050565b60008060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115610f0257600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610f3b57600080fd5b610f8c826000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461115790919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061101f826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461117a90919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516110be9190611381565b60405180910390a36001905092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60008282111561116657600080fd5b818361117291906117e9565b905092915050565b6000808284611189919061181d565b90508381101561119857600080fd5b8091505092915050565b600081519050919050565b600082825260208201905092915050565b60005b838110156111dc5780820151818401526020810190506111c1565b60008484015250505050565b6000601f19601f8301169050919050565b6000611204826111a2565b61120e81856111ad565b935061121e8185602086016111be565b611227816111e8565b840191505092915050565b6000602082019050818103600083015261124c81846111f9565b905092915050565b6000604051905090565b600080fd5b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b600061129382611268565b9050919050565b6112a381611288565b81146112ae57600080fd5b50565b6000813590506112c08161129a565b92915050565b6000819050919050565b6112d9816112c6565b81146112e457600080fd5b50565b6000813590506112f6816112d0565b92915050565b600080604083850312156113135761131261125e565b5b6000611321858286016112b1565b9250506020611332858286016112e7565b9150509250929050565b60008115159050919050565b6113518161133c565b82525050565b600060208201905061136c6000830184611348565b92915050565b61137b816112c6565b82525050565b60006020820190506113966000830184611372565b92915050565b600080fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6113d9826111e8565b810181811067ffffffffffffffff821117156113f8576113f76113a1565b5b80604052505050565b600061140b611254565b905061141782826113d0565b919050565b600067ffffffffffffffff821115611437576114366113a1565b5b602082029050602081019050919050565b600080fd5b600061146061145b8461141c565b611401565b9050808382526020820190506020840283018581111561148357611482611448565b5b835b818110156114ac578061149888826112b1565b845260208401935050602081019050611485565b5050509392505050565b600082601f8301126114cb576114ca61139c565b5b81356114db84826020860161144d565b91505092915050565b600067ffffffffffffffff8211156114ff576114fe6113a1565b5b602082029050602081019050919050565b600061152361151e846114e4565b611401565b9050808382526020820190506020840283018581111561154657611545611448565b5b835b8181101561156f578061155b88826112e7565b845260208401935050602081019050611548565b5050509392505050565b600082601f83011261158e5761158d61139c565b5b813561159e848260208601611510565b91505092915050565b600080604083850312156115be576115bd61125e565b5b600083013567ffffffffffffffff8111156115dc576115db611263565b5b6115e8858286016114b6565b925050602083013567ffffffffffffffff81111561160957611608611263565b5b61161585828601611579565b9150509250929050565b6000806000606084860312156116385761163761125e565b5b6000611646868287016112b1565b9350506020611657868287016112b1565b9250506040611668868287016112e7565b9150509250925092565b600060ff82169050919050565b61168881611672565b82525050565b60006020820190506116a3600083018461167f565b92915050565b6000602082840312156116bf576116be61125e565b5b60006116cd848285016112e7565b91505092915050565b6000602082840312156116ec576116eb61125e565b5b60006116fa848285016112b1565b91505092915050565b6000806040838503121561171a5761171961125e565b5b6000611728858286016112b1565b9250506020611739858286016112b1565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006117ac826112c6565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82036117de576117dd611772565b5b600182019050919050565b60006117f4826112c6565b91506117ff836112c6565b925082820390508181111561181757611816611772565b5b92915050565b6000611828826112c6565b9150611833836112c6565b925082820190508082111561184b5761184a611772565b5b9291505056fea26469706673582212209770a0760e6fb0c81d63fb40e88b8e1b521ea5e2105c1647618d5309d07f5ff264736f6c63430008120033

1083:2980:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1267:41;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2473:223;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1614:85;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2273:194;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;2702:450;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1359:35;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3158:300;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3780:278;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1705:101;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1313:41;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3464:310;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1946:321;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1812:126;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1267:41;;;;;;;;;;;;;;;;;;;:::o;2473:223::-;2538:4;2578:1;2559:21;;:7;:21;;;2551:30;;;;;;2619:5;2588:7;:19;2596:10;2588:19;;;;;;;;;;;;;;;:28;2608:7;2588:28;;;;;;;;;;;;;;;:36;;;;2657:7;2636:36;;2645:10;2636:36;;;2666:5;2636:36;;;;;;:::i;:::-;;;;;;;;2686:4;2679:11;;2473:223;;;;:::o;1614:85::-;1658:7;1681:12;;1674:19;;1614:85;:::o;2273:194::-;2369:9;2364:98;2388:9;:16;2384:1;:20;2364:98;;;2420:34;2429:9;2439:1;2429:12;;;;;;;;:::i;:::-;;;;;;;;2443:7;2451:1;2443:10;;;;;;;;:::i;:::-;;;;;;;;2420:8;:34::i;:::-;;2406:3;;;;;:::i;:::-;;;;2364:98;;;;2273:194;;:::o;2702:450::-;2781:4;2811:8;:14;2820:4;2811:14;;;;;;;;;;;;;;;;2802:5;:23;;2794:32;;;;;;2850:7;:13;2858:4;2850:13;;;;;;;;;;;;;;;:25;2864:10;2850:25;;;;;;;;;;;;;;;;2841:5;:34;;2833:43;;;;;;2905:1;2891:16;;:2;:16;;;2883:25;;;;;;2938;2957:5;2938:8;:14;2947:4;2938:14;;;;;;;;;;;;;;;;:18;;:25;;;;:::i;:::-;2921:8;:14;2930:4;2921:14;;;;;;;;;;;;;;;:42;;;;2985:23;3002:5;2985:8;:12;2994:2;2985:12;;;;;;;;;;;;;;;;:16;;:23;;;;:::i;:::-;2970:8;:12;2979:2;2970:12;;;;;;;;;;;;;;;:38;;;;3049:36;3079:5;3049:7;:13;3057:4;3049:13;;;;;;;;;;;;;;;:25;3063:10;3049:25;;;;;;;;;;;;;;;;:29;;:36;;;;:::i;:::-;3021:7;:13;3029:4;3021:13;;;;;;;;;;;;;;;:25;3035:10;3021:25;;;;;;;;;;;;;;;:64;;;;3118:2;3103:25;;3112:4;3103:25;;;3122:5;3103:25;;;;;;:::i;:::-;;;;;;;;3142:4;3135:11;;2702:450;;;;;:::o;1359:35::-;1392:2;1359:35;:::o;3158:300::-;3238:4;3278:1;3259:21;;:7;:21;;;3251:30;;;;;;3319:44;3352:10;3319:7;:19;3327:10;3319:19;;;;;;;;;;;;;;;:28;3339:7;3319:28;;;;;;;;;;;;;;;;:32;;:44;;;;:::i;:::-;3288:7;:19;3296:10;3288:19;;;;;;;;;;;;;;;:28;3308:7;3288:28;;;;;;;;;;;;;;;:75;;;;3396:7;3375:59;;3384:10;3375:59;;;3405:7;:19;3413:10;3405:19;;;;;;;;;;;;;;;:28;3425:7;3405:28;;;;;;;;;;;;;;;;3375:59;;;;;;:::i;:::-;;;;;;;;3448:4;3441:11;;3158:300;;;;:::o;3780:278::-;3844:1;3834:6;:11;3826:20;;;;;;3871:8;:20;3880:10;3871:20;;;;;;;;;;;;;;;;3861:6;:30;;3853:39;;;;;;3914:24;3931:6;3914:12;;:16;;:24;;;;:::i;:::-;3899:12;:39;;;;3968:32;3993:6;3968:8;:20;3977:10;3968:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;3945:8;:20;3954:10;3945:20;;;;;;;;;;;;;;;:55;;;;4041:1;4012:40;;4021:10;4012:40;;;4045:6;4012:40;;;;;;:::i;:::-;;;;;;;;3780:278;:::o;1705:101::-;1761:7;1784:8;:16;1793:6;1784:16;;;;;;;;;;;;;;;;1777:23;;1705:101;;;:::o;1313:41::-;;;;;;;;;;;;;;;;;;;:::o;3464:310::-;3549:4;3589:1;3570:21;;:7;:21;;;3562:30;;;;;;3630:49;3663:15;3630:7;:19;3638:10;3630:19;;;;;;;;;;;;;;;:28;3650:7;3630:28;;;;;;;;;;;;;;;;:32;;:49;;;;:::i;:::-;3599:7;:19;3607:10;3599:19;;;;;;;;;;;;;;;:28;3619:7;3599:28;;;;;;;;;;;;;;;:80;;;;3712:7;3691:59;;3700:10;3691:59;;;3721:7;:19;3729:10;3721:19;;;;;;;;;;;;;;;:28;3741:7;3721:28;;;;;;;;;;;;;;;;3691:59;;;;;;:::i;:::-;;;;;;;;3764:4;3757:11;;3464:310;;;;:::o;1946:321::-;2007:4;2037:8;:20;2046:10;2037:20;;;;;;;;;;;;;;;;2028:5;:29;;2020:38;;;;;;2087:1;2073:16;;:2;:16;;;2065:25;;;;;;2122:31;2147:5;2122:8;:20;2131:10;2122:20;;;;;;;;;;;;;;;;:24;;:31;;;;:::i;:::-;2099:8;:20;2108:10;2099:20;;;;;;;;;;;;;;;:54;;;;2175:23;2192:5;2175:8;:12;2184:2;2175:12;;;;;;;;;;;;;;;;:16;;:23;;;;:::i;:::-;2160:8;:12;2169:2;2160:12;;;;;;;;;;;;;;;:38;;;;2233:2;2212:31;;2221:10;2212:31;;;2237:5;2212:31;;;;;;:::i;:::-;;;;;;;;2257:4;2250:11;;1946:321;;;;:::o;1812:126::-;1885:7;1908;:15;1916:6;1908:15;;;;;;;;;;;;;;;:24;1924:7;1908:24;;;;;;;;;;;;;;;;1901:31;;1812:126;;;;:::o;4400:114::-;4458:7;4487:1;4482;:6;;4474:15;;;;;;4507:1;4503;:5;;;;:::i;:::-;4496:12;;4400:114;;;;:::o;4520:134::-;4578:7;4594:9;4610:1;4606;:5;;;;:::i;:::-;4594:17;;4631:1;4626;:6;;4618:15;;;;;;4647:1;4640:8;;;4520:134;;;;:::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;1349:75::-;1382:6;1415:2;1409:9;1399:19;;1349:75;:::o;1430:117::-;1539:1;1536;1529:12;1553:117;1662:1;1659;1652: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:117::-;3907:1;3904;3897:12;3921:180;3969:77;3966:1;3959:88;4066:4;4063:1;4056:15;4090:4;4087:1;4080:15;4107:281;4190:27;4212:4;4190:27;:::i;:::-;4182:6;4178:40;4320:6;4308:10;4305:22;4284:18;4272:10;4269:34;4266:62;4263:88;;;4331:18;;:::i;:::-;4263:88;4371:10;4367:2;4360:22;4150:238;4107:281;;:::o;4394:129::-;4428:6;4455:20;;:::i;:::-;4445:30;;4484:33;4512:4;4504:6;4484:33;:::i;:::-;4394:129;;;:::o;4529:311::-;4606:4;4696:18;4688:6;4685:30;4682:56;;;4718:18;;:::i;:::-;4682:56;4768:4;4760:6;4756:17;4748:25;;4828:4;4822;4818:15;4810:23;;4529:311;;;:::o;4846:117::-;4955:1;4952;4945:12;4986:710;5082:5;5107:81;5123:64;5180:6;5123:64;:::i;:::-;5107:81;:::i;:::-;5098:90;;5208:5;5237:6;5230:5;5223:21;5271:4;5264:5;5260:16;5253:23;;5324:4;5316:6;5312:17;5304:6;5300:30;5353:3;5345:6;5342:15;5339:122;;;5372:79;;:::i;:::-;5339:122;5487:6;5470:220;5504:6;5499:3;5496:15;5470:220;;;5579:3;5608:37;5641:3;5629:10;5608:37;:::i;:::-;5603:3;5596:50;5675:4;5670:3;5666:14;5659:21;;5546:144;5530:4;5525:3;5521:14;5514:21;;5470:220;;;5474:21;5088:608;;4986:710;;;;;:::o;5719:370::-;5790:5;5839:3;5832:4;5824:6;5820:17;5816:27;5806:122;;5847:79;;:::i;:::-;5806:122;5964:6;5951:20;5989:94;6079:3;6071:6;6064:4;6056:6;6052:17;5989:94;:::i;:::-;5980:103;;5796:293;5719:370;;;;:::o;6095:311::-;6172:4;6262:18;6254:6;6251:30;6248:56;;;6284:18;;:::i;:::-;6248:56;6334:4;6326:6;6322:17;6314:25;;6394:4;6388;6384:15;6376:23;;6095:311;;;:::o;6429:710::-;6525:5;6550:81;6566:64;6623:6;6566:64;:::i;:::-;6550:81;:::i;:::-;6541:90;;6651:5;6680:6;6673:5;6666:21;6714:4;6707:5;6703:16;6696:23;;6767:4;6759:6;6755:17;6747:6;6743:30;6796:3;6788:6;6785:15;6782:122;;;6815:79;;:::i;:::-;6782:122;6930:6;6913:220;6947:6;6942:3;6939:15;6913:220;;;7022:3;7051:37;7084:3;7072:10;7051:37;:::i;:::-;7046:3;7039:50;7118:4;7113:3;7109:14;7102:21;;6989:144;6973:4;6968:3;6964:14;6957:21;;6913:220;;;6917:21;6531:608;;6429:710;;;;;:::o;7162:370::-;7233:5;7282:3;7275:4;7267:6;7263:17;7259:27;7249:122;;7290:79;;:::i;:::-;7249:122;7407:6;7394:20;7432:94;7522:3;7514:6;7507:4;7499:6;7495:17;7432:94;:::i;:::-;7423:103;;7239:293;7162:370;;;;:::o;7538:894::-;7656:6;7664;7713:2;7701:9;7692:7;7688:23;7684:32;7681:119;;;7719:79;;:::i;:::-;7681:119;7867:1;7856:9;7852:17;7839:31;7897:18;7889:6;7886:30;7883:117;;;7919:79;;:::i;:::-;7883:117;8024:78;8094:7;8085:6;8074:9;8070:22;8024:78;:::i;:::-;8014:88;;7810:302;8179:2;8168:9;8164:18;8151:32;8210:18;8202:6;8199:30;8196:117;;;8232:79;;:::i;:::-;8196:117;8337:78;8407:7;8398:6;8387:9;8383:22;8337:78;:::i;:::-;8327:88;;8122:303;7538:894;;;;;:::o;8438:619::-;8515:6;8523;8531;8580:2;8568:9;8559:7;8555:23;8551:32;8548:119;;;8586:79;;:::i;:::-;8548:119;8706:1;8731:53;8776:7;8767:6;8756:9;8752:22;8731:53;:::i;:::-;8721:63;;8677:117;8833:2;8859:53;8904:7;8895:6;8884:9;8880:22;8859:53;:::i;:::-;8849:63;;8804:118;8961:2;8987:53;9032:7;9023:6;9012:9;9008:22;8987:53;:::i;:::-;8977:63;;8932:118;8438:619;;;;;:::o;9063:86::-;9098:7;9138:4;9131:5;9127:16;9116:27;;9063:86;;;:::o;9155:112::-;9238:22;9254:5;9238:22;:::i;:::-;9233:3;9226:35;9155:112;;:::o;9273:214::-;9362:4;9400:2;9389:9;9385:18;9377:26;;9413:67;9477:1;9466:9;9462:17;9453:6;9413:67;:::i;:::-;9273:214;;;;:::o;9493:329::-;9552:6;9601:2;9589:9;9580:7;9576:23;9572:32;9569:119;;;9607:79;;:::i;:::-;9569:119;9727:1;9752:53;9797:7;9788:6;9777:9;9773:22;9752:53;:::i;:::-;9742:63;;9698:117;9493:329;;;;:::o;9828:::-;9887:6;9936:2;9924:9;9915:7;9911:23;9907:32;9904:119;;;9942:79;;:::i;:::-;9904:119;10062:1;10087:53;10132:7;10123:6;10112:9;10108:22;10087:53;:::i;:::-;10077:63;;10033:117;9828:329;;;;:::o;10163:474::-;10231:6;10239;10288:2;10276:9;10267:7;10263:23;10259:32;10256:119;;;10294:79;;:::i;:::-;10256:119;10414:1;10439:53;10484:7;10475:6;10464:9;10460:22;10439:53;:::i;:::-;10429:63;;10385:117;10541:2;10567:53;10612:7;10603:6;10592:9;10588:22;10567:53;:::i;:::-;10557:63;;10512:118;10163:474;;;;;:::o;10643:180::-;10691:77;10688:1;10681:88;10788:4;10785:1;10778:15;10812:4;10809:1;10802:15;10829:180;10877:77;10874:1;10867:88;10974:4;10971:1;10964:15;10998:4;10995:1;10988:15;11015:233;11054:3;11077:24;11095:5;11077:24;:::i;:::-;11068:33;;11123:66;11116:5;11113:77;11110:103;;11193:18;;:::i;:::-;11110:103;11240:1;11233:5;11229:13;11222:20;;11015:233;;;:::o;11254:194::-;11294:4;11314:20;11332:1;11314:20;:::i;:::-;11309:25;;11348:20;11366:1;11348:20;:::i;:::-;11343:25;;11392:1;11389;11385:9;11377:17;;11416:1;11410:4;11407:11;11404:37;;;11421:18;;:::i;:::-;11404:37;11254:194;;;;:::o;11454:191::-;11494:3;11513:20;11531:1;11513:20;:::i;:::-;11508:25;;11547:20;11565:1;11547:20;:::i;:::-;11542:25;;11590:1;11587;11583:9;11576:16;;11611:3;11608:1;11605:10;11602:36;;;11618:18;;:::i;:::-;11602:36;11454:191;;;;:::o

ipfs://9770a0760e6fb0c81d63fb40e88b8e1b521ea5e2105c1647618d5309d07f5ff2