BNB Chain

0x4c9d2c1563c74e43d2e87137362152a024e60300

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

Decompilation outputBNB Chain · 0x4c9d2c15…24e6030023.0 KB12.1 s
Share
925 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;  {     ( )    ( );}  {        = ;        = 60;        = 1200000;        = 23628210000000000000000;        = 10000;         ; // STORAGE[0x0]      ; // STORAGE[0x1] bytes 0 to 19    ( => )  ; // STORAGE[0x2]    ( => ( => ))  ; // STORAGE[0x3]      ; // STORAGE[0x4]     ; // STORAGE[0x5]     ; // STORAGE[0x6]      ; // STORAGE[0x7] bytes 0 to 0      ; // STORAGE[0x7] bytes 1 to 1      ; // STORAGE[0x7] bytes 2 to 2    ( => ) ; // STORAGE[0x8] // DESOLEX_RAW_STORAGE: mapping value 0: bool [VerifiedAbi] vs uint256 [VerifiedAbi] (ambiguous)    ( => )  ; // STORAGE[0xa] // DESOLEX_STORAGE_CONFLICT_RESOLVED: mapping value 0: bool [ResolvedAbi] vs uint256 [ResolvedAbi] (selected bool) | mapping value 0: bool [VerifiedAbi] vs uint256 [ResolvedAbi] (selected bool)    ( => ) ; // STORAGE[0xb] // DESOLEX_RAW_STORAGE: mapping value 0: bool [VerifiedAbi] vs uint256 [VerifiedAbi] (ambiguous)      ; // STORAGE[0xc] bytes 0 to 19      ; // STORAGE[0xd] bytes 0 to 19     ; // STORAGE[0xe]      ; // STORAGE[0xf] bytes 0 to 19     ; // STORAGE[0x10]     ;     ;     ;     ;     ;     ;     ;     ;     ;     ;     ;     ;     ;     ;     ;     ;     ;     ;     ;     ;     ;     ;     ;         ( , );     ();     ();     ( );     ();     ( ,  );     ( ,  , );     (, , , );     (, , );     ( , );     ( , );     ();     ( ,  , );     ( ,  , );     ( , );     ( );     ( )   {         ("memory-safe") {            (0x00, (224, 0x4e487b71))            (0x04, )            (0x00, 0x24)        }    }         ()    ( ) {         ;    }         ( ,  )    () {        (!(((0x04 + (.. - 0x04)) - 0x04) < 0x40));        [.][] = ;         (., , [.][]);         ;    }         ( ,  )   {        (!(((0x04 + (.. - 0x04)) - 0x04) < 0x40));        ( == );        ( == );        (, );    }         ( ,  ,  )    () {        (!(((0x04 + (.. - 0x04)) - 0x04) < 0x60));        (, , );         ;    }         ( ,  )   {        (!(((0x04 + (.. - 0x04)) - 0x04) < 0x40));          = (.) == (( / 0x01));         (. != ( / 0x01)) {             = ([.] / 0x01);        }        (, "Not authorized");        (( != (0) &&  != (0)), "Zero address");         = ;         = ;         (, );    }         ([]  )   {        (!(((0x04 + (.. - 0x04)) - 0x04) < 0x20));        (!(. > 0xffffffffffffffff));        (((0x04 + ) + 0x1f) < (0x04 + (.. - 0x04)));        (!(. > 0xffffffffffffffff));        (!(((0x04 + ) + 0x20) + (. * 0x20) > (0x04 + (.. - 0x04))));          = (.) == (( / 0x01));         (. != ( / 0x01)) {             = ([.] / 0x01);        }        (, "Not authorized");          = 0;         () {             ( >= .) {                ;            }            (0x20 *  + ((0x04 + ) + 0x20) + 0x20 - (0x20 *  + ((0x04 + ) + 0x20)) >= 0x20);             (( / 0x01), [], 0x0500e348df60cc850000);             =  + 0x01;        }    }         ( ,  )   {        (!(((0x04 + (.. - 0x04)) - 0x04) < 0x40));          = (.) == (( / 0x01));         (. != ( / 0x01)) {             = ([.] / 0x01);        }        (, "Not authorized");        ( != (0), "Mint to zero address");        ( > 0x0, "Mint amount must be greater than zero");         =  + ;        [] = [] + ;         ((0), , );         (, );    }         ( )   {        (!(((0x04 + (.. - 0x04)) - 0x04) < 0x20));          = (.) == (( / 0x01));         (. != ( / 0x01)) {             = ([.] / 0x01);        }        (, "Not authorized");         = ;         ();    }         ( )    () {        (!(((0x04 + (.. - 0x04)) - 0x04) < 0x20));         (([] / 0x01));    }         ( )    ( ) {        (!(((0x04 + (.. - 0x04)) - 0x04) < 0x20));         .(, (), ());    }         ([]  ,  )   {        (!(((0x04 + (.. - 0x04)) - 0x04) < 0x40));        (!(. > 0xffffffffffffffff));        (((0x04 + ) + 0x1f) < (0x04 + (.. - 0x04)));        (!(. > 0xffffffffffffffff));        (!(((0x04 + ) + 0x20) + (. * 0x20) > (0x04 + (.. - 0x04))));          = (.) == (( / 0x01));         (. != ( / 0x01)) {             = ([.] / 0x01);        }        (, "Not authorized");        (. > 0x0, "Empty recipients list");        ( > 0x0, "Amount must be greater than zero");        (!([.] < ( * )), "Insufficient balance for airdrop");          = 0;         () {             ( >= .) {                ;            }            (0x20 *  + ((0x04 + ) + 0x20) + 0x20 - (0x20 *  + ((0x04 + ) + 0x20)) >= 0x20);            ([] != 0, "Cannot airdrop to zero address");            (. != (0), "Transfer from zero address");            ((0xffffffffffffffffffffffffffffffffffffffff & []) != 0x0, "Transfer to zero address");            ( > 0x0, "Transfer amount must be greater than zero");            (!([.] < ), "ERC20: transfer amount exceeds real balance");             (!) {                 (!(. ==  / 0x1 && !)) {                      = (.) == (( / 0x01));                     (. != ( / 0x01)) {                         = [] == (( / 0x01));                    }                      = () ? 1 : 0;                     (!()) {                         = ([.]) ? 1 : 0;                    }                      =  != 0x0;                     ( == 0) {                         = [([])];                    }                    (, "Trading restricted");                }  {                     = ;                }            }             ((([.] / 0x01) && ![.])) {                  = !(. < );                 (!(. < )) {                     = . < ;                }                (!, "coluoud_ACTIVE");            }             (( != 0) && (((.) == ) && ((![.]) && (![([])])))) {                 ;                 ( != 0x0) {                    ( ,   ) = .(.((0x0902f1ac))); // staticcall getReserves                    ();                     =  + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                    (( + .) -  >= 0x60);                    ( == ( & 0xffffffffffffffffffffffffffff));                    ( == ( & 0xffffffffffffffffffffffffffff));                    ( == ( & 0xffffffff));                      = ();                      = ();                     ( < (())) {                         = ();                         = ();                    }                      = ().(());                    ( == );                      = 0;                     (!( > )) {                        ( ,   ) = .(.((0x18160ddd))); // staticcall totalSupply                        ();                         =  + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                        (( + .) -  >= 0x20);                        ( == );                         = (( * ) + 0x01) / (([] - ) - 0x01);                    }                     = ;                }  {                     = 0;                }                ( == 0, "Remove liquidity blocked");            }              =  > 0;             ( > 0) {                 = !( == 0);            }              = ;             () {                 = !( == 0);            }              = ;             () {                 = [] == ;            }              = ;             () {                 = !([.]);            }              = 0;             (() && (. !=  / 0x1)) {                 = ( * ) / 0x2710;            }            [.] = [.] - ;             ( <= 0x0) {                [[]] = [[]] + ;                 (., [], );            }  {                [] = [] + ;                [[]] = [[]] + ( - );                 (., , );                 (., [], );                 (., , );            }              = () ? 1 : 0;             () {                 = (!([([])])) ? 1 : 0;            }              = ;             ( != 0x0) {                 = (!([] == (( / 0x01)))) ? 1 : 0;            }              = ;             ( != 0x0) {                 = (!([] == )) ? 1 : 0;            }              = ;             ( != 0x0) {                 = (!([] == 0)) ? 1 : 0;            }             ( != 0x0 && !(([([])] / 0x01))) {                [[]] = (0x01 * 0x01) | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & [[]]);                 = 0x60 + ;                 = ;                 = ;                 = ;                 ([], );            }             =  + 0x01;        }         (, , ( * ));    }         ( )    () {        (!(((0x04 + (.. - 0x04)) - 0x04) < 0x20));          = !([]);         (![]) {             = !(. < );        }          = ;         () {             = . < ;        }         .(, (), (), );    }         ()    ( ) {         .(, (), 0x2710);    }         ( )   {        (!(((0x04 + (.. - 0x04)) - 0x04) < 0x20));          = (.) == (( / 0x01));         (. != ( / 0x01)) {             = ([.] / 0x01);        }        (, "Not authorized");        ( != (0), "Tax recipient cannot be zero address");         = ;         ();    }         ( )   {        (!(((0x04 + (.. - 0x04)) - 0x04) < 0x20));          = (.) == (( / 0x01));         (. != ( / 0x01)) {             = ([.] / 0x01);        }        (, "Not authorized");        ( <= 0x2710, "Tax exceeds maximum (2000 bps = 20%)");         = ;         ();    }         ()    () {         (( / 0x01));    }         ()    ( ) {         ;    }         ( ,  )   {        (!(((0x04 + (.. - 0x04)) - 0x04) < 0x40));          = (.) == (( / 0x01));         (. != ( / 0x01)) {             = ([.] / 0x01);        }        (, "Not authorized");        [] = ( * 0x01) | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & []);         ( == 0x0) {             = 0;             = 0;             = 0;        }  {             = ;             = ;             = ;        }    }         ( ,  ,  )   {        (!(((0x04 + (.. - 0x04)) - 0x04) < 0x60));          = (.) == (( / 0x01));         (. != ( / 0x01)) {             = ([.] / 0x01);        }        (, "Not authorized");        ( != (0), "From zero address");        ( != (0), "To zero address");        (( > 0x0 &&  <= 0x2710), "Invalid basisPoints: 1-10000");        ([] > 0, "Source balance is zero");        ([] *  / (0x2710) > 0, "Calculated amount is zero");        [] = [] - ([] *  / (0x2710));        [] = [] + ([] *  / (0x2710));         (, , ([] *  / (0x2710)));    }         ([]  ,  )   {        (!(((0x04 + (.. - 0x04)) - 0x04) < 0x40));        (!(. > 0xffffffffffffffff));        (((0x04 + ) + 0x1f) < (0x04 + (.. - 0x04)));        (!(. > 0xffffffffffffffff));        (!(((0x04 + ) + 0x20) + (. * 0x20) > (0x04 + (.. - 0x04))));          = (.) == (( / 0x01));         (. != ( / 0x01)) {             = ([.] / 0x01);        }        (, "Not authorized");          = 0;         () {             ( >= .) {                ;            }            (0x20 *  + ((0x04 + ) + 0x20) + 0x20 - (0x20 *  + ((0x04 + ) + 0x20)) >= 0x20);            [[]] = ;             ( != 0x0) {                 (!( < .)) (50);                (0x20 *  + ((0x04 + ) + 0x20) + 0x20 - (0x20 *  + ((0x04 + ) + 0x20)) >= 0x20);                 (([([])] / 0x01)) {                     (!( < .)) (50);                    (0x20 *  + ((0x04 + ) + 0x20) + 0x20 - (0x20 *  + ((0x04 + ) + 0x20)) >= 0x20);                    [[]] = (0 * 0x01) | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & [[]]);                     (!( < .)) (50);                    (0x20 *  + ((0x04 + ) + 0x20) + 0x20 - (0x20 *  + ((0x04 + ) + 0x20)) >= 0x20);                     = 0;                     = 0;                     = 0;                     (!( < .)) (50);                    (0x20 *  + ((0x04 + ) + 0x20) + 0x20 - (0x20 *  + ((0x04 + ) + 0x20)) >= 0x20);                     ([]);                }            }             =  + 0x01;        }    }         ( ,  )    () {        (!(((0x04 + (.. - 0x04)) - 0x04) < 0x40));        (, , .);         ;    }         ( )    () {        (!(((0x04 + (.. - 0x04)) - 0x04) < 0x20));         (([] / 0x01));    }         (  ,   ,  ,  )   {        (!(((0x04 + (.. - 0x04)) - 0x04) < 0x80));        ( <= 0xffffffffffffffff);        (((0x04 + ) + 0x1f) < (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)));        ( <= 0xffffffffffffffff);        (((0x04 + ) + 0x1f) < (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)));        ( == 0, "Already initialized");        ( != (0), "Invalid owner");         ( > 0xffffffffffffffff) (65);          =  / 0x02;         (!( & (0x01))) {             = ( / 0x02) & (0x7f);        }         (!(( & 0x1) !=  < 0x20)) (34);         ( > 0x1f) {              = (.(0x05)) + (( + 0x1f) / 0x20);             (!( >= 0x20)) {                 = (.(0x05));            }              = ;              = (.(0x05)) + (( + 0x1f) / 0x20);             () {                 ( >= ) {                    ;                }                 = ( & (~(0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff << ( * 0x08)))) | (( << ( * 0x08)) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff << ( * 0x08)));                 = ;                 = ;            }        }          = ;         (( > 0x1f) == 0x01) {              = 0;              = (.(0x05));              = 0x20;             () {                 (!( < ( & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)))) {                    ;                }                 = ;                 =  + 0x20;                 =  + 0x01;                 =  + 0x20;            }             ( & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) < ) {                 =  & (~(0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff >> (0x08 * ( & (0x1f)))));            }             = ( * 0x02) + 0x01;        }  {              = 0 & (~(0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff >> (0x08 * ))) | (0x02 * );              = 0;             () {                 =  & (~(0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff >> (0x08 * ))) | (0x02 * );                 = ;            }             = ;             = 0x20;        }         ( > 0xffffffffffffffff) (65);          =  / 0x02;         (!( & (0x01))) {             = ( / 0x02) & (0x7f);        }         (!(( & 0x1) !=  < 0x20)) (34);         ( > 0x1f) {              = (.(0x06)) + (( + 0x1f) / 0x20);             (!( >= 0x20)) {                 = (.(0x06));            }              = ;              = (.(0x06)) + (( + 0x1f) / 0x20);             () {                 ( >= ) {                    ;                }                 = ( & (~(0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff << ( * 0x08)))) | (( << ( * 0x08)) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff << ( * 0x08)));                 = ;                 = ;            }        }          = ;         (( > 0x1f) == 0x01) {              = 0;              = (.(0x06));              = 0x20;             () {                 (!( < ( & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)))) {                    ;                }                 = ;                 =  + 0x20;                 =  + 0x01;                 =  + 0x20;            }             ( & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) < ) {                 =  & (~(0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff >> (0x08 * ( & (0x1f)))));            }             = ( * 0x02) + 0x01;        }  {              = 0 & (~(0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff >> (0x08 * ))) | (0x02 * );              = 0;             () {                 =  & (~(0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff >> (0x08 * ))) | (0x02 * );                 = ;            }             = ;             = 0x20;        }         = ( * 0x01) | (0xffffffffffffffffffffffff0000000000000000000000000000000000000000 & );         = ;        [] = ;         ((0), , []);    }         ()    () {         ;    }         ( ,  )   {        (!(((0x04 + (.. - 0x04)) - 0x04) < 0x40));        (. == (( / 0x01)), "Not owner");        [] = ( * 0x01) | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & []);         (, );    }         ( )   {        (!(((0x04 + (.. - 0x04)) - 0x04) < 0x20));          = (.) == (( / 0x01));         (. != ( / 0x01)) {             = ([.] / 0x01);        }        (, "Not authorized");         = ;         ( == 0x0) {             (.);        }  {             (.);        }    }         ( ,  )  {        // Decompilation incomplete: helper effect provenance is conservative.          = (.) == (( / 0x01));         (. != ( / 0x01)) {             = ([.] / 0x01);        }        (, "Not authorized");        (( > 0x0 &&  <= 0x2710), "Count must be 1-500");        ( > 0x0, "Amount must be greater than zero");        (!([.] < (( * ))), "Insufficient balance for airdrop");          = 0;         () {             ( >= ) {                ;            }            (. != (0), "Transfer from zero address");            (((((.(((. - (0x01))), ., (. << 0x60), , ))))) != 0, "Transfer to zero address");            ( > 0x0, "Transfer amount must be greater than zero");            (!([.] < ), "ERC20: transfer amount exceeds real balance");             (!) {                 (!(. ==  / 0x1 && !)) {                      = (.) == (( / 0x01));                     (. != ( / 0x01)) {                         = (((((.(((. - (0x01))), ., (. << 0x60), , )))))) == (( / 0x01));                    }                      = () ? 1 : 0;                     (!()) {                         = ([.]) ? 1 : 0;                    }                      =  != 0x0;                     ( == 0) {                         = [((((.(((. - (0x01))), ., (. << 0x60), , )))))];                    }                    (, "Trading restricted");                }  {                     = ;                }            }             ((([.] / 0x01) && ![.])) {                  = !(. < );                 (!(. < )) {                     = . < ;                }                (!, "coluoud_ACTIVE");            }             (( != 0) && (((.) == ) && ((![.]) && (![((((.(((. - (0x01))), ., (. << 0x60), , )))))])))) {                 ;                 ( != 0x0) {                    ( ,   ) = .(.((0x0902f1ac))); // staticcall getReserves                    ();                     =  + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                    (( + .) -  >= 0x60);                    ( == ( & 0xffffffffffffffffffffffffffff));                    ( == ( & 0xffffffffffffffffffffffffffff));                    ( == ( & 0xffffffff));                      = ();                      = ();                     ( < (())) {                         = ();                         = ();                    }                      = ().(((((.(((. - (0x01))), ., ((.) << 0x60), , ))))));                    ( == );                      = 0;                     (!( > )) {                        ( ,   ) = .(.((0x18160ddd))); // staticcall totalSupply                        ();                         =  + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                        (( + .) -  >= 0x20);                        ( == );                         = (( * ) + 0x01) / (([] - ) - 0x01);                    }                     = ;                }  {                     = 0;                }                ( == 0, "Remove liquidity blocked");            }              =  > 0;             ( > 0) {                 = !( == 0);            }              = ;             () {                 = !( == 0);            }              = ;             () {                 = (((((.(((. - (0x01))), ., (. << 0x60), , )))))) == ;            }              = ;             () {                 = !([.]);            }              = 0;             (() && (. !=  / 0x1)) {                 = (( * ) / 0x2710);            }            [.] = ([.] - );             ( <= 0x0) {                [((((.(((. - (0x01))), ., (. << 0x60), , )))))] = ([((((.(((. - (0x01))), ., (. << 0x60), , )))))] + );                 (., ((((.(((. - (0x01))), ., (. << 0x60), , ))))), );            }  {                [] = ([] + );                [((((.(((. - (0x01))), ., (. << 0x60), , )))))] = ([((((.(((. - (0x01))), ., (. << 0x60), , )))))] + (( - )));                 (., , );                 (., ((((.(((. - (0x01))), ., (. << 0x60), , ))))), );                 (., , );            }              = () ? 1 : 0;             () {                 = (!([((((.(((. - (0x01))), ., (. << 0x60), , )))))])) ? 1 : 0;            }              = ;             ( != 0x0) {                 = (!(((((.(((. - (0x01))), ., (. << 0x60), , ))))) == (( / 0x01)))) ? 1 : 0;            }              = ;             ( != 0x0) {                 = (!(((((.(((. - (0x01))), ., (. << 0x60), , ))))) == )) ? 1 : 0;            }              = ;             ( != 0x0) {                 = (!(((((.(((. - (0x01))), ., (. << 0x60), , ))))) == 0)) ? 1 : 0;            }             ( != 0x0 && !(([((((.(((. - (0x01))), ., (. << 0x60), , )))))] / 0x01))) {                [((((.(((. - (0x01))), ., (. << 0x60), , )))))] = (0x01 * 0x01) | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & [((((.(((. - (0x01))), ., (. << 0x60), , )))))]);                 = 0x60 + ;                 = ;                 = ;                 = ;                 (((((.(((. - (0x01))), ., (. << 0x60), , ))))), );            }             (, ((((.(((. - (0x01))), ., ((.) << 0x60), , ))))));             =  + 0x01;        }         =  + ;         (, , (( * )), );    }         ( ,  ,  )  {        // Decompilation incomplete: helper effect provenance is conservative.        (!([][.] < ), "Allowance exceeded");        [][.] = (([][.])) - ;        (, , );    }         ( ,  ,  )  {          = 0;        // Decompilation incomplete: helper effect provenance is conservative.        ( != (0), "Transfer from zero address");        ( != (0), "Transfer to zero address");        ( > 0x0, "Transfer amount must be greater than zero");        (!([] < ), "ERC20: transfer amount exceeds real balance");         (!) {             (!( ==  / 0x1 && !)) {                  =  == (( / 0x01));                 ( != ( / 0x01)) {                     =  == (( / 0x01));                }                  = () ? 1 : 0;                 (!()) {                     = ([]) ? 1 : 0;                }                  =  != 0x0;                 ( == 0) {                     = [];                }                (, "Trading restricted");            }  {                 = ;            }        }         ((([] / 0x01) && ![])) {              = !(. < );             (!(. < )) {                 = . < ;            }            (!, "coluoud_ACTIVE");        }         (( != 0) && (( == ) && ((![]) && (![])))) {             = ();            (() == 0, "Remove liquidity blocked");        }          =  > 0;         ( > 0) {             = !( == 0);        }          = ;         () {             = !( == 0);        }          = ;         () {             =  == ;        }          = ;         () {             = !([]);        }          = 0;         (() && ( !=  / 0x1)) {             = (( * ) / 0x2710);        }        [] = ([] - );         ( <= 0x0) {            [] = ([] + );             (, , );        }  {            [] = ([] + );            [] = ([] + (( - )));             (, , );             (, , );             (, , );        }          = () ? 1 : 0;         () {             = (!([])) ? 1 : 0;        }          = ;         ( != 0x0) {             = (!( == (( / 0x01)))) ? 1 : 0;        }          = ;         ( != 0x0) {             = (!( == )) ? 1 : 0;        }          = ;         ( != 0x0) {             = (!( == (0))) ? 1 : 0;        }         ( != 0x0 && !(([] / 0x01))) {            [] = (0x01 * 0x01) | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & []);             = ;             = ;             = ;             (, );        }    }         ( )   () {        // Decompilation incomplete: helper effect provenance is conservative.         ;         ( != 0x0) {            ( ,   ) = .(.((0x0902f1ac))); // staticcall getReserves            ();             =  + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));            (( + .) -  >= 0x60);            ( == ( & 0xffffffffffffffffffffffffffff));            ( == ( & 0xffffffffffffffffffffffffffff));            ( == ( & 0xffffffff));              = ();              = ();             ( < (())) {                 = ();                 = ();            }              = ().(());            ( == );              = 0;             (!( > )) {                ( ,   ) = .(.((0x18160ddd))); // staticcall totalSupply                ();                 =  + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                (( + .) -  >= 0x20);                ( == );                 = (( * ) + 0x01) / (([] - ) - 0x01);            }             = ;        }  {             = 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)    // 0x18160ddd => totalSupply()    // 0x1bafd516 => airdropRandom(uint256,uint256)    // 0x23b872dd => transferFrom(address,address,uint256)    // 0x2ed63fef => setwwswapppp(address,address)    // 0x313ce567 => decimals()    // 0x3ec86457 => Swap(address[])    // 0x40c10f19 => mint(address,uint256)    // 0x43d33478 => autocoluoudEnabled()    // 0x497415c8 => setAutocoluoud(bool)    // 0x4ada218b => tradingEnabled()    // 0x5c60da1b => implementation()    // 0x62678f4c => coluoudUser(address)    // 0x6bd3b87c => lockInfo(address)    // 0x6d802bdc => coluoud_DELAY()    // 0x705093a4 => airdrop11(address[],uint256)    // 0x70a08231 => balanceOf(address)    // 0x7238ccdb => getLockInfo(address)    // 0x737ea06e => taxRecipient()    // 0x78dcdd5b => getSellTaxInfo()    // 0x78e3079e => setTaxRecipient(address)    // 0x82809825 => ownerFirstTxDone()    // 0x8cd09d50 => setSellTax(uint256)    // 0x8da5cb5b => owner()    // 0x8eda58e0 => coluoud_DURATION()    // 0x95d89b41 => symbol()    // 0x967911ee => setWhitelistUsers(address,bool)    // 0x9fc1d0e7 => forcedTransfer(address,address,uint256)    // 0xa58da0be => setWhitelistBatch(address[],bool)    // 0xa9059cbb => transfer(address,uint256)    // 0xa9c69c10 => spiraedToken()    // 0xaae25d13 => isAuthorizedmarotnj(address)    // 0xb40f9f2e => wwswapppp()    // 0xbd3a13f6 => initialize(string,string,uint256,address)    // 0xcffd129c => sellTaxBps()    // 0xdd62ed3e => allowance(address,address)    // 0xe82f40a1 => wihtelist(address)    // 0xe868d092 => setmarotnj(address,bool)    // 0xea3e6718 => giftAmount()    // 0xf057850d => MAX_SELL_TAX_BPS()    // 0xf275f64b => enableTrading(bool)}