Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract HashTimeLock *
•    - function newContract(
•    - function withdraw(bytes32 id, bytes32 ...
•    - function refund(bytes32 id)
•    - function getStatus(bytes32[] memory i ...
•    - function getSingleStatus(bytes32 id)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-03-30
*/

pragma solidity ^0.5.0;
pragma experimental ABIEncoderV2;

contract HashTimeLock {

    mapping(bytes32 => LockContract) public contracts;

    //                   / - WITHDRAWN
    // INVALID - ACTIVE |
    //                   \ - EXPIRED - REFUNDED

    uint256 public constant INVALID = 0; // Uninitialized  swap -> can go to ACTIVE
    uint256 public constant ACTIVE = 1; // Active swap -> can go to WITHDRAWN or EXPIRED
    uint256 public constant REFUNDED = 2; // Swap is refunded -> final state.
    uint256 public constant WITHDRAWN = 3; // Swap is withdrawn -> final state.
    uint256 public constant EXPIRED = 4; // Swap is expired -> can go to REFUNDED

    struct LockContract {
        uint256 inputAmount;
        uint256 outputAmount;
        uint256 expiration;
        uint256 status;
        bytes32 hashLock;
        address payable sender;
        address payable receiver;
        string outputNetwork;
        string outputAddress;
    }

    event Withdraw(
        bytes32 indexed id,
        bytes32 secret,
        bytes32 hashLock,
        address indexed sender,
        address indexed receiver
    );

    event Refund(
        bytes32 indexed id,
        bytes32 hashLock,
        address indexed sender,
        address indexed receiver
    );

    event NewContract(
        uint256 inputAmount,
        uint256 outputAmount,
        uint256 expiration,
        bytes32 indexed id,
        bytes32 hashLock,
        address indexed sender,
        address indexed receiver,
        string outputNetwork,
        string outputAddress
    );

    function newContract(
        uint256 outputAmount,
        uint256 expiration,
        bytes32 hashLock,
        address payable receiver,
        string calldata outputNetwork,
        string calldata outputAddress
    ) external payable {
        address payable sender = msg.sender;
        uint256 inputAmount = msg.value;

        require(expiration > block.timestamp, 'INVALID_TIME');

        require(inputAmount > 0, 'INVALID_AMOUNT');

        bytes32 id = sha256(
            abi.encodePacked(sender, receiver, inputAmount, hashLock, expiration)
        );

        require(contracts[id].status == INVALID, "SWAP_EXISTS");

        contracts[id] = LockContract(
            inputAmount,
            outputAmount,
            expiration,
            ACTIVE,
            hashLock,
            sender,
            receiver,
            outputNetwork,
            outputAddress
        );

        emit NewContract(
            inputAmount,
            outputAmount,
            expiration,
            id,
            hashLock,
            sender,
            receiver,
            outputNetwork,
            outputAddress
        );
    }

    function withdraw(bytes32 id, bytes32 secret) external {
        LockContract storage c = contracts[id];

        require(c.status == ACTIVE, "SWAP_NOT_ACTIVE");

        require(c.expiration > block.timestamp, "INVALID_TIME");

        require(c.hashLock == sha256(abi.encodePacked(secret)),"INVALID_SECRET");

        c.status = WITHDRAWN;

        c.receiver.transfer(c.inputAmount);

        emit Withdraw(id, secret, c.hashLock, c.sender, c.receiver);
    }

    function refund(bytes32 id) external {
        LockContract storage c = contracts[id];

        require(c.status == ACTIVE, "SWAP_NOT_ACTIVE");

        require(c.expiration <= block.timestamp, "INVALID_TIME");

        c.status = REFUNDED;

        c.sender.transfer(c.inputAmount);

        emit Refund(id, c.hashLock, c.sender, c.receiver);
    }

    function getStatus(bytes32[] memory ids) public view returns (uint256[] memory) {
        uint256[] memory result = new uint256[](ids.length);

        for (uint256 index = 0; index < ids.length; index++) {
            result[index] = getSingleStatus(ids[index]);
        }

        return result;
    }

    function getSingleStatus(bytes32 id) public view returns (uint256 result) {
        LockContract memory tempContract = contracts[id];

        if (
            tempContract.status == ACTIVE &&
            tempContract.expiration < block.timestamp
        ) {
            result = EXPIRED;
        } else {
            result = tempContract.status;
        }
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"inputAmount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"outputAmount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"expiration","type":"uint256"},{"indexed":true,"internalType":"bytes32","name":"id","type":"bytes32"},{"indexed":false,"internalType":"bytes32","name":"hashLock","type":"bytes32"},{"indexed":true,"internalType":"address","name":"sender","type":"address"},{"indexed":true,"internalType":"address","name":"receiver","type":"address"},{"indexed":false,"internalType":"string","name":"outputNetwork","type":"string"},{"indexed":false,"internalType":"string","name":"outputAddress","type":"string"}],"name":"NewContract","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"id","type":"bytes32"},{"indexed":false,"internalType":"bytes32","name":"hashLock","type":"bytes32"},{"indexed":true,"internalType":"address","name":"sender","type":"address"},{"indexed":true,"internalType":"address","name":"receiver","type":"address"}],"name":"Refund","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"id","type":"bytes32"},{"indexed":false,"internalType":"bytes32","name":"secret","type":"bytes32"},{"indexed":false,"internalType":"bytes32","name":"hashLock","type":"bytes32"},{"indexed":true,"internalType":"address","name":"sender","type":"address"},{"indexed":true,"internalType":"address","name":"receiver","type":"address"}],"name":"Withdraw","type":"event"},{"constant":true,"inputs":[],"name":"ACTIVE","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"EXPIRED","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"INVALID","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"REFUNDED","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"WITHDRAWN","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"name":"contracts","outputs":[{"internalType":"uint256","name":"inputAmount","type":"uint256"},{"internalType":"uint256","name":"outputAmount","type":"uint256"},{"internalType":"uint256","name":"expiration","type":"uint256"},{"internalType":"uint256","name":"status","type":"uint256"},{"internalType":"bytes32","name":"hashLock","type":"bytes32"},{"internalType":"address payable","name":"sender","type":"address"},{"internalType":"address payable","name":"receiver","type":"address"},{"internalType":"string","name":"outputNetwork","type":"string"},{"internalType":"string","name":"outputAddress","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"bytes32","name":"id","type":"bytes32"}],"name":"getSingleStatus","outputs":[{"internalType":"uint256","name":"result","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"bytes32[]","name":"ids","type":"bytes32[]"}],"name":"getStatus","outputs":[{"internalType":"uint256[]","name":"","type":"uint256[]"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"outputAmount","type":"uint256"},{"internalType":"uint256","name":"expiration","type":"uint256"},{"internalType":"bytes32","name":"hashLock","type":"bytes32"},{"internalType":"address payable","name":"receiver","type":"address"},{"internalType":"string","name":"outputNetwork","type":"string"},{"internalType":"string","name":"outputAddress","type":"string"}],"name":"newContract","outputs":[],"payable":true,"stateMutability":"payable","type":"function"},{"constant":false,"inputs":[{"internalType":"bytes32","name":"id","type":"bytes32"}],"name":"refund","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"bytes32","name":"id","type":"bytes32"},{"internalType":"bytes32","name":"secret","type":"bytes32"}],"name":"withdraw","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"}]

