Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• 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 totalSupply()
•    - function balanceOf(address who)
•    - function transfer(address to, uint256 ...
•  contract BasicToken is ERC20Basic
•    - function totalSupply()
•    - function transfer(address _to, uint25 ...
•    - function balanceOf(address _owner)
•  contract Ownable
•    - function transferOwnership(address ne ...
•  contract BurnableToken is BasicTok ...
•    - function burn(uint256 _value)
•    - function allowance(address owner, add ...
•    - function transferFrom(address from, a ...
•    - function approve(address spender, uin ...
•  contract StandardToken is ERC20, B ...
•    - function transferFrom(address _from, ...
•    - function approve(address _spender, ui ...
•    - function allowance(address _owner, ad ...
•  contract XTICKET is StandardToken, ... *
•    - function enableTransfer()
•    - function disableTransfer()
•    - function transfer(address to, uint256 ...
•    - function transferFrom(address from, a ...
•    - function burn(uint256 value)
•    - function lockAccount(address addr, ui ...
•    - function unlockAccount(address addr)
•    - function changeAdminAddr(address newA ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-05-19
*/

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

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) {
    require(b > 0);
    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;
  }
}

abstract contract ERC20Basic {
  function totalSupply() public view virtual returns (uint256);
  function balanceOf(address who) public view virtual returns (uint256);
  function transfer(address to, uint256 value) public virtual returns (bool);
  event Transfer(address indexed from, address indexed to, uint256 value);
}

contract BasicToken is ERC20Basic {
  using SafeMath for uint256;

  mapping(address => uint256) balances;

  uint256 totalSupply_;

  function totalSupply() public view virtual override returns (uint256) {
    return totalSupply_;
  }

  function transfer(address _to, uint256 _value) public virtual override returns (bool) {
    require(_to != address(0), "transfer1");
    require(_value <= balances[msg.sender], "transfer2");
    
    balances[msg.sender] = balances[msg.sender].sub(_value);
    balances[_to] = balances[_to].add(_value);

    emit Transfer(msg.sender, _to, _value);
    return true;
  }

  function balanceOf(address _owner) public view virtual override returns (uint256 balance) {
    return balances[_owner];
  }
}

contract Ownable {
  address public owner;

  event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

  constructor() {
    owner = msg.sender;
  }

  modifier onlyOwner() {
    require(msg.sender == owner, "owner");
    _;
  }

  function transferOwnership(address newOwner) public onlyOwner {
    require(newOwner != address(0));
    emit OwnershipTransferred(owner, newOwner);
    owner = newOwner;
  }
}

contract BurnableToken is BasicToken {
  using SafeMath for uint256;
  event Burn(address indexed burner, uint256 value);

  function burn(uint256 _value) public virtual {
    require(_value <= balances[msg.sender]);

    address burner = msg.sender;
    balances[burner] = balances[burner].sub(_value);
    totalSupply_ = totalSupply_.sub(_value);

    emit Burn(burner, _value);
    emit Transfer(burner, address(0), _value);
  }
}

abstract contract ERC20 is ERC20Basic {
  function allowance(address owner, address spender) public view virtual returns (uint256);
  function transferFrom(address from, address to, uint256 value) public virtual returns (bool);
  function approve(address spender, uint256 value) public virtual returns (bool);
  event Approval(address indexed owner, address indexed spender, uint256 value);
}

contract StandardToken is ERC20, BasicToken {
  using SafeMath for uint256;
  
  mapping (address => mapping (address => uint256)) internal allowed;

  function transferFrom(address _from, address _to, uint256 _value) public virtual override returns (bool) {
    require(_to != address(0), "transferFrom1");
    require(_value <= balances[_from], "transferFrom2");
    require(_value <= allowed[_from][msg.sender], "transferFrom3");

    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 approve(address _spender, uint256 _value) public virtual override returns (bool) {
    require((_value == 0) || (allowed[msg.sender][_spender] == 0));
    allowed[msg.sender][_spender] = _value;
    emit Approval(msg.sender, _spender, _value);
    return true;
  }

  function allowance(address _owner, address _spender) public view virtual override returns (uint256) {
    return allowed[_owner][_spender];
  }
}

contract XTICKET is StandardToken, BurnableToken, Ownable {
  using SafeMath for uint256;

  string public constant symbol = "XTC";
  string public constant name = "XTICKET";
  uint8 public constant decimals = 18;
  uint256 public constant INITIAL_SUPPLY = 1000000000 * (10 ** uint256(decimals)); 

  address public adminAddr;

  bool public transferEnabled = true;

  mapping(address => uint256) private lockedAccounts;

  modifier onlyWhenTransferAllowed() {
    require(transferEnabled == true || msg.sender == adminAddr, "transferAllowed");
    _;
  }

  modifier onlyValidDestination(address to) {
    require(to != address(0) && to != address(this) && to != owner && to != adminAddr, "validDestination");
    _;
  }

  modifier onlyAllowedAmount(address from, uint256 amount) {
    require(balances[from].sub(amount) >= lockedAccounts[from], "allowedAmount");
    _;
  }

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

  event TransferEnabled();
  event TransferDisabled();
  event AdminAddrChanged(address indexed previousAdminAddr, address indexed newAdminAddr);

  function enableTransfer() external onlyOwner {
    transferEnabled = true;
    emit TransferEnabled();
  }

  function disableTransfer() external onlyOwner {
    transferEnabled = false;
    emit TransferDisabled();
  }

  function transfer(address to, uint256 value)
    public
    override(BasicToken, ERC20Basic)
    onlyWhenTransferAllowed
    onlyValidDestination(to)
    onlyAllowedAmount(msg.sender, value)
    returns (bool)
  {
    return super.transfer(to, value);
  }

  function transferFrom(address from, address to, uint256 value)
    public
    override(StandardToken)
    onlyWhenTransferAllowed
    onlyValidDestination(to)
    onlyAllowedAmount(from, value)
    returns (bool)
  {
    return super.transferFrom(from, to, value);
  }

  function burn(uint256 value) public override onlyOwner {
    require(transferEnabled);
    super.burn(value);
  }

  event AccountLocked(address indexed addr, uint256 amount);
  event AccountUnlocked(address indexed addr);

  function lockAccount(address addr, uint256 amount)
    external
    onlyOwner
    onlyValidDestination(addr)
  {
    require(amount > 0);
    lockedAccounts[addr] = amount;
    emit AccountLocked(addr, amount);
  }

  function unlockAccount(address addr)
    external
    onlyOwner
    onlyValidDestination(addr)
  {
    lockedAccounts[addr] = 0;
    emit AccountUnlocked(addr);
  }

  function changeAdminAddr(address newAdminAddr) external onlyOwner {
    require(newAdminAddr != address(0));
    adminAddr = newAdminAddr;
    emit AdminAddrChanged(adminAddr, newAdminAddr);
  }  
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"addr","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"AccountLocked","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"addr","type":"address"}],"name":"AccountUnlocked","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousAdminAddr","type":"address"},{"indexed":true,"internalType":"address","name":"newAdminAddr","type":"address"}],"name":"AdminAddrChanged","type":"event"},{"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":"burner","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Burn","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"},{"anonymous":false,"inputs":[],"name":"TransferDisabled","type":"event"},{"anonymous":false,"inputs":[],"name":"TransferEnabled","type":"event"},{"inputs":[],"name":"INITIAL_SUPPLY","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"adminAddr","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","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":"_value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"balance","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"value","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newAdminAddr","type":"address"}],"name":"changeAdminAddr","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"disableTransfer","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"enableTransfer","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"addr","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"lockAccount","outputs":[],"stateMutability":"nonpayable","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":"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":[],"name":"transferEnabled","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","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"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"addr","type":"address"}],"name":"unlockAccount","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60806040526001600460146101000a81548160ff0219169083151502179055503480156200002c57600080fd5b5033600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550601260ff16600a6200008191906200031b565b633b9aca006200009291906200036c565b6001819055506001546000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6001546040516200013f9190620003de565b60405180910390a333600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550620003fb565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60008160011c9050919050565b6000808291508390505b60018511156200021c57808604811115620001f457620001f36200018e565b5b6001851615620002045780820291505b80810290506200021485620001bd565b9450620001d4565b94509492505050565b6000826200023757600190506200030a565b816200024757600090506200030a565b81600181146200026057600281146200026b57620002a1565b60019150506200030a565b60ff84111562000280576200027f6200018e565b5b8360020a9150848211156200029a57620002996200018e565b5b506200030a565b5060208310610133831016604e8410600b8410161715620002db5782820a905083811115620002d557620002d46200018e565b5b6200030a565b620002ea8484846001620001ca565b925090508184048111156200030457620003036200018e565b5b81810290505b9392505050565b6000819050919050565b6000620003288262000311565b9150620003358362000311565b9250620003647fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff848462000225565b905092915050565b6000620003798262000311565b9150620003868362000311565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0483118215151615620003c257620003c16200018e565b5b828202905092915050565b620003d88162000311565b82525050565b6000602082019050620003f56000830184620003cd565b92915050565b612a2e806200040b6000396000f3fe608060405234801561001057600080fd5b506004361061012c5760003560e01c80638da5cb5b116100ad578063bf620a4511610071578063bf620a4514610323578063c7abf4ad1461033f578063dd62ed3e1461035b578063f1b50c1d1461038b578063f2fde38b146103955761012c565b80638da5cb5b14610291578063905295e3146102af57806395d89b41146102cb578063a9059cbb146102e9578063b187984f146103195761012c565b8063313ce567116100f4578063313ce567146101eb57806342966c68146102095780634cd412d51461022557806370a082311461024357806381830593146102735761012c565b806306fdde0314610131578063095ea7b31461014f57806318160ddd1461017f57806323b872dd1461019d5780632ff2e9dc146101cd575b600080fd5b6101396103b1565b60405161014691906120f2565b60405180910390f35b610169600480360381019061016491906121ad565b6103ea565b6040516101769190612208565b60405180910390f35b61018761056f565b6040516101949190612232565b60405180910390f35b6101b760048036038101906101b2919061224d565b610579565b6040516101c49190612208565b60405180910390f35b6101d5610871565b6040516101e29190612232565b60405180910390f35b6101f3610894565b60405161020091906122bc565b60405180910390f35b610223600480360381019061021e91906122d7565b610899565b005b61022d61094e565b60405161023a9190612208565b60405180910390f35b61025d60048036038101906102589190612304565b610961565b60405161026a9190612232565b60405180910390f35b61027b6109a9565b6040516102889190612340565b60405180910390f35b6102996109cf565b6040516102a69190612340565b60405180910390f35b6102c960048036038101906102c49190612304565b6109f5565b005b6102d3610c6e565b6040516102e091906120f2565b60405180910390f35b61030360048036038101906102fe91906121ad565b610ca7565b6040516103109190612208565b60405180910390f35b610321610f9d565b005b61033d600480360381019061033891906121ad565b611076565b005b61035960048036038101906103549190612304565b611307565b005b6103756004803603810190610370919061235b565b611491565b6040516103829190612232565b60405180910390f35b610393611518565b005b6103af60048036038101906103aa9190612304565b6115f1565b005b6040518060400160405280600781526020017f585449434b45540000000000000000000000000000000000000000000000000081525081565b60008082148061047657506000600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054145b61047f57600080fd5b81600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258460405161055d9190612232565b60405180910390a36001905092915050565b6000600154905090565b600060011515600460149054906101000a900460ff16151514806105ea5750600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b610629576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610620906123e7565b60405180910390fd5b82600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415801561069357503073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b80156106ed5750600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b80156107475750600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b610786576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161077d90612453565b60405180910390fd5b8483600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610819826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461177b90919063ffffffff16565b101561085a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610851906124bf565b60405180910390fd5b61086587878761179e565b93505050509392505050565b601260ff16600a6108829190612641565b633b9aca00610891919061268c565b81565b601281565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610929576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161092090612732565b60405180910390fd5b600460149054906101000a900460ff1661094257600080fd5b61094b81611bf4565b50565b600460149054906101000a900460ff1681565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610a85576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a7c90612732565b60405180910390fd5b80600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614158015610aef57503073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b8015610b495750600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b8015610ba35750600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b610be2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bd990612453565b60405180910390fd5b6000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff167fb7df7ef889418eecc895118f0d863c3074abf7769bfe39ba852192114c725dfc60405160405180910390a25050565b6040518060400160405280600381526020017f585443000000000000000000000000000000000000000000000000000000000081525081565b600060011515600460149054906101000a900460ff1615151480610d185750600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b610d57576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d4e906123e7565b60405180910390fd5b82600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614158015610dc157503073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b8015610e1b5750600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b8015610e755750600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b610eb4576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610eab90612453565b60405180910390fd5b3383600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610f47826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461177b90919063ffffffff16565b1015610f88576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f7f906124bf565b60405180910390fd5b610f928686611daa565b935050505092915050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461102d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161102490612732565b60405180910390fd5b6000600460146101000a81548160ff0219169083151502179055507fa24e573d02c7954c4e7984d9899865bb96f86540675f339ece49129f3594710e60405160405180910390a1565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611106576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110fd90612732565b60405180910390fd5b81600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415801561117057503073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b80156111ca5750600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b80156112245750600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b611263576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161125a90612453565b60405180910390fd5b6000821161127057600080fd5b81600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff167ff7c3865a2047e2fc614fff3af48eef519dfd5243847cbefd615b3a150a9db5b0836040516112fa9190612232565b60405180910390a2505050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611397576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161138e90612732565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156113d157600080fd5b80600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff16600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f7e3df9a3fc0514b3cc0c7f865fe3b2f902f069470cb6bd24130c5dd627cb21dc60405160405180910390a350565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146115a8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161159f90612732565b60405180910390fd5b6001600460146101000a81548160ff0219169083151502179055507f75fce015c314a132947a3e42f6ab79ab8e05397dabf35b4d742dea228bbadc2d60405160405180910390a1565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611681576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161167890612732565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156116bb57600080fd5b8073ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a380600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60008282111561178a57600080fd5b81836117969190612752565b905092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561180f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611806906127d2565b60405180910390fd5b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115611890576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016118879061283e565b60405180910390fd5b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561194f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611946906128aa565b60405180910390fd5b6119a0826000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461177b90919063ffffffff16565b6000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611a33826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461203190919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611b0482600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461177b90919063ffffffff16565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611be19190612232565b60405180910390a3600190509392505050565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054811115611c3f57600080fd5b6000339050611c95826000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461177b90919063ffffffff16565b6000808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611cec8260015461177b90919063ffffffff16565b6001819055508073ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca583604051611d389190612232565b60405180910390a2600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611d9e9190612232565b60405180910390a35050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611e1b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611e1290612916565b60405180910390fd5b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115611e9c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611e9390612982565b60405180910390fd5b611eed826000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461177b90919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611f80826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461203190919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161201f9190612232565b60405180910390a36001905092915050565b600080828461204091906129a2565b90508381101561204f57600080fd5b8091505092915050565b600081519050919050565b600082825260208201905092915050565b60005b83811015612093578082015181840152602081019050612078565b838111156120a2576000848401525b50505050565b6000601f19601f8301169050919050565b60006120c482612059565b6120ce8185612064565b93506120de818560208601612075565b6120e7816120a8565b840191505092915050565b6000602082019050818103600083015261210c81846120b9565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b600061214482612119565b9050919050565b61215481612139565b811461215f57600080fd5b50565b6000813590506121718161214b565b92915050565b6000819050919050565b61218a81612177565b811461219557600080fd5b50565b6000813590506121a781612181565b92915050565b600080604083850312156121c4576121c3612114565b5b60006121d285828601612162565b92505060206121e385828601612198565b9150509250929050565b60008115159050919050565b612202816121ed565b82525050565b600060208201905061221d60008301846121f9565b92915050565b61222c81612177565b82525050565b60006020820190506122476000830184612223565b92915050565b60008060006060848603121561226657612265612114565b5b600061227486828701612162565b935050602061228586828701612162565b925050604061229686828701612198565b9150509250925092565b600060ff82169050919050565b6122b6816122a0565b82525050565b60006020820190506122d160008301846122ad565b92915050565b6000602082840312156122ed576122ec612114565b5b60006122fb84828501612198565b91505092915050565b60006020828403121561231a57612319612114565b5b600061232884828501612162565b91505092915050565b61233a81612139565b82525050565b60006020820190506123556000830184612331565b92915050565b6000806040838503121561237257612371612114565b5b600061238085828601612162565b925050602061239185828601612162565b9150509250929050565b7f7472616e73666572416c6c6f7765640000000000000000000000000000000000600082015250565b60006123d1600f83612064565b91506123dc8261239b565b602082019050919050565b60006020820190508181036000830152612400816123c4565b9050919050565b7f76616c696444657374696e6174696f6e00000000000000000000000000000000600082015250565b600061243d601083612064565b915061244882612407565b602082019050919050565b6000602082019050818103600083015261246c81612430565b9050919050565b7f616c6c6f776564416d6f756e7400000000000000000000000000000000000000600082015250565b60006124a9600d83612064565b91506124b482612473565b602082019050919050565b600060208201905081810360008301526124d88161249c565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60008160011c9050919050565b6000808291508390505b600185111561256557808604811115612541576125406124df565b5b60018516156125505780820291505b808102905061255e8561250e565b9450612525565b94509492505050565b60008261257e576001905061263a565b8161258c576000905061263a565b81600181146125a257600281146125ac576125db565b600191505061263a565b60ff8411156125be576125bd6124df565b5b8360020a9150848211156125d5576125d46124df565b5b5061263a565b5060208310610133831016604e8410600b84101617156126105782820a90508381111561260b5761260a6124df565b5b61263a565b61261d848484600161251b565b92509050818404811115612634576126336124df565b5b81810290505b9392505050565b600061264c82612177565b915061265783612177565b92506126847fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff848461256e565b905092915050565b600061269782612177565b91506126a283612177565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04831182151516156126db576126da6124df565b5b828202905092915050565b7f6f776e6572000000000000000000000000000000000000000000000000000000600082015250565b600061271c600583612064565b9150612727826126e6565b602082019050919050565b6000602082019050818103600083015261274b8161270f565b9050919050565b600061275d82612177565b915061276883612177565b92508282101561277b5761277a6124df565b5b828203905092915050565b7f7472616e7366657246726f6d3100000000000000000000000000000000000000600082015250565b60006127bc600d83612064565b91506127c782612786565b602082019050919050565b600060208201905081810360008301526127eb816127af565b9050919050565b7f7472616e7366657246726f6d3200000000000000000000000000000000000000600082015250565b6000612828600d83612064565b9150612833826127f2565b602082019050919050565b600060208201905081810360008301526128578161281b565b9050919050565b7f7472616e7366657246726f6d3300000000000000000000000000000000000000600082015250565b6000612894600d83612064565b915061289f8261285e565b602082019050919050565b600060208201905081810360008301526128c381612887565b9050919050565b7f7472616e73666572310000000000000000000000000000000000000000000000600082015250565b6000612900600983612064565b915061290b826128ca565b602082019050919050565b6000602082019050818103600083015261292f816128f3565b9050919050565b7f7472616e73666572320000000000000000000000000000000000000000000000600082015250565b600061296c600983612064565b915061297782612936565b602082019050919050565b6000602082019050818103600083015261299b8161295f565b9050919050565b60006129ad82612177565b91506129b883612177565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156129ed576129ec6124df565b5b82820190509291505056fea26469706673582212202cd3a686fcbd35f14100aa0c0af2739cfe5ea2e24db459bad77a6aca068fdd2164736f6c634300080a0033

0x608060405234801561001057600080fd5b506004361061012c5760003560e01c80638da5cb5b116100ad578063bf620a4511610071578063bf620a4514610323578063c7abf4ad1461033f578063dd62ed3e1461035b578063f1b50c1d1461038b578063f2fde38b146103955761012c565b80638da5cb5b14610291578063905295e3146102af57806395d89b41146102cb578063a9059cbb146102e9578063b187984f146103195761012c565b8063313ce567116100f4578063313ce567146101eb57806342966c68146102095780634cd412d51461022557806370a082311461024357806381830593146102735761012c565b806306fdde0314610131578063095ea7b31461014f57806318160ddd1461017f57806323b872dd1461019d5780632ff2e9dc146101cd575b600080fd5b6101396103b1565b60405161014691906120f2565b60405180910390f35b610169600480360381019061016491906121ad565b6103ea565b6040516101769190612208565b60405180910390f35b61018761056f565b6040516101949190612232565b60405180910390f35b6101b760048036038101906101b2919061224d565b610579565b6040516101c49190612208565b60405180910390f35b6101d5610871565b6040516101e29190612232565b60405180910390f35b6101f3610894565b60405161020091906122bc565b60405180910390f35b610223600480360381019061021e91906122d7565b610899565b005b61022d61094e565b60405161023a9190612208565b60405180910390f35b61025d60048036038101906102589190612304565b610961565b60405161026a9190612232565b60405180910390f35b61027b6109a9565b6040516102889190612340565b60405180910390f35b6102996109cf565b6040516102a69190612340565b60405180910390f35b6102c960048036038101906102c49190612304565b6109f5565b005b6102d3610c6e565b6040516102e091906120f2565b60405180910390f35b61030360048036038101906102fe91906121ad565b610ca7565b6040516103109190612208565b60405180910390f35b610321610f9d565b005b61033d600480360381019061033891906121ad565b611076565b005b61035960048036038101906103549190612304565b611307565b005b6103756004803603810190610370919061235b565b611491565b6040516103829190612232565b60405180910390f35b610393611518565b005b6103af60048036038101906103aa9190612304565b6115f1565b005b6040518060400160405280600781526020017f585449434b45540000000000000000000000000000000000000000000000000081525081565b60008082148061047657506000600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054145b61047f57600080fd5b81600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258460405161055d9190612232565b60405180910390a36001905092915050565b6000600154905090565b600060011515600460149054906101000a900460ff16151514806105ea5750600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b610629576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610620906123e7565b60405180910390fd5b82600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415801561069357503073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b80156106ed5750600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b80156107475750600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b610786576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161077d90612453565b60405180910390fd5b8483600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610819826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461177b90919063ffffffff16565b101561085a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610851906124bf565b60405180910390fd5b61086587878761179e565b93505050509392505050565b601260ff16600a6108829190612641565b633b9aca00610891919061268c565b81565b601281565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610929576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161092090612732565b60405180910390fd5b600460149054906101000a900460ff1661094257600080fd5b61094b81611bf4565b50565b600460149054906101000a900460ff1681565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610a85576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a7c90612732565b60405180910390fd5b80600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614158015610aef57503073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b8015610b495750600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b8015610ba35750600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b610be2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bd990612453565b60405180910390fd5b6000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff167fb7df7ef889418eecc895118f0d863c3074abf7769bfe39ba852192114c725dfc60405160405180910390a25050565b6040518060400160405280600381526020017f585443000000000000000000000000000000000000000000000000000000000081525081565b600060011515600460149054906101000a900460ff1615151480610d185750600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b610d57576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d4e906123e7565b60405180910390fd5b82600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614158015610dc157503073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b8015610e1b5750600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b8015610e755750600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b610eb4576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610eab90612453565b60405180910390fd5b3383600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610f47826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461177b90919063ffffffff16565b1015610f88576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f7f906124bf565b60405180910390fd5b610f928686611daa565b935050505092915050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461102d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161102490612732565b60405180910390fd5b6000600460146101000a81548160ff0219169083151502179055507fa24e573d02c7954c4e7984d9899865bb96f86540675f339ece49129f3594710e60405160405180910390a1565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611106576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110fd90612732565b60405180910390fd5b81600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415801561117057503073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b80156111ca5750600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b80156112245750600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b611263576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161125a90612453565b60405180910390fd5b6000821161127057600080fd5b81600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff167ff7c3865a2047e2fc614fff3af48eef519dfd5243847cbefd615b3a150a9db5b0836040516112fa9190612232565b60405180910390a2505050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611397576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161138e90612732565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156113d157600080fd5b80600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff16600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f7e3df9a3fc0514b3cc0c7f865fe3b2f902f069470cb6bd24130c5dd627cb21dc60405160405180910390a350565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146115a8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161159f90612732565b60405180910390fd5b6001600460146101000a81548160ff0219169083151502179055507f75fce015c314a132947a3e42f6ab79ab8e05397dabf35b4d742dea228bbadc2d60405160405180910390a1565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611681576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161167890612732565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156116bb57600080fd5b8073ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a380600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60008282111561178a57600080fd5b81836117969190612752565b905092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561180f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611806906127d2565b60405180910390fd5b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115611890576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016118879061283e565b60405180910390fd5b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561194f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611946906128aa565b60405180910390fd5b6119a0826000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461177b90919063ffffffff16565b6000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611a33826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461203190919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611b0482600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461177b90919063ffffffff16565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611be19190612232565b60405180910390a3600190509392505050565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054811115611c3f57600080fd5b6000339050611c95826000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461177b90919063ffffffff16565b6000808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611cec8260015461177b90919063ffffffff16565b6001819055508073ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca583604051611d389190612232565b60405180910390a2600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611d9e9190612232565b60405180910390a35050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611e1b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611e1290612916565b60405180910390fd5b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115611e9c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611e9390612982565b60405180910390fd5b611eed826000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461177b90919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611f80826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461203190919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161201f9190612232565b60405180910390a36001905092915050565b600080828461204091906129a2565b90508381101561204f57600080fd5b8091505092915050565b600081519050919050565b600082825260208201905092915050565b60005b83811015612093578082015181840152602081019050612078565b838111156120a2576000848401525b50505050565b6000601f19601f8301169050919050565b60006120c482612059565b6120ce8185612064565b93506120de818560208601612075565b6120e7816120a8565b840191505092915050565b6000602082019050818103600083015261210c81846120b9565b905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b600061214482612119565b9050919050565b61215481612139565b811461215f57600080fd5b50565b6000813590506121718161214b565b92915050565b6000819050919050565b61218a81612177565b811461219557600080fd5b50565b6000813590506121a781612181565b92915050565b600080604083850312156121c4576121c3612114565b5b60006121d285828601612162565b92505060206121e385828601612198565b9150509250929050565b60008115159050919050565b612202816121ed565b82525050565b600060208201905061221d60008301846121f9565b92915050565b61222c81612177565b82525050565b60006020820190506122476000830184612223565b92915050565b60008060006060848603121561226657612265612114565b5b600061227486828701612162565b935050602061228586828701612162565b925050604061229686828701612198565b9150509250925092565b600060ff82169050919050565b6122b6816122a0565b82525050565b60006020820190506122d160008301846122ad565b92915050565b6000602082840312156122ed576122ec612114565b5b60006122fb84828501612198565b91505092915050565b60006020828403121561231a57612319612114565b5b600061232884828501612162565b91505092915050565b61233a81612139565b82525050565b60006020820190506123556000830184612331565b92915050565b6000806040838503121561237257612371612114565b5b600061238085828601612162565b925050602061239185828601612162565b9150509250929050565b7f7472616e73666572416c6c6f7765640000000000000000000000000000000000600082015250565b60006123d1600f83612064565b91506123dc8261239b565b602082019050919050565b60006020820190508181036000830152612400816123c4565b9050919050565b7f76616c696444657374696e6174696f6e00000000000000000000000000000000600082015250565b600061243d601083612064565b915061244882612407565b602082019050919050565b6000602082019050818103600083015261246c81612430565b9050919050565b7f616c6c6f776564416d6f756e7400000000000000000000000000000000000000600082015250565b60006124a9600d83612064565b91506124b482612473565b602082019050919050565b600060208201905081810360008301526124d88161249c565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60008160011c9050919050565b6000808291508390505b600185111561256557808604811115612541576125406124df565b5b60018516156125505780820291505b808102905061255e8561250e565b9450612525565b94509492505050565b60008261257e576001905061263a565b8161258c576000905061263a565b81600181146125a257600281146125ac576125db565b600191505061263a565b60ff8411156125be576125bd6124df565b5b8360020a9150848211156125d5576125d46124df565b5b5061263a565b5060208310610133831016604e8410600b84101617156126105782820a90508381111561260b5761260a6124df565b5b61263a565b61261d848484600161251b565b92509050818404811115612634576126336124df565b5b81810290505b9392505050565b600061264c82612177565b915061265783612177565b92506126847fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff848461256e565b905092915050565b600061269782612177565b91506126a283612177565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04831182151516156126db576126da6124df565b5b828202905092915050565b7f6f776e6572000000000000000000000000000000000000000000000000000000600082015250565b600061271c600583612064565b9150612727826126e6565b602082019050919050565b6000602082019050818103600083015261274b8161270f565b9050919050565b600061275d82612177565b915061276883612177565b92508282101561277b5761277a6124df565b5b828203905092915050565b7f7472616e7366657246726f6d3100000000000000000000000000000000000000600082015250565b60006127bc600d83612064565b91506127c782612786565b602082019050919050565b600060208201905081810360008301526127eb816127af565b9050919050565b7f7472616e7366657246726f6d3200000000000000000000000000000000000000600082015250565b6000612828600d83612064565b9150612833826127f2565b602082019050919050565b600060208201905081810360008301526128578161281b565b9050919050565b7f7472616e7366657246726f6d3300000000000000000000000000000000000000600082015250565b6000612894600d83612064565b915061289f8261285e565b602082019050919050565b600060208201905081810360008301526128c381612887565b9050919050565b7f7472616e73666572310000000000000000000000000000000000000000000000600082015250565b6000612900600983612064565b915061290b826128ca565b602082019050919050565b6000602082019050818103600083015261292f816128f3565b9050919050565b7f7472616e73666572320000000000000000000000000000000000000000000000600082015250565b600061296c600983612064565b915061297782612936565b602082019050919050565b6000602082019050818103600083015261299b8161295f565b9050919050565b60006129ad82612177565b91506129b883612177565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156129ed576129ec6124df565b5b82820190509291505056fea26469706673582212202cd3a686fcbd35f14100aa0c0af2739cfe5ea2e24db459bad77a6aca068fdd2164736f6c634300080a0033

4201:2879:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4339:39;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3765:278;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1143:102;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5955:277;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4423:79;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4383:35;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6238:116;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;4541:34;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1635:126;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4510:24;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1790:20;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6700:171;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;4297:37;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5685:264;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5567:112;;;:::i;:::-;;6472:222;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;6877:198;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;4049:145;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5452:109;;;:::i;:::-;;2043:178;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;4339:39;;;;;;;;;;;;;;;;;;;:::o;3765:278::-;3849:4;3881:1;3871:6;:11;3870:53;;;;3921:1;3888:7;:19;3896:10;3888:19;;;;;;;;;;;;;;;:29;3908:8;3888:29;;;;;;;;;;;;;;;;:34;3870:53;3862:62;;;;;;3963:6;3931:7;:19;3939:10;3931:19;;;;;;;;;;;;;;;:29;3951:8;3931:29;;;;;;;;;;;;;;;:38;;;;4002:8;3981:38;;3990:10;3981:38;;;4012:6;3981:38;;;;;;:::i;:::-;;;;;;;;4033:4;4026:11;;3765:278;;;;:::o;1143:102::-;1204:7;1227:12;;1220:19;;1143:102;:::o;5955:277::-;6168:4;4708;4689:23;;:15;;;;;;;;;;;:23;;;:50;;;;4730:9;;;;;;;;;;;4716:23;;:10;:23;;;4689:50;4681:78;;;;;;;;;;;;:::i;:::-;;;;;;;;;6114:2:::1;4850:1;4836:16;;:2;:16;;;;:39;;;;;4870:4;4856:19;;:2;:19;;;;4836:39;:54;;;;;4885:5;;;;;;;;;;;4879:11;;:2;:11;;;;4836:54;:73;;;;;4900:9;;;;;;;;;;;4894:15;;:2;:15;;;;4836:73;4828:102;;;;;;;;;;;;:::i;:::-;;;;;;;;;6141:4:::2;6147:5;5052:14;:20;5067:4;5052:20;;;;;;;;;;;;;;;;5022:26;5041:6;5022:8;:14:::0;5031:4:::2;5022:14;;;;;;;;;;;;;;;;:18;;:26;;;;:::i;:::-;:50;;5014:76;;;;;;;;;;;;:::i;:::-;;;;;;;;;6191:35:::3;6210:4;6216:2;6220:5;6191:18;:35::i;:::-;6184:42;;4937:1:::2;;4766::::1;5955:277:::0;;;;;:::o;4423:79::-;4416:2;4484:17;;4478:2;:23;;;;:::i;:::-;4464:10;:38;;;;:::i;:::-;4423:79;:::o;4383:35::-;4416:2;4383:35;:::o;6238:116::-;2008:5;;;;;;;;;;;1994:19;;:10;:19;;;1986:37;;;;;;;;;;;;:::i;:::-;;;;;;;;;6308:15:::1;;;;;;;;;;;6300:24;;;::::0;::::1;;6331:17;6342:5;6331:10;:17::i;:::-;6238:116:::0;:::o;4541:34::-;;;;;;;;;;;;;:::o;1635:126::-;1708:15;1739:8;:16;1748:6;1739:16;;;;;;;;;;;;;;;;1732:23;;1635:126;;;:::o;4510:24::-;;;;;;;;;;;;;:::o;1790:20::-;;;;;;;;;;;;;:::o;6700:171::-;2008:5;;;;;;;;;;;1994:19;;:10;:19;;;1986:37;;;;;;;;;;;;:::i;:::-;;;;;;;;;6792:4:::1;4850:1;4836:16;;:2;:16;;;;:39;;;;;4870:4;4856:19;;:2;:19;;;;4836:39;:54;;;;;4885:5;;;;;;;;;;;4879:11;;:2;:11;;;;4836:54;:73;;;;;4900:9;;;;;;;;;;;4894:15;;:2;:15;;;;4836:73;4828:102;;;;;;;;;;;;:::i;:::-;;;;;;;;;6831:1:::2;6808:14;:20;6823:4;6808:20;;;;;;;;;;;;;;;:24;;;;6860:4;6844:21;;;;;;;;;;;;2030:1:::1;6700:171:::0;:::o;4297:37::-;;;;;;;;;;;;;;;;;;;:::o;5685:264::-;5895:4;4708;4689:23;;:15;;;;;;;;;;;:23;;;:50;;;;4730:9;;;;;;;;;;;4716:23;;:10;:23;;;4689:50;4681:78;;;;;;;;;;;;:::i;:::-;;;;;;;;;5835:2:::1;4850:1;4836:16;;:2;:16;;;;:39;;;;;4870:4;4856:19;;:2;:19;;;;4836:39;:54;;;;;4885:5;;;;;;;;;;;4879:11;;:2;:11;;;;4836:54;:73;;;;;4900:9;;;;;;;;;;;4894:15;;:2;:15;;;;4836:73;4828:102;;;;;;;;;;;;:::i;:::-;;;;;;;;;5862:10:::2;5874:5;5052:14;:20;5067:4;5052:20;;;;;;;;;;;;;;;;5022:26;5041:6;5022:8;:14:::0;5031:4:::2;5022:14;;;;;;;;;;;;;;;;:18;;:26;;;;:::i;:::-;:50;;5014:76;;;;;;;;;;;;:::i;:::-;;;;;;;;;5918:25:::3;5933:2;5937:5;5918:14;:25::i;:::-;5911:32;;4937:1:::2;;4766::::1;5685:264:::0;;;;:::o;5567:112::-;2008:5;;;;;;;;;;;1994:19;;:10;:19;;;1986:37;;;;;;;;;;;;:::i;:::-;;;;;;;;;5638:5:::1;5620:15;;:23;;;;;;;;;;;;;;;;;;5655:18;;;;;;;;;;5567:112::o:0;6472:222::-;2008:5;;;;;;;;;;;1994:19;;:10;:19;;;1986:37;;;;;;;;;;;;:::i;:::-;;;;;;;;;6578:4:::1;4850:1;4836:16;;:2;:16;;;;:39;;;;;4870:4;4856:19;;:2;:19;;;;4836:39;:54;;;;;4885:5;;;;;;;;;;;4879:11;;:2;:11;;;;4836:54;:73;;;;;4900:9;;;;;;;;;;;4894:15;;:2;:15;;;;4836:73;4828:102;;;;;;;;;;;;:::i;:::-;;;;;;;;;6611:1:::2;6602:6;:10;6594:19;;;::::0;::::2;;6643:6;6620:14;:20;6635:4;6620:20;;;;;;;;;;;;;;;:29;;;;6675:4;6661:27;;;6681:6;6661:27;;;;;;:::i;:::-;;;;;;;;2030:1:::1;6472:222:::0;;:::o;6877:198::-;2008:5;;;;;;;;;;;1994:19;;:10;:19;;;1986:37;;;;;;;;;;;;:::i;:::-;;;;;;;;;6982:1:::1;6958:26;;:12;:26;;;;6950:35;;;::::0;::::1;;7004:12;6992:9;;:24;;;;;;;;;;;;;;;;;;7056:12;7028:41;;7045:9;;;;;;;;;;;7028:41;;;;;;;;;;;;6877:198:::0;:::o;4049:145::-;4140:7;4163;:15;4171:6;4163:15;;;;;;;;;;;;;;;:25;4179:8;4163:25;;;;;;;;;;;;;;;;4156:32;;4049:145;;;;:::o;5452:109::-;2008:5;;;;;;;;;;;1994:19;;:10;:19;;;1986:37;;;;;;;;;;;;:::i;:::-;;;;;;;;;5522:4:::1;5504:15;;:22;;;;;;;;;;;;;;;;;;5538:17;;;;;;;;;;5452:109::o:0;2043:178::-;2008:5;;;;;;;;;;;1994:19;;:10;:19;;;1986:37;;;;;;;;;;;;:::i;:::-;;;;;;;;;2140:1:::1;2120:22;;:8;:22;;;;2112:31;;;::::0;::::1;;2183:8;2155:37;;2176:5;;;;;;;;;;;2155:37;;;;;;;;;;;;2207:8;2199:5;;:16;;;;;;;;;;;;;;;;;;2043:178:::0;:::o;409:114::-;467:7;496:1;491;:6;;483:15;;;;;;516:1;512;:5;;;;:::i;:::-;505:12;;409:114;;;;:::o;3237:522::-;3336:4;3372:1;3357:17;;:3;:17;;;;3349:43;;;;;;;;;;;;:::i;:::-;;;;;;;;;3417:8;:15;3426:5;3417:15;;;;;;;;;;;;;;;;3407:6;:25;;3399:51;;;;;;;;;;;;:::i;:::-;;;;;;;;;3475:7;:14;3483:5;3475:14;;;;;;;;;;;;;;;:26;3490:10;3475:26;;;;;;;;;;;;;;;;3465:6;:36;;3457:62;;;;;;;;;;;;:::i;:::-;;;;;;;;;3546:27;3566:6;3546:8;:15;3555:5;3546:15;;;;;;;;;;;;;;;;:19;;:27;;;;:::i;:::-;3528:8;:15;3537:5;3528:15;;;;;;;;;;;;;;;:45;;;;3596:25;3614:6;3596:8;:13;3605:3;3596:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;3580:8;:13;3589:3;3580:13;;;;;;;;;;;;;;;:41;;;;3657:38;3688:6;3657:7;:14;3665:5;3657:14;;;;;;;;;;;;;;;:26;3672:10;3657:26;;;;;;;;;;;;;;;;:30;;:38;;;;:::i;:::-;3628:7;:14;3636:5;3628:14;;;;;;;;;;;;;;;:26;3643:10;3628:26;;;;;;;;;;;;;;;:67;;;;3723:3;3707:28;;3716:5;3707:28;;;3728:6;3707:28;;;;;;:::i;:::-;;;;;;;;3749:4;3742:11;;3237:522;;;;;:::o;2357:315::-;2427:8;:20;2436:10;2427:20;;;;;;;;;;;;;;;;2417:6;:30;;2409:39;;;;;;2457:14;2474:10;2457:27;;2510:28;2531:6;2510:8;:16;2519:6;2510:16;;;;;;;;;;;;;;;;:20;;:28;;;;:::i;:::-;2491:8;:16;2500:6;2491:16;;;;;;;;;;;;;;;:47;;;;2560:24;2577:6;2560:12;;:16;;:24;;;;:::i;:::-;2545:12;:39;;;;2603:6;2598:20;;;2611:6;2598:20;;;;;;:::i;:::-;;;;;;;;2655:1;2630:36;;2639:6;2630:36;;;2659:6;2630:36;;;;;;:::i;:::-;;;;;;;;2402:270;2357:315;:::o;1251:378::-;1331:4;1367:1;1352:17;;:3;:17;;;;1344:39;;;;;;;;;;;;:::i;:::-;;;;;;;;;1408:8;:20;1417:10;1408:20;;;;;;;;;;;;;;;;1398:6;:30;;1390:52;;;;;;;;;;;;:::i;:::-;;;;;;;;;1478:32;1503:6;1478:8;:20;1487:10;1478:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;1455:8;:20;1464:10;1455:20;;;;;;;;;;;;;;;:55;;;;1533:25;1551:6;1533:8;:13;1542:3;1533:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;1517:8;:13;1526:3;1517:13;;;;;;;;;;;;;;;:41;;;;1593:3;1572:33;;1581:10;1572:33;;;1598:6;1572:33;;;;;;:::i;:::-;;;;;;;;1619:4;1612:11;;1251:378;;;;:::o;529:134::-;587:7;603:9;619:1;615;:5;;;;:::i;:::-;603:17;;640:1;635;:6;;627:15;;;;;;656:1;649:8;;;529: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:307::-;355:1;365:113;379:6;376:1;373:13;365:113;;;464:1;459:3;455:11;449:18;445:1;440:3;436:11;429:39;401:2;398:1;394:10;389:15;;365:113;;;496:6;493:1;490:13;487:101;;;576:1;567:6;562:3;558:16;551:27;487:101;336:258;287:307;;;:::o;600:102::-;641:6;692:2;688:7;683:2;676:5;672:14;668:28;658:38;;600:102;;;:::o;708:364::-;796:3;824:39;857:5;824:39;:::i;:::-;879:71;943:6;938:3;879:71;:::i;:::-;872:78;;959:52;1004:6;999:3;992:4;985:5;981:16;959:52;:::i;:::-;1036:29;1058:6;1036:29;:::i;:::-;1031:3;1027:39;1020:46;;800:272;708:364;;;;:::o;1078:313::-;1191:4;1229:2;1218:9;1214:18;1206:26;;1278:9;1272:4;1268:20;1264:1;1253:9;1249:17;1242:47;1306:78;1379:4;1370:6;1306:78;:::i;:::-;1298:86;;1078:313;;;;:::o;1478:117::-;1587:1;1584;1577:12;1724:126;1761:7;1801:42;1794:5;1790:54;1779:65;;1724:126;;;:::o;1856:96::-;1893:7;1922:24;1940:5;1922:24;:::i;:::-;1911:35;;1856:96;;;:::o;1958:122::-;2031:24;2049:5;2031:24;:::i;:::-;2024:5;2021:35;2011:63;;2070:1;2067;2060:12;2011:63;1958:122;:::o;2086:139::-;2132:5;2170:6;2157:20;2148:29;;2186:33;2213:5;2186:33;:::i;:::-;2086:139;;;;:::o;2231:77::-;2268:7;2297:5;2286:16;;2231:77;;;:::o;2314:122::-;2387:24;2405:5;2387:24;:::i;:::-;2380:5;2377:35;2367:63;;2426:1;2423;2416:12;2367:63;2314:122;:::o;2442:139::-;2488:5;2526:6;2513:20;2504:29;;2542:33;2569:5;2542:33;:::i;:::-;2442:139;;;;:::o;2587:474::-;2655:6;2663;2712:2;2700:9;2691:7;2687:23;2683:32;2680:119;;;2718:79;;:::i;:::-;2680:119;2838:1;2863:53;2908:7;2899:6;2888:9;2884:22;2863:53;:::i;:::-;2853:63;;2809:117;2965:2;2991:53;3036:7;3027:6;3016:9;3012:22;2991:53;:::i;:::-;2981:63;;2936:118;2587:474;;;;;:::o;3067:90::-;3101:7;3144:5;3137:13;3130:21;3119:32;;3067:90;;;:::o;3163:109::-;3244:21;3259:5;3244:21;:::i;:::-;3239:3;3232:34;3163:109;;:::o;3278:210::-;3365:4;3403:2;3392:9;3388:18;3380:26;;3416:65;3478:1;3467:9;3463:17;3454:6;3416:65;:::i;:::-;3278:210;;;;:::o;3494:118::-;3581:24;3599:5;3581:24;:::i;:::-;3576:3;3569:37;3494:118;;:::o;3618:222::-;3711:4;3749:2;3738:9;3734:18;3726:26;;3762:71;3830:1;3819:9;3815:17;3806:6;3762:71;:::i;:::-;3618:222;;;;:::o;3846:619::-;3923:6;3931;3939;3988:2;3976:9;3967:7;3963:23;3959:32;3956:119;;;3994:79;;:::i;:::-;3956:119;4114:1;4139:53;4184:7;4175:6;4164:9;4160:22;4139:53;:::i;:::-;4129:63;;4085:117;4241:2;4267:53;4312:7;4303:6;4292:9;4288:22;4267:53;:::i;:::-;4257:63;;4212:118;4369:2;4395:53;4440:7;4431:6;4420:9;4416:22;4395:53;:::i;:::-;4385:63;;4340:118;3846:619;;;;;:::o;4471:86::-;4506:7;4546:4;4539:5;4535:16;4524:27;;4471:86;;;:::o;4563:112::-;4646:22;4662:5;4646:22;:::i;:::-;4641:3;4634:35;4563:112;;:::o;4681:214::-;4770:4;4808:2;4797:9;4793:18;4785:26;;4821:67;4885:1;4874:9;4870:17;4861:6;4821:67;:::i;:::-;4681:214;;;;:::o;4901:329::-;4960:6;5009:2;4997:9;4988:7;4984:23;4980:32;4977:119;;;5015:79;;:::i;:::-;4977:119;5135:1;5160:53;5205:7;5196:6;5185:9;5181:22;5160:53;:::i;:::-;5150:63;;5106:117;4901:329;;;;:::o;5236:::-;5295:6;5344:2;5332:9;5323:7;5319:23;5315:32;5312:119;;;5350:79;;:::i;:::-;5312:119;5470:1;5495:53;5540:7;5531:6;5520:9;5516:22;5495:53;:::i;:::-;5485:63;;5441:117;5236:329;;;;:::o;5571:118::-;5658:24;5676:5;5658:24;:::i;:::-;5653:3;5646:37;5571:118;;:::o;5695:222::-;5788:4;5826:2;5815:9;5811:18;5803:26;;5839:71;5907:1;5896:9;5892:17;5883:6;5839:71;:::i;:::-;5695:222;;;;:::o;5923:474::-;5991:6;5999;6048:2;6036:9;6027:7;6023:23;6019:32;6016:119;;;6054:79;;:::i;:::-;6016:119;6174:1;6199:53;6244:7;6235:6;6224:9;6220:22;6199:53;:::i;:::-;6189:63;;6145:117;6301:2;6327:53;6372:7;6363:6;6352:9;6348:22;6327:53;:::i;:::-;6317:63;;6272:118;5923:474;;;;;:::o;6403:165::-;6543:17;6539:1;6531:6;6527:14;6520:41;6403:165;:::o;6574:366::-;6716:3;6737:67;6801:2;6796:3;6737:67;:::i;:::-;6730:74;;6813:93;6902:3;6813:93;:::i;:::-;6931:2;6926:3;6922:12;6915:19;;6574:366;;;:::o;6946:419::-;7112:4;7150:2;7139:9;7135:18;7127:26;;7199:9;7193:4;7189:20;7185:1;7174:9;7170:17;7163:47;7227:131;7353:4;7227:131;:::i;:::-;7219:139;;6946:419;;;:::o;7371:166::-;7511:18;7507:1;7499:6;7495:14;7488:42;7371:166;:::o;7543:366::-;7685:3;7706:67;7770:2;7765:3;7706:67;:::i;:::-;7699:74;;7782:93;7871:3;7782:93;:::i;:::-;7900:2;7895:3;7891:12;7884:19;;7543:366;;;:::o;7915:419::-;8081:4;8119:2;8108:9;8104:18;8096:26;;8168:9;8162:4;8158:20;8154:1;8143:9;8139:17;8132:47;8196:131;8322:4;8196:131;:::i;:::-;8188:139;;7915:419;;;:::o;8340:163::-;8480:15;8476:1;8468:6;8464:14;8457:39;8340:163;:::o;8509:366::-;8651:3;8672:67;8736:2;8731:3;8672:67;:::i;:::-;8665:74;;8748:93;8837:3;8748:93;:::i;:::-;8866:2;8861:3;8857:12;8850:19;;8509:366;;;:::o;8881:419::-;9047:4;9085:2;9074:9;9070:18;9062:26;;9134:9;9128:4;9124:20;9120:1;9109:9;9105:17;9098:47;9162:131;9288:4;9162:131;:::i;:::-;9154:139;;8881:419;;;:::o;9306:180::-;9354:77;9351:1;9344:88;9451:4;9448:1;9441:15;9475:4;9472:1;9465:15;9492:102;9534:8;9581:5;9578:1;9574:13;9553:34;;9492:102;;;:::o;9600:848::-;9661:5;9668:4;9692:6;9683:15;;9716:5;9707:14;;9730:712;9751:1;9741:8;9738:15;9730:712;;;9846:4;9841:3;9837:14;9831:4;9828:24;9825:50;;;9855:18;;:::i;:::-;9825:50;9905:1;9895:8;9891:16;9888:451;;;10320:4;10313:5;10309:16;10300:25;;9888:451;10370:4;10364;10360:15;10352:23;;10400:32;10423:8;10400:32;:::i;:::-;10388:44;;9730:712;;;9600:848;;;;;;;:::o;10454:1073::-;10508:5;10699:8;10689:40;;10720:1;10711:10;;10722:5;;10689:40;10748:4;10738:36;;10765:1;10756:10;;10767:5;;10738:36;10834:4;10882:1;10877:27;;;;10918:1;10913:191;;;;10827:277;;10877:27;10895:1;10886:10;;10897:5;;;10913:191;10958:3;10948:8;10945:17;10942:43;;;10965:18;;:::i;:::-;10942:43;11014:8;11011:1;11007:16;10998:25;;11049:3;11042:5;11039:14;11036:40;;;11056:18;;:::i;:::-;11036:40;11089:5;;;10827:277;;11213:2;11203:8;11200:16;11194:3;11188:4;11185:13;11181:36;11163:2;11153:8;11150:16;11145:2;11139:4;11136:12;11132:35;11116:111;11113:246;;;11269:8;11263:4;11259:19;11250:28;;11304:3;11297:5;11294:14;11291:40;;;11311:18;;:::i;:::-;11291:40;11344:5;;11113:246;11384:42;11422:3;11412:8;11406:4;11403:1;11384:42;:::i;:::-;11369:57;;;;11458:4;11453:3;11449:14;11442:5;11439:25;11436:51;;;11467:18;;:::i;:::-;11436:51;11516:4;11509:5;11505:16;11496:25;;10454:1073;;;;;;:::o;11533:285::-;11593:5;11617:23;11635:4;11617:23;:::i;:::-;11609:31;;11661:27;11679:8;11661:27;:::i;:::-;11649:39;;11707:104;11744:66;11734:8;11728:4;11707:104;:::i;:::-;11698:113;;11533:285;;;;:::o;11824:348::-;11864:7;11887:20;11905:1;11887:20;:::i;:::-;11882:25;;11921:20;11939:1;11921:20;:::i;:::-;11916:25;;12109:1;12041:66;12037:74;12034:1;12031:81;12026:1;12019:9;12012:17;12008:105;12005:131;;;12116:18;;:::i;:::-;12005:131;12164:1;12161;12157:9;12146:20;;11824:348;;;;:::o;12178:155::-;12318:7;12314:1;12306:6;12302:14;12295:31;12178:155;:::o;12339:365::-;12481:3;12502:66;12566:1;12561:3;12502:66;:::i;:::-;12495:73;;12577:93;12666:3;12577:93;:::i;:::-;12695:2;12690:3;12686:12;12679:19;;12339:365;;;:::o;12710:419::-;12876:4;12914:2;12903:9;12899:18;12891:26;;12963:9;12957:4;12953:20;12949:1;12938:9;12934:17;12927:47;12991:131;13117:4;12991:131;:::i;:::-;12983:139;;12710:419;;;:::o;13135:191::-;13175:4;13195:20;13213:1;13195:20;:::i;:::-;13190:25;;13229:20;13247:1;13229:20;:::i;:::-;13224:25;;13268:1;13265;13262:8;13259:34;;;13273:18;;:::i;:::-;13259:34;13318:1;13315;13311:9;13303:17;;13135:191;;;;:::o;13332:163::-;13472:15;13468:1;13460:6;13456:14;13449:39;13332:163;:::o;13501:366::-;13643:3;13664:67;13728:2;13723:3;13664:67;:::i;:::-;13657:74;;13740:93;13829:3;13740:93;:::i;:::-;13858:2;13853:3;13849:12;13842:19;;13501:366;;;:::o;13873:419::-;14039:4;14077:2;14066:9;14062:18;14054:26;;14126:9;14120:4;14116:20;14112:1;14101:9;14097:17;14090:47;14154:131;14280:4;14154:131;:::i;:::-;14146:139;;13873:419;;;:::o;14298:163::-;14438:15;14434:1;14426:6;14422:14;14415:39;14298:163;:::o;14467:366::-;14609:3;14630:67;14694:2;14689:3;14630:67;:::i;:::-;14623:74;;14706:93;14795:3;14706:93;:::i;:::-;14824:2;14819:3;14815:12;14808:19;;14467:366;;;:::o;14839:419::-;15005:4;15043:2;15032:9;15028:18;15020:26;;15092:9;15086:4;15082:20;15078:1;15067:9;15063:17;15056:47;15120:131;15246:4;15120:131;:::i;:::-;15112:139;;14839:419;;;:::o;15264:163::-;15404:15;15400:1;15392:6;15388:14;15381:39;15264:163;:::o;15433:366::-;15575:3;15596:67;15660:2;15655:3;15596:67;:::i;:::-;15589:74;;15672:93;15761:3;15672:93;:::i;:::-;15790:2;15785:3;15781:12;15774:19;;15433:366;;;:::o;15805:419::-;15971:4;16009:2;15998:9;15994:18;15986:26;;16058:9;16052:4;16048:20;16044:1;16033:9;16029:17;16022:47;16086:131;16212:4;16086:131;:::i;:::-;16078:139;;15805:419;;;:::o;16230:159::-;16370:11;16366:1;16358:6;16354:14;16347:35;16230:159;:::o;16395:365::-;16537:3;16558:66;16622:1;16617:3;16558:66;:::i;:::-;16551:73;;16633:93;16722:3;16633:93;:::i;:::-;16751:2;16746:3;16742:12;16735:19;;16395:365;;;:::o;16766:419::-;16932:4;16970:2;16959:9;16955:18;16947:26;;17019:9;17013:4;17009:20;17005:1;16994:9;16990:17;16983:47;17047:131;17173:4;17047:131;:::i;:::-;17039:139;;16766:419;;;:::o;17191:159::-;17331:11;17327:1;17319:6;17315:14;17308:35;17191:159;:::o;17356:365::-;17498:3;17519:66;17583:1;17578:3;17519:66;:::i;:::-;17512:73;;17594:93;17683:3;17594:93;:::i;:::-;17712:2;17707:3;17703:12;17696:19;;17356:365;;;:::o;17727:419::-;17893:4;17931:2;17920:9;17916:18;17908:26;;17980:9;17974:4;17970:20;17966:1;17955:9;17951:17;17944:47;18008:131;18134:4;18008:131;:::i;:::-;18000:139;;17727:419;;;:::o;18152:305::-;18192:3;18211:20;18229:1;18211:20;:::i;:::-;18206:25;;18245:20;18263:1;18245:20;:::i;:::-;18240:25;;18399:1;18331:66;18327:74;18324:1;18321:81;18318:107;;;18405:18;;:::i;:::-;18318:107;18449:1;18446;18442:9;18435:16;;18152:305;;;;:::o

ipfs://2cd3a686fcbd35f14100aa0c0af2739cfe5ea2e24db459bad77a6aca068fdd21