Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract Lottery *
•    - function()
•    - function buyTicket(uint16 _ticket)
•    - function buyTicket2(uint16 _ticket2)
•    - function buyTicket3(uint16 _ticket3)
•    - function sendReward()
•    - function sendReward2()
•    - function sendReward3()
•    - function lotteryPicker()
•    - function lotteryPicker2()
•    - function lotteryPicker3()
•    - function reset()
•    - function reset2()
•    - function reset3()
•    - function restart()
•    - function restart2()
•    - function restart3()
•    - function getTicketsPurchased()
•    - function getTicketsPurchased2()
•    - function getTicketsPurchased3()
•    - function transferowner()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-09-14
*/

pragma solidity ^0.4.25;

contract Lottery {

    event LotteryTicketPurchased(address indexed _purchaser, uint256 _ticketID, uint256 ticketsBought);
    event LotteryAmountPaid(address indexed _winner, uint64 _ticketID, uint256 _amount);
    event LotteryTicketPurchased2(address indexed _purchaser2, uint256 _ticketID2, uint256 ticketsBought2);
    event LotteryAmountPaid2(address indexed _winner2, uint64 _ticketID2, uint256 _amount2);
    event LotteryTicketPurchased3(address indexed _purchaser3, uint256 _ticketID3, uint256 ticketsBought3);
    event LotteryAmountPaid3(address indexed _winner3, uint64 _ticketID3, uint256 _amount3);

    // Note: prone to change
    uint64 public ticketPrice = 0.01 ether;
    uint64 public ticketMax = 5;
    uint64 public ticketPrice2 = 0.1 ether;
    uint64 public ticketMax2 = 5;
    uint64 public ticketPrice3 = 1 ether;
    uint64 public ticketMax3 = 5;
    address owner;
    // Initialize mapping
    address[6] public ticketMapping;
    uint256 public ticketsBought = 0;
    address[6] public ticketMapping2;
    uint256 public ticketsBought2 = 0;
    address[6] public ticketMapping3;
    uint256 public ticketsBought3 = 0;
    address public fee = 0x0d42b0e471C0A702dfe12417e2354cc9F1680A09;
    
    // Prevent potential locked funds by checking greater than
  
    modifier allTicketsSold() {
      require(ticketsBought >= ticketMax);
      _;
    }
    modifier allTicketsSold2() {
      require(ticketsBought2 >= ticketMax2);
      _;
    }
    modifier allTicketsSold3() {
      require(ticketsBought3 >= ticketMax3);
      _;
    }
    constructor() public{
        owner = msg.sender;
    }

    /* @dev Tickets may only be purchased through the buyTickets function */
    function() payable public{
      revert();
    }

    /**
      * @dev Purchase ticket and send reward if necessary
      * @param _ticket Ticket number to purchase
      * @return bool Validity of transaction
      */
    function buyTicket(uint16 _ticket) payable public returns (bool) {
      require(msg.value == ticketPrice);
      require(_ticket > 0 && _ticket < ticketMax + 1);
      require(ticketMapping[_ticket] == address(0));
      require(ticketsBought < ticketMax);

      // Avoid reentrancy attacks
      address purchaser = msg.sender;
      ticketsBought += 1;
      ticketMapping[_ticket] = purchaser;
      emit LotteryTicketPurchased(purchaser, _ticket, ticketsBought);

      /** Placing the "burden" of sendReward() on the last ticket
        * buyer is okay, because the refund from destroying the
        * arrays decreases net gas cost
        */
      if (ticketsBought>=ticketMax) {
        sendReward();
      }

      return true;
    }

    function buyTicket2(uint16 _ticket2) payable public returns (bool) {
      require(msg.value == ticketPrice2);
      require(_ticket2 > 0 && _ticket2 < ticketMax2 + 1);
      require(ticketMapping2[_ticket2] == address(0));
      require(ticketsBought2 < ticketMax2);

      // Avoid reentrancy attacks
      address purchaser2 = msg.sender;
      ticketsBought2 += 1;
      ticketMapping2[_ticket2] = purchaser2;
      emit LotteryTicketPurchased2(purchaser2, _ticket2, ticketsBought2);

      /** Placing the "burden" of sendReward() on the last ticket
        * buyer is okay, because the refund from destroying the
        * arrays decreases net gas cost
        */
      if (ticketsBought2>=ticketMax2) {
        sendReward2();
      }

      return true;
    }

function buyTicket3(uint16 _ticket3) payable public returns (bool) {
      require(msg.value == ticketPrice3);
      require(_ticket3 > 0 && _ticket3 < ticketMax3 + 1);
      require(ticketMapping3[_ticket3] == address(0));
      require(ticketsBought3 < ticketMax3);

      // Avoid reentrancy attacks
      address purchaser3 = msg.sender;
      ticketsBought3 += 1;
      ticketMapping3[_ticket3] = purchaser3;
      emit LotteryTicketPurchased3(purchaser3, _ticket3, ticketsBought3);

      /** Placing the "burden" of sendReward() on the last ticket
        * buyer is okay, because the refund from destroying the
        * arrays decreases net gas cost
        */
      if (ticketsBought3>=ticketMax3) {
        sendReward3();
      }

      return true;
    }

    /**
      * @dev Send lottery winner their reward
      * @return address of winner
      */
    function sendReward() public allTicketsSold returns (address) {
      uint64 winningNumber = lotteryPicker();
      address winner = ticketMapping[winningNumber];
      uint256 totalAmount = ticketMax * ticketPrice;

      // Prevent locked funds by sending to bad address
      require(winner != address(0));

      // Prevent reentrancy
      reset();
      winner.transfer(0.045 ether);
      fee.transfer(0.005 ether);
      emit LotteryAmountPaid(winner, winningNumber, totalAmount);
      return winner;
    }

    function sendReward2() public allTicketsSold2 returns (address) {
      uint64 winningNumber2 = lotteryPicker2();
      address winner2 = ticketMapping2[winningNumber2];
      uint256 totalAmount2 = ticketMax2 * ticketPrice2;

      // Prevent locked funds by sending to bad address
      require(winner2 != address(0));

      // Prevent reentrancy
      reset2();
      winner2.transfer(0.45 ether);
      fee.transfer(0.05 ether);
      emit LotteryAmountPaid2(winner2, winningNumber2, totalAmount2);
      return winner2;
    }

    function sendReward3() public allTicketsSold3 returns (address) {
      uint64 winningNumber3 = lotteryPicker3();
      address winner3 = ticketMapping3[winningNumber3];
      uint256 totalAmount3 = ticketMax3 * ticketPrice3;

      // Prevent locked funds by sending to bad address
      require(winner3 != address(0));

      // Prevent reentrancy
      reset3();
      winner3.transfer(4.5 ether);
      fee.transfer(0.5 ether);
      emit LotteryAmountPaid3(winner3, winningNumber3, totalAmount3);
      return winner3;
    }

    /* @return a random number based off of current block information */
    function lotteryPicker() public view allTicketsSold returns (uint64) {
      bytes memory entropy = abi.encodePacked(block.timestamp, block.number);
      bytes32 hash = sha256(entropy);
      return uint64(hash) % ticketMax;
    }

    function lotteryPicker2() public view allTicketsSold2 returns (uint64) {
      bytes memory entropy2 = abi.encodePacked(block.timestamp, block.number);
      bytes32 hash = sha256(entropy2);
      return uint64(hash) % ticketMax2;
    }

    function lotteryPicker3() public view allTicketsSold3 returns (uint64) {
      bytes memory entropy3 = abi.encodePacked(block.timestamp, block.number);
      bytes32 hash = sha256(entropy3);
      return uint64(hash) % ticketMax3;
    }

    /* @dev Reset lottery mapping once a round is finished */
    function reset() private allTicketsSold returns (bool) {
      ticketsBought = 0;
      for(uint x = 0; x < ticketMax+1; x++) {
        delete ticketMapping[x];
      }
      return true;
    }

    function reset2() private allTicketsSold2 returns (bool) {
      ticketsBought2 = 0;
      for(uint x = 0; x < ticketMax2+1; x++) {
        delete ticketMapping2[x];
      }
      return true;
    }

    function reset3() private allTicketsSold3 returns (bool) {
      ticketsBought3 = 0;
      for(uint x = 0; x < ticketMax3+1; x++) {
        delete ticketMapping3[x];
      }
      return true;
    }
    
    function restart() public returns (bool){
        require (msg.sender == owner);
        ticketsBought = 0;
      for(uint x = 0; x < ticketMax+1; x++) {
        delete ticketMapping[x];
      }
      return true;
    }

    function restart2() public returns (bool){
        require (msg.sender == owner);
        ticketsBought2 = 0;
      for(uint x = 0; x < ticketMax2+1; x++) {
        delete ticketMapping2[x];
      }
      return true;
    }

    function restart3() public returns (bool){
        require (msg.sender == owner);
        ticketsBought3 = 0;
      for(uint x = 0; x < ticketMax3+1; x++) {
        delete ticketMapping3[x];
      }
      return true;
    }
    /** @dev Returns ticket map array for front-end access.
      * Using a getter method is ineffective since it allows
      * only element-level access
      */
    function getTicketsPurchased() public view returns(address[6]) {
      return ticketMapping;
    }

    function getTicketsPurchased2() public view returns(address[6]) {
      return ticketMapping2;
    }

    function getTicketsPurchased3() public view returns(address[6]) {
      return ticketMapping3;
    }
     function transferowner() public returns (bool){
        require (msg.sender == owner);
        owner.transfer(this.balance); 
     }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"getTicketsPurchased3","outputs":[{"name":"","type":"address[6]"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"lotteryPicker","outputs":[{"name":"","type":"uint64"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"lotteryPicker3","outputs":[{"name":"","type":"uint64"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"sendReward","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"ticketPrice","outputs":[{"name":"","type":"uint64"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"restart","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"sendReward3","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"sendReward2","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_ticket","type":"uint16"}],"name":"buyTicket","outputs":[{"name":"","type":"bool"}],"payable":true,"stateMutability":"payable","type":"function"},{"constant":true,"inputs":[],"name":"ticketsBought2","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"ticketPrice3","outputs":[{"name":"","type":"uint64"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_ticket2","type":"uint16"}],"name":"buyTicket2","outputs":[{"name":"","type":"bool"}],"payable":true,"stateMutability":"payable","type":"function"},{"constant":true,"inputs":[],"name":"getTicketsPurchased","outputs":[{"name":"","type":"address[6]"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"uint256"}],"name":"ticketMapping","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"restart2","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"ticketMax3","outputs":[{"name":"","type":"uint64"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"uint256"}],"name":"ticketMapping2","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"lotteryPicker2","outputs":[{"name":"","type":"uint64"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"ticketPrice2","outputs":[{"name":"","type":"uint64"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"ticketsBought3","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"ticketsBought","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"uint256"}],"name":"ticketMapping3","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"restart3","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"ticketMax2","outputs":[{"name":"","type":"uint64"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"fee","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"getTicketsPurchased2","outputs":[{"name":"","type":"address[6]"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"ticketMax","outputs":[{"name":"","type":"uint64"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_ticket3","type":"uint16"}],"name":"buyTicket3","outputs":[{"name":"","type":"bool"}],"payable":true,"stateMutability":"payable","type":"function"},{"constant":false,"inputs":[],"name":"transferowner","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"payable":true,"stateMutability":"payable","type":"fallback"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_purchaser","type":"address"},{"indexed":false,"name":"_ticketID","type":"uint256"},{"indexed":false,"name":"ticketsBought","type":"uint256"}],"name":"LotteryTicketPurchased","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_winner","type":"address"},{"indexed":false,"name":"_ticketID","type":"uint64"},{"indexed":false,"name":"_amount","type":"uint256"}],"name":"LotteryAmountPaid","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_purchaser2","type":"address"},{"indexed":false,"name":"_ticketID2","type":"uint256"},{"indexed":false,"name":"ticketsBought2","type":"uint256"}],"name":"LotteryTicketPurchased2","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_winner2","type":"address"},{"indexed":false,"name":"_ticketID2","type":"uint64"},{"indexed":false,"name":"_amount2","type":"uint256"}],"name":"LotteryAmountPaid2","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_purchaser3","type":"address"},{"indexed":false,"name":"_ticketID3","type":"uint256"},{"indexed":false,"name":"ticketsBought3","type":"uint256"}],"name":"LotteryTicketPurchased3","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_winner3","type":"address"},{"indexed":false,"name":"_ticketID3","type":"uint64"},{"indexed":false,"name":"_amount3","type":"uint256"}],"name":"LotteryAmountPaid3","type":"event"}]

