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 RFBToken is SafeMath *
•    - function RFBToken(
•    - 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 2020-10-04
*/

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

pragma solidity ^0.4.26;


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

contract RFBToken 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 RFBToken(
        uint256 initialSupply,
        string tokenName,
        uint8 decimalUnits,
        string tokenSymbol
    ) {
        totalSupply = initialSupply * 10 ** uint256(decimalUnits);
        // Update total supply
        balanceOf[msg.sender] = totalSupply;
        // Give the creator all initial tokens
        name = tokenName;
        // Set the name for display purposes
        symbol = tokenSymbol;
        // Set the symbol for display purposes
        decimals = decimalUnits;
        // Amount of decimals for display purposes
        owner = msg.sender;
    }

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


    /* A contract attempts to get the coins */
    function transferFrom(address _from, address _to, uint256 _value) returns (bool success) {
        if (_to == 0x0) throw;
        // Prevent transfer to 0x0 address. Use burn() instead
        if (_value <= 0) throw;
        if (balanceOf[_from] < _value) throw;
        // Check if the sender has enough
        if (balanceOf[_to] + _value < balanceOf[_to]) throw;
        // Check for overflows
        if (_value > allowance[_from][msg.sender]) throw;
        // 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) returns (bool success) {
        if (balanceOf[msg.sender] < _value) throw;
        // Check if the sender has enough
        if (_value <= 0) throw;
        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) throw;
        // Check if the sender has enough
        if (_value <= 0) throw;
        balanceOf[msg.sender] = SafeMath.safeSub(balanceOf[msg.sender], _value);
        // Subtract from the sender
        freezeOf[msg.sender] = SafeMath.safeAdd(freezeOf[msg.sender], _value);
        // Updates totalSupply
        Freeze(msg.sender, _value);
        return true;
    }

    function unfreeze(uint256 _value) returns (bool success) {
        if (freezeOf[msg.sender] < _value) throw;
        // Check if the sender has enough
        if (_value <= 0) throw;
        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":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":"_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":"decimalUnits","type":"uint8"},{"name":"tokenSymbol","type":"string"}],"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"}]

