Contract Source Code (Solidity)Audit Report

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

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 transfer(address _to, uint25 ...    - function approve(address _spender, ui ...    - function transferFrom(address _from, ...    - function freeze(uint256 _value)    - function unfreeze(uint256 _value)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at BscScan.com on 2021-01-10
*/

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 FANSPEL 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 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 (
        uint256 initialSupply,
        string tokenName,
        uint8 decimalUnits,
        string tokenSymbol
        ) public {
        balanceOf[msg.sender] = initialSupply;              // Give the creator all initial tokens
        totalSupply = initialSupply;                        // Update total supply
        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) public {
        if (_to == 0x0) return;                               // Prevent transfer to 0x0 address. Use burn() instead
		if (_value <= 0) return; 
        if (balanceOf[msg.sender] < _value) return;           // Check if the sender has enough
        if (balanceOf[_to] + _value < balanceOf[_to]) return; // 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) return; 
        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) return;                                // Prevent transfer to 0x0 address. Use burn() instead
		if (_value <= 0) return; 
        if (balanceOf[_from] < _value) return;                 // Check if the sender has enough
        if (balanceOf[_to] + _value < balanceOf[_to]) return;  // Check for overflows
        if (_value > allowance[_from][msg.sender]) return;     // 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 freeze(uint256 _value) public returns (bool success) {
        if (balanceOf[msg.sender] < _value) return;            // Check if the sender has enough
		if (_value <= 0) return; 
        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) return;            // Check if the sender has enough
		if (_value <= 0) return; 
        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;
    }
      
  }

• TechRate - July, 24th 2021 - Security Audit Report

[{"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":"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":"Freeze","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Unfreeze","type":"event"}]

608060405234801561001057600080fd5b50604051610a57380380610a578339810160409081528151602080840151838501516060860151336000908152600585529586208590556003859055918601805194969095919492019261006792908601906100ab565b50805161007b9060019060208401906100ab565b50506002805460ff90921660ff19909216919091179055505060048054600160a060020a03191633179055610146565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106100ec57805160ff1916838001178555610119565b82800160010185558215610119579182015b828111156101195782518255916020019190600101906100fe565b50610125929150610129565b5090565b61014391905b80821115610125576000815560010161012f565b90565b610902806101556000396000f3006080604052600436106100c45763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100c9578063095ea7b31461015357806318160ddd1461018b57806323b872dd146101b2578063313ce567146101dc5780636623fc461461020757806370a082311461021f5780638da5cb5b1461024057806395d89b4114610271578063a9059cbb14610286578063cd4217c1146102ac578063d7a78db8146102cd578063dd62ed3e146102e5575b600080fd5b3480156100d557600080fd5b506100de61030c565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610118578181015183820152602001610100565b50505050905090810190601f1680156101455780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561015f57600080fd5b50610177600160a060020a036004351660243561039a565b604080519115158252519081900360200190f35b34801561019757600080fd5b506101a06103d8565b60408051918252519081900360200190f35b3480156101be57600080fd5b50610177600160a060020a03600435811690602435166044356103de565b3480156101e857600080fd5b506101f161057a565b6040805160ff9092168252519081900360200190f35b34801561021357600080fd5b50610177600435610583565b34801561022b57600080fd5b506101a0600160a060020a036004351661063e565b34801561024c57600080fd5b50610255610650565b60408051600160a060020a039092168252519081900360200190f35b34801561027d57600080fd5b506100de61065f565b34801561029257600080fd5b506102aa600160a060020a03600435166024356106b9565b005b3480156102b857600080fd5b506101a0600160a060020a03600435166107be565b3480156102d957600080fd5b506101776004356107d0565b3480156102f157600080fd5b506101a0600160a060020a036004358116906024351661088a565b6000805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156103925780601f1061036757610100808354040283529160200191610392565b820191906000526020600020905b81548152906001019060200180831161037557829003601f168201915b505050505081565b60008082116103a8576103d2565b50336000908152600760209081526040808320600160a060020a0386168452909152902081905560015b92915050565b60035481565b6000600160a060020a03831615156103f557610573565b6000821161040257610573565b600160a060020a03841660009081526005602052604090205482111561042757610573565b600160a060020a038316600090815260056020526040902054828101101561044e57610573565b600160a060020a038416600090815260076020908152604080832033845290915290205482111561047e57610573565b600160a060020a0384166000908152600560205260409020546104a190836108a7565b600160a060020a0380861660009081526005602052604080822093909355908516815220546104d090836108b9565b600160a060020a03808516600090815260056020908152604080832094909455918716815260078252828120338252909152205461050e90836108a7565b600160a060020a03808616600081815260076020908152604080832033845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060015b9392505050565b60025460ff1681565b3360009081526006602052604081205482111561059f57610639565b600082116105ac57610639565b336000908152600660205260409020546105c690836108a7565b336000908152600660209081526040808320939093556005905220546105ec90836108b9565b33600081815260056020908152604091829020939093558051858152905191927f2cfce4af01bcb9d6cf6c84ee1b7c491100b8695368264146a94d71e10a63083f92918290030190a25060015b919050565b60056020526000908152604090205481565b600454600160a060020a031681565b60018054604080516020600284861615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156103925780601f1061036757610100808354040283529160200191610392565b600160a060020a03821615156106ce576107ba565b600081116106db576107ba565b336000908152600560205260409020548111156106f7576107ba565b600160a060020a038216600090815260056020526040902054818101101561071e576107ba565b3360009081526005602052604090205461073890826108a7565b3360009081526005602052604080822092909255600160a060020a0384168152205461076490826108b9565b600160a060020a0383166000818152600560209081526040918290209390935580518481529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35b5050565b60066020526000908152604090205481565b336000908152600560205260408120548211156107ec57610639565b600082116107f957610639565b3360009081526005602052604090205461081390836108a7565b3360009081526005602090815260408083209390935560069052205461083990836108b9565b33600081815260066020908152604091829020939093558051858152905191927ff97a274face0b5517365ad396b1fdba6f68bd3135ef603e44272adba3af5a1e092918290030190a2506001919050565b600760209081526000928352604080842090915290825290205481565b6000828211156108b357fe5b50900390565b60008282018381108015906108ce5750828110155b151561057357fe00a165627a7a723058202411cdf05bcb615908afae610783921f6248e0f7033933fc62f56001cbf3a3b80029000000000000000000000000000000000000000006c9144c1c690d4cb40000000000000000000000000000000000000000000000000000000000000000000080000000000000000000000000000000000000000000000000000000000000001200000000000000000000000000000000000000000000000000000000000000c0000000000000000000000000000000000000000000000000000000000000000746414e5350454c00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000346414e0000000000000000000000000000000000000000000000000000000000

