Contract

/**
 *Submitted for verification at Etherscan.io on 2019-12-07
*/

// File: contracts/Ownable.sol

pragma solidity >0.4.0 <0.6.0;

contract Ownable {

  address payable public owner;

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

  modifier onlyOwner() {
    require(msg.sender == owner);
    _;
  }
  
  
  function transferOwnership(address payable newOwner) external onlyOwner {
    require(newOwner != address(0));      
    owner = newOwner;
  }

}

// File: contracts/ReentrancyGuard.sol

pragma solidity ^0.5.0;

contract ReentrancyGuard {
    // counter to allow mutex lock with only one SSTORE operation
    uint256 private _guardCounter;

    constructor () internal {
        // The counter starts at one to prevent changing it from zero to a non-zero
        // value, which is a more expensive operation.
        _guardCounter = 1;
    }

    /**
     * @dev Prevents a contract from calling itself, directly or indirectly.
     * Calling a `nonReentrant` function from another `nonReentrant`
     * function is not supported. It is possible to prevent this from happening
     * by making the `nonReentrant` function external, and make it call a
     * `private` function that does the actual work.
     */
    modifier nonReentrant() {
        _guardCounter += 1;
        uint256 localCounter = _guardCounter;
        _;
        require(localCounter == _guardCounter, "ReentrancyGuard: reentrant call");
    }
}

// File: contracts/SafeMath.sol

pragma solidity ^0.5.0;

library SafeMath {
    
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }


    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b <= a, "SafeMath: subtraction overflow");
        uint256 c = a - b;

        return c;
    }

    
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }

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

        return c;
    }

    
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b > 0, "SafeMath: division by zero");
        uint256 c = a / b;

        return c;
    }

   
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b != 0, "SafeMath: modulo by zero");
        return a % b;
    }
}

// File: contracts/EthMaximalist.sol

pragma solidity ^0.5.0;





interface Invest2Fulcrum1xShortBTC {
    function LetsInvest2Fulcrum1xShortBTC(address _towhomtoissue) external payable;
}

interface Invest2Fulcrum {
    function LetsInvest2Fulcrum(address _towhomtoissue) external payable;
}


