Contract 0x1CBA420bbFF28325e4F1fe6976598A6b65aA4C00 1

/**
 *Submitted for verification at polygonscan.com on 2021-09-24
*/

/*
 Laboratory Finance
 
 https://laboratory.finance
 t.me/laboratoryfinance
 
 Polygon yield optimizer rewarding 3.5% daily through several strategies.
 The mining efficiency may vary as players hire chemists or harvest their MATICs in our dApp.
 The more chemists you hire, the higher will be your MATIC production rate.
 The contract is immutable and 100% rug-free (there are no functions that the dev can use to drain or change the contract operations).
*/

pragma solidity ^0.4.26; // solhint-disable-line

contract LaboratoryFinance{
    //uint256 EGGS_PER_MINERS_PER_SECOND=1;
    uint256 public EGGS_TO_HATCH_1MINERS=2592000;  // for final version it should be the number of seconds within a day
    uint256 PSN=10000;
    uint256 PSNH=5000;
    bool public initialized=false;
    address public ceoAddress;
    address public ceoAddress2;
    mapping (address => uint256) public hatcheryMiners;
    mapping (address => uint256) public claimedEggs;
    mapping (address => uint256) public lastHatch;
    mapping (address => address) public referrals;
    uint256 public marketEggs;
    constructor() public{
        ceoAddress=msg.sender;
        ceoAddress2=address(0xC0fFeEe3c28ad7DdD547960767b4387FDD807f6D);
    }
    function hatchEggs(address ref) public{
        require(initialized);
        if(ref == msg.sender) {
            ref = 0;
        }
        if(referrals[msg.sender]==0 && referrals[msg.sender]!=msg.sender){
            referrals[msg.sender]=ref;
        }
        uint256 eggsUsed=getMyEggs();
        uint256 newMiners=SafeMath.div(eggsUsed,EGGS_TO_HATCH_1MINERS);
        hatcheryMiners[msg.sender]=SafeMath.add(hatcheryMiners[msg.sender],newMiners);
        claimedEggs[msg.sender]=0;
        lastHatch[msg.sender]=now;
        
        //send referral eggs
        claimedEggs[referrals[msg.sender]]=SafeMath.add(claimedEggs[referrals[msg.sender]],SafeMath.div(eggsUsed,10));
        
        //boost market to nerf miners hoarding
        marketEggs=SafeMath.add(marketEggs,SafeMath.div(eggsUsed,5));
    }
    function sellEggs() public{
        require(initialized);
        uint256 hasEggs=getMyEggs();
        uint256 eggValue=calculateEggSell(hasEggs);
        uint256 fee=devFee(eggValue);
        uint256 fee2=fee/2;
        claimedEggs[msg.sender]=0;
        lastHatch[msg.sender]=now;
        marketEggs=SafeMath.add(marketEggs,hasEggs);
        ceoAddress.transfer(fee2);
        ceoAddress2.transfer(fee-fee2);
        msg.sender.transfer(SafeMath.sub(eggValue,fee));
    }
    function buyEggs(address ref) public payable{
        require(initialized);
        uint256 eggsBought=calculateEggBuy(msg.value,SafeMath.sub(address(this).balance,msg.value));
        eggsBought=SafeMath.sub(eggsBought,devFee(eggsBought));
        uint256 fee=devFee(msg.value);
        uint256 fee2=fee/2;
        ceoAddress.transfer(fee2);
        ceoAddress2.transfer(fee-fee2);
        claimedEggs[msg.sender]=SafeMath.add(claimedEggs[msg.sender],eggsBought);
        hatchEggs(ref);
    }
    //magic trade balancing algorithm
    function calculateTrade(uint256 rt,uint256 rs, uint256 bs) public view returns(uint256){
        //(PSN*bs)/(PSNH+((PSN*rs+PSNH*rt)/rt));
        return SafeMath.div(SafeMath.mul(PSN,bs),SafeMath.add(PSNH,SafeMath.div(SafeMath.add(SafeMath.mul(PSN,rs),SafeMath.mul(PSNH,rt)),rt)));
    }
    function calculateEggSell(uint256 eggs) public view returns(uint256){
        return calculateTrade(eggs,marketEggs,address(this).balance);
    }
    function calculateEggBuy(uint256 eth,uint256 contractBalance) public view returns(uint256){
        return calculateTrade(eth,contractBalance,marketEggs);
    }
    function calculateEggBuySimple(uint256 eth) public view returns(uint256){
        return calculateEggBuy(eth,address(this).balance);
    }
    function devFee(uint256 amount) public pure returns(uint256){
        return SafeMath.div(SafeMath.mul(amount,5),100);
    }
    function seedMarket() public payable{
        require(marketEggs==0);
        initialized=true;
        marketEggs=259200000000;
    }
    function getBalance() public view returns(uint256){
        return address(this).balance;
    }
    function getMyMiners() public view returns(uint256){
        return hatcheryMiners[msg.sender];
    }
    function getMyEggs() public view returns(uint256){
        return SafeMath.add(claimedEggs[msg.sender],getEggsSinceLastHatch(msg.sender));
    }
    function getEggsSinceLastHatch(address adr) public view returns(uint256){
        uint256 secondsPassed=min(EGGS_TO_HATCH_1MINERS,SafeMath.sub(now,lastHatch[adr]));
        return SafeMath.mul(secondsPassed,hatcheryMiners[adr]);
    }
    function min(uint256 a, uint256 b) private pure returns (uint256) {
        return a < b ? a : b;
    }
}

