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 setRebasePaused(bool paused)    - function setTokenPaused(bool paused)    - 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(    - 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-01
*/
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;
    }
    uint256 c = a * b;
    require(c / a == b);
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":"paused","type":"bool"}],"name":"setRebasePaused","outputs":[],"payable":false,"stateMutability":"nonpayable","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":false,"inputs":[{"name":"paused","type":"bool"}],"name":"setTokenPaused","outputs":[],"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":"rebasePaused","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","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":true,"inputs":[],"name":"tokenPaused","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","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":"paused","type":"bool"}],"name":"LogRebasePaused","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"paused","type":"bool"}],"name":"LogTokenPaused","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"}]

608060405234801561001057600080fd5b50611595806100206000396000f30060806040526004361061013d5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde038114610142578063095ea7b3146101cc5780631624f6c61461020457806318160ddd146102a257806322872e0b146102c957806323b872dd146102e3578063295194571461030d578063313ce56714610327578063395093511461035257806353ca9f241461037657806370a082311461038b578063715018a6146103ac5780637a43e23f146103c157806386c75e74146103dc5780638b5a6a08146103f15780638da5cb5b146104125780638e27d7d7146104435780638f32d59b1461045857806395d89b411461046d578063a457c2d714610482578063a9059cbb146104a6578063c4d66de8146104ca578063dd62ed3e146104eb578063f2fde38b14610512575b600080fd5b34801561014e57600080fd5b50610157610533565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610191578181015183820152602001610179565b50505050905090810190601f1680156101be5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156101d857600080fd5b506101f0600160a060020a03600435166024356105ca565b604080519115158252519081900360200190f35b34801561021057600080fd5b506040805160206004803580820135601f81018490048402850184019095528484526102a094369492936024939284019190819084018382808284375050604080516020601f89358b018035918201839004830284018301909452808352979a9998810197919650918201945092508291508401838280828437509497505050923560ff16935061064c92505050565b005b3480156102ae57600080fd5b506102b7610785565b60408051918252519081900360200190f35b3480156102d557600080fd5b506102a0600435151561078b565b3480156102ef57600080fd5b506101f0600160a060020a0360043581169060243516604435610813565b34801561031957600080fd5b506102a06004351515610989565b34801561033357600080fd5b5061033c610a01565b6040805160ff9092168252519081900360200190f35b34801561035e57600080fd5b506101f0600160a060020a0360043516602435610a0a565b34801561038257600080fd5b506101f0610abd565b34801561039757600080fd5b506102b7600160a060020a0360043516610ade565b3480156103b857600080fd5b506102a0610b0c565b3480156103cd57600080fd5b506102b7600435602435610b76565b3480156103e857600080fd5b506101f0610cde565b3480156103fd57600080fd5b506102a0600160a060020a0360043516610cee565b34801561041e57600080fd5b50610427610d62565b60408051600160a060020a039092168252519081900360200190f35b34801561044f57600080fd5b50610427610d71565b34801561046457600080fd5b506101f0610d80565b34801561047957600080fd5b50610157610d91565b34801561048e57600080fd5b506101f0600160a060020a0360043516602435610df2565b3480156104b257600080fd5b506101f0600160a060020a0360043516602435610f00565b3480156104d657600080fd5b506102a0600160a060020a036004351661100f565b3480156104f757600080fd5b506102b7600160a060020a036004358116906024351661122d565b34801561051e57600080fd5b506102a0600160a060020a0360043516611258565b60338054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156105bf5780601f10610594576101008083540402835291602001916105bf565b820191906000526020600020905b8154815290600101906020018083116105a257829003601f168201915b505050505090505b90565b609b5460009060a860020a900460ff16156105e457600080fd5b336000818152609f60209081526040808320600160a060020a03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060015b92915050565b60008054610100900460ff16806106665750610666611277565b80610674575060005460ff16155b151561070757604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602e60248201527f436f6e747261637420696e7374616e63652068617320616c726561647920626560448201527f656e20696e697469616c697a6564000000000000000000000000000000000000606482015290519081900360840190fd5b5060008054600161010061ff00198316811760ff191691909117909255845191900460ff169061073e9060339060208701906114db565b5082516107529060349060208601906114db565b506035805460ff90931660ff1990931692909217909155600080549115156101000261ff00199092169190911790555050565b609c5490565b610793610d80565b151561079e57600080fd5b609b805482151574010000000000000000000000000000000000000000810274ff0000000000000000000000000000000000000000199092169190911790915560408051918252517fb36927c68760751ec71d827eb30be804be612d87c7c6b6a1f255258c6a1bea669181900360200190a150565b60008083600160a060020a038116151561082c57600080fd5b600160a060020a03811630141561084257600080fd5b609b5460a860020a900460ff161561085957600080fd5b600160a060020a0386166000908152609f6020908152604080832033845290915290205461088d908563ffffffff61128116565b600160a060020a0387166000908152609f60209081526040808320338452909152902055609d546108c590859063ffffffff61129816565b600160a060020a0387166000908152609e60205260409020549092506108f1908363ffffffff61128116565b600160a060020a038088166000908152609e60205260408082209390935590871681522054610926908363ffffffff6112cd16565b600160a060020a038087166000818152609e602090815260409182902094909455805188815290519193928a16927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a350600195945050505050565b610991610d80565b151561099c57600080fd5b609b805482151560a860020a810275ff000000000000000000000000000000000000000000199092169190911790915560408051918252517f398c4e18c8ef7f11eb3921fe2d01d3b469329a5f01febf5ba17f2462f27f439c9181900360200190a150565b60355460ff1690565b609b5460009060a860020a900460ff1615610a2457600080fd5b336000908152609f60209081526040808320600160a060020a0387168452909152902054610a58908363ffffffff6112cd16565b336000818152609f60209081526040808320600160a060020a0389168085529083529281902085905580519485525191937f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929081900390910190a350600192915050565b609b5474010000000000000000000000000000000000000000900460ff1681565b609d54600160a060020a0382166000908152609e60205260408120549091610646919063ffffffff6112df16565b610b14610d80565b1515610b1f57600080fd5b606854604051600160a060020a03909116907ff8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c6482090600090a26068805473ffffffffffffffffffffffffffffffffffffffff19169055565b609b54600090600160a060020a03163314610b9057600080fd5b609b5474010000000000000000000000000000000000000000900460ff1615610bb857600080fd5b811515610c0057609c54604080519182525184917f72725a3b1e5bd622d6bcd1339bb31279c351abe8f541ac7fd320f24e1b1641f2919081900360200190a250609c54610646565b6000821215610c2c57610c24610c1583611302565b609c549063ffffffff61128116565b609c55610c43565b609c54610c3f908363ffffffff6112cd16565b609c555b609c546fffffffffffffffffffffffffffffffff1015610c72576fffffffffffffffffffffffffffffffff609c555b609c54610c99906919e1ae08d8ecdb8e00006000195b06600019039063ffffffff6112df16565b609d55609c54604080519182525184917f72725a3b1e5bd622d6bcd1339bb31279c351abe8f541ac7fd320f24e1b1641f2919081900360200190a250609c5492915050565b609b5460a860020a900460ff1681565b610cf6610d80565b1515610d0157600080fd5b609b8054600160a060020a03831673ffffffffffffffffffffffffffffffffffffffff19909116811790915560408051918252517f0e6961f1a1afb87eaf51fd64f22ddc10062e23aa7838eac5d0bdf140bfd389729181900360200190a150565b606854600160a060020a031690565b609b54600160a060020a031681565b606854600160a060020a0316331490565b60348054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156105bf5780601f10610594576101008083540402835291602001916105bf565b609b54600090819060a860020a900460ff1615610e0e57600080fd5b50336000908152609f60209081526040808320600160a060020a0387168452909152902054808310610e6357336000908152609f60209081526040808320600160a060020a0388168452909152812055610e98565b610e73818463ffffffff61128116565b336000908152609f60209081526040808320600160a060020a03891684529091529020555b336000818152609f60209081526040808320600160a060020a0389168085529083529281902054815190815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a3600191505b5092915050565b60008083600160a060020a0381161515610f1957600080fd5b600160a060020a038116301415610f2f57600080fd5b609b5460a860020a900460ff1615610f4657600080fd5b609d54610f5a90859063ffffffff61129816565b336000908152609e6020526040902054909250610f7d908363ffffffff61128116565b336000908152609e602052604080822092909255600160a060020a03871681522054610faf908363ffffffff6112cd16565b600160a060020a0386166000818152609e60209081526040918290209390935580518781529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a3506001949350505050565b60008054610100900460ff16806110295750611029611277565b80611037575060005460ff16155b15156110ca57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602e60248201527f436f6e747261637420696e7374616e63652068617320616c726561647920626560448201527f656e20696e697469616c697a6564000000000000000000000000000000000000606482015290519081900360840190fd5b5060008054600161010061ff00198316811760ff191691909117909255604080518082018252600b81527f444f4745204b494c4c45520000000000000000000000000000000000000000006020808301919091528251808401909352600583527f4c45415348000000000000000000000000000000000000000000000000000000908301529290910460ff169161116291601261064c565b61116b82611346565b609b805475ffff0000000000000000000000000000000000000000191690556919e1ae08d8ecdb8e0000609c818155600160a060020a0384166000908152609e60205260409020682ebfb46832583dffff199055546111cc91600019610c88565b609d55609c546040805191825251600160a060020a038416916000917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a3600080549115156101000261ff001990921691909117905550565b600160a060020a039182166000908152609f6020908152604080832093909416825291909152205490565b611260610d80565b151561126b57600080fd5b6112748161145d565b50565b303b8015905b5090565b6000808383111561129157600080fd5b5050900390565b6000808315156112ab5760009150610ef9565b508282028284828115156112bb57fe5b04146112c657600080fd5b9392505050565b6000828201838110156112c657600080fd5b6000808083116112ee57600080fd5b82848115156112f957fe5b04949350505050565b60007f800000000000000000000000000000000000000000000000000000000000000082141561133157600080fd5b6000821261133f5781610646565b5060000390565b60008054610100900460ff16806113605750611360611277565b8061136e575060005460ff16155b151561140157604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602e60248201527f436f6e747261637420696e7374616e63652068617320616c726561647920626560448201527f656e20696e697469616c697a6564000000000000000000000000000000000000606482015290519081900360840190fd5b50600080546068805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a03949094169390931790925561ff001980831661010090811760ff19166001179091169281900460ff16151502919091179055565b600160a060020a038116151561147257600080fd5b606854604051600160a060020a038084169216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a36068805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061151c57805160ff1916838001178555611549565b82800160010185558215611549579182015b8281111561154957825182559160200191906001019061152e565b5061127d926105c79250905b8082111561127d57600081556001016115555600a165627a7a72305820110045ddcdac3081ec4b21e9a876fdccd4adf815653a0e5d4c02bb33047c487c0029

