Ethereum

0x490aac77c960b0569c8e446ac7e12490bd44ca1d

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

Decompilation outputEthereum · 0x490aac77…bd44ca1d2.7 KB6.4 s
Share
543 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;  {        = (0x4337084d9e255ff0702461cf8895ce9e3b5ff108);        = (0x696ada227454bd0bf38e8605ab7bacc02a293605);         (, );     ();     ( , , , );     ();     ();     ();     ( )   {         ("memory-safe") {            (0x00, (224, 0x4e487b71))            (0x04, )            (0x00, 0x24)        }    }    ()   {    }        ()   {        // Synthetic compatibility routes preserve original selectors for unresolved names.         ((.. >= 4) && (. == 0x19822f7c)) {            // Route to Unknown_19822f7c(bytes,uint256,uint256) after replacing only msg.sig.            ((0xc178b162));            ;        }         ((.. >= 4) && (. == 0x3b135650)) {            // Route to Unknown_3b135650(bytes,uint256,uint256,bytes,bytes,uint16,uint256,bytes) after replacing only msg.sig.            ((0x7d028a40));            ;        }         ((.. >= 4) && (. == 0x6b47a02c)) {            // Route to Unknown_6b47a02c(bytes,uint256,uint256,bytes,bytes,uint16,uint256,bytes) after replacing only msg.sig.            ((0xa5e29644));            ;        }         ((.. >= 4) && (. == 0x9265bb9d)) {            // Route to Unknown_9265bb9d(bytes,uint256,uint256,bytes,bytes) after replacing only msg.sig.            ((0xb8065a76));            ;        }         ((.. >= 4) && (. == 0xf0513f6e)) {            // Route to Unknown_f0513f6e(bytes,uint256,uint256,bytes,bytes) after replacing only msg.sig.            ((0xa218d1a0));            ;        }        ();    }             (  ,  ,  ,   ,   )   {        (((0x04 + ) + 0x1f) < ..);        (!(((. << 0x05) + (0x04 + ) + 0x20) > ..));        (((0x04 + ) + 0x1f) < ..);        (((0x04 + ) +  + 0x20) <= ..);        (((0x04 + ) + 0x1f) < ..);        (((0x04 + ) +  + 0x20) <= ..);        (!(.), ());        (. <= , ());          = 0;         () {             ( >= .) {                ;            }             (!(( < .))) (50);            (.[((0x04 + ) + 0x20) + ( << 0x05)] < ((.. - ((0x04 + ) + 0x20)) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa1));             (!(( < .))) (50);            (.[((0x04 + ) + 0x20) + ( << 0x05)] < ((.. - ((0x04 + ) + 0x20)) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa1));             (.[((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])] != ((.[((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])]))) {                ();                ;            }             (!(( < .))) (50);            (.[((0x04 + ) + 0x20) + ( << 0x05)] < ((.. - ((0x04 + ) + 0x20)) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa1));            (.[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + 0x40] < ((.. - (((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)]))) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1));            (!(.[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + (.[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + 0x40])] > 0xffffffffffffffff));            (!((0x20 + (((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)]) + (.[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + 0x40]))) > (.. - (.[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + (.[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + 0x40])]))));            ( ,   ) = (.[((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])]).{ : .[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + 0x20] }(""); // call              = 0x60;             ((.) != 0x0) {                 (. > 0xffffffffffffffff) (65);                 ;                 ((( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65);                 =  + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                 = ;            }             (!) {                 ();                ;            }             = 0x01 + ;        }    }         (  ,  ,  ,   ,   )   {        (((0x04 + ) + 0x1f) < ..);        (!(((. << 0x05) + (0x04 + ) + 0x20) > ..));        (((0x04 + ) + 0x1f) < ..);        (((0x04 + ) +  + 0x20) <= ..);        (((0x04 + ) + 0x1f) < ..);        (((0x04 + ) +  + 0x20) <= ..);        (. <= , ());          = 0;         ;          = ( + 0x04) + 0xc0;          = (0x04 + ) + 0x20;          = (( + 0x04) + (. << 0x05)) + 0xc0;         () {             (!( < .)) {                ;            }             (!(.[] < ((.. - ((0x04 + ) + 0x20)) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa1))) {                ();                ;            }             ((( + 0x20) + .[]) != ((( + 0x20) + .[]))) {                ();                ;            }             (!(((( + 0x20) + .[]) + 0x40) < ((.. - (((0x04 + ) + 0x20) + .[])) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1))) {                ();                ;            }             (((( + 0x20) + .[]) + 0x40) + (( + 0x20) + .[]) > 0xffffffffffffffff) {                ();                ;            }             ((((( + 0x20) + .[]) + 0x40) + (((0x04 + ) + 0x20) + .[]) + 0x20) > (.. - (((( + 0x20) + .[]) + 0x40) + (( + 0x20) + .[])))) {                ();                ;            }             = 0x01 + ;             =  + 0x20;             = 0x20 + ;             = (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + (((( + 0x20) + .[]) + 0x40) + (( + 0x20) + .[]))) + (0x60 + )) + 0x20;        }        ( ,   ) = (0x696ada227454bd0bf38e8605ab7bacc02a293605).(0xa0, , ,  - ( + 0x04), ((0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .) + ) + 0x20) - ( + 0x04)); // call        ();         () {             (0x20 > .) {                 ((( + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65);                 =  + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                (!((( + .) - ) < 0x20));                ( == );                  = 0;                 () {                     ( >= .) {                        ;                    }                     (!(( < .))) (50);                    (.[((0x04 + ) + 0x20) + ( << 0x05)] < ((.. - ((0x04 + ) + 0x20)) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa1));                     (!(( < .))) (50);                    (.[((0x04 + ) + 0x20) + ( << 0x05)] < ((.. - ((0x04 + ) + 0x20)) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa1));                     (.[((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])] != ((.[((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])]))) {                        ();                        ;                    }                     (!(( < .))) (50);                    (.[((0x04 + ) + 0x20) + ( << 0x05)] < ((.. - ((0x04 + ) + 0x20)) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa1));                    (.[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + 0x40] < ((.. - (((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)]))) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1));                    (!(.[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + (.[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + 0x40])] > 0xffffffffffffffff));                    (!((0x20 + (((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)]) + (.[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + 0x40]))) > (.. - (.[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + (.[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + 0x40])]))));                    ( ,   ) = (.[((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])]).{ : .[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + 0x20] }(""); // call                      = 0x60;                     ((.) != 0x0) {                         (. > 0xffffffffffffffff) (65);                         ((( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65);                         =  + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                         = ;                    }                     (!) {                         ();                        ;                    }                     = 0x01 + ;                }            }  {                 ((( + 0x20) > 0xffffffffffffffff) | (( + 0x20) < )) (65);                 =  + 0x20;                ((( + 0x20) - ) >= 0x20);                (. == .);                  = 0;                 () {                     ( >= .) {                        ;                    }                     (!(( < .))) (50);                    (.[((0x04 + ) + 0x20) + ( << 0x05)] < ((.. - ((0x04 + ) + 0x20)) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa1));                     (!(( < .))) (50);                    (.[((0x04 + ) + 0x20) + ( << 0x05)] < ((.. - ((0x04 + ) + 0x20)) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa1));                     (.[((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])] != ((.[((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])]))) {                        ();                        ;                    }                     (!(( < .))) (50);                    (.[((0x04 + ) + 0x20) + ( << 0x05)] < ((.. - ((0x04 + ) + 0x20)) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa1));                    (.[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + 0x40] < ((.. - (((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)]))) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1));                    (!(.[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + (.[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + 0x40])] > 0xffffffffffffffff));                    (!((0x20 + (((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)]) + (.[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + 0x40]))) > (.. - (.[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + (.[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + 0x40])]))));                    ( ,   ) = (.[((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])]).{ : .[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + 0x20] }(""); // call                      = 0x60;                     ((.) != 0x0) {                         (. > 0xffffffffffffffff) (65);                         ((( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65);                         =  + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                         = ;                    }                     (!) {                         ();                        ;                    }                     = 0x01 + ;                }            }        }  {              = 0;             () {                 ( >= .) {                    ;                }                 (!(( < .))) (50);                (.[((0x04 + ) + 0x20) + ( << 0x05)] < ((.. - ((0x04 + ) + 0x20)) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa1));                 (!(( < .))) (50);                (.[((0x04 + ) + 0x20) + ( << 0x05)] < ((.. - ((0x04 + ) + 0x20)) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa1));                 (.[((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])] != ((.[((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])]))) {                    ();                    ;                }                 (!(( < .))) (50);                (.[((0x04 + ) + 0x20) + ( << 0x05)] < ((.. - ((0x04 + ) + 0x20)) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa1));                (.[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + 0x40] < ((.. - (((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)]))) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1));                (!(.[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + (.[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + 0x40])] > 0xffffffffffffffff));                (!((0x20 + (((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)]) + (.[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + 0x40]))) > (.. - (.[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + (.[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + 0x40])]))));                ( ,   ) = (.[((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])]).{ : .[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + 0x20] }(""); // call                  = 0x60;                 ((.) != 0x0) {                     (. > 0xffffffffffffffff) (65);                     ((( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65);                     =  + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                     = ;                }                 (!) {                     ();                    ;                }                 = 0x01 + ;            }        }    }         (  ,  ,  ,   ,   ,  ,  ,   )   {        (((0x04 + ) + 0x1f) < ..);        (!(((. << 0x05) + (0x04 + ) + 0x20) > ..));        (((0x04 + ) + 0x1f) < ..);        (((0x04 + ) +  + 0x20) <= ..);        (((0x04 + ) + 0x1f) < ..);        (((0x04 + ) +  + 0x20) <= ..);        ( == ( & 0xffff));        (((0x04 + ) + 0x1f) < ..);        (((0x04 + ) +  + 0x20) <= ..);        (. <= , ());          = 0;         ;          = ( + 0x04) + 0xc0;          = (0x04 + ) + 0x20;          = (( + 0x04) + (. << 0x05)) + 0xc0;         () {             (!( < .)) {                ;            }             (!(.[] < ((.. - ((0x04 + ) + 0x20)) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa1))) {                ();                ;            }             ((( + 0x20) + .[]) != ((( + 0x20) + .[]))) {                ();                ;            }             (!(((( + 0x20) + .[]) + 0x40) < ((.. - (((0x04 + ) + 0x20) + .[])) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1))) {                ();                ;            }             (((( + 0x20) + .[]) + 0x40) + (( + 0x20) + .[]) > 0xffffffffffffffff) {                ();                ;            }             ((((( + 0x20) + .[]) + 0x40) + (((0x04 + ) + 0x20) + .[]) + 0x20) > (.. - (((( + 0x20) + .[]) + 0x40) + (( + 0x20) + .[])))) {                ();                ;            }             = 0x01 + ;             =  + 0x20;             = 0x20 + ;             = (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + (((( + 0x20) + .[]) + 0x40) + (( + 0x20) + .[]))) + (0x60 + )) + 0x20;        }        ( ,   ) = (0x696ada227454bd0bf38e8605ab7bacc02a293605).(0xa0, , ,  - ( + 0x04), ((0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .) + ) + 0x20) - ( + 0x04)); // call        ();         () {              = .;             (0x20 <= .) {                 = 0x20;            }             ((( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65);             =  + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));            ((( + ) - ) >= 0x20);            (. == .);              = 0;             () {                 (!( < .)) {                     ((), , 0x40, ());                }                 (!(( < .))) (50);                (.[((0x04 + ) + 0x20) + ( << 0x05)] < ((.. - ((0x04 + ) + 0x20)) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa1));                 (!(( < .))) (50);                (.[((0x04 + ) + 0x20) + ( << 0x05)] < ((.. - ((0x04 + ) + 0x20)) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa1));                 (.[((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])] != ((.[((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])]))) {                    ();                    ;                }                 (!(( < .))) (50);                (.[((0x04 + ) + 0x20) + ( << 0x05)] < ((.. - ((0x04 + ) + 0x20)) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa1));                 (!(.[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + 0x40] < ((.. - (((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)]))) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1))) {                    ();                    ;                }                 (.[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + (.[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + 0x40])] > 0xffffffffffffffff) {                    ();                    ;                }                 ((0x20 + (((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)]) + (.[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + 0x40]))) > (.. - (.[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + (.[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + 0x40])]))) {                    ();                    ;                }                ( ,   ) = (.[((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])]).{ : .[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + 0x20] }(""); // call                 (. == 0) {                     (!) {                         ();                        ;                    }                }  {                     (!(. <= 0xffffffffffffffff)) (65);                     ((( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65);                     =  + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                     (!) {                         ();                        ;                    }                }                 = 0x01 + ;            }        }  {              = 0;             () {                 (!( < .)) {                    ;                }                 (!(( < .))) (50);                (( + 0x20) + ( << 0x05) < ((.. - ((0x04 + ) + 0x20)) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa1));                 (!(( < .))) (50);                (( + 0x20) + ( << 0x05) < ((.. - ((0x04 + ) + 0x20)) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa1));                 (( + 0x20) + (( + 0x20) + ( << 0x05)) != ((( + 0x20) + (( + 0x20) + ( << 0x05))))) {                    ();                    ;                }                 (!(( < .))) (50);                (( + 0x20) + ( << 0x05) < ((.. - ((0x04 + ) + 0x20)) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa1));                ((( + 0x20) + (( + 0x20) + ( << 0x05)) + 0x40) < ((.. - (((0x04 + ) + 0x20) + (( + 0x20) + ( << 0x05)))) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1));                (( + 0x20) + (( + 0x20) + ( << 0x05)) + (( + 0x20) + (( + 0x20) + ( << 0x05)) + 0x40) <= 0xffffffffffffffff);                ((0x20 + (((0x04 + ) + 0x20) + (( + 0x20) + ( << 0x05)) + (( + 0x20) + (( + 0x20) + ( << 0x05)) + 0x40))) <= (.. - (( + 0x20) + (( + 0x20) + ( << 0x05)) + (( + 0x20) + (( + 0x20) + ( << 0x05)) + 0x40))));                ( ,   ) = (( + 0x20) + (( + 0x20) + ( << 0x05))).{ : (( + 0x20) + (( + 0x20) + ( << 0x05)) + 0x20) }(""); // call                  = 0x60;                 ((.) != 0x0) {                     (!(. <= 0xffffffffffffffff)) (65);                     ((( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65);                     =  + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                     = ;                }                 (!) {                     ();                    ;                }                 = 0x01 + ;            }             ((), , 0x40, ());        }    }         (  ,  ,  ,   ,   ,  ,  ,   )   {        (((0x04 + ) + 0x1f) < ..);        (!(((. << 0x05) + (0x04 + ) + 0x20) > ..));        (((0x04 + ) + 0x1f) < ..);        (((0x04 + ) +  + 0x20) <= ..);        (((0x04 + ) + 0x1f) < ..);        (((0x04 + ) +  + 0x20) <= ..);        ( == ( & 0xffff));        (((0x04 + ) + 0x1f) < ..);        (((0x04 + ) +  + 0x20) <= ..);        (!(.), ());        (. <= , ());          = 0;         () {             (!( < .)) {                 ((), , 0x40, ());            }             (!(( < .))) (50);            (.[((0x04 + ) + 0x20) + ( << 0x05)] < ((.. - ((0x04 + ) + 0x20)) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa1));             (!(( < .))) (50);            (.[((0x04 + ) + 0x20) + ( << 0x05)] < ((.. - ((0x04 + ) + 0x20)) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa1));             (.[((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])] != ((.[((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])]))) {                ();                ;            }             (!(( < .))) (50);            (.[((0x04 + ) + 0x20) + ( << 0x05)] < ((.. - ((0x04 + ) + 0x20)) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa1));             (!(.[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + 0x40] < ((.. - (((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)]))) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1))) {                ();                ;            }             (.[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + (.[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + 0x40])] > 0xffffffffffffffff) {                ();                ;            }             ((0x20 + (((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)]) + (.[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + 0x40]))) > (.. - (.[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + (.[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + 0x40])]))) {                ();                ;            }            ( ,   ) = (.[((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])]).{ : .[(((0x04 + ) + 0x20) + (.[((0x04 + ) + 0x20) + ( << 0x05)])) + 0x20] }(""); // call             (. == 0) {                 (!) {                     ();                    ;                }            }  {                 (!(. <= 0xffffffffffffffff)) (65);                 ;                 ((( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65);                 =  + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));                 (!) {                     ();                    ;                }            }             = 0x01 + ;        }    }         (  ,  ,  )   () {        (((.. - ) + 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc) >= 0x0120);        (. == 0x4337084d9e255ff0702461cf8895ce9e3b5ff108, ());        (.[ + 0x0104] < ((.. - (0x04 + )) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1));        ( + .[ + 0x0104] <= 0xffffffffffffffff);        ((0x20 + ((0x04 + ) + .[ + 0x0104])) <= (.. - ( + .[ + 0x0104])));        ((0x20 + ((0x04 + ) + .[ + 0x0104])) + ( + .[ + 0x0104]) - (0x20 + ((0x04 + ) + .[ + 0x0104])) >= 0x40);        (!(((0x20 + ( + (.[ + 0x0104]))) + 0x20) & (0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) > 0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0), ());          = (, ((((0x20 + ( + (.[ + 0x0104]))) + 0x20) >> 0xff) + 0x1b), (0x20 + ( + (.[ + 0x0104]))), ((0x20 + ( + (.[ + 0x0104]))) + 0x20) & (0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff));        ();          = 0x01;         (() == (())) {             = 0;        }          = .[0] >> 0xe0;          = .[0] >> 0xe0;         ( != 0x0) {            ( ,   ) = (0x4337084d9e255ff0702461cf8895ce9e3b5ff108).{ :  }(""); // call             ((.) != 0x0) {                 (!(. <= 0xffffffffffffffff)) (65);                 ;                 ((( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65);                 =  + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));            }        }  {             = 0x4337084d9e255ff0702461cf8895ce9e3b5ff108;             = ;        }        // duplicate declaration of value0 omitted    }         ( ,   )   () {        (( + 0x23) < ..);         (. > 0xffffffffffffffff) (65);         ;         ((( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65);         =  + (((0x20 + (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 & (0x1f + .))) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0));        ((( + ) + 0x24) <= ..);         = .[36:36];        ((( + .) - ) >= 0x40);        ( & 0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff <= 0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0, ());          = (, (( >> 0xff) + 0x1b), ,  & (0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff));        ();         (() == (())) {             0x1626ba7e00000000000000000000000000000000000000000000000000000000;        }  {             0xffffffff00000000000000000000000000000000000000000000000000000000;        }    }         ( )    () {        ( == ( & 0xffffffff00000000000000000000000000000000000000000000000000000000));          = ( & 0xffffffff00000000000000000000000000000000000000000000000000000000) == 0x4e2312e000000000000000000000000000000000000000000000000000000000;         ( & (0xffffffff00000000000000000000000000000000000000000000000000000000) == 0x150b7a0200000000000000000000000000000000000000000000000000000000) {             = ( & 0xffffffff00000000000000000000000000000000000000000000000000000000) == 0x150b7a0200000000000000000000000000000000000000000000000000000000;        }          = .[0] >> 0xe0;          = 0x1ffc9a700000000000000000000000000000000000000000000000000000000 == ( & 0xffffffff00000000000000000000000000000000000000000000000000000000);         () {             =  & (0xffffffff00000000000000000000000000000000000000000000000000000000);             = ;        }         ;    }         ( )  {         {              := (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.        // 0x01ffc9a7 => supportsInterface(bytes4)    // 0x1626ba7e => isValidSignature(bytes32,bytes)    // 0x19822f7c => Unknown_19822f7c(bytes,uint256,uint256)    // 0x3b135650 => Unknown_3b135650(bytes,uint256,uint256,bytes,bytes,uint16,uint256,bytes)    // 0x6b47a02c => Unknown_6b47a02c(bytes,uint256,uint256,bytes,bytes,uint16,uint256,bytes)    // 0x8ce2c83a => unresolved_8ce2c83a()    // 0x9265bb9d => Unknown_9265bb9d(bytes,uint256,uint256,bytes,bytes)    // 0x94430fa5 => ENTRY_POINT()    // 0xf0513f6e => Unknown_f0513f6e(bytes,uint256,uint256,bytes,bytes)}