Contract Source Code (Solidity)Audit Report

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-05-16
*/

pragma solidity ^0.5.0;

//
// Copyright (c) 2019 BOS Platform Foundation
//
// https://github.com/bpfkorea/bosagora-erc20
//

interface IERC20 {
    function transfer(address to, uint256 value) external returns (bool);

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

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

    function totalSupply() external view returns (uint256);

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

    function allowance(address owner, address spender) external view returns (uint256);

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

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

library SafeMath {
    /**
     * @dev Multiplies two unsigned integers, reverts on overflow.
     */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
        // benefit is lost if 'b' is also tested.
        // See: https://github.com/OpenZeppelin/openzeppelin-solidity/pull/522
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");

        return c;
    }

    /**
     * @dev Integer division of two unsigned integers truncating the quotient, reverts on division by zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        // Solidity only automatically asserts when dividing by 0
        require(b > 0, "SafeMath: division by zero");
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold

        return c;
    }

    /**
     * @dev Subtracts two unsigned integers, reverts on overflow (i.e. if subtrahend is greater than minuend).
     */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b <= a, "SafeMath: subtraction overflow");
        uint256 c = a - b;

        return c;
    }

    /**
     * @dev Adds two unsigned integers, reverts on overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }

    /**
     * @dev Divides two unsigned integers and returns the remainder (unsigned integer modulo),
     * reverts when dividing by zero.
     */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b != 0, "SafeMath: modulo by zero");
        return a % b;
    }
}

