DecimalFloat | Base

codeslaw

DecimalFloatSolidityv0.8.25+commit.b61c2a91

network

Base

address0x2265980d35d97f5f65c73e954d2022380bca4a77

deployer0x7A0D94F55792C434d74a40883C6ed8545E406D12

tx last 12 months

0 txs

calls last 12 months

1 call

24 Files

lib

rain.datacontract

lib

rain.solmem

src

error

ErrBytes.sol

lib

LibBytes.sol

LibMemCpy.sol

LibPointer.sol

src

error

ErrDataContract.sol

lib

LibDataContract.sol

rain.math.fixedpoint

src

lib

FixedPointDecimalConstants.sol

format

LibFixedPointDecimalFormat.sol

rain.string

lib

openzeppelin-contracts

contracts

utils

Strings.sol

math

Math.sol

SignedMath.sol

src

error

ErrParse.sol

lib

parse

LibParseCMask.sol

LibParseChar.sol

LibParseDecimal.sol

src

concrete

DecimalFloat.sol

error

ErrDecimalFloat.sol

ErrParse.sol

generated

LogTables.pointers.sol

lib

LibDecimalFloat.sol

deploy

LibDecimalFloatDeploy.sol

format

LibFormatDecimalFloat.sol

implementation

LibDecimalFloatImplementation.sol

parse

LibParseDecimalFloat.sol

Source: Etherscan, Smart Contract Sanctuary, or Sourcify. For more information, see our about page.

abi

constructor

No constructor.

functions

abs

pure

function abs(bytes32 a) pure returns (bytes32)

add

pure

function add(bytes32 a, bytes32 b) pure returns (bytes32)

div

pure

function div(bytes32 a, bytes32 b) pure returns (bytes32)

pure

function e() pure returns (bytes32)

pure

function eq(bytes32 a, bytes32 b) pure returns (bool)

floor

pure

function floor(bytes32 a) pure returns (bytes32)

format

pure

function format(bytes32 a) pure returns (string)

frac

pure

function frac(bytes32 a) pure returns (bytes32)

fromFixedDecimalLossless

pure

function fromFixedDecimalLossless(uint256 value, uint8 decimals) pure returns (bytes32)

fromFixedDecimalLossy

pure

function fromFixedDecimalLossy(uint256 value, uint8 decimals) pure returns (bytes32, bool)

pure

function gt(bytes32 a, bytes32 b) pure returns (bool)

gte

pure

function gte(bytes32 a, bytes32 b) pure returns (bool)

inv

pure

function inv(bytes32 a) pure returns (bytes32)

isZero

pure

function isZero(bytes32 a) pure returns (bool)

log10

view

function log10(bytes32 a) view returns (bytes32)

pure

function lt(bytes32 a, bytes32 b) pure returns (bool)

lte

pure

function lte(bytes32 a, bytes32 b) pure returns (bool)

max

pure

function max(bytes32 a, bytes32 b) pure returns (bytes32)

maxValue

pure

function maxValue() pure returns (bytes32)

min

pure

function min(bytes32 a, bytes32 b) pure returns (bytes32)

minNegativeValue

pure

function minNegativeValue() pure returns (bytes32)

minus

pure

function minus(bytes32 a) pure returns (bytes32)

mul

pure

function mul(bytes32 a, bytes32 b) pure returns (bytes32)

parse

pure

function parse(string str) pure returns (bytes4, bytes32)

pow

view

function pow(bytes32 a, bytes32 b) view returns (bytes32)

pow10

view

function pow10(bytes32 a) view returns (bytes32)

sub

pure

function sub(bytes32 a, bytes32 b) pure returns (bytes32)

toFixedDecimalLossless

pure

function toFixedDecimalLossless(bytes32 float, uint8 decimals) pure returns (uint256)

toFixedDecimalLossy

pure

function toFixedDecimalLossy(bytes32 float, uint8 decimals) pure returns (uint256, bool)

events

No events.

errors

CoefficientOverflow

error CoefficientOverflow(int256 signedCoefficient, int256 exponent)

ExponentOverflow

error ExponentOverflow(int256 signedCoefficient, int256 exponent)

Log10Negative

error Log10Negative(int256 signedCoefficient, int256 exponent)

Log10Zero

error Log10Zero()

LossyConversionFromFloat

