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 HiSwapToken is SafeMath *    - 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)    - function withdrawEther(uint256 amount ...    - function()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-08-24
*/

/**
 *Submitted for verification at Etherscan.io on 2020-08-11
*/

/**
 *Submitted for verification at Etherscan.io on 2017-07-06
*/

pragma solidity ^0.4.26;

/**
 * Math operations with safety checks
 */
contract SafeMath {
    function safeMul(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a * b;
        assert(a == 0 || 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 HiSwapToken is SafeMath{
    string public name = "hiswap Token";
    string public symbol = "hiswap";
    uint8 public decimals = 18;
    uint256 public totalSupply = 1000000000000000000000000000;
    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 */
    constructor() public{
        balanceOf[msg.sender] = totalSupply;              // Give the creator all initial tokens
        owner = msg.sender;
    }

    /* Send coins */
    function transfer(address _to, uint256 _value) public{
        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
        emit 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) {
        if (_value <= 0) revert();
        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) {
        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);
        emit Transfer(_from, _to, _value);
        return true;
    }

    function burn(uint256 _value)public 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
        emit Burn(msg.sender, _value);
        return true;
    }

    function freeze(uint256 _value)public 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 totalSupply
        emit Freeze(msg.sender, _value);
        return true;
    }

    function unfreeze(uint256 _value) public 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);                      // Subtract from the sender
        balanceOf[msg.sender] = SafeMath.safeAdd(balanceOf[msg.sender], _value);
        emit Unfreeze(msg.sender, _value);
        return true;
    }

    // transfer balance to owner
    function withdrawEther(uint256 amount) public{
        if(msg.sender != owner) revert();
        owner.transfer(amount);
    }

    // can accept ether
    function() public payable {
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"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":"","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":"_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":[],"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"}]

