Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract SprintBit *
•    - function safeSub(uint a, uint b)
•    - function safeAdd(uint a, uint b)
•    - function totalSupply()
•    - function transfer(address _to, uint _ ...
•    - function transferFrom(address _from, ...
•    - function balanceOf(address _owner)
•    - function approve(address _spender, ui ...
•    - function allowance(address _owner, ad ...
•    - function freezeAll()
•    - function SprintBit()
•    - function destroy()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-10-25
*/

/**
 *Submitted for verification at Etherscan.io on 2019-10-21
*/

pragma solidity ^0.4.6;

contract SprintBit {

  string public name = "SprintBit";
  string public symbol = "SBT";
  uint public decimals = 18;
  uint public INITIAL_SUPPLY = 100000000000000000000000000;

  mapping(address => uint) balances;
  mapping (address => mapping (address => uint)) allowed;
  uint256 public _totalSupply;
  address public _creator;
  bool bIsFreezeAll = false;
  
  event Transfer(address indexed from, address indexed to, uint value);
  event Approval(address indexed owner, address indexed spender, uint value);
  
  function safeSub(uint a, uint b) internal returns (uint) {
    assert(b <= a);
    return a - b;
  }

  function safeAdd(uint a, uint b) internal returns (uint) {
    uint c = a + b;
    assert(c>=a && c>=b);
    return c;
  }
  
  function totalSupply() public constant returns (uint256 total) {
	total = _totalSupply;
  }

  function transfer(address _to, uint _value) public returns (bool success) {
    require(bIsFreezeAll == false);
    balances[msg.sender] = safeSub(balances[msg.sender], _value);
    balances[_to] = safeAdd(balances[_to], _value);
    Transfer(msg.sender, _to, _value);
    return true;
  }

  function transferFrom(address _from, address _to, uint _value) public returns (bool success) {
    require(bIsFreezeAll == false);
    var _allowance = allowed[_from][msg.sender];
    balances[_to] = safeAdd(balances[_to], _value);
    balances[_from] = safeSub(balances[_from], _value);
    allowed[_from][msg.sender] = safeSub(_allowance, _value);
    Transfer(_from, _to, _value);
    return true;
  }

  function balanceOf(address _owner) public constant returns (uint balance) {
    return balances[_owner];
  }

  function approve(address _spender, uint _value) public returns (bool success) {
	require(bIsFreezeAll == false);
    allowed[msg.sender][_spender] = _value;
    Approval(msg.sender, _spender, _value);
    return true;
  }

  function allowance(address _owner, address _spender) public constant returns (uint remaining) {
    return allowed[_owner][_spender];
  }

  function freezeAll() public 
  {
	require(msg.sender == _creator);
	bIsFreezeAll = !bIsFreezeAll;
  }
  
  function SprintBit() public {
        _totalSupply = INITIAL_SUPPLY;
	_creator = 0xc66c4A406ff17E976C06025a750ED3723EDA174c;
	balances[_creator] = INITIAL_SUPPLY;
	bIsFreezeAll = false;
  }
  
  function destroy() public  {
	require(msg.sender == _creator);
	selfdestruct(_creator);
  }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_value","type":"uint256"}],"name":"approve","outputs":[{"name":"success","type":"bool"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"total","type":"uint256"}],"payable":false,"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,"type":"function"},{"constant":true,"inputs":[],"name":"INITIAL_SUPPLY","outputs":[{"name":"","type":"uint256"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint256"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"_totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"balance","type":"uint256"}],"payable":false,"type":"function"},{"constant":false,"inputs":[],"name":"destroy","outputs":[],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"type":"function"},{"constant":false,"inputs":[],"name":"freezeAll","outputs":[],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"name":"success","type":"bool"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"_creator","outputs":[{"name":"","type":"address"}],"payable":false,"type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"},{"name":"_spender","type":"address"}],"name":"allowance","outputs":[{"name":"remaining","type":"uint256"}],"payable":false,"type":"function"},{"inputs":[],"payable":false,"type":"constructor"},{"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":"owner","type":"address"},{"indexed":true,"name":"spender","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Approval","type":"event"}]

60606040526040805190810160405280600981526020017f537072696e7442697400000000000000000000000000000000000000000000008152506000908051906020019061004f9291906101be565b506040805190810160405280600381526020017f53425400000000000000000000000000000000000000000000000000000000008152506001908051906020019061009b9291906101be565b5060126002556a52b7d2dcc80cd2e40000006003556000600760146101000a81548160ff02191690831515021790555034156100d657600080fd5b5b60035460068190555073c66c4a406ff17e976c06025a750ed3723eda174c600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060035460046000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000600760146101000a81548160ff0219169083151502179055505b610263565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106101ff57805160ff191683800117855561022d565b8280016001018555821561022d579182015b8281111561022c578251825591602001919060010190610211565b5b50905061023a919061023e565b5090565b61026091905b8082111561025c576000816000905550600101610244565b5090565b90565b610e5580620002736000396000f300606060405236156100ce576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde03146100d3578063095ea7b31461016257806318160ddd146101bc57806323b872dd146101e55780632ff2e9dc1461025e578063313ce567146102875780633eaaf86b146102b057806370a08231146102d957806383197ef01461032657806395d89b411461033b57806399464c89146103ca578063a9059cbb146103df578063bc8bde6414610439578063dd62ed3e1461048e575b600080fd5b34156100de57600080fd5b6100e66104fa565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101275780820151818401525b60208101905061010b565b50505050905090810190601f1680156101545780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561016d57600080fd5b6101a2600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091908035906020019091905050610598565b604051808215151515815260200191505060405180910390f35b34156101c757600080fd5b6101cf6106ac565b6040518082815260200191505060405180910390f35b34156101f057600080fd5b610244600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803573ffffffffffffffffffffffffffffffffffffffff169060200190919080359060200190919050506106b7565b604051808215151515815260200191505060405180910390f35b341561026957600080fd5b61027161096f565b6040518082815260200191505060405180910390f35b341561029257600080fd5b61029a610975565b6040518082815260200191505060405180910390f35b34156102bb57600080fd5b6102c361097b565b6040518082815260200191505060405180910390f35b34156102e457600080fd5b610310600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050610981565b6040518082815260200191505060405180910390f35b341561033157600080fd5b6103396109cb565b005b341561034657600080fd5b61034e610a64565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561038f5780820151818401525b602081019050610373565b50505050905090810190601f1680156103bc5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34156103d557600080fd5b6103dd610b02565b005b34156103ea57600080fd5b61041f600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091908035906020019091905050610b8b565b604051808215151515815260200191505060405180910390f35b341561044457600080fd5b61044c610d36565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b341561049957600080fd5b6104e4600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050610d5c565b6040518082815260200191505060405180910390f35b60008054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156105905780601f1061056557610100808354040283529160200191610590565b820191906000526020600020905b81548152906001019060200180831161057357829003601f168201915b505050505081565b6000801515600760149054906101000a900460ff1615151415156105bb57600080fd5b81600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a3600190505b92915050565b600060065490505b90565b60008060001515600760149054906101000a900460ff1615151415156106dc57600080fd5b600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490506107a4600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205484610de4565b600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610830600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205484610e0f565b600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061087d8184610e0f565b600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a3600191505b509392505050565b60035481565b60025481565b60065481565b6000600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490505b919050565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610a2757600080fd5b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16ff5b565b60018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610afa5780601f10610acf57610100808354040283529160200191610afa565b820191906000526020600020905b815481529060010190602001808311610add57829003601f168201915b505050505081565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610b5e57600080fd5b600760149054906101000a900460ff1615600760146101000a81548160ff0219169083151502179055505b565b6000801515600760149054906101000a900460ff161515141515610bae57600080fd5b610bf7600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483610e0f565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610c83600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483610de4565b600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190505b92915050565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490505b92915050565b6000808284019050838110158015610dfc5750828110155b1515610e0457fe5b8091505b5092915050565b6000828211151515610e1d57fe5b81830390505b929150505600a165627a7a723058208cca0c000b66e5ef0f5fc613f79bb7028fdc11bf806ef477bc650ffb3f8fdfb60029

0x606060405236156100ce576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde03146100d3578063095ea7b31461016257806318160ddd146101bc57806323b872dd146101e55780632ff2e9dc1461025e578063313ce567146102875780633eaaf86b146102b057806370a08231146102d957806383197ef01461032657806395d89b411461033b57806399464c89146103ca578063a9059cbb146103df578063bc8bde6414610439578063dd62ed3e1461048e575b600080fd5b34156100de57600080fd5b6100e66104fa565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101275780820151818401525b60208101905061010b565b50505050905090810190601f1680156101545780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561016d57600080fd5b6101a2600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091908035906020019091905050610598565b604051808215151515815260200191505060405180910390f35b34156101c757600080fd5b6101cf6106ac565b6040518082815260200191505060405180910390f35b34156101f057600080fd5b610244600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803573ffffffffffffffffffffffffffffffffffffffff169060200190919080359060200190919050506106b7565b604051808215151515815260200191505060405180910390f35b341561026957600080fd5b61027161096f565b6040518082815260200191505060405180910390f35b341561029257600080fd5b61029a610975565b6040518082815260200191505060405180910390f35b34156102bb57600080fd5b6102c361097b565b6040518082815260200191505060405180910390f35b34156102e457600080fd5b610310600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050610981565b6040518082815260200191505060405180910390f35b341561033157600080fd5b6103396109cb565b005b341561034657600080fd5b61034e610a64565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561038f5780820151818401525b602081019050610373565b50505050905090810190601f1680156103bc5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34156103d557600080fd5b6103dd610b02565b005b34156103ea57600080fd5b61041f600480803573ffffffffffffffffffffffffffffffffffffffff16906020019091908035906020019091905050610b8b565b604051808215151515815260200191505060405180910390f35b341561044457600080fd5b61044c610d36565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b341561049957600080fd5b6104e4600480803573ffffffffffffffffffffffffffffffffffffffff1690602001909190803573ffffffffffffffffffffffffffffffffffffffff16906020019091905050610d5c565b6040518082815260200191505060405180910390f35b60008054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156105905780601f1061056557610100808354040283529160200191610590565b820191906000526020600020905b81548152906001019060200180831161057357829003601f168201915b505050505081565b6000801515600760149054906101000a900460ff1615151415156105bb57600080fd5b81600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a3600190505b92915050565b600060065490505b90565b60008060001515600760149054906101000a900460ff1615151415156106dc57600080fd5b600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490506107a4600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205484610de4565b600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610830600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205484610e0f565b600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061087d8184610e0f565b600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040518082815260200191505060405180910390a3600191505b509392505050565b60035481565b60025481565b60065481565b6000600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490505b919050565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610a2757600080fd5b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16ff5b565b60018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610afa5780601f10610acf57610100808354040283529160200191610afa565b820191906000526020600020905b815481529060010190602001808311610add57829003601f168201915b505050505081565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610b5e57600080fd5b600760149054906101000a900460ff1615600760146101000a81548160ff0219169083151502179055505b565b6000801515600760149054906101000a900460ff161515141515610bae57600080fd5b610bf7600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483610e0f565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610c83600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483610de4565b600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190505b92915050565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490505b92915050565b6000808284019050838110158015610dfc5750828110155b1515610e0457fe5b8091505b5092915050565b6000828211151515610e1d57fe5b81830390505b929150505600a165627a7a723058208cca0c000b66e5ef0f5fc613f79bb7028fdc11bf806ef477bc650ffb3f8fdfb60029

98:2504:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;124:32;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:2;8:100;;;99:1;94:3;90;84:5;80:1;75:3;71;64:6;8:100;52:2;49:1;45:3;40:15;;8:100;;;12:14;3:109;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1811:226:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;877:93;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1277:412;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;224:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;194:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;384:27;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1695:110;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2503:94;;;;;;;;;;;;;;161:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:2;8:100;;;99:1;94:3;90;84:5;80:1;75:3;71;64:6;8:100;52:2;49:1;45:3;40:15;;8:100;;;12:14;3:109;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2188:105:0;;;;;;;;;;;;;;976:295;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;416:23;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2043:139;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;124:32;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1811:226::-;1875:12;1917:5;1901:21;;:12;;;;;;;;;;;:21;;;1893:30;;;;;;;;1962:6;1930:7;:19;1938:10;1930:19;;;;;;;;;;;;;;;:29;1950:8;1930:29;;;;;;;;;;;;;;;:38;;;;1996:8;1975:38;;1984:10;1975:38;;;2006:6;1975:38;;;;;;;;;;;;;;;;;;2027:4;2020:11;;1811:226;;;;;:::o;877:93::-;925:13;952:12;;944:20;;877:93;;:::o;1277:412::-;1356:12;1414:14;1401:5;1385:21;;:12;;;;;;;;;;;:21;;;1377:30;;;;;;;;1431:7;:14;1439:5;1431:14;;;;;;;;;;;;;;;:26;1446:10;1431:26;;;;;;;;;;;;;;;;1414:43;;1480:30;1488:8;:13;1497:3;1488:13;;;;;;;;;;;;;;;;1503:6;1480:7;:30::i;:::-;1464:8;:13;1473:3;1464:13;;;;;;;;;;;;;;;:46;;;;1535:32;1543:8;:15;1552:5;1543:15;;;;;;;;;;;;;;;;1560:6;1535:7;:32::i;:::-;1517:8;:15;1526:5;1517:15;;;;;;;;;;;;;;;:50;;;;1603:27;1611:10;1623:6;1603:7;:27::i;:::-;1574:7;:14;1582:5;1574:14;;;;;;;;;;;;;;;:26;1589:10;1574:26;;;;;;;;;;;;;;;:56;;;;1653:3;1637:28;;1646:5;1637:28;;;1658:6;1637:28;;;;;;;;;;;;;;;;;;1679:4;1672:11;;1277:412;;;;;;;:::o;224:56::-;;;;:::o;194:25::-;;;;:::o;384:27::-;;;;:::o;1695:110::-;1755:12;1783:8;:16;1792:6;1783:16;;;;;;;;;;;;;;;;1776:23;;1695:110;;;;:::o;2503:94::-;2556:8;;;;;;;;;;;2542:22;;:10;:22;;;2534:31;;;;;;;;2582:8;;;;;;;;;;;2569:22;;;2503:94;:::o;161:28::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2188:105::-;2246:8;;;;;;;;;;;2232:22;;:10;:22;;;2224:31;;;;;;;;2275:12;;;;;;;;;;;2274:13;2259:12;;:28;;;;;;;;;;;;;;;;;;2188:105;:::o;976:295::-;1036:12;1081:5;1065:21;;:12;;;;;;;;;;;:21;;;1057:30;;;;;;;;1117:37;1125:8;:20;1134:10;1125:20;;;;;;;;;;;;;;;;1147:6;1117:7;:37::i;:::-;1094:8;:20;1103:10;1094:20;;;;;;;;;;;;;;;:60;;;;1177:30;1185:8;:13;1194:3;1185:13;;;;;;;;;;;;;;;;1200:6;1177:7;:30::i;:::-;1161:8;:13;1170:3;1161:13;;;;;;;;;;;;;;;:46;;;;1235:3;1214:33;;1223:10;1214:33;;;1240:6;1214:33;;;;;;;;;;;;;;;;;;1261:4;1254:11;;976:295;;;;;:::o;416:23::-;;;;;;;;;;;;;:::o;2043:139::-;2121:14;2151:7;:15;2159:6;2151:15;;;;;;;;;;;;;;;:25;2167:8;2151:25;;;;;;;;;;;;;;;;2144:32;;2043:139;;;;;:::o;743:126::-;794:4;807:6;820:1;816;:5;807:14;;838:1;835;:4;;:12;;;;;846:1;843;:4;;835:12;828:20;;;;;;862:1;855:8;;743:126;;;;;;:::o;634:103::-;685:4;710:1;705;:6;;698:14;;;;;;730:1;726;:5;719:12;;634:103;;;;;:::o

bzzr://8cca0c000b66e5ef0f5fc613f79bb7028fdc11bf806ef477bc650ffb3f8fdfb6