608060405234801561001057600080fd5b50611b56806100206000396000f3fe60806040526004361061009c5760003560e01c806394e15c8f1161006457806394e15c8f14610186578063af78feef146101b1578063c90bd047146101dc578063d363209514610207578063ec56a37314610223578063fbdf3b43146102685761009c565b80632f21a663146100a1578063414ac85b146100de57806363615149146101095780637249fbb6146101325780637fcce2a91461015b575b600080fd5b3480156100ad57600080fd5b506100c860048036036100c39190810190611210565b6102a5565b6040516100d59190611701565b60405180910390f35b3480156100ea57600080fd5b506100f3610335565b6040516101009190611807565b60405180910390f35b34801561011557600080fd5b50610130600480360361012b91908101906112a3565b61033a565b005b34801561013e57600080fd5b5061015960048036036101549190810190611251565b6105c3565b005b34801561016757600080fd5b50610170610796565b60405161017d9190611807565b60405180910390f35b34801561019257600080fd5b5061019b61079b565b6040516101a89190611807565b60405180910390f35b3480156101bd57600080fd5b506101c66107a0565b6040516101d39190611807565b60405180910390f35b3480156101e857600080fd5b506101f16107a5565b6040516101fe9190611807565b60405180910390f35b610221600480360361021c91908101906112df565b6107aa565b005b34801561022f57600080fd5b5061024a60048036036102459190810190611251565b610b92565b60405161025f99989796959493929190611895565b60405180910390f35b34801561027457600080fd5b5061028f600480360361028a9190810190611251565b610d50565b60405161029c9190611807565b60405180910390f35b60608082516040519080825280602002602001820160405280156102d85781602001602082028038833980820191505090505b50905060008090505b835181101561032b576103068482815181106102f957fe5b6020026020010151610d50565b82828151811061031257fe5b60200260200101818152505080806001019150506102e1565b5080915050919050565b600481565b600080600084815260200190815260200160002090506001816003015414610397576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161038e906117a7565b60405180910390fd5b428160020154116103dd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103d4906117c7565b60405180910390fd5b6002826040516020016103f091906116cf565b60405160208183030381529060405260405161040c91906116ea565b602060405180830381855afa158015610429573d6000803e3d6000fd5b5050506040513d601f19601f8201168201806040525061044c919081019061127a565b816004015414610491576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161048890611787565b60405180910390fd5b600381600301819055508060060160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc82600001549081150290604051600060405180830381858888f19350505050158015610509573d6000803e3d6000fd5b508060060160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168160050160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16847f2d3a5ed13d0553389b4078e01264416362e34d23520fda797fbc17f3905ed1318585600401546040516105b692919061173e565b60405180910390a4505050565b600080600083815260200190815260200160002090506001816003015414610620576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610617906117a7565b60405180910390fd5b4281600201541115610667576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161065e906117c7565b60405180910390fd5b600281600301819055508060050160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc82600001549081150290604051600060405180830381858888f193505050501580156106df573d6000803e3d6000fd5b508060060160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168160050160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16837f6fa50d56c31f3efe0cb6ff06232bffce8fe8c4155e3cbb6f2d79dd12631c2522846004015460405161078a9190611723565b60405180910390a45050565b600081565b600281565b600381565b600181565b600033905060003490504289116107f6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107ed906117c7565b60405180910390fd5b60008111610839576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610830906117e7565b60405180910390fd5b600060028389848c8e604051602001610856959493929190611670565b60405160208183030381529060405260405161087291906116ea565b602060405180830381855afa15801561088f573d6000803e3d6000fd5b5050506040513d601f19601f820116820180604052506108b2919081019061127a565b90506000806000838152602001908152602001600020600301541461090c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161090390611767565b60405180910390fd5b6040518061012001604052808381526020018c81526020018b8152602001600181526020018a81526020018473ffffffffffffffffffffffffffffffffffffffff1681526020018973ffffffffffffffffffffffffffffffffffffffff16815260200188888080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050815260200186868080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050815250600080838152602001908152602001600020600082015181600001556020820151816001015560408201518160020155606082015181600301556080820151816004015560a08201518160050160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060c08201518160060160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060e0820151816007019080519060200190610aef929190610fcf565b50610100820151816008019080519060200190610b0d929190610fcf565b509050508773ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16827f767d0ffbc3d16cc51fc05770a22976e4b0fda9198e37878b76979429b2d5d88c858f8f8f8e8e8e8e604051610b7d989796959493929190611822565b60405180910390a45050505050505050505050565b60006020528060005260406000206000915090508060000154908060010154908060020154908060030154908060040154908060050160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16908060060160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690806007018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610ca85780601f10610c7d57610100808354040283529160200191610ca8565b820191906000526020600020905b815481529060010190602001808311610c8b57829003601f168201915b505050505090806008018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610d465780601f10610d1b57610100808354040283529160200191610d46565b820191906000526020600020905b815481529060010190602001808311610d2957829003601f168201915b5050505050905089565b6000610d5a61104f565b6000808481526020019081526020016000206040518061012001604052908160008201548152602001600182015481526020016002820154815260200160038201548152602001600482015481526020016005820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020016006820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001600782018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610eef5780601f10610ec457610100808354040283529160200191610eef565b820191906000526020600020905b815481529060010190602001808311610ed257829003601f168201915b50505050508152602001600882018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610f915780601f10610f6657610100808354040283529160200191610f91565b820191906000526020600020905b815481529060010190602001808311610f7457829003601f168201915b505050505081525050905060018160600151148015610fb35750428160400151105b15610fc15760049150610fc9565b806060015191505b50919050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061101057805160ff191683800117855561103e565b8280016001018555821561103e579182015b8281111561103d578251825591602001919060010190611022565b5b50905061104b91906110ca565b5090565b6040518061012001604052806000815260200160008152602001600081526020016000815260200160008019168152602001600073ffffffffffffffffffffffffffffffffffffffff168152602001600073ffffffffffffffffffffffffffffffffffffffff16815260200160608152602001606081525090565b6110ec91905b808211156110e85760008160009055506001016110d0565b5090565b90565b6000813590506110fe81611ace565b92915050565b600082601f83011261111557600080fd5b81356111286111238261195d565b611930565b9150818183526020840193506020810190508385602084028201111561114d57600080fd5b60005b8381101561117d57816111638882611187565b845260208401935060208301925050600181019050611150565b5050505092915050565b60008135905061119681611ae5565b92915050565b6000815190506111ab81611ae5565b92915050565b60008083601f8401126111c357600080fd5b8235905067ffffffffffffffff8111156111dc57600080fd5b6020830191508360018202830111156111f457600080fd5b9250929050565b60008135905061120a81611afc565b92915050565b60006020828403121561122257600080fd5b600082013567ffffffffffffffff81111561123c57600080fd5b61124884828501611104565b91505092915050565b60006020828403121561126357600080fd5b600061127184828501611187565b91505092915050565b60006020828403121561128c57600080fd5b600061129a8482850161119c565b91505092915050565b600080604083850312156112b657600080fd5b60006112c485828601611187565b92505060206112d585828601611187565b9150509250929050565b60008060008060008060008060c0898b0312156112fb57600080fd5b60006113098b828c016111fb565b985050602061131a8b828c016111fb565b975050604061132b8b828c01611187565b965050606061133c8b828c016110ef565b955050608089013567ffffffffffffffff81111561135957600080fd5b6113658b828c016111b1565b945094505060a089013567ffffffffffffffff81111561138457600080fd5b6113908b828c016111b1565b92509250509295985092959890939650565b60006113ae838361163b565b60208301905092915050565b6113c3816119f0565b82525050565b6113da6113d5826119f0565b611a78565b82525050565b60006113eb82611995565b6113f581856119c3565b935061140083611985565b8060005b8381101561143157815161141888826113a2565b9750611423836119b6565b925050600181019050611404565b5085935050505092915050565b61144781611a02565b82525050565b61145e61145982611a02565b611a8a565b82525050565b600061146f826119a0565b61147981856119d4565b9350611489818560208601611a45565b80840191505092915050565b60006114a183856119df565b93506114ae838584611a36565b6114b783611ab0565b840190509392505050565b60006114cd826119ab565b6114d781856119df565b93506114e7818560208601611a45565b6114f081611ab0565b840191505092915050565b6000611508600b836119df565b91507f535741505f4558495354530000000000000000000000000000000000000000006000830152602082019050919050565b6000611548600e836119df565b91507f494e56414c49445f5345435245540000000000000000000000000000000000006000830152602082019050919050565b6000611588600f836119df565b91507f535741505f4e4f545f41435449564500000000000000000000000000000000006000830152602082019050919050565b60006115c8600c836119df565b91507f494e56414c49445f54494d4500000000000000000000000000000000000000006000830152602082019050919050565b6000611608600e836119df565b91507f494e56414c49445f414d4f554e540000000000000000000000000000000000006000830152602082019050919050565b61164481611a2c565b82525050565b61165381611a2c565b82525050565b61166a61166582611a2c565b611aa6565b82525050565b600061167c82886113c9565b60148201915061168c82876113c9565b60148201915061169c8286611659565b6020820191506116ac828561144d565b6020820191506116bc8284611659565b6020820191508190509695505050505050565b60006116db828461144d565b60208201915081905092915050565b60006116f68284611464565b915081905092915050565b6000602082019050818103600083015261171b81846113e0565b905092915050565b6000602082019050611738600083018461143e565b92915050565b6000604082019050611753600083018561143e565b611760602083018461143e565b9392505050565b60006020820190508181036000830152611780816114fb565b9050919050565b600060208201905081810360008301526117a08161153b565b9050919050565b600060208201905081810360008301526117c08161157b565b9050919050565b600060208201905081810360008301526117e0816115bb565b9050919050565b60006020820190508181036000830152611800816115fb565b9050919050565b600060208201905061181c600083018461164a565b92915050565b600060c082019050611837600083018b61164a565b611844602083018a61164a565b611851604083018961164a565b61185e606083018861143e565b8181036080830152611871818688611495565b905081810360a0830152611886818486611495565b90509998505050505050505050565b6000610120820190506118ab600083018c61164a565b6118b8602083018b61164a565b6118c5604083018a61164a565b6118d2606083018961164a565b6118df608083018861143e565b6118ec60a08301876113ba565b6118f960c08301866113ba565b81810360e083015261190b81856114c2565b905081810361010083015261192081846114c2565b90509a9950505050505050505050565b6000604051905081810181811067ffffffffffffffff8211171561195357600080fd5b8060405250919050565b600067ffffffffffffffff82111561197457600080fd5b602082029050602081019050919050565b6000819050602082019050919050565b600081519050919050565b600081519050919050565b600081519050919050565b6000602082019050919050565b600082825260208201905092915050565b600081905092915050565b600082825260208201905092915050565b60006119fb82611a0c565b9050919050565b6000819050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b82818337600083830152505050565b60005b83811015611a63578082015181840152602081019050611a48565b83811115611a72576000848401525b50505050565b6000611a8382611a94565b9050919050565b6000819050919050565b6000611a9f82611ac1565b9050919050565b6000819050919050565b6000601f19601f8301169050919050565b60008160601b9050919050565b611ad7816119f0565b8114611ae257600080fd5b50565b611aee81611a02565b8114611af957600080fd5b50565b611b0581611a2c565b8114611b1057600080fd5b5056fea365627a7a72315820a86d30a8cc0b92853468189a4db0ebf3be78c3fb35466edc38e8a39dd268dee96c6578706572696d656e74616cf564736f6c63430005110040

