Contract

0x9cb4EB477966bceF2736e6d348D986110773a753

Overview

Balance:

0 WBT

WBT Value:

0 USDT (@ 42.39/WBT)

More info

Contract creator:

0xa5f5...d2c85Cat txn0x39ac...d79f89

Transactions Contract

Contract code Read contract Write contract

Contract Source Code Verified (Exact Match)

Contract Name:

ExponentialPremiumPriceOracle

Compiler Version:

0.8.17+commit.8df45f5f

EVM Version:

london evmVersion

Optimizations:

Enabled with 1200 runs

License:

MIT License (MIT)

Contract source code and ABI

Constructor arguments

0000000000000000000000005b08fac45556b28383585fbd5826db49ed8f1e0b00000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000008ac7230489e80000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000060000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001b80fcfcdb5d140080000000000000000000000000000000000000000000000002b90ece47e49b530000000000000000000000000000000000000000000000000159022809b98d8630000000000000000000000000000000000000000000000000151f7a9d5480d400000000000000000000000000000000000000000000000000070a7e34718046b

Creation bytecode

0x60e06040523480156200001157600080fd5b50604051620015693803806200156983398101604081905262000034916200021c565b83836200004133620001b6565b8051600614620000bd5760405162461bcd60e51b815260206004820152603a60248201527f72656e74507269636573206172726179206c656e67746820646f6573206e6f7460448201527f206d6174636820746865207265717569726564206c656e677468000000000000606482015260840160405180910390fd5b6001600160a01b03821660805280518190600090620000e057620000e062000317565b60200260200101516001819055508060018151811062000104576200010462000317565b60200260200101516002819055508060028151811062000128576200012862000317565b6020026020010151600381905550806003815181106200014c576200014c62000317565b60200260200101516004819055508060048151811062000170576200017062000317565b60200260200101516005819055508060058151811062000194576200019462000317565b6020908102919091010151600655505060a08290521c60c052506200032d9050565b600080546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b634e487b7160e01b600052604160045260246000fd5b600080600080608085870312156200023357600080fd5b84516001600160a01b03811681146200024b57600080fd5b602086810151919550906001600160401b03808211156200026b57600080fd5b818801915088601f8301126200028057600080fd5b81518181111562000295576200029562000206565b8060051b604051601f19603f83011681018181108582111715620002bd57620002bd62000206565b60405291825284820192508381018501918b831115620002dc57600080fd5b938501935b82851015620002fc57845184529385019392850192620002e1565b60408b01516060909b0151999c909b50975050505050505050565b634e487b7160e01b600052603260045260246000fd5b60805160a05160c0516111fe6200036b60003960008181610901015261092b015260006108d80152600081816101fa015261080701526111fe6000f3fe608060405234801561001057600080fd5b50600436106101005760003560e01c8063a200e15311610097578063cd5d2c7411610066578063cd5d2c741461021c578063cf00716f14610225578063d820ed4214610238578063f2fde38b1461024157600080fd5b8063a200e153146101c6578063a34e3596146101cf578063b86360c6146101e2578063c8a4271f146101f557600080fd5b806359b6b86c116100d357806359b6b86c1461017b57806359e1777c14610184578063715018a6146101975780638da5cb5b146101a157600080fd5b806301ffc9a7146101055780630261d9421461012d5780632c0fd74c1461014457806350e9a7151461014d575b600080fd5b610118610113366004610ee7565b610254565b60405190151581526020015b60405180910390f35b61013660065481565b604051908152602001610124565b61013660015481565b61016061015b366004610f29565b610265565b60408051825181526020928301519281019290925201610124565b61013660055481565b610136610192366004610fa8565b6102f8565b61019f610393565b005b6000546001600160a01b03165b6040516001600160a01b039091168152602001610124565b61013660035481565b6101366101dd366004610f29565b6103a7565b6101606101f0366004610f29565b6103f8565b6101ae7f000000000000000000000000000000000000000000000000000000000000000081565b61013660025481565b61019f610233366004610fe0565b61047f565b61013660045481565b61019f61024f36600461109e565b610603565b600061025f82610693565b92915050565b6040805180820190915260008082526020820152600061028686868561072b565b9050604051806040016040528061029c83610802565b81526020016102ec6102e789898080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152508b92508a91506108a29050565b610802565b90529695505050505050565b60008062015180610311670de0b6b3a7640000856110dd565b61031b91906110f4565b90506000610331670de0b6b3a7640000836110f4565b905084811c600061034a670de0b6b3a7640000846110dd565b6103549085611116565b90506000670de0b6b3a764000061036e83620100006110dd565b61037891906110f4565b905060006103868285610965565b9998505050505050505050565b61039b610c85565b6103a56000610cdf565b565b60006103ef6102e786868080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152508892508791506108a29050565b95945050505050565b6040805180820190915260008082526020820152600061041986868561072b565b9050604051806040016040528061042f83610d47565b81526020016102ec61047a89898080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152508b92508a91506108a29050565b610d47565b610487610c85565b80516006146105035760405162461bcd60e51b815260206004820152603a60248201527f72656e74507269636573206172726179206c656e67746820646f6573206e6f7460448201527f206d6174636820746865207265717569726564206c656e67746800000000000060648201526084015b60405180910390fd5b8060008151811061051657610516611129565b60200260200101516001819055508060018151811061053757610537611129565b60200260200101516002819055508060028151811061055857610558611129565b60200260200101516003819055508060038151811061057957610579611129565b60200260200101516004819055508060048151811061059a5761059a611129565b6020026020010151600581905550806005815181106105bb576105bb611129565b60200260200101516006819055507f73422d94aedd596c2d4d39f27a01033adc390a9054efaf259afefd95ef7331df816040516105f8919061113f565b60405180910390a150565b61060b610c85565b6001600160a01b0381166106875760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201527f646472657373000000000000000000000000000000000000000000000000000060648201526084016104fa565b61069081610cdf565b50565b60007fffffffff0000000000000000000000000000000000000000000000000000000082167f01ffc9a700000000000000000000000000000000000000000000000000000000148061025f57507fffffffff0000000000000000000000000000000000000000000000000000000082167fe88ac7d3000000000000000000000000000000000000000000000000000000001492915050565b60008061076d85858080601f016020809104026020016040519081016040528093929190818152602001838380828437600092019190915250610d5892505050565b905060006006821061078e578360065461078791906110dd565b90506107f7565b816005036107a4578360055461078791906110dd565b816004036107ba578360045461078791906110dd565b816003036107d0578360035461078791906110dd565b816002036107e6578360025461078791906110dd565b836001546107f491906110dd565b90505b9150505b9392505050565b6000807f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166350d25bcd6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610863573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108879190611183565b905080610898846305f5e1006110dd565b6107fb91906110f4565b60006108b162278d008461119c565b9250428311156108c3575060006107fb565b60006108cf8442611116565b905060006108fd7f0000000000000000000000000000000000000000000000000000000000000000836102f8565b90507f00000000000000000000000000000000000000000000000000000000000000008110610959576109507f000000000000000000000000000000000000000000000000000000000000000082611116565b925050506107fb565b50600095945050505050565b6000600183161561099857670de0b6b3a764000061098b670de0ad151d094180846110dd565b61099591906110f4565b91505b60028316156109c957670de0b6b3a76400006109bc670de0a37699596800846110dd565b6109c691906110f4565b91505b60048316156109fa57670de0b6b3a76400006109ed670de09039a5fa5100846110dd565b6109f791906110f4565b91505b6008831615610a2b57670de0b6b3a7640000610a1e670de069c00f3e1200846110dd565b610a2891906110f4565b91505b6010831615610a5c57670de0b6b3a7640000610a4f670de01cce21c94400846110dd565b610a5991906110f4565b91505b6020831615610a8d57670de0b6b3a7640000610a80670ddf82ef46ce1000846110dd565b610a8a91906110f4565b91505b6040831615610abe57670de0b6b3a7640000610ab1670dde4f458f8e8d80846110dd565b610abb91906110f4565b91505b6080831615610aef57670de0b6b3a7640000610ae2670ddbe84213d5f080846110dd565b610aec91906110f4565b91505b610100831615610b2157670de0b6b3a7640000610b14670dd71b7aa6df5b80846110dd565b610b1e91906110f4565b91505b610200831615610b5357670de0b6b3a7640000610b46670dcd86e7f28cde00846110dd565b610b5091906110f4565b91505b610400831615610b8557670de0b6b3a7640000610b78670dba71a3084ad680846110dd565b610b8291906110f4565b91505b610800831615610bb757670de0b6b3a7640000610baa670d94961b13dbde80846110dd565b610bb491906110f4565b91505b611000831615610be957670de0b6b3a7640000610bdc670d4a171c35c98380846110dd565b610be691906110f4565b91505b612000831615610c1b57670de0b6b3a7640000610c0e670cb9da519ccfb700846110dd565b610c1891906110f4565b91505b614000831615610c4d57670de0b6b3a7640000610c40670bab76d59c18d680846110dd565b610c4a91906110f4565b91505b618000831615610c7f57670de0b6b3a7640000610c726709d025defee4df80846110dd565b610c7c91906110f4565b91505b50919050565b6000546001600160a01b031633146103a55760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657260448201526064016104fa565b600080546001600160a01b038381167fffffffffffffffffffffffff0000000000000000000000000000000000000000831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b600061025f64e8d4a51000836110f4565b8051600090819081905b80821015610ede576000858381518110610d7e57610d7e611129565b01602001516001600160f81b03191690507f8000000000000000000000000000000000000000000000000000000000000000811015610dc957610dc260018461119c565b9250610ecb565b7fe0000000000000000000000000000000000000000000000000000000000000006001600160f81b031982161015610e0657610dc260028461119c565b7ff0000000000000000000000000000000000000000000000000000000000000006001600160f81b031982161015610e4357610dc260038461119c565b7ff8000000000000000000000000000000000000000000000000000000000000006001600160f81b031982161015610e8057610dc260048461119c565b7ffc000000000000000000000000000000000000000000000000000000000000006001600160f81b031982161015610ebd57610dc260058461119c565b610ec860068461119c565b92505b5082610ed6816111af565b935050610d62565b50909392505050565b600060208284031215610ef957600080fd5b81357fffffffff00000000000000000000000000000000000000000000000000000000811681146107fb57600080fd5b60008060008060608587031215610f3f57600080fd5b843567ffffffffffffffff80821115610f5757600080fd5b818701915087601f830112610f6b57600080fd5b813581811115610f7a57600080fd5b886020828501011115610f8c57600080fd5b6020928301999098509187013596604001359550909350505050565b60008060408385031215610fbb57600080fd5b50508035926020909101359150565b634e487b7160e01b600052604160045260246000fd5b60006020808385031215610ff357600080fd5b823567ffffffffffffffff8082111561100b57600080fd5b818501915085601f83011261101f57600080fd5b81358181111561103157611031610fca565b8060051b604051601f19603f8301168101818110858211171561105657611056610fca565b60405291825284820192508381018501918883111561107457600080fd5b938501935b8285101561109257843584529385019392850192611079565b98975050505050505050565b6000602082840312156110b057600080fd5b81356001600160a01b03811681146107fb57600080fd5b634e487b7160e01b600052601160045260246000fd5b808202811582820484141761025f5761025f6110c7565b60008261111157634e487b7160e01b600052601260045260246000fd5b500490565b8181038181111561025f5761025f6110c7565b634e487b7160e01b600052603260045260246000fd5b6020808252825182820181905260009190848201906040850190845b818110156111775783518352928401929184019160010161115b565b50909695505050505050565b60006020828403121561119557600080fd5b5051919050565b8082018082111561025f5761025f6110c7565b6000600182016111c1576111c16110c7565b506001019056fea2646970667358221220a1742710afc29c6ec21551d3dfbc955accab3e77f3da6f39a5a8294ccc404c4a64736f6c634300081100330000000000000000000000005b08fac45556b28383585fbd5826db49ed8f1e0b00000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000000000000000000008ac7230489e80000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000060000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001b80fcfcdb5d140080000000000000000000000000000000000000000000000002b90ece47e49b530000000000000000000000000000000000000000000000000159022809b98d8630000000000000000000000000000000000000000000000000151f7a9d5480d400000000000000000000000000000000000000000000000000070a7e34718046b

