BNB Chain

0x9af912448d61d0999a68926512b192945fcdb5fc

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

Decompilation outputBNB Chain · 0x9af91244…5fcdb5fc15.7 KB10.9 s
Share
790 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;  {     ; // 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] // DESOLEX_RAW_STORAGE: mapping value 0: bool [ResolvedAbi] vs uint256 [ResolvedAbi] (ambiguous)    ( => ) ; // STORAGE[0xd] // DESOLEX_RAW_STORAGE: mapping value 0: bool [VerifiedAbi] vs uint256 [VerifiedAbi] (ambiguous)     ; // STORAGE[0xe]     ; // STORAGE[0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103]     ;     ;     ;     ;         ( ,  , );     ( ,  , );     ( ,  );     ( )   {         ("memory-safe") {            (0x00, (224, 0x4e487b71))            (0x04, )            (0x00, 0x24)        }    }    ()   {        // Synthetic compatibility routes preserve original selectors for unresolved names.         ((.. >= 4) && (. == 0x19141d12)) {            // Route to Unknown_19141d12(address[],bool) after replacing only msg.sig.            ((0x117c0a70));            ;        }         ((.. >= 4) && (. == 0x3d6e18fe)) {            // Route to Unknown_3d6e18fe(address[],bool) after replacing only msg.sig.            ((0x9ba3d5f8));            ;        }         ((.. >= 4) && (. == 0xb4a7512e)) {            // Route to Unknown_b4a7512e(uint256) after replacing only msg.sig.            ((0x874b885c));            ;        }         ((.. >= 4) && (. == 0xc189b281)) {            // Route to Unknown_c189b281() after replacing only msg.sig.            ((0xb8552a97));            ;        }        ();    }             ()    ( ) {         ;    }         ( ,  )    () {        (. != (0), "ERC20: approve from the zero address");        ( != (0), "ERC20: approve to the zero address");        [.][] = ;         (., , [.][]);         ;    }         ( ,  )   {        ((. / 0x01) == (.), "Ownable: caller is not the owner");        [] = ( * 0x01) | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & []);    }         ([]  ,  )   {        ((. / 0x01) == (.), "Ownable: caller is not the owner");          = 0;         () {             ( >= .) {                ;            }            [[]] = ( * 0x01) | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & [[]]);             =  + 0x01;        }    }         ( ,  ,  )    () {        (, , );         ;    }         ()    () {         (( / 0x01));    }         ()    () {         (( / 0x01));    }         ( ,  )    () {        (. != (0), "ERC20: approve from the zero address");        ( != (0), "ERC20: approve to the zero address");        [.][] = [.][] + ;         (., , ([(.)][] + ));         ;    }         ([]  ,  )   {        ((. / 0x01) == (.), "Ownable: caller is not the owner");          = 0;         () {             ( >= .) {                ;            }            [[]] = ( * 0x01) | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & [[]]);             =  + 0x01;        }    }         ( )    () {         (([] / 0x01));    }         ( )    () {          = [];         ([] == 0) {             = 0x049fb8524b144b1a0000;        }         ;    }         ()   {        ((. / 0x01) == (.), "Ownable: caller is not the owner");         ((. / 0x01), (0));        . = 0 | (0xffffffffffffffffffffffff0000000000000000000000000000000000000000 & (.));    }         ()    () {         ((. / 0x01));    }         ()    ( ) {         ;    }         ( )   {        ((. / 0x01) == (.), "Ownable: caller is not the owner");        ( != (0), "Pair: zero address");         = ( * 0x01) | (0xffffffffffffffffffffffff0000000000000000000000000000000000000000 & );    }         ( ,  )    () {        (, );         ;    }         (  ,   ,  ,  ,  ,  )   {         (!( <= 0xffffffffffffffff)) (65);         ;         ( + ((( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) + 0x20) + 0x1f & 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) > 0xffffffffffffffff ||  + ((( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) + 0x20) + 0x1f & 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) < ) (65);         =  + (((( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) + 0x20) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));        (((0x04 + ) + 0x20) +  <= (0x04 + (.. - 0x04)));         (!( <= 0xffffffffffffffff)) (65);         ( + ((( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) + 0x20) + 0x1f & 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) > 0xffffffffffffffff ||  + ((( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) + 0x20) + 0x1f & 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) < ) (65);         =  + (((( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) + 0x20) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));        (((0x04 + ) + 0x20) +  <= (0x04 + (.. - 0x04)));        ( == );        ( == );        ( == );        (. == (), "Not deployer");        (!(( / 0x01)), "Already initialized");        ( <= 0x64, "Tax: max 100%");        ( <= 0x64, "Tax: max 100%");        ( != (0), "Router: zero address");         = (0x01 * 0x01) | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & );         = (. * 0x0100) | (0xffffffffffffffffffffff0000000000000000000000000000000000000000ff & );        . = (. * 0x01) | (0xffffffffffffffffffffffff0000000000000000000000000000000000000000 & (.));          =  / 0x02;         (!( & (0x01))) {             = ( / 0x02) & (0x7f);        }         (!(( & 0x1) !=  < 0x20)) (34);         ;         ;         ;         ( != 0x0) {             ;             ;             ;             (0x1f < ) {                 = 0x01 + ( + );                  = 0x20 + ;                  = (.(0x04));                  = ;                  = (.(0x04));                  = 0x20 + ;                 () {                     (!(((0x20 + ) + ) > )) {                        ;                    }                     = ;                     = 0x01 + ;                     = 0x20 + ;                }                 = (0x20 + ) + ;                 = ;                 = ;                 = ;                 = ;                 = ;            }  {                 = ( + ) | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & );                 = 0x20 + ;                 = (.(0x04));                 = ;            }             = ;             = ;             = ;        }  {             = 0;             = 0x20 + ;             = (.(0x04));             = ;        }          = ;          = (.(0x04)) + ((0x1f + ) / 0x20);         () {             ( <= ) {                ;            }             = 0;             ( <= (0x01 + )) {                ;            }             = 0;             = 0x01 + (0x01 + );             = ;              =  / 0x02;             (!( & (0x01))) {                 = ( / 0x02) & (0x7f);            }             (!(( & 0x1) !=  < 0x20)) (34);             ( != 0x0) {                 (0x1f < ) {                     = 0x01 + ( + );                      = (.(0x05));                      = 0x20 + ;                     () {                         ((0x20 + ) +  <= ) {                            ;                        }                         = ;                         ((0x20 + ) +  <= 0x20 + ) {                              = ;                              = (.(0x04)) + ((0x1f + ) / 0x20);                             () {                                 ( <= ) {                                    ;                                }                                 = 0;                                 ( <= (0x01 + (0x01 + ))) {                                    ;                                }                                 = 0;                                 = 0x01 + (0x01 + );                                 = ;                                 = 0x12 | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & );                                 = ;                                 = ;                                 = (. * 0x01) | (0xffffffffffffffffffffffff0000000000000000000000000000000000000000 & );                                (.. != 0x0);                                ( ,   ) = .(); // staticcall                                ();                                (( + .) -  >= 0x20);                                ( == (()));                                (.. != 0x0);                                ( ,   ) = .(); // staticcall                                ();                                (( + .) -  >= 0x20);                                ( == (()));                                (!(!(()..)));                                ( ,   ) = ().((), ()); // call                                ();                                (( + .) -  >= 0x20);                                ( == (()));                                 = (() * 0x01) | (0xffffffffffffffffffffffff0000000000000000000000000000000000000000 & );                                [.] = (0x01 * 0x01) | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & [.]);                                [()] = (0x01 * 0x01) | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & [()]);                                (. != (0), "ERC20: mint to the zero address");                                 =  + ( * 0x0de0b6b3a7640000);                                [.] = [.] + ( * 0x0de0b6b3a7640000);                                 ((0), ., ( * (0x0de0b6b3a7640000)));                            }                            ;                        }                        [] = ;                         = 0x01 + (0x01 + );                         = 0x20 + (0x20 + );                    }                      = ;                      = (.(0x04)) + ((0x1f + ) / 0x20);                     () {                         ( <= ) {                            ;                        }                         = 0;                         ( <= (0x01 + (0x01 + ))) {                            ;                        }                         = 0;                         = 0x01 + (0x01 + );                         = ;                         = 0x12 | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & );                         = ;                         = ;                         = (. * 0x01) | (0xffffffffffffffffffffffff0000000000000000000000000000000000000000 & );                        (.. != 0x0);                        ( ,   ) = .(); // staticcall                        ();                        (( + .) -  >= 0x20);                        ( == (()));                        (.. != 0x0);                        ( ,   ) = .(); // staticcall                        ();                        (( + .) -  >= 0x20);                        ( == (()));                        (!(!(()..)));                        ( ,   ) = ().((), ()); // call                        ();                        (( + .) -  >= 0x20);                        ( == (()));                         = (() * 0x01) | (0xffffffffffffffffffffffff0000000000000000000000000000000000000000 & );                        [.] = (0x01 * 0x01) | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & [.]);                        [()] = (0x01 * 0x01) | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & [()]);                        (. != (0), "ERC20: mint to the zero address");                         =  + ( * 0x0de0b6b3a7640000);                        [.] = [.] + ( * 0x0de0b6b3a7640000);                         ((0), ., ( * (0x0de0b6b3a7640000)));                    }                }  {                     = ( + ) | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & );                      = ;                      = (.(0x04)) + ((0x1f + ) / 0x20);                     () {                         ( <= ) {                            ;                        }                         = 0;                         ( <= (0x01 + (0x01 + ))) {                            ;                        }                         = 0;                         = 0x01 + (0x01 + );                         = ;                         = 0x12 | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & );                         = ;                         = ;                         = (. * 0x01) | (0xffffffffffffffffffffffff0000000000000000000000000000000000000000 & );                        (.. != 0x0);                        ( ,   ) = .(); // staticcall                        ();                        (( + .) -  >= 0x20);                        ( == (()));                        (.. != 0x0);                        ( ,   ) = .(); // staticcall                        ();                        (( + .) -  >= 0x20);                        ( == (()));                        (!(!(()..)));                        ( ,   ) = ().((), ()); // call                        ();                        (( + .) -  >= 0x20);                        ( == (()));                         = (() * 0x01) | (0xffffffffffffffffffffffff0000000000000000000000000000000000000000 & );                        [.] = (0x01 * 0x01) | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & [.]);                        [()] = (0x01 * 0x01) | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & [()]);                        (. != (0), "ERC20: mint to the zero address");                         =  + ( * 0x0de0b6b3a7640000);                        [.] = [.] + ( * 0x0de0b6b3a7640000);                         ((0), ., ( * (0x0de0b6b3a7640000)));                    }                }            }  {                 = 0;                  = ;                  = (.(0x04)) + ((0x1f + ) / 0x20);                 () {                     ( <= ) {                        ;                    }                     = 0;                     ( <= (0x01 + (0x01 + ))) {                        ;                    }                     = 0;                     = 0x01 + (0x01 + );                     = ;                     = 0x12 | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & );                     = ;                     = ;                     = (. * 0x01) | (0xffffffffffffffffffffffff0000000000000000000000000000000000000000 & );                    (.. != 0x0);                    ( ,   ) = .(); // staticcall                    ();                    (( + .) -  >= 0x20);                    ( == (()));                    (.. != 0x0);                    ( ,   ) = .(); // staticcall                    ();                    (( + .) -  >= 0x20);                    ( == (()));                    (!(!(()..)));                    ( ,   ) = ().((), ()); // call                    ();                    (( + .) -  >= 0x20);                    ( == (()));                     = (() * 0x01) | (0xffffffffffffffffffffffff0000000000000000000000000000000000000000 & );                    [.] = (0x01 * 0x01) | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & [.]);                    [()] = (0x01 * 0x01) | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & [()]);                    (. != (0), "ERC20: mint to the zero address");                     =  + ( * 0x0de0b6b3a7640000);                    [.] = [.] + ( * 0x0de0b6b3a7640000);                     ((0), ., ( * (0x0de0b6b3a7640000)));                }            }             = 0x12 | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & );             = ;             = ;             = (. * 0x01) | (0xffffffffffffffffffffffff0000000000000000000000000000000000000000 & );            (.. != 0x0);            ( ,   ) = .(); // staticcall            ();             =  + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));            (( + .) -  >= 0x20);            ( == ( & 0xffffffffffffffffffffffffffffffffffffffff));            (.. != 0x0);            ( ,   ) = .(); // staticcall            ();             =  + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));            (( + .) -  >= 0x20);            ( == ( & 0xffffffffffffffffffffffffffffffffffffffff));            (!(!(()..)));            ( ,   ) = ().((), ()); // call            ();             =  + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));            (( + .) -  >= 0x20);            ( == ( & 0xffffffffffffffffffffffffffffffffffffffff));             = (() * 0x01) | (0xffffffffffffffffffffffff0000000000000000000000000000000000000000 & );            [.] = (0x01 * 0x01) | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & [.]);            [()] = (0x01 * 0x01) | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & [()]);            (. != (0), "ERC20: mint to the zero address");             =  + ( * 0x0de0b6b3a7640000);            [.] = [.] + ( * 0x0de0b6b3a7640000);             ((0), ., ( * (0x0de0b6b3a7640000)));        }          =  / 0x02;         (!( & (0x01))) {             = ( / 0x02) & (0x7f);        }         (!(( & 0x1) !=  < 0x20)) (34);         ;         ;         ;         ( != 0x0) {             ;             ;             ;             (0x1f < ) {                 = 0x01 + ( + );                  = 0x20 + ;                  = (.(0x05));                  = ;                  = (.(0x05));                  = 0x20 + ;                 () {                     ((0x20 + ) +  <= ) {                        ;                    }                     = ;                     = 0x01 + ;                     = 0x20 + ;                }                 = (0x20 + ) + ;                 = ;                 = ;                 = ;                 = ;                 = ;            }  {                 = ( + ) | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & );                 = 0x20 + ;                 = (.(0x05));                 = ;            }             = ;             = ;             = ;        }  {             = 0;             = 0x20 + ;             = (.(0x05));             = ;        }         = ;         = (.(0x05)) + ((0x1f + ) / 0x20);         () {             ( <= ) {                ;            }             = 0;             ( <= (0x01 + )) {                ;            }             = 0;             = 0x01 + (0x01 + );             = ;             = 0x12 | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & );             = ;             = ;             = (. * 0x01) | (0xffffffffffffffffffffffff0000000000000000000000000000000000000000 & );            (.. != 0x0);            ( ,   ) = .(); // staticcall            ();             =  + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));            (( + .) -  >= 0x20);            ( == ( & 0xffffffffffffffffffffffffffffffffffffffff));            (.. != 0x0);            ( ,   ) = .(); // staticcall            ();             =  + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));            (( + .) -  >= 0x20);            ( == ( & 0xffffffffffffffffffffffffffffffffffffffff));            (!(!(()..)));            ( ,   ) = ().((), ()); // call            ();             =  + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));            (( + .) -  >= 0x20);            ( == ( & 0xffffffffffffffffffffffffffffffffffffffff));             = (() * 0x01) | (0xffffffffffffffffffffffff0000000000000000000000000000000000000000 & );            [.] = (0x01 * 0x01) | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & [.]);            [()] = (0x01 * 0x01) | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & [()]);            (. != (0), "ERC20: mint to the zero address");             =  + ( * 0x0de0b6b3a7640000);            [.] = [.] + ( * 0x0de0b6b3a7640000);             ((0), ., ( * (0x0de0b6b3a7640000)));        }         = 0x12 | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & );         = ;         = ;         = (. * 0x01) | (0xffffffffffffffffffffffff0000000000000000000000000000000000000000 & );        (.. != 0x0);        ( ,   ) = .(); // staticcall        ();         =  + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));        (!((( + .) - ) < 0x20));        ( == ( & 0xffffffffffffffffffffffffffffffffffffffff));        (.. != 0x0);        ( ,   ) = .(); // staticcall        ();         =  + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));        (!((( + .) - ) < 0x20));        ( == ( & 0xffffffffffffffffffffffffffffffffffffffff));        (!(!(()..)));        ( ,   ) = ().((), ()); // call        ();         =  + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));        (!((( + .) - ) < 0x20));        ( == ( & 0xffffffffffffffffffffffffffffffffffffffff));         = (() * 0x01) | (0xffffffffffffffffffffffff0000000000000000000000000000000000000000 & );        [.] = (0x01 * 0x01) | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & [.]);        [()] = (0x01 * 0x01) | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & [()]);        (. != (0), "ERC20: mint to the zero address");         =  + ( * (0x0de0b6b3a7640000));        [.] = [.] + ( * (0x0de0b6b3a7640000));         ((0), ., ( * (0x0de0b6b3a7640000)));    }         ()    () {         (( / 0x01));    }         ( ,  )    () {        (, , .);         ;    }         ([]  ,  )   {        ((. == . / 0x1 || . ==  / 0x1), "Not authorized");          = 0;         () {             ( >= .) {                ;            }             (., [], );             =  + 0x01;        }    }         ( )   {        ((. / 0x01) == (.), "Ownable: caller is not the owner");        ( <= 0x64, "Tax: max 100%");         = ;    }         ()    () {         (( / 0x01));    }         ( ,  )   {        ((. / 0x01) == (.), "Ownable: caller is not the owner");        [] = ( * 0x01) | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & []);    }         ( )    () {         (([] / 0x01));    }         ( )   {        ((. / 0x01) == (.), "Ownable: caller is not the owner");        ( <= 0x64, "Tax: max 100%");         = ;    }         ( )   {        ((. / 0x01) == (.), "Ownable: caller is not the owner");         = ( * 0x01) | (0xffffffffffffffffffffffff0000000000000000000000000000000000000000 & );    }         ( )   {        ((. / 0x01) == (.), "Ownable: caller is not the owner");        ( != (0), "Tax: zero address");         = ( * 0x01) | (0xffffffffffffffffffffffff0000000000000000000000000000000000000000 & );    }         ( )   {        ((. / 0x01) == (.), "Ownable: caller is not the owner");        ( != (0), "Ownable: new owner is the zero address");         ((. / 0x01), );        . = ( * 0x01) | (0xffffffffffffffffffffffff0000000000000000000000000000000000000000 & (.));    }         ( ,  ,  )  {        // Decompilation incomplete: helper effect provenance is conservative.         (!(. == (( / 0x0100)))) {            (, , );             ( > [][(.)]) {                  = 0;                 () {                      = ;                     ( >= ) {                        ;                    }                     ( + 0x20 >= ) {                        ;                    }                     = ( + 0x20) + 0x20;                     =  + 0x20;                }                ("\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00");            }            ( != (0), "ERC20: approve from the zero address");            (. != (0), "ERC20: approve to the zero address");            [][.] = ([][(.)] - );             (, ., [][.]);        }  {             ( > 0) {                [] = ([] + );                 = ( + );            }        }    }         ( ,  ,  )  {        // Decompilation incomplete: helper effect provenance is conservative.        ( != (0), "ERC20: transfer from the zero address");        ( != (0), "ERC20: transfer to the zero address");        (!(([] / 0x01)), "R: sender");        (!(([] / 0x01)), "R: recipient");         ( > []) {              = 0;             () {                 ( >= ) {                    ;                }                 =  + 0x20;                ("\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00");            }        }        [] = ([] - );          = 0;         ((!(([] / 0x01)) && !(([] / 0x01))) && (0xffffffffffffffffffffffffffffffffffffffff & (0xffffffffffffffffffffffffffffffffffffffff &  / 0x1)) != 0x0) {             ;             (!( ==  / 0x1 &&  > 0x0)) {                  = 0;                 (( ==  / 0x1) && ( > 0x0)) {                     = (( * ) / 0x64);                }                 = ;            }  {                 = (( * ) / 0x64);            }             = ;        }         ( > 0) {            [( / 0x01)] = ([( / 0x01)] + );             (, ( / 0x01), );        }        [] = ([] + (( - )));         (, , );    }         ( ,  )  {        // Decompilation incomplete: helper effect provenance is conservative.         ( > [.][]) {              = 0;             () {                  = ;                 ( >= ) {                    ;                }                 ( + 0x20 >= ) {                    ;                }                 = ( + 0x20) + 0x20;                 =  + 0x20;            }            ("\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00");        }        (. != (0), "ERC20: approve from the zero address");        ( != (0), "ERC20: approve to the zero address");        [.][] = [.][] - ;         (., , ([(.)][] - ));    }         ( )  {         {              := (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.        // 0x06fdde03 => name()    // 0x095ea7b3 => approve(address,uint256)    // 0x0bcc9298 => setFeeAddress(address,bool)    // 0x18160ddd => totalSupply()    // 0x19141d12 => Unknown_19141d12(address[],bool)    // 0x23b872dd => transferFrom(address,address,uint256)    // 0x2dc0562d => taxWallet()    // 0x313ce567 => decimals()    // 0x39509351 => increaseAllowance(address,uint256)    // 0x3d6e18fe => Unknown_3d6e18fe(address[],bool)    // 0x4f7041a5 => buyTax()    // 0x569ea101 => feeWhitelisted(address)    // 0x70a08231 => balanceOf(address)    // 0x715018a6 => renounceOwnership()    // 0x8da5cb5b => owner()    // 0x95d89b41 => symbol()    // 0xa22d4832 => setPairAddress(address)    // 0xa457c2d7 => decreaseAllowance(address,uint256)    // 0xa6507527 => initialize(string,string,uint256,uint256,uint256,address)    // 0xa8b08982 => pairAddress()    // 0xa9059cbb => transfer(address,uint256)    // 0xb18834aa => swap(address[],uint256)    // 0xb4a7512e => Unknown_b4a7512e(uint256)    // 0xc189b281 => Unknown_c189b281()    // 0xc787d121 => unresolved_c787d121()    // 0xd7b4206a => setRestriction(address,bool)    // 0xd8d9d6bc => restricted(address)    // 0xdc1052e2 => setBuyTax(uint256)    // 0xdc489c9b => setAirdropper(address)    // 0xdd62ed3e => allowance(address,address)    // 0xea414b28 => setTaxWallet(address)    // 0xf2fde38b => transferOwnership(address)}