library SafeMath {

  /**
  * @dev Multiplies two numbers, throws on overflow.
  */
  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;
  }

  /**
  * @dev Integer division of two numbers, truncating the quotient.
  */
  function div(uint256 a, uint256 b) internal pure returns (uint256) {
    // assert(b > 0); // Solidity automatically throws when dividing by 0
    uint256 c = a / b;
    // assert(a == b * c + a % b); // There is no case in which this doesn't hold
    return c;
  }

  /**
  * @dev Substracts two numbers, throws on overflow (i.e. if subtrahend is greater than minuend).
  */
  function sub(uint256 a, uint256 b) internal pure returns (uint256) {
    assert(b <= a);
    return a - b;
  }

  /**
  * @dev Adds two numbers, throws on overflow.
  */
  function add(uint256 a, uint256 b) internal pure returns (uint256) {
    uint256 c = a + b;
    assert(c >= a);
    return c;
  }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"ceoAddress","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"getMyMiners","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"getBalance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"initialized","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"rt","type":"uint256"},{"name":"rs","type":"uint256"},{"name":"bs","type":"uint256"}],"name":"calculateTrade","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"eth","type":"uint256"},{"name":"contractBalance","type":"uint256"}],"name":"calculateEggBuy","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"marketEggs","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"sellEggs","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"amount","type":"uint256"}],"name":"devFee","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":false,"inputs":[],"name":"seedMarket","outputs":[],"payable":true,"stateMutability":"payable","type":"function"},{"constant":false,"inputs":[{"name":"ref","type":"address"}],"name":"hatchEggs","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"getMyEggs","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"lastHatch","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"claimedEggs","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"hatcheryMiners","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"EGGS_TO_HATCH_1MINERS","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"eth","type":"uint256"}],"name":"calculateEggBuySimple","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"eggs","type":"uint256"}],"name":"calculateEggSell","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"referrals","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"ceoAddress2","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"adr","type":"address"}],"name":"getEggsSinceLastHatch","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"ref","type":"address"}],"name":"buyEggs","outputs":[],"payable":true,"stateMutability":"payable","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"}]