0x60806040526004361061013d5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde038114610142578063095ea7b3146101cc5780631624f6c61461020457806318160ddd146102a257806322872e0b146102c957806323b872dd146102e3578063295194571461030d578063313ce56714610327578063395093511461035257806353ca9f241461037657806370a082311461038b578063715018a6146103ac5780637a43e23f146103c157806386c75e74146103dc5780638b5a6a08146103f15780638da5cb5b146104125780638e27d7d7146104435780638f32d59b1461045857806395d89b411461046d578063a457c2d714610482578063a9059cbb146104a6578063c4d66de8146104ca578063dd62ed3e146104eb578063f2fde38b14610512575b600080fd5b34801561014e57600080fd5b50610157610533565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610191578181015183820152602001610179565b50505050905090810190601f1680156101be5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156101d857600080fd5b506101f0600160a060020a03600435166024356105ca565b604080519115158252519081900360200190f35b34801561021057600080fd5b506040805160206004803580820135601f81018490048402850184019095528484526102a094369492936024939284019190819084018382808284375050604080516020601f89358b018035918201839004830284018301909452808352979a9998810197919650918201945092508291508401838280828437509497505050923560ff16935061064c92505050565b005b3480156102ae57600080fd5b506102b7610785565b60408051918252519081900360200190f35b3480156102d557600080fd5b506102a0600435151561078b565b3480156102ef57600080fd5b506101f0600160a060020a0360043581169060243516604435610813565b34801561031957600080fd5b506102a06004351515610989565b34801561033357600080fd5b5061033c610a01565b6040805160ff9092168252519081900360200190f35b34801561035e57600080fd5b506101f0600160a060020a0360043516602435610a0a565b34801561038257600080fd5b506101f0610abd565b34801561039757600080fd5b506102b7600160a060020a0360043516610ade565b3480156103b857600080fd5b506102a0610b0c565b3480156103cd57600080fd5b506102b7600435602435610b76565b3480156103e857600080fd5b506101f0610cde565b3480156103fd57600080fd5b506102a0600160a060020a0360043516610cee565b34801561041e57600080fd5b50610427610d62565b60408051600160a060020a039092168252519081900360200190f35b34801561044f57600080fd5b50610427610d71565b34801561046457600080fd5b506101f0610d80565b34801561047957600080fd5b50610157610d91565b34801561048e57600080fd5b506101f0600160a060020a0360043516602435610df2565b3480156104b257600080fd5b506101f0600160a060020a0360043516602435610f00565b3480156104d657600080fd5b506102a0600160a060020a036004351661100f565b3480156104f757600080fd5b506102b7600160a060020a036004358116906024351661122d565b34801561051e57600080fd5b506102a0600160a060020a0360043516611258565b60338054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156105bf5780601f10610594576101008083540402835291602001916105bf565b820191906000526020600020905b8154815290600101906020018083116105a257829003601f168201915b505050505090505b90565b609b5460009060a860020a900460ff16156105e457600080fd5b336000818152609f60209081526040808320600160a060020a03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060015b92915050565b60008054610100900460ff16806106665750610666611277565b80610674575060005460ff16155b151561070757604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602e60248201527f436f6e747261637420696e7374616e63652068617320616c726561647920626560448201527f656e20696e697469616c697a6564000000000000000000000000000000000000606482015290519081900360840190fd5b5060008054600161010061ff00198316811760ff191691909117909255845191900460ff169061073e9060339060208701906114db565b5082516107529060349060208601906114db565b506035805460ff90931660ff1990931692909217909155600080549115156101000261ff00199092169190911790555050565b609c5490565b610793610d80565b151561079e57600080fd5b609b805482151574010000000000000000000000000000000000000000810274ff0000000000000000000000000000000000000000199092169190911790915560408051918252517fb36927c68760751ec71d827eb30be804be612d87c7c6b6a1f255258c6a1bea669181900360200190a150565b60008083600160a060020a038116151561082c57600080fd5b600160a060020a03811630141561084257600080fd5b609b5460a860020a900460ff161561085957600080fd5b600160a060020a0386166000908152609f6020908152604080832033845290915290205461088d908563ffffffff61128116565b600160a060020a0387166000908152609f60209081526040808320338452909152902055609d546108c590859063ffffffff61129816565b600160a060020a0387166000908152609e60205260409020549092506108f1908363ffffffff61128116565b600160a060020a038088166000908152609e60205260408082209390935590871681522054610926908363ffffffff6112cd16565b600160a060020a038087166000818152609e602090815260409182902094909455805188815290519193928a16927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a350600195945050505050565b610991610d80565b151561099c57600080fd5b609b805482151560a860020a810275ff000000000000000000000000000000000000000000199092169190911790915560408051918252517f398c4e18c8ef7f11eb3921fe2d01d3b469329a5f01febf5ba17f2462f27f439c9181900360200190a150565b60355460ff1690565b609b5460009060a860020a900460ff1615610a2457600080fd5b336000908152609f60209081526040808320600160a060020a0387168452909152902054610a58908363ffffffff6112cd16565b336000818152609f60209081526040808320600160a060020a0389168085529083529281902085905580519485525191937f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929081900390910190a350600192915050565b609b5474010000000000000000000000000000000000000000900460ff1681565b609d54600160a060020a0382166000908152609e60205260408120549091610646919063ffffffff6112df16565b610b14610d80565b1515610b1f57600080fd5b606854604051600160a060020a03909116907ff8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c6482090600090a26068805473ffffffffffffffffffffffffffffffffffffffff19169055565b609b54600090600160a060020a03163314610b9057600080fd5b609b5474010000000000000000000000000000000000000000900460ff1615610bb857600080fd5b811515610c0057609c54604080519182525184917f72725a3b1e5bd622d6bcd1339bb31279c351abe8f541ac7fd320f24e1b1641f2919081900360200190a250609c54610646565b6000821215610c2c57610c24610c1583611302565b609c549063ffffffff61128116565b609c55610c43565b609c54610c3f908363ffffffff6112cd16565b609c555b609c546fffffffffffffffffffffffffffffffff1015610c72576fffffffffffffffffffffffffffffffff609c555b609c54610c99906919e1ae08d8ecdb8e00006000195b06600019039063ffffffff6112df16565b609d55609c54604080519182525184917f72725a3b1e5bd622d6bcd1339bb31279c351abe8f541ac7fd320f24e1b1641f2919081900360200190a250609c5492915050565b609b5460a860020a900460ff1681565b610cf6610d80565b1515610d0157600080fd5b609b8054600160a060020a03831673ffffffffffffffffffffffffffffffffffffffff19909116811790915560408051918252517f0e6961f1a1afb87eaf51fd64f22ddc10062e23aa7838eac5d0bdf140bfd389729181900360200190a150565b606854600160a060020a031690565b609b54600160a060020a031681565b606854600160a060020a0316331490565b60348054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156105bf5780601f10610594576101008083540402835291602001916105bf565b609b54600090819060a860020a900460ff1615610e0e57600080fd5b50336000908152609f60209081526040808320600160a060020a0387168452909152902054808310610e6357336000908152609f60209081526040808320600160a060020a0388168452909152812055610e98565b610e73818463ffffffff61128116565b336000908152609f60209081526040808320600160a060020a03891684529091529020555b336000818152609f60209081526040808320600160a060020a0389168085529083529281902054815190815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a3600191505b5092915050565b60008083600160a060020a0381161515610f1957600080fd5b600160a060020a038116301415610f2f57600080fd5b609b5460a860020a900460ff1615610f4657600080fd5b609d54610f5a90859063ffffffff61129816565b336000908152609e6020526040902054909250610f7d908363ffffffff61128116565b336000908152609e602052604080822092909255600160a060020a03871681522054610faf908363ffffffff6112cd16565b600160a060020a0386166000818152609e60209081526040918290209390935580518781529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a3506001949350505050565b60008054610100900460ff16806110295750611029611277565b80611037575060005460ff16155b15156110ca57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602e60248201527f436f6e747261637420696e7374616e63652068617320616c726561647920626560448201527f656e20696e697469616c697a6564000000000000000000000000000000000000606482015290519081900360840190fd5b5060008054600161010061ff00198316811760ff191691909117909255604080518082018252600b81527f444f4745204b494c4c45520000000000000000000000000000000000000000006020808301919091528251808401909352600583527f4c45415348000000000000000000000000000000000000000000000000000000908301529290910460ff169161116291601261064c565b61116b82611346565b609b805475ffff0000000000000000000000000000000000000000191690556919e1ae08d8ecdb8e0000609c818155600160a060020a0384166000908152609e60205260409020682ebfb46832583dffff199055546111cc91600019610c88565b609d55609c546040805191825251600160a060020a038416916000917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a3600080549115156101000261ff001990921691909117905550565b600160a060020a039182166000908152609f6020908152604080832093909416825291909152205490565b611260610d80565b151561126b57600080fd5b6112748161145d565b50565b303b8015905b5090565b6000808383111561129157600080fd5b5050900390565b6000808315156112ab5760009150610ef9565b508282028284828115156112bb57fe5b04146112c657600080fd5b9392505050565b6000828201838110156112c657600080fd5b6000808083116112ee57600080fd5b82848115156112f957fe5b04949350505050565b60007f800000000000000000000000000000000000000000000000000000000000000082141561133157600080fd5b6000821261133f5781610646565b5060000390565b60008054610100900460ff16806113605750611360611277565b8061136e575060005460ff16155b151561140157604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602e60248201527f436f6e747261637420696e7374616e63652068617320616c726561647920626560448201527f656e20696e697469616c697a6564000000000000000000000000000000000000606482015290519081900360840190fd5b50600080546068805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a03949094169390931790925561ff001980831661010090811760ff19166001179091169281900460ff16151502919091179055565b600160a060020a038116151561147257600080fd5b606854604051600160a060020a038084169216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a36068805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061151c57805160ff1916838001178555611549565b82800160010185558215611549579182015b8281111561154957825182559160200191906001019061152e565b5061127d926105c79250905b8082111561127d57600081556001016115555600a165627a7a72305820110045ddcdac3081ec4b21e9a876fdccd4adf815653a0e5d4c02bb33047c487c0029

