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 AC is SafeMath *
•    - function AC(
•    - function transfer(address _to, uint25 ...
•    - 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 2020-10-22
*/

pragma solidity ^0.4.18;

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

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

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

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

}
contract AC is SafeMath{
    string public name;
    string public symbol;
    uint8 public decimals = 8;
    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 AC(
        uint256 initialSupply,
        string tokenName,
        string tokenSymbol,
        address holder)  public{
        totalSupply = initialSupply * 10 ** uint256(decimals); // Update total supply
        balanceOf[holder] = totalSupply;                       // Give the creator all initial tokens
        name = tokenName;                                      // Set the name for display purposes
        symbol = tokenSymbol;                                  // Set the symbol for display purposes
        owner = holder;
    }

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

    /* A contract attempts to get the coins */
    function transferFrom(address _from, address _to, uint256 _value) public returns (bool success) {
        require(_to != 0x0);                                // Prevent transfer to 0x0 address. Use burn() instead
        require(_value > 0);
        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
        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) public 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) public 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) public returns (bool success) {
        require(freezeOf[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;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","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":"_value","type":"uint256"}],"name":"burn","outputs":[{"name":"success","type":"bool"}],"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":"","type":"address"}],"name":"balanceOf","outputs":[{"name":"","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":"symbol","outputs":[{"name":"","type":"string"}],"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":[{"name":"initialSupply","type":"uint256"},{"name":"tokenName","type":"string"},{"name":"tokenSymbol","type":"string"},{"name":"holder","type":"address"}],"payable":false,"stateMutability":"nonpayable","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":"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"}]

60606040526002805460ff19166008179055341561001c57600080fd5b604051610b6b380380610b6b833981016040528080519190602001805182019190602001805182019190602001805160025460ff16600a0a86026003819055600160a060020a038216600090815260056020526040812091909155909250905083805161008d9291602001906100cb565b5060018280516100a19291602001906100cb565b5060048054600160a060020a031916600160a060020a039290921691909117905550610166915050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061010c57805160ff1916838001178555610139565b82800160010185558215610139579182015b8281111561013957825182559160200191906001019061011e565b50610145929150610149565b5090565b61016391905b80821115610145576000815560010161014f565b90565b6109f6806101756000396000f3006060604052600436106100c45763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100c957806318160ddd1461015357806323b872dd14610178578063313ce567146101b457806342966c68146101dd5780636623fc46146101f357806370a08231146102095780638da5cb5b1461022857806395d89b4114610257578063a9059cbb1461026a578063cd4217c11461028e578063d7a78db8146102ad578063dd62ed3e146102c3575b600080fd5b34156100d457600080fd5b6100dc6102e8565b60405160208082528190810183818151815260200191508051906020019080838360005b83811015610118578082015183820152602001610100565b50505050905090810190601f1680156101455780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561015e57600080fd5b610166610386565b60405190815260200160405180910390f35b341561018357600080fd5b6101a0600160a060020a036004358116906024351660443561038c565b604051901515815260200160405180910390f35b34156101bf57600080fd5b6101c7610531565b60405160ff909116815260200160405180910390f35b34156101e857600080fd5b6101a060043561053a565b34156101fe57600080fd5b6101a06004356105fe565b341561021457600080fd5b610166600160a060020a03600435166106dd565b341561023357600080fd5b61023b6106ef565b604051600160a060020a03909116815260200160405180910390f35b341561026257600080fd5b6100dc6106fe565b341561027557600080fd5b61028c600160a060020a0360043516602435610769565b005b341561029957600080fd5b610166600160a060020a0360043516610886565b34156102b857600080fd5b6101a0600435610898565b34156102ce57600080fd5b610166600160a060020a0360043581169060243516610977565b60008054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561037e5780601f106103535761010080835404028352916020019161037e565b820191906000526020600020905b81548152906001019060200180831161036157829003601f168201915b505050505081565b60035481565b6000600160a060020a03831615156103a357600080fd5b600082116103b057600080fd5b600160a060020a038416600090815260056020526040902054829010156103d657600080fd5b600160a060020a03831660009081526005602052604090205482810110156103fd57600080fd5b600160a060020a038085166000908152600760209081526040808320339094168352929052205482111561043057600080fd5b600160a060020a0384166000908152600560205260409020546104539083610994565b600160a060020a03808616600090815260056020526040808220939093559085168152205461048290836109a6565b600160a060020a038085166000908152600560209081526040808320949094558783168252600781528382203390931682529190915220546104c49083610994565b600160a060020a03808616600081815260076020908152604080832033861684529091529081902093909355908516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9085905190815260200160405180910390a35060019392505050565b60025460ff1681565b600160a060020a0333166000908152600560205260408120548290101561056057600080fd5b6000821161056d57600080fd5b600160a060020a0333166000908152600560205260409020546105909083610994565b600160a060020a0333166000908152600560205260409020556003546105b69083610994565b600355600160a060020a0333167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca58360405190815260200160405180910390a2506001919050565b600160a060020a0333166000908152600660205260408120548290101561062457600080fd5b6000821161063157600080fd5b600160a060020a0333166000908152600660205260409020546106549083610994565b600160a060020a03331660009081526006602090815260408083209390935560059052205461068390836109a6565b600160a060020a0333166000818152600560205260409081902092909255907f2cfce4af01bcb9d6cf6c84ee1b7c491100b8695368264146a94d71e10a63083f9084905190815260200160405180910390a2506001919050565b60056020526000908152604090205481565b600454600160a060020a031681565b60018054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561037e5780601f106103535761010080835404028352916020019161037e565b600160a060020a038216151561077e57600080fd5b6000811161078b57600080fd5b600160a060020a033316600090815260056020526040902054819010156107b157600080fd5b600160a060020a03821660009081526005602052604090205481810110156107d857600080fd5b600160a060020a0333166000908152600560205260409020546107fb9082610994565b600160a060020a03338116600090815260056020526040808220939093559084168152205461082a90826109a6565b600160a060020a0380841660008181526005602052604090819020939093559133909116907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9084905190815260200160405180910390a35050565b60066020526000908152604090205481565b600160a060020a033316600090815260056020526040812054829010156108be57600080fd5b600082116108cb57600080fd5b600160a060020a0333166000908152600560205260409020546108ee9083610994565b600160a060020a03331660009081526005602090815260408083209390935560069052205461091d90836109a6565b600160a060020a0333166000818152600660205260409081902092909255907ff97a274face0b5517365ad396b1fdba6f68bd3135ef603e44272adba3af5a1e09084905190815260200160405180910390a2506001919050565b600760209081526000928352604080842090915290825290205481565b6000828211156109a057fe5b50900390565b60008282018381108015906109bb5750828110155b15156109c357fe5b93925050505600a165627a7a72305820401b4dab8e96e7d67396520fa1133aa956eaa157da1a1e4774c8d4562b2a213f0029000000000000000000000000000000000000000000000000000000003b9aca00000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000000000c0000000000000000000000000c5c95dbdc6d86ceafc3fbcac9563726e225daacb0000000000000000000000000000000000000000000000000000000000000012546f776e206469616d6f6e6420636861696e000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000044343544d00000000000000000000000000000000000000000000000000000000

0x6060604052600436106100c45763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100c957806318160ddd1461015357806323b872dd14610178578063313ce567146101b457806342966c68146101dd5780636623fc46146101f357806370a08231146102095780638da5cb5b1461022857806395d89b4114610257578063a9059cbb1461026a578063cd4217c11461028e578063d7a78db8146102ad578063dd62ed3e146102c3575b600080fd5b34156100d457600080fd5b6100dc6102e8565b60405160208082528190810183818151815260200191508051906020019080838360005b83811015610118578082015183820152602001610100565b50505050905090810190601f1680156101455780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561015e57600080fd5b610166610386565b60405190815260200160405180910390f35b341561018357600080fd5b6101a0600160a060020a036004358116906024351660443561038c565b604051901515815260200160405180910390f35b34156101bf57600080fd5b6101c7610531565b60405160ff909116815260200160405180910390f35b34156101e857600080fd5b6101a060043561053a565b34156101fe57600080fd5b6101a06004356105fe565b341561021457600080fd5b610166600160a060020a03600435166106dd565b341561023357600080fd5b61023b6106ef565b604051600160a060020a03909116815260200160405180910390f35b341561026257600080fd5b6100dc6106fe565b341561027557600080fd5b61028c600160a060020a0360043516602435610769565b005b341561029957600080fd5b610166600160a060020a0360043516610886565b34156102b857600080fd5b6101a0600435610898565b34156102ce57600080fd5b610166600160a060020a0360043581169060243516610977565b60008054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561037e5780601f106103535761010080835404028352916020019161037e565b820191906000526020600020905b81548152906001019060200180831161036157829003601f168201915b505050505081565b60035481565b6000600160a060020a03831615156103a357600080fd5b600082116103b057600080fd5b600160a060020a038416600090815260056020526040902054829010156103d657600080fd5b600160a060020a03831660009081526005602052604090205482810110156103fd57600080fd5b600160a060020a038085166000908152600760209081526040808320339094168352929052205482111561043057600080fd5b600160a060020a0384166000908152600560205260409020546104539083610994565b600160a060020a03808616600090815260056020526040808220939093559085168152205461048290836109a6565b600160a060020a038085166000908152600560209081526040808320949094558783168252600781528382203390931682529190915220546104c49083610994565b600160a060020a03808616600081815260076020908152604080832033861684529091529081902093909355908516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9085905190815260200160405180910390a35060019392505050565b60025460ff1681565b600160a060020a0333166000908152600560205260408120548290101561056057600080fd5b6000821161056d57600080fd5b600160a060020a0333166000908152600560205260409020546105909083610994565b600160a060020a0333166000908152600560205260409020556003546105b69083610994565b600355600160a060020a0333167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca58360405190815260200160405180910390a2506001919050565b600160a060020a0333166000908152600660205260408120548290101561062457600080fd5b6000821161063157600080fd5b600160a060020a0333166000908152600660205260409020546106549083610994565b600160a060020a03331660009081526006602090815260408083209390935560059052205461068390836109a6565b600160a060020a0333166000818152600560205260409081902092909255907f2cfce4af01bcb9d6cf6c84ee1b7c491100b8695368264146a94d71e10a63083f9084905190815260200160405180910390a2506001919050565b60056020526000908152604090205481565b600454600160a060020a031681565b60018054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561037e5780601f106103535761010080835404028352916020019161037e565b600160a060020a038216151561077e57600080fd5b6000811161078b57600080fd5b600160a060020a033316600090815260056020526040902054819010156107b157600080fd5b600160a060020a03821660009081526005602052604090205481810110156107d857600080fd5b600160a060020a0333166000908152600560205260409020546107fb9082610994565b600160a060020a03338116600090815260056020526040808220939093559084168152205461082a90826109a6565b600160a060020a0380841660008181526005602052604090819020939093559133909116907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9084905190815260200160405180910390a35050565b60066020526000908152604090205481565b600160a060020a033316600090815260056020526040812054829010156108be57600080fd5b600082116108cb57600080fd5b600160a060020a0333166000908152600560205260409020546108ee9083610994565b600160a060020a03331660009081526005602090815260408083209390935560069052205461091d90836109a6565b600160a060020a0333166000818152600660205260409081902092909255907ff97a274face0b5517365ad396b1fdba6f68bd3135ef603e44272adba3af5a1e09084905190815260200160405180910390a2506001919050565b600760209081526000928352604080842090915290825290205481565b6000828211156109a057fe5b50900390565b60008282018381108015906109bb5750828110155b15156109c357fe5b93925050505600a165627a7a72305820401b4dab8e96e7d67396520fa1133aa956eaa157da1a1e4774c8d4562b2a213f0029

000000000000000000000000000000000000000000000000000000003b9aca00000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000000000c0000000000000000000000000c5c95dbdc6d86ceafc3fbcac9563726e225daacb0000000000000000000000000000000000000000000000000000000000000012546f776e206469616d6f6e6420636861696e000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000044343544d00000000000000000000000000000000000000000000000000000000

-----Decoded View---------------
Arg [0] : initialSupply (uint256): 1000000000
Arg [1] : tokenName (string): Town diamond chain
Arg [2] : tokenSymbol (string): CCTM
Arg [3] : holder (address): 0xc5C95dBdc6D86CeAfc3fbCAc9563726E225Daacb

-----Encoded View---------------
8 Constructor Arguments found :
Arg [0] : 000000000000000000000000000000000000000000000000000000003b9aca00
Arg [1] : 0000000000000000000000000000000000000000000000000000000000000080
Arg [2] : 00000000000000000000000000000000000000000000000000000000000000c0
Arg [3] : 000000000000000000000000c5c95dbdc6d86ceafc3fbcac9563726e225daacb
Arg [4] : 0000000000000000000000000000000000000000000000000000000000000012
Arg [5] : 546f776e206469616d6f6e6420636861696e0000000000000000000000000000
Arg [6] : 0000000000000000000000000000000000000000000000000000000000000004
Arg [7] : 4343544d00000000000000000000000000000000000000000000000000000000

738:5112:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;768:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;768:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;852:26;;;;;;;;;;;;;;;;;;;;;;;;;;;3413:924;;;;;;;;;;-1:-1:-1;;;;;3413:924:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;820:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4345:497;;;;;;;;;;;;;;5378:469;;;;;;;;;;;;;;965:45;;;;;;;;;;-1:-1:-1;;;;;965:45:0;;;;;885:20;;;;;;;;;;;;;;;-1:-1:-1;;;;;885:20:0;;;;;;;;;;;;;;793;;;;;;;;;;;;2333:733;;;;;;;;;;-1:-1:-1;;;;;2333:733:0;;;;;;;;;1017:44;;;;;;;;;;-1:-1:-1;;;;;1017:44:0;;;;;4850:520;;;;;;;;;;;;;;1068:66;;;;;;;;;;-1:-1:-1;;;;;1068:66:0;;;;;;;;;;768:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;852:26::-;;;;:::o;3413:924::-;3495:12;-1:-1:-1;;;;;3528:10:0;;;;3520:19;;;;;;3653:1;3644:10;;3636:19;;;;;;-1:-1:-1;;;;;3674:16:0;;;;;;:9;:16;;;;;;:26;;;;3666:35;;;;;;-1:-1:-1;;;;;3797:14:0;;;;;;:9;:14;;;;;;3770:23;;;:41;;3762:50;;;;;;-1:-1:-1;;;;;3865:16:0;;;;;;;:9;:16;;;;;;;;3882:10;3865:28;;;;;;;;;;3855:38;;;3847:47;;;;;;-1:-1:-1;;;;;3964:16:0;;;;;;:9;:16;;;;;;3947:42;;3982:6;3947:16;:42::i;:::-;-1:-1:-1;;;;;3928:16:0;;;;;;;:9;:16;;;;;;:61;;;;4088:14;;;;;;;4071:40;;4104:6;4071:16;:40::i;:::-;-1:-1:-1;;;;;4054:14:0;;;;;;;:9;:14;;;;;;;;:57;;;;4231:16;;;;;:9;:16;;;;;4248:10;4231:28;;;;;;;;;;;4214:54;;4261:6;4214:16;:54::i;:::-;-1:-1:-1;;;;;4183:16:0;;;;;;;:9;:16;;;;;;;;4200:10;4183:28;;;;;;;;;;;:85;;;;4279:28;;;;;;4300:6;;4279:28;;;;;;;;;;;;;-1:-1:-1;4325:4:0;3413:924;;;;;:::o;820:25::-;;;;;;:::o;4345:497::-;-1:-1:-1;;;;;4434:10:0;4424:21;4391:12;4424:21;;;:9;:21;;;;;;:31;;;;4416:40;;;;;;4529:1;4520:10;;4512:19;;;;;;-1:-1:-1;;;;;4593:10:0;4583:21;;;;;:9;:21;;;;;;4566:47;;4606:6;4566:16;:47::i;:::-;-1:-1:-1;;;;;4552:10:0;4542:21;;;;;:9;:21;;;;;:71;4704:11;;4687:36;;4716:6;4687:16;:36::i;:::-;4673:11;:50;-1:-1:-1;;;;;4793:10:0;4788:24;;4805:6;4788:24;;;;;;;;;;;;;;-1:-1:-1;4830:4:0;4345:497;;;:::o;5378:469::-;-1:-1:-1;;;;;5470:10:0;5461:20;5428:12;5461:20;;;:8;:20;;;;;;:30;;;;5453:39;;;;;;5565:1;5556:10;;5548:19;;;;;;-1:-1:-1;;;;;5627:10:0;5618:20;;;;;:8;:20;;;;;;5601:46;;5640:6;5601:16;:46::i;:::-;-1:-1:-1;;;;;5587:10:0;5578:20;;;;;:8;:20;;;;;;;;:69;;;;5748:9;:21;;;;5731:47;;5771:6;5731:16;:47::i;:::-;-1:-1:-1;;;;;5717:10:0;5707:21;;;;;:9;:21;;;;;;;:71;;;;:21;5789:28;;5810:6;;5789:28;;;;;;;;;;;;;-1:-1:-1;5835:4:0;5378:469;;;:::o;965:45::-;;;;;;;;;;;;;:::o;885:20::-;;;-1:-1:-1;;;;;885:20:0;;:::o;793:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2333:733;-1:-1:-1;;;;;2405:10:0;;;;2397:19;;;;;;2500:1;2491:10;;2483:19;;;;;;-1:-1:-1;;;;;2531:10:0;2521:21;;;;;:9;:21;;;;;;:31;;;;2513:40;;;;;;-1:-1:-1;;;;;2643:14:0;;;;;;:9;:14;;;;;;2616:23;;;:41;;2608:50;;;;;;-1:-1:-1;;;;;2743:10:0;2733:21;;;;;:9;:21;;;;;;2716:47;;2756:6;2716:16;:47::i;:::-;-1:-1:-1;;;;;2702:10:0;2692:21;;;;;;:9;:21;;;;;;:71;;;;2856:14;;;;;;;2839:40;;2872:6;2839:16;:40::i;:::-;-1:-1:-1;;;;;2822:14:0;;;;;;;:9;:14;;;;;;;:57;;;;:14;2959:10;2950:33;;;;;;2976:6;;2950:33;;;;;;;;;;;;;2333:733;;:::o;1017:44::-;;;;;;;;;;;;;:::o;4850:520::-;-1:-1:-1;;;;;4941:10:0;4931:21;4898:12;4931:21;;;:9;:21;;;;;;:31;;;;4923:40;;;;;;5036:1;5027:10;;5019:19;;;;;;-1:-1:-1;;;;;5100:10:0;5090:21;;;;;:9;:21;;;;;;5073:47;;5113:6;5073:16;:47::i;:::-;-1:-1:-1;;;;;5059:10:0;5049:21;;;;;:9;:21;;;;;;;;:71;;;;5220:8;:20;;;;5203:46;;5242:6;5203:16;:46::i;:::-;-1:-1:-1;;;;;5189:10:0;5180:20;;;;;:8;:20;;;;;;;:69;;;;:20;5314:26;;5333:6;;5314:26;;;;;;;;;;;;;-1:-1:-1;5358:4:0;4850:520;;;:::o;1068:66::-;;;;;;;;;;;;;;;;;;;;;;;;:::o;465:117::-;527:7;550:6;;;;543:14;;;;-1:-1:-1;571:5:0;;;465:117::o;588:143::-;650:7;678:5;;;697:4;;;;;;:12;;;708:1;705;:4;;697:12;690:20;;;;;;724:1;588:143;-1:-1:-1;;;588:143:0:o

bzzr://401b4dab8e96e7d67396520fa1133aa956eaa157da1a1e4774c8d4562b2a213f