Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract SafeMath
•    - function safeMul(uint256 a, uint256 b ...
•    - function safeDiv(uint256 a, uint256 b ...
•    - function safeSub(uint256 a, uint256 b ...
•    - function safeAdd(uint256 a, uint256 b ...
•    - function _assert(bool assertion)
•  contract Owned
•    - function transferOwnership(address _n ...
•    - function acceptOwnership()
•  contract Reits is SafeMath,Owned *
•    - function balanceOf(address addr)
•    - function transfer(address _to, uint25 ...
•    - function burn(uint256 _value)
•    - function transferFrom(address _from, ...
•    - function approve(address spender, uin ...
•    - function allowance(address _master, a ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-06-19
*/

pragma solidity ^0.4.26;

contract SafeMath {
    function safeMul(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a * b;
        _assert(a == 0 || c / a == b);
        return c;
    }

    function safeDiv(uint256 a, uint256 b) internal pure returns (uint256) {
        _assert(b > 0);
        uint256 c = a / b;
        _assert(a == b * c + a % b);
        return c;
    }

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

    function safeAdd(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        _assert(c >= a && c >= b);
        return c;
    }

    function _assert(bool assertion) internal pure {
        if (!assertion) {
            revert();
        }
    }
}

contract Owned {
    address public owner;
    address public newOwner;

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

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

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

    function transferOwnership(address _newOwner) public onlyOwner {
        newOwner = _newOwner;
    }
    function acceptOwnership() public {
        require(msg.sender == newOwner);
        emit OwnershipTransferred(owner, newOwner);
        owner = newOwner;
        newOwner = address(0);
    }
}

contract Reits is SafeMath,Owned {
    string public name = "Reits Trust";
    string public symbol = "Reits";
    uint8 constant public decimals = 18;
    mapping(address => uint256)  _balances;
    mapping(address => mapping(address => uint256)) public _allowed;

    uint256  public totalSupply = 1000000000000 * 10**uint(decimals);


    constructor () public{
        _balances[msg.sender] = totalSupply;
        emit Transfer(0x0, msg.sender, totalSupply);
    }

    function balanceOf(address addr) public view returns (uint256) {
        return _balances[addr];
    }


    function transfer(address _to, uint256 _value)  public returns (bool) {
        if (_to == address(0)) {
            return burn(_value);
        } else {
            require(_balances[msg.sender] >= _value && _value > 0);
            require(_balances[_to] + _value >= _balances[_to]);

            _balances[msg.sender] = safeSub(_balances[msg.sender], _value);
            _balances[_to] = safeAdd(_balances[_to], _value);
            emit Transfer(msg.sender, _to, _value);
            return true;
        }
    }

    function burn(uint256 _value) public returns (bool) {
        require(_balances[msg.sender] >= _value && _value > 0);
        require(totalSupply >= _value);
        _balances[msg.sender] = safeSub(_balances[msg.sender], _value);
        totalSupply = safeSub(totalSupply, _value);
        emit Burn(msg.sender, _value);
        return true;
    }

    function transferFrom(address _from, address _to, uint256 _value)  public returns (bool) {
        require(_to != address(0));
        require(_balances[_from] >= _value && _value > 0);
        require(_balances[_to] + _value >= _balances[_to]);

        require(_allowed[_from][msg.sender] >= _value);

        _balances[_to] = safeAdd(_balances[_to], _value);
        _balances[_from] = safeSub(_balances[_from], _value);
        _allowed[_from][msg.sender] = safeSub(_allowed[_from][msg.sender], _value);
        emit Transfer(_from, _to, _value);
        return true;
    }

    function approve(address spender, uint256 value)  public returns (bool) {
        require(spender != address(0));
        _allowed[msg.sender][spender] = value;
        emit Approval(msg.sender, spender, value);
        return true;
    }

    function allowance(address _master, address _spender) public view returns (uint256) {
        return _allowed[_master][_spender];
    }
    event Approval(address indexed _owner, address indexed _spender, uint256 _value);
    event Transfer(address indexed _from, address indexed _to, uint256 value);
    event Burn(address indexed _from, uint256 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":"_value","type":"uint256"}],"name":"burn","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"addr","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"acceptOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"},{"name":"","type":"address"}],"name":"_allowed","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"newOwner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_master","type":"address"},{"name":"_spender","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[],"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"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_from","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Burn","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_from","type":"address"},{"indexed":true,"name":"_to","type":"address"}],"name":"OwnershipTransferred","type":"event"}]

60c0604052600b60808190527f526569747320547275737400000000000000000000000000000000000000000060a090815261003e9160029190610103565b506040805180820190915260058082527f5265697473000000000000000000000000000000000000000000000000000000602090920191825261008391600391610103565b506c0c9f2c9cd04674edea400000006006553480156100a157600080fd5b5060008054600160a060020a0319163390811782556006548183526004602090815260408085208390558051928352519293927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a361019e565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061014457805160ff1916838001178555610171565b82800160010185558215610171579182015b82811115610171578251825591602001919060010190610156565b5061017d929150610181565b5090565b61019b91905b8082111561017d5760008155600101610187565b90565b6109e9806101ad6000396000f3006080604052600436106100da5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100df578063095ea7b31461016957806318160ddd146101a157806323b872dd146101c8578063313ce567146101f257806342966c681461021d57806370a082311461023557806379ba5097146102565780638da5cb5b1461026d57806395d89b411461029e578063a9059cbb146102b3578063ba0fb861146102d7578063d4ee1d90146102fe578063dd62ed3e14610313578063f2fde38b1461033a575b600080fd5b3480156100eb57600080fd5b506100f461035b565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561012e578181015183820152602001610116565b50505050905090810190601f16801561015b5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561017557600080fd5b5061018d600160a060020a03600435166024356103e6565b604080519115158252519081900360200190f35b3480156101ad57600080fd5b506101b6610465565b60408051918252519081900360200190f35b3480156101d457600080fd5b5061018d600160a060020a036004358116906024351660443561046b565b3480156101fe57600080fd5b50610207610600565b6040805160ff9092168252519081900360200190f35b34801561022957600080fd5b5061018d600435610605565b34801561024157600080fd5b506101b6600160a060020a03600435166106b6565b34801561026257600080fd5b5061026b6106d1565b005b34801561027957600080fd5b50610282610759565b60408051600160a060020a039092168252519081900360200190f35b3480156102aa57600080fd5b506100f4610768565b3480156102bf57600080fd5b5061018d600160a060020a03600435166024356107c3565b3480156102e357600080fd5b506101b6600160a060020a03600435811690602435166108d9565b34801561030a57600080fd5b506102826108f6565b34801561031f57600080fd5b506101b6600160a060020a0360043581169060243516610905565b34801561034657600080fd5b5061026b600160a060020a0360043516610930565b6002805460408051602060018416156101000260001901909316849004601f810184900484028201840190925281815292918301828280156103de5780601f106103b3576101008083540402835291602001916103de565b820191906000526020600020905b8154815290600101906020018083116103c157829003601f168201915b505050505081565b6000600160a060020a03831615156103fd57600080fd5b336000818152600560209081526040808320600160a060020a03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060015b92915050565b60065481565b6000600160a060020a038316151561048257600080fd5b600160a060020a03841660009081526004602052604090205482118015906104aa5750600082115b15156104b557600080fd5b600160a060020a03831660009081526004602052604090205482810110156104dc57600080fd5b600160a060020a038416600090815260056020908152604080832033845290915290205482111561050c57600080fd5b600160a060020a03831660009081526004602052604090205461052f9083610976565b600160a060020a03808516600090815260046020526040808220939093559086168152205461055e908361099a565b600160a060020a0385166000908152600460209081526040808320939093556005815282822033835290522054610595908361099a565b600160a060020a03808616600081815260056020908152604080832033845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060019392505050565b601281565b3360009081526004602052604081205482118015906106245750600082115b151561062f57600080fd5b60065482111561063e57600080fd5b33600090815260046020526040902054610658908361099a565b33600090815260046020526040902055600654610675908361099a565b60065560408051838152905133917fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5919081900360200190a2506001919050565b600160a060020a031660009081526004602052604090205490565b600154600160a060020a031633146106e857600080fd5b60015460008054604051600160a060020a0393841693909116917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a3600180546000805473ffffffffffffffffffffffffffffffffffffffff19908116600160a060020a03841617909155169055565b600054600160a060020a031681565b6003805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156103de5780601f106103b3576101008083540402835291602001916103de565b6000600160a060020a03831615156107e5576107de82610605565b905061045f565b3360009081526004602052604090205482118015906108045750600082115b151561080f57600080fd5b600160a060020a038316600090815260046020526040902054828101101561083657600080fd5b33600090815260046020526040902054610850908361099a565b3360009081526004602052604080822092909255600160a060020a0385168152205461087c9083610976565b600160a060020a0384166000818152600460209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600161045f565b600560209081526000928352604080842090915290825290205481565b600154600160a060020a031681565b600160a060020a03918216600090815260056020908152604080832093909416825291909152205490565b600054600160a060020a0316331461094757600080fd5b6001805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b600082820161099384821080159061098e5750838210155b6109ae565b9392505050565b60006109a8838311156109ae565b50900390565b8015156109ba57600080fd5b505600a165627a7a723058202e3feecf67c109d8bdf1af59fcedb3bf75b0566fe81f7caeeab8fce1a9c677cc0029

0x6080604052600436106100da5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100df578063095ea7b31461016957806318160ddd146101a157806323b872dd146101c8578063313ce567146101f257806342966c681461021d57806370a082311461023557806379ba5097146102565780638da5cb5b1461026d57806395d89b411461029e578063a9059cbb146102b3578063ba0fb861146102d7578063d4ee1d90146102fe578063dd62ed3e14610313578063f2fde38b1461033a575b600080fd5b3480156100eb57600080fd5b506100f461035b565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561012e578181015183820152602001610116565b50505050905090810190601f16801561015b5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561017557600080fd5b5061018d600160a060020a03600435166024356103e6565b604080519115158252519081900360200190f35b3480156101ad57600080fd5b506101b6610465565b60408051918252519081900360200190f35b3480156101d457600080fd5b5061018d600160a060020a036004358116906024351660443561046b565b3480156101fe57600080fd5b50610207610600565b6040805160ff9092168252519081900360200190f35b34801561022957600080fd5b5061018d600435610605565b34801561024157600080fd5b506101b6600160a060020a03600435166106b6565b34801561026257600080fd5b5061026b6106d1565b005b34801561027957600080fd5b50610282610759565b60408051600160a060020a039092168252519081900360200190f35b3480156102aa57600080fd5b506100f4610768565b3480156102bf57600080fd5b5061018d600160a060020a03600435166024356107c3565b3480156102e357600080fd5b506101b6600160a060020a03600435811690602435166108d9565b34801561030a57600080fd5b506102826108f6565b34801561031f57600080fd5b506101b6600160a060020a0360043581169060243516610905565b34801561034657600080fd5b5061026b600160a060020a0360043516610930565b6002805460408051602060018416156101000260001901909316849004601f810184900484028201840190925281815292918301828280156103de5780601f106103b3576101008083540402835291602001916103de565b820191906000526020600020905b8154815290600101906020018083116103c157829003601f168201915b505050505081565b6000600160a060020a03831615156103fd57600080fd5b336000818152600560209081526040808320600160a060020a03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060015b92915050565b60065481565b6000600160a060020a038316151561048257600080fd5b600160a060020a03841660009081526004602052604090205482118015906104aa5750600082115b15156104b557600080fd5b600160a060020a03831660009081526004602052604090205482810110156104dc57600080fd5b600160a060020a038416600090815260056020908152604080832033845290915290205482111561050c57600080fd5b600160a060020a03831660009081526004602052604090205461052f9083610976565b600160a060020a03808516600090815260046020526040808220939093559086168152205461055e908361099a565b600160a060020a0385166000908152600460209081526040808320939093556005815282822033835290522054610595908361099a565b600160a060020a03808616600081815260056020908152604080832033845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060019392505050565b601281565b3360009081526004602052604081205482118015906106245750600082115b151561062f57600080fd5b60065482111561063e57600080fd5b33600090815260046020526040902054610658908361099a565b33600090815260046020526040902055600654610675908361099a565b60065560408051838152905133917fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5919081900360200190a2506001919050565b600160a060020a031660009081526004602052604090205490565b600154600160a060020a031633146106e857600080fd5b60015460008054604051600160a060020a0393841693909116917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a3600180546000805473ffffffffffffffffffffffffffffffffffffffff19908116600160a060020a03841617909155169055565b600054600160a060020a031681565b6003805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156103de5780601f106103b3576101008083540402835291602001916103de565b6000600160a060020a03831615156107e5576107de82610605565b905061045f565b3360009081526004602052604090205482118015906108045750600082115b151561080f57600080fd5b600160a060020a038316600090815260046020526040902054828101101561083657600080fd5b33600090815260046020526040902054610850908361099a565b3360009081526004602052604080822092909255600160a060020a0385168152205461087c9083610976565b600160a060020a0384166000818152600460209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600161045f565b600560209081526000928352604080842090915290825290205481565b600154600160a060020a031681565b600160a060020a03918216600090815260056020908152604080832093909416825291909152205490565b600054600160a060020a0316331461094757600080fd5b6001805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b600082820161099384821080159061098e5750838210155b6109ae565b9392505050565b60006109a8838311156109ae565b50900390565b8015156109ba57600080fd5b505600a165627a7a723058202e3feecf67c109d8bdf1af59fcedb3bf75b0566fe81f7caeeab8fce1a9c677cc0029

1476:2713:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1516:34;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1516:34: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;1516:34:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3576:243;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3576:243:0;-1:-1:-1;;;;;3576:243:0;;;;;;;;;;;;;;;;;;;;;;;;;1753:64;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1753:64:0;;;;;;;;;;;;;;;;;;;;2979:589;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2979:589:0;-1:-1:-1;;;;;2979:589:0;;;;;;;;;;;;1594:35;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1594:35:0;;;;;;;;;;;;;;;;;;;;;;;2617:354;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2617:354:0;;;;;1965:104;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1965:104:0;-1:-1:-1;;;;;1965:104:0;;;;;1273:196;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1273:196:0;;;;;;875:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;875:20:0;;;;;;;;-1:-1:-1;;;;;875:20:0;;;;;;;;;;;;;;1557:30;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1557:30:0;;;;2079:530;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2079:530:0;-1:-1:-1;;;;;2079:530:0;;;;;;;1681:63;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1681:63:0;-1:-1:-1;;;;;1681:63:0;;;;;;;;;;902:23;;8:9:-1;5:2;;;30:1;27;20:12;5:2;902:23:0;;;;3827:137;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3827:137:0;-1:-1:-1;;;;;3827:137:0;;;;;;;;;;1165:102;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1165:102:0;-1:-1:-1;;;;;1165:102:0;;;;;1516:34;;;;;;;;;;;;;;-1:-1:-1;;1516:34:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3576:243::-;3642:4;-1:-1:-1;;;;;3667:21:0;;;;3659:30;;;;;;3709:10;3700:20;;;;:8;:20;;;;;;;;-1:-1:-1;;;;;3700:29:0;;;;;;;;;;;;:37;;;3753:36;;;;;;;3700:29;;3709:10;3753:36;;;;;;;;;;;-1:-1:-1;3807:4:0;3576:243;;;;;:::o;1753:64::-;;;;:::o;2979:589::-;3062:4;-1:-1:-1;;;;;3087:17:0;;;;3079:26;;;;;;-1:-1:-1;;;;;3124:16:0;;;;;;:9;:16;;;;;;:26;-1:-1:-1;3124:26:0;;;:40;;;3163:1;3154:6;:10;3124:40;3116:49;;;;;;;;-1:-1:-1;;;;;3211:14:0;;;;;;:9;:14;;;;;;3184:23;;;:41;;3176:50;;;;;;-1:-1:-1;;;;;3247:15:0;;;;;;:8;:15;;;;;;;;3263:10;3247:27;;;;;;;;:37;-1:-1:-1;3247:37:0;3239:46;;;;;;-1:-1:-1;;;;;3323:14:0;;;;;;:9;:14;;;;;;3315:31;;3339:6;3315:7;:31::i;:::-;-1:-1:-1;;;;;3298:14:0;;;;;;;:9;:14;;;;;;:48;;;;3384:16;;;;;;;3376:33;;3402:6;3376:7;:33::i;:::-;-1:-1:-1;;;;;3357:16:0;;;;;;:9;:16;;;;;;;;:52;;;;3458:8;:15;;;;;3474:10;3458:27;;;;;;3450:44;;3487:6;3450:7;:44::i;:::-;-1:-1:-1;;;;;3420:15:0;;;;;;;:8;:15;;;;;;;;3436:10;3420:27;;;;;;;;:74;;;;3510:28;;;;;;;;;;;3420:15;;3510:28;;;;;;;;;;;-1:-1:-1;3556:4:0;2979:589;;;;;:::o;1594:35::-;1627:2;1594:35;:::o;2617:354::-;2698:10;2663:4;2688:21;;;:9;:21;;;;;;:31;-1:-1:-1;2688:31:0;;;:45;;;2732:1;2723:6;:10;2688:45;2680:54;;;;;;;;2753:11;;:21;-1:-1:-1;2753:21:0;2745:30;;;;;;2828:10;2818:21;;;;:9;:21;;;;;;2810:38;;2841:6;2810:7;:38::i;:::-;2796:10;2786:21;;;;:9;:21;;;;;:62;2881:11;;2873:28;;2894:6;2873:7;:28::i;:::-;2859:11;:42;2917:24;;;;;;;;2922:10;;2917:24;;;;;;;;;;-1:-1:-1;2959:4:0;2617:354;;;:::o;1965:104::-;-1:-1:-1;;;;;2046:15:0;2019:7;2046:15;;;:9;:15;;;;;;;1965:104::o;1273:196::-;1340:8;;-1:-1:-1;;;;;1340:8:0;1326:10;:22;1318:31;;;;;;1393:8;;;1386:5;;1365:37;;-1:-1:-1;;;;;1393:8:0;;;;1386:5;;;;1365:37;;;1421:8;;;;1413:16;;-1:-1:-1;;1413:16:0;;;-1:-1:-1;;;;;1421:8:0;;1413:16;;;;1440:21;;;1273:196::o;875:20::-;;;-1:-1:-1;;;;;875:20:0;;:::o;1557:30::-;;;;;;;;;;;;;;;-1:-1:-1;;1557:30:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2079:530;2143:4;-1:-1:-1;;;;;2164:17:0;;;2160:442;;;2205:12;2210:6;2205:4;:12::i;:::-;2198:19;;;;2160:442;2268:10;2258:21;;;;:9;:21;;;;;;:31;-1:-1:-1;2258:31:0;;;:45;;;2302:1;2293:6;:10;2258:45;2250:54;;;;;;;;-1:-1:-1;;;;;2354:14:0;;;;;;:9;:14;;;;;;2327:23;;;:41;;2319:50;;;;;;2428:10;2418:21;;;;:9;:21;;;;;;2410:38;;2441:6;2410:7;:38::i;:::-;2396:10;2386:21;;;;:9;:21;;;;;;:62;;;;-1:-1:-1;;;;;2488:14:0;;;;;;2480:31;;2504:6;2480:7;:31::i;:::-;-1:-1:-1;;;;;2463:14:0;;;;;;:9;:14;;;;;;;;;:48;;;;2531:33;;;;;;;2463:14;;2540:10;;2531:33;;;;;;;;;;-1:-1:-1;2586:4:0;2579:11;;1681:63;;;;;;;;;;;;;;;;;;;;;;;;:::o;902:23::-;;;-1:-1:-1;;;;;902:23:0;;:::o;3827:137::-;-1:-1:-1;;;;;3929:17:0;;;3902:7;3929:17;;;:8;:17;;;;;;;;:27;;;;;;;;;;;;;3827:137::o;1165:102::-;1131:5;;-1:-1:-1;;;;;1131:5:0;1117:10;:19;1109:28;;;;;;1239:8;:20;;-1:-1:-1;;1239:20:0;-1:-1:-1;;;;;1239:20:0;;;;;;;;;;1165:102::o;560:162::-;622:7;654:5;;;670:25;678:6;;;;;;:16;;;693:1;688;:6;;678:16;670:7;:25::i;:::-;713:1;560:162;-1:-1:-1;;;560:162:0:o;424:128::-;486:7;506:15;519:1;514;:6;;506:7;:15::i;:::-;-1:-1:-1;539:5:0;;;424:128::o;730:116::-;793:9;792:10;788:51;;;819:8;;;788:51;730:116;:::o

bzzr://2e3feecf67c109d8bdf1af59fcedb3bf75b0566fe81f7caeeab8fce1a9c677cc