11153:11121:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7147:69;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7147:69:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;7147:69:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20317:261;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;20317:261:0;-1:-1:-1;;;;;20317:261:0;;;;;;;;;;;;;;;;;;;;;;;;;6932:158;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;6932:158:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;6932:158:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;6932:158:0;;;;-1:-1:-1;6932:158:0;-1:-1:-1;6932:158:0;;-1:-1:-1;6932:158:0;;;;;;;;-1:-1:-1;6932:158:0;;-1:-1:-1;;;6932:158:0;;;;;-1:-1:-1;6932:158:0;;-1:-1:-1;;;6932:158:0;;;17415:91;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17415:91:0;;;;;;;;;;;;;;;;;;;;14749:136;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;14749:136:0;;;;;;;19139:536;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;19139:536:0;-1:-1:-1;;;;;19139:536:0;;;;;;;;;;;;15043:133;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;15043:133:0;;;;;;;7419:76;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7419:76:0;;;;;;;;;;;;;;;;;;;;;;;20951:436;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;20951:436:0;-1:-1:-1;;;;;20951:436:0;;;;;;;12946:24;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12946:24:0;;;;17627:127;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;17627:127:0;-1:-1:-1;;;;;17627:127:0;;;;;5016:116;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5016:116:0;;;;15444:1435;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;15444:1435:0;;;;;;;12977:23;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12977:23:0;;;;14412:179;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;14412:179:0;-1:-1:-1;;;;;14412:179:0;;;;;4357:72;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4357:72:0;;;;;;;;-1:-1:-1;;;;;4357:72:0;;;;;;;;;;;;;;12760:29;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12760:29:0;;;;4659:85;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4659:85:0;;;;7275:73;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7275:73:0;;;;21649:622;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;21649:622:0;-1:-1:-1;;;;;21649:622:0;;;;;;;17980:416;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;17980:416:0;-1:-1:-1;;;;;17980:416:0;;;;;;;16887:455;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;16887:455:0;-1:-1:-1;;;;;16887:455:0;;;;;18703:174;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;18703:174:0;-1:-1:-1;;;;;18703:174:0;;;;;;;;;;5299:103;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;5299:103:0;-1:-1:-1;;;;;5299:103:0;;;;;7147:69;7205:5;7198:12;;;;;;;;-1:-1:-1;;7198:12:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7183:6;;7198:12;;7205:5;;7198:12;;7205:5;7198:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7147:69;;:::o;20317:261::-;13151:11;;20428:4;;-1:-1:-1;;;13151:11:0;;;;13150:12;13142:21;;;;;;20468:10;20450:29;;;;:17;:29;;;;;;;;-1:-1:-1;;;;;20450:38:0;;;;;;;;;;;;:46;;;20512:36;;;;;;;20450:38;;20468:10;20512:36;;;;;;;;;;;-1:-1:-1;20566:4:0;13174:1;20317:261;;;;:::o;6932:158::-;2841:20;2734:12;;;;;;;;:31;;;2750:15;:13;:15::i;:::-;2734:47;;;-1:-1:-1;2770:11:0;;;;2769:12;2734:47;2726:106;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;2864:12:0;;;;;-1:-1:-1;;2883:19:0;;;;-1:-1:-1;;2909:18:0;;;;;;;;7022:12;;2864;;;;;;7022;;:5;;:12;;;;;:::i;:::-;-1:-1:-1;7041:16:0;;;;:7;;:16;;;;;:::i;:::-;-1:-1:-1;7064:9:0;:20;;;;;;-1:-1:-1;;7064:20:0;;;;;;;;;;:9;2946:30;;;;;7064:20;2946:30;-1:-1:-1;;2946:30:0;;;;;;;;;-1:-1:-1;;6932:158:0:o;17415:91::-;17486:12;;17415:91;:::o;14749:136::-;4550:9;:7;:9::i;:::-;4542:18;;;;;;;;14817:12;:21;;;;;;;;-1:-1:-1;;14817:21:0;;;;;;;;;;14854:23;;;;;;;;;;;;;;;;14749:136;:::o;19139:536::-;19290:4;;19258:2;-1:-1:-1;;;;;13246:18:0;;;;13238:27;;;;;;-1:-1:-1;;;;;13284:19:0;;13298:4;13284:19;;13276:28;;;;;;13151:11;;-1:-1:-1;;;13151:11:0;;;;13150:12;13142:21;;;;;;-1:-1:-1;;;;;19345:23:0;;;;;;:17;:23;;;;;;;;19369:24;19345:49;;;;;;;;:74;;19413:5;19345:74;:67;:74;:::i;:::-;-1:-1:-1;;;;;19307:23:0;;;;;;:17;:23;;;;;;;;19331:10;19307:35;;;;;;;:112;19461:16;;19451:27;;:5;;:27;:9;:27;:::i;:::-;-1:-1:-1;;;;;19510:18:0;;;;;;:12;:18;;;;;;19432:46;;-1:-1:-1;19510:32:0;;19432:46;19510:32;:22;:32;:::i;:::-;-1:-1:-1;;;;;19489:18:0;;;;;;;:12;:18;;;;;;:53;;;;19572:16;;;;;;;:30;;19593:8;19572:30;:20;:30;:::i;:::-;-1:-1:-1;;;;;19553:16:0;;;;;;;:12;:16;;;;;;;;;:49;;;;19618:25;;;;;;;19553:16;;19618:25;;;;;;;;;;;;;-1:-1:-1;19663:4:0;;19139:536;-1:-1:-1;;;;;19139:536:0:o;15043:133::-;4550:9;:7;:9::i;:::-;4542:18;;;;;;;;15110:11;:20;;;;;-1:-1:-1;;;15110:20:0;;-1:-1:-1;;15110:20:0;;;;;;;;;;15146:22;;;;;;;;;;;;;;;;15043:133;:::o;7419:76::-;7480:9;;;;7419:76;:::o;20951:436::-;13151:11;;21077:4;;-1:-1:-1;;;13151:11:0;;;;13150:12;13142:21;;;;;;21158:24;21140:43;;;;:17;:43;;;;;;;;-1:-1:-1;;;;;21140:52:0;;;;;;;;;;:82;;21211:10;21140:82;:70;:82;:::i;:::-;21117:10;21099:29;;;;:17;:29;;;;;;;;-1:-1:-1;;;;;21099:38:0;;;;;;;;;;;;:123;;;21238:119;;;;;;21099:38;;21238:119;;;;;;;;;;;-1:-1:-1;21375:4:0;20951:436;;;;:::o;12946:24::-;;;;;;;;;:::o;17627:127::-;17729:16;;-1:-1:-1;;;;;17707:17:0;;17680:7;17707:17;;;:12;:17;;;;;;17680:7;;17707:39;;:17;:39;:21;:39;:::i;5016:116::-;4550:9;:7;:9::i;:::-;4542:18;;;;;;;;5093:6;;5074:26;;-1:-1:-1;;;;;5093:6:0;;;;5074:26;;5093:6;;5074:26;5107:6;:19;;-1:-1:-1;;5107:19:0;;;5016:116::o;15444:1435::-;12861:14;;15588:7;;-1:-1:-1;;;;;12861:14:0;12847:10;:28;12839:37;;;;;;13060:12;;;;;;;13059:13;13051:22;;;;;;15617:16;;15613:118;;;15672:12;;15655:30;;;;;;;15665:5;;15655:30;;;;;;;;;;-1:-1:-1;15707:12:0;;15700:19;;15613:118;15761:1;15747:11;:15;15743:193;;;15794:44;15819:17;:11;:15;:17::i;:::-;15794:12;;;:44;:16;:44;:::i;:::-;15779:12;:59;15743:193;;;15886:12;;:38;;15911:11;15886:38;:16;:38;:::i;:::-;15871:12;:53;15743:193;15952:12;;15967:10;-1:-1:-1;15948:83:0;;;16009:10;15994:12;:25;15948:83;16077:12;;16062:28;;13486:29;-1:-1:-1;;13761:38:0;;-1:-1:-1;;13737:63:0;;16062:28;:14;:28;:::i;:::-;16043:16;:47;16828:12;;16811:30;;;;;;;16821:5;;16811:30;;;;;;;;;;-1:-1:-1;16859:12:0;;15444:1435;;;;:::o;12977:23::-;;;-1:-1:-1;;;12977:23:0;;;;;:::o;14412:179::-;4550:9;:7;:9::i;:::-;4542:18;;;;;;;;14494:14;:32;;-1:-1:-1;;;;;14494:32:0;;-1:-1:-1;;14494:32:0;;;;;;;;14542:41;;;;;;;;;;;;;;;;14412:179;:::o;4357:72::-;4417:6;;-1:-1:-1;;;;;4417:6:0;4357:72;:::o;12760:29::-;;;-1:-1:-1;;;;;12760:29:0;;:::o;4659:85::-;4732:6;;-1:-1:-1;;;;;4732:6:0;4718:10;:20;;4659:85::o;7275:73::-;7335:7;7328:14;;;;;;;;-1:-1:-1;;7328:14:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7313:6;;7328:14;;7335:7;;7328:14;;7335:7;7328:14;;;;;;;;;;;;;;;;;;;;;;;;21649:622;13151:11;;21780:4;;;;-1:-1:-1;;;13151:11:0;;;;13150:12;13142:21;;;;;;-1:-1:-1;21839:10:0;21821:29;;;;:17;:29;;;;;;;;-1:-1:-1;;;;;21821:38:0;;;;;;;;;;21874:27;;;21870:237;;21936:10;21959:1;21918:29;;;:17;:29;;;;;;;;-1:-1:-1;;;;;21918:38:0;;;;;;;;;:42;21870:237;;;22034:61;:8;22065:15;22034:61;:12;:61;:::i;:::-;22011:10;21993:29;;;;:17;:29;;;;;;;;-1:-1:-1;;;;;21993:38:0;;;;;;;;;:102;21870:237;22145:10;22192:29;;;;:17;:29;;;;;;;;-1:-1:-1;;;;;22122:119:0;;22192:38;;;;;;;;;;;22122:119;;;;;;;;;22145:10;22122:119;;;;;;;;;;;22259:4;22252:11;;13174:1;21649:622;;;;;:::o;17980:416::-;18115:4;;18065:2;-1:-1:-1;;;;;13246:18:0;;;;13238:27;;;;;;-1:-1:-1;;;;;13284:19:0;;13298:4;13284:19;;13276:28;;;;;;13151:11;;-1:-1:-1;;;13151:11:0;;;;13150:12;13142:21;;;;;;18166:16;;18156:27;;:5;;:27;:9;:27;:::i;:::-;18234:10;18221:24;;;;:12;:24;;;;;;18137:46;;-1:-1:-1;18221:38:0;;18137:46;18221:38;:28;:38;:::i;:::-;18207:10;18194:24;;;;:12;:24;;;;;;:65;;;;-1:-1:-1;;;;;18289:16:0;;;;;;:30;;18310:8;18289:30;:20;:30;:::i;:::-;-1:-1:-1;;;;;18270:16:0;;;;;;:12;:16;;;;;;;;;:49;;;;18335:31;;;;;;;18270:16;;18344:10;;18335:31;;;;;;;;;;-1:-1:-1;18384:4:0;;17980:416;-1:-1:-1;;;;17980:416:0:o;16887:455::-;2841:20;2734:12;;;;;;;;:31;;;2750:15;:13;:15::i;:::-;2734:47;;;-1:-1:-1;2770:11:0;;;;2769:12;2734:47;2726:106;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;2864:12:0;;;;;-1:-1:-1;;2883:19:0;;;;-1:-1:-1;;2909:18:0;;;;;;;;16953:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2864:12;;;;;;;16953:65;;13368:2;16953:24;:65::i;:::-;17029:26;17048:6;17029:18;:26::i;:::-;17068:12;:20;;-1:-1:-1;;17099:19:0;;;13486:29;17131:12;:39;;;-1:-1:-1;;;;;17181:20:0;;-1:-1:-1;17181:20:0;;;:12;:20;;;;;-1:-1:-1;;17181:33:0;;17259:12;17244:28;;-1:-1:-1;;13761:38:0;;17244:28;17225:16;:47;17321:12;;17290:44;;;;;;;-1:-1:-1;;;;;17290:44:0;;;17307:3;;17290:44;;;;;;;;;2946:12;:30;;;;;;;-1:-1:-1;;2946:30:0;;;;;;;;;-1:-1:-1;16887:455:0:o;18703:174::-;-1:-1:-1;;;;;18835:25:0;;;18803:7;18835:25;;;:17;:25;;;;;;;;:34;;;;;;;;;;;;;18703:174::o;5299:103::-;4550:9;:7;:9::i;:::-;4542:18;;;;;;;;5368:28;5387:8;5368:18;:28::i;:::-;5299:103;:::o;3071:476::-;3511:7;3499:20;3534:7;;;3071:476;;;:::o;1118:136::-;1176:7;;1200:6;;;;1192:15;;;;;;-1:-1:-1;;1226:5:0;;;1118:136::o;216:393::-;274:7;;502:6;;498:37;;;526:1;519:8;;;;498:37;-1:-1:-1;555:5:0;;;559:1;555;:5;575;;;;;;;;:10;567:19;;;;;;602:1;216:393;-1:-1:-1;;;216:393:0:o;1322:136::-;1380:7;1408:5;;;1428:6;;;;1420:15;;;;;724:276;782:7;;806:5;;;798:14;;;;;;893:1;889;:5;;;;;;;;;724:276;-1:-1:-1;;;;724:276:0:o;10418:161::-;10491:6;8836:16;10523:15;;;10515:24;;;;;;10561:1;10557;:5;:14;;10570:1;10557:14;;;-1:-1:-1;10565:2:0;;;10418:161::o;4214:83::-;2841:20;2734:12;;;;;;;;:31;;;2750:15;:13;:15::i;:::-;2734:47;;;-1:-1:-1;2770:11:0;;;;2769:12;2734:47;2726:106;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;2864:12:0;;;4276:6;:15;;-1:-1:-1;;4276:15:0;-1:-1:-1;;;;;4276:15:0;;;;;;;;;;;-1:-1:-1;;2883:19:0;;;2864:12;2883:19;;;-1:-1:-1;;2909:18:0;-1:-1:-1;2909:18:0;2946:30;;;2864:12;;;;;;2946:30;;;;;;;;;4214:83::o;5542:173::-;-1:-1:-1;;;;;5612:22:0;;;;5604:31;;;;;;5668:6;;5647:38;;-1:-1:-1;;;;;5647:38:0;;;;5668:6;;5647:38;;5668:6;;5647:38;5692:6;:17;;-1:-1:-1;;5692:17:0;-1:-1:-1;;;;;5692:17:0;;;;;;;;;;5542:173::o;11153:11121::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;11153:11121:0;;;;-1:-1:-1;11153:11121:0;;;;;;;;;;;;;;

bzzr://110045ddcdac3081ec4b21e9a876fdccd4adf815653a0e5d4c02bb33047c487c