Ethereum
0x71518580f36feceffe0721f06ba4703218cd7f63
Decompiled Solidity recovered from this contract's runtime bytecode. Best-effort reconstruction — confirm behaviour against on-chain state.
Decompilation outputEthereum · 0x71518580…18cd7f6323.9 KB94.5 s
This result is permanently available athttps://decompiler.exvul.com/ethereum/0x71518580f36feceffe0721f06ba4703218cd7f63
1,706 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// Decompilation incomplete: symbolic execution reached a configured deadline for 1 of 48 entry points (170000 ms contract budget): e4804abc// SPDX-License-Identifier: MIT >=0.8.0; { ( => ) ; // STORAGE[0x1] ( => ) ; // STORAGE[0x2] [] ; // STORAGE[0x5] ; // STORAGE[0x6] ; // STORAGE[0x7] ( => ) ; // STORAGE[0x8] ( => ) ; // STORAGE[0xa] ( => ) ; // STORAGE[0xb] [] ; // STORAGE[0xd] [100] ; // STORAGE[0xf] ; // STORAGE[0x73] bytes 0 to 0 ( => ) ; // STORAGE[0x74] [] ; // STORAGE[0x77] [] ; // STORAGE[0x78] ; // STORAGE[0x79] bytes 0 to 19 ; // STORAGE[0x7a] ; ; ; ; ; ; ; ; ; ; ; ; ; ( ) { ("memory-safe") { (0x00, (224, 0x4e487b71)) (0x04, ) (0x00, 0x24) } } () { } () { // Synthetic compatibility routes preserve original selectors for unresolved names. ((.. >= 4) && (. == 0x0f031f65)) { // Route to Unknown_0f031f65(uint256) after replacing only msg.sig. ((0xb3702f05)); ; } ((.. >= 4) && (. == 0x3dd5761a)) { // Route to Unknown_3dd5761a(uint256) after replacing only msg.sig. ((0x685fbf23)); ; } ((.. >= 4) && (. == 0x683d8cbb)) { // Route to Unknown_683d8cbb(uint256) after replacing only msg.sig. ((0x37d18fce)); ; } ((.. >= 4) && (. == 0x8c49b257)) { // Route to Unknown_8c49b257(uint256) after replacing only msg.sig. ((0xc81d084a)); ; } ((.. >= 4) && (. == 0xe3ccac73)) { // Route to Unknown_e3ccac73(uint256) after replacing only msg.sig. ((0x8c7ecff2)); ; } (); } ( ) () { (!(((0x04 + (.. - 0x04)) - 0x04) < 0x20)); ( == ( & 0xffffffff00000000000000000000000000000000000000000000000000000000)); = (0xffffffff00000000000000000000000000000000000000000000000000000000 & ) == 0x4e2312e000000000000000000000000000000000000000000000000000000000; (0xffffffff00000000000000000000000000000000000000000000000000000000 & != 0x4e2312e000000000000000000000000000000000000000000000000000000000) { = (0xffffffff00000000000000000000000000000000000000000000000000000000 & ) == 0x1ffc9a700000000000000000000000000000000000000000000000000000000; } ; } ( ) { (!(((0x04 + (.. - 0x04)) - 0x04) < 0x20)); (!(. > 0xffffffffffffffff)); (((0x04 + ) + 0x1f) < (0x04 + (.. - 0x04))); (!(. > 0xffffffffffffffff)); (!(((0x04 + ) + 0x20) + (. * 0x01) > (0x04 + (.. - 0x04)))); (!(0x5 <= 0xa)) (33); (!(0x05 < .)) (50); ; = (((0x24 + ) + 0x20) + 0x20) + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = 0; ; () { = ; ( >= ) { ; } ( + 0x20 >= ) { ; } = ( + 0x20) + 0x20; = + 0x20; } ( > ) { } ( , ) = ([0x05] / 0x01).(); // delegatecall = 0x60; (. != 0) { = + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = ; } (); } ( ) ( ) { (!(((0x04 + (.. - 0x04)) - 0x04) < 0x20)); (); = 0; () { ( >= ) { ; } = + 0x20; .(( + 0x20) - , ()); } ( > ) { } } ( ) () { (!(((0x04 + (.. - 0x04)) - 0x04) < 0x20)); (); (); } ( ) ( ) { (!(((0x04 + (.. - 0x04)) - 0x04) < 0x20)); (); = 0; () { ( >= ) { ; } = + 0x20; .(( + 0x20) - , ()); } ( > ) { } } ( , , , ) () { (!(((0x04 + (.. - 0x04)) - 0x04) < 0x80)); (. <= 0xffffffffffffffff); (((0x04 + ) + 0x1f) < (0x04 + (.. - 0x04))); (!(. <= 0xffffffffffffffff)) (65); ; ( + (((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) + 0x20) + 0x1f & 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) > 0xffffffffffffffff || + (((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) + 0x20) + 0x1f & 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) < ) (65); = + ((((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) + 0x20) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); (((0x04 + ) + 0x20) + <= (0x04 + (.. - 0x04))); (0x150b7a0200000000000000000000000000000000000000000000000000000000 & (0xffffffff00000000000000000000000000000000000000000000000000000000)); } ( , ) () { (!(((0x04 + (.. - 0x04)) - 0x04) < 0x40)); ( == ( & 0xffffffffffffffffffffffffffffffffffffffffffff)); (, ); (); } ( ) ( ) { (!(((0x04 + (.. - 0x04)) - 0x04) < 0x20)); .(( / 0x01), (( / 0x01)), (( / 0x010000000000000000000000000000000000000000))); } ( , ) { (!(((0x04 + (.. - 0x04)) - 0x04) < 0x40)); (!(. > 0xffffffffffffffff)); (((0x04 + ) + 0x1f) < (0x04 + (.. - 0x04))); (!(. > 0xffffffffffffffff)); (!(((0x04 + ) + 0x20) + (. * 0x01) > (0x04 + (.. - 0x04)))); (!(. > 0xffffffffffffffff)); (((0x04 + ) + 0x1f) < (0x04 + (.. - 0x04))); (!(. > 0xffffffffffffffff)); (!(((0x04 + ) + 0x20) + (. * 0x01) > (0x04 + (.. - 0x04)))); (!(0x3 <= 0xa)) (33); (!(0x03 < .)) (50); ; = (((0x24 + ) + 0x20) + 0x20) + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = 0; ; () { = ; ( >= ) { ; } ( + 0x20 >= ) { ; } = ( + 0x20) + 0x20; = + 0x20; } ( > ) { } ( , ) = ([0x03] / 0x01).(); // delegatecall = 0x60; (. != 0) { = + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = ; } (); (!(((0x20 + ) + ) - (0x20 + ) < 0x20)); ( == ); = ((0x20 + ) + ) + 0x07; (!( < .)) (50); = (((0x24 + ) + 0x20) + 0x20) + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = 0; ; () { = ; ( >= ) { ; } ( + 0x20 >= ) { ; } = ( + 0x20) + 0x20; = + 0x20; } ( > ) { } = 0; ; () { = ; ( >= ) { ; } ( + 0x20 >= ) { ; } = ( + 0x20) + 0x20; = + 0x20; } ( > ) { } ( , ) = ( / 0x01).(); // delegatecall = 0x60; (. != 0) { = + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = ; } (); } ( ) () { (!(((0x04 + (.. - 0x04)) - 0x04) < 0x20)); (!(. > 0xffffffffffffffff)); (((0x04 + ) + 0x1f) < (0x04 + (.. - 0x04))); (!(. > 0xffffffffffffffff)); (!(((0x04 + ) + 0x20) + (. * 0x01) > (0x04 + (.. - 0x04)))); (!(0x6 <= 0xa)) (33); (!(0x06 < .)) (50); ; = (((0x24 + ) + 0x20) + 0x20) + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = 0; ; () { = ; ( >= ) { ; } ( + 0x20 >= ) { ; } = ( + 0x20) + 0x20; = + 0x20; } ( > ) { } ( , ) = ([0x06] / 0x01).(); // delegatecall = 0x60; (. != 0) { = + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = ; } (); (!(((0x20 + ) + ) - (0x20 + ) < 0x20)); ( == ( != 0x0)); (); } ( ) () { (!(((0x04 + (.. - 0x04)) - 0x04) < 0x20)); (([] / 0x01)); } ( ) () { (!(((0x04 + (.. - 0x04)) - 0x04) < 0x20)); (!(. > 0xffffffffffffffff)); (((0x04 + ) + 0x1f) < (0x04 + (.. - 0x04))); (!(. > 0xffffffffffffffff)); (!(((0x04 + ) + 0x20) + (. * 0x01) > (0x04 + (.. - 0x04)))); (!(0x6 <= 0xa)) (33); (!(0x06 < .)) (50); ; = (((0x24 + ) + 0x20) + 0x20) + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = 0; ; () { = ; ( >= ) { ; } ( + 0x20 >= ) { ; } = ( + 0x20) + 0x20; = + 0x20; } ( > ) { } ( , ) = ([0x06] / 0x01).(); // delegatecall = 0x60; (. != 0) { = + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = ; } (); (!(((0x20 + ) + ) - (0x20 + ) < 0x20)); ( == ( != 0x0)); (); } () () { (( / 0x010000000000000000)); } ( , , , ) { (!(((0x04 + (.. - 0x04)) - 0x04) < 0x80)); (!(. > 0xffffffffffffffff)); (((0x04 + ) + 0x1f) < (0x04 + (.. - 0x04))); (!(. > 0xffffffffffffffff)); (!(((0x04 + ) + 0x20) + (. * 0x01) > (0x04 + (.. - 0x04)))); ( == ( & 0xffffffff)); (!(. > 0xffffffffffffffff)); (((0x04 + ) + 0x1f) < (0x04 + (.. - 0x04))); (!(. > 0xffffffffffffffff)); (!(((0x04 + ) + 0x20) + (. * 0x01) > (0x04 + (.. - 0x04)))); (!(0x4 <= 0xa)) (33); (!(0x04 < .)) (50); ; = ((((0x24 + ) + 0x80) + 0x20) + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)) + 0x20) + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = 0; ; () { = ; ( >= ) { ; } ( + 0x20 >= ) { ; } = ( + 0x20) + 0x20; = + 0x20; } ( > ) { } ( , ) = ([0x04] / 0x01).(, , , ); // delegatecall = 0x60; (. != 0) { = + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = ; } (); } ( ) () { (!(((0x04 + (.. - 0x04)) - 0x04) < 0x20)); (!(. > 0xffffffffffffffff)); (((0x04 + ) + 0x1f) < (0x04 + (.. - 0x04))); (!(. > 0xffffffffffffffff)); (!(((0x04 + ) + 0x20) + (. * 0x01) > (0x04 + (.. - 0x04)))); (!(0x6 <= 0xa)) (33); (!(0x06 < .)) (50); ; = (((0x24 + ) + 0x20) + 0x20) + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = 0; ; () { = ; ( >= ) { ; } ( + 0x20 >= ) { ; } = ( + 0x20) + 0x20; = + 0x20; } ( > ) { } ( , ) = ([0x06] / 0x01).(); // delegatecall = 0x60; (. != 0) { = + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = ; } (); (!(((0x20 + ) + ) - (0x20 + ) < 0x20)); ( == ( & 0xff)); (()); } ( , ) { (!(((0x04 + (.. - 0x04)) - 0x04) < 0x40)); (, ); } ( ) () { (!(((0x04 + (.. - 0x04)) - 0x04) < 0x20)); (!(. > 0xffffffffffffffff)); (((0x04 + ) + 0x1f) < (0x04 + (.. - 0x04))); (!(. > 0xffffffffffffffff)); (!(((0x04 + ) + 0x20) + (. * 0x01) > (0x04 + (.. - 0x04)))); (!(0xa <= 0xa)) (33); (!(0x0a < .)) (50); ; = (((0x24 + ) + 0x20) + 0x20) + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = 0; ; () { = ; ( >= ) { ; } ( + 0x20 >= ) { ; } = ( + 0x20) + 0x20; = + 0x20; } ( > ) { } ( , ) = ([0x0a] / 0x01).(); // delegatecall = 0x60; (. != 0) { = + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = ; } (); (!(((0x20 + ) + ) - (0x20 + ) < 0x20)); ( == ( & 0xff)); (()); } ( ) ( ) { (!(((0x04 + (.. - 0x04)) - 0x04) < 0x20)); .(, (), (( / 0x01)), (( / 0x0100000000))); } () () { (( / 0x0100000000000000000000000000000000)); } () { (); } ( ) { (!(((0x04 + (.. - 0x04)) - 0x04) < 0x20)); ( <= 0xffffffffffffffff); (!((0x04 + (.. - 0x04)) - (0x04 + ) < 0x40)); (.[(0x04 + ) + 0] < ((.. - (0x04 + )) - 0x7f)); ( == ( & 0xff)); ( == ( & 0xff)); (.[(.[(0x04 + ) + 0] + (0x04 + )) + 0x40] < ((.. - (.[(0x04 + ) + 0] + (0x04 + ))) - 0x1f)); (!(.[.[(.[(0x04 + ) + 0] + (0x04 + )) + 0x40] + (.[(0x04 + ) + 0] + (0x04 + ))] > 0xffffffffffffffff)); (!(.[(0x04 + ) + 0] + (0x04 + ) > (.. - (.[.[(.[(0x04 + ) + 0] + (0x04 + )) + 0x40] + (.[(0x04 + ) + 0] + (0x04 + ))] * 0x20)))); = 0; = (.[(.[(0x04 + ) + 0] + (0x04 + )) + 0x40] + (.[(0x04 + ) + 0] + (0x04 + ))) + 0x20; ; = (((((0x20 + ) + 0x20) + 0x40) + 0x80) + 0x20) + (.[(.[(.[(0x04 + ) + 0] + (0x04 + )) + 0x40]) + (.[(0x04 + ) + 0] + (0x04 + ))] * 0x20); = ((((0x20 + ) + 0x20) + 0x40) + 0x80) + 0x20; ; () { = ; = ; = ; = ; ( >= (.[(.[(.[(0x04 + ) + 0] + (0x04 + )) + 0x40]) + (.[(0x04 + ) + 0] + (0x04 + ))])) { ; } (.[] < ((.. - ) - 0x3f)); (.[] == ((.[]))); (.[] < ((.. - ) - 0x9f)); (.[] == ((.[]))); (.[] == ((.[]))); (.[] == ((.[]))); (.[] == ((.[]))); (.[] < ((.. - ) - 0x1f)); (!(.[.[] + ] > 0xffffffffffffffff)); (!( > (.. - (.[.[] + ] * 0x20)))); ( <= 0x7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff); ( + 0x1 >= (.[(.[(.[(0x04 + ) + 0] + (0x04 + )) + 0x40]) + (.[(0x04 + ) + 0] + (0x04 + ))])) { ; } (.[] < ((.. - ) - 0x3f)); (.[] == ((.[]))); (.[] < ((.. - ) - 0x9f)); (.[] == ((.[]))); (.[] == ((.[]))); (.[] == ((.[]))); (.[] == ((.[]))); (.[] < ((.. - ) - 0x1f)); (!(.[.[] + ] > 0xffffffffffffffff)); (!( > (.. - (.[.[] + ] * 0x20)))); ( <= 0x7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff); = ( + 0x01) + 0x01; = ( + 0x20) + 0x20; = (((((( + 0x40) + 0xa0) + 0x20) + (.[(.[(.[(.[] + (.[(.[(0x04 + ) + 0] + (0x04 + )) + 0x40] + (.[(0x04 + ) + 0] + (0x04 + )) + 0x20)) + 0x20] + (.[] + (.[(.[(0x04 + ) + 0] + (0x04 + )) + 0x40] + (.[(0x04 + ) + 0] + (0x04 + )) + 0x20))) + 0x80]) + (.[(.[] + (.[(.[(0x04 + ) + 0] + (0x04 + )) + 0x40] + (.[(0x04 + ) + 0] + (0x04 + )) + 0x20)) + 0x20] + (.[] + (.[(.[(0x04 + ) + 0] + (0x04 + )) + 0x40] + (.[(0x04 + ) + 0] + (0x04 + )) + 0x20)))] * 0x20) + 0x40) + 0xa0) + 0x20) + (.[(.[(.[(.[ + 0x20] + (.[(.[(0x04 + ) + 0] + (0x04 + )) + 0x40] + (.[(0x04 + ) + 0] + (0x04 + )) + 0x20)) + 0x20] + (.[ + 0x20] + (.[(.[(0x04 + ) + 0] + (0x04 + )) + 0x40] + (.[(0x04 + ) + 0] + (0x04 + )) + 0x20))) + 0x80]) + (.[(.[ + 0x20] + (.[(.[(0x04 + ) + 0] + (0x04 + )) + 0x40] + (.[(0x04 + ) + 0] + (0x04 + )) + 0x20)) + 0x20] + (.[ + 0x20] + (.[(.[(0x04 + ) + 0] + (0x04 + )) + 0x40] + (.[(0x04 + ) + 0] + (0x04 + )) + 0x20)))] * 0x20); = ( + 0x20) + 0x20; = + 0x01; = + 0x20; = ((( + 0x40) + 0xa0) + 0x20) + (.[(.[(.[(.[] + (.[(.[(0x04 + ) + 0] + (0x04 + )) + 0x40] + (.[(0x04 + ) + 0] + (0x04 + )) + 0x20)) + 0x20] + (.[] + (.[(.[(0x04 + ) + 0] + (0x04 + )) + 0x40] + (.[(0x04 + ) + 0] + (0x04 + )) + 0x20))) + 0x80]) + (.[(.[] + (.[(.[(0x04 + ) + 0] + (0x04 + )) + 0x40] + (.[(0x04 + ) + 0] + (0x04 + )) + 0x20)) + 0x20] + (.[] + (.[(.[(0x04 + ) + 0] + (0x04 + )) + 0x40] + (.[(0x04 + ) + 0] + (0x04 + )) + 0x20)))] * 0x20); = + 0x20; } (.[(.[(0x04 + ) + 0] + (0x04 + )) + 0x60] < ((.. - (.[(0x04 + ) + 0] + (0x04 + ))) - 0x1f)); (!(.[.[(.[(0x04 + ) + 0] + (0x04 + )) + 0x60] + (.[(0x04 + ) + 0] + (0x04 + ))] > 0xffffffffffffffff)); (!(.[(0x04 + ) + 0] + (0x04 + ) > (.. - (.[.[(.[(0x04 + ) + 0] + (0x04 + )) + 0x60] + (.[(0x04 + ) + 0] + (0x04 + ))] * 0x20)))); = 0; = (.[(.[(0x04 + ) + 0] + (0x04 + )) + 0x60] + (.[(0x04 + ) + 0] + (0x04 + ))) + 0x20; = ( + 0x20) + (.[(.[(.[(0x04 + ) + 0] + (0x04 + )) + 0x60]) + (.[(0x04 + ) + 0] + (0x04 + ))] * 0x20); = + 0x20; ; () { = ; = ; = ; = ; ( >= (.[(.[(.[(0x04 + ) + 0] + (0x04 + )) + 0x60]) + (.[(0x04 + ) + 0] + (0x04 + ))])) { ; } (.[] < ((.. - ) - 0x7f)); (.[] == ((.[]))); (.[] == ((.[]))); (.[] < ((.. - ) - 0x1f)); (!(.[.[] + ] > 0xffffffffffffffff)); (!( > (.. - (.[.[] + ] * 0x01)))); (.[] < ((.. - ) - 0x1f)); (!(.[.[] + ] > 0xffffffffffffffff)); (!( > (.. - (.[.[] + ] * 0x20)))); = 0; = ; = ( + 0x20) + ( * 0x20); = + 0x20; ; () { = ; = ; = ; = ; ( >= ) { ; } (.[] < ((.. - ) - 0x3f)); (.[ + 0] == ((.[ + 0]))); (.[ + 0x20] < ((.. - ) - 0x9f)); (.[(.[ + 0x20] + ) + 0] == ((.[(.[ + 0x20] + ) + 0]))); (.[(.[ + 0x20] + ) + 0x20] == ((.[(.[ + 0x20] + ) + 0x20]))); (.[(.[ + 0x20] + ) + 0x40] == ((.[(.[ + 0x20] + ) + 0x40]))); (.[(.[ + 0x20] + ) + 0x60] == ((.[(.[ + 0x20] + ) + 0x60]))); (.[(.[ + 0x20] + ) + 0x80] < ((.. - (.[ + 0x20] + )) - 0x1f)); (!(.[(.[(.[ + 0x20] + ) + 0x80]) + (.[ + 0x20] + )] > 0xffffffffffffffff)); (!((.[ + 0x20] + ) > (.. - (.[(.[(.[ + 0x20] + ) + 0x80]) + (.[ + 0x20] + )] * 0x20)))); (!(.[(.[(.[ + 0x20] + ) + 0x80]) + (.[ + 0x20] + )] > 0x07ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff)); ( + 0x1 >= ) { ; } (.[] < ((.. - ) - 0x3f)); (.[ + 0] == ((.[ + 0]))); (.[ + 0x20] < ((.. - ) - 0x9f)); (.[(.[ + 0x20] + ) + 0] == ((.[(.[ + 0x20] + ) + 0]))); (.[(.[ + 0x20] + ) + 0x20] == ((.[(.[ + 0x20] + ) + 0x20]))); (.[(.[ + 0x20] + ) + 0x40] == ((.[(.[ + 0x20] + ) + 0x40]))); (.[(.[ + 0x20] + ) + 0x60] == ((.[(.[ + 0x20] + ) + 0x60]))); (.[(.[ + 0x20] + ) + 0x80] < ((.. - (.[ + 0x20] + )) - 0x1f)); (!(.[(.[(.[ + 0x20] + ) + 0x80]) + (.[ + 0x20] + )] > 0xffffffffffffffff)); (!((.[ + 0x20] + ) > (.. - (.[(.[(.[ + 0x20] + ) + 0x80]) + (.[ + 0x20] + )] * 0x20)))); (!(.[(.[(.[ + 0x20] + ) + 0x80]) + (.[ + 0x20] + )] > 0x07ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff)); = ( + 0x01) + 0x01; = ( + 0x20) + 0x20; = (((((( + 0x40) + 0xa0) + 0x20) + (.[(.[(.[(.[] + ) + 0x20] + (.[] + )) + 0x80]) + (.[(.[] + ) + 0x20] + (.[] + ))] * 0x20) + 0x40) + 0xa0) + 0x20) + (.[(.[(.[(.[ + 0x20] + ) + 0x20] + (.[ + 0x20] + )) + 0x80]) + (.[(.[ + 0x20] + ) + 0x20] + (.[ + 0x20] + ))] * 0x20); = ( + 0x20) + 0x20; = + 0x01; = + 0x20; = ((( + 0x40) + 0xa0) + 0x20) + (.[(.[(.[(.[] + ) + 0x20] + (.[] + )) + 0x80]) + (.[(.[] + ) + 0x20] + (.[] + ))] * 0x20); = + 0x20; } ( + 0x1 >= (.[(.[(.[(0x04 + ) + 0] + (0x04 + )) + 0x60]) + (.[(0x04 + ) + 0] + (0x04 + ))])) { ; } (.[] < ((.. - ) - 0x7f)); (.[] == ((.[]))); (.[] == ((.[]))); (.[] < ((.. - ) - 0x1f)); (!(.[.[] + ] > 0xffffffffffffffff)); (!( > (.. - (.[.[] + ] * 0x01)))); (.[] < ((.. - ) - 0x1f)); (!(.[.[] + ] > 0xffffffffffffffff)); (!( > (.. - (.[.[] + ] * 0x20)))); (0 < ) { (.[] < ((.. - ) - 0x3f)); (.[ + 0] == ((.[ + 0]))); (.[ + 0x20] < ((.. - ) - 0x9f)); (.[(.[ + 0x20] + ) + 0] == ((.[(.[ + 0x20] + ) + 0]))); (.[(.[ + 0x20] + ) + 0x20] == ((.[(.[ + 0x20] + ) + 0x20]))); (.[(.[ + 0x20] + ) + 0x40] == ((.[(.[ + 0x20] + ) + 0x40]))); (.[(.[ + 0x20] + ) + 0x60] == ((.[(.[ + 0x20] + ) + 0x60]))); (.[(.[ + 0x20] + ) + 0x80] < ((.. - (.[ + 0x20] + )) - 0x1f)); (!(.[(.[(.[ + 0x20] + ) + 0x80]) + (.[ + 0x20] + )] > 0xffffffffffffffff)); (!((.[ + 0x20] + ) > (.. - (.[(.[(.[ + 0x20] + ) + 0x80]) + (.[ + 0x20] + )] * 0x20)))); (!(.[(.[(.[ + 0x20] + ) + 0x80]) + (.[ + 0x20] + )] > 0x07ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff)); } = ( + 0x01) + 0x01; = ( + 0x20) + 0x20; = ((( + 0x80) + 0x20) + ((.[(.[(.[ + 0x20] + (.[(.[(0x04 + ) + 0] + (0x04 + )) + 0x60] + (.[(0x04 + ) + 0] + (0x04 + )) + 0x20)) + 0x40]) + (.[ + 0x20] + (.[(.[(0x04 + ) + 0] + (0x04 + )) + 0x60] + (.[(0x04 + ) + 0] + (0x04 + )) + 0x20))] + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)) + 0x20) + (.[(.[(.[ + 0x20] + (.[(.[(0x04 + ) + 0] + (0x04 + )) + 0x60] + (.[(0x04 + ) + 0] + (0x04 + )) + 0x20)) + 0x60]) + (.[ + 0x20] + (.[(.[(0x04 + ) + 0] + (0x04 + )) + 0x60] + (.[(0x04 + ) + 0] + (0x04 + )) + 0x20))] * 0x20); = ( + 0x20) + 0x20; = + 0x01; = + 0x20; = ; = + 0x20; } (.[(0x04 + ) + 0x20] < ((.. - (0x04 + )) - 0x1f)); (!(.[.[(0x04 + ) + 0x20] + (0x04 + )] > 0xffffffffffffffff)); (!((0x04 + ) > (.. - (.[.[(0x04 + ) + 0x20] + (0x04 + )] * 0x01)))); = ( + 0x20) + ((.[(.[(0x04 + ) + 0x20]) + (0x04 + )] + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); (!(0x8 <= 0xa)) (33); (!(0x08 < .)) (50); = 0; ; () { = ; ( >= ) { ; } ( + 0x20 >= ) { ; } = ( + 0x20) + 0x20; = + 0x20; } ( > ) { } = (((0x24 + ) + 0x20) + 0x20) + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = 0; ; () { = ; ( >= ) { ; } ( + 0x20 >= ) { ; } = ( + 0x20) + 0x20; = + 0x20; } ( > ) { } ( , ) = ([0x08] / 0x01).(); // delegatecall = 0x60; (. != 0) { = + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = ; } (); (!(((0x20 + ) + ) - (0x20 + ) < 0x40)); ( == ( & 0xffffffffffffffff)); ( == ( & 0xffffffffffffffffffffffffffffffffffffffffffff)); = ; (() > 0) { = (0x24 + ) + 0x40; = 0; ; () { = ; ( >= ) { ; } ( + 0x20 >= ) { ; } = ( + 0x20) + 0x20; = + 0x20; } ( > ) { } ( , ) = ([0x08] / 0x01).(); // delegatecall = 0x60; (. != 0) { = + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = ; } (); = ; } } ( ) ( ) { (!(((0x04 + (.. - 0x04)) - 0x04) < 0x20)); .(, (), (( / 0x01))); } ( , ) { (!(((0x04 + (.. - 0x04)) - 0x04) < 0x40)); ( == ); ( == ); (, ); } ( ) ( ) { (!(((0x04 + (.. - 0x04)) - 0x04) < 0x20)); (); = 0; () { ( >= ) { ; } = + 0x20; .(( / 0x01), (( / 0x010000000000000000000000000000000000000000)), (), ( + 0xa0) - , (), ()); } ( > ) { } } ( , , [] , [] , ) () { (!(((0x04 + (.. - 0x04)) - 0x04) < 0xa0)); ( <= 0xffffffffffffffff); (((0x04 + ) + 0x1f) < (0x04 + (.. - 0x04))); (!( <= 0xffffffffffffffff)) (65); ; ( + ((( * 0x20) + 0x20) + 0x1f & 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) > 0xffffffffffffffff || + ((( * 0x20) + 0x20) + 0x1f & 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) < ) (65); = + (((( * 0x20) + 0x20) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); (((0x04 + ) + 0x20) + * 0x20 <= (0x04 + (.. - 0x04))); = (0x04 + ) + 0x20; = ((0x04 + ) + 0x20) + ( * 0x20); = + 0x20; = ; = (0x04 + ) + 0x20; = ; = 0x04 + (.. - 0x04); () { ( >= ) { ; } (.[] == .[]); = + 0x20; = ; = + 0x20; = ; = ; = ; = ; ( <= 0xffffffffffffffff); (((0x04 + ) + 0x1f) < (0x04 + (.. - 0x04))); (!( <= 0xffffffffffffffff)) (65); ( + ((( * 0x20) + 0x20) + 0x1f & 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) > 0xffffffffffffffff || + ((( * 0x20) + 0x20) + 0x1f & 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) < ) (65); = + (((( * 0x20) + 0x20) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); (((0x04 + ) + 0x20) + * 0x20 <= (0x04 + (.. - 0x04))); = (0x04 + ) + 0x20; = ((0x04 + ) + 0x20) + ( * 0x20); = + 0x20; = ; = (0x04 + ) + 0x20; = ; = 0x04 + (.. - 0x04); () { ( >= ) { ; } (.[] == .[]); = + 0x20; = ; = + 0x20; = ; = ; = ; = ; (. <= 0xffffffffffffffff); (((0x04 + ) + 0x1f) < (0x04 + (.. - 0x04))); (!(. <= 0xffffffffffffffff)) (65); ( + (((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) + 0x20) + 0x1f & 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) > 0xffffffffffffffff || + (((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) + 0x20) + 0x1f & 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) < ) (65); = + ((((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) + 0x20) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); (((0x04 + ) + 0x20) + <= (0x04 + (.. - 0x04))); (0xbc197c8100000000000000000000000000000000000000000000000000000000 & (0xffffffff00000000000000000000000000000000000000000000000000000000)); } } } () () { (( / 0x01)); } ( ) ( ) { (!(((0x04 + (.. - 0x04)) - 0x04) < 0x20)); (); = 0; () { ( >= ) { ; } = + 0x20; .(( + 0x20) - , ()); } ( > ) { } } ( , ) ( ) { (!(((0x04 + (.. - 0x04)) - 0x04) < 0x40)); ( == ); ( == ); (!(0x2 <= 0xa)) (33); (!(0x02 < .)) (50); ; = (0x24 + ) + 0x40; = 0; ; () { = ; ( >= ) { ; } ( + 0x20 >= ) { ; } = ( + 0x20) + 0x20; = + 0x20; } ( > ) { } ( , ) = ([0x02] / 0x01).(); // delegatecall = 0x60; (. != 0) { = + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = ; } (); (!(((0x20 + ) + ) - (0x20 + ) < 0x20)); (!( > 0xffffffffffffffff)); ((0x20 + ) + + 0x1f < ((0x20 + ) + )); (!( <= 0xffffffffffffffff)) (65); ( + ( + 0x1f & 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) > 0xffffffffffffffff || + ( + 0x1f & 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) < ) (65); = + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); (((0x20 + ) + + 0x20) + * 0x20 <= ((0x20 + ) + )); = ((0x20 + ) + ) + 0x20; = ((0x20 + ) + + 0x20) + ( * 0x20); = + 0x20; = ; = ((0x20 + ) + ) + 0x20; = ; = (0x20 + ) + ; () { ( >= ) { ; } (!( > 0xffffffffffffffff)); ( - ( + ) >= 0xe0); ( + ( + 0x1f & 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) > 0xffffffffffffffff || + ( + 0x1f & 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) < ) (65); ( == ( & 0xffffffffffffffffffffffffffffffffffffffff)); ( == ( & 0xffffffffffffffffffffffffffffffffffffffff)); ( == ( & 0xffffffffffffffffffffffffffffffffffffffff)); ( == ( & 0xff)); (!( > 0xffffffffffffffff)); ( + 0x1f < ); (!( <= 0xffffffffffffffff)) (65); ( + ( + 0x1f & 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) > 0xffffffffffffffff || + ( + 0x1f & 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) < ) (65); = + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ( + <= ); = 0; ; () { = ; ( >= ) { ; } ( + 0x20 >= ) { ; } = ( + 0x20) + 0x20; = + 0x20; } ( > ) { } (!( > 0xffffffffffffffff)); ( + 0x1f < ); (!( <= 0xffffffffffffffff)) (65); ( + ( + 0x1f & 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) > 0xffffffffffffffff || + ( + 0x1f & 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) < ) (65); = + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ( + <= ); = 0; ; () { = ; ( >= ) { ; } ( + 0x20 >= ) { ; } = ( + 0x20) + 0x20; = + 0x20; } ( > ) { } ( == ); (( + 0x20) >= ) { ; } (!( > 0xffffffffffffffff)); ( - ( + ) >= 0xe0); ( + ( + 0x1f & 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) > 0xffffffffffffffff || + ( + 0x1f & 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) < ) (65); = + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ( == ( & 0xffffffffffffffffffffffffffffffffffffffff)); ( == ( & 0xffffffffffffffffffffffffffffffffffffffff)); ( == ( & 0xffffffffffffffffffffffffffffffffffffffff)); ( == ( & 0xff)); (!( > 0xffffffffffffffff)); ( + 0x1f < ); (!( <= 0xffffffffffffffff)) (65); ((( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ( + <= ); (0x0 >= ) { (0 > ) { } } { } (!( > 0xffffffffffffffff)); ( + 0x1f < ); (!( <= 0xffffffffffffffff)) (65); ((( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) > 0xffffffffffffffff) | (( + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0))) < )) (65); = + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ( + <= ); (0x0 >= ) { (0 > ) { } } { } ( == ); = + 0x20; = ; = + 0x20; = ; = ; = ; = ; = 0; = + 0x20; = (( + 0x20) + 0x20) + ( * 0x20); = ( + 0x20) + 0x20; () { = ; = ; = ; = ; (!( < )) { ; } = 0; ; () { = ; (!( < )) { ; } (!(( + 0x20) < )) { ; } = ( + 0x20) + 0x20; = + 0x20; } ( > ) { } = 0; ; () { = ; (!( < )) { ; } (!(( + 0x20) < )) { ; } = ( + 0x20) + 0x20; = + 0x20; } ( > ) { } (!(( + 0x01) < )) { ; } (!(0 < )) { (0 > ) { } } { } (!(0 < )) { (0 > ) { } } { } = ( + 0x01) + 0x01; = ( + 0x20) + 0x20; = (((((( + 0xe0) + 0x20) + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)) + 0x20) + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)) + 0xe0) + 0x20) + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)) + 0x20) + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = ( + 0x20) + 0x20; = + 0x01; = + 0x20; = ((( + 0xe0) + 0x20) + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)) + 0x20) + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = + 0x20; } .(( + 0x20) - , ()); = 0; = + 0x20; = (( + 0x20) + 0x20) + ( * 0x20); = ( + 0x20) + 0x20; () { (!( < )) { ; } = 0; ; () { = ; (!( < )) { ; } ( + 0x20 >= ) { ; } = ( + 0x20) + 0x20; = + 0x20; } ( > ) { } = 0; ; () { = ; (!( < )) { ; } ( + 0x20 >= ) { ; } = ( + 0x20) + 0x20; = + 0x20; } ( > ) { } = + 0x01; = + 0x20; = ((( + 0xe0) + 0x20) + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)) + 0x20) + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = + 0x20; .(( + 0x20) - , ()); } } } ( ) { (!(((0x04 + (.. - 0x04)) - 0x04) < 0x20)); ( <= 0xffffffffffffffff); (!((0x04 + (.. - 0x04)) - (0x04 + ) < 0x0140)); ( == ( & 0xffffffff)); ( == ( & 0xffffffffffffffffffffffffffffffffffffffff)); ( == ( & 0xffffffffffffffff)); ( == ( & 0xffffffff)); ( == ( & 0xffffffffffffffffffffffffffffffffffffffff)); ( == ( & 0xffffffffffffffff)); (.[(0x04 + ) + 0xc0] < ((.. - (0x04 + )) - 0x3f)); ( == ( & 0xff)); (.[(.[(0x04 + ) + 0xc0] + (0x04 + )) + 0x20] < ((.. - (.[(0x04 + ) + 0xc0] + (0x04 + ))) - 0x1f)); (!(.[.[(.[(0x04 + ) + 0xc0] + (0x04 + )) + 0x20] + (.[(0x04 + ) + 0xc0] + (0x04 + ))] > 0xffffffffffffffff)); (!(.[(0x04 + ) + 0xc0] + (0x04 + ) > (.. - (.[.[(.[(0x04 + ) + 0xc0] + (0x04 + )) + 0x20] + (.[(0x04 + ) + 0xc0] + (0x04 + ))] * 0x01)))); ( == ( & 0xffffffffffffffffffffffffffffffffffffffff)); ( == ( & 0xffffffffffffffffffffffffffffffffffffffff)); ( == ( & 0xffffffffffffffffffffffffffffffffffffffff)); ; = (((((0x20 + ) + 0x20) + 0x0140) + 0x40) + 0x20) + ((.[(.[(.[(0x04 + ) + 0xc0] + (0x04 + )) + 0x20]) + (.[(0x04 + ) + 0xc0] + (0x04 + ))] + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); (!(0x5 <= 0xa)) (33); (!(0x05 < .)) (50); = 0; ; () { = ; ( >= ) { ; } ( + 0x20 >= ) { ; } = ( + 0x20) + 0x20; = + 0x20; } ( > ) { } = (((0x24 + ) + 0x20) + 0x20) + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = 0; ; () { = ; ( >= ) { ; } ( + 0x20 >= ) { ; } = ( + 0x20) + 0x20; = + 0x20; } ( > ) { } ( , ) = ([0x05] / 0x01).(); // delegatecall = 0x60; (. != 0) { = + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = ; } (); } ( , ) { (!(((0x04 + (.. - 0x04)) - 0x04) < 0x40)); ( == ); ( == ); (!(0x8 <= 0xa)) (33); (!(0x08 < .)) (50); ; = (0x24 + ) + 0x40; = 0; (0 < ) { (0x20 < ) { } = 0x20; } ( > ) { } ( , ) = ([0x08] / 0x01).(); // delegatecall = 0x60; (. != 0) { = + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = ; } (); } ( ) () { (!(((0x04 + (.. - 0x04)) - 0x04) < 0x20)); (); (); } ( ) { (!(((0x04 + (.. - 0x04)) - 0x04) < 0x20)); (!(. > 0xffffffffffffffff)); (((0x04 + ) + 0x1f) < (0x04 + (.. - 0x04))); (!(. > 0xffffffffffffffff)); (!(((0x04 + ) + 0x20) + (. * 0x01) > (0x04 + (.. - 0x04)))); (. == (( / 0x01))); (. == 0x01); (!(0x6 <= 0xa)) (33); (!(0x06 < .)) (50); ; = (((0x24 + ) + 0x20) + 0x20) + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = 0; ; () { = ; ( >= ) { ; } ( + 0x20 >= ) { ; } = ( + 0x20) + 0x20; = + 0x20; } ( > ) { } ( , ) = ([0x06] / 0x01).(); // delegatecall = 0x60; (. != 0) { = + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = ; } (); } ( ) { (!(((0x04 + (.. - 0x04)) - 0x04) < 0x20)); (!(. > 0xffffffffffffffff)); (((0x04 + ) + 0x1f) < (0x04 + (.. - 0x04))); (!(. > 0xffffffffffffffff)); (!(((0x04 + ) + 0x20) + (. * 0x01) > (0x04 + (.. - 0x04)))); (!(0x5 <= 0xa)) (33); (!(0x05 < .)) (50); ; = (((0x24 + ) + 0x20) + 0x20) + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = 0; ; () { = ; ( >= ) { ; } ( + 0x20 >= ) { ; } = ( + 0x20) + 0x20; = + 0x20; } ( > ) { } ( , ) = ([0x05] / 0x01).(); // delegatecall = 0x60; (. != 0) { = + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = ; } (); } ( , , , , ) () { (!(((0x04 + (.. - 0x04)) - 0x04) < 0xa0)); ( == ); ( == ); (. <= 0xffffffffffffffff); (((0x04 + ) + 0x1f) < (0x04 + (.. - 0x04))); (!(. <= 0xffffffffffffffff)) (65); ; ( + (((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) + 0x20) + 0x1f & 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) > 0xffffffffffffffff || + (((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) + 0x20) + 0x1f & 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) < ) (65); = + ((((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) + 0x20) + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); (((0x04 + ) + 0x20) + <= (0x04 + (.. - 0x04))); (0xf23a6e6100000000000000000000000000000000000000000000000000000000 & (0xffffffff00000000000000000000000000000000000000000000000000000000)); } ( ) () { (!(((0x04 + (.. - 0x04)) - 0x04) < 0x20)); (!(. > 0xffffffffffffffff)); (((0x04 + ) + 0x1f) < (0x04 + (.. - 0x04))); (!(. > 0xffffffffffffffff)); (!(((0x04 + ) + 0x20) + (. * 0x01) > (0x04 + (.. - 0x04)))); (!(0x6 <= 0xa)) (33); (!(0x06 < .)) (50); ; = (((0x24 + ) + 0x20) + 0x20) + ((. + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = 0; ; () { = ; ( >= ) { ; } ( + 0x20 >= ) { ; } = ( + 0x20) + 0x20; = + 0x20; } ( > ) { } ( , ) = ([0x06] / 0x01).(); // delegatecall = 0x60; (. != 0) { = + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = ; } (); (!(((0x20 + ) + ) - (0x20 + ) < 0x20)); ( == ( & 0xff)); (()); } ( ) { // Decompilation incomplete: helper effect provenance is conservative. = [] / 0x02; (!([] & (0x01))) { = ([] / 0x02) & (0x7f); } ([] & (0x01) == ( < 0x20)) (34); ; = + (0x20 + (((0x1f + ) / 0x20) * 0x20)); = [] / 0x02; (!([] & (0x01))) { = ([] / 0x02) & (0x7f); } ([] & (0x01) == ( < 0x20)) (34); = ; = (.(, 0x08)); = 0x20 + ; ( != 0x0) { = (0x20 + ) + ; ; = ; ; = ((0x20 + ) + ) + (0x1f & ( - ((0x20 + ) + ))); (0x1f < ) { = 0x20 + (0x20 + ); = 0x01 + ((.((.(, 0x08))))); () { (((0x20 + ) + ) <= ) { ; } = 0x20 + ; = 0x01 + ; } } { = ; = (.(, 0x08)); = 0x20 + (0x20 + ); } = ; = ; = ; } } ( ) { // Decompilation incomplete: helper effect provenance is conservative. (!(0x4 <= 0xa)) (33); (!(0x04 < .)) (50); ; = (0x24 + ) + 0x20; = 0; () { = ; ( >= ) { ; } ( + 0x20 >= ) { ; } = ( + 0x20) + 0x20; = + 0x20; } ( , ) = ([0x04] / 0x01).(); // delegatecall = 0x60; (. != 0) { = + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = ; } (); (!(((0x20 + ) + ) - (0x20 + ) < 0x20)); ( == ); } ( ) { // Decompilation incomplete: helper effect provenance is conservative. (!(0x4 <= 0xa)) (33); (!(0x04 < .)) (50); ; = (0x24 + ) + 0x20; = 0; () { = ; ( >= ) { ; } ( + 0x20 >= ) { ; } = ( + 0x20) + 0x20; = + 0x20; } ( , ) = ([0x04] / 0x01).(); // delegatecall = 0x60; (. != 0) { = + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = ; } (); (!(((0x20 + ) + ) - (0x20 + ) < 0x20)); (!( > 0xffffffffffffffff)); (((0x20 + ) + ) + 0x1f < ((0x20 + ) + )); (!( <= 0xffffffffffffffff)) (65); ( + ( + 0x1f & 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) > 0xffffffffffffffff || + ( + 0x1f & 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) < ) (65); = + (( + 0x1f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); ((((0x20 + ) + ) + 0x20) + <= ((0x20 + ) + )); = 0; () { = ; ( >= ) { ; } ( + 0x20 >= ) { ; } = ( + 0x20) + 0x20; = + 0x20; } } ( , ) { // Decompilation incomplete: helper effect provenance is conservative. (!(0x8 <= 0xa)) (33); (!(0x08 < .)) (50); ; = (0x24 + ) + 0x40; = 0; () { = ; ( >= ) { ; } ( + 0x20 >= ) { ; } = ( + 0x20) + 0x20; = + 0x20; } ( , ) = ([0x08] / 0x01).(); // delegatecall = 0x60; (. != 0) { = + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = ; } (); (!(((0x20 + ) + ) - (0x20 + ) < 0x20)); ( == ); } ( , ) { // Decompilation incomplete: helper effect provenance is conservative. (. == (( / 0x01))); ( != 0x64) { (!( < .)) (50); [] = ( * 0x01) | (0xffffffffffffffffffffffff0000000000000000000000000000000000000000 & []); ; = 0x24 + ; = 0; () { = ; ( >= ) { ; } ( + 0x20 >= ) { ; } = ( + 0x20) + 0x20; = + 0x20; } ( , ) = .{ : 0x2dc6c0 }(); // delegatecall = 0x60; (. != 0) { = + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = ; } } { = 0 | (0xffffffffffffffffffffffff0000000000000000000000000000000000000000 & ); } } () { // Decompilation incomplete: helper effect provenance is conservative. (!(0x8 <= 0xa)) (33); (!(0x08 < .)) (50); ; = 0x24 + ; = 0; () { = ; ( >= ) { ; } ( + 0x20 >= ) { ; } = ( + 0x20) + 0x20; = + 0x20; } ( , ) = ([0x08] / 0x01).(); // delegatecall = 0x60; (. != 0) { = + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = ; } (); } ( , ) { // Decompilation incomplete: helper effect provenance is conservative. (!(0x8 <= 0xa)) (33); (!(0x08 < .)) (50); ; = (0x24 + ) + 0x40; = 0; () { = ; ( >= ) { ; } ( + 0x20 >= ) { ; } = ( + 0x20) + 0x20; = + 0x20; } ( , ) = ([0x08] / 0x01).(); // delegatecall = 0x60; (. != 0) { = + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = ; } (); } ( ) { // Decompilation incomplete: helper effect provenance is conservative. = / 0x02; (!( & (0x01))) { = ( / 0x02) & (0x7f); } ( & (0x01) == ( < 0x20)) (34); ; = + (0x20 + (((0x1f + ) / 0x20) * 0x20)); = / 0x02; (!( & (0x01))) { = ( / 0x02) & (0x7f); } ( & (0x01) == ( < 0x20)) (34); = ; = 0x02 + ((.(, 0x03))); = 0x20 + ; ( != 0x0) { = (0x20 + ) + ; ; = ; ; = ((0x20 + ) + ) + (0x1f & ( - ((0x20 + ) + ))); (0x1f < ) { = 0x20 + (0x20 + ); = 0x01 + ((.(0x02 + ((.(, 0x03)))))); () { (((0x20 + ) + ) <= ) { ; } = 0x20 + ; = 0x01 + ; } } { = ; = 0x02 + ((.(, 0x03))); = 0x20 + (0x20 + ); } = ; = ; = ; } } ( ) { // Decompilation incomplete: helper effect provenance is conservative. ( < .); = [] / 0x02; (!([] & (0x01))) { = ([] / 0x02) & (0x7f); } ([] & (0x01) == ( < 0x20)) (34); ; = + (0x20 + (((0x1f + ) / 0x20) * 0x20)); = [] / 0x02; (!([] & (0x01))) { = ([] / 0x02) & (0x7f); } ([] & (0x01) == ( < 0x20)) (34); = ; = (.(0x78)) + ; = 0x20 + ; ( != 0x0) { = (0x20 + ) + ; ; = ; ; = ((0x20 + ) + ) + (0x1f & ( - ((0x20 + ) + ))); (0x1f < ) { = 0x20 + (0x20 + ); = 0x01 + ((.((.(0x78)) + ))); () { (((0x20 + ) + ) <= ) { ; } = 0x20 + ; = 0x01 + ; } } { = ; = (.(0x78)) + ; = 0x20 + (0x20 + ); } = ; = ; = ; } } ( ) { // Decompilation incomplete: helper effect provenance is conservative. (!(0xa <= 0xa)) (33); (!(0x0a < .)) (50); ; = (0x24 + ) + 0x20; = 0; () { = ; ( >= ) { ; } ( + 0x20 >= ) { ; } = ( + 0x20) + 0x20; = + 0x20; } ( , ) = ([0x0a] / 0x01).(); // delegatecall = 0x60; (. != 0) { = + ((. + 0x3f) & (0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0)); = ; } (); (!(((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. // 0x01ffc9a7 => supportsInterface(bytes4) // 0x034a510c => burnFees(bytes) // 0x0f031f65 => Unknown_0f031f65(uint256) // 0x0f9b556e => getProofCosts(uint256) // 0x11149ada => getProof(uint256) // 0x150b7a02 => onERC721Received(address,address,uint256,bytes) // 0x1b594648 => claimRefund(uint176,address) // 0x23c8504d => claimableFees(bytes32) // 0x250dea53 => notaryAddressMapping(address) // 0x28a1a7e1 => setVerusData(bytes,string) // 0x2f1ee679 => revokeWithMainAddress(bytes) // 0x327d4263 => unresolved_327d4263(uint256) // 0x3dd5761a => Unknown_3dd5761a(uint256) // 0x474da79a => contracts(uint256) // 0x4b7ea401 => rollingVoteIndex() // 0x4dc7ca63 => revokeWithMultiSig(bytes) // 0x5112ba98 => refunds(bytes32,address) // 0x530f278f => exportHeights(uint256) // 0x538c3c5c => cceLastEndHeight() // 0x5a53c7f0 => setLatestData(bytes,bytes32,uint32,bytes) // 0x5bde3d47 => recoverWithMultiSig(bytes) // 0x5f01604d => replacecontract(address,uint256) // 0x60cd61a5 => upgradeContracts(bytes) // 0x683d8cbb => Unknown_683d8cbb(uint256) // 0x6bb67073 => unresolved_6bb67073(uint256) // 0x6d4b76d5 => notaries(uint256) // 0x8491fbaa => bridgeConverterActive() // 0x87cb0c75 => claimfees() // 0x8c49b257 => Unknown_8c49b257(uint256) // 0x8c7982f8 => _readyExports(uint256) // 0x8da5cb5b => owner() // 0x9a70b466 => lastTxIdImport() // 0x9ead7222 => tokenList(uint256) // 0xaaf3c8be => sendfees(bytes32,bytes32) // 0xb17f15a2 => verusToERC20mapping(address) // 0xbc197c81 => onERC1155BatchReceived(address,address,uint256[],uint256[],bytes) // 0xc03d4268 => cceLastStartHeight() // 0xc36b4d1e => bestForks(uint256) // 0xc7946e6d => rollingUpgradeVotes(uint256) // 0xd4ed19ac => getTokenList(uint256,uint256) // 0xe3ccac73 => Unknown_e3ccac73(uint256) // 0xe4804abc => getReadyExportsByRange(uint256,uint256) // 0xe652f4cc => getVoteCount(address) // 0xe943e0ea => launchContractTokens(bytes) // 0xf138617c => sendTransferDirect(bytes) // 0xf23a6e61 => onERC1155Received(address,address,uint256,uint256,bytes) // 0xfaec59d9 => recoverWithRecoveryAddress(bytes)}