bsc/core/systemcontracts/plato/chapel/SlashContract

1 line
26 KiB
Plaintext

608060405234801561001057600080fd5b506004361061027f5760003560e01c80637942fd051161015c578063c80d4b8f116100ce578063dc927faf11610087578063dc927faf146104ad578063e1c7392a146104b5578063f9a2bbc7146104bd578063fc3e5908146104c5578063fc4333cd146104cd578063fd6a6879146104d55761027f565b8063c80d4b8f1461045c578063c81b166214610464578063c8509d811461046c578063c96be4cb1461047f578063cc844b7314610492578063d2a42e4b146104a55761027f565b80639dc09262116101205780639dc0926214610421578063a1a11bf514610429578063a78abc1614610431578063ab51bb9614610439578063ac0af62914610441578063ac431751146104495761027f565b80637942fd05146103ee5780638256ace6146103f6578063831d65d1146103fe57806396713da9146104115780639bc8e4f2146104195761027f565b8063493279b1116101f557806362b72cf5116101b957806362b72cf5146103be5780636e47b482146103c657806370fd5bad146103ce578063718a8aa8146103d657806375d47a0a146103de5780637912a65d146103e65761027f565b8063493279b11461037c5780634bf6c8821461039157806351e8067214610399578063567a372d146103a15780635bfb4990146103a95761027f565b806335aa2e441161024757806335aa2e441461030e57806337c8dab914610321578063389f4f71146103425780633a63f4b1146103575780633dffc3871461035f57806343756e5c146103745761027f565b80630bee7a67146102845780630e2374a5146102a25780631182b875146102b757806322d1e80b146102d757806323bac5a2146102ec575b600080fd5b61028c6104dd565b604051610299919061336a565b60405180910390f35b6102aa6104e2565b6040516102999190612c1b565b6102ca6102c5366004612b51565b6104e8565b6040516102999190612c53565b6102df61054e565b6040516102999190612c48565b6102ff6102fa3660046128ff565b610557565b60405161029993929190613352565b6102aa61031c366004612b21565b61057a565b61033461032f3660046128ff565b6105a1565b604051610299929190613344565b61034a6105f8565b604051610299919061331a565b61034a6105fe565b610367610604565b604051610299919061337b565b6102aa610609565b61038461060f565b604051610299919061330b565b610367610614565b6102aa610619565b61034a61061f565b6103bc6103b73660046128ff565b610625565b005b61034a6106d0565b6102aa6106d6565b6103676106dc565b6103676106e1565b6102aa6106e6565b61034a6106ec565b6103676106f1565b6103346106f6565b6103bc61040c366004612b51565b610700565b610367610812565b61034a610817565b6102aa610822565b6102aa610828565b6102df61082e565b61028c610837565b61034a61083c565b6103bc610457366004612a05565b610841565b61034a610ce0565b6102aa610ce5565b6103bc61047a366004612b51565b610ceb565b6103bc61048d3660046128ff565b610d5c565b6103bc6104a0366004612a6e565b61114d565b61034a611733565b6102aa611738565b6103bc61173e565b6102aa61177a565b610367611780565b6103bc611785565b6102aa611bce565b606481565b61200181565b606033612000146105145760405162461bcd60e51b815260040161050b90613163565b60405180910390fd5b60005460ff166105365760405162461bcd60e51b815260040161050b90612d04565b60405162461bcd60e51b815260040161050b90613254565b60075460ff1681565b600260208190526000918252604090912080546001820154919092015460ff1683565b6001818154811061058757fe5b6000918252602090912001546001600160a01b0316905081565b6000806105ac6126e6565b5050506001600160a01b0316600090815260026020818152604092839020835160608101855281548082526001830154938201849052919093015460ff16151592909301919091529091565b60055481565b60065481565b600181565b61100181565b606181565b600881565b61200081565b60045481565b33611000146106465760405162461bcd60e51b815260040161050b90612f48565b60005460ff166106685760405162461bcd60e51b815260040161050b90612d04565b61200063f7a251d7600b61067b84611bd4565b60006040518463ffffffff1660e01b815260040161069b93929190613389565b600060405180830381600087803b1580156106b557600080fd5b505af11580156106c9573d6000803e3d6000fd5b5050505050565b60035481565b61100581565b600281565b601081565b61100881565b603281565b600b81565b6004546005549091565b33612000146107215760405162461bcd60e51b815260040161050b90613163565b60005460ff166107435760405162461bcd60e51b815260040161050b90612d04565b61074b612709565b600061078c84848080601f016020809104026020016040519081016040528093929190818152602001838380828437600092019190915250611ca692505050565b9150915080156107d35781516040517f7f0956d47419b9525356e7111652b653b530ec6f5096dccc04589bc38e629967916107c69161336a565b60405180910390a16106c9565b81516040517f7d45f62d17443dd4547bca8a8112c60e2385669318dc300ec61a5d2492f262e7916108039161336a565b60405180910390a15050505050565b600981565b662386f26fc1000081565b61100781565b61100681565b60005460ff1681565b600081565b600481565b60005460ff166108635760405162461bcd60e51b815260040161050b90612d04565b33611007146108845760405162461bcd60e51b815260040161050b90613020565b6108ef84848080601f016020809104026020016040519081016040528093929190818152602001838380828437600092019190915250506040805180820190915260148152731b5a5cd9195b59585b9bdc951a1c995cda1bdb1960621b60208201529150611d269050565b1561098a57602081146109145760405162461bcd60e51b815260040161050b90612ed4565b604080516020601f840181900481028201810190925282815260009161095291858580838501838280828437600092019190915250611d8092505050565b905060018110158015610966575060055481105b6109825760405162461bcd60e51b815260040161050b9061311e565b600455610c9d565b6109f084848080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152505060408051808201909152600f81526e19995b1bdb9e551a1c995cda1bdb19608a1b60208201529150611d269050565b15610a8c5760208114610a155760405162461bcd60e51b815260040161050b9061306e565b604080516020601f8401819004810282018101909252828152600091610a5391858580838501838280828437600092019190915250611d8092505050565b90506103e88111158015610a68575060045481115b610a845760405162461bcd60e51b815260040161050b90612d72565b600555610c9d565b610b0084848080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152505060408051808201909152601881527f66696e616c697479536c617368526577617264526174696f000000000000000060208201529150611d269050565b15610b9a5760208114610b255760405162461bcd60e51b815260040161050b9061328b565b604080516020601f8401819004810282018101909252828152600091610b6391858580838501838280828437600092019190915250611d8092505050565b9050600a8110158015610b765750606481105b610b925760405162461bcd60e51b815260040161050b90612e88565b600655610c9d565b610c0e84848080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152505060408051808201909152601881527f656e61626c654d616c6963696f7573566f7465536c617368000000000000000060208201529150611d269050565b15610c855760208114610c335760405162461bcd60e51b815260040161050b90612da7565b604080516020601f8401819004810282018101909252828152610c6f9190848480838501838280828437600092019190915250611d8592505050565b6007805460ff1916911515919091179055610c9d565b60405162461bcd60e51b815260040161050b906131ff565b7f6cdb0ac70ab7f2e2d035cca5be60d89906f2dede7648ddbd7402189c1eeed17a84848484604051610cd29493929190612c66565b60405180910390a150505050565b609681565b61100281565b3361200014610d0c5760405162461bcd60e51b815260040161050b90613163565b60005460ff16610d2e5760405162461bcd60e51b815260040161050b90612d04565b6040517f07db600eebe2ac176be8dcebad61858c245a4961bb32ca2aa3d159b09aa0810e90600090a1505050565b334114610d7b5760405162461bcd60e51b815260040161050b906131b2565b60005460ff16610d9d5760405162461bcd60e51b815260040161050b90612d04565b6003544311610dbe5760405162461bcd60e51b815260040161050b906132d6565b3a15610ddc5760405162461bcd60e51b815260040161050b90612fc3565b60405163155853f360e21b8152611000906355614fcc90610e01908490600401612c1b565b60206040518083038186803b158015610e1957600080fd5b505afa158015610e2d573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610e5191906129e5565b610e5a57611146565b610e626126e6565b506001600160a01b0381166000908152600260208181526040928390208351606081018552815481526001820154928101929092529091015460ff161580159282019290925290610ebd576020810180516001019052610f16565b60016040820181905260208201819052805480820182556000919091527fb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf60180546001600160a01b0319166001600160a01b0384161790555b438152600554602082015181610f2857fe5b0661107457600060208201526040516335409f7f60e01b8152611000906335409f7f90610f59908590600401612c1b565b600060405180830381600087803b158015610f7357600080fd5b505af1158015610f87573d6000803e3d6000fd5b505050506120006001600160a01b031663f7a251d7600b610fa785611bd4565b60006040518463ffffffff1660e01b8152600401610fc793929190613389565b600060405180830381600087803b158015610fe157600080fd5b505af1925050508015610ff2575060015b61106f573d808015611020576040519150601f19603f3d011682016040523d82523d6000602084013e611025565b606091505b50826001600160a01b03167fd7bc86ff5d08c8ab043edec743302aba2520e6635172a428bc956721db9e2d1c836020015183604051611065929190613323565b60405180910390a2505b6110e0565b60045481602001518161108357fe5b066110e0576040516375abf10160e11b81526110009063eb57e202906110ad908590600401612c1b565b600060405180830381600087803b1580156110c757600080fd5b505af11580156110db573d6000803e3d6000fd5b505050505b6001600160a01b0382166000818152600260208181526040808420865181559186015160018301558581015191909201805460ff1916911515919091179055517fddb6012116e51abf5436d956a4f0ebd927e92c576ff96d7918290c8782291e3e9190a2505b5043600355565b60005460ff1661116f5760405162461bcd60e51b815260040161050b90612d04565b604051630a83aaa960e31b81526110069063541d554890611194903390600401612c1b565b60206040518083038186803b1580156111ac57600080fd5b505afa1580156111c0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111e491906129e5565b6112005760405162461bcd60e51b815260040161050b90612c98565b60075460ff166112225760405162461bcd60e51b815260040161050b90612ccf565b60065461122f5760146006555b438160000151604001516101000111801561125557504381602001516040015161010001115b6112715760405162461bcd60e51b815260040161050b90613226565b80602001516020015181600001516020015114801561129f5750806020015160600151816000015160600151145b156112bc5760405162461bcd60e51b815260040161050b90612f1b565b8051604081015190511080156112db5750602081015160408101519051105b6112f75760405162461bcd60e51b815260040161050b90612e51565b60208101515181515110801561131c5750806000015160400151816020015160400151105b8061134757508051516020820151511080156113475750806020015160400151816000015160400151105b806113615750806020015160400151816000015160400151145b61137d5760405162461bcd60e51b815260040161050b90612d3b565b604080820151905163ea321e4960e01b81526110009163ea321e49916113a69190600401612c53565b60206040518083038186803b1580156113be57600080fd5b505afa1580156113d2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906113f691906129e5565b6114125760405162461bcd60e51b815260040161050b90612ff1565b61142481600001518260400151611dad565b801561143d575061143d81602001518260400151611dad565b6114595760405162461bcd60e51b815260040161050b90612df2565b6060806110006001600160a01b0316633b071dcc6040518163ffffffff1660e01b815260040160006040518083038186803b15801561149757600080fd5b505afa1580156114ab573d6000803e3d6000fd5b505050506040513d6000823e601f3d908101601f191682016040526114d39190810190612922565b9150915060005b8151811015611610576115048282815181106114f257fe5b60200260200101518560400151611f85565b15611608576006546040516309a99b4f60e41b815260646110028031909302049190639a99b4f09061153c9033908590600401612c2f565b602060405180830381600087803b15801561155657600080fd5b505af115801561156a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061158e9190612b39565b506110006001600160a01b03166335409f7f8584815181106115ac57fe5b60200260200101516040518263ffffffff1660e01b81526004016115d09190612c1b565b600060405180830381600087803b1580156115ea57600080fd5b505af11580156115fe573d6000803e3d6000fd5b5050505050611610565b6001016114da565b50600061162284604001516000611fe9565b90506120006001600160a01b031663f7a251d7600b6116448760400151612005565b60006040518463ffffffff1660e01b815260040161166493929190613389565b600060405180830381600087803b15801561167e57600080fd5b505af192505050801561168f575060015b611701573d8080156116bd576040519150601f19603f3d011682016040523d82523d6000602084013e6116c2565b606091505b50817fd58d1183100bd0932c0588f31c4205d6bc6168909765a96c41adbed3115f3628826040516116f39190612c53565b60405180910390a25061172d565b60405181907f7b78aadacff901d8b63d0dba4f86283d4db8aef27f9ed70413dd860f1c9532b690600090a25b50505050565b601481565b61100381565b60005460ff16156117615760405162461bcd60e51b815260040161050b906130b0565b603260045560966005556000805460ff19166001179055565b61100081565b600381565b33611000146117a65760405162461bcd60e51b815260040161050b90612f48565b60005460ff166117c85760405162461bcd60e51b815260040161050b90612d04565b6001546117d457611bcc565b600154600090600019015b808211611ba0576000805b82841015611903576117fa6126e6565b600260006001878154811061180b57fe5b60009182526020808320909101546001600160a01b0316835282810193909352604091820190208151606081018352815481526001820154938101939093526002015460ff1615159082015260055490915060049004816020015111156118ed5760046005548161187857fe5b0481602001510381602001818152505080600260006001888154811061189a57fe5b6000918252602080832091909101546001600160a01b0316835282810193909352604091820190208351815591830151600183015591909101516002909101805460ff19169115159190911790556118f7565b6001925050611903565b508360010193506117ea565b828411611a9a576119126126e6565b600260006001868154811061192357fe5b60009182526020808320909101546001600160a01b0316835282810193909352604091820190208151606081018352815481526001820154938101939093526002015460ff161515908201526005549091506004900481602001511115611a0b5760046005548161199057fe5b048160200151038160200181815250508060026000600187815481106119b257fe5b6000918252602080832091909101546001600160a01b03168352828101939093526040918201902083518155918301516001808401919091559201516002909101805460ff19169115159190911790559150611a9a9050565b6002600060018681548110611a1c57fe5b60009182526020808320909101546001600160a01b031683528201929092526040018120818155600181810192909255600201805460ff19169055805480611a6057fe5b600082815260209020810160001990810180546001600160a01b031916905501905583611a8d5750611a9a565b5060001990920191611903565b818015611aa45750805b15611b83576002600060018681548110611aba57fe5b60009182526020808320909101546001600160a01b031683528201929092526040018120818155600181810192909255600201805460ff19169055805484908110611b0157fe5b600091825260209091200154600180546001600160a01b039092169186908110611b2757fe5b9060005260206000200160006101000a8154816001600160a01b0302191690836001600160a01b031602179055506001805480611b6057fe5b600082815260209020810160001990810180546001600160a01b03191690550190555b82611b8f575050611ba0565b5050600190910190600019016117df565b6040517fcfdb3b6ccaeccbdc68be3c59c840e3b3c90f0a7c491f5fff1cf56cfda200dd9c90600090a150505b565b61100481565b60408051600480825260a08201909252606091829190816020015b6060815260200190600190039081611bef579050509050611c18836001600160a01b0316612040565b81600081518110611c2557fe5b6020026020010181905250611c3943612063565b81600181518110611c4657fe5b6020908102919091010152611c5b6061612063565b81600281518110611c6857fe5b6020026020010181905250611c7c42612063565b81600381518110611c8957fe5b6020026020010181905250611c9d81612076565b9150505b919050565b611cae612709565b6000611cb8612709565b611cc061271b565b611cd1611ccc86612100565b612125565b90506000805b611ce08361216f565b15611d195780611d0c57611cfb611cf684612190565b6121de565b63ffffffff16845260019150611d11565b611d19565b600101611cd7565b5091935090915050915091565b600081604051602001611d399190612bff565b6040516020818303038152906040528051906020012083604051602001611d609190612bff565b604051602081830303815290604052805190602001201490505b92915050565b015190565b8082015160009060ff811615611d9f576001915081611da5565b60009150815b505092915050565b60408051600480825260a0820190925260009160609190816020015b6060815260200190600190039081611dc9575050604080516020808252818301909252919250606091908082018180368337019050509050611e0e8560000151612063565b82600081518110611e1b57fe5b6020026020010181905250611e366020866020015183612260565b611e3f81612270565b82600181518110611e4c57fe5b6020026020010181905250611e648560400151612063565b82600281518110611e7157fe5b6020026020010181905250611e8c6020866060015183612260565b611e9581612270565b82600381518110611ea257fe5b6020026020010181905250611ec86020611ebb84612076565b8051906020012083612260565b6040805160b080825260e08201909252606091602082018180368337019050509050611ef88183600060206122c6565b611f0a818760800151602060606122c6565b611f188186608060306122c6565b604080516001808252818301909252606091602082018180368337019050509050815160016020830182602086016066600019fa611f5557600080fd5b506001611f63826000612319565b60ff1614611f78576000945050505050611d7a565b5060019695505050505050565b815181516000916001918114808314611fa15760009250611fdf565b600160208701838101602088015b600284838510011415611fda578051835114611fce5760009650600093505b60209283019201611faf565b505050505b5090949350505050565b60008160200183511015611ffc57600080fd5b50016020015190565b60408051600480825260a08201909252606091829190816020015b6060815260200190600190039081612020579050509050611c1883612270565b60408051600560a21b8318601482015260348101909152606090611c9d81612270565b6060611d7a61207183612335565b612270565b60608151600014156120975750604080516000815260208101909152611ca1565b6060826000815181106120a657fe5b602002602001015190506000600190505b83518110156120e7576120dd828583815181106120d057fe5b602002602001015161241b565b91506001016120b7565b50611c9d6120fa825160c060ff16612498565b8261241b565b61210861273b565b506040805180820190915281518152602082810190820152919050565b61212d61271b565b6121368261256a565b61213f57600080fd5b600061214e83602001516125a4565b60208085015160408051808201909152868152920190820152915050919050565b600061217961273b565b505080518051602091820151919092015191011190565b61219861273b565b6121a18261216f565b6121aa57600080fd5b602082015160006121ba82612607565b80830160209586015260408051808201909152908152938401919091525090919050565b8051600090158015906121f357508151602110155b6121fc57600080fd5b600061220b83602001516125a4565b905080836000015110156122315760405162461bcd60e51b815260040161050b906130e7565b82516020808501518301805192849003929183101561225757826020036101000a820491505b50949350505050565b9091018181526020918201910152565b6060815160011480156122a25750607f60f81b8260008151811061229057fe5b01602001516001600160f81b03191611155b156122ae575080611ca1565b611d7a6122c08351608060ff16612498565b8361241b565b60005b818110156106c9578381815181106122dd57fe5b602001015160f81c60f81b8584806001019550815181106122fa57fe5b60200101906001600160f81b031916908160001a9053506001016122c9565b6000816001018351101561232c57600080fd5b50016001015190565b604080516020808252818301909252606091829190602082018180368337505050602081018490529050600067ffffffffffffffff1984166123795750601861239d565b6fffffffffffffffffffffffffffffffff1984166123995750601061239d565b5060005b60208110156123d3578181815181106123b257fe5b01602001516001600160f81b031916156123cb576123d3565b60010161239d565b60008160200390506060816040519080825280601f01601f191660200182016040528015612408576020820181803683370190505b5080830196909652508452509192915050565b6060806040519050835180825260208201818101602087015b8183101561244c578051835260209283019201612434565b50855184518101855292509050808201602086015b81831015612479578051835260209283019201612461565b508651929092011591909101601f01601f191660405250905092915050565b60606801000000000000000083106124c25760405162461bcd60e51b815260040161050b90612e29565b6040805160018082528183019092526060916020820181803683370190505090506037841161251c5782840160f81b816000815181106124fe57fe5b60200101906001600160f81b031916908160001a9053509050611d7a565b606061252785612335565b90508381510160370160f81b8260008151811061254057fe5b60200101906001600160f81b031916908160001a905350612561828261241b565b95945050505050565b805160009061257b57506000611ca1565b6020820151805160001a9060c082101561259a57600092505050611ca1565b5060019392505050565b8051600090811a60808110156125be576000915050611ca1565b60b88110806125d9575060c081108015906125d9575060f881105b156125e8576001915050611ca1565b60c08110156125fc5760b519019050611ca1565b60f519019050611ca1565b80516000908190811a608081101561262257600191506126df565b60b881101561263757607e19810191506126df565b60c081101561268857600060b78203600186019550806020036101000a8651049150600181018201935050808310156126825760405162461bcd60e51b815260040161050b90612f98565b506126df565b60f881101561269d5760be19810191506126df565b600060f78203600186019550806020036101000a865104915060018101820193505080831015611da55760405162461bcd60e51b815260040161050b90612f98565b5092915050565b604051806060016040528060008152602001600081526020016000151581525090565b60408051602081019091526000815290565b604051806040016040528061272e61273b565b8152602001600081525090565b604051806040016040528060008152602001600081525090565b600082601f830112612765578081fd5b8151612778612773826133dc565b6133b5565b818152915060208083019084810160005b848110156127ee578151870188603f8201126127a457600080fd5b838101516127b4612773826133fc565b81815260408b818486010111156127ca57600080fd5b6127d983888401838701613420565b50865250509282019290820190600101612789565b505050505092915050565b60008083601f84011261280a578182fd5b50813567ffffffffffffffff811115612821578182fd5b60208301915083602082850101111561283957600080fd5b9250929050565b600082601f830112612850578081fd5b813561285e612773826133fc565b915080825283602082850101111561287557600080fd5b8060208401602084013760009082016020015292915050565b600060a0828403121561289f578081fd5b6128a960a06133b5565b905081358152602082013560208201526040820135604082015260608201356060820152608082013567ffffffffffffffff8111156128e757600080fd5b6128f384828501612840565b60808301525092915050565b600060208284031215612910578081fd5b813561291b8161344c565b9392505050565b60008060408385031215612934578081fd5b825167ffffffffffffffff8082111561294b578283fd5b81850186601f82011261295c578384fd5b8051925061296c612773846133dc565b80848252602080830192508084018a82838902870101111561298c578788fd5b8794505b868510156129b75780516129a38161344c565b845260019490940193928101928101612990565b5088015190965093505050808211156129ce578283fd5b506129db85828601612755565b9150509250929050565b6000602082840312156129f6578081fd5b8151801515811461291b578182fd5b60008060008060408587031215612a1a578182fd5b843567ffffffffffffffff80821115612a31578384fd5b612a3d888389016127f9565b90965094506020870135915080821115612a55578384fd5b50612a62878288016127f9565b95989497509550505050565b600060208284031215612a7f578081fd5b813567ffffffffffffffff80821115612a96578283fd5b81840160608187031215612aa8578384fd5b612ab260606133b5565b9250803582811115612ac2578485fd5b612ace8782840161288e565b845250602081013582811115612ae2578485fd5b612aee8782840161288e565b602085015250604081013582811115612b05578485fd5b612b1187828401612840565b6040850152509195945050505050565b600060208284031215612b32578081fd5b5035919050565b600060208284031215612b4a578081fd5b5051919050565b600080600060408486031215612b65578283fd5b833560ff81168114612b75578384fd5b9250602084013567ffffffffffffffff811115612b90578283fd5b612b9c868287016127f9565b9497909650939450505050565b60008284528282602086013780602084860101526020601f19601f85011685010190509392505050565b60008151808452612beb816020860160208601613420565b601f01601f19169290920160200192915050565b60008251612c11818460208701613420565b9190910192915050565b6001600160a01b0391909116815260200190565b6001600160a01b03929092168252602082015260400190565b901515815260200190565b60006020825261291b6020830184612bd3565b600060408252612c7a604083018688612ba9565b8281036020840152612c8d818587612ba9565b979650505050505050565b6020808252601f908201527f746865206d73672073656e646572206973206e6f7420612072656c6179657200604082015260600190565b6020808252818101527f6d616c6963696f757320766f746520736c617368206e6f7420656e61626c6564604082015260600190565b60208082526019908201527f74686520636f6e7472616374206e6f7420696e69742079657400000000000000604082015260600190565b6020808252601a908201527f6e6f2076696f6c6174696f6e206f6620766f74652072756c6573000000000000604082015260600190565b6020808252818101527f7468652066656c6f6e795468726573686f6c64206f7574206f662072616e6765604082015260600190565b6020808252602b908201527f6c656e677468206f6620656e61626c654d616c6963696f7573566f7465536c6160408201526a0e6d040dad2e6dac2e8c6d60ab1b606082015260800190565b60208082526017908201527f766572696679207369676e6174757265206661696c6564000000000000000000604082015260600190565b6020808252600e908201526d696e70757420746f6f206c6f6e6760901b604082015260600190565b60208082526019908201527f7372634e756d20626967676572207468616e207461724e756d00000000000000604082015260600190565b6020808252602c908201527f7468652066696e616c69747920736c6173682072657761726420726174696f2060408201526b6f7574206f662072616e676560a01b606082015260800190565b60208082526027908201527f6c656e677468206f66206d697364656d65616e6f725468726573686f6c64206d6040820152660d2e6dac2e8c6d60cb1b606082015260800190565b60208082526013908201527274776f206964656e746963616c20766f74657360681b604082015260600190565b60208082526030908201527f746865206d6573736167652073656e646572206d7573742062652076616c696460408201526f185d1bdc94d95d0818dbdb9d1c9858dd60821b606082015260800190565b6020808252601190820152706164646974696f6e206f766572666c6f7760781b604082015260600190565b6020808252601490820152736761737072696365206973206e6f74207a65726f60601b604082015260600190565b6020808252601590820152741d9bdd195059191c881a5cc81b9bdd08199bdd5b99605a1b604082015260600190565b6020808252602e908201527f746865206d6573736167652073656e646572206d75737420626520676f76657260408201526d1b985b98d94818dbdb9d1c9858dd60921b606082015260800190565b60208082526022908201527f6c656e677468206f662066656c6f6e795468726573686f6c64206d69736d61746040820152610c6d60f31b606082015260800190565b60208082526019908201527f74686520636f6e747261637420616c726561647920696e697400000000000000604082015260600190565b6020808252601a908201527f6c656e677468206973206c657373207468616e206f6666736574000000000000604082015260600190565b60208082526025908201527f746865206d697364656d65616e6f725468726573686f6c64206f7574206f662060408201526472616e676560d81b606082015260800190565b6020808252602f908201527f746865206d6573736167652073656e646572206d7573742062652063726f737360408201526e0818da185a5b8818dbdb9d1c9858dd608a1b606082015260800190565b6020808252602d908201527f746865206d6573736167652073656e646572206d75737420626520746865206260408201526c3637b1b590383937b23ab1b2b960991b606082015260800190565b6020808252600d908201526c756e6b6e6f776e20706172616d60981b604082015260600190565b6020808252601490820152731d185c99d95d08189b1bd8dac81d1bdbc81bdb1960621b604082015260600190565b6020808252601e908201527f7265636569766520756e65787065637465642073796e207061636b6167650000604082015260600190565b6020808252602b908201527f6c656e677468206f662066696e616c697479536c61736852657761726452617460408201526a0d2de40dad2e6dac2e8c6d60ab1b606082015260800190565b6020808252818101527f63616e206e6f7420736c61736820747769636520696e206f6e6520626c6f636b604082015260600190565b61ffff91909116815260200190565b90815260200190565b60008382526040602083015261333c6040830184612bd3565b949350505050565b918252602082015260400190565b92835260208301919091521515604082015260600190565b63ffffffff91909116815260200190565b60ff91909116815260200190565b600060ff85168252606060208301526133a56060830185612bd3565b9050826040830152949350505050565b60405181810167ffffffffffffffff811182821017156133d457600080fd5b604052919050565b600067ffffffffffffffff8211156133f2578081fd5b5060209081020190565b600067ffffffffffffffff821115613412578081fd5b50601f01601f191660200190565b60005b8381101561343b578181015183820152602001613423565b8381111561172d5750506000910152565b6001600160a01b038116811461346157600080fd5b5056fea2646970667358221220c3310788cc2517fb88ccc86019bc9b743e07923bbb3700f681487f4aa3af63b964736f6c63430006040033