contract ERC20 is IERC20 {
    using SafeMath for uint256;

    mapping (address => uint256) private _balances;

    mapping (address => mapping (address => uint256)) private _allowances;

    uint256 private _totalSupply;

    /**
     * @dev Total number of tokens in existence.
     */
    function totalSupply() public view returns (uint256) {
        return _totalSupply;
    }

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

    /**
     * @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 _allowances[owner][spender];
    }

    /**
     * @dev Transfer token to a specified address.
     * @param to The address to transfer to.
     * @param value The amount to be transferred.
     */
    function transfer(address to, uint256 value) public returns (bool) {
        _transfer(msg.sender, 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) public returns (bool) {
        _approve(msg.sender, spender, value);
        return true;
    }

    /**
     * @dev Transfer tokens from one address to another.
     * Note that while this function emits an Approval event, this is not required as per the specification,
     * and other compliant implementations may not emit the event.
     * @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) public returns (bool) {
        _transfer(from, to, value);
        _approve(from, msg.sender, _allowances[from][msg.sender].sub(value));
        return true;
    }

    /**
     * @dev Increase the amount of tokens that an owner allowed to a spender.
     * approve should be called when _allowances[msg.sender][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
     * Emits an Approval event.
     * @param spender The address which will spend the funds.
     * @param addedValue The amount of tokens to increase the allowance by.
     */
    function increaseAllowance(address spender, uint256 addedValue) public returns (bool) {
        _approve(msg.sender, spender, _allowances[msg.sender][spender].add(addedValue));
        return true;
    }

    /**
     * @dev Decrease the amount of tokens that an owner allowed to a spender.
     * approve should be called when _allowances[msg.sender][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
     * Emits an Approval event.
     * @param spender The address which will spend the funds.
     * @param subtractedValue The amount of tokens to decrease the allowance by.
     */
    function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {
        _approve(msg.sender, spender, _allowances[msg.sender][spender].sub(subtractedValue));
        return true;
    }

    /**
     * @dev Transfer token for a specified addresses.
     * @param from The address to transfer from.
     * @param to The address to transfer to.
     * @param value The amount to be transferred.
     */
    function _transfer(address from, address to, uint256 value) internal {
        require(to != address(0), "ERC20: transfer to the zero address");

        _balances[from] = _balances[from].sub(value);
        _balances[to] = _balances[to].add(value);
        emit Transfer(from, to, value);
    }

    /**
     * @dev Internal function that mints an amount of the token and assigns it to
     * an account. This encapsulates the modification of balances such that the
     * proper events are emitted.
     * @param account The account that will receive the created tokens.
     * @param value The amount that will be created.
     */
    function _mint(address account, uint256 value) internal {
        require(account != address(0), "ERC20: mint to the zero address");

        _totalSupply = _totalSupply.add(value);
        _balances[account] = _balances[account].add(value);
        emit Transfer(address(0), account, value);
    }

    /**
     * @dev Internal function that burns an amount of the token of a given
     * account.
     * @param account The account whose tokens will be burnt.
     * @param value The amount that will be burnt.
     */
    function _burn(address account, uint256 value) internal {
        require(account != address(0), "ERC20: burn from the zero address");

        _totalSupply = _totalSupply.sub(value);
        _balances[account] = _balances[account].sub(value);
        emit Transfer(account, address(0), value);
    }

    /**
     * @dev Approve an address to spend another addresses' tokens.
     * @param owner The address that owns the tokens.
     * @param spender The address that will spend the tokens.
     * @param value The number of tokens that can be spent.
     */
    function _approve(address owner, address spender, uint256 value) internal {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

        _allowances[owner][spender] = value;
        emit Approval(owner, spender, value);
    }

    /**
     * @dev Internal function that burns an amount of the token of a given
     * account, deducting from the sender's allowance for said account. Uses the
     * internal burn function.
     * Emits an Approval event (reflecting the reduced allowance).
     * @param account The account whose tokens will be burnt.
     * @param value The amount that will be burnt.
     */
    function _burnFrom(address account, uint256 value) internal {
        _burn(account, value);
        _approve(account, msg.sender, _allowances[account][msg.sender].sub(value));
    }
}

contract ERC20Detailed is IERC20 {
    string private _name;
    string private _symbol;
    uint8 private _decimals;

    constructor (string memory name, string memory symbol, uint8 decimals) public {
        _name = name;
        _symbol = symbol;
        _decimals = decimals;
    }

    /**
     * @return the name of the token.
     */
    function name() public view returns (string memory) {
        return _name;
    }

    /**
     * @return the symbol of the token.
     */
    function symbol() public view returns (string memory) {
        return _symbol;
    }

    /**
     * @return the number of decimals of the token.
     */
    function decimals() public view returns (uint8) {
        return _decimals;
    }
}

contract BOSAGORA is ERC20, ERC20Detailed {
    uint8 public constant DECIMALS = 7;
    uint256 public constant INITIAL_SUPPLY = 5421301301958463;

    constructor () public ERC20Detailed("BOSAGORA", "BOA", DECIMALS) {
        _mint(msg.sender, INITIAL_SUPPLY);
    }
}

• Certik - January 6th, 2020 - 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":"","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":true,"inputs":[],"name":"INITIAL_SUPPLY","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","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":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"","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":"spender","type":"address"},{"name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","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":true,"inputs":[{"name":"owner","type":"address"},{"name":"spender","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[],"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":"owner","type":"address"},{"indexed":true,"name":"spender","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Approval","type":"event"}]

