0 txs
95 calls
constructor
No constructor.
functions
eigenLayerDelegationManager
viewfunction eigenLayerDelegationManager() view returns (address)
eigenLayerStrategy
viewfunction eigenLayerStrategy() view returns (address)
eigenLayerStrategyManager
viewfunction eigenLayerStrategyManager() view returns (address)
fraxMinter
viewfunction fraxMinter() view returns (address)
frxETHCurvePool
viewfunction frxETHCurvePool() view returns (address)
getRate
viewfunction getRate() view returns (uint256)
getService
viewfunction getService() view returns (address)
owner
viewfunction owner() view returns (address)
protocolAccruedFees
viewfunction protocolAccruedFees() view returns (uint256)
protocolFee
viewfunction protocolFee() view returns (uint256)
protocolTreasury
viewfunction protocolTreasury() view returns (address)
proxiableUUID
viewfunction proxiableUUID() view returns (bytes32)
sfrxETH
viewfunction sfrxETH() view returns (address)
strategy
viewfunction strategy() view returns (uint8)
symbioticSfrxETH
viewfunction symbioticSfrxETH() view returns (address)
totalAssets
viewfunction totalAssets() view returns (uint256)
totalShares
viewfunction totalShares() view returns (uint256)
addLiquidity
payablefunction addLiquidity() payable
delegateEigenLayer
nonpayablefunction delegateEigenLayer(address _operator)
initialize
nonpayablefunction initialize(address _depositsManager, address _owner, address _service)
processLiquidity
payablefunction processLiquidity() payable
renounceOwnership
nonpayablefunction renounceOwnership()
setCurvePool
nonpayablefunction setCurvePool(address _curvePool)
setEigenLayer
nonpayablefunction setEigenLayer(address _strategyManager, address _strategy, address _delegationManager)
setFraxMinter
nonpayablefunction setFraxMinter(address _fraxMinter)
setProtocolFee
nonpayablefunction setProtocolFee(uint256 _fee)
setProtocolTreasury
nonpayablefunction setProtocolTreasury(address _treasury)
setService
nonpayablefunction setService(address _newService)
setStrategy
nonpayablefunction setStrategy(uint8 _strategy)
setSymbiotic
nonpayablefunction setSymbiotic(address _collateral)
transferOwnership
nonpayablefunction transferOwnership(address newOwner)
upgradeTo
nonpayablefunction upgradeTo(address newImplementation)
upgradeToAndCall
payablefunction upgradeToAndCall(address newImplementation, bytes data) payable
events
AddLiquidity
event AddLiquidity(uint256 amount, uint256 shares, uint256 totalAssets, uint256 totalShares)
AdminChanged
event AdminChanged(address previousAdmin, address newAdmin)
BeaconUpgraded
event BeaconUpgraded(address indexed beacon)
Initialized
event Initialized(uint8 version)
OwnershipTransferred
event OwnershipTransferred(address indexed previousOwner, address indexed newOwner)
ProtocolFeeUpdated
event ProtocolFeeUpdated(uint256 newFee, address updatedBy)
RewardsProtocol
event RewardsProtocol(uint256 amount)
ServiceChanged
event ServiceChanged(address indexed oldService, address indexed newService)
StrategySet
event StrategySet(uint8 newStrategy)
Upgraded
event Upgraded(address indexed implementation)
errors
ApprovalFailed
error ApprovalFailed()
ImplementationIsNotContract
error ImplementationIsNotContract(address newImplementation)
InvalidAddress
error InvalidAddress()
InvalidAmount
error InvalidAmount()
InvalidEigenLayerStrategy
error InvalidEigenLayerStrategy()
InvalidFee
error InvalidFee()
InvalidStrategy
error InvalidStrategy()
LSTMintingNotSet
error LSTMintingNotSet()
MintFailed
error MintFailed()
StrategyFailed
error StrategyFailed()
TransferFailed
error TransferFailed(address to)
Unauthorized
error Unauthorized()
UnauthorizedService
error UnauthorizedService(address caller)
creation bytecode
0x60a060405230608052348015601357600080fd5b5060805161263f61005960003960008181610a7301528181610ab301528181610c8a01528181610cca01528181610d46015281816112f70152611337015261263f6000f3fe6080604052600436106101ee5760003560e01c80636cdafa581161010d578063a8c62e76116100a0578063c21cf7dc1161006f578063c21cf7dc14610539578063c9ac8c8e14610559578063e52f81c714610579578063e8078d9414610599578063f2fde38b146105a157600080fd5b8063a8c62e76146104b7578063b0e21e8a146104e3578063bf8bdac1146104f9578063c0c53b8b1461051957600080fd5b8063817b473d116100dc578063817b473d146104395780638b60070f146104595780638da5cb5b14610479578063955add081461049757600080fd5b80636cdafa58146103c6578063715018a6146103e4578063787dce3d146103f9578063803db96d1461041957600080fd5b80633a14acec1161018557806352d1902d1161015457806352d1902d1461035c5780635a174d6614610371578063679aefce146103915780636c25b922146103a657600080fd5b80633a14acec146102fd5780633a98ef39146103135780634f1ef2861461032957806350f389451461033c57600080fd5b806323e127d5116101c157806323e127d51461027d578063309b038b146102b55780633659cfe6146102d55780633923411c146102f557600080fd5b806301e1d114146101f3578063031f22741461021b5780630c5a61f81461023d578063212f5cef1461025d575b600080fd5b3480156101ff57600080fd5b506102086105c1565b6040519081526020015b60405180910390f35b34801561022757600080fd5b5061023b6102363660046121c8565b6108ae565b005b34801561024957600080fd5b5061023b6102583660046121c8565b6109c7565b34801561026957600080fd5b5061023b6102783660046121c8565b610a18565b34801561028957600080fd5b5060d45461029d906001600160a01b031681565b6040516001600160a01b039091168152602001610212565b3480156102c157600080fd5b5060d55461029d906001600160a01b031681565b3480156102e157600080fd5b5061023b6102f03660046121c8565b610a69565b61023b610b31565b34801561030957600080fd5b5061020860cf5481565b34801561031f57600080fd5b5061020860cc5481565b61023b6103373660046121fb565b610c80565b34801561034857600080fd5b5060d65461029d906001600160a01b031681565b34801561036857600080fd5b50610208610d39565b34801561037d57600080fd5b5061023b61038c3660046121c8565b610dec565b34801561039d57600080fd5b50610208610ebb565b3480156103b257600080fd5b5060d35461029d906001600160a01b031681565b3480156103d257600080fd5b506065546001600160a01b031661029d565b3480156103f057600080fd5b5061023b610f3c565b34801561040557600080fd5b5061023b6104143660046122c7565b610f50565b34801561042557600080fd5b5060cd5461029d906001600160a01b031681565b34801561044557600080fd5b5060d15461029d906001600160a01b031681565b34801561046557600080fd5b5061023b6104743660046122e0565b610fc2565b34801561048557600080fd5b506033546001600160a01b031661029d565b3480156104a357600080fd5b5061023b6104b236600461232b565b6110e6565b3480156104c357600080fd5b5060ca546104d19060ff1681565b60405160ff9091168152602001610212565b3480156104ef57600080fd5b5061020860ce5481565b34801561050557600080fd5b5061023b6105143660046121c8565b6111a2565b34801561052557600080fd5b5061023b6105343660046122e0565b61122d565b34801561054557600080fd5b5061023b6105543660046121c8565b611431565b34801561056557600080fd5b5060cb5461029d906001600160a01b031681565b34801561058557600080fd5b5060d25461029d906001600160a01b031681565b61023b611482565b3480156105ad57600080fd5b5061023b6105bc3660046121c8565b611569565b60cb5460009081906001600160a01b03166105ef576040516348215f5560e01b815260040160405180910390fd5b60cb546040516370a0823160e01b81523060048201526001600160a01b03909116906370a0823190602401602060405180830381865afa158015610637573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061065b919061234e565b60d3549091506001600160a01b0316156106e85760d354604051630aa794bf60e31b81523060048201526001600160a01b039091169063553ca5f890602401602060405180830381865afa1580156106b7573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106db919061234e565b6106e5908261237d565b90505b60d6546001600160a01b0316156107725760d6546040516370a0823160e01b81523060048201526001600160a01b03909116906370a0823190602401602060405180830381865afa158015610741573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610765919061234e565b61076f908261237d565b90505b60cb546040516303d1689d60e11b8152600481018390526000916001600160a01b0316906307a2d13a90602401602060405180830381865afa1580156107bc573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107e0919061234e565b60d5549091506000906001600160a01b03161561088c5760d5546040805163f2388acb60e01b815290516000926001600160a01b03169163f2388acb9160048083019260209291908290030181865afa158015610841573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610865919061234e565b9050670de0b6b3a764000061087a8285612390565b61088491906123a7565b91505061088f565b50805b60cf5461089c824761237d565b6108a691906123c9565b935050505090565b6065546001600160a01b031633148015906108d457506033546001600160a01b03163314155b156108f95760405163dc0b34cd60e01b81523360048201526024015b60405180910390fd5b60d4546001600160a01b03166109225760405163067e102160e01b815260040160405180910390fd5b6001600160a01b0381166109495760405163e6c4247b60e01b815260040160405180910390fd5b60d45460408051606081018252600081830181815282526020820152905163eea9064b60e01b81526001600160a01b039092169163eea9064b916109929185919060040161242c565b600060405180830381600087803b1580156109ac57600080fd5b505af11580156109c0573d6000803e3d6000fd5b5050505050565b6109cf6115df565b6001600160a01b0381166109f65760405163e6c4247b60e01b815260040160405180910390fd5b60cd80546001600160a01b0319166001600160a01b0392909216919091179055565b610a206115df565b6001600160a01b038116610a475760405163e6c4247b60e01b815260040160405180910390fd5b60d580546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b037f0000000000000000000000000000000000000000000000000000000000000000163003610ab15760405162461bcd60e51b81526004016108f090612471565b7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316610ae3611639565b6001600160a01b031614610b095760405162461bcd60e51b81526004016108f0906124bd565b610b1281611655565b60408051600080825260208201909252610b2e91839190611693565b50565b60ca5461010090046001600160a01b03163314610b60576040516282b42960e81b815260040160405180910390fd5b3415610b6e57610b6e611482565b60cf54479015801590610b815750600081115b15610c4a5760008160cf5411610b995760cf54610b9b565b815b90508060cf6000828254610baf91906123c9565b90915550610bbf905081836123c9565b60cd546040519193506000916001600160a01b039091169083908381818185875af1925050503d8060008114610c11576040519150601f19603f3d011682016040523d82523d6000602084013e610c16565b606091505b5050905080610c475760cd546040516339f1c8d960e01b81526001600160a01b0390911660048201526024016108f0565b50505b8015610b2e57610c58611803565b60ca5460ff16610c6a57610b2e6118b2565b60ca5460ff1660001901610b2e57610b2e611ab5565b6001600160a01b037f0000000000000000000000000000000000000000000000000000000000000000163003610cc85760405162461bcd60e51b81526004016108f090612471565b7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316610cfa611639565b6001600160a01b031614610d205760405162461bcd60e51b81526004016108f0906124bd565b610d2982611655565b610d3582826001611693565b5050565b6000306001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001614610dd95760405162461bcd60e51b815260206004820152603860248201527f555550535570677261646561626c653a206d757374206e6f742062652063616c60448201527f6c6564207468726f7567682064656c656761746563616c6c000000000000000060648201526084016108f0565b506000805160206125c383398151915290565b610df46115df565b6001600160a01b038116610e1b5760405163e6c4247b60e01b815260040160405180910390fd5b60d180546001600160a01b0319166001600160a01b03831690811790915560408051630e2b46db60e11b81529051631c568db6916004808201926020929091908290030181865afa158015610e74573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610e989190612509565b60cb80546001600160a01b0319166001600160a01b039290921691909117905550565b60cc5460009081610eca6105c1565b905060d054600014158015610ee0575060d05481115b15610f1657600060d05482610ef591906123c9565b90506000610f058260ce54611c43565b9050610f1181846123c9565b925050505b670de0b6b3a76400008215610f3557610f30818385611c77565b6108a6565b9392505050565b610f446115df565b610f4e6000611c95565b565b610f586115df565b6702c68af0bb140000811115610f81576040516358d620b360e01b815260040160405180910390fd5b60ce819055604080518281523360208201527f60ef24591c4534186374448b76d44a514d493599438452a2d4c21f3f2c3bf31591015b60405180910390a150565b610fca6115df565b6001600160a01b0383161580610fe757506001600160a01b038216155b80610ff957506001600160a01b038116155b156110175760405163e6c4247b60e01b815260040160405180910390fd5b816001600160a01b0316632495a5996040518163ffffffff1660e01b8152600401602060405180830381865afa158015611055573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906110799190612509565b60cb546001600160a01b039081169116146110a75760405163067e102160e01b815260040160405180910390fd5b60d280546001600160a01b039485166001600160a01b03199182161790915560d380549385169382169390931790925560d48054919093169116179055565b6065546001600160a01b0316331480159061110c57506033546001600160a01b03163314155b1561112c5760405163dc0b34cd60e01b81523360048201526024016108f0565b60ff811615801590611142575060ff8116600114155b1561116057604051632711b74d60e11b815260040160405180910390fd5b60ca805460ff191660ff83169081179091556040519081527f8e773ba29dac3cc32b5e906eb9dc89eb342e23ad67619712dde8a45870dfb77d90602001610fb7565b6111aa6115df565b6001600160a01b0381166111d15760405163e6c4247b60e01b815260040160405180910390fd5b6065546040516001600160a01b038084169216907f3ecf09be2ffc4c8ae0173a655e2794342ef3e8fbc5655e04653f28d836d2328a90600090a3606580546001600160a01b0319166001600160a01b0392909216919091179055565b600054610100900460ff161580801561124d5750600054600160ff909116105b806112675750303b158015611267575060005460ff166001145b6112ca5760405162461bcd60e51b815260206004820152602e60248201527f496e697469616c697a61626c653a20636f6e747261637420697320616c72656160448201526d191e481a5b9a5d1a585b1a5e995960921b60648201526084016108f0565b6000805460ff1916600117905580156112ed576000805461ff0019166101001790555b6001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001630036113355760405162461bcd60e51b81526004016108f090612471565b7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316611367611639565b6001600160a01b03161461138d5760405162461bcd60e51b81526004016108f0906124bd565b6001600160a01b03841615806113aa57506001600160a01b038316155b806113bc57506001600160a01b038216155b156113da5760405163e6c4247b60e01b815260040160405180910390fd5b6113e5848484611ce7565b801561142b576000805461ff0019169055604051600181527f7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb38474024989060200160405180910390a15b50505050565b6114396115df565b6001600160a01b0381166114605760405163e6c4247b60e01b815260040160405180910390fd5b60d680546001600160a01b0319166001600160a01b0392909216919091179055565b60ca5461010090046001600160a01b031633146114b1576040516282b42960e81b815260040160405180910390fd5b3460008190036114d45760405163162908e360e11b815260040160405180910390fd5b6000806114e083611d2a565b91509150816000036115055760405163162908e360e11b815260040160405180910390fd5b8160cc6000828254611517919061237d565b90915550506040805184815260208101849052908101829052606081018390527fb29c7e3722150711becfc8317bcb89378009bcc16b88ea3ab4dd7e674545d6e29060800160405180910390a1505050565b6115716115df565b6001600160a01b0381166115d65760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b60648201526084016108f0565b610b2e81611c95565b6033546001600160a01b03163314610f4e5760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657260448201526064016108f0565b6000805160206125c3833981519152546001600160a01b031690565b61165d6115df565b806001600160a01b03163b600003610b2e5760405163dd01999560e01b81526001600160a01b03821660048201526024016108f0565b7f4910fdfa16fed3260ed0e7147f7cc6da11a60208b5b9406d12a635614ffd91435460ff16156116cb576116c683611e16565b505050565b826001600160a01b03166352d1902d6040518163ffffffff1660e01b8152600401602060405180830381865afa925050508015611725575060408051601f3d908101601f191682019092526117229181019061234e565b60015b6117885760405162461bcd60e51b815260206004820152602e60248201527f45524331393637557067726164653a206e657720696d706c656d656e7461746960448201526d6f6e206973206e6f74205555505360901b60648201526084016108f0565b6000805160206125c383398151915281146117f75760405162461bcd60e51b815260206004820152602960248201527f45524331393637557067726164653a20756e737570706f727465642070726f786044820152681a58589b195555525160ba1b60648201526084016108f0565b506116c6838383611eb2565b60d15447906001600160a01b0316158061181b575080155b156118235750565b60d154604051634dcd454760e01b81523060048201526001600160a01b0390911690634dcd454790839060240160206040518083038185885af115801561186e573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190611893919061234e565b600003610b2e5760405162ec6f7b60e31b815260040160405180910390fd5b60d2546001600160a01b031615806118d3575060d1546001600160a01b0316155b156118da57565b60cb546001600160a01b0316611903576040516348215f5560e01b815260040160405180910390fd5b60cb546040516370a0823160e01b81523060048201526000916001600160a01b0316906370a0823190602401602060405180830381865afa15801561194c573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611970919061234e565b60cb5460d25460405163095ea7b360e01b81526001600160a01b03918216600482015260248101849052929350169063095ea7b3906044016020604051808303816000875af11580156119c7573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906119eb9190612526565b611a08576040516340b27c2160e11b815260040160405180910390fd5b60d25460d35460cb546040516373d0285560e11b81526001600160a01b039283166004820152908216602482015260448101849052600092919091169063e7a050aa906064015b6020604051808303816000875af1158015611a6e573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611a92919061234e565b905080600003610d3557604051631b8ad6f560e01b815260040160405180910390fd5b60d6546001600160a01b03161580611ad6575060d1546001600160a01b0316155b15611add57565b60cb546001600160a01b0316611b06576040516348215f5560e01b815260040160405180910390fd5b60cb546040516370a0823160e01b81523060048201526000916001600160a01b0316906370a0823190602401602060405180830381865afa158015611b4f573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611b73919061234e565b60cb5460d65460405163095ea7b360e01b81526001600160a01b03918216600482015260248101849052929350169063095ea7b3906044016020604051808303816000875af1158015611bca573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611bee9190612526565b611c0b576040516340b27c2160e11b815260040160405180910390fd5b60d6546040516311f9fbc960e21b8152306004820152602481018390526000916001600160a01b0316906347e7ef2490604401611a4f565b6000670de0b6b3a7640000611c596001826123c9565b611c638486612390565b611c6d919061237d565b610f3591906123a7565b6000826000190484118302158202611c8e57600080fd5b5091020490565b603380546001600160a01b038381166001600160a01b0319831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a35050565b600054610100900460ff16611d0e5760405162461bcd60e51b81526004016108f090612548565b611d188282611ed7565b611d20611f10565b6116c68383611f37565b60cc546000908190611d3a6105c1565b91506000611d4885846123c9565b905060d054600014158015611d5e575060d05481115b15611df057600060d05482611d7391906123c9565b90506000611d838260ce54611c43565b90507fe89d23cabf59e28d8a4d04573e7d606262fbb4298d4e7a7e5b1f7ac1fd43ae0781604051611db691815260200190565b60405180910390a1611dc881846123c9565b9250611dd481866123c9565b94508060cf6000828254611de8919061237d565b909155505050505b60d08390558115611e0b57611e06858383611c77565b611e0d565b845b93505050915091565b6001600160a01b0381163b611e835760405162461bcd60e51b815260206004820152602d60248201527f455243313936373a206e657720696d706c656d656e746174696f6e206973206e60448201526c1bdd08184818dbdb9d1c9858dd609a1b60648201526084016108f0565b6000805160206125c383398151915280546001600160a01b0319166001600160a01b0392909216919091179055565b611ebb83611fa2565b600082511180611ec85750805b156116c65761142b8383611fe2565b600054610100900460ff16611efe5760405162461bcd60e51b81526004016108f090612548565b611f066120d8565b610d358282612107565b600054610100900460ff16610f4e5760405162461bcd60e51b81526004016108f090612548565b600054610100900460ff16611f5e5760405162461bcd60e51b81526004016108f090612548565b60ca8054610100600160a81b0319166101006001600160a01b039485160217905567016345785d8a000060ce5560cd80546001600160a01b03191691909216179055565b611fab81611e16565b6040516001600160a01b038216907fbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b90600090a250565b60606001600160a01b0383163b61204a5760405162461bcd60e51b815260206004820152602660248201527f416464726573733a2064656c65676174652063616c6c20746f206e6f6e2d636f6044820152651b9d1c9858dd60d21b60648201526084016108f0565b600080846001600160a01b0316846040516120659190612593565b600060405180830381855af49150503d80600081146120a0576040519150601f19603f3d011682016040523d82523d6000602084013e6120a5565b606091505b50915091506120cd82826040518060600160405280602781526020016125e360279139612140565b925050505b92915050565b600054610100900460ff166120ff5760405162461bcd60e51b81526004016108f090612548565b610f4e612159565b600054610100900460ff1661212e5760405162461bcd60e51b81526004016108f090612548565b612137816111a2565b610d3582611569565b6060831561214f575081610f35565b610f358383612189565b600054610100900460ff166121805760405162461bcd60e51b81526004016108f090612548565b610f4e33611c95565b8151156121995781518083602001fd5b8060405162461bcd60e51b81526004016108f091906125af565b6001600160a01b0381168114610b2e57600080fd5b6000602082840312156121da57600080fd5b8135610f35816121b3565b634e487b7160e01b600052604160045260246000fd5b6000806040838503121561220e57600080fd5b8235612219816121b3565b9150602083013567ffffffffffffffff81111561223557600080fd5b8301601f8101851361224657600080fd5b803567ffffffffffffffff811115612260576122606121e5565b604051601f8201601f19908116603f0116810167ffffffffffffffff8111828210171561228f5761228f6121e5565b6040528181528282016020018710156122a757600080fd5b816020840160208301376000602083830101528093505050509250929050565b6000602082840312156122d957600080fd5b5035919050565b6000806000606084860312156122f557600080fd5b8335612300816121b3565b92506020840135612310816121b3565b91506040840135612320816121b3565b809150509250925092565b60006020828403121561233d57600080fd5b813560ff81168114610f3557600080fd5b60006020828403121561236057600080fd5b5051919050565b634e487b7160e01b600052601160045260246000fd5b808201808211156120d2576120d2612367565b80820281158282048414176120d2576120d2612367565b6000826123c457634e487b7160e01b600052601260045260246000fd5b500490565b818103818111156120d2576120d2612367565b60005b838110156123f75781810151838201526020016123df565b50506000910152565b600081518084526124188160208601602086016123dc565b601f01601f19169290920160200192915050565b60018060a01b038316815260606020820152600082516040606084015261245660a0840182612400565b60209490940151608084015250506000604090910152919050565b6020808252602c908201527f46756e6374696f6e206d7573742062652063616c6c6564207468726f7567682060408201526b19195b1959d85d1958d85b1b60a21b606082015260800190565b6020808252602c908201527f46756e6374696f6e206d7573742062652063616c6c6564207468726f7567682060408201526b6163746976652070726f787960a01b606082015260800190565b60006020828403121561251b57600080fd5b8151610f35816121b3565b60006020828403121561253857600080fd5b81518015158114610f3557600080fd5b6020808252602b908201527f496e697469616c697a61626c653a20636f6e7472616374206973206e6f74206960408201526a6e697469616c697a696e6760a81b606082015260800190565b600082516125a58184602087016123dc565b9190910192915050565b602081526000610f35602083018461240056fe360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc416464726573733a206c6f772d6c6576656c2064656c65676174652063616c6c206661696c6564a2646970667358221220d7432d0d39994abde6e0bfa2ec6ec85a5c7c2c25fb66e878e8bc29d9ecfdd32764736f6c634300081a0033