608060405234801561001057600080fd5b50604051610b35380380610b35833981016040908152815160208084015183850151606086015160ff8216600a0a850260038190553360009081526005865296872055918601805194969095919492019261006e92908601906100b2565b5080516100829060019060208401906100b2565b50506002805460ff90921660ff19909216919091179055505060048054600160a060020a0319163317905561014d565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106100f357805160ff1916838001178555610120565b82800160010185558215610120579182015b82811115610120578251825591602001919060010190610105565b5061012c929150610130565b5090565b61014a91905b8082111561012c5760008155600101610136565b90565b6109d98061015c6000396000f3006080604052600436106100cf5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100d4578063095ea7b31461015e57806318160ddd1461019657806323b872dd146101bd578063313ce567146101e757806342966c68146102125780636623fc461461022a57806370a08231146102425780638da5cb5b1461026357806395d89b4114610294578063a9059cbb146102a9578063cd4217c1146102cf578063d7a78db8146102f0578063dd62ed3e14610308575b600080fd5b3480156100e057600080fd5b506100e961032f565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561012357818101518382015260200161010b565b50505050905090810190601f1680156101505780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561016a57600080fd5b50610182600160a060020a03600435166024356103bd565b604080519115158252519081900360200190f35b3480156101a257600080fd5b506101ab6103f9565b60408051918252519081900360200190f35b3480156101c957600080fd5b50610182600160a060020a03600435811690602435166044356103ff565b3480156101f357600080fd5b506101fc61059a565b6040805160ff9092168252519081900360200190f35b34801561021e57600080fd5b506101826004356105a3565b34801561023657600080fd5b50610182600435610644565b34801561024e57600080fd5b506101ab600160a060020a03600435166106fe565b34801561026f57600080fd5b50610278610710565b60408051600160a060020a039092168252519081900360200190f35b3480156102a057600080fd5b506100e961071f565b3480156102b557600080fd5b506102cd600160a060020a0360043516602435610779565b005b3480156102db57600080fd5b506101ab600160a060020a036004351661087d565b3480156102fc57600080fd5b5061018260043561088f565b34801561031457600080fd5b506101ab600160a060020a0360043581169060243516610949565b6000805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156103b55780601f1061038a576101008083540402835291602001916103b5565b820191906000526020600020905b81548152906001019060200180831161039857829003601f168201915b505050505081565b60008082116103cb57600080fd5b50336000908152600760209081526040808320600160a060020a039590951683529390529190912055600190565b60035481565b6000600160a060020a038316151561041657600080fd5b6000821161042357600080fd5b600160a060020a03841660009081526005602052604090205482111561044857600080fd5b600160a060020a038316600090815260056020526040902054828101101561046f57600080fd5b600160a060020a038416600090815260076020908152604080832033845290915290205482111561049f57600080fd5b600160a060020a0384166000908152600560205260409020546104c29083610966565b600160a060020a0380861660009081526005602052604080822093909355908516815220546104f1908361097a565b600160a060020a03808516600090815260056020908152604080832094909455918716815260078252828120338252909152205461052f9083610966565b600160a060020a03808616600081815260076020908152604080832033845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060019392505050565b60025460ff1681565b336000908152600560205260408120548211156105bf57600080fd5b600082116105cc57600080fd5b336000908152600560205260409020546105e69083610966565b336000908152600560205260409020556003546106039083610966565b60035560408051838152905133917fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5919081900360200190a2506001919050565b3360009081526006602052604081205482111561066057600080fd5b6000821161066d57600080fd5b336000908152600660205260409020546106879083610966565b336000908152600660209081526040808320939093556005905220546106ad908361097a565b33600081815260056020908152604091829020939093558051858152905191927f2cfce4af01bcb9d6cf6c84ee1b7c491100b8695368264146a94d71e10a63083f92918290030190a2506001919050565b60056020526000908152604090205481565b600454600160a060020a031681565b60018054604080516020600284861615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156103b55780601f1061038a576101008083540402835291602001916103b5565b600160a060020a038216151561078e57600080fd5b6000811161079b57600080fd5b336000908152600560205260409020548111156107b757600080fd5b600160a060020a03821660009081526005602052604090205481810110156107de57600080fd5b336000908152600560205260409020546107f89082610966565b3360009081526005602052604080822092909255600160a060020a03841681522054610824908261097a565b600160a060020a0383166000818152600560209081526040918290209390935580518481529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b60066020526000908152604090205481565b336000908152600560205260408120548211156108ab57600080fd5b600082116108b857600080fd5b336000908152600560205260409020546108d29083610966565b336000908152600560209081526040808320939093556006905220546108f8908361097a565b33600081815260066020908152604091829020939093558051858152905191927ff97a274face0b5517365ad396b1fdba6f68bd3135ef603e44272adba3af5a1e092918290030190a2506001919050565b600760209081526000928352604080842090915290825290205481565b60006109748383111561099e565b50900390565b60008282016109978482108015906109925750838210155b61099e565b9392505050565b8015156109aa57600080fd5b505600a165627a7a723058203b5396ca79bdf8fcc3023eb16197f6c9b37e5f565d9d0592c9707119b41d23180029000000000000000000000000000000000000000000000000000000000000c3500000000000000000000000000000000000000000000000000000000000000080000000000000000000000000000000000000000000000000000000000000001200000000000000000000000000000000000000000000000000000000000000c000000000000000000000000000000000000000000000000000000000000000085246422d6d656d6500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000035246420000000000000000000000000000000000000000000000000000000000

