Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

 contract SafeMath    - function safeAdd(uint a, uint b)    - function safeSub(uint a, uint b)    - function safeMul(uint a, uint b)    - function safeDiv(uint a, uint b)  contract Owned    - function owned() interface tokenRecipient function re ...  contract TokenERC20 is SafeMath    - function TokenERC20(    - function transfer(address to, uint to ...    - function transferFrom(address from, a ...    - function approve(address _spender, ui ...    - function approveAndCall(address _spen ...  contract UCoinToken is Owned, Toke ... *    - function UCoinToken(    - function mint(address _to, uint _valu ...    - function mintToken(address target, ui ...    - function airdropMinting(address[] _to ...    - function freezeAccount(address targe ...    - function burn(uint256 _value)    - function burnFrom(address _from, uint ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2021-01-15
*/

pragma solidity >=0.4.22 <0.6.0;

  // ----------------------------------------------------------------------------------------------
  // UCoin Token Contract
  // UNIVERSAL COIN INTERNATIONAL INC
  // V.1.4 Fixed (FINAL)
  // ----------------------------------------------------------------------------------------------

// ----------------------------------------------------------------------------
// Safe maths
// ----------------------------------------------------------------------------
contract SafeMath {
    function safeAdd(uint a, uint b) public pure returns (uint c) {
        c = a + b;
        require(c >= a);
    }
    function safeSub(uint a, uint b) public pure returns (uint c) {
        require(b <= a);
        c = a - b;
    }
    function safeMul(uint a, uint b) public pure returns (uint c) {
        c = a * b;
        require(a == 0 || c / a == b);
    }
    function safeDiv(uint a, uint b) public pure returns (uint c) {
        require(b > 0);
        c = a / b;
    }
}

contract Owned {
    
    address public owner;
    
    function owned() public  {
        owner = msg.sender;

    }
    constructor() payable public {
        owner = msg.sender;
    }

    modifier onlyOwner {
        require(msg.sender == owner);
        _;
    }

}

interface tokenRecipient { function receiveApproval(address _from, uint256 _value, address _token, bytes _extraData)  external; }

contract TokenERC20 is SafeMath{
    // Public variables of the token
    string public name  ;
    string public symbol  ;
    uint8 public decimals = 18;
    // 18 decimals is the strongly suggested default, avoid changing it
    uint256 public totalSupply ;

    // This creates an array with all balances
    mapping (address => uint256) public balanceOf;
    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);

    /**
     * Constructor function
     *
     * Initializes contract with initial supply tokens to the creator of the contract
     */
    function TokenERC20(
        uint256 initialSupply,
        string tokenName,
        string tokenSymbol
    ) public {
        totalSupply = initialSupply * 10 ** uint256(decimals);  // Update total supply with the decimal amount
        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
        emit Transfer(address(0), msg.sender, totalSupply);

    }

    /**
     * Transfer tokens
     *
     * Send `_value` tokens to `to` from your account
     *
     * @param to The address of the recipient
     * @param tokens the amount to send
     */
  
    function transfer(address to, uint tokens) payable public returns (bool success) {
        balanceOf[msg.sender] = safeSub(balanceOf[msg.sender], tokens);
        balanceOf[to] = safeAdd(balanceOf[to], tokens);
        emit Transfer(msg.sender, to, tokens);
        return true;
    }

    
    /**
     * Transfer tokens from other address
     *
     * Send `tokens` tokens to `to` in behalf of `from`
     *
     * @param from The address of the sender
     * @param to The address of the recipient
     * @param tokens the amount to send
     */

    function transferFrom(address from, address to, uint tokens) payable public returns (bool success) {
        balanceOf[from] = safeSub(balanceOf[from], tokens);
        allowance[from][msg.sender] = safeSub(allowance[from][msg.sender], tokens);
        balanceOf[to] = safeAdd(balanceOf[to], tokens);
        emit Transfer(from, to, tokens);
        return true;
    }


    /**
     * Set allowance for other address
     *
     * Allows `_spender` to spend no more than `_value` tokens in your behalf
     *
     * @param _spender The address authorized to spend
     * @param _value the max amount they can spend
     */
    function approve(address _spender, uint256 _value) public
        returns (bool success) {
        allowance[msg.sender][_spender] = _value;
        return true;
    }

    /**
     * Set allowance for other address and notify
     *
     * Allows `_spender` to spend no more than `_value` tokens in your behalf, and then ping the contract about it
     *
     * @param _spender The address authorized to spend
     * @param _value the max amount they can spend
     * @param _extraData some extra information to send to the approved contract
     */
    function approveAndCall(address _spender, uint256 _value, bytes _extraData)
        public
        returns (bool success) {
        tokenRecipient spender = tokenRecipient(_spender);
        if (approve(_spender, _value)) {
            spender.receiveApproval(msg.sender, _value, this, _extraData);
            return true;
        }
    }
 
}

contract UCoinToken is Owned, TokenERC20 {

    mapping (address => bool) public frozenAccount;

    /* This generates a public event on the blockchain that will notify clients */
    event FrozenFunds(address target, bool frozen);

    /* Initializes contract with initial supply tokens to the creator of the contract */
    function UCoinToken(

    ) 

    TokenERC20(5000000000, "UCoin", "UCoin") public {}

    
    /// @notice Will cause a certain `_value` of coins minted for `_to`.
    /// @param _to The address that will receive the coin.
     /// @param _value The amount of coin they will receive.
    function mint(address _to, uint _value) payable public {
        require(msg.sender == owner); // assuming you have a contract owner
        mintToken(_to, _value);
    }
 
    function mintToken(address target, uint256 mintedAmount) internal {
        //balanceOf[target] += mintedAmount;
        balanceOf[target] = safeAdd(balanceOf[target], mintedAmount);
        
    }
    
    /// @notice Will allow multiple minting within a single call to save gas.
    /// @param _to_list A list of addresses to mint for.
    /// @param _values The list of values for each respective `_to` address.
    function airdropMinting(address[] _to_list, uint[] _values) payable public  {
        require(msg.sender == owner); // assuming you have a contract owner
        require(_to_list.length == _values.length);
        for (uint i = 0; i < _to_list.length; i++) {
            mintToken(_to_list[i], _values[i]);
        }
    }

    function  freezeAccount(address target, bool freeze) payable public {
        require(msg.sender == owner); // assuming you have a contract owner
        frozenAccount[target] = freeze;
        emit FrozenFunds(target, freeze);
    }
    /**
     * Destroy tokens
     *
     * Remove `_value` tokens from the system irreversibly
     *
     * @param _value the amount of money to burn
     */
    function burn(uint256 _value) payable public  returns (bool success) {
        require(msg.sender == owner); // assuming you have a contract owner
        require(balanceOf[msg.sender] >= _value);   // Check if the sender has enough
        balanceOf[msg.sender] = safeSub(balanceOf[msg.sender], _value);  // Subtract from the sender
        totalSupply = safeSub(totalSupply, _value);   // Updates totalSupply
        emit Burn(msg.sender, _value); //event
        return true;
    }

    /**
     * Destroy tokens from other account
     *
     * Remove `_value` tokens from the system irreversibly on behalf of `_from`.
     *
     * @param _from the address of the sender
     * @param _value the amount of money to burn
     */
    function burnFrom(address _from, uint256 _value) payable public returns (bool success) {
        require(msg.sender == owner); // assuming you have a contract owner
        require(balanceOf[_from] >= _value);                // Check if the targeted balance is enough
        require(_value <= allowance[_from][msg.sender]);    // Check allowance
        balanceOf[_from] = safeSub(balanceOf[_from], _value); // Subtract from the targeted balance
        allowance[_from][msg.sender] = safeSub(allowance[_from][msg.sender], _value); // Subtract from the sender's allowance  
        totalSupply = safeSub(totalSupply, _value);  // Update totalSupply
        emit Burn(_from, _value); //event
        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":"tokens","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"success","type":"bool"}],"payable":true,"stateMutability":"payable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_to_list","type":"address[]"},{"name":"_values","type":"uint256[]"}],"name":"airdropMinting","outputs":[],"payable":true,"stateMutability":"payable","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"mint","outputs":[],"payable":true,"stateMutability":"payable","type":"function"},{"constant":false,"inputs":[{"name":"_value","type":"uint256"}],"name":"burn","outputs":[{"name":"success","type":"bool"}],"payable":true,"stateMutability":"payable","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_from","type":"address"},{"name":"_value","type":"uint256"}],"name":"burnFrom","outputs":[{"name":"success","type":"bool"}],"payable":true,"stateMutability":"payable","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":true,"inputs":[{"name":"a","type":"uint256"},{"name":"b","type":"uint256"}],"name":"safeSub","outputs":[{"name":"c","type":"uint256"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":false,"inputs":[{"name":"to","type":"address"},{"name":"tokens","type":"uint256"}],"name":"transfer","outputs":[{"name":"success","type":"bool"}],"payable":true,"stateMutability":"payable","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"frozenAccount","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"a","type":"uint256"},{"name":"b","type":"uint256"}],"name":"safeDiv","outputs":[{"name":"c","type":"uint256"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_value","type":"uint256"},{"name":"_extraData","type":"bytes"}],"name":"approveAndCall","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"a","type":"uint256"},{"name":"b","type":"uint256"}],"name":"safeMul","outputs":[{"name":"c","type":"uint256"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"},{"name":"","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"owned","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"a","type":"uint256"},{"name":"b","type":"uint256"}],"name":"safeAdd","outputs":[{"name":"c","type":"uint256"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":false,"inputs":[{"name":"target","type":"address"},{"name":"freeze","type":"bool"}],"name":"freezeAccount","outputs":[],"payable":true,"stateMutability":"payable","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"name":"target","type":"address"},{"indexed":false,"name":"frozen","type":"bool"}],"name":"FrozenFunds","type":"event"},{"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"}]

60806040526012600360006101000a81548160ff021916908360ff1602179055503480156200002d57600080fd5b5064012a05f2006040805190810160405280600581526020017f55436f696e0000000000000000000000000000000000000000000000000000008152506040805190810160405280600581526020017f55436f696e000000000000000000000000000000000000000000000000000000815250336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600360009054906101000a900460ff1660ff16600a0a8302600481905550600454600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555081600190805190602001906200015c929190620001e7565b50806002908051906020019062000175929190620001e7565b503373ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6004546040518082815260200191505060405180910390a350505062000296565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200022a57805160ff19168380011785556200025b565b828001600101855582156200025b579182015b828111156200025a5782518255916020019190600101906200023d565b5b5090506200026a91906200026e565b5090565b6200029391905b808211156200028f57600081600090555060010162000275565b5090565b90565b6119aa80620002a66000396000f300608060405260043610610128576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde031461012d578063095ea7b3146101bd57806318160ddd1461022257806323b872dd1461024d578063313ce567146102c55780633ff00ba5146102f657806340c10f191461039257806342966c68146103d257806370a082311461040a57806379cc6790146104615780638da5cb5b146104b957806395d89b4114610510578063a293d1e8146105a0578063a9059cbb146105eb578063b414d4b614610643578063b5931f7c1461069e578063cae9ca51146106e9578063d05c78da14610794578063dd62ed3e146107df578063df32754b14610856578063e6cb90131461086d578063e724529c146108b8575b600080fd5b34801561013957600080fd5b506101426108fa565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610182578082015181840152602081019050610167565b50505050905090810190601f1680156101af5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156101c957600080fd5b50610208600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610998565b604051808215151515815260200191505060405180910390f35b34801561022e57600080fd5b50610237610a25565b6040518082815260200191505060405180910390f35b6102ab600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610a2b565b604051808215151515815260200191505060405180910390f35b3480156102d157600080fd5b506102da610cbb565b604051808260ff1660ff16815260200191505060405180910390f35b6103906004803603810190808035906020019082018035906020019080806020026020016040519081016040528093929190818152602001838360200280828437820191505050505050919291929080359060200190820180359060200190808060200260200160405190810160405280939291908181526020018383602002808284378201915050505050509192919290505050610cce565b005b6103d0600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610d93565b005b6103f060048036038101908080359060200190929190505050610dfc565b604051808215151515815260200191505060405180910390f35b34801561041657600080fd5b5061044b600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610f9c565b6040518082815260200191505060405180910390f35b61049f600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610fb4565b604051808215151515815260200191505060405180910390f35b3480156104c557600080fd5b506104ce6112e6565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561051c57600080fd5b5061052561130b565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561056557808201518184015260208101905061054a565b50505050905090810190601f1680156105925780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156105ac57600080fd5b506105d560048036038101908080359060200190929190803590602001909291905050506113a9565b6040518082815260200191505060405180910390f35b610629600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506113c5565b604051808215151515815260200191505060405180910390f35b34801561064f57600080fd5b50610684600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061154e565b604051808215151515815260200191505060405180910390f35b3480156106aa57600080fd5b506106d3600480360381019080803590602001909291908035906020019092919050505061156e565b6040518082815260200191505060405180910390f35b3480156106f557600080fd5b5061077a600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001908201803590602001908080601f0160208091040260200160405190810160405280939291908181526020018383808284378201915050505050509192919290505050611592565b604051808215151515815260200191505060405180910390f35b3480156107a057600080fd5b506107c96004803603810190808035906020019092919080359060200190929190505050611715565b6040518082815260200191505060405180910390f35b3480156107eb57600080fd5b50610840600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611746565b6040518082815260200191505060405180910390f35b34801561086257600080fd5b5061086b61176b565b005b34801561087957600080fd5b506108a260048036038101908080359060200190929190803590602001909291905050506117ad565b6040518082815260200191505060405180910390f35b6108f8600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035151590602001909291905050506117c9565b005b60018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156109905780601f1061096557610100808354040283529160200191610990565b820191906000526020600020905b81548152906001019060200180831161097357829003601f168201915b505050505081565b600081600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506001905092915050565b60045481565b6000610a76600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054836113a9565b600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610b3f600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054836113a9565b600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610c08600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054836117ad565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b600360009054906101000a900460ff1681565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610d2b57600080fd5b81518351141515610d3b57600080fd5b600090505b8251811015610d8e57610d818382815181101515610d5a57fe5b906020019060200201518383815181101515610d7257fe5b906020019060200201516118ee565b8080600101915050610d40565b505050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610dee57600080fd5b610df882826118ee565b5050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610e5957600080fd5b81600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410151515610ea757600080fd5b610ef0600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054836113a9565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610f3f600454836113a9565b6004819055503373ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5836040518082815260200191505060405180910390a260019050919050565b60056020528060005260406000206000915090505481565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561101157600080fd5b81600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015151561105f57600080fd5b600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111515156110ea57600080fd5b611133600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054836113a9565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506111fc600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054836113a9565b600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611288600454836113a9565b6004819055508273ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5836040518082815260200191505060405180910390a26001905092915050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60028054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156113a15780601f10611376576101008083540402835291602001916113a1565b820191906000526020600020905b81548152906001019060200180831161138457829003601f168201915b505050505081565b60008282111515156113ba57600080fd5b818303905092915050565b6000611410600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054836113a9565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061149c600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054836117ad565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b60076020528060005260406000206000915054906101000a900460ff1681565b6000808211151561157e57600080fd5b818381151561158957fe5b04905092915050565b6000808490506115a28585610998565b1561170c578073ffffffffffffffffffffffffffffffffffffffff16638f4ffcb1338630876040518563ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200180602001828103825283818151815260200191508051906020019080838360005b8381101561169c578082015181840152602081019050611681565b50505050905090810190601f1680156116c95780820380516001836020036101000a031916815260200191505b5095505050505050600060405180830381600087803b1580156116eb57600080fd5b505af11580156116ff573d6000803e3d6000fd5b505050506001915061170d565b5b509392505050565b600081830290506000831480611735575081838281151561173257fe5b04145b151561174057600080fd5b92915050565b6006602052816000526040600020602052806000526040600020600091509150505481565b336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b600081830190508281101515156117c357600080fd5b92915050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561182457600080fd5b80600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055507f48335238b4855f35377ed80f164e8c6f3c366e54ac00b96a6402d4a9814a03a58282604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001821515151581526020019250505060405180910390a15050565b611937600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054826117ad565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555050505600a165627a7a723058206cc985885ad17ef3a109c8b765c31c8cfddf22a9665bfa1001754ef1ab0048fd0029

0x608060405260043610610128576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde031461012d578063095ea7b3146101bd57806318160ddd1461022257806323b872dd1461024d578063313ce567146102c55780633ff00ba5146102f657806340c10f191461039257806342966c68146103d257806370a082311461040a57806379cc6790146104615780638da5cb5b146104b957806395d89b4114610510578063a293d1e8146105a0578063a9059cbb146105eb578063b414d4b614610643578063b5931f7c1461069e578063cae9ca51146106e9578063d05c78da14610794578063dd62ed3e146107df578063df32754b14610856578063e6cb90131461086d578063e724529c146108b8575b600080fd5b34801561013957600080fd5b506101426108fa565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610182578082015181840152602081019050610167565b50505050905090810190601f1680156101af5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156101c957600080fd5b50610208600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610998565b604051808215151515815260200191505060405180910390f35b34801561022e57600080fd5b50610237610a25565b6040518082815260200191505060405180910390f35b6102ab600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610a2b565b604051808215151515815260200191505060405180910390f35b3480156102d157600080fd5b506102da610cbb565b604051808260ff1660ff16815260200191505060405180910390f35b6103906004803603810190808035906020019082018035906020019080806020026020016040519081016040528093929190818152602001838360200280828437820191505050505050919291929080359060200190820180359060200190808060200260200160405190810160405280939291908181526020018383602002808284378201915050505050509192919290505050610cce565b005b6103d0600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610d93565b005b6103f060048036038101908080359060200190929190505050610dfc565b604051808215151515815260200191505060405180910390f35b34801561041657600080fd5b5061044b600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610f9c565b6040518082815260200191505060405180910390f35b61049f600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610fb4565b604051808215151515815260200191505060405180910390f35b3480156104c557600080fd5b506104ce6112e6565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561051c57600080fd5b5061052561130b565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561056557808201518184015260208101905061054a565b50505050905090810190601f1680156105925780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156105ac57600080fd5b506105d560048036038101908080359060200190929190803590602001909291905050506113a9565b6040518082815260200191505060405180910390f35b610629600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506113c5565b604051808215151515815260200191505060405180910390f35b34801561064f57600080fd5b50610684600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061154e565b604051808215151515815260200191505060405180910390f35b3480156106aa57600080fd5b506106d3600480360381019080803590602001909291908035906020019092919050505061156e565b6040518082815260200191505060405180910390f35b3480156106f557600080fd5b5061077a600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001908201803590602001908080601f0160208091040260200160405190810160405280939291908181526020018383808284378201915050505050509192919290505050611592565b604051808215151515815260200191505060405180910390f35b3480156107a057600080fd5b506107c96004803603810190808035906020019092919080359060200190929190505050611715565b6040518082815260200191505060405180910390f35b3480156107eb57600080fd5b50610840600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611746565b6040518082815260200191505060405180910390f35b34801561086257600080fd5b5061086b61176b565b005b34801561087957600080fd5b506108a260048036038101908080359060200190929190803590602001909291905050506117ad565b6040518082815260200191505060405180910390f35b6108f8600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035151590602001909291905050506117c9565b005b60018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156109905780601f1061096557610100808354040283529160200191610990565b820191906000526020600020905b81548152906001019060200180831161097357829003601f168201915b505050505081565b600081600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506001905092915050565b60045481565b6000610a76600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054836113a9565b600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610b3f600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054836113a9565b600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610c08600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054836117ad565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b600360009054906101000a900460ff1681565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610d2b57600080fd5b81518351141515610d3b57600080fd5b600090505b8251811015610d8e57610d818382815181101515610d5a57fe5b906020019060200201518383815181101515610d7257fe5b906020019060200201516118ee565b8080600101915050610d40565b505050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610dee57600080fd5b610df882826118ee565b5050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610e5957600080fd5b81600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410151515610ea757600080fd5b610ef0600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054836113a9565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610f3f600454836113a9565b6004819055503373ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5836040518082815260200191505060405180910390a260019050919050565b60056020528060005260406000206000915090505481565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561101157600080fd5b81600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015151561105f57600080fd5b600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111515156110ea57600080fd5b611133600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054836113a9565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506111fc600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054836113a9565b600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611288600454836113a9565b6004819055508273ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5836040518082815260200191505060405180910390a26001905092915050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60028054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156113a15780601f10611376576101008083540402835291602001916113a1565b820191906000526020600020905b81548152906001019060200180831161138457829003601f168201915b505050505081565b60008282111515156113ba57600080fd5b818303905092915050565b6000611410600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054836113a9565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061149c600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054836117ad565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b60076020528060005260406000206000915054906101000a900460ff1681565b6000808211151561157e57600080fd5b818381151561158957fe5b04905092915050565b6000808490506115a28585610998565b1561170c578073ffffffffffffffffffffffffffffffffffffffff16638f4ffcb1338630876040518563ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200180602001828103825283818151815260200191508051906020019080838360005b8381101561169c578082015181840152602081019050611681565b50505050905090810190601f1680156116c95780820380516001836020036101000a031916815260200191505b5095505050505050600060405180830381600087803b1580156116eb57600080fd5b505af11580156116ff573d6000803e3d6000fd5b505050506001915061170d565b5b509392505050565b600081830290506000831480611735575081838281151561173257fe5b04145b151561174057600080fd5b92915050565b6006602052816000526040600020602052806000526040600020600091509150505481565b336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b600081830190508281101515156117c357600080fd5b92915050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561182457600080fd5b80600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055507f48335238b4855f35377ed80f164e8c6f3c366e54ac00b96a6402d4a9814a03a58282604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001821515151581526020019250505060405180910390a15050565b611937600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054826117ad565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555050505600a165627a7a723058206cc985885ad17ef3a109c8b765c31c8cfddf22a9665bfa1001754ef1ab0048fd0029

5283:3474:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1537:18;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1537:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;1537:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4356:171;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4356:171:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1699:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1699:26:0;;;;;;;;;;;;;;;;;;;;;;;3711:374;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1593:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1593:26:0;;;;;;;;;;;;;;;;;;;;;;;;;;;6525:328;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5915:173;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7271:491;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1783:45;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1783:45:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8025:727;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1064:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1064:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;1564;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1564:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;1564:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;656:116;;8:9:-1;5:2;;;30:1;27;20:12;5:2;656:116:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3138:289;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5333:46;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5333:46:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;914:115;;8:9:-1;5:2;;;30:1;27;20:12;5:2;914:115:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4926:347;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4926:347:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;778:130;;8:9:-1;5:2;;;30:1;27;20:12;5:2;778:130:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1835:66;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1835:66:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1097:64;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1097:64:0;;;;;;534:116;;8:9:-1;5:2;;;30:1;27;20:12;5:2;534:116:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6861:237;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1537:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;4356:171::-;4432:12;4491:6;4457:9;:21;4467:10;4457:21;;;;;;;;;;;;;;;:31;4479:8;4457:31;;;;;;;;;;;;;;;:40;;;;4515:4;4508:11;;4356:171;;;;:::o;1699:26::-;;;;:::o;3711:374::-;3796:12;3839:32;3847:9;:15;3857:4;3847:15;;;;;;;;;;;;;;;;3864:6;3839:7;:32::i;:::-;3821:9;:15;3831:4;3821:15;;;;;;;;;;;;;;;:50;;;;3912:44;3920:9;:15;3930:4;3920:15;;;;;;;;;;;;;;;:27;3936:10;3920:27;;;;;;;;;;;;;;;;3949:6;3912:7;:44::i;:::-;3882:9;:15;3892:4;3882:15;;;;;;;;;;;;;;;:27;3898:10;3882:27;;;;;;;;;;;;;;;:74;;;;3983:30;3991:9;:13;4001:2;3991:13;;;;;;;;;;;;;;;;4006:6;3983:7;:30::i;:::-;3967:9;:13;3977:2;3967:13;;;;;;;;;;;;;;;:46;;;;4044:2;4029:26;;4038:4;4029:26;;;4048:6;4029:26;;;;;;;;;;;;;;;;;;4073:4;4066:11;;3711:374;;;;;:::o;1593:26::-;;;;;;;;;;;;;:::o;6525:328::-;6747:6;6634:5;;;;;;;;;;;6620:19;;:10;:19;;;6612:28;;;;;;;;6716:7;:14;6697:8;:15;:33;6689:42;;;;;;;;6756:1;6747:10;;6742:104;6763:8;:15;6759:1;:19;6742:104;;;6800:34;6810:8;6819:1;6810:11;;;;;;;;;;;;;;;;;;6823:7;6831:1;6823:10;;;;;;;;;;;;;;;;;;6800:9;:34::i;:::-;6780:3;;;;;;;6742:104;;;6525:328;;;:::o;5915:173::-;6003:5;;;;;;;;;;;5989:19;;:10;:19;;;5981:28;;;;;;;;6058:22;6068:3;6073:6;6058:9;:22::i;:::-;5915:173;;:::o;7271:491::-;7326:12;7373:5;;;;;;;;;;;7359:19;;:10;:19;;;7351:28;;;;;;;;7461:6;7436:9;:21;7446:10;7436:21;;;;;;;;;;;;;;;;:31;;7428:40;;;;;;;;7539:38;7547:9;:21;7557:10;7547:21;;;;;;;;;;;;;;;;7570:6;7539:7;:38::i;:::-;7515:9;:21;7525:10;7515:21;;;;;;;;;;;;;;;:62;;;;7631:28;7639:11;;7652:6;7631:7;:28::i;:::-;7617:11;:42;;;;7705:10;7700:24;;;7717:6;7700:24;;;;;;;;;;;;;;;;;;7750:4;7743:11;;7271:491;;;:::o;1783:45::-;;;;;;;;;;;;;;;;;:::o;8025:727::-;8098:12;8145:5;;;;;;;;;;;8131:19;;:10;:19;;;8123:28;;;;;;;;8228:6;8208:9;:16;8218:5;8208:16;;;;;;;;;;;;;;;;:26;;8200:35;;;;;;;;8322:9;:16;8332:5;8322:16;;;;;;;;;;;;;;;:28;8339:10;8322:28;;;;;;;;;;;;;;;;8312:6;:38;;8304:47;;;;;;;;8403:33;8411:9;:16;8421:5;8411:16;;;;;;;;;;;;;;;;8429:6;8403:7;:33::i;:::-;8384:9;:16;8394:5;8384:16;;;;;;;;;;;;;;;:52;;;;8516:45;8524:9;:16;8534:5;8524:16;;;;;;;;;;;;;;;:28;8541:10;8524:28;;;;;;;;;;;;;;;;8554:6;8516:7;:45::i;:::-;8485:9;:16;8495:5;8485:16;;;;;;;;;;;;;;;:28;8502:10;8485:28;;;;;;;;;;;;;;;:76;;;;8628:28;8636:11;;8649:6;8628:7;:28::i;:::-;8614:11;:42;;;;8700:5;8695:19;;;8707:6;8695:19;;;;;;;;;;;;;;;;;;8740:4;8733:11;;8025:727;;;;:::o;1064:20::-;;;;;;;;;;;;;:::o;1564:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;656:116::-;710:6;742:1;737;:6;;729:15;;;;;;;;763:1;759;:5;755:9;;656:116;;;;:::o;3138:289::-;3205:12;3254:38;3262:9;:21;3272:10;3262:21;;;;;;;;;;;;;;;;3285:6;3254:7;:38::i;:::-;3230:9;:21;3240:10;3230:21;;;;;;;;;;;;;;;:62;;;;3319:30;3327:9;:13;3337:2;3327:13;;;;;;;;;;;;;;;;3342:6;3319:7;:30::i;:::-;3303:9;:13;3313:2;3303:13;;;;;;;;;;;;;;;:46;;;;3386:2;3365:32;;3374:10;3365:32;;;3390:6;3365:32;;;;;;;;;;;;;;;;;;3415:4;3408:11;;3138:289;;;;:::o;5333:46::-;;;;;;;;;;;;;;;;;;;;;;:::o;914:115::-;968:6;999:1;995;:5;987:14;;;;;;;;1020:1;1016;:5;;;;;;;;1012:9;;914:115;;;;:::o;4926:347::-;5036:12;5061:22;5101:8;5061:49;;5125:25;5133:8;5143:6;5125:7;:25::i;:::-;5121:145;;;5167:7;:23;;;5191:10;5203:6;5211:4;5217:10;5167:61;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;5167:61:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5167:61:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;5167:61:0;;;;5250:4;5243:11;;;;5121:145;4926:347;;;;;;;:::o;778:130::-;832:6;859:1;855;:5;851:9;;884:1;879;:6;:20;;;;898:1;893;889;:5;;;;;;;;:10;879:20;871:29;;;;;;;;778:130;;;;:::o;1835:66::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1097:64::-;1141:10;1133:5;;:18;;;;;;;;;;;;;;;;;;1097:64::o;534:116::-;588:6;615:1;611;:5;607:9;;640:1;635;:6;;627:15;;;;;;;;534:116;;;;:::o;6861:237::-;6962:5;;;;;;;;;;;6948:19;;:10;:19;;;6940:28;;;;;;;;7041:6;7017:13;:21;7031:6;7017:21;;;;;;;;;;;;;;;;:30;;;;;;;;;;;;;;;;;;7063:27;7075:6;7083;7063:27;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6861:237;;:::o;6097:201::-;6240:40;6248:9;:17;6258:6;6248:17;;;;;;;;;;;;;;;;6267:12;6240:7;:40::i;:::-;6220:9;:17;6230:6;6220:17;;;;;;;;;;;;;;;:60;;;;6097:201;;:::o

bzzr://6cc985885ad17ef3a109c8b765c31c8cfddf22a9665bfa1001754ef1ab0048fd