0x6080604052600436106100c45763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100c9578063095ea7b31461015357806318160ddd1461018b57806323b872dd146101b2578063313ce567146101dc5780636623fc461461020757806370a082311461021f5780638da5cb5b1461024057806395d89b4114610271578063a9059cbb14610286578063cd4217c1146102ac578063d7a78db8146102cd578063dd62ed3e146102e5575b600080fd5b3480156100d557600080fd5b506100de61030c565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610118578181015183820152602001610100565b50505050905090810190601f1680156101455780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561015f57600080fd5b50610177600160a060020a036004351660243561039a565b604080519115158252519081900360200190f35b34801561019757600080fd5b506101a06103d8565b60408051918252519081900360200190f35b3480156101be57600080fd5b50610177600160a060020a03600435811690602435166044356103de565b3480156101e857600080fd5b506101f161057a565b6040805160ff9092168252519081900360200190f35b34801561021357600080fd5b50610177600435610583565b34801561022b57600080fd5b506101a0600160a060020a036004351661063e565b34801561024c57600080fd5b50610255610650565b60408051600160a060020a039092168252519081900360200190f35b34801561027d57600080fd5b506100de61065f565b34801561029257600080fd5b506102aa600160a060020a03600435166024356106b9565b005b3480156102b857600080fd5b506101a0600160a060020a03600435166107be565b3480156102d957600080fd5b506101776004356107d0565b3480156102f157600080fd5b506101a0600160a060020a036004358116906024351661088a565b6000805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156103925780601f1061036757610100808354040283529160200191610392565b820191906000526020600020905b81548152906001019060200180831161037557829003601f168201915b505050505081565b60008082116103a8576103d2565b50336000908152600760209081526040808320600160a060020a0386168452909152902081905560015b92915050565b60035481565b6000600160a060020a03831615156103f557610573565b6000821161040257610573565b600160a060020a03841660009081526005602052604090205482111561042757610573565b600160a060020a038316600090815260056020526040902054828101101561044e57610573565b600160a060020a038416600090815260076020908152604080832033845290915290205482111561047e57610573565b600160a060020a0384166000908152600560205260409020546104a190836108a7565b600160a060020a0380861660009081526005602052604080822093909355908516815220546104d090836108b9565b600160a060020a03808516600090815260056020908152604080832094909455918716815260078252828120338252909152205461050e90836108a7565b600160a060020a03808616600081815260076020908152604080832033845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060015b9392505050565b60025460ff1681565b3360009081526006602052604081205482111561059f57610639565b600082116105ac57610639565b336000908152600660205260409020546105c690836108a7565b336000908152600660209081526040808320939093556005905220546105ec90836108b9565b33600081815260056020908152604091829020939093558051858152905191927f2cfce4af01bcb9d6cf6c84ee1b7c491100b8695368264146a94d71e10a63083f92918290030190a25060015b919050565b60056020526000908152604090205481565b600454600160a060020a031681565b60018054604080516020600284861615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156103925780601f1061036757610100808354040283529160200191610392565b600160a060020a03821615156106ce576107ba565b600081116106db576107ba565b336000908152600560205260409020548111156106f7576107ba565b600160a060020a038216600090815260056020526040902054818101101561071e576107ba565b3360009081526005602052604090205461073890826108a7565b3360009081526005602052604080822092909255600160a060020a0384168152205461076490826108b9565b600160a060020a0383166000818152600560209081526040918290209390935580518481529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35b5050565b60066020526000908152604090205481565b336000908152600560205260408120548211156107ec57610639565b600082116107f957610639565b3360009081526005602052604090205461081390836108a7565b3360009081526005602090815260408083209390935560069052205461083990836108b9565b33600081815260066020908152604091829020939093558051858152905191927ff97a274face0b5517365ad396b1fdba6f68bd3135ef603e44272adba3af5a1e092918290030190a2506001919050565b600760209081526000928352604080842090915290825290205481565b6000828211156108b357fe5b50900390565b60008282018381108015906108ce5750828110155b151561057357fe00a165627a7a723058202411cdf05bcb615908afae610783921f6248e0f7033933fc62f56001cbf3a3b80029

