@gooddollar/goodprotocol
Version:
GoodDollar Protocol
622 lines • 89.4 kB
JSON
{
"_format": "hh-sol-artifact-1",
"contractName": "BancorFormula",
"sourceName": "contracts/utils/BancorFormula.sol",
"abi": [
{
"inputs": [
{
"internalType": "uint256",
"name": "_primaryReserveStakedBalance",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "_primaryReserveBalance",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "_secondaryReserveBalance",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "_reserveRateNumerator",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "_reserveRateDenominator",
"type": "uint256"
}
],
"name": "balancedWeights",
"outputs": [
{
"internalType": "uint32",
"name": "",
"type": "uint32"
},
{
"internalType": "uint32",
"name": "",
"type": "uint32"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [
{
"internalType": "uint256",
"name": "_sourceReserveBalance",
"type": "uint256"
},
{
"internalType": "uint32",
"name": "_sourceReserveWeight",
"type": "uint32"
},
{
"internalType": "uint256",
"name": "_targetReserveBalance",
"type": "uint256"
},
{
"internalType": "uint32",
"name": "_targetReserveWeight",
"type": "uint32"
},
{
"internalType": "uint256",
"name": "_amount",
"type": "uint256"
}
],
"name": "calculateCrossConnectorReturn",
"outputs": [
{
"internalType": "uint256",
"name": "",
"type": "uint256"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [
{
"internalType": "uint256",
"name": "_sourceReserveBalance",
"type": "uint256"
},
{
"internalType": "uint32",
"name": "_sourceReserveWeight",
"type": "uint32"
},
{
"internalType": "uint256",
"name": "_targetReserveBalance",
"type": "uint256"
},
{
"internalType": "uint32",
"name": "_targetReserveWeight",
"type": "uint32"
},
{
"internalType": "uint256",
"name": "_amount",
"type": "uint256"
}
],
"name": "calculateCrossReserveReturn",
"outputs": [
{
"internalType": "uint256",
"name": "",
"type": "uint256"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [
{
"internalType": "uint256",
"name": "_supply",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "_reserveBalance",
"type": "uint256"
},
{
"internalType": "uint32",
"name": "_reserveRatio",
"type": "uint32"
},
{
"internalType": "uint256",
"name": "_amount",
"type": "uint256"
}
],
"name": "calculateFundCost",
"outputs": [
{
"internalType": "uint256",
"name": "",
"type": "uint256"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [
{
"internalType": "uint256",
"name": "_supply",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "_reserveBalance",
"type": "uint256"
},
{
"internalType": "uint32",
"name": "_reserveRatio",
"type": "uint32"
},
{
"internalType": "uint256",
"name": "_amount",
"type": "uint256"
}
],
"name": "calculateLiquidateReturn",
"outputs": [
{
"internalType": "uint256",
"name": "",
"type": "uint256"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [
{
"internalType": "uint256",
"name": "_supply",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "_reserveBalance",
"type": "uint256"
},
{
"internalType": "uint32",
"name": "_reserveWeight",
"type": "uint32"
},
{
"internalType": "uint256",
"name": "_amount",
"type": "uint256"
}
],
"name": "calculatePurchaseReturn",
"outputs": [
{
"internalType": "uint256",
"name": "",
"type": "uint256"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [
{
"internalType": "uint256",
"name": "_supply",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "_reserveBalance",
"type": "uint256"
},
{
"internalType": "uint32",
"name": "_reserveWeight",
"type": "uint32"
},
{
"internalType": "uint256",
"name": "_amount",
"type": "uint256"
}
],
"name": "calculateSaleReturn",
"outputs": [
{
"internalType": "uint256",
"name": "",
"type": "uint256"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [
{
"internalType": "uint256",
"name": "_sourceReserveBalance",
"type": "uint256"
},
{
"internalType": "uint32",
"name": "_sourceReserveWeight",
"type": "uint32"
},
{
"internalType": "uint256",
"name": "_targetReserveBalance",
"type": "uint256"
},
{
"internalType": "uint32",
"name": "_targetReserveWeight",
"type": "uint32"
},
{
"internalType": "uint256",
"name": "_amount",
"type": "uint256"
}
],
"name": "crossReserveRate",
"outputs": [
{
"internalType": "uint256",
"name": "",
"type": "uint256"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [
{
"internalType": "uint256",
"name": "_sourceReserveBalance",
"type": "uint256"
},
{
"internalType": "uint32",
"name": "_sourceReserveWeight",
"type": "uint32"
},
{
"internalType": "uint256",
"name": "_targetReserveBalance",
"type": "uint256"
},
{
"internalType": "uint32",
"name": "_targetReserveWeight",
"type": "uint32"
},
{
"internalType": "uint256",
"name": "_amount",
"type": "uint256"
}
],
"name": "crossReserveTargetAmount",
"outputs": [
{
"internalType": "uint256",
"name": "",
"type": "uint256"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [
{
"internalType": "uint256",
"name": "_supply",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "_reserveBalance",
"type": "uint256"
},
{
"internalType": "uint32",
"name": "_reserveRatio",
"type": "uint32"
},
{
"internalType": "uint256",
"name": "_amount",
"type": "uint256"
}
],
"name": "fundCost",
"outputs": [
{
"internalType": "uint256",
"name": "",
"type": "uint256"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [
{
"internalType": "uint256",
"name": "_supply",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "_reserveBalance",
"type": "uint256"
},
{
"internalType": "uint32",
"name": "_reserveRatio",
"type": "uint32"
},
{
"internalType": "uint256",
"name": "_amount",
"type": "uint256"
}
],
"name": "fundSupplyAmount",
"outputs": [
{
"internalType": "uint256",
"name": "",
"type": "uint256"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [],
"name": "init",
"outputs": [],
"stateMutability": "nonpayable",
"type": "function"
},
{
"inputs": [
{
"internalType": "uint256",
"name": "_supply",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "_reserveBalance",
"type": "uint256"
},
{
"internalType": "uint32",
"name": "_reserveRatio",
"type": "uint32"
},
{
"internalType": "uint256",
"name": "_amount",
"type": "uint256"
}
],
"name": "liquidateRate",
"outputs": [
{
"internalType": "uint256",
"name": "",
"type": "uint256"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [
{
"internalType": "uint256",
"name": "_supply",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "_reserveBalance",
"type": "uint256"
},
{
"internalType": "uint32",
"name": "_reserveRatio",
"type": "uint32"
},
{
"internalType": "uint256",
"name": "_amount",
"type": "uint256"
}
],
"name": "liquidateReserveAmount",
"outputs": [
{
"internalType": "uint256",
"name": "",
"type": "uint256"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [
{
"internalType": "uint256",
"name": "_supply",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "_reserveBalance",
"type": "uint256"
},
{
"internalType": "uint32",
"name": "_reserveWeight",
"type": "uint32"
},
{
"internalType": "uint256",
"name": "_amount",
"type": "uint256"
}
],
"name": "purchaseRate",
"outputs": [
{
"internalType": "uint256",
"name": "",
"type": "uint256"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [
{
"internalType": "uint256",
"name": "_supply",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "_reserveBalance",
"type": "uint256"
},
{
"internalType": "uint32",
"name": "_reserveWeight",
"type": "uint32"
},
{
"internalType": "uint256",
"name": "_amount",
"type": "uint256"
}
],
"name": "purchaseTargetAmount",
"outputs": [
{
"internalType": "uint256",
"name": "",
"type": "uint256"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [
{
"internalType": "uint256",
"name": "_supply",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "_reserveBalance",
"type": "uint256"
},
{
"internalType": "uint32",
"name": "_reserveWeight",
"type": "uint32"
},
{
"internalType": "uint256",
"name": "_amount",
"type": "uint256"
}
],
"name": "saleRate",
"outputs": [
{
"internalType": "uint256",
"name": "",
"type": "uint256"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [
{
"internalType": "uint256",
"name": "_supply",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "_reserveBalance",
"type": "uint256"
},
{
"internalType": "uint32",
"name": "_reserveWeight",
"type": "uint32"
},
{
"internalType": "uint256",
"name": "_amount",
"type": "uint256"
}
],
"name": "saleTargetAmount",
"outputs": [
{
"internalType": "uint256",
"name": "",
"type": "uint256"
}
],
"stateMutability": "view",
"type": "function"
}
],
"bytecode": "0x608060405234801561001057600080fd5b506149b4806100206000396000f3fe608060405234801561001057600080fd5b50600436106100e65760003560e01c80631da6bbfb146100eb57806329a00e7c146101115780632f55bdb51461012457806335b49af41461013757806348d73fed1461011157806349f9b0f71461014a57806365098bb31461015d57806376cf0b561461017057806379c1b4501461015d5780638074590a1461018357806394491fab146101965780639d1141081461015d578063a11aa1b4146101a9578063abfd231d14610137578063e1c7392a146101d9578063ebbb2158146101e3578063f3250fe2146101f6578063f732f1c91461014a575b600080fd5b6100fe6100f9366004614684565b610209565b6040519081526020015b60405180910390f35b6100fe61011f366004614684565b610222565b6100fe610132366004614684565b610230565b6100fe610145366004614684565b610351565b6100fe610158366004614684565b61035f565b6100fe61016b3660046146c1565b61036d565b6100fe61017e366004614684565b610388565b6100fe610191366004614684565b6104ba565b6100fe6101a43660046146c1565b6105a0565b6101bc6101b736600461470f565b6106c1565b6040805163ffffffff938416815292909116602083015201610108565b6101e16107f8565b005b6100fe6101f1366004614684565b61192d565b6100fe610204366004614684565b611a5e565b60006102178585858561192d565b90505b949350505050565b600061021785858585611a5e565b600080851161025a5760405162461bcd60e51b81526004016102519061474a565b60405180910390fd5b6000841161027a5760405162461bcd60e51b815260040161025190614776565b60018363ffffffff161180156102a95750610299620f424060026147c1565b63ffffffff168363ffffffff1611155b6102c55760405162461bcd60e51b8152600401610251906147e9565b816000036102d55750600061021a565b620f423f1963ffffffff84160161030257836102f18387611b14565b6102fb9190614832565b905061021a565b600080806103108786611b29565b9050610321818888620f4240611b35565b9093509150600060ff83166103368a86611b14565b901c90506103448982614846565b9998505050505050505050565b6000610217858585856104ba565b600061021785858585610388565b600061037c86868686866105a0565b90505b95945050505050565b60008085116103a95760405162461bcd60e51b81526004016102519061474a565b600084116103c95760405162461bcd60e51b815260040161025190614776565b60008363ffffffff161180156103e85750620f424063ffffffff841611155b6104045760405162461bcd60e51b815260040161025190614859565b848211156104245760405162461bcd60e51b81526004016102519061488d565b816000036104345750600061021a565b84820361044257508261021a565b620f423f1963ffffffff84160161045e57846102f18584611b14565b6000808061046c8589614846565b905061047d8882620f424089611b35565b9093509150600061048e8885611b14565b905060ff831688901b846104a28284614846565b6104ac9190614832565b9a9950505050505050505050565b60008085116104db5760405162461bcd60e51b81526004016102519061474a565b600084116104fb5760405162461bcd60e51b815260040161025190614776565b60018363ffffffff1611801561052a575061051a620f424060026147c1565b63ffffffff168363ffffffff1611155b6105465760405162461bcd60e51b8152600401610251906147e9565b848211156105665760405162461bcd60e51b81526004016102519061488d565b816000036105765750600061021a565b84820361058457508261021a565b620f423f1963ffffffff84160161045e57846102f18386611b14565b600080861180156105b15750600084115b6105cd5760405162461bcd60e51b815260040161025190614776565b60008563ffffffff161180156105ec5750620f424063ffffffff861611155b80156105fe575060008363ffffffff16115b80156106135750620f424063ffffffff841611155b61062f5760405162461bcd60e51b815260040161025190614859565b8263ffffffff168563ffffffff16036106675761064c8683611b29565b6106568584611b14565b6106609190614832565b905061037f565b600080806106758986611b29565b9050610683818a8a89611b35565b909350915060006106948885611b14565b905060ff831688901b846106a88284614846565b6106b29190614832565b9b9a5050505050505050505050565b6000808587036106fb5760008711806106da5750600085115b6106f65760405162461bcd60e51b815260040161025190614776565b610733565b60008711801561070b5750600086115b80156107175750600085115b6107335760405162461bcd60e51b815260040161025190614776565b6000841180156107435750600083115b61078a5760405162461bcd60e51b81526020600482015260186024820152774552525f494e56414c49445f524553455256455f5241544560401b6044820152606401610251565b60006107968886611b14565b905060006107a48786611b14565b9050878910156107c7576107bc888a84846001611c22565b9350935050506107ee565b878911156107dd576107bc898984846000611c22565b6107e78282611cef565b9350935050505b9550959350505050565b610f266001641c35fedd1560601b036020556001646c3390ecc9605e1b036021556001640cf801476160611b0360225560016431bdb23e1d605f1b0360235560016502fb1d8fe083605b1b0360245560016505b771955b37605a1b036025556001650af67a93bb5160591b0360265560016515060c256cb360581b036027556001651428a2f98d7360581b036028556001654d515663970960561b03602955600165944620b0e70f60551b03602a55600166011c592761c66760541b03602b5560016602214d10d014eb60531b03602c55600166020ade36b7dbef60531b03602d5560016603eab73b3bbfe360521b03602e556001660782ee3593f6d760511b03602f556001661ccf4b44bb4821604f1b0360305560016606e7f88ad8a77760511b0360315560016669f3d1c921891d604d1b03603255600166cb2ff529eb71e5604c1b03603355600166c2d415c3db974b604c1b0360345560016702eb40f9f620fda7604a1b0360355560016705990681d961a1eb60491b03603655600167055e12902701414760491b0360375560016714962dee9dc9764160471b0360385560016704ef57b9b560fab560491b0360395560016712ed7b32a58f552b60471b03603a556001679131271922eaa60760441b03603b556001678b380f3558668c4760441b03603c556001680215f77c045fbe885760421b03603d556001600160831b03603e556001670f577eded5773a1160471b03603f556001680eb5ec597592befbf5603f1b036040556001681c35fedd14b861eb05603e1b036041556001683619c87664579bc94b603d1b0360425560016867c00a3b07ffc01fd7603c1b03604355600168c6f6c8f8739773a7a5603b1b03604455600168bec763f8209b7a72b1603b1b0360455560016902dbb8caad9b7097b91b60391b03604655600169057b3d49dda84556d6f760381b03604755600169054183095b2c8ececf3160381b036048556001690a14517cc6b9457111ef60371b0360495560016913545598e5c23276ccf160361b03604a556001692511882c39c3adea96ff60351b03604b55600169471649d87199aa99075760341b03604c557004429a21a029d4c1457cfbffffffffffff604d55700415bc6d6fb7dd71af2cb3ffffffffffff604e557003eab73b3bbfe282243ce1ffffffffffff604f557003c1771ac9fb6b4c18e229ffffffffffff605055700399e96897690418f785257fffffffffff605155700373fc456c53bb779bf0ea9fffffffffff60525570034f9e8e490c48e67e6ab8bfffffffffff60535570032cbfd4a7adc790560b3337ffffffffff60545570030b50570f6e5d2acca94613ffffffffff6055557002eb40f9f620fda6b56c2861ffffffffff6056557002cc8340ecb0d0f520a6af58ffffffffff6057557002af09481380a0a35cf1ba02ffffffffff605855700292c5bdd3b92ec810287b1b3fffffffff605955700277abdcdab07d5a77ac6d6b9fffffffff605a5570025daf6654b1eaa55fd64df5efffffffff605b55700244c49c648baa98192dce88b7ffffffff605c5570022ce03cd5619a311b2471268bffffffff605d55700215f77c045fbe885654a44a0fffffffff605e556001600160811b03605f557001eaefdbdaaee7421fc4d3ede5ffffffff6060557001d6bd8b2eb257df7e8ca57b09bfffffff6061557001c35fedd14b861eb0443f7f133fffffff6062557001b0ce43b322bcde4a56e8ada5afffffff60635570019f0028ec1fff007f5a195a39dfffffff60645570018ded91f0e72ee74f49b15ba527ffffff60655570017d8ec7f04136f4e5615fd41a63ffffff60665570016ddc6556cdb84bdc8d12d22e6fffffff60675570015ecf52776a1155b5bd8395814f7fffff60685570015060c256cb23b3b3cc3754cf40ffffff6069557001428a2f98d728ae223ddab715be3fffff606a5570013545598e5c23276ccf0ede68034fffff606b557001288c4161ce1d6f54b7f61081194fffff606c5570011c592761c666aa641d5a01a40f17ffff606d55700110a688680a7530515f3e6e6cfdcdffff606e557001056f1b5bedf75c6bcb2ce8aed428ffff606f556ffaadceceeff8a0890f3875f008277fff6070556ff05dc6b27edad306388a600f6ba0bfff6071556fe67a5a25da41063de1495d5b18cdbfff6072556fdcff115b14eedde6fc3aa5353f2e4fff6073556fd3e7a3924312399f9aae2e0f868f8fff6074556fcb2ff529eb71e41582cccd5a1ee26fff6075556fc2d415c3db974ab32a51840c0b67edff6076556fbad03e7d883f69ad5b0a186184e06bff6077556fb320d03b2c343d4829abd6075f0cc5ff6078556fabc25204e02828d73c6e80bcdb1a95bf6079556fa4b16f74ee4bb2040a1ec6c15fbbf2df607a556f9deaf736ac1f569deb1b5ae3f36c130f607b556f976bd9952c7aa957f5937d790ef65037607c556f9131271922eaa6064b73a22d0bd4f2bf607d556f8b380f3558668c46c91c49a2f8e967b9607e556f857ddf0117efa215952912839f6473e6607f55565b61192b6f60e393c68d20b1bd09deaabc0373b9c56080556f5f8f46e4854120989ed94719fb4c20116081556f5e479ebb9129fb1b7e72a648f992b6066082556f5d0bd23fe42dfedde2e9586be12b85fe6083556f5bdb29ddee979308ddfca81aeeb8095a6084556f5ab4fd8a260d2c7e2c0d2afcf0009dad6085556f5998b31359a55d48724c65cf090012216086556f5885bcad2b322dfc43e8860f9c018cf56087556f577b97aa1fe222bb452fdf111b1f0be26088556f5679cb5e3575632e5baa27e2b949f7046089556f557fe8241b3a31c83c732f1cdff4a1c5608a556f548d868026504875d6e59bbe95fc2a6b608b556f53a2465ce347cf34d05a867c17dd3088608c556f52bdce5dcd4faed59c7f5511cf8f8acc608d556f51dfcb453c07f8da817606e7885f7c3e608e556f5107ef6b0a5a2be8f8ff15590daa3cce608f556f5035f241d6eae0cd7bacba119993de7b6090556f4f698fe90d5b53d532171e1210164c666091556f4ea288ca297a0e6a09a0eee240e16c856092556f4de0a13fdcf5d4213fc398ba6e3becde6093556f4d23a145eef91fec06b06140804c48086094556f4c6b5430d4c1ee5526473db4ae0f11de6095556f4bb7886c240562eba11f4963a53b42406096556f4b080f3f1cb491d2d521e0ea4583521e6097556f4a5cbc96a05589cb4d86be1db31683646098556f49b566d40243517658d78c33162d6ece6099556f4911e6a02e5507a30f947383fd9a3276609a556f487216c2b31be4adc41db8a8d5cc0c88609b556f47d5d3fc4a7a1b188cd3d788b5c5e9fc609c556f473cfce4871a2c40bc4f9e1c32b955d0609d556f46a771ca578ab878485810e285e31c67609e556f4615149718aed4c258c373dc676aa72d609f556f4585c8b3f8fe489c6e1833ca4787138460a0556f44f972f174e41e5efb7e9d63c29ce73560a1556f446ff970ba86d8b00beb05ecebf3c4dc60a2556f43e9438ec88971812d6f198b5ccaad9660a3556f436539d11ff7bea657aeddb394e809ef60a4556f42e3c5d3e5a913401d86f66db5d81c2c60a5556f4264d2395303070ea726cbe98df6217460a6556f41e84a9a593bb7194c3a6349ecae4eea60a7556f416e1b785d13eba07a08f3f18876a5ab60a8556f40f6322ff389d423ba9dd7e7e7b7e80960a9556f40807cec8a466880ecf4184545d240a460aa556f400cea9ce88a8d3ae668e8ea0d9bf07f60ab556f3f9b6ae8772d4c55091e0ed7dfea0ac160ac556f3f2bee253fd84594f54bcaafac383a1360ad556f3ebe654e95208bb9210c575c081c595860ae556f3e52c1fc5665635b78ce1f05ad53c08660af556f3de8f65ac388101ddf718a6f5c1eff6560b0556f3d80f522d59bd0b328ca012df4cd2d4960b1556f3d1ab193129ea72b23648a161163a85a60b2556f3cb61f68d32576c135b95cfb53f76d7560b3556f3c5332d9f1aae851a3619e77e4cc847360b4556f3bf1e08edbe2aa109e1525f65759ef7360b5556f3b921d9cff13fa2c197746a3dfc4918f60b6556f3b33df818910bfc1a5aefb8f63ae2ac460b7556f3ad71c1c77e34fa32a9f184967eccbf660b8556f3a7bc9abf2c5bb53e2f7384a8a16521a60b9556f3a21dec7e76369783a68a0c6385a1c5760ba556f39c9525de6c9cdf7c1c157ca4a7a6ee360bb556f39721bad3dc85d1240ff0190e0adaac360bc556f391c324344d3248f0469eb28dd3d77e060bd556f38c78df7e3c796279fb4ff84394ab3da60be556f387426ea4638ae9aae08049d3554c20a60bf556f3821f57dbd2763256c1a99bbd205137860c0556f37d0f256cb46a8c92ff62fbbef28969860c1556f37811658591ffc7abdd1feaf3cef9b7360c2556f37325aa10e9e82f7df0f380f7997154b60c3556f36e4b888cfb408d873b9a80d439311c660c4556f3698299e59f4bb9de645fc9b08c64cca60c5556f364ca7a5012cb603023b57dd3ebfd50d60c6556f36022c928915b778ab1b06aaee7e61d460c7556f35b8b28d1a73dc27500ffe35559cc02860c8556f357033e951fe250ec5eb4e60955132d760c9556f3528ab2867934e3a21b5412e4c4f888160ca556f34e212f66c55057f9676c80094a61d5960cb556f349c66289e5b3c4b540c24f42fa4b9bb60cc556f34579fbbd0c733a9c8d6af6b0f7d00f760cd556f3413bad2e712288b924b5882b5b369bf60ce556f33d0b2b56286510ef730e213f71f12e960cf556f338e82ce00e2496262c64457535ba1a160d0556f334d26a96b373bb7c2f8ea1827f27a9260d1556f330c99f4f4211469e00b3e18c31475ea60d2556f32ccd87d6486094999c7d5e6f33237d860d3556f328dde2dd617b6665a2e8556f250c1af60d4556f324fa70e9adc270f8262755af5a99af960d5556f32122f443110611ca51040f41fa6e1e360d6556f31d5730e42c0831482f0f1485c4263d860d7556f31996ec6b07b4a83421b5ebc4ab4e1f160d8556f315e1ee0a68ff46bb43ec2b85032e87660d9556f31237fe7bc4deacf6775b9efa1a145f860da556f30e98e7f1cc5a356e44627a6972ea2ff60db556f30b04760b8917ec74205a3002650ec0560dc556f3077a75c803468e9132ce0cf3224241d60dd556f303fab57a6a275c36f19cda9bace667a60de556f3008504beb8dcbd2cf3bc1f6d5a064f060df556f2fd19346ed17dac61219ce0c2c5ac4b060e0556f2f9b7169808c324b5852fd3d54ba971460e1556f2f65e7e711cf4b064eea9c08cbdad57460e2556f2f30f405093042ddff8a251b6bf6d10360e3556f2efc931a3750f2e8bfe323edfe03757460e4556f2ec8c28e46dbe56d98685278339400cb60e5556f2e957fd933c3926d8a599b602379b85160e6556f2e62c882c7c9ed4473412702f08ba0e560e7556f2e309a221c12ba361e3ed695167feee260e8556f2dfef25d1f865ae18dd07cfea4bcea1060e9556f2dcdcee821cdc80decc02c44344aeb3160ea556f2d9d2d8562b34944d0b201bb87260c8360eb556f2d6d0c04a5b62a2c42636308669b729a60ec556f2d3d6842c9a235517fc5a0332691528f60ed556f2d0e402963fe1ea2834abc408c437c1060ee556f2cdf91ae602647908aff975e4d6a2a8c60ef556f2cb15ad3a1eb65f6d74a75da09a1b6c560f0556f2c8399a6ab8e9774d6fcff373d21072760f1556f2c564c4046f64edba6883ca06bbc453560f2556f2c2970c431f952641e05cb493e23eed360f3556f2bfd0560cd9eb14563bc7c0732856c1860f4556f2bd1084ed0332f7ff4150f9d0ef41a2c60f5556f2ba577d0fa1628b76d040b12a82492fb60f6556f2b7a5233cd21581e855e89dc2f1e8a9260f7556f2b4f95cd46904d05d72bdcde337d9cc760f8556f2b2540fc9b4d9abba3faca669191467560f9556f2afb5229f68d0830d8be8adb0a0db70f60fa556f2ad1c7c63a9b294c5bc73a3ba3ab7a2b60fb556f2aa8a04ac3cbe1ee1c9c86361465dbb860fc556f2a7fda392d725a44a2c8aeb9ab35430d60fd556f2a57741b18cde618717792b4faa216db60fe556f2a2f6c81f5d84dd950a35626d6d5503a60ff55565b565b600080851161194e5760405162461bcd60e51b81526004016102519061474a565b6000841161196e5760405162461bcd60e51b815260040161025190614776565b60018363ffffffff1611801561199d575061198d620f424060026147c1565b63ffffffff168363ffffffff1611155b6119b95760405162461bcd60e51b8152600401610251906147e9565b816000036119c95750600061021a565b620f423f1963ffffffff841601611a06578460016119e78487611b14565b6119f19190614846565b6119fb9190614832565b6102fb9060016148b9565b60008080611a148886611b29565b9050611a258189620f424089611b35565b9093509150600060ff83166001611a3c8a87611b14565b611a469190614846565b611a52911c60016148b9565b90506103448882614846565b6000808511611a7f5760405162461bcd60e51b81526004016102519061474a565b60008411611a9f5760405162461bcd60e51b815260040161025190614776565b60008363ffffffff16118015611abe5750620f424063ffffffff841611155b611ada5760405162461bcd60e51b815260040161025190614859565b81600003611aea5750600061021a565b620f423f1963ffffffff841601611b0657836102f18684611b14565b600080806103108588611b29565b6000611b2082846148cc565b90505b92915050565b6000611b2082846148b9565b600080600160811b8610611b4857600080fd5b60008086611b5a6001607f1b8a6148cc565b611b649190614832565b905070015bf0a8b1457695355fb8ac404e7a79e3811015611b8f57611b8881611d27565b9150611b9b565b611b98816122a0565b91505b60008563ffffffff168763ffffffff1684611bb691906148cc565b611bc09190614832565b9050600160831b811015611be557611bd781612395565b607f94509450505050611c19565b6000611bf0826129c0565b9050611c0c611c0082607f6148e3565b60ff1683901c82612a73565b95509350611c1992505050565b94509492505050565b600080611c2f85856130cc565b9095509350600086611c45896001607f1b611b14565b611c4f9190614832565b9050600070015bf0a8b1457695355fb8ac404e7a79e38210611c7957611c74826122a0565b611c82565b611c8282611d27565b9050600086611c91838a611b14565b611c9b9190614832565b9050600086611cb257611cad82613187565b611cbb565b611cbb826131c2565b9050611cdd611cca828b611b14565b611cd88a6001607f1b611b14565b611cef565b95509550505050509550959350505050565b600080828411611d0c57611d03848461322b565b91509150611d20565b600080611d19858761322b565b9450925050505b9250929050565b6000808080806fd3094c70f034de4b96ff7d5b6f99fcd88610611d8057611d526001607e1b856148b9565b93506fd3094c70f034de4b96ff7d5b6f99fcd8611d736001607f1b886148cc565b611d7d9190614832565b95505b6fa45af1e1f40c333b3de1db4dd55f29a78610611dd357611da56001607d1b856148b9565b93506fa45af1e1f40c333b3de1db4dd55f29a7611dc66001607f1b886148cc565b611dd09190614832565b95505b6f910b022db7ae67ce76b441c27035c6a18610611e2657611df86001607c1b856148b9565b93506f910b022db7ae67ce76b441c27035c6a1611e196001607f1b886148cc565b611e239190614832565b95505b6f88415abbe9a76bead8d00cf112e4d4a88610611e7957611e4b6001607b1b856148b9565b93506f88415abbe9a76bead8d00cf112e4d4a8611e6c6001607f1b886148cc565b611e769190614832565b95505b6f84102b00893f64c705e841d5d4064bd38610611ecc57611e9e6001607a1b856148b9565b93506f84102b00893f64c705e841d5d4064bd3611ebf6001607f1b886148cc565b611ec99190614832565b95505b6f8204055aaef1c8bd5c3259f4822735a28610611f1f57611ef1600160791b856148b9565b93506f8204055aaef1c8bd5c3259f4822735a2611f126001607f1b886148cc565b611f1c9190614832565b95505b6f810100ab00222d861931c15e39b44e998610611f7257611f44600160781b856148b9565b93506f810100ab00222d861931c15e39b44e99611f656001607f1b886148cc565b611f6f9190614832565b95505b6f808040155aabbbe9451521693554f7338610611fc557611f97600160771b856148b9565b93506f808040155aabbbe9451521693554f733611fb86001607f1b886148cc565b611fc29190614832565b95505b611fd36001607f1b87614846565b92508291506001607f1b611fe783806148cc565b611ff19190614832565b9050600160801b6120028482614846565b61200c90846148cc565b6120169190614832565b61202090856148b9565b93506001607f1b61203182846148cc565b61203b9190614832565b9150600160811b61205c846faaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa614846565b61206690846148cc565b6120709190614832565b61207a90856148b9565b93506001607f1b61208b82846148cc565b6120959190614832565b9150600360801b6120b6846f99999999999999999999999999999999614846565b6120c090846148cc565b6120ca9190614832565b6120d490856148b9565b93506001607f1b6120e582846148cc565b6120ef9190614832565b9150600160821b612110846f92492492492492492492492492492492614846565b61211a90846148cc565b6121249190614832565b61212e90856148b9565b93506001607f1b61213f82846148cc565b6121499190614832565b9150600560801b61216a846f8e38e38e38e38e38e38e38e38e38e38e614846565b61217490846148cc565b61217e9190614832565b61218890856148b9565b93506001607f1b61219982846148cc565b6121a39190614832565b9150600360811b6121c4846f8ba2e8ba2e8ba2e8ba2e8ba2e8ba2e8b614846565b6121ce90846148cc565b6121d89190614832565b6121e290856148b9565b93506001607f1b6121f382846148cc565b6121fd9190614832565b9150600760801b61221e846f89d89d89d89d89d89d89d89d89d89d89614846565b61222890846148cc565b6122329190614832565b61223c90856148b9565b93506001607f1b61224d82846148cc565b6122579190614832565b9150600160831b612278846f88888888888888888888888888888888614846565b61228290846148cc565b61228c9190614832565b61229690856148b9565b9695505050505050565b600080600160801b83106122e45760006122c66122c16001607f1b86614832565b6132ef565b60ff811694851c949091506122e0906001607f1b906148cc565b9150505b6001607f1b83111561235957607f5b60ff811615612357576001607f1b61230b85806148cc565b6123159190614832565b9350600160801b841061234757600193841c9361233290826148e3565b60ff166001901b8261234491906148b9565b91505b61235081614912565b90506122f3565b505b6f05b9de1d10bf4103d647b0955897ba806123846f03f80fe03f80fe03f80fe03f80fe03f8836148cc565b61238e9190614832565b9392505050565b60008080806123a86001607c1b8661492f565b91508190506001607f1b6123bc82806148cc565b6123c69190614832565b90506123da816710e1b3be415a00006148cc565b6123e490846148b9565b92506001607f1b6123f583836148cc565b6123ff9190614832565b9050612413816705a0913f6b1e00006148cc565b61241d90846148b9565b92506001607f1b61242e83836148cc565b6124389190614832565b905061244c81670168244fdac780006148cc565b61245690846148b9565b92506001607f1b61246783836148cc565b6124719190614832565b905061248481664807432bc180006148cc565b61248e90846148b9565b92506001607f1b61249f83836148cc565b6124a99190614832565b90506124bc81660c0135dca040006148cc565b6124c690846148b9565b92506001607f1b6124d783836148cc565b6124e19190614832565b90506124f4816601b707b1cdc0006148cc565b6124fe90846148b9565b92506001607f1b61250f83836148cc565b6125199190614832565b905061252b816536e0f639b8006148cc565b61253590846148b9565b92506001607f1b61254683836148cc565b6125509190614832565b905061256281650618fee9f8006148cc565b61256c90846148b9565b92506001607f1b61257d83836148cc565b6125879190614832565b905061259881649c197dcc006148cc565b6125a290846148b9565b92506001607f1b6125b383836148cc565b6125bd9190614832565b90506125ce81640e30dce4006148cc565b6125d890846148b9565b92506001607f1b6125e983836148cc565b6125f39190614832565b90506126048164012ebd13006148cc565b61260e90846148b9565b92506001607f1b61261f83836148cc565b6126299190614832565b9050612639816317499f006148cc565b61264390846148b9565b92506001607f1b61265483836148cc565b61265e9190614832565b905061266e816301a9d4806148cc565b61267890846148b9565b92506001607f1b61268983836148cc565b6126939190614832565b90506126a281621c63806148cc565b6126ac90846148b9565b92506001607f1b6126bd83836148cc565b6126c79190614832565b90506126d6816201c6386148cc565b6126e090846148b9565b92506001607f1b6126f183836148cc565b6126fb9190614832565b905061270981611ab86148cc565b61271390846148b9565b92506001607f1b61272483836148cc565b61272e9190614832565b905061273c8161017c6148cc565b61274690846148b9565b92506001607f1b61275783836148cc565b6127619190614832565b905061276e8160146148cc565b61277890846148b9565b92506001607f1b61278983836148cc565b6127939190614832565b90506127a08160016148cc565b6127aa90846148b9565b92506001607f1b826127c46721c3677c82b4000086614832565b6127ce91906148b9565b6127d891906148b9565b92506001607c1b8516156128205770018ebef9eac820ae8682b9793ac6d1e776612813847001c3d6a24ed82218787d624d3e5eba95f96148cc565b61281d9190614832565b92505b6001607d1b851615612866577001368b2fc6f9609fe7aceb46aa619baed46128598470018ebef9eac820ae8682b9793ac6d1e7786148cc565b6128639190614832565b92505b6001607e1b8516156128ab576fbc5ab1b16779be3575bd8f0520a9f21f61289e847001368b2fc6f9609fe7aceb46aa619baed56148cc565b6128a89190614832565b92505b6001607f1b8516156128ef576f454aaa8efe072e7f6ddbab84b40a55c96128e2846fbc5ab1b16779be3575bd8f0520a9f21e6148cc565b6128ec9190614832565b92505b600160801b851615612933576f0960aadc109e7a3bf4578099615711ea612926846f454aaa8efe072e7f6ddbab84b40a55c56148cc565b6129309190614832565b92505b600160811b851615612976576e2bf84208204f5977f9a8cf01fdce3d612969846f0960aadc109e7a3bf4578099615711d76148cc565b6129739190614832565b92505b600160821b8516156129b7576d03c6ab775dd0b95b4cbee7e65d116129aa846e2bf84208204f5977f9a8cf01fdc3076148cc565b6129b49190614832565b92505b50909392505050565b60006020607f5b60ff81166129d6836001614943565b60ff161015612a2957600060026129ed8385614943565b6129f7919061495c565b90508460008260ff1660808110612a1057612a106148fc565b015410612a1f57809250612a23565b8091505b506129c7565b8360008260ff1660808110612a4057612a406148fc565b015410612a4e579392505050565b8360008360ff1660808110612a6557612a656148fc565b0154106100e6575092915050565b6000828160ff8416612a8583806148cc565b901c9150612aa2826b0d10b13981d2a0bc5e5fdcab601e1b6148cc565b612aac90826148b9565b905060ff8416612abc86846148cc565b901c9150612ad9826b045ae5bdd5f0e03eca1ff439601e1b6148cc565b612ae390826148b9565b905060ff8416612af386846148cc565b901c9150612b10826e45ae5bdd5f0e03eca1ff43900000006148cc565b612b1a90826148b9565b905060ff8416612b2a86846148cc565b901c9150612b46826adefabf91302cd95b9ffda5601c1b6148cc565b612b5090826148b9565b905060ff8416612b6086846148cc565b901c9150612b7c826a4a53953065644873dfff37601b1b6148cc565b612b8690826148b9565b905060ff8416612b9686846148cc565b901c9150612bb2826d54f1cf12bd04e516b6da880000006148cc565b612bbc90826148b9565b905060ff8416612bcc86846148cc565b901c9150612be8826d0a9e39e257a09ca2d6db510000006148cc565b612bf290826148b9565b905060ff8416612c0286846148cc565b901c9150612c1e826d012e066e7b839fa050c3090000006148cc565b612c2890826148b9565b905060ff8416612c3886846148cc565b901c9150612c53826c1e33d7d926c329a1ad1a8000006148cc565b612c5d90826148b9565b905060ff8416612c6d86846148cc565b901c9150612c88826c02bee513bdb4a6b19b5f8000006148cc565b612c9290826148b9565b905060ff8416612ca286846148cc565b901c9150612cbc826b3a9316fa79b88eccf2a000006148cc565b612cc690826148b9565b905060ff8416612cd686846148cc565b901c9150612cf0826b048177ebe1fa8123752000006148cc565b612cfa90826148b9565b905060ff8416612d0a86846148cc565b901c9150612d23826a5263fe90242dcbacf000006148cc565b612d2d90826148b9565b905060ff8416612d3d86846148cc565b901c9150612d56826a057e22099c030d941000006148cc565b612d6090826148b9565b905060ff8416612d7086846148cc565b901c9150612d88826957e22099c030d94100006148cc565b612d9290826148b9565b905060ff8416612da286846148cc565b901c9150612dba8269052b6b545699763100006148cc565b612dc490826148b9565b905060ff8416612dd486846148cc565b901c9150612deb82684985f67696bf7480006148cc565b612df590826148b9565b905060ff8416612e0586846148cc565b901c9150612e1c826803dea12ea99e4980006148cc565b612e2690826148b9565b905060ff8416612e3686846148cc565b901c9150612e4c826731880f2214b6e0006148cc565b612e5690826148b9565b905060ff8416612e6686846148cc565b901c9150612e7c8267025bcff56eb360006148cc565b612e8690826148b9565b905060ff8416612e9686846148cc565b901c9150612eab82661b722e10ab10006148cc565b612eb590826148b9565b905060ff8416612ec586846148cc565b901c9150612eda826601317c700770006148cc565b612ee490826148b9565b905060ff8416612ef486846148cc565b901c9150612f0882650cba84aafa006148cc565b612f1290826148b9565b905060ff8416612f2286846148cc565b901c9150612f35826482573a0a006148cc565b612f3f90826148b9565b905060ff8416612f4f86846148cc565b901c9150612f62826405035ad9006148cc565b612f6c90826148b9565b905060ff8416612f7c86846148cc565b901c9150612f8e82632f881b006148cc565b612f9890826148b9565b905060ff8416612fa886846148cc565b901c9150612fba826301b293406148cc565b612fc490826148b9565b905060ff8416612fd486846148cc565b901c9150612fe582620efc406148cc565b612fef90826148b9565b905060ff8416612fff86846148cc565b901c915061300f82617fe06148cc565b61301990826148b9565b905060ff841661302986846148cc565b901c9150613039826104206148cc565b61304390826148b9565b905060ff841661305386846148cc565b901c91506130628260216148cc565b61306c90826148b9565b905060ff841661307c86846148cc565b901c915061308b8260016148cc565b61309590826148b9565b9050600160ff85161b856130b86b0d10b13981d2a0bc5e5fdcab601f1b84614832565b6130c291906148b9565b61037f91906148b9565b600080600160801b84111580156130e75750600160801b8311155b156130f6575082905081611d20565b600160801b8410156131295782613111600160801b866148cc565b61311b9190614832565b600160801b91509150611d20565b600160801b83101561314f57600160801b8461314582866148cc565b611d039190614832565b600083851161315e5783613160565b845b905060006131756122c16001607f1b84614832565b60ff1695861c969490951c9450505050565b60006f2f16ac6c59de6f8d5d6f63c1482a7c8682116131a957611b238261335b565b816131b86001607f1b806148cc565b611b239190614832565b60006f2f16ac6c59de6f8d5d6f63c1482a7c8682116131e457611b2382613bd7565b7001af16ac6c59de6f8d5d6f63c1482a7c80821161320557611b2382614462565b706b22d43e72c326539cceeef8bb48f255ff82116100e657611b2382614587565b919050565b6000807d10c6f7a0b5ed8d36b4c7f34938583621fafc8b0079a2834d26fa3fcc9ea98411156132b057600061327f7d10c6f7a0b5ed8d36b4c7f34938583621fafc8b0079a2834d26fa3fcc9ea960016148b9565b6132899086614832565b6132949060016148b9565b90506132a08186614832565b94506132ac8185614832565b9350505b60006132d16132c2620f4240876148cc565b6132cc8787611b29565b614631565b905060006132e282620f4240614846565b9196919550909350505050565b600080610100831015613322575b600183111561331d57600192831c926133169082614943565b90506132fd565b611b23565b60805b60ff81161561335457600160ff82161b84106133495760ff81169390931c92908117905b60011c607f16613325565b5092915050565b600081816001607f1b61336e83806148cc565b6133789190614832565b9150613394826c029a534e74dcf60586cd18f611601f1b6148cc565b61339e90826148b9565b90506001607f1b6133af85846148cc565b6133b99190614832565b91506133d4826b4a09419b34fee42b6c1f37c960231b6148cc565b6133de90826148b9565b90506001607f1b6133ef85846148cc565b6133f99190614832565b9150613415826c24268508c8e0756933cb3e3d25601d1b6148cc565b61341f90826148b9565b90506001607f1b61343085846148cc565b61343a9190614832565b9150613456826c04af62c06bf4213d25d793548560211b6148cc565b61346090826148b9565b90506001607f1b61347185846148cc565b61347b9190614832565b915061349882701440b0be1615a47dba6e5b3b1f100000006148cc565b6134a290826148b9565b90506001607f1b6134b385846148cc565b6134bd9190614832565b91506134d7826ab481d807d1aa66d0449061602e1b6148cc565b6134e190826148b9565b90506001607f1b6134f285846148cc565b6134fc9190614832565b9150613519827066ebaac4c37c622dd8288a7eb1b20000006148cc565b61352390826148b9565b90506001607f1b61353485846148cc565b61353e9190614832565b915061355a826c778b92009afbedea1d0dd0867960211b6148cc565b61356490826148b9565b90506001607f1b61357585846148cc565b61357f9190614832565b915061359d82710233c33c676a5eb2416094a87b36570000006148cc565b6135a790826148b9565b90506001607f1b6135b885846148cc565b6135c29190614832565b91506135dd826b541cde48bc0254bed49a9f87602c1b6148cc565b6135e790826148b9565b90506001607f1b6135f885846148cc565b6136029190614832565b915061362082710cae1fad2cdd4d4cb8d73abca0d19a4000006148cc565b61362a90826148b9565b90506001607f1b61363b85846148cc565b6136459190614832565b9150613662826d07b6caa8bdd834571073bb6ea55960221b6148cc565b61366c90826148b9565b90506001607f1b61367d85846148cc565b6136879190614832565b91506136a582714ba8d20d2dabd386c9529659841a2e2000006148cc565b6136af90826148b9565b90506001607f1b6136c085846148cc565b6136ca9190614832565b91506136e2826805d6042a35c33e6d51604d1b6148cc565b6136ec90826148b9565b90506001607f1b6136fd85846148cc565b6137079190614832565b9150613726827201cfa8e70c03625b9db76c8ebf5bbf248200006148cc565b61373090826148b9565b90506001607f1b61374185846148cc565b61374b9190614832565b9150613769826e02428eccfc10306f932f9984d937c160211b6148cc565b61377390826148b9565b90506001607f1b61378485846148cc565b61378e9190614832565b91506137ad82720b550d19b129d270c44f6f55f027723cbb00006148cc565b6137b790826148b9565b90506001607f1b6137c885846148cc565b6137d29190614832565b91506137ee826c01c877dadc761dc272deb65d4b60341b6148cc565b6137f890826148b9565b90506001607f1b61380985846148cc565b6138139190614832565b9150613832827248178ece97479f33a77f2ad22a81b64406c0006148cc565b61383c90826148b9565b90506001607f1b61384d85846148cc565b6138579190614832565b9150613875826e2db2a09a2e76043fb7d9a57bcbe29b60221b6148cc565b61387f90826148b9565b90506001607f1b61389085846148cc565b61389a9190614832565b91506138ba827301d0e76631a5b05d007b8cb72a7c7f11ec36e0006148cc565b6138c490826148b9565b90506001607f1b6138d585846148cc565b6138df9190614832565b91506138f88269094386f7b3f0bfb38d8f604f1b6148cc565b61390290826148b9565b90506001607f1b61391385846148cc565b61391d9190614832565b915061393d82730bd8369f1b702bf491e2ebfcee08250313b654006148cc565b61394790826148b9565b90506001607f1b61395885846148cc565b6139629190614832565b9150613981826f07971f0caa7db1c2acb2d6764895d93560221b6148cc565b61398b90826148b9565b90506001607f1b61399c85846148cc565b6139a69190614832565b91506139c682734dff5820e165e910f95120a708e742496221e6006148cc565b6139d090826148b9565b90506001607f1b6139e185846148cc565b6139eb9190614832565b9150613a07826c064647b36d8fe769bc7728729b603d1b6148cc565b613a1190826148b9565b90506001607f1b613a2285846148cc565b613a2c9190614832565b9150613a4d82740205db8dffff45bfa2938f128f599dbf16eb11d8806148cc565b613a5790826148b9565b90506001607f1b613a6885846148cc565b613a729190614832565b9150613a91826fa74089d7b3086a2927c2f0d5e71a734160231b6148cc565b613a9b90826148b9565b90506001607f1b613aac85846148cc565b613ab69190614832565b9150613ad782740d86dae2a4cc0f47633a544479735869b487b59c406148cc565b613ae190826148b9565b90506001607f1b613af285846148cc565b613afc9190614832565b9150613b0d82610231609c1b6148cc565b613b1790826148b9565b90506001607f1b613b2885846148cc565b613b329190614832565b9150613b5382745b0485a76f6646c2039db1507cdd51b086496808226148cc565b613b5d90826148b9565b90506001607f1b613b6e85846148cc565b613b789190614832565b9150613b988270764c1e23624aa2de0bf7d35ad802af121160211b6148cc565b613ba290826148b9565b90506001607f1b84613bc36bde1bc4d19efcac82445da75b60201b84614832565b613bcd91906148b9565b61021a91906148b9565b60008181613be9826001607f1b614846565b613c02906bde1bc4d19efcac82445da75b60201b6148cc565b90506001607f1b613c1385846148cc565b613c1d9190614832565b9150613c39826c029a534e74dcf60586cd18f611601f1b6148cc565b613c4390826148b9565b90506001607f1b613c5485846148cc565b613c5e9190614832565b9150613c79826b4a09419b34fee42b6c1f37c960231b6148cc565b613c839082614846565b90506001607f1b613c9485846148cc565b613c9e9190614832565b9150613cba826c24268508c8e0756933cb3e3d25601d1b6148cc565b613cc490826148b9565b90506001607f1b613cd585846148cc565b613cdf9190614832565b9150613cfb826c04af62c06bf4213d25d793548560211b6148cc565b613d059082614846565b90506001607f1b613d1685846148cc565b613d209190614832565b9150613d3d82701440b0be1615a47dba6e5b3b1f100000006148cc565b613d4790826148b9565b90506001607f1b613d5885846148cc565b613d629190614832565b9150613d7c826ab481d807d1aa66d0449061602e1b6148cc565b613d869082614846565b90506001607f1b613d9785846148cc565b613da19190614832565b9150613dbe827066ebaac4c37c622dd8288a7eb1b20000006148cc565b613dc890826148b9565b90506001607f1b613dd985846148cc565b613de39190614832565b9150613dff826c778b92009afbedea1d0dd0867960211b6148cc565b613e099082614846565b90506001607f1b613e1a85846148cc565b613e249190614832565b9150613e4282710233c33c676a5eb2416094a87b36570000006148cc565b613e4c90826148b9565b90506001607f1b613e5d85846148cc565b613e679190614832565b9150613e82826b541cde48bc0254bed49a9f87602c1b6148cc565b613e8c9082614846565b90506001607f1b613e9d85846148cc565b613ea79190614832565b9150613ec582710cae1fad2cdd4d4cb8d73abca0d19a4000006148cc565b613ecf90826148b9565b90506001607f1b613ee085846148cc565b613eea9190614832565b9150613f07826d07b6caa8bdd834571073bb6ea55960221b6148cc565b613f119082614846565b90506001607f1b613f2285846148cc565b613f2c9190614832565b9150613f4a82714ba8d20d2dabd386c9529659841a2e2000006148cc565b613f5490826148b9565b90506001607f1b613f6585846148cc565b613f6f9190614832565b9150613f87826805d6042a35c33e6d51604d1b6148cc565b613f919082614846565b90506001607f1b613fa285846148cc565b613fac9190614832565b9150613fcb827201cfa8e70c03625b9db76c8ebf5bbf248200006148cc565b613fd590826148b9565b90506001607f1b613fe685846148cc565b613ff09190614832565b915061400e826e02428eccfc10306f932f9984d937c160211b6148cc565b6140189082614846565b90506001607f1b61402985846148cc565b6140339190614832565b915061405282720b550d19b129d270c44f6f55f027723cbb00006148cc565b61405c90826148b9565b90506001607f1b61406d85846148cc565b6140779190614832565b9150614093826c01c877dadc761dc272deb65d4b60341b6148cc565b61409d9082614846565b90506001607f1b6140ae85846148cc565b6140b89190614832565b91506140d7827248178ece97479f33a77f2ad22a81b64406c0006148cc565b6140e190826148b9565b90506001607f1b6140f285846148cc565b6140fc9190614832565b915061411a826e2db2a09a2e76043fb7d9a57bcbe29b60221b6148cc565b6141249082614846565b90506001607f1b61413585846148cc565b61413f9190614832565b915061415f827301d0e76631a5b05d007b8cb72a7c7f11ec36e0006148cc565b61416990826148b9565b90506001607f1b61417a85846148cc565b6141849190614832565b915061419d8269094386f7b3f0bfb38d8f604f1b6148cc565b6141a79082614846565b90506001607f1b6141b885846148cc565b6141c29190614832565b91506141e282730bd8369f1b702bf491e2ebfcee08250313b654006148cc565b6141ec90826148b9565b90506001607f1b6141fd85846148cc565b6142079190614832565b9150614226826f07971f0caa7db1c2acb2d6764895d93560221b6148cc565b6142309082614846565b90506001607f1b61424185846148cc565b61424b9190614832565b915061426b82734dff5820e165e910f95120a708e742496221e6006148cc565b61427590826148b9565b90506001607f1b61428685846148cc565b6142909190614832565b91506142ac826c064647b36d8fe769bc7728729b603d1b6148cc565b6142b69082614846565b90506001607f1b6142c785846148cc565b6142d19190614832565b91506142f282740205db8dffff45bfa2938f128f599dbf16eb11d8806148cc565b6142fc90826148b9565b90506001607f1b61430d85846148cc565b6143179190614832565b9150614336826fa74089d7b3086a2927c2f0d5e71a734160231b6148cc565b6143409082614846565b90506001607f1b61435185846148cc565b61435b9190614832565b915061437c82740d86dae2a4cc0f47633a544479735869b487b59c406148cc565b61438690826148b9565b90506001607f1b61439785846148cc565b6143a19190614832565b91506143b282610231609c1b6148cc565b6143bc9082614846565b90506001607f1b6143cd85846148cc565b6143d79190614832565b91506143f882745b0485a76f6646c2039db1507cdd51b086496808226148cc565b61440290826148b9565b90506001607f1b61441385846148cc565b61441d9190614832565b915061443d8270764c1e23624aa2de0bf7d35ad802af121160211b6148cc565b6144479082614846565b905061021a6bde1bc4d19efcac82445da75b60201b82614832565b60008060016144816f2f16ac6c59de6f8d5d6f63c1482a7c8685614846565b61448b9190614846565b905060006144a96f03060c183060c183060c183060c1830683614832565b905060006144c7826f03060c183060c183060c183060c183066148cc565b905060006144d68360016148b9565b6144f0906f03060c183060c183060c183060c183066148cc565b9050600060808460808110614507576145076148fc565b015490506000608061451a8660016148b9565b6080811061452a5761452a6148fc565b015490506f03060c183060c183060c183060c183066145498588614846565b61455390836148cc565b61455d8886614846565b61456790856148cc565b61457191906148b9565b61457b9190614832565b98975050505050505050565b60008070015bf0a8b1457695355fb8ac404e7a79e383106145b0576145ab836122a0565b6145b9565b6145b983611d27565b9050600070015bf0a8b1457695355fb8ac404e7a79e382106145e3576145de826122a0565b6145ec565b6145ec82611d27565b9050836001607f1b836145ff82856148cc565b6146099190614832565b6146138486614846565b61461d91906148b9565b61462791906148cc565b61021a9190614832565b600061463e600283614832565b6146489083614846565b614652838561492f565b61465c9190614832565b6146668385614832565b611b2091906148b9565b803563ffffffff8116811461322657600080fd5b6000806000806080858703121561469a57600080fd5