608060405234801561001057600080fd5b50604080518082018252600881527f424f5341474f52410000000000000000000000000000000000000000000000006020808301918252835180850190945260038085527f424f41000000000000000000000000000000000000000000000000000000000091850191909152825192939260079261008e929161026e565b5081516100a290600490602085019061026e565b506005805460ff191660ff92909216919091179055506100d4905033661342a51252d73f6401000000006100d9810204565b610309565b600160a060020a038216151561015057604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015290519081900360640190fd5b60025461016a90826401000000006108e66101f382021704565b600255600160a060020a03821660009081526020819052604090205461019d90826401000000006108e66101f382021704565b600160a060020a0383166000818152602081815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b60008282018381101561026757604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b9392505050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106102af57805160ff19168380011785556102dc565b828001600101855582156102dc579182015b828111156102dc5782518255916020019190600101906102c1565b506102e89291506102ec565b5090565b61030691905b808211156102e857600081556001016102f2565b90565b61097680620003196000396000f3fe6080604052600436106100c45763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100c9578063095ea7b31461015357806318160ddd146101a057806323b872dd146101c75780632e0f26251461020a5780632ff2e9dc14610235578063313ce5671461024a578063395093511461025f57806370a082311461029857806395d89b41146102cb578063a457c2d7146102e0578063a9059cbb14610319578063dd62ed3e14610352575b600080fd5b3480156100d557600080fd5b506100de61038d565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610118578181015183820152602001610100565b50505050905090810190601f1680156101455780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561015f57600080fd5b5061018c6004803603604081101561017657600080fd5b50600160a060020a038135169060200135610423565b604080519115158252519081900360200190f35b3480156101ac57600080fd5b506101b5610439565b60408051918252519081900360200190f35b3480156101d357600080fd5b5061018c600480360360608110156101ea57600080fd5b50600160a060020a0381358116916020810135909116906040013561043f565b34801561021657600080fd5b5061021f610496565b6040805160ff9092168252519081900360200190f35b34801561024157600080fd5b506101b561049b565b34801561025657600080fd5b5061021f6104a6565b34801561026b57600080fd5b5061018c6004803603604081101561028257600080fd5b50600160a060020a0381351690602001356104af565b3480156102a457600080fd5b506101b5600480360360208110156102bb57600080fd5b5035600160a060020a03166104eb565b3480156102d757600080fd5b506100de610506565b3480156102ec57600080fd5b5061018c6004803603604081101561030357600080fd5b50600160a060020a038135169060200135610567565b34801561032557600080fd5b5061018c6004803603604081101561033c57600080fd5b50600160a060020a0381351690602001356105a3565b34801561035e57600080fd5b506101b56004803603604081101561037557600080fd5b50600160a060020a03813581169160200135166105b0565b60038054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156104195780601f106103ee57610100808354040283529160200191610419565b820191906000526020600020905b8154815290600101906020018083116103fc57829003601f168201915b5050505050905090565b60006104303384846105db565b50600192915050565b60025490565b600061044c848484610748565b600160a060020a03841660009081526001602090815260408083203380855292529091205461048c918691610487908663ffffffff61088616565b6105db565b5060019392505050565b600781565b661342a51252d73f81565b60055460ff1690565b336000818152600160209081526040808320600160a060020a03871684529091528120549091610430918590610487908663ffffffff6108e616565b600160a060020a031660009081526020819052604090205490565b60048054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156104195780601f106103ee57610100808354040283529160200191610419565b336000818152600160209081526040808320600160a060020a03871684529091528120549091610430918590610487908663ffffffff61088616565b6000610430338484610748565b600160a060020a03918216600090815260016020908152604080832093909416825291909152205490565b600160a060020a0383161515610660576040805160e560020a62461bcd028152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460448201527f7265737300000000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b600160a060020a03821615156106e6576040805160e560020a62461bcd02815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f20616464726560448201527f7373000000000000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b600160a060020a03808416600081815260016020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b600160a060020a03821615156107ce576040805160e560020a62461bcd02815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201527f6573730000000000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b600160a060020a0383166000908152602081905260409020546107f7908263ffffffff61088616565b600160a060020a03808516600090815260208190526040808220939093559084168152205461082c908263ffffffff6108e616565b600160a060020a038084166000818152602081815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b6000828211156108e0576040805160e560020a62461bcd02815260206004820152601e60248201527f536166654d6174683a207375627472616374696f6e206f766572666c6f770000604482015290519081900360640190fd5b50900390565b600082820183811015610943576040805160e560020a62461bcd02815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b939250505056fea165627a7a72305820186f246765302075551cded700764879216a802a0bf1860ce73f843368511f3d0029

