019b3844-a029-7118-a4b1-057c35b90890
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 |
|---|---|---|---|---|
| 15221 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 15222 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 100331 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 100332 | capability.graph | complete | 1 / 3 | 1 week ago |
| 100333 | detector.run | complete | 1 / 3 | 1 week ago |
| 100334 | 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 0x0180 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x997664d7 00000019: GT 0000001a: PUSH2 0x00d6 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xdf047e9e 00000024: GT 00000025: PUSH2 0x007f 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xf1fffdcb 0000002f: GT 00000030: PUSH2 0x0059 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xf1fffdcb 0000003a: EQ 0000003b: PUSH2 0x0444 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf6ed2017 00000045: EQ 00000046: PUSH2 0x0464 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xffd49c84 00000050: EQ 00000051: PUSH2 0x0484 00000054: JUMPI 00000055: PUSH1 0x00 00000057: DUP1 00000058: REVERT 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0xdf047e9e 00000060: EQ 00000061: PUSH2 0x03f8 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0xe2d2e219 0000006b: EQ 0000006c: PUSH2 0x0418 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xefca2eed 00000076: EQ 00000077: PUSH2 0x042e 0000007a: JUMPI 0000007b: PUSH1 0x00 0000007d: DUP1 0000007e: REVERT 0000007f: JUMPDEST 00000080: DUP1 00000081: PUSH4 0xce7c2ac2 00000086: GT 00000087: PUSH2 0x00b0 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0xce7c2ac2 00000091: EQ 00000092: PUSH2 0x0347 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0xd59b2ffd 0000009c: EQ 0000009d: PUSH2 0x03a9 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0xd947f519 000000a7: EQ 000000a8: PUSH2 0x03e2 000000ab: JUMPI 000000ac: PUSH1 0x00 000000ae: DUP1 000000af: REVERT 000000b0: JUMPDEST 000000b1: DUP1 000000b2: PUSH4 0x997664d7 000000b7: EQ 000000b8: PUSH2 0x02df 000000bb: JUMPI 000000bc: DUP1 000000bd: PUSH4 0xa9e732bb 000000c2: EQ 000000c3: PUSH2 0x02f5 000000c6: JUMPI 000000c7: DUP1 000000c8: PUSH4 0xc8a4a3de 000000cd: EQ 000000ce: PUSH2 0x0315 000000d1: JUMPI 000000d2: PUSH1 0x00 000000d4: DUP1 000000d5: REVERT 000000d6: JUMPDEST 000000d7: DUP1 000000d8: PUSH4 0x5695fa58 000000dd: GT 000000de: PUSH2 0x0138 000000e1: JUMPI 000000e2: DUP1 000000e3: PUSH4 0x8129fc1c 000000e8: GT 000000e9: PUSH2 0x0112 000000ec: JUMPI 000000ed: DUP1 000000ee: PUSH4 0x8129fc1c 000000f3: EQ 000000f4: PUSH2 0x02a2 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0x86d5c4be 000000fe: EQ 000000ff: PUSH2 0x02b7 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x8cd7f02e 00000109: EQ 0000010a: PUSH2 0x02bf 0000010d: JUMPI 0000010e: PUSH1 0x00 00000110: DUP1 00000111: REVERT 00000112: JUMPDEST 00000113: DUP1 00000114: PUSH4 0x5695fa58 00000119: EQ 0000011a: PUSH2 0x0230 0000011d: JUMPI 0000011e: DUP1 0000011f: PUSH4 0x5e57966d 00000124: EQ 00000125: PUSH2 0x0245 00000128: JUMPI 00000129: DUP1 0000012a: PUSH4 0x5e6056bb 0000012f: EQ 00000130: PUSH2 0x0272 00000133: JUMPI 00000134: PUSH1 0x00 00000136: DUP1 00000137: REVERT 00000138: JUMPDEST 00000139: DUP1 0000013a: PUSH4 0x1e937842 0000013f: GT 00000140: PUSH2 0x0169 00000143: JUMPI 00000144: DUP1 00000145: PUSH4 0x1e937842 0000014a: EQ 0000014b: PUSH2 0x01d0 0000014e: JUMPI 0000014f: DUP1 00000150: PUSH4 0x2e6f0efd 00000155: EQ 00000156: PUSH2 0x01fa 00000159: JUMPI 0000015a: DUP1 0000015b: PUSH4 0x3a98ef39 00000160: EQ 00000161: PUSH2 0x021a 00000164: JUMPI 00000165: PUSH1 0x00 00000167: DUP1 00000168: REVERT 00000169: JUMPDEST 0000016a: DUP1 0000016b: PUSH4 0x11ce023d 00000170: EQ 00000171: PUSH2 0x0185 00000174: JUMPI 00000175: DUP1 00000176: PUSH4 0x144fa6d7 0000017b: EQ 0000017c: PUSH2 0x01ae 0000017f: JUMPI 00000180: JUMPDEST 00000181: PUSH1 0x00 00000183: DUP1 00000184: REVERT 00000185: JUMPDEST 00000186: CALLVALUE 00000187: DUP1 00000188: ISZERO 00000189: PUSH2 0x0191 0000018c: JUMPI 0000018d: PUSH1 0x00 0000018f: DUP1 00000190: REVERT 00000191: JUMPDEST 00000192: POP 00000193: PUSH2 0x019b 00000196: PUSH1 0x0b 00000198: SLOAD 00000199: DUP2 0000019a: JUMP 0000019b: JUMPDEST 0000019c: PUSH1 0x40 0000019e: MLOAD 0000019f: SWAP1 000001a0: DUP2 000001a1: MSTORE 000001a2: PUSH1 0x20 000001a4: ADD 000001a5: JUMPDEST 000001a6: PUSH1 0x40 000001a8: MLOAD 000001a9: DUP1 000001aa: SWAP2 000001ab: SUB 000001ac: SWAP1 000001ad: RETURN 000001ae: JUMPDEST 000001af: CALLVALUE 000001b0: DUP1 000001b1: ISZERO 000001b2: PUSH2 0x01ba 000001b5: JUMPI 000001b6: PUSH1 0x00 000001b8: DUP1 000001b9: REVERT 000001ba: JUMPDEST 000001bb: POP 000001bc: PUSH2 0x01ce 000001bf: PUSH2 0x01c9 000001c2: CALLDATASIZE 000001c3: PUSH1 0x04 000001c5: PUSH2 0x1477 000001c8: JUMP 000001c9: JUMPDEST 000001ca: PUSH2 0x049a 000001cd: JUMP 000001ce: JUMPDEST 000001cf: STOP 000001d0: JUMPDEST 000001d1: CALLVALUE 000001d2: DUP1 000001d3: ISZERO 000001d4: PUSH2 0x01dc 000001d7: JUMPI 000001d8: PUSH1 0x00 000001da: DUP1 000001db: REVERT 000001dc: JUMPDEST 000001dd: POP 000001de: PUSH1 0x0f 000001e0: SLOAD 000001e1: PUSH2 0x01ea 000001e4: SWAP1 000001e5: PUSH1 0xff 000001e7: AND 000001e8: DUP2 000001e9: JUMP 000001ea: JUMPDEST 000001eb: PUSH1 0x40 000001ed: MLOAD 000001ee: SWAP1 000001ef: ISZERO 000001f0: ISZERO 000001f1: DUP2 000001f2: MSTORE 000001f3: PUSH1 0x20 000001f5: ADD 000001f6: PUSH2 0x01a5 000001f9: JUMP 000001fa: JUMPDEST 000001fb: CALLVALUE 000001fc: DUP1 000001fd: ISZERO 000001fe: PUSH2 0x0206 00000201: JUMPI 00000202: PUSH1 0x00 00000204: DUP1 00000205: REVERT 00000206: JUMPDEST 00000207: POP 00000208: PUSH2 0x01ce 0000020b: PUSH2 0x0215 0000020e: CALLDATASIZE 0000020f: PUSH1 0x04 00000211: PUSH2 0x1477 00000214: JUMP 00000215: JUMPDEST 00000216: PUSH2 0x0618 00000219: JUMP 0000021a: JUMPDEST 0000021b: CALLVALUE 0000021c: DUP1 0000021d: ISZERO 0000021e: PUSH2 0x0226 00000221: JUMPI 00000222: PUSH1 0x00 00000224: DUP1 00000225: REVERT 00000226: JUMPDEST 00000227: POP 00000228: PUSH2 0x019b 0000022b: PUSH1 0x07 0000022d: SLOAD 0000022e: DUP2 0000022f: JUMP 00000230: JUMPDEST 00000231: CALLVALUE 00000232: DUP1 00000233: ISZERO 00000234: PUSH2 0x023c 00000237: JUMPI 00000238: PUSH1 0x00 0000023a: DUP1 0000023b: REVERT 0000023c: JUMPDEST 0000023d: POP 0000023e: PUSH1 0x09 00000240: SLOAD 00000241: PUSH2 0x019b 00000244: JUMP 00000245: JUMPDEST 00000246: CALLVALUE 00000247: DUP1 00000248: ISZERO 00000249: PUSH2 0x0251 0000024c: JUMPI 0000024d: PUSH1 0x00 0000024f: DUP1 00000250: REVERT 00000251: JUMPDEST 00000252: POP 00000253: PUSH2 0x0265 00000256: PUSH2 0x0260 00000259: CALLDATASIZE 0000025a: PUSH1 0x04 0000025c: PUSH2 0x1477 0000025f: JUMP 00000260: JUMPDEST 00000261: PUSH2 0x06a8 00000264: JUMP 00000265: JUMPDEST 00000266: PUSH1 0x40 00000268: MLOAD 00000269: PUSH2 0x01a5 0000026c: SWAP2 0000026d: SWAP1 0000026e: PUSH2 0x1513 00000271: JUMP 00000272: JUMPDEST 00000273: CALLVALUE 00000274: DUP1 00000275: ISZERO 00000276: PUSH2 0x027e 00000279: JUMPI 0000027a: PUSH1 0x00 0000027c: DUP1 0000027d: REVERT 0000027e: JUMPDEST 0000027f: POP 00000280: PUSH2 0x0292 00000283: PUSH2 0x028d 00000286: CALLDATASIZE 00000287: PUSH1 0x04 00000289: PUSH2 0x1477 0000028c: JUMP 0000028d: JUMPDEST 0000028e: PUSH2 0x0980 00000291: JUMP 00000292: JUMPDEST 00000293: PUSH1 0x40 00000295: MLOAD 00000296: PUSH2 0x01a5 00000299: SWAP5 0000029a: SWAP4 0000029b: SWAP3 0000029c: SWAP2 0000029d: SWAP1 0000029e: PUSH2 0x1526 000002a1: JUMP 000002a2: JUMPDEST 000002a3: CALLVALUE 000002a4: DUP1 000002a5: ISZERO 000002a6: PUSH2 0x02ae 000002a9: JUMPI 000002aa: PUSH1 0x00 000002ac: DUP1 000002ad: REVERT 000002ae: JUMPDEST 000002af: POP 000002b0: PUSH2 0x01ce 000002b3: PUSH2 0x0ae5 000002b6: JUMP 000002b7: JUMPDEST 000002b8: PUSH2 0x01ce 000002bb: PUSH2 0x0b3e 000002be: JUMP 000002bf: JUMPDEST 000002c0: CALLVALUE 000002c1: DUP1 000002c2: ISZERO 000002c3: PUSH2 0x02cb 000002c6: JUMPI 000002c7: PUSH1 0x00 000002c9: DUP1 000002ca: REVERT 000002cb: JUMPDEST 000002cc: POP 000002cd: PUSH2 0x01ce 000002d0: PUSH2 0x02da 000002d3: CALLDATASIZE 000002d4: PUSH1 0x04 000002d6: PUSH2 0x157e 000002d9: JUMP 000002da: JUMPDEST 000002db: PUSH2 0x0b88 000002de: JUMP 000002df: JUMPDEST 000002e0: CALLVALUE 000002e1: DUP1 000002e2: ISZERO 000002e3: PUSH2 0x02eb 000002e6: JUMPI 000002e7: PUSH1 0x00 000002e9: DUP1 000002ea: REVERT 000002eb: JUMPDEST 000002ec: POP 000002ed: PUSH2 0x019b 000002f0: PUSH1 0x08 000002f2: SLOAD 000002f3: DUP2 000002f4: JUMP 000002f5: JUMPDEST 000002f6: CALLVALUE 000002f7: DUP1 000002f8: ISZERO 000002f9: PUSH2 0x0301 000002fc: JUMPI 000002fd: PUSH1 0x00 000002ff: DUP1 00000300: REVERT 00000301: JUMPDEST 00000302: POP 00000303: PUSH2 0x01ce 00000306: PUSH2 0x0310 00000309: CALLDATASIZE 0000030a: PUSH1 0x04 0000030c: PUSH2 0x15a0 0000030f: JUMP 00000310: JUMPDEST 00000311: PUSH2 0x0c17 00000314: JUMP 00000315: JUMPDEST 00000316: CALLVALUE 00000317: DUP1 00000318: ISZERO 00000319: PUSH2 0x0321 0000031c: JUMPI 0000031d: PUSH1 0x00 0000031f: DUP1 00000320: REVERT 00000321: JUMPDEST 00000322: POP 00000323: PUSH1 0x00 00000325: SLOAD 00000326: PUSH1 0x01 00000328: PUSH1 0x01 0000032a: PUSH1 0xa0 0000032c: SHL 0000032d: SUB 0000032e: AND 0000032f: JUMPDEST 00000330: PUSH1 0x40 00000332: MLOAD 00000333: PUSH1 0x01 00000335: PUSH1 0x01 00000337: PUSH1 0xa0 00000339: SHL 0000033a: SUB 0000033b: SWAP1 0000033c: SWAP2 0000033d: AND 0000033e: DUP2 0000033f: MSTORE 00000340: PUSH1 0x20 00000342: ADD 00000343: PUSH2 0x01a5 00000346: JUMP 00000347: JUMPDEST 00000348: CALLVALUE 00000349: DUP1 0000034a: ISZERO 0000034b: PUSH2 0x0353 0000034e: JUMPI 0000034f: PUSH1 0x00 00000351: DUP1 00000352: REVERT 00000353: JUMPDEST 00000354: POP 00000355: PUSH2 0x0389 00000358: PUSH2 0x0362 0000035b: CALLDATASIZE 0000035c: PUSH1 0x04 0000035e: PUSH2 0x1477 00000361: JUMP 00000362: JUMPDEST 00000363: PUSH1 0x04 00000365: PUSH1 0x20 00000367: MSTORE 00000368: PUSH1 0x00 0000036a: SWAP1 0000036b: DUP2 0000036c: MSTORE 0000036d: PUSH1 0x40 0000036f: SWAP1 00000370: KECCAK256 00000371: DUP1 00000372: SLOAD 00000373: PUSH1 0x01 00000375: DUP3 00000376: ADD 00000377: SLOAD 00000378: PUSH1 0x02 0000037a: DUP4 0000037b: ADD 0000037c: SLOAD 0000037d: PUSH1 0x03 0000037f: SWAP1 00000380: SWAP4 00000381: ADD 00000382: SLOAD 00000383: SWAP2 00000384: SWAP3 00000385: SWAP1 00000386: SWAP2 00000387: DUP5 00000388: JUMP 00000389: JUMPDEST 0000038a: PUSH1 0x40 0000038c: DUP1 0000038d: MLOAD 0000038e: SWAP5 0000038f: DUP6 00000390: MSTORE 00000391: PUSH1 0x20 00000393: DUP6 00000394: ADD 00000395: SWAP4 00000396: SWAP1 00000397: SWAP4 00000398: MSTORE 00000399: SWAP2 0000039a: DUP4 0000039b: ADD 0000039c: MSTORE 0000039d: PUSH1 0x60 0000039f: DUP3 000003a0: ADD 000003a1: MSTORE 000003a2: PUSH1 0x80 000003a4: ADD 000003a5: PUSH2 0x01a5 000003a8: JUMP 000003a9: JUMPDEST 000003aa: CALLVALUE 000003ab: DUP1 000003ac: ISZERO 000003ad: PUSH2 0x03b5 000003b0: JUMPI 000003b1: PUSH1 0x00 000003b3: DUP1 000003b4: REVERT 000003b5: JUMPDEST 000003b6: POP 000003b7: PUSH2 0x019b 000003ba: PUSH2 0x03c4 000003bd: CALLDATASIZE 000003be: PUSH1 0x04 000003c0: PUSH2 0x1477 000003c3: JUMP 000003c4: JUMPDEST 000003c5: PUSH1 0x01 000003c7: PUSH1 0x01 000003c9: PUSH1 0xa0 000003cb: SHL 000003cc: SUB 000003cd: AND 000003ce: PUSH1 0x00 000003d0: SWAP1 000003d1: DUP2 000003d2: MSTORE 000003d3: PUSH1 0x04 000003d5: PUSH1 0x20 000003d7: MSTORE 000003d8: PUSH1 0x40 000003da: SWAP1 000003db: KECCAK256 000003dc: PUSH1 0x02 000003de: ADD 000003df: SLOAD 000003e0: SWAP1 000003e1: JUMP 000003e2: JUMPDEST 000003e3: CALLVALUE 000003e4: DUP1 000003e5: ISZERO 000003e6: PUSH2 0x03ee 000003e9: JUMPI 000003ea: PUSH1 0x00 000003ec: DUP1 000003ed: REVERT 000003ee: JUMPDEST 000003ef: POP 000003f0: PUSH2 0x019b 000003f3: PUSH1 0x0d 000003f5: SLOAD 000003f6: DUP2 000003f7: JUMP 000003f8: JUMPDEST 000003f9: CALLVALUE 000003fa: DUP1 000003fb: ISZERO 000003fc: PUSH2 0x0404 000003ff: JUMPI 00000400: PUSH1 0x00 00000402: DUP1 00000403: REVERT 00000404: JUMPDEST 00000405: POP 00000406: PUSH2 0x01ce 00000409: PUSH2 0x0413 0000040c: CALLDATASIZE 0000040d: PUSH1 0x04 0000040f: PUSH2 0x15b9 00000412: JUMP 00000413: JUMPDEST 00000414: PUSH2 0x0d84 00000417: JUMP 00000418: JUMPDEST 00000419: CALLVALUE 0000041a: DUP1 0000041b: ISZERO 0000041c: PUSH2 0x0424 0000041f: JUMPI 00000420: PUSH1 0x00 00000422: DUP1 00000423: REVERT 00000424: JUMPDEST 00000425: POP 00000426: PUSH2 0x019b 00000429: PUSH1 0x0a 0000042b: SLOAD 0000042c: DUP2 0000042d: JUMP 0000042e: JUMPDEST 0000042f: CALLVALUE 00000430: DUP1 00000431: ISZERO 00000432: PUSH2 0x043a 00000435: JUMPI 00000436: PUSH1 0x00 00000438: DUP1 00000439: REVERT 0000043a: JUMPDEST 0000043b: POP 0000043c: PUSH2 0x019b 0000043f: PUSH1 0x09 00000441: SLOAD 00000442: DUP2 00000443: JUMP 00000444: JUMPDEST 00000445: CALLVALUE 00000446: DUP1 00000447: ISZERO 00000448: PUSH2 0x0450 0000044b: JUMPI 0000044c: PUSH1 0x00 0000044e: DUP1 0000044f: REVERT 00000450: JUMPDEST 00000451: POP 00000452: PUSH1 0x06 00000454: SLOAD 00000455: PUSH2 0x032f 00000458: SWAP1 00000459: PUSH1 0x01 0000045b: PUSH1 0x01 0000045d: PUSH1 0xa0 0000045f: SHL 00000460: SUB 00000461: AND 00000462: DUP2 00000463: JUMP 00000464: JUMPDEST 00000465: CALLVALUE 00000466: DUP1 00000467: ISZERO 00000468: PUSH2 0x0470 0000046b: JUMPI 0000046c: PUSH1 0x00 0000046e: DUP1 0000046f: REVERT 00000470: JUMPDEST 00000471: POP 00000472: PUSH2 0x019b 00000475: PUSH2 0x047f 00000478: CALLDATASIZE 00000479: PUSH1 0x04 0000047b: PUSH2 0x1477 0000047e: JUMP 0000047f: JUMPDEST 00000480: PUSH2 0x0f80 00000483: JUMP 00000484: JUMPDEST 00000485: CALLVALUE 00000486: DUP1 00000487: ISZERO 00000488: PUSH2 0x0490 0000048b: JUMPI 0000048c: PUSH1 0x00 0000048e: DUP1 0000048f: REVERT 00000490: JUMPDEST 00000491: POP 00000492: PUSH2 0x019b 00000495: PUSH1 0x0c 00000497: SLOAD 00000498: DUP2 00000499: JUMP 0000049a: JUMPDEST 0000049b: PUSH1 0x06 0000049d: SLOAD 0000049e: PUSH1 0x01 000004a0: PUSH1 0x01 000004a2: PUSH1 0xa0 000004a4: SHL 000004a5: SUB 000004a6: AND 000004a7: CALLER 000004a8: EQ 000004a9: DUP1 000004aa: PUSH2 0x04bd 000004ad: JUMPI 000004ae: POP 000004af: PUSH1 0x00 000004b1: SLOAD 000004b2: PUSH1 0x01 000004b4: PUSH1 0x01 000004b6: PUSH1 0xa0 000004b8: SHL 000004b9: SUB 000004ba: AND 000004bb: CALLER 000004bc: EQ 000004bd: JUMPDEST 000004be: DUP1 000004bf: PUSH2 0x04d2 000004c2: JUMPI 000004c3: POP 000004c4: PUSH1 0x06 000004c6: SLOAD 000004c7: PUSH1 0x01 000004c9: PUSH1 0x01 000004cb: PUSH1 0xa0 000004cd: SHL 000004ce: SUB 000004cf: AND 000004d0: ORIGIN 000004d1: EQ 000004d2: JUMPDEST 000004d3: PUSH2 0x0523 000004d6: JUMPI 000004d7: PUSH1 0x40 000004d9: MLOAD 000004da: PUSH3 0x461bcd 000004de: PUSH1 0xe5 000004e0: SHL 000004e1: DUP2 000004e2: MSTORE 000004e3: PUSH1 0x20 000004e5: PUSH1 0x04 000004e7: DUP3 000004e8: ADD 000004e9: MSTORE 000004ea: PUSH1 0x1a 000004ec: PUSH1 0x24 000004ee: DUP3 000004ef: ADD 000004f0: MSTORE 000004f1: PUSH32 0x4d757374206265206f776e6572206f7220636f6e74726163742e000000000000 00000512: PUSH1 0x44 00000514: DUP3 00000515: ADD 00000516: MSTORE 00000517: PUSH1 0x64 00000519: ADD 0000051a: JUMPDEST 0000051b: PUSH1 0x40 0000051d: MLOAD 0000051e: DUP1 0000051f: SWAP2 00000520: SUB 00000521: SWAP1 00000522: REVERT 00000523: JUMPDEST 00000524: PUSH1 0x0f 00000526: SLOAD 00000527: PUSH1 0xff 00000529: AND 0000052a: ISZERO 0000052b: PUSH2 0x0576 0000052e: JUMPI 0000052f: PUSH1 0x40 00000531: MLOAD 00000532: PUSH3 0x461bcd 00000536: PUSH1 0xe5 00000538: SHL 00000539: DUP2 0000053a: MSTORE 0000053b: PUSH1 0x20 0000053d: PUSH1 0x04 0000053f: DUP3 00000540: ADD 00000541: MSTORE 00000542: PUSH1 0x1f 00000544: PUSH1 0x24 00000546: DUP3 00000547: ADD 00000548: MSTORE 00000549: PUSH32 0x416c726561647920696e697469616c697a656420616e64206c6f636b65642e00 0000056a: PUSH1 0x44 0000056c: DUP3 0000056d: ADD 0000056e: MSTORE 0000056f: PUSH1 0x64 00000571: ADD 00000572: PUSH2 0x051a 00000575: JUMP 00000576: JUMPDEST 00000577: PUSH20 0x9ac64cc6e4415144c455bd8e4837fea55603e5c3 0000058c: PUSH1 0x01 0000058e: PUSH1 0x01 00000590: PUSH1 0xa0 00000592: SHL 00000593: SUB 00000594: DUP3 00000595: AND 00000596: EQ 00000597: DUP1 00000598: ISZERO 00000599: SWAP1 0000059a: PUSH2 0x05c0 0000059d: JUMPI 0000059e: POP 0000059f: PUSH20 0x10ed43c718714eb63d5aa57b78b54704e256024e 000005b4: PUSH1 0x01 000005b6: PUSH1 0x01 000005b8: PUSH1 0xa0 000005ba: SHL 000005bb: SUB 000005bc: DUP3 000005bd: AND 000005be: EQ 000005bf: ISZERO 000005c0: JUMPDEST 000005c1: DUP1 000005c2: ISZERO 000005c3: PUSH2 0x05d5 000005c6: JUMPI 000005c7: POP 000005c8: PUSH1 0x01 000005ca: PUSH1 0x01 000005cc: PUSH1 0xa0 000005ce: SHL 000005cf: SUB 000005d0: DUP2 000005d1: AND 000005d2: ADDRESS 000005d3: EQ 000005d4: ISZERO 000005d5: JUMPDEST 000005d6: PUSH2 0x05de 000005d9: JUMPI 000005da: PUSH1 0x00 000005dc: DUP1 000005dd: REVERT 000005de: JUMPDEST 000005df: PUSH1 0x00 000005e1: DUP1 000005e2: SLOAD 000005e3: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000604: AND 00000605: PUSH1 0x01 00000607: PUSH1 0x01 00000609: PUSH1 0xa0 0000060b: SHL 0000060c: SUB 0000060d: SWAP3 0000060e: SWAP1 0000060f: SWAP3 00000610: AND 00000611: SWAP2 00000612: SWAP1 00000613: SWAP2 00000614: OR 00000615: SWAP1 00000616: SSTORE 00000617: JUMP 00000618: JUMPDEST 00000619: PUSH1 0x06 0000061b: SLOAD 0000061c: PUSH1 0x01 0000061e: PUSH1 0x01 00000620: PUSH1 0xa0 00000622: SHL 00000623: SUB 00000624: AND 00000625: CALLER 00000626: EQ 00000627: DUP1 00000628: PUSH2 0x063b 0000062b: JUMPI 0000062c: POP 0000062d: PUSH1 0x00 0000062f: SLOAD 00000630: PUSH1 0x01 00000632: PUSH1 0x01 00000634: PUSH1 0xa0 00000636: SHL 00000637: SUB 00000638: AND 00000639: CALLER 0000063a: EQ 0000063b: JUMPDEST 0000063c: DUP1 0000063d: PUSH2 0x0650 00000640: JUMPI 00000641: POP 00000642: PUSH1 0x06 00000644: SLOAD 00000645: PUSH1 0x01 00000647: PUSH1 0x01 00000649: PUSH1 0xa0 0000064b: SHL 0000064c: SUB 0000064d: AND 0000064e: ORIGIN 0000064f: EQ 00000650: JUMPDEST 00000651: PUSH2 0x069c 00000654: JUMPI 00000655: PUSH1 0x40 00000657: MLOAD 00000658: PUSH3 0x461bcd 0000065c: PUSH1 0xe5 0000065e: SHL 0000065f: DUP2 00000660: MSTORE 00000661: PUSH1 0x20 00000663: PUSH1 0x04 00000665: DUP3 00000666: ADD 00000667: MSTORE 00000668: PUSH1 0x1a 0000066a: PUSH1 0x24 0000066c: DUP3 0000066d: ADD 0000066e: MSTORE 0000066f: PUSH32 0x4d757374206265206f776e6572206f7220636f6e74726163742e000000000000 00000690: PUSH1 0x44 00000692: DUP3 00000693: ADD 00000694: MSTORE 00000695: PUSH1 0x64 00000697: ADD 00000698: PUSH2 0x051a 0000069b: JUMP 0000069c: JUMPDEST 0000069d: PUSH2 0x06a5 000006a0: DUP2 000006a1: PUSH2 0x1009 000006a4: JUMP 000006a5: JUMPDEST 000006a6: POP 000006a7: JUMP 000006a8: JUMPDEST 000006a9: PUSH1 0x40 000006ab: DUP1 000006ac: MLOAD 000006ad: DUP1 000006ae: DUP3 000006af: ADD 000006b0: DUP3 000006b1: MSTORE 000006b2: PUSH1 0x10 000006b4: DUP2 000006b5: MSTORE 000006b6: PUSH32 0x3031323334353637383961626364656600000000000000000000000000000000 000006d7: PUSH1 0x20 000006d9: DUP3 000006da: ADD 000006db: MSTORE 000006dc: DUP2 000006dd: MLOAD 000006de: PUSH1 0x33 000006e0: DUP1 000006e1: DUP3 000006e2: MSTORE 000006e3: PUSH1 0x60 000006e5: DUP3 000006e6: DUP2 000006e7: ADD 000006e8: SWAP1 000006e9: SWAP5 000006ea: MSTORE 000006eb: PUSH1 0x01 000006ed: PUSH1 0x01 000006ef: PUSH1 0xa0 000006f1: SHL 000006f2: SUB 000006f3: DUP6 000006f4: AND 000006f5: SWAP3 000006f6: SWAP2 000006f7: PUSH1 0x00 000006f9: SWAP2 000006fa: PUSH1 0x20 000006fc: DUP3 000006fd: ADD 000006fe: DUP2 000006ff: DUP1 00000700: CALLDATASIZE 00000701: DUP4 00000702: CALLDATACOPY 00000703: ADD 00000704: SWAP1 00000705: POP 00000706: POP 00000707: SWAP1 00000708: POP 00000709: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000 0000072a: DUP2 0000072b: PUSH1 0x00 0000072d: DUP2 0000072e: MLOAD 0000072f: DUP2 00000730: LT 00000731: PUSH2 0x073c 00000734: JUMPI 00000735: PUSH2 0x073c 00000738: PUSH2 0x1612 0000073b: JUMP 0000073c: JUMPDEST 0000073d: PUSH1 0x20 0000073f: ADD 00000740: ADD 00000741: SWAP1 00000742: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000762: NOT 00000763: AND 00000764: SWAP1 00000765: DUP2 00000766: PUSH1 0x00 00000768: BYTE 00000769: SWAP1 0000076a: MSTORE8 0000076b: POP 0000076c: PUSH32 0x7800000000000000000000000000000000000000000000000000000000000000 0000078d: DUP2 0000078e: PUSH1 0x01 00000790: DUP2 00000791: MLOAD 00000792: DUP2 00000793: LT 00000794: PUSH2 0x079f 00000797: JUMPI 00000798: PUSH2 0x079f 0000079b: PUSH2 0x1612 0000079e: JUMP 0000079f: JUMPDEST 000007a0: PUSH1 0x20 000007a2: ADD 000007a3: ADD 000007a4: SWAP1 000007a5: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000007c5: NOT 000007c6: AND 000007c7: SWAP1 000007c8: DUP2 000007c9: PUSH1 0x00 000007cb: BYTE 000007cc: SWAP1 000007cd: MSTORE8 000007ce: POP 000007cf: PUSH1 0x00 000007d1: JUMPDEST 000007d2: PUSH1 0x14 000007d4: DUP2 000007d5: LT 000007d6: ISZERO 000007d7: PUSH2 0x0977 000007da: JUMPI 000007db: DUP3 000007dc: PUSH1 0x04 000007de: DUP6 000007df: PUSH2 0x07e9 000007e2: DUP5 000007e3: PUSH1 0x0c 000007e5: PUSH2 0x1670 000007e8: JUMP 000007e9: JUMPDEST 000007ea: PUSH1 0x20 000007ec: DUP2 000007ed: LT 000007ee: PUSH2 0x07f9 000007f1: JUMPI 000007f2: PUSH2 0x07f9 000007f5: PUSH2 0x1612 000007f8: JUMP 000007f9: JUMPDEST 000007fa: BYTE 000007fb: PUSH1 0xf8 000007fd: SHL 000007fe: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000081e: NOT 0000081f: AND 00000820: SWAP1 00000821: SHR 00000822: PUSH1 0xf8 00000824: SHR 00000825: PUSH1 0xff 00000827: AND 00000828: DUP2 00000829: MLOAD 0000082a: DUP2 0000082b: LT 0000082c: PUSH2 0x0837 0000082f: JUMPI 00000830: PUSH2 0x0837 00000833: PUSH2 0x1612 00000836: JUMP 00000837: JUMPDEST 00000838: ADD 00000839: PUSH1 0x20 0000083b: ADD 0000083c: MLOAD 0000083d: PUSH32 0xff00000000000000000000000000000000000000000000000000000000000000 0000085e: AND 0000085f: DUP3 00000860: PUSH2 0x086a 00000863: DUP4 00000864: PUSH1 0x02 00000866: PUSH2 0x1688 00000869: JUMP 0000086a: JUMPDEST 0000086b: PUSH2 0x0875 0000086e: SWAP1 0000086f: PUSH1 0x02 00000871: PUSH2 0x1670 00000874: JUMP 00000875: JUMPDEST 00000876: DUP2 00000877: MLOAD 00000878: DUP2 00000879: LT 0000087a: PUSH2 0x0885 0000087d: JUMPI 0000087e: PUSH2 0x0885 00000881: PUSH2 0x1612 00000884: JUMP 00000885: JUMPDEST 00000886: PUSH1 0x20 00000888: ADD 00000889: ADD 0000088a: SWAP1 0000088b: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000008ab: NOT 000008ac: AND 000008ad: SWAP1 000008ae: DUP2 000008af: PUSH1 0x00 000008b1: BYTE 000008b2: SWAP1 000008b3: MSTORE8 000008b4: POP 000008b5: DUP3 000008b6: DUP5 000008b7: PUSH2 0x08c1 000008ba: DUP4 000008bb: PUSH1 0x0c 000008bd: PUSH2 0x1670 000008c0: JUMP 000008c1: JUMPDEST 000008c2: PUSH1 0x20 000008c4: DUP2 000008c5: LT 000008c6: PUSH2 0x08d1 000008c9: JUMPI 000008ca: PUSH2 0x08d1 000008cd: PUSH2 0x1612 000008d0: JUMP 000008d1: JUMPDEST 000008d2: DUP3 000008d3: MLOAD 000008d4: SWAP2 000008d5: SWAP1 000008d6: BYTE 000008d7: PUSH1 0x0f 000008d9: AND 000008da: SWAP1 000008db: DUP2 000008dc: LT 000008dd: PUSH2 0x08e8 000008e0: JUMPI 000008e1: PUSH2 0x08e8 000008e4: PUSH2 0x1612 000008e7: JUMP 000008e8: JUMPDEST 000008e9: ADD 000008ea: PUSH1 0x20 000008ec: ADD 000008ed: MLOAD 000008ee: PUSH32 0xff00000000000000000000000000000000000000000000000000000000000000 0000090f: AND 00000910: DUP3 00000911: PUSH2 0x091b 00000914: DUP4 00000915: PUSH1 0x02 00000917: PUSH2 0x1688 0000091a: JUMP 0000091b: JUMPDEST 0000091c: PUSH2 0x0926 0000091f: SWAP1 00000920: PUSH1 0x03 00000922: PUSH2 0x1670 00000925: JUMP 00000926: JUMPDEST 00000927: DUP2 00000928: MLOAD 00000929: DUP2 0000092a: LT 0000092b: PUSH2 0x0936 0000092e: JUMPI 0000092f: PUSH2 0x0936 00000932: PUSH2 0x1612 00000935: JUMP 00000936: JUMPDEST 00000937: PUSH1 0x20 00000939: ADD 0000093a: ADD 0000093b: SWAP1 0000093c: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000095c: NOT 0000095d: AND 0000095e: SWAP1 0000095f: DUP2 00000960: PUSH1 0x00 00000962: BYTE 00000963: SWAP1 00000964: MSTORE8 00000965: POP 00000966: DUP1 00000967: PUSH2 0x096f 0000096a: DUP2 0000096b: PUSH2 0x16a7 0000096e: JUMP 0000096f: JUMPDEST 00000970: SWAP2 00000971: POP 00000972: POP 00000973: PUSH2 0x07d1 00000976: JUMP 00000977: JUMPDEST 00000978: POP 00000979: SWAP5 0000097a: SWAP4 0000097b: POP 0000097c: POP 0000097d: POP 0000097e: POP 0000097f: JUMP 00000980: JUMPDEST 00000981: PUSH1 0x60 00000983: DUP1 00000984: PUSH1 0x60 00000986: DUP1 00000987: PUSH2 0x09c7 0000098a: PUSH1 0x40 0000098c: MLOAD 0000098d: DUP1 0000098e: PUSH1 0x40 00000990: ADD 00000991: PUSH1 0x40 00000993: MSTORE 00000994: DUP1 00000995: PUSH1 0x0e 00000997: DUP2 00000998: MSTORE 00000999: PUSH1 0x20 0000099b: ADD 0000099c: PUSH32 0x546f74616c205368617265733a20000000000000000000000000000000000000 000009bd: DUP2 000009be: MSTORE 000009bf: POP 000009c0: PUSH1 0x07 000009c2: SLOAD 000009c3: PUSH2 0x1121 000009c6: JUMP 000009c7: JUMPDEST 000009c8: PUSH2 0x0a08 000009cb: PUSH1 0x40 000009cd: MLOAD 000009ce: DUP1 000009cf: PUSH1 0x40 000009d1: ADD 000009d2: PUSH1 0x40 000009d4: MSTORE 000009d5: DUP1 000009d6: PUSH1 0x13 000009d8: DUP2 000009d9: MSTORE 000009da: PUSH1 0x20 000009dc: ADD 000009dd: PUSH32 0x546f74616c2044697374726962757465643a2000000000000000000000000000 000009fe: DUP2 000009ff: MSTORE 00000a00: POP 00000a01: PUSH1 0x09 00000a03: SLOAD 00000a04: PUSH2 0x1121 00000a07: JUMP 00000a08: JUMPDEST 00000a09: PUSH2 0x0a6f 00000a0c: PUSH1 0x40 00000a0e: MLOAD 00000a0f: DUP1 00000a10: PUSH1 0x40 00000a12: ADD 00000a13: PUSH1 0x40 00000a15: MSTORE 00000a16: DUP1 00000a17: PUSH1 0x0f 00000a19: DUP2 00000a1a: MSTORE 00000a1b: PUSH1 0x20 00000a1d: ADD 00000a1e: PUSH32 0x557365722773205368617265733a200000000000000000000000000000000000 00000a3f: DUP2 00000a40: MSTORE 00000a41: POP 00000a42: PUSH1 0x04 00000a44: PUSH1 0x00 00000a46: DUP11 00000a47: PUSH1 0x01 00000a49: PUSH1 0x01 00000a4b: PUSH1 0xa0 00000a4d: SHL 00000a4e: SUB 00000a4f: AND 00000a50: PUSH1 0x01 00000a52: PUSH1 0x01 00000a54: PUSH1 0xa0 00000a56: SHL 00000a57: SUB 00000a58: AND 00000a59: DUP2 00000a5a: MSTORE 00000a5b: PUSH1 0x20 00000a5d: ADD 00000a5e: SWAP1 00000a5f: DUP2 00000a60: MSTORE 00000a61: PUSH1 0x20 00000a63: ADD 00000a64: PUSH1 0x00 00000a66: KECCAK256 00000a67: PUSH1 0x00 00000a69: ADD 00000a6a: SLOAD 00000a6b: PUSH2 0x1121 00000a6e: JUMP 00000a6f: JUMPDEST 00000a70: PUSH2 0x0ad6 00000a73: PUSH1 0x40 00000a75: MLOAD 00000a76: DUP1 00000a77: PUSH1 0x40 00000a79: ADD 00000a7a: PUSH1 0x40 00000a7c: MSTORE 00000a7d: DUP1 00000a7e: PUSH1 0x18 00000a80: DUP2 00000a81: MSTORE 00000a82: PUSH1 0x20 00000a84: ADD 00000a85: PUSH32 0x557365722773205265616c697a6564205368617265733a200000000000000000 00000aa6: DUP2 00000aa7: MSTORE 00000aa8: POP 00000aa9: PUSH1 0x04 00000aab: PUSH1 0x00 00000aad: DUP12 00000aae: PUSH1 0x01 00000ab0: PUSH1 0x01 00000ab2: PUSH1 0xa0 00000ab4: SHL 00000ab5: SUB 00000ab6: AND 00000ab7: PUSH1 0x01 00000ab9: PUSH1 0x01 00000abb: PUSH1 0xa0 00000abd: SHL 00000abe: SUB 00000abf: AND 00000ac0: DUP2 00000ac1: MSTORE 00000ac2: PUSH1 0x20 00000ac4: ADD 00000ac5: SWAP1 00000ac6: DUP2 00000ac7: MSTORE 00000ac8: PUSH1 0x20 00000aca: ADD 00000acb: PUSH1 0x00 00000acd: KECCAK256 00000ace: PUSH1 0x02 00000ad0: ADD 00000ad1: SLOAD 00000ad2: PUSH2 0x1121 00000ad5: JUMP 00000ad6: JUMPDEST 00000ad7: SWAP4 00000ad8: POP 00000ad9: SWAP4 00000ada: POP 00000adb: SWAP4 00000adc: POP 00000add: SWAP4 00000ade: POP 00000adf: SWAP2 00000ae0: SWAP4 00000ae1: POP 00000ae2: SWAP2 00000ae3: SWAP4 00000ae4: JUMP 00000ae5: JUMPDEST 00000ae6: PUSH1 0x00 00000ae8: SLOAD 00000ae9: PUSH1 0x01 00000aeb: PUSH1 0x01 00000aed: PUSH1 0xa0 00000aef: SHL 00000af0: SUB 00000af1: AND 00000af2: CALLER 00000af3: EQ 00000af4: DUP1 00000af5: PUSH2 0x0b08 00000af8: JUMPI 00000af9: POP 00000afa: PUSH1 0x06 00000afc: SLOAD 00000afd: PUSH1 0x01 00000aff: PUSH1 0x01 00000b01: PUSH1 0xa0 00000b03: SHL 00000b04: SUB 00000b05: AND 00000b06: CALLER 00000b07: EQ 00000b08: JUMPDEST 00000b09: PUSH2 0x0b11 00000b0c: JUMPI 00000b0d: PUSH1 0x00 00000b0f: DUP1 00000b10: REVERT 00000b11: JUMPDEST 00000b12: PUSH1 0x0f 00000b14: DUP1 00000b15: SLOAD 00000b16: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00000b37: AND 00000b38: PUSH1 0x01 00000b3a: OR 00000b3b: SWAP1 00000b3c: SSTORE 00000b3d: JUMP 00000b3e: JUMPDEST 00000b3f: CALLVALUE 00000b40: PUSH1 0x08 00000b42: PUSH1 0x00 00000b44: DUP3 00000b45: DUP3 00000b46: SLOAD 00000b47: PUSH2 0x0b50 00000b4a: SWAP2 00000b4b: SWAP1 00000b4c: PUSH2 0x1670 00000b4f: JUMP 00000b50: JUMPDEST 00000b51: SWAP1 00000b52: SWAP2 00000b53: SSTORE 00000b54: POP 00000b55: POP 00000b56: PUSH1 0x07 00000b58: SLOAD 00000b59: PUSH1 0x0b 00000b5b: SLOAD 00000b5c: PUSH2 0x0b66 00000b5f: SWAP1 00000b60: CALLVALUE 00000b61: SWAP1 00000b62: PUSH2 0x1688 00000b65: JUMP 00000b66: JUMPDEST 00000b67: PUSH2 0x0b70 00000b6a: SWAP2 00000b6b: SWAP1 00000b6c: PUSH2 0x16c2 00000b6f: JUMP 00000b70: JUMPDEST 00000b71: PUSH1 0x0a 00000b73: PUSH1 0x00 00000b75: DUP3 00000b76: DUP3 00000b77: SLOAD 00000b78: PUSH2 0x0b81 00000b7b: SWAP2 00000b7c: SWAP1 00000b7d: PUSH2 0x1670 00000b80: JUMP 00000b81: JUMPDEST 00000b82: SWAP1 00000b83: SWAP2 00000b84: SSTORE 00000b85: POP 00000b86: POP 00000b87: JUMP 00000b88: JUMPDEST 00000b89: PUSH1 0x06 00000b8b: SLOAD 00000b8c: PUSH1 0x01 00000b8e: PUSH1 0x01 00000b90: PUSH1 0xa0 00000b92: SHL 00000b93: SUB 00000b94: AND 00000b95: CALLER 00000b96: EQ 00000b97: DUP1 00000b98: PUSH2 0x0bab 00000b9b: JUMPI 00000b9c: POP 00000b9d: PUSH1 0x00 00000b9f: SLOAD 00000ba0: PUSH1 0x01 00000ba2: PUSH1 0x01 00000ba4: PUSH1 0xa0 00000ba6: SHL 00000ba7: SUB 00000ba8: AND 00000ba9: CALLER 00000baa: EQ 00000bab: JUMPDEST 00000bac: DUP1 00000bad: PUSH2 0x0bc0 00000bb0: JUMPI 00000bb1: POP 00000bb2: PUSH1 0x06 00000bb4: SLOAD 00000bb5: PUSH1 0x01 00000bb7: PUSH1 0x01 00000bb9: PUSH1 0xa0 00000bbb: SHL 00000bbc: SUB 00000bbd: AND 00000bbe: ORIGIN 00000bbf: EQ 00000bc0: JUMPDEST 00000bc1: PUSH2 0x0c0c 00000bc4: JUMPI 00000bc5: PUSH1 0x40 00000bc7: MLOAD 00000bc8: PUSH3 0x461bcd 00000bcc: PUSH1 0xe5 00000bce: SHL 00000bcf: DUP2 00000bd0: MSTORE 00000bd1: PUSH1 0x20 00000bd3: PUSH1 0x04 00000bd5: DUP3 00000bd6: ADD 00000bd7: MSTORE 00000bd8: PUSH1 0x1a 00000bda: PUSH1 0x24 00000bdc: DUP3 00000bdd: ADD 00000bde: MSTORE 00000bdf: PUSH32 0x4d757374206265206f776e6572206f7220636f6e74726163742e000000000000 00000c00: PUSH1 0x44 00000c02: DUP3 00000c03: ADD 00000c04: MSTORE 00000c05: PUSH1 0x64 00000c07: ADD 00000c08: PUSH2 0x051a 00000c0b: JUMP 00000c0c: JUMPDEST 00000c0d: PUSH1 0x0c 00000c0f: SWAP2 00000c10: SWAP1 00000c11: SWAP2 00000c12: SSTORE 00000c13: PUSH1 0x0d 00000c15: SSTORE 00000c16: JUMP 00000c17: JUMPDEST 00000c18: PUSH1 0x06 00000c1a: SLOAD 00000c1b: PUSH1 0x01 00000c1d: PUSH1 0x01 00000c1f: PUSH1 0xa0 00000c21: SHL 00000c22: SUB 00000c23: AND 00000c24: CALLER 00000c25: EQ 00000c26: DUP1 00000c27: PUSH2 0x0c3a 00000c2a: JUMPI 00000c2b: POP 00000c2c: PUSH1 0x00 00000c2e: SLOAD 00000c2f: PUSH1 0x01 00000c31: PUSH1 0x01 00000c33: PUSH1 0xa0 00000c35: SHL 00000c36: SUB 00000c37: AND 00000c38: CALLER 00000c39: EQ 00000c3a: JUMPDEST 00000c3b: DUP1 00000c3c: PUSH2 0x0c4f 00000c3f: JUMPI 00000c40: POP 00000c41: PUSH1 0x06 00000c43: SLOAD 00000c44: PUSH1 0x01 00000c46: PUSH1 0x01 00000c48: PUSH1 0xa0 00000c4a: SHL 00000c4b: SUB 00000c4c: AND 00000c4d: ORIGIN 00000c4e: EQ 00000c4f: JUMPDEST 00000c50: PUSH2 0x0c9b 00000c53: JUMPI 00000c54: PUSH1 0x40 00000c56: MLOAD 00000c57: PUSH3 0x461bcd 00000c5b: PUSH1 0xe5 00000c5d: SHL 00000c5e: DUP2 00000c5f: MSTORE 00000c60: PUSH1 0x20 00000c62: PUSH1 0x04 00000c64: DUP3 00000c65: ADD 00000c66: MSTORE 00000c67: PUSH1 0x1a 00000c69: PUSH1 0x24 00000c6b: DUP3 00000c6c: ADD 00000c6d: MSTORE 00000c6e: PUSH32 0x4d757374206265206f776e6572206f7220636f6e74726163742e000000000000 00000c8f: PUSH1 0x44 00000c91: DUP3 00000c92: ADD 00000c93: MSTORE 00000c94: PUSH1 0x64 00000c96: ADD 00000c97: PUSH2 0x051a 00000c9a: JUMP 00000c9b: JUMPDEST 00000c9c: PUSH1 0x01 00000c9e: SLOAD 00000c9f: DUP1 00000ca0: PUSH2 0x0ca7 00000ca3: JUMPI 00000ca4: POP 00000ca5: POP 00000ca6: JUMP 00000ca7: JUMPDEST 00000ca8: PUSH1 0x00 00000caa: DUP1 00000cab: GAS 00000cac: SWAP1 00000cad: POP 00000cae: PUSH1 0x00 00000cb0: JUMPDEST 00000cb1: DUP5 00000cb2: DUP4 00000cb3: LT 00000cb4: DUP1 00000cb5: ISZERO 00000cb6: PUSH2 0x0cbe 00000cb9: JUMPI 00000cba: POP 00000cbb: DUP4 00000cbc: DUP2 00000cbd: LT 00000cbe: JUMPDEST 00000cbf: ISZERO 00000cc0: PUSH2 0x0d7d 00000cc3: JUMPI 00000cc4: DUP4 00000cc5: PUSH1 0x0e 00000cc7: SLOAD 00000cc8: LT 00000cc9: PUSH2 0x0cd2 00000ccc: JUMPI 00000ccd: PUSH1 0x00 00000ccf: PUSH1 0x0e 00000cd1: SSTORE 00000cd2: JUMPDEST 00000cd3: PUSH2 0x0d04 00000cd6: PUSH1 0x01 00000cd8: PUSH1 0x0e 00000cda: SLOAD 00000cdb: DUP2 00000cdc: SLOAD 00000cdd: DUP2 00000cde: LT 00000cdf: PUSH2 0x0cea 00000ce2: JUMPI 00000ce3: PUSH2 0x0cea 00000ce6: PUSH2 0x1612 00000ce9: JUMP 00000cea: JUMPDEST 00000ceb: PUSH1 0x00 00000ced: SWAP2 00000cee: DUP3 00000cef: MSTORE 00000cf0: PUSH1 0x20 00000cf2: SWAP1 00000cf3: SWAP2 00000cf4: KECCAK256 00000cf5: ADD 00000cf6: SLOAD 00000cf7: PUSH1 0x01 00000cf9: PUSH1 0x01 00000cfb: PUSH1 0xa0 00000cfd: SHL 00000cfe: SUB 00000cff: AND 00000d00: PUSH2 0x1155 00000d03: JUMP 00000d04: JUMPDEST 00000d05: ISZERO 00000d06: PUSH2 0x0d3b 00000d09: JUMPI 00000d0a: PUSH2 0x0d3b 00000d0d: PUSH1 0x01 00000d0f: PUSH1 0x0e 00000d11: SLOAD 00000d12: DUP2 00000d13: SLOAD 00000d14: DUP2 00000d15: LT 00000d16: PUSH2 0x0d21 00000d19: JUMPI 00000d1a: PUSH2 0x0d21 00000d1d: PUSH2 0x1612 00000d20: JUMP 00000d21: JUMPDEST 00000d22: PUSH1 0x00 00000d24: SWAP2 00000d25: DUP3 00000d26: MSTORE 00000d27: PUSH1 0x20 00000d29: SWAP1 00000d2a: SWAP2 00000d2b: KECCAK256 00000d2c: ADD 00000d2d: SLOAD 00000d2e: PUSH1 0x01 00000d30: PUSH1 0x01 00000d32: PUSH1 0xa0 00000d34: SHL 00000d35: SUB 00000d36: AND 00000d37: PUSH2 0x1009 00000d3a: JUMP 00000d3b: JUMPDEST 00000d3c: GAS 00000d3d: PUSH2 0x0d46 00000d40: SWAP1 00000d41: DUP4 00000d42: PUSH2 0x16fd 00000d45: JUMP 00000d46: JUMPDEST 00000d47: PUSH2 0x0d50 00000d4a: SWAP1 00000d4b: DUP5 00000d4c: PUSH2 0x1670 00000d4f: JUMP 00000d50: JUMPDEST 00000d51: SWAP3 00000d52: POP 00000d53: GAS 00000d54: PUSH1 0x0e 00000d56: DUP1 00000d57: SLOAD 00000d58: SWAP2 00000d59: SWAP4 00000d5a: POP 00000d5b: PUSH1 0x00 00000d5d: PUSH2 0x0d65 00000d60: DUP4 00000d61: PUSH2 0x16a7 00000d64: JUMP 00000d65: JUMPDEST 00000d66: SWAP2 00000d67: SWAP1 00000d68: POP 00000d69: SSTORE 00000d6a: POP 00000d6b: DUP1 00000d6c: DUP1 00000d6d: PUSH2 0x0d75 00000d70: SWAP1 00000d71: PUSH2 0x16a7 00000d74: JUMP 00000d75: JUMPDEST 00000d76: SWAP2 00000d77: POP 00000d78: POP 00000d79: PUSH2 0x0cb0 00000d7c: JUMP 00000d7d: JUMPDEST 00000d7e: POP 00000d7f: POP 00000d80: POP 00000d81: POP 00000d82: POP 00000d83: JUMP 00000d84: JUMPDEST 00000d85: PUSH1 0x06 00000d87: SLOAD 00000d88: PUSH1 0x01 00000d8a: PUSH1 0x01 00000d8c: PUSH1 0xa0 00000d8e: SHL 00000d8f: SUB 00000d90: AND 00000d91: CALLER 00000d92: EQ 00000d93: DUP1 00000d94: PUSH2 0x0da7 00000d97: JUMPI 00000d98: POP 00000d99: PUSH1 0x00 00000d9b: SLOAD 00000d9c: PUSH1 0x01 00000d9e: PUSH1 0x01 00000da0: PUSH1 0xa0 00000da2: SHL 00000da3: SUB 00000da4: AND 00000da5: CALLER 00000da6: EQ 00000da7: JUMPDEST 00000da8: DUP1 00000da9: PUSH2 0x0dbc 00000dac: JUMPI 00000dad: POP 00000dae: PUSH1 0x06 00000db0: SLOAD 00000db1: PUSH1 0x01 00000db3: PUSH1 0x01 00000db5: PUSH1 0xa0 00000db7: SHL 00000db8: SUB 00000db9: AND 00000dba: ORIGIN 00000dbb: EQ 00000dbc: JUMPDEST 00000dbd: PUSH2 0x0e08 00000dc0: JUMPI 00000dc1: PUSH1 0x40 00000dc3: MLOAD 00000dc4: PUSH3 0x461bcd 00000dc8: PUSH1 0xe5 00000dca: SHL 00000dcb: DUP2 00000dcc: MSTORE 00000dcd: PUSH1 0x20 00000dcf: PUSH1 0x04 00000dd1: DUP3 00000dd2: ADD 00000dd3: MSTORE 00000dd4: PUSH1 0x1a 00000dd6: PUSH1 0x24 00000dd8: DUP3 00000dd9: ADD 00000dda: MSTORE 00000ddb: PUSH32 0x4d757374206265206f776e6572206f7220636f6e74726163742e000000000000 00000dfc: PUSH1 0x44 00000dfe: DUP3 00000dff: ADD 00000e00: MSTORE 00000e01: PUSH1 0x64 00000e03: ADD 00000e04: PUSH2 0x051a 00000e07: JUMP 00000e08: JUMPDEST 00000e09: PUSH1 0x01 00000e0b: PUSH1 0x01 00000e0d: PUSH1 0xa0 00000e0f: SHL 00000e10: SUB 00000e11: DUP3 00000e12: AND 00000e13: PUSH1 0x00 00000e15: SWAP1 00000e16: DUP2 00000e17: MSTORE 00000e18: PUSH1 0x04 00000e1a: PUSH1 0x20 00000e1c: MSTORE 00000e1d: PUSH1 0x40 00000e1f: SWAP1 00000e20: KECCAK256 00000e21: SLOAD 00000e22: ISZERO 00000e23: PUSH2 0x0e2f 00000e26: JUMPI 00000e27: PUSH2 0x0e2f 00000e2a: DUP3 00000e2b: PUSH2 0x1009 00000e2e: JUMP 00000e2f: JUMPDEST 00000e30: PUSH1 0x00 00000e32: DUP2 00000e33: GT 00000e34: DUP1 00000e35: ISZERO 00000e36: PUSH2 0x0e55 00000e39: JUMPI 00000e3a: POP 00000e3b: PUSH1 0x01 00000e3d: PUSH1 0x01 00000e3f: PUSH1 0xa0 00000e41: SHL 00000e42: SUB 00000e43: DUP3 00000e44: AND 00000e45: PUSH1 0x00 00000e47: SWAP1 00000e48: DUP2 00000e49: MSTORE 00000e4a: PUSH1 0x04 00000e4c: PUSH1 0x20 00000e4e: MSTORE 00000e4f: PUSH1 0x40 00000e51: SWAP1 00000e52: KECCAK256 00000e53: SLOAD 00000e54: ISZERO 00000e55: JUMPDEST 00000e56: ISZERO 00000e57: PUSH2 0x0ed2 00000e5a: JUMPI 00000e5b: PUSH1 0x01 00000e5d: DUP1 00000e5e: SLOAD 00000e5f: PUSH1 0x01 00000e61: PUSH1 0x01 00000e63: PUSH1 0xa0 00000e65: SHL 00000e66: SUB 00000e67: DUP5 00000e68: AND 00000e69: PUSH1 0x00 00000e6b: DUP2 00000e6c: DUP2 00000e6d: MSTORE 00000e6e: PUSH1 0x02 00000e70: PUSH1 0x20 00000e72: MSTORE 00000e73: PUSH1 0x40 00000e75: DUP2 00000e76: KECCAK256 00000e77: DUP4 00000e78: SWAP1 00000e79: SSTORE 00000e7a: DUP3 00000e7b: DUP5 00000e7c: ADD 00000e7d: DUP5 00000e7e: SSTORE 00000e7f: SWAP3 00000e80: SWAP1 00000e81: SWAP3 00000e82: MSTORE 00000e83: PUSH32 0xb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf6 00000ea4: ADD 00000ea5: DUP1 00000ea6: SLOAD 00000ea7: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000ec8: AND 00000ec9: SWAP1 00000eca: SWAP2 00000ecb: OR 00000ecc: SWAP1 00000ecd: SSTORE 00000ece: PUSH2 0x0f05 00000ed1: JUMP 00000ed2: JUMPDEST 00000ed3: DUP1 00000ed4: ISZERO 00000ed5: DUP1 00000ed6: ISZERO 00000ed7: PUSH2 0x0ef7 00000eda: JUMPI 00000edb: POP 00000edc: PUSH1 0x01 00000ede: PUSH1 0x01 00000ee0: PUSH1 0xa0 00000ee2: SHL 00000ee3: SUB 00000ee4: DUP3 00000ee5: AND 00000ee6: PUSH1 0x00 00000ee8: SWAP1 00000ee9: DUP2 00000eea: MSTORE 00000eeb: PUSH1 0x04 00000eed: PUSH1 0x20 00000eef: MSTORE 00000ef0: PUSH1 0x40 00000ef2: SWAP1 00000ef3: KECCAK256 00000ef4: SLOAD 00000ef5: ISZERO 00000ef6: ISZERO 00000ef7: JUMPDEST 00000ef8: ISZERO 00000ef9: PUSH2 0x0f05 00000efc: JUMPI 00000efd: PUSH2 0x0f05 00000f00: DUP3 00000f01: PUSH2 0x119b 00000f04: JUMP 00000f05: JUMPDEST 00000f06: PUSH1 0x01 00000f08: PUSH1 0x01 00000f0a: PUSH1 0xa0 00000f0c: SHL 00000f0d: SUB 00000f0e: DUP3 00000f0f: AND 00000f10: PUSH1 0x00 00000f12: SWAP1 00000f13: DUP2 00000f14: MSTORE 00000f15: PUSH1 0x04 00000f17: PUSH1 0x20 00000f19: MSTORE 00000f1a: PUSH1 0x40 00000f1c: SWAP1 00000f1d: KECCAK256 00000f1e: SLOAD 00000f1f: PUSH1 0x07 00000f21: SLOAD 00000f22: DUP3 00000f23: SWAP2 00000f24: PUSH2 0x0f2c 00000f27: SWAP2 00000f28: PUSH2 0x16fd 00000f2b: JUMP 00000f2c: JUMPDEST 00000f2d: PUSH2 0x0f36 00000f30: SWAP2 00000f31: SWAP1 00000f32: PUSH2 0x1670 00000f35: JUMP 00000f36: JUMPDEST 00000f37: PUSH1 0x07 00000f39: SSTORE 00000f3a: PUSH1 0x01 00000f3c: PUSH1 0x01 00000f3e: PUSH1 0xa0 00000f40: SHL 00000f41: SUB 00000f42: DUP3 00000f43: AND 00000f44: PUSH1 0x00 00000f46: SWAP1 00000f47: DUP2 00000f48: MSTORE 00000f49: PUSH1 0x04 00000f4b: PUSH1 0x20 00000f4d: MSTORE 00000f4e: PUSH1 0x40 00000f50: SWAP1 00000f51: KECCAK256 00000f52: DUP2 00000f53: SWAP1 00000f54: SSTORE 00000f55: PUSH2 0x0f5d 00000f58: DUP2 00000f59: PUSH2 0x12de 00000f5c: JUMP 00000f5d: JUMPDEST 00000f5e: PUSH1 0x01 00000f60: PUSH1 0x01 00000f62: PUSH1 0xa0 00000f64: SHL 00000f65: SUB 00000f66: SWAP1 00000f67: SWAP3 00000f68: AND 00000f69: PUSH1 0x00 00000f6b: SWAP1 00000f6c: DUP2 00000f6d: MSTORE 00000f6e: PUSH1 0x04 00000f70: PUSH1 0x20 00000f72: MSTORE 00000f73: PUSH1 0x40 00000f75: SWAP1 00000f76: KECCAK256 00000f77: PUSH1 0x01 00000f79: ADD 00000f7a: SWAP2 00000f7b: SWAP1 00000f7c: SWAP2 00000f7d: SSTORE 00000f7e: POP 00000f7f: JUMP 00000f80: JUMPDEST 00000f81: PUSH1 0x01 00000f83: PUSH1 0x01 00000f85: PUSH1 0xa0 00000f87: SHL 00000f88: SUB 00000f89: DUP2 00000f8a: AND 00000f8b: PUSH1 0x00 00000f8d: SWAP1 00000f8e: DUP2 00000f8f: MSTORE 00000f90: PUSH1 0x04 00000f92: PUSH1 0x20 00000f94: MSTORE 00000f95: PUSH1 0x40 00000f97: DUP2 00000f98: KECCAK256 00000f99: SLOAD 00000f9a: PUSH2 0x0fa5 00000f9d: JUMPI 00000f9e: POP 00000f9f: PUSH1 0x00 00000fa1: SWAP2 00000fa2: SWAP1 00000fa3: POP 00000fa4: JUMP 00000fa5: JUMPDEST 00000fa6: PUSH1 0x01 00000fa8: PUSH1 0x01 00000faa: PUSH1 0xa0 00000fac: SHL 00000fad: SUB 00000fae: DUP3 00000faf: AND 00000fb0: PUSH1 0x00 00000fb2: SWAP1 00000fb3: DUP2 00000fb4: MSTORE 00000fb5: PUSH1 0x04 00000fb7: PUSH1 0x20 00000fb9: MSTORE 00000fba: PUSH1 0x40 00000fbc: DUP2 00000fbd: KECCAK256 00000fbe: SLOAD 00000fbf: PUSH2 0x0fc7 00000fc2: SWAP1 00000fc3: PUSH2 0x12de 00000fc6: JUMP 00000fc7: JUMPDEST 00000fc8: PUSH1 0x01 00000fca: PUSH1 0x01 00000fcc: PUSH1 0xa0 00000fce: SHL 00000fcf: SUB 00000fd0: DUP5 00000fd1: AND 00000fd2: PUSH1 0x00 00000fd4: SWAP1 00000fd5: DUP2 00000fd6: MSTORE 00000fd7: PUSH1 0x04 00000fd9: PUSH1 0x20 00000fdb: MSTORE 00000fdc: PUSH1 0x40 00000fde: SWAP1 00000fdf: KECCAK256 00000fe0: PUSH1 0x01 00000fe2: ADD 00000fe3: SLOAD 00000fe4: SWAP1 00000fe5: SWAP2 00000fe6: POP 00000fe7: DUP1 00000fe8: DUP3 00000fe9: GT 00000fea: PUSH2 0x0ff7 00000fed: JUMPI 00000fee: POP 00000fef: PUSH1 0x00 00000ff1: SWAP4 00000ff2: SWAP3 00000ff3: POP 00000ff4: POP 00000ff5: POP 00000ff6: JUMP 00000ff7: JUMPDEST 00000ff8: PUSH2 0x1001 00000ffb: DUP2 00000ffc: DUP4 00000ffd: PUSH2 0x16fd 00001000: JUMP 00001001: JUMPDEST 00001002: SWAP5 00001003: SWAP4 00001004: POP 00001005: POP 00001006: POP 00001007: POP 00001008: JUMP 00001009: JUMPDEST 0000100a: PUSH1 0x01 0000100c: PUSH1 0x01 0000100e: PUSH1 0xa0 00001010: SHL 00001011: SUB 00001012: DUP2 00001013: AND 00001014: PUSH1 0x00 00001016: SWAP1 00001017: DUP2 00001018: MSTORE 00001019: PUSH1 0x04 0000101b: PUSH1 0x20 0000101d: MSTORE 0000101e: PUSH1 0x40 00001020: SWAP1 00001021: KECCAK256 00001022: SLOAD 00001023: PUSH2 0x1029 00001026: JUMPI 00001027: POP 00001028: JUMP 00001029: JUMPDEST 0000102a: PUSH1 0x00 0000102c: PUSH2 0x1034 0000102f: DUP3 00001030: PUSH2 0x0f80 00001033: JUMP 00001034: JUMPDEST 00001035: SWAP1 00001036: POP 00001037: DUP1 00001038: ISZERO 00001039: PUSH2 0x111d 0000103c: JUMPI 0000103d: DUP1 0000103e: PUSH1 0x09 00001040: PUSH1 0x00 00001042: DUP3 00001043: DUP3 00001044: SLOAD 00001045: PUSH2 0x104e 00001048: SWAP2 00001049: SWAP1 0000104a: PUSH2 0x1670 0000104d: JUMP 0000104e: JUMPDEST 0000104f: SWAP1 00001050: SWAP2 00001051: SSTORE 00001052: POP 00001053: POP 00001054: PUSH1 0x01 00001056: PUSH1 0x01 00001058: PUSH1 0xa0 0000105a: SHL 0000105b: SUB 0000105c: DUP3 0000105d: AND 0000105e: PUSH1 0x00 00001060: SWAP1 00001061: DUP2 00001062: MSTORE 00001063: PUSH1 0x03 00001065: PUSH1 0x20 00001067: SWAP1 00001068: DUP2 00001069: MSTORE 0000106a: PUSH1 0x40 0000106c: DUP1 0000106d: DUP4 0000106e: KECCAK256 0000106f: TIMESTAMP 00001070: SWAP1 00001071: SSTORE 00001072: PUSH1 0x04 00001074: SWAP1 00001075: SWAP2 00001076: MSTORE 00001077: DUP2 00001078: KECCAK256 00001079: PUSH1 0x02 0000107b: ADD 0000107c: DUP1 0000107d: SLOAD 0000107e: DUP4 0000107f: SWAP3 00001080: SWAP1 00001081: PUSH2 0x108b 00001084: SWAP1 00001085: DUP5 00001086: SWAP1 00001087: PUSH2 0x1670 0000108a: JUMP 0000108b: JUMPDEST 0000108c: SWAP1 0000108d: SWAP2 0000108e: SSTORE 0000108f: POP 00001090: POP 00001091: PUSH1 0x01 00001093: PUSH1 0x01 00001095: PUSH1 0xa0 00001097: SHL 00001098: SUB 00001099: DUP3 0000109a: AND 0000109b: PUSH1 0x00 0000109d: SWAP1 0000109e: DUP2 0000109f: MSTORE 000010a0: PUSH1 0x04 000010a2: PUSH1 0x20 000010a4: MSTORE 000010a5: PUSH1 0x40 000010a7: SWAP1 000010a8: KECCAK256 000010a9: SLOAD 000010aa: PUSH2 0x10b2 000010ad: SWAP1 000010ae: PUSH2 0x12de 000010b1: JUMP 000010b2: JUMPDEST 000010b3: PUSH1 0x01 000010b5: PUSH1 0x01 000010b7: PUSH1 0xa0 000010b9: SHL 000010ba: SUB 000010bb: DUP4 000010bc: AND 000010bd: PUSH1 0x00 000010bf: DUP2 000010c0: DUP2 000010c1: MSTORE 000010c2: PUSH1 0x04 000010c4: PUSH1 0x20 000010c6: MSTORE 000010c7: PUSH1 0x40 000010c9: DUP1 000010ca: DUP3 000010cb: KECCAK256 000010cc: PUSH1 0x01 000010ce: ADD 000010cf: SWAP4 000010d0: SWAP1 000010d1: SWAP4 000010d2: SSTORE 000010d3: SWAP2 000010d4: MLOAD 000010d5: PUSH2 0x7530 000010d8: SWAP1 000010d9: DUP5 000010da: SWAP1 000010db: DUP5 000010dc: DUP2 000010dd: DUP2 000010de: DUP2 000010df: DUP6 000010e0: DUP9 000010e1: DUP9 000010e2: CALL 000010e3: SWAP4 000010e4: POP 000010e5: POP 000010e6: POP 000010e7: POP 000010e8: RETURNDATASIZE 000010e9: DUP1 000010ea: PUSH1 0x00 000010ec: DUP2 000010ed: EQ 000010ee: PUSH2 0x1113 000010f1: JUMPI 000010f2: PUSH1 0x40 000010f4: MLOAD 000010f5: SWAP2 000010f6: POP 000010f7: PUSH1 0x1f 000010f9: NOT 000010fa: PUSH1 0x3f 000010fc: RETURNDATASIZE 000010fd: ADD 000010fe: AND 000010ff: DUP3 00001100: ADD 00001101: PUSH1 0x40 00001103: MSTORE 00001104: RETURNDATASIZE 00001105: DUP3 00001106: MSTORE 00001107: RETURNDATASIZE 00001108: PUSH1 0x00 0000110a: PUSH1 0x20 0000110c: DUP5 0000110d: ADD 0000110e: RETURNDATACOPY 0000110f: PUSH2 0x1118 00001112: JUMP 00001113: JUMPDEST 00001114: PUSH1 0x60 00001116: SWAP2 00001117: POP 00001118: JUMPDEST 00001119: POP 0000111a: POP 0000111b: POP 0000111c: POP 0000111d: JUMPDEST 0000111e: POP 0000111f: POP 00001120: JUMP 00001121: JUMPDEST 00001122: PUSH1 0x60 00001124: DUP3 00001125: PUSH2 0x112d 00001128: DUP4 00001129: PUSH2 0x1307 0000112c: JUMP 0000112d: JUMPDEST 0000112e: PUSH1 0x40 00001130: MLOAD 00001131: PUSH1 0x20 00001133: ADD 00001134: PUSH2 0x113e 00001137: SWAP3 00001138: SWAP2 00001139: SWAP1 0000113a: PUSH2 0x1714 0000113d: JUMP 0000113e: JUMPDEST 0000113f: PUSH1 0x40 00001141: MLOAD 00001142: PUSH1 0x20 00001144: DUP2 00001145: DUP4 00001146: SUB 00001147: SUB 00001148: DUP2 00001149: MSTORE 0000114a: SWAP1 0000114b: PUSH1 0x40 0000114d: MSTORE 0000114e: SWAP1 0000114f: POP 00001150: SWAP3 00001151: SWAP2 00001152: POP 00001153: POP 00001154: JUMP 00001155: JUMPDEST 00001156: PUSH1 0x0c 00001158: SLOAD 00001159: PUSH1 0x01 0000115b: PUSH1 0x01 0000115d: PUSH1 0xa0 0000115f: SHL 00001160: SUB 00001161: DUP3 00001162: AND 00001163: PUSH1 0x00 00001165: SWAP1 00001166: DUP2 00001167: MSTORE 00001168: PUSH1 0x03 0000116a: PUSH1 0x20 0000116c: MSTORE 0000116d: PUSH1 0x40 0000116f: DUP2 00001170: KECCAK256 00001171: SLOAD 00001172: SWAP1 00001173: SWAP2 00001174: TIMESTAMP 00001175: SWAP2 00001176: PUSH2 0x117f 00001179: SWAP2 0000117a: SWAP1 0000117b: PUSH2 0x1670 0000117e: JUMP 0000117f: JUMPDEST 00001180: LT 00001181: DUP1 00001182: ISZERO 00001183: PUSH2 0x1195 00001186: JUMPI 00001187: POP 00001188: PUSH1 0x0d 0000118a: SLOAD 0000118b: PUSH2 0x1193 0000118e: DUP4 0000118f: PUSH2 0x0f80 00001192: JUMP 00001193: JUMPDEST 00001194: GT 00001195: JUMPDEST 00001196: SWAP3 00001197: SWAP2 00001198: POP 00001199: POP 0000119a: JUMP 0000119b: JUMPDEST 0000119c: PUSH1 0x01 0000119e: DUP1 0000119f: SLOAD 000011a0: PUSH2 0x11aa 000011a3: SWAP1 000011a4: DUP3 000011a5: SWAP1 000011a6: PUSH2 0x16fd 000011a9: JUMP 000011aa: JUMPDEST 000011ab: DUP2 000011ac: SLOAD 000011ad: DUP2 000011ae: LT 000011af: PUSH2 0x11ba 000011b2: JUMPI 000011b3: PUSH2 0x11ba 000011b6: PUSH2 0x1612 000011b9: JUMP 000011ba: JUMPDEST 000011bb: PUSH1 0x00 000011bd: SWAP2 000011be: DUP3 000011bf: MSTORE 000011c0: PUSH1 0x20 000011c2: DUP1 000011c3: DUP4 000011c4: KECCAK256 000011c5: SWAP1 000011c6: SWAP2 000011c7: ADD 000011c8: SLOAD 000011c9: PUSH1 0x01 000011cb: PUSH1 0x01 000011cd: PUSH1 0xa0 000011cf: SHL 000011d0: SUB 000011d1: DUP5 000011d2: DUP2 000011d3: AND 000011d4: DUP5 000011d5: MSTORE 000011d6: PUSH1 0x02 000011d8: SWAP1 000011d9: SWAP3 000011da: MSTORE 000011db: PUSH1 0x40 000011dd: SWAP1 000011de: SWAP3 000011df: KECCAK256 000011e0: SLOAD 000011e1: PUSH1 0x01 000011e3: DUP1 000011e4: SLOAD 000011e5: SWAP3 000011e6: SWAP1 000011e7: SWAP4 000011e8: AND 000011e9: SWAP3 000011ea: SWAP2 000011eb: DUP2 000011ec: LT 000011ed: PUSH2 0x11f8 000011f0: JUMPI 000011f1: PUSH2 0x11f8 000011f4: PUSH2 0x1612 000011f7: JUMP 000011f8: JUMPDEST 000011f9: PUSH1 0x00 000011fb: SWAP2 000011fc: DUP3 000011fd: MSTORE 000011fe: PUSH1 0x20 00001200: DUP1 00001201: DUP4 00001202: KECCAK256 00001203: SWAP2 00001204: SWAP1 00001205: SWAP2 00001206: ADD 00001207: DUP1 00001208: SLOAD 00001209: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 0000122a: AND 0000122b: PUSH1 0x01 0000122d: PUSH1 0x01 0000122f: PUSH1 0xa0 00001231: SHL 00001232: SUB 00001233: SWAP5 00001234: DUP6 00001235: AND 00001236: OR 00001237: SWAP1 00001238: SSTORE 00001239: SWAP2 0000123a: DUP4 0000123b: AND 0000123c: DUP2 0000123d: MSTORE 0000123e: PUSH1 0x02 00001240: SWAP2 00001241: DUP3 00001242: SWAP1 00001243: MSTORE 00001244: PUSH1 0x40 00001246: DUP2 00001247: KECCAK256 00001248: SLOAD 00001249: PUSH1 0x01 0000124b: DUP1 0000124c: SLOAD 0000124d: SWAP2 0000124e: SWAP4 0000124f: SWAP3 00001250: SWAP2 00001251: PUSH2 0x125b 00001254: SWAP1 00001255: DUP3 00001256: SWAP1 00001257: PUSH2 0x16fd 0000125a: JUMP 0000125b: JUMPDEST 0000125c: DUP2 0000125d: SLOAD 0000125e: DUP2 0000125f: LT 00001260: PUSH2 0x126b 00001263: JUMPI 00001264: PUSH2 0x126b 00001267: PUSH2 0x1612 0000126a: JUMP 0000126b: JUMPDEST 0000126c: PUSH1 0x00 0000126e: SWAP2 0000126f: DUP3 00001270: MSTORE 00001271: PUSH1 0x20 00001273: DUP1 00001274: DUP4 00001275: KECCAK256 00001276: SWAP1 00001277: SWAP2 00001278: ADD 00001279: SLOAD 0000127a: PUSH1 0x01 0000127c: PUSH1 0x01 0000127e: PUSH1 0xa0 00001280: SHL 00001281: SUB 00001282: AND 00001283: DUP4 00001284: MSTORE 00001285: DUP3 00001286: ADD 00001287: SWAP3 00001288: SWAP1 00001289: SWAP3 0000128a: MSTORE 0000128b: PUSH1 0x40 0000128d: ADD 0000128e: SWAP1 0000128f: KECCAK256 00001290: SSTORE 00001291: PUSH1 0x01 00001293: DUP1 00001294: SLOAD 00001295: DUP1 00001296: PUSH2 0x12a1 00001299: JUMPI 0000129a: PUSH2 0x12a1 0000129d: PUSH2 0x1743 000012a0: JUMP 000012a1: JUMPDEST 000012a2: PUSH1 0x00 000012a4: DUP3 000012a5: DUP2 000012a6: MSTORE 000012a7: PUSH1 0x20 000012a9: SWAP1 000012aa: KECCAK256 000012ab: DUP2 000012ac: ADD 000012ad: PUSH1 0x00 000012af: NOT 000012b0: SWAP1 000012b1: DUP2 000012b2: ADD 000012b3: DUP1 000012b4: SLOAD 000012b5: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 000012d6: AND 000012d7: SWAP1 000012d8: SSTORE 000012d9: ADD 000012da: SWAP1 000012db: SSTORE 000012dc: POP 000012dd: JUMP 000012de: JUMPDEST 000012df: PUSH1 0x00 000012e1: DUP2 000012e2: PUSH2 0x12ed 000012e5: JUMPI 000012e6: POP 000012e7: PUSH1 0x00 000012e9: SWAP2 000012ea: SWAP1 000012eb: POP 000012ec: JUMP 000012ed: JUMPDEST 000012ee: PUSH1 0x0b 000012f0: SLOAD 000012f1: PUSH1 0x0a 000012f3: SLOAD 000012f4: PUSH2 0x12fd 000012f7: SWAP1 000012f8: DUP5 000012f9: PUSH2 0x1688 000012fc: JUMP 000012fd: JUMPDEST 000012fe: PUSH2 0x1195 00001301: SWAP2 00001302: SWAP1 00001303: PUSH2 0x16c2 00001306: JUMP 00001307: JUMPDEST 00001308: PUSH1 0x60 0000130a: DUP2 0000130b: PUSH2 0x1347 0000130e: JUMPI 0000130f: POP 00001310: POP 00001311: PUSH1 0x40 00001313: DUP1 00001314: MLOAD 00001315: DUP1 00001316: DUP3 00001317: ADD 00001318: SWAP1 00001319: SWAP2 0000131a: MSTORE 0000131b: PUSH1 0x01 0000131d: DUP2 0000131e: MSTORE 0000131f: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000 00001340: PUSH1 0x20 00001342: DUP3 00001343: ADD 00001344: MSTORE 00001345: SWAP1 00001346: JUMP 00001347: JUMPDEST 00001348: DUP2 00001349: PUSH1 0x00 0000134b: JUMPDEST 0000134c: DUP2 0000134d: ISZERO 0000134e: PUSH2 0x1371 00001351: JUMPI 00001352: DUP1 00001353: PUSH2 0x135b 00001356: DUP2 00001357: PUSH2 0x16a7 0000135a: JUMP 0000135b: JUMPDEST 0000135c: SWAP2 0000135d: POP 0000135e: PUSH2 0x136a 00001361: SWAP1 00001362: POP 00001363: PUSH1 0x0a 00001365: DUP4 00001366: PUSH2 0x16c2 00001369: JUMP 0000136a: JUMPDEST 0000136b: SWAP2 0000136c: POP 0000136d: PUSH2 0x134b 00001370: JUMP 00001371: JUMPDEST 00001372: PUSH1 0x00 00001374: DUP2 00001375: PUSH8 0xffffffffffffffff 0000137e: DUP2 0000137f: GT 00001380: ISZERO 00001381: PUSH2 0x138c 00001384: JUMPI 00001385: PUSH2 0x138c 00001388: PUSH2 0x15e3 0000138b: JUMP 0000138c: JUMPDEST 0000138d: PUSH1 0x40 0000138f: MLOAD 00001390: SWAP1 00001391: DUP1 00001392: DUP3 00001393: MSTORE 00001394: DUP1 00001395: PUSH1 0x1f 00001397: ADD 00001398: PUSH1 0x1f 0000139a: NOT 0000139b: AND 0000139c: PUSH1 0x20 0000139e: ADD 0000139f: DUP3 000013a0: ADD 000013a1: PUSH1 0x40 000013a3: MSTORE 000013a4: DUP1 000013a5: ISZERO 000013a6: PUSH2 0x13b6 000013a9: JUMPI 000013aa: PUSH1 0x20 000013ac: DUP3 000013ad: ADD 000013ae: DUP2 000013af: DUP1 000013b0: CALLDATASIZE 000013b1: DUP4 000013b2: CALLDATACOPY 000013b3: ADD 000013b4: SWAP1 000013b5: POP 000013b6: JUMPDEST 000013b7: POP 000013b8: SWAP1 000013b9: POP 000013ba: DUP2 000013bb: JUMPDEST 000013bc: DUP6 000013bd: ISZERO 000013be: PUSH2 0x0977 000013c1: JUMPI 000013c2: PUSH2 0x13cc 000013c5: PUSH1 0x01 000013c7: DUP3 000013c8: PUSH2 0x16fd 000013cb: JUMP 000013cc: JUMPDEST 000013cd: SWAP1 000013ce: POP 000013cf: PUSH1 0x00 000013d1: PUSH2 0x13db 000013d4: PUSH1 0x0a 000013d6: DUP9 000013d7: PUSH2 0x16c2 000013da: JUMP 000013db: JUMPDEST 000013dc: PUSH2 0x13e6 000013df: SWAP1 000013e0: PUSH1 0x0a 000013e2: PUSH2 0x1688 000013e5: JUMP 000013e6: JUMPDEST 000013e7: PUSH2 0x13f0 000013ea: SWAP1 000013eb: DUP9 000013ec: PUSH2 0x16fd 000013ef: JUMP 000013f0: JUMPDEST 000013f1: PUSH2 0x13fb 000013f4: SWAP1 000013f5: PUSH1 0x30 000013f7: PUSH2 0x1772 000013fa: JUMP 000013fb: JUMPDEST 000013fc: SWAP1 000013fd: POP 000013fe: PUSH1 0x00 00001400: DUP2 00001401: PUSH1 0xf8 00001403: SHL 00001404: SWAP1 00001405: POP 00001406: DUP1 00001407: DUP5 00001408: DUP5 00001409: DUP2 0000140a: MLOAD 0000140b: DUP2 0000140c: LT 0000140d: PUSH2 0x1418 00001410: JUMPI 00001411: PUSH2 0x1418 00001414: PUSH2 0x1612 00001417: JUMP 00001418: JUMPDEST 00001419: PUSH1 0x20 0000141b: ADD 0000141c: ADD 0000141d: SWAP1 0000141e: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000143e: NOT 0000143f: AND 00001440: SWAP1 00001441: DUP2 00001442: PUSH1 0x00 00001444: BYTE 00001445: SWAP1 00001446: MSTORE8 00001447: POP 00001448: PUSH2 0x1452 0000144b: PUSH1 0x0a 0000144d: DUP10 0000144e: PUSH2 0x16c2 00001451: JUMP 00001452: JUMPDEST 00001453: SWAP8 00001454: POP 00001455: POP 00001456: POP 00001457: PUSH2 0x13bb 0000145a: JUMP 0000145b: JUMPDEST 0000145c: DUP1 0000145d: CALLDATALOAD 0000145e: PUSH1 0x01 00001460: PUSH1 0x01 00001462: PUSH1 0xa0 00001464: SHL 00001465: SUB 00001466: DUP2 00001467: AND 00001468: DUP2 00001469: EQ 0000146a: PUSH2 0x1472 0000146d: JUMPI 0000146e: PUSH1 0x00 00001470: DUP1 00001471: REVERT 00001472: JUMPDEST 00001473: SWAP2 00001474: SWAP1 00001475: POP 00001476: JUMP 00001477: JUMPDEST 00001478: PUSH1 0x00 0000147a: PUSH1 0x20 0000147c: DUP3 0000147d: DUP5 0000147e: SUB 0000147f: SLT 00001480: ISZERO 00001481: PUSH2 0x1489 00001484: JUMPI 00001485: PUSH1 0x00 00001487: DUP1 00001488: REVERT 00001489: JUMPDEST 0000148a: PUSH2 0x1492 0000148d: DUP3 0000148e: PUSH2 0x145b 00001491: JUMP 00001492: JUMPDEST 00001493: SWAP4 00001494: SWAP3 00001495: POP 00001496: POP 00001497: POP 00001498: JUMP 00001499: JUMPDEST 0000149a: PUSH1 0x00 0000149c: JUMPDEST 0000149d: DUP4 0000149e: DUP2 0000149f: LT 000014a0: ISZERO 000014a1: PUSH2 0x14b4 000014a4: JUMPI 000014a5: DUP2 000014a6: DUP2 000014a7: ADD 000014a8: MLOAD 000014a9: DUP4 000014aa: DUP3 000014ab: ADD 000014ac: MSTORE 000014ad: PUSH1 0x20 000014af: ADD 000014b0: PUSH2 0x149c 000014b3: JUMP 000014b4: JUMPDEST 000014b5: DUP4 000014b6: DUP2 000014b7: GT 000014b8: ISZERO 000014b9: PUSH2 0x14c3 000014bc: JUMPI 000014bd: PUSH1 0x00 000014bf: DUP5 000014c0: DUP5 000014c1: ADD 000014c2: MSTORE 000014c3: JUMPDEST 000014c4: POP 000014c5: POP 000014c6: POP 000014c7: POP 000014c8: JUMP 000014c9: JUMPDEST 000014ca: PUSH1 0x00 000014cc: DUP2 000014cd: MLOAD 000014ce: DUP1 000014cf: DUP5 000014d0: MSTORE 000014d1: PUSH2 0x14e1 000014d4: DUP2 000014d5: PUSH1 0x20 000014d7: DUP7 000014d8: ADD 000014d9: PUSH1 0x20 000014db: DUP7 000014dc: ADD 000014dd: PUSH2 0x1499 000014e0: JUMP 000014e1: JUMPDEST 000014e2: PUSH1 0x1f 000014e4: ADD 000014e5: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001506: AND 00001507: SWAP3 00001508: SWAP1 00001509: SWAP3 0000150a: ADD 0000150b: PUSH1 0x20 0000150d: ADD 0000150e: SWAP3 0000150f: SWAP2 00001510: POP 00001511: POP 00001512: JUMP 00001513: JUMPDEST 00001514: PUSH1 0x20 00001516: DUP2 00001517: MSTORE 00001518: PUSH1 0x00 0000151a: PUSH2 0x1492 0000151d: PUSH1 0x20 0000151f: DUP4 00001520: ADD 00001521: DUP5 00001522: PUSH2 0x14c9 00001525: JUMP 00001526: JUMPDEST 00001527: PUSH1 0x80 00001529: DUP2 0000152a: MSTORE 0000152b: PUSH1 0x00 0000152d: PUSH2 0x1539 00001530: PUSH1 0x80 00001532: DUP4 00001533: ADD 00001534: DUP8 00001535: PUSH2 0x14c9 00001538: JUMP 00001539: JUMPDEST 0000153a: DUP3 0000153b: DUP2 0000153c: SUB 0000153d: PUSH1 0x20 0000153f: DUP5 00001540: ADD 00001541: MSTORE 00001542: PUSH2 0x154b 00001545: DUP2 00001546: DUP8 00001547: PUSH2 0x14c9 0000154a: JUMP 0000154b: JUMPDEST 0000154c: SWAP1 0000154d: POP 0000154e: DUP3 0000154f: DUP2 00001550: SUB 00001551: PUSH1 0x40 00001553: DUP5 00001554: ADD 00001555: MSTORE 00001556: PUSH2 0x155f 00001559: DUP2 0000155a: DUP7 0000155b: PUSH2 0x14c9 0000155e: JUMP 0000155f: JUMPDEST 00001560: SWAP1 00001561: POP 00001562: DUP3 00001563: DUP2 00001564: SUB 00001565: PUSH1 0x60 00001567: DUP5 00001568: ADD 00001569: MSTORE 0000156a: PUSH2 0x1573 0000156d: DUP2 0000156e: DUP6 0000156f: PUSH2 0x14c9 00001572: JUMP 00001573: JUMPDEST 00001574: SWAP8 00001575: SWAP7 00001576: POP 00001577: POP 00001578: POP 00001579: POP 0000157a: POP 0000157b: POP 0000157c: POP 0000157d: JUMP 0000157e: JUMPDEST 0000157f: PUSH1 0x00 00001581: DUP1 00001582: PUSH1 0x40 00001584: DUP4 00001585: DUP6 00001586: SUB 00001587: SLT 00001588: ISZERO 00001589: PUSH2 0x1591 0000158c: JUMPI 0000158d: PUSH1 0x00 0000158f: DUP1 00001590: REVERT 00001591: JUMPDEST 00001592: POP 00001593: POP 00001594: DUP1 00001595: CALLDATALOAD 00001596: SWAP3 00001597: PUSH1 0x20 00001599: SWAP1 0000159a: SWAP2 0000159b: ADD 0000159c: CALLDATALOAD 0000159d: SWAP2 0000159e: POP 0000159f: JUMP 000015a0: JUMPDEST 000015a1: PUSH1 0x00 000015a3: PUSH1 0x20 000015a5: DUP3 000015a6: DUP5 000015a7: SUB 000015a8: SLT 000015a9: ISZERO 000015aa: PUSH2 0x15b2 000015ad: JUMPI 000015ae: PUSH1 0x00 000015b0: DUP1 000015b1: REVERT 000015b2: JUMPDEST 000015b3: POP 000015b4: CALLDATALOAD 000015b5: SWAP2 000015b6: SWAP1 000015b7: POP 000015b8: JUMP 000015b9: JUMPDEST 000015ba: PUSH1 0x00 000015bc: DUP1 000015bd: PUSH1 0x40 000015bf: DUP4 000015c0: DUP6 000015c1: SUB 000015c2: SLT 000015c3: ISZERO 000015c4: PUSH2 0x15cc 000015c7: JUMPI 000015c8: PUSH1 0x00 000015ca: DUP1 000015cb: REVERT 000015cc: JUMPDEST 000015cd: PUSH2 0x15d5 000015d0: DUP4 000015d1: PUSH2 0x145b 000015d4: JUMP 000015d5: JUMPDEST 000015d6: SWAP5 000015d7: PUSH1 0x20 000015d9: SWAP4 000015da: SWAP1 000015db: SWAP4 000015dc: ADD 000015dd: CALLDATALOAD 000015de: SWAP4 000015df: POP 000015e0: POP 000015e1: POP 000015e2: JUMP 000015e3: JUMPDEST 000015e4: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001605: PUSH1 0x00 00001607: MSTORE 00001608: PUSH1 0x41 0000160a: PUSH1 0x04 0000160c: MSTORE 0000160d: PUSH1 0x24 0000160f: PUSH1 0x00 00001611: REVERT 00001612: JUMPDEST 00001613: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001634: PUSH1 0x00 00001636: MSTORE 00001637: PUSH1 0x32 00001639: PUSH1 0x04 0000163b: MSTORE 0000163c: PUSH1 0x24 0000163e: PUSH1 0x00 00001640: REVERT 00001641: JUMPDEST 00001642: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001663: PUSH1 0x00 00001665: MSTORE 00001666: PUSH1 0x11 00001668: PUSH1 0x04 0000166a: MSTORE 0000166b: PUSH1 0x24 0000166d: PUSH1 0x00 0000166f: REVERT 00001670: JUMPDEST 00001671: PUSH1 0x00 00001673: DUP3 00001674: NOT 00001675: DUP3 00001676: GT 00001677: ISZERO 00001678: PUSH2 0x1683 0000167b: JUMPI 0000167c: PUSH2 0x1683 0000167f: PUSH2 0x1641 00001682: JUMP 00001683: JUMPDEST 00001684: POP 00001685: ADD 00001686: SWAP1 00001687: JUMP 00001688: JUMPDEST 00001689: PUSH1 0x00 0000168b: DUP2 0000168c: PUSH1 0x00 0000168e: NOT 0000168f: DIV 00001690: DUP4 00001691: GT 00001692: DUP3 00001693: ISZERO 00001694: ISZERO 00001695: AND 00001696: ISZERO 00001697: PUSH2 0x16a2 0000169a: JUMPI 0000169b: PUSH2 0x16a2 0000169e: PUSH2 0x1641 000016a1: JUMP 000016a2: JUMPDEST 000016a3: POP 000016a4: MUL 000016a5: SWAP1 000016a6: JUMP 000016a7: JUMPDEST 000016a8: PUSH1 0x00 000016aa: PUSH1 0x00 000016ac: NOT 000016ad: DUP3 000016ae: EQ 000016af: ISZERO 000016b0: PUSH2 0x16bb 000016b3: JUMPI 000016b4: PUSH2 0x16bb 000016b7: PUSH2 0x1641 000016ba: JUMP 000016bb: JUMPDEST 000016bc: POP 000016bd: PUSH1 0x01 000016bf: ADD 000016c0: SWAP1 000016c1: JUMP 000016c2: JUMPDEST 000016c3: PUSH1 0x00 000016c5: DUP3 000016c6: PUSH2 0x16f8 000016c9: JUMPI 000016ca: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000016eb: PUSH1 0x00 000016ed: MSTORE 000016ee: PUSH1 0x12 000016f0: PUSH1 0x04 000016f2: MSTORE 000016f3: PUSH1 0x24 000016f5: PUSH1 0x00 000016f7: REVERT 000016f8: JUMPDEST 000016f9: POP 000016fa: DIV 000016fb: SWAP1 000016fc: JUMP 000016fd: JUMPDEST 000016fe: PUSH1 0x00 00001700: DUP3 00001701: DUP3 00001702: LT 00001703: ISZERO 00001704: PUSH2 0x170f 00001707: JUMPI 00001708: PUSH2 0x170f 0000170b: PUSH2 0x1641 0000170e: JUMP 0000170f: JUMPDEST 00001710: POP 00001711: SUB 00001712: SWAP1 00001713: JUMP 00001714: JUMPDEST 00001715: PUSH1 0x00 00001717: DUP4 00001718: MLOAD 00001719: PUSH2 0x1726 0000171c: DUP2 0000171d: DUP5 0000171e: PUSH1 0x20 00001720: DUP9 00001721: ADD 00001722: PUSH2 0x1499 00001725: JUMP 00001726: JUMPDEST 00001727: DUP4 00001728: MLOAD 00001729: SWAP1 0000172a: DUP4 0000172b: ADD 0000172c: SWAP1 0000172d: PUSH2 0x173a 00001730: DUP2 00001731: DUP4 00001732: PUSH1 0x20 00001734: DUP9 00001735: ADD 00001736: PUSH2 0x1499 00001739: JUMP 0000173a: JUMPDEST 0000173b: ADD 0000173c: SWAP5 0000173d: SWAP4 0000173e: POP 0000173f: POP 00001740: POP 00001741: POP 00001742: JUMP 00001743: JUMPDEST 00001744: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001765: PUSH1 0x00 00001767: MSTORE 00001768: PUSH1 0x31 0000176a: PUSH1 0x04 0000176c: MSTORE 0000176d: PUSH1 0x24 0000176f: PUSH1 0x00 00001771: REVERT 00001772: JUMPDEST 00001773: PUSH1 0x00 00001775: PUSH1 0xff 00001777: DUP3 00001778: AND 00001779: PUSH1 0xff 0000177b: DUP5 0000177c: AND 0000177d: DUP1 0000177e: PUSH1 0xff 00001780: SUB 00001781: DUP3 00001782: GT 00001783: ISZERO 00001784: PUSH2 0x178f 00001787: JUMPI 00001788: PUSH2 0x178f 0000178b: PUSH2 0x1641 0000178e: JUMP 0000178f: JUMPDEST 00001790: ADD 00001791: SWAP4 00001792: SWAP3 00001793: POP 00001794: POP 00001795: POP 00001796: JUMP 00001797: INVALID 00001798: LOG2 00001799: PUSH5 0x6970667358 0000179f: UNKNOWN(0x22) 000017a0: SLT 000017a1: KECCAK256 000017a2: AND 000017a3: NUMBER 000017a4: CREATE2 000017a5: NOT 000017a6: JUMPI 000017a7: STOP 000017a8: UNKNOWN(0xEB) 000017a9: PUSH5 0x66e20a2be8 000017af: GT 000017b0: UNKNOWN(0xBC) 000017b1: DUP7 000017b2: PUSH29
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| 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": "0xf1fffdcb",
"selector": "0xf1fffdcb",
"calldata_variants": [
"0xf1fffdcb",
"0xf1fffdcb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf6ed2017",
"selector": "0xf6ed2017",
"calldata_variants": [
"0xf6ed2017",
"0xf6ed20170000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffd49c84",
"selector": "0xffd49c84",
"calldata_variants": [
"0xffd49c84",
"0xffd49c840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdf047e9e",
"selector": "0xdf047e9e",
"calldata_variants": [
"0xdf047e9e",
"0xdf047e9e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe2d2e219",
"selector": "0xe2d2e219",
"calldata_variants": [
"0xe2d2e219",
"0xe2d2e2190000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xefca2eed",
"selector": "0xefca2eed",
"calldata_variants": [
"0xefca2eed",
"0xefca2eed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd59b2ffd",
"selector": "0xd59b2ffd",
"calldata_variants": [
"0xd59b2ffd",
"0xd59b2ffd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 1233,
"type": "tx_origin_used"
},
{
"pc": 1615,
"type": "tx_origin_used"
},
{
"pc": 3007,
"type": "tx_origin_used"
},
{
"pc": 3150,
"type": "tx_origin_used"
},
{
"pc": 3515,
"type": "tx_origin_used"
},
{
"pc": 1232,
"type": "tx_origin_used"
},
{
"pc": 1614,
"type": "tx_origin_used"
},
{
"pc": 3006,
"type": "tx_origin_used"
},
{
"pc": 3149,
"type": "tx_origin_used"
},
{
"pc": 3514,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x04997c08521d813b710834fe3f8f6e9fdeb2663d22cec47ebc32dcf2ee294eac
call_targets:
0xabf6b3d40ba574484ac5868fc75fbe53b1871c85
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x04997c08521d813b710834fe3f8f6e9fdeb2663d22cec47ebc32dcf2ee294eac",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xabf6b3d40ba574484ac5868fc75fbe53b1871c85"
],
"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": "0xf1fffdcb",
"selector": "0xf1fffdcb",
"calldata_variants": [
"0xf1fffdcb",
"0xf1fffdcb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf6ed2017",
"selector": "0xf6ed2017",
"calldata_variants": [
"0xf6ed2017",
"0xf6ed20170000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffd49c84",
"selector": "0xffd49c84",
"calldata_variants": [
"0xffd49c84",
"0xffd49c840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdf047e9e",
"selector": "0xdf047e9e",
"calldata_variants": [
"0xdf047e9e",
"0xdf047e9e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe2d2e219",
"selector": "0xe2d2e219",
"calldata_variants": [
"0xe2d2e219",
"0xe2d2e2190000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xefca2eed",
"selector": "0xefca2eed",
"calldata_variants": [
"0xefca2eed",
"0xefca2eed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd59b2ffd",
"selector": "0xd59b2ffd",
"calldata_variants": [
"0xd59b2ffd",
"0xd59b2ffd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4322,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [
{
"pc": 1233,
"type": "tx_origin_used"
},
{
"pc": 1615,
"type": "tx_origin_used"
},
{
"pc": 3007,
"type": "tx_origin_used"
},
{
"pc": 3150,
"type": "tx_origin_used"
},
{
"pc": 3515,
"type": "tx_origin_used"
},
{
"pc": 1232,
"type": "tx_origin_used"
},
{
"pc": 1614,
"type": "tx_origin_used"
},
{
"pc": 3006,
"type": "tx_origin_used"
},
{
"pc": 3149,
"type": "tx_origin_used"
},
{
"pc": 3514,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 1
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x04997c08521d813b710834fe3f8f6e9fdeb2663d22cec47ebc32dcf2ee294eac
call_targets:
0xabf6b3d40ba574484ac5868fc75fbe53b1871c85
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x04997c08521d813b710834fe3f8f6e9fdeb2663d22cec47ebc32dcf2ee294eac",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xabf6b3d40ba574484ac5868fc75fbe53b1871c85"
],
"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": "0xf1fffdcb",
"selector": "0xf1fffdcb",
"calldata_variants": [
"0xf1fffdcb",
"0xf1fffdcb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf6ed2017",
"selector": "0xf6ed2017",
"calldata_variants": [
"0xf6ed2017",
"0xf6ed20170000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffd49c84",
"selector": "0xffd49c84",
"calldata_variants": [
"0xffd49c84",
"0xffd49c840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdf047e9e",
"selector": "0xdf047e9e",
"calldata_variants": [
"0xdf047e9e",
"0xdf047e9e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe2d2e219",
"selector": "0xe2d2e219",
"calldata_variants": [
"0xe2d2e219",
"0xe2d2e2190000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xefca2eed",
"selector": "0xefca2eed",
"calldata_variants": [
"0xefca2eed",
"0xefca2eed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd59b2ffd",
"selector": "0xd59b2ffd",
"calldata_variants": [
"0xd59b2ffd",
"0xd59b2ffd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4322,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": [
{
"pc": 1233,
"type": "tx_origin_used"
},
{
"pc": 1615,
"type": "tx_origin_used"
},
{
"pc": 3007,
"type": "tx_origin_used"
},
{
"pc": 3150,
"type": "tx_origin_used"
},
{
"pc": 3515,
"type": "tx_origin_used"
},
{
"pc": 1232,
"type": "tx_origin_used"
},
{
"pc": 1614,
"type": "tx_origin_used"
},
{
"pc": 3006,
"type": "tx_origin_used"
},
{
"pc": 3149,
"type": "tx_origin_used"
},
{
"pc": 3514,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x1741fb0b234d7af83d10fc0adf07b3f0c8885a3708d916b46fd756040dd8069e
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x1741fb0b234d7af83d10fc0adf07b3f0c8885a3708d916b46fd756040dd8069e",
"confirmed": false,
"trace_mode": "structLogs",
"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": "0xf1fffdcb",
"selector": "0xf1fffdcb",
"calldata_variants": [
"0xf1fffdcb",
"0xf1fffdcb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf6ed2017",
"selector": "0xf6ed2017",
"calldata_variants": [
"0xf6ed2017",
"0xf6ed20170000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffd49c84",
"selector": "0xffd49c84",
"calldata_variants": [
"0xffd49c84",
"0xffd49c840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdf047e9e",
"selector": "0xdf047e9e",
"calldata_variants": [
"0xdf047e9e",
"0xdf047e9e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe2d2e219",
"selector": "0xe2d2e219",
"calldata_variants": [
"0xe2d2e219",
"0xe2d2e2190000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xefca2eed",
"selector": "0xefca2eed",
"calldata_variants": [
"0xefca2eed",
"0xefca2eed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd59b2ffd",
"selector": "0xd59b2ffd",
"calldata_variants": [
"0xd59b2ffd",
"0xd59b2ffd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 1
}
|