019b477e-d8c6-73b1-96d2-2542b1466508
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 |
|---|---|---|---|---|
| 29133 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 29134 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 72796 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 72797 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 72798 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 72799 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x026a 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0x92f745c3 00000018: GT 00000019: PUSH2 0x014a 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0xce6a02ea 00000023: GT 00000024: PUSH2 0x00be 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0xd771b0a6 0000002e: GT 0000002f: PUSH2 0x0078 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0xd771b0a6 00000039: EQ 0000003a: PUSH2 0x06f8 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0xdd467064 00000044: EQ 00000045: PUSH2 0x070d 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0xe1b32b31 0000004f: EQ 00000050: PUSH2 0x072c 00000053: JUMPI 00000054: DUP1 00000055: PUSH4 0xefbe1c1c 0000005a: EQ 0000005b: PUSH2 0x0749 0000005e: JUMPI 0000005f: DUP1 00000060: PUSH4 0xf2fde38b 00000065: EQ 00000066: PUSH2 0x075e 00000069: JUMPI 0000006a: DUP1 0000006b: PUSH4 0xf34acb7c 00000070: EQ 00000071: PUSH2 0x077d 00000074: JUMPI 00000075: PUSH0 00000076: DUP1 00000077: REVERT 00000078: JUMPDEST 00000079: DUP1 0000007a: PUSH4 0xce6a02ea 0000007f: EQ 00000080: PUSH2 0x0653 00000083: JUMPI 00000084: DUP1 00000085: PUSH4 0xcf054fb2 0000008a: EQ 0000008b: PUSH2 0x0672 0000008e: JUMPI 0000008f: DUP1 00000090: PUSH4 0xd0c9f126 00000095: EQ 00000096: PUSH2 0x0687 00000099: JUMPI 0000009a: DUP1 0000009b: PUSH4 0xd0e30db0 000000a0: EQ 000000a1: PUSH2 0x06b2 000000a4: JUMPI 000000a5: DUP1 000000a6: PUSH4 0xd31c611c 000000ab: EQ 000000ac: PUSH2 0x06ba 000000af: JUMPI 000000b0: DUP1 000000b1: PUSH4 0xd6cd82bc 000000b6: EQ 000000b7: PUSH2 0x06d9 000000ba: JUMPI 000000bb: PUSH0 000000bc: DUP1 000000bd: REVERT 000000be: JUMPDEST 000000bf: DUP1 000000c0: PUSH4 0xc0b0a7e9 000000c5: GT 000000c6: PUSH2 0x010f 000000c9: JUMPI 000000ca: DUP1 000000cb: PUSH4 0xc0b0a7e9 000000d0: EQ 000000d1: PUSH2 0x05a4 000000d4: JUMPI 000000d5: DUP1 000000d6: PUSH4 0xc1364647 000000db: EQ 000000dc: PUSH2 0x05c0 000000df: JUMPI 000000e0: DUP1 000000e1: PUSH4 0xc21ca41c 000000e6: EQ 000000e7: PUSH2 0x05df 000000ea: JUMPI 000000eb: DUP1 000000ec: PUSH4 0xc5459b9b 000000f1: EQ 000000f2: PUSH2 0x060a 000000f5: JUMPI 000000f6: DUP1 000000f7: PUSH4 0xc9775f71 000000fc: EQ 000000fd: PUSH2 0x061f 00000100: JUMPI 00000101: DUP1 00000102: PUSH4 0xca2cfc20 00000107: EQ 00000108: PUSH2 0x0634 0000010b: JUMPI 0000010c: PUSH0 0000010d: DUP1 0000010e: REVERT 0000010f: JUMPDEST 00000110: DUP1 00000111: PUSH4 0x92f745c3 00000116: EQ 00000117: PUSH2 0x0513 0000011a: JUMPI 0000011b: DUP1 0000011c: PUSH4 0x940c96b0 00000121: EQ 00000122: PUSH2 0x0527 00000125: JUMPI 00000126: DUP1 00000127: PUSH4 0xa2c52e46 0000012c: EQ 0000012d: PUSH2 0x0546 00000130: JUMPI 00000131: DUP1 00000132: PUSH4 0xa35bd591 00000137: EQ 00000138: PUSH2 0x0571 0000013b: JUMPI 0000013c: DUP1 0000013d: PUSH4 0xa69df4b5 00000142: EQ 00000143: PUSH2 0x0590 00000146: JUMPI 00000147: PUSH0 00000148: DUP1 00000149: REVERT 0000014a: JUMPDEST 0000014b: DUP1 0000014c: PUSH4 0x602bc62b 00000151: GT 00000152: PUSH2 0x01e1 00000155: JUMPI 00000156: DUP1 00000157: PUSH4 0x715018a6 0000015c: GT 0000015d: PUSH2 0x01a6 00000160: JUMPI 00000161: DUP1 00000162: PUSH4 0x715018a6 00000167: EQ 00000168: PUSH2 0x0448 0000016b: JUMPI 0000016c: DUP1 0000016d: PUSH4 0x78ad411d 00000172: EQ 00000173: PUSH2 0x045c 00000176: JUMPI 00000177: DUP1 00000178: PUSH4 0x79193610 0000017d: EQ 0000017e: PUSH2 0x047b 00000181: JUMPI 00000182: DUP1 00000183: PUSH4 0x85096edc 00000188: EQ 00000189: PUSH2 0x04af 0000018c: JUMPI 0000018d: DUP1 0000018e: PUSH4 0x8517414a 00000193: EQ 00000194: PUSH2 0x04c4 00000197: JUMPI 00000198: DUP1 00000199: PUSH4 0x8da5cb5b 0000019e: EQ 0000019f: PUSH2 0x04e3 000001a2: JUMPI 000001a3: PUSH0 000001a4: DUP1 000001a5: REVERT 000001a6: JUMPDEST 000001a7: DUP1 000001a8: PUSH4 0x602bc62b 000001ad: EQ 000001ae: PUSH2 0x03b8 000001b1: JUMPI 000001b2: DUP1 000001b3: PUSH4 0x68d093ed 000001b8: EQ 000001b9: PUSH2 0x03cc 000001bc: JUMPI 000001bd: DUP1 000001be: PUSH4 0x6a8334b1 000001c3: EQ 000001c4: PUSH2 0x03eb 000001c7: JUMPI 000001c8: DUP1 000001c9: PUSH4 0x6d552c8e 000001ce: EQ 000001cf: PUSH2 0x040a 000001d2: JUMPI 000001d3: DUP1 000001d4: PUSH4 0x712edc66 000001d9: EQ 000001da: PUSH2 0x0429 000001dd: JUMPI 000001de: PUSH0 000001df: DUP1 000001e0: REVERT 000001e1: JUMPDEST 000001e2: DUP1 000001e3: PUSH4 0x4c4a386f 000001e8: GT 000001e9: PUSH2 0x0232 000001ec: JUMPI 000001ed: DUP1 000001ee: PUSH4 0x4c4a386f 000001f3: EQ 000001f4: PUSH2 0x0327 000001f7: JUMPI 000001f8: DUP1 000001f9: PUSH4 0x4e71d92d 000001fe: EQ 000001ff: PUSH2 0x0346 00000202: JUMPI 00000203: DUP1 00000204: PUSH4 0x54bb48b3 00000209: EQ 0000020a: PUSH2 0x035a 0000020d: JUMPI 0000020e: DUP1 0000020f: PUSH4 0x557ed1ba 00000214: EQ 00000215: PUSH2 0x0379 00000218: JUMPI 00000219: DUP1 0000021a: PUSH4 0x55973a90 0000021f: EQ 00000220: PUSH2 0x038b 00000223: JUMPI 00000224: DUP1 00000225: PUSH4 0x590e1ae3 0000022a: EQ 0000022b: PUSH2 0x03a4 0000022e: JUMPI 0000022f: PUSH0 00000230: DUP1 00000231: REVERT 00000232: JUMPDEST 00000233: DUP1 00000234: PUSH4 0x06c933d8 00000239: EQ 0000023a: PUSH2 0x026e 0000023d: JUMPI 0000023e: DUP1 0000023f: PUSH4 0x24e9e214 00000244: EQ 00000245: PUSH2 0x02b1 00000248: JUMPI 00000249: DUP1 0000024a: PUSH4 0x2866ed21 0000024f: EQ 00000250: PUSH2 0x02c7 00000253: JUMPI 00000254: DUP1 00000255: PUSH4 0x305fc401 0000025a: EQ 0000025b: PUSH2 0x02e5 0000025e: JUMPI 0000025f: DUP1 00000260: PUSH4 0x444a1cec 00000265: EQ 00000266: PUSH2 0x0308 00000269: JUMPI 0000026a: JUMPDEST 0000026b: PUSH0 0000026c: DUP1 0000026d: REVERT 0000026e: JUMPDEST 0000026f: CALLVALUE 00000270: DUP1 00000271: ISZERO 00000272: PUSH2 0x0279 00000275: JUMPI 00000276: PUSH0 00000277: DUP1 00000278: REVERT 00000279: JUMPDEST 0000027a: POP 0000027b: PUSH2 0x029c 0000027e: PUSH2 0x0288 00000281: CALLDATASIZE 00000282: PUSH1 0x04 00000284: PUSH2 0x15f6 00000287: JUMP 00000288: JUMPDEST 00000289: PUSH1 0x05 0000028b: PUSH1 0x20 0000028d: MSTORE 0000028e: PUSH0 0000028f: SWAP1 00000290: DUP2 00000291: MSTORE 00000292: PUSH1 0x40 00000294: SWAP1 00000295: KECCAK256 00000296: SLOAD 00000297: PUSH1 0xff 00000299: AND 0000029a: DUP2 0000029b: JUMP 0000029c: JUMPDEST 0000029d: PUSH1 0x40 0000029f: MLOAD 000002a0: SWAP1 000002a1: ISZERO 000002a2: ISZERO 000002a3: DUP2 000002a4: MSTORE 000002a5: PUSH1 0x20 000002a7: ADD 000002a8: JUMPDEST 000002a9: PUSH1 0x40 000002ab: MLOAD 000002ac: DUP1 000002ad: SWAP2 000002ae: SUB 000002af: SWAP1 000002b0: RETURN 000002b1: JUMPDEST 000002b2: CALLVALUE 000002b3: DUP1 000002b4: ISZERO 000002b5: PUSH2 0x02bc 000002b8: JUMPI 000002b9: PUSH0 000002ba: DUP1 000002bb: REVERT 000002bc: JUMPDEST 000002bd: POP 000002be: PUSH2 0x02c5 000002c1: PUSH2 0x0792 000002c4: JUMP 000002c5: JUMPDEST 000002c6: STOP 000002c7: JUMPDEST 000002c8: CALLVALUE 000002c9: DUP1 000002ca: ISZERO 000002cb: PUSH2 0x02d2 000002ce: JUMPI 000002cf: PUSH0 000002d0: DUP1 000002d1: REVERT 000002d2: JUMPDEST 000002d3: POP 000002d4: PUSH1 0x07 000002d6: SLOAD 000002d7: PUSH2 0x029c 000002da: SWAP1 000002db: PUSH2 0x0100 000002de: SWAP1 000002df: DIV 000002e0: PUSH1 0xff 000002e2: AND 000002e3: DUP2 000002e4: JUMP 000002e5: JUMPDEST 000002e6: CALLVALUE 000002e7: DUP1 000002e8: ISZERO 000002e9: PUSH2 0x02f0 000002ec: JUMPI 000002ed: PUSH0 000002ee: DUP1 000002ef: REVERT 000002f0: JUMPDEST 000002f1: POP 000002f2: PUSH2 0x02fa 000002f5: PUSH1 0x08 000002f7: SLOAD 000002f8: DUP2 000002f9: JUMP 000002fa: JUMPDEST 000002fb: PUSH1 0x40 000002fd: MLOAD 000002fe: SWAP1 000002ff: DUP2 00000300: MSTORE 00000301: PUSH1 0x20 00000303: ADD 00000304: PUSH2 0x02a8 00000307: JUMP 00000308: JUMPDEST 00000309: CALLVALUE 0000030a: DUP1 0000030b: ISZERO 0000030c: PUSH2 0x0313 0000030f: JUMPI 00000310: PUSH0 00000311: DUP1 00000312: REVERT 00000313: JUMPDEST 00000314: POP 00000315: PUSH2 0x02c5 00000318: PUSH2 0x0322 0000031b: CALLDATASIZE 0000031c: PUSH1 0x04 0000031e: PUSH2 0x160f 00000321: JUMP 00000322: JUMPDEST 00000323: PUSH2 0x07f0 00000326: JUMP 00000327: JUMPDEST 00000328: CALLVALUE 00000329: DUP1 0000032a: ISZERO 0000032b: PUSH2 0x0332 0000032e: JUMPI 0000032f: PUSH0 00000330: DUP1 00000331: REVERT 00000332: JUMPDEST 00000333: POP 00000334: PUSH1 0x07 00000336: SLOAD 00000337: PUSH2 0x029c 0000033a: SWAP1 0000033b: PUSH3 0x010000 0000033f: SWAP1 00000340: DIV 00000341: PUSH1 0xff 00000343: AND 00000344: DUP2 00000345: JUMP 00000346: JUMPDEST 00000347: CALLVALUE 00000348: DUP1 00000349: ISZERO 0000034a: PUSH2 0x0351 0000034d: JUMPI 0000034e: PUSH0 0000034f: DUP1 00000350: REVERT 00000351: JUMPDEST 00000352: POP 00000353: PUSH2 0x02c5 00000356: PUSH2 0x081e 00000359: JUMP 0000035a: JUMPDEST 0000035b: CALLVALUE 0000035c: DUP1 0000035d: ISZERO 0000035e: PUSH2 0x0365 00000361: JUMPI 00000362: PUSH0 00000363: DUP1 00000364: REVERT 00000365: JUMPDEST 00000366: POP 00000367: PUSH2 0x02c5 0000036a: PUSH2 0x0374 0000036d: CALLDATASIZE 0000036e: PUSH1 0x04 00000370: PUSH2 0x160f 00000373: JUMP 00000374: JUMPDEST 00000375: PUSH2 0x099c 00000378: JUMP 00000379: JUMPDEST 0000037a: CALLVALUE 0000037b: DUP1 0000037c: ISZERO 0000037d: PUSH2 0x0384 00000380: JUMPI 00000381: PUSH0 00000382: DUP1 00000383: REVERT 00000384: JUMPDEST 00000385: POP 00000386: TIMESTAMP 00000387: PUSH2 0x02fa 0000038a: JUMP 0000038b: JUMPDEST 0000038c: CALLVALUE 0000038d: DUP1 0000038e: ISZERO 0000038f: PUSH2 0x0396 00000392: JUMPI 00000393: PUSH0 00000394: DUP1 00000395: REVERT 00000396: JUMPDEST 00000397: POP 00000398: PUSH1 0x07 0000039a: SLOAD 0000039b: PUSH2 0x029c 0000039e: SWAP1 0000039f: PUSH1 0xff 000003a1: AND 000003a2: DUP2 000003a3: JUMP 000003a4: JUMPDEST 000003a5: CALLVALUE 000003a6: DUP1 000003a7: ISZERO 000003a8: PUSH2 0x03af 000003ab: JUMPI 000003ac: PUSH0 000003ad: DUP1 000003ae: REVERT 000003af: JUMPDEST 000003b0: POP 000003b1: PUSH2 0x02c5 000003b4: PUSH2 0x09ca 000003b7: JUMP 000003b8: JUMPDEST 000003b9: CALLVALUE 000003ba: DUP1 000003bb: ISZERO 000003bc: PUSH2 0x03c3 000003bf: JUMPI 000003c0: PUSH0 000003c1: DUP1 000003c2: REVERT 000003c3: JUMPDEST 000003c4: POP 000003c5: PUSH1 0x02 000003c7: SLOAD 000003c8: PUSH2 0x02fa 000003cb: JUMP 000003cc: JUMPDEST 000003cd: CALLVALUE 000003ce: DUP1 000003cf: ISZERO 000003d0: PUSH2 0x03d7 000003d3: JUMPI 000003d4: PUSH0 000003d5: DUP1 000003d6: REVERT 000003d7: JUMPDEST 000003d8: POP 000003d9: PUSH2 0x02c5 000003dc: PUSH2 0x03e6 000003df: CALLDATASIZE 000003e0: PUSH1 0x04 000003e2: PUSH2 0x15f6 000003e5: JUMP 000003e6: JUMPDEST 000003e7: PUSH2 0x0ac1 000003ea: JUMP 000003eb: JUMPDEST 000003ec: CALLVALUE 000003ed: DUP1 000003ee: ISZERO 000003ef: PUSH2 0x03f6 000003f2: JUMPI 000003f3: PUSH0 000003f4: DUP1 000003f5: REVERT 000003f6: JUMPDEST 000003f7: POP 000003f8: PUSH2 0x02c5 000003fb: PUSH2 0x0405 000003fe: CALLDATASIZE 000003ff: PUSH1 0x04 00000401: PUSH2 0x1626 00000404: JUMP 00000405: JUMPDEST 00000406: PUSH2 0x0b0c 00000409: JUMP 0000040a: JUMPDEST 0000040b: CALLVALUE 0000040c: DUP1 0000040d: ISZERO 0000040e: PUSH2 0x0415 00000411: JUMPI 00000412: PUSH0 00000413: DUP1 00000414: REVERT 00000415: JUMPDEST 00000416: POP 00000417: PUSH2 0x02c5 0000041a: PUSH2 0x0424 0000041d: CALLDATASIZE 0000041e: PUSH1 0x04 00000420: PUSH2 0x166c 00000423: JUMP 00000424: JUMPDEST 00000425: PUSH2 0x0b6a 00000428: JUMP 00000429: JUMPDEST 0000042a: CALLVALUE 0000042b: DUP1 0000042c: ISZERO 0000042d: PUSH2 0x0434 00000430: JUMPI 00000431: PUSH0 00000432: DUP1 00000433: REVERT 00000434: JUMPDEST 00000435: POP 00000436: PUSH2 0x02c5 00000439: PUSH2 0x0443 0000043c: CALLDATASIZE 0000043d: PUSH1 0x04 0000043f: PUSH2 0x160f 00000442: JUMP 00000443: JUMPDEST 00000444: PUSH2 0x0baf 00000447: JUMP 00000448: JUMPDEST 00000449: CALLVALUE 0000044a: DUP1 0000044b: ISZERO 0000044c: PUSH2 0x0453 0000044f: JUMPI 00000450: PUSH0 00000451: DUP1 00000452: REVERT 00000453: JUMPDEST 00000454: POP 00000455: PUSH2 0x02c5 00000458: PUSH2 0x0bdd 0000045b: JUMP 0000045c: JUMPDEST 0000045d: CALLVALUE 0000045e: DUP1 0000045f: ISZERO 00000460: PUSH2 0x0467 00000463: JUMPI 00000464: PUSH0 00000465: DUP1 00000466: REVERT 00000467: JUMPDEST 00000468: POP 00000469: PUSH2 0x02fa 0000046c: PUSH2 0x0476 0000046f: CALLDATASIZE 00000470: PUSH1 0x04 00000472: PUSH2 0x15f6 00000475: JUMP 00000476: JUMPDEST 00000477: PUSH2 0x0c3b 0000047a: JUMP 0000047b: JUMPDEST 0000047c: CALLVALUE 0000047d: DUP1 0000047e: ISZERO 0000047f: PUSH2 0x0486 00000482: JUMPI 00000483: PUSH0 00000484: DUP1 00000485: REVERT 00000486: JUMPDEST 00000487: POP 00000488: PUSH2 0x02fa 0000048b: PUSH2 0x0495 0000048e: CALLDATASIZE 0000048f: PUSH1 0x04 00000491: PUSH2 0x15f6 00000494: JUMP 00000495: JUMPDEST 00000496: PUSH1 0x01 00000498: PUSH1 0x01 0000049a: PUSH1 0xa0 0000049c: SHL 0000049d: SUB 0000049e: AND 0000049f: PUSH0 000004a0: SWAP1 000004a1: DUP2 000004a2: MSTORE 000004a3: PUSH1 0x04 000004a5: PUSH1 0x20 000004a7: MSTORE 000004a8: PUSH1 0x40 000004aa: SWAP1 000004ab: KECCAK256 000004ac: SLOAD 000004ad: SWAP1 000004ae: JUMP 000004af: JUMPDEST 000004b0: CALLVALUE 000004b1: DUP1 000004b2: ISZERO 000004b3: PUSH2 0x04ba 000004b6: JUMPI 000004b7: PUSH0 000004b8: DUP1 000004b9: REVERT 000004ba: JUMPDEST 000004bb: POP 000004bc: PUSH2 0x02fa 000004bf: PUSH1 0x10 000004c1: SLOAD 000004c2: DUP2 000004c3: JUMP 000004c4: JUMPDEST 000004c5: CALLVALUE 000004c6: DUP1 000004c7: ISZERO 000004c8: PUSH2 0x04cf 000004cb: JUMPI 000004cc: PUSH0 000004cd: DUP1 000004ce: REVERT 000004cf: JUMPDEST 000004d0: POP 000004d1: PUSH2 0x02c5 000004d4: PUSH2 0x04de 000004d7: CALLDATASIZE 000004d8: PUSH1 0x04 000004da: PUSH2 0x16cf 000004dd: JUMP 000004de: JUMPDEST 000004df: PUSH2 0x0c6a 000004e2: JUMP 000004e3: JUMPDEST 000004e4: CALLVALUE 000004e5: DUP1 000004e6: ISZERO 000004e7: PUSH2 0x04ee 000004ea: JUMPI 000004eb: PUSH0 000004ec: DUP1 000004ed: REVERT 000004ee: JUMPDEST 000004ef: POP 000004f0: PUSH0 000004f1: SLOAD 000004f2: PUSH1 0x01 000004f4: PUSH1 0x01 000004f6: PUSH1 0xa0 000004f8: SHL 000004f9: SUB 000004fa: AND 000004fb: JUMPDEST 000004fc: PUSH1 0x40 000004fe: MLOAD 000004ff: PUSH1 0x01 00000501: PUSH1 0x01 00000503: PUSH1 0xa0 00000505: SHL 00000506: SUB 00000507: SWAP1 00000508: SWAP2 00000509: AND 0000050a: DUP2 0000050b: MSTORE 0000050c: PUSH1 0x20 0000050e: ADD 0000050f: PUSH2 0x02a8 00000512: JUMP 00000513: JUMPDEST 00000514: CALLVALUE 00000515: DUP1 00000516: ISZERO 00000517: PUSH2 0x051e 0000051a: JUMPI 0000051b: PUSH0 0000051c: DUP1 0000051d: REVERT 0000051e: JUMPDEST 0000051f: POP 00000520: PUSH2 0x02c5 00000523: PUSH2 0x0d62 00000526: JUMP 00000527: JUMPDEST 00000528: CALLVALUE 00000529: DUP1 0000052a: ISZERO 0000052b: PUSH2 0x0532 0000052e: JUMPI 0000052f: PUSH0 00000530: DUP1 00000531: REVERT 00000532: JUMPDEST 00000533: POP 00000534: PUSH2 0x02c5 00000537: PUSH2 0x0541 0000053a: CALLDATASIZE 0000053b: PUSH1 0x04 0000053d: PUSH2 0x166c 00000540: JUMP 00000541: JUMPDEST 00000542: PUSH2 0x0da3 00000545: JUMP 00000546: JUMPDEST 00000547: CALLVALUE 00000548: DUP1 00000549: ISZERO 0000054a: PUSH2 0x0551 0000054d: JUMPI 0000054e: PUSH0 0000054f: DUP1 00000550: REVERT 00000551: JUMPDEST 00000552: POP 00000553: PUSH2 0x02fa 00000556: PUSH2 0x0560 00000559: CALLDATASIZE 0000055a: PUSH1 0x04 0000055c: PUSH2 0x15f6 0000055f: JUMP 00000560: JUMPDEST 00000561: PUSH1 0x03 00000563: PUSH1 0x20 00000565: MSTORE 00000566: PUSH0 00000567: SWAP1 00000568: DUP2 00000569: MSTORE 0000056a: PUSH1 0x40 0000056c: SWAP1 0000056d: KECCAK256 0000056e: SLOAD 0000056f: DUP2 00000570: JUMP 00000571: JUMPDEST 00000572: CALLVALUE 00000573: DUP1 00000574: ISZERO 00000575: PUSH2 0x057c 00000578: JUMPI 00000579: PUSH0 0000057a: DUP1 0000057b: REVERT 0000057c: JUMPDEST 0000057d: POP 0000057e: PUSH2 0x02c5 00000581: PUSH2 0x058b 00000584: CALLDATASIZE 00000585: PUSH1 0x04 00000587: PUSH2 0x160f 0000058a: JUMP 0000058b: JUMPDEST 0000058c: PUSH2 0x0de6 0000058f: JUMP 00000590: JUMPDEST 00000591: CALLVALUE 00000592: DUP1 00000593: ISZERO 00000594: PUSH2 0x059b 00000597: JUMPI 00000598: PUSH0 00000599: DUP1 0000059a: REVERT 0000059b: JUMPDEST 0000059c: POP 0000059d: PUSH2 0x02c5 000005a0: PUSH2 0x0e26 000005a3: JUMP 000005a4: JUMPDEST 000005a5: CALLVALUE 000005a6: DUP1 000005a7: ISZERO 000005a8: PUSH2 0x05af 000005ab: JUMPI 000005ac: PUSH0 000005ad: DUP1 000005ae: REVERT 000005af: JUMPDEST 000005b0: POP 000005b1: PUSH1 0x07 000005b3: SLOAD 000005b4: PUSH2 0x0100 000005b7: SWAP1 000005b8: DIV 000005b9: PUSH1 0xff 000005bb: AND 000005bc: PUSH2 0x029c 000005bf: JUMP 000005c0: JUMPDEST 000005c1: CALLVALUE 000005c2: DUP1 000005c3: ISZERO 000005c4: PUSH2 0x05cb 000005c7: JUMPI 000005c8: PUSH0 000005c9: DUP1 000005ca: REVERT 000005cb: JUMPDEST 000005cc: POP 000005cd: PUSH2 0x02c5 000005d0: PUSH2 0x05da 000005d3: CALLDATASIZE 000005d4: PUSH1 0x04 000005d6: PUSH2 0x166c 000005d9: JUMP 000005da: JUMPDEST 000005db: PUSH2 0x0f29 000005de: JUMP 000005df: JUMPDEST 000005e0: CALLVALUE 000005e1: DUP1 000005e2: ISZERO 000005e3: PUSH2 0x05ea 000005e6: JUMPI 000005e7: PUSH0 000005e8: DUP1 000005e9: REVERT 000005ea: JUMPDEST 000005eb: POP 000005ec: PUSH2 0x02fa 000005ef: PUSH2 0x05f9 000005f2: CALLDATASIZE 000005f3: PUSH1 0x04 000005f5: PUSH2 0x15f6 000005f8: JUMP 000005f9: JUMPDEST 000005fa: PUSH1 0x04 000005fc: PUSH1 0x20 000005fe: MSTORE 000005ff: PUSH0 00000600: SWAP1 00000601: DUP2 00000602: MSTORE 00000603: PUSH1 0x40 00000605: SWAP1 00000606: KECCAK256 00000607: SLOAD 00000608: DUP2 00000609: JUMP 0000060a: JUMPDEST 0000060b: CALLVALUE 0000060c: DUP1 0000060d: ISZERO 0000060e: PUSH2 0x0615 00000611: JUMPI 00000612: PUSH0 00000613: DUP1 00000614: REVERT 00000615: JUMPDEST 00000616: POP 00000617: PUSH2 0x02fa 0000061a: PUSH1 0x0d 0000061c: SLOAD 0000061d: DUP2 0000061e: JUMP 0000061f: JUMPDEST 00000620: CALLVALUE 00000621: DUP1 00000622: ISZERO 00000623: PUSH2 0x062a 00000626: JUMPI 00000627: PUSH0 00000628: DUP1 00000629: REVERT 0000062a: JUMPDEST 0000062b: POP 0000062c: PUSH2 0x02fa 0000062f: PUSH1 0x09 00000631: SLOAD 00000632: DUP2 00000633: JUMP 00000634: JUMPDEST 00000635: CALLVALUE 00000636: DUP1 00000637: ISZERO 00000638: PUSH2 0x063f 0000063b: JUMPI 0000063c: PUSH0 0000063d: DUP1 0000063e: REVERT 0000063f: JUMPDEST 00000640: POP 00000641: PUSH2 0x02c5 00000644: PUSH2 0x064e 00000647: CALLDATASIZE 00000648: PUSH1 0x04 0000064a: PUSH2 0x1717 0000064d: JUMP 0000064e: JUMPDEST 0000064f: PUSH2 0x0f65 00000652: JUMP 00000653: JUMPDEST 00000654: CALLVALUE 00000655: DUP1 00000656: ISZERO 00000657: PUSH2 0x065e 0000065a: JUMPI 0000065b: PUSH0 0000065c: DUP1 0000065d: REVERT 0000065e: JUMPDEST 0000065f: POP 00000660: PUSH2 0x02c5 00000663: PUSH2 0x066d 00000666: CALLDATASIZE 00000667: PUSH1 0x04 00000669: PUSH2 0x160f 0000066c: JUMP 0000066d: JUMPDEST 0000066e: PUSH2 0x1010 00000671: JUMP 00000672: JUMPDEST 00000673: CALLVALUE 00000674: DUP1 00000675: ISZERO 00000676: PUSH2 0x067d 00000679: JUMPI 0000067a: PUSH0 0000067b: DUP1 0000067c: REVERT 0000067d: JUMPDEST 0000067e: POP 0000067f: PUSH2 0x02fa 00000682: PUSH1 0x0f 00000684: SLOAD 00000685: DUP2 00000686: JUMP 00000687: JUMPDEST 00000688: CALLVALUE 00000689: DUP1 0000068a: ISZERO 0000068b: PUSH2 0x0692 0000068e: JUMPI 0000068f: PUSH0 00000690: DUP1 00000691: REVERT 00000692: JUMPDEST 00000693: POP 00000694: PUSH2 0x02fa 00000697: PUSH2 0x06a1 0000069a: CALLDATASIZE 0000069b: PUSH1 0x04 0000069d: PUSH2 0x15f6 000006a0: JUMP 000006a1: JUMPDEST 000006a2: PUSH1 0x06 000006a4: PUSH1 0x20 000006a6: MSTORE 000006a7: PUSH0 000006a8: SWAP1 000006a9: DUP2 000006aa: MSTORE 000006ab: PUSH1 0x40 000006ad: SWAP1 000006ae: KECCAK256 000006af: SLOAD 000006b0: DUP2 000006b1: JUMP 000006b2: JUMPDEST 000006b3: PUSH2 0x02c5 000006b6: PUSH2 0x103e 000006b9: JUMP 000006ba: JUMPDEST 000006bb: CALLVALUE 000006bc: DUP1 000006bd: ISZERO 000006be: PUSH2 0x06c5 000006c1: JUMPI 000006c2: PUSH0 000006c3: DUP1 000006c4: REVERT 000006c5: JUMPDEST 000006c6: POP 000006c7: PUSH2 0x02c5 000006ca: PUSH2 0x06d4 000006cd: CALLDATASIZE 000006ce: PUSH1 0x04 000006d0: PUSH2 0x160f 000006d3: JUMP 000006d4: JUMPDEST 000006d5: PUSH2 0x13ec 000006d8: JUMP 000006d9: JUMPDEST 000006da: CALLVALUE 000006db: DUP1 000006dc: ISZERO 000006dd: PUSH2 0x06e4 000006e0: JUMPI 000006e1: PUSH0 000006e2: DUP1 000006e3: REVERT 000006e4: JUMPDEST 000006e5: POP 000006e6: PUSH1 0x0a 000006e8: SLOAD 000006e9: PUSH2 0x04fb 000006ec: SWAP1 000006ed: PUSH1 0x01 000006ef: PUSH1 0x01 000006f1: PUSH1 0xa0 000006f3: SHL 000006f4: SUB 000006f5: AND 000006f6: DUP2 000006f7: JUMP 000006f8: JUMPDEST 000006f9: CALLVALUE 000006fa: DUP1 000006fb: ISZERO 000006fc: PUSH2 0x0703 000006ff: JUMPI 00000700: PUSH0 00000701: DUP1 00000702: REVERT 00000703: JUMPDEST 00000704: POP 00000705: PUSH2 0x02fa 00000708: PUSH1 0x0b 0000070a: SLOAD 0000070b: DUP2 0000070c: JUMP 0000070d: JUMPDEST 0000070e: CALLVALUE 0000070f: DUP1 00000710: ISZERO 00000711: PUSH2 0x0718 00000714: JUMPI 00000715: PUSH0 00000716: DUP1 00000717: REVERT 00000718: JUMPDEST 00000719: POP 0000071a: PUSH2 0x02c5 0000071d: PUSH2 0x0727 00000720: CALLDATASIZE 00000721: PUSH1 0x04 00000723: PUSH2 0x160f 00000726: JUMP 00000727: JUMPDEST 00000728: PUSH2 0x1415 0000072b: JUMP 0000072c: JUMPDEST 0000072d: CALLVALUE 0000072e: DUP1 0000072f: ISZERO 00000730: PUSH2 0x0737 00000733: JUMPI 00000734: PUSH0 00000735: DUP1 00000736: REVERT 00000737: JUMPDEST 00000738: POP 00000739: PUSH1 0x07 0000073b: SLOAD 0000073c: PUSH3 0x010000 00000740: SWAP1 00000741: DIV 00000742: PUSH1 0xff 00000744: AND 00000745: PUSH2 0x029c 00000748: JUMP 00000749: JUMPDEST 0000074a: CALLVALUE 0000074b: DUP1 0000074c: ISZERO 0000074d: PUSH2 0x0754 00000750: JUMPI 00000751: PUSH0 00000752: DUP1 00000753: REVERT 00000754: JUMPDEST 00000755: POP 00000756: PUSH2 0x02fa 00000759: PUSH1 0x0c 0000075b: SLOAD 0000075c: DUP2 0000075d: JUMP 0000075e: JUMPDEST 0000075f: CALLVALUE 00000760: DUP1 00000761: ISZERO 00000762: PUSH2 0x0769 00000765: JUMPI 00000766: PUSH0 00000767: DUP1 00000768: REVERT 00000769: JUMPDEST 0000076a: POP 0000076b: PUSH2 0x02c5 0000076e: PUSH2 0x0778 00000771: CALLDATASIZE 00000772: PUSH1 0x04 00000774: PUSH2 0x15f6 00000777: JUMP 00000778: JUMPDEST 00000779: PUSH2 0x1496 0000077c: JUMP 0000077d: JUMPDEST 0000077e: CALLVALUE 0000077f: DUP1 00000780: ISZERO 00000781: PUSH2 0x0788 00000784: JUMPI 00000785: PUSH0 00000786: DUP1 00000787: REVERT 00000788: JUMPDEST 00000789: POP 0000078a: PUSH2 0x02fa 0000078d: PUSH1 0x0e 0000078f: SLOAD 00000790: DUP2 00000791: JUMP 00000792: JUMPDEST 00000793: PUSH0 00000794: SLOAD 00000795: PUSH1 0x01 00000797: PUSH1 0x01 00000799: PUSH1 0xa0 0000079b: SHL 0000079c: SUB 0000079d: AND 0000079e: CALLER 0000079f: EQ 000007a0: PUSH2 0x07c4 000007a3: JUMPI 000007a4: PUSH1 0x40 000007a6: MLOAD 000007a7: PUSH3 0x461bcd 000007ab: PUSH1 0xe5 000007ad: SHL 000007ae: DUP2 000007af: MSTORE 000007b0: PUSH1 0x04 000007b2: ADD 000007b3: PUSH2 0x07bb 000007b6: SWAP1 000007b7: PUSH2 0x1756 000007ba: JUMP 000007bb: JUMPDEST 000007bc: PUSH1 0x40 000007be: MLOAD 000007bf: DUP1 000007c0: SWAP2 000007c1: SUB 000007c2: SWAP1 000007c3: REVERT 000007c4: JUMPDEST 000007c5: PUSH1 0x40 000007c7: MLOAD 000007c8: CALLER 000007c9: SWAP1 000007ca: SELFBALANCE 000007cb: DUP1 000007cc: ISZERO 000007cd: PUSH2 0x08fc 000007d0: MUL 000007d1: SWAP2 000007d2: PUSH0 000007d3: DUP2 000007d4: DUP2 000007d5: DUP2 000007d6: DUP6 000007d7: DUP9 000007d8: DUP9 000007d9: CALL 000007da: SWAP4 000007db: POP 000007dc: POP 000007dd: POP 000007de: POP 000007df: ISZERO 000007e0: DUP1 000007e1: ISZERO 000007e2: PUSH2 0x07ed 000007e5: JUMPI 000007e6: RETURNDATASIZE 000007e7: PUSH0 000007e8: DUP1 000007e9: RETURNDATACOPY 000007ea: RETURNDATASIZE 000007eb: PUSH0 000007ec: REVERT 000007ed: JUMPDEST 000007ee: POP 000007ef: JUMP 000007f0: JUMPDEST 000007f1: PUSH0 000007f2: SLOAD 000007f3: PUSH1 0x01 000007f5: PUSH1 0x01 000007f7: PUSH1 0xa0 000007f9: SHL 000007fa: SUB 000007fb: AND 000007fc: CALLER 000007fd: EQ 000007fe: PUSH2 0x0819 00000801: JUMPI 00000802: PUSH1 0x40 00000804: MLOAD 00000805: PUSH3 0x461bcd 00000809: PUSH1 0xe5 0000080b: SHL 0000080c: DUP2 0000080d: MSTORE 0000080e: PUSH1 0x04 00000810: ADD 00000811: PUSH2 0x07bb 00000814: SWAP1 00000815: PUSH2 0x1756 00000818: JUMP 00000819: JUMPDEST 0000081a: PUSH1 0x0e 0000081c: SSTORE 0000081d: JUMP 0000081e: JUMPDEST 0000081f: PUSH1 0x07 00000821: SLOAD 00000822: PUSH1 0xff 00000824: PUSH2 0x0100 00000827: SWAP1 00000828: SWAP2 00000829: DIV 0000082a: AND 0000082b: ISZERO 0000082c: ISZERO 0000082d: PUSH1 0x01 0000082f: EQ 00000830: PUSH2 0x086f 00000833: JUMPI 00000834: PUSH1 0x40 00000836: MLOAD 00000837: PUSH3 0x461bcd 0000083b: PUSH1 0xe5 0000083d: SHL 0000083e: DUP2 0000083f: MSTORE 00000840: PUSH1 0x20 00000842: PUSH1 0x04 00000844: DUP3 00000845: ADD 00000846: MSTORE 00000847: PUSH1 0x11 00000849: PUSH1 0x24 0000084b: DUP3 0000084c: ADD 0000084d: MSTORE 0000084e: PUSH17 0x10db185a5b481b9bdd08195b98589b1959 00000860: PUSH1 0x7a 00000862: SHL 00000863: PUSH1 0x44 00000865: DUP3 00000866: ADD 00000867: MSTORE 00000868: PUSH1 0x64 0000086a: ADD 0000086b: PUSH2 0x07bb 0000086e: JUMP 0000086f: JUMPDEST 00000870: PUSH1 0x07 00000872: SLOAD 00000873: PUSH3 0x010000 00000877: SWAP1 00000878: DIV 00000879: PUSH1 0xff 0000087b: AND 0000087c: ISZERO 0000087d: PUSH2 0x08c8 00000880: JUMPI 00000881: PUSH1 0x40 00000883: MLOAD 00000884: PUSH3 0x461bcd 00000888: PUSH1 0xe5 0000088a: SHL 0000088b: DUP2 0000088c: MSTORE 0000088d: PUSH1 0x20 0000088f: PUSH1 0x04 00000891: DUP3 00000892: ADD 00000893: MSTORE 00000894: PUSH1 0x1a 00000896: PUSH1 0x24 00000898: DUP3 00000899: ADD 0000089a: MSTORE 0000089b: PUSH32 0x526566756e64206d757374206e6f7420626520656e61626c6564000000000000 000008bc: PUSH1 0x44 000008be: DUP3 000008bf: ADD 000008c0: MSTORE 000008c1: PUSH1 0x64 000008c3: ADD 000008c4: PUSH2 0x07bb 000008c7: JUMP 000008c8: JUMPDEST 000008c9: CALLER 000008ca: PUSH0 000008cb: DUP2 000008cc: DUP2 000008cd: MSTORE 000008ce: PUSH1 0x04 000008d0: PUSH1 0x20 000008d2: MSTORE 000008d3: PUSH1 0x40 000008d5: DUP2 000008d6: KECCAK256 000008d7: SLOAD 000008d8: PUSH1 0x10 000008da: SLOAD 000008db: SWAP1 000008dc: SWAP2 000008dd: SWAP1 000008de: PUSH2 0x08e8 000008e1: SWAP1 000008e2: DUP4 000008e3: SWAP1 000008e4: PUSH2 0x156a 000008e7: JUMP 000008e8: JUMPDEST 000008e9: PUSH1 0x01 000008eb: PUSH1 0x01 000008ed: PUSH1 0xa0 000008ef: SHL 000008f0: SUB 000008f1: DUP5 000008f2: AND 000008f3: PUSH0 000008f4: SWAP1 000008f5: DUP2 000008f6: MSTORE 000008f7: PUSH1 0x04 000008f9: PUSH1 0x20 000008fb: MSTORE 000008fc: PUSH1 0x40 000008fe: SWAP1 000008ff: KECCAK256 00000900: SLOAD 00000901: SWAP1 00000902: SWAP2 00000903: POP 00000904: PUSH2 0x090d 00000907: SWAP1 00000908: DUP4 00000909: PUSH2 0x15a2 0000090c: JUMP 0000090d: JUMPDEST 0000090e: PUSH1 0x01 00000910: PUSH1 0x01 00000912: PUSH1 0xa0 00000914: SHL 00000915: SUB 00000916: DUP5 00000917: DUP2 00000918: AND 00000919: PUSH0 0000091a: DUP2 0000091b: DUP2 0000091c: MSTORE 0000091d: PUSH1 0x04 0000091f: PUSH1 0x20 00000921: DUP2 00000922: SWAP1 00000923: MSTORE 00000924: PUSH1 0x40 00000926: SWAP2 00000927: DUP3 00000928: SWAP1 00000929: KECCAK256 0000092a: SWAP5 0000092b: SWAP1 0000092c: SWAP5 0000092d: SSTORE 0000092e: PUSH1 0x0a 00000930: SLOAD 00000931: SWAP1 00000932: MLOAD 00000933: PUSH4 0xa9059cbb 00000938: PUSH1 0xe0 0000093a: SHL 0000093b: DUP2 0000093c: MSTORE 0000093d: SWAP4 0000093e: DUP5 0000093f: ADD 00000940: SWAP2 00000941: SWAP1 00000942: SWAP2 00000943: MSTORE 00000944: PUSH1 0x24 00000946: DUP4 00000947: ADD 00000948: DUP5 00000949: SWAP1 0000094a: MSTORE 0000094b: AND 0000094c: SWAP1 0000094d: PUSH4 0xa9059cbb 00000952: SWAP1 00000953: PUSH1 0x44 00000955: ADD 00000956: JUMPDEST 00000957: PUSH1 0x20 00000959: PUSH1 0x40 0000095b: MLOAD 0000095c: DUP1 0000095d: DUP4 0000095e: SUB 0000095f: DUP2 00000960: PUSH0 00000961: DUP8 00000962: GAS 00000963: CALL 00000964: ISZERO 00000965: DUP1 00000966: ISZERO 00000967: PUSH2 0x0972 0000096a: JUMPI 0000096b: RETURNDATASIZE 0000096c: PUSH0 0000096d: DUP1 0000096e: RETURNDATACOPY 0000096f: RETURNDATASIZE 00000970: PUSH0 00000971: REVERT 00000972: JUMPDEST 00000973: POP 00000974: POP 00000975: POP 00000976: POP 00000977: PUSH1 0x40 00000979: MLOAD 0000097a: RETURNDATASIZE 0000097b: PUSH1 0x1f 0000097d: NOT 0000097e: PUSH1 0x1f 00000980: DUP3 00000981: ADD 00000982: AND 00000983: DUP3 00000984: ADD 00000985: DUP1 00000986: PUSH1 0x40 00000988: MSTORE 00000989: POP 0000098a: DUP2 0000098b: ADD 0000098c: SWAP1 0000098d: PUSH2 0x0996 00000990: SWAP2 00000991: SWAP1 00000992: PUSH2 0x178b 00000995: JUMP 00000996: JUMPDEST 00000997: POP 00000998: POP 00000999: POP 0000099a: POP 0000099b: JUMP 0000099c: JUMPDEST 0000099d: PUSH0 0000099e: SLOAD 0000099f: PUSH1 0x01 000009a1: PUSH1 0x01 000009a3: PUSH1 0xa0 000009a5: SHL 000009a6: SUB 000009a7: AND 000009a8: CALLER 000009a9: EQ 000009aa: PUSH2 0x09c5 000009ad: JUMPI 000009ae: PUSH1 0x40 000009b0: MLOAD 000009b1: PUSH3 0x461bcd 000009b5: PUSH1 0xe5 000009b7: SHL 000009b8: DUP2 000009b9: MSTORE 000009ba: PUSH1 0x04 000009bc: ADD 000009bd: PUSH2 0x07bb 000009c0: SWAP1 000009c1: PUSH2 0x1756 000009c4: JUMP 000009c5: JUMPDEST 000009c6: PUSH1 0x0d 000009c8: SSTORE 000009c9: JUMP 000009ca: JUMPDEST 000009cb: PUSH1 0x07 000009cd: SLOAD 000009ce: PUSH3 0x010000 000009d2: SWAP1 000009d3: DIV 000009d4: PUSH1 0xff 000009d6: AND 000009d7: ISZERO 000009d8: ISZERO 000009d9: PUSH1 0x01 000009db: EQ 000009dc: PUSH2 0x0a27 000009df: JUMPI 000009e0: PUSH1 0x40 000009e2: MLOAD 000009e3: PUSH3 0x461bcd 000009e7: PUSH1 0xe5 000009e9: SHL 000009ea: DUP2 000009eb: MSTORE 000009ec: PUSH1 0x20 000009ee: PUSH1 0x04 000009f0: DUP3 000009f1: ADD 000009f2: MSTORE 000009f3: PUSH1 0x1f 000009f5: PUSH1 0x24 000009f7: DUP3 000009f8: ADD 000009f9: MSTORE 000009fa: PUSH32 0x4e6f7420416c6c6f7765642e20526566756e64206e6f7420656e61626c656400 00000a1b: PUSH1 0x44 00000a1d: DUP3 00000a1e: ADD 00000a1f: MSTORE 00000a20: PUSH1 0x64 00000a22: ADD 00000a23: PUSH2 0x07bb 00000a26: JUMP 00000a27: JUMPDEST 00000a28: PUSH1 0x07 00000a2a: SLOAD 00000a2b: PUSH2 0x0100 00000a2e: SWAP1 00000a2f: DIV 00000a30: PUSH1 0xff 00000a32: AND 00000a33: ISZERO 00000a34: PUSH2 0x0a7f 00000a37: JUMPI 00000a38: PUSH1 0x40 00000a3a: MLOAD 00000a3b: PUSH3 0x461bcd 00000a3f: PUSH1 0xe5 00000a41: SHL 00000a42: DUP2 00000a43: MSTORE 00000a44: PUSH1 0x20 00000a46: PUSH1 0x04 00000a48: DUP3 00000a49: ADD 00000a4a: MSTORE 00000a4b: PUSH1 0x19 00000a4d: PUSH1 0x24 00000a4f: DUP3 00000a50: ADD 00000a51: MSTORE 00000a52: PUSH32 0x436c61696d206d757374206e6f7420626520656e61626c656400000000000000 00000a73: PUSH1 0x44 00000a75: DUP3 00000a76: ADD 00000a77: MSTORE 00000a78: PUSH1 0x64 00000a7a: ADD 00000a7b: PUSH2 0x07bb 00000a7e: JUMP 00000a7f: JUMPDEST 00000a80: CALLER 00000a81: PUSH0 00000a82: DUP2 00000a83: DUP2 00000a84: MSTORE 00000a85: PUSH1 0x04 00000a87: PUSH1 0x20 00000a89: MSTORE 00000a8a: PUSH1 0x40 00000a8c: DUP1 00000a8d: DUP3 00000a8e: KECCAK256 00000a8f: DUP1 00000a90: SLOAD 00000a91: SWAP1 00000a92: DUP4 00000a93: SWAP1 00000a94: SSTORE 00000a95: SWAP1 00000a96: MLOAD 00000a97: SWAP1 00000a98: SWAP3 00000a99: SWAP2 00000a9a: DUP4 00000a9b: ISZERO 00000a9c: PUSH2 0x08fc 00000a9f: MUL 00000aa0: SWAP2 00000aa1: DUP5 00000aa2: SWAP2 00000aa3: DUP2 00000aa4: DUP2 00000aa5: DUP2 00000aa6: DUP6 00000aa7: DUP9 00000aa8: DUP9 00000aa9: CALL 00000aaa: SWAP4 00000aab: POP 00000aac: POP 00000aad: POP 00000aae: POP 00000aaf: ISZERO 00000ab0: DUP1 00000ab1: ISZERO 00000ab2: PUSH2 0x0abd 00000ab5: JUMPI 00000ab6: RETURNDATASIZE 00000ab7: PUSH0 00000ab8: DUP1 00000ab9: RETURNDATACOPY 00000aba: RETURNDATASIZE 00000abb: PUSH0 00000abc: REVERT 00000abd: JUMPDEST 00000abe: POP 00000abf: POP 00000ac0: JUMP 00000ac1: JUMPDEST 00000ac2: PUSH0 00000ac3: SLOAD 00000ac4: PUSH1 0x01 00000ac6: PUSH1 0x01 00000ac8: PUSH1 0xa0 00000aca: SHL 00000acb: SUB 00000acc: AND 00000acd: CALLER 00000ace: EQ 00000acf: PUSH2 0x0aea 00000ad2: JUMPI 00000ad3: PUSH1 0x40 00000ad5: MLOAD 00000ad6: PUSH3 0x461bcd 00000ada: PUSH1 0xe5 00000adc: SHL 00000add: DUP2 00000ade: MSTORE 00000adf: PUSH1 0x04 00000ae1: ADD 00000ae2: PUSH2 0x07bb 00000ae5: SWAP1 00000ae6: PUSH2 0x1756 00000ae9: JUMP 00000aea: JUMPDEST 00000aeb: PUSH1 0x0a 00000aed: DUP1 00000aee: SLOAD 00000aef: PUSH1 0x01 00000af1: PUSH1 0x01 00000af3: PUSH1 0xa0 00000af5: SHL 00000af6: SUB 00000af7: NOT 00000af8: AND 00000af9: PUSH1 0x01 00000afb: PUSH1 0x01 00000afd: PUSH1 0xa0 00000aff: SHL 00000b00: SUB 00000b01: SWAP3 00000b02: SWAP1 00000b03: SWAP3 00000b04: AND 00000b05: SWAP2 00000b06: SWAP1 00000b07: SWAP2 00000b08: OR 00000b09: SWAP1 00000b0a: SSTORE 00000b0b: JUMP 00000b0c: JUMPDEST 00000b0d: PUSH0 00000b0e: SLOAD 00000b0f: PUSH1 0x01 00000b11: PUSH1 0x01 00000b13: PUSH1 0xa0 00000b15: SHL 00000b16: SUB 00000b17: AND 00000b18: CALLER 00000b19: EQ 00000b1a: PUSH2 0x0b35 00000b1d: JUMPI 00000b1e: PUSH1 0x40 00000b20: MLOAD 00000b21: PUSH3 0x461bcd 00000b25: PUSH1 0xe5 00000b27: SHL 00000b28: DUP2 00000b29: MSTORE 00000b2a: PUSH1 0x04 00000b2c: ADD 00000b2d: PUSH2 0x07bb 00000b30: SWAP1 00000b31: PUSH2 0x1756 00000b34: JUMP 00000b35: JUMPDEST 00000b36: PUSH1 0x40 00000b38: MLOAD 00000b39: PUSH4 0xa9059cbb 00000b3e: PUSH1 0xe0 00000b40: SHL 00000b41: DUP2 00000b42: MSTORE 00000b43: PUSH1 0x01 00000b45: PUSH1 0x01 00000b47: PUSH1 0xa0 00000b49: SHL 00000b4a: SUB 00000b4b: DUP4 00000b4c: DUP2 00000b4d: AND 00000b4e: PUSH1 0x04 00000b50: DUP4 00000b51: ADD 00000b52: MSTORE 00000b53: PUSH1 0x24 00000b55: DUP3 00000b56: ADD 00000b57: DUP4 00000b58: SWAP1 00000b59: MSTORE 00000b5a: DUP5 00000b5b: AND 00000b5c: SWAP1 00000b5d: PUSH4 0xa9059cbb 00000b62: SWAP1 00000b63: PUSH1 0x44 00000b65: ADD 00000b66: PUSH2 0x0956 00000b69: JUMP 00000b6a: JUMPDEST 00000b6b: PUSH0 00000b6c: SLOAD 00000b6d: PUSH1 0x01 00000b6f: PUSH1 0x01 00000b71: PUSH1 0xa0 00000b73: SHL 00000b74: SUB 00000b75: AND 00000b76: CALLER 00000b77: EQ 00000b78: PUSH2 0x0b93 00000b7b: JUMPI 00000b7c: PUSH1 0x40 00000b7e: MLOAD 00000b7f: PUSH3 0x461bcd 00000b83: PUSH1 0xe5 00000b85: SHL 00000b86: DUP2 00000b87: MSTORE 00000b88: PUSH1 0x04 00000b8a: ADD 00000b8b: PUSH2 0x07bb 00000b8e: SWAP1 00000b8f: PUSH2 0x1756 00000b92: JUMP 00000b93: JUMPDEST 00000b94: PUSH1 0x07 00000b96: DUP1 00000b97: SLOAD 00000b98: SWAP2 00000b99: ISZERO 00000b9a: ISZERO 00000b9b: PUSH3 0x010000 00000b9f: MUL 00000ba0: PUSH3 0xff0000 00000ba4: NOT 00000ba5: SWAP1 00000ba6: SWAP3 00000ba7: AND 00000ba8: SWAP2 00000ba9: SWAP1 00000baa: SWAP2 00000bab: OR 00000bac: SWAP1 00000bad: SSTORE 00000bae: JUMP 00000baf: JUMPDEST 00000bb0: PUSH0 00000bb1: SLOAD 00000bb2: PUSH1 0x01 00000bb4: PUSH1 0x01 00000bb6: PUSH1 0xa0 00000bb8: SHL 00000bb9: SUB 00000bba: AND 00000bbb: CALLER 00000bbc: EQ 00000bbd: PUSH2 0x0bd8 00000bc0: JUMPI 00000bc1: PUSH1 0x40 00000bc3: MLOAD 00000bc4: PUSH3 0x461bcd 00000bc8: PUSH1 0xe5 00000bca: SHL 00000bcb: DUP2 00000bcc: MSTORE 00000bcd: PUSH1 0x04 00000bcf: ADD 00000bd0: PUSH2 0x07bb 00000bd3: SWAP1 00000bd4: PUSH2 0x1756 00000bd7: JUMP 00000bd8: JUMPDEST 00000bd9: PUSH1 0x0f 00000bdb: SSTORE 00000bdc: JUMP 00000bdd: JUMPDEST 00000bde: PUSH0 00000bdf: SLOAD 00000be0: PUSH1 0x01 00000be2: PUSH1 0x01 00000be4: PUSH1 0xa0 00000be6: SHL 00000be7: SUB 00000be8: AND 00000be9: CALLER 00000bea: EQ 00000beb: PUSH2 0x0c06 00000bee: JUMPI 00000bef: PUSH1 0x40 00000bf1: MLOAD 00000bf2: PUSH3 0x461bcd 00000bf6: PUSH1 0xe5 00000bf8: SHL 00000bf9: DUP2 00000bfa: MSTORE 00000bfb: PUSH1 0x04 00000bfd: ADD 00000bfe: PUSH2 0x07bb 00000c01: SWAP1 00000c02: PUSH2 0x1756 00000c05: JUMP 00000c06: JUMPDEST 00000c07: PUSH0 00000c08: DUP1 00000c09: SLOAD 00000c0a: PUSH1 0x40 00000c0c: MLOAD 00000c0d: PUSH1 0x01 00000c0f: PUSH1 0x01 00000c11: PUSH1 0xa0 00000c13: SHL 00000c14: SUB 00000c15: SWAP1 00000c16: SWAP2 00000c17: AND 00000c18: SWAP1 00000c19: PUSH0 00000c1a: DUP1 00000c1b: MLOAD 00000c1c: PUSH1 0x20 00000c1e: PUSH2 0x1857 00000c21: DUP4 00000c22: CODECOPY 00000c23: DUP2 00000c24: MLOAD 00000c25: SWAP2 00000c26: MSTORE 00000c27: SWAP1 00000c28: DUP4 00000c29: SWAP1 00000c2a: LOG3 00000c2b: PUSH0 00000c2c: DUP1 00000c2d: SLOAD 00000c2e: PUSH1 0x01 00000c30: PUSH1 0x01 00000c32: PUSH1 0xa0 00000c34: SHL 00000c35: SUB 00000c36: NOT 00000c37: AND 00000c38: SWAP1 00000c39: SSTORE 00000c3a: JUMP 00000c3b: JUMPDEST 00000c3c: PUSH1 0x10 00000c3e: SLOAD 00000c3f: PUSH1 0x01 00000c41: PUSH1 0x01 00000c43: PUSH1 0xa0 00000c45: SHL 00000c46: SUB 00000c47: DUP3 00000c48: AND 00000c49: PUSH0 00000c4a: SWAP1 00000c4b: DUP2 00000c4c: MSTORE 00000c4d: PUSH1 0x04 00000c4f: PUSH1 0x20 00000c51: MSTORE 00000c52: PUSH1 0x40 00000c54: DUP2 00000c55: KECCAK256 00000c56: SLOAD 00000c57: SWAP1 00000c58: SWAP2 00000c59: DUP3 00000c5a: SWAP2 00000c5b: PUSH2 0x0c63 00000c5e: SWAP2 00000c5f: PUSH2 0x156a 00000c62: JUMP 00000c63: JUMPDEST 00000c64: SWAP4 00000c65: SWAP3 00000c66: POP 00000c67: POP 00000c68: POP 00000c69: JUMP 00000c6a: JUMPDEST 00000c6b: PUSH0 00000c6c: SLOAD 00000c6d: PUSH1 0x01 00000c6f: PUSH1 0x01 00000c71: PUSH1 0xa0 00000c73: SHL 00000c74: SUB 00000c75: AND 00000c76: CALLER 00000c77: EQ 00000c78: PUSH2 0x0c93 00000c7b: JUMPI 00000c7c: PUSH1 0x40 00000c7e: MLOAD 00000c7f: PUSH3 0x461bcd 00000c83: PUSH1 0xe5 00000c85: SHL 00000c86: DUP2 00000c87: MSTORE 00000c88: PUSH1 0x04 00000c8a: ADD 00000c8b: PUSH2 0x07bb 00000c8e: SWAP1 00000c8f: PUSH2 0x1756 00000c92: JUMP 00000c93: JUMPDEST 00000c94: PUSH1 0x07 00000c96: DUP1 00000c97: SLOAD 00000c98: PUSH1 0xff 00000c9a: NOT 00000c9b: AND 00000c9c: DUP4 00000c9d: ISZERO 00000c9e: ISZERO 00000c9f: OR 00000ca0: SWAP1 00000ca1: SSTORE 00000ca2: PUSH0 00000ca3: JUMPDEST 00000ca4: DUP3 00000ca5: DUP2 00000ca6: LT 00000ca7: ISZERO 00000ca8: PUSH2 0x0996 00000cab: JUMPI 00000cac: PUSH1 0x01 00000cae: PUSH1 0x05 00000cb0: PUSH0 00000cb1: DUP7 00000cb2: DUP7 00000cb3: DUP6 00000cb4: DUP2 00000cb5: DUP2 00000cb6: LT 00000cb7: PUSH2 0x0cc2 00000cba: JUMPI 00000cbb: PUSH2 0x0cc2 00000cbe: PUSH2 0x17a6 00000cc1: JUMP 00000cc2: JUMPDEST 00000cc3: SWAP1 00000cc4: POP 00000cc5: PUSH1 0x20 00000cc7: MUL 00000cc8: ADD 00000cc9: PUSH1 0x20 00000ccb: DUP2 00000ccc: ADD 00000ccd: SWAP1 00000cce: PUSH2 0x0cd7 00000cd1: SWAP2 00000cd2: SWAP1 00000cd3: PUSH2 0x15f6 00000cd6: JUMP 00000cd7: JUMPDEST 00000cd8: PUSH1 0x01 00000cda: PUSH1 0x01 00000cdc: PUSH1 0xa0 00000cde: SHL 00000cdf: SUB 00000ce0: AND 00000ce1: PUSH1 0x01 00000ce3: PUSH1 0x01 00000ce5: PUSH1 0xa0 00000ce7: SHL 00000ce8: SUB 00000ce9: AND 00000cea: DUP2 00000ceb: MSTORE 00000cec: PUSH1 0x20 00000cee: ADD 00000cef: SWAP1 00000cf0: DUP2 00000cf1: MSTORE 00000cf2: PUSH1 0x20 00000cf4: ADD 00000cf5: PUSH0 00000cf6: KECCAK256 00000cf7: PUSH0 00000cf8: PUSH2 0x0100 00000cfb: EXP 00000cfc: DUP2 00000cfd: SLOAD 00000cfe: DUP2 00000cff: PUSH1 0xff 00000d01: MUL 00000d02: NOT 00000d03: AND 00000d04: SWAP1 00000d05: DUP4 00000d06: ISZERO 00000d07: ISZERO 00000d08: MUL 00000d09: OR 00000d0a: SWAP1 00000d0b: SSTORE 00000d0c: POP 00000d0d: DUP2 00000d0e: PUSH1 0x06 00000d10: PUSH0 00000d11: DUP7 00000d12: DUP7 00000d13: DUP6 00000d14: DUP2 00000d15: DUP2 00000d16: LT 00000d17: PUSH2 0x0d22 00000d1a: JUMPI 00000d1b: PUSH2 0x0d22 00000d1e: PUSH2 0x17a6 00000d21: JUMP 00000d22: JUMPDEST 00000d23: SWAP1 00000d24: POP 00000d25: PUSH1 0x20 00000d27: MUL 00000d28: ADD 00000d29: PUSH1 0x20 00000d2b: DUP2 00000d2c: ADD 00000d2d: SWAP1 00000d2e: PUSH2 0x0d37 00000d31: SWAP2 00000d32: SWAP1 00000d33: PUSH2 0x15f6 00000d36: JUMP 00000d37: JUMPDEST 00000d38: PUSH1 0x01 00000d3a: PUSH1 0x01 00000d3c: PUSH1 0xa0 00000d3e: SHL 00000d3f: SUB 00000d40: AND 00000d41: DUP2 00000d42: MSTORE 00000d43: PUSH1 0x20 00000d45: DUP2 00000d46: ADD 00000d47: SWAP2 00000d48: SWAP1 00000d49: SWAP2 00000d4a: MSTORE 00000d4b: PUSH1 0x40 00000d4d: ADD 00000d4e: PUSH0 00000d4f: KECCAK256 00000d50: SSTORE 00000d51: DUP1 00000d52: PUSH2 0x0d5a 00000d55: DUP2 00000d56: PUSH2 0x17ce 00000d59: JUMP 00000d5a: JUMPDEST 00000d5b: SWAP2 00000d5c: POP 00000d5d: POP 00000d5e: PUSH2 0x0ca3 00000d61: JUMP 00000d62: JUMPDEST 00000d63: PUSH0 00000d64: SLOAD 00000d65: PUSH1 0x01 00000d67: PUSH1 0x01 00000d69: PUSH1 0xa0 00000d6b: SHL 00000d6c: SUB 00000d6d: AND 00000d6e: CALLER 00000d6f: EQ 00000d70: PUSH2 0x0d8b 00000d73: JUMPI 00000d74: PUSH1 0x40 00000d76: MLOAD 00000d77: PUSH3 0x461bcd 00000d7b: PUSH1 0xe5 00000d7d: SHL 00000d7e: DUP2 00000d7f: MSTORE 00000d80: PUSH1 0x04 00000d82: ADD 00000d83: PUSH2 0x07bb 00000d86: SWAP1 00000d87: PUSH2 0x1756 00000d8a: JUMP 00000d8b: JUMPDEST 00000d8c: TIMESTAMP 00000d8d: PUSH1 0x0b 00000d8f: DUP2 00000d90: SWAP1 00000d91: SSTORE 00000d92: PUSH2 0x0d9e 00000d95: SWAP1 00000d96: PUSH3 0x093a80 00000d9a: PUSH2 0x17e6 00000d9d: JUMP 00000d9e: JUMPDEST 00000d9f: PUSH1 0x0c 00000da1: SSTORE 00000da2: JUMP 00000da3: JUMPDEST 00000da4: PUSH0 00000da5: SLOAD 00000da6: PUSH1 0x01 00000da8: PUSH1 0x01 00000daa: PUSH1 0xa0 00000dac: SHL 00000dad: SUB 00000dae: AND 00000daf: CALLER 00000db0: EQ 00000db1: PUSH2 0x0dcc 00000db4: JUMPI 00000db5: PUSH1 0x40 00000db7: MLOAD 00000db8: PUSH3 0x461bcd 00000dbc: PUSH1 0xe5 00000dbe: SHL 00000dbf: DUP2 00000dc0: MSTORE 00000dc1: PUSH1 0x04 00000dc3: ADD 00000dc4: PUSH2 0x07bb 00000dc7: SWAP1 00000dc8: PUSH2 0x1756 00000dcb: JUMP 00000dcc: JUMPDEST 00000dcd: PUSH1 0x07 00000dcf: DUP1 00000dd0: SLOAD 00000dd1: SWAP2 00000dd2: ISZERO 00000dd3: ISZERO 00000dd4: PUSH2 0x0100 00000dd7: MUL 00000dd8: PUSH2 0xff00 00000ddb: NOT 00000ddc: SWAP1 00000ddd: SWAP3 00000dde: AND 00000ddf: SWAP2 00000de0: SWAP1 00000de1: SWAP2 00000de2: OR 00000de3: SWAP1 00000de4: SSTORE 00000de5: JUMP 00000de6: JUMPDEST 00000de7: PUSH0 00000de8: SLOAD 00000de9: PUSH1 0x01 00000deb: PUSH1 0x01 00000ded: PUSH1 0xa0 00000def: SHL 00000df0: SUB 00000df1: AND 00000df2: CALLER 00000df3: EQ 00000df4: PUSH2 0x0e0f 00000df7: JUMPI 00000df8: PUSH1 0x40 00000dfa: MLOAD 00000dfb: PUSH3 0x461bcd 00000dff: PUSH1 0xe5 00000e01: SHL 00000e02: DUP2 00000e03: MSTORE 00000e04: PUSH1 0x04 00000e06: ADD 00000e07: PUSH2 0x07bb 00000e0a: SWAP1 00000e0b: PUSH2 0x1756 00000e0e: JUMP 00000e0f: JUMPDEST 00000e10: TIMESTAMP 00000e11: PUSH1 0x0b 00000e13: DUP2 00000e14: SWAP1 00000e15: SSTORE 00000e16: PUSH2 0x0e20 00000e19: SWAP1 00000e1a: DUP3 00000e1b: SWAP1 00000e1c: PUSH2 0x17e6 00000e1f: JUMP 00000e20: JUMPDEST 00000e21: PUSH1 0x0c 00000e23: SSTORE 00000e24: POP 00000e25: JUMP 00000e26: JUMPDEST 00000e27: PUSH1 0x01 00000e29: SLOAD 00000e2a: PUSH1 0x01 00000e2c: PUSH1 0x01 00000e2e: PUSH1 0xa0 00000e30: SHL 00000e31: SUB 00000e32: AND 00000e33: CALLER 00000e34: EQ 00000e35: PUSH2 0x0e8c 00000e38: JUMPI 00000e39: PUSH1 0x40 00000e3b: MLOAD 00000e3c: PUSH3 0x461bcd 00000e40: PUSH1 0xe5 00000e42: SHL 00000e43: DUP2 00000e44: MSTORE 00000e45: PUSH1 0x20 00000e47: PUSH1 0x04 00000e49: DUP3 00000e4a: ADD 00000e4b: MSTORE 00000e4c: PUSH1 0x23 00000e4e: PUSH1 0x24 00000e50: DUP3 00000e51: ADD 00000e52: MSTORE 00000e53: PUSH32 0x596f7520646f6e27742068617665207065726d697373696f6e20746f20756e6c 00000e74: PUSH1 0x44 00000e76: DUP3 00000e77: ADD 00000e78: MSTORE 00000e79: PUSH3 0x6f636b 00000e7d: PUSH1 0xe8 00000e7f: SHL 00000e80: PUSH1 0x64 00000e82: DUP3 00000e83: ADD 00000e84: MSTORE 00000e85: PUSH1 0x84 00000e87: ADD 00000e88: PUSH2 0x07bb 00000e8b: JUMP 00000e8c: JUMPDEST 00000e8d: PUSH1 0x02 00000e8f: SLOAD 00000e90: TIMESTAMP 00000e91: GT 00000e92: PUSH2 0x0edd 00000e95: JUMPI 00000e96: PUSH1 0x40 00000e98: MLOAD 00000e99: PUSH3 0x461bcd 00000e9d: PUSH1 0xe5 00000e9f: SHL 00000ea0: DUP2 00000ea1: MSTORE 00000ea2: PUSH1 0x20 00000ea4: PUSH1 0x04 00000ea6: DUP3 00000ea7: ADD 00000ea8: MSTORE 00000ea9: PUSH1 0x1f 00000eab: PUSH1 0x24 00000ead: DUP3 00000eae: ADD 00000eaf: MSTORE 00000eb0: PUSH32 0x436f6e7472616374206973206c6f636b656420756e74696c2037206461797300 00000ed1: PUSH1 0x44 00000ed3: DUP3 00000ed4: ADD 00000ed5: MSTORE 00000ed6: PUSH1 0x64 00000ed8: ADD 00000ed9: PUSH2 0x07bb 00000edc: JUMP 00000edd: JUMPDEST 00000ede: PUSH1 0x01 00000ee0: SLOAD 00000ee1: PUSH0 00000ee2: DUP1 00000ee3: SLOAD 00000ee4: PUSH1 0x40 00000ee6: MLOAD 00000ee7: PUSH1 0x01 00000ee9: PUSH1 0x01 00000eeb: PUSH1 0xa0 00000eed: SHL 00000eee: SUB 00000eef: SWAP4 00000ef0: DUP5 00000ef1: AND 00000ef2: SWAP4 00000ef3: SWAP1 00000ef4: SWAP2 00000ef5: AND 00000ef6: SWAP2 00000ef7: PUSH0 00000ef8: DUP1 00000ef9: MLOAD 00000efa: PUSH1 0x20 00000efc: PUSH2 0x1857 00000eff: DUP4 00000f00: CODECOPY 00000f01: DUP2 00000f02: MLOAD 00000f03: SWAP2 00000f04: MSTORE 00000f05: SWAP2 00000f06: LOG3 00000f07: PUSH1 0x01 00000f09: SLOAD 00000f0a: PUSH0 00000f0b: DUP1 00000f0c: SLOAD 00000f0d: PUSH1 0x01 00000f0f: PUSH1 0x01 00000f11: PUSH1 0xa0 00000f13: SHL 00000f14: SUB 00000f15: NOT 00000f16: AND 00000f17: PUSH1 0x01 00000f19: PUSH1 0x01 00000f1b: PUSH1 0xa0 00000f1d: SHL 00000f1e: SUB 00000f1f: SWAP1 00000f20: SWAP3 00000f21: AND 00000f22: SWAP2 00000f23: SWAP1 00000f24: SWAP2 00000f25: OR 00000f26: SWAP1 00000f27: SSTORE 00000f28: JUMP 00000f29: JUMPDEST 00000f2a: PUSH0 00000f2b: SLOAD 00000f2c: PUSH1 0x01 00000f2e: PUSH1 0x01 00000f30: PUSH1 0xa0 00000f32: SHL 00000f33: SUB 00000f34: AND 00000f35: CALLER 00000f36: EQ 00000f37: PUSH2 0x0f52 00000f3a: JUMPI 00000f3b: PUSH1 0x40 00000f3d: MLOAD 00000f3e: PUSH3 0x461bcd 00000f42: PUSH1 0xe5 00000f44: SHL 00000f45: DUP2 00000f46: MSTORE 00000f47: PUSH1 0x04 00000f49: ADD 00000f4a: PUSH2 0x07bb 00000f4d: SWAP1 00000f4e: PUSH2 0x1756 00000f51: JUMP 00000f52: JUMPDEST 00000f53: PUSH1 0x07 00000f55: DUP1 00000f56: SLOAD 00000f57: PUSH1 0xff 00000f59: NOT 00000f5a: AND 00000f5b: SWAP2 00000f5c: ISZERO 00000f5d: ISZERO 00000f5e: SWAP2 00000f5f: SWAP1 00000f60: SWAP2 00000f61: OR 00000f62: SWAP1 00000f63: SSTORE 00000f64: JUMP 00000f65: JUMPDEST 00000f66: PUSH0 00000f67: SLOAD 00000f68: PUSH1 0x01 00000f6a: PUSH1 0x01 00000f6c: PUSH1 0xa0 00000f6e: SHL 00000f6f: SUB 00000f70: AND 00000f71: CALLER 00000f72: EQ 00000f73: PUSH2 0x0f8e 00000f76: JUMPI 00000f77: PUSH1 0x40 00000f79: MLOAD 00000f7a: PUSH3 0x461bcd 00000f7e: PUSH1 0xe5 00000f80: SHL 00000f81: DUP2 00000f82: MSTORE 00000f83: PUSH1 0x04 00000f85: ADD 00000f86: PUSH2 0x07bb 00000f89: SWAP1 00000f8a: PUSH2 0x1756 00000f8d: JUMP 00000f8e: JUMPDEST 00000f8f: PUSH1 0x07 00000f91: DUP1 00000f92: SLOAD 00000f93: PUSH1 0xff 00000f95: NOT 00000f96: AND 00000f97: DUP3 00000f98: ISZERO 00000f99: ISZERO 00000f9a: OR 00000f9b: SWAP1 00000f9c: SSTORE 00000f9d: PUSH0 00000f9e: JUMPDEST 00000f9f: DUP2 00000fa0: DUP2 00000fa1: LT 00000fa2: ISZERO 00000fa3: PUSH2 0x100b 00000fa6: JUMPI 00000fa7: PUSH1 0x01 00000fa9: PUSH1 0x05 00000fab: PUSH0 00000fac: DUP6 00000fad: DUP6 00000fae: DUP6 00000faf: DUP2 00000fb0: DUP2 00000fb1: LT 00000fb2: PUSH2 0x0fbd 00000fb5: JUMPI 00000fb6: PUSH2 0x0fbd 00000fb9: PUSH2 0x17a6 00000fbc: JUMP 00000fbd: JUMPDEST 00000fbe: SWAP1 00000fbf: POP 00000fc0: PUSH1 0x20 00000fc2: MUL 00000fc3: ADD 00000fc4: PUSH1 0x20 00000fc6: DUP2 00000fc7: ADD 00000fc8: SWAP1 00000fc9: PUSH2 0x0fd2 00000fcc: SWAP2 00000fcd: SWAP1 00000fce: PUSH2 0x15f6 00000fd1: JUMP 00000fd2: JUMPDEST 00000fd3: PUSH1 0x01 00000fd5: PUSH1 0x01 00000fd7: PUSH1 0xa0 00000fd9: SHL 00000fda: SUB 00000fdb: AND 00000fdc: DUP2 00000fdd: MSTORE 00000fde: PUSH1 0x20 00000fe0: DUP2 00000fe1: ADD 00000fe2: SWAP2 00000fe3: SWAP1 00000fe4: SWAP2 00000fe5: MSTORE 00000fe6: PUSH1 0x40 00000fe8: ADD 00000fe9: PUSH0 00000fea: KECCAK256 00000feb: DUP1 00000fec: SLOAD 00000fed: PUSH1 0xff 00000fef: NOT 00000ff0: AND 00000ff1: SWAP2 00000ff2: ISZERO 00000ff3: ISZERO 00000ff4: SWAP2 00000ff5: SWAP1 00000ff6: SWAP2 00000ff7: OR 00000ff8: SWAP1 00000ff9: SSTORE 00000ffa: DUP1 00000ffb: PUSH2 0x1003 00000ffe: DUP2 00000fff: PUSH2 0x17ce 00001002: JUMP 00001003: JUMPDEST 00001004: SWAP2 00001005: POP 00001006: POP 00001007: PUSH2 0x0f9e 0000100a: JUMP 0000100b: JUMPDEST 0000100c: POP 0000100d: POP 0000100e: POP 0000100f: JUMP 00001010: JUMPDEST 00001011: PUSH0 00001012: SLOAD 00001013: PUSH1 0x01 00001015: PUSH1 0x01 00001017: PUSH1 0xa0 00001019: SHL 0000101a: SUB 0000101b: AND 0000101c: CALLER 0000101d: EQ 0000101e: PUSH2 0x1039 00001021: JUMPI 00001022: PUSH1 0x40 00001024: MLOAD 00001025: PUSH3 0x461bcd 00001029: PUSH1 0xe5 0000102b: SHL 0000102c: DUP2 0000102d: MSTORE 0000102e: PUSH1 0x04 00001030: ADD 00001031: PUSH2 0x07bb 00001034: SWAP1 00001035: PUSH2 0x1756 00001038: JUMP 00001039: JUMPDEST 0000103a: PUSH1 0x10 0000103c: SSTORE 0000103d: JUMP 0000103e: JUMPDEST 0000103f: PUSH1 0x07 00001041: SLOAD 00001042: PUSH1 0xff 00001044: AND 00001045: ISZERO 00001046: DUP1 00001047: PUSH2 0x105e 0000104a: JUMPI 0000104b: POP 0000104c: CALLER 0000104d: PUSH0 0000104e: SWAP1 0000104f: DUP2 00001050: MSTORE 00001051: PUSH1 0x05 00001053: PUSH1 0x20 00001055: MSTORE 00001056: PUSH1 0x40 00001058: SWAP1 00001059: KECCAK256 0000105a: SLOAD 0000105b: PUSH1 0xff 0000105d: AND 0000105e: JUMPDEST 0000105f: PUSH2 0x10aa 00001062: JUMPI 00001063: PUSH1 0x40 00001065: MLOAD 00001066: PUSH3 0x461bcd 0000106a: PUSH1 0xe5 0000106c: SHL 0000106d: DUP2 0000106e: MSTORE 0000106f: PUSH1 0x20 00001071: PUSH1 0x04 00001073: DUP3 00001074: ADD 00001075: MSTORE 00001076: PUSH1 0x17 00001078: PUSH1 0x24 0000107a: DUP3 0000107b: ADD 0000107c: MSTORE 0000107d: PUSH32 0x41646472657373206e6f742077686974656c6973746564000000000000000000 0000109e: PUSH1 0x44 000010a0: DUP3 000010a1: ADD 000010a2: MSTORE 000010a3: PUSH1 0x64 000010a5: ADD 000010a6: PUSH2 0x07bb 000010a9: JUMP 000010aa: JUMPDEST 000010ab: CALLER 000010ac: PUSH0 000010ad: SWAP1 000010ae: DUP2 000010af: MSTORE 000010b0: PUSH1 0x06 000010b2: PUSH1 0x20 000010b4: MSTORE 000010b5: PUSH1 0x40 000010b7: SWAP1 000010b8: KECCAK256 000010b9: SLOAD 000010ba: CALLVALUE 000010bb: GT 000010bc: ISZERO 000010bd: DUP1 000010be: PUSH2 0x10ca 000010c1: JUMPI 000010c2: POP 000010c3: PUSH1 0x07 000010c5: SLOAD 000010c6: PUSH1 0xff 000010c8: AND 000010c9: ISZERO 000010ca: JUMPDEST 000010cb: PUSH2 0x1116 000010ce: JUMPI 000010cf: PUSH1 0x40 000010d1: MLOAD 000010d2: PUSH3 0x461bcd 000010d6: PUSH1 0xe5 000010d8: SHL 000010d9: DUP2 000010da: MSTORE 000010db: PUSH1 0x20 000010dd: PUSH1 0x04 000010df: DUP3 000010e0: ADD 000010e1: MSTORE 000010e2: PUSH1 0x1c 000010e4: PUSH1 0x24 000010e6: DUP3 000010e7: ADD 000010e8: MSTORE 000010e9: PUSH32 0x4d757374206465706f7369742074686520616d6f756e74206269642e00000000 0000110a: PUSH1 0x44 0000110c: DUP3 0000110d: ADD 0000110e: MSTORE 0000110f: PUSH1 0x64 00001111: ADD 00001112: PUSH2 0x07bb 00001115: JUMP 00001116: JUMPDEST 00001117: CALLER 00001118: PUSH0 00001119: SWAP1 0000111a: DUP2 0000111b: MSTORE 0000111c: PUSH1 0x06 0000111e: PUSH1 0x20 00001120: SWAP1 00001121: DUP2 00001122: MSTORE 00001123: PUSH1 0x40 00001125: DUP1 00001126: DUP4 00001127: KECCAK256 00001128: SLOAD 00001129: PUSH1 0x04 0000112b: SWAP1 0000112c: SWAP3 0000112d: MSTORE 0000112e: SWAP1 0000112f: SWAP2 00001130: KECCAK256 00001131: SLOAD 00001132: PUSH2 0x113c 00001135: SWAP1 00001136: CALLVALUE 00001137: SWAP1 00001138: PUSH2 0x15bd 0000113b: JUMP 0000113c: JUMPDEST 0000113d: GT 0000113e: ISZERO 0000113f: DUP1 00001140: PUSH2 0x114c 00001143: JUMPI 00001144: POP 00001145: PUSH1 0x07 00001147: SLOAD 00001148: PUSH1 0xff 0000114a: AND 0000114b: ISZERO 0000114c: JUMPDEST 0000114d: PUSH2 0x1191 00001150: JUMPI 00001151: PUSH1 0x40 00001153: MLOAD 00001154: PUSH3 0x461bcd 00001158: PUSH1 0xe5 0000115a: SHL 0000115b: DUP2 0000115c: MSTORE 0000115d: PUSH1 0x20 0000115f: PUSH1 0x04 00001161: DUP3 00001162: ADD 00001163: MSTORE 00001164: PUSH1 0x16 00001166: PUSH1 0x24 00001168: DUP3 00001169: ADD 0000116a: MSTORE 0000116b: PUSH22 0x14195c881d5cd95c881b1a5b5a5d081c995858da1959 00001182: PUSH1 0x52 00001184: SHL 00001185: PUSH1 0x44 00001187: DUP3 00001188: ADD 00001189: MSTORE 0000118a: PUSH1 0x64 0000118c: ADD 0000118d: PUSH2 0x07bb 00001190: JUMP 00001191: JUMPDEST 00001192: PUSH1 0x07 00001194: SLOAD 00001195: PUSH1 0xff 00001197: AND 00001198: DUP1 00001199: PUSH2 0x11bd 0000119c: JUMPI 0000119d: POP 0000119e: PUSH1 0x0d 000011a0: SLOAD 000011a1: CALLER 000011a2: PUSH0 000011a3: SWAP1 000011a4: DUP2 000011a5: MSTORE 000011a6: PUSH1 0x04 000011a8: PUSH1 0x20 000011aa: MSTORE 000011ab: PUSH1 0x40 000011ad: SWAP1 000011ae: KECCAK256 000011af: SLOAD 000011b0: PUSH2 0x11ba 000011b3: SWAP1 000011b4: CALLVALUE 000011b5: SWAP1 000011b6: PUSH2 0x15bd 000011b9: JUMP 000011ba: JUMPDEST 000011bb: LT 000011bc: ISZERO 000011bd: JUMPDEST 000011be: PUSH2 0x11fe 000011c1: JUMPI 000011c2: PUSH1 0x40 000011c4: MLOAD 000011c5: PUSH3 0x461bcd 000011c9: PUSH1 0xe5 000011cb: SHL 000011cc: DUP2 000011cd: MSTORE 000011ce: PUSH1 0x20 000011d0: PUSH1 0x04 000011d2: DUP3 000011d3: ADD 000011d4: MSTORE 000011d5: PUSH1 0x12 000011d7: PUSH1 0x24 000011d9: DUP3 000011da: ADD 000011db: MSTORE 000011dc: PUSH18 0x2832b9103ab9b2b9103634b6b4ba1036b4b7 000011ef: PUSH1 0x71 000011f1: SHL 000011f2: PUSH1 0x44 000011f4: DUP3 000011f5: ADD 000011f6: MSTORE 000011f7: PUSH1 0x64 000011f9: ADD 000011fa: PUSH2 0x07bb 000011fd: JUMP 000011fe: JUMPDEST 000011ff: PUSH1 0x07 00001201: SLOAD 00001202: PUSH1 0xff 00001204: AND 00001205: DUP1 00001206: PUSH2 0x122a 00001209: JUMPI 0000120a: POP 0000120b: PUSH1 0x0e 0000120d: SLOAD 0000120e: CALLER 0000120f: PUSH0 00001210: SWAP1 00001211: DUP2 00001212: MSTORE 00001213: PUSH1 0x04 00001215: PUSH1 0x20 00001217: MSTORE 00001218: PUSH1 0x40 0000121a: SWAP1 0000121b: KECCAK256 0000121c: SLOAD 0000121d: PUSH2 0x1227 00001220: SWAP1 00001221: CALLVALUE 00001222: SWAP1 00001223: PUSH2 0x15bd 00001226: JUMP 00001227: JUMPDEST 00001228: GT 00001229: ISZERO 0000122a: JUMPDEST 0000122b: PUSH2 0x126b 0000122e: JUMPI 0000122f: PUSH1 0x40 00001231: MLOAD 00001232: PUSH3 0x461bcd 00001236: PUSH1 0xe5 00001238: SHL 00001239: DUP2 0000123a: MSTORE 0000123b: PUSH1 0x20 0000123d: PUSH1 0x04 0000123f: DUP3 00001240: ADD 00001241: MSTORE 00001242: PUSH1 0x12 00001244: PUSH1 0x24 00001246: DUP3 00001247: ADD 00001248: MSTORE 00001249: PUSH18 0x0a0cae440eae6cae440d8d2dad2e840dac2f 0000125c: PUSH1 0x73 0000125e: SHL 0000125f: PUSH1 0x44 00001261: DUP3 00001262: ADD 00001263: MSTORE 00001264: PUSH1 0x64 00001266: ADD 00001267: PUSH2 0x07bb 0000126a: JUMP 0000126b: JUMPDEST 0000126c: PUSH1 0x0f 0000126e: SLOAD 0000126f: PUSH1 0x08 00001271: SLOAD 00001272: PUSH2 0x127c 00001275: SWAP1 00001276: CALLVALUE 00001277: SWAP1 00001278: PUSH2 0x15bd 0000127b: JUMP 0000127c: JUMPDEST 0000127d: GT 0000127e: ISZERO 0000127f: PUSH2 0x12db 00001282: JUMPI 00001283: PUSH1 0x40 00001285: MLOAD 00001286: PUSH3 0x461bcd 0000128a: PUSH1 0xe5 0000128c: SHL 0000128d: DUP2 0000128e: MSTORE 0000128f: PUSH1 0x20 00001291: PUSH1 0x04 00001293: DUP3 00001294: ADD 00001295: MSTORE 00001296: PUSH1 0x28 00001298: PUSH1 0x24 0000129a: DUP3 0000129b: ADD 0000129c: MSTORE 0000129d: PUSH32 0x4e6f206d6f7265206465706f73697420616c6c6f7765642e2050726573616c65 000012be: PUSH1 0x44 000012c0: DUP3 000012c1: ADD 000012c2: MSTORE 000012c3: PUSH8 0x081a5cc8199d5b1b 000012cc: PUSH1 0xc2 000012ce: SHL 000012cf: PUSH1 0x64 000012d1: DUP3 000012d2: ADD 000012d3: MSTORE 000012d4: PUSH1 0x84 000012d6: ADD 000012d7: PUSH2 0x07bb 000012da: JUMP 000012db: JUMPDEST 000012dc: TIMESTAMP 000012dd: PUSH1 0x0b 000012df: SLOAD 000012e0: LT 000012e1: PUSH2 0x1325 000012e4: JUMPI 000012e5: PUSH1 0x40 000012e7: MLOAD 000012e8: PUSH3 0x461bcd 000012ec: PUSH1 0xe5 000012ee: SHL 000012ef: DUP2 000012f0: MSTORE 000012f1: PUSH1 0x20 000012f3: PUSH1 0x04 000012f5: DUP3 000012f6: ADD 000012f7: MSTORE 000012f8: PUSH1 0x16 000012fa: PUSH1 0x24 000012fc: DUP3 000012fd: ADD 000012fe: MSTORE 000012ff: PUSH22 0x4d757374206d65657420726571756972656d656e7473 00001316: PUSH1 0x50 00001318: SHL 00001319: PUSH1 0x44 0000131b: DUP3 0000131c: ADD 0000131d: MSTORE 0000131e: PUSH1 0x64 00001320: ADD 00001321: PUSH2 0x07bb 00001324: JUMP 00001325: JUMPDEST 00001326: TIMESTAMP 00001327: PUSH1 0x0c 00001329: SLOAD 0000132a: GT 0000132b: PUSH2 0x1366 0000132e: JUMPI 0000132f: PUSH1 0x40 00001331: MLOAD 00001332: PUSH3 0x461bcd 00001336: PUSH1 0xe5 00001338: SHL 00001339: DUP2 0000133a: MSTORE 0000133b: PUSH1 0x20 0000133d: PUSH1 0x04 0000133f: DUP3 00001340: ADD 00001341: MSTORE 00001342: PUSH1 0x0d 00001344: PUSH1 0x24 00001346: DUP3 00001347: ADD 00001348: MSTORE 00001349: PUSH13 0x141c995cd85b1948115b991959 00001357: PUSH1 0x9a 00001359: SHL 0000135a: PUSH1 0x44 0000135c: DUP3 0000135d: ADD 0000135e: MSTORE 0000135f: PUSH1 0x64 00001361: ADD 00001362: PUSH2 0x07bb 00001365: JUMP 00001366: JUMPDEST 00001367: CALLER 00001368: PUSH0 00001369: SWAP1 0000136a: DUP2 0000136b: MSTORE 0000136c: PUSH1 0x04 0000136e: PUSH1 0x20 00001370: MSTORE 00001371: PUSH1 0x40 00001373: DUP2 00001374: KECCAK256 00001375: SLOAD 00001376: SWAP1 00001377: SUB 00001378: PUSH2 0x138d 0000137b: JUMPI 0000137c: PUSH1 0x09 0000137e: SLOAD 0000137f: PUSH2 0x1389 00001382: SWAP1 00001383: PUSH1 0x01 00001385: PUSH2 0x15bd 00001388: JUMP 00001389: JUMPDEST 0000138a: PUSH1 0x09 0000138c: SSTORE 0000138d: JUMPDEST 0000138e: CALLER 0000138f: PUSH0 00001390: SWAP1 00001391: DUP2 00001392: MSTORE 00001393: PUSH1 0x03 00001395: PUSH1 0x20 00001397: MSTORE 00001398: PUSH1 0x40 0000139a: SWAP1 0000139b: KECCAK256 0000139c: SLOAD 0000139d: PUSH2 0x13a6 000013a0: SWAP1 000013a1: CALLVALUE 000013a2: PUSH2 0x15bd 000013a5: JUMP 000013a6: JUMPDEST 000013a7: CALLER 000013a8: PUSH0 000013a9: SWAP1 000013aa: DUP2 000013ab: MSTORE 000013ac: PUSH1 0x03 000013ae: PUSH1 0x20 000013b0: SWAP1 000013b1: DUP2 000013b2: MSTORE 000013b3: PUSH1 0x40 000013b5: DUP1 000013b6: DUP4 000013b7: KECCAK256 000013b8: SWAP4 000013b9: SWAP1 000013ba: SWAP4 000013bb: SSTORE 000013bc: PUSH1 0x04 000013be: SWAP1 000013bf: MSTORE 000013c0: KECCAK256 000013c1: SLOAD 000013c2: PUSH2 0x13cb 000013c5: SWAP1 000013c6: CALLVALUE 000013c7: PUSH2 0x15bd 000013ca: JUMP 000013cb: JUMPDEST 000013cc: CALLER 000013cd: PUSH0 000013ce: SWAP1 000013cf: DUP2 000013d0: MSTORE 000013d1: PUSH1 0x04 000013d3: PUSH1 0x20 000013d5: MSTORE 000013d6: PUSH1 0x40 000013d8: SWAP1 000013d9: KECCAK256 000013da: SSTORE 000013db: PUSH1 0x08 000013dd: SLOAD 000013de: PUSH2 0x13e7 000013e1: SWAP1 000013e2: CALLVALUE 000013e3: PUSH2 0x15bd 000013e6: JUMP 000013e7: JUMPDEST 000013e8: PUSH1 0x08 000013ea: SSTORE 000013eb: JUMP 000013ec: JUMPDEST 000013ed: PUSH0 000013ee: SLOAD 000013ef: PUSH1 0x01 000013f1: PUSH1 0x01 000013f3: PUSH1 0xa0 000013f5: SHL 000013f6: SUB 000013f7: AND 000013f8: CALLER 000013f9: EQ 000013fa: PUSH2 0x0d9e 000013fd: JUMPI 000013fe: PUSH1 0x40 00001400: MLOAD 00001401: PUSH3 0x461bcd 00001405: PUSH1 0xe5 00001407: SHL 00001408: DUP2 00001409: MSTORE 0000140a: PUSH1 0x04 0000140c: ADD 0000140d: PUSH2 0x07bb 00001410: SWAP1 00001411: PUSH2 0x1756 00001414: JUMP 00001415: JUMPDEST 00001416: PUSH0 00001417: SLOAD 00001418: PUSH1 0x01 0000141a: PUSH1 0x01 0000141c: PUSH1 0xa0 0000141e: SHL 0000141f: SUB 00001420: AND 00001421: CALLER 00001422: EQ 00001423: PUSH2 0x143e 00001426: JUMPI 00001427: PUSH1 0x40 00001429: MLOAD 0000142a: PUSH3 0x461bcd 0000142e: PUSH1 0xe5 00001430: SHL 00001431: DUP2 00001432: MSTORE 00001433: PUSH1 0x04 00001435: ADD 00001436: PUSH2 0x07bb 00001439: SWAP1 0000143a: PUSH2 0x1756 0000143d: JUMP 0000143e: JUMPDEST 0000143f: PUSH0 00001440: DUP1 00001441: SLOAD 00001442: PUSH1 0x01 00001444: DUP1 00001445: SLOAD 00001446: PUSH1 0x01 00001448: PUSH1 0x01 0000144a: PUSH1 0xa0 0000144c: SHL 0000144d: SUB 0000144e: NOT 0000144f: SWAP1 00001450: DUP2 00001451: AND 00001452: PUSH1 0x01 00001454: PUSH1 0x01 00001456: PUSH1 0xa0 00001458: SHL 00001459: SUB 0000145a: DUP5 0000145b: AND 0000145c: OR 0000145d: SWAP1 0000145e: SWAP2 0000145f: SSTORE 00001460: AND 00001461: SWAP1 00001462: SSTORE 00001463: PUSH2 0x146c 00001466: DUP2 00001467: TIMESTAMP 00001468: PUSH2 0x17e6 0000146b: JUMP 0000146c: JUMPDEST 0000146d: PUSH1 0x02 0000146f: SSTORE 00001470: PUSH0 00001471: DUP1 00001472: SLOAD 00001473: PUSH1 0x40 00001475: MLOAD 00001476: PUSH1 0x01 00001478: PUSH1 0x01 0000147a: PUSH1 0xa0 0000147c: SHL 0000147d: SUB 0000147e: SWAP1 0000147f: SWAP2 00001480: AND 00001481: SWAP1 00001482: PUSH0 00001483: DUP1 00001484: MLOAD 00001485: PUSH1 0x20 00001487: PUSH2 0x1857 0000148a: DUP4 0000148b: CODECOPY 0000148c: DUP2 0000148d: MLOAD 0000148e: SWAP2 0000148f: MSTORE 00001490: SWAP1 00001491: DUP4 00001492: SWAP1 00001493: LOG3 00001494: POP 00001495: JUMP 00001496: JUMPDEST 00001497: PUSH0 00001498: SLOAD 00001499: PUSH1 0x01 0000149b: PUSH1 0x01 0000149d: PUSH1 0xa0 0000149f: SHL 000014a0: SUB 000014a1: AND 000014a2: CALLER 000014a3: EQ 000014a4: PUSH2 0x14bf 000014a7: JUMPI 000014a8: PUSH1 0x40 000014aa: MLOAD 000014ab: PUSH3 0x461bcd 000014af: PUSH1 0xe5 000014b1: SHL 000014b2: DUP2 000014b3: MSTORE 000014b4: PUSH1 0x04 000014b6: ADD 000014b7: PUSH2 0x07bb 000014ba: SWAP1 000014bb: PUSH2 0x1756 000014be: JUMP 000014bf: JUMPDEST 000014c0: PUSH1 0x01 000014c2: PUSH1 0x01 000014c4: PUSH1 0xa0 000014c6: SHL 000014c7: SUB 000014c8: DUP2 000014c9: AND 000014ca: PUSH2 0x1524 000014cd: JUMPI 000014ce: PUSH1 0x40 000014d0: MLOAD 000014d1: PUSH3 0x461bcd 000014d5: PUSH1 0xe5 000014d7: SHL 000014d8: DUP2 000014d9: MSTORE 000014da: PUSH1 0x20 000014dc: PUSH1 0x04 000014de: DUP3 000014df: ADD 000014e0: MSTORE 000014e1: PUSH1 0x26 000014e3: PUSH1 0x24 000014e5: DUP3 000014e6: ADD 000014e7: MSTORE 000014e8: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00001509: PUSH1 0x44 0000150b: DUP3 0000150c: ADD 0000150d: MSTORE 0000150e: PUSH6 0x646472657373 00001515: PUSH1 0xd0 00001517: SHL 00001518: PUSH1 0x64 0000151a: DUP3 0000151b: ADD 0000151c: MSTORE 0000151d: PUSH1 0x84 0000151f: ADD 00001520: PUSH2 0x07bb 00001523: JUMP 00001524: JUMPDEST 00001525: PUSH0 00001526: DUP1 00001527: SLOAD 00001528: PUSH1 0x40 0000152a: MLOAD 0000152b: PUSH1 0x01 0000152d: PUSH1 0x01 0000152f: PUSH1 0xa0 00001531: SHL 00001532: SUB 00001533: DUP1 00001534: DUP6 00001535: AND 00001536: SWAP4 00001537: SWAP3 00001538: AND 00001539: SWAP2 0000153a: PUSH0 0000153b: DUP1 0000153c: MLOAD 0000153d: PUSH1 0x20 0000153f: PUSH2 0x1857 00001542: DUP4 00001543: CODECOPY 00001544: DUP2 00001545: MLOAD 00001546: SWAP2 00001547: MSTORE 00001548: SWAP2 00001549: LOG3 0000154a: PUSH0 0000154b: DUP1 0000154c: SLOAD 0000154d: PUSH1 0x01 0000154f: PUSH1 0x01 00001551: PUSH1 0xa0 00001553: SHL 00001554: SUB 00001555: NOT 00001556: AND 00001557: PUSH1 0x01 00001559: PUSH1 0x01 0000155b: PUSH1 0xa0 0000155d: SHL 0000155e: SUB 0000155f: SWAP3 00001560: SWAP1 00001561: SWAP3 00001562: AND 00001563: SWAP2 00001564: SWAP1 00001565: SWAP2 00001566: OR 00001567: SWAP1 00001568: SSTORE 00001569: JUMP 0000156a: JUMPDEST 0000156b: PUSH0 0000156c: DUP1 0000156d: PUSH2 0x1576 00001570: DUP4 00001571: DUP6 00001572: PUSH2 0x17f9 00001575: JUMP 00001576: JUMPDEST 00001577: SWAP1 00001578: POP 00001579: DUP4 0000157a: ISZERO 0000157b: DUP1 0000157c: PUSH2 0x158d 0000157f: JUMPI 00001580: POP 00001581: DUP3 00001582: PUSH2 0x158b 00001585: DUP6 00001586: DUP4 00001587: PUSH2 0x1810 0000158a: JUMP 0000158b: JUMPDEST 0000158c: EQ 0000158d: JUMPDEST 0000158e: PUSH2 0x1599 00001591: JUMPI 00001592: PUSH2 0x1599 00001595: PUSH2 0x182f 00001598: JUMP 00001599: JUMPDEST 0000159a: SWAP1 0000159b: POP 0000159c: JUMPDEST 0000159d: SWAP3 0000159e: SWAP2 0000159f: POP 000015a0: POP 000015a1: JUMP 000015a2: JUMPDEST 000015a3: PUSH0 000015a4: DUP3 000015a5: DUP3 000015a6: GT 000015a7: ISZERO 000015a8: PUSH2 0x15b3 000015ab: JUMPI 000015ac: PUSH2 0x15b3 000015af: PUSH2 0x182f 000015b2: JUMP 000015b3: JUMPDEST 000015b4: PUSH2 0x1599 000015b7: DUP3 000015b8: DUP5 000015b9: PUSH2 0x1843 000015bc: JUMP 000015bd: JUMPDEST 000015be: PUSH0 000015bf: DUP1 000015c0: PUSH2 0x15c9 000015c3: DUP4 000015c4: DUP6 000015c5: PUSH2 0x17e6 000015c8: JUMP 000015c9: JUMPDEST 000015ca: SWAP1 000015cb: POP 000015cc: DUP4 000015cd: DUP2 000015ce: LT 000015cf: ISZERO 000015d0: PUSH2 0x1599 000015d3: JUMPI 000015d4: PUSH2 0x1599 000015d7: PUSH2 0x182f 000015da: JUMP 000015db: JUMPDEST 000015dc: DUP1 000015dd: CALLDATALOAD 000015de: PUSH1 0x01 000015e0: PUSH1 0x01 000015e2: PUSH1 0xa0 000015e4: SHL 000015e5: SUB 000015e6: DUP2 000015e7: AND 000015e8: DUP2 000015e9: EQ 000015ea: PUSH2 0x15f1 000015ed: JUMPI 000015ee: PUSH0 000015ef: DUP1 000015f0: REVERT 000015f1: JUMPDEST 000015f2: SWAP2 000015f3: SWAP1 000015f4: POP 000015f5: JUMP 000015f6: JUMPDEST 000015f7: PUSH0 000015f8: PUSH1 0x20 000015fa: DUP3 000015fb: DUP5 000015fc: SUB 000015fd: SLT 000015fe: ISZERO 000015ff: PUSH2 0x1606 00001602: JUMPI 00001603: PUSH0 00001604: DUP1 00001605: REVERT 00001606: JUMPDEST 00001607: PUSH2 0x1599 0000160a: DUP3 0000160b: PUSH2 0x15db 0000160e: JUMP 0000160f: JUMPDEST 00001610: PUSH0 00001611: PUSH1 0x20 00001613: DUP3 00001614: DUP5 00001615: SUB 00001616: SLT 00001617: ISZERO 00001618: PUSH2 0x161f 0000161b: JUMPI 0000161c: PUSH0 0000161d: DUP1 0000161e: REVERT 0000161f: JUMPDEST 00001620: POP 00001621: CALLDATALOAD 00001622: SWAP2 00001623: SWAP1 00001624: POP 00001625: JUMP 00001626: JUMPDEST 00001627: PUSH0 00001628: DUP1 00001629: PUSH0 0000162a: PUSH1 0x60 0000162c: DUP5 0000162d: DUP7 0000162e: SUB 0000162f: SLT 00001630: ISZERO 00001631: PUSH2 0x1638 00001634: JUMPI 00001635: PUSH0 00001636: DUP1 00001637: REVERT 00001638: JUMPDEST 00001639: PUSH2 0x1641 0000163c: DUP5 0000163d: PUSH2 0x15db 00001640: JUMP 00001641: JUMPDEST 00001642: SWAP3 00001643: POP 00001644: PUSH2 0x164f 00001647: PUSH1 0x20 00001649: DUP6 0000164a: ADD 0000164b: PUSH2 0x15db 0000164e: JUMP 0000164f: JUMPDEST 00001650: SWAP2 00001651: POP 00001652: PUSH1 0x40 00001654: DUP5 00001655: ADD 00001656: CALLDATALOAD 00001657: SWAP1 00001658: POP 00001659: SWAP3 0000165a: POP 0000165b: SWAP3 0000165c: POP 0000165d: SWAP3 0000165e: JUMP 0000165f: JUMPDEST 00001660: DUP1 00001661: ISZERO 00001662: ISZERO 00001663: DUP2 00001664: EQ 00001665: PUSH2 0x07ed 00001668: JUMPI 00001669: PUSH0 0000166a: DUP1 0000166b: REVERT 0000166c: JUMPDEST 0000166d: PUSH0 0000166e: PUSH1 0x20 00001670: DUP3 00001671: DUP5 00001672: SUB 00001673: SLT 00001674: ISZERO 00001675: PUSH2 0x167c 00001678: JUMPI 00001679: PUSH0 0000167a: DUP1 0000167b: REVERT 0000167c: JUMPDEST 0000167d: DUP2 0000167e: CALLDATALOAD 0000167f: PUSH2 0x1599 00001682: DUP2 00001683: PUSH2 0x165f 00001686: JUMP 00001687: JUMPDEST 00001688: PUSH0 00001689: DUP1 0000168a: DUP4 0000168b: PUSH1 0x1f 0000168d: DUP5 0000168e: ADD 0000168f: SLT 00001690: PUSH2 0x1697 00001693: JUMPI 00001694: PUSH0 00001695: DUP1 00001696: REVERT 00001697: JUMPDEST 00001698: POP 00001699: DUP2 0000169a: CALLDATALOAD 0000169b: PUSH8 0xffffffffffffffff 000016a4: DUP2 000016a5: GT 000016a6: ISZERO 000016a7: PUSH2 0x16ae 000016aa: JUMPI 000016ab: PUSH0 000016ac: DUP1 000016ad: REVERT 000016ae: JUMPDEST 000016af: PUSH1 0x20 000016b1: DUP4 000016b2: ADD 000016b3: SWAP2 000016b4: POP 000016b5: DUP4 000016b6: PUSH1 0x20 000016b8: DUP3 000016b9: PUSH1 0x05 000016bb: SHL 000016bc: DUP6 000016bd: ADD 000016be: ADD 000016bf: GT 000016c0: ISZERO 000016c1: PUSH2 0x16c8 000016c4: JUMPI 000016c5: PUSH0 000016c6: DUP1 000016c7: REVERT 000016c8: JUMPDEST 000016c9: SWAP3 000016ca: POP 000016cb: SWAP3 000016cc: SWAP1 000016cd: POP 000016ce: JUMP 000016cf: JUMPDEST 000016d0: PUSH0 000016d1: DUP1 000016d2: PUSH0 000016d3: PUSH1 0x40 000016d5: DUP5 000016d6: DUP7 000016d7: SUB 000016d8: SLT 000016d9: ISZERO 000016da: PUSH2 0x16e1 000016dd: JUMPI 000016de: PUSH0 000016df: DUP1 000016e0: REVERT 000016e1: JUMPDEST 000016e2: DUP4 000016e3: CALLDATALOAD 000016e4: PUSH8 0xffffffffffffffff 000016ed: DUP2 000016ee: GT 000016ef: ISZERO 000016f0: PUSH2 0x16f7 000016f3: JUMPI 000016f4: PUSH0 000016f5: DUP1 000016f6: REVERT 000016f7: JUMPDEST 000016f8: PUSH2 0x1703 000016fb: DUP7 000016fc: DUP3 000016fd: DUP8 000016fe: ADD 000016ff: PUSH2 0x1687 00001702: JUMP 00001703: JUMPDEST 00001704: SWAP1 00001705: SWAP8 00001706: SWAP1 00001707: SWAP7 00001708: POP 00001709: PUSH1 0x20 0000170b: SWAP6 0000170c: SWAP1 0000170d: SWAP6 0000170e: ADD 0000170f: CALLDATALOAD 00001710: SWAP5 00001711: SWAP4 00001712: POP 00001713: POP 00001714: POP 00001715: POP 00001716: JUMP 00001717: JUMPDEST 00001718: PUSH0 00001719: DUP1 0000171a: PUSH1 0x20 0000171c: DUP4 0000171d: DUP6 0000171e: SUB 0000171f: SLT 00001720: ISZERO 00001721: PUSH2 0x1728 00001724: JUMPI 00001725: PUSH0 00001726: DUP1 00001727: REVERT 00001728: JUMPDEST 00001729: DUP3 0000172a: CALLDATALOAD 0000172b: PUSH8 0xffffffffffffffff 00001734: DUP2 00001735: GT 00001736: ISZERO 00001737: PUSH2 0x173e 0000173a: JUMPI 0000173b: PUSH0 0000173c: DUP1 0000173d: REVERT 0000173e: JUMPDEST 0000173f: PUSH2 0x174a 00001742: DUP6 00001743: DUP3 00001744: DUP7 00001745: ADD 00001746: PUSH2 0x1687 00001749: JUMP 0000174a: JUMPDEST 0000174b: SWAP1 0000174c: SWAP7 0000174d: SWAP1 0000174e: SWAP6 0000174f: POP 00001750: SWAP4 00001751: POP 00001752: POP 00001753: POP 00001754: POP 00001755: JUMP 00001756: JUMPDEST 00001757: PUSH1 0x20 00001759: DUP1 0000175a: DUP3 0000175b: MSTORE 0000175c: DUP2 0000175d: DUP2 0000175e: ADD 0000175f: MSTORE 00001760: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001781: PUSH1 0x40 00001783: DUP3 00001784: ADD 00001785: MSTORE 00001786: PUSH1 0x60 00001788: ADD 00001789: SWAP1 0000178a: JUMP 0000178b: JUMPDEST 0000178c: PUSH0 0000178d: PUSH1 0x20 0000178f: DUP3 00001790: DUP5 00001791: SUB 00001792: SLT 00001793: ISZERO 00001794: PUSH2 0x179b 00001797: JUMPI 00001798: PUSH0 00001799: DUP1 0000179a: REVERT 0000179b: JUMPDEST 0000179c: DUP2 0000179d: MLOAD 0000179e: PUSH2 0x1599 000017a1: DUP2 000017a2: PUSH2 0x165f 000017a5: JUMP 000017a6: JUMPDEST 000017a7: PUSH4 0x4e487b71 000017ac: PUSH1 0xe0 000017ae: SHL 000017af: PUSH0 000017b0: MSTORE 000017b1: PUSH1 0x32 000017b3: PUSH1 0x04 000017b5: MSTORE 000017b6: PUSH1 0x24 000017b8: PUSH0 000017b9: REVERT 000017ba: JUMPDEST 000017bb: PUSH4 0x4e487b71 000017c0: PUSH1 0xe0 000017c2: SHL 000017c3: PUSH0 000017c4: MSTORE 000017c5: PUSH1 0x11 000017c7: PUSH1 0x04 000017c9: MSTORE 000017ca: PUSH1 0x24 000017cc: PUSH0 000017cd: REVERT 000017ce: JUMPDEST 000017cf: PUSH0 000017d0: PUSH1 0x01 000017d2: DUP3 000017d3: ADD 000017d4: PUSH2 0x17df 000017d7: JUMPI 000017d8: PUSH2 0x17df 000017db: PUSH2 0x17ba 000017de: JUMP 000017df: JUMPDEST 000017e0: POP 000017e1: PUSH1 0x01 000017e3: ADD 000017e4: SWAP1 000017e5: JUMP 000017e6: JUMPDEST 000017e7: DUP1 000017e8: DUP3 000017e9: ADD 000017ea: DUP1 000017eb: DUP3 000017ec: GT 000017ed: ISZERO 000017ee: PUSH2 0x159c 000017f1: JUMPI 000017f2: PUSH2 0x159c 000017f5: PUSH2 0x17ba 000017f8: JUMP 000017f9: JUMPDEST 000017fa: DUP1 000017fb: DUP3 000017fc: MUL 000017fd: DUP2 000017fe: ISZERO 000017ff: DUP3 00001800: DUP3 00001801: DIV 00001802: DUP5 00001803: EQ 00001804: OR 00001805: PUSH2 0x159c 00001808: JUMPI 00001809: PUSH2 0x159c 0000180c: PUSH2 0x17ba 0000180f: JUMP 00001810: JUMPDEST 00001811: PUSH0 00001812: DUP3 00001813: PUSH2 0x182a 00001816: JUMPI 00001817: PUSH4 0x4e487b71 0000181c: PUSH1 0xe0 0000181e: SHL 0000181f: PUSH0 00001820: MSTORE 00001821: PUSH1 0x12 00001823: PUSH1 0x04 00001825: MSTORE 00001826: PUSH1 0x24 00001828: PUSH0 00001829: REVERT 0000182a: JUMPDEST 0000182b: POP 0000182c: DIV 0000182d: SWAP1 0000182e: JUMP 0000182f: JUMPDEST 00001830: PUSH4 0x4e487b71 00001835: PUSH1 0xe0 00001837: SHL 00001838: PUSH0 00001839: MSTORE 0000183a: PUSH1 0x01 0000183c: PUSH1 0x04 0000183e: MSTORE 0000183f: PUSH1 0x24 00001841: PUSH0 00001842: REVERT 00001843: JUMPDEST 00001844: DUP2 00001845: DUP2 00001846: SUB 00001847: DUP2 00001848: DUP2 00001849: GT 0000184a: ISZERO 0000184b: PUSH2 0x159c 0000184e: JUMPI 0000184f: PUSH2 0x159c 00001852: PUSH2 0x17ba 00001855: JUMP 00001856: INVALID 00001857: DUP12 00001858: UNKNOWN(0xE0) 00001859: SMOD 0000185a: SWAP13 0000185b: MSTORE8 0000185c: AND 0000185d: MSIZE 0000185e: EQ 0000185f: SGT 00001860: DIFFICULTY 00001861: UNKNOWN(0xCD) 00001862: UNKNOWN(0x1F) 00001863: UNKNOWN(0xD0) 00001864: LOG4 00001865: CALLCODE 00001866: DUP5 00001867: NOT 00001868: BLOBHASH 00001869: PUSH32 0x9722a3daafe3b4186f6b6457e0a264697066735822122081a2cd3c0823d0e28e 0000188a: UNKNOWN(0x0C) 0000188b: PUSH30 0xdbb2fbf639e2796274a6ba13b08dfb7d4bd3e2942564736f6c6343000814 000018aa: STOP 000018ab: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xfb4a0ba3fa44206d15fe2c95b66ad3a3073ea412d2d2d248f594f36049141db7
call_targets:
0x7de58129f0fd8e6d6fbff0a5637ccceb78778f55
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xfb4a0ba3fa44206d15fe2c95b66ad3a3073ea412d2d2d248f594f36049141db7",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7de58129f0fd8e6d6fbff0a5637ccceb78778f55"
],
"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": "0xd771b0a6",
"selector": "0xd771b0a6",
"calldata_variants": [
"0xd771b0a6",
"0xd771b0a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd467064",
"selector": "0xdd467064",
"calldata_variants": [
"0xdd467064",
"0xdd4670640000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe1b32b31",
"selector": "0xe1b32b31",
"calldata_variants": [
"0xe1b32b31",
"0xe1b32b310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xefbe1c1c",
"selector": "0xefbe1c1c",
"calldata_variants": [
"0xefbe1c1c",
"0xefbe1c1c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf34acb7c",
"selector": "0xf34acb7c",
"calldata_variants": [
"0xf34acb7c",
"0xf34acb7c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce6a02ea",
"selector": "0xce6a02ea",
"calldata_variants": [
"0xce6a02ea",
"0xce6a02ea0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcf054fb2",
"selector": "0xcf054fb2",
"calldata_variants": [
"0xcf054fb2",
"0xcf054fb20000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2009,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2403,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2729,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xfb4a0ba3fa44206d15fe2c95b66ad3a3073ea412d2d2d248f594f36049141db7
call_targets:
0x7de58129f0fd8e6d6fbff0a5637ccceb78778f55
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xfb4a0ba3fa44206d15fe2c95b66ad3a3073ea412d2d2d248f594f36049141db7",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7de58129f0fd8e6d6fbff0a5637ccceb78778f55"
],
"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": "0xd771b0a6",
"selector": "0xd771b0a6",
"calldata_variants": [
"0xd771b0a6",
"0xd771b0a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd467064",
"selector": "0xdd467064",
"calldata_variants": [
"0xdd467064",
"0xdd4670640000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe1b32b31",
"selector": "0xe1b32b31",
"calldata_variants": [
"0xe1b32b31",
"0xe1b32b310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xefbe1c1c",
"selector": "0xefbe1c1c",
"calldata_variants": [
"0xefbe1c1c",
"0xefbe1c1c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf34acb7c",
"selector": "0xf34acb7c",
"calldata_variants": [
"0xf34acb7c",
"0xf34acb7c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce6a02ea",
"selector": "0xce6a02ea",
"calldata_variants": [
"0xce6a02ea",
"0xce6a02ea0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcf054fb2",
"selector": "0xcf054fb2",
"calldata_variants": [
"0xcf054fb2",
"0xcf054fb20000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2009,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2403,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2729,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|