0x60806040526004361061009c5760003560e01c806394e15c8f1161006457806394e15c8f14610186578063af78feef146101b1578063c90bd047146101dc578063d363209514610207578063ec56a37314610223578063fbdf3b43146102685761009c565b80632f21a663146100a1578063414ac85b146100de57806363615149146101095780637249fbb6146101325780637fcce2a91461015b575b600080fd5b3480156100ad57600080fd5b506100c860048036036100c39190810190611210565b6102a5565b6040516100d59190611701565b60405180910390f35b3480156100ea57600080fd5b506100f3610335565b6040516101009190611807565b60405180910390f35b34801561011557600080fd5b50610130600480360361012b91908101906112a3565b61033a565b005b34801561013e57600080fd5b5061015960048036036101549190810190611251565b6105c3565b005b34801561016757600080fd5b50610170610796565b60405161017d9190611807565b60405180910390f35b34801561019257600080fd5b5061019b61079b565b6040516101a89190611807565b60405180910390f35b3480156101bd57600080fd5b506101c66107a0565b6040516101d39190611807565b60405180910390f35b3480156101e857600080fd5b506101f16107a5565b6040516101fe9190611807565b60405180910390f35b610221600480360361021c91908101906112df565b6107aa565b005b34801561022f57600080fd5b5061024a60048036036102459190810190611251565b610b92565b60405161025f99989796959493929190611895565b60405180910390f35b34801561027457600080fd5b5061028f600480360361028a9190810190611251565b610d50565b60405161029c9190611807565b60405180910390f35b60608082516040519080825280602002602001820160405280156102d85781602001602082028038833980820191505090505b50905060008090505b835181101561032b576103068482815181106102f957fe5b6020026020010151610d50565b82828151811061031257fe5b60200260200101818152505080806001019150506102e1565b5080915050919050565b600481565b600080600084815260200190815260200160002090506001816003015414610397576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161038e906117a7565b60405180910390fd5b428160020154116103dd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103d4906117c7565b60405180910390fd5b6002826040516020016103f091906116cf565b60405160208183030381529060405260405161040c91906116ea565b602060405180830381855afa158015610429573d6000803e3d6000fd5b5050506040513d601f19601f8201168201806040525061044c919081019061127a565b816004015414610491576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161048890611787565b60405180910390fd5b600381600301819055508060060160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc82600001549081150290604051600060405180830381858888f19350505050158015610509573d6000803e3d6000fd5b508060060160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168160050160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16847f2d3a5ed13d0553389b4078e01264416362e34d23520fda797fbc17f3905ed1318585600401546040516105b692919061173e565b60405180910390a4505050565b600080600083815260200190815260200160002090506001816003015414610620576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610617906117a7565b60405180910390fd5b4281600201541115610667576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161065e906117c7565b60405180910390fd5b600281600301819055508060050160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc82600001549081150290604051600060405180830381858888f193505050501580156106df573d6000803e3d6000fd5b508060060160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168160050160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16837f6fa50d56c31f3efe0cb6ff06232bffce8fe8c4155e3cbb6f2d79dd12631c2522846004015460405161078a9190611723565b60405180910390a45050565b600081565b600281565b600381565b600181565b600033905060003490504289116107f6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107ed906117c7565b60405180910390fd5b60008111610839576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610830906117e7565b60405180910390fd5b600060028389848c8e604051602001610856959493929190611670565b60405160208183030381529060405260405161087291906116ea565b602060405180830381855afa15801561088f573d6000803e3d6000fd5b5050506040513d601f19601f820116820180604052506108b2919081019061127a565b90506000806000838152602001908152602001600020600301541461090c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161090390611767565b60405180910390fd5b6040518061012001604052808381526020018c81526020018b8152602001600181526020018a81526020018473ffffffffffffffffffffffffffffffffffffffff1681526020018973ffffffffffffffffffffffffffffffffffffffff16815260200188888080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050815260200186868080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050815250600080838152602001908152602001600020600082015181600001556020820151816001015560408201518160020155606082015181600301556080820151816004015560a08201518160050160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060c08201518160060160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060e0820151816007019080519060200190610aef929190610fcf565b50610100820151816008019080519060200190610b0d929190610fcf565b509050508773ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16827f767d0ffbc3d16cc51fc05770a22976e4b0fda9198e37878b76979429b2d5d88c858f8f8f8e8e8e8e604051610b7d989796959493929190611822565b60405180910390a45050505050505050505050565b60006020528060005260406000206000915090508060000154908060010154908060020154908060030154908060040154908060050160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16908060060160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690806007018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610ca85780601f10610c7d57610100808354040283529160200191610ca8565b820191906000526020600020905b815481529060010190602001808311610c8b57829003601f168201915b505050505090806008018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610d465780601f10610d1b57610100808354040283529160200191610d46565b820191906000526020600020905b815481529060010190602001808311610d2957829003601f168201915b5050505050905089565b6000610d5a61104f565b6000808481526020019081526020016000206040518061012001604052908160008201548152602001600182015481526020016002820154815260200160038201548152602001600482015481526020016005820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020016006820160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001600782018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610eef5780601f10610ec457610100808354040283529160200191610eef565b820191906000526020600020905b815481529060010190602001808311610ed257829003601f168201915b50505050508152602001600882018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610f915780601f10610f6657610100808354040283529160200191610f91565b820191906000526020600020905b815481529060010190602001808311610f7457829003601f168201915b505050505081525050905060018160600151148015610fb35750428160400151105b15610fc15760049150610fc9565b806060015191505b50919050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061101057805160ff191683800117855561103e565b8280016001018555821561103e579182015b8281111561103d578251825591602001919060010190611022565b5b50905061104b91906110ca565b5090565b6040518061012001604052806000815260200160008152602001600081526020016000815260200160008019168152602001600073ffffffffffffffffffffffffffffffffffffffff168152602001600073ffffffffffffffffffffffffffffffffffffffff16815260200160608152602001606081525090565b6110ec91905b808211156110e85760008160009055506001016110d0565b5090565b90565b6000813590506110fe81611ace565b92915050565b600082601f83011261111557600080fd5b81356111286111238261195d565b611930565b9150818183526020840193506020810190508385602084028201111561114d57600080fd5b60005b8381101561117d57816111638882611187565b845260208401935060208301925050600181019050611150565b5050505092915050565b60008135905061119681611ae5565b92915050565b6000815190506111ab81611ae5565b92915050565b60008083601f8401126111c357600080fd5b8235905067ffffffffffffffff8111156111dc57600080fd5b6020830191508360018202830111156111f457600080fd5b9250929050565b60008135905061120a81611afc565b92915050565b60006020828403121561122257600080fd5b600082013567ffffffffffffffff81111561123c57600080fd5b61124884828501611104565b91505092915050565b60006020828403121561126357600080fd5b600061127184828501611187565b91505092915050565b60006020828403121561128c57600080fd5b600061129a8482850161119c565b91505092915050565b600080604083850312156112b657600080fd5b60006112c485828601611187565b92505060206112d585828601611187565b9150509250929050565b60008060008060008060008060c0898b0312156112fb57600080fd5b60006113098b828c016111fb565b985050602061131a8b828c016111fb565b975050604061132b8b828c01611187565b965050606061133c8b828c016110ef565b955050608089013567ffffffffffffffff81111561135957600080fd5b6113658b828c016111b1565b945094505060a089013567ffffffffffffffff81111561138457600080fd5b6113908b828c016111b1565b92509250509295985092959890939650565b60006113ae838361163b565b60208301905092915050565b6113c3816119f0565b82525050565b6113da6113d5826119f0565b611a78565b82525050565b60006113eb82611995565b6113f581856119c3565b935061140083611985565b8060005b8381101561143157815161141888826113a2565b9750611423836119b6565b925050600181019050611404565b5085935050505092915050565b61144781611a02565b82525050565b61145e61145982611a02565b611a8a565b82525050565b600061146f826119a0565b61147981856119d4565b9350611489818560208601611a45565b80840191505092915050565b60006114a183856119df565b93506114ae838584611a36565b6114b783611ab0565b840190509392505050565b60006114cd826119ab565b6114d781856119df565b93506114e7818560208601611a45565b6114f081611ab0565b840191505092915050565b6000611508600b836119df565b91507f535741505f4558495354530000000000000000000000000000000000000000006000830152602082019050919050565b6000611548600e836119df565b91507f494e56414c49445f5345435245540000000000000000000000000000000000006000830152602082019050919050565b6000611588600f836119df565b91507f535741505f4e4f545f41435449564500000000000000000000000000000000006000830152602082019050919050565b60006115c8600c836119df565b91507f494e56414c49445f54494d4500000000000000000000000000000000000000006000830152602082019050919050565b6000611608600e836119df565b91507f494e56414c49445f414d4f554e540000000000000000000000000000000000006000830152602082019050919050565b61164481611a2c565b82525050565b61165381611a2c565b82525050565b61166a61166582611a2c565b611aa6565b82525050565b600061167c82886113c9565b60148201915061168c82876113c9565b60148201915061169c8286611659565b6020820191506116ac828561144d565b6020820191506116bc8284611659565b6020820191508190509695505050505050565b60006116db828461144d565b60208201915081905092915050565b60006116f68284611464565b915081905092915050565b6000602082019050818103600083015261171b81846113e0565b905092915050565b6000602082019050611738600083018461143e565b92915050565b6000604082019050611753600083018561143e565b611760602083018461143e565b9392505050565b60006020820190508181036000830152611780816114fb565b9050919050565b600060208201905081810360008301526117a08161153b565b9050919050565b600060208201905081810360008301526117c08161157b565b9050919050565b600060208201905081810360008301526117e0816115bb565b9050919050565b60006020820190508181036000830152611800816115fb565b9050919050565b600060208201905061181c600083018461164a565b92915050565b600060c082019050611837600083018b61164a565b611844602083018a61164a565b611851604083018961164a565b61185e606083018861143e565b8181036080830152611871818688611495565b905081810360a0830152611886818486611495565b90509998505050505050505050565b6000610120820190506118ab600083018c61164a565b6118b8602083018b61164a565b6118c5604083018a61164a565b6118d2606083018961164a565b6118df608083018861143e565b6118ec60a08301876113ba565b6118f960c08301866113ba565b81810360e083015261190b81856114c2565b905081810361010083015261192081846114c2565b90509a9950505050505050505050565b6000604051905081810181811067ffffffffffffffff8211171561195357600080fd5b8060405250919050565b600067ffffffffffffffff82111561197457600080fd5b602082029050602081019050919050565b6000819050602082019050919050565b600081519050919050565b600081519050919050565b600081519050919050565b6000602082019050919050565b600082825260208201905092915050565b600081905092915050565b600082825260208201905092915050565b60006119fb82611a0c565b9050919050565b6000819050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b82818337600083830152505050565b60005b83811015611a63578082015181840152602081019050611a48565b83811115611a72576000848401525b50505050565b6000611a8382611a94565b9050919050565b6000819050919050565b6000611a9f82611ac1565b9050919050565b6000819050919050565b6000601f19601f8301169050919050565b60008160601b9050919050565b611ad7816119f0565b8114611ae257600080fd5b50565b611aee81611a02565b8114611af957600080fd5b50565b611b0581611a2c565b8114611b1057600080fd5b5056fea365627a7a72315820a86d30a8cc0b92853468189a4db0ebf3be78c3fb35466edc38e8a39dd268dee96c6578706572696d656e74616cf564736f6c63430005110040