6080604052662386f26fc100006000806101000a81548167ffffffffffffffff021916908367ffffffffffffffff1602179055506005600060086101000a81548167ffffffffffffffff021916908367ffffffffffffffff16021790555067016345785d8a0000600060106101000a81548167ffffffffffffffff021916908367ffffffffffffffff1602179055506005600060186101000a81548167ffffffffffffffff021916908367ffffffffffffffff160217905550670de0b6b3a7640000600160006101000a81548167ffffffffffffffff021916908367ffffffffffffffff1602179055506005600160086101000a81548167ffffffffffffffff021916908367ffffffffffffffff160217905550600060095560006010556000601755730d42b0e471c0a702dfe12417e2354cc9f1680a09601860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555034801561018357600080fd5b5033600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506122bc806101d46000396000f300608060405260043610610175576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff168063030c48881461017a57806304bccf7a146101cd5780630c0d79431461020c5780631149a81a1461024b5780631209b1f6146102a25780631ef3755d146102e15780633bd4d596146103105780633ec492b3146103675780634eefee34146103be5780635f1fff5c146103fa578063676c464e1461042557806368e45122146104645780637cdcc30e146104a05780637f702e80146104f357806380183aa6146105605780638a7b17341461058f5780638c6d778e146105ce5780639f9206bc1461063b578063a27c7cdc1461067a578063a7525844146106b9578063af4a047a146106e4578063bab3f8c91461070f578063d1a810581461077c578063d6d5a0d9146107ab578063ddca3f43146107ea578063dfae258714610841578063e3075e4e14610894578063ed14c122146108d3578063f978c36f1461090f575b600080fd5b34801561018657600080fd5b5061018f61093e565b6040518082600660200280838360005b838110156101ba57808201518184015260208101905061019f565b5050505090500191505060405180910390f35b3480156101d957600080fd5b506101e26109bf565b604051808267ffffffffffffffff1667ffffffffffffffff16815260200191505060405180910390f35b34801561021857600080fd5b50610221610b04565b604051808267ffffffffffffffff1667ffffffffffffffff16815260200191505060405180910390f35b34801561025757600080fd5b50610260610c4a565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156102ae57600080fd5b506102b7610e78565b604051808267ffffffffffffffff1667ffffffffffffffff16815260200191505060405180910390f35b3480156102ed57600080fd5b506102f6610e91565b604051808215151515815260200191505060405180910390f35b34801561031c57600080fd5b50610325610f70565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561037357600080fd5b5061037c6111a1565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6103e0600480360381019080803561ffff1690602001909291905050506113d1565b604051808215151515815260200191505060405180910390f35b34801561040657600080fd5b5061040f6115e7565b6040518082815260200191505060405180910390f35b34801561043157600080fd5b5061043a6115ed565b604051808267ffffffffffffffff1667ffffffffffffffff16815260200191505060405180910390f35b610486600480360381019080803561ffff169060200190929190505050611607565b604051808215151515815260200191505060405180910390f35b3480156104ac57600080fd5b506104b561181e565b6040518082600660200280838360005b838110156104e05780820151818401526020810190506104c5565b5050505090500191505060405180910390f35b3480156104ff57600080fd5b5061051e6004803603810190808035906020019092919050505061189f565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561056c57600080fd5b506105756118d4565b604051808215151515815260200191505060405180910390f35b34801561059b57600080fd5b506105a46119b3565b604051808267ffffffffffffffff1667ffffffffffffffff16815260200191505060405180910390f35b3480156105da57600080fd5b506105f9600480360381019080803590602001909291905050506119cd565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561064757600080fd5b50610650611a02565b604051808267ffffffffffffffff1667ffffffffffffffff16815260200191505060405180910390f35b34801561068657600080fd5b5061068f611b47565b604051808267ffffffffffffffff1667ffffffffffffffff16815260200191505060405180910390f35b3480156106c557600080fd5b506106ce611b61565b6040518082815260200191505060405180910390f35b3480156106f057600080fd5b506106f9611b67565b6040518082815260200191505060405180910390f35b34801561071b57600080fd5b5061073a60048036038101908080359060200190929190505050611b6d565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561078857600080fd5b50610791611ba2565b604051808215151515815260200191505060405180910390f35b3480156107b757600080fd5b506107c0611c80565b604051808267ffffffffffffffff1667ffffffffffffffff16815260200191505060405180910390f35b3480156107f657600080fd5b506107ff611c9a565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561084d57600080fd5b50610856611cc0565b6040518082600660200280838360005b83811015610881578082015181840152602081019050610866565b5050505090500191505060405180910390f35b3480156108a057600080fd5b506108a9611d41565b604051808267ffffffffffffffff1667ffffffffffffffff16815260200191505060405180910390f35b6108f5600480360381019080803561ffff169060200190929190505050611d5b565b604051808215151515815260200191505060405180910390f35b34801561091b57600080fd5b50610924611f71565b604051808215151515815260200191505060405180910390f35b61094661226d565b60116006806020026040519081016040528092919082600680156109b5576020028201915b8160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001906001019080831161096b575b5050505050905090565b6000606060008060089054906101000a900467ffffffffffffffff1667ffffffffffffffff16600954101515156109f557600080fd5b4243604051602001808381526020018281526020019250505060405160208183030381529060405291506002826040518082805190602001908083835b602083101515610a575780518252602082019150602081019050602083039250610a32565b6001836020036101000a0380198251168184511680821785525050505050509050019150506020604051808303816000865af1158015610a9b573d6000803e3d6000fd5b5050506040513d6020811015610ab057600080fd5b81019080805190602001909291905050509050600060089054906101000a900467ffffffffffffffff1667ffffffffffffffff16816001900467ffffffffffffffff16811515610afc57fe5b069250505090565b600060606000600160089054906101000a900467ffffffffffffffff1667ffffffffffffffff1660175410151515610b3b57600080fd5b4243604051602001808381526020018281526020019250505060405160208183030381529060405291506002826040518082805190602001908083835b602083101515610b9d5780518252602082019150602081019050602083039250610b78565b6001836020036101000a0380198251168184511680821785525050505050509050019150506020604051808303816000865af1158015610be1573d6000803e3d6000fd5b5050506040513d6020811015610bf657600080fd5b81019080805190602001909291905050509050600160089054906101000a900467ffffffffffffffff1667ffffffffffffffff16816001900467ffffffffffffffff16811515610c4257fe5b069250505090565b600080600080600060089054906101000a900467ffffffffffffffff1667ffffffffffffffff1660095410151515610c8157600080fd5b610c896109bf565b925060038367ffffffffffffffff16600681101515610ca457fe5b0160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1691506000809054906101000a900467ffffffffffffffff16600060089054906101000a900467ffffffffffffffff160267ffffffffffffffff169050600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614151515610d3e57600080fd5b610d46612052565b508173ffffffffffffffffffffffffffffffffffffffff166108fc669fdf42f6e480009081150290604051600060405180830381858888f19350505050158015610d94573d6000803e3d6000fd5b50601860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc6611c37937e080009081150290604051600060405180830381858888f19350505050158015610e04573d6000803e3d6000fd5b508173ffffffffffffffffffffffffffffffffffffffff167f88e10e2c5fc124e16534a2656bbb0d35e634b6b45da693604ba908af778b15c28483604051808367ffffffffffffffff1667ffffffffffffffff1681526020018281526020019250505060405180910390a281935050505090565b6000809054906101000a900467ffffffffffffffff1681565b600080600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610ef057600080fd5b6000600981905550600090505b6001600060089054906101000a900467ffffffffffffffff160167ffffffffffffffff16811015610f6857600381600681101515610f3757fe5b0160006101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690558080600101915050610efd565b600191505090565b600080600080600160089054906101000a900467ffffffffffffffff1667ffffffffffffffff1660175410151515610fa757600080fd5b610faf610b04565b925060118367ffffffffffffffff16600681101515610fca57fe5b0160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169150600160009054906101000a900467ffffffffffffffff16600160089054906101000a900467ffffffffffffffff160267ffffffffffffffff169050600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561106557600080fd5b61106d612106565b508173ffffffffffffffffffffffffffffffffffffffff166108fc673e733628714200009081150290604051600060405180830381858888f193505050501580156110bc573d6000803e3d6000fd5b50601860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc6706f05b59d3b200009081150290604051600060405180830381858888f1935050505015801561112d573d6000803e3d6000fd5b508173ffffffffffffffffffffffffffffffffffffffff167fcf7a68e11a3829a965915eb57d22df0ab48fa472200e74edd2fb0c2c86c2362e8483604051808367ffffffffffffffff1667ffffffffffffffff1681526020018281526020019250505060405180910390a281935050505090565b600080600080600060189054906101000a900467ffffffffffffffff1667ffffffffffffffff16601054101515156111d857600080fd5b6111e0611a02565b9250600a8367ffffffffffffffff166006811015156111fb57fe5b0160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169150600060109054906101000a900467ffffffffffffffff16600060189054906101000a900467ffffffffffffffff160267ffffffffffffffff169050600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561129657600080fd5b61129e6121b9565b508173ffffffffffffffffffffffffffffffffffffffff166108fc67063eb89da4ed00009081150290604051600060405180830381858888f193505050501580156112ed573d6000803e3d6000fd5b50601860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc66b1a2bc2ec500009081150290604051600060405180830381858888f1935050505015801561135d573d6000803e3d6000fd5b508173ffffffffffffffffffffffffffffffffffffffff167f6deb7cdd9746fab71ecbee319830cf8902029d2de688f927341728fecfe34fe98483604051808367ffffffffffffffff1667ffffffffffffffff1681526020018281526020019250505060405180910390a281935050505090565b6000806000809054906101000a900467ffffffffffffffff1667ffffffffffffffff163414151561140157600080fd5b60008361ffff1611801561143b57506001600060089054906101000a900467ffffffffffffffff160167ffffffffffffffff168361ffff16105b151561144657600080fd5b600073ffffffffffffffffffffffffffffffffffffffff1660038461ffff1660068110151561147157fe5b0160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415156114b557600080fd5b600060089054906101000a900467ffffffffffffffff1667ffffffffffffffff166009541015156114e557600080fd5b33905060016009600082825401925050819055508060038461ffff1660068110151561150d57fe5b0160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff167f01dfc6cac2f54848e860087ed179eaa774b50ba2b2daf8e800d30f649be5e5b384600954604051808361ffff1681526020018281526020019250505060405180910390a2600060089054906101000a900467ffffffffffffffff1667ffffffffffffffff166009541015156115dd576115db610c4a565b505b6001915050919050565b60105481565b600160009054906101000a900467ffffffffffffffff1681565b600080600060109054906101000a900467ffffffffffffffff1667ffffffffffffffff163414151561163857600080fd5b60008361ffff1611801561167257506001600060189054906101000a900467ffffffffffffffff160167ffffffffffffffff168361ffff16105b151561167d57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff16600a8461ffff166006811015156116a857fe5b0160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415156116ec57600080fd5b600060189054906101000a900467ffffffffffffffff1667ffffffffffffffff1660105410151561171c57600080fd5b339050600160106000828254019250508190555080600a8461ffff1660068110151561174457fe5b0160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff167f52edfc04c40d5c77bbe1375beb104b078ca095874ba07c5e49922c15066fdb8384601054604051808361ffff1681526020018281526020019250505060405180910390a2600060189054906101000a900467ffffffffffffffff1667ffffffffffffffff16601054101515611814576118126111a1565b505b6001915050919050565b61182661226d565b6003600680602002604051908101604052809291908260068015611895576020028201915b8160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001906001019080831161184b575b5050505050905090565b6003816006811015156118ae57fe5b016000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600080600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561193357600080fd5b6000601081905550600090505b6001600060189054906101000a900467ffffffffffffffff160167ffffffffffffffff168110156119ab57600a8160068110151561197a57fe5b0160006101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690558080600101915050611940565b600191505090565b600160089054906101000a900467ffffffffffffffff1681565b600a816006811015156119dc57fe5b016000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000606060008060189054906101000a900467ffffffffffffffff1667ffffffffffffffff1660105410151515611a3857600080fd5b4243604051602001808381526020018281526020019250505060405160208183030381529060405291506002826040518082805190602001908083835b602083101515611a9a5780518252602082019150602081019050602083039250611a75565b6001836020036101000a0380198251168184511680821785525050505050509050019150506020604051808303816000865af1158015611ade573d6000803e3d6000fd5b5050506040513d6020811015611af357600080fd5b81019080805190602001909291905050509050600060189054906101000a900467ffffffffffffffff1667ffffffffffffffff16816001900467ffffffffffffffff16811515611b3f57fe5b069250505090565b600060109054906101000a900467ffffffffffffffff1681565b60175481565b60095481565b601181600681101515611b7c57fe5b016000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600080600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611c0157600080fd5b6000601781905550600090505b60018060089054906101000a900467ffffffffffffffff160167ffffffffffffffff16811015611c7857601181600681101515611c4757fe5b0160006101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690558080600101915050611c0e565b600191505090565b600060189054906101000a900467ffffffffffffffff1681565b601860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b611cc861226d565b600a600680602002604051908101604052809291908260068015611d37576020028201915b8160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019060010190808311611ced575b5050505050905090565b600060089054906101000a900467ffffffffffffffff1681565b600080600160009054906101000a900467ffffffffffffffff1667ffffffffffffffff1634141515611d8c57600080fd5b60008361ffff16118015611dc5575060018060089054906101000a900467ffffffffffffffff160167ffffffffffffffff168361ffff16105b1515611dd057600080fd5b600073ffffffffffffffffffffffffffffffffffffffff1660118461ffff16600681101515611dfb57fe5b0160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16141515611e3f57600080fd5b600160089054906101000a900467ffffffffffffffff1667ffffffffffffffff16601754101515611e6f57600080fd5b33905060016017600082825401925050819055508060118461ffff16600681101515611e9757fe5b0160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff167fce15d49048c689b05acebea263ddd7d516d530cce7b31c5f82191b383c3ddc8f84601754604051808361ffff1681526020018281526020019250505060405180910390a2600160089054906101000a900467ffffffffffffffff1667ffffffffffffffff16601754101515611f6757611f65610f70565b505b6001915050919050565b6000600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611fcf57600080fd5b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc3073ffffffffffffffffffffffffffffffffffffffff16319081150290604051600060405180830381858888f1935050505015801561204e573d6000803e3d6000fd5b5090565b600080600060089054906101000a900467ffffffffffffffff1667ffffffffffffffff166009541015151561208657600080fd5b6000600981905550600090505b6001600060089054906101000a900467ffffffffffffffff160167ffffffffffffffff168110156120fe576003816006811015156120cd57fe5b0160006101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690558080600101915050612093565b600191505090565b600080600160089054906101000a900467ffffffffffffffff1667ffffffffffffffff166017541015151561213a57600080fd5b6000601781905550600090505b60018060089054906101000a900467ffffffffffffffff160167ffffffffffffffff168110156121b15760118160068110151561218057fe5b0160006101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690558080600101915050612147565b600191505090565b600080600060189054906101000a900467ffffffffffffffff1667ffffffffffffffff16601054101515156121ed57600080fd5b6000601081905550600090505b6001600060189054906101000a900467ffffffffffffffff160167ffffffffffffffff1681101561226557600a8160068110151561223457fe5b0160006101000a81549073ffffffffffffffffffffffffffffffffffffffff021916905580806001019150506121fa565b600191505090565b60c0604051908101604052806006906020820280388339808201915050905050905600a165627a7a72305820e5461cb2efaec1a20418ae04f906f4428da31b7e6d83ac467fd912a1a3f522610029

