Ethereum
0x37541fc4a6f1ec86889ba506f51dc39f2bedd10a
Decompiled Solidity recovered from this contract's runtime bytecode. Best-effort reconstruction — confirm behaviour against on-chain state.
Decompilation outputEthereum · 0x37541fc4…2bedd10a6.4 KB6.4 s
This result is permanently available athttps://decompiler.exvul.com/ethereum/0x37541fc4a6f1ec86889ba506f51dc39f2bedd10a
931 lines · Click a variable or keyword to highlight its references · Click a line number to copy its link; Shift-click to copy a block link
//decompiled by exvvul decompiler tool contact@exvul.com https://x.com/exvulsec// SPDX-License-Identifier: MIT >=0.8.0; { = (0xe08107e7dc7c4540d139392e9d0fea99ca019f37); = (0x176d1ea0ee9569783c6f6e455f7be6171566619c); ; // STORAGE[0x0] ; // STORAGE[0xd] ( , , , ); ( ) { ("memory-safe") { (0x00, (224, 0x4e487b71)) (0x04, ) (0x00, 0x24) } } () { ; ((( + 0x0220) > 0xffffffffffffffff) | (( + 0x0220) < )) (65); = + 0x0220; ( , ) = (.).(); // staticcall (); (!()) { = ( + ) > ; (!( < 0x02)) { (!(0x01 < )) (50); } { = !( < 0x02); } = + ; () { (!(0x01 < )) (50); } { = ; } ( , ) = (.).(); // staticcall (); = 0; = .; () { = .; (0x20 <= .) { = 0x20; } ((( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ((( + ) - ) >= 0x20); } { = ; = 0; } ((( + 0xa0) > 0xffffffffffffffff) | (( + 0xa0) < )) (65); = + 0xa0; ( , ) = ().((.)); // call (); (!()) { ((( + 0x60) > 0xffffffffffffffff) | (( + 0x60) < )) (65); = + 0x60; (()..); ( , ) = ().((), (), (0 + ) + , 0xa0, 0); // call (); = 0; () { ((( + 0) > 0xffffffffffffffff) | (( + 0) < )) (65); = + 0; (!(0)); } { = ; } ( , ) = .(.((0x70a08231), ())); // staticcall balanceOf (); (!()) { ((( + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ( , ) = .(.((0xa9059cbb), ., 0)); // call transfer = 0x60; ((.) != 0x0) { (!(. <= 0xffffffffffffffff)) (65); ((( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = ; } = 0; ; () { = 0; = 0; = ; () { ((( + ) + 0x20) - ( + 0x20) >= 0x20); ( == (!(!()))); } { = ( != 0x0) ? 1 : 0; = ; = !; } = ; } { = ; = ; } ( != 0x0, "transfer failed"); (., (0 + ) + , , 0); ; } = .; (0x20 <= .) { = 0x20; } ((( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ((( + ) - ) >= 0x20); ((( + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ( , ) = .(.((0xa9059cbb), ., .)); // call transfer = 0x60; ((.) != 0x0) { (!(. <= 0xffffffffffffffff)) (65); ((( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = ; } = 0; ; () { = 0; = 0; = ; () { ((( + ) + 0x20) - ( + 0x20) >= 0x20); ( == (!(!()))); } { = ( != 0x0) ? 1 : 0; = ; = !; } = ; } { = ; = ; } ( != 0x0, "transfer failed"); (., (0 + ) + , , .); ; } = .; (0x80 <= .) { = 0x80; } ((( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ((( + ) - ) >= 0x80); (() == ); (() == ); ((( + 0x60) > 0xffffffffffffffff) | (( + 0x60) < )) (65); = + 0x60; (()..); ( , ) = ().((), (), (. + ) + , 0xa0, 0); // call (); = 0; () { ((( + 0) > 0xffffffffffffffff) | (( + 0) < )) (65); = + 0; (!(0)); } { = ; } ( , ) = .(.((0x70a08231), ())); // staticcall balanceOf (); (!()) { ((( + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ( , ) = .(.((0xa9059cbb), ., 0)); // call transfer = 0x60; ((.) != 0x0) { (!(. <= 0xffffffffffffffff)) (65); ((( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = ; } = 0; ; () { = 0; = 0; = ; () { ((( + ) + 0x20) - ( + 0x20) >= 0x20); ( == (!(!()))); } { = ( != 0x0) ? 1 : 0; = ; = !; } = ; } { = ; = ; } ( != 0x0, "transfer failed"); (., (. + ) + , , 0); ; } = .; (0x20 <= .) { = 0x20; } ((( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ((( + ) - ) >= 0x20); ((( + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ( , ) = .(.((0xa9059cbb), ., .)); // call transfer = 0x60; ((.) != 0x0) { (!(. <= 0xffffffffffffffff)) (65); ((( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = ; } = 0; ; () { = 0; = 0; = ; () { ((( + ) + 0x20) - ( + 0x20) >= 0x20); ( == (!(!()))); } { = ( != 0x0) ? 1 : 0; = ; = !; } = ; } { = ; = ; } ( != 0x0, "transfer failed"); (., (. + ) + , , .); ; } ((( + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ((( + .) - ) >= 0x40); (. <= 0xffffffffffffffff); ((( + .) + 0x1f) < ( + .)); (!( <= 0xffffffffffffffff)) (65); ((( + (((0x20 + ( << 0x05)) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((0x20 + ( << 0x05)) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (((0x20 + ( << 0x05)) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ((( + .) + ( << 0x05) + 0x20) <= ( + .)); = + 0x20; = 0x20 + ( + .); () { ( >= (( + .) + ( << 0x05) + 0x20)) { ; } ( != (())) { (); ; } = + 0x20; = + 0x20; } ( <= 0xffffffffffffffff); ((( + ) + 0x1f) < ( + .)); (!( <= 0xffffffffffffffff)) (65); } ( , , , , ) () { (((0x04 + ) + 0x1f) < ..); (((0x04 + ) + + 0x20) <= ..); ; ((( + 0x0220) > 0xffffffffffffffff) | (( + 0x0220) < )) (65); = + 0x0220; (((0x04 + ) + 0x20) + - ((0x04 + ) + 0x20) >= 0x40); ( , ) = (.).(); // staticcall (); = 0; = .; () { = .; (0x20 <= .) { = 0x20; } ((( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ((( + ) - ) >= 0x20); } { = ; = 0; } ( , ) = (.).(); // staticcall (); = 0; = .; () { = .; (0x20 <= .) { = 0x20; } ((( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ((( + ) - ) >= 0x20); } { = ; = 0; } = 0; = ; ( <= ) { = ; = ; } ((( + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ( , ) = .(.((0x095ea7b3), (), ( - ))); // call approve = 0x60; ((.) != 0x0) { (!(. <= 0xffffffffffffffff)) (65); ((( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = ; } = 0; ; () { = 0; = 0; = ; () { ((( + ) + 0x20) - ( + 0x20) >= 0x20); ( == (!(!()))); } { = ( != 0x0) ? 1 : 0; = ; = !; } = ; } { = ; = ; } ( != 0x0, "approve failed"); ((( + 0xe0) > 0xffffffffffffffff) | (( + 0xe0) < )) (65); = + 0xe0; ( , ) = ().((.)); // call (); = .; () { = .; (0x20 <= .) { = 0x20; } ((( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ((( + ) - ) >= 0x20); } { = ; } ((( + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ( , ) = .(.((0xa9059cbb), (0xe08107e7dc7c4540d139392e9d0fea99ca019f37), (( + 0x20) + (0x20 + ( + 0x20))))); // call transfer = 0x60; ((.) != 0x0) { (!(. <= 0xffffffffffffffff)) (65); ((( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = ; } = 0; ; () { = 0; = 0; = ; () { ((( + ) + 0x20) - ( + 0x20) >= 0x20); ( == (!(!()))); } { = ( != 0x0) ? 1 : 0; = ; = !; } = ; } { = ; = ; } ( != 0x0, "transfer failed"); ((( + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ( , ) = .(.((0xa9059cbb), (0x176d1ea0ee9569783c6f6e455f7be6171566619c), (( + 0x20) + (0x20 + ( + 0x20))))); // call transfer = 0x60; ((.) != 0x0) { (!(. <= 0xffffffffffffffff)) (65); ((( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = ; } = 0; ; () { = 0; = 0; = ; () { ((( + ) + 0x20) - ( + 0x20) >= 0x20); ( == (!(!()))); } { = ( != 0x0) ? 1 : 0; = ; = !; } = ; } { = ; = ; } ( != 0x0, "transfer failed"); (0xe08107e7dc7c4540d139392e9d0fea99ca019f37.. != 0x0); ( , ) = (0xe08107e7dc7c4540d139392e9d0fea99ca019f37).((), (.), ( + 0x20), (0x20 + ( + 0x20))); // call (); = 0; () { ((( + 0) > 0xffffffffffffffff) | (( + 0) < )) (65); = + 0; } { = ; } (0x176d1ea0ee9569783c6f6e455f7be6171566619c.. != 0x0); ( , ) = (0x176d1ea0ee9569783c6f6e455f7be6171566619c).((), (.), ( + 0x20), (0x20 + ( + 0x20))); // call (); = 0; () { ((( + 0) > 0xffffffffffffffff) | (( + 0) < )) (65); = + 0; (!(0)); } { = ; } = (); (() < (())) { = (); } = (); (() < (())) { = (); } ( , ) = ().((), (), (), ()); // call (); = .; () { = .; (0x20 <= .) { = 0x20; } ((( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ((( + ) - ) >= 0x20); (. == ((.))); } { = ; } ((( + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ( , ) = .(.((0x095ea7b3), (), )); // call approve = 0x60; ((.) != 0x0) { (!(. <= 0xffffffffffffffff)) (65); ((( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = ; } = 0; ; () { = 0; = 0; = ; () { ((( + ) + 0x20) - ( + 0x20) >= 0x20); ( == (!(!()))); } { = ( != 0x0) ? 1 : 0; = ; = !; } = ; } { = ; = ; } ( != 0x0, "approve failed"); = 0; (() == (())) { = ; } = 0; (() == (())) { = ; } ((( + 0x0160) > 0xffffffffffffffff) | (( + 0x0160) < )) (65); = + 0x0160; ( , ) = ().((.)); // call (); = 0x20; = .; = ; () { = .; (0x80 <= .) { = 0x80; } ((( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ((( + ) - ) >= 0x80); ( == (())); } { = ; = 0; = 0; } ((( + 0x0100) > 0xffffffffffffffff) | (( + 0x0100) < )) (65); = + 0x0100; ( , ) = (0xe08107e7dc7c4540d139392e9d0fea99ca019f37).((.), 0x40); // call (); = 0; = .; () { = .; (0x20 <= .) { = 0x20; } ((( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ((( + ) - ) >= 0x20); } { = ; = 0; } (0x176d1ea0ee9569783c6f6e455f7be6171566619c.. != 0x0); ( , ) = (0x176d1ea0ee9569783c6f6e455f7be6171566619c).((.), ); // call (); = 0; () { ((( + 0) > 0xffffffffffffffff) | (( + 0) < )) (65); = + 0; (!(0)); } { = ; } ((.)..); ( , ) = (.).(); // call (); = 0; () { ((( + 0) > 0xffffffffffffffff) | (( + 0) < )) (65); = + 0; (!(0)); } { = ; } ((( + 0xa0) > 0xffffffffffffffff) | (( + 0xa0) < )) (65); = + 0xa0; ( , ) = ().(.); // call (); (!()) { ((( + 0x80) > 0xffffffffffffffff) | (( + 0x80) < )) (65); = + 0x80; ( , ) = ().(.); // call (); = .; () { = .; (0x40 <= .) { = 0x40; } ((( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ((( + ) - ) >= 0x40); } { = ; } ( , ) = .(.((0x70a08231), ())); // staticcall balanceOf (); = 0; = .; () { = .; (0x20 <= .) { = 0x20; } ((( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ((( + ) - ) >= 0x20); } { = ; = 0; } ((( + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ( , ) = .(.((0x095ea7b3), (), )); // call approve = 0x60; ((.) != 0x0) { (!(. <= 0xffffffffffffffff)) (65); ((( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = ; } = 0; ; () { = 0; = 0; = ; () { ((( + ) + 0x20) - ( + 0x20) >= 0x20); ( == (!(!()))); } { = != 0x0; = ; = !; } = ; } { = ; = ; } ( != 0x0, "approve failed"); ((( + 0xe0) > 0xffffffffffffffff) | (( + 0xe0) < )) (65); = + 0xe0; ( , ) = ().((.)); // call (); = 0; () { = .; (0x20 <= .) { = 0x20; } ((( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ((( + ) - ) >= 0x20); } { = ; } = ; ((( + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ( , ) = .(.((0x095ea7b3), (), + )); // call approve = 0x60; ((.) != 0x0) { (!(. <= 0xffffffffffffffff)) (65); ((( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = ; } = 0; ; () { = 0; = 0; = ; () { ((( + ) + 0x20) - ( + 0x20) >= 0x20); ( == (!(!()))); } { = != 0x0; = ; = !; } = ; } { = ; = ; } ( != 0x0, "approve failed"); 0x01; } (0x40 > .) { ((( + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ((( + .) - ) >= 0x40); ((( + 0x80) > 0xffffffffffffffff) | (( + 0x80) < )) (65); = + 0x80; ( , ) = ().(.); // call (); = .; () { = .; (0x40 <= .) { = 0x40; } ((( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ((( + ) - ) >= 0x40); } { = ; } ( , ) = .(.((0x70a08231), ())); // staticcall balanceOf (); = 0; = .; () { = .; (0x20 <= .) { = 0x20; } ((( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ((( + ) - ) >= 0x20); } { = ; = 0; } ((( + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ( , ) = .(.((0x095ea7b3), (), )); // call approve = 0x60; ((.) != 0x0) { (!(. <= 0xffffffffffffffff)) (65); ((( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = ; } = 0; ; () { = 0; = 0; = ; () { ((( + ) + 0x20) - ( + 0x20) >= 0x20); ( == (!(!()))); } { = != 0x0; = ; = !; } = ; } { = ; = ; } ( != 0x0, "approve failed"); ((( + 0xe0) > 0xffffffffffffffff) | (( + 0xe0) < )) (65); = + 0xe0; ( , ) = ().((.)); // call (); = 0; () { = .; (0x20 <= .) { = 0x20; } ((( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ((( + ) - ) >= 0x20); } { = ; } = ; ((( + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ( , ) = .(.((0x095ea7b3), (), + )); // call approve = 0x60; ((.) != 0x0) { (!(. <= 0xffffffffffffffff)) (65); ((( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = ; } = 0; ; () { = 0; = 0; = ; () { ((( + ) + 0x20) - ( + 0x20) >= 0x20); ( == (!(!()))); } { = != 0x0; = ; = !; } = ; } { = ; = ; } ( != 0x0, "approve failed"); } { ((( + 0x40) > 0xffffffffffffffff) | (( + 0x40) < )) (65); = + 0x40; ((( + 0x40) - ) >= 0x40); ((( + 0x80) > 0xffffffffffffffff) | (( + 0x80) < )) (65); = + 0x80; ( , ) = ().(.); // call (); = .; () { = .; (0x40 <= .) { = 0x40; } ((( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ((( + ) - ) >= 0x40); } { = ; } ( , ) = .(.((0x70a08231), ())); // staticcall balanceOf (); = 0; = .; () { = .; (0x20 <= .) { = 0x20; } ((( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ((( + ) - ) >= 0x20); } { = ; = 0; } ((( + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ( , ) = .(.((0x095ea7b3), (), )); // call approve = 0x60; ((.) != 0x0) { (!(. <= 0xffffffffffffffff)) (65); ((( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = ; } = 0; ; () { = 0; = 0; = ; () { ((( + ) + 0x20) - ( + 0x20) >= 0x20); ( == (!(!()))); } { = != 0x0; = ; = !; } = ; } { = ; = ; } ( != 0x0, "approve failed"); ((( + 0xe0) > 0xffffffffffffffff) | (( + 0xe0) < )) (65); = + 0xe0; ( , ) = ().((.)); // call (); = 0; () { = .; (0x20 <= .) { = 0x20; } ((( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ((( + ) - ) >= 0x20); } { = ; } = ; ((( + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (((( + 0x64) - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ( , ) = .(.((0x095ea7b3), (), + )); // call approve = 0x60; ((.) != 0x0) { (!(. <= 0xffffffffffffffff)) (65); ((( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = ; } = 0; ; () { = 0; = 0; = ; () { ((( + ) + 0x20) - ( + 0x20) >= 0x20); ( == (!(!()))); } { = != 0x0; = ; = !; } = ; } { = ; = ; } ( != 0x0, "approve failed"); } 0x01; } ( , , , ) () { (((0x04 + ) + 0x1f) < ..); (((0x04 + ) + + 0x20) <= ..); 0x150b7a0200000000000000000000000000000000000000000000000000000000; } // Note: This selector table is synthetic and is not part of the original Solidity source. // It records the recovered selector-to-signature mapping without executable behavior. // 0x150b7a02 => onERC721Received(address,address,uint256,bytes) // 0x1b11d0ff => executeOperation(address,uint256,uint256,address,bytes) // 0x5251f3d4 => lastPremium() // 0x54b976d0 => candidateB() // 0x79502c55 => config() // 0xbe9a6555 => start() // 0xff0bee6e => candidateA()}