0x6080604052600436106100c45763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100c9578063095ea7b31461015357806318160ddd146101a057806323b872dd146101c75780632e0f26251461020a5780632ff2e9dc14610235578063313ce5671461024a578063395093511461025f57806370a082311461029857806395d89b41146102cb578063a457c2d7146102e0578063a9059cbb14610319578063dd62ed3e14610352575b600080fd5b3480156100d557600080fd5b506100de61038d565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610118578181015183820152602001610100565b50505050905090810190601f1680156101455780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561015f57600080fd5b5061018c6004803603604081101561017657600080fd5b50600160a060020a038135169060200135610423565b604080519115158252519081900360200190f35b3480156101ac57600080fd5b506101b5610439565b60408051918252519081900360200190f35b3480156101d357600080fd5b5061018c600480360360608110156101ea57600080fd5b50600160a060020a0381358116916020810135909116906040013561043f565b34801561021657600080fd5b5061021f610496565b6040805160ff9092168252519081900360200190f35b34801561024157600080fd5b506101b561049b565b34801561025657600080fd5b5061021f6104a6565b34801561026b57600080fd5b5061018c6004803603604081101561028257600080fd5b50600160a060020a0381351690602001356104af565b3480156102a457600080fd5b506101b5600480360360208110156102bb57600080fd5b5035600160a060020a03166104eb565b3480156102d757600080fd5b506100de610506565b3480156102ec57600080fd5b5061018c6004803603604081101561030357600080fd5b50600160a060020a038135169060200135610567565b34801561032557600080fd5b5061018c6004803603604081101561033c57600080fd5b50600160a060020a0381351690602001356105a3565b34801561035e57600080fd5b506101b56004803603604081101561037557600080fd5b50600160a060020a03813581169160200135166105b0565b60038054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156104195780601f106103ee57610100808354040283529160200191610419565b820191906000526020600020905b8154815290600101906020018083116103fc57829003601f168201915b5050505050905090565b60006104303384846105db565b50600192915050565b60025490565b600061044c848484610748565b600160a060020a03841660009081526001602090815260408083203380855292529091205461048c918691610487908663ffffffff61088616565b6105db565b5060019392505050565b600781565b661342a51252d73f81565b60055460ff1690565b336000818152600160209081526040808320600160a060020a03871684529091528120549091610430918590610487908663ffffffff6108e616565b600160a060020a031660009081526020819052604090205490565b60048054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156104195780601f106103ee57610100808354040283529160200191610419565b336000818152600160209081526040808320600160a060020a03871684529091528120549091610430918590610487908663ffffffff61088616565b6000610430338484610748565b600160a060020a03918216600090815260016020908152604080832093909416825291909152205490565b600160a060020a0383161515610660576040805160e560020a62461bcd028152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460448201527f7265737300000000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b600160a060020a03821615156106e6576040805160e560020a62461bcd02815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f20616464726560448201527f7373000000000000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b600160a060020a03808416600081815260016020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b600160a060020a03821615156107ce576040805160e560020a62461bcd02815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201527f6573730000000000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b600160a060020a0383166000908152602081905260409020546107f7908263ffffffff61088616565b600160a060020a03808516600090815260208190526040808220939093559084168152205461082c908263ffffffff6108e616565b600160a060020a038084166000818152602081815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b6000828211156108e0576040805160e560020a62461bcd02815260206004820152601e60248201527f536166654d6174683a207375627472616374696f6e206f766572666c6f770000604482015290519081900360640190fd5b50900390565b600082820183811015610943576040805160e560020a62461bcd02815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b939250505056fea165627a7a72305820186f246765302075551cded700764879216a802a0bf1860ce73f843368511f3d0029

