019b477e-aa1f-71c7-9467-bf03293ff67f
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 |
|---|---|---|---|---|
| 20767 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 20768 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 64426 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 64427 | capability.graph | complete | 1 / 3 | 1 week ago |
| 64428 | detector.run | complete | 1 / 3 | 1 week ago |
| 64429 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x014e 0000000a: JUMPI 0000000b: PUSH4 0xffffffff 00000010: PUSH1 0xe0 00000012: PUSH1 0x02 00000014: EXP 00000015: PUSH1 0x00 00000017: CALLDATALOAD 00000018: DIV 00000019: AND 0000001a: PUSH4 0x01afebac 0000001f: DUP2 00000020: EQ 00000021: PUSH2 0x0244 00000024: JUMPI 00000025: DUP1 00000026: PUSH4 0x06fdde03 0000002b: EQ 0000002c: PUSH2 0x0265 0000002f: JUMPI 00000030: DUP1 00000031: PUSH4 0x095ea7b3 00000036: EQ 00000037: PUSH2 0x02f2 0000003a: JUMPI 0000003b: DUP1 0000003c: PUSH4 0x13e7323e 00000041: EQ 00000042: PUSH2 0x0322 00000045: JUMPI 00000046: DUP1 00000047: PUSH4 0x14c0bc27 0000004c: EQ 0000004d: PUSH2 0x0341 00000050: JUMPI 00000051: DUP1 00000052: PUSH4 0x18160ddd 00000057: EQ 00000058: PUSH2 0x036c 0000005b: JUMPI 0000005c: DUP1 0000005d: PUSH4 0x23b872dd 00000062: EQ 00000063: PUSH2 0x038b 00000066: JUMPI 00000067: DUP1 00000068: PUSH4 0x2af0ac71 0000006d: EQ 0000006e: PUSH2 0x03c1 00000071: JUMPI 00000072: DUP1 00000073: PUSH4 0x313ce567 00000078: EQ 00000079: PUSH2 0x03e0 0000007c: JUMPI 0000007d: DUP1 0000007e: PUSH4 0x454b0608 00000083: EQ 00000084: PUSH2 0x0403 00000087: JUMPI 00000088: DUP1 00000089: PUSH4 0x4bb278f3 0000008e: EQ 0000008f: PUSH2 0x0415 00000092: JUMPI 00000093: DUP1 00000094: PUSH4 0x590e1ae3 00000099: EQ 0000009a: PUSH2 0x0424 0000009d: JUMPI 0000009e: DUP1 0000009f: PUSH4 0x6f7920fd 000000a4: EQ 000000a5: PUSH2 0x0433 000000a8: JUMPI 000000a9: DUP1 000000aa: PUSH4 0x70a08231 000000af: EQ 000000b0: PUSH2 0x0452 000000b3: JUMPI 000000b4: DUP1 000000b5: PUSH4 0x75e2ff65 000000ba: EQ 000000bb: PUSH2 0x047d 000000be: JUMPI 000000bf: DUP1 000000c0: PUSH4 0x8328dbcd 000000c5: EQ 000000c6: PUSH2 0x0498 000000c9: JUMPI 000000ca: DUP1 000000cb: PUSH4 0x8aef91f5 000000d0: EQ 000000d1: PUSH2 0x04c1 000000d4: JUMPI 000000d5: DUP1 000000d6: PUSH4 0x95a0f5eb 000000db: EQ 000000dc: PUSH2 0x04e0 000000df: JUMPI 000000e0: DUP1 000000e1: PUSH4 0x95d89b41 000000e6: EQ 000000e7: PUSH2 0x04ff 000000ea: JUMPI 000000eb: DUP1 000000ec: PUSH4 0xa9059cbb 000000f1: EQ 000000f2: PUSH2 0x058c 000000f5: JUMPI 000000f6: DUP1 000000f7: PUSH4 0xbcde18f1 000000fc: EQ 000000fd: PUSH2 0x05bc 00000100: JUMPI 00000101: DUP1 00000102: PUSH4 0xc039daf6 00000107: EQ 00000108: PUSH2 0x05db 0000010b: JUMPI 0000010c: DUP1 0000010d: PUSH4 0xcb4c86b7 00000112: EQ 00000113: PUSH2 0x05fa 00000116: JUMPI 00000117: DUP1 00000118: PUSH4 0xdc132be8 0000011d: EQ 0000011e: PUSH2 0x061b 00000121: JUMPI 00000122: DUP1 00000123: PUSH4 0xdd62ed3e 00000128: EQ 00000129: PUSH2 0x063a 0000012c: JUMPI 0000012d: DUP1 0000012e: PUSH4 0xde824f93 00000133: EQ 00000134: PUSH2 0x066b 00000137: JUMPI 00000138: DUP1 00000139: PUSH4 0xe6aa216c 0000013e: EQ 0000013f: PUSH2 0x068a 00000142: JUMPI 00000143: DUP1 00000144: PUSH4 0xee97f7f3 00000149: EQ 0000014a: PUSH2 0x06a9 0000014d: JUMPI 0000014e: JUMPDEST 0000014f: PUSH2 0x0242 00000152: JUMPDEST 00000153: PUSH1 0x03 00000155: SLOAD 00000156: PUSH1 0x00 00000158: SWAP1 00000159: PUSH1 0xff 0000015b: AND 0000015c: ISZERO 0000015d: ISZERO 0000015e: PUSH2 0x0166 00000161: JUMPI 00000162: PUSH2 0x0000 00000165: JUMP 00000166: JUMPDEST 00000167: PUSH1 0x01 00000169: SLOAD 0000016a: TIMESTAMP 0000016b: LT 0000016c: ISZERO 0000016d: PUSH2 0x0175 00000170: JUMPI 00000171: PUSH2 0x0000 00000174: JUMP 00000175: JUMPDEST 00000176: PUSH1 0x02 00000178: SLOAD 00000179: TIMESTAMP 0000017a: GT 0000017b: ISZERO 0000017c: PUSH2 0x0184 0000017f: JUMPI 00000180: PUSH2 0x0000 00000183: JUMP 00000184: JUMPDEST 00000185: CALLVALUE 00000186: ISZERO 00000187: ISZERO 00000188: PUSH2 0x0190 0000018b: JUMPI 0000018c: PUSH2 0x0000 0000018f: JUMP 00000190: JUMPDEST 00000191: PUSH1 0x04 00000193: SLOAD 00000194: PUSH12 0x033b2e3c9fd0803ce8000000 000001a1: SUB 000001a2: PUSH2 0x01a9 000001a5: PUSH2 0x06d2 000001a8: JUMP 000001a9: JUMPDEST 000001aa: CALLVALUE 000001ab: MUL 000001ac: GT 000001ad: ISZERO 000001ae: PUSH2 0x01b6 000001b1: JUMPI 000001b2: PUSH2 0x0000 000001b5: JUMP 000001b6: JUMPDEST 000001b7: PUSH2 0x01be 000001ba: PUSH2 0x06d2 000001bd: JUMP 000001be: JUMPDEST 000001bf: PUSH1 0x04 000001c1: DUP1 000001c2: SLOAD 000001c3: CALLVALUE 000001c4: SWAP3 000001c5: SWAP1 000001c6: SWAP3 000001c7: MUL 000001c8: SWAP2 000001c9: DUP3 000001ca: ADD 000001cb: SWAP1 000001cc: SSTORE 000001cd: SWAP1 000001ce: POP 000001cf: PUSH2 0x01d6 000001d2: PUSH2 0x06d2 000001d5: JUMP 000001d6: JUMPDEST 000001d7: PUSH2 0x3a98 000001da: EQ 000001db: PUSH2 0x01e7 000001de: JUMPI 000001df: PUSH1 0x05 000001e1: DUP1 000001e2: SLOAD 000001e3: DUP3 000001e4: ADD 000001e5: SWAP1 000001e6: SSTORE 000001e7: JUMPDEST 000001e8: PUSH1 0x01 000001ea: PUSH1 0xa0 000001ec: PUSH1 0x02 000001ee: EXP 000001ef: SUB 000001f0: CALLER 000001f1: AND 000001f2: PUSH1 0x00 000001f4: DUP2 000001f5: DUP2 000001f6: MSTORE 000001f7: PUSH1 0x06 000001f9: PUSH1 0x20 000001fb: SWAP1 000001fc: DUP2 000001fd: MSTORE 000001fe: PUSH1 0x40 00000200: DUP1 00000201: DUP4 00000202: KECCAK256 00000203: DUP1 00000204: SLOAD 00000205: DUP7 00000206: ADD 00000207: SWAP1 00000208: SSTORE 00000209: PUSH1 0x08 0000020b: DUP3 0000020c: MSTORE 0000020d: DUP1 0000020e: DUP4 0000020f: KECCAK256 00000210: DUP1 00000211: SLOAD 00000212: CALLVALUE 00000213: ADD 00000214: SWAP1 00000215: SSTORE 00000216: PUSH1 0x0b 00000218: DUP1 00000219: SLOAD 0000021a: PUSH1 0x01 0000021c: ADD 0000021d: SWAP1 0000021e: SSTORE 0000021f: DUP1 00000220: MLOAD 00000221: DUP6 00000222: DUP2 00000223: MSTORE 00000224: SWAP1 00000225: MLOAD 00000226: PUSH1 0x00 00000228: DUP1 00000229: MLOAD 0000022a: PUSH1 0x20 0000022c: PUSH2 0x0f36 0000022f: DUP4 00000230: CODECOPY 00000231: DUP2 00000232: MLOAD 00000233: SWAP2 00000234: MSTORE 00000235: SWAP3 00000236: SWAP2 00000237: DUP2 00000238: SWAP1 00000239: SUB 0000023a: SWAP1 0000023b: SWAP2 0000023c: ADD 0000023d: SWAP1 0000023e: LOG3 0000023f: JUMPDEST 00000240: POP 00000241: JUMP 00000242: JUMPDEST 00000243: STOP 00000244: JUMPDEST 00000245: CALLVALUE 00000246: PUSH2 0x0000 00000249: JUMPI 0000024a: PUSH2 0x0251 0000024d: PUSH2 0x0724 00000250: JUMP 00000251: JUMPDEST 00000252: PUSH1 0x40 00000254: DUP1 00000255: MLOAD 00000256: SWAP2 00000257: ISZERO 00000258: ISZERO 00000259: DUP3 0000025a: MSTORE 0000025b: MLOAD 0000025c: SWAP1 0000025d: DUP2 0000025e: SWAP1 0000025f: SUB 00000260: PUSH1 0x20 00000262: ADD 00000263: SWAP1 00000264: RETURN 00000265: JUMPDEST 00000266: CALLVALUE 00000267: PUSH2 0x0000 0000026a: JUMPI 0000026b: PUSH2 0x0272 0000026e: PUSH2 0x0787 00000271: JUMP 00000272: JUMPDEST 00000273: PUSH1 0x40 00000275: DUP1 00000276: MLOAD 00000277: PUSH1 0x20 00000279: DUP1 0000027a: DUP3 0000027b: MSTORE 0000027c: DUP4 0000027d: MLOAD 0000027e: DUP2 0000027f: DUP4 00000280: ADD 00000281: MSTORE 00000282: DUP4 00000283: MLOAD 00000284: SWAP2 00000285: SWAP3 00000286: DUP4 00000287: SWAP3 00000288: SWAP1 00000289: DUP4 0000028a: ADD 0000028b: SWAP2 0000028c: DUP6 0000028d: ADD 0000028e: SWAP1 0000028f: DUP1 00000290: DUP4 00000291: DUP4 00000292: DUP3 00000293: ISZERO 00000294: PUSH2 0x02b8 00000297: JUMPI 00000298: JUMPDEST 00000299: DUP1 0000029a: MLOAD 0000029b: DUP3 0000029c: MSTORE 0000029d: PUSH1 0x20 0000029f: DUP4 000002a0: GT 000002a1: ISZERO 000002a2: PUSH2 0x02b8 000002a5: JUMPI 000002a6: PUSH1 0x1f 000002a8: NOT 000002a9: SWAP1 000002aa: SWAP3 000002ab: ADD 000002ac: SWAP2 000002ad: PUSH1 0x20 000002af: SWAP2 000002b0: DUP3 000002b1: ADD 000002b2: SWAP2 000002b3: ADD 000002b4: PUSH2 0x0298 000002b7: JUMP 000002b8: JUMPDEST 000002b9: POP 000002ba: POP 000002bb: POP 000002bc: SWAP1 000002bd: POP 000002be: SWAP1 000002bf: DUP2 000002c0: ADD 000002c1: SWAP1 000002c2: PUSH1 0x1f 000002c4: AND 000002c5: DUP1 000002c6: ISZERO 000002c7: PUSH2 0x02e4 000002ca: JUMPI 000002cb: DUP1 000002cc: DUP3 000002cd: SUB 000002ce: DUP1 000002cf: MLOAD 000002d0: PUSH1 0x01 000002d2: DUP4 000002d3: PUSH1 0x20 000002d5: SUB 000002d6: PUSH2 0x0100 000002d9: EXP 000002da: SUB 000002db: NOT 000002dc: AND 000002dd: DUP2 000002de: MSTORE 000002df: PUSH1 0x20 000002e1: ADD 000002e2: SWAP2 000002e3: POP 000002e4: JUMPDEST 000002e5: POP 000002e6: SWAP3 000002e7: POP 000002e8: POP 000002e9: POP 000002ea: PUSH1 0x40 000002ec: MLOAD 000002ed: DUP1 000002ee: SWAP2 000002ef: SUB 000002f0: SWAP1 000002f1: RETURN 000002f2: JUMPDEST 000002f3: CALLVALUE 000002f4: PUSH2 0x0000 000002f7: JUMPI 000002f8: PUSH2 0x0251 000002fb: PUSH1 0x01 000002fd: PUSH1 0xa0 000002ff: PUSH1 0x02 00000301: EXP 00000302: SUB 00000303: PUSH1 0x04 00000305: CALLDATALOAD 00000306: AND 00000307: PUSH1 0x24 00000309: CALLDATALOAD 0000030a: PUSH2 0x07be 0000030d: JUMP 0000030e: JUMPDEST 0000030f: PUSH1 0x40 00000311: DUP1 00000312: MLOAD 00000313: SWAP2 00000314: ISZERO 00000315: ISZERO 00000316: DUP3 00000317: MSTORE 00000318: MLOAD 00000319: SWAP1 0000031a: DUP2 0000031b: SWAP1 0000031c: SUB 0000031d: PUSH1 0x20 0000031f: ADD 00000320: SWAP1 00000321: RETURN 00000322: JUMPDEST 00000323: CALLVALUE 00000324: PUSH2 0x0000 00000327: JUMPI 00000328: PUSH2 0x032f 0000032b: PUSH2 0x0836 0000032e: JUMP 0000032f: JUMPDEST 00000330: PUSH1 0x40 00000332: DUP1 00000333: MLOAD 00000334: SWAP2 00000335: DUP3 00000336: MSTORE 00000337: MLOAD 00000338: SWAP1 00000339: DUP2 0000033a: SWAP1 0000033b: SUB 0000033c: PUSH1 0x20 0000033e: ADD 0000033f: SWAP1 00000340: RETURN 00000341: JUMPDEST 00000342: CALLVALUE 00000343: PUSH2 0x0000 00000346: JUMPI 00000347: PUSH2 0x032f 0000034a: PUSH1 0x01 0000034c: PUSH1 0xa0 0000034e: PUSH1 0x02 00000350: EXP 00000351: SUB 00000352: PUSH1 0x04 00000354: CALLDATALOAD 00000355: AND 00000356: PUSH2 0x083c 00000359: JUMP 0000035a: JUMPDEST 0000035b: PUSH1 0x40 0000035d: DUP1 0000035e: MLOAD 0000035f: SWAP2 00000360: DUP3 00000361: MSTORE 00000362: MLOAD 00000363: SWAP1 00000364: DUP2 00000365: SWAP1 00000366: SUB 00000367: PUSH1 0x20 00000369: ADD 0000036a: SWAP1 0000036b: RETURN 0000036c: JUMPDEST 0000036d: CALLVALUE 0000036e: PUSH2 0x0000 00000371: JUMPI 00000372: PUSH2 0x032f 00000375: PUSH2 0x085b 00000378: JUMP 00000379: JUMPDEST 0000037a: PUSH1 0x40 0000037c: DUP1 0000037d: MLOAD 0000037e: SWAP2 0000037f: DUP3 00000380: MSTORE 00000381: MLOAD 00000382: SWAP1 00000383: DUP2 00000384: SWAP1 00000385: SUB 00000386: PUSH1 0x20 00000388: ADD 00000389: SWAP1 0000038a: RETURN 0000038b: JUMPDEST 0000038c: CALLVALUE 0000038d: PUSH2 0x0000 00000390: JUMPI 00000391: PUSH2 0x0251 00000394: PUSH1 0x01 00000396: PUSH1 0xa0 00000398: PUSH1 0x02 0000039a: EXP 0000039b: SUB 0000039c: PUSH1 0x04 0000039e: CALLDATALOAD 0000039f: DUP2 000003a0: AND 000003a1: SWAP1 000003a2: PUSH1 0x24 000003a4: CALLDATALOAD 000003a5: AND 000003a6: PUSH1 0x44 000003a8: CALLDATALOAD 000003a9: PUSH2 0x0862 000003ac: JUMP 000003ad: JUMPDEST 000003ae: PUSH1 0x40 000003b0: DUP1 000003b1: MLOAD 000003b2: SWAP2 000003b3: ISZERO 000003b4: ISZERO 000003b5: DUP3 000003b6: MSTORE 000003b7: MLOAD 000003b8: SWAP1 000003b9: DUP2 000003ba: SWAP1 000003bb: SUB 000003bc: PUSH1 0x20 000003be: ADD 000003bf: SWAP1 000003c0: RETURN 000003c1: JUMPDEST 000003c2: CALLVALUE 000003c3: PUSH2 0x0000 000003c6: JUMPI 000003c7: PUSH2 0x032f 000003ca: PUSH2 0x097a 000003cd: JUMP 000003ce: JUMPDEST 000003cf: PUSH1 0x40 000003d1: DUP1 000003d2: MLOAD 000003d3: SWAP2 000003d4: DUP3 000003d5: MSTORE 000003d6: MLOAD 000003d7: SWAP1 000003d8: DUP2 000003d9: SWAP1 000003da: SUB 000003db: PUSH1 0x20 000003dd: ADD 000003de: SWAP1 000003df: RETURN 000003e0: JUMPDEST 000003e1: CALLVALUE 000003e2: PUSH2 0x0000 000003e5: JUMPI 000003e6: PUSH2 0x03ed 000003e9: PUSH2 0x0981 000003ec: JUMP 000003ed: JUMPDEST 000003ee: PUSH1 0x40 000003f0: DUP1 000003f1: MLOAD 000003f2: PUSH1 0xff 000003f4: SWAP1 000003f5: SWAP3 000003f6: AND 000003f7: DUP3 000003f8: MSTORE 000003f9: MLOAD 000003fa: SWAP1 000003fb: DUP2 000003fc: SWAP1 000003fd: SUB 000003fe: PUSH1 0x20 00000400: ADD 00000401: SWAP1 00000402: RETURN 00000403: JUMPDEST 00000404: CALLVALUE 00000405: PUSH2 0x0000 00000408: JUMPI 00000409: PUSH2 0x0242 0000040c: PUSH1 0x04 0000040e: CALLDATALOAD 0000040f: PUSH2 0x0986 00000412: JUMP 00000413: JUMPDEST 00000414: STOP 00000415: JUMPDEST 00000416: CALLVALUE 00000417: PUSH2 0x0000 0000041a: JUMPI 0000041b: PUSH2 0x0242 0000041e: PUSH2 0x0ac0 00000421: JUMP 00000422: JUMPDEST 00000423: STOP 00000424: JUMPDEST 00000425: CALLVALUE 00000426: PUSH2 0x0000 00000429: JUMPI 0000042a: PUSH2 0x0242 0000042d: PUSH2 0x0bd7 00000430: JUMP 00000431: JUMPDEST 00000432: STOP 00000433: JUMPDEST 00000434: CALLVALUE 00000435: PUSH2 0x0000 00000438: JUMPI 00000439: PUSH2 0x032f 0000043c: PUSH2 0x0ce0 0000043f: JUMP 00000440: JUMPDEST 00000441: PUSH1 0x40 00000443: DUP1 00000444: MLOAD 00000445: SWAP2 00000446: DUP3 00000447: MSTORE 00000448: MLOAD 00000449: SWAP1 0000044a: DUP2 0000044b: SWAP1 0000044c: SUB 0000044d: PUSH1 0x20 0000044f: ADD 00000450: SWAP1 00000451: RETURN 00000452: JUMPDEST 00000453: CALLVALUE 00000454: PUSH2 0x0000 00000457: JUMPI 00000458: PUSH2 0x032f 0000045b: PUSH1 0x01 0000045d: PUSH1 0xa0 0000045f: PUSH1 0x02 00000461: EXP 00000462: SUB 00000463: PUSH1 0x04 00000465: CALLDATALOAD 00000466: AND 00000467: PUSH2 0x0cf0 0000046a: JUMP 0000046b: JUMPDEST 0000046c: PUSH1 0x40 0000046e: DUP1 0000046f: MLOAD 00000470: SWAP2 00000471: DUP3 00000472: MSTORE 00000473: MLOAD 00000474: SWAP1 00000475: DUP2 00000476: SWAP1 00000477: SUB 00000478: PUSH1 0x20 0000047a: ADD 0000047b: SWAP1 0000047c: RETURN 0000047d: JUMPDEST 0000047e: CALLVALUE 0000047f: PUSH2 0x0000 00000482: JUMPI 00000483: PUSH2 0x0242 00000486: PUSH1 0x01 00000488: PUSH1 0xa0 0000048a: PUSH1 0x02 0000048c: EXP 0000048d: SUB 0000048e: PUSH1 0x04 00000490: CALLDATALOAD 00000491: AND 00000492: PUSH2 0x0d0f 00000495: JUMP 00000496: JUMPDEST 00000497: STOP 00000498: JUMPDEST 00000499: CALLVALUE 0000049a: PUSH2 0x0000 0000049d: JUMPI 0000049e: PUSH2 0x04a5 000004a1: PUSH2 0x0d81 000004a4: JUMP 000004a5: JUMPDEST 000004a6: PUSH1 0x40 000004a8: DUP1 000004a9: MLOAD 000004aa: PUSH1 0x01 000004ac: PUSH1 0xa0 000004ae: PUSH1 0x02 000004b0: EXP 000004b1: SUB 000004b2: SWAP1 000004b3: SWAP3 000004b4: AND 000004b5: DUP3 000004b6: MSTORE 000004b7: MLOAD 000004b8: SWAP1 000004b9: DUP2 000004ba: SWAP1 000004bb: SUB 000004bc: PUSH1 0x20 000004be: ADD 000004bf: SWAP1 000004c0: RETURN 000004c1: JUMPDEST 000004c2: CALLVALUE 000004c3: PUSH2 0x0000 000004c6: JUMPI 000004c7: PUSH2 0x032f 000004ca: PUSH2 0x0d90 000004cd: JUMP 000004ce: JUMPDEST 000004cf: PUSH1 0x40 000004d1: DUP1 000004d2: MLOAD 000004d3: SWAP2 000004d4: DUP3 000004d5: MSTORE 000004d6: MLOAD 000004d7: SWAP1 000004d8: DUP2 000004d9: SWAP1 000004da: SUB 000004db: PUSH1 0x20 000004dd: ADD 000004de: SWAP1 000004df: RETURN 000004e0: JUMPDEST 000004e1: CALLVALUE 000004e2: PUSH2 0x0000 000004e5: JUMPI 000004e6: PUSH2 0x032f 000004e9: PUSH2 0x0db4 000004ec: JUMP 000004ed: JUMPDEST 000004ee: PUSH1 0x40 000004f0: DUP1 000004f1: MLOAD 000004f2: SWAP2 000004f3: DUP3 000004f4: MSTORE 000004f5: MLOAD 000004f6: SWAP1 000004f7: DUP2 000004f8: SWAP1 000004f9: SUB 000004fa: PUSH1 0x20 000004fc: ADD 000004fd: SWAP1 000004fe: RETURN 000004ff: JUMPDEST 00000500: CALLVALUE 00000501: PUSH2 0x0000 00000504: JUMPI 00000505: PUSH2 0x0272 00000508: PUSH2 0x0dba 0000050b: JUMP 0000050c: JUMPDEST 0000050d: PUSH1 0x40 0000050f: DUP1 00000510: MLOAD 00000511: PUSH1 0x20 00000513: DUP1 00000514: DUP3 00000515: MSTORE 00000516: DUP4 00000517: MLOAD 00000518: DUP2 00000519: DUP4 0000051a: ADD 0000051b: MSTORE 0000051c: DUP4 0000051d: MLOAD 0000051e: SWAP2 0000051f: SWAP3 00000520: DUP4 00000521: SWAP3 00000522: SWAP1 00000523: DUP4 00000524: ADD 00000525: SWAP2 00000526: DUP6 00000527: ADD 00000528: SWAP1 00000529: DUP1 0000052a: DUP4 0000052b: DUP4 0000052c: DUP3 0000052d: ISZERO 0000052e: PUSH2 0x02b8 00000531: JUMPI 00000532: JUMPDEST 00000533: DUP1 00000534: MLOAD 00000535: DUP3 00000536: MSTORE 00000537: PUSH1 0x20 00000539: DUP4 0000053a: GT 0000053b: ISZERO 0000053c: PUSH2 0x02b8 0000053f: JUMPI 00000540: PUSH1 0x1f 00000542: NOT 00000543: SWAP1 00000544: SWAP3 00000545: ADD 00000546: SWAP2 00000547: PUSH1 0x20 00000549: SWAP2 0000054a: DUP3 0000054b: ADD 0000054c: SWAP2 0000054d: ADD 0000054e: PUSH2 0x0298 00000551: JUMP 00000552: JUMPDEST 00000553: POP 00000554: POP 00000555: POP 00000556: SWAP1 00000557: POP 00000558: SWAP1 00000559: DUP2 0000055a: ADD 0000055b: SWAP1 0000055c: PUSH1 0x1f 0000055e: AND 0000055f: DUP1 00000560: ISZERO 00000561: PUSH2 0x02e4 00000564: JUMPI 00000565: DUP1 00000566: DUP3 00000567: SUB 00000568: DUP1 00000569: MLOAD 0000056a: PUSH1 0x01 0000056c: DUP4 0000056d: PUSH1 0x20 0000056f: SUB 00000570: PUSH2 0x0100 00000573: EXP 00000574: SUB 00000575: NOT 00000576: AND 00000577: DUP2 00000578: MSTORE 00000579: PUSH1 0x20 0000057b: ADD 0000057c: SWAP2 0000057d: POP 0000057e: JUMPDEST 0000057f: POP 00000580: SWAP3 00000581: POP 00000582: POP 00000583: POP 00000584: PUSH1 0x40 00000586: MLOAD 00000587: DUP1 00000588: SWAP2 00000589: SUB 0000058a: SWAP1 0000058b: RETURN 0000058c: JUMPDEST 0000058d: CALLVALUE 0000058e: PUSH2 0x0000 00000591: JUMPI 00000592: PUSH2 0x0251 00000595: PUSH1 0x01 00000597: PUSH1 0xa0 00000599: PUSH1 0x02 0000059b: EXP 0000059c: SUB 0000059d: PUSH1 0x04 0000059f: CALLDATALOAD 000005a0: AND 000005a1: PUSH1 0x24 000005a3: CALLDATALOAD 000005a4: PUSH2 0x0df1 000005a7: JUMP 000005a8: JUMPDEST 000005a9: PUSH1 0x40 000005ab: DUP1 000005ac: MLOAD 000005ad: SWAP2 000005ae: ISZERO 000005af: ISZERO 000005b0: DUP3 000005b1: MSTORE 000005b2: MLOAD 000005b3: SWAP1 000005b4: DUP2 000005b5: SWAP1 000005b6: SUB 000005b7: PUSH1 0x20 000005b9: ADD 000005ba: SWAP1 000005bb: RETURN 000005bc: JUMPDEST 000005bd: CALLVALUE 000005be: PUSH2 0x0000 000005c1: JUMPI 000005c2: PUSH2 0x032f 000005c5: PUSH2 0x0ead 000005c8: JUMP 000005c9: JUMPDEST 000005ca: PUSH1 0x40 000005cc: DUP1 000005cd: MLOAD 000005ce: SWAP2 000005cf: DUP3 000005d0: MSTORE 000005d1: MLOAD 000005d2: SWAP1 000005d3: DUP2 000005d4: SWAP1 000005d5: SUB 000005d6: PUSH1 0x20 000005d8: ADD 000005d9: SWAP1 000005da: RETURN 000005db: JUMPDEST 000005dc: CALLVALUE 000005dd: PUSH2 0x0000 000005e0: JUMPI 000005e1: PUSH2 0x032f 000005e4: PUSH2 0x0eb3 000005e7: JUMP 000005e8: JUMPDEST 000005e9: PUSH1 0x40 000005eb: DUP1 000005ec: MLOAD 000005ed: SWAP2 000005ee: DUP3 000005ef: MSTORE 000005f0: MLOAD 000005f1: SWAP1 000005f2: DUP2 000005f3: SWAP1 000005f4: SUB 000005f5: PUSH1 0x20 000005f7: ADD 000005f8: SWAP1 000005f9: RETURN 000005fa: JUMPDEST 000005fb: CALLVALUE 000005fc: PUSH2 0x0000 000005ff: JUMPI 00000600: PUSH2 0x0251 00000603: PUSH2 0x0ec2 00000606: JUMP 00000607: JUMPDEST 00000608: PUSH1 0x40 0000060a: DUP1 0000060b: MLOAD 0000060c: SWAP2 0000060d: ISZERO 0000060e: ISZERO 0000060f: DUP3 00000610: MSTORE 00000611: MLOAD 00000612: SWAP1 00000613: DUP2 00000614: SWAP1 00000615: SUB 00000616: PUSH1 0x20 00000618: ADD 00000619: SWAP1 0000061a: RETURN 0000061b: JUMPDEST 0000061c: CALLVALUE 0000061d: PUSH2 0x0000 00000620: JUMPI 00000621: PUSH2 0x032f 00000624: PUSH2 0x0ecb 00000627: JUMP 00000628: JUMPDEST 00000629: PUSH1 0x40 0000062b: DUP1 0000062c: MLOAD 0000062d: SWAP2 0000062e: DUP3 0000062f: MSTORE 00000630: MLOAD 00000631: SWAP1 00000632: DUP2 00000633: SWAP1 00000634: SUB 00000635: PUSH1 0x20 00000637: ADD 00000638: SWAP1 00000639: RETURN 0000063a: JUMPDEST 0000063b: CALLVALUE 0000063c: PUSH2 0x0000 0000063f: JUMPI 00000640: PUSH2 0x032f 00000643: PUSH1 0x01 00000645: PUSH1 0xa0 00000647: PUSH1 0x02 00000649: EXP 0000064a: SUB 0000064b: PUSH1 0x04 0000064d: CALLDATALOAD 0000064e: DUP2 0000064f: AND 00000650: SWAP1 00000651: PUSH1 0x24 00000653: CALLDATALOAD 00000654: AND 00000655: PUSH2 0x0ed2 00000658: JUMP 00000659: JUMPDEST 0000065a: PUSH1 0x40 0000065c: DUP1 0000065d: MLOAD 0000065e: SWAP2 0000065f: DUP3 00000660: MSTORE 00000661: MLOAD 00000662: SWAP1 00000663: DUP2 00000664: SWAP1 00000665: SUB 00000666: PUSH1 0x20 00000668: ADD 00000669: SWAP1 0000066a: RETURN 0000066b: JUMPDEST 0000066c: CALLVALUE 0000066d: PUSH2 0x0000 00000670: JUMPI 00000671: PUSH2 0x032f 00000674: PUSH2 0x0efd 00000677: JUMP 00000678: JUMPDEST 00000679: PUSH1 0x40 0000067b: DUP1 0000067c: MLOAD 0000067d: SWAP2 0000067e: DUP3 0000067f: MSTORE 00000680: MLOAD 00000681: SWAP1 00000682: DUP2 00000683: SWAP1 00000684: SUB 00000685: PUSH1 0x20 00000687: ADD 00000688: SWAP1 00000689: RETURN 0000068a: JUMPDEST 0000068b: CALLVALUE 0000068c: PUSH2 0x0000 0000068f: JUMPI 00000690: PUSH2 0x032f 00000693: PUSH2 0x06d2 00000696: JUMP 00000697: JUMPDEST 00000698: PUSH1 0x40 0000069a: DUP1 0000069b: MLOAD 0000069c: SWAP2 0000069d: DUP3 0000069e: MSTORE 0000069f: MLOAD 000006a0: SWAP1 000006a1: DUP2 000006a2: SWAP1 000006a3: SUB 000006a4: PUSH1 0x20 000006a6: ADD 000006a7: SWAP1 000006a8: RETURN 000006a9: JUMPDEST 000006aa: CALLVALUE 000006ab: PUSH2 0x0000 000006ae: JUMPI 000006af: PUSH2 0x04a5 000006b2: PUSH2 0x0f21 000006b5: JUMP 000006b6: JUMPDEST 000006b7: PUSH1 0x40 000006b9: DUP1 000006ba: MLOAD 000006bb: PUSH1 0x01 000006bd: PUSH1 0xa0 000006bf: PUSH1 0x02 000006c1: EXP 000006c2: SUB 000006c3: SWAP1 000006c4: SWAP3 000006c5: AND 000006c6: DUP3 000006c7: MSTORE 000006c8: MLOAD 000006c9: SWAP1 000006ca: DUP2 000006cb: SWAP1 000006cc: SUB 000006cd: PUSH1 0x20 000006cf: ADD 000006d0: SWAP1 000006d1: RETURN 000006d2: JUMPDEST 000006d3: PUSH1 0x00 000006d5: PUSH1 0x00 000006d7: TIMESTAMP 000006d8: PUSH1 0x01 000006da: SLOAD 000006db: PUSH3 0x015180 000006df: ADD 000006e0: GT 000006e1: ISZERO 000006e2: PUSH2 0x06ef 000006e5: JUMPI 000006e6: PUSH2 0x3a98 000006e9: SWAP2 000006ea: POP 000006eb: PUSH2 0x071f 000006ee: JUMP 000006ef: JUMPDEST 000006f0: POP 000006f1: PUSH1 0x05 000006f3: SLOAD 000006f4: PUSH8 0x0de0b6b3a7640000 000006fd: PUSH3 0x989680 00000701: SWAP1 00000702: SWAP2 00000703: DIV 00000704: DIV 00000705: PUSH1 0x64 00000707: SUB 00000708: PUSH1 0x46 0000070a: DUP2 0000070b: LT 0000070c: ISZERO 0000070d: PUSH2 0x0714 00000710: JUMPI 00000711: POP 00000712: PUSH1 0x46 00000714: JUMPDEST 00000715: PUSH1 0x64 00000717: PUSH2 0x2710 0000071a: DUP3 0000071b: MUL 0000071c: DIV 0000071d: SWAP2 0000071e: POP 0000071f: JUMPDEST 00000720: JUMPDEST 00000721: POP 00000722: SWAP1 00000723: JUMP 00000724: JUMPDEST 00000725: PUSH1 0x03 00000727: SLOAD 00000728: PUSH1 0x00 0000072a: SWAP1 0000072b: PUSH1 0xff 0000072d: AND 0000072e: ISZERO 0000072f: ISZERO 00000730: PUSH2 0x073b 00000733: JUMPI 00000734: POP 00000735: PUSH1 0x00 00000737: PUSH2 0x0780 0000073a: JUMP 0000073b: JUMPDEST 0000073c: PUSH1 0x01 0000073e: SLOAD 0000073f: TIMESTAMP 00000740: LT 00000741: ISZERO 00000742: PUSH2 0x074d 00000745: JUMPI 00000746: POP 00000747: PUSH1 0x00 00000749: PUSH2 0x0780 0000074c: JUMP 0000074d: JUMPDEST 0000074e: PUSH1 0x02 00000750: SLOAD 00000751: TIMESTAMP 00000752: GT 00000753: ISZERO 00000754: PUSH2 0x075f 00000757: JUMPI 00000758: POP 00000759: PUSH1 0x00 0000075b: PUSH2 0x0780 0000075e: JUMP 0000075f: JUMPDEST 00000760: PUSH1 0x04 00000762: SLOAD 00000763: PUSH12 0x033b2e3c9fd0803ce8000000 00000770: GT 00000771: PUSH2 0x077c 00000774: JUMPI 00000775: POP 00000776: PUSH1 0x00 00000778: PUSH2 0x0780 0000077b: JUMP 0000077c: JUMPDEST 0000077d: POP 0000077e: PUSH1 0x01 00000780: JUMPDEST 00000781: JUMPDEST 00000782: JUMPDEST 00000783: JUMPDEST 00000784: JUMPDEST 00000785: SWAP1 00000786: JUMP 00000787: JUMPDEST 00000788: PUSH1 0x40 0000078a: DUP1 0000078b: MLOAD 0000078c: DUP1 0000078d: DUP3 0000078e: ADD 0000078f: SWAP1 00000790: SWAP2 00000791: MSTORE 00000792: PUSH1 0x0c 00000794: DUP2 00000795: MSTORE 00000796: PUSH32 0x4c616e63657220546f6b656e0000000000000000000000000000000000000000 000007b7: PUSH1 0x20 000007b9: DUP3 000007ba: ADD 000007bb: MSTORE 000007bc: DUP2 000007bd: JUMP 000007be: JUMPDEST 000007bf: PUSH1 0x03 000007c1: SLOAD 000007c2: PUSH1 0x00 000007c4: SWAP1 000007c5: PUSH1 0xff 000007c7: AND 000007c8: ISZERO 000007c9: PUSH2 0x07d1 000007cc: JUMPI 000007cd: PUSH2 0x0000 000007d0: JUMP 000007d1: JUMPDEST 000007d2: PUSH1 0x01 000007d4: PUSH1 0xa0 000007d6: PUSH1 0x02 000007d8: EXP 000007d9: SUB 000007da: CALLER 000007db: DUP2 000007dc: AND 000007dd: PUSH1 0x00 000007df: DUP2 000007e0: DUP2 000007e1: MSTORE 000007e2: PUSH1 0x20 000007e4: DUP2 000007e5: DUP2 000007e6: MSTORE 000007e7: PUSH1 0x40 000007e9: DUP1 000007ea: DUP4 000007eb: KECCAK256 000007ec: SWAP5 000007ed: DUP9 000007ee: AND 000007ef: DUP1 000007f0: DUP5 000007f1: MSTORE 000007f2: SWAP5 000007f3: DUP3 000007f4: MSTORE 000007f5: SWAP2 000007f6: DUP3 000007f7: SWAP1 000007f8: KECCAK256 000007f9: DUP7 000007fa: SWAP1 000007fb: SSTORE 000007fc: DUP2 000007fd: MLOAD 000007fe: DUP7 000007ff: DUP2 00000800: MSTORE 00000801: SWAP2 00000802: MLOAD 00000803: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000824: SWAP3 00000825: DUP2 00000826: SWAP1 00000827: SUB 00000828: SWAP1 00000829: SWAP2 0000082a: ADD 0000082b: SWAP1 0000082c: LOG3 0000082d: POP 0000082e: PUSH1 0x01 00000830: JUMPDEST 00000831: SWAP3 00000832: SWAP2 00000833: POP 00000834: POP 00000835: JUMP 00000836: JUMPDEST 00000837: PUSH1 0x02 00000839: SLOAD 0000083a: DUP2 0000083b: JUMP 0000083c: JUMPDEST 0000083d: PUSH1 0x01 0000083f: PUSH1 0xa0 00000841: PUSH1 0x02 00000843: EXP 00000844: SUB 00000845: DUP2 00000846: AND 00000847: PUSH1 0x00 00000849: SWAP1 0000084a: DUP2 0000084b: MSTORE 0000084c: PUSH1 0x08 0000084e: PUSH1 0x20 00000850: MSTORE 00000851: PUSH1 0x40 00000853: SWAP1 00000854: KECCAK256 00000855: SLOAD 00000856: JUMPDEST 00000857: SWAP2 00000858: SWAP1 00000859: POP 0000085a: JUMP 0000085b: JUMPDEST 0000085c: PUSH1 0x04 0000085e: SLOAD 0000085f: JUMPDEST 00000860: SWAP1 00000861: JUMP 00000862: JUMPDEST 00000863: PUSH1 0x03 00000865: SLOAD 00000866: PUSH1 0x00 00000868: SWAP1 00000869: PUSH1 0xff 0000086b: AND 0000086c: ISZERO 0000086d: PUSH2 0x0875 00000870: JUMPI 00000871: PUSH2 0x0000 00000874: JUMP 00000875: JUMPDEST 00000876: PUSH1 0x01 00000878: PUSH1 0xa0 0000087a: PUSH1 0x02 0000087c: EXP 0000087d: SUB 0000087e: DUP5 0000087f: AND 00000880: PUSH1 0x00 00000882: SWAP1 00000883: DUP2 00000884: MSTORE 00000885: PUSH1 0x06 00000887: PUSH1 0x20 00000889: MSTORE 0000088a: PUSH1 0x40 0000088c: SWAP1 0000088d: KECCAK256 0000088e: SLOAD 0000088f: DUP3 00000890: SWAP1 00000891: LT 00000892: DUP1 00000893: ISZERO 00000894: SWAP1 00000895: PUSH2 0x08c3 00000898: JUMPI 00000899: POP 0000089a: PUSH1 0x01 0000089c: PUSH1 0xa0 0000089e: PUSH1 0x02 000008a0: EXP 000008a1: SUB 000008a2: DUP1 000008a3: DUP6 000008a4: AND 000008a5: PUSH1 0x00 000008a7: SWAP1 000008a8: DUP2 000008a9: MSTORE 000008aa: PUSH1 0x20 000008ac: DUP2 000008ad: DUP2 000008ae: MSTORE 000008af: PUSH1 0x40 000008b1: DUP1 000008b2: DUP4 000008b3: KECCAK256 000008b4: CALLER 000008b5: SWAP1 000008b6: SWAP5 000008b7: AND 000008b8: DUP4 000008b9: MSTORE 000008ba: SWAP3 000008bb: SWAP1 000008bc: MSTORE 000008bd: KECCAK256 000008be: SLOAD 000008bf: DUP3 000008c0: SWAP1 000008c1: LT 000008c2: ISZERO 000008c3: JUMPDEST 000008c4: DUP1 000008c5: ISZERO 000008c6: PUSH2 0x08cf 000008c9: JUMPI 000008ca: POP 000008cb: PUSH1 0x00 000008cd: DUP3 000008ce: GT 000008cf: JUMPDEST 000008d0: DUP1 000008d1: ISZERO 000008d2: PUSH2 0x08f4 000008d5: JUMPI 000008d6: POP 000008d7: PUSH1 0x01 000008d9: PUSH1 0xa0 000008db: PUSH1 0x02 000008dd: EXP 000008de: SUB 000008df: DUP4 000008e0: AND 000008e1: PUSH1 0x00 000008e3: SWAP1 000008e4: DUP2 000008e5: MSTORE 000008e6: PUSH1 0x06 000008e8: PUSH1 0x20 000008ea: MSTORE 000008eb: PUSH1 0x40 000008ed: SWAP1 000008ee: KECCAK256 000008ef: SLOAD 000008f0: DUP3 000008f1: DUP2 000008f2: ADD 000008f3: GT 000008f4: JUMPDEST 000008f5: ISZERO 000008f6: PUSH2 0x096e 000008f9: JUMPI 000008fa: PUSH1 0x01 000008fc: PUSH1 0xa0 000008fe: PUSH1 0x02 00000900: EXP 00000901: SUB 00000902: DUP1 00000903: DUP6 00000904: AND 00000905: PUSH1 0x00 00000907: DUP2 00000908: DUP2 00000909: MSTORE 0000090a: PUSH1 0x06 0000090c: PUSH1 0x20 0000090e: DUP2 0000090f: DUP2 00000910: MSTORE 00000911: PUSH1 0x40 00000913: DUP1 00000914: DUP5 00000915: KECCAK256 00000916: DUP1 00000917: SLOAD 00000918: DUP10 00000919: SWAP1 0000091a: SUB 0000091b: SWAP1 0000091c: SSTORE 0000091d: DUP4 0000091e: DUP3 0000091f: MSTORE 00000920: DUP1 00000921: DUP5 00000922: KECCAK256 00000923: CALLER 00000924: DUP8 00000925: AND 00000926: DUP6 00000927: MSTORE 00000928: DUP3 00000929: MSTORE 0000092a: DUP1 0000092b: DUP5 0000092c: KECCAK256 0000092d: DUP1 0000092e: SLOAD 0000092f: DUP10 00000930: SWAP1 00000931: SUB 00000932: SWAP1 00000933: SSTORE 00000934: SWAP5 00000935: DUP9 00000936: AND 00000937: DUP1 00000938: DUP5 00000939: MSTORE 0000093a: SWAP2 0000093b: DUP2 0000093c: MSTORE 0000093d: SWAP2 0000093e: DUP5 0000093f: SWAP1 00000940: KECCAK256 00000941: DUP1 00000942: SLOAD 00000943: DUP8 00000944: ADD 00000945: SWAP1 00000946: SSTORE 00000947: DUP4 00000948: MLOAD 00000949: DUP7 0000094a: DUP2 0000094b: MSTORE 0000094c: SWAP4 0000094d: MLOAD 0000094e: SWAP1 0000094f: SWAP4 00000950: PUSH1 0x00 00000952: DUP1 00000953: MLOAD 00000954: PUSH1 0x20 00000956: PUSH2 0x0f36 00000959: DUP4 0000095a: CODECOPY 0000095b: DUP2 0000095c: MLOAD 0000095d: SWAP2 0000095e: MSTORE 0000095f: SWAP3 00000960: SWAP1 00000961: DUP3 00000962: SWAP1 00000963: SUB 00000964: ADD 00000965: SWAP1 00000966: LOG3 00000967: POP 00000968: PUSH1 0x01 0000096a: PUSH2 0x0972 0000096d: JUMP 0000096e: JUMPDEST 0000096f: POP 00000970: PUSH1 0x00 00000972: JUMPDEST 00000973: JUMPDEST 00000974: SWAP4 00000975: SWAP3 00000976: POP 00000977: POP 00000978: POP 00000979: JUMP 0000097a: JUMPDEST 0000097b: PUSH1 0x05 0000097d: SLOAD 0000097e: JUMPDEST 0000097f: SWAP1 00000980: JUMP 00000981: JUMPDEST 00000982: PUSH1 0x12 00000984: DUP2 00000985: JUMP 00000986: JUMPDEST 00000987: PUSH1 0x03 00000989: SLOAD 0000098a: PUSH1 0xff 0000098c: AND 0000098d: ISZERO 0000098e: PUSH2 0x0996 00000991: JUMPI 00000992: PUSH2 0x0000 00000995: JUMP 00000996: JUMPDEST 00000997: PUSH1 0x09 00000999: SLOAD 0000099a: PUSH1 0x01 0000099c: PUSH1 0xa0 0000099e: PUSH1 0x02 000009a0: EXP 000009a1: SUB 000009a2: AND 000009a3: ISZERO 000009a4: ISZERO 000009a5: PUSH2 0x09ad 000009a8: JUMPI 000009a9: PUSH2 0x0000 000009ac: JUMP 000009ad: JUMPDEST 000009ae: DUP1 000009af: ISZERO 000009b0: ISZERO 000009b1: PUSH2 0x09b9 000009b4: JUMPI 000009b5: PUSH2 0x0000 000009b8: JUMP 000009b9: JUMPDEST 000009ba: PUSH1 0x01 000009bc: PUSH1 0xa0 000009be: PUSH1 0x02 000009c0: EXP 000009c1: SUB 000009c2: CALLER 000009c3: AND 000009c4: PUSH1 0x00 000009c6: SWAP1 000009c7: DUP2 000009c8: MSTORE 000009c9: PUSH1 0x06 000009cb: PUSH1 0x20 000009cd: MSTORE 000009ce: PUSH1 0x40 000009d0: SWAP1 000009d1: KECCAK256 000009d2: SLOAD 000009d3: DUP2 000009d4: GT 000009d5: ISZERO 000009d6: PUSH2 0x09de 000009d9: JUMPI 000009da: PUSH2 0x0000 000009dd: JUMP 000009de: JUMPDEST 000009df: PUSH1 0x01 000009e1: PUSH1 0xa0 000009e3: PUSH1 0x02 000009e5: EXP 000009e6: SUB 000009e7: CALLER 000009e8: DUP2 000009e9: AND 000009ea: PUSH1 0x00 000009ec: DUP2 000009ed: DUP2 000009ee: MSTORE 000009ef: PUSH1 0x06 000009f1: PUSH1 0x20 000009f3: MSTORE 000009f4: PUSH1 0x40 000009f6: DUP1 000009f7: DUP3 000009f8: KECCAK256 000009f9: DUP1 000009fa: SLOAD 000009fb: DUP7 000009fc: SWAP1 000009fd: SUB 000009fe: SWAP1 000009ff: SSTORE 00000a00: PUSH1 0x04 00000a02: DUP1 00000a03: SLOAD 00000a04: DUP7 00000a05: SWAP1 00000a06: SUB 00000a07: DUP2 00000a08: SSTORE 00000a09: PUSH1 0x0a 00000a0b: DUP1 00000a0c: SLOAD 00000a0d: DUP8 00000a0e: ADD 00000a0f: SWAP1 00000a10: SSTORE 00000a11: PUSH1 0x09 00000a13: SLOAD 00000a14: DUP3 00000a15: MLOAD 00000a16: PUSH32 0x7a3130e300000000000000000000000000000000000000000000000000000000 00000a37: DUP2 00000a38: MSTORE 00000a39: SWAP2 00000a3a: DUP3 00000a3b: ADD 00000a3c: SWAP5 00000a3d: SWAP1 00000a3e: SWAP5 00000a3f: MSTORE 00000a40: PUSH1 0x24 00000a42: DUP2 00000a43: ADD 00000a44: DUP7 00000a45: SWAP1 00000a46: MSTORE 00000a47: SWAP1 00000a48: MLOAD 00000a49: SWAP3 00000a4a: SWAP1 00000a4b: SWAP4 00000a4c: AND 00000a4d: SWAP3 00000a4e: PUSH4 0x7a3130e3 00000a53: SWAP3 00000a54: PUSH1 0x44 00000a56: DUP1 00000a57: DUP4 00000a58: ADD 00000a59: SWAP4 00000a5a: SWAP3 00000a5b: DUP3 00000a5c: SWAP1 00000a5d: SUB 00000a5e: ADD 00000a5f: DUP2 00000a60: DUP4 00000a61: DUP8 00000a62: DUP1 00000a63: EXTCODESIZE 00000a64: ISZERO 00000a65: PUSH2 0x0000 00000a68: JUMPI 00000a69: PUSH1 0x32 00000a6b: GAS 00000a6c: SUB 00000a6d: CALL 00000a6e: ISZERO 00000a6f: PUSH2 0x0000 00000a72: JUMPI 00000a73: POP 00000a74: POP 00000a75: PUSH1 0x09 00000a77: SLOAD 00000a78: PUSH1 0x40 00000a7a: DUP1 00000a7b: MLOAD 00000a7c: DUP5 00000a7d: DUP2 00000a7e: MSTORE 00000a7f: SWAP1 00000a80: MLOAD 00000a81: PUSH1 0x01 00000a83: PUSH1 0xa0 00000a85: PUSH1 0x02 00000a87: EXP 00000a88: SUB 00000a89: SWAP3 00000a8a: DUP4 00000a8b: AND 00000a8c: SWAP4 00000a8d: POP 00000a8e: CALLER 00000a8f: SWAP1 00000a90: SWAP3 00000a91: AND 00000a92: SWAP2 00000a93: PUSH32 0x18df02dcc52b9c494f391df09661519c0069bd8540141946280399408205ca1a 00000ab4: SWAP2 00000ab5: DUP2 00000ab6: SWAP1 00000ab7: SUB 00000ab8: PUSH1 0x20 00000aba: ADD 00000abb: SWAP1 00000abc: LOG3 00000abd: JUMPDEST 00000abe: POP 00000abf: JUMP 00000ac0: JUMPDEST 00000ac1: PUSH1 0x03 00000ac3: SLOAD 00000ac4: PUSH1 0x00 00000ac6: SWAP1 00000ac7: DUP2 00000ac8: SWAP1 00000ac9: PUSH1 0xff 00000acb: AND 00000acc: ISZERO 00000acd: ISZERO 00000ace: PUSH2 0x0ad6 00000ad1: JUMPI 00000ad2: PUSH2 0x0000 00000ad5: JUMP 00000ad6: JUMPDEST 00000ad7: PUSH1 0x02 00000ad9: SLOAD 00000ada: TIMESTAMP 00000adb: GT 00000adc: ISZERO 00000add: DUP1 00000ade: PUSH2 0x0af3 00000ae1: JUMPI 00000ae2: POP 00000ae3: PUSH11 0x7c13bc4b2c133c56000000 00000aef: PUSH1 0x04 00000af1: SLOAD 00000af2: LT 00000af3: JUMPDEST 00000af4: DUP1 00000af5: ISZERO 00000af6: PUSH2 0x0b18 00000af9: JUMPI 00000afa: POP 00000afb: PUSH12 0x033b2e3c9fd0803ce8000000 00000b08: PUSH1 0x04 00000b0a: SLOAD 00000b0b: PUSH10 0x010f0cf064dd59200000 00000b16: ADD 00000b17: LT 00000b18: JUMPDEST 00000b19: ISZERO 00000b1a: PUSH2 0x0b22 00000b1d: JUMPI 00000b1e: PUSH2 0x0000 00000b21: JUMP 00000b22: JUMPDEST 00000b23: POP 00000b24: POP 00000b25: PUSH1 0x03 00000b27: DUP1 00000b28: SLOAD 00000b29: PUSH1 0xff 00000b2b: NOT 00000b2c: AND 00000b2d: DUP1 00000b2e: DUP3 00000b2f: SSTORE 00000b30: PUSH1 0x04 00000b32: DUP1 00000b33: SLOAD 00000b34: PUSH1 0x58 00000b36: PUSH1 0x0c 00000b38: DUP1 00000b39: DUP4 00000b3a: MUL 00000b3b: SWAP2 00000b3c: SWAP1 00000b3d: SWAP2 00000b3e: DIV 00000b3f: SWAP2 00000b40: DUP3 00000b41: ADD 00000b42: SWAP1 00000b43: SWAP3 00000b44: SSTORE 00000b45: PUSH1 0x01 00000b47: PUSH1 0xa0 00000b49: PUSH1 0x02 00000b4b: EXP 00000b4c: SUB 00000b4d: PUSH2 0x0100 00000b50: SWAP4 00000b51: DUP5 00000b52: SWAP1 00000b53: DIV 00000b54: DUP2 00000b55: AND 00000b56: PUSH1 0x00 00000b58: SWAP1 00000b59: DUP2 00000b5a: MSTORE 00000b5b: PUSH1 0x06 00000b5d: PUSH1 0x20 00000b5f: SWAP1 00000b60: DUP2 00000b61: MSTORE 00000b62: PUSH1 0x40 00000b64: DUP1 00000b65: DUP4 00000b66: KECCAK256 00000b67: DUP1 00000b68: SLOAD 00000b69: DUP7 00000b6a: ADD 00000b6b: SWAP1 00000b6c: SSTORE 00000b6d: SWAP7 00000b6e: SLOAD 00000b6f: DUP8 00000b70: MLOAD 00000b71: DUP6 00000b72: DUP2 00000b73: MSTORE 00000b74: SWAP8 00000b75: MLOAD 00000b76: SWAP6 00000b77: SWAP8 00000b78: SWAP5 00000b79: SWAP7 00000b7a: SWAP1 00000b7b: DIV 00000b7c: SWAP1 00000b7d: SWAP3 00000b7e: AND 00000b7f: SWAP4 00000b80: SWAP1 00000b81: SWAP3 00000b82: PUSH1 0x00 00000b84: DUP1 00000b85: MLOAD 00000b86: PUSH1 0x20 00000b88: PUSH2 0x0f36 00000b8b: DUP4 00000b8c: CODECOPY 00000b8d: DUP2 00000b8e: MLOAD 00000b8f: SWAP2 00000b90: MSTORE 00000b91: SWAP3 00000b92: SWAP1 00000b93: DUP3 00000b94: SWAP1 00000b95: SUB 00000b96: ADD 00000b97: SWAP1 00000b98: LOG3 00000b99: PUSH1 0x03 00000b9b: SLOAD 00000b9c: PUSH1 0x40 00000b9e: MLOAD 00000b9f: PUSH1 0x01 00000ba1: PUSH1 0xa0 00000ba3: PUSH1 0x02 00000ba5: EXP 00000ba6: SUB 00000ba7: PUSH2 0x0100 00000baa: SWAP1 00000bab: SWAP3 00000bac: DIV 00000bad: DUP3 00000bae: AND 00000baf: SWAP2 00000bb0: ADDRESS 00000bb1: AND 00000bb2: BALANCE 00000bb3: DUP1 00000bb4: ISZERO 00000bb5: PUSH2 0x08fc 00000bb8: MUL 00000bb9: SWAP2 00000bba: PUSH1 0x00 00000bbc: DUP2 00000bbd: DUP2 00000bbe: DUP2 00000bbf: DUP6 00000bc0: DUP9 00000bc1: DUP9 00000bc2: CALL 00000bc3: SWAP4 00000bc4: POP 00000bc5: POP 00000bc6: POP 00000bc7: POP 00000bc8: ISZERO 00000bc9: ISZERO 00000bca: PUSH2 0x0bd2 00000bcd: JUMPI 00000bce: PUSH2 0x0000 00000bd1: JUMP 00000bd2: JUMPDEST 00000bd3: JUMPDEST 00000bd4: POP 00000bd5: POP 00000bd6: JUMP 00000bd7: JUMPDEST 00000bd8: PUSH1 0x03 00000bda: SLOAD 00000bdb: PUSH1 0x00 00000bdd: SWAP1 00000bde: DUP2 00000bdf: SWAP1 00000be0: PUSH1 0xff 00000be2: AND 00000be3: ISZERO 00000be4: ISZERO 00000be5: PUSH2 0x0bed 00000be8: JUMPI 00000be9: PUSH2 0x0000 00000bec: JUMP 00000bed: JUMPDEST 00000bee: PUSH1 0x02 00000bf0: SLOAD 00000bf1: TIMESTAMP 00000bf2: GT 00000bf3: PUSH2 0x0bfb 00000bf6: JUMPI 00000bf7: PUSH2 0x0000 00000bfa: JUMP 00000bfb: JUMPDEST 00000bfc: PUSH1 0x04 00000bfe: SLOAD 00000bff: PUSH11 0x7c13bc4b2c133c56000000 00000c0b: SWAP1 00000c0c: LT 00000c0d: PUSH2 0x0c15 00000c10: JUMPI 00000c11: PUSH2 0x0000 00000c14: JUMP 00000c15: JUMPDEST 00000c16: POP 00000c17: POP 00000c18: PUSH1 0x01 00000c1a: PUSH1 0xa0 00000c1c: PUSH1 0x02 00000c1e: EXP 00000c1f: SUB 00000c20: CALLER 00000c21: AND 00000c22: PUSH1 0x00 00000c24: SWAP1 00000c25: DUP2 00000c26: MSTORE 00000c27: PUSH1 0x06 00000c29: PUSH1 0x20 00000c2b: SWAP1 00000c2c: DUP2 00000c2d: MSTORE 00000c2e: PUSH1 0x40 00000c30: DUP1 00000c31: DUP4 00000c32: KECCAK256 00000c33: SLOAD 00000c34: PUSH1 0x08 00000c36: SWAP1 00000c37: SWAP3 00000c38: MSTORE 00000c39: SWAP1 00000c3a: SWAP2 00000c3b: KECCAK256 00000c3c: SLOAD 00000c3d: DUP2 00000c3e: ISZERO 00000c3f: ISZERO 00000c40: PUSH2 0x0c48 00000c43: JUMPI 00000c44: PUSH2 0x0000 00000c47: JUMP 00000c48: JUMPDEST 00000c49: PUSH1 0x01 00000c4b: PUSH1 0xa0 00000c4d: PUSH1 0x02 00000c4f: EXP 00000c50: SUB 00000c51: CALLER 00000c52: AND 00000c53: PUSH1 0x00 00000c55: DUP2 00000c56: DUP2 00000c57: MSTORE 00000c58: PUSH1 0x06 00000c5a: PUSH1 0x20 00000c5c: SWAP1 00000c5d: DUP2 00000c5e: MSTORE 00000c5f: PUSH1 0x40 00000c61: DUP1 00000c62: DUP4 00000c63: KECCAK256 00000c64: DUP4 00000c65: SWAP1 00000c66: SSTORE 00000c67: PUSH1 0x08 00000c69: DUP3 00000c6a: MSTORE 00000c6b: DUP1 00000c6c: DUP4 00000c6d: KECCAK256 00000c6e: SWAP3 00000c6f: SWAP1 00000c70: SWAP3 00000c71: SSTORE 00000c72: PUSH1 0x04 00000c74: DUP1 00000c75: SLOAD 00000c76: DUP7 00000c77: SWAP1 00000c78: SUB 00000c79: SWAP1 00000c7a: SSTORE 00000c7b: DUP2 00000c7c: MLOAD 00000c7d: DUP5 00000c7e: DUP2 00000c7f: MSTORE 00000c80: SWAP2 00000c81: MLOAD 00000c82: PUSH32 0xbb28353e4598c3b9199101a66e0989549b659a59a54d2c27fbb183f1932c8e6d 00000ca3: SWAP3 00000ca4: DUP2 00000ca5: SWAP1 00000ca6: SUB 00000ca7: SWAP1 00000ca8: SWAP2 00000ca9: ADD 00000caa: SWAP1 00000cab: LOG2 00000cac: PUSH1 0x40 00000cae: MLOAD 00000caf: PUSH1 0x01 00000cb1: PUSH1 0xa0 00000cb3: PUSH1 0x02 00000cb5: EXP 00000cb6: SUB 00000cb7: CALLER 00000cb8: AND 00000cb9: SWAP1 00000cba: DUP3 00000cbb: ISZERO 00000cbc: PUSH2 0x08fc 00000cbf: MUL 00000cc0: SWAP1 00000cc1: DUP4 00000cc2: SWAP1 00000cc3: PUSH1 0x00 00000cc5: DUP2 00000cc6: DUP2 00000cc7: DUP2 00000cc8: DUP6 00000cc9: DUP9 00000cca: DUP9 00000ccb: CALL 00000ccc: SWAP4 00000ccd: POP 00000cce: POP 00000ccf: POP 00000cd0: POP 00000cd1: ISZERO 00000cd2: ISZERO 00000cd3: PUSH2 0x0bd2 00000cd6: JUMPI 00000cd7: PUSH2 0x0000 00000cda: JUMP 00000cdb: JUMPDEST 00000cdc: JUMPDEST 00000cdd: POP 00000cde: POP 00000cdf: JUMP 00000ce0: JUMPDEST 00000ce1: PUSH12 0x033b2e3c9fd0803ce8000000 00000cee: DUP2 00000cef: JUMP 00000cf0: JUMPDEST 00000cf1: PUSH1 0x01 00000cf3: PUSH1 0xa0 00000cf5: PUSH1 0x02 00000cf7: EXP 00000cf8: SUB 00000cf9: DUP2 00000cfa: AND 00000cfb: PUSH1 0x00 00000cfd: SWAP1 00000cfe: DUP2 00000cff: MSTORE 00000d00: PUSH1 0x06 00000d02: PUSH1 0x20 00000d04: MSTORE 00000d05: PUSH1 0x40 00000d07: SWAP1 00000d08: KECCAK256 00000d09: SLOAD 00000d0a: JUMPDEST 00000d0b: SWAP2 00000d0c: SWAP1 00000d0d: POP 00000d0e: JUMP 00000d0f: JUMPDEST 00000d10: PUSH1 0x03 00000d12: SLOAD 00000d13: PUSH1 0xff 00000d15: AND 00000d16: ISZERO 00000d17: PUSH2 0x0d1f 00000d1a: JUMPI 00000d1b: PUSH2 0x0000 00000d1e: JUMP 00000d1f: JUMPDEST 00000d20: PUSH1 0x09 00000d22: SLOAD 00000d23: PUSH1 0x01 00000d25: PUSH1 0xa0 00000d27: PUSH1 0x02 00000d29: EXP 00000d2a: SUB 00000d2b: AND 00000d2c: ISZERO 00000d2d: PUSH2 0x0d35 00000d30: JUMPI 00000d31: PUSH2 0x0000 00000d34: JUMP 00000d35: JUMPDEST 00000d36: PUSH1 0x03 00000d38: SLOAD 00000d39: CALLER 00000d3a: PUSH1 0x01 00000d3c: PUSH1 0xa0 00000d3e: PUSH1 0x02 00000d40: EXP 00000d41: SUB 00000d42: SWAP1 00000d43: DUP2 00000d44: AND 00000d45: PUSH2 0x0100 00000d48: SWAP1 00000d49: SWAP3 00000d4a: DIV 00000d4b: AND 00000d4c: EQ 00000d4d: PUSH2 0x0d55 00000d50: JUMPI 00000d51: PUSH2 0x0000 00000d54: JUMP 00000d55: JUMPDEST 00000d56: PUSH1 0x09 00000d58: DUP1 00000d59: SLOAD 00000d5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d6f: NOT 00000d70: AND 00000d71: PUSH1 0x01 00000d73: PUSH1 0xa0 00000d75: PUSH1 0x02 00000d77: EXP 00000d78: SUB 00000d79: DUP4 00000d7a: AND 00000d7b: OR 00000d7c: SWAP1 00000d7d: SSTORE 00000d7e: JUMPDEST 00000d7f: POP 00000d80: JUMP 00000d81: JUMPDEST 00000d82: PUSH1 0x09 00000d84: SLOAD 00000d85: PUSH1 0x01 00000d87: PUSH1 0xa0 00000d89: PUSH1 0x02 00000d8b: EXP 00000d8c: SUB 00000d8d: AND 00000d8e: DUP2 00000d8f: JUMP 00000d90: JUMPDEST 00000d91: PUSH1 0x00 00000d93: TIMESTAMP 00000d94: PUSH1 0x01 00000d96: SLOAD 00000d97: GT 00000d98: ISZERO 00000d99: PUSH2 0x0da8 00000d9c: JUMPI 00000d9d: TIMESTAMP 00000d9e: PUSH1 0x01 00000da0: SLOAD 00000da1: SUB 00000da2: SWAP1 00000da3: POP 00000da4: PUSH2 0x0780 00000da7: JUMP 00000da8: JUMPDEST 00000da9: POP 00000daa: PUSH1 0x00 00000dac: PUSH2 0x0780 00000daf: JUMP 00000db0: JUMPDEST 00000db1: JUMPDEST 00000db2: SWAP1 00000db3: JUMP 00000db4: JUMPDEST 00000db5: PUSH1 0x0a 00000db7: SLOAD 00000db8: DUP2 00000db9: JUMP 00000dba: JUMPDEST 00000dbb: PUSH1 0x40 00000dbd: DUP1 00000dbe: MLOAD 00000dbf: DUP1 00000dc0: DUP3 00000dc1: ADD 00000dc2: SWAP1 00000dc3: SWAP2 00000dc4: MSTORE 00000dc5: PUSH1 0x03 00000dc7: DUP2 00000dc8: MSTORE 00000dc9: PUSH32 0x4c4e430000000000000000000000000000000000000000000000000000000000 00000dea: PUSH1 0x20 00000dec: DUP3 00000ded: ADD 00000dee: MSTORE 00000def: DUP2 00000df0: JUMP 00000df1: JUMPDEST 00000df2: PUSH1 0x03 00000df4: SLOAD 00000df5: PUSH1 0x00 00000df7: SWAP1 00000df8: DUP2 00000df9: SWAP1 00000dfa: PUSH1 0xff 00000dfc: AND 00000dfd: ISZERO 00000dfe: PUSH2 0x0e06 00000e01: JUMPI 00000e02: PUSH2 0x0000 00000e05: JUMP 00000e06: JUMPDEST 00000e07: POP 00000e08: PUSH1 0x01 00000e0a: PUSH1 0xa0 00000e0c: PUSH1 0x02 00000e0e: EXP 00000e0f: SUB 00000e10: CALLER 00000e11: AND 00000e12: PUSH1 0x00 00000e14: SWAP1 00000e15: DUP2 00000e16: MSTORE 00000e17: PUSH1 0x06 00000e19: PUSH1 0x20 00000e1b: MSTORE 00000e1c: PUSH1 0x40 00000e1e: SWAP1 00000e1f: KECCAK256 00000e20: SLOAD 00000e21: DUP3 00000e22: DUP2 00000e23: LT 00000e24: DUP1 00000e25: ISZERO 00000e26: SWAP1 00000e27: PUSH2 0x0e30 00000e2a: JUMPI 00000e2b: POP 00000e2c: PUSH1 0x00 00000e2e: DUP4 00000e2f: GT 00000e30: JUMPDEST 00000e31: ISZERO 00000e32: PUSH2 0x0ea1 00000e35: JUMPI 00000e36: PUSH1 0x01 00000e38: PUSH1 0xa0 00000e3a: PUSH1 0x02 00000e3c: EXP 00000e3d: SUB 00000e3e: CALLER 00000e3f: DUP2 00000e40: AND 00000e41: PUSH1 0x00 00000e43: DUP2 00000e44: DUP2 00000e45: MSTORE 00000e46: PUSH1 0x06 00000e48: PUSH1 0x20 00000e4a: SWAP1 00000e4b: DUP2 00000e4c: MSTORE 00000e4d: PUSH1 0x40 00000e4f: DUP1 00000e50: DUP4 00000e51: KECCAK256 00000e52: SWAP6 00000e53: DUP9 00000e54: SWAP1 00000e55: SUB 00000e56: SWAP6 00000e57: DUP7 00000e58: SWAP1 00000e59: SSTORE 00000e5a: SWAP4 00000e5b: DUP9 00000e5c: AND 00000e5d: DUP1 00000e5e: DUP4 00000e5f: MSTORE 00000e60: DUP5 00000e61: DUP4 00000e62: KECCAK256 00000e63: DUP1 00000e64: SLOAD 00000e65: DUP10 00000e66: ADD 00000e67: SWAP1 00000e68: SSTORE 00000e69: DUP4 00000e6a: DUP4 00000e6b: MSTORE 00000e6c: PUSH1 0x07 00000e6e: DUP3 00000e6f: MSTORE 00000e70: SWAP2 00000e71: DUP5 00000e72: SWAP1 00000e73: KECCAK256 00000e74: TIMESTAMP 00000e75: SWAP1 00000e76: SSTORE 00000e77: DUP4 00000e78: MLOAD 00000e79: DUP8 00000e7a: DUP2 00000e7b: MSTORE 00000e7c: SWAP4 00000e7d: MLOAD 00000e7e: SWAP2 00000e7f: SWAP4 00000e80: PUSH1 0x00 00000e82: DUP1 00000e83: MLOAD 00000e84: PUSH1 0x20 00000e86: PUSH2 0x0f36 00000e89: DUP4 00000e8a: CODECOPY 00000e8b: DUP2 00000e8c: MLOAD 00000e8d: SWAP2 00000e8e: MSTORE 00000e8f: SWAP3 00000e90: SWAP1 00000e91: DUP2 00000e92: SWAP1 00000e93: SUB 00000e94: SWAP1 00000e95: SWAP2 00000e96: ADD 00000e97: SWAP1 00000e98: LOG3 00000e99: PUSH1 0x01 00000e9b: SWAP2 00000e9c: POP 00000e9d: PUSH2 0x0ea6 00000ea0: JUMP 00000ea1: JUMPDEST 00000ea2: PUSH1 0x00 00000ea4: SWAP2 00000ea5: POP 00000ea6: JUMPDEST 00000ea7: POP 00000ea8: SWAP3 00000ea9: SWAP2 00000eaa: POP 00000eab: POP 00000eac: JUMP 00000ead: JUMPDEST 00000eae: PUSH1 0x01 00000eb0: SLOAD 00000eb1: DUP2 00000eb2: JUMP 00000eb3: JUMPDEST 00000eb4: PUSH11 0x7c13bc4b2c133c56000000 00000ec0: DUP2 00000ec1: JUMP 00000ec2: JUMPDEST 00000ec3: PUSH1 0x03 00000ec5: SLOAD 00000ec6: PUSH1 0xff 00000ec8: AND 00000ec9: DUP2 00000eca: JUMP 00000ecb: JUMPDEST 00000ecc: PUSH1 0x0b 00000ece: SLOAD 00000ecf: JUMPDEST 00000ed0: SWAP1 00000ed1: JUMP 00000ed2: JUMPDEST 00000ed3: PUSH1 0x01 00000ed5: PUSH1 0xa0 00000ed7: PUSH1 0x02 00000ed9: EXP 00000eda: SUB 00000edb: DUP1 00000edc: DUP4 00000edd: AND 00000ede: PUSH1 0x00 00000ee0: SWAP1 00000ee1: DUP2 00000ee2: MSTORE 00000ee3: PUSH1 0x20 00000ee5: DUP2 00000ee6: DUP2 00000ee7: MSTORE 00000ee8: PUSH1 0x40 00000eea: DUP1 00000eeb: DUP4 00000eec: KECCAK256 00000eed: SWAP4 00000eee: DUP6 00000eef: AND 00000ef0: DUP4 00000ef1: MSTORE 00000ef2: SWAP3 00000ef3: SWAP1 00000ef4: MSTORE 00000ef5: KECCAK256 00000ef6: SLOAD 00000ef7: JUMPDEST 00000ef8: SWAP3 00000ef9: SWAP2 00000efa: POP 00000efb: POP 00000efc: JUMP 00000efd: JUMPDEST 00000efe: PUSH1 0x00 00000f00: TIMESTAMP 00000f01: PUSH1 0x02 00000f03: SLOAD 00000f04: GT 00000f05: ISZERO 00000f06: PUSH2 0x0da8 00000f09: JUMPI 00000f0a: TIMESTAMP 00000f0b: PUSH1 0x02 00000f0d: SLOAD 00000f0e: SUB 00000f0f: SWAP1 00000f10: POP 00000f11: PUSH2 0x0780 00000f14: JUMP 00000f15: JUMPDEST 00000f16: POP 00000f17: PUSH1 0x00 00000f19: PUSH2 0x0780 00000f1c: JUMP 00000f1d: JUMPDEST 00000f1e: JUMPDEST 00000f1f: SWAP1 00000f20: JUMP 00000f21: JUMPDEST 00000f22: PUSH1 0x03 00000f24: SLOAD 00000f25: PUSH2 0x0100 00000f28: SWAP1 00000f29: DIV 00000f2a: PUSH1 0x01 00000f2c: PUSH1 0xa0 00000f2e: PUSH1 0x02 00000f30: EXP 00000f31: SUB 00000f32: AND 00000f33: DUP2 00000f34: JUMP 00000f35: STOP 00000f36: UNKNOWN(0xDD) 00000f37: CALLCODE 00000f38: MSTORE 00000f39: UNKNOWN(0xAD) 00000f3a: SHL 00000f3b: UNKNOWN(0xE2) 00000f3c: UNKNOWN(0xC8) 00000f3d: SWAP12 00000f3e: PUSH10 0xc2b068fc378daa952ba7 00000f49: CALL 00000f4a: PUSH4 0xc4a11628 00000f4f: CREATE2 00000f50: GAS 00000f51: UNKNOWN(0x4D) 00000f52: CREATE2 00000f53: UNKNOWN(0x23) 00000f54: UNKNOWN(0xB3) 00000f55: UNKNOWN(0xEF) 00000f56: LOG1 00000f57: PUSH6 0x627a7a723058 00000f5e: KECCAK256 00000f5f: PUSH14 0x15509ea3baeccddcddd849517c9b 00000f6e: DUP15 00000f6f: CALLER 00000f70: DUP14 00000f71: UNKNOWN(0xBB) 00000f72: SWAP13 00000f73: JUMPDEST 00000f74: SWAP16 00000f75: UNKNOWN(0xA9) 00000f76: PUSH16
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xeb69eacc55a8541788a9fc4aa03a8528056d42361c58c9649e2db7be426ec313
call_targets:
0x9ea80e204045329ba752d03c395f82a12799f13d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xeb69eacc55a8541788a9fc4aa03a8528056d42361c58c9649e2db7be426ec313",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9ea80e204045329ba752d03c395f82a12799f13d"
],
"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": "0x01afebac",
"selector": "0x01afebac",
"calldata_variants": [
"0x01afebac",
"0x01afebac0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x13e7323e",
"selector": "0x13e7323e",
"calldata_variants": [
"0x13e7323e",
"0x13e7323e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x14c0bc27",
"selector": "0x14c0bc27",
"calldata_variants": [
"0x14c0bc27",
"0x14c0bc270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2af0ac71",
"selector": "0x2af0ac71",
"calldata_variants": [
"0x2af0ac71",
"0x2af0ac710000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2669,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3010,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3275,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [],
"untrusted_call_count": 5
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xeb69eacc55a8541788a9fc4aa03a8528056d42361c58c9649e2db7be426ec313
call_targets:
0x9ea80e204045329ba752d03c395f82a12799f13d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xeb69eacc55a8541788a9fc4aa03a8528056d42361c58c9649e2db7be426ec313",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9ea80e204045329ba752d03c395f82a12799f13d"
],
"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": "0x01afebac",
"selector": "0x01afebac",
"calldata_variants": [
"0x01afebac",
"0x01afebac0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x13e7323e",
"selector": "0x13e7323e",
"calldata_variants": [
"0x13e7323e",
"0x13e7323e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x14c0bc27",
"selector": "0x14c0bc27",
"calldata_variants": [
"0x14c0bc27",
"0x14c0bc270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2af0ac71",
"selector": "0x2af0ac71",
"calldata_variants": [
"0x2af0ac71",
"0x2af0ac710000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2669,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3010,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3275,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x2980900e10eec9e5f0f34b9864185e946e755c2582c5960dbe2796e070ce6c68
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x2980900e10eec9e5f0f34b9864185e946e755c2582c5960dbe2796e070ce6c68",
"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": "0x01afebac",
"selector": "0x01afebac",
"calldata_variants": [
"0x01afebac",
"0x01afebac0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x13e7323e",
"selector": "0x13e7323e",
"calldata_variants": [
"0x13e7323e",
"0x13e7323e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x14c0bc27",
"selector": "0x14c0bc27",
"calldata_variants": [
"0x14c0bc27",
"0x14c0bc270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2af0ac71",
"selector": "0x2af0ac71",
"calldata_variants": [
"0x2af0ac71",
"0x2af0ac710000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 2
}
|