Transaction Details
- Transaction Hash
- 0x89e326b2de7a085c13e4999bc8599e9a12c061304d2dbd5e3eb8283cb134f592
- Result
- Success
- Status
-
ConfirmedConfirmed by 21,799,316
- Block
- 47819653
- Timestamp
- 3 years ago | August-06-2022 10:23:58 AM -0 UTC | Confirmed within <= 82.455 seconds
- To
- [Contract 0x165c68077ac06c83800d19200e6E2B08D02dE75D 0x165c68–2de75d created]
- Value
- 0 VLX
- Transaction Fee
- 0.004997229 VLX
- Gas Price
- 3 GWEI
- Gas Limit
- 1,840,627
- Gas Used by Transaction
- 1,665,743 | 90.5%
- NoncePosition
- 271
- Raw Input
-
0x608060405234801561001057600080fd5b50612080806100206000396000f3fe608060405234801561001057600080fd5b50600436106100675760003560e01c80636163c59c116100505780636163c59c146100b25780636bea4865146100da578063e5a9cc56146100ed57600080fd5b806304415a001461006c578063529eebbe14610092575b600080fd5b61007f61007a3660046118e2565b61011a565b6040519081526020015b60405180910390f35b6100a56100a0366004611923565b610372565b6040516100899190611940565b6100c56100c03660046118e2565b610601565b60408051928352602083019190915201610089565b6100a56100e8366004611996565b61098a565b6101006100fb3660046119ea565b610d0d565b60408051600293840b81529190920b602082015201610089565b6040517f99fbab8800000000000000000000000000000000000000000000000000000000815260048101829052600090819073ffffffffffffffffffffffffffffffffffffffff8616906399fbab88906024016101606040518083038186803b15801561018657600080fd5b505afa15801561019a573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906101be9190611ba8565b5060408082015190517f4bfe339800000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff878116600483015292935069ffffffffffffffffffff90911691871690634bfe33989060240160206040518083038186803b15801561023d57600080fd5b505afa158015610251573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906102759190611c78565b69ffffffffffffffffffff16146102ed576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f746f6b656e496420616e6420706f6f6c20646f6e74206d61746368000000000060448201526064015b60405180910390fd5b60006102f8856110f3565b5090506000610308868484611309565b90508260e0015181146103645760008360e001518203905061034e8460a001516fffffffffffffffffffffffffffffffff16826c01000000000000000000000000611538565b8460c00181815161035f9190611cc2565b905250505b505060c00151949350505050565b606060008273ffffffffffffffffffffffffffffffffffffffff166348626a8c6040518163ffffffff1660e01b815260040160206040518083038186803b1580156103bc57600080fd5b505afa1580156103d0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906103f49190611cda565b61041d7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff27618611cf7565b6104279190611d36565b60020b60026104369190611dd1565b610441906003611cc2565b90508063ffffffff1667ffffffffffffffff81111561046257610462611a23565b60405190808252806020026020018201604052801561048b578160200160208202803683370190505b50915060007ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff27618905080836000815181106104c7576104c7611e0e565b60029290920b6020928302919091019091015260015b6105067ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff27618611cf7565b60020b8260020b12156105f9576040517fc0ac75cf000000000000000000000000000000000000000000000000000000008152600283900b600482015273ffffffffffffffffffffffffffffffffffffffff86169063c0ac75cf90602401604080518083038186803b15801561057b57600080fd5b505afa15801561058f573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906105b39190611e3d565b90508092505081848263ffffffff16815181106105d2576105d2611e0e565b602002602001019060020b908160020b8152505080806105f190611e6c565b9150506104dd565b505050919050565b60008060008573ffffffffffffffffffffffffffffffffffffffff166399fbab88856040518263ffffffff1660e01b815260040161064191815260200190565b6101606040518083038186803b15801561065a57600080fd5b505afa15801561066e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106929190611ba8565b5060408082015190517f4bfe339800000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff888116600483015292935069ffffffffffffffffffff90911691881690634bfe33989060240160206040518083038186803b15801561071157600080fd5b505afa158015610725573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107499190611c78565b69ffffffffffffffffffff16146107bc576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f746f6b656e496420616e6420706f6f6c20646f6e74206d61746368000000000060448201526064016102e4565b6000806107c8876110f3565b9150915060006107d9888585611309565b90508360e0015181146108355760008460e001518203905061081f8560a001516fffffffffffffffffffffffffffffffff16826c01000000000000000000000000611538565b8560c0018181516108309190611cc2565b905250505b60008873ffffffffffffffffffffffffffffffffffffffff1663ab612f2b6040518163ffffffff1660e01b815260040160606040518083038186803b15801561087d57600080fd5b505afa158015610891573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108b59190611e90565b5091505060006108dc8660c00151836fffffffffffffffffffffffffffffffff1686611538565b905060008a73ffffffffffffffffffffffffffffffffffffffff1663217ac2376040518163ffffffff1660e01b815260040160806040518083038186803b15801561092657600080fd5b505afa15801561093a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061095e9190611ed3565b505050905061096d81836116ce565b98506109798183611707565b975050505050505050935093915050565b6040517fc0ac75cf000000000000000000000000000000000000000000000000000000008152600283900b6004820152606090600090819073ffffffffffffffffffffffffffffffffffffffff87169063c0ac75cf90602401604080518083038186803b1580156109fa57600080fd5b505afa158015610a0e573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610a329190611e3d565b915091508160020b6000148015610a4c57508060020b6000145b15610a58575050610d06565b600063ffffffff8516610b7d578673ffffffffffffffffffffffffffffffffffffffff166348626a8c6040518163ffffffff1660e01b815260040160206040518083038186803b158015610aab57600080fd5b505afa158015610abf573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610ae39190611cda565b86610b0d7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff27618611cf7565b610b179190611f37565b610b219190611d36565b60020b90508560020b60001480610b655750610b5c7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff27618611cf7565b60020b8660020b145b15610b785780610b7481611e6c565b9150505b610b80565b50835b8063ffffffff1667ffffffffffffffff811115610b9f57610b9f611a23565b604051908082528060200260200182016040528015610bc8578160200160208202803683370190505b50935060005b8163ffffffff168163ffffffff161015610d015786858263ffffffff1681518110610bfb57610bfb611e0e565b602002602001019060020b908160020b815250507ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff27618610c3990611cf7565b60020b8760020b1415610c4b57610d01565b6040517fc0ac75cf000000000000000000000000000000000000000000000000000000008152600288900b600482015273ffffffffffffffffffffffffffffffffffffffff89169063c0ac75cf90602401604080518083038186803b158015610cb357600080fd5b505afa158015610cc7573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610ceb9190611e3d565b9750819050610cf981611e6c565b915050610bce565b505050505b9392505050565b6040517fc0ac75cf000000000000000000000000000000000000000000000000000000008152600282900b6004820152600090819073ffffffffffffffffffffffffffffffffffffffff85169063c0ac75cf90602401604080518083038186803b158015610d7a57600080fd5b505afa158015610d8e573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610db29190611e3d565b9092509050600282900b151580610dcd57508060020b600014155b15610dd7576110ec565b60008360020b1315610f6e57610e0c7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff27618611cf7565b91505b8260020b8260020b1315610ec5576040517fc0ac75cf000000000000000000000000000000000000000000000000000000008152600283900b600482015273ffffffffffffffffffffffffffffffffffffffff85169063c0ac75cf90602401604080518083038186803b158015610e8557600080fd5b505afa158015610e99573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610ebd9190611e3d565b509150610e0f565b6040517fc0ac75cf000000000000000000000000000000000000000000000000000000008152600283900b600482015273ffffffffffffffffffffffffffffffffffffffff85169063c0ac75cf90602401604080518083038186803b158015610f2d57600080fd5b505afa158015610f41573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610f659190611e3d565b91506110ec9050565b507ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff276185b8260020b8160020b1215611048576040517fc0ac75cf000000000000000000000000000000000000000000000000000000008152600282900b600482015273ffffffffffffffffffffffffffffffffffffffff85169063c0ac75cf90602401604080518083038186803b15801561100757600080fd5b505afa15801561101b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061103f9190611e3d565b9150610f919050565b6040517fc0ac75cf000000000000000000000000000000000000000000000000000000008152600282900b600482015273ffffffffffffffffffffffffffffffffffffffff85169063c0ac75cf90602401604080518083038186803b1580156110b057600080fd5b505afa1580156110c4573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906110e89190611e3d565b5091505b9250929050565b60008060008060008573ffffffffffffffffffffffffffffffffffffffff1663ab612f2b6040518163ffffffff1660e01b815260040160606040518083038186803b15801561114157600080fd5b505afa158015611155573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111799190611e90565b9250925092508573ffffffffffffffffffffffffffffffffffffffff166372cc51486040518163ffffffff1660e01b815260040160206040518083038186803b1580156111c557600080fd5b505afa1580156111d9573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111fd9190611f9b565b94508573ffffffffffffffffffffffffffffffffffffffff166318160ddd6040518163ffffffff1660e01b815260040160206040518083038186803b15801561124557600080fd5b505afa158015611259573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061127d9190611f9b565b935060006112b1836fffffffffffffffffffffffffffffffff16836fffffffffffffffffffffffffffffffff168688611737565b90508015611300576112c38186611cc2565b94506112cf8782611792565b90506112fb816c01000000000000000000000000866fffffffffffffffffffffffffffffffff16611538565b860195505b50505050915091565b60608201516040517ff30dba9300000000000000000000000000000000000000000000000000000000815260029190910b6004820152600090819073ffffffffffffffffffffffffffffffffffffffff86169063f30dba939060240160806040518083038186803b15801561137d57600080fd5b505afa158015611391573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906113b59190611fb4565b5060808701516040517ff30dba9300000000000000000000000000000000000000000000000000000000815260029190910b60048201529093506000925073ffffffffffffffffffffffffffffffffffffffff8816915063f30dba939060240160806040518083038186803b15801561142d57600080fd5b505afa158015611441573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906114659190611fb4565b509250505060008673ffffffffffffffffffffffffffffffffffffffff1663217ac2376040518163ffffffff1660e01b815260040160806040518083038186803b1580156114b257600080fd5b505afa1580156114c6573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906114ea9190611ed3565b5050915050856060015160020b8160020b121561150b57818303935061152e565b856080015160020b8160020b1261152657828203935061152e565b818386030393505b5050509392505050565b600080807fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff85870985870292508281108382030391505080600014156115ed57600084116115e2576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600760248201527f302064656e6f6d0000000000000000000000000000000000000000000000000060448201526064016102e4565b508290049050610d06565b808411611656576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600e60248201527f64656e6f6d203c3d2070726f643100000000000000000000000000000000000060448201526064016102e4565b600084868809808403938111909203919050600061167686196001611cc2565b8616958690049560026003880281188089028203028089028203028089028203028089028203028089028203028089029091030260008290038290046001019490940294049390931791909102925050509392505050565b60006116fe826c010000000000000000000000008573ffffffffffffffffffffffffffffffffffffffff16611538565b90505b92915050565b60006116fe828473ffffffffffffffffffffffffffffffffffffffff166c01000000000000000000000000611538565b60008061177b6fffffffffffffffffffffffffffffffff851661175a878961200a565b611776896fffffffffffffffffffffffffffffffff8916611cc2565b611538565b9050611788838287611538565b9695505050505050565b6000808373ffffffffffffffffffffffffffffffffffffffff1663c45a01556040518163ffffffff1660e01b815260040160206040518083038186803b1580156117db57600080fd5b505afa1580156117ef573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906118139190612021565b73ffffffffffffffffffffffffffffffffffffffff166398c47e8c6040518163ffffffff1660e01b8152600401604080518083038186803b15801561185757600080fd5b505afa15801561186b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061188f919061203e565b91505062ffffff81166118a55782915050611701565b620186a062ffffff9190911683020490910392915050565b73ffffffffffffffffffffffffffffffffffffffff811681146118df57600080fd5b50565b6000806000606084860312156118f757600080fd5b8335611902816118bd565b92506020840135611912816118bd565b929592945050506040919091013590565b60006020828403121561193557600080fd5b8135610d06816118bd565b6020808252825182820181905260009190848201906040850190845b8181101561197b57835160020b8352928401929184019160010161195c565b50909695505050505050565b8060020b81146118df57600080fd5b6000806000606084860312156119ab57600080fd5b83356119b6816118bd565b925060208401356119c681611987565b9150604084013563ffffffff811681146119df57600080fd5b809150509250925092565b600080604083850312156119fd57600080fd5b8235611a08816118bd565b91506020830135611a1881611987565b809150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b604051610100810167ffffffffffffffff81118282101715611a9d577f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b60405290565b8051611aae816118bd565b919050565b805169ffffffffffffffffffff81168114611aae57600080fd5b8051611aae81611987565b80516fffffffffffffffffffffffffffffffff81168114611aae57600080fd5b805162ffffff81168114611aae57600080fd5b600060608284031215611b1d57600080fd5b6040516060810181811067ffffffffffffffff82111715611b67577f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b80604052508091508251611b7a816118bd565b8152611b8860208401611af8565b60208201526040830151611b9b816118bd565b6040919091015292915050565b600080828403610160811215611bbd57600080fd5b61010080821215611bcd57600080fd5b611bd5611a52565b915084516bffffffffffffffffffffffff81168114611bf357600080fd5b8252611c0160208601611aa3565b6020830152611c1260408601611ab3565b6040830152611c2360608601611acd565b6060830152611c3460808601611acd565b6080830152611c4560a08601611ad8565b60a083015260c085015160c083015260e085015160e0830152819350611c6d86828701611b0b565b925050509250929050565b600060208284031215611c8a57600080fd5b6116fe82611ab3565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60008219821115611cd557611cd5611c93565b500190565b600060208284031215611cec57600080fd5b8151610d0681611987565b60008160020b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffff800000811415611d2d57611d2d611c93565b60000392915050565b60008160020b8360020b80611d74577f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81147fffffffffffffffffffffffffffffffffffffffffffffffffffffffffff80000083141615611dc857611dc8611c93565b90059392505050565b6000817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0483118215151615611e0957611e09611c93565b500290565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60008060408385031215611e5057600080fd5b8251611e5b81611987565b6020840151909250611a1881611987565b600063ffffffff80831681811415611e8657611e86611c93565b6001019392505050565b600080600060608486031215611ea557600080fd5b611eae84611ad8565b9250611ebc60208501611ad8565b9150611eca60408501611ad8565b90509250925092565b60008060008060808587031215611ee957600080fd5b8451611ef4816118bd565b6020860151909450611f0581611987565b6040860151909350611f1681611987565b60608601519092508015158114611f2c57600080fd5b939692955090935050565b60008160020b8360020b60008112817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffff80000001831281151615611f7a57611f7a611c93565b81627fffff018313811615611f9157611f91611c93565b5090039392505050565b600060208284031215611fad57600080fd5b5051919050565b60008060008060808587031215611fca57600080fd5b611fd385611ad8565b9350602085015180600f0b8114611fe957600080fd5b60408601519093509150611fff60608601611ad8565b905092959194509250565b60008282101561201c5761201c611c93565b500390565b60006020828403121561203357600080fd5b8151610d06816118bd565b6000806040838503121561205157600080fd5b825161205c816118bd565b915061206a60208401611af8565b9050925092905056fea164736f6c6343000809000a
`�`@R4�aW`��[Pa ��a `9`��`�`@R4�aW`��[P`6agW`5`��cacŜaPW�cacŜa�W�ck�Hea�W�c��Va�W`��[�cAZalW�cR��a�W[`��[aaz6`a�V[aV[`@Q��R` [`@Q����[a�a�6`a#V[arV[`@Qa���a@V[a�a�6`a�V[aV[`@�Q��R` ����Ra�V[a�a�6`a�V[a �V[aa�6`a�V[a V[`@�Q`���R���` �Ra�V[`@Q�����R`���R`���s����������������������c�����`$a``@Q�����;�a�W`��[PZ��a�W=`�>=`�[PPPP`@Q=``���`@RP��a���a�V[P`@��Q�QK�3��Rs����������������������`�R��Pi���������������cK�3��`$` `@Q�����;�a=W`��[PZ��aQW=`�>=`�[PPPP`@Q=``���`@RP��au��axV[i����������a�W`@Q�y��R` `�R``$�RtokenId and pool dont match`D�R`d[`@Q����[`a��a�V[P�P`a���a V[�P�`�Q�adW`�`�Q��PaN�`�Qo�����������������la8V[�`���Qa_��a�V[�RPP[PP`�Q��PPPPV[```�s��������������������cHbj�`@Q�c����`��R`` `@Q�����;�a�W`��[PZ��a�W=`�>=`�[PPPP`@Q=``���`@RP��a���a�V[a������������������������������va�V[a'��a6V[``a6��a�V[aA�`a�V[�P�c����g���������abWaba#V[`@Q���R�` ` �`@R�a�W�` ` ��6�7�P[P�P`������������������������������v�P��`�Q�a�Wa�aV[`���` �������R`[a������������������������������va�V[`�`a�W`@Q��u��R`��`�Rs����������������������c��uϐ`$`@�Q�����;�a{W`��[PZ��a�W=`�>=`�[PPPP`@Q=``���`@RP��a���a=V[�P��PP���c�����Q�a�Wa�aV[` ` �`��`�RPP��a�alV[�PPa�V[PPP��PV[`�`�s��������������������c�����`@Q�c����`��R`aA��R` �V[a``@Q�����;�aZW`��[PZ��anW=`�>=`�[PPPP`@Q=``���`@RP��a���a�V[P`@��Q�QK�3��Rs����������������������`�R��Pi���������������cK�3��`$` `@Q�����;�aW`��[PZ��a%W=`�>=`�[PPPP`@Q=``���`@RP��aI��axV[i����������a�W`@Q�y��R` `�R``$�RtokenId and pool dont match`D�R`da�V[`�aȇa�V[�P�P`aو��a V[�P�`�Q�a5W`�`�Q��Pa�`�Qo�����������������la8V[�`���Qa0��a�V[�RPP[`�s��������������������c�a/+`@Q�c����`��R````@Q�����;�a}W`��[PZ��a�W=`�>=`�[PPPP`@Q=``���`@RP��a���a�V[P�PP`a܆`�Q�o�����������������a8V[�P`�s��������������������c!z�7`@Q�c����`��R``�`@Q�����;�a &W`��[PZ��a :W=`�>=`�[PPPP`@Q=``���`@RP��a ^��a�V[PPP�Pa m��a�V[�Pa y��aV[�PPPPPPPP�P��PPV[`@Q��u��R`��`�R``�`���s����������������������c��uϐ`$`@�Q�����;�a �W`��[PZ��a W=`�>=`�[PPPP`@Q=``���`@RP��a 2��a=V[�P�P�``�a LWP�``[a XWPPa V[`c�����a}W�s��������������������cHbj�`@Q�c����`��R`` `@Q�����;�a �W`��[PZ��a �W=`�>=`�[PPPP`@Q=``���`@RP��a 㑐a�V[�a ������������������������������va�V[a��a7V[a!��a6V[`�P�``�aeWPa\������������������������������va�V[`�`[axW�at�alV[�PP[a�V[P�[�c����g���������a�Wa�a#V[`@Q���R�` ` �`@R�a�W�` ` ��6�7�P[P�P`[�c�����c����a W���c�����Q�a�Wa�aV[` ` �`��`�RPP������������������������������va9�a�V[`�`aKWa V[`@Q��u��R`��`�Rs����������������������c��uϐ`$`@�Q�����;�a�W`��[PZ��a�W=`�>=`�[PPPP`@Q=``���`@RP��a두a=V[�P��Pa��alV[�PPa�V[PPPP[��PPPV[`@Q��u��R`��`�R`���s����������������������c��uϐ`$`@�Q�����;�a zW`��[PZ��a �W=`�>=`�[PPPP`@Q=``���`@RP��a ���a=V[��P�P`���a �WP�``[a �Wa�V[`�`anWa������������������������������va�V[�P[�`�`a�W`@Q��u��R`��`�Rs����������������������c��uϐ`$`@�Q�����;�a�W`��[PZ��a�W=`�>=`�[PPPP`@Q=``���`@RP��a���a=V[P�PaV[`@Q��u��R`��`�Rs����������������������c��uϐ`$`@�Q�����;�a-W`��[PZ��aAW=`�>=`�[PPPP`@Q=``���`@RP��ae��a=V[�Pa�PV[P������������������������������v[�`�`aHW`@Q��u��R`��`�Rs����������������������c��uϐ`$`@�Q�����;�aW`��[PZ��aW=`�>=`�[PPPP`@Q=``���`@RP��a?��a=V[�Pa��PV[`@Q��u��R`��`�Rs����������������������c��uϐ`$`@�Q�����;�a�W`��[PZ��a�W=`�>=`�[PPPP`@Q=``���`@RP��a葐a=V[P�P[�P��PV[`�`�`�s��������������������c�a/+`@Q�c����`��R````@Q�����;�aAW`��[PZ��aUW=`�>=`�[PPPP`@Q=``���`@RP��ay��a�V[�P�P�P�s��������������������cr�QH`@Q�c����`��R`` `@Q�����;�a�W`��[PZ��a�W=`�>=`�[PPPP`@Q=``���`@RP��a���a�V[�P�s��������������������c �`@Q�c����`��R`` `@Q�����;�aEW`��[PZ��aYW=`�>=`�[PPPP`@Q=``���`@RP��a}��a�V[�P`a��o�����������������o������������������a7V[�P�aWaÁ�a�V[�Paχ�a�V[�Pa��l�o����������������a8V[��P[PPPP�P�V[``�Q`@Q� ���R`���`�R`���s����������������������c� ���`$`�`@Q�����;�a}W`��[PZ��a�W=`�>=`�[PPPP`@Q=``���`@RP��a���a�V[P`��Q`@Q� ���R`���`�R��P`�Ps����������������������Pc� ���`$`�`@Q�����;�a-W`��[PZ��aAW=`�>=`�[PPPP`@Q=``���`@RP��ae��a�V[P�PPP`�s��������������������c!z�7`@Q�c����`��R``�`@Q�����;�a�W`��[PZ��a�W=`�>=`�[PPPP`@Q=``���`@RP��aꑐa�V[PP�PP�``Q`�`aW���Pa.V[�`�Q`�`a&W���Pa.V[����P[PPP��PPPV[`������������������������������������ ���P�����PP�`a�W`�a�W`@Q�y��R` `�R``$�R0 denom`D�R`da�V[P���Pa V[��aVW`@Q�y��R` `�R``$�Rdenom <= prod1`D�R`da�V[`��� ��������P`av�`a�V[�����``���������������������`����`�����������PPP��PPPV[`a��l�s��������������������a8V[�P[��PPV[`a���s��������������������la8V[`�a{o�����������������aZ��a V[av�o�����������������a�V[a8V[�Pa����a8V[��PPPPPPV[`��s��������������������c�ZU`@Q�c����`��R`` `@Q�����;�a�W`��[PZ��a�W=`�>=`�[PPPP`@Q=``���`@RP��a��a !V[s��������������������c��~�`@Q�c����`��R``@�Q�����;�aWW`��[PZ��akW=`�>=`�[PPPP`@Q=``���`@RP��a���a >V[�PPb����a�W��PPaV[b��b�����������PPV[s����������������������a�W`��[PV[`�```��a�W`��[�5a�a�V[�P` �5a�a�V[����PPP`@���5�V[`` ��a5W`��[�5a �a�V[` ��R�Q����R`�����`@���[��a{W�Q`�R������`a\V[P���PPPPPPV[�`�a�W`��[`�```��a�W`��[�5a��a�V[�P` �5aƁa�V[�P`@�5c������a�W`��[��PP�P�P�V[`�`@��a�W`��[�5a�a�V[�P` �5a�a�V[��PP�P��PV[NH{q`R`A`R`$`�[`@Qa�g�����������a�WNH{q`R`A`R`$`�[`@R�V[�Qa��a�V[��PV[�Qi������������a�W`��[�Qa��a�V[�Qo������������������a�W`��[�Qb�����a�W`��[```��aW`��[`@Q``���g���������agWNH{q`R`A`R`$`�[�`@RP��P�Qaz�a�V[�Ra�` �a�V[` �R`@�Qa��a�V[`@���R��PPV[`���a`�a�W`��[a��a�W`��[a�aRV[�P�Qk��������������a�W`��[�Ra` �a�V[` �Ra`@�a�V[`@�Ra#``�a�V[``�Ra4`��a�V[`��RaE`��a�V[`��R`��Q`��R`��Q`��R��Pam���aV[�PPP�P��PV[`` ��a�W`��[a��a�V[NH{q`R``R`$`�[`��a�Wa�a�V[P�V[`` ��a�W`��[�Qa �a�V[`�`�������������������������������a-Wa-a�V[`��PPV[`�`�`�atWNH{q`R``R`$`�[����������������������������������������������������������������a�Wa�a�V[���PPPV[`�����������������������������������a Wa a�V[P�V[NH{q`R`2`R`$`�[`�`@��aPW`��[�Qa[�a�V[` �Q��Pa�a�V[`c��������a�Wa�a�V[`��PPPV[`�```��a�W`��[a��a�V[�Pa�` �a�V[�Pa�`@�a�V[�P�P�P�V[`�`�`���a�W`��[�Qa�a�V[` �Q��Pa�a�V[`@�Q��Pa�a�V[``�Q��P��a,W`��[����P��PPV[`�`�``����������������������������������azWaza�V[�b����a�Wa�a�V[P���PPPV[`` ��a�W`��[PQ��PV[`�`�`���a�W`��[aӅa�V[�P` �Q�`�a�W`��[`@�Q��P�Pa�``�a�V[�P����P�PV[`��a Wa a�V[P�V[`` ��a 3W`��[�Qa �a�V[`�`@��a QW`��[�Qa \�a�V[�Pa j` �a�V[�P�P��PV��dsolcC