0x608060405260043610610175576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff168063030c48881461017a57806304bccf7a146101cd5780630c0d79431461020c5780631149a81a1461024b5780631209b1f6146102a25780631ef3755d146102e15780633bd4d596146103105780633ec492b3146103675780634eefee34146103be5780635f1fff5c146103fa578063676c464e1461042557806368e45122146104645780637cdcc30e146104a05780637f702e80146104f357806380183aa6146105605780638a7b17341461058f5780638c6d778e146105ce5780639f9206bc1461063b578063a27c7cdc1461067a578063a7525844146106b9578063af4a047a146106e4578063bab3f8c91461070f578063d1a810581461077c578063d6d5a0d9146107ab578063ddca3f43146107ea578063dfae258714610841578063e3075e4e14610894578063ed14c122146108d3578063f978c36f1461090f575b600080fd5b34801561018657600080fd5b5061018f61093e565b6040518082600660200280838360005b838110156101ba57808201518184015260208101905061019f565b5050505090500191505060405180910390f35b3480156101d957600080fd5b506101e26109bf565b604051808267ffffffffffffffff1667ffffffffffffffff16815260200191505060405180910390f35b34801561021857600080fd5b50610221610b04565b604051808267ffffffffffffffff1667ffffffffffffffff16815260200191505060405180910390f35b34801561025757600080fd5b50610260610c4a565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156102ae57600080fd5b506102b7610e78565b604051808267ffffffffffffffff1667ffffffffffffffff16815260200191505060405180910390f35b3480156102ed57600080fd5b506102f6610e91565b604051808215151515815260200191505060405180910390f35b34801561031c57600080fd5b50610325610f70565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561037357600080fd5b5061037c6111a1565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6103e0600480360381019080803561ffff1690602001909291905050506113d1565b604051808215151515815260200191505060405180910390f35b34801561040657600080fd5b5061040f6115e7565b6040518082815260200191505060405180910390f35b34801561043157600080fd5b5061043a6115ed565b604051808267ffffffffffffffff1667ffffffffffffffff16815260200191505060405180910390f35b610486600480360381019080803561ffff169060200190929190505050611607565b604051808215151515815260200191505060405180910390f35b3480156104ac57600080fd5b506104b561181e565b6040518082600660200280838360005b838110156104e05780820151818401526020810190506104c5565b5050505090500191505060405180910390f35b3480156104ff57600080fd5b5061051e6004803603810190808035906020019092919050505061189f565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561056c57600080fd5b506105756118d4565b604051808215151515815260200191505060405180910390f35b34801561059b57600080fd5b506105a46119b3565b604051808267ffffffffffffffff1667ffffffffffffffff16815260200191505060405180910390f35b3480156105da57600080fd5b506105f9600480360381019080803590602001909291905050506119cd565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561064757600080fd5b50610650611a02565b604051808267ffffffffffffffff1667ffffffffffffffff16815260200191505060405180910390f35b34801561068657600080fd5b5061068f611b47565b604051808267ffffffffffffffff1667ffffffffffffffff16815260200191505060405180910390f35b3480156106c557600080fd5b506106ce611b61565b6040518082815260200191505060405180910390f35b3480156106f057600080fd5b506106f9611b67565b6040518082815260200191505060405180910390f35b34801561071b57600080fd5b5061073a60048036038101908080359060200190929190505050611b6d565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561078857600080fd5b50610791611ba2565b604051808215151515815260200191505060405180910390f35b3480156107b757600080fd5b506107c0611c80565b604051808267ffffffffffffffff1667ffffffffffffffff16815260200191505060405180910390f35b3480156107f657600080fd5b506107ff611c9a565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561084d57600080fd5b50610856611cc0565b6040518082600660200280838360005b83811015610881578082015181840152602081019050610866565b5050505090500191505060405180910390f35b3480156108a057600080fd5b506108a9611d41565b604051808267ffffffffffffffff1667ffffffffffffffff16815260200191505060405180910390f35b6108f5600480360381019080803561ffff169060200190929190505050611d5b565b604051808215151515815260200191505060405180910390f35b34801561091b57600080fd5b50610924611f71565b604051808215151515815260200191505060405180910390f35b61094661226d565b60116006806020026040519081016040528092919082600680156109b5576020028201915b8160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001906001019080831161096b575b5050505050905090565b6000606060008060089054906101000a900467ffffffffffffffff1667ffffffffffffffff16600954101515156109f557600080fd5b4243604051602001808381526020018281526020019250505060405160208183030381529060405291506002826040518082805190602001908083835b602083101515610a575780518252602082019150602081019050602083039250610a32565b6001836020036101000a0380198251168184511680821785525050505050509050019150506020604051808303816000865af1158015610a9b573d6000803e3d6000fd5b5050506040513d6020811015610ab057600080fd5b81019080805190602001909291905050509050600060089054906101000a900467ffffffffffffffff1667ffffffffffffffff16816001900467ffffffffffffffff16811515610afc57fe5b069250505090565b600060606000600160089054906101000a900467ffffffffffffffff1667ffffffffffffffff1660175410151515610b3b57600080fd5b4243604051602001808381526020018281526020019250505060405160208183030381529060405291506002826040518082805190602001908083835b602083101515610b9d5780518252602082019150602081019050602083039250610b78565b6001836020036101000a0380198251168184511680821785525050505050509050019150506020604051808303816000865af1158015610be1573d6000803e3d6000fd5b5050506040513d6020811015610bf657600080fd5b81019080805190602001909291905050509050600160089054906101000a900467ffffffffffffffff1667ffffffffffffffff16816001900467ffffffffffffffff16811515610c4257fe5b069250505090565b600080600080600060089054906101000a900467ffffffffffffffff1667ffffffffffffffff1660095410151515610c8157600080fd5b610c896109bf565b925060038367ffffffffffffffff16600681101515610ca457fe5b0160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1691506000809054906101000a900467ffffffffffffffff16600060089054906101000a900467ffffffffffffffff160267ffffffffffffffff169050600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614151515610d3e57600080fd5b610d46612052565b508173ffffffffffffffffffffffffffffffffffffffff166108fc669fdf42f6e480009081150290604051600060405180830381858888f19350505050158015610d94573d6000803e3d6000fd5b50601860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc6611c37937e080009081150290604051600060405180830381858888f19350505050158015610e04573d6000803e3d6000fd5b508173ffffffffffffffffffffffffffffffffffffffff167f88e10e2c5fc124e16534a2656bbb0d35e634b6b45da693604ba908af778b15c28483604051808367ffffffffffffffff1667ffffffffffffffff1681526020018281526020019250505060405180910390a281935050505090565b6000809054906101000a900467ffffffffffffffff1681565b600080600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610ef057600080fd5b6000600981905550600090505b6001600060089054906101000a900467ffffffffffffffff160167ffffffffffffffff16811015610f6857600381600681101515610f3757fe5b0160006101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690558080600101915050610efd565b600191505090565b600080600080600160089054906101000a900467ffffffffffffffff1667ffffffffffffffff1660175410151515610fa757600080fd5b610faf610b04565b925060118367ffffffffffffffff16600681101515610fca57fe5b0160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169150600160009054906101000a900467ffffffffffffffff16600160089054906101000a900467ffffffffffffffff160267ffffffffffffffff169050600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561106557600080fd5b61106d612106565b508173ffffffffffffffffffffffffffffffffffffffff166108fc673e733628714200009081150290604051600060405180830381858888f193505050501580156110bc573d6000803e3d6000fd5b50601860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc6706f05b59d3b200009081150290604051600060405180830381858888f1935050505015801561112d573d6000803e3d6000fd5b508173ffffffffffffffffffffffffffffffffffffffff167fcf7a68e11a3829a965915eb57d22df0ab48fa472200e74edd2fb0c2c86c2362e8483604051808367ffffffffffffffff1667ffffffffffffffff1681526020018281526020019250505060405180910390a281935050505090565b600080600080600060189054906101000a900467ffffffffffffffff1667ffffffffffffffff16601054101515156111d857600080fd5b6111e0611a02565b9250600a8367ffffffffffffffff166006811015156111fb57fe5b0160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169150600060109054906101000a900467ffffffffffffffff16600060189054906101000a900467ffffffffffffffff160267ffffffffffffffff169050600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561129657600080fd5b61129e6121b9565b508173ffffffffffffffffffffffffffffffffffffffff166108fc67063eb89da4ed00009081150290604051600060405180830381858888f193505050501580156112ed573d6000803e3d6000fd5b50601860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc66b1a2bc2ec500009081150290604051600060405180830381858888f1935050505015801561135d573d6000803e3d6000fd5b508173ffffffffffffffffffffffffffffffffffffffff167f6deb7cdd9746fab71ecbee319830cf8902029d2de688f927341728fecfe34fe98483604051808367ffffffffffffffff1667ffffffffffffffff1681526020018281526020019250505060405180910390a281935050505090565b6000806000809054906101000a900467ffffffffffffffff1667ffffffffffffffff163414151561140157600080fd5b60008361ffff1611801561143b57506001600060089054906101000a900467ffffffffffffffff160167ffffffffffffffff168361ffff16105b151561144657600080fd5b600073ffffffffffffffffffffffffffffffffffffffff1660038461ffff1660068110151561147157fe5b0160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415156114b557600080fd5b600060089054906101000a900467ffffffffffffffff1667ffffffffffffffff166009541015156114e557600080fd5b33905060016009600082825401925050819055508060038461ffff1660068110151561150d57fe5b0160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff167f01dfc6cac2f54848e860087ed179eaa774b50ba2b2daf8e800d30f649be5e5b384600954604051808361ffff1681526020018281526020019250505060405180910390a2600060089054906101000a900467ffffffffffffffff1667ffffffffffffffff166009541015156115dd576115db610c4a565b505b6001915050919050565b60105481565b600160009054906101000a900467ffffffffffffffff1681565b600080600060109054906101000a900467ffffffffffffffff1667ffffffffffffffff163414151561163857600080fd5b60008361ffff1611801561167257506001600060189054906101000a900467ffffffffffffffff160167ffffffffffffffff168361ffff16105b151561167d57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff16600a8461ffff166006811015156116a857fe5b0160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415156116ec57600080fd5b600060189054906101000a900467ffffffffffffffff1667ffffffffffffffff1660105410151561171c57600080fd5b339050600160106000828254019250508190555080600a8461ffff1660068110151561174457fe5b0160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff167f52edfc04c40d5c77bbe1375beb104b078ca095874ba07c5e49922c15066fdb8384601054604051808361ffff1681526020018281526020019250505060405180910390a2600060189054906101000a900467ffffffffffffffff1667ffffffffffffffff16601054101515611814576118126111a1565b505b6001915050919050565b61182661226d565b6003600680602002604051908101604052809291908260068015611895576020028201915b8160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001906001019080831161184b575b5050505050905090565b6003816006811015156118ae57fe5b016000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600080600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561193357600080fd5b6000601081905550600090505b6001600060189054906101000a900467ffffffffffffffff160167ffffffffffffffff168110156119ab57600a8160068110151561197a57fe5b0160006101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690558080600101915050611940565b600191505090565b600160089054906101000a900467ffffffffffffffff1681565b600a816006811015156119dc57fe5b016000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000606060008060189054906101000a900467ffffffffffffffff1667ffffffffffffffff1660105410151515611a3857600080fd5b4243604051602001808381526020018281526020019250505060405160208183030381529060405291506002826040518082805190602001908083835b602083101515611a9a5780518252602082019150602081019050602083039250611a75565b6001836020036101000a0380198251168184511680821785525050505050509050019150506020604051808303816000865af1158015611ade573d6000803e3d6000fd5b5050506040513d6020811015611af357600080fd5b81019080805190602001909291905050509050600060189054906101000a900467ffffffffffffffff1667ffffffffffffffff16816001900467ffffffffffffffff16811515611b3f57fe5b069250505090565b600060109054906101000a900467ffffffffffffffff1681565b60175481565b60095481565b601181600681101515611b7c57fe5b016000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600080600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611c0157600080fd5b6000601781905550600090505b60018060089054906101000a900467ffffffffffffffff160167ffffffffffffffff16811015611c7857601181600681101515611c4757fe5b0160006101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690558080600101915050611c0e565b600191505090565b600060189054906101000a900467ffffffffffffffff1681565b601860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b611cc861226d565b600a600680602002604051908101604052809291908260068015611d37576020028201915b8160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019060010190808311611ced575b5050505050905090565b600060089054906101000a900467ffffffffffffffff1681565b600080600160009054906101000a900467ffffffffffffffff1667ffffffffffffffff1634141515611d8c57600080fd5b60008361ffff16118015611dc5575060018060089054906101000a900467ffffffffffffffff160167ffffffffffffffff168361ffff16105b1515611dd057600080fd5b600073ffffffffffffffffffffffffffffffffffffffff1660118461ffff16600681101515611dfb57fe5b0160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16141515611e3f57600080fd5b600160089054906101000a900467ffffffffffffffff1667ffffffffffffffff16601754101515611e6f57600080fd5b33905060016017600082825401925050819055508060118461ffff16600681101515611e9757fe5b0160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff167fce15d49048c689b05acebea263ddd7d516d530cce7b31c5f82191b383c3ddc8f84601754604051808361ffff1681526020018281526020019250505060405180910390a2600160089054906101000a900467ffffffffffffffff1667ffffffffffffffff16601754101515611f6757611f65610f70565b505b6001915050919050565b6000600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611fcf57600080fd5b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc3073ffffffffffffffffffffffffffffffffffffffff16319081150290604051600060405180830381858888f1935050505015801561204e573d6000803e3d6000fd5b5090565b600080600060089054906101000a900467ffffffffffffffff1667ffffffffffffffff166009541015151561208657600080fd5b6000600981905550600090505b6001600060089054906101000a900467ffffffffffffffff160167ffffffffffffffff168110156120fe576003816006811015156120cd57fe5b0160006101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690558080600101915050612093565b600191505090565b600080600160089054906101000a900467ffffffffffffffff1667ffffffffffffffff166017541015151561213a57600080fd5b6000601781905550600090505b60018060089054906101000a900467ffffffffffffffff160167ffffffffffffffff168110156121b15760118160068110151561218057fe5b0160006101000a81549073ffffffffffffffffffffffffffffffffffffffff02191690558080600101915050612147565b600191505090565b600080600060189054906101000a900467ffffffffffffffff1667ffffffffffffffff16601054101515156121ed57600080fd5b6000601081905550600090505b6001600060189054906101000a900467ffffffffffffffff160167ffffffffffffffff1681101561226557600a8160068110151561223457fe5b0160006101000a81549073ffffffffffffffffffffffffffffffffffffffff021916905580806001019150506121fa565b600191505090565b60c0604051908101604052806006906020820280388339808201915050905050905600a165627a7a72305820e5461cb2efaec1a20418ae04f906f4428da31b7e6d83ac467fd912a1a3f522610029