000000000000000000000000000000000000000006c9144c1c690d4cb40000000000000000000000000000000000000000000000000000000000000000000080000000000000000000000000000000000000000000000000000000000000001200000000000000000000000000000000000000000000000000000000000000c0000000000000000000000000000000000000000000000000000000000000000746414e5350454c00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000346414e0000000000000000000000000000000000000000000000000000000000

-----Decoded View---------------
Arg [0] : initialSupply (uint256): 2100000000000000000000000000
Arg [1] : tokenName (string): FANSPEL
Arg [2] : decimalUnits (uint8): 18
Arg [3] : tokenSymbol (string): FAN

-----Encoded View---------------
8 Constructor Arguments found :
Arg [0] : 000000000000000000000000000000000000000006c9144c1c690d4cb4000000
Arg [1] : 0000000000000000000000000000000000000000000000000000000000000080
Arg [2] : 0000000000000000000000000000000000000000000000000000000000000012
Arg [3] : 00000000000000000000000000000000000000000000000000000000000000c0
Arg [4] : 0000000000000000000000000000000000000000000000000000000000000007
Arg [5] : 46414e5350454c00000000000000000000000000000000000000000000000000
Arg [6] : 0000000000000000000000000000000000000000000000000000000000000003
Arg [7] : 46414e0000000000000000000000000000000000000000000000000000000000