0x6080604052600436106100cf5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100d4578063095ea7b31461015e57806318160ddd1461019657806323b872dd146101bd578063313ce567146101e757806342966c68146102125780636623fc461461022a57806370a08231146102425780638da5cb5b1461026357806395d89b4114610294578063a9059cbb146102a9578063cd4217c1146102cf578063d7a78db8146102f0578063dd62ed3e14610308575b600080fd5b3480156100e057600080fd5b506100e961032f565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561012357818101518382015260200161010b565b50505050905090810190601f1680156101505780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561016a57600080fd5b50610182600160a060020a03600435166024356103bd565b604080519115158252519081900360200190f35b3480156101a257600080fd5b506101ab6103f9565b60408051918252519081900360200190f35b3480156101c957600080fd5b50610182600160a060020a03600435811690602435166044356103ff565b3480156101f357600080fd5b506101fc61059a565b6040805160ff9092168252519081900360200190f35b34801561021e57600080fd5b506101826004356105a3565b34801561023657600080fd5b50610182600435610644565b34801561024e57600080fd5b506101ab600160a060020a03600435166106fe565b34801561026f57600080fd5b50610278610710565b60408051600160a060020a039092168252519081900360200190f35b3480156102a057600080fd5b506100e961071f565b3480156102b557600080fd5b506102cd600160a060020a0360043516602435610779565b005b3480156102db57600080fd5b506101ab600160a060020a036004351661087d565b3480156102fc57600080fd5b5061018260043561088f565b34801561031457600080fd5b506101ab600160a060020a0360043581169060243516610949565b6000805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156103b55780601f1061038a576101008083540402835291602001916103b5565b820191906000526020600020905b81548152906001019060200180831161039857829003601f168201915b505050505081565b60008082116103cb57600080fd5b50336000908152600760209081526040808320600160a060020a039590951683529390529190912055600190565b60035481565b6000600160a060020a038316151561041657600080fd5b6000821161042357600080fd5b600160a060020a03841660009081526005602052604090205482111561044857600080fd5b600160a060020a038316600090815260056020526040902054828101101561046f57600080fd5b600160a060020a038416600090815260076020908152604080832033845290915290205482111561049f57600080fd5b600160a060020a0384166000908152600560205260409020546104c29083610966565b600160a060020a0380861660009081526005602052604080822093909355908516815220546104f1908361097a565b600160a060020a03808516600090815260056020908152604080832094909455918716815260078252828120338252909152205461052f9083610966565b600160a060020a03808616600081815260076020908152604080832033845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060019392505050565b60025460ff1681565b336000908152600560205260408120548211156105bf57600080fd5b600082116105cc57600080fd5b336000908152600560205260409020546105e69083610966565b336000908152600560205260409020556003546106039083610966565b60035560408051838152905133917fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5919081900360200190a2506001919050565b3360009081526006602052604081205482111561066057600080fd5b6000821161066d57600080fd5b336000908152600660205260409020546106879083610966565b336000908152600660209081526040808320939093556005905220546106ad908361097a565b33600081815260056020908152604091829020939093558051858152905191927f2cfce4af01bcb9d6cf6c84ee1b7c491100b8695368264146a94d71e10a63083f92918290030190a2506001919050565b60056020526000908152604090205481565b600454600160a060020a031681565b60018054604080516020600284861615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156103b55780601f1061038a576101008083540402835291602001916103b5565b600160a060020a038216151561078e57600080fd5b6000811161079b57600080fd5b336000908152600560205260409020548111156107b757600080fd5b600160a060020a03821660009081526005602052604090205481810110156107de57600080fd5b336000908152600560205260409020546107f89082610966565b3360009081526005602052604080822092909255600160a060020a03841681522054610824908261097a565b600160a060020a0383166000818152600560209081526040918290209390935580518481529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b60066020526000908152604090205481565b336000908152600560205260408120548211156108ab57600080fd5b600082116108b857600080fd5b336000908152600560205260409020546108d29083610966565b336000908152600560209081526040808320939093556006905220546108f8908361097a565b33600081815260066020908152604091829020939093558051858152905191927ff97a274face0b5517365ad396b1fdba6f68bd3135ef603e44272adba3af5a1e092918290030190a2506001919050565b600760209081526000928352604080842090915290825290205481565b60006109748383111561099e565b50900390565b60008282016109978482108015906109925750838210155b61099e565b9392505050565b8015156109aa57600080fd5b505600a165627a7a723058203b5396ca79bdf8fcc3023eb16197f6c9b37e5f565d9d0592c9707119b41d23180029

000000000000000000000000000000000000000000000000000000000000c3500000000000000000000000000000000000000000000000000000000000000080000000000000000000000000000000000000000000000000000000000000001200000000000000000000000000000000000000000000000000000000000000c000000000000000000000000000000000000000000000000000000000000000085246422d6d656d6500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000035246420000000000000000000000000000000000000000000000000000000000

-----Decoded View---------------
Arg [0] : initialSupply (uint256): 50000
Arg [1] : tokenName (string): RFB-meme
Arg [2] : decimalUnits (uint8): 18
Arg [3] : tokenSymbol (string): RFB