// through this contract we are putting 90% allocation to cDAI and 10% to 2xLongETH
contract ETHMaximalist is Ownable, ReentrancyGuard {
    using SafeMath for uint;
    
    // state variables
    
    
    // - variables in relation to the percentages
    uint public ShortBTCAllocation = 50;
    Invest2Fulcrum public Invest2FulcrumContract = Invest2Fulcrum(0xAB58BBF6B6ca1B064aa59113AeA204F554E8fBAe);
    Invest2Fulcrum1xShortBTC public Invest2Fulcrum1xShortBTCContract = Invest2Fulcrum1xShortBTC(0xa2C3e380E6c082A003819a2a69086748fe3D15Dd);

    
    
    // - in relation to the ETH held by this contract
    uint public balance = address(this).balance;
    
    // - in relation to the emergency functioning of this contract
    bool private stopped = false;

    
    // circuit breaker modifiers
    modifier stopInEmergency {if (!stopped) _;}
    modifier onlyInEmergency {if (stopped) _;}

    constructor () public {
    }
    
    function toggleContractActive() onlyOwner public {
    stopped = !stopped;
    }
    
    function change_cDAIAllocation(uint _numberPercentageValue) public onlyOwner {
        require(_numberPercentageValue > 1 && _numberPercentageValue < 100);
        ShortBTCAllocation = _numberPercentageValue;
    }
    
    
    // this function lets you deposit ETH into this wallet 
    function ETHMaximalistZAP() stopInEmergency payable public returns (bool) {
        require(msg.value>10000000000000);
        uint investment_amt = msg.value;
        uint investAmt2ShortBTC = SafeMath.div(SafeMath.mul(investment_amt,ShortBTCAllocation), 100);
        uint investAmt2c1xLongETH = SafeMath.sub(investment_amt, investAmt2ShortBTC);
        require (SafeMath.sub(investment_amt,SafeMath.add(investAmt2ShortBTC, investAmt2c1xLongETH)) == 0);
        Invest2Fulcrum1xShortBTCContract.LetsInvest2Fulcrum1xShortBTC.value(investAmt2ShortBTC)(msg.sender);
        Invest2FulcrumContract.LetsInvest2Fulcrum.value(investAmt2c1xLongETH)(msg.sender);
        
    }
    // - this function lets you deposit ETH into this wallet
    function depositETH() payable public onlyOwner returns (uint) {
        balance += msg.value;
    }
    
    // - fallback function let you / anyone send ETH to this wallet without the need to call any function
    function() external payable {
        if (msg.sender == owner) {
            depositETH();
        } else {
            ETHMaximalistZAP();
        }
    }
    
    // - to withdraw any ETH balance sitting in the contract
    function withdraw() onlyOwner public{
        owner.transfer(address(this).balance);
    }
    

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":false,"inputs":[],"name":"toggleContractActive","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"_numberPercentageValue","type":"uint256"}],"name":"change_cDAIAllocation","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"withdraw","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"Invest2Fulcrum1xShortBTCContract","outputs":[{"internalType":"contract Invest2Fulcrum1xShortBTC","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"internalType":"address payable","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"ShortBTCAllocation","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"ETHMaximalistZAP","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":true,"stateMutability":"payable","type":"function"},{"constant":true,"inputs":[],"name":"balance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"Invest2FulcrumContract","outputs":[{"internalType":"contract Invest2Fulcrum","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address payable","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"depositETH","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":true,"stateMutability":"payable","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"payable":true,"stateMutability":"payable","type":"fallback"}]

6080604052603260025573ab58bbf6b6ca1b064aa59113aea204f554e8fbae600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555073a2c3e380e6c082a003819a2a69086748fe3d15dd600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055503073ffffffffffffffffffffffffffffffffffffffff16316005556000600660006101000a81548160ff0219169083151502179055503480156100f557600080fd5b50336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060018081905550610b678061014c6000396000f3fe60806040526004361061009c5760003560e01c8063aa5882ce11610064578063aa5882ce14610222578063b4b32f2b1461024d578063b69ef8a81461026f578063ceed77d21461029a578063f2fde38b146102f1578063f6326fb3146103425761009c565b80631385d24c1461010b5780632b4b05cf146101225780633ccfd60b1461015d5780637b27a718146101745780638da5cb5b146101cb575b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614156100ff576100f9610360565b50610109565b6101076103ce565b505b005b34801561011757600080fd5b506101206105bd565b005b34801561012e57600080fd5b5061015b6004803603602081101561014557600080fd5b8101908080359060200190929190505050610642565b005b34801561016957600080fd5b506101726106be565b005b34801561018057600080fd5b50610189610798565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156101d757600080fd5b506101e06107be565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561022e57600080fd5b506102376107e3565b6040518082815260200191505060405180910390f35b6102556103ce565b604051808215151515815260200191505060405180910390f35b34801561027b57600080fd5b506102846107e9565b6040518082815260200191505060405180910390f35b3480156102a657600080fd5b506102af6107ef565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156102fd57600080fd5b506103406004803603602081101561031457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610815565b005b61034a610360565b6040518082815260200191505060405180910390f35b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146103bb57600080fd5b3460056000828254019250508190555090565b6000600660009054906101000a900460ff166105ba576509184e72a00034116103f657600080fd5b6000349050600061041361040c836002546108eb565b6064610971565b905060006104218383610a00565b90506000610438846104338585610a89565b610a00565b1461044257600080fd5b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663d243d85b83336040518363ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019150506000604051808303818588803b1580156104e357600080fd5b505af11580156104f7573d6000803e3d6000fd5b5050505050600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c310331382336040518363ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019150506000604051808303818588803b15801561059d57600080fd5b505af11580156105b1573d6000803e3d6000fd5b50505050505050505b90565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461061657600080fd5b600660009054906101000a900460ff1615600660006101000a81548160ff021916908315150217905550565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461069b57600080fd5b6001811180156106ab5750606481105b6106b457600080fd5b8060028190555050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461071757600080fd5b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc3073ffffffffffffffffffffffffffffffffffffffff16319081150290604051600060405180830381858888f19350505050158015610795573d6000803e3d6000fd5b50565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60025481565b60055481565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461086e57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156108a857600080fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000808314156108fe576000905061096b565b600082840290508284828161090f57fe5b0414610966576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180610b126021913960400191505060405180910390fd5b809150505b92915050565b60008082116109e8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525060200191505060405180910390fd5b60008284816109f357fe5b0490508091505092915050565b600082821115610a78576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525060200191505060405180910390fd5b600082840390508091505092915050565b600080828401905083811015610b07576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b809150509291505056fe536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f77a265627a7a72315820d6469b7583de25ff390675a1f1095d2682cb89d1878ac23cf79444b97d6663f664736f6c634300050b0032

0x60806040526004361061009c5760003560e01c8063aa5882ce11610064578063aa5882ce14610222578063b4b32f2b1461024d578063b69ef8a81461026f578063ceed77d21461029a578063f2fde38b146102f1578063f6326fb3146103425761009c565b80631385d24c1461010b5780632b4b05cf146101225780633ccfd60b1461015d5780637b27a718146101745780638da5cb5b146101cb575b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614156100ff576100f9610360565b50610109565b6101076103ce565b505b005b34801561011757600080fd5b506101206105bd565b005b34801561012e57600080fd5b5061015b6004803603602081101561014557600080fd5b8101908080359060200190929190505050610642565b005b34801561016957600080fd5b506101726106be565b005b34801561018057600080fd5b50610189610798565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156101d757600080fd5b506101e06107be565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561022e57600080fd5b506102376107e3565b6040518082815260200191505060405180910390f35b6102556103ce565b604051808215151515815260200191505060405180910390f35b34801561027b57600080fd5b506102846107e9565b6040518082815260200191505060405180910390f35b3480156102a657600080fd5b506102af6107ef565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156102fd57600080fd5b506103406004803603602081101561031457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610815565b005b61034a610360565b6040518082815260200191505060405180910390f35b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146103bb57600080fd5b3460056000828254019250508190555090565b6000600660009054906101000a900460ff166105ba576509184e72a00034116103f657600080fd5b6000349050600061041361040c836002546108eb565b6064610971565b905060006104218383610a00565b90506000610438846104338585610a89565b610a00565b1461044257600080fd5b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663d243d85b83336040518363ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019150506000604051808303818588803b1580156104e357600080fd5b505af11580156104f7573d6000803e3d6000fd5b5050505050600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663c310331382336040518363ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019150506000604051808303818588803b15801561059d57600080fd5b505af11580156105b1573d6000803e3d6000fd5b50505050505050505b90565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461061657600080fd5b600660009054906101000a900460ff1615600660006101000a81548160ff021916908315150217905550565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461069b57600080fd5b6001811180156106ab5750606481105b6106b457600080fd5b8060028190555050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461071757600080fd5b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc3073ffffffffffffffffffffffffffffffffffffffff16319081150290604051600060405180830381858888f19350505050158015610795573d6000803e3d6000fd5b50565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60025481565b60055481565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461086e57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156108a857600080fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000808314156108fe576000905061096b565b600082840290508284828161090f57fe5b0414610966576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180610b126021913960400191505060405180910390fd5b809150505b92915050565b60008082116109e8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525060200191505060405180910390fd5b60008284816109f357fe5b0490508091505092915050565b600082821115610a78576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525060200191505060405180910390fd5b600082840390508091505092915050565b600080828401905083811015610b07576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b809150509291505056fe536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f77a265627a7a72315820d6469b7583de25ff390675a1f1095d2682cb89d1878ac23cf79444b97d6663f664736f6c634300050b0032

2918:2583:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5220:5;;;;;;;;;;;5206:19;;:10;:19;;;5202:115;;;5242:12;:10;:12::i;:::-;;5202:115;;;5287:18;:16;:18::i;:::-;;5202:115;2918:2583;3806:82;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3806:82:0;;;:::i;:::-;;3900:217;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3900:217:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3900:217:0;;;;;;;;;;;;;;;;;:::i;:::-;;5398:92;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5398:92:0;;;:::i;:::-;;3253:135;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3253:135:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;92:28;;8:9:-1;5:2;;;30:1;27;20:12;5:2;92:28:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3099:35;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3099:35:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4196:679;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3464:43;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3464:43:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3141:105;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3141:105:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;268:145;;8:9:-1;5:2;;;30:1;27;20:12;5:2;268:145:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;268:145:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;4943:101;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;4999:4;236:5;;;;;;;;;;;222:19;;:10;:19;;;214:28;;;;;;5027:9;5016:7;;:20;;;;;;;;;;;4943:101;:::o;4196:679::-;4264:4;3696:7;;;;;;;;;;;3691:15;;4299:14;4289:9;:24;4281:33;;;;;;4325:19;4347:9;4325:31;;4367:23;4393:66;4406:47;4419:14;4434:18;;4406:12;:47::i;:::-;4455:3;4393:12;:66::i;:::-;4367:92;;4470:25;4498:48;4511:14;4527:18;4498:12;:48::i;:::-;4470:76;;4653:1;4566:83;4579:14;4594:54;4607:18;4627:20;4594:12;:54::i;:::-;4566:12;:83::i;:::-;:88;4557:98;;;;;;4666:32;;;;;;;;;;;:61;;;4734:18;4754:10;4666:99;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4666:99:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4666:99:0;;;;;4776:22;;;;;;;;;;;:41;;;4824:20;4846:10;4776:81;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4776:81:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4776:81:0;;;;;3705:1;;;3691:15;4196:679;:::o;3806:82::-;236:5;;;;;;;;;;;222:19;;:10;:19;;;214:28;;;;;;3873:7;;;;;;;;;;;3872:8;3862:7;;:18;;;;;;;;;;;;;;;;;;3806:82::o;3900:217::-;236:5;;;;;;;;;;;222:19;;:10;:19;;;214:28;;;;;;4021:1;3996:22;:26;:58;;;;;4051:3;4026:22;:28;3996:58;3988:67;;;;;;4087:22;4066:18;:43;;;;3900:217;:::o;5398:92::-;236:5;;;;;;;;;;;222:19;;:10;:19;;;214:28;;;;;;5445:5;;;;;;;;;;;:14;;:37;5468:4;5460:21;;;5445:37;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;5445:37:0;5398:92::o;3253:135::-;;;;;;;;;;;;;:::o;92:28::-;;;;;;;;;;;;;:::o;3099:35::-;;;;:::o;3464:43::-;;;;:::o;3141:105::-;;;;;;;;;;;;;:::o;268:145::-;236:5;;;;;;;;;;;222:19;;:10;:19;;;214:28;;;;;;375:1;355:22;;:8;:22;;;;347:31;;;;;;399:8;391:5;;:16;;;;;;;;;;;;;;;;;;268:145;:::o;1905:250::-;1963:7;1992:1;1987;:6;1983:47;;;2017:1;2010:8;;;;1983:47;2042:9;2058:1;2054;:5;2042:17;;2087:1;2082;2078;:5;;;;;;:10;2070:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2146:1;2139:8;;;1905:250;;;;;:::o;2169:179::-;2227:7;2259:1;2255;:5;2247:44;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2302:9;2318:1;2314;:5;;;;;;2302:17;;2339:1;2332:8;;;2169:179;;;;:::o;1707:184::-;1765:7;1798:1;1793;:6;;1785:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1845:9;1861:1;1857;:5;1845:17;;1882:1;1875:8;;;1707:184;;;;:::o;1516:181::-;1574:7;1594:9;1610:1;1606;:5;1594:17;;1635:1;1630;:6;;1622:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1688:1;1681:8;;;1516:181;;;;:::o

bzzr://d6469b7583de25ff390675a1f1095d2682cb89d1878ac23cf79444b97d6663f6