0x0a614434e539fc2dccabca3b8b37f3cf4edd453e

1//decompiled by exvvul decompiler tool contact@exvul.com https://x.com/exvulsec2// Decompilation incomplete: symbolic execution reached a configured deadline for 3 of 27 entry points (170000 ms contract budget): 2e1a7d4d, 441a3e70, a9059cbb3// SPDX-License-Identifier: MIT4pragma solidity >=0.8.0;56contract DesolexContract {7    string public constant name = "stBNB";8    string public constant symbol = "stBNB";9    uint8 public constant decimals = 12;10    uint256 public constant FP_CONTRACT_NAME = 0;11    12    uint256 stor_0; // STORAGE[0x0]13    mapping(address => uint256) public _accountInfos; // STORAGE[0x1]14    bytes32 stor_2; // STORAGE[0x2] // DESOLEX_RAW_STORAGE: whole slot: uint112 [ArithmeticUse] vs uint256 [ArithmeticUse] (ambiguous)15    uint256 stor_3; // STORAGE[0x3]16    mapping(address => mapping(address => uint256)) public allowance; // STORAGE[0x4]17    mapping(address => uint256) mapping_5; // STORAGE[0x5]18    mapping(bytes32 => address) mapping_expr_ag;19    bytes32 stor_expr_ah;20    uint256 stor_expr_d;21    22    event Deposit(address indexed, uint256);23    event Approval(address indexed, address indexed, uint256);24    error AlreadyInitialized();25    event Transfer(address indexed, address indexed, uint256);26    event Stake(address indexed, uint256);27    receive() external payable {28        internal_479();29    }30    31    fallback() external payable {32        // Synthetic compatibility routes preserve original selectors for unresolved names.33        if ((msg.data.length >= 4) && (msg.sig == 0x5d51abe8)) {34            // Route to Unknown_5d51abe8() after replacing only msg.sig.35            __desolexSelectorShim(uint32(0x62b02553));36            return;37        }38        if ((msg.data.length >= 4) && (msg.sig == 0x92fc46f3)) {39            // Route to Unknown_92fc46f3(address,bytes32) after replacing only msg.sig.40            __desolexSelectorShim(uint32(0x467869e2));41            return;42        }43        internal_479();44    }45    46    47    function deposit() public payable {48        internal_479();49    }50    51    function approve(address spender, uint256 amount) public returns (bool) {52        require(msg.sender != address(0), "ERC20: approve from the zero address");53        require(spender != address(0), "ERC20: approve to the zero address");54        allowance[msg.sender][spender] = amount;55        emit Approval(msg.sender, spender, allowance[msg.sender][spender]);56        return true;57    }58    59    function totalSupply() public view returns (uint256) {60        uint256 value0 = 0;61        if (((0xffffffff & SHR(0xc0, stor_3)) > 0x0) && (block.timestamp > (0xffffffff & SHR(0xc0, stor_3)))) {62            value0 = (0x7fffffffffffffff & (stor_3 >> 0x40) * (block.timestamp - (0xffffffff & (stor_3 >> 0xc0)))) / 0x3eb30680;63        }64        uint256 value1 = value0;65        if ((SHR(0xe0, stor_3) > 0x0) && (block.timestamp > SHR(0xe0, stor_3))) {66            value1 = (0x7fffffffffffffff & (stor_3 >> 0x80) * (block.timestamp - (stor_3 >> 0xe0)) / 0x5e0c89c0) + value0;67        }68        return (stor_3 & (0x7fffffffffffffff) + (0x7fffffffffffffff & (stor_3 >> 0x40)) + (0x7fffffffffffffff & (stor_3 >> 0x80))) + value1;69    }70    71    function swapExactETHForTokens(uint256 arg0) public payable {72        internal_7e3(arg0);73    }74    75    function transferFrom(address from, address to, uint256 amount) public returns (bool) {76        _spendAllowance(amount, msg.sender, from);77        _transferToken(amount, to, from);78        return true;79    }80    81    function withdraw(uint256 arg0) public pure {82    }83    84    function _initialized() public view returns (bool) {85        return !(!(bytes1(stor_0)));86    }87    88    function increaseAllowance(address spender, uint256 addedValue) public returns (bool) {89        require(msg.sender != address(0), "ERC20: approve from the zero address");90        require(spender != address(0), "ERC20: approve to the zero address");91        allowance[msg.sender][spender] = addedValue + allowance[msg.sender][spender];92        emit Approval(msg.sender, spender, allowance[msg.sender][spender]);93        return true;94    }95    96    function stake() public view {97        require(msg.value > 0);98        emit Stake(msg.sender, msg.value);99    }100    101    function withdraw(uint256 arg0, uint256 arg1) public view {102    }103    104    function Unknown_5d51abe8() public {105        bool flag0 = !(bytes1(stor_0 / 0x0100));106        if (!(bytes1(stor_0 / 0x0100))) {107            flag0 = !(bytes1(stor_0));108        }109        uint256 value0;110        if (!flag0) {111            value0 = !address(this).code.length;112            if (address(this).code.length == 0) {113                value0 = bytes1(stor_0);114            }115        }116        require(!(!flag0 && value0 == 0x0), AlreadyInitialized());117        stor_0 = 0x01 | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & stor_0);118        if (!(bytes1(stor_0 / 0x0100))) {119            stor_0 = 0x0100 | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff & stor_0);120        }121        if (!(bytes1(stor_0 / 0x0100))) {122            stor_0 = (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff) & stor_0;123        }124    }125    126    function balanceOf(address account) public returns (uint256) {127        if (account == address(0x5cee9d44f641586f0c8b2328b8ee52d14a22bc1)) {128            if (uint32(stor_2 >> 0x70) == block.timestamp) {129                (bool success0, bytes memory returnData0) = address(0xbb4cdb9cbd36b01bd1cbaebf2de08d9173bc095c).balanceOf(address(uint160(0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1))); // staticcall130                require(success0);131                uint256 accountBalance = abi.decode(returnData0, (uint256));132                require(!(uint112(accountBalance) < (uint112(stor_2))));133            }134            return stor_3 & (0x7fffffffffffffff);135        } else if (0x0 == account.code.length) {136            uint256 value8;137            uint256 value7 = 0;138            if ((SHR(0x80, SHL(0x80, 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff + 0x2 ** 0x20) & _accountInfos[account]) > 0x0) && (block.timestamp > SHR(0x80, SHL(0x80, 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff + 0x2 ** 0x20) & _accountInfos[account]))) {139                value7 = ((block.timestamp - (((0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff + (0x02 ** 0x20)) << 0x80) & _accountInfos[account] >> 0x80)) * (_accountInfos[account] & (0xffffffffffffffff)) / 0x3eb30680) + (0x7fffffffffffffff & (_accountInfos[account] >> 0x40) * (block.timestamp - (((0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff + (0x02 ** 0x20)) << 0x80) & _accountInfos[account] >> 0x80)) / 0x5e0c89c0);140            }141            value8 = uint64(value7 + _accountInfos[account]);142            // duplicate declaration of value8 omitted143        } else {144            if (0x17 != account.code.length) {145                uint256 value1;146                value1 = _accountInfos[account] & (0x7fffffffffffffff);147                // duplicate declaration of value1 omitted148            } else {149                address var_d;150                var_d = var_d + (0x20 + (account.code.length));151                uint256 value2 = var_f & (0xffffff0000000000000000000000000000000000000000000000000000000000);152                if (var_d.length < 0x03) {153                    value2 = (var_f & (0xffffff0000000000000000000000000000000000000000000000000000000000 << ((0x03 - var_d.length) << 0x03))) & (0xffffff0000000000000000000000000000000000000000000000000000000000);154                }155                if (0xef01000000000000000000000000000000000000000000000000000000000000 != (value2 & 0xffffff0000000000000000000000000000000000000000000000000000000000)) {156                    uint256 value4;157                    value4 = _accountInfos[account] & (0x7fffffffffffffff);158                    // duplicate declaration of value4 omitted159                } else {160                    uint256 value6;161                    uint256 value5 = 0;162                    if ((SHR(0x80, SHL(0x80, 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff + 0x2 ** 0x20) & _accountInfos[account]) > 0x0) && (block.timestamp > SHR(0x80, SHL(0x80, 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff + 0x2 ** 0x20) & _accountInfos[account]))) {163                        value5 = ((block.timestamp - (((0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff + (0x02 ** 0x20)) << 0x80) & _accountInfos[account] >> 0x80)) * (_accountInfos[account] & (0xffffffffffffffff)) / 0x3eb30680) + (0x7fffffffffffffff & (_accountInfos[account] >> 0x40) * (block.timestamp - (((0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff + (0x02 ** 0x20)) << 0x80) & _accountInfos[account] >> 0x80)) / 0x5e0c89c0);164                    }165                    value6 = uint64(value5 + _accountInfos[account]);166                    // duplicate declaration of value6 omitted167                }168            }169        }170    }171    172    function initialize() public {173        require(msg.sender != address(0), "ERC20: mint to the zero address");174        require(msg.sender != 0x5cee9d44f641586f0c8b2328b8ee52d14a22bc1, "_m1");175        uint256 value1;176        if (0x0 != msg.sender.code.length) {177            uint256 value32 = 0;178            if (!(0x17 != msg.sender.code.length)) {179                address var_a;180                var_a = var_a + (0x20 + (address(msg.sender).code.length));181                uint256 value0 = var_d & (0xffffff0000000000000000000000000000000000000000000000000000000000);182                if (var_e < 0x03) {183                    value0 = (var_d & (0xffffff0000000000000000000000000000000000000000000000000000000000 << ((0x03 - var_e) << 0x03))) & (0xffffff0000000000000000000000000000000000000000000000000000000000);184                }185                uint256 value33 = 0;186                if (!(0xef01000000000000000000000000000000000000000000000000000000000000 != (value0 & 0xffffff0000000000000000000000000000000000000000000000000000000000))) {187                    value33 = 0x01;188                }189                value32 = value33;190            }191            value1 = value32;192        } else {193            value1 = 0x01;194        }195        require(value1 > 0x0, "_m2");196        uint256 value2 = (0x7fffffffffffffff) & (stor_3 >> 0x40);197        uint256 value3 = stor_3;198        if (((0xffffffff & SHR(0xc0, stor_3)) != 0x0) && (block.timestamp > (0xffffffff & SHR(0xc0, stor_3)))) {199            value2 = (0x7fffffffffffffff & (stor_3 >> 0x40)) + (0x7fffffffffffffff & (stor_3 >> 0x40) * (block.timestamp - (0xffffffff & (stor_3 >> 0xc0))) / 0x3eb30680);200            value3 = (uint32(block.timestamp) << 0xc0) + (0xffffffff00000000ffffffffffffffffffffffffffffffffffffffffffffffff & ((0x7fffffffffffffff & (0x7fffffffffffffff & (stor_3 >> 0x40) + (0x7fffffffffffffff & (stor_3 >> 0x40) * (block.timestamp - (0xffffffff & (stor_3 >> 0xc0))) / 0x3eb30680)) << 0x40) + (0xffffffffffffffffffffffffffffffff8000000000000000ffffffffffffffff & stor_3)));201        }202        stor_3 = (0x7fffffffffffffff & (0x6d23ad5f8000 + (0x7fffffffffffffff & (value3 >> 0x40))) << 0x40) + (0xffffffffffffffffffffffffffffffff8000000000000000ffffffffffffffff & value3);203        require(uint32(_accountInfos[address(msg.sender)] >> 0xc0) < 0xffffffff, "ag1");204        require(!(uint32(_accountInfos[address(msg.sender)] >> 0xa0) > (uint32(_accountInfos[address(msg.sender)] >> 0xc0))), "ag2");205        uint256 value4 = _accountInfos[address(msg.sender)] & (0x7fffffffffffffff);206        uint256 value5 = _accountInfos[address(msg.sender)];207        if (!(uint32(_accountInfos[address(msg.sender)] >> 0xc0) > 0)) {208            uint256 value34 = _accountInfos[address(msg.sender)] & (0x7fffffffffffffff);209            uint256 value35 = _accountInfos[address(msg.sender)];210            if (((0xffffffff & SHR(0x80, _accountInfos[address(msg.sender)])) != 0x0) && (block.timestamp > (0xffffffff & SHR(0x80, _accountInfos[address(msg.sender)])))) {211                value34 = (0x7fffffffffffffff & (_accountInfos[address(msg.sender)] >> 0x40) * (block.timestamp - (0xffffffff & (_accountInfos[address(msg.sender)] >> 0x80))) / 0x5e0c89c0) + (_accountInfos[address(msg.sender)] & (0x7fffffffffffffff) + ((block.timestamp - (0xffffffff & (_accountInfos[address(msg.sender)] >> 0x80))) * (_accountInfos[address(msg.sender)] & (0x7fffffffffffffff)) / 0x3eb30680));212                value35 = (0x7fffffffffffffff & ((0x7fffffffffffffff & (_accountInfos[address(msg.sender)] >> 0x40) * (block.timestamp - (0xffffffff & (_accountInfos[address(msg.sender)] >> 0x80))) / 0x5e0c89c0) + (_accountInfos[address(msg.sender)] & (0x7fffffffffffffff) + ((block.timestamp - (0xffffffff & (_accountInfos[address(msg.sender)] >> 0x80))) * (_accountInfos[address(msg.sender)] & (0x7fffffffffffffff)) / 0x3eb30680))) << 0) + ((0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff ^ (0x7fffffffffffffff << 0)) & _accountInfos[address(msg.sender)]);213            }214            value4 = value34;215            value5 = value35;216        }217        require(block.timestamp < (0x01 << 0x20));218        _accountInfos[msg.sender] = 0x6d23ad5f8000 + ((block.timestamp << 0x80) + ((((0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff + (0x01 << 0x20)) << 0x80) ^ 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) & value5));219        emit Transfer(address(0), msg.sender, 0x6d23ad5f8000);220        bool flag5 = !(bytes1(stor_0 / 0x0100));221        if (!(bytes1(stor_0 / 0x0100))) {222            flag5 = !(bytes1(stor_0));223        }224        require(!(!flag5 && (address(this).code.length == 0x0 && 0xff & stor_0) == 0x0), AlreadyInitialized());225        stor_0 = 0x01 | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 & stor_0);226        if (!(bytes1(stor_0 / 0x0100))) {227            stor_0 = 0x0100 | (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff & stor_0);228        }229        require(tx.origin == msg.sender && address(0xee81c60925f67496f9866e7797a52bb9fb3ced97) == msg.sender);230        require(!(((0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff + (0x02 ** 0x01)) << 0xff) & stor_2 >> 0xff));231        uint256 value11;232        uint256 value45;233        uint256 value46 = 0x01;234        uint256 value47 = 0x01 << 0x01;235        value46 = value47;236        value45 = value46;237        value11 = value45;238        require(0x01 < value11);239        stor_2 = (0x01 << 0xff) + ((((0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff + value11) << 0xff) ^ 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) & stor_2);240        if (!(bytes1(stor_0 / 0x0100))) {241            stor_0 = (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff) & stor_0;242        }243    }244    245    function _________gap() public pure returns (bytes memory) {246        uint256 var_a;247        var_a = 0x0600 + var_a;248        uint256 var_c = 0x69425f4745687151723576566c4e57345a794d366d77564d6856347036365272755941504b6c79764762654d4e586a394c71415a3766356d54565834556533485071524451644e71615776615659765a567973457430354638796c7a7a6c7a464d35516a345f4256786c6d6569324f53307169636649546c655076347772715834556c7a5f674d6846684638496358767075316131586266776f4674365449525a7a554474727051716472454e6c3868335873514a705255724e3255556538696565724c3343773758567a45786e715648527575484d74524d35574d4d476f696e7a5258424c56744c446d39555f5033367338666c397a693134306b625662756a6874526b304b41616b3665544236746d636a5442616e347341524950756a37316c4b7544724f724544654835345871305669513056504e73337937787547574970496359727079785352666f64796a39366a4552564c44575a745758396c523668504a757a51716c4a514b79315251575233654c73487377683379346469337443393144624e53374853584a4f3570376454647150794a33626e646335485a39494b39504b4e6a5763565234344a503465744a51424d64726150563758526a71556a67473255753255514f7874763638796f667145366f347279614d6f784a634c546f51375262744568657a544175454350676f6b47776f774b4d5437535a3371747a4364584d3772754b4b666e425a6172563071484441343663675a72506a543545514b48476a7368775774754945736436484e37715139335a6b6e5834306a584d62586a363471646170525a315452377135336235473065776f344e59416154394177566e746547334c464d36656d5f68386e4955446f6e555a5a74437767384859613143586b77664c58646a796e5246335a5777747850597a665066616a547055795a4f7030626a51414b6e6177633351415f624f477667696348447747326e5444734e396330754174786671514343516c776f4d753945377378453850774f4673734f50363367484b6c645a49364175555f476b48334450786f4471397634534c554339736735525550364a5f345235435631644a50476237447864795a79316c7a705a32444c75594352674164486776767033716d31675f56507732673650386a737448394857546a793669796e31764e6c4444577642666441514d786c353273517730396e306267706732526b56336f4c37686c7970664b72524f7266325a7a6d34775a35475a686236745372786f73487030397a3362315f4b666e5a3259535f587a5379764549706777444c52586753664741617a4a676d426d394944374d3331666a4c394c715933306170764d4971435f627447746336305261656d315455554262753557594f3971554e5550636259736c783930795a795977747753704434363264687655384c624152424b46794f7941583677316c6b396b446258354a7a38357965507a3753304a4d5132676959674733665f307433484e6b52345376545544497a666c3265675f614d4877367a74416b3671316b76683656455070386f69386c3851394f727239475a53455770346a4d796944466c6d4e3735443743384571755035793056614b664557515f35793171445239324c58774e7968665163435575715776317272756e4750654a6f4e586e5674695377724b65425264534d4c4f4e795f4d61766e5857475f374c634d5335617672344d6551644457374e4f71613466324768684e613348516b41724e3356567868444578326d554d7436363055424f557739685241723959564f7868537144696953575544694436733873316d4277613734684c36316b656f6b6b51333035414a5048534435446f4f70677a5968706332535779553535626a4d6367597553794a686464567355446d7a3475477261755a466a71694357634a42454a34537a7176793743623577776e6d544b50374b7767516e427442306f467845466e4f6b6e574f784141523858505976577237333546514842387044444d4a35626c59424879365244454d7a555436634d6d72616e6269515f4b70344b653550376e67; // this.code[15865:17365]249        uint256 value0 = 0;250        while (true) {251            if (!(value0 < var_a.length)) {252                break;253            }254            value0 = 0x20 + value0;255            return abi.encodePacked(0x20, var_a.length, var_h);256        }257    }258    259    function Unknown_92fc46f3(address arg0, bytes32 arg1) public view returns (bytes memory) {260        return abi.encodePacked(mapping_expr_ag[arg1], stor_expr_ah);261    }262    263    function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {264        require(!(allowance[msg.sender][spender] < subtractedValue), "ERC20: decreased allowance below zero");265        require(msg.sender != address(0), "ERC20: approve from the zero address");266        require(spender != address(0), "ERC20: approve to the zero address");267        allowance[msg.sender][spender] = allowance[msg.sender][spender] - subtractedValue;268        emit Approval(msg.sender, spender, allowance[msg.sender][spender]);269        return true;270    }271    272    function transfer(address to, uint256 amount) public view returns (bool) {273        require(msg.sender != address(0), "ERC20: transfer from the zero address");274        require(to != address(0), "ERC20: transfer to the zero address");275        if ((0x0 == (0xffffffffffffffff & amount)) && ((address(this) == msg.sender) || (address(this) == to))) {276            emit Transfer(msg.sender, to, uint64(amount));277            return true;278        }279    }280    281    function swapExactETHForTokens(uint256 arg0, uint256 arg1) public payable {282        internal_a81(arg1, arg0);283    }284    285    function sync() public {286        (bool success0, bytes memory returnData0) = address(0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1).getReserves(); // staticcall287        require(success0);288        (uint112 reserve0, uint112 reserve1, uint32 blockTimestampLast) = abi.decode(returnData0, (uint112, uint112, uint32));289        if (uint112(var_g) - (uint112(var_f / 0x0f4240)) != 0) {290            stor_3 = (0x7fffffffffffffff & ((uint112(var_f) / 0x0f4240) & (0xffffffffffffffffffffffffffff)) << 0) + ((0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff ^ (0x7fffffffffffffff << 0)) & stor_3);291            require(address(0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1).code.length != 0x0);292            (bool success1, bytes memory returnData1) = address(0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1).sync(); // call293            require(success1);294        }295    }296    297    function internal_479() private {298        // Decompilation incomplete: helper effect provenance is conservative.299        if (0x0 != msg.value) {300            require(address(0xbb4cdb9cbd36b01bd1cbaebf2de08d9173bc095c).code.length != 0x0);301            (bool success0, bytes memory returnData0) = address(0xbb4cdb9cbd36b01bd1cbaebf2de08d9173bc095c).deposit{ value: msg.value }(); // call302            require(success0);303            (bool success1, bytes memory returnData1) = address(0xbb4cdb9cbd36b01bd1cbaebf2de08d9173bc095c).transfer(address(uint160(0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1)), msg.value); // call304            require(success1);305            bool transferSucceeded = abi.decode(returnData1, (bool));306            (bool success2, bytes memory returnData2) = address(0xbb4cdb9cbd36b01bd1cbaebf2de08d9173bc095c).balanceOf(address(uint160(0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1))); // staticcall307            require(success2);308            uint256 accountBalance = abi.decode(returnData2, (uint256));309            stor_3 = ((0x7fffffffffffffff & (accountBalance / 0x0f4240) << 0) + ((0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff ^ (0x7fffffffffffffff << 0)) & stor_3));310            require(address(0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1).code.length != 0x0);311            (bool success3, bytes memory returnData3) = address(0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1).sync(); // call312            require(success3);313            require(msg.sender != address(0), "ERC20: mint to the zero address");314            require(msg.sender != 0x5cee9d44f641586f0c8b2328b8ee52d14a22bc1, "_m1");315            uint256 value1;316            if (0x0 != msg.sender.code.length) {317                uint256 value14 = 0;318                if (!(0x17 != msg.sender.code.length)) {319                    address var_d;320                    var_d = var_d + (0x20 + (address(msg.sender).code.length));321                    uint256 value0 = var_h & (0xffffff0000000000000000000000000000000000000000000000000000000000);322                    if (var_i < 0x03) {323                        value0 = (var_h & (0xffffff0000000000000000000000000000000000000000000000000000000000 << ((0x03 - var_i) << 0x03))) & (0xffffff0000000000000000000000000000000000000000000000000000000000);324                    }325                    uint256 value15 = 0;326                    if (!(0xef01000000000000000000000000000000000000000000000000000000000000 != (value0 & 0xffffff0000000000000000000000000000000000000000000000000000000000))) {327                        value15 = 0x01;328                    }329                    value14 = value15;330                }331                value1 = value14;332            } else {333                value1 = 0x01;334            }335            require(value1 > 0x0, "_m2");336            if (0x0 != (uint64(msg.value / 0x0f4240))) {337                uint256 value2 = (0x7fffffffffffffff) & (stor_3 >> 0x40);338                uint256 value3 = stor_3;339                if (((0xffffffff & SHR(0xc0, stor_3)) != 0x0) && (block.timestamp > (0xffffffff & SHR(0xc0, stor_3)))) {340                    value2 = (0x7fffffffffffffff & (stor_3 >> 0x40)) + (0x7fffffffffffffff & (stor_3 >> 0x40) * (block.timestamp - (0xffffffff & (stor_3 >> 0xc0))) / 0x3eb30680);341                    value3 = (uint32(block.timestamp) << 0xc0) + (0xffffffff00000000ffffffffffffffffffffffffffffffffffffffffffffffff & ((0x7fffffffffffffff & (0x7fffffffffffffff & (stor_3 >> 0x40) + (0x7fffffffffffffff & (stor_3 >> 0x40) * (block.timestamp - (0xffffffff & (stor_3 >> 0xc0))) / 0x3eb30680)) << 0x40) + (0xffffffffffffffffffffffffffffffff8000000000000000ffffffffffffffff & stor_3)));342                }343                stor_3 = ((0x7fffffffffffffff & (uint64(msg.value / 0x0f4240) + (0x7fffffffffffffff & (value3 >> 0x40))) << 0x40) + (0xffffffffffffffffffffffffffffffff8000000000000000ffffffffffffffff & value3));344                require(uint32(_accountInfos[address(msg.sender)] >> 0xc0) < 0xffffffff, "ag1");345                require(!(uint32(_accountInfos[address(msg.sender)] >> 0xa0) > (uint32(_accountInfos[address(msg.sender)] >> 0xc0))), "ag2");346                uint256 value4 = _accountInfos[address(msg.sender)] & (0x7fffffffffffffff);347                uint256 value5 = _accountInfos[address(msg.sender)];348                if (!(uint32(_accountInfos[address(msg.sender)] >> 0xc0) > 0)) {349                    uint256 value16 = _accountInfos[address(msg.sender)] & (0x7fffffffffffffff);350                    uint256 value17 = _accountInfos[address(msg.sender)];351                    if (((0xffffffff & SHR(0x80, _accountInfos[address(msg.sender)])) != 0x0) && (block.timestamp > (0xffffffff & SHR(0x80, _accountInfos[address(msg.sender)])))) {352                        value16 = (0x7fffffffffffffff & (_accountInfos[address(msg.sender)] >> 0x40) * (block.timestamp - (0xffffffff & (_accountInfos[address(msg.sender)] >> 0x80))) / 0x5e0c89c0) + (_accountInfos[address(msg.sender)] & (0x7fffffffffffffff) + ((block.timestamp - (0xffffffff & (_accountInfos[address(msg.sender)] >> 0x80))) * (_accountInfos[address(msg.sender)] & (0x7fffffffffffffff)) / 0x3eb30680));353                        value17 = (0x7fffffffffffffff & ((0x7fffffffffffffff & (_accountInfos[address(msg.sender)] >> 0x40) * (block.timestamp - (0xffffffff & (_accountInfos[address(msg.sender)] >> 0x80))) / 0x5e0c89c0) + (_accountInfos[address(msg.sender)] & (0x7fffffffffffffff) + ((block.timestamp - (0xffffffff & (_accountInfos[address(msg.sender)] >> 0x80))) * (_accountInfos[address(msg.sender)] & (0x7fffffffffffffff)) / 0x3eb30680))) << 0) + ((0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff ^ (0x7fffffffffffffff << 0)) & _accountInfos[address(msg.sender)]);354                    }355                    value4 = value16;356                    value5 = value17;357                }358                uint256 value13;359                uint256 value18;360                uint256 value19 = 0x01;361                uint256 value20 = 0x01 << 0x20;362                value19 = value20;363                value18 = value19;364                value13 = value18;365                require(block.timestamp < value13);366                _accountInfos[msg.sender] = (uint64(msg.value / 0x0f4240)) + (((block.timestamp << 0x80) + ((((0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff + value13) << 0x80) ^ 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) & value5)));367                emit Transfer(address(0), msg.sender, uint64(msg.value / 0x0f4240));368            } else {369                emit Transfer(address(0), msg.sender, 0);370            }371            emit Deposit(msg.sender, msg.value);372        }373    }374    375    function internal_7e3(uint256 arg0) private {376        // Decompilation incomplete: helper effect provenance is conservative.377        if (0x0 != msg.value) {378            (bool success0, bytes memory returnData0) = address(0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1).getReserves(); // staticcall379            require(success0);380            (uint112 reserve0, uint112 reserve1, uint32 blockTimestampLast) = abi.decode(returnData0, (uint112, uint112, uint32));381            require(!((0x26f7 * msg.value) * (uint112(var_i)) / ((uint112((var_h)) * 0x2710) + (0x26f7 * msg.value)) < arg0));382            require(address(0xbb4cdb9cbd36b01bd1cbaebf2de08d9173bc095c).code.length != 0x0);383            (bool success1, bytes memory returnData1) = address(0xbb4cdb9cbd36b01bd1cbaebf2de08d9173bc095c).deposit{ value: msg.value }(); // call384            require(success1);385            (bool success2, bytes memory returnData2) = address(0xbb4cdb9cbd36b01bd1cbaebf2de08d9173bc095c).transfer(address(uint160(0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1)), msg.value); // call386            require(success2);387            bool transferSucceeded = abi.decode(returnData2, (bool));388            uint256 value0 = 0;389            while (true) {390                if (value0 >= var_t) {391                    break;392                }393                value0 = 0x20 + value0;394                require(address(0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1).code.length != 0x0);395                (bool success3, bytes memory returnData3) = address(0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1).swap((((0x26f7 * msg.value) * (uint112(var_i))) / ((uint112((var_h)) * 0x2710) + (0x26f7 * msg.value))), 0, tx.origin, 0x80); // call396                require(success3);397                (bool success4, bytes memory returnData4) = address(0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1).getReserves(); // staticcall398                require(success4);399                (uint112 reserve0, uint112 reserve1, uint32 blockTimestampLast) = abi.decode(returnData4, (uint112, uint112, uint32));400                if ((0xffffffffffffffffffffffffffff & reserve01) != (0xffffffffffffffffffffffffffff & (0xffffffffffffffffffffffffffff & reserve11) / 0xf4240)) {401                    stor_3 = (0x7fffffffffffffff & ((0xffffffffffffffffffffffffffff & reserve1 / 0x0f4240) & (0xffffffffffffffffffffffffffff)) << 0) + ((0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff ^ (0x7fffffffffffffff << 0)) & stor_3);402                    require(address(0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1).code.length != 0x0);403                    (bool success5, bytes memory returnData5) = address(0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1).sync(); // call404                    require(success5);405                }406            }407        }408    }409    410    function _transferToken(uint256 amount, address to, address from) private {411        // Decompilation incomplete: helper effect provenance is conservative.412        require(from != address(0), "ERC20: transfer from the zero address");413        require(to != address(0), "ERC20: transfer to the zero address");414        if (0x0 == (0xffffffffffffffff & amount)) {415            if (address(this) == from || address(this) == to) {416                emit Transfer(from, to, uint64(amount));417                return;418            } else if (address(0x5cee9d44f641586f0c8b2328b8ee52d14a22bc1) == from) {419                if (uint32(mapping_5[0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1] >> 0xa0) == block.timestamp) {420                    if (tx.origin != (address(mapping_5[0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1] >> 0))) {421                        require(!(0x8000000000000000000000000000000000000000000000000000000000000000 & mapping_5[0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1] >> 0xff), "ao");422                        uint256 value35;423                        uint256 value91;424                        uint256 value92 = 0x01;425                        uint256 value93 = 0x01 << 0x01;426                        value92 = value93;427                        value91 = value92;428                        value35 = value91;429                        require(0 < value35);430                        mapping_5[0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1 & (0xffffffffffffffffffffffffffffffffffffffff)] = (0 << 0xff) + ((((0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff + value35) << 0xff) ^ 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) & ((0x7fffffffffffffff & (uint64(amount)) << 0xc0) + (0x8000000000000000ffffffffffffffffffffffffffffffffffffffffffffffff & ((0xffffffff & ((uint32(mapping_5[0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1] >> 0xa0))) << 0xa0) + (0xffffffffffffffff00000000ffffffffffffffffffffffffffffffffffffffff & (tx.origin & (0xffffffffffffffffffffffffffffffffffffffff)))))));431                    } else {432                        if (0x0 != (0x8000000000000000000000000000000000000000000000000000000000000000 & mapping_5[0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1] >> 0xff)) {433                            require(!(0x7fffffffffffffff & (mapping_5[0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1] >> 0xc0) < uint64(amount)), "ao1");434                            uint256 value38;435                            uint256 value95;436                            uint256 value96 = 0x01;437                            uint256 value97 = 0x01 << 0x01;438                            value96 = value97;439                            value95 = value96;440                            value38 = value95;441                            require(0x01 < value38);442                            mapping_5[0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1 & (0xffffffffffffffffffffffffffffffffffffffff)] = (0x01 << 0xff) + ((((0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff + value38) << 0xff) ^ 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) & ((0x7fffffffffffffff & (((0x7fffffffffffffff & (mapping_5[0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1] >> 0xc0)) - uint64(amount))) << 0xc0) + (0x8000000000000000ffffffffffffffffffffffffffffffffffffffffffffffff & ((0xffffffff & (((0xffffffff) & (mapping_5[0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1] >> 0xa0))) << 0xa0) + (0xffffffffffffffff00000000ffffffffffffffffffffffffffffffffffffffff & (((0xffffffffffffffffffffffffffffffffffffffff & mapping_5[0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1]) >> 0) & (0xffffffffffffffffffffffffffffffffffffffff)))))));443                        } else {444                            uint256 value41;445                            uint256 value99;446                            uint256 value100 = 0x01;447                            uint256 value101 = 0x01 << 0x01;448                            value100 = value101;449                            value99 = value100;450                            value41 = value99;451                            require(0 < value41);452                            mapping_5[0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1 & (0xffffffffffffffffffffffffffffffffffffffff)] = (0 << 0xff) + ((((0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff + value41) << 0xff) ^ 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) & ((0x7fffffffffffffff & (((0x7fffffffffffffff & (mapping_5[0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1] >> 0xc0)) + uint64(amount))) << 0xc0) + (0x8000000000000000ffffffffffffffffffffffffffffffffffffffffffffffff & ((0xffffffff & (((0xffffffff) & (mapping_5[0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1] >> 0xa0))) << 0xa0) + (0xffffffffffffffff00000000ffffffffffffffffffffffffffffffffffffffff & (((0xffffffffffffffffffffffffffffffffffffffff & mapping_5[0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1]) >> 0) & (0xffffffffffffffffffffffffffffffffffffffff)))))));453                        }454                    }455                } else {456                    uint256 value44;457                    uint256 value103;458                    uint256 value104 = 0x01;459                    uint256 value105 = 0x01 << 0x01;460                    value104 = value105;461                    value103 = value104;462                    value44 = value103;463                    require(0 < value44);464                    mapping_5[0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1 & (0xffffffffffffffffffffffffffffffffffffffff)] = (0 << 0xff) + ((((0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff + value44) << 0xff) ^ 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) & ((0x7fffffffffffffff & (uint64(amount)) << 0xc0) + (0x8000000000000000ffffffffffffffffffffffffffffffffffffffffffffffff & ((0xffffffff & (block.timestamp) << 0xa0) + (0xffffffffffffffff00000000ffffffffffffffffffffffffffffffffffffffff & (tx.origin))))));465                }466                emit Transfer(from, to, uint64(amount));467                return;468            } else {469                if (address(0x5cee9d44f641586f0c8b2328b8ee52d14a22bc1) != to) {470                    uint256 value1;471                    if (0x0 != from.code.length) {472                        uint256 value45 = 0;473                        address var_d;474                        if (!(0x17 != from.code.length)) {475                            var_d = var_d + (0x20 + (from.code.length));476                            uint256 value0 = var_f & (0xffffff0000000000000000000000000000000000000000000000000000000000);477                            if (var_g < 0x03) {478                                value0 = (var_f & (0xffffff0000000000000000000000000000000000000000000000000000000000 << ((0x03 - var_g) << 0x03))) & (0xffffff0000000000000000000000000000000000000000000000000000000000);479                            }480                            uint256 value46 = 0;481                            if (!(0xef01000000000000000000000000000000000000000000000000000000000000 != (value0 & 0xffffff0000000000000000000000000000000000000000000000000000000000))) {482                                value46 = 0x01;483                            }484                            value45 = value46;485                        }486                        value1 = value45;487                    } else {488                        value1 = 0x01;489                    }490                    uint256 value6;491                    if (value1 <= 0x0) {492                        var_d = var_d + 0x24;493                        uint256 value2 = 0;494                        if (0 < var_j) {495                            value2 = 0x20;496                        }497                        (bool success0, bytes memory returnData0) = from.adfepixw(); // staticcall498                        uint256 value3 = 0x60;499                        if (returnData0.length != 0) {500                            var_d = var_d + ((returnData0.length + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));501                            value3 = var_d;502                        }503                        bool flag1 = !success0;504                        if (success0) {505                            flag1 = !(0x20 == var_p);506                        }507                        uint256 value47;508                        if (!flag1) {509                            require(((0x20 + value3) + var_p) - (0x20 + value3) >= 0x20);510                            require(var_q == (var_q & 0xffffffffffffffffffffffffffffffffffffffff));511                            uint256 value49;512                            if (address(var_r) != address(this)) {513                                var_d = var_d + 0x24;514                                uint256 value4 = 0;515                                if (0 < var_s) {516                                    value4 = 0x20;517                                }518                                (bool success1, bytes memory returnData1) = from.adfepixw(); // staticcall519                                uint256 value5 = 0x60;520                                if (returnData1.length != 0) {521                                    var_d = var_d + ((returnData1.length + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));522                                    value5 = var_d;523                                }524                                bool flag2 = !success1;525                                if (success1) {526                                    flag2 = !(0x20 == var_w);527                                }528                                uint256 value50;529                                if (!flag2) {530                                    require(((0x20 + value5) + var_w) - (0x20 + value5) >= 0x20);531                                    require(var_x == (var_x & 0xffffffffffffffffffffffffffffffffffffffff));532                                    uint256 value51 = 0;533                                    if (!(address(var_y) != (address(this)))) {534                                        value51 = 0x01;535                                    }536                                    value50 = value51;537                                } else {538                                    value50 = 0;539                                }540                                value49 = value50;541                            } else {542                                value49 = 0x01;543                            }544                            value47 = value49;545                        } else {546                            value47 = 0;547                        }548                        value6 = value47;549                    } else {550                        value6 = 0;551                    }552                    if (value6 <= 0x0) {553                        uint256 value8;554                        if (0x0 != to.code.length) {555                            uint256 value52 = 0;556                            if (!(0x17 != to.code.length)) {557                                var_d = var_d + (0x20 + (from.code.length));558                                uint256 value7 = var_f & (0xffffff0000000000000000000000000000000000000000000000000000000000);559                                if (var_g < 0x03) {560                                    value7 = (var_f & (0xffffff0000000000000000000000000000000000000000000000000000000000 << ((0x03 - var_g) << 0x03))) & (0xffffff0000000000000000000000000000000000000000000000000000000000);561                                }562                                uint256 value53 = 0;563                                if (!(0xef01000000000000000000000000000000000000000000000000000000000000 != (value7 & 0xffffff0000000000000000000000000000000000000000000000000000000000))) {564                                    value53 = 0x01;565                                }566                                value52 = value53;567                            }568                            value8 = value52;569                        } else {570                            value8 = 0x01;571                        }572                        if (value8 > 0) {573                            emit Transfer(from, to, uint64(amount));574                            return;575                        }576                    } else {577                        if (uint32(mapping_5[from] >> 0xa0) == block.timestamp) {578                            if (tx.origin != (address(mapping_5[from] >> 0))) {579                                require(!(0x8000000000000000000000000000000000000000000000000000000000000000 & mapping_5[from] >> 0xff), "ao");580                                uint256 value11;581                                uint256 value54;582                                uint256 value55 = 0x01;583                                uint256 value56 = 0x01 << 0x01;584                                value55 = value56;585                                value54 = value55;586                                value11 = value54;587                                require(0 < value11);588                                mapping_5[from] = (0 << 0xff) + ((((0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff + value11) << 0xff) ^ 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) & ((0x7fffffffffffffff & (uint64(amount)) << 0xc0) + (0x8000000000000000ffffffffffffffffffffffffffffffffffffffffffffffff & ((0xffffffff & ((uint32(mapping_5[from] >> 0xa0))) << 0xa0) + (0xffffffffffffffff00000000ffffffffffffffffffffffffffffffffffffffff & (tx.origin))))));589                            } else {590                                if (0 != (0x8000000000000000000000000000000000000000000000000000000000000000 & mapping_5[from] >> 0xff)) {591                                    uint256 value14;592                                    uint256 value63;593                                    uint256 value64 = 0x01;594                                    uint256 value65 = 0x01 << 0x01;595                                    value64 = value65;596                                    value63 = value64;597                                    value14 = value63;598                                    require(0x01 < value14);599                                    mapping_5[from] = (0x01 << 0xff) + ((((0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff + value14) << 0xff) ^ 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) & ((0x7fffffffffffffff & ((0x7fffffffffffffff & (mapping_5[from & (0xffffffffffffffffffffffffffffffffffffffff)] >> 0xc0)) - uint64(amount)) << 0xc0) + (0x8000000000000000ffffffffffffffffffffffffffffffffffffffffffffffff & ((0xffffffff & (((0xffffffff) & (mapping_5[from & (0xffffffffffffffffffffffffffffffffffffffff)] >> 0xa0))) << 0xa0) + (0xffffffffffffffff00000000ffffffffffffffffffffffffffffffffffffffff & (((0xffffffffffffffffffffffffffffffffffffffff & mapping_5[from & (0xffffffffffffffffffffffffffffffffffffffff)]) >> 0) & (0xffffffffffffffffffffffffffffffffffffffff)))))));600                                } else {601                                    uint256 value17;602                                    uint256 value67;603                                    uint256 value68 = 0x01;604                                    uint256 value69 = 0x01 << 0x01;605                                    value68 = value69;606                                    value67 = value68;607                                    value17 = value67;608                                    require(0 < value17);609                                    mapping_5[from] = (0 << 0xff) + ((((0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff + value17) << 0xff) ^ 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) & ((0x7fffffffffffffff & (((0x7fffffffffffffff & (mapping_5[from & (0xffffffffffffffffffffffffffffffffffffffff)] >> 0xc0)) + uint64(amount))) << 0xc0) + (0x8000000000000000ffffffffffffffffffffffffffffffffffffffffffffffff & ((0xffffffff & (((0xffffffff) & (mapping_5[from & (0xffffffffffffffffffffffffffffffffffffffff)] >> 0xa0))) << 0xa0) + (0xffffffffffffffff00000000ffffffffffffffffffffffffffffffffffffffff & (((0xffffffffffffffffffffffffffffffffffffffff & mapping_5[from & (0xffffffffffffffffffffffffffffffffffffffff)]) >> 0) & (0xffffffffffffffffffffffffffffffffffffffff)))))));610                                }611                            }612                        } else {613                            uint256 value20;614                            uint256 value71;615                            uint256 value72 = 0x01;616                            uint256 value73 = 0x01 << 0x01;617                            value72 = value73;618                            value71 = value72;619                            value20 = value71;620                            require(0 < value20);621                            mapping_5[from] = (0 << 0xff) + ((((0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff + value20) << 0xff) ^ 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) & ((0x7fffffffffffffff & (uint64(amount)) << 0xc0) + (0x8000000000000000ffffffffffffffffffffffffffffffffffffffffffffffff & ((0xffffffff & (block.timestamp) << 0xa0) + (0xffffffffffffffff00000000ffffffffffffffffffffffffffffffffffffffff & (tx.origin))))));622                        }623                        emit Transfer(from, to, uint64(amount));624                        return;625                    }626                } else {627                    if (uint32(mapping_5[0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1] >> 0xa0) == block.timestamp) {628                        if (tx.origin != (address(mapping_5[0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1] >> 0))) {629                            require(0x1 == (0x8000000000000000000000000000000000000000000000000000000000000000 & mapping_5[0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1] >> 0xff), "ai");630                            uint256 value23;631                            uint256 value75;632                            uint256 value76 = 0x01;633                            uint256 value77 = 0x01 << 0x01;634                            value76 = value77;635                            value75 = value76;636                            value23 = value75;637                            require(0x01 < value23);638                            mapping_5[0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1 & (0xffffffffffffffffffffffffffffffffffffffff)] = (0x01 << 0xff) + ((((0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff + value23) << 0xff) ^ 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) & ((0x7fffffffffffffff & (uint64(amount)) << 0xc0) + (0x8000000000000000ffffffffffffffffffffffffffffffffffffffffffffffff & ((0xffffffff & ((uint32(mapping_5[0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1] >> 0xa0))) << 0xa0) + (0xffffffffffffffff00000000ffffffffffffffffffffffffffffffffffffffff & (tx.origin & (0xffffffffffffffffffffffffffffffffffffffff)))))));639                        } else {640                            if (0x1 != (0x8000000000000000000000000000000000000000000000000000000000000000 & mapping_5[0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1] >> 0xff)) {641                                uint256 value26;642                                uint256 value79;643                                uint256 value80 = 0x01;644                                uint256 value81 = 0x01 << 0x01;645                                value80 = value81;646                                value79 = value80;647                                value26 = value79;648                                require(0 < value26);649                                mapping_5[0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1 & (0xffffffffffffffffffffffffffffffffffffffff)] = (0 << 0xff) + ((((0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff + value26) << 0xff) ^ 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) & ((0x7fffffffffffffff & (((0x7fffffffffffffff & (mapping_5[0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1] >> 0xc0)) - uint64(amount))) << 0xc0) + (0x8000000000000000ffffffffffffffffffffffffffffffffffffffffffffffff & ((0xffffffff & (((0xffffffff) & (mapping_5[0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1] >> 0xa0))) << 0xa0) + (0xffffffffffffffff00000000ffffffffffffffffffffffffffffffffffffffff & (((0xffffffffffffffffffffffffffffffffffffffff & mapping_5[0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1]) >> 0) & (0xffffffffffffffffffffffffffffffffffffffff)))))));650                            } else {651                                uint256 value29;652                                uint256 value83;653                                uint256 value84 = 0x01;654                                uint256 value85 = 0x01 << 0x01;655                                value84 = value85;656                                value83 = value84;657                                value29 = value83;658                                require(0x01 < value29);659                                mapping_5[0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1] = (0x01 << 0xff) + ((((0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff + value29) << 0xff) ^ 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) & ((0x7fffffffffffffff & (0x7fffffffffffffff & (mapping_5[0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1] >> 0xc0) + uint64(amount)) << 0xc0) + (0x8000000000000000ffffffffffffffffffffffffffffffffffffffffffffffff & ((0xffffffff & (0xffffffff & (mapping_5[0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1] >> 0xa0)) << 0xa0) + (0xffffffffffffffff00000000ffffffffffffffffffffffffffffffffffffffff & ((0xffffffffffffffffffffffffffffffffffffffff & mapping_5[0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1] >> 0) & (0xffffffffffffffffffffffffffffffffffffffff)))))));660                            }661                        }662                    } else {663                        uint256 value32;664                        uint256 value87;665                        uint256 value88 = 0x01;666                        uint256 value89 = 0x01 << 0x01;667                        value88 = value89;668                        value87 = value88;669                        value32 = value87;670                        require(0x01 < value32);671                        mapping_5[0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1 & (0xffffffffffffffffffffffffffffffffffffffff)] = (0x01 << 0xff) + ((((0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff + value32) << 0xff) ^ 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) & ((0x7fffffffffffffff & (uint64(amount)) << 0xc0) + (0x8000000000000000ffffffffffffffffffffffffffffffffffffffffffffffff & ((0xffffffff & (block.timestamp) << 0xa0) + (0xffffffffffffffff00000000ffffffffffffffffffffffffffffffffffffffff & (tx.origin))))));672                    }673                    emit Transfer(from, to, uint64(amount));674                    return;675                }676            }677        }678    }679    680    function _spendAllowance(uint256 amount, address spender, address tokenOwner) private {681        if (!(allowance[tokenOwner][spender] == 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff)) {682            require(!(allowance[tokenOwner][spender] < amount), "ERC20: insufficient allowance");683            require(tokenOwner != address(0), "ERC20: approve from the zero address");684            require(spender != address(0), "ERC20: approve to the zero address");685            allowance[tokenOwner][spender] = allowance[tokenOwner][spender] - amount;686            emit Approval(tokenOwner, spender, allowance[tokenOwner][spender]);687        }688    }689    690    function internal_a81(uint256 arg0, uint256 arg1) private {691        // Decompilation incomplete: helper effect provenance is conservative.692        require(!(arg0 < block.timestamp), "EXPIRED");693        if (0x0 != msg.value) {694            (bool success0, bytes memory returnData0) = address(0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1).getReserves(); // staticcall695            require(success0);696            (uint112 reserve0, uint112 reserve1, uint32 blockTimestampLast) = abi.decode(returnData0, (uint112, uint112, uint32));697            require(!((0x26f7 * msg.value) * (uint112(var_i)) / ((uint112((var_h)) * 0x2710) + (0x26f7 * msg.value)) < arg1));698            require(address(0xbb4cdb9cbd36b01bd1cbaebf2de08d9173bc095c).code.length != 0x0);699            (bool success1, bytes memory returnData1) = address(0xbb4cdb9cbd36b01bd1cbaebf2de08d9173bc095c).deposit{ value: msg.value }(); // call700            require(success1);701            (bool success2, bytes memory returnData2) = address(0xbb4cdb9cbd36b01bd1cbaebf2de08d9173bc095c).transfer(address(uint160(0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1)), msg.value); // call702            require(success2);703            bool transferSucceeded = abi.decode(returnData2, (bool));704            uint256 value0 = 0;705            while (true) {706                if (value0 >= var_t) {707                    break;708                }709                value0 = 0x20 + value0;710                require(address(0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1).code.length != 0x0);711                (bool success3, bytes memory returnData3) = address(0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1).swap((((0x26f7 * msg.value) * (uint112(var_i))) / ((uint112((var_h)) * 0x2710) + (0x26f7 * msg.value))), 0, tx.origin, 0x80); // call712                require(success3);713                (bool success4, bytes memory returnData4) = address(0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1).getReserves(); // staticcall714                require(success4);715                (uint112 reserve0, uint112 reserve1, uint32 blockTimestampLast) = abi.decode(returnData4, (uint112, uint112, uint32));716                if ((0xffffffffffffffffffffffffffff & reserve01) != (0xffffffffffffffffffffffffffff & (0xffffffffffffffffffffffffffff & reserve11) / 0xf4240)) {717                    stor_3 = (0x7fffffffffffffff & ((0xffffffffffffffffffffffffffff & reserve1 / 0x0f4240) & (0xffffffffffffffffffffffffffff)) << 0) + ((0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff ^ (0x7fffffffffffffff << 0)) & stor_3);718                    require(address(0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1).code.length != 0x0);719                    (bool success5, bytes memory returnData5) = address(0x05cee9d44f641586f0c8b2328b8ee52d14a22bc1).sync(); // call720                    require(success5);721                }722            }723        }724    }725    726    function __desolexSelectorShim(uint32 rewrittenSelector) private {727        assembly {728            let input := mload(0x40)729            calldatacopy(input, 0, calldatasize())730            mstore(input, or(and(mload(input), 0x00000000ffffffffffffffffffffffffffffffffffffffffffffffffffffffff), shl(224, and(rewrittenSelector, 0xffffffff))))731            let success := delegatecall(gas(), address(), input, calldatasize(), 0, 0)732            let size := returndatasize()733            returndatacopy(input, 0, size)734            switch success735            case 0 { revert(input, size) }736            default { return(input, size) }737        }738    }739    740    // Note: This selector table is synthetic and is not part of the original Solidity source.741    // It records the recovered selector-to-signature mapping without executable behavior.742    743    // 0x06fdde03 => name()744    // 0x095ea7b3 => approve(address,uint256)745    // 0x18160ddd => totalSupply()746    // 0x1dc437b1 => swapExactETHForTokens(uint256)747    // 0x23b872dd => transferFrom(address,address,uint256)748    // 0x2c8d1547 => _accountInfos(address)749    // 0x2e1a7d4d => withdraw(uint256)750    // 0x3072cf60 => _initialized()751    // 0x313ce567 => decimals()752    // 0x39509351 => increaseAllowance(address,uint256)753    // 0x3a4b66f1 => stake()754    // 0x441a3e70 => withdraw(uint256,uint256)755    // 0x5d51abe8 => Unknown_5d51abe8()756    // 0x70a08231 => balanceOf(address)757    // 0x8129fc1c => initialize()758    // 0x8bb12432 => _________gap()759    // 0x92fc46f3 => Unknown_92fc46f3(address,bytes32)760    // 0x95d89b41 => symbol()761    // 0xa457c2d7 => decreaseAllowance(address,uint256)762    // 0xa9059cbb => transfer(address,uint256)763    // 0xb1ba3cb6 => swapExactETHForTokens(uint256,uint256)764    // 0xd0e30db0 => deposit()765    // 0xdd62ed3e => allowance(address,address)766    // 0xf7ff7d40 => FP_CONTRACT_NAME()767    // 0xfff6cae9 => sync()768}