Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-11-27
*/

pragma solidity 0.5.8;
/*
 *	Lottery 5 of 36 (Weekly) v0.0.4
 */


contract SmartLotto {

    // CONSTANTS //////////////////////////////////////////////////////////////////////////////////////////////////////
    uint private constant TICKET_PRICE = 0.01 ether;

    uint8 private constant REQ_NUMBERS = 5;
    uint8 private constant MAX_NUMBER = 36;
    uint8 private constant MIN_WIN_MATCH = 2;
    uint8 private constant ARR_SIZE = REQ_NUMBERS - MIN_WIN_MATCH + 1;

    uint8 private constant DRAW_DOW = 2;
    uint private constant DRAW_HOUR = 16 hours;
    uint private constant BEF_PERIOD = 60 minutes;
    uint private constant AFT_PERIOD = 60 minutes;

    uint8 private constant PERCENT_FUND_PR = 20;
    uint8[ARR_SIZE] private PERCENT_FUNDS = [20, 30, 35, 15];

    // Controll addresses
    address private constant CONTROL = 0x203bF6B46508eD917c085F50F194F36b0a62EB02;
    address payable private constant PR = 0xCD66911b6f38FaAF5BFeE427b3Ceb7D18Dd09F78;
    address payable private constant ADMIN_JACKPOT = 0x531d3Bd0400Ae601f26B335EfbD787415Aa5CB81;

    uint private constant ACTIVITY_PERIOD = 20 weeks;
    uint private constant POOL_SIZE = 50;

    // STRUCTURES /////////////////////////////////////////////////////////////////////////////////////////////////////
    struct Member {
        address payable addr;
        uint8[REQ_NUMBERS] numbers;
        uint8 matchNumbers;
        uint prize;
    }

    struct Game {
        uint membersCounter;
        uint winnersCounter;
        uint8[REQ_NUMBERS] winNumbers;
        uint totalFund;
        uint[ARR_SIZE] funds;
        uint[ARR_SIZE] winners;
        uint8 status;
        mapping(uint => Member) members;
        mapping(uint => uint) winTickets;
    }

    // VARIABLES //////////////////////////////////////////////////////////////////////////////////////////////////////
    uint8 private contractStatus = 1;

    uint private gameNum = 1;
    mapping(uint => Game) private games;

    uint private firstActivityTime = 0;
    uint private lastActivityTime = 0;
    uint private adminJackpotAmount = 0;
    
    uint private poolCounter = 0;
    uint private controlPhase = 0;

    // EVENTS /////////////////////////////////////////////////////////////////////////////////////////////////////////
    // _action: 0 - New game, 1 - Change status (Drawing), 2 - Jackpot change
    event GameChanged(uint _gameNum, uint8 _action);
    event MemberChanged(uint _gameNum, uint _member, uint _prize);

    // API ////////////////////////////////////////////////////////////////////////////////////////////////////////////
    // For any status
    function getGameInfo(uint gamenum) public view returns 
            (uint _gamenum, uint _membersCounter, uint _totalFund, uint8 _status) {
        if (gamenum == 0) gamenum = gameNum;
        return (gamenum, games[gamenum].membersCounter, games[gamenum].totalFund, games[gamenum].status);
    }
    // For any status
    function getGameFunds(uint gamenum) public view returns (uint[ARR_SIZE] memory _funds) {
        if (games[gamenum].status > 0)
            _funds = games[gamenum].funds;
        else
            _funds = calcGameFunds();
        return _funds;
    }
    // For status > 0
    function getGameWinNumbers(uint gamenum) public view returns (uint8[REQ_NUMBERS] memory _winNumbers) {
        return games[gamenum].winNumbers;
    }
    // For status == 2
    function getGameWinners(uint gamenum) public view returns (uint[ARR_SIZE] memory _winners) {
        return games[gamenum].winners;
    }

    function getMemberInfo(uint gamenum, uint member) public view returns 
        (address _addr, uint _prize, uint8[REQ_NUMBERS] memory _numbers) {
        Member memory mbr = games[gamenum].members[member];
        return (mbr.addr, mbr.prize, mbr.numbers);
    }

    // FUNCTIONS //////////////////////////////////////////////////////////////////////////////////////////////////////
    // ENTRY POINT
    function() external payable {
        
        // Check contract status
        require(contractStatus == 1, "Contract closed.");
        
        // CONTROL
        if (msg.sender == CONTROL) {
            doControl();
            return;
        }
        
        // For admin & user game status must be 0
        require(games[gameNum].status == 0, "The game is drawing, try again later.");
        
        // ADMIN JACKPOT
        if (msg.sender == ADMIN_JACKPOT) {
            doAdminJackpot();
            return;
        }
        // USER
        uint8 weekday = getWeekday(now);
        uint nowMinute = getDayMinute(now);
        bool isDrawTime = (weekday == DRAW_DOW && (nowMinute > (DRAW_HOUR - BEF_PERIOD) / 60) && (nowMinute < (DRAW_HOUR + AFT_PERIOD) / 60));
        
        require(!isDrawTime, "The game is drawing, try again later.");
        require(msg.value == TICKET_PRICE, "Value must be '0.01' for play.");
        doUser();
    }

    ///////////////////////////////////////////////////////////////////////////////////////////////////////
    // Admin Jackpot process
    ///////////////////////////////////////////////////////////////////////////////////////////////////////
    function doAdminJackpot() private {
        // If value > 0, increase admin jackpot and jackpot for current game
        if (msg.value > 0) {
            adminJackpotAmount += msg.value;
            games[gameNum].funds[ARR_SIZE - 1] += msg.value;               // Increase last funds elem
            emit GameChanged(gameNum, 2);
            return;
        }
        returnAdminJackpot();
    }
    
    // Return admin jackpot after ACTIVITY PERIOD
    function returnAdminJackpot() private {
        // Requires
        require(adminJackpotAmount > 0, 
            "Admin Jackpot amount must be greater than 0.");
        uint gameJackpotAmount = games[gameNum].funds[ARR_SIZE - 1];
        require(gameJackpotAmount > adminJackpotAmount * 2 || (now - firstActivityTime) > ACTIVITY_PERIOD,
            "Jackpot return is not currently available.");

        if (gameJackpotAmount > adminJackpotAmount) {
            ADMIN_JACKPOT.transfer(adminJackpotAmount);
            games[gameNum].funds[ARR_SIZE - 1] -= adminJackpotAmount;
        } else {
            ADMIN_JACKPOT.transfer(gameJackpotAmount);
            games[gameNum].funds[ARR_SIZE - 1] = 0;
        }
        adminJackpotAmount = 0;
        emit GameChanged(gameNum, 2);

    }

    ///////////////////////////////////////////////////////////////////////////////////////////////////////
    // Control process
    ///////////////////////////////////////////////////////////////////////////////////////////////////////
    function doControl() private {
        require(msg.value == 0, "Control value must be 0.");
        // First time check contract activity and generate winning numbers
        if (games[gameNum].status == 0) {
            // Check contract activity
            checkContractActivity();
            if (contractStatus == 0) return;
            // Change game status to "Draw"
            games[gameNum].status = 1;
            // Generate winning numbers
            games[gameNum].winNumbers = generateNumbers();
            // Transfer PR fund
            uint fundPR = games[gameNum].totalFund * PERCENT_FUND_PR / 100;
            PR.transfer(fundPR);
            // Calculate game funds
            games[gameNum].funds = calcGameFunds();
            emit GameChanged(gameNum, 1);
            // Set control phase to 0 (Calculate)
            controlPhase = 0;
            // Reset pool counter to 0
            poolCounter = 0;
        }

        if (controlPhase == 0) {
            doCalculate();
        } else {
            doPayout();
        }

    }

    function doCalculate() private {

        // Process members list (calculate every match winners)
        uint index;
        uint8 mn;
        uint8[ARR_SIZE] memory _w;
        
        uint start = POOL_SIZE * poolCounter + 1;
        uint end = POOL_SIZE * poolCounter + POOL_SIZE;

        if (end > games[gameNum].membersCounter) end = games[gameNum].membersCounter;

        // Calulate winners for pool 
        for (uint i = start; i <= end; i++) {
            mn = findMatch(games[gameNum].winNumbers, games[gameNum].members[i].numbers);
            // Change ticket match numbers
            if (mn > 0)
                games[gameNum].members[i].matchNumbers = mn;
            // If ticket win prize 
            if (mn >= MIN_WIN_MATCH) {
                _w[mn - MIN_WIN_MATCH]++;
                games[gameNum].winnersCounter++;
                index = games[gameNum].winnersCounter;
                games[gameNum].winTickets[index] = i;
            }
        }

        // Icrease game winners count
        for (uint8 i = 0; i < ARR_SIZE; i++)
            if (_w[i] != 0)
                games[gameNum].winners[i] += _w[i];

        // If last pool
        if (end == games[gameNum].membersCounter) {
            
            // If not exist matches 2/5, 3/5 etc, increase game jackpot on fund2, fund3 etc
            for (uint8 i = 0; i < ARR_SIZE - 1; i++) {
                if (games[gameNum].winners[i] == 0) 
                    games[gameNum].funds[ARR_SIZE - 1] += games[gameNum].funds[i];
            }   

            // Check and transit Jackpot
            if (games[gameNum].winners[ARR_SIZE - 1] != 0) {
                adminJackpotAmount = 0;
            } else {
                games[gameNum + 1].funds[ARR_SIZE - 1] = games[gameNum].funds[ARR_SIZE - 1];
            }

            // Set control phase to 1 (Payout) and reset poolCounter to 0
            controlPhase = 1;
            poolCounter = 0;

        } else {
            poolCounter++;
        }

    }

    function doPayout() private {

        // Process winning tickets list and payout prize
        uint winTicket;
        uint prize;
        uint8 mn;
        uint start = POOL_SIZE * poolCounter + 1;
        uint end = POOL_SIZE * poolCounter + POOL_SIZE;

        if (end > games[gameNum].winnersCounter) end = games[gameNum].winnersCounter;

        // Loop winning tickets and payout RRR
        for (uint i = start; i <= end; i++) {
            winTicket = games[gameNum].winTickets[i];
            mn = games[gameNum].members[winTicket].matchNumbers;
            prize = games[gameNum].funds[mn - MIN_WIN_MATCH] / games[gameNum].winners[mn - MIN_WIN_MATCH];
            games[gameNum].members[winTicket].prize = prize;
            games[gameNum].members[winTicket].addr.transfer(prize);
            emit MemberChanged(gameNum, i, prize);
        }

        if (end == games[gameNum].winnersCounter) {
            // Change game status on "Closed"
            games[gameNum].status = 2;
            // Init Next Game
            gameNum++;
            emit GameChanged(gameNum, 0);
        } else {
            poolCounter++;
        }

    }

    // Check contract activity
    function checkContractActivity() private {
        uint balance = address(this).balance;
        // Set last activity
        if (games[gameNum].membersCounter > 0) {
            lastActivityTime = now;
        }
        // Check last activity
        if (now - lastActivityTime > ACTIVITY_PERIOD) {
            PR.transfer(balance);
            contractStatus = 0;
            games[gameNum].funds[ARR_SIZE - 1] = 0;
        }
    }

    ///////////////////////////////////////////////////////////////////////////////////////////////////////
    // User process
    ///////////////////////////////////////////////////////////////////////////////////////////////////////
    function doUser() private {
        
        // First activity & last activity
        if (firstActivityTime == 0) {
            firstActivityTime = now;
            lastActivityTime = now;
        }
        
        doTicket();
    }
    
    // Ticket process
    function doTicket() private {

        bool err = false;
        uint8[REQ_NUMBERS] memory numbers;

        // Parse and check msg.DATA
        (err, numbers) = parseCheckData();

        uint mbrCnt;

        // If error DATA, generate random ticket numbers
        if (err) {
            numbers = generateNumbers();    
        } else {
            numbers = sortNumbers(numbers);    
        }

        // Increase member counter and total fund
        games[gameNum].membersCounter++;
        games[gameNum].totalFund += msg.value;

        // Store member
        mbrCnt = games[gameNum].membersCounter;
        games[gameNum].members[mbrCnt].addr = msg.sender;
        games[gameNum].members[mbrCnt].numbers = numbers;

        emit MemberChanged(gameNum, mbrCnt, 0);

    }

    // UTILS //////////////////////////////////////////////////////////////////////////////////////////////////////////
    // Get timestamp minute of day
    function getDayMinute(uint timestamp) private pure returns (uint) {
        return ((timestamp / 60) % 1440);
    }

    // Get timestamp day of week
    function getWeekday(uint timestamp) private pure returns (uint8) {
        return uint8((timestamp / 86400 + 4) % 7);
    }
    
    // Generate random number
    function random(uint8 num) internal view returns (uint8) {
        return uint8((uint(blockhash(block.number - 1 - num*2)) + now) % MAX_NUMBER + 1);
    }

    // Generate winning numbers
    function generateNumbers() private view returns (uint8[REQ_NUMBERS] memory numbers) {
        // Generate random numbers
        for (uint8 i = 0; i < REQ_NUMBERS; i++) numbers[i] = random(i);
        // Sort numbers array
        numbers = sortNumbers(numbers);
        // Change dublicate numbers
        for (uint8 i = 0; i < REQ_NUMBERS - 1; i++)
            for (uint8 j = i + 1; j < REQ_NUMBERS; j++)
                if (numbers[i] == numbers[j])
                    numbers[j]++;

        return numbers;
    }

    // Sort array of number function
    function sortNumbers(uint8[REQ_NUMBERS] memory arrNumbers) private pure returns (uint8[REQ_NUMBERS] memory) {
        uint8 temp;
        for (uint8 i = 0; i < REQ_NUMBERS - 1; i++)
            for (uint j = 0; j < REQ_NUMBERS - i - 1; j++)
                if (arrNumbers[j] > arrNumbers[j + 1]) {
                    temp = arrNumbers[j];
                    arrNumbers[j] = arrNumbers[j + 1];
                    arrNumbers[j + 1] = temp;
                }

        return arrNumbers;
    }

    // Find match numbers function
    function findMatch(uint8[REQ_NUMBERS] memory arr1, uint8[REQ_NUMBERS] memory arr2) private pure returns (uint8) {
        uint8 cnt = 0;
        for (uint8 i = 0; i < REQ_NUMBERS; i++)
            for (uint8 j = 0; j < REQ_NUMBERS; j++)
                if (arr1[i] == arr2[j]) {
                    cnt++;
                    break;
                }
        return cnt;
    }

    // Parse and check msg.DATA function
    function parseCheckData() private pure returns (bool, uint8[REQ_NUMBERS] memory) {
        bool err = false;
        uint8[REQ_NUMBERS] memory numbers;

        // Check 5 numbers entered
        if (msg.data.length == REQ_NUMBERS) {
            // Parse DATA string
            for (uint8 i = 0; i < REQ_NUMBERS; i++)
                numbers[i] = uint8(msg.data[i]);

            // Check range: 1 - MAX_NUMBER
            for (uint8 i = 0; i < REQ_NUMBERS; i++)
                if (numbers[i] < 1 || numbers[i] > MAX_NUMBER) {
                    err = true;
                    break;
                }
            // Check dublicate numbers
            if (!err)
                for (uint8 i = 0; i < REQ_NUMBERS - 1; i++) {
                    for (uint8 j = i + 1; j < REQ_NUMBERS; j++) {
                        if (numbers[i] == numbers[j]) {
                            err = true;
                            break;
                        }
                    }
                    if (err) break;
                }
        } else {
            err = true;
        }
        return (err, numbers);
    }
    
    // Calculate game funds
    function calcGameFunds() private view returns (uint[ARR_SIZE] memory funds) {
        uint fundPR = games[gameNum].totalFund * PERCENT_FUND_PR / 100;
        for (uint8 i = 0; i < ARR_SIZE; i++)
            funds[i] = (games[gameNum].totalFund - fundPR) * PERCENT_FUNDS[i] / 100;
        funds[ARR_SIZE - 1] += games[gameNum].funds[ARR_SIZE - 1];
        return funds;
    }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[{"name":"gamenum","type":"uint256"}],"name":"getGameFunds","outputs":[{"name":"_funds","type":"uint256[4]"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"gamenum","type":"uint256"}],"name":"getGameWinners","outputs":[{"name":"_winners","type":"uint256[4]"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"gamenum","type":"uint256"}],"name":"getGameWinNumbers","outputs":[{"name":"_winNumbers","type":"uint8[5]"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"gamenum","type":"uint256"}],"name":"getGameInfo","outputs":[{"name":"_gamenum","type":"uint256"},{"name":"_membersCounter","type":"uint256"},{"name":"_totalFund","type":"uint256"},{"name":"_status","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"gamenum","type":"uint256"},{"name":"member","type":"uint256"}],"name":"getMemberInfo","outputs":[{"name":"_addr","type":"address"},{"name":"_prize","type":"uint256"},{"name":"_numbers","type":"uint8[5]"}],"payable":false,"stateMutability":"view","type":"function"},{"payable":true,"stateMutability":"payable","type":"fallback"},{"anonymous":false,"inputs":[{"indexed":false,"name":"_gameNum","type":"uint256"},{"indexed":false,"name":"_action","type":"uint8"}],"name":"GameChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"_gameNum","type":"uint256"},{"indexed":false,"name":"_member","type":"uint256"},{"indexed":false,"name":"_prize","type":"uint256"}],"name":"MemberChanged","type":"event"}]