28:8938:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1815:8;;;8719:102;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8719:102:0;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;8719:102:0;;;;;;;;;;;;;;;;6188:235;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6188:235:0;;;;;;;;;;;;;;;;;;;;;;;;;;;6679:240;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6679:240:0;;;;;;;;;;;;;;;;;;;;;;;;;;;4473:529;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4473:529:0;;;;;;;;;;;;;;;;;;;;;;;;;;;687:38;;8:9:-1;5:2;;;30:1;27;20:12;5:2;687:38:0;;;;;;;;;;;;;;;;;;;;;;;;;;;7625:226;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7625:226:0;;;;;;;;;;;;;;;;;;;;;;;;;;;5563:543;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5563:543:0;;;;;;;;;;;;;;;;;;;;;;;;;;;5010:545;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5010:545:0;;;;;;;;;;;;;;;;;;;;;;;;;;;2013:765;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1087:33;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1087:33:0;;;;;;;;;;;;;;;;;;;;;;;846:36;;8:9:-1;5:2;;;30:1;27;20:12;5:2;846:36:0;;;;;;;;;;;;;;;;;;;;;;;;;;;2786:787;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8501:100;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8501:100:0;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;8501:100:0;;;;;;;;;;;;;;;;971:31;;8:9:-1;5:2;;;30:1;27;20:12;5:2;971:31:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7859:230;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7859:230:0;;;;;;;;;;;;;;;;;;;;;;;;;;;889:28;;8:9:-1;5:2;;;30:1;27;20:12;5:2;889:28:0;;;;;;;;;;;;;;;;;;;;;;;;;;;1048:32;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1048:32:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6431:240;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6431:240:0;;;;;;;;;;;;;;;;;;;;;;;;;;;766:38;;8:9:-1;5:2;;;30:1;27;20:12;5:2;766:38:0;;;;;;;;;;;;;;;;;;;;;;;;;;;1166:33;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1166:33:0;;;;;;;;;;;;;;;;;;;;;;;1009:32;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1009:32:0;;;;;;;;;;;;;;;;;;;;;;;1127;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1127:32:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8097:230;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8097:230:0;;;;;;;;;;;;;;;;;;;;;;;;;;;811:28;;8:9:-1;5:2;;;30:1;27;20:12;5:2;811:28:0;;;;;;;;;;;;;;;;;;;;;;;;;;;1206:63;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1206:63:0;;;;;;;;;;;;;;;;;;;;;;;;;;;8609:102;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8609:102:0;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;8609:102:0;;;;;;;;;;;;;;;;732:27;;8:9:-1;5:2;;;30:1;27;20:12;5:2;732:27:0;;;;;;;;;;;;;;;;;;;;;;;;;;;3577:787;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8828:135;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8828:135:0;;;;;;;;;;;;;;;;;;;;;;;;;;;8719:102;8771:10;;:::i;:::-;8799:14;8792:21;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8719:102;:::o;6188:235::-;6249:6;6266:20;6345:12;1410:9;;;;;;;;;;;1393:26;;:13;;:26;;1385:35;;;;;;;;6306:15;6323:12;6289:47;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;6289:47:0;;;6266:70;;6360:15;6367:7;6360:15;;;;;;;;;;;;;36:153:-1;66:2;61:3;58:11;51:19;36:153;;;182:3;176:10;171:3;164:23;98:2;93:3;89:12;82:19;;123:2;118:3;114:12;107:19;;148:2;143:3;139:12;132:19;;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;6360:15:0;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6360:15:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6360:15:0;;;;;;;;;;;;;;;;6345:30;;6406:9;;;;;;;;;;;6391:24;;6398:4;6391:12;;;:24;;;;;;;;;;6384:31;;6188:235;;;:::o;6679:240::-;6742:6;6759:21;6839:12;1603:10;;;;;;;;;;;1585:28;;:14;;:28;;1577:37;;;;;;;;6800:15;6817:12;6783:47;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;6783:47:0;;;6759:71;;6854:16;6861:8;6854:16;;;;;;;;;;;;;36:153:-1;66:2;61:3;58:11;51:19;36:153;;;182:3;176:10;171:3;164:23;98:2;93:3;89:12;82:19;;123:2;118:3;114:12;107:19;;148:2;143:3;139:12;132:19;;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;6854:16:0;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6854:16:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6854:16:0;;;;;;;;;;;;;;;;6839:31;;6901:10;;;;;;;;;;;6886:25;;6893:4;6886:12;;;:25;;;;;;;;;;6879:32;;6679:240;;;:::o;4473:529::-;4526:7;4544:20;4591:14;4645:19;1410:9;;;;;;;;;;;1393:26;;:13;;:26;;1385:35;;;;;;;;4567:15;:13;:15::i;:::-;4544:38;;4608:13;4622;4608:28;;;;;;;;;;;;;;;;;;;;;;4591:45;;4679:11;;;;;;;;;;;4667:9;;;;;;;;;;;:23;4645:45;;;;4784:1;4766:20;;:6;:20;;;;4758:29;;;;;;;;4827:7;:5;:7::i;:::-;;4843:6;:15;;:28;4859:11;4843:28;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4843:28:0;4880:3;;;;;;;;;;;:12;;:25;4893:11;4880:25;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4880:25:0;4937:6;4919:53;;;4945:13;4960:11;4919:53;;;;;;;;;;;;;;;;;;;;;;;;;;;;4988:6;4981:13;;4473:529;;;;:::o;687:38::-;;;;;;;;;;;;;:::o;7625:226::-;7660:4;7746:6;7699:5;;;;;;;;;;;7685:19;;:10;:19;;;7676:29;;;;;;;;7732:1;7716:13;:17;;;;7755:1;7746:10;;7742:82;7772:1;7762:9;;;;;;;;;;;:11;7758:15;;:1;:15;7742:82;;;7798:13;7812:1;7798:16;;;;;;;;;;;7791:23;;;;;;;;;;;7775:3;;;;;;;7742:82;;;7839:4;7832:11;;7625:226;;:::o;5563:543::-;5618:7;5636:21;5685:15;5742:20;1603:10;;;;;;;;;;;1585:28;;:14;;:28;;1577:37;;;;;;;;5660:16;:14;:16::i;:::-;5636:40;;5703:14;5718;5703:30;;;;;;;;;;;;;;;;;;;;;;5685:48;;5778:12;;;;;;;;;;;5765:10;;;;;;;;;;;:25;5742:48;;;;5885:1;5866:21;;:7;:21;;;;5858:30;;;;;;;;5928:8;:6;:8::i;:::-;;5945:7;:16;;:27;5962:9;5945:27;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;5945:27:0;5981:3;;;;;;;;;;;:12;;:23;5994:9;5981:23;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;5981:23:0;6037:7;6018:57;;;6046:14;6062:12;6018:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;6091:7;6084:14;;5563:543;;;;:::o;5010:545::-;5065:7;5083:21;5132:15;5189:20;1506:10;;;;;;;;;;;1488:28;;:14;;:28;;1480:37;;;;;;;;5107:16;:14;:16::i;:::-;5083:40;;5150:14;5165;5150:30;;;;;;;;;;;;;;;;;;;;;;5132:48;;5225:12;;;;;;;;;;;5212:10;;;;;;;;;;;:25;5189:48;;;;5332:1;5313:21;;:7;:21;;;;5305:30;;;;;;;;5375:8;:6;:8::i;:::-;;5392:7;:16;;:28;5409:10;5392:28;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;5392:28:0;5429:3;;;;;;;;;;;:12;;:24;5442:10;5429:24;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;5429:24:0;5486:7;5467:57;;;5495:14;5511:12;5467:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;5540:7;5533:14;;5010:545;;;;:::o;2013:765::-;2072:4;2319:17;2108:11;;;;;;;;;;;2095:24;;:9;:24;2087:33;;;;;;;;2147:1;2137:7;:11;;;:38;;;;;2174:1;2162:9;;;;;;;;;;;:13;2152:23;;:7;:23;;;2137:38;2129:47;;;;;;;;2227:1;2193:36;;:13;2207:7;2193:22;;;;;;;;;;;;;;;;;;;;;;:36;;;2185:45;;;;;;;;2263:9;;;;;;;;;;;2247:25;;:13;;:25;2239:34;;;;;;;;2339:10;2319:30;;2375:1;2358:13;;:18;;;;;;;;;;;2410:9;2385:13;2399:7;2385:22;;;;;;;;;;;;;:34;;;;;;;;;;;;;;;;;;2456:9;2433:57;;;2467:7;2476:13;;2433:57;;;;;;;;;;;;;;;;;;;;;;;;;;2705:9;;;;;;;;;;;2690:24;;:13;;:24;;2686:63;;;2727:12;:10;:12::i;:::-;;2686:63;2766:4;2759:11;;2013:765;;;;:::o;1087:33::-;;;;:::o;846:36::-;;;;;;;;;;;;;:::o;2786:787::-;2847:4;3102:18;2883:12;;;;;;;;;;;2870:25;;:9;:25;2862:34;;;;;;;;2924:1;2913:8;:12;;;:41;;;;;2953:1;2940:10;;;;;;;;;;;:14;2929:25;;:8;:25;;;2913:41;2905:50;;;;;;;;3008:1;2972:38;;:14;2987:8;2972:24;;;;;;;;;;;;;;;;;;;;;;:38;;;2964:47;;;;;;;;3045:10;;;;;;;;;;;3028:27;;:14;;:27;3020:36;;;;;;;;3123:10;3102:31;;3160:1;3142:14;;:19;;;;;;;;;;;3197:10;3170:14;3185:8;3170:24;;;;;;;;;;;;;:37;;;;;;;;;;;;;;;;;;3245:10;3221:61;;;3257:8;3267:14;;3221:61;;;;;;;;;;;;;;;;;;;;;;;;;;3498:10;;;;;;;;;;;3482:26;;:14;;:26;;3478:66;;;3521:13;:11;:13::i;:::-;;3478:66;3561:4;3554:11;;2786:787;;;;:::o;8501:100::-;8552:10;;:::i;:::-;8580:13;8573:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8501:100;:::o;971:31::-;;;;;;;;;;;;;;;;;;;;;;;;;:::o;7859:230::-;7895:4;7982:6;7934:5;;;;;;;;;;;7920:19;;:10;:19;;;7911:29;;;;;;;;7968:1;7951:14;:18;;;;7991:1;7982:10;;7978:84;8009:1;7998:10;;;;;;;;;;;:12;7994:16;;:1;:16;7978:84;;;8035:14;8050:1;8035:17;;;;;;;;;;;8028:24;;;;;;;;;;;8012:3;;;;;;;7978:84;;;8077:4;8070:11;;7859:230;;:::o;889:28::-;;;;;;;;;;;;;:::o;1048:32::-;;;;;;;;;;;;;;;;;;;;;;;;;:::o;6431:240::-;6494:6;6511:21;6591:12;1506:10;;;;;;;;;;;1488:28;;:14;;:28;;1480:37;;;;;;;;6552:15;6569:12;6535:47;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;6535:47:0;;;6511:71;;6606:16;6613:8;6606:16;;;;;;;;;;;;;36:153:-1;66:2;61:3;58:11;51:19;36:153;;;182:3;176:10;171:3;164:23;98:2;93:3;89:12;82:19;;123:2;118:3;114:12;107:19;;148:2;143:3;139:12;132:19;;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;6606:16:0;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6606:16:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6606:16:0;;;;;;;;;;;;;;;;6591:31;;6653:10;;;;;;;;;;;6638:25;;6645:4;6638:12;;;:25;;;;;;;;;;6631:32;;6431:240;;;:::o;766:38::-;;;;;;;;;;;;;:::o;1166:33::-;;;;:::o;1009:32::-;;;;:::o;1127:::-;;;;;;;;;;;;;;;;;;;;;;;;;:::o;8097:230::-;8133:4;8220:6;8172:5;;;;;;;;;;;8158:19;;:10;:19;;;8149:29;;;;;;;;8206:1;8189:14;:18;;;;8229:1;8220:10;;8216:84;8247:1;8236:10;;;;;;;;;;;:12;8232:16;;:1;:16;8216:84;;;8273:14;8288:1;8273:17;;;;;;;;;;;8266:24;;;;;;;;;;;8250:3;;;;;;;8216:84;;;8315:4;8308:11;;8097:230;;:::o;811:28::-;;;;;;;;;;;;;:::o;1206:63::-;;;;;;;;;;;;;:::o;8609:102::-;8661:10;;:::i;:::-;8689:14;8682:21;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8609:102;:::o;732:27::-;;;;;;;;;;;;;:::o;3577:787::-;3638:4;3893:18;3674:12;;;;;;;;;;;3661:25;;:9;:25;3653:34;;;;;;;;3715:1;3704:8;:12;;;:41;;;;;3744:1;3731:10;;;;;;;;;;;:14;3720:25;;:8;:25;;;3704:41;3696:50;;;;;;;;3799:1;3763:38;;:14;3778:8;3763:24;;;;;;;;;;;;;;;;;;;;;;:38;;;3755:47;;;;;;;;3836:10;;;;;;;;;;;3819:27;;:14;;:27;3811:36;;;;;;;;3914:10;3893:31;;3951:1;3933:14;;:19;;;;;;;;;;;3988:10;3961:14;3976:8;3961:24;;;;;;;;;;;;;:37;;;;;;;;;;;;;;;;;;4036:10;4012:61;;;4048:8;4058:14;;4012:61;;;;;;;;;;;;;;;;;;;;;;;;;;4289:10;;;;;;;;;;;4273:26;;:14;;:26;;4269:66;;;4312:13;:11;:13::i;:::-;;4269:66;4352:4;4345:11;;3577:787;;;;:::o;8828:135::-;8869:4;8908:5;;;;;;;;;;;8894:19;;:10;:19;;;8885:29;;;;;;;;8925:5;;;;;;;;;;;:14;;:28;8940:4;:12;;;8925:28;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8925:28:0;8828:135;:::o;6990:199::-;7039:4;7084:6;1410:9;;;;;;;;;;;1393:26;;:13;;:26;;1385:35;;;;;;;;7070:1;7054:13;:17;;;;7093:1;7084:10;;7080:82;7110:1;7100:9;;;;;;;;;;;:11;7096:15;;:1;:15;7080:82;;;7136:13;7150:1;7136:16;;;;;;;;;;;7129:23;;;;;;;;;;;7113:3;;;;;;;7080:82;;;7177:4;7170:11;;6990:199;;:::o;7409:204::-;7460:4;7506:6;1603:10;;;;;;;;;;;1585:28;;:14;;:28;;1577:37;;;;;;;;7492:1;7475:14;:18;;;;7515:1;7506:10;;7502:84;7533:1;7522:10;;;;;;;;;;;:12;7518:16;;:1;:16;7502:84;;;7559:14;7574:1;7559:17;;;;;;;;;;;7552:24;;;;;;;;;;;7536:3;;;;;;;7502:84;;;7601:4;7594:11;;7409:204;;:::o;7197:::-;7248:4;7294:6;1506:10;;;;;;;;;;;1488:28;;:14;;:28;;1480:37;;;;;;;;7280:1;7263:14;:18;;;;7303:1;7294:10;;7290:84;7321:1;7310:10;;;;;;;;;;;:12;7306:16;;:1;:16;7290:84;;;7347:14;7362:1;7347:17;;;;;;;;;;;7340:24;;;;;;;;;;;7324:3;;;;;;;7290:84;;;7389:4;7382:11;;7197:204;;:::o;28:8938::-;;;;;;;;;;;;29:2:-1;21:6;17:15;117:4;105:10;97:6;88:34;148:4;140:6;136:17;126:27;;0:157;28:8938:0;;;;:::o

bzzr://e5461cb2efaec1a20418ae04f906f4428da31b7e6d83ac467fd912a1a3f52261