019b477e-dc4e-724b-9f1d-498f42eec81d
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 |
|---|---|---|---|---|
| 29775 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 29776 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 72668 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 72669 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 72670 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 72671 | 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 0x0113 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0x715018a6 00000018: GT 00000019: PUSH2 0x009d 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0x95d89b41 00000023: GT 00000024: PUSH2 0x0062 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0x95d89b41 0000002e: EQ 0000002f: PUSH2 0x02e1 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0xa9059cbb 00000039: EQ 0000003a: PUSH2 0x030f 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0xbf474bed 00000044: EQ 00000045: PUSH2 0x032e 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0xc9567bf9 0000004f: EQ 00000050: PUSH2 0x0343 00000053: JUMPI 00000054: DUP1 00000055: PUSH4 0xdd62ed3e 0000005a: EQ 0000005b: PUSH2 0x0357 0000005e: JUMPI 0000005f: PUSH0 00000060: DUP1 00000061: REVERT 00000062: JUMPDEST 00000063: DUP1 00000064: PUSH4 0x715018a6 00000069: EQ 0000006a: PUSH2 0x0269 0000006d: JUMPI 0000006e: DUP1 0000006f: PUSH4 0x751039fc 00000074: EQ 00000075: PUSH2 0x027d 00000078: JUMPI 00000079: DUP1 0000007a: PUSH4 0x7d1db4a5 0000007f: EQ 00000080: PUSH2 0x0291 00000083: JUMPI 00000084: DUP1 00000085: PUSH4 0x8da5cb5b 0000008a: EQ 0000008b: PUSH2 0x02a6 0000008e: JUMPI 0000008f: DUP1 00000090: PUSH4 0x8f9a55c0 00000095: EQ 00000096: PUSH2 0x02cc 00000099: JUMPI 0000009a: PUSH0 0000009b: DUP1 0000009c: REVERT 0000009d: JUMPDEST 0000009e: DUP1 0000009f: PUSH4 0x18160ddd 000000a4: GT 000000a5: PUSH2 0x00e3 000000a8: JUMPI 000000a9: DUP1 000000aa: PUSH4 0x18160ddd 000000af: EQ 000000b0: PUSH2 0x01d3 000000b3: JUMPI 000000b4: DUP1 000000b5: PUSH4 0x23b872dd 000000ba: EQ 000000bb: PUSH2 0x01e7 000000be: JUMPI 000000bf: DUP1 000000c0: PUSH4 0x313ce567 000000c5: EQ 000000c6: PUSH2 0x0206 000000c9: JUMPI 000000ca: DUP1 000000cb: PUSH4 0x51bc3c85 000000d0: EQ 000000d1: PUSH2 0x0221 000000d4: JUMPI 000000d5: DUP1 000000d6: PUSH4 0x70a08231 000000db: EQ 000000dc: PUSH2 0x0235 000000df: JUMPI 000000e0: PUSH0 000000e1: DUP1 000000e2: REVERT 000000e3: JUMPDEST 000000e4: DUP1 000000e5: PUSH4 0x06fdde03 000000ea: EQ 000000eb: PUSH2 0x011e 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0x095ea7b3 000000f5: EQ 000000f6: PUSH2 0x016b 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0x0faee56f 00000100: EQ 00000101: PUSH2 0x019a 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0x109daa99 0000010b: EQ 0000010c: PUSH2 0x01bd 0000010f: JUMPI 00000110: PUSH0 00000111: DUP1 00000112: REVERT 00000113: JUMPDEST 00000114: CALLDATASIZE 00000115: PUSH2 0x011a 00000118: JUMPI 00000119: STOP 0000011a: JUMPDEST 0000011b: PUSH0 0000011c: DUP1 0000011d: REVERT 0000011e: JUMPDEST 0000011f: CALLVALUE 00000120: DUP1 00000121: ISZERO 00000122: PUSH2 0x0129 00000125: JUMPI 00000126: PUSH0 00000127: DUP1 00000128: REVERT 00000129: JUMPDEST 0000012a: POP 0000012b: PUSH1 0x40 0000012d: DUP1 0000012e: MLOAD 0000012f: DUP1 00000130: DUP3 00000131: ADD 00000132: SWAP1 00000133: SWAP2 00000134: MSTORE 00000135: PUSH1 0x13 00000137: DUP2 00000138: MSTORE 00000139: PUSH19 0x44656c70686920496e74656c6c6967656e6365 0000014d: PUSH1 0x68 0000014f: SHL 00000150: PUSH1 0x20 00000152: DUP3 00000153: ADD 00000154: MSTORE 00000155: JUMPDEST 00000156: PUSH1 0x40 00000158: MLOAD 00000159: PUSH2 0x0162 0000015c: SWAP2 0000015d: SWAP1 0000015e: PUSH2 0x145f 00000161: JUMP 00000162: JUMPDEST 00000163: PUSH1 0x40 00000165: MLOAD 00000166: DUP1 00000167: SWAP2 00000168: SUB 00000169: SWAP1 0000016a: RETURN 0000016b: JUMPDEST 0000016c: CALLVALUE 0000016d: DUP1 0000016e: ISZERO 0000016f: PUSH2 0x0176 00000172: JUMPI 00000173: PUSH0 00000174: DUP1 00000175: REVERT 00000176: JUMPDEST 00000177: POP 00000178: PUSH2 0x018a 0000017b: PUSH2 0x0185 0000017e: CALLDATASIZE 0000017f: PUSH1 0x04 00000181: PUSH2 0x14c2 00000184: JUMP 00000185: JUMPDEST 00000186: PUSH2 0x039b 00000189: JUMP 0000018a: JUMPDEST 0000018b: PUSH1 0x40 0000018d: MLOAD 0000018e: SWAP1 0000018f: ISZERO 00000190: ISZERO 00000191: DUP2 00000192: MSTORE 00000193: PUSH1 0x20 00000195: ADD 00000196: PUSH2 0x0162 00000199: JUMP 0000019a: JUMPDEST 0000019b: CALLVALUE 0000019c: DUP1 0000019d: ISZERO 0000019e: PUSH2 0x01a5 000001a1: JUMPI 000001a2: PUSH0 000001a3: DUP1 000001a4: REVERT 000001a5: JUMPDEST 000001a6: POP 000001a7: PUSH2 0x01af 000001aa: PUSH1 0x09 000001ac: SLOAD 000001ad: DUP2 000001ae: JUMP 000001af: JUMPDEST 000001b0: PUSH1 0x40 000001b2: MLOAD 000001b3: SWAP1 000001b4: DUP2 000001b5: MSTORE 000001b6: PUSH1 0x20 000001b8: ADD 000001b9: PUSH2 0x0162 000001bc: JUMP 000001bd: JUMPDEST 000001be: CALLVALUE 000001bf: DUP1 000001c0: ISZERO 000001c1: PUSH2 0x01c8 000001c4: JUMPI 000001c5: PUSH0 000001c6: DUP1 000001c7: REVERT 000001c8: JUMPDEST 000001c9: POP 000001ca: PUSH2 0x01d1 000001cd: PUSH2 0x03b1 000001d0: JUMP 000001d1: JUMPDEST 000001d2: STOP 000001d3: JUMPDEST 000001d4: CALLVALUE 000001d5: DUP1 000001d6: ISZERO 000001d7: PUSH2 0x01de 000001da: JUMPI 000001db: PUSH0 000001dc: DUP1 000001dd: REVERT 000001de: JUMPDEST 000001df: POP 000001e0: PUSH2 0x01af 000001e3: PUSH2 0x041f 000001e6: JUMP 000001e7: JUMPDEST 000001e8: CALLVALUE 000001e9: DUP1 000001ea: ISZERO 000001eb: PUSH2 0x01f2 000001ee: JUMPI 000001ef: PUSH0 000001f0: DUP1 000001f1: REVERT 000001f2: JUMPDEST 000001f3: POP 000001f4: PUSH2 0x018a 000001f7: PUSH2 0x0201 000001fa: CALLDATASIZE 000001fb: PUSH1 0x04 000001fd: PUSH2 0x14ec 00000200: JUMP 00000201: JUMPDEST 00000202: PUSH2 0x043e 00000205: JUMP 00000206: JUMPDEST 00000207: CALLVALUE 00000208: DUP1 00000209: ISZERO 0000020a: PUSH2 0x0211 0000020d: JUMPI 0000020e: PUSH0 0000020f: DUP1 00000210: REVERT 00000211: JUMPDEST 00000212: POP 00000213: PUSH1 0x40 00000215: MLOAD 00000216: PUSH1 0x09 00000218: DUP2 00000219: MSTORE 0000021a: PUSH1 0x20 0000021c: ADD 0000021d: PUSH2 0x0162 00000220: JUMP 00000221: JUMPDEST 00000222: CALLVALUE 00000223: DUP1 00000224: ISZERO 00000225: PUSH2 0x022c 00000228: JUMPI 00000229: PUSH0 0000022a: DUP1 0000022b: REVERT 0000022c: JUMPDEST 0000022d: POP 0000022e: PUSH2 0x01d1 00000231: PUSH2 0x04a5 00000234: JUMP 00000235: JUMPDEST 00000236: CALLVALUE 00000237: DUP1 00000238: ISZERO 00000239: PUSH2 0x0240 0000023c: JUMPI 0000023d: PUSH0 0000023e: DUP1 0000023f: REVERT 00000240: JUMPDEST 00000241: POP 00000242: PUSH2 0x01af 00000245: PUSH2 0x024f 00000248: CALLDATASIZE 00000249: PUSH1 0x04 0000024b: PUSH2 0x152a 0000024e: JUMP 0000024f: JUMPDEST 00000250: PUSH1 0x01 00000252: PUSH1 0x01 00000254: PUSH1 0xa0 00000256: SHL 00000257: SUB 00000258: AND 00000259: PUSH0 0000025a: SWAP1 0000025b: DUP2 0000025c: MSTORE 0000025d: PUSH1 0x01 0000025f: PUSH1 0x20 00000261: MSTORE 00000262: PUSH1 0x40 00000264: SWAP1 00000265: KECCAK256 00000266: SLOAD 00000267: SWAP1 00000268: JUMP 00000269: JUMPDEST 0000026a: CALLVALUE 0000026b: DUP1 0000026c: ISZERO 0000026d: PUSH2 0x0274 00000270: JUMPI 00000271: PUSH0 00000272: DUP1 00000273: REVERT 00000274: JUMPDEST 00000275: POP 00000276: PUSH2 0x01d1 00000279: PUSH2 0x04f6 0000027c: JUMP 0000027d: JUMPDEST 0000027e: CALLVALUE 0000027f: DUP1 00000280: ISZERO 00000281: PUSH2 0x0288 00000284: JUMPI 00000285: PUSH0 00000286: DUP1 00000287: REVERT 00000288: JUMPDEST 00000289: POP 0000028a: PUSH2 0x01d1 0000028d: PUSH2 0x0567 00000290: JUMP 00000291: JUMPDEST 00000292: CALLVALUE 00000293: DUP1 00000294: ISZERO 00000295: PUSH2 0x029c 00000298: JUMPI 00000299: PUSH0 0000029a: DUP1 0000029b: REVERT 0000029c: JUMPDEST 0000029d: POP 0000029e: PUSH2 0x01af 000002a1: PUSH1 0x06 000002a3: SLOAD 000002a4: DUP2 000002a5: JUMP 000002a6: JUMPDEST 000002a7: CALLVALUE 000002a8: DUP1 000002a9: ISZERO 000002aa: PUSH2 0x02b1 000002ad: JUMPI 000002ae: PUSH0 000002af: DUP1 000002b0: REVERT 000002b1: JUMPDEST 000002b2: POP 000002b3: PUSH0 000002b4: SLOAD 000002b5: PUSH1 0x40 000002b7: MLOAD 000002b8: PUSH1 0x01 000002ba: PUSH1 0x01 000002bc: PUSH1 0xa0 000002be: SHL 000002bf: SUB 000002c0: SWAP1 000002c1: SWAP2 000002c2: AND 000002c3: DUP2 000002c4: MSTORE 000002c5: PUSH1 0x20 000002c7: ADD 000002c8: PUSH2 0x0162 000002cb: JUMP 000002cc: JUMPDEST 000002cd: CALLVALUE 000002ce: DUP1 000002cf: ISZERO 000002d0: PUSH2 0x02d7 000002d3: JUMPI 000002d4: PUSH0 000002d5: DUP1 000002d6: REVERT 000002d7: JUMPDEST 000002d8: POP 000002d9: PUSH2 0x01af 000002dc: PUSH1 0x07 000002de: SLOAD 000002df: DUP2 000002e0: JUMP 000002e1: JUMPDEST 000002e2: CALLVALUE 000002e3: DUP1 000002e4: ISZERO 000002e5: PUSH2 0x02ec 000002e8: JUMPI 000002e9: PUSH0 000002ea: DUP1 000002eb: REVERT 000002ec: JUMPDEST 000002ed: POP 000002ee: PUSH1 0x40 000002f0: DUP1 000002f1: MLOAD 000002f2: DUP1 000002f3: DUP3 000002f4: ADD 000002f5: SWAP1 000002f6: SWAP2 000002f7: MSTORE 000002f8: PUSH1 0x06 000002fa: DUP2 000002fb: MSTORE 000002fc: PUSH6 0x44454c504849 00000303: PUSH1 0xd0 00000305: SHL 00000306: PUSH1 0x20 00000308: DUP3 00000309: ADD 0000030a: MSTORE 0000030b: PUSH2 0x0155 0000030e: JUMP 0000030f: JUMPDEST 00000310: CALLVALUE 00000311: DUP1 00000312: ISZERO 00000313: PUSH2 0x031a 00000316: JUMPI 00000317: PUSH0 00000318: DUP1 00000319: REVERT 0000031a: JUMPDEST 0000031b: POP 0000031c: PUSH2 0x018a 0000031f: PUSH2 0x0329 00000322: CALLDATASIZE 00000323: PUSH1 0x04 00000325: PUSH2 0x14c2 00000328: JUMP 00000329: JUMPDEST 0000032a: PUSH2 0x0610 0000032d: JUMP 0000032e: JUMPDEST 0000032f: CALLVALUE 00000330: DUP1 00000331: ISZERO 00000332: PUSH2 0x0339 00000335: JUMPI 00000336: PUSH0 00000337: DUP1 00000338: REVERT 00000339: JUMPDEST 0000033a: POP 0000033b: PUSH2 0x01af 0000033e: PUSH1 0x08 00000340: SLOAD 00000341: DUP2 00000342: JUMP 00000343: JUMPDEST 00000344: CALLVALUE 00000345: DUP1 00000346: ISZERO 00000347: PUSH2 0x034e 0000034a: JUMPI 0000034b: PUSH0 0000034c: DUP1 0000034d: REVERT 0000034e: JUMPDEST 0000034f: POP 00000350: PUSH2 0x01d1 00000353: PUSH2 0x061c 00000356: JUMP 00000357: JUMPDEST 00000358: CALLVALUE 00000359: DUP1 0000035a: ISZERO 0000035b: PUSH2 0x0362 0000035e: JUMPI 0000035f: PUSH0 00000360: DUP1 00000361: REVERT 00000362: JUMPDEST 00000363: POP 00000364: PUSH2 0x01af 00000367: PUSH2 0x0371 0000036a: CALLDATASIZE 0000036b: PUSH1 0x04 0000036d: PUSH2 0x1545 00000370: JUMP 00000371: JUMPDEST 00000372: PUSH1 0x01 00000374: PUSH1 0x01 00000376: PUSH1 0xa0 00000378: SHL 00000379: SUB 0000037a: SWAP2 0000037b: DUP3 0000037c: AND 0000037d: PUSH0 0000037e: SWAP1 0000037f: DUP2 00000380: MSTORE 00000381: PUSH1 0x02 00000383: PUSH1 0x20 00000385: SWAP1 00000386: DUP2 00000387: MSTORE 00000388: PUSH1 0x40 0000038a: DUP1 0000038b: DUP4 0000038c: KECCAK256 0000038d: SWAP4 0000038e: SWAP1 0000038f: SWAP5 00000390: AND 00000391: DUP3 00000392: MSTORE 00000393: SWAP2 00000394: SWAP1 00000395: SWAP2 00000396: MSTORE 00000397: KECCAK256 00000398: SLOAD 00000399: SWAP1 0000039a: JUMP 0000039b: JUMPDEST 0000039c: PUSH0 0000039d: PUSH2 0x03a7 000003a0: CALLER 000003a1: DUP5 000003a2: DUP5 000003a3: PUSH2 0x09c4 000003a6: JUMP 000003a7: JUMPDEST 000003a8: POP 000003a9: PUSH1 0x01 000003ab: JUMPDEST 000003ac: SWAP3 000003ad: SWAP2 000003ae: POP 000003af: POP 000003b0: JUMP 000003b1: JUMPDEST 000003b2: PUSH0 000003b3: SLOAD 000003b4: PUSH1 0x01 000003b6: PUSH1 0x01 000003b8: PUSH1 0xa0 000003ba: SHL 000003bb: SUB 000003bc: AND 000003bd: CALLER 000003be: EQ 000003bf: PUSH2 0x03e3 000003c2: JUMPI 000003c3: PUSH1 0x40 000003c5: MLOAD 000003c6: PUSH3 0x461bcd 000003ca: PUSH1 0xe5 000003cc: SHL 000003cd: DUP2 000003ce: MSTORE 000003cf: PUSH1 0x04 000003d1: ADD 000003d2: PUSH2 0x03da 000003d5: SWAP1 000003d6: PUSH2 0x157c 000003d9: JUMP 000003da: JUMPDEST 000003db: PUSH1 0x40 000003dd: MLOAD 000003de: DUP1 000003df: SWAP2 000003e0: SUB 000003e1: SWAP1 000003e2: REVERT 000003e3: JUMPDEST 000003e4: PUSH0 000003e5: PUSH1 0x11 000003e7: DUP2 000003e8: SWAP1 000003e9: SSTORE 000003ea: PUSH1 0x40 000003ec: MLOAD 000003ed: SWAP1 000003ee: DUP2 000003ef: MSTORE 000003f0: PUSH32 0xe9b79e1a6c2dc43b4c0c6ff01ce9e3332d810e482270f464c0a21ad6c5fc6de3 00000411: SWAP1 00000412: PUSH1 0x20 00000414: ADD 00000415: JUMPDEST 00000416: PUSH1 0x40 00000418: MLOAD 00000419: DUP1 0000041a: SWAP2 0000041b: SUB 0000041c: SWAP1 0000041d: LOG1 0000041e: JUMP 0000041f: JUMPDEST 00000420: PUSH0 00000421: PUSH2 0x042c 00000424: PUSH1 0x09 00000426: PUSH1 0x0a 00000428: PUSH2 0x16a5 0000042b: JUMP 0000042c: JUMPDEST 0000042d: PUSH2 0x0439 00000430: SWAP1 00000431: PUSH3 0x0f4240 00000435: PUSH2 0x16b3 00000438: JUMP 00000439: JUMPDEST 0000043a: SWAP1 0000043b: POP 0000043c: SWAP1 0000043d: JUMP 0000043e: JUMPDEST 0000043f: PUSH0 00000440: PUSH2 0x044a 00000443: DUP5 00000444: DUP5 00000445: DUP5 00000446: PUSH2 0x0ae7 00000449: JUMP 0000044a: JUMPDEST 0000044b: PUSH2 0x049b 0000044e: DUP5 0000044f: CALLER 00000450: PUSH2 0x0496 00000453: DUP6 00000454: PUSH1 0x40 00000456: MLOAD 00000457: DUP1 00000458: PUSH1 0x60 0000045a: ADD 0000045b: PUSH1 0x40 0000045d: MSTORE 0000045e: DUP1 0000045f: PUSH1 0x28 00000461: DUP2 00000462: MSTORE 00000463: PUSH1 0x20 00000465: ADD 00000466: PUSH2 0x1812 00000469: PUSH1 0x28 0000046b: SWAP2 0000046c: CODECOPY 0000046d: PUSH1 0x01 0000046f: PUSH1 0x01 00000471: PUSH1 0xa0 00000473: SHL 00000474: SUB 00000475: DUP11 00000476: AND 00000477: PUSH0 00000478: SWAP1 00000479: DUP2 0000047a: MSTORE 0000047b: PUSH1 0x02 0000047d: PUSH1 0x20 0000047f: SWAP1 00000480: DUP2 00000481: MSTORE 00000482: PUSH1 0x40 00000484: DUP1 00000485: DUP4 00000486: KECCAK256 00000487: CALLER 00000488: DUP5 00000489: MSTORE 0000048a: SWAP1 0000048b: SWAP2 0000048c: MSTORE 0000048d: SWAP1 0000048e: KECCAK256 0000048f: SLOAD 00000490: SWAP2 00000491: SWAP1 00000492: PUSH2 0x10db 00000495: JUMP 00000496: JUMPDEST 00000497: PUSH2 0x09c4 0000049a: JUMP 0000049b: JUMPDEST 0000049c: POP 0000049d: PUSH1 0x01 0000049f: SWAP4 000004a0: SWAP3 000004a1: POP 000004a2: POP 000004a3: POP 000004a4: JUMP 000004a5: JUMPDEST 000004a6: PUSH1 0x05 000004a8: SLOAD 000004a9: PUSH1 0x01 000004ab: PUSH1 0x01 000004ad: PUSH1 0xa0 000004af: SHL 000004b0: SUB 000004b1: AND 000004b2: CALLER 000004b3: PUSH1 0x01 000004b5: PUSH1 0x01 000004b7: PUSH1 0xa0 000004b9: SHL 000004ba: SUB 000004bb: AND 000004bc: EQ 000004bd: PUSH2 0x04c4 000004c0: JUMPI 000004c1: PUSH0 000004c2: DUP1 000004c3: REVERT 000004c4: JUMPDEST 000004c5: ADDRESS 000004c6: PUSH0 000004c7: SWAP1 000004c8: DUP2 000004c9: MSTORE 000004ca: PUSH1 0x01 000004cc: PUSH1 0x20 000004ce: MSTORE 000004cf: PUSH1 0x40 000004d1: SWAP1 000004d2: KECCAK256 000004d3: SLOAD 000004d4: DUP1 000004d5: ISZERO 000004d6: PUSH2 0x04e2 000004d9: JUMPI 000004da: PUSH2 0x04e2 000004dd: DUP2 000004de: PUSH2 0x1113 000004e1: JUMP 000004e2: JUMPDEST 000004e3: SELFBALANCE 000004e4: DUP1 000004e5: ISZERO 000004e6: PUSH2 0x04f2 000004e9: JUMPI 000004ea: PUSH2 0x04f2 000004ed: DUP2 000004ee: PUSH2 0x1283 000004f1: JUMP 000004f2: JUMPDEST 000004f3: POP 000004f4: POP 000004f5: JUMP 000004f6: JUMPDEST 000004f7: PUSH0 000004f8: SLOAD 000004f9: PUSH1 0x01 000004fb: PUSH1 0x01 000004fd: PUSH1 0xa0 000004ff: SHL 00000500: SUB 00000501: AND 00000502: CALLER 00000503: EQ 00000504: PUSH2 0x051f 00000507: JUMPI 00000508: PUSH1 0x40 0000050a: MLOAD 0000050b: PUSH3 0x461bcd 0000050f: PUSH1 0xe5 00000511: SHL 00000512: DUP2 00000513: MSTORE 00000514: PUSH1 0x04 00000516: ADD 00000517: PUSH2 0x03da 0000051a: SWAP1 0000051b: PUSH2 0x157c 0000051e: JUMP 0000051f: JUMPDEST 00000520: PUSH0 00000521: DUP1 00000522: SLOAD 00000523: PUSH1 0x40 00000525: MLOAD 00000526: PUSH1 0x01 00000528: PUSH1 0x01 0000052a: PUSH1 0xa0 0000052c: SHL 0000052d: SUB 0000052e: SWAP1 0000052f: SWAP2 00000530: AND 00000531: SWAP1 00000532: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000553: SWAP1 00000554: DUP4 00000555: SWAP1 00000556: LOG3 00000557: PUSH0 00000558: DUP1 00000559: SLOAD 0000055a: PUSH1 0x01 0000055c: PUSH1 0x01 0000055e: PUSH1 0xa0 00000560: SHL 00000561: SUB 00000562: NOT 00000563: AND 00000564: SWAP1 00000565: SSTORE 00000566: JUMP 00000567: JUMPDEST 00000568: PUSH0 00000569: SLOAD 0000056a: PUSH1 0x01 0000056c: PUSH1 0x01 0000056e: PUSH1 0xa0 00000570: SHL 00000571: SUB 00000572: AND 00000573: CALLER 00000574: EQ 00000575: PUSH2 0x0590 00000578: JUMPI 00000579: PUSH1 0x40 0000057b: MLOAD 0000057c: PUSH3 0x461bcd 00000580: PUSH1 0xe5 00000582: SHL 00000583: DUP2 00000584: MSTORE 00000585: PUSH1 0x04 00000587: ADD 00000588: PUSH2 0x03da 0000058b: SWAP1 0000058c: PUSH2 0x157c 0000058f: JUMP 00000590: JUMPDEST 00000591: PUSH2 0x059c 00000594: PUSH1 0x09 00000596: PUSH1 0x0a 00000598: PUSH2 0x16a5 0000059b: JUMP 0000059c: JUMPDEST 0000059d: PUSH2 0x05a9 000005a0: SWAP1 000005a1: PUSH3 0x0f4240 000005a5: PUSH2 0x16b3 000005a8: JUMP 000005a9: JUMPDEST 000005aa: PUSH1 0x06 000005ac: SSTORE 000005ad: PUSH2 0x05b8 000005b0: PUSH1 0x09 000005b2: PUSH1 0x0a 000005b4: PUSH2 0x16a5 000005b7: JUMP 000005b8: JUMPDEST 000005b9: PUSH2 0x05c5 000005bc: SWAP1 000005bd: PUSH3 0x0f4240 000005c1: PUSH2 0x16b3 000005c4: JUMP 000005c5: JUMPDEST 000005c6: PUSH1 0x07 000005c8: SSTORE 000005c9: PUSH32 0x947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf 000005ea: PUSH2 0x05f5 000005ed: PUSH1 0x09 000005ef: PUSH1 0x0a 000005f1: PUSH2 0x16a5 000005f4: JUMP 000005f5: JUMPDEST 000005f6: PUSH2 0x0602 000005f9: SWAP1 000005fa: PUSH3 0x0f4240 000005fe: PUSH2 0x16b3 00000601: JUMP 00000602: JUMPDEST 00000603: PUSH1 0x40 00000605: MLOAD 00000606: SWAP1 00000607: DUP2 00000608: MSTORE 00000609: PUSH1 0x20 0000060b: ADD 0000060c: PUSH2 0x0415 0000060f: JUMP 00000610: JUMPDEST 00000611: PUSH0 00000612: PUSH2 0x03a7 00000615: CALLER 00000616: DUP5 00000617: DUP5 00000618: PUSH2 0x0ae7 0000061b: JUMP 0000061c: JUMPDEST 0000061d: PUSH0 0000061e: SLOAD 0000061f: PUSH1 0x01 00000621: PUSH1 0x01 00000623: PUSH1 0xa0 00000625: SHL 00000626: SUB 00000627: AND 00000628: CALLER 00000629: EQ 0000062a: PUSH2 0x0645 0000062d: JUMPI 0000062e: PUSH1 0x40 00000630: MLOAD 00000631: PUSH3 0x461bcd 00000635: PUSH1 0xe5 00000637: SHL 00000638: DUP2 00000639: MSTORE 0000063a: PUSH1 0x04 0000063c: ADD 0000063d: PUSH2 0x03da 00000640: SWAP1 00000641: PUSH2 0x157c 00000644: JUMP 00000645: JUMPDEST 00000646: PUSH1 0x14 00000648: SLOAD 00000649: PUSH1 0x01 0000064b: PUSH1 0xa0 0000064d: SHL 0000064e: SWAP1 0000064f: DIV 00000650: PUSH1 0xff 00000652: AND 00000653: ISZERO 00000654: PUSH2 0x069f 00000657: JUMPI 00000658: PUSH1 0x40 0000065a: MLOAD 0000065b: PUSH3 0x461bcd 0000065f: PUSH1 0xe5 00000661: SHL 00000662: DUP2 00000663: MSTORE 00000664: PUSH1 0x20 00000666: PUSH1 0x04 00000668: DUP3 00000669: ADD 0000066a: MSTORE 0000066b: PUSH1 0x17 0000066d: PUSH1 0x24 0000066f: DUP3 00000670: ADD 00000671: MSTORE 00000672: PUSH32 0x74726164696e6720697320616c7265616479206f70656e000000000000000000 00000693: PUSH1 0x44 00000695: DUP3 00000696: ADD 00000697: MSTORE 00000698: PUSH1 0x64 0000069a: ADD 0000069b: PUSH2 0x03da 0000069e: JUMP 0000069f: JUMPDEST 000006a0: PUSH1 0x13 000006a2: DUP1 000006a3: SLOAD 000006a4: PUSH1 0x01 000006a6: PUSH1 0x01 000006a8: PUSH1 0xa0 000006aa: SHL 000006ab: SUB 000006ac: NOT 000006ad: AND 000006ae: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d 000006c3: SWAP1 000006c4: DUP2 000006c5: OR 000006c6: SWAP1 000006c7: SWAP2 000006c8: SSTORE 000006c9: PUSH2 0x06e7 000006cc: SWAP1 000006cd: ADDRESS 000006ce: SWAP1 000006cf: PUSH2 0x06da 000006d2: PUSH1 0x09 000006d4: PUSH1 0x0a 000006d6: PUSH2 0x16a5 000006d9: JUMP 000006da: JUMPDEST 000006db: PUSH2 0x0496 000006de: SWAP1 000006df: PUSH3 0x0f4240 000006e3: PUSH2 0x16b3 000006e6: JUMP 000006e7: JUMPDEST 000006e8: PUSH1 0x13 000006ea: PUSH0 000006eb: SWAP1 000006ec: SLOAD 000006ed: SWAP1 000006ee: PUSH2 0x0100 000006f1: EXP 000006f2: SWAP1 000006f3: DIV 000006f4: PUSH1 0x01 000006f6: PUSH1 0x01 000006f8: PUSH1 0xa0 000006fa: SHL 000006fb: SUB 000006fc: AND 000006fd: PUSH1 0x01 000006ff: PUSH1 0x01 00000701: PUSH1 0xa0 00000703: SHL 00000704: SUB 00000705: AND 00000706: PUSH4 0xc45a0155 0000070b: PUSH1 0x40 0000070d: MLOAD 0000070e: DUP2 0000070f: PUSH4 0xffffffff 00000714: AND 00000715: PUSH1 0xe0 00000717: SHL 00000718: DUP2 00000719: MSTORE 0000071a: PUSH1 0x04 0000071c: ADD 0000071d: PUSH1 0x20 0000071f: PUSH1 0x40 00000721: MLOAD 00000722: DUP1 00000723: DUP4 00000724: SUB 00000725: DUP2 00000726: DUP7 00000727: GAS 00000728: STATICCALL 00000729: ISZERO 0000072a: DUP1 0000072b: ISZERO 0000072c: PUSH2 0x0737 0000072f: JUMPI 00000730: RETURNDATASIZE 00000731: PUSH0 00000732: DUP1 00000733: RETURNDATACOPY 00000734: RETURNDATASIZE 00000735: PUSH0 00000736: REVERT 00000737: JUMPDEST 00000738: POP 00000739: POP 0000073a: POP 0000073b: POP 0000073c: PUSH1 0x40 0000073e: MLOAD 0000073f: RETURNDATASIZE 00000740: PUSH1 0x1f 00000742: NOT 00000743: PUSH1 0x1f 00000745: DUP3 00000746: ADD 00000747: AND 00000748: DUP3 00000749: ADD 0000074a: DUP1 0000074b: PUSH1 0x40 0000074d: MSTORE 0000074e: POP 0000074f: DUP2 00000750: ADD 00000751: SWAP1 00000752: PUSH2 0x075b 00000755: SWAP2 00000756: SWAP1 00000757: PUSH2 0x16ca 0000075a: JUMP 0000075b: JUMPDEST 0000075c: PUSH1 0x01 0000075e: PUSH1 0x01 00000760: PUSH1 0xa0 00000762: SHL 00000763: SUB 00000764: AND 00000765: PUSH4 0xc9c65396 0000076a: ADDRESS 0000076b: PUSH1 0x13 0000076d: PUSH0 0000076e: SWAP1 0000076f: SLOAD 00000770: SWAP1 00000771: PUSH2 0x0100 00000774: EXP 00000775: SWAP1 00000776: DIV 00000777: PUSH1 0x01 00000779: PUSH1 0x01 0000077b: PUSH1 0xa0 0000077d: SHL 0000077e: SUB 0000077f: AND 00000780: PUSH1 0x01 00000782: PUSH1 0x01 00000784: PUSH1 0xa0 00000786: SHL 00000787: SUB 00000788: AND 00000789: PUSH4 0xad5c4648 0000078e: PUSH1 0x40 00000790: MLOAD 00000791: DUP2 00000792: PUSH4 0xffffffff 00000797: AND 00000798: PUSH1 0xe0 0000079a: SHL 0000079b: DUP2 0000079c: MSTORE 0000079d: PUSH1 0x04 0000079f: ADD 000007a0: PUSH1 0x20 000007a2: PUSH1 0x40 000007a4: MLOAD 000007a5: DUP1 000007a6: DUP4 000007a7: SUB 000007a8: DUP2 000007a9: DUP7 000007aa: GAS 000007ab: STATICCALL 000007ac: ISZERO 000007ad: DUP1 000007ae: ISZERO 000007af: PUSH2 0x07ba 000007b2: JUMPI 000007b3: RETURNDATASIZE 000007b4: PUSH0 000007b5: DUP1 000007b6: RETURNDATACOPY 000007b7: RETURNDATASIZE 000007b8: PUSH0 000007b9: REVERT 000007ba: JUMPDEST 000007bb: POP 000007bc: POP 000007bd: POP 000007be: POP 000007bf: PUSH1 0x40 000007c1: MLOAD 000007c2: RETURNDATASIZE 000007c3: PUSH1 0x1f 000007c5: NOT 000007c6: PUSH1 0x1f 000007c8: DUP3 000007c9: ADD 000007ca: AND 000007cb: DUP3 000007cc: ADD 000007cd: DUP1 000007ce: PUSH1 0x40 000007d0: MSTORE 000007d1: POP 000007d2: DUP2 000007d3: ADD 000007d4: SWAP1 000007d5: PUSH2 0x07de 000007d8: SWAP2 000007d9: SWAP1 000007da: PUSH2 0x16ca 000007dd: JUMP 000007de: JUMPDEST 000007df: PUSH1 0x40 000007e1: MLOAD 000007e2: PUSH1 0x01 000007e4: PUSH1 0x01 000007e6: PUSH1 0xe0 000007e8: SHL 000007e9: SUB 000007ea: NOT 000007eb: PUSH1 0xe0 000007ed: DUP6 000007ee: SWAP1 000007ef: SHL 000007f0: AND 000007f1: DUP2 000007f2: MSTORE 000007f3: PUSH1 0x01 000007f5: PUSH1 0x01 000007f7: PUSH1 0xa0 000007f9: SHL 000007fa: SUB 000007fb: SWAP3 000007fc: DUP4 000007fd: AND 000007fe: PUSH1 0x04 00000800: DUP3 00000801: ADD 00000802: MSTORE 00000803: SWAP2 00000804: AND 00000805: PUSH1 0x24 00000807: DUP3 00000808: ADD 00000809: MSTORE 0000080a: PUSH1 0x44 0000080c: ADD 0000080d: PUSH1 0x20 0000080f: PUSH1 0x40 00000811: MLOAD 00000812: DUP1 00000813: DUP4 00000814: SUB 00000815: DUP2 00000816: PUSH0 00000817: DUP8 00000818: GAS 00000819: CALL 0000081a: ISZERO 0000081b: DUP1 0000081c: ISZERO 0000081d: PUSH2 0x0828 00000820: JUMPI 00000821: RETURNDATASIZE 00000822: PUSH0 00000823: DUP1 00000824: RETURNDATACOPY 00000825: RETURNDATASIZE 00000826: PUSH0 00000827: REVERT 00000828: JUMPDEST 00000829: POP 0000082a: POP 0000082b: POP 0000082c: POP 0000082d: PUSH1 0x40 0000082f: MLOAD 00000830: RETURNDATASIZE 00000831: PUSH1 0x1f 00000833: NOT 00000834: PUSH1 0x1f 00000836: DUP3 00000837: ADD 00000838: AND 00000839: DUP3 0000083a: ADD 0000083b: DUP1 0000083c: PUSH1 0x40 0000083e: MSTORE 0000083f: POP 00000840: DUP2 00000841: ADD 00000842: SWAP1 00000843: PUSH2 0x084c 00000846: SWAP2 00000847: SWAP1 00000848: PUSH2 0x16ca 0000084b: JUMP 0000084c: JUMPDEST 0000084d: PUSH1 0x14 0000084f: DUP1 00000850: SLOAD 00000851: PUSH1 0x01 00000853: PUSH1 0x01 00000855: PUSH1 0xa0 00000857: SHL 00000858: SUB 00000859: SWAP3 0000085a: DUP4 0000085b: AND 0000085c: PUSH1 0x01 0000085e: PUSH1 0x01 00000860: PUSH1 0xa0 00000862: SHL 00000863: SUB 00000864: NOT 00000865: SWAP1 00000866: SWAP2 00000867: AND 00000868: OR 00000869: SWAP1 0000086a: SSTORE 0000086b: PUSH1 0x13 0000086d: SLOAD 0000086e: AND 0000086f: PUSH4 0xf305d719 00000874: SELFBALANCE 00000875: ADDRESS 00000876: PUSH2 0x0893 00000879: DUP2 0000087a: PUSH1 0x01 0000087c: PUSH1 0x01 0000087e: PUSH1 0xa0 00000880: SHL 00000881: SUB 00000882: AND 00000883: PUSH0 00000884: SWAP1 00000885: DUP2 00000886: MSTORE 00000887: PUSH1 0x01 00000889: PUSH1 0x20 0000088b: MSTORE 0000088c: PUSH1 0x40 0000088e: SWAP1 0000088f: KECCAK256 00000890: SLOAD 00000891: SWAP1 00000892: JUMP 00000893: JUMPDEST 00000894: PUSH0 00000895: DUP1 00000896: PUSH2 0x08a6 00000899: PUSH0 0000089a: SLOAD 0000089b: PUSH1 0x01 0000089d: PUSH1 0x01 0000089f: PUSH1 0xa0 000008a1: SHL 000008a2: SUB 000008a3: AND 000008a4: SWAP1 000008a5: JUMP 000008a6: JUMPDEST 000008a7: PUSH1 0x40 000008a9: MLOAD 000008aa: PUSH1 0xe0 000008ac: DUP9 000008ad: SWAP1 000008ae: SHL 000008af: PUSH1 0x01 000008b1: PUSH1 0x01 000008b3: PUSH1 0xe0 000008b5: SHL 000008b6: SUB 000008b7: NOT 000008b8: AND 000008b9: DUP2 000008ba: MSTORE 000008bb: PUSH1 0x01 000008bd: PUSH1 0x01 000008bf: PUSH1 0xa0 000008c1: SHL 000008c2: SUB 000008c3: SWAP6 000008c4: DUP7 000008c5: AND 000008c6: PUSH1 0x04 000008c8: DUP3 000008c9: ADD 000008ca: MSTORE 000008cb: PUSH1 0x24 000008cd: DUP2 000008ce: ADD 000008cf: SWAP5 000008d0: SWAP1 000008d1: SWAP5 000008d2: MSTORE 000008d3: PUSH1 0x44 000008d5: DUP5 000008d6: ADD 000008d7: SWAP3 000008d8: SWAP1 000008d9: SWAP3 000008da: MSTORE 000008db: PUSH1 0x64 000008dd: DUP4 000008de: ADD 000008df: MSTORE 000008e0: SWAP1 000008e1: SWAP2 000008e2: AND 000008e3: PUSH1 0x84 000008e5: DUP3 000008e6: ADD 000008e7: MSTORE 000008e8: TIMESTAMP 000008e9: PUSH1 0xa4 000008eb: DUP3 000008ec: ADD 000008ed: MSTORE 000008ee: PUSH1 0xc4 000008f0: ADD 000008f1: PUSH1 0x60 000008f3: PUSH1 0x40 000008f5: MLOAD 000008f6: DUP1 000008f7: DUP4 000008f8: SUB 000008f9: DUP2 000008fa: DUP6 000008fb: DUP9 000008fc: GAS 000008fd: CALL 000008fe: ISZERO 000008ff: DUP1 00000900: ISZERO 00000901: PUSH2 0x090c 00000904: JUMPI 00000905: RETURNDATASIZE 00000906: PUSH0 00000907: DUP1 00000908: RETURNDATACOPY 00000909: RETURNDATASIZE 0000090a: PUSH0 0000090b: REVERT 0000090c: JUMPDEST 0000090d: POP 0000090e: POP 0000090f: POP 00000910: POP 00000911: POP 00000912: PUSH1 0x40 00000914: MLOAD 00000915: RETURNDATASIZE 00000916: PUSH1 0x1f 00000918: NOT 00000919: PUSH1 0x1f 0000091b: DUP3 0000091c: ADD 0000091d: AND 0000091e: DUP3 0000091f: ADD 00000920: DUP1 00000921: PUSH1 0x40 00000923: MSTORE 00000924: POP 00000925: DUP2 00000926: ADD 00000927: SWAP1 00000928: PUSH2 0x0931 0000092b: SWAP2 0000092c: SWAP1 0000092d: PUSH2 0x16e5 00000930: JUMP 00000931: JUMPDEST 00000932: POP 00000933: POP 00000934: PUSH1 0x14 00000936: SLOAD 00000937: PUSH1 0x13 00000939: SLOAD 0000093a: PUSH1 0x40 0000093c: MLOAD 0000093d: PUSH4 0x095ea7b3 00000942: PUSH1 0xe0 00000944: SHL 00000945: DUP2 00000946: MSTORE 00000947: PUSH1 0x01 00000949: PUSH1 0x01 0000094b: PUSH1 0xa0 0000094d: SHL 0000094e: SUB 0000094f: SWAP2 00000950: DUP3 00000951: AND 00000952: PUSH1 0x04 00000954: DUP3 00000955: ADD 00000956: MSTORE 00000957: PUSH0 00000958: NOT 00000959: PUSH1 0x24 0000095b: DUP3 0000095c: ADD 0000095d: MSTORE 0000095e: SWAP2 0000095f: AND 00000960: SWAP2 00000961: POP 00000962: PUSH4 0x095ea7b3 00000967: SWAP1 00000968: PUSH1 0x44 0000096a: ADD 0000096b: PUSH1 0x20 0000096d: PUSH1 0x40 0000096f: MLOAD 00000970: DUP1 00000971: DUP4 00000972: SUB 00000973: DUP2 00000974: PUSH0 00000975: DUP8 00000976: GAS 00000977: CALL 00000978: ISZERO 00000979: DUP1 0000097a: ISZERO 0000097b: PUSH2 0x0986 0000097e: JUMPI 0000097f: RETURNDATASIZE 00000980: PUSH0 00000981: DUP1 00000982: RETURNDATACOPY 00000983: RETURNDATASIZE 00000984: PUSH0 00000985: REVERT 00000986: JUMPDEST 00000987: POP 00000988: POP 00000989: POP 0000098a: POP 0000098b: PUSH1 0x40 0000098d: MLOAD 0000098e: RETURNDATASIZE 0000098f: PUSH1 0x1f 00000991: NOT 00000992: PUSH1 0x1f 00000994: DUP3 00000995: ADD 00000996: AND 00000997: DUP3 00000998: ADD 00000999: DUP1 0000099a: PUSH1 0x40 0000099c: MSTORE 0000099d: POP 0000099e: DUP2 0000099f: ADD 000009a0: SWAP1 000009a1: PUSH2 0x09aa 000009a4: SWAP2 000009a5: SWAP1 000009a6: PUSH2 0x1710 000009a9: JUMP 000009aa: JUMPDEST 000009ab: POP 000009ac: PUSH1 0x14 000009ae: DUP1 000009af: SLOAD 000009b0: PUSH3 0xff00ff 000009b4: PUSH1 0xa0 000009b6: SHL 000009b7: NOT 000009b8: AND 000009b9: PUSH3 0x010001 000009bd: PUSH1 0xa0 000009bf: SHL 000009c0: OR 000009c1: SWAP1 000009c2: SSTORE 000009c3: JUMP 000009c4: JUMPDEST 000009c5: PUSH1 0x01 000009c7: PUSH1 0x01 000009c9: PUSH1 0xa0 000009cb: SHL 000009cc: SUB 000009cd: DUP4 000009ce: AND 000009cf: PUSH2 0x0a26 000009d2: JUMPI 000009d3: PUSH1 0x40 000009d5: MLOAD 000009d6: PUSH3 0x461bcd 000009da: PUSH1 0xe5 000009dc: SHL 000009dd: DUP2 000009de: MSTORE 000009df: PUSH1 0x20 000009e1: PUSH1 0x04 000009e3: DUP3 000009e4: ADD 000009e5: MSTORE 000009e6: PUSH1 0x24 000009e8: DUP1 000009e9: DUP3 000009ea: ADD 000009eb: MSTORE 000009ec: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464 00000a0d: PUSH1 0x44 00000a0f: DUP3 00000a10: ADD 00000a11: MSTORE 00000a12: PUSH4 0x72657373 00000a17: PUSH1 0xe0 00000a19: SHL 00000a1a: PUSH1 0x64 00000a1c: DUP3 00000a1d: ADD 00000a1e: MSTORE 00000a1f: PUSH1 0x84 00000a21: ADD 00000a22: PUSH2 0x03da 00000a25: JUMP 00000a26: JUMPDEST 00000a27: PUSH1 0x01 00000a29: PUSH1 0x01 00000a2b: PUSH1 0xa0 00000a2d: SHL 00000a2e: SUB 00000a2f: DUP3 00000a30: AND 00000a31: PUSH2 0x0a87 00000a34: JUMPI 00000a35: PUSH1 0x40 00000a37: MLOAD 00000a38: PUSH3 0x461bcd 00000a3c: PUSH1 0xe5 00000a3e: SHL 00000a3f: DUP2 00000a40: MSTORE 00000a41: PUSH1 0x20 00000a43: PUSH1 0x04 00000a45: DUP3 00000a46: ADD 00000a47: MSTORE 00000a48: PUSH1 0x22 00000a4a: PUSH1 0x24 00000a4c: DUP3 00000a4d: ADD 00000a4e: MSTORE 00000a4f: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265 00000a70: PUSH1 0x44 00000a72: DUP3 00000a73: ADD 00000a74: MSTORE 00000a75: PUSH2 0x7373 00000a78: PUSH1 0xf0 00000a7a: SHL 00000a7b: PUSH1 0x64 00000a7d: DUP3 00000a7e: ADD 00000a7f: MSTORE 00000a80: PUSH1 0x84 00000a82: ADD 00000a83: PUSH2 0x03da 00000a86: JUMP 00000a87: JUMPDEST 00000a88: PUSH1 0x01 00000a8a: PUSH1 0x01 00000a8c: PUSH1 0xa0 00000a8e: SHL 00000a8f: SUB 00000a90: DUP4 00000a91: DUP2 00000a92: AND 00000a93: PUSH0 00000a94: DUP2 00000a95: DUP2 00000a96: MSTORE 00000a97: PUSH1 0x02 00000a99: PUSH1 0x20 00000a9b: SWAP1 00000a9c: DUP2 00000a9d: MSTORE 00000a9e: PUSH1 0x40 00000aa0: DUP1 00000aa1: DUP4 00000aa2: KECCAK256 00000aa3: SWAP5 00000aa4: DUP8 00000aa5: AND 00000aa6: DUP1 00000aa7: DUP5 00000aa8: MSTORE 00000aa9: SWAP5 00000aaa: DUP3 00000aab: MSTORE 00000aac: SWAP2 00000aad: DUP3 00000aae: SWAP1 00000aaf: KECCAK256 00000ab0: DUP6 00000ab1: SWAP1 00000ab2: SSTORE 00000ab3: SWAP1 00000ab4: MLOAD 00000ab5: DUP5 00000ab6: DUP2 00000ab7: MSTORE 00000ab8: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000ad9: SWAP2 00000ada: ADD 00000adb: PUSH1 0x40 00000add: MLOAD 00000ade: DUP1 00000adf: SWAP2 00000ae0: SUB 00000ae1: SWAP1 00000ae2: LOG3 00000ae3: POP 00000ae4: POP 00000ae5: POP 00000ae6: JUMP 00000ae7: JUMPDEST 00000ae8: PUSH1 0x01 00000aea: PUSH1 0x01 00000aec: PUSH1 0xa0 00000aee: SHL 00000aef: SUB 00000af0: DUP4 00000af1: AND 00000af2: PUSH2 0x0b4b 00000af5: JUMPI 00000af6: PUSH1 0x40 00000af8: MLOAD 00000af9: PUSH3 0x461bcd 00000afd: PUSH1 0xe5 00000aff: SHL 00000b00: DUP2 00000b01: MSTORE 00000b02: PUSH1 0x20 00000b04: PUSH1 0x04 00000b06: DUP3 00000b07: ADD 00000b08: MSTORE 00000b09: PUSH1 0x25 00000b0b: PUSH1 0x24 00000b0d: DUP3 00000b0e: ADD 00000b0f: MSTORE 00000b10: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164 00000b31: PUSH1 0x44 00000b33: DUP3 00000b34: ADD 00000b35: MSTORE 00000b36: PUSH5 0x6472657373 00000b3c: PUSH1 0xd8 00000b3e: SHL 00000b3f: PUSH1 0x64 00000b41: DUP3 00000b42: ADD 00000b43: MSTORE 00000b44: PUSH1 0x84 00000b46: ADD 00000b47: PUSH2 0x03da 00000b4a: JUMP 00000b4b: JUMPDEST 00000b4c: PUSH1 0x01 00000b4e: PUSH1 0x01 00000b50: PUSH1 0xa0 00000b52: SHL 00000b53: SUB 00000b54: DUP3 00000b55: AND 00000b56: PUSH2 0x0bad 00000b59: JUMPI 00000b5a: PUSH1 0x40 00000b5c: MLOAD 00000b5d: PUSH3 0x461bcd 00000b61: PUSH1 0xe5 00000b63: SHL 00000b64: DUP2 00000b65: MSTORE 00000b66: PUSH1 0x20 00000b68: PUSH1 0x04 00000b6a: DUP3 00000b6b: ADD 00000b6c: MSTORE 00000b6d: PUSH1 0x23 00000b6f: PUSH1 0x24 00000b71: DUP3 00000b72: ADD 00000b73: MSTORE 00000b74: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472 00000b95: PUSH1 0x44 00000b97: DUP3 00000b98: ADD 00000b99: MSTORE 00000b9a: PUSH3 0x657373 00000b9e: PUSH1 0xe8 00000ba0: SHL 00000ba1: PUSH1 0x64 00000ba3: DUP3 00000ba4: ADD 00000ba5: MSTORE 00000ba6: PUSH1 0x84 00000ba8: ADD 00000ba9: PUSH2 0x03da 00000bac: JUMP 00000bad: JUMPDEST 00000bae: PUSH0 00000baf: DUP2 00000bb0: GT 00000bb1: PUSH2 0x0c0e 00000bb4: JUMPI 00000bb5: PUSH1 0x40 00000bb7: MLOAD 00000bb8: PUSH3 0x461bcd 00000bbc: PUSH1 0xe5 00000bbe: SHL 00000bbf: DUP2 00000bc0: MSTORE 00000bc1: PUSH1 0x20 00000bc3: PUSH1 0x04 00000bc5: DUP3 00000bc6: ADD 00000bc7: MSTORE 00000bc8: PUSH1 0x29 00000bca: PUSH1 0x24 00000bcc: DUP3 00000bcd: ADD 00000bce: MSTORE 00000bcf: PUSH32 0x5472616e7366657220616d6f756e74206d757374206265206772656174657220 00000bf0: PUSH1 0x44 00000bf2: DUP3 00000bf3: ADD 00000bf4: MSTORE 00000bf5: PUSH9 0x7468616e207a65726f 00000bff: PUSH1 0xb8 00000c01: SHL 00000c02: PUSH1 0x64 00000c04: DUP3 00000c05: ADD 00000c06: MSTORE 00000c07: PUSH1 0x84 00000c09: ADD 00000c0a: PUSH2 0x03da 00000c0d: JUMP 00000c0e: JUMPDEST 00000c0f: PUSH0 00000c10: DUP1 00000c11: SLOAD 00000c12: PUSH1 0x01 00000c14: PUSH1 0x01 00000c16: PUSH1 0xa0 00000c18: SHL 00000c19: SUB 00000c1a: DUP6 00000c1b: DUP2 00000c1c: AND 00000c1d: SWAP2 00000c1e: AND 00000c1f: EQ 00000c20: DUP1 00000c21: ISZERO 00000c22: SWAP1 00000c23: PUSH2 0x0c39 00000c26: JUMPI 00000c27: POP 00000c28: PUSH0 00000c29: SLOAD 00000c2a: PUSH1 0x01 00000c2c: PUSH1 0x01 00000c2e: PUSH1 0xa0 00000c30: SHL 00000c31: SUB 00000c32: DUP5 00000c33: DUP2 00000c34: AND 00000c35: SWAP2 00000c36: AND 00000c37: EQ 00000c38: ISZERO 00000c39: JUMPDEST 00000c3a: ISZERO 00000c3b: PUSH2 0x0f9e 00000c3e: JUMPI 00000c3f: PUSH1 0x01 00000c41: PUSH1 0x01 00000c43: PUSH1 0xa0 00000c45: SHL 00000c46: SUB 00000c47: DUP5 00000c48: AND 00000c49: PUSH0 00000c4a: SWAP1 00000c4b: DUP2 00000c4c: MSTORE 00000c4d: PUSH1 0x04 00000c4f: PUSH1 0x20 00000c51: MSTORE 00000c52: PUSH1 0x40 00000c54: SWAP1 00000c55: KECCAK256 00000c56: SLOAD 00000c57: PUSH1 0xff 00000c59: AND 00000c5a: ISZERO 00000c5b: DUP1 00000c5c: ISZERO 00000c5d: PUSH2 0x0c7e 00000c60: JUMPI 00000c61: POP 00000c62: PUSH1 0x01 00000c64: PUSH1 0x01 00000c66: PUSH1 0xa0 00000c68: SHL 00000c69: SUB 00000c6a: DUP4 00000c6b: AND 00000c6c: PUSH0 00000c6d: SWAP1 00000c6e: DUP2 00000c6f: MSTORE 00000c70: PUSH1 0x04 00000c72: PUSH1 0x20 00000c74: MSTORE 00000c75: PUSH1 0x40 00000c77: SWAP1 00000c78: KECCAK256 00000c79: SLOAD 00000c7a: PUSH1 0xff 00000c7c: AND 00000c7d: ISZERO 00000c7e: JUMPDEST 00000c7f: PUSH2 0x0c86 00000c82: JUMPI 00000c83: PUSH0 00000c84: DUP1 00000c85: REVERT 00000c86: JUMPDEST 00000c87: PUSH1 0x12 00000c89: SLOAD 00000c8a: PUSH0 00000c8b: SUB 00000c8c: PUSH2 0x0cbe 00000c8f: JUMPI 00000c90: PUSH2 0x0cbb 00000c93: PUSH1 0x64 00000c95: PUSH2 0x0cb5 00000c98: PUSH1 0x0e 00000c9a: SLOAD 00000c9b: PUSH1 0x12 00000c9d: SLOAD 00000c9e: GT 00000c9f: PUSH2 0x0caa 00000ca2: JUMPI 00000ca3: PUSH1 0x0a 00000ca5: SLOAD 00000ca6: PUSH2 0x0cae 00000ca9: JUMP 00000caa: JUMPDEST 00000cab: PUSH1 0x0c 00000cad: SLOAD 00000cae: JUMPDEST 00000caf: DUP6 00000cb0: SWAP1 00000cb1: PUSH2 0x12ba 00000cb4: JUMP 00000cb5: JUMPDEST 00000cb6: SWAP1 00000cb7: PUSH2 0x133f 00000cba: JUMP 00000cbb: JUMPDEST 00000cbc: SWAP1 00000cbd: POP 00000cbe: JUMPDEST 00000cbf: PUSH1 0x12 00000cc1: SLOAD 00000cc2: ISZERO 00000cc3: PUSH2 0x0ce3 00000cc6: JUMPI 00000cc7: PUSH2 0x0ce0 00000cca: PUSH1 0x64 00000ccc: PUSH2 0x0cb5 00000ccf: PUSH1 0x11 00000cd1: SLOAD 00000cd2: DUP6 00000cd3: PUSH2 0x12ba 00000cd6: SWAP1 00000cd7: SWAP2 00000cd8: SWAP1 00000cd9: PUSH4 0xffffffff 00000cde: AND 00000cdf: JUMP 00000ce0: JUMPDEST 00000ce1: SWAP1 00000ce2: POP 00000ce3: JUMPDEST 00000ce4: PUSH1 0x14 00000ce6: SLOAD 00000ce7: PUSH1 0x01 00000ce9: PUSH1 0x01 00000ceb: PUSH1 0xa0 00000ced: SHL 00000cee: SUB 00000cef: DUP6 00000cf0: DUP2 00000cf1: AND 00000cf2: SWAP2 00000cf3: AND 00000cf4: EQ 00000cf5: DUP1 00000cf6: ISZERO 00000cf7: PUSH2 0x0d0e 00000cfa: JUMPI 00000cfb: POP 00000cfc: PUSH1 0x13 00000cfe: SLOAD 00000cff: PUSH1 0x01 00000d01: PUSH1 0x01 00000d03: PUSH1 0xa0 00000d05: SHL 00000d06: SUB 00000d07: DUP5 00000d08: DUP2 00000d09: AND 00000d0a: SWAP2 00000d0b: AND 00000d0c: EQ 00000d0d: ISZERO 00000d0e: JUMPDEST 00000d0f: DUP1 00000d10: ISZERO 00000d11: PUSH2 0x0d32 00000d14: JUMPI 00000d15: POP 00000d16: PUSH1 0x01 00000d18: PUSH1 0x01 00000d1a: PUSH1 0xa0 00000d1c: SHL 00000d1d: SUB 00000d1e: DUP4 00000d1f: AND 00000d20: PUSH0 00000d21: SWAP1 00000d22: DUP2 00000d23: MSTORE 00000d24: PUSH1 0x03 00000d26: PUSH1 0x20 00000d28: MSTORE 00000d29: PUSH1 0x40 00000d2b: SWAP1 00000d2c: KECCAK256 00000d2d: SLOAD 00000d2e: PUSH1 0xff 00000d30: AND 00000d31: ISZERO 00000d32: JUMPDEST 00000d33: ISZERO 00000d34: PUSH2 0x0e35 00000d37: JUMPI 00000d38: PUSH1 0x06 00000d3a: SLOAD 00000d3b: DUP3 00000d3c: GT 00000d3d: ISZERO 00000d3e: PUSH2 0x0d89 00000d41: JUMPI 00000d42: PUSH1 0x40 00000d44: MLOAD 00000d45: PUSH3 0x461bcd 00000d49: PUSH1 0xe5 00000d4b: SHL 00000d4c: DUP2 00000d4d: MSTORE 00000d4e: PUSH1 0x20 00000d50: PUSH1 0x04 00000d52: DUP3 00000d53: ADD 00000d54: MSTORE 00000d55: PUSH1 0x19 00000d57: PUSH1 0x24 00000d59: DUP3 00000d5a: ADD 00000d5b: MSTORE 00000d5c: PUSH32 0x4578636565647320746865205f6d61785478416d6f756e742e00000000000000 00000d7d: PUSH1 0x44 00000d7f: DUP3 00000d80: ADD 00000d81: MSTORE 00000d82: PUSH1 0x64 00000d84: ADD 00000d85: PUSH2 0x03da 00000d88: JUMP 00000d89: JUMPDEST 00000d8a: PUSH1 0x07 00000d8c: SLOAD 00000d8d: DUP3 00000d8e: PUSH2 0x0dab 00000d91: DUP6 00000d92: PUSH1 0x01 00000d94: PUSH1 0x01 00000d96: PUSH1 0xa0 00000d98: SHL 00000d99: SUB 00000d9a: AND 00000d9b: PUSH0 00000d9c: SWAP1 00000d9d: DUP2 00000d9e: MSTORE 00000d9f: PUSH1 0x01 00000da1: PUSH1 0x20 00000da3: MSTORE 00000da4: PUSH1 0x40 00000da6: SWAP1 00000da7: KECCAK256 00000da8: SLOAD 00000da9: SWAP1 00000daa: JUMP 00000dab: JUMPDEST 00000dac: PUSH2 0x0db5 00000daf: SWAP2 00000db0: SWAP1 00000db1: PUSH2 0x172f 00000db4: JUMP 00000db5: JUMPDEST 00000db6: GT 00000db7: ISZERO 00000db8: PUSH2 0x0e03 00000dbb: JUMPI 00000dbc: PUSH1 0x40 00000dbe: MLOAD 00000dbf: PUSH3 0x461bcd 00000dc3: PUSH1 0xe5 00000dc5: SHL 00000dc6: DUP2 00000dc7: MSTORE 00000dc8: PUSH1 0x20 00000dca: PUSH1 0x04 00000dcc: DUP3 00000dcd: ADD 00000dce: MSTORE 00000dcf: PUSH1 0x1a 00000dd1: PUSH1 0x24 00000dd3: DUP3 00000dd4: ADD 00000dd5: MSTORE 00000dd6: PUSH32 0x4578636565647320746865206d617857616c6c657453697a652e000000000000 00000df7: PUSH1 0x44 00000df9: DUP3 00000dfa: ADD 00000dfb: MSTORE 00000dfc: PUSH1 0x64 00000dfe: ADD 00000dff: PUSH2 0x03da 00000e02: JUMP 00000e03: JUMPDEST 00000e04: PUSH2 0x0e1e 00000e07: PUSH1 0x64 00000e09: PUSH2 0x0cb5 00000e0c: PUSH1 0x0e 00000e0e: SLOAD 00000e0f: PUSH1 0x12 00000e11: SLOAD 00000e12: GT 00000e13: PUSH2 0x0caa 00000e16: JUMPI 00000e17: PUSH1 0x0a 00000e19: SLOAD 00000e1a: PUSH2 0x0cae 00000e1d: JUMP 00000e1e: JUMPDEST 00000e1f: PUSH1 0x12 00000e21: DUP1 00000e22: SLOAD 00000e23: SWAP2 00000e24: SWAP3 00000e25: POP 00000e26: PUSH0 00000e27: PUSH2 0x0e2f 00000e2a: DUP4 00000e2b: PUSH2 0x1742 00000e2e: JUMP 00000e2f: JUMPDEST 00000e30: SWAP2 00000e31: SWAP1 00000e32: POP 00000e33: SSTORE 00000e34: POP 00000e35: JUMPDEST 00000e36: PUSH1 0x14 00000e38: SLOAD 00000e39: PUSH1 0x01 00000e3b: PUSH1 0x01 00000e3d: PUSH1 0xa0 00000e3f: SHL 00000e40: SUB 00000e41: DUP5 00000e42: DUP2 00000e43: AND 00000e44: SWAP2 00000e45: AND 00000e46: EQ 00000e47: DUP1 00000e48: ISZERO 00000e49: PUSH2 0x0e5b 00000e4c: JUMPI 00000e4d: POP 00000e4e: PUSH1 0x01 00000e50: PUSH1 0x01 00000e52: PUSH1 0xa0 00000e54: SHL 00000e55: SUB 00000e56: DUP5 00000e57: AND 00000e58: ADDRESS 00000e59: EQ 00000e5a: ISZERO 00000e5b: JUMPDEST 00000e5c: ISZERO 00000e5d: PUSH2 0x0e88 00000e60: JUMPI 00000e61: PUSH2 0x0e85 00000e64: PUSH1 0x64 00000e66: PUSH2 0x0cb5 00000e69: PUSH1 0x0f 00000e6b: SLOAD 00000e6c: PUSH1 0x12 00000e6e: SLOAD 00000e6f: GT 00000e70: PUSH2 0x0e7b 00000e73: JUMPI 00000e74: PUSH1 0x0b 00000e76: SLOAD 00000e77: PUSH2 0x0cae 00000e7a: JUMP 00000e7b: JUMPDEST 00000e7c: PUSH1 0x0d 00000e7e: SLOAD 00000e7f: DUP6 00000e80: SWAP1 00000e81: PUSH2 0x12ba 00000e84: JUMP 00000e85: JUMPDEST 00000e86: SWAP1 00000e87: POP 00000e88: JUMPDEST 00000e89: ADDRESS 00000e8a: PUSH0 00000e8b: SWAP1 00000e8c: DUP2 00000e8d: MSTORE 00000e8e: PUSH1 0x01 00000e90: PUSH1 0x20 00000e92: MSTORE 00000e93: PUSH1 0x40 00000e95: SWAP1 00000e96: KECCAK256 00000e97: SLOAD 00000e98: PUSH1 0x14 00000e9a: SLOAD 00000e9b: PUSH1 0x01 00000e9d: PUSH1 0xa8 00000e9f: SHL 00000ea0: SWAP1 00000ea1: DIV 00000ea2: PUSH1 0xff 00000ea4: AND 00000ea5: ISZERO 00000ea6: DUP1 00000ea7: ISZERO 00000ea8: PUSH2 0x0ebe 00000eab: JUMPI 00000eac: POP 00000ead: PUSH1 0x14 00000eaf: SLOAD 00000eb0: PUSH1 0x01 00000eb2: PUSH1 0x01 00000eb4: PUSH1 0xa0 00000eb6: SHL 00000eb7: SUB 00000eb8: DUP6 00000eb9: DUP2 00000eba: AND 00000ebb: SWAP2 00000ebc: AND 00000ebd: EQ 00000ebe: JUMPDEST 00000ebf: DUP1 00000ec0: ISZERO 00000ec1: PUSH2 0x0ed3 00000ec4: JUMPI 00000ec5: POP 00000ec6: PUSH1 0x14 00000ec8: SLOAD 00000ec9: PUSH1 0x01 00000ecb: PUSH1 0xb0 00000ecd: SHL 00000ece: SWAP1 00000ecf: DIV 00000ed0: PUSH1 0xff 00000ed2: AND 00000ed3: JUMPDEST 00000ed4: DUP1 00000ed5: ISZERO 00000ed6: PUSH2 0x0ee0 00000ed9: JUMPI 00000eda: POP 00000edb: PUSH1 0x08 00000edd: SLOAD 00000ede: DUP2 00000edf: GT 00000ee0: JUMPDEST 00000ee1: DUP1 00000ee2: ISZERO 00000ee3: PUSH2 0x0eef 00000ee6: JUMPI 00000ee7: POP 00000ee8: PUSH1 0x10 00000eea: SLOAD 00000eeb: PUSH1 0x12 00000eed: SLOAD 00000eee: GT 00000eef: JUMPDEST 00000ef0: ISZERO 00000ef1: PUSH2 0x0f9c 00000ef4: JUMPI 00000ef5: PUSH1 0x15 00000ef7: SLOAD 00000ef8: NUMBER 00000ef9: GT 00000efa: ISZERO 00000efb: PUSH2 0x0f03 00000efe: JUMPI 00000eff: PUSH0 00000f00: PUSH1 0x16 00000f02: SSTORE 00000f03: JUMPDEST 00000f04: PUSH1 0x04 00000f06: PUSH1 0x16 00000f08: SLOAD 00000f09: LT 00000f0a: PUSH2 0x0f55 00000f0d: JUMPI 00000f0e: PUSH1 0x40 00000f10: MLOAD 00000f11: PUSH3 0x461bcd 00000f15: PUSH1 0xe5 00000f17: SHL 00000f18: DUP2 00000f19: MSTORE 00000f1a: PUSH1 0x20 00000f1c: PUSH1 0x04 00000f1e: DUP3 00000f1f: ADD 00000f20: MSTORE 00000f21: PUSH1 0x17 00000f23: PUSH1 0x24 00000f25: DUP3 00000f26: ADD 00000f27: MSTORE 00000f28: PUSH32 0x4f6e6c7920342073656c6c732070657220626c6f636b21000000000000000000 00000f49: PUSH1 0x44 00000f4b: DUP3 00000f4c: ADD 00000f4d: MSTORE 00000f4e: PUSH1 0x64 00000f50: ADD 00000f51: PUSH2 0x03da 00000f54: JUMP 00000f55: JUMPDEST 00000f56: PUSH2 0x0f72 00000f59: PUSH2 0x0f6d 00000f5c: DUP5 00000f5d: PUSH2 0x0f68 00000f60: DUP5 00000f61: PUSH1 0x09 00000f63: SLOAD 00000f64: PUSH2 0x1380 00000f67: JUMP 00000f68: JUMPDEST 00000f69: PUSH2 0x1380 00000f6c: JUMP 00000f6d: JUMPDEST 00000f6e: PUSH2 0x1113 00000f71: JUMP 00000f72: JUMPDEST 00000f73: SELFBALANCE 00000f74: DUP1 00000f75: ISZERO 00000f76: PUSH2 0x0f82 00000f79: JUMPI 00000f7a: PUSH2 0x0f82 00000f7d: SELFBALANCE 00000f7e: PUSH2 0x1283 00000f81: JUMP 00000f82: JUMPDEST 00000f83: PUSH1 0x16 00000f85: DUP1 00000f86: SLOAD 00000f87: SWAP1 00000f88: PUSH0 00000f89: PUSH2 0x0f91 00000f8c: DUP4 00000f8d: PUSH2 0x1742 00000f90: JUMP 00000f91: JUMPDEST 00000f92: SWAP1 00000f93: SWAP2 00000f94: SSTORE 00000f95: POP 00000f96: POP 00000f97: NUMBER 00000f98: PUSH1 0x15 00000f9a: SSTORE 00000f9b: POP 00000f9c: JUMPDEST 00000f9d: POP 00000f9e: JUMPDEST 00000f9f: DUP1 00000fa0: ISZERO 00000fa1: PUSH2 0x1016 00000fa4: JUMPI 00000fa5: ADDRESS 00000fa6: PUSH0 00000fa7: SWAP1 00000fa8: DUP2 00000fa9: MSTORE 00000faa: PUSH1 0x01 00000fac: PUSH1 0x20 00000fae: MSTORE 00000faf: PUSH1 0x40 00000fb1: SWAP1 00000fb2: KECCAK256 00000fb3: SLOAD 00000fb4: PUSH2 0x0fbd 00000fb7: SWAP1 00000fb8: DUP3 00000fb9: PUSH2 0x1394 00000fbc: JUMP 00000fbd: JUMPDEST 00000fbe: ADDRESS 00000fbf: PUSH0 00000fc0: DUP2 00000fc1: DUP2 00000fc2: MSTORE 00000fc3: PUSH1 0x01 00000fc5: PUSH1 0x20 00000fc7: MSTORE 00000fc8: PUSH1 0x40 00000fca: SWAP1 00000fcb: DUP2 00000fcc: SWAP1 00000fcd: KECCAK256 00000fce: SWAP3 00000fcf: SWAP1 00000fd0: SWAP3 00000fd1: SSTORE 00000fd2: SWAP1 00000fd3: MLOAD 00000fd4: PUSH1 0x01 00000fd6: PUSH1 0x01 00000fd8: PUSH1 0xa0 00000fda: SHL 00000fdb: SUB 00000fdc: DUP7 00000fdd: AND 00000fde: SWAP1 00000fdf: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001000: SWAP1 00001001: PUSH2 0x100d 00001004: SWAP1 00001005: DUP6 00001006: DUP2 00001007: MSTORE 00001008: PUSH1 0x20 0000100a: ADD 0000100b: SWAP1 0000100c: JUMP 0000100d: JUMPDEST 0000100e: PUSH1 0x40 00001010: MLOAD 00001011: DUP1 00001012: SWAP2 00001013: SUB 00001014: SWAP1 00001015: LOG3 00001016: JUMPDEST 00001017: PUSH1 0x01 00001019: PUSH1 0x01 0000101b: PUSH1 0xa0 0000101d: SHL 0000101e: SUB 0000101f: DUP5 00001020: AND 00001021: PUSH0 00001022: SWAP1 00001023: DUP2 00001024: MSTORE 00001025: PUSH1 0x01 00001027: PUSH1 0x20 00001029: MSTORE 0000102a: PUSH1 0x40 0000102c: SWAP1 0000102d: KECCAK256 0000102e: SLOAD 0000102f: PUSH2 0x1038 00001032: SWAP1 00001033: DUP4 00001034: PUSH2 0x13f2 00001037: JUMP 00001038: JUMPDEST 00001039: PUSH1 0x01 0000103b: PUSH1 0x01 0000103d: PUSH1 0xa0 0000103f: SHL 00001040: SUB 00001041: DUP6 00001042: AND 00001043: PUSH0 00001044: SWAP1 00001045: DUP2 00001046: MSTORE 00001047: PUSH1 0x01 00001049: PUSH1 0x20 0000104b: MSTORE 0000104c: PUSH1 0x40 0000104e: SWAP1 0000104f: KECCAK256 00001050: SSTORE 00001051: PUSH2 0x107b 00001054: PUSH2 0x105d 00001057: DUP4 00001058: DUP4 00001059: PUSH2 0x13f2 0000105c: JUMP 0000105d: JUMPDEST 0000105e: PUSH1 0x01 00001060: PUSH1 0x01 00001062: PUSH1 0xa0 00001064: SHL 00001065: SUB 00001066: DUP6 00001067: AND 00001068: PUSH0 00001069: SWAP1 0000106a: DUP2 0000106b: MSTORE 0000106c: PUSH1 0x01 0000106e: PUSH1 0x20 00001070: MSTORE 00001071: PUSH1 0x40 00001073: SWAP1 00001074: KECCAK256 00001075: SLOAD 00001076: SWAP1 00001077: PUSH2 0x1394 0000107a: JUMP 0000107b: JUMPDEST 0000107c: PUSH1 0x01 0000107e: PUSH1 0x01 00001080: PUSH1 0xa0 00001082: SHL 00001083: SUB 00001084: DUP1 00001085: DUP6 00001086: AND 00001087: PUSH0 00001088: DUP2 00001089: DUP2 0000108a: MSTORE 0000108b: PUSH1 0x01 0000108d: PUSH1 0x20 0000108f: MSTORE 00001090: PUSH1 0x40 00001092: SWAP1 00001093: KECCAK256 00001094: SWAP3 00001095: SWAP1 00001096: SWAP3 00001097: SSTORE 00001098: DUP6 00001099: AND 0000109a: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000010bb: PUSH2 0x10c4 000010be: DUP6 000010bf: DUP6 000010c0: PUSH2 0x13f2 000010c3: JUMP 000010c4: JUMPDEST 000010c5: PUSH1 0x40 000010c7: MLOAD 000010c8: SWAP1 000010c9: DUP2 000010ca: MSTORE 000010cb: PUSH1 0x20 000010cd: ADD 000010ce: PUSH1 0x40 000010d0: MLOAD 000010d1: DUP1 000010d2: SWAP2 000010d3: SUB 000010d4: SWAP1 000010d5: LOG3 000010d6: POP 000010d7: POP 000010d8: POP 000010d9: POP 000010da: JUMP 000010db: JUMPDEST 000010dc: PUSH0 000010dd: DUP2 000010de: DUP5 000010df: DUP5 000010e0: GT 000010e1: ISZERO 000010e2: PUSH2 0x10fe 000010e5: JUMPI 000010e6: PUSH1 0x40 000010e8: MLOAD 000010e9: PUSH3 0x461bcd 000010ed: PUSH1 0xe5 000010ef: SHL 000010f0: DUP2 000010f1: MSTORE 000010f2: PUSH1 0x04 000010f4: ADD 000010f5: PUSH2 0x03da 000010f8: SWAP2 000010f9: SWAP1 000010fa: PUSH2 0x145f 000010fd: JUMP 000010fe: JUMPDEST 000010ff: POP 00001100: PUSH0 00001101: PUSH2 0x110a 00001104: DUP5 00001105: DUP7 00001106: PUSH2 0x175a 00001109: JUMP 0000110a: JUMPDEST 0000110b: SWAP6 0000110c: SWAP5 0000110d: POP 0000110e: POP 0000110f: POP 00001110: POP 00001111: POP 00001112: JUMP 00001113: JUMPDEST 00001114: PUSH1 0x14 00001116: DUP1 00001117: SLOAD 00001118: PUSH1 0xff 0000111a: PUSH1 0xa8 0000111c: SHL 0000111d: NOT 0000111e: AND 0000111f: PUSH1 0x01 00001121: PUSH1 0xa8 00001123: SHL 00001124: OR 00001125: SWAP1 00001126: SSTORE 00001127: PUSH1 0x40 00001129: DUP1 0000112a: MLOAD 0000112b: PUSH1 0x02 0000112d: DUP1 0000112e: DUP3 0000112f: MSTORE 00001130: PUSH1 0x60 00001132: DUP3 00001133: ADD 00001134: DUP4 00001135: MSTORE 00001136: PUSH0 00001137: SWAP3 00001138: PUSH1 0x20 0000113a: DUP4 0000113b: ADD 0000113c: SWAP1 0000113d: DUP1 0000113e: CALLDATASIZE 0000113f: DUP4 00001140: CALLDATACOPY 00001141: ADD 00001142: SWAP1 00001143: POP 00001144: POP 00001145: SWAP1 00001146: POP 00001147: ADDRESS 00001148: DUP2 00001149: PUSH0 0000114a: DUP2 0000114b: MLOAD 0000114c: DUP2 0000114d: LT 0000114e: PUSH2 0x1159 00001151: JUMPI 00001152: PUSH2 0x1159 00001155: PUSH2 0x176d 00001158: JUMP 00001159: JUMPDEST 0000115a: PUSH1 0x01 0000115c: PUSH1 0x01 0000115e: PUSH1 0xa0 00001160: SHL 00001161: SUB 00001162: SWAP3 00001163: DUP4 00001164: AND 00001165: PUSH1 0x20 00001167: SWAP2 00001168: DUP3 00001169: MUL 0000116a: SWAP3 0000116b: SWAP1 0000116c: SWAP3 0000116d: ADD 0000116e: DUP2 0000116f: ADD 00001170: SWAP2 00001171: SWAP1 00001172: SWAP2 00001173: MSTORE 00001174: PUSH1 0x13 00001176: SLOAD 00001177: PUSH1 0x40 00001179: DUP1 0000117a: MLOAD 0000117b: PUSH4 0x15ab88c9 00001180: PUSH1 0xe3 00001182: SHL 00001183: DUP2 00001184: MSTORE 00001185: SWAP1 00001186: MLOAD 00001187: SWAP2 00001188: SWAP1 00001189: SWAP4 0000118a: AND 0000118b: SWAP3 0000118c: PUSH4 0xad5c4648 00001191: SWAP3 00001192: PUSH1 0x04 00001194: DUP1 00001195: DUP4 00001196: ADD 00001197: SWAP4 00001198: SWAP2 00001199: SWAP3 0000119a: DUP3 0000119b: SWAP1 0000119c: SUB 0000119d: ADD 0000119e: DUP2 0000119f: DUP7 000011a0: GAS 000011a1: STATICCALL 000011a2: ISZERO 000011a3: DUP1 000011a4: ISZERO 000011a5: PUSH2 0x11b0 000011a8: JUMPI 000011a9: RETURNDATASIZE 000011aa: PUSH0 000011ab: DUP1 000011ac: RETURNDATACOPY 000011ad: RETURNDATASIZE 000011ae: PUSH0 000011af: REVERT 000011b0: JUMPDEST 000011b1: POP 000011b2: POP 000011b3: POP 000011b4: POP 000011b5: PUSH1 0x40 000011b7: MLOAD 000011b8: RETURNDATASIZE 000011b9: PUSH1 0x1f 000011bb: NOT 000011bc: PUSH1 0x1f 000011be: DUP3 000011bf: ADD 000011c0: AND 000011c1: DUP3 000011c2: ADD 000011c3: DUP1 000011c4: PUSH1 0x40 000011c6: MSTORE 000011c7: POP 000011c8: DUP2 000011c9: ADD 000011ca: SWAP1 000011cb: PUSH2 0x11d4 000011ce: SWAP2 000011cf: SWAP1 000011d0: PUSH2 0x16ca 000011d3: JUMP 000011d4: JUMPDEST 000011d5: DUP2 000011d6: PUSH1 0x01 000011d8: DUP2 000011d9: MLOAD 000011da: DUP2 000011db: LT 000011dc: PUSH2 0x11e7 000011df: JUMPI 000011e0: PUSH2 0x11e7 000011e3: PUSH2 0x176d 000011e6: JUMP 000011e7: JUMPDEST 000011e8: PUSH1 0x01 000011ea: PUSH1 0x01 000011ec: PUSH1 0xa0 000011ee: SHL 000011ef: SUB 000011f0: SWAP3 000011f1: DUP4 000011f2: AND 000011f3: PUSH1 0x20 000011f5: SWAP2 000011f6: DUP3 000011f7: MUL 000011f8: SWAP3 000011f9: SWAP1 000011fa: SWAP3 000011fb: ADD 000011fc: ADD 000011fd: MSTORE 000011fe: PUSH1 0x13 00001200: SLOAD 00001201: PUSH2 0x120d 00001204: SWAP2 00001205: ADDRESS 00001206: SWAP2 00001207: AND 00001208: DUP5 00001209: PUSH2 0x09c4 0000120c: JUMP 0000120d: JUMPDEST 0000120e: PUSH1 0x13 00001210: SLOAD 00001211: PUSH1 0x40 00001213: MLOAD 00001214: PUSH4 0x791ac947 00001219: PUSH1 0xe0 0000121b: SHL 0000121c: DUP2 0000121d: MSTORE 0000121e: PUSH1 0x01 00001220: PUSH1 0x01 00001222: PUSH1 0xa0 00001224: SHL 00001225: SUB 00001226: SWAP1 00001227: SWAP2 00001228: AND 00001229: SWAP1 0000122a: PUSH4 0x791ac947 0000122f: SWAP1 00001230: PUSH2 0x1245 00001233: SWAP1 00001234: DUP6 00001235: SWAP1 00001236: PUSH0 00001237: SWAP1 00001238: DUP7 00001239: SWAP1 0000123a: ADDRESS 0000123b: SWAP1 0000123c: TIMESTAMP 0000123d: SWAP1 0000123e: PUSH1 0x04 00001240: ADD 00001241: PUSH2 0x1781 00001244: JUMP 00001245: JUMPDEST 00001246: PUSH0 00001247: PUSH1 0x40 00001249: MLOAD 0000124a: DUP1 0000124b: DUP4 0000124c: SUB 0000124d: DUP2 0000124e: PUSH0 0000124f: DUP8 00001250: DUP1 00001251: EXTCODESIZE 00001252: ISZERO 00001253: DUP1 00001254: ISZERO 00001255: PUSH2 0x125c 00001258: JUMPI 00001259: PUSH0 0000125a: DUP1 0000125b: REVERT 0000125c: JUMPDEST 0000125d: POP 0000125e: GAS 0000125f: CALL 00001260: ISZERO 00001261: DUP1 00001262: ISZERO 00001263: PUSH2 0x126e 00001266: JUMPI 00001267: RETURNDATASIZE 00001268: PUSH0 00001269: DUP1 0000126a: RETURNDATACOPY 0000126b: RETURNDATASIZE 0000126c: PUSH0 0000126d: REVERT 0000126e: JUMPDEST 0000126f: POP 00001270: POP 00001271: PUSH1 0x14 00001273: DUP1 00001274: SLOAD 00001275: PUSH1 0xff 00001277: PUSH1 0xa8 00001279: SHL 0000127a: NOT 0000127b: AND 0000127c: SWAP1 0000127d: SSTORE 0000127e: POP 0000127f: POP 00001280: POP 00001281: POP 00001282: JUMP 00001283: JUMPDEST 00001284: PUSH1 0x05 00001286: SLOAD 00001287: PUSH1 0x40 00001289: MLOAD 0000128a: PUSH1 0x01 0000128c: PUSH1 0x01 0000128e: PUSH1 0xa0 00001290: SHL 00001291: SUB 00001292: SWAP1 00001293: SWAP2 00001294: AND 00001295: SWAP1 00001296: DUP3 00001297: ISZERO 00001298: PUSH2 0x08fc 0000129b: MUL 0000129c: SWAP1 0000129d: DUP4 0000129e: SWAP1 0000129f: PUSH0 000012a0: DUP2 000012a1: DUP2 000012a2: DUP2 000012a3: DUP6 000012a4: DUP9 000012a5: DUP9 000012a6: CALL 000012a7: SWAP4 000012a8: POP 000012a9: POP 000012aa: POP 000012ab: POP 000012ac: ISZERO 000012ad: DUP1 000012ae: ISZERO 000012af: PUSH2 0x04f2 000012b2: JUMPI 000012b3: RETURNDATASIZE 000012b4: PUSH0 000012b5: DUP1 000012b6: RETURNDATACOPY 000012b7: RETURNDATASIZE 000012b8: PUSH0 000012b9: REVERT 000012ba: JUMPDEST 000012bb: PUSH0 000012bc: DUP3 000012bd: PUSH0 000012be: SUB 000012bf: PUSH2 0x12c9 000012c2: JUMPI 000012c3: POP 000012c4: PUSH0 000012c5: PUSH2 0x03ab 000012c8: JUMP 000012c9: JUMPDEST 000012ca: PUSH0 000012cb: PUSH2 0x12d4 000012ce: DUP4 000012cf: DUP6 000012d0: PUSH2 0x16b3 000012d3: JUMP 000012d4: JUMPDEST 000012d5: SWAP1 000012d6: POP 000012d7: DUP3 000012d8: PUSH2 0x12e1 000012db: DUP6 000012dc: DUP4 000012dd: PUSH2 0x17f2 000012e0: JUMP 000012e1: JUMPDEST 000012e2: EQ 000012e3: PUSH2 0x1338 000012e6: JUMPI 000012e7: PUSH1 0x40 000012e9: MLOAD 000012ea: PUSH3 0x461bcd 000012ee: PUSH1 0xe5 000012f0: SHL 000012f1: DUP2 000012f2: MSTORE 000012f3: PUSH1 0x20 000012f5: PUSH1 0x04 000012f7: DUP3 000012f8: ADD 000012f9: MSTORE 000012fa: PUSH1 0x21 000012fc: PUSH1 0x24 000012fe: DUP3 000012ff: ADD 00001300: MSTORE 00001301: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f 00001322: PUSH1 0x44 00001324: DUP3 00001325: ADD 00001326: MSTORE 00001327: PUSH1 0x77 00001329: PUSH1 0xf8 0000132b: SHL 0000132c: PUSH1 0x64 0000132e: DUP3 0000132f: ADD 00001330: MSTORE 00001331: PUSH1 0x84 00001333: ADD 00001334: PUSH2 0x03da 00001337: JUMP 00001338: JUMPDEST 00001339: SWAP4 0000133a: SWAP3 0000133b: POP 0000133c: POP 0000133d: POP 0000133e: JUMP 0000133f: JUMPDEST 00001340: PUSH0 00001341: PUSH2 0x1338 00001344: DUP4 00001345: DUP4 00001346: PUSH1 0x40 00001348: MLOAD 00001349: DUP1 0000134a: PUSH1 0x40 0000134c: ADD 0000134d: PUSH1 0x40 0000134f: MSTORE 00001350: DUP1 00001351: PUSH1 0x1a 00001353: DUP2 00001354: MSTORE 00001355: PUSH1 0x20 00001357: ADD 00001358: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 00001379: DUP2 0000137a: MSTORE 0000137b: POP 0000137c: PUSH2 0x1433 0000137f: JUMP 00001380: JUMPDEST 00001381: PUSH0 00001382: DUP2 00001383: DUP4 00001384: GT 00001385: PUSH2 0x138e 00001388: JUMPI 00001389: DUP3 0000138a: PUSH2 0x1338 0000138d: JUMP 0000138e: JUMPDEST 0000138f: POP 00001390: SWAP2 00001391: SWAP1 00001392: POP 00001393: JUMP 00001394: JUMPDEST 00001395: PUSH0 00001396: DUP1 00001397: PUSH2 0x13a0 0000139a: DUP4 0000139b: DUP6 0000139c: PUSH2 0x172f 0000139f: JUMP 000013a0: JUMPDEST 000013a1: SWAP1 000013a2: POP 000013a3: DUP4 000013a4: DUP2 000013a5: LT 000013a6: ISZERO 000013a7: PUSH2 0x1338 000013aa: JUMPI 000013ab: PUSH1 0x40 000013ad: MLOAD 000013ae: PUSH3 0x461bcd 000013b2: PUSH1 0xe5 000013b4: SHL 000013b5: DUP2 000013b6: MSTORE 000013b7: PUSH1 0x20 000013b9: PUSH1 0x04 000013bb: DUP3 000013bc: ADD 000013bd: MSTORE 000013be: PUSH1 0x1b 000013c0: PUSH1 0x24 000013c2: DUP3 000013c3: ADD 000013c4: MSTORE 000013c5: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 000013e6: PUSH1 0x44 000013e8: DUP3 000013e9: ADD 000013ea: MSTORE 000013eb: PUSH1 0x64 000013ed: ADD 000013ee: PUSH2 0x03da 000013f1: JUMP 000013f2: JUMPDEST 000013f3: PUSH0 000013f4: PUSH2 0x1338 000013f7: DUP4 000013f8: DUP4 000013f9: PUSH1 0x40 000013fb: MLOAD 000013fc: DUP1 000013fd: PUSH1 0x40 000013ff: ADD 00001400: PUSH1 0x40 00001402: MSTORE 00001403: DUP1 00001404: PUSH1 0x1e 00001406: DUP2 00001407: MSTORE 00001408: PUSH1 0x20 0000140a: ADD 0000140b: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 0000142c: DUP2 0000142d: MSTORE 0000142e: POP 0000142f: PUSH2 0x10db 00001432: JUMP 00001433: JUMPDEST 00001434: PUSH0 00001435: DUP2 00001436: DUP4 00001437: PUSH2 0x1453 0000143a: JUMPI 0000143b: PUSH1 0x40 0000143d: MLOAD 0000143e: PUSH3 0x461bcd 00001442: PUSH1 0xe5 00001444: SHL 00001445: DUP2 00001446: MSTORE 00001447: PUSH1 0x04 00001449: ADD 0000144a: PUSH2 0x03da 0000144d: SWAP2 0000144e: SWAP1 0000144f: PUSH2 0x145f 00001452: JUMP 00001453: JUMPDEST 00001454: POP 00001455: PUSH0 00001456: PUSH2 0x110a 00001459: DUP5 0000145a: DUP7 0000145b: PUSH2 0x17f2 0000145e: JUMP 0000145f: JUMPDEST 00001460: PUSH0 00001461: PUSH1 0x20 00001463: DUP1 00001464: DUP4 00001465: MSTORE 00001466: DUP4 00001467: MLOAD 00001468: DUP1 00001469: PUSH1 0x20 0000146b: DUP6 0000146c: ADD 0000146d: MSTORE 0000146e: PUSH0 0000146f: JUMPDEST 00001470: DUP2 00001471: DUP2 00001472: LT 00001473: ISZERO 00001474: PUSH2 0x148b 00001477: JUMPI 00001478: DUP6 00001479: DUP2 0000147a: ADD 0000147b: DUP4 0000147c: ADD 0000147d: MLOAD 0000147e: DUP6 0000147f: DUP3 00001480: ADD 00001481: PUSH1 0x40 00001483: ADD 00001484: MSTORE 00001485: DUP3 00001486: ADD 00001487: PUSH2 0x146f 0000148a: JUMP 0000148b: JUMPDEST 0000148c: POP 0000148d: PUSH0 0000148e: PUSH1 0x40 00001490: DUP3 00001491: DUP7 00001492: ADD 00001493: ADD 00001494: MSTORE 00001495: PUSH1 0x40 00001497: PUSH1 0x1f 00001499: NOT 0000149a: PUSH1 0x1f 0000149c: DUP4 0000149d: ADD 0000149e: AND 0000149f: DUP6 000014a0: ADD 000014a1: ADD 000014a2: SWAP3 000014a3: POP 000014a4: POP 000014a5: POP 000014a6: SWAP3 000014a7: SWAP2 000014a8: POP 000014a9: POP 000014aa: JUMP 000014ab: JUMPDEST 000014ac: PUSH1 0x01 000014ae: PUSH1 0x01 000014b0: PUSH1 0xa0 000014b2: SHL 000014b3: SUB 000014b4: DUP2 000014b5: AND 000014b6: DUP2 000014b7: EQ 000014b8: PUSH2 0x14bf 000014bb: JUMPI 000014bc: PUSH0 000014bd: DUP1 000014be: REVERT 000014bf: JUMPDEST 000014c0: POP 000014c1: JUMP 000014c2: JUMPDEST 000014c3: PUSH0 000014c4: DUP1 000014c5: PUSH1 0x40 000014c7: DUP4 000014c8: DUP6 000014c9: SUB 000014ca: SLT 000014cb: ISZERO 000014cc: PUSH2 0x14d3 000014cf: JUMPI 000014d0: PUSH0 000014d1: DUP1 000014d2: REVERT 000014d3: JUMPDEST 000014d4: DUP3 000014d5: CALLDATALOAD 000014d6: PUSH2 0x14de 000014d9: DUP2 000014da: PUSH2 0x14ab 000014dd: JUMP 000014de: JUMPDEST 000014df: SWAP5 000014e0: PUSH1 0x20 000014e2: SWAP4 000014e3: SWAP1 000014e4: SWAP4 000014e5: ADD 000014e6: CALLDATALOAD 000014e7: SWAP4 000014e8: POP 000014e9: POP 000014ea: POP 000014eb: JUMP 000014ec: JUMPDEST 000014ed: PUSH0 000014ee: DUP1 000014ef: PUSH0 000014f0: PUSH1 0x60 000014f2: DUP5 000014f3: DUP7 000014f4: SUB 000014f5: SLT 000014f6: ISZERO 000014f7: PUSH2 0x14fe 000014fa: JUMPI 000014fb: PUSH0 000014fc: DUP1 000014fd: REVERT 000014fe: JUMPDEST 000014ff: DUP4 00001500: CALLDATALOAD 00001501: PUSH2 0x1509 00001504: DUP2 00001505: PUSH2 0x14ab 00001508: JUMP 00001509: JUMPDEST 0000150a: SWAP3 0000150b: POP 0000150c: PUSH1 0x20 0000150e: DUP5 0000150f: ADD 00001510: CALLDATALOAD 00001511: PUSH2 0x1519 00001514: DUP2 00001515: PUSH2 0x14ab 00001518: JUMP 00001519: JUMPDEST 0000151a: SWAP3 0000151b: SWAP6 0000151c: SWAP3 0000151d: SWAP5 0000151e: POP 0000151f: POP 00001520: POP 00001521: PUSH1 0x40 00001523: SWAP2 00001524: SWAP1 00001525: SWAP2 00001526: ADD 00001527: CALLDATALOAD 00001528: SWAP1 00001529: JUMP 0000152a: JUMPDEST 0000152b: PUSH0 0000152c: PUSH1 0x20 0000152e: DUP3 0000152f: DUP5 00001530: SUB 00001531: SLT 00001532: ISZERO 00001533: PUSH2 0x153a 00001536: JUMPI 00001537: PUSH0 00001538: DUP1 00001539: REVERT 0000153a: JUMPDEST 0000153b: DUP2 0000153c: CALLDATALOAD 0000153d: PUSH2 0x1338 00001540: DUP2 00001541: PUSH2 0x14ab 00001544: JUMP 00001545: JUMPDEST 00001546: PUSH0 00001547: DUP1 00001548: PUSH1 0x40 0000154a: DUP4 0000154b: DUP6 0000154c: SUB 0000154d: SLT 0000154e: ISZERO 0000154f: PUSH2 0x1556 00001552: JUMPI 00001553: PUSH0 00001554: DUP1 00001555: REVERT 00001556: JUMPDEST 00001557: DUP3 00001558: CALLDATALOAD 00001559: PUSH2 0x1561 0000155c: DUP2 0000155d: PUSH2 0x14ab 00001560: JUMP 00001561: JUMPDEST 00001562: SWAP2 00001563: POP 00001564: PUSH1 0x20 00001566: DUP4 00001567: ADD 00001568: CALLDATALOAD 00001569: PUSH2 0x1571 0000156c: DUP2 0000156d: PUSH2 0x14ab 00001570: JUMP 00001571: JUMPDEST 00001572: DUP1 00001573: SWAP2 00001574: POP 00001575: POP 00001576: SWAP3 00001577: POP 00001578: SWAP3 00001579: SWAP1 0000157a: POP 0000157b: JUMP 0000157c: JUMPDEST 0000157d: PUSH1 0x20 0000157f: DUP1 00001580: DUP3 00001581: MSTORE 00001582: DUP2 00001583: DUP2 00001584: ADD 00001585: MSTORE 00001586: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000015a7: PUSH1 0x40 000015a9: DUP3 000015aa: ADD 000015ab: MSTORE 000015ac: PUSH1 0x60 000015ae: ADD 000015af: SWAP1 000015b0: JUMP 000015b1: JUMPDEST 000015b2: PUSH4 0x4e487b71 000015b7: PUSH1 0xe0 000015b9: SHL 000015ba: PUSH0 000015bb: MSTORE 000015bc: PUSH1 0x11 000015be: PUSH1 0x04 000015c0: MSTORE 000015c1: PUSH1 0x24 000015c3: PUSH0 000015c4: REVERT 000015c5: JUMPDEST 000015c6: PUSH1 0x01 000015c8: DUP2 000015c9: DUP2 000015ca: JUMPDEST 000015cb: DUP1 000015cc: DUP6 000015cd: GT 000015ce: ISZERO 000015cf: PUSH2 0x15ff 000015d2: JUMPI 000015d3: DUP2 000015d4: PUSH0 000015d5: NOT 000015d6: DIV 000015d7: DUP3 000015d8: GT 000015d9: ISZERO 000015da: PUSH2 0x15e5 000015dd: JUMPI 000015de: PUSH2 0x15e5 000015e1: PUSH2 0x15b1 000015e4: JUMP 000015e5: JUMPDEST 000015e6: DUP1 000015e7: DUP6 000015e8: AND 000015e9: ISZERO 000015ea: PUSH2 0x15f2 000015ed: JUMPI 000015ee: SWAP2 000015ef: DUP2 000015f0: MUL 000015f1: SWAP2 000015f2: JUMPDEST 000015f3: SWAP4 000015f4: DUP5 000015f5: SHR 000015f6: SWAP4 000015f7: SWAP1 000015f8: DUP1 000015f9: MUL 000015fa: SWAP1 000015fb: PUSH2 0x15ca 000015fe: JUMP 000015ff: JUMPDEST 00001600: POP 00001601: SWAP3 00001602: POP 00001603: SWAP3 00001604: SWAP1 00001605: POP 00001606: JUMP 00001607: JUMPDEST 00001608: PUSH0 00001609: DUP3 0000160a: PUSH2 0x1615 0000160d: JUMPI 0000160e: POP 0000160f: PUSH1 0x01 00001611: PUSH2 0x03ab 00001614: JUMP 00001615: JUMPDEST 00001616: DUP2 00001617: PUSH2 0x1621 0000161a: JUMPI 0000161b: POP 0000161c: PUSH0 0000161d: PUSH2 0x03ab 00001620: JUMP 00001621: JUMPDEST 00001622: DUP2 00001623: PUSH1 0x01 00001625: DUP2 00001626: EQ 00001627: PUSH2 0x1637 0000162a: JUMPI 0000162b: PUSH1 0x02 0000162d: DUP2 0000162e: EQ 0000162f: PUSH2 0x1641 00001632: JUMPI 00001633: PUSH2 0x165d 00001636: JUMP 00001637: JUMPDEST 00001638: PUSH1 0x01 0000163a: SWAP2 0000163b: POP 0000163c: POP 0000163d: PUSH2 0x03ab 00001640: JUMP 00001641: JUMPDEST 00001642: PUSH1 0xff 00001644: DUP5 00001645: GT 00001646: ISZERO 00001647: PUSH2 0x1652 0000164a: JUMPI 0000164b: PUSH2 0x1652 0000164e: PUSH2 0x15b1 00001651: JUMP 00001652: JUMPDEST 00001653: POP 00001654: POP 00001655: PUSH1 0x01 00001657: DUP3 00001658: SHL 00001659: PUSH2 0x03ab 0000165c: JUMP 0000165d: JUMPDEST 0000165e: POP 0000165f: PUSH1 0x20 00001661: DUP4 00001662: LT 00001663: PUSH2 0x0133 00001666: DUP4 00001667: LT 00001668: AND 00001669: PUSH1 0x4e 0000166b: DUP5 0000166c: LT 0000166d: PUSH1 0x0b 0000166f: DUP5 00001670: LT 00001671: AND 00001672: OR 00001673: ISZERO 00001674: PUSH2 0x1680 00001677: JUMPI 00001678: POP 00001679: DUP2 0000167a: DUP2 0000167b: EXP 0000167c: PUSH2 0x03ab 0000167f: JUMP 00001680: JUMPDEST 00001681: PUSH2 0x168a 00001684: DUP4 00001685: DUP4 00001686: PUSH2 0x15c5 00001689: JUMP 0000168a: JUMPDEST 0000168b: DUP1 0000168c: PUSH0 0000168d: NOT 0000168e: DIV 0000168f: DUP3 00001690: GT 00001691: ISZERO 00001692: PUSH2 0x169d 00001695: JUMPI 00001696: PUSH2 0x169d 00001699: PUSH2 0x15b1 0000169c: JUMP 0000169d: JUMPDEST 0000169e: MUL 0000169f: SWAP4 000016a0: SWAP3 000016a1: POP 000016a2: POP 000016a3: POP 000016a4: JUMP 000016a5: JUMPDEST 000016a6: PUSH0 000016a7: PUSH2 0x1338 000016aa: PUSH1 0xff 000016ac: DUP5 000016ad: AND 000016ae: DUP4 000016af: PUSH2 0x1607 000016b2: JUMP 000016b3: JUMPDEST 000016b4: DUP1 000016b5: DUP3 000016b6: MUL 000016b7: DUP2 000016b8: ISZERO 000016b9: DUP3 000016ba: DUP3 000016bb: DIV 000016bc: DUP5 000016bd: EQ 000016be: OR 000016bf: PUSH2 0x03ab 000016c2: JUMPI 000016c3: PUSH2 0x03ab 000016c6: PUSH2 0x15b1 000016c9: JUMP 000016ca: JUMPDEST 000016cb: PUSH0 000016cc: PUSH1 0x20 000016ce: DUP3 000016cf: DUP5 000016d0: SUB 000016d1: SLT 000016d2: ISZERO 000016d3: PUSH2 0x16da 000016d6: JUMPI 000016d7: PUSH0 000016d8: DUP1 000016d9: REVERT 000016da: JUMPDEST 000016db: DUP2 000016dc: MLOAD 000016dd: PUSH2 0x1338 000016e0: DUP2 000016e1: PUSH2 0x14ab 000016e4: JUMP 000016e5: JUMPDEST 000016e6: PUSH0 000016e7: DUP1 000016e8: PUSH0 000016e9: PUSH1 0x60 000016eb: DUP5 000016ec: DUP7 000016ed: SUB 000016ee: SLT 000016ef: ISZERO 000016f0: PUSH2 0x16f7 000016f3: JUMPI 000016f4: PUSH0 000016f5: DUP1 000016f6: REVERT 000016f7: JUMPDEST 000016f8: DUP4 000016f9: MLOAD 000016fa: SWAP3 000016fb: POP 000016fc: PUSH1 0x20 000016fe: DUP5 000016ff: ADD 00001700: MLOAD 00001701: SWAP2 00001702: POP 00001703: PUSH1 0x40 00001705: DUP5 00001706: ADD 00001707: MLOAD 00001708: SWAP1 00001709: POP 0000170a: SWAP3 0000170b: POP 0000170c: SWAP3 0000170d: POP 0000170e: SWAP3 0000170f: JUMP 00001710: JUMPDEST 00001711: PUSH0 00001712: PUSH1 0x20 00001714: DUP3 00001715: DUP5 00001716: SUB 00001717: SLT 00001718: ISZERO 00001719: PUSH2 0x1720 0000171c: JUMPI 0000171d: PUSH0 0000171e: DUP1 0000171f: REVERT 00001720: JUMPDEST 00001721: DUP2 00001722: MLOAD 00001723: DUP1 00001724: ISZERO 00001725: ISZERO 00001726: DUP2 00001727: EQ 00001728: PUSH2 0x1338 0000172b: JUMPI 0000172c: PUSH0 0000172d: DUP1 0000172e: REVERT 0000172f: JUMPDEST 00001730: DUP1 00001731: DUP3 00001732: ADD 00001733: DUP1 00001734: DUP3 00001735: GT 00001736: ISZERO 00001737: PUSH2 0x03ab 0000173a: JUMPI 0000173b: PUSH2 0x03ab 0000173e: PUSH2 0x15b1 00001741: JUMP 00001742: JUMPDEST 00001743: PUSH0 00001744: PUSH1 0x01 00001746: DUP3 00001747: ADD 00001748: PUSH2 0x1753 0000174b: JUMPI 0000174c: PUSH2 0x1753 0000174f: PUSH2 0x15b1 00001752: JUMP 00001753: JUMPDEST 00001754: POP 00001755: PUSH1 0x01 00001757: ADD 00001758: SWAP1 00001759: JUMP 0000175a: JUMPDEST 0000175b: DUP2 0000175c: DUP2 0000175d: SUB 0000175e: DUP2 0000175f: DUP2 00001760: GT 00001761: ISZERO 00001762: PUSH2 0x03ab 00001765: JUMPI 00001766: PUSH2 0x03ab 00001769: PUSH2 0x15b1 0000176c: JUMP 0000176d: JUMPDEST 0000176e: PUSH4 0x4e487b71 00001773: PUSH1 0xe0 00001775: SHL 00001776: PUSH0 00001777: MSTORE 00001778: PUSH1 0x32 0000177a: PUSH1 0x04 0000177c: MSTORE 0000177d: PUSH1 0x24 0000177f: PUSH0 00001780: REVERT 00001781: JUMPDEST 00001782: PUSH0 00001783: PUSH1 0xa0 00001785: DUP3 00001786: ADD 00001787: DUP8 00001788: DUP4 00001789: MSTORE 0000178a: PUSH1 0x20 0000178c: DUP8 0000178d: PUSH1 0x20 0000178f: DUP6 00001790: ADD 00001791: MSTORE 00001792: PUSH1 0xa0 00001794: PUSH1 0x40 00001796: DUP6 00001797: ADD 00001798: MSTORE 00001799: DUP2 0000179a: DUP8 0000179b: MLOAD 0000179c: DUP1 0000179d: DUP5 0000179e: MSTORE 0000179f: PUSH1 0xc0 000017a1: DUP7 000017a2: ADD 000017a3: SWAP2 000017a4: POP 000017a5: PUSH1 0x20 000017a7: DUP10 000017a8: ADD 000017a9: SWAP4 000017aa: POP 000017ab: PUSH0 000017ac: JUMPDEST 000017ad: DUP2 000017ae: DUP2 000017af: LT 000017b0: ISZERO 000017b1: PUSH2 0x17d1 000017b4: JUMPI 000017b5: DUP5 000017b6: MLOAD 000017b7: PUSH1 0x01 000017b9: PUSH1 0x01 000017bb: PUSH1 0xa0 000017bd: SHL 000017be: SUB 000017bf: AND 000017c0: DUP4 000017c1: MSTORE 000017c2: SWAP4 000017c3: DUP4 000017c4: ADD 000017c5: SWAP4 000017c6: SWAP2 000017c7: DUP4 000017c8: ADD 000017c9: SWAP2 000017ca: PUSH1 0x01 000017cc: ADD 000017cd: PUSH2 0x17ac 000017d0: JUMP 000017d1: JUMPDEST 000017d2: POP 000017d3: POP 000017d4: PUSH1 0x01 000017d6: PUSH1 0x01 000017d8: PUSH1 0xa0 000017da: SHL 000017db: SUB 000017dc: SWAP7 000017dd: SWAP1 000017de: SWAP7 000017df: AND 000017e0: PUSH1 0x60 000017e2: DUP6 000017e3: ADD 000017e4: MSTORE 000017e5: POP 000017e6: POP 000017e7: POP 000017e8: PUSH1 0x80 000017ea: ADD 000017eb: MSTORE 000017ec: SWAP4 000017ed: SWAP3 000017ee: POP 000017ef: POP 000017f0: POP 000017f1: JUMP 000017f2: JUMPDEST 000017f3: PUSH0 000017f4: DUP3 000017f5: PUSH2 0x180c 000017f8: JUMPI 000017f9: PUSH4 0x4e487b71 000017fe: PUSH1 0xe0 00001800: SHL 00001801: PUSH0 00001802: MSTORE 00001803: PUSH1 0x12 00001805: PUSH1 0x04 00001807: MSTORE 00001808: PUSH1 0x24 0000180a: PUSH0 0000180b: REVERT 0000180c: JUMPDEST 0000180d: POP 0000180e: DIV 0000180f: SWAP1 00001810: JUMP 00001811: INVALID 00001812: GASLIMIT 00001813: MSTORE 00001814: NUMBER 00001815: ORIGIN 00001816: ADDRESS 00001817: GASPRICE 00001818: KECCAK256 00001819: PUSH21 0x72616e7366657220616d6f756e7420657863656564 0000182f: PUSH20 0x20616c6c6f77616e6365a2646970667358221220 00001844: SWAP11 00001845: MLOAD 00001846: RETURNDATASIZE 00001847: PUSH32 0xe43f83ba62be4f48326f0e8dcc9490a2fd32975f93a543776681339864736f6c 00001868: PUSH4 0x43000817 0000186d: STOP 0000186e: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| 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": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf474bed",
"selector": "0xbf474bed",
"calldata_variants": [
"0xbf474bed",
"0xbf474bed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9567bf9",
"selector": "0xc9567bf9",
"calldata_variants": [
"0xc9567bf9",
"0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x751039fc",
"selector": "0x751039fc",
"calldata_variants": [
"0x751039fc",
"0x751039fc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d1db4a5",
"selector": "0x7d1db4a5",
"calldata_variants": [
"0x7d1db4a5",
"0x7d1db4a50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 6165,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xbf011dde2a61c9e5ce66b98e14a31f8d41b47454719dfe1cef05fdb9e325422c
call_targets:
0xa2771178825ccee4a9fb2c25c036e812cdb571da
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xbf011dde2a61c9e5ce66b98e14a31f8d41b47454719dfe1cef05fdb9e325422c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa2771178825ccee4a9fb2c25c036e812cdb571da"
],
"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": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf474bed",
"selector": "0xbf474bed",
"calldata_variants": [
"0xbf474bed",
"0xbf474bed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9567bf9",
"selector": "0xc9567bf9",
"calldata_variants": [
"0xc9567bf9",
"0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x751039fc",
"selector": "0x751039fc",
"calldata_variants": [
"0x751039fc",
"0x751039fc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d1db4a5",
"selector": "0x7d1db4a5",
"calldata_variants": [
"0x7d1db4a5",
"0x7d1db4a50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2073,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2301,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2423,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [
{
"pc": 6165,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 5
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xbf011dde2a61c9e5ce66b98e14a31f8d41b47454719dfe1cef05fdb9e325422c
call_targets:
0xa2771178825ccee4a9fb2c25c036e812cdb571da
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xbf011dde2a61c9e5ce66b98e14a31f8d41b47454719dfe1cef05fdb9e325422c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa2771178825ccee4a9fb2c25c036e812cdb571da"
],
"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": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf474bed",
"selector": "0xbf474bed",
"calldata_variants": [
"0xbf474bed",
"0xbf474bed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9567bf9",
"selector": "0xc9567bf9",
"calldata_variants": [
"0xc9567bf9",
"0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x751039fc",
"selector": "0x751039fc",
"calldata_variants": [
"0x751039fc",
"0x751039fc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d1db4a5",
"selector": "0x7d1db4a5",
"calldata_variants": [
"0x7d1db4a5",
"0x7d1db4a50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2073,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2301,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2423,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": [
{
"pc": 6165,
"type": "tx_origin_used"
}
]
}
|