Ethereum
0xfe3660a423e356b9f352171f0db7ca37d94878cd
Decompiled Solidity recovered from this contract's runtime bytecode. Best-effort reconstruction — confirm behaviour against on-chain state.
Decompilation outputEthereum · 0xfe3660a4…d94878cd18.1 KB157.4 s
This result is permanently available athttps://decompiler.exvul.com/ethereum/0xfe3660a423e356b9f352171f0db7ca37d94878cd
948 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 10 of 17 entry points (170000 ms contract budget): 0d8934eb, 10898117, 11023e8f, 1acf9f3b, 3a1475f2, 5ceae9c4, 6c665a55, 8b4681f8, e73739e9, faef6fdb// Decompilation incomplete: generated symbolic output exceeded safe postprocessing limits for 1 of 17 entry points; ABI and selector evidence were preserved but those Solidity bodies were omitted: 401bc59f// SPDX-License-Identifier: MIT >=0.8.0; { = 29971816292448490955506396699909283730877772063982737419356986512565751250944; = 3; ( => ) ; // STORAGE[0x5e0c90d658953447a9a6183fafee6ce210d189b3996a6a327daf1c089411a92d] ; // STORAGE[0xb8a6b6e550646a13514300701ab6f7229f359cb2b48c87146f8758b4558680c6] ( => ) ; // STORAGE[0xe1f3e5d5ea876721e96ead31698de4d68b16ce3ec39e86844058729c52a8c4a0] ( => ) ; ( => ) ; ; ; ; (); (); (); (); (); ( ) { ("memory-safe") { (0x00, (224, 0x4e487b71)) (0x04, ) (0x00, 0x24) } } () { // Synthetic compatibility routes preserve original selectors for unresolved names. ((.. >= 4) && (. == 0x10898117)) { // Route to Unknown_10898117(address,address,uint256) after replacing only msg.sig. ((0xb8b88cc0)); ; } ((.. >= 4) && (. == 0x11023e8f)) { // Route to Unknown_11023e8f(address,address,uint256) after replacing only msg.sig. ((0x1e5c51b1)); ; } ((.. >= 4) && (. == 0x1acf9f3b)) { // Route to Unknown_1acf9f3b(address,address) after replacing only msg.sig. ((0x05786675)); ; } ((.. >= 4) && (. == 0x3a1475f2)) { // Route to Unknown_3a1475f2(address,bytes,bytes,bytes,bytes) after replacing only msg.sig. ((0x7a270f6c)); ; } ((.. >= 4) && (. == 0x401bc59f)) { // Route to Unknown_401bc59f(address,uint256,uint256) after replacing only msg.sig. ((0xf2dbe91a)); ; } ((.. >= 4) && (. == 0x4f4e1f50)) { // Route to Unknown_4f4e1f50(address,uint256) after replacing only msg.sig. ((0xfff98342)); ; } ((.. >= 4) && (. == 0xe73739e9)) { // Route to Unknown_e73739e9(address,address,uint256,uint256) after replacing only msg.sig. ((0xd9547512)); ; } ((.. >= 4) && (. == 0xfaef6fdb)) { // Route to Unknown_faef6fdb(address,uint256,address) after replacing only msg.sig. ((0x3363ef2a)); ; } (); } ( ) () { ( == ( & 0xffffffff00000000000000000000000000000000000000000000000000000000)); = 0x684fb2c900000000000000000000000000000000000000000000000000000000 == ( & 0xffffffff00000000000000000000000000000000000000000000000000000000); (0x684fb2c900000000000000000000000000000000000000000000000000000000 != ( & 0xffffffff00000000000000000000000000000000000000000000000000000000)) { = ( & 0xffffffff00000000000000000000000000000000000000000000000000000000) == 0x1ffc9a700000000000000000000000000000000000000000000000000000000; } ; } ( , , ) { = ; } ( , , ) { } ( , , ) { ; = 0x40 + ; = (( ^ (( > (([] / 0x0100000000000000000000000000000000))) * (([] / 0x0100000000000000000000000000000000) ^ ))) * ((.))) / (()); (0x0 != (())) { (() * (( ^ (( > (([] / 0x0100000000000000000000000000000000))) * (([] / 0x0100000000000000000000000000000000) ^ ))) == (( ^ (( > (([] / 0x0100000000000000000000000000000000))) * (([] / 0x0100000000000000000000000000000000) ^ ))) * ((.)) / ((.))) | (!((.)))) != 0x0, ()); } { = 0; } } ( , ) { = ; } ( , ) () { = + 0x80; (!(( / 0x01000000000000000000000000000000000000000000) < 0x12)) { (!(( / 0x01000000000000000000000000000000000000000000) > 0x12)) { (([] / 0x0100) > (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff / ((.) + (([] - ([] / 0x0100000000000000000000000000000000)))))) { (!((.) + (([] - ([] / 0x0100000000000000000000000000000000)))), ()); } (!(( / 0x010000000000000000000000000000000000000000) < 0x12)) { (!(( / 0x010000000000000000000000000000000000000000) > 0x12)) { (!((([] / 0x0100) * ((.) + (([] - ([] / 0x0100000000000000000000000000000000)))) / 0x0de0b6b3a7640000) > (()))) { 0; } ((([] / 0x0100) * ((.) + (([] - ([] / 0x0100000000000000000000000000000000)))) / 0x0de0b6b3a7640000) - (()) > (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff / ((0x0de0b6b3a7640000 - ( / 0x01000000000000000000000000000000000000000000))))) { (!((0x0de0b6b3a7640000 - ( / 0x01000000000000000000000000000000000000000000))), ()); } ((([] / 0x0100) * ((.) + (([] - ([] / 0x0100000000000000000000000000000000)))) / 0x0de0b6b3a7640000) - (()) * ((0x0de0b6b3a7640000 - ( / 0x01000000000000000000000000000000000000000000)))) / 0x0de0b6b3a7640000; } { ; ((( / 0x010000000000000000000000000000000000000000) - 0x12) != 0x0) { ; = 0x01; = 0x01 << ((( / 0x010000000000000000000000000000000000000000) - 0x12)); = * ; (!((0x0a < 0x0b) & ((( / 0x010000000000000000000000000000000000000000) - 0x12) < 0x4e) | ((0x0a < 0x0133) & ((( / 0x010000000000000000000000000000000000000000) - 0x12) < 0x20)))) { = 0x0a; = 0x01; = 0x0a; = (( / 0x010000000000000000000000000000000000000000) - 0x12); = 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff; () { ( <= 0x1) { ; } = ; (( & 0x1) != 0x0) { = * ; } = * ; = ; = ; = >> 0x01; = ; } } { = 0x0a ** ((( / 0x010000000000000000000000000000000000000000) - 0x12)); } = ; = ; = ; = ; } { = 0x01; } (!(( * (([] / 0x0100) * ((.) + (([] - ([] / 0x0100000000000000000000000000000000)))) / 0x0de0b6b3a7640000)) > (()))) { 0; } (( * (([] / 0x0100) * ((.) + (([] - ([] / 0x0100000000000000000000000000000000)))) / 0x0de0b6b3a7640000)) - (()) > (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff / ((0x0de0b6b3a7640000 - ( / 0x01000000000000000000000000000000000000000000))))) { (!((0x0de0b6b3a7640000 - ( / 0x01000000000000000000000000000000000000000000))), ()); } (( * (([] / 0x0100) * ((.) + (([] - ([] / 0x0100000000000000000000000000000000)))) / 0x0de0b6b3a7640000)) - (()) * ((0x0de0b6b3a7640000 - ( / 0x01000000000000000000000000000000000000000000)))) / 0x0de0b6b3a7640000; } } { ; ((0x12 - ( / 0x010000000000000000000000000000000000000000)) != 0x0) { ; = 0x01; = 0x01 << ((0x12 - ( / 0x010000000000000000000000000000000000000000))); = * ; (!((0x0a < 0x0b) & ((0x12 - ( / 0x010000000000000000000000000000000000000000)) < 0x4e) | ((0x0a < 0x0133) & ((0x12 - ( / 0x010000000000000000000000000000000000000000)) < 0x20)))) { = 0x0a; = 0x01; = 0x0a; = (0x12 - ( / 0x010000000000000000000000000000000000000000)); = 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff; () { ( <= 0x1) { ; } = ; (( & 0x1) != 0x0) { = * ; } = * ; = ; = ; = >> 0x01; = ; } } { = 0x0a ** ((0x12 - ( / 0x010000000000000000000000000000000000000000))); } = ; = ; = ; = ; } { = 0x01; } (!(((([] / 0x0100) * ((.) + (([] - ([] / 0x0100000000000000000000000000000000)))) / 0x0de0b6b3a7640000) / ) > (()))) { 0; } (((([] / 0x0100) * ((.) + (([] - ([] / 0x0100000000000000000000000000000000)))) / 0x0de0b6b3a7640000) / ) - (()) > (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff / ((0x0de0b6b3a7640000 - ( / 0x01000000000000000000000000000000000000000000))))) { (!((0x0de0b6b3a7640000 - ( / 0x01000000000000000000000000000000000000000000))), ()); } (((([] / 0x0100) * ((.) + (([] - ([] / 0x0100000000000000000000000000000000)))) / 0x0de0b6b3a7640000) / ) - (()) * ((0x0de0b6b3a7640000 - ( / 0x01000000000000000000000000000000000000000000)))) / 0x0de0b6b3a7640000; } } { ; ((( / 0x01000000000000000000000000000000000000000000) - 0x12) != 0x0) { ; = 0x01; = 0x01 << ((( / 0x01000000000000000000000000000000000000000000) - 0x12)); = * ; (!((0x0a < 0x0b) & ((( / 0x01000000000000000000000000000000000000000000) - 0x12) < 0x4e) | ((0x0a < 0x0133) & ((( / 0x01000000000000000000000000000000000000000000) - 0x12) < 0x20)))) { = 0x0a; = 0x01; = 0x0a; = (( / 0x01000000000000000000000000000000000000000000) - 0x12); = 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff; () { ( <= 0x1) { ; } = ; (( & 0x1) != 0x0) { = * ; } = * ; = ; = ; = >> 0x01; = ; } } { = 0x0a ** ((( / 0x01000000000000000000000000000000000000000000) - 0x12)); } = ; = ; = ; = ; } { = 0x01; } (([] / 0x0100) > (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff / ((.) + (([] - ([] / 0x0100000000000000000000000000000000))) / ))) { (!((.) + (([] - ([] / 0x0100000000000000000000000000000000))) / ), ()); } (!(( / 0x010000000000000000000000000000000000000000) < 0x12)) { (!(( / 0x010000000000000000000000000000000000000000) > 0x12)) { (!((([] / 0x0100) * ((.) + (([] - ([] / 0x0100000000000000000000000000000000))) / ) / 0x0de0b6b3a7640000) > (()))) { 0; } ((([] / 0x0100) * ((.) + (([] - ([] / 0x0100000000000000000000000000000000))) / ) / 0x0de0b6b3a7640000) - (()) > (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff / ((0x0de0b6b3a7640000 - ( / 0x01000000000000000000000000000000000000000000))))) { (!((0x0de0b6b3a7640000 - ( / 0x01000000000000000000000000000000000000000000))), ()); } ((([] / 0x0100) * ((.) + (([] - ([] / 0x0100000000000000000000000000000000))) / ) / 0x0de0b6b3a7640000) - (()) * ((0x0de0b6b3a7640000 - ( / 0x01000000000000000000000000000000000000000000)))) / 0x0de0b6b3a7640000; } { ; ((( / 0x010000000000000000000000000000000000000000) - 0x12) != 0x0) { ; = 0x01; = 0x01 << ((( / 0x010000000000000000000000000000000000000000) - 0x12)); = * ; (!((0x0a < 0x0b) & ((( / 0x010000000000000000000000000000000000000000) - 0x12) < 0x4e) | ((0x0a < 0x0133) & ((( / 0x010000000000000000000000000000000000000000) - 0x12) < 0x20)))) { = 0x0a; = 0x01; = 0x0a; = (( / 0x010000000000000000000000000000000000000000) - 0x12); = 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff; () { ( <= 0x1) { ; } = ; (( & 0x1) != 0x0) { = * ; } = * ; = ; = ; = >> 0x01; = ; } } { = 0x0a ** ((( / 0x010000000000000000000000000000000000000000) - 0x12)); } = ; = ; = ; = ; } { = 0x01; } (!(( * (([] / 0x0100) * ((.) + (([] - ([] / 0x0100000000000000000000000000000000))) / ) / 0x0de0b6b3a7640000)) > (()))) { 0; } } } { ; ((0x12 - ( / 0x010000000000000000000000000000000000000000)) != 0x0) { ; = 0x01; = 0x01 << ((0x12 - ( / 0x010000000000000000000000000000000000000000))); = * ; (!((0x0a < 0x0b) & ((0x12 - ( / 0x010000000000000000000000000000000000000000)) < 0x4e) | ((0x0a < 0x0133) & ((0x12 - ( / 0x010000000000000000000000000000000000000000)) < 0x20)))) { = 0x0a; = 0x01; = 0x0a; = (0x12 - ( / 0x010000000000000000000000000000000000000000)); = 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff; () { ( <= 0x1) { ; } = ; (( & 0x1) != 0x0) { = * ; } = * ; = ; = ; = >> 0x01; = ; } } { = 0x0a ** ((0x12 - ( / 0x010000000000000000000000000000000000000000))); } = ; = ; = ; = ; } { = 0x01; } (!(((([] / 0x0100) * ((.) + (([] - ([] / 0x0100000000000000000000000000000000))) / ) / 0x0de0b6b3a7640000) / ) > (()))) { 0; } } } } { ; ((0x12 - ( / 0x01000000000000000000000000000000000000000000)) != 0x0) { ; = 0x01; = 0x01 << ((0x12 - ( / 0x01000000000000000000000000000000000000000000))); = * ; (!((0x0a < 0x0b) & ((0x12 - ( / 0x01000000000000000000000000000000000000000000)) < 0x4e) | ((0x0a < 0x0133) & ((0x12 - ( / 0x01000000000000000000000000000000000000000000)) < 0x20)))) { = 0x0a; = 0x01; = 0x0a; = (0x12 - ( / 0x01000000000000000000000000000000000000000000)); = 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff; () { ( <= 0x1) { ; } = ; (( & 0x1) != 0x0) { = * ; } = * ; = ; = ; = >> 0x01; = ; } } { = 0x0a ** ((0x12 - ( / 0x01000000000000000000000000000000000000000000))); } = ; = ; = ; = ; } { = 0x01; } (([] / 0x0100) > (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff / ( * ((.) + (([] - ([] / 0x0100000000000000000000000000000000))))))) { (!( * ((.) + (([] - ([] / 0x0100000000000000000000000000000000))))), ()); } (!(( / 0x010000000000000000000000000000000000000000) < 0x12)) { (!(( / 0x010000000000000000000000000000000000000000) > 0x12)) { (!((([] / 0x0100) * ( * ((.) + (([] - ([] / 0x0100000000000000000000000000000000))))) / 0x0de0b6b3a7640000) > (()))) { 0; } ((([] / 0x0100) * ( * ((.) + (([] - ([] / 0x0100000000000000000000000000000000))))) / 0x0de0b6b3a7640000) - (()) > (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff / ((0x0de0b6b3a7640000 - ( / 0x01000000000000000000000000000000000000000000))))) { (!((0x0de0b6b3a7640000 - ( / 0x01000000000000000000000000000000000000000000))), ()); } ((([] / 0x0100) * ( * ((.) + (([] - ([] / 0x0100000000000000000000000000000000))))) / 0x0de0b6b3a7640000) - (()) * ((0x0de0b6b3a7640000 - ( / 0x01000000000000000000000000000000000000000000)))) / 0x0de0b6b3a7640000; } { ; ((( / 0x010000000000000000000000000000000000000000) - 0x12) != 0x0) { ; = 0x01; = 0x01 << ((( / 0x010000000000000000000000000000000000000000) - 0x12)); = * ; (!((0x0a < 0x0b) & ((( / 0x010000000000000000000000000000000000000000) - 0x12) < 0x4e) | ((0x0a < 0x0133) & ((( / 0x010000000000000000000000000000000000000000) - 0x12) < 0x20)))) { = 0x0a; = 0x01; = 0x0a; = (( / 0x010000000000000000000000000000000000000000) - 0x12); = 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff; () { ( <= 0x1) { ; } = ; (( & 0x1) != 0x0) { = * ; } = * ; = ; = ; = >> 0x01; = ; } } { = 0x0a ** ((( / 0x010000000000000000000000000000000000000000) - 0x12)); } = ; = ; = ; = ; } { = 0x01; } (!(( * (([] / 0x0100) * ( * ((.) + (([] - ([] / 0x0100000000000000000000000000000000))))) / 0x0de0b6b3a7640000)) > (()))) { 0; } } } { ; ((0x12 - ( / 0x010000000000000000000000000000000000000000)) != 0x0) { ; = 0x01; = 0x01 << ((0x12 - ( / 0x010000000000000000000000000000000000000000))); = * ; (!((0x0a < 0x0b) & ((0x12 - ( / 0x010000000000000000000000000000000000000000)) < 0x4e) | ((0x0a < 0x0133) & ((0x12 - ( / 0x010000000000000000000000000000000000000000)) < 0x20)))) { = 0x0a; = 0x01; = 0x0a; = (0x12 - ( / 0x010000000000000000000000000000000000000000)); = 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff; () { ( <= 0x1) { ; } = ; (( & 0x1) != 0x0) { = * ; } = * ; = ; = ; = >> 0x01; = ; } } { = 0x0a ** ((0x12 - ( / 0x010000000000000000000000000000000000000000))); } = ; = ; = ; = ; } { = 0x01; } (!(((([] / 0x0100) * ( * ((.) + (([] - ([] / 0x0100000000000000000000000000000000))))) / 0x0de0b6b3a7640000) / ) > (()))) { 0; } } } } ( , , , , ) { (!(((0x04 + ) + (. << 0x05) + 0x20) > ..)); (!(((0x04 + ) + (. << 0x05) + 0x20) > ..)); (!(((0x04 + ) + (. << 0x05) + 0x20) > ..)); (!(((0x04 + ) + (. << 0x05) + 0x20) > ..)); = ; } ( , , ) () { // Function body omitted: symbolic output exceeded safe complexity limits. { (0, 0) } } ( , ) ( ) { (!(( / 0x01000000000000000000000000000000000000000000) < 0x12)) { (!(( / 0x01000000000000000000000000000000000000000000) > 0x12)) { (([] / 0x0100) > (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff / )) { ( == 0x0, ()); } (!(( / 0x010000000000000000000000000000000000000000) < 0x12)) { (!(( / 0x010000000000000000000000000000000000000000) > 0x12)) { (((([] / 0x0100) * ) / 0x0de0b6b3a7640000) != (( / 0x01000000000000000000000000000000000000000000) * ((([] / 0x0100) * ) / 0x0de0b6b3a7640000) / ( / 0x01000000000000000000000000000000000000000000))) { (!(( / 0x01000000000000000000000000000000000000000000)), ()); } .(((([] / 0x0100) * ) / 0x0de0b6b3a7640000) - ((( / 0x01000000000000000000000000000000000000000000) * ((([] / 0x0100) * ) / 0x0de0b6b3a7640000) / 0x0de0b6b3a7640000) + (!(!(( / 0x01000000000000000000000000000000000000000000) * ((([] / 0x0100) * ) / 0x0de0b6b3a7640000) % 0x0de0b6b3a7640000)))), (( / 0x01000000000000000000000000000000000000000000) * ((([] / 0x0100) * ) / 0x0de0b6b3a7640000) / 0x0de0b6b3a7640000) + (!(!(( / 0x01000000000000000000000000000000000000000000) * ((([] / 0x0100) * ) / 0x0de0b6b3a7640000) % 0x0de0b6b3a7640000)))); } { ; ((( / 0x010000000000000000000000000000000000000000) - 0x12) != 0x0) { ; = 0x01; = 0x01 << ((( / 0x010000000000000000000000000000000000000000) - 0x12)); = * ; (!((0x0a < 0x0b) & ((( / 0x010000000000000000000000000000000000000000) - 0x12) < 0x4e) | ((0x0a < 0x0133) & ((( / 0x010000000000000000000000000000000000000000) - 0x12) < 0x20)))) { = 0x0a; = 0x01; = 0x0a; = (( / 0x010000000000000000000000000000000000000000) - 0x12); = 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff; () { ( <= 0x1) { ; } = ; (( & 0x1) != 0x0) { = * ; } = * ; = ; = ; = >> 0x01; = ; } } { = 0x0a ** ((( / 0x010000000000000000000000000000000000000000) - 0x12)); } = ; = ; = ; = ; } { = 0x01; } (( * ((([] / 0x0100) * ) / 0x0de0b6b3a7640000)) != (( / 0x01000000000000000000000000000000000000000000) * ( * ((([] / 0x0100) * ) / 0x0de0b6b3a7640000)) / ( / 0x01000000000000000000000000000000000000000000))) { (!(( / 0x01000000000000000000000000000000000000000000)), ()); } .(( * ((([] / 0x0100) * ) / 0x0de0b6b3a7640000)) - ((( / 0x01000000000000000000000000000000000000000000) * ( * ((([] / 0x0100) * ) / 0x0de0b6b3a7640000)) / 0x0de0b6b3a7640000) + (!(!(( / 0x01000000000000000000000000000000000000000000) * ( * ((([] / 0x0100) * ) / 0x0de0b6b3a7640000)) % 0x0de0b6b3a7640000)))), (( / 0x01000000000000000000000000000000000000000000) * ( * ((([] / 0x0100) * ) / 0x0de0b6b3a7640000)) / 0x0de0b6b3a7640000) + (!(!(( / 0x01000000000000000000000000000000000000000000) * ( * ((([] / 0x0100) * ) / 0x0de0b6b3a7640000)) % 0x0de0b6b3a7640000)))); } } { ; ((0x12 - ( / 0x010000000000000000000000000000000000000000)) != 0x0) { ; = 0x01; = 0x01 << ((0x12 - ( / 0x010000000000000000000000000000000000000000))); = * ; (!((0x0a < 0x0b) & ((0x12 - ( / 0x010000000000000000000000000000000000000000)) < 0x4e) | ((0x0a < 0x0133) & ((0x12 - ( / 0x010000000000000000000000000000000000000000)) < 0x20)))) { = 0x0a; = 0x01; = 0x0a; = (0x12 - ( / 0x010000000000000000000000000000000000000000)); = 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff; () { ( <= 0x1) { ; } = ; (( & 0x1) != 0x0) { = * ; } = * ; = ; = ; = >> 0x01; = ; } } { = 0x0a ** ((0x12 - ( / 0x010000000000000000000000000000000000000000))); } = ; = ; = ; = ; } { = 0x01; } ((((([] / 0x0100) * ) / 0x0de0b6b3a7640000) / ) != (( / 0x01000000000000000000000000000000000000000000) * (((([] / 0x0100) * ) / 0x0de0b6b3a7640000) / ) / ( / 0x01000000000000000000000000000000000000000000))) { (!(( / 0x01000000000000000000000000000000000000000000)), ()); } .((((([] / 0x0100) * ) / 0x0de0b6b3a7640000) / ) - ((( / 0x01000000000000000000000000000000000000000000) * (((([] / 0x0100) * ) / 0x0de0b6b3a7640000) / ) / 0x0de0b6b3a7640000) + (!(!(( / 0x01000000000000000000000000000000000000000000) * (((([] / 0x0100) * ) / 0x0de0b6b3a7640000) / ) % 0x0de0b6b3a7640000)))), (( / 0x01000000000000000000000000000000000000000000) * (((([] / 0x0100) * ) / 0x0de0b6b3a7640000) / ) / 0x0de0b6b3a7640000) + (!(!(( / 0x01000000000000000000000000000000000000000000) * (((([] / 0x0100) * ) / 0x0de0b6b3a7640000) / ) % 0x0de0b6b3a7640000)))); } } { ; ((( / 0x01000000000000000000000000000000000000000000) - 0x12) != 0x0) { ; = 0x01; = 0x01 << ((( / 0x01000000000000000000000000000000000000000000) - 0x12)); = * ; (!((0x0a < 0x0b) & ((( / 0x01000000000000000000000000000000000000000000) - 0x12) < 0x4e) | ((0x0a < 0x0133) & ((( / 0x01000000000000000000000000000000000000000000) - 0x12) < 0x20)))) { = 0x0a; = 0x01; = 0x0a; = (( / 0x01000000000000000000000000000000000000000000) - 0x12); = 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff; () { ( <= 0x1) { ; } = ; (( & 0x1) != 0x0) { = * ; } = * ; = ; = ; = >> 0x01; = ; } } { = 0x0a ** ((( / 0x01000000000000000000000000000000000000000000) - 0x12)); } = ; = ; = ; = ; } { = 0x01; } (([] / 0x0100) > (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff / ( / ))) { ( / == 0x0, ()); } (!(( / 0x010000000000000000000000000000000000000000) < 0x12)) { (!(( / 0x010000000000000000000000000000000000000000) > 0x12)) { ((([] / 0x0100) * ( / ) / 0x0de0b6b3a7640000) != (( / 0x01000000000000000000000000000000000000000000) * (([] / 0x0100) * ( / ) / 0x0de0b6b3a7640000) / ( / 0x01000000000000000000000000000000000000000000))) { (!(( / 0x01000000000000000000000000000000000000000000)), ()); } .((([] / 0x0100) * ( / ) / 0x0de0b6b3a7640000) - ((( / 0x01000000000000000000000000000000000000000000) * (([] / 0x0100) * ( / ) / 0x0de0b6b3a7640000) / 0x0de0b6b3a7640000) + (!(!(( / 0x01000000000000000000000000000000000000000000) * (([] / 0x0100) * ( / ) / 0x0de0b6b3a7640000) % 0x0de0b6b3a7640000)))), (( / 0x01000000000000000000000000000000000000000000) * (([] / 0x0100) * ( / ) / 0x0de0b6b3a7640000) / 0x0de0b6b3a7640000) + (!(!(( / 0x01000000000000000000000000000000000000000000) * (([] / 0x0100) * ( / ) / 0x0de0b6b3a7640000) % 0x0de0b6b3a7640000)))); } { ; ((( / 0x010000000000000000000000000000000000000000) - 0x12) != 0x0) { ; = 0x01; = 0x01 << ((( / 0x010000000000000000000000000000000000000000) - 0x12)); = * ; (!((0x0a < 0x0b) & ((( / 0x010000000000000000000000000000000000000000) - 0x12) < 0x4e) | ((0x0a < 0x0133) & ((( / 0x010000000000000000000000000000000000000000) - 0x12) < 0x20)))) { = 0x0a; = 0x01; = 0x0a; = (( / 0x010000000000000000000000000000000000000000) - 0x12); = 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff; () { ( <= 0x1) { ; } = ; (( & 0x1) != 0x0) { = * ; } = * ; = ; = ; = >> 0x01; = ; } } { = 0x0a ** ((( / 0x010000000000000000000000000000000000000000) - 0x12)); } = ; = ; = ; = ; } { = 0x01; } (( * (([] / 0x0100) * ( / ) / 0x0de0b6b3a7640000)) != (( / 0x01000000000000000000000000000000000000000000) * ( * (([] / 0x0100) * ( / ) / 0x0de0b6b3a7640000)) / ( / 0x01000000000000000000000000000000000000000000))) { (!(( / 0x01000000000000000000000000000000000000000000)), ()); } .(( * (([] / 0x0100) * ( / ) / 0x0de0b6b3a7640000)) - ((( / 0x01000000000000000000000000000000000000000000) * ( * (([] / 0x0100) * ( / ) / 0x0de0b6b3a7640000)) / 0x0de0b6b3a7640000) + (!(!(( / 0x01000000000000000000000000000000000000000000) * ( * (([] / 0x0100) * ( / ) / 0x0de0b6b3a7640000)) % 0x0de0b6b3a7640000)))), (( / 0x01000000000000000000000000000000000000000000) * ( * (([] / 0x0100) * ( / ) / 0x0de0b6b3a7640000)) / 0x0de0b6b3a7640000) + (!(!(( / 0x01000000000000000000000000000000000000000000) * ( * (([] / 0x0100) * ( / ) / 0x0de0b6b3a7640000)) % 0x0de0b6b3a7640000)))); } } { ; ((0x12 - ( / 0x010000000000000000000000000000000000000000)) != 0x0) { ; = 0x01; = 0x01 << ((0x12 - ( / 0x010000000000000000000000000000000000000000))); = * ; (!((0x0a < 0x0b) & ((0x12 - ( / 0x010000000000000000000000000000000000000000)) < 0x4e) | ((0x0a < 0x0133) & ((0x12 - ( / 0x010000000000000000000000000000000000000000)) < 0x20)))) { = 0x0a; = 0x01; = 0x0a; = (0x12 - ( / 0x010000000000000000000000000000000000000000)); = 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff; () { ( <= 0x1) { ; } = ; (( & 0x1) != 0x0) { = * ; } = * ; = ; = ; = >> 0x01; = ; } } { = 0x0a ** ((0x12 - ( / 0x010000000000000000000000000000000000000000))); } = ; = ; = ; = ; } { = 0x01; } (((([] / 0x0100) * ( / ) / 0x0de0b6b3a7640000) / ) != (( / 0x01000000000000000000000000000000000000000000) * ((([] / 0x0100) * ( / ) / 0x0de0b6b3a7640000) / ) / ( / 0x01000000000000000000000000000000000000000000))) { (!(( / 0x01000000000000000000000000000000000000000000)), ()); } .(((([] / 0x0100) * ( / ) / 0x0de0b6b3a7640000) / ) - ((( / 0x01000000000000000000000000000000000000000000) * ((([] / 0x0100) * ( / ) / 0x0de0b6b3a7640000) / ) / 0x0de0b6b3a7640000) + (!(!(( / 0x01000000000000000000000000000000000000000000) * ((([] / 0x0100) * ( / ) / 0x0de0b6b3a7640000) / ) % 0x0de0b6b3a7640000)))), (( / 0x01000000000000000000000000000000000000000000) * ((([] / 0x0100) * ( / ) / 0x0de0b6b3a7640000) / ) / 0x0de0b6b3a7640000) + (!(!(( / 0x01000000000000000000000000000000000000000000) * ((([] / 0x0100) * ( / ) / 0x0de0b6b3a7640000) / ) % 0x0de0b6b3a7640000)))); } } } { ; ((0x12 - ( / 0x01000000000000000000000000000000000000000000)) != 0x0) { ; = 0x01; = 0x01 << ((0x12 - ( / 0x01000000000000000000000000000000000000000000))); = * ; (!((0x0a < 0x0b) & ((0x12 - ( / 0x01000000000000000000000000000000000000000000)) < 0x4e) | ((0x0a < 0x0133) & ((0x12 - ( / 0x01000000000000000000000000000000000000000000)) < 0x20)))) { = 0x0a; = 0x01; = 0x0a; = (0x12 - ( / 0x01000000000000000000000000000000000000000000)); = 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff; () { ( <= 0x1) { ; } = ; (( & 0x1) != 0x0) { = * ; } = * ; = ; = ; = >> 0x01; = ; } } { = 0x0a ** ((0x12 - ( / 0x01000000000000000000000000000000000000000000))); } = ; = ; = ; = ; } { = 0x01; } (([] / 0x0100) > (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff / ( * ))) { ( * == 0x0, ()); } (!(( / 0x010000000000000000000000000000000000000000) < 0x12)) { (!(( / 0x010000000000000000000000000000000000000000) > 0x12)) { ((([] / 0x0100) * ( * ) / 0x0de0b6b3a7640000) != (( / 0x01000000000000000000000000000000000000000000) * (([] / 0x0100) * ( * ) / 0x0de0b6b3a7640000) / ( / 0x01000000000000000000000000000000000000000000))) { (!(( / 0x01000000000000000000000000000000000000000000)), ()); } .((([] / 0x0100) * ( * ) / 0x0de0b6b3a7640000) - ((( / 0x01000000000000000000000000000000000000000000) * (([] / 0x0100) * ( * ) / 0x0de0b6b3a7640000) / 0x0de0b6b3a7640000) + (!(!(( / 0x01000000000000000000000000000000000000000000) * (([] / 0x0100) * ( * ) / 0x0de0b6b3a7640000) % 0x0de0b6b3a7640000)))), (( / 0x01000000000000000000000000000000000000000000) * (([] / 0x0100) * ( * ) / 0x0de0b6b3a7640000) / 0x0de0b6b3a7640000) + (!(!(( / 0x01000000000000000000000000000000000000000000) * (([] / 0x0100) * ( * ) / 0x0de0b6b3a7640000) % 0x0de0b6b3a7640000)))); } { ; ((( / 0x010000000000000000000000000000000000000000) - 0x12) != 0x0) { ; = 0x01; = 0x01 << ((( / 0x010000000000000000000000000000000000000000) - 0x12)); = * ; (!((0x0a < 0x0b) & ((( / 0x010000000000000000000000000000000000000000) - 0x12) < 0x4e) | ((0x0a < 0x0133) & ((( / 0x010000000000000000000000000000000000000000) - 0x12) < 0x20)))) { = 0x0a; = 0x01; = 0x0a; = (( / 0x010000000000000000000000000000000000000000) - 0x12); = 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff; () { ( <= 0x1) { ; } = ; (( & 0x1) != 0x0) { = * ; } = * ; = ; = ; = >> 0x01; = ; } } { = 0x0a ** ((( / 0x010000000000000000000000000000000000000000) - 0x12)); } = ; = ; = ; = ; } { = 0x01; } (( * (([] / 0x0100) * ( * ) / 0x0de0b6b3a7640000)) != (( / 0x01000000000000000000000000000000000000000000) * ( * (([] / 0x0100) * ( * ) / 0x0de0b6b3a7640000)) / ( / 0x01000000000000000000000000000000000000000000))) { (!(( / 0x01000000000000000000000000000000000000000000)), ()); } .(( * (([] / 0x0100) * ( * ) / 0x0de0b6b3a7640000)) - ((( / 0x01000000000000000000000000000000000000000000) * ( * (([] / 0x0100) * ( * ) / 0x0de0b6b3a7640000)) / 0x0de0b6b3a7640000) + (!(!(( / 0x01000000000000000000000000000000000000000000) * ( * (([] / 0x0100) * ( * ) / 0x0de0b6b3a7640000)) % 0x0de0b6b3a7640000)))), (( / 0x01000000000000000000000000000000000000000000) * ( * (([] / 0x0100) * ( * ) / 0x0de0b6b3a7640000)) / 0x0de0b6b3a7640000) + (!(!(( / 0x01000000000000000000000000000000000000000000) * ( * (([] / 0x0100) * ( * ) / 0x0de0b6b3a7640000)) % 0x0de0b6b3a7640000)))); } } { ; ((0x12 - ( / 0x010000000000000000000000000000000000000000)) != 0x0) { ; = 0x01; = 0x01 << ((0x12 - ( / 0x010000000000000000000000000000000000000000))); = * ; (!((0x0a < 0x0b) & ((0x12 - ( / 0x010000000000000000000000000000000000000000)) < 0x4e) | ((0x0a < 0x0133) & ((0x12 - ( / 0x010000000000000000000000000000000000000000)) < 0x20)))) { = 0x0a; = 0x01; = 0x0a; = (0x12 - ( / 0x010000000000000000000000000000000000000000)); = 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff; () { ( <= 0x1) { ; } = ; (( & 0x1) != 0x0) { = * ; } = * ; = ; = ; = >> 0x01; = ; } } { = 0x0a ** ((0x12 - ( / 0x010000000000000000000000000000000000000000))); } = ; = ; = ; = ; } { = 0x01; } (((([] / 0x0100) * ( * ) / 0x0de0b6b3a7640000) / ) != (( / 0x01000000000000000000000000000000000000000000) * ((([] / 0x0100) * ( * ) / 0x0de0b6b3a7640000) / ) / ( / 0x01000000000000000000000000000000000000000000))) { (!(( / 0x01000000000000000000000000000000000000000000)), ()); } .(((([] / 0x0100) * ( * ) / 0x0de0b6b3a7640000) / ) - ((( / 0x01000000000000000000000000000000000000000000) * ((([] / 0x0100) * ( * ) / 0x0de0b6b3a7640000) / ) / 0x0de0b6b3a7640000) + (!(!(( / 0x01000000000000000000000000000000000000000000) * ((([] / 0x0100) * ( * ) / 0x0de0b6b3a7640000) / ) % 0x0de0b6b3a7640000)))), (( / 0x01000000000000000000000000000000000000000000) * ((([] / 0x0100) * ( * ) / 0x0de0b6b3a7640000) / ) / 0x0de0b6b3a7640000) + (!(!(( / 0x01000000000000000000000000000000000000000000) * ((([] / 0x0100) * ( * ) / 0x0de0b6b3a7640000) / ) % 0x0de0b6b3a7640000)))); } } } ( , , ) { = ; } ( , , ) { = ; } ( , , , ) { = ; } () ( ) { ; = + 0x01c0; (!(0x0c < .)) (50); (!(0x0b < .)) (50); (!(0x0a < .)) (50); (!(0x09 < .)) (50); (!(0x08 < .)) (50); (!(0x07 < .)) (50); (!(0x06 < .)) (50); (!(0x05 < .)) (50); (!(0x04 < .)) (50); (!(0x03 < .)) (50); (!(0x02 < .)) (50); (!(0x01 < .)) (50); (!(0 < .)) (50); (0x0 == 0x0, "totalRoutes != 0"); = 0; = + 0x40; = + 0x20; () { (!( < .)) { ; } = 0x01 + ; = + 0x20; = 0x20 + ; } .(0x20, ., (0xffffffff00000000000000000000000000000000000000000000000000000000) & ); } ( , , , ) { } ( , , ) { = ; () { (() == ., ()); = !(([] / 0x010000000000000000000000000000000000000000)); (!(([] / 0x010000000000000000000000000000000000000000))) { = !(( / 0x010000000000000000000000000000000000000000)); } (, ()); (!( == 0x0)) { } } } ( ) { { := (0x40) (, 0, ()) (, (((), 0x00000000ffffffffffffffffffffffffffffffffffffffffffffffffffffffff), (224, (, 0xffffffff)))) := ((), (), , (), 0, 0) := () (, 0, ) 0 { (, ) } { (, ) } } } // 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. // 0x01ffc9a7 => supportsInterface(bytes4) // 0x0d8934eb => deleverage(address,uint256,uint256) // 0x0f38d8c3 => LABEL() // 0x10898117 => Unknown_10898117(address,address,uint256) // 0x11023e8f => Unknown_11023e8f(address,address,uint256) // 0x1acf9f3b => Unknown_1acf9f3b(address,address) // 0x1ec18ec0 => getMaxBorrow(address,address) // 0x3a1475f2 => Unknown_3a1475f2(address,bytes,bytes,bytes,bytes) // 0x401bc59f => Unknown_401bc59f(address,uint256,uint256) // 0x4f4e1f50 => Unknown_4f4e1f50(address,uint256) // 0x5ceae9c4 => repay(address,uint256,address) // 0x6c665a55 => borrow(address,uint256,address) // 0x8b4681f8 => leverage(address,uint256,uint256,uint256) // 0x99290ed9 => ROUTES() // 0xe73739e9 => Unknown_e73739e9(address,address,uint256,uint256) // 0xfaef6fdb => Unknown_faef6fdb(address,uint256,address) // 0xffa1ad74 => VERSION()}