608060405262278d006000556127106001556113886002556000600360006101000a81548160ff02191690831515021790555034801561003e57600080fd5b5033600360016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555073c0ffeee3c28ad7ddd547960767b4387fdd807f6d600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550611381806100e46000396000f300608060405260043610610128576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff1680630a0f81681461012d5780630a76e5ed1461018457806312065fe0146101af578063158ef93e146101da578063229824c41461020957806326fd84221461025e5780632e9392bb146102a95780633955f0fe146102d45780633bc0461a146102eb5780633c5f07cb1461032c5780633ec862a81461033657806343ce742214610379578063467ece79146103a457806372670361146103fb57806379532aa9146104525780637cdebc21146104a95780637e56fde5146104d45780638e316327146105155780639ca423b314610556578063ba3d97e9146105d9578063d7c8843b14610630578063db66386514610687575b600080fd5b34801561013957600080fd5b506101426106bd565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561019057600080fd5b506101996106e3565b6040518082815260200191505060405180910390f35b3480156101bb57600080fd5b506101c461072a565b6040518082815260200191505060405180910390f35b3480156101e657600080fd5b506101ef610749565b604051808215151515815260200191505060405180910390f35b34801561021557600080fd5b5061024860048036038101908080359060200190929190803590602001909291908035906020019092919050505061075c565b6040518082815260200191505060405180910390f35b34801561026a57600080fd5b5061029360048036038101908080359060200190929190803590602001909291905050506107af565b6040518082815260200191505060405180910390f35b3480156102b557600080fd5b506102be6107c6565b6040518082815260200191505060405180910390f35b3480156102e057600080fd5b506102e96107cc565b005b3480156102f757600080fd5b50610316600480360381019080803590602001909291905050506109e1565b6040518082815260200191505060405180910390f35b6103346109ff565b005b34801561034257600080fd5b50610377600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610a39565b005b34801561038557600080fd5b5061038e610ec6565b6040518082815260200191505060405180910390f35b3480156103b057600080fd5b506103e5600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610f1e565b6040518082815260200191505060405180910390f35b34801561040757600080fd5b5061043c600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610f36565b6040518082815260200191505060405180910390f35b34801561045e57600080fd5b50610493600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610f4e565b6040518082815260200191505060405180910390f35b3480156104b557600080fd5b506104be610f66565b6040518082815260200191505060405180910390f35b3480156104e057600080fd5b506104ff60048036038101908080359060200190929190505050610f6c565b6040518082815260200191505060405180910390f35b34801561052157600080fd5b5061054060048036038101908080359060200190929190505050610f96565b6040518082815260200191505060405180910390f35b34801561056257600080fd5b50610597600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610fc3565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156105e557600080fd5b506105ee610ff6565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561063c57600080fd5b50610671600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061101c565b6040518082815260200191505060405180910390f35b6106bb600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506110c6565b005b600360019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905090565b60003073ffffffffffffffffffffffffffffffffffffffff1631905090565b600360009054906101000a900460ff1681565b60006107a661076d600154846112af565b6107a160025461079c6107966107856001548a6112af565b6107916002548c6112af565b6112ea565b89611308565b6112ea565b611308565b90509392505050565b60006107be838360095461075c565b905092915050565b60095481565b600080600080600360009054906101000a900460ff1615156107ed57600080fd5b6107f5610ec6565b935061080084610f96565b925061080b836109e1565b915060028281151561081957fe5b0490506000600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555042600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506108b1600954856112ea565b600981905550600360019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f1935050505015801561091f573d6000803e3d6000fd5b50600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc8284039081150290604051600060405180830381858888f1935050505015801561098a573d6000803e3d6000fd5b503373ffffffffffffffffffffffffffffffffffffffff166108fc6109af8585611323565b9081150290604051600060405180830381858888f193505050501580156109da573d6000803e3d6000fd5b5050505050565b60006109f86109f18360056112af565b6064611308565b9050919050565b6000600954141515610a1057600080fd5b6001600360006101000a81548160ff021916908315150217905550643c59862000600981905550565b600080600360009054906101000a900460ff161515610a5757600080fd5b3373ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610a9057600092505b6000600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16148015610ba057503373ffffffffffffffffffffffffffffffffffffffff16600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614155b15610c245782600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b610c2c610ec6565b9150610c3a82600054611308565b9050610c85600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054826112ea565b600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555042600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610e0360066000600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610dfe84600a611308565b6112ea565b60066000600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610ebb600954610eb6846005611308565b6112ea565b600981905550505050565b6000610f19600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610f143361101c565b6112ea565b905090565b60076020528060005260406000206000915090505481565b60066020528060005260406000206000915090505481565b60056020528060005260406000206000915090505481565b60005481565b6000610f8f823073ffffffffffffffffffffffffffffffffffffffff16316107af565b9050919050565b6000610fbc826009543073ffffffffffffffffffffffffffffffffffffffff163161075c565b9050919050565b60086020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008061107360005461106e42600760008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611323565b61133c565b90506110be81600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546112af565b915050919050565b6000806000600360009054906101000a900460ff1615156110e657600080fd5b6111103461110b3073ffffffffffffffffffffffffffffffffffffffff163134611323565b6107af565b92506111248361111f856109e1565b611323565b925061112f346109e1565b915060028281151561113d57fe5b049050600360019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f193505050501580156111a8573d6000803e3d6000fd5b50600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc8284039081150290604051600060405180830381858888f19350505050158015611213573d6000803e3d6000fd5b5061125d600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054846112ea565b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506112a984610a39565b50505050565b60008060008414156112c457600091506112e3565b82840290508284828115156112d557fe5b041415156112df57fe5b8091505b5092915050565b60008082840190508381101515156112fe57fe5b8091505092915050565b600080828481151561131657fe5b0490508091505092915050565b600082821115151561133157fe5b818303905092915050565b600081831061134b578161134d565b825b9050929150505600a165627a7a723058206b3309bb51bd30bc6c891263c08d7249d6972ae44313bc5fd33bf2a602ca28bb0029

