Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract SafeMath
•    - function safeMul(uint256 a, uint256 b ...
•    - function safeDiv(uint256 a, uint256 b ...
•    - function safeSub(uint256 a, uint256 b ...
•    - function safeAdd(uint256 a, uint256 b ...
•  contract SCT is SafeMath *
•    - function SCT()
•    - function transfer(address _to, uint25 ...
•    - function approve(address _spender, ui ...
•    - function prodTokens(address _to, uint ...
•    - function transferFrom(address _from, ...
•    - function burn(uint256 _value)
•    - function freeze(uint256 _value)
•    - function unfreeze(uint256 _value)
•    - function withdrawEther(uint256 amount ...
•    - function totalSupply()
•    - function balanceOf(address _owner)
•    - function()
•    - function editRestrictedAddress(addres ...
•    - function isRestrictedAddress(address ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-10-01
*/

pragma solidity ^0.4.8;

/**
 * Math operations with safety checks
 */
contract SafeMath {
  function safeMul(uint256 a, uint256 b) internal returns (uint256) {
    uint256 c = a * b;
    assert(a == 0 || c / a == b);
    return c;
  }

  function safeDiv(uint256 a, uint256 b) internal returns (uint256) {
    assert(b > 0);
    uint256 c = a / b;
    assert(a == b * c + a % b);
    return c;
  }

  function safeSub(uint256 a, uint256 b) internal returns (uint256) {
    assert(b <= a);
    return a - b;
  }

  function safeAdd(uint256 a, uint256 b) internal returns (uint256) {
    uint256 c = a + b;
    assert(c>=a && c>=b);
    return c;
  }
}
contract SCT is SafeMath{
    string public name;
    string public symbol;
    address public owner;
    uint8 public decimals;
    uint256 public totalSupply;
    address public icoContractAddress;
    uint256 public  tokensTotalSupply =  3100 * (10**6) * 10**18;
    mapping (address => bool) restrictedAddresses;
    uint256 constant initialSupply = 3100 * (10**6) * 10**18;
    string constant  tokenName = 'SCT';
    uint8 constant decimalUnits = 18;
    string constant tokenSymbol = 'SCT';


    /* This creates an array with all balances */
    mapping (address => uint256) public balanceOf;
   mapping (address => uint256) public freezeOf;
    mapping (address => mapping (address => uint256)) public allowance;

    /* This generates a public event on the blockchain that will notify clients */
    event Transfer(address indexed from, address indexed to, uint256 value);

    /* This notifies clients about the amount burnt */
    event Burn(address indexed from, uint256 value);

 /* This notifies clients about the amount frozen */
    event Freeze(address indexed from, uint256 value);

 /* This notifies clients about the amount unfrozen */
    event Unfreeze(address indexed from, uint256 value);
  //  Mint event
    event Mint(address indexed _to, uint256 _value);

    event Approval(address indexed _owner, address indexed _spender, uint256 _value);

    modifier onlyOwner {
      assert(owner == msg.sender);
      _;
    }

    /* Initializes contract with initial supply tokens to the creator of the contract */
    function SCT() {
        balanceOf[msg.sender] = initialSupply;              // Give the creator all initial tokens
        totalSupply = initialSupply;                        // Update total supply
        name = tokenName;                                   // Set the name for display purposes
        symbol = tokenSymbol;                               // Set the symbol for display purposes
        decimals = decimalUnits;                            // Amount of decimals for display purposes
        owner = msg.sender;
    }

    /* Send coins */
    function transfer(address _to, uint256 _value) {
      require (_value > 0) ;
        require (balanceOf[msg.sender] >= _value);           // Check if the sender has enough
        require (balanceOf[_to] + _value >= balanceOf[_to]) ;     // Check for overflows
        require (!restrictedAddresses[_to]);
        balanceOf[msg.sender] = SafeMath.safeSub(balanceOf[msg.sender], _value);                     // Subtract from the sender
        balanceOf[_to] = SafeMath.safeAdd(balanceOf[_to], _value);                            // Add the same to the recipient
        Transfer(msg.sender, _to, _value);                   // Notify anyone listening that this transfer took place
    }

    /* Allow another contract to spend some tokens in your behalf */
    function approve(address _spender, uint256 _value)
        returns (bool success) {
          allowance[msg.sender][_spender] = _value;          // Set allowance
        Approval(msg.sender, _spender, _value);             // Raise Approval event
        return true;
    }

    function prodTokens(address _to, uint256 _amount)
    onlyOwner {
      require (_amount != 0 ) ;   // Check if values are not null;
      require (balanceOf[_to] + _amount > balanceOf[_to]) ;     // Check for overflows
      require (totalSupply <=tokensTotalSupply);
      //require (!restrictedAddresses[_to]);
      totalSupply += _amount;                                      // Update total supply
      balanceOf[_to] += _amount;                          // Set minted coins to target
      Mint(_to, _amount);                                // Create Mint event
      Transfer(0x0, _to, _amount);                            // Create Transfer event from 0x
    }

    /* A contract attempts to get the coins */
    function transferFrom(address _from, address _to, uint256 _value) returns (bool success) {
        require (balanceOf[_from] >= _value);                 // Check if the sender has enough
        require (balanceOf[_to] + _value >= balanceOf[_to]) ;  // Check for overflows
        require (_value <= allowance[_from][msg.sender]) ;     // Check allowance
        require (!restrictedAddresses[_to]);
        balanceOf[_from] = SafeMath.safeSub(balanceOf[_from], _value);                           // Subtract from the sender
        balanceOf[_to] = SafeMath.safeAdd(balanceOf[_to], _value);                             // Add the same to the recipient
        allowance[_from][msg.sender] = SafeMath.safeSub(allowance[_from][msg.sender], _value);
        Transfer(_from, _to, _value);
        return true;
    }

    function burn(uint256 _value) returns (bool success) {
        require (balanceOf[msg.sender] >= _value) ;            // Check if the sender has enough
      require (_value > 0) ;
        balanceOf[msg.sender] = SafeMath.safeSub(balanceOf[msg.sender], _value);                      // Subtract from the sender
        totalSupply = SafeMath.safeSub(totalSupply,_value);                                // Updates totalSupply
        Burn(msg.sender, _value);
        return true;
    }

 function freeze(uint256 _value) returns (bool success) {
        require (balanceOf[msg.sender] >= _value) ;            // Check if the sender has enough
      require (_value > 0) ;
        balanceOf[msg.sender] = SafeMath.safeSub(balanceOf[msg.sender], _value);                      // Subtract from the sender
        freezeOf[msg.sender] = SafeMath.safeAdd(freezeOf[msg.sender], _value);                                // Updates totalSupply
        Freeze(msg.sender, _value);
        return true;
    }

 function unfreeze(uint256 _value) returns (bool success) {
        require (balanceOf[msg.sender] >= _value) ;            // Check if the sender has enough
        require (_value > 0) ;
        freezeOf[msg.sender] = SafeMath.safeSub(freezeOf[msg.sender], _value);                      // Subtract from the sender
      balanceOf[msg.sender] = SafeMath.safeAdd(balanceOf[msg.sender], _value);
        Unfreeze(msg.sender, _value);
        return true;
    }

 // transfer balance to owner
 function withdrawEther(uint256 amount)
  onlyOwner {
  owner.transfer(amount);
 }

  function totalSupply() constant returns (uint256 Supply) {
  return totalSupply;
 }

 /* Get balance of specific address */
 function balanceOf(address _owner) constant returns (uint256 balance) {
  return balanceOf[_owner];
 }


 function() payable {
    revert();
    }

    /* Owner can add new restricted address or removes one */
 function editRestrictedAddress(address _newRestrictedAddress) onlyOwner {
  restrictedAddresses[_newRestrictedAddress] = !restrictedAddresses[_newRestrictedAddress];
 }

 function isRestrictedAddress(address _querryAddress) constant returns (bool answer){
  return restrictedAddresses[_querryAddress];
 }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[{"name":"_querryAddress","type":"address"}],"name":"isRestrictedAddress","outputs":[{"name":"answer","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_value","type":"uint256"}],"name":"approve","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"Supply","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_from","type":"address"},{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"amount","type":"uint256"}],"name":"withdrawEther","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_value","type":"uint256"}],"name":"burn","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_amount","type":"uint256"}],"name":"prodTokens","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_newRestrictedAddress","type":"address"}],"name":"editRestrictedAddress","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_value","type":"uint256"}],"name":"unfreeze","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"balance","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"tokensTotalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"icoContractAddress","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"freezeOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_value","type":"uint256"}],"name":"freeze","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"},{"name":"","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"payable":true,"stateMutability":"payable","type":"fallback"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Burn","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Freeze","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Unfreeze","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_to","type":"address"},{"indexed":false,"name":"_value","type":"uint256"}],"name":"Mint","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_owner","type":"address"},{"indexed":true,"name":"_spender","type":"address"},{"indexed":false,"name":"_value","type":"uint256"}],"name":"Approval","type":"event"}]

60806040526b0a044288bc398d899c0000006005553480156200002157600080fd5b506b0a044288bc398d899c000000600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506b0a044288bc398d899c0000006003819055506040805190810160405280600381526020017f534354000000000000000000000000000000000000000000000000000000000081525060009080519060200190620000d292919062000184565b506040805190810160405280600381526020017f5343540000000000000000000000000000000000000000000000000000000000815250600190805190602001906200012092919062000184565b506012600260146101000a81548160ff021916908360ff16021790555033600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555062000233565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10620001c757805160ff1916838001178555620001f8565b82800160010185558215620001f8579182015b82811115620001f7578251825591602001919060010190620001da565b5b5090506200020791906200020b565b5090565b6200023091905b808211156200022c57600081600090555060010162000212565b5090565b90565b611b6c80620002436000396000f300608060405260043610610112576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806303c175ff1461011757806306fdde0314610172578063095ea7b31461020257806318160ddd1461026757806323b872dd14610292578063313ce567146103175780633bed33ce1461034857806342966c68146103755780634d7d87b2146103ba5780634ec883d1146104075780636623fc461461044a57806370a082311461048f5780638da5cb5b146104e657806395a082211461053d57806395d89b41146105685780639fe17cc2146105f8578063a9059cbb1461064f578063cd4217c11461069c578063d7a78db8146106f3578063dd62ed3e14610738575b600080fd5b34801561012357600080fd5b50610158600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506107af565b604051808215151515815260200191505060405180910390f35b34801561017e57600080fd5b50610187610805565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101c75780820151818401526020810190506101ac565b50505050905090810190601f1680156101f45780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561020e57600080fd5b5061024d600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506108a3565b604051808215151515815260200191505060405180910390f35b34801561027357600080fd5b5061027c610995565b6040518082815260200191505060405180910390f35b34801561029e57600080fd5b506102fd600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061099f565b604051808215151515815260200191505060405180910390f35b34801561032357600080fd5b5061032c610df0565b604051808260ff1660ff16815260200191505060405180910390f35b34801561035457600080fd5b5061037360048036038101908080359060200190929190505050610e03565b005b34801561038157600080fd5b506103a060048036038101908080359060200190929190505050610ec8565b604051808215151515815260200191505060405180910390f35b3480156103c657600080fd5b50610405600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061101c565b005b34801561041357600080fd5b50610448600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611225565b005b34801561045657600080fd5b5061047560048036038101908080359060200190929190505050611325565b604051808215151515815260200191505060405180910390f35b34801561049b57600080fd5b506104d0600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506114f3565b6040518082815260200191505060405180910390f35b3480156104f257600080fd5b506104fb61153c565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561054957600080fd5b50610552611562565b6040518082815260200191505060405180910390f35b34801561057457600080fd5b5061057d611568565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156105bd5780820151818401526020810190506105a2565b50505050905090810190601f1680156105ea5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561060457600080fd5b5061060d611606565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561065b57600080fd5b5061069a600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061162c565b005b3480156106a857600080fd5b506106dd600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506118f2565b6040518082815260200191505060405180910390f35b3480156106ff57600080fd5b5061071e6004803603810190808035906020019092919050505061190a565b604051808215151515815260200191505060405180910390f35b34801561074457600080fd5b50610799600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611ad8565b6040518082815260200191505060405180910390f35b6000600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff169050919050565b60008054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561089b5780601f106108705761010080835404028352916020019161089b565b820191906000526020600020905b81548152906001019060200180831161087e57829003601f168201915b505050505081565b600081600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600354905090565b600081600760008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101515156109ef57600080fd5b600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482600760008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020540110151515610a7e57600080fd5b600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211151515610b0957600080fd5b600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151515610b6257600080fd5b610bab600760008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611afd565b600760008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610c37600760008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611b16565b600760008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610d00600960008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611afd565b600960008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b600260149054906101000a900460ff1681565b3373ffffffffffffffffffffffffffffffffffffffff16600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16141515610e5c57fe5b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015610ec4573d6000803e3d6000fd5b5050565b600081600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410151515610f1857600080fd5b600082111515610f2757600080fd5b610f70600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611afd565b600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610fbf60035483611afd565b6003819055503373ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5836040518082815260200191505060405180910390a260019050919050565b3373ffffffffffffffffffffffffffffffffffffffff16600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614151561107557fe5b6000811415151561108557600080fd5b600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205481600760008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020540111151561111357600080fd5b6005546003541115151561112657600080fd5b8060036000828254019250508190555080600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508173ffffffffffffffffffffffffffffffffffffffff167f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d4121396885826040518082815260200191505060405180910390a28173ffffffffffffffffffffffffffffffffffffffff1660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b3373ffffffffffffffffffffffffffffffffffffffff16600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614151561127e57fe5b600660008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555050565b600081600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015151561137557600080fd5b60008211151561138457600080fd5b6113cd600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611afd565b600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611459600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611b16565b600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167f2cfce4af01bcb9d6cf6c84ee1b7c491100b8695368264146a94d71e10a63083f836040518082815260200191505060405180910390a260019050919050565b6000600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60055481565b60018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156115fe5780601f106115d3576101008083540402835291602001916115fe565b820191906000526020600020905b8154815290600101906020018083116115e157829003601f168201915b505050505081565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008111151561163b57600080fd5b80600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015151561168957600080fd5b600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205481600760008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054011015151561171857600080fd5b600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615151561177157600080fd5b6117ba600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482611afd565b600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611846600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482611b16565b600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60086020528060005260406000206000915090505481565b600081600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015151561195a57600080fd5b60008211151561196957600080fd5b6119b2600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611afd565b600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611a3e600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611b16565b600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167ff97a274face0b5517365ad396b1fdba6f68bd3135ef603e44272adba3af5a1e0836040518082815260200191505060405180910390a260019050919050565b6009602052816000526040600020602052806000526040600020600091509150505481565b6000828211151515611b0b57fe5b818303905092915050565b6000808284019050838110158015611b2e5750828110155b1515611b3657fe5b80915050929150505600a165627a7a723058202cda926cdd2ed01cb2323b560c326daa8f01aca6049527e28311cd884deb6fdc0029

0x608060405260043610610112576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806303c175ff1461011757806306fdde0314610172578063095ea7b31461020257806318160ddd1461026757806323b872dd14610292578063313ce567146103175780633bed33ce1461034857806342966c68146103755780634d7d87b2146103ba5780634ec883d1146104075780636623fc461461044a57806370a082311461048f5780638da5cb5b146104e657806395a082211461053d57806395d89b41146105685780639fe17cc2146105f8578063a9059cbb1461064f578063cd4217c11461069c578063d7a78db8146106f3578063dd62ed3e14610738575b600080fd5b34801561012357600080fd5b50610158600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506107af565b604051808215151515815260200191505060405180910390f35b34801561017e57600080fd5b50610187610805565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101c75780820151818401526020810190506101ac565b50505050905090810190601f1680156101f45780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561020e57600080fd5b5061024d600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506108a3565b604051808215151515815260200191505060405180910390f35b34801561027357600080fd5b5061027c610995565b6040518082815260200191505060405180910390f35b34801561029e57600080fd5b506102fd600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061099f565b604051808215151515815260200191505060405180910390f35b34801561032357600080fd5b5061032c610df0565b604051808260ff1660ff16815260200191505060405180910390f35b34801561035457600080fd5b5061037360048036038101908080359060200190929190505050610e03565b005b34801561038157600080fd5b506103a060048036038101908080359060200190929190505050610ec8565b604051808215151515815260200191505060405180910390f35b3480156103c657600080fd5b50610405600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061101c565b005b34801561041357600080fd5b50610448600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611225565b005b34801561045657600080fd5b5061047560048036038101908080359060200190929190505050611325565b604051808215151515815260200191505060405180910390f35b34801561049b57600080fd5b506104d0600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506114f3565b6040518082815260200191505060405180910390f35b3480156104f257600080fd5b506104fb61153c565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561054957600080fd5b50610552611562565b6040518082815260200191505060405180910390f35b34801561057457600080fd5b5061057d611568565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156105bd5780820151818401526020810190506105a2565b50505050905090810190601f1680156105ea5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561060457600080fd5b5061060d611606565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561065b57600080fd5b5061069a600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061162c565b005b3480156106a857600080fd5b506106dd600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506118f2565b6040518082815260200191505060405180910390f35b3480156106ff57600080fd5b5061071e6004803603810190808035906020019092919050505061190a565b604051808215151515815260200191505060405180910390f35b34801561074457600080fd5b50610799600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611ad8565b6040518082815260200191505060405180910390f35b6000600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff169050919050565b60008054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561089b5780601f106108705761010080835404028352916020019161089b565b820191906000526020600020905b81548152906001019060200180831161087e57829003601f168201915b505050505081565b600081600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600354905090565b600081600760008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101515156109ef57600080fd5b600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482600760008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020540110151515610a7e57600080fd5b600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211151515610b0957600080fd5b600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151515610b6257600080fd5b610bab600760008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611afd565b600760008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610c37600760008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611b16565b600760008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610d00600960008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611afd565b600960008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b600260149054906101000a900460ff1681565b3373ffffffffffffffffffffffffffffffffffffffff16600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16141515610e5c57fe5b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015610ec4573d6000803e3d6000fd5b5050565b600081600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410151515610f1857600080fd5b600082111515610f2757600080fd5b610f70600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611afd565b600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610fbf60035483611afd565b6003819055503373ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5836040518082815260200191505060405180910390a260019050919050565b3373ffffffffffffffffffffffffffffffffffffffff16600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614151561107557fe5b6000811415151561108557600080fd5b600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205481600760008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020540111151561111357600080fd5b6005546003541115151561112657600080fd5b8060036000828254019250508190555080600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508173ffffffffffffffffffffffffffffffffffffffff167f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d4121396885826040518082815260200191505060405180910390a28173ffffffffffffffffffffffffffffffffffffffff1660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b3373ffffffffffffffffffffffffffffffffffffffff16600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614151561127e57fe5b600660008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555050565b600081600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015151561137557600080fd5b60008211151561138457600080fd5b6113cd600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611afd565b600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611459600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611b16565b600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167f2cfce4af01bcb9d6cf6c84ee1b7c491100b8695368264146a94d71e10a63083f836040518082815260200191505060405180910390a260019050919050565b6000600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60055481565b60018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156115fe5780601f106115d3576101008083540402835291602001916115fe565b820191906000526020600020905b8154815290600101906020018083116115e157829003601f168201915b505050505081565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008111151561163b57600080fd5b80600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015151561168957600080fd5b600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205481600760008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054011015151561171857600080fd5b600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615151561177157600080fd5b6117ba600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482611afd565b600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611846600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482611b16565b600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60086020528060005260406000206000915090505481565b600081600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015151561195a57600080fd5b60008211151561196957600080fd5b6119b2600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611afd565b600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611a3e600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611b16565b600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff167ff97a274face0b5517365ad396b1fdba6f68bd3135ef603e44272adba3af5a1e0836040518082815260200191505060405180910390a260019050919050565b6009602052816000526040600020602052806000526040600020600091509150505481565b6000828211151515611b0b57fe5b818303905092915050565b6000808284019050838110158015611b2e5750828110155b1515611b3657fe5b80915050929150505600a165627a7a723058202cda926cdd2ed01cb2323b560c326daa8f01aca6049527e28311cd884deb6fdc0029

682:7046:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7331:8;;;7590:135;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7590:135:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;713:18;;8:9:-1;5:2;;;30:1;27;20:12;5:2;713:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;713:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3605:277;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3605:277:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7064:85;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7064:85:0;;;;;;;;;;;;;;;;;;;;;;;4626:822;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4626:822:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;792:21;;8:9:-1;5:2;;;30:1;27;20:12;5:2;792:21:0;;;;;;;;;;;;;;;;;;;;;;;;;;;6974:84;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6974:84:0;;;;;;;;;;;;;;;;;;;;;;;;;;5456:492;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5456:492:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3890:680;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3890:680:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7415:170;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7415:170:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;6473:465;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6473:465:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7194:104;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7194:104:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;765:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;765:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;893:60;;8:9:-1;5:2;;;30:1;27;20:12;5:2;893:60:0;;;;;;;;;;;;;;;;;;;;;;;738:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;738:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;738:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;853:33;;8:9:-1;5:2;;;30:1;27;20:12;5:2;853:33:0;;;;;;;;;;;;;;;;;;;;;;;;;;;2833:694;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2833:694:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1303:44;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1303:44:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5953:515;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5953:515:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1354:66;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1354:66:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7590:135;7661:11;7685:19;:35;7705:14;7685:35;;;;;;;;;;;;;;;;;;;;;;;;;7678:42;;7590:135;;;:::o;713:18::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3605:277::-;3674:12;3735:6;3701:9;:21;3711:10;3701:21;;;;;;;;;;;;;;;:31;3723:8;3701:31;;;;;;;;;;;;;;;:40;;;;3799:8;3778:38;;3787:10;3778:38;;;3809:6;3778:38;;;;;;;;;;;;;;;;;;3870:4;3863:11;;3605:277;;;;:::o;7064:85::-;7105:14;7133:11;;7126:18;;7064:85;:::o;4626:822::-;4701:12;4755:6;4735:9;:16;4745:5;4735:16;;;;;;;;;;;;;;;;:26;;4726:36;;;;;;;;4859:9;:14;4869:3;4859:14;;;;;;;;;;;;;;;;4849:6;4832:9;:14;4842:3;4832:14;;;;;;;;;;;;;;;;:23;:41;;4823:51;;;;;;;;4929:9;:16;4939:5;4929:16;;;;;;;;;;;;;;;:28;4946:10;4929:28;;;;;;;;;;;;;;;;4919:6;:38;;4910:48;;;;;;;;5003:19;:24;5023:3;5003:24;;;;;;;;;;;;;;;;;;;;;;;;;5002:25;4993:35;;;;;;;;5058:42;5075:9;:16;5085:5;5075:16;;;;;;;;;;;;;;;;5093:6;5058:16;:42::i;:::-;5039:9;:16;5049:5;5039:16;;;;;;;;;;;;;;;:61;;;;5182:40;5199:9;:14;5209:3;5199:14;;;;;;;;;;;;;;;;5215:6;5182:16;:40::i;:::-;5165:9;:14;5175:3;5165:14;;;;;;;;;;;;;;;:57;;;;5325:54;5342:9;:16;5352:5;5342:16;;;;;;;;;;;;;;;:28;5359:10;5342:28;;;;;;;;;;;;;;;;5372:6;5325:16;:54::i;:::-;5294:9;:16;5304:5;5294:16;;;;;;;;;;;;;;;:28;5311:10;5294:28;;;;;;;;;;;;;;;:85;;;;5406:3;5390:28;;5399:5;5390:28;;;5411:6;5390:28;;;;;;;;;;;;;;;;;;5436:4;5429:11;;4626:822;;;;;:::o;792:21::-;;;;;;;;;;;;;:::o;6974:84::-;2138:10;2129:19;;:5;;;;;;;;;;;:19;;;2122:27;;;;;;7031:5;;;;;;;;;;;:14;;:22;7046:6;7031:22;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7031:22:0;6974:84;:::o;5456:492::-;5495:12;5554:6;5529:9;:21;5539:10;5529:21;;;;;;;;;;;;;;;;:31;;5520:41;;;;;;;;5634:1;5625:6;:10;5616:20;;;;;;;;5672:47;5689:9;:21;5699:10;5689:21;;;;;;;;;;;;;;;;5712:6;5672:16;:47::i;:::-;5648:9;:21;5658:10;5648:21;;;;;;;;;;;;;;;:71;;;;5793:36;5810:11;;5822:6;5793:16;:36::i;:::-;5779:11;:50;;;;5899:10;5894:24;;;5911:6;5894:24;;;;;;;;;;;;;;;;;;5936:4;5929:11;;5456:492;;;:::o;3890:680::-;2138:10;2129:19;;:5;;;;;;;;;;;:19;;;2122:27;;;;;;3984:1;3973:7;:12;;3964:23;;;;;;;;4068:9;:14;4078:3;4068:14;;;;;;;;;;;;;;;;4058:7;4041:9;:14;4051:3;4041:14;;;;;;;;;;;;;;;;:24;:41;4032:51;;;;;;;;4143:17;;4129:11;;:31;;4120:41;;;;;;;;4231:7;4216:11;;:22;;;;;;;;;;;4325:7;4307:9;:14;4317:3;4307:14;;;;;;;;;;;;;;;;:25;;;;;;;;;;;4401:3;4396:18;;;4406:7;4396:18;;;;;;;;;;;;;;;;;;4489:3;4475:27;;4484:3;4475:27;4494:7;4475:27;;;;;;;;;;;;;;;;;;3890:680;;:::o;7415:170::-;2138:10;2129:19;;:5;;;;;;;;;;;:19;;;2122:27;;;;;;7538:19;:42;7558:21;7538:42;;;;;;;;;;;;;;;;;;;;;;;;;7537:43;7492:19;:42;7512:21;7492:42;;;;;;;;;;;;;;;;:88;;;;;;;;;;;;;;;;;;7415:170;:::o;6473:465::-;6516:12;6575:6;6550:9;:21;6560:10;6550:21;;;;;;;;;;;;;;;;:31;;6541:41;;;;;;;;6657:1;6648:6;:10;6639:20;;;;;;;;6694:46;6711:8;:20;6720:10;6711:20;;;;;;;;;;;;;;;;6733:6;6694:16;:46::i;:::-;6671:8;:20;6680:10;6671:20;;;;;;;;;;;;;;;:69;;;;6822:47;6839:9;:21;6849:10;6839:21;;;;;;;;;;;;;;;;6862:6;6822:16;:47::i;:::-;6798:9;:21;6808:10;6798:21;;;;;;;;;;;;;;;:71;;;;6889:10;6880:28;;;6901:6;6880:28;;;;;;;;;;;;;;;;;;6926:4;6919:11;;6473:465;;;:::o;7194:104::-;7247:15;7276:9;:17;7286:6;7276:17;;;;;;;;;;;;;;;;7269:24;;7194:104;;;:::o;765:20::-;;;;;;;;;;;;;:::o;893:60::-;;;;:::o;738:20::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;853:33::-;;;;;;;;;;;;;:::o;2833:694::-;2907:1;2898:6;:10;2889:20;;;;;;;;2955:6;2930:9;:21;2940:10;2930:21;;;;;;;;;;;;;;;;:31;;2921:41;;;;;;;;3053:9;:14;3063:3;3053:14;;;;;;;;;;;;;;;;3043:6;3026:9;:14;3036:3;3026:14;;;;;;;;;;;;;;;;:23;:41;;3017:51;;;;;;;;3117:19;:24;3137:3;3117:24;;;;;;;;;;;;;;;;;;;;;;;;;3116:25;3107:35;;;;;;;;3177:47;3194:9;:21;3204:10;3194:21;;;;;;;;;;;;;;;;3217:6;3177:16;:47::i;:::-;3153:9;:21;3163:10;3153:21;;;;;;;;;;;;;;;:71;;;;3300:40;3317:9;:14;3327:3;3317:14;;;;;;;;;;;;;;;;3333:6;3300:16;:40::i;:::-;3283:9;:14;3293:3;3283:14;;;;;;;;;;;;;;;:57;;;;3432:3;3411:33;;3420:10;3411:33;;;3437:6;3411:33;;;;;;;;;;;;;;;;;;2833:694;;:::o;1303:44::-;;;;;;;;;;;;;;;;;:::o;5953:515::-;5994:12;6053:6;6028:9;:21;6038:10;6028:21;;;;;;;;;;;;;;;;:31;;6019:41;;;;;;;;6133:1;6124:6;:10;6115:20;;;;;;;;6171:47;6188:9;:21;6198:10;6188:21;;;;;;;;;;;;;;;;6211:6;6171:16;:47::i;:::-;6147:9;:21;6157:10;6147:21;;;;;;;;;;;;;;;:71;;;;6301:46;6318:8;:20;6327:10;6318:20;;;;;;;;;;;;;;;;6340:6;6301:16;:46::i;:::-;6278:8;:20;6287:10;6278:20;;;;;;;;;;;;;;;:69;;;;6419:10;6412:26;;;6431:6;6412:26;;;;;;;;;;;;;;;;;;6456:4;6449:11;;5953:515;;;:::o;1354:66::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;421:112::-;478:7;506:1;501;:6;;494:14;;;;;;526:1;522;:5;515:12;;421:112;;;;:::o;539:138::-;596:7;612:9;628:1;624;:5;612:17;;646:1;643;:4;;:12;;;;;654:1;651;:4;;643:12;636:20;;;;;;670:1;663:8;;539:138;;;;;:::o

bzzr://2cda926cdd2ed01cb2323b560c326daa8f01aca6049527e28311cd884deb6fdc