60806040526040518060800160405280601460ff168152602001601e60ff168152602001602360ff168152602001600f60ff1681525060009060046200004792919062000095565b5060018060006101000a81548160ff021916908360ff1602179055506001600255600060045560006005556000600655600060075560006008553480156200008e57600080fd5b5062000169565b826004601f01602090048101928215620001235791602002820160005b83821115620000f257835183826101000a81548160ff021916908360ff1602179055509260200192600101602081600001049283019260010302620000b2565b8015620001215782816101000a81549060ff0219169055600101602081600001049283019260010302620000f2565b505b50905062000132919062000136565b5090565b6200016691905b808211156200016257600081816101000a81549060ff0219169055506001016200013d565b5090565b90565b6121db80620001796000396000f3fe60806040526004361061004a5760003560e01c8063170c0fd71461033b5780631f0ef750146103b25780632b1f5bec1461042957806347e1d550146104a057806396ff55d91461050a575b60018060009054906101000a900460ff1660ff16146100d1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f436f6e747261637420636c6f7365642e0000000000000000000000000000000081525060200191505060405180910390fd5b73203bf6b46508ed917c085f50f194f36b0a62eb0273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415610126576101216105c5565b610339565b6000600360006002548152602001908152602001600020600c0160009054906101000a900460ff1660ff16146101a7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602581526020018061218b6025913960400191505060405180910390fd5b73531d3bd0400ae601f26b335efbd787415aa5cb8173ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614156101fc576101f7610827565b610339565b6000610207426108d3565b90506000610214426108f6565b90506000600260ff168360ff1614801561023d5750603c610e1061e100038161023957fe5b0482115b80156102585750603c610e1061e100018161025457fe5b0482105b905080156102b1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602581526020018061218b6025913960400191505060405180910390fd5b662386f26fc10000341461032d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f56616c7565206d7573742062652027302e30312720666f7220706c61792e000081525060200191505060405180910390fd5b610335610915565b5050505b005b34801561034757600080fd5b506103746004803603602081101561035e57600080fd5b8101908080359060200190929190505050610939565b6040518082600460200280838360005b8381101561039f578082015181840152602081019050610384565b5050505090500191505060405180910390f35b3480156103be57600080fd5b506103eb600480360360208110156103d557600080fd5b81019080803590602001909291905050506109dc565b6040518082600460200280838360005b838110156104165780820151818401526020810190506103fb565b5050505090500191505060405180910390f35b34801561043557600080fd5b506104626004803603602081101561044c57600080fd5b8101908080359060200190929190505050610a3d565b6040518082600560200280838360005b8381101561048d578082015181840152602081019050610472565b5050505090500191505060405180910390f35b3480156104ac57600080fd5b506104d9600480360360208110156104c357600080fd5b8101908080359060200190929190505050610ac4565b604051808581526020018481526020018381526020018260ff1660ff16815260200194505050505060405180910390f35b34801561051657600080fd5b5061054d6004803603604081101561052d57600080fd5b810190808035906020019092919080359060200190929190505050610b3b565b604051808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200183815260200182600560200280838360005b838110156105b0578082015181840152602081019050610595565b50505050905001935050505060405180910390f35b6000341461063b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f436f6e74726f6c2076616c7565206d75737420626520302e000000000000000081525060200191505060405180910390fd5b6000600360006002548152602001908152602001600020600c0160009054906101000a900460ff1660ff16141561080357610674610c8d565b6000600160009054906101000a900460ff1660ff16141561069457610825565b6001600360006002548152602001908152602001600020600c0160006101000a81548160ff021916908360ff1602179055506106ce610d92565b6003600060025481526020019081526020016000206002019060056106f4929190611f35565b5060006064601460ff1660036000600254815260200190815260200160002060030154028161071f57fe5b04905073cd66911b6f38faaf5bfee427b3ceb7d18dd09f7873ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f1935050505015801561077c573d6000803e3d6000fd5b50610785610e9d565b6003600060025481526020019081526020016000206004019060046107ab929190611fcf565b507f1894534f5e76eae659da15b26084bc213f1a33e09e4dd13ce99283f33d7595736002546001604051808381526020018260ff1681526020019250505060405180910390a160006008819055506000600781905550505b6000600854141561081b57610816610fc1565b610824565b61082361149a565b5b5b565b60003411156108c85734600660008282540192505081905550346003600060025481526020019081526020016000206004016001806002600503010360ff166004811061087057fe5b01600082825401925050819055507f1894534f5e76eae659da15b26084bc213f1a33e09e4dd13ce99283f33d7595736002546002604051808381526020018260ff1681526020019250505060405180910390a16108d1565b6108d06117ac565b5b565b6000600760046201518084816108e557fe5b0401816108ee57fe5b069050919050565b60006105a0603c838161090557fe5b048161090d57fe5b069050919050565b6000600454141561092f5742600481905550426005819055505b610937611a38565b565b61094161200f565b600060036000848152602001908152602001600020600c0160009054906101000a900460ff1660ff1611156109c957600360008381526020019081526020016000206004016004806020026040519081016040528092919082600480156109bd576020028201915b8154815260200190600101908083116109a9575b505050505090506109d4565b6109d1610e9d565b90505b809050919050565b6109e461200f565b60036000838152602001908152602001600020600801600480602002604051908101604052809291908260048015610a31576020028201915b815481526020019060010190808311610a1d575b50505050509050919050565b610a45612031565b60036000838152602001908152602001600020600201600580602002604051908101604052809291908260058015610ab8576020028201916000905b82829054906101000a900460ff1660ff1681526020019060010190602082600001049283019260010382029150808411610a815790505b50505050509050919050565b6000806000806000851415610ad95760025494505b846003600087815260200190815260200160002060000154600360008881526020019081526020016000206003015460036000898152602001908152602001600020600c0160009054906101000a900460ff1693509350935093509193509193565b600080610b46612031565b610b4e612053565b60036000878152602001908152602001600020600d0160008681526020019081526020016000206040518060800160405290816000820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200160018201600580602002604051908101604052809291908260058015610c38576020028201916000905b82829054906101000a900460ff1660ff1681526020019060010190602082600001049283019260010382029150808411610c015790505b505050505081526020016002820160009054906101000a900460ff1660ff1660ff1681526020016003820154815250509050806000015181606001518260200151829250809050935093509350509250925092565b60003073ffffffffffffffffffffffffffffffffffffffff163190506000600360006002548152602001908152602001600020600001541115610cd257426005819055505b62b8920060055442031115610d8f5773cd66911b6f38faaf5bfee427b3ceb7d18dd09f7873ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015610d3b573d6000803e3d6000fd5b506000600160006101000a81548160ff021916908360ff16021790555060006003600060025481526020019081526020016000206004016001806002600503010360ff1660048110610d8957fe5b01819055505b50565b610d9a612031565b60008090505b600560ff168160ff161015610de557610db881611bd7565b828260ff1660058110610dc757fe5b602002019060ff16908160ff16815250508080600101915050610da0565b50610def81611c02565b905060008090505b600160050360ff168160ff161015610e965760006001820190505b600560ff168160ff161015610e8857828160ff1660058110610e3057fe5b602002015160ff16838360ff1660058110610e4757fe5b602002015160ff161415610e7b57828160ff1660058110610e6457fe5b60200201805180919060010160ff1660ff16815250505b8080600101915050610e12565b508080600101915050610df7565b5080905090565b610ea561200f565b60006064601460ff16600360006002548152602001908152602001600020600301540281610ecf57fe5b04905060008090505b600160026005030160ff168160ff161015610f6157606460008260ff1660048110610eff57fe5b602091828204019190069054906101000a900460ff1660ff168360036000600254815260200190815260200160002060030154030281610f3b57fe5b04838260ff1660048110610f4b57fe5b6020020181815250508080600101915050610ed8565b506003600060025481526020019081526020016000206004016001806002600503010360ff1660048110610f9157fe5b0154826001806002600503010360ff1660048110610fab57fe5b6020020181815101915081815250508191505090565b600080610fcc61209b565b600060016007546032020190506000603260075460320201905060036000600254815260200190815260200160002060000154811115611022576003600060025481526020019081526020016000206000015490505b60008290505b8181116112485761113f6003600060025481526020019081526020016000206002016005806020026040519081016040528092919082600580156110a7576020028201916000905b82829054906101000a900460ff1660ff16815260200190600101906020826000010492830192600103820291508084116110705790505b5050505050600360006002548152602001908152602001600020600d016000848152602001908152602001600020600101600580602002604051908101604052809291908260058015611135576020028201916000905b82829054906101000a900460ff1660ff16815260200190600101906020826000010492830192600103820291508084116110fe5790505b5050505050611cf7565b945060008560ff1611156111935784600360006002548152602001908152602001600020600d01600083815260200190815260200160002060020160006101000a81548160ff021916908360ff1602179055505b600260ff168560ff161061123b57836002860360ff16600481106111b357fe5b60200201805180919060010160ff1660ff16815250506003600060025481526020019081526020016000206001016000815480929190600101919050555060036000600254815260200190815260200160002060010154955080600360006002548152602001908152602001600020600e016000888152602001908152602001600020819055505b8080600101915050611028565b5060008090505b600160026005030160ff168160ff1610156112db576000848260ff166004811061127557fe5b602002015160ff16146112ce57838160ff166004811061129157fe5b602002015160ff166003600060025481526020019081526020016000206008018260ff16600481106112bf57fe5b01600082825401925050819055505b808060010191505061124f565b50600360006002548152602001908152602001600020600001548114156114805760008090505b6001806002600503010360ff168160ff1610156113bc5760006003600060025481526020019081526020016000206008018260ff166004811061134157fe5b015414156113af576003600060025481526020019081526020016000206004018160ff166004811061136f57fe5b01546003600060025481526020019081526020016000206004016001806002600503010360ff16600481106113a057fe5b01600082825401925050819055505b8080600101915050611302565b5060006003600060025481526020019081526020016000206008016001806002600503010360ff16600481106113ee57fe5b01541461140257600060068190555061146b565b6003600060025481526020019081526020016000206004016001806002600503010360ff166004811061143157fe5b01546003600060016002540181526020019081526020016000206004016001806002600503010360ff166004811061146557fe5b01819055505b60016008819055506000600781905550611493565b6007600081548092919060010191905055505b5050505050565b600080600080600160075460320201905060006032600754603202019050600360006002548152602001908152602001600020600101548111156114f4576003600060025481526020019081526020016000206001015490505b60008290505b8181116116e357600360006002548152602001908152602001600020600e016000828152602001908152602001600020549550600360006002548152602001908152602001600020600d01600087815260200190815260200160002060020160009054906101000a900460ff1693506003600060025481526020019081526020016000206008016002850360ff166004811061159257fe5b01546003600060025481526020019081526020016000206004016002860360ff16600481106115bd57fe5b0154816115c657fe5b04945084600360006002548152602001908152602001600020600d01600088815260200190815260200160002060030181905550600360006002548152602001908152602001600020600d01600087815260200190815260200160002060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc869081150290604051600060405180830381858888f1935050505015801561168c573d6000803e3d6000fd5b507f95b71283c19555dc9c3352322c57457ec76bcbc6611ce08d9ce2457b2a67ddc2600254828760405180848152602001838152602001828152602001935050505060405180910390a180806001019150506114fa565b5060036000600254815260200190815260200160002060010154811415611792576002600360006002548152602001908152602001600020600c0160006101000a81548160ff021916908360ff1602179055506002600081548092919060010191905055507f1894534f5e76eae659da15b26084bc213f1a33e09e4dd13ce99283f33d7595736002546000604051808381526020018260ff1681526020019250505060405180910390a16117a5565b6007600081548092919060010191905055505b5050505050565b600060065411611807576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602c815260200180612135602c913960400191505060405180910390fd5b60006003600060025481526020019081526020016000206004016001806002600503010360ff166004811061183857fe5b01549050600260065402811180611855575062b892006004544203115b6118aa576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602a815260200180612161602a913960400191505060405180910390fd5b6006548111156119565773531d3bd0400ae601f26b335efbd787415aa5cb8173ffffffffffffffffffffffffffffffffffffffff166108fc6006549081150290604051600060405180830381858888f19350505050158015611910573d6000803e3d6000fd5b506006546003600060025481526020019081526020016000206004016001806002600503010360ff166004811061194357fe5b01600082825403925050819055506119e8565b73531d3bd0400ae601f26b335efbd787415aa5cb8173ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f193505050501580156119b0573d6000803e3d6000fd5b5060006003600060025481526020019081526020016000206004016001806002600503010360ff16600481106119e257fe5b01819055505b60006006819055507f1894534f5e76eae659da15b26084bc213f1a33e09e4dd13ce99283f33d7595736002546002604051808381526020018260ff1681526020019250505060405180910390a150565b6000809050611a45612031565b611a4d611d8f565b809250819350505060008215611a6c57611a65610d92565b9150611a78565b611a7582611c02565b91505b60036000600254815260200190815260200160002060000160008154809291906001019190505550346003600060025481526020019081526020016000206003016000828254019250508190555060036000600254815260200190815260200160002060000154905033600360006002548152602001908152602001600020600d01600083815260200190815260200160002060000160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555081600360006002548152602001908152602001600020600d016000838152602001908152602001600020600101906005611b87929190611f35565b507f95b71283c19555dc9c3352322c57457ec76bcbc6611ce08d9ce2457b2a67ddc260025482600060405180848152602001838152602001828152602001935050505060405180910390a1505050565b60006001602460ff16426002850260ff1660014303034060001c0181611bf957fe5b06019050919050565b611c0a612031565b600080600090505b600160050360ff168160ff161015611ced5760008090505b6001826005030360ff16811015611cdf57846001820160058110611c4a57fe5b602002015160ff16858260058110611c5e57fe5b602002015160ff161115611cd257848160058110611c7857fe5b60200201519250846001820160058110611c8e57fe5b6020020151858260058110611c9f57fe5b602002019060ff16908160ff168152505082856001830160058110611cc057fe5b602002019060ff16908160ff16815250505b8080600101915050611c2a565b508080600101915050611c12565b5082915050919050565b6000806000905060008090505b600560ff168160ff161015611d845760008090505b600560ff168160ff161015611d7657848160ff1660058110611d3757fe5b602002015160ff16868360ff1660058110611d4e57fe5b602002015160ff161415611d69578280600101935050611d76565b8080600101915050611d19565b508080600101915050611d04565b508091505092915050565b6000611d99612031565b6000809050611da6612031565b600560ff1660003690501415611f245760008090505b600560ff168160ff161015611e15576000368260ff16818110611ddb57fe5b9050013560f81c60f81b60f81c828260ff1660058110611df757fe5b602002019060ff16908160ff16815250508080600101915050611dbc565b5060008090505b600560ff168160ff161015611e84576001828260ff1660058110611e3c57fe5b602002015160ff161080611e695750602460ff16828260ff1660058110611e5f57fe5b602002015160ff16115b15611e775760019250611e84565b8080600101915050611e1c565b5081611f1f5760008090505b600160050360ff168160ff161015611f1d5760006001820190505b600560ff168160ff161015611f0457828160ff1660058110611ec957fe5b602002015160ff16838360ff1660058110611ee057fe5b602002015160ff161415611ef75760019350611f04565b8080600101915050611eab565b508215611f1057611f1d565b8080600101915050611e90565b505b611f29565b600191505b81819350935050509091565b826005601f01602090048101928215611fbe5791602002820160005b83821115611f8f57835183826101000a81548160ff021916908360ff1602179055509260200192600101602081600001049283019260010302611f51565b8015611fbc5782816101000a81549060ff0219169055600101602081600001049283019260010302611f8f565b505b509050611fcb91906120bd565b5090565b8260048101928215611ffe579160200282015b82811115611ffd578251825591602001919060010190611fe2565b5b50905061200b91906120ed565b5090565b6040518060800160405280600490602082028038833980820191505090505090565b6040518060a00160405280600590602082028038833980820191505090505090565b604051806101000160405280600073ffffffffffffffffffffffffffffffffffffffff168152602001612084612112565b8152602001600060ff168152602001600081525090565b6040518060800160405280600490602082028038833980820191505090505090565b6120ea91905b808211156120e657600081816101000a81549060ff0219169055506001016120c3565b5090565b90565b61210f91905b8082111561210b5760008160009055506001016120f3565b5090565b90565b6040518060a0016040528060059060208202803883398082019150509050509056fe41646d696e204a61636b706f7420616d6f756e74206d7573742062652067726561746572207468616e20302e4a61636b706f742072657475726e206973206e6f742063757272656e746c7920617661696c61626c652e5468652067616d652069732064726177696e672c2074727920616761696e206c617465722ea165627a7a72305820a9d487593a79678d0071a5e44affbf64a655d3f75d190878fdc6046abaf47aed0029

