Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface ERC20
•    - function totalSupply()
•    - function balanceOf(address)
•    - function transferFrom(address, addres ...
•    - function approve(address)
•  contract DSMath
•    - function add(uint x, uint y)
•    - function sub(uint x, uint y)
•    - function mul(uint x, uint y)
•  contract SpaghettiTokenV2 is DSMat ... *
•    - function approve(address guy)
•    - function approve(address guy, uint wa ...
•    - function transfer(address dst, uint w ...
•    - function transferFrom(address src, ad ...
•    - function mint()
•    - function give()
•    - function burn()
•    - function setFoodbank(address _foodban ...
•    - function setGovernance(address _gover ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-08-27
*/

pragma solidity ^0.5.0;

interface ERC20 {
    function totalSupply() external view returns (uint256);
    function balanceOf(address) external view returns (uint256);
    function transferFrom(address, address, uint256) external returns (bool);
    function approve(address) external returns(bool);
}

contract DSMath {
    function add(uint x, uint y) internal pure returns (uint z) {
        require((z = x + y) >= x, "ds-math-add-overflow");
    }
    function sub(uint x, uint y) internal pure returns (uint z) {
        require((z = x - y) <= x, "ds-math-sub-underflow");
    }
    function mul(uint x, uint y) internal pure returns (uint z) {
        require(y == 0 || (z = x * y) / y == x, "ds-math-mul-overflow");
    }
}

// token.sol -- ERC20 implementation with minting and burning

// Copyright (C) 2015, 2016, 2017  DappHub, LLC

// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.

// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.

// You should have received a copy of the GNU General Public License
// along with this program.  If not, see <http://www.gnu.org/licenses/>.

contract SpaghettiTokenV2 is DSMath {
    uint256                                           public  totalSupply;
    mapping (address => uint256)                      public  balanceOf;
    mapping (address => mapping (address => uint256)) public  allowance;
    bytes32                                           public  symbol = "PASTA";
    uint256                                           public  decimals = 18;
    bytes32                                           public  name = "Spaghetti";
    ERC20                                             public  pastav1 = ERC20(0x08A2E41FB99A7599725190B9C970Ad3893fa33CF);
    address                                           public  foodbank = address(0);
    address                                           public  governance;
    uint128                                           public  food = 0;
    uint128                                           public  oven = 0;

    event Approval(address indexed src, address indexed guy, uint wad);
    event Transfer(address indexed src, address indexed dst, uint wad);
    event Mint(address indexed guy, uint wad);
    event Burn(uint wad);

    constructor() public {
        governance = msg.sender;
        totalSupply = 5000000000000000000000000;
        balanceOf[msg.sender] = 5000000000000000000000000;
    }

    function approve(address guy) external returns (bool) {
        return approve(guy, uint(-1));
    }

    function approve(address guy, uint wad) public returns (bool) {
        allowance[msg.sender][guy] = wad;
        emit Approval(msg.sender, guy, wad);
        return true;
    }

    function transfer(address dst, uint wad) external returns (bool) {
        return transferFrom(msg.sender, dst, wad);
    }

    function transferFrom(address src, address dst, uint wad) public returns (bool) {
        if (src != msg.sender && allowance[src][msg.sender] != uint(-1)) {
            require(allowance[src][msg.sender] >= wad, "ds-token-insufficient-approval");
            allowance[src][msg.sender] = sub(allowance[src][msg.sender], wad);
        }

        require(balanceOf[src] >= wad, "ds-token-insufficient-balance");
        balanceOf[src] = sub(balanceOf[src], wad);
        uint one = wad / 100;
        uint ninetyeight = sub(wad, mul(one, 2));
        balanceOf[dst] = add(balanceOf[dst], ninetyeight);
        food = uint128(add(food, uint128(one)));
        oven = uint128(add(oven, uint128(one)));

        emit Transfer(src, dst, wad);
        return true;
    }

    function mint() public returns(bool) {
        uint v1Balance = pastav1.balanceOf(msg.sender);
        require(block.timestamp <= 1598745600, "Migration ended");
        require(v1Balance > 0, "mint:no-tokens");
        require(pastav1.transferFrom(msg.sender, address(0), v1Balance), "mint:transferFrom-fail");
        balanceOf[msg.sender] = v1Balance;
        totalSupply = add(totalSupply, v1Balance);
        emit Mint(msg.sender, v1Balance);
    }

    function give() public {
        require(foodbank != address(0), "foodbank not set");
        balanceOf[foodbank] = add(balanceOf[foodbank], food);
        food = 0;
    }

    function burn() public {
        totalSupply = sub(totalSupply, oven);
        emit Burn(oven);
        oven = 0;
    }

    function setFoodbank(address _foodbank) public {
        require(msg.sender == governance, "setFoodbank:not-gov");
        foodbank = _foodbank;
    }

    function setGovernance(address _governance) public {
        require(msg.sender == governance, "setGovernance:not-gov");
        governance = _governance;
    }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"src","type":"address"},{"indexed":true,"internalType":"address","name":"guy","type":"address"},{"indexed":false,"internalType":"uint256","name":"wad","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"wad","type":"uint256"}],"name":"Burn","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"guy","type":"address"},{"indexed":false,"internalType":"uint256","name":"wad","type":"uint256"}],"name":"Mint","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"src","type":"address"},{"indexed":true,"internalType":"address","name":"dst","type":"address"},{"indexed":false,"internalType":"uint256","name":"wad","type":"uint256"}],"name":"Transfer","type":"event"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"guy","type":"address"},{"internalType":"uint256","name":"wad","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"guy","type":"address"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"burn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"food","outputs":[{"internalType":"uint128","name":"","type":"uint128"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"foodbank","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"give","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"governance","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"mint","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"oven","outputs":[{"internalType":"uint128","name":"","type":"uint128"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"pastav1","outputs":[{"internalType":"contract ERC20","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_foodbank","type":"address"}],"name":"setFoodbank","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_governance","type":"address"}],"name":"setGovernance","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"dst","type":"address"},{"internalType":"uint256","name":"wad","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"src","type":"address"},{"internalType":"address","name":"dst","type":"address"},{"internalType":"uint256","name":"wad","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"}]

60806040527f504153544100000000000000000000000000000000000000000000000000000060035560126004557f53706167686574746900000000000000000000000000000000000000000000006005557308a2e41fb99a7599725190b9c970ad3893fa33cf600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000600960006101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff1602179055506000600960106101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff16021790555034801561016857600080fd5b5033600860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506a0422ca8b0a00a4250000006000819055506a0422ca8b0a00a425000000600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506119988061021a6000396000f3fe608060405234801561001057600080fd5b506004361061012c5760003560e01c806370a08231116100ad578063a9059cbb11610071578063a9059cbb1461047f578063ab033ea9146104e5578063be991ba714610529578063daea85c514610573578063dd62ed3e146105cf5761012c565b806370a082311461037b57806395d89b41146103d357806398b4e8d3146103f15780639d908f5a146104335780639e96a23a146104755761012c565b8063313ce567116100f4578063313ce5671461027b57806344df8e70146102995780634aff98a0146102a35780635aa6e675146102e75780635b18b7b8146103315761012c565b806306fdde0314610131578063095ea7b31461014f5780631249c58b146101b557806318160ddd146101d757806323b872dd146101f5575b600080fd5b610139610647565b6040518082815260200191505060405180910390f35b61019b6004803603604081101561016557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061064d565b604051808215151515815260200191505060405180910390f35b6101bd61073f565b604051808215151515815260200191505060405180910390f35b6101df610b41565b6040518082815260200191505060405180910390f35b6102616004803603606081101561020b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610b47565b604051808215151515815260200191505060405180910390f35b61028361118d565b6040518082815260200191505060405180910390f35b6102a1611193565b005b6102e5600480360360208110156102b957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611278565b005b6102ef61137f565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6103396113a5565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6103bd6004803603602081101561039157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506113cb565b6040518082815260200191505060405180910390f35b6103db6113e3565b6040518082815260200191505060405180910390f35b6103f96113e9565b60405180826fffffffffffffffffffffffffffffffff166fffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61043b61140b565b60405180826fffffffffffffffffffffffffffffffff166fffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61047d61142d565b005b6104cb6004803603604081101561049557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061162e565b604051808215151515815260200191505060405180910390f35b610527600480360360208110156104fb57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611643565b005b61053161174a565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6105b56004803603602081101561058957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611770565b604051808215151515815260200191505060405180910390f35b610631600480360360408110156105e557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506117a3565b6040518082815260200191505060405180910390f35b60055481565b600081600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b600080600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156107e157600080fd5b505afa1580156107f5573d6000803e3d6000fd5b505050506040513d602081101561080b57600080fd5b81019080805190602001909291905050509050635f4aec00421115610898576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f4d6967726174696f6e20656e646564000000000000000000000000000000000081525060200191505060405180910390fd5b6000811161090e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f6d696e743a6e6f2d746f6b656e7300000000000000000000000000000000000081525060200191505060405180910390fd5b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166323b872dd336000846040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050602060405180830381600087803b1580156109ec57600080fd5b505af1158015610a00573d6000803e3d6000fd5b505050506040513d6020811015610a1657600080fd5b8101908080519060200190929190505050610a99576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f6d696e743a7472616e7366657246726f6d2d6661696c0000000000000000000081525060200191505060405180910390fd5b80600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610ae9600054826117c8565b6000819055503373ffffffffffffffffffffffffffffffffffffffff167f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d4121396885826040518082815260200191505060405180910390a25090565b60005481565b60003373ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614158015610c2157507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414155b15610e1f5781600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610d18576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f64732d746f6b656e2d696e73756666696369656e742d617070726f76616c000081525060200191505060405180910390fd5b610d9e600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548361184b565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b81600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610ed4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f64732d746f6b656e2d696e73756666696369656e742d62616c616e636500000081525060200191505060405180910390fd5b610f1d600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548361184b565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600060648381610f6c57fe5b0490506000610f8584610f808460026118ce565b61184b565b9050610fd0600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054826117c8565b600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061105f600960009054906101000a90046fffffffffffffffffffffffffffffffff166fffffffffffffffffffffffffffffffff16836fffffffffffffffffffffffffffffffff166117c8565b600960006101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff1602179055506110e3600960109054906101000a90046fffffffffffffffffffffffffffffffff166fffffffffffffffffffffffffffffffff16836fffffffffffffffffffffffffffffffff166117c8565b600960106101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff1602179055508473ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef866040518082815260200191505060405180910390a36001925050509392505050565b60045481565b6111cf600054600960109054906101000a90046fffffffffffffffffffffffffffffffff166fffffffffffffffffffffffffffffffff1661184b565b6000819055507fb90306ad06b2a6ff86ddc9327db583062895ef6540e62dc50add009db5b356eb600960109054906101000a90046fffffffffffffffffffffffffffffffff1660405180826fffffffffffffffffffffffffffffffff16815260200191505060405180910390a16000600960106101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff160217905550565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461133b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f736574466f6f6462616e6b3a6e6f742d676f760000000000000000000000000081525060200191505060405180910390fd5b80600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60016020528060005260406000206000915090505481565b60035481565b600960009054906101000a90046fffffffffffffffffffffffffffffffff1681565b600960109054906101000a90046fffffffffffffffffffffffffffffffff1681565b600073ffffffffffffffffffffffffffffffffffffffff16600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614156114f2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f666f6f6462616e6b206e6f74207365740000000000000000000000000000000081525060200191505060405180910390fd5b61158d60016000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600960009054906101000a90046fffffffffffffffffffffffffffffffff166fffffffffffffffffffffffffffffffff166117c8565b60016000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000600960006101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff160217905550565b600061163b338484610b47565b905092915050565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611706576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f736574476f7665726e616e63653a6e6f742d676f76000000000000000000000081525060200191505060405180910390fd5b80600860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600061179c827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff61064d565b9050919050565b6002602052816000526040600020602052806000526040600020600091509150505481565b6000828284019150811015611845576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f64732d6d6174682d6164642d6f766572666c6f7700000000000000000000000081525060200191505060405180910390fd5b92915050565b60008282840391508111156118c8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f64732d6d6174682d7375622d756e646572666c6f77000000000000000000000081525060200191505060405180910390fd5b92915050565b6000808214806118eb57508282838502925082816118e857fe5b04145b61195d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f64732d6d6174682d6d756c2d6f766572666c6f7700000000000000000000000081525060200191505060405180910390fd5b9291505056fea265627a7a7231582032ea246d05b37a344f1466482f57151e32c688671efb67e3b0cf108cf491bc4c64736f6c634300050c0032

0x608060405234801561001057600080fd5b506004361061012c5760003560e01c806370a08231116100ad578063a9059cbb11610071578063a9059cbb1461047f578063ab033ea9146104e5578063be991ba714610529578063daea85c514610573578063dd62ed3e146105cf5761012c565b806370a082311461037b57806395d89b41146103d357806398b4e8d3146103f15780639d908f5a146104335780639e96a23a146104755761012c565b8063313ce567116100f4578063313ce5671461027b57806344df8e70146102995780634aff98a0146102a35780635aa6e675146102e75780635b18b7b8146103315761012c565b806306fdde0314610131578063095ea7b31461014f5780631249c58b146101b557806318160ddd146101d757806323b872dd146101f5575b600080fd5b610139610647565b6040518082815260200191505060405180910390f35b61019b6004803603604081101561016557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061064d565b604051808215151515815260200191505060405180910390f35b6101bd61073f565b604051808215151515815260200191505060405180910390f35b6101df610b41565b6040518082815260200191505060405180910390f35b6102616004803603606081101561020b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610b47565b604051808215151515815260200191505060405180910390f35b61028361118d565b6040518082815260200191505060405180910390f35b6102a1611193565b005b6102e5600480360360208110156102b957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611278565b005b6102ef61137f565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6103396113a5565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6103bd6004803603602081101561039157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506113cb565b6040518082815260200191505060405180910390f35b6103db6113e3565b6040518082815260200191505060405180910390f35b6103f96113e9565b60405180826fffffffffffffffffffffffffffffffff166fffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61043b61140b565b60405180826fffffffffffffffffffffffffffffffff166fffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61047d61142d565b005b6104cb6004803603604081101561049557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061162e565b604051808215151515815260200191505060405180910390f35b610527600480360360208110156104fb57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611643565b005b61053161174a565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6105b56004803603602081101561058957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611770565b604051808215151515815260200191505060405180910390f35b610631600480360360408110156105e557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506117a3565b6040518082815260200191505060405180910390f35b60055481565b600081600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b600080600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b1580156107e157600080fd5b505afa1580156107f5573d6000803e3d6000fd5b505050506040513d602081101561080b57600080fd5b81019080805190602001909291905050509050635f4aec00421115610898576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f4d6967726174696f6e20656e646564000000000000000000000000000000000081525060200191505060405180910390fd5b6000811161090e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f6d696e743a6e6f2d746f6b656e7300000000000000000000000000000000000081525060200191505060405180910390fd5b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166323b872dd336000846040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050602060405180830381600087803b1580156109ec57600080fd5b505af1158015610a00573d6000803e3d6000fd5b505050506040513d6020811015610a1657600080fd5b8101908080519060200190929190505050610a99576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f6d696e743a7472616e7366657246726f6d2d6661696c0000000000000000000081525060200191505060405180910390fd5b80600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610ae9600054826117c8565b6000819055503373ffffffffffffffffffffffffffffffffffffffff167f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d4121396885826040518082815260200191505060405180910390a25090565b60005481565b60003373ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614158015610c2157507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414155b15610e1f5781600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610d18576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f64732d746f6b656e2d696e73756666696369656e742d617070726f76616c000081525060200191505060405180910390fd5b610d9e600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548361184b565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b81600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610ed4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f64732d746f6b656e2d696e73756666696369656e742d62616c616e636500000081525060200191505060405180910390fd5b610f1d600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548361184b565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600060648381610f6c57fe5b0490506000610f8584610f808460026118ce565b61184b565b9050610fd0600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054826117c8565b600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061105f600960009054906101000a90046fffffffffffffffffffffffffffffffff166fffffffffffffffffffffffffffffffff16836fffffffffffffffffffffffffffffffff166117c8565b600960006101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff1602179055506110e3600960109054906101000a90046fffffffffffffffffffffffffffffffff166fffffffffffffffffffffffffffffffff16836fffffffffffffffffffffffffffffffff166117c8565b600960106101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff1602179055508473ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef866040518082815260200191505060405180910390a36001925050509392505050565b60045481565b6111cf600054600960109054906101000a90046fffffffffffffffffffffffffffffffff166fffffffffffffffffffffffffffffffff1661184b565b6000819055507fb90306ad06b2a6ff86ddc9327db583062895ef6540e62dc50add009db5b356eb600960109054906101000a90046fffffffffffffffffffffffffffffffff1660405180826fffffffffffffffffffffffffffffffff16815260200191505060405180910390a16000600960106101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff160217905550565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461133b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f736574466f6f6462616e6b3a6e6f742d676f760000000000000000000000000081525060200191505060405180910390fd5b80600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60016020528060005260406000206000915090505481565b60035481565b600960009054906101000a90046fffffffffffffffffffffffffffffffff1681565b600960109054906101000a90046fffffffffffffffffffffffffffffffff1681565b600073ffffffffffffffffffffffffffffffffffffffff16600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614156114f2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260108152602001807f666f6f6462616e6b206e6f74207365740000000000000000000000000000000081525060200191505060405180910390fd5b61158d60016000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600960009054906101000a90046fffffffffffffffffffffffffffffffff166fffffffffffffffffffffffffffffffff166117c8565b60016000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000600960006101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff160217905550565b600061163b338484610b47565b905092915050565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611706576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f736574476f7665726e616e63653a6e6f742d676f76000000000000000000000081525060200191505060405180910390fd5b80600860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600061179c827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff61064d565b9050919050565b6002602052816000526040600020602052806000526040600020600091509150505481565b6000828284019150811015611845576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f64732d6d6174682d6164642d6f766572666c6f7700000000000000000000000081525060200191505060405180910390fd5b92915050565b60008282840391508111156118c8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260158152602001807f64732d6d6174682d7375622d756e646572666c6f77000000000000000000000081525060200191505060405180910390fd5b92915050565b6000808214806118eb57508282838502925082816118e857fe5b04145b61195d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f64732d6d6174682d6d756c2d6f766572666c6f7700000000000000000000000081525060200191505060405180910390fd5b9291505056fea265627a7a7231582032ea246d05b37a344f1466482f57151e32c688671efb67e3b0cf108cf491bc4c64736f6c634300050c0032

1525:3677:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1525:3677:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1951:76;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2981:181;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2981:181:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4090:461;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1568:69;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3303:779;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3303:779:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1873:71;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4742:123;;;:::i;:::-;;4873:153;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4873:153:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;2244:68;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;2034:117;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1644:67;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1644:67:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1792:74;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2319:66;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;2392;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4559:175;;;:::i;:::-;;3170:125;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3170:125:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5034:163;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5034:163:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;2158:79;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;2871:102;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2871:102:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1718:67;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1718:67:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1951:76;;;;:::o;2981:181::-;3037:4;3083:3;3054:9;:21;3064:10;3054:21;;;;;;;;;;;;;;;:26;3076:3;3054:26;;;;;;;;;;;;;;;:32;;;;3123:3;3102:30;;3111:10;3102:30;;;3128:3;3102:30;;;;;;;;;;;;;;;;;;3150:4;3143:11;;2981:181;;;;:::o;4090:461::-;4121:4;4138:14;4155:7;;;;;;;;;;;:17;;;4173:10;4155:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4155:29:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4155:29:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4155:29:0;;;;;;;;;;;;;;;;4138:46;;4222:10;4203:15;:29;;4195:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4283:1;4271:9;:13;4263:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4322:7;;;;;;;;;;;:20;;;4343:10;4363:1;4367:9;4322:55;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4322:55:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4322:55:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4322:55:0;;;;;;;;;;;;;;;;4314:90;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4439:9;4415;:21;4425:10;4415:21;;;;;;;;;;;;;;;:33;;;;4473:27;4477:11;;4490:9;4473:3;:27::i;:::-;4459:11;:41;;;;4521:10;4516:27;;;4533:9;4516:27;;;;;;;;;;;;;;;;;;4090:461;;:::o;1568:69::-;;;;:::o;3303:779::-;3377:4;3405:10;3398:17;;:3;:17;;;;:59;;;;;3454:2;3419:9;:14;3429:3;3419:14;;;;;;;;;;;;;;;:26;3434:10;3419:26;;;;;;;;;;;;;;;;:38;;3398:59;3394:248;;;3512:3;3482:9;:14;3492:3;3482:14;;;;;;;;;;;;;;;:26;3497:10;3482:26;;;;;;;;;;;;;;;;:33;;3474:76;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3594:36;3598:9;:14;3608:3;3598:14;;;;;;;;;;;;;;;:26;3613:10;3598:26;;;;;;;;;;;;;;;;3626:3;3594;:36::i;:::-;3565:9;:14;3575:3;3565:14;;;;;;;;;;;;;;;:26;3580:10;3565:26;;;;;;;;;;;;;;;:65;;;;3394:248;3680:3;3662:9;:14;3672:3;3662:14;;;;;;;;;;;;;;;;:21;;3654:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3745:24;3749:9;:14;3759:3;3749:14;;;;;;;;;;;;;;;;3765:3;3745;:24::i;:::-;3728:9;:14;3738:3;3728:14;;;;;;;;;;;;;;;:41;;;;3780:8;3797:3;3791;:9;;;;;;3780:20;;3811:16;3830:21;3834:3;3839:11;3843:3;3848:1;3839:3;:11::i;:::-;3830:3;:21::i;:::-;3811:40;;3879:32;3883:9;:14;3893:3;3883:14;;;;;;;;;;;;;;;;3899:11;3879:3;:32::i;:::-;3862:9;:14;3872:3;3862:14;;;;;;;;;;;;;;;:49;;;;3937:23;3941:4;;;;;;;;;;;3937:23;;3955:3;3937:23;;:3;:23::i;:::-;3922:4;;:39;;;;;;;;;;;;;;;;;;3987:23;3991:4;;;;;;;;;;;3987:23;;4005:3;3987:23;;:3;:23::i;:::-;3972:4;;:39;;;;;;;;;;;;;;;;;;4043:3;4029:23;;4038:3;4029:23;;;4048:3;4029:23;;;;;;;;;;;;;;;;;;4070:4;4063:11;;;;3303:779;;;;;:::o;1873:71::-;;;;:::o;4742:123::-;4790:22;4794:11;;4807:4;;;;;;;;;;;4790:22;;:3;:22::i;:::-;4776:11;:36;;;;4828:10;4833:4;;;;;;;;;;;4828:10;;;;;;;;;;;;;;;;;;;;4856:1;4849:4;;:8;;;;;;;;;;;;;;;;;;4742:123::o;4873:153::-;4953:10;;;;;;;;;;;4939:24;;:10;:24;;;4931:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5009:9;4998:8;;:20;;;;;;;;;;;;;;;;;;4873:153;:::o;2244:68::-;;;;;;;;;;;;;:::o;2034:117::-;;;;;;;;;;;;;:::o;1644:67::-;;;;;;;;;;;;;;;;;:::o;1792:74::-;;;;:::o;2319:66::-;;;;;;;;;;;;;:::o;2392:::-;;;;;;;;;;;;;:::o;4559:175::-;4621:1;4601:22;;:8;;;;;;;;;;;:22;;;;4593:51;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4677:30;4681:9;:19;4691:8;;;;;;;;;;;4681:19;;;;;;;;;;;;;;;;4702:4;;;;;;;;;;;4677:30;;:3;:30::i;:::-;4655:9;:19;4665:8;;;;;;;;;;;4655:19;;;;;;;;;;;;;;;:52;;;;4725:1;4718:4;;:8;;;;;;;;;;;;;;;;;;4559:175::o;3170:125::-;3229:4;3253:34;3266:10;3278:3;3283;3253:12;:34::i;:::-;3246:41;;3170:125;;;;:::o;5034:163::-;5118:10;;;;;;;;;;;5104:24;;:10;:24;;;5096:58;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5178:11;5165:10;;:24;;;;;;;;;;;;;;;;;;5034:163;:::o;2158:79::-;;;;;;;;;;;;;:::o;2871:102::-;2919:4;2943:22;2951:3;2961:2;2943:7;:22::i;:::-;2936:29;;2871:102;;;:::o;1718:67::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;335:128::-;387:6;429:1;423;419;:5;415:9;;;414:16;;406:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;335:128;;;;:::o;469:129::-;521:6;563:1;557;553;:5;549:9;;;548:16;;540:50;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;469:129;;;;:::o;604:142::-;656:6;688:1;683;:6;:30;;;;712:1;707;702;698;:5;694:9;;;693:15;;;;;;:20;683:30;675:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;604:142;;;;:::o

bzzr://32ea246d05b37a344f1466482f57151e32c688671efb67e3b0cf108cf491bc4c