HatsFractionTokenModule | Base

codeslaw

HatsFractionTokenModuleSolidityv0.8.24+commit.e11b9ed9

network

Base

address0xb7420be4403f45f6cd6bba10046cafebdb557d18

deployer0x13b0D85CcB8bf860b6b79AF3029fCA081AE9beF2

tx last 12 months

0 txs

calls last 12 months

357 calls

30 Files

@openzeppelin

contracts

interfaces

draft-IERC6093.sol

proxy

utils

Initializable.sol

token

ERC1155

ERC1155.sol

IERC1155.sol

IERC1155Receiver.sol

extensions

ERC1155Supply.sol

IERC1155MetadataURI.sol

utils

ERC1155Utils.sol

utils

Address.sol

Arrays.sol

Comparators.sol

Context.sol

Errors.sol

Multicall.sol

Panic.sol

SlotDerivation.sol

StorageSlot.sol

introspection

ERC165.sol

IERC165.sol

math

Math.sol

SafeCast.sol

contracts

hats

module

HatsModule.sol

IHatsModule.sol

src

Interfaces

HatsErrors.sol

HatsEvents.sol

IHats.sol

IHatsIdUtilities.sol

hatsmodules

fractiontoken

HatsFractionTokenModule.sol

IHatsFractionTokenModule.sol

solady

src

utils

Clone.sol

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

abi

constructor

constructor(string _version)

functions

balanceOf

view

function balanceOf(address _account, address _wearer, uint256 _hatId) view returns (uint256)

balanceOf

view

function balanceOf(address account, uint256 id) view returns (uint256)

balanceOfBatch

view

function balanceOfBatch(address[] _accounts, address[] _wearers, uint256[] _hatIds) view returns (uint256[])

balanceOfBatch

view

function balanceOfBatch(address[] accounts, uint256[] ids) view returns (uint256[])

DEFAULT_TOKEN_SUPPLY

view

function DEFAULT_TOKEN_SUPPLY() view returns (uint256)

exists

view

function exists(uint256 id) view returns (bool)

getDomain

view

function getDomain() view returns (uint32)

getTokenId

pure

function getTokenId(uint256 _hatId, address _wearer) pure returns (uint256)

getTokenRecipients

view

function getTokenRecipients(uint256 tokenId) view returns (address[])

hatId

pure

function hatId() pure returns (uint256)

HATS

pure

function HATS() pure returns (address)

IMPLEMENTATION

pure

function IMPLEMENTATION() pure returns (address)

isApprovedForAll

view

function isApprovedForAll(address account, address operator) view returns (bool)

MAX_SUPPLY_PER_ROLE_USER

view

function MAX_SUPPLY_PER_ROLE_USER() view returns (uint256)

supportsInterface

view

function supportsInterface(bytes4 interfaceId) view returns (bool)

totalSupply

view

function totalSupply() view returns (uint256)

totalSupply

view

function totalSupply(address _wearer, uint256 _hatId) view returns (uint256)

totalSupply

view

function totalSupply(uint256 id) view returns (uint256)

uri

view

function uri(uint256) view returns (string)

version_

view

function version_() view returns (string)

version

view

function version() view returns (string)

batchMintInitialSupply

nonpayable

function batchMintInitialSupply(uint256[] _hatIds, address[] _wearers, uint256[] _amounts)

burn

nonpayable

function burn(uint256 _hatId, address _wearer, address _target, uint256 _amount)

mint

nonpayable

function mint(uint256 _hatId, address _wearer, uint256 _amount)

mintInitialSupply

nonpayable

function mintInitialSupply(uint256 _hatId, address _wearer, uint256 _amount)

multicall

nonpayable

function multicall(bytes[] data) returns (bytes[] results)

safeBatchTransferFrom

nonpayable

function safeBatchTransferFrom(address _from, address _to, uint256[] _ids, uint256[] _amounts, bytes _data)

safeTransferFrom

nonpayable

function safeTransferFrom(address _from, address _to, uint256 _id, uint256 _amount, bytes _data)

setApprovalForAll

nonpayable

function setApprovalForAll(address operator, bool approved)

setUp

nonpayable

function setUp(bytes _initData)

events

AdditionalMint

event AdditionalMint(uint256 indexed hatId, address indexed wearer, uint256 indexed tokenId, uint256 amount)

ApprovalForAll

event ApprovalForAll(address indexed account, address indexed operator, bool approved)

Initialized

event Initialized(uint64 version)

InitialMint

event InitialMint(uint256 indexed hatId, address indexed wearer, uint256 indexed tokenId, uint256 amount)

TokensBurned

event TokensBurned(uint256 indexed hatId, address indexed wearer, uint256 indexed tokenId, uint256 amount)

TokenSupplyUpdated

event TokenSupplyUpdated(uint256 oldSupply, uint256 newSupply)

TransferBatch

event TransferBatch(address indexed operator, address indexed from, address indexed to, uint256[] ids, uint256[] values)

TransferSingle

event TransferSingle(address indexed operator, address indexed from, address indexed to, uint256 id, uint256 value)

URI

event URI(string value, uint256 indexed id)

errors

AddressEmptyCode

error AddressEmptyCode(address target)

ArrayLengthMismatch

error ArrayLengthMismatch()

CallerNotHatAdminOrWearer

error CallerNotHatAdminOrWearer()

CannotTransferAllTokens

error CannotTransferAllTokens()

ERC1155InsufficientBalance

error ERC1155InsufficientBalance(address sender, uint256 balance, uint256 needed, uint256 tokenId)

ERC1155InvalidApprover

error ERC1155InvalidApprover(address approver)

ERC1155InvalidArrayLength

error ERC1155InvalidArrayLength(uint256 idsLength, uint256 valuesLength)

ERC1155InvalidOperator

error ERC1155InvalidOperator(address operator)

ERC1155InvalidReceiver

error ERC1155InvalidReceiver(address receiver)

ERC1155InvalidSender

error ERC1155InvalidSender(address sender)

ERC1155MissingApprovalForAll

error ERC1155MissingApprovalForAll(address operator, address owner)

FailedCall

error FailedCall()

HatIdMustBeTopHat

error HatIdMustBeTopHat()

InitialSupplyNotMinted

error InitialSupplyNotMinted()

InvalidHatIdForDomain

error InvalidHatIdForDomain()

InvalidInitialization

error InvalidInitialization()

NotInitializing

error NotInitializing()

TokenAlreadyMinted

error TokenAlreadyMinted()

TokenSupplyExceedsMax

error TokenSupplyExceedsMax()

WearerDoesNotHaveHat

error WearerDoesNotHaveHat()

bytecode

creation bytecode