60c0604052600c60808190527f68697377617020546f6b656e000000000000000000000000000000000000000060a090815261003e91600091906100dc565b506040805180820190915260068082527f68697377617000000000000000000000000000000000000000000000000000006020909201918252610083916001916100dc565b506002805460ff191660121790556b033b2e3c9fd0803ce80000006003553480156100ad57600080fd5b506003543360008181526005602052604090209190915560048054600160a060020a0319169091179055610177565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061011d57805160ff191683800117855561014a565b8280016001018555821561014a579182015b8281111561014a57825182559160200191906001019061012f565b5061015692915061015a565b5090565b61017491905b808211156101565760008155600101610160565b90565b610a3b806101866000396000f3006080604052600436106100da5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100dc578063095ea7b31461016657806318160ddd1461019e57806323b872dd146101c5578063313ce567146101ef5780633bed33ce1461021a57806342966c68146102325780636623fc461461024a57806370a08231146102625780638da5cb5b1461028357806395d89b41146102b4578063a9059cbb146102c9578063cd4217c1146102ed578063d7a78db81461030e578063dd62ed3e14610326575b005b3480156100e857600080fd5b506100f161034d565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561012b578181015183820152602001610113565b50505050905090810190601f1680156101585780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561017257600080fd5b5061018a600160a060020a03600435166024356103db565b604080519115158252519081900360200190f35b3480156101aa57600080fd5b506101b3610417565b60408051918252519081900360200190f35b3480156101d157600080fd5b5061018a600160a060020a036004358116906024351660443561041d565b3480156101fb57600080fd5b506102046105b8565b6040805160ff9092168252519081900360200190f35b34801561022657600080fd5b506100da6004356105c1565b34801561023e57600080fd5b5061018a600435610616565b34801561025657600080fd5b5061018a6004356106b7565b34801561026e57600080fd5b506101b3600160a060020a0360043516610771565b34801561028f57600080fd5b50610298610783565b60408051600160a060020a039092168252519081900360200190f35b3480156102c057600080fd5b506100f1610792565b3480156102d557600080fd5b506100da600160a060020a03600435166024356107ec565b3480156102f957600080fd5b506101b3600160a060020a03600435166108f0565b34801561031a57600080fd5b5061018a600435610902565b34801561033257600080fd5b506101b3600160a060020a03600435811690602435166109bc565b6000805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156103d35780601f106103a8576101008083540402835291602001916103d3565b820191906000526020600020905b8154815290600101906020018083116103b657829003601f168201915b505050505081565b60008082116103e957600080fd5b50336000908152600760209081526040808320600160a060020a039590951683529390529190912055600190565b60035481565b6000600160a060020a038316151561043457600080fd5b6000821161044157600080fd5b600160a060020a03841660009081526005602052604090205482111561046657600080fd5b600160a060020a038316600090815260056020526040902054828101101561048d57600080fd5b600160a060020a03841660009081526007602090815260408083203384529091529020548211156104bd57600080fd5b600160a060020a0384166000908152600560205260409020546104e090836109d9565b600160a060020a03808616600090815260056020526040808220939093559085168152205461050f90836109eb565b600160a060020a03808516600090815260056020908152604080832094909455918716815260078252828120338252909152205461054d90836109d9565b600160a060020a03808616600081815260076020908152604080832033845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060019392505050565b60025460ff1681565b600454600160a060020a031633146105d857600080fd5b600454604051600160a060020a039091169082156108fc029083906000818181858888f19350505050158015610612573d6000803e3d6000fd5b5050565b3360009081526005602052604081205482111561063257600080fd5b6000821161063f57600080fd5b3360009081526005602052604090205461065990836109d9565b3360009081526005602052604090205560035461067690836109d9565b60035560408051838152905133917fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5919081900360200190a2506001919050565b336000908152600660205260408120548211156106d357600080fd5b600082116106e057600080fd5b336000908152600660205260409020546106fa90836109d9565b3360009081526006602090815260408083209390935560059052205461072090836109eb565b33600081815260056020908152604091829020939093558051858152905191927f2cfce4af01bcb9d6cf6c84ee1b7c491100b8695368264146a94d71e10a63083f92918290030190a2506001919050565b60056020526000908152604090205481565b600454600160a060020a031681565b60018054604080516020600284861615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156103d35780601f106103a8576101008083540402835291602001916103d3565b600160a060020a038216151561080157600080fd5b6000811161080e57600080fd5b3360009081526005602052604090205481111561082a57600080fd5b600160a060020a038216600090815260056020526040902054818101101561085157600080fd5b3360009081526005602052604090205461086b90826109d9565b3360009081526005602052604080822092909255600160a060020a0384168152205461089790826109eb565b600160a060020a0383166000818152600560209081526040918290209390935580518481529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b60066020526000908152604090205481565b3360009081526005602052604081205482111561091e57600080fd5b6000821161092b57600080fd5b3360009081526005602052604090205461094590836109d9565b3360009081526005602090815260408083209390935560069052205461096b90836109eb565b33600081815260066020908152604091829020939093558051858152905191927ff97a274face0b5517365ad396b1fdba6f68bd3135ef603e44272adba3af5a1e092918290030190a2506001919050565b600760209081526000928352604080842090915290825290205481565b6000828211156109e557fe5b50900390565b6000828201838110801590610a005750828110155b1515610a0857fe5b93925050505600a165627a7a723058209b4b92b124df5de37b96b6a44bf14a1c87d4820cb5a3c9fd549dde40a7822a300029