10945:276:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10539:83;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10539:83: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;10539:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4918:148;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4918:148:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;4918:148:0;;;;;;;;;;;;;;;;;;;;;;;;;;;3067:91;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3067:91:0;;;;;;;;;;;;;;;;;;;;5539:231;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5539:231:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;5539:231:0;;;;;;;;;;;;;;;;;;10994:34;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10994:34:0;;;;;;;;;;;;;;;;;;;;;;;11035:57;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11035:57:0;;;;10855:83;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10855:83:0;;;;6299:206;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6299:206:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;6299:206:0;;;;;;;;;3377:106;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3377:106:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3377:106:0;-1:-1:-1;;;;;3377:106:0;;;10689:87;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10689:87:0;;;;7039:216;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7039:216:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;7039:216:0;;;;;;;;;4131:140;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4131:140:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;4131:140:0;;;;;;;;;3822:134;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3822:134:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3822:134:0;;;;;;;;;;;10539:83;10609:5;10602:12;;;;;;;;-1:-1:-1;;10602:12:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10576:13;;10602:12;;10609:5;;10602:12;;10609:5;10602:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10539:83;:::o;4918:148::-;4983:4;5000:36;5009:10;5021:7;5030:5;5000:8;:36::i;:::-;-1:-1:-1;5054:4:0;4918:148;;;;:::o;3067:91::-;3138:12;;3067:91;:::o;5539:231::-;5618:4;5635:26;5645:4;5651:2;5655:5;5635:9;:26::i;:::-;-1:-1:-1;;;;;5699:17:0;;;;;;:11;:17;;;;;;;;5687:10;5699:29;;;;;;;;;5672:68;;5681:4;;5699:40;;5733:5;5699:40;:33;:40;:::i;:::-;5672:8;:68::i;:::-;-1:-1:-1;5758:4:0;5539:231;;;;;:::o;10994:34::-;11027:1;10994:34;:::o;11035:57::-;11076:16;11035:57;:::o;10855:83::-;10921:9;;;;10855:83;:::o;6299:206::-;6405:10;6379:4;6426:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;6426:32:0;;;;;;;;;;6379:4;;6396:79;;6417:7;;6426:48;;6463:10;6426:48;:36;:48;:::i;3377:106::-;-1:-1:-1;;;;;3459:16:0;3432:7;3459:16;;;;;;;;;;;;3377:106::o;10689:87::-;10761:7;10754:14;;;;;;;;-1:-1:-1;;10754:14:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10728:13;;10754:14;;10761:7;;10754:14;;10761:7;10754:14;;;;;;;;;;;;;;;;;;;;;;;;7039:216;7150:10;7124:4;7171:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;7171:32:0;;;;;;;;;;7124:4;;7141:84;;7162:7;;7171:53;;7208:15;7171:53;:36;:53;:::i;4131:140::-;4192:4;4209:32;4219:10;4231:2;4235:5;4209:9;:32::i;3822:134::-;-1:-1:-1;;;;;3921:18:0;;;3894:7;3921:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;3822:134::o;9253:335::-;-1:-1:-1;;;;;9346:19:0;;;;9338:68;;;;;-1:-1:-1;;;;;9338:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;9425:21:0;;;;9417:68;;;;;-1:-1:-1;;;;;9417:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;9498:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:35;;;9549:31;;;;;;;;;;;;;;;;;9253:335;;;:::o;7483:301::-;-1:-1:-1;;;;;7571:16:0;;;;7563:64;;;;;-1:-1:-1;;;;;7563:64:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7658:15:0;;:9;:15;;;;;;;;;;;:26;;7678:5;7658:26;:19;:26;:::i;:::-;-1:-1:-1;;;;;7640:15:0;;;:9;:15;;;;;;;;;;;:44;;;;7711:13;;;;;;;:24;;7729:5;7711:24;:17;:24;:::i;:::-;-1:-1:-1;;;;;7695:13:0;;;:9;:13;;;;;;;;;;;;:40;;;;7751:25;;;;;;;7695:13;;7751:25;;;;;;;;;;;;;7483:301;;;:::o;1989:184::-;2047:7;2075:6;;;;2067:49;;;;;-1:-1:-1;;;;;2067:49:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;2139:5:0;;;1989:184::o;2261:181::-;2319:7;2351:5;;;2375:6;;;;2367:46;;;;;-1:-1:-1;;;;;2367:46:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;2433:1;2261:181;-1:-1:-1;;;2261:181:0:o

bzzr://186f246765302075551cded700764879216a802a0bf1860ce73f843368511f3d