Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeMath
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function add(uint256 a, uint256 b)
•    - function mod(uint256 a, uint256 b)
•  contract Initializable
•    - function isConstructor()
•  contract Ownable is Initializable
•    - function initialize(address sender)
•    - function owner()
•    - function isOwner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
•    - function _transferOwnership(address n ...
• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address who)
•    - function allowance(address owner, add ...
•    - function transfer(address to, uint256 ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address from, a ...
•  contract ERC20Detailed is Initiali ...
•    - function initialize(string name, stri ...
•    - function name()
•    - function symbol()
•    - function decimals()
• library SafeMathInt
•    - function mul(int256 a, int256 b)
•    - function div(int256 a, int256 b)
•    - function sub(int256 a, int256 b)
•    - function add(int256 a, int256 b)
•    - function abs(int256 a)
•  contract UFragments is ERC20Detail ... *
•    - function setMonetaryPolicy(address mo ...
•    - function rebase(uint256 epoch, int256 ...
•    - function initialize(address owner_)
•    - function totalSupply()
•    - function balanceOf(address who)
•    - function transfer(address to, uint256 ...
•    - function allowance(address owner_, ad ...
•    - function transferFrom(address from, a ...
•    - function approve(address spender, uin ...
•    - function increaseAllowance(address sp ...
•    - function decreaseAllowance(address sp ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
/**
 *Submitted for verification at Etherscan.io on 2020-09-13
*/
// File: openzeppelin-eth/contracts/math/SafeMath.sol
pragma solidity ^0.4.24;
/**
 * @title SafeMath
 * @dev Math operations with safety checks that revert on error
 */
library SafeMath {
  /**
  * @dev Multiplies two numbers, reverts on overflow.
  */
  function mul(uint256 a, uint256 b) internal pure returns (uint256) {
    // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
    // benefit is lost if 'b' is also tested.
    // See: https://github.com/OpenZeppelin/openzeppelin-solidity/pull/522
    if (a == 0) {
      return 0;
    }
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"value","type":"uint256"}],"name":"approve","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"name","type":"string"},{"name":"symbol","type":"string"},{"name":"decimals","type":"uint8"}],"name":"initialize","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"from","type":"address"},{"name":"to","type":"address"},{"name":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"who","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"renounceOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"epoch","type":"uint256"},{"name":"supplyDelta","type":"int256"}],"name":"rebase","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"monetaryPolicy_","type":"address"}],"name":"setMonetaryPolicy","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"monetaryPolicy","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"isOwner","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"to","type":"address"},{"name":"value","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"owner_","type":"address"}],"name":"initialize","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"owner_","type":"address"},{"name":"spender","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"anonymous":false,"inputs":[{"indexed":true,"name":"epoch","type":"uint256"},{"indexed":false,"name":"totalSupply","type":"uint256"}],"name":"LogRebase","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"monetaryPolicy","type":"address"}],"name":"LogMonetaryPolicyUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"previousOwner","type":"address"}],"name":"OwnershipRenounced","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"previousOwner","type":"address"},{"indexed":true,"name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"owner","type":"address"},{"indexed":true,"name":"spender","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Approval","type":"event"}]

608060405234801561001057600080fd5b506121ce806100206000396000f300608060405260043610610112576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde0314610117578063095ea7b3146101a75780631624f6c61461020c57806318160ddd146102c857806323b872dd146102f3578063313ce5671461037857806339509351146103a957806370a082311461040e578063715018a6146104655780637a43e23f1461047c5780638b5a6a08146104c75780638da5cb5b1461050a5780638e27d7d7146105615780638f32d59b146105b857806395d89b41146105e7578063a457c2d714610677578063a9059cbb146106dc578063c4d66de814610741578063dd62ed3e14610784578063f2fde38b146107fb575b600080fd5b34801561012357600080fd5b5061012c61083e565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561016c578082015181840152602081019050610151565b50505050905090810190601f1680156101995780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156101b357600080fd5b506101f2600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506108e0565b604051808215151515815260200191505060405180910390f35b34801561021857600080fd5b506102c6600480360381019080803590602001908201803590602001908080601f0160208091040260200160405190810160405280939291908181526020018383808284378201915050505050509192919290803590602001908201803590602001908080601f0160208091040260200160405190810160405280939291908181526020018383808284378201915050505050509192919290803560ff1690602001909291905050506109d2565b005b3480156102d457600080fd5b506102dd610b53565b6040518082815260200191505060405180910390f35b3480156102ff57600080fd5b5061035e600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610b5d565b604051808215151515815260200191505060405180910390f35b34801561038457600080fd5b5061038d610e9a565b604051808260ff1660ff16815260200191505060405180910390f35b3480156103b557600080fd5b506103f4600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610eb1565b604051808215151515815260200191505060405180910390f35b34801561041a57600080fd5b5061044f600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506110ad565b6040518082815260200191505060405180910390f35b34801561047157600080fd5b5061047a61110a565b005b34801561048857600080fd5b506104b160048036038101908080359060200190929190803590602001909291905050506111c6565b6040518082815260200191505060405180910390f35b3480156104d357600080fd5b50610508600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611373565b005b34801561051657600080fd5b5061051f61142d565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561056d57600080fd5b50610576611457565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156105c457600080fd5b506105cd61147d565b604051808215151515815260200191505060405180910390f35b3480156105f357600080fd5b506105fc6114d5565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561063c578082015181840152602081019050610621565b50505050905090810190601f1680156106695780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561068357600080fd5b506106c2600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611577565b604051808215151515815260200191505060405180910390f35b3480156106e857600080fd5b50610727600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611809565b604051808215151515815260200191505060405180910390f35b34801561074d57600080fd5b50610782600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611a36565b005b34801561079057600080fd5b506107e5600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611cf6565b6040518082815260200191505060405180910390f35b34801561080757600080fd5b5061083c600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611d7d565b005b606060338054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156108d65780601f106108ab576101008083540402835291602001916108d6565b820191906000526020600020905b8154815290600101906020018083116108b957829003601f168201915b5050505050905090565b600081609f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b60008060019054906101000a900460ff16806109f257506109f1611d9c565b5b80610a0957506000809054906101000a900460ff16155b1515610aa3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602e8152602001807f436f6e747261637420696e7374616e63652068617320616c726561647920626581526020017f656e20696e697469616c697a656400000000000000000000000000000000000081525060400191505060405180910390fd5b600060019054906101000a900460ff1690506001600060016101000a81548160ff02191690831515021790555060016000806101000a81548160ff0219169083151502179055508360339080519060200190610b009291906120fd565b508260349080519060200190610b179291906120fd565b5081603560006101000a81548160ff021916908360ff16021790555080600060016101000a81548160ff02191690831515021790555050505050565b6000609c54905090565b60008083600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614151515610b9d57600080fd5b3073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614151515610bd857600080fd5b610c6784609f60008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611dad90919063ffffffff16565b609f60008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610cfc609d5485611dce90919063ffffffff16565b9150610d5082609e60008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611dad90919063ffffffff16565b609e60008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610de582609e60008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e0c90919063ffffffff16565b609e60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508473ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef866040518082815260200191505060405180910390a36001925050509392505050565b6000603560009054906101000a900460ff16905090565b6000610f4282609f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e0c90919063ffffffff16565b609f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925609f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6000611103609d54609e60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e2d90919063ffffffff16565b9050919050565b61111261147d565b151561111d57600080fd5b606860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167ff8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c6482060405160405180910390a26000606860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b6000609b60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561122457600080fd5b600082141561127157827f72725a3b1e5bd622d6bcd1339bb31279c351abe8f541ac7fd320f24e1b1641f2609c546040518082815260200191505060405180910390a2609c54905061136d565b60008212156112a25761129761128683611e57565b609c54611dad90919063ffffffff16565b609c819055506112be565b6112b782609c54611e0c90919063ffffffff16565b609c819055505b6000196fffffffffffffffffffffffffffffffff16609c5411156112f8576000196fffffffffffffffffffffffffffffffff16609c819055505b611327609c546009600a0a62030d400260001981151561131457fe5b0660001903611e2d90919063ffffffff16565b609d81905550827f72725a3b1e5bd622d6bcd1339bb31279c351abe8f541ac7fd320f24e1b1641f2609c546040518082815260200191505060405180910390a2609c5490505b92915050565b61137b61147d565b151561138657600080fd5b80609b60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507f0e6961f1a1afb87eaf51fd64f22ddc10062e23aa7838eac5d0bdf140bfd3897281604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a150565b6000606860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b609b60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000606860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614905090565b606060348054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561156d5780601f106115425761010080835404028352916020019161156d565b820191906000526020600020905b81548152906001019060200180831161155057829003601f168201915b5050505050905090565b600080609f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490508083101515611689576000609f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061171d565b61169c8382611dad90919063ffffffff16565b609f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b8373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925609f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600191505092915050565b60008083600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561184957600080fd5b3073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561188457600080fd5b611899609d5485611dce90919063ffffffff16565b91506118ed82609e60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611dad90919063ffffffff16565b609e60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061198282609e60008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e0c90919063ffffffff16565b609e60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508473ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef866040518082815260200191505060405180910390a360019250505092915050565b60008060019054906101000a900460ff1680611a565750611a55611d9c565b5b80611a6d57506000809054906101000a900460ff16155b1515611b07576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602e8152602001807f436f6e747261637420696e7374616e63652068617320616c726561647920626581526020017f656e20696e697469616c697a656400000000000000000000000000000000000081525060400191505060405180910390fd5b600060019054906101000a900460ff1690506001600060016101000a81548160ff02191690831515021790555060016000806101000a81548160ff021916908315150217905550611bc46040805190810160405280600481526020017f646d706c000000000000000000000000000000000000000000000000000000008152506040805190810160405280600481526020017f444d504c0000000000000000000000000000000000000000000000000000000081525060096109d2565b611bcd82611e8a565b6009600a0a62030d4002609c819055506009600a0a62030d4002600019811515611bf357fe5b0660001903609e60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611c6a609c546009600a0a62030d4002600019811515611c5757fe5b0660001903611e2d90919063ffffffff16565b609d819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef609c546040518082815260200191505060405180910390a380600060016101000a81548160ff0219169083151502179055505050565b6000609f60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b611d8561147d565b1515611d9057600080fd5b611d9981612001565b50565b600080303b90506000811491505090565b600080838311151515611dbf57600080fd5b82840390508091505092915050565b6000806000841415611de35760009150611e05565b8284029050828482811515611df457fe5b04141515611e0157600080fd5b8091505b5092915050565b6000808284019050838110151515611e2357600080fd5b8091505092915050565b600080600083111515611e3f57600080fd5b8284811515611e4a57fe5b0490508091505092915050565b600060ff60019060020a028214151515611e7057600080fd5b60008212611e7e5781611e83565b816000035b9050919050565b60008060019054906101000a900460ff1680611eaa5750611ea9611d9c565b5b80611ec157506000809054906101000a900460ff16155b1515611f5b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602e8152602001807f436f6e747261637420696e7374616e63652068617320616c726561647920626581526020017f656e20696e697469616c697a656400000000000000000000000000000000000081525060400191505060405180910390fd5b600060019054906101000a900460ff1690506001600060016101000a81548160ff02191690831515021790555060016000806101000a81548160ff02191690831515021790555081606860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600060016101000a81548160ff0219169083151502179055505050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561203d57600080fd5b8073ffffffffffffffffffffffffffffffffffffffff16606860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a380606860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061213e57805160ff191683800117855561216c565b8280016001018555821561216c579182015b8281111561216b578251825591602001919060010190612150565b5b509050612179919061217d565b5090565b61219f91905b8082111561219b576000816000905550600101612183565b5090565b905600a165627a7a7230582001e984b6c479d4bcf6e271deb68fdb271c9993763146d234e1a6af17f0b7e7c00029

0x608060405260043610610112576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde0314610117578063095ea7b3146101a75780631624f6c61461020c57806318160ddd146102c857806323b872dd146102f3578063313ce5671461037857806339509351146103a957806370a082311461040e578063715018a6146104655780637a43e23f1461047c5780638b5a6a08146104c75780638da5cb5b1461050a5780638e27d7d7146105615780638f32d59b146105b857806395d89b41146105e7578063a457c2d714610677578063a9059cbb146106dc578063c4d66de814610741578063dd62ed3e14610784578063f2fde38b146107fb575b600080fd5b34801561012357600080fd5b5061012c61083e565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561016c578082015181840152602081019050610151565b50505050905090810190601f1680156101995780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156101b357600080fd5b506101f2600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506108e0565b604051808215151515815260200191505060405180910390f35b34801561021857600080fd5b506102c6600480360381019080803590602001908201803590602001908080601f0160208091040260200160405190810160405280939291908181526020018383808284378201915050505050509192919290803590602001908201803590602001908080601f0160208091040260200160405190810160405280939291908181526020018383808284378201915050505050509192919290803560ff1690602001909291905050506109d2565b005b3480156102d457600080fd5b506102dd610b53565b6040518082815260200191505060405180910390f35b3480156102ff57600080fd5b5061035e600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610b5d565b604051808215151515815260200191505060405180910390f35b34801561038457600080fd5b5061038d610e9a565b604051808260ff1660ff16815260200191505060405180910390f35b3480156103b557600080fd5b506103f4600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610eb1565b604051808215151515815260200191505060405180910390f35b34801561041a57600080fd5b5061044f600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506110ad565b6040518082815260200191505060405180910390f35b34801561047157600080fd5b5061047a61110a565b005b34801561048857600080fd5b506104b160048036038101908080359060200190929190803590602001909291905050506111c6565b6040518082815260200191505060405180910390f35b3480156104d357600080fd5b50610508600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611373565b005b34801561051657600080fd5b5061051f61142d565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561056d57600080fd5b50610576611457565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156105c457600080fd5b506105cd61147d565b604051808215151515815260200191505060405180910390f35b3480156105f357600080fd5b506105fc6114d5565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561063c578082015181840152602081019050610621565b50505050905090810190601f1680156106695780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561068357600080fd5b506106c2600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611577565b604051808215151515815260200191505060405180910390f35b3480156106e857600080fd5b50610727600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611809565b604051808215151515815260200191505060405180910390f35b34801561074d57600080fd5b50610782600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611a36565b005b34801561079057600080fd5b506107e5600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611cf6565b6040518082815260200191505060405180910390f35b34801561080757600080fd5b5061083c600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611d7d565b005b606060338054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156108d65780601f106108ab576101008083540402835291602001916108d6565b820191906000526020600020905b8154815290600101906020018083116108b957829003601f168201915b5050505050905090565b600081609f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b60008060019054906101000a900460ff16806109f257506109f1611d9c565b5b80610a0957506000809054906101000a900460ff16155b1515610aa3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602e8152602001807f436f6e747261637420696e7374616e63652068617320616c726561647920626581526020017f656e20696e697469616c697a656400000000000000000000000000000000000081525060400191505060405180910390fd5b600060019054906101000a900460ff1690506001600060016101000a81548160ff02191690831515021790555060016000806101000a81548160ff0219169083151502179055508360339080519060200190610b009291906120fd565b508260349080519060200190610b179291906120fd565b5081603560006101000a81548160ff021916908360ff16021790555080600060016101000a81548160ff02191690831515021790555050505050565b6000609c54905090565b60008083600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614151515610b9d57600080fd5b3073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614151515610bd857600080fd5b610c6784609f60008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611dad90919063ffffffff16565b609f60008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610cfc609d5485611dce90919063ffffffff16565b9150610d5082609e60008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611dad90919063ffffffff16565b609e60008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610de582609e60008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e0c90919063ffffffff16565b609e60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508473ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef866040518082815260200191505060405180910390a36001925050509392505050565b6000603560009054906101000a900460ff16905090565b6000610f4282609f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e0c90919063ffffffff16565b609f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925609f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6000611103609d54609e60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e2d90919063ffffffff16565b9050919050565b61111261147d565b151561111d57600080fd5b606860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167ff8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c6482060405160405180910390a26000606860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b6000609b60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561122457600080fd5b600082141561127157827f72725a3b1e5bd622d6bcd1339bb31279c351abe8f541ac7fd320f24e1b1641f2609c546040518082815260200191505060405180910390a2609c54905061136d565b60008212156112a25761129761128683611e57565b609c54611dad90919063ffffffff16565b609c819055506112be565b6112b782609c54611e0c90919063ffffffff16565b609c819055505b6000196fffffffffffffffffffffffffffffffff16609c5411156112f8576000196fffffffffffffffffffffffffffffffff16609c819055505b611327609c546009600a0a62030d400260001981151561131457fe5b0660001903611e2d90919063ffffffff16565b609d81905550827f72725a3b1e5bd622d6bcd1339bb31279c351abe8f541ac7fd320f24e1b1641f2609c546040518082815260200191505060405180910390a2609c5490505b92915050565b61137b61147d565b151561138657600080fd5b80609b60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507f0e6961f1a1afb87eaf51fd64f22ddc10062e23aa7838eac5d0bdf140bfd3897281604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a150565b6000606860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b609b60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000606860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614905090565b606060348054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561156d5780601f106115425761010080835404028352916020019161156d565b820191906000526020600020905b81548152906001019060200180831161155057829003601f168201915b5050505050905090565b600080609f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490508083101515611689576000609f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061171d565b61169c8382611dad90919063ffffffff16565b609f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b8373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925609f60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600191505092915050565b60008083600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561184957600080fd5b3073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561188457600080fd5b611899609d5485611dce90919063ffffffff16565b91506118ed82609e60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611dad90919063ffffffff16565b609e60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061198282609e60008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611e0c90919063ffffffff16565b609e60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508473ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef866040518082815260200191505060405180910390a360019250505092915050565b60008060019054906101000a900460ff1680611a565750611a55611d9c565b5b80611a6d57506000809054906101000a900460ff16155b1515611b07576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602e8152602001807f436f6e747261637420696e7374616e63652068617320616c726561647920626581526020017f656e20696e697469616c697a656400000000000000000000000000000000000081525060400191505060405180910390fd5b600060019054906101000a900460ff1690506001600060016101000a81548160ff02191690831515021790555060016000806101000a81548160ff021916908315150217905550611bc46040805190810160405280600481526020017f646d706c000000000000000000000000000000000000000000000000000000008152506040805190810160405280600481526020017f444d504c0000000000000000000000000000000000000000000000000000000081525060096109d2565b611bcd82611e8a565b6009600a0a62030d4002609c819055506009600a0a62030d4002600019811515611bf357fe5b0660001903609e60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611c6a609c546009600a0a62030d4002600019811515611c5757fe5b0660001903611e2d90919063ffffffff16565b609d819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef609c546040518082815260200191505060405180910390a380600060016101000a81548160ff0219169083151502179055505050565b6000609f60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b611d8561147d565b1515611d9057600080fd5b611d9981612001565b50565b600080303b90506000811491505090565b600080838311151515611dbf57600080fd5b82840390508091505092915050565b6000806000841415611de35760009150611e05565b8284029050828482811515611df457fe5b04141515611e0157600080fd5b8091505b5092915050565b6000808284019050838110151515611e2357600080fd5b8091505092915050565b600080600083111515611e3f57600080fd5b8284811515611e4a57fe5b0490508091505092915050565b600060ff60019060020a028214151515611e7057600080fd5b60008212611e7e5781611e83565b816000035b9050919050565b60008060019054906101000a900460ff1680611eaa5750611ea9611d9c565b5b80611ec157506000809054906101000a900460ff16155b1515611f5b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602e8152602001807f436f6e747261637420696e7374616e63652068617320616c726561647920626581526020017f656e20696e697469616c697a656400000000000000000000000000000000000081525060400191505060405180910390fd5b600060019054906101000a900460ff1690506001600060016101000a81548160ff02191690831515021790555060016000806101000a81548160ff02191690831515021790555081606860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600060016101000a81548160ff0219169083151502179055505050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561203d57600080fd5b8073ffffffffffffffffffffffffffffffffffffffff16606860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a380606860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061213e57805160ff191683800117855561216c565b8280016001018555821561216c579182015b8281111561216b578251825591602001919060010190612150565b5b509050612179919061217d565b5090565b61219f91905b8082111561219b576000816000905550600101612183565b5090565b905600a165627a7a7230582001e984b6c479d4bcf6e271deb68fdb271c9993763146d234e1a6af17f0b7e7c00029

11730:9858:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7577:69;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7577:69:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;7577:69:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19862:233;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19862:233:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7362:158;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7362:158:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16973:123;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16973:123:0;;;;;;;;;;;;;;;;;;;;;;;18733:487;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18733:487:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7849:76;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7849:76:0;;;;;;;;;;;;;;;;;;;;;;;;;;;20468:343;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20468:343:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17217:159;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17217:159:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5251:116;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5251:116:0;;;;;;15079:1406;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15079:1406:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14609:202;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14609:202:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;4592:72;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4592:72:0;;;;;;;;;;;;;;;;;;;;;;;;;;;13256:29;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13256:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;4894:85;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4894:85:0;;;;;;;;;;;;;;;;;;;;;;;;;;;7705:73;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7705:73:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;7705:73:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21073:512;;8:9:-1;5:2;;;30:1;27;20:12;5:2;21073:512:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17602:388;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17602:388:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16493:407;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16493:407:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;18297:174;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18297:174:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5534:103;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5534:103:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;7577:69;7613:6;7635:5;7628:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7577:69;:::o;19862:233::-;19945:4;20008:5;19967:17;:29;19985:10;19967:29;;;;;;;;;;;;;;;:38;19997:7;19967:38;;;;;;;;;;;;;;;:46;;;;20050:7;20029:36;;20038:10;20029:36;;;20059:5;20029:36;;;;;;;;;;;;;;;;;;20083:4;20076:11;;19862:233;;;;:::o;7362:158::-;2985:20;2878:12;;;;;;;;;;;:31;;;;2894:15;:13;:15::i;:::-;2878:31;:47;;;;2914:11;;;;;;;;;;;2913:12;2878:47;2870:106;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3008:12;;;;;;;;;;;2985:35;;3042:4;3027:12;;:19;;;;;;;;;;;;;;;;;;3067:4;3053:11;;:18;;;;;;;;;;;;;;;;;;7460:4;7452:5;:12;;;;;;;;;;;;:::i;:::-;;7481:6;7471:7;:16;;;;;;;;;;;;:::i;:::-;;7506:8;7494:9;;:20;;;;;;;;;;;;;;;;;;3105:15;3090:12;;:30;;;;;;;;;;;;;;;;;;7362:158;;;;:::o;16973:123::-;17044:7;17076:12;;17069:19;;16973:123;:::o;18733:487::-;18858:4;18977:16;18836:2;13469:3;13455:18;;:2;:18;;;;13447:27;;;;;;;;13507:4;13493:19;;:2;:19;;;;13485:28;;;;;;;;18918:46;18958:5;18918:17;:23;18936:4;18918:23;;;;;;;;;;;;;;;:35;18942:10;18918:35;;;;;;;;;;;;;;;;:39;;:46;;;;:::i;:::-;18880:17;:23;18898:4;18880:23;;;;;;;;;;;;;;;:35;18904:10;18880:35;;;;;;;;;;;;;;;:84;;;;18996:27;19006:16;;18996:5;:9;;:27;;;;:::i;:::-;18977:46;;19055:32;19078:8;19055:12;:18;19068:4;19055:18;;;;;;;;;;;;;;;;:22;;:32;;;;:::i;:::-;19034:12;:18;19047:4;19034:18;;;;;;;;;;;;;;;:53;;;;19117:30;19138:8;19117:12;:16;19130:2;19117:16;;;;;;;;;;;;;;;;:20;;:30;;;;:::i;:::-;19098:12;:16;19111:2;19098:16;;;;;;;;;;;;;;;:49;;;;19178:2;19163:25;;19172:4;19163:25;;;19182:5;19163:25;;;;;;;;;;;;;;;;;;19208:4;19201:11;;18733:487;;;;;;;:::o;7849:76::-;7889:5;7910:9;;;;;;;;;;;7903:16;;7849:76;:::o;20468:343::-;20566:4;20642:54;20685:10;20642:17;:29;20660:10;20642:29;;;;;;;;;;;;;;;:38;20672:7;20642:38;;;;;;;;;;;;;;;;:42;;:54;;;;:::i;:::-;20588:17;:29;20606:10;20588:29;;;;;;;;;;;;;;;:38;20618:7;20588:38;;;;;;;;;;;;;;;:108;;;;20733:7;20712:69;;20721:10;20712:69;;;20742:17;:29;20760:10;20742:29;;;;;;;;;;;;;;;:38;20772:7;20742:38;;;;;;;;;;;;;;;;20712:69;;;;;;;;;;;;;;;;;;20799:4;20792:11;;20468:343;;;;:::o;17217:159::-;17297:7;17329:39;17351:16;;17329:12;:17;17342:3;17329:17;;;;;;;;;;;;;;;;:21;;:39;;;;:::i;:::-;17322:46;;17217:159;;;:::o;5251:116::-;4785:9;:7;:9::i;:::-;4777:18;;;;;;;;5328:6;;;;;;;;;;;5309:26;;;;;;;;;;;;5359:1;5342:6;;:19;;;;;;;;;;;;;;;;;;5251:116::o;15079:1406::-;15194:7;13357:14;;;;;;;;;;;13343:28;;:10;:28;;;13335:37;;;;;;;;15238:1;15223:11;:16;15219:118;;;15271:5;15261:30;15278:12;;15261:30;;;;;;;;;;;;;;;;;;15313:12;;15306:19;;;;15219:118;15367:1;15353:11;:15;15349:193;;;15400:44;15425:17;:11;:15;:17::i;:::-;15400:12;;:16;;:44;;;;:::i;:::-;15385:12;:59;;;;15349:193;;;15492:38;15517:11;15492:12;;:16;;:38;;;;:::i;:::-;15477:12;:53;;;;15349:193;14122:1;14113:11;15573:10;;15558:12;;:25;15554:83;;;14122:1;14113:11;15615:10;;15600:12;:25;;;;15554:83;15668:28;15683:12;;13577:1;13706:2;:12;13694:9;:24;13633:1;13624:11;13955:38;;;;;;;;13633:1;13624:11;13940:54;15668:14;;:28;;;;:::i;:::-;15649:16;:47;;;;16427:5;16417:30;16434:12;;16417:30;;;;;;;;;;;;;;;;;;16465:12;;16458:19;;13383:1;15079:1406;;;;:::o;14609:202::-;4785:9;:7;:9::i;:::-;4777:18;;;;;;;;14731:15;14714:14;;:32;;;;;;;;;;;;;;;;;;14762:41;14787:15;14762:41;;;;;;;;;;;;;;;;;;;;;;14609:202;:::o;4592:72::-;4629:7;4652:6;;;;;;;;;;;4645:13;;4592:72;:::o;13256:29::-;;;;;;;;;;;;;:::o;4894:85::-;4933:4;4967:6;;;;;;;;;;;4953:20;;:10;:20;;;4946:27;;4894:85;:::o;7705:73::-;7743:6;7765:7;7758:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7705:73;:::o;21073:512::-;21176:4;21198:16;21217:17;:29;21235:10;21217:29;;;;;;;;;;;;;;;:38;21247:7;21217:38;;;;;;;;;;;;;;;;21198:57;;21289:8;21270:15;:27;;21266:205;;;21355:1;21314:17;:29;21332:10;21314:29;;;;;;;;;;;;;;;:38;21344:7;21314:38;;;;;;;;;;;;;;;:42;;;;21266:205;;;21430:29;21443:15;21430:8;:12;;:29;;;;:::i;:::-;21389:17;:29;21407:10;21389:29;;;;;;;;;;;;;;;:38;21419:7;21389:38;;;;;;;;;;;;;;;:70;;;;21266:205;21507:7;21486:69;;21495:10;21486:69;;;21516:17;:29;21534:10;21516:29;;;;;;;;;;;;;;;:38;21546:7;21516:38;;;;;;;;;;;;;;;;21486:69;;;;;;;;;;;;;;;;;;21573:4;21566:11;;21073:512;;;;;:::o;17602:388::-;17709:4;17731:16;17687:2;13469:3;13455:18;;:2;:18;;;;13447:27;;;;;;;;13507:4;13493:19;;:2;:19;;;;13485:28;;;;;;;;17750:27;17760:16;;17750:5;:9;;:27;;;;:::i;:::-;17731:46;;17815:38;17844:8;17815:12;:24;17828:10;17815:24;;;;;;;;;;;;;;;;:28;;:38;;;;:::i;:::-;17788:12;:24;17801:10;17788:24;;;;;;;;;;;;;;;:65;;;;17883:30;17904:8;17883:12;:16;17896:2;17883:16;;;;;;;;;;;;;;;;:20;;:30;;;;:::i;:::-;17864:12;:16;17877:2;17864:16;;;;;;;;;;;;;;;:49;;;;17950:2;17929:31;;17938:10;17929:31;;;17954:5;17929:31;;;;;;;;;;;;;;;;;;17978:4;17971:11;;17602:388;;;;;;:::o;16493:407::-;2985:20;2878:12;;;;;;;;;;;:31;;;;2894:15;:13;:15::i;:::-;2878:31;:47;;;;2914:11;;;;;;;;;;;2913:12;2878:47;2870:106;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3008:12;;;;;;;;;;;2985:35;;3042:4;3027:12;;:19;;;;;;;;;;;;;;;;;;3067:4;3053:11;;:18;;;;;;;;;;;;;;;;;;16582:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13577:1;16582:24;:57::i;:::-;16650:26;16669:6;16650:18;:26::i;:::-;13577:1;13706:2;:12;13694:9;:24;16689:12;:39;;;;13577:1;13706:2;:12;13694:9;:24;13633:1;13624:11;13955:38;;;;;;;;13633:1;13624:11;13940:54;16739:12;:20;16752:6;16739:20;;;;;;;;;;;;;;;:33;;;;16802:28;16817:12;;13577:1;13706:2;:12;13694:9;:24;13633:1;13624:11;13955:38;;;;;;;;13633:1;13624:11;13940:54;16802:14;;:28;;;;:::i;:::-;16783:16;:47;;;;16871:6;16848:44;;16865:3;16848:44;;;16879:12;;16848:44;;;;;;;;;;;;;;;;;;3105:15;3090:12;;:30;;;;;;;;;;;;;;;;;;16493:407;;:::o;18297:174::-;18397:7;18429:17;:25;18447:6;18429:25;;;;;;;;;;;;;;;:34;18455:7;18429:34;;;;;;;;;;;;;;;;18422:41;;18297:174;;;;:::o;5534:103::-;4785:9;:7;:9::i;:::-;4777:18;;;;;;;;5603:28;5622:8;5603:18;:28::i;:::-;5534:103;:::o;3215:476::-;3262:4;3609:10;3655:7;3643:20;3637:26;;3684:1;3678:2;:7;3671:14;;3215:476;;:::o;1176:136::-;1234:7;1272:9;1263:1;1258;:6;;1250:15;;;;;;;;1288:1;1284;:5;1272:17;;1305:1;1298:8;;1176:136;;;;;:::o;274:393::-;332:7;601:9;565:1;560;:6;556:37;;;584:1;577:8;;;;556:37;617:1;613;:5;601:17;;642:1;637;633;:5;;;;;;;;:10;625:19;;;;;;;;660:1;653:8;;274:393;;;;;;:::o;1380:136::-;1438:7;1454:9;1470:1;1466;:5;1454:17;;1491:1;1486;:6;;1478:15;;;;;;;;1509:1;1502:8;;1380:136;;;;;:::o;782:276::-;840:7;935:9;868:1;864;:5;856:14;;;;;;;;951:1;947;:5;;;;;;;;935:17;;1051:1;1044:8;;782:276;;;;;:::o;10921:161::-;10994:6;9352:3;9346:1;9339:16;;;;11026:1;:15;;11018:24;;;;;;;;11064:1;11060;:5;:14;;11073:1;11060:14;;;11069:1;11068:2;;11060:14;11053:21;;10921:161;;;:::o;4449:83::-;2985:20;2878:12;;;;;;;;;;;:31;;;;2894:15;:13;:15::i;:::-;2878:31;:47;;;;2914:11;;;;;;;;;;;2913:12;2878:47;2870:106;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3008:12;;;;;;;;;;;2985:35;;3042:4;3027:12;;:19;;;;;;;;;;;;;;;;;;3067:4;3053:11;;:18;;;;;;;;;;;;;;;;;;4520:6;4511;;:15;;;;;;;;;;;;;;;;;;3105;3090:12;;:30;;;;;;;;;;;;;;;;;;4449:83;;:::o;5777:173::-;5867:1;5847:22;;:8;:22;;;;5839:31;;;;;;;;5911:8;5882:38;;5903:6;;;;;;;;;;;5882:38;;;;;;;;;;;;5936:8;5927:6;;:17;;;;;;;;;;;;;;;;;;5777:173;:::o;11730:9858::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o

bzzr://01e984b6c479d4bcf6e271deb68fdb271c9993763146d234e1a6af17f0b7e7c0