0x6080604052600436106100da5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100dc578063095ea7b31461016657806318160ddd1461019e57806323b872dd146101c5578063313ce567146101ef5780633bed33ce1461021a57806342966c68146102325780636623fc461461024a57806370a08231146102625780638da5cb5b1461028357806395d89b41146102b4578063a9059cbb146102c9578063cd4217c1146102ed578063d7a78db81461030e578063dd62ed3e14610326575b005b3480156100e857600080fd5b506100f161034d565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561012b578181015183820152602001610113565b50505050905090810190601f1680156101585780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561017257600080fd5b5061018a600160a060020a03600435166024356103db565b604080519115158252519081900360200190f35b3480156101aa57600080fd5b506101b3610417565b60408051918252519081900360200190f35b3480156101d157600080fd5b5061018a600160a060020a036004358116906024351660443561041d565b3480156101fb57600080fd5b506102046105b8565b6040805160ff9092168252519081900360200190f35b34801561022657600080fd5b506100da6004356105c1565b34801561023e57600080fd5b5061018a600435610616565b34801561025657600080fd5b5061018a6004356106b7565b34801561026e57600080fd5b506101b3600160a060020a0360043516610771565b34801561028f57600080fd5b50610298610783565b60408051600160a060020a039092168252519081900360200190f35b3480156102c057600080fd5b506100f1610792565b3480156102d557600080fd5b506100da600160a060020a03600435166024356107ec565b3480156102f957600080fd5b506101b3600160a060020a03600435166108f0565b34801561031a57600080fd5b5061018a600435610902565b34801561033257600080fd5b506101b3600160a060020a03600435811690602435166109bc565b6000805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156103d35780601f106103a8576101008083540402835291602001916103d3565b820191906000526020600020905b8154815290600101906020018083116103b657829003601f168201915b505050505081565b60008082116103e957600080fd5b50336000908152600760209081526040808320600160a060020a039590951683529390529190912055600190565b60035481565b6000600160a060020a038316151561043457600080fd5b6000821161044157600080fd5b600160a060020a03841660009081526005602052604090205482111561046657600080fd5b600160a060020a038316600090815260056020526040902054828101101561048d57600080fd5b600160a060020a03841660009081526007602090815260408083203384529091529020548211156104bd57600080fd5b600160a060020a0384166000908152600560205260409020546104e090836109d9565b600160a060020a03808616600090815260056020526040808220939093559085168152205461050f90836109eb565b600160a060020a03808516600090815260056020908152604080832094909455918716815260078252828120338252909152205461054d90836109d9565b600160a060020a03808616600081815260076020908152604080832033845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060019392505050565b60025460ff1681565b600454600160a060020a031633146105d857600080fd5b600454604051600160a060020a039091169082156108fc029083906000818181858888f19350505050158015610612573d6000803e3d6000fd5b5050565b3360009081526005602052604081205482111561063257600080fd5b6000821161063f57600080fd5b3360009081526005602052604090205461065990836109d9565b3360009081526005602052604090205560035461067690836109d9565b60035560408051838152905133917fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5919081900360200190a2506001919050565b336000908152600660205260408120548211156106d357600080fd5b600082116106e057600080fd5b336000908152600660205260409020546106fa90836109d9565b3360009081526006602090815260408083209390935560059052205461072090836109eb565b33600081815260056020908152604091829020939093558051858152905191927f2cfce4af01bcb9d6cf6c84ee1b7c491100b8695368264146a94d71e10a63083f92918290030190a2506001919050565b60056020526000908152604090205481565b600454600160a060020a031681565b60018054604080516020600284861615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156103d35780601f106103a8576101008083540402835291602001916103d3565b600160a060020a038216151561080157600080fd5b6000811161080e57600080fd5b3360009081526005602052604090205481111561082a57600080fd5b600160a060020a038216600090815260056020526040902054818101101561085157600080fd5b3360009081526005602052604090205461086b90826109d9565b3360009081526005602052604080822092909255600160a060020a0384168152205461089790826109eb565b600160a060020a0383166000818152600560209081526040918290209390935580518481529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b60066020526000908152604090205481565b3360009081526005602052604081205482111561091e57600080fd5b6000821161092b57600080fd5b3360009081526005602052604090205461094590836109d9565b3360009081526005602090815260408083209390935560069052205461096b90836109eb565b33600081815260066020908152604091829020939093558051858152905191927ff97a274face0b5517365ad396b1fdba6f68bd3135ef603e44272adba3af5a1e092918290030190a2506001919050565b600760209081526000928352604080842090915290825290205481565b6000828211156109e557fe5b50900390565b6000828201838110801590610a005750828110155b1515610a0857fe5b93925050505600a165627a7a723058209b4b92b124df5de37b96b6a44bf14a1c87d4820cb5a3c9fd549dde40a7822a300029

