019b477e-ab1c-7027-9046-efacc8109ee1
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 20955 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 20956 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 64118 | analysis.bundle | complete | 1 / 3 | 3 weeks ago |
| 64119 | capability.graph | complete | 1 / 3 | 3 weeks ago |
| 64120 | detector.run | complete | 1 / 3 | 3 weeks ago |
| 64121 | validation.fork | complete | 1 / 3 | 3 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0078 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x02d05d3f 0000003c: EQ 0000003d: PUSH2 0x0700 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x40dda742 00000047: EQ 00000048: PUSH2 0x0755 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x7fc611f0 00000052: EQ 00000053: PUSH2 0x0782 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x878bfaa3 0000005d: EQ 0000005e: PUSH2 0x0797 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x9f099310 00000068: EQ 00000069: PUSH2 0x07c4 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0xb3752fd0 00000073: EQ 00000074: PUSH2 0x07fb 00000077: JUMPI 00000078: JUMPDEST 00000079: PUSH1 0x00 0000007b: DUP1 0000007c: PUSH1 0x00 0000007e: DUP1 0000007f: PUSH1 0x00 00000081: DUP1 00000082: PUSH1 0x00 00000084: DUP1 00000085: PUSH1 0x00 00000087: DUP1 00000088: PUSH1 0x00 0000008a: SWAP10 0000008b: POP 0000008c: PUSH1 0x00 0000008e: CALLDATALOAD 0000008f: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 000000b0: AND 000000b1: SWAP9 000000b2: POP 000000b3: PUSH1 0x05 000000b5: PUSH1 0x00 000000b7: SWAP1 000000b8: SLOAD 000000b9: SWAP1 000000ba: PUSH2 0x0100 000000bd: EXP 000000be: SWAP1 000000bf: DIV 000000c0: PUSH1 0xff 000000c2: AND 000000c3: ISZERO 000000c4: ISZERO 000000c5: ISZERO 000000c6: PUSH2 0x00cb 000000c9: JUMPI 000000ca: INVALID 000000cb: JUMPDEST 000000cc: PUSH1 0x00 000000ce: SWAP8 000000cf: POP 000000d0: JUMPDEST 000000d1: PUSH1 0x01 000000d3: DUP1 000000d4: SLOAD 000000d5: SWAP1 000000d6: POP 000000d7: DUP9 000000d8: LT 000000d9: ISZERO 000000da: PUSH2 0x0165 000000dd: JUMPI 000000de: PUSH1 0x01 000000e0: DUP9 000000e1: DUP2 000000e2: SLOAD 000000e3: DUP2 000000e4: LT 000000e5: ISZERO 000000e6: ISZERO 000000e7: PUSH2 0x00ec 000000ea: JUMPI 000000eb: INVALID 000000ec: JUMPDEST 000000ed: SWAP1 000000ee: PUSH1 0x00 000000f0: MSTORE 000000f1: PUSH1 0x20 000000f3: PUSH1 0x00 000000f5: KECCAK256 000000f6: SWAP1 000000f7: ADD 000000f8: PUSH1 0x00 000000fa: SWAP1 000000fb: SLOAD 000000fc: SWAP1 000000fd: PUSH2 0x0100 00000100: EXP 00000101: SWAP1 00000102: DIV 00000103: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000118: AND 00000119: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000012e: AND 0000012f: CALLER 00000130: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000145: AND 00000146: EQ 00000147: ISZERO 00000148: PUSH2 0x0158 0000014b: JUMPI 0000014c: PUSH2 0x0153 0000014f: PUSH2 0x0824 00000152: JUMP 00000153: JUMPDEST 00000154: PUSH2 0x06f4 00000157: JUMP 00000158: JUMPDEST 00000159: DUP8 0000015a: DUP1 0000015b: PUSH1 0x01 0000015d: ADD 0000015e: SWAP9 0000015f: POP 00000160: POP 00000161: PUSH2 0x00d0 00000164: JUMP 00000165: JUMPDEST 00000166: PUSH1 0x00 00000168: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000186: MUL 00000187: DUP10 00000188: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000001a5: NOT 000001a6: AND 000001a7: EQ 000001a8: ISZERO 000001a9: PUSH2 0x01b1 000001ac: JUMPI 000001ad: PUSH2 0x0436 000001b0: JUMP 000001b1: JUMPDEST 000001b2: PUSH4 0xdd62ed3e 000001b7: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000001d5: MUL 000001d6: DUP10 000001d7: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000001f4: NOT 000001f5: AND 000001f6: EQ 000001f7: ISZERO 000001f8: PUSH2 0x0200 000001fb: JUMPI 000001fc: PUSH2 0x0435 000001ff: JUMP 00000200: JUMPDEST 00000201: PUSH4 0xd0e30db0 00000206: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000224: MUL 00000225: DUP10 00000226: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000243: NOT 00000244: AND 00000245: EQ 00000246: ISZERO 00000247: PUSH2 0x024f 0000024a: JUMPI 0000024b: PUSH2 0x0434 0000024e: JUMP 0000024f: JUMPDEST 00000250: PUSH4 0x70a08231 00000255: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000273: MUL 00000274: DUP10 00000275: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000292: NOT 00000293: AND 00000294: EQ 00000295: ISZERO 00000296: PUSH2 0x029e 00000299: JUMPI 0000029a: PUSH2 0x0433 0000029d: JUMP 0000029e: JUMPDEST 0000029f: PUSH4 0xa9059cbb 000002a4: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000002c2: MUL 000002c3: DUP10 000002c4: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000002e1: NOT 000002e2: AND 000002e3: EQ 000002e4: ISZERO 000002e5: PUSH2 0x02ed 000002e8: JUMPI 000002e9: PUSH2 0x0432 000002ec: JUMP 000002ed: JUMPDEST 000002ee: PUSH4 0x23b872dd 000002f3: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000311: MUL 00000312: DUP10 00000313: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000330: NOT 00000331: AND 00000332: EQ 00000333: ISZERO 00000334: PUSH2 0x033c 00000337: JUMPI 00000338: PUSH2 0x0431 0000033b: JUMP 0000033c: JUMPDEST 0000033d: PUSH4 0x18160ddd 00000342: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000360: MUL 00000361: DUP10 00000362: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000037f: NOT 00000380: AND 00000381: EQ 00000382: ISZERO 00000383: PUSH2 0x038b 00000386: JUMPI 00000387: PUSH2 0x0430 0000038a: JUMP 0000038b: JUMPDEST 0000038c: PUSH4 0x095ea7b3 00000391: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000003af: MUL 000003b0: DUP10 000003b1: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000003ce: NOT 000003cf: AND 000003d0: EQ 000003d1: ISZERO 000003d2: PUSH2 0x03da 000003d5: JUMPI 000003d6: PUSH2 0x042f 000003d9: JUMP 000003da: JUMPDEST 000003db: PUSH4 0x2e1a7d4d 000003e0: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000003fe: MUL 000003ff: DUP10 00000400: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000041d: NOT 0000041e: AND 0000041f: EQ 00000420: ISZERO 00000421: PUSH2 0x0429 00000424: JUMPI 00000425: PUSH2 0x042e 00000428: JUMP 00000429: JUMPDEST 0000042a: PUSH1 0x00 0000042c: DUP1 0000042d: REVERT 0000042e: JUMPDEST 0000042f: JUMPDEST 00000430: JUMPDEST 00000431: JUMPDEST 00000432: JUMPDEST 00000433: JUMPDEST 00000434: JUMPDEST 00000435: JUMPDEST 00000436: JUMPDEST 00000437: PUSH1 0x00 00000439: PUSH1 0x04 0000043b: SLOAD 0000043c: EQ 0000043d: ISZERO 0000043e: ISZERO 0000043f: PUSH2 0x0444 00000442: JUMPI 00000443: INVALID 00000444: JUMPDEST 00000445: PUSH1 0x20 00000447: PUSH2 0x0100 0000044a: PUSH1 0x20 0000044c: ADD 0000044d: ADD 0000044e: SWAP7 0000044f: POP 00000450: PUSH1 0x40 00000452: MLOAD 00000453: SWAP6 00000454: POP 00000455: DUP7 00000456: DUP7 00000457: ADD 00000458: PUSH1 0x40 0000045a: MSTORE 0000045b: PUSH1 0x40 0000045d: MLOAD 0000045e: DUP1 0000045f: DUP1 00000460: PUSH32 0x6d756c746943616c6c2829000000000000000000000000000000000000000000 00000481: DUP2 00000482: MSTORE 00000483: POP 00000484: PUSH1 0x0b 00000486: ADD 00000487: SWAP1 00000488: POP 00000489: PUSH1 0x40 0000048b: MLOAD 0000048c: DUP1 0000048d: SWAP2 0000048e: SUB 0000048f: SWAP1 00000490: KECCAK256 00000491: SWAP4 00000492: POP 00000493: PUSH2 0x049f 00000496: PUSH1 0x00 00000498: CALLDATASIZE 00000499: SWAP1 0000049a: POP 0000049b: PUSH2 0x0cf3 0000049e: JUMP 0000049f: JUMPDEST 000004a0: SWAP3 000004a1: POP 000004a2: DUP3 000004a3: GAS 000004a4: LT 000004a5: ISZERO 000004a6: ISZERO 000004a7: ISZERO 000004a8: PUSH2 0x04ad 000004ab: JUMPI 000004ac: INVALID 000004ad: JUMPDEST 000004ae: PUSH1 0x40 000004b0: MLOAD 000004b1: DUP5 000004b2: DUP2 000004b3: MSTORE 000004b4: CALLER 000004b5: PUSH1 0x04 000004b7: DUP3 000004b8: ADD 000004b9: MSTORE 000004ba: CALLVALUE 000004bb: PUSH1 0x24 000004bd: DUP3 000004be: ADD 000004bf: MSTORE 000004c0: CALLDATASIZE 000004c1: PUSH1 0x00 000004c3: PUSH1 0x44 000004c5: DUP4 000004c6: ADD 000004c7: CALLDATACOPY 000004c8: CALLDATASIZE 000004c9: PUSH1 0x44 000004cb: ADD 000004cc: DUP2 000004cd: ADD 000004ce: PUSH1 0x40 000004d0: MSTORE 000004d1: DUP8 000004d2: DUP8 000004d3: CALLDATASIZE 000004d4: PUSH1 0x44 000004d6: ADD 000004d7: DUP4 000004d8: PUSH1 0x00 000004da: ADDRESS 000004db: GAS 000004dc: CALL 000004dd: SWAP6 000004de: POP 000004df: POP 000004e0: DUP5 000004e1: ISZERO 000004e2: ISZERO 000004e3: PUSH2 0x0585 000004e6: JUMPI 000004e7: PUSH1 0x00 000004e9: ISZERO 000004ea: PUSH2 0x0578 000004ed: JUMPI 000004ee: PUSH32 0x018eac118f0f587da1ef86ae8e7ca6bde8568f90dc08be54b5a2416db20bc6a1 0000050f: DUP10 00000510: PUSH1 0x00 00000512: DUP8 00000513: PUSH1 0x40 00000515: MLOAD 00000516: DUP1 00000517: DUP5 00000518: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000535: NOT 00000536: AND 00000537: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000554: NOT 00000555: AND 00000556: DUP2 00000557: MSTORE 00000558: PUSH1 0x20 0000055a: ADD 0000055b: DUP4 0000055c: DUP2 0000055d: MSTORE 0000055e: PUSH1 0x20 00000560: ADD 00000561: DUP3 00000562: ISZERO 00000563: ISZERO 00000564: ISZERO 00000565: ISZERO 00000566: DUP2 00000567: MSTORE 00000568: PUSH1 0x20 0000056a: ADD 0000056b: SWAP4 0000056c: POP 0000056d: POP 0000056e: POP 0000056f: POP 00000570: PUSH1 0x40 00000572: MLOAD 00000573: DUP1 00000574: SWAP2 00000575: SUB 00000576: SWAP1 00000577: LOG1 00000578: JUMPDEST 00000579: PUSH2 0x0580 0000057c: PUSH2 0x0d38 0000057f: JUMP 00000580: JUMPDEST 00000581: PUSH2 0x06f4 00000584: JUMP 00000585: JUMPDEST 00000586: DUP6 00000587: MLOAD 00000588: SWAP2 00000589: POP 0000058a: PUSH1 0x00 0000058c: ISZERO 0000058d: PUSH2 0x061a 00000590: JUMPI 00000591: PUSH32 0x018eac118f0f587da1ef86ae8e7ca6bde8568f90dc08be54b5a2416db20bc6a1 000005b2: DUP10 000005b3: DUP4 000005b4: DUP8 000005b5: PUSH1 0x40 000005b7: MLOAD 000005b8: DUP1 000005b9: DUP5 000005ba: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000005d7: NOT 000005d8: AND 000005d9: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000005f6: NOT 000005f7: AND 000005f8: DUP2 000005f9: MSTORE 000005fa: PUSH1 0x20 000005fc: ADD 000005fd: DUP4 000005fe: DUP2 000005ff: MSTORE 00000600: PUSH1 0x20 00000602: ADD 00000603: DUP3 00000604: ISZERO 00000605: ISZERO 00000606: ISZERO 00000607: ISZERO 00000608: DUP2 00000609: MSTORE 0000060a: PUSH1 0x20 0000060c: ADD 0000060d: SWAP4 0000060e: POP 0000060f: POP 00000610: POP 00000611: POP 00000612: PUSH1 0x40 00000614: MLOAD 00000615: DUP1 00000616: SWAP2 00000617: SUB 00000618: SWAP1 00000619: LOG1 0000061a: JUMPDEST 0000061b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000063c: DUP3 0000063d: EQ 0000063e: ISZERO 0000063f: PUSH2 0x0647 00000642: JUMPI 00000643: PUSH1 0x00 00000645: DUP1 00000646: REVERT 00000647: JUMPDEST 00000648: PUSH1 0x20 0000064a: DUP8 0000064b: SUB 0000064c: DUP7 0000064d: ADD 0000064e: MLOAD 0000064f: SWAP1 00000650: POP 00000651: PUSH1 0x00 00000653: SWAP8 00000654: POP 00000655: JUMPDEST 00000656: DUP1 00000657: DUP9 00000658: LT 00000659: ISZERO 0000065a: PUSH2 0x06da 0000065d: JUMPI 0000065e: PUSH1 0x03 00000660: PUSH1 0x00 00000662: DUP10 00000663: DUP2 00000664: MSTORE 00000665: PUSH1 0x20 00000667: ADD 00000668: SWAP1 00000669: DUP2 0000066a: MSTORE 0000066b: PUSH1 0x20 0000066d: ADD 0000066e: PUSH1 0x00 00000670: KECCAK256 00000671: PUSH1 0x00 00000673: ADD 00000674: PUSH1 0x00 00000676: SWAP1 00000677: SSTORE 00000678: PUSH1 0x00 0000067a: PUSH1 0x03 0000067c: PUSH1 0x00 0000067e: DUP11 0000067f: DUP2 00000680: MSTORE 00000681: PUSH1 0x20 00000683: ADD 00000684: SWAP1 00000685: DUP2 00000686: MSTORE 00000687: PUSH1 0x20 00000689: ADD 0000068a: PUSH1 0x00 0000068c: KECCAK256 0000068d: PUSH1 0x01 0000068f: ADD 00000690: DUP1 00000691: SLOAD 00000692: PUSH1 0x01 00000694: DUP2 00000695: PUSH1 0x01 00000697: AND 00000698: ISZERO 00000699: PUSH2 0x0100 0000069c: MUL 0000069d: SUB 0000069e: AND 0000069f: PUSH1 0x02 000006a1: SWAP1 000006a2: DIV 000006a3: SWAP1 000006a4: POP 000006a5: GT 000006a6: ISZERO 000006a7: PUSH2 0x06cd 000006aa: JUMPI 000006ab: PUSH1 0x03 000006ad: PUSH1 0x00 000006af: DUP10 000006b0: DUP2 000006b1: MSTORE 000006b2: PUSH1 0x20 000006b4: ADD 000006b5: SWAP1 000006b6: DUP2 000006b7: MSTORE 000006b8: PUSH1 0x20 000006ba: ADD 000006bb: PUSH1 0x00 000006bd: KECCAK256 000006be: PUSH1 0x01 000006c0: ADD 000006c1: PUSH1 0x00 000006c3: PUSH2 0x06cc 000006c6: SWAP2 000006c7: SWAP1 000006c8: PUSH2 0x1701 000006cb: JUMP 000006cc: JUMPDEST 000006cd: JUMPDEST 000006ce: DUP8 000006cf: DUP1 000006d0: PUSH1 0x01 000006d2: ADD 000006d3: SWAP9 000006d4: POP 000006d5: POP 000006d6: PUSH2 0x0655 000006d9: JUMP 000006da: JUMPDEST 000006db: PUSH1 0x00 000006dd: DUP2 000006de: EQ 000006df: ISZERO 000006e0: ISZERO 000006e1: PUSH2 0x06ed 000006e4: JUMPI 000006e5: PUSH1 0x00 000006e7: PUSH1 0x04 000006e9: DUP2 000006ea: SWAP1 000006eb: SSTORE 000006ec: POP 000006ed: JUMPDEST 000006ee: DUP2 000006ef: PUSH1 0x20 000006f1: DUP8 000006f2: ADD 000006f3: RETURN 000006f4: JUMPDEST 000006f5: POP 000006f6: POP 000006f7: POP 000006f8: POP 000006f9: POP 000006fa: POP 000006fb: POP 000006fc: POP 000006fd: POP 000006fe: POP 000006ff: STOP 00000700: JUMPDEST 00000701: CALLVALUE 00000702: ISZERO 00000703: PUSH2 0x070b 00000706: JUMPI 00000707: PUSH1 0x00 00000709: DUP1 0000070a: REVERT 0000070b: JUMPDEST 0000070c: PUSH2 0x0713 0000070f: PUSH2 0x0e6b 00000712: JUMP 00000713: JUMPDEST 00000714: PUSH1 0x40 00000716: MLOAD 00000717: DUP1 00000718: DUP3 00000719: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000072e: AND 0000072f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000744: AND 00000745: DUP2 00000746: MSTORE 00000747: PUSH1 0x20 00000749: ADD 0000074a: SWAP2 0000074b: POP 0000074c: POP 0000074d: PUSH1 0x40 0000074f: MLOAD 00000750: DUP1 00000751: SWAP2 00000752: SUB 00000753: SWAP1 00000754: RETURN 00000755: JUMPDEST 00000756: CALLVALUE 00000757: ISZERO 00000758: PUSH2 0x0760 0000075b: JUMPI 0000075c: PUSH1 0x00 0000075e: DUP1 0000075f: REVERT 00000760: JUMPDEST 00000761: PUSH2 0x0768 00000764: PUSH2 0x0e91 00000767: JUMP 00000768: JUMPDEST 00000769: PUSH1 0x40 0000076b: MLOAD 0000076c: DUP1 0000076d: DUP3 0000076e: ISZERO 0000076f: ISZERO 00000770: ISZERO 00000771: ISZERO 00000772: DUP2 00000773: MSTORE 00000774: PUSH1 0x20 00000776: ADD 00000777: SWAP2 00000778: POP 00000779: POP 0000077a: PUSH1 0x40 0000077c: MLOAD 0000077d: DUP1 0000077e: SWAP2 0000077f: SUB 00000780: SWAP1 00000781: RETURN 00000782: JUMPDEST 00000783: CALLVALUE 00000784: ISZERO 00000785: PUSH2 0x078d 00000788: JUMPI 00000789: PUSH1 0x00 0000078b: DUP1 0000078c: REVERT 0000078d: JUMPDEST 0000078e: PUSH2 0x0795 00000791: PUSH2 0x0ea4 00000794: JUMP 00000795: JUMPDEST 00000796: STOP 00000797: JUMPDEST 00000798: CALLVALUE 00000799: ISZERO 0000079a: PUSH2 0x07a2 0000079d: JUMPI 0000079e: PUSH1 0x00 000007a0: DUP1 000007a1: REVERT 000007a2: JUMPDEST 000007a3: PUSH2 0x07aa 000007a6: PUSH2 0x1108 000007a9: JUMP 000007aa: JUMPDEST 000007ab: PUSH1 0x40 000007ad: MLOAD 000007ae: DUP1 000007af: DUP3 000007b0: ISZERO 000007b1: ISZERO 000007b2: ISZERO 000007b3: ISZERO 000007b4: DUP2 000007b5: MSTORE 000007b6: PUSH1 0x20 000007b8: ADD 000007b9: SWAP2 000007ba: POP 000007bb: POP 000007bc: PUSH1 0x40 000007be: MLOAD 000007bf: DUP1 000007c0: SWAP2 000007c1: SUB 000007c2: SWAP1 000007c3: RETURN 000007c4: JUMPDEST 000007c5: CALLVALUE 000007c6: ISZERO 000007c7: PUSH2 0x07cf 000007ca: JUMPI 000007cb: PUSH1 0x00 000007cd: DUP1 000007ce: REVERT 000007cf: JUMPDEST 000007d0: PUSH2 0x07e5 000007d3: PUSH1 0x04 000007d5: DUP1 000007d6: DUP1 000007d7: CALLDATALOAD 000007d8: SWAP1 000007d9: PUSH1 0x20 000007db: ADD 000007dc: SWAP1 000007dd: SWAP2 000007de: SWAP1 000007df: POP 000007e0: POP 000007e1: PUSH2 0x1115 000007e4: JUMP 000007e5: JUMPDEST 000007e6: PUSH1 0x40 000007e8: MLOAD 000007e9: DUP1 000007ea: DUP3 000007eb: DUP2 000007ec: MSTORE 000007ed: PUSH1 0x20 000007ef: ADD 000007f0: SWAP2 000007f1: POP 000007f2: POP 000007f3: PUSH1 0x40 000007f5: MLOAD 000007f6: DUP1 000007f7: SWAP2 000007f8: SUB 000007f9: SWAP1 000007fa: RETURN 000007fb: JUMPDEST 000007fc: CALLVALUE 000007fd: ISZERO 000007fe: PUSH2 0x0806 00000801: JUMPI 00000802: PUSH1 0x00 00000804: DUP1 00000805: REVERT 00000806: JUMPDEST 00000807: PUSH2 0x080e 0000080a: PUSH2 0x1147 0000080d: JUMP 0000080e: JUMPDEST 0000080f: PUSH1 0x40 00000811: MLOAD 00000812: DUP1 00000813: DUP3 00000814: DUP2 00000815: MSTORE 00000816: PUSH1 0x20 00000818: ADD 00000819: SWAP2 0000081a: POP 0000081b: POP 0000081c: PUSH1 0x40 0000081e: MLOAD 0000081f: DUP1 00000820: SWAP2 00000821: SUB 00000822: SWAP1 00000823: RETURN 00000824: JUMPDEST 00000825: PUSH1 0x00 00000827: DUP1 00000828: PUSH2 0x082f 0000082b: PUSH2 0x1749 0000082e: JUMP 0000082f: JUMPDEST 00000830: PUSH1 0x00 00000832: PUSH2 0x0839 00000835: PUSH2 0x176c 00000838: JUMP 00000839: JUMPDEST 0000083a: PUSH1 0x02 0000083c: PUSH1 0x00 0000083e: SWAP1 0000083f: SLOAD 00000840: SWAP1 00000841: PUSH2 0x0100 00000844: EXP 00000845: SWAP1 00000846: DIV 00000847: PUSH1 0xff 00000849: AND 0000084a: ISZERO 0000084b: ISZERO 0000084c: ISZERO 0000084d: PUSH2 0x0852 00000850: JUMPI 00000851: INVALID 00000852: JUMPDEST 00000853: PUSH1 0x20 00000855: CALLDATASIZE 00000856: SUB 00000857: CALLDATALOAD 00000858: SWAP5 00000859: POP 0000085a: PUSH1 0x00 0000085c: ISZERO 0000085d: PUSH2 0x08d8 00000860: JUMPI 00000861: PUSH32 0x9c61c4f73b30a85072e51ab389976d2caa40f4e51a1ab58a5d0e56a829162b0e 00000882: PUSH1 0x00 00000884: CALLDATASIZE 00000885: SWAP1 00000886: POP 00000887: DUP7 00000888: CALLER 00000889: PUSH1 0x40 0000088b: MLOAD 0000088c: DUP1 0000088d: DUP5 0000088e: DUP2 0000088f: MSTORE 00000890: PUSH1 0x20 00000892: ADD 00000893: DUP4 00000894: DUP2 00000895: MSTORE 00000896: PUSH1 0x20 00000898: ADD 00000899: DUP3 0000089a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008af: AND 000008b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008c5: AND 000008c6: DUP2 000008c7: MSTORE 000008c8: PUSH1 0x20 000008ca: ADD 000008cb: SWAP4 000008cc: POP 000008cd: POP 000008ce: POP 000008cf: POP 000008d0: PUSH1 0x40 000008d2: MLOAD 000008d3: DUP1 000008d4: SWAP2 000008d5: SUB 000008d6: SWAP1 000008d7: LOG1 000008d8: JUMPDEST 000008d9: PUSH1 0x40 000008db: MLOAD 000008dc: DUP6 000008dd: PUSH1 0x05 000008df: DUP2 000008e0: EQ 000008e1: PUSH2 0x08f3 000008e4: JUMPI 000008e5: CALLDATASIZE 000008e6: PUSH1 0x00 000008e8: DUP4 000008e9: CALLDATACOPY 000008ea: CALLDATASIZE 000008eb: DUP3 000008ec: KECCAK256 000008ed: SWAP6 000008ee: POP 000008ef: PUSH2 0x0910 000008f2: JUMP 000008f3: JUMPDEST 000008f4: PUSH1 0xa0 000008f6: CALLDATASIZE 000008f7: SUB 000008f8: DUP1 000008f9: PUSH1 0x00 000008fb: DUP5 000008fc: CALLDATACOPY 000008fd: PUSH1 0x80 000008ff: PUSH1 0x20 00000901: DUP3 00000902: ADD 00000903: DUP3 00000904: DUP6 00000905: ADD 00000906: CALLDATACOPY 00000907: PUSH1 0x20 00000909: CALLDATASIZE 0000090a: SUB 0000090b: DUP4 0000090c: KECCAK256 0000090d: SWAP7 0000090e: POP 0000090f: POP 00000910: JUMPDEST 00000911: POP 00000912: POP 00000913: PUSH1 0x01 00000915: PUSH1 0x00 00000917: DUP2 00000918: SLOAD 00000919: DUP2 0000091a: LT 0000091b: ISZERO 0000091c: ISZERO 0000091d: PUSH2 0x0922 00000920: JUMPI 00000921: INVALID 00000922: JUMPDEST 00000923: SWAP1 00000924: PUSH1 0x00 00000926: MSTORE 00000927: PUSH1 0x20 00000929: PUSH1 0x00 0000092b: KECCAK256 0000092c: SWAP1 0000092d: ADD 0000092e: PUSH1 0x00 00000930: SWAP1 00000931: SLOAD 00000932: SWAP1 00000933: PUSH2 0x0100 00000936: EXP 00000937: SWAP1 00000938: DIV 00000939: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000094e: AND 0000094f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000964: AND 00000965: CALLER 00000966: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000097b: AND 0000097c: EQ 0000097d: ISZERO 0000097e: ISZERO 0000097f: PUSH2 0x0c16 00000982: JUMPI 00000983: PUSH1 0x03 00000985: PUSH1 0x00 00000987: PUSH1 0x04 00000989: SLOAD 0000098a: DUP2 0000098b: MSTORE 0000098c: PUSH1 0x20 0000098e: ADD 0000098f: SWAP1 00000990: DUP2 00000991: MSTORE 00000992: PUSH1 0x20 00000994: ADD 00000995: PUSH1 0x00 00000997: KECCAK256 00000998: PUSH1 0x40 0000099a: DUP1 0000099b: MLOAD 0000099c: SWAP1 0000099d: DUP2 0000099e: ADD 0000099f: PUSH1 0x40 000009a1: MSTORE 000009a2: SWAP1 000009a3: DUP2 000009a4: PUSH1 0x00 000009a6: DUP3 000009a7: ADD 000009a8: SLOAD 000009a9: PUSH1 0x00 000009ab: NOT 000009ac: AND 000009ad: PUSH1 0x00 000009af: NOT 000009b0: AND 000009b1: DUP2 000009b2: MSTORE 000009b3: PUSH1 0x20 000009b5: ADD 000009b6: PUSH1 0x01 000009b8: DUP3 000009b9: ADD 000009ba: DUP1 000009bb: SLOAD 000009bc: PUSH1 0x01 000009be: DUP2 000009bf: PUSH1 0x01 000009c1: AND 000009c2: ISZERO 000009c3: PUSH2 0x0100 000009c6: MUL 000009c7: SUB 000009c8: AND 000009c9: PUSH1 0x02 000009cb: SWAP1 000009cc: DIV 000009cd: DUP1 000009ce: PUSH1 0x1f 000009d0: ADD 000009d1: PUSH1 0x20 000009d3: DUP1 000009d4: SWAP2 000009d5: DIV 000009d6: MUL 000009d7: PUSH1 0x20 000009d9: ADD 000009da: PUSH1 0x40 000009dc: MLOAD 000009dd: SWAP1 000009de: DUP2 000009df: ADD 000009e0: PUSH1 0x40 000009e2: MSTORE 000009e3: DUP1 000009e4: SWAP3 000009e5: SWAP2 000009e6: SWAP1 000009e7: DUP2 000009e8: DUP2 000009e9: MSTORE 000009ea: PUSH1 0x20 000009ec: ADD 000009ed: DUP3 000009ee: DUP1 000009ef: SLOAD 000009f0: PUSH1 0x01 000009f2: DUP2 000009f3: PUSH1 0x01 000009f5: AND 000009f6: ISZERO 000009f7: PUSH2 0x0100 000009fa: MUL 000009fb: SUB 000009fc: AND 000009fd: PUSH1 0x02 000009ff: SWAP1 00000a00: DIV 00000a01: DUP1 00000a02: ISZERO 00000a03: PUSH2 0x0a4d 00000a06: JUMPI 00000a07: DUP1 00000a08: PUSH1 0x1f 00000a0a: LT 00000a0b: PUSH2 0x0a22 00000a0e: JUMPI 00000a0f: PUSH2 0x0100 00000a12: DUP1 00000a13: DUP4 00000a14: SLOAD 00000a15: DIV 00000a16: MUL 00000a17: DUP4 00000a18: MSTORE 00000a19: SWAP2 00000a1a: PUSH1 0x20 00000a1c: ADD 00000a1d: SWAP2 00000a1e: PUSH2 0x0a4d 00000a21: JUMP 00000a22: JUMPDEST 00000a23: DUP3 00000a24: ADD 00000a25: SWAP2 00000a26: SWAP1 00000a27: PUSH1 0x00 00000a29: MSTORE 00000a2a: PUSH1 0x20 00000a2c: PUSH1 0x00 00000a2e: KECCAK256 00000a2f: SWAP1 00000a30: JUMPDEST 00000a31: DUP2 00000a32: SLOAD 00000a33: DUP2 00000a34: MSTORE 00000a35: SWAP1 00000a36: PUSH1 0x01 00000a38: ADD 00000a39: SWAP1 00000a3a: PUSH1 0x20 00000a3c: ADD 00000a3d: DUP1 00000a3e: DUP4 00000a3f: GT 00000a40: PUSH2 0x0a30 00000a43: JUMPI 00000a44: DUP3 00000a45: SWAP1 00000a46: SUB 00000a47: PUSH1 0x1f 00000a49: AND 00000a4a: DUP3 00000a4b: ADD 00000a4c: SWAP2 00000a4d: JUMPDEST 00000a4e: POP 00000a4f: POP 00000a50: POP 00000a51: POP 00000a52: POP 00000a53: DUP2 00000a54: MSTORE 00000a55: POP 00000a56: POP 00000a57: SWAP3 00000a58: POP 00000a59: PUSH1 0x00 00000a5b: ISZERO 00000a5c: PUSH2 0x0ac8 00000a5f: JUMPI 00000a60: PUSH32 0x8f3097c41458c1f3696067f1631054fc8eb3f068033c6e51458086ea33a6250b 00000a81: DUP6 00000a82: DUP5 00000a83: PUSH1 0x20 00000a85: ADD 00000a86: MLOAD 00000a87: MLOAD 00000a88: DUP6 00000a89: PUSH1 0x00 00000a8b: ADD 00000a8c: MLOAD 00000a8d: DUP8 00000a8e: PUSH1 0x40 00000a90: MLOAD 00000a91: DUP1 00000a92: DUP6 00000a93: DUP2 00000a94: MSTORE 00000a95: PUSH1 0x20 00000a97: ADD 00000a98: DUP5 00000a99: DUP2 00000a9a: MSTORE 00000a9b: PUSH1 0x20 00000a9d: ADD 00000a9e: DUP4 00000a9f: PUSH1 0x00 00000aa1: NOT 00000aa2: AND 00000aa3: PUSH1 0x00 00000aa5: NOT 00000aa6: AND 00000aa7: DUP2 00000aa8: MSTORE 00000aa9: PUSH1 0x20 00000aab: ADD 00000aac: DUP3 00000aad: PUSH1 0x00 00000aaf: NOT 00000ab0: AND 00000ab1: PUSH1 0x00 00000ab3: NOT 00000ab4: AND 00000ab5: DUP2 00000ab6: MSTORE 00000ab7: PUSH1 0x20 00000ab9: ADD 00000aba: SWAP5 00000abb: POP 00000abc: POP 00000abd: POP 00000abe: POP 00000abf: POP 00000ac0: PUSH1 0x40 00000ac2: MLOAD 00000ac3: DUP1 00000ac4: SWAP2 00000ac5: SUB 00000ac6: SWAP1 00000ac7: LOG1 00000ac8: JUMPDEST 00000ac9: DUP3 00000aca: PUSH1 0x00 00000acc: ADD 00000acd: MLOAD 00000ace: PUSH1 0x00 00000ad0: NOT 00000ad1: AND 00000ad2: DUP5 00000ad3: PUSH1 0x00 00000ad5: NOT 00000ad6: AND 00000ad7: EQ 00000ad8: ISZERO 00000ad9: ISZERO 00000ada: PUSH2 0x0afd 00000add: JUMPI 00000ade: PUSH1 0x01 00000ae0: PUSH1 0x02 00000ae2: PUSH1 0x00 00000ae4: PUSH2 0x0100 00000ae7: EXP 00000ae8: DUP2 00000ae9: SLOAD 00000aea: DUP2 00000aeb: PUSH1 0xff 00000aed: MUL 00000aee: NOT 00000aef: AND 00000af0: SWAP1 00000af1: DUP4 00000af2: ISZERO 00000af3: ISZERO 00000af4: MUL 00000af5: OR 00000af6: SWAP1 00000af7: SSTORE 00000af8: POP 00000af9: PUSH2 0x0cec 00000afc: JUMP 00000afd: JUMPDEST 00000afe: PUSH1 0x08 00000b00: SLOAD 00000b01: DUP6 00000b02: GT 00000b03: ISZERO 00000b04: ISZERO 00000b05: PUSH2 0x0b1e 00000b08: JUMPI 00000b09: PUSH1 0x01 00000b0b: PUSH1 0x04 00000b0d: PUSH1 0x00 00000b0f: DUP3 00000b10: DUP3 00000b11: SLOAD 00000b12: ADD 00000b13: SWAP3 00000b14: POP 00000b15: POP 00000b16: DUP2 00000b17: SWAP1 00000b18: SSTORE 00000b19: POP 00000b1a: PUSH2 0x0cec 00000b1d: JUMP 00000b1e: JUMPDEST 00000b1f: DUP3 00000b20: PUSH1 0x20 00000b22: ADD 00000b23: MLOAD 00000b24: MLOAD 00000b25: SWAP2 00000b26: POP 00000b27: DUP2 00000b28: PUSH1 0x40 00000b2a: MLOAD 00000b2b: DUP1 00000b2c: MSIZE 00000b2d: LT 00000b2e: PUSH2 0x0b34 00000b31: JUMPI 00000b32: POP 00000b33: MSIZE 00000b34: JUMPDEST 00000b35: SWAP1 00000b36: DUP1 00000b37: DUP3 00000b38: MSTORE 00000b39: DUP1 00000b3a: PUSH1 0x1f 00000b3c: ADD 00000b3d: PUSH1 0x1f 00000b3f: NOT 00000b40: AND 00000b41: PUSH1 0x20 00000b43: ADD 00000b44: DUP3 00000b45: ADD 00000b46: PUSH1 0x40 00000b48: MSTORE 00000b49: POP 00000b4a: SWAP1 00000b4b: POP 00000b4c: PUSH1 0x03 00000b4e: PUSH1 0x00 00000b50: PUSH1 0x04 00000b52: SLOAD 00000b53: DUP2 00000b54: MSTORE 00000b55: PUSH1 0x20 00000b57: ADD 00000b58: SWAP1 00000b59: DUP2 00000b5a: MSTORE 00000b5b: PUSH1 0x20 00000b5d: ADD 00000b5e: PUSH1 0x00 00000b60: KECCAK256 00000b61: PUSH1 0x01 00000b63: ADD 00000b64: DUP1 00000b65: SLOAD 00000b66: PUSH1 0x01 00000b68: DUP2 00000b69: PUSH1 0x01 00000b6b: AND 00000b6c: ISZERO 00000b6d: PUSH2 0x0100 00000b70: MUL 00000b71: SUB 00000b72: AND 00000b73: PUSH1 0x02 00000b75: SWAP1 00000b76: DIV 00000b77: DUP1 00000b78: PUSH1 0x1f 00000b7a: ADD 00000b7b: PUSH1 0x20 00000b7d: DUP1 00000b7e: SWAP2 00000b7f: DIV 00000b80: MUL 00000b81: PUSH1 0x20 00000b83: ADD 00000b84: PUSH1 0x40 00000b86: MLOAD 00000b87: SWAP1 00000b88: DUP2 00000b89: ADD 00000b8a: PUSH1 0x40 00000b8c: MSTORE 00000b8d: DUP1 00000b8e: SWAP3 00000b8f: SWAP2 00000b90: SWAP1 00000b91: DUP2 00000b92: DUP2 00000b93: MSTORE 00000b94: PUSH1 0x20 00000b96: ADD 00000b97: DUP3 00000b98: DUP1 00000b99: SLOAD 00000b9a: PUSH1 0x01 00000b9c: DUP2 00000b9d: PUSH1 0x01 00000b9f: AND 00000ba0: ISZERO 00000ba1: PUSH2 0x0100 00000ba4: MUL 00000ba5: SUB 00000ba6: AND 00000ba7: PUSH1 0x02 00000ba9: SWAP1 00000baa: DIV 00000bab: DUP1 00000bac: ISZERO 00000bad: PUSH2 0x0bf7 00000bb0: JUMPI 00000bb1: DUP1 00000bb2: PUSH1 0x1f 00000bb4: LT 00000bb5: PUSH2 0x0bcc 00000bb8: JUMPI 00000bb9: PUSH2 0x0100 00000bbc: DUP1 00000bbd: DUP4 00000bbe: SLOAD 00000bbf: DIV 00000bc0: MUL 00000bc1: DUP4 00000bc2: MSTORE 00000bc3: SWAP2 00000bc4: PUSH1 0x20 00000bc6: ADD 00000bc7: SWAP2 00000bc8: PUSH2 0x0bf7 00000bcb: JUMP 00000bcc: JUMPDEST 00000bcd: DUP3 00000bce: ADD 00000bcf: SWAP2 00000bd0: SWAP1 00000bd1: PUSH1 0x00 00000bd3: MSTORE 00000bd4: PUSH1 0x20 00000bd6: PUSH1 0x00 00000bd8: KECCAK256 00000bd9: SWAP1 00000bda: JUMPDEST 00000bdb: DUP2 00000bdc: SLOAD 00000bdd: DUP2 00000bde: MSTORE 00000bdf: SWAP1 00000be0: PUSH1 0x01 00000be2: ADD 00000be3: SWAP1 00000be4: PUSH1 0x20 00000be6: ADD 00000be7: DUP1 00000be8: DUP4 00000be9: GT 00000bea: PUSH2 0x0bda 00000bed: JUMPI 00000bee: DUP3 00000bef: SWAP1 00000bf0: SUB 00000bf1: PUSH1 0x1f 00000bf3: AND 00000bf4: DUP3 00000bf5: ADD 00000bf6: SWAP2 00000bf7: JUMPDEST 00000bf8: POP 00000bf9: POP 00000bfa: POP 00000bfb: POP 00000bfc: POP 00000bfd: SWAP1 00000bfe: POP 00000bff: PUSH1 0x01 00000c01: PUSH1 0x04 00000c03: PUSH1 0x00 00000c05: DUP3 00000c06: DUP3 00000c07: SLOAD 00000c08: ADD 00000c09: SWAP3 00000c0a: POP 00000c0b: POP 00000c0c: DUP2 00000c0d: SWAP1 00000c0e: SSTORE 00000c0f: POP 00000c10: DUP2 00000c11: PUSH1 0x20 00000c13: DUP3 00000c14: ADD 00000c15: RETURN 00000c16: JUMPDEST 00000c17: PUSH1 0x01 00000c19: PUSH1 0x04 00000c1b: PUSH1 0x00 00000c1d: DUP3 00000c1e: DUP3 00000c1f: SLOAD 00000c20: ADD 00000c21: SWAP3 00000c22: POP 00000c23: POP 00000c24: DUP2 00000c25: SWAP1 00000c26: SSTORE 00000c27: POP 00000c28: PUSH1 0x08 00000c2a: SLOAD 00000c2b: DUP6 00000c2c: GT 00000c2d: ISZERO 00000c2e: ISZERO 00000c2f: PUSH2 0x0c41 00000c32: JUMPI 00000c33: PUSH2 0x0c3c 00000c36: DUP6 00000c37: DUP6 00000c38: PUSH2 0x114d 00000c3b: JUMP 00000c3c: JUMPDEST 00000c3d: PUSH2 0x0c78 00000c40: JUMP 00000c41: JUMPDEST 00000c42: PUSH1 0x09 00000c44: SLOAD 00000c45: DUP6 00000c46: EQ 00000c47: ISZERO 00000c48: PUSH2 0x0c59 00000c4b: JUMPI 00000c4c: PUSH2 0x0c54 00000c4f: DUP5 00000c50: PUSH2 0x12c5 00000c53: JUMP 00000c54: JUMPDEST 00000c55: PUSH2 0x0c77 00000c58: JUMP 00000c59: JUMPDEST 00000c5a: PUSH1 0x0a 00000c5c: SLOAD 00000c5d: DUP6 00000c5e: EQ 00000c5f: ISZERO 00000c60: PUSH2 0x0c71 00000c63: JUMPI 00000c64: PUSH2 0x0c6c 00000c67: DUP5 00000c68: PUSH2 0x14ee 00000c6b: JUMP 00000c6c: JUMPDEST 00000c6d: PUSH2 0x0c76 00000c70: JUMP 00000c71: JUMPDEST 00000c72: PUSH1 0x00 00000c74: DUP1 00000c75: REVERT 00000c76: JUMPDEST 00000c77: JUMPDEST 00000c78: JUMPDEST 00000c79: PUSH1 0x00 00000c7b: ISZERO 00000c7c: PUSH2 0x0ceb 00000c7f: JUMPI 00000c80: PUSH32 0x5599e417ecee586b07540f3b0987febe7ea79344153ef0dbb949da09422b7d17 00000ca1: DUP6 00000ca2: CALLER 00000ca3: PUSH1 0x40 00000ca5: MLOAD 00000ca6: DUP1 00000ca7: DUP4 00000ca8: DUP2 00000ca9: MSTORE 00000caa: PUSH1 0x20 00000cac: ADD 00000cad: DUP3 00000cae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cc3: AND 00000cc4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cd9: AND 00000cda: DUP2 00000cdb: MSTORE 00000cdc: PUSH1 0x20 00000cde: ADD 00000cdf: SWAP3 00000ce0: POP 00000ce1: POP 00000ce2: POP 00000ce3: PUSH1 0x40 00000ce5: MLOAD 00000ce6: DUP1 00000ce7: SWAP2 00000ce8: SUB 00000ce9: SWAP1 00000cea: LOG1 00000ceb: JUMPDEST 00000cec: JUMPDEST 00000ced: POP 00000cee: POP 00000cef: POP 00000cf0: POP 00000cf1: POP 00000cf2: JUMP 00000cf3: JUMPDEST 00000cf4: PUSH1 0x00 00000cf6: DUP1 00000cf7: PUSH1 0x00 00000cf9: DUP1 00000cfa: PUSH1 0x00 00000cfc: PUSH1 0x03 00000cfe: DUP7 00000cff: MUL 00000d00: PUSH2 0x02bc 00000d03: ADD 00000d04: SWAP4 00000d05: POP 00000d06: PUSH2 0x0d11 00000d09: PUSH1 0x04 00000d0b: DUP8 00000d0c: ADD 00000d0d: PUSH2 0x1653 00000d10: JUMP 00000d11: JUMPDEST 00000d12: SWAP3 00000d13: POP 00000d14: PUSH1 0x00 00000d16: SWAP2 00000d17: POP 00000d18: DUP2 00000d19: DUP4 00000d1a: DUP6 00000d1b: ADD 00000d1c: ADD 00000d1d: SWAP1 00000d1e: POP 00000d1f: PUSH1 0x0a 00000d21: DUP2 00000d22: DUP2 00000d23: ISZERO 00000d24: ISZERO 00000d25: PUSH2 0x0d2a 00000d28: JUMPI 00000d29: INVALID 00000d2a: JUMPDEST 00000d2b: DIV 00000d2c: DUP2 00000d2d: ADD 00000d2e: SWAP5 00000d2f: POP 00000d30: POP 00000d31: POP 00000d32: POP 00000d33: POP 00000d34: SWAP2 00000d35: SWAP1 00000d36: POP 00000d37: JUMP 00000d38: JUMPDEST 00000d39: PUSH1 0x00 00000d3b: DUP1 00000d3c: PUSH1 0x00 00000d3e: DUP1 00000d3f: ISZERO 00000d40: PUSH2 0x0d70 00000d43: JUMPI 00000d44: PUSH32 0x671e4b60f98605f15058d6f300b1efba082e83a34251104d43ed9d481da2ac16 00000d65: PUSH1 0x40 00000d67: MLOAD 00000d68: PUSH1 0x40 00000d6a: MLOAD 00000d6b: DUP1 00000d6c: SWAP2 00000d6d: SUB 00000d6e: SWAP1 00000d6f: LOG1 00000d70: JUMPDEST 00000d71: PUSH1 0x06 00000d73: SLOAD 00000d74: ADDRESS 00000d75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d8a: AND 00000d8b: BALANCE 00000d8c: SUB 00000d8d: SWAP3 00000d8e: POP 00000d8f: PUSH1 0x0a 00000d91: DUP4 00000d92: DUP2 00000d93: ISZERO 00000d94: ISZERO 00000d95: PUSH2 0x0d9a 00000d98: JUMPI 00000d99: INVALID 00000d9a: JUMPDEST 00000d9b: DIV 00000d9c: PUSH1 0x06 00000d9e: SLOAD 00000d9f: ADD 00000da0: SWAP2 00000da1: POP 00000da2: DUP2 00000da3: ADDRESS 00000da4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000db9: AND 00000dba: BALANCE 00000dbb: SUB 00000dbc: SWAP1 00000dbd: POP 00000dbe: PUSH1 0x01 00000dc0: PUSH1 0x05 00000dc2: PUSH1 0x00 00000dc4: PUSH2 0x0100 00000dc7: EXP 00000dc8: DUP2 00000dc9: SLOAD 00000dca: DUP2 00000dcb: PUSH1 0xff 00000dcd: MUL 00000dce: NOT 00000dcf: AND 00000dd0: SWAP1 00000dd1: DUP4 00000dd2: ISZERO 00000dd3: ISZERO 00000dd4: MUL 00000dd5: OR 00000dd6: SWAP1 00000dd7: SSTORE 00000dd8: POP 00000dd9: CALLER 00000dda: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000def: AND 00000df0: PUSH2 0x08fc 00000df3: DUP4 00000df4: SWAP1 00000df5: DUP2 00000df6: ISZERO 00000df7: MUL 00000df8: SWAP1 00000df9: PUSH1 0x40 00000dfb: MLOAD 00000dfc: PUSH1 0x00 00000dfe: PUSH1 0x40 00000e00: MLOAD 00000e01: DUP1 00000e02: DUP4 00000e03: SUB 00000e04: DUP2 00000e05: DUP6 00000e06: DUP9 00000e07: DUP9 00000e08: CALL 00000e09: SWAP4 00000e0a: POP 00000e0b: POP 00000e0c: POP 00000e0d: POP 00000e0e: POP 00000e0f: PUSH1 0x07 00000e11: PUSH1 0x00 00000e13: SWAP1 00000e14: SLOAD 00000e15: SWAP1 00000e16: PUSH2 0x0100 00000e19: EXP 00000e1a: SWAP1 00000e1b: DIV 00000e1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e31: AND 00000e32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e47: AND 00000e48: PUSH2 0x08fc 00000e4b: DUP3 00000e4c: SWAP1 00000e4d: DUP2 00000e4e: ISZERO 00000e4f: MUL 00000e50: SWAP1 00000e51: PUSH1 0x40 00000e53: MLOAD 00000e54: PUSH1 0x00 00000e56: PUSH1 0x40 00000e58: MLOAD 00000e59: DUP1 00000e5a: DUP4 00000e5b: SUB 00000e5c: DUP2 00000e5d: DUP6 00000e5e: DUP9 00000e5f: DUP9 00000e60: CALL 00000e61: SWAP4 00000e62: POP 00000e63: POP 00000e64: POP 00000e65: POP 00000e66: POP 00000e67: POP 00000e68: POP 00000e69: POP 00000e6a: JUMP 00000e6b: JUMPDEST 00000e6c: PUSH1 0x07 00000e6e: PUSH1 0x00 00000e70: SWAP1 00000e71: SLOAD 00000e72: SWAP1 00000e73: PUSH2 0x0100 00000e76: EXP 00000e77: SWAP1 00000e78: DIV 00000e79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e8e: AND 00000e8f: DUP2 00000e90: JUMP 00000e91: JUMPDEST 00000e92: PUSH1 0x05 00000e94: PUSH1 0x00 00000e96: SWAP1 00000e97: SLOAD 00000e98: SWAP1 00000e99: PUSH2 0x0100 00000e9c: EXP 00000e9d: SWAP1 00000e9e: DIV 00000e9f: PUSH1 0xff 00000ea1: AND 00000ea2: DUP2 00000ea3: JUMP 00000ea4: JUMPDEST 00000ea5: PUSH1 0x00 00000ea7: DUP1 00000ea8: PUSH1 0x00 00000eaa: DUP1 00000eab: PUSH1 0x00 00000ead: DUP1 00000eae: PUSH1 0x00 00000eb0: DUP1 00000eb1: PUSH1 0x00 00000eb3: DUP1 00000eb4: PUSH1 0x00 00000eb6: DUP1 00000eb7: ADDRESS 00000eb8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ecd: AND 00000ece: CALLER 00000ecf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ee4: AND 00000ee5: EQ 00000ee6: ISZERO 00000ee7: ISZERO 00000ee8: PUSH2 0x0eed 00000eeb: JUMPI 00000eec: INVALID 00000eed: JUMPDEST 00000eee: PUSH2 0x0efd 00000ef1: PUSH1 0x04 00000ef3: PUSH1 0x00 00000ef5: CALLDATASIZE 00000ef6: SWAP1 00000ef7: POP 00000ef8: SUB 00000ef9: PUSH2 0x1115 00000efc: JUMP 00000efd: JUMPDEST 00000efe: SWAP12 00000eff: POP 00000f00: PUSH2 0x0100 00000f03: PUSH1 0x20 00000f05: ADD 00000f06: SWAP9 00000f07: POP 00000f08: PUSH1 0x40 00000f0a: MLOAD 00000f0b: SWAP8 00000f0c: POP 00000f0d: PUSH1 0x20 00000f0f: DUP10 00000f10: ADD 00000f11: DUP9 00000f12: ADD 00000f13: PUSH1 0x40 00000f15: MSTORE 00000f16: PUSH1 0x40 00000f18: MLOAD 00000f19: SWAP5 00000f1a: POP 00000f1b: PUSH1 0x04 00000f1d: CALLDATASIZE 00000f1e: SUB 00000f1f: PUSH1 0x04 00000f21: DUP7 00000f22: CALLDATACOPY 00000f23: PUSH1 0x04 00000f25: CALLDATASIZE 00000f26: SUB 00000f27: DUP6 00000f28: ADD 00000f29: PUSH1 0x40 00000f2b: MSTORE 00000f2c: PUSH1 0x00 00000f2e: SWAP4 00000f2f: POP 00000f30: PUSH1 0x00 00000f32: SWAP1 00000f33: POP 00000f34: JUMPDEST 00000f35: PUSH1 0x01 00000f37: DUP1 00000f38: SLOAD 00000f39: SWAP1 00000f3a: POP 00000f3b: DUP2 00000f3c: LT 00000f3d: ISZERO 00000f3e: PUSH2 0x10fc 00000f41: JUMPI 00000f42: GAS 00000f43: SWAP3 00000f44: POP 00000f45: PUSH1 0x00 00000f47: PUSH1 0x04 00000f49: SLOAD 00000f4a: EQ 00000f4b: ISZERO 00000f4c: ISZERO 00000f4d: PUSH2 0x0f59 00000f50: JUMPI 00000f51: PUSH1 0x00 00000f53: PUSH1 0x04 00000f55: DUP2 00000f56: SWAP1 00000f57: SSTORE 00000f58: POP 00000f59: JUMPDEST 00000f5a: PUSH2 0x0f6e 00000f5d: DUP2 00000f5e: DUP14 00000f5f: DUP8 00000f60: PUSH1 0x04 00000f62: PUSH1 0x00 00000f64: CALLDATASIZE 00000f65: SWAP1 00000f66: POP 00000f67: SUB 00000f68: DUP13 00000f69: DUP15 00000f6a: PUSH2 0x16a8 00000f6d: JUMP 00000f6e: JUMPDEST 00000f6f: SWAP7 00000f70: POP 00000f71: GAS 00000f72: DUP4 00000f73: SUB 00000f74: SWAP2 00000f75: POP 00000f76: DUP7 00000f77: ISZERO 00000f78: ISZERO 00000f79: PUSH2 0x0fd2 00000f7c: JUMPI 00000f7d: PUSH1 0x00 00000f7f: ISZERO 00000f80: PUSH2 0x0fc8 00000f83: JUMPI 00000f84: PUSH32 0x15483cb463201758095ab654257388135bdc742918c3f30c822f9f10cddbdd6f 00000fa5: PUSH1 0x00 00000fa7: DUP9 00000fa8: PUSH1 0x40 00000faa: MLOAD 00000fab: DUP1 00000fac: DUP4 00000fad: DUP2 00000fae: MSTORE 00000faf: PUSH1 0x20 00000fb1: ADD 00000fb2: DUP3 00000fb3: ISZERO 00000fb4: ISZERO 00000fb5: ISZERO 00000fb6: ISZERO 00000fb7: DUP2 00000fb8: MSTORE 00000fb9: PUSH1 0x20 00000fbb: ADD 00000fbc: SWAP3 00000fbd: POP 00000fbe: POP 00000fbf: POP 00000fc0: PUSH1 0x40 00000fc2: MLOAD 00000fc3: DUP1 00000fc4: SWAP2 00000fc5: SUB 00000fc6: SWAP1 00000fc7: LOG1 00000fc8: JUMPDEST 00000fc9: PUSH1 0x00 00000fcb: NOT 00000fcc: DUP9 00000fcd: MSTORE 00000fce: PUSH1 0x20 00000fd0: DUP9 00000fd1: RETURN 00000fd2: JUMPDEST 00000fd3: DUP2 00000fd4: DUP13 00000fd5: SUB 00000fd6: SWAP12 00000fd7: POP 00000fd8: DUP8 00000fd9: MLOAD 00000fda: SWAP6 00000fdb: POP 00000fdc: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000ffd: DUP7 00000ffe: EQ 00000fff: ISZERO 00001000: PUSH2 0x100e 00001003: JUMPI 00001004: DUP6 00001005: PUSH1 0x01 00001007: MUL 00001008: SWAP11 00001009: POP 0000100a: PUSH2 0x1026 0000100d: JUMP 0000100e: JUMPDEST 0000100f: PUSH2 0x0100 00001012: DUP7 00001013: GT 00001014: ISZERO 00001015: PUSH2 0x101d 00001018: JUMPI 00001019: PUSH1 0x00 0000101b: DUP1 0000101c: REVERT 0000101d: JUMPDEST 0000101e: DUP6 0000101f: PUSH1 0x20 00001021: DUP10 00001022: ADD 00001023: KECCAK256 00001024: SWAP11 00001025: POP 00001026: JUMPDEST 00001027: PUSH1 0x00 00001029: ISZERO 0000102a: PUSH2 0x1071 0000102d: JUMPI 0000102e: PUSH32 0x15483cb463201758095ab654257388135bdc742918c3f30c822f9f10cddbdd6f 0000104f: DUP7 00001050: DUP9 00001051: PUSH1 0x40 00001053: MLOAD 00001054: DUP1 00001055: DUP4 00001056: DUP2 00001057: MSTORE 00001058: PUSH1 0x20 0000105a: ADD 0000105b: DUP3 0000105c: ISZERO 0000105d: ISZERO 0000105e: ISZERO 0000105f: ISZERO 00001060: DUP2 00001061: MSTORE 00001062: PUSH1 0x20 00001064: ADD 00001065: SWAP3 00001066: POP 00001067: POP 00001068: POP 00001069: PUSH1 0x40 0000106b: MLOAD 0000106c: DUP1 0000106d: SWAP2 0000106e: SUB 0000106f: SWAP1 00001070: LOG1 00001071: JUMPDEST 00001072: PUSH1 0x00 00001074: DUP2 00001075: EQ 00001076: ISZERO 00001077: PUSH2 0x1087 0000107a: JUMPI 0000107b: PUSH1 0x04 0000107d: SLOAD 0000107e: SWAP4 0000107f: POP 00001080: DUP11 00001081: SWAP10 00001082: POP 00001083: PUSH2 0x10f1 00001086: JUMP 00001087: JUMPDEST 00001088: DUP10 00001089: PUSH1 0x00 0000108b: NOT 0000108c: AND 0000108d: DUP12 0000108e: PUSH1 0x00 00001090: NOT 00001091: AND 00001092: EQ 00001093: ISZERO 00001094: ISZERO 00001095: PUSH2 0x109d 00001098: JUMPI 00001099: PUSH1 0x00 0000109b: DUP1 0000109c: REVERT 0000109d: JUMPDEST 0000109e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000010bf: DUP7 000010c0: EQ 000010c1: ISZERO 000010c2: DUP1 000010c3: ISZERO 000010c4: PUSH2 0x10e6 000010c7: JUMPI 000010c8: POP 000010c9: PUSH1 0x02 000010cb: PUSH1 0x00 000010cd: SWAP1 000010ce: SLOAD 000010cf: SWAP1 000010d0: PUSH2 0x0100 000010d3: EXP 000010d4: SWAP1 000010d5: DIV 000010d6: PUSH1 0xff 000010d8: AND 000010d9: DUP1 000010da: PUSH2 0x10e5 000010dd: JUMPI 000010de: POP 000010df: DUP4 000010e0: PUSH1 0x04 000010e2: SLOAD 000010e3: EQ 000010e4: ISZERO 000010e5: JUMPDEST 000010e6: JUMPDEST 000010e7: ISZERO 000010e8: PUSH2 0x10f0 000010eb: JUMPI 000010ec: PUSH1 0x00 000010ee: DUP1 000010ef: REVERT 000010f0: JUMPDEST 000010f1: JUMPDEST 000010f2: DUP1 000010f3: PUSH1 0x01 000010f5: ADD 000010f6: SWAP1 000010f7: POP 000010f8: PUSH2 0x0f34 000010fb: JUMP 000010fc: JUMPDEST 000010fd: DUP4 000010fe: DUP10 000010ff: DUP10 00001100: ADD 00001101: MSTORE 00001102: PUSH1 0x20 00001104: DUP10 00001105: ADD 00001106: DUP9 00001107: RETURN 00001108: JUMPDEST 00001109: PUSH1 0x00 0000110b: DUP1 0000110c: PUSH1 0x04 0000110e: SLOAD 0000110f: EQ 00001110: ISZERO 00001111: SWAP1 00001112: POP 00001113: SWAP1 00001114: JUMP 00001115: JUMPDEST 00001116: PUSH1 0x00 00001118: DUP1 00001119: PUSH1 0x00 0000111b: DUP1 0000111c: PUSH2 0x1124 0000111f: DUP6 00001120: PUSH2 0x1653 00001123: JUMP 00001124: JUMPDEST 00001125: SWAP3 00001126: POP 00001127: GAS 00001128: SWAP2 00001129: POP 0000112a: PUSH1 0x0a 0000112c: DUP4 0000112d: DUP2 0000112e: ISZERO 0000112f: ISZERO 00001130: PUSH2 0x1135 00001133: JUMPI 00001134: INVALID 00001135: JUMPDEST 00001136: DIV 00001137: DUP4 00001138: DUP4 00001139: SUB 0000113a: SUB 0000113b: SWAP1 0000113c: POP 0000113d: DUP1 0000113e: SWAP4 0000113f: POP 00001140: POP 00001141: POP 00001142: POP 00001143: SWAP2 00001144: SWAP1 00001145: POP 00001146: JUMP 00001147: JUMPDEST 00001148: PUSH1 0x06 0000114a: SLOAD 0000114b: DUP2 0000114c: JUMP 0000114d: JUMPDEST 0000114e: PUSH1 0x00 00001150: PUSH1 0x20 00001152: DUP4 00001153: MUL 00001154: PUSH1 0x20 00001156: CALLDATASIZE 00001157: SUB 00001158: SUB 00001159: SWAP1 0000115a: POP 0000115b: PUSH1 0x40 0000115d: MLOAD 0000115e: DUP2 0000115f: PUSH1 0x00 00001161: DUP3 00001162: CALLDATACOPY 00001163: DUP2 00001164: DUP2 00001165: ADD 00001166: PUSH1 0x40 00001168: MSTORE 00001169: DUP4 0000116a: PUSH1 0x00 0000116c: DUP2 0000116d: EQ 0000116e: PUSH2 0x1196 00001171: JUMPI 00001172: PUSH1 0x01 00001174: DUP2 00001175: EQ 00001176: PUSH2 0x119e 00001179: JUMPI 0000117a: PUSH1 0x02 0000117c: DUP2 0000117d: EQ 0000117e: PUSH2 0x11a8 00001181: JUMPI 00001182: PUSH1 0x03 00001184: DUP2 00001185: EQ 00001186: PUSH2 0x11b7 00001189: JUMPI 0000118a: PUSH1 0x04 0000118c: DUP2 0000118d: EQ 0000118e: PUSH2 0x11cb 00001191: JUMPI 00001192: PUSH2 0x11e0 00001195: JUMP 00001196: JUMPDEST 00001197: DUP3 00001198: DUP3 00001199: LOG0 0000119a: PUSH2 0x11e0 0000119d: JUMP 0000119e: JUMPDEST 0000119f: DUP3 000011a0: CALLDATALOAD 000011a1: DUP4 000011a2: DUP4 000011a3: LOG1 000011a4: PUSH2 0x11e0 000011a7: JUMP 000011a8: JUMPDEST 000011a9: PUSH1 0x20 000011ab: DUP4 000011ac: ADD 000011ad: CALLDATALOAD 000011ae: DUP4 000011af: CALLDATALOAD 000011b0: DUP5 000011b1: DUP5 000011b2: LOG2 000011b3: PUSH2 0x11e0 000011b6: JUMP 000011b7: JUMPDEST 000011b8: PUSH1 0x40 000011ba: DUP4 000011bb: ADD 000011bc: CALLDATALOAD 000011bd: PUSH1 0x20 000011bf: DUP5 000011c0: ADD 000011c1: CALLDATALOAD 000011c2: DUP5 000011c3: CALLDATALOAD 000011c4: DUP6 000011c5: DUP6 000011c6: LOG3 000011c7: PUSH2 0x11e0 000011ca: JUMP 000011cb: JUMPDEST 000011cc: PUSH1 0x60 000011ce: DUP4 000011cf: ADD 000011d0: CALLDATALOAD 000011d1: PUSH1 0x40 000011d3: DUP5 000011d4: ADD 000011d5: CALLDATALOAD 000011d6: PUSH1 0x20 000011d8: DUP6 000011d9: ADD 000011da: CALLDATALOAD 000011db: DUP6 000011dc: CALLDATALOAD 000011dd: DUP7 000011de: DUP7 000011df: LOG4 000011e0: JUMPDEST 000011e1: POP 000011e2: POP 000011e3: PUSH1 0x00 000011e5: ISZERO 000011e6: PUSH2 0x1239 000011e9: JUMPI 000011ea: PUSH32 0xcfdbf81fe5165da75529b58a220c72d56f579ebcd7c93803af8737d8c6100259 0000120b: DUP3 0000120c: DUP5 0000120d: DUP4 0000120e: PUSH1 0x40 00001210: MLOAD 00001211: DUP1 00001212: DUP5 00001213: PUSH1 0x00 00001215: NOT 00001216: AND 00001217: PUSH1 0x00 00001219: NOT 0000121a: AND 0000121b: DUP2 0000121c: MSTORE 0000121d: PUSH1 0x20 0000121f: ADD 00001220: DUP4 00001221: DUP2 00001222: MSTORE 00001223: PUSH1 0x20 00001225: ADD 00001226: DUP3 00001227: DUP2 00001228: MSTORE 00001229: PUSH1 0x20 0000122b: ADD 0000122c: SWAP4 0000122d: POP 0000122e: POP 0000122f: POP 00001230: POP 00001231: PUSH1 0x40 00001233: MLOAD 00001234: DUP1 00001235: SWAP2 00001236: SUB 00001237: SWAP1 00001238: LOG1 00001239: JUMPDEST 0000123a: DUP2 0000123b: PUSH1 0x03 0000123d: PUSH1 0x00 0000123f: PUSH1 0x01 00001241: PUSH1 0x04 00001243: SLOAD 00001244: SUB 00001245: DUP2 00001246: MSTORE 00001247: PUSH1 0x20 00001249: ADD 0000124a: SWAP1 0000124b: DUP2 0000124c: MSTORE 0000124d: PUSH1 0x20 0000124f: ADD 00001250: PUSH1 0x00 00001252: KECCAK256 00001253: PUSH1 0x00 00001255: ADD 00001256: DUP2 00001257: PUSH1 0x00 00001259: NOT 0000125a: AND 0000125b: SWAP1 0000125c: SSTORE 0000125d: POP 0000125e: PUSH1 0x00 00001260: PUSH1 0x03 00001262: PUSH1 0x00 00001264: PUSH1 0x01 00001266: PUSH1 0x04 00001268: SLOAD 00001269: SUB 0000126a: DUP2 0000126b: MSTORE 0000126c: PUSH1 0x20 0000126e: ADD 0000126f: SWAP1 00001270: DUP2 00001271: MSTORE 00001272: PUSH1 0x20 00001274: ADD 00001275: PUSH1 0x00 00001277: KECCAK256 00001278: PUSH1 0x01 0000127a: ADD 0000127b: DUP1 0000127c: SLOAD 0000127d: PUSH1 0x01 0000127f: DUP2 00001280: PUSH1 0x01 00001282: AND 00001283: ISZERO 00001284: PUSH2 0x0100 00001287: MUL 00001288: SUB 00001289: AND 0000128a: PUSH1 0x02 0000128c: SWAP1 0000128d: DIV 0000128e: SWAP1 0000128f: POP 00001290: EQ 00001291: ISZERO 00001292: ISZERO 00001293: PUSH2 0x12c0 00001296: JUMPI 00001297: PUSH1 0x00 00001299: PUSH1 0x03 0000129b: PUSH1 0x00 0000129d: PUSH1 0x01 0000129f: PUSH1 0x04 000012a1: SLOAD 000012a2: SUB 000012a3: DUP2 000012a4: MSTORE 000012a5: PUSH1 0x20 000012a7: ADD 000012a8: SWAP1 000012a9: DUP2 000012aa: MSTORE 000012ab: PUSH1 0x20 000012ad: ADD 000012ae: PUSH1 0x00 000012b0: KECCAK256 000012b1: PUSH1 0x01 000012b3: ADD 000012b4: DUP2 000012b5: PUSH2 0x12be 000012b8: SWAP2 000012b9: SWAP1 000012ba: PUSH2 0x1780 000012bd: JUMP 000012be: JUMPDEST 000012bf: POP 000012c0: JUMPDEST 000012c1: POP 000012c2: POP 000012c3: POP 000012c4: JUMP 000012c5: JUMPDEST 000012c6: PUSH1 0x00 000012c8: DUP1 000012c9: PUSH1 0x00 000012cb: DUP1 000012cc: PUSH1 0x00 000012ce: DUP1 000012cf: PUSH2 0x12d6 000012d2: PUSH2 0x176c 000012d5: JUMP 000012d6: JUMPDEST 000012d7: PUSH1 0x00 000012d9: DUP1 000012da: CALLDATALOAD 000012db: SWAP8 000012dc: POP 000012dd: PUSH1 0x40 000012df: CALLDATASIZE 000012e0: SUB 000012e1: CALLDATALOAD 000012e2: SWAP4 000012e3: POP 000012e4: PUSH1 0x60 000012e6: CALLDATASIZE 000012e7: SUB 000012e8: CALLDATALOAD 000012e9: SWAP5 000012ea: POP 000012eb: PUSH1 0x80 000012ed: CALLDATASIZE 000012ee: SUB 000012ef: CALLDATALOAD 000012f0: SWAP7 000012f1: POP 000012f2: PUSH1 0xa0 000012f4: CALLDATASIZE 000012f5: SUB 000012f6: CALLDATALOAD 000012f7: SWAP6 000012f8: POP 000012f9: PUSH1 0xa0 000012fb: CALLDATASIZE 000012fc: SUB 000012fd: SWAP3 000012fe: POP 000012ff: PUSH1 0x00 00001301: DUP4 00001302: GT 00001303: ISZERO 00001304: PUSH2 0x130e 00001307: JUMPI 00001308: PUSH1 0x04 0000130a: DUP4 0000130b: SUB 0000130c: SWAP3 0000130d: POP 0000130e: JUMPDEST 0000130f: PUSH1 0x00 00001311: ISZERO 00001312: PUSH2 0x13df 00001315: JUMPI 00001316: PUSH32 0x6780da777add74432539c2b1809ccf5570ed687a1a8e58bb1671e758532c7e14 00001337: DUP9 00001338: DUP8 00001339: DUP8 0000133a: DUP11 0000133b: DUP9 0000133c: DUP9 0000133d: PUSH1 0x40 0000133f: MLOAD 00001340: DUP1 00001341: DUP8 00001342: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000135f: NOT 00001360: AND 00001361: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000137e: NOT 0000137f: AND 00001380: DUP2 00001381: MSTORE 00001382: PUSH1 0x20 00001384: ADD 00001385: DUP7 00001386: DUP2 00001387: MSTORE 00001388: PUSH1 0x20 0000138a: ADD 0000138b: DUP6 0000138c: DUP2 0000138d: MSTORE 0000138e: PUSH1 0x20 00001390: ADD 00001391: DUP5 00001392: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013a7: AND 000013a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013bd: AND 000013be: DUP2 000013bf: MSTORE 000013c0: PUSH1 0x20 000013c2: ADD 000013c3: DUP4 000013c4: DUP2 000013c5: MSTORE 000013c6: PUSH1 0x20 000013c8: ADD 000013c9: DUP3 000013ca: DUP2 000013cb: MSTORE 000013cc: PUSH1 0x20 000013ce: ADD 000013cf: SWAP7 000013d0: POP 000013d1: POP 000013d2: POP 000013d3: POP 000013d4: POP 000013d5: POP 000013d6: POP 000013d7: PUSH1 0x40 000013d9: MLOAD 000013da: DUP1 000013db: SWAP2 000013dc: SUB 000013dd: SWAP1 000013de: LOG1 000013df: JUMPDEST 000013e0: DUP9 000013e1: PUSH1 0x03 000013e3: PUSH1 0x00 000013e5: PUSH1 0x01 000013e7: PUSH1 0x04 000013e9: SLOAD 000013ea: SUB 000013eb: DUP2 000013ec: MSTORE 000013ed: PUSH1 0x20 000013ef: ADD 000013f0: SWAP1 000013f1: DUP2 000013f2: MSTORE 000013f3: PUSH1 0x20 000013f5: ADD 000013f6: PUSH1 0x00 000013f8: KECCAK256 000013f9: PUSH1 0x00 000013fb: ADD 000013fc: DUP2 000013fd: PUSH1 0x00 000013ff: NOT 00001400: AND 00001401: SWAP1 00001402: SSTORE 00001403: POP 00001404: PUSH1 0x20 00001406: DUP5 00001407: ADD 00001408: PUSH1 0x40 0000140a: MLOAD 0000140b: DUP1 0000140c: MSIZE 0000140d: LT 0000140e: PUSH2 0x1414 00001411: JUMPI 00001412: POP 00001413: MSIZE 00001414: JUMPDEST 00001415: SWAP1 00001416: DUP1 00001417: DUP3 00001418: MSTORE 00001419: DUP1 0000141a: PUSH1 0x1f 0000141c: ADD 0000141d: PUSH1 0x1f 0000141f: NOT 00001420: AND 00001421: PUSH1 0x20 00001423: ADD 00001424: DUP3 00001425: ADD 00001426: PUSH1 0x40 00001428: MSTORE 00001429: POP 0000142a: SWAP2 0000142b: POP 0000142c: PUSH1 0x40 0000142e: MLOAD 0000142f: DUP9 00001430: DUP2 00001431: MSTORE 00001432: DUP4 00001433: PUSH1 0x04 00001435: DUP1 00001436: DUP4 00001437: ADD 00001438: CALLDATACOPY 00001439: PUSH1 0x04 0000143b: DUP5 0000143c: ADD 0000143d: PUSH1 0x40 0000143f: MSTORE 00001440: DUP5 00001441: PUSH1 0x20 00001443: DUP5 00001444: ADD 00001445: PUSH1 0x04 00001447: DUP7 00001448: ADD 00001449: DUP4 0000144a: DUP10 0000144b: DUP13 0000144c: DUP13 0000144d: CALL 0000144e: SWAP2 0000144f: POP 00001450: DUP2 00001451: DUP6 00001452: PUSH1 0x20 00001454: DUP6 00001455: ADD 00001456: ADD 00001457: MSTORE 00001458: POP 00001459: DUP1 0000145a: ISZERO 0000145b: PUSH2 0x14e4 0000145e: JUMPI 0000145f: PUSH1 0x20 00001461: DUP5 00001462: ADD 00001463: PUSH1 0x40 00001465: MLOAD 00001466: DUP1 00001467: MSIZE 00001468: LT 00001469: PUSH2 0x146f 0000146c: JUMPI 0000146d: POP 0000146e: MSIZE 0000146f: JUMPDEST 00001470: SWAP1 00001471: DUP1 00001472: DUP3 00001473: MSTORE 00001474: DUP1 00001475: PUSH1 0x1f 00001477: ADD 00001478: PUSH1 0x1f 0000147a: NOT 0000147b: AND 0000147c: PUSH1 0x20 0000147e: ADD 0000147f: DUP3 00001480: ADD 00001481: PUSH1 0x40 00001483: MSTORE 00001484: POP 00001485: PUSH1 0x03 00001487: PUSH1 0x00 00001489: PUSH1 0x01 0000148b: PUSH1 0x04 0000148d: SLOAD 0000148e: SUB 0000148f: DUP2 00001490: MSTORE 00001491: PUSH1 0x20 00001493: ADD 00001494: SWAP1 00001495: DUP2 00001496: MSTORE 00001497: PUSH1 0x20 00001499: ADD 0000149a: PUSH1 0x00 0000149c: KECCAK256 0000149d: PUSH1 0x01 0000149f: ADD 000014a0: SWAP1 000014a1: DUP1 000014a2: MLOAD 000014a3: SWAP1 000014a4: PUSH1 0x20 000014a6: ADD 000014a7: SWAP1 000014a8: PUSH2 0x14b2 000014ab: SWAP3 000014ac: SWAP2 000014ad: SWAP1 000014ae: PUSH2 0x1849 000014b1: JUMP 000014b2: JUMPDEST 000014b3: POP 000014b4: DUP2 000014b5: PUSH1 0x03 000014b7: PUSH1 0x00 000014b9: PUSH1 0x01 000014bb: PUSH1 0x04 000014bd: SLOAD 000014be: SUB 000014bf: DUP2 000014c0: MSTORE 000014c1: PUSH1 0x20 000014c3: ADD 000014c4: SWAP1 000014c5: DUP2 000014c6: MSTORE 000014c7: PUSH1 0x20 000014c9: ADD 000014ca: PUSH1 0x00 000014cc: KECCAK256 000014cd: PUSH1 0x01 000014cf: ADD 000014d0: SWAP1 000014d1: DUP1 000014d2: MLOAD 000014d3: SWAP1 000014d4: PUSH1 0x20 000014d6: ADD 000014d7: SWAP1 000014d8: PUSH2 0x14e2 000014db: SWAP3 000014dc: SWAP2 000014dd: SWAP1 000014de: PUSH2 0x1849 000014e1: JUMP 000014e2: JUMPDEST 000014e3: POP 000014e4: JUMPDEST 000014e5: PUSH1 0x20 000014e7: DUP5 000014e8: ADD 000014e9: PUSH1 0x20 000014eb: DUP4 000014ec: ADD 000014ed: RETURN 000014ee: JUMPDEST 000014ef: PUSH1 0x00 000014f1: DUP1 000014f2: PUSH2 0x14f9 000014f5: PUSH2 0x176c 000014f8: JUMP 000014f9: JUMPDEST 000014fa: PUSH1 0x00 000014fc: CALLDATALOAD 000014fd: SWAP3 000014fe: POP 000014ff: DUP3 00001500: BALANCE 00001501: SWAP2 00001502: POP 00001503: PUSH1 0x00 00001505: ISZERO 00001506: PUSH2 0x1575 00001509: JUMPI 0000150a: PUSH32 0xd518fa8a425687b156c8eadf2ef21cd7ecf650a28bdefe3b1ada4c478ef64b33 0000152b: DUP4 0000152c: DUP4 0000152d: PUSH1 0x40 0000152f: MLOAD 00001530: DUP1 00001531: DUP4 00001532: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001547: AND 00001548: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000155d: AND 0000155e: DUP2 0000155f: MSTORE 00001560: PUSH1 0x20 00001562: ADD 00001563: DUP3 00001564: DUP2 00001565: MSTORE 00001566: PUSH1 0x20 00001568: ADD 00001569: SWAP3 0000156a: POP 0000156b: POP 0000156c: POP 0000156d: PUSH1 0x40 0000156f: MLOAD 00001570: DUP1 00001571: SWAP2 00001572: SUB 00001573: SWAP1 00001574: LOG1 00001575: JUMPDEST 00001576: DUP4 00001577: PUSH1 0x03 00001579: PUSH1 0x00 0000157b: PUSH1 0x01 0000157d: PUSH1 0x04 0000157f: SLOAD 00001580: SUB 00001581: DUP2 00001582: MSTORE 00001583: PUSH1 0x20 00001585: ADD 00001586: SWAP1 00001587: DUP2 00001588: MSTORE 00001589: PUSH1 0x20 0000158b: ADD 0000158c: PUSH1 0x00 0000158e: KECCAK256 0000158f: PUSH1 0x00 00001591: ADD 00001592: DUP2 00001593: PUSH1 0x00 00001595: NOT 00001596: AND 00001597: SWAP1 00001598: SSTORE 00001599: POP 0000159a: PUSH1 0x20 0000159c: PUSH1 0x40 0000159e: MLOAD 0000159f: DUP1 000015a0: MSIZE 000015a1: LT 000015a2: PUSH2 0x15a8 000015a5: JUMPI 000015a6: POP 000015a7: MSIZE 000015a8: JUMPDEST 000015a9: SWAP1 000015aa: DUP1 000015ab: DUP3 000015ac: MSTORE 000015ad: DUP1 000015ae: PUSH1 0x1f 000015b0: ADD 000015b1: PUSH1 0x1f 000015b3: NOT 000015b4: AND 000015b5: PUSH1 0x20 000015b7: ADD 000015b8: DUP3 000015b9: ADD 000015ba: PUSH1 0x40 000015bc: MSTORE 000015bd: POP 000015be: SWAP1 000015bf: POP 000015c0: DUP2 000015c1: PUSH1 0x20 000015c3: DUP3 000015c4: ADD 000015c5: MSTORE 000015c6: PUSH1 0x20 000015c8: PUSH1 0x40 000015ca: MLOAD 000015cb: DUP1 000015cc: MSIZE 000015cd: LT 000015ce: PUSH2 0x15d4 000015d1: JUMPI 000015d2: POP 000015d3: MSIZE 000015d4: JUMPDEST 000015d5: SWAP1 000015d6: DUP1 000015d7: DUP3 000015d8: MSTORE 000015d9: DUP1 000015da: PUSH1 0x1f 000015dc: ADD 000015dd: PUSH1 0x1f 000015df: NOT 000015e0: AND 000015e1: PUSH1 0x20 000015e3: ADD 000015e4: DUP3 000015e5: ADD 000015e6: PUSH1 0x40 000015e8: MSTORE 000015e9: POP 000015ea: PUSH1 0x03 000015ec: PUSH1 0x00 000015ee: PUSH1 0x01 000015f0: PUSH1 0x04 000015f2: SLOAD 000015f3: SUB 000015f4: DUP2 000015f5: MSTORE 000015f6: PUSH1 0x20 000015f8: ADD 000015f9: SWAP1 000015fa: DUP2 000015fb: MSTORE 000015fc: PUSH1 0x20 000015fe: ADD 000015ff: PUSH1 0x00 00001601: KECCAK256 00001602: PUSH1 0x01 00001604: ADD 00001605: SWAP1 00001606: DUP1 00001607: MLOAD 00001608: SWAP1 00001609: PUSH1 0x20 0000160b: ADD 0000160c: SWAP1 0000160d: PUSH2 0x1617 00001610: SWAP3 00001611: SWAP2 00001612: SWAP1 00001613: PUSH2 0x1849 00001616: JUMP 00001617: JUMPDEST 00001618: POP 00001619: DUP1 0000161a: PUSH1 0x03 0000161c: PUSH1 0x00 0000161e: PUSH1 0x01 00001620: PUSH1 0x04 00001622: SLOAD 00001623: SUB 00001624: DUP2 00001625: MSTORE 00001626: PUSH1 0x20 00001628: ADD 00001629: SWAP1 0000162a: DUP2 0000162b: MSTORE 0000162c: PUSH1 0x20 0000162e: ADD 0000162f: PUSH1 0x00 00001631: KECCAK256 00001632: PUSH1 0x01 00001634: ADD 00001635: SWAP1 00001636: DUP1 00001637: MLOAD 00001638: SWAP1 00001639: PUSH1 0x20 0000163b: ADD 0000163c: SWAP1 0000163d: PUSH2 0x1647 00001640: SWAP3 00001641: SWAP2 00001642: SWAP1 00001643: PUSH2 0x1849 00001646: JUMP 00001647: JUMPDEST 00001648: POP 00001649: PUSH1 0x40 0000164b: MLOAD 0000164c: DUP3 0000164d: DUP2 0000164e: MSTORE 0000164f: PUSH1 0x20 00001651: DUP2 00001652: RETURN 00001653: JUMPDEST 00001654: PUSH1 0x00 00001656: DUP1 00001657: PUSH1 0x00 00001659: DUP1 0000165a: PUSH1 0x00 0000165c: DUP1 0000165d: PUSH1 0x00 0000165f: PUSH1 0x01 00001661: DUP1 00001662: SLOAD 00001663: SWAP1 00001664: POP 00001665: SWAP6 00001666: POP 00001667: PUSH1 0x03 00001669: DUP9 0000166a: MUL 0000166b: SWAP5 0000166c: POP 0000166d: PUSH2 0x1388 00001670: PUSH1 0xc8 00001672: PUSH1 0x0b 00001674: SLOAD 00001675: ADD 00001676: ADD 00001677: SWAP4 00001678: POP 00001679: PUSH2 0x0190 0000167c: PUSH1 0x0b 0000167e: SLOAD 0000167f: ADD 00001680: SWAP3 00001681: POP 00001682: PUSH1 0x03 00001684: PUSH1 0x40 00001686: PUSH2 0x0100 00001689: ADD 0000168a: MUL 0000168b: SWAP2 0000168c: POP 0000168d: DUP2 0000168e: DUP4 0000168f: PUSH1 0x01 00001691: DUP9 00001692: SUB 00001693: MUL 00001694: DUP6 00001695: DUP8 00001696: ADD 00001697: ADD 00001698: ADD 00001699: SWAP1 0000169a: POP 0000169b: DUP1 0000169c: SWAP7 0000169d: POP 0000169e: POP 0000169f: POP 000016a0: POP 000016a1: POP 000016a2: POP 000016a3: POP 000016a4: SWAP2 000016a5: SWAP1 000016a6: POP 000016a7: JUMP 000016a8: JUMPDEST 000016a9: PUSH1 0x00 000016ab: DUP1 000016ac: PUSH1 0x01 000016ae: DUP9 000016af: DUP2 000016b0: SLOAD 000016b1: DUP2 000016b2: LT 000016b3: ISZERO 000016b4: ISZERO 000016b5: PUSH2 0x16ba 000016b8: JUMPI 000016b9: INVALID 000016ba: JUMPDEST 000016bb: SWAP1 000016bc: PUSH1 0x00 000016be: MSTORE 000016bf: PUSH1 0x20 000016c1: PUSH1 0x00 000016c3: KECCAK256 000016c4: SWAP1 000016c5: ADD 000016c6: PUSH1 0x00 000016c8: SWAP1 000016c9: SLOAD 000016ca: SWAP1 000016cb: PUSH2 0x0100 000016ce: EXP 000016cf: SWAP1 000016d0: DIV 000016d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016e6: AND 000016e7: SWAP1 000016e8: POP 000016e9: DUP3 000016ea: DUP5 000016eb: DUP7 000016ec: DUP9 000016ed: PUSH1 0x00 000016ef: DUP6 000016f0: DUP13 000016f1: CALL 000016f2: SWAP2 000016f3: POP 000016f4: DUP2 000016f5: SWAP2 000016f6: POP 000016f7: POP 000016f8: SWAP7 000016f9: SWAP6 000016fa: POP 000016fb: POP 000016fc: POP 000016fd: POP 000016fe: POP 000016ff: POP 00001700: JUMP 00001701: JUMPDEST 00001702: POP 00001703: DUP1 00001704: SLOAD 00001705: PUSH1 0x01 00001707: DUP2 00001708: PUSH1 0x01 0000170a: AND 0000170b: ISZERO 0000170c: PUSH2 0x0100 0000170f: MUL 00001710: SUB 00001711: AND 00001712: PUSH1 0x02 00001714: SWAP1 00001715: DIV 00001716: PUSH1 0x00 00001718: DUP3 00001719: SSTORE 0000171a: DUP1 0000171b: PUSH1 0x1f 0000171d: LT 0000171e: PUSH2 0x1727 00001721: JUMPI 00001722: POP 00001723: PUSH2 0x1746 00001726: JUMP 00001727: JUMPDEST 00001728: PUSH1 0x1f 0000172a: ADD 0000172b: PUSH1 0x20 0000172d: SWAP1 0000172e: DIV 0000172f: SWAP1 00001730: PUSH1 0x00 00001732: MSTORE 00001733: PUSH1 0x20 00001735: PUSH1 0x00 00001737: KECCAK256 00001738: SWAP1 00001739: DUP2 0000173a: ADD 0000173b: SWAP1 0000173c: PUSH2 0x1745 0000173f: SWAP2 00001740: SWAP1 00001741: PUSH2 0x18c9 00001744: JUMP 00001745: JUMPDEST 00001746: JUMPDEST 00001747: POP 00001748: JUMP 00001749: JUMPDEST 0000174a: PUSH1 0x40 0000174c: DUP1 0000174d: MLOAD 0000174e: SWAP1 0000174f: DUP2 00001750: ADD 00001751: PUSH1 0x40 00001753: MSTORE 00001754: DUP1 00001755: PUSH1 0x00 00001757: DUP1 00001758: NOT 00001759: AND 0000175a: DUP2 0000175b: MSTORE 0000175c: PUSH1 0x20 0000175e: ADD 0000175f: PUSH2 0x1766 00001762: PUSH2 0x18ee 00001765: JUMP 00001766: JUMPDEST 00001767: DUP2 00001768: MSTORE 00001769: POP 0000176a: SWAP1 0000176b: JUMP 0000176c: JUMPDEST 0000176d: PUSH1 0x20 0000176f: PUSH1 0x40 00001771: MLOAD 00001772: SWAP1 00001773: DUP2 00001774: ADD 00001775: PUSH1 0x40 00001777: MSTORE 00001778: DUP1 00001779: PUSH1 0x00 0000177b: DUP2 0000177c: MSTORE 0000177d: POP 0000177e: SWAP1 0000177f: JUMP 00001780: JUMPDEST 00001781: DUP2 00001782: SLOAD 00001783: PUSH1 0x01 00001785: DUP2 00001786: PUSH1 0x01 00001788: AND 00001789: ISZERO 0000178a: PUSH2 0x0100 0000178d: MUL 0000178e: SUB 0000178f: AND 00001790: PUSH1 0x02 00001792: SWAP1 00001793: DIV 00001794: DUP3 00001795: SLOAD 00001796: DUP2 00001797: PUSH1 0x1f 00001799: LT 0000179a: PUSH2 0x17db 0000179d: JUMPI 0000179e: DUP3 0000179f: PUSH1 0x1f 000017a1: LT 000017a2: PUSH2 0x17c0 000017a5: JUMPI 000017a6: JUMPDEST 000017a7: DUP3 000017a8: PUSH1 0x08 000017aa: MUL 000017ab: PUSH2 0x0100 000017ae: SUB 000017af: PUSH1 0x02 000017b1: EXP 000017b2: DUP1 000017b3: SWAP2 000017b4: DIV 000017b5: MUL 000017b6: DUP3 000017b7: DUP1 000017b8: ADD 000017b9: OR 000017ba: DUP4 000017bb: SSTORE 000017bc: PUSH2 0x1844 000017bf: JUMP 000017c0: JUMPDEST 000017c1: PUSH1 0xff 000017c3: NOT 000017c4: AND 000017c5: DUP4 000017c6: PUSH1 0x00 000017c8: MSTORE 000017c9: PUSH1 0x20 000017cb: PUSH1 0x00 000017cd: KECCAK256 000017ce: SSTORE 000017cf: DUP2 000017d0: DUP1 000017d1: ADD 000017d2: PUSH1 0x01 000017d4: ADD 000017d5: DUP4 000017d6: SSTORE 000017d7: PUSH2 0x1844 000017da: JUMP 000017db: JUMPDEST 000017dc: DUP3 000017dd: PUSH1 0x1f 000017df: LT 000017e0: PUSH2 0x180b 000017e3: JUMPI 000017e4: POP 000017e5: DUP3 000017e6: PUSH1 0x00 000017e8: MSTORE 000017e9: PUSH1 0x20 000017eb: PUSH1 0x00 000017ed: KECCAK256 000017ee: DUP1 000017ef: SLOAD 000017f0: SWAP1 000017f1: DUP3 000017f2: PUSH1 0x1f 000017f4: ADD 000017f5: PUSH1 0x20 000017f7: SWAP1 000017f8: DIV 000017f9: DUP2 000017fa: ADD 000017fb: SWAP1 000017fc: PUSH2 0x1805 000017ff: SWAP2 00001800: SWAP1 00001801: PUSH2 0x18c9 00001804: JUMP 00001805: JUMPDEST 00001806: POP 00001807: PUSH2 0x17a6 0000180a: JUMP 0000180b: JUMPDEST 0000180c: POP 0000180d: DUP2 0000180e: DUP1 0000180f: ADD 00001810: PUSH1 0x01 00001812: ADD 00001813: DUP4 00001814: SSTORE 00001815: DUP2 00001816: DUP2 00001817: ISZERO 00001818: GT 00001819: PUSH2 0x1844 0000181c: JUMPI 0000181d: PUSH1 0x1f 0000181f: ADD 00001820: PUSH1 0x20 00001822: SWAP1 00001823: DIV 00001824: DUP2 00001825: PUSH1 0x1f 00001827: ADD 00001828: PUSH1 0x20 0000182a: SWAP1 0000182b: DIV 0000182c: DUP4 0000182d: PUSH1 0x00 0000182f: MSTORE 00001830: PUSH1 0x20 00001832: PUSH1 0x00 00001834: KECCAK256 00001835: SWAP2 00001836: DUP3 00001837: ADD 00001838: SWAP2 00001839: ADD 0000183a: PUSH2 0x1843 0000183d: SWAP2 0000183e: SWAP1 0000183f: PUSH2 0x18c9 00001842: JUMP 00001843: JUMPDEST 00001844: JUMPDEST 00001845: POP 00001846: POP 00001847: POP 00001848: JUMP 00001849: JUMPDEST 0000184a: DUP3 0000184b: DUP1 0000184c: SLOAD 0000184d: PUSH1 0x01 0000184f: DUP2 00001850: PUSH1 0x01 00001852: AND 00001853: ISZERO 00001854: PUSH2 0x0100 00001857: MUL 00001858: SUB 00001859: AND 0000185a: PUSH1 0x02 0000185c: SWAP1 0000185d: DIV 0000185e: SWAP1 0000185f: PUSH1 0x00 00001861: MSTORE 00001862: PUSH1 0x20 00001864: PUSH1 0x00 00001866: KECCAK256 00001867: SWAP1 00001868: PUSH1 0x1f 0000186a: ADD 0000186b: PUSH1 0x20 0000186d: SWAP1 0000186e: DIV 0000186f: DUP2 00001870: ADD 00001871: SWAP3 00001872: DUP3 00001873: PUSH1 0x1f 00001875: LT 00001876: PUSH2 0x188a 00001879: JUMPI 0000187a: DUP1 0000187b: MLOAD 0000187c: PUSH1 0xff 0000187e: NOT 0000187f: AND 00001880: DUP4 00001881: DUP1 00001882: ADD 00001883: OR 00001884: DUP6 00001885: SSTORE 00001886: PUSH2 0x18b8 00001889: JUMP 0000188a: JUMPDEST 0000188b: DUP3 0000188c: DUP1 0000188d: ADD 0000188e: PUSH1 0x01 00001890: ADD 00001891: DUP6 00001892: SSTORE 00001893: DUP3 00001894: ISZERO 00001895: PUSH2 0x18b8 00001898: JUMPI 00001899: SWAP2 0000189a: DUP3 0000189b: ADD 0000189c: JUMPDEST 0000189d: DUP3 0000189e: DUP2 0000189f: GT 000018a0: ISZERO 000018a1: PUSH2 0x18b7 000018a4: JUMPI 000018a5: DUP3 000018a6: MLOAD 000018a7: DUP3 000018a8: SSTORE 000018a9: SWAP2 000018aa: PUSH1 0x20 000018ac: ADD 000018ad: SWAP2 000018ae: SWAP1 000018af: PUSH1 0x01 000018b1: ADD 000018b2: SWAP1 000018b3: PUSH2 0x189c 000018b6: JUMP 000018b7: JUMPDEST 000018b8: JUMPDEST 000018b9: POP 000018ba: SWAP1 000018bb: POP 000018bc: PUSH2 0x18c5 000018bf: SWAP2 000018c0: SWAP1 000018c1: PUSH2 0x18c9 000018c4: JUMP 000018c5: JUMPDEST 000018c6: POP 000018c7: SWAP1 000018c8: JUMP 000018c9: JUMPDEST 000018ca: PUSH2 0x18eb 000018cd: SWAP2 000018ce: SWAP1 000018cf: JUMPDEST 000018d0: DUP1 000018d1: DUP3 000018d2: GT 000018d3: ISZERO 000018d4: PUSH2 0x18e7 000018d7: JUMPI 000018d8: PUSH1 0x00 000018da: DUP2 000018db: PUSH1 0x00 000018dd: SWAP1 000018de: SSTORE 000018df: POP 000018e0: PUSH1 0x01 000018e2: ADD 000018e3: PUSH2 0x18cf 000018e6: JUMP 000018e7: JUMPDEST 000018e8: POP 000018e9: SWAP1 000018ea: JUMP 000018eb: JUMPDEST 000018ec: SWAP1 000018ed: JUMP 000018ee: JUMPDEST 000018ef: PUSH1 0x20 000018f1: PUSH1 0x40 000018f3: MLOAD 000018f4: SWAP1 000018f5: DUP2 000018f6: ADD 000018f7: PUSH1 0x40 000018f9: MSTORE 000018fa: DUP1 000018fb: PUSH1 0x00 000018fd: DUP2 000018fe: MSTORE 000018ff: POP 00001900: SWAP1 00001901: JUMP 00001902: STOP 00001903: LOG1 00001904: PUSH6 0x627a7a723058 0000190b: KECCAK256 0000190c: DUP16 0000190d: UNKNOWN(0xDC) 0000190e: UNKNOWN(0xE2) 0000190f: SHL 00001910: PC 00001911: UNKNOWN(0xCE) 00001912: SWAP9 00001913: UNKNOWN(0xB8) 00001914: PUSH1 0x42 00001916: SWAP3 00001917: UNKNOWN(0x0D) 00001918: GASLIMIT 00001919: PUSH1 0xd0 0000191b: LOG2 0000191c: MCOPY 0000191d: STOP 0000191e: BALANCE 0000191f: UNKNOWN(0xB1) 00001920: MULMOD 00001921: ADDMOD 00001922: UNKNOWN(0xC2) 00001923: REVERT 00001924: DUP7 00001925: DIFFICULTY 00001926: UNKNOWN(0x21) 00001927: MULMOD 00001928: UNKNOWN(0x4C) 00001929: MULMOD 0000192a: PC 0000192b: PUSH12
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x6d682c9fbe167bf2beeb82048b80795f103e5f8095b3d61081d4ce5e33d42d2d
call_targets:
0x1ddc76e6809afa6d990f48ff7cf8dd1afa13c2fb
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6d682c9fbe167bf2beeb82048b80795f103e5f8095b3d61081d4ce5e33d42d2d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1ddc76e6809afa6d990f48ff7cf8dd1afa13c2fb"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x02d05d3f",
"selector": "0x02d05d3f",
"calldata_variants": [
"0x02d05d3f",
"0x02d05d3f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x40dda742",
"selector": "0x40dda742",
"calldata_variants": [
"0x40dda742",
"0x40dda7420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7fc611f0",
"selector": "0x7fc611f0",
"calldata_variants": [
"0x7fc611f0",
"0x7fc611f00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x878bfaa3",
"selector": "0x878bfaa3",
"calldata_variants": [
"0x878bfaa3",
"0x878bfaa30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9f099310",
"selector": "0x9f099310",
"calldata_variants": [
"0x9f099310",
"0x9f0993100000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb3752fd0",
"selector": "0xb3752fd0",
"calldata_variants": [
"0xb3752fd0",
"0xb3752fd00000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1244,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3592,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3680,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [
{
"pc": 303,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2405,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3790,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 5
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x6d682c9fbe167bf2beeb82048b80795f103e5f8095b3d61081d4ce5e33d42d2d
call_targets:
0x1ddc76e6809afa6d990f48ff7cf8dd1afa13c2fb
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6d682c9fbe167bf2beeb82048b80795f103e5f8095b3d61081d4ce5e33d42d2d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1ddc76e6809afa6d990f48ff7cf8dd1afa13c2fb"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x02d05d3f",
"selector": "0x02d05d3f",
"calldata_variants": [
"0x02d05d3f",
"0x02d05d3f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x40dda742",
"selector": "0x40dda742",
"calldata_variants": [
"0x40dda742",
"0x40dda7420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7fc611f0",
"selector": "0x7fc611f0",
"calldata_variants": [
"0x7fc611f0",
"0x7fc611f00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x878bfaa3",
"selector": "0x878bfaa3",
"calldata_variants": [
"0x878bfaa3",
"0x878bfaa30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9f099310",
"selector": "0x9f099310",
"calldata_variants": [
"0x9f099310",
"0x9f0993100000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb3752fd0",
"selector": "0xb3752fd0",
"calldata_variants": [
"0xb3752fd0",
"0xb3752fd00000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1244,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3592,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3680,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": [
{
"pc": 303,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2405,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3790,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|