Contract

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 ERC20
•    - function balanceOf(address who)
•    - function transfer(address to, uint256 ...
•    - function allowance(address owner, add ...
•    - function transferFrom(address from, a ...
•    - function approve(address spender, uin ...
•  contract Owned
•    - function transferOwnership(address _o ...
•  contract ERC20Token is ERC20, Owne ...
•    - function setTransferable(bool _transf ...
•    - function transfer(address _to, uint25 ...
•    - function balanceOf(address _owner)
•    - function transferFrom(address _from, ...
•    - function approve(address _spender, ui ...
•    - function allowance(address _owner, ad ...
•    - function ()
•  contract SwiftHorse is ERC20Token *

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

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

pragma solidity ^0.4.24;

/**
 * @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); 
        uint256 c = a / b;
        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 ERC20 interface
 * @dev see https://github.com/ethereum/EIPs/issues/20
 */
contract ERC20 {
    uint256 public totalSupply;
    function balanceOf(address who) public view returns (uint256);
    function transfer(address to, uint256 value) public returns (bool);
    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 Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

contract Owned {
    address public owner;

    event OwnershipTransferred(address indexed _from, address indexed _to);

    constructor(address _owner) public {
        owner = _owner;
    }

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

    function transferOwnership(address _owner) onlyOwner public {
        require(_owner != address(0));
        owner = _owner;

        emit OwnershipTransferred(owner, _owner);
    }
}

contract ERC20Token is ERC20, Owned {
    using SafeMath for uint256;

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

    // True if transfers are allowed
    bool public transferable = true;

    modifier canTransfer() {
        require(transferable == true);
        _;
    }

    function setTransferable(bool _transferable) onlyOwner public {
        transferable = _transferable;
    }

    /**
     * @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) canTransfer public returns (bool) {
        require(_to != address(0));
        require(_value <= balances[msg.sender]);

        balances[msg.sender] = balances[msg.sender].sub(_value);
        balances[_to] = balances[_to].add(_value);
        emit 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];
    }

    /**
     * @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) canTransfer 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);
        emit Transfer(_from, _to, _value);
        return true;
    }

    // Allow `_spender` to withdraw from your account, multiple times.
    function approve(address _spender, uint _value) public returns (bool success) {
        // To change the approve amount you first have to reduce the addresses`
        //  allowance to zero by calling `approve(_spender, 0)` if it is not
        //  already 0 to mitigate the race condition described here:
        //  https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
        if ((_value != 0) && (allowed[msg.sender][_spender] != 0)) {
            revert();
        }
        allowed[msg.sender][_spender] = _value;
        emit 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];
    }

    function () public payable {
        revert();
    }
}

contract SwiftHorse is ERC20Token{
    string public name;
    string public symbol;
    uint8 public decimals;

    constructor(address _issuer) public Owned(msg.sender) {
        name = "Swift Horse";
        symbol = "SHO";
        decimals = 0;
        totalSupply = 80000;
        balances[_issuer] = totalSupply;
        emit Transfer(address(0), _issuer, totalSupply);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_value","type":"uint256"}],"name":"approve","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_from","type":"address"},{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"","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":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"balance","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"transferable","outputs":[{"name":"","type":"bool"}],"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":"_transferable","type":"bool"}],"name":"setTransferable","outputs":[],"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"},{"constant":false,"inputs":[{"name":"_owner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[{"name":"_issuer","type":"address"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"payable":true,"stateMutability":"payable","type":"fallback"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_from","type":"address"},{"indexed":true,"name":"_to","type":"address"}],"name":"OwnershipTransferred","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":"owner","type":"address"},{"indexed":true,"name":"spender","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Approval","type":"event"}]

60806040526004805460ff1916600117905534801561001d57600080fd5b50604051602080610a6e833981016040818152915160018054600160a060020a03191633179055828201909252600b8082527f537769667420486f727365000000000000000000000000000000000000000000602090920191825261008491600591610132565b506040805180820190915260038082527f53484f000000000000000000000000000000000000000000000000000000000060209092019182526100c991600691610132565b506007805460ff19169055620138806000818155600160a060020a03831680825260026020908152604080842085905580519485525191937fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929081900390910190a3506101cd565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061017357805160ff19168380011785556101a0565b828001600101855582156101a0579182015b828111156101a0578251825591602001919060010190610185565b506101ac9291506101b0565b5090565b6101ca91905b808211156101ac57600081556001016101b6565b90565b610892806101dc6000396000f3006080604052600436106100c45763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100c9578063095ea7b31461015357806318160ddd1461018b57806323b872dd146101b2578063313ce567146101dc57806370a08231146102075780638da5cb5b1461022857806392ff0d311461025957806395d89b411461026e5780639cd2370714610283578063a9059cbb1461029f578063dd62ed3e146102c3578063f2fde38b146102ea575b600080fd5b3480156100d557600080fd5b506100de61030b565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610118578181015183820152602001610100565b50505050905090810190601f1680156101455780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561015f57600080fd5b50610177600160a060020a0360043516602435610399565b604080519115158252519081900360200190f35b34801561019757600080fd5b506101a061043d565b60408051918252519081900360200190f35b3480156101be57600080fd5b50610177600160a060020a0360043581169060243516604435610443565b3480156101e857600080fd5b506101f16105d1565b6040805160ff9092168252519081900360200190f35b34801561021357600080fd5b506101a0600160a060020a03600435166105da565b34801561023457600080fd5b5061023d6105f5565b60408051600160a060020a039092168252519081900360200190f35b34801561026557600080fd5b50610177610604565b34801561027a57600080fd5b506100de61060d565b34801561028f57600080fd5b5061029d6004351515610668565b005b3480156102ab57600080fd5b50610177600160a060020a0360043516602435610692565b3480156102cf57600080fd5b506101a0600160a060020a036004358116906024351661078a565b3480156102f657600080fd5b5061029d600160a060020a03600435166107b5565b6005805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156103915780601f1061036657610100808354040283529160200191610391565b820191906000526020600020905b81548152906001019060200180831161037457829003601f168201915b505050505081565b600081158015906103cc5750336000908152600360209081526040808320600160a060020a038716845290915290205415155b156103d657600080fd5b336000818152600360209081526040808320600160a060020a03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a350600192915050565b60005481565b60045460009060ff16151560011461045a57600080fd5b600160a060020a038316151561046f57600080fd5b600160a060020a03841660009081526002602052604090205482111561049457600080fd5b600160a060020a03841660009081526003602090815260408083203384529091529020548211156104c457600080fd5b600160a060020a0384166000908152600260205260409020546104ed908363ffffffff61083e16565b600160a060020a038086166000908152600260205260408082209390935590851681522054610522908363ffffffff61085016565b600160a060020a038085166000908152600260209081526040808320949094559187168152600382528281203382529091522054610566908363ffffffff61083e16565b600160a060020a03808616600081815260036020908152604080832033845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060019392505050565b60075460ff1681565b600160a060020a031660009081526002602052604090205490565b600154600160a060020a031681565b60045460ff1681565b6006805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156103915780601f1061036657610100808354040283529160200191610391565b600154600160a060020a0316331461067f57600080fd5b6004805460ff1916911515919091179055565b60045460009060ff1615156001146106a957600080fd5b600160a060020a03831615156106be57600080fd5b336000908152600260205260409020548211156106da57600080fd5b336000908152600260205260409020546106fa908363ffffffff61083e16565b3360009081526002602052604080822092909255600160a060020a0385168152205461072c908363ffffffff61085016565b600160a060020a0384166000818152600260209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b600160a060020a03918216600090815260036020908152604080832093909416825291909152205490565b600154600160a060020a031633146107cc57600080fd5b600160a060020a03811615156107e157600080fd5b6001805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0383811691821792839055604051919216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a350565b60008282111561084a57fe5b50900390565b60008282018381101561085f57fe5b93925050505600a165627a7a72305820fb57b7f7c14e8b28494b028be3a2ed04d7dd74c25c7133336031f0aa7d4dd6ba0029000000000000000000000000e814905a2d89eb986e78d18bf250c29473f3a08d

0x6080604052600436106100c45763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100c9578063095ea7b31461015357806318160ddd1461018b57806323b872dd146101b2578063313ce567146101dc57806370a08231146102075780638da5cb5b1461022857806392ff0d311461025957806395d89b411461026e5780639cd2370714610283578063a9059cbb1461029f578063dd62ed3e146102c3578063f2fde38b146102ea575b600080fd5b3480156100d557600080fd5b506100de61030b565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610118578181015183820152602001610100565b50505050905090810190601f1680156101455780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561015f57600080fd5b50610177600160a060020a0360043516602435610399565b604080519115158252519081900360200190f35b34801561019757600080fd5b506101a061043d565b60408051918252519081900360200190f35b3480156101be57600080fd5b50610177600160a060020a0360043581169060243516604435610443565b3480156101e857600080fd5b506101f16105d1565b6040805160ff9092168252519081900360200190f35b34801561021357600080fd5b506101a0600160a060020a03600435166105da565b34801561023457600080fd5b5061023d6105f5565b60408051600160a060020a039092168252519081900360200190f35b34801561026557600080fd5b50610177610604565b34801561027a57600080fd5b506100de61060d565b34801561028f57600080fd5b5061029d6004351515610668565b005b3480156102ab57600080fd5b50610177600160a060020a0360043516602435610692565b3480156102cf57600080fd5b506101a0600160a060020a036004358116906024351661078a565b3480156102f657600080fd5b5061029d600160a060020a03600435166107b5565b6005805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156103915780601f1061036657610100808354040283529160200191610391565b820191906000526020600020905b81548152906001019060200180831161037457829003601f168201915b505050505081565b600081158015906103cc5750336000908152600360209081526040808320600160a060020a038716845290915290205415155b156103d657600080fd5b336000818152600360209081526040808320600160a060020a03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a350600192915050565b60005481565b60045460009060ff16151560011461045a57600080fd5b600160a060020a038316151561046f57600080fd5b600160a060020a03841660009081526002602052604090205482111561049457600080fd5b600160a060020a03841660009081526003602090815260408083203384529091529020548211156104c457600080fd5b600160a060020a0384166000908152600260205260409020546104ed908363ffffffff61083e16565b600160a060020a038086166000908152600260205260408082209390935590851681522054610522908363ffffffff61085016565b600160a060020a038085166000908152600260209081526040808320949094559187168152600382528281203382529091522054610566908363ffffffff61083e16565b600160a060020a03808616600081815260036020908152604080832033845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060019392505050565b60075460ff1681565b600160a060020a031660009081526002602052604090205490565b600154600160a060020a031681565b60045460ff1681565b6006805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156103915780601f1061036657610100808354040283529160200191610391565b600154600160a060020a0316331461067f57600080fd5b6004805460ff1916911515919091179055565b60045460009060ff1615156001146106a957600080fd5b600160a060020a03831615156106be57600080fd5b336000908152600260205260409020548211156106da57600080fd5b336000908152600260205260409020546106fa908363ffffffff61083e16565b3360009081526002602052604080822092909255600160a060020a0385168152205461072c908363ffffffff61085016565b600160a060020a0384166000818152600260209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b600160a060020a03918216600090815260036020908152604080832093909416825291909152205490565b600154600160a060020a031633146107cc57600080fd5b600160a060020a03811615156107e157600080fd5b6001805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0383811691821792839055604051919216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a350565b60008282111561084a57fe5b50900390565b60008282018381101561085f57fe5b93925050505600a165627a7a72305820fb57b7f7c14e8b28494b028be3a2ed04d7dd74c25c7133336031f0aa7d4dd6ba0029

000000000000000000000000e814905a2d89eb986e78d18bf250c29473f3a08d

-----Decoded View---------------
Arg [0] : _issuer (address): 0xE814905a2d89eb986e78d18Bf250c29473F3a08D

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 000000000000000000000000e814905a2d89eb986e78d18bf250c29473f3a08d

5460:396:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5437:8;;;5500:18;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5500:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;5500:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4293:623;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4293:623:0;-1:-1:-1;;;;;4293:623:0;;;;;;;;;;;;;;;;;;;;;;;;;989:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;989:26:0;;;;;;;;;;;;;;;;;;;;3713:500;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3713:500:0;-1:-1:-1;;;;;3713:500:0;;;;;;;;;;;;5552:21;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5552:21:0;;;;;;;;;;;;;;;;;;;;;;;3301:115;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3301:115:0;-1:-1:-1;;;;;3301:115:0;;;;;1605:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1605:20:0;;;;;;;;-1:-1:-1;;;;;1605:20:0;;;;;;;;;;;;;;2292:31;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2292:31:0;;;;5525:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5525:20:0;;;;2423:109;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2423:109:0;;;;;;;;;2709:367;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2709:367:0;-1:-1:-1;;;;;2709:367:0;;;;;;;5257:134;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;5257:134:0;-1:-1:-1;;;;;5257:134:0;;;;;;;;;;1875:186;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1875:186:0;-1:-1:-1;;;;;1875:186:0;;;;;5500:18;;;;;;;;;;;;;;;-1:-1:-1;;5500:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;4293:623::-;4357:12;4695:11;;;;;4694:53;;-1:-1:-1;4720:10:0;4712:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;4712:29:0;;;;;;;;;;:34;;4694:53;4690:94;;;4764:8;;;4690:94;4802:10;4794:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;4794:29:0;;;;;;;;;;;;:38;;;4848;;;;;;;4794:29;;4802:10;4848:38;;;;;;;;;;;-1:-1:-1;4904:4:0;4293:623;;;;:::o;989:26::-;;;;:::o;3713:500::-;2374:12;;3807:4;;2374:12;;:20;;:12;:20;2366:29;;;;;;-1:-1:-1;;;;;3832:17:0;;;;3824:26;;;;;;-1:-1:-1;;;;;3879:15:0;;;;;;:8;:15;;;;;;3869:25;;;3861:34;;;;;;-1:-1:-1;;;;;3924:14:0;;;;;;:7;:14;;;;;;;;3939:10;3924:26;;;;;;;;3914:36;;;3906:45;;;;;;-1:-1:-1;;;;;3982:15:0;;;;;;:8;:15;;;;;;:27;;4002:6;3982:27;:19;:27;:::i;:::-;-1:-1:-1;;;;;3964:15:0;;;;;;;:8;:15;;;;;;:45;;;;4036:13;;;;;;;:25;;4054:6;4036:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;4020:13:0;;;;;;;:8;:13;;;;;;;;:41;;;;4101:14;;;;;:7;:14;;;;;4116:10;4101:26;;;;;;;:38;;4132:6;4101:38;:30;:38;:::i;:::-;-1:-1:-1;;;;;4072:14:0;;;;;;;:7;:14;;;;;;;;4087:10;4072:26;;;;;;;;:67;;;;4155:28;;;;;;;;;;;4072:14;;4155:28;;;;;;;;;;;-1:-1:-1;4201:4:0;3713:500;;;;;:::o;5552:21::-;;;;;;:::o;3301:115::-;-1:-1:-1;;;;;3392:16:0;3357:15;3392:16;;;:8;:16;;;;;;;3301:115::o;1605:20::-;;;-1:-1:-1;;;;;1605:20:0;;:::o;2292:31::-;;;;;;:::o;5525:20::-;;;;;;;;;;;;;;;-1:-1:-1;;5525:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2423:109;1841:5;;-1:-1:-1;;;;;1841:5:0;1827:10;:19;1819:28;;;;;;2496:12;:28;;-1:-1:-1;;2496:28:0;;;;;;;;;;2423:109::o;2709:367::-;2374:12;;2784:4;;2374:12;;:20;;:12;:20;2366:29;;;;;;-1:-1:-1;;;;;2809:17:0;;;;2801:26;;;;;;2865:10;2856:20;;;;:8;:20;;;;;;2846:30;;;2838:39;;;;;;2922:10;2913:20;;;;:8;:20;;;;;;:32;;2938:6;2913:32;:24;:32;:::i;:::-;2899:10;2890:20;;;;:8;:20;;;;;;:55;;;;-1:-1:-1;;;;;2972:13:0;;;;;;:25;;2990:6;2972:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;2956:13:0;;;;;;:8;:13;;;;;;;;;:41;;;;3013:33;;;;;;;2956:13;;3022:10;;3013:33;;;;;;;;;;-1:-1:-1;3064:4:0;2709:367;;;;:::o;5257:134::-;-1:-1:-1;;;;;5358:15:0;;;5331:7;5358:15;;;:7;:15;;;;;;;;:25;;;;;;;;;;;;;5257:134::o;1875:186::-;1841:5;;-1:-1:-1;;;;;1841:5:0;1827:10;:19;1819:28;;;;;;-1:-1:-1;;;;;1954:20:0;;;;1946:29;;;;;;1986:5;:14;;-1:-1:-1;;1986:14:0;-1:-1:-1;;;;;1986:14:0;;;;;;;;;;2018:35;;1986:14;;2039:5;;2018:35;;-1:-1:-1;;2018:35:0;1875:186;:::o;589:123::-;647:7;674:6;;;;667:14;;;;-1:-1:-1;699:5:0;;;589:123::o;720:147::-;778:7;810:5;;;833:6;;;;826:14;;;;858:1;720:147;-1:-1:-1;;;720:147:0:o

bzzr://fb57b7f7c14e8b28494b028be3a2ed04d7dd74c25c7133336031f0aa7d4dd6ba