Ethereum

0x9f63ecf5cedcac71c1e6c99f35b393be31d4733b

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

Decompilation outputEthereum · 0x9f63ecf5…31d4733b8.1 KB12.2 s
Share
1,325 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;  {        = (0xd86cbc1892bfda05f3d7e6c17c71709b6ae957a5);        = (0xd86cbc1892bfda05f3d7e6c17c71709b6ae957a5);        = 1;        = (0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2);        ( => )  ; // STORAGE[0x0]     ; // STORAGE[0x1]         ( ,  ,  );     ();     ();     ();     ( ,  , );     ();     ();     ();     ();     ();     ( , );     ();     ();     ();     ();     ( ,  ,  );     ();     ();     ();     ();     ();     ();     ();     ();     ();     ( ,  ,  , );     ();     ();     ();     ();     ( ,  , );     ( )   {         ("memory-safe") {            (0x00, (224, 0x4e487b71))            (0x04, )            (0x00, 0x24)        }    }    ()  {        // Synthetic compatibility routes preserve original selectors for unresolved names.         ((.. >= 4) && (. == 0x26883c8e)) {            // Route to Unknown_26883c8e(bytes) after replacing only msg.sig.            ((0x3bef56be));            ;        }         ((.. >= 4) && (. == 0x60ea7122)) {            // Route to Unknown_60ea7122(bytes,uint256) after replacing only msg.sig.            ((0xdce353ce));            ;        }         ((.. >= 4) && (. == 0xeddefaf2)) {            // Route to Unknown_eddefaf2(uint256,uint256) after replacing only msg.sig.            ((0x462638e7));            ;        }         ((.. >= 4) && (. == 0xf5473e6a)) {            // Route to Unknown_f5473e6a(bytes) after replacing only msg.sig.            ((0x8200aad8));            ;        }        ();    }             (  )    () {        (!((.. - (0x04 + )) < 0x0140));        (.[(0x04 + ) + 0x80] == ((.[(0x04 + ) + 0x80])));        (.[(0x04 + ) + 0x0120] < ((.. - (0x04 + )) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1));        (!(.[(0x04 + ) + .[(0x04 + ) + 0x0120]] > 0xffffffffffffffff));        (!(((0x04 + ) + .[(0x04 + ) + 0x0120] + 0x20) > (.. - (.[(0x04 + ) + .[(0x04 + ) + 0x0120]] << 0x05))));          = 0;          = (0x04 + ) + .[(0x04 + ) + 0x0120] + 0x20;          = (((0x20 + ) + 0x0160) + ((.[(0x04 + ) + .[(0x04 + ) + 0x0120]]) << 0x05)) + 0x20;          = ((0x20 + ) + 0x0160) + 0x20;         () {             (!( < (.[(0x04 + ) + .[(0x04 + ) + 0x0120]]))) {                ;            }            (.[] < (0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffea1 + (.. - ((0x04 + ) + .[(0x04 + ) + 0x0120] + 0x20))));            (.[.[] + ((0x04 + ) + .[(0x04 + ) + 0x0120] + 0x20)] == ((.[.[] + ((0x04 + ) + .[(0x04 + ) + 0x0120] + 0x20)])));            (.[(.[] + ((0x04 + ) + .[(0x04 + ) + 0x0120] + 0x20)) + 0x80] == ((.[(.[] + ((0x04 + ) + .[(0x04 + ) + 0x0120] + 0x20)) + 0x80])));            (.[(.[] + ((0x04 + ) + .[(0x04 + ) + 0x0120] + 0x20)) + 0xc0] == ((.[(.[] + ((0x04 + ) + .[(0x04 + ) + 0x0120] + 0x20)) + 0xc0])));            (.[(.[] + ((0x04 + ) + .[(0x04 + ) + 0x0120] + 0x20)) + 0x0140] < ((.. - (.[] + ((0x04 + ) + .[(0x04 + ) + 0x0120] + 0x20))) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1));            (!(.[(.[] + ((0x04 + ) + .[(0x04 + ) + 0x0120] + 0x20)) + .[(.[] + ((0x04 + ) + .[(0x04 + ) + 0x0120] + 0x20)) + 0x0140]] > 0xffffffffffffffff));            (!(((.[] + ((0x04 + ) + .[(0x04 + ) + 0x0120] + 0x20)) + .[(.[] + ((0x04 + ) + .[(0x04 + ) + 0x0120] + 0x20)) + 0x0140] + 0x20) > (.. - (.[(.[] + ((0x04 + ) + .[(0x04 + ) + 0x0120] + 0x20)) + .[(.[] + ((0x04 + ) + .[(0x04 + ) + 0x0120] + 0x20)) + 0x0140]]))));             = 0x01 + ;             = 0x20 + ;             = ( + 0x0160) + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (.[(.[] + ((0x04 + ) + .[(0x04 + ) + 0x0120] + 0x20)) + (.[(.[] + ((0x04 + ) + .[(0x04 + ) + 0x0120] + 0x20)) + 0x0140])] + 0x1f)) + 0x20;             = 0x20 + ;             (.(0x20, (), ( + 0x20), ( + 0x40), ( + 0x60), ((.[(0x04 + ) + 0x80])), ( + 0xa0), ( + 0xc0), ( + 0xe0), ( + 0x0100), 0x0140, (.[(0x04 + ) + .[(0x04 + ) + 0x0120]])));        }    }         ()   () {        ((0xd86cbc1892bfda05f3d7e6c17c71709b6ae957a5) == ., ());        (0x01 == , ());         = 0x02;        (!((). < 0x01), ());        ( ,   ) = (0xd86cbc1892bfda05f3d7e6c17c71709b6ae957a5).{ : (). }(""); // call          = 0x60;         (. != 0) {             ;             =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));             = ;        }        (, ());         (0xd86cbc1892bfda05f3d7e6c17c71709b6ae957a5, ().);         = 0x01;         ().;    }         (  ,  )   ( ) {        (!((.. - (0x04 + )) < 0x0140));        ((0xd86cbc1892bfda05f3d7e6c17c71709b6ae957a5) == ., ());        (0x01 == , ());         = 0x02;        (!(() != 0x1 || 0x1 != .), ());        (((0x04 + ) + 0xa0) - ((0x04 + ) + 0x80) >= 0x20);        (.[(0x04 + ) + 0x80] == ((.[(0x04 + ) + 0x80])));        ((.[(0x04 + ) + 0x80]) == 0xd86cbc1892bfda05f3d7e6c17c71709b6ae957a5, ());        (!(. < (0x20 + )), ());        (!(. > (( + 0x40) + ( + 0x20))), ());        (!(. > (0x60 + )), ());        (!((0xe0 + ) > 0x2710), ());        (( + 0x0100) != 0x0, ());        (.[(0x04 + ) + 0x0120] < ((.. - (0x04 + )) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1));        (!(.[(0x04 + ) + .[(0x04 + ) + 0x0120]] > 0xffffffffffffffff));        (!((0x20 + ((0x04 + ) + .[(0x04 + ) + 0x0120])) > (.. - (.[(0x04 + ) + .[(0x04 + ) + 0x0120]] << 0x05))));        (!((.[(0x04 + ) + .[(0x04 + ) + 0x0120]]) > 0x20), ());        (( + 0x0120) < ((.. - (0x04 + )) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1));        (!( + ( + 0x0120) > 0xffffffffffffffff));        (!((0x20 + ((0x04 + ) + ( + 0x0120))) > (.. - ( + ( + 0x0120) << 0x05))));        (!( > ( + ( + 0x0120))), ());        (.[(0x04 + ) + 0x80] == ((.[(0x04 + ) + 0x80])));        (.[(0x04 + ) + 0x0120] < ((.. - (0x04 + )) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1));        (!(.[(0x04 + ) + .[(0x04 + ) + 0x0120]] > 0xffffffffffffffff));        (!(((0x04 + ) + .[(0x04 + ) + 0x0120] + 0x20) > (.. - (.[(0x04 + ) + .[(0x04 + ) + 0x0120]] << 0x05))));          = 0;          = ((0x04 + ) + (.[(0x04 + ) + 0x0120])) + 0x20;         ;          = (((0x20 + ) + 0x0160) + (.[(0x04 + ) + (.[(0x04 + ) + 0x0120])] << 0x05)) + 0x20;          = ((0x20 + ) + 0x0160) + 0x20;         ;         () {              = ;              = ;             = ;              = ;             (!( < (.[(0x04 + ) + (.[(0x04 + ) + 0x0120])]))) {                ;            }            (.[] < (0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffea1 + (.. - ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20))));            (.[.[] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)] == ((.[.[] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)])));            (.[(.[] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0x80] == ((.[(.[] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0x80])));            (.[(.[] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0xc0] == ((.[(.[] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0xc0])));            (.[(.[] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0x0140] < ((.. - (.[] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20))) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1));            (!(.[(.[] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + .[(.[] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0x0140]] > 0xffffffffffffffff));            (!(((.[] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + .[(.[] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0x0140] + 0x20) > (.. - (.[(.[] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + .[(.[] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0x0140]]))));             (!((0x01 + ) < (.[(0x04 + ) + (.[(0x04 + ) + 0x0120])]))) {                ;            }            (.[0x20 + ] < (0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffea1 + (.. - ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20))));            (.[.[0x20 + ] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)] == ((.[.[0x20 + ] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)])));            (.[(.[0x20 + ] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0x80] == ((.[(.[0x20 + ] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0x80])));            (.[(.[0x20 + ] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0xc0] == ((.[(.[0x20 + ] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0xc0])));            (.[(.[0x20 + ] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0x0140] < ((.. - (.[0x20 + ] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20))) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1));            (!(.[(.[0x20 + ] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + .[(.[0x20 + ] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0x0140]] > 0xffffffffffffffff));            (!(((.[0x20 + ] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + .[(.[0x20 + ] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0x0140] + 0x20) > (.. - (.[(.[0x20 + ] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + .[(.[0x20 + ] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0x0140]]))));             = 0x01 + (0x01 + );             = 0x20 + (0x20 + );             = (((( + 0x0160) + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (.[(.[] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + (.[(.[] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0x0140])] + 0x1f)) + 0x20) + 0x0160) + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (.[(.[0x20 + ] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + (.[(.[0x20 + ] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0x0140])] + 0x1f))) + 0x20;             = 0x20 + (0x20 + );             = 0x01 + ;             = 0x20 + ;             = (( + 0x0160) + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (.[(.[] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + (.[(.[] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0x0140])] + 0x1f))) + 0x20;             = 0x20 + ;        }         = ;        (![(.(0x20, .[0x04 + ], (.[(0x04 + ) + 0x20]), (.[(0x04 + ) + 0x40]), (.[(0x04 + ) + 0x60]), ((.[(0x04 + ) + 0x80])), (.[(0x04 + ) + 0xa0]), (.[(0x04 + ) + 0xc0]), (.[(0x04 + ) + 0xe0]), (.[(0x04 + ) + 0x0100]), 0x0140, (.[(0x04 + ) + (.[(0x04 + ) + 0x0120])])))], ());        [(.(0x20, .[0x04 + ], (.[(0x04 + ) + 0x20]), (.[(0x04 + ) + 0x40]), (.[(0x04 + ) + 0x60]), (.[(0x04 + ) + 0x80] & ((().))), (.[(0x04 + ) + 0xa0]), (.[(0x04 + ) + 0xc0]), (.[(0x04 + ) + 0xe0]), (.[(0x04 + ) + 0x0100]), 0x0140, (.[(0x04 + ) + (.[(0x04 + ) + 0x0120])])))] = ;         =  + 0x44;          = 0;         () {              = ;             (!( < )) {                ;            }             (!((0x20 + ) < )) {                ;            }             = 0x20 + (0x20 + );             = 0x20 + ;        }        ( ,   ) = (0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2).(); // staticcall          = 0x60;         (. != 0) {             =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));             = ;        }          = !;         () {             =  < 0x20;        }        (!, ());        (((0x20 + ) + ) - (0x20 + ) >= 0x20);        (!( < (0xa0 + )), ());          = ;          = 0;          = 0;          = 0;          = 0;         () {            (( + 0x0120) < ((.. - (0x04 + )) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1));            (!( + ( + 0x0120) > 0xffffffffffffffff));            (!((0x20 + ((0x04 + ) + ( + 0x0120))) > (.. - ( + ( + 0x0120) << 0x05))));             (0 >= ( + ( + 0x0120))) {                (0x0 >= , ());                 =  + 0x44;                  = 0;                 () {                      = ;                     (!( < )) {                        ;                    }                     (!((0x20 + ) < )) {                        ;                    }                     = 0x20 + (0x20 + );                     = 0x20 + ;                }                ( ,   ) = (0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2).(); // staticcall                  = 0x60;                 (. != 0) {                     =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                     = ;                }                  = !;                 () {                     =  < 0x20;                }                (!, ());                (((0x20 + ) + ) - (0x20 + ) >= 0x20);                (0 != , ());                 = 0x20 + (0x24 + );                 = 0;                 () {                      = ;                     (!( < )) {                        ;                    }                     (!((0x20 + ) < )) {                        ;                    }                     = 0x20 + (0x20 + );                     = 0x20 + ;                }                ( ,   ) = (0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2).(); // call                  = 0x60;                 (. != 0) {                     =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                     = ;                }                (, ());                (!((). - (). < (0xc0 + )), ());                ( ,   ) = (0xd86cbc1892bfda05f3d7e6c17c71709b6ae957a5).{ : (). - (). }(""); // call                  = 0x60;                 (. != 0) {                     =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                     = ;                }                (, ());                 ((.(0x20, .[0x04 + ], (.[(0x04 + ) + 0x20]), (.[(0x04 + ) + 0x40]), (.[(0x04 + ) + 0x60]), ((.[(0x04 + ) + 0x80])), (.[(0x04 + ) + 0xa0]), (.[(0x04 + ) + 0xc0]), (.[(0x04 + ) + 0xe0]), (.[(0x04 + ) + 0x0100]), 0x0140, (.[(0x04 + ) + (.[(0x04 + ) + 0x0120])]))), 0xd86cbc1892bfda05f3d7e6c17c71709b6ae957a5, (). - ().);                 = 0x01;                 .((.(0x20, .[0x04 + ], (.[(0x04 + ) + 0x20]), (.[(0x04 + ) + 0x40]), (.[(0x04 + ) + 0x60]), ((.[(0x04 + ) + 0x80])), (.[(0x04 + ) + 0xa0]), (.[(0x04 + ) + 0xc0]), (.[(0x04 + ) + 0xe0]), (.[(0x04 + ) + 0x0100]), 0x0140, (.[(0x04 + ) + (.[(0x04 + ) + 0x0120])]))), (). - ()., 0, 0, 0);                ;            }              = 0;              = 0;              = 0;              = 0;              = 0x04 + ;             () {                  = 0;                 ( >= ) {                    ;                }                  = !(!( & (0x01 << )));                 (( & (0x01 << )) != 0x0) {                    (.[ + 0x0120] < ((.. - ) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1));                    (!(.[ + .[ + 0x0120]] > 0xffffffffffffffff));                    (!((0x20 + ( + .[ + 0x0120])) > (.. - (.[ + .[ + 0x0120]] << 0x05))));                     (!( < (.[ + .[ + 0x0120]]))) (50);                    (.[(0x20 + ( + .[ + 0x0120])) + (0x20 * )] < ((.. - (0x20 + ( + .[ + 0x0120]))) + 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffea1));                    ((.[(0x20 + ( + .[ + 0x0120])) + (0x20 * )] + (0x20 + ( + .[ + 0x0120])) + 0x20) - (.[(0x20 + ( + .[ + 0x0120])) + (0x20 * )] + (0x20 + ( + .[ + 0x0120]))) >= 0x20);                    (.[.[(0x20 + ( + .[ + 0x0120])) + (0x20 * )] + (0x20 + ( + .[ + 0x0120]))] == ((.[.[(0x20 + ( + .[ + 0x0120])) + (0x20 * )] + (0x20 + ( + .[ + 0x0120]))])));                    (.[ + 0x0120] < ((.. - ) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1));                    (!(.[ + .[ + 0x0120]] > 0xffffffffffffffff));                    (!((0x20 + ( + .[ + 0x0120])) > (.. - (.[ + .[ + 0x0120]] << 0x05))));                     (!( < (.[ + .[ + 0x0120]]))) (50);                    (.[(0x20 + ( + .[ + 0x0120])) + (0x20 * )] < ((.. - (0x20 + ( + .[ + 0x0120]))) + 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffea1));                    ((.[(0x20 + ( + .[ + 0x0120])) + (0x20 * )] + (0x20 + ( + .[ + 0x0120])) + 0x20) - (.[(0x20 + ( + .[ + 0x0120])) + (0x20 * )] + (0x20 + ( + .[ + 0x0120]))) >= 0x20);                    (.[.[(0x20 + ( + .[ + 0x0120])) + (0x20 * )] + (0x20 + ( + .[ + 0x0120]))] == ((.[.[(0x20 + ( + .[ + 0x0120])) + (0x20 * )] + (0x20 + ( + .[ + 0x0120]))])));                     = ((.[.[(0x20 + ( + .[ + 0x0120])) + (0x20 * )] + (0x20 + ( + .[ + 0x0120]))])) == ((.[.[(0x20 + ( + .[ + 0x0120])) + (0x20 * )] + (0x20 + ( + .[ + 0x0120]))]));                }                 () {                    ;                }                 = 0x01 + ;                 = ;                 = ;                 = ;                 = ;                 = 0x01;                 ;                  = 0;                 ;                 ;                 ( == 0x0) {                    (( + 0x0120) < ((.. - (0x04 + )) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1));                    (!( + ( + 0x0120) > 0xffffffffffffffff));                    (!((0x20 + ((0x04 + ) + ( + 0x0120))) > (.. - ( + ( + 0x0120) << 0x05))));                     (!(0 < ( + ( + 0x0120)))) (50);                    (((0x20 + ( + ( + 0x0120))) + 0) < ((.. - (0x20 + ((0x04 + ) + ( + 0x0120)))) + 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffea1));                    (( + 0x0120) < ((.. - (0x04 + )) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1));                    (!( + ( + 0x0120) > 0xffffffffffffffff));                    (!((0x20 + ((0x04 + ) + ( + 0x0120))) > (.. - ( + ( + 0x0120) << 0x05))));                     (!(0 < ( + ( + 0x0120)))) (50);                    (((0x20 + ( + ( + 0x0120))) + 0) < ((.. - (0x20 + ((0x04 + ) + ( + 0x0120)))) + 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffea1));                    (.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))] == ((.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))])));                    (.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0x80] == ((.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0x80])));                    (.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0xc0] == ((.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0xc0])));                    (.[(((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))) + 0x0140] < ((.. - (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))))) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1));                    (!(.[(((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))) + .[(((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))) + 0x0140]] > 0xffffffffffffffff));                    (!((((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + .[(((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))) + 0x0140] + 0x20) > (.. - (.[(((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))) + .[(((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))) + 0x0140]]))));                    (().. != 0x0);                    ( ,   ) = ().{ : (0x0120 + (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ( + ( + 0x0120))))) + 0x030d40 }(0, 0x40, (.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))]), (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ( + ( + 0x0120))) + 0x20), (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ( + ( + 0x0120))) + 0x40), (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ( + ( + 0x0120))) + 0x60), (.[(((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))) + 0x80]), (0xa0 + (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ( + ( + 0x0120))))), (.[(((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))) + 0xc0]), (0xe0 + (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ( + ( + 0x0120))))), (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ( + ( + 0x0120))) + 0x0100), (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ( + ( + 0x0120))) + 0x0120), 0x0160, (.[(.[] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + (.[(.[] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0x0140])])); // call                      = ;                     () {                         = ;                    }                      = 0x01;                      = 0;                      = 0x01;                     () {                        (( + 0x0120) < ((.. - (0x04 + )) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1));                        (!( + ( + 0x0120) > 0xffffffffffffffff));                        (!((0x20 + ((0x04 + ) + ( + 0x0120))) > (.. - ( + ( + 0x0120) << 0x05))));                         (!(0 < ( + ( + 0x0120)))) (50);                        (((0x20 + ( + ( + 0x0120))) + 0) < ((.. - (0x20 + ((0x04 + ) + ( + 0x0120)))) + 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffea1));                        (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ( + ( + 0x0120))) == ((((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ( + ( + 0x0120))))));                         ((.(0x20, .[0x04 + ], (.[(0x04 + ) + 0x20]), (.[(0x04 + ) + 0x40]), (.[(0x04 + ) + 0x60]), ((.[(0x04 + ) + 0x80])), (.[(0x04 + ) + 0xa0]), (.[(0x04 + ) + 0xc0]), (.[(0x04 + ) + 0xe0]), (.[(0x04 + ) + 0x0100]), 0x0140, (.[(0x04 + ) + (.[(0x04 + ) + 0x0120])]))), 0, (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ( + ( + 0x0120)))));                    }  {                          = 0x60;                         (. != 0x0) {                             =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                             = ;                        }                        (( + 0x0120) < ((.. - (0x04 + )) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1));                        (!( + ( + 0x0120) > 0xffffffffffffffff));                        (!((0x20 + ((0x04 + ) + ( + 0x0120))) > (.. - ( + ( + 0x0120) << 0x05))));                         (!(0 < ( + ( + 0x0120)))) (50);                        (((0x20 + ( + ( + 0x0120))) + 0) < ((.. - (0x20 + ((0x04 + ) + ( + 0x0120)))) + 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffea1));                        (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ( + ( + 0x0120))) == ((((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ( + ( + 0x0120))))));                         ((.(0x20, .[0x04 + ], (.[(0x04 + ) + 0x20]), (.[(0x04 + ) + 0x40]), (.[(0x04 + ) + 0x60]), ((.[(0x04 + ) + 0x80])), (.[(0x04 + ) + 0xa0]), (.[(0x04 + ) + 0xc0]), (.[(0x04 + ) + 0xe0]), (.[(0x04 + ) + 0x0100]), 0x0140, (.[(0x04 + ) + (.[(0x04 + ) + 0x0120])]))), 0, (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ( + ( + 0x0120)))), ());                         = 0;                         = 0x01;                         = 0;                    }                     = ;                     = ;                     = ;                }  {                    (( + 0x0120) < ((.. - (0x04 + )) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1));                    (!( + ( + 0x0120) > 0xffffffffffffffff));                    (!((0x20 + ((0x04 + ) + ( + 0x0120))) > (.. - ( + ( + 0x0120) << 0x05))));                     (!(0 < ( + ( + 0x0120)))) (50);                    (((0x20 + ( + ( + 0x0120))) + 0) < ((.. - (0x20 + ((0x04 + ) + ( + 0x0120)))) + 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffea1));                    (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ( + ( + 0x0120))) == ((((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ( + ( + 0x0120))))));                     ((.(0x20, .[0x04 + ], (.[(0x04 + ) + 0x20]), (.[(0x04 + ) + 0x40]), (.[(0x04 + ) + 0x60]), ((.[(0x04 + ) + 0x80])), (.[(0x04 + ) + 0xa0]), (.[(0x04 + ) + 0xc0]), (.[(0x04 + ) + 0xe0]), (.[(0x04 + ) + 0x0100]), 0x0140, (.[(0x04 + ) + (.[(0x04 + ) + 0x0120])]))), 0, (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ( + ( + 0x0120)))));                     = 0;                     = 0x01;                     = 0;                     = 0;                }                 = ;                 = ;                 = ;                 = ;                 = ;            }        }    }         ( )   () {        ((0xd86cbc1892bfda05f3d7e6c17c71709b6ae957a5) == ., ());        (0x01 == , ());         = 0x02;        (!( == (0) || .. == 0x0), ());         ;         =  + 0x44;          = 0;         () {             (!( < .)) {                ;            }             = 0x20 + ;        }        ( ,   ) = .(.((0x70a08231), )); // staticcall balanceOf          = 0x60;         (. != 0) {             =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));             = ;        }          = !;         () {             =  < 0x20;        }        (!, ());        (!(((0x20 + ) + ) - (0x20 + ) < 0x20));        (!( < 0x01), ());         = 0x64 + ;         = 0;         () {             (!( < .)) {                ;            }             = 0x20 + ;            ( ,   ) = .(); // call              = 0x60;             (. != 0) {                 =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                 = ;            }              = !;             () {                  = ;                 ( != 0x0) {                      =  < 0x20;                     ( >= 0x20) {                        (!(((0x20 + ) + ) - (0x20 + ) < 0x20));                        ( == (!(!())));                         = !();                    }                     = ;                }                 = ;            }            (!, ());             (, 0xd86cbc1892bfda05f3d7e6c17c71709b6ae957a5, );             = 0x01;             ;        }    }         ( ,  )  {        ( <= 0xffffffffffffffff);        (!((.. - (0x04 + )) < 0x0160));        (() == ., ());        (((0x04 + ) + 0x20) - (0x04 + ) >= 0x20);        (.[0x04 + ] == ((.[0x04 + ])));          = ((.[0x04 + ])) == 0;         (!((.[0x04 + ]) == 0)) {            (((0x04 + ) + 0x20) - (0x04 + ) >= 0x20);            (.[0x04 + ] == ((.[0x04 + ])));             = ((.[0x04 + ])) == 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2;        }          = ;         (!()) {             = !(.[(0x04 + ) + 0x20]);        }          = ;         (!()) {            (((0x04 + ) + 0xa0) - ((0x04 + ) + 0x80) >= 0x20);            (.[(0x04 + ) + 0x80] == ((.[(0x04 + ) + 0x80])));             = ((.[(0x04 + ) + 0x80])) == 0;        }          = ;         (!()) {            (((0x04 + ) + 0xe0) - ((0x04 + ) + 0xc0) >= 0x20);            (.[(0x04 + ) + 0xc0] == ((.[(0x04 + ) + 0xc0])));             = ((.[(0x04 + ) + 0xc0])) == 0;        }          = ;         (!()) {            (((0x04 + ) + 0xa0) - ((0x04 + ) + 0x80) >= 0x20);            (.[(0x04 + ) + 0x80] == ((.[(0x04 + ) + 0x80])));             = !((.[(0x04 + ) + 0x80])..);        }          = ;         (!()) {            (((0x04 + ) + 0xe0) - ((0x04 + ) + 0xc0) >= 0x20);            (.[(0x04 + ) + 0xc0] == ((.[(0x04 + ) + 0xc0])));             = !((.[(0x04 + ) + 0xc0])..);        }          = ;         (!()) {            (.[(0x04 + ) + 0x0140] < ((.. - (0x04 + )) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1));            (!(.[(0x04 + ) + .[(0x04 + ) + 0x0140]] > 0xffffffffffffffff));            (!((0x20 + ((0x04 + ) + .[(0x04 + ) + 0x0140])) > (.. - (.[(0x04 + ) + .[(0x04 + ) + 0x0140]]))));             = (.[(0x04 + ) + .[(0x04 + ) + 0x0140]]) < 0x04;        }          = ;         (!()) {             = (.[0x0120 + (0x04 + )]) < 0xc350;        }        (!( || (0x120 + (0x04 + )) > 0x4c4b40), ());        (((0x04 + ) + 0xa0) - ((0x04 + ) + 0x80) >= 0x20);        (.[(0x04 + ) + 0x80] == ((.[(0x04 + ) + 0x80])));          = !((.[(0x04 + ) + 0x80]). == (.[(0x04 + ) + 0xa0]));         ((.[(0x04 + ) + 0x80]). == (.[(0x04 + ) + 0xa0])) {            (((0x04 + ) + 0xe0) - ((0x04 + ) + 0xc0) >= 0x20);            (.[(0x04 + ) + 0xc0] == ((.[(0x04 + ) + 0xc0])));             = !((.[(0x04 + ) + 0xc0]). == (.[(0x04 + ) + 0xe0]));        }        (!, ());        (((0x04 + ) + 0x20) - (0x04 + ) >= 0x20);        (.[0x04 + ] == ((.[0x04 + ])));         ;         =  + 0x44;          = 0;         () {              = ;             (!( < )) {                ;            }             (!((0x20 + ) < )) {                ;            }             = 0x20 + (0x20 + );             = 0x20 + ;        }        ( ,   ) = (.[0x04 + ]).(); // staticcall          = 0x60;         (. != 0) {             =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));             = ;        }          = !;         () {             =  < 0x20;        }        (!, ());        (((0x20 + ) + ) - (0x20 + ) >= 0x20);          =  < (.[0x40 + (0x04 + )]);         (!( < (.[0x40 + (0x04 + )]))) {             =  < (.[0x20 + (0x04 + )]);        }        (!, ());        (((0x04 + ) + 0x20) - (0x04 + ) >= 0x20);        (.[0x04 + ] == ((.[0x04 + ])));        (((0x04 + ) + 0xa0) - ((0x04 + ) + 0x80) >= 0x20);        (.[(0x04 + ) + 0x80] == ((.[(0x04 + ) + 0x80])));         =  + 0x64;         = 0;         () {             (!( < )) {                ;            }             = 0x20 + ;            ( ,   ) = (.[0x04 + ]).(); // staticcall              = 0x60;             (. != 0) {                 =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                 = ;            }              = !;             () {                 =  < 0x20;            }            (!, ());            (((0x20 + ) + ) - (0x20 + ) >= 0x20);            (!(), ());             =  + 0x44;              = 0;             () {                  = ;                 (!( < )) {                    ;                }                 (!((0x20 + ) < )) {                    ;                }                 = 0x20 + (0x20 + );                 = 0x20 + ;            }            ( ,   ) = (0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2).(); // staticcall              = 0x60;             (. != 0) {                 =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                 = ;            }              = !;             () {                 =  < 0x20;            }            (!, ());            (((0x20 + ) + ) - (0x20 + ) >= 0x20);            (((0x04 + ) + 0x20) - (0x04 + ) >= 0x20);            (.[0x04 + ] == ((.[0x04 + ])));            (((0x04 + ) + 0xa0) - ((0x04 + ) + 0x80) >= 0x20);            (.[(0x04 + ) + 0x80] == ((.[(0x04 + ) + 0x80])));             = 0;             () {                 = 0x64 + ;                 (!( < .)) {                    ;                }                 = 0x20 + ;                (((0x04 + ) + 0x20) - (0x04 + ) >= 0x20);                (.[0x04 + ] == ((.[0x04 + ])));                (((0x04 + ) + 0xa0) - ((0x04 + ) + 0x80) >= 0x20);                (.[(0x04 + ) + 0x80] == ((.[(0x04 + ) + 0x80])));                  = 0;                 () {                     = 0x64 + ;                     (!( < .)) {                        ;                    }                     = 0x20 + ;                    (((0x04 + ) + 0xe0) - ((0x04 + ) + 0xc0) >= 0x20);                    (.[(0x04 + ) + 0xc0] == ((.[(0x04 + ) + 0xc0])));                    (.[(0x04 + ) + 0x0140] < ((.. - (0x04 + )) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1));                    (!(.[(0x04 + ) + .[(0x04 + ) + 0x0140]] > 0xffffffffffffffff));                    (!((0x20 + ((0x04 + ) + .[(0x04 + ) + 0x0140])) > (.. - (.[(0x04 + ) + .[(0x04 + ) + 0x0140]]))));                    ( ,   ) = (.[(0x04 + ) + 0xc0]).(""); // call                      = 0x60;                     (. != 0) {                         =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                         = ;                    }                    (, ());                    (((0x04 + ) + 0x20) - (0x04 + ) >= 0x20);                    (.[0x04 + ] == ((.[0x04 + ])));                    (((0x04 + ) + 0xa0) - ((0x04 + ) + 0x80) >= 0x20);                    (.[(0x04 + ) + 0x80] == ((.[(0x04 + ) + 0x80])));                      = 0;                     () {                         = 0x64 + ;                         (!( < .)) {                            ;                        }                         = 0x20 + ;                    }                    ( ,   ) = (.[0x04 + ]).(); // call                      = 0x60;                     (. != 0) {                         =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                         = ;                    }                      = !;                     () {                          = ;                         ( != 0x0) {                              =  < 0x20;                             ( >= 0x20) {                                (((0x20 + ) + ) - (0x20 + ) >= 0x20);                                ( == );                                 = !();                            }                             = ;                        }                         = ;                    }                    (!, ());                    (((0x04 + ) + 0x20) - (0x04 + ) >= 0x20);                    (.[0x04 + ] == ((.[0x04 + ])));                    (((0x04 + ) + 0xa0) - ((0x04 + ) + 0x80) >= 0x20);                    (.[(0x04 + ) + 0x80] == ((.[(0x04 + ) + 0x80])));                     =  + 0x64;                     = 0;                     () {                         (!( < )) {                            ;                        }                         = 0x20 + ;                        ( ,   ) = (.[0x04 + ]).(); // staticcall                          = 0x60;                         (. != 0) {                             =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                             = ;                        }                          = !;                         () {                             =  < 0x20;                        }                        (!, ());                        (((0x20 + ) + ) - (0x20 + ) >= 0x20);                        (!(), ());                        (((0x04 + ) + 0x20) - (0x04 + ) >= 0x20);                        (.[0x04 + ] == ((.[0x04 + ])));                         =  + 0x44;                          = 0;                         () {                             (!( < )) {                                ;                            }                             = 0x20 + ;                            ( ,   ) = (.[0x04 + ]).(); // staticcall                              = 0x60;                             (. != 0) {                                 =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                                 = ;                            }                              = !;                             () {                                 =  < 0x20;                            }                            (!, ());                            (((0x20 + ) + ) - (0x20 + ) >= 0x20);                            (!( > (.[0x60 + (0x04 + )])), ());                             =  + 0x44;                              = 0;                             () {                                  = ;                                 (!( < )) {                                    ;                                }                                 (!((0x20 + ) < )) {                                    ;                                }                                 = 0x20 + (0x20 + );                                 = 0x20 + ;                            }                            ( ,   ) = (0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2).(); // staticcall                              = 0x60;                             (. != 0) {                                 =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                                 = ;                            }                              = !;                             () {                                 =  < 0x20;                            }                            (!, ());                            (((0x20 + ) + ) - (0x20 + ) >= 0x20);                            (!( -  < (.[0x0100 + (0x04 + )])), ());                        }                    }                }                ( ,   ) = (.[0x04 + ]).(); // call                  = 0x60;                 (. != 0) {                     =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                     = ;                }                  = !;                 () {                      = ;                     ( != 0x0) {                          =  < 0x20;                         ( >= 0x20) {                            (((0x20 + ) + ) - (0x20 + ) >= 0x20);                            ( == );                             = !();                        }                         = ;                    }                     = ;                }                (!, ());            }            ( ,   ) = (.[0x04 + ]).(); // call              = 0x60;             (. != 0) {                 =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                 = ;            }              = !;             () {                  = ;                 ( != 0x0) {                      =  < 0x20;                     ( >= 0x20) {                        (((0x20 + ) + ) - (0x20 + ) >= 0x20);                        ( == );                         = !();                    }                     = ;                }                 = ;            }            (!, ());        }    }         (  )   ( ) {        (!((.. - (0x04 + )) < 0x0140));        ((0xd86cbc1892bfda05f3d7e6c17c71709b6ae957a5) == ., ());        (0x01 == , ());         = 0x02;        (!(() != 0x1 || 0x1 != .), ());        (((0x04 + ) + 0xa0) - ((0x04 + ) + 0x80) >= 0x20);        (.[(0x04 + ) + 0x80] == ((.[(0x04 + ) + 0x80])));        ((.[(0x04 + ) + 0x80]) == 0xd86cbc1892bfda05f3d7e6c17c71709b6ae957a5, ());        (!(. < (0x20 + )), ());        (!(. > (( + 0x40) + ( + 0x20))), ());        (!(. > (0x60 + )), ());        (!((0xe0 + ) > 0x2710), ());        (( + 0x0100) != 0x0, ());        (.[(0x04 + ) + 0x0120] < ((.. - (0x04 + )) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1));        (!(.[(0x04 + ) + .[(0x04 + ) + 0x0120]] > 0xffffffffffffffff));        (!((0x20 + ((0x04 + ) + .[(0x04 + ) + 0x0120])) > (.. - (.[(0x04 + ) + .[(0x04 + ) + 0x0120]] << 0x05))));        (!((.[(0x04 + ) + .[(0x04 + ) + 0x0120]]) > 0x20), ());        (.[(0x04 + ) + 0x80] == ((.[(0x04 + ) + 0x80])));        (.[(0x04 + ) + 0x0120] < ((.. - (0x04 + )) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1));        (!(.[(0x04 + ) + .[(0x04 + ) + 0x0120]] > 0xffffffffffffffff));        (!(((0x04 + ) + .[(0x04 + ) + 0x0120] + 0x20) > (.. - (.[(0x04 + ) + .[(0x04 + ) + 0x0120]] << 0x05))));          = 0;          = ((0x04 + ) + (.[(0x04 + ) + 0x0120])) + 0x20;         ;          = (((0x20 + ) + 0x0160) + (.[(0x04 + ) + (.[(0x04 + ) + 0x0120])] << 0x05)) + 0x20;          = ((0x20 + ) + 0x0160) + 0x20;         ;         () {              = ;              = ;             = ;              = ;             (!( < (.[(0x04 + ) + (.[(0x04 + ) + 0x0120])]))) {                ;            }            (.[] < (0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffea1 + (.. - ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20))));            (.[.[] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)] == ((.[.[] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)])));            (.[(.[] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0x80] == ((.[(.[] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0x80])));            (.[(.[] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0xc0] == ((.[(.[] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0xc0])));            (.[(.[] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0x0140] < ((.. - (.[] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20))) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1));            (!(.[(.[] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + .[(.[] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0x0140]] > 0xffffffffffffffff));            (!(((.[] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + .[(.[] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0x0140] + 0x20) > (.. - (.[(.[] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + .[(.[] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0x0140]]))));             (!((0x01 + ) < (.[(0x04 + ) + (.[(0x04 + ) + 0x0120])]))) {                ;            }            (.[0x20 + ] < (0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffea1 + (.. - ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20))));            (.[.[0x20 + ] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)] == ((.[.[0x20 + ] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)])));            (.[(.[0x20 + ] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0x80] == ((.[(.[0x20 + ] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0x80])));            (.[(.[0x20 + ] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0xc0] == ((.[(.[0x20 + ] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0xc0])));            (.[(.[0x20 + ] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0x0140] < ((.. - (.[0x20 + ] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20))) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1));            (!(.[(.[0x20 + ] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + .[(.[0x20 + ] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0x0140]] > 0xffffffffffffffff));            (!(((.[0x20 + ] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + .[(.[0x20 + ] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0x0140] + 0x20) > (.. - (.[(.[0x20 + ] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + .[(.[0x20 + ] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0x0140]]))));             = 0x01 + (0x01 + );             = 0x20 + (0x20 + );             = (((( + 0x0160) + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (.[(.[] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + (.[(.[] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0x0140])] + 0x1f)) + 0x20) + 0x0160) + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (.[(.[0x20 + ] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + (.[(.[0x20 + ] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0x0140])] + 0x1f))) + 0x20;             = 0x20 + (0x20 + );             = 0x01 + ;             = 0x20 + ;             = (( + 0x0160) + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (.[(.[] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + (.[(.[] + ((0x04 + ) + (.[(0x04 + ) + 0x0120]) + 0x20)) + 0x0140])] + 0x1f))) + 0x20;             = 0x20 + ;        }         = ;        (![(.(0x20, .[0x04 + ], (.[(0x04 + ) + 0x20]), (.[(0x04 + ) + 0x40]), (.[(0x04 + ) + 0x60]), ((.[(0x04 + ) + 0x80])), (.[(0x04 + ) + 0xa0]), (.[(0x04 + ) + 0xc0]), (.[(0x04 + ) + 0xe0]), (.[(0x04 + ) + 0x0100]), 0x0140, (.[(0x04 + ) + (.[(0x04 + ) + 0x0120])])))], ());        [(.(0x20, .[0x04 + ], (.[(0x04 + ) + 0x20]), (.[(0x04 + ) + 0x40]), (.[(0x04 + ) + 0x60]), (.[(0x04 + ) + 0x80] & ((().))), (.[(0x04 + ) + 0xa0]), (.[(0x04 + ) + 0xc0]), (.[(0x04 + ) + 0xe0]), (.[(0x04 + ) + 0x0100]), 0x0140, (.[(0x04 + ) + (.[(0x04 + ) + 0x0120])])))] = ;         =  + 0x44;          = 0;         () {              = ;             (!( < )) {                ;            }             (!((0x20 + ) < )) {                ;            }             = 0x20 + (0x20 + );             = 0x20 + ;        }        ( ,   ) = (0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2).(); // staticcall          = 0x60;         (. != 0) {             =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));             = ;        }          = !;         () {             =  < 0x20;        }        (!, ());        (((0x20 + ) + ) - (0x20 + ) >= 0x20);        (!( < (0xa0 + )), ());          = ;         () {            (( + 0x0120) < ((.. - (0x04 + )) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1));            (!( + ( + 0x0120) > 0xffffffffffffffff));            (!((0x20 + ((0x04 + ) + ( + 0x0120))) > (.. - ( + ( + 0x0120) << 0x05))));             (0 >= ( + ( + 0x0120))) {                 =  + 0x44;                  = 0;                 () {                      = ;                     (!( < )) {                        ;                    }                     (!((0x20 + ) < )) {                        ;                    }                     = 0x20 + (0x20 + );                     = 0x20 + ;                }                ( ,   ) = (0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2).(); // staticcall                  = 0x60;                 (. != 0) {                     =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                     = ;                }                  = !;                 () {                     =  < 0x20;                }                (!, ());                (((0x20 + ) + ) - (0x20 + ) >= 0x20);                  = ;                  = 0;                 () {                    (( + 0x0120) < ((.. - (0x04 + )) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1));                    (!( + ( + 0x0120) > 0xffffffffffffffff));                    (!((0x20 + ((0x04 + ) + ( + 0x0120))) > (.. - ( + ( + 0x0120) << 0x05))));                     (0 >= ( + ( + 0x0120))) {                        (!( -  < 0), ());                        (0 != , ());                         = 0x20 + (0x24 + );                          = 0;                         () {                              = ;                             (!( < )) {                                ;                            }                             (!((0x20 + ) < )) {                                ;                            }                             = 0x20 + (0x20 + );                             = 0x20 + ;                        }                        ( ,   ) = (0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2).(); // call                          = 0x60;                         (. != 0) {                             =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                             = ;                        }                        (, ());                        (!((). - (). < (0xc0 + )), ());                        ( ,   ) = (0xd86cbc1892bfda05f3d7e6c17c71709b6ae957a5).{ : (). - (). }(""); // call                          = 0x60;                         (. != 0) {                             =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                             = ;                        }                        (, ());                         ((.(0x20, .[0x04 + ], (.[(0x04 + ) + 0x20]), (.[(0x04 + ) + 0x40]), (.[(0x04 + ) + 0x60]), ((.[(0x04 + ) + 0x80])), (.[(0x04 + ) + 0xa0]), (.[(0x04 + ) + 0xc0]), (.[(0x04 + ) + 0xe0]), (.[(0x04 + ) + 0x0100]), 0x0140, (.[(0x04 + ) + (.[(0x04 + ) + 0x0120])]))), 0xd86cbc1892bfda05f3d7e6c17c71709b6ae957a5, (). - ().);                         = 0x01;                         .((.(0x20, .[0x04 + ], (.[(0x04 + ) + 0x20]), (.[(0x04 + ) + 0x40]), (.[(0x04 + ) + 0x60]), ((.[(0x04 + ) + 0x80])), (.[(0x04 + ) + 0xa0]), (.[(0x04 + ) + 0xc0]), (.[(0x04 + ) + 0xe0]), (.[(0x04 + ) + 0x0100]), 0x0140, (.[(0x04 + ) + (.[(0x04 + ) + 0x0120])]))), (). - ().);                        ;                    }                    (( + 0x0120) < ((.. - (0x04 + )) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1));                    (!( + ( + 0x0120) > 0xffffffffffffffff));                    (!((0x20 + ((0x04 + ) + ( + 0x0120))) > (.. - ( + ( + 0x0120) << 0x05))));                     (!(0 < ( + ( + 0x0120)))) (50);                    (((0x20 + ( + ( + 0x0120))) + 0) < ((.. - (0x20 + ((0x04 + ) + ( + 0x0120)))) + 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffea1));                     = ;                     = (0x0100 + (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ( + ( + 0x0120))))) + 0;                }                ;            }            (( + 0x0120) < ((.. - (0x04 + )) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1));            (!( + ( + 0x0120) > 0xffffffffffffffff));            (!((0x20 + ((0x04 + ) + ( + 0x0120))) > (.. - ( + ( + 0x0120) << 0x05))));             (!(0 < ( + ( + 0x0120)))) (50);            (((0x20 + ( + ( + 0x0120))) + 0) < ((.. - (0x20 + ((0x04 + ) + ( + 0x0120)))) + 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffea1));            (.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))] == ((.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))])));              = ((.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))])) == 0;             (!((.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))]) == 0)) {                (.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))] == ((.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))])));                 = ((.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))])) == 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2;            }              = ;             (!()) {                 = !(((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ( + ( + 0x0120))) + 0x20);            }              = ;             (!()) {                ((((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0xa0) - (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0x80) >= 0x20);                (.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0x80] == ((.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0x80])));                 = ((.[(((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))) + 0x80])) == 0;            }              = ;             (!()) {                ((((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0xe0) - (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0xc0) >= 0x20);                (.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0xc0] == ((.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0xc0])));                 = ((.[(((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))) + 0xc0])) == 0;            }              = ;             (!()) {                ((((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0xa0) - (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0x80) >= 0x20);                (.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0x80] == ((.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0x80])));                 = !((.[(((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))) + 0x80])..);            }              = ;             (!()) {                ((((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0xe0) - (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0xc0) >= 0x20);                (.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0xc0] == ((.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0xc0])));                 = !((.[(((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))) + 0xc0])..);            }              = ;             (!()) {                (.[(((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))) + 0x0140] < ((.. - (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))))) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1));                (!(.[(((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))) + .[(((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))) + 0x0140]] > 0xffffffffffffffff));                (!((0x20 + (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + .[(((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))) + 0x0140])) > (.. - (.[(((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))) + .[(((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))) + 0x0140]]))));                 = (.[(((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))) + .[(((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))) + 0x0140]]) < 0x04;            }              = ;             (!()) {                 = (0x0120 + (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ( + ( + 0x0120))))) < 0xc350;            }            (!( || (0x120 + ((0x20 + (0x4 +  + (0x4 +  + 0x120)) + 0x0) + (0x20 + (0x4 +  + (0x4 +  + 0x120))))) > 0x4c4b40), ());            ((((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0xa0) - (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0x80) >= 0x20);            (.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0x80] == ((.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0x80])));              = !((.[(((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))) + 0x80]). == (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ( + ( + 0x0120))) + 0xa0));             ((.[(((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))) + 0x80]). == (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ( + ( + 0x0120))) + 0xa0)) {                ((((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0xe0) - (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0xc0) >= 0x20);                (.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0xc0] == ((.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0xc0])));                 = !((.[(((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))) + 0xc0]). == (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ( + ( + 0x0120))) + 0xe0));            }            (!, ());            (.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))] == ((.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))])));             =  + 0x44;              = 0;             () {                  = ;                 (!( < )) {                    ;                }                 (!((0x20 + ) < )) {                    ;                }                 = 0x20 + (0x20 + );                 = 0x20 + ;            }            ( ,   ) = (.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))]).(); // staticcall              = 0x60;             (. != 0) {                 =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                 = ;            }              = !;             () {                 =  < 0x20;            }            (!, ());            (((0x20 + ) + ) - (0x20 + ) >= 0x20);              =  < (0x40 + (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ( + ( + 0x0120)))));             (!( < (0x40 + (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ( + ( + 0x0120))))))) {                 =  < (0x20 + (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ( + ( + 0x0120)))));            }            (!, ());            (.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))] == ((.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))])));            ((((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0xa0) - (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0x80) >= 0x20);            (.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0x80] == ((.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0x80])));             =  + 0x64;             = 0;             () {                 (!( < )) {                    ;                }                 = 0x20 + ;                ( ,   ) = (.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))]).(); // staticcall                  = 0x60;                 (. != 0) {                     =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                     = ;                }                  = !;                 () {                     =  < 0x20;                }                (!, ());                (((0x20 + ) + ) - (0x20 + ) >= 0x20);                (!(), ());                 =  + 0x44;                  = 0;                 () {                      = ;                     (!( < )) {                        ;                    }                     (!((0x20 + ) < )) {                        ;                    }                     = 0x20 + (0x20 + );                     = 0x20 + ;                }                ( ,   ) = (0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2).(); // staticcall                  = 0x60;                 (. != 0) {                     =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                     = ;                }                  = !;                 () {                     =  < 0x20;                }                (!, ());                (((0x20 + ) + ) - (0x20 + ) >= 0x20);                (.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))] == ((.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))])));                ((((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0xa0) - (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0x80) >= 0x20);                (.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0x80] == ((.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0x80])));                 = 0;                 () {                     = 0x64 + ;                     (!( < .)) {                        ;                    }                     = 0x20 + ;                    (.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))] == ((.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))])));                    ((((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0xa0) - (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0x80) >= 0x20);                    (.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0x80] == ((.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0x80])));                      = 0;                     () {                         = 0x64 + ;                         (!( < .)) {                            ;                        }                         = 0x20 + ;                        ((((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0xe0) - (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0xc0) >= 0x20);                        (.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0xc0] == ((.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0xc0])));                        (.[(((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))) + 0x0140] < ((.. - (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))))) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1));                        (!(.[(((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))) + .[(((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))) + 0x0140]] > 0xffffffffffffffff));                        (!((0x20 + (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + .[(((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))) + 0x0140])) > (.. - (.[(((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))) + .[(((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))) + 0x0140]]))));                        ( ,   ) = (.[(((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))) + 0xc0]).(""); // call                          = 0x60;                         (. != 0) {                             =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                             = ;                        }                        (, ());                        (.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))] == ((.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))])));                        ((((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0xa0) - (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0x80) >= 0x20);                        (.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0x80] == ((.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0x80])));                          = 0;                         () {                             = 0x64 + ;                             (!( < .)) {                                ;                            }                             = 0x20 + ;                             = ;                        }                        ( ,   ) = (.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))]).(); // call                          = 0x60;                         (. != 0) {                             =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                             = ;                        }                          = !;                         () {                              = ;                             ( != 0x0) {                                  =  < 0x20;                                 ( >= 0x20) {                                    (((0x20 + ) + ) - (0x20 + ) >= 0x20);                                    ( == );                                     = !();                                }                                 = ;                            }                             = ;                        }                        (!, ());                        (.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))] == ((.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))])));                        ((((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0xa0) - (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0x80) >= 0x20);                        (.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0x80] == ((.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120))) + 0x80])));                         =  + 0x64;                         = 0;                         () {                             (!( < )) {                                ;                            }                             = 0x20 + ;                            ( ,   ) = (.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))]).(); // staticcall                              = 0x60;                             (. != 0) {                                 =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                                 = ;                            }                              = !;                             () {                                 =  < 0x20;                            }                            (!, ());                            (((0x20 + ) + ) - (0x20 + ) >= 0x20);                            (!(), ());                            (.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))] == ((.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))])));                             =  + 0x44;                              = 0;                             () {                                 (!( < )) {                                    ;                                }                                 = 0x20 + ;                                ( ,   ) = (.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))]).(); // staticcall                                  = 0x60;                                 (. != 0) {                                     =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                                     = ;                                }                                  = !;                                 () {                                     =  < 0x20;                                }                                (!, ());                                (((0x20 + ) + ) - (0x20 + ) >= 0x20);                                (!( > (0x60 + (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ( + ( + 0x0120)))))), ());                                 =  + 0x44;                                  = 0;                                 () {                                      = ;                                     (!( < )) {                                        ;                                    }                                     (!((0x20 + ) < )) {                                        ;                                    }                                     = 0x20 + (0x20 + );                                     = 0x20 + ;                                }                                ( ,   ) = (0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2).(); // staticcall                                  = 0x60;                                 (. != 0) {                                     =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                                     = ;                                }                                  = !;                                 () {                                     =  < 0x20;                                }                                (!, ());                                (((0x20 + ) + ) - (0x20 + ) >= 0x20);                                (!( -  < (0x0100 + (((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ( + ( + 0x0120)))))), ());                            }                        }                    }                    ( ,   ) = (.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))]).(); // call                      = 0x60;                     (. != 0) {                         =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                         = ;                    }                      = !;                     () {                          = ;                         ( != 0x0) {                              =  < 0x20;                             ( >= 0x20) {                                (((0x20 + ) + ) - (0x20 + ) >= 0x20);                                ( == );                                 = !();                            }                             = ;                        }                         = ;                    }                    (!, ());                }                ( ,   ) = (.[((0x20 + ( + ( + 0x0120))) + 0) + (0x20 + ((0x04 + ) + ( + 0x0120)))]).(); // call                  = 0x60;                 (. != 0) {                     =  + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                     = ;                }                  = !;                 () {                      = ;                     ( != 0x0) {                          =  < 0x20;                         ( >= 0x20) {                            (((0x20 + ) + ) - (0x20 + ) >= 0x20);                            ( == );                             = !();                        }                         = ;                    }                     = ;                }                (!, ());            }        }    }         ( )  {         {              := (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.        // 0x117803e3 => OWNER()    // 0x26883c8e => Unknown_26883c8e(bytes)    // 0x5a54db86 => recoverNative()    // 0x60ea7122 => Unknown_60ea7122(bytes,uint256)    // 0x9be65a60 => recoverToken(address)    // 0xb670caa9 => FINAL_RECIPIENT()    // 0xc1ffb3df => EXPECTED_CHAIN_ID()    // 0xd999984d => WRAPPED_NATIVE()    // 0xec79cbdd => unresolved_ec79cbdd(bytes32)    // 0xeddefaf2 => Unknown_eddefaf2(uint256,uint256)    // 0xf5473e6a => Unknown_f5473e6a(bytes)}