0x60806040526004361061004a5760003560e01c8063170c0fd71461033b5780631f0ef750146103b25780632b1f5bec1461042957806347e1d550146104a057806396ff55d91461050a575b60018060009054906101000a900460ff1660ff16146100d1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f436f6e747261637420636c6f7365642e0000000000000000000000000000000081525060200191505060405180910390fd5b73203bf6b46508ed917c085f50f194f36b0a62eb0273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415610126576101216105c5565b610339565b6000600360006002548152602001908152602001600020600c0160009054906101000a900460ff1660ff16146101a7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602581526020018061218b6025913960400191505060405180910390fd5b73531d3bd0400ae601f26b335efbd787415aa5cb8173ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614156101fc576101f7610827565b610339565b6000610207426108d3565b90506000610214426108f6565b90506000600260ff168360ff1614801561023d5750603c610e1061e100038161023957fe5b0482115b80156102585750603c610e1061e100018161025457fe5b0482105b905080156102b1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602581526020018061218b6025913960400191505060405180910390fd5b662386f26fc10000341461032d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f56616c7565206d7573742062652027302e30312720666f7220706c61792e000081525060200191505060405180910390fd5b610335610915565b5050505b005b34801561034757600080fd5b506103746004803603602081101561035e57600080fd5b8101908080359060200190929190505050610939565b6040518082600460200280838360005b8381101561039f578082015181840152602081019050610384565b5050505090500191505060405180910390f35b3480156103be57600080fd5b506103eb600480360360208110156103d557600080fd5b81019080803590602001909291905050506109dc565b6040518082600460200280838360005b838110156104165780820151818401526020810190506103fb565b5050505090500191505060405180910390f35b34801561043557600080fd5b506104626004803603602081101561044c57600080fd5b8101908080359060200190929190505050610a3d565b6040518082600560200280838360005b8381101561048d578082015181840152602081019050610472565b5050505090500191505060405180910390f35b3480156104ac57600080fd5b506104d9600480360360208110156104c357600080fd5b8101908080359060200190929190505050610ac4565b604051808581526020018481526020018381526020018260ff1660ff16815260200194505050505060405180910390f35b34801561051657600080fd5b5061054d6004803603604081101561052d57600080fd5b810190808035906020019092919080359060200190929190505050610b3b565b604051808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200183815260200182600560200280838360005b838110156105b0578082015181840152602081019050610595565b50505050905001935050505060405180910390f35b6000341461063b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f436f6e74726f6c2076616c7565206d75737420626520302e000000000000000081525060200191505060405180910390fd5b6000600360006002548152602001908152602001600020600c0160009054906101000a900460ff1660ff16141561080357610674610c8d565b6000600160009054906101000a900460ff1660ff16141561069457610825565b6001600360006002548152602001908152602001600020600c0160006101000a81548160ff021916908360ff1602179055506106ce610d92565b6003600060025481526020019081526020016000206002019060056106f4929190611f35565b5060006064601460ff1660036000600254815260200190815260200160002060030154028161071f57fe5b04905073cd66911b6f38faaf5bfee427b3ceb7d18dd09f7873ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f1935050505015801561077c573d6000803e3d6000fd5b50610785610e9d565b6003600060025481526020019081526020016000206004019060046107ab929190611fcf565b507f1894534f5e76eae659da15b26084bc213f1a33e09e4dd13ce99283f33d7595736002546001604051808381526020018260ff1681526020019250505060405180910390a160006008819055506000600781905550505b6000600854141561081b57610816610fc1565b610824565b61082361149a565b5b5b565b60003411156108c85734600660008282540192505081905550346003600060025481526020019081526020016000206004016001806002600503010360ff166004811061087057fe5b01600082825401925050819055507f1894534f5e76eae659da15b26084bc213f1a33e09e4dd13ce99283f33d7595736002546002604051808381526020018260ff1681526020019250505060405180910390a16108d1565b6108d06117ac565b5b565b6000600760046201518084816108e557fe5b0401816108ee57fe5b069050919050565b60006105a0603c838161090557fe5b048161090d57fe5b069050919050565b6000600454141561092f5742600481905550426005819055505b610937611a38565b565b61094161200f565b600060036000848152602001908152602001600020600c0160009054906101000a900460ff1660ff1611156109c957600360008381526020019081526020016000206004016004806020026040519081016040528092919082600480156109bd576020028201915b8154815260200190600101908083116109a9575b505050505090506109d4565b6109d1610e9d565b90505b809050919050565b6109e461200f565b60036000838152602001908152602001600020600801600480602002604051908101604052809291908260048015610a31576020028201915b815481526020019060010190808311610a1d575b50505050509050919050565b610a45612031565b60036000838152602001908152602001600020600201600580602002604051908101604052809291908260058015610ab8576020028201916000905b82829054906101000a900460ff1660ff1681526020019060010190602082600001049283019260010382029150808411610a815790505b50505050509050919050565b6000806000806000851415610ad95760025494505b846003600087815260200190815260200160002060000154600360008881526020019081526020016000206003015460036000898152602001908152602001600020600c0160009054906101000a900460ff1693509350935093509193509193565b600080610b46612031565b610b4e612053565b60036000878152602001908152602001600020600d0160008681526020019081526020016000206040518060800160405290816000820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200160018201600580602002604051908101604052809291908260058015610c38576020028201916000905b82829054906101000a900460ff1660ff1681526020019060010190602082600001049283019260010382029150808411610c015790505b505050505081526020016002820160009054906101000a900460ff1660ff1660ff1681526020016003820154815250509050806000015181606001518260200151829250809050935093509350509250925092565b60003073ffffffffffffffffffffffffffffffffffffffff163190506000600360006002548152602001908152602001600020600001541115610cd257426005819055505b62b8920060055442031115610d8f5773cd66911b6f38faaf5bfee427b3ceb7d18dd09f7873ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015610d3b573d6000803e3d6000fd5b506000600160006101000a81548160ff021916908360ff16021790555060006003600060025481526020019081526020016000206004016001806002600503010360ff1660048110610d8957fe5b01819055505b50565b610d9a612031565b60008090505b600560ff168160ff161015610de557610db881611bd7565b828260ff1660058110610dc757fe5b602002019060ff16908160ff16815250508080600101915050610da0565b50610def81611c02565b905060008090505b600160050360ff168160ff161015610e965760006001820190505b600560ff168160ff161015610e8857828160ff1660058110610e3057fe5b602002015160ff16838360ff1660058110610e4757fe5b602002015160ff161415610e7b57828160ff1660058110610e6457fe5b60200201805180919060010160ff1660ff16815250505b8080600101915050610e12565b508080600101915050610df7565b5080905090565b610ea561200f565b60006064601460ff16600360006002548152602001908152602001600020600301540281610ecf57fe5b04905060008090505b600160026005030160ff168160ff161015610f6157606460008260ff1660048110610eff57fe5b602091828204019190069054906101000a900460ff1660ff168360036000600254815260200190815260200160002060030154030281610f3b57fe5b04838260ff1660048110610f4b57fe5b6020020181815250508080600101915050610ed8565b506003600060025481526020019081526020016000206004016001806002600503010360ff1660048110610f9157fe5b0154826001806002600503010360ff1660048110610fab57fe5b6020020181815101915081815250508191505090565b600080610fcc61209b565b600060016007546032020190506000603260075460320201905060036000600254815260200190815260200160002060000154811115611022576003600060025481526020019081526020016000206000015490505b60008290505b8181116112485761113f6003600060025481526020019081526020016000206002016005806020026040519081016040528092919082600580156110a7576020028201916000905b82829054906101000a900460ff1660ff16815260200190600101906020826000010492830192600103820291508084116110705790505b5050505050600360006002548152602001908152602001600020600d016000848152602001908152602001600020600101600580602002604051908101604052809291908260058015611135576020028201916000905b82829054906101000a900460ff1660ff16815260200190600101906020826000010492830192600103820291508084116110fe5790505b5050505050611cf7565b945060008560ff1611156111935784600360006002548152602001908152602001600020600d01600083815260200190815260200160002060020160006101000a81548160ff021916908360ff1602179055505b600260ff168560ff161061123b57836002860360ff16600481106111b357fe5b60200201805180919060010160ff1660ff16815250506003600060025481526020019081526020016000206001016000815480929190600101919050555060036000600254815260200190815260200160002060010154955080600360006002548152602001908152602001600020600e016000888152602001908152602001600020819055505b8080600101915050611028565b5060008090505b600160026005030160ff168160ff1610156112db576000848260ff166004811061127557fe5b602002015160ff16146112ce57838160ff166004811061129157fe5b602002015160ff166003600060025481526020019081526020016000206008018260ff16600481106112bf57fe5b01600082825401925050819055505b808060010191505061124f565b50600360006002548152602001908152602001600020600001548114156114805760008090505b6001806002600503010360ff168160ff1610156113bc5760006003600060025481526020019081526020016000206008018260ff166004811061134157fe5b015414156113af576003600060025481526020019081526020016000206004018160ff166004811061136f57fe5b01546003600060025481526020019081526020016000206004016001806002600503010360ff16600481106113a057fe5b01600082825401925050819055505b8080600101915050611302565b5060006003600060025481526020019081526020016000206008016001806002600503010360ff16600481106113ee57fe5b01541461140257600060068190555061146b565b6003600060025481526020019081526020016000206004016001806002600503010360ff166004811061143157fe5b01546003600060016002540181526020019081526020016000206004016001806002600503010360ff166004811061146557fe5b01819055505b60016008819055506000600781905550611493565b6007600081548092919060010191905055505b5050505050565b600080600080600160075460320201905060006032600754603202019050600360006002548152602001908152602001600020600101548111156114f4576003600060025481526020019081526020016000206001015490505b60008290505b8181116116e357600360006002548152602001908152602001600020600e016000828152602001908152602001600020549550600360006002548152602001908152602001600020600d01600087815260200190815260200160002060020160009054906101000a900460ff1693506003600060025481526020019081526020016000206008016002850360ff166004811061159257fe5b01546003600060025481526020019081526020016000206004016002860360ff16600481106115bd57fe5b0154816115c657fe5b04945084600360006002548152602001908152602001600020600d01600088815260200190815260200160002060030181905550600360006002548152602001908152602001600020600d01600087815260200190815260200160002060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc869081150290604051600060405180830381858888f1935050505015801561168c573d6000803e3d6000fd5b507f95b71283c19555dc9c3352322c57457ec76bcbc6611ce08d9ce2457b2a67ddc2600254828760405180848152602001838152602001828152602001935050505060405180910390a180806001019150506114fa565b5060036000600254815260200190815260200160002060010154811415611792576002600360006002548152602001908152602001600020600c0160006101000a81548160ff021916908360ff1602179055506002600081548092919060010191905055507f1894534f5e76eae659da15b26084bc213f1a33e09e4dd13ce99283f33d7595736002546000604051808381526020018260ff1681526020019250505060405180910390a16117a5565b6007600081548092919060010191905055505b5050505050565b600060065411611807576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602c815260200180612135602c913960400191505060405180910390fd5b60006003600060025481526020019081526020016000206004016001806002600503010360ff166004811061183857fe5b01549050600260065402811180611855575062b892006004544203115b6118aa576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602a815260200180612161602a913960400191505060405180910390fd5b6006548111156119565773531d3bd0400ae601f26b335efbd787415aa5cb8173ffffffffffffffffffffffffffffffffffffffff166108fc6006549081150290604051600060405180830381858888f19350505050158015611910573d6000803e3d6000fd5b506006546003600060025481526020019081526020016000206004016001806002600503010360ff166004811061194357fe5b01600082825403925050819055506119e8565b73531d3bd0400ae601f26b335efbd787415aa5cb8173ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f193505050501580156119b0573d6000803e3d6000fd5b5060006003600060025481526020019081526020016000206004016001806002600503010360ff16600481106119e257fe5b01819055505b60006006819055507f1894534f5e76eae659da15b26084bc213f1a33e09e4dd13ce99283f33d7595736002546002604051808381526020018260ff1681526020019250505060405180910390a150565b6000809050611a45612031565b611a4d611d8f565b809250819350505060008215611a6c57611a65610d92565b9150611a78565b611a7582611c02565b91505b60036000600254815260200190815260200160002060000160008154809291906001019190505550346003600060025481526020019081526020016000206003016000828254019250508190555060036000600254815260200190815260200160002060000154905033600360006002548152602001908152602001600020600d01600083815260200190815260200160002060000160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555081600360006002548152602001908152602001600020600d016000838152602001908152602001600020600101906005611b87929190611f35565b507f95b71283c19555dc9c3352322c57457ec76bcbc6611ce08d9ce2457b2a67ddc260025482600060405180848152602001838152602001828152602001935050505060405180910390a1505050565b60006001602460ff16426002850260ff1660014303034060001c0181611bf957fe5b06019050919050565b611c0a612031565b600080600090505b600160050360ff168160ff161015611ced5760008090505b6001826005030360ff16811015611cdf57846001820160058110611c4a57fe5b602002015160ff16858260058110611c5e57fe5b602002015160ff161115611cd257848160058110611c7857fe5b60200201519250846001820160058110611c8e57fe5b6020020151858260058110611c9f57fe5b602002019060ff16908160ff168152505082856001830160058110611cc057fe5b602002019060ff16908160ff16815250505b8080600101915050611c2a565b508080600101915050611c12565b5082915050919050565b6000806000905060008090505b600560ff168160ff161015611d845760008090505b600560ff168160ff161015611d7657848160ff1660058110611d3757fe5b602002015160ff16868360ff1660058110611d4e57fe5b602002015160ff161415611d69578280600101935050611d76565b8080600101915050611d19565b508080600101915050611d04565b508091505092915050565b6000611d99612031565b6000809050611da6612031565b600560ff1660003690501415611f245760008090505b600560ff168160ff161015611e15576000368260ff16818110611ddb57fe5b9050013560f81c60f81b60f81c828260ff1660058110611df757fe5b602002019060ff16908160ff16815250508080600101915050611dbc565b5060008090505b600560ff168160ff161015611e84576001828260ff1660058110611e3c57fe5b602002015160ff161080611e695750602460ff16828260ff1660058110611e5f57fe5b602002015160ff16115b15611e775760019250611e84565b8080600101915050611e1c565b5081611f1f5760008090505b600160050360ff168160ff161015611f1d5760006001820190505b600560ff168160ff161015611f0457828160ff1660058110611ec957fe5b602002015160ff16838360ff1660058110611ee057fe5b602002015160ff161415611ef75760019350611f04565b8080600101915050611eab565b508215611f1057611f1d565b8080600101915050611e90565b505b611f29565b600191505b81819350935050509091565b826005601f01602090048101928215611fbe5791602002820160005b83821115611f8f57835183826101000a81548160ff021916908360ff1602179055509260200192600101602081600001049283019260010302611f51565b8015611fbc5782816101000a81549060ff0219169055600101602081600001049283019260010302611f8f565b505b509050611fcb91906120bd565b5090565b8260048101928215611ffe579160200282015b82811115611ffd578251825591602001919060010190611fe2565b5b50905061200b91906120ed565b5090565b6040518060800160405280600490602082028038833980820191505090505090565b6040518060a00160405280600590602082028038833980820191505090505090565b604051806101000160405280600073ffffffffffffffffffffffffffffffffffffffff168152602001612084612112565b8152602001600060ff168152602001600081525090565b6040518060800160405280600490602082028038833980820191505090505090565b6120ea91905b808211156120e657600081816101000a81549060ff0219169055506001016120c3565b5090565b90565b61210f91905b8082111561210b5760008160009055506001016120f3565b5090565b90565b6040518060a0016040528060059060208202803883398082019150509050509056fe41646d696e204a61636b706f7420616d6f756e74206d7573742062652067726561746572207468616e20302e4a61636b706f742072657475726e206973206e6f742063757272656e746c7920617661696c61626c652e5468652067616d652069732064726177696e672c2074727920616761696e206c617465722ea165627a7a72305820a9d487593a79678d0071a5e44affbf64a655d3f75d190878fdc6046abaf47aed0029