708:4661:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;743:18;;8:9:-1;5:2;;;30:1;27;20:12;5:2;743: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;743:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3150:192;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3150:192:0;-1:-1:-1;;;;;3150:192:0;;;;;;;;;;;;;;;;;;;;;;;;;823:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;823:26:0;;;;;;;;;;;;;;;;;;;;3402:937;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3402:937:0;-1:-1:-1;;;;;3402:937:0;;;;;;;;;;;;795:21;;8:9:-1;5:2;;;30:1;27;20:12;5:2;795:21:0;;;;;;;;;;;;;;;;;;;;;;;4887:469;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4887:469:0;;;;;933:45;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;933:45:0;-1:-1:-1;;;;;933:45:0;;;;;853:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;853:20:0;;;;;;;;-1:-1:-1;;;;;853:20:0;;;;;;;;;;;;;;768;;8:9:-1;5:2;;;30:1;27;20:12;5:2;768:20:0;;;;2294:774;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2294:774:0;-1:-1:-1;;;;;2294:774:0;;;;;;;;;982:44;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;982:44:0;-1:-1:-1;;;;;982:44:0;;;;;4357:518;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4357:518:0;;;;;1033:66;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1033:66:0;-1:-1:-1;;;;;1033:66:0;;;;;;;;;;743:18;;;;;;;;;;;;;;;-1:-1:-1;;743:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3150:192::-;3218:12;3241:11;;;3237:24;;3254:7;;3237:24;-1:-1:-1;3282:10:0;3272:21;;;;:9;:21;;;;;;;;-1:-1:-1;;;;;3272:31:0;;;;;;;;;:40;;;3330:4;3150:192;;;;;:::o;823:26::-;;;;:::o;3402:937::-;3484:12;-1:-1:-1;;;;;3513:10:0;;;3509:23;;;3525:7;;3509:23;3636:1;3626:11;;3622:24;;3639:7;;3622:24;-1:-1:-1;;;;;3661:16:0;;;;;;:9;:16;;;;;;:25;-1:-1:-1;3657:38:0;;;3688:7;;3657:38;-1:-1:-1;;;;;3785:14:0;;;;;;:9;:14;;;;;;3759:23;;;:40;3755:53;;;3801:7;;3755:53;-1:-1:-1;;;;;3855:16:0;;;;;;:9;:16;;;;;;;;3872:10;3855:28;;;;;;;;3846:37;;3842:50;;;3885:7;;3842:50;-1:-1:-1;;;;;3961:16:0;;;;;;:9;:16;;;;;;3944:42;;3979:6;3944:16;:42::i;:::-;-1:-1:-1;;;;;3925:16:0;;;;;;;:9;:16;;;;;;:61;;;;4085:14;;;;;;;4068:40;;4101:6;4068:16;:40::i;:::-;-1:-1:-1;;;;;4051:14:0;;;;;;;:9;:14;;;;;;;;:57;;;;4228:16;;;;;:9;:16;;;;;4245:10;4228:28;;;;;;;4211:54;;4258:6;4211:16;:54::i;:::-;-1:-1:-1;;;;;4180:16:0;;;;;;;:9;:16;;;;;;;;4197:10;4180:28;;;;;;;;:85;;;;4281:28;;;;;;;;;;;4180:16;;4281:28;;;;;;;;;;;-1:-1:-1;4327:4:0;3402:937;;;;;;:::o;795:21::-;;;;;;:::o;4887:469::-;4975:10;4937:12;4966:20;;;:8;:20;;;;;;:29;-1:-1:-1;4962:42:0;;;4997:7;;4962:42;5067:1;5057:11;;5053:24;;5070:7;;5053:24;5137:10;5128:20;;;;:8;:20;;;;;;5111:46;;5150:6;5111:16;:46::i;:::-;5097:10;5088:20;;;;:8;:20;;;;;;;;:69;;;;5252:9;:21;;;;5235:47;;5275:6;5235:16;:47::i;:::-;5221:10;5211:21;;;;:9;:21;;;;;;;;;:71;;;;5298:28;;;;;;;5221:10;;5298:28;;;;;;;;;-1:-1:-1;5344:4:0;4887:469;;;;:::o;933:45::-;;;;;;;;;;;;;:::o;853:20::-;;;-1:-1:-1;;;;;853:20:0;;:::o;768:::-;;;;;;;;;;;;;;;-1:-1:-1;;768:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2294:774;-1:-1:-1;;;;;2363:10:0;;;2359:23;;;2375:7;;2359:23;2485:1;2475:11;;2471:24;;2488:7;;2471:24;2520:10;2510:21;;;;:9;:21;;;;;;:30;-1:-1:-1;2506:43:0;;;2542:7;;2506:43;-1:-1:-1;;;;;2633:14:0;;;;;;:9;:14;;;;;;2607:23;;;:40;2603:53;;;2649:7;;2603:53;2740:10;2730:21;;;;:9;:21;;;;;;2713:47;;2753:6;2713:16;:47::i;:::-;2699:10;2689:21;;;;:9;:21;;;;;;:71;;;;-1:-1:-1;;;;;2853:14:0;;;;;;2836:40;;2869:6;2836:16;:40::i;:::-;-1:-1:-1;;;;;2819:14:0;;;;;;:9;:14;;;;;;;;;:57;;;;2952:33;;;;;;;2819:14;;2961:10;;2952:33;;;;;;;;;;2294:774;;;:::o;982:44::-;;;;;;;;;;;;;:::o;4357:518::-;4444:10;4405:12;4434:21;;;:9;:21;;;;;;:30;-1:-1:-1;4430:43:0;;;4466:7;;4430:43;4536:1;4526:11;;4522:24;;4539:7;;4522:24;4608:10;4598:21;;;;:9;:21;;;;;;4581:47;;4621:6;4581:16;:47::i;:::-;4567:10;4557:21;;;;:9;:21;;;;;;;;:71;;;;4728:8;:20;;;;4711:46;;4750:6;4711:16;:46::i;:::-;4697:10;4688:20;;;;:8;:20;;;;;;;;;:69;;;;4819:26;;;;;;;4697:10;;4819:26;;;;;;;;;-1:-1:-1;4863:4:0;4357:518;;;:::o;1033:66::-;;;;;;;;;;;;;;;;;;;;;;;;:::o;431:117::-;493:7;516:6;;;;509:14;;;;-1:-1:-1;537:5:0;;;431:117::o;554:143::-;616:7;644:5;;;663:4;;;;;;:12;;;674:1;671;:4;;663:12;656:20;;;;

bzzr://2411cdf05bcb615908afae610783921f6248e0f7033933fc62f56001cbf3a3b8