019b477e-cb4e-7130-b4e3-56e42623b6f4
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 |
|---|---|---|---|---|
| 26667 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 26668 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 70070 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 70071 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 70072 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 70073 | 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 0x0123 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x751039fc 00000019: GT 0000001a: PUSH2 0x00a0 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xa9059cbb 00000024: GT 00000025: PUSH2 0x0064 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xa9059cbb 0000002f: EQ 00000030: PUSH2 0x032e 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xc3c8cd80 0000003a: EQ 0000003b: PUSH2 0x034e 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xc9567bf9 00000045: EQ 00000046: PUSH2 0x0363 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xd34628cc 00000050: EQ 00000051: PUSH2 0x0378 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xdd62ed3e 0000005b: EQ 0000005c: PUSH2 0x0398 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x751039fc 0000006b: EQ 0000006c: PUSH2 0x0295 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x7d1db4a5 00000076: EQ 00000077: PUSH2 0x02aa 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x8da5cb5b 00000081: EQ 00000082: PUSH2 0x02c0 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x8f9a55c0 0000008c: EQ 0000008d: PUSH2 0x02e8 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x95d89b41 00000097: EQ 00000098: PUSH2 0x02fe 0000009b: JUMPI 0000009c: PUSH1 0x00 0000009e: DUP1 0000009f: REVERT 000000a0: JUMPDEST 000000a1: DUP1 000000a2: PUSH4 0x31c2d847 000000a7: GT 000000a8: PUSH2 0x00e7 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x31c2d847 000000b2: EQ 000000b3: PUSH2 0x0209 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x5932ead1 000000bd: EQ 000000be: PUSH2 0x022b 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x6fc3eaec 000000c8: EQ 000000c9: PUSH2 0x024b 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x70a08231 000000d3: EQ 000000d4: PUSH2 0x0260 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0x715018a6 000000de: EQ 000000df: PUSH2 0x0280 000000e2: JUMPI 000000e3: PUSH1 0x00 000000e5: DUP1 000000e6: REVERT 000000e7: JUMPDEST 000000e8: DUP1 000000e9: PUSH4 0x06fdde03 000000ee: EQ 000000ef: PUSH2 0x012f 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x095ea7b3 000000f9: EQ 000000fa: PUSH2 0x0178 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0x18160ddd 00000104: EQ 00000105: PUSH2 0x01a8 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0x23b872dd 0000010f: EQ 00000110: PUSH2 0x01cd 00000113: JUMPI 00000114: DUP1 00000115: PUSH4 0x313ce567 0000011a: EQ 0000011b: PUSH2 0x01ed 0000011e: JUMPI 0000011f: PUSH1 0x00 00000121: DUP1 00000122: REVERT 00000123: JUMPDEST 00000124: CALLDATASIZE 00000125: PUSH2 0x012a 00000128: JUMPI 00000129: STOP 0000012a: JUMPDEST 0000012b: PUSH1 0x00 0000012d: DUP1 0000012e: REVERT 0000012f: JUMPDEST 00000130: CALLVALUE 00000131: DUP1 00000132: ISZERO 00000133: PUSH2 0x013b 00000136: JUMPI 00000137: PUSH1 0x00 00000139: DUP1 0000013a: REVERT 0000013b: JUMPDEST 0000013c: POP 0000013d: PUSH1 0x40 0000013f: DUP1 00000140: MLOAD 00000141: DUP1 00000142: DUP3 00000143: ADD 00000144: SWAP1 00000145: SWAP2 00000146: MSTORE 00000147: PUSH1 0x0e 00000149: DUP2 0000014a: MSTORE 0000014b: PUSH14 0x20b9bab5bab9b09025b0b73737b7 0000015a: PUSH1 0x91 0000015c: SHL 0000015d: PUSH1 0x20 0000015f: DUP3 00000160: ADD 00000161: MSTORE 00000162: JUMPDEST 00000163: PUSH1 0x40 00000165: MLOAD 00000166: PUSH2 0x016f 00000169: SWAP2 0000016a: SWAP1 0000016b: PUSH2 0x1629 0000016e: JUMP 0000016f: JUMPDEST 00000170: PUSH1 0x40 00000172: MLOAD 00000173: DUP1 00000174: SWAP2 00000175: SUB 00000176: SWAP1 00000177: RETURN 00000178: JUMPDEST 00000179: CALLVALUE 0000017a: DUP1 0000017b: ISZERO 0000017c: PUSH2 0x0184 0000017f: JUMPI 00000180: PUSH1 0x00 00000182: DUP1 00000183: REVERT 00000184: JUMPDEST 00000185: POP 00000186: PUSH2 0x0198 00000189: PUSH2 0x0193 0000018c: CALLDATASIZE 0000018d: PUSH1 0x04 0000018f: PUSH2 0x169c 00000192: JUMP 00000193: JUMPDEST 00000194: PUSH2 0x03de 00000197: JUMP 00000198: JUMPDEST 00000199: PUSH1 0x40 0000019b: MLOAD 0000019c: SWAP1 0000019d: ISZERO 0000019e: ISZERO 0000019f: DUP2 000001a0: MSTORE 000001a1: PUSH1 0x20 000001a3: ADD 000001a4: PUSH2 0x016f 000001a7: JUMP 000001a8: JUMPDEST 000001a9: CALLVALUE 000001aa: DUP1 000001ab: ISZERO 000001ac: PUSH2 0x01b4 000001af: JUMPI 000001b0: PUSH1 0x00 000001b2: DUP1 000001b3: REVERT 000001b4: JUMPDEST 000001b5: POP 000001b6: PUSH8 0x0de0b6b3a7640000 000001bf: JUMPDEST 000001c0: PUSH1 0x40 000001c2: MLOAD 000001c3: SWAP1 000001c4: DUP2 000001c5: MSTORE 000001c6: PUSH1 0x20 000001c8: ADD 000001c9: PUSH2 0x016f 000001cc: JUMP 000001cd: JUMPDEST 000001ce: CALLVALUE 000001cf: DUP1 000001d0: ISZERO 000001d1: PUSH2 0x01d9 000001d4: JUMPI 000001d5: PUSH1 0x00 000001d7: DUP1 000001d8: REVERT 000001d9: JUMPDEST 000001da: POP 000001db: PUSH2 0x0198 000001de: PUSH2 0x01e8 000001e1: CALLDATASIZE 000001e2: PUSH1 0x04 000001e4: PUSH2 0x16c8 000001e7: JUMP 000001e8: JUMPDEST 000001e9: PUSH2 0x03f5 000001ec: JUMP 000001ed: JUMPDEST 000001ee: CALLVALUE 000001ef: DUP1 000001f0: ISZERO 000001f1: PUSH2 0x01f9 000001f4: JUMPI 000001f5: PUSH1 0x00 000001f7: DUP1 000001f8: REVERT 000001f9: JUMPDEST 000001fa: POP 000001fb: PUSH1 0x40 000001fd: MLOAD 000001fe: PUSH1 0x08 00000200: DUP2 00000201: MSTORE 00000202: PUSH1 0x20 00000204: ADD 00000205: PUSH2 0x016f 00000208: JUMP 00000209: JUMPDEST 0000020a: CALLVALUE 0000020b: DUP1 0000020c: ISZERO 0000020d: PUSH2 0x0215 00000210: JUMPI 00000211: PUSH1 0x00 00000213: DUP1 00000214: REVERT 00000215: JUMPDEST 00000216: POP 00000217: PUSH2 0x0229 0000021a: PUSH2 0x0224 0000021d: CALLDATASIZE 0000021e: PUSH1 0x04 00000220: PUSH2 0x171f 00000223: JUMP 00000224: JUMPDEST 00000225: PUSH2 0x045e 00000228: JUMP 00000229: JUMPDEST 0000022a: STOP 0000022b: JUMPDEST 0000022c: CALLVALUE 0000022d: DUP1 0000022e: ISZERO 0000022f: PUSH2 0x0237 00000232: JUMPI 00000233: PUSH1 0x00 00000235: DUP1 00000236: REVERT 00000237: JUMPDEST 00000238: POP 00000239: PUSH2 0x0229 0000023c: PUSH2 0x0246 0000023f: CALLDATASIZE 00000240: PUSH1 0x04 00000242: PUSH2 0x17f2 00000245: JUMP 00000246: JUMPDEST 00000247: PUSH2 0x04fd 0000024a: JUMP 0000024b: JUMPDEST 0000024c: CALLVALUE 0000024d: DUP1 0000024e: ISZERO 0000024f: PUSH2 0x0257 00000252: JUMPI 00000253: PUSH1 0x00 00000255: DUP1 00000256: REVERT 00000257: JUMPDEST 00000258: POP 00000259: PUSH2 0x0229 0000025c: PUSH2 0x0545 0000025f: JUMP 00000260: JUMPDEST 00000261: CALLVALUE 00000262: DUP1 00000263: ISZERO 00000264: PUSH2 0x026c 00000267: JUMPI 00000268: PUSH1 0x00 0000026a: DUP1 0000026b: REVERT 0000026c: JUMPDEST 0000026d: POP 0000026e: PUSH2 0x01bf 00000271: PUSH2 0x027b 00000274: CALLDATASIZE 00000275: PUSH1 0x04 00000277: PUSH2 0x180f 0000027a: JUMP 0000027b: JUMPDEST 0000027c: PUSH2 0x0572 0000027f: JUMP 00000280: JUMPDEST 00000281: CALLVALUE 00000282: DUP1 00000283: ISZERO 00000284: PUSH2 0x028c 00000287: JUMPI 00000288: PUSH1 0x00 0000028a: DUP1 0000028b: REVERT 0000028c: JUMPDEST 0000028d: POP 0000028e: PUSH2 0x0229 00000291: PUSH2 0x0594 00000294: JUMP 00000295: JUMPDEST 00000296: CALLVALUE 00000297: DUP1 00000298: ISZERO 00000299: PUSH2 0x02a1 0000029c: JUMPI 0000029d: PUSH1 0x00 0000029f: DUP1 000002a0: REVERT 000002a1: JUMPDEST 000002a2: POP 000002a3: PUSH2 0x0229 000002a6: PUSH2 0x0608 000002a9: JUMP 000002aa: JUMPDEST 000002ab: CALLVALUE 000002ac: DUP1 000002ad: ISZERO 000002ae: PUSH2 0x02b6 000002b1: JUMPI 000002b2: PUSH1 0x00 000002b4: DUP1 000002b5: REVERT 000002b6: JUMPDEST 000002b7: POP 000002b8: PUSH2 0x01bf 000002bb: PUSH1 0x13 000002bd: SLOAD 000002be: DUP2 000002bf: JUMP 000002c0: JUMPDEST 000002c1: CALLVALUE 000002c2: DUP1 000002c3: ISZERO 000002c4: PUSH2 0x02cc 000002c7: JUMPI 000002c8: PUSH1 0x00 000002ca: DUP1 000002cb: REVERT 000002cc: JUMPDEST 000002cd: POP 000002ce: PUSH1 0x00 000002d0: SLOAD 000002d1: PUSH1 0x40 000002d3: MLOAD 000002d4: PUSH1 0x01 000002d6: PUSH1 0x01 000002d8: PUSH1 0xa0 000002da: SHL 000002db: SUB 000002dc: SWAP1 000002dd: SWAP2 000002de: AND 000002df: DUP2 000002e0: MSTORE 000002e1: PUSH1 0x20 000002e3: ADD 000002e4: PUSH2 0x016f 000002e7: JUMP 000002e8: JUMPDEST 000002e9: CALLVALUE 000002ea: DUP1 000002eb: ISZERO 000002ec: PUSH2 0x02f4 000002ef: JUMPI 000002f0: PUSH1 0x00 000002f2: DUP1 000002f3: REVERT 000002f4: JUMPDEST 000002f5: POP 000002f6: PUSH2 0x01bf 000002f9: PUSH1 0x14 000002fb: SLOAD 000002fc: DUP2 000002fd: JUMP 000002fe: JUMPDEST 000002ff: CALLVALUE 00000300: DUP1 00000301: ISZERO 00000302: PUSH2 0x030a 00000305: JUMPI 00000306: PUSH1 0x00 00000308: DUP1 00000309: REVERT 0000030a: JUMPDEST 0000030b: POP 0000030c: PUSH1 0x40 0000030e: DUP1 0000030f: MLOAD 00000310: DUP1 00000311: DUP3 00000312: ADD 00000313: SWAP1 00000314: SWAP2 00000315: MSTORE 00000316: PUSH1 0x07 00000318: DUP2 00000319: MSTORE 0000031a: PUSH7 0x53454e534f4a49 00000322: PUSH1 0xc8 00000324: SHL 00000325: PUSH1 0x20 00000327: DUP3 00000328: ADD 00000329: MSTORE 0000032a: PUSH2 0x0162 0000032d: JUMP 0000032e: JUMPDEST 0000032f: CALLVALUE 00000330: DUP1 00000331: ISZERO 00000332: PUSH2 0x033a 00000335: JUMPI 00000336: PUSH1 0x00 00000338: DUP1 00000339: REVERT 0000033a: JUMPDEST 0000033b: POP 0000033c: PUSH2 0x0198 0000033f: PUSH2 0x0349 00000342: CALLDATASIZE 00000343: PUSH1 0x04 00000345: PUSH2 0x169c 00000348: JUMP 00000349: JUMPDEST 0000034a: PUSH2 0x0645 0000034d: JUMP 0000034e: JUMPDEST 0000034f: CALLVALUE 00000350: DUP1 00000351: ISZERO 00000352: PUSH2 0x035a 00000355: JUMPI 00000356: PUSH1 0x00 00000358: DUP1 00000359: REVERT 0000035a: JUMPDEST 0000035b: POP 0000035c: PUSH2 0x0229 0000035f: PUSH2 0x0652 00000362: JUMP 00000363: JUMPDEST 00000364: CALLVALUE 00000365: DUP1 00000366: ISZERO 00000367: PUSH2 0x036f 0000036a: JUMPI 0000036b: PUSH1 0x00 0000036d: DUP1 0000036e: REVERT 0000036f: JUMPDEST 00000370: POP 00000371: PUSH2 0x0229 00000374: PUSH2 0x0688 00000377: JUMP 00000378: JUMPDEST 00000379: CALLVALUE 0000037a: DUP1 0000037b: ISZERO 0000037c: PUSH2 0x0384 0000037f: JUMPI 00000380: PUSH1 0x00 00000382: DUP1 00000383: REVERT 00000384: JUMPDEST 00000385: POP 00000386: PUSH2 0x0229 00000389: PUSH2 0x0393 0000038c: CALLDATASIZE 0000038d: PUSH1 0x04 0000038f: PUSH2 0x171f 00000392: JUMP 00000393: JUMPDEST 00000394: PUSH2 0x09f3 00000397: JUMP 00000398: JUMPDEST 00000399: CALLVALUE 0000039a: DUP1 0000039b: ISZERO 0000039c: PUSH2 0x03a4 0000039f: JUMPI 000003a0: PUSH1 0x00 000003a2: DUP1 000003a3: REVERT 000003a4: JUMPDEST 000003a5: POP 000003a6: PUSH2 0x01bf 000003a9: PUSH2 0x03b3 000003ac: CALLDATASIZE 000003ad: PUSH1 0x04 000003af: PUSH2 0x182c 000003b2: JUMP 000003b3: JUMPDEST 000003b4: PUSH1 0x01 000003b6: PUSH1 0x01 000003b8: PUSH1 0xa0 000003ba: SHL 000003bb: SUB 000003bc: SWAP2 000003bd: DUP3 000003be: AND 000003bf: PUSH1 0x00 000003c1: SWAP1 000003c2: DUP2 000003c3: MSTORE 000003c4: PUSH1 0x04 000003c6: PUSH1 0x20 000003c8: SWAP1 000003c9: DUP2 000003ca: MSTORE 000003cb: PUSH1 0x40 000003cd: DUP1 000003ce: DUP4 000003cf: KECCAK256 000003d0: SWAP4 000003d1: SWAP1 000003d2: SWAP5 000003d3: AND 000003d4: DUP3 000003d5: MSTORE 000003d6: SWAP2 000003d7: SWAP1 000003d8: SWAP2 000003d9: MSTORE 000003da: KECCAK256 000003db: SLOAD 000003dc: SWAP1 000003dd: JUMP 000003de: JUMPDEST 000003df: PUSH1 0x00 000003e1: PUSH2 0x03eb 000003e4: CALLER 000003e5: DUP5 000003e6: DUP5 000003e7: PUSH2 0x0b50 000003ea: JUMP 000003eb: JUMPDEST 000003ec: POP 000003ed: PUSH1 0x01 000003ef: JUMPDEST 000003f0: SWAP3 000003f1: SWAP2 000003f2: POP 000003f3: POP 000003f4: JUMP 000003f5: JUMPDEST 000003f6: PUSH1 0x00 000003f8: PUSH2 0x0402 000003fb: DUP5 000003fc: DUP5 000003fd: DUP5 000003fe: PUSH2 0x0c74 00000401: JUMP 00000402: JUMPDEST 00000403: PUSH2 0x0454 00000406: DUP5 00000407: CALLER 00000408: PUSH2 0x044f 0000040b: DUP6 0000040c: PUSH1 0x40 0000040e: MLOAD 0000040f: DUP1 00000410: PUSH1 0x60 00000412: ADD 00000413: PUSH1 0x40 00000415: MSTORE 00000416: DUP1 00000417: PUSH1 0x28 00000419: DUP2 0000041a: MSTORE 0000041b: PUSH1 0x20 0000041d: ADD 0000041e: PUSH2 0x1a37 00000421: PUSH1 0x28 00000423: SWAP2 00000424: CODECOPY 00000425: PUSH1 0x01 00000427: PUSH1 0x01 00000429: PUSH1 0xa0 0000042b: SHL 0000042c: SUB 0000042d: DUP11 0000042e: AND 0000042f: PUSH1 0x00 00000431: SWAP1 00000432: DUP2 00000433: MSTORE 00000434: PUSH1 0x04 00000436: PUSH1 0x20 00000438: SWAP1 00000439: DUP2 0000043a: MSTORE 0000043b: PUSH1 0x40 0000043d: DUP1 0000043e: DUP4 0000043f: KECCAK256 00000440: CALLER 00000441: DUP5 00000442: MSTORE 00000443: SWAP1 00000444: SWAP2 00000445: MSTORE 00000446: SWAP1 00000447: KECCAK256 00000448: SLOAD 00000449: SWAP2 0000044a: SWAP1 0000044b: PUSH2 0x101a 0000044e: JUMP 0000044f: JUMPDEST 00000450: PUSH2 0x0b50 00000453: JUMP 00000454: JUMPDEST 00000455: POP 00000456: PUSH1 0x01 00000458: SWAP4 00000459: SWAP3 0000045a: POP 0000045b: POP 0000045c: POP 0000045d: JUMP 0000045e: JUMPDEST 0000045f: PUSH1 0x00 00000461: SLOAD 00000462: PUSH1 0x01 00000464: PUSH1 0x01 00000466: PUSH1 0xa0 00000468: SHL 00000469: SUB 0000046a: AND 0000046b: CALLER 0000046c: EQ 0000046d: PUSH2 0x0491 00000470: JUMPI 00000471: PUSH1 0x40 00000473: MLOAD 00000474: PUSH3 0x461bcd 00000478: PUSH1 0xe5 0000047a: SHL 0000047b: DUP2 0000047c: MSTORE 0000047d: PUSH1 0x04 0000047f: ADD 00000480: PUSH2 0x0488 00000483: SWAP1 00000484: PUSH2 0x1865 00000487: JUMP 00000488: JUMPDEST 00000489: PUSH1 0x40 0000048b: MLOAD 0000048c: DUP1 0000048d: SWAP2 0000048e: SUB 0000048f: SWAP1 00000490: REVERT 00000491: JUMPDEST 00000492: PUSH1 0x00 00000494: JUMPDEST 00000495: DUP2 00000496: MLOAD 00000497: DUP2 00000498: LT 00000499: ISZERO 0000049a: PUSH2 0x04f9 0000049d: JUMPI 0000049e: PUSH1 0x00 000004a0: PUSH1 0x06 000004a2: PUSH1 0x00 000004a4: DUP5 000004a5: DUP5 000004a6: DUP2 000004a7: MLOAD 000004a8: DUP2 000004a9: LT 000004aa: PUSH2 0x04b5 000004ad: JUMPI 000004ae: PUSH2 0x04b5 000004b1: PUSH2 0x189a 000004b4: JUMP 000004b5: JUMPDEST 000004b6: PUSH1 0x20 000004b8: SWAP1 000004b9: DUP2 000004ba: MUL 000004bb: SWAP2 000004bc: SWAP1 000004bd: SWAP2 000004be: ADD 000004bf: DUP2 000004c0: ADD 000004c1: MLOAD 000004c2: PUSH1 0x01 000004c4: PUSH1 0x01 000004c6: PUSH1 0xa0 000004c8: SHL 000004c9: SUB 000004ca: AND 000004cb: DUP3 000004cc: MSTORE 000004cd: DUP2 000004ce: ADD 000004cf: SWAP2 000004d0: SWAP1 000004d1: SWAP2 000004d2: MSTORE 000004d3: PUSH1 0x40 000004d5: ADD 000004d6: PUSH1 0x00 000004d8: KECCAK256 000004d9: DUP1 000004da: SLOAD 000004db: PUSH1 0xff 000004dd: NOT 000004de: AND 000004df: SWAP2 000004e0: ISZERO 000004e1: ISZERO 000004e2: SWAP2 000004e3: SWAP1 000004e4: SWAP2 000004e5: OR 000004e6: SWAP1 000004e7: SSTORE 000004e8: DUP1 000004e9: PUSH2 0x04f1 000004ec: DUP2 000004ed: PUSH2 0x18c6 000004f0: JUMP 000004f1: JUMPDEST 000004f2: SWAP2 000004f3: POP 000004f4: POP 000004f5: PUSH2 0x0494 000004f8: JUMP 000004f9: JUMPDEST 000004fa: POP 000004fb: POP 000004fc: JUMP 000004fd: JUMPDEST 000004fe: PUSH1 0x00 00000500: SLOAD 00000501: PUSH1 0x01 00000503: PUSH1 0x01 00000505: PUSH1 0xa0 00000507: SHL 00000508: SUB 00000509: AND 0000050a: CALLER 0000050b: EQ 0000050c: PUSH2 0x0527 0000050f: JUMPI 00000510: PUSH1 0x40 00000512: MLOAD 00000513: PUSH3 0x461bcd 00000517: PUSH1 0xe5 00000519: SHL 0000051a: DUP2 0000051b: MSTORE 0000051c: PUSH1 0x04 0000051e: ADD 0000051f: PUSH2 0x0488 00000522: SWAP1 00000523: PUSH2 0x1865 00000526: JUMP 00000527: JUMPDEST 00000528: PUSH1 0x12 0000052a: DUP1 0000052b: SLOAD 0000052c: SWAP2 0000052d: ISZERO 0000052e: ISZERO 0000052f: PUSH1 0x01 00000531: PUSH1 0xb8 00000533: SHL 00000534: MUL 00000535: PUSH1 0xff 00000537: PUSH1 0xb8 00000539: SHL 0000053a: NOT 0000053b: SWAP1 0000053c: SWAP3 0000053d: AND 0000053e: SWAP2 0000053f: SWAP1 00000540: SWAP2 00000541: OR 00000542: SWAP1 00000543: SSTORE 00000544: JUMP 00000545: JUMPDEST 00000546: PUSH1 0x10 00000548: SLOAD 00000549: PUSH1 0x01 0000054b: PUSH1 0x01 0000054d: PUSH1 0xa0 0000054f: SHL 00000550: SUB 00000551: AND 00000552: CALLER 00000553: PUSH1 0x01 00000555: PUSH1 0x01 00000557: PUSH1 0xa0 00000559: SHL 0000055a: SUB 0000055b: AND 0000055c: EQ 0000055d: PUSH2 0x0565 00000560: JUMPI 00000561: PUSH1 0x00 00000563: DUP1 00000564: REVERT 00000565: JUMPDEST 00000566: SELFBALANCE 00000567: PUSH2 0x056f 0000056a: DUP2 0000056b: PUSH2 0x1054 0000056e: JUMP 0000056f: JUMPDEST 00000570: POP 00000571: JUMP 00000572: JUMPDEST 00000573: PUSH1 0x01 00000575: PUSH1 0x01 00000577: PUSH1 0xa0 00000579: SHL 0000057a: SUB 0000057b: DUP2 0000057c: AND 0000057d: PUSH1 0x00 0000057f: SWAP1 00000580: DUP2 00000581: MSTORE 00000582: PUSH1 0x02 00000584: PUSH1 0x20 00000586: MSTORE 00000587: PUSH1 0x40 00000589: DUP2 0000058a: KECCAK256 0000058b: SLOAD 0000058c: PUSH2 0x03ef 0000058f: SWAP1 00000590: PUSH2 0x108e 00000593: JUMP 00000594: JUMPDEST 00000595: PUSH1 0x00 00000597: SLOAD 00000598: PUSH1 0x01 0000059a: PUSH1 0x01 0000059c: PUSH1 0xa0 0000059e: SHL 0000059f: SUB 000005a0: AND 000005a1: CALLER 000005a2: EQ 000005a3: PUSH2 0x05be 000005a6: JUMPI 000005a7: PUSH1 0x40 000005a9: MLOAD 000005aa: PUSH3 0x461bcd 000005ae: PUSH1 0xe5 000005b0: SHL 000005b1: DUP2 000005b2: MSTORE 000005b3: PUSH1 0x04 000005b5: ADD 000005b6: PUSH2 0x0488 000005b9: SWAP1 000005ba: PUSH2 0x1865 000005bd: JUMP 000005be: JUMPDEST 000005bf: PUSH1 0x00 000005c1: DUP1 000005c2: SLOAD 000005c3: PUSH1 0x40 000005c5: MLOAD 000005c6: PUSH1 0x01 000005c8: PUSH1 0x01 000005ca: PUSH1 0xa0 000005cc: SHL 000005cd: SUB 000005ce: SWAP1 000005cf: SWAP2 000005d0: AND 000005d1: SWAP1 000005d2: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000005f3: SWAP1 000005f4: DUP4 000005f5: SWAP1 000005f6: LOG3 000005f7: PUSH1 0x00 000005f9: DUP1 000005fa: SLOAD 000005fb: PUSH1 0x01 000005fd: PUSH1 0x01 000005ff: PUSH1 0xa0 00000601: SHL 00000602: SUB 00000603: NOT 00000604: AND 00000605: SWAP1 00000606: SSTORE 00000607: JUMP 00000608: JUMPDEST 00000609: PUSH1 0x00 0000060b: SLOAD 0000060c: PUSH1 0x01 0000060e: PUSH1 0x01 00000610: PUSH1 0xa0 00000612: SHL 00000613: SUB 00000614: AND 00000615: CALLER 00000616: EQ 00000617: PUSH2 0x0632 0000061a: JUMPI 0000061b: PUSH1 0x40 0000061d: MLOAD 0000061e: PUSH3 0x461bcd 00000622: PUSH1 0xe5 00000624: SHL 00000625: DUP2 00000626: MSTORE 00000627: PUSH1 0x04 00000629: ADD 0000062a: PUSH2 0x0488 0000062d: SWAP1 0000062e: PUSH2 0x1865 00000631: JUMP 00000632: JUMPDEST 00000633: PUSH8 0x0de0b6b3a7640000 0000063c: PUSH1 0x13 0000063e: DUP2 0000063f: SWAP1 00000640: SSTORE 00000641: PUSH1 0x14 00000643: SSTORE 00000644: JUMP 00000645: JUMPDEST 00000646: PUSH1 0x00 00000648: PUSH2 0x03eb 0000064b: CALLER 0000064c: DUP5 0000064d: DUP5 0000064e: PUSH2 0x0c74 00000651: JUMP 00000652: JUMPDEST 00000653: PUSH1 0x10 00000655: SLOAD 00000656: PUSH1 0x01 00000658: PUSH1 0x01 0000065a: PUSH1 0xa0 0000065c: SHL 0000065d: SUB 0000065e: AND 0000065f: CALLER 00000660: PUSH1 0x01 00000662: PUSH1 0x01 00000664: PUSH1 0xa0 00000666: SHL 00000667: SUB 00000668: AND 00000669: EQ 0000066a: PUSH2 0x0672 0000066d: JUMPI 0000066e: PUSH1 0x00 00000670: DUP1 00000671: REVERT 00000672: JUMPDEST 00000673: PUSH1 0x00 00000675: PUSH2 0x067d 00000678: ADDRESS 00000679: PUSH2 0x0572 0000067c: JUMP 0000067d: JUMPDEST 0000067e: SWAP1 0000067f: POP 00000680: PUSH2 0x056f 00000683: DUP2 00000684: PUSH2 0x110b 00000687: JUMP 00000688: JUMPDEST 00000689: PUSH1 0x00 0000068b: SLOAD 0000068c: PUSH1 0x01 0000068e: PUSH1 0x01 00000690: PUSH1 0xa0 00000692: SHL 00000693: SUB 00000694: AND 00000695: CALLER 00000696: EQ 00000697: PUSH2 0x06b2 0000069a: JUMPI 0000069b: PUSH1 0x40 0000069d: MLOAD 0000069e: PUSH3 0x461bcd 000006a2: PUSH1 0xe5 000006a4: SHL 000006a5: DUP2 000006a6: MSTORE 000006a7: PUSH1 0x04 000006a9: ADD 000006aa: PUSH2 0x0488 000006ad: SWAP1 000006ae: PUSH2 0x1865 000006b1: JUMP 000006b2: JUMPDEST 000006b3: PUSH1 0x12 000006b5: SLOAD 000006b6: PUSH1 0x01 000006b8: PUSH1 0xa0 000006ba: SHL 000006bb: SWAP1 000006bc: DIV 000006bd: PUSH1 0xff 000006bf: AND 000006c0: ISZERO 000006c1: PUSH2 0x070c 000006c4: JUMPI 000006c5: PUSH1 0x40 000006c7: MLOAD 000006c8: PUSH3 0x461bcd 000006cc: PUSH1 0xe5 000006ce: SHL 000006cf: DUP2 000006d0: MSTORE 000006d1: PUSH1 0x20 000006d3: PUSH1 0x04 000006d5: DUP3 000006d6: ADD 000006d7: MSTORE 000006d8: PUSH1 0x17 000006da: PUSH1 0x24 000006dc: DUP3 000006dd: ADD 000006de: MSTORE 000006df: PUSH32 0x74726164696e6720697320616c7265616479206f70656e000000000000000000 00000700: PUSH1 0x44 00000702: DUP3 00000703: ADD 00000704: MSTORE 00000705: PUSH1 0x64 00000707: ADD 00000708: PUSH2 0x0488 0000070b: JUMP 0000070c: JUMPDEST 0000070d: PUSH1 0x11 0000070f: DUP1 00000710: SLOAD 00000711: PUSH1 0x01 00000713: PUSH1 0x01 00000715: PUSH1 0xa0 00000717: SHL 00000718: SUB 00000719: NOT 0000071a: AND 0000071b: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d 00000730: SWAP1 00000731: DUP2 00000732: OR 00000733: SWAP1 00000734: SWAP2 00000735: SSTORE 00000736: PUSH2 0x0748 00000739: ADDRESS 0000073a: DUP3 0000073b: PUSH8 0x0de0b6b3a7640000 00000744: PUSH2 0x0b50 00000747: JUMP 00000748: JUMPDEST 00000749: DUP1 0000074a: PUSH1 0x01 0000074c: PUSH1 0x01 0000074e: PUSH1 0xa0 00000750: SHL 00000751: SUB 00000752: AND 00000753: PUSH4 0xc45a0155 00000758: PUSH1 0x40 0000075a: MLOAD 0000075b: DUP2 0000075c: PUSH4 0xffffffff 00000761: AND 00000762: PUSH1 0xe0 00000764: SHL 00000765: DUP2 00000766: MSTORE 00000767: PUSH1 0x04 00000769: ADD 0000076a: PUSH1 0x20 0000076c: PUSH1 0x40 0000076e: MLOAD 0000076f: DUP1 00000770: DUP4 00000771: SUB 00000772: DUP2 00000773: DUP7 00000774: GAS 00000775: STATICCALL 00000776: ISZERO 00000777: DUP1 00000778: ISZERO 00000779: PUSH2 0x0786 0000077c: JUMPI 0000077d: RETURNDATASIZE 0000077e: PUSH1 0x00 00000780: DUP1 00000781: RETURNDATACOPY 00000782: RETURNDATASIZE 00000783: PUSH1 0x00 00000785: REVERT 00000786: JUMPDEST 00000787: POP 00000788: POP 00000789: POP 0000078a: POP 0000078b: PUSH1 0x40 0000078d: MLOAD 0000078e: RETURNDATASIZE 0000078f: PUSH1 0x1f 00000791: NOT 00000792: PUSH1 0x1f 00000794: DUP3 00000795: ADD 00000796: AND 00000797: DUP3 00000798: ADD 00000799: DUP1 0000079a: PUSH1 0x40 0000079c: MSTORE 0000079d: POP 0000079e: DUP2 0000079f: ADD 000007a0: SWAP1 000007a1: PUSH2 0x07aa 000007a4: SWAP2 000007a5: SWAP1 000007a6: PUSH2 0x18df 000007a9: JUMP 000007aa: JUMPDEST 000007ab: PUSH1 0x01 000007ad: PUSH1 0x01 000007af: PUSH1 0xa0 000007b1: SHL 000007b2: SUB 000007b3: AND 000007b4: PUSH4 0xc9c65396 000007b9: ADDRESS 000007ba: DUP4 000007bb: PUSH1 0x01 000007bd: PUSH1 0x01 000007bf: PUSH1 0xa0 000007c1: SHL 000007c2: SUB 000007c3: AND 000007c4: PUSH4 0xad5c4648 000007c9: PUSH1 0x40 000007cb: MLOAD 000007cc: DUP2 000007cd: PUSH4 0xffffffff 000007d2: AND 000007d3: PUSH1 0xe0 000007d5: SHL 000007d6: DUP2 000007d7: MSTORE 000007d8: PUSH1 0x04 000007da: ADD 000007db: PUSH1 0x20 000007dd: PUSH1 0x40 000007df: MLOAD 000007e0: DUP1 000007e1: DUP4 000007e2: SUB 000007e3: DUP2 000007e4: DUP7 000007e5: GAS 000007e6: STATICCALL 000007e7: ISZERO 000007e8: DUP1 000007e9: ISZERO 000007ea: PUSH2 0x07f7 000007ed: JUMPI 000007ee: RETURNDATASIZE 000007ef: PUSH1 0x00 000007f1: DUP1 000007f2: RETURNDATACOPY 000007f3: RETURNDATASIZE 000007f4: PUSH1 0x00 000007f6: REVERT 000007f7: JUMPDEST 000007f8: POP 000007f9: POP 000007fa: POP 000007fb: POP 000007fc: PUSH1 0x40 000007fe: MLOAD 000007ff: RETURNDATASIZE 00000800: PUSH1 0x1f 00000802: NOT 00000803: PUSH1 0x1f 00000805: DUP3 00000806: ADD 00000807: AND 00000808: DUP3 00000809: ADD 0000080a: DUP1 0000080b: PUSH1 0x40 0000080d: MSTORE 0000080e: POP 0000080f: DUP2 00000810: ADD 00000811: SWAP1 00000812: PUSH2 0x081b 00000815: SWAP2 00000816: SWAP1 00000817: PUSH2 0x18df 0000081a: JUMP 0000081b: JUMPDEST 0000081c: PUSH1 0x40 0000081e: MLOAD 0000081f: PUSH1 0x01 00000821: PUSH1 0x01 00000823: PUSH1 0xe0 00000825: SHL 00000826: SUB 00000827: NOT 00000828: PUSH1 0xe0 0000082a: DUP6 0000082b: SWAP1 0000082c: SHL 0000082d: AND 0000082e: DUP2 0000082f: MSTORE 00000830: PUSH1 0x01 00000832: PUSH1 0x01 00000834: PUSH1 0xa0 00000836: SHL 00000837: SUB 00000838: SWAP3 00000839: DUP4 0000083a: AND 0000083b: PUSH1 0x04 0000083d: DUP3 0000083e: ADD 0000083f: MSTORE 00000840: SWAP2 00000841: AND 00000842: PUSH1 0x24 00000844: DUP3 00000845: ADD 00000846: MSTORE 00000847: PUSH1 0x44 00000849: ADD 0000084a: PUSH1 0x20 0000084c: PUSH1 0x40 0000084e: MLOAD 0000084f: DUP1 00000850: DUP4 00000851: SUB 00000852: DUP2 00000853: PUSH1 0x00 00000855: DUP8 00000856: GAS 00000857: CALL 00000858: ISZERO 00000859: DUP1 0000085a: ISZERO 0000085b: PUSH2 0x0868 0000085e: JUMPI 0000085f: RETURNDATASIZE 00000860: PUSH1 0x00 00000862: DUP1 00000863: RETURNDATACOPY 00000864: RETURNDATASIZE 00000865: PUSH1 0x00 00000867: REVERT 00000868: JUMPDEST 00000869: POP 0000086a: POP 0000086b: POP 0000086c: POP 0000086d: PUSH1 0x40 0000086f: MLOAD 00000870: RETURNDATASIZE 00000871: PUSH1 0x1f 00000873: NOT 00000874: PUSH1 0x1f 00000876: DUP3 00000877: ADD 00000878: AND 00000879: DUP3 0000087a: ADD 0000087b: DUP1 0000087c: PUSH1 0x40 0000087e: MSTORE 0000087f: POP 00000880: DUP2 00000881: ADD 00000882: SWAP1 00000883: PUSH2 0x088c 00000886: SWAP2 00000887: SWAP1 00000888: PUSH2 0x18df 0000088b: JUMP 0000088c: JUMPDEST 0000088d: PUSH1 0x12 0000088f: DUP1 00000890: SLOAD 00000891: PUSH1 0x01 00000893: PUSH1 0x01 00000895: PUSH1 0xa0 00000897: SHL 00000898: SUB 00000899: NOT 0000089a: AND 0000089b: PUSH1 0x01 0000089d: PUSH1 0x01 0000089f: PUSH1 0xa0 000008a1: SHL 000008a2: SUB 000008a3: SWAP3 000008a4: DUP4 000008a5: AND 000008a6: OR 000008a7: SWAP1 000008a8: SSTORE 000008a9: PUSH1 0x11 000008ab: SLOAD 000008ac: AND 000008ad: PUSH4 0xf305d719 000008b2: SELFBALANCE 000008b3: ADDRESS 000008b4: PUSH2 0x08bc 000008b7: DUP2 000008b8: PUSH2 0x0572 000008bb: JUMP 000008bc: JUMPDEST 000008bd: PUSH1 0x00 000008bf: DUP1 000008c0: PUSH2 0x08d1 000008c3: PUSH1 0x00 000008c5: SLOAD 000008c6: PUSH1 0x01 000008c8: PUSH1 0x01 000008ca: PUSH1 0xa0 000008cc: SHL 000008cd: SUB 000008ce: AND 000008cf: SWAP1 000008d0: JUMP 000008d1: JUMPDEST 000008d2: PUSH1 0x40 000008d4: MLOAD 000008d5: PUSH1 0xe0 000008d7: DUP9 000008d8: SWAP1 000008d9: SHL 000008da: PUSH1 0x01 000008dc: PUSH1 0x01 000008de: PUSH1 0xe0 000008e0: SHL 000008e1: SUB 000008e2: NOT 000008e3: AND 000008e4: DUP2 000008e5: MSTORE 000008e6: PUSH1 0x01 000008e8: PUSH1 0x01 000008ea: PUSH1 0xa0 000008ec: SHL 000008ed: SUB 000008ee: SWAP6 000008ef: DUP7 000008f0: AND 000008f1: PUSH1 0x04 000008f3: DUP3 000008f4: ADD 000008f5: MSTORE 000008f6: PUSH1 0x24 000008f8: DUP2 000008f9: ADD 000008fa: SWAP5 000008fb: SWAP1 000008fc: SWAP5 000008fd: MSTORE 000008fe: PUSH1 0x44 00000900: DUP5 00000901: ADD 00000902: SWAP3 00000903: SWAP1 00000904: SWAP3 00000905: MSTORE 00000906: PUSH1 0x64 00000908: DUP4 00000909: ADD 0000090a: MSTORE 0000090b: SWAP1 0000090c: SWAP2 0000090d: AND 0000090e: PUSH1 0x84 00000910: DUP3 00000911: ADD 00000912: MSTORE 00000913: TIMESTAMP 00000914: PUSH1 0xa4 00000916: DUP3 00000917: ADD 00000918: MSTORE 00000919: PUSH1 0xc4 0000091b: ADD 0000091c: PUSH1 0x60 0000091e: PUSH1 0x40 00000920: MLOAD 00000921: DUP1 00000922: DUP4 00000923: SUB 00000924: DUP2 00000925: DUP6 00000926: DUP9 00000927: GAS 00000928: CALL 00000929: ISZERO 0000092a: DUP1 0000092b: ISZERO 0000092c: PUSH2 0x0939 0000092f: JUMPI 00000930: RETURNDATASIZE 00000931: PUSH1 0x00 00000933: DUP1 00000934: RETURNDATACOPY 00000935: RETURNDATASIZE 00000936: PUSH1 0x00 00000938: REVERT 00000939: JUMPDEST 0000093a: POP 0000093b: POP 0000093c: POP 0000093d: POP 0000093e: POP 0000093f: PUSH1 0x40 00000941: MLOAD 00000942: RETURNDATASIZE 00000943: PUSH1 0x1f 00000945: NOT 00000946: PUSH1 0x1f 00000948: DUP3 00000949: ADD 0000094a: AND 0000094b: DUP3 0000094c: ADD 0000094d: DUP1 0000094e: PUSH1 0x40 00000950: MSTORE 00000951: POP 00000952: DUP2 00000953: ADD 00000954: SWAP1 00000955: PUSH2 0x095e 00000958: SWAP2 00000959: SWAP1 0000095a: PUSH2 0x18fc 0000095d: JUMP 0000095e: JUMPDEST 0000095f: POP 00000960: POP 00000961: PUSH1 0x12 00000963: DUP1 00000964: SLOAD 00000965: PUSH4 0xffff00ff 0000096a: PUSH1 0xa0 0000096c: SHL 0000096d: NOT 0000096e: DUP2 0000096f: AND 00000970: PUSH4 0x01010001 00000975: PUSH1 0xa0 00000977: SHL 00000978: OR 00000979: SWAP1 0000097a: SWAP2 0000097b: SSTORE 0000097c: PUSH1 0x11 0000097e: SLOAD 0000097f: PUSH1 0x40 00000981: MLOAD 00000982: PUSH4 0x095ea7b3 00000987: PUSH1 0xe0 00000989: SHL 0000098a: DUP2 0000098b: MSTORE 0000098c: PUSH1 0x01 0000098e: PUSH1 0x01 00000990: PUSH1 0xa0 00000992: SHL 00000993: SUB 00000994: SWAP2 00000995: DUP3 00000996: AND 00000997: PUSH1 0x04 00000999: DUP3 0000099a: ADD 0000099b: MSTORE 0000099c: PUSH1 0x00 0000099e: NOT 0000099f: PUSH1 0x24 000009a1: DUP3 000009a2: ADD 000009a3: MSTORE 000009a4: SWAP2 000009a5: AND 000009a6: SWAP2 000009a7: POP 000009a8: PUSH4 0x095ea7b3 000009ad: SWAP1 000009ae: PUSH1 0x44 000009b0: ADD 000009b1: PUSH1 0x20 000009b3: PUSH1 0x40 000009b5: MLOAD 000009b6: DUP1 000009b7: DUP4 000009b8: SUB 000009b9: DUP2 000009ba: PUSH1 0x00 000009bc: DUP8 000009bd: GAS 000009be: CALL 000009bf: ISZERO 000009c0: DUP1 000009c1: ISZERO 000009c2: PUSH2 0x09cf 000009c5: JUMPI 000009c6: RETURNDATASIZE 000009c7: PUSH1 0x00 000009c9: DUP1 000009ca: RETURNDATACOPY 000009cb: RETURNDATASIZE 000009cc: PUSH1 0x00 000009ce: REVERT 000009cf: JUMPDEST 000009d0: POP 000009d1: POP 000009d2: POP 000009d3: POP 000009d4: PUSH1 0x40 000009d6: MLOAD 000009d7: RETURNDATASIZE 000009d8: PUSH1 0x1f 000009da: NOT 000009db: PUSH1 0x1f 000009dd: DUP3 000009de: ADD 000009df: AND 000009e0: DUP3 000009e1: ADD 000009e2: DUP1 000009e3: PUSH1 0x40 000009e5: MSTORE 000009e6: POP 000009e7: DUP2 000009e8: ADD 000009e9: SWAP1 000009ea: PUSH2 0x04f9 000009ed: SWAP2 000009ee: SWAP1 000009ef: PUSH2 0x192a 000009f2: JUMP 000009f3: JUMPDEST 000009f4: PUSH1 0x00 000009f6: SLOAD 000009f7: PUSH1 0x01 000009f9: PUSH1 0x01 000009fb: PUSH1 0xa0 000009fd: SHL 000009fe: SUB 000009ff: AND 00000a00: CALLER 00000a01: EQ 00000a02: PUSH2 0x0a1d 00000a05: JUMPI 00000a06: PUSH1 0x40 00000a08: MLOAD 00000a09: PUSH3 0x461bcd 00000a0d: PUSH1 0xe5 00000a0f: SHL 00000a10: DUP2 00000a11: MSTORE 00000a12: PUSH1 0x04 00000a14: ADD 00000a15: PUSH2 0x0488 00000a18: SWAP1 00000a19: PUSH2 0x1865 00000a1c: JUMP 00000a1d: JUMPDEST 00000a1e: PUSH1 0x00 00000a20: JUMPDEST 00000a21: DUP2 00000a22: MLOAD 00000a23: DUP2 00000a24: LT 00000a25: ISZERO 00000a26: PUSH2 0x04f9 00000a29: JUMPI 00000a2a: PUSH1 0x01 00000a2c: PUSH1 0x06 00000a2e: PUSH1 0x00 00000a30: DUP5 00000a31: DUP5 00000a32: DUP2 00000a33: MLOAD 00000a34: DUP2 00000a35: LT 00000a36: PUSH2 0x0a41 00000a39: JUMPI 00000a3a: PUSH2 0x0a41 00000a3d: PUSH2 0x189a 00000a40: JUMP 00000a41: JUMPDEST 00000a42: PUSH1 0x20 00000a44: SWAP1 00000a45: DUP2 00000a46: MUL 00000a47: SWAP2 00000a48: SWAP1 00000a49: SWAP2 00000a4a: ADD 00000a4b: DUP2 00000a4c: ADD 00000a4d: MLOAD 00000a4e: PUSH1 0x01 00000a50: PUSH1 0x01 00000a52: PUSH1 0xa0 00000a54: SHL 00000a55: SUB 00000a56: AND 00000a57: DUP3 00000a58: MSTORE 00000a59: DUP2 00000a5a: ADD 00000a5b: SWAP2 00000a5c: SWAP1 00000a5d: SWAP2 00000a5e: MSTORE 00000a5f: PUSH1 0x40 00000a61: ADD 00000a62: PUSH1 0x00 00000a64: KECCAK256 00000a65: DUP1 00000a66: SLOAD 00000a67: PUSH1 0xff 00000a69: NOT 00000a6a: AND 00000a6b: SWAP2 00000a6c: ISZERO 00000a6d: ISZERO 00000a6e: SWAP2 00000a6f: SWAP1 00000a70: SWAP2 00000a71: OR 00000a72: SWAP1 00000a73: SSTORE 00000a74: DUP1 00000a75: PUSH2 0x0a7d 00000a78: DUP2 00000a79: PUSH2 0x18c6 00000a7c: JUMP 00000a7d: JUMPDEST 00000a7e: SWAP2 00000a7f: POP 00000a80: POP 00000a81: PUSH2 0x0a20 00000a84: JUMP 00000a85: JUMPDEST 00000a86: PUSH1 0x00 00000a88: DUP3 00000a89: PUSH1 0x00 00000a8b: SUB 00000a8c: PUSH2 0x0a97 00000a8f: JUMPI 00000a90: POP 00000a91: PUSH1 0x00 00000a93: PUSH2 0x03ef 00000a96: JUMP 00000a97: JUMPDEST 00000a98: PUSH1 0x00 00000a9a: PUSH2 0x0aa3 00000a9d: DUP4 00000a9e: DUP6 00000a9f: PUSH2 0x1947 00000aa2: JUMP 00000aa3: JUMPDEST 00000aa4: SWAP1 00000aa5: POP 00000aa6: DUP3 00000aa7: PUSH2 0x0ab0 00000aaa: DUP6 00000aab: DUP4 00000aac: PUSH2 0x1966 00000aaf: JUMP 00000ab0: JUMPDEST 00000ab1: EQ 00000ab2: PUSH2 0x0b07 00000ab5: JUMPI 00000ab6: PUSH1 0x40 00000ab8: MLOAD 00000ab9: PUSH3 0x461bcd 00000abd: PUSH1 0xe5 00000abf: SHL 00000ac0: DUP2 00000ac1: MSTORE 00000ac2: PUSH1 0x20 00000ac4: PUSH1 0x04 00000ac6: DUP3 00000ac7: ADD 00000ac8: MSTORE 00000ac9: PUSH1 0x21 00000acb: PUSH1 0x24 00000acd: DUP3 00000ace: ADD 00000acf: MSTORE 00000ad0: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f 00000af1: PUSH1 0x44 00000af3: DUP3 00000af4: ADD 00000af5: MSTORE 00000af6: PUSH1 0x77 00000af8: PUSH1 0xf8 00000afa: SHL 00000afb: PUSH1 0x64 00000afd: DUP3 00000afe: ADD 00000aff: MSTORE 00000b00: PUSH1 0x84 00000b02: ADD 00000b03: PUSH2 0x0488 00000b06: JUMP 00000b07: JUMPDEST 00000b08: SWAP4 00000b09: SWAP3 00000b0a: POP 00000b0b: POP 00000b0c: POP 00000b0d: JUMP 00000b0e: JUMPDEST 00000b0f: PUSH1 0x00 00000b11: PUSH2 0x0b07 00000b14: DUP4 00000b15: DUP4 00000b16: PUSH1 0x40 00000b18: MLOAD 00000b19: DUP1 00000b1a: PUSH1 0x40 00000b1c: ADD 00000b1d: PUSH1 0x40 00000b1f: MSTORE 00000b20: DUP1 00000b21: PUSH1 0x1a 00000b23: DUP2 00000b24: MSTORE 00000b25: PUSH1 0x20 00000b27: ADD 00000b28: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 00000b49: DUP2 00000b4a: MSTORE 00000b4b: POP 00000b4c: PUSH2 0x1285 00000b4f: JUMP 00000b50: JUMPDEST 00000b51: PUSH1 0x01 00000b53: PUSH1 0x01 00000b55: PUSH1 0xa0 00000b57: SHL 00000b58: SUB 00000b59: DUP4 00000b5a: AND 00000b5b: PUSH2 0x0bb2 00000b5e: JUMPI 00000b5f: PUSH1 0x40 00000b61: MLOAD 00000b62: PUSH3 0x461bcd 00000b66: PUSH1 0xe5 00000b68: SHL 00000b69: DUP2 00000b6a: MSTORE 00000b6b: PUSH1 0x20 00000b6d: PUSH1 0x04 00000b6f: DUP3 00000b70: ADD 00000b71: MSTORE 00000b72: PUSH1 0x24 00000b74: DUP1 00000b75: DUP3 00000b76: ADD 00000b77: MSTORE 00000b78: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464 00000b99: PUSH1 0x44 00000b9b: DUP3 00000b9c: ADD 00000b9d: MSTORE 00000b9e: PUSH4 0x72657373 00000ba3: PUSH1 0xe0 00000ba5: SHL 00000ba6: PUSH1 0x64 00000ba8: DUP3 00000ba9: ADD 00000baa: MSTORE 00000bab: PUSH1 0x84 00000bad: ADD 00000bae: PUSH2 0x0488 00000bb1: JUMP 00000bb2: JUMPDEST 00000bb3: PUSH1 0x01 00000bb5: PUSH1 0x01 00000bb7: PUSH1 0xa0 00000bb9: SHL 00000bba: SUB 00000bbb: DUP3 00000bbc: AND 00000bbd: PUSH2 0x0c13 00000bc0: JUMPI 00000bc1: PUSH1 0x40 00000bc3: MLOAD 00000bc4: PUSH3 0x461bcd 00000bc8: PUSH1 0xe5 00000bca: SHL 00000bcb: DUP2 00000bcc: MSTORE 00000bcd: PUSH1 0x20 00000bcf: PUSH1 0x04 00000bd1: DUP3 00000bd2: ADD 00000bd3: MSTORE 00000bd4: PUSH1 0x22 00000bd6: PUSH1 0x24 00000bd8: DUP3 00000bd9: ADD 00000bda: MSTORE 00000bdb: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265 00000bfc: PUSH1 0x44 00000bfe: DUP3 00000bff: ADD 00000c00: MSTORE 00000c01: PUSH2 0x7373 00000c04: PUSH1 0xf0 00000c06: SHL 00000c07: PUSH1 0x64 00000c09: DUP3 00000c0a: ADD 00000c0b: MSTORE 00000c0c: PUSH1 0x84 00000c0e: ADD 00000c0f: PUSH2 0x0488 00000c12: JUMP 00000c13: JUMPDEST 00000c14: PUSH1 0x01 00000c16: PUSH1 0x01 00000c18: PUSH1 0xa0 00000c1a: SHL 00000c1b: SUB 00000c1c: DUP4 00000c1d: DUP2 00000c1e: AND 00000c1f: PUSH1 0x00 00000c21: DUP2 00000c22: DUP2 00000c23: MSTORE 00000c24: PUSH1 0x04 00000c26: PUSH1 0x20 00000c28: SWAP1 00000c29: DUP2 00000c2a: MSTORE 00000c2b: PUSH1 0x40 00000c2d: DUP1 00000c2e: DUP4 00000c2f: KECCAK256 00000c30: SWAP5 00000c31: DUP8 00000c32: AND 00000c33: DUP1 00000c34: DUP5 00000c35: MSTORE 00000c36: SWAP5 00000c37: DUP3 00000c38: MSTORE 00000c39: SWAP2 00000c3a: DUP3 00000c3b: SWAP1 00000c3c: KECCAK256 00000c3d: DUP6 00000c3e: SWAP1 00000c3f: SSTORE 00000c40: SWAP1 00000c41: MLOAD 00000c42: DUP5 00000c43: DUP2 00000c44: MSTORE 00000c45: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000c66: SWAP2 00000c67: ADD 00000c68: PUSH1 0x40 00000c6a: MLOAD 00000c6b: DUP1 00000c6c: SWAP2 00000c6d: SUB 00000c6e: SWAP1 00000c6f: LOG3 00000c70: POP 00000c71: POP 00000c72: POP 00000c73: JUMP 00000c74: JUMPDEST 00000c75: PUSH1 0x01 00000c77: PUSH1 0x01 00000c79: PUSH1 0xa0 00000c7b: SHL 00000c7c: SUB 00000c7d: DUP4 00000c7e: AND 00000c7f: PUSH2 0x0cd8 00000c82: JUMPI 00000c83: PUSH1 0x40 00000c85: MLOAD 00000c86: PUSH3 0x461bcd 00000c8a: PUSH1 0xe5 00000c8c: SHL 00000c8d: DUP2 00000c8e: MSTORE 00000c8f: PUSH1 0x20 00000c91: PUSH1 0x04 00000c93: DUP3 00000c94: ADD 00000c95: MSTORE 00000c96: PUSH1 0x25 00000c98: PUSH1 0x24 00000c9a: DUP3 00000c9b: ADD 00000c9c: MSTORE 00000c9d: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164 00000cbe: PUSH1 0x44 00000cc0: DUP3 00000cc1: ADD 00000cc2: MSTORE 00000cc3: PUSH5 0x6472657373 00000cc9: PUSH1 0xd8 00000ccb: SHL 00000ccc: PUSH1 0x64 00000cce: DUP3 00000ccf: ADD 00000cd0: MSTORE 00000cd1: PUSH1 0x84 00000cd3: ADD 00000cd4: PUSH2 0x0488 00000cd7: JUMP 00000cd8: JUMPDEST 00000cd9: PUSH1 0x01 00000cdb: PUSH1 0x01 00000cdd: PUSH1 0xa0 00000cdf: SHL 00000ce0: SUB 00000ce1: DUP3 00000ce2: AND 00000ce3: PUSH2 0x0d3a 00000ce6: JUMPI 00000ce7: PUSH1 0x40 00000ce9: MLOAD 00000cea: PUSH3 0x461bcd 00000cee: PUSH1 0xe5 00000cf0: SHL 00000cf1: DUP2 00000cf2: MSTORE 00000cf3: PUSH1 0x20 00000cf5: PUSH1 0x04 00000cf7: DUP3 00000cf8: ADD 00000cf9: MSTORE 00000cfa: PUSH1 0x23 00000cfc: PUSH1 0x24 00000cfe: DUP3 00000cff: ADD 00000d00: MSTORE 00000d01: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472 00000d22: PUSH1 0x44 00000d24: DUP3 00000d25: ADD 00000d26: MSTORE 00000d27: PUSH3 0x657373 00000d2b: PUSH1 0xe8 00000d2d: SHL 00000d2e: PUSH1 0x64 00000d30: DUP3 00000d31: ADD 00000d32: MSTORE 00000d33: PUSH1 0x84 00000d35: ADD 00000d36: PUSH2 0x0488 00000d39: JUMP 00000d3a: JUMPDEST 00000d3b: PUSH1 0x00 00000d3d: DUP2 00000d3e: GT 00000d3f: PUSH2 0x0d9c 00000d42: JUMPI 00000d43: PUSH1 0x40 00000d45: MLOAD 00000d46: PUSH3 0x461bcd 00000d4a: PUSH1 0xe5 00000d4c: SHL 00000d4d: DUP2 00000d4e: MSTORE 00000d4f: PUSH1 0x20 00000d51: PUSH1 0x04 00000d53: DUP3 00000d54: ADD 00000d55: MSTORE 00000d56: PUSH1 0x29 00000d58: PUSH1 0x24 00000d5a: DUP3 00000d5b: ADD 00000d5c: MSTORE 00000d5d: PUSH32 0x5472616e7366657220616d6f756e74206d757374206265206772656174657220 00000d7e: PUSH1 0x44 00000d80: DUP3 00000d81: ADD 00000d82: MSTORE 00000d83: PUSH9 0x7468616e207a65726f 00000d8d: PUSH1 0xb8 00000d8f: SHL 00000d90: PUSH1 0x64 00000d92: DUP3 00000d93: ADD 00000d94: MSTORE 00000d95: PUSH1 0x84 00000d97: ADD 00000d98: PUSH2 0x0488 00000d9b: JUMP 00000d9c: JUMPDEST 00000d9d: PUSH1 0x00 00000d9f: SLOAD 00000da0: PUSH1 0x01 00000da2: PUSH1 0x01 00000da4: PUSH1 0xa0 00000da6: SHL 00000da7: SUB 00000da8: DUP5 00000da9: DUP2 00000daa: AND 00000dab: SWAP2 00000dac: AND 00000dad: EQ 00000dae: DUP1 00000daf: ISZERO 00000db0: SWAP1 00000db1: PUSH2 0x0dc8 00000db4: JUMPI 00000db5: POP 00000db6: PUSH1 0x00 00000db8: SLOAD 00000db9: PUSH1 0x01 00000dbb: PUSH1 0x01 00000dbd: PUSH1 0xa0 00000dbf: SHL 00000dc0: SUB 00000dc1: DUP4 00000dc2: DUP2 00000dc3: AND 00000dc4: SWAP2 00000dc5: AND 00000dc6: EQ 00000dc7: ISZERO 00000dc8: JUMPDEST 00000dc9: ISZERO 00000dca: PUSH2 0x0fff 00000dcd: JUMPI 00000dce: PUSH1 0x01 00000dd0: PUSH1 0x01 00000dd2: PUSH1 0xa0 00000dd4: SHL 00000dd5: SUB 00000dd6: DUP4 00000dd7: AND 00000dd8: PUSH1 0x00 00000dda: SWAP1 00000ddb: DUP2 00000ddc: MSTORE 00000ddd: PUSH1 0x06 00000ddf: PUSH1 0x20 00000de1: MSTORE 00000de2: PUSH1 0x40 00000de4: SWAP1 00000de5: KECCAK256 00000de6: SLOAD 00000de7: PUSH1 0xff 00000de9: AND 00000dea: ISZERO 00000deb: DUP1 00000dec: ISZERO 00000ded: PUSH2 0x0e0f 00000df0: JUMPI 00000df1: POP 00000df2: PUSH1 0x01 00000df4: PUSH1 0x01 00000df6: PUSH1 0xa0 00000df8: SHL 00000df9: SUB 00000dfa: DUP3 00000dfb: AND 00000dfc: PUSH1 0x00 00000dfe: SWAP1 00000dff: DUP2 00000e00: MSTORE 00000e01: PUSH1 0x06 00000e03: PUSH1 0x20 00000e05: MSTORE 00000e06: PUSH1 0x40 00000e08: SWAP1 00000e09: KECCAK256 00000e0a: SLOAD 00000e0b: PUSH1 0xff 00000e0d: AND 00000e0e: ISZERO 00000e0f: JUMPDEST 00000e10: PUSH2 0x0e18 00000e13: JUMPI 00000e14: PUSH1 0x00 00000e16: DUP1 00000e17: REVERT 00000e18: JUMPDEST 00000e19: PUSH1 0x00 00000e1b: PUSH1 0x0a 00000e1d: SSTORE 00000e1e: PUSH1 0x0f 00000e20: SLOAD 00000e21: ISZERO 00000e22: PUSH2 0x0e2d 00000e25: JUMPI 00000e26: PUSH1 0x0c 00000e28: SLOAD 00000e29: PUSH2 0x0e31 00000e2c: JUMP 00000e2d: JUMPDEST 00000e2e: PUSH1 0x0d 00000e30: SLOAD 00000e31: JUMPDEST 00000e32: PUSH1 0x0b 00000e34: SSTORE 00000e35: PUSH1 0x12 00000e37: SLOAD 00000e38: PUSH1 0x01 00000e3a: PUSH1 0x01 00000e3c: PUSH1 0xa0 00000e3e: SHL 00000e3f: SUB 00000e40: DUP5 00000e41: DUP2 00000e42: AND 00000e43: SWAP2 00000e44: AND 00000e45: EQ 00000e46: DUP1 00000e47: ISZERO 00000e48: PUSH2 0x0e5f 00000e4b: JUMPI 00000e4c: POP 00000e4d: PUSH1 0x11 00000e4f: SLOAD 00000e50: PUSH1 0x01 00000e52: PUSH1 0x01 00000e54: PUSH1 0xa0 00000e56: SHL 00000e57: SUB 00000e58: DUP4 00000e59: DUP2 00000e5a: AND 00000e5b: SWAP2 00000e5c: AND 00000e5d: EQ 00000e5e: ISZERO 00000e5f: JUMPDEST 00000e60: DUP1 00000e61: ISZERO 00000e62: PUSH2 0x0e84 00000e65: JUMPI 00000e66: POP 00000e67: PUSH1 0x01 00000e69: PUSH1 0x01 00000e6b: PUSH1 0xa0 00000e6d: SHL 00000e6e: SUB 00000e6f: DUP3 00000e70: AND 00000e71: PUSH1 0x00 00000e73: SWAP1 00000e74: DUP2 00000e75: MSTORE 00000e76: PUSH1 0x05 00000e78: PUSH1 0x20 00000e7a: MSTORE 00000e7b: PUSH1 0x40 00000e7d: SWAP1 00000e7e: KECCAK256 00000e7f: SLOAD 00000e80: PUSH1 0xff 00000e82: AND 00000e83: ISZERO 00000e84: JUMPDEST 00000e85: DUP1 00000e86: ISZERO 00000e87: PUSH2 0x0e99 00000e8a: JUMPI 00000e8b: POP 00000e8c: PUSH1 0x12 00000e8e: SLOAD 00000e8f: PUSH1 0x01 00000e91: PUSH1 0xb8 00000e93: SHL 00000e94: SWAP1 00000e95: DIV 00000e96: PUSH1 0xff 00000e98: AND 00000e99: JUMPDEST 00000e9a: ISZERO 00000e9b: PUSH2 0x0f73 00000e9e: JUMPI 00000e9f: PUSH1 0x13 00000ea1: SLOAD 00000ea2: DUP2 00000ea3: GT 00000ea4: ISZERO 00000ea5: PUSH2 0x0ef0 00000ea8: JUMPI 00000ea9: PUSH1 0x40 00000eab: MLOAD 00000eac: PUSH3 0x461bcd 00000eb0: PUSH1 0xe5 00000eb2: SHL 00000eb3: DUP2 00000eb4: MSTORE 00000eb5: PUSH1 0x20 00000eb7: PUSH1 0x04 00000eb9: DUP3 00000eba: ADD 00000ebb: MSTORE 00000ebc: PUSH1 0x19 00000ebe: PUSH1 0x24 00000ec0: DUP3 00000ec1: ADD 00000ec2: MSTORE 00000ec3: PUSH32 0x4578636565647320746865205f6d61785478416d6f756e742e00000000000000 00000ee4: PUSH1 0x44 00000ee6: DUP3 00000ee7: ADD 00000ee8: MSTORE 00000ee9: PUSH1 0x64 00000eeb: ADD 00000eec: PUSH2 0x0488 00000eef: JUMP 00000ef0: JUMPDEST 00000ef1: PUSH1 0x14 00000ef3: SLOAD 00000ef4: DUP2 00000ef5: PUSH2 0x0efd 00000ef8: DUP5 00000ef9: PUSH2 0x0572 00000efc: JUMP 00000efd: JUMPDEST 00000efe: PUSH2 0x0f07 00000f01: SWAP2 00000f02: SWAP1 00000f03: PUSH2 0x1988 00000f06: JUMP 00000f07: JUMPDEST 00000f08: GT 00000f09: ISZERO 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 0x1a 00000f23: PUSH1 0x24 00000f25: DUP3 00000f26: ADD 00000f27: MSTORE 00000f28: PUSH32 0x4578636565647320746865206d617857616c6c657453697a652e000000000000 00000f49: PUSH1 0x44 00000f4b: DUP3 00000f4c: ADD 00000f4d: MSTORE 00000f4e: PUSH1 0x64 00000f50: ADD 00000f51: PUSH2 0x0488 00000f54: JUMP 00000f55: JUMPDEST 00000f56: PUSH1 0x0f 00000f58: SLOAD 00000f59: ISZERO 00000f5a: PUSH2 0x0f73 00000f5d: JUMPI 00000f5e: PUSH1 0x0f 00000f60: DUP1 00000f61: SLOAD 00000f62: SWAP1 00000f63: PUSH1 0x00 00000f65: PUSH2 0x0f6d 00000f68: DUP4 00000f69: PUSH2 0x199b 00000f6c: JUMP 00000f6d: JUMPDEST 00000f6e: SWAP2 00000f6f: SWAP1 00000f70: POP 00000f71: SSTORE 00000f72: POP 00000f73: JUMPDEST 00000f74: PUSH1 0x00 00000f76: PUSH2 0x0f7e 00000f79: ADDRESS 00000f7a: PUSH2 0x0572 00000f7d: JUMP 00000f7e: JUMPDEST 00000f7f: PUSH1 0x12 00000f81: SLOAD 00000f82: SWAP1 00000f83: SWAP2 00000f84: POP 00000f85: PUSH1 0x01 00000f87: PUSH1 0xa8 00000f89: SHL 00000f8a: SWAP1 00000f8b: DIV 00000f8c: PUSH1 0xff 00000f8e: AND 00000f8f: ISZERO 00000f90: DUP1 00000f91: ISZERO 00000f92: PUSH2 0x0fa9 00000f95: JUMPI 00000f96: POP 00000f97: PUSH1 0x12 00000f99: SLOAD 00000f9a: PUSH1 0x01 00000f9c: PUSH1 0x01 00000f9e: PUSH1 0xa0 00000fa0: SHL 00000fa1: SUB 00000fa2: DUP6 00000fa3: DUP2 00000fa4: AND 00000fa5: SWAP2 00000fa6: AND 00000fa7: EQ 00000fa8: ISZERO 00000fa9: JUMPDEST 00000faa: DUP1 00000fab: ISZERO 00000fac: PUSH2 0x0fbe 00000faf: JUMPI 00000fb0: POP 00000fb1: PUSH1 0x12 00000fb3: SLOAD 00000fb4: PUSH1 0x01 00000fb6: PUSH1 0xb0 00000fb8: SHL 00000fb9: SWAP1 00000fba: DIV 00000fbb: PUSH1 0xff 00000fbd: AND 00000fbe: JUMPDEST 00000fbf: DUP1 00000fc0: ISZERO 00000fc1: PUSH2 0x0fca 00000fc4: JUMPI 00000fc5: POP 00000fc6: PUSH1 0x00 00000fc8: DUP2 00000fc9: GT 00000fca: JUMPDEST 00000fcb: DUP1 00000fcc: ISZERO 00000fcd: PUSH2 0x0fd9 00000fd0: JUMPI 00000fd1: POP 00000fd2: PUSH1 0x0e 00000fd4: SLOAD 00000fd5: PUSH1 0x0f 00000fd7: SLOAD 00000fd8: LT 00000fd9: JUMPDEST 00000fda: ISZERO 00000fdb: PUSH2 0x0ff9 00000fde: JUMPI 00000fdf: PUSH2 0x0fe7 00000fe2: DUP2 00000fe3: PUSH2 0x110b 00000fe6: JUMP 00000fe7: JUMPDEST 00000fe8: SELFBALANCE 00000fe9: DUP1 00000fea: ISZERO 00000feb: PUSH2 0x0ff7 00000fee: JUMPI 00000fef: PUSH2 0x0ff7 00000ff2: SELFBALANCE 00000ff3: PUSH2 0x1054 00000ff6: JUMP 00000ff7: JUMPDEST 00000ff8: POP 00000ff9: JUMPDEST 00000ffa: POP 00000ffb: PUSH2 0x100a 00000ffe: JUMP 00000fff: JUMPDEST 00001000: PUSH1 0x00 00001002: PUSH1 0x0a 00001004: DUP2 00001005: SWAP1 00001006: SSTORE 00001007: PUSH1 0x0b 00001009: SSTORE 0000100a: JUMPDEST 0000100b: PUSH2 0x1015 0000100e: DUP4 0000100f: DUP4 00001010: DUP4 00001011: PUSH2 0x12b3 00001014: JUMP 00001015: JUMPDEST 00001016: POP 00001017: POP 00001018: POP 00001019: JUMP 0000101a: JUMPDEST 0000101b: PUSH1 0x00 0000101d: DUP2 0000101e: DUP5 0000101f: DUP5 00001020: GT 00001021: ISZERO 00001022: PUSH2 0x103e 00001025: JUMPI 00001026: PUSH1 0x40 00001028: MLOAD 00001029: PUSH3 0x461bcd 0000102d: PUSH1 0xe5 0000102f: SHL 00001030: DUP2 00001031: MSTORE 00001032: PUSH1 0x04 00001034: ADD 00001035: PUSH2 0x0488 00001038: SWAP2 00001039: SWAP1 0000103a: PUSH2 0x1629 0000103d: JUMP 0000103e: JUMPDEST 0000103f: POP 00001040: PUSH1 0x00 00001042: PUSH2 0x104b 00001045: DUP5 00001046: DUP7 00001047: PUSH2 0x19b2 0000104a: JUMP 0000104b: JUMPDEST 0000104c: SWAP6 0000104d: SWAP5 0000104e: POP 0000104f: POP 00001050: POP 00001051: POP 00001052: POP 00001053: JUMP 00001054: JUMPDEST 00001055: PUSH1 0x10 00001057: SLOAD 00001058: PUSH1 0x40 0000105a: MLOAD 0000105b: PUSH1 0x01 0000105d: PUSH1 0x01 0000105f: PUSH1 0xa0 00001061: SHL 00001062: SUB 00001063: SWAP1 00001064: SWAP2 00001065: AND 00001066: SWAP1 00001067: DUP3 00001068: ISZERO 00001069: PUSH2 0x08fc 0000106c: MUL 0000106d: SWAP1 0000106e: DUP4 0000106f: SWAP1 00001070: PUSH1 0x00 00001072: DUP2 00001073: DUP2 00001074: DUP2 00001075: DUP6 00001076: DUP9 00001077: DUP9 00001078: CALL 00001079: SWAP4 0000107a: POP 0000107b: POP 0000107c: POP 0000107d: POP 0000107e: ISZERO 0000107f: DUP1 00001080: ISZERO 00001081: PUSH2 0x04f9 00001084: JUMPI 00001085: RETURNDATASIZE 00001086: PUSH1 0x00 00001088: DUP1 00001089: RETURNDATACOPY 0000108a: RETURNDATASIZE 0000108b: PUSH1 0x00 0000108d: REVERT 0000108e: JUMPDEST 0000108f: PUSH1 0x00 00001091: PUSH1 0x08 00001093: SLOAD 00001094: DUP3 00001095: GT 00001096: ISZERO 00001097: PUSH2 0x10f5 0000109a: JUMPI 0000109b: PUSH1 0x40 0000109d: MLOAD 0000109e: PUSH3 0x461bcd 000010a2: PUSH1 0xe5 000010a4: SHL 000010a5: DUP2 000010a6: MSTORE 000010a7: PUSH1 0x20 000010a9: PUSH1 0x04 000010ab: DUP3 000010ac: ADD 000010ad: MSTORE 000010ae: PUSH1 0x2a 000010b0: PUSH1 0x24 000010b2: DUP3 000010b3: ADD 000010b4: MSTORE 000010b5: PUSH32 0x416d6f756e74206d757374206265206c657373207468616e20746f74616c2072 000010d6: PUSH1 0x44 000010d8: DUP3 000010d9: ADD 000010da: MSTORE 000010db: PUSH10 0x65666c656374696f6e73 000010e6: PUSH1 0xb0 000010e8: SHL 000010e9: PUSH1 0x64 000010eb: DUP3 000010ec: ADD 000010ed: MSTORE 000010ee: PUSH1 0x84 000010f0: ADD 000010f1: PUSH2 0x0488 000010f4: JUMP 000010f5: JUMPDEST 000010f6: PUSH1 0x00 000010f8: PUSH2 0x10ff 000010fb: PUSH2 0x12be 000010fe: JUMP 000010ff: JUMPDEST 00001100: SWAP1 00001101: POP 00001102: PUSH2 0x0b07 00001105: DUP4 00001106: DUP3 00001107: PUSH2 0x0b0e 0000110a: JUMP 0000110b: JUMPDEST 0000110c: PUSH1 0x12 0000110e: DUP1 0000110f: SLOAD 00001110: PUSH1 0xff 00001112: PUSH1 0xa8 00001114: SHL 00001115: NOT 00001116: AND 00001117: PUSH1 0x01 00001119: PUSH1 0xa8 0000111b: SHL 0000111c: OR 0000111d: SWAP1 0000111e: SSTORE 0000111f: PUSH1 0x40 00001121: DUP1 00001122: MLOAD 00001123: PUSH1 0x02 00001125: DUP1 00001126: DUP3 00001127: MSTORE 00001128: PUSH1 0x60 0000112a: DUP3 0000112b: ADD 0000112c: DUP4 0000112d: MSTORE 0000112e: PUSH1 0x00 00001130: SWAP3 00001131: PUSH1 0x20 00001133: DUP4 00001134: ADD 00001135: SWAP1 00001136: DUP1 00001137: CALLDATASIZE 00001138: DUP4 00001139: CALLDATACOPY 0000113a: ADD 0000113b: SWAP1 0000113c: POP 0000113d: POP 0000113e: SWAP1 0000113f: POP 00001140: ADDRESS 00001141: DUP2 00001142: PUSH1 0x00 00001144: DUP2 00001145: MLOAD 00001146: DUP2 00001147: LT 00001148: PUSH2 0x1153 0000114b: JUMPI 0000114c: PUSH2 0x1153 0000114f: PUSH2 0x189a 00001152: JUMP 00001153: JUMPDEST 00001154: PUSH1 0x01 00001156: PUSH1 0x01 00001158: PUSH1 0xa0 0000115a: SHL 0000115b: SUB 0000115c: SWAP3 0000115d: DUP4 0000115e: AND 0000115f: PUSH1 0x20 00001161: SWAP2 00001162: DUP3 00001163: MUL 00001164: SWAP3 00001165: SWAP1 00001166: SWAP3 00001167: ADD 00001168: DUP2 00001169: ADD 0000116a: SWAP2 0000116b: SWAP1 0000116c: SWAP2 0000116d: MSTORE 0000116e: PUSH1 0x11 00001170: SLOAD 00001171: PUSH1 0x40 00001173: DUP1 00001174: MLOAD 00001175: PUSH4 0x15ab88c9 0000117a: PUSH1 0xe3 0000117c: SHL 0000117d: DUP2 0000117e: MSTORE 0000117f: SWAP1 00001180: MLOAD 00001181: SWAP2 00001182: SWAP1 00001183: SWAP4 00001184: AND 00001185: SWAP3 00001186: PUSH4 0xad5c4648 0000118b: SWAP3 0000118c: PUSH1 0x04 0000118e: DUP1 0000118f: DUP4 00001190: ADD 00001191: SWAP4 00001192: SWAP2 00001193: SWAP3 00001194: DUP3 00001195: SWAP1 00001196: SUB 00001197: ADD 00001198: DUP2 00001199: DUP7 0000119a: GAS 0000119b: STATICCALL 0000119c: ISZERO 0000119d: DUP1 0000119e: ISZERO 0000119f: PUSH2 0x11ac 000011a2: JUMPI 000011a3: RETURNDATASIZE 000011a4: PUSH1 0x00 000011a6: DUP1 000011a7: RETURNDATACOPY 000011a8: RETURNDATASIZE 000011a9: PUSH1 0x00 000011ab: REVERT 000011ac: JUMPDEST 000011ad: POP 000011ae: POP 000011af: POP 000011b0: POP 000011b1: PUSH1 0x40 000011b3: MLOAD 000011b4: RETURNDATASIZE 000011b5: PUSH1 0x1f 000011b7: NOT 000011b8: PUSH1 0x1f 000011ba: DUP3 000011bb: ADD 000011bc: AND 000011bd: DUP3 000011be: ADD 000011bf: DUP1 000011c0: PUSH1 0x40 000011c2: MSTORE 000011c3: POP 000011c4: DUP2 000011c5: ADD 000011c6: SWAP1 000011c7: PUSH2 0x11d0 000011ca: SWAP2 000011cb: SWAP1 000011cc: PUSH2 0x18df 000011cf: JUMP 000011d0: JUMPDEST 000011d1: DUP2 000011d2: PUSH1 0x01 000011d4: DUP2 000011d5: MLOAD 000011d6: DUP2 000011d7: LT 000011d8: PUSH2 0x11e3 000011db: JUMPI 000011dc: PUSH2 0x11e3 000011df: PUSH2 0x189a 000011e2: JUMP 000011e3: JUMPDEST 000011e4: PUSH1 0x01 000011e6: PUSH1 0x01 000011e8: PUSH1 0xa0 000011ea: SHL 000011eb: SUB 000011ec: SWAP3 000011ed: DUP4 000011ee: AND 000011ef: PUSH1 0x20 000011f1: SWAP2 000011f2: DUP3 000011f3: MUL 000011f4: SWAP3 000011f5: SWAP1 000011f6: SWAP3 000011f7: ADD 000011f8: ADD 000011f9: MSTORE 000011fa: PUSH1 0x11 000011fc: SLOAD 000011fd: PUSH2 0x1209 00001200: SWAP2 00001201: ADDRESS 00001202: SWAP2 00001203: AND 00001204: DUP5 00001205: PUSH2 0x0b50 00001208: JUMP 00001209: JUMPDEST 0000120a: PUSH1 0x11 0000120c: SLOAD 0000120d: PUSH1 0x40 0000120f: MLOAD 00001210: PUSH4 0x791ac947 00001215: PUSH1 0xe0 00001217: SHL 00001218: DUP2 00001219: MSTORE 0000121a: PUSH1 0x01 0000121c: PUSH1 0x01 0000121e: PUSH1 0xa0 00001220: SHL 00001221: SUB 00001222: SWAP1 00001223: SWAP2 00001224: AND 00001225: SWAP1 00001226: PUSH4 0x791ac947 0000122b: SWAP1 0000122c: PUSH2 0x1242 0000122f: SWAP1 00001230: DUP6 00001231: SWAP1 00001232: PUSH1 0x00 00001234: SWAP1 00001235: DUP7 00001236: SWAP1 00001237: ADDRESS 00001238: SWAP1 00001239: TIMESTAMP 0000123a: SWAP1 0000123b: PUSH1 0x04 0000123d: ADD 0000123e: PUSH2 0x19c5 00001241: JUMP 00001242: JUMPDEST 00001243: PUSH1 0x00 00001245: PUSH1 0x40 00001247: MLOAD 00001248: DUP1 00001249: DUP4 0000124a: SUB 0000124b: DUP2 0000124c: PUSH1 0x00 0000124e: DUP8 0000124f: DUP1 00001250: EXTCODESIZE 00001251: ISZERO 00001252: DUP1 00001253: ISZERO 00001254: PUSH2 0x125c 00001257: JUMPI 00001258: PUSH1 0x00 0000125a: DUP1 0000125b: REVERT 0000125c: JUMPDEST 0000125d: POP 0000125e: GAS 0000125f: CALL 00001260: ISZERO 00001261: DUP1 00001262: ISZERO 00001263: PUSH2 0x1270 00001266: JUMPI 00001267: RETURNDATASIZE 00001268: PUSH1 0x00 0000126a: DUP1 0000126b: RETURNDATACOPY 0000126c: RETURNDATASIZE 0000126d: PUSH1 0x00 0000126f: REVERT 00001270: JUMPDEST 00001271: POP 00001272: POP 00001273: PUSH1 0x12 00001275: DUP1 00001276: SLOAD 00001277: PUSH1 0xff 00001279: PUSH1 0xa8 0000127b: SHL 0000127c: NOT 0000127d: AND 0000127e: SWAP1 0000127f: SSTORE 00001280: POP 00001281: POP 00001282: POP 00001283: POP 00001284: JUMP 00001285: JUMPDEST 00001286: PUSH1 0x00 00001288: DUP2 00001289: DUP4 0000128a: PUSH2 0x12a6 0000128d: JUMPI 0000128e: PUSH1 0x40 00001290: MLOAD 00001291: PUSH3 0x461bcd 00001295: PUSH1 0xe5 00001297: SHL 00001298: DUP2 00001299: MSTORE 0000129a: PUSH1 0x04 0000129c: ADD 0000129d: PUSH2 0x0488 000012a0: SWAP2 000012a1: SWAP1 000012a2: PUSH2 0x1629 000012a5: JUMP 000012a6: JUMPDEST 000012a7: POP 000012a8: PUSH1 0x00 000012aa: PUSH2 0x104b 000012ad: DUP5 000012ae: DUP7 000012af: PUSH2 0x1966 000012b2: JUMP 000012b3: JUMPDEST 000012b4: PUSH2 0x1015 000012b7: DUP4 000012b8: DUP4 000012b9: DUP4 000012ba: PUSH2 0x12e1 000012bd: JUMP 000012be: JUMPDEST 000012bf: PUSH1 0x00 000012c1: DUP1 000012c2: PUSH1 0x00 000012c4: PUSH2 0x12cb 000012c7: PUSH2 0x13d8 000012ca: JUMP 000012cb: JUMPDEST 000012cc: SWAP1 000012cd: SWAP3 000012ce: POP 000012cf: SWAP1 000012d0: POP 000012d1: PUSH2 0x12da 000012d4: DUP3 000012d5: DUP3 000012d6: PUSH2 0x0b0e 000012d9: JUMP 000012da: JUMPDEST 000012db: SWAP3 000012dc: POP 000012dd: POP 000012de: POP 000012df: SWAP1 000012e0: JUMP 000012e1: JUMPDEST 000012e2: PUSH1 0x00 000012e4: DUP1 000012e5: PUSH1 0x00 000012e7: DUP1 000012e8: PUSH1 0x00 000012ea: DUP1 000012eb: PUSH2 0x12f3 000012ee: DUP8 000012ef: PUSH2 0x1418 000012f2: JUMP 000012f3: JUMPDEST 000012f4: PUSH1 0x01 000012f6: PUSH1 0x01 000012f8: PUSH1 0xa0 000012fa: SHL 000012fb: SUB 000012fc: DUP16 000012fd: AND 000012fe: PUSH1 0x00 00001300: SWAP1 00001301: DUP2 00001302: MSTORE 00001303: PUSH1 0x02 00001305: PUSH1 0x20 00001307: MSTORE 00001308: PUSH1 0x40 0000130a: SWAP1 0000130b: KECCAK256 0000130c: SLOAD 0000130d: SWAP6 0000130e: SWAP12 0000130f: POP 00001310: SWAP4 00001311: SWAP10 00001312: POP 00001313: SWAP2 00001314: SWAP8 00001315: POP 00001316: SWAP6 00001317: POP 00001318: SWAP4 00001319: POP 0000131a: SWAP2 0000131b: POP 0000131c: PUSH2 0x1325 0000131f: SWAP1 00001320: DUP8 00001321: PUSH2 0x1475 00001324: JUMP 00001325: JUMPDEST 00001326: PUSH1 0x01 00001328: PUSH1 0x01 0000132a: PUSH1 0xa0 0000132c: SHL 0000132d: SUB 0000132e: DUP1 0000132f: DUP12 00001330: AND 00001331: PUSH1 0x00 00001333: SWAP1 00001334: DUP2 00001335: MSTORE 00001336: PUSH1 0x02 00001338: PUSH1 0x20 0000133a: MSTORE 0000133b: PUSH1 0x40 0000133d: DUP1 0000133e: DUP3 0000133f: KECCAK256 00001340: SWAP4 00001341: SWAP1 00001342: SWAP4 00001343: SSTORE 00001344: SWAP1 00001345: DUP11 00001346: AND 00001347: DUP2 00001348: MSTORE 00001349: KECCAK256 0000134a: SLOAD 0000134b: PUSH2 0x1354 0000134e: SWAP1 0000134f: DUP7 00001350: PUSH2 0x14b7 00001353: JUMP 00001354: JUMPDEST 00001355: PUSH1 0x01 00001357: PUSH1 0x01 00001359: PUSH1 0xa0 0000135b: SHL 0000135c: SUB 0000135d: DUP10 0000135e: AND 0000135f: PUSH1 0x00 00001361: SWAP1 00001362: DUP2 00001363: MSTORE 00001364: PUSH1 0x02 00001366: PUSH1 0x20 00001368: MSTORE 00001369: PUSH1 0x40 0000136b: SWAP1 0000136c: KECCAK256 0000136d: SSTORE 0000136e: PUSH2 0x1376 00001371: DUP2 00001372: PUSH2 0x1516 00001375: JUMP 00001376: JUMPDEST 00001377: PUSH2 0x1380 0000137a: DUP5 0000137b: DUP4 0000137c: PUSH2 0x1560 0000137f: JUMP 00001380: JUMPDEST 00001381: DUP8 00001382: PUSH1 0x01 00001384: PUSH1 0x01 00001386: PUSH1 0xa0 00001388: SHL 00001389: SUB 0000138a: AND 0000138b: DUP10 0000138c: PUSH1 0x01 0000138e: PUSH1 0x01 00001390: PUSH1 0xa0 00001392: SHL 00001393: SUB 00001394: AND 00001395: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000013b6: DUP6 000013b7: PUSH1 0x40 000013b9: MLOAD 000013ba: PUSH2 0x13c5 000013bd: SWAP2 000013be: DUP2 000013bf: MSTORE 000013c0: PUSH1 0x20 000013c2: ADD 000013c3: SWAP1 000013c4: JUMP 000013c5: JUMPDEST 000013c6: PUSH1 0x40 000013c8: MLOAD 000013c9: DUP1 000013ca: SWAP2 000013cb: SUB 000013cc: SWAP1 000013cd: LOG3 000013ce: POP 000013cf: POP 000013d0: POP 000013d1: POP 000013d2: POP 000013d3: POP 000013d4: POP 000013d5: POP 000013d6: POP 000013d7: JUMP 000013d8: JUMPDEST 000013d9: PUSH1 0x08 000013db: SLOAD 000013dc: PUSH1 0x00 000013de: SWAP1 000013df: DUP2 000013e0: SWAP1 000013e1: PUSH8 0x0de0b6b3a7640000 000013ea: PUSH2 0x13f3 000013ed: DUP3 000013ee: DUP3 000013ef: PUSH2 0x0b0e 000013f2: JUMP 000013f3: JUMPDEST 000013f4: DUP3 000013f5: LT 000013f6: ISZERO 000013f7: PUSH2 0x140f 000013fa: JUMPI 000013fb: POP 000013fc: POP 000013fd: PUSH1 0x08 000013ff: SLOAD 00001400: SWAP3 00001401: PUSH8 0x0de0b6b3a7640000 0000140a: SWAP3 0000140b: POP 0000140c: SWAP1 0000140d: POP 0000140e: JUMP 0000140f: JUMPDEST 00001410: SWAP1 00001411: SWAP4 00001412: SWAP1 00001413: SWAP3 00001414: POP 00001415: SWAP1 00001416: POP 00001417: JUMP 00001418: JUMPDEST 00001419: PUSH1 0x00 0000141b: DUP1 0000141c: PUSH1 0x00 0000141e: DUP1 0000141f: PUSH1 0x00 00001421: DUP1 00001422: PUSH1 0x00 00001424: DUP1 00001425: PUSH1 0x00 00001427: PUSH2 0x1435 0000142a: DUP11 0000142b: PUSH1 0x0a 0000142d: SLOAD 0000142e: PUSH1 0x0b 00001430: SLOAD 00001431: PUSH2 0x1584 00001434: JUMP 00001435: JUMPDEST 00001436: SWAP3 00001437: POP 00001438: SWAP3 00001439: POP 0000143a: SWAP3 0000143b: POP 0000143c: PUSH1 0x00 0000143e: PUSH2 0x1445 00001441: PUSH2 0x12be 00001444: JUMP 00001445: JUMPDEST 00001446: SWAP1 00001447: POP 00001448: PUSH1 0x00 0000144a: DUP1 0000144b: PUSH1 0x00 0000144d: PUSH2 0x1458 00001450: DUP15 00001451: DUP8 00001452: DUP8 00001453: DUP8 00001454: PUSH2 0x15d9 00001457: JUMP 00001458: JUMPDEST 00001459: SWAP2 0000145a: SWAP15 0000145b: POP 0000145c: SWAP13 0000145d: POP 0000145e: SWAP11 0000145f: POP 00001460: SWAP6 00001461: SWAP9 00001462: POP 00001463: SWAP4 00001464: SWAP7 00001465: POP 00001466: SWAP2 00001467: SWAP5 00001468: POP 00001469: POP 0000146a: POP 0000146b: POP 0000146c: POP 0000146d: SWAP2 0000146e: SWAP4 0000146f: SWAP6 00001470: POP 00001471: SWAP2 00001472: SWAP4 00001473: SWAP6 00001474: JUMP 00001475: JUMPDEST 00001476: PUSH1 0x00 00001478: PUSH2 0x0b07 0000147b: DUP4 0000147c: DUP4 0000147d: PUSH1 0x40 0000147f: MLOAD 00001480: DUP1 00001481: PUSH1 0x40 00001483: ADD 00001484: PUSH1 0x40 00001486: MSTORE 00001487: DUP1 00001488: PUSH1 0x1e 0000148a: DUP2 0000148b: MSTORE 0000148c: PUSH1 0x20 0000148e: ADD 0000148f: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 000014b0: DUP2 000014b1: MSTORE 000014b2: POP 000014b3: PUSH2 0x101a 000014b6: JUMP 000014b7: JUMPDEST 000014b8: PUSH1 0x00 000014ba: DUP1 000014bb: PUSH2 0x14c4 000014be: DUP4 000014bf: DUP6 000014c0: PUSH2 0x1988 000014c3: JUMP 000014c4: JUMPDEST 000014c5: SWAP1 000014c6: POP 000014c7: DUP4 000014c8: DUP2 000014c9: LT 000014ca: ISZERO 000014cb: PUSH2 0x0b07 000014ce: JUMPI 000014cf: PUSH1 0x40 000014d1: MLOAD 000014d2: PUSH3 0x461bcd 000014d6: PUSH1 0xe5 000014d8: SHL 000014d9: DUP2 000014da: MSTORE 000014db: PUSH1 0x20 000014dd: PUSH1 0x04 000014df: DUP3 000014e0: ADD 000014e1: MSTORE 000014e2: PUSH1 0x1b 000014e4: PUSH1 0x24 000014e6: DUP3 000014e7: ADD 000014e8: MSTORE 000014e9: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 0000150a: PUSH1 0x44 0000150c: DUP3 0000150d: ADD 0000150e: MSTORE 0000150f: PUSH1 0x64 00001511: ADD 00001512: PUSH2 0x0488 00001515: JUMP 00001516: JUMPDEST 00001517: PUSH1 0x00 00001519: PUSH2 0x1520 0000151c: PUSH2 0x12be 0000151f: JUMP 00001520: JUMPDEST 00001521: SWAP1 00001522: POP 00001523: PUSH1 0x00 00001525: PUSH2 0x152e 00001528: DUP4 00001529: DUP4 0000152a: PUSH2 0x0a85 0000152d: JUMP 0000152e: JUMPDEST 0000152f: ADDRESS 00001530: PUSH1 0x00 00001532: SWAP1 00001533: DUP2 00001534: MSTORE 00001535: PUSH1 0x02 00001537: PUSH1 0x20 00001539: MSTORE 0000153a: PUSH1 0x40 0000153c: SWAP1 0000153d: KECCAK256 0000153e: SLOAD 0000153f: SWAP1 00001540: SWAP2 00001541: POP 00001542: PUSH2 0x154b 00001545: SWAP1 00001546: DUP3 00001547: PUSH2 0x14b7 0000154a: JUMP 0000154b: JUMPDEST 0000154c: ADDRESS 0000154d: PUSH1 0x00 0000154f: SWAP1 00001550: DUP2 00001551: MSTORE 00001552: PUSH1 0x02 00001554: PUSH1 0x20 00001556: MSTORE 00001557: PUSH1 0x40 00001559: SWAP1 0000155a: KECCAK256 0000155b: SSTORE 0000155c: POP 0000155d: POP 0000155e: POP 0000155f: JUMP 00001560: JUMPDEST 00001561: PUSH1 0x08 00001563: SLOAD 00001564: PUSH2 0x156d 00001567: SWAP1 00001568: DUP4 00001569: PUSH2 0x1475 0000156c: JUMP 0000156d: JUMPDEST 0000156e: PUSH1 0x08 00001570: SSTORE 00001571: PUSH1 0x09 00001573: SLOAD 00001574: PUSH2 0x157d 00001577: SWAP1 00001578: DUP3 00001579: PUSH2 0x14b7 0000157c: JUMP 0000157d: JUMPDEST 0000157e: PUSH1 0x09 00001580: SSTORE 00001581: POP 00001582: POP 00001583: JUMP 00001584: JUMPDEST 00001585: PUSH1 0x00 00001587: DUP1 00001588: DUP1 00001589: DUP1 0000158a: PUSH2 0x159e 0000158d: PUSH1 0x64 0000158f: PUSH2 0x1598 00001592: DUP10 00001593: DUP10 00001594: PUSH2 0x0a85 00001597: JUMP 00001598: JUMPDEST 00001599: SWAP1 0000159a: PUSH2 0x0b0e 0000159d: JUMP 0000159e: JUMPDEST 0000159f: SWAP1 000015a0: POP 000015a1: PUSH1 0x00 000015a3: PUSH2 0x15b1 000015a6: PUSH1 0x64 000015a8: PUSH2 0x1598 000015ab: DUP11 000015ac: DUP10 000015ad: PUSH2 0x0a85 000015b0: JUMP 000015b1: JUMPDEST 000015b2: SWAP1 000015b3: POP 000015b4: PUSH1 0x00 000015b6: PUSH2 0x15c9 000015b9: DUP3 000015ba: PUSH2 0x15c3 000015bd: DUP12 000015be: DUP7 000015bf: PUSH2 0x1475 000015c2: JUMP 000015c3: JUMPDEST 000015c4: SWAP1 000015c5: PUSH2 0x1475 000015c8: JUMP 000015c9: JUMPDEST 000015ca: SWAP10 000015cb: SWAP3 000015cc: SWAP9 000015cd: POP 000015ce: SWAP1 000015cf: SWAP7 000015d0: POP 000015d1: SWAP1 000015d2: SWAP5 000015d3: POP 000015d4: POP 000015d5: POP 000015d6: POP 000015d7: POP 000015d8: JUMP 000015d9: JUMPDEST 000015da: PUSH1 0x00 000015dc: DUP1 000015dd: DUP1 000015de: DUP1 000015df: PUSH2 0x15e8 000015e2: DUP9 000015e3: DUP7 000015e4: PUSH2 0x0a85 000015e7: JUMP 000015e8: JUMPDEST 000015e9: SWAP1 000015ea: POP 000015eb: PUSH1 0x00 000015ed: PUSH2 0x15f6 000015f0: DUP9 000015f1: DUP8 000015f2: PUSH2 0x0a85 000015f5: JUMP 000015f6: JUMPDEST 000015f7: SWAP1 000015f8: POP 000015f9: PUSH1 0x00 000015fb: PUSH2 0x1604 000015fe: DUP9 000015ff: DUP9 00001600: PUSH2 0x0a85 00001603: JUMP 00001604: JUMPDEST 00001605: SWAP1 00001606: POP 00001607: PUSH1 0x00 00001609: PUSH2 0x1616 0000160c: DUP3 0000160d: PUSH2 0x15c3 00001610: DUP7 00001611: DUP7 00001612: PUSH2 0x1475 00001615: JUMP 00001616: JUMPDEST 00001617: SWAP4 00001618: SWAP12 00001619: SWAP4 0000161a: SWAP11 0000161b: POP 0000161c: SWAP2 0000161d: SWAP9 0000161e: POP 0000161f: SWAP2 00001620: SWAP7 00001621: POP 00001622: POP 00001623: POP 00001624: POP 00001625: POP 00001626: POP 00001627: POP 00001628: JUMP 00001629: JUMPDEST 0000162a: PUSH1 0x00 0000162c: PUSH1 0x20 0000162e: DUP1 0000162f: DUP4 00001630: MSTORE 00001631: DUP4 00001632: MLOAD 00001633: DUP1 00001634: DUP3 00001635: DUP6 00001636: ADD 00001637: MSTORE 00001638: PUSH1 0x00 0000163a: JUMPDEST 0000163b: DUP2 0000163c: DUP2 0000163d: LT 0000163e: ISZERO 0000163f: PUSH2 0x1656 00001642: JUMPI 00001643: DUP6 00001644: DUP2 00001645: ADD 00001646: DUP4 00001647: ADD 00001648: MLOAD 00001649: DUP6 0000164a: DUP3 0000164b: ADD 0000164c: PUSH1 0x40 0000164e: ADD 0000164f: MSTORE 00001650: DUP3 00001651: ADD 00001652: PUSH2 0x163a 00001655: JUMP 00001656: JUMPDEST 00001657: POP 00001658: PUSH1 0x00 0000165a: PUSH1 0x40 0000165c: DUP3 0000165d: DUP7 0000165e: ADD 0000165f: ADD 00001660: MSTORE 00001661: PUSH1 0x40 00001663: PUSH1 0x1f 00001665: NOT 00001666: PUSH1 0x1f 00001668: DUP4 00001669: ADD 0000166a: AND 0000166b: DUP6 0000166c: ADD 0000166d: ADD 0000166e: SWAP3 0000166f: POP 00001670: POP 00001671: POP 00001672: SWAP3 00001673: SWAP2 00001674: POP 00001675: POP 00001676: JUMP 00001677: JUMPDEST 00001678: PUSH1 0x01 0000167a: PUSH1 0x01 0000167c: PUSH1 0xa0 0000167e: SHL 0000167f: SUB 00001680: DUP2 00001681: AND 00001682: DUP2 00001683: EQ 00001684: PUSH2 0x056f 00001687: JUMPI 00001688: PUSH1 0x00 0000168a: DUP1 0000168b: REVERT 0000168c: JUMPDEST 0000168d: DUP1 0000168e: CALLDATALOAD 0000168f: PUSH2 0x1697 00001692: DUP2 00001693: PUSH2 0x1677 00001696: JUMP 00001697: JUMPDEST 00001698: SWAP2 00001699: SWAP1 0000169a: POP 0000169b: JUMP 0000169c: JUMPDEST 0000169d: PUSH1 0x00 0000169f: DUP1 000016a0: PUSH1 0x40 000016a2: DUP4 000016a3: DUP6 000016a4: SUB 000016a5: SLT 000016a6: ISZERO 000016a7: PUSH2 0x16af 000016aa: JUMPI 000016ab: PUSH1 0x00 000016ad: DUP1 000016ae: REVERT 000016af: JUMPDEST 000016b0: DUP3 000016b1: CALLDATALOAD 000016b2: PUSH2 0x16ba 000016b5: DUP2 000016b6: PUSH2 0x1677 000016b9: JUMP 000016ba: JUMPDEST 000016bb: SWAP5 000016bc: PUSH1 0x20 000016be: SWAP4 000016bf: SWAP1 000016c0: SWAP4 000016c1: ADD 000016c2: CALLDATALOAD 000016c3: SWAP4 000016c4: POP 000016c5: POP 000016c6: POP 000016c7: JUMP 000016c8: JUMPDEST 000016c9: PUSH1 0x00 000016cb: DUP1 000016cc: PUSH1 0x00 000016ce: PUSH1 0x60 000016d0: DUP5 000016d1: DUP7 000016d2: SUB 000016d3: SLT 000016d4: ISZERO 000016d5: PUSH2 0x16dd 000016d8: JUMPI 000016d9: PUSH1 0x00 000016db: DUP1 000016dc: REVERT 000016dd: JUMPDEST 000016de: DUP4 000016df: CALLDATALOAD 000016e0: PUSH2 0x16e8 000016e3: DUP2 000016e4: PUSH2 0x1677 000016e7: JUMP 000016e8: JUMPDEST 000016e9: SWAP3 000016ea: POP 000016eb: PUSH1 0x20 000016ed: DUP5 000016ee: ADD 000016ef: CALLDATALOAD 000016f0: PUSH2 0x16f8 000016f3: DUP2 000016f4: PUSH2 0x1677 000016f7: JUMP 000016f8: JUMPDEST 000016f9: SWAP3 000016fa: SWAP6 000016fb: SWAP3 000016fc: SWAP5 000016fd: POP 000016fe: POP 000016ff: POP 00001700: PUSH1 0x40 00001702: SWAP2 00001703: SWAP1 00001704: SWAP2 00001705: ADD 00001706: CALLDATALOAD 00001707: SWAP1 00001708: JUMP 00001709: JUMPDEST 0000170a: PUSH4 0x4e487b71 0000170f: PUSH1 0xe0 00001711: SHL 00001712: PUSH1 0x00 00001714: MSTORE 00001715: PUSH1 0x41 00001717: PUSH1 0x04 00001719: MSTORE 0000171a: PUSH1 0x24 0000171c: PUSH1 0x00 0000171e: REVERT 0000171f: JUMPDEST 00001720: PUSH1 0x00 00001722: PUSH1 0x20 00001724: DUP1 00001725: DUP4 00001726: DUP6 00001727: SUB 00001728: SLT 00001729: ISZERO 0000172a: PUSH2 0x1732 0000172d: JUMPI 0000172e: PUSH1 0x00 00001730: DUP1 00001731: REVERT 00001732: JUMPDEST 00001733: DUP3 00001734: CALLDATALOAD 00001735: PUSH8 0xffffffffffffffff 0000173e: DUP1 0000173f: DUP3 00001740: GT 00001741: ISZERO 00001742: PUSH2 0x174a 00001745: JUMPI 00001746: PUSH1 0x00 00001748: DUP1 00001749: REVERT 0000174a: JUMPDEST 0000174b: DUP2 0000174c: DUP6 0000174d: ADD 0000174e: SWAP2 0000174f: POP 00001750: DUP6 00001751: PUSH1 0x1f 00001753: DUP4 00001754: ADD 00001755: SLT 00001756: PUSH2 0x175e 00001759: JUMPI 0000175a: PUSH1 0x00 0000175c: DUP1 0000175d: REVERT 0000175e: JUMPDEST 0000175f: DUP2 00001760: CALLDATALOAD 00001761: DUP2 00001762: DUP2 00001763: GT 00001764: ISZERO 00001765: PUSH2 0x1770 00001768: JUMPI 00001769: PUSH2 0x1770 0000176c: PUSH2 0x1709 0000176f: JUMP 00001770: JUMPDEST 00001771: DUP1 00001772: PUSH1 0x05 00001774: SHL 00001775: PUSH1 0x40 00001777: MLOAD 00001778: PUSH1 0x1f 0000177a: NOT 0000177b: PUSH1 0x3f 0000177d: DUP4 0000177e: ADD 0000177f: AND 00001780: DUP2 00001781: ADD 00001782: DUP2 00001783: DUP2 00001784: LT 00001785: DUP6 00001786: DUP3 00001787: GT 00001788: OR 00001789: ISZERO 0000178a: PUSH2 0x1795 0000178d: JUMPI 0000178e: PUSH2 0x1795 00001791: PUSH2 0x1709 00001794: JUMP 00001795: JUMPDEST 00001796: PUSH1 0x40 00001798: MSTORE 00001799: SWAP2 0000179a: DUP3 0000179b: MSTORE 0000179c: DUP5 0000179d: DUP3 0000179e: ADD 0000179f: SWAP3 000017a0: POP 000017a1: DUP4 000017a2: DUP2 000017a3: ADD 000017a4: DUP6 000017a5: ADD 000017a6: SWAP2 000017a7: DUP9 000017a8: DUP4 000017a9: GT 000017aa: ISZERO 000017ab: PUSH2 0x17b3 000017ae: JUMPI 000017af: PUSH1 0x00 000017b1: DUP1 000017b2: REVERT 000017b3: JUMPDEST 000017b4: SWAP4 000017b5: DUP6 000017b6: ADD 000017b7: SWAP4 000017b8: JUMPDEST 000017b9: DUP3 000017ba: DUP6 000017bb: LT 000017bc: ISZERO 000017bd: PUSH2 0x17d8 000017c0: JUMPI 000017c1: PUSH2 0x17c9 000017c4: DUP6 000017c5: PUSH2 0x168c 000017c8: JUMP 000017c9: JUMPDEST 000017ca: DUP5 000017cb: MSTORE 000017cc: SWAP4 000017cd: DUP6 000017ce: ADD 000017cf: SWAP4 000017d0: SWAP3 000017d1: DUP6 000017d2: ADD 000017d3: SWAP3 000017d4: PUSH2 0x17b8 000017d7: JUMP 000017d8: JUMPDEST 000017d9: SWAP9 000017da: SWAP8 000017db: POP 000017dc: POP 000017dd: POP 000017de: POP 000017df: POP 000017e0: POP 000017e1: POP 000017e2: POP 000017e3: JUMP 000017e4: JUMPDEST 000017e5: DUP1 000017e6: ISZERO 000017e7: ISZERO 000017e8: DUP2 000017e9: EQ 000017ea: PUSH2 0x056f 000017ed: JUMPI 000017ee: PUSH1 0x00 000017f0: DUP1 000017f1: REVERT 000017f2: JUMPDEST 000017f3: PUSH1 0x00 000017f5: PUSH1 0x20 000017f7: DUP3 000017f8: DUP5 000017f9: SUB 000017fa: SLT 000017fb: ISZERO 000017fc: PUSH2 0x1804 000017ff: JUMPI 00001800: PUSH1 0x00 00001802: DUP1 00001803: REVERT 00001804: JUMPDEST 00001805: DUP2 00001806: CALLDATALOAD 00001807: PUSH2 0x0b07 0000180a: DUP2 0000180b: PUSH2 0x17e4 0000180e: JUMP 0000180f: JUMPDEST 00001810: PUSH1 0x00 00001812: PUSH1 0x20 00001814: DUP3 00001815: DUP5 00001816: SUB 00001817: SLT 00001818: ISZERO 00001819: PUSH2 0x1821 0000181c: JUMPI 0000181d: PUSH1 0x00 0000181f: DUP1 00001820: REVERT 00001821: JUMPDEST 00001822: DUP2 00001823: CALLDATALOAD 00001824: PUSH2 0x0b07 00001827: DUP2 00001828: PUSH2 0x1677 0000182b: JUMP 0000182c: JUMPDEST 0000182d: PUSH1 0x00 0000182f: DUP1 00001830: PUSH1 0x40 00001832: DUP4 00001833: DUP6 00001834: SUB 00001835: SLT 00001836: ISZERO 00001837: PUSH2 0x183f 0000183a: JUMPI 0000183b: PUSH1 0x00 0000183d: DUP1 0000183e: REVERT 0000183f: JUMPDEST 00001840: DUP3 00001841: CALLDATALOAD 00001842: PUSH2 0x184a 00001845: DUP2 00001846: PUSH2 0x1677 00001849: JUMP 0000184a: JUMPDEST 0000184b: SWAP2 0000184c: POP 0000184d: PUSH1 0x20 0000184f: DUP4 00001850: ADD 00001851: CALLDATALOAD 00001852: PUSH2 0x185a 00001855: DUP2 00001856: PUSH2 0x1677 00001859: JUMP 0000185a: JUMPDEST 0000185b: DUP1 0000185c: SWAP2 0000185d: POP 0000185e: POP 0000185f: SWAP3 00001860: POP 00001861: SWAP3 00001862: SWAP1 00001863: POP 00001864: JUMP 00001865: JUMPDEST 00001866: PUSH1 0x20 00001868: DUP1 00001869: DUP3 0000186a: MSTORE 0000186b: DUP2 0000186c: DUP2 0000186d: ADD 0000186e: MSTORE 0000186f: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001890: PUSH1 0x40 00001892: DUP3 00001893: ADD 00001894: MSTORE 00001895: PUSH1 0x60 00001897: ADD 00001898: SWAP1 00001899: JUMP 0000189a: JUMPDEST 0000189b: PUSH4 0x4e487b71 000018a0: PUSH1 0xe0 000018a2: SHL 000018a3: PUSH1 0x00 000018a5: MSTORE 000018a6: PUSH1 0x32 000018a8: PUSH1 0x04 000018aa: MSTORE 000018ab: PUSH1 0x24 000018ad: PUSH1 0x00 000018af: REVERT 000018b0: JUMPDEST 000018b1: PUSH4 0x4e487b71 000018b6: PUSH1 0xe0 000018b8: SHL 000018b9: PUSH1 0x00 000018bb: MSTORE 000018bc: PUSH1 0x11 000018be: PUSH1 0x04 000018c0: MSTORE 000018c1: PUSH1 0x24 000018c3: PUSH1 0x00 000018c5: REVERT 000018c6: JUMPDEST 000018c7: PUSH1 0x00 000018c9: PUSH1 0x01 000018cb: DUP3 000018cc: ADD 000018cd: PUSH2 0x18d8 000018d0: JUMPI 000018d1: PUSH2 0x18d8 000018d4: PUSH2 0x18b0 000018d7: JUMP 000018d8: JUMPDEST 000018d9: POP 000018da: PUSH1 0x01 000018dc: ADD 000018dd: SWAP1 000018de: JUMP 000018df: JUMPDEST 000018e0: PUSH1 0x00 000018e2: PUSH1 0x20 000018e4: DUP3 000018e5: DUP5 000018e6: SUB 000018e7: SLT 000018e8: ISZERO 000018e9: PUSH2 0x18f1 000018ec: JUMPI 000018ed: PUSH1 0x00 000018ef: DUP1 000018f0: REVERT 000018f1: JUMPDEST 000018f2: DUP2 000018f3: MLOAD 000018f4: PUSH2 0x0b07 000018f7: DUP2 000018f8: PUSH2 0x1677 000018fb: JUMP 000018fc: JUMPDEST 000018fd: PUSH1 0x00 000018ff: DUP1 00001900: PUSH1 0x00 00001902: PUSH1 0x60 00001904: DUP5 00001905: DUP7 00001906: SUB 00001907: SLT 00001908: ISZERO 00001909: PUSH2 0x1911 0000190c: JUMPI 0000190d: PUSH1 0x00 0000190f: DUP1 00001910: REVERT 00001911: JUMPDEST 00001912: DUP4 00001913: MLOAD 00001914: SWAP3 00001915: POP 00001916: PUSH1 0x20 00001918: DUP5 00001919: ADD 0000191a: MLOAD 0000191b: SWAP2 0000191c: POP 0000191d: PUSH1 0x40 0000191f: DUP5 00001920: ADD 00001921: MLOAD 00001922: SWAP1 00001923: POP 00001924: SWAP3 00001925: POP 00001926: SWAP3 00001927: POP 00001928: SWAP3 00001929: JUMP 0000192a: JUMPDEST 0000192b: PUSH1 0x00 0000192d: PUSH1 0x20 0000192f: DUP3 00001930: DUP5 00001931: SUB 00001932: SLT 00001933: ISZERO 00001934: PUSH2 0x193c 00001937: JUMPI 00001938: PUSH1 0x00 0000193a: DUP1 0000193b: REVERT 0000193c: JUMPDEST 0000193d: DUP2 0000193e: MLOAD 0000193f: PUSH2 0x0b07 00001942: DUP2 00001943: PUSH2 0x17e4 00001946: JUMP 00001947: JUMPDEST 00001948: PUSH1 0x00 0000194a: DUP2 0000194b: PUSH1 0x00 0000194d: NOT 0000194e: DIV 0000194f: DUP4 00001950: GT 00001951: DUP3 00001952: ISZERO 00001953: ISZERO 00001954: AND 00001955: ISZERO 00001956: PUSH2 0x1961 00001959: JUMPI 0000195a: PUSH2 0x1961 0000195d: PUSH2 0x18b0 00001960: JUMP 00001961: JUMPDEST 00001962: POP 00001963: MUL 00001964: SWAP1 00001965: JUMP 00001966: JUMPDEST 00001967: PUSH1 0x00 00001969: DUP3 0000196a: PUSH2 0x1983 0000196d: JUMPI 0000196e: PUSH4 0x4e487b71 00001973: PUSH1 0xe0 00001975: SHL 00001976: PUSH1 0x00 00001978: MSTORE 00001979: PUSH1 0x12 0000197b: PUSH1 0x04 0000197d: MSTORE 0000197e: PUSH1 0x24 00001980: PUSH1 0x00 00001982: REVERT 00001983: JUMPDEST 00001984: POP 00001985: DIV 00001986: SWAP1 00001987: JUMP 00001988: JUMPDEST 00001989: DUP1 0000198a: DUP3 0000198b: ADD 0000198c: DUP1 0000198d: DUP3 0000198e: GT 0000198f: ISZERO 00001990: PUSH2 0x03ef 00001993: JUMPI 00001994: PUSH2 0x03ef 00001997: PUSH2 0x18b0 0000199a: JUMP 0000199b: JUMPDEST 0000199c: PUSH1 0x00 0000199e: DUP2 0000199f: PUSH2 0x19aa 000019a2: JUMPI 000019a3: PUSH2 0x19aa 000019a6: PUSH2 0x18b0 000019a9: JUMP 000019aa: JUMPDEST 000019ab: POP 000019ac: PUSH1 0x00 000019ae: NOT 000019af: ADD 000019b0: SWAP1 000019b1: JUMP 000019b2: JUMPDEST 000019b3: DUP2 000019b4: DUP2 000019b5: SUB 000019b6: DUP2 000019b7: DUP2 000019b8: GT 000019b9: ISZERO 000019ba: PUSH2 0x03ef 000019bd: JUMPI 000019be: PUSH2 0x03ef 000019c1: PUSH2 0x18b0 000019c4: JUMP 000019c5: JUMPDEST 000019c6: PUSH1 0x00 000019c8: PUSH1 0xa0 000019ca: DUP3 000019cb: ADD 000019cc: DUP8 000019cd: DUP4 000019ce: MSTORE 000019cf: PUSH1 0x20 000019d1: DUP8 000019d2: DUP2 000019d3: DUP6 000019d4: ADD 000019d5: MSTORE 000019d6: PUSH1 0xa0 000019d8: PUSH1 0x40 000019da: DUP6 000019db: ADD 000019dc: MSTORE 000019dd: DUP2 000019de: DUP8 000019df: MLOAD 000019e0: DUP1 000019e1: DUP5 000019e2: MSTORE 000019e3: PUSH1 0xc0 000019e5: DUP7 000019e6: ADD 000019e7: SWAP2 000019e8: POP 000019e9: DUP3 000019ea: DUP10 000019eb: ADD 000019ec: SWAP4 000019ed: POP 000019ee: PUSH1 0x00 000019f0: JUMPDEST 000019f1: DUP2 000019f2: DUP2 000019f3: LT 000019f4: ISZERO 000019f5: PUSH2 0x1a15 000019f8: JUMPI 000019f9: DUP5 000019fa: MLOAD 000019fb: PUSH1 0x01 000019fd: PUSH1 0x01 000019ff: PUSH1 0xa0 00001a01: SHL 00001a02: SUB 00001a03: AND 00001a04: DUP4 00001a05: MSTORE 00001a06: SWAP4 00001a07: DUP4 00001a08: ADD 00001a09: SWAP4 00001a0a: SWAP2 00001a0b: DUP4 00001a0c: ADD 00001a0d: SWAP2 00001a0e: PUSH1 0x01 00001a10: ADD 00001a11: PUSH2 0x19f0 00001a14: JUMP 00001a15: JUMPDEST 00001a16: POP 00001a17: POP 00001a18: PUSH1 0x01 00001a1a: PUSH1 0x01 00001a1c: PUSH1 0xa0 00001a1e: SHL 00001a1f: SUB 00001a20: SWAP7 00001a21: SWAP1 00001a22: SWAP7 00001a23: AND 00001a24: PUSH1 0x60 00001a26: DUP6 00001a27: ADD 00001a28: MSTORE 00001a29: POP 00001a2a: POP 00001a2b: POP 00001a2c: PUSH1 0x80 00001a2e: ADD 00001a2f: MSTORE 00001a30: SWAP4 00001a31: SWAP3 00001a32: POP 00001a33: POP 00001a34: POP 00001a35: JUMP 00001a36: INVALID 00001a37: GASLIMIT 00001a38: MSTORE 00001a39: NUMBER 00001a3a: ORIGIN 00001a3b: ADDRESS 00001a3c: GASPRICE 00001a3d: KECCAK256 00001a3e: PUSH21 0x72616e7366657220616d6f756e7420657863656564 00001a54: PUSH20 0x20616c6c6f77616e6365a2646970667358221220 00001a69: UNKNOWN(0xE6) 00001a6a: GASPRICE 00001a6b: UNKNOWN(0xA7) 00001a6c: JUMP 00001a6d: UNKNOWN(0xC6) 00001a6e: SHL 00001a6f: PUSH8 0x1b86971e52cd7a82 00001a78: DUP6 00001a79: PUSH13 0x92170210d0e474f85414284a03 00001a87: DELEGATECALL 00001a88: PUSH18
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | upgradeability | detector | Untrusted DELEGATECALL target reachable | 55 | no | no |
viewtrace_id: 0xcd73f40a21b95edd1f907cedd6bd9ac60d78d1d9c8c329bf9fc36f4971fa2f23
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 192,
"trace_id": "0xcd73f40a21b95edd1f907cedd6bd9ac60d78d1d9c8c329bf9fc36f4971fa2f23",
"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": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc3c8cd80",
"selector": "0xc3c8cd80",
"calldata_variants": [
"0xc3c8cd80",
"0xc3c8cd800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9567bf9",
"selector": "0xc9567bf9",
"calldata_variants": [
"0xc9567bf9",
"0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd34628cc",
"selector": "0xd34628cc",
"calldata_variants": [
"0xd34628cc",
"0xd34628cc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x751039fc",
"selector": "0x751039fc",
"calldata_variants": [
"0x751039fc",
"0x751039fc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d1db4a5",
"selector": "0x7d1db4a5",
"calldata_variants": [
"0x7d1db4a5",
"0x7d1db4a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 6791,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [
{
"pc": 6714,
"type": "tx_origin_used"
}
],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| 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": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc3c8cd80",
"selector": "0xc3c8cd80",
"calldata_variants": [
"0xc3c8cd80",
"0xc3c8cd800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9567bf9",
"selector": "0xc9567bf9",
"calldata_variants": [
"0xc9567bf9",
"0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd34628cc",
"selector": "0xd34628cc",
"calldata_variants": [
"0xd34628cc",
"0xd34628cc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x751039fc",
"selector": "0x751039fc",
"calldata_variants": [
"0x751039fc",
"0x751039fc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d1db4a5",
"selector": "0x7d1db4a5",
"calldata_variants": [
"0x7d1db4a5",
"0x7d1db4a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 6714,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x1337ba48122f0ab0a5ab032f112860bf66aabc9c9c0f5c8ddc7ad4dcfe901cc4
call_targets:
0x11a0bb908d7aca347d4414e872ae4a9586fa9c2b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1337ba48122f0ab0a5ab032f112860bf66aabc9c9c0f5c8ddc7ad4dcfe901cc4",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x11a0bb908d7aca347d4414e872ae4a9586fa9c2b"
],
"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": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc3c8cd80",
"selector": "0xc3c8cd80",
"calldata_variants": [
"0xc3c8cd80",
"0xc3c8cd800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9567bf9",
"selector": "0xc9567bf9",
"calldata_variants": [
"0xc9567bf9",
"0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd34628cc",
"selector": "0xd34628cc",
"calldata_variants": [
"0xd34628cc",
"0xd34628cc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x751039fc",
"selector": "0x751039fc",
"calldata_variants": [
"0x751039fc",
"0x751039fc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d1db4a5",
"selector": "0x7d1db4a5",
"calldata_variants": [
"0x7d1db4a5",
"0x7d1db4a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2135,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2344,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2494,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [
{
"pc": 6714,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 5
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x1337ba48122f0ab0a5ab032f112860bf66aabc9c9c0f5c8ddc7ad4dcfe901cc4
call_targets:
0x11a0bb908d7aca347d4414e872ae4a9586fa9c2b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1337ba48122f0ab0a5ab032f112860bf66aabc9c9c0f5c8ddc7ad4dcfe901cc4",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x11a0bb908d7aca347d4414e872ae4a9586fa9c2b"
],
"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": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc3c8cd80",
"selector": "0xc3c8cd80",
"calldata_variants": [
"0xc3c8cd80",
"0xc3c8cd800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9567bf9",
"selector": "0xc9567bf9",
"calldata_variants": [
"0xc9567bf9",
"0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd34628cc",
"selector": "0xd34628cc",
"calldata_variants": [
"0xd34628cc",
"0xd34628cc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x751039fc",
"selector": "0x751039fc",
"calldata_variants": [
"0x751039fc",
"0x751039fc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d1db4a5",
"selector": "0x7d1db4a5",
"calldata_variants": [
"0x7d1db4a5",
"0x7d1db4a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2135,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2344,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2494,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": [
{
"pc": 6714,
"type": "tx_origin_used"
}
]
}
|