Deployed bytecode

0x608060405234801561001057600080fd5b50600436106101005760003560e01c8063a200e15311610097578063cd5d2c7411610066578063cd5d2c741461021c578063cf00716f14610225578063d820ed4214610238578063f2fde38b1461024157600080fd5b8063a200e153146101c6578063a34e3596146101cf578063b86360c6146101e2578063c8a4271f146101f557600080fd5b806359b6b86c116100d357806359b6b86c1461017b57806359e1777c14610184578063715018a6146101975780638da5cb5b146101a157600080fd5b806301ffc9a7146101055780630261d9421461012d5780632c0fd74c1461014457806350e9a7151461014d575b600080fd5b610118610113366004610ee7565b610254565b60405190151581526020015b60405180910390f35b61013660065481565b604051908152602001610124565b61013660015481565b61016061015b366004610f29565b610265565b60408051825181526020928301519281019290925201610124565b61013660055481565b610136610192366004610fa8565b6102f8565b61019f610393565b005b6000546001600160a01b03165b6040516001600160a01b039091168152602001610124565b61013660035481565b6101366101dd366004610f29565b6103a7565b6101606101f0366004610f29565b6103f8565b6101ae7f0000000000000000000000005b08fac45556b28383585fbd5826db49ed8f1e0b81565b61013660025481565b61019f610233366004610fe0565b61047f565b61013660045481565b61019f61024f36600461109e565b610603565b600061025f82610693565b92915050565b6040805180820190915260008082526020820152600061028686868561072b565b9050604051806040016040528061029c83610802565b81526020016102ec6102e789898080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152508b92508a91506108a29050565b610802565b90529695505050505050565b60008062015180610311670de0b6b3a7640000856110dd565b61031b91906110f4565b90506000610331670de0b6b3a7640000836110f4565b905084811c600061034a670de0b6b3a7640000846110dd565b6103549085611116565b90506000670de0b6b3a764000061036e83620100006110dd565b61037891906110f4565b905060006103868285610965565b9998505050505050505050565b61039b610c85565b6103a56000610cdf565b565b60006103ef6102e786868080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152508892508791506108a29050565b95945050505050565b6040805180820190915260008082526020820152600061041986868561072b565b9050604051806040016040528061042f83610d47565b81526020016102ec61047a89898080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152508b92508a91506108a29050565b610d47565b610487610c85565b80516006146105035760405162461bcd60e51b815260206004820152603a60248201527f72656e74507269636573206172726179206c656e67746820646f6573206e6f7460448201527f206d6174636820746865207265717569726564206c656e67746800000000000060648201526084015b60405180910390fd5b8060008151811061051657610516611129565b60200260200101516001819055508060018151811061053757610537611129565b60200260200101516002819055508060028151811061055857610558611129565b60200260200101516003819055508060038151811061057957610579611129565b60200260200101516004819055508060048151811061059a5761059a611129565b6020026020010151600581905550806005815181106105bb576105bb611129565b60200260200101516006819055507f73422d94aedd596c2d4d39f27a01033adc390a9054efaf259afefd95ef7331df816040516105f8919061113f565b60405180910390a150565b61060b610c85565b6001600160a01b0381166106875760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201527f646472657373000000000000000000000000000000000000000000000000000060648201526084016104fa565b61069081610cdf565b50565b60007fffffffff0000000000000000000000000000000000000000000000000000000082167f01ffc9a700000000000000000000000000000000000000000000000000000000148061025f57507fffffffff0000000000000000000000000000000000000000000000000000000082167fe88ac7d3000000000000000000000000000000000000000000000000000000001492915050565b60008061076d85858080601f016020809104026020016040519081016040528093929190818152602001838380828437600092019190915250610d5892505050565b905060006006821061078e578360065461078791906110dd565b90506107f7565b816005036107a4578360055461078791906110dd565b816004036107ba578360045461078791906110dd565b816003036107d0578360035461078791906110dd565b816002036107e6578360025461078791906110dd565b836001546107f491906110dd565b90505b9150505b9392505050565b6000807f0000000000000000000000005b08fac45556b28383585fbd5826db49ed8f1e0b6001600160a01b03166350d25bcd6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610863573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108879190611183565b905080610898846305f5e1006110dd565b6107fb91906110f4565b60006108b162278d008461119c565b9250428311156108c3575060006107fb565b60006108cf8442611116565b905060006108fd7f0000000000000000000000000000000000000000000000008ac7230489e80000836102f8565b90507f0000000000000000000000000000000000000000000000004563918244f400008110610959576109507f0000000000000000000000000000000000000000000000004563918244f4000082611116565b925050506107fb565b50600095945050505050565b6000600183161561099857670de0b6b3a764000061098b670de0ad151d094180846110dd565b61099591906110f4565b91505b60028316156109c957670de0b6b3a76400006109bc670de0a37699596800846110dd565b6109c691906110f4565b91505b60048316156109fa57670de0b6b3a76400006109ed670de09039a5fa5100846110dd565b6109f791906110f4565b91505b6008831615610a2b57670de0b6b3a7640000610a1e670de069c00f3e1200846110dd565b610a2891906110f4565b91505b6010831615610a5c57670de0b6b3a7640000610a4f670de01cce21c94400846110dd565b610a5991906110f4565b91505b6020831615610a8d57670de0b6b3a7640000610a80670ddf82ef46ce1000846110dd565b610a8a91906110f4565b91505b6040831615610abe57670de0b6b3a7640000610ab1670dde4f458f8e8d80846110dd565b610abb91906110f4565b91505b6080831615610aef57670de0b6b3a7640000610ae2670ddbe84213d5f080846110dd565b610aec91906110f4565b91505b610100831615610b2157670de0b6b3a7640000610b14670dd71b7aa6df5b80846110dd565b610b1e91906110f4565b91505b610200831615610b5357670de0b6b3a7640000610b46670dcd86e7f28cde00846110dd565b610b5091906110f4565b91505b610400831615610b8557670de0b6b3a7640000610b78670dba71a3084ad680846110dd565b610b8291906110f4565b91505b610800831615610bb757670de0b6b3a7640000610baa670d94961b13dbde80846110dd565b610bb491906110f4565b91505b611000831615610be957670de0b6b3a7640000610bdc670d4a171c35c98380846110dd565b610be691906110f4565b91505b612000831615610c1b57670de0b6b3a7640000610c0e670cb9da519ccfb700846110dd565b610c1891906110f4565b91505b614000831615610c4d57670de0b6b3a7640000610c40670bab76d59c18d680846110dd565b610c4a91906110f4565b91505b618000831615610c7f57670de0b6b3a7640000610c726709d025defee4df80846110dd565b610c7c91906110f4565b91505b50919050565b6000546001600160a01b031633146103a55760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657260448201526064016104fa565b600080546001600160a01b038381167fffffffffffffffffffffffff0000000000000000000000000000000000000000831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b600061025f64e8d4a51000836110f4565b8051600090819081905b80821015610ede576000858381518110610d7e57610d7e611129565b01602001516001600160f81b03191690507f8000000000000000000000000000000000000000000000000000000000000000811015610dc957610dc260018461119c565b9250610ecb565b7fe0000000000000000000000000000000000000000000000000000000000000006001600160f81b031982161015610e0657610dc260028461119c565b7ff0000000000000000000000000000000000000000000000000000000000000006001600160f81b031982161015610e4357610dc260038461119c565b7ff8000000000000000000000000000000000000000000000000000000000000006001600160f81b031982161015610e8057610dc260048461119c565b7ffc000000000000000000000000000000000000000000000000000000000000006001600160f81b031982161015610ebd57610dc260058461119c565b610ec860068461119c565b92505b5082610ed6816111af565b935050610d62565b50909392505050565b600060208284031215610ef957600080fd5b81357fffffffff00000000000000000000000000000000000000000000000000000000811681146107fb57600080fd5b60008060008060608587031215610f3f57600080fd5b843567ffffffffffffffff80821115610f5757600080fd5b818701915087601f830112610f6b57600080fd5b813581811115610f7a57600080fd5b886020828501011115610f8c57600080fd5b6020928301999098509187013596604001359550909350505050565b60008060408385031215610fbb57600080fd5b50508035926020909101359150565b634e487b7160e01b600052604160045260246000fd5b60006020808385031215610ff357600080fd5b823567ffffffffffffffff8082111561100b57600080fd5b818501915085601f83011261101f57600080fd5b81358181111561103157611031610fca565b8060051b604051601f19603f8301168101818110858211171561105657611056610fca565b60405291825284820192508381018501918883111561107457600080fd5b938501935b8285101561109257843584529385019392850192611079565b98975050505050505050565b6000602082840312156110b057600080fd5b81356001600160a01b03811681146107fb57600080fd5b634e487b7160e01b600052601160045260246000fd5b808202811582820484141761025f5761025f6110c7565b60008261111157634e487b7160e01b600052601260045260246000fd5b500490565b8181038181111561025f5761025f6110c7565b634e487b7160e01b600052603260045260246000fd5b6020808252825182820181905260009190848201906040850190845b818110156111775783518352928401929184019160010161115b565b50909695505050505050565b60006020828403121561119557600080fd5b5051919050565b8082018082111561025f5761025f6110c7565b6000600182016111c1576111c16110c7565b506001019056fea2646970667358221220a1742710afc29c6ec21551d3dfbc955accab3e77f3da6f39a5a8294ccc404c4a64736f6c63430008110033

