BNB Chain
0xa1cbc206550cae7a07a55c38972c028ab74182f5
Decompiled Solidity recovered from this contract's runtime bytecode. Best-effort reconstruction — confirm behaviour against on-chain state.
Decompilation outputBNB Chain · 0xa1cbc206…b74182f55.1 KB67.0 s
This result is permanently available athttps://decompiler.exvul.com/bsc/0xa1cbc206550cae7a07a55c38972c028ab74182f5
789 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// Decompilation incomplete: symbolic execution reached a configured deadline for 1 of 8 entry points (170000 ms contract budget): 27709c0e// SPDX-License-Identifier: MIT >=0.8.0; { = (0xabd8dc06559634e59f6698c33a5e65e90e917b91); (); (); (); (); (); ( ) { ("memory-safe") { (0x00, (224, 0x4e487b71)) (0x04, ) (0x00, 0x24) } } ( , , , , ) { ( == ( & 0xffffffffffffffffffffffffffffffff)); ( == ( & 0xffffffffffffffffffffffffffffffff)); ( == ( & 0xffffffffffffffffffffffffffffffff)); ( == ( & 0xffff)); ( == ( & 0xffff)); } ( , , ) { ( == ( & 0xffffffffffffffffffffffffffffffff)); = + 0x80; ( , ) = (0xabd8dc06559634e59f6698c33a5e65e90e917b91).(, ); // staticcall (); = + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); (!((( + .) - ) < 0x20)); (. == (. & 0xffffffffffffffffffffffffffffffffffffffff)); ((0xffffffffffffffffffffffffffffffffffffffff & ) != 0x0, ()); ( , ) = ().(); // staticcall (); = + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); (!((( + .) - ) < 0x0100)); (. == (. & 0xffffffffffffffffffffffffffffffff)); ( == ( & 0xffffffffffffffffffffffffffffffff)); (!(((( + .) - ) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc0) < 0x80)); ((( + 0x80) < ) | (( + 0x80) > 0xffffffffffffffff)) (65); = + 0x80; ( == ( & 0xffffffffffffffffffffffffffffffff)); ( == ( & 0xffffffffffffffffffffffffffffffff)); ( == ( & 0xffffffffffffffffffffffffffffffff)); ( == ( & 0xffffffffffffffffffffffffffffffff)); ( == ( & 0xffff)); ( == ( & 0xffff)); } ( , [] ) ( ) { ( == ( & 0xffffffffffffffffffffffffffffffff)); (. > 0xffffffffffffffff) (65); ; ((( + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (((. << 0x05) + 0x20) + 0x1f))) < ) | (( + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (((. << 0x05) + 0x20) + 0x1f))) > 0xffffffffffffffff)) (65); = + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (((. << 0x05) + 0x20) + 0x1f)); [] = ; (!((0x20 + ((0x04 + ) + (. << 0x05))) > ..)); = + 0x20; = . << 0x05; = (0x04 + ) + 0x20; () { (!( < (0x20 + ((0x04 + ) + (. << 0x05))))) { ; } (.[] == ((.[]))); = + 0x20; = .[]; = 0x20 + ; } (!(. < 0x02), ()); (. > 0xffffffffffffffff) (65); = + (0x20 + (0x20 * .)); = .; (. != 0x0) { = (. * 0x20) + (0x20 + ); } (!(0 < .)) (50); = 0; () { (!( < (. - 0x01))) { ; } (!( < .)) (50); (!(( + 0x01) < .)) (50); = + 0x80; ( , ) = (0xabd8dc06559634e59f6698c33a5e65e90e917b91).((), ()); // staticcall (); = + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); (( + .) - >= 0x20); ( == ( & 0xffffffffffffffffffffffffffffffffffffffff)); ((0xffffffffffffffffffffffffffffffffffffffff & ) != 0x0, ()); ( , ) = ().(); // staticcall (); = + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); (( + .) - >= 0x100); ( == ( & 0xffffffffffffffffffffffffffffffff)); ( == ( & 0xffffffffffffffffffffffffffffffff)); (( + .) - + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc0 >= 0x80); ((( + 0x80) < ) | (( + 0x80) > 0xffffffffffffffff)) (65); = + 0x80; ( == ( & 0xffffffffffffffffffffffffffffffff)); ( == ( & 0xffffffffffffffffffffffffffffffff)); ( == ( & 0xffffffffffffffffffffffffffffffff)); ( == ( & 0xffffffffffffffffffffffffffffffff)); ( == ( & 0xffff)); ( == ( & 0xffff)); (( & 0xffffffffffffffffffffffffffffffffffffffff) >= ( & 0xffffffffffffffffffffffffffffffffffffffff)) { } { } (!( < .)) (50); ; ((0x04 & 0xff) != 0x0) { ; = 0x01; = 0x01 << (0x04 & (0xff)); = * ; (!(0x0a < 0xb && (0x04 & 0xff) < 0x4e || 0x0a < 0x133 && (0x04 & 0xff) < 0x20)) { = 0x0a; = 0x01; = 0x0a; = (0x04); = 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff; () { ( <= 0x1) { ; } = ; (( & 0x1) != 0x0) { = * ; } = ; = ; = ; = ; = ; } } { = 0x0a ** (0x04 & (0xff)); } = ; = ; = ; = ; } { = 0x01; } ((0xffffffffffffffffffffffffffffffff & (0xffff & (0xffff & ) + (0xffff & ))) < , ()); ; ((0x04 & 0xff) != 0x0) { ; = 0x01; = 0x01 << (0x04 & (0xff)); = * ; (!(0x0a < 0xb && (0x04 & 0xff) < 0x4e || 0x0a < 0x133 && (0x04 & 0xff) < 0x20)) { = 0x0a; = 0x01; = 0x0a; = (0x04); = 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff; () { ( <= 0x1) { ; } = ; (( & 0x1) != 0x0) { = * ; } = ; = ; = ; = ; = ; } } { = 0x0a ** (0x04 & (0xff)); } = ; = ; = ; = ; } { = 0x01; } ; ((0x04 & 0xff) != 0x0) { ; = 0x01; = 0x01 << (0x04 & (0xff)); = * ; (!(0x0a < 0xb && (0x04 & 0xff) < 0x4e || 0x0a < 0x133 && (0x04 & 0xff) < 0x20)) { = 0x0a; = 0x01; = 0x0a; = (0x04); = 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff; () { ( <= 0x1) { ; } = ; (( & 0x1) != 0x0) { = * ; } = ; = ; = ; = ; = ; } } { = 0x0a ** (0x04 & (0xff)); } = ; = ; = ; = ; } { = 0x01; } = (( - (((() + (()))))) * (()) * (())) / (( - (((() + (()))))) * (()) + ( * (()))); (!(() == 0x0 || (( - (((() + (()))))) * (())) * () / () == (( - (((() + (()))))) * (())) * (( - (((() + (()))))) * (()) + ( * (()))) != 0x0)) { (( - (((() + (()))))) * (()) + ( * (())) > ((() * (( - (((() + (()))))) * (())) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (( - (((() + (()))))) * (()) * () + ((() * (( - (((() + (()))))) * (())) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (( - (((() + (()))))) * (()) * ())))), ()); = (( - (((() + (()))))) * (()) + ( * (()))) & (0 - (( - (((() + (()))))) * (()) + ( * (())))); = (( - (((() + (()))))) * (()) + ( * (())) / ) * 0x03; = 0x02 - ((( - (((() + (()))))) * (()) + ( * (())) / ) * (0x02 ^ )); = 0x02 ^ ; = 0x02 - ((( - (((() + (()))))) * (()) + ( * (())) / ) * ( * )); = * ; = 0x02 - ((( - (((() + (()))))) * (()) + ( * (())) / ) * ( * )); = * ; = 0x02 - ((( - (((() + (()))))) * (()) + ( * (())) / ) * ( * )); = * ; = 0x02 - ((( - (((() + (()))))) * (()) + ( * (())) / ) * ( * )); = * ; = (( - (((() + (()))))) * (()) + ( * (()))) & (0 - (( - (((() + (()))))) * (()) + ( * (())))); = (( - (((() + (()))))) * (()) + ( * (())) / ) * 0x03; = 0x02 - ((( - (((() + (()))))) * (()) + ( * (())) / ) * (0x02 ^ )); = 0x02 ^ ; = 0x02 - ((( - (((() + (()))))) * (()) + ( * (())) / ) * ( * )); = * ; = 0x02 - ((( - (((() + (()))))) * (()) + ( * (())) / ) * ( * )); = * ; = 0x02 - ((( - (((() + (()))))) * (()) + ( * (())) / ) * ( * )); = * ; = 0x02 - ((( - (((() + (()))))) * (()) + ( * (())) / ) * ( * )); = * ; = ((0x02 - ((( - (((() + (()))))) * (()) + ( * (())) / ) * ( * ))) * ( * )) * (( - (((() + (()))))) * (()) * (()) - (() * (( - (((() + (()))))) * (())) % (( - (((() + (()))))) * (()) + ( * (())))) / (( - (((() + (()))))) * (()) + ( * (())) & (0 - (( - (((() + (()))))) * (()) + ( * (()))))) | ((0x01 + ((0 - (( - (((() + (()))))) * (()) + ( * (())) & (0 - (( - (((() + (()))))) * (()) + ( * (())))))) / (( - (((() + (()))))) * (()) + ( * (())) & (0 - (( - (((() + (()))))) * (()) + ( * (()))))))) * ((() * (( - (((() + (()))))) * (())) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (( - (((() + (()))))) * (()) * (()) + ((() * (( - (((() + (()))))) * (())) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (( - (((() + (()))))) * (()) * (())))) - (() * (( - (((() + (()))))) * (())) % (( - (((() + (()))))) * (()) + ( * (()))) > (( - (((() + (()))))) * (()) * (())))))); } ( < 0x100000000000000000000000000000000, ()); (!(( + 0x01) < .)) (50); = 0x01 + ; = 0; = + 0x40; = + 0x20; () { (!( < .)) { ; } = 0x01 + ; = + 0x20; = 0x20 + ; } .(0x20, .); } } ( , , , , ) () { ( == ( & 0xffffffffffffffffffffffffffffffff)); ( == ( & 0xffffffffffffffffffffffffffffffff)); ( == ( & 0xffffffffffffffffffffffffffffffff)); ( == ( & 0xffff)); ( == ( & 0xffff)); (0x04 == 0) { ((0xffffffffffffffffffffffffffffffff & (0xffff & (0xffff & ) + (0xffff & ))) < 0x1, ()); (!(0xa < 0xb && 0x4 < 0x4e || 0xa < 0x133 && 0x4 < 0x20)) { = 0x0a; = 0x01; = 0x0a; = 0x04; = 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff; () { ( <= 0x1) { ; } = ; (( & 0x1) != 0x0) { = * ; } = * ; = ; = ; = >> 0x01; = ; (!(0xa < 0xb && 0x4 < 0x4e || 0xa < 0x133 && 0x4 < 0x20)) { = 0x0a; = 0x01; = 0x0a; = 0x04; = 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff; () { ( <= 0x1) { ; } = ; (( & 0x1) != 0x0) { = * ; } = * ; = ; = ; = >> 0x01; = ; = (( * ) * (()) * ()) / (( * ) - (((() + (())))) * (() - (()))); (!(() == 0x0 || (( * ) * (())) * () / () == (( * ) * (())) * (( * ) - (((() + (())))) * (() - (()))) != 0x0)) { ((0x10 - (((() + (()))))) * (() - (())) > ((() * (0 * (())) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ((0 * (())) * () + ((() * (0 * (())) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ((0 * (())) * ())))), ()); = ((0x10 - (((() + (()))))) * (() - (()))) & (0 - ((0x10 - (((() + (()))))) * (() - (())))); = ((0x10 - (((() + (()))))) * (() - (())) / ) * 0x03; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * (0x02 ^ )); = 0x02 ^ ; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = ((0x10 - (((() + (()))))) * (() - (()))) & (0 - ((0x10 - (((() + (()))))) * (() - (())))); = ((0x10 - (((() + (()))))) * (() - (())) / ) * 0x03; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * (0x02 ^ )); = 0x02 ^ ; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = ((0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * ( * ))) * ( * )) * ((0 * (())) * () - (() * (0 * (())) % ((0x10 - (((() + (()))))) * (() - (())))) / ((0x10 - (((() + (()))))) * (() - (())) & (0 - ((0x10 - (((() + (()))))) * (() - (()))))) | ((0x01 + ((0 - ((0x10 - (((() + (()))))) * (() - (())) & (0 - ((0x10 - (((() + (()))))) * (() - (())))))) / ((0x10 - (((() + (()))))) * (() - (())) & (0 - ((0x10 - (((() + (()))))) * (() - (()))))))) * ((() * (0 * (())) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ((0 * (())) * () + ((() * (0 * (())) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ((0 * (())) * ()))) - (() * (0 * (())) % ((0x10 - (((() + (()))))) * (() - (()))) > ((0 * (())) * ()))))); } = ; (() * (( * ) * (())) % (( * ) - (((() + (())))) * (() - (()))) == 0) { ( < 0x100000000000000000000000000000000, ()); } { ( != ()., ()); (0x1 + < 0x100000000000000000000000000000000, ()); = 0x01 + ; } (); } } { = ((0x2710 * (())) * ()) / (( * ) - (((() + (())))) * (() - (()))); (!(() == 0x0 || (0x2710 * (())) * () / () == (0x2710 * (())) * (( * ) - (((() + (())))) * (() - (()))) != 0x0)) { ((0x10 - (((() + (()))))) * (() - (())) > ((() * (0 * (())) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ((0 * (())) * () + ((() * (0 * (())) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ((0 * (())) * ())))), ()); = ((0x10 - (((() + (()))))) * (() - (()))) & (0 - ((0x10 - (((() + (()))))) * (() - (())))); = ((0x10 - (((() + (()))))) * (() - (())) / ) * 0x03; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * (0x02 ^ )); = 0x02 ^ ; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = ((0x10 - (((() + (()))))) * (() - (()))) & (0 - ((0x10 - (((() + (()))))) * (() - (())))); = ((0x10 - (((() + (()))))) * (() - (())) / ) * 0x03; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * (0x02 ^ )); = 0x02 ^ ; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = ((0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * ( * ))) * ( * )) * ((0 * (())) * () - (() * (0 * (())) % ((0x10 - (((() + (()))))) * (() - (())))) / ((0x10 - (((() + (()))))) * (() - (())) & (0 - ((0x10 - (((() + (()))))) * (() - (()))))) | ((0x01 + ((0 - ((0x10 - (((() + (()))))) * (() - (())) & (0 - ((0x10 - (((() + (()))))) * (() - (())))))) / ((0x10 - (((() + (()))))) * (() - (())) & (0 - ((0x10 - (((() + (()))))) * (() - (()))))))) * ((() * (0 * (())) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ((0 * (())) * () + ((() * (0 * (())) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ((0 * (())) * ()))) - (() * (0 * (())) % ((0x10 - (((() + (()))))) * (() - (()))) > ((0 * (())) * ()))))); } = ; (() * (0x2710 * (())) % (( * ) - (((() + (())))) * (() - (()))) == 0) { ( < 0x100000000000000000000000000000000, ()); } { ( != ()., ()); (0x1 + < 0x100000000000000000000000000000000, ()); = 0x01 + ; } (); } } } { (!(0xa < 0xb && 0x4 < 0x4e || 0xa < 0x133 && 0x4 < 0x20)) { = 0x0a; = 0x01; = 0x0a; = 0x04; = 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff; () { ( <= 0x1) { ; } = ; (( & 0x1) != 0x0) { = * ; } = * ; = ; = ; = >> 0x01; = ; = (( * ) * (()) * ()) / ((0x2710 - (((() + (()))))) * (() - (()))); (!(() == 0x0 || (( * ) * (())) * () / () == (( * ) * (())) * ((0x2710 - (((() + (()))))) * (() - (()))) != 0x0)) { ((0x10 - (((() + (()))))) * (() - (())) > ((() * (0 * (())) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ((0 * (())) * () + ((() * (0 * (())) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ((0 * (())) * ())))), ()); = ((0x10 - (((() + (()))))) * (() - (()))) & (0 - ((0x10 - (((() + (()))))) * (() - (())))); = ((0x10 - (((() + (()))))) * (() - (())) / ) * 0x03; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * (0x02 ^ )); = 0x02 ^ ; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = ((0x10 - (((() + (()))))) * (() - (()))) & (0 - ((0x10 - (((() + (()))))) * (() - (())))); = ((0x10 - (((() + (()))))) * (() - (())) / ) * 0x03; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * (0x02 ^ )); = 0x02 ^ ; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = ((0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * ( * ))) * ( * )) * ((0 * (())) * () - (() * (0 * (())) % ((0x10 - (((() + (()))))) * (() - (())))) / ((0x10 - (((() + (()))))) * (() - (())) & (0 - ((0x10 - (((() + (()))))) * (() - (()))))) | ((0x01 + ((0 - ((0x10 - (((() + (()))))) * (() - (())) & (0 - ((0x10 - (((() + (()))))) * (() - (())))))) / ((0x10 - (((() + (()))))) * (() - (())) & (0 - ((0x10 - (((() + (()))))) * (() - (()))))))) * ((() * (0 * (())) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ((0 * (())) * () + ((() * (0 * (())) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ((0 * (())) * ()))) - (() * (0 * (())) % ((0x10 - (((() + (()))))) * (() - (()))) > ((0 * (())) * ()))))); } = ; (() * (( * ) * (())) % ((0x2710 - (((() + (()))))) * (() - (()))) == 0) { ( < 0x100000000000000000000000000000000, ()); } { ( != ()., ()); (0x1 + < 0x100000000000000000000000000000000, ()); = 0x01 + ; } (); } } { = ((0x2710 * (())) * ()) / ((0x2710 - (((() + (()))))) * (() - (()))); (!(() == 0x0 || (0x2710 * (())) * () / () == (0x2710 * (())) * ((0x2710 - (((() + (()))))) * (() - (()))) != 0x0)) { ((0x10 - (((() + (()))))) * (() - (())) > ((() * (0 * (())) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ((0 * (())) * () + ((() * (0 * (())) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ((0 * (())) * ())))), ()); = ((0x10 - (((() + (()))))) * (() - (()))) & (0 - ((0x10 - (((() + (()))))) * (() - (())))); = ((0x10 - (((() + (()))))) * (() - (())) / ) * 0x03; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * (0x02 ^ )); = 0x02 ^ ; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = ((0x10 - (((() + (()))))) * (() - (()))) & (0 - ((0x10 - (((() + (()))))) * (() - (())))); = ((0x10 - (((() + (()))))) * (() - (())) / ) * 0x03; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * (0x02 ^ )); = 0x02 ^ ; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = 0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = ((0x02 - (((0x10 - (((() + (()))))) * (() - (())) / ) * ( * ))) * ( * )) * ((0 * (())) * () - (() * (0 * (())) % ((0x10 - (((() + (()))))) * (() - (())))) / ((0x10 - (((() + (()))))) * (() - (())) & (0 - ((0x10 - (((() + (()))))) * (() - (()))))) | ((0x01 + ((0 - ((0x10 - (((() + (()))))) * (() - (())) & (0 - ((0x10 - (((() + (()))))) * (() - (())))))) / ((0x10 - (((() + (()))))) * (() - (())) & (0 - ((0x10 - (((() + (()))))) * (() - (()))))))) * ((() * (0 * (())) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ((0 * (())) * () + ((() * (0 * (())) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ((0 * (())) * ()))) - (() * (0 * (())) % ((0x10 - (((() + (()))))) * (() - (()))) > ((0 * (())) * ()))))); } = ; (() * (0x2710 * (())) % ((0x2710 - (((() + (()))))) * (() - (()))) == 0) { ( < 0x100000000000000000000000000000000, ()); } { ( != ()., ()); (0x1 + < 0x100000000000000000000000000000000, ()); = 0x01 + ; } (); } } } } ( , ) { = + 0x80; = + 0x80; ( , ) = (0xabd8dc06559634e59f6698c33a5e65e90e917b91).(, ); // staticcall (); = + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); (!((( + .) - ) < 0x20)); (. == (. & 0xffffffffffffffffffffffffffffffffffffffff)); ((0xffffffffffffffffffffffffffffffffffffffff & ) != 0x0, ()); ( , ) = ().(); // staticcall (); = + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); (!((( + .) - ) < 0x0100)); (. == (. & 0xffffffffffffffffffffffffffffffff)); ( == ( & 0xffffffffffffffffffffffffffffffff)); (!(((( + .) - ) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc0) < 0x80)); ((( + 0x80) < ) | (( + 0x80) > 0xffffffffffffffff)) (65); = + 0x80; ( == ( & 0xffffffffffffffffffffffffffffffff)); ( == ( & 0xffffffffffffffffffffffffffffffff)); ( == ( & 0xffffffffffffffffffffffffffffffff)); ( == ( & 0xffffffffffffffffffffffffffffffff)); ( == ( & 0xffff)); ( == ( & 0xffff)); } ( , [] ) ( ) { ( == ( & 0xffffffffffffffffffffffffffffffff)); (. > 0xffffffffffffffff) (65); ; ((( + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (((. << 0x05) + 0x20) + 0x1f))) < ) | (( + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (((. << 0x05) + 0x20) + 0x1f))) > 0xffffffffffffffff)) (65); = + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (((. << 0x05) + 0x20) + 0x1f)); [] = ; (!((0x20 + ((0x04 + ) + (. << 0x05))) > ..)); = + 0x20; = . << 0x05; = (0x04 + ) + 0x20; () { (!( < (0x20 + ((0x04 + ) + (. << 0x05))))) { ; } (.[] == ((.[]))); = + 0x20; = .[]; = 0x20 + ; } (!(. < 0x02), ()); (. > 0xffffffffffffffff) (65); = + (0x20 + (0x20 * .)); = .; (. != 0x0) { = .[4:4]; = (. * 0x20) + (0x20 + ); } (!((. - 0x01) < .)) (50); (. - 0x01 == 0) { = 0; = + 0x40; = + 0x20; () { (!( < .)) { ; } = 0x01 + ; = + 0x20; = 0x20 + ; } .(0x20, .); } { (!(((. - 0x01) - 0x01) < .)) (50); (!((. - 0x01) < .)) (50); = + 0x80; ( , ) = (0xabd8dc06559634e59f6698c33a5e65e90e917b91).((), ()); // staticcall (); = + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); (!((( + .) - ) < 0x20)); (. == (. & 0xffffffffffffffffffffffffffffffffffffffff)); ((0xffffffffffffffffffffffffffffffffffffffff & ) != 0x0, ()); ( , ) = ().(); // staticcall (); = + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); (!((( + .) - ) < 0x0100)); (. == (. & 0xffffffffffffffffffffffffffffffff)); ( == ( & 0xffffffffffffffffffffffffffffffff)); (!(((( + .) - ) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc0) < 0x80)); ((( + 0x80) < ) | (( + 0x80) > 0xffffffffffffffff)) (65); = + 0x80; ( == ( & 0xffffffffffffffffffffffffffffffff)); ( == ( & 0xffffffffffffffffffffffffffffffff)); ( == ( & 0xffffffffffffffffffffffffffffffff)); ( == ( & 0xffffffffffffffffffffffffffffffff)); ( == ( & 0xffff)); ( == ( & 0xffff)); (( & 0xffffffffffffffffffffffffffffffffffffffff) >= ( & 0xffffffffffffffffffffffffffffffffffffffff)) { } { } (!((. - 0x01) < .)) (50); ; ; = 0x01; = 0x10; = * ; (!(0xa < 0xb && 0x4 < 0x4e || 0xa < 0x133 && 0x4 < 0x20)) { = 0x0a; = 0x01; = 0x0a; = 0x04; = 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff; () { ( <= 0x1) { ; } = ; (( & 0x1) != 0x0) { = * ; } = * ; = ; = ; = >> 0x01; = ; } } { = 0x2710; } = ; = ; = ; = ; (((() + (()))) < , ()); ; ; = 0x01; = 0x10; = * ; (!(0xa < 0xb && 0x4 < 0x4e || 0xa < 0x133 && 0x4 < 0x20)) { = 0x0a; = 0x01; = 0x0a; = 0x04; = 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff; () { ( <= 0x1) { ; } = ; (( & 0x1) != 0x0) { = * ; } = * ; = ; = ; = >> 0x01; = ; } } { = 0x2710; } = ; = ; = ; = ; ; ; = 0x01; = 0x10; = * ; (!(0xa < 0xb && 0x4 < 0x4e || 0xa < 0x133 && 0x4 < 0x20)) { = 0x0a; = 0x01; = 0x0a; = 0x04; = 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff; () { ( <= 0x1) { ; } = ; (( & 0x1) != 0x0) { = * ; } = * ; = ; = ; = >> 0x01; = ; } } { = 0x2710; } = ; = ; = ; = ; = ( * (())) * (()) / (( - (((() + (()))))) * (() - (()))); (!(() == 0x0 || ( * (())) * () / () == ( * (())) * (( - (((() + (()))))) * (() - (()))) != 0x0)) { (( - (((() + (()))))) * (() - (())) > ((() * ( * (())) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (( * (())) * () + ((() * ( * (())) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (( * (())) * ())))), ()); = (( - (((() + (()))))) * (() - (()))) & (0 - (( - (((() + (()))))) * (() - (())))); = (( - (((() + (()))))) * (() - (())) / ) * 0x03; = 0x02 - ((( - (((() + (()))))) * (() - (())) / ) * (0x02 ^ )); = 0x02 ^ ; = 0x02 - ((( - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = 0x02 - ((( - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = 0x02 - ((( - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = 0x02 - ((( - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = (0x40, ( + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (((. << 0x05) + 0x20) + 0x1f)))); = ; = ; = (, ()); = (0x40, ( + (0x20 + (0x20 * )))); = + 0x80; = (0x40, ); = + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = (0x40, ); = + 0xe0; = (0x40, ); = ; = (0x40, ); = ; = ; = ; = + 0xc0; = ; = (0x20 + (0x20 * (. - 0x01))) + ; = (((0x20 + (0x20 * (. - 0x01))) + ), (())); = ( - (((() + (()))))) * (() - (())); = * (()); = (); = (( - (((() + (()))))) * (() - (()))) & (0 - (( - (((() + (()))))) * (() - (())))); = (( - (((() + (()))))) * (() - (())) / ) * 0x03; = 0x02 - ((( - (((() + (()))))) * (() - (())) / ) * (0x02 ^ )); = 0x02 ^ ; = 0x02 - ((( - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = 0x02 - ((( - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = 0x02 - ((( - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = 0x02 - ((( - (((() + (()))))) * (() - (())) / ) * ( * )); = * ; = ((0x02 - ((( - (((() + (()))))) * (() - (())) / ) * ( * ))) * ( * )) * (( * (())) * () - (() * ( * (())) % (( - (((() + (()))))) * (() - (())))) / (( - (((() + (()))))) * (() - (())) & (0 - (( - (((() + (()))))) * (() - (()))))) | ((0x01 + ((0 - (( - (((() + (()))))) * (() - (())) & (0 - (( - (((() + (()))))) * (() - (())))))) / (( - (((() + (()))))) * (() - (())) & (0 - (( - (((() + (()))))) * (() - (()))))))) * ((() * ( * (())) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (( * (())) * () + ((() * ( * (())) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (( * (())) * ()))) - (() * ( * (())) % (( - (((() + (()))))) * (() - (()))) > (( * (())) * ()))))); = ; } } } ( , , ) { ( == ( & 0xffffffffffffffffffffffffffffffff)); = + 0x80; ( , ) = (0xabd8dc06559634e59f6698c33a5e65e90e917b91).(, ); // staticcall (); = + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); (!((( + .) - ) < 0x20)); (. == (. & 0xffffffffffffffffffffffffffffffffffffffff)); ((0xffffffffffffffffffffffffffffffffffffffff & ) != 0x0, ()); ( , ) = ().(); // staticcall (); = + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); (!((( + .) - ) < 0x0100)); (. == (. & 0xffffffffffffffffffffffffffffffff)); ( == ( & 0xffffffffffffffffffffffffffffffff)); (!(((( + .) - ) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc0) < 0x80)); ((( + 0x80) < ) | (( + 0x80) > 0xffffffffffffffff)) (65); = + 0x80; ( == ( & 0xffffffffffffffffffffffffffffffff)); ( == ( & 0xffffffffffffffffffffffffffffffff)); ( == ( & 0xffffffffffffffffffffffffffffffff)); ( == ( & 0xffffffffffffffffffffffffffffffff)); ( == ( & 0xffff)); ( == ( & 0xffff)); } // 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. // 0x27709c0e => getAmountOut(uint128,uint128,uint128,uint16,uint16) // 0x5740c89b => getAmountIn(address,address,uint128) // 0x8747e0ab => getAmountsOut(uint128,address[]) // 0x88cc58e4 => getFactory() // 0x8e834f22 => getAmountIn(uint128,uint128,uint128,uint16,uint16) // 0xae39ecfc => getSwapInfo(address,address) // 0xbdbb4856 => getAmountsIn(uint128,address[]) // 0xc6d0e71b => getAmountOut(address,address,uint128)}