Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library SafeMath    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function add(uint256 a, uint256 b)  contract ERC20Basic    - function balanceOf(address who)    - function transfer(address to, uint256 ...  contract ERC20 is ERC20Basic    - function allowance(address owner, add ...    - function transferFrom(address from, a ...    - function approve(address spender, uin ...  contract ShortAddressProtection  contract BasicToken is ERC20Basic, ...    - function transfer(address _to, uint25 ...    - function balanceOf(address _owner)  contract StandardToken is ERC20, B ...    - function transferFrom(address _from, ...    - function approve(address _spender, ui ...    - function allowance(address _owner, ad ...    - function increaseApproval(address _sp ...    - function decreaseApproval(address _sp ...  contract Token is StandardToken *    - function Token(address _addr, uint256 ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2022-07-29
*/

pragma solidity ^0.4.20;

/**
 * @title SafeMath
 * @dev Math operations with safety checks that throw on error
 */
library SafeMath {
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }
        uint256 c = a * b;
        assert(c / a == b);
        return c;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        // assert(b > 0); // Solidity automatically throws when dividing by 0
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold
        return c;
    }

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

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

/**
 * @title ERC20Basic
 * @dev Simpler version of ERC20 interface
 * @dev see https://github.com/ethereum/EIPs/issues/179
 */
contract ERC20Basic {
    uint256 public totalSupply;

    function balanceOf(address who) public view returns (uint256);

    function transfer(address to, uint256 value) public returns (bool);

    event Transfer(address indexed from, address indexed to, uint256 value);
}


/**
 * @title ERC20 interface
 * @dev see https://github.com/ethereum/EIPs/issues/20
 */
contract ERC20 is ERC20Basic {
    function allowance(address owner, address spender) public view returns (uint256);

    function transferFrom(address from, address to, uint256 value) public returns (bool);

    function approve(address spender, uint256 value) public returns (bool);

    event Approval(address indexed owner, address indexed spender, uint256 value);
}

contract ShortAddressProtection {

    modifier onlyPayloadSize(uint256 numwords) {
        assert(msg.data.length >= numwords * 32 + 4);
        _;
    }
}

/**
 * @title Basic token
 * @dev Basic version of StandardToken, with no allowances.
 */
contract BasicToken is ERC20Basic, ShortAddressProtection {
    using SafeMath for uint256;

    mapping(address => uint256) internal balances;

    /**
    * @dev transfer token for a specified address
    * @param _to The address to transfer to.
    * @param _value The amount to be transferred.
    */
    function transfer(address _to, uint256 _value) onlyPayloadSize(2) public returns (bool) {
        require(_to != address(0));
        require(_value <= balances[msg.sender]);

        // SafeMath.sub will throw if there is not enough balance.
        balances[msg.sender] = balances[msg.sender].sub(_value);
        balances[_to] = balances[_to].add(_value);
        Transfer(msg.sender, _to, _value);
        return true;
    }

    /**
    * @dev Gets the balance of the specified address.
    * @param _owner The address to query the the balance of.
    * @return An uint256 representing the amount owned by the passed address.
    */
    function balanceOf(address _owner) public view returns (uint256 balance) {
        return balances[_owner];
    }

}

/**
 * @title Standard ERC20 token
 *
 * @dev Implementation of the basic standard token.
 * @dev https://github.com/ethereum/EIPs/issues/20
 * @dev Based on code by FirstBlood: https://github.com/Firstbloodio/token/blob/master/smart_contract/FirstBloodToken.sol
 */
contract StandardToken is ERC20, BasicToken {

    mapping(address => mapping(address => uint256)) internal allowed;


    /**
     * @dev Transfer tokens from one address to another
     * @param _from address The address which you want to send tokens from
     * @param _to address The address which you want to transfer to
     * @param _value uint256 the amount of tokens to be transferred
     */
    function transferFrom(address _from, address _to, uint256 _value) onlyPayloadSize(3) public returns (bool) {
        require(_to != address(0));
        require(_value <= balances[_from]);
        require(_value <= allowed[_from][msg.sender]);

        balances[_from] = balances[_from].sub(_value);
        balances[_to] = balances[_to].add(_value);
        allowed[_from][msg.sender] = allowed[_from][msg.sender].sub(_value);
        Transfer(_from, _to, _value);
        return true;
    }

    /**
     * @dev Approve the passed address to spend the specified amount of tokens on behalf of msg.sender.
     *
     * Beware that changing an allowance with this method brings the risk that someone may use both the old
     * and the new allowance by unfortunate transaction ordering. One possible solution to mitigate this
     * race condition is to first reduce the spender's allowance to 0 and set the desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     * @param _spender The address which will spend the funds.
     * @param _value The amount of tokens to be spent.
     */
    function approve(address _spender, uint256 _value) onlyPayloadSize(2) public returns (bool) {
        //require user to set to zero before resetting to nonzero
        require((_value == 0) || (allowed[msg.sender][_spender] == 0));

        allowed[msg.sender][_spender] = _value;
        Approval(msg.sender, _spender, _value);
        return true;
    }

    /**
     * @dev Function to check the amount of tokens that an owner allowed to a spender.
     * @param _owner address The address which owns the funds.
     * @param _spender address The address which will spend the funds.
     * @return A uint256 specifying the amount of tokens still available for the spender.
     */
    function allowance(address _owner, address _spender) public view returns (uint256) {
        return allowed[_owner][_spender];
    }

    /**
     * @dev Increase the amount of tokens that an owner allowed to a spender.
     *
     * approve should be called when allowed[_spender] == 0. To increment
     * allowed value is better to use this function to avoid 2 calls (and wait until
     * the first transaction is mined)
     * From MonolithDAO Token.sol
     * @param _spender The address which will spend the funds.
     * @param _addedValue The amount of tokens to increase the allowance by.
     */
    function increaseApproval(address _spender, uint _addedValue) onlyPayloadSize(2) public returns (bool) {
        allowed[msg.sender][_spender] = allowed[msg.sender][_spender].add(_addedValue);
        Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
        return true;
    }

    /**
     * @dev Decrease the amount of tokens that an owner allowed to a spender.
     *
     * approve should be called when allowed[_spender] == 0. To decrement
     * allowed value is better to use this function to avoid 2 calls (and wait until
     * the first transaction is mined)
     * From MonolithDAO Token.sol
     * @param _spender The address which will spend the funds.
     * @param _subtractedValue The amount of tokens to decrease the allowance by.
     */
    function decreaseApproval(address _spender, uint _subtractedValue) onlyPayloadSize(2) public returns (bool) {
        uint oldValue = allowed[msg.sender][_spender];
        if (_subtractedValue > oldValue) {
            allowed[msg.sender][_spender] = 0;
        } else {
            allowed[msg.sender][_spender] = oldValue.sub(_subtractedValue);
        }
        Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
        return true;
    }
}

contract Token is StandardToken {
    string public constant name = "ALFweb3Project";
    string public constant symbol = "ALFw3";
    uint8 public constant decimals = 18;

    function Token(address _addr, uint256 value) public {
        require(value > 0);
        balances[_addr] = value;
        Transfer(address(0), _addr, value);
        totalSupply = value;
    }
}

• 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":"","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":"","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":"_spender","type":"address"},{"name":"_subtractedValue","type":"uint256"}],"name":"decreaseApproval","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"balance","type":"uint256"}],"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":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_addedValue","type":"uint256"}],"name":"increaseApproval","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"},{"name":"_spender","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[{"name":"_addr","type":"address"},{"name":"value","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"name":"owner","type":"address"},{"indexed":true,"name":"spender","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Approval","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"}]

6060604052341561000f57600080fd5b60405160408061095e83398101604052808051919060200180519150506000811161003957600080fd5b600160a060020a0382166000818152600160205260408082208490557fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9084905190815260200160405180910390a3600055506108c38061009b6000396000f3006060604052600436106100ae5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100b3578063095ea7b31461013d57806318160ddd1461017357806323b872dd14610198578063313ce567146101c057806366188463146101e957806370a082311461020b57806395d89b411461022a578063a9059cbb1461023d578063d73dd6231461025f578063dd62ed3e14610281575b600080fd5b34156100be57600080fd5b6100c66102a6565b60405160208082528190810183818151815260200191508051906020019080838360005b838110156101025780820151838201526020016100ea565b50505050905090810190601f16801561012f5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561014857600080fd5b61015f600160a060020a03600435166024356102dd565b604051901515815260200160405180910390f35b341561017e57600080fd5b610186610391565b60405190815260200160405180910390f35b34156101a357600080fd5b61015f600160a060020a0360043581169060243516604435610397565b34156101cb57600080fd5b6101d3610527565b60405160ff909116815260200160405180910390f35b34156101f457600080fd5b61015f600160a060020a036004351660243561052c565b341561021657600080fd5b610186600160a060020a0360043516610637565b341561023557600080fd5b6100c6610652565b341561024857600080fd5b61015f600160a060020a0360043516602435610689565b341561026a57600080fd5b61015f600160a060020a0360043516602435610792565b341561028c57600080fd5b610186600160a060020a0360043581169060243516610844565b60408051908101604052600e81527f414c467765623350726f6a656374000000000000000000000000000000000000602082015281565b6000600260443610156102ec57fe5b82158061031c5750600160a060020a03338116600090815260026020908152604080832093881683529290522054155b151561032757600080fd5b600160a060020a03338116600081815260026020908152604080832094891680845294909152908190208690557f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259086905190815260200160405180910390a35060019392505050565b60005481565b6000600360643610156103a657fe5b600160a060020a03841615156103bb57600080fd5b600160a060020a0385166000908152600160205260409020548311156103e057600080fd5b600160a060020a038086166000908152600260209081526040808320339094168352929052205483111561041357600080fd5b600160a060020a03851660009081526001602052604090205461043c908463ffffffff61086f16565b600160a060020a038087166000908152600160205260408082209390935590861681522054610471908463ffffffff61088116565b600160a060020a038086166000908152600160209081526040808320949094558883168252600281528382203390931682529190915220546104b9908463ffffffff61086f16565b600160a060020a03808716600081815260026020908152604080832033861684529091529081902093909355908616917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9086905190815260200160405180910390a3506001949350505050565b601281565b6000806002604436101561053c57fe5b600160a060020a0333811660009081526002602090815260408083209389168352929052205491508184111561059957600160a060020a0333811660009081526002602090815260408083209389168352929052908120556105d0565b6105a9828563ffffffff61086f16565b600160a060020a033381166000908152600260209081526040808320938a16835292905220555b600160a060020a033381166000818152600260209081526040808320948a168084529490915290819020547f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925915190815260200160405180910390a3506001949350505050565b600160a060020a031660009081526001602052604090205490565b60408051908101604052600581527f414c467733000000000000000000000000000000000000000000000000000000602082015281565b60006002604436101561069857fe5b600160a060020a03841615156106ad57600080fd5b600160a060020a0333166000908152600160205260409020548311156106d257600080fd5b600160a060020a0333166000908152600160205260409020546106fb908463ffffffff61086f16565b600160a060020a033381166000908152600160205260408082209390935590861681522054610730908463ffffffff61088116565b600160a060020a0380861660008181526001602052604090819020939093559133909116907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9086905190815260200160405180910390a35060019392505050565b6000600260443610156107a157fe5b600160a060020a033381166000908152600260209081526040808320938816835292905220546107d7908463ffffffff61088116565b600160a060020a033381166000818152600260209081526040808320948a168084529490915290819020849055919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591905190815260200160405180910390a35060019392505050565b600160a060020a03918216600090815260026020908152604080832093909416825291909152205490565b60008282111561087b57fe5b50900390565b60008282018381101561089057fe5b93925050505600a165627a7a72305820426efb929e2b222bbf5ac018a6da3d9adc667f9c92ded8c3d907a3db2a4e732f00290000000000000000000000007d17ea8570a784da3bea2fba605d68f96fe0114b00000000000000000000000000000000000000000000a968163f0a57b4000000

0x6060604052600436106100ae5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100b3578063095ea7b31461013d57806318160ddd1461017357806323b872dd14610198578063313ce567146101c057806366188463146101e957806370a082311461020b57806395d89b411461022a578063a9059cbb1461023d578063d73dd6231461025f578063dd62ed3e14610281575b600080fd5b34156100be57600080fd5b6100c66102a6565b60405160208082528190810183818151815260200191508051906020019080838360005b838110156101025780820151838201526020016100ea565b50505050905090810190601f16801561012f5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561014857600080fd5b61015f600160a060020a03600435166024356102dd565b604051901515815260200160405180910390f35b341561017e57600080fd5b610186610391565b60405190815260200160405180910390f35b34156101a357600080fd5b61015f600160a060020a0360043581169060243516604435610397565b34156101cb57600080fd5b6101d3610527565b60405160ff909116815260200160405180910390f35b34156101f457600080fd5b61015f600160a060020a036004351660243561052c565b341561021657600080fd5b610186600160a060020a0360043516610637565b341561023557600080fd5b6100c6610652565b341561024857600080fd5b61015f600160a060020a0360043516602435610689565b341561026a57600080fd5b61015f600160a060020a0360043516602435610792565b341561028c57600080fd5b610186600160a060020a0360043581169060243516610844565b60408051908101604052600e81527f414c467765623350726f6a656374000000000000000000000000000000000000602082015281565b6000600260443610156102ec57fe5b82158061031c5750600160a060020a03338116600090815260026020908152604080832093881683529290522054155b151561032757600080fd5b600160a060020a03338116600081815260026020908152604080832094891680845294909152908190208690557f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259086905190815260200160405180910390a35060019392505050565b60005481565b6000600360643610156103a657fe5b600160a060020a03841615156103bb57600080fd5b600160a060020a0385166000908152600160205260409020548311156103e057600080fd5b600160a060020a038086166000908152600260209081526040808320339094168352929052205483111561041357600080fd5b600160a060020a03851660009081526001602052604090205461043c908463ffffffff61086f16565b600160a060020a038087166000908152600160205260408082209390935590861681522054610471908463ffffffff61088116565b600160a060020a038086166000908152600160209081526040808320949094558883168252600281528382203390931682529190915220546104b9908463ffffffff61086f16565b600160a060020a03808716600081815260026020908152604080832033861684529091529081902093909355908616917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9086905190815260200160405180910390a3506001949350505050565b601281565b6000806002604436101561053c57fe5b600160a060020a0333811660009081526002602090815260408083209389168352929052205491508184111561059957600160a060020a0333811660009081526002602090815260408083209389168352929052908120556105d0565b6105a9828563ffffffff61086f16565b600160a060020a033381166000908152600260209081526040808320938a16835292905220555b600160a060020a033381166000818152600260209081526040808320948a168084529490915290819020547f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925915190815260200160405180910390a3506001949350505050565b600160a060020a031660009081526001602052604090205490565b60408051908101604052600581527f414c467733000000000000000000000000000000000000000000000000000000602082015281565b60006002604436101561069857fe5b600160a060020a03841615156106ad57600080fd5b600160a060020a0333166000908152600160205260409020548311156106d257600080fd5b600160a060020a0333166000908152600160205260409020546106fb908463ffffffff61086f16565b600160a060020a033381166000908152600160205260408082209390935590861681522054610730908463ffffffff61088116565b600160a060020a0380861660008181526001602052604090819020939093559133909116907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9086905190815260200160405180910390a35060019392505050565b6000600260443610156107a157fe5b600160a060020a033381166000908152600260209081526040808320938816835292905220546107d7908463ffffffff61088116565b600160a060020a033381166000818152600260209081526040808320948a168084529490915290819020849055919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591905190815260200160405180910390a35060019392505050565b600160a060020a03918216600090815260026020908152604080832093909416825291909152205490565b60008282111561087b57fe5b50900390565b60008282018381101561089057fe5b93925050505600a165627a7a72305820426efb929e2b222bbf5ac018a6da3d9adc667f9c92ded8c3d907a3db2a4e732f0029

0000000000000000000000007d17ea8570a784da3bea2fba605d68f96fe0114b00000000000000000000000000000000000000000000a968163f0a57b4000000

-----Decoded View---------------
Arg [0] : _addr (address): 0x7D17eA8570a784DA3bEa2fbA605d68F96FE0114B
Arg [1] : value (uint256): 800000000000000000000000

-----Encoded View---------------
2 Constructor Arguments found :
Arg [0] : 0000000000000000000000007d17ea8570a784da3bea2fba605d68f96fe0114b
Arg [1] : 00000000000000000000000000000000000000000000a968163f0a57b4000000

7639:383:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7678:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;7678:46:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5050:362;;;;;;;;;;-1:-1:-1;;;;;5050:362:0;;;;;;;;;;;;;;;;;;;;;;;;1103:26;;;;;;;;;;;;;;;;;;;;;;;;;;;3891:502;;;;;;;;;;-1:-1:-1;;;;;3891:502:0;;;;;;;;;;;;7777:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7168:464;;;;;;;;;;-1:-1:-1;;;;;7168:464:0;;;;;;;3076:115;;;;;;;;;;-1:-1:-1;;;;;3076:115:0;;;;;7731:39;;;;;;;;;;;;2418:437;;;;;;;;;;-1:-1:-1;;;;;2418:437:0;;;;;;;6378:294;;;;;;;;;;-1:-1:-1;;;;;6378:294:0;;;;;;;5753:134;;;;;;;;;;-1:-1:-1;;;;;5753:134:0;;;;;;;;;;7678:46;;;;;;;;;;;;;;;;;;:::o;5050:362::-;5136:4;5117:1;1960:17;1941:8;:36;;1934:44;;;;5229:11;;;5228:53;;-1:-1:-1;;;;;;5254:10:0;5246:19;;;;;;:7;:19;;;;;;;;:29;;;;;;;;;;:34;5228:53;5220:62;;;;;;;;-1:-1:-1;;;;;5303:10:0;5295:19;;;;;;:7;:19;;;;;;;;:29;;;;;;;;;;;;;;:38;;;5344;;5327:6;;5344:38;;;;;;;;;;;;;-1:-1:-1;5400:4:0;;5050:362;-1:-1:-1;;;5050:362:0:o;1103:26::-;;;;:::o;3891:502::-;3992:4;3973:1;1960:17;1941:8;:36;;1934:44;;;;-1:-1:-1;;;;;4017:17:0;;;;4009:26;;;;;;-1:-1:-1;;;;;4064:15:0;;;;;;:8;:15;;;;;;4054:25;;;4046:34;;;;;;-1:-1:-1;;;;;4109:14:0;;;;;;;:7;:14;;;;;;;;4124:10;4109:26;;;;;;;;;;4099:36;;;4091:45;;;;;;-1:-1:-1;;;;;4167:15:0;;;;;;:8;:15;;;;;;:27;;4187:6;4167:27;:19;:27;:::i;:::-;-1:-1:-1;;;;;4149:15:0;;;;;;;:8;:15;;;;;;:45;;;;4221:13;;;;;;;:25;;4239:6;4221:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;4205:13:0;;;;;;;:8;:13;;;;;;;;:41;;;;4286:14;;;;;:7;:14;;;;;4301:10;4286:26;;;;;;;;;;;:38;;4317:6;4286:38;:30;:38;:::i;:::-;-1:-1:-1;;;;;4257:14:0;;;;;;;:7;:14;;;;;;;;4272:10;4257:26;;;;;;;;;;;:67;;;;4335:28;;;;;;4356:6;;4335:28;;;;;;;;;;;;;-1:-1:-1;4381:4:0;;3891:502;-1:-1:-1;;;;3891:502:0:o;7777:35::-;7810:2;7777:35;:::o;7168:464::-;7270:4;;7251:1;1960:17;1941:8;:36;;1934:44;;;;-1:-1:-1;;;;;7311:10:0;7303:19;;;;;;:7;:19;;;;;;;;:29;;;;;;;;;;;-1:-1:-1;7347:27:0;;;7343:188;;;-1:-1:-1;;;;;7399:10:0;7391:19;;7423:1;7391:19;;;:7;:19;;;;;;;;:29;;;;;;;;;;;:33;7343:188;;;7489:30;:8;7502:16;7489:30;:12;:30;:::i;:::-;-1:-1:-1;;;;;7465:10:0;7457:19;;;;;;:7;:19;;;;;;;;:29;;;;;;;;;:62;7343:188;-1:-1:-1;;;;;7550:10:0;7541:61;;7572:19;;;;:7;:19;;;;;;;;7541:61;;;7572:29;;;;;;;;;;;;7541:61;;;;;;;;;;;;;;;-1:-1:-1;7620:4:0;;7168:464;-1:-1:-1;;;;7168:464:0:o;3076:115::-;-1:-1:-1;;;;;3167:16:0;3132:15;3167:16;;;:8;:16;;;;;;;3076:115::o;7731:39::-;;;;;;;;;;;;;;;;;;:::o;2418:437::-;2500:4;2481:1;1960:17;1941:8;:36;;1934:44;;;;-1:-1:-1;;;;;2525:17:0;;;;2517:26;;;;;;-1:-1:-1;;;;;2581:10:0;2572:20;;;;;:8;:20;;;;;;2562:30;;;2554:39;;;;;;-1:-1:-1;;;;;2706:10:0;2697:20;;;;;:8;:20;;;;;;:32;;2722:6;2697:32;:24;:32;:::i;:::-;-1:-1:-1;;;;;2683:10:0;2674:20;;;;;;:8;:20;;;;;;:55;;;;2756:13;;;;;;;:25;;2774:6;2756:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;2740:13:0;;;;;;;:8;:13;;;;;;;:41;;;;:13;2801:10;2792:33;;;;;;2818:6;;2792:33;;;;;;;;;;;;;-1:-1:-1;2843:4:0;;2418:437;-1:-1:-1;;;2418:437:0:o;6378:294::-;6475:4;6456:1;1960:17;1941:8;:36;;1934:44;;;;-1:-1:-1;;;;;6532:10:0;6524:19;;;;;;:7;:19;;;;;;;;:29;;;;;;;;;;:46;;6558:11;6524:46;:33;:46;:::i;:::-;-1:-1:-1;;;;;6500:10:0;6492:19;;;;;;:7;:19;;;;;;;;:29;;;;;;;;;;;;;;:78;;;:29;;:19;;6581:61;;6492:78;6581:61;;;;;;;;;;;;;-1:-1:-1;6660:4:0;;6378:294;-1:-1:-1;;;6378:294:0:o;5753:134::-;-1:-1:-1;;;;;5854:15:0;;;5827:7;5854:15;;;:7;:15;;;;;;;;:25;;;;;;;;;;;;;5753:134::o;658:123::-;716:7;743:6;;;;736:14;;;;-1:-1:-1;768:5:0;;;658:123::o;789:147::-;847:7;879:5;;;902:6;;;;895:14;;;;927:1;789:147;-1:-1:-1;;;789:147:0:o

bzzr://426efb929e2b222bbf5ac018a6da3d9adc667f9c92ded8c3d907a3db2a4e732f