-----Encoded View---------------
8 Constructor Arguments found :
Arg [0] : 000000000000000000000000000000000000000000000000000000000000c350
Arg [1] : 0000000000000000000000000000000000000000000000000000000000000080
Arg [2] : 0000000000000000000000000000000000000000000000000000000000000012
Arg [3] : 00000000000000000000000000000000000000000000000000000000000000c0
Arg [4] : 0000000000000000000000000000000000000000000000000000000000000008
Arg [5] : 5246422d6d656d65000000000000000000000000000000000000000000000000
Arg [6] : 0000000000000000000000000000000000000000000000000000000000000003
Arg [7] : 5246420000000000000000000000000000000000000000000000000000000000

937:4978:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;974:18;;8:9:-1;5:2;;;30:1;27;20:12;5:2;974:18: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;974:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3372:193;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3372:193:0;-1:-1:-1;;;;;3372:193:0;;;;;;;;;;;;;;;;;;;;;;;;;1054:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1054:26:0;;;;;;;;;;;;;;;;;;;;3623:873;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3623:873:0;-1:-1:-1;;;;;3623:873:0;;;;;;;;;;;;1026:21;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1026:21:0;;;;;;;;;;;;;;;;;;;;;;;4504:459;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4504:459:0;;;;;5460:452;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;5460:452:0;;;;;1167:44;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1167:44:0;-1:-1:-1;;;;;1167:44:0;;;;;1087:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1087:20:0;;;;;;;;-1:-1:-1;;;;;1087:20:0;;;;;;;;;;;;;;999;;8:9:-1;5:2;;;30:1;27;20:12;5:2;999:20:0;;;;2582:712;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2582:712:0;-1:-1:-1;;;;;2582:712:0;;;;;;;;;1218:43;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1218:43:0;-1:-1:-1;;;;;1218:43:0;;;;;4971:481;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4971:481:0;;;;;1268:64;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1268:64:0;-1:-1:-1;;;;;1268:64:0;;;;;;;;;;974:18;;;;;;;;;;;;;;;-1:-1:-1;;974:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3372:193::-;3437:12;3466:11;;;3462:22;;3479:5;;;3462:22;-1:-1:-1;3505:10:0;3495:21;;;;:9;:21;;;;;;;;-1:-1:-1;;;;;3495:31:0;;;;;;;;;;;;;:40;3553:4;;3372:193::o;1054:26::-;;;;:::o;3623:873::-;3698:12;-1:-1:-1;;;;;3727:10:0;;;3723:21;;;3739:5;;;3723:21;3833:1;3823:11;;3819:22;;3836:5;;;3819:22;-1:-1:-1;;;;;3856:16:0;;;;;;:9;:16;;;;;;:25;-1:-1:-1;3852:36:0;;;3883:5;;;3852:36;-1:-1:-1;;;;;3972:14:0;;;;;;:9;:14;;;;;;3946:23;;;:40;3942:51;;;3988:5;;;3942:51;-1:-1:-1;;;;;4049:16:0;;;;;;:9;:16;;;;;;;;4066:10;4049:28;;;;;;;;4040:37;;4036:48;;;4079:5;;;4036:48;-1:-1:-1;;;;;4159:16:0;;;;;;:9;:16;;;;;;4142:42;;4177:6;4142:16;:42::i;:::-;-1:-1:-1;;;;;4123:16:0;;;;;;;:9;:16;;;;;;:61;;;;4266:14;;;;;;;4249:40;;4282:6;4249:16;:40::i;:::-;-1:-1:-1;;;;;4232:14:0;;;;;;;:9;:14;;;;;;;;:57;;;;4390:16;;;;;:9;:16;;;;;4407:10;4390:28;;;;;;;4373:54;;4420:6;4373:16;:54::i;:::-;-1:-1:-1;;;;;4342:16:0;;;;;;;:9;:16;;;;;;;;4359:10;4342:28;;;;;;;;:85;;;;4438:28;;;;;;;;;;;4342:16;;4438:28;;;;;;;;;;;-1:-1:-1;4484:4:0;3623:873;;;;;:::o;1026:21::-;;;;;;:::o;4504:459::-;4582:10;4543:12;4572:21;;;:9;:21;;;;;;:30;-1:-1:-1;4568:41:0;;;4604:5;;;4568:41;4677:1;4667:11;;4663:22;;4680:5;;;4663:22;4747:10;4737:21;;;;:9;:21;;;;;;4720:47;;4760:6;4720:16;:47::i;:::-;4706:10;4696:21;;;;:9;:21;;;;;:71;4846:11;;4829:37;;4859:6;4829:16;:37::i;:::-;4815:11;:51;4909:24;;;;;;;;4914:10;;4909:24;;;;;;;;;;-1:-1:-1;4951:4:0;4504:459;;;:::o;5460:452::-;5541:10;5503:12;5532:20;;;:8;:20;;;;;;:29;-1:-1:-1;5528:40:0;;;5563:5;;;5528:40;5636:1;5626:11;;5622:22;;5639:5;;;5622:22;5704:10;5695:20;;;;:8;:20;;;;;;5678:46;;5717:6;5678:16;:46::i;:::-;5664:10;5655:20;;;;:8;:20;;;;;;;;:69;;;;5813:9;:21;;;;5796:47;;5836:6;5796:16;:47::i;:::-;5782:10;5772:21;;;;:9;:21;;;;;;;;;:71;;;;5854:28;;;;;;;5782:10;;5854:28;;;;;;;;;-1:-1:-1;5900:4:0;5460:452;;;:::o;1167:44::-;;;;;;;;;;;;;:::o;1087:20::-;;;-1:-1:-1;;;;;1087:20:0;;:::o;999:::-;;;;;;;;;;;;;;;-1:-1:-1;;999:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2582:712;-1:-1:-1;;;;;2644:10:0;;;2640:21;;;2656:5;;;2640:21;2750:1;2740:11;;2736:22;;2753:5;;;2736:22;2783:10;2773:21;;;;:9;:21;;;;;;:30;-1:-1:-1;2769:41:0;;;2805:5;;;2769:41;-1:-1:-1;;;;;2894:14:0;;;;;;:9;:14;;;;;;2868:23;;;:40;2864:51;;;2910:5;;;2864:51;3009:10;2999:21;;;;:9;:21;;;;;;2982:47;;3022:6;2982:16;:47::i;:::-;2968:10;2958:21;;;;:9;:21;;;;;;:71;;;;-1:-1:-1;;;;;3111:14:0;;;;;;3094:40;;3127:6;3094:16;:40::i;:::-;-1:-1:-1;;;;;3077:14:0;;;;;;:9;:14;;;;;;;;;:57;;;;3187:33;;;;;;;3077:14;;3196:10;;3187:33;;;;;;;;;;2582:712;;:::o;1218:43::-;;;;;;;;;;;;;:::o;4971:481::-;5051:10;5012:12;5041:21;;;:9;:21;;;;;;:30;-1:-1:-1;5037:41:0;;;5073:5;;;5037:41;5146:1;5136:11;;5132:22;;5149:5;;;5132:22;5216:10;5206:21;;;;:9;:21;;;;;;5189:47;;5229:6;5189:16;:47::i;:::-;5175:10;5165:21;;;;:9;:21;;;;;;;;:71;;;;5324:8;:20;;;;5307:46;;5346:6;5307:16;:46::i;:::-;5293:10;5284:20;;;;:8;:20;;;;;;;;;:69;;;;5396:26;;;;;;;5293:10;;5396:26;;;;;;;;;-1:-1:-1;5440:4:0;4971:481;;;:::o;1268:64::-;;;;;;;;;;;;;;;;;;;;;;;;:::o;533:122::-;590:7;610:14;622:1;617;:6;;610;:14::i;:::-;-1:-1:-1;642:5:0;;;533:122::o;663:152::-;720:7;752:5;;;768:20;775:4;;;;;;:12;;;786:1;783;:4;;775:12;768:6;:20::i;:::-;806:1;663:152;-1:-1:-1;;;663:152:0:o;823:107::-;880:9;879:10;875:48;;;906:5;;;875:48;823:107;:::o

bzzr://3b5396ca79bdf8fcc3023eb16197f6c9b37e5f565d9d0592c9707119b41d2318