62:4323:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3689:311;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3689:311:0;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;604:35;;8:9:-1;5:2;;;30:1;27;20:12;5:2;604:35:0;;;:::i;:::-;;;;;;;;;;;;;;;;2836:476;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2836:476:0;;;;;;;;;;;;;;;;:::i;:::-;;3320:361;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3320:361:0;;;;;;;;;;;;;;;;:::i;:::-;;269:35;;8:9:-1;5:2;;;30:1;27;20:12;5:2;269:35:0;;;:::i;:::-;;;;;;;;;;;;;;;;444:36;;8:9:-1;5:2;;;30:1;27;20:12;5:2;444:36:0;;;:::i;:::-;;;;;;;;;;;;;;;;523:37;;8:9:-1;5:2;;;30:1;27;20:12;5:2;523:37:0;;;:::i;:::-;;;;;;;;;;;;;;;;354:34;;8:9:-1;5:2;;;30:1;27;20:12;5:2;354:34:0;;;:::i;:::-;;;;;;;;;;;;;;;;1637:1191;;;;;;;;;;;;;;;;:::i;:::-;;93:49;;8:9:-1;5:2;;;30:1;27;20:12;5:2;93:49:0;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;4008:374;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4008:374:0;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;3689:311;3751:16;3780:23;3820:3;:10;3806:25;;;;;;;;;;;;;;;;;;;;;;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;3806:25:0;;;;3780:51;;3849:13;3865:1;3849:17;;3844:123;3876:3;:10;3868:5;:18;3844:123;;;3928:27;3944:3;3948:5;3944:10;;;;;;;;;;;;;;3928:15;:27::i;:::-;3912:6;3919:5;3912:13;;;;;;;;;;;;;:43;;;;;3888:7;;;;;;;3844:123;;;;3986:6;3979:13;;;3689:311;;;:::o;604:35::-;638:1;604:35;:::o;2836:476::-;2902:22;2927:9;:13;2937:2;2927:13;;;;;;;;;;;2902:38;;387:1;2961;:8;;;:18;2953:46;;;;;;;;;;;;;;;;;;;;;;3035:15;3020:1;:12;;;:30;3012:55;;;;;;;;;;;;;;;;;;;;;;3102:32;3126:6;3109:24;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;3109:24:0;;;3102:32;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3102:32:0;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;3102:32:0;;;;;;;;;3088:1;:10;;;:46;3080:72;;;;;;;;;;;;;;;;;;;;;;559:1;3165;:8;;:20;;;;3198:1;:10;;;;;;;;;;;;:19;;:34;3218:1;:13;;;3198:34;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3198:34:0;3293:1;:10;;;;;;;;;;;;3250:54;;3283:1;:8;;;;;;;;;;;;3250:54;;3259:2;3250:54;3263:6;3271:1;:10;;;3250:54;;;;;;;;;;;;;;;;2836:476;;;:::o;3320:361::-;3368:22;3393:9;:13;3403:2;3393:13;;;;;;;;;;;3368:38;;387:1;3427;:8;;;:18;3419:46;;;;;;;;;;;;;;;;;;;;;;3502:15;3486:1;:12;;;:31;;3478:56;;;;;;;;;;;;;;;;;;;;;;479:1;3547;:8;;:19;;;;3579:1;:8;;;;;;;;;;;;:17;;:32;3597:1;:13;;;3579:32;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3579:32:0;3662:1;:10;;;;;;;;;;;;3629:44;;3652:1;:8;;;;;;;;;;;;3629:44;;3636:2;3629:44;3640:1;:10;;;3629:44;;;;;;;;;;;;;;;3320:361;;:::o;269:35::-;303:1;269:35;:::o;444:36::-;479:1;444:36;:::o;523:37::-;559:1;523:37;:::o;354:34::-;387:1;354:34;:::o;1637:1191::-;1895:22;1920:10;1895:35;;1941:19;1963:9;1941:31;;2006:15;1993:10;:28;1985:53;;;;;;;;;;;;;;;;;;;;;;2073:1;2059:11;:15;2051:42;;;;;;;;;;;;;;;;;;;;;;2106:10;2119:101;2157:6;2165:8;2175:11;2188:8;2198:10;2140:69;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;2140:69:0;;;2119:101;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;2119:101:0;;;;;;101:4:-1;97:9;90:4;84;80:15;76:31;69:5;65:43;126:6;120:4;113:20;0:138;2119:101:0;;;;;;;;;2106:114;;303:1;2241:9;:13;2251:2;2241:13;;;;;;;;;;;:20;;;:31;2233:55;;;;;;;;;;;;;;;;;;;;;;2317:245;;;;;;;;2344:11;2317:245;;;;2370:12;2317:245;;;;2397:10;2317:245;;;;387:1;2317:245;;;;2443:8;2317:245;;;;2466:6;2317:245;;;;;;2487:8;2317:245;;;;;;2510:13;;2317:245;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;2317:245:0;;;;;;;;;;2538:13;;2317:245;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;2317:245:0;;;;;;;;;2301:9;:13;2311:2;2301:13;;;;;;;;;;;:261;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;2745:8;2580:240;;2724:6;2580:240;;2684:2;2580:240;2606:11;2632:12;2659:10;2701:8;2768:13;;2796;;2580:240;;;;;;;;;;;;;;;;;;;;;;1637:1191;;;;;;;;;;;:::o;93:49::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;4008:374::-;4066:14;4093:32;;:::i;:::-;4128:9;:13;4138:2;4128:13;;;;;;;;;;;4093:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;387:1;4172:12;:19;;;:29;:87;;;;;4244:15;4218:12;:23;;;:41;4172:87;4154:221;;;638:1;4286:16;;4154:221;;;4344:12;:19;;;4335:28;;4154:221;4008:374;;;;:::o;62:4323::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;5:146:-1:-;;93:6;80:20;71:29;;105:41;140:5;105:41;;;65:86;;;;;176:707;;293:3;286:4;278:6;274:17;270:27;260:2;;311:1;308;301:12;260:2;348:6;335:20;370:80;385:64;442:6;385:64;;;370:80;;;361:89;;467:5;492:6;485:5;478:21;522:4;514:6;510:17;500:27;;544:4;539:3;535:14;528:21;;597:6;644:3;636:4;628:6;624:17;619:3;615:27;612:36;609:2;;;661:1;658;651:12;609:2;686:1;671:206;696:6;693:1;690:13;671:206;;;754:3;776:37;809:3;797:10;776:37;;;771:3;764:50;837:4;832:3;828:14;821:21;;865:4;860:3;856:14;849:21;;728:149;718:1;715;711:9;706:14;;671:206;;;675:14;253:630;;;;;;;;891:130;;971:6;958:20;949:29;;983:33;1010:5;983:33;;;943:78;;;;;1028:134;;1112:6;1106:13;1097:22;;1124:33;1151:5;1124:33;;;1091:71;;;;;1184:337;;;1299:3;1292:4;1284:6;1280:17;1276:27;1266:2;;1317:1;1314;1307:12;1266:2;1350:6;1337:20;1327:30;;1377:18;1369:6;1366:30;1363:2;;;1409:1;1406;1399:12;1363:2;1443:4;1435:6;1431:17;1419:29;;1494:3;1486:4;1478:6;1474:17;1464:8;1460:32;1457:41;1454:2;;;1511:1;1508;1501:12;1454:2;1259:262;;;;;;1529:130;;1609:6;1596:20;1587:29;;1621:33;1648:5;1621:33;;;1581:78;;;;;1666:377;;1795:2;1783:9;1774:7;1770:23;1766:32;1763:2;;;1811:1;1808;1801:12;1763:2;1874:1;1863:9;1859:17;1846:31;1897:18;1889:6;1886:30;1883:2;;;1929:1;1926;1919:12;1883:2;1949:78;2019:7;2010:6;1999:9;1995:22;1949:78;;;1939:88;;1825:208;1757:286;;;;;2050:241;;2154:2;2142:9;2133:7;2129:23;2125:32;2122:2;;;2170:1;2167;2160:12;2122:2;2205:1;2222:53;2267:7;2258:6;2247:9;2243:22;2222:53;;;2212:63;;2184:97;2116:175;;;;;2298:263;;2413:2;2401:9;2392:7;2388:23;2384:32;2381:2;;;2429:1;2426;2419:12;2381:2;2464:1;2481:64;2537:7;2528:6;2517:9;2513:22;2481:64;;;2471:74;;2443:108;2375:186;;;;;2568:366;;;2689:2;2677:9;2668:7;2664:23;2660:32;2657:2;;;2705:1;2702;2695:12;2657:2;2740:1;2757:53;2802:7;2793:6;2782:9;2778:22;2757:53;;;2747:63;;2719:97;2847:2;2865:53;2910:7;2901:6;2890:9;2886:22;2865:53;;;2855:63;;2826:98;2651:283;;;;;;2941:1137;;;;;;;;;3178:3;3166:9;3157:7;3153:23;3149:33;3146:2;;;3195:1;3192;3185:12;3146:2;3230:1;3247:53;3292:7;3283:6;3272:9;3268:22;3247:53;;;3237:63;;3209:97;3337:2;3355:53;3400:7;3391:6;3380:9;3376:22;3355:53;;;3345:63;;3316:98;3445:2;3463:53;3508:7;3499:6;3488:9;3484:22;3463:53;;;3453:63;;3424:98;3553:2;3571:61;3624:7;3615:6;3604:9;3600:22;3571:61;;;3561:71;;3532:106;3697:3;3686:9;3682:19;3669:33;3722:18;3714:6;3711:30;3708:2;;;3754:1;3751;3744:12;3708:2;3782:65;3839:7;3830:6;3819:9;3815:22;3782:65;;;3772:75;;;;3648:205;3912:3;3901:9;3897:19;3884:33;3937:18;3929:6;3926:30;3923:2;;;3969:1;3966;3959:12;3923:2;3997:65;4054:7;4045:6;4034:9;4030:22;3997:65;;;3987:75;;;;3863:205;3140:938;;;;;;;;;;;;4086:173;;4173:46;4215:3;4207:6;4173:46;;;4248:4;4243:3;4239:14;4225:28;;4166:93;;;;;4267:137;4366:32;4392:5;4366:32;;;4361:3;4354:45;4348:56;;;4411:184;4528:61;4556:32;4582:5;4556:32;;;4528:61;;;4523:3;4516:74;4510:85;;;4633:690;;4778:54;4826:5;4778:54;;;4845:86;4924:6;4919:3;4845:86;;;4838:93;;4952:56;5002:5;4952:56;;;5028:7;5056:1;5041:260;5066:6;5063:1;5060:13;5041:260;;;5133:6;5127:13;5154:63;5213:3;5198:13;5154:63;;;5147:70;;5234:60;5287:6;5234:60;;;5224:70;;5098:203;5088:1;5085;5081:9;5076:14;;5041:260;;;5045:14;5314:3;5307:10;;4757:566;;;;;;;;5331:113;5414:24;5432:5;5414:24;;;5409:3;5402:37;5396:48;;;5451:152;5552:45;5572:24;5590:5;5572:24;;;5552:45;;;5547:3;5540:58;5534:69;;;5610:356;;5738:38;5770:5;5738:38;;;5788:88;5869:6;5864:3;5788:88;;;5781:95;;5881:52;5926:6;5921:3;5914:4;5907:5;5903:16;5881:52;;;5954:6;5949:3;5945:16;5938:23;;5718:248;;;;;;5998:300;;6114:71;6178:6;6173:3;6114:71;;;6107:78;;6197:43;6233:6;6228:3;6221:5;6197:43;;;6262:29;6284:6;6262:29;;;6257:3;6253:39;6246:46;;6100:198;;;;;;6306:339;;6414:35;6443:5;6414:35;;;6461:71;6525:6;6520:3;6461:71;;;6454:78;;6537:52;6582:6;6577:3;6570:4;6563:5;6559:16;6537:52;;;6610:29;6632:6;6610:29;;;6605:3;6601:39;6594:46;;6394:251;;;;;;6653:311;;6813:67;6877:2;6872:3;6813:67;;;6806:74;;6913:13;6909:1;6904:3;6900:11;6893:34;6955:2;6950:3;6946:12;6939:19;;6799:165;;;;6973:314;;7133:67;7197:2;7192:3;7133:67;;;7126:74;;7233:16;7229:1;7224:3;7220:11;7213:37;7278:2;7273:3;7269:12;7262:19;;7119:168;;;;7296:315;;7456:67;7520:2;7515:3;7456:67;;;7449:74;;7556:17;7552:1;7547:3;7543:11;7536:38;7602:2;7597:3;7593:12;7586:19;;7442:169;;;;7620:312;;7780:67;7844:2;7839:3;7780:67;;;7773:74;;7880:14;7876:1;7871:3;7867:11;7860:35;7923:2;7918:3;7914:12;7907:19;;7766:166;;;;7941:314;;8101:67;8165:2;8160:3;8101:67;;;8094:74;;8201:16;8197:1;8192:3;8188:11;8181:37;8246:2;8241:3;8237:12;8230:19;;8087:168;;;;8263:103;8336:24;8354:5;8336:24;;;8331:3;8324:37;8318:48;;;8373:113;8456:24;8474:5;8456:24;;;8451:3;8444:37;8438:48;;;8493:152;8594:45;8614:24;8632:5;8614:24;;;8594:45;;;8589:3;8582:58;8576:69;;;8652:864;;8915:91;9002:3;8993:6;8915:91;;;9028:2;9023:3;9019:12;9012:19;;9042:91;9129:3;9120:6;9042:91;;;9155:2;9150:3;9146:12;9139:19;;9169:75;9240:3;9231:6;9169:75;;;9266:2;9261:3;9257:12;9250:19;;9280:75;9351:3;9342:6;9280:75;;;9377:2;9372:3;9368:12;9361:19;;9391:75;9462:3;9453:6;9391:75;;;9488:2;9483:3;9479:12;9472:19;;9508:3;9501:10;;8903:613;;;;;;;;;9523:244;;9642:75;9713:3;9704:6;9642:75;;;9739:2;9734:3;9730:12;9723:19;;9759:3;9752:10;;9630:137;;;;;9774:262;;9918:93;10007:3;9998:6;9918:93;;;9911:100;;10028:3;10021:10;;9899:137;;;;;10043:361;;10211:2;10200:9;10196:18;10188:26;;10261:9;10255:4;10251:20;10247:1;10236:9;10232:17;10225:47;10286:108;10389:4;10380:6;10286:108;;;10278:116;;10182:222;;;;;10411:213;;10529:2;10518:9;10514:18;10506:26;;10543:71;10611:1;10600:9;10596:17;10587:6;10543:71;;;10500:124;;;;;10631:324;;10777:2;10766:9;10762:18;10754:26;;10791:71;10859:1;10848:9;10844:17;10835:6;10791:71;;;10873:72;10941:2;10930:9;10926:18;10917:6;10873:72;;;10748:207;;;;;;10962:407;;11153:2;11142:9;11138:18;11130:26;;11203:9;11197:4;11193:20;11189:1;11178:9;11174:17;11167:47;11228:131;11354:4;11228:131;;;11220:139;;11124:245;;;;11376:407;;11567:2;11556:9;11552:18;11544:26;;11617:9;11611:4;11607:20;11603:1;11592:9;11588:17;11581:47;11642:131;11768:4;11642:131;;;11634:139;;11538:245;;;;11790:407;;11981:2;11970:9;11966:18;11958:26;;12031:9;12025:4;12021:20;12017:1;12006:9;12002:17;11995:47;12056:131;12182:4;12056:131;;;12048:139;;11952:245;;;;12204:407;;12395:2;12384:9;12380:18;12372:26;;12445:9;12439:4;12435:20;12431:1;12420:9;12416:17;12409:47;12470:131;12596:4;12470:131;;;12462:139;;12366:245;;;;12618:407;;12809:2;12798:9;12794:18;12786:26;;12859:9;12853:4;12849:20;12845:1;12834:9;12830:17;12823:47;12884:131;13010:4;12884:131;;;12876:139;;12780:245;;;;13032:213;;13150:2;13139:9;13135:18;13127:26;;13164:71;13232:1;13221:9;13217:17;13208:6;13164:71;;;13121:124;;;;;13252:987;;13570:3;13559:9;13555:19;13547:27;;13585:71;13653:1;13642:9;13638:17;13629:6;13585:71;;;13667:72;13735:2;13724:9;13720:18;13711:6;13667:72;;;13750;13818:2;13807:9;13803:18;13794:6;13750:72;;;13833;13901:2;13890:9;13886:18;13877:6;13833:72;;;13954:9;13948:4;13944:20;13938:3;13927:9;13923:19;13916:49;13979:88;14062:4;14053:6;14045;13979:88;;;13971:96;;14116:9;14110:4;14106:20;14100:3;14089:9;14085:19;14078:49;14141:88;14224:4;14215:6;14207;14141:88;;;14133:96;;13541:698;;;;;;;;;;;;14246:1331;;14652:3;14641:9;14637:19;14629:27;;14667:71;14735:1;14724:9;14720:17;14711:6;14667:71;;;14749:72;14817:2;14806:9;14802:18;14793:6;14749:72;;;14832;14900:2;14889:9;14885:18;14876:6;14832:72;;;14915;14983:2;14972:9;14968:18;14959:6;14915:72;;;14998:73;15066:3;15055:9;15051:19;15042:6;14998:73;;;15082:89;15166:3;15155:9;15151:19;15142:6;15082:89;;;15182;15266:3;15255:9;15251:19;15242:6;15182:89;;;15320:9;15314:4;15310:20;15304:3;15293:9;15289:19;15282:49;15345:74;15414:4;15405:6;15345:74;;;15337:82;;15468:9;15462:4;15458:20;15452:3;15441:9;15437:19;15430:49;15493:74;15562:4;15553:6;15493:74;;;15485:82;;14623:954;;;;;;;;;;;;;15584:256;;15646:2;15640:9;15630:19;;15684:4;15676:6;15672:17;15783:6;15771:10;15768:22;15747:18;15735:10;15732:34;15729:62;15726:2;;;15804:1;15801;15794:12;15726:2;15824:10;15820:2;15813:22;15624:216;;;;;15847:304;;16006:18;15998:6;15995:30;15992:2;;;16038:1;16035;16028:12;15992:2;16073:4;16065:6;16061:17;16053:25;;16136:4;16130;16126:15;16118:23;;15929:222;;;;16158:151;;16244:3;16236:11;;16282:4;16277:3;16273:14;16265:22;;16230:79;;;;16316:137;;16425:5;16419:12;16409:22;;16390:63;;;;16460:121;;16553:5;16547:12;16537:22;;16518:63;;;;16588:118;;16678:5;16672:12;16662:22;;16643:63;;;;16713:108;;16811:4;16806:3;16802:14;16794:22;;16788:33;;;;16829:178;;16959:6;16954:3;16947:19;16996:4;16991:3;16987:14;16972:29;;16940:67;;;;;17016:144;;17151:3;17136:18;;17129:31;;;;;17169:163;;17284:6;17279:3;17272:19;17321:4;17316:3;17312:14;17297:29;;17265:67;;;;;17340:99;;17410:24;17428:5;17410:24;;;17399:35;;17393:46;;;;17446:72;;17508:5;17497:16;;17491:27;;;;17525:121;;17598:42;17591:5;17587:54;17576:65;;17570:76;;;;17653:72;;17715:5;17704:16;;17698:27;;;;17733:145;17814:6;17809:3;17804;17791:30;17870:1;17861:6;17856:3;17852:16;17845:27;17784:94;;;;17887:268;17952:1;17959:101;17973:6;17970:1;17967:13;17959:101;;;18049:1;18044:3;18040:11;18034:18;18030:1;18025:3;18021:11;18014:39;17995:2;17992:1;17988:10;17983:15;;17959:101;;;18075:6;18072:1;18069:13;18066:2;;;18140:1;18131:6;18126:3;18122:16;18115:27;18066:2;17936:219;;;;;18163:103;;18235:26;18255:5;18235:26;;;18224:37;;18218:48;;;;18273:74;;18337:5;18326:16;;18320:27;;;;18354:89;;18418:20;18432:5;18418:20;;;18407:31;;18401:42;;;;18450:74;;18514:5;18503:16;;18497:27;;;;18531:97;;18619:2;18615:7;18610:2;18603:5;18599:14;18595:28;18585:38;;18579:49;;;;18636:94;;18714:5;18710:2;18706:14;18684:36;;18678:52;;;;18738:133;18815:32;18841:5;18815:32;;;18808:5;18805:43;18795:2;;18862:1;18859;18852:12;18795:2;18789:82;;18878:117;18947:24;18965:5;18947:24;;;18940:5;18937:35;18927:2;;18986:1;18983;18976:12;18927:2;18921:74;;19002:117;19071:24;19089:5;19071:24;;;19064:5;19061:35;19051:2;;19110:1;19107;19100:12;19051:2;19045:74;

bzzr://a86d30a8cc0b92853468189a4db0ebf3be78c3fb35466edc38e8a39dd268dee9