Source map

92:4551:3:-:0;;;272:289;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;444:10;456:11;936:32:0;719:10:1;936:18:0;:32::i;:::-;962:11:5;:18;984:1;962:23;941:128;;;;-1:-1:-1;;;941:128:5;;1775:2:7;941:128:5;;;1757:21:7;1814:2;1794:18;;;1787:30;1853:34;1833:18;;;1826:62;1924:28;1904:18;;;1897:56;1970:19;;941:128:5;;;;;;;;-1:-1:-1;;;;;1079:22:5;;;;1126:14;;:11;;1138:1;;1126:14;;;;:::i;:::-;;;;;;;1111:12;:29;;;;1165:11;1177:1;1165:14;;;;;;;;:::i;:::-;;;;;;;1150:12;:29;;;;1204:11;1216:1;1204:14;;;;;;;;:::i;:::-;;;;;;;1189:12;:29;;;;1243:11;1255:1;1243:14;;;;;;;;:::i;:::-;;;;;;;1228:12;:29;;;;1282:11;1294:1;1282:14;;;;;;;;:::i;:::-;;;;;;;1267:12;:29;;;;1321:11;1333:1;1321:14;;;;;;;;:::i;:::-;;;;;;;;;;;1306:12;:29;-1:-1:-1;;479:28:3::1;::::0;;;528:26:::1;517:37;::::0;-1:-1:-1;92:4551:3;;-1:-1:-1;92:4551:3;2433:187:0;2506:16;2525:6;;-1:-1:-1;;;;;2541:17:0;;;-1:-1:-1;;;;;;2541:17:0;;;;;;2573:40;;2525:6;;;;;;;2573:40;;2506:16;2573:40;2496:124;2433:187;:::o;14:127:7:-;75:10;70:3;66:20;63:1;56:31;106:4;103:1;96:15;130:4;127:1;120:15;146:1422;295:6;303;311;319;372:3;360:9;351:7;347:23;343:33;340:53;;;389:1;386;379:12;340:53;415:16;;-1:-1:-1;;;;;460:31:7;;450:42;;440:70;;506:1;503;496:12;440:70;553:2;584:18;;;578:25;529:5;;-1:-1:-1;553:2:7;-1:-1:-1;;;;;652:14:7;;;649:34;;;679:1;676;669:12;649:34;717:6;706:9;702:22;692:32;;762:7;755:4;751:2;747:13;743:27;733:55;;784:1;781;774:12;733:55;813:2;807:9;835:2;831;828:10;825:36;;;841:18;;:::i;:::-;887:2;884:1;880:10;919:2;913:9;982:2;978:7;973:2;969;965:11;961:25;953:6;949:38;1037:6;1025:10;1022:22;1017:2;1005:10;1002:18;999:46;996:72;;;1048:18;;:::i;:::-;1084:2;1077:22;1134:18;;;1168:15;;;;-1:-1:-1;1210:11:7;;;1206:20;;;1238:19;;;1235:39;;;1270:1;1267;1260:12;1235:39;1294:11;;;;1314:135;1330:6;1325:3;1322:15;1314:135;;;1396:10;;1384:23;;1347:12;;;;1427;;;;1314:135;;;1514:2;1499:18;;1493:25;1558:2;1543:18;;;1537:25;146:1422;;1468:6;;-1:-1:-1;146:1422:7;-1:-1:-1;;;;;;;;146:1422:7:o;2000:127::-;2061:10;2056:3;2052:20;2049:1;2042:31;2092:4;2089:1;2082:15;2116:4;2113:1;2106:15;2000:127;92:4551:3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;