0x60a06040523462000047576200001e62000018620001bb565b62000243565b620000286200004d565b6147bb6200082d82396080518181816108bd015261352101526147bb90f35b62000053565b60405190565b600080fd5b601f801991011690565b634e487b7160e01b600052604160045260246000fd5b90620000849062000058565b810190811060018060401b038211176200009d57604052565b62000062565b90620000ba620000b26200004d565b928362000078565b565b600080fd5b600080fd5b600080fd5b600080fd5b60018060401b038111620000ef57620000eb60209162000058565b0190565b62000062565b60005b8381106200010a575050906000910152565b806020918301518185015201620000f8565b90929192620001356200012f82620000d0565b620000a3565b9381855260208501908284011162000154576200015292620000f5565b565b620000cb565b9080601f830112156200017b5781602062000178935191016200011c565b90565b620000c6565b90602082820312620001b557600082015160018060401b038111620001af57620001ac92016200015a565b90565b620000c1565b620000bc565b620001de62004fe880380380620001d281620000a3565b92833981019062000181565b90565b90620001f7620001f183620000d0565b620000a3565b918252565b620002086000620001e1565b90565b62000215620001fc565b90565b90565b90565b90565b6200023a62000234620002409262000218565b6200021e565b6200021b565b90565b6200025890620002526200020b565b6200026b565b62000266620f424062000221565b608052565b90620002779162000279565b565b90620002859162000287565b565b90620002939162000295565b565b620002a4620002aa92620002ac565b620005b3565b565b620002b790620002b9565b565b620002c490620002c6565b565b620002d190620002d3565b565b620002de90620002e0565b565b620002eb90620002ed565b565b620002f8906200059a565b565b5190565b634e487b7160e01b600052602260045260246000fd5b906001600283049216801562000337575b60208310146200033157565b620002fe565b91607f169162000325565b600052602060002090565b601f602091010490565b1b90565b919060086200037b910291620003746000198462000357565b9262000357565b9181191691161790565b6200039e62000398620003a4926200021b565b6200021e565b6200021b565b90565b90565b9190620003c5620003bf620003ce9362000385565b620003a7565b9083546200035b565b9055565b600090565b620003ed91620003e6620003d2565b91620003aa565b565b5b818110620003fc575050565b806200040c6000600193620003d7565b01620003f0565b9190601f811162000424575b505050565b620004336200045e9362000342565b90602062000441846200034d565b8301931062000467575b62000456906200034d565b0190620003ef565b3880806200041f565b915062000456819290506200044b565b1c90565b906200048e906000199060080262000477565b191690565b816200049f916200047b565b906002021790565b90620004b381620002fa565b9060018060401b0382116200058657620004da82620004d3855462000314565b8562000413565b602090601f83116001146200051457918091620005029360009262000507575b505062000493565b90555b565b90915001513880620004fa565b601f19831691620005258562000342565b9260005b8181106200056d5750916002939185600196941062000550575b5050500201905562000505565b62000562910151601f8416906200047b565b905538808062000543565b9193602060018192878701518155019501920162000529565b62000062565b906200059891620004a7565b565b620005a79060006200058c565b620005b1620006d3565b565b620005c09060036200058c565b565b60401c90565b60ff1690565b620005dd620005e391620005c2565b620005c8565b90565b620005f29054620005ce565b90565b60000190565b60001c90565b60018060401b031690565b6200061b6200062191620005fb565b62000601565b90565b6200063090546200060c565b90565b60018060401b031690565b60001b90565b906200065760018060401b03916200063e565b9181191691161790565b6200067a62000674620006809262000633565b6200021e565b62000633565b90565b90565b90620006a06200069a620006a89262000661565b62000683565b825462000644565b9055565b620006b79062000633565b9052565b9190620006d190600060208501940190620006ac565b565b620006dd620007ac565b620006eb60008201620005e6565b6200078557620006fe6000820162000624565b6200071a6200071360018060401b0362000633565b9162000633565b0362000724575b50565b6200073a90600060018060401b03910162000686565b60018060401b036200077b7fc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d291620007716200004d565b91829182620006bb565b0390a13862000721565b6200078f6200004d565b63f92ee8a960e01b815280620007a860048201620005f5565b0390fd5b620007b662000814565b90565b600090565b90565b90565b620007dd620007d7620007e392620007be565b6200063e565b620007c1565b90565b620008117ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00620007c4565b90565b6200081e620007b9565b5062000829620007e6565b9056fe60806040526004361015610013575b6115a2565b61001e6000356101fc565b8062fdd58e146101f757806301ffc9a7146101f257806307ace2b5146101ed5780630be49bca146101e85780630e89341c146101e357806310f9f7b4146101de57806318160ddd146101d95780632813a3eb146101d45780632eb2c2d6146101cf578063346e6c0e146101ca57806336073b2e146101c55780633a4741bd146101c05780634e1273f4146101bb5780634f558e79146101b657806354fd4d50146101b1578063616151a6146101ac5780637150ef88146101a7578063836a1040146101a2578063a22cb4651461019d578063a4f9edbf14610198578063ac9650d814610193578063ae3f91c61461018e578063b68d180914610189578063bd85b03914610184578063dd1bb1fc1461017f578063e93119d91461017a578063e985e9c514610175578063ebdc8e7314610170578063eef9f0c01461016b5763f242432a0361000e5761156b565b6114c6565b611452565b6113d5565b611371565b611301565b61117d565b611148565b6110e8565b6110b2565b610f23565b610e74565b610dee565b610d7e565b610cee565b610c8b565b610c56565b610c20565b610b8d565b610b36565b610a7e565b610a47565b6108df565b610886565b610850565b61056c565b6104b1565b6103bc565b610377565b6102ca565b60e01c90565b60405190565b600080fd5b600080fd5b600080fd5b60018060a01b031690565b61022b90610217565b90565b61023781610222565b0361023e57565b600080fd5b905035906102508261022e565b565b90565b61025e81610252565b0361026557565b600080fd5b9050359061027782610255565b565b91906040838203126102a2578061029661029f9260008601610243565b9360200161026a565b90565b61020d565b6102b090610252565b9052565b91906102c8906000602085019401906102a7565b565b346102fb576102f76102e66102e0366004610279565b9061162b565b6102ee610202565b918291826102b4565b0390f35b610208565b63ffffffff60e01b1690565b61031581610300565b0361031c57565b600080fd5b9050359061032e8261030c565b565b9060208282031261034a5761034791600001610321565b90565b61020d565b151590565b61035d9061034f565b9052565b919061037590600060208501940190610354565b565b346103a7576103a361039261038d366004610330565b611658565b61039a610202565b91829182610361565b0390f35b610208565b60009103126103b757565b61020d565b346103ec576103cc3660046103ac565b6103e86103d76116df565b6103df610202565b918291826102b4565b0390f35b610208565b9060208282031261040b576104089160000161026a565b90565b61020d565b5190565b60209181520190565b60200190565b61042c90610222565b9052565b9061043d81602093610423565b0190565b60200190565b9061046461045e61045784610410565b8093610414565b9261041d565b9060005b8181106104755750505090565b90919261048e6104886001928651610430565b94610441565b9101919091610468565b6104ae9160208201916000818403910152610447565b90565b346104e1576104dd6104cc6104c73660046103f1565b6117f7565b6104d4610202565b91829182610498565b0390f35b610208565b5190565b60209181520190565b60005b838110610507575050906000910152565b8060209183015181850152016104f6565b601f801991011690565b61054161054a60209361054f93610538816104e6565b938480936104ea565b958691016104f3565b610518565b0190565b6105699160208201916000818403910152610522565b90565b3461059c576105986105876105823660046103f1565b611827565b61058f610202565b91829182610553565b0390f35b610208565b600080fd5b634e487b7160e01b600052604160045260246000fd5b906105c690610518565b810190811067ffffffffffffffff8211176105e057604052565b6105a6565b906105f86105f1610202565b92836105bc565b565b67ffffffffffffffff81116106125760208091020190565b6105a6565b600080fd5b9092919261063161062c826105fa565b6105e5565b938185526020808601920283019281841161066e57915b8383106106555750505050565b602080916106638486610243565b815201920191610648565b610617565b9080601f830112156106915781602061068e9335910161061c565b90565b6105a1565b67ffffffffffffffff81116106ae5760208091020190565b6105a6565b909291926106c86106c382610696565b6105e5565b938185526020808601920283019281841161070557915b8383106106ec5750505050565b602080916106fa848661026a565b8152019201916106df565b610617565b9080601f8301121561072857816020610725933591016106b3565b90565b6105a1565b916060838303126107aa57600083013567ffffffffffffffff81116107a55782610758918501610673565b92602081013567ffffffffffffffff81116107a05783610779918301610673565b92604082013567ffffffffffffffff811161079b57610798920161070a565b90565b610212565b610212565b610212565b61020d565b5190565b60209181520190565b60200190565b6107cb90610252565b9052565b906107dc816020936107c2565b0190565b60200190565b906108036107fd6107f6846107af565b80936107b3565b926107bc565b9060005b8181106108145750505090565b90919261082d61082760019286516107cf565b946107e0565b9101919091610807565b61084d91602082019160008184039101526107e6565b90565b346108815761087d61086c61086636600461072d565b91611932565b610874610202565b91829182610837565b0390f35b610208565b346108b6576108963660046103ac565b6108b26108a16119e6565b6108a9610202565b918291826102b4565b0390f35b610208565b7f000000000000000000000000000000000000000000000000000000000000000090565b3461090f576108ef3660046103ac565b61090b6108fa6108bb565b610902610202565b918291826102b4565b0390f35b610208565b600080fd5b67ffffffffffffffff811161093757610933602091610518565b0190565b6105a6565b90826000939282370152565b9092919261095d61095882610919565b6105e5565b93818552602085019082840111610979576109779261093c565b565b610914565b9080601f8301121561099c5781602061099993359101610948565b90565b6105a1565b91909160a081840312610a3c576109bb8360008301610243565b926109c98160208401610243565b92604083013567ffffffffffffffff8111610a3757826109ea91850161070a565b92606081013567ffffffffffffffff8111610a325783610a0b91830161070a565b92608082013567ffffffffffffffff8111610a2d57610a2a920161097e565b90565b610212565b610212565b610212565b61020d565b60000190565b34610a7957610a63610a5a3660046109a1565b93929092611abf565b610a6b610202565b80610a7581610a41565b0390f35b610208565b34610aaf57610aab610a9a610a94366004610279565b90611b71565b610aa2610202565b918291826102b4565b0390f35b610208565b91606083830312610b3157600083013567ffffffffffffffff8111610b2c5782610adf91850161070a565b92602081013567ffffffffffffffff8111610b275783610b00918301610673565b92604082013567ffffffffffffffff8111610b2257610b1f920161070a565b90565b610212565b610212565b610212565b61020d565b34610b6557610b4f610b49366004610ab4565b91611bb7565b610b57610202565b80610b6181610a41565b0390f35b610208565b610b7390610222565b9052565b9190610b8b90600060208501940190610b6a565b565b34610bbd57610b9d3660046103ac565b610bb9610ba8611ccc565b610bb0610202565b91829182610b77565b0390f35b610208565b919091604081840312610c1b57600081013567ffffffffffffffff8111610c165783610bef918301610673565b92602082013567ffffffffffffffff8111610c1157610c0e920161070a565b90565b610212565b610212565b61020d565b34610c5157610c4d610c3c610c36366004610bc2565b90611d0e565b610c44610202565b91829182610837565b0390f35b610208565b34610c8657610c82610c71610c6c3660046103f1565b611dfe565b610c79610202565b91829182610361565b0390f35b610208565b34610cbb57610c9b3660046103ac565b610cb7610ca6611f14565b610cae610202565b91829182610553565b0390f35b610208565b9190604083820312610ce95780610cdd610ce6926000860161026a565b93602001610243565b90565b61020d565b34610d1f57610d1b610d0a610d04366004610cc0565b90612023565b610d12610202565b918291826102b4565b0390f35b610208565b90565b610d3b610d36610d4092610217565b610d24565b610217565b90565b610d4c90610d27565b90565b610d5890610d43565b90565b610d6490610d4f565b9052565b9190610d7c90600060208501940190610d5b565b565b34610dae57610d8e3660046103ac565b610daa610d996120b1565b610da1610202565b91829182610d68565b0390f35b610208565b9091606082840312610de957610de6610dcf846000850161026a565b93610ddd8160208601610243565b9360400161026a565b90565b61020d565b34610e1d57610e07610e01366004610db3565b91612106565b610e0f610202565b80610e1981610a41565b0390f35b610208565b610e2b8161034f565b03610e3257565b600080fd5b90503590610e4482610e22565b565b9190604083820312610e6f5780610e63610e6c9260008601610243565b93602001610e37565b90565b61020d565b34610ea357610e8d610e87366004610e46565b906121d4565b610e95610202565b80610e9f81610a41565b0390f35b610208565b600080fd5b909182601f83011215610ee75781359167ffffffffffffffff8311610ee2576020019260018302840111610edd57565b610617565b610ea8565b6105a1565b90602082820312610f1e57600082013567ffffffffffffffff8111610f1957610f159201610ead565b9091565b610212565b61020d565b34610f5257610f3c610f36366004610eec565b906124e9565b610f44610202565b80610f4e81610a41565b0390f35b610208565b909182601f83011215610f915781359167ffffffffffffffff8311610f8c576020019260208302840111610f8757565b610617565b610ea8565b6105a1565b90602082820312610fc857600082013567ffffffffffffffff8111610fc357610fbf9201610f57565b9091565b610212565b61020d565b5190565b60209181520190565b60200190565b5190565b60209181520190565b61100c61101560209361101a9361100381610fe0565b93848093610fe4565b958691016104f3565b610518565b0190565b9061102891610fed565b90565b60200190565b9061104561103e83610fcd565b8092610fd1565b908161105660208302840194610fda565b926000915b83831061106a57505050505090565b9091929394602061108c6110868385600195038752895161101e565b9761102b565b930193019193929061105b565b6110af9160208201916000818403910152611031565b90565b346110e3576110df6110ce6110c8366004610f96565b90612772565b6110d6610202565b91829182611099565b0390f35b610208565b34611117576111016110fb366004610db3565b91612880565b611109610202565b8061111381610a41565b0390f35b610208565b63ffffffff1690565b61112e9061111c565b9052565b919061114690600060208501940190611125565b565b34611178576111583660046103ac565b6111746111636129c8565b61116b610202565b91829182611132565b0390f35b610208565b346111ad576111a96111986111933660046103f1565b6129f6565b6111a0610202565b918291826102b4565b0390f35b610208565b634e487b7160e01b600052600060045260246000fd5b634e487b7160e01b600052602260045260246000fd5b90600160028304921680156111fe575b60208310146111f957565b6111c8565b91607f16916111ee565b60209181520190565b600052602060002090565b9060009291805490611237611230836111de565b8094611208565b916001811690816000146112905750600114611253575b505050565b6112609192939450611211565b916000925b818410611278575050019038808061124e565b60018160209295939554848601520191019290611265565b92949550505060ff191682521515602002019038808061124e565b906112b59161121c565b90565b906112d86112d1926112c8610202565b938480926112ab565b03836105bc565b565b906000106112ee576112eb906112b8565b90565b6111b2565b6112fe6000806112da565b90565b34611331576113113660046103ac565b61132d61131c6112f3565b611324610202565b91829182610553565b0390f35b610208565b909160608284031261136c576113696113528460008501610243565b936113608160208601610243565b9360400161026a565b90565b61020d565b346113a25761139e61138d611387366004611336565b91612a67565b611395610202565b918291826102b4565b0390f35b610208565b91906040838203126113d057806113c46113cd9260008601610243565b93602001610243565b90565b61020d565b34611406576114026113f16113eb3660046113a7565b90612b95565b6113f9610202565b91829182610361565b0390f35b610208565b60808183031261144d57611422826000830161026a565b9261144a6114338460208501610243565b936114418160408601610243565b9360600161026a565b90565b61020d565b346114845761146e61146536600461140b565b92919091612bbd565b611476610202565b8061148081610a41565b0390f35b610208565b1c90565b90565b6114a09060086114a59302611489565b61148d565b90565b906114b39154611490565b90565b6114c360076000906114a8565b90565b346114f6576114d63660046103ac565b6114f26114e16114b6565b6114e9610202565b918291826102b4565b0390f35b610208565b91909160a081840312611566576115158360008301610243565b926115238160208401610243565b92611531826040850161026a565b9261153f836060830161026a565b92608082013567ffffffffffffffff81116115615761155e920161097e565b90565b610212565b61020d565b3461159d5761158761157e3660046114fb565b93929092612c3d565b61158f610202565b8061159981610a41565b0390f35b610208565b600080fd5b600090565b6115c06115bb6115c592610252565b610d24565b610252565b90565b906115d2906115ac565b600052602052604060002090565b6115e990610d43565b90565b906115f6906115e0565b600052602052604060002090565b60001c90565b61161661161b91611604565b61148d565b90565b611628905461160a565b90565b61164b906116466116509361163e6115a7565b5060016115c8565b6115ec565b61161e565b90565b600090565b611660611653565b508061167b611675636cdb3d1360e11b610300565b91610300565b14801561169f575b90811561168f575b5090565b6116999150612cd5565b3861168b565b50806116ba6116b46303a24d0760e21b610300565b91610300565b14611683565b90565b6116d76116d26116dc926116c0565b610d24565b610252565b90565b6116e76115a7565b506116fa6116f560286116c3565b612cfb565b90565b606090565b9061170c906115ac565b600052602052604060002090565b5490565b60209181520190565b600052602060002090565b60018060a01b031690565b61174961174e91611604565b611732565b90565b61175b905461173d565b90565b60010190565b9061178161177b6117748461171a565b809361171e565b92611727565b9060005b8181106117925750505090565b9091926117b26117ac6001926117a787611751565b610430565b9461175e565b9101919091611785565b906117c691611764565b90565b906117e96117e2926117d9610202565b938480926117bc565b03836105bc565b565b6117f4906117c9565b90565b61180e611813916118066116fd565b506008611702565b6117eb565b90565b606090565b611824906112b8565b90565b50611830611816565b5061183b600361181b565b90565b606090565b9061185561185083610696565b6105e5565b918252565b369037565b9061188461186c83611843565b9260208061187a8693610696565b920191039061185a565b565b90565b61189d6118986118a292611886565b610d24565b610252565b90565b60016118b19101610252565b90565b634e487b7160e01b600052603260045260246000fd5b906118d482610410565b8110156118e5576020809102010190565b6118b4565b6118f49051610222565b90565b90611901826107af565b811015611912576020809102010190565b6118b4565b6119219051610252565b90565b9061192e90610252565b9052565b9161193b61183e565b5061194d61194884610410565b61185f565b926119586000611889565b5b8061197461196e61196985610410565b610252565b91610252565b10156119df576119da906119d56119c36119976119928685906118ca565b6118ea565b6119aa6119a58986906118ca565b6118ea565b6119bd6119b88987906118f7565b611917565b91612a67565b6119d088918490926118f7565b611924565b6118a5565b611959565b5050505090565b6119ee6115a7565b506119f9600561161e565b90565b90565b600052602060002090565b5490565b611a1781611a0a565b821015611a3257611a296001916119ff565b91020190600090565b6118b4565b1b90565b91906008611a5b910291611a5560018060a01b0384611a37565b92611a37565b9181191691161790565b90565b9190611a7e611a79611a86936115e0565b611a65565b908354611a3b565b9055565b9081549168010000000000000000831015611aba5782611ab2916001611ab895018155611a0e565b90611a68565b565b6105a6565b93611ad292939194918585919293612d35565b611adc6000611889565b5b80611af8611af2611aed856107af565b610252565b91610252565b1015611b6c57611b3290611b28611b22611b1b611b168685906118f7565b611917565b8690612db5565b1561034f565b611b37575b6118a5565b611add565b611b67611b60611b5b6008611b55611b508887906118f7565b611917565b90611702565b6119fc565b8590611a8a565b611b2d565b505050565b90611b93611b8c611b9992611b846115a7565b508490612023565b9283612db5565b1561034f565b611ba957611ba6906129f6565b90565b50611bb4600761161e565b90565b92919092611bc4816107af565b611bde611bd8611bd387610410565b610252565b91610252565b14158015611c9c575b611c7957611bf6818590612e46565b611c006000611889565b5b80611c1c611c16611c11856107af565b610252565b91610252565b1015611c7257611c6d90611c68611c3c611c378584906118f7565b611917565b611c4f611c4a8985906118ca565b6118ea565b611c62611c5d8886906118f7565b611917565b91612880565b6118a5565b611c01565b5050509050565b611c81610202565b63512509d360e11b815280611c9860048201610a41565b0390fd5b50611ca6816107af565b611cc0611cba611cb5856107af565b610252565b91610252565b1415611be7565b600090565b611cd4611cc7565b50611ce7611ce26000611889565b612eb8565b90565b916020611d0c929493611d05604082019660008301906102a7565b01906102a7565b565b90611d1761183e565b50611d2182610410565b611d3b611d35611d30846107af565b610252565b91610252565b03611dc657611d51611d4c83610410565b61185f565b91611d5c6000611889565b5b80611d78611d72611d6d85610410565b610252565b91610252565b1015611dc057611dbb90611db6611da4611d93858490612ed1565b611d9e878590612ee7565b9061162b565b611db187918490926118f7565b611924565b6118a5565b611d5d565b50505090565b611dd2611dd8916107af565b91610410565b90611dfa611de4610202565b928392635b05999160e01b845260048401611cea565b0390fd5b611e1090611e0a611653565b506129f6565b611e23611e1d6000611889565b91610252565b1190565b611e3090610d27565b90565b611e3c90611e27565b90565b611e4890610d43565b90565b60e01b90565b67ffffffffffffffff8111611e6f57611e6b602091610518565b0190565b6105a6565b90929192611e89611e8482611e51565b6105e5565b93818552602085019082840111611ea557611ea3926104f3565b565b610914565b9080601f83011215611ec857816020611ec593519101611e74565b90565b6105a1565b90602082820312611efe57600082015167ffffffffffffffff8111611ef957611ef69201611eaa565b90565b610212565b61020d565b611f0b610202565b3d6000823e3d90fd5b611f1c611816565b50611f506000611f3a611f35611f30611ccc565b611e33565b611e3f565b63dd1bb1fc90611f48610202565b938492611e4b565b82528180611f6060048201610a41565b03915afa908115611f9a57600091611f77575b5090565b611f9491503d806000833e611f8c81836105bc565b810190611ecd565b38611f73565b611f03565b90565b611fae611fb391610252565b611f9f565b9052565b60601b90565b611fc690611fb7565b90565b611fd290611fbd565b90565b611fe1611fe691610222565b611fc9565b9052565b602081611ffd6120059360149695611fa2565b018092611fd5565b0190565b60200190565b61201b61202091611604565b6115ac565b90565b9061205a612072926120336115a7565b5061204b61203f610202565b93849260208401611fea565b602082018103825203826105bc565b61206c61206682610fe0565b91612009565b2061200f565b90565b600090565b90565b61209161208c6120969261207a565b610d24565b610252565b90565b6120a290610d27565b90565b6120ae90612099565b90565b6120b9612075565b506120d46120cf6120ca601461207d565b612eb8565b6120a5565b90565b906120e96120e483611e51565b6105e5565b918252565b6120f860006120d7565b90565b6121036120ee565b90565b919091612114818490612f40565b61211f818490612023565b9061212b84839061162b565b61213e6121386000611889565b91610252565b146121b257612158848385906121526120fb565b9261323f565b929091926121ad61219b61219561218f7f0a280d47299e98f3b448ca56dcd0fca748094bbe2d9c092b5c1298d47acb4eec946115ac565b946115e0565b946115ac565b946121a4610202565b918291826102b4565b0390a4565b6121ba610202565b6233e4a760e61b8152806121d060048201610a41565b0390fd5b6121e8916121e06132b6565b9190916132f9565b565b60401c90565b60ff1690565b612202612207916121ea565b6121f0565b90565b61221490546121f6565b90565b67ffffffffffffffff1690565b61223061223591611604565b612217565b90565b6122429054612224565b90565b67ffffffffffffffff1690565b61226661226161226b92611886565b610d24565b612245565b90565b90565b61228561228061228a9261226e565b610d24565b612245565b90565b61229690610d43565b90565b60001b90565b906122b267ffffffffffffffff91612299565b9181191691161790565b6122d06122cb6122d592612245565b610d24565b612245565b90565b90565b906122f06122eb6122f7926122bc565b6122d8565b825461229f565b9055565b60401b90565b9061231568ff0000000000000000916122fb565b9181191691161790565b6123289061034f565b90565b90565b9061234361233e61234a9261231f565b61232b565b8254612301565b9055565b61235790612271565b9052565b919061236f9060006020850194019061234e565b565b9061237a6133ba565b9161239061238a6000850161220a565b1561034f565b9161239d60008501612238565b806123b16123ab6000612252565b91612245565b14806124d6575b906123cc6123c66001612271565b91612245565b14806124ad575b6123de90911561034f565b908161249c575b506124795761240f916124046123fb6001612271565b600087016122db565b83612466575b6124dd565b612417575b50565b61242590600080910161232e565b600161245d7fc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d291612454610202565b9182918261235b565b0390a138612414565b61247460016000870161232e565b61240a565b612481610202565b63f92ee8a960e01b81528061249860048201610a41565b0390fd5b6124a791501561034f565b386123e5565b506123de6124ba3061228d565b3b6124ce6124c86000611889565b91610252565b1490506123d3565b50836123b8565b906124e7916134f6565b565b906124f391612371565b565b606090565b5090565b634e487b7160e01b600052601160045260246000fd5b61252361252991939293610252565b92610252565b820391821161253457565b6124fe565b600080fd5b600080fd5b9093929384831161256357841161255e576001820201920390565b61253e565b612539565b612573913691610948565b90565b9061258861258383610919565b6105e5565b918252565b369037565b906125b761259f83612576565b926020806125ad8693610919565b920191039061258d565b565b5090565b67ffffffffffffffff81116125d55760208091020190565b6105a6565b906125ec6125e7836125bd565b6105e5565b918252565b606090565b60005b82811061260557505050565b6020906126106125f1565b81840152016125f9565b9061263f612627836125da565b9260208061263586936125bd565b92019103906125f6565b565b61264a90610d43565b90565b600080fd5b600080fd5b600080fd5b90359060016020038136030382121561269e570180359067ffffffffffffffff82116126995760200191600182023603831361269457565b612657565b612652565b61264d565b908210156126be5760206126ba920281019061265c565b9091565b6118b4565b905090565b9091826126d8816126df936126c3565b809361093c565b0190565b6127086126ff926020926126f681610fe0565b948580936126c3565b938491016104f3565b0190565b612720939261271a926126c8565b906126e3565b90565b9061275091939293612744612736610202565b95869360208501938461270c565b908103825203836105bc565b565b9061275c82610fcd565b81101561276d576020809102010190565b6118b4565b61277a6124f5565b503361279561278f61278a6132b6565b610222565b91610222565b14600014612847576127af6127aa6000611889565b612592565b5b6127c36127be8385906125b9565b61261a565b926127ce6000611889565b5b806127ec6127e66127e18786906125b9565b610252565b91610252565b10156128405761283b9061283461282161280530612641565b61281b612814898887916126a3565b8991612723565b9061370f565b87839161282e8383612752565b52612752565b51506118a5565b6127cf565b5050505090565b61287b61287560003661286d61285f600036906124fa565b6128676136c9565b90612514565b908092612543565b90612568565b6127b0565b909161288d828490612f40565b612898828490612023565b90806128ad6128a76000611889565b91610252565b1460001461299457506128c0600761161e565b5b916128cd84839061162b565b6128e06128da6000611889565b91610252565b11612972576128fa848385906128f46120fb565b9261323f565b61291861291161290c60088590611702565b6119fc565b8590611a8a565b9290919261296d61295b61295561294f7fa9782d07f895610eab07467f9c75501847f4d4b49b7fe0e2359895a35f7c5c4e946115ac565b946115e0565b946115ac565b94612964610202565b918291826102b4565b0390a4565b61297a610202565b62a5a1f560e01b81528061299060048201610a41565b0390fd5b6128c1565b600090565b63ffffffff1690565b6129b36129b891611604565b61299e565b90565b6129c590546129a7565b90565b6129d0612999565b506129db60066129bb565b90565b906129e8906115ac565b600052602052604060002090565b612a0d612a1291612a056115a7565b5060046129de565b61161e565b90565b90505190612a2282610e22565b565b90602082820312612a3e57612a3b91600001612a15565b90565b61020d565b916020612a65929493612a5e60408201966000830190610b6a565b01906102a7565b565b9190612a7c90612a756115a7565b5082612023565b906020612a8f612a8a6120b1565b610d4f565b91634352409a92612ab3869294612abe612aa7610202565b96879586948594611e4b565b845260048401612a43565b03915afa908115612b3f57600091612b11575b5080612af7575b612ae857612ae59161162b565b90565b5050612af4600761161e565b90565b50612b0c612b06828490612db5565b1561034f565b612ad8565b612b32915060203d8111612b38575b612b2a81836105bc565b810190612a24565b38612ad1565b503d612b20565b611f03565b90612b4e906115e0565b600052602052604060002090565b90612b66906115e0565b600052602052604060002090565b612b80612b8591611604565b6121f0565b90565b612b929054612b74565b90565b612bba91612bb0612bb592612ba8611653565b506002612b44565b612b5c565b612b88565b90565b92919092612bcc818590612f40565b612be3612bda828690612023565b9283859161373f565b92909192612c38612c26612c20612c1a7f939b898ad009d31512361aa94a8e62a1fc7d52f623a75868ed798fe457e6f9cf946115ac565b946115e0565b946115ac565b94612c2f610202565b918291826102b4565b0390a4565b9193929092612c4d83869061162b565b612c5f612c5984610252565b91610252565b14612cb257612c73929184869192936137b9565b612c87612c81838390612db5565b1561034f565b612c90575b5050565b612ca6612ca1612cab936008611702565b6119fc565b611a8a565b3880612c8c565b612cba610202565b632a9d5b6b60e01b815280612cd160048201610a41565b0390fd5b612cdd611653565b50612cf7612cf16301ffc9a760e01b610300565b91610300565b1490565b612d036115a7565b50612d0c613839565b013590565b916020612d33929493612d2c60408201966000830190610b6a565b0190610b6a565b565b949391929092612d436132b6565b86612d56612d5083610222565b91610222565b141580612d9b575b612d745750612d729495939091929361384f565b565b8690612d97612d81610202565b92839263711bec9160e11b845260048401612d11565b0390fd5b50612db0612daa888390612b95565b1561034f565b612d5e565b612dcc612dd191612dc4611653565b506008611702565b6117eb565b90612ddc6000611889565b5b80612df8612df2612ded86610410565b610252565b91610252565b1015612e3e57612e11612e0c8483906118ca565b6118ea565b612e23612e1d84610222565b91610222565b14612e3657612e31906118a5565b612ddd565b505050600190565b505050600090565b919091612e536000611889565b5b80612e6f612e69612e64856107af565b610252565b91610252565b1015612eb257612ead90612ea8612e8f612e8a8584906118f7565b611917565b612ea2612e9d8885906118ca565b6118ea565b90612f40565b6118a5565b612e54565b50509050565b612ec0611cc7565b50612ec9613839565b013560601c90565b9060208091612ede611cc7565b50029101015190565b9060208091612ef46115a7565b50029101015190565b612f068161111c565b03612f0d57565b600080fd5b90505190612f1f82612efd565b565b90602082820312612f3b57612f3891600001612f12565b90565b61020d565b612f7f6020612f55612f506120b1565b610d4f565b639aa22f6d90612f748592612f68610202565b95869485938493611e4b565b8352600483016102b4565b03915afa908115613212576000916131e4575b50612fae612fa8612fa360066129bb565b61111c565b9161111c565b036131c157612fc3612fbe6120b1565b610d4f565b602063b56f7562913390612fe98594612ff4612fdd610202565b96879586948594611e4b565b845260048401612a43565b03915afa80156131bc576130119160009161318e575b501561034f565b806130f7575b6130d45760209061302e6130296120b1565b610d4f565b613050634352409a94929461305b613044610202565b96879586948594611e4b565b845260048401612a43565b03915afa80156130cf57613078916000916130a1575b501561034f565b61307e57565b613086610202565b632cd7570160e11b81528061309d60048201610a41565b0390fd5b6130c2915060203d81116130c8575b6130ba81836105bc565b810190612a24565b38613071565b503d6130b0565b611f03565b6130dc610202565b63b6a02cc360e01b8152806130f360048201610a41565b0390fd5b506131086131036120b1565b610d4f565b6020634352409a91339061312e8594613139613122610202565b96879586948594611e4b565b845260048401612a43565b03915afa8015613189576131569160009161315b575b501561034f565b613017565b61317c915060203d8111613182575b61317481836105bc565b810190612a24565b3861314f565b503d61316a565b611f03565b6131af915060203d81116131b5575b6131a781836105bc565b810190612a24565b3861300a565b503d61319d565b611f03565b6131c9610202565b63d64c202f60e01b8152806131e060048201610a41565b0390fd5b613205915060203d811161320b575b6131fd81836105bc565b810190612f21565b38612f92565b503d6131f3565b611f03565b61322b61322661323092611886565b610d24565b610217565b90565b61323c90613217565b90565b9192908261325e6132586132536000613233565b610222565b91610222565b14613287576132859361327091613903565b9061327b6000613233565b9390919293613956565b565b6132b26132946000613233565b61329c610202565b918291632bfa23e760e11b835260048301610b77565b0390fd5b6132be611cc7565b503390565b906132cf60ff91612299565b9181191691161790565b906132ee6132e96132f59261231f565b61232b565b82546132c3565b9055565b9190918261331861331261330d6000613233565b610222565b91610222565b1461338c5761333c8261333761333060028590612b44565b8690612b5c565b6132d9565b91909161338761337561336f7f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31936115e0565b936115e0565b9361337e610202565b91829182610361565b0390a3565b6133b66133996000613233565b6133a1610202565b91829162ced3e160e81b835260048301610b77565b0390fd5b6133c2613a69565b90565b909291926133da6133d582611e51565b6105e5565b938185526020850190828401116133f6576133f49261093c565b565b610914565b9080601f8301121561341957816020613416933591016133c5565b90565b6105a1565b919060408382031261345f5760008301359067ffffffffffffffff821161345a5761344e816134579386016133fb565b9360200161026a565b90565b610212565b61020d565b9061347160001991612299565b9181191691161790565b90565b9061349361348e61349a926115ac565b61347b565b8254613464565b9055565b906134ad63ffffffff91612299565b9181191691161790565b6134cb6134c66134d09261111c565b610d24565b61111c565b90565b90565b906134eb6134e66134f2926134b7565b6134d3565b825461349e565b9055565b61350e91613507919081019061341e565b9190613c5f565b61351981600761347e565b61354b6135457f0000000000000000000000000000000000000000000000000000000000000000610252565b91610252565b116136a65761359660206135656135606120b1565b610d4f565b6345fffac89061358b6135766116df565b9261357f610202565b95869485938493611e4b565b8352600483016102b4565b03915afa80156136a1576135b391600091613673575b501561034f565b613650576135fd60206135cc6135c76120b1565b610d4f565b639aa22f6d906135f26135dd6116df565b926135e6610202565b95869485938493611e4b565b8352600483016102b4565b03915afa801561364b5761361b9160009161361d575b5060066134d6565b565b61363e915060203d8111613644575b61363681836105bc565b810190612f21565b38613613565b503d61362c565b611f03565b613658610202565b6309dec81160e31b81528061366f60048201610a41565b0390fd5b613694915060203d811161369a575b61368c81836105bc565b810190612a24565b386135ac565b503d613682565b611f03565b6136ae610202565b63138a434760e21b8152806136c560048201610a41565b0390fd5b6136d16115a7565b506136dc6000611889565b90565b606090565b3d600014613701576136f53d612576565b903d6000602084013e5b565b6137096136df565b906136ff565b60008061373c9361371e6136df565b508390602081019051915af4906137336136e4565b90919091613c6c565b90565b908161375c6137566137516000613233565b610222565b91610222565b1461378b576137899261376e91613903565b6137786000613233565b9190916137836120fb565b93613956565b565b6137b56137986000613233565b6137a0610202565b918291626a0d4560e21b835260048301610b77565b0390fd5b9493919290926137c76132b6565b866137da6137d483610222565b91610222565b14158061381f575b6137f857506137f694959390919293613cfa565b565b869061381b613805610202565b92839263711bec9160e11b845260048401612d11565b0390fd5b5061383461382e888390612b95565b1561034f565b6137e2565b6138416115a7565b50600236033560f01c360390565b93919290928361387061386a6138656000613233565b610222565b91610222565b146138d4578461389161388b6138866000613233565b610222565b91610222565b146138a6576138a4949390919293613956565b565b6138d06138b36000613233565b6138bb610202565b918291626a0d4560e21b835260048301610b77565b0390fd5b6138ff6138e16000613233565b6138e9610202565b918291632bfa23e760e11b835260048301610b77565b0390fd5b9161390c61183e565b5061391561183e565b5060405192600184526020840152604083019160018352602083015260408201604052565b61394e6139496139539261226e565b610d24565b610252565b90565b92939193613968848387908492613db7565b8161398461397e6139796000613233565b610222565b91610222565b03613991575b5050505050565b6139996132b6565b916139a3866107af565b6139b66139b0600161393a565b91610252565b14600014613a00576139e96139d86139f5976139d26000611889565b90612ee7565b926139e36000611889565b90612ee7565b92949091929394614072565b5b388080808061398a565b613a11959192949091929394613ead565b6139f6565b600090565b90565b90565b613a35613a30613a3a92613a1b565b612299565b613a1e565b90565b613a667ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00613a21565b90565b613a71613a16565b50613a7a613a3d565b90565b601f602091010490565b91906008613aa3910291613a9d60001984611a37565b92611a37565b9181191691161790565b9190613ac3613abe613acb936115ac565b61347b565b908354613a87565b9055565b613ae191613adb6115a7565b91613aad565b565b5b818110613aef575050565b80613afd6000600193613acf565b01613ae4565b9190601f8111613b13575b505050565b613b1f613b4493611211565b906020613b2b84613a7d565b83019310613b4c575b613b3d90613a7d565b0190613ae3565b388080613b0e565b9150613b3d81929050613b34565b90613b6b9060001990600802611489565b191690565b81613b7a91613b5a565b906002021790565b90613b8c816104e6565b9067ffffffffffffffff8211613c4e57613bb082613baa85546111de565b85613b03565b602090601f8311600114613be557918091613bd493600092613bd9575b5050613b70565b90555b565b90915001513880613bcd565b601f19831691613bf485611211565b9260005b818110613c3657509160029391856001969410613c1c575b50505002019055613bd7565b613c2c910151601f841690613b5a565b9055388080613c10565b91936020600181928787015181550195019201613bf8565b6105a6565b90613c5d91613b82565b565b613c6a906003613c53565b565b90613c8090613c796136df565b501561034f565b600014613c8d57506141e5565b613c9682610fe0565b613ca9613ca36000611889565b91610252565b1480613cde575b613cb8575090565b613cda90613cc4610202565b918291639996b31560e01b835260048301610b77565b0390fd5b50803b613cf4613cee6000611889565b91610252565b14613cb0565b9092939183613d1a613d14613d0f6000613233565b610222565b91610222565b14613d885781613d3b613d35613d306000613233565b610222565b91610222565b14613d5a57613d5894613d4d91613903565b919390919293613956565b565b613d84613d676000613233565b613d6f610202565b918291626a0d4560e21b835260048301610b77565b0390fd5b613db3613d956000613233565b613d9d610202565b918291632bfa23e760e11b835260048301610b77565b0390fd5b91613dc59391909192614275565b565b613dd090610d27565b90565b613ddc90613dc7565b90565b613de890610d43565b90565b90505190613df88261030c565b565b90602082820312613e1457613e1191600001613deb565b90565b61020d565b60209181520190565b613e41613e4a602093613e4f93613e3881610fe0565b93848093613e19565b958691016104f3565b610518565b0190565b9390613e8e90613eaa9694613e81613e9c95613e7760a08a019460008b0190610b6a565b6020890190610b6a565b86820360408801526107e6565b9084820360608601526107e6565b916080818403910152613e22565b90565b94909194939293853b613ec9613ec36000611889565b91610252565b11613ed7575b505050505050565b6000613f1491613f1f602096613ef4613eef8b613dd3565b613ddf565b9563bc197c81939799919091613f08610202565b9a8b998a988997611e4b565b875260048701613e53565b03925af18091600092613ff0575b5015600014613fa657506001613f4a57505b388080808080613ecf565b613f526136e4565b90613f5c82610fe0565b613f6f613f696000611889565b91610252565b14600014613f9d57613f9990613f83610202565b918291632bfa23e760e11b835260048301610b77565b0390fd5b50805190602001fd5b613fbf613fb963bc197c8160e01b610300565b91610300565b03613fca5750613f3f565b613fec90613fd6610202565b918291632bfa23e760e11b835260048301610b77565b0390fd5b61401291925060203d8111614019575b61400a81836105bc565b810190613dfa565b9038613f2d565b503d614000565b919361405861406f969461404e614062949761404460a08801996000890190610b6a565b6020870190610b6a565b60408501906102a7565b60608301906102a7565b6080818403910152613e22565b90565b94909194939293853b61408e6140886000611889565b91610252565b1161409c575b505050505050565b60006140d9916140e46020966140b96140b48b613dd3565b613ddf565b9563f23a6e619397999190916140cd610202565b9a8b998a988997611e4b565b875260048701614020565b03925af180916000926141b5575b501560001461416b5750600161410f57505b388080808080614094565b6141176136e4565b9061412182610fe0565b61413461412e6000611889565b91610252565b146000146141625761415e90614148610202565b918291632bfa23e760e11b835260048301610b77565b0390fd5b50805190602001fd5b61418461417e63f23a6e6160e01b610300565b91610300565b0361418f5750614104565b6141b19061419b610202565b918291632bfa23e760e11b835260048301610b77565b0390fd5b6141d791925060203d81116141de575b6141cf81836105bc565b810190613dfa565b90386140f2565b503d6141c5565b6141ee81610fe0565b6142016141fb6000611889565b91610252565b1160001461421157805190602001fd5b614219610202565b63d6bda27560e01b81528061423060048201610a41565b0390fd5b61424361424991939293610252565b92610252565b820180921161425457565b6124fe565b906142649103610252565b90565b906142729101610252565b90565b6142838183859087926144a2565b61429e6142986142936000613233565b610222565b91610222565b14614380575b6142bf6142b96142b46000613233565b610222565b91610222565b146142c9575b5050565b6142d36000611889565b916142de6000611889565b925b836142fb6142f56142f0866107af565b610252565b91610252565b10156143575761434b61435191614313848790612ee7565b6143458161433f614330600461432a8b8d90612ee7565b906129de565b9161433a8361161e565b614259565b9061347e565b90614267565b936118a5565b926142e0565b90506143799250614372915061436d600561161e565b614259565b600561347e565b38806142c5565b9161438b6000611889565b936143966000611889565b945b856143b36143ad6143a8876107af565b610252565b91610252565b101561440f57614403614409916143cb858990612ee7565b6143fd816143f76143e88c6143e26004918d612ee7565b906129de565b916143f28361161e565b614234565b9061347e565b90614234565b956118a5565b94614398565b61443291955061442b90949294614426600561161e565b614234565b600561347e565b6142a4565b61446d61447494614463606094989795614459608086019a6000870190610b6a565b60208501906102a7565b60408301906102a7565b01906102a7565b565b909161449161449f93604084019084820360008601526107e6565b9160208184039101526107e6565b90565b939290916144af816107af565b6144c96144c36144be856107af565b610252565b91610252565b0361474d576144d66132b6565b936144e16000611889565b5b806144fd6144f76144f2866107af565b610252565b91610252565b10156146405761450e838290612ee7565b614519858390612ee7565b908861453661453061452b6000613233565b610222565b91610222565b036145a8575b9061456b92918761455e6145586145536000613233565b610222565b91610222565b03614570575b50506118a5565b6144e2565b61459b61458c6145856145a1949360016115c8565b8a906115ec565b916145968361161e565b614234565b9061347e565b3880614564565b6145c66145c16145ba600184906115c8565b8b906115ec565b61161e565b806145d96145d385610252565b91610252565b10614616579061460d6145f261456b9594938490614259565b614608614601600185906115c8565b8d906115ec565b61347e565b9091925061453c565b9061463c908a9293614626610202565b9485946303dee4c560e01b865260048601614437565b0390fd5b50949092919261464f816107af565b61466261465c600161393a565b91610252565b146000146146ee576146816146929161467b6000611889565b90612ee7565b9361468c6000611889565b90612ee7565b93909192936146d36146cd6146c77fc3d58168c5ae7397731d063d5bbf3d657854427343f4c083240f7aacaa2d0f62946115e0565b946115e0565b946115e0565b946146e86146df610202565b92839283611cea565b0390a45b565b92939091929361473061472a6147247f4a39dc06d4c0dbc64b70af90fd698a233a518aa5d07e595d983b8c0526c8f7fb946115e0565b946115e0565b946115e0565b9461474561473c610202565b92839283614476565b0390a46146ec565b61475961475f916107af565b916107af565b9061478161476b610202565b928392635b05999160e01b845260048401611cea565b0390fdfea26469706673582212203cd6579befca7ec3e2028e719f55c535c24b8234c52373609fcc9c2b6eadecdc64736f6c6343000818003300000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000005302e302e30000000000000000000000000000000000000000000000000000000