error LossyConversionFromFloat(int256 signedCoefficient, int256 exponent)

LossyConversionToFloat

error LossyConversionToFloat(int256 signedCoefficient, int256 exponent)

NegativeFixedDecimalConversion

error NegativeFixedDecimalConversion(int256 signedCoefficient, int256 exponent)

WithTargetExponentOverflow

error WithTargetExponentOverflow(int256 signedCoefficient, int256 exponent, int256 targetExponent)

bytecode

creation bytecode

0x6080604052348015600f57600080fd5b50612dbd8061001f6000396000f3fe608060405234801561001057600080fd5b50600436106101cf5760003560e01c806381a8227211610104578063bc62d8d8116100a2578063d3d6ffa811610071578063d3d6ffa814610452578063dd64691714610465578063e75f991f14610478578063ffae15ba1461048b57600080fd5b8063bc62d8d8146103bb578063cde72ef314610406578063d102b4d31461042c578063d1de592a1461043f57600080fd5b806394a5c2e4116100de57806394a5c2e41461034f57806396ce1ec714610375578063a100a3d914610388578063a90d041a146103a857600080fd5b806381a822721461031657806381f7e2f5146103295780638dc298071461033c57600080fd5b8063302974001161017157806341aa00801161014b57806341aa0080146102ca5780635b23771d146102dd5780635ca0e7a4146102f057806373bfb2831461030357600080fd5b806330297400146102815780633447c030146102945780633b3bd868146102b757600080fd5b80631ee62f11116101ad5780631ee62f1114610235578063253883501461024857806328fa1f011461025b5780633004fa411461026e57600080fd5b806304327dc5146101d4578063078b665b146101fa5780630b6429bc1461020d575b600080fd5b6101e76101e236600461286b565b6104b1565b6040519081526020015b60405180910390f35b6101e7610208366004612884565b6104c2565b61022061021b3660046128bc565b6104d5565b604080519283529015156020830152016101f1565b6101e761024336600461286b565b6104ee565b6101e761025636600461286b565b61050e565b6101e761026936600461286b565b61052e565b6101e761027c366004612884565b610539565b6101e761028f366004612884565b61055a565b6102a76102a2366004612884565b610566565b60405190151581526020016101f1565b6101e76102c53660046128bc565b610572565b6101e76102d8366004612884565b61057e565b6101e76102eb3660046128bc565b61058a565b6101e76102fe36600461286b565b610596565b6102a7610311366004612884565b6105a1565b6101e761032436600461286b565b6105ad565b6102a7610337366004612884565b6105b8565b6102a761034a366004612884565b6105c4565b7f7fffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffff6101e7565b6101e7610383366004612884565b6105d0565b61039b61039636600461286b565b6105dc565b6040516101f1919061290c565b6101e76103b6366004612884565b6105e7565b6103ce6103c936600461298c565b6105f3565b604080517fffffffff0000000000000000000000000000000000000000000000000000000090931683526020830191909152016101f1565b7f7fffffff800000000000000000000000000000000000000000000000000000006101e7565b6102a761043a366004612884565b61060e565b6101e761044d366004612884565b61061a565b6101e761046036600461286b565b610626565b6102a761047336600461286b565b610631565b6102206104863660046128bc565b610658565b7fffffffbe19cfc6ef4f44cf88f14500d013df534fcaad48fca1d5ca47bea26fcc6101e7565b60006104bc82610665565b92915050565b60006104ce83836106b5565b9392505050565b6000806104e284846106d2565b915091505b9250929050565b60006104bc82737a0d94f55792c434d74a40883c6ed8545e406d12610714565b60006104bc82737a0d94f55792c434d74a40883c6ed8545e406d12610766565b60006104bc8261079a565b60006104ce8383737a0d94f55792c434d74a40883c6ed8545e406d126107ed565b60006104ce838361088e565b60006104ce83836108f5565b60006104ce8383610944565b60006104ce838361096a565b60006104ce83836109b0565b60006104bc826109e4565b60006104ce8383610a2a565b60006104bc82610a7b565b60006104ce8383610ac3565b60006104ce8383610b14565b60006104ce8383610b64565b60606104bc82610baa565b60006104ce8383610c74565b60008060008061060285610c80565b90969095509350505050565b60006104ce8383610d3b565b60006104ce8383610d8b565b60006104bc82610dd1565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8216156104bc565b6000806104e28484610e04565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8216601b0b60e083901d6106988282610e48565b90925090506000806106aa8484610ea3565b509695505050505050565b60006106c18383610b14565b6106cb57816104ce565b5090919050565b6000807bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8416601b0b60e085901d610707828287610f7c565b9350935050509250929050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8316601b0b60e084901d6107488483836110d4565b909250905060008061075a8484610ea3565b50979650505050505050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8316601b0b60e084901d6107488483836111dd565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8216601b0b60e083901d82806107cf848461146a565b915091506000806107e08386610ea3565b5098975050505050505050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8416601b0b60e085901d82806108238685856111dd565b90925090507bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8716601b0b60e088901d61085b848484846114d7565b909450925061086b8885856110d4565b909450925060008061087d8686610ea3565b509c9b505050505050505050505050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d84806108d48686868661154d565b915091506000806108e58484610ea3565b509b9a5050505050505050505050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d610939848484846115c3565b979650505050505050565b600080600061095385856115db565b915091506109618282611640565b95945050505050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d84806108d48686868661169c565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8316601b0b60e084901d6109618282866116c7565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8216601b0b60e083901d8280610a19848461146a565b915091506000806107e08486610ea3565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d610a6e84848484611725565b1315979650505050505050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8216601b0b60e083901d82821215610ab6576106988282611800565b6000806106aa8484610ea3565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d610b0784848484611725565b1215979650505050505050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d610b5884848484611725565b12979650505050505050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d84806108d4868686866114d7565b604080516020810190915260008082526060917bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8416601b0b9160e085901d9190831215610c2f575060408051808201909152600181527f2d000000000000000000000000000000000000000000000000000000000000006020820152610c2c83612a8a565b92505b6000610c3d848460126116c7565b905081610c49826118a5565b604051602001610c5a929190612ac2565b604051602081830303815290604052945050505050919050565b60006106c18383610d3b565b8051600090819060208481019185010182808080610c9e8686611958565b929650909450925090507fffffffff000000000000000000000000000000000000000000000000000000008416600003610d2b57848303610cfa576000610ce58383611640565b8160e01b915097509750505050505050915091565b507fad384e870000000000000000000000000000000000000000000000000000000098600098509650505050505050565b5091976000975095505050505050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d610d7f84848484611725565b13979650505050505050565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d84806108d486868686611d4b565b60007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8216601b0b60e083901d6106988282611800565b6000806000806000610e168787611de1565b925092509250600080610e298585610ea3565b9150915081838015610e385750815b9650965050505050509250929050565b600080610e558484611e3f565b9094509250610e84847f0235fadd81c2822bb3f07877973d50f28bf22a31be8ee8000000000000000000612b20565b9350604b610e9184612a8a565b610e9b9190612baf565b939492505050565b6000601b83900b831480610f01577d90e40fbeea1d3a4abc8955e946fe31cdcf66f634e1000000000000000000840515610ee657620186a0840593506005830192505b8384601b0b14610f0157600a84059350826001019250610ee6565b828360030b14610f4c576040517fd556b11100000000000000000000000000000000000000000000000000000000815260048101859052602481018490526044015b60405180910390fd5b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff9390931660e09290921b91909117929050565b6000806000851215610fc4576040517f4a7d166b0000000000000000000000000000000000000000000000000000000081526004810186905260248101859052604401610f43565b84600003610fd857506000905060016110cc565b8460ff8416850185811215611023576040517fd556b1110000000000000000000000000000000000000000000000000000000081526004810188905260248101879052604401610f43565b6000806000831215611091577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb38312156110675760008095509550505050506110cc565b82600003600a0a915081848161107f5761107f612af1565b04955050840290911491506110cc9050565b60008313156110c1576110a583600a612cf6565b91506110b18285612d02565b9550600194506110cc9350505050565b509193506001925050505b935093915050565b6000806000841215611112576110ea8484611800565b90945092506110fa8585856110d4565b90945092506111098484610e48565b915091506110cc565b60008061111f868661146a565b909250905084600080806111338585612069565b9250925092506000806111478d8686612162565b91509150831561119157611187838602888588600101028e86867ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc6121d8565b909c509a506111b8565b819b507ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc9a505b5050505050866111ca8483600061226a565b9099960160010197509495505050505050565b6000806111ea8484611e3f565b90945092506000841361126d5783600003611231576040517f561fc7b500000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6040517f5d3fd4db0000000000000000000000000000000000000000000000000000000081526004810185905260248101849052604401610f43565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffda83131561140f57836f0785ee10d5da46d900f436a000000000036112b95750506025810160006110cc565b600080808086816e01ed09bead87c0378d8e640000000061132d565b60006002600a84040260010160008052600281601e853c50600051617fff8116915061071d6180008216156113095761038e015b600080526001600a8606600a6064880402018201601f863c50506000510192915050565b808b0480820295508582019450858c141592507ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc180161136c818e6112d5565b82029750821561138857611383600182018e6112d5565b820296505b505080156113c9576113bf848b858c8a8a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffda6121d8565b909a5098506113f0565b8599507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffda98505b6114008a8a846025016000611d4b565b975097505050505050506110cc565b61144b6f0785ee10d5da46d900f436a0000000007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdb868661154d565b909450925061145b8585856111dd565b90945092506111098484611800565b60008060008312611480575082905060006104e7565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb48312156114b3575060009050826104e7565b6000839003600a0a8085816114ca576114ca612af1565b0794859003959350505050565b6000808584028082036114f1576000809250925050611544565b85840187820586141587820386141517801561153d576115118989611e3f565b90995097506115208787611e3f565b9097509550611531898989896114d7565b94509450505050611544565b5090925090505b94509492505050565b60008061155a8686611e3f565b90965094506115698484611e3f565b90945092506000846f4b3b4ca85a86c47a098a22400000000088028161159157611591612af1565b0597939095037fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffda019550919350505050565b60006115d185858585611725565b1495945050505050565b60008060008060006115ed8787611de1565b92509250925080611634576040517fc47179660000000000000000000000000000000000000000000000000000000081526004810184905260248101839052604401610f43565b50909590945092505050565b600080600061164f8585610ea3565b9150915080611694576040517f22c9f7bb0000000000000000000000000000000000000000000000000000000081526004810186905260248101859052604401610f43565b509392505050565b6000806116a98484611800565b90945092506116ba86868686611d4b565b9150915094509492505050565b60008060006116d7868686610f7c565b915091508061171c576040517f05e476780000000000000000000000000000000000000000000000000000000081526004810187905260248101869052604401610f43565b50949350505050565b6000808515841517818712828612181785841417801561174b5786859250925050611544565b50600085841315611760575092949193919260015b83860360008112604c82131780156117965782156117875760008994509450505050611544565b88600094509450505050611544565b600a82900a8981028a8282816117ae576117ae612af1565b05146117dc5784156117cb5760008b965096505050505050611544565b8a6000965096505050505050611544565b84156117f15788965094506115449350505050565b95508794506115449350505050565b6000807f8000000000000000000000000000000000000000000000000000000000000000840361189a577f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff830361188d576040517fd556b1110000000000000000000000000000000000000000000000000000000081526004810185905260248101849052604401610f43565b600a840593508260010192505b505060009190910391565b6060670de0b6b3a764000080830490830660006118c183612383565b9050816000036118d357949350505050565b670de0b6b3a7640000820160006118e982612383565b90506000600a5b8081858161190057611900612af1565b040284036119175760019190910190600a026118f0565b8160010183510360018401935080845250848360405160200161193b929190612d19565b604051602081830303815290604052975050505050505050919050565b600082818061196e838665200000000000612441565b9250858314158361198881886703ff000000000000612441565b94508085036119c357507f34bd206900000000000000000000000000000000000000000000000000000000945060009250829150611d429050565b6000806119d08a8861246d565b90925090507fffffffff00000000000000000000000000000000000000000000000000000000821615611a0f5750955060009350839250611d42915050565b865190955065400000000000600160009290921a9190911b161515888710169150508015611c515750600190930192600084611a5481896703ff000000000000612441565b9550808603611a9057507f7bfa48af00000000000000000000000000000000000000000000000000000000955060009350839250611d42915050565b855b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81018051908a11600160009290921a9190911b660100000000000016151516600103611b00577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff01611a92565b818114611b5957600080611b14848461246d565b90925090507fffffffff00000000000000000000000000000000000000000000000000000000821615611b555750975060009550859450611d429350505050565b9350505b6000831215611b9657507f7bfa48af00000000000000000000000000000000000000000000000000000000965060009450849350611d4292505050565b8315611ba3578260000392505b8082039450600085900360438110801590611bbd57508615155b15611bf757507f32b8b8be00000000000000000000000000000000000000000000000000000000975060009550859450611d429350505050565b600a0a86810287828281611c0d57611c0d612af1565b0514611c4957507f32b8b8be00000000000000000000000000000000000000000000000000000000985060009650869550611d42945050505050565b840196505050505b84516c20000000200000000000000000600160009290921a9190911b161515878610168015611d3e5760019095019485611c92818a65200000000000612441565b965086611ca8818b6703ff000000000000612441565b9750808803611ce657507f013b2aaa00000000000000000000000000000000000000000000000000000000975060009550859450611d429350505050565b50600080611cf4838a61246d565b90925090507fffffffff00000000000000000000000000000000000000000000000000000000821615611d355750975060009550859450611d429350505050565b95860195925050505b5050505b92959194509250565b60008085158415178015611d795786600003611d6d5784849250925050611544565b86869250925050611544565b611d838787611e3f565b9097509550611d928585611e3f565b909550935085841315611da6579395929492935b60008487036025811115611dc257888894509450505050611544565b600a0a9050611dd18189612d71565b9095019793965092945050505050565b6000808060ff841681037f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff861115611e2e57600a860460018201600a880660001493509350935050611e38565b8593509150600190505b9250925092565b60008082158415166f0785ee10d5da46d900f436a000000000850515156f4b3b4ca85a86c47a098a224000000000860515161715611e815750829050816104e7565b83600003611e94575060009050806104e7565b7f4000000000000000000000000000000000000000000000000000000000000000830515611ef8576040517fd556b1110000000000000000000000000000000000000000000000000000000081526004810185905260248101849052604401610f43565b6f4b3b4ca85a86c47a098a224000000000840515611fc4577704140c78940f6a24fdffc78873d4490d2100000000000000840515611f4457678ac7230489e80000840593506013830192505b7301c06a5ec5433c60ddaa16406f5a400000000000840515611f7057633b9aca00840593506009830192505b7002f050fe938943acc45f65568000000000840515611f9a57606484059350600283019250611f70565b6f4b3b4ca85a86c47a098a224000000000840515611fbf57600a840593506001830192505b612061565b670de0b6b3a76400008405600003611fea57678ac7230489e80000840293506013830392505b6b204fce5e3e25026110000000840560000361201057633b9aca00840293506009830392505b6ec097ce7bc90715b34b9f1000000000840560000361203a57606484029350600283039250612010565b6f0785ee10d5da46d900f436a000000000840560000361206157600a840293506001830392505b509192909150565b6000806000837ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc036120a45750839150600090506001611e38565b7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc841215612136577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb0841215612104575060009150508215156001611e38565b600084600401600003600a0a9050600081878161212357612123612af1565b0594505080840286141592509050611e38565b6000841261214d5750600091508190506001611e38565b50505060048101600a0a820260006001611e38565b6000806121af565b6000610b0f60008052600280600a8604028201601e853c6000516107e482019150600080526001600a8606600a6064880402018301601f863c60005101949350505050565b6121b9848661216a565b915082156110cc576121ce600185018661216a565b9050935093915050565b6000806000806000806121ed8c8b8f8d61169c565b915091506000806122008a8a8d8c61169c565b91509150612210848484846114d7565b80965081975050505050505060008061222b8b8b8f8d61169c565b9150915060008061223e8686868661154d565b9150915060008061225184848f8e611d4b565b909a509850505050505050505097509795505050505050565b600081830361227a5750826104ce565b828213156122be57828203604c8113806122945750600081125b156122a35760009150506104ce565b80600a0a85816122b5576122b5612af1565b059150506104ce565b818303604c8113806122d05750600081125b15612318576040517f1d5d6d10000000000000000000000000000000000000000000000000000000008152600481018690526024810185905260448101849052606401610f43565b600a81900a8581028682828161233057612330612af1565b0514612379576040517f1d5d6d10000000000000000000000000000000000000000000000000000000008152600481018890526024810187905260448101869052606401610f43565b92506104ce915050565b606060006123908361259d565b600101905060008167ffffffffffffffff8111156123b0576123b061295d565b6040519080825280601f01601f1916602001820160405280156123da576020820181803683370190505b5090508181016020015b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff017f3031323334353637383961626364656600000000000000000000000000000000600a86061a8153600a85049450846123e457509392505050565b60005b6000826001865160001a1b1611838510161561246557600184019350612444565b509192915050565b8151600090819065200000000000600191831a9190911b1615158385101680850190828061249b848861267f565b90925090507fffffffff000000000000000000000000000000000000000000000000000000008216156124d757509350600092506104e7915050565b8260000361253c577f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff811161250d57600061252f565b7f0fdc2635000000000000000000000000000000000000000000000000000000005b955093506104e792505050565b7f8000000000000000000000000000000000000000000000000000000000000000811161256a57600061258c565b7f0fdc2635000000000000000000000000000000000000000000000000000000005b955060000393505050509250929050565b6000807a184f03e93ff9f4daa797ed6e38ed64bf6a1f01000000000000000083106125e6577a184f03e93ff9f4daa797ed6e38ed64bf6a1f010000000000000000830492506040015b6d04ee2d6d415b85acef81000000008310612612576d04ee2d6d415b85acef8100000000830492506020015b662386f26fc10000831061263057662386f26fc10000830492506010015b6305f5e1008310612648576305f5e100830492506008015b612710831061265c57612710830492506004015b6064831061266e576064830492506002015b600a83106104bc5760010192915050565b6000808284106126b457507f34bd206900000000000000000000000000000000000000000000000000000000905060006104e7565b603060007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8501815b8782101580156126ed5750604d83105b1561273157815160018401937fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff90930192600a0a60009190911a85900302016126dd565b87821061285c57815160001a849003600181111561277b57507f0fdc2635000000000000000000000000000000000000000000000000000000009550600094506104e79350505050565b600a84900a81028281018311156127bf57507f0fdc2635000000000000000000000000000000000000000000000000000000009650600095506104e7945050505050565b9190910190507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff909101905b87821061285c57815160001a6030811461283157507f0fdc2635000000000000000000000000000000000000000000000000000000009550600094506104e79350505050565b507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff909101906127eb565b60009890975095505050505050565b60006020828403121561287d57600080fd5b5035919050565b6000806040838503121561289757600080fd5b50508035926020909101359150565b803560ff811681146128b757600080fd5b919050565b600080604083850312156128cf57600080fd5b823591506128df602084016128a6565b90509250929050565b60005b838110156129035781810151838201526020016128eb565b50506000910152565b602081526000825180602084015261292b8160408501602087016128e8565b601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0169190910160400192915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b60006020828403121561299e57600080fd5b813567ffffffffffffffff808211156129b657600080fd5b818401915084601f8301126129ca57600080fd5b8135818111156129dc576129dc61295d565b604051601f82017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0908116603f01168101908382118183101715612a2257612a2261295d565b81604052828152876020848701011115612a3b57600080fd5b826020860160208301376000928101602001929092525095945050505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60007f80000000000000000000000000000000000000000000000000000000000000008203612abb57612abb612a5b565b5060000390565b60008351612ad48184602088016128e8565b835190830190612ae88183602088016128e8565b01949350505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b600082612b56577f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff83147f800000000000000000000000000000000000000000000000000000000000000083141615612baa57612baa612a5b565b500590565b8181036000831280158383131683831282161715612bcf57612bcf612a5b565b5092915050565b600181815b80851115612c2f57817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04821115612c1557612c15612a5b565b80851615612c2257918102915b93841c9390800290612bdb565b509250929050565b600082612c46575060016104bc565b81612c53575060006104bc565b8160018114612c695760028114612c7357612c8f565b60019150506104bc565b60ff841115612c8457612c84612a5b565b50506001821b6104bc565b5060208310610133831016604e8410600b8410161715612cb2575081810a6104bc565b612cbc8383612bd6565b807fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04821115612cee57612cee612a5b565b029392505050565b60006104ce8383612c37565b80820281158282048414176104bc576104bc612a5b565b60008351612d2b8184602088016128e8565b7f2e000000000000000000000000000000000000000000000000000000000000009083019081528351612d658160018401602088016128e8565b01600101949350505050565b808202600082127f800000000000000000000000000000000000000000000000000000000000000084141615612da957612da9612a5b565b81810583148215176104bc576104bc612a5b56