73:16721:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4168:1;4150:14;;;;;;;;;;;:19;;;4142:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;864:42;4235:21;;:10;:21;;;4231:86;;;4273:11;:9;:11::i;:::-;4299:7;;4231:86;4421:1;4396:5;:14;4402:7;;4396:14;;;;;;;;;;;:21;;;;;;;;;;;;:26;;;4388:76;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1049:42;4515:27;;:10;:27;;;4511:97;;;4559:16;:14;:16::i;:::-;4590:7;;4511:97;4635:13;4651:15;4662:3;4651:10;:15::i;:::-;4635:31;;4677:14;4694:17;4707:3;4694:12;:17::i;:::-;4677:34;;4722:15;524:1;4741:19;;:7;:19;;;:66;;;;;4804:2;616:10;566:8;4778:22;4777:29;;;;;;4765:9;:41;4741:66;:113;;;;;4851:2;668:10;566:8;4825:22;4824:29;;;;;;4812:9;:41;4741:113;4722:133;;4885:10;4884:11;4876:61;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;260:10;4956:9;:25;4948:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5027:8;:6;:8::i;:::-;4059:984;;;;73:16721;3030:256;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3030:256:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3030:256:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;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;3030:256:0;;;;;;;;;;;;;;;;3497:139;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3497:139:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3497:139:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;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;3497:139:0;;;;;;;;;;;;;;;;3315:152;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3315:152:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3315:152:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;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;3315:152:0;;;;;;;;;;;;;;;;2701:300;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2701:300:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2701:300:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3644:266;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3644:266:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3644:266:0;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;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;3644:266:0;;;;;;;;;;;;;;;;;;6824:1088;6885:1;6872:9;:14;6864:51;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7031:1;7006:5;:14;7012:7;;7006:14;;;;;;;;;;;:21;;;;;;;;;;;;:26;;;7002:783;;;7089:23;:21;:23::i;:::-;7149:1;7131:14;;;;;;;;;;;:19;;;7127:32;;;7152:7;;7127:32;7242:1;7218:5;:14;7224:7;;7218:14;;;;;;;;;;;:21;;;:25;;;;;;;;;;;;;;;;;;7327:17;:15;:17::i;:::-;7299:5;:14;7305:7;;7299:14;;;;;;;;;;;:25;;:45;;;;;;;:::i;:::-;;7392:11;7451:3;728:2;7406:42;;:5;:14;7412:7;;7406:14;;;;;;;;;;;:24;;;:42;:48;;;;;;7392:62;;951:42;7469:11;;:19;7481:6;7469:19;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7469:19:0;7563:15;:13;:15::i;:::-;7540:5;:14;7546:7;;7540:14;;;;;;;;;;;:20;;:38;;;;;;;:::i;:::-;;7598:23;7610:7;;7619:1;7598:23;;;;;;;;;;;;;;;;;;;;;;;;;;7702:1;7687:12;:16;;;;7772:1;7758:11;:15;;;;7002:783;;7817:1;7801:12;;:17;7797:106;;;7835:13;:11;:13::i;:::-;7797:106;;;7881:10;:8;:10::i;:::-;7797:106;6824:1088;:::o;5299:406::-;5438:1;5426:9;:13;5422:245;;;5478:9;5456:18;;:31;;;;;;;;;;;5540:9;5502:5;:14;5508:7;;5502:14;;;;;;;;;;;:20;;5534:1;480;408;316;450:27;:31;5523:12;5502:34;;;;;;;;;;;:47;;;;;;;;;;;5611:23;5623:7;;5632:1;5611:23;;;;;;;;;;;;;;;;;;;;;;;;;;5649:7;;5422:245;5677:20;:18;:20::i;:::-;5299:406;:::o;13300:125::-;13358:5;13415:1;13410;13402:5;13390:9;:17;;;;;;:21;13389:27;;;;;;13376:41;;13300:125;;;:::o;13141:117::-;13201:4;13245;13239:2;13227:9;:14;;;;;;13226:23;;;;;;13218:32;;13141:117;;;:::o;11888:243::-;12003:1;11982:17;;:22;11978:115;;;12041:3;12021:17;:23;;;;12078:3;12059:16;:22;;;;11978:115;12113:10;:8;:10::i;:::-;11888:243::o;3030:256::-;3087:28;;:::i;:::-;3156:1;3132:5;:14;3138:7;3132:14;;;;;;;;;;;:21;;;;;;;;;;;;:25;;;3128:126;;;3181:5;:14;3187:7;3181:14;;;;;;;;;;;:20;;3172:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3128:126;;;3239:15;:13;:15::i;:::-;3230:24;;3128:126;3272:6;3265:13;;3030:256;;;:::o;3497:139::-;3556:30;;:::i;:::-;3606:5;:14;3612:7;3606:14;;;;;;;;;;;:22;;3599:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3497:139;;;:::o;3315:152::-;3377:37;;:::i;:::-;3434:5;:14;3440:7;3434:14;;;;;;;;;;;:25;;3427:32;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3315:152;;;:::o;2701:300::-;2771:13;2786:20;2808:15;2825:13;2866:1;2855:7;:12;2851:35;;;2879:7;;2869:17;;2851:35;2905:7;2914:5;:14;2920:7;2914:14;;;;;;;;;;;:29;;;2945:5;:14;2951:7;2945:14;;;;;;;;;;;:24;;;2971:5;:14;2977:7;2971:14;;;;;;;;;;;:21;;;;;;;;;;;;2897:96;;;;;;;;2701:300;;;;;:::o;3644:266::-;3725:13;3740:11;3753:34;;:::i;:::-;3800:17;;:::i;:::-;3820:5;:14;3826:7;3820:14;;;;;;;;;;;:22;;:30;3843:6;3820:30;;;;;;;;;;;3800:50;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3869:3;:8;;;3879:3;:9;;;3890:3;:11;;;3861:41;;;;;;;;;;;;;3644:266;;;;;:::o;11196:445::-;11248:12;11271:4;11263:21;;;11248:36;;11361:1;11329:5;:14;11335:7;;11329:14;;;;;;;;;;;:29;;;:33;11325:88;;;11398:3;11379:16;:22;;;;11325:88;1140:8;11465:16;;11459:3;:22;:40;11455:179;;;951:42;11516:11;;:20;11528:7;11516:20;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;11516:20:0;11568:1;11551:14;;:18;;;;;;;;;;;;;;;;;;11621:1;11584:5;:14;11590:7;;11584:14;;;;;;;;;;;:20;;11616:1;480;408;316;450:27;:31;11605:12;11584:34;;;;;;;;;;:38;;;;11455:179;11196:445;:::o;13665:529::-;13714:33;;:::i;:::-;13801:7;13811:1;13801:11;;13796:62;316:1;13814:15;;:1;:15;;;13796:62;;;13849:9;13856:1;13849:6;:9::i;:::-;13836:7;13844:1;13836:10;;;;;;;;;;;;:22;;;;;;;;;;;13831:3;;;;;;;13796:62;;;;13910:20;13922:7;13910:11;:20::i;:::-;13900:30;;13983:7;13993:1;13983:11;;13978:181;14014:1;316;14000:15;13996:19;;:1;:19;;;13978:181;;;14040:7;14054:1;14050;:5;14040:15;;14035:124;316:1;14057:15;;:1;:15;;;14035:124;;;14114:7;14122:1;14114:10;;;;;;;;;;;;;14100:24;;:7;14108:1;14100:10;;;;;;;;;;;;;:24;;;14096:63;;;14147:7;14155:1;14147:10;;;;;;;;;;;;:12;;;;;;;;;;;;;;;14096:63;14074:3;;;;;;;14035:124;;;;14017:3;;;;;;;13978:181;;;;14179:7;14172:14;;13665:529;:::o;16409:380::-;16456:27;;:::i;:::-;16496:11;16555:3;728:2;16510:42;;:5;:14;16516:7;;16510:14;;;;;;;;;;;:24;;;:42;:48;;;;;;16496:62;;16574:7;16584:1;16574:11;;16569:121;480:1;408;316;450:27;:31;16587:12;;:1;:12;;;16569:121;;;16687:3;16668:13;16682:1;16668:16;;;;;;;;;;;;;;;;;;;;;;;;;;;16630:54;;16658:6;16631:5;:14;16637:7;;16631:14;;;;;;;;;;;:24;;;:33;16630:54;:60;;;;;;16619:5;16625:1;16619:8;;;;;;;;;;;;:71;;;;;16601:3;;;;;;;16569:121;;;;16724:5;:14;16730:7;;16724:14;;;;;;;;;;;:20;;16756:1;480;408;316;450:27;:31;16745:12;16724:34;;;;;;;;;;;16701:5;16718:1;480;408;316;450:27;:31;16707:12;16701:19;;;;;;;;;;;;:57;;;;;;;;;;;16776:5;16769:12;;;16409:380;:::o;7920:2051::-;8029:10;8050:8;8069:25;;:::i;:::-;8115:10;8154:1;8140:11;;1189:2;8128:23;:27;8115:40;;8166:8;1189:2;8189:11;;1189:2;8177:23;:35;8166:46;;8235:5;:14;8241:7;;8235:14;;;;;;;;;;;:29;;;8229:3;:35;8225:76;;;8272:5;:14;8278:7;;8272:14;;;;;;;;;;;:29;;;8266:35;;8225:76;8358:6;8367:5;8358:14;;8353:566;8379:3;8374:1;:8;8353:566;;8409:71;8419:5;:14;8425:7;;8419:14;;;;;;;;;;;:25;;8409:71;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8446:5;:14;8452:7;;8446:14;;;;;;;;;;;:22;;:25;8469:1;8446:25;;;;;;;;;;;:33;;8409:71;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:9;:71::i;:::-;8404:76;;8548:1;8543:2;:6;;;8539:72;;;8609:2;8568:5;:14;8574:7;;8568:14;;;;;;;;;;;:22;;:25;8591:1;8568:25;;;;;;;;;;;:38;;;:43;;;;;;;;;;;;;;;;;;8539:72;408:1;8667:19;;:2;:19;;;8663:245;;8707:2;408:1;8710:2;:18;8707:22;;;;;;;;;;;;:24;;;;;;;;;;;;;;;8750:5;:14;8756:7;;8750:14;;;;;;;;;;;:29;;;:31;;;;;;;;;;;;;8808:5;:14;8814:7;;8808:14;;;;;;;;;;;:29;;;8800:37;;8891:1;8856:5;:14;8862:7;;8856:14;;;;;;;;;;;:25;;:32;8882:5;8856:32;;;;;;;;;;;:36;;;;8663:245;8384:3;;;;;;;8353:566;;;;8975:7;8985:1;8975:11;;8970:117;480:1;408;316;450:27;:31;8988:12;;:1;:12;;;8970:117;;;9033:1;9024:2;9027:1;9024:5;;;;;;;;;;;;;:10;;;9020:67;;9082:2;9085:1;9082:5;;;;;;;;;;;;;9053:34;;:5;:14;9059:7;;9053:14;;;;;;;;;;;:22;;9076:1;9053:25;;;;;;;;;;;:34;;;;;;;;;;;9020:67;9002:3;;;;;;;8970:117;;;;9136:5;:14;9142:7;;9136:14;;;;;;;;;;;:29;;;9129:3;:36;9125:837;;;9294:7;9304:1;9294:11;;9289:195;9322:1;480;408;316;450:27;:31;9311:12;9307:16;;:1;:16;;;9289:195;;;9382:1;9353:5;:14;9359:7;;9353:14;;;;;;;;;;;:22;;9376:1;9353:25;;;;;;;;;;;:30;9349:119;;;9445:5;:14;9451:7;;9445:14;;;;;;;;;;;:20;;9466:1;9445:23;;;;;;;;;;;9407:5;:14;9413:7;;9407:14;;;;;;;;;;;:20;;9439:1;480;408;316;450:27;:31;9428:12;9407:34;;;;;;;;;;;:61;;;;;;;;;;;9349:119;9325:3;;;;;;;9289:195;;;;9589:1;9549:5;:14;9555:7;;9549:14;;;;;;;;;;;:22;;9583:1;480;408;316;450:27;:31;9572:12;9549:36;;;;;;;;;;;:41;9545:220;;9632:1;9611:18;:22;;;;9545:220;;;9715:5;:14;9721:7;;9715:14;;;;;;;;;;;:20;;9747:1;480;408;316;450:27;:31;9736:12;9715:34;;;;;;;;;;;9674:5;:18;9690:1;9680:7;;:11;9674:18;;;;;;;;;;;:24;;9710:1;480;408;316;450:27;:31;9699:12;9674:38;;;;;;;;;;:75;;;;9545:220;9871:1;9856:12;:16;;;;9901:1;9887:11;:15;;;;9125:837;;;9937:11;;:13;;;;;;;;;;;;;9125:837;7920:2051;;;;;:::o;9979:1177::-;10078:14;10103:10;10124:8;10143:10;10182:1;10168:11;;1189:2;10156:23;:27;10143:40;;10194:8;1189:2;10217:11;;1189:2;10205:23;:35;10194:46;;10263:5;:14;10269:7;;10263:14;;;;;;;;;;;:29;;;10257:3;:35;10253:76;;;10300:5;:14;10306:7;;10300:14;;;;;;;;;;;:29;;;10294:35;;10253:76;10395:6;10404:5;10395:14;;10390:460;10416:3;10411:1;:8;10390:460;;10453:5;:14;10459:7;;10453:14;;;;;;;;;;;:25;;:28;10479:1;10453:28;;;;;;;;;;;;10441:40;;10501:5;:14;10507:7;;10501:14;;;;;;;;;;;:22;;:33;10524:9;10501:33;;;;;;;;;;;:46;;;;;;;;;;;;10496:51;;10613:5;:14;10619:7;;10613:14;;;;;;;;;;;:22;;408:1;10636:2;:18;10613:42;;;;;;;;;;;10570:5;:14;10576:7;;10570:14;;;;;;;;;;;:20;;408:1;10591:2;:18;10570:40;;;;;;;;;;;:85;;;;;;10562:93;;10712:5;10670;:14;10676:7;;10670:14;;;;;;;;;;;:22;;:33;10693:9;10670:33;;;;;;;;;;;:39;;:47;;;;10732:5;:14;10738:7;;10732:14;;;;;;;;;;;:22;;:33;10755:9;10732:33;;;;;;;;;;;:38;;;;;;;;;;;;:47;;:54;10780:5;10732:54;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10732:54:0;10806:32;10820:7;;10829:1;10832:5;10806:32;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10421:3;;;;;;;10390:460;;;;10873:5;:14;10879:7;;10873:14;;;;;;;;;;;:29;;;10866:3;:36;10862:285;;;10990:1;10966:5;:14;10972:7;;10966:14;;;;;;;;;;;:21;;;:25;;;;;;;;;;;;;;;;;;11037:7;;:9;;;;;;;;;;;;;11066:23;11078:7;;11087:1;11066:23;;;;;;;;;;;;;;;;;;;;;;;;;;10862:285;;;11122:11;;:13;;;;;;;;;;;;;10862:285;9979:1177;;;;;:::o;5768:806::-;5867:1;5846:18;;:22;5838:93;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5942:22;5967:5;:14;5973:7;;5967:14;;;;;;;;;;;:20;;5999:1;480;408;316;450:27;:31;5988:12;5967:34;;;;;;;;;;;5942:59;;6061:1;6040:18;;:22;6020:17;:42;:89;;;;1140:8;6073:17;;6067:3;:23;6066:43;6020:89;6012:157;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6206:18;;6186:17;:38;6182:311;;;1049:42;6241:22;;:42;6264:18;;6241:42;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6241:42:0;6336:18;;6298:5;:14;6304:7;;6298:14;;;;;;;;;;;:20;;6330:1;480;408;316;450:27;:31;6319:12;6298:34;;;;;;;;;;;:56;;;;;;;;;;;6182:311;;;1049:42;6387:22;;:41;6410:17;6387:41;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6387:41:0;6480:1;6443:5;:14;6449:7;;6443:14;;;;;;;;;;;:20;;6475:1;480;408;316;450:27;:31;6464:12;6443:34;;;;;;;;;;:38;;;;6182:311;6524:1;6503:18;:22;;;;6541:23;6553:7;;6562:1;6541:23;;;;;;;;;;;;;;;;;;;;;;;;;;5768:806;:::o;12166:810::-;12207:8;12218:5;12207:16;;12234:33;;:::i;:::-;12334:16;:14;:16::i;:::-;12317:33;;;;;;;;12363:11;12449:3;12445:134;;;12479:17;:15;:17::i;:::-;12469:27;;12445:134;;;12543:20;12555:7;12543:11;:20::i;:::-;12533:30;;12445:134;12642:5;:14;12648:7;;12642:14;;;;;;;;;;;:29;;;:31;;;;;;;;;;;;;12712:9;12684:5;:14;12690:7;;12684:14;;;;;;;;;;;:24;;;:37;;;;;;;;;;;12768:5;:14;12774:7;;12768:14;;;;;;;;;;;:29;;;12759:38;;12846:10;12808:5;:14;12814:7;;12808:14;;;;;;;;;;;:22;;:30;12831:6;12808:30;;;;;;;;;;;:35;;;:48;;;;;;;;;;;;;;;;;;12908:7;12867:5;:14;12873:7;;12867:14;;;;;;;;;;;:22;;:30;12890:6;12867:30;;;;;;;;;;;:38;;:48;;;;;;;:::i;:::-;;12933:33;12947:7;;12956:6;12964:1;12933:33;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12166:810;;;:::o;13468:156::-;13518:5;13614:1;360:2;13549:62;;13594:3;13588:1;13584:3;:5;13565:24;;13580:1;13565:12;:16;:24;13555:35;13550:41;;:47;13549:62;;;;;;:66;13536:80;;13468:156;;;:::o;14240:503::-;14321:25;;:::i;:::-;14359:10;14385:7;14395:1;14385:11;;14380:326;14416:1;316;14402:15;14398:19;;:1;:19;;;14380:326;;;14442:6;14451:1;14442:10;;14437:269;14476:1;14472;316;14458:15;:19;14454:23;;:1;:23;14437:269;;;14521:10;14536:1;14532;:5;14521:17;;;;;;;;;;;14505:33;;:10;14516:1;14505:13;;;;;;;;;;;:33;;;14501:205;;;14570:10;14581:1;14570:13;;;;;;;;;;;14563:20;;14622:10;14637:1;14633;:5;14622:17;;;;;;;;;;;14606:10;14617:1;14606:13;;;;;;;;;;:33;;;;;;;;;;;14682:4;14662:10;14677:1;14673;:5;14662:17;;;;;;;;;;:24;;;;;;;;;;;14501:205;14479:3;;;;;;;14437:269;;;;14419:3;;;;;;;14380:326;;;;14725:10;14718:17;;;14240:503;;;:::o;14787:385::-;14892:5;14910:9;14922:1;14910:13;;14939:7;14949:1;14939:11;;14934:210;316:1;14952:15;;:1;:15;;;14934:210;;;14992:7;15002:1;14992:11;;14987:157;316:1;15005:15;;:1;:15;;;14987:157;;;15059:4;15064:1;15059:7;;;;;;;;;;;;;15048:18;;:4;15053:1;15048:7;;;;;;;;;;;;;:18;;;15044:100;;;15091:5;;;;;;;15119;;15044:100;15022:3;;;;;;;14987:157;;;;14969:3;;;;;;;14934:210;;;;15161:3;15154:10;;;14787:385;;;;:::o;15222:1146::-;15270:4;15276:25;;:::i;:::-;15314:8;15325:5;15314:16;;15341:33;;:::i;:::-;316:1;15427:30;;:8;;:15;;:30;15423:906;;;15513:7;15523:1;15513:11;;15508:88;316:1;15526:15;;:1;:15;;;15508:88;;;15584:8;;15593:1;15584:11;;;;;;;;;;;;;;;;;15578:18;;15565:7;15573:1;15565:10;;;;;;;;;;;;:31;;;;;;;;;;;15543:3;;;;;;;15508:88;;;;15662:7;15672:1;15662:11;;15657:185;316:1;15675:15;;:1;:15;;;15657:185;;;15731:1;15718:7;15726:1;15718:10;;;;;;;;;;;;;:14;;;:41;;;;360:2;15736:23;;:7;15744:1;15736:10;;;;;;;;;;;;;:23;;;15718:41;15714:128;;;15790:4;15784:10;;15817:5;;15714:128;15692:3;;;;;;;15657:185;;;;15901:3;15896:379;;15928:7;15938:1;15928:11;;15923:352;15959:1;316;15945:15;15941:19;;:1;:19;;;15923:352;;;15995:7;16009:1;16005;:5;15995:15;;15990:229;316:1;16012:15;;:1;:15;;;15990:229;;;16079:7;16087:1;16079:10;;;;;;;;;;;;;16065:24;;:7;16073:1;16065:10;;;;;;;;;;;;;:24;;;16061:135;;;16128:4;16122:10;;16163:5;;16061:135;16029:3;;;;;;;15990:229;;;;16245:3;16241:14;;;16250:5;;16241:14;15962:3;;;;;;;15923:352;;;;15896:379;15423:906;;;16313:4;16307:10;;15423:906;16347:3;16352:7;16339:21;;;;;;15222:1146;;:::o;73:16721::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;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;73:16721:0;;;;:::o;:::-;;;;;;;;;;;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;73:16721:0;;;;:::o;:::-;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;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;73:16721:0;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;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;73:16721:0;;;;:::o

bzzr://a9d487593a79678d0071a5e44affbf64a655d3f75d190878fdc6046abaf47aed