019b477e-d67b-7383-9ca1-37a44fa04e57
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 |
|---|---|---|---|---|
| 28713 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 28714 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 71848 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 71849 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 71850 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 71851 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0091 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0xce5980d6 00000018: GT 00000019: PUSH2 0x0058 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0xce5980d6 00000023: EQ 00000024: PUSH2 0x0358 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0xebc74fb0 0000002e: EQ 0000002f: PUSH2 0x0380 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0xf2fde38b 00000039: EQ 0000003a: PUSH2 0x039c 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0xf6ee3c40 00000044: EQ 00000045: PUSH2 0x03c4 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0xf8df605d 0000004f: EQ 00000050: PUSH2 0x03ec 00000053: JUMPI 00000054: PUSH2 0x0098 00000057: JUMP 00000058: JUMPDEST 00000059: DUP1 0000005a: PUSH1 0xb1 0000005c: EQ 0000005d: PUSH2 0x027e 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x01ffc9a7 00000067: EQ 00000068: PUSH2 0x029a 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x19eb0759 00000072: EQ 00000073: PUSH2 0x02d6 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x38ed1739 0000007d: EQ 0000007e: PUSH2 0x0312 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0xb06341b4 00000088: EQ 00000089: PUSH2 0x0342 0000008c: JUMPI 0000008d: PUSH2 0x0098 00000090: JUMP 00000091: JUMPDEST 00000092: CALLDATASIZE 00000093: PUSH2 0x0098 00000096: JUMPI 00000097: STOP 00000098: JUMPDEST 00000099: PUSH1 0x02 0000009b: PUSH0 0000009c: SLOAD 0000009d: EQ 0000009e: PUSH2 0x00dc 000000a1: JUMPI 000000a2: PUSH1 0x40 000000a4: MLOAD 000000a5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000000c6: DUP2 000000c7: MSTORE 000000c8: PUSH1 0x04 000000ca: ADD 000000cb: PUSH2 0x00d3 000000ce: SWAP1 000000cf: PUSH2 0x1854 000000d2: JUMP 000000d3: JUMPDEST 000000d4: PUSH1 0x40 000000d6: MLOAD 000000d7: DUP1 000000d8: SWAP2 000000d9: SUB 000000da: SWAP1 000000db: REVERT 000000dc: JUMPDEST 000000dd: PUSH20 0x9ecee66868cbbb2c0b45fcf77a16e4fb965eb710 000000f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000107: AND 00000108: ORIGIN 00000109: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000011e: AND 0000011f: EQ 00000120: DUP1 00000121: PUSH2 0x0169 00000124: JUMPI 00000125: POP 00000126: PUSH20 0x146c6432a5cf6c3126501def6c8cd0c3172497d7 0000013b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000150: AND 00000151: ORIGIN 00000152: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000167: AND 00000168: EQ 00000169: JUMPDEST 0000016a: PUSH2 0x01a8 0000016d: JUMPI 0000016e: PUSH1 0x40 00000170: MLOAD 00000171: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000192: DUP2 00000193: MSTORE 00000194: PUSH1 0x04 00000196: ADD 00000197: PUSH2 0x019f 0000019a: SWAP1 0000019b: PUSH2 0x18bc 0000019e: JUMP 0000019f: JUMPDEST 000001a0: PUSH1 0x40 000001a2: MLOAD 000001a3: DUP1 000001a4: SWAP2 000001a5: SUB 000001a6: SWAP1 000001a7: REVERT 000001a8: JUMPDEST 000001a9: PUSH0 000001aa: PUSH1 0x02 000001ac: PUSH0 000001ad: DUP1 000001ae: CALLDATALOAD 000001af: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 000001d0: AND 000001d1: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000001ee: NOT 000001ef: AND 000001f0: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000020d: NOT 0000020e: AND 0000020f: DUP2 00000210: MSTORE 00000211: PUSH1 0x20 00000213: ADD 00000214: SWAP1 00000215: DUP2 00000216: MSTORE 00000217: PUSH1 0x20 00000219: ADD 0000021a: PUSH0 0000021b: KECCAK256 0000021c: PUSH0 0000021d: SWAP1 0000021e: SLOAD 0000021f: SWAP1 00000220: PUSH2 0x0100 00000223: EXP 00000224: SWAP1 00000225: DIV 00000226: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000023b: AND 0000023c: SWAP1 0000023d: POP 0000023e: PUSH0 0000023f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000254: AND 00000255: DUP2 00000256: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000026b: AND 0000026c: EQ 0000026d: PUSH2 0x027c 00000270: JUMPI 00000271: PUSH2 0x027b 00000274: DUP2 00000275: PUSH0 00000276: CALLDATASIZE 00000277: PUSH2 0x0414 0000027a: JUMP 0000027b: JUMPDEST 0000027c: JUMPDEST 0000027d: STOP 0000027e: JUMPDEST 0000027f: PUSH2 0x0298 00000282: PUSH1 0x04 00000284: DUP1 00000285: CALLDATASIZE 00000286: SUB 00000287: DUP2 00000288: ADD 00000289: SWAP1 0000028a: PUSH2 0x0293 0000028d: SWAP2 0000028e: SWAP1 0000028f: PUSH2 0x199d 00000292: JUMP 00000293: JUMPDEST 00000294: PUSH2 0x0492 00000297: JUMP 00000298: JUMPDEST 00000299: STOP 0000029a: JUMPDEST 0000029b: CALLVALUE 0000029c: DUP1 0000029d: ISZERO 0000029e: PUSH2 0x02a5 000002a1: JUMPI 000002a2: PUSH0 000002a3: DUP1 000002a4: REVERT 000002a5: JUMPDEST 000002a6: POP 000002a7: PUSH2 0x02c0 000002aa: PUSH1 0x04 000002ac: DUP1 000002ad: CALLDATASIZE 000002ae: SUB 000002af: DUP2 000002b0: ADD 000002b1: SWAP1 000002b2: PUSH2 0x02bb 000002b5: SWAP2 000002b6: SWAP1 000002b7: PUSH2 0x1a4f 000002ba: JUMP 000002bb: JUMPDEST 000002bc: PUSH2 0x0646 000002bf: JUMP 000002c0: JUMPDEST 000002c1: PUSH1 0x40 000002c3: MLOAD 000002c4: PUSH2 0x02cd 000002c7: SWAP2 000002c8: SWAP1 000002c9: PUSH2 0x1a94 000002cc: JUMP 000002cd: JUMPDEST 000002ce: PUSH1 0x40 000002d0: MLOAD 000002d1: DUP1 000002d2: SWAP2 000002d3: SUB 000002d4: SWAP1 000002d5: RETURN 000002d6: JUMPDEST 000002d7: CALLVALUE 000002d8: DUP1 000002d9: ISZERO 000002da: PUSH2 0x02e1 000002dd: JUMPI 000002de: PUSH0 000002df: DUP1 000002e0: REVERT 000002e1: JUMPDEST 000002e2: POP 000002e3: PUSH2 0x02fc 000002e6: PUSH1 0x04 000002e8: DUP1 000002e9: CALLDATASIZE 000002ea: SUB 000002eb: DUP2 000002ec: ADD 000002ed: SWAP1 000002ee: PUSH2 0x02f7 000002f1: SWAP2 000002f2: SWAP1 000002f3: PUSH2 0x1a4f 000002f6: JUMP 000002f7: JUMPDEST 000002f8: PUSH2 0x083d 000002fb: JUMP 000002fc: JUMPDEST 000002fd: PUSH1 0x40 000002ff: MLOAD 00000300: PUSH2 0x0309 00000303: SWAP2 00000304: SWAP1 00000305: PUSH2 0x1abc 00000308: JUMP 00000309: JUMPDEST 0000030a: PUSH1 0x40 0000030c: MLOAD 0000030d: DUP1 0000030e: SWAP2 0000030f: SUB 00000310: SWAP1 00000311: RETURN 00000312: JUMPDEST 00000313: PUSH2 0x032c 00000316: PUSH1 0x04 00000318: DUP1 00000319: CALLDATASIZE 0000031a: SUB 0000031b: DUP2 0000031c: ADD 0000031d: SWAP1 0000031e: PUSH2 0x0327 00000321: SWAP2 00000322: SWAP1 00000323: PUSH2 0x1ad5 00000326: JUMP 00000327: JUMPDEST 00000328: PUSH2 0x08b4 0000032b: JUMP 0000032c: JUMPDEST 0000032d: PUSH1 0x40 0000032f: MLOAD 00000330: PUSH2 0x0339 00000333: SWAP2 00000334: SWAP1 00000335: PUSH2 0x1b38 00000338: JUMP 00000339: JUMPDEST 0000033a: PUSH1 0x40 0000033c: MLOAD 0000033d: DUP1 0000033e: SWAP2 0000033f: SUB 00000340: SWAP1 00000341: RETURN 00000342: JUMPDEST 00000343: CALLVALUE 00000344: DUP1 00000345: ISZERO 00000346: PUSH2 0x034d 00000349: JUMPI 0000034a: PUSH0 0000034b: DUP1 0000034c: REVERT 0000034d: JUMPDEST 0000034e: POP 0000034f: PUSH2 0x0356 00000352: PUSH2 0x0c0f 00000355: JUMP 00000356: JUMPDEST 00000357: STOP 00000358: JUMPDEST 00000359: CALLVALUE 0000035a: DUP1 0000035b: ISZERO 0000035c: PUSH2 0x0363 0000035f: JUMPI 00000360: PUSH0 00000361: DUP1 00000362: REVERT 00000363: JUMPDEST 00000364: POP 00000365: PUSH2 0x037e 00000368: PUSH1 0x04 0000036a: DUP1 0000036b: CALLDATASIZE 0000036c: SUB 0000036d: DUP2 0000036e: ADD 0000036f: SWAP1 00000370: PUSH2 0x0379 00000373: SWAP2 00000374: SWAP1 00000375: PUSH2 0x1b7b 00000378: JUMP 00000379: JUMPDEST 0000037a: PUSH2 0x0d59 0000037d: JUMP 0000037e: JUMPDEST 0000037f: STOP 00000380: JUMPDEST 00000381: PUSH2 0x039a 00000384: PUSH1 0x04 00000386: DUP1 00000387: CALLDATASIZE 00000388: SUB 00000389: DUP2 0000038a: ADD 0000038b: SWAP1 0000038c: PUSH2 0x0395 0000038f: SWAP2 00000390: SWAP1 00000391: PUSH2 0x199d 00000394: JUMP 00000395: JUMPDEST 00000396: PUSH2 0x0ec7 00000399: JUMP 0000039a: JUMPDEST 0000039b: STOP 0000039c: JUMPDEST 0000039d: CALLVALUE 0000039e: DUP1 0000039f: ISZERO 000003a0: PUSH2 0x03a7 000003a3: JUMPI 000003a4: PUSH0 000003a5: DUP1 000003a6: REVERT 000003a7: JUMPDEST 000003a8: POP 000003a9: PUSH2 0x03c2 000003ac: PUSH1 0x04 000003ae: DUP1 000003af: CALLDATASIZE 000003b0: SUB 000003b1: DUP2 000003b2: ADD 000003b3: SWAP1 000003b4: PUSH2 0x03bd 000003b7: SWAP2 000003b8: SWAP1 000003b9: PUSH2 0x1bb9 000003bc: JUMP 000003bd: JUMPDEST 000003be: PUSH2 0x103a 000003c1: JUMP 000003c2: JUMPDEST 000003c3: STOP 000003c4: JUMPDEST 000003c5: CALLVALUE 000003c6: DUP1 000003c7: ISZERO 000003c8: PUSH2 0x03cf 000003cb: JUMPI 000003cc: PUSH0 000003cd: DUP1 000003ce: REVERT 000003cf: JUMPDEST 000003d0: POP 000003d1: PUSH2 0x03ea 000003d4: PUSH1 0x04 000003d6: DUP1 000003d7: CALLDATASIZE 000003d8: SUB 000003d9: DUP2 000003da: ADD 000003db: SWAP1 000003dc: PUSH2 0x03e5 000003df: SWAP2 000003e0: SWAP1 000003e1: PUSH2 0x1be4 000003e4: JUMP 000003e5: JUMPDEST 000003e6: PUSH2 0x10bf 000003e9: JUMP 000003ea: JUMPDEST 000003eb: STOP 000003ec: JUMPDEST 000003ed: CALLVALUE 000003ee: DUP1 000003ef: ISZERO 000003f0: PUSH2 0x03f7 000003f3: JUMPI 000003f4: PUSH0 000003f5: DUP1 000003f6: REVERT 000003f7: JUMPDEST 000003f8: POP 000003f9: PUSH2 0x0412 000003fc: PUSH1 0x04 000003fe: DUP1 000003ff: CALLDATASIZE 00000400: SUB 00000401: DUP2 00000402: ADD 00000403: SWAP1 00000404: PUSH2 0x040d 00000407: SWAP2 00000408: SWAP1 00000409: PUSH2 0x1c4c 0000040c: JUMP 0000040d: JUMPDEST 0000040e: PUSH2 0x12ba 00000411: JUMP 00000412: JUMPDEST 00000413: STOP 00000414: JUMPDEST 00000415: PUSH0 00000416: DUP1 00000417: DUP5 00000418: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000042d: AND 0000042e: DUP5 0000042f: DUP5 00000430: PUSH1 0x40 00000432: MLOAD 00000433: PUSH2 0x043d 00000436: SWAP3 00000437: SWAP2 00000438: SWAP1 00000439: PUSH2 0x1cb3 0000043c: JUMP 0000043d: JUMPDEST 0000043e: PUSH0 0000043f: PUSH1 0x40 00000441: MLOAD 00000442: DUP1 00000443: DUP4 00000444: SUB 00000445: DUP2 00000446: DUP6 00000447: GAS 00000448: DELEGATECALL 00000449: SWAP2 0000044a: POP 0000044b: POP 0000044c: RETURNDATASIZE 0000044d: DUP1 0000044e: PUSH0 0000044f: DUP2 00000450: EQ 00000451: PUSH2 0x0475 00000454: JUMPI 00000455: PUSH1 0x40 00000457: MLOAD 00000458: SWAP2 00000459: POP 0000045a: PUSH1 0x1f 0000045c: NOT 0000045d: PUSH1 0x3f 0000045f: RETURNDATASIZE 00000460: ADD 00000461: AND 00000462: DUP3 00000463: ADD 00000464: PUSH1 0x40 00000466: MSTORE 00000467: RETURNDATASIZE 00000468: DUP3 00000469: MSTORE 0000046a: RETURNDATASIZE 0000046b: PUSH0 0000046c: PUSH1 0x20 0000046e: DUP5 0000046f: ADD 00000470: RETURNDATACOPY 00000471: PUSH2 0x047a 00000474: JUMP 00000475: JUMPDEST 00000476: PUSH1 0x60 00000478: SWAP2 00000479: POP 0000047a: JUMPDEST 0000047b: POP 0000047c: SWAP2 0000047d: POP 0000047e: SWAP2 0000047f: POP 00000480: DUP2 00000481: PUSH2 0x048b 00000484: JUMPI 00000485: DUP1 00000486: PUSH1 0x20 00000488: DUP3 00000489: ADD 0000048a: REVERT 0000048b: JUMPDEST 0000048c: POP 0000048d: POP 0000048e: POP 0000048f: POP 00000490: POP 00000491: JUMP 00000492: JUMPDEST 00000493: PUSH20 0x146c6432a5cf6c3126501def6c8cd0c3172497d7 000004a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004bd: AND 000004be: CALLER 000004bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004d4: AND 000004d5: EQ 000004d6: PUSH2 0x0514 000004d9: JUMPI 000004da: PUSH1 0x40 000004dc: MLOAD 000004dd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000004fe: DUP2 000004ff: MSTORE 00000500: PUSH1 0x04 00000502: ADD 00000503: PUSH2 0x050b 00000506: SWAP1 00000507: PUSH2 0x1d15 0000050a: JUMP 0000050b: JUMPDEST 0000050c: PUSH1 0x40 0000050e: MLOAD 0000050f: DUP1 00000510: SWAP2 00000511: SUB 00000512: SWAP1 00000513: REVERT 00000514: JUMPDEST 00000515: PUSH20 0x146c6432a5cf6c3126501def6c8cd0c3172497d7 0000052a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000053f: AND 00000540: CALLER 00000541: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000556: AND 00000557: EQ 00000558: PUSH2 0x0596 0000055b: JUMPI 0000055c: PUSH1 0x40 0000055e: MLOAD 0000055f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000580: DUP2 00000581: MSTORE 00000582: PUSH1 0x04 00000584: ADD 00000585: PUSH2 0x058d 00000588: SWAP1 00000589: PUSH2 0x1d15 0000058c: JUMP 0000058d: JUMPDEST 0000058e: PUSH1 0x40 00000590: MLOAD 00000591: DUP1 00000592: SWAP2 00000593: SUB 00000594: SWAP1 00000595: REVERT 00000596: JUMPDEST 00000597: PUSH1 0x01 00000599: PUSH0 0000059a: SLOAD 0000059b: EQ 0000059c: PUSH2 0x05da 0000059f: JUMPI 000005a0: PUSH1 0x40 000005a2: MLOAD 000005a3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000005c4: DUP2 000005c5: MSTORE 000005c6: PUSH1 0x04 000005c8: ADD 000005c9: PUSH2 0x05d1 000005cc: SWAP1 000005cd: PUSH2 0x1d7d 000005d0: JUMP 000005d1: JUMPDEST 000005d2: PUSH1 0x40 000005d4: MLOAD 000005d5: DUP1 000005d6: SWAP2 000005d7: SUB 000005d8: SWAP1 000005d9: REVERT 000005da: JUMPDEST 000005db: PUSH1 0x02 000005dd: PUSH0 000005de: DUP2 000005df: SWAP1 000005e0: SSTORE 000005e1: POP 000005e2: PUSH0 000005e3: SELFBALANCE 000005e4: SWAP1 000005e5: POP 000005e6: PUSH2 0x05f1 000005e9: DUP5 000005ea: CALLVALUE 000005eb: DUP6 000005ec: DUP6 000005ed: PUSH2 0x1405 000005f0: JUMP 000005f1: JUMPDEST 000005f2: PUSH0 000005f3: SELFBALANCE 000005f4: SWAP1 000005f5: POP 000005f6: DUP2 000005f7: DUP2 000005f8: LT 000005f9: ISZERO 000005fa: PUSH2 0x0638 000005fd: JUMPI 000005fe: PUSH1 0x40 00000600: MLOAD 00000601: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000622: DUP2 00000623: MSTORE 00000624: PUSH1 0x04 00000626: ADD 00000627: PUSH2 0x062f 0000062a: SWAP1 0000062b: PUSH2 0x1de5 0000062e: JUMP 0000062f: JUMPDEST 00000630: PUSH1 0x40 00000632: MLOAD 00000633: DUP1 00000634: SWAP2 00000635: SUB 00000636: SWAP1 00000637: REVERT 00000638: JUMPDEST 00000639: PUSH1 0x01 0000063b: PUSH0 0000063c: DUP2 0000063d: SWAP1 0000063e: SSTORE 0000063f: POP 00000640: POP 00000641: POP 00000642: POP 00000643: POP 00000644: POP 00000645: JUMP 00000646: JUMPDEST 00000647: PUSH0 00000648: PUSH4 0x01ffc9a7 0000064d: PUSH1 0xe0 0000064f: SHL 00000650: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000066d: NOT 0000066e: AND 0000066f: DUP3 00000670: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000068d: NOT 0000068e: AND 0000068f: EQ 00000690: DUP1 00000691: PUSH2 0x06de 00000694: JUMPI 00000695: POP 00000696: PUSH4 0x150b7a02 0000069b: PUSH1 0xe0 0000069d: SHL 0000069e: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000006bb: NOT 000006bc: AND 000006bd: DUP3 000006be: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000006db: NOT 000006dc: AND 000006dd: EQ 000006de: JUMPDEST 000006df: DUP1 000006e0: PUSH2 0x072d 000006e3: JUMPI 000006e4: POP 000006e5: PUSH4 0xf0b9e5ba 000006ea: PUSH1 0xe0 000006ec: SHL 000006ed: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000070a: NOT 0000070b: AND 0000070c: DUP3 0000070d: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000072a: NOT 0000072b: AND 0000072c: EQ 0000072d: JUMPDEST 0000072e: DUP1 0000072f: PUSH2 0x077c 00000732: JUMPI 00000733: POP 00000734: PUSH4 0xf23a6e61 00000739: PUSH1 0xe0 0000073b: SHL 0000073c: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000759: NOT 0000075a: AND 0000075b: DUP3 0000075c: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000779: NOT 0000077a: AND 0000077b: EQ 0000077c: JUMPDEST 0000077d: DUP1 0000077e: PUSH2 0x07cb 00000781: JUMPI 00000782: POP 00000783: PUSH4 0xbc197c81 00000788: PUSH1 0xe0 0000078a: SHL 0000078b: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000007a8: NOT 000007a9: AND 000007aa: DUP3 000007ab: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000007c8: NOT 000007c9: AND 000007ca: EQ 000007cb: JUMPDEST 000007cc: ISZERO 000007cd: PUSH2 0x07d9 000007d0: JUMPI 000007d1: PUSH1 0x01 000007d3: SWAP1 000007d4: POP 000007d5: PUSH2 0x0838 000007d8: JUMP 000007d9: JUMPDEST 000007da: PUSH1 0x01 000007dc: PUSH0 000007dd: DUP4 000007de: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000007fb: NOT 000007fc: AND 000007fd: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000081a: NOT 0000081b: AND 0000081c: DUP2 0000081d: MSTORE 0000081e: PUSH1 0x20 00000820: ADD 00000821: SWAP1 00000822: DUP2 00000823: MSTORE 00000824: PUSH1 0x20 00000826: ADD 00000827: PUSH0 00000828: KECCAK256 00000829: PUSH0 0000082a: SWAP1 0000082b: SLOAD 0000082c: SWAP1 0000082d: PUSH2 0x0100 00000830: EXP 00000831: SWAP1 00000832: DIV 00000833: PUSH1 0xff 00000835: AND 00000836: SWAP1 00000837: POP 00000838: JUMPDEST 00000839: SWAP2 0000083a: SWAP1 0000083b: POP 0000083c: JUMP 0000083d: JUMPDEST 0000083e: PUSH0 0000083f: PUSH1 0x02 00000841: PUSH0 00000842: DUP4 00000843: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000860: NOT 00000861: AND 00000862: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000087f: NOT 00000880: AND 00000881: DUP2 00000882: MSTORE 00000883: PUSH1 0x20 00000885: ADD 00000886: SWAP1 00000887: DUP2 00000888: MSTORE 00000889: PUSH1 0x20 0000088b: ADD 0000088c: PUSH0 0000088d: KECCAK256 0000088e: PUSH0 0000088f: SWAP1 00000890: SLOAD 00000891: SWAP1 00000892: PUSH2 0x0100 00000895: EXP 00000896: SWAP1 00000897: DIV 00000898: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008ad: AND 000008ae: SWAP1 000008af: POP 000008b0: SWAP2 000008b1: SWAP1 000008b2: POP 000008b3: JUMP 000008b4: JUMPDEST 000008b5: PUSH0 000008b6: DUP1 000008b7: GAS 000008b8: SWAP1 000008b9: POP 000008ba: PUSH20 0x9ecee66868cbbb2c0b45fcf77a16e4fb965eb710 000008cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008e4: AND 000008e5: CALLER 000008e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008fb: AND 000008fc: EQ 000008fd: PUSH2 0x093b 00000900: JUMPI 00000901: PUSH1 0x40 00000903: MLOAD 00000904: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000925: DUP2 00000926: MSTORE 00000927: PUSH1 0x04 00000929: ADD 0000092a: PUSH2 0x0932 0000092d: SWAP1 0000092e: PUSH2 0x1e4d 00000931: JUMP 00000932: JUMPDEST 00000933: PUSH1 0x40 00000935: MLOAD 00000936: DUP1 00000937: SWAP2 00000938: SUB 00000939: SWAP1 0000093a: REVERT 0000093b: JUMPDEST 0000093c: PUSH1 0x01 0000093e: PUSH0 0000093f: SLOAD 00000940: EQ 00000941: PUSH2 0x097f 00000944: JUMPI 00000945: PUSH1 0x40 00000947: MLOAD 00000948: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000969: DUP2 0000096a: MSTORE 0000096b: PUSH1 0x04 0000096d: ADD 0000096e: PUSH2 0x0976 00000971: SWAP1 00000972: PUSH2 0x1d7d 00000975: JUMP 00000976: JUMPDEST 00000977: PUSH1 0x40 00000979: MLOAD 0000097a: DUP1 0000097b: SWAP2 0000097c: SUB 0000097d: SWAP1 0000097e: REVERT 0000097f: JUMPDEST 00000980: PUSH1 0x02 00000982: PUSH0 00000983: DUP2 00000984: SWAP1 00000985: SSTORE 00000986: POP 00000987: PUSH0 00000988: SELFBALANCE 00000989: SWAP1 0000098a: POP 0000098b: PUSH2 0x0994 0000098e: DUP6 0000098f: DUP6 00000990: PUSH2 0x1487 00000993: JUMP 00000994: JUMPDEST 00000995: PUSH0 00000996: SELFBALANCE 00000997: SWAP1 00000998: POP 00000999: DUP2 0000099a: DUP2 0000099b: GT 0000099c: PUSH2 0x09da 0000099f: JUMPI 000009a0: PUSH1 0x40 000009a2: MLOAD 000009a3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000009c4: DUP2 000009c5: MSTORE 000009c6: PUSH1 0x04 000009c8: ADD 000009c9: PUSH2 0x09d1 000009cc: SWAP1 000009cd: PUSH2 0x1eb5 000009d0: JUMP 000009d1: JUMPDEST 000009d2: PUSH1 0x40 000009d4: MLOAD 000009d5: DUP1 000009d6: SWAP2 000009d7: SUB 000009d8: SWAP1 000009d9: REVERT 000009da: JUMPDEST 000009db: PUSH0 000009dc: DUP7 000009dd: DUP7 000009de: PUSH0 000009df: SWAP1 000009e0: PUSH1 0x02 000009e2: SWAP3 000009e3: PUSH2 0x09ee 000009e6: SWAP4 000009e7: SWAP3 000009e8: SWAP2 000009e9: SWAP1 000009ea: PUSH2 0x1edb 000009ed: JUMP 000009ee: JUMPDEST 000009ef: SWAP1 000009f0: PUSH2 0x09f9 000009f3: SWAP2 000009f4: SWAP1 000009f5: PUSH2 0x1f56 000009f8: JUMP 000009f9: JUMPDEST 000009fa: PUSH1 0xf0 000009fc: SHR 000009fd: PUSH2 0xffff 00000a00: AND 00000a01: SWAP1 00000a02: POP 00000a03: PUSH0 00000a04: DUP4 00000a05: DUP4 00000a06: SUB 00000a07: SWAP1 00000a08: POP 00000a09: PUSH0 00000a0a: PUSH1 0x09 00000a0c: DUP10 00000a0d: DUP10 00000a0e: SWAP1 00000a0f: POP 00000a10: MUL 00000a11: PUSH1 0x40 00000a13: ADD 00000a14: SWAP1 00000a15: POP 00000a16: PUSH0 00000a17: PUSH2 0x5208 00000a1a: DUP3 00000a1b: PUSH2 0x9941 00000a1e: GAS 00000a1f: DUP11 00000a20: SUB 00000a21: ADD 00000a22: ADD 00000a23: ADD 00000a24: GASPRICE 00000a25: MUL 00000a26: SWAP1 00000a27: POP 00000a28: DUP1 00000a29: DUP4 00000a2a: GT 00000a2b: PUSH2 0x0a69 00000a2e: JUMPI 00000a2f: PUSH1 0x40 00000a31: MLOAD 00000a32: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000a53: DUP2 00000a54: MSTORE 00000a55: PUSH1 0x04 00000a57: ADD 00000a58: PUSH2 0x0a60 00000a5b: SWAP1 00000a5c: PUSH2 0x1ffe 00000a5f: JUMP 00000a60: JUMPDEST 00000a61: PUSH1 0x40 00000a63: MLOAD 00000a64: DUP1 00000a65: SWAP2 00000a66: SUB 00000a67: SWAP1 00000a68: REVERT 00000a69: JUMPDEST 00000a6a: DUP1 00000a6b: DUP4 00000a6c: SUB 00000a6d: SWAP3 00000a6e: POP 00000a6f: PUSH0 00000a70: DUP5 00000a71: GT 00000a72: ISZERO 00000a73: PUSH2 0x0b1e 00000a76: JUMPI 00000a77: PUSH2 0x2710 00000a7a: DUP5 00000a7b: GT 00000a7c: ISZERO 00000a7d: PUSH2 0x0abb 00000a80: JUMPI 00000a81: PUSH1 0x40 00000a83: MLOAD 00000a84: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000aa5: DUP2 00000aa6: MSTORE 00000aa7: PUSH1 0x04 00000aa9: ADD 00000aaa: PUSH2 0x0ab2 00000aad: SWAP1 00000aae: PUSH2 0x2066 00000ab1: JUMP 00000ab2: JUMPDEST 00000ab3: PUSH1 0x40 00000ab5: MLOAD 00000ab6: DUP1 00000ab7: SWAP2 00000ab8: SUB 00000ab9: SWAP1 00000aba: REVERT 00000abb: JUMPDEST 00000abc: PUSH0 00000abd: PUSH2 0x2710 00000ac0: DUP6 00000ac1: DUP6 00000ac2: MUL 00000ac3: DUP2 00000ac4: PUSH2 0x0ad0 00000ac7: JUMPI 00000ac8: PUSH2 0x0acf 00000acb: PUSH2 0x2084 00000ace: JUMP 00000acf: JUMPDEST 00000ad0: JUMPDEST 00000ad1: DIV 00000ad2: SWAP1 00000ad3: POP 00000ad4: COINBASE 00000ad5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aea: AND 00000aeb: PUSH2 0x08fc 00000aee: DUP3 00000aef: SWAP1 00000af0: DUP2 00000af1: ISZERO 00000af2: MUL 00000af3: SWAP1 00000af4: PUSH1 0x40 00000af6: MLOAD 00000af7: PUSH0 00000af8: PUSH1 0x40 00000afa: MLOAD 00000afb: DUP1 00000afc: DUP4 00000afd: SUB 00000afe: DUP2 00000aff: DUP6 00000b00: DUP9 00000b01: DUP9 00000b02: CALL 00000b03: SWAP4 00000b04: POP 00000b05: POP 00000b06: POP 00000b07: POP 00000b08: ISZERO 00000b09: DUP1 00000b0a: ISZERO 00000b0b: PUSH2 0x0b16 00000b0e: JUMPI 00000b0f: RETURNDATASIZE 00000b10: PUSH0 00000b11: DUP1 00000b12: RETURNDATACOPY 00000b13: RETURNDATASIZE 00000b14: PUSH0 00000b15: REVERT 00000b16: JUMPDEST 00000b17: POP 00000b18: DUP1 00000b19: DUP5 00000b1a: SUB 00000b1b: SWAP4 00000b1c: POP 00000b1d: POP 00000b1e: JUMPDEST 00000b1f: CALLER 00000b20: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b35: AND 00000b36: PUSH2 0x08fc 00000b39: DUP3 00000b3a: DUP6 00000b3b: ADD 00000b3c: SWAP1 00000b3d: DUP2 00000b3e: ISZERO 00000b3f: MUL 00000b40: SWAP1 00000b41: PUSH1 0x40 00000b43: MLOAD 00000b44: PUSH0 00000b45: PUSH1 0x40 00000b47: MLOAD 00000b48: DUP1 00000b49: DUP4 00000b4a: SUB 00000b4b: DUP2 00000b4c: DUP6 00000b4d: DUP9 00000b4e: DUP9 00000b4f: CALL 00000b50: SWAP4 00000b51: POP 00000b52: POP 00000b53: POP 00000b54: POP 00000b55: ISZERO 00000b56: DUP1 00000b57: ISZERO 00000b58: PUSH2 0x0b63 00000b5b: JUMPI 00000b5c: RETURNDATASIZE 00000b5d: PUSH0 00000b5e: DUP1 00000b5f: RETURNDATACOPY 00000b60: RETURNDATASIZE 00000b61: PUSH0 00000b62: REVERT 00000b63: JUMPDEST 00000b64: POP 00000b65: PUSH1 0x01 00000b67: PUSH0 00000b68: DUP2 00000b69: SWAP1 00000b6a: SSTORE 00000b6b: POP 00000b6c: CALLVALUE 00000b6d: GASPRICE 00000b6e: MUL 00000b6f: DUP2 00000b70: DUP5 00000b71: ADD 00000b72: GT 00000b73: PUSH2 0x0bb1 00000b76: JUMPI 00000b77: PUSH1 0x40 00000b79: MLOAD 00000b7a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000b9b: DUP2 00000b9c: MSTORE 00000b9d: PUSH1 0x04 00000b9f: ADD 00000ba0: PUSH2 0x0ba8 00000ba3: SWAP1 00000ba4: PUSH2 0x20fb 00000ba7: JUMP 00000ba8: JUMPDEST 00000ba9: PUSH1 0x40 00000bab: MLOAD 00000bac: DUP1 00000bad: SWAP2 00000bae: SUB 00000baf: SWAP1 00000bb0: REVERT 00000bb1: JUMPDEST 00000bb2: PUSH2 0x5208 00000bb5: DUP3 00000bb6: GAS 00000bb7: DUP10 00000bb8: SUB 00000bb9: ADD 00000bba: ADD 00000bbb: GASPRICE 00000bbc: MUL 00000bbd: DUP2 00000bbe: DUP5 00000bbf: ADD 00000bc0: GT 00000bc1: PUSH2 0x0bff 00000bc4: JUMPI 00000bc5: PUSH1 0x40 00000bc7: MLOAD 00000bc8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000be9: DUP2 00000bea: MSTORE 00000beb: PUSH1 0x04 00000bed: ADD 00000bee: PUSH2 0x0bf6 00000bf1: SWAP1 00000bf2: PUSH2 0x2163 00000bf5: JUMP 00000bf6: JUMPDEST 00000bf7: PUSH1 0x40 00000bf9: MLOAD 00000bfa: DUP1 00000bfb: SWAP2 00000bfc: SUB 00000bfd: SWAP1 00000bfe: REVERT 00000bff: JUMPDEST 00000c00: DUP3 00000c01: SWAP8 00000c02: POP 00000c03: POP 00000c04: POP 00000c05: POP 00000c06: POP 00000c07: POP 00000c08: POP 00000c09: POP 00000c0a: SWAP3 00000c0b: SWAP2 00000c0c: POP 00000c0d: POP 00000c0e: JUMP 00000c0f: JUMPDEST 00000c10: PUSH20 0x146c6432a5cf6c3126501def6c8cd0c3172497d7 00000c25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c3a: AND 00000c3b: CALLER 00000c3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c51: AND 00000c52: EQ 00000c53: PUSH2 0x0c91 00000c56: JUMPI 00000c57: PUSH1 0x40 00000c59: MLOAD 00000c5a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c7b: DUP2 00000c7c: MSTORE 00000c7d: PUSH1 0x04 00000c7f: ADD 00000c80: PUSH2 0x0c88 00000c83: SWAP1 00000c84: PUSH2 0x1d15 00000c87: JUMP 00000c88: JUMPDEST 00000c89: PUSH1 0x40 00000c8b: MLOAD 00000c8c: DUP1 00000c8d: SWAP2 00000c8e: SUB 00000c8f: SWAP1 00000c90: REVERT 00000c91: JUMPDEST 00000c92: PUSH20 0x146c6432a5cf6c3126501def6c8cd0c3172497d7 00000ca7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cbc: AND 00000cbd: CALLER 00000cbe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cd3: AND 00000cd4: EQ 00000cd5: PUSH2 0x0d13 00000cd8: JUMPI 00000cd9: PUSH1 0x40 00000cdb: MLOAD 00000cdc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000cfd: DUP2 00000cfe: MSTORE 00000cff: PUSH1 0x04 00000d01: ADD 00000d02: PUSH2 0x0d0a 00000d05: SWAP1 00000d06: PUSH2 0x1d15 00000d09: JUMP 00000d0a: JUMPDEST 00000d0b: PUSH1 0x40 00000d0d: MLOAD 00000d0e: DUP1 00000d0f: SWAP2 00000d10: SUB 00000d11: SWAP1 00000d12: REVERT 00000d13: JUMPDEST 00000d14: CALLER 00000d15: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d2a: AND 00000d2b: PUSH2 0x08fc 00000d2e: SELFBALANCE 00000d2f: SWAP1 00000d30: DUP2 00000d31: ISZERO 00000d32: MUL 00000d33: SWAP1 00000d34: PUSH1 0x40 00000d36: MLOAD 00000d37: PUSH0 00000d38: PUSH1 0x40 00000d3a: MLOAD 00000d3b: DUP1 00000d3c: DUP4 00000d3d: SUB 00000d3e: DUP2 00000d3f: DUP6 00000d40: DUP9 00000d41: DUP9 00000d42: CALL 00000d43: SWAP4 00000d44: POP 00000d45: POP 00000d46: POP 00000d47: POP 00000d48: ISZERO 00000d49: DUP1 00000d4a: ISZERO 00000d4b: PUSH2 0x0d56 00000d4e: JUMPI 00000d4f: RETURNDATASIZE 00000d50: PUSH0 00000d51: DUP1 00000d52: RETURNDATACOPY 00000d53: RETURNDATASIZE 00000d54: PUSH0 00000d55: REVERT 00000d56: JUMPDEST 00000d57: POP 00000d58: JUMP 00000d59: JUMPDEST 00000d5a: PUSH20 0x146c6432a5cf6c3126501def6c8cd0c3172497d7 00000d6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d84: AND 00000d85: CALLER 00000d86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d9b: AND 00000d9c: EQ 00000d9d: PUSH2 0x0ddb 00000da0: JUMPI 00000da1: PUSH1 0x40 00000da3: MLOAD 00000da4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000dc5: DUP2 00000dc6: MSTORE 00000dc7: PUSH1 0x04 00000dc9: ADD 00000dca: PUSH2 0x0dd2 00000dcd: SWAP1 00000dce: PUSH2 0x1d15 00000dd1: JUMP 00000dd2: JUMPDEST 00000dd3: PUSH1 0x40 00000dd5: MLOAD 00000dd6: DUP1 00000dd7: SWAP2 00000dd8: SUB 00000dd9: SWAP1 00000dda: REVERT 00000ddb: JUMPDEST 00000ddc: PUSH20 0x146c6432a5cf6c3126501def6c8cd0c3172497d7 00000df1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e06: AND 00000e07: CALLER 00000e08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e1d: AND 00000e1e: EQ 00000e1f: PUSH2 0x0e5d 00000e22: JUMPI 00000e23: PUSH1 0x40 00000e25: MLOAD 00000e26: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000e47: DUP2 00000e48: MSTORE 00000e49: PUSH1 0x04 00000e4b: ADD 00000e4c: PUSH2 0x0e54 00000e4f: SWAP1 00000e50: PUSH2 0x1d15 00000e53: JUMP 00000e54: JUMPDEST 00000e55: PUSH1 0x40 00000e57: MLOAD 00000e58: DUP1 00000e59: SWAP2 00000e5a: SUB 00000e5b: SWAP1 00000e5c: REVERT 00000e5d: JUMPDEST 00000e5e: DUP1 00000e5f: PUSH1 0x01 00000e61: PUSH0 00000e62: DUP5 00000e63: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000e80: NOT 00000e81: AND 00000e82: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000e9f: NOT 00000ea0: AND 00000ea1: DUP2 00000ea2: MSTORE 00000ea3: PUSH1 0x20 00000ea5: ADD 00000ea6: SWAP1 00000ea7: DUP2 00000ea8: MSTORE 00000ea9: PUSH1 0x20 00000eab: ADD 00000eac: PUSH0 00000ead: KECCAK256 00000eae: PUSH0 00000eaf: PUSH2 0x0100 00000eb2: EXP 00000eb3: DUP2 00000eb4: SLOAD 00000eb5: DUP2 00000eb6: PUSH1 0xff 00000eb8: MUL 00000eb9: NOT 00000eba: AND 00000ebb: SWAP1 00000ebc: DUP4 00000ebd: ISZERO 00000ebe: ISZERO 00000ebf: MUL 00000ec0: OR 00000ec1: SWAP1 00000ec2: SSTORE 00000ec3: POP 00000ec4: POP 00000ec5: POP 00000ec6: JUMP 00000ec7: JUMPDEST 00000ec8: PUSH20 0x146c6432a5cf6c3126501def6c8cd0c3172497d7 00000edd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ef2: AND 00000ef3: CALLER 00000ef4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f09: AND 00000f0a: EQ 00000f0b: PUSH2 0x0f49 00000f0e: JUMPI 00000f0f: PUSH1 0x40 00000f11: MLOAD 00000f12: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000f33: DUP2 00000f34: MSTORE 00000f35: PUSH1 0x04 00000f37: ADD 00000f38: PUSH2 0x0f40 00000f3b: SWAP1 00000f3c: PUSH2 0x1d15 00000f3f: JUMP 00000f40: JUMPDEST 00000f41: PUSH1 0x40 00000f43: MLOAD 00000f44: DUP1 00000f45: SWAP2 00000f46: SUB 00000f47: SWAP1 00000f48: REVERT 00000f49: JUMPDEST 00000f4a: PUSH20 0x146c6432a5cf6c3126501def6c8cd0c3172497d7 00000f5f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f74: AND 00000f75: CALLER 00000f76: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f8b: AND 00000f8c: EQ 00000f8d: PUSH2 0x0fcb 00000f90: JUMPI 00000f91: PUSH1 0x40 00000f93: MLOAD 00000f94: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000fb5: DUP2 00000fb6: MSTORE 00000fb7: PUSH1 0x04 00000fb9: ADD 00000fba: PUSH2 0x0fc2 00000fbd: SWAP1 00000fbe: PUSH2 0x1d15 00000fc1: JUMP 00000fc2: JUMPDEST 00000fc3: PUSH1 0x40 00000fc5: MLOAD 00000fc6: DUP1 00000fc7: SWAP2 00000fc8: SUB 00000fc9: SWAP1 00000fca: REVERT 00000fcb: JUMPDEST 00000fcc: DUP3 00000fcd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fe2: AND 00000fe3: CALLVALUE 00000fe4: DUP4 00000fe5: DUP4 00000fe6: PUSH1 0x40 00000fe8: MLOAD 00000fe9: PUSH2 0x0ff3 00000fec: SWAP3 00000fed: SWAP2 00000fee: SWAP1 00000fef: PUSH2 0x1cb3 00000ff2: JUMP 00000ff3: JUMPDEST 00000ff4: PUSH0 00000ff5: PUSH1 0x40 00000ff7: MLOAD 00000ff8: DUP1 00000ff9: DUP4 00000ffa: SUB 00000ffb: DUP2 00000ffc: DUP6 00000ffd: DUP8 00000ffe: GAS 00000fff: CALL 00001000: SWAP3 00001001: POP 00001002: POP 00001003: POP 00001004: RETURNDATASIZE 00001005: DUP1 00001006: PUSH0 00001007: DUP2 00001008: EQ 00001009: PUSH2 0x102d 0000100c: JUMPI 0000100d: PUSH1 0x40 0000100f: MLOAD 00001010: SWAP2 00001011: POP 00001012: PUSH1 0x1f 00001014: NOT 00001015: PUSH1 0x3f 00001017: RETURNDATASIZE 00001018: ADD 00001019: AND 0000101a: DUP3 0000101b: ADD 0000101c: PUSH1 0x40 0000101e: MSTORE 0000101f: RETURNDATASIZE 00001020: DUP3 00001021: MSTORE 00001022: RETURNDATASIZE 00001023: PUSH0 00001024: PUSH1 0x20 00001026: DUP5 00001027: ADD 00001028: RETURNDATACOPY 00001029: PUSH2 0x1032 0000102c: JUMP 0000102d: JUMPDEST 0000102e: PUSH1 0x60 00001030: SWAP2 00001031: POP 00001032: JUMPDEST 00001033: POP 00001034: POP 00001035: POP 00001036: POP 00001037: POP 00001038: POP 00001039: JUMP 0000103a: JUMPDEST 0000103b: PUSH20 0x2ec0a49888cf7bd05985fe8366e9205c9d0f901e 00001050: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001065: AND 00001066: CALLER 00001067: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000107c: AND 0000107d: EQ 0000107e: PUSH2 0x10bc 00001081: JUMPI 00001082: PUSH1 0x40 00001084: MLOAD 00001085: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000010a6: DUP2 000010a7: MSTORE 000010a8: PUSH1 0x04 000010aa: ADD 000010ab: PUSH2 0x10b3 000010ae: SWAP1 000010af: PUSH2 0x21cb 000010b2: JUMP 000010b3: JUMPDEST 000010b4: PUSH1 0x40 000010b6: MLOAD 000010b7: DUP1 000010b8: SWAP2 000010b9: SUB 000010ba: SWAP1 000010bb: REVERT 000010bc: JUMPDEST 000010bd: POP 000010be: JUMP 000010bf: JUMPDEST 000010c0: PUSH20 0x146c6432a5cf6c3126501def6c8cd0c3172497d7 000010d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010ea: AND 000010eb: CALLER 000010ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001101: AND 00001102: EQ 00001103: PUSH2 0x1141 00001106: JUMPI 00001107: PUSH1 0x40 00001109: MLOAD 0000110a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000112b: DUP2 0000112c: MSTORE 0000112d: PUSH1 0x04 0000112f: ADD 00001130: PUSH2 0x1138 00001133: SWAP1 00001134: PUSH2 0x1d15 00001137: JUMP 00001138: JUMPDEST 00001139: PUSH1 0x40 0000113b: MLOAD 0000113c: DUP1 0000113d: SWAP2 0000113e: SUB 0000113f: SWAP1 00001140: REVERT 00001141: JUMPDEST 00001142: PUSH20 0x146c6432a5cf6c3126501def6c8cd0c3172497d7 00001157: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000116c: AND 0000116d: CALLER 0000116e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001183: AND 00001184: EQ 00001185: PUSH2 0x11c3 00001188: JUMPI 00001189: PUSH1 0x40 0000118b: MLOAD 0000118c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000011ad: DUP2 000011ae: MSTORE 000011af: PUSH1 0x04 000011b1: ADD 000011b2: PUSH2 0x11ba 000011b5: SWAP1 000011b6: PUSH2 0x1d15 000011b9: JUMP 000011ba: JUMPDEST 000011bb: PUSH1 0x40 000011bd: MLOAD 000011be: DUP1 000011bf: SWAP2 000011c0: SUB 000011c1: SWAP1 000011c2: REVERT 000011c3: JUMPDEST 000011c4: DUP1 000011c5: PUSH1 0x02 000011c7: PUSH0 000011c8: DUP5 000011c9: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000011e6: NOT 000011e7: AND 000011e8: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001205: NOT 00001206: AND 00001207: DUP2 00001208: MSTORE 00001209: PUSH1 0x20 0000120b: ADD 0000120c: SWAP1 0000120d: DUP2 0000120e: MSTORE 0000120f: PUSH1 0x20 00001211: ADD 00001212: PUSH0 00001213: KECCAK256 00001214: PUSH0 00001215: PUSH2 0x0100 00001218: EXP 00001219: DUP2 0000121a: SLOAD 0000121b: DUP2 0000121c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001231: MUL 00001232: NOT 00001233: AND 00001234: SWAP1 00001235: DUP4 00001236: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000124b: AND 0000124c: MUL 0000124d: OR 0000124e: SWAP1 0000124f: SSTORE 00001250: POP 00001251: PUSH1 0x01 00001253: DUP1 00001254: PUSH0 00001255: DUP5 00001256: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001273: NOT 00001274: AND 00001275: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001292: NOT 00001293: AND 00001294: DUP2 00001295: MSTORE 00001296: PUSH1 0x20 00001298: ADD 00001299: SWAP1 0000129a: DUP2 0000129b: MSTORE 0000129c: PUSH1 0x20 0000129e: ADD 0000129f: PUSH0 000012a0: KECCAK256 000012a1: PUSH0 000012a2: PUSH2 0x0100 000012a5: EXP 000012a6: DUP2 000012a7: SLOAD 000012a8: DUP2 000012a9: PUSH1 0xff 000012ab: MUL 000012ac: NOT 000012ad: AND 000012ae: SWAP1 000012af: DUP4 000012b0: ISZERO 000012b1: ISZERO 000012b2: MUL 000012b3: OR 000012b4: SWAP1 000012b5: SSTORE 000012b6: POP 000012b7: POP 000012b8: POP 000012b9: JUMP 000012ba: JUMPDEST 000012bb: PUSH20 0x146c6432a5cf6c3126501def6c8cd0c3172497d7 000012d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012e5: AND 000012e6: CALLER 000012e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012fc: AND 000012fd: EQ 000012fe: PUSH2 0x133c 00001301: JUMPI 00001302: PUSH1 0x40 00001304: MLOAD 00001305: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001326: DUP2 00001327: MSTORE 00001328: PUSH1 0x04 0000132a: ADD 0000132b: PUSH2 0x1333 0000132e: SWAP1 0000132f: PUSH2 0x1d15 00001332: JUMP 00001333: JUMPDEST 00001334: PUSH1 0x40 00001336: MLOAD 00001337: DUP1 00001338: SWAP2 00001339: SUB 0000133a: SWAP1 0000133b: REVERT 0000133c: JUMPDEST 0000133d: PUSH20 0x146c6432a5cf6c3126501def6c8cd0c3172497d7 00001352: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001367: AND 00001368: CALLER 00001369: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000137e: AND 0000137f: EQ 00001380: PUSH2 0x13be 00001383: JUMPI 00001384: PUSH1 0x40 00001386: MLOAD 00001387: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000013a8: DUP2 000013a9: MSTORE 000013aa: PUSH1 0x04 000013ac: ADD 000013ad: PUSH2 0x13b5 000013b0: SWAP1 000013b1: PUSH2 0x1d15 000013b4: JUMP 000013b5: JUMPDEST 000013b6: PUSH1 0x40 000013b8: MLOAD 000013b9: DUP1 000013ba: SWAP2 000013bb: SUB 000013bc: SWAP1 000013bd: REVERT 000013be: JUMPDEST 000013bf: CALLER 000013c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013d5: AND 000013d6: PUSH2 0x08fc 000013d9: DUP3 000013da: SWAP1 000013db: DUP2 000013dc: ISZERO 000013dd: MUL 000013de: SWAP1 000013df: PUSH1 0x40 000013e1: MLOAD 000013e2: PUSH0 000013e3: PUSH1 0x40 000013e5: MLOAD 000013e6: DUP1 000013e7: DUP4 000013e8: SUB 000013e9: DUP2 000013ea: DUP6 000013eb: DUP9 000013ec: DUP9 000013ed: CALL 000013ee: SWAP4 000013ef: POP 000013f0: POP 000013f1: POP 000013f2: POP 000013f3: ISZERO 000013f4: DUP1 000013f5: ISZERO 000013f6: PUSH2 0x1401 000013f9: JUMPI 000013fa: RETURNDATASIZE 000013fb: PUSH0 000013fc: DUP1 000013fd: RETURNDATACOPY 000013fe: RETURNDATASIZE 000013ff: PUSH0 00001400: REVERT 00001401: JUMPDEST 00001402: POP 00001403: POP 00001404: JUMP 00001405: JUMPDEST 00001406: PUSH0 00001407: DUP1 00001408: DUP6 00001409: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000141e: AND 0000141f: DUP6 00001420: DUP6 00001421: DUP6 00001422: PUSH1 0x40 00001424: MLOAD 00001425: PUSH2 0x142f 00001428: SWAP3 00001429: SWAP2 0000142a: SWAP1 0000142b: PUSH2 0x1cb3 0000142e: JUMP 0000142f: JUMPDEST 00001430: PUSH0 00001431: PUSH1 0x40 00001433: MLOAD 00001434: DUP1 00001435: DUP4 00001436: SUB 00001437: DUP2 00001438: DUP6 00001439: DUP8 0000143a: GAS 0000143b: CALL 0000143c: SWAP3 0000143d: POP 0000143e: POP 0000143f: POP 00001440: RETURNDATASIZE 00001441: DUP1 00001442: PUSH0 00001443: DUP2 00001444: EQ 00001445: PUSH2 0x1469 00001448: JUMPI 00001449: PUSH1 0x40 0000144b: MLOAD 0000144c: SWAP2 0000144d: POP 0000144e: PUSH1 0x1f 00001450: NOT 00001451: PUSH1 0x3f 00001453: RETURNDATASIZE 00001454: ADD 00001455: AND 00001456: DUP3 00001457: ADD 00001458: PUSH1 0x40 0000145a: MSTORE 0000145b: RETURNDATASIZE 0000145c: DUP3 0000145d: MSTORE 0000145e: RETURNDATASIZE 0000145f: PUSH0 00001460: PUSH1 0x20 00001462: DUP5 00001463: ADD 00001464: RETURNDATACOPY 00001465: PUSH2 0x146e 00001468: JUMP 00001469: JUMPDEST 0000146a: PUSH1 0x60 0000146c: SWAP2 0000146d: POP 0000146e: JUMPDEST 0000146f: POP 00001470: SWAP2 00001471: POP 00001472: SWAP2 00001473: POP 00001474: DUP2 00001475: PUSH2 0x147f 00001478: JUMPI 00001479: DUP1 0000147a: PUSH1 0x20 0000147c: DUP3 0000147d: ADD 0000147e: REVERT 0000147f: JUMPDEST 00001480: POP 00001481: POP 00001482: POP 00001483: POP 00001484: POP 00001485: POP 00001486: JUMP 00001487: JUMPDEST 00001488: PUSH0 00001489: DUP3 0000148a: DUP3 0000148b: PUSH1 0x02 0000148d: SWAP1 0000148e: PUSH1 0x04 00001490: SWAP3 00001491: PUSH2 0x149c 00001494: SWAP4 00001495: SWAP3 00001496: SWAP2 00001497: SWAP1 00001498: PUSH2 0x1edb 0000149b: JUMP 0000149c: JUMPDEST 0000149d: SWAP1 0000149e: PUSH2 0x14a7 000014a1: SWAP2 000014a2: SWAP1 000014a3: PUSH2 0x1f56 000014a6: JUMP 000014a7: JUMPDEST 000014a8: PUSH1 0xf0 000014aa: SHR 000014ab: PUSH2 0xffff 000014ae: AND 000014af: SWAP1 000014b0: POP 000014b1: PUSH0 000014b2: DUP2 000014b3: PUSH1 0x02 000014b5: MUL 000014b6: PUSH1 0x04 000014b8: ADD 000014b9: SWAP1 000014ba: POP 000014bb: PUSH0 000014bc: PUSH1 0x04 000014be: SWAP1 000014bf: POP 000014c0: PUSH0 000014c1: JUMPDEST 000014c2: DUP4 000014c3: DUP2 000014c4: LT 000014c5: ISZERO 000014c6: PUSH2 0x1526 000014c9: JUMPI 000014ca: PUSH0 000014cb: DUP7 000014cc: DUP7 000014cd: DUP5 000014ce: SWAP1 000014cf: PUSH1 0x02 000014d1: DUP7 000014d2: ADD 000014d3: SWAP3 000014d4: PUSH2 0x14df 000014d7: SWAP4 000014d8: SWAP3 000014d9: SWAP2 000014da: SWAP1 000014db: PUSH2 0x1edb 000014de: JUMP 000014df: JUMPDEST 000014e0: SWAP1 000014e1: PUSH2 0x14ea 000014e4: SWAP2 000014e5: SWAP1 000014e6: PUSH2 0x1f56 000014e9: JUMP 000014ea: JUMPDEST 000014eb: PUSH1 0xf0 000014ed: SHR 000014ee: PUSH2 0xffff 000014f1: AND 000014f2: SWAP1 000014f3: POP 000014f4: PUSH1 0x02 000014f6: DUP4 000014f7: ADD 000014f8: SWAP3 000014f9: POP 000014fa: PUSH2 0x1515 000014fd: DUP8 000014fe: DUP8 000014ff: DUP7 00001500: SWAP1 00001501: DUP5 00001502: DUP9 00001503: ADD 00001504: SWAP3 00001505: PUSH2 0x1510 00001508: SWAP4 00001509: SWAP3 0000150a: SWAP2 0000150b: SWAP1 0000150c: PUSH2 0x1edb 0000150f: JUMP 00001510: JUMPDEST 00001511: PUSH2 0x152e 00001514: JUMP 00001515: JUMPDEST 00001516: DUP1 00001517: DUP5 00001518: ADD 00001519: SWAP4 0000151a: POP 0000151b: DUP2 0000151c: PUSH1 0x01 0000151e: ADD 0000151f: SWAP2 00001520: POP 00001521: POP 00001522: PUSH2 0x14c1 00001525: JUMP 00001526: JUMPDEST 00001527: POP 00001528: POP 00001529: POP 0000152a: POP 0000152b: POP 0000152c: POP 0000152d: JUMP 0000152e: JUMPDEST 0000152f: PUSH0 00001530: DUP3 00001531: DUP3 00001532: PUSH0 00001533: SWAP1 00001534: PUSH1 0x01 00001536: SWAP3 00001537: PUSH2 0x1542 0000153a: SWAP4 0000153b: SWAP3 0000153c: SWAP2 0000153d: SWAP1 0000153e: PUSH2 0x1edb 00001541: JUMP 00001542: JUMPDEST 00001543: SWAP1 00001544: PUSH2 0x154d 00001547: SWAP2 00001548: SWAP1 00001549: PUSH2 0x2214 0000154c: JUMP 0000154d: JUMPDEST 0000154e: PUSH1 0xf8 00001550: SHR 00001551: PUSH1 0xff 00001553: AND 00001554: SWAP1 00001555: POP 00001556: PUSH0 00001557: PUSH1 0x01 00001559: DUP1 0000155a: DUP4 0000155b: AND 0000155c: EQ 0000155d: SWAP1 0000155e: POP 0000155f: PUSH0 00001560: PUSH1 0x01 00001562: DUP1 00001563: PUSH1 0x01 00001565: DUP6 00001566: SWAP1 00001567: SHR 00001568: AND 00001569: EQ 0000156a: SWAP1 0000156b: POP 0000156c: PUSH0 0000156d: PUSH1 0x01 0000156f: DUP1 00001570: PUSH1 0x02 00001572: DUP7 00001573: SWAP1 00001574: SHR 00001575: AND 00001576: EQ 00001577: SWAP1 00001578: POP 00001579: PUSH0 0000157a: DUP7 0000157b: DUP7 0000157c: PUSH1 0x01 0000157e: SWAP1 0000157f: PUSH1 0x15 00001581: SWAP3 00001582: PUSH2 0x158d 00001585: SWAP4 00001586: SWAP3 00001587: SWAP2 00001588: SWAP1 00001589: PUSH2 0x1edb 0000158c: JUMP 0000158d: JUMPDEST 0000158e: SWAP1 0000158f: PUSH2 0x1598 00001592: SWAP2 00001593: SWAP1 00001594: PUSH2 0x229d 00001597: JUMP 00001598: JUMPDEST 00001599: PUSH1 0x60 0000159b: SHR 0000159c: SWAP1 0000159d: POP 0000159e: PUSH1 0x01 000015a0: ISZERO 000015a1: ISZERO 000015a2: DUP5 000015a3: ISZERO 000015a4: ISZERO 000015a5: SUB 000015a6: PUSH2 0x162d 000015a9: JUMPI 000015aa: PUSH0 000015ab: PUSH1 0xb0 000015ad: DUP9 000015ae: DUP9 000015af: PUSH1 0x15 000015b1: SWAP1 000015b2: PUSH1 0x1f 000015b4: SWAP3 000015b5: PUSH2 0x15c0 000015b8: SWAP4 000015b9: SWAP3 000015ba: SWAP2 000015bb: SWAP1 000015bc: PUSH2 0x1edb 000015bf: JUMP 000015c0: JUMPDEST 000015c1: SWAP1 000015c2: PUSH2 0x15cb 000015c5: SWAP2 000015c6: SWAP1 000015c7: PUSH2 0x2304 000015ca: JUMP 000015cb: JUMPDEST 000015cc: PUSH0 000015cd: SHR 000015ce: SWAP1 000015cf: SHR 000015d0: SWAP1 000015d1: POP 000015d2: CALLDATASIZE 000015d3: PUSH0 000015d4: DUP10 000015d5: DUP10 000015d6: PUSH1 0x1f 000015d8: SWAP1 000015d9: DUP1 000015da: SWAP3 000015db: PUSH2 0x15e6 000015de: SWAP4 000015df: SWAP3 000015e0: SWAP2 000015e1: SWAP1 000015e2: PUSH2 0x1edb 000015e5: JUMP 000015e6: JUMPDEST 000015e7: SWAP2 000015e8: POP 000015e9: SWAP2 000015ea: POP 000015eb: PUSH0 000015ec: ISZERO 000015ed: ISZERO 000015ee: DUP7 000015ef: ISZERO 000015f0: ISZERO 000015f1: EQ 000015f2: DUP1 000015f3: ISZERO 000015f4: PUSH2 0x1600 000015f7: JUMPI 000015f8: POP 000015f9: PUSH0 000015fa: ISZERO 000015fb: ISZERO 000015fc: DUP6 000015fd: ISZERO 000015fe: ISZERO 000015ff: EQ 00001600: JUMPDEST 00001601: ISZERO 00001602: PUSH2 0x1616 00001605: JUMPI 00001606: PUSH2 0x1611 00001609: DUP5 0000160a: DUP5 0000160b: DUP5 0000160c: DUP5 0000160d: PUSH2 0x1405 00001610: JUMP 00001611: JUMPDEST 00001612: PUSH2 0x1625 00001615: JUMP 00001616: JUMPDEST 00001617: PUSH2 0x1624 0000161a: DUP5 0000161b: DUP5 0000161c: DUP5 0000161d: DUP5 0000161e: DUP10 0000161f: DUP12 00001620: PUSH2 0x168d 00001623: JUMP 00001624: JUMPDEST 00001625: JUMPDEST 00001626: POP 00001627: POP 00001628: POP 00001629: PUSH2 0x1684 0000162c: JUMP 0000162d: JUMPDEST 0000162e: CALLDATASIZE 0000162f: PUSH0 00001630: DUP9 00001631: DUP9 00001632: PUSH1 0x15 00001634: SWAP1 00001635: DUP1 00001636: SWAP3 00001637: PUSH2 0x1642 0000163a: SWAP4 0000163b: SWAP3 0000163c: SWAP2 0000163d: SWAP1 0000163e: PUSH2 0x1edb 00001641: JUMP 00001642: JUMPDEST 00001643: SWAP2 00001644: POP 00001645: SWAP2 00001646: POP 00001647: PUSH0 00001648: ISZERO 00001649: ISZERO 0000164a: DUP6 0000164b: ISZERO 0000164c: ISZERO 0000164d: EQ 0000164e: DUP1 0000164f: ISZERO 00001650: PUSH2 0x165c 00001653: JUMPI 00001654: POP 00001655: PUSH0 00001656: ISZERO 00001657: ISZERO 00001658: DUP5 00001659: ISZERO 0000165a: ISZERO 0000165b: EQ 0000165c: JUMPDEST 0000165d: ISZERO 0000165e: PUSH2 0x1672 00001661: JUMPI 00001662: PUSH2 0x166d 00001665: DUP4 00001666: PUSH0 00001667: DUP5 00001668: DUP5 00001669: PUSH2 0x1405 0000166c: JUMP 0000166d: JUMPDEST 0000166e: PUSH2 0x1681 00001671: JUMP 00001672: JUMPDEST 00001673: PUSH2 0x1680 00001676: DUP4 00001677: PUSH0 00001678: DUP5 00001679: DUP5 0000167a: DUP9 0000167b: DUP11 0000167c: PUSH2 0x168d 0000167f: JUMP 00001680: JUMPDEST 00001681: JUMPDEST 00001682: POP 00001683: POP 00001684: JUMPDEST 00001685: POP 00001686: POP 00001687: POP 00001688: POP 00001689: POP 0000168a: POP 0000168b: POP 0000168c: JUMP 0000168d: JUMPDEST 0000168e: PUSH0 0000168f: ISZERO 00001690: ISZERO 00001691: DUP3 00001692: ISZERO 00001693: ISZERO 00001694: SUB 00001695: PUSH2 0x16aa 00001698: JUMPI 00001699: PUSH2 0x16a5 0000169c: DUP7 0000169d: DUP7 0000169e: DUP7 0000169f: DUP7 000016a0: DUP6 000016a1: PUSH2 0x16bf 000016a4: JUMP 000016a5: JUMPDEST 000016a6: PUSH2 0x16b7 000016a9: JUMP 000016aa: JUMPDEST 000016ab: PUSH2 0x16b6 000016ae: DUP7 000016af: DUP6 000016b0: DUP6 000016b1: DUP5 000016b2: PUSH2 0x16f0 000016b5: JUMP 000016b6: JUMPDEST 000016b7: JUMPDEST 000016b8: POP 000016b9: POP 000016ba: POP 000016bb: POP 000016bc: POP 000016bd: POP 000016be: JUMP 000016bf: JUMPDEST 000016c0: PUSH1 0x01 000016c2: ISZERO 000016c3: ISZERO 000016c4: DUP2 000016c5: ISZERO 000016c6: ISZERO 000016c7: SUB 000016c8: PUSH2 0x16dc 000016cb: JUMPI 000016cc: PUSH2 0x16d7 000016cf: DUP6 000016d0: DUP6 000016d1: DUP6 000016d2: DUP6 000016d3: PUSH2 0x171e 000016d6: JUMP 000016d7: JUMPDEST 000016d8: PUSH2 0x16e9 000016db: JUMP 000016dc: JUMPDEST 000016dd: PUSH2 0x16e8 000016e0: DUP6 000016e1: DUP6 000016e2: DUP6 000016e3: DUP6 000016e4: PUSH2 0x1405 000016e7: JUMP 000016e8: JUMPDEST 000016e9: JUMPDEST 000016ea: POP 000016eb: POP 000016ec: POP 000016ed: POP 000016ee: POP 000016ef: JUMP 000016f0: JUMPDEST 000016f1: PUSH1 0x01 000016f3: ISZERO 000016f4: ISZERO 000016f5: DUP2 000016f6: ISZERO 000016f7: ISZERO 000016f8: SUB 000016f9: PUSH2 0x170c 000016fc: JUMPI 000016fd: PUSH2 0x1707 00001700: DUP5 00001701: DUP5 00001702: DUP5 00001703: PUSH2 0x178e 00001706: JUMP 00001707: JUMPDEST 00001708: PUSH2 0x1718 0000170b: JUMP 0000170c: JUMPDEST 0000170d: PUSH2 0x1717 00001710: DUP5 00001711: DUP5 00001712: DUP5 00001713: PUSH2 0x0414 00001716: JUMP 00001717: JUMPDEST 00001718: JUMPDEST 00001719: POP 0000171a: POP 0000171b: POP 0000171c: POP 0000171d: JUMP 0000171e: JUMPDEST 0000171f: DUP4 00001720: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001735: AND 00001736: DUP4 00001737: DUP4 00001738: DUP4 00001739: PUSH1 0x40 0000173b: MLOAD 0000173c: PUSH2 0x1746 0000173f: SWAP3 00001740: SWAP2 00001741: SWAP1 00001742: PUSH2 0x1cb3 00001745: JUMP 00001746: JUMPDEST 00001747: PUSH0 00001748: PUSH1 0x40 0000174a: MLOAD 0000174b: DUP1 0000174c: DUP4 0000174d: SUB 0000174e: DUP2 0000174f: DUP6 00001750: DUP8 00001751: GAS 00001752: CALL 00001753: SWAP3 00001754: POP 00001755: POP 00001756: POP 00001757: RETURNDATASIZE 00001758: DUP1 00001759: PUSH0 0000175a: DUP2 0000175b: EQ 0000175c: PUSH2 0x1780 0000175f: JUMPI 00001760: PUSH1 0x40 00001762: MLOAD 00001763: SWAP2 00001764: POP 00001765: PUSH1 0x1f 00001767: NOT 00001768: PUSH1 0x3f 0000176a: RETURNDATASIZE 0000176b: ADD 0000176c: AND 0000176d: DUP3 0000176e: ADD 0000176f: PUSH1 0x40 00001771: MSTORE 00001772: RETURNDATASIZE 00001773: DUP3 00001774: MSTORE 00001775: RETURNDATASIZE 00001776: PUSH0 00001777: PUSH1 0x20 00001779: DUP5 0000177a: ADD 0000177b: RETURNDATACOPY 0000177c: PUSH2 0x1785 0000177f: JUMP 00001780: JUMPDEST 00001781: PUSH1 0x60 00001783: SWAP2 00001784: POP 00001785: JUMPDEST 00001786: POP 00001787: POP 00001788: POP 00001789: POP 0000178a: POP 0000178b: POP 0000178c: POP 0000178d: JUMP 0000178e: JUMPDEST 0000178f: DUP3 00001790: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017a5: AND 000017a6: DUP3 000017a7: DUP3 000017a8: PUSH1 0x40 000017aa: MLOAD 000017ab: PUSH2 0x17b5 000017ae: SWAP3 000017af: SWAP2 000017b0: SWAP1 000017b1: PUSH2 0x1cb3 000017b4: JUMP 000017b5: JUMPDEST 000017b6: PUSH0 000017b7: PUSH1 0x40 000017b9: MLOAD 000017ba: DUP1 000017bb: DUP4 000017bc: SUB 000017bd: DUP2 000017be: DUP6 000017bf: GAS 000017c0: DELEGATECALL 000017c1: SWAP2 000017c2: POP 000017c3: POP 000017c4: RETURNDATASIZE 000017c5: DUP1 000017c6: PUSH0 000017c7: DUP2 000017c8: EQ 000017c9: PUSH2 0x17ed 000017cc: JUMPI 000017cd: PUSH1 0x40 000017cf: MLOAD 000017d0: SWAP2 000017d1: POP 000017d2: PUSH1 0x1f 000017d4: NOT 000017d5: PUSH1 0x3f 000017d7: RETURNDATASIZE 000017d8: ADD 000017d9: AND 000017da: DUP3 000017db: ADD 000017dc: PUSH1 0x40 000017de: MSTORE 000017df: RETURNDATASIZE 000017e0: DUP3 000017e1: MSTORE 000017e2: RETURNDATASIZE 000017e3: PUSH0 000017e4: PUSH1 0x20 000017e6: DUP5 000017e7: ADD 000017e8: RETURNDATACOPY 000017e9: PUSH2 0x17f2 000017ec: JUMP 000017ed: JUMPDEST 000017ee: PUSH1 0x60 000017f0: SWAP2 000017f1: POP 000017f2: JUMPDEST 000017f3: POP 000017f4: POP 000017f5: POP 000017f6: POP 000017f7: POP 000017f8: POP 000017f9: JUMP 000017fa: JUMPDEST 000017fb: PUSH0 000017fc: DUP3 000017fd: DUP3 000017fe: MSTORE 000017ff: PUSH1 0x20 00001801: DUP3 00001802: ADD 00001803: SWAP1 00001804: POP 00001805: SWAP3 00001806: SWAP2 00001807: POP 00001808: POP 00001809: JUMP 0000180a: JUMPDEST 0000180b: PUSH32 0x72656e3200000000000000000000000000000000000000000000000000000000 0000182c: PUSH0 0000182d: DUP3 0000182e: ADD 0000182f: MSTORE 00001830: POP 00001831: JUMP 00001832: JUMPDEST 00001833: PUSH0 00001834: PUSH2 0x183e 00001837: PUSH1 0x04 00001839: DUP4 0000183a: PUSH2 0x17fa 0000183d: JUMP 0000183e: JUMPDEST 0000183f: SWAP2 00001840: POP 00001841: PUSH2 0x1849 00001844: DUP3 00001845: PUSH2 0x180a 00001848: JUMP 00001849: JUMPDEST 0000184a: PUSH1 0x20 0000184c: DUP3 0000184d: ADD 0000184e: SWAP1 0000184f: POP 00001850: SWAP2 00001851: SWAP1 00001852: POP 00001853: JUMP 00001854: JUMPDEST 00001855: PUSH0 00001856: PUSH1 0x20 00001858: DUP3 00001859: ADD 0000185a: SWAP1 0000185b: POP 0000185c: DUP2 0000185d: DUP2 0000185e: SUB 0000185f: PUSH0 00001860: DUP4 00001861: ADD 00001862: MSTORE 00001863: PUSH2 0x186b 00001866: DUP2 00001867: PUSH2 0x1832 0000186a: JUMP 0000186b: JUMPDEST 0000186c: SWAP1 0000186d: POP 0000186e: SWAP2 0000186f: SWAP1 00001870: POP 00001871: JUMP 00001872: JUMPDEST 00001873: PUSH32 0x74786e6f726967696e64696166616c6c00000000000000000000000000000000 00001894: PUSH0 00001895: DUP3 00001896: ADD 00001897: MSTORE 00001898: POP 00001899: JUMP 0000189a: JUMPDEST 0000189b: PUSH0 0000189c: PUSH2 0x18a6 0000189f: PUSH1 0x10 000018a1: DUP4 000018a2: PUSH2 0x17fa 000018a5: JUMP 000018a6: JUMPDEST 000018a7: SWAP2 000018a8: POP 000018a9: PUSH2 0x18b1 000018ac: DUP3 000018ad: PUSH2 0x1872 000018b0: JUMP 000018b1: JUMPDEST 000018b2: PUSH1 0x20 000018b4: DUP3 000018b5: ADD 000018b6: SWAP1 000018b7: POP 000018b8: SWAP2 000018b9: SWAP1 000018ba: POP 000018bb: JUMP 000018bc: JUMPDEST 000018bd: PUSH0 000018be: PUSH1 0x20 000018c0: DUP3 000018c1: ADD 000018c2: SWAP1 000018c3: POP 000018c4: DUP2 000018c5: DUP2 000018c6: SUB 000018c7: PUSH0 000018c8: DUP4 000018c9: ADD 000018ca: MSTORE 000018cb: PUSH2 0x18d3 000018ce: DUP2 000018cf: PUSH2 0x189a 000018d2: JUMP 000018d3: JUMPDEST 000018d4: SWAP1 000018d5: POP 000018d6: SWAP2 000018d7: SWAP1 000018d8: POP 000018d9: JUMP 000018da: JUMPDEST 000018db: PUSH0 000018dc: DUP1 000018dd: REVERT 000018de: JUMPDEST 000018df: PUSH0 000018e0: DUP1 000018e1: REVERT 000018e2: JUMPDEST 000018e3: PUSH0 000018e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018f9: DUP3 000018fa: AND 000018fb: SWAP1 000018fc: POP 000018fd: SWAP2 000018fe: SWAP1 000018ff: POP 00001900: JUMP 00001901: JUMPDEST 00001902: PUSH0 00001903: PUSH2 0x190b 00001906: DUP3 00001907: PUSH2 0x18e2 0000190a: JUMP 0000190b: JUMPDEST 0000190c: SWAP1 0000190d: POP 0000190e: SWAP2 0000190f: SWAP1 00001910: POP 00001911: JUMP 00001912: JUMPDEST 00001913: PUSH2 0x191b 00001916: DUP2 00001917: PUSH2 0x1901 0000191a: JUMP 0000191b: JUMPDEST 0000191c: DUP2 0000191d: EQ 0000191e: PUSH2 0x1925 00001921: JUMPI 00001922: PUSH0 00001923: DUP1 00001924: REVERT 00001925: JUMPDEST 00001926: POP 00001927: JUMP 00001928: JUMPDEST 00001929: PUSH0 0000192a: DUP2 0000192b: CALLDATALOAD 0000192c: SWAP1 0000192d: POP 0000192e: PUSH2 0x1936 00001931: DUP2 00001932: PUSH2 0x1912 00001935: JUMP 00001936: JUMPDEST 00001937: SWAP3 00001938: SWAP2 00001939: POP 0000193a: POP 0000193b: JUMP 0000193c: JUMPDEST 0000193d: PUSH0 0000193e: DUP1 0000193f: REVERT 00001940: JUMPDEST 00001941: PUSH0 00001942: DUP1 00001943: REVERT 00001944: JUMPDEST 00001945: PUSH0 00001946: DUP1 00001947: REVERT 00001948: JUMPDEST 00001949: PUSH0 0000194a: DUP1 0000194b: DUP4 0000194c: PUSH1 0x1f 0000194e: DUP5 0000194f: ADD 00001950: SLT 00001951: PUSH2 0x195d 00001954: JUMPI 00001955: PUSH2 0x195c 00001958: PUSH2 0x193c 0000195b: JUMP 0000195c: JUMPDEST 0000195d: JUMPDEST 0000195e: DUP3 0000195f: CALLDATALOAD 00001960: SWAP1 00001961: POP 00001962: PUSH8 0xffffffffffffffff 0000196b: DUP2 0000196c: GT 0000196d: ISZERO 0000196e: PUSH2 0x197a 00001971: JUMPI 00001972: PUSH2 0x1979 00001975: PUSH2 0x1940 00001978: JUMP 00001979: JUMPDEST 0000197a: JUMPDEST 0000197b: PUSH1 0x20 0000197d: DUP4 0000197e: ADD 0000197f: SWAP2 00001980: POP 00001981: DUP4 00001982: PUSH1 0x01 00001984: DUP3 00001985: MUL 00001986: DUP4 00001987: ADD 00001988: GT 00001989: ISZERO 0000198a: PUSH2 0x1996 0000198d: JUMPI 0000198e: PUSH2 0x1995 00001991: PUSH2 0x1944 00001994: JUMP 00001995: JUMPDEST 00001996: JUMPDEST 00001997: SWAP3 00001998: POP 00001999: SWAP3 0000199a: SWAP1 0000199b: POP 0000199c: JUMP 0000199d: JUMPDEST 0000199e: PUSH0 0000199f: DUP1 000019a0: PUSH0 000019a1: PUSH1 0x40 000019a3: DUP5 000019a4: DUP7 000019a5: SUB 000019a6: SLT 000019a7: ISZERO 000019a8: PUSH2 0x19b4 000019ab: JUMPI 000019ac: PUSH2 0x19b3 000019af: PUSH2 0x18da 000019b2: JUMP 000019b3: JUMPDEST 000019b4: JUMPDEST 000019b5: PUSH0 000019b6: PUSH2 0x19c1 000019b9: DUP7 000019ba: DUP3 000019bb: DUP8 000019bc: ADD 000019bd: PUSH2 0x1928 000019c0: JUMP 000019c1: JUMPDEST 000019c2: SWAP4 000019c3: POP 000019c4: POP 000019c5: PUSH1 0x20 000019c7: DUP5 000019c8: ADD 000019c9: CALLDATALOAD 000019ca: PUSH8 0xffffffffffffffff 000019d3: DUP2 000019d4: GT 000019d5: ISZERO 000019d6: PUSH2 0x19e2 000019d9: JUMPI 000019da: PUSH2 0x19e1 000019dd: PUSH2 0x18de 000019e0: JUMP 000019e1: JUMPDEST 000019e2: JUMPDEST 000019e3: PUSH2 0x19ee 000019e6: DUP7 000019e7: DUP3 000019e8: DUP8 000019e9: ADD 000019ea: PUSH2 0x1948 000019ed: JUMP 000019ee: JUMPDEST 000019ef: SWAP3 000019f0: POP 000019f1: SWAP3 000019f2: POP 000019f3: POP 000019f4: SWAP3 000019f5: POP 000019f6: SWAP3 000019f7: POP 000019f8: SWAP3 000019f9: JUMP 000019fa: JUMPDEST 000019fb: PUSH0 000019fc: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00001a1d: DUP3 00001a1e: AND 00001a1f: SWAP1 00001a20: POP 00001a21: SWAP2 00001a22: SWAP1 00001a23: POP 00001a24: JUMP 00001a25: JUMPDEST 00001a26: PUSH2 0x1a2e 00001a29: DUP2 00001a2a: PUSH2 0x19fa 00001a2d: JUMP 00001a2e: JUMPDEST 00001a2f: DUP2 00001a30: EQ 00001a31: PUSH2 0x1a38 00001a34: JUMPI 00001a35: PUSH0 00001a36: DUP1 00001a37: REVERT 00001a38: JUMPDEST 00001a39: POP 00001a3a: JUMP 00001a3b: JUMPDEST 00001a3c: PUSH0 00001a3d: DUP2 00001a3e: CALLDATALOAD 00001a3f: SWAP1 00001a40: POP 00001a41: PUSH2 0x1a49 00001a44: DUP2 00001a45: PUSH2 0x1a25 00001a48: JUMP 00001a49: JUMPDEST 00001a4a: SWAP3 00001a4b: SWAP2 00001a4c: POP 00001a4d: POP 00001a4e: JUMP 00001a4f: JUMPDEST 00001a50: PUSH0 00001a51: PUSH1 0x20 00001a53: DUP3 00001a54: DUP5 00001a55: SUB 00001a56: SLT 00001a57: ISZERO 00001a58: PUSH2 0x1a64 00001a5b: JUMPI 00001a5c: PUSH2 0x1a63 00001a5f: PUSH2 0x18da 00001a62: JUMP 00001a63: JUMPDEST 00001a64: JUMPDEST 00001a65: PUSH0 00001a66: PUSH2 0x1a71 00001a69: DUP5 00001a6a: DUP3 00001a6b: DUP6 00001a6c: ADD 00001a6d: PUSH2 0x1a3b 00001a70: JUMP 00001a71: JUMPDEST 00001a72: SWAP2 00001a73: POP 00001a74: POP 00001a75: SWAP3 00001a76: SWAP2 00001a77: POP 00001a78: POP 00001a79: JUMP 00001a7a: JUMPDEST 00001a7b: PUSH0 00001a7c: DUP2 00001a7d: ISZERO 00001a7e: ISZERO 00001a7f: SWAP1 00001a80: POP 00001a81: SWAP2 00001a82: SWAP1 00001a83: POP 00001a84: JUMP 00001a85: JUMPDEST 00001a86: PUSH2 0x1a8e 00001a89: DUP2 00001a8a: PUSH2 0x1a7a 00001a8d: JUMP 00001a8e: JUMPDEST 00001a8f: DUP3 00001a90: MSTORE 00001a91: POP 00001a92: POP 00001a93: JUMP 00001a94: JUMPDEST 00001a95: PUSH0 00001a96: PUSH1 0x20 00001a98: DUP3 00001a99: ADD 00001a9a: SWAP1 00001a9b: POP 00001a9c: PUSH2 0x1aa7 00001a9f: PUSH0 00001aa0: DUP4 00001aa1: ADD 00001aa2: DUP5 00001aa3: PUSH2 0x1a85 00001aa6: JUMP 00001aa7: JUMPDEST 00001aa8: SWAP3 00001aa9: SWAP2 00001aaa: POP 00001aab: POP 00001aac: JUMP 00001aad: JUMPDEST 00001aae: PUSH2 0x1ab6 00001ab1: DUP2 00001ab2: PUSH2 0x1901 00001ab5: JUMP 00001ab6: JUMPDEST 00001ab7: DUP3 00001ab8: MSTORE 00001ab9: POP 00001aba: POP 00001abb: JUMP 00001abc: JUMPDEST 00001abd: PUSH0 00001abe: PUSH1 0x20 00001ac0: DUP3 00001ac1: ADD 00001ac2: SWAP1 00001ac3: POP 00001ac4: PUSH2 0x1acf 00001ac7: PUSH0 00001ac8: DUP4 00001ac9: ADD 00001aca: DUP5 00001acb: PUSH2 0x1aad 00001ace: JUMP 00001acf: JUMPDEST 00001ad0: SWAP3 00001ad1: SWAP2 00001ad2: POP 00001ad3: POP 00001ad4: JUMP 00001ad5: JUMPDEST 00001ad6: PUSH0 00001ad7: DUP1 00001ad8: PUSH1 0x20 00001ada: DUP4 00001adb: DUP6 00001adc: SUB 00001add: SLT 00001ade: ISZERO 00001adf: PUSH2 0x1aeb 00001ae2: JUMPI 00001ae3: PUSH2 0x1aea 00001ae6: PUSH2 0x18da 00001ae9: JUMP 00001aea: JUMPDEST 00001aeb: JUMPDEST 00001aec: PUSH0 00001aed: DUP4 00001aee: ADD 00001aef: CALLDATALOAD 00001af0: PUSH8 0xffffffffffffffff 00001af9: DUP2 00001afa: GT 00001afb: ISZERO 00001afc: PUSH2 0x1b08 00001aff: JUMPI 00001b00: PUSH2 0x1b07 00001b03: PUSH2 0x18de 00001b06: JUMP 00001b07: JUMPDEST 00001b08: JUMPDEST 00001b09: PUSH2 0x1b14 00001b0c: DUP6 00001b0d: DUP3 00001b0e: DUP7 00001b0f: ADD 00001b10: PUSH2 0x1948 00001b13: JUMP 00001b14: JUMPDEST 00001b15: SWAP3 00001b16: POP 00001b17: SWAP3 00001b18: POP 00001b19: POP 00001b1a: SWAP3 00001b1b: POP 00001b1c: SWAP3 00001b1d: SWAP1 00001b1e: POP 00001b1f: JUMP 00001b20: JUMPDEST 00001b21: PUSH0 00001b22: DUP2 00001b23: SWAP1 00001b24: POP 00001b25: SWAP2 00001b26: SWAP1 00001b27: POP 00001b28: JUMP 00001b29: JUMPDEST 00001b2a: PUSH2 0x1b32 00001b2d: DUP2 00001b2e: PUSH2 0x1b20 00001b31: JUMP 00001b32: JUMPDEST 00001b33: DUP3 00001b34: MSTORE 00001b35: POP 00001b36: POP 00001b37: JUMP 00001b38: JUMPDEST 00001b39: PUSH0 00001b3a: PUSH1 0x20 00001b3c: DUP3 00001b3d: ADD 00001b3e: SWAP1 00001b3f: POP 00001b40: PUSH2 0x1b4b 00001b43: PUSH0 00001b44: DUP4 00001b45: ADD 00001b46: DUP5 00001b47: PUSH2 0x1b29 00001b4a: JUMP 00001b4b: JUMPDEST 00001b4c: SWAP3 00001b4d: SWAP2 00001b4e: POP 00001b4f: POP 00001b50: JUMP 00001b51: JUMPDEST 00001b52: PUSH2 0x1b5a 00001b55: DUP2 00001b56: PUSH2 0x1a7a 00001b59: JUMP 00001b5a: JUMPDEST 00001b5b: DUP2 00001b5c: EQ 00001b5d: PUSH2 0x1b64 00001b60: JUMPI 00001b61: PUSH0 00001b62: DUP1 00001b63: REVERT 00001b64: JUMPDEST 00001b65: POP 00001b66: JUMP 00001b67: JUMPDEST 00001b68: PUSH0 00001b69: DUP2 00001b6a: CALLDATALOAD 00001b6b: SWAP1 00001b6c: POP 00001b6d: PUSH2 0x1b75 00001b70: DUP2 00001b71: PUSH2 0x1b51 00001b74: JUMP 00001b75: JUMPDEST 00001b76: SWAP3 00001b77: SWAP2 00001b78: POP 00001b79: POP 00001b7a: JUMP 00001b7b: JUMPDEST 00001b7c: PUSH0 00001b7d: DUP1 00001b7e: PUSH1 0x40 00001b80: DUP4 00001b81: DUP6 00001b82: SUB 00001b83: SLT 00001b84: ISZERO 00001b85: PUSH2 0x1b91 00001b88: JUMPI 00001b89: PUSH2 0x1b90 00001b8c: PUSH2 0x18da 00001b8f: JUMP 00001b90: JUMPDEST 00001b91: JUMPDEST 00001b92: PUSH0 00001b93: PUSH2 0x1b9e 00001b96: DUP6 00001b97: DUP3 00001b98: DUP7 00001b99: ADD 00001b9a: PUSH2 0x1a3b 00001b9d: JUMP 00001b9e: JUMPDEST 00001b9f: SWAP3 00001ba0: POP 00001ba1: POP 00001ba2: PUSH1 0x20 00001ba4: PUSH2 0x1baf 00001ba7: DUP6 00001ba8: DUP3 00001ba9: DUP7 00001baa: ADD 00001bab: PUSH2 0x1b67 00001bae: JUMP 00001baf: JUMPDEST 00001bb0: SWAP2 00001bb1: POP 00001bb2: POP 00001bb3: SWAP3 00001bb4: POP 00001bb5: SWAP3 00001bb6: SWAP1 00001bb7: POP 00001bb8: JUMP 00001bb9: JUMPDEST 00001bba: PUSH0 00001bbb: PUSH1 0x20 00001bbd: DUP3 00001bbe: DUP5 00001bbf: SUB 00001bc0: SLT 00001bc1: ISZERO 00001bc2: PUSH2 0x1bce 00001bc5: JUMPI 00001bc6: PUSH2 0x1bcd 00001bc9: PUSH2 0x18da 00001bcc: JUMP 00001bcd: JUMPDEST 00001bce: JUMPDEST 00001bcf: PUSH0 00001bd0: PUSH2 0x1bdb 00001bd3: DUP5 00001bd4: DUP3 00001bd5: DUP6 00001bd6: ADD 00001bd7: PUSH2 0x1928 00001bda: JUMP 00001bdb: JUMPDEST 00001bdc: SWAP2 00001bdd: POP 00001bde: POP 00001bdf: SWAP3 00001be0: SWAP2 00001be1: POP 00001be2: POP 00001be3: JUMP 00001be4: JUMPDEST 00001be5: PUSH0 00001be6: DUP1 00001be7: PUSH1 0x40 00001be9: DUP4 00001bea: DUP6 00001beb: SUB 00001bec: SLT 00001bed: ISZERO 00001bee: PUSH2 0x1bfa 00001bf1: JUMPI 00001bf2: PUSH2 0x1bf9 00001bf5: PUSH2 0x18da 00001bf8: JUMP 00001bf9: JUMPDEST 00001bfa: JUMPDEST 00001bfb: PUSH0 00001bfc: PUSH2 0x1c07 00001bff: DUP6 00001c00: DUP3 00001c01: DUP7 00001c02: ADD 00001c03: PUSH2 0x1a3b 00001c06: JUMP 00001c07: JUMPDEST 00001c08: SWAP3 00001c09: POP 00001c0a: POP 00001c0b: PUSH1 0x20 00001c0d: PUSH2 0x1c18 00001c10: DUP6 00001c11: DUP3 00001c12: DUP7 00001c13: ADD 00001c14: PUSH2 0x1928 00001c17: JUMP 00001c18: JUMPDEST 00001c19: SWAP2 00001c1a: POP 00001c1b: POP 00001c1c: SWAP3 00001c1d: POP 00001c1e: SWAP3 00001c1f: SWAP1 00001c20: POP 00001c21: JUMP 00001c22: JUMPDEST 00001c23: PUSH2 0x1c2b 00001c26: DUP2 00001c27: PUSH2 0x1b20 00001c2a: JUMP 00001c2b: JUMPDEST 00001c2c: DUP2 00001c2d: EQ 00001c2e: PUSH2 0x1c35 00001c31: JUMPI 00001c32: PUSH0 00001c33: DUP1 00001c34: REVERT 00001c35: JUMPDEST 00001c36: POP 00001c37: JUMP 00001c38: JUMPDEST 00001c39: PUSH0 00001c3a: DUP2 00001c3b: CALLDATALOAD 00001c3c: SWAP1 00001c3d: POP 00001c3e: PUSH2 0x1c46 00001c41: DUP2 00001c42: PUSH2 0x1c22 00001c45: JUMP 00001c46: JUMPDEST 00001c47: SWAP3 00001c48: SWAP2 00001c49: POP 00001c4a: POP 00001c4b: JUMP 00001c4c: JUMPDEST 00001c4d: PUSH0 00001c4e: PUSH1 0x20 00001c50: DUP3 00001c51: DUP5 00001c52: SUB 00001c53: SLT 00001c54: ISZERO 00001c55: PUSH2 0x1c61 00001c58: JUMPI 00001c59: PUSH2 0x1c60 00001c5c: PUSH2 0x18da 00001c5f: JUMP 00001c60: JUMPDEST 00001c61: JUMPDEST 00001c62: PUSH0 00001c63: PUSH2 0x1c6e 00001c66: DUP5 00001c67: DUP3 00001c68: DUP6 00001c69: ADD 00001c6a: PUSH2 0x1c38 00001c6d: JUMP 00001c6e: JUMPDEST 00001c6f: SWAP2 00001c70: POP 00001c71: POP 00001c72: SWAP3 00001c73: SWAP2 00001c74: POP 00001c75: POP 00001c76: JUMP 00001c77: JUMPDEST 00001c78: PUSH0 00001c79: DUP2 00001c7a: SWAP1 00001c7b: POP 00001c7c: SWAP3 00001c7d: SWAP2 00001c7e: POP 00001c7f: POP 00001c80: JUMP 00001c81: JUMPDEST 00001c82: DUP3 00001c83: DUP2 00001c84: DUP4 00001c85: CALLDATACOPY 00001c86: PUSH0 00001c87: DUP4 00001c88: DUP4 00001c89: ADD 00001c8a: MSTORE 00001c8b: POP 00001c8c: POP 00001c8d: POP 00001c8e: JUMP 00001c8f: JUMPDEST 00001c90: PUSH0 00001c91: PUSH2 0x1c9a 00001c94: DUP4 00001c95: DUP6 00001c96: PUSH2 0x1c77 00001c99: JUMP 00001c9a: JUMPDEST 00001c9b: SWAP4 00001c9c: POP 00001c9d: PUSH2 0x1ca7 00001ca0: DUP4 00001ca1: DUP6 00001ca2: DUP5 00001ca3: PUSH2 0x1c81 00001ca6: JUMP 00001ca7: JUMPDEST 00001ca8: DUP3 00001ca9: DUP5 00001caa: ADD 00001cab: SWAP1 00001cac: POP 00001cad: SWAP4 00001cae: SWAP3 00001caf: POP 00001cb0: POP 00001cb1: POP 00001cb2: JUMP 00001cb3: JUMPDEST 00001cb4: PUSH0 00001cb5: PUSH2 0x1cbf 00001cb8: DUP3 00001cb9: DUP5 00001cba: DUP7 00001cbb: PUSH2 0x1c8f 00001cbe: JUMP 00001cbf: JUMPDEST 00001cc0: SWAP2 00001cc1: POP 00001cc2: DUP2 00001cc3: SWAP1 00001cc4: POP 00001cc5: SWAP4 00001cc6: SWAP3 00001cc7: POP 00001cc8: POP 00001cc9: POP 00001cca: JUMP 00001ccb: JUMPDEST 00001ccc: PUSH32 0x6e6f776e00000000000000000000000000000000000000000000000000000000 00001ced: PUSH0 00001cee: DUP3 00001cef: ADD 00001cf0: MSTORE 00001cf1: POP 00001cf2: JUMP 00001cf3: JUMPDEST 00001cf4: PUSH0 00001cf5: PUSH2 0x1cff 00001cf8: PUSH1 0x04 00001cfa: DUP4 00001cfb: PUSH2 0x17fa 00001cfe: JUMP 00001cff: JUMPDEST 00001d00: SWAP2 00001d01: POP 00001d02: PUSH2 0x1d0a 00001d05: DUP3 00001d06: PUSH2 0x1ccb 00001d09: JUMP 00001d0a: JUMPDEST 00001d0b: PUSH1 0x20 00001d0d: DUP3 00001d0e: ADD 00001d0f: SWAP1 00001d10: POP 00001d11: SWAP2 00001d12: SWAP1 00001d13: POP 00001d14: JUMP 00001d15: JUMPDEST 00001d16: PUSH0 00001d17: PUSH1 0x20 00001d19: DUP3 00001d1a: ADD 00001d1b: SWAP1 00001d1c: POP 00001d1d: DUP2 00001d1e: DUP2 00001d1f: SUB 00001d20: PUSH0 00001d21: DUP4 00001d22: ADD 00001d23: MSTORE 00001d24: PUSH2 0x1d2c 00001d27: DUP2 00001d28: PUSH2 0x1cf3 00001d2b: JUMP 00001d2c: JUMPDEST 00001d2d: SWAP1 00001d2e: POP 00001d2f: SWAP2 00001d30: SWAP1 00001d31: POP 00001d32: JUMP 00001d33: JUMPDEST 00001d34: PUSH32 0x72656e3000000000000000000000000000000000000000000000000000000000 00001d55: PUSH0 00001d56: DUP3 00001d57: ADD 00001d58: MSTORE 00001d59: POP 00001d5a: JUMP 00001d5b: JUMPDEST 00001d5c: PUSH0 00001d5d: PUSH2 0x1d67 00001d60: PUSH1 0x04 00001d62: DUP4 00001d63: PUSH2 0x17fa 00001d66: JUMP 00001d67: JUMPDEST 00001d68: SWAP2 00001d69: POP 00001d6a: PUSH2 0x1d72 00001d6d: DUP3 00001d6e: PUSH2 0x1d33 00001d71: JUMP 00001d72: JUMPDEST 00001d73: PUSH1 0x20 00001d75: DUP3 00001d76: ADD 00001d77: SWAP1 00001d78: POP 00001d79: SWAP2 00001d7a: SWAP1 00001d7b: POP 00001d7c: JUMP 00001d7d: JUMPDEST 00001d7e: PUSH0 00001d7f: PUSH1 0x20 00001d81: DUP3 00001d82: ADD 00001d83: SWAP1 00001d84: POP 00001d85: DUP2 00001d86: DUP2 00001d87: SUB 00001d88: PUSH0 00001d89: DUP4 00001d8a: ADD 00001d8b: MSTORE 00001d8c: PUSH2 0x1d94 00001d8f: DUP2 00001d90: PUSH2 0x1d5b 00001d93: JUMP 00001d94: JUMPDEST 00001d95: SWAP1 00001d96: POP 00001d97: SWAP2 00001d98: SWAP1 00001d99: POP 00001d9a: JUMP 00001d9b: JUMPDEST 00001d9c: PUSH32 0x6276653700000000000000000000000000000000000000000000000000000000 00001dbd: PUSH0 00001dbe: DUP3 00001dbf: ADD 00001dc0: MSTORE 00001dc1: POP 00001dc2: JUMP 00001dc3: JUMPDEST 00001dc4: PUSH0 00001dc5: PUSH2 0x1dcf 00001dc8: PUSH1 0x04 00001dca: DUP4 00001dcb: PUSH2 0x17fa 00001dce: JUMP 00001dcf: JUMPDEST 00001dd0: SWAP2 00001dd1: POP 00001dd2: PUSH2 0x1dda 00001dd5: DUP3 00001dd6: PUSH2 0x1d9b 00001dd9: JUMP 00001dda: JUMPDEST 00001ddb: PUSH1 0x20 00001ddd: DUP3 00001dde: ADD 00001ddf: SWAP1 00001de0: POP 00001de1: SWAP2 00001de2: SWAP1 00001de3: POP 00001de4: JUMP 00001de5: JUMPDEST 00001de6: PUSH0 00001de7: PUSH1 0x20 00001de9: DUP3 00001dea: ADD 00001deb: SWAP1 00001dec: POP 00001ded: DUP2 00001dee: DUP2 00001def: SUB 00001df0: PUSH0 00001df1: DUP4 00001df2: ADD 00001df3: MSTORE 00001df4: PUSH2 0x1dfc 00001df7: DUP2 00001df8: PUSH2 0x1dc3 00001dfb: JUMP 00001dfc: JUMPDEST 00001dfd: SWAP1 00001dfe: POP 00001dff: SWAP2 00001e00: SWAP1 00001e01: POP 00001e02: JUMP 00001e03: JUMPDEST 00001e04: PUSH32 0x6e77686c00000000000000000000000000000000000000000000000000000000 00001e25: PUSH0 00001e26: DUP3 00001e27: ADD 00001e28: MSTORE 00001e29: POP 00001e2a: JUMP 00001e2b: JUMPDEST 00001e2c: PUSH0 00001e2d: PUSH2 0x1e37 00001e30: PUSH1 0x04 00001e32: DUP4 00001e33: PUSH2 0x17fa 00001e36: JUMP 00001e37: JUMPDEST 00001e38: SWAP2 00001e39: POP 00001e3a: PUSH2 0x1e42 00001e3d: DUP3 00001e3e: PUSH2 0x1e03 00001e41: JUMP 00001e42: JUMPDEST 00001e43: PUSH1 0x20 00001e45: DUP3 00001e46: ADD 00001e47: SWAP1 00001e48: POP 00001e49: SWAP2 00001e4a: SWAP1 00001e4b: POP 00001e4c: JUMP 00001e4d: JUMPDEST 00001e4e: PUSH0 00001e4f: PUSH1 0x20 00001e51: DUP3 00001e52: ADD 00001e53: SWAP1 00001e54: POP 00001e55: DUP2 00001e56: DUP2 00001e57: SUB 00001e58: PUSH0 00001e59: DUP4 00001e5a: ADD 00001e5b: MSTORE 00001e5c: PUSH2 0x1e64 00001e5f: DUP2 00001e60: PUSH2 0x1e2b 00001e63: JUMP 00001e64: JUMPDEST 00001e65: SWAP1 00001e66: POP 00001e67: SWAP2 00001e68: SWAP1 00001e69: POP 00001e6a: JUMP 00001e6b: JUMPDEST 00001e6c: PUSH32 0x6276653100000000000000000000000000000000000000000000000000000000 00001e8d: PUSH0 00001e8e: DUP3 00001e8f: ADD 00001e90: MSTORE 00001e91: POP 00001e92: JUMP 00001e93: JUMPDEST 00001e94: PUSH0 00001e95: PUSH2 0x1e9f 00001e98: PUSH1 0x04 00001e9a: DUP4 00001e9b: PUSH2 0x17fa 00001e9e: JUMP 00001e9f: JUMPDEST 00001ea0: SWAP2 00001ea1: POP 00001ea2: PUSH2 0x1eaa 00001ea5: DUP3 00001ea6: PUSH2 0x1e6b 00001ea9: JUMP 00001eaa: JUMPDEST 00001eab: PUSH1 0x20 00001ead: DUP3 00001eae: ADD 00001eaf: SWAP1 00001eb0: POP 00001eb1: SWAP2 00001eb2: SWAP1 00001eb3: POP 00001eb4: JUMP 00001eb5: JUMPDEST 00001eb6: PUSH0 00001eb7: PUSH1 0x20 00001eb9: DUP3 00001eba: ADD 00001ebb: SWAP1 00001ebc: POP 00001ebd: DUP2 00001ebe: DUP2 00001ebf: SUB 00001ec0: PUSH0 00001ec1: DUP4 00001ec2: ADD 00001ec3: MSTORE 00001ec4: PUSH2 0x1ecc 00001ec7: DUP2 00001ec8: PUSH2 0x1e93 00001ecb: JUMP 00001ecc: JUMPDEST 00001ecd: SWAP1 00001ece: POP 00001ecf: SWAP2 00001ed0: SWAP1 00001ed1: POP 00001ed2: JUMP 00001ed3: JUMPDEST 00001ed4: PUSH0 00001ed5: DUP1 00001ed6: REVERT 00001ed7: JUMPDEST 00001ed8: PUSH0 00001ed9: DUP1 00001eda: REVERT 00001edb: JUMPDEST 00001edc: PUSH0 00001edd: DUP1 00001ede: DUP6 00001edf: DUP6 00001ee0: GT 00001ee1: ISZERO 00001ee2: PUSH2 0x1eee 00001ee5: JUMPI 00001ee6: PUSH2 0x1eed 00001ee9: PUSH2 0x1ed3 00001eec: JUMP 00001eed: JUMPDEST 00001eee: JUMPDEST 00001eef: DUP4 00001ef0: DUP7 00001ef1: GT 00001ef2: ISZERO 00001ef3: PUSH2 0x1eff 00001ef6: JUMPI 00001ef7: PUSH2 0x1efe 00001efa: PUSH2 0x1ed7 00001efd: JUMP 00001efe: JUMPDEST 00001eff: JUMPDEST 00001f00: PUSH1 0x01 00001f02: DUP6 00001f03: MUL 00001f04: DUP4 00001f05: ADD 00001f06: SWAP2 00001f07: POP 00001f08: DUP5 00001f09: DUP7 00001f0a: SUB 00001f0b: SWAP1 00001f0c: POP 00001f0d: SWAP5 00001f0e: POP 00001f0f: SWAP5 00001f10: SWAP3 00001f11: POP 00001f12: POP 00001f13: POP 00001f14: JUMP 00001f15: JUMPDEST 00001f16: PUSH0 00001f17: DUP3 00001f18: SWAP1 00001f19: POP 00001f1a: SWAP3 00001f1b: SWAP2 00001f1c: POP 00001f1d: POP 00001f1e: JUMP 00001f1f: JUMPDEST 00001f20: PUSH0 00001f21: PUSH32 0xffff000000000000000000000000000000000000000000000000000000000000 00001f42: DUP3 00001f43: AND 00001f44: SWAP1 00001f45: POP 00001f46: SWAP2 00001f47: SWAP1 00001f48: POP 00001f49: JUMP 00001f4a: JUMPDEST 00001f4b: PUSH0 00001f4c: DUP3 00001f4d: DUP3 00001f4e: SHL 00001f4f: SWAP1 00001f50: POP 00001f51: SWAP3 00001f52: SWAP2 00001f53: POP 00001f54: POP 00001f55: JUMP 00001f56: JUMPDEST 00001f57: PUSH0 00001f58: PUSH2 0x1f61 00001f5b: DUP4 00001f5c: DUP4 00001f5d: PUSH2 0x1f15 00001f60: JUMP 00001f61: JUMPDEST 00001f62: DUP3 00001f63: PUSH2 0x1f6c 00001f66: DUP2 00001f67: CALLDATALOAD 00001f68: PUSH2 0x1f1f 00001f6b: JUMP 00001f6c: JUMPDEST 00001f6d: SWAP3 00001f6e: POP 00001f6f: PUSH1 0x02 00001f71: DUP3 00001f72: LT 00001f73: ISZERO 00001f74: PUSH2 0x1fac 00001f77: JUMPI 00001f78: PUSH2 0x1fa7 00001f7b: PUSH32 0xffff000000000000000000000000000000000000000000000000000000000000 00001f9c: DUP4 00001f9d: PUSH1 0x02 00001f9f: SUB 00001fa0: PUSH1 0x08 00001fa2: MUL 00001fa3: PUSH2 0x1f4a 00001fa6: JUMP 00001fa7: JUMPDEST 00001fa8: DUP4 00001fa9: AND 00001faa: SWAP3 00001fab: POP 00001fac: JUMPDEST 00001fad: POP 00001fae: POP 00001faf: SWAP3 00001fb0: SWAP2 00001fb1: POP 00001fb2: POP 00001fb3: JUMP 00001fb4: JUMPDEST 00001fb5: PUSH32 0x6773310000000000000000000000000000000000000000000000000000000000 00001fd6: PUSH0 00001fd7: DUP3 00001fd8: ADD 00001fd9: MSTORE 00001fda: POP 00001fdb: JUMP 00001fdc: JUMPDEST 00001fdd: PUSH0 00001fde: PUSH2 0x1fe8 00001fe1: PUSH1 0x03 00001fe3: DUP4 00001fe4: PUSH2 0x17fa 00001fe7: JUMP 00001fe8: JUMPDEST 00001fe9: SWAP2 00001fea: POP 00001feb: PUSH2 0x1ff3 00001fee: DUP3 00001fef: PUSH2 0x1fb4 00001ff2: JUMP 00001ff3: JUMPDEST 00001ff4: PUSH1 0x20 00001ff6: DUP3 00001ff7: ADD 00001ff8: SWAP1 00001ff9: POP 00001ffa: SWAP2 00001ffb: SWAP1 00001ffc: POP 00001ffd: JUMP 00001ffe: JUMPDEST 00001fff: PUSH0 00002000: PUSH1 0x20 00002002: DUP3 00002003: ADD 00002004: SWAP1 00002005: POP 00002006: DUP2 00002007: DUP2 00002008: SUB 00002009: PUSH0 0000200a: DUP4 0000200b: ADD 0000200c: MSTORE 0000200d: PUSH2 0x2015 00002010: DUP2 00002011: PUSH2 0x1fdc 00002014: JUMP 00002015: JUMPDEST 00002016: SWAP1 00002017: POP 00002018: SWAP2 00002019: SWAP1 0000201a: POP 0000201b: JUMP 0000201c: JUMPDEST 0000201d: PUSH32 0x6662653100000000000000000000000000000000000000000000000000000000 0000203e: PUSH0 0000203f: DUP3 00002040: ADD 00002041: MSTORE 00002042: POP 00002043: JUMP 00002044: JUMPDEST 00002045: PUSH0 00002046: PUSH2 0x2050 00002049: PUSH1 0x04 0000204b: DUP4 0000204c: PUSH2 0x17fa 0000204f: JUMP 00002050: JUMPDEST 00002051: SWAP2 00002052: POP 00002053: PUSH2 0x205b 00002056: DUP3 00002057: PUSH2 0x201c 0000205a: JUMP 0000205b: JUMPDEST 0000205c: PUSH1 0x20 0000205e: DUP3 0000205f: ADD 00002060: SWAP1 00002061: POP 00002062: SWAP2 00002063: SWAP1 00002064: POP 00002065: JUMP 00002066: JUMPDEST 00002067: PUSH0 00002068: PUSH1 0x20 0000206a: DUP3 0000206b: ADD 0000206c: SWAP1 0000206d: POP 0000206e: DUP2 0000206f: DUP2 00002070: SUB 00002071: PUSH0 00002072: DUP4 00002073: ADD 00002074: MSTORE 00002075: PUSH2 0x207d 00002078: DUP2 00002079: PUSH2 0x2044 0000207c: JUMP 0000207d: JUMPDEST 0000207e: SWAP1 0000207f: POP 00002080: SWAP2 00002081: SWAP1 00002082: POP 00002083: JUMP 00002084: JUMPDEST 00002085: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000020a6: PUSH0 000020a7: MSTORE 000020a8: PUSH1 0x12 000020aa: PUSH1 0x04 000020ac: MSTORE 000020ad: PUSH1 0x24 000020af: PUSH0 000020b0: REVERT 000020b1: JUMPDEST 000020b2: PUSH32 0x6773320000000000000000000000000000000000000000000000000000000000 000020d3: PUSH0 000020d4: DUP3 000020d5: ADD 000020d6: MSTORE 000020d7: POP 000020d8: JUMP 000020d9: JUMPDEST 000020da: PUSH0 000020db: PUSH2 0x20e5 000020de: PUSH1 0x03 000020e0: DUP4 000020e1: PUSH2 0x17fa 000020e4: JUMP 000020e5: JUMPDEST 000020e6: SWAP2 000020e7: POP 000020e8: PUSH2 0x20f0 000020eb: DUP3 000020ec: PUSH2 0x20b1 000020ef: JUMP 000020f0: JUMPDEST 000020f1: PUSH1 0x20 000020f3: DUP3 000020f4: ADD 000020f5: SWAP1 000020f6: POP 000020f7: SWAP2 000020f8: SWAP1 000020f9: POP 000020fa: JUMP 000020fb: JUMPDEST 000020fc: PUSH0 000020fd: PUSH1 0x20 000020ff: DUP3 00002100: ADD 00002101: SWAP1 00002102: POP 00002103: DUP2 00002104: DUP2 00002105: SUB 00002106: PUSH0 00002107: DUP4 00002108: ADD 00002109: MSTORE 0000210a: PUSH2 0x2112 0000210d: DUP2 0000210e: PUSH2 0x20d9 00002111: JUMP 00002112: JUMPDEST 00002113: SWAP1 00002114: POP 00002115: SWAP2 00002116: SWAP1 00002117: POP 00002118: JUMP 00002119: JUMPDEST 0000211a: PUSH32 0x6773330000000000000000000000000000000000000000000000000000000000 0000213b: PUSH0 0000213c: DUP3 0000213d: ADD 0000213e: MSTORE 0000213f: POP 00002140: JUMP 00002141: JUMPDEST 00002142: PUSH0 00002143: PUSH2 0x214d 00002146: PUSH1 0x03 00002148: DUP4 00002149: PUSH2 0x17fa 0000214c: JUMP 0000214d: JUMPDEST 0000214e: SWAP2 0000214f: POP 00002150: PUSH2 0x2158 00002153: DUP3 00002154: PUSH2 0x2119 00002157: JUMP 00002158: JUMPDEST 00002159: PUSH1 0x20 0000215b: DUP3 0000215c: ADD 0000215d: SWAP1 0000215e: POP 0000215f: SWAP2 00002160: SWAP1 00002161: POP 00002162: JUMP 00002163: JUMPDEST 00002164: PUSH0 00002165: PUSH1 0x20 00002167: DUP3 00002168: ADD 00002169: SWAP1 0000216a: POP 0000216b: DUP2 0000216c: DUP2 0000216d: SUB 0000216e: PUSH0 0000216f: DUP4 00002170: ADD 00002171: MSTORE 00002172: PUSH2 0x217a 00002175: DUP2 00002176: PUSH2 0x2141 00002179: JUMP 0000217a: JUMPDEST 0000217b: SWAP1 0000217c: POP 0000217d: SWAP2 0000217e: SWAP1 0000217f: POP 00002180: JUMP 00002181: JUMPDEST 00002182: PUSH32 0x6e74726e00000000000000000000000000000000000000000000000000000000 000021a3: PUSH0 000021a4: DUP3 000021a5: ADD 000021a6: MSTORE 000021a7: POP 000021a8: JUMP 000021a9: JUMPDEST 000021aa: PUSH0 000021ab: PUSH2 0x21b5 000021ae: PUSH1 0x04 000021b0: DUP4 000021b1: PUSH2 0x17fa 000021b4: JUMP 000021b5: JUMPDEST 000021b6: SWAP2 000021b7: POP 000021b8: PUSH2 0x21c0 000021bb: DUP3 000021bc: PUSH2 0x2181 000021bf: JUMP 000021c0: JUMPDEST 000021c1: PUSH1 0x20 000021c3: DUP3 000021c4: ADD 000021c5: SWAP1 000021c6: POP 000021c7: SWAP2 000021c8: SWAP1 000021c9: POP 000021ca: JUMP 000021cb: JUMPDEST 000021cc: PUSH0 000021cd: PUSH1 0x20 000021cf: DUP3 000021d0: ADD 000021d1: SWAP1 000021d2: POP 000021d3: DUP2 000021d4: DUP2 000021d5: SUB 000021d6: PUSH0 000021d7: DUP4 000021d8: ADD 000021d9: MSTORE 000021da: PUSH2 0x21e2 000021dd: DUP2 000021de: PUSH2 0x21a9 000021e1: JUMP 000021e2: JUMPDEST 000021e3: SWAP1 000021e4: POP 000021e5: SWAP2 000021e6: SWAP1 000021e7: POP 000021e8: JUMP 000021e9: JUMPDEST 000021ea: PUSH0 000021eb: PUSH32 0xff00000000000000000000000000000000000000000000000000000000000000 0000220c: DUP3 0000220d: AND 0000220e: SWAP1 0000220f: POP 00002210: SWAP2 00002211: SWAP1 00002212: POP 00002213: JUMP 00002214: JUMPDEST 00002215: PUSH0 00002216: PUSH2 0x221f 00002219: DUP4 0000221a: DUP4 0000221b: PUSH2 0x1f15 0000221e: JUMP 0000221f: JUMPDEST 00002220: DUP3 00002221: PUSH2 0x222a 00002224: DUP2 00002225: CALLDATALOAD 00002226: PUSH2 0x21e9 00002229: JUMP 0000222a: JUMPDEST 0000222b: SWAP3 0000222c: POP 0000222d: PUSH1 0x01 0000222f: DUP3 00002230: LT 00002231: ISZERO 00002232: PUSH2 0x226a 00002235: JUMPI 00002236: PUSH2 0x2265 00002239: PUSH32 0xff00000000000000000000000000000000000000000000000000000000000000 0000225a: DUP4 0000225b: PUSH1 0x01 0000225d: SUB 0000225e: PUSH1 0x08 00002260: MUL 00002261: PUSH2 0x1f4a 00002264: JUMP 00002265: JUMPDEST 00002266: DUP4 00002267: AND 00002268: SWAP3 00002269: POP 0000226a: JUMPDEST 0000226b: POP 0000226c: POP 0000226d: SWAP3 0000226e: SWAP2 0000226f: POP 00002270: POP 00002271: JUMP 00002272: JUMPDEST 00002273: PUSH0 00002274: PUSH32 0xffffffffffffffffffffffffffffffffffffffff000000000000000000000000 00002295: DUP3 00002296: AND 00002297: SWAP1 00002298: POP 00002299: SWAP2 0000229a: SWAP1 0000229b: POP 0000229c: JUMP 0000229d: JUMPDEST 0000229e: PUSH0 0000229f: PUSH2 0x22a8 000022a2: DUP4 000022a3: DUP4 000022a4: PUSH2 0x1f15 000022a7: JUMP 000022a8: JUMPDEST 000022a9: DUP3 000022aa: PUSH2 0x22b3 000022ad: DUP2 000022ae: CALLDATALOAD 000022af: PUSH2 0x2272 000022b2: JUMP 000022b3: JUMPDEST 000022b4: SWAP3 000022b5: POP 000022b6: PUSH1 0x14 000022b8: DUP3 000022b9: LT 000022ba: ISZERO 000022bb: PUSH2 0x22f3 000022be: JUMPI 000022bf: PUSH2 0x22ee 000022c2: PUSH32 0xffffffffffffffffffffffffffffffffffffffff000000000000000000000000 000022e3: DUP4 000022e4: PUSH1 0x14 000022e6: SUB 000022e7: PUSH1 0x08 000022e9: MUL 000022ea: PUSH2 0x1f4a 000022ed: JUMP 000022ee: JUMPDEST 000022ef: DUP4 000022f0: AND 000022f1: SWAP3 000022f2: POP 000022f3: JUMPDEST 000022f4: POP 000022f5: POP 000022f6: SWAP3 000022f7: SWAP2 000022f8: POP 000022f9: POP 000022fa: JUMP 000022fb: JUMPDEST 000022fc: PUSH0 000022fd: DUP2 000022fe: SWAP1 000022ff: POP 00002300: SWAP2 00002301: SWAP1 00002302: POP 00002303: JUMP 00002304: JUMPDEST 00002305: PUSH0 00002306: PUSH2 0x230f 00002309: DUP4 0000230a: DUP4 0000230b: PUSH2 0x1f15 0000230e: JUMP 0000230f: JUMPDEST 00002310: DUP3 00002311: PUSH2 0x231a 00002314: DUP2 00002315: CALLDATALOAD 00002316: PUSH2 0x22fb 00002319: JUMP 0000231a: JUMPDEST 0000231b: SWAP3 0000231c: POP 0000231d: PUSH1 0x20 0000231f: DUP3 00002320: LT 00002321: ISZERO 00002322: PUSH2 0x235a 00002325: JUMPI 00002326: PUSH2 0x2355 00002329: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000234a: DUP4 0000234b: PUSH1 0x20 0000234d: SUB 0000234e: PUSH1 0x08 00002350: MUL 00002351: PUSH2 0x1f4a 00002354: JUMP 00002355: JUMPDEST 00002356: DUP4 00002357: AND 00002358: SWAP3 00002359: POP 0000235a: JUMPDEST 0000235b: POP 0000235c: POP 0000235d: SWAP3 0000235e: SWAP2 0000235f: POP 00002360: POP 00002361: JUMP 00002362: INVALID 00002363: LOG2 00002364: PUSH5 0x6970667358 0000236a: UNKNOWN(0x22) 0000236b: SLT 0000236c: KECCAK256 0000236d: UNKNOWN(0x23) 0000236e: UNKNOWN(0xCB) 0000236f: UNKNOWN(0x4B) 00002370: UNKNOWN(0xCE) 00002371: UNKNOWN(0xC4) 00002372: UNKNOWN(0xC5) 00002373: CALLER 00002374: DUP7 00002375: UNKNOWN(0xA8) 00002376: UNKNOWN(0xFB) 00002377: UNKNOWN(0xD5) 00002378: UNKNOWN(0xBB) 00002379: PUSH22 0xc108e97b8aeab0647067ad687fb1d0d6fe726c64736f 00002390: PUSH13
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | upgradeability | detector | Untrusted DELEGATECALL target reachable | 55 | no | no |
viewtrace_id: 0x295d122326f068cdcc51bdf3a24ea02c064e43b439ffb2e4ec126c76f884e37a
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 108,
"trace_id": "0x295d122326f068cdcc51bdf3a24ea02c064e43b439ffb2e4ec126c76f884e37a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xce5980d6",
"selector": "0xce5980d6",
"calldata_variants": [
"0xce5980d6",
"0xce5980d60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xebc74fb0",
"selector": "0xebc74fb0",
"calldata_variants": [
"0xebc74fb0",
"0xebc74fb00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf6ee3c40",
"selector": "0xf6ee3c40",
"calldata_variants": [
"0xf6ee3c40",
"0xf6ee3c400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf8df605d",
"selector": "0xf8df605d",
"calldata_variants": [
"0xf8df605d",
"0xf8df605d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x01ffc9a7",
"selector": "0x01ffc9a7",
"calldata_variants": [
"0x01ffc9a7",
"0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19eb0759",
"selector": "0x19eb0759",
"calldata_variants": [
"0x19eb0759",
"0x19eb07590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38ed1739",
"selector": "0x38ed1739",
"calldata_variants": [
"0x38ed1739",
"0x38ed17390000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1096,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 6080,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [
{
"pc": 264,
"type": "tx_origin_used"
},
{
"pc": 337,
"type": "tx_origin_used"
},
{
"pc": 1214,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1344,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2277,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3131,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3261,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3461,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3591,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3827,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3957,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4198,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4331,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4461,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4838,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4968,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"delegatecall_count": 2,
"untrusted_delegatecall_count": 2
}
|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xce5980d6",
"selector": "0xce5980d6",
"calldata_variants": [
"0xce5980d6",
"0xce5980d60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xebc74fb0",
"selector": "0xebc74fb0",
"calldata_variants": [
"0xebc74fb0",
"0xebc74fb00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf6ee3c40",
"selector": "0xf6ee3c40",
"calldata_variants": [
"0xf6ee3c40",
"0xf6ee3c400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf8df605d",
"selector": "0xf8df605d",
"calldata_variants": [
"0xf8df605d",
"0xf8df605d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x01ffc9a7",
"selector": "0x01ffc9a7",
"calldata_variants": [
"0x01ffc9a7",
"0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19eb0759",
"selector": "0x19eb0759",
"calldata_variants": [
"0x19eb0759",
"0x19eb07590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38ed1739",
"selector": "0x38ed1739",
"calldata_variants": [
"0x38ed1739",
"0x38ed17390000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 264,
"type": "tx_origin_used"
},
{
"pc": 337,
"type": "tx_origin_used"
},
{
"pc": 1214,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1344,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2277,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3131,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3261,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3461,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3591,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3827,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3957,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4198,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4331,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4461,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4838,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4968,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x1e193c4c0a4061bd106892c949fd3cd7caf85b07a26d7c7f063a86dc8a180079
call_targets:
0x42df00ac2e0000005486ac375a00b80000d12758
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1e193c4c0a4061bd106892c949fd3cd7caf85b07a26d7c7f063a86dc8a180079",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x42df00ac2e0000005486ac375a00b80000d12758"
],
"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": "0xce5980d6",
"selector": "0xce5980d6",
"calldata_variants": [
"0xce5980d6",
"0xce5980d60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xebc74fb0",
"selector": "0xebc74fb0",
"calldata_variants": [
"0xebc74fb0",
"0xebc74fb00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf6ee3c40",
"selector": "0xf6ee3c40",
"calldata_variants": [
"0xf6ee3c40",
"0xf6ee3c400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf8df605d",
"selector": "0xf8df605d",
"calldata_variants": [
"0xf8df605d",
"0xf8df605d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x01ffc9a7",
"selector": "0x01ffc9a7",
"calldata_variants": [
"0x01ffc9a7",
"0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19eb0759",
"selector": "0x19eb0759",
"calldata_variants": [
"0x19eb0759",
"0x19eb07590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38ed1739",
"selector": "0x38ed1739",
"calldata_variants": [
"0x38ed1739",
"0x38ed17390000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2818,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2895,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3394,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 7,
"guards_detected": [
{
"pc": 264,
"type": "tx_origin_used"
},
{
"pc": 337,
"type": "tx_origin_used"
},
{
"pc": 1214,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1344,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2277,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3131,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3261,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3461,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3591,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3827,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3957,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4198,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4331,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4461,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4838,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4968,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 7
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x1e193c4c0a4061bd106892c949fd3cd7caf85b07a26d7c7f063a86dc8a180079
call_targets:
0x42df00ac2e0000005486ac375a00b80000d12758
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1e193c4c0a4061bd106892c949fd3cd7caf85b07a26d7c7f063a86dc8a180079",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x42df00ac2e0000005486ac375a00b80000d12758"
],
"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": "0xce5980d6",
"selector": "0xce5980d6",
"calldata_variants": [
"0xce5980d6",
"0xce5980d60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xebc74fb0",
"selector": "0xebc74fb0",
"calldata_variants": [
"0xebc74fb0",
"0xebc74fb00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf6ee3c40",
"selector": "0xf6ee3c40",
"calldata_variants": [
"0xf6ee3c40",
"0xf6ee3c400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf8df605d",
"selector": "0xf8df605d",
"calldata_variants": [
"0xf8df605d",
"0xf8df605d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x01ffc9a7",
"selector": "0x01ffc9a7",
"calldata_variants": [
"0x01ffc9a7",
"0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19eb0759",
"selector": "0x19eb0759",
"calldata_variants": [
"0x19eb0759",
"0x19eb07590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38ed1739",
"selector": "0x38ed1739",
"calldata_variants": [
"0x38ed1739",
"0x38ed17390000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2818,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2895,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3394,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 7,
"guards_detected": [
{
"pc": 264,
"type": "tx_origin_used"
},
{
"pc": 337,
"type": "tx_origin_used"
},
{
"pc": 1214,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1344,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2277,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3131,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3261,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3461,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3591,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3827,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3957,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4198,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4331,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4461,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4838,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4968,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|