913:5130:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;952:35;;8:9:-1;5:2;;;30:1;27;20:12;5:2;952:35:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;952:35:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3036:203;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3036:203:0;-1:-1:-1;;;;;3036:203:0;;;;;;;;;;;;;;;;;;;;;;;;;1065:57;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1065:57:0;;;;;;;;;;;;;;;;;;;;3297:952;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3297:952:0;-1:-1:-1;;;;;3297:952:0;;;;;;;;;;;;1032:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1032:26:0;;;;;;;;;;;;;;;;;;;;;;;5844:129;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;5844:129:0;;;;;4257:511;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4257:511:0;;;;;5318:484;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;5318:484:0;;;;;1209:45;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1209:45:0;-1:-1:-1;;;;;1209:45:0;;;;;1129:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1129:20:0;;;;;;;;-1:-1:-1;;;;;1129:20:0;;;;;;;;;;;;;;994:31;;8:9:-1;5:2;;;30:1;27;20:12;5:2;994:31:0;;;;2172:786;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2172:786:0;-1:-1:-1;;;;;2172:786:0;;;;;;;1261:44;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1261:44:0;-1:-1:-1;;;;;1261:44:0;;;;;4776:534;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4776:534:0;;;;;1312:66;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1312:66:0;-1:-1:-1;;;;;1312:66:0;;;;;;;;;;952:35;;;;;;;;;;;;;;;-1:-1:-1;;952:35:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3036:203::-;3108:12;3137:11;;;3133:25;;3150:8;;;3133:25;-1:-1:-1;3179:10:0;3169:21;;;;:9;:21;;;;;;;;-1:-1:-1;;;;;3169:31:0;;;;;;;;;;;;;:40;3227:4;;3036:203::o;1065:57::-;;;;:::o;3297:952::-;3379:12;-1:-1:-1;;;;;3408:10:0;;;3404:24;;;3420:8;;;3404:24;3539:1;3529:11;;3525:25;;3542:8;;;3525:25;-1:-1:-1;;;;;3565:16:0;;;;;;:9;:16;;;;;;:25;-1:-1:-1;3561:39:0;;;3592:8;;;3561:39;-1:-1:-1;;;;;3691:14:0;;;;;;:9;:14;;;;;;3665:23;;;:40;3661:54;;;3707:8;;;3661:54;-1:-1:-1;;;;;3763:16:0;;;;;;:9;:16;;;;;;;;3780:10;3763:28;;;;;;;;3754:37;;3750:51;;;3793:8;;;3750:51;-1:-1:-1;;;;;3871:16:0;;;;;;:9;:16;;;;;;3854:42;;3889:6;3854:16;:42::i;:::-;-1:-1:-1;;;;;3835:16:0;;;;;;;:9;:16;;;;;;:61;;;;3995:14;;;;;;;3978:40;;4011:6;3978:16;:40::i;:::-;-1:-1:-1;;;;;3961:14:0;;;;;;;:9;:14;;;;;;;;:57;;;;4138:16;;;;;:9;:16;;;;;4155:10;4138:28;;;;;;;4121:54;;4168:6;4121:16;:54::i;:::-;-1:-1:-1;;;;;4090:16:0;;;;;;;:9;:16;;;;;;;;4107:10;4090:28;;;;;;;;:85;;;;4191:28;;;;;;;;;;;4090:16;;4191:28;;;;;;;;;;;-1:-1:-1;4237:4:0;3297:952;;;;;:::o;1032:26::-;;;;;;:::o;5844:129::-;5917:5;;-1:-1:-1;;;;;5917:5:0;5903:10;:19;5900:32;;5924:8;;;5900:32;5943:5;;:22;;-1:-1:-1;;;;;5943:5:0;;;;:22;;;;;5958:6;;5943:5;:22;:5;:22;5958:6;5943:5;:22;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;5943:22:0;5844:129;:::o;4257:511::-;4341:10;4302:12;4331:21;;;:9;:21;;;;;;:30;-1:-1:-1;4327:44:0;;;4363:8;;;4327:44;4441:1;4431:11;;4427:25;;4444:8;;;4427:25;4514:10;4504:21;;;;:9;:21;;;;;;4487:47;;4527:6;4487:16;:47::i;:::-;4473:10;4463:21;;;;:9;:21;;;;;:71;4625:11;;4608:36;;4637:6;4608:16;:36::i;:::-;4594:11;:50;4714:24;;;;;;;;4719:10;;4714:24;;;;;;;;;;-1:-1:-1;4756:4:0;4257:511;;;:::o;5318:484::-;5406:10;5368:12;5397:20;;;:8;:20;;;;;;:29;-1:-1:-1;5393:43:0;;;5428:8;;;5393:43;5506:1;5496:11;;5492:25;;5509:8;;;5492:25;5577:10;5568:20;;;;:8;:20;;;;;;5551:46;;5590:6;5551:16;:46::i;:::-;5537:10;5528:20;;;;:8;:20;;;;;;;;:69;;;;5698:9;:21;;;;5681:47;;5721:6;5681:16;:47::i;:::-;5667:10;5657:21;;;;:9;:21;;;;;;;;;:71;;;;5744:28;;;;;;;5667:10;;5744:28;;;;;;;;;-1:-1:-1;5790:4:0;5318:484;;;:::o;1209:45::-;;;;;;;;;;;;;:::o;1129:20::-;;;-1:-1:-1;;;;;1129:20:0;;:::o;994:31::-;;;;;;;;;;;;;;;-1:-1:-1;;994:31:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2172:786;-1:-1:-1;;;;;2240:10:0;;;2236:24;;;2252:8;;;2236:24;2370:1;2360:11;;2356:25;;2373:8;;;2356:25;2406:10;2396:21;;;;:9;:21;;;;;;:30;-1:-1:-1;2392:44:0;;;2428:8;;;2392:44;-1:-1:-1;;;;;2521:14:0;;;;;;:9;:14;;;;;;2495:23;;;:40;2491:54;;;2537:8;;;2491:54;2630:10;2620:21;;;;:9;:21;;;;;;2603:47;;2643:6;2603:16;:47::i;:::-;2589:10;2579:21;;;;:9;:21;;;;;;:71;;;;-1:-1:-1;;;;;2743:14:0;;;;;;2726:40;;2759:6;2726:16;:40::i;:::-;-1:-1:-1;;;;;2709:14:0;;;;;;:9;:14;;;;;;;;;:57;;;;2842:33;;;;;;;2709:14;;2851:10;;2842:33;;;;;;;;;;2172:786;;:::o;1261:44::-;;;;;;;;;;;;;:::o;4776:534::-;4862:10;4823:12;4852:21;;;:9;:21;;;;;;:30;-1:-1:-1;4848:44:0;;;4884:8;;;4848:44;4962:1;4952:11;;4948:25;;4965:8;;;4948:25;5035:10;5025:21;;;;:9;:21;;;;;;5008:47;;5048:6;5008:16;:47::i;:::-;4994:10;4984:21;;;;:9;:21;;;;;;;;:71;;;;5155:8;:20;;;;5138:46;;5177:6;5138:16;:46::i;:::-;5124:10;5115:20;;;;:8;:20;;;;;;;;;:69;;;;5254:26;;;;;;;5124:10;;5254:26;;;;;;;;;-1:-1:-1;5298:4:0;4776:534;;;:::o;1312:66::-;;;;;;;;;;;;;;;;;;;;;;;;:::o;612:127::-;674:7;701:6;;;;694:14;;;;-1:-1:-1;726:5:0;;;612:127::o;747:157::-;809:7;841:5;;;864:4;;;;;;:12;;;875:1;872;:4;;864:12;857:20;;;;;;895:1;747:157;-1:-1:-1;;;747:157:0:o

bzzr://9b4b92b124df5de37b96b6a44bf14a1c87d4820cb5a3c9fd549dde40a7822a30