BNB Chain

0xdfb29e72835f5382301f4f7ed7eac6c13c49d6bb

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

Decompilation outputBNB Chain · 0xdfb29e72…3c49d6bb14.0 KB24.9 s
Share
1,814 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: generated symbolic output exceeded safe postprocessing limits for 1 of 69 entry points; ABI and selector evidence were preserved but those Solidity bodies were omitted: 90825c28// SPDX-License-Identifier: MIT  >=0.8.0;  {     ( )    ( );     ()    ( );}  {     ()    ( ,  ,  );}  {        = 57005;        = 10000;        = 18;        = 21000000000000000000000000;        = 21000000000000000000000000;        = 100;        = 5;        = 5000000000000000000000000;        = 5000000000000000000000000;        = 11000000000000000000000000;        = 200;        ( => )  ; // STORAGE[0x0]    ( => ( => ))  ; // STORAGE[0x1]      ; // STORAGE[0x2]     ; // STORAGE[0x3]     ; // STORAGE[0x4]      ; // STORAGE[0x5]     ; // STORAGE[0x6]      ; // STORAGE[0x7]    ( => )  ; // STORAGE[0x8]      ; // STORAGE[0x9]      ; // STORAGE[0xa]      ; // STORAGE[0xb]      ; // STORAGE[0xc]      ; // STORAGE[0xd]      ; // STORAGE[0xe]      ; // STORAGE[0xf]    ( => )  ; // STORAGE[0x10]    ( => )  ; // STORAGE[0x11]     ; // STORAGE[0x12]      ; // STORAGE[0x13]      ; // STORAGE[0x14]     ; // STORAGE[0x15] bytes 0 to 0      ; // STORAGE[0x15] bytes 1 to 20      ; // STORAGE[0x16]      ; // STORAGE[0x17]     ; // STORAGE[0x18]      ; // STORAGE[0x19]     ; // STORAGE[0x1a]      ; // STORAGE[0x1b]     ; // STORAGE[0x1c] // DESOLEX_RAW_STORAGE: whole slot: uint256 [ArithmeticUse] vs uint32 [ArithmeticUse] (ambiguous)     ; // STORAGE[0x1d]         ();     (, , );     ( ,  , , );     ();     ();     (, , );     ();     ( ,  , );     ();     ();     ();     ();     ( , );     ( );     (, , );     ();     ( ,  , );     ();     ();     ( ,  );     ();     ( ,  );     ();     ( , );     ();     (, , );     ();     ();     ( , );     ();     ();     ();     ();     ();     ();     ();     ();     ();     ();     ( ,  );     ( )   {         ("memory-safe") {            (0x00, (224, 0x4e487b71))            (0x04, )            (0x00, 0x24)        }    }         () {        (. == , ());        ;    }    ()   {        // Synthetic compatibility routes preserve original selectors for unresolved names.         ((.. >= 4) && (. == 0x17c0b0d8)) {            // Route to Unknown_17c0b0d8() after replacing only msg.sig.            ((0x2ae7c5b0));            ;        }         ((.. >= 4) && (. == 0x1bbb55a5)) {            // Route to Unknown_1bbb55a5() after replacing only msg.sig.            ((0x16a6f33e));            ;        }         ((.. >= 4) && (. == 0x26273a0b)) {            // Route to Unknown_26273a0b(address,address,uint32) after replacing only msg.sig.            ((0x049b2d34));            ;        }         ((.. >= 4) && (. == 0x26e081bb)) {            // Route to Unknown_26e081bb() after replacing only msg.sig.            ((0xac68f5a0));            ;        }         ((.. >= 4) && (. == 0x4cad9d08)) {            // Route to Unknown_4cad9d08(address) after replacing only msg.sig.            ((0x189c8943));            ;        }         ((.. >= 4) && (. == 0x561b2cf3)) {            // Route to Unknown_561b2cf3() after replacing only msg.sig.            ((0xa55ffd14));            ;        }         ((.. >= 4) && (. == 0x643f8ead)) {            // Route to Unknown_643f8ead() after replacing only msg.sig.            ((0x0236ac4e));            ;        }         ((.. >= 4) && (. == 0x81c98402)) {            // Route to Unknown_81c98402() after replacing only msg.sig.            ((0xc03ac297));            ;        }         ((.. >= 4) && (. == 0x91d66d51)) {            // Route to Unknown_91d66d51(uint256) after replacing only msg.sig.            ((0xa6200014));            ;        }         ((.. >= 4) && (. == 0x93b0eacf)) {            // Route to Unknown_93b0eacf() after replacing only msg.sig.            ((0x2b0bee30));            ;        }         ((.. >= 4) && (. == 0x99eaf1ae)) {            // Route to Unknown_99eaf1ae() after replacing only msg.sig.            ((0xb2548c08));            ;        }         ((.. >= 4) && (. == 0x9fa0f39e)) {            // Route to Unknown_9fa0f39e() after replacing only msg.sig.            ((0x09edee7d));            ;        }         ((.. >= 4) && (. == 0xacc079e0)) {            // Route to Unknown_acc079e0(address) after replacing only msg.sig.            ((0x27ecf75f));            ;        }         ((.. >= 4) && (. == 0xadfbf235)) {            // Route to Unknown_adfbf235(address) after replacing only msg.sig.            ((0xd27fe2f6));            ;        }         ((.. >= 4) && (. == 0xc1fe84bf)) {            // Route to Unknown_c1fe84bf(address) after replacing only msg.sig.            ((0xdf220659));            ;        }         ((.. >= 4) && (. == 0xd46fab0d)) {            // Route to Unknown_d46fab0d(address,address,uint32) after replacing only msg.sig.            ((0xeebaf097));            ;        }         ((.. >= 4) && (. == 0xd70cadf2)) {            // Route to Unknown_d70cadf2() after replacing only msg.sig.            ((0x7e78acd9));            ;        }         ((.. >= 4) && (. == 0xdb0f38b8)) {            // Route to Unknown_db0f38b8() after replacing only msg.sig.            ((0xba8ea4ca));            ;        }         ((.. >= 4) && (. == 0xf313380c)) {            // Route to Unknown_f313380c(address) after replacing only msg.sig.            ((0x4afd01cc));            ;        }         ((.. >= 4) && (. == 0xfc1e53c4)) {            // Route to Unknown_fc1e53c4() after replacing only msg.sig.            ((0xd623e45c));            ;        }        ();    }             ()    ( ) {         ;    }         ( ,  )    () {        (. != (0), ((0)));        ( != (0), ((0)));        [.][] = ;         (., , );         ;    }         ()    () {         ();    }         ()   {        ();    }         ()   {        ();    }         ( ,  ,  )    () {        (, ., );        (, , );         ;    }         ( ,  ,  )   {        ( == ( & 0xffffffff));        (, , );    }         ()   {        ();    }         ( )    {         = ;         ();    }         ()   {        ( != (0), ());         ;         =  + 0x60;         = .[4:68];         (!(0 < .)) (50);         (!(0x01 < .)) (50);          = 0;          = (0x04 + ) + 0x40;          =  + 0x20;         () {             (!( < .)) {                ;            }             = 0x01 + ;             =  + 0x20;             = 0x20 + ;        }        ( ,   ) = .(0x20); // staticcall        ();         =  + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f));        (!((( + .) - ) < 0x40));        (!(. > 0xffffffffffffffff));        (( + .) > (( + .) + 0x1f));         ( > 0xffffffffffffffff) (65);         ((( + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & ((0x20 + ( << 0x05)) + 0x1f))) < ) | (( + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & ((0x20 + ( << 0x05)) + 0x1f))) > 0xffffffffffffffff)) (65);         =  + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & ((0x20 + ( << 0x05)) + 0x1f));        (!((( + .) + ( << 0x05) + 0x20) > ( + .)));          =  + 0x20;          = ( + .) + 0x20;         () {             (!( < (( + .) + ( << 0x05) + 0x20))) {                ;            }            ( == ());             =  + 0x20;             = 0x20 + ;        }        (!( > 0xffffffffffffffff));        ((( + ) + 0x1f) < ( + .));         (!( <= 0xffffffffffffffff)) (65);         ((( + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & ((0x20 + ( << 0x05)) + 0x1f))) < ) | (( + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & ((0x20 + ( << 0x05)) + 0x1f))) > 0xffffffffffffffff)) (65);         =  + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & ((0x20 + ( << 0x05)) + 0x1f));        (!((( + ) + ( << 0x05) + 0x20) > ( + .)));          = ( + ) + 0x20;          = ;          =  + 0x20;          = (( + ) + ( << 0x05)) + 0x20;          = 0;          =  + ;          =  + .;         () {             ( >= ) {                ;            }            ( == ( & 0xffffffffffffffffffffffffffffffffffffffff));             = 0x20 + ;             = ;             = 0x20 + ;             = ;             = ;             = ;             = ;             (!(0 < .)) (50);             (!(0x01 < .)) (50);        }    }         ()    () {         ;    }         ()    {         (, (0));         = (0);    }         ( )   {        (. == , ());        ( != (0), ());         (, );         = ;    }         ()    () {         ;    }         ( ,  )    {        [] = ;         (() && ((0xffffffffffffffffffffffffffffffffffffffff & ) == 0x0)) {             =  | (0xffffffffffffffffffffffff0000000000000000000000000000000000000000 & );        }         (, );    }         ( ,  )    {        [] = ;         (, []);    }         ()    () {        // Function body omitted: symbolic output exceeded safe complexity limits.         { (0, 0) }    }         ( )    {         = ;         ();    }         ()    () {         ;    }         ()    ( ) {         ;    }         ()    () {         ();    }         ()    () {         ( / 0x01000000000000000000000000000000000000000000);    }         ()   {        (. == , ());         (!(( / 0x010000000000000000000000000000000000000000) != 0x0)) {            ( != (0), ());             ;             =  + 0x60;             (!(0 < .)) (50);             (!(0x01 < .)) (50);              = 0;              = ;              = (0x04 + ) + 0x40;              =  + 0x20;              = 0;              = 0x04 + ;              = ;             () {                 ( >= ) {                    ;                }                 = ;                 = ;                 = ;                 = ;                 = ;                 = ;                 = ;            }            ( ,   ) = .(0x20); // staticcall            ();             =  + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f));            (( + .) -  >= 0x40);            (!( > 0xffffffffffffffff));            (( + .) > (( + ) + 0x1f));             (!( <= 0xffffffffffffffff)) (65);             ((( + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & ((0x20 + ( << 0x05)) + 0x1f))) < ) | (( + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & ((0x20 + ( << 0x05)) + 0x1f))) > 0xffffffffffffffff)) (65);             =  + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & ((0x20 + ( << 0x05)) + 0x1f));            (!((( + ) + ( << 0x05) + 0x20) > ( + .)));              =  + 0x20;              = ( + ) + 0x20;             () {                 (!( < (( + ) + ( << 0x05) + 0x20))) {                    ;                }                ( == ());                 =  + 0x20;                 = 0x20 + ;                 (!(0 < .)) (50);                 (!(0x01 < .)) (50);                  = (( - )) < 0;                 (( - ) < 0) {                     = !(!(( -  % ((( / 0x010000000000000000000000000000000000000000))))));                }            }            (!( > 0xffffffffffffffff));            ( + 0x1f < );             (!( <= 0xffffffffffffffff)) (65);             ((( + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & ( + 0x1f))) < ) | (( + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & ( + 0x1f))) > 0xffffffffffffffff)) (65);             =  + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & ( + 0x1f));            (!((( + ( << 0x05)) + 0x20) > ));              =  + 0x20;              = ;              =  + 0x20;              = ( + ( << 0x05)) + 0x20;              = 0;              = ;              = ;             () {                 ( >= ) {                    ;                }                ( == ( & 0xffffffffffffffffffffffffffffffffffffffff));                 = ;                 = ;                 = ;                 = ;                 = ;                 = ;                 = ;            }        }    }         ( ,  )    () {        (. != (0), ((0)));        ( != (0), ((0)));        (, , .);         ;    }         ( )    {         = ;         ();    }         ( )   {        (. == , ());        ( != (0), ());         (, );         = ;    }         ( ,  )    {        [] = ;         (, []);    }         ( )    {        ( != (0), ());         = ;         ();    }         ( )    {        ( != (0), ());         = ;         ();    }         ( ,  ,  )   {        ( == ( & 0xffffffff));        (, , );    }         ()    () {         ( / 0x010000000000000000000000000000000000000000);    }         ()    () {         ();    }         ( )    {        ( != (0), ());         (, );         = ;    }         ( )    {         = ;         ();    }         ()    () {         !(!(( / 0x010000000000000000000000000000000000000000)));    }         ()    () {         ();    }         ()  {        // Decompilation incomplete: helper effect provenance is conservative.        ().();          = ;         (( / 0x010000000000000000000000000000000000000000) != 0x0) {            ( ,   ) = ( / 0x01).(); // staticcall            ();             ;             =  + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));            (( + .) -  >= 0x20);        }  {            ( ,   ) = ( / 0x01).(); // staticcall            ();             =  + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));            (( + .) -  >= 0x20);             = ;        }          = !(!((. - (()))));         ((. - (()))) {             = !(!(()));        }          = ;         () {             = !(!((())));        }          = ;         () {              = (( << 0x70) & (0xffffffffffffffffffffffffffff0000000000000000000000000000) / ( & (0xffffffffffffffffffffffffffff)));             (!(( / 0x010000000000000000000000000000000000000000) != 0x0)) {                 = (( << 0x70) & (0xffffffffffffffffffffffffffff0000000000000000000000000000) / ( & (0xffffffffffffffffffffffffffff)));            }             = ((. - (())) * ) + ;        }         (0x0 != (())) {             (!((. - ) < (( / 0x01000000000000000000000000000000000000000000)))) {                  = (((( - ) / ((. - )) * 0x0de0b6b3a7640000) - ((( - ) / ((. - )) * 0x0de0b6b3a7640000) % 0x010000000000000000000000000000) / 0x010000000000000000000000000000) | (((( - ) / ((. - )) * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (( - ) / ((. - )) * 0x0de0b6b3a7640000) - (((( - ) / ((. - )) * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (( - ) / ((. - )) * 0x0de0b6b3a7640000)) - (((( - ) / ((. - )) * 0x0de0b6b3a7640000) % 0x010000000000000000000000000000) > (( - ) / ((. - )) * 0x0de0b6b3a7640000)) * 0x01000000000000000000000000000000000000)) * 0x01;                 (0x0 != (((( - ) / ((. - )) * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (( - ) / ((. - )) * 0x0de0b6b3a7640000) - (((( - ) / ((. - )) * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (( - ) / ((. - )) * 0x0de0b6b3a7640000)))) {                    (0x010000000000000000000000000000 > (((( - ) / ((. - )) * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - (( - ) / ((. - )) * 0x0de0b6b3a7640000) - (((( - ) / ((. - )) * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < (( - ) / ((. - )) * 0x0de0b6b3a7640000))));                }  {                    (0x10000000000000000000000000000 > 0x0);                     = (( - ) / ((. - )) * 0x0de0b6b3a7640000) / 0x010000000000000000000000000000;                }                 = ;                 = ;                 = (. & (0xffffffff)) | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff00000000 & );            }        }  {             = ;             = (. & (0xffffffff)) | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff00000000 & );        }    }         ( ,  ,  )   () {          = ( - ) / ((. - ));          =  & (0 - );          = ( / ) * 0x03;          = 0x02 - (( / ) * (0x02 ^ ));          = 0x02 ^ ;          = 0x02 - (( / ) * ( * ));          =  * ;          = 0x02 - (( / ) * ( * ));          =  * ;          = 0x02 - (( / ) * ( * ));          =  * ;          = 0x02 - (( / ) * ( * ));          =  * ;          = (( * ) - (( * ) % ) / ( & (0 - )) | ((( * ) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ( * ) - ((( * ) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ( * )) - ((( * ) % ) > ( * )) * (0x01 + ((0 - ( & (0 - ))) / ( & (0 - )))))) * ((0x02 - (( / ) * ( * ))) * ( * ));         (0 != ((( * ) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ( * ) - ((( * ) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ( * )))) {            ( > ((( * ) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ( * ) - ((( * ) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ( * ))));              =  & (0 - );              = ( / ) * 0x03;              = 0x02 - (( / ) * (0x02 ^ ));              = 0x02 ^ ;              = 0x02 - (( / ) * ( * ));              =  * ;              = 0x02 - (( / ) * ( * ));              =  * ;              = 0x02 - (( / ) * ( * ));              =  * ;              = 0x02 - (( / ) * ( * ));              =  * ;             ( * ) - (( * ) % ) / ( & (0 - )) | ((( * ) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ( * ) - ((( * ) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ( * )) - ((( * ) % ) > ( * )) * (0x01 + ((0 - ( & (0 - ))) / ( & (0 - ))))) * ((0x02 - (( / ) * ( * ))) * ( * ));        }  {            ( > 0x0);             ( * ) / ;        }    }         ( ,  ,  )  {        // Decompilation incomplete: helper effect provenance is conservative.        ( != (0), ((0)));        ( != (0), ((0)));          = !();         ( != (0)) {             = !();        }          = () ? 1 : 0;         (!()) {             = ([]) ? 1 : 0;        }          =  != 0x0;         ( == 0) {             = [];        }         () {             ( != (0)) {                (!([] < ));                [] = [] - ;                 ( != (0)) {                    [] =  + [];                     (, , );                }  {                     =  - ;                     (, , );                }            }  {                 =  + ;                 ( != (0)) {                    [] =  + [];                     (, , );                }  {                     =  - ;                     (, , );                }            }        }   ([]) {             ( != 0x0) {                ( ,  ,  ) = ().();                ( == ( & 0xffffffff));                 (!(0x0 == (0xffffffffffffffffffffffffffff & ) || ( & 0xffffffffffffffffffffffffffff) == 0x0)) {                    ( ,   ) = .(.((0x0902f1ac))); // staticcall getReserves                    ();                     ;                     =  + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                    ( -  >= 0x60);                    ( == ( & 0xffffffff));                      = .;                     (( / 0x010000000000000000000000000000000000000000) != 0x0) {                        ( ,   ) = ( / 0x01).(); // staticcall                        ();                        ( -  >= 0x20);                    }  {                        ( ,   ) = ( / 0x01).(); // staticcall                        ();                         =  + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                        ( -  >= 0x20);                         = .;                    }                      = !(!((. - )));                     ((. - )) {                         = ( & 0xffffffffffffffffffffffffffff) != 0x0;                    }                      = ;                     () {                         = ( & 0xffffffffffffffffffffffffffff) != 0x0;                    }                      = ;                     () {                          = (( << 0x70) & (0xffffffffffffffffffffffffffff0000000000000000000000000000)) / (. & (0xffffffffffffffffffffffffffff));                         (!(( / 0x010000000000000000000000000000000000000000) != 0x0)) {                             = ((. << 0x70) & (0xffffffffffffffffffffffffffff0000000000000000000000000000)) / ( & (0xffffffffffffffffffffffffffff));                        }                         = ((. - ) * ) + ;                    }                     (0x0 != (())) {                         (!((. - ) < (( / 0x01000000000000000000000000000000000000000000)))) {                              =  - ;                              = (. - );                              =  / ;                              =  / ;                              =  / ;                              = (0x010000000000000000000000000000) & (0 - 0x010000000000000000000000000000);                              = (0x010000000000000000000000000000 / ) * 0x03;                              = 0x02 - ((0x010000000000000000000000000000 / ) * (0x02 ^ ));                              = 0x02 ^ ;                              = 0x02 - ((0x010000000000000000000000000000 / ) * ( * ));                              =  * ;                              = 0x02 - ((0x010000000000000000000000000000 / ) * ( * ));                              =  * ;                              = 0x02 - ((0x010000000000000000000000000000 / ) * ( * ));                              =  * ;                              = 0x02 - ((0x010000000000000000000000000000 / ) * ( * ));                              =  * ;                              = (( * 0x0de0b6b3a7640000) - (( * 0x0de0b6b3a7640000) % 0x010000000000000000000000000000) / (0x010000000000000000000000000000 & (0 - 0x010000000000000000000000000000)) | ((( * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ( * 0x0de0b6b3a7640000) - ((( * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ( * 0x0de0b6b3a7640000)) - ((( * 0x0de0b6b3a7640000) % 0x010000000000000000000000000000) > ( * 0x0de0b6b3a7640000)) * (0x01 + ((0 - (0x010000000000000000000000000000 & (0 - 0x010000000000000000000000000000))) / (0x010000000000000000000000000000 & (0 - 0x010000000000000000000000000000)))))) * ((0x02 - ((0x010000000000000000000000000000 / ) * ( * ))) * ( * ));                             (0 != ((((( - ) / ((. - ))) * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ((( - ) / ((. - ))) * 0x0de0b6b3a7640000) - ((((( - ) / ((. - ))) * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ((( - ) / ((. - ))) * 0x0de0b6b3a7640000)))) {                                (0x010000000000000000000000000000 > ((((( - ) / ((. - ))) * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ((( - ) / ((. - ))) * 0x0de0b6b3a7640000) - ((((( - ) / ((. - ))) * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ((( - ) / ((. - ))) * 0x0de0b6b3a7640000))));                                  = (0x010000000000000000000000000000) & (0 - 0x010000000000000000000000000000);                                  = (0x010000000000000000000000000000 / ) * 0x03;                                  = 0x02 - ((0x010000000000000000000000000000 / ) * (0x02 ^ ));                                  = 0x02 ^ ;                                  = 0x02 - ((0x010000000000000000000000000000 / ) * ( * ));                                  =  * ;                                  = 0x02 - ((0x010000000000000000000000000000 / ) * ( * ));                                  =  * ;                                  = 0x02 - ((0x010000000000000000000000000000 / ) * ( * ));                                  =  * ;                                  = 0x02 - ((0x010000000000000000000000000000 / ) * ( * ));                                  =  * ;                            }  {                                (0x010000000000000000000000000000 > 0x0);                                 = (( - ) / ((. - )) * 0x0de0b6b3a7640000) / 0x010000000000000000000000000000;                            }                             = ;                             = ;                             = (. & (0xffffffff)) | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff00000000 & );                        }                    }  {                         = ;                         = (. & (0xffffffff)) | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff00000000 & );                    }                }            }              = () ? 1 : 0;             (!) {                 = !();            }             (!( != 0x0 || (0xffffffffffffffffffffffffffffffffffffffff & ).. == 0x0)) {                ( ,   ) = ( / 0x01).(); // staticcall                 (!) {                     () {                        ( ,   ) = ( / 0x01).(); // staticcall                         (!) {                             () {                                ( ,   ) = ( / 0x01).(); // staticcall                                 (!) {                                     ( && !(. < ([] * ((0x29fd * 0x0a) + 0x05) + []))) {                                         = ;                                         (.);                                    }                                }  {                                     =  + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f));                                    (( + .) -  >= 0x20);                                     ((0x01 != 0x0) && (!(. < ((0x29fd * ((. * 0x0a) + 0x05)) + [])))) {                                         = ;                                         (.);                                    }                                }                            }                        }  {                             =  + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f));                            (( + .) -  >= 0x20);                            ( ,   ) = ( / 0x01).(); // staticcall                             (!) {                                 ( && !(. < ((0x29fd * ((. * 0x0a) + 0x05)) + []))) {                                     = ;                                     (.);                                }                            }  {                                 =  + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f));                                (( + .) -  >= 0x20);                                 ((0x01 != 0x0) && (!(. < ((. * ((. * 0x0a) + 0x05)) + 0x29fd)))) {                                     = ;                                     (.);                                }                            }                        }                    }                }  {                     =  + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f));                    (( + .) -  >= 0x20);                     (0x0 != .) {                        ( ,   ) = ( / 0x01).(); // staticcall                         (!) {                             () {                                ( ,   ) = ( / 0x01).(); // staticcall                                 (!) {                                     ( && !(. < ((0x29fd * ((. * 0x0a) + 0x05)) + []))) {                                         = ;                                         (.);                                    }                                }  {                                     =  + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f));                                    (( + .) -  >= 0x20);                                     ((0x01 != 0x0) && (!(. < ((. * ((. * 0x0a) + 0x05)) + 0x29fd)))) {                                         = ;                                         (.);                                    }                                }                            }                        }  {                             =  + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f));                            (( + .) -  >= 0x20);                            ( ,   ) = ( / 0x01).(); // staticcall                             (!) {                                 ( && !(. < ((. * ((. * 0x0a) + 0x05)) + 0x29fd))) {                                     = ;                                     (.);                                }                            }  {                                 =  + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f));                                (( + .) -  >= 0x20);                                 ((0x01 != 0x0) && (!(. < ((. * ((. * 0x0a) + 0x05)) + .)))) {                                     = ;                                     (.);                                }                            }                        }                    }                }            }              = (((0xc8 * ) / 0x2710) - ((((0xc8 * ) / 0x2710) / 0x02)));              = (((0xc8 * ) / 0x2710) / 0x02);             () {                 = ((0xc8 * ) / 0x2710);                 = 0;            }             ( != 0x0) {                (, , );                 = ( + );            }            (, (), );             = ( + );            (( - (((0xc8 * ) / 0x2710))), , );             (, , , ((0xc8 * ) / 0x2710));        }  {             (![]) {                (, , );            }  {                  = !(( / 0x010000000000000000000000000000000000000000));                 (!(( / 0x010000000000000000000000000000000000000000))) {                     = !([]);                }                (!, ());                 ( != 0x0) {                    ( ,  ,  ) = ().();                    ( == ( & 0xffffffff));                     (!(0x0 == (0xffffffffffffffffffffffffffff & ) || ( & 0xffffffffffffffffffffffffffff) == 0x0)) {                        ( ,   ) = .(.((0x0902f1ac))); // staticcall getReserves                        ();                         =  + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                        ( -  >= 0x60);                        ( == ( & 0xffffffff));                          = .;                         (( / 0x010000000000000000000000000000000000000000) != 0x0) {                            ( ,   ) = ( / 0x01).(); // staticcall                            ();                            ( -  >= 0x20);                        }  {                            ( ,   ) = ( / 0x01).(); // staticcall                            ();                             =  + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                            ( -  >= 0x20);                             = .;                        }                          = !(!((. - )));                         ((. - )) {                             = ( & 0xffffffffffffffffffffffffffff) != 0x0;                        }                          = ;                         () {                             = ( & 0xffffffffffffffffffffffffffff) != 0x0;                        }                          = ;                         () {                              = (( << 0x70) & (0xffffffffffffffffffffffffffff0000000000000000000000000000)) / (. & (0xffffffffffffffffffffffffffff));                             (!(( / 0x010000000000000000000000000000000000000000) != 0x0)) {                                 = ((. << 0x70) & (0xffffffffffffffffffffffffffff0000000000000000000000000000)) / ( & (0xffffffffffffffffffffffffffff));                            }                             = ((. - ) * ) + ;                        }                         (0x0 != (())) {                             (!((. - ) < (( / 0x01000000000000000000000000000000000000000000)))) {                                  =  - ;                                  = (. - );                                  =  / ;                                  =  / ;                                  =  / ;                                  = (0x010000000000000000000000000000) & (0 - 0x010000000000000000000000000000);                                  = (0x010000000000000000000000000000 / ) * 0x03;                                  = 0x02 - ((0x010000000000000000000000000000 / ) * (0x02 ^ ));                                  = 0x02 ^ ;                                  = 0x02 - ((0x010000000000000000000000000000 / ) * ( * ));                                  =  * ;                                  = 0x02 - ((0x010000000000000000000000000000 / ) * ( * ));                                  =  * ;                                  = 0x02 - ((0x010000000000000000000000000000 / ) * ( * ));                                  =  * ;                                  = 0x02 - ((0x010000000000000000000000000000 / ) * ( * ));                                  =  * ;                                  = (( * 0x0de0b6b3a7640000) - (( * 0x0de0b6b3a7640000) % 0x010000000000000000000000000000) / (0x010000000000000000000000000000 & (0 - 0x010000000000000000000000000000)) | ((( * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ( * 0x0de0b6b3a7640000) - ((( * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ( * 0x0de0b6b3a7640000)) - ((( * 0x0de0b6b3a7640000) % 0x010000000000000000000000000000) > ( * 0x0de0b6b3a7640000)) * (0x01 + ((0 - (0x010000000000000000000000000000 & (0 - 0x010000000000000000000000000000))) / (0x010000000000000000000000000000 & (0 - 0x010000000000000000000000000000)))))) * ((0x02 - ((0x010000000000000000000000000000 / ) * ( * ))) * ( * ));                                 (0 != ((((( - ) / ((. - ))) * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ((( - ) / ((. - ))) * 0x0de0b6b3a7640000) - ((((( - ) / ((. - ))) * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ((( - ) / ((. - ))) * 0x0de0b6b3a7640000)))) {                                    (0x010000000000000000000000000000 > ((((( - ) / ((. - ))) * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ((( - ) / ((. - ))) * 0x0de0b6b3a7640000) - ((((( - ) / ((. - ))) * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ((( - ) / ((. - ))) * 0x0de0b6b3a7640000))));                                      = (0x010000000000000000000000000000) & (0 - 0x010000000000000000000000000000);                                      = (0x010000000000000000000000000000 / ) * 0x03;                                      = 0x02 - ((0x010000000000000000000000000000 / ) * (0x02 ^ ));                                      = 0x02 ^ ;                                      = 0x02 - ((0x010000000000000000000000000000 / ) * ( * ));                                      =  * ;                                      = 0x02 - ((0x010000000000000000000000000000 / ) * ( * ));                                      =  * ;                                      = 0x02 - ((0x010000000000000000000000000000 / ) * ( * ));                                      =  * ;                                      = 0x02 - ((0x010000000000000000000000000000 / ) * ( * ));                                      =  * ;                                }  {                                    (0x010000000000000000000000000000 > 0x0);                                     = (( - ) / ((. - )) * 0x0de0b6b3a7640000) / 0x010000000000000000000000000000;                                }                                 = ;                                 = ;                                 = (. & (0xffffffff)) | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff00000000 & );                            }                        }  {                             = ;                             = (. & (0xffffffff)) | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff00000000 & );                        }                    }                }                 ( != (0)) {                    (!([] < ((((0x64 * ) / 0x2710) / 0x02))));                    [] = [] - ((((0x64 * ) / 0x2710) / 0x02));                }  {                     = ((((0x64 * ) / 0x2710) / 0x02)) + ;                }                 ((0xdead & 0xffffffffffffffffffffffffffffffffffffffff) != 0x0) {                    [(0xdead)] = ((((0x64 * ) / 0x2710) / 0x02)) + [(0xdead)];                }  {                     =  - ((((0x64 * ) / 0x2710) / 0x02));                }                 (, (0xdead), ((((0x64 * ) / 0x2710) / 0x02)));                 = ((((0x64 * ) / 0x2710) / 0x02)) + ;                 ( != 0x0) {                    ((((0x64 * ) / 0x2710) - ((((0x64 * ) / 0x2710) / 0x02))), , );                }  {                     ( != (0)) {                        (!([] < ((((0x64 * ) / 0x2710) - ((((0x64 * ) / 0x2710) / 0x02))))));                        [] = [] - ((((0x64 * ) / 0x2710) - ((((0x64 * ) / 0x2710) / 0x02))));                    }  {                         = ((((0x64 * ) / 0x2710) - ((((0x64 * ) / 0x2710) / 0x02)))) + ;                    }                     ((0xdead & 0xffffffffffffffffffffffffffffffffffffffff) != 0x0) {                        [(0xdead)] = ((((0x64 * ) / 0x2710) - ((((0x64 * ) / 0x2710) / 0x02)))) + [(0xdead)];                    }  {                         =  - ((((0x64 * ) / 0x2710) - ((((0x64 * ) / 0x2710) / 0x02))));                    }                     (, (0xdead), ((((0x64 * ) / 0x2710) - ((((0x64 * ) / 0x2710) / 0x02)))));                     = ((((0x64 * ) / 0x2710) - ((((0x64 * ) / 0x2710) / 0x02)))) + ;                }                 ( != (0)) {                    (!([] < ( - (((0x64 * ) / 0x2710)))));                    [] = [] - ( - (((0x64 * ) / 0x2710)));                }  {                     = ( - (((0x64 * ) / 0x2710))) + ;                }                 ( != (0)) {                    [] = ( - (((0x64 * ) / 0x2710))) + [];                }  {                     =  - ( - (((0x64 * ) / 0x2710)));                }                 (, ,  - (((0x64 * ) / 0x2710)));                 (, , , ((0x64 * ) / 0x2710));            }        }    }         ( ,  ,  )  {         (!([][] == 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff)) {            (!([][] < ), (, [][], ));            ( != (0), ((0)));            ( != (0), ((0)));            [][] = [][] - ;        }    }         ( ,  ,  )  {        // Decompilation incomplete: helper effect provenance is conservative.        (. == , ());        (, , );    }         ( ,  ,  )  {        // Decompilation incomplete: helper effect provenance is conservative.        (0x0 != (0xffffffff & ), ());        ( != (0), ());        ( != (0), ());        ( ,   ) = .(); // staticcall        ();         ;         =  + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));        (( + .) -  >= 0x20);        ( == ( & 0xffffffffffffffffffffffffffffffffffffffff));        ( ,   ) = .(); // staticcall        ();         =  + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));        (( + .) -  >= 0x20);        ( == ( & 0xffffffffffffffffffffffffffffffffffffffff));          = !(() == (()));         (!(() == (()))) {             = !(() == (()));        }        (!, ());          = !( == (()));         (!( == (()))) {             = !( == (()));        }        (!, ());         = ;         = ( | ( & (0xffffffffffffff00000000ff0000000000000000000000000000000000000000)) | ( & (0xffffffff) * 0x01000000000000000000000000000000000000000000) & (0xffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff)) | (0x010000000000000000000000000000000000000000 * (!(!(() == ( & (0xffffffffffffffffffffffffffffffffffffffff))))));         = 0;         = (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff00000000) & ;         (, , ());    }         ()  {        // Decompilation incomplete: helper effect provenance is conservative.        ( != 0x2, ());         = 0x02;         (!( <  ||  == 0x0 || (0xffffffffffffffffffffffffffffffffffffffff & ) == 0x0 || (0xffffffffffffffffffffffffffffffffffffffff & ) == 0x0)) {             = 0;             ;             =  + 0x60;             = .[4:68];             (!(0 < .)) (50);             (!(0x01 < .)) (50);              = ;             =  + 0x64;            ( ,   ) = .(.((0x095ea7b3), ,  / 0x02)); // call approve              = ;             () {                  = (()..) > 0;                 (. != 0x0) {                     = 0x01 == ;                }                 = ;            }             (!()) {                  = ;                 = 0x64 + ;                ( ,   ) = .(.((0x095ea7b3), , 0)); // call approve                ();                  = !(()..);                 (. != 0x0) {                     = !(0x01 == );                }                (!, ());                ( ,   ) = .(.((0x095ea7b3), ,  / 0x02)); // call approve                ();                  = !(()..);                 (. != 0x0) {                     = !(0x01 == );                }                (!, ());            }            ( ,   ) = .(.((0x70a08231), ())); // staticcall balanceOf            ();             =  + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));            (!((( + .) - ) < 0x20));              = 0;              = (0x04 + ) + 0xc0;              =  + 0x20;             () {                 (!( < .)) {                    ;                }                 = 0x01 + ;                 =  + 0x20;                 = 0x20 + ;            }            (.. != 0x0);            ( ,   ) = .(.((0x5c11d795),  / 0x02, 0, 0xa0, , .)); // call swapExactTokensForTokensSupportingFeeOnTransferTokens            ();            (.. != 0x0);            ( ,   ) = .(()); // call            ();              = ().(());              = ;             =  + 0x64;            ( ,   ) = .(.((0x095ea7b3), ,  - ( / 0x02))); // call approve              = ;             () {                  = (()..) > 0;                 (. != 0x0) {                     = 0x01 == ;                }                 = ;            }             ;             (!()) {                 = ;                 = 0x64 + ;                ( ,   ) = .(.((0x095ea7b3), , 0)); // call approve                ();                  = !(()..);                 (. != 0x0) {                     = !(0x01 == );                }                (!, ());                ( ,   ) = .(.((0x095ea7b3), ,  - ( / 0x02))); // call approve                ();                  = !(()..);                 (. != 0x0) {                     = !(0x01 == );                }                (!, ());            }             = ;             =  + 0x64;            ( ,   ) = .(.((0x095ea7b3), ,  - .)); // call approve              = ;             () {                  = (()..) > 0;                 (. != 0x0) {                     = 0x01 == ;                }                 = ;            }             (!()) {                  = ;                 = 0x64 + ;                ( ,   ) = .(.((0x095ea7b3), , 0)); // call approve                ();                  = !(()..);                 (. != 0x0) {                     = !(0x01 == );                }                (!, ());                ( ,   ) = .(.((0x095ea7b3), ,  - .)); // call approve                ();                  = !(()..);                 (. != 0x0) {                     = !(0x01 == );                }                (!, ());            }            ( ,   ) = .(.((0xe8e33700), (), (),  - ( / 0x02),  - ., 0, 0, 0xdead, .)); // call addLiquidity            ();             =  + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));            (!((( + .) - ) < 0x60));             () {                 (( - ( / 0x02)) - . != 0) {                     = ;                     = (0x64 + );                    ( ,   ) = .(.((0xa9059cbb), , ( - ( / 0x02)) - .)); // call transfer                    ();                      = !(()..);                     (. != 0x0) {                         = !(0x01 == );                    }                    (!, ());                }                 (( - .) -  != 0) {                     = ;                     = (0x64 + );                    ( ,   ) = .(.((0xa9059cbb), , ( - .) - )); // call transfer                    ();                      = !(()..);                     (. != 0x0) {                         = !(0x01 == );                    }                    (!, ());                }            }             = ;             =  + 0x64;            ( ,   ) = .(.((0x095ea7b3), , 0)); // call approve              = ;             () {                  = (()..) > 0;                 (. != 0x0) {                     = 0x01 == ;                }                 = ;            }             ;             (!()) {                 = ;                 = 0x64 + ;                ( ,   ) = .(.((0x095ea7b3), , 0)); // call approve                ();                  = !(()..);                 (. != 0x0) {                     = !(0x01 == );                }                (!, ());                ( ,   ) = .(.((0x095ea7b3), , 0)); // call approve                ();                  = !(()..);                 (. != 0x0) {                     = !(0x01 == );                }                (!, ());            }             = ;             =  + 0x64;            ( ,   ) = .(.((0x095ea7b3), , 0)); // call approve              = ;             () {                  = (()..) > 0;                 (. != 0x0) {                     = 0x01 == ;                }                 = ;            }             (!()) {                  = ;                 = 0x64 + ;                ( ,   ) = .(.((0x095ea7b3), , 0)); // call approve                ();                  = !(()..);                 (. != 0x0) {                     = !(0x01 == );                }                (!, ());                ( ,   ) = .(.((0x095ea7b3), , 0)); // call approve                ();                  = !(()..);                 (. != 0x0) {                     = !(0x01 == );                }                (!, ());            }             ();        }         = 0x01;    }         ( ,  ,  )  {        // Decompilation incomplete: helper effect provenance is conservative.          = !();         ( != (0)) {             = !();        }          = () ? 1 : 0;         (!()) {             = ([]) ? 1 : 0;        }          =  != 0x0;         ( == 0) {             = [];        }         (!) {             ([]) {                 ( != 0x0) {                    ( ,  ,  ) = ().();                    ( == ( & 0xffffffff));                     (!(0x0 == (0xffffffffffffffffffffffffffff & ) || ( & 0xffffffffffffffffffffffffffff) == 0x0)) {                        ( ,   ) = .(.((0x0902f1ac))); // staticcall getReserves                        ();                         ;                         =  + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                        ( -  >= 0x60);                        ( == ( & 0xffffffff));                          = .;                         (( / 0x010000000000000000000000000000000000000000) != 0x0) {                            ( ,   ) = ( / 0x01).(); // staticcall                            ();                            ( -  >= 0x20);                        }  {                            ( ,   ) = ( / 0x01).(); // staticcall                            ();                             =  + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                            ( -  >= 0x20);                             = .;                        }                          = !(!((. - )));                         ((. - )) {                             = ( & 0xffffffffffffffffffffffffffff) != 0x0;                        }                          = ;                         () {                             = ( & 0xffffffffffffffffffffffffffff) != 0x0;                        }                          = ;                         () {                              = (( << 0x70) & (0xffffffffffffffffffffffffffff0000000000000000000000000000)) / (. & (0xffffffffffffffffffffffffffff));                             (!(( / 0x010000000000000000000000000000000000000000) != 0x0)) {                                 = ((. << 0x70) & (0xffffffffffffffffffffffffffff0000000000000000000000000000)) / ( & (0xffffffffffffffffffffffffffff));                            }                             = ((. - ) * ) + ;                        }                         (0x0 != (())) {                             (!((. - ) < (( / 0x01000000000000000000000000000000000000000000)))) {                                  =  - ;                                  = (. - );                                  =  / ;                                  =  / ;                                  =  / ;                                  = (0x010000000000000000000000000000) & (0 - 0x010000000000000000000000000000);                                  = (0x010000000000000000000000000000 / ) * 0x03;                                  = 0x02 - ((0x010000000000000000000000000000 / ) * (0x02 ^ ));                                  = 0x02 ^ ;                                  = 0x02 - ((0x010000000000000000000000000000 / ) * ( * ));                                  =  * ;                                  = 0x02 - ((0x010000000000000000000000000000 / ) * ( * ));                                  =  * ;                                  = 0x02 - ((0x010000000000000000000000000000 / ) * ( * ));                                  =  * ;                                  = 0x02 - ((0x010000000000000000000000000000 / ) * ( * ));                                  =  * ;                                  = (( * 0x0de0b6b3a7640000) - (( * 0x0de0b6b3a7640000) % 0x010000000000000000000000000000) / (0x010000000000000000000000000000 & (0 - 0x010000000000000000000000000000)) | ((( * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ( * 0x0de0b6b3a7640000) - ((( * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ( * 0x0de0b6b3a7640000)) - ((( * 0x0de0b6b3a7640000) % 0x010000000000000000000000000000) > ( * 0x0de0b6b3a7640000)) * (0x01 + ((0 - (0x010000000000000000000000000000 & (0 - 0x010000000000000000000000000000))) / (0x010000000000000000000000000000 & (0 - 0x010000000000000000000000000000)))))) * ((0x02 - ((0x010000000000000000000000000000 / ) * ( * ))) * ( * ));                                 (0 != ((((( - ) / ((. - ))) * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ((( - ) / ((. - ))) * 0x0de0b6b3a7640000) - ((((( - ) / ((. - ))) * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ((( - ) / ((. - ))) * 0x0de0b6b3a7640000)))) {                                    (0x010000000000000000000000000000 > ((((( - ) / ((. - ))) * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ((( - ) / ((. - ))) * 0x0de0b6b3a7640000) - ((((( - ) / ((. - ))) * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ((( - ) / ((. - ))) * 0x0de0b6b3a7640000))));                                      = (0x010000000000000000000000000000) & (0 - 0x010000000000000000000000000000);                                      = (0x010000000000000000000000000000 / ) * 0x03;                                      = 0x02 - ((0x010000000000000000000000000000 / ) * (0x02 ^ ));                                      = 0x02 ^ ;                                      = 0x02 - ((0x010000000000000000000000000000 / ) * ( * ));                                      =  * ;                                      = 0x02 - ((0x010000000000000000000000000000 / ) * ( * ));                                      =  * ;                                      = 0x02 - ((0x010000000000000000000000000000 / ) * ( * ));                                      =  * ;                                      = 0x02 - ((0x010000000000000000000000000000 / ) * ( * ));                                      =  * ;                                }  {                                    (0x010000000000000000000000000000 > 0x0);                                     = (( - ) / ((. - )) * 0x0de0b6b3a7640000) / 0x010000000000000000000000000000;                                }                                 = ;                                 = ;                                 = (. & (0xffffffff)) | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff00000000 & );                            }                        }  {                             = ;                             = (. & (0xffffffff)) | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff00000000 & );                        }                    }                }                  = () ? 1 : 0;                 (!) {                     = !();                }                 (!( != 0x0 || (0xffffffffffffffffffffffffffffffffffffffff & ).. == 0x0)) {                    ( ,   ) = ( / 0x01).(); // staticcall                     (!) {                         () {                            ( ,   ) = ( / 0x01).(); // staticcall                             (!) {                                 () {                                    ( ,   ) = ( / 0x01).(); // staticcall                                     (!) {                                         ( && !(. < ([] * ((0x29fd * 0x0a) + 0x05) + []))) {                                             = ;                                             (.);                                        }                                    }  {                                         =  + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f));                                        (( + .) -  >= 0x20);                                         ((0x01 != 0x0) && (!(. < ((0x29fd * ((. * 0x0a) + 0x05)) + [])))) {                                             = ;                                             (.);                                        }                                    }                                }                            }  {                                 =  + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f));                                (( + .) -  >= 0x20);                                ( ,   ) = ( / 0x01).(); // staticcall                                 (!) {                                     ( && !(. < ((0x29fd * ((. * 0x0a) + 0x05)) + []))) {                                         = ;                                         (.);                                    }                                }  {                                     =  + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f));                                    (( + .) -  >= 0x20);                                     ((0x01 != 0x0) && (!(. < ((. * ((. * 0x0a) + 0x05)) + 0x29fd)))) {                                         = ;                                         (.);                                    }                                }                            }                        }                    }  {                         =  + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f));                        (( + .) -  >= 0x20);                         (0x0 != .) {                            ( ,   ) = ( / 0x01).(); // staticcall                             (!) {                                 () {                                    ( ,   ) = ( / 0x01).(); // staticcall                                     (!) {                                         ( && !(. < ((0x29fd * ((. * 0x0a) + 0x05)) + []))) {                                             = ;                                             (.);                                        }                                    }  {                                         =  + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f));                                        (( + .) -  >= 0x20);                                         ((0x01 != 0x0) && (!(. < ((. * ((. * 0x0a) + 0x05)) + 0x29fd)))) {                                             = ;                                             (.);                                        }                                    }                                }                            }  {                                 =  + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f));                                (( + .) -  >= 0x20);                                ( ,   ) = ( / 0x01).(); // staticcall                                 (!) {                                     ( && !(. < ((. * ((. * 0x0a) + 0x05)) + 0x29fd))) {                                         = ;                                         (.);                                    }                                }  {                                     =  + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (. + 0x1f));                                    (( + .) -  >= 0x20);                                     ((0x01 != 0x0) && (!(. < ((. * ((. * 0x0a) + 0x05)) + .)))) {                                         = ;                                         (.);                                    }                                }                            }                        }                    }                }                  = (((0xc8 * ) / 0x2710) - ((((0xc8 * ) / 0x2710) / 0x02)));                  = (((0xc8 * ) / 0x2710) / 0x02);                 () {                     = ((0xc8 * ) / 0x2710);                     = 0;                }                 ( != 0x0) {                     ( != (0)) {                        (!([] < ));                        [] = [] - ;                    }  {                         =  + ;                    }                     (( & 0xffffffffffffffffffffffffffffffffffffffff) != 0x0) {                        [()] =  + [()];                    }  {                         =  - ;                    }                     (, (), );                     = ( + );                }                 ( != (0)) {                    (!([] < ));                    [] = [] - ;                }  {                     =  + ;                }                 (() != (0)) {                    [()] =  + [()];                }  {                     =  - ;                }                 (, (), );                 = ( + );                 ( != (0)) {                    (!([] < (( - (((0xc8 * ) / 0x2710))))));                    [] = [] - (( - (((0xc8 * ) / 0x2710))));                }  {                     = (( - (((0xc8 * ) / 0x2710)))) + ;                }                 ( != (0)) {                    [] = (( - (((0xc8 * ) / 0x2710)))) + [];                }  {                     =  - (( - (((0xc8 * ) / 0x2710))));                }                 (, , (( - (((0xc8 * ) / 0x2710)))));                 (, , , ((0xc8 * ) / 0x2710));            }   ([]) {                  = !(( / 0x010000000000000000000000000000000000000000));                 (!(( / 0x010000000000000000000000000000000000000000))) {                     = !([]);                }                (!, ());                 ( != 0x0) {                    ( ,  ,  ) = ().();                    ( == ( & 0xffffffff));                     (!(0x0 == (0xffffffffffffffffffffffffffff & ) || ( & 0xffffffffffffffffffffffffffff) == 0x0)) {                        ( ,   ) = .(.((0x0902f1ac))); // staticcall getReserves                        ();                         =  + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                        ( -  >= 0x60);                        ( == ( & 0xffffffff));                          = .;                         (( / 0x010000000000000000000000000000000000000000) != 0x0) {                            ( ,   ) = ( / 0x01).(); // staticcall                            ();                            ( -  >= 0x20);                        }  {                            ( ,   ) = ( / 0x01).(); // staticcall                            ();                             =  + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                            ( -  >= 0x20);                             = .;                        }                          = !(!((. - )));                         ((. - )) {                             = ( & 0xffffffffffffffffffffffffffff) != 0x0;                        }                          = ;                         () {                             = ( & 0xffffffffffffffffffffffffffff) != 0x0;                        }                          = ;                         () {                              = (( << 0x70) & (0xffffffffffffffffffffffffffff0000000000000000000000000000)) / (. & (0xffffffffffffffffffffffffffff));                             (!(( / 0x010000000000000000000000000000000000000000) != 0x0)) {                                 = ((. << 0x70) & (0xffffffffffffffffffffffffffff0000000000000000000000000000)) / ( & (0xffffffffffffffffffffffffffff));                            }                             = ((. - ) * ) + ;                        }                         (0x0 != (())) {                             (!((. - ) < (( / 0x01000000000000000000000000000000000000000000)))) {                                  =  - ;                                  = (. - );                                  =  / ;                                  =  / ;                                  =  / ;                                  = (0x010000000000000000000000000000) & (0 - 0x010000000000000000000000000000);                                  = (0x010000000000000000000000000000 / ) * 0x03;                                  = 0x02 - ((0x010000000000000000000000000000 / ) * (0x02 ^ ));                                  = 0x02 ^ ;                                  = 0x02 - ((0x010000000000000000000000000000 / ) * ( * ));                                  =  * ;                                  = 0x02 - ((0x010000000000000000000000000000 / ) * ( * ));                                  =  * ;                                  = 0x02 - ((0x010000000000000000000000000000 / ) * ( * ));                                  =  * ;                                  = 0x02 - ((0x010000000000000000000000000000 / ) * ( * ));                                  =  * ;                                  = (( * 0x0de0b6b3a7640000) - (( * 0x0de0b6b3a7640000) % 0x010000000000000000000000000000) / (0x010000000000000000000000000000 & (0 - 0x010000000000000000000000000000)) | ((( * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ( * 0x0de0b6b3a7640000) - ((( * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ( * 0x0de0b6b3a7640000)) - ((( * 0x0de0b6b3a7640000) % 0x010000000000000000000000000000) > ( * 0x0de0b6b3a7640000)) * (0x01 + ((0 - (0x010000000000000000000000000000 & (0 - 0x010000000000000000000000000000))) / (0x010000000000000000000000000000 & (0 - 0x010000000000000000000000000000)))))) * ((0x02 - ((0x010000000000000000000000000000 / ) * ( * ))) * ( * ));                                 (0 != ((((( - ) / ((. - ))) * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ((( - ) / ((. - ))) * 0x0de0b6b3a7640000) - ((((( - ) / ((. - ))) * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ((( - ) / ((. - ))) * 0x0de0b6b3a7640000)))) {                                    (0x010000000000000000000000000000 > ((((( - ) / ((. - ))) * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) - ((( - ) / ((. - ))) * 0x0de0b6b3a7640000) - ((((( - ) / ((. - ))) * 0x0de0b6b3a7640000) % 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) < ((( - ) / ((. - ))) * 0x0de0b6b3a7640000))));                                      = (0x010000000000000000000000000000) & (0 - 0x010000000000000000000000000000);                                      = (0x010000000000000000000000000000 / ) * 0x03;                                      = 0x02 - ((0x010000000000000000000000000000 / ) * (0x02 ^ ));                                      = 0x02 ^ ;                                      = 0x02 - ((0x010000000000000000000000000000 / ) * ( * ));                                      =  * ;                                      = 0x02 - ((0x010000000000000000000000000000 / ) * ( * ));                                      =  * ;                                      = 0x02 - ((0x010000000000000000000000000000 / ) * ( * ));                                      =  * ;                                      = 0x02 - ((0x010000000000000000000000000000 / ) * ( * ));                                      =  * ;                                }  {                                    (0x010000000000000000000000000000 > 0x0);                                     = (( - ) / ((. - )) * 0x0de0b6b3a7640000) / 0x010000000000000000000000000000;                                }                                 = ;                                 = ;                                 = (. & (0xffffffff)) | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff00000000 & );                            }                        }  {                             = ;                             = (. & (0xffffffff)) | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff00000000 & );                        }                    }                }                 ( != (0)) {                    (!([] < ((((0x64 * ) / 0x2710) / 0x02))));                    [] = [] - ((((0x64 * ) / 0x2710) / 0x02));                }  {                     = ((((0x64 * ) / 0x2710) / 0x02)) + ;                }                 ((0xdead & 0xffffffffffffffffffffffffffffffffffffffff) != 0x0) {                    [(0xdead)] = ((((0x64 * ) / 0x2710) / 0x02)) + [(0xdead)];                }  {                     =  - ((((0x64 * ) / 0x2710) / 0x02));                }                 (, (0xdead), ((((0x64 * ) / 0x2710) / 0x02)));                 = ((((0x64 * ) / 0x2710) / 0x02)) + ;                 ( != 0x0) {                     ( != (0)) {                        (!([] < ((((0x64 * ) / 0x2710) - ((((0x64 * ) / 0x2710) / 0x02))))));                        [] = [] - ((((0x64 * ) / 0x2710) - ((((0x64 * ) / 0x2710) / 0x02))));                    }  {                         = ((((0x64 * ) / 0x2710) - ((((0x64 * ) / 0x2710) / 0x02)))) + ;                    }                     (( & 0xffffffffffffffffffffffffffffffffffffffff) != 0x0) {                        [] = ((((0x64 * ) / 0x2710) - ((((0x64 * ) / 0x2710) / 0x02)))) + [];                    }  {                         =  - ((((0x64 * ) / 0x2710) - ((((0x64 * ) / 0x2710) / 0x02))));                    }                     (, , ((((0x64 * ) / 0x2710) - ((((0x64 * ) / 0x2710) / 0x02)))));                }  {                     ( != (0)) {                        (!([] < ((((0x64 * ) / 0x2710) - ((((0x64 * ) / 0x2710) / 0x02))))));                        [] = [] - ((((0x64 * ) / 0x2710) - ((((0x64 * ) / 0x2710) / 0x02))));                    }  {                         = ((((0x64 * ) / 0x2710) - ((((0x64 * ) / 0x2710) / 0x02)))) + ;                    }                     ((0xdead & 0xffffffffffffffffffffffffffffffffffffffff) != 0x0) {                        [(0xdead)] = ((((0x64 * ) / 0x2710) - ((((0x64 * ) / 0x2710) / 0x02)))) + [(0xdead)];                    }  {                         =  - ((((0x64 * ) / 0x2710) - ((((0x64 * ) / 0x2710) / 0x02))));                    }                     (, (0xdead), ((((0x64 * ) / 0x2710) - ((((0x64 * ) / 0x2710) / 0x02)))));                     = ((((0x64 * ) / 0x2710) - ((((0x64 * ) / 0x2710) / 0x02)))) + ;                }                 ( != (0)) {                    (!([] < ( - (((0x64 * ) / 0x2710)))));                    [] = [] - ( - (((0x64 * ) / 0x2710)));                }  {                     = ( - (((0x64 * ) / 0x2710))) + ;                }                 ( != (0)) {                    [] = ( - (((0x64 * ) / 0x2710))) + [];                }  {                     =  - ( - (((0x64 * ) / 0x2710)));                }                 (, ,  - (((0x64 * ) / 0x2710)));                 (, , , ((0x64 * ) / 0x2710));            }  {                 ( != (0)) {                    (!([] < ), (, [], ));                    [] = [] - ;                }  {                     =  + ;                }                 ( != (0)) {                    [] =  + [];                }  {                     =  - ;                }                 (, , );            }            ;        }  {            (, , );            ;        }    }         ( ,  ,  )  {        // Decompilation incomplete: helper effect provenance is conservative.         ( != (0)) {            (!([] < ));            [] = [] - ;             ( != (0)) {                [] =  + [];                 (, , );            }  {                 =  - ;                 (, , );            }            ;        }  {             =  + ;             ( != (0)) {                [] =  + [];                 (, , );            }  {                 =  - ;                 (, , );            }            ;        }    }         ( ,  ,  )  {        // Decompilation incomplete: helper effect provenance is conservative.        (. == , ());        (, , );    }         ( ,  ,  )  {        // Decompilation incomplete: helper effect provenance is conservative.        (0x0 != (0xffffffff & ), ());        ( != (0), ());        ( != (0), ());        ( ,   ) = .(); // staticcall        ();         ;         =  + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));        (( + .) -  >= 0x20);        ( == ( & 0xffffffffffffffffffffffffffffffffffffffff));        ( ,   ) = .(); // staticcall        ();         =  + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));        (( + .) -  >= 0x20);        ( == ( & 0xffffffffffffffffffffffffffffffffffffffff));          = !( == (()));         (!( == (()))) {             = !( == (()));        }        (!, ());          = ().();        ( == (()));          = !(0x12 == (()));         (0x12 == (())) {            ( ,   ) = ().(); // staticcall            ();             =  + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));            (( + .) -  >= 0x20);            ( == (()));             = !(0x12 == (()));        }        (!, ());         = ;         = ( | ( & (0xffffffffffffffff000000000000000000000000000000000000000000000000))) | ( & (0xffffffff) * 0x010000000000000000000000000000000000000000);         (, , ());    }         ( )  {         {              := (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.        // 0x03fd2a45 => DEAD()    // 0x06fdde03 => name()    // 0x095ea7b3 => approve(address,uint256)    // 0x0ad18868 => unresolved_0ad18868()    // 0x17c0b0d8 => Unknown_17c0b0d8()    // 0x18160ddd => totalSupply()    // 0x18178358 => poke()    // 0x1bbb55a5 => Unknown_1bbb55a5()    // 0x22fcc530 => burnedTotal()    // 0x230edcbc => unresolved_230edcbc()    // 0x23b872dd => transferFrom(address,address,uint256)    // 0x249d39e9 => BPS()    // 0x24c660d7 => pendingReflow()    // 0x26273a0b => Unknown_26273a0b(address,address,uint32)    // 0x26e081bb => Unknown_26e081bb()    // 0x313ce567 => decimals()    // 0x32cb6b0c => MAX_SUPPLY()    // 0x3f4218e0 => isFeeExempt(address)    // 0x4b41f872 => unresolved_4b41f872()    // 0x4cad9d08 => Unknown_4cad9d08(address)    // 0x561b2cf3 => Unknown_561b2cf3()    // 0x643f8ead => Unknown_643f8ead()    // 0x6f3e79d7 => lpMining()    // 0x70a08231 => balanceOf(address)    // 0x715018a6 => renounceOwnership()    // 0x7bc635cb => setOracleAdmin(address)    // 0x7fac4aeb => unresolved_7fac4aeb()    // 0x81c98402 => Unknown_81c98402()    // 0x847d4798 => unresolved_847d4798()    // 0x86a22eff => setPair(address,bool)    // 0x8ae6cb0e => unresolved_8ae6cb0e()    // 0x8da5cb5b => owner()    // 0x8ebfc796 => setFeeExempt(address,bool)    // 0x90825c28 => getMarketCap()    // 0x9099bd3f => BUY_TAX_BPS()    // 0x91d66d51 => Unknown_91d66d51(uint256)    // 0x93b0eacf => Unknown_93b0eacf()    // 0x95d89b41 => symbol()    // 0x99cfc3ba => unresolved_99cfc3ba()    // 0x99eaf1ae => Unknown_99eaf1ae()    // 0x9fa0f39e => Unknown_9fa0f39e()    // 0xa335239b => enableBuy()    // 0xa9059cbb => transfer(address,uint256)    // 0xacc079e0 => Unknown_acc079e0(address)    // 0xadd17404 => isBuyWhitelist(address)    // 0xadfbf235 => Unknown_adfbf235(address)    // 0xb0bbe518 => unresolved_b0bbe518()    // 0xb6fb0d64 => setBuyWhitelist(address,bool)    // 0xb91abeff => unresolved_b91abeff()    // 0xc021a1ad => unresolved_c021a1ad()    // 0xc0d78655 => setRouter(address)    // 0xc1fe84bf => Unknown_c1fe84bf(address)    // 0xc5e6f2f2 => NFT_ALLOC()    // 0xd123b020 => LP_ALLOC()    // 0xd46fab0d => Unknown_d46fab0d(address,address,uint32)    // 0xd70cadf2 => Unknown_d70cadf2()    // 0xdb0f38b8 => Unknown_db0f38b8()    // 0xdd62ed3e => allowance(address,address)    // 0xdea5e6e8 => oracleAdmin()    // 0xe5e31b13 => isPair(address)    // 0xeb2da3a1 => POOL_ALLOC()    // 0xf2fde38b => transferOwnership(address)    // 0xf313380c => Unknown_f313380c(address)    // 0xf582d293 => buyEnabled()    // 0xf887ea40 => router()    // 0xfc1e53c4 => Unknown_fc1e53c4()    // 0xfd657856 => SELL_TAX_BPS()    // 0xfdd77b0d => unresolved_fdd77b0d()    // 0xfee68cda => nftDividendPool()}
0xdfb29e…49d6bb on BNB Chain — Decompiled Solidity