From 64297492cdf042e6ccb8416bcfcc309a2e5030ac Mon Sep 17 00:00:00 2001 From: David Meister Date: Fri, 3 Jul 2026 13:40:16 +0000 Subject: [PATCH 1/3] feat(parse): accept explicit + sign in e-notation exponent `1e+2`, `1.0e+2`, `1E+2` etc. now parse identically to `1e2`. `1e+` with no digits still rejects with MalformedExponentDigits. Fixes rainlanguage/rainlang#214. Co-Authored-By: Claude Sonnet 4.6 --- src/lib/parse/LibParseDecimalFloat.sol | 7 +++++++ test/src/lib/parse/LibParseDecimalFloat.t.sol | 19 +++++++++++++++++++ 2 files changed, 26 insertions(+) diff --git a/src/lib/parse/LibParseDecimalFloat.sol b/src/lib/parse/LibParseDecimalFloat.sol index b62fd77f..c911380e 100644 --- a/src/lib/parse/LibParseDecimalFloat.sol +++ b/src/lib/parse/LibParseDecimalFloat.sol @@ -6,6 +6,7 @@ import {LibParseChar} from "rain-string-0.2.0/src/lib/parse/LibParseChar.sol"; import { CMASK_NUMERIC_0_9, CMASK_NEGATIVE_SIGN, + CMASK_PLUS_SIGN, CMASK_E_NOTATION, CMASK_ZERO, CMASK_DECIMAL_POINT @@ -142,6 +143,12 @@ library LibParseDecimalFloat { cursor++; uint256 eStart = cursor; cursor = LibParseChar.skipMask(cursor, end, CMASK_NEGATIVE_SIGN); + // Skip an optional explicit positive sign (e.g. 1e+2). Advance + // eStart past it so the int parser only sees the digit string. + if (LibParseChar.isMask(cursor, end, CMASK_PLUS_SIGN) == 1) { + cursor++; + eStart = cursor; + } { uint256 digitsStart = cursor; cursor = LibParseChar.skipMask(cursor, end, CMASK_NUMERIC_0_9); diff --git a/test/src/lib/parse/LibParseDecimalFloat.t.sol b/test/src/lib/parse/LibParseDecimalFloat.t.sol index e87f9147..2f209da4 100644 --- a/test/src/lib/parse/LibParseDecimalFloat.t.sol +++ b/test/src/lib/parse/LibParseDecimalFloat.t.sol @@ -394,6 +394,25 @@ contract LibParseDecimalFloatTest is Test { checkParseDecimalFloatFail("e.", ParseEmptyDecimalString.selector, 0); } + /// Explicit positive exponent sign is accepted and equivalent to no sign. + function testParseLiteralDecimalFloatPositiveExponentSign() external pure { + checkParseDecimalFloat("1e+2", 1, 2, 4); + checkParseDecimalFloat("1.0e+2", 1, 2, 6); + checkParseDecimalFloat("1E+2", 1, 2, 4); + checkParseDecimalFloat("0e+0", 0, 0, 4); + checkParseDecimalFloat("0e+1", 0, 0, 4); + checkParseDecimalFloat("1e+0", 1, 0, 4); + checkParseDecimalFloat("1e+260", 1, 260, 6); + checkParseDecimalFloat("-1e+2", -1, 2, 5); + checkParseDecimalFloat("1.1e+1", 11, 0, 6); + } + + /// Positive sign with no digits is still an error. + function testParseLiteralDecimalFloatPositiveENoDigits() external pure { + checkParseDecimalFloatFail("1e+", MalformedExponentDigits.selector, 3); + checkParseDecimalFloatFail("0.0e+", MalformedExponentDigits.selector, 5); + } + /// Negative e with no digits is an error. function testParseLiteralDecimalFloatNegativeE() external pure { checkParseDecimalFloatFail("0.0e-", MalformedExponentDigits.selector, 5); From 393956e2e56ea187cd572d8d66e7c546690c44a5 Mon Sep 17 00:00:00 2001 From: David Meister Date: Fri, 3 Jul 2026 17:05:30 +0000 Subject: [PATCH 2/3] fix(ci): copy-artifacts [3b-attempt] Regenerate DecimalFloat.json artifact after adding explicit + sign support in e-notation exponent parsing. Co-Authored-By: Claude --- crates/float/abi/DecimalFloat.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/crates/float/abi/DecimalFloat.json b/crates/float/abi/DecimalFloat.json index 80b90a5b..86c5bd9d 100644 --- a/crates/float/abi/DecimalFloat.json +++ b/crates/float/abi/DecimalFloat.json @@ -1102,9 +1102,9 @@ } ], "bytecode": { - "object": "0x6080604052348015600e575f80fd5b5060156019565b60b8565b73c51a14251b0dcf0ae24a96b7153991378938f5f53f7f2573004ac3a9ee7fc8d73654d76386f1b6b99e34cdf86a689c4691e47143420f811460b557604051630912d0ff60e31b815273c51a14251b0dcf0ae24a96b7153991378938f5f560048201527f2573004ac3a9ee7fc8d73654d76386f1b6b99e34cdf86a689c4691e47143420f60248201526044810182905260640160405180910390fd5b50565b614ddd806100c55f395ff3fe608060405234801561000f575f80fd5b506004361061029d575f3560e01c806381f7e2f511610171578063cde72ef3116100d2578063dd64691711610088578063e5526ecd1161006e578063e5526ecd1461062e578063e75f991f14610641578063ffae15ba14610654575f80fd5b8063dd64691714610608578063e0db58881461061b575f80fd5b8063d1de592a116100b8578063d1de592a146105bb578063d35273a7146105ce578063d3d6ffa8146105f5575f80fd5b8063cde72ef314610582578063d102b4d3146105a8575f80fd5b8063a19684b711610127578063bc1b392d1161010d578063bc1b392d1461050b578063bc62d8d814610511578063cb09682b1461055c575f80fd5b8063a19684b7146104d2578063a90d041a146104f8575f80fd5b806396ce1ec71161015757806396ce1ec7146104885780639b4afd991461049b578063a100a3d9146104bf575f80fd5b806381f7e2f5146104625780638dc2980714610475575f80fd5b80633447c0301161021b5780635ca0e7a4116101d1578063719cd99d116101b7578063719cd99d1461042957806373bfb2831461043c57806381a822721461044f575f80fd5b80635ca0e7a4146103f0578063602c35fc14610403575f80fd5b80633b3bd868116102015780633b3bd868146103b757806341aa0080146103ca5780635b23771d146103dd575f80fd5b80633447c03014610374578063371493ce14610397575f80fd5b80631ee62f111161027057806328fa1f011161025657806328fa1f011461033b5780633004fa411461034e5780633029740014610361575f80fd5b80631ee62f11146103155780632538835014610328575f80fd5b806304327dc5146102a1578063078b665b146102c75780630b6429bc146102da578063146e82ad14610302575b5f80fd5b6102b46102af36600461475f565b61067a565b6040519081526020015b60405180910390f35b6102b46102d5366004614776565b61068a565b6102ed6102e83660046147a6565b61069c565b604080519283529015156020830152016102be565b6102b461031036600461475f565b6106b4565b6102b461032336600461475f565b6106d3565b6102b461033636600461475f565b6106f2565b6102b461034936600461475f565b610711565b6102b461035c366004614776565b61071b565b6102b461036f366004614776565b61073b565b610387610382366004614776565b610746565b60405190151581526020016102be565b6103aa6103a53660046147d0565b610751565b6040516102be9190614802565b6102b46103c53660046147a6565b61075d565b6102b46103d8366004614776565b610768565b6102b46103eb3660046147a6565b610773565b6102b46103fe36600461475f565b61077e565b7f80000000ffffffffffffffffffffffffffffffffffffffffffffffffffffffff6102b4565b6102b461043736600461475f565b610788565b61038761044a366004614776565b610792565b6102b461045d36600461475f565b61079d565b610387610470366004614776565b6107a7565b610387610483366004614776565b6107b2565b6102b4610496366004614776565b6107bd565b6102b47c090000000000000000000000000000000000000000000000000000000181565b6103aa6104cd36600461475f565b6107c8565b7f80000000000000000000000000000000000000000000000000000000000000016102b4565b6102b4610506366004614776565b610812565b5f6102b4565b61052461051f366004614882565b61081d565b604080517fffffffff0000000000000000000000000000000000000000000000000000000090931683526020830191909152016102be565b7f7fffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffff6102b4565b7f7fffffff800000000000000000000000000000000000000000000000000000006102b4565b6103876105b6366004614776565b610836565b6102b46105c9366004614776565b610841565b6102b47ffffffffc0000000000000000000000000000000000000000000000000000000181565b6102b461060336600461475f565b61084c565b61038761061636600461475f565b610856565b6102b461062936600461475f565b61087c565b6103aa61063c36600461494b565b610886565b6102ed61064f3660046147a6565b61090f565b7fffffffbe19cfc6ef4f44cf88f14500d013df534fcaad48fca1d5ca47bea26fcc6102b4565b5f6106848261091b565b92915050565b5f610695838361095d565b9392505050565b5f806106a88484610979565b915091505b9250929050565b5f6106848273c51a14251b0dcf0ae24a96b7153991378938f5f56109ba565b5f6106848273c51a14251b0dcf0ae24a96b7153991378938f5f56109e6565b5f6106848273c51a14251b0dcf0ae24a96b7153991378938f5f5610a33565b5f61068482610a66565b5f610695838373c51a14251b0dcf0ae24a96b7153991378938f5f5610aa7565b5f6106958383610d01565b5f6106958383610d63565b60606106958383610db1565b5f6106958383610e44565b5f6106958383610e5f565b5f6106958383610ea4565b5f61068482610ed7565b5f61068482610f8d565b5f6106958383611039565b5f61068482611089565b5f61069583836110ce565b5f610695838361111e565b5f610695838361116d565b6060610684827ffffffffc000000000000000000000000000000000000000000000000000000017c0900000000000000000000000000000000000000000000000000000001610886565b5f61069583836111b2565b5f805f8061082a856111bd565b90969095509350505050565b5f61069583836112ab565b5f61069583836112fa565b5f6106848261133f565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff821615610684565b5f61068482611371565b606061089283836112ab565b6108d7576040517f3be5bf9400000000000000000000000000000000000000000000000000000000815260048101849052602481018390526044015b60405180910390fd5b5f6108e185611089565b9050610906856108f183876112ab565b806109015750610901838661111e565b610db1565b95945050505050565b5f806106a884846113b2565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8216601b0b60e083901d61094d82826113f2565b90925090505f6109068383611440565b5f610968838361111e565b6109725781610695565b5090919050565b5f807bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8416601b0b60e085901d6109ad8282876114a6565b9350935050509250929050565b5f610695837fffffffff0000000000000000000000000000000000000000000000000000000584610aa7565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8316601b0b60e084901d610a198483836116b0565b90925090505f610a298383611440565b9695505050505050565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8316601b0b60e084901d610a19848383611821565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8216601b0b60e083901d82610a998383611b56565b9150505f610a298284611440565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff848116601b0b9060e086901d908516610ae45750600191506106959050565b5f8213610b7d57815f03610b4157610afc855f6112ab565b15610b36576040517f8be82972000000000000000000000000000000000000000000000000000000008152600481018690526024016108ce565b505f91506106959050565b6040517fcceba0f100000000000000000000000000000000000000000000000000000000815260048101839052602481018290526044016108ce565b610b88856001610d63565b8015610b995750610b99865f61111e565b15610ba8578592505050610695565b610bb2855f6112ab565b15610bdb57610bd2610bc38761091b565b610bcc8761133f565b86610aa7565b92505050610695565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8516601b0b60e086901d5f80610c0e8484611b56565b915091505f610c1e83855f611bbe565b905060015f8080610c558f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8116601b0b9160e09190911d90565b915091505b60018510610c9c5784600116600103610c7f57610c7984848484611cd5565b90945092505b600185901c9450610c9282828484611cd5565b9092509050610c5a565b5f80610ca98f8e8e611821565b91509150610cb982828a8d611cd5565b9092509050610cc98f83836116b0565b9092509050610cda82828888611cd5565b90925090505f610cea8383611440565b9e5050505050505050505050505050509392505050565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d8480610d4686868686611df4565b915091505f610d558383611440565b9a9950505050505050505050565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d610da684848484612418565b979650505050505050565b60607bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8316601b0b60e084901d5f829003610e21576040518060400160405280600181526020017f300000000000000000000000000000000000000000000000000000000000000081525092505050610684565b8315610e3a57610e31828261242f565b92505050610684565b610906828261276c565b5f805f610e518585612f96565b915091506109068282612ff8565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d8480610d468686868661304a565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8316601b0b60e084901d610906828286613074565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8216601b0b60e083901d828112610f0e57509192915050565b5f80610f1a8484611b56565b915091505f84128015610f2c57508015155b15610f8257610f7d82847f161bcca7119915b50764b4abe86529797775a5f17195100000000000000000007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb461304a565b935091505b5f610da68385611440565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8216601b0b60e083901d828112610fc457509192915050565b5f80610fd08484611b56565b91509150805f03610fe5575093949350505050565b5f811315610f8257610f7d82847f161bcca7119915b50764b4abe86529797775a5f17195100000000000000000007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb46130d0565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d61107c84848484613200565b1315979650505050505050565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8216601b0b60e083901d828212156110c35761094d82826132d4565b5f6109068383611440565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d61111184848484613200565b1215979650505050505050565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d61116184848484613200565b12979650505050505050565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d8480610d4686868686611cd5565b5f61096883836112ab565b80515f908190602084810191850101828080806111da8686613377565b929650909450925090507fffffffff0000000000000000000000000000000000000000000000000000000084165f0361129c5784830361126c575f806112208484613816565b915091508061125b57507f32b8b8be000000000000000000000000000000000000000000000000000000009a5f9a5098505050505050505050565b505f9a909950975050505050505050565b507fad384e8700000000000000000000000000000000000000000000000000000000985f98509650505050505050565b5091975f975095505050505050565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d6112ee84848484613200565b13979650505050505050565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d8480610d46868686866130d0565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8216601b0b60e083901d61094d82826132d4565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8216601b0b60e083901d826113a48383611b56565b5090505f610a298284611440565b5f805f805f6113c1878761391c565b9250925092505f806113d38585613816565b91509150818380156113e25750815b9650965050505050509250929050565b5f806106a87f161bcca7119915b50764b4abe86529797775a5f17195100000000000000000007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb48686611df4565b5f805f61144d8585613816565b915091508015801561145d575081155b1561149e576040517f8eba4d0700000000000000000000000000000000000000000000000000000000815260048101869052602481018590526044016108ce565b509392505050565b5f805f8512156114ec576040517f4a7d166b00000000000000000000000000000000000000000000000000000000815260048101869052602481018590526044016108ce565b845f036114fe57505f905060016116a8565b8460ff8416850185811215611549576040517fd556b11100000000000000000000000000000000000000000000000000000000815260048101889052602481018790526044016108ce565b5f805f8312156115b3577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb383121561158a575f8095509550505050506116a8565b825f03600a0a91508184816115a1576115a1614974565b04955050840290911491506116a89050565b5f83131561169d57604d831315611609576040517fc849483b000000000000000000000000000000000000000000000000000000008152600481018a90526024810189905260ff881660448201526064016108ce565b82600a0a9150817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8161163e5761163e614974565b0484111561168b576040517fc849483b000000000000000000000000000000000000000000000000000000008152600481018a90526024810189905260ff881660448201526064016108ce565b50919091029250600191506116a89050565b509193506001925050505b935093915050565b5f805f8412156116ec576116c484846132d4565b90945092506116d48585856116b0565b90945092506116e384846113f2565b915091506116a8565b5f806116f88686611b56565b9092509050845f808061170b8585613978565b9194509250905061270d6127106117236001826149ce565b851461173a576117348d8686613a67565b90925090505b83156117c5575f61174c8660016149f4565b90505b80848583028161176157611761614974565b051461177857600a84059350600a8805975061174f565b6117b96117858588614a1b565b896117908785614a1b565b8f87877ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc613b20565b909d509b506117ec9050565b819b507ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc9a505b5050505050866117fd84835f611bbe565b6118088860016149f4565b61181291906149f4565b94509450505050935093915050565b5f80838361182f8282613bbd565b90965094505f86136118b057855f03611874576040517f561fc7b500000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6040517f5d3fd4db00000000000000000000000000000000000000000000000000000000815260048101839052602481018290526044016108ce565b5050837f161bcca7119915b50764b4abe86529797775a5f1719510000000000000000000036118ee576118e483604c6149f4565b5f915091506116a8565b7f161bcca7119915b50764b4abe86529797775a5f17195100000000000000000008412158061193d577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb561195f565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb45b5f0b8412611b1a575f805f805f8561197857604b61197b565b604c5b611985908a6149f4565b90505f80876119b2577d90e40fbeea1d3a4abc8955e946fe31cdcf66f634e10000000000000000006119d3565b7e05a8e89d75252446eb5d5d5b1cc5edf20a1a059e10ca0000000000000000005b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff169050808c81611a0557611a05614974565b05818102955090850193507ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc18019050611a3e8c82613c13565b7d90e40fbeea1d3a4abc8955e946fe31cdcf66f634e10000000000000000000295508594508a8414611aca576123278114611aa557611a808c82600101613c13565b7d90e40fbeea1d3a4abc8955e946fe31cdcf66f634e100000000000000000002611ac7565b7f161bcca7119915b50764b4abe86529797775a5f17195100000000000000000005b94505b50611afa838b848c89897fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb4613b20565b909a509850611b0b8a8a835f6130d0565b975097505050505050506116a8565b611b2485856113f2565b9095509350611b34868686611821565b9095509350611b4385856132d4565b92509250506116a8565b50935093915050565b5f805f8312611b6957508290505f6106ad565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb4831215611b9b57505f9050826106ad565b5f839003600a0a808581611bb157611bb1614974565b0794859003959350505050565b5f818303611bcd575082610695565b82821315611c1057828203604c811380611be757505f8113155b15611bf5575f915050610695565b80600a0a8581611c0757611c07614974565b05915050610695565b818303604c811380611c2257505f8113155b15611c6a576040517f1d5d6d100000000000000000000000000000000000000000000000000000000081526004810186905260248101859052604481018490526064016108ce565b600a81900a85810286828281611c8257611c82614974565b0514611ccb576040517f1d5d6d100000000000000000000000000000000000000000000000000000000081526004810188905260248101879052604481018690526064016108ce565b9250610695915050565b5f8085158415178015611ced575f92505f9150611dea565b611cf784876149f4565b91505f611d0388613c9a565b90505f611d0f87613c9a565b90505f611d1c8383613d00565b5090505f6f0785ee10d5da46d900f436a000000000821115611d51576f0785ee10d5da46d900f436a000000000820491506025015b670de0b6b3a7640000821115611d7257670de0b6b3a7640000820491506012015b633b9aca00821115611d8b57633b9aca00820491506009015b612710821115611da057612710820491506004015b8115611db457600a82049150600101611da0565b611dbe81876149f4565b9550611de08b8a611dda8787611dd587600a614b84565b613d3b565b89613e20565b9097509550505050505b5094509492505050565b5f80835f03611e39576040517f7a97930f00000000000000000000000000000000000000000000000000000000815260048101879052602481018690526044016108ce565b855f03611e4a57505f90508061240f565b5f805f80611e588a8a613f27565b919b5099509150611e698888613f27565b919950975090505f611e7a8b613c9a565b90505f611e868a613c9a565b90507f161bcca7119915b50764b4abe86529797775a5f1719510000000000000000000604c818310156122a3578415611ee457507f0235fadd81c2822bb3f07877973d50f28bf22a31be8ee80000000000000000009050604b612262565b6f4b3b4ca85a86c47a098a22400000000083101561201057678ac7230489e80000831015611f74576402540be400831015611f4257620186a0831015611f325750620186a0905060056121eb565b506402540be4009050600a6121eb565b655af3107a4000831015611f615750655af3107a40009050600e6121eb565b50678ac7230489e80000905060136121eb565b6b204fce5e3e25026110000000831015611fc65769152d02c7e14af6800000831015611faf575069152d02c7e14af6800000905060176121eb565b506b204fce5e3e250261100000009050601c6121eb565b6d314dc6448d9338c15b0a00000000831015611ff557506d314dc6448d9338c15b0a00000000905060216121eb565b506f4b3b4ca85a86c47a098a224000000000905060266121eb565b780197d4df19d605767337e9f14d3eec8920e4000000000000008310156121085773af298d050e4395d69670b12b7f410000000000008310156120a3577172cb5bd86321e38cb6ce6682e8000000000083101561208457507172cb5bd86321e38cb6ce6682e800000000009050602b6121eb565b5073af298d050e4395d69670b12b7f41000000000000905060306121eb565b76010b46c6cdd6e3e0828f4db456ff0c8ea00000000000008310156120e4575076010b46c6cdd6e3e0828f4db456ff0c8ea0000000000000905060356121eb565b50780197d4df19d605767337e9f14d3eec8920e4000000000000009050603a6121eb565b7c03b58e88c75313ec9d329eaaa18fb92f75215b1710000000000000000083101561219e577a026e4d30eccc3215dd8f3157d27e23acbdcfe6800000000000000083101561217657507a026e4d30eccc3215dd8f3157d27e23acbdcfe680000000000000009050603f6121eb565b507c03b58e88c75313ec9d329eaaa18fb92f75215b17100000000000000000905060446121eb565b7e05a8e89d75252446eb5d5d5b1cc5edf20a1a059e10ca0000000000000000008310156121eb57507e05a8e89d75252446eb5d5d5b1cc5edf20a1a059e10ca000000000000000000905060495b81831161221f57600a820491507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff016121eb565b815f03612262576040517f05e51ecb000000000000000000000000000000000000000000000000000000008152600481018d9052602481018c90526044016108ce565b856122a3576040517f05e51ecb000000000000000000000000000000000000000000000000000000008152600481018f9052602481018e90526044016108ce565b807f8000000000000000000000000000000000000000000000000000000000000000018d126122d657808d039c50612349565b7f80000000000000000000000000000000000000000000000000000000000000009c90038c015f81131561234957807f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038b1361233657998a0199612349565b5f8099509950505050505050505061240f565b5f808e12801561235857505f8c135b15612395577f80000000000000000000000000000000000000000000000000000000000000008e01808d1361238d575f612391565b808d035b9150505b8b818f010397506123b28f8e6123ac888789613d3b565b8b613e20565b90995097505f8113156123fc57604c8113156123dc575f809a509a5050505050505050505061240f565b80600a0a89816123ee576123ee614974565b059850885f036123fc575f97505b5096985094965061240f95505050505050565b94509492505050565b5f61242585858585613200565b1495945050505050565b60608161243c8482613bbd565b90945092505f8061246d7f161bcca7119915b50764b4abe86529797775a5f171951000000000000000000087614b8f565b1561249d57507f161bcca7119915b50764b4abe86529797775a5f17195100000000000000000009050604c6124c4565b507f0235fadd81c2822bb3f07877973d50f28bf22a31be8ee80000000000000000009050604b5b5f6124cf8388614b8f565b90505f6124dc8489614bf6565b90505f808312156124f6575060016124f383614c09565b92505b5f82121561250d5750600161250a82614c09565b91505b60408051602081019091525f81528215612616575f8061252e600a89614c39565b90505b61253b8186614b8f565b5f036125605761254c600a82614c39565b90508161255881614c4c565b925050612531565b60408051602081019091525f8082525b838110156125c157816040516020016125899190614c9a565b604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08184030181529190529150600101612570565b505b6125ce600a87614bf6565b5f036125e6576125df600a87614b8f565b95506125c3565b806125f0876141c8565b604051602001612601929190614cd2565b60405160208183030381529060405293505050505b5f612620856141c8565b90505f61262d878c6149f4565b9050637fffffff81138061266057507fffffffffffffffffffffffffffffffffffffffffffffffffffffffff8000000081125b1561269a576040517fe44c72b0000000000000000000000000000000000000000000000000000000008152600481018a90526024016108ce565b5f81156126ce576126aa826141c8565b6040516020016126ba9190614d14565b6040516020818303038152906040526126de565b60405180602001604052805f8152505b90505f856126fa5760405180602001604052805f815250612731565b6040518060400160405280600181526020017f2d000000000000000000000000000000000000000000000000000000000000008152505b90508084868460405160200161274a9493929190614d45565b6040516020818303038152906040529b50505050505050505050505092915050565b60606103e882138061278757506127846103e8614c09565b82125b156127c1576040517fe44c72b0000000000000000000000000000000000000000000000000000000008152600481018390526024016108ce565b5f8084129081156127dc576127d585614c09565b90506127df565b50835b5f8413156128a2578360448110612825576040517fe44c72b0000000000000000000000000000000000000000000000000000000008152600481018690526024016108ce565b7b7fffffffffffffffffffffffffffffffffffffffffffffffffffffff5f5b8281101561286157612857600a83614c39565b9150600101612844565b508083111561289f576040517fe44c72b0000000000000000000000000000000000000000000000000000000008152600481018790526024016108ce565b50505b5f6128ac82614254565b80519091505f5b818110801561292f575082816128ca600185614d65565b6128d49190614d65565b815181106128e4576128e4614d78565b6020910101517fff00000000000000000000000000000000000000000000000000000000000000167f3000000000000000000000000000000000000000000000000000000000000000145b15612946578061293e81614c4c565b9150506128b3565b5f6129518284614d65565b90505f61295e838a6149f4565b90505f8761297a5760405180602001604052805f8152506129b1565b6040518060400160405280600181526020017f2d000000000000000000000000000000000000000000000000000000000000008152505b90505f8212612b2b57815f6129c68286614da5565b67ffffffffffffffff8111156129de576129de614855565b6040519080825280601f01601f191660200182016040528015612a08576020820181803683370190505b5090505f5b85811015612a7a57888181518110612a2757612a27614d78565b602001015160f81c60f81b828281518110612a4457612a44614d78565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a905350600101612a0d565b505f5b82811015612af7577f300000000000000000000000000000000000000000000000000000000000000082612ab18389614da5565b81518110612ac157612ac1614d78565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a905350600101612a7d565b508281604051602001612b0b929190614db8565b6040516020818303038152906040529a5050505050505050505050610684565b5f612b3583614c09565b905080841115612d4c575f612b4a8286614d65565b90505f612b58866001614da5565b67ffffffffffffffff811115612b7057612b70614855565b6040519080825280601f01601f191660200182016040528015612b9a576020820181803683370190505b5090505f5b82811015612c0c57898181518110612bb957612bb9614d78565b602001015160f81c60f81b828281518110612bd657612bd6614d78565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a905350600101612b9f565b507f2e00000000000000000000000000000000000000000000000000000000000000818381518110612c4057612c40614d78565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a9053505f5b83811015612d175789612c838285614da5565b81518110612c9357612c93614d78565b01602001517fff00000000000000000000000000000000000000000000000000000000000000168282612cc7866001614da5565b612cd19190614da5565b81518110612ce157612ce1614d78565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a905350600101612c70565b508381604051602001612d2b929190614db8565b6040516020818303038152906040529b505050505050505050505050610684565b5f612d578583614d65565b90505f85612d66836002614da5565b612d709190614da5565b67ffffffffffffffff811115612d8857612d88614855565b6040519080825280601f01601f191660200182016040528015612db2576020820181803683370190505b5090507f3000000000000000000000000000000000000000000000000000000000000000815f81518110612de857612de8614d78565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a9053507f2e0000000000000000000000000000000000000000000000000000000000000081600181518110612e4a57612e4a614d78565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a9053505f5b82811015612ef5577f300000000000000000000000000000000000000000000000000000000000000082612eaf836002614da5565b81518110612ebf57612ebf614d78565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a905350600101612e7a565b505f5b86811015612d1757898181518110612f1257612f12614d78565b01602001517fff00000000000000000000000000000000000000000000000000000000000000168282612f46866002614da5565b612f509190614da5565b81518110612f6057612f60614d78565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a905350600101612ef8565b5f805f805f612fa5878761391c565b92509250925080612fec576040517fc471796600000000000000000000000000000000000000000000000000000000815260048101849052602481018390526044016108ce565b50909590945092505050565b5f805f6130058585613816565b915091508061149e576040517f22c9f7bb00000000000000000000000000000000000000000000000000000000815260048101869052602481018590526044016108ce565b5f8061305684846132d4565b9094509250613067868686866130d0565b9150915094509492505050565b5f805f6130828686866114a6565b91509150806130c7576040517f05e4767800000000000000000000000000000000000000000000000000000000815260048101879052602481018690526044016108ce565b50949350505050565b5f80851584151780156130fc57865f036130f0578484925092505061240f565b8686925092505061240f565b6131068787613bbd565b90975095506131158585613bbd565b909550935085841315613129579395929492935b838603604c81111561314257878793509350505061240f565b80600a0a868161315457613154614974565b0595505086850180881860ff90811c151589881890911c151680156131ef57877f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff036131d6576040517fd556b111000000000000000000000000000000000000000000000000000000008152600481018a9052602481018990526044016108ce565b600a9687900596909805860197600197909701966131f3565b8198505b5096979596505050505050565b5f8085158415178187128286121817858414178015613225578685925092505061240f565b505f85841315613239575092949193919260015b8386035f8112604c821317801561326c57821561325e575f899450945050505061240f565b885f9450945050505061240f565b600a82900a8981028a82828161328457613284614974565b05146132b05784156132a0575f8b96509650505050505061240f565b8a5f96509650505050505061240f565b84156132c557889650945061240f9350505050565b955087945061240f9350505050565b5f807f8000000000000000000000000000000000000000000000000000000000000000840361336d577f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8303613360576040517fd556b11100000000000000000000000000000000000000000000000000000000815260048101859052602481018490526044016108ce565b600a840593508260010192505b50505f9190910391565b5f82818061338c838665200000000000614310565b925085831415836133a681886703ff000000000000614310565b94508085036133e057507f34bd20690000000000000000000000000000000000000000000000000000000094505f925082915061380d9050565b5f806133ec8a88614339565b90925090507fffffffff0000000000000000000000000000000000000000000000000000000082161561342a575095505f935083925061380d915050565b86519095506540000000000060015f9290921a9190911b1615158887101691505080156136b957506001909301925f8461346d81896703ff000000000000614310565b95508086036134a857507f7bfa48af0000000000000000000000000000000000000000000000000000000095505f935083925061380d915050565b855b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81018051908a1160015f9290921a9190911b660100000000000016151516600103613517577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff016134aa565b81811461356e575f8061352a8484614339565b90925090507fffffffff0000000000000000000000000000000000000000000000000000000082161561356a575097505f955085945061380d9350505050565b9350505b5f8312156135a957507f7bfa48af0000000000000000000000000000000000000000000000000000000096505f945084935061380d92505050565b83156135b557825f0392505b80820394505f8513156135f557507f013b2aaa0000000000000000000000000000000000000000000000000000000096505f945084935061380d92505050565b855f03613604578295506136b6565b5f859003604381111561364557507f32b8b8be0000000000000000000000000000000000000000000000000000000097505f955085945061380d9350505050565b600a0a8681025f8883838161365c5761365c614974565b0514159050601b82900b82141581806136725750805b156136ae57507f32b8b8be000000000000000000000000000000000000000000000000000000009a505f985088975061380d9650505050505050565b505084019650505b50505b84516c2000000020000000000000000060015f9290921a9190911b1615158786101680156137fe57600190950194856136f9818a65200000000000614310565b96508661370f818b6703ff000000000000614310565b975080880361374c57507f013b2aaa0000000000000000000000000000000000000000000000000000000097505f955085945061380d9350505050565b505f80613759838a614339565b90925090507fffffffff00000000000000000000000000000000000000000000000000000000821615613799575097505f955085945061380d9350505050565b9250508482015f831380156137ad57508581125b806137c157505f831280156137c157508581135b156137fa57507fd556b1110000000000000000000000000000000000000000000000000000000097505f955085945061380d9350505050565b9450505b845f03613809575f93505b5050505b92959194509250565b5f601b83900b831483838261387a577d90e40fbeea1d3a4abc8955e946fe31cdcf66f634e100000000000000000086051561385a57620186a0860595506005850194505b8586601b0b1461387557600a8605955084600101945061385a565b613890565b855f0361389057505f9250600191506106ad9050565b848560030b146138ec575f8512156138b057505f92508291506106ad9050565b6040517fd556b11100000000000000000000000000000000000000000000000000000000815260048101839052602481018290526044016108ce565b50507bffffffffffffffffffffffffffffffffffffffffffffffffffffffff841660e084901b1791509250929050565b5f808060ff841681037f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff86111561396757600a860460018201600a88065f1493509350935050613971565b8593509150600190505b9250925092565b5f805f837ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc036139b057508391505f90506001613971565b7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc841215613a3e577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb0841215613a0f57505f9150508215156001613971565b5f846004015f03600a0a90505f818781613a2b57613a2b614974565b0594505080840286141592509050613971565b5f8412613a5357505f91508190506001613971565b50505060048101600a0a82025f6001613971565b5f80806064613a79600a612328614c39565b613a86600a612328614c39565b613a91906002614dc6565b613a9c906001614da5565b613aa69190614da5565b613ab09190614da5565b9050613af4565b5f8052600280600a8504028301601e833c5f80516107d0840193505f80526001600a8606600a6064880402018501601f853c5f5101949350505050565b613aff858288613ab7565b92508315611b4d57613b15600186018288613ab7565b915050935093915050565b5f80888803613b33575083905081613bb1565b5f805f80613b438c8b8f8d61304a565b915091505f80613b558a8a8d8c61304a565b91509150613b6584848484611cd5565b8096508197505050505050505f80613b7f8b8b8f8d61304a565b915091505f80613b9186868686611df4565b915091505f80613ba384848f8e6130d0565b909a50985050505050505050505b97509795505050505050565b5f805f805f613bcc8787613f27565b92509250925080612fec576040517f05e51ecb00000000000000000000000000000000000000000000000000000000815260048101889052602481018790526044016108ce565b5f80613c22600a612328614c39565b613c2d906002614dc6565b613c38906001614da5565b90505f613c48600a612328614c39565b90506002600a8504026001015f8052600281601e883c505f51617fff81169350618000811615613c7757918101915b505f80526001600a8506600a6064870402018301601f873c50505f510192915050565b5f80821215613cf7577f80000000000000000000000000000000000000000000000000000000000000008203613cf157507f8000000000000000000000000000000000000000000000000000000000000000919050565b505f0390565b5090565b919050565b5f807fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff83850993909202808410938190039390930393915050565b5f805f613d488686613d00565b91509150815f03613d6c57838181613d6257613d62614974565b0492505050610695565b838210613db6576040517f6c59da120000000000000000000000000000000000000000000000000000000081526004810187905260248101869052604481018590526064016108ce565b5f84868809600186198101871696879004966002600389028118808a02820302808a02820302808a02820302808a02820302808a02820302808a02909103025f82900382900490920185841190960395909502919093039390930492909217029150509392505050565b5f805f8587181215613eea577f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff841115613ed757613e7f7f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6001614da5565b8403613eaf57507f800000000000000000000000000000000000000000000000000000000000000090508161240f565b613eba600a85614c39565b613ec390614c09565b613ece8460016149f4565b9150915061240f565b613ee084614c09565b839150915061240f565b7f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff841115613f1d57613ec3600a85614c39565b508290508161240f565b5f805f845f03613f3f57505f91508190506001613971565b7f0235fadd81c2822bb3f07877973d50f28bf22a31be8ee800000000000000000085055f03614153576f4b3b4ca85a86c47a098a2240000000008505158015613fa857507f80000000000000000000000000000000000000000000000000000000000000268412155b15613fc9576f4b3b4ca85a86c47a098a224000000000850294506026840393505b7728c87cb5c89a2571ebfdcb54864ada834a00000000000000850515801561401157507f80000000000000000000000000000000000000000000000000000000000000138412155b1561402a57678ac7230489e80000850294506013840393505b7b097edd871cfda3a5697758bf0e3cbb5ac5741c640000000000000000850515801561407657507f800000000000000000000000000000000000000000000000000000000000000a8412155b1561408c576402540be40085029450600a840393505b7e3899162693736ac531a5a58f1fbb4b746504382ca7e400000000000000000085051580156140db57507f80000000000000000000000000000000000000000000000000000000000000028412155b156140f15760648502945060028403935061408c565b7f0235fadd81c2822bb3f07877973d50f28bf22a31be8ee8000000000000000000850515801561414157507f80000000000000000000000000000000000000000000000000000000000000018412155b1561415357600a850294506001840393505b600a8086029081058614801561418957507f80000000000000000000000000000000000000000000000000000000000000018512155b15614198578095506001850394505b50939492935050507f0235fadd81c2822bb3f07877973d50f28bf22a31be8ee80000000000000000008305151590565b60605f82126141e55760405180602001604052805f81525061421c565b6040518060400160405280600181526020017f2d000000000000000000000000000000000000000000000000000000000000008152505b61422d60ff84901d80850118614254565b60405160200161423e929190614db8565b6040516020818303038152906040529050919050565b60605f61426083614463565b60010190505f8167ffffffffffffffff81111561427f5761427f614855565b6040519080825280601f01601f1916602001820160405280156142a9576020820181803683370190505b5090508181016020015b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff017f3031323334353637383961626364656600000000000000000000000000000000600a86061a8153600a85049450846142b357509392505050565b5f5b5f82600186515f1a1b1611838510161561433157600184019350614312565b509192915050565b81515f90819065200000000000600191831a9190911b161515838510168085019082806143668488614544565b90925090507fffffffff000000000000000000000000000000000000000000000000000000008216156143a1575093505f92506106ad915050565b825f03614404577f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81116143d5575f6143f7565b7f0fdc2635000000000000000000000000000000000000000000000000000000005b955093506106ad92505050565b7f80000000000000000000000000000000000000000000000000000000000000008111614431575f614453565b7f0fdc2635000000000000000000000000000000000000000000000000000000005b95505f0393505050509250929050565b5f807a184f03e93ff9f4daa797ed6e38ed64bf6a1f01000000000000000083106144ab577a184f03e93ff9f4daa797ed6e38ed64bf6a1f010000000000000000830492506040015b6d04ee2d6d415b85acef810000000083106144d7576d04ee2d6d415b85acef8100000000830492506020015b662386f26fc1000083106144f557662386f26fc10000830492506010015b6305f5e100831061450d576305f5e100830492506008015b612710831061452157612710830492506004015b60648310614533576064830492506002015b600a83106106845760010192915050565b5f8082841061457757507f34bd20690000000000000000000000000000000000000000000000000000000090505f6106ad565b835f036145b0576040517fda6966d400000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b60305f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8501815b8782101580156145e85750604d83105b1561462b57815160018401937fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff90930192600a0a5f9190911a85900302016145d8565b8782106147515781515f1a849003600181111561467357507f0fdc26350000000000000000000000000000000000000000000000000000000095505f94506106ad9350505050565b600a84900a81028281018311156146b657507f0fdc26350000000000000000000000000000000000000000000000000000000096505f95506106ad945050505050565b9190910190507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff909101905b8782106147515781515f1a6030811461472657507f0fdc26350000000000000000000000000000000000000000000000000000000095505f94506106ad9350505050565b507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff909101906146e2565b5f9890975095505050505050565b5f6020828403121561476f575f80fd5b5035919050565b5f8060408385031215614787575f80fd5b50508035926020909101359150565b803560ff81168114613cfb575f80fd5b5f80604083850312156147b7575f80fd5b823591506147c760208401614796565b90509250929050565b5f80604083850312156147e1575f80fd5b82359150602083013580151581146147f7575f80fd5b809150509250929050565b602081525f82518060208401528060208501604085015e5f6040828501015260407fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f83011684010191505092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b5f60208284031215614892575f80fd5b813567ffffffffffffffff808211156148a9575f80fd5b818401915084601f8301126148bc575f80fd5b8135818111156148ce576148ce614855565b604051601f82017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0908116603f0116810190838211818310171561491457614914614855565b8160405282815287602084870101111561492c575f80fd5b826020860160208301375f928101602001929092525095945050505050565b5f805f6060848603121561495d575f80fd5b505081359360208301359350604090920135919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b8181035f8312801583831316838312821617156149ed576149ed6149a1565b5092915050565b8082018281125f831280158216821582161715614a1357614a136149a1565b505092915050565b8082025f82127f800000000000000000000000000000000000000000000000000000000000000084141615614a5257614a526149a1565b8181058314821517610684576106846149a1565b600181815b80851115614abf57817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04821115614aa557614aa56149a1565b80851615614ab257918102915b93841c9390800290614a6b565b509250929050565b5f82614ad557506001610684565b81614ae157505f610684565b8160018114614af75760028114614b0157614b1d565b6001915050610684565b60ff841115614b1257614b126149a1565b50506001821b610684565b5060208310610133831016604e8410600b8410161715614b40575081810a610684565b614b4a8383614a66565b807fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04821115614b7c57614b7c6149a1565b029392505050565b5f6106958383614ac7565b5f82614b9d57614b9d614974565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff83147f800000000000000000000000000000000000000000000000000000000000000083141615614bf157614bf16149a1565b500590565b5f82614c0457614c04614974565b500790565b5f7f80000000000000000000000000000000000000000000000000000000000000008203613cf157613cf16149a1565b5f82614c4757614c47614974565b500490565b5f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8203614c7c57614c7c6149a1565b5060010190565b5f81518060208401855e5f93019283525090919050565b5f614ca58284614c83565b7f300000000000000000000000000000000000000000000000000000000000000081526001019392505050565b7f2e0000000000000000000000000000000000000000000000000000000000000081525f614d0c614d066001840186614c83565b84614c83565b949350505050565b7f650000000000000000000000000000000000000000000000000000000000000081525f6106956001830184614c83565b5f610a29614d06614d5f614d59858a614c83565b88614c83565b86614c83565b81810381811115610684576106846149a1565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b80820180821115610684576106846149a1565b5f614d0c614d068386614c83565b8082028115828204841417610684576106846149a156" + "object": "0x6080604052348015600e575f80fd5b5060156019565b60b8565b73c51a14251b0dcf0ae24a96b7153991378938f5f53f7f2573004ac3a9ee7fc8d73654d76386f1b6b99e34cdf86a689c4691e47143420f811460b557604051630912d0ff60e31b815273c51a14251b0dcf0ae24a96b7153991378938f5f560048201527f2573004ac3a9ee7fc8d73654d76386f1b6b99e34cdf86a689c4691e47143420f60248201526044810182905260640160405180910390fd5b50565b614e07806100c55f395ff3fe608060405234801561000f575f80fd5b506004361061029d575f3560e01c806381f7e2f511610171578063cde72ef3116100d2578063dd64691711610088578063e5526ecd1161006e578063e5526ecd1461062e578063e75f991f14610641578063ffae15ba14610654575f80fd5b8063dd64691714610608578063e0db58881461061b575f80fd5b8063d1de592a116100b8578063d1de592a146105bb578063d35273a7146105ce578063d3d6ffa8146105f5575f80fd5b8063cde72ef314610582578063d102b4d3146105a8575f80fd5b8063a19684b711610127578063bc1b392d1161010d578063bc1b392d1461050b578063bc62d8d814610511578063cb09682b1461055c575f80fd5b8063a19684b7146104d2578063a90d041a146104f8575f80fd5b806396ce1ec71161015757806396ce1ec7146104885780639b4afd991461049b578063a100a3d9146104bf575f80fd5b806381f7e2f5146104625780638dc2980714610475575f80fd5b80633447c0301161021b5780635ca0e7a4116101d1578063719cd99d116101b7578063719cd99d1461042957806373bfb2831461043c57806381a822721461044f575f80fd5b80635ca0e7a4146103f0578063602c35fc14610403575f80fd5b80633b3bd868116102015780633b3bd868146103b757806341aa0080146103ca5780635b23771d146103dd575f80fd5b80633447c03014610374578063371493ce14610397575f80fd5b80631ee62f111161027057806328fa1f011161025657806328fa1f011461033b5780633004fa411461034e5780633029740014610361575f80fd5b80631ee62f11146103155780632538835014610328575f80fd5b806304327dc5146102a1578063078b665b146102c75780630b6429bc146102da578063146e82ad14610302575b5f80fd5b6102b46102af366004614789565b61067a565b6040519081526020015b60405180910390f35b6102b46102d53660046147a0565b61068a565b6102ed6102e83660046147d0565b61069c565b604080519283529015156020830152016102be565b6102b4610310366004614789565b6106b4565b6102b4610323366004614789565b6106d3565b6102b4610336366004614789565b6106f2565b6102b4610349366004614789565b610711565b6102b461035c3660046147a0565b61071b565b6102b461036f3660046147a0565b61073b565b6103876103823660046147a0565b610746565b60405190151581526020016102be565b6103aa6103a53660046147fa565b610751565b6040516102be919061482c565b6102b46103c53660046147d0565b61075d565b6102b46103d83660046147a0565b610768565b6102b46103eb3660046147d0565b610773565b6102b46103fe366004614789565b61077e565b7f80000000ffffffffffffffffffffffffffffffffffffffffffffffffffffffff6102b4565b6102b4610437366004614789565b610788565b61038761044a3660046147a0565b610792565b6102b461045d366004614789565b61079d565b6103876104703660046147a0565b6107a7565b6103876104833660046147a0565b6107b2565b6102b46104963660046147a0565b6107bd565b6102b47c090000000000000000000000000000000000000000000000000000000181565b6103aa6104cd366004614789565b6107c8565b7f80000000000000000000000000000000000000000000000000000000000000016102b4565b6102b46105063660046147a0565b610812565b5f6102b4565b61052461051f3660046148ac565b61081d565b604080517fffffffff0000000000000000000000000000000000000000000000000000000090931683526020830191909152016102be565b7f7fffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffff6102b4565b7f7fffffff800000000000000000000000000000000000000000000000000000006102b4565b6103876105b63660046147a0565b610836565b6102b46105c93660046147a0565b610841565b6102b47ffffffffc0000000000000000000000000000000000000000000000000000000181565b6102b4610603366004614789565b61084c565b610387610616366004614789565b610856565b6102b4610629366004614789565b61087c565b6103aa61063c366004614975565b610886565b6102ed61064f3660046147d0565b61090f565b7fffffffbe19cfc6ef4f44cf88f14500d013df534fcaad48fca1d5ca47bea26fcc6102b4565b5f6106848261091b565b92915050565b5f610695838361095d565b9392505050565b5f806106a88484610979565b915091505b9250929050565b5f6106848273c51a14251b0dcf0ae24a96b7153991378938f5f56109ba565b5f6106848273c51a14251b0dcf0ae24a96b7153991378938f5f56109e6565b5f6106848273c51a14251b0dcf0ae24a96b7153991378938f5f5610a33565b5f61068482610a66565b5f610695838373c51a14251b0dcf0ae24a96b7153991378938f5f5610aa7565b5f6106958383610d01565b5f6106958383610d63565b60606106958383610db1565b5f6106958383610e44565b5f6106958383610e5f565b5f6106958383610ea4565b5f61068482610ed7565b5f61068482610f8d565b5f6106958383611039565b5f61068482611089565b5f61069583836110ce565b5f610695838361111e565b5f610695838361116d565b6060610684827ffffffffc000000000000000000000000000000000000000000000000000000017c0900000000000000000000000000000000000000000000000000000001610886565b5f61069583836111b2565b5f805f8061082a856111bd565b90969095509350505050565b5f61069583836112ab565b5f61069583836112fa565b5f6106848261133f565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff821615610684565b5f61068482611371565b606061089283836112ab565b6108d7576040517f3be5bf9400000000000000000000000000000000000000000000000000000000815260048101849052602481018390526044015b60405180910390fd5b5f6108e185611089565b9050610906856108f183876112ab565b806109015750610901838661111e565b610db1565b95945050505050565b5f806106a884846113b2565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8216601b0b60e083901d61094d82826113f2565b90925090505f6109068383611440565b5f610968838361111e565b6109725781610695565b5090919050565b5f807bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8416601b0b60e085901d6109ad8282876114a6565b9350935050509250929050565b5f610695837fffffffff0000000000000000000000000000000000000000000000000000000584610aa7565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8316601b0b60e084901d610a198483836116b0565b90925090505f610a298383611440565b9695505050505050565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8316601b0b60e084901d610a19848383611821565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8216601b0b60e083901d82610a998383611b56565b9150505f610a298284611440565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff848116601b0b9060e086901d908516610ae45750600191506106959050565b5f8213610b7d57815f03610b4157610afc855f6112ab565b15610b36576040517f8be82972000000000000000000000000000000000000000000000000000000008152600481018690526024016108ce565b505f91506106959050565b6040517fcceba0f100000000000000000000000000000000000000000000000000000000815260048101839052602481018290526044016108ce565b610b88856001610d63565b8015610b995750610b99865f61111e565b15610ba8578592505050610695565b610bb2855f6112ab565b15610bdb57610bd2610bc38761091b565b610bcc8761133f565b86610aa7565b92505050610695565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8516601b0b60e086901d5f80610c0e8484611b56565b915091505f610c1e83855f611bbe565b905060015f8080610c558f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8116601b0b9160e09190911d90565b915091505b60018510610c9c5784600116600103610c7f57610c7984848484611cd5565b90945092505b600185901c9450610c9282828484611cd5565b9092509050610c5a565b5f80610ca98f8e8e611821565b91509150610cb982828a8d611cd5565b9092509050610cc98f83836116b0565b9092509050610cda82828888611cd5565b90925090505f610cea8383611440565b9e5050505050505050505050505050509392505050565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d8480610d4686868686611df4565b915091505f610d558383611440565b9a9950505050505050505050565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d610da684848484612418565b979650505050505050565b60607bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8316601b0b60e084901d5f829003610e21576040518060400160405280600181526020017f300000000000000000000000000000000000000000000000000000000000000081525092505050610684565b8315610e3a57610e31828261242f565b92505050610684565b610906828261276c565b5f805f610e518585612f96565b915091506109068282612ff8565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d8480610d468686868661304a565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8316601b0b60e084901d610906828286613074565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8216601b0b60e083901d828112610f0e57509192915050565b5f80610f1a8484611b56565b915091505f84128015610f2c57508015155b15610f8257610f7d82847f161bcca7119915b50764b4abe86529797775a5f17195100000000000000000007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb461304a565b935091505b5f610da68385611440565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8216601b0b60e083901d828112610fc457509192915050565b5f80610fd08484611b56565b91509150805f03610fe5575093949350505050565b5f811315610f8257610f7d82847f161bcca7119915b50764b4abe86529797775a5f17195100000000000000000007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb46130d0565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d61107c84848484613200565b1315979650505050505050565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8216601b0b60e083901d828212156110c35761094d82826132d4565b5f6109068383611440565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d61111184848484613200565b1215979650505050505050565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d61116184848484613200565b12979650505050505050565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d8480610d4686868686611cd5565b5f61096883836112ab565b80515f908190602084810191850101828080806111da8686613377565b929650909450925090507fffffffff0000000000000000000000000000000000000000000000000000000084165f0361129c5784830361126c575f806112208484613840565b915091508061125b57507f32b8b8be000000000000000000000000000000000000000000000000000000009a5f9a5098505050505050505050565b505f9a909950975050505050505050565b507fad384e8700000000000000000000000000000000000000000000000000000000985f98509650505050505050565b5091975f975095505050505050565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d6112ee84848484613200565b13979650505050505050565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d8480610d46868686866130d0565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8216601b0b60e083901d61094d82826132d4565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8216601b0b60e083901d826113a48383611b56565b5090505f610a298284611440565b5f805f805f6113c18787613946565b9250925092505f806113d38585613840565b91509150818380156113e25750815b9650965050505050509250929050565b5f806106a87f161bcca7119915b50764b4abe86529797775a5f17195100000000000000000007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb48686611df4565b5f805f61144d8585613840565b915091508015801561145d575081155b1561149e576040517f8eba4d0700000000000000000000000000000000000000000000000000000000815260048101869052602481018590526044016108ce565b509392505050565b5f805f8512156114ec576040517f4a7d166b00000000000000000000000000000000000000000000000000000000815260048101869052602481018590526044016108ce565b845f036114fe57505f905060016116a8565b8460ff8416850185811215611549576040517fd556b11100000000000000000000000000000000000000000000000000000000815260048101889052602481018790526044016108ce565b5f805f8312156115b3577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb383121561158a575f8095509550505050506116a8565b825f03600a0a91508184816115a1576115a161499e565b04955050840290911491506116a89050565b5f83131561169d57604d831315611609576040517fc849483b000000000000000000000000000000000000000000000000000000008152600481018a90526024810189905260ff881660448201526064016108ce565b82600a0a9150817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8161163e5761163e61499e565b0484111561168b576040517fc849483b000000000000000000000000000000000000000000000000000000008152600481018a90526024810189905260ff881660448201526064016108ce565b50919091029250600191506116a89050565b509193506001925050505b935093915050565b5f805f8412156116ec576116c484846132d4565b90945092506116d48585856116b0565b90945092506116e384846113f2565b915091506116a8565b5f806116f88686611b56565b9092509050845f808061170b85856139a2565b9194509250905061270d6127106117236001826149f8565b851461173a576117348d8686613a91565b90925090505b83156117c5575f61174c866001614a1e565b90505b8084858302816117615761176161499e565b051461177857600a84059350600a8805975061174f565b6117b96117858588614a45565b896117908785614a45565b8f87877ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc613b4a565b909d509b506117ec9050565b819b507ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc9a505b5050505050866117fd84835f611bbe565b611808886001614a1e565b6118129190614a1e565b94509450505050935093915050565b5f80838361182f8282613be7565b90965094505f86136118b057855f03611874576040517f561fc7b500000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6040517f5d3fd4db00000000000000000000000000000000000000000000000000000000815260048101839052602481018290526044016108ce565b5050837f161bcca7119915b50764b4abe86529797775a5f1719510000000000000000000036118ee576118e483604c614a1e565b5f915091506116a8565b7f161bcca7119915b50764b4abe86529797775a5f17195100000000000000000008412158061193d577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb561195f565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb45b5f0b8412611b1a575f805f805f8561197857604b61197b565b604c5b611985908a614a1e565b90505f80876119b2577d90e40fbeea1d3a4abc8955e946fe31cdcf66f634e10000000000000000006119d3565b7e05a8e89d75252446eb5d5d5b1cc5edf20a1a059e10ca0000000000000000005b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff169050808c81611a0557611a0561499e565b05818102955090850193507ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc18019050611a3e8c82613c3d565b7d90e40fbeea1d3a4abc8955e946fe31cdcf66f634e10000000000000000000295508594508a8414611aca576123278114611aa557611a808c82600101613c3d565b7d90e40fbeea1d3a4abc8955e946fe31cdcf66f634e100000000000000000002611ac7565b7f161bcca7119915b50764b4abe86529797775a5f17195100000000000000000005b94505b50611afa838b848c89897fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb4613b4a565b909a509850611b0b8a8a835f6130d0565b975097505050505050506116a8565b611b2485856113f2565b9095509350611b34868686611821565b9095509350611b4385856132d4565b92509250506116a8565b50935093915050565b5f805f8312611b6957508290505f6106ad565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb4831215611b9b57505f9050826106ad565b5f839003600a0a808581611bb157611bb161499e565b0794859003959350505050565b5f818303611bcd575082610695565b82821315611c1057828203604c811380611be757505f8113155b15611bf5575f915050610695565b80600a0a8581611c0757611c0761499e565b05915050610695565b818303604c811380611c2257505f8113155b15611c6a576040517f1d5d6d100000000000000000000000000000000000000000000000000000000081526004810186905260248101859052604481018490526064016108ce565b600a81900a85810286828281611c8257611c8261499e565b0514611ccb576040517f1d5d6d100000000000000000000000000000000000000000000000000000000081526004810188905260248101879052604481018690526064016108ce565b9250610695915050565b5f8085158415178015611ced575f92505f9150611dea565b611cf78487614a1e565b91505f611d0388613cc4565b90505f611d0f87613cc4565b90505f611d1c8383613d2a565b5090505f6f0785ee10d5da46d900f436a000000000821115611d51576f0785ee10d5da46d900f436a000000000820491506025015b670de0b6b3a7640000821115611d7257670de0b6b3a7640000820491506012015b633b9aca00821115611d8b57633b9aca00820491506009015b612710821115611da057612710820491506004015b8115611db457600a82049150600101611da0565b611dbe8187614a1e565b9550611de08b8a611dda8787611dd587600a614bae565b613d65565b89613e4a565b9097509550505050505b5094509492505050565b5f80835f03611e39576040517f7a97930f00000000000000000000000000000000000000000000000000000000815260048101879052602481018690526044016108ce565b855f03611e4a57505f90508061240f565b5f805f80611e588a8a613f51565b919b5099509150611e698888613f51565b919950975090505f611e7a8b613cc4565b90505f611e868a613cc4565b90507f161bcca7119915b50764b4abe86529797775a5f1719510000000000000000000604c818310156122a3578415611ee457507f0235fadd81c2822bb3f07877973d50f28bf22a31be8ee80000000000000000009050604b612262565b6f4b3b4ca85a86c47a098a22400000000083101561201057678ac7230489e80000831015611f74576402540be400831015611f4257620186a0831015611f325750620186a0905060056121eb565b506402540be4009050600a6121eb565b655af3107a4000831015611f615750655af3107a40009050600e6121eb565b50678ac7230489e80000905060136121eb565b6b204fce5e3e25026110000000831015611fc65769152d02c7e14af6800000831015611faf575069152d02c7e14af6800000905060176121eb565b506b204fce5e3e250261100000009050601c6121eb565b6d314dc6448d9338c15b0a00000000831015611ff557506d314dc6448d9338c15b0a00000000905060216121eb565b506f4b3b4ca85a86c47a098a224000000000905060266121eb565b780197d4df19d605767337e9f14d3eec8920e4000000000000008310156121085773af298d050e4395d69670b12b7f410000000000008310156120a3577172cb5bd86321e38cb6ce6682e8000000000083101561208457507172cb5bd86321e38cb6ce6682e800000000009050602b6121eb565b5073af298d050e4395d69670b12b7f41000000000000905060306121eb565b76010b46c6cdd6e3e0828f4db456ff0c8ea00000000000008310156120e4575076010b46c6cdd6e3e0828f4db456ff0c8ea0000000000000905060356121eb565b50780197d4df19d605767337e9f14d3eec8920e4000000000000009050603a6121eb565b7c03b58e88c75313ec9d329eaaa18fb92f75215b1710000000000000000083101561219e577a026e4d30eccc3215dd8f3157d27e23acbdcfe6800000000000000083101561217657507a026e4d30eccc3215dd8f3157d27e23acbdcfe680000000000000009050603f6121eb565b507c03b58e88c75313ec9d329eaaa18fb92f75215b17100000000000000000905060446121eb565b7e05a8e89d75252446eb5d5d5b1cc5edf20a1a059e10ca0000000000000000008310156121eb57507e05a8e89d75252446eb5d5d5b1cc5edf20a1a059e10ca000000000000000000905060495b81831161221f57600a820491507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff016121eb565b815f03612262576040517f05e51ecb000000000000000000000000000000000000000000000000000000008152600481018d9052602481018c90526044016108ce565b856122a3576040517f05e51ecb000000000000000000000000000000000000000000000000000000008152600481018f9052602481018e90526044016108ce565b807f8000000000000000000000000000000000000000000000000000000000000000018d126122d657808d039c50612349565b7f80000000000000000000000000000000000000000000000000000000000000009c90038c015f81131561234957807f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038b1361233657998a0199612349565b5f8099509950505050505050505061240f565b5f808e12801561235857505f8c135b15612395577f80000000000000000000000000000000000000000000000000000000000000008e01808d1361238d575f612391565b808d035b9150505b8b818f010397506123b28f8e6123ac888789613d65565b8b613e4a565b90995097505f8113156123fc57604c8113156123dc575f809a509a5050505050505050505061240f565b80600a0a89816123ee576123ee61499e565b059850885f036123fc575f97505b5096985094965061240f95505050505050565b94509492505050565b5f61242585858585613200565b1495945050505050565b60608161243c8482613be7565b90945092505f8061246d7f161bcca7119915b50764b4abe86529797775a5f171951000000000000000000087614bb9565b1561249d57507f161bcca7119915b50764b4abe86529797775a5f17195100000000000000000009050604c6124c4565b507f0235fadd81c2822bb3f07877973d50f28bf22a31be8ee80000000000000000009050604b5b5f6124cf8388614bb9565b90505f6124dc8489614c20565b90505f808312156124f6575060016124f383614c33565b92505b5f82121561250d5750600161250a82614c33565b91505b60408051602081019091525f81528215612616575f8061252e600a89614c63565b90505b61253b8186614bb9565b5f036125605761254c600a82614c63565b90508161255881614c76565b925050612531565b60408051602081019091525f8082525b838110156125c157816040516020016125899190614cc4565b604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08184030181529190529150600101612570565b505b6125ce600a87614c20565b5f036125e6576125df600a87614bb9565b95506125c3565b806125f0876141f2565b604051602001612601929190614cfc565b60405160208183030381529060405293505050505b5f612620856141f2565b90505f61262d878c614a1e565b9050637fffffff81138061266057507fffffffffffffffffffffffffffffffffffffffffffffffffffffffff8000000081125b1561269a576040517fe44c72b0000000000000000000000000000000000000000000000000000000008152600481018a90526024016108ce565b5f81156126ce576126aa826141f2565b6040516020016126ba9190614d3e565b6040516020818303038152906040526126de565b60405180602001604052805f8152505b90505f856126fa5760405180602001604052805f815250612731565b6040518060400160405280600181526020017f2d000000000000000000000000000000000000000000000000000000000000008152505b90508084868460405160200161274a9493929190614d6f565b6040516020818303038152906040529b50505050505050505050505092915050565b60606103e882138061278757506127846103e8614c33565b82125b156127c1576040517fe44c72b0000000000000000000000000000000000000000000000000000000008152600481018390526024016108ce565b5f8084129081156127dc576127d585614c33565b90506127df565b50835b5f8413156128a2578360448110612825576040517fe44c72b0000000000000000000000000000000000000000000000000000000008152600481018690526024016108ce565b7b7fffffffffffffffffffffffffffffffffffffffffffffffffffffff5f5b8281101561286157612857600a83614c63565b9150600101612844565b508083111561289f576040517fe44c72b0000000000000000000000000000000000000000000000000000000008152600481018790526024016108ce565b50505b5f6128ac8261427e565b80519091505f5b818110801561292f575082816128ca600185614d8f565b6128d49190614d8f565b815181106128e4576128e4614da2565b6020910101517fff00000000000000000000000000000000000000000000000000000000000000167f3000000000000000000000000000000000000000000000000000000000000000145b15612946578061293e81614c76565b9150506128b3565b5f6129518284614d8f565b90505f61295e838a614a1e565b90505f8761297a5760405180602001604052805f8152506129b1565b6040518060400160405280600181526020017f2d000000000000000000000000000000000000000000000000000000000000008152505b90505f8212612b2b57815f6129c68286614dcf565b67ffffffffffffffff8111156129de576129de61487f565b6040519080825280601f01601f191660200182016040528015612a08576020820181803683370190505b5090505f5b85811015612a7a57888181518110612a2757612a27614da2565b602001015160f81c60f81b828281518110612a4457612a44614da2565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a905350600101612a0d565b505f5b82811015612af7577f300000000000000000000000000000000000000000000000000000000000000082612ab18389614dcf565b81518110612ac157612ac1614da2565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a905350600101612a7d565b508281604051602001612b0b929190614de2565b6040516020818303038152906040529a5050505050505050505050610684565b5f612b3583614c33565b905080841115612d4c575f612b4a8286614d8f565b90505f612b58866001614dcf565b67ffffffffffffffff811115612b7057612b7061487f565b6040519080825280601f01601f191660200182016040528015612b9a576020820181803683370190505b5090505f5b82811015612c0c57898181518110612bb957612bb9614da2565b602001015160f81c60f81b828281518110612bd657612bd6614da2565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a905350600101612b9f565b507f2e00000000000000000000000000000000000000000000000000000000000000818381518110612c4057612c40614da2565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a9053505f5b83811015612d175789612c838285614dcf565b81518110612c9357612c93614da2565b01602001517fff00000000000000000000000000000000000000000000000000000000000000168282612cc7866001614dcf565b612cd19190614dcf565b81518110612ce157612ce1614da2565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a905350600101612c70565b508381604051602001612d2b929190614de2565b6040516020818303038152906040529b505050505050505050505050610684565b5f612d578583614d8f565b90505f85612d66836002614dcf565b612d709190614dcf565b67ffffffffffffffff811115612d8857612d8861487f565b6040519080825280601f01601f191660200182016040528015612db2576020820181803683370190505b5090507f3000000000000000000000000000000000000000000000000000000000000000815f81518110612de857612de8614da2565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a9053507f2e0000000000000000000000000000000000000000000000000000000000000081600181518110612e4a57612e4a614da2565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a9053505f5b82811015612ef5577f300000000000000000000000000000000000000000000000000000000000000082612eaf836002614dcf565b81518110612ebf57612ebf614da2565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a905350600101612e7a565b505f5b86811015612d1757898181518110612f1257612f12614da2565b01602001517fff00000000000000000000000000000000000000000000000000000000000000168282612f46866002614dcf565b612f509190614dcf565b81518110612f6057612f60614da2565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a905350600101612ef8565b5f805f805f612fa58787613946565b92509250925080612fec576040517fc471796600000000000000000000000000000000000000000000000000000000815260048101849052602481018390526044016108ce565b50909590945092505050565b5f805f6130058585613840565b915091508061149e576040517f22c9f7bb00000000000000000000000000000000000000000000000000000000815260048101869052602481018590526044016108ce565b5f8061305684846132d4565b9094509250613067868686866130d0565b9150915094509492505050565b5f805f6130828686866114a6565b91509150806130c7576040517f05e4767800000000000000000000000000000000000000000000000000000000815260048101879052602481018690526044016108ce565b50949350505050565b5f80851584151780156130fc57865f036130f0578484925092505061240f565b8686925092505061240f565b6131068787613be7565b90975095506131158585613be7565b909550935085841315613129579395929492935b838603604c81111561314257878793509350505061240f565b80600a0a86816131545761315461499e565b0595505086850180881860ff90811c151589881890911c151680156131ef57877f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff036131d6576040517fd556b111000000000000000000000000000000000000000000000000000000008152600481018a9052602481018990526044016108ce565b600a9687900596909805860197600197909701966131f3565b8198505b5096979596505050505050565b5f8085158415178187128286121817858414178015613225578685925092505061240f565b505f85841315613239575092949193919260015b8386035f8112604c821317801561326c57821561325e575f899450945050505061240f565b885f9450945050505061240f565b600a82900a8981028a8282816132845761328461499e565b05146132b05784156132a0575f8b96509650505050505061240f565b8a5f96509650505050505061240f565b84156132c557889650945061240f9350505050565b955087945061240f9350505050565b5f807f8000000000000000000000000000000000000000000000000000000000000000840361336d577f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8303613360576040517fd556b11100000000000000000000000000000000000000000000000000000000815260048101859052602481018490526044016108ce565b600a840593508260010192505b50505f9190910391565b5f82818061338c83866520000000000061433a565b925085831415836133a681886703ff00000000000061433a565b94508085036133e057507f34bd20690000000000000000000000000000000000000000000000000000000094505f92508291506138379050565b5f806133ec8a88614363565b90925090507fffffffff0000000000000000000000000000000000000000000000000000000082161561342a575095505f9350839250613837915050565b86519095506540000000000060015f9290921a9190911b1615158887101691505080156136b957506001909301925f8461346d81896703ff00000000000061433a565b95508086036134a857507f7bfa48af0000000000000000000000000000000000000000000000000000000095505f9350839250613837915050565b855b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81018051908a1160015f9290921a9190911b660100000000000016151516600103613517577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff016134aa565b81811461356e575f8061352a8484614363565b90925090507fffffffff0000000000000000000000000000000000000000000000000000000082161561356a575097505f95508594506138379350505050565b9350505b5f8312156135a957507f7bfa48af0000000000000000000000000000000000000000000000000000000096505f945084935061383792505050565b83156135b557825f0392505b80820394505f8513156135f557507f013b2aaa0000000000000000000000000000000000000000000000000000000096505f945084935061383792505050565b855f03613604578295506136b6565b5f859003604381111561364557507f32b8b8be0000000000000000000000000000000000000000000000000000000097505f95508594506138379350505050565b600a0a8681025f8883838161365c5761365c61499e565b0514159050601b82900b82141581806136725750805b156136ae57507f32b8b8be000000000000000000000000000000000000000000000000000000009a505f98508897506138379650505050505050565b505084019650505b50505b84516c2000000020000000000000000060015f9290921a9190911b16151587861016801561382857600190950194856136f9818a6520000000000061433a565b80519097506508000000000060015f9290921a82901b1615158a89101690036137255750600190950194855b86613739818b6703ff00000000000061433a565b975080880361377657507f013b2aaa0000000000000000000000000000000000000000000000000000000097505f95508594506138379350505050565b505f80613783838a614363565b90925090507fffffffff000000000000000000000000000000000000000000000000000000008216156137c3575097505f95508594506138379350505050565b9250508482015f831380156137d757508581125b806137eb57505f831280156137eb57508581135b1561382457507fd556b1110000000000000000000000000000000000000000000000000000000097505f95508594506138379350505050565b9450505b845f03613833575f93505b5050505b92959194509250565b5f601b83900b83148383826138a4577d90e40fbeea1d3a4abc8955e946fe31cdcf66f634e100000000000000000086051561388457620186a0860595506005850194505b8586601b0b1461389f57600a86059550846001019450613884565b6138ba565b855f036138ba57505f9250600191506106ad9050565b848560030b14613916575f8512156138da57505f92508291506106ad9050565b6040517fd556b11100000000000000000000000000000000000000000000000000000000815260048101839052602481018290526044016108ce565b50507bffffffffffffffffffffffffffffffffffffffffffffffffffffffff841660e084901b1791509250929050565b5f808060ff841681037f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff86111561399157600a860460018201600a88065f149350935093505061399b565b8593509150600190505b9250925092565b5f805f837ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc036139da57508391505f9050600161399b565b7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc841215613a68577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb0841215613a3957505f915050821515600161399b565b5f846004015f03600a0a90505f818781613a5557613a5561499e565b059450508084028614159250905061399b565b5f8412613a7d57505f9150819050600161399b565b50505060048101600a0a82025f600161399b565b5f80806064613aa3600a612328614c63565b613ab0600a612328614c63565b613abb906002614df0565b613ac6906001614dcf565b613ad09190614dcf565b613ada9190614dcf565b9050613b1e565b5f8052600280600a8504028301601e833c5f80516107d0840193505f80526001600a8606600a6064880402018501601f853c5f5101949350505050565b613b29858288613ae1565b92508315611b4d57613b3f600186018288613ae1565b915050935093915050565b5f80888803613b5d575083905081613bdb565b5f805f80613b6d8c8b8f8d61304a565b915091505f80613b7f8a8a8d8c61304a565b91509150613b8f84848484611cd5565b8096508197505050505050505f80613ba98b8b8f8d61304a565b915091505f80613bbb86868686611df4565b915091505f80613bcd84848f8e6130d0565b909a50985050505050505050505b97509795505050505050565b5f805f805f613bf68787613f51565b92509250925080612fec576040517f05e51ecb00000000000000000000000000000000000000000000000000000000815260048101889052602481018790526044016108ce565b5f80613c4c600a612328614c63565b613c57906002614df0565b613c62906001614dcf565b90505f613c72600a612328614c63565b90506002600a8504026001015f8052600281601e883c505f51617fff81169350618000811615613ca157918101915b505f80526001600a8506600a6064870402018301601f873c50505f510192915050565b5f80821215613d21577f80000000000000000000000000000000000000000000000000000000000000008203613d1b57507f8000000000000000000000000000000000000000000000000000000000000000919050565b505f0390565b5090565b919050565b5f807fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff83850993909202808410938190039390930393915050565b5f805f613d728686613d2a565b91509150815f03613d9657838181613d8c57613d8c61499e565b0492505050610695565b838210613de0576040517f6c59da120000000000000000000000000000000000000000000000000000000081526004810187905260248101869052604481018590526064016108ce565b5f84868809600186198101871696879004966002600389028118808a02820302808a02820302808a02820302808a02820302808a02820302808a02909103025f82900382900490920185841190960395909502919093039390930492909217029150509392505050565b5f805f8587181215613f14577f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff841115613f0157613ea97f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6001614dcf565b8403613ed957507f800000000000000000000000000000000000000000000000000000000000000090508161240f565b613ee4600a85614c63565b613eed90614c33565b613ef8846001614a1e565b9150915061240f565b613f0a84614c33565b839150915061240f565b7f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff841115613f4757613eed600a85614c63565b508290508161240f565b5f805f845f03613f6957505f9150819050600161399b565b7f0235fadd81c2822bb3f07877973d50f28bf22a31be8ee800000000000000000085055f0361417d576f4b3b4ca85a86c47a098a2240000000008505158015613fd257507f80000000000000000000000000000000000000000000000000000000000000268412155b15613ff3576f4b3b4ca85a86c47a098a224000000000850294506026840393505b7728c87cb5c89a2571ebfdcb54864ada834a00000000000000850515801561403b57507f80000000000000000000000000000000000000000000000000000000000000138412155b1561405457678ac7230489e80000850294506013840393505b7b097edd871cfda3a5697758bf0e3cbb5ac5741c64000000000000000085051580156140a057507f800000000000000000000000000000000000000000000000000000000000000a8412155b156140b6576402540be40085029450600a840393505b7e3899162693736ac531a5a58f1fbb4b746504382ca7e4000000000000000000850515801561410557507f80000000000000000000000000000000000000000000000000000000000000028412155b1561411b576064850294506002840393506140b6565b7f0235fadd81c2822bb3f07877973d50f28bf22a31be8ee8000000000000000000850515801561416b57507f80000000000000000000000000000000000000000000000000000000000000018412155b1561417d57600a850294506001840393505b600a808602908105861480156141b357507f80000000000000000000000000000000000000000000000000000000000000018512155b156141c2578095506001850394505b50939492935050507f0235fadd81c2822bb3f07877973d50f28bf22a31be8ee80000000000000000008305151590565b60605f821261420f5760405180602001604052805f815250614246565b6040518060400160405280600181526020017f2d000000000000000000000000000000000000000000000000000000000000008152505b61425760ff84901d8085011861427e565b604051602001614268929190614de2565b6040516020818303038152906040529050919050565b60605f61428a8361448d565b60010190505f8167ffffffffffffffff8111156142a9576142a961487f565b6040519080825280601f01601f1916602001820160405280156142d3576020820181803683370190505b5090508181016020015b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff017f3031323334353637383961626364656600000000000000000000000000000000600a86061a8153600a85049450846142dd57509392505050565b5f5b5f82600186515f1a1b1611838510161561435b5760018401935061433c565b509192915050565b81515f90819065200000000000600191831a9190911b16151583851016808501908280614390848861456e565b90925090507fffffffff000000000000000000000000000000000000000000000000000000008216156143cb575093505f92506106ad915050565b825f0361442e577f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81116143ff575f614421565b7f0fdc2635000000000000000000000000000000000000000000000000000000005b955093506106ad92505050565b7f8000000000000000000000000000000000000000000000000000000000000000811161445b575f61447d565b7f0fdc2635000000000000000000000000000000000000000000000000000000005b95505f0393505050509250929050565b5f807a184f03e93ff9f4daa797ed6e38ed64bf6a1f01000000000000000083106144d5577a184f03e93ff9f4daa797ed6e38ed64bf6a1f010000000000000000830492506040015b6d04ee2d6d415b85acef81000000008310614501576d04ee2d6d415b85acef8100000000830492506020015b662386f26fc10000831061451f57662386f26fc10000830492506010015b6305f5e1008310614537576305f5e100830492506008015b612710831061454b57612710830492506004015b6064831061455d576064830492506002015b600a83106106845760010192915050565b5f808284106145a157507f34bd20690000000000000000000000000000000000000000000000000000000090505f6106ad565b835f036145da576040517fda6966d400000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b60305f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8501815b8782101580156146125750604d83105b1561465557815160018401937fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff90930192600a0a5f9190911a8590030201614602565b87821061477b5781515f1a849003600181111561469d57507f0fdc26350000000000000000000000000000000000000000000000000000000095505f94506106ad9350505050565b600a84900a81028281018311156146e057507f0fdc26350000000000000000000000000000000000000000000000000000000096505f95506106ad945050505050565b9190910190507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff909101905b87821061477b5781515f1a6030811461475057507f0fdc26350000000000000000000000000000000000000000000000000000000095505f94506106ad9350505050565b507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff9091019061470c565b5f9890975095505050505050565b5f60208284031215614799575f80fd5b5035919050565b5f80604083850312156147b1575f80fd5b50508035926020909101359150565b803560ff81168114613d25575f80fd5b5f80604083850312156147e1575f80fd5b823591506147f1602084016147c0565b90509250929050565b5f806040838503121561480b575f80fd5b8235915060208301358015158114614821575f80fd5b809150509250929050565b602081525f82518060208401528060208501604085015e5f6040828501015260407fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f83011684010191505092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b5f602082840312156148bc575f80fd5b813567ffffffffffffffff808211156148d3575f80fd5b818401915084601f8301126148e6575f80fd5b8135818111156148f8576148f861487f565b604051601f82017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0908116603f0116810190838211818310171561493e5761493e61487f565b81604052828152876020848701011115614956575f80fd5b826020860160208301375f928101602001929092525095945050505050565b5f805f60608486031215614987575f80fd5b505081359360208301359350604090920135919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b8181035f831280158383131683831282161715614a1757614a176149cb565b5092915050565b8082018281125f831280158216821582161715614a3d57614a3d6149cb565b505092915050565b8082025f82127f800000000000000000000000000000000000000000000000000000000000000084141615614a7c57614a7c6149cb565b8181058314821517610684576106846149cb565b600181815b80851115614ae957817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04821115614acf57614acf6149cb565b80851615614adc57918102915b93841c9390800290614a95565b509250929050565b5f82614aff57506001610684565b81614b0b57505f610684565b8160018114614b215760028114614b2b57614b47565b6001915050610684565b60ff841115614b3c57614b3c6149cb565b50506001821b610684565b5060208310610133831016604e8410600b8410161715614b6a575081810a610684565b614b748383614a90565b807fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04821115614ba657614ba66149cb565b029392505050565b5f6106958383614af1565b5f82614bc757614bc761499e565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff83147f800000000000000000000000000000000000000000000000000000000000000083141615614c1b57614c1b6149cb565b500590565b5f82614c2e57614c2e61499e565b500790565b5f7f80000000000000000000000000000000000000000000000000000000000000008203613d1b57613d1b6149cb565b5f82614c7157614c7161499e565b500490565b5f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8203614ca657614ca66149cb565b5060010190565b5f81518060208401855e5f93019283525090919050565b5f614ccf8284614cad565b7f300000000000000000000000000000000000000000000000000000000000000081526001019392505050565b7f2e0000000000000000000000000000000000000000000000000000000000000081525f614d36614d306001840186614cad565b84614cad565b949350505050565b7f650000000000000000000000000000000000000000000000000000000000000081525f6106956001830184614cad565b5f610a29614d30614d89614d83858a614cad565b88614cad565b86614cad565b81810381811115610684576106846149cb565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b80820180821115610684576106846149cb565b5f614d36614d308386614cad565b8082028115828204841417610684576106846149cb56" }, "deployedBytecode": { - "object": "0x608060405234801561000f575f80fd5b506004361061029d575f3560e01c806381f7e2f511610171578063cde72ef3116100d2578063dd64691711610088578063e5526ecd1161006e578063e5526ecd1461062e578063e75f991f14610641578063ffae15ba14610654575f80fd5b8063dd64691714610608578063e0db58881461061b575f80fd5b8063d1de592a116100b8578063d1de592a146105bb578063d35273a7146105ce578063d3d6ffa8146105f5575f80fd5b8063cde72ef314610582578063d102b4d3146105a8575f80fd5b8063a19684b711610127578063bc1b392d1161010d578063bc1b392d1461050b578063bc62d8d814610511578063cb09682b1461055c575f80fd5b8063a19684b7146104d2578063a90d041a146104f8575f80fd5b806396ce1ec71161015757806396ce1ec7146104885780639b4afd991461049b578063a100a3d9146104bf575f80fd5b806381f7e2f5146104625780638dc2980714610475575f80fd5b80633447c0301161021b5780635ca0e7a4116101d1578063719cd99d116101b7578063719cd99d1461042957806373bfb2831461043c57806381a822721461044f575f80fd5b80635ca0e7a4146103f0578063602c35fc14610403575f80fd5b80633b3bd868116102015780633b3bd868146103b757806341aa0080146103ca5780635b23771d146103dd575f80fd5b80633447c03014610374578063371493ce14610397575f80fd5b80631ee62f111161027057806328fa1f011161025657806328fa1f011461033b5780633004fa411461034e5780633029740014610361575f80fd5b80631ee62f11146103155780632538835014610328575f80fd5b806304327dc5146102a1578063078b665b146102c75780630b6429bc146102da578063146e82ad14610302575b5f80fd5b6102b46102af36600461475f565b61067a565b6040519081526020015b60405180910390f35b6102b46102d5366004614776565b61068a565b6102ed6102e83660046147a6565b61069c565b604080519283529015156020830152016102be565b6102b461031036600461475f565b6106b4565b6102b461032336600461475f565b6106d3565b6102b461033636600461475f565b6106f2565b6102b461034936600461475f565b610711565b6102b461035c366004614776565b61071b565b6102b461036f366004614776565b61073b565b610387610382366004614776565b610746565b60405190151581526020016102be565b6103aa6103a53660046147d0565b610751565b6040516102be9190614802565b6102b46103c53660046147a6565b61075d565b6102b46103d8366004614776565b610768565b6102b46103eb3660046147a6565b610773565b6102b46103fe36600461475f565b61077e565b7f80000000ffffffffffffffffffffffffffffffffffffffffffffffffffffffff6102b4565b6102b461043736600461475f565b610788565b61038761044a366004614776565b610792565b6102b461045d36600461475f565b61079d565b610387610470366004614776565b6107a7565b610387610483366004614776565b6107b2565b6102b4610496366004614776565b6107bd565b6102b47c090000000000000000000000000000000000000000000000000000000181565b6103aa6104cd36600461475f565b6107c8565b7f80000000000000000000000000000000000000000000000000000000000000016102b4565b6102b4610506366004614776565b610812565b5f6102b4565b61052461051f366004614882565b61081d565b604080517fffffffff0000000000000000000000000000000000000000000000000000000090931683526020830191909152016102be565b7f7fffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffff6102b4565b7f7fffffff800000000000000000000000000000000000000000000000000000006102b4565b6103876105b6366004614776565b610836565b6102b46105c9366004614776565b610841565b6102b47ffffffffc0000000000000000000000000000000000000000000000000000000181565b6102b461060336600461475f565b61084c565b61038761061636600461475f565b610856565b6102b461062936600461475f565b61087c565b6103aa61063c36600461494b565b610886565b6102ed61064f3660046147a6565b61090f565b7fffffffbe19cfc6ef4f44cf88f14500d013df534fcaad48fca1d5ca47bea26fcc6102b4565b5f6106848261091b565b92915050565b5f610695838361095d565b9392505050565b5f806106a88484610979565b915091505b9250929050565b5f6106848273c51a14251b0dcf0ae24a96b7153991378938f5f56109ba565b5f6106848273c51a14251b0dcf0ae24a96b7153991378938f5f56109e6565b5f6106848273c51a14251b0dcf0ae24a96b7153991378938f5f5610a33565b5f61068482610a66565b5f610695838373c51a14251b0dcf0ae24a96b7153991378938f5f5610aa7565b5f6106958383610d01565b5f6106958383610d63565b60606106958383610db1565b5f6106958383610e44565b5f6106958383610e5f565b5f6106958383610ea4565b5f61068482610ed7565b5f61068482610f8d565b5f6106958383611039565b5f61068482611089565b5f61069583836110ce565b5f610695838361111e565b5f610695838361116d565b6060610684827ffffffffc000000000000000000000000000000000000000000000000000000017c0900000000000000000000000000000000000000000000000000000001610886565b5f61069583836111b2565b5f805f8061082a856111bd565b90969095509350505050565b5f61069583836112ab565b5f61069583836112fa565b5f6106848261133f565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff821615610684565b5f61068482611371565b606061089283836112ab565b6108d7576040517f3be5bf9400000000000000000000000000000000000000000000000000000000815260048101849052602481018390526044015b60405180910390fd5b5f6108e185611089565b9050610906856108f183876112ab565b806109015750610901838661111e565b610db1565b95945050505050565b5f806106a884846113b2565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8216601b0b60e083901d61094d82826113f2565b90925090505f6109068383611440565b5f610968838361111e565b6109725781610695565b5090919050565b5f807bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8416601b0b60e085901d6109ad8282876114a6565b9350935050509250929050565b5f610695837fffffffff0000000000000000000000000000000000000000000000000000000584610aa7565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8316601b0b60e084901d610a198483836116b0565b90925090505f610a298383611440565b9695505050505050565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8316601b0b60e084901d610a19848383611821565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8216601b0b60e083901d82610a998383611b56565b9150505f610a298284611440565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff848116601b0b9060e086901d908516610ae45750600191506106959050565b5f8213610b7d57815f03610b4157610afc855f6112ab565b15610b36576040517f8be82972000000000000000000000000000000000000000000000000000000008152600481018690526024016108ce565b505f91506106959050565b6040517fcceba0f100000000000000000000000000000000000000000000000000000000815260048101839052602481018290526044016108ce565b610b88856001610d63565b8015610b995750610b99865f61111e565b15610ba8578592505050610695565b610bb2855f6112ab565b15610bdb57610bd2610bc38761091b565b610bcc8761133f565b86610aa7565b92505050610695565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8516601b0b60e086901d5f80610c0e8484611b56565b915091505f610c1e83855f611bbe565b905060015f8080610c558f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8116601b0b9160e09190911d90565b915091505b60018510610c9c5784600116600103610c7f57610c7984848484611cd5565b90945092505b600185901c9450610c9282828484611cd5565b9092509050610c5a565b5f80610ca98f8e8e611821565b91509150610cb982828a8d611cd5565b9092509050610cc98f83836116b0565b9092509050610cda82828888611cd5565b90925090505f610cea8383611440565b9e5050505050505050505050505050509392505050565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d8480610d4686868686611df4565b915091505f610d558383611440565b9a9950505050505050505050565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d610da684848484612418565b979650505050505050565b60607bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8316601b0b60e084901d5f829003610e21576040518060400160405280600181526020017f300000000000000000000000000000000000000000000000000000000000000081525092505050610684565b8315610e3a57610e31828261242f565b92505050610684565b610906828261276c565b5f805f610e518585612f96565b915091506109068282612ff8565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d8480610d468686868661304a565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8316601b0b60e084901d610906828286613074565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8216601b0b60e083901d828112610f0e57509192915050565b5f80610f1a8484611b56565b915091505f84128015610f2c57508015155b15610f8257610f7d82847f161bcca7119915b50764b4abe86529797775a5f17195100000000000000000007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb461304a565b935091505b5f610da68385611440565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8216601b0b60e083901d828112610fc457509192915050565b5f80610fd08484611b56565b91509150805f03610fe5575093949350505050565b5f811315610f8257610f7d82847f161bcca7119915b50764b4abe86529797775a5f17195100000000000000000007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb46130d0565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d61107c84848484613200565b1315979650505050505050565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8216601b0b60e083901d828212156110c35761094d82826132d4565b5f6109068383611440565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d61111184848484613200565b1215979650505050505050565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d61116184848484613200565b12979650505050505050565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d8480610d4686868686611cd5565b5f61096883836112ab565b80515f908190602084810191850101828080806111da8686613377565b929650909450925090507fffffffff0000000000000000000000000000000000000000000000000000000084165f0361129c5784830361126c575f806112208484613816565b915091508061125b57507f32b8b8be000000000000000000000000000000000000000000000000000000009a5f9a5098505050505050505050565b505f9a909950975050505050505050565b507fad384e8700000000000000000000000000000000000000000000000000000000985f98509650505050505050565b5091975f975095505050505050565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d6112ee84848484613200565b13979650505050505050565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d8480610d46868686866130d0565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8216601b0b60e083901d61094d82826132d4565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8216601b0b60e083901d826113a48383611b56565b5090505f610a298284611440565b5f805f805f6113c1878761391c565b9250925092505f806113d38585613816565b91509150818380156113e25750815b9650965050505050509250929050565b5f806106a87f161bcca7119915b50764b4abe86529797775a5f17195100000000000000000007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb48686611df4565b5f805f61144d8585613816565b915091508015801561145d575081155b1561149e576040517f8eba4d0700000000000000000000000000000000000000000000000000000000815260048101869052602481018590526044016108ce565b509392505050565b5f805f8512156114ec576040517f4a7d166b00000000000000000000000000000000000000000000000000000000815260048101869052602481018590526044016108ce565b845f036114fe57505f905060016116a8565b8460ff8416850185811215611549576040517fd556b11100000000000000000000000000000000000000000000000000000000815260048101889052602481018790526044016108ce565b5f805f8312156115b3577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb383121561158a575f8095509550505050506116a8565b825f03600a0a91508184816115a1576115a1614974565b04955050840290911491506116a89050565b5f83131561169d57604d831315611609576040517fc849483b000000000000000000000000000000000000000000000000000000008152600481018a90526024810189905260ff881660448201526064016108ce565b82600a0a9150817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8161163e5761163e614974565b0484111561168b576040517fc849483b000000000000000000000000000000000000000000000000000000008152600481018a90526024810189905260ff881660448201526064016108ce565b50919091029250600191506116a89050565b509193506001925050505b935093915050565b5f805f8412156116ec576116c484846132d4565b90945092506116d48585856116b0565b90945092506116e384846113f2565b915091506116a8565b5f806116f88686611b56565b9092509050845f808061170b8585613978565b9194509250905061270d6127106117236001826149ce565b851461173a576117348d8686613a67565b90925090505b83156117c5575f61174c8660016149f4565b90505b80848583028161176157611761614974565b051461177857600a84059350600a8805975061174f565b6117b96117858588614a1b565b896117908785614a1b565b8f87877ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc613b20565b909d509b506117ec9050565b819b507ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc9a505b5050505050866117fd84835f611bbe565b6118088860016149f4565b61181291906149f4565b94509450505050935093915050565b5f80838361182f8282613bbd565b90965094505f86136118b057855f03611874576040517f561fc7b500000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6040517f5d3fd4db00000000000000000000000000000000000000000000000000000000815260048101839052602481018290526044016108ce565b5050837f161bcca7119915b50764b4abe86529797775a5f1719510000000000000000000036118ee576118e483604c6149f4565b5f915091506116a8565b7f161bcca7119915b50764b4abe86529797775a5f17195100000000000000000008412158061193d577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb561195f565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb45b5f0b8412611b1a575f805f805f8561197857604b61197b565b604c5b611985908a6149f4565b90505f80876119b2577d90e40fbeea1d3a4abc8955e946fe31cdcf66f634e10000000000000000006119d3565b7e05a8e89d75252446eb5d5d5b1cc5edf20a1a059e10ca0000000000000000005b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff169050808c81611a0557611a05614974565b05818102955090850193507ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc18019050611a3e8c82613c13565b7d90e40fbeea1d3a4abc8955e946fe31cdcf66f634e10000000000000000000295508594508a8414611aca576123278114611aa557611a808c82600101613c13565b7d90e40fbeea1d3a4abc8955e946fe31cdcf66f634e100000000000000000002611ac7565b7f161bcca7119915b50764b4abe86529797775a5f17195100000000000000000005b94505b50611afa838b848c89897fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb4613b20565b909a509850611b0b8a8a835f6130d0565b975097505050505050506116a8565b611b2485856113f2565b9095509350611b34868686611821565b9095509350611b4385856132d4565b92509250506116a8565b50935093915050565b5f805f8312611b6957508290505f6106ad565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb4831215611b9b57505f9050826106ad565b5f839003600a0a808581611bb157611bb1614974565b0794859003959350505050565b5f818303611bcd575082610695565b82821315611c1057828203604c811380611be757505f8113155b15611bf5575f915050610695565b80600a0a8581611c0757611c07614974565b05915050610695565b818303604c811380611c2257505f8113155b15611c6a576040517f1d5d6d100000000000000000000000000000000000000000000000000000000081526004810186905260248101859052604481018490526064016108ce565b600a81900a85810286828281611c8257611c82614974565b0514611ccb576040517f1d5d6d100000000000000000000000000000000000000000000000000000000081526004810188905260248101879052604481018690526064016108ce565b9250610695915050565b5f8085158415178015611ced575f92505f9150611dea565b611cf784876149f4565b91505f611d0388613c9a565b90505f611d0f87613c9a565b90505f611d1c8383613d00565b5090505f6f0785ee10d5da46d900f436a000000000821115611d51576f0785ee10d5da46d900f436a000000000820491506025015b670de0b6b3a7640000821115611d7257670de0b6b3a7640000820491506012015b633b9aca00821115611d8b57633b9aca00820491506009015b612710821115611da057612710820491506004015b8115611db457600a82049150600101611da0565b611dbe81876149f4565b9550611de08b8a611dda8787611dd587600a614b84565b613d3b565b89613e20565b9097509550505050505b5094509492505050565b5f80835f03611e39576040517f7a97930f00000000000000000000000000000000000000000000000000000000815260048101879052602481018690526044016108ce565b855f03611e4a57505f90508061240f565b5f805f80611e588a8a613f27565b919b5099509150611e698888613f27565b919950975090505f611e7a8b613c9a565b90505f611e868a613c9a565b90507f161bcca7119915b50764b4abe86529797775a5f1719510000000000000000000604c818310156122a3578415611ee457507f0235fadd81c2822bb3f07877973d50f28bf22a31be8ee80000000000000000009050604b612262565b6f4b3b4ca85a86c47a098a22400000000083101561201057678ac7230489e80000831015611f74576402540be400831015611f4257620186a0831015611f325750620186a0905060056121eb565b506402540be4009050600a6121eb565b655af3107a4000831015611f615750655af3107a40009050600e6121eb565b50678ac7230489e80000905060136121eb565b6b204fce5e3e25026110000000831015611fc65769152d02c7e14af6800000831015611faf575069152d02c7e14af6800000905060176121eb565b506b204fce5e3e250261100000009050601c6121eb565b6d314dc6448d9338c15b0a00000000831015611ff557506d314dc6448d9338c15b0a00000000905060216121eb565b506f4b3b4ca85a86c47a098a224000000000905060266121eb565b780197d4df19d605767337e9f14d3eec8920e4000000000000008310156121085773af298d050e4395d69670b12b7f410000000000008310156120a3577172cb5bd86321e38cb6ce6682e8000000000083101561208457507172cb5bd86321e38cb6ce6682e800000000009050602b6121eb565b5073af298d050e4395d69670b12b7f41000000000000905060306121eb565b76010b46c6cdd6e3e0828f4db456ff0c8ea00000000000008310156120e4575076010b46c6cdd6e3e0828f4db456ff0c8ea0000000000000905060356121eb565b50780197d4df19d605767337e9f14d3eec8920e4000000000000009050603a6121eb565b7c03b58e88c75313ec9d329eaaa18fb92f75215b1710000000000000000083101561219e577a026e4d30eccc3215dd8f3157d27e23acbdcfe6800000000000000083101561217657507a026e4d30eccc3215dd8f3157d27e23acbdcfe680000000000000009050603f6121eb565b507c03b58e88c75313ec9d329eaaa18fb92f75215b17100000000000000000905060446121eb565b7e05a8e89d75252446eb5d5d5b1cc5edf20a1a059e10ca0000000000000000008310156121eb57507e05a8e89d75252446eb5d5d5b1cc5edf20a1a059e10ca000000000000000000905060495b81831161221f57600a820491507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff016121eb565b815f03612262576040517f05e51ecb000000000000000000000000000000000000000000000000000000008152600481018d9052602481018c90526044016108ce565b856122a3576040517f05e51ecb000000000000000000000000000000000000000000000000000000008152600481018f9052602481018e90526044016108ce565b807f8000000000000000000000000000000000000000000000000000000000000000018d126122d657808d039c50612349565b7f80000000000000000000000000000000000000000000000000000000000000009c90038c015f81131561234957807f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038b1361233657998a0199612349565b5f8099509950505050505050505061240f565b5f808e12801561235857505f8c135b15612395577f80000000000000000000000000000000000000000000000000000000000000008e01808d1361238d575f612391565b808d035b9150505b8b818f010397506123b28f8e6123ac888789613d3b565b8b613e20565b90995097505f8113156123fc57604c8113156123dc575f809a509a5050505050505050505061240f565b80600a0a89816123ee576123ee614974565b059850885f036123fc575f97505b5096985094965061240f95505050505050565b94509492505050565b5f61242585858585613200565b1495945050505050565b60608161243c8482613bbd565b90945092505f8061246d7f161bcca7119915b50764b4abe86529797775a5f171951000000000000000000087614b8f565b1561249d57507f161bcca7119915b50764b4abe86529797775a5f17195100000000000000000009050604c6124c4565b507f0235fadd81c2822bb3f07877973d50f28bf22a31be8ee80000000000000000009050604b5b5f6124cf8388614b8f565b90505f6124dc8489614bf6565b90505f808312156124f6575060016124f383614c09565b92505b5f82121561250d5750600161250a82614c09565b91505b60408051602081019091525f81528215612616575f8061252e600a89614c39565b90505b61253b8186614b8f565b5f036125605761254c600a82614c39565b90508161255881614c4c565b925050612531565b60408051602081019091525f8082525b838110156125c157816040516020016125899190614c9a565b604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08184030181529190529150600101612570565b505b6125ce600a87614bf6565b5f036125e6576125df600a87614b8f565b95506125c3565b806125f0876141c8565b604051602001612601929190614cd2565b60405160208183030381529060405293505050505b5f612620856141c8565b90505f61262d878c6149f4565b9050637fffffff81138061266057507fffffffffffffffffffffffffffffffffffffffffffffffffffffffff8000000081125b1561269a576040517fe44c72b0000000000000000000000000000000000000000000000000000000008152600481018a90526024016108ce565b5f81156126ce576126aa826141c8565b6040516020016126ba9190614d14565b6040516020818303038152906040526126de565b60405180602001604052805f8152505b90505f856126fa5760405180602001604052805f815250612731565b6040518060400160405280600181526020017f2d000000000000000000000000000000000000000000000000000000000000008152505b90508084868460405160200161274a9493929190614d45565b6040516020818303038152906040529b50505050505050505050505092915050565b60606103e882138061278757506127846103e8614c09565b82125b156127c1576040517fe44c72b0000000000000000000000000000000000000000000000000000000008152600481018390526024016108ce565b5f8084129081156127dc576127d585614c09565b90506127df565b50835b5f8413156128a2578360448110612825576040517fe44c72b0000000000000000000000000000000000000000000000000000000008152600481018690526024016108ce565b7b7fffffffffffffffffffffffffffffffffffffffffffffffffffffff5f5b8281101561286157612857600a83614c39565b9150600101612844565b508083111561289f576040517fe44c72b0000000000000000000000000000000000000000000000000000000008152600481018790526024016108ce565b50505b5f6128ac82614254565b80519091505f5b818110801561292f575082816128ca600185614d65565b6128d49190614d65565b815181106128e4576128e4614d78565b6020910101517fff00000000000000000000000000000000000000000000000000000000000000167f3000000000000000000000000000000000000000000000000000000000000000145b15612946578061293e81614c4c565b9150506128b3565b5f6129518284614d65565b90505f61295e838a6149f4565b90505f8761297a5760405180602001604052805f8152506129b1565b6040518060400160405280600181526020017f2d000000000000000000000000000000000000000000000000000000000000008152505b90505f8212612b2b57815f6129c68286614da5565b67ffffffffffffffff8111156129de576129de614855565b6040519080825280601f01601f191660200182016040528015612a08576020820181803683370190505b5090505f5b85811015612a7a57888181518110612a2757612a27614d78565b602001015160f81c60f81b828281518110612a4457612a44614d78565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a905350600101612a0d565b505f5b82811015612af7577f300000000000000000000000000000000000000000000000000000000000000082612ab18389614da5565b81518110612ac157612ac1614d78565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a905350600101612a7d565b508281604051602001612b0b929190614db8565b6040516020818303038152906040529a5050505050505050505050610684565b5f612b3583614c09565b905080841115612d4c575f612b4a8286614d65565b90505f612b58866001614da5565b67ffffffffffffffff811115612b7057612b70614855565b6040519080825280601f01601f191660200182016040528015612b9a576020820181803683370190505b5090505f5b82811015612c0c57898181518110612bb957612bb9614d78565b602001015160f81c60f81b828281518110612bd657612bd6614d78565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a905350600101612b9f565b507f2e00000000000000000000000000000000000000000000000000000000000000818381518110612c4057612c40614d78565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a9053505f5b83811015612d175789612c838285614da5565b81518110612c9357612c93614d78565b01602001517fff00000000000000000000000000000000000000000000000000000000000000168282612cc7866001614da5565b612cd19190614da5565b81518110612ce157612ce1614d78565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a905350600101612c70565b508381604051602001612d2b929190614db8565b6040516020818303038152906040529b505050505050505050505050610684565b5f612d578583614d65565b90505f85612d66836002614da5565b612d709190614da5565b67ffffffffffffffff811115612d8857612d88614855565b6040519080825280601f01601f191660200182016040528015612db2576020820181803683370190505b5090507f3000000000000000000000000000000000000000000000000000000000000000815f81518110612de857612de8614d78565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a9053507f2e0000000000000000000000000000000000000000000000000000000000000081600181518110612e4a57612e4a614d78565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a9053505f5b82811015612ef5577f300000000000000000000000000000000000000000000000000000000000000082612eaf836002614da5565b81518110612ebf57612ebf614d78565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a905350600101612e7a565b505f5b86811015612d1757898181518110612f1257612f12614d78565b01602001517fff00000000000000000000000000000000000000000000000000000000000000168282612f46866002614da5565b612f509190614da5565b81518110612f6057612f60614d78565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a905350600101612ef8565b5f805f805f612fa5878761391c565b92509250925080612fec576040517fc471796600000000000000000000000000000000000000000000000000000000815260048101849052602481018390526044016108ce565b50909590945092505050565b5f805f6130058585613816565b915091508061149e576040517f22c9f7bb00000000000000000000000000000000000000000000000000000000815260048101869052602481018590526044016108ce565b5f8061305684846132d4565b9094509250613067868686866130d0565b9150915094509492505050565b5f805f6130828686866114a6565b91509150806130c7576040517f05e4767800000000000000000000000000000000000000000000000000000000815260048101879052602481018690526044016108ce565b50949350505050565b5f80851584151780156130fc57865f036130f0578484925092505061240f565b8686925092505061240f565b6131068787613bbd565b90975095506131158585613bbd565b909550935085841315613129579395929492935b838603604c81111561314257878793509350505061240f565b80600a0a868161315457613154614974565b0595505086850180881860ff90811c151589881890911c151680156131ef57877f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff036131d6576040517fd556b111000000000000000000000000000000000000000000000000000000008152600481018a9052602481018990526044016108ce565b600a9687900596909805860197600197909701966131f3565b8198505b5096979596505050505050565b5f8085158415178187128286121817858414178015613225578685925092505061240f565b505f85841315613239575092949193919260015b8386035f8112604c821317801561326c57821561325e575f899450945050505061240f565b885f9450945050505061240f565b600a82900a8981028a82828161328457613284614974565b05146132b05784156132a0575f8b96509650505050505061240f565b8a5f96509650505050505061240f565b84156132c557889650945061240f9350505050565b955087945061240f9350505050565b5f807f8000000000000000000000000000000000000000000000000000000000000000840361336d577f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8303613360576040517fd556b11100000000000000000000000000000000000000000000000000000000815260048101859052602481018490526044016108ce565b600a840593508260010192505b50505f9190910391565b5f82818061338c838665200000000000614310565b925085831415836133a681886703ff000000000000614310565b94508085036133e057507f34bd20690000000000000000000000000000000000000000000000000000000094505f925082915061380d9050565b5f806133ec8a88614339565b90925090507fffffffff0000000000000000000000000000000000000000000000000000000082161561342a575095505f935083925061380d915050565b86519095506540000000000060015f9290921a9190911b1615158887101691505080156136b957506001909301925f8461346d81896703ff000000000000614310565b95508086036134a857507f7bfa48af0000000000000000000000000000000000000000000000000000000095505f935083925061380d915050565b855b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81018051908a1160015f9290921a9190911b660100000000000016151516600103613517577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff016134aa565b81811461356e575f8061352a8484614339565b90925090507fffffffff0000000000000000000000000000000000000000000000000000000082161561356a575097505f955085945061380d9350505050565b9350505b5f8312156135a957507f7bfa48af0000000000000000000000000000000000000000000000000000000096505f945084935061380d92505050565b83156135b557825f0392505b80820394505f8513156135f557507f013b2aaa0000000000000000000000000000000000000000000000000000000096505f945084935061380d92505050565b855f03613604578295506136b6565b5f859003604381111561364557507f32b8b8be0000000000000000000000000000000000000000000000000000000097505f955085945061380d9350505050565b600a0a8681025f8883838161365c5761365c614974565b0514159050601b82900b82141581806136725750805b156136ae57507f32b8b8be000000000000000000000000000000000000000000000000000000009a505f985088975061380d9650505050505050565b505084019650505b50505b84516c2000000020000000000000000060015f9290921a9190911b1615158786101680156137fe57600190950194856136f9818a65200000000000614310565b96508661370f818b6703ff000000000000614310565b975080880361374c57507f013b2aaa0000000000000000000000000000000000000000000000000000000097505f955085945061380d9350505050565b505f80613759838a614339565b90925090507fffffffff00000000000000000000000000000000000000000000000000000000821615613799575097505f955085945061380d9350505050565b9250508482015f831380156137ad57508581125b806137c157505f831280156137c157508581135b156137fa57507fd556b1110000000000000000000000000000000000000000000000000000000097505f955085945061380d9350505050565b9450505b845f03613809575f93505b5050505b92959194509250565b5f601b83900b831483838261387a577d90e40fbeea1d3a4abc8955e946fe31cdcf66f634e100000000000000000086051561385a57620186a0860595506005850194505b8586601b0b1461387557600a8605955084600101945061385a565b613890565b855f0361389057505f9250600191506106ad9050565b848560030b146138ec575f8512156138b057505f92508291506106ad9050565b6040517fd556b11100000000000000000000000000000000000000000000000000000000815260048101839052602481018290526044016108ce565b50507bffffffffffffffffffffffffffffffffffffffffffffffffffffffff841660e084901b1791509250929050565b5f808060ff841681037f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff86111561396757600a860460018201600a88065f1493509350935050613971565b8593509150600190505b9250925092565b5f805f837ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc036139b057508391505f90506001613971565b7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc841215613a3e577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb0841215613a0f57505f9150508215156001613971565b5f846004015f03600a0a90505f818781613a2b57613a2b614974565b0594505080840286141592509050613971565b5f8412613a5357505f91508190506001613971565b50505060048101600a0a82025f6001613971565b5f80806064613a79600a612328614c39565b613a86600a612328614c39565b613a91906002614dc6565b613a9c906001614da5565b613aa69190614da5565b613ab09190614da5565b9050613af4565b5f8052600280600a8504028301601e833c5f80516107d0840193505f80526001600a8606600a6064880402018501601f853c5f5101949350505050565b613aff858288613ab7565b92508315611b4d57613b15600186018288613ab7565b915050935093915050565b5f80888803613b33575083905081613bb1565b5f805f80613b438c8b8f8d61304a565b915091505f80613b558a8a8d8c61304a565b91509150613b6584848484611cd5565b8096508197505050505050505f80613b7f8b8b8f8d61304a565b915091505f80613b9186868686611df4565b915091505f80613ba384848f8e6130d0565b909a50985050505050505050505b97509795505050505050565b5f805f805f613bcc8787613f27565b92509250925080612fec576040517f05e51ecb00000000000000000000000000000000000000000000000000000000815260048101889052602481018790526044016108ce565b5f80613c22600a612328614c39565b613c2d906002614dc6565b613c38906001614da5565b90505f613c48600a612328614c39565b90506002600a8504026001015f8052600281601e883c505f51617fff81169350618000811615613c7757918101915b505f80526001600a8506600a6064870402018301601f873c50505f510192915050565b5f80821215613cf7577f80000000000000000000000000000000000000000000000000000000000000008203613cf157507f8000000000000000000000000000000000000000000000000000000000000000919050565b505f0390565b5090565b919050565b5f807fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff83850993909202808410938190039390930393915050565b5f805f613d488686613d00565b91509150815f03613d6c57838181613d6257613d62614974565b0492505050610695565b838210613db6576040517f6c59da120000000000000000000000000000000000000000000000000000000081526004810187905260248101869052604481018590526064016108ce565b5f84868809600186198101871696879004966002600389028118808a02820302808a02820302808a02820302808a02820302808a02820302808a02909103025f82900382900490920185841190960395909502919093039390930492909217029150509392505050565b5f805f8587181215613eea577f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff841115613ed757613e7f7f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6001614da5565b8403613eaf57507f800000000000000000000000000000000000000000000000000000000000000090508161240f565b613eba600a85614c39565b613ec390614c09565b613ece8460016149f4565b9150915061240f565b613ee084614c09565b839150915061240f565b7f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff841115613f1d57613ec3600a85614c39565b508290508161240f565b5f805f845f03613f3f57505f91508190506001613971565b7f0235fadd81c2822bb3f07877973d50f28bf22a31be8ee800000000000000000085055f03614153576f4b3b4ca85a86c47a098a2240000000008505158015613fa857507f80000000000000000000000000000000000000000000000000000000000000268412155b15613fc9576f4b3b4ca85a86c47a098a224000000000850294506026840393505b7728c87cb5c89a2571ebfdcb54864ada834a00000000000000850515801561401157507f80000000000000000000000000000000000000000000000000000000000000138412155b1561402a57678ac7230489e80000850294506013840393505b7b097edd871cfda3a5697758bf0e3cbb5ac5741c640000000000000000850515801561407657507f800000000000000000000000000000000000000000000000000000000000000a8412155b1561408c576402540be40085029450600a840393505b7e3899162693736ac531a5a58f1fbb4b746504382ca7e400000000000000000085051580156140db57507f80000000000000000000000000000000000000000000000000000000000000028412155b156140f15760648502945060028403935061408c565b7f0235fadd81c2822bb3f07877973d50f28bf22a31be8ee8000000000000000000850515801561414157507f80000000000000000000000000000000000000000000000000000000000000018412155b1561415357600a850294506001840393505b600a8086029081058614801561418957507f80000000000000000000000000000000000000000000000000000000000000018512155b15614198578095506001850394505b50939492935050507f0235fadd81c2822bb3f07877973d50f28bf22a31be8ee80000000000000000008305151590565b60605f82126141e55760405180602001604052805f81525061421c565b6040518060400160405280600181526020017f2d000000000000000000000000000000000000000000000000000000000000008152505b61422d60ff84901d80850118614254565b60405160200161423e929190614db8565b6040516020818303038152906040529050919050565b60605f61426083614463565b60010190505f8167ffffffffffffffff81111561427f5761427f614855565b6040519080825280601f01601f1916602001820160405280156142a9576020820181803683370190505b5090508181016020015b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff017f3031323334353637383961626364656600000000000000000000000000000000600a86061a8153600a85049450846142b357509392505050565b5f5b5f82600186515f1a1b1611838510161561433157600184019350614312565b509192915050565b81515f90819065200000000000600191831a9190911b161515838510168085019082806143668488614544565b90925090507fffffffff000000000000000000000000000000000000000000000000000000008216156143a1575093505f92506106ad915050565b825f03614404577f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81116143d5575f6143f7565b7f0fdc2635000000000000000000000000000000000000000000000000000000005b955093506106ad92505050565b7f80000000000000000000000000000000000000000000000000000000000000008111614431575f614453565b7f0fdc2635000000000000000000000000000000000000000000000000000000005b95505f0393505050509250929050565b5f807a184f03e93ff9f4daa797ed6e38ed64bf6a1f01000000000000000083106144ab577a184f03e93ff9f4daa797ed6e38ed64bf6a1f010000000000000000830492506040015b6d04ee2d6d415b85acef810000000083106144d7576d04ee2d6d415b85acef8100000000830492506020015b662386f26fc1000083106144f557662386f26fc10000830492506010015b6305f5e100831061450d576305f5e100830492506008015b612710831061452157612710830492506004015b60648310614533576064830492506002015b600a83106106845760010192915050565b5f8082841061457757507f34bd20690000000000000000000000000000000000000000000000000000000090505f6106ad565b835f036145b0576040517fda6966d400000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b60305f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8501815b8782101580156145e85750604d83105b1561462b57815160018401937fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff90930192600a0a5f9190911a85900302016145d8565b8782106147515781515f1a849003600181111561467357507f0fdc26350000000000000000000000000000000000000000000000000000000095505f94506106ad9350505050565b600a84900a81028281018311156146b657507f0fdc26350000000000000000000000000000000000000000000000000000000096505f95506106ad945050505050565b9190910190507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff909101905b8782106147515781515f1a6030811461472657507f0fdc26350000000000000000000000000000000000000000000000000000000095505f94506106ad9350505050565b507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff909101906146e2565b5f9890975095505050505050565b5f6020828403121561476f575f80fd5b5035919050565b5f8060408385031215614787575f80fd5b50508035926020909101359150565b803560ff81168114613cfb575f80fd5b5f80604083850312156147b7575f80fd5b823591506147c760208401614796565b90509250929050565b5f80604083850312156147e1575f80fd5b82359150602083013580151581146147f7575f80fd5b809150509250929050565b602081525f82518060208401528060208501604085015e5f6040828501015260407fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f83011684010191505092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b5f60208284031215614892575f80fd5b813567ffffffffffffffff808211156148a9575f80fd5b818401915084601f8301126148bc575f80fd5b8135818111156148ce576148ce614855565b604051601f82017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0908116603f0116810190838211818310171561491457614914614855565b8160405282815287602084870101111561492c575f80fd5b826020860160208301375f928101602001929092525095945050505050565b5f805f6060848603121561495d575f80fd5b505081359360208301359350604090920135919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b8181035f8312801583831316838312821617156149ed576149ed6149a1565b5092915050565b8082018281125f831280158216821582161715614a1357614a136149a1565b505092915050565b8082025f82127f800000000000000000000000000000000000000000000000000000000000000084141615614a5257614a526149a1565b8181058314821517610684576106846149a1565b600181815b80851115614abf57817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04821115614aa557614aa56149a1565b80851615614ab257918102915b93841c9390800290614a6b565b509250929050565b5f82614ad557506001610684565b81614ae157505f610684565b8160018114614af75760028114614b0157614b1d565b6001915050610684565b60ff841115614b1257614b126149a1565b50506001821b610684565b5060208310610133831016604e8410600b8410161715614b40575081810a610684565b614b4a8383614a66565b807fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04821115614b7c57614b7c6149a1565b029392505050565b5f6106958383614ac7565b5f82614b9d57614b9d614974565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff83147f800000000000000000000000000000000000000000000000000000000000000083141615614bf157614bf16149a1565b500590565b5f82614c0457614c04614974565b500790565b5f7f80000000000000000000000000000000000000000000000000000000000000008203613cf157613cf16149a1565b5f82614c4757614c47614974565b500490565b5f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8203614c7c57614c7c6149a1565b5060010190565b5f81518060208401855e5f93019283525090919050565b5f614ca58284614c83565b7f300000000000000000000000000000000000000000000000000000000000000081526001019392505050565b7f2e0000000000000000000000000000000000000000000000000000000000000081525f614d0c614d066001840186614c83565b84614c83565b949350505050565b7f650000000000000000000000000000000000000000000000000000000000000081525f6106956001830184614c83565b5f610a29614d06614d5f614d59858a614c83565b88614c83565b86614c83565b81810381811115610684576106846149a1565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b80820180821115610684576106846149a1565b5f614d0c614d068386614c83565b8082028115828204841417610684576106846149a156" + "object": "0x608060405234801561000f575f80fd5b506004361061029d575f3560e01c806381f7e2f511610171578063cde72ef3116100d2578063dd64691711610088578063e5526ecd1161006e578063e5526ecd1461062e578063e75f991f14610641578063ffae15ba14610654575f80fd5b8063dd64691714610608578063e0db58881461061b575f80fd5b8063d1de592a116100b8578063d1de592a146105bb578063d35273a7146105ce578063d3d6ffa8146105f5575f80fd5b8063cde72ef314610582578063d102b4d3146105a8575f80fd5b8063a19684b711610127578063bc1b392d1161010d578063bc1b392d1461050b578063bc62d8d814610511578063cb09682b1461055c575f80fd5b8063a19684b7146104d2578063a90d041a146104f8575f80fd5b806396ce1ec71161015757806396ce1ec7146104885780639b4afd991461049b578063a100a3d9146104bf575f80fd5b806381f7e2f5146104625780638dc2980714610475575f80fd5b80633447c0301161021b5780635ca0e7a4116101d1578063719cd99d116101b7578063719cd99d1461042957806373bfb2831461043c57806381a822721461044f575f80fd5b80635ca0e7a4146103f0578063602c35fc14610403575f80fd5b80633b3bd868116102015780633b3bd868146103b757806341aa0080146103ca5780635b23771d146103dd575f80fd5b80633447c03014610374578063371493ce14610397575f80fd5b80631ee62f111161027057806328fa1f011161025657806328fa1f011461033b5780633004fa411461034e5780633029740014610361575f80fd5b80631ee62f11146103155780632538835014610328575f80fd5b806304327dc5146102a1578063078b665b146102c75780630b6429bc146102da578063146e82ad14610302575b5f80fd5b6102b46102af366004614789565b61067a565b6040519081526020015b60405180910390f35b6102b46102d53660046147a0565b61068a565b6102ed6102e83660046147d0565b61069c565b604080519283529015156020830152016102be565b6102b4610310366004614789565b6106b4565b6102b4610323366004614789565b6106d3565b6102b4610336366004614789565b6106f2565b6102b4610349366004614789565b610711565b6102b461035c3660046147a0565b61071b565b6102b461036f3660046147a0565b61073b565b6103876103823660046147a0565b610746565b60405190151581526020016102be565b6103aa6103a53660046147fa565b610751565b6040516102be919061482c565b6102b46103c53660046147d0565b61075d565b6102b46103d83660046147a0565b610768565b6102b46103eb3660046147d0565b610773565b6102b46103fe366004614789565b61077e565b7f80000000ffffffffffffffffffffffffffffffffffffffffffffffffffffffff6102b4565b6102b4610437366004614789565b610788565b61038761044a3660046147a0565b610792565b6102b461045d366004614789565b61079d565b6103876104703660046147a0565b6107a7565b6103876104833660046147a0565b6107b2565b6102b46104963660046147a0565b6107bd565b6102b47c090000000000000000000000000000000000000000000000000000000181565b6103aa6104cd366004614789565b6107c8565b7f80000000000000000000000000000000000000000000000000000000000000016102b4565b6102b46105063660046147a0565b610812565b5f6102b4565b61052461051f3660046148ac565b61081d565b604080517fffffffff0000000000000000000000000000000000000000000000000000000090931683526020830191909152016102be565b7f7fffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffff6102b4565b7f7fffffff800000000000000000000000000000000000000000000000000000006102b4565b6103876105b63660046147a0565b610836565b6102b46105c93660046147a0565b610841565b6102b47ffffffffc0000000000000000000000000000000000000000000000000000000181565b6102b4610603366004614789565b61084c565b610387610616366004614789565b610856565b6102b4610629366004614789565b61087c565b6103aa61063c366004614975565b610886565b6102ed61064f3660046147d0565b61090f565b7fffffffbe19cfc6ef4f44cf88f14500d013df534fcaad48fca1d5ca47bea26fcc6102b4565b5f6106848261091b565b92915050565b5f610695838361095d565b9392505050565b5f806106a88484610979565b915091505b9250929050565b5f6106848273c51a14251b0dcf0ae24a96b7153991378938f5f56109ba565b5f6106848273c51a14251b0dcf0ae24a96b7153991378938f5f56109e6565b5f6106848273c51a14251b0dcf0ae24a96b7153991378938f5f5610a33565b5f61068482610a66565b5f610695838373c51a14251b0dcf0ae24a96b7153991378938f5f5610aa7565b5f6106958383610d01565b5f6106958383610d63565b60606106958383610db1565b5f6106958383610e44565b5f6106958383610e5f565b5f6106958383610ea4565b5f61068482610ed7565b5f61068482610f8d565b5f6106958383611039565b5f61068482611089565b5f61069583836110ce565b5f610695838361111e565b5f610695838361116d565b6060610684827ffffffffc000000000000000000000000000000000000000000000000000000017c0900000000000000000000000000000000000000000000000000000001610886565b5f61069583836111b2565b5f805f8061082a856111bd565b90969095509350505050565b5f61069583836112ab565b5f61069583836112fa565b5f6106848261133f565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff821615610684565b5f61068482611371565b606061089283836112ab565b6108d7576040517f3be5bf9400000000000000000000000000000000000000000000000000000000815260048101849052602481018390526044015b60405180910390fd5b5f6108e185611089565b9050610906856108f183876112ab565b806109015750610901838661111e565b610db1565b95945050505050565b5f806106a884846113b2565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8216601b0b60e083901d61094d82826113f2565b90925090505f6109068383611440565b5f610968838361111e565b6109725781610695565b5090919050565b5f807bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8416601b0b60e085901d6109ad8282876114a6565b9350935050509250929050565b5f610695837fffffffff0000000000000000000000000000000000000000000000000000000584610aa7565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8316601b0b60e084901d610a198483836116b0565b90925090505f610a298383611440565b9695505050505050565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8316601b0b60e084901d610a19848383611821565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8216601b0b60e083901d82610a998383611b56565b9150505f610a298284611440565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff848116601b0b9060e086901d908516610ae45750600191506106959050565b5f8213610b7d57815f03610b4157610afc855f6112ab565b15610b36576040517f8be82972000000000000000000000000000000000000000000000000000000008152600481018690526024016108ce565b505f91506106959050565b6040517fcceba0f100000000000000000000000000000000000000000000000000000000815260048101839052602481018290526044016108ce565b610b88856001610d63565b8015610b995750610b99865f61111e565b15610ba8578592505050610695565b610bb2855f6112ab565b15610bdb57610bd2610bc38761091b565b610bcc8761133f565b86610aa7565b92505050610695565b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8516601b0b60e086901d5f80610c0e8484611b56565b915091505f610c1e83855f611bbe565b905060015f8080610c558f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8116601b0b9160e09190911d90565b915091505b60018510610c9c5784600116600103610c7f57610c7984848484611cd5565b90945092505b600185901c9450610c9282828484611cd5565b9092509050610c5a565b5f80610ca98f8e8e611821565b91509150610cb982828a8d611cd5565b9092509050610cc98f83836116b0565b9092509050610cda82828888611cd5565b90925090505f610cea8383611440565b9e5050505050505050505050505050509392505050565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d8480610d4686868686611df4565b915091505f610d558383611440565b9a9950505050505050505050565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d610da684848484612418565b979650505050505050565b60607bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8316601b0b60e084901d5f829003610e21576040518060400160405280600181526020017f300000000000000000000000000000000000000000000000000000000000000081525092505050610684565b8315610e3a57610e31828261242f565b92505050610684565b610906828261276c565b5f805f610e518585612f96565b915091506109068282612ff8565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d8480610d468686868661304a565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8316601b0b60e084901d610906828286613074565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8216601b0b60e083901d828112610f0e57509192915050565b5f80610f1a8484611b56565b915091505f84128015610f2c57508015155b15610f8257610f7d82847f161bcca7119915b50764b4abe86529797775a5f17195100000000000000000007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb461304a565b935091505b5f610da68385611440565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8216601b0b60e083901d828112610fc457509192915050565b5f80610fd08484611b56565b91509150805f03610fe5575093949350505050565b5f811315610f8257610f7d82847f161bcca7119915b50764b4abe86529797775a5f17195100000000000000000007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb46130d0565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d61107c84848484613200565b1315979650505050505050565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8216601b0b60e083901d828212156110c35761094d82826132d4565b5f6109068383611440565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d61111184848484613200565b1215979650505050505050565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d61116184848484613200565b12979650505050505050565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d8480610d4686868686611cd5565b5f61096883836112ab565b80515f908190602084810191850101828080806111da8686613377565b929650909450925090507fffffffff0000000000000000000000000000000000000000000000000000000084165f0361129c5784830361126c575f806112208484613840565b915091508061125b57507f32b8b8be000000000000000000000000000000000000000000000000000000009a5f9a5098505050505050505050565b505f9a909950975050505050505050565b507fad384e8700000000000000000000000000000000000000000000000000000000985f98509650505050505050565b5091975f975095505050505050565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d6112ee84848484613200565b13979650505050505050565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff838116601b90810b9160e086811d9291861690910b9085901d8480610d46868686866130d0565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8216601b0b60e083901d61094d82826132d4565b5f7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8216601b0b60e083901d826113a48383611b56565b5090505f610a298284611440565b5f805f805f6113c18787613946565b9250925092505f806113d38585613840565b91509150818380156113e25750815b9650965050505050509250929050565b5f806106a87f161bcca7119915b50764b4abe86529797775a5f17195100000000000000000007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb48686611df4565b5f805f61144d8585613840565b915091508015801561145d575081155b1561149e576040517f8eba4d0700000000000000000000000000000000000000000000000000000000815260048101869052602481018590526044016108ce565b509392505050565b5f805f8512156114ec576040517f4a7d166b00000000000000000000000000000000000000000000000000000000815260048101869052602481018590526044016108ce565b845f036114fe57505f905060016116a8565b8460ff8416850185811215611549576040517fd556b11100000000000000000000000000000000000000000000000000000000815260048101889052602481018790526044016108ce565b5f805f8312156115b3577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb383121561158a575f8095509550505050506116a8565b825f03600a0a91508184816115a1576115a161499e565b04955050840290911491506116a89050565b5f83131561169d57604d831315611609576040517fc849483b000000000000000000000000000000000000000000000000000000008152600481018a90526024810189905260ff881660448201526064016108ce565b82600a0a9150817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8161163e5761163e61499e565b0484111561168b576040517fc849483b000000000000000000000000000000000000000000000000000000008152600481018a90526024810189905260ff881660448201526064016108ce565b50919091029250600191506116a89050565b509193506001925050505b935093915050565b5f805f8412156116ec576116c484846132d4565b90945092506116d48585856116b0565b90945092506116e384846113f2565b915091506116a8565b5f806116f88686611b56565b9092509050845f808061170b85856139a2565b9194509250905061270d6127106117236001826149f8565b851461173a576117348d8686613a91565b90925090505b83156117c5575f61174c866001614a1e565b90505b8084858302816117615761176161499e565b051461177857600a84059350600a8805975061174f565b6117b96117858588614a45565b896117908785614a45565b8f87877ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc613b4a565b909d509b506117ec9050565b819b507ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc9a505b5050505050866117fd84835f611bbe565b611808886001614a1e565b6118129190614a1e565b94509450505050935093915050565b5f80838361182f8282613be7565b90965094505f86136118b057855f03611874576040517f561fc7b500000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6040517f5d3fd4db00000000000000000000000000000000000000000000000000000000815260048101839052602481018290526044016108ce565b5050837f161bcca7119915b50764b4abe86529797775a5f1719510000000000000000000036118ee576118e483604c614a1e565b5f915091506116a8565b7f161bcca7119915b50764b4abe86529797775a5f17195100000000000000000008412158061193d577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb561195f565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb45b5f0b8412611b1a575f805f805f8561197857604b61197b565b604c5b611985908a614a1e565b90505f80876119b2577d90e40fbeea1d3a4abc8955e946fe31cdcf66f634e10000000000000000006119d3565b7e05a8e89d75252446eb5d5d5b1cc5edf20a1a059e10ca0000000000000000005b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff169050808c81611a0557611a0561499e565b05818102955090850193507ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc18019050611a3e8c82613c3d565b7d90e40fbeea1d3a4abc8955e946fe31cdcf66f634e10000000000000000000295508594508a8414611aca576123278114611aa557611a808c82600101613c3d565b7d90e40fbeea1d3a4abc8955e946fe31cdcf66f634e100000000000000000002611ac7565b7f161bcca7119915b50764b4abe86529797775a5f17195100000000000000000005b94505b50611afa838b848c89897fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb4613b4a565b909a509850611b0b8a8a835f6130d0565b975097505050505050506116a8565b611b2485856113f2565b9095509350611b34868686611821565b9095509350611b4385856132d4565b92509250506116a8565b50935093915050565b5f805f8312611b6957508290505f6106ad565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb4831215611b9b57505f9050826106ad565b5f839003600a0a808581611bb157611bb161499e565b0794859003959350505050565b5f818303611bcd575082610695565b82821315611c1057828203604c811380611be757505f8113155b15611bf5575f915050610695565b80600a0a8581611c0757611c0761499e565b05915050610695565b818303604c811380611c2257505f8113155b15611c6a576040517f1d5d6d100000000000000000000000000000000000000000000000000000000081526004810186905260248101859052604481018490526064016108ce565b600a81900a85810286828281611c8257611c8261499e565b0514611ccb576040517f1d5d6d100000000000000000000000000000000000000000000000000000000081526004810188905260248101879052604481018690526064016108ce565b9250610695915050565b5f8085158415178015611ced575f92505f9150611dea565b611cf78487614a1e565b91505f611d0388613cc4565b90505f611d0f87613cc4565b90505f611d1c8383613d2a565b5090505f6f0785ee10d5da46d900f436a000000000821115611d51576f0785ee10d5da46d900f436a000000000820491506025015b670de0b6b3a7640000821115611d7257670de0b6b3a7640000820491506012015b633b9aca00821115611d8b57633b9aca00820491506009015b612710821115611da057612710820491506004015b8115611db457600a82049150600101611da0565b611dbe8187614a1e565b9550611de08b8a611dda8787611dd587600a614bae565b613d65565b89613e4a565b9097509550505050505b5094509492505050565b5f80835f03611e39576040517f7a97930f00000000000000000000000000000000000000000000000000000000815260048101879052602481018690526044016108ce565b855f03611e4a57505f90508061240f565b5f805f80611e588a8a613f51565b919b5099509150611e698888613f51565b919950975090505f611e7a8b613cc4565b90505f611e868a613cc4565b90507f161bcca7119915b50764b4abe86529797775a5f1719510000000000000000000604c818310156122a3578415611ee457507f0235fadd81c2822bb3f07877973d50f28bf22a31be8ee80000000000000000009050604b612262565b6f4b3b4ca85a86c47a098a22400000000083101561201057678ac7230489e80000831015611f74576402540be400831015611f4257620186a0831015611f325750620186a0905060056121eb565b506402540be4009050600a6121eb565b655af3107a4000831015611f615750655af3107a40009050600e6121eb565b50678ac7230489e80000905060136121eb565b6b204fce5e3e25026110000000831015611fc65769152d02c7e14af6800000831015611faf575069152d02c7e14af6800000905060176121eb565b506b204fce5e3e250261100000009050601c6121eb565b6d314dc6448d9338c15b0a00000000831015611ff557506d314dc6448d9338c15b0a00000000905060216121eb565b506f4b3b4ca85a86c47a098a224000000000905060266121eb565b780197d4df19d605767337e9f14d3eec8920e4000000000000008310156121085773af298d050e4395d69670b12b7f410000000000008310156120a3577172cb5bd86321e38cb6ce6682e8000000000083101561208457507172cb5bd86321e38cb6ce6682e800000000009050602b6121eb565b5073af298d050e4395d69670b12b7f41000000000000905060306121eb565b76010b46c6cdd6e3e0828f4db456ff0c8ea00000000000008310156120e4575076010b46c6cdd6e3e0828f4db456ff0c8ea0000000000000905060356121eb565b50780197d4df19d605767337e9f14d3eec8920e4000000000000009050603a6121eb565b7c03b58e88c75313ec9d329eaaa18fb92f75215b1710000000000000000083101561219e577a026e4d30eccc3215dd8f3157d27e23acbdcfe6800000000000000083101561217657507a026e4d30eccc3215dd8f3157d27e23acbdcfe680000000000000009050603f6121eb565b507c03b58e88c75313ec9d329eaaa18fb92f75215b17100000000000000000905060446121eb565b7e05a8e89d75252446eb5d5d5b1cc5edf20a1a059e10ca0000000000000000008310156121eb57507e05a8e89d75252446eb5d5d5b1cc5edf20a1a059e10ca000000000000000000905060495b81831161221f57600a820491507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff016121eb565b815f03612262576040517f05e51ecb000000000000000000000000000000000000000000000000000000008152600481018d9052602481018c90526044016108ce565b856122a3576040517f05e51ecb000000000000000000000000000000000000000000000000000000008152600481018f9052602481018e90526044016108ce565b807f8000000000000000000000000000000000000000000000000000000000000000018d126122d657808d039c50612349565b7f80000000000000000000000000000000000000000000000000000000000000009c90038c015f81131561234957807f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038b1361233657998a0199612349565b5f8099509950505050505050505061240f565b5f808e12801561235857505f8c135b15612395577f80000000000000000000000000000000000000000000000000000000000000008e01808d1361238d575f612391565b808d035b9150505b8b818f010397506123b28f8e6123ac888789613d65565b8b613e4a565b90995097505f8113156123fc57604c8113156123dc575f809a509a5050505050505050505061240f565b80600a0a89816123ee576123ee61499e565b059850885f036123fc575f97505b5096985094965061240f95505050505050565b94509492505050565b5f61242585858585613200565b1495945050505050565b60608161243c8482613be7565b90945092505f8061246d7f161bcca7119915b50764b4abe86529797775a5f171951000000000000000000087614bb9565b1561249d57507f161bcca7119915b50764b4abe86529797775a5f17195100000000000000000009050604c6124c4565b507f0235fadd81c2822bb3f07877973d50f28bf22a31be8ee80000000000000000009050604b5b5f6124cf8388614bb9565b90505f6124dc8489614c20565b90505f808312156124f6575060016124f383614c33565b92505b5f82121561250d5750600161250a82614c33565b91505b60408051602081019091525f81528215612616575f8061252e600a89614c63565b90505b61253b8186614bb9565b5f036125605761254c600a82614c63565b90508161255881614c76565b925050612531565b60408051602081019091525f8082525b838110156125c157816040516020016125899190614cc4565b604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08184030181529190529150600101612570565b505b6125ce600a87614c20565b5f036125e6576125df600a87614bb9565b95506125c3565b806125f0876141f2565b604051602001612601929190614cfc565b60405160208183030381529060405293505050505b5f612620856141f2565b90505f61262d878c614a1e565b9050637fffffff81138061266057507fffffffffffffffffffffffffffffffffffffffffffffffffffffffff8000000081125b1561269a576040517fe44c72b0000000000000000000000000000000000000000000000000000000008152600481018a90526024016108ce565b5f81156126ce576126aa826141f2565b6040516020016126ba9190614d3e565b6040516020818303038152906040526126de565b60405180602001604052805f8152505b90505f856126fa5760405180602001604052805f815250612731565b6040518060400160405280600181526020017f2d000000000000000000000000000000000000000000000000000000000000008152505b90508084868460405160200161274a9493929190614d6f565b6040516020818303038152906040529b50505050505050505050505092915050565b60606103e882138061278757506127846103e8614c33565b82125b156127c1576040517fe44c72b0000000000000000000000000000000000000000000000000000000008152600481018390526024016108ce565b5f8084129081156127dc576127d585614c33565b90506127df565b50835b5f8413156128a2578360448110612825576040517fe44c72b0000000000000000000000000000000000000000000000000000000008152600481018690526024016108ce565b7b7fffffffffffffffffffffffffffffffffffffffffffffffffffffff5f5b8281101561286157612857600a83614c63565b9150600101612844565b508083111561289f576040517fe44c72b0000000000000000000000000000000000000000000000000000000008152600481018790526024016108ce565b50505b5f6128ac8261427e565b80519091505f5b818110801561292f575082816128ca600185614d8f565b6128d49190614d8f565b815181106128e4576128e4614da2565b6020910101517fff00000000000000000000000000000000000000000000000000000000000000167f3000000000000000000000000000000000000000000000000000000000000000145b15612946578061293e81614c76565b9150506128b3565b5f6129518284614d8f565b90505f61295e838a614a1e565b90505f8761297a5760405180602001604052805f8152506129b1565b6040518060400160405280600181526020017f2d000000000000000000000000000000000000000000000000000000000000008152505b90505f8212612b2b57815f6129c68286614dcf565b67ffffffffffffffff8111156129de576129de61487f565b6040519080825280601f01601f191660200182016040528015612a08576020820181803683370190505b5090505f5b85811015612a7a57888181518110612a2757612a27614da2565b602001015160f81c60f81b828281518110612a4457612a44614da2565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a905350600101612a0d565b505f5b82811015612af7577f300000000000000000000000000000000000000000000000000000000000000082612ab18389614dcf565b81518110612ac157612ac1614da2565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a905350600101612a7d565b508281604051602001612b0b929190614de2565b6040516020818303038152906040529a5050505050505050505050610684565b5f612b3583614c33565b905080841115612d4c575f612b4a8286614d8f565b90505f612b58866001614dcf565b67ffffffffffffffff811115612b7057612b7061487f565b6040519080825280601f01601f191660200182016040528015612b9a576020820181803683370190505b5090505f5b82811015612c0c57898181518110612bb957612bb9614da2565b602001015160f81c60f81b828281518110612bd657612bd6614da2565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a905350600101612b9f565b507f2e00000000000000000000000000000000000000000000000000000000000000818381518110612c4057612c40614da2565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a9053505f5b83811015612d175789612c838285614dcf565b81518110612c9357612c93614da2565b01602001517fff00000000000000000000000000000000000000000000000000000000000000168282612cc7866001614dcf565b612cd19190614dcf565b81518110612ce157612ce1614da2565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a905350600101612c70565b508381604051602001612d2b929190614de2565b6040516020818303038152906040529b505050505050505050505050610684565b5f612d578583614d8f565b90505f85612d66836002614dcf565b612d709190614dcf565b67ffffffffffffffff811115612d8857612d8861487f565b6040519080825280601f01601f191660200182016040528015612db2576020820181803683370190505b5090507f3000000000000000000000000000000000000000000000000000000000000000815f81518110612de857612de8614da2565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a9053507f2e0000000000000000000000000000000000000000000000000000000000000081600181518110612e4a57612e4a614da2565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a9053505f5b82811015612ef5577f300000000000000000000000000000000000000000000000000000000000000082612eaf836002614dcf565b81518110612ebf57612ebf614da2565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a905350600101612e7a565b505f5b86811015612d1757898181518110612f1257612f12614da2565b01602001517fff00000000000000000000000000000000000000000000000000000000000000168282612f46866002614dcf565b612f509190614dcf565b81518110612f6057612f60614da2565b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690815f1a905350600101612ef8565b5f805f805f612fa58787613946565b92509250925080612fec576040517fc471796600000000000000000000000000000000000000000000000000000000815260048101849052602481018390526044016108ce565b50909590945092505050565b5f805f6130058585613840565b915091508061149e576040517f22c9f7bb00000000000000000000000000000000000000000000000000000000815260048101869052602481018590526044016108ce565b5f8061305684846132d4565b9094509250613067868686866130d0565b9150915094509492505050565b5f805f6130828686866114a6565b91509150806130c7576040517f05e4767800000000000000000000000000000000000000000000000000000000815260048101879052602481018690526044016108ce565b50949350505050565b5f80851584151780156130fc57865f036130f0578484925092505061240f565b8686925092505061240f565b6131068787613be7565b90975095506131158585613be7565b909550935085841315613129579395929492935b838603604c81111561314257878793509350505061240f565b80600a0a86816131545761315461499e565b0595505086850180881860ff90811c151589881890911c151680156131ef57877f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff036131d6576040517fd556b111000000000000000000000000000000000000000000000000000000008152600481018a9052602481018990526044016108ce565b600a9687900596909805860197600197909701966131f3565b8198505b5096979596505050505050565b5f8085158415178187128286121817858414178015613225578685925092505061240f565b505f85841315613239575092949193919260015b8386035f8112604c821317801561326c57821561325e575f899450945050505061240f565b885f9450945050505061240f565b600a82900a8981028a8282816132845761328461499e565b05146132b05784156132a0575f8b96509650505050505061240f565b8a5f96509650505050505061240f565b84156132c557889650945061240f9350505050565b955087945061240f9350505050565b5f807f8000000000000000000000000000000000000000000000000000000000000000840361336d577f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8303613360576040517fd556b11100000000000000000000000000000000000000000000000000000000815260048101859052602481018490526044016108ce565b600a840593508260010192505b50505f9190910391565b5f82818061338c83866520000000000061433a565b925085831415836133a681886703ff00000000000061433a565b94508085036133e057507f34bd20690000000000000000000000000000000000000000000000000000000094505f92508291506138379050565b5f806133ec8a88614363565b90925090507fffffffff0000000000000000000000000000000000000000000000000000000082161561342a575095505f9350839250613837915050565b86519095506540000000000060015f9290921a9190911b1615158887101691505080156136b957506001909301925f8461346d81896703ff00000000000061433a565b95508086036134a857507f7bfa48af0000000000000000000000000000000000000000000000000000000095505f9350839250613837915050565b855b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81018051908a1160015f9290921a9190911b660100000000000016151516600103613517577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff016134aa565b81811461356e575f8061352a8484614363565b90925090507fffffffff0000000000000000000000000000000000000000000000000000000082161561356a575097505f95508594506138379350505050565b9350505b5f8312156135a957507f7bfa48af0000000000000000000000000000000000000000000000000000000096505f945084935061383792505050565b83156135b557825f0392505b80820394505f8513156135f557507f013b2aaa0000000000000000000000000000000000000000000000000000000096505f945084935061383792505050565b855f03613604578295506136b6565b5f859003604381111561364557507f32b8b8be0000000000000000000000000000000000000000000000000000000097505f95508594506138379350505050565b600a0a8681025f8883838161365c5761365c61499e565b0514159050601b82900b82141581806136725750805b156136ae57507f32b8b8be000000000000000000000000000000000000000000000000000000009a505f98508897506138379650505050505050565b505084019650505b50505b84516c2000000020000000000000000060015f9290921a9190911b16151587861016801561382857600190950194856136f9818a6520000000000061433a565b80519097506508000000000060015f9290921a82901b1615158a89101690036137255750600190950194855b86613739818b6703ff00000000000061433a565b975080880361377657507f013b2aaa0000000000000000000000000000000000000000000000000000000097505f95508594506138379350505050565b505f80613783838a614363565b90925090507fffffffff000000000000000000000000000000000000000000000000000000008216156137c3575097505f95508594506138379350505050565b9250508482015f831380156137d757508581125b806137eb57505f831280156137eb57508581135b1561382457507fd556b1110000000000000000000000000000000000000000000000000000000097505f95508594506138379350505050565b9450505b845f03613833575f93505b5050505b92959194509250565b5f601b83900b83148383826138a4577d90e40fbeea1d3a4abc8955e946fe31cdcf66f634e100000000000000000086051561388457620186a0860595506005850194505b8586601b0b1461389f57600a86059550846001019450613884565b6138ba565b855f036138ba57505f9250600191506106ad9050565b848560030b14613916575f8512156138da57505f92508291506106ad9050565b6040517fd556b11100000000000000000000000000000000000000000000000000000000815260048101839052602481018290526044016108ce565b50507bffffffffffffffffffffffffffffffffffffffffffffffffffffffff841660e084901b1791509250929050565b5f808060ff841681037f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff86111561399157600a860460018201600a88065f149350935093505061399b565b8593509150600190505b9250925092565b5f805f837ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc036139da57508391505f9050600161399b565b7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc841215613a68577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb0841215613a3957505f915050821515600161399b565b5f846004015f03600a0a90505f818781613a5557613a5561499e565b059450508084028614159250905061399b565b5f8412613a7d57505f9150819050600161399b565b50505060048101600a0a82025f600161399b565b5f80806064613aa3600a612328614c63565b613ab0600a612328614c63565b613abb906002614df0565b613ac6906001614dcf565b613ad09190614dcf565b613ada9190614dcf565b9050613b1e565b5f8052600280600a8504028301601e833c5f80516107d0840193505f80526001600a8606600a6064880402018501601f853c5f5101949350505050565b613b29858288613ae1565b92508315611b4d57613b3f600186018288613ae1565b915050935093915050565b5f80888803613b5d575083905081613bdb565b5f805f80613b6d8c8b8f8d61304a565b915091505f80613b7f8a8a8d8c61304a565b91509150613b8f84848484611cd5565b8096508197505050505050505f80613ba98b8b8f8d61304a565b915091505f80613bbb86868686611df4565b915091505f80613bcd84848f8e6130d0565b909a50985050505050505050505b97509795505050505050565b5f805f805f613bf68787613f51565b92509250925080612fec576040517f05e51ecb00000000000000000000000000000000000000000000000000000000815260048101889052602481018790526044016108ce565b5f80613c4c600a612328614c63565b613c57906002614df0565b613c62906001614dcf565b90505f613c72600a612328614c63565b90506002600a8504026001015f8052600281601e883c505f51617fff81169350618000811615613ca157918101915b505f80526001600a8506600a6064870402018301601f873c50505f510192915050565b5f80821215613d21577f80000000000000000000000000000000000000000000000000000000000000008203613d1b57507f8000000000000000000000000000000000000000000000000000000000000000919050565b505f0390565b5090565b919050565b5f807fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff83850993909202808410938190039390930393915050565b5f805f613d728686613d2a565b91509150815f03613d9657838181613d8c57613d8c61499e565b0492505050610695565b838210613de0576040517f6c59da120000000000000000000000000000000000000000000000000000000081526004810187905260248101869052604481018590526064016108ce565b5f84868809600186198101871696879004966002600389028118808a02820302808a02820302808a02820302808a02820302808a02820302808a02909103025f82900382900490920185841190960395909502919093039390930492909217029150509392505050565b5f805f8587181215613f14577f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff841115613f0157613ea97f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6001614dcf565b8403613ed957507f800000000000000000000000000000000000000000000000000000000000000090508161240f565b613ee4600a85614c63565b613eed90614c33565b613ef8846001614a1e565b9150915061240f565b613f0a84614c33565b839150915061240f565b7f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff841115613f4757613eed600a85614c63565b508290508161240f565b5f805f845f03613f6957505f9150819050600161399b565b7f0235fadd81c2822bb3f07877973d50f28bf22a31be8ee800000000000000000085055f0361417d576f4b3b4ca85a86c47a098a2240000000008505158015613fd257507f80000000000000000000000000000000000000000000000000000000000000268412155b15613ff3576f4b3b4ca85a86c47a098a224000000000850294506026840393505b7728c87cb5c89a2571ebfdcb54864ada834a00000000000000850515801561403b57507f80000000000000000000000000000000000000000000000000000000000000138412155b1561405457678ac7230489e80000850294506013840393505b7b097edd871cfda3a5697758bf0e3cbb5ac5741c64000000000000000085051580156140a057507f800000000000000000000000000000000000000000000000000000000000000a8412155b156140b6576402540be40085029450600a840393505b7e3899162693736ac531a5a58f1fbb4b746504382ca7e4000000000000000000850515801561410557507f80000000000000000000000000000000000000000000000000000000000000028412155b1561411b576064850294506002840393506140b6565b7f0235fadd81c2822bb3f07877973d50f28bf22a31be8ee8000000000000000000850515801561416b57507f80000000000000000000000000000000000000000000000000000000000000018412155b1561417d57600a850294506001840393505b600a808602908105861480156141b357507f80000000000000000000000000000000000000000000000000000000000000018512155b156141c2578095506001850394505b50939492935050507f0235fadd81c2822bb3f07877973d50f28bf22a31be8ee80000000000000000008305151590565b60605f821261420f5760405180602001604052805f815250614246565b6040518060400160405280600181526020017f2d000000000000000000000000000000000000000000000000000000000000008152505b61425760ff84901d8085011861427e565b604051602001614268929190614de2565b6040516020818303038152906040529050919050565b60605f61428a8361448d565b60010190505f8167ffffffffffffffff8111156142a9576142a961487f565b6040519080825280601f01601f1916602001820160405280156142d3576020820181803683370190505b5090508181016020015b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff017f3031323334353637383961626364656600000000000000000000000000000000600a86061a8153600a85049450846142dd57509392505050565b5f5b5f82600186515f1a1b1611838510161561435b5760018401935061433c565b509192915050565b81515f90819065200000000000600191831a9190911b16151583851016808501908280614390848861456e565b90925090507fffffffff000000000000000000000000000000000000000000000000000000008216156143cb575093505f92506106ad915050565b825f0361442e577f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81116143ff575f614421565b7f0fdc2635000000000000000000000000000000000000000000000000000000005b955093506106ad92505050565b7f8000000000000000000000000000000000000000000000000000000000000000811161445b575f61447d565b7f0fdc2635000000000000000000000000000000000000000000000000000000005b95505f0393505050509250929050565b5f807a184f03e93ff9f4daa797ed6e38ed64bf6a1f01000000000000000083106144d5577a184f03e93ff9f4daa797ed6e38ed64bf6a1f010000000000000000830492506040015b6d04ee2d6d415b85acef81000000008310614501576d04ee2d6d415b85acef8100000000830492506020015b662386f26fc10000831061451f57662386f26fc10000830492506010015b6305f5e1008310614537576305f5e100830492506008015b612710831061454b57612710830492506004015b6064831061455d576064830492506002015b600a83106106845760010192915050565b5f808284106145a157507f34bd20690000000000000000000000000000000000000000000000000000000090505f6106ad565b835f036145da576040517fda6966d400000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b60305f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8501815b8782101580156146125750604d83105b1561465557815160018401937fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff90930192600a0a5f9190911a8590030201614602565b87821061477b5781515f1a849003600181111561469d57507f0fdc26350000000000000000000000000000000000000000000000000000000095505f94506106ad9350505050565b600a84900a81028281018311156146e057507f0fdc26350000000000000000000000000000000000000000000000000000000096505f95506106ad945050505050565b9190910190507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff909101905b87821061477b5781515f1a6030811461475057507f0fdc26350000000000000000000000000000000000000000000000000000000095505f94506106ad9350505050565b507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff9091019061470c565b5f9890975095505050505050565b5f60208284031215614799575f80fd5b5035919050565b5f80604083850312156147b1575f80fd5b50508035926020909101359150565b803560ff81168114613d25575f80fd5b5f80604083850312156147e1575f80fd5b823591506147f1602084016147c0565b90509250929050565b5f806040838503121561480b575f80fd5b8235915060208301358015158114614821575f80fd5b809150509250929050565b602081525f82518060208401528060208501604085015e5f6040828501015260407fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f83011684010191505092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b5f602082840312156148bc575f80fd5b813567ffffffffffffffff808211156148d3575f80fd5b818401915084601f8301126148e6575f80fd5b8135818111156148f8576148f861487f565b604051601f82017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0908116603f0116810190838211818310171561493e5761493e61487f565b81604052828152876020848701011115614956575f80fd5b826020860160208301375f928101602001929092525095945050505050565b5f805f60608486031215614987575f80fd5b505081359360208301359350604090920135919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b8181035f831280158383131683831282161715614a1757614a176149cb565b5092915050565b8082018281125f831280158216821582161715614a3d57614a3d6149cb565b505092915050565b8082025f82127f800000000000000000000000000000000000000000000000000000000000000084141615614a7c57614a7c6149cb565b8181058314821517610684576106846149cb565b600181815b80851115614ae957817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04821115614acf57614acf6149cb565b80851615614adc57918102915b93841c9390800290614a95565b509250929050565b5f82614aff57506001610684565b81614b0b57505f610684565b8160018114614b215760028114614b2b57614b47565b6001915050610684565b60ff841115614b3c57614b3c6149cb565b50506001821b610684565b5060208310610133831016604e8410600b8410161715614b6a575081810a610684565b614b748383614a90565b807fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04821115614ba657614ba66149cb565b029392505050565b5f6106958383614af1565b5f82614bc757614bc761499e565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff83147f800000000000000000000000000000000000000000000000000000000000000083141615614c1b57614c1b6149cb565b500590565b5f82614c2e57614c2e61499e565b500790565b5f7f80000000000000000000000000000000000000000000000000000000000000008203613d1b57613d1b6149cb565b5f82614c7157614c7161499e565b500490565b5f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8203614ca657614ca66149cb565b5060010190565b5f81518060208401855e5f93019283525090919050565b5f614ccf8284614cad565b7f300000000000000000000000000000000000000000000000000000000000000081526001019392505050565b7f2e0000000000000000000000000000000000000000000000000000000000000081525f614d36614d306001840186614cad565b84614cad565b949350505050565b7f650000000000000000000000000000000000000000000000000000000000000081525f6106956001830184614cad565b5f610a29614d30614d89614d83858a614cad565b88614cad565b86614cad565b81810381811115610684576106846149cb565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b80820180821115610684576106846149cb565b5f614d36614d308386614cad565b8082028115828204841417610684576106846149cb56" } } \ No newline at end of file From bef4e867a73fbf0010e6322eba59e2270a851582 Mon Sep 17 00:00:00 2001 From: David Meister Date: Sun, 5 Jul 2026 03:17:56 +0000 Subject: [PATCH 3/3] fix(ci): rainix-sol test regenerate deploy constants for PR bytecode [3b-attempt] ZOLTU_DEPLOYED_DECIMAL_FLOAT_ADDRESS and DECIMAL_FLOAT_CONTRACT_HASH are now set to the values computed from this PR's bytecode (explicit + sign in e-notation exponent changes source). Computed by testDeployAddress and testExpectedCodeHashDecimalFloat failure output: address: 0x9b0eF7FbDF04b3A58989860Dea0534C978d64464 hash: 0x369ac78d686dfdf1d41771dc7bf321dcd339b0a454dc9cf6c37eff579c3a0c3a Co-Authored-By: Claude --- src/lib/deploy/LibDecimalFloatDeploy.sol | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/lib/deploy/LibDecimalFloatDeploy.sol b/src/lib/deploy/LibDecimalFloatDeploy.sol index acd22d0e..eeb11b71 100644 --- a/src/lib/deploy/LibDecimalFloatDeploy.sol +++ b/src/lib/deploy/LibDecimalFloatDeploy.sol @@ -25,11 +25,11 @@ library LibDecimalFloatDeploy { /// @dev Address of the DecimalFloat contract deployed via Zoltu's /// deterministic deployment proxy. /// This address is the same across all EVM-compatible networks. - address constant ZOLTU_DEPLOYED_DECIMAL_FLOAT_ADDRESS = address(0x799632d282178e770C7465cad54aDA1021A913D6); + address constant ZOLTU_DEPLOYED_DECIMAL_FLOAT_ADDRESS = address(0x9b0eF7FbDF04b3A58989860Dea0534C978d64464); /// @dev The expected codehash of the DecimalFloat contract deployed via /// Zoltu's deterministic deployment proxy. - bytes32 constant DECIMAL_FLOAT_CONTRACT_HASH = 0xdc468883c345d41c0abd98ef2fd933c370bd1682522d37e6f6b729793301f55e; + bytes32 constant DECIMAL_FLOAT_CONTRACT_HASH = 0x369ac78d686dfdf1d41771dc7bf321dcd339b0a454dc9cf6c37eff579c3a0c3a; /// @dev Deploy constants pinned to each version published to the soldeer /// registry. These are frozen literals — not aliases of the "current"