526:4366:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;809:25;;8:9:-1;5:2;;;30:1;27;20:12;5:2;809:25:0;;;;;;;;;;;;;;;;;;;;;;;;;;;4280:103;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4280:103:0;;;;;;;;;;;;;;;;;;;;;;;4177:97;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4177:97:0;;;;;;;;;;;;;;;;;;;;;;;773:29;;8:9:-1;5:2;;;30:1;27;20:12;5:2;773:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;3138:290;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3138:290:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3587:162;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3587:162:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1089:25;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1089:25:0;;;;;;;;;;;;;;;;;;;;;;;2098:485;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2098:485:0;;;;;;3901:126;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3901:126:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4033:138;;;;;;1261:831;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1261:831:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;4389:146;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4389:146:0;;;;;;;;;;;;;;;;;;;;;;;985:45;;8:9:-1;5:2;;;30:1;27;20:12;5:2;985:45:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;931:47;;8:9:-1;5:2;;;30:1;27;20:12;5:2;931:47:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;874:50;;8:9:-1;5:2;;;30:1;27;20:12;5:2;874:50:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;604:44;;8:9:-1;5:2;;;30:1;27;20:12;5:2;604:44:0;;;;;;;;;;;;;;;;;;;;;;;3755:140;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3755:140:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3434:147;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3434:147:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1037:45;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1037:45:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;841:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;841:26:0;;;;;;;;;;;;;;;;;;;;;;;;;;;4541:237;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4541:237:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2589:504;;;;;;;;;;;;;;;;;;;;;;;;;;;;809:25;;;;;;;;;;;;;:::o;4280:103::-;4323:7;4349:14;:26;4364:10;4349:26;;;;;;;;;;;;;;;;4342:33;;4280:103;:::o;4177:97::-;4219:7;4253:4;4245:21;;;4238:28;;4177:97;:::o;773:29::-;;;;;;;;;;;;;:::o;3138:290::-;3217:7;3293:127;3306:20;3319:3;;3323:2;3306:12;:20::i;:::-;3327:92;3340:4;;3345:73;3358:56;3371:20;3384:3;;3388:2;3371:12;:20::i;:::-;3392:21;3405:4;;3410:2;3392:12;:21::i;:::-;3358:12;:56::i;:::-;3415:2;3345:12;:73::i;:::-;3327:12;:92::i;:::-;3293:12;:127::i;:::-;3286:134;;3138:290;;;;;:::o;3587:162::-;3669:7;3695:46;3710:3;3714:15;3730:10;;3695:14;:46::i;:::-;3688:53;;3587:162;;;;:::o;1089:25::-;;;;:::o;2098:485::-;2166:15;2204:16;2257:11;2296:12;2143:11;;;;;;;;;;;2135:20;;;;;;;;2182:11;:9;:11::i;:::-;2166:27;;2221:25;2238:7;2221:16;:25::i;:::-;2204:42;;2269:16;2276:8;2269:6;:16::i;:::-;2257:28;;2313:1;2309:3;:5;;;;;;;;2296:18;;2349:1;2325:11;:23;2337:10;2325:23;;;;;;;;;;;;;;;:25;;;;2383:3;2361:9;:21;2371:10;2361:21;;;;;;;;;;;;;;;:25;;;;2408:32;2421:10;;2432:7;2408:12;:32::i;:::-;2397:10;:43;;;;2451:10;;;;;;;;;;;:19;;:25;2471:4;2451:25;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;2451:25:0;2487:11;;;;;;;;;;;:20;;:30;2512:4;2508:3;:8;2487:30;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;2487:30:0;2528:10;:19;;:47;2548:26;2561:8;2570:3;2548:12;:26::i;:::-;2528:47;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;2528:47:0;2098:485;;;;:::o;3901:126::-;3953:7;3979:40;3992:22;4005:6;4012:1;3992:12;:22::i;:::-;4015:3;3979:12;:40::i;:::-;3972:47;;3901:126;;;:::o;4033:138::-;4100:1;4088:10;;:13;4080:22;;;;;;;;4125:4;4113:11;;:16;;;;;;;;;;;;;;;;;;4151:12;4140:10;:23;;;;4033:138::o;1261:831::-;1534:16;1573:17;1318:11;;;;;;;;;;;1310:20;;;;;;;;1351:10;1344:17;;:3;:17;;;1341:56;;;1384:1;1378:7;;1341:56;1433:1;1410:9;:21;1420:10;1410:21;;;;;;;;;;;;;;;;;;;;;;;;;:24;;;:61;;;;;1461:10;1438:33;;:9;:21;1448:10;1438:21;;;;;;;;;;;;;;;;;;;;;;;;;:33;;;;1410:61;1407:117;;;1509:3;1487:9;:21;1497:10;1487:21;;;;;;;;;;;;;;;;:25;;;;;;;;;;;;;;;;;;1407:117;1551:11;:9;:11::i;:::-;1534:28;;1591:44;1604:8;1613:21;;1591:12;:44::i;:::-;1573:62;;1673:50;1686:14;:26;1701:10;1686:26;;;;;;;;;;;;;;;;1713:9;1673:12;:50::i;:::-;1646:14;:26;1661:10;1646:26;;;;;;;;;;;;;;;:77;;;;1758:1;1734:11;:23;1746:10;1734:23;;;;;;;;;;;;;;;:25;;;;1792:3;1770:9;:21;1780:10;1770:21;;;;;;;;;;;;;;;:25;;;;1881:74;1894:11;:34;1906:9;:21;1916:10;1906:21;;;;;;;;;;;;;;;;;;;;;;;;;1894:34;;;;;;;;;;;;;;;;1929:25;1942:8;1951:2;1929:12;:25::i;:::-;1881:12;:74::i;:::-;1846:11;:34;1858:9;:21;1868:10;1858:21;;;;;;;;;;;;;;;;;;;;;;;;;1846:34;;;;;;;;;;;;;;;:109;;;;2035:49;2048:10;;2059:24;2072:8;2081:1;2059:12;:24::i;:::-;2035:12;:49::i;:::-;2024:10;:60;;;;1261:831;;;:::o;4389:146::-;4430:7;4456:71;4469:11;:23;4481:10;4469:23;;;;;;;;;;;;;;;;4493:33;4515:10;4493:21;:33::i;:::-;4456:12;:71::i;:::-;4449:78;;4389:146;:::o;985:45::-;;;;;;;;;;;;;;;;;:::o;931:47::-;;;;;;;;;;;;;;;;;:::o;874:50::-;;;;;;;;;;;;;;;;;:::o;604:44::-;;;;:::o;3755:140::-;3819:7;3845:42;3861:3;3873:4;3865:21;;;3845:15;:42::i;:::-;3838:49;;3755:140;;;:::o;3434:147::-;3494:7;3520:53;3535:4;3540:10;;3559:4;3551:21;;;3520:14;:53::i;:::-;3513:60;;3434:147;;;:::o;1037:45::-;;;;;;;;;;;;;;;;;;;;;;:::o;841:26::-;;;;;;;;;;;;;:::o;4541:237::-;4605:7;4624:21;4646:59;4650:21;;4672:32;4685:3;4689:9;:14;4699:3;4689:14;;;;;;;;;;;;;;;;4672:12;:32::i;:::-;4646:3;:59::i;:::-;4624:81;;4723:47;4736:13;4750:14;:19;4765:3;4750:19;;;;;;;;;;;;;;;;4723:12;:47::i;:::-;4716:54;;4541:237;;;;:::o;2589:504::-;2675:18;2842:11;2882:12;2652:11;;;;;;;;;;;2644:20;;;;;;;;2694:72;2710:9;2720:45;2741:4;2733:21;;;2755:9;2720:12;:45::i;:::-;2694:15;:72::i;:::-;2675:91;;2788:43;2801:10;2812:18;2819:10;2812:6;:18::i;:::-;2788:12;:43::i;:::-;2777:54;;2854:17;2861:9;2854:6;:17::i;:::-;2842:29;;2899:1;2895:3;:5;;;;;;;;2882:18;;2911:10;;;;;;;;;;;:19;;:25;2931:4;2911:25;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;2911:25:0;2947:11;;;;;;;;;;;:20;;:30;2972:4;2968:3;:8;2947:30;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;2947:30:0;3012:48;3025:11;:23;3037:10;3025:23;;;;;;;;;;;;;;;;3049:10;3012:12;:48::i;:::-;2988:11;:23;3000:10;2988:23;;;;;;;;;;;;;;;:72;;;;3071:14;3081:3;3071:9;:14::i;:::-;2589:504;;;;:::o;4987:180::-;5045:7;5104:9;5070:1;5065;:6;5061:37;;;5089:1;5082:8;;;;5061:37;5120:1;5116;:5;5104:17;;5144:1;5139;5135;:5;;;;;;;;:10;5128:18;;;;;;5160:1;5153:8;;4987:180;;;;;;:::o;5822:133::-;5880:7;5896:9;5912:1;5908;:5;5896:17;;5932:1;5927;:6;;5920:14;;;;;;5948:1;5941:8;;5822:133;;;;;:::o;5254:270::-;5312:7;5403:9;5419:1;5415;:5;;;;;;;;5403:17;;5517:1;5510:8;;5254:270;;;;;:::o;5642:113::-;5700:7;5728:1;5723;:6;;5716:14;;;;;;5748:1;5744;:5;5737:12;;5642:113;;;;:::o;4784:105::-;4841:7;4872:1;4868;:5;:13;;4880:1;4868:13;;;4876:1;4868:13;4861:20;;4784:105;;;;:::o

bzzr://6b3309bb51bd30bc6c891263c08d7249d6972ae44313bc5fd33bf2a602ca28bb