019b477e-d236-70b3-9180-2f81eabb1d14
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 |
|---|---|---|---|---|
| 27905 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27906 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 103429 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 103430 | capability.graph | complete | 1 / 3 | 1 week ago |
| 103431 | detector.run | complete | 1 / 3 | 1 week ago |
| 103432 | validation.fork | complete | 1 / 3 | 1 week 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 0x7d1db4a5 00000018: GT 00000019: PUSH2 0x009d 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0xa9059cbb 00000023: GT 00000024: PUSH2 0x0062 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0xa9059cbb 0000002e: EQ 0000002f: PUSH2 0x02ea 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0xbf474bed 00000039: EQ 0000003a: PUSH2 0x0309 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0xc876d0b9 00000044: EQ 00000045: PUSH2 0x031e 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0xc9567bf9 0000004f: EQ 00000050: PUSH2 0x0337 00000053: JUMPI 00000054: DUP1 00000055: PUSH4 0xdd62ed3e 0000005a: EQ 0000005b: PUSH2 0x034b 0000005e: JUMPI 0000005f: PUSH0 00000060: DUP1 00000061: REVERT 00000062: JUMPDEST 00000063: DUP1 00000064: PUSH4 0x7d1db4a5 00000069: EQ 0000006a: PUSH2 0x025a 0000006d: JUMPI 0000006e: DUP1 0000006f: PUSH4 0x8da5cb5b 00000074: EQ 00000075: PUSH2 0x026f 00000078: JUMPI 00000079: DUP1 0000007a: PUSH4 0x8f9a55c0 0000007f: EQ 00000080: PUSH2 0x0295 00000083: JUMPI 00000084: DUP1 00000085: PUSH4 0x95d89b41 0000008a: EQ 0000008b: PUSH2 0x02aa 0000008e: JUMPI 0000008f: DUP1 00000090: PUSH4 0xa1780c18 00000095: EQ 00000096: PUSH2 0x02d6 00000099: JUMPI 0000009a: PUSH0 0000009b: DUP1 0000009c: REVERT 0000009d: JUMPDEST 0000009e: DUP1 0000009f: PUSH4 0x23b872dd 000000a4: GT 000000a5: PUSH2 0x00e3 000000a8: JUMPI 000000a9: DUP1 000000aa: PUSH4 0x23b872dd 000000af: EQ 000000b0: PUSH2 0x01c2 000000b3: JUMPI 000000b4: DUP1 000000b5: PUSH4 0x313ce567 000000ba: EQ 000000bb: PUSH2 0x01e1 000000be: JUMPI 000000bf: DUP1 000000c0: PUSH4 0x70a08231 000000c5: EQ 000000c6: PUSH2 0x01fc 000000c9: JUMPI 000000ca: DUP1 000000cb: PUSH4 0x715018a6 000000d0: EQ 000000d1: PUSH2 0x0230 000000d4: JUMPI 000000d5: DUP1 000000d6: PUSH4 0x751039fc 000000db: EQ 000000dc: PUSH2 0x0246 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 0x015c 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0x0faee56f 00000100: EQ 00000101: PUSH2 0x018b 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0x18160ddd 0000010b: EQ 0000010c: PUSH2 0x01ae 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 0x04 00000137: DUP2 00000138: MSTORE 00000139: PUSH4 0x44656465 0000013e: PUSH1 0xe0 00000140: SHL 00000141: PUSH1 0x20 00000143: DUP3 00000144: ADD 00000145: MSTORE 00000146: JUMPDEST 00000147: PUSH1 0x40 00000149: MLOAD 0000014a: PUSH2 0x0153 0000014d: SWAP2 0000014e: SWAP1 0000014f: PUSH2 0x1459 00000152: JUMP 00000153: JUMPDEST 00000154: PUSH1 0x40 00000156: MLOAD 00000157: DUP1 00000158: SWAP2 00000159: SUB 0000015a: SWAP1 0000015b: RETURN 0000015c: JUMPDEST 0000015d: CALLVALUE 0000015e: DUP1 0000015f: ISZERO 00000160: PUSH2 0x0167 00000163: JUMPI 00000164: PUSH0 00000165: DUP1 00000166: REVERT 00000167: JUMPDEST 00000168: POP 00000169: PUSH2 0x017b 0000016c: PUSH2 0x0176 0000016f: CALLDATASIZE 00000170: PUSH1 0x04 00000172: PUSH2 0x14bb 00000175: JUMP 00000176: JUMPDEST 00000177: PUSH2 0x038f 0000017a: JUMP 0000017b: JUMPDEST 0000017c: PUSH1 0x40 0000017e: MLOAD 0000017f: SWAP1 00000180: ISZERO 00000181: ISZERO 00000182: DUP2 00000183: MSTORE 00000184: PUSH1 0x20 00000186: ADD 00000187: PUSH2 0x0153 0000018a: JUMP 0000018b: JUMPDEST 0000018c: CALLVALUE 0000018d: DUP1 0000018e: ISZERO 0000018f: PUSH2 0x0196 00000192: JUMPI 00000193: PUSH0 00000194: DUP1 00000195: REVERT 00000196: JUMPDEST 00000197: POP 00000198: PUSH2 0x01a0 0000019b: PUSH1 0x14 0000019d: SLOAD 0000019e: DUP2 0000019f: JUMP 000001a0: JUMPDEST 000001a1: PUSH1 0x40 000001a3: MLOAD 000001a4: SWAP1 000001a5: DUP2 000001a6: MSTORE 000001a7: PUSH1 0x20 000001a9: ADD 000001aa: PUSH2 0x0153 000001ad: JUMP 000001ae: JUMPDEST 000001af: CALLVALUE 000001b0: DUP1 000001b1: ISZERO 000001b2: PUSH2 0x01b9 000001b5: JUMPI 000001b6: PUSH0 000001b7: DUP1 000001b8: REVERT 000001b9: JUMPDEST 000001ba: POP 000001bb: PUSH2 0x01a0 000001be: PUSH2 0x03a5 000001c1: JUMP 000001c2: JUMPDEST 000001c3: CALLVALUE 000001c4: DUP1 000001c5: ISZERO 000001c6: PUSH2 0x01cd 000001c9: JUMPI 000001ca: PUSH0 000001cb: DUP1 000001cc: REVERT 000001cd: JUMPDEST 000001ce: POP 000001cf: PUSH2 0x017b 000001d2: PUSH2 0x01dc 000001d5: CALLDATASIZE 000001d6: PUSH1 0x04 000001d8: PUSH2 0x14e5 000001db: JUMP 000001dc: JUMPDEST 000001dd: PUSH2 0x03c5 000001e0: JUMP 000001e1: JUMPDEST 000001e2: CALLVALUE 000001e3: DUP1 000001e4: ISZERO 000001e5: PUSH2 0x01ec 000001e8: JUMPI 000001e9: PUSH0 000001ea: DUP1 000001eb: REVERT 000001ec: JUMPDEST 000001ed: POP 000001ee: PUSH1 0x40 000001f0: MLOAD 000001f1: PUSH1 0x09 000001f3: DUP2 000001f4: MSTORE 000001f5: PUSH1 0x20 000001f7: ADD 000001f8: PUSH2 0x0153 000001fb: JUMP 000001fc: JUMPDEST 000001fd: CALLVALUE 000001fe: DUP1 000001ff: ISZERO 00000200: PUSH2 0x0207 00000203: JUMPI 00000204: PUSH0 00000205: DUP1 00000206: REVERT 00000207: JUMPDEST 00000208: POP 00000209: PUSH2 0x01a0 0000020c: PUSH2 0x0216 0000020f: CALLDATASIZE 00000210: PUSH1 0x04 00000212: PUSH2 0x1523 00000215: JUMP 00000216: JUMPDEST 00000217: PUSH1 0x01 00000219: PUSH1 0x01 0000021b: PUSH1 0xa0 0000021d: SHL 0000021e: SUB 0000021f: AND 00000220: PUSH0 00000221: SWAP1 00000222: DUP2 00000223: MSTORE 00000224: PUSH1 0x01 00000226: PUSH1 0x20 00000228: MSTORE 00000229: PUSH1 0x40 0000022b: SWAP1 0000022c: KECCAK256 0000022d: SLOAD 0000022e: SWAP1 0000022f: JUMP 00000230: JUMPDEST 00000231: CALLVALUE 00000232: DUP1 00000233: ISZERO 00000234: PUSH2 0x023b 00000237: JUMPI 00000238: PUSH0 00000239: DUP1 0000023a: REVERT 0000023b: JUMPDEST 0000023c: POP 0000023d: PUSH2 0x0244 00000240: PUSH2 0x042c 00000243: JUMP 00000244: JUMPDEST 00000245: STOP 00000246: JUMPDEST 00000247: CALLVALUE 00000248: DUP1 00000249: ISZERO 0000024a: PUSH2 0x0251 0000024d: JUMPI 0000024e: PUSH0 0000024f: DUP1 00000250: REVERT 00000251: JUMPDEST 00000252: POP 00000253: PUSH2 0x0244 00000256: PUSH2 0x04a6 00000259: JUMP 0000025a: JUMPDEST 0000025b: CALLVALUE 0000025c: DUP1 0000025d: ISZERO 0000025e: PUSH2 0x0265 00000261: JUMPI 00000262: PUSH0 00000263: DUP1 00000264: REVERT 00000265: JUMPDEST 00000266: POP 00000267: PUSH2 0x01a0 0000026a: PUSH1 0x11 0000026c: SLOAD 0000026d: DUP2 0000026e: JUMP 0000026f: JUMPDEST 00000270: CALLVALUE 00000271: DUP1 00000272: ISZERO 00000273: PUSH2 0x027a 00000276: JUMPI 00000277: PUSH0 00000278: DUP1 00000279: REVERT 0000027a: JUMPDEST 0000027b: POP 0000027c: PUSH0 0000027d: SLOAD 0000027e: PUSH1 0x40 00000280: MLOAD 00000281: PUSH1 0x01 00000283: PUSH1 0x01 00000285: PUSH1 0xa0 00000287: SHL 00000288: SUB 00000289: SWAP1 0000028a: SWAP2 0000028b: AND 0000028c: DUP2 0000028d: MSTORE 0000028e: PUSH1 0x20 00000290: ADD 00000291: PUSH2 0x0153 00000294: JUMP 00000295: JUMPDEST 00000296: CALLVALUE 00000297: DUP1 00000298: ISZERO 00000299: PUSH2 0x02a0 0000029c: JUMPI 0000029d: PUSH0 0000029e: DUP1 0000029f: REVERT 000002a0: JUMPDEST 000002a1: POP 000002a2: PUSH2 0x01a0 000002a5: PUSH1 0x12 000002a7: SLOAD 000002a8: DUP2 000002a9: JUMP 000002aa: JUMPDEST 000002ab: CALLVALUE 000002ac: DUP1 000002ad: ISZERO 000002ae: PUSH2 0x02b5 000002b1: JUMPI 000002b2: PUSH0 000002b3: DUP1 000002b4: REVERT 000002b5: JUMPDEST 000002b6: POP 000002b7: PUSH1 0x40 000002b9: DUP1 000002ba: MLOAD 000002bb: DUP1 000002bc: DUP3 000002bd: ADD 000002be: SWAP1 000002bf: SWAP2 000002c0: MSTORE 000002c1: PUSH1 0x04 000002c3: DUP2 000002c4: MSTORE 000002c5: PUSH4 0x44454445 000002ca: PUSH1 0xe0 000002cc: SHL 000002cd: PUSH1 0x20 000002cf: DUP3 000002d0: ADD 000002d1: MSTORE 000002d2: PUSH2 0x0146 000002d5: JUMP 000002d6: JUMPDEST 000002d7: CALLVALUE 000002d8: DUP1 000002d9: ISZERO 000002da: PUSH2 0x02e1 000002dd: JUMPI 000002de: PUSH0 000002df: DUP1 000002e0: REVERT 000002e1: JUMPDEST 000002e2: POP 000002e3: PUSH2 0x0244 000002e6: PUSH2 0x0561 000002e9: JUMP 000002ea: JUMPDEST 000002eb: CALLVALUE 000002ec: DUP1 000002ed: ISZERO 000002ee: PUSH2 0x02f5 000002f1: JUMPI 000002f2: PUSH0 000002f3: DUP1 000002f4: REVERT 000002f5: JUMPDEST 000002f6: POP 000002f7: PUSH2 0x017b 000002fa: PUSH2 0x0304 000002fd: CALLDATASIZE 000002fe: PUSH1 0x04 00000300: PUSH2 0x14bb 00000303: JUMP 00000304: JUMPDEST 00000305: PUSH2 0x05b7 00000308: JUMP 00000309: JUMPDEST 0000030a: CALLVALUE 0000030b: DUP1 0000030c: ISZERO 0000030d: PUSH2 0x0314 00000310: JUMPI 00000311: PUSH0 00000312: DUP1 00000313: REVERT 00000314: JUMPDEST 00000315: POP 00000316: PUSH2 0x01a0 00000319: PUSH1 0x13 0000031b: SLOAD 0000031c: DUP2 0000031d: JUMP 0000031e: JUMPDEST 0000031f: CALLVALUE 00000320: DUP1 00000321: ISZERO 00000322: PUSH2 0x0329 00000325: JUMPI 00000326: PUSH0 00000327: DUP1 00000328: REVERT 00000329: JUMPDEST 0000032a: POP 0000032b: PUSH1 0x05 0000032d: SLOAD 0000032e: PUSH2 0x017b 00000331: SWAP1 00000332: PUSH1 0xff 00000334: AND 00000335: DUP2 00000336: JUMP 00000337: JUMPDEST 00000338: CALLVALUE 00000339: DUP1 0000033a: ISZERO 0000033b: PUSH2 0x0342 0000033e: JUMPI 0000033f: PUSH0 00000340: DUP1 00000341: REVERT 00000342: JUMPDEST 00000343: POP 00000344: PUSH2 0x0244 00000347: PUSH2 0x05c3 0000034a: JUMP 0000034b: JUMPDEST 0000034c: CALLVALUE 0000034d: DUP1 0000034e: ISZERO 0000034f: PUSH2 0x0356 00000352: JUMPI 00000353: PUSH0 00000354: DUP1 00000355: REVERT 00000356: JUMPDEST 00000357: POP 00000358: PUSH2 0x01a0 0000035b: PUSH2 0x0365 0000035e: CALLDATASIZE 0000035f: PUSH1 0x04 00000361: PUSH2 0x153e 00000364: JUMP 00000365: JUMPDEST 00000366: PUSH1 0x01 00000368: PUSH1 0x01 0000036a: PUSH1 0xa0 0000036c: SHL 0000036d: SUB 0000036e: SWAP2 0000036f: DUP3 00000370: AND 00000371: PUSH0 00000372: SWAP1 00000373: DUP2 00000374: MSTORE 00000375: PUSH1 0x02 00000377: PUSH1 0x20 00000379: SWAP1 0000037a: DUP2 0000037b: MSTORE 0000037c: PUSH1 0x40 0000037e: DUP1 0000037f: DUP4 00000380: KECCAK256 00000381: SWAP4 00000382: SWAP1 00000383: SWAP5 00000384: AND 00000385: DUP3 00000386: MSTORE 00000387: SWAP2 00000388: SWAP1 00000389: SWAP2 0000038a: MSTORE 0000038b: KECCAK256 0000038c: SLOAD 0000038d: SWAP1 0000038e: JUMP 0000038f: JUMPDEST 00000390: PUSH0 00000391: PUSH2 0x039b 00000394: CALLER 00000395: DUP5 00000396: DUP5 00000397: PUSH2 0x096c 0000039a: JUMP 0000039b: JUMPDEST 0000039c: POP 0000039d: PUSH1 0x01 0000039f: JUMPDEST 000003a0: SWAP3 000003a1: SWAP2 000003a2: POP 000003a3: POP 000003a4: JUMP 000003a5: JUMPDEST 000003a6: PUSH0 000003a7: PUSH2 0x03b2 000003aa: PUSH1 0x09 000003ac: PUSH1 0x0a 000003ae: PUSH2 0x1669 000003b1: JUMP 000003b2: JUMPDEST 000003b3: PUSH2 0x03c0 000003b6: SWAP1 000003b7: PUSH4 0x3b9aca00 000003bc: PUSH2 0x1677 000003bf: JUMP 000003c0: JUMPDEST 000003c1: SWAP1 000003c2: POP 000003c3: SWAP1 000003c4: JUMP 000003c5: JUMPDEST 000003c6: PUSH0 000003c7: PUSH2 0x03d1 000003ca: DUP5 000003cb: DUP5 000003cc: DUP5 000003cd: PUSH2 0x0a8f 000003d0: JUMP 000003d1: JUMPDEST 000003d2: PUSH2 0x0422 000003d5: DUP5 000003d6: CALLER 000003d7: PUSH2 0x041d 000003da: DUP6 000003db: PUSH1 0x40 000003dd: MLOAD 000003de: DUP1 000003df: PUSH1 0x60 000003e1: ADD 000003e2: PUSH1 0x40 000003e4: MSTORE 000003e5: DUP1 000003e6: PUSH1 0x28 000003e8: DUP2 000003e9: MSTORE 000003ea: PUSH1 0x20 000003ec: ADD 000003ed: PUSH2 0x1809 000003f0: PUSH1 0x28 000003f2: SWAP2 000003f3: CODECOPY 000003f4: PUSH1 0x01 000003f6: PUSH1 0x01 000003f8: PUSH1 0xa0 000003fa: SHL 000003fb: SUB 000003fc: DUP11 000003fd: AND 000003fe: PUSH0 000003ff: SWAP1 00000400: DUP2 00000401: MSTORE 00000402: PUSH1 0x02 00000404: PUSH1 0x20 00000406: SWAP1 00000407: DUP2 00000408: MSTORE 00000409: PUSH1 0x40 0000040b: DUP1 0000040c: DUP4 0000040d: KECCAK256 0000040e: CALLER 0000040f: DUP5 00000410: MSTORE 00000411: SWAP1 00000412: SWAP2 00000413: MSTORE 00000414: SWAP1 00000415: KECCAK256 00000416: SLOAD 00000417: SWAP2 00000418: SWAP1 00000419: PUSH2 0x105e 0000041c: JUMP 0000041d: JUMPDEST 0000041e: PUSH2 0x096c 00000421: JUMP 00000422: JUMPDEST 00000423: POP 00000424: PUSH1 0x01 00000426: SWAP4 00000427: SWAP3 00000428: POP 00000429: POP 0000042a: POP 0000042b: JUMP 0000042c: JUMPDEST 0000042d: PUSH0 0000042e: SLOAD 0000042f: PUSH1 0x01 00000431: PUSH1 0x01 00000433: PUSH1 0xa0 00000435: SHL 00000436: SUB 00000437: AND 00000438: CALLER 00000439: EQ 0000043a: PUSH2 0x045e 0000043d: JUMPI 0000043e: PUSH1 0x40 00000440: MLOAD 00000441: PUSH3 0x461bcd 00000445: PUSH1 0xe5 00000447: SHL 00000448: DUP2 00000449: MSTORE 0000044a: PUSH1 0x04 0000044c: ADD 0000044d: PUSH2 0x0455 00000450: SWAP1 00000451: PUSH2 0x168e 00000454: JUMP 00000455: JUMPDEST 00000456: PUSH1 0x40 00000458: MLOAD 00000459: DUP1 0000045a: SWAP2 0000045b: SUB 0000045c: SWAP1 0000045d: REVERT 0000045e: JUMPDEST 0000045f: PUSH0 00000460: DUP1 00000461: SLOAD 00000462: PUSH1 0x40 00000464: MLOAD 00000465: PUSH1 0x01 00000467: PUSH1 0x01 00000469: PUSH1 0xa0 0000046b: SHL 0000046c: SUB 0000046d: SWAP1 0000046e: SWAP2 0000046f: AND 00000470: SWAP1 00000471: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000492: SWAP1 00000493: DUP4 00000494: SWAP1 00000495: LOG3 00000496: PUSH0 00000497: DUP1 00000498: SLOAD 00000499: PUSH1 0x01 0000049b: PUSH1 0x01 0000049d: PUSH1 0xa0 0000049f: SHL 000004a0: SUB 000004a1: NOT 000004a2: AND 000004a3: SWAP1 000004a4: SSTORE 000004a5: JUMP 000004a6: JUMPDEST 000004a7: PUSH0 000004a8: SLOAD 000004a9: PUSH1 0x01 000004ab: PUSH1 0x01 000004ad: PUSH1 0xa0 000004af: SHL 000004b0: SUB 000004b1: AND 000004b2: CALLER 000004b3: EQ 000004b4: PUSH2 0x04cf 000004b7: JUMPI 000004b8: PUSH1 0x40 000004ba: MLOAD 000004bb: PUSH3 0x461bcd 000004bf: PUSH1 0xe5 000004c1: SHL 000004c2: DUP2 000004c3: MSTORE 000004c4: PUSH1 0x04 000004c6: ADD 000004c7: PUSH2 0x0455 000004ca: SWAP1 000004cb: PUSH2 0x168e 000004ce: JUMP 000004cf: JUMPDEST 000004d0: PUSH2 0x04db 000004d3: PUSH1 0x09 000004d5: PUSH1 0x0a 000004d7: PUSH2 0x1669 000004da: JUMP 000004db: JUMPDEST 000004dc: PUSH2 0x04e9 000004df: SWAP1 000004e0: PUSH4 0x3b9aca00 000004e5: PUSH2 0x1677 000004e8: JUMP 000004e9: JUMPDEST 000004ea: PUSH1 0x11 000004ec: SSTORE 000004ed: PUSH2 0x04f8 000004f0: PUSH1 0x09 000004f2: PUSH1 0x0a 000004f4: PUSH2 0x1669 000004f7: JUMP 000004f8: JUMPDEST 000004f9: PUSH2 0x0506 000004fc: SWAP1 000004fd: PUSH4 0x3b9aca00 00000502: PUSH2 0x1677 00000505: JUMP 00000506: JUMPDEST 00000507: PUSH1 0x12 00000509: SSTORE 0000050a: PUSH1 0x05 0000050c: DUP1 0000050d: SLOAD 0000050e: PUSH1 0xff 00000510: NOT 00000511: AND 00000512: SWAP1 00000513: SSTORE 00000514: PUSH32 0x947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf 00000535: PUSH2 0x0540 00000538: PUSH1 0x09 0000053a: PUSH1 0x0a 0000053c: PUSH2 0x1669 0000053f: JUMP 00000540: JUMPDEST 00000541: PUSH2 0x054e 00000544: SWAP1 00000545: PUSH4 0x3b9aca00 0000054a: PUSH2 0x1677 0000054d: JUMP 0000054e: JUMPDEST 0000054f: PUSH1 0x40 00000551: MLOAD 00000552: SWAP1 00000553: DUP2 00000554: MSTORE 00000555: PUSH1 0x20 00000557: ADD 00000558: PUSH1 0x40 0000055a: MLOAD 0000055b: DUP1 0000055c: SWAP2 0000055d: SUB 0000055e: SWAP1 0000055f: LOG1 00000560: JUMP 00000561: JUMPDEST 00000562: PUSH1 0x05 00000564: SLOAD 00000565: PUSH2 0x0100 00000568: SWAP1 00000569: DIV 0000056a: PUSH1 0x01 0000056c: PUSH1 0x01 0000056e: PUSH1 0xa0 00000570: SHL 00000571: SUB 00000572: AND 00000573: CALLER 00000574: PUSH1 0x01 00000576: PUSH1 0x01 00000578: PUSH1 0xa0 0000057a: SHL 0000057b: SUB 0000057c: AND 0000057d: EQ 0000057e: PUSH2 0x0585 00000581: JUMPI 00000582: PUSH0 00000583: DUP1 00000584: REVERT 00000585: JUMPDEST 00000586: ADDRESS 00000587: PUSH0 00000588: SWAP1 00000589: DUP2 0000058a: MSTORE 0000058b: PUSH1 0x01 0000058d: PUSH1 0x20 0000058f: MSTORE 00000590: PUSH1 0x40 00000592: SWAP1 00000593: KECCAK256 00000594: SLOAD 00000595: DUP1 00000596: ISZERO 00000597: PUSH2 0x05a3 0000059a: JUMPI 0000059b: PUSH2 0x05a3 0000059e: DUP2 0000059f: PUSH2 0x1096 000005a2: JUMP 000005a3: JUMPDEST 000005a4: SELFBALANCE 000005a5: DUP1 000005a6: ISZERO 000005a7: PUSH2 0x05b3 000005aa: JUMPI 000005ab: PUSH2 0x05b3 000005ae: DUP2 000005af: PUSH2 0x1206 000005b2: JUMP 000005b3: JUMPDEST 000005b4: POP 000005b5: POP 000005b6: JUMP 000005b7: JUMPDEST 000005b8: PUSH0 000005b9: PUSH2 0x039b 000005bc: CALLER 000005bd: DUP5 000005be: DUP5 000005bf: PUSH2 0x0a8f 000005c2: JUMP 000005c3: JUMPDEST 000005c4: PUSH0 000005c5: SLOAD 000005c6: PUSH1 0x01 000005c8: PUSH1 0x01 000005ca: PUSH1 0xa0 000005cc: SHL 000005cd: SUB 000005ce: AND 000005cf: CALLER 000005d0: EQ 000005d1: PUSH2 0x05ec 000005d4: JUMPI 000005d5: PUSH1 0x40 000005d7: MLOAD 000005d8: PUSH3 0x461bcd 000005dc: PUSH1 0xe5 000005de: SHL 000005df: DUP2 000005e0: MSTORE 000005e1: PUSH1 0x04 000005e3: ADD 000005e4: PUSH2 0x0455 000005e7: SWAP1 000005e8: PUSH2 0x168e 000005eb: JUMP 000005ec: JUMPDEST 000005ed: PUSH1 0x16 000005ef: SLOAD 000005f0: PUSH1 0x01 000005f2: PUSH1 0xa0 000005f4: SHL 000005f5: SWAP1 000005f6: DIV 000005f7: PUSH1 0xff 000005f9: AND 000005fa: ISZERO 000005fb: PUSH2 0x0646 000005fe: JUMPI 000005ff: PUSH1 0x40 00000601: MLOAD 00000602: PUSH3 0x461bcd 00000606: PUSH1 0xe5 00000608: SHL 00000609: DUP2 0000060a: MSTORE 0000060b: PUSH1 0x20 0000060d: PUSH1 0x04 0000060f: DUP3 00000610: ADD 00000611: MSTORE 00000612: PUSH1 0x17 00000614: PUSH1 0x24 00000616: DUP3 00000617: ADD 00000618: MSTORE 00000619: PUSH32 0x74726164696e6720697320616c7265616479206f70656e000000000000000000 0000063a: PUSH1 0x44 0000063c: DUP3 0000063d: ADD 0000063e: MSTORE 0000063f: PUSH1 0x64 00000641: ADD 00000642: PUSH2 0x0455 00000645: JUMP 00000646: JUMPDEST 00000647: PUSH1 0x15 00000649: DUP1 0000064a: SLOAD 0000064b: PUSH1 0x01 0000064d: PUSH1 0x01 0000064f: PUSH1 0xa0 00000651: SHL 00000652: SUB 00000653: NOT 00000654: AND 00000655: PUSH20 0x7a250d5630b4cf539739df2c5dacb4c659f2488d 0000066a: SWAP1 0000066b: DUP2 0000066c: OR 0000066d: SWAP1 0000066e: SWAP2 0000066f: SSTORE 00000670: PUSH2 0x068f 00000673: SWAP1 00000674: ADDRESS 00000675: SWAP1 00000676: PUSH2 0x0681 00000679: PUSH1 0x09 0000067b: PUSH1 0x0a 0000067d: PUSH2 0x1669 00000680: JUMP 00000681: JUMPDEST 00000682: PUSH2 0x041d 00000685: SWAP1 00000686: PUSH4 0x3b9aca00 0000068b: PUSH2 0x1677 0000068e: JUMP 0000068f: JUMPDEST 00000690: PUSH1 0x15 00000692: PUSH0 00000693: SWAP1 00000694: SLOAD 00000695: SWAP1 00000696: PUSH2 0x0100 00000699: EXP 0000069a: SWAP1 0000069b: DIV 0000069c: PUSH1 0x01 0000069e: PUSH1 0x01 000006a0: PUSH1 0xa0 000006a2: SHL 000006a3: SUB 000006a4: AND 000006a5: PUSH1 0x01 000006a7: PUSH1 0x01 000006a9: PUSH1 0xa0 000006ab: SHL 000006ac: SUB 000006ad: AND 000006ae: PUSH4 0xc45a0155 000006b3: PUSH1 0x40 000006b5: MLOAD 000006b6: DUP2 000006b7: PUSH4 0xffffffff 000006bc: AND 000006bd: PUSH1 0xe0 000006bf: SHL 000006c0: DUP2 000006c1: MSTORE 000006c2: PUSH1 0x04 000006c4: ADD 000006c5: PUSH1 0x20 000006c7: PUSH1 0x40 000006c9: MLOAD 000006ca: DUP1 000006cb: DUP4 000006cc: SUB 000006cd: DUP2 000006ce: DUP7 000006cf: GAS 000006d0: STATICCALL 000006d1: ISZERO 000006d2: DUP1 000006d3: ISZERO 000006d4: PUSH2 0x06df 000006d7: JUMPI 000006d8: RETURNDATASIZE 000006d9: PUSH0 000006da: DUP1 000006db: RETURNDATACOPY 000006dc: RETURNDATASIZE 000006dd: PUSH0 000006de: REVERT 000006df: JUMPDEST 000006e0: POP 000006e1: POP 000006e2: POP 000006e3: POP 000006e4: PUSH1 0x40 000006e6: MLOAD 000006e7: RETURNDATASIZE 000006e8: PUSH1 0x1f 000006ea: NOT 000006eb: PUSH1 0x1f 000006ed: DUP3 000006ee: ADD 000006ef: AND 000006f0: DUP3 000006f1: ADD 000006f2: DUP1 000006f3: PUSH1 0x40 000006f5: MSTORE 000006f6: POP 000006f7: DUP2 000006f8: ADD 000006f9: SWAP1 000006fa: PUSH2 0x0703 000006fd: SWAP2 000006fe: SWAP1 000006ff: PUSH2 0x16c3 00000702: JUMP 00000703: JUMPDEST 00000704: PUSH1 0x01 00000706: PUSH1 0x01 00000708: PUSH1 0xa0 0000070a: SHL 0000070b: SUB 0000070c: AND 0000070d: PUSH4 0xc9c65396 00000712: ADDRESS 00000713: PUSH1 0x15 00000715: PUSH0 00000716: SWAP1 00000717: SLOAD 00000718: SWAP1 00000719: PUSH2 0x0100 0000071c: EXP 0000071d: SWAP1 0000071e: DIV 0000071f: PUSH1 0x01 00000721: PUSH1 0x01 00000723: PUSH1 0xa0 00000725: SHL 00000726: SUB 00000727: AND 00000728: PUSH1 0x01 0000072a: PUSH1 0x01 0000072c: PUSH1 0xa0 0000072e: SHL 0000072f: SUB 00000730: AND 00000731: PUSH4 0xad5c4648 00000736: PUSH1 0x40 00000738: MLOAD 00000739: DUP2 0000073a: PUSH4 0xffffffff 0000073f: AND 00000740: PUSH1 0xe0 00000742: SHL 00000743: DUP2 00000744: MSTORE 00000745: PUSH1 0x04 00000747: ADD 00000748: PUSH1 0x20 0000074a: PUSH1 0x40 0000074c: MLOAD 0000074d: DUP1 0000074e: DUP4 0000074f: SUB 00000750: DUP2 00000751: DUP7 00000752: GAS 00000753: STATICCALL 00000754: ISZERO 00000755: DUP1 00000756: ISZERO 00000757: PUSH2 0x0762 0000075a: JUMPI 0000075b: RETURNDATASIZE 0000075c: PUSH0 0000075d: DUP1 0000075e: RETURNDATACOPY 0000075f: RETURNDATASIZE 00000760: PUSH0 00000761: REVERT 00000762: JUMPDEST 00000763: POP 00000764: POP 00000765: POP 00000766: POP 00000767: PUSH1 0x40 00000769: MLOAD 0000076a: RETURNDATASIZE 0000076b: PUSH1 0x1f 0000076d: NOT 0000076e: PUSH1 0x1f 00000770: DUP3 00000771: ADD 00000772: AND 00000773: DUP3 00000774: ADD 00000775: DUP1 00000776: PUSH1 0x40 00000778: MSTORE 00000779: POP 0000077a: DUP2 0000077b: ADD 0000077c: SWAP1 0000077d: PUSH2 0x0786 00000780: SWAP2 00000781: SWAP1 00000782: PUSH2 0x16c3 00000785: JUMP 00000786: JUMPDEST 00000787: PUSH1 0x40 00000789: MLOAD 0000078a: PUSH1 0x01 0000078c: PUSH1 0x01 0000078e: PUSH1 0xe0 00000790: SHL 00000791: SUB 00000792: NOT 00000793: PUSH1 0xe0 00000795: DUP6 00000796: SWAP1 00000797: SHL 00000798: AND 00000799: DUP2 0000079a: MSTORE 0000079b: PUSH1 0x01 0000079d: PUSH1 0x01 0000079f: PUSH1 0xa0 000007a1: SHL 000007a2: SUB 000007a3: SWAP3 000007a4: DUP4 000007a5: AND 000007a6: PUSH1 0x04 000007a8: DUP3 000007a9: ADD 000007aa: MSTORE 000007ab: SWAP2 000007ac: AND 000007ad: PUSH1 0x24 000007af: DUP3 000007b0: ADD 000007b1: MSTORE 000007b2: PUSH1 0x44 000007b4: ADD 000007b5: PUSH1 0x20 000007b7: PUSH1 0x40 000007b9: MLOAD 000007ba: DUP1 000007bb: DUP4 000007bc: SUB 000007bd: DUP2 000007be: PUSH0 000007bf: DUP8 000007c0: GAS 000007c1: CALL 000007c2: ISZERO 000007c3: DUP1 000007c4: ISZERO 000007c5: PUSH2 0x07d0 000007c8: JUMPI 000007c9: RETURNDATASIZE 000007ca: PUSH0 000007cb: DUP1 000007cc: RETURNDATACOPY 000007cd: RETURNDATASIZE 000007ce: PUSH0 000007cf: REVERT 000007d0: JUMPDEST 000007d1: POP 000007d2: POP 000007d3: POP 000007d4: POP 000007d5: PUSH1 0x40 000007d7: MLOAD 000007d8: RETURNDATASIZE 000007d9: PUSH1 0x1f 000007db: NOT 000007dc: PUSH1 0x1f 000007de: DUP3 000007df: ADD 000007e0: AND 000007e1: DUP3 000007e2: ADD 000007e3: DUP1 000007e4: PUSH1 0x40 000007e6: MSTORE 000007e7: POP 000007e8: DUP2 000007e9: ADD 000007ea: SWAP1 000007eb: PUSH2 0x07f4 000007ee: SWAP2 000007ef: SWAP1 000007f0: PUSH2 0x16c3 000007f3: JUMP 000007f4: JUMPDEST 000007f5: PUSH1 0x16 000007f7: DUP1 000007f8: SLOAD 000007f9: PUSH1 0x01 000007fb: PUSH1 0x01 000007fd: PUSH1 0xa0 000007ff: SHL 00000800: SUB 00000801: SWAP3 00000802: DUP4 00000803: AND 00000804: PUSH1 0x01 00000806: PUSH1 0x01 00000808: PUSH1 0xa0 0000080a: SHL 0000080b: SUB 0000080c: NOT 0000080d: SWAP1 0000080e: SWAP2 0000080f: AND 00000810: OR 00000811: SWAP1 00000812: SSTORE 00000813: PUSH1 0x15 00000815: SLOAD 00000816: AND 00000817: PUSH4 0xf305d719 0000081c: SELFBALANCE 0000081d: ADDRESS 0000081e: PUSH2 0x083b 00000821: DUP2 00000822: PUSH1 0x01 00000824: PUSH1 0x01 00000826: PUSH1 0xa0 00000828: SHL 00000829: SUB 0000082a: AND 0000082b: PUSH0 0000082c: SWAP1 0000082d: DUP2 0000082e: MSTORE 0000082f: PUSH1 0x01 00000831: PUSH1 0x20 00000833: MSTORE 00000834: PUSH1 0x40 00000836: SWAP1 00000837: KECCAK256 00000838: SLOAD 00000839: SWAP1 0000083a: JUMP 0000083b: JUMPDEST 0000083c: PUSH0 0000083d: DUP1 0000083e: PUSH2 0x084e 00000841: PUSH0 00000842: SLOAD 00000843: PUSH1 0x01 00000845: PUSH1 0x01 00000847: PUSH1 0xa0 00000849: SHL 0000084a: SUB 0000084b: AND 0000084c: SWAP1 0000084d: JUMP 0000084e: JUMPDEST 0000084f: PUSH1 0x40 00000851: MLOAD 00000852: PUSH1 0xe0 00000854: DUP9 00000855: SWAP1 00000856: SHL 00000857: PUSH1 0x01 00000859: PUSH1 0x01 0000085b: PUSH1 0xe0 0000085d: SHL 0000085e: SUB 0000085f: NOT 00000860: AND 00000861: DUP2 00000862: MSTORE 00000863: PUSH1 0x01 00000865: PUSH1 0x01 00000867: PUSH1 0xa0 00000869: SHL 0000086a: SUB 0000086b: SWAP6 0000086c: DUP7 0000086d: AND 0000086e: PUSH1 0x04 00000870: DUP3 00000871: ADD 00000872: MSTORE 00000873: PUSH1 0x24 00000875: DUP2 00000876: ADD 00000877: SWAP5 00000878: SWAP1 00000879: SWAP5 0000087a: MSTORE 0000087b: PUSH1 0x44 0000087d: DUP5 0000087e: ADD 0000087f: SWAP3 00000880: SWAP1 00000881: SWAP3 00000882: MSTORE 00000883: PUSH1 0x64 00000885: DUP4 00000886: ADD 00000887: MSTORE 00000888: SWAP1 00000889: SWAP2 0000088a: AND 0000088b: PUSH1 0x84 0000088d: DUP3 0000088e: ADD 0000088f: MSTORE 00000890: TIMESTAMP 00000891: PUSH1 0xa4 00000893: DUP3 00000894: ADD 00000895: MSTORE 00000896: PUSH1 0xc4 00000898: ADD 00000899: PUSH1 0x60 0000089b: PUSH1 0x40 0000089d: MLOAD 0000089e: DUP1 0000089f: DUP4 000008a0: SUB 000008a1: DUP2 000008a2: DUP6 000008a3: DUP9 000008a4: GAS 000008a5: CALL 000008a6: ISZERO 000008a7: DUP1 000008a8: ISZERO 000008a9: PUSH2 0x08b4 000008ac: JUMPI 000008ad: RETURNDATASIZE 000008ae: PUSH0 000008af: DUP1 000008b0: RETURNDATACOPY 000008b1: RETURNDATASIZE 000008b2: PUSH0 000008b3: REVERT 000008b4: JUMPDEST 000008b5: POP 000008b6: POP 000008b7: POP 000008b8: POP 000008b9: POP 000008ba: PUSH1 0x40 000008bc: MLOAD 000008bd: RETURNDATASIZE 000008be: PUSH1 0x1f 000008c0: NOT 000008c1: PUSH1 0x1f 000008c3: DUP3 000008c4: ADD 000008c5: AND 000008c6: DUP3 000008c7: ADD 000008c8: DUP1 000008c9: PUSH1 0x40 000008cb: MSTORE 000008cc: POP 000008cd: DUP2 000008ce: ADD 000008cf: SWAP1 000008d0: PUSH2 0x08d9 000008d3: SWAP2 000008d4: SWAP1 000008d5: PUSH2 0x16de 000008d8: JUMP 000008d9: JUMPDEST 000008da: POP 000008db: POP 000008dc: PUSH1 0x16 000008de: SLOAD 000008df: PUSH1 0x15 000008e1: SLOAD 000008e2: PUSH1 0x40 000008e4: MLOAD 000008e5: PUSH4 0x095ea7b3 000008ea: PUSH1 0xe0 000008ec: SHL 000008ed: DUP2 000008ee: MSTORE 000008ef: PUSH1 0x01 000008f1: PUSH1 0x01 000008f3: PUSH1 0xa0 000008f5: SHL 000008f6: SUB 000008f7: SWAP2 000008f8: DUP3 000008f9: AND 000008fa: PUSH1 0x04 000008fc: DUP3 000008fd: ADD 000008fe: MSTORE 000008ff: PUSH0 00000900: NOT 00000901: PUSH1 0x24 00000903: DUP3 00000904: ADD 00000905: MSTORE 00000906: SWAP2 00000907: AND 00000908: SWAP2 00000909: POP 0000090a: PUSH4 0x095ea7b3 0000090f: SWAP1 00000910: PUSH1 0x44 00000912: ADD 00000913: PUSH1 0x20 00000915: PUSH1 0x40 00000917: MLOAD 00000918: DUP1 00000919: DUP4 0000091a: SUB 0000091b: DUP2 0000091c: PUSH0 0000091d: DUP8 0000091e: GAS 0000091f: CALL 00000920: ISZERO 00000921: DUP1 00000922: ISZERO 00000923: PUSH2 0x092e 00000926: JUMPI 00000927: RETURNDATASIZE 00000928: PUSH0 00000929: DUP1 0000092a: RETURNDATACOPY 0000092b: RETURNDATASIZE 0000092c: PUSH0 0000092d: REVERT 0000092e: JUMPDEST 0000092f: POP 00000930: POP 00000931: POP 00000932: POP 00000933: PUSH1 0x40 00000935: MLOAD 00000936: RETURNDATASIZE 00000937: PUSH1 0x1f 00000939: NOT 0000093a: PUSH1 0x1f 0000093c: DUP3 0000093d: ADD 0000093e: AND 0000093f: DUP3 00000940: ADD 00000941: DUP1 00000942: PUSH1 0x40 00000944: MSTORE 00000945: POP 00000946: DUP2 00000947: ADD 00000948: SWAP1 00000949: PUSH2 0x0952 0000094c: SWAP2 0000094d: SWAP1 0000094e: PUSH2 0x1709 00000951: JUMP 00000952: JUMPDEST 00000953: POP 00000954: PUSH1 0x16 00000956: DUP1 00000957: SLOAD 00000958: PUSH3 0xff00ff 0000095c: PUSH1 0xa0 0000095e: SHL 0000095f: NOT 00000960: AND 00000961: PUSH3 0x010001 00000965: PUSH1 0xa0 00000967: SHL 00000968: OR 00000969: SWAP1 0000096a: SSTORE 0000096b: JUMP 0000096c: JUMPDEST 0000096d: PUSH1 0x01 0000096f: PUSH1 0x01 00000971: PUSH1 0xa0 00000973: SHL 00000974: SUB 00000975: DUP4 00000976: AND 00000977: PUSH2 0x09ce 0000097a: JUMPI 0000097b: PUSH1 0x40 0000097d: MLOAD 0000097e: PUSH3 0x461bcd 00000982: PUSH1 0xe5 00000984: SHL 00000985: DUP2 00000986: MSTORE 00000987: PUSH1 0x20 00000989: PUSH1 0x04 0000098b: DUP3 0000098c: ADD 0000098d: MSTORE 0000098e: PUSH1 0x24 00000990: DUP1 00000991: DUP3 00000992: ADD 00000993: MSTORE 00000994: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464 000009b5: PUSH1 0x44 000009b7: DUP3 000009b8: ADD 000009b9: MSTORE 000009ba: PUSH4 0x72657373 000009bf: PUSH1 0xe0 000009c1: SHL 000009c2: PUSH1 0x64 000009c4: DUP3 000009c5: ADD 000009c6: MSTORE 000009c7: PUSH1 0x84 000009c9: ADD 000009ca: PUSH2 0x0455 000009cd: JUMP 000009ce: JUMPDEST 000009cf: PUSH1 0x01 000009d1: PUSH1 0x01 000009d3: PUSH1 0xa0 000009d5: SHL 000009d6: SUB 000009d7: DUP3 000009d8: AND 000009d9: PUSH2 0x0a2f 000009dc: JUMPI 000009dd: PUSH1 0x40 000009df: MLOAD 000009e0: PUSH3 0x461bcd 000009e4: PUSH1 0xe5 000009e6: SHL 000009e7: DUP2 000009e8: MSTORE 000009e9: PUSH1 0x20 000009eb: PUSH1 0x04 000009ed: DUP3 000009ee: ADD 000009ef: MSTORE 000009f0: PUSH1 0x22 000009f2: PUSH1 0x24 000009f4: DUP3 000009f5: ADD 000009f6: MSTORE 000009f7: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265 00000a18: PUSH1 0x44 00000a1a: DUP3 00000a1b: ADD 00000a1c: MSTORE 00000a1d: PUSH2 0x7373 00000a20: PUSH1 0xf0 00000a22: SHL 00000a23: PUSH1 0x64 00000a25: DUP3 00000a26: ADD 00000a27: MSTORE 00000a28: PUSH1 0x84 00000a2a: ADD 00000a2b: PUSH2 0x0455 00000a2e: JUMP 00000a2f: JUMPDEST 00000a30: PUSH1 0x01 00000a32: PUSH1 0x01 00000a34: PUSH1 0xa0 00000a36: SHL 00000a37: SUB 00000a38: DUP4 00000a39: DUP2 00000a3a: AND 00000a3b: PUSH0 00000a3c: DUP2 00000a3d: DUP2 00000a3e: MSTORE 00000a3f: PUSH1 0x02 00000a41: PUSH1 0x20 00000a43: SWAP1 00000a44: DUP2 00000a45: MSTORE 00000a46: PUSH1 0x40 00000a48: DUP1 00000a49: DUP4 00000a4a: KECCAK256 00000a4b: SWAP5 00000a4c: DUP8 00000a4d: AND 00000a4e: DUP1 00000a4f: DUP5 00000a50: MSTORE 00000a51: SWAP5 00000a52: DUP3 00000a53: MSTORE 00000a54: SWAP2 00000a55: DUP3 00000a56: SWAP1 00000a57: KECCAK256 00000a58: DUP6 00000a59: SWAP1 00000a5a: SSTORE 00000a5b: SWAP1 00000a5c: MLOAD 00000a5d: DUP5 00000a5e: DUP2 00000a5f: MSTORE 00000a60: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000a81: SWAP2 00000a82: ADD 00000a83: PUSH1 0x40 00000a85: MLOAD 00000a86: DUP1 00000a87: SWAP2 00000a88: SUB 00000a89: SWAP1 00000a8a: LOG3 00000a8b: POP 00000a8c: POP 00000a8d: POP 00000a8e: JUMP 00000a8f: JUMPDEST 00000a90: PUSH1 0x01 00000a92: PUSH1 0x01 00000a94: PUSH1 0xa0 00000a96: SHL 00000a97: SUB 00000a98: DUP4 00000a99: AND 00000a9a: PUSH2 0x0af3 00000a9d: JUMPI 00000a9e: PUSH1 0x40 00000aa0: MLOAD 00000aa1: PUSH3 0x461bcd 00000aa5: PUSH1 0xe5 00000aa7: SHL 00000aa8: DUP2 00000aa9: MSTORE 00000aaa: PUSH1 0x20 00000aac: PUSH1 0x04 00000aae: DUP3 00000aaf: ADD 00000ab0: MSTORE 00000ab1: PUSH1 0x25 00000ab3: PUSH1 0x24 00000ab5: DUP3 00000ab6: ADD 00000ab7: MSTORE 00000ab8: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164 00000ad9: PUSH1 0x44 00000adb: DUP3 00000adc: ADD 00000add: MSTORE 00000ade: PUSH5 0x6472657373 00000ae4: PUSH1 0xd8 00000ae6: SHL 00000ae7: PUSH1 0x64 00000ae9: DUP3 00000aea: ADD 00000aeb: MSTORE 00000aec: PUSH1 0x84 00000aee: ADD 00000aef: PUSH2 0x0455 00000af2: JUMP 00000af3: JUMPDEST 00000af4: PUSH1 0x01 00000af6: PUSH1 0x01 00000af8: PUSH1 0xa0 00000afa: SHL 00000afb: SUB 00000afc: DUP3 00000afd: AND 00000afe: PUSH2 0x0b55 00000b01: JUMPI 00000b02: PUSH1 0x40 00000b04: MLOAD 00000b05: PUSH3 0x461bcd 00000b09: PUSH1 0xe5 00000b0b: SHL 00000b0c: DUP2 00000b0d: MSTORE 00000b0e: PUSH1 0x20 00000b10: PUSH1 0x04 00000b12: DUP3 00000b13: ADD 00000b14: MSTORE 00000b15: PUSH1 0x23 00000b17: PUSH1 0x24 00000b19: DUP3 00000b1a: ADD 00000b1b: MSTORE 00000b1c: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472 00000b3d: PUSH1 0x44 00000b3f: DUP3 00000b40: ADD 00000b41: MSTORE 00000b42: PUSH3 0x657373 00000b46: PUSH1 0xe8 00000b48: SHL 00000b49: PUSH1 0x64 00000b4b: DUP3 00000b4c: ADD 00000b4d: MSTORE 00000b4e: PUSH1 0x84 00000b50: ADD 00000b51: PUSH2 0x0455 00000b54: JUMP 00000b55: JUMPDEST 00000b56: PUSH0 00000b57: DUP2 00000b58: GT 00000b59: PUSH2 0x0bb6 00000b5c: JUMPI 00000b5d: PUSH1 0x40 00000b5f: MLOAD 00000b60: PUSH3 0x461bcd 00000b64: PUSH1 0xe5 00000b66: SHL 00000b67: DUP2 00000b68: MSTORE 00000b69: PUSH1 0x20 00000b6b: PUSH1 0x04 00000b6d: DUP3 00000b6e: ADD 00000b6f: MSTORE 00000b70: PUSH1 0x29 00000b72: PUSH1 0x24 00000b74: DUP3 00000b75: ADD 00000b76: MSTORE 00000b77: PUSH32 0x5472616e7366657220616d6f756e74206d757374206265206772656174657220 00000b98: PUSH1 0x44 00000b9a: DUP3 00000b9b: ADD 00000b9c: MSTORE 00000b9d: PUSH9 0x7468616e207a65726f 00000ba7: PUSH1 0xb8 00000ba9: SHL 00000baa: PUSH1 0x64 00000bac: DUP3 00000bad: ADD 00000bae: MSTORE 00000baf: PUSH1 0x84 00000bb1: ADD 00000bb2: PUSH2 0x0455 00000bb5: JUMP 00000bb6: JUMPDEST 00000bb7: PUSH0 00000bb8: DUP1 00000bb9: SLOAD 00000bba: PUSH1 0x01 00000bbc: PUSH1 0x01 00000bbe: PUSH1 0xa0 00000bc0: SHL 00000bc1: SUB 00000bc2: DUP6 00000bc3: DUP2 00000bc4: AND 00000bc5: SWAP2 00000bc6: AND 00000bc7: EQ 00000bc8: DUP1 00000bc9: ISZERO 00000bca: SWAP1 00000bcb: PUSH2 0x0be1 00000bce: JUMPI 00000bcf: POP 00000bd0: PUSH0 00000bd1: SLOAD 00000bd2: PUSH1 0x01 00000bd4: PUSH1 0x01 00000bd6: PUSH1 0xa0 00000bd8: SHL 00000bd9: SUB 00000bda: DUP5 00000bdb: DUP2 00000bdc: AND 00000bdd: SWAP2 00000bde: AND 00000bdf: EQ 00000be0: ISZERO 00000be1: JUMPDEST 00000be2: ISZERO 00000be3: PUSH2 0x0f21 00000be6: JUMPI 00000be7: PUSH2 0x0c03 00000bea: PUSH1 0x64 00000bec: PUSH2 0x0bfd 00000bef: PUSH2 0x0bf6 00000bf2: PUSH2 0x1241 00000bf5: JUMP 00000bf6: JUMPDEST 00000bf7: DUP6 00000bf8: SWAP1 00000bf9: PUSH2 0x127e 00000bfc: JUMP 00000bfd: JUMPDEST 00000bfe: SWAP1 00000bff: PUSH2 0x1303 00000c02: JUMP 00000c03: JUMPDEST 00000c04: PUSH1 0x05 00000c06: SLOAD 00000c07: SWAP1 00000c08: SWAP2 00000c09: POP 00000c0a: PUSH1 0xff 00000c0c: AND 00000c0d: ISZERO 00000c0e: PUSH2 0x0ce9 00000c11: JUMPI 00000c12: PUSH1 0x15 00000c14: SLOAD 00000c15: PUSH1 0x01 00000c17: PUSH1 0x01 00000c19: PUSH1 0xa0 00000c1b: SHL 00000c1c: SUB 00000c1d: DUP5 00000c1e: DUP2 00000c1f: AND 00000c20: SWAP2 00000c21: AND 00000c22: EQ 00000c23: DUP1 00000c24: ISZERO 00000c25: SWAP1 00000c26: PUSH2 0x0c3d 00000c29: JUMPI 00000c2a: POP 00000c2b: PUSH1 0x16 00000c2d: SLOAD 00000c2e: PUSH1 0x01 00000c30: PUSH1 0x01 00000c32: PUSH1 0xa0 00000c34: SHL 00000c35: SUB 00000c36: DUP5 00000c37: DUP2 00000c38: AND 00000c39: SWAP2 00000c3a: AND 00000c3b: EQ 00000c3c: ISZERO 00000c3d: JUMPDEST 00000c3e: ISZERO 00000c3f: PUSH2 0x0ce9 00000c42: JUMPI 00000c43: ORIGIN 00000c44: PUSH0 00000c45: SWAP1 00000c46: DUP2 00000c47: MSTORE 00000c48: PUSH1 0x04 00000c4a: PUSH1 0x20 00000c4c: MSTORE 00000c4d: PUSH1 0x40 00000c4f: SWAP1 00000c50: KECCAK256 00000c51: SLOAD 00000c52: NUMBER 00000c53: GT 00000c54: PUSH2 0x0cd7 00000c57: JUMPI 00000c58: PUSH1 0x40 00000c5a: MLOAD 00000c5b: PUSH3 0x461bcd 00000c5f: PUSH1 0xe5 00000c61: SHL 00000c62: DUP2 00000c63: MSTORE 00000c64: PUSH1 0x20 00000c66: PUSH1 0x04 00000c68: DUP3 00000c69: ADD 00000c6a: MSTORE 00000c6b: PUSH1 0x49 00000c6d: PUSH1 0x24 00000c6f: DUP3 00000c70: ADD 00000c71: MSTORE 00000c72: PUSH32 0x5f7472616e736665723a3a205472616e736665722044656c617920656e61626c 00000c93: PUSH1 0x44 00000c95: DUP3 00000c96: ADD 00000c97: MSTORE 00000c98: PUSH32 0x65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b 00000cb9: PUSH1 0x64 00000cbb: DUP3 00000cbc: ADD 00000cbd: MSTORE 00000cbe: PUSH9 0x1030b63637bbb2b217 00000cc8: PUSH1 0xb9 00000cca: SHL 00000ccb: PUSH1 0x84 00000ccd: DUP3 00000cce: ADD 00000ccf: MSTORE 00000cd0: PUSH1 0xa4 00000cd2: ADD 00000cd3: PUSH2 0x0455 00000cd6: JUMP 00000cd7: JUMPDEST 00000cd8: ORIGIN 00000cd9: PUSH0 00000cda: SWAP1 00000cdb: DUP2 00000cdc: MSTORE 00000cdd: PUSH1 0x04 00000cdf: PUSH1 0x20 00000ce1: MSTORE 00000ce2: PUSH1 0x40 00000ce4: SWAP1 00000ce5: KECCAK256 00000ce6: NUMBER 00000ce7: SWAP1 00000ce8: SSTORE 00000ce9: JUMPDEST 00000cea: PUSH1 0x16 00000cec: SLOAD 00000ced: PUSH1 0x01 00000cef: PUSH1 0x01 00000cf1: PUSH1 0xa0 00000cf3: SHL 00000cf4: SUB 00000cf5: DUP6 00000cf6: DUP2 00000cf7: AND 00000cf8: SWAP2 00000cf9: AND 00000cfa: EQ 00000cfb: DUP1 00000cfc: ISZERO 00000cfd: PUSH2 0x0d14 00000d00: JUMPI 00000d01: POP 00000d02: PUSH1 0x15 00000d04: SLOAD 00000d05: PUSH1 0x01 00000d07: PUSH1 0x01 00000d09: PUSH1 0xa0 00000d0b: SHL 00000d0c: SUB 00000d0d: DUP5 00000d0e: DUP2 00000d0f: AND 00000d10: SWAP2 00000d11: AND 00000d12: EQ 00000d13: ISZERO 00000d14: JUMPDEST 00000d15: DUP1 00000d16: ISZERO 00000d17: PUSH2 0x0d38 00000d1a: JUMPI 00000d1b: POP 00000d1c: PUSH1 0x01 00000d1e: PUSH1 0x01 00000d20: PUSH1 0xa0 00000d22: SHL 00000d23: SUB 00000d24: DUP4 00000d25: AND 00000d26: PUSH0 00000d27: SWAP1 00000d28: DUP2 00000d29: MSTORE 00000d2a: PUSH1 0x03 00000d2c: PUSH1 0x20 00000d2e: MSTORE 00000d2f: PUSH1 0x40 00000d31: SWAP1 00000d32: KECCAK256 00000d33: SLOAD 00000d34: PUSH1 0xff 00000d36: AND 00000d37: ISZERO 00000d38: JUMPDEST 00000d39: ISZERO 00000d3a: PUSH2 0x0e34 00000d3d: JUMPI 00000d3e: PUSH1 0x11 00000d40: SLOAD 00000d41: DUP3 00000d42: GT 00000d43: ISZERO 00000d44: PUSH2 0x0d8f 00000d47: JUMPI 00000d48: PUSH1 0x40 00000d4a: MLOAD 00000d4b: PUSH3 0x461bcd 00000d4f: PUSH1 0xe5 00000d51: SHL 00000d52: DUP2 00000d53: MSTORE 00000d54: PUSH1 0x20 00000d56: PUSH1 0x04 00000d58: DUP3 00000d59: ADD 00000d5a: MSTORE 00000d5b: PUSH1 0x19 00000d5d: PUSH1 0x24 00000d5f: DUP3 00000d60: ADD 00000d61: MSTORE 00000d62: PUSH32 0x4578636565647320746865205f6d61785478416d6f756e742e00000000000000 00000d83: PUSH1 0x44 00000d85: DUP3 00000d86: ADD 00000d87: MSTORE 00000d88: PUSH1 0x64 00000d8a: ADD 00000d8b: PUSH2 0x0455 00000d8e: JUMP 00000d8f: JUMPDEST 00000d90: PUSH1 0x12 00000d92: SLOAD 00000d93: DUP3 00000d94: PUSH2 0x0db1 00000d97: DUP6 00000d98: PUSH1 0x01 00000d9a: PUSH1 0x01 00000d9c: PUSH1 0xa0 00000d9e: SHL 00000d9f: SUB 00000da0: AND 00000da1: PUSH0 00000da2: SWAP1 00000da3: DUP2 00000da4: MSTORE 00000da5: PUSH1 0x01 00000da7: PUSH1 0x20 00000da9: MSTORE 00000daa: PUSH1 0x40 00000dac: SWAP1 00000dad: KECCAK256 00000dae: SLOAD 00000daf: SWAP1 00000db0: JUMP 00000db1: JUMPDEST 00000db2: PUSH2 0x0dbb 00000db5: SWAP2 00000db6: SWAP1 00000db7: PUSH2 0x1728 00000dba: JUMP 00000dbb: JUMPDEST 00000dbc: GT 00000dbd: ISZERO 00000dbe: PUSH2 0x0e09 00000dc1: JUMPI 00000dc2: PUSH1 0x40 00000dc4: MLOAD 00000dc5: PUSH3 0x461bcd 00000dc9: PUSH1 0xe5 00000dcb: SHL 00000dcc: DUP2 00000dcd: MSTORE 00000dce: PUSH1 0x20 00000dd0: PUSH1 0x04 00000dd2: DUP3 00000dd3: ADD 00000dd4: MSTORE 00000dd5: PUSH1 0x1a 00000dd7: PUSH1 0x24 00000dd9: DUP3 00000dda: ADD 00000ddb: MSTORE 00000ddc: PUSH32 0x4578636565647320746865206d617857616c6c657453697a652e000000000000 00000dfd: PUSH1 0x44 00000dff: DUP3 00000e00: ADD 00000e01: MSTORE 00000e02: PUSH1 0x64 00000e04: ADD 00000e05: PUSH2 0x0455 00000e08: JUMP 00000e09: JUMPDEST 00000e0a: PUSH1 0x10 00000e0c: DUP1 00000e0d: SLOAD 00000e0e: SWAP1 00000e0f: PUSH0 00000e10: PUSH2 0x0e18 00000e13: DUP4 00000e14: PUSH2 0x173b 00000e17: JUMP 00000e18: JUMPDEST 00000e19: SWAP2 00000e1a: SWAP1 00000e1b: POP 00000e1c: SSTORE 00000e1d: POP 00000e1e: PUSH1 0x0f 00000e20: SLOAD 00000e21: PUSH1 0x10 00000e23: SLOAD 00000e24: GT 00000e25: ISZERO 00000e26: PUSH2 0x0e34 00000e29: JUMPI 00000e2a: PUSH1 0x05 00000e2c: DUP1 00000e2d: SLOAD 00000e2e: PUSH1 0xff 00000e30: NOT 00000e31: AND 00000e32: SWAP1 00000e33: SSTORE 00000e34: JUMPDEST 00000e35: PUSH1 0x16 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 0x0e5a 00000e4b: JUMPI 00000e4c: POP 00000e4d: PUSH1 0x01 00000e4f: PUSH1 0x01 00000e51: PUSH1 0xa0 00000e53: SHL 00000e54: SUB 00000e55: DUP5 00000e56: AND 00000e57: ADDRESS 00000e58: EQ 00000e59: ISZERO 00000e5a: JUMPDEST 00000e5b: ISZERO 00000e5c: PUSH2 0x0e72 00000e5f: JUMPI 00000e60: PUSH2 0x0e6f 00000e63: PUSH1 0x64 00000e65: PUSH2 0x0bfd 00000e68: PUSH2 0x0bf6 00000e6b: PUSH2 0x1344 00000e6e: JUMP 00000e6f: JUMPDEST 00000e70: SWAP1 00000e71: POP 00000e72: JUMPDEST 00000e73: ADDRESS 00000e74: PUSH0 00000e75: SWAP1 00000e76: DUP2 00000e77: MSTORE 00000e78: PUSH1 0x01 00000e7a: PUSH1 0x20 00000e7c: MSTORE 00000e7d: PUSH1 0x40 00000e7f: SWAP1 00000e80: KECCAK256 00000e81: SLOAD 00000e82: PUSH1 0x16 00000e84: SLOAD 00000e85: PUSH1 0x01 00000e87: PUSH1 0xa8 00000e89: SHL 00000e8a: SWAP1 00000e8b: DIV 00000e8c: PUSH1 0xff 00000e8e: AND 00000e8f: ISZERO 00000e90: DUP1 00000e91: ISZERO 00000e92: PUSH2 0x0ea8 00000e95: JUMPI 00000e96: POP 00000e97: PUSH1 0x16 00000e99: SLOAD 00000e9a: PUSH1 0x01 00000e9c: PUSH1 0x01 00000e9e: PUSH1 0xa0 00000ea0: SHL 00000ea1: SUB 00000ea2: DUP6 00000ea3: DUP2 00000ea4: AND 00000ea5: SWAP2 00000ea6: AND 00000ea7: EQ 00000ea8: JUMPDEST 00000ea9: DUP1 00000eaa: ISZERO 00000eab: PUSH2 0x0ebd 00000eae: JUMPI 00000eaf: POP 00000eb0: PUSH1 0x16 00000eb2: SLOAD 00000eb3: PUSH1 0x01 00000eb5: PUSH1 0xb0 00000eb7: SHL 00000eb8: SWAP1 00000eb9: DIV 00000eba: PUSH1 0xff 00000ebc: AND 00000ebd: JUMPDEST 00000ebe: DUP1 00000ebf: ISZERO 00000ec0: PUSH2 0x0eca 00000ec3: JUMPI 00000ec4: POP 00000ec5: PUSH1 0x13 00000ec7: SLOAD 00000ec8: DUP2 00000ec9: GT 00000eca: JUMPDEST 00000ecb: ISZERO 00000ecc: PUSH2 0x0f1f 00000ecf: JUMPI 00000ed0: PUSH0 00000ed1: SELFBALANCE 00000ed2: SWAP1 00000ed3: POP 00000ed4: PUSH2 0x0ef0 00000ed7: PUSH2 0x0eeb 00000eda: DUP6 00000edb: PUSH2 0x0ee6 00000ede: DUP6 00000edf: PUSH1 0x14 00000ee1: SLOAD 00000ee2: PUSH2 0x137a 00000ee5: JUMP 00000ee6: JUMPDEST 00000ee7: PUSH2 0x137a 00000eea: JUMP 00000eeb: JUMPDEST 00000eec: PUSH2 0x1096 00000eef: JUMP 00000ef0: JUMPDEST 00000ef1: PUSH0 00000ef2: PUSH2 0x0f0b 00000ef5: PUSH1 0x64 00000ef7: PUSH2 0x0bfd 00000efa: PUSH1 0x50 00000efc: PUSH2 0x0f05 00000eff: SELFBALANCE 00000f00: DUP8 00000f01: PUSH2 0x138e 00000f04: JUMP 00000f05: JUMPDEST 00000f06: SWAP1 00000f07: PUSH2 0x127e 00000f0a: JUMP 00000f0b: JUMPDEST 00000f0c: SWAP1 00000f0d: POP 00000f0e: DUP1 00000f0f: ISZERO 00000f10: PUSH2 0x0f1c 00000f13: JUMPI 00000f14: PUSH2 0x0f1c 00000f17: DUP2 00000f18: PUSH2 0x1206 00000f1b: JUMP 00000f1c: JUMPDEST 00000f1d: POP 00000f1e: POP 00000f1f: JUMPDEST 00000f20: POP 00000f21: JUMPDEST 00000f22: DUP1 00000f23: ISZERO 00000f24: PUSH2 0x0f99 00000f27: JUMPI 00000f28: ADDRESS 00000f29: PUSH0 00000f2a: SWAP1 00000f2b: DUP2 00000f2c: MSTORE 00000f2d: PUSH1 0x01 00000f2f: PUSH1 0x20 00000f31: MSTORE 00000f32: PUSH1 0x40 00000f34: SWAP1 00000f35: KECCAK256 00000f36: SLOAD 00000f37: PUSH2 0x0f40 00000f3a: SWAP1 00000f3b: DUP3 00000f3c: PUSH2 0x13cf 00000f3f: JUMP 00000f40: JUMPDEST 00000f41: ADDRESS 00000f42: PUSH0 00000f43: DUP2 00000f44: DUP2 00000f45: MSTORE 00000f46: PUSH1 0x01 00000f48: PUSH1 0x20 00000f4a: MSTORE 00000f4b: PUSH1 0x40 00000f4d: SWAP1 00000f4e: DUP2 00000f4f: SWAP1 00000f50: KECCAK256 00000f51: SWAP3 00000f52: SWAP1 00000f53: SWAP3 00000f54: SSTORE 00000f55: SWAP1 00000f56: MLOAD 00000f57: PUSH1 0x01 00000f59: PUSH1 0x01 00000f5b: PUSH1 0xa0 00000f5d: SHL 00000f5e: SUB 00000f5f: DUP7 00000f60: AND 00000f61: SWAP1 00000f62: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000f83: SWAP1 00000f84: PUSH2 0x0f90 00000f87: SWAP1 00000f88: DUP6 00000f89: DUP2 00000f8a: MSTORE 00000f8b: PUSH1 0x20 00000f8d: ADD 00000f8e: SWAP1 00000f8f: JUMP 00000f90: JUMPDEST 00000f91: PUSH1 0x40 00000f93: MLOAD 00000f94: DUP1 00000f95: SWAP2 00000f96: SUB 00000f97: SWAP1 00000f98: LOG3 00000f99: JUMPDEST 00000f9a: PUSH1 0x01 00000f9c: PUSH1 0x01 00000f9e: PUSH1 0xa0 00000fa0: SHL 00000fa1: SUB 00000fa2: DUP5 00000fa3: AND 00000fa4: PUSH0 00000fa5: SWAP1 00000fa6: DUP2 00000fa7: MSTORE 00000fa8: PUSH1 0x01 00000faa: PUSH1 0x20 00000fac: MSTORE 00000fad: PUSH1 0x40 00000faf: SWAP1 00000fb0: KECCAK256 00000fb1: SLOAD 00000fb2: PUSH2 0x0fbb 00000fb5: SWAP1 00000fb6: DUP4 00000fb7: PUSH2 0x138e 00000fba: JUMP 00000fbb: JUMPDEST 00000fbc: PUSH1 0x01 00000fbe: PUSH1 0x01 00000fc0: PUSH1 0xa0 00000fc2: SHL 00000fc3: SUB 00000fc4: DUP6 00000fc5: AND 00000fc6: PUSH0 00000fc7: SWAP1 00000fc8: DUP2 00000fc9: MSTORE 00000fca: PUSH1 0x01 00000fcc: PUSH1 0x20 00000fce: MSTORE 00000fcf: PUSH1 0x40 00000fd1: SWAP1 00000fd2: KECCAK256 00000fd3: SSTORE 00000fd4: PUSH2 0x0ffe 00000fd7: PUSH2 0x0fe0 00000fda: DUP4 00000fdb: DUP4 00000fdc: PUSH2 0x138e 00000fdf: JUMP 00000fe0: JUMPDEST 00000fe1: PUSH1 0x01 00000fe3: PUSH1 0x01 00000fe5: PUSH1 0xa0 00000fe7: SHL 00000fe8: SUB 00000fe9: DUP6 00000fea: AND 00000feb: PUSH0 00000fec: SWAP1 00000fed: DUP2 00000fee: MSTORE 00000fef: PUSH1 0x01 00000ff1: PUSH1 0x20 00000ff3: MSTORE 00000ff4: PUSH1 0x40 00000ff6: SWAP1 00000ff7: KECCAK256 00000ff8: SLOAD 00000ff9: SWAP1 00000ffa: PUSH2 0x13cf 00000ffd: JUMP 00000ffe: JUMPDEST 00000fff: PUSH1 0x01 00001001: PUSH1 0x01 00001003: PUSH1 0xa0 00001005: SHL 00001006: SUB 00001007: DUP1 00001008: DUP6 00001009: AND 0000100a: PUSH0 0000100b: DUP2 0000100c: DUP2 0000100d: MSTORE 0000100e: PUSH1 0x01 00001010: PUSH1 0x20 00001012: MSTORE 00001013: PUSH1 0x40 00001015: SWAP1 00001016: KECCAK256 00001017: SWAP3 00001018: SWAP1 00001019: SWAP3 0000101a: SSTORE 0000101b: DUP6 0000101c: AND 0000101d: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000103e: PUSH2 0x1047 00001041: DUP6 00001042: DUP6 00001043: PUSH2 0x138e 00001046: JUMP 00001047: JUMPDEST 00001048: PUSH1 0x40 0000104a: MLOAD 0000104b: SWAP1 0000104c: DUP2 0000104d: MSTORE 0000104e: PUSH1 0x20 00001050: ADD 00001051: PUSH1 0x40 00001053: MLOAD 00001054: DUP1 00001055: SWAP2 00001056: SUB 00001057: SWAP1 00001058: LOG3 00001059: POP 0000105a: POP 0000105b: POP 0000105c: POP 0000105d: JUMP 0000105e: JUMPDEST 0000105f: PUSH0 00001060: DUP2 00001061: DUP5 00001062: DUP5 00001063: GT 00001064: ISZERO 00001065: PUSH2 0x1081 00001068: JUMPI 00001069: PUSH1 0x40 0000106b: MLOAD 0000106c: PUSH3 0x461bcd 00001070: PUSH1 0xe5 00001072: SHL 00001073: DUP2 00001074: MSTORE 00001075: PUSH1 0x04 00001077: ADD 00001078: PUSH2 0x0455 0000107b: SWAP2 0000107c: SWAP1 0000107d: PUSH2 0x1459 00001080: JUMP 00001081: JUMPDEST 00001082: POP 00001083: PUSH0 00001084: PUSH2 0x108d 00001087: DUP5 00001088: DUP7 00001089: PUSH2 0x1753 0000108c: JUMP 0000108d: JUMPDEST 0000108e: SWAP6 0000108f: SWAP5 00001090: POP 00001091: POP 00001092: POP 00001093: POP 00001094: POP 00001095: JUMP 00001096: JUMPDEST 00001097: PUSH1 0x16 00001099: DUP1 0000109a: SLOAD 0000109b: PUSH1 0xff 0000109d: PUSH1 0xa8 0000109f: SHL 000010a0: NOT 000010a1: AND 000010a2: PUSH1 0x01 000010a4: PUSH1 0xa8 000010a6: SHL 000010a7: OR 000010a8: SWAP1 000010a9: SSTORE 000010aa: PUSH1 0x40 000010ac: DUP1 000010ad: MLOAD 000010ae: PUSH1 0x02 000010b0: DUP1 000010b1: DUP3 000010b2: MSTORE 000010b3: PUSH1 0x60 000010b5: DUP3 000010b6: ADD 000010b7: DUP4 000010b8: MSTORE 000010b9: PUSH0 000010ba: SWAP3 000010bb: PUSH1 0x20 000010bd: DUP4 000010be: ADD 000010bf: SWAP1 000010c0: DUP1 000010c1: CALLDATASIZE 000010c2: DUP4 000010c3: CALLDATACOPY 000010c4: ADD 000010c5: SWAP1 000010c6: POP 000010c7: POP 000010c8: SWAP1 000010c9: POP 000010ca: ADDRESS 000010cb: DUP2 000010cc: PUSH0 000010cd: DUP2 000010ce: MLOAD 000010cf: DUP2 000010d0: LT 000010d1: PUSH2 0x10dc 000010d4: JUMPI 000010d5: PUSH2 0x10dc 000010d8: PUSH2 0x1766 000010db: JUMP 000010dc: JUMPDEST 000010dd: PUSH1 0x01 000010df: PUSH1 0x01 000010e1: PUSH1 0xa0 000010e3: SHL 000010e4: SUB 000010e5: SWAP3 000010e6: DUP4 000010e7: AND 000010e8: PUSH1 0x20 000010ea: SWAP2 000010eb: DUP3 000010ec: MUL 000010ed: SWAP3 000010ee: SWAP1 000010ef: SWAP3 000010f0: ADD 000010f1: DUP2 000010f2: ADD 000010f3: SWAP2 000010f4: SWAP1 000010f5: SWAP2 000010f6: MSTORE 000010f7: PUSH1 0x15 000010f9: SLOAD 000010fa: PUSH1 0x40 000010fc: DUP1 000010fd: MLOAD 000010fe: PUSH4 0x15ab88c9 00001103: PUSH1 0xe3 00001105: SHL 00001106: DUP2 00001107: MSTORE 00001108: SWAP1 00001109: MLOAD 0000110a: SWAP2 0000110b: SWAP1 0000110c: SWAP4 0000110d: AND 0000110e: SWAP3 0000110f: PUSH4 0xad5c4648 00001114: SWAP3 00001115: PUSH1 0x04 00001117: DUP1 00001118: DUP4 00001119: ADD 0000111a: SWAP4 0000111b: SWAP2 0000111c: SWAP3 0000111d: DUP3 0000111e: SWAP1 0000111f: SUB 00001120: ADD 00001121: DUP2 00001122: DUP7 00001123: GAS 00001124: STATICCALL 00001125: ISZERO 00001126: DUP1 00001127: ISZERO 00001128: PUSH2 0x1133 0000112b: JUMPI 0000112c: RETURNDATASIZE 0000112d: PUSH0 0000112e: DUP1 0000112f: RETURNDATACOPY 00001130: RETURNDATASIZE 00001131: PUSH0 00001132: REVERT 00001133: JUMPDEST 00001134: POP 00001135: POP 00001136: POP 00001137: POP 00001138: PUSH1 0x40 0000113a: MLOAD 0000113b: RETURNDATASIZE 0000113c: PUSH1 0x1f 0000113e: NOT 0000113f: PUSH1 0x1f 00001141: DUP3 00001142: ADD 00001143: AND 00001144: DUP3 00001145: ADD 00001146: DUP1 00001147: PUSH1 0x40 00001149: MSTORE 0000114a: POP 0000114b: DUP2 0000114c: ADD 0000114d: SWAP1 0000114e: PUSH2 0x1157 00001151: SWAP2 00001152: SWAP1 00001153: PUSH2 0x16c3 00001156: JUMP 00001157: JUMPDEST 00001158: DUP2 00001159: PUSH1 0x01 0000115b: DUP2 0000115c: MLOAD 0000115d: DUP2 0000115e: LT 0000115f: PUSH2 0x116a 00001162: JUMPI 00001163: PUSH2 0x116a 00001166: PUSH2 0x1766 00001169: JUMP 0000116a: JUMPDEST 0000116b: PUSH1 0x01 0000116d: PUSH1 0x01 0000116f: PUSH1 0xa0 00001171: SHL 00001172: SUB 00001173: SWAP3 00001174: DUP4 00001175: AND 00001176: PUSH1 0x20 00001178: SWAP2 00001179: DUP3 0000117a: MUL 0000117b: SWAP3 0000117c: SWAP1 0000117d: SWAP3 0000117e: ADD 0000117f: ADD 00001180: MSTORE 00001181: PUSH1 0x15 00001183: SLOAD 00001184: PUSH2 0x1190 00001187: SWAP2 00001188: ADDRESS 00001189: SWAP2 0000118a: AND 0000118b: DUP5 0000118c: PUSH2 0x096c 0000118f: JUMP 00001190: JUMPDEST 00001191: PUSH1 0x15 00001193: SLOAD 00001194: PUSH1 0x40 00001196: MLOAD 00001197: PUSH4 0x791ac947 0000119c: PUSH1 0xe0 0000119e: SHL 0000119f: DUP2 000011a0: MSTORE 000011a1: PUSH1 0x01 000011a3: PUSH1 0x01 000011a5: PUSH1 0xa0 000011a7: SHL 000011a8: SUB 000011a9: SWAP1 000011aa: SWAP2 000011ab: AND 000011ac: SWAP1 000011ad: PUSH4 0x791ac947 000011b2: SWAP1 000011b3: PUSH2 0x11c8 000011b6: SWAP1 000011b7: DUP6 000011b8: SWAP1 000011b9: PUSH0 000011ba: SWAP1 000011bb: DUP7 000011bc: SWAP1 000011bd: ADDRESS 000011be: SWAP1 000011bf: TIMESTAMP 000011c0: SWAP1 000011c1: PUSH1 0x04 000011c3: ADD 000011c4: PUSH2 0x177a 000011c7: JUMP 000011c8: JUMPDEST 000011c9: PUSH0 000011ca: PUSH1 0x40 000011cc: MLOAD 000011cd: DUP1 000011ce: DUP4 000011cf: SUB 000011d0: DUP2 000011d1: PUSH0 000011d2: DUP8 000011d3: DUP1 000011d4: EXTCODESIZE 000011d5: ISZERO 000011d6: DUP1 000011d7: ISZERO 000011d8: PUSH2 0x11df 000011db: JUMPI 000011dc: PUSH0 000011dd: DUP1 000011de: REVERT 000011df: JUMPDEST 000011e0: POP 000011e1: GAS 000011e2: CALL 000011e3: ISZERO 000011e4: DUP1 000011e5: ISZERO 000011e6: PUSH2 0x11f1 000011e9: JUMPI 000011ea: RETURNDATASIZE 000011eb: PUSH0 000011ec: DUP1 000011ed: RETURNDATACOPY 000011ee: RETURNDATASIZE 000011ef: PUSH0 000011f0: REVERT 000011f1: JUMPDEST 000011f2: POP 000011f3: POP 000011f4: PUSH1 0x16 000011f6: DUP1 000011f7: SLOAD 000011f8: PUSH1 0xff 000011fa: PUSH1 0xa8 000011fc: SHL 000011fd: NOT 000011fe: AND 000011ff: SWAP1 00001200: SSTORE 00001201: POP 00001202: POP 00001203: POP 00001204: POP 00001205: JUMP 00001206: JUMPDEST 00001207: PUSH1 0x05 00001209: SLOAD 0000120a: PUSH1 0x40 0000120c: MLOAD 0000120d: PUSH2 0x0100 00001210: SWAP1 00001211: SWAP2 00001212: DIV 00001213: PUSH1 0x01 00001215: PUSH1 0x01 00001217: PUSH1 0xa0 00001219: SHL 0000121a: SUB 0000121b: AND 0000121c: SWAP1 0000121d: PUSH2 0x08fc 00001220: DUP4 00001221: ISZERO 00001222: MUL 00001223: SWAP1 00001224: DUP4 00001225: SWAP1 00001226: PUSH0 00001227: DUP2 00001228: DUP2 00001229: DUP2 0000122a: DUP6 0000122b: DUP9 0000122c: DUP9 0000122d: CALL 0000122e: SWAP4 0000122f: POP 00001230: POP 00001231: POP 00001232: POP 00001233: ISZERO 00001234: DUP1 00001235: ISZERO 00001236: PUSH2 0x05b3 00001239: JUMPI 0000123a: RETURNDATASIZE 0000123b: PUSH0 0000123c: DUP1 0000123d: RETURNDATACOPY 0000123e: RETURNDATASIZE 0000123f: PUSH0 00001240: REVERT 00001241: JUMPDEST 00001242: PUSH0 00001243: PUSH1 0x08 00001245: SLOAD 00001246: PUSH1 0x10 00001248: SLOAD 00001249: GT 0000124a: PUSH2 0x1254 0000124d: JUMPI 0000124e: POP 0000124f: PUSH1 0x06 00001251: SLOAD 00001252: SWAP1 00001253: JUMP 00001254: JUMPDEST 00001255: PUSH1 0x08 00001257: SLOAD 00001258: PUSH1 0x10 0000125a: SLOAD 0000125b: GT 0000125c: DUP1 0000125d: ISZERO 0000125e: PUSH2 0x126b 00001261: JUMPI 00001262: POP 00001263: PUSH1 0x0c 00001265: SLOAD 00001266: PUSH1 0x10 00001268: SLOAD 00001269: GT 0000126a: ISZERO 0000126b: JUMPDEST 0000126c: ISZERO 0000126d: PUSH2 0x1277 00001270: JUMPI 00001271: POP 00001272: PUSH1 0x0a 00001274: SLOAD 00001275: SWAP1 00001276: JUMP 00001277: JUMPDEST 00001278: POP 00001279: PUSH1 0x0d 0000127b: SLOAD 0000127c: SWAP1 0000127d: JUMP 0000127e: JUMPDEST 0000127f: PUSH0 00001280: DUP3 00001281: PUSH0 00001282: SUB 00001283: PUSH2 0x128d 00001286: JUMPI 00001287: POP 00001288: PUSH0 00001289: PUSH2 0x039f 0000128c: JUMP 0000128d: JUMPDEST 0000128e: PUSH0 0000128f: PUSH2 0x1298 00001292: DUP4 00001293: DUP6 00001294: PUSH2 0x1677 00001297: JUMP 00001298: JUMPDEST 00001299: SWAP1 0000129a: POP 0000129b: DUP3 0000129c: PUSH2 0x12a5 0000129f: DUP6 000012a0: DUP4 000012a1: PUSH2 0x17e9 000012a4: JUMP 000012a5: JUMPDEST 000012a6: EQ 000012a7: PUSH2 0x12fc 000012aa: JUMPI 000012ab: PUSH1 0x40 000012ad: MLOAD 000012ae: PUSH3 0x461bcd 000012b2: PUSH1 0xe5 000012b4: SHL 000012b5: DUP2 000012b6: MSTORE 000012b7: PUSH1 0x20 000012b9: PUSH1 0x04 000012bb: DUP3 000012bc: ADD 000012bd: MSTORE 000012be: PUSH1 0x21 000012c0: PUSH1 0x24 000012c2: DUP3 000012c3: ADD 000012c4: MSTORE 000012c5: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f 000012e6: PUSH1 0x44 000012e8: DUP3 000012e9: ADD 000012ea: MSTORE 000012eb: PUSH1 0x77 000012ed: PUSH1 0xf8 000012ef: SHL 000012f0: PUSH1 0x64 000012f2: DUP3 000012f3: ADD 000012f4: MSTORE 000012f5: PUSH1 0x84 000012f7: ADD 000012f8: PUSH2 0x0455 000012fb: JUMP 000012fc: JUMPDEST 000012fd: SWAP4 000012fe: SWAP3 000012ff: POP 00001300: POP 00001301: POP 00001302: JUMP 00001303: JUMPDEST 00001304: PUSH0 00001305: PUSH2 0x12fc 00001308: DUP4 00001309: DUP4 0000130a: PUSH1 0x40 0000130c: MLOAD 0000130d: DUP1 0000130e: PUSH1 0x40 00001310: ADD 00001311: PUSH1 0x40 00001313: MSTORE 00001314: DUP1 00001315: PUSH1 0x1a 00001317: DUP2 00001318: MSTORE 00001319: PUSH1 0x20 0000131b: ADD 0000131c: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 0000133d: DUP2 0000133e: MSTORE 0000133f: POP 00001340: PUSH2 0x142d 00001343: JUMP 00001344: JUMPDEST 00001345: PUSH0 00001346: PUSH1 0x08 00001348: SLOAD 00001349: PUSH1 0x10 0000134b: SLOAD 0000134c: GT 0000134d: PUSH2 0x1357 00001350: JUMPI 00001351: POP 00001352: PUSH1 0x07 00001354: SLOAD 00001355: SWAP1 00001356: JUMP 00001357: JUMPDEST 00001358: PUSH1 0x09 0000135a: SLOAD 0000135b: PUSH1 0x10 0000135d: SLOAD 0000135e: GT 0000135f: DUP1 00001360: ISZERO 00001361: PUSH2 0x136e 00001364: JUMPI 00001365: POP 00001366: PUSH1 0x0c 00001368: SLOAD 00001369: PUSH1 0x10 0000136b: SLOAD 0000136c: GT 0000136d: ISZERO 0000136e: JUMPDEST 0000136f: ISZERO 00001370: PUSH2 0x1277 00001373: JUMPI 00001374: POP 00001375: PUSH1 0x0b 00001377: SLOAD 00001378: SWAP1 00001379: JUMP 0000137a: JUMPDEST 0000137b: PUSH0 0000137c: DUP2 0000137d: DUP4 0000137e: GT 0000137f: PUSH2 0x1388 00001382: JUMPI 00001383: DUP3 00001384: PUSH2 0x12fc 00001387: JUMP 00001388: JUMPDEST 00001389: POP 0000138a: SWAP2 0000138b: SWAP1 0000138c: POP 0000138d: JUMP 0000138e: JUMPDEST 0000138f: PUSH0 00001390: PUSH2 0x12fc 00001393: DUP4 00001394: DUP4 00001395: PUSH1 0x40 00001397: MLOAD 00001398: DUP1 00001399: PUSH1 0x40 0000139b: ADD 0000139c: PUSH1 0x40 0000139e: MSTORE 0000139f: DUP1 000013a0: PUSH1 0x1e 000013a2: DUP2 000013a3: MSTORE 000013a4: PUSH1 0x20 000013a6: ADD 000013a7: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 000013c8: DUP2 000013c9: MSTORE 000013ca: POP 000013cb: PUSH2 0x105e 000013ce: JUMP 000013cf: JUMPDEST 000013d0: PUSH0 000013d1: DUP1 000013d2: PUSH2 0x13db 000013d5: DUP4 000013d6: DUP6 000013d7: PUSH2 0x1728 000013da: JUMP 000013db: JUMPDEST 000013dc: SWAP1 000013dd: POP 000013de: DUP4 000013df: DUP2 000013e0: LT 000013e1: ISZERO 000013e2: PUSH2 0x12fc 000013e5: JUMPI 000013e6: PUSH1 0x40 000013e8: MLOAD 000013e9: PUSH3 0x461bcd 000013ed: PUSH1 0xe5 000013ef: SHL 000013f0: DUP2 000013f1: MSTORE 000013f2: PUSH1 0x20 000013f4: PUSH1 0x04 000013f6: DUP3 000013f7: ADD 000013f8: MSTORE 000013f9: PUSH1 0x1b 000013fb: PUSH1 0x24 000013fd: DUP3 000013fe: ADD 000013ff: MSTORE 00001400: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00001421: PUSH1 0x44 00001423: DUP3 00001424: ADD 00001425: MSTORE 00001426: PUSH1 0x64 00001428: ADD 00001429: PUSH2 0x0455 0000142c: JUMP 0000142d: JUMPDEST 0000142e: PUSH0 0000142f: DUP2 00001430: DUP4 00001431: PUSH2 0x144d 00001434: JUMPI 00001435: PUSH1 0x40 00001437: MLOAD 00001438: PUSH3 0x461bcd 0000143c: PUSH1 0xe5 0000143e: SHL 0000143f: DUP2 00001440: MSTORE 00001441: PUSH1 0x04 00001443: ADD 00001444: PUSH2 0x0455 00001447: SWAP2 00001448: SWAP1 00001449: PUSH2 0x1459 0000144c: JUMP 0000144d: JUMPDEST 0000144e: POP 0000144f: PUSH0 00001450: PUSH2 0x108d 00001453: DUP5 00001454: DUP7 00001455: PUSH2 0x17e9 00001458: JUMP 00001459: JUMPDEST 0000145a: PUSH0 0000145b: PUSH1 0x20 0000145d: DUP1 0000145e: DUP4 0000145f: MSTORE 00001460: DUP4 00001461: MLOAD 00001462: DUP1 00001463: DUP3 00001464: DUP6 00001465: ADD 00001466: MSTORE 00001467: PUSH0 00001468: JUMPDEST 00001469: DUP2 0000146a: DUP2 0000146b: LT 0000146c: ISZERO 0000146d: PUSH2 0x1484 00001470: JUMPI 00001471: DUP6 00001472: DUP2 00001473: ADD 00001474: DUP4 00001475: ADD 00001476: MLOAD 00001477: DUP6 00001478: DUP3 00001479: ADD 0000147a: PUSH1 0x40 0000147c: ADD 0000147d: MSTORE 0000147e: DUP3 0000147f: ADD 00001480: PUSH2 0x1468 00001483: JUMP 00001484: JUMPDEST 00001485: POP 00001486: PUSH0 00001487: PUSH1 0x40 00001489: DUP3 0000148a: DUP7 0000148b: ADD 0000148c: ADD 0000148d: MSTORE 0000148e: PUSH1 0x40 00001490: PUSH1 0x1f 00001492: NOT 00001493: PUSH1 0x1f 00001495: DUP4 00001496: ADD 00001497: AND 00001498: DUP6 00001499: ADD 0000149a: ADD 0000149b: SWAP3 0000149c: POP 0000149d: POP 0000149e: POP 0000149f: SWAP3 000014a0: SWAP2 000014a1: POP 000014a2: POP 000014a3: JUMP 000014a4: JUMPDEST 000014a5: PUSH1 0x01 000014a7: PUSH1 0x01 000014a9: PUSH1 0xa0 000014ab: SHL 000014ac: SUB 000014ad: DUP2 000014ae: AND 000014af: DUP2 000014b0: EQ 000014b1: PUSH2 0x14b8 000014b4: JUMPI 000014b5: PUSH0 000014b6: DUP1 000014b7: REVERT 000014b8: JUMPDEST 000014b9: POP 000014ba: JUMP 000014bb: JUMPDEST 000014bc: PUSH0 000014bd: DUP1 000014be: PUSH1 0x40 000014c0: DUP4 000014c1: DUP6 000014c2: SUB 000014c3: SLT 000014c4: ISZERO 000014c5: PUSH2 0x14cc 000014c8: JUMPI 000014c9: PUSH0 000014ca: DUP1 000014cb: REVERT 000014cc: JUMPDEST 000014cd: DUP3 000014ce: CALLDATALOAD 000014cf: PUSH2 0x14d7 000014d2: DUP2 000014d3: PUSH2 0x14a4 000014d6: JUMP 000014d7: JUMPDEST 000014d8: SWAP5 000014d9: PUSH1 0x20 000014db: SWAP4 000014dc: SWAP1 000014dd: SWAP4 000014de: ADD 000014df: CALLDATALOAD 000014e0: SWAP4 000014e1: POP 000014e2: POP 000014e3: POP 000014e4: JUMP 000014e5: JUMPDEST 000014e6: PUSH0 000014e7: DUP1 000014e8: PUSH0 000014e9: PUSH1 0x60 000014eb: DUP5 000014ec: DUP7 000014ed: SUB 000014ee: SLT 000014ef: ISZERO 000014f0: PUSH2 0x14f7 000014f3: JUMPI 000014f4: PUSH0 000014f5: DUP1 000014f6: REVERT 000014f7: JUMPDEST 000014f8: DUP4 000014f9: CALLDATALOAD 000014fa: PUSH2 0x1502 000014fd: DUP2 000014fe: PUSH2 0x14a4 00001501: JUMP 00001502: JUMPDEST 00001503: SWAP3 00001504: POP 00001505: PUSH1 0x20 00001507: DUP5 00001508: ADD 00001509: CALLDATALOAD 0000150a: PUSH2 0x1512 0000150d: DUP2 0000150e: PUSH2 0x14a4 00001511: JUMP 00001512: JUMPDEST 00001513: SWAP3 00001514: SWAP6 00001515: SWAP3 00001516: SWAP5 00001517: POP 00001518: POP 00001519: POP 0000151a: PUSH1 0x40 0000151c: SWAP2 0000151d: SWAP1 0000151e: SWAP2 0000151f: ADD 00001520: CALLDATALOAD 00001521: SWAP1 00001522: JUMP 00001523: JUMPDEST 00001524: PUSH0 00001525: PUSH1 0x20 00001527: DUP3 00001528: DUP5 00001529: SUB 0000152a: SLT 0000152b: ISZERO 0000152c: PUSH2 0x1533 0000152f: JUMPI 00001530: PUSH0 00001531: DUP1 00001532: REVERT 00001533: JUMPDEST 00001534: DUP2 00001535: CALLDATALOAD 00001536: PUSH2 0x12fc 00001539: DUP2 0000153a: PUSH2 0x14a4 0000153d: JUMP 0000153e: JUMPDEST 0000153f: PUSH0 00001540: DUP1 00001541: PUSH1 0x40 00001543: DUP4 00001544: DUP6 00001545: SUB 00001546: SLT 00001547: ISZERO 00001548: PUSH2 0x154f 0000154b: JUMPI 0000154c: PUSH0 0000154d: DUP1 0000154e: REVERT 0000154f: JUMPDEST 00001550: DUP3 00001551: CALLDATALOAD 00001552: PUSH2 0x155a 00001555: DUP2 00001556: PUSH2 0x14a4 00001559: JUMP 0000155a: JUMPDEST 0000155b: SWAP2 0000155c: POP 0000155d: PUSH1 0x20 0000155f: DUP4 00001560: ADD 00001561: CALLDATALOAD 00001562: PUSH2 0x156a 00001565: DUP2 00001566: PUSH2 0x14a4 00001569: JUMP 0000156a: JUMPDEST 0000156b: DUP1 0000156c: SWAP2 0000156d: POP 0000156e: POP 0000156f: SWAP3 00001570: POP 00001571: SWAP3 00001572: SWAP1 00001573: POP 00001574: JUMP 00001575: JUMPDEST 00001576: PUSH4 0x4e487b71 0000157b: PUSH1 0xe0 0000157d: SHL 0000157e: PUSH0 0000157f: MSTORE 00001580: PUSH1 0x11 00001582: PUSH1 0x04 00001584: MSTORE 00001585: PUSH1 0x24 00001587: PUSH0 00001588: REVERT 00001589: JUMPDEST 0000158a: PUSH1 0x01 0000158c: DUP2 0000158d: DUP2 0000158e: JUMPDEST 0000158f: DUP1 00001590: DUP6 00001591: GT 00001592: ISZERO 00001593: PUSH2 0x15c3 00001596: JUMPI 00001597: DUP2 00001598: PUSH0 00001599: NOT 0000159a: DIV 0000159b: DUP3 0000159c: GT 0000159d: ISZERO 0000159e: PUSH2 0x15a9 000015a1: JUMPI 000015a2: PUSH2 0x15a9 000015a5: PUSH2 0x1575 000015a8: JUMP 000015a9: JUMPDEST 000015aa: DUP1 000015ab: DUP6 000015ac: AND 000015ad: ISZERO 000015ae: PUSH2 0x15b6 000015b1: JUMPI 000015b2: SWAP2 000015b3: DUP2 000015b4: MUL 000015b5: SWAP2 000015b6: JUMPDEST 000015b7: SWAP4 000015b8: DUP5 000015b9: SHR 000015ba: SWAP4 000015bb: SWAP1 000015bc: DUP1 000015bd: MUL 000015be: SWAP1 000015bf: PUSH2 0x158e 000015c2: JUMP 000015c3: JUMPDEST 000015c4: POP 000015c5: SWAP3 000015c6: POP 000015c7: SWAP3 000015c8: SWAP1 000015c9: POP 000015ca: JUMP 000015cb: JUMPDEST 000015cc: PUSH0 000015cd: DUP3 000015ce: PUSH2 0x15d9 000015d1: JUMPI 000015d2: POP 000015d3: PUSH1 0x01 000015d5: PUSH2 0x039f 000015d8: JUMP 000015d9: JUMPDEST 000015da: DUP2 000015db: PUSH2 0x15e5 000015de: JUMPI 000015df: POP 000015e0: PUSH0 000015e1: PUSH2 0x039f 000015e4: JUMP 000015e5: JUMPDEST 000015e6: DUP2 000015e7: PUSH1 0x01 000015e9: DUP2 000015ea: EQ 000015eb: PUSH2 0x15fb 000015ee: JUMPI 000015ef: PUSH1 0x02 000015f1: DUP2 000015f2: EQ 000015f3: PUSH2 0x1605 000015f6: JUMPI 000015f7: PUSH2 0x1621 000015fa: JUMP 000015fb: JUMPDEST 000015fc: PUSH1 0x01 000015fe: SWAP2 000015ff: POP 00001600: POP 00001601: PUSH2 0x039f 00001604: JUMP 00001605: JUMPDEST 00001606: PUSH1 0xff 00001608: DUP5 00001609: GT 0000160a: ISZERO 0000160b: PUSH2 0x1616 0000160e: JUMPI 0000160f: PUSH2 0x1616 00001612: PUSH2 0x1575 00001615: JUMP 00001616: JUMPDEST 00001617: POP 00001618: POP 00001619: PUSH1 0x01 0000161b: DUP3 0000161c: SHL 0000161d: PUSH2 0x039f 00001620: JUMP 00001621: JUMPDEST 00001622: POP 00001623: PUSH1 0x20 00001625: DUP4 00001626: LT 00001627: PUSH2 0x0133 0000162a: DUP4 0000162b: LT 0000162c: AND 0000162d: PUSH1 0x4e 0000162f: DUP5 00001630: LT 00001631: PUSH1 0x0b 00001633: DUP5 00001634: LT 00001635: AND 00001636: OR 00001637: ISZERO 00001638: PUSH2 0x1644 0000163b: JUMPI 0000163c: POP 0000163d: DUP2 0000163e: DUP2 0000163f: EXP 00001640: PUSH2 0x039f 00001643: JUMP 00001644: JUMPDEST 00001645: PUSH2 0x164e 00001648: DUP4 00001649: DUP4 0000164a: PUSH2 0x1589 0000164d: JUMP 0000164e: JUMPDEST 0000164f: DUP1 00001650: PUSH0 00001651: NOT 00001652: DIV 00001653: DUP3 00001654: GT 00001655: ISZERO 00001656: PUSH2 0x1661 00001659: JUMPI 0000165a: PUSH2 0x1661 0000165d: PUSH2 0x1575 00001660: JUMP 00001661: JUMPDEST 00001662: MUL 00001663: SWAP4 00001664: SWAP3 00001665: POP 00001666: POP 00001667: POP 00001668: JUMP 00001669: JUMPDEST 0000166a: PUSH0 0000166b: PUSH2 0x12fc 0000166e: PUSH1 0xff 00001670: DUP5 00001671: AND 00001672: DUP4 00001673: PUSH2 0x15cb 00001676: JUMP 00001677: JUMPDEST 00001678: DUP1 00001679: DUP3 0000167a: MUL 0000167b: DUP2 0000167c: ISZERO 0000167d: DUP3 0000167e: DUP3 0000167f: DIV 00001680: DUP5 00001681: EQ 00001682: OR 00001683: PUSH2 0x039f 00001686: JUMPI 00001687: PUSH2 0x039f 0000168a: PUSH2 0x1575 0000168d: JUMP 0000168e: JUMPDEST 0000168f: PUSH1 0x20 00001691: DUP1 00001692: DUP3 00001693: MSTORE 00001694: DUP2 00001695: DUP2 00001696: ADD 00001697: MSTORE 00001698: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000016b9: PUSH1 0x40 000016bb: DUP3 000016bc: ADD 000016bd: MSTORE 000016be: PUSH1 0x60 000016c0: ADD 000016c1: SWAP1 000016c2: JUMP 000016c3: JUMPDEST 000016c4: PUSH0 000016c5: PUSH1 0x20 000016c7: DUP3 000016c8: DUP5 000016c9: SUB 000016ca: SLT 000016cb: ISZERO 000016cc: PUSH2 0x16d3 000016cf: JUMPI 000016d0: PUSH0 000016d1: DUP1 000016d2: REVERT 000016d3: JUMPDEST 000016d4: DUP2 000016d5: MLOAD 000016d6: PUSH2 0x12fc 000016d9: DUP2 000016da: PUSH2 0x14a4 000016dd: JUMP 000016de: JUMPDEST 000016df: PUSH0 000016e0: DUP1 000016e1: PUSH0 000016e2: PUSH1 0x60 000016e4: DUP5 000016e5: DUP7 000016e6: SUB 000016e7: SLT 000016e8: ISZERO 000016e9: PUSH2 0x16f0 000016ec: JUMPI 000016ed: PUSH0 000016ee: DUP1 000016ef: REVERT 000016f0: JUMPDEST 000016f1: DUP4 000016f2: MLOAD 000016f3: SWAP3 000016f4: POP 000016f5: PUSH1 0x20 000016f7: DUP5 000016f8: ADD 000016f9: MLOAD 000016fa: SWAP2 000016fb: POP 000016fc: PUSH1 0x40 000016fe: DUP5 000016ff: ADD 00001700: MLOAD 00001701: SWAP1 00001702: POP 00001703: SWAP3 00001704: POP 00001705: SWAP3 00001706: POP 00001707: SWAP3 00001708: JUMP 00001709: JUMPDEST 0000170a: PUSH0 0000170b: PUSH1 0x20 0000170d: DUP3 0000170e: DUP5 0000170f: SUB 00001710: SLT 00001711: ISZERO 00001712: PUSH2 0x1719 00001715: JUMPI 00001716: PUSH0 00001717: DUP1 00001718: REVERT 00001719: JUMPDEST 0000171a: DUP2 0000171b: MLOAD 0000171c: DUP1 0000171d: ISZERO 0000171e: ISZERO 0000171f: DUP2 00001720: EQ 00001721: PUSH2 0x12fc 00001724: JUMPI 00001725: PUSH0 00001726: DUP1 00001727: REVERT 00001728: JUMPDEST 00001729: DUP1 0000172a: DUP3 0000172b: ADD 0000172c: DUP1 0000172d: DUP3 0000172e: GT 0000172f: ISZERO 00001730: PUSH2 0x039f 00001733: JUMPI 00001734: PUSH2 0x039f 00001737: PUSH2 0x1575 0000173a: JUMP 0000173b: JUMPDEST 0000173c: PUSH0 0000173d: PUSH1 0x01 0000173f: DUP3 00001740: ADD 00001741: PUSH2 0x174c 00001744: JUMPI 00001745: PUSH2 0x174c 00001748: PUSH2 0x1575 0000174b: JUMP 0000174c: JUMPDEST 0000174d: POP 0000174e: PUSH1 0x01 00001750: ADD 00001751: SWAP1 00001752: JUMP 00001753: JUMPDEST 00001754: DUP2 00001755: DUP2 00001756: SUB 00001757: DUP2 00001758: DUP2 00001759: GT 0000175a: ISZERO 0000175b: PUSH2 0x039f 0000175e: JUMPI 0000175f: PUSH2 0x039f 00001762: PUSH2 0x1575 00001765: JUMP 00001766: JUMPDEST 00001767: PUSH4 0x4e487b71 0000176c: PUSH1 0xe0 0000176e: SHL 0000176f: PUSH0 00001770: MSTORE 00001771: PUSH1 0x32 00001773: PUSH1 0x04 00001775: MSTORE 00001776: PUSH1 0x24 00001778: PUSH0 00001779: REVERT 0000177a: JUMPDEST 0000177b: PUSH0 0000177c: PUSH1 0xa0 0000177e: DUP3 0000177f: ADD 00001780: DUP8 00001781: DUP4 00001782: MSTORE 00001783: PUSH1 0x20 00001785: DUP8 00001786: DUP2 00001787: DUP6 00001788: ADD 00001789: MSTORE 0000178a: PUSH1 0xa0 0000178c: PUSH1 0x40 0000178e: DUP6 0000178f: ADD 00001790: MSTORE 00001791: DUP2 00001792: DUP8 00001793: MLOAD 00001794: DUP1 00001795: DUP5 00001796: MSTORE 00001797: PUSH1 0xc0 00001799: DUP7 0000179a: ADD 0000179b: SWAP2 0000179c: POP 0000179d: DUP3 0000179e: DUP10 0000179f: ADD 000017a0: SWAP4 000017a1: POP 000017a2: PUSH0 000017a3: JUMPDEST 000017a4: DUP2 000017a5: DUP2 000017a6: LT 000017a7: ISZERO 000017a8: PUSH2 0x17c8 000017ab: JUMPI 000017ac: DUP5 000017ad: MLOAD 000017ae: PUSH1 0x01 000017b0: PUSH1 0x01 000017b2: PUSH1 0xa0 000017b4: SHL 000017b5: SUB 000017b6: AND 000017b7: DUP4 000017b8: MSTORE 000017b9: SWAP4 000017ba: DUP4 000017bb: ADD 000017bc: SWAP4 000017bd: SWAP2 000017be: DUP4 000017bf: ADD 000017c0: SWAP2 000017c1: PUSH1 0x01 000017c3: ADD 000017c4: PUSH2 0x17a3 000017c7: JUMP 000017c8: JUMPDEST 000017c9: POP 000017ca: POP 000017cb: PUSH1 0x01 000017cd: PUSH1 0x01 000017cf: PUSH1 0xa0 000017d1: SHL 000017d2: SUB 000017d3: SWAP7 000017d4: SWAP1 000017d5: SWAP7 000017d6: AND 000017d7: PUSH1 0x60 000017d9: DUP6 000017da: ADD 000017db: MSTORE 000017dc: POP 000017dd: POP 000017de: POP 000017df: PUSH1 0x80 000017e1: ADD 000017e2: MSTORE 000017e3: SWAP4 000017e4: SWAP3 000017e5: POP 000017e6: POP 000017e7: POP 000017e8: JUMP 000017e9: JUMPDEST 000017ea: PUSH0 000017eb: DUP3 000017ec: PUSH2 0x1803 000017ef: JUMPI 000017f0: PUSH4 0x4e487b71 000017f5: PUSH1 0xe0 000017f7: SHL 000017f8: PUSH0 000017f9: MSTORE 000017fa: PUSH1 0x12 000017fc: PUSH1 0x04 000017fe: MSTORE 000017ff: PUSH1 0x24 00001801: PUSH0 00001802: REVERT 00001803: JUMPDEST 00001804: POP 00001805: DIV 00001806: SWAP1 00001807: JUMP 00001808: INVALID 00001809: GASLIMIT 0000180a: MSTORE 0000180b: NUMBER 0000180c: ORIGIN 0000180d: ADDRESS 0000180e: GASPRICE 0000180f: KECCAK256 00001810: PUSH21 0x72616e7366657220616d6f756e7420657863656564 00001826: PUSH20 0x20616c6c6f77616e6365a2646970667358221220 0000183b: SWAP6 0000183c: SUB 0000183d: UNKNOWN(0xE5) 0000183e: SHR 0000183f: UNKNOWN(0xED) 00001840: STATICCALL 00001841: PUSH22 0xeb0913747e08fa2778fc643025d2f5e2923850dbf47a 00001858: UNKNOWN(0x21) 00001859: JUMPDEST 0000185a: LOG2 0000185b: PUSH5 0x736f6c6343 00001861: STOP 00001862: ADDMOD 00001863: ISZERO 00001864: STOP 00001865: 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": "0xa9059cbb",
"selector": "0xa9059cbb",
"calldata_variants": [
"0xa9059cbb",
"0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf474bed",
"selector": "0xbf474bed",
"calldata_variants": [
"0xbf474bed",
"0xbf474bed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc876d0b9",
"selector": "0xc876d0b9",
"calldata_variants": [
"0xc876d0b9",
"0xc876d0b90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9567bf9",
"selector": "0xc9567bf9",
"calldata_variants": [
"0xc9567bf9",
"0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d1db4a5",
"selector": "0x7d1db4a5",
"calldata_variants": [
"0x7d1db4a5",
"0x7d1db4a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8f9a55c0",
"selector": "0x8f9a55c0",
"calldata_variants": [
"0x8f9a55c0",
"0x8f9a55c00000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 3139,
"type": "tx_origin_used"
},
{
"pc": 3288,
"type": "tx_origin_used"
},
{
"pc": 6156,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xc218060dfafa0b38cc024bed218c1b3ea820b5c6fa8ce528e1766563ac9e71e1
call_targets:
0x4ca3cd9b81930d77c8f2c30f21e763f89d57250f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc218060dfafa0b38cc024bed218c1b3ea820b5c6fa8ce528e1766563ac9e71e1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x4ca3cd9b81930d77c8f2c30f21e763f89d57250f"
],
"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": "0xbf474bed",
"selector": "0xbf474bed",
"calldata_variants": [
"0xbf474bed",
"0xbf474bed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc876d0b9",
"selector": "0xc876d0b9",
"calldata_variants": [
"0xc876d0b9",
"0xc876d0b90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9567bf9",
"selector": "0xc9567bf9",
"calldata_variants": [
"0xc9567bf9",
"0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d1db4a5",
"selector": "0x7d1db4a5",
"calldata_variants": [
"0x7d1db4a5",
"0x7d1db4a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8f9a55c0",
"selector": "0x8f9a55c0",
"calldata_variants": [
"0x8f9a55c0",
"0x8f9a55c00000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1985,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2213,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2335,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [
{
"pc": 3139,
"type": "tx_origin_used"
},
{
"pc": 3288,
"type": "tx_origin_used"
},
{
"pc": 6156,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 5
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xc218060dfafa0b38cc024bed218c1b3ea820b5c6fa8ce528e1766563ac9e71e1
call_targets:
0x4ca3cd9b81930d77c8f2c30f21e763f89d57250f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc218060dfafa0b38cc024bed218c1b3ea820b5c6fa8ce528e1766563ac9e71e1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x4ca3cd9b81930d77c8f2c30f21e763f89d57250f"
],
"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": "0xbf474bed",
"selector": "0xbf474bed",
"calldata_variants": [
"0xbf474bed",
"0xbf474bed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc876d0b9",
"selector": "0xc876d0b9",
"calldata_variants": [
"0xc876d0b9",
"0xc876d0b90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9567bf9",
"selector": "0xc9567bf9",
"calldata_variants": [
"0xc9567bf9",
"0xc9567bf90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d1db4a5",
"selector": "0x7d1db4a5",
"calldata_variants": [
"0x7d1db4a5",
"0x7d1db4a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8f9a55c0",
"selector": "0x8f9a55c0",
"calldata_variants": [
"0x8f9a55c0",
"0x8f9a55c00000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1985,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2213,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2335,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": [
{
"pc": 3139,
"type": "tx_origin_used"
},
{
"pc": 3288,
"type": "tx_origin_used"
},
{
"pc": 6156,
"type": "tx_origin_used"
}
]
}
|