BNB Chain

0x0a797e1e6739ac463a25d173ddd0eee32723efde

Decompiled Solidity recovered from this contract's runtime bytecode. Best-effort reconstruction — confirm behaviour against on-chain state.

Decompilation outputBNB Chain · 0x0a797e1e…2723efde11.0 KB14.8 s
Share
1,406 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;  {        = 37803905014577634418276257257783581153267200005574436980410287639066771308876;        = 0;        = (0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee);        = (0xb0b84d294e0c75a6abe60171b70edeb2efd14a1b);        = (0x1adb950d8bb3da4be104211d5ab038628e477fe6);        = 65212104362581510479108010712782259555808640733094876655697287443155804376619;        = 79227282580596362788950687254142891742110911711411367262554073522745150513196;        ( => )  ; // STORAGE[0x0]    ( => )  ; // STORAGE[0x1]    ( => )  ; // STORAGE[0x2]    ( => ( => ))  ; // STORAGE[0x3]    ( => ( => ))  ; // STORAGE[0x4]      ; // STORAGE[0x5]      ; // STORAGE[0x6] bytes 0 to 19     ; // STORAGE[0x6] bytes 20 to 20      ; // STORAGE[0x7]    ( => ) ; // STORAGE[0x200e00274eca38caf4d4a8f03daaaaba252bd27f9ff5c714b300dcdef4ee43d3]    ( => ) ; // STORAGE[0x2b8cad0cb51835990e3607c829041c9871ef9bf1b9cfb0eef41f2702dcbc1943]    ( => ) ; // STORAGE[0x511d0314ee32589a99ab73eccd900c257efd9224711c0e5aadda466017c07f6c]    [] ; // STORAGE[0x615f0f9e84155bea8cc509fe18befeb1baf65611e38a6ba60964480fb29dfd44]    ( => ) ; // STORAGE[0x615f0f9e84155bea8cc509fe18befeb1baf65611e38a6ba60964480fb29dfd45]    [] ; // STORAGE[0x74aa8379e0245d6af0621896a8328e2b21561b663a6bab6ea8f048c420f9818f]    ( => ) ; // STORAGE[0x74aa8379e0245d6af0621896a8328e2b21561b663a6bab6ea8f048c420f98190]    [] ; // STORAGE[0xacf3fe940b4e4d0a897e93ec380460608e6c972b91ca1227c816a47ea178ecd1]    ( => ) ; // STORAGE[0xacf3fe940b4e4d0a897e93ec380460608e6c972b91ca1227c816a47ea178ecd2]    ( => ) ; // STORAGE[0xb7db2dd08fcb62d0c9e08c51941cae53c267786a0b75803fb7960902fc8ef97d]    [] ; // STORAGE[0xf27c1326c4a06c604b177c5bbb7a6a46afbdf6f9edebe1696e393996a36dae62]    ( => ) ; // STORAGE[0xf27c1326c4a06c604b177c5bbb7a6a46afbdf6f9edebe1696e393996a36dae63]    ( => ) ;    ( => ( => )) ; // DESOLEX_RAW_STORAGE: mapping value 1: bool [VerifiedAbi] vs uint256 [VerifiedAbi] (ambiguous)    ( => ) ;     ;     ;     ;     ;     ;     ;     ;     ;     ;     ;     ;     ;         ();     ();     ( ,  );     ();     ();     ( , );     ();     ();     ();     ();     ( ,  ,  );     ();     ();     ();     ( );     ();     ();     ( , , );     ( , );     ();     ();     ();     ();     ();     ();     ();     ( ,  , );     ();     ( ,  ,  );     ();     ();     ( ,  , );     ( ,  , , , , );     ( , );     ();     ();     ();     ();     ();     ();     ();     ( ,  ,  , , );     ();     ();     ();     ();     (, );     ();     ( );     ();     ();     ();     ( ,  , );     ();     ( )   {         ("memory-safe") {            (0x00, (224, 0x4e487b71))            (0x04, )            (0x00, 0x24)        }    }    ()   {    }        ()  {        // Synthetic compatibility routes preserve original selectors for unresolved names.         ((.. >= 4) && (. == 0x6d3ab5a8)) {            // Route to Unknown_6d3ab5a8(address,address,uint256) after replacing only msg.sig.            ((0xf98e7206));            ;        }         ((.. >= 4) && (. == 0x9010d07c)) {            // Route to Unknown_9010d07c(uint256,uint256) after replacing only msg.sig.            ((0xb656a175));            ;        }         ((.. >= 4) && (. == 0x9ed6e23a)) {            // Route to Unknown_9ed6e23a(address,address) after replacing only msg.sig.            ((0x48293f79));            ;        }         ((.. >= 4) && (. == 0xbfab17e0)) {            // Route to Unknown_bfab17e0(uint256) after replacing only msg.sig.            ((0xa3899265));            ;        }         ((.. >= 4) && (. == 0xd36485ac)) {            // Route to Unknown_d36485ac(address,address,uint256) after replacing only msg.sig.            ((0x1ed197ce));            ;        }         ((.. >= 4) && (. == 0xe667d060)) {            // Route to Unknown_e667d060(address,uint256,bytes) after replacing only msg.sig.            ((0xcb9ec973));            ;        }        ();    }             ( ,  ,   )  {        (( + 0x23) < ..);        (!((( + (. << 0x05)) + 0x24) > ..));        ([.], ());        ( != 0x02, ());         = 0x02;        (!(()), ());        ( != 0x0, ());          = 0;         ( == 0) {             = ;        }        (!( != 0x0 && . > ), ());        ([], ());        ( != 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee, ());          = 0;         ;          =  + 0x80;          = ( + (. << 0x05)) + 0x80;          =  + 0x24;         () {             = ;             (!( < .)) {                 ((( + ((( - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + ((( - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65);                 =  + ((( - ) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                (..);                ( ,   ) = .(, , 0x60); // call                ();                  = 0x42ffec0f30f299fdbcab604c6fc5613a39f522e303ef35e4ea761ba15caf516c;                 () {                     ((( + 0) > 0xffffffffffffffff) | (( + 0) < )) (65);                     =  + 0;                }  {                     = ;                }                 = ;                  = ;                 = 0x095ea7b3000000000000000000000000;                ( ,   ) = .(.((0x095ea7b3), , 0)); // call approve                  = (0);                  = ;                 (!(( == 0x01) & )) {                    ((. | !..) < , ());                }  {                     = ;                     = ;                }                 (, (), );                 ( != 0x0) {                    ((() - () * .) <= , ());                }                 = 0x01;                ;            }             (!(.[] < ((.. - ) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1d))) {                ();                ;            }             (.[( + .[]) + 0x24] != ((.[( + .[]) + 0x24]))) {                ();                ;            }             (.[( + .[]) + 0x44] != ((.[( + .[]) + 0x44]))) {                ();                ;            }             (.[( + .[]) + 0x64] != ((.[( + .[]) + 0x64]))) {                ();                ;            }             (!(.[( + .[]) + 0xc4] < ((.. - ( + .[])) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffbd))) {                ();                ;            }             (.[(.[( + .[]) + 0xc4] + ( + .[])) + 0x24] > 0xffffffffffffffff) {                ();                ;            }             (((.[( + .[]) + 0xc4] + ( + .[]) + 0x24) + 0x20) > (.. - (.[(.[( + .[]) + 0xc4] + ( + .[])) + 0x24]))) {                ();                ;            }             =  + 0x01;             =  + 0x20;             = ((.[(.[( + .[]) + 0xc4] + ( + .[])) + 0x24] + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) + ) + 0xe0;             =  + 0x20;        }    }         ( )  {        ([.], ());        ( != (0), ());         = ;         ();    }         ( ,  )  {         = ;         = ;         = .;        (([][.]), ());         = ;         = ;          = 0;         (([][])) {             = ;             = ;            [][] = (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00) & [][];             (, , .);             = 0x01;        }         ( != 0x0) {             = ;             = ;             (!(0 == (!(!([]))))) {                  = 0;                  = 0;                  = 0;                 (([] + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) != ([] + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff)) {                     (!(([] + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < [])) (50);                     = (.(, ));                     (!(([] + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < [])) (50);                     = (0 & ) | (( >> 0) << 0);                     =  >> 0;                    [ >> 0] = [];                }  {                     = [] + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff;                     = [] + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff;                     = [];                }                 (!([])) (49);                 (!((0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff + []) < [])) (50);                 = (.(, ));                 = (0) & ;                [] = 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff + [];                 = ;                [] = 0;            }        }    }         ( ,  ,  )  {        ([.], ());        [][] = ;         (, , [][]);    }         ( )    () {         = ;         [];    }         ( ,  )  {        ([.], ());        ( != (0), ());        ([] != , ());          = !( == 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee);         (!()) {             = ;        }         ;          = !(0x12 == ((.)));         () {            ( ,   ) = .(); // staticcall            ();             (!()) {                (0x12 == 0, ());                [] = ;                 (, []);            }              = .;             (0x20 <= .) {                 = 0x20;            }             ((( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65);             =  + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));            ((( + ) - ) >= 0x20);            (. == ((.)));        }  {             = ;        }        (!(), ());        [] = ;         (, []);    }         ( )  {        ([.], ());         = ;         ();    }         ( ,  )  {        ([.], ());        ( != (0), ());        ([] != , ());        [] = ;         (, []);    }         ( ,  )  {        ([.], ());        ( != (0), ());        ( != (), ());        ( != 0x0, ());        ( ,   ) = .{ :  }(""); // call         (. == 0) {            (, ());        }  {             (!(. <= 0xffffffffffffffff)) (65);             ;             ((( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65);             =  + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));            (, ());        }         (, );    }         ()    ( ) {         ;         ((( + 0x40) > 0xffffffffffffffff) | (( + 0x40) < )) (65);         =  + 0x40;         .(0x20, .);    }         ( ,  ,  ,  ,  ,   )  {        (((0x04 + ) + 0x1f) < ..);        (((0x04 + ) +  + 0x20) <= ..);        ([.], ());        ( != 0x02, ());         = 0x02;        (!(()), ());         (. > 0xffffffffffffffff) (65);         ;         ((( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65);         =  + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));        (!(((0x04 + ) + 0x20) +  > ..));        ([], ());          = !([]);         ([]) {        }  {             = !([]);        }        (!(), ());        ( != , ());          = ;         ([]) {             = [];        }         ;         ( != (0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee)) {            ( ,   ) = .(.((0x70a08231), ())); // staticcall balanceOf            ();              = .;             () {                  = .;                 (0x20 <= .) {                     = 0x20;                }                 ((( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65);                 =  + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                ((( + ) - ) >= 0x20);            }  {                 = 0;            }             = ;        }  {             = ().;        }         ;         ( != (0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee)) {            ( ,   ) = .(.((0x70a08231), ())); // staticcall balanceOf            ();              = .;             () {                  = .;                 (0x20 <= .) {                     = 0x20;                }                 ((( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65);                 =  + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                ((( + ) - ) >= 0x20);            }  {                 = 0;            }             = ;        }  {             = ().;        }          = 0;         ( != (0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee)) {              = ;             = 0x095ea7b3000000000000000000000000;            ( ,   ) = .(.((0x095ea7b3), , )); // call approve             (!(( == 0x01) & )) {                ((. | !..) < , ());            }  {            }        }  {             = ;        }        ( ,   ) = .{ :  }(""); // call          = 0x60;         ((.) != 0x0) {             (. > 0xffffffffffffffff) (65);             ((( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65);             =  + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));             = ;        }        (, ());         ( != (0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee)) {             = ;             = 0x095ea7b3000000000000000000000000;            ( ,   ) = .(.((0x095ea7b3), , 0)); // call approve              = (0);              = ;             (!(( == 0x01) & )) {                ((. | !..) < , ());            }  {                 = ;                 = ;            }        }         ;         ( != (0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee)) {            ( ,   ) = .(.((0x70a08231), ())); // staticcall balanceOf            ();              = .;             () {                  = .;                 (0x20 <= .) {                     = 0x20;                }                 ((( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65);                 =  + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                ((( + ) - ) >= 0x20);            }  {                 = 0;            }             = ;        }  {             = ().;        }         ;         ( != (0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee)) {            ( ,   ) = .(.((0x70a08231), ())); // staticcall balanceOf            ();              = .;             () {                  = .;                 (0x20 <= .) {                     = 0x20;                }                 ((( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65);                 =  + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                ((( + ) - ) >= 0x20);            }  {                 = 0;            }             = ;        }  {             = ().;        }        (( - ) <= , ());        (( - ) >= , ());         ;         (( == (0xb0b84d294e0c75a6abe60171b70edeb2efd14a1b)) && ((0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee) == )) {            ( ,   ) = (0x1adb950d8bb3da4be104211d5ab038628e477fe6).( - ); // staticcall            ();              = .;             () {                  = .;                 (0x20 <= .) {                     = 0x20;                }                 ((( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65);                 =  + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                ((( + ) - ) >= 0x20);            }  {                 = 0;            }             = ;        }  {              = (0);             (0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee != ) {                 = ;            }             ;             (((0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee) == ) && ((0xb0b84d294e0c75a6abe60171b70edeb2efd14a1b) == )) {                ( ,   ) = (0x1adb950d8bb3da4be104211d5ab038628e477fe6).( - ); // staticcall                ();                  = .;                 () {                      = .;                     (0x20 <= .) {                         = 0x20;                    }                     ((( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65);                     =  + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                    ((( + ) - ) >= 0x20);                }  {                     = 0;                }                 = ;            }  {                 =  - ;            }             = ;        }          =  - ( - );         ( -  <= ) {        }  {             = ( - ) - ;        }          = 0;          = (0);          = (0);          = 0;         ( != 0x0) {            (( - ) * [][] >= ( * 0x0f4240), ());            ([][] >= , ());        }  {             =  == 0x0;             = ;             = ;             = ;        }         (, , ,  - ,  - );         ( != 0x0) {            ((() - () * .) <= , ());        }         = 0x01;    }         ( ,  )  {        ([.], ());        [] =  | (0xffffffffffffffffffffffff0000000000000000000000000000000000000000 & []);         (, );    }         ( ,  )    () {         = ;         = ;         !(!(([][])));    }         ( ,  )    () {         = ;         (!( < [])) (50);         = (.(, ));         ( >> 0);    }         ()  {        ([.], ());        (!(()), ());         = ( & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00)) | 0x01;         (.);    }         ( )  {        ([.], ());         = ;         ();    }         ( ,  ,  )  {        ([.], ());        ( <= 0x0f4240, ());        [][] = ;         (, , [][]);    }         ( ,  ,  )  {        ([.], ());        ( != (0), ());        ( != (), ());        ( != 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee, ());        ( != 0x0, ());          = ;         = 0xa9059cbb000000000000000000000000;        ( ,   ) = .(.((0xa9059cbb), , )); // call transfer          = .[0] >> 0xe0;          = .[0] >> 0xe0;         (!(( == 0x01) & )) {            ((. | !..) < , ());        }  {             = ;             = ;        }         (, , );    }         ()    () {         !(!(()));    }         ()    () {        (() == 0xa797e1e6739ac463a25d173ddd0eee32723efde, ());         = ;         ;    }         ( ,   )   {        (((0x04 + ) + 0x1f) < ..);         (. > 0xffffffffffffffff) (65);         ;         ((( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65);         =  + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));        (((0x04 + ) + 0x20) +  <= ..);          = .[0] >> 0xe0;          = !( == 0x0a797e1e6739ac463a25d173ddd0eee32723efde);         ((0xa797e1e6739ac463a25d173ddd0eee32723efde) != ()) {        }  {             = 0x0a797e1e6739ac463a25d173ddd0eee32723efde;             = (0xa797e1e6739ac463a25d173ddd0eee32723efde) == ();        }        (!(), ());        ([.], ());        ( ,   ) = .(); // staticcall          = .[0] >> 0xe0;          = .;         () {              = .;             (0x20 <= .) {                 = 0x20;            }             ((( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65);             =  + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));            ((( + ) - ) >= 0x20);        }  {             = ;             = 0;        }        (, ());         = ;        ( == , ());        (.. != 0x0, ());         = ;         ();         (. != 0x0) {            ( ,   ) = .(); // delegatecall             (. == 0) {                 (!()) {                    (!);                     ();                }                (!( == 0x0 && .. == 0x0), ());            }  {                 (!(. <= 0xffffffffffffffff)) (65);                 ((( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65);                 =  + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                 (!()) {                    (!);                     ();                }                  = .. == 0x0;                 ( != 0x0) {                     = !;                }                (!(), ());            }        }        (!(.), ());    }         ()  {        ([.], ());        ((), ());         = (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00) & ;         (.);    }         ( ,  )  {        ( == ., ());        (, );    }         ( ,  )  {         = ;         = ;         = .;        (([][.]), ());         = ;         = ;          = 0;         (!(([][]) != 0x0)) {             = ;             = ;            [][] = 0x01 | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & [][]);             (, , .);             = 0x01;        }         ( != 0x0) {             = ;             = ;              = 0;             (!(0 == (!([])))) {                 (!( < 0x010000000000000000)) (65);                 =  + 0x01;                 (!(( < ))) (50);                 = (0 & ) | ( << 0);                 = ;                [] = ;                 = 0x01;            }        }    }         ( )    () {         = ;         ;    }         ( ,  ,  ,  ,  )  {          = !(( >> 0x40));         (()) {             = !(());        }          = ().. == 0x0;         (0x01 != ()) {             = 0x01 == (());        }          = .[0] >> 0xe0;         () {             = () ? 1 : 0;        }        (!(! && !), ());         = 0x01 | ( & (0xffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000));          = .[0] >> 0xe0;         (!(( >> 0x40))) {             = 0x010000000000000001 | (0xffffffffffffffffffffffffffffffffffffffffffffff000000000000000000 & );        }  {             = () ? 1 : 0;        }          = !();         ( == 0) {             = !();        }          = !();         () {             = ;        }          = !();         () {             = ;        }        (!(! &&  == (0) || ), ());        (( >> 0x40), ());        (( >> 0x40), ());        (( >> 0x40), ());         =  & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00);        (( >> 0x40), ());        (( >> 0x40), ());         = 0x01;        (( >> 0x40), ());         ([]) {              = .[0] >> 0xe0;             = ;             ([]) {                  = .[0] >> 0xe0;                 = ;                 ([]) {                      = .[0] >> 0xe0;                     = ;                     ([]) {                          = .[0] >> 0xe0;                         = ;                    }  {                        [] = ;                         = ;                         (, , .);                          = .[0] >> 0xe0;                         = ;                         (!(0 == (!([])))) {                             (!(. < 0x010000000000000000)) (65);                            . = . + 0x01;                             (!(. < .)) (50);                            [.] = (0 & [.]) | ( << 0);                            [] = .;                        }                    }                }  {                    [] = ;                     = ;                     (, , .);                      = .[0] >> 0xe0;                     = ;                     (!(0 == (!([])))) {                         (!(. < 0x010000000000000000)) (65);                        . = . + 0x01;                         (!(. < .)) (50);                        [.] = (0 & [.]) | ( << 0);                        [] = .;                    }                     ([]) {                          = .[0] >> 0xe0;                         = ;                    }  {                        [] = ;                         = ;                         (, , .);                          = .[0] >> 0xe0;                         = ;                         (!(0 == (!([])))) {                             (!(. < 0x010000000000000000)) (65);                            . = . + 0x01;                             (!(. < .)) (50);                            [.] = (0 & [.]) | ( << 0);                            [] = .;                        }                    }                }            }  {                [] = ;                 = ;                 (, , .);                  = .[0] >> 0xe0;                 = ;                 (!(0 == (!([])))) {                     (!(. < 0x010000000000000000)) (65);                    . = . + 0x01;                     (!(. < .)) (50);                    [.] = (0 & [.]) | ( << 0);                    [] = .;                }                 ([]) {                      = .[0] >> 0xe0;                     = ;                     ([]) {                          = .[0] >> 0xe0;                         = ;                    }  {                        [] = ;                         = ;                         (, , .);                          = .[0] >> 0xe0;                         = ;                         (!(0 == (!([])))) {                             (!(. < 0x010000000000000000)) (65);                            . = . + 0x01;                             (!(. < .)) (50);                            [.] = (0 & [.]) | ( << 0);                            [] = .;                        }                    }                }  {                    [] = ;                     = ;                     (, , .);                      = .[0] >> 0xe0;                     = ;                     (!(0 == (!([])))) {                         (!(. < 0x010000000000000000)) (65);                        . = . + 0x01;                         (!(. < .)) (50);                        [.] = (0 & [.]) | ( << 0);                        [] = .;                    }                     ([]) {                          = .[0] >> 0xe0;                         = ;                    }  {                        [] = ;                         = ;                         (, , .);                          = .[0] >> 0xe0;                         = ;                         (!(0 == (!([])))) {                             (!(. < 0x010000000000000000)) (65);                            . = . + 0x01;                             (!(. < .)) (50);                            [.] = (0 & [.]) | ( << 0);                            [] = .;                        }                    }                }            }        }  {            [] = ;             (0, , .);              = .[0] >> 0xe0;             = ;             (!(0 == (!([])))) {                 (!(. < 0x010000000000000000)) (65);                . = . + 0x01;                 (!(. < .)) (50);                [.] = (0 & [.]) | ( << 0);                [] = .;            }             ([]) {                  = .[0] >> 0xe0;                 = ;                 ([]) {                      = .[0] >> 0xe0;                     = ;                     ([]) {                          = .[0] >> 0xe0;                         = ;                    }  {                        [] = ;                         = ;                         (, , .);                          = .[0] >> 0xe0;                         = ;                         (!(0 == (!([])))) {                             (!(. < 0x010000000000000000)) (65);                            . = . + 0x01;                             (!(. < .)) (50);                            [.] = (0 & [.]) | ( << 0);                            [] = .;                        }                    }                }  {                    [] = ;                     = ;                     (, , .);                      = .[0] >> 0xe0;                     = ;                     (!(0 == (!([])))) {                         (!(. < 0x010000000000000000)) (65);                        . = . + 0x01;                         (!(. < .)) (50);                        [.] = (0 & [.]) | ( << 0);                        [] = .;                    }                     ([]) {                          = .[0] >> 0xe0;                         = ;                    }  {                        [] = ;                         = ;                         (, , .);                          = .[0] >> 0xe0;                         = ;                         (!(0 == (!([])))) {                             (!(. < 0x010000000000000000)) (65);                            . = . + 0x01;                             (!(. < .)) (50);                            [.] = (0 & [.]) | ( << 0);                            [] = .;                        }                    }                }            }  {                [] = ;                 = ;                 (, , .);                  = .[0] >> 0xe0;                 = ;                 (!(0 == (!([])))) {                     (!(. < 0x010000000000000000)) (65);                    . = . + 0x01;                     (!(. < .)) (50);                    [.] = (0 & [.]) | ( << 0);                    [] = .;                }                 ([]) {                      = .[0] >> 0xe0;                     = ;                     ([]) {                          = .[0] >> 0xe0;                         = ;                    }  {                        [] = ;                         = ;                         (, , .);                          = .[0] >> 0xe0;                         = ;                         (!(0 == (!([])))) {                             (!(. < 0x010000000000000000)) (65);                            . = . + 0x01;                             (!(. < .)) (50);                            [.] = (0 & [.]) | ( << 0);                            [] = .;                        }                    }                }  {                    [] = ;                     = ;                     (, , .);                      = .[0] >> 0xe0;                     = ;                     (!(0 == (!([])))) {                         (!(. < 0x010000000000000000)) (65);                        . = . + 0x01;                         (!(. < .)) (50);                        [.] = (0 & [.]) | ( << 0);                        [] = .;                    }                     ([]) {                          = .[0] >> 0xe0;                         = ;                    }  {                        [] = ;                         = ;                         (, , .);                          = .[0] >> 0xe0;                         = ;                         (!(0 == (!([])))) {                             (!(. < 0x010000000000000000)) (65);                            . = . + 0x01;                             (!(. < .)) (50);                            [.] = (0 & [.]) | ( << 0);                            [] = .;                        }                    }                }            }        }         = ;         ();         =  & (0xffffffffffffffffffffffffffffffffffffffffffffff00ffffffffffffffff);         (0x01);    }         ( ,   )  {        (((0x04 + ) + 0x1f) < ..);        (((0x04 + ) +  + 0x20) <= ..);        (. == , ());        (, ());         = ;        (((0x04 + ) + 0x20) +  - ((0x04 + ) + 0x20) >= 0x40);        (( + 0x20) == (( + 0x20)));        ((( + 0x20) + 0x20) <= 0xffffffffffffffff);        ((((0x04 + ) + 0x20) + (( + 0x20) + 0x20) + 0x1f) < (((0x04 + ) + 0x20) + ));         (!(( + 0x20) + (( + 0x20) + 0x20) <= 0xffffffffffffffff)) (65);         ;         ((( + ((((( + 0x20) + (( + 0x20) + 0x20) << 0x05) + 0x20) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + ((((( + 0x20) + (( + 0x20) + 0x20) << 0x05) + 0x20) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65);         =  + ((((( + 0x20) + (( + 0x20) + 0x20) << 0x05) + 0x20) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));        ((((0x04 + ) + 0x20) + (( + 0x20) + 0x20) + (( + 0x20) + (( + 0x20) + 0x20) << 0x05) + 0x20) <= (((0x04 + ) + 0x20) + ));         ((((0x04 + ) + 0x20) + (( + 0x20) + 0x20) + 0x20) < (((0x04 + ) + 0x20) + (( + 0x20) + 0x20) + (( + 0x20) + (( + 0x20) + 0x20) << 0x05) + 0x20)) {            ((( + 0x20) + (( + 0x20) + 0x20) + 0x20) <= 0xffffffffffffffff);            ((0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 + (((0x04 + ) + 0x20) +  - (((0x04 + ) + 0x20) + (( + 0x20) + 0x20) + (( + 0x20) + (( + 0x20) + 0x20) + 0x20)))) >= 0xc0);             ((( + 0xc0) > 0xffffffffffffffff) | (( + 0xc0) < )) (65);             =  + 0xc0;            ((( + 0x20) + (( + 0x20) + 0x20) + (( + 0x20) + (( + 0x20) + 0x20) + 0x20) + 0x20) == ((( + 0x20) + (( + 0x20) + 0x20) + (( + 0x20) + (( + 0x20) + 0x20) + 0x20) + 0x20)));            ((( + 0x20) + (( + 0x20) + 0x20) + (( + 0x20) + (( + 0x20) + 0x20) + 0x20) + 0x40) == ((( + 0x20) + (( + 0x20) + 0x20) + (( + 0x20) + (( + 0x20) + 0x20) + 0x20) + 0x40)));            ((( + 0x20) + (( + 0x20) + 0x20) + (( + 0x20) + (( + 0x20) + 0x20) + 0x20) + 0x60) == ((( + 0x20) + (( + 0x20) + 0x20) + (( + 0x20) + (( + 0x20) + 0x20) + 0x20) + 0x60)));            ((( + 0x20) + (( + 0x20) + 0x20) + (( + 0x20) + (( + 0x20) + 0x20) + 0x20) + 0xc0) <= 0xffffffffffffffff);            (((((0x04 + ) + 0x20) + (( + 0x20) + 0x20) + (( + 0x20) + (( + 0x20) + 0x20) + 0x20) + (( + 0x20) + (( + 0x20) + 0x20) + (( + 0x20) + (( + 0x20) + 0x20) + 0x20) + 0xc0) + 0x20) + 0x1f) < (((0x04 + ) + 0x20) + ));             ((( + 0x20) + (( + 0x20) + 0x20) + (( + 0x20) + (( + 0x20) + 0x20) + 0x20) + (( + 0x20) + (( + 0x20) + 0x20) + (( + 0x20) + (( + 0x20) + 0x20) + 0x20) + 0xc0) + 0x20) > 0xffffffffffffffff) (65);             ((( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + (( + 0x20) + (( + 0x20) + 0x20) + (( + 0x20) + (( + 0x20) + 0x20) + 0x20) + (( + 0x20) + (( + 0x20) + 0x20) + (( + 0x20) + (( + 0x20) + 0x20) + 0x20) + 0xc0) + 0x20)))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + (( + 0x20) + (( + 0x20) + 0x20) + (( + 0x20) + (( + 0x20) + 0x20) + 0x20) + (( + 0x20) + (( + 0x20) + 0x20) + (( + 0x20) + (( + 0x20) + 0x20) + 0x20) + 0xc0) + 0x20)))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65);             =  + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + (( + 0x20) + (( + 0x20) + 0x20) + (( + 0x20) + (( + 0x20) + 0x20) + 0x20) + (( + 0x20) + (( + 0x20) + 0x20) + (( + 0x20) + (( + 0x20) + 0x20) + 0x20) + 0xc0) + 0x20)))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));        }  {              = 0;             ;             () {                 (!( < .)) {                    ;                }                 (![()]) {                     ();                    ;                }                  = !([()]);                 ([()]) {                }  {                     = !([()]);                }                 () {                     ();                    ;                }                 (() == (())) {                     ();                    ;                }                  = ();                 ([]) {                     = [];                }                 ;                 (() != 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee) {                    ( ,   ) = .(.((0x70a08231), ())); // staticcall balanceOf                    ();                      = .;                     () {                          = .;                         (0x20 <= .) {                             = 0x20;                        }                         ((( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65);                         =  + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                        ((( + ) - ) >= 0x20);                    }  {                         = 0;                    }                     = ;                }  {                     = ().;                }                 (() != 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee) {                    ().(()); // staticcall                }                  = 0;                 ((() == 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee) == 0) {                     = ;                     = 0x095ea7b3000000000000000000000000;                    ( ,   ) = .(.((0x095ea7b3), , )); // call approve                     (!(( == 0x01) & )) {                        ((. | (!(()..))) < , ());                    }  {                    }                }  {                     = ;                }                ( ,   ) = ().{ :  }(, , , ); // call                  = 0x60;                 ((.) != 0x0) {                     (. > 0xffffffffffffffff) (65);                     ((( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65);                     =  + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                     = ;                }                 (!) {                     ();                    ;                }                 (!(() == 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee)) {                     = ;                     = 0x095ea7b3000000000000000000000000;                    ( ,   ) = .(.((0x095ea7b3), , 0)); // call approve                      = (0);                      = ;                     (!(( == 0x01) & )) {                        ((. | (!(()..))) < , ());                    }  {                         = ();                         = ;                    }                }                 ;                 (() != 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee) {                    ( ,   ) = .(.((0x70a08231), ())); // staticcall balanceOf                    ();                      = .;                     () {                          = .;                         (0x20 <= .) {                             = 0x20;                        }                         ((( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65);                         =  + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                        ((( + ) - ) >= 0x20);                    }  {                         = 0;                    }                     = ;                }  {                     = ().;                }                 (() != 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee) {                    ().(()); // staticcall                }                 (( - ) > ) {                     ();                    ;                }                 ((). - (). < ) {                     ();                    ;                }                  = 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee == (());                 (() != 0xb0b84d294e0c75a6abe60171b70edeb2efd14a1b) {                     = (()) == 0xb0b84d294e0c75a6abe60171b70edeb2efd14a1b;                }                 ;                 () {                    ( ,   ) = (0x1adb950d8bb3da4be104211d5ab038628e477fe6).((). - ().); // staticcall                    ();                      = .;                     () {                          = .;                         (0x20 <= .) {                             = 0x20;                        }                         ((( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65);                         =  + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                        ((( + ) - ) >= 0x20);                    }  {                         = 0;                    }                     = ;                }  {                      = (0);                      = 0xb0b84d294e0c75a6abe60171b70edeb2efd14a1b == (());                     (0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee != ()) {                         = ();                         = 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee == (());                    }                     ;                     () {                        ( ,   ) = (0x1adb950d8bb3da4be104211d5ab038628e477fe6).((). - ().); // staticcall                        ();                          = .;                         () {                              = .;                             (0x20 <= .) {                                 = 0x20;                            }                             ((( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65);                             =  + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                            ((( + ) - ) >= 0x20);                        }  {                             = 0;                        }                         = ;                    }  {                         = (). - ().;                    }                     = ;                }                  =  - ( - );                 ( -  <= ) {                }  {                     = ( - ) - ;                }                 ( != 0x0) {                    ;                }                 ((), , (), (), , (). - ().);                 =  + 0x01;            }             = ;             = 0x095ea7b3000000000000000000000000;            ( ,   ) = ( + 0x20).(, ); // call             (!(( == 0x01) & )) {                (((. | !( + 0x20)..) < ), ());            }  {            }        }    }         ( )    () {        ( == ( & 0xffffffff00000000000000000000000000000000000000000000000000000000));          = .[0] >> 0xe0;         ;         (( & 0xffffffff00000000000000000000000000000000000000000000000000000000) != 0x5a05180f00000000000000000000000000000000000000000000000000000000) {              = .[0] >> 0xe0;              = 0x1ffc9a700000000000000000000000000000000000000000000000000000000 == ( & 0xffffffff00000000000000000000000000000000000000000000000000000000);             ( & (0xffffffff00000000000000000000000000000000000000000000000000000000) == 0x7965db0b00000000000000000000000000000000000000000000000000000000) {                 =  & (0xffffffff00000000000000000000000000000000000000000000000000000000);                 = ( & 0xffffffff00000000000000000000000000000000000000000000000000000000) == 0x7965db0b00000000000000000000000000000000000000000000000000000000;            }             = ;        }  {             =  & (0xffffffff00000000000000000000000000000000000000000000000000000000);             = ( & 0xffffffff00000000000000000000000000000000000000000000000000000000) == 0x5a05180f00000000000000000000000000000000000000000000000000000000;        }         ;    }         ( ,  )  {        // Decompilation incomplete: helper effect provenance is conservative.         = ;         = ;          = 0;         (([][])) {             = ;             = ;            [][] = (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00) & [][];             (, , .);             = 0x01;        }         ( != 0x0) {             = ;             = ;             (0 != !(!([]))) {                  = 0;                  = 0;                  = 0;                 (([] + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) != ([] + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff)) {                     (!(([] + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < [])) (50);                     = (.(, ));                     (!(([] + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < [])) (50);                     = (0 & ) | (( >> 0) << 0);                     =  >> 0;                    [( >> 0)] = [];                }  {                     = [] + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff;                     = [] + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff;                     = [];                }                 (!([])) (49);                 (!((0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff + []) < [])) (50);                 = (.(, ));                 = (0) & ;                [] = 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff + [];                 = ;                [] = 0;            }        }    }         ( )  {         {              := (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)    // 0x13a1a562 => onMoolahFlashLoan(uint256,bytes)    // 0x1459457a => initialize(address,address,address,address,address)    // 0x1b2df850 => MANAGER()    // 0x248a9ca3 => getRoleAdmin(bytes32)    // 0x2f12339d => unresolved_2f12339d(address)    // 0x2f2ff15d => grantRole(bytes32,address)    // 0x36568abe => renounceRole(bytes32,address)    // 0x3f4ba83a => unpause()    // 0x486277f6 => BOT()    // 0x4f1ef286 => upgradeToAndCall(address,bytes)    // 0x4fcd1775 => unresolved_4fcd1775(address,address)    // 0x52d1902d => proxiableUUID()    // 0x5c975abb => paused()    // 0x69328dec => withdraw(address,uint256,address)    // 0x6d3ab5a8 => Unknown_6d3ab5a8(address,address,uint256)    // 0x7353847a => STAKE_MANAGER()    // 0x753d7563 => tokenWhitelist(address)    // 0x77fc40f2 => SLIS_BNB()    // 0x7b687d87 => unresolved_7b687d87(address,address)    // 0x7bac29c7 => setMaxGasPerTx(uint256)    // 0x8456cb59 => pause()    // 0x9010d07c => Unknown_9010d07c(uint256,uint256)    // 0x91d14854 => hasRole(bytes32,address)    // 0x9ed6e23a => Unknown_9ed6e23a(address,address)    // 0xa0cf0aea => NATIVE()    // 0xa217fddf => DEFAULT_ADMIN_ROLE()    // 0xa5d4096b => swap(address,address,address,uint256,uint256,bytes)    // 0xad3cb1cc => UPGRADE_INTERFACE_VERSION()    // 0xb8ca8dd8 => withdrawNative(uint256,address)    // 0xbf75ca41 => setPairWhitelist(address,bool)    // 0xbfab17e0 => Unknown_bfab17e0(uint256)    // 0xc9bcc97e => setTokenWhitelist(address,bool)    // 0xca15c873 => getRoleMemberCount(bytes32)    // 0xd06ba892 => pairWhitelist(address)    // 0xd1d78d74 => unresolved_d1d78d74()    // 0xd36485ac => Unknown_d36485ac(address,address,uint256)    // 0xd547741f => revokeRole(bytes32,address)    // 0xd9dc8694 => PAUSER()    // 0xda632a27 => setFlashloanProvider(address)    // 0xe5789d03 => maxGasPerTx()    // 0xe667d060 => Unknown_e667d060(address,uint256,bytes)    // 0xfdaff681 => flashloanProvider()}