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 ...    - function assert(bool assertion)  contract ZetaChainToken is SafeMat ... *    - function ZetaChainToken()    - function transfer(address _to, uint25 ...    - function approve(address _spender, ui ...    - function transferFrom(address _from, ...    - function burn(uint256 _value)    - function freeze(uint256 _value)    - function unfreeze(uint256 _value)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-08-17
*/

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;
  }

  function assert(bool assertion) internal {
    if (!assertion) {
      revert();
    }
  }
}

contract ZetaChainToken is SafeMath {
  string public name;
  string public symbol;
  uint8 public decimals;
  uint256 public totalSupply;
  address public owner;

  /* 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);

  /* Initializes contract with initial supply tokens to the creator of the contract */
  function ZetaChainToken() {
    balanceOf[msg.sender] = 100000000000000000;       // Give the creator all initial tokens
    totalSupply = 100000000000000000;                 // Update total supply
    name = 'Zeta Chain';                          // Set the name for display purposes
    symbol = 'ZETC';                          // Set the symbol for display purposes
    decimals = 8;                            // Amount of decimals for display purposes
    owner = msg.sender;
  }

  /* Send tokens */
  function transfer(address _to, uint256 _value) {
    if (_to == 0x0) revert();                               // Prevent transfer to 0x0 address. Use burn() instead
    if (_value <= 0) revert();
    if (balanceOf[msg.sender] < _value) revert();           // Check if the sender has enough
    if (balanceOf[_to] + _value < balanceOf[_to]) revert(); // Check for overflows
    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) {
    require((_value == 0) || (allowance[msg.sender][_spender] == 0));
    if (_value <= 0) revert();
    allowance[msg.sender][_spender] = _value;
    return true;
  }

  /* Transfer tokens */
  function transferFrom(address _from, address _to, uint256 _value) returns(bool success) {
    if (_to == 0x0) revert();                                // Prevent transfer to 0x0 address. Use burn() instead
    if (_value <= 0) revert();
    if (balanceOf[_from] < _value) revert();                 // Check if the sender has enough
    if (balanceOf[_to] + _value < balanceOf[_to]) revert();  // Check for overflows
    if (_value > allowance[_from][msg.sender]) revert();     // Check allowance
    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;
  }

  /* Destruction of the token */
  function burn(uint256 _value) returns(bool success) {
    if (balanceOf[msg.sender] < _value) revert();            // Check if the sender has enough
    if (_value <= 0) revert();
    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) {
    if (balanceOf[msg.sender] < _value) revert();            // Check if the sender has enough
    if (_value <= 0) revert();
    balanceOf[msg.sender] = SafeMath.safeSub(balanceOf[msg.sender], _value);             // Subtract from the sender
    freezeOf[msg.sender] = SafeMath.safeAdd(freezeOf[msg.sender], _value);               // Updates frozen tokens
    Freeze(msg.sender, _value);
    return true;
  }

  function unfreeze(uint256 _value) returns(bool success) {
    if (freezeOf[msg.sender] < _value) revert();            // Check if the sender has enough
    if (_value <= 0) revert();
    freezeOf[msg.sender] = SafeMath.safeSub(freezeOf[msg.sender], _value);              // Updates frozen tokens
    balanceOf[msg.sender] = SafeMath.safeAdd(balanceOf[msg.sender], _value);            // Add to the sender
    Unfreeze(msg.sender, _value);
    return true;
  }

  /* Prevents accidental sending of Ether */
  function () {
    revert();
  }
  /* token code by [email protected] */
}

• 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":"","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":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"_value","type":"uint256"}],"name":"burn","outputs":[{"name":"success","type":"bool"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"_value","type":"uint256"}],"name":"unfreeze","outputs":[{"name":"success","type":"bool"}],"payable":false,"type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[],"payable":false,"type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"freezeOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"_value","type":"uint256"}],"name":"freeze","outputs":[{"name":"success","type":"bool"}],"payable":false,"type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"},{"name":"","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"type":"function"},{"inputs":[],"payable":false,"type":"constructor"},{"payable":false,"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"}]

6060604052341561000f57600080fd5b5b600160a060020a0333166000908152600560205260409081902067016345785d8a0000908190556003558051908101604052600a81527f5a65746120436861696e000000000000000000000000000000000000000000006020820152600090805161007f9291602001906100f8565b5060408051908101604052600481527f5a45544300000000000000000000000000000000000000000000000000000000602082015260019080516100c79291602001906100f8565b506002805460ff1916600817905560048054600160a060020a033316600160a060020a03199091161790555b610198565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061013957805160ff1916838001178555610166565b82800160010185558215610166579182015b8281111561016657825182559160200191906001019061014b565b5b50610173929150610177565b5090565b61019591905b80821115610173576000815560010161017d565b5090565b90565b610bfd806101a76000396000f300606060405236156100cd5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100e0578063095ea7b31461016b57806318160ddd146101a157806323b872dd146101c6578063313ce5671461020257806342966c681461022b5780636623fc461461025557806370a082311461027f5780638da5cb5b146102b057806395d89b41146102df578063a9059cbb1461036a578063cd4217c11461038e578063d7a78db8146103bf578063dd62ed3e146103e9575b34156100d857600080fd5b5b600080fd5b005b34156100eb57600080fd5b6100f3610420565b60405160208082528190810183818151815260200191508051906020019080838360005b838110156101305780820151818401525b602001610117565b50505050905090810190601f16801561015d5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561017657600080fd5b61018d600160a060020a03600435166024356104be565b604051901515815260200160405180910390f35b34156101ac57600080fd5b6101b461053a565b60405190815260200160405180910390f35b34156101d157600080fd5b61018d600160a060020a0360043581169060243516604435610540565b604051901515815260200160405180910390f35b341561020d57600080fd5b6102156106e6565b60405160ff909116815260200160405180910390f35b341561023657600080fd5b61018d6004356106ef565b604051901515815260200160405180910390f35b341561026057600080fd5b61018d6004356107b4565b604051901515815260200160405180910390f35b341561028a57600080fd5b6101b4600160a060020a0360043516610894565b60405190815260200160405180910390f35b34156102bb57600080fd5b6102c36108a6565b604051600160a060020a03909116815260200160405180910390f35b34156102ea57600080fd5b6100f36108b5565b60405160208082528190810183818151815260200191508051906020019080838360005b838110156101305780820151818401525b602001610117565b50505050905090810190601f16801561015d5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561037557600080fd5b6100de600160a060020a0360043516602435610953565b005b341561039957600080fd5b6101b4600160a060020a0360043516610a71565b60405190815260200160405180910390f35b34156103ca57600080fd5b61018d600435610a83565b604051901515815260200160405180910390f35b34156103f457600080fd5b6101b4600160a060020a0360043581169060243516610b63565b60405190815260200160405180910390f35b60008054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156104b65780601f1061048b576101008083540402835291602001916104b6565b820191906000526020600020905b81548152906001019060200180831161049957829003601f168201915b505050505081565b60008115806104f05750600160a060020a03338116600090815260076020908152604080832093871683529290522054155b15156104fb57600080fd5b6000821161050857600080fd5b50600160a060020a03338116600090815260076020908152604080832093861683529290522081905560015b92915050565b60035481565b6000600160a060020a038316151561055757600080fd5b6000821161056457600080fd5b600160a060020a0384166000908152600560205260409020548290101561058a57600080fd5b600160a060020a03831660009081526005602052604090205482810110156105b157600080fd5b600160a060020a03808516600090815260076020908152604080832033909416835292905220548211156105e457600080fd5b600160a060020a0384166000908152600560205260409020546106079083610b80565b600160a060020a0380861660009081526005602052604080822093909355908516815220546106369083610b99565b600160a060020a038085166000908152600560209081526040808320949094558783168252600781528382203390931682529190915220546106789083610b80565b600160a060020a03808616600081815260076020908152604080832033861684529091529081902093909355908516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9085905190815260200160405180910390a35060015b9392505050565b60025460ff1681565b600160a060020a0333166000908152600560205260408120548290101561071557600080fd5b6000821161072257600080fd5b600160a060020a0333166000908152600560205260409020546107459083610b80565b600160a060020a03331660009081526005602052604090205560035461076b9083610b80565b600355600160a060020a0333167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca58360405190815260200160405180910390a25060015b919050565b600160a060020a033316600090815260066020526040812054829010156107da57600080fd5b600082116107e757600080fd5b600160a060020a03331660009081526006602052604090205461080a9083610b80565b600160a060020a0333166000908152600660209081526040808320939093556005905220546108399083610b99565b600160a060020a0333166000818152600560205260409081902092909255907f2cfce4af01bcb9d6cf6c84ee1b7c491100b8695368264146a94d71e10a63083f9084905190815260200160405180910390a25060015b919050565b60056020526000908152604090205481565b600454600160a060020a031681565b60018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156104b65780601f1061048b576101008083540402835291602001916104b6565b820191906000526020600020905b81548152906001019060200180831161049957829003601f168201915b505050505081565b600160a060020a038216151561096857600080fd5b6000811161097557600080fd5b600160a060020a0333166000908152600560205260409020548190101561099b57600080fd5b600160a060020a03821660009081526005602052604090205481810110156109c257600080fd5b600160a060020a0333166000908152600560205260409020546109e59082610b80565b600160a060020a033381166000908152600560205260408082209390935590841681522054610a149082610b99565b600160a060020a0380841660008181526005602052604090819020939093559133909116907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9084905190815260200160405180910390a35b5050565b60066020526000908152604090205481565b600160a060020a03331660009081526005602052604081205482901015610aa957600080fd5b60008211610ab657600080fd5b600160a060020a033316600090815260056020526040902054610ad99083610b80565b600160a060020a033316600090815260056020908152604080832093909355600690522054610b089083610b99565b600160a060020a0333166000818152600660205260409081902092909255907ff97a274face0b5517365ad396b1fdba6f68bd3135ef603e44272adba3af5a1e09084905190815260200160405180910390a25060015b919050565b600760209081526000928352604080842090915290825290205481565b6000610b8e83831115610bc1565b508082035b92915050565b6000828201610bb6848210801590610bb15750838210155b610bc1565b8091505b5092915050565b801515610bcd57600080fd5b5b505600a165627a7a72305820f9c972527d2cff1a8d4f51b535d457ca27257fcba5d633bfe25e04695a3f0d180029

0x606060405236156100cd5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100e0578063095ea7b31461016b57806318160ddd146101a157806323b872dd146101c6578063313ce5671461020257806342966c681461022b5780636623fc461461025557806370a082311461027f5780638da5cb5b146102b057806395d89b41146102df578063a9059cbb1461036a578063cd4217c11461038e578063d7a78db8146103bf578063dd62ed3e146103e9575b34156100d857600080fd5b5b600080fd5b005b34156100eb57600080fd5b6100f3610420565b60405160208082528190810183818151815260200191508051906020019080838360005b838110156101305780820151818401525b602001610117565b50505050905090810190601f16801561015d5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561017657600080fd5b61018d600160a060020a03600435166024356104be565b604051901515815260200160405180910390f35b34156101ac57600080fd5b6101b461053a565b60405190815260200160405180910390f35b34156101d157600080fd5b61018d600160a060020a0360043581169060243516604435610540565b604051901515815260200160405180910390f35b341561020d57600080fd5b6102156106e6565b60405160ff909116815260200160405180910390f35b341561023657600080fd5b61018d6004356106ef565b604051901515815260200160405180910390f35b341561026057600080fd5b61018d6004356107b4565b604051901515815260200160405180910390f35b341561028a57600080fd5b6101b4600160a060020a0360043516610894565b60405190815260200160405180910390f35b34156102bb57600080fd5b6102c36108a6565b604051600160a060020a03909116815260200160405180910390f35b34156102ea57600080fd5b6100f36108b5565b60405160208082528190810183818151815260200191508051906020019080838360005b838110156101305780820151818401525b602001610117565b50505050905090810190601f16801561015d5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561037557600080fd5b6100de600160a060020a0360043516602435610953565b005b341561039957600080fd5b6101b4600160a060020a0360043516610a71565b60405190815260200160405180910390f35b34156103ca57600080fd5b61018d600435610a83565b604051901515815260200160405180910390f35b34156103f457600080fd5b6101b4600160a060020a0360043581169060243516610b63565b60405190815260200160405180910390f35b60008054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156104b65780601f1061048b576101008083540402835291602001916104b6565b820191906000526020600020905b81548152906001019060200180831161049957829003601f168201915b505050505081565b60008115806104f05750600160a060020a03338116600090815260076020908152604080832093871683529290522054155b15156104fb57600080fd5b6000821161050857600080fd5b50600160a060020a03338116600090815260076020908152604080832093861683529290522081905560015b92915050565b60035481565b6000600160a060020a038316151561055757600080fd5b6000821161056457600080fd5b600160a060020a0384166000908152600560205260409020548290101561058a57600080fd5b600160a060020a03831660009081526005602052604090205482810110156105b157600080fd5b600160a060020a03808516600090815260076020908152604080832033909416835292905220548211156105e457600080fd5b600160a060020a0384166000908152600560205260409020546106079083610b80565b600160a060020a0380861660009081526005602052604080822093909355908516815220546106369083610b99565b600160a060020a038085166000908152600560209081526040808320949094558783168252600781528382203390931682529190915220546106789083610b80565b600160a060020a03808616600081815260076020908152604080832033861684529091529081902093909355908516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9085905190815260200160405180910390a35060015b9392505050565b60025460ff1681565b600160a060020a0333166000908152600560205260408120548290101561071557600080fd5b6000821161072257600080fd5b600160a060020a0333166000908152600560205260409020546107459083610b80565b600160a060020a03331660009081526005602052604090205560035461076b9083610b80565b600355600160a060020a0333167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca58360405190815260200160405180910390a25060015b919050565b600160a060020a033316600090815260066020526040812054829010156107da57600080fd5b600082116107e757600080fd5b600160a060020a03331660009081526006602052604090205461080a9083610b80565b600160a060020a0333166000908152600660209081526040808320939093556005905220546108399083610b99565b600160a060020a0333166000818152600560205260409081902092909255907f2cfce4af01bcb9d6cf6c84ee1b7c491100b8695368264146a94d71e10a63083f9084905190815260200160405180910390a25060015b919050565b60056020526000908152604090205481565b600454600160a060020a031681565b60018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156104b65780601f1061048b576101008083540402835291602001916104b6565b820191906000526020600020905b81548152906001019060200180831161049957829003601f168201915b505050505081565b600160a060020a038216151561096857600080fd5b6000811161097557600080fd5b600160a060020a0333166000908152600560205260409020548190101561099b57600080fd5b600160a060020a03821660009081526005602052604090205481810110156109c257600080fd5b600160a060020a0333166000908152600560205260409020546109e59082610b80565b600160a060020a033381166000908152600560205260408082209390935590841681522054610a149082610b99565b600160a060020a0380841660008181526005602052604090819020939093559133909116907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9084905190815260200160405180910390a35b5050565b60066020526000908152604090205481565b600160a060020a03331660009081526005602052604081205482901015610aa957600080fd5b60008211610ab657600080fd5b600160a060020a033316600090815260056020526040902054610ad99083610b80565b600160a060020a033316600090815260056020908152604080832093909355600690522054610b089083610b99565b600160a060020a0333166000818152600660205260409081902092909255907ff97a274face0b5517365ad396b1fdba6f68bd3135ef603e44272adba3af5a1e09084905190815260200160405180910390a25060015b919050565b600760209081526000928352604080842090915290825290205481565b6000610b8e83831115610bc1565b508082035b92915050565b6000828201610bb6848210801590610bb15750838210155b610bc1565b8091505b5092915050565b801515610bcd57600080fd5b5b505600a165627a7a72305820f9c972527d2cff1a8d4f51b535d457ca27257fcba5d633bfe25e04695a3f0d180029

785:5062:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5769:33;5788:8;;;5769:33;785:5062;826:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;45:3;8:100;;;12:14;3:109;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3091:247:0;;;;;;;;;;-1:-1:-1;;;;;3091:247:0;;;;;;;;;;;;;;;;;;;;;;;;900:26;;;;;;;;;;;;;;;;;;;;;;;;;;;3369:895;;;;;;;;;;-1:-1:-1;;;;;3369:895:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;874:21;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4304:463;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5251:466;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1007:44;;;;;;;;;;-1:-1:-1;;;;;1007:44:0;;;;;;;;;;;;;;;;;;;;931:20;;;;;;;;;;;;;;;-1:-1:-1;;;;;931:20:0;;;;;;;;;;;;;;849;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;45:3;8:100;;;12:14;3:109;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2276:741:0;;;;;;;;;;-1:-1:-1;;;;;2276:741:0;;;;;;;;;1056:43;;;;;;;;;;-1:-1:-1;;;;;1056:43:0;;;;;;;;;;;;;;;;;;;;4773:472;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1104:64;;;;;;;;;;-1:-1:-1;;;;;1104:64:0;;;;;;;;;;;;;;;;;;;;;;;;;826:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3091:247::-;3150:12;3180:11;;;3179:55;;-1:-1:-1;;;;;;3207:10:0;3197:21;;;;;;:9;:21;;;;;;;;:31;;;;;;;;;;:36;3179:55;3171:64;;;;;;;;3256:1;3246:11;;3242:25;;3259:8;;;3242:25;-1:-1:-1;;;;;;3284:10:0;3274:21;;;;;;:9;:21;;;;;;;;:31;;;;;;;;;:40;;;3328:4;3091:247;;;;;:::o;900:26::-;;;;:::o;3369:895::-;3443:12;-1:-1:-1;;;;;3468:10:0;;;3464:24;;;3480:8;;;3464:24;3595:1;3585:11;;3581:25;;3598:8;;;3581:25;-1:-1:-1;;;;;3617:16:0;;;;;;:9;:16;;;;;;:25;;;3613:39;;;3644:8;;;3613:39;-1:-1:-1;;;;;3739:14:0;;;;;;:9;:14;;;;;;3713:23;;;:40;3709:54;;;3755:8;;;3709:54;-1:-1:-1;;;;;3807:16:0;;;;;;;:9;:16;;;;;;;;3824:10;3807:28;;;;;;;;;;3798:37;;3794:51;;;3837:8;;;3794:51;-1:-1:-1;;;;;3911:16:0;;;;;;:9;:16;;;;;;3894:42;;3929:6;3894:16;:42::i;:::-;-1:-1:-1;;;;;3875:16:0;;;;;;;:9;:16;;;;;;:61;;;;4029:14;;;;;;;4012:40;;4045:6;4012:16;:40::i;:::-;-1:-1:-1;;;;;3995:14:0;;;;;;;:9;:14;;;;;;;;:57;;;;4168:16;;;;;:9;:16;;;;;4185:10;4168:28;;;;;;;;;;;4151:54;;4198:6;4151:16;:54::i;:::-;-1:-1:-1;;;;;4120:16:0;;;;;;;:9;:16;;;;;;;;4137:10;4120:28;;;;;;;;;;;:85;;;;4212:28;;;;;;4233:6;;4212:28;;;;;;;;;;;;;-1:-1:-1;4254:4:0;3369:895;;;;;;:::o;874:21::-;;;;;;:::o;4304:463::-;-1:-1:-1;;;;;4377:10:0;4367:21;4342:12;4367:21;;;:9;:21;;;;;;:30;;;4363:44;;;4399:8;;;4363:44;4473:1;4463:11;;4459:25;;4476:8;;;4459:25;-1:-1:-1;;;;;4542:10:0;4532:21;;;;;:9;:21;;;;;;4515:47;;4555:6;4515:16;:47::i;:::-;-1:-1:-1;;;;;4501:10:0;4491:21;;;;;:9;:21;;;;;:71;4638:11;;4621:37;;4651:6;4621:16;:37::i;:::-;4607:11;:51;-1:-1:-1;;;;;4724:10:0;4719:24;;4736:6;4719:24;;;;;;;;;;;;;;-1:-1:-1;4757:4:0;4304:463;;;;:::o;5251:466::-;-1:-1:-1;;;;;5327:10:0;5318:20;5293:12;5318:20;;;:8;:20;;;;;;:29;;;5314:43;;;5349:8;;;5314:43;5423:1;5413:11;;5409:25;;5426:8;;;5409:25;-1:-1:-1;;;;;5490:10:0;5481:20;;;;;:8;:20;;;;;;5464:46;;5503:6;5464:16;:46::i;:::-;-1:-1:-1;;;;;5450:10:0;5441:20;;;;;:8;:20;;;;;;;;:69;;;;5596:9;:21;;;;5579:47;;5619:6;5579:16;:47::i;:::-;-1:-1:-1;;;;;5565:10:0;5555:21;;;;;:9;:21;;;;;;;:71;;;;:21;5665:28;;5686:6;;5665:28;;;;;;;;;;;;;-1:-1:-1;5707:4:0;5251:466;;;;:::o;1007:44::-;;;;;;;;;;;;;:::o;931:20::-;;;-1:-1:-1;;;;;931:20:0;;:::o;849:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2276:741::-;-1:-1:-1;;;;;2334:10:0;;;2330:24;;;2346:8;;;2330:24;2460:1;2450:11;;2446:25;;2463:8;;;2446:25;-1:-1:-1;;;;;2492:10:0;2482:21;;;;;:9;:21;;;;;;:30;;;2478:44;;;2514:8;;;2478:44;-1:-1:-1;;;;;2603:14:0;;;;;;:9;:14;;;;;;2577:23;;;:40;2573:54;;;2619:8;;;2573:54;-1:-1:-1;;;;;2708:10:0;2698:21;;;;;:9;:21;;;;;;2681:47;;2721:6;2681:16;:47::i;:::-;-1:-1:-1;;;;;2667:10:0;2657:21;;;;;;:9;:21;;;;;;:71;;;;2810:14;;;;;;;2793:40;;2826:6;2793:16;:40::i;:::-;-1:-1:-1;;;;;2776:14:0;;;;;;;:9;:14;;;;;;;:57;;;;:14;2909:10;2900:33;;;;;;2926:6;;2900:33;;;;;;;;;;;;;2276:741;;;:::o;1056:43::-;;;;;;;;;;;;;:::o;4773:472::-;-1:-1:-1;;;;;4848:10:0;4838:21;4813:12;4838:21;;;:9;:21;;;;;;:30;;;4834:44;;;4870:8;;;4834:44;4944:1;4934:11;;4930:25;;4947:8;;;4930:25;-1:-1:-1;;;;;5013:10:0;5003:21;;;;;:9;:21;;;;;;4986:47;;5026:6;4986:16;:47::i;:::-;-1:-1:-1;;;;;4972:10:0;4962:21;;;;;:9;:21;;;;;;;;:71;;;;5120:8;:20;;;;5103:46;;5142:6;5103:16;:46::i;:::-;-1:-1:-1;;;;;5089:10:0;5080:20;;;;;:8;:20;;;;;;;:69;;;;:20;5195:26;;5214:6;;5195:26;;;;;;;;;;;;;-1:-1:-1;5235:4:0;4773:472;;;;:::o;1104:64::-;;;;;;;;;;;;;;;;;;;;;;;;:::o;420:111::-;476:7;492:14;504:1;499;:6;;492;:14::i;:::-;-1:-1:-1;520:5:0;;;420:111;;;;;:::o;537:141::-;593:7;621:5;;;633:24;640:6;;;;;;:16;;;655:1;650;:6;;640:16;633:6;:24::i;:::-;671:1;664:8;;537:141;;;;;;:::o;684:94::-;737:9;736:10;732:41;;;757:8;;;732:41;684:94;;:::o

bzzr://f9c972527d2cff1a8d4f51b535d457ca27257fcba5d633bfe25e04695a3f0d18