BNB Chain

0xf2a34f0062bac4c430af7b4a25219f7988ff59f2

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

Decompilation outputBNB Chain · 0xf2a34f00…88ff59f28.6 KB9.2 s
Share
1,140 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] bytes 0 to 0     ; // STORAGE[0x4]     ; // STORAGE[0x5]     ; // STORAGE[0x6]      ; // STORAGE[0x9]      ; // STORAGE[0xa]     ; // STORAGE[0xc]    ( => )  ; // STORAGE[0xd]    ( => )  ; // STORAGE[0xe]    ( => )  ; // STORAGE[0xf]    ( => )  ; // STORAGE[0x10]      ; // STORAGE[0x11]      ; // STORAGE[0x13]     ; // STORAGE[0x14]     ; // STORAGE[0x16]     ; // STORAGE[0x17]     ; // STORAGE[0x18]     ; // STORAGE[0x19]     ; // STORAGE[0x1a]      ; // STORAGE[0x1b]    ( => )  ; // STORAGE[0x1c]    ( => )  ; // STORAGE[0x1d]     ; // STORAGE[0x1e]      ; // STORAGE[0x1f]     ; // STORAGE[0x20]     ; // STORAGE[0x22]     ; // STORAGE[0x23]     ; // STORAGE[0x24]     ; // STORAGE[0x25]     ; // STORAGE[0x26]    ( => )  ; // STORAGE[0x27]     ; // STORAGE[0x28]         ( ,  , );     ( ,  , );    ()   {        // Synthetic compatibility routes preserve original selectors for unresolved names.         ((.. >= 4) && (. == 0x4bf458de)) {            // Route to Unknown_4bf458de() after replacing only msg.sig.            ((0x317a78ec));            ;        }         ((.. >= 4) && (. == 0x5b8c63b4)) {            // Route to Unknown_5b8c63b4(address) after replacing only msg.sig.            ((0x02719b74));            ;        }         ((.. >= 4) && (. == 0x5c511d89)) {            // Route to Unknown_5c511d89(address) after replacing only msg.sig.            ((0x4cae0e37));            ;        }         ((.. >= 4) && (. == 0x6d21bd96)) {            // Route to Unknown_6d21bd96(bool,uint256,uint256,uint256,bool,uint256) after replacing only msg.sig.            ((0xdc3ef933));            ;        }         ((.. >= 4) && (. == 0x92205aa2)) {            // Route to Unknown_92205aa2(address,uint256) after replacing only msg.sig.            ((0x7a4b3728));            ;        }         ((.. >= 4) && (. == 0xad513f8c)) {            // Route to Unknown_ad513f8c() after replacing only msg.sig.            ((0xcd5a6563));            ;        }         ((.. >= 4) && (. == 0xd1cb7c11)) {            // Route to Unknown_d1cb7c11(uint256) after replacing only msg.sig.            ((0xdd292ed7));            ;        }        ();    }             ()    ( ) {         ;    }         ( ,  )    () {        (. != (0), "ERC20: approve from the zero address");        ( != (0), "ERC20: approve to the zero address");         ([.]) {            (.. != 0x0);            ( ,   ) = .(); // call            ();        }        (. != (0), "BEP20: approve from the zero address");        ( != (0), "BEP20: approve to the zero address");        [.][] = ;         (., , [.][]);         ;    }         ( ,  ,  )    () {        ( != (0), "ERC20: transfer from the zero address");        ( != (0), "ERC20: transfer to the zero address");        ( > 0x0, "Transfer amount must be greater than zero");         ;         (!([] || [])) {              = !([]);             (![]) {                 = !([]);            }              = ([]) ? 1 : 0;             (![]) {                 = ([]) ? 1 : 0;            }              = () ? 1 : 0;             () {                 = ([]) ? 1 : 0;            }              = ;             ( != 0x0) {                 = ([]) ? 1 : 0;            }              = ;             ( != 0x0) {                 = (. < ) ? 1 : 0;            }              = ;             ( != 0x0) {                 = !(());            }             ;             ( == 0x0) {                  = () ? 1 : 0;                 () {                     = ([]) ? 1 : 0;                }                  = ;                 ( != 0x0) {                     = ([]) ? 1 : 0;                }                  = ;                 ( != 0x0) {                     = ();                }                 ;                 ( == 0x0) {                      = () ? 1 : 0;                     () {                         = ;                    }                      = ;                     ( != 0x0) {                         = (!([])) ? 1 : 0;                    }                      = ;                     ( != 0x0) {                         = (!([])) ? 1 : 0;                    }                      = ;                     ( != 0x0) {                         = 0x40 + ;                         (!(0x0b > )) {                        }  {                              = 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");                            }                        }                         =  - 0x0b;                    }                     = ;                }  {                      = 0x0f423f * ;                     (0x0 != ) {                        (((0x0f423f * ) / ) == 0x0f423f, "SafeMath: multiplication overflow");                    }  {                         = 0;                    }                     = 0x40 + ;                     = 0x40 + ;                     ( / 0xf4240 <= ) {                    }  {                          = 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");                        }                    }                     =  - ( / 0x0f4240);                }                 = ;            }  {                 = 0x40 + ;                 (!(0x0b > )) {                }  {                      = 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");                    }                }                 =  - 0x0b;            }             ([]) {                (.. != 0x0);                ( ,   ) = .(); // call                ();            }             ([.]) {                (.. != 0x0);                ( ,   ) = .(); // call                ();            }             ( == ) {                 =  + 0x24;                  = 0;                 () {                     ( >= .) {                        ;                    }                     = 0x20 + ;                    ( ,   ) = .(); // call                      = 0x60;                     (. != 0) {                         =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                         = ;                    }                     =  + 0x24;                      = 0;                     () {                         ( >= .) {                            ;                        }                         = 0x20 + ;                        ( ,   ) = .(); // call                          = 0x60;                         (. != 0) {                             =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                             = ;                        }                         =  + 0x24;                          = 0;                         () {                             ( >= .) {                                ;                            }                             = 0x20 + ;                            ( ,   ) = .(); // call                              = 0x60;                             (. != 0) {                                 =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                                 = ;                            }                            (!(((0x20 + ) + ) - (0x20 + ) < 0x40));                            (!(((0x20 + ) + ) - (0x20 + ) < 0x20));                            ( == ( & 0xffffffffffffffffffffffffffffffffffffffff));                            (!(((0x20 + ) + ) - (0x20 + ) < 0x20));                            ( == ( & 0xffffffffffffffffffffffffffffffffffffffff));                             = 0x44 + ;                              = 0;                             () {                                 ( >= .) {                                    ;                                }                                 = 0x20 + ;                                ( ,   ) = ().(); // call                                  = 0x60;                                 (. != 0) {                                     =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                                     = ;                                }                                (!(((0x20 + ) + ) - (0x20 + ) < 0x20));                                 = 0x44 + ;                                  = 0;                                 () {                                     ( >= .) {                                        ;                                    }                                     = 0x20 + ;                                    ( ,   ) = ().(); // call                                      = 0x60;                                     (. != 0) {                                         =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                                         = ;                                    }                                    (!(((0x20 + ) + ) - (0x20 + ) < 0x20));                                     (() != ()) {                                          = 0;                                          = 0;                                          = 0;                                         (() == ()) {                                              = 0;                                              = ( == ) ? 1 : 0;                                              = 0;                                             ( > ) {                                                 =  - ;                                                 = 0;                                                 = (( - ) > ) ? 1 : 0;                                            }                                             = ;                                             = ;                                             = ;                                        }                                          = ;                                         ( == 0) {                                             = ;                                        }                                         ( != 0x0) {                                            (.. != 0x0);                                            ( ,   ) = .(); // call                                            ();                                        }                                    }  {                                          = 0;                                          = ( == ) ? 1 : 0;                                          = 0;                                         ( > ) {                                             =  - ;                                             = 0;                                             = (( - ) > ) ? 1 : 0;                                        }                                          = ;                                         ( == 0) {                                             = ;                                        }                                         ( != 0x0) {                                            (.. != 0x0);                                            ( ,   ) = .(); // call                                            ();                                        }                                    }                                }                            }                        }                    }                }            }              = () ? 1 : 0;             () {                 = ([]) ? 1 : 0;            }              = ;             ( != 0x0) {                 = ([]) ? 1 : 0;            }              = ;             ( != 0x0) {                 = !(());            }              = ;             ( != 0x0) {                 = (!([.])) ? 1 : 0;            }             ( != 0x0) {                (.. != 0x0);                ( ,   ) = .(); // call                ();            }              = () ? 1 : 0;             () {                 = ([]) ? 1 : 0;            }              = ;             ( != 0x0) {                 = ([]) ? 1 : 0;            }              = ;             ( != 0x0) {                 = !(());            }              = ;             ( != 0x0) {                 = (. == ()) ? 1 : 0;            }              = ;             ( != 0x0) {                 = (. > ) ? 1 : 0;            }             ( != 0x0) {                (.. != 0x0);                ( ,   ) = .(); // call                ();            }            (!((0x01 + [.]) < [.]), "SafeMath: addition overflow");            [.] = 0x01 + [.];             (() && ( < )) {                 = 0x40 + ;                 ( <= ) {                }  {                      = 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");                    }                }                (( - ), (), );            }            (, , );             (() && ((0xff & ) == 0x0)) {                 =  + 0x24;                  = 0;                 () {                     ( >= .) {                        ;                    }                     = 0x20 + ;                    ( ,   ) = .(); // call                      = 0x60;                     (. != 0) {                         =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                         = ;                    }                    (!(((0x20 + ) + ) - (0x20 + ) < 0x20));                     = ;                     ( > ) {                        (.. != 0x0);                        ( ,   ) = .(); // call                        ();                    }                }            }        }  {            (, , );        }         = 0x60 + ;         ( <= [][.]) {        }  {              = 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\x00\x00");            }        }        ( != (0), "ERC20: approve from the zero address");        (. != (0), "ERC20: approve to the zero address");         ([.]) {            (.. != 0x0);            ( ,   ) = .(); // call            ();        }        ( != (0), "BEP20: approve from the zero address");        (. != (0), "BEP20: approve to the zero address");        [][.] = [][.] - ;         (, ., [][.]);         ;    }         ( ,  )    () {        (!(( + [.][]) < [.][]), "SafeMath: addition overflow");        (. != (0), "ERC20: approve from the zero address");        ( != (0), "ERC20: approve to the zero address");         ([.]) {            (.. != 0x0);            ( ,   ) = .(); // call            ();        }        (. != (0), "BEP20: approve from the zero address");        ( != (0), "BEP20: approve to the zero address");        [.][] =  + [.][];         (., , [.][]);         ;    }         ()    () {         !(!(()));    }         ( )   {         ;         = 0x14 + (0x20 + );          = 0;         () {             ( >= .) {                ;            }             = 0x20 + ;            ();             =  + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));            (!((( + .) - ) < 0x20));             (. == ) {                [] = ;            }  {                (.. != 0x0);                ( ,   ) = .(); // call                ();            }        }    }         ( )   {         ;         = 0x14 + (0x20 + );          = 0;         () {             ( >= .) {                ;            }             = 0x20 + ;            ();             =  + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));            (!((( + .) - ) < 0x20));             (. == ) {                 = ;            }  {                (.. != 0x0);                ( ,   ) = .(); // call                ();            }        }    }         ( ,  ,  ,  ,  ,  )   {        (, , , , , );    }         ( )    () {        ( != (0), "balance query for the zero address");         (0x0 != []) {             [];        }  {             ;        }    }         ( ,  )   {        (, );    }         ()    ( ) {         ;    }         ([]  ,  ,  )   {        ([.]);          = 0;         () {             ( >= .) {                ;            }             (, [], );             = 0x01 + ;        }    }         ( ,  )    () {         ;         = 0x60 + ;         (!( > [.][])) {            (. != (0), "ERC20: approve from the zero address");            ( != (0), "ERC20: approve to the zero address");             ([.]) {                (.. != 0x0);                ( ,   ) = .(); // call                ();            }            (. != (0), "BEP20: approve from the zero address");            ( != (0), "BEP20: approve to the zero address");            [.][] = [.][] - ;             (., , [.][]);        }  {              = 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");            }        }         ;    }         ( ,  )    () {        (, , .);         ;    }         ()    () {         !(!(()));    }         ( )   {        ();    }         ( ,  ,  )  {        // Decompilation incomplete: helper effect provenance is conservative.         (!( <= [])) {              = 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");            }        }        [] = ([] - );        ( + [] >= [], "SafeMath: addition overflow");        [] = ( + []);         (, , );    }         ( ,  ,  ,  ,  ,  )  {        // Decompilation incomplete: helper effect provenance is conservative.         ;         = 0x14 + (0x20 + );          = 0;         () {             ( >= .) {                ;            }             = 0x20 + ;            ();             =  + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));            (!((( + .) - ) < 0x20));             (. == ) {                 =  | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & );                 = ;                 = ;                 = ;                 =  | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & );                 = () ? 1 : 0;            }  {                (.. != 0x0);                ( ,   ) = .(); // call                ();            }        }    }         ( ,  )  {        // Decompilation incomplete: helper effect provenance is conservative.         ;         = 0x14 + (0x20 + );          = 0;         () {             ( >= .) {                ;            }             = 0x20 + ;            ();             =  + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));            (!((( + .) - ) < 0x20));             (. == ) {                 = 0x60 + ;                 (!( <= [])) {                      = 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");                    }                }                [] = ([] - );                ( + [] >= [], "SafeMath: addition overflow");                [] = ( + []);                 (, , );            }  {                (.. != 0x0);                ( ,   ) = .(); // call                ();            }        }    }         ( ,  ,  )  {        // Decompilation incomplete: helper effect provenance is conservative.        ( != (0), "ERC20: transfer from the zero address");        ( != (0), "ERC20: transfer to the zero address");        ( > 0x0, "Transfer amount must be greater than zero");         (!([] || [])) {              = !([]);             (![]) {                 = !([]);            }              = ([]) ? 1 : 0;             (![]) {                 = ([]) ? 1 : 0;            }              = () ? 1 : 0;             () {                 = ([]) ? 1 : 0;            }              = ;             ( != 0x0) {                 = ([]) ? 1 : 0;            }              = ;             ( != 0x0) {                 = (. < ) ? 1 : 0;            }              = ;             ( != 0x0) {                 = !(());            }             ;             ;             ( == 0x0) {                  = () ? 1 : 0;                 () {                     = ([]) ? 1 : 0;                }                  = ;                 ( != 0x0) {                     = ([]) ? 1 : 0;                }                  = ;                 ( != 0x0) {                     = ();                }                 ;                 ( == 0x0) {                      = () ? 1 : 0;                     () {                         = ;                    }                      = ;                     ( != 0x0) {                         = (!([])) ? 1 : 0;                    }                      = ;                     ( != 0x0) {                         = (!([])) ? 1 : 0;                    }                      = ;                     ( != 0x0) {                         = 0x40 + ;                         (0x0b > ) {                              = 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");                            }                        }                         = ( - 0x0b);                    }                     = ;                }  {                      = (0x0f423f * );                     (0x0 != ) {                        (((0x0f423f * ) / ) == 0x0f423f, "SafeMath: multiplication overflow");                    }  {                         = 0;                    }                     = 0x40 + ;                     = 0x40 + ;                     (!( / 0xf4240 <= )) {                          = 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");                        }                    }                     = ( - ( / 0x0f4240));                }                 = ;            }  {                 = 0x40 + ;                 (0x0b > ) {                      = 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");                    }                }                 = ( - 0x0b);            }             ([]) {                (.. != 0x0);                ( ,   ) = .(); // call                ();            }             ([]) {                (.. != 0x0);                ( ,   ) = .(); // call                ();            }             ( == ) {                 =  + 0x24;                  = 0;                 () {                     ( >= .) {                        ;                    }                     = 0x20 + ;                    ( ,   ) = .(); // call                      = 0x60;                     (. != 0) {                         =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                         = ;                    }                     =  + 0x24;                      = 0;                     () {                         ( >= .) {                            ;                        }                         = 0x20 + ;                        ( ,   ) = .(); // call                          = 0x60;                         (. != 0) {                             =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                             = ;                        }                         =  + 0x24;                          = 0;                         () {                             ( >= .) {                                ;                            }                             = 0x20 + ;                            ( ,   ) = .(); // call                              = 0x60;                             (. != 0) {                                 =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                                 = ;                            }                            (!(((0x20 + ) + ) - (0x20 + ) < 0x40));                            (!(((0x20 + ) + ) - (0x20 + ) < 0x20));                            ( == ( & 0xffffffffffffffffffffffffffffffffffffffff));                            (!(((0x20 + ) + ) - (0x20 + ) < 0x20));                            ( == ( & 0xffffffffffffffffffffffffffffffffffffffff));                             = 0x44 + ;                              = 0;                             () {                                 ( >= .) {                                    ;                                }                                 = 0x20 + ;                                ( ,   ) = ().(); // call                                  = 0x60;                                 (. != 0) {                                     =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                                     = ;                                }                                (!(((0x20 + ) + ) - (0x20 + ) < 0x20));                                 = 0x44 + ;                                  = 0;                                 () {                                     ( >= .) {                                        ;                                    }                                     = 0x20 + ;                                    ( ,   ) = ().(); // call                                      = 0x60;                                     (. != 0) {                                         =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                                         = ;                                    }                                    (!(((0x20 + ) + ) - (0x20 + ) < 0x20));                                     (() != ()) {                                          = 0;                                          = 0;                                          = 0;                                         (() == ()) {                                              = 0;                                              = ( == ) ? 1 : 0;                                              = 0;                                             ( > ) {                                                 =  - ;                                                 = 0;                                                 = (( - ) > ) ? 1 : 0;                                            }                                             = ;                                             = ;                                             = ;                                        }                                          = ;                                         ( == 0) {                                             = ;                                        }                                         ( != 0x0) {                                            (.. != 0x0);                                            ( ,   ) = .(); // call                                            ();                                        }                                    }  {                                          = 0;                                          = ( == ) ? 1 : 0;                                          = 0;                                         ( > ) {                                             =  - ;                                             = 0;                                             = (( - ) > ) ? 1 : 0;                                        }                                          = ;                                         ( == 0) {                                             = ;                                        }                                         ( != 0x0) {                                            (.. != 0x0);                                            ( ,   ) = .(); // call                                            ();                                        }                                    }                                }                            }                        }                    }                }            }              = () ? 1 : 0;             () {                 = ([]) ? 1 : 0;            }              = ;             ( != 0x0) {                 = ([]) ? 1 : 0;            }              = ;             ( != 0x0) {                 = !(());            }              = ;             ( != 0x0) {                 = (!([])) ? 1 : 0;            }             ( != 0x0) {                (.. != 0x0);                ( ,   ) = .(); // call                ();            }              = () ? 1 : 0;             () {                 = ([]) ? 1 : 0;            }              = ;             ( != 0x0) {                 = ([]) ? 1 : 0;            }              = ;             ( != 0x0) {                 = !(());            }              = ;             ( != 0x0) {                 = ( == ()) ? 1 : 0;            }              = ;             ( != 0x0) {                 = (. > ) ? 1 : 0;            }             ( != 0x0) {                (.. != 0x0);                ( ,   ) = .(); // call                ();            }            (!((0x01 + []) < []), "SafeMath: addition overflow");            [] = (0x01 + []);             (() && ( < )) {                 = 0x40 + ;                 (!( <= )) {                      = 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");                    }                }                 = 0x60 + ;                 (!((( - )) <= [])) {                      = 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");                    }                }                [] = ([] - (( - )));                ((( - )) + [()] >= [()], "SafeMath: addition overflow");                [()] = (( - ) + [()]);                 (, (), ( - ));            }             = 0x60 + ;             (!( <= [])) {                  = 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");                }            }            [] = ([] - );            ( + [] >= [], "SafeMath: addition overflow");            [] = ( + []);             (, , );             (() && ((0xff & ) == 0x0)) {                 =  + 0x24;                  = 0;                 () {                     ( >= .) {                        ;                    }                     = 0x20 + ;                    ( ,   ) = .(); // call                      = 0x60;                     (. != 0) {                         =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                         = ;                    }                    (!(((0x20 + ) + ) - (0x20 + ) < 0x20));                     = ;                     ( > ) {                        (.. != 0x0);                        ( ,   ) = .(); // call                        ();                    }                }            }            ;        }  {            (, , );            ;        }    }         ( )  {        // Decompilation incomplete: helper effect provenance is conservative.         ;         = 0x14 + (0x20 + );          = 0;         () {             ( >= .) {                ;            }             = 0x20 + ;            ();             =  + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));            (!((( + .) - ) < 0x20));             (. == ) {                 = 0x60 + ;                 (!( <= [])) {                      = 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");                    }                }                [] = ([] - );                ( + [] >= [], "SafeMath: addition overflow");                [] = ( + []);                 (, , );            }  {                (.. != 0x0);                ( ,   ) = .(); // call                ();            }        }    }         ( )  {         {              := (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)    // 0x0fcea756 => unresolved_0fcea756()    // 0x121672f5 => unresolved_121672f5(address)    // 0x18160ddd => totalSupply()    // 0x1cb17107 => unresolved_1cb17107(address)    // 0x1ea8c864 => unresolved_1ea8c864(address)    // 0x23b872dd => transferFrom(address,address,uint256)    // 0x313ce567 => decimals()    // 0x39509351 => increaseAllowance(address,uint256)    // 0x49bd5a5e => uniswapV2Pair()    // 0x4bf458de => Unknown_4bf458de()    // 0x5351daa7 => unresolved_5351daa7(address)    // 0x564fd6fa => unresolved_564fd6fa(address)    // 0x5b8c63b4 => Unknown_5b8c63b4(address)    // 0x5c511d89 => Unknown_5c511d89(address)    // 0x6d21bd96 => Unknown_6d21bd96(bool,uint256,uint256,uint256,bool,uint256)    // 0x70a08231 => balanceOf(address)    // 0x7f80c763 => unresolved_7f80c763()    // 0x85a27fad => unresolved_85a27fad()    // 0x92205aa2 => Unknown_92205aa2(address,uint256)    // 0x95d89b41 => symbol()    // 0x983bc41b => airdrop(address[],address,uint256)    // 0xa457c2d7 => decreaseAllowance(address,uint256)    // 0xa9059cbb => transfer(address,uint256)    // 0xad513f8c => Unknown_ad513f8c()    // 0xaed893ee => unresolved_aed893ee(address)    // 0xc45a0155 => factory()    // 0xc755bc98 => unresolved_c755bc98(address)    // 0xd1cb7c11 => Unknown_d1cb7c11(uint256)    // 0xd8c73646 => unresolved_d8c73646